ISO-10303-21;
HEADER;
FILE_DESCRIPTION (( 'STEP AP203' ),
    '1' );
FILE_NAME ('VRAF-B2-B9.STEP',
    '2007-04-20T11:04:16',
    ( ' ' ),
    ( ' ' ),
    'SwSTEP 2.0',
    'SolidWorks 2006303',
    '' );
FILE_SCHEMA (( 'CONFIG_CONTROL_DESIGN' ));
ENDSEC;

DATA;
#1 = ADVANCED_FACE ( 'NONE', ( #4229 ), #4226, .T. ) ;
#2 = EDGE_CURVE ( 'NONE', #5325, #1589, #4227, .T. ) ;
#3 = ORIENTED_EDGE ( 'NONE', *, *, #5323, .F. ) ;
#4 = ORIENTED_EDGE ( 'NONE', *, *, #2949, .F. ) ;
#5 = ORIENTED_EDGE ( 'NONE', *, *, #2154, .F. ) ;
#6 = ORIENTED_EDGE ( 'NONE', *, *, #2135, .F. ) ;
#7 = ORIENTED_EDGE ( 'NONE', *, *, #5349, .F. ) ;
#8 = ORIENTED_EDGE ( 'NONE', *, *, #20, .T. ) ;
#9 = ORIENTED_EDGE ( 'NONE', *, *, #10, .F. ) ;
#10 = EDGE_CURVE ( 'NONE', #5344, #2070, #4217, .T. ) ;
#11 = ORIENTED_EDGE ( 'NONE', *, *, #27, .T. ) ;
#12 = ADVANCED_FACE ( 'NONE', ( #4212 ), #4274, .T. ) ;
#13 = EDGE_LOOP ( 'NONE', ( #14, #15, #16, #17 ) ) ;
#14 = ORIENTED_EDGE ( 'NONE', *, *, #10, .T. ) ;
#15 = ORIENTED_EDGE ( 'NONE', *, *, #2042, .F. ) ;
#16 = ORIENTED_EDGE ( 'NONE', *, *, #2141, .F. ) ;
#17 = ORIENTED_EDGE ( 'NONE', *, *, #5346, .F. ) ;
#18 = ADVANCED_FACE ( 'NONE', ( #4269 ), #4268, .T. ) ;
#19 = EDGE_LOOP ( 'NONE', ( #71, #73, #74, #76 ) ) ;
#20 = EDGE_CURVE ( 'NONE', #1604, #2070, #4264, .T. ) ;
#21 = ORIENTED_EDGE ( 'NONE', *, *, #1603, .F. ) ;
#22 = ADVANCED_FACE ( 'NONE', ( #4259 ), #4258, .F. ) ;
#23 = EDGE_LOOP ( 'NONE', ( #24, #25, #26, #28 ) ) ;
#24 = ORIENTED_EDGE ( 'NONE', *, *, #38, .T. ) ;
#25 = ORIENTED_EDGE ( 'NONE', *, *, #1609, .F. ) ;
#26 = ORIENTED_EDGE ( 'NONE', *, *, #27, .F. ) ;
#27 = EDGE_CURVE ( 'NONE', #5344, #1607, #4252, .T. ) ;
#28 = ORIENTED_EDGE ( 'NONE', *, *, #5342, .F. ) ;
#29 = ADVANCED_FACE ( 'NONE', ( #4248 ), #4247, .F. ) ;
#30 = EDGE_LOOP ( 'NONE', ( #31, #8, #9, #11 ) ) ;
#31 = ORIENTED_EDGE ( 'NONE', *, *, #1606, .T. ) ;
#32 = ORIENTED_EDGE ( 'NONE', *, *, #1600, .T. ) ;
#33 = ADVANCED_FACE ( 'NONE', ( #4304 ), #4303, .F. ) ;
#34 = EDGE_LOOP ( 'NONE', ( #35, #36, #37, #39 ) ) ;
#35 = ORIENTED_EDGE ( 'NONE', *, *, #9616, .T. ) ;
#36 = ORIENTED_EDGE ( 'NONE', *, *, #1612, .T. ) ;
#37 = ORIENTED_EDGE ( 'NONE', *, *, #38, .F. ) ;
#38 = EDGE_CURVE ( 'NONE', #5343, #1610, #4299, .T. ) ;
#39 = ORIENTED_EDGE ( 'NONE', *, *, #2949, .T. ) ;
#40 = ADVANCED_FACE ( 'NONE', ( #4294 ), #4293, .F. ) ;
#41 = EDGE_LOOP ( 'NONE', ( #42, #43, #860, #21 ) ) ;
#42 = ORIENTED_EDGE ( 'NONE', *, *, #9619, .T. ) ;
#43 = ORIENTED_EDGE ( 'NONE', *, *, #2044, .F. ) ;
#44 = ORIENTED_EDGE ( 'NONE', *, *, #1687, .F. ) ;
#45 = ADVANCED_FACE ( 'NONE', ( #4292 ), #4287, .T. ) ;
#46 = EDGE_LOOP ( 'NONE', ( #105, #106, #107, #108, #109, #111 ) ) ;
#47 = ORIENTED_EDGE ( 'NONE', *, *, #5607, .F. ) ;
#48 = ADVANCED_FACE ( 'NONE', ( #4281 ), #4280, .T. ) ;
#49 = ORIENTED_EDGE ( 'NONE', *, *, #82, .T. ) ;
#50 = ORIENTED_EDGE ( 'NONE', *, *, #5379, .F. ) ;
#51 = ORIENTED_EDGE ( 'NONE', *, *, #52, .F. ) ;
#52 = EDGE_CURVE ( 'NONE', #1685, #5642, #4276, .T. ) ;
#53 = ORIENTED_EDGE ( 'NONE', *, *, #1684, .F. ) ;
#54 = ADVANCED_FACE ( 'NONE', ( #4335 ), #4334, .T. ) ;
#55 = EDGE_LOOP ( 'NONE', ( #56, #57, #58, #116 ) ) ;
#56 = ORIENTED_EDGE ( 'NONE', *, *, #69, .T. ) ;
#57 = ORIENTED_EDGE ( 'NONE', *, *, #1940, .F. ) ;
#58 = ORIENTED_EDGE ( 'NONE', *, *, #115, .F. ) ;
#59 = ORIENTED_EDGE ( 'NONE', *, *, #1681, .F. ) ;
#60 = ORIENTED_EDGE ( 'NONE', *, *, #1650, .F. ) ;
#61 = ORIENTED_EDGE ( 'NONE', *, *, #1457, .F. ) ;
#62 = ADVANCED_FACE ( 'NONE', ( #4328 ), #4327, .T. ) ;
#63 = EDGE_LOOP ( 'NONE', ( #64, #65, #66, #67, #68, #47 ) ) ;
#64 = ORIENTED_EDGE ( 'NONE', *, *, #72, .T. ) ;
#65 = ORIENTED_EDGE ( 'NONE', *, *, #1515, .F. ) ;
#66 = ORIENTED_EDGE ( 'NONE', *, *, #1582, .F. ) ;
#67 = ORIENTED_EDGE ( 'NONE', *, *, #1944, .F. ) ;
#68 = ORIENTED_EDGE ( 'NONE', *, *, #69, .F. ) ;
#69 = EDGE_CURVE ( 'NONE', #5608, #1942, #4322, .T. ) ;
#70 = EDGE_LOOP ( 'NONE', ( #49, #50, #51, #53 ) ) ;
#71 = ORIENTED_EDGE ( 'NONE', *, *, #72, .F. ) ;
#72 = EDGE_CURVE ( 'NONE', #5635, #1454, #4318, .T. ) ;
#73 = ORIENTED_EDGE ( 'NONE', *, *, #5363, .F. ) ;
#74 = ORIENTED_EDGE ( 'NONE', *, *, #75, .F. ) ;
#75 = EDGE_CURVE ( 'NONE', #1455, #5350, #4313, .T. ) ;
#76 = ORIENTED_EDGE ( 'NONE', *, *, #1453, .F. ) ;
#77 = ADVANCED_FACE ( 'NONE', ( #4308 ), #4307, .T. ) ;
#78 = EDGE_LOOP ( 'NONE', ( #79, #80, #81, #59, #60, #61 ) ) ;
#79 = ORIENTED_EDGE ( 'NONE', *, *, #75, .T. ) ;
#80 = ORIENTED_EDGE ( 'NONE', *, *, #5621, .F. ) ;
#81 = ORIENTED_EDGE ( 'NONE', *, *, #82, .F. ) ;
#82 = EDGE_CURVE ( 'NONE', #1682, #5619, #4372, .T. ) ;
#83 = EDGE_CURVE ( 'NONE', #166, #84, #4363, .T. ) ;
#84 = VERTEX_POINT ( 'NONE', #4359 ) ;
#85 = ORIENTED_EDGE ( 'NONE', *, *, #86, .T. ) ;
#86 = EDGE_CURVE ( 'NONE', #84, #87, #4358, .T. ) ;
#87 = VERTEX_POINT ( 'NONE', #4353 ) ;
#88 = ORIENTED_EDGE ( 'NONE', *, *, #144, .T. ) ;
#89 = ORIENTED_EDGE ( 'NONE', *, *, #5395, .F. ) ;
#90 = ORIENTED_EDGE ( 'NONE', *, *, #110, .T. ) ;
#91 = ORIENTED_EDGE ( 'NONE', *, *, #1747, .F. ) ;
#92 = ADVANCED_FACE ( 'NONE', ( #4352 ), #4351, .T. ) ;
#93 = EDGE_LOOP ( 'NONE', ( #94, #98, #101, #159 ) ) ;
#94 = ORIENTED_EDGE ( 'NONE', *, *, #95, .T. ) ;
#95 = EDGE_CURVE ( 'NONE', #96, #97, #4346, .T. ) ;
#96 = VERTEX_POINT ( 'NONE', #4341 ) ;
#97 = VERTEX_POINT ( 'NONE', #4340 ) ;
#98 = ORIENTED_EDGE ( 'NONE', *, *, #99, .T. ) ;
#99 = EDGE_CURVE ( 'NONE', #97, #100, #4403, .T. ) ;
#100 = VERTEX_POINT ( 'NONE', #4399 ) ;
#101 = ORIENTED_EDGE ( 'NONE', *, *, #102, .T. ) ;
#102 = EDGE_CURVE ( 'NONE', #100, #103, #4398, .T. ) ;
#103 = VERTEX_POINT ( 'NONE', #4393 ) ;
#104 = EDGE_CURVE ( 'NONE', #250, #154, #4392, .T. ) ;
#105 = ORIENTED_EDGE ( 'NONE', *, *, #115, .T. ) ;
#106 = ORIENTED_EDGE ( 'NONE', *, *, #1868, .F. ) ;
#107 = ORIENTED_EDGE ( 'NONE', *, *, #1637, .F. ) ;
#108 = ORIENTED_EDGE ( 'NONE', *, *, #1805, .F. ) ;
#109 = ORIENTED_EDGE ( 'NONE', *, *, #110, .F. ) ;
#110 = EDGE_CURVE ( 'NONE', #5624, #1748, #4387, .T. ) ;
#111 = ORIENTED_EDGE ( 'NONE', *, *, #5623, .F. ) ;
#112 = ADVANCED_FACE ( 'NONE', ( #4382 ), #4381, .T. ) ;
#113 = EDGE_LOOP ( 'NONE', ( #114, #89, #90, #91 ) ) ;
#114 = ORIENTED_EDGE ( 'NONE', *, *, #122, .T. ) ;
#115 = EDGE_CURVE ( 'NONE', #5572, #1941, #4376, .T. ) ;
#116 = ORIENTED_EDGE ( 'NONE', *, *, #5371, .F. ) ;
#117 = ADVANCED_FACE ( 'NONE', ( #4432 ), #4431, .T. ) ;
#118 = EDGE_LOOP ( 'NONE', ( #119, #120, #121, #123, #124, #44 ) ) ;
#119 = ORIENTED_EDGE ( 'NONE', *, *, #52, .T. ) ;
#120 = ORIENTED_EDGE ( 'NONE', *, *, #5641, .F. ) ;
#121 = ORIENTED_EDGE ( 'NONE', *, *, #122, .F. ) ;
#122 = EDGE_CURVE ( 'NONE', #1826, #5639, #4425, .T. ) ;
#123 = ORIENTED_EDGE ( 'NONE', *, *, #1825, .F. ) ;
#124 = ORIENTED_EDGE ( 'NONE', *, *, #1656, .F. ) ;
#125 = ORIENTED_EDGE ( 'NONE', *, *, #126, .T. ) ;
#126 = EDGE_CURVE ( 'NONE', #215, #127, #4421, .T. ) ;
#127 = VERTEX_POINT ( 'NONE', #4416 ) ;
#128 = VERTEX_POINT ( 'NONE', #4415 ) ;
#129 = EDGE_CURVE ( 'NONE', #130, #157, #4414, .T. ) ;
#130 = VERTEX_POINT ( 'NONE', #4410 ) ;
#131 = ORIENTED_EDGE ( 'NONE', *, *, #132, .T. ) ;
#132 = EDGE_CURVE ( 'NONE', #130, #133, #4409, .T. ) ;
#133 = VERTEX_POINT ( 'NONE', #4404 ) ;
#134 = ORIENTED_EDGE ( 'NONE', *, *, #135, .F. ) ;
#135 = EDGE_CURVE ( 'NONE', #136, #133, #4466, .T. ) ;
#136 = VERTEX_POINT ( 'NONE', #4462 ) ;
#137 = ORIENTED_EDGE ( 'NONE', *, *, #138, .T. ) ;
#138 = EDGE_CURVE ( 'NONE', #136, #139, #4461, .T. ) ;
#139 = VERTEX_POINT ( 'NONE', #4457 ) ;
#140 = ORIENTED_EDGE ( 'NONE', *, *, #141, .F. ) ;
#141 = EDGE_CURVE ( 'NONE', #142, #139, #4456, .T. ) ;
#142 = VERTEX_POINT ( 'NONE', #4452 ) ;
#143 = ORIENTED_EDGE ( 'NONE', *, *, #205, .T. ) ;
#144 = EDGE_CURVE ( 'NONE', #87, #165, #4451, .T. ) ;
#145 = ADVANCED_FACE ( 'NONE', ( #4447, #4446 ), #4445, .F. ) ;
#146 = EDGE_LOOP ( 'NONE', ( #147, #148 ) ) ;
#147 = ORIENTED_EDGE ( 'NONE', *, *, #752, .F. ) ;
#148 = ORIENTED_EDGE ( 'NONE', *, *, #149, .F. ) ;
#149 = EDGE_CURVE ( 'NONE', #754, #753, #4440, .T. ) ;
#150 = EDGE_LOOP ( 'NONE', ( #151, #155, #158, #131, #134, #137, #140, #143, #207, #210, #213, #125, #190, #192, #195, #198, #201, #177, #179, #182, #185, #188, #253, #256, #169, #172, #175, #239, #242, #245, #248, #251 ) ) ;
#151 = ORIENTED_EDGE ( 'NONE', *, *, #152, .F. ) ;
#152 = EDGE_CURVE ( 'NONE', #153, #154, #4435, .T. ) ;
#153 = VERTEX_POINT ( 'NONE', #4498 ) ;
#154 = VERTEX_POINT ( 'NONE', #4497 ) ;
#155 = ORIENTED_EDGE ( 'NONE', *, *, #156, .T. ) ;
#156 = EDGE_CURVE ( 'NONE', #153, #157, #4496, .T. ) ;
#157 = VERTEX_POINT ( 'NONE', #4492 ) ;
#158 = ORIENTED_EDGE ( 'NONE', *, *, #129, .F. ) ;
#159 = ORIENTED_EDGE ( 'NONE', *, *, #160, .T. ) ;
#160 = EDGE_CURVE ( 'NONE', #103, #96, #4491, .T. ) ;
#161 = ADVANCED_FACE ( 'NONE', ( #4487 ), #4486, .T. ) ;
#162 = EDGE_LOOP ( 'NONE', ( #163, #167, #85, #88 ) ) ;
#163 = ORIENTED_EDGE ( 'NONE', *, *, #164, .T. ) ;
#164 = EDGE_CURVE ( 'NONE', #165, #166, #4481, .T. ) ;
#165 = VERTEX_POINT ( 'NONE', #4476 ) ;
#166 = VERTEX_POINT ( 'NONE', #4475 ) ;
#167 = ORIENTED_EDGE ( 'NONE', *, *, #83, .T. ) ;
#168 = VERTEX_POINT ( 'NONE', #4474 ) ;
#169 = ORIENTED_EDGE ( 'NONE', *, *, #170, .F. ) ;
#170 = EDGE_CURVE ( 'NONE', #171, #168, #4472, .T. ) ;
#171 = VERTEX_POINT ( 'NONE', #4530 ) ;
#172 = ORIENTED_EDGE ( 'NONE', *, *, #173, .T. ) ;
#173 = EDGE_CURVE ( 'NONE', #171, #174, #4529, .T. ) ;
#174 = VERTEX_POINT ( 'NONE', #4525 ) ;
#175 = ORIENTED_EDGE ( 'NONE', *, *, #176, .F. ) ;
#176 = EDGE_CURVE ( 'NONE', #238, #174, #4524, .T. ) ;
#177 = ORIENTED_EDGE ( 'NONE', *, *, #178, .T. ) ;
#178 = EDGE_CURVE ( 'NONE', #203, #204, #4520, .T. ) ;
#179 = ORIENTED_EDGE ( 'NONE', *, *, #180, .F. ) ;
#180 = EDGE_CURVE ( 'NONE', #181, #204, #4516, .T. ) ;
#181 = VERTEX_POINT ( 'NONE', #4512 ) ;
#182 = ORIENTED_EDGE ( 'NONE', *, *, #183, .T. ) ;
#183 = EDGE_CURVE ( 'NONE', #181, #184, #4511, .T. ) ;
#184 = VERTEX_POINT ( 'NONE', #4506 ) ;
#185 = ORIENTED_EDGE ( 'NONE', *, *, #186, .F. ) ;
#186 = EDGE_CURVE ( 'NONE', #187, #184, #4505, .T. ) ;
#187 = VERTEX_POINT ( 'NONE', #4501 ) ;
#188 = ORIENTED_EDGE ( 'NONE', *, *, #189, .T. ) ;
#189 = EDGE_CURVE ( 'NONE', #187, #252, #4561, .T. ) ;
#190 = ORIENTED_EDGE ( 'NONE', *, *, #191, .F. ) ;
#191 = EDGE_CURVE ( 'NONE', #128, #127, #4557, .T. ) ;
#192 = ORIENTED_EDGE ( 'NONE', *, *, #193, .T. ) ;
#193 = EDGE_CURVE ( 'NONE', #128, #194, #4553, .T. ) ;
#194 = VERTEX_POINT ( 'NONE', #4549 ) ;
#195 = ORIENTED_EDGE ( 'NONE', *, *, #196, .F. ) ;
#196 = EDGE_CURVE ( 'NONE', #197, #194, #4548, .T. ) ;
#197 = VERTEX_POINT ( 'NONE', #4544 ) ;
#198 = ORIENTED_EDGE ( 'NONE', *, *, #199, .T. ) ;
#199 = EDGE_CURVE ( 'NONE', #197, #200, #4543, .T. ) ;
#200 = VERTEX_POINT ( 'NONE', #4538 ) ;
#201 = ORIENTED_EDGE ( 'NONE', *, *, #202, .F. ) ;
#202 = EDGE_CURVE ( 'NONE', #203, #200, #4537, .T. ) ;
#203 = VERTEX_POINT ( 'NONE', #4533 ) ;
#204 = VERTEX_POINT ( 'NONE', #4532 ) ;
#205 = EDGE_CURVE ( 'NONE', #142, #206, #4531, .T. ) ;
#206 = VERTEX_POINT ( 'NONE', #4587 ) ;
#207 = ORIENTED_EDGE ( 'NONE', *, *, #208, .F. ) ;
#208 = EDGE_CURVE ( 'NONE', #209, #206, #4586, .T. ) ;
#209 = VERTEX_POINT ( 'NONE', #4582 ) ;
#210 = ORIENTED_EDGE ( 'NONE', *, *, #211, .T. ) ;
#211 = EDGE_CURVE ( 'NONE', #209, #212, #4581, .T. ) ;
#212 = VERTEX_POINT ( 'NONE', #4577 ) ;
#213 = ORIENTED_EDGE ( 'NONE', *, *, #214, .F. ) ;
#214 = EDGE_CURVE ( 'NONE', #215, #212, #4576, .T. ) ;
#215 = VERTEX_POINT ( 'NONE', #4572 ) ;
#216 = ADVANCED_FACE ( 'NONE', ( #4571 ), #4569, .F. ) ;
#217 = EDGE_LOOP ( 'NONE', ( #218, #220, #221, #282 ) ) ;
#218 = ORIENTED_EDGE ( 'NONE', *, *, #219, .F. ) ;
#219 = EDGE_CURVE ( 'NONE', #97, #596, #4563, .T. ) ;
#220 = ORIENTED_EDGE ( 'NONE', *, *, #95, .F. ) ;
#221 = ORIENTED_EDGE ( 'NONE', *, *, #281, .F. ) ;
#222 = ADVANCED_FACE ( 'NONE', ( #4565 ), #4564, .T. ) ;
#223 = EDGE_LOOP ( 'NONE', ( #224, #227, #230, #232 ) ) ;
#224 = ORIENTED_EDGE ( 'NONE', *, *, #225, .F. ) ;
#225 = EDGE_CURVE ( 'NONE', #226, #100, #4626, .T. ) ;
#226 = VERTEX_POINT ( 'NONE', #4602 ) ;
#227 = ORIENTED_EDGE ( 'NONE', *, *, #228, .T. ) ;
#228 = EDGE_CURVE ( 'NONE', #226, #229, #4601, .T. ) ;
#229 = VERTEX_POINT ( 'NONE', #4596 ) ;
#230 = ORIENTED_EDGE ( 'NONE', *, *, #231, .F. ) ;
#231 = EDGE_CURVE ( 'NONE', #103, #229, #4595, .T. ) ;
#232 = ORIENTED_EDGE ( 'NONE', *, *, #102, .F. ) ;
#233 = ADVANCED_FACE ( 'NONE', ( #4659 ), #4657, .T. ) ;
#234 = EDGE_LOOP ( 'NONE', ( #235, #293, #294, #297 ) ) ;
#235 = ORIENTED_EDGE ( 'NONE', *, *, #236, .F. ) ;
#236 = EDGE_CURVE ( 'NONE', #166, #237, #4658, .T. ) ;
#237 = VERTEX_POINT ( 'NONE', #4649 ) ;
#238 = VERTEX_POINT ( 'NONE', #4648 ) ;
#239 = ORIENTED_EDGE ( 'NONE', *, *, #240, .T. ) ;
#240 = EDGE_CURVE ( 'NONE', #238, #241, #4647, .T. ) ;
#241 = VERTEX_POINT ( 'NONE', #4642 ) ;
#242 = ORIENTED_EDGE ( 'NONE', *, *, #243, .F. ) ;
#243 = EDGE_CURVE ( 'NONE', #244, #241, #4641, .T. ) ;
#244 = VERTEX_POINT ( 'NONE', #4637 ) ;
#245 = ORIENTED_EDGE ( 'NONE', *, *, #246, .T. ) ;
#246 = EDGE_CURVE ( 'NONE', #244, #247, #4636, .T. ) ;
#247 = VERTEX_POINT ( 'NONE', #4632 ) ;
#248 = ORIENTED_EDGE ( 'NONE', *, *, #249, .F. ) ;
#249 = EDGE_CURVE ( 'NONE', #250, #247, #4631, .T. ) ;
#250 = VERTEX_POINT ( 'NONE', #4687 ) ;
#251 = ORIENTED_EDGE ( 'NONE', *, *, #104, .T. ) ;
#252 = VERTEX_POINT ( 'NONE', #4686 ) ;
#253 = ORIENTED_EDGE ( 'NONE', *, *, #254, .F. ) ;
#254 = EDGE_CURVE ( 'NONE', #255, #252, #4685, .T. ) ;
#255 = VERTEX_POINT ( 'NONE', #4681 ) ;
#256 = ORIENTED_EDGE ( 'NONE', *, *, #257, .T. ) ;
#257 = EDGE_CURVE ( 'NONE', #255, #168, #4680, .T. ) ;
#258 = VERTEX_POINT ( 'NONE', #4675 ) ;
#259 = ORIENTED_EDGE ( 'NONE', *, *, #260, .T. ) ;
#260 = EDGE_CURVE ( 'NONE', #258, #261, #4674, .T. ) ;
#261 = VERTEX_POINT ( 'NONE', #4670 ) ;
#262 = ORIENTED_EDGE ( 'NONE', *, *, #263, .T. ) ;
#263 = EDGE_CURVE ( 'NONE', #261, #264, #4669, .T. ) ;
#264 = VERTEX_POINT ( 'NONE', #4664 ) ;
#265 = ORIENTED_EDGE ( 'NONE', *, *, #266, .T. ) ;
#266 = EDGE_CURVE ( 'NONE', #264, #339, #4663, .T. ) ;
#267 = EDGE_LOOP ( 'NONE', ( #321, #324, #325, #328 ) ) ;
#268 = ORIENTED_EDGE ( 'NONE', *, *, #269, .F. ) ;
#269 = EDGE_CURVE ( 'NONE', #154, #226, #4722, .T. ) ;
#270 = ORIENTED_EDGE ( 'NONE', *, *, #104, .F. ) ;
#271 = ORIENTED_EDGE ( 'NONE', *, *, #272, .F. ) ;
#272 = EDGE_CURVE ( 'NONE', #229, #250, #4719, .T. ) ;
#273 = ORIENTED_EDGE ( 'NONE', *, *, #228, .F. ) ;
#274 = ADVANCED_FACE ( 'NONE', ( #4721 ), #4720, .F. ) ;
#275 = EDGE_LOOP ( 'NONE', ( #276, #278, #279, #334 ) ) ;
#276 = ORIENTED_EDGE ( 'NONE', *, *, #277, .F. ) ;
#277 = EDGE_CURVE ( 'NONE', #237, #130, #4750, .T. ) ;
#278 = ORIENTED_EDGE ( 'NONE', *, *, #298, .F. ) ;
#279 = ORIENTED_EDGE ( 'NONE', *, *, #280, .F. ) ;
#280 = EDGE_CURVE ( 'NONE', #133, #296, #4749, .T. ) ;
#281 = EDGE_CURVE ( 'NONE', #599, #96, #4778, .T. ) ;
#282 = ORIENTED_EDGE ( 'NONE', *, *, #598, .F. ) ;
#283 = ADVANCED_FACE ( 'NONE', ( #4780 ), #4779, .F. ) ;
#284 = EDGE_LOOP ( 'NONE', ( #285, #287, #288, #290 ) ) ;
#285 = ORIENTED_EDGE ( 'NONE', *, *, #286, .F. ) ;
#286 = EDGE_CURVE ( 'NONE', #593, #84, #4757, .T. ) ;
#287 = ORIENTED_EDGE ( 'NONE', *, *, #592, .F. ) ;
#288 = ORIENTED_EDGE ( 'NONE', *, *, #289, .F. ) ;
#289 = EDGE_CURVE ( 'NONE', #87, #590, #4755, .T. ) ;
#290 = ORIENTED_EDGE ( 'NONE', *, *, #86, .F. ) ;
#291 = ADVANCED_FACE ( 'NONE', ( #4804 ), #4756, .F. ) ;
#292 = EDGE_LOOP ( 'NONE', ( #268, #270, #271, #273 ) ) ;
#293 = ORIENTED_EDGE ( 'NONE', *, *, #164, .F. ) ;
#294 = ORIENTED_EDGE ( 'NONE', *, *, #295, .F. ) ;
#295 = EDGE_CURVE ( 'NONE', #296, #165, #4785, .T. ) ;
#296 = VERTEX_POINT ( 'NONE', #4781 ) ;
#297 = ORIENTED_EDGE ( 'NONE', *, *, #298, .T. ) ;
#298 = EDGE_CURVE ( 'NONE', #296, #237, #4847, .T. ) ;
#299 = EDGE_CURVE ( 'NONE', #300, #301, #4842, .T. ) ;
#300 = VERTEX_POINT ( 'NONE', #4837 ) ;
#301 = VERTEX_POINT ( 'NONE', #4836 ) ;
#302 = ORIENTED_EDGE ( 'NONE', *, *, #303, .T. ) ;
#303 = EDGE_CURVE ( 'NONE', #301, #304, #4835, .T. ) ;
#304 = VERTEX_POINT ( 'NONE', #4831 ) ;
#305 = ORIENTED_EDGE ( 'NONE', *, *, #306, .T. ) ;
#306 = EDGE_CURVE ( 'NONE', #304, #307, #4830, .T. ) ;
#307 = VERTEX_POINT ( 'NONE', #4825 ) ;
#308 = EDGE_CURVE ( 'NONE', #333, #261, #4818, .T. ) ;
#309 = ORIENTED_EDGE ( 'NONE', *, *, #310, .F. ) ;
#310 = EDGE_CURVE ( 'NONE', #311, #333, #4885, .T. ) ;
#311 = VERTEX_POINT ( 'NONE', #4870 ) ;
#312 = ORIENTED_EDGE ( 'NONE', *, *, #313, .F. ) ;
#313 = EDGE_CURVE ( 'NONE', #264, #311, #4868, .T. ) ;
#314 = ORIENTED_EDGE ( 'NONE', *, *, #263, .F. ) ;
#315 = ADVANCED_FACE ( 'NONE', ( #4869 ), #4865, .F. ) ;
#316 = EDGE_LOOP ( 'NONE', ( #317, #319, #374, #376 ) ) ;
#317 = ORIENTED_EDGE ( 'NONE', *, *, #318, .F. ) ;
#318 = EDGE_CURVE ( 'NONE', #323, #142, #4914, .T. ) ;
#319 = ORIENTED_EDGE ( 'NONE', *, *, #329, .F. ) ;
#320 = ADVANCED_FACE ( 'NONE', ( #4916 ), #4915, .T. ) ;
#321 = ORIENTED_EDGE ( 'NONE', *, *, #322, .F. ) ;
#322 = EDGE_CURVE ( 'NONE', #258, #323, #4893, .T. ) ;
#323 = VERTEX_POINT ( 'NONE', #4889 ) ;
#324 = ORIENTED_EDGE ( 'NONE', *, *, #338, .F. ) ;
#325 = ORIENTED_EDGE ( 'NONE', *, *, #326, .F. ) ;
#326 = EDGE_CURVE ( 'NONE', #327, #339, #4888, .T. ) ;
#327 = VERTEX_POINT ( 'NONE', #4951 ) ;
#328 = ORIENTED_EDGE ( 'NONE', *, *, #329, .T. ) ;
#329 = EDGE_CURVE ( 'NONE', #327, #323, #4950, .T. ) ;
#330 = ADVANCED_FACE ( 'NONE', ( #4945 ), #4944, .F. ) ;
#331 = EDGE_LOOP ( 'NONE', ( #332, #309, #312, #314 ) ) ;
#332 = ORIENTED_EDGE ( 'NONE', *, *, #308, .F. ) ;
#333 = VERTEX_POINT ( 'NONE', #4943 ) ;
#334 = ORIENTED_EDGE ( 'NONE', *, *, #132, .F. ) ;
#335 = ADVANCED_FACE ( 'NONE', ( #4938 ), #4937, .T. ) ;
#336 = EDGE_LOOP ( 'NONE', ( #337, #259, #262, #265 ) ) ;
#337 = ORIENTED_EDGE ( 'NONE', *, *, #338, .T. ) ;
#338 = EDGE_CURVE ( 'NONE', #339, #258, #4932, .T. ) ;
#339 = VERTEX_POINT ( 'NONE', #4927 ) ;
#340 = VERTEX_POINT ( 'NONE', #4926 ) ;
#341 = ORIENTED_EDGE ( 'NONE', *, *, #342, .T. ) ;
#342 = EDGE_CURVE ( 'NONE', #340, #343, #4925, .T. ) ;
#343 = VERTEX_POINT ( 'NONE', #4921 ) ;
#344 = ORIENTED_EDGE ( 'NONE', *, *, #397, .T. ) ;
#345 = VERTEX_POINT ( 'NONE', #4920 ) ;
#346 = ORIENTED_EDGE ( 'NONE', *, *, #347, .F. ) ;
#347 = EDGE_CURVE ( 'NONE', #348, #304, #4980, .T. ) ;
#348 = VERTEX_POINT ( 'NONE', #4982 ) ;
#349 = ORIENTED_EDGE ( 'NONE', *, *, #350, .F. ) ;
#350 = EDGE_CURVE ( 'NONE', #351, #348, #4979, .T. ) ;
#351 = VERTEX_POINT ( 'NONE', #4961 ) ;
#352 = ORIENTED_EDGE ( 'NONE', *, *, #353, .F. ) ;
#353 = EDGE_CURVE ( 'NONE', #307, #351, #4953, .T. ) ;
#354 = ORIENTED_EDGE ( 'NONE', *, *, #306, .F. ) ;
#355 = ADVANCED_FACE ( 'NONE', ( #4955 ), #4954, .F. ) ;
#356 = EDGE_LOOP ( 'NONE', ( #357, #411, #412, #414 ) ) ;
#357 = ORIENTED_EDGE ( 'NONE', *, *, #358, .F. ) ;
#358 = EDGE_CURVE ( 'NONE', #365, #215, #5005, .T. ) ;
#359 = ORIENTED_EDGE ( 'NONE', *, *, #360, .T. ) ;
#360 = EDGE_CURVE ( 'NONE', #307, #300, #5004, .T. ) ;
#361 = ADVANCED_FACE ( 'NONE', ( #5000 ), #4732, .T. ) ;
#362 = EDGE_LOOP ( 'NONE', ( #363, #366, #367, #370 ) ) ;
#363 = ORIENTED_EDGE ( 'NONE', *, *, #364, .F. ) ;
#364 = EDGE_CURVE ( 'NONE', #301, #365, #5048, .T. ) ;
#365 = VERTEX_POINT ( 'NONE', #5044 ) ;
#366 = ORIENTED_EDGE ( 'NONE', *, *, #299, .F. ) ;
#367 = ORIENTED_EDGE ( 'NONE', *, *, #368, .F. ) ;
#368 = EDGE_CURVE ( 'NONE', #369, #300, #5043, .T. ) ;
#369 = VERTEX_POINT ( 'NONE', #5039 ) ;
#370 = ORIENTED_EDGE ( 'NONE', *, *, #371, .T. ) ;
#371 = EDGE_CURVE ( 'NONE', #369, #365, #5038, .T. ) ;
#372 = ADVANCED_FACE ( 'NONE', ( #5033 ), #5032, .F. ) ;
#373 = EDGE_LOOP ( 'NONE', ( #346, #349, #352, #354 ) ) ;
#374 = ORIENTED_EDGE ( 'NONE', *, *, #375, .F. ) ;
#375 = EDGE_CURVE ( 'NONE', #206, #327, #5022, .T. ) ;
#376 = ORIENTED_EDGE ( 'NONE', *, *, #205, .F. ) ;
#377 = ADVANCED_FACE ( 'NONE', ( #5023 ), #5082, .T. ) ;
#378 = EDGE_LOOP ( 'NONE', ( #379, #302, #305, #359 ) ) ;
#379 = ORIENTED_EDGE ( 'NONE', *, *, #299, .T. ) ;
#380 = EDGE_CURVE ( 'NONE', #458, #381, #5065, .T. ) ;
#381 = VERTEX_POINT ( 'NONE', #5061 ) ;
#382 = EDGE_CURVE ( 'NONE', #408, #404, #5060, .T. ) ;
#383 = ADVANCED_FACE ( 'NONE', ( #5055 ), #5054, .F. ) ;
#384 = ORIENTED_EDGE ( 'NONE', *, *, #385, .F. ) ;
#385 = EDGE_CURVE ( 'NONE', #386, #343, #5049, .T. ) ;
#386 = VERTEX_POINT ( 'NONE', #5116 ) ;
#387 = ORIENTED_EDGE ( 'NONE', *, *, #388, .F. ) ;
#388 = EDGE_CURVE ( 'NONE', #389, #386, #5115, .T. ) ;
#389 = VERTEX_POINT ( 'NONE', #5096 ) ;
#390 = ORIENTED_EDGE ( 'NONE', *, *, #391, .F. ) ;
#391 = EDGE_CURVE ( 'NONE', #345, #389, #5094, .T. ) ;
#392 = ORIENTED_EDGE ( 'NONE', *, *, #397, .F. ) ;
#393 = ADVANCED_FACE ( 'NONE', ( #5095 ), #5091, .F. ) ;
#394 = EDGE_LOOP ( 'NONE', ( #395, #449, #450, #452 ) ) ;
#395 = ORIENTED_EDGE ( 'NONE', *, *, #396, .F. ) ;
#396 = EDGE_CURVE ( 'NONE', #404, #197, #5141, .T. ) ;
#397 = EDGE_CURVE ( 'NONE', #343, #345, #5119, .T. ) ;
#398 = ORIENTED_EDGE ( 'NONE', *, *, #399, .T. ) ;
#399 = EDGE_CURVE ( 'NONE', #345, #419, #5120, .T. ) ;
#400 = ADVANCED_FACE ( 'NONE', ( #5182 ), #5180, .T. ) ;
#401 = EDGE_LOOP ( 'NONE', ( #402, #405, #406, #409 ) ) ;
#402 = ORIENTED_EDGE ( 'NONE', *, *, #403, .F. ) ;
#403 = EDGE_CURVE ( 'NONE', #340, #404, #5181, .T. ) ;
#404 = VERTEX_POINT ( 'NONE', #5172 ) ;
#405 = ORIENTED_EDGE ( 'NONE', *, *, #418, .F. ) ;
#406 = ORIENTED_EDGE ( 'NONE', *, *, #407, .F. ) ;
#407 = EDGE_CURVE ( 'NONE', #408, #419, #5171, .T. ) ;
#408 = VERTEX_POINT ( 'NONE', #5167 ) ;
#409 = ORIENTED_EDGE ( 'NONE', *, *, #382, .T. ) ;
#410 = EDGE_LOOP ( 'NONE', ( #384, #387, #390, #392 ) ) ;
#411 = ORIENTED_EDGE ( 'NONE', *, *, #371, .F. ) ;
#412 = ORIENTED_EDGE ( 'NONE', *, *, #413, .F. ) ;
#413 = EDGE_CURVE ( 'NONE', #127, #369, #5164, .T. ) ;
#414 = ORIENTED_EDGE ( 'NONE', *, *, #126, .F. ) ;
#415 = ADVANCED_FACE ( 'NONE', ( #5165 ), #5166, .T. ) ;
#416 = EDGE_LOOP ( 'NONE', ( #417, #341, #344, #398 ) ) ;
#417 = ORIENTED_EDGE ( 'NONE', *, *, #418, .T. ) ;
#418 = EDGE_CURVE ( 'NONE', #419, #340, #5205, .T. ) ;
#419 = VERTEX_POINT ( 'NONE', #5201 ) ;
#420 = EDGE_CURVE ( 'NONE', #447, #443, #5199, .T. ) ;
#421 = ADVANCED_FACE ( 'NONE', ( #5200 ), #5193, .F. ) ;
#422 = EDGE_LOOP ( 'NONE', ( #423, #426, #429, #431 ) ) ;
#423 = ORIENTED_EDGE ( 'NONE', *, *, #424, .F. ) ;
#424 = EDGE_CURVE ( 'NONE', #425, #381, #5184, .T. ) ;
#425 = VERTEX_POINT ( 'NONE', #5185 ) ;
#426 = ORIENTED_EDGE ( 'NONE', *, *, #427, .F. ) ;
#427 = EDGE_CURVE ( 'NONE', #428, #425, #5251, .T. ) ;
#428 = VERTEX_POINT ( 'NONE', #5236 ) ;
#429 = ORIENTED_EDGE ( 'NONE', *, *, #430, .F. ) ;
#430 = EDGE_CURVE ( 'NONE', #436, #428, #5234, .T. ) ;
#431 = ORIENTED_EDGE ( 'NONE', *, *, #435, .F. ) ;
#432 = ADVANCED_FACE ( 'NONE', ( #5235 ), #5230, .F. ) ;
#433 = EDGE_LOOP ( 'NONE', ( #487, #489, #490, #492 ) ) ;
#434 = ORIENTED_EDGE ( 'NONE', *, *, #435, .T. ) ;
#435 = EDGE_CURVE ( 'NONE', #381, #436, #5277, .T. ) ;
#436 = VERTEX_POINT ( 'NONE', #5273 ) ;
#437 = ORIENTED_EDGE ( 'NONE', *, *, #438, .T. ) ;
#438 = EDGE_CURVE ( 'NONE', #436, #457, #5272, .T. ) ;
#439 = ADVANCED_FACE ( 'NONE', ( #5268 ), #5267, .T. ) ;
#440 = EDGE_LOOP ( 'NONE', ( #441, #444, #445, #448 ) ) ;
#441 = ORIENTED_EDGE ( 'NONE', *, *, #442, .F. ) ;
#442 = EDGE_CURVE ( 'NONE', #458, #443, #5266, .T. ) ;
#443 = VERTEX_POINT ( 'NONE', #5258 ) ;
#444 = ORIENTED_EDGE ( 'NONE', *, *, #456, .F. ) ;
#445 = ORIENTED_EDGE ( 'NONE', *, *, #446, .F. ) ;
#446 = EDGE_CURVE ( 'NONE', #447, #457, #5257, .T. ) ;
#447 = VERTEX_POINT ( 'NONE', #5253 ) ;
#448 = ORIENTED_EDGE ( 'NONE', *, *, #420, .T. ) ;
#449 = ORIENTED_EDGE ( 'NONE', *, *, #382, .F. ) ;
#450 = ORIENTED_EDGE ( 'NONE', *, *, #451, .F. ) ;
#451 = EDGE_CURVE ( 'NONE', #200, #408, #5679, .T. ) ;
#452 = ORIENTED_EDGE ( 'NONE', *, *, #199, .F. ) ;
#453 = ADVANCED_FACE ( 'NONE', ( #5681 ), #5680, .T. ) ;
#454 = EDGE_LOOP ( 'NONE', ( #455, #459, #434, #437 ) ) ;
#455 = ORIENTED_EDGE ( 'NONE', *, *, #456, .T. ) ;
#456 = EDGE_CURVE ( 'NONE', #457, #458, #5658, .T. ) ;
#457 = VERTEX_POINT ( 'NONE', #5653 ) ;
#458 = VERTEX_POINT ( 'NONE', #5652 ) ;
#459 = ORIENTED_EDGE ( 'NONE', *, *, #380, .T. ) ;
#460 = EDGE_CURVE ( 'NONE', #486, #482, #5650, .T. ) ;
#461 = ADVANCED_FACE ( 'NONE', ( #5651 ), #5709, .F. ) ;
#462 = EDGE_LOOP ( 'NONE', ( #463, #465, #466, #468 ) ) ;
#463 = ORIENTED_EDGE ( 'NONE', *, *, #464, .F. ) ;
#464 = EDGE_CURVE ( 'NONE', #653, #472, #5705, .T. ) ;
#465 = ORIENTED_EDGE ( 'NONE', *, *, #585, .F. ) ;
#466 = ORIENTED_EDGE ( 'NONE', *, *, #467, .F. ) ;
#467 = EDGE_CURVE ( 'NONE', #475, #583, #5702, .T. ) ;
#468 = ORIENTED_EDGE ( 'NONE', *, *, #474, .F. ) ;
#469 = ADVANCED_FACE ( 'NONE', ( #5704 ), #5703, .F. ) ;
#470 = EDGE_LOOP ( 'NONE', ( #525, #527, #528, #530 ) ) ;
#471 = EDGE_CURVE ( 'NONE', #498, #472, #5730, .T. ) ;
#472 = VERTEX_POINT ( 'NONE', #5726 ) ;
#473 = ORIENTED_EDGE ( 'NONE', *, *, #474, .T. ) ;
#474 = EDGE_CURVE ( 'NONE', #472, #475, #5725, .T. ) ;
#475 = VERTEX_POINT ( 'NONE', #5720 ) ;
#476 = ORIENTED_EDGE ( 'NONE', *, *, #477, .T. ) ;
#477 = EDGE_CURVE ( 'NONE', #475, #497, #5719, .T. ) ;
#478 = ADVANCED_FACE ( 'NONE', ( #5715 ), #5714, .T. ) ;
#479 = EDGE_LOOP ( 'NONE', ( #480, #483, #484, #539 ) ) ;
#480 = ORIENTED_EDGE ( 'NONE', *, *, #481, .F. ) ;
#481 = EDGE_CURVE ( 'NONE', #498, #482, #5774, .T. ) ;
#482 = VERTEX_POINT ( 'NONE', #5770 ) ;
#483 = ORIENTED_EDGE ( 'NONE', *, *, #496, .F. ) ;
#484 = ORIENTED_EDGE ( 'NONE', *, *, #485, .F. ) ;
#485 = EDGE_CURVE ( 'NONE', #486, #497, #5769, .T. ) ;
#486 = VERTEX_POINT ( 'NONE', #5765 ) ;
#487 = ORIENTED_EDGE ( 'NONE', *, *, #488, .F. ) ;
#488 = EDGE_CURVE ( 'NONE', #443, #181, #5764, .T. ) ;
#489 = ORIENTED_EDGE ( 'NONE', *, *, #420, .F. ) ;
#490 = ORIENTED_EDGE ( 'NONE', *, *, #491, .F. ) ;
#491 = EDGE_CURVE ( 'NONE', #184, #447, #5761, .T. ) ;
#492 = ORIENTED_EDGE ( 'NONE', *, *, #183, .F. ) ;
#493 = ADVANCED_FACE ( 'NONE', ( #5763 ), #5762, .T. ) ;
#494 = EDGE_LOOP ( 'NONE', ( #495, #499, #473, #476 ) ) ;
#495 = ORIENTED_EDGE ( 'NONE', *, *, #496, .T. ) ;
#496 = EDGE_CURVE ( 'NONE', #497, #498, #5789, .T. ) ;
#497 = VERTEX_POINT ( 'NONE', #5785 ) ;
#498 = VERTEX_POINT ( 'NONE', #5784 ) ;
#499 = ORIENTED_EDGE ( 'NONE', *, *, #471, .T. ) ;
#500 = ADVANCED_FACE ( 'NONE', ( #5783 ), #5781, .F. ) ;
#501 = EDGE_LOOP ( 'NONE', ( #502, #504, #505, #507 ) ) ;
#502 = ORIENTED_EDGE ( 'NONE', *, *, #503, .F. ) ;
#503 = EDGE_CURVE ( 'NONE', #604, #538, #5777, .T. ) ;
#504 = ORIENTED_EDGE ( 'NONE', *, *, #580, .F. ) ;
#505 = ORIENTED_EDGE ( 'NONE', *, *, #506, .F. ) ;
#506 = EDGE_CURVE ( 'NONE', #514, #602, #5829, .T. ) ;
#507 = ORIENTED_EDGE ( 'NONE', *, *, #513, .F. ) ;
#508 = ADVANCED_FACE ( 'NONE', ( #5844 ), #5809, .F. ) ;
#509 = EDGE_LOOP ( 'NONE', ( #510, #566, #567, #569 ) ) ;
#510 = ORIENTED_EDGE ( 'NONE', *, *, #565, .F. ) ;
#511 = EDGE_CURVE ( 'NONE', #536, #538, #5825, .T. ) ;
#512 = ORIENTED_EDGE ( 'NONE', *, *, #513, .T. ) ;
#513 = EDGE_CURVE ( 'NONE', #538, #514, #5866, .T. ) ;
#514 = VERTEX_POINT ( 'NONE', #5867 ) ;
#515 = ORIENTED_EDGE ( 'NONE', *, *, #516, .T. ) ;
#516 = EDGE_CURVE ( 'NONE', #514, #535, #5861, .T. ) ;
#517 = ADVANCED_FACE ( 'NONE', ( #5857 ), #5855, .T. ) ;
#518 = EDGE_LOOP ( 'NONE', ( #519, #522, #523, #578 ) ) ;
#519 = ORIENTED_EDGE ( 'NONE', *, *, #520, .F. ) ;
#520 = EDGE_CURVE ( 'NONE', #536, #521, #5856, .T. ) ;
#521 = VERTEX_POINT ( 'NONE', #5847 ) ;
#522 = ORIENTED_EDGE ( 'NONE', *, *, #534, .F. ) ;
#523 = ORIENTED_EDGE ( 'NONE', *, *, #577, .F. ) ;
#524 = VERTEX_POINT ( 'NONE', #5846 ) ;
#525 = ORIENTED_EDGE ( 'NONE', *, *, #526, .F. ) ;
#526 = EDGE_CURVE ( 'NONE', #482, #255, #5845, .T. ) ;
#527 = ORIENTED_EDGE ( 'NONE', *, *, #460, .F. ) ;
#528 = ORIENTED_EDGE ( 'NONE', *, *, #529, .F. ) ;
#529 = EDGE_CURVE ( 'NONE', #168, #486, #5910, .T. ) ;
#530 = ORIENTED_EDGE ( 'NONE', *, *, #257, .F. ) ;
#531 = ADVANCED_FACE ( 'NONE', ( #5912 ), #5911, .T. ) ;
#532 = EDGE_LOOP ( 'NONE', ( #533, #537, #512, #515 ) ) ;
#533 = ORIENTED_EDGE ( 'NONE', *, *, #534, .T. ) ;
#534 = EDGE_CURVE ( 'NONE', #535, #536, #5893, .T. ) ;
#535 = VERTEX_POINT ( 'NONE', #5943 ) ;
#536 = VERTEX_POINT ( 'NONE', #5942 ) ;
#537 = ORIENTED_EDGE ( 'NONE', *, *, #511, .T. ) ;
#538 = VERTEX_POINT ( 'NONE', #5941 ) ;
#539 = ORIENTED_EDGE ( 'NONE', *, *, #460, .T. ) ;
#540 = ORIENTED_EDGE ( 'NONE', *, *, #541, .T. ) ;
#541 = EDGE_CURVE ( 'NONE', #622, #542, #5940, .T. ) ;
#542 = VERTEX_POINT ( 'NONE', #5935 ) ;
#543 = ORIENTED_EDGE ( 'NONE', *, *, #544, .F. ) ;
#544 = EDGE_CURVE ( 'NONE', #545, #542, #5934, .T. ) ;
#545 = VERTEX_POINT ( 'NONE', #5929 ) ;
#546 = ORIENTED_EDGE ( 'NONE', *, *, #547, .F. ) ;
#547 = EDGE_CURVE ( 'NONE', #548, #545, #5928, .T. ) ;
#548 = VERTEX_POINT ( 'NONE', #5923 ) ;
#549 = ORIENTED_EDGE ( 'NONE', *, *, #550, .T. ) ;
#550 = EDGE_CURVE ( 'NONE', #548, #590, #5922, .T. ) ;
#551 = ORIENTED_EDGE ( 'NONE', *, *, #611, .T. ) ;
#552 = EDGE_CURVE ( 'NONE', #640, #623, #5917, .T. ) ;
#553 = ORIENTED_EDGE ( 'NONE', *, *, #639, .T. ) ;
#554 = ADVANCED_FACE ( 'NONE', ( #5972, #5971 ), #5970, .T. ) ;
#555 = EDGE_LOOP ( 'NONE', ( #556, #558 ) ) ;
#556 = ORIENTED_EDGE ( 'NONE', *, *, #557, .T. ) ;
#557 = EDGE_CURVE ( 'NONE', #760, #759, #5965, .T. ) ;
#558 = ORIENTED_EDGE ( 'NONE', *, *, #758, .T. ) ;
#559 = EDGE_LOOP ( 'NONE', ( #560, #561 ) ) ;
#560 = ORIENTED_EDGE ( 'NONE', *, *, #873, .T. ) ;
#561 = ORIENTED_EDGE ( 'NONE', *, *, #562, .T. ) ;
#562 = EDGE_CURVE ( 'NONE', #865, #874, #5960, .T. ) ;
#563 = ADVANCED_FACE ( 'NONE', ( #5955, #5954 ), #5953, .T. ) ;
#564 = EDGE_LOOP ( 'NONE', ( #4121, #3135 ) ) ;
#565 = EDGE_CURVE ( 'NONE', #521, #238, #5945, .T. ) ;
#566 = ORIENTED_EDGE ( 'NONE', *, *, #579, .F. ) ;
#567 = ORIENTED_EDGE ( 'NONE', *, *, #568, .F. ) ;
#568 = EDGE_CURVE ( 'NONE', #241, #524, #6009, .T. ) ;
#569 = ORIENTED_EDGE ( 'NONE', *, *, #240, .F. ) ;
#570 = ADVANCED_FACE ( 'NONE', ( #6008, #5996 ), #6010, .T. ) ;
#571 = EDGE_LOOP ( 'NONE', ( #572, #573 ) ) ;
#572 = ORIENTED_EDGE ( 'NONE', *, *, #699, .T. ) ;
#573 = ORIENTED_EDGE ( 'NONE', *, *, #574, .T. ) ;
#574 = EDGE_CURVE ( 'NONE', #697, #700, #5977, .T. ) ;
#575 = EDGE_LOOP ( 'NONE', ( #576, #553 ) ) ;
#576 = ORIENTED_EDGE ( 'NONE', *, *, #552, .T. ) ;
#577 = EDGE_CURVE ( 'NONE', #524, #535, #6043, .T. ) ;
#578 = ORIENTED_EDGE ( 'NONE', *, *, #579, .T. ) ;
#579 = EDGE_CURVE ( 'NONE', #524, #521, #6039, .T. ) ;
#580 = EDGE_CURVE ( 'NONE', #602, #604, #6034, .T. ) ;
#581 = ORIENTED_EDGE ( 'NONE', *, *, #582, .T. ) ;
#582 = EDGE_CURVE ( 'NONE', #604, #583, #6029, .T. ) ;
#583 = VERTEX_POINT ( 'NONE', #6024 ) ;
#584 = ORIENTED_EDGE ( 'NONE', *, *, #585, .T. ) ;
#585 = EDGE_CURVE ( 'NONE', #583, #653, #6023, .T. ) ;
#586 = ADVANCED_FACE ( 'NONE', ( #6018 ), #6017, .T. ) ;
#587 = EDGE_LOOP ( 'NONE', ( #588, #796, #866, #812, #861, #797, #810, #762 ) ) ;
#588 = ORIENTED_EDGE ( 'NONE', *, *, #875, .T. ) ;
#589 = VERTEX_POINT ( 'NONE', #6012 ) ;
#590 = VERTEX_POINT ( 'NONE', #6011 ) ;
#591 = ORIENTED_EDGE ( 'NONE', *, *, #592, .T. ) ;
#592 = EDGE_CURVE ( 'NONE', #590, #593, #6073, .T. ) ;
#593 = VERTEX_POINT ( 'NONE', #6074 ) ;
#594 = ORIENTED_EDGE ( 'NONE', *, *, #595, .T. ) ;
#595 = EDGE_CURVE ( 'NONE', #593, #596, #6067, .T. ) ;
#596 = VERTEX_POINT ( 'NONE', #6068 ) ;
#597 = ORIENTED_EDGE ( 'NONE', *, *, #598, .T. ) ;
#598 = EDGE_CURVE ( 'NONE', #596, #599, #6062, .T. ) ;
#599 = VERTEX_POINT ( 'NONE', #6057 ) ;
#600 = ORIENTED_EDGE ( 'NONE', *, *, #601, .T. ) ;
#601 = EDGE_CURVE ( 'NONE', #599, #602, #6055, .T. ) ;
#602 = VERTEX_POINT ( 'NONE', #6056 ) ;
#603 = ORIENTED_EDGE ( 'NONE', *, *, #580, .T. ) ;
#604 = VERTEX_POINT ( 'NONE', #6050 ) ;
#605 = ORIENTED_EDGE ( 'NONE', *, *, #606, .T. ) ;
#606 = EDGE_CURVE ( 'NONE', #621, #613, #6049, .T. ) ;
#607 = ORIENTED_EDGE ( 'NONE', *, *, #608, .F. ) ;
#608 = EDGE_CURVE ( 'NONE', #618, #613, #6044, .T. ) ;
#609 = ORIENTED_EDGE ( 'NONE', *, *, #654, .F. ) ;
#610 = EDGE_CURVE ( 'NONE', #617, #618, #6101, .T. ) ;
#611 = EDGE_CURVE ( 'NONE', #617, #621, #6096, .T. ) ;
#612 = EDGE_LOOP ( 'NONE', ( #616, #551, #605, #607 ) ) ;
#613 = VERTEX_POINT ( 'NONE', #6092 ) ;
#614 = ADVANCED_FACE ( 'NONE', ( #6091 ), #6090, .F. ) ;
#615 = EDGE_LOOP ( 'NONE', ( #609, #656, #659, #624 ) ) ;
#616 = ORIENTED_EDGE ( 'NONE', *, *, #610, .F. ) ;
#617 = VERTEX_POINT ( 'NONE', #6085 ) ;
#618 = VERTEX_POINT ( 'NONE', #6084 ) ;
#619 = ORIENTED_EDGE ( 'NONE', *, *, #620, .F. ) ;
#620 = EDGE_CURVE ( 'NONE', #707, #713, #6083, .T. ) ;
#621 = VERTEX_POINT ( 'NONE', #6079 ) ;
#622 = VERTEX_POINT ( 'NONE', #6078 ) ;
#623 = VERTEX_POINT ( 'NONE', #6077 ) ;
#624 = ORIENTED_EDGE ( 'NONE', *, *, #625, .F. ) ;
#625 = EDGE_CURVE ( 'NONE', #655, #661, #6075, .T. ) ;
#626 = ADVANCED_FACE ( 'NONE', ( #6135 ), #6127, .T. ) ;
#627 = EDGE_LOOP ( 'NONE', ( #628, #629, #632, #635 ) ) ;
#628 = ORIENTED_EDGE ( 'NONE', *, *, #657, .F. ) ;
#629 = ORIENTED_EDGE ( 'NONE', *, *, #630, .F. ) ;
#630 = EDGE_CURVE ( 'NONE', #631, #662, #6123, .T. ) ;
#631 = VERTEX_POINT ( 'NONE', #6119 ) ;
#632 = ORIENTED_EDGE ( 'NONE', *, *, #633, .T. ) ;
#633 = EDGE_CURVE ( 'NONE', #631, #634, #6118, .T. ) ;
#634 = VERTEX_POINT ( 'NONE', #6113 ) ;
#635 = ORIENTED_EDGE ( 'NONE', *, *, #636, .F. ) ;
#636 = EDGE_CURVE ( 'NONE', #658, #634, #6112, .T. ) ;
#637 = ADVANCED_FACE ( 'NONE', ( #6107 ), #6106, .F. ) ;
#638 = EDGE_LOOP ( 'NONE', ( #691, #695, #698, #701 ) ) ;
#639 = EDGE_CURVE ( 'NONE', #623, #640, #6163, .T. ) ;
#640 = VERTEX_POINT ( 'NONE', #6159 ) ;
#641 = ORIENTED_EDGE ( 'NONE', *, *, #642, .T. ) ;
#642 = EDGE_CURVE ( 'NONE', #623, #643, #6158, .T. ) ;
#643 = VERTEX_POINT ( 'NONE', #6154 ) ;
#644 = ORIENTED_EDGE ( 'NONE', *, *, #645, .F. ) ;
#645 = EDGE_CURVE ( 'NONE', #646, #643, #6153, .T. ) ;
#646 = VERTEX_POINT ( 'NONE', #6148 ) ;
#647 = ORIENTED_EDGE ( 'NONE', *, *, #648, .F. ) ;
#648 = EDGE_CURVE ( 'NONE', #640, #646, #6147, .T. ) ;
#649 = ADVANCED_FACE ( 'NONE', ( #6143 ), #6141, .T. ) ;
#650 = EDGE_LOOP ( 'NONE', ( #651, #540, #543, #546, #549, #591, #594, #597, #600, #603, #581, #584 ) ) ;
#651 = ORIENTED_EDGE ( 'NONE', *, *, #652, .T. ) ;
#652 = EDGE_CURVE ( 'NONE', #653, #622, #4734, .T. ) ;
#653 = VERTEX_POINT ( 'NONE', #6196 ) ;
#654 = EDGE_CURVE ( 'NONE', #662, #655, #6195, .T. ) ;
#655 = VERTEX_POINT ( 'NONE', #6190 ) ;
#656 = ORIENTED_EDGE ( 'NONE', *, *, #657, .T. ) ;
#657 = EDGE_CURVE ( 'NONE', #662, #658, #6189, .T. ) ;
#658 = VERTEX_POINT ( 'NONE', #6184 ) ;
#659 = ORIENTED_EDGE ( 'NONE', *, *, #660, .F. ) ;
#660 = EDGE_CURVE ( 'NONE', #661, #658, #6183, .T. ) ;
#661 = VERTEX_POINT ( 'NONE', #6178 ) ;
#662 = VERTEX_POINT ( 'NONE', #6177 ) ;
#663 = ADVANCED_FACE ( 'NONE', ( #6176 ), #6174, .T. ) ;
#664 = EDGE_CURVE ( 'NONE', #745, #665, #6170, .T. ) ;
#665 = VERTEX_POINT ( 'NONE', #6229 ) ;
#666 = ORIENTED_EDGE ( 'NONE', *, *, #667, .T. ) ;
#667 = EDGE_CURVE ( 'NONE', #665, #668, #6228, .T. ) ;
#668 = VERTEX_POINT ( 'NONE', #6223 ) ;
#669 = ORIENTED_EDGE ( 'NONE', *, *, #670, .F. ) ;
#670 = EDGE_CURVE ( 'NONE', #746, #668, #6222, .T. ) ;
#671 = EDGE_LOOP ( 'NONE', ( #787, #708, #711, #619 ) ) ;
#672 = VERTEX_POINT ( 'NONE', #6218 ) ;
#673 = ORIENTED_EDGE ( 'NONE', *, *, #735, .T. ) ;
#674 = VERTEX_POINT ( 'NONE', #6217 ) ;
#675 = EDGE_CURVE ( 'NONE', #738, #719, #6216, .T. ) ;
#676 = ADVANCED_FACE ( 'NONE', ( #6212 ), #6211, .T. ) ;
#677 = EDGE_LOOP ( 'NONE', ( #716, #673, #736, #687, #728 ) ) ;
#678 = VERTEX_POINT ( 'NONE', #6206 ) ;
#679 = ORIENTED_EDGE ( 'NONE', *, *, #680, .T. ) ;
#680 = EDGE_CURVE ( 'NONE', #727, #681, #6205, .T. ) ;
#681 = VERTEX_POINT ( 'NONE', #6200 ) ;
#682 = ORIENTED_EDGE ( 'NONE', *, *, #683, .F. ) ;
#683 = EDGE_CURVE ( 'NONE', #724, #681, #6262, .T. ) ;
#684 = MANIFOLD_SOLID_BREP ( 'NONE', #3932 ) ;
#685 = EDGE_CURVE ( 'NONE', #733, #738, #6258, .T. ) ;
#686 = VERTEX_POINT ( 'NONE', #6253 ) ;
#687 = ORIENTED_EDGE ( 'NONE', *, *, #688, .F. ) ;
#688 = EDGE_CURVE ( 'NONE', #689, #686, #6252, .T. ) ;
#689 = VERTEX_POINT ( 'NONE', #6247 ) ;
#690 = EDGE_CURVE ( 'NONE', #733, #714, #6246, .T. ) ;
#691 = ORIENTED_EDGE ( 'NONE', *, *, #692, .F. ) ;
#692 = EDGE_CURVE ( 'NONE', #693, #694, #6242, .T. ) ;
#693 = VERTEX_POINT ( 'NONE', #6237 ) ;
#694 = VERTEX_POINT ( 'NONE', #6236 ) ;
#695 = ORIENTED_EDGE ( 'NONE', *, *, #696, .T. ) ;
#696 = EDGE_CURVE ( 'NONE', #693, #697, #6235, .T. ) ;
#697 = VERTEX_POINT ( 'NONE', #6294 ) ;
#698 = ORIENTED_EDGE ( 'NONE', *, *, #699, .F. ) ;
#699 = EDGE_CURVE ( 'NONE', #700, #697, #6293, .T. ) ;
#700 = VERTEX_POINT ( 'NONE', #6288 ) ;
#701 = ORIENTED_EDGE ( 'NONE', *, *, #702, .F. ) ;
#702 = EDGE_CURVE ( 'NONE', #694, #700, #6286, .T. ) ;
#703 = ADVANCED_FACE ( 'NONE', ( #6287 ), #6280, .T. ) ;
#704 = EDGE_LOOP ( 'NONE', ( #705, #641, #644, #647 ) ) ;
#705 = ORIENTED_EDGE ( 'NONE', *, *, #639, .F. ) ;
#706 = VERTEX_POINT ( 'NONE', #6276 ) ;
#707 = VERTEX_POINT ( 'NONE', #6275 ) ;
#708 = ORIENTED_EDGE ( 'NONE', *, *, #709, .T. ) ;
#709 = EDGE_CURVE ( 'NONE', #706, #710, #6274, .T. ) ;
#710 = VERTEX_POINT ( 'NONE', #6270 ) ;
#711 = ORIENTED_EDGE ( 'NONE', *, *, #712, .T. ) ;
#712 = EDGE_CURVE ( 'NONE', #710, #713, #6269, .T. ) ;
#713 = VERTEX_POINT ( 'NONE', #6264 ) ;
#714 = VERTEX_POINT ( 'NONE', #6263 ) ;
#715 = ORIENTED_EDGE ( 'NONE', *, *, #718, .T. ) ;
#716 = ORIENTED_EDGE ( 'NONE', *, *, #717, .F. ) ;
#717 = EDGE_CURVE ( 'NONE', #678, #672, #6327, .T. ) ;
#718 = EDGE_CURVE ( 'NONE', #714, #719, #6322, .T. ) ;
#719 = VERTEX_POINT ( 'NONE', #6317 ) ;
#720 = ADVANCED_FACE ( 'NONE', ( #6316 ), #6314, .F. ) ;
#721 = ORIENTED_EDGE ( 'NONE', *, *, #722, .F. ) ;
#722 = EDGE_CURVE ( 'NONE', #723, #724, #6310, .T. ) ;
#723 = VERTEX_POINT ( 'NONE', #6305 ) ;
#724 = VERTEX_POINT ( 'NONE', #6304 ) ;
#725 = ORIENTED_EDGE ( 'NONE', *, *, #726, .T. ) ;
#726 = EDGE_CURVE ( 'NONE', #723, #727, #6303, .T. ) ;
#727 = VERTEX_POINT ( 'NONE', #6299 ) ;
#728 = ORIENTED_EDGE ( 'NONE', *, *, #729, .F. ) ;
#729 = EDGE_CURVE ( 'NONE', #672, #689, #6298, .T. ) ;
#730 = EDGE_LOOP ( 'NONE', ( #721, #725, #679, #682 ) ) ;
#731 = EDGE_LOOP ( 'NONE', ( #734, #739, #715, #740 ) ) ;
#732 = ADVANCED_FACE ( 'NONE', ( #6358 ), #6357, .T. ) ;
#733 = VERTEX_POINT ( 'NONE', #6352 ) ;
#734 = ORIENTED_EDGE ( 'NONE', *, *, #685, .F. ) ;
#735 = EDGE_CURVE ( 'NONE', #678, #674, #6351, .T. ) ;
#736 = ORIENTED_EDGE ( 'NONE', *, *, #737, .F. ) ;
#737 = EDGE_CURVE ( 'NONE', #686, #674, #6347, .T. ) ;
#738 = VERTEX_POINT ( 'NONE', #6342 ) ;
#739 = ORIENTED_EDGE ( 'NONE', *, *, #690, .T. ) ;
#740 = ORIENTED_EDGE ( 'NONE', *, *, #675, .F. ) ;
#741 = ADVANCED_FACE ( 'NONE', ( #6341 ), #6339, .F. ) ;
#742 = EDGE_LOOP ( 'NONE', ( #743, #747, #666, #669 ) ) ;
#743 = ORIENTED_EDGE ( 'NONE', *, *, #744, .F. ) ;
#744 = EDGE_CURVE ( 'NONE', #745, #746, #6335, .T. ) ;
#745 = VERTEX_POINT ( 'NONE', #6330 ) ;
#746 = VERTEX_POINT ( 'NONE', #6329 ) ;
#747 = ORIENTED_EDGE ( 'NONE', *, *, #664, .T. ) ;
#748 = VERTEX_POINT ( 'NONE', #6328 ) ;
#749 = ADVANCED_FACE ( 'NONE', ( #6390 ), #6389, .T. ) ;
#750 = EDGE_LOOP ( 'NONE', ( #751, #755, #783, #765 ) ) ;
#751 = ORIENTED_EDGE ( 'NONE', *, *, #752, .T. ) ;
#752 = EDGE_CURVE ( 'NONE', #753, #754, #6388, .T. ) ;
#753 = VERTEX_POINT ( 'NONE', #6379 ) ;
#754 = VERTEX_POINT ( 'NONE', #6378 ) ;
#755 = ORIENTED_EDGE ( 'NONE', *, *, #781, .T. ) ;
#756 = ADVANCED_FACE ( 'NONE', ( #6377 ), #6375, .T. ) ;
#757 = ORIENTED_EDGE ( 'NONE', *, *, #758, .F. ) ;
#758 = EDGE_CURVE ( 'NONE', #759, #760, #6371, .T. ) ;
#759 = VERTEX_POINT ( 'NONE', #6366 ) ;
#760 = VERTEX_POINT ( 'NONE', #6365 ) ;
#761 = ORIENTED_EDGE ( 'NONE', *, *, #777, .T. ) ;
#762 = ORIENTED_EDGE ( 'NONE', *, *, #867, .T. ) ;
#763 = ADVANCED_FACE ( 'NONE', ( #6364 ), #6362, .T. ) ;
#764 = ORIENTED_EDGE ( 'NONE', *, *, #645, .T. ) ;
#765 = ORIENTED_EDGE ( 'NONE', *, *, #766, .F. ) ;
#766 = EDGE_CURVE ( 'NONE', #753, #785, #6424, .T. ) ;
#767 = ADVANCED_FACE ( 'NONE', ( #6420 ), #6419, .F. ) ;
#768 = EDGE_LOOP ( 'NONE', ( #769, #773, #800, #802 ) ) ;
#769 = ORIENTED_EDGE ( 'NONE', *, *, #770, .F. ) ;
#770 = EDGE_CURVE ( 'NONE', #771, #772, #6413, .T. ) ;
#771 = VERTEX_POINT ( 'NONE', #6409 ) ;
#772 = VERTEX_POINT ( 'NONE', #6408 ) ;
#773 = ORIENTED_EDGE ( 'NONE', *, *, #774, .T. ) ;
#774 = EDGE_CURVE ( 'NONE', #771, #775, #6407, .T. ) ;
#775 = VERTEX_POINT ( 'NONE', #6403 ) ;
#776 = VERTEX_POINT ( 'NONE', #6402 ) ;
#777 = EDGE_CURVE ( 'NONE', #759, #778, #6401, .T. ) ;
#778 = VERTEX_POINT ( 'NONE', #6397 ) ;
#779 = ORIENTED_EDGE ( 'NONE', *, *, #814, .T. ) ;
#780 = VERTEX_POINT ( 'NONE', #6396 ) ;
#781 = EDGE_CURVE ( 'NONE', #754, #782, #6395, .T. ) ;
#782 = VERTEX_POINT ( 'NONE', #6454 ) ;
#783 = ORIENTED_EDGE ( 'NONE', *, *, #784, .T. ) ;
#784 = EDGE_CURVE ( 'NONE', #782, #785, #6453, .T. ) ;
#785 = VERTEX_POINT ( 'NONE', #6448 ) ;
#786 = ADVANCED_FACE ( 'NONE', ( #6447 ), #6445, .F. ) ;
#787 = ORIENTED_EDGE ( 'NONE', *, *, #788, .F. ) ;
#788 = EDGE_CURVE ( 'NONE', #706, #707, #6441, .T. ) ;
#789 = EDGE_CURVE ( 'NONE', #790, #808, #6436, .T. ) ;
#790 = VERTEX_POINT ( 'NONE', #6431 ) ;
#791 = ORIENTED_EDGE ( 'NONE', *, *, #792, .T. ) ;
#792 = EDGE_CURVE ( 'NONE', #790, #793, #6430, .T. ) ;
#793 = VERTEX_POINT ( 'NONE', #6426 ) ;
#794 = ORIENTED_EDGE ( 'NONE', *, *, #820, .T. ) ;
#795 = VERTEX_POINT ( 'NONE', #6425 ) ;
#796 = ORIENTED_EDGE ( 'NONE', *, *, #862, .T. ) ;
#797 = ORIENTED_EDGE ( 'NONE', *, *, #813, .T. ) ;
#798 = EDGE_CURVE ( 'NONE', #870, #799, #6490, .T. ) ;
#799 = VERTEX_POINT ( 'NONE', #6489 ) ;
#800 = ORIENTED_EDGE ( 'NONE', *, *, #801, .T. ) ;
#801 = EDGE_CURVE ( 'NONE', #775, #776, #6481, .T. ) ;
#802 = ORIENTED_EDGE ( 'NONE', *, *, #803, .F. ) ;
#803 = EDGE_CURVE ( 'NONE', #772, #776, #6482, .T. ) ;
#804 = ADVANCED_FACE ( 'NONE', ( #6525, #6524 ), #6523, .T. ) ;
#805 = EDGE_LOOP ( 'NONE', ( #806, #876, #791, #794, #821, #824 ) ) ;
#806 = ORIENTED_EDGE ( 'NONE', *, *, #807, .F. ) ;
#807 = EDGE_CURVE ( 'NONE', #808, #809, #6517, .T. ) ;
#808 = VERTEX_POINT ( 'NONE', #6516 ) ;
#809 = VERTEX_POINT ( 'NONE', #6518 ) ;
#810 = ORIENTED_EDGE ( 'NONE', *, *, #798, .T. ) ;
#811 = EDGE_CURVE ( 'NONE', #694, #693, #6552, .T. ) ;
#812 = ORIENTED_EDGE ( 'NONE', *, *, #869, .F. ) ;
#813 = EDGE_CURVE ( 'NONE', #655, #870, #6553, .T. ) ;
#814 = EDGE_CURVE ( 'NONE', #778, #780, #6544, .T. ) ;
#815 = ORIENTED_EDGE ( 'NONE', *, *, #816, .F. ) ;
#816 = EDGE_CURVE ( 'NONE', #760, #780, #6539, .T. ) ;
#817 = ORIENTED_EDGE ( 'NONE', *, *, #818, .F. ) ;
#818 = EDGE_CURVE ( 'NONE', #646, #874, #6535, .T. ) ;
#819 = EDGE_LOOP ( 'NONE', ( #757, #761, #779, #815 ) ) ;
#820 = EDGE_CURVE ( 'NONE', #793, #795, #6531, .T. ) ;
#821 = ORIENTED_EDGE ( 'NONE', *, *, #822, .T. ) ;
#822 = EDGE_CURVE ( 'NONE', #795, #823, #6589, .T. ) ;
#823 = VERTEX_POINT ( 'NONE', #6585 ) ;
#824 = ORIENTED_EDGE ( 'NONE', *, *, #825, .F. ) ;
#825 = EDGE_CURVE ( 'NONE', #809, #823, #6584, .T. ) ;
#826 = EDGE_LOOP ( 'NONE', ( #827, #831, #958, #849, #851, #879, #833, #899 ) ) ;
#827 = ORIENTED_EDGE ( 'NONE', *, *, #828, .T. ) ;
#828 = EDGE_CURVE ( 'NONE', #829, #830, #6579, .T. ) ;
#829 = VERTEX_POINT ( 'NONE', #6574 ) ;
#830 = VERTEX_POINT ( 'NONE', #6573 ) ;
#831 = ORIENTED_EDGE ( 'NONE', *, *, #832, .T. ) ;
#832 = EDGE_CURVE ( 'NONE', #830, #748, #6572, .T. ) ;
#833 = ORIENTED_EDGE ( 'NONE', *, *, #834, .T. ) ;
#834 = EDGE_CURVE ( 'NONE', #880, #835, #6568, .T. ) ;
#835 = VERTEX_POINT ( 'NONE', #6563 ) ;
#836 = EDGE_CURVE ( 'NONE', #883, #837, #6623, .T. ) ;
#837 = VERTEX_POINT ( 'NONE', #6562 ) ;
#838 = ORIENTED_EDGE ( 'NONE', *, *, #902, .T. ) ;
#839 = ORIENTED_EDGE ( 'NONE', *, *, #840, .T. ) ;
#840 = EDGE_CURVE ( 'NONE', #933, #934, #6621, .T. ) ;
#841 = ORIENTED_EDGE ( 'NONE', *, *, #842, .F. ) ;
#842 = EDGE_CURVE ( 'NONE', #941, #934, #6622, .T. ) ;
#843 = ADVANCED_FACE ( 'NONE', ( #6597 ), #6596, .F. ) ;
#844 = EDGE_LOOP ( 'NONE', ( #845, #947, #950, #885 ) ) ;
#845 = ORIENTED_EDGE ( 'NONE', *, *, #846, .F. ) ;
#846 = EDGE_CURVE ( 'NONE', #945, #946, #6656, .T. ) ;
#847 = EDGE_CURVE ( 'NONE', #848, #748, #6651, .T. ) ;
#848 = VERTEX_POINT ( 'NONE', #6646 ) ;
#849 = ORIENTED_EDGE ( 'NONE', *, *, #850, .F. ) ;
#850 = EDGE_CURVE ( 'NONE', #852, #848, #6645, .T. ) ;
#851 = ORIENTED_EDGE ( 'NONE', *, *, #878, .F. ) ;
#852 = VERTEX_POINT ( 'NONE', #6641 ) ;
#853 = ORIENTED_EDGE ( 'NONE', *, *, #854, .F. ) ;
#854 = EDGE_CURVE ( 'NONE', #855, #856, #6640, .T. ) ;
#855 = VERTEX_POINT ( 'NONE', #6635 ) ;
#856 = VERTEX_POINT ( 'NONE', #6634 ) ;
#857 = ORIENTED_EDGE ( 'NONE', *, *, #858, .T. ) ;
#858 = EDGE_CURVE ( 'NONE', #855, #859, #6633, .T. ) ;
#859 = VERTEX_POINT ( 'NONE', #6629 ) ;
#860 = ORIENTED_EDGE ( 'NONE', *, *, #20, .F. ) ;
#861 = ORIENTED_EDGE ( 'NONE', *, *, #654, .T. ) ;
#862 = EDGE_CURVE ( 'NONE', #631, #694, #6628, .T. ) ;
#863 = ORIENTED_EDGE ( 'NONE', *, *, #864, .T. ) ;
#864 = EDGE_CURVE ( 'NONE', #643, #865, #6624, .T. ) ;
#865 = VERTEX_POINT ( 'NONE', #6687 ) ;
#866 = ORIENTED_EDGE ( 'NONE', *, *, #811, .T. ) ;
#867 = EDGE_CURVE ( 'NONE', #799, #871, #6686, .T. ) ;
#868 = EDGE_LOOP ( 'NONE', ( #764, #863, #872, #817 ) ) ;
#869 = EDGE_CURVE ( 'NONE', #662, #693, #6682, .T. ) ;
#870 = VERTEX_POINT ( 'NONE', #6678 ) ;
#871 = VERTEX_POINT ( 'NONE', #6677 ) ;
#872 = ORIENTED_EDGE ( 'NONE', *, *, #873, .F. ) ;
#873 = EDGE_CURVE ( 'NONE', #874, #865, #6676, .T. ) ;
#874 = VERTEX_POINT ( 'NONE', #6671 ) ;
#875 = EDGE_CURVE ( 'NONE', #871, #631, #6670, .T. ) ;
#876 = ORIENTED_EDGE ( 'NONE', *, *, #789, .F. ) ;
#877 = VERTEX_POINT ( 'NONE', #6665 ) ;
#878 = EDGE_CURVE ( 'NONE', #897, #852, #6663, .T. ) ;
#879 = ORIENTED_EDGE ( 'NONE', *, *, #898, .T. ) ;
#880 = VERTEX_POINT ( 'NONE', #6722 ) ;
#881 = ADVANCED_FACE ( 'NONE', ( #6721 ), #6718, .F. ) ;
#882 = ORIENTED_EDGE ( 'NONE', *, *, #836, .T. ) ;
#883 = VERTEX_POINT ( 'NONE', #6719 ) ;
#884 = VERTEX_POINT ( 'NONE', #6714 ) ;
#885 = ORIENTED_EDGE ( 'NONE', *, *, #887, .F. ) ;
#886 = EDGE_LOOP ( 'NONE', ( #889, #893, #952, #954 ) ) ;
#887 = EDGE_CURVE ( 'NONE', #946, #884, #6713, .T. ) ;
#888 = ADVANCED_FACE ( 'NONE', ( #6709 ), #6708, .F. ) ;
#889 = ORIENTED_EDGE ( 'NONE', *, *, #890, .F. ) ;
#890 = EDGE_CURVE ( 'NONE', #891, #892, #6707, .T. ) ;
#891 = VERTEX_POINT ( 'NONE', #6698 ) ;
#892 = VERTEX_POINT ( 'NONE', #6697 ) ;
#893 = ORIENTED_EDGE ( 'NONE', *, *, #894, .T. ) ;
#894 = EDGE_CURVE ( 'NONE', #891, #895, #6696, .T. ) ;
#895 = VERTEX_POINT ( 'NONE', #6692 ) ;
#896 = VERTEX_POINT ( 'NONE', #6691 ) ;
#897 = VERTEX_POINT ( 'NONE', #6753 ) ;
#898 = EDGE_CURVE ( 'NONE', #897, #880, #6752, .T. ) ;
#899 = ORIENTED_EDGE ( 'NONE', *, *, #900, .F. ) ;
#900 = EDGE_CURVE ( 'NONE', #829, #835, #6748, .T. ) ;
#901 = EDGE_LOOP ( 'NONE', ( #882, #838, #903, #904 ) ) ;
#902 = EDGE_CURVE ( 'NONE', #837, #686, #6744, .T. ) ;
#903 = ORIENTED_EDGE ( 'NONE', *, *, #737, .T. ) ;
#904 = ORIENTED_EDGE ( 'NONE', *, *, #905, .T. ) ;
#905 = EDGE_CURVE ( 'NONE', #674, #883, #6740, .T. ) ;
#906 = ADVANCED_FACE ( 'NONE', ( #6735 ), #6734, .F. ) ;
#907 = EDGE_LOOP ( 'NONE', ( #908, #912, #915, #935 ) ) ;
#908 = ORIENTED_EDGE ( 'NONE', *, *, #909, .F. ) ;
#909 = EDGE_CURVE ( 'NONE', #910, #911, #6728, .T. ) ;
#910 = VERTEX_POINT ( 'NONE', #6724 ) ;
#911 = VERTEX_POINT ( 'NONE', #6723 ) ;
#912 = ORIENTED_EDGE ( 'NONE', *, *, #913, .T. ) ;
#913 = EDGE_CURVE ( 'NONE', #910, #914, #6783, .T. ) ;
#914 = VERTEX_POINT ( 'NONE', #6779 ) ;
#915 = ORIENTED_EDGE ( 'NONE', *, *, #916, .T. ) ;
#916 = EDGE_CURVE ( 'NONE', #914, #917, #6778, .T. ) ;
#917 = VERTEX_POINT ( 'NONE', #6773 ) ;
#918 = EDGE_LOOP ( 'NONE', ( #938, #942, #959, #962, #928, #931, #839, #841 ) ) ;
#919 = VERTEX_POINT ( 'NONE', #6772 ) ;
#920 = VERTEX_POINT ( 'NONE', #6771 ) ;
#921 = ORIENTED_EDGE ( 'NONE', *, *, #922, .T. ) ;
#922 = EDGE_CURVE ( 'NONE', #920, #923, #6770, .T. ) ;
#923 = VERTEX_POINT ( 'NONE', #6766 ) ;
#924 = ORIENTED_EDGE ( 'NONE', *, *, #925, .T. ) ;
#925 = EDGE_CURVE ( 'NONE', #923, #926, #6765, .T. ) ;
#926 = VERTEX_POINT ( 'NONE', #6760 ) ;
#927 = ORIENTED_EDGE ( 'NONE', *, *, #985, .T. ) ;
#928 = ORIENTED_EDGE ( 'NONE', *, *, #929, .F. ) ;
#929 = EDGE_CURVE ( 'NONE', #930, #877, #6759, .T. ) ;
#930 = VERTEX_POINT ( 'NONE', #6754 ) ;
#931 = ORIENTED_EDGE ( 'NONE', *, *, #932, .T. ) ;
#932 = EDGE_CURVE ( 'NONE', #930, #933, #6816, .T. ) ;
#933 = VERTEX_POINT ( 'NONE', #6812 ) ;
#934 = VERTEX_POINT ( 'NONE', #6811 ) ;
#935 = ORIENTED_EDGE ( 'NONE', *, *, #936, .F. ) ;
#936 = EDGE_CURVE ( 'NONE', #911, #917, #6810, .T. ) ;
#937 = ADVANCED_FACE ( 'NONE', ( #6806 ), #6805, .F. ) ;
#938 = ORIENTED_EDGE ( 'NONE', *, *, #939, .F. ) ;
#939 = EDGE_CURVE ( 'NONE', #940, #941, #6804, .T. ) ;
#940 = VERTEX_POINT ( 'NONE', #6795 ) ;
#941 = VERTEX_POINT ( 'NONE', #6794 ) ;
#942 = ORIENTED_EDGE ( 'NONE', *, *, #943, .T. ) ;
#943 = EDGE_CURVE ( 'NONE', #940, #944, #6793, .T. ) ;
#944 = VERTEX_POINT ( 'NONE', #6789 ) ;
#945 = VERTEX_POINT ( 'NONE', #6788 ) ;
#946 = VERTEX_POINT ( 'NONE', #6787 ) ;
#947 = ORIENTED_EDGE ( 'NONE', *, *, #948, .T. ) ;
#948 = EDGE_CURVE ( 'NONE', #945, #949, #6786, .T. ) ;
#949 = VERTEX_POINT ( 'NONE', #6847 ) ;
#950 = ORIENTED_EDGE ( 'NONE', *, *, #951, .T. ) ;
#951 = EDGE_CURVE ( 'NONE', #949, #884, #6845, .T. ) ;
#952 = ORIENTED_EDGE ( 'NONE', *, *, #953, .T. ) ;
#953 = EDGE_CURVE ( 'NONE', #895, #896, #6840, .T. ) ;
#954 = ORIENTED_EDGE ( 'NONE', *, *, #955, .F. ) ;
#955 = EDGE_CURVE ( 'NONE', #892, #896, #6836, .T. ) ;
#956 = ADVANCED_FACE ( 'NONE', ( #6832 ), #6830, .F. ) ;
#957 = EDGE_LOOP ( 'NONE', ( #853, #857, #1001, #1004 ) ) ;
#958 = ORIENTED_EDGE ( 'NONE', *, *, #847, .F. ) ;
#959 = ORIENTED_EDGE ( 'NONE', *, *, #960, .T. ) ;
#960 = EDGE_CURVE ( 'NONE', #944, #961, #6825, .T. ) ;
#961 = VERTEX_POINT ( 'NONE', #6821 ) ;
#962 = ORIENTED_EDGE ( 'NONE', *, *, #963, .T. ) ;
#963 = EDGE_CURVE ( 'NONE', #961, #877, #6820, .T. ) ;
#964 = ORIENTED_EDGE ( 'NONE', *, *, #965, .F. ) ;
#965 = EDGE_CURVE ( 'NONE', #966, #967, #6878, .T. ) ;
#966 = VERTEX_POINT ( 'NONE', #6873 ) ;
#967 = VERTEX_POINT ( 'NONE', #6872 ) ;
#968 = ORIENTED_EDGE ( 'NONE', *, *, #969, .T. ) ;
#969 = EDGE_CURVE ( 'NONE', #966, #589, #6871, .T. ) ;
#970 = EDGE_CURVE ( 'NONE', #856, #1003, #6867, .T. ) ;
#971 = ADVANCED_FACE ( 'NONE', ( #6863 ), #6861, .F. ) ;
#972 = EDGE_LOOP ( 'NONE', ( #973, #977, #980, #983 ) ) ;
#973 = ORIENTED_EDGE ( 'NONE', *, *, #974, .F. ) ;
#974 = EDGE_CURVE ( 'NONE', #975, #976, #6856, .T. ) ;
#975 = VERTEX_POINT ( 'NONE', #6852 ) ;
#976 = VERTEX_POINT ( 'NONE', #6851 ) ;
#977 = ORIENTED_EDGE ( 'NONE', *, *, #978, .T. ) ;
#978 = EDGE_CURVE ( 'NONE', #975, #979, #6850, .T. ) ;
#979 = VERTEX_POINT ( 'NONE', #6908 ) ;
#980 = ORIENTED_EDGE ( 'NONE', *, *, #981, .T. ) ;
#981 = EDGE_CURVE ( 'NONE', #979, #982, #6907, .T. ) ;
#982 = VERTEX_POINT ( 'NONE', #6902 ) ;
#983 = ORIENTED_EDGE ( 'NONE', *, *, #984, .F. ) ;
#984 = EDGE_CURVE ( 'NONE', #976, #982, #6901, .T. ) ;
#985 = EDGE_CURVE ( 'NONE', #926, #986, #6897, .T. ) ;
#986 = VERTEX_POINT ( 'NONE', #6893 ) ;
#987 = ORIENTED_EDGE ( 'NONE', *, *, #988, .T. ) ;
#988 = EDGE_CURVE ( 'NONE', #986, #919, #6892, .T. ) ;
#989 = ADVANCED_FACE ( 'NONE', ( #6887 ), #6886, .T. ) ;
#990 = EDGE_LOOP ( 'NONE', ( #991, #995, #998, #1009 ) ) ;
#991 = ORIENTED_EDGE ( 'NONE', *, *, #992, .F. ) ;
#992 = EDGE_CURVE ( 'NONE', #993, #994, #6880, .T. ) ;
#993 = VERTEX_POINT ( 'NONE', #6939 ) ;
#994 = VERTEX_POINT ( 'NONE', #6938 ) ;
#995 = ORIENTED_EDGE ( 'NONE', *, *, #996, .T. ) ;
#996 = EDGE_CURVE ( 'NONE', #993, #997, #6937, .T. ) ;
#997 = VERTEX_POINT ( 'NONE', #6933 ) ;
#998 = ORIENTED_EDGE ( 'NONE', *, *, #999, .F. ) ;
#999 = EDGE_CURVE ( 'NONE', #1000, #997, #6932, .T. ) ;
#1000 = VERTEX_POINT ( 'NONE', #6927 ) ;
#1001 = ORIENTED_EDGE ( 'NONE', *, *, #1002, .T. ) ;
#1002 = EDGE_CURVE ( 'NONE', #859, #1003, #6926, .T. ) ;
#1003 = VERTEX_POINT ( 'NONE', #6921 ) ;
#1004 = ORIENTED_EDGE ( 'NONE', *, *, #970, .F. ) ;
#1005 = ORIENTED_EDGE ( 'NONE', *, *, #1006, .T. ) ;
#1006 = EDGE_CURVE ( 'NONE', #919, #920, #6919, .T. ) ;
#1007 = ADVANCED_FACE ( 'NONE', ( #6970 ), #6969, .T. ) ;
#1008 = EDGE_LOOP ( 'NONE', ( #1005, #921, #924, #927, #987 ) ) ;
#1009 = ORIENTED_EDGE ( 'NONE', *, *, #1010, .F. ) ;
#1010 = EDGE_CURVE ( 'NONE', #994, #1000, #6967, .T. ) ;
#1011 = ADVANCED_FACE ( 'NONE', ( #6960 ), #6958, .F. ) ;
#1012 = EDGE_LOOP ( 'NONE', ( #1013, #1017, #1020, #1024, #1026, #1029 ) ) ;
#1013 = ORIENTED_EDGE ( 'NONE', *, *, #1014, .F. ) ;
#1014 = EDGE_CURVE ( 'NONE', #1015, #1016, #6959, .T. ) ;
#1015 = VERTEX_POINT ( 'NONE', #6950 ) ;
#1016 = VERTEX_POINT ( 'NONE', #6949 ) ;
#1017 = ORIENTED_EDGE ( 'NONE', *, *, #1018, .T. ) ;
#1018 = EDGE_CURVE ( 'NONE', #1015, #1019, #6948, .T. ) ;
#1019 = VERTEX_POINT ( 'NONE', #6944 ) ;
#1020 = ORIENTED_EDGE ( 'NONE', *, *, #1021, .F. ) ;
#1021 = EDGE_CURVE ( 'NONE', #1022, #1019, #6943, .T. ) ;
#1022 = VERTEX_POINT ( 'NONE', #6942 ) ;
#1023 = VERTEX_POINT ( 'NONE', #6996 ) ;
#1024 = ORIENTED_EDGE ( 'NONE', *, *, #1025, .F. ) ;
#1025 = EDGE_CURVE ( 'NONE', #1023, #1022, #6989, .T. ) ;
#1026 = ORIENTED_EDGE ( 'NONE', *, *, #1027, .F. ) ;
#1027 = EDGE_CURVE ( 'NONE', #1028, #1023, #6979, .T. ) ;
#1028 = VERTEX_POINT ( 'NONE', #6988 ) ;
#1029 = ORIENTED_EDGE ( 'NONE', *, *, #1030, .F. ) ;
#1030 = EDGE_CURVE ( 'NONE', #1016, #1028, #7025, .T. ) ;
#1031 = ADVANCED_FACE ( 'NONE', ( #7026 ), #7023, .T. ) ;
#1032 = EDGE_LOOP ( 'NONE', ( #1033, #1037, #1039, #1040, #1043 ) ) ;
#1033 = ORIENTED_EDGE ( 'NONE', *, *, #1034, .T. ) ;
#1034 = EDGE_CURVE ( 'NONE', #1035, #1036, #7012, .T. ) ;
#1035 = VERTEX_POINT ( 'NONE', #7008 ) ;
#1036 = VERTEX_POINT ( 'NONE', #7007 ) ;
#1037 = ORIENTED_EDGE ( 'NONE', *, *, #1038, .T. ) ;
#1038 = EDGE_CURVE ( 'NONE', #1036, #1000, #7006, .T. ) ;
#1039 = ORIENTED_EDGE ( 'NONE', *, *, #999, .T. ) ;
#1040 = ORIENTED_EDGE ( 'NONE', *, *, #1041, .F. ) ;
#1041 = EDGE_CURVE ( 'NONE', #1042, #997, #7002, .T. ) ;
#1042 = VERTEX_POINT ( 'NONE', #6998 ) ;
#1043 = ORIENTED_EDGE ( 'NONE', *, *, #1044, .F. ) ;
#1044 = EDGE_CURVE ( 'NONE', #1035, #1042, #6997, .T. ) ;
#1045 = ADVANCED_FACE ( 'NONE', ( #7051 ), #7050, .T. ) ;
#1046 = EDGE_LOOP ( 'NONE', ( #964, #968, #1157, #1174 ) ) ;
#1047 = EDGE_LOOP ( 'NONE', ( #1048, #1052, #1055, #1058, #1061, #4107 ) ) ;
#1048 = ORIENTED_EDGE ( 'NONE', *, *, #1049, .F. ) ;
#1049 = EDGE_CURVE ( 'NONE', #1050, #1051, #7049, .T. ) ;
#1050 = VERTEX_POINT ( 'NONE', #7041 ) ;
#1051 = VERTEX_POINT ( 'NONE', #7040 ) ;
#1052 = ORIENTED_EDGE ( 'NONE', *, *, #1053, .T. ) ;
#1053 = EDGE_CURVE ( 'NONE', #1050, #1054, #7039, .T. ) ;
#1054 = VERTEX_POINT ( 'NONE', #7035 ) ;
#1055 = ORIENTED_EDGE ( 'NONE', *, *, #1056, .F. ) ;
#1056 = EDGE_CURVE ( 'NONE', #1057, #1054, #7034, .T. ) ;
#1057 = VERTEX_POINT ( 'NONE', #7033 ) ;
#1058 = ORIENTED_EDGE ( 'NONE', *, *, #1059, .F. ) ;
#1059 = EDGE_CURVE ( 'NONE', #1060, #1057, #7086, .T. ) ;
#1060 = VERTEX_POINT ( 'NONE', #7085 ) ;
#1061 = ORIENTED_EDGE ( 'NONE', *, *, #4109, .F. ) ;
#1062 = ADVANCED_FACE ( 'NONE', ( #7087 ), #7083, .F. ) ;
#1063 = EDGE_LOOP ( 'NONE', ( #1064, #1068, #1071, #1074 ) ) ;
#1064 = ORIENTED_EDGE ( 'NONE', *, *, #1065, .F. ) ;
#1065 = EDGE_CURVE ( 'NONE', #1066, #1067, #7071, .T. ) ;
#1066 = VERTEX_POINT ( 'NONE', #7066 ) ;
#1067 = VERTEX_POINT ( 'NONE', #7065 ) ;
#1068 = ORIENTED_EDGE ( 'NONE', *, *, #1069, .T. ) ;
#1069 = EDGE_CURVE ( 'NONE', #1066, #1070, #7064, .T. ) ;
#1070 = VERTEX_POINT ( 'NONE', #7060 ) ;
#1071 = ORIENTED_EDGE ( 'NONE', *, *, #1072, .T. ) ;
#1072 = EDGE_CURVE ( 'NONE', #1070, #1073, #7059, .T. ) ;
#1073 = VERTEX_POINT ( 'NONE', #7116 ) ;
#1074 = ORIENTED_EDGE ( 'NONE', *, *, #1075, .F. ) ;
#1075 = EDGE_CURVE ( 'NONE', #1067, #1073, #7115, .T. ) ;
#1076 = ADVANCED_FACE ( 'NONE', ( #7111 ), #7109, .F. ) ;
#1077 = EDGE_LOOP ( 'NONE', ( #1078, #1082, #1085, #1088 ) ) ;
#1078 = ORIENTED_EDGE ( 'NONE', *, *, #1079, .T. ) ;
#1079 = EDGE_CURVE ( 'NONE', #1080, #1081, #7104, .T. ) ;
#1080 = VERTEX_POINT ( 'NONE', #7100 ) ;
#1081 = VERTEX_POINT ( 'NONE', #7099 ) ;
#1082 = ORIENTED_EDGE ( 'NONE', *, *, #1083, .T. ) ;
#1083 = EDGE_CURVE ( 'NONE', #1081, #1084, #7098, .T. ) ;
#1084 = VERTEX_POINT ( 'NONE', #7094 ) ;
#1085 = ORIENTED_EDGE ( 'NONE', *, *, #1086, .T. ) ;
#1086 = EDGE_CURVE ( 'NONE', #1084, #1087, #7093, .T. ) ;
#1087 = VERTEX_POINT ( 'NONE', #7088 ) ;
#1088 = ORIENTED_EDGE ( 'NONE', *, *, #1089, .F. ) ;
#1089 = EDGE_CURVE ( 'NONE', #1080, #1087, #7145, .T. ) ;
#1090 = EDGE_CURVE ( 'NONE', #967, #1119, #7141, .T. ) ;
#1091 = ADVANCED_FACE ( 'NONE', ( #7137 ), #7135, .F. ) ;
#1092 = EDGE_LOOP ( 'NONE', ( #1093, #1097, #1100, #1198, #1200, #1203 ) ) ;
#1093 = ORIENTED_EDGE ( 'NONE', *, *, #1094, .F. ) ;
#1094 = EDGE_CURVE ( 'NONE', #1095, #1096, #7136, .T. ) ;
#1095 = VERTEX_POINT ( 'NONE', #7127 ) ;
#1096 = VERTEX_POINT ( 'NONE', #7126 ) ;
#1097 = ORIENTED_EDGE ( 'NONE', *, *, #1098, .T. ) ;
#1098 = EDGE_CURVE ( 'NONE', #1095, #1099, #7125, .T. ) ;
#1099 = VERTEX_POINT ( 'NONE', #7121 ) ;
#1100 = ORIENTED_EDGE ( 'NONE', *, *, #1101, .F. ) ;
#1101 = EDGE_CURVE ( 'NONE', #1102, #1099, #7120, .T. ) ;
#1102 = VERTEX_POINT ( 'NONE', #7119 ) ;
#1103 = VERTEX_POINT ( 'NONE', #7118 ) ;
#1104 = ORIENTED_EDGE ( 'NONE', *, *, #1105, .T. ) ;
#1105 = EDGE_CURVE ( 'NONE', #1106, #1107, #7176, .T. ) ;
#1106 = VERTEX_POINT ( 'NONE', #7171 ) ;
#1107 = VERTEX_POINT ( 'NONE', #7170 ) ;
#1108 = ORIENTED_EDGE ( 'NONE', *, *, #1109, .T. ) ;
#1109 = EDGE_CURVE ( 'NONE', #1107, #1214, #7169, .T. ) ;
#1110 = ORIENTED_EDGE ( 'NONE', *, *, #1213, .T. ) ;
#1111 = ORIENTED_EDGE ( 'NONE', *, *, #1112, .F. ) ;
#1112 = EDGE_CURVE ( 'NONE', #1113, #1211, #7165, .T. ) ;
#1113 = VERTEX_POINT ( 'NONE', #7161 ) ;
#1114 = ORIENTED_EDGE ( 'NONE', *, *, #1115, .T. ) ;
#1115 = EDGE_CURVE ( 'NONE', #1113, #1106, #7160, .T. ) ;
#1116 = ADVANCED_FACE ( 'NONE', ( #7155 ), #7154, .T. ) ;
#1117 = EDGE_LOOP ( 'NONE', ( #1125, #1129, #1120, #1122 ) ) ;
#1118 = EDGE_CURVE ( 'NONE', #1119, #589, #7212, .T. ) ;
#1119 = VERTEX_POINT ( 'NONE', #7207 ) ;
#1120 = ORIENTED_EDGE ( 'NONE', *, *, #1121, .F. ) ;
#1121 = EDGE_CURVE ( 'NONE', #1132, #1131, #7205, .T. ) ;
#1122 = ORIENTED_EDGE ( 'NONE', *, *, #1123, .F. ) ;
#1123 = EDGE_CURVE ( 'NONE', #1128, #1132, #7206, .T. ) ;
#1124 = ADVANCED_FACE ( 'NONE', ( #7197 ), #7195, .F. ) ;
#1125 = ORIENTED_EDGE ( 'NONE', *, *, #1126, .F. ) ;
#1126 = EDGE_CURVE ( 'NONE', #1127, #1128, #7190, .T. ) ;
#1127 = VERTEX_POINT ( 'NONE', #7186 ) ;
#1128 = VERTEX_POINT ( 'NONE', #7185 ) ;
#1129 = ORIENTED_EDGE ( 'NONE', *, *, #1130, .T. ) ;
#1130 = EDGE_CURVE ( 'NONE', #1127, #1131, #7184, .T. ) ;
#1131 = VERTEX_POINT ( 'NONE', #7237 ) ;
#1132 = VERTEX_POINT ( 'NONE', #7236 ) ;
#1133 = ORIENTED_EDGE ( 'NONE', *, *, #1134, .F. ) ;
#1134 = EDGE_CURVE ( 'NONE', #1171, #1214, #7235, .T. ) ;
#1135 = ADVANCED_FACE ( 'NONE', ( #7231 ), #7230, .F. ) ;
#1136 = EDGE_LOOP ( 'NONE', ( #1137, #1141, #1144, #1147, #1150, #1153 ) ) ;
#1137 = ORIENTED_EDGE ( 'NONE', *, *, #1138, .F. ) ;
#1138 = EDGE_CURVE ( 'NONE', #1139, #1140, #7225, .T. ) ;
#1139 = VERTEX_POINT ( 'NONE', #7221 ) ;
#1140 = VERTEX_POINT ( 'NONE', #7220 ) ;
#1141 = ORIENTED_EDGE ( 'NONE', *, *, #1142, .T. ) ;
#1142 = EDGE_CURVE ( 'NONE', #1139, #1143, #7219, .T. ) ;
#1143 = VERTEX_POINT ( 'NONE', #7215 ) ;
#1144 = ORIENTED_EDGE ( 'NONE', *, *, #1145, .F. ) ;
#1145 = EDGE_CURVE ( 'NONE', #1146, #1143, #7214, .T. ) ;
#1146 = VERTEX_POINT ( 'NONE', #7213 ) ;
#1147 = ORIENTED_EDGE ( 'NONE', *, *, #1148, .F. ) ;
#1148 = EDGE_CURVE ( 'NONE', #1149, #1146, #7262, .T. ) ;
#1149 = VERTEX_POINT ( 'NONE', #7261 ) ;
#1150 = ORIENTED_EDGE ( 'NONE', *, *, #1151, .F. ) ;
#1151 = EDGE_CURVE ( 'NONE', #1152, #1149, #7252, .T. ) ;
#1152 = VERTEX_POINT ( 'NONE', #7251 ) ;
#1153 = ORIENTED_EDGE ( 'NONE', *, *, #1154, .F. ) ;
#1154 = EDGE_CURVE ( 'NONE', #1140, #1152, #7241, .T. ) ;
#1155 = ADVANCED_FACE ( 'NONE', ( #7250 ), #7240, .T. ) ;
#1156 = EDGE_LOOP ( 'NONE', ( #1104, #1108, #1110, #1111, #1114 ) ) ;
#1157 = ORIENTED_EDGE ( 'NONE', *, *, #1118, .F. ) ;
#1158 = ORIENTED_EDGE ( 'NONE', *, *, #1159, .T. ) ;
#1159 = EDGE_CURVE ( 'NONE', #1210, #1119, #7289, .T. ) ;
#1160 = ORIENTED_EDGE ( 'NONE', *, *, #1118, .T. ) ;
#1161 = ORIENTED_EDGE ( 'NONE', *, *, #1162, .F. ) ;
#1162 = EDGE_CURVE ( 'NONE', #1163, #589, #7285, .T. ) ;
#1163 = VERTEX_POINT ( 'NONE', #7281 ) ;
#1164 = ORIENTED_EDGE ( 'NONE', *, *, #1165, .T. ) ;
#1165 = EDGE_CURVE ( 'NONE', #1163, #1209, #7280, .T. ) ;
#1166 = ADVANCED_FACE ( 'NONE', ( #7275 ), #7274, .T. ) ;
#1167 = EDGE_LOOP ( 'NONE', ( #1168, #1172, #1212, #1133 ) ) ;
#1168 = ORIENTED_EDGE ( 'NONE', *, *, #1169, .F. ) ;
#1169 = EDGE_CURVE ( 'NONE', #1170, #1171, #7269, .T. ) ;
#1170 = VERTEX_POINT ( 'NONE', #7324 ) ;
#1171 = VERTEX_POINT ( 'NONE', #7323 ) ;
#1172 = ORIENTED_EDGE ( 'NONE', *, *, #1173, .T. ) ;
#1173 = EDGE_CURVE ( 'NONE', #1170, #1211, #7322, .T. ) ;
#1174 = ORIENTED_EDGE ( 'NONE', *, *, #1090, .F. ) ;
#1175 = ADVANCED_FACE ( 'NONE', ( #7318 ), #7317, .F. ) ;
#1176 = EDGE_LOOP ( 'NONE', ( #1177, #1178, #1181, #1183, #1238 ) ) ;
#1177 = ORIENTED_EDGE ( 'NONE', *, *, #4028, .T. ) ;
#1178 = ORIENTED_EDGE ( 'NONE', *, *, #1179, .T. ) ;
#1179 = EDGE_CURVE ( 'NONE', #4025, #1180, #7312, .T. ) ;
#1180 = VERTEX_POINT ( 'NONE', #7311 ) ;
#1181 = ORIENTED_EDGE ( 'NONE', *, *, #1182, .T. ) ;
#1182 = EDGE_CURVE ( 'NONE', #1180, #3046, #7304, .T. ) ;
#1183 = ORIENTED_EDGE ( 'NONE', *, *, #3045, .T. ) ;
#1184 = ORIENTED_EDGE ( 'NONE', *, *, #1185, .F. ) ;
#1185 = EDGE_CURVE ( 'NONE', #3040, #3052, #7300, .T. ) ;
#1186 = ADVANCED_FACE ( 'NONE', ( #7351 ), #7350, .T. ) ;
#1187 = EDGE_LOOP ( 'NONE', ( #1188, #1189, #1190, #1191 ) ) ;
#1188 = ORIENTED_EDGE ( 'NONE', *, *, #4012, .F. ) ;
#1189 = ORIENTED_EDGE ( 'NONE', *, *, #2726, .T. ) ;
#1190 = ORIENTED_EDGE ( 'NONE', *, *, #4013, .T. ) ;
#1191 = ORIENTED_EDGE ( 'NONE', *, *, #1192, .T. ) ;
#1192 = EDGE_CURVE ( 'NONE', #4016, #3969, #7349, .T. ) ;
#1193 = ADVANCED_FACE ( 'NONE', ( #7340 ), #7339, .F. ) ;
#1194 = EDGE_LOOP ( 'NONE', ( #1195, #1196, #1251, #1252 ) ) ;
#1195 = ORIENTED_EDGE ( 'NONE', *, *, #4032, .T. ) ;
#1196 = ORIENTED_EDGE ( 'NONE', *, *, #1197, .T. ) ;
#1197 = EDGE_CURVE ( 'NONE', #4017, #3043, #7334, .T. ) ;
#1198 = ORIENTED_EDGE ( 'NONE', *, *, #1199, .F. ) ;
#1199 = EDGE_CURVE ( 'NONE', #1103, #1102, #7330, .T. ) ;
#1200 = ORIENTED_EDGE ( 'NONE', *, *, #1201, .F. ) ;
#1201 = EDGE_CURVE ( 'NONE', #1202, #1103, #7378, .T. ) ;
#1202 = VERTEX_POINT ( 'NONE', #7329 ) ;
#1203 = ORIENTED_EDGE ( 'NONE', *, *, #1204, .F. ) ;
#1204 = EDGE_CURVE ( 'NONE', #1096, #1202, #7368, .T. ) ;
#1205 = ADVANCED_FACE ( 'NONE', ( #7367 ), #7366, .T. ) ;
#1206 = EDGE_LOOP ( 'NONE', ( #1207, #1158, #1160, #1161, #1164 ) ) ;
#1207 = ORIENTED_EDGE ( 'NONE', *, *, #1208, .T. ) ;
#1208 = EDGE_CURVE ( 'NONE', #1209, #1210, #7356, .T. ) ;
#1209 = VERTEX_POINT ( 'NONE', #7413 ) ;
#1210 = VERTEX_POINT ( 'NONE', #7412 ) ;
#1211 = VERTEX_POINT ( 'NONE', #7411 ) ;
#1212 = ORIENTED_EDGE ( 'NONE', *, *, #1213, .F. ) ;
#1213 = EDGE_CURVE ( 'NONE', #1214, #1211, #7410, .T. ) ;
#1214 = VERTEX_POINT ( 'NONE', #7405 ) ;
#1215 = ADVANCED_FACE ( 'NONE', ( #7404 ), #7403, .F. ) ;
#1216 = EDGE_LOOP ( 'NONE', ( #1217, #1218, #1219, #1220 ) ) ;
#1217 = ORIENTED_EDGE ( 'NONE', *, *, #4034, .T. ) ;
#1218 = ORIENTED_EDGE ( 'NONE', *, *, #1253, .T. ) ;
#1219 = ORIENTED_EDGE ( 'NONE', *, *, #3010, .T. ) ;
#1220 = ORIENTED_EDGE ( 'NONE', *, *, #1237, .F. ) ;
#1221 = ADVANCED_FACE ( 'NONE', ( #7402 ), #7396, .F. ) ;
#1222 = EDGE_LOOP ( 'NONE', ( #1223, #1224, #1281, #1282, #1283, #1284 ) ) ;
#1223 = ORIENTED_EDGE ( 'NONE', *, *, #4018, .F. ) ;
#1224 = ORIENTED_EDGE ( 'NONE', *, *, #4023, .T. ) ;
#1225 = EDGE_CURVE ( 'NONE', #1243, #1226, #7392, .T. ) ;
#1226 = VERTEX_POINT ( 'NONE', #7444 ) ;
#1227 = ORIENTED_EDGE ( 'NONE', *, *, #1228, .T. ) ;
#1228 = EDGE_CURVE ( 'NONE', #1226, #3052, #7443, .T. ) ;
#1229 = ORIENTED_EDGE ( 'NONE', *, *, #3051, .T. ) ;
#1230 = ORIENTED_EDGE ( 'NONE', *, *, #1245, .F. ) ;
#1231 = ADVANCED_FACE ( 'NONE', ( #7439 ), #7438, .F. ) ;
#1232 = EDGE_LOOP ( 'NONE', ( #1233, #1235, #1236, #1293, #1294 ) ) ;
#1233 = ORIENTED_EDGE ( 'NONE', *, *, #1234, .T. ) ;
#1234 = EDGE_CURVE ( 'NONE', #1226, #4021, #7433, .T. ) ;
#1235 = ORIENTED_EDGE ( 'NONE', *, *, #4037, .T. ) ;
#1236 = ORIENTED_EDGE ( 'NONE', *, *, #1237, .T. ) ;
#1237 = EDGE_CURVE ( 'NONE', #4035, #3040, #7426, .T. ) ;
#1238 = ORIENTED_EDGE ( 'NONE', *, *, #1197, .F. ) ;
#1239 = ADVANCED_FACE ( 'NONE', ( #7422 ), #7421, .F. ) ;
#1240 = EDGE_LOOP ( 'NONE', ( #1241, #1244, #1246, #1247 ) ) ;
#1241 = ORIENTED_EDGE ( 'NONE', *, *, #1242, .T. ) ;
#1242 = EDGE_CURVE ( 'NONE', #1180, #1243, #7475, .T. ) ;
#1243 = VERTEX_POINT ( 'NONE', #7474 ) ;
#1244 = ORIENTED_EDGE ( 'NONE', *, *, #1245, .T. ) ;
#1245 = EDGE_CURVE ( 'NONE', #1243, #3049, #7467, .T. ) ;
#1246 = ORIENTED_EDGE ( 'NONE', *, *, #3048, .T. ) ;
#1247 = ORIENTED_EDGE ( 'NONE', *, *, #1182, .F. ) ;
#1248 = ADVANCED_FACE ( 'NONE', ( #7463 ), #7462, .F. ) ;
#1249 = EDGE_LOOP ( 'NONE', ( #1250, #1227, #1229, #1230 ) ) ;
#1250 = ORIENTED_EDGE ( 'NONE', *, *, #1225, .T. ) ;
#1251 = ORIENTED_EDGE ( 'NONE', *, *, #3042, .T. ) ;
#1252 = ORIENTED_EDGE ( 'NONE', *, *, #1253, .F. ) ;
#1253 = EDGE_CURVE ( 'NONE', #4027, #3011, #7457, .T. ) ;
#1254 = ORIENTED_EDGE ( 'NONE', *, *, #1255, .F. ) ;
#1255 = EDGE_CURVE ( 'NONE', #1256, #1280, #7453, .T. ) ;
#1256 = VERTEX_POINT ( 'NONE', #7449 ) ;
#1257 = ORIENTED_EDGE ( 'NONE', *, *, #1258, .F. ) ;
#1258 = EDGE_CURVE ( 'NONE', #1259, #1256, #7448, .T. ) ;
#1259 = VERTEX_POINT ( 'NONE', #7505 ) ;
#1260 = ORIENTED_EDGE ( 'NONE', *, *, #1261, .F. ) ;
#1261 = EDGE_CURVE ( 'NONE', #1274, #1259, #7504, .T. ) ;
#1262 = ADVANCED_FACE ( 'NONE', ( #7500 ), #7499, .T. ) ;
#1263 = EDGE_LOOP ( 'NONE', ( #1264, #1265, #1266, #1319 ) ) ;
#1264 = ORIENTED_EDGE ( 'NONE', *, *, #3559, .F. ) ;
#1265 = ORIENTED_EDGE ( 'NONE', *, *, #2730, .T. ) ;
#1266 = ORIENTED_EDGE ( 'NONE', *, *, #3562, .T. ) ;
#1267 = ORIENTED_EDGE ( 'NONE', *, *, #1268, .T. ) ;
#1268 = EDGE_CURVE ( 'NONE', #3566, #3565, #7493, .T. ) ;
#1269 = ORIENTED_EDGE ( 'NONE', *, *, #3564, .T. ) ;
#1270 = EDGE_LOOP ( 'NONE', ( #1271, #1275, #1278, #1254, #1257, #1260 ) ) ;
#1271 = ORIENTED_EDGE ( 'NONE', *, *, #1272, .F. ) ;
#1272 = EDGE_CURVE ( 'NONE', #1273, #1274, #7489, .T. ) ;
#1273 = VERTEX_POINT ( 'NONE', #7485 ) ;
#1274 = VERTEX_POINT ( 'NONE', #7484 ) ;
#1275 = ORIENTED_EDGE ( 'NONE', *, *, #1276, .F. ) ;
#1276 = EDGE_CURVE ( 'NONE', #1277, #1273, #7483, .T. ) ;
#1277 = VERTEX_POINT ( 'NONE', #7479 ) ;
#1278 = ORIENTED_EDGE ( 'NONE', *, *, #1279, .F. ) ;
#1279 = EDGE_CURVE ( 'NONE', #1280, #1277, #7478, .T. ) ;
#1280 = VERTEX_POINT ( 'NONE', #7534 ) ;
#1281 = ORIENTED_EDGE ( 'NONE', *, *, #1234, .F. ) ;
#1282 = ORIENTED_EDGE ( 'NONE', *, *, #1225, .F. ) ;
#1283 = ORIENTED_EDGE ( 'NONE', *, *, #1242, .F. ) ;
#1284 = ORIENTED_EDGE ( 'NONE', *, *, #1179, .F. ) ;
#1285 = ADVANCED_FACE ( 'NONE', ( #7533 ), #7530, .T. ) ;
#1286 = EDGE_LOOP ( 'NONE', ( #1287, #1288, #1289, #1290 ) ) ;
#1287 = ORIENTED_EDGE ( 'NONE', *, *, #3970, .F. ) ;
#1288 = ORIENTED_EDGE ( 'NONE', *, *, #3006, .F. ) ;
#1289 = ORIENTED_EDGE ( 'NONE', *, *, #4030, .T. ) ;
#1290 = ORIENTED_EDGE ( 'NONE', *, *, #1192, .F. ) ;
#1291 = ADVANCED_FACE ( 'NONE', ( #7531, #7526 ), #7525, .F. ) ;
#1292 = EDGE_LOOP ( 'NONE', ( #1267, #1269 ) ) ;
#1293 = ORIENTED_EDGE ( 'NONE', *, *, #1185, .T. ) ;
#1294 = ORIENTED_EDGE ( 'NONE', *, *, #1228, .F. ) ;
#1295 = ADVANCED_FACE ( 'NONE', ( #7520 ), #7519, .F. ) ;
#1296 = EDGE_LOOP ( 'NONE', ( #1297, #1300, #1302, #1303 ) ) ;
#1297 = ORIENTED_EDGE ( 'NONE', *, *, #1298, .T. ) ;
#1298 = EDGE_CURVE ( 'NONE', #1316, #1299, #7514, .T. ) ;
#1299 = VERTEX_POINT ( 'NONE', #7513 ) ;
#1300 = ORIENTED_EDGE ( 'NONE', *, *, #1301, .T. ) ;
#1301 = EDGE_CURVE ( 'NONE', #1299, #1259, #7512, .T. ) ;
#1302 = ORIENTED_EDGE ( 'NONE', *, *, #1258, .T. ) ;
#1303 = ORIENTED_EDGE ( 'NONE', *, *, #1318, .F. ) ;
#1304 = ADVANCED_FACE ( 'NONE', ( #7561 ), #7560, .F. ) ;
#1305 = EDGE_LOOP ( 'NONE', ( #1361, #1363, #1364, #1366, #1367 ) ) ;
#1306 = EDGE_CURVE ( 'NONE', #3579, #1307, #7555, .T. ) ;
#1307 = VERTEX_POINT ( 'NONE', #7554 ) ;
#1308 = ORIENTED_EDGE ( 'NONE', *, *, #1309, .T. ) ;
#1309 = EDGE_CURVE ( 'NONE', #1307, #1280, #7547, .T. ) ;
#1310 = ORIENTED_EDGE ( 'NONE', *, *, #1279, .T. ) ;
#1311 = ORIENTED_EDGE ( 'NONE', *, *, #1325, .F. ) ;
#1312 = ADVANCED_FACE ( 'NONE', ( #7543 ), #7542, .F. ) ;
#1313 = EDGE_LOOP ( 'NONE', ( #1314, #1317, #1372, #1373 ) ) ;
#1314 = ORIENTED_EDGE ( 'NONE', *, *, #1315, .T. ) ;
#1315 = EDGE_CURVE ( 'NONE', #1307, #1316, #7536, .T. ) ;
#1316 = VERTEX_POINT ( 'NONE', #7537 ) ;
#1317 = ORIENTED_EDGE ( 'NONE', *, *, #1318, .T. ) ;
#1318 = EDGE_CURVE ( 'NONE', #1316, #1256, #7588, .T. ) ;
#1319 = ORIENTED_EDGE ( 'NONE', *, *, #1320, .T. ) ;
#1320 = EDGE_CURVE ( 'NONE', #3569, #3525, #7584, .T. ) ;
#1321 = ADVANCED_FACE ( 'NONE', ( #7579 ), #7578, .F. ) ;
#1322 = EDGE_LOOP ( 'NONE', ( #1323, #1324, #1326, #1327 ) ) ;
#1323 = ORIENTED_EDGE ( 'NONE', *, *, #3584, .T. ) ;
#1324 = ORIENTED_EDGE ( 'NONE', *, *, #1325, .T. ) ;
#1325 = EDGE_CURVE ( 'NONE', #3582, #1277, #7573, .T. ) ;
#1326 = ORIENTED_EDGE ( 'NONE', *, *, #1276, .T. ) ;
#1327 = ORIENTED_EDGE ( 'NONE', *, *, #1328, .F. ) ;
#1328 = EDGE_CURVE ( 'NONE', #3585, #1273, #7569, .T. ) ;
#1329 = ADVANCED_FACE ( 'NONE', ( #7565 ), #7629, .F. ) ;
#1330 = EDGE_LOOP ( 'NONE', ( #1331, #1332, #1308, #1310, #1311 ) ) ;
#1331 = ORIENTED_EDGE ( 'NONE', *, *, #3581, .T. ) ;
#1332 = ORIENTED_EDGE ( 'NONE', *, *, #1306, .T. ) ;
#1333 = ORIENTED_EDGE ( 'NONE', *, *, #1526, .F. ) ;
#1334 = ORIENTED_EDGE ( 'NONE', *, *, #1335, .F. ) ;
#1335 = EDGE_CURVE ( 'NONE', #1402, #1414, #7624, .T. ) ;
#1336 = ORIENTED_EDGE ( 'NONE', *, *, #3568, .F. ) ;
#1337 = ORIENTED_EDGE ( 'NONE', *, *, #1268, .F. ) ;
#1338 = ORIENTED_EDGE ( 'NONE', *, *, #3527, .T. ) ;
#1339 = ORIENTED_EDGE ( 'NONE', *, *, #1320, .F. ) ;
#1340 = ADVANCED_FACE ( 'NONE', ( #7620, #7619 ), #7618, .F. ) ;
#1341 = EDGE_LOOP ( 'NONE', ( #1342, #1344 ) ) ;
#1342 = ORIENTED_EDGE ( 'NONE', *, *, #1343, .T. ) ;
#1343 = EDGE_CURVE ( 'NONE', #4089, #4101, #7613, .T. ) ;
#1344 = ORIENTED_EDGE ( 'NONE', *, *, #4099, .T. ) ;
#1345 = EDGE_LOOP ( 'NONE', ( #1346, #1403, #1406, #1409, #1412, #1334 ) ) ;
#1346 = ORIENTED_EDGE ( 'NONE', *, *, #1347, .F. ) ;
#1347 = EDGE_CURVE ( 'NONE', #1348, #1402, #7608, .T. ) ;
#1348 = VERTEX_POINT ( 'NONE', #7604 ) ;
#1349 = ORIENTED_EDGE ( 'NONE', *, *, #1272, .T. ) ;
#1350 = ORIENTED_EDGE ( 'NONE', *, *, #1365, .F. ) ;
#1351 = ADVANCED_FACE ( 'NONE', ( #7603 ), #7602, .F. ) ;
#1352 = EDGE_LOOP ( 'NONE', ( #1353, #1354, #1355, #1356, #1357, #1358 ) ) ;
#1353 = ORIENTED_EDGE ( 'NONE', *, *, #3535, .F. ) ;
#1354 = ORIENTED_EDGE ( 'NONE', *, *, #3531, .T. ) ;
#1355 = ORIENTED_EDGE ( 'NONE', *, *, #1362, .F. ) ;
#1356 = ORIENTED_EDGE ( 'NONE', *, *, #1298, .F. ) ;
#1357 = ORIENTED_EDGE ( 'NONE', *, *, #1315, .F. ) ;
#1358 = ORIENTED_EDGE ( 'NONE', *, *, #1306, .F. ) ;
#1359 = ADVANCED_FACE ( 'NONE', ( #7601 ), #7595, .T. ) ;
#1360 = EDGE_LOOP ( 'NONE', ( #1336, #1337, #1338, #1339 ) ) ;
#1361 = ORIENTED_EDGE ( 'NONE', *, *, #1362, .T. ) ;
#1362 = EDGE_CURVE ( 'NONE', #1299, #3533, #7655, .T. ) ;
#1363 = ORIENTED_EDGE ( 'NONE', *, *, #3590, .T. ) ;
#1364 = ORIENTED_EDGE ( 'NONE', *, *, #1365, .T. ) ;
#1365 = EDGE_CURVE ( 'NONE', #3588, #1274, #7654, .T. ) ;
#1366 = ORIENTED_EDGE ( 'NONE', *, *, #1261, .T. ) ;
#1367 = ORIENTED_EDGE ( 'NONE', *, *, #1301, .F. ) ;
#1368 = ADVANCED_FACE ( 'NONE', ( #7644 ), #7643, .F. ) ;
#1369 = EDGE_LOOP ( 'NONE', ( #1370, #1371, #1349, #1350 ) ) ;
#1370 = ORIENTED_EDGE ( 'NONE', *, *, #3587, .T. ) ;
#1371 = ORIENTED_EDGE ( 'NONE', *, *, #1328, .T. ) ;
#1372 = ORIENTED_EDGE ( 'NONE', *, *, #1255, .T. ) ;
#1373 = ORIENTED_EDGE ( 'NONE', *, *, #1309, .F. ) ;
#1374 = ORIENTED_EDGE ( 'NONE', *, *, #1375, .T. ) ;
#1375 = EDGE_CURVE ( 'NONE', #1446, #1376, #7636, .T. ) ;
#1376 = VERTEX_POINT ( 'NONE', #7686 ) ;
#1377 = ORIENTED_EDGE ( 'NONE', *, *, #1404, .T. ) ;
#1378 = ORIENTED_EDGE ( 'NONE', *, *, #1379, .F. ) ;
#1379 = EDGE_CURVE ( 'NONE', #3576, #1348, #7685, .T. ) ;
#1380 = ADVANCED_FACE ( 'NONE', ( #7681 ), #7680, .F. ) ;
#1381 = EDGE_LOOP ( 'NONE', ( #1382, #1383, #1386, #1388, #1442 ) ) ;
#1382 = ORIENTED_EDGE ( 'NONE', *, *, #3572, .T. ) ;
#1383 = ORIENTED_EDGE ( 'NONE', *, *, #1384, .T. ) ;
#1384 = EDGE_CURVE ( 'NONE', #3547, #1385, #7675, .T. ) ;
#1385 = VERTEX_POINT ( 'NONE', #7674 ) ;
#1386 = ORIENTED_EDGE ( 'NONE', *, *, #1387, .T. ) ;
#1387 = EDGE_CURVE ( 'NONE', #1385, #1408, #7667, .T. ) ;
#1388 = ORIENTED_EDGE ( 'NONE', *, *, #1407, .T. ) ;
#1389 = EDGE_LOOP ( 'NONE', ( #1444, #1447, #1449, #1450 ) ) ;
#1390 = ADVANCED_FACE ( 'NONE', ( #7663 ), #7662, .T. ) ;
#1391 = EDGE_LOOP ( 'NONE', ( #1392, #1393, #1394, #1395 ) ) ;
#1392 = ORIENTED_EDGE ( 'NONE', *, *, #3597, .F. ) ;
#1393 = ORIENTED_EDGE ( 'NONE', *, *, #2734, .T. ) ;
#1394 = ORIENTED_EDGE ( 'NONE', *, *, #3600, .T. ) ;
#1395 = ORIENTED_EDGE ( 'NONE', *, *, #1396, .T. ) ;
#1396 = EDGE_CURVE ( 'NONE', #4088, #3148, #7661, .T. ) ;
#1397 = ADVANCED_FACE ( 'NONE', ( #7712 ), #7711, .F. ) ;
#1398 = EDGE_LOOP ( 'NONE', ( #1399, #1400, #1377, #1378 ) ) ;
#1399 = ORIENTED_EDGE ( 'NONE', *, *, #3575, .T. ) ;
#1400 = ORIENTED_EDGE ( 'NONE', *, *, #1401, .T. ) ;
#1401 = EDGE_CURVE ( 'NONE', #3573, #1405, #7706, .T. ) ;
#1402 = VERTEX_POINT ( 'NONE', #7702 ) ;
#1403 = ORIENTED_EDGE ( 'NONE', *, *, #1404, .F. ) ;
#1404 = EDGE_CURVE ( 'NONE', #1405, #1348, #7701, .T. ) ;
#1405 = VERTEX_POINT ( 'NONE', #7697 ) ;
#1406 = ORIENTED_EDGE ( 'NONE', *, *, #1407, .F. ) ;
#1407 = EDGE_CURVE ( 'NONE', #1408, #1405, #7696, .T. ) ;
#1408 = VERTEX_POINT ( 'NONE', #7692 ) ;
#1409 = ORIENTED_EDGE ( 'NONE', *, *, #1410, .F. ) ;
#1410 = EDGE_CURVE ( 'NONE', #1411, #1408, #7691, .T. ) ;
#1411 = VERTEX_POINT ( 'NONE', #7687 ) ;
#1412 = ORIENTED_EDGE ( 'NONE', *, *, #1413, .F. ) ;
#1413 = EDGE_CURVE ( 'NONE', #1414, #1411, #7752, .T. ) ;
#1414 = VERTEX_POINT ( 'NONE', #7748 ) ;
#1415 = ORIENTED_EDGE ( 'NONE', *, *, #3546, .T. ) ;
#1416 = ORIENTED_EDGE ( 'NONE', *, *, #1396, .F. ) ;
#1417 = ADVANCED_FACE ( 'NONE', ( #7747, #7746 ), #7745, .F. ) ;
#1418 = EDGE_LOOP ( 'NONE', ( #1473, #1475 ) ) ;
#1419 = ORIENTED_EDGE ( 'NONE', *, *, #1431, .F. ) ;
#1420 = ADVANCED_FACE ( 'NONE', ( #7740 ), #7739, .F. ) ;
#1421 = EDGE_LOOP ( 'NONE', ( #1422, #1423, #1424, #1425 ) ) ;
#1422 = ORIENTED_EDGE ( 'NONE', *, *, #3578, .T. ) ;
#1423 = ORIENTED_EDGE ( 'NONE', *, *, #1379, .T. ) ;
#1424 = ORIENTED_EDGE ( 'NONE', *, *, #1347, .T. ) ;
#1425 = ORIENTED_EDGE ( 'NONE', *, *, #1440, .F. ) ;
#1426 = ADVANCED_FACE ( 'NONE', ( #7734 ), #7733, .F. ) ;
#1427 = EDGE_LOOP ( 'NONE', ( #1428, #1429, #1489, #1490, #1491, #1492 ) ) ;
#1428 = ORIENTED_EDGE ( 'NONE', *, *, #3545, .F. ) ;
#1429 = ORIENTED_EDGE ( 'NONE', *, *, #3543, .T. ) ;
#1430 = ORIENTED_EDGE ( 'NONE', *, *, #1431, .T. ) ;
#1431 = EDGE_CURVE ( 'NONE', #1376, #1414, #7728, .T. ) ;
#1432 = ORIENTED_EDGE ( 'NONE', *, *, #1413, .T. ) ;
#1433 = ORIENTED_EDGE ( 'NONE', *, *, #1448, .F. ) ;
#1434 = ADVANCED_FACE ( 'NONE', ( #7724 ), #7723, .F. ) ;
#1435 = EDGE_LOOP ( 'NONE', ( #1436, #1438, #1439, #1441, #1419 ) ) ;
#1436 = ORIENTED_EDGE ( 'NONE', *, *, #1437, .T. ) ;
#1437 = EDGE_CURVE ( 'NONE', #1376, #3550, #7777, .T. ) ;
#1438 = ORIENTED_EDGE ( 'NONE', *, *, #3538, .T. ) ;
#1439 = ORIENTED_EDGE ( 'NONE', *, *, #1440, .T. ) ;
#1440 = EDGE_CURVE ( 'NONE', #3536, #1402, #7776, .T. ) ;
#1441 = ORIENTED_EDGE ( 'NONE', *, *, #1335, .T. ) ;
#1442 = ORIENTED_EDGE ( 'NONE', *, *, #1401, .F. ) ;
#1443 = ADVANCED_FACE ( 'NONE', ( #7766 ), #7765, .F. ) ;
#1444 = ORIENTED_EDGE ( 'NONE', *, *, #1445, .T. ) ;
#1445 = EDGE_CURVE ( 'NONE', #1385, #1446, #7760, .T. ) ;
#1446 = VERTEX_POINT ( 'NONE', #7753 ) ;
#1447 = ORIENTED_EDGE ( 'NONE', *, *, #1448, .T. ) ;
#1448 = EDGE_CURVE ( 'NONE', #1446, #1411, #7812, .T. ) ;
#1449 = ORIENTED_EDGE ( 'NONE', *, *, #1410, .T. ) ;
#1450 = ORIENTED_EDGE ( 'NONE', *, *, #1387, .F. ) ;
#1451 = ADVANCED_FACE ( 'NONE', ( #7808 ), #7807, .F. ) ;
#1452 = EDGE_LOOP ( 'NONE', ( #1374, #1430, #1432, #1433 ) ) ;
#1453 = EDGE_CURVE ( 'NONE', #1454, #1455, #7802, .T. ) ;
#1454 = VERTEX_POINT ( 'NONE', #7797 ) ;
#1455 = VERTEX_POINT ( 'NONE', #7796 ) ;
#1456 = ORIENTED_EDGE ( 'NONE', *, *, #1457, .T. ) ;
#1457 = EDGE_CURVE ( 'NONE', #1455, #1471, #7795, .T. ) ;
#1458 = ORIENTED_EDGE ( 'NONE', *, *, #1470, .F. ) ;
#1459 = ORIENTED_EDGE ( 'NONE', *, *, #4112, .F. ) ;
#1460 = VERTEX_POINT ( 'NONE', #7791 ) ;
#1461 = ORIENTED_EDGE ( 'NONE', *, *, #1462, .F. ) ;
#1462 = EDGE_CURVE ( 'NONE', #1463, #1460, #7790, .T. ) ;
#1463 = VERTEX_POINT ( 'NONE', #7786 ) ;
#1464 = ORIENTED_EDGE ( 'NONE', *, *, #1465, .F. ) ;
#1465 = EDGE_CURVE ( 'NONE', #1480, #1463, #7785, .T. ) ;
#1466 = ADVANCED_FACE ( 'NONE', ( #7781 ), #7780, .T. ) ;
#1467 = EDGE_LOOP ( 'NONE', ( #1468, #1469, #1472, #1530, #1531 ) ) ;
#1468 = ORIENTED_EDGE ( 'NONE', *, *, #4096, .F. ) ;
#1469 = ORIENTED_EDGE ( 'NONE', *, *, #1470, .T. ) ;
#1470 = EDGE_CURVE ( 'NONE', #4103, #1471, #7841, .T. ) ;
#1471 = VERTEX_POINT ( 'NONE', #7834 ) ;
#1472 = ORIENTED_EDGE ( 'NONE', *, *, #1529, .F. ) ;
#1473 = ORIENTED_EDGE ( 'NONE', *, *, #1474, .T. ) ;
#1474 = EDGE_CURVE ( 'NONE', #1128, #1127, #7832, .T. ) ;
#1475 = ORIENTED_EDGE ( 'NONE', *, *, #1126, .T. ) ;
#1476 = EDGE_LOOP ( 'NONE', ( #1477, #1481, #1484, #1487, #1461, #1464 ) ) ;
#1477 = ORIENTED_EDGE ( 'NONE', *, *, #1478, .F. ) ;
#1478 = EDGE_CURVE ( 'NONE', #1479, #1480, #7833, .T. ) ;
#1479 = VERTEX_POINT ( 'NONE', #7824 ) ;
#1480 = VERTEX_POINT ( 'NONE', #7823 ) ;
#1481 = ORIENTED_EDGE ( 'NONE', *, *, #1482, .F. ) ;
#1482 = EDGE_CURVE ( 'NONE', #1483, #1479, #7822, .T. ) ;
#1483 = VERTEX_POINT ( 'NONE', #7818 ) ;
#1484 = ORIENTED_EDGE ( 'NONE', *, *, #1485, .F. ) ;
#1485 = EDGE_CURVE ( 'NONE', #1486, #1483, #7817, .T. ) ;
#1486 = VERTEX_POINT ( 'NONE', #7813 ) ;
#1487 = ORIENTED_EDGE ( 'NONE', *, *, #1488, .F. ) ;
#1488 = EDGE_CURVE ( 'NONE', #1460, #1486, #7873, .T. ) ;
#1489 = ORIENTED_EDGE ( 'NONE', *, *, #1437, .F. ) ;
#1490 = ORIENTED_EDGE ( 'NONE', *, *, #1375, .F. ) ;
#1491 = ORIENTED_EDGE ( 'NONE', *, *, #1445, .F. ) ;
#1492 = ORIENTED_EDGE ( 'NONE', *, *, #1384, .F. ) ;
#1493 = ADVANCED_FACE ( 'NONE', ( #7869 ), #7868, .T. ) ;
#1494 = EDGE_LOOP ( 'NONE', ( #1495, #1496, #1415, #1416 ) ) ;
#1495 = ORIENTED_EDGE ( 'NONE', *, *, #4087, .F. ) ;
#1496 = ORIENTED_EDGE ( 'NONE', *, *, #1343, .F. ) ;
#1497 = ORIENTED_EDGE ( 'NONE', *, *, #1513, .F. ) ;
#1498 = ADVANCED_FACE ( 'NONE', ( #7862 ), #7867, .F. ) ;
#1499 = ORIENTED_EDGE ( 'NONE', *, *, #1056, .T. ) ;
#1500 = ORIENTED_EDGE ( 'NONE', *, *, #1501, .T. ) ;
#1501 = EDGE_CURVE ( 'NONE', #1054, #1502, #7857, .T. ) ;
#1502 = VERTEX_POINT ( 'NONE', #7856 ) ;
#1503 = ORIENTED_EDGE ( 'NONE', *, *, #1504, .T. ) ;
#1504 = EDGE_CURVE ( 'NONE', #1502, #1486, #7849, .T. ) ;
#1505 = ORIENTED_EDGE ( 'NONE', *, *, #1485, .T. ) ;
#1506 = ORIENTED_EDGE ( 'NONE', *, *, #1520, .F. ) ;
#1507 = ADVANCED_FACE ( 'NONE', ( #7845 ), #7844, .F. ) ;
#1508 = EDGE_LOOP ( 'NONE', ( #1509, #1512, #1566, #1567 ) ) ;
#1509 = ORIENTED_EDGE ( 'NONE', *, *, #1510, .T. ) ;
#1510 = EDGE_CURVE ( 'NONE', #1502, #1511, #7902, .T. ) ;
#1511 = VERTEX_POINT ( 'NONE', #7901 ) ;
#1512 = ORIENTED_EDGE ( 'NONE', *, *, #1513, .T. ) ;
#1513 = EDGE_CURVE ( 'NONE', #1511, #1460, #7903, .T. ) ;
#1514 = ORIENTED_EDGE ( 'NONE', *, *, #1515, .T. ) ;
#1515 = EDGE_CURVE ( 'NONE', #4102, #1454, #7889, .T. ) ;
#1516 = ADVANCED_FACE ( 'NONE', ( #7885 ), #7884, .F. ) ;
#1517 = EDGE_LOOP ( 'NONE', ( #1518, #1519, #1521, #1522 ) ) ;
#1518 = ORIENTED_EDGE ( 'NONE', *, *, #1059, .T. ) ;
#1519 = ORIENTED_EDGE ( 'NONE', *, *, #1520, .T. ) ;
#1520 = EDGE_CURVE ( 'NONE', #1057, #1483, #7878, .T. ) ;
#1521 = ORIENTED_EDGE ( 'NONE', *, *, #1482, .T. ) ;
#1522 = ORIENTED_EDGE ( 'NONE', *, *, #1523, .F. ) ;
#1523 = EDGE_CURVE ( 'NONE', #1060, #1479, #7933, .T. ) ;
#1524 = ADVANCED_FACE ( 'NONE', ( #7929 ), #7928, .F. ) ;
#1525 = EDGE_LOOP ( 'NONE', ( #1499, #1500, #1503, #1505, #1506 ) ) ;
#1526 = EDGE_CURVE ( 'NONE', #1527, #1528, #7922, .T. ) ;
#1527 = VERTEX_POINT ( 'NONE', #7921 ) ;
#1528 = VERTEX_POINT ( 'NONE', #7923 ) ;
#1529 = EDGE_CURVE ( 'NONE', #4104, #1471, #7915, .T. ) ;
#1530 = ORIENTED_EDGE ( 'NONE', *, *, #4095, .T. ) ;
#1531 = ORIENTED_EDGE ( 'NONE', *, *, #1532, .T. ) ;
#1532 = EDGE_CURVE ( 'NONE', #1131, #1132, #7909, .T. ) ;
#1533 = ADVANCED_FACE ( 'NONE', ( #7910 ), #7963, .F. ) ;
#1534 = EDGE_LOOP ( 'NONE', ( #1535, #1456, #1458, #1459, #1514 ) ) ;
#1535 = ORIENTED_EDGE ( 'NONE', *, *, #1453, .T. ) ;
#1536 = EDGE_CURVE ( 'NONE', #1537, #1538, #7958, .T. ) ;
#1537 = VERTEX_POINT ( 'NONE', #7953 ) ;
#1538 = VERTEX_POINT ( 'NONE', #7952 ) ;
#1539 = ORIENTED_EDGE ( 'NONE', *, *, #1540, .T. ) ;
#1540 = EDGE_CURVE ( 'NONE', #1537, #1541, #7951, .T. ) ;
#1541 = VERTEX_POINT ( 'NONE', #7946 ) ;
#1542 = ORIENTED_EDGE ( 'NONE', *, *, #1478, .T. ) ;
#1543 = ORIENTED_EDGE ( 'NONE', *, *, #1559, .F. ) ;
#1544 = ADVANCED_FACE ( 'NONE', ( #7945 ), #7944, .F. ) ;
#1545 = EDGE_LOOP ( 'NONE', ( #1546, #1547, #1548, #1549, #1550, #1551 ) ) ;
#1546 = ORIENTED_EDGE ( 'NONE', *, *, #1053, .F. ) ;
#1547 = ORIENTED_EDGE ( 'NONE', *, *, #1049, .T. ) ;
#1548 = ORIENTED_EDGE ( 'NONE', *, *, #1556, .F. ) ;
#1549 = ORIENTED_EDGE ( 'NONE', *, *, #1571, .F. ) ;
#1550 = ORIENTED_EDGE ( 'NONE', *, *, #1510, .F. ) ;
#1551 = ORIENTED_EDGE ( 'NONE', *, *, #1501, .F. ) ;
#1552 = ADVANCED_FACE ( 'NONE', ( #7938 ), #7937, .T. ) ;
#1553 = EDGE_LOOP ( 'NONE', ( #1614, #1615, #1616, #1617 ) ) ;
#1554 = EDGE_LOOP ( 'NONE', ( #1555, #1557, #1558, #1560, #1561 ) ) ;
#1555 = ORIENTED_EDGE ( 'NONE', *, *, #1556, .T. ) ;
#1556 = EDGE_CURVE ( 'NONE', #1572, #1051, #7990, .T. ) ;
#1557 = ORIENTED_EDGE ( 'NONE', *, *, #4106, .T. ) ;
#1558 = ORIENTED_EDGE ( 'NONE', *, *, #1559, .T. ) ;
#1559 = EDGE_CURVE ( 'NONE', #4110, #1480, #7989, .T. ) ;
#1560 = ORIENTED_EDGE ( 'NONE', *, *, #1465, .T. ) ;
#1561 = ORIENTED_EDGE ( 'NONE', *, *, #1574, .F. ) ;
#1562 = ADVANCED_FACE ( 'NONE', ( #7979 ), #7978, .F. ) ;
#1563 = EDGE_LOOP ( 'NONE', ( #1564, #1565, #1542, #1543 ) ) ;
#1564 = ORIENTED_EDGE ( 'NONE', *, *, #4109, .T. ) ;
#1565 = ORIENTED_EDGE ( 'NONE', *, *, #1523, .T. ) ;
#1566 = ORIENTED_EDGE ( 'NONE', *, *, #1488, .T. ) ;
#1567 = ORIENTED_EDGE ( 'NONE', *, *, #1504, .F. ) ;
#1568 = ADVANCED_FACE ( 'NONE', ( #7973 ), #7972, .F. ) ;
#1569 = EDGE_LOOP ( 'NONE', ( #1570, #1573, #1575, #1497 ) ) ;
#1570 = ORIENTED_EDGE ( 'NONE', *, *, #1571, .T. ) ;
#1571 = EDGE_CURVE ( 'NONE', #1511, #1572, #7967, .T. ) ;
#1572 = VERTEX_POINT ( 'NONE', #7966 ) ;
#1573 = ORIENTED_EDGE ( 'NONE', *, *, #1574, .T. ) ;
#1574 = EDGE_CURVE ( 'NONE', #1572, #1463, #7965, .T. ) ;
#1575 = ORIENTED_EDGE ( 'NONE', *, *, #1462, .T. ) ;
#1576 = EDGE_CURVE ( 'NONE', #1577, #1664, #8014, .T. ) ;
#1577 = VERTEX_POINT ( 'NONE', #8009 ) ;
#1578 = ORIENTED_EDGE ( 'NONE', *, *, #1579, .T. ) ;
#1579 = EDGE_CURVE ( 'NONE', #1577, #1538, #8008, .T. ) ;
#1580 = EDGE_LOOP ( 'NONE', ( #1581, #1647, #1648, #1649, #1652, #1654, #1655, #1658, #1635, #1636, #1638, #1639 ) ) ;
#1581 = ORIENTED_EDGE ( 'NONE', *, *, #1582, .T. ) ;
#1582 = EDGE_CURVE ( 'NONE', #1583, #4102, #8004, .T. ) ;
#1583 = VERTEX_POINT ( 'NONE', #8000 ) ;
#1584 = ORIENTED_EDGE ( 'NONE', *, *, #1585, .T. ) ;
#1585 = EDGE_CURVE ( 'NONE', #1613, #1586, #7999, .T. ) ;
#1586 = VERTEX_POINT ( 'NONE', #7995 ) ;
#1587 = ORIENTED_EDGE ( 'NONE', *, *, #1588, .F. ) ;
#1588 = EDGE_CURVE ( 'NONE', #1589, #1586, #7994, .T. ) ;
#1589 = VERTEX_POINT ( 'NONE', #8053 ) ;
#1590 = ORIENTED_EDGE ( 'NONE', *, *, #1591, .T. ) ;
#1591 = EDGE_CURVE ( 'NONE', #1589, #1592, #8052, .T. ) ;
#1592 = VERTEX_POINT ( 'NONE', #8047 ) ;
#1593 = ORIENTED_EDGE ( 'NONE', *, *, #1594, .F. ) ;
#1594 = EDGE_CURVE ( 'NONE', #1595, #1592, #8046, .T. ) ;
#1595 = VERTEX_POINT ( 'NONE', #8041 ) ;
#1596 = ORIENTED_EDGE ( 'NONE', *, *, #1597, .T. ) ;
#1597 = EDGE_CURVE ( 'NONE', #1595, #1598, #8040, .T. ) ;
#1598 = VERTEX_POINT ( 'NONE', #8036 ) ;
#1599 = ORIENTED_EDGE ( 'NONE', *, *, #1600, .F. ) ;
#1600 = EDGE_CURVE ( 'NONE', #1601, #1541, #8035, .T. ) ;
#1601 = VERTEX_POINT ( 'NONE', #8030 ) ;
#1602 = ORIENTED_EDGE ( 'NONE', *, *, #1603, .T. ) ;
#1603 = EDGE_CURVE ( 'NONE', #1601, #1604, #8029, .T. ) ;
#1604 = VERTEX_POINT ( 'NONE', #8025 ) ;
#1605 = ORIENTED_EDGE ( 'NONE', *, *, #1606, .F. ) ;
#1606 = EDGE_CURVE ( 'NONE', #1607, #1604, #8087, .T. ) ;
#1607 = VERTEX_POINT ( 'NONE', #8082 ) ;
#1608 = ORIENTED_EDGE ( 'NONE', *, *, #1609, .T. ) ;
#1609 = EDGE_CURVE ( 'NONE', #1607, #1610, #8081, .T. ) ;
#1610 = VERTEX_POINT ( 'NONE', #8076 ) ;
#1611 = ORIENTED_EDGE ( 'NONE', *, *, #1612, .F. ) ;
#1612 = EDGE_CURVE ( 'NONE', #1613, #1610, #8075, .T. ) ;
#1613 = VERTEX_POINT ( 'NONE', #8070 ) ;
#1614 = ORIENTED_EDGE ( 'NONE', *, *, #1130, .F. ) ;
#1615 = ORIENTED_EDGE ( 'NONE', *, *, #1474, .F. ) ;
#1616 = ORIENTED_EDGE ( 'NONE', *, *, #1123, .T. ) ;
#1617 = ORIENTED_EDGE ( 'NONE', *, *, #1532, .F. ) ;
#1618 = ADVANCED_FACE ( 'NONE', ( #8069, #8068 ), #8067, .F. ) ;
#1619 = EDGE_LOOP ( 'NONE', ( #1620, #1539, #1599, #1602, #1605, #1608, #1611, #1584, #1587, #1590, #1593, #1596, #1659, #1662, #1665, #1578 ) ) ;
#1620 = ORIENTED_EDGE ( 'NONE', *, *, #1536, .F. ) ;
#1621 = VERTEX_POINT ( 'NONE', #8062 ) ;
#1622 = VERTEX_POINT ( 'NONE', #8061 ) ;
#1623 = ORIENTED_EDGE ( 'NONE', *, *, #1624, .F. ) ;
#1624 = EDGE_CURVE ( 'NONE', #1625, #1621, #8060, .T. ) ;
#1625 = VERTEX_POINT ( 'NONE', #8056 ) ;
#1626 = ORIENTED_EDGE ( 'NONE', *, *, #1627, .F. ) ;
#1627 = EDGE_CURVE ( 'NONE', #1628, #1625, #8055, .T. ) ;
#1628 = VERTEX_POINT ( 'NONE', #8119 ) ;
#1629 = ORIENTED_EDGE ( 'NONE', *, *, #1630, .F. ) ;
#1630 = EDGE_CURVE ( 'NONE', #1631, #1628, #8118, .T. ) ;
#1631 = VERTEX_POINT ( 'NONE', #8114 ) ;
#1632 = ORIENTED_EDGE ( 'NONE', *, *, #1633, .F. ) ;
#1633 = EDGE_CURVE ( 'NONE', #1691, #1631, #8113, .T. ) ;
#1634 = EDGE_CURVE ( 'NONE', #1210, #1657, #8108, .T. ) ;
#1635 = ORIENTED_EDGE ( 'NONE', *, *, #1208, .F. ) ;
#1636 = ORIENTED_EDGE ( 'NONE', *, *, #1637, .T. ) ;
#1637 = EDGE_CURVE ( 'NONE', #1209, #1035, #8109, .T. ) ;
#1638 = ORIENTED_EDGE ( 'NONE', *, *, #1044, .T. ) ;
#1639 = ORIENTED_EDGE ( 'NONE', *, *, #1640, .T. ) ;
#1640 = EDGE_CURVE ( 'NONE', #1042, #1583, #8100, .T. ) ;
#1641 = ADVANCED_FACE ( 'NONE', ( #8095, #8094 ), #8092, .F. ) ;
#1642 = EDGE_LOOP ( 'NONE', ( #1643, #1645 ) ) ;
#1643 = ORIENTED_EDGE ( 'NONE', *, *, #1644, .T. ) ;
#1644 = EDGE_CURVE ( 'NONE', #1171, #1170, #8153, .T. ) ;
#1645 = ORIENTED_EDGE ( 'NONE', *, *, #1169, .T. ) ;
#1646 = EDGE_LOOP ( 'NONE', ( #1704, #1623, #1626, #1629, #1632, #1692 ) ) ;
#1647 = ORIENTED_EDGE ( 'NONE', *, *, #4092, .T. ) ;
#1648 = ORIENTED_EDGE ( 'NONE', *, *, #1529, .T. ) ;
#1649 = ORIENTED_EDGE ( 'NONE', *, *, #1650, .T. ) ;
#1650 = EDGE_CURVE ( 'NONE', #1471, #1651, #8149, .T. ) ;
#1651 = VERTEX_POINT ( 'NONE', #8145 ) ;
#1652 = ORIENTED_EDGE ( 'NONE', *, *, #1653, .F. ) ;
#1653 = EDGE_CURVE ( 'NONE', #1107, #1651, #8144, .T. ) ;
#1654 = ORIENTED_EDGE ( 'NONE', *, *, #1105, .F. ) ;
#1655 = ORIENTED_EDGE ( 'NONE', *, *, #1656, .T. ) ;
#1656 = EDGE_CURVE ( 'NONE', #1106, #1657, #8139, .T. ) ;
#1657 = VERTEX_POINT ( 'NONE', #8135 ) ;
#1658 = ORIENTED_EDGE ( 'NONE', *, *, #1634, .F. ) ;
#1659 = ORIENTED_EDGE ( 'NONE', *, *, #1660, .F. ) ;
#1660 = EDGE_CURVE ( 'NONE', #1661, #1598, #8134, .T. ) ;
#1661 = VERTEX_POINT ( 'NONE', #8129 ) ;
#1662 = ORIENTED_EDGE ( 'NONE', *, *, #1663, .T. ) ;
#1663 = EDGE_CURVE ( 'NONE', #1661, #1664, #8126, .T. ) ;
#1664 = VERTEX_POINT ( 'NONE', #8181 ) ;
#1665 = ORIENTED_EDGE ( 'NONE', *, *, #1576, .F. ) ;
#1666 = EDGE_CURVE ( 'NONE', #1146, #1625, #8180, .T. ) ;
#1667 = ORIENTED_EDGE ( 'NONE', *, *, #1624, .T. ) ;
#1668 = ORIENTED_EDGE ( 'NONE', *, *, #1669, .F. ) ;
#1669 = EDGE_CURVE ( 'NONE', #1149, #1621, #8176, .T. ) ;
#1670 = ADVANCED_FACE ( 'NONE', ( #8172 ), #8171, .F. ) ;
#1671 = EDGE_LOOP ( 'NONE', ( #1672, #1673, #1676, #1732, #1733 ) ) ;
#1672 = ORIENTED_EDGE ( 'NONE', *, *, #1145, .T. ) ;
#1673 = ORIENTED_EDGE ( 'NONE', *, *, #1674, .T. ) ;
#1674 = EDGE_CURVE ( 'NONE', #1143, #1675, #8166, .T. ) ;
#1675 = VERTEX_POINT ( 'NONE', #8165 ) ;
#1676 = ORIENTED_EDGE ( 'NONE', *, *, #1677, .T. ) ;
#1677 = EDGE_CURVE ( 'NONE', #1675, #1628, #8158, .T. ) ;
#1678 = ADVANCED_FACE ( 'NONE', ( #8154 ), #8213, .F. ) ;
#1679 = ORIENTED_EDGE ( 'NONE', *, *, #1699, .F. ) ;
#1680 = ORIENTED_EDGE ( 'NONE', *, *, #1681, .T. ) ;
#1681 = EDGE_CURVE ( 'NONE', #1651, #1682, #8214, .T. ) ;
#1682 = VERTEX_POINT ( 'NONE', #8205 ) ;
#1683 = ORIENTED_EDGE ( 'NONE', *, *, #1684, .T. ) ;
#1684 = EDGE_CURVE ( 'NONE', #1682, #1685, #8204, .T. ) ;
#1685 = VERTEX_POINT ( 'NONE', #8199 ) ;
#1686 = ORIENTED_EDGE ( 'NONE', *, *, #1687, .T. ) ;
#1687 = EDGE_CURVE ( 'NONE', #1685, #1106, #8198, .T. ) ;
#1688 = ORIENTED_EDGE ( 'NONE', *, *, #1115, .F. ) ;
#1689 = ADVANCED_FACE ( 'NONE', ( #8194 ), #8193, .F. ) ;
#1690 = EDGE_LOOP ( 'NONE', ( #1744, #1745, #1667, #1668 ) ) ;
#1691 = VERTEX_POINT ( 'NONE', #8188 ) ;
#1692 = ORIENTED_EDGE ( 'NONE', *, *, #1693, .F. ) ;
#1693 = EDGE_CURVE ( 'NONE', #1622, #1691, #8187, .T. ) ;
#1694 = ADVANCED_FACE ( 'NONE', ( #8183 ), #8243, .T. ) ;
#1695 = EDGE_LOOP ( 'NONE', ( #1696, #1697, #1698, #1700, #1701 ) ) ;
#1696 = ORIENTED_EDGE ( 'NONE', *, *, #1109, .F. ) ;
#1697 = ORIENTED_EDGE ( 'NONE', *, *, #1653, .T. ) ;
#1698 = ORIENTED_EDGE ( 'NONE', *, *, #1699, .T. ) ;
#1699 = EDGE_CURVE ( 'NONE', #1651, #1113, #8239, .T. ) ;
#1700 = ORIENTED_EDGE ( 'NONE', *, *, #1112, .T. ) ;
#1701 = ORIENTED_EDGE ( 'NONE', *, *, #1702, .T. ) ;
#1702 = EDGE_CURVE ( 'NONE', #1211, #1214, #8235, .T. ) ;
#1703 = EDGE_LOOP ( 'NONE', ( #1679, #1680, #1683, #1686, #1688 ) ) ;
#1704 = ORIENTED_EDGE ( 'NONE', *, *, #1705, .F. ) ;
#1705 = EDGE_CURVE ( 'NONE', #1621, #1622, #8230, .T. ) ;
#1706 = ORIENTED_EDGE ( 'NONE', *, *, #1134, .T. ) ;
#1707 = ORIENTED_EDGE ( 'NONE', *, *, #1702, .F. ) ;
#1708 = ORIENTED_EDGE ( 'NONE', *, *, #1709, .T. ) ;
#1709 = EDGE_CURVE ( 'NONE', #1152, #1622, #8226, .T. ) ;
#1710 = ORIENTED_EDGE ( 'NONE', *, *, #1693, .T. ) ;
#1711 = ORIENTED_EDGE ( 'NONE', *, *, #1724, .F. ) ;
#1712 = ADVANCED_FACE ( 'NONE', ( #8222 ), #8221, .F. ) ;
#1713 = EDGE_LOOP ( 'NONE', ( #1714, #1715, #1716, #1717 ) ) ;
#1714 = ORIENTED_EDGE ( 'NONE', *, *, #1151, .T. ) ;
#1715 = ORIENTED_EDGE ( 'NONE', *, *, #1669, .T. ) ;
#1716 = ORIENTED_EDGE ( 'NONE', *, *, #1705, .T. ) ;
#1717 = ORIENTED_EDGE ( 'NONE', *, *, #1709, .F. ) ;
#1718 = ADVANCED_FACE ( 'NONE', ( #8216 ), #8215, .F. ) ;
#1719 = EDGE_LOOP ( 'NONE', ( #1777, #1778, #1779, #1780, #1781, #1782 ) ) ;
#1720 = ORIENTED_EDGE ( 'NONE', *, *, #1721, .T. ) ;
#1721 = EDGE_CURVE ( 'NONE', #1738, #1722, #8267, .T. ) ;
#1722 = VERTEX_POINT ( 'NONE', #8266 ) ;
#1723 = ORIENTED_EDGE ( 'NONE', *, *, #1724, .T. ) ;
#1724 = EDGE_CURVE ( 'NONE', #1722, #1691, #8265, .T. ) ;
#1725 = ORIENTED_EDGE ( 'NONE', *, *, #1633, .T. ) ;
#1726 = ORIENTED_EDGE ( 'NONE', *, *, #1740, .F. ) ;
#1727 = ADVANCED_FACE ( 'NONE', ( #8253 ), #8252, .F. ) ;
#1728 = EDGE_LOOP ( 'NONE', ( #1729, #1731, #1708, #1710, #1711 ) ) ;
#1729 = ORIENTED_EDGE ( 'NONE', *, *, #1730, .T. ) ;
#1730 = EDGE_CURVE ( 'NONE', #1722, #1140, #8246, .T. ) ;
#1731 = ORIENTED_EDGE ( 'NONE', *, *, #1154, .T. ) ;
#1732 = ORIENTED_EDGE ( 'NONE', *, *, #1627, .T. ) ;
#1733 = ORIENTED_EDGE ( 'NONE', *, *, #1666, .F. ) ;
#1734 = ADVANCED_FACE ( 'NONE', ( #8247 ), #8299, .F. ) ;
#1735 = EDGE_LOOP ( 'NONE', ( #1736, #1739, #1741, #1742 ) ) ;
#1736 = ORIENTED_EDGE ( 'NONE', *, *, #1737, .T. ) ;
#1737 = EDGE_CURVE ( 'NONE', #1675, #1738, #8294, .T. ) ;
#1738 = VERTEX_POINT ( 'NONE', #8293 ) ;
#1739 = ORIENTED_EDGE ( 'NONE', *, *, #1740, .T. ) ;
#1740 = EDGE_CURVE ( 'NONE', #1738, #1631, #8284, .T. ) ;
#1741 = ORIENTED_EDGE ( 'NONE', *, *, #1630, .T. ) ;
#1742 = ORIENTED_EDGE ( 'NONE', *, *, #1677, .F. ) ;
#1743 = ADVANCED_FACE ( 'NONE', ( #8280 ), #8279, .F. ) ;
#1744 = ORIENTED_EDGE ( 'NONE', *, *, #1148, .T. ) ;
#1745 = ORIENTED_EDGE ( 'NONE', *, *, #1666, .T. ) ;
#1746 = ORIENTED_EDGE ( 'NONE', *, *, #1747, .T. ) ;
#1747 = EDGE_CURVE ( 'NONE', #1826, #1748, #8274, .T. ) ;
#1748 = VERTEX_POINT ( 'NONE', #8336 ) ;
#1749 = ORIENTED_EDGE ( 'NONE', *, *, #1750, .F. ) ;
#1750 = EDGE_CURVE ( 'NONE', #1751, #1776, #8335, .T. ) ;
#1751 = VERTEX_POINT ( 'NONE', #8331 ) ;
#1752 = ORIENTED_EDGE ( 'NONE', *, *, #1753, .F. ) ;
#1753 = EDGE_CURVE ( 'NONE', #1754, #1751, #8330, .T. ) ;
#1754 = VERTEX_POINT ( 'NONE', #8326 ) ;
#1755 = ORIENTED_EDGE ( 'NONE', *, *, #1756, .F. ) ;
#1756 = EDGE_CURVE ( 'NONE', #1770, #1754, #8325, .T. ) ;
#1757 = ADVANCED_FACE ( 'NONE', ( #8321 ), #8320, .T. ) ;
#1758 = EDGE_LOOP ( 'NONE', ( #1759, #1760, #1816, #1818, #1819 ) ) ;
#1759 = ORIENTED_EDGE ( 'NONE', *, *, #1159, .F. ) ;
#1760 = ORIENTED_EDGE ( 'NONE', *, *, #1634, .T. ) ;
#1761 = ADVANCED_FACE ( 'NONE', ( #8314, #8313 ), #8319, .F. ) ;
#1762 = EDGE_LOOP ( 'NONE', ( #1763, #1765 ) ) ;
#1763 = ORIENTED_EDGE ( 'NONE', *, *, #1764, .T. ) ;
#1764 = EDGE_CURVE ( 'NONE', #967, #966, #8307, .T. ) ;
#1765 = ORIENTED_EDGE ( 'NONE', *, *, #965, .T. ) ;
#1766 = EDGE_LOOP ( 'NONE', ( #1767, #1771, #1774, #1749, #1752, #1755 ) ) ;
#1767 = ORIENTED_EDGE ( 'NONE', *, *, #1768, .F. ) ;
#1768 = EDGE_CURVE ( 'NONE', #1769, #1770, #8308, .T. ) ;
#1769 = VERTEX_POINT ( 'NONE', #8363 ) ;
#1770 = VERTEX_POINT ( 'NONE', #8362 ) ;
#1771 = ORIENTED_EDGE ( 'NONE', *, *, #1772, .F. ) ;
#1772 = EDGE_CURVE ( 'NONE', #1773, #1769, #8361, .T. ) ;
#1773 = VERTEX_POINT ( 'NONE', #8357 ) ;
#1774 = ORIENTED_EDGE ( 'NONE', *, *, #1775, .F. ) ;
#1775 = EDGE_CURVE ( 'NONE', #1776, #1773, #8356, .T. ) ;
#1776 = VERTEX_POINT ( 'NONE', #8352 ) ;
#1777 = ORIENTED_EDGE ( 'NONE', *, *, #1142, .F. ) ;
#1778 = ORIENTED_EDGE ( 'NONE', *, *, #1138, .T. ) ;
#1779 = ORIENTED_EDGE ( 'NONE', *, *, #1730, .F. ) ;
#1780 = ORIENTED_EDGE ( 'NONE', *, *, #1721, .F. ) ;
#1781 = ORIENTED_EDGE ( 'NONE', *, *, #1737, .F. ) ;
#1782 = ORIENTED_EDGE ( 'NONE', *, *, #1674, .F. ) ;
#1783 = ADVANCED_FACE ( 'NONE', ( #8351 ), #8349, .T. ) ;
#1784 = EDGE_LOOP ( 'NONE', ( #1785, #1786, #1706, #1707 ) ) ;
#1785 = ORIENTED_EDGE ( 'NONE', *, *, #1173, .F. ) ;
#1786 = ORIENTED_EDGE ( 'NONE', *, *, #1644, .F. ) ;
#1787 = VERTEX_POINT ( 'NONE', #8345 ) ;
#1788 = ORIENTED_EDGE ( 'NONE', *, *, #1789, .T. ) ;
#1789 = EDGE_CURVE ( 'NONE', #1787, #1754, #8344, .T. ) ;
#1790 = ORIENTED_EDGE ( 'NONE', *, *, #1753, .T. ) ;
#1791 = EDGE_LOOP ( 'NONE', ( #1792, #1793, #1796, #1798, #1799 ) ) ;
#1792 = ORIENTED_EDGE ( 'NONE', *, *, #1101, .T. ) ;
#1793 = ORIENTED_EDGE ( 'NONE', *, *, #1794, .T. ) ;
#1794 = EDGE_CURVE ( 'NONE', #1099, #1795, #8340, .T. ) ;
#1795 = VERTEX_POINT ( 'NONE', #8339 ) ;
#1796 = ORIENTED_EDGE ( 'NONE', *, *, #1797, .T. ) ;
#1797 = EDGE_CURVE ( 'NONE', #1795, #1776, #8392, .T. ) ;
#1798 = ORIENTED_EDGE ( 'NONE', *, *, #1775, .T. ) ;
#1799 = ORIENTED_EDGE ( 'NONE', *, *, #1811, .F. ) ;
#1800 = ADVANCED_FACE ( 'NONE', ( #8388 ), #8387, .F. ) ;
#1801 = EDGE_LOOP ( 'NONE', ( #1802, #1858, #1860, #1861 ) ) ;
#1802 = ORIENTED_EDGE ( 'NONE', *, *, #1803, .T. ) ;
#1803 = EDGE_CURVE ( 'NONE', #1795, #2915, #8381, .T. ) ;
#1804 = ORIENTED_EDGE ( 'NONE', *, *, #1805, .T. ) ;
#1805 = EDGE_CURVE ( 'NONE', #1748, #1209, #8380, .T. ) ;
#1806 = ORIENTED_EDGE ( 'NONE', *, *, #1165, .F. ) ;
#1807 = ADVANCED_FACE ( 'NONE', ( #8430 ), #8429, .F. ) ;
#1808 = EDGE_LOOP ( 'NONE', ( #1809, #1810, #1812, #1813 ) ) ;
#1809 = ORIENTED_EDGE ( 'NONE', *, *, #1199, .T. ) ;
#1810 = ORIENTED_EDGE ( 'NONE', *, *, #1811, .T. ) ;
#1811 = EDGE_CURVE ( 'NONE', #1102, #1773, #8424, .T. ) ;
#1812 = ORIENTED_EDGE ( 'NONE', *, *, #1772, .T. ) ;
#1813 = ORIENTED_EDGE ( 'NONE', *, *, #1814, .F. ) ;
#1814 = EDGE_CURVE ( 'NONE', #1103, #1769, #8420, .T. ) ;
#1815 = ADVANCED_FACE ( 'NONE', ( #8416 ), #8415, .F. ) ;
#1816 = ORIENTED_EDGE ( 'NONE', *, *, #1817, .T. ) ;
#1817 = EDGE_CURVE ( 'NONE', #1657, #1163, #8410, .T. ) ;
#1818 = ORIENTED_EDGE ( 'NONE', *, *, #1162, .T. ) ;
#1819 = ORIENTED_EDGE ( 'NONE', *, *, #1820, .T. ) ;
#1820 = EDGE_CURVE ( 'NONE', #589, #1119, #8405, .T. ) ;
#1821 = ADVANCED_FACE ( 'NONE', ( #8400 ), #8399, .F. ) ;
#1822 = EDGE_LOOP ( 'NONE', ( #1823, #1824, #1746, #1804, #1806 ) ) ;
#1823 = ORIENTED_EDGE ( 'NONE', *, *, #1817, .F. ) ;
#1824 = ORIENTED_EDGE ( 'NONE', *, *, #1825, .T. ) ;
#1825 = EDGE_CURVE ( 'NONE', #1657, #1826, #8454, .T. ) ;
#1826 = VERTEX_POINT ( 'NONE', #8450 ) ;
#1827 = EDGE_LOOP ( 'NONE', ( #1828, #1830 ) ) ;
#1828 = ORIENTED_EDGE ( 'NONE', *, *, #1829, .T. ) ;
#1829 = EDGE_CURVE ( 'NONE', #994, #993, #8449, .T. ) ;
#1830 = ORIENTED_EDGE ( 'NONE', *, *, #992, .T. ) ;
#1831 = EDGE_LOOP ( 'NONE', ( #1832, #1887, #1890, #1893, #1896, #1872 ) ) ;
#1832 = ORIENTED_EDGE ( 'NONE', *, *, #1885, .F. ) ;
#1833 = VERTEX_POINT ( 'NONE', #8444 ) ;
#1834 = ORIENTED_EDGE ( 'NONE', *, *, #1814, .T. ) ;
#1835 = ORIENTED_EDGE ( 'NONE', *, *, #1768, .T. ) ;
#1836 = ORIENTED_EDGE ( 'NONE', *, *, #1852, .F. ) ;
#1837 = ADVANCED_FACE ( 'NONE', ( #8443 ), #8442, .F. ) ;
#1838 = EDGE_LOOP ( 'NONE', ( #1839, #1840, #1841, #1842, #1843, #1844 ) ) ;
#1839 = ORIENTED_EDGE ( 'NONE', *, *, #1098, .F. ) ;
#1840 = ORIENTED_EDGE ( 'NONE', *, *, #1094, .T. ) ;
#1841 = ORIENTED_EDGE ( 'NONE', *, *, #1849, .F. ) ;
#1842 = ORIENTED_EDGE ( 'NONE', *, *, #1865, .F. ) ;
#1843 = ORIENTED_EDGE ( 'NONE', *, *, #1803, .F. ) ;
#1844 = ORIENTED_EDGE ( 'NONE', *, *, #1794, .F. ) ;
#1845 = ORIENTED_EDGE ( 'NONE', *, *, #1859, .F. ) ;
#1846 = ADVANCED_FACE ( 'NONE', ( #8436 ), #8441, .F. ) ;
#1847 = EDGE_LOOP ( 'NONE', ( #1848, #1850, #1851, #1853, #1854 ) ) ;
#1848 = ORIENTED_EDGE ( 'NONE', *, *, #1849, .T. ) ;
#1849 = EDGE_CURVE ( 'NONE', #1787, #1096, #8431, .T. ) ;
#1850 = ORIENTED_EDGE ( 'NONE', *, *, #1204, .T. ) ;
#1851 = ORIENTED_EDGE ( 'NONE', *, *, #1852, .T. ) ;
#1852 = EDGE_CURVE ( 'NONE', #1202, #1770, #8488, .T. ) ;
#1853 = ORIENTED_EDGE ( 'NONE', *, *, #1756, .T. ) ;
#1854 = ORIENTED_EDGE ( 'NONE', *, *, #1789, .F. ) ;
#1855 = ADVANCED_FACE ( 'NONE', ( #8478 ), #8477, .F. ) ;
#1856 = EDGE_LOOP ( 'NONE', ( #1857, #1834, #1835, #1836 ) ) ;
#1857 = ORIENTED_EDGE ( 'NONE', *, *, #1201, .T. ) ;
#1858 = ORIENTED_EDGE ( 'NONE', *, *, #1859, .T. ) ;
#1859 = EDGE_CURVE ( 'NONE', #2915, #1751, #8472, .T. ) ;
#1860 = ORIENTED_EDGE ( 'NONE', *, *, #1750, .T. ) ;
#1861 = ORIENTED_EDGE ( 'NONE', *, *, #1797, .F. ) ;
#1862 = ADVANCED_FACE ( 'NONE', ( #8468 ), #8467, .F. ) ;
#1863 = EDGE_LOOP ( 'NONE', ( #1864, #1788, #1790, #1845 ) ) ;
#1864 = ORIENTED_EDGE ( 'NONE', *, *, #1865, .T. ) ;
#1865 = EDGE_CURVE ( 'NONE', #2915, #1787, #8462, .T. ) ;
#1866 = ORIENTED_EDGE ( 'NONE', *, *, #1034, .F. ) ;
#1867 = ORIENTED_EDGE ( 'NONE', *, *, #1868, .T. ) ;
#1868 = EDGE_CURVE ( 'NONE', #1035, #1941, #8524, .T. ) ;
#1869 = ADVANCED_FACE ( 'NONE', ( #8515 ), #8514, .F. ) ;
#1870 = EDGE_LOOP ( 'NONE', ( #1871, #1926, #1928, #1929 ) ) ;
#1871 = ORIENTED_EDGE ( 'NONE', *, *, #1025, .T. ) ;
#1872 = ORIENTED_EDGE ( 'NONE', *, *, #1873, .F. ) ;
#1873 = EDGE_CURVE ( 'NONE', #1886, #1898, #8509, .T. ) ;
#1874 = ADVANCED_FACE ( 'NONE', ( #8505 ), #8503, .T. ) ;
#1875 = EDGE_LOOP ( 'NONE', ( #1876, #1877, #1879, #1880, #1881 ) ) ;
#1876 = ORIENTED_EDGE ( 'NONE', *, *, #1038, .F. ) ;
#1877 = ORIENTED_EDGE ( 'NONE', *, *, #1878, .T. ) ;
#1878 = EDGE_CURVE ( 'NONE', #1036, #1583, #8498, .T. ) ;
#1879 = ORIENTED_EDGE ( 'NONE', *, *, #1640, .F. ) ;
#1880 = ORIENTED_EDGE ( 'NONE', *, *, #1041, .T. ) ;
#1881 = ORIENTED_EDGE ( 'NONE', *, *, #1882, .T. ) ;
#1882 = EDGE_CURVE ( 'NONE', #997, #1000, #8493, .T. ) ;
#1883 = ADVANCED_FACE ( 'NONE', ( #8494 ), #8555, .F. ) ;
#1884 = EDGE_LOOP ( 'NONE', ( #1939, #1943, #1945, #1866, #1867 ) ) ;
#1885 = EDGE_CURVE ( 'NONE', #1833, #1886, #8550, .T. ) ;
#1886 = VERTEX_POINT ( 'NONE', #8546 ) ;
#1887 = ORIENTED_EDGE ( 'NONE', *, *, #1888, .F. ) ;
#1888 = EDGE_CURVE ( 'NONE', #1889, #1833, #8545, .T. ) ;
#1889 = VERTEX_POINT ( 'NONE', #8541 ) ;
#1890 = ORIENTED_EDGE ( 'NONE', *, *, #1891, .F. ) ;
#1891 = EDGE_CURVE ( 'NONE', #1892, #1889, #8540, .T. ) ;
#1892 = VERTEX_POINT ( 'NONE', #8536 ) ;
#1893 = ORIENTED_EDGE ( 'NONE', *, *, #1894, .F. ) ;
#1894 = EDGE_CURVE ( 'NONE', #1895, #1892, #8535, .T. ) ;
#1895 = VERTEX_POINT ( 'NONE', #8531 ) ;
#1896 = ORIENTED_EDGE ( 'NONE', *, *, #1897, .F. ) ;
#1897 = EDGE_CURVE ( 'NONE', #1898, #1895, #8530, .T. ) ;
#1898 = VERTEX_POINT ( 'NONE', #8526 ) ;
#1899 = ADVANCED_FACE ( 'NONE', ( #8525 ), #8583, .T. ) ;
#1900 = EDGE_LOOP ( 'NONE', ( #1901, #1902, #1903, #1904 ) ) ;
#1901 = ORIENTED_EDGE ( 'NONE', *, *, #969, .F. ) ;
#1902 = ORIENTED_EDGE ( 'NONE', *, *, #1764, .F. ) ;
#1903 = ORIENTED_EDGE ( 'NONE', *, *, #1090, .T. ) ;
#1904 = ORIENTED_EDGE ( 'NONE', *, *, #1820, .F. ) ;
#1905 = ADVANCED_FACE ( 'NONE', ( #8584, #8579 ), #8578, .F. ) ;
#1906 = ADVANCED_FACE ( 'NONE', ( #8573 ), #8572, .F. ) ;
#1907 = EDGE_LOOP ( 'NONE', ( #1908, #1910, #1911, #1970, #1971 ) ) ;
#1908 = ORIENTED_EDGE ( 'NONE', *, *, #1909, .T. ) ;
#1909 = EDGE_CURVE ( 'NONE', #1983, #1016, #8567, .T. ) ;
#1910 = ORIENTED_EDGE ( 'NONE', *, *, #1030, .T. ) ;
#1911 = ORIENTED_EDGE ( 'NONE', *, *, #1912, .T. ) ;
#1912 = EDGE_CURVE ( 'NONE', #1028, #1886, #8560, .T. ) ;
#1913 = ORIENTED_EDGE ( 'NONE', *, *, #1891, .T. ) ;
#1914 = ORIENTED_EDGE ( 'NONE', *, *, #1927, .F. ) ;
#1915 = ADVANCED_FACE ( 'NONE', ( #8556 ), #8615, .F. ) ;
#1916 = EDGE_LOOP ( 'NONE', ( #1917, #1920, #1922, #1923 ) ) ;
#1917 = ORIENTED_EDGE ( 'NONE', *, *, #1918, .T. ) ;
#1918 = EDGE_CURVE ( 'NONE', #1936, #1919, #8610, .T. ) ;
#1919 = VERTEX_POINT ( 'NONE', #8609 ) ;
#1920 = ORIENTED_EDGE ( 'NONE', *, *, #1921, .T. ) ;
#1921 = EDGE_CURVE ( 'NONE', #1919, #1895, #8608, .T. ) ;
#1922 = ORIENTED_EDGE ( 'NONE', *, *, #1894, .T. ) ;
#1923 = ORIENTED_EDGE ( 'NONE', *, *, #1938, .F. ) ;
#1924 = ADVANCED_FACE ( 'NONE', ( #8596 ), #8595, .F. ) ;
#1925 = EDGE_LOOP ( 'NONE', ( #1981, #1984, #1986, #1987 ) ) ;
#1926 = ORIENTED_EDGE ( 'NONE', *, *, #1927, .T. ) ;
#1927 = EDGE_CURVE ( 'NONE', #1022, #1889, #8590, .T. ) ;
#1928 = ORIENTED_EDGE ( 'NONE', *, *, #1888, .T. ) ;
#1929 = ORIENTED_EDGE ( 'NONE', *, *, #1930, .F. ) ;
#1930 = EDGE_CURVE ( 'NONE', #1023, #1833, #8586, .T. ) ;
#1931 = ADVANCED_FACE ( 'NONE', ( #8641 ), #8640, .F. ) ;
#1932 = EDGE_LOOP ( 'NONE', ( #1933, #1934, #1937, #1913, #1914 ) ) ;
#1933 = ORIENTED_EDGE ( 'NONE', *, *, #1021, .T. ) ;
#1934 = ORIENTED_EDGE ( 'NONE', *, *, #1935, .T. ) ;
#1935 = EDGE_CURVE ( 'NONE', #1019, #1936, #8635, .T. ) ;
#1936 = VERTEX_POINT ( 'NONE', #8634 ) ;
#1937 = ORIENTED_EDGE ( 'NONE', *, *, #1938, .T. ) ;
#1938 = EDGE_CURVE ( 'NONE', #1936, #1892, #8627, .T. ) ;
#1939 = ORIENTED_EDGE ( 'NONE', *, *, #1940, .T. ) ;
#1940 = EDGE_CURVE ( 'NONE', #1941, #1942, #8623, .T. ) ;
#1941 = VERTEX_POINT ( 'NONE', #8618 ) ;
#1942 = VERTEX_POINT ( 'NONE', #8617 ) ;
#1943 = ORIENTED_EDGE ( 'NONE', *, *, #1944, .T. ) ;
#1944 = EDGE_CURVE ( 'NONE', #1942, #1583, #8616, .T. ) ;
#1945 = ORIENTED_EDGE ( 'NONE', *, *, #1878, .F. ) ;
#1946 = VERTEX_POINT ( 'NONE', #8675 ) ;
#1947 = VERTEX_POINT ( 'NONE', #8674 ) ;
#1948 = ORIENTED_EDGE ( 'NONE', *, *, #1949, .T. ) ;
#1949 = EDGE_CURVE ( 'NONE', #1947, #1950, #8673, .T. ) ;
#1950 = VERTEX_POINT ( 'NONE', #8669 ) ;
#1951 = ORIENTED_EDGE ( 'NONE', *, *, #1952, .T. ) ;
#1952 = EDGE_CURVE ( 'NONE', #1950, #1953, #8668, .T. ) ;
#1953 = VERTEX_POINT ( 'NONE', #8664 ) ;
#1954 = ORIENTED_EDGE ( 'NONE', *, *, #1955, .T. ) ;
#1955 = EDGE_CURVE ( 'NONE', #1953, #1956, #8663, .T. ) ;
#1956 = VERTEX_POINT ( 'NONE', #8659 ) ;
#1957 = ORIENTED_EDGE ( 'NONE', *, *, #2013, .T. ) ;
#1958 = ORIENTED_EDGE ( 'NONE', *, *, #1014, .T. ) ;
#1959 = ORIENTED_EDGE ( 'NONE', *, *, #1909, .F. ) ;
#1960 = ORIENTED_EDGE ( 'NONE', *, *, #1982, .F. ) ;
#1961 = ORIENTED_EDGE ( 'NONE', *, *, #1918, .F. ) ;
#1962 = ORIENTED_EDGE ( 'NONE', *, *, #1935, .F. ) ;
#1963 = ADVANCED_FACE ( 'NONE', ( #8658 ), #8655, .T. ) ;
#1964 = EDGE_LOOP ( 'NONE', ( #1965, #1966, #1967, #1968 ) ) ;
#1965 = ORIENTED_EDGE ( 'NONE', *, *, #996, .F. ) ;
#1966 = ORIENTED_EDGE ( 'NONE', *, *, #1829, .F. ) ;
#1967 = ORIENTED_EDGE ( 'NONE', *, *, #1010, .T. ) ;
#1968 = ORIENTED_EDGE ( 'NONE', *, *, #1882, .F. ) ;
#1969 = EDGE_LOOP ( 'NONE', ( #2029, #1948, #1951, #1954, #1957, #2015 ) ) ;
#1970 = ORIENTED_EDGE ( 'NONE', *, *, #1873, .T. ) ;
#1971 = ORIENTED_EDGE ( 'NONE', *, *, #1985, .F. ) ;
#1972 = ADVANCED_FACE ( 'NONE', ( #8656 ), #8651, .F. ) ;
#1973 = EDGE_LOOP ( 'NONE', ( #1974, #1975, #1976, #1977 ) ) ;
#1974 = ORIENTED_EDGE ( 'NONE', *, *, #1027, .T. ) ;
#1975 = ORIENTED_EDGE ( 'NONE', *, *, #1930, .T. ) ;
#1976 = ORIENTED_EDGE ( 'NONE', *, *, #1885, .T. ) ;
#1977 = ORIENTED_EDGE ( 'NONE', *, *, #1912, .F. ) ;
#1978 = ADVANCED_FACE ( 'NONE', ( #8646 ), #8645, .F. ) ;
#1979 = EDGE_LOOP ( 'NONE', ( #1980, #1958, #1959, #1960, #1961, #1962 ) ) ;
#1980 = ORIENTED_EDGE ( 'NONE', *, *, #1018, .F. ) ;
#1981 = ORIENTED_EDGE ( 'NONE', *, *, #1982, .T. ) ;
#1982 = EDGE_CURVE ( 'NONE', #1919, #1983, #8699, .T. ) ;
#1983 = VERTEX_POINT ( 'NONE', #8698 ) ;
#1984 = ORIENTED_EDGE ( 'NONE', *, *, #1985, .T. ) ;
#1985 = EDGE_CURVE ( 'NONE', #1983, #1898, #8697, .T. ) ;
#1986 = ORIENTED_EDGE ( 'NONE', *, *, #1897, .T. ) ;
#1987 = ORIENTED_EDGE ( 'NONE', *, *, #1921, .F. ) ;
#1988 = EDGE_CURVE ( 'NONE', #2073, #1989, #8685, .T. ) ;
#1989 = VERTEX_POINT ( 'NONE', #8681 ) ;
#1990 = ORIENTED_EDGE ( 'NONE', *, *, #1991, .T. ) ;
#1991 = EDGE_CURVE ( 'NONE', #1989, #1992, #8680, .T. ) ;
#1992 = VERTEX_POINT ( 'NONE', #8676 ) ;
#1993 = ORIENTED_EDGE ( 'NONE', *, *, #1994, .T. ) ;
#1994 = EDGE_CURVE ( 'NONE', #1992, #1995, #8736, .T. ) ;
#1995 = VERTEX_POINT ( 'NONE', #8731 ) ;
#1996 = ORIENTED_EDGE ( 'NONE', *, *, #1997, .T. ) ;
#1997 = EDGE_CURVE ( 'NONE', #1995, #2011, #8730, .T. ) ;
#1998 = VERTEX_POINT ( 'NONE', #8725 ) ;
#1999 = ORIENTED_EDGE ( 'NONE', *, *, #2000, .T. ) ;
#2000 = EDGE_CURVE ( 'NONE', #1998, #2001, #8724, .T. ) ;
#2001 = VERTEX_POINT ( 'NONE', #8720 ) ;
#2002 = ORIENTED_EDGE ( 'NONE', *, *, #2003, .T. ) ;
#2003 = EDGE_CURVE ( 'NONE', #2001, #2004, #8719, .T. ) ;
#2004 = VERTEX_POINT ( 'NONE', #8715 ) ;
#2005 = ORIENTED_EDGE ( 'NONE', *, *, #2006, .T. ) ;
#2006 = EDGE_CURVE ( 'NONE', #2004, #2021, #8714, .T. ) ;
#2007 = ADVANCED_FACE ( 'NONE', ( #8710 ), #8709, .T. ) ;
#2008 = EDGE_LOOP ( 'NONE', ( #2009, #2071, #2074, #1990, #1993, #1996 ) ) ;
#2009 = ORIENTED_EDGE ( 'NONE', *, *, #2010, .T. ) ;
#2010 = EDGE_CURVE ( 'NONE', #2011, #2012, #8704, .T. ) ;
#2011 = VERTEX_POINT ( 'NONE', #8766 ) ;
#2012 = VERTEX_POINT ( 'NONE', #8765 ) ;
#2013 = EDGE_CURVE ( 'NONE', #1956, #2014, #8764, .T. ) ;
#2014 = VERTEX_POINT ( 'NONE', #8759 ) ;
#2015 = ORIENTED_EDGE ( 'NONE', *, *, #2016, .T. ) ;
#2016 = EDGE_CURVE ( 'NONE', #2014, #1946, #8758, .T. ) ;
#2017 = ADVANCED_FACE ( 'NONE', ( #8753 ), #8752, .T. ) ;
#2018 = EDGE_LOOP ( 'NONE', ( #2019, #2023, #2026, #1999, #2002, #2005 ) ) ;
#2019 = ORIENTED_EDGE ( 'NONE', *, *, #2020, .T. ) ;
#2020 = EDGE_CURVE ( 'NONE', #2021, #2022, #8747, .T. ) ;
#2021 = VERTEX_POINT ( 'NONE', #8742 ) ;
#2022 = VERTEX_POINT ( 'NONE', #8741 ) ;
#2023 = ORIENTED_EDGE ( 'NONE', *, *, #2024, .T. ) ;
#2024 = EDGE_CURVE ( 'NONE', #2022, #2025, #8740, .T. ) ;
#2025 = VERTEX_POINT ( 'NONE', #8800 ) ;
#2026 = ORIENTED_EDGE ( 'NONE', *, *, #2027, .T. ) ;
#2027 = EDGE_CURVE ( 'NONE', #2025, #1998, #8799, .T. ) ;
#2028 = ADVANCED_FACE ( 'NONE', ( #8794 ), #8793, .T. ) ;
#2029 = ORIENTED_EDGE ( 'NONE', *, *, #2030, .T. ) ;
#2030 = EDGE_CURVE ( 'NONE', #1946, #1947, #8788, .T. ) ;
#2031 = EDGE_CURVE ( 'NONE', #2055, #2032, #8783, .T. ) ;
#2032 = VERTEX_POINT ( 'NONE', #8779 ) ;
#2033 = ORIENTED_EDGE ( 'NONE', *, *, #2034, .T. ) ;
#2034 = EDGE_CURVE ( 'NONE', #2032, #2035, #8778, .T. ) ;
#2035 = VERTEX_POINT ( 'NONE', #8773 ) ;
#2036 = ORIENTED_EDGE ( 'NONE', *, *, #2037, .T. ) ;
#2037 = EDGE_CURVE ( 'NONE', #2035, #2038, #8772, .T. ) ;
#2038 = VERTEX_POINT ( 'NONE', #8832 ) ;
#2039 = ORIENTED_EDGE ( 'NONE', *, *, #2040, .T. ) ;
#2040 = EDGE_CURVE ( 'NONE', #2038, #2073, #8831, .T. ) ;
#2041 = ORIENTED_EDGE ( 'NONE', *, *, #2042, .T. ) ;
#2042 = EDGE_CURVE ( 'NONE', #2069, #2070, #8827, .T. ) ;
#2043 = ORIENTED_EDGE ( 'NONE', *, *, #2044, .T. ) ;
#2044 = EDGE_CURVE ( 'NONE', #2070, #2045, #8823, .T. ) ;
#2045 = VERTEX_POINT ( 'NONE', #8819 ) ;
#2046 = ORIENTED_EDGE ( 'NONE', *, *, #2047, .T. ) ;
#2047 = EDGE_CURVE ( 'NONE', #2045, #1992, #8818, .T. ) ;
#2048 = ORIENTED_EDGE ( 'NONE', *, *, #1991, .F. ) ;
#2049 = ADVANCED_FACE ( 'NONE', ( #8814 ), #8813, .T. ) ;
#2050 = EDGE_LOOP ( 'NONE', ( #2051, #2115, #2117, #2033, #2036, #2039, #2100, #2101, #2104, #2107, #2109, #2110 ) ) ;
#2051 = ORIENTED_EDGE ( 'NONE', *, *, #2052, .T. ) ;
#2052 = EDGE_CURVE ( 'NONE', #2053, #2054, #8808, .T. ) ;
#2053 = VERTEX_POINT ( 'NONE', #8804 ) ;
#2054 = VERTEX_POINT ( 'NONE', #8803 ) ;
#2055 = VERTEX_POINT ( 'NONE', #8802 ) ;
#2056 = ADVANCED_FACE ( 'NONE', ( #8866 ), #8865, .T. ) ;
#2057 = EDGE_LOOP ( 'NONE', ( #2058, #2061, #2064, #2067, #2041, #2043, #2046, #2048 ) ) ;
#2058 = ORIENTED_EDGE ( 'NONE', *, *, #2059, .T. ) ;
#2059 = EDGE_CURVE ( 'NONE', #1989, #2060, #8860, .T. ) ;
#2060 = VERTEX_POINT ( 'NONE', #8856 ) ;
#2061 = ORIENTED_EDGE ( 'NONE', *, *, #2062, .T. ) ;
#2062 = EDGE_CURVE ( 'NONE', #2060, #2063, #8855, .T. ) ;
#2063 = VERTEX_POINT ( 'NONE', #8851 ) ;
#2064 = ORIENTED_EDGE ( 'NONE', *, *, #2065, .T. ) ;
#2065 = EDGE_CURVE ( 'NONE', #2063, #2066, #8850, .T. ) ;
#2066 = VERTEX_POINT ( 'NONE', #8846 ) ;
#2067 = ORIENTED_EDGE ( 'NONE', *, *, #2068, .F. ) ;
#2068 = EDGE_CURVE ( 'NONE', #2069, #2066, #8845, .T. ) ;
#2069 = VERTEX_POINT ( 'NONE', #8841 ) ;
#2070 = VERTEX_POINT ( 'NONE', #8840 ) ;
#2071 = ORIENTED_EDGE ( 'NONE', *, *, #2072, .T. ) ;
#2072 = EDGE_CURVE ( 'NONE', #2012, #2073, #8839, .T. ) ;
#2073 = VERTEX_POINT ( 'NONE', #8835 ) ;
#2074 = ORIENTED_EDGE ( 'NONE', *, *, #1988, .T. ) ;
#2075 = ORIENTED_EDGE ( 'NONE', *, *, #2006, .F. ) ;
#2076 = ADVANCED_FACE ( 'NONE', ( #8898 ), #8897, .T. ) ;
#2077 = EDGE_LOOP ( 'NONE', ( #2078, #2082, #2085, #2146, #2147, #2150, #2153, #2156 ) ) ;
#2078 = ORIENTED_EDGE ( 'NONE', *, *, #2079, .T. ) ;
#2079 = EDGE_CURVE ( 'NONE', #2080, #2081, #8896, .T. ) ;
#2080 = VERTEX_POINT ( 'NONE', #8888 ) ;
#2081 = VERTEX_POINT ( 'NONE', #8887 ) ;
#2082 = ORIENTED_EDGE ( 'NONE', *, *, #2083, .T. ) ;
#2083 = EDGE_CURVE ( 'NONE', #2081, #2084, #8886, .T. ) ;
#2084 = VERTEX_POINT ( 'NONE', #8882 ) ;
#2085 = ORIENTED_EDGE ( 'NONE', *, *, #2086, .T. ) ;
#2086 = EDGE_CURVE ( 'NONE', #2084, #2001, #8881, .T. ) ;
#2087 = EDGE_CURVE ( 'NONE', #2004, #2088, #8877, .T. ) ;
#2088 = VERTEX_POINT ( 'NONE', #8873 ) ;
#2089 = ORIENTED_EDGE ( 'NONE', *, *, #2090, .T. ) ;
#2090 = EDGE_CURVE ( 'NONE', #2088, #2091, #8872, .T. ) ;
#2091 = VERTEX_POINT ( 'NONE', #8868 ) ;
#2092 = ORIENTED_EDGE ( 'NONE', *, *, #2093, .T. ) ;
#2093 = EDGE_CURVE ( 'NONE', #2091, #1950, #7390, .T. ) ;
#2094 = ORIENTED_EDGE ( 'NONE', *, *, #1949, .F. ) ;
#2095 = ORIENTED_EDGE ( 'NONE', *, *, #2096, .T. ) ;
#2096 = EDGE_CURVE ( 'NONE', #1947, #2097, #8929, .T. ) ;
#2097 = VERTEX_POINT ( 'NONE', #8925 ) ;
#2098 = ORIENTED_EDGE ( 'NONE', *, *, #2099, .T. ) ;
#2099 = EDGE_CURVE ( 'NONE', #2097, #2159, #8924, .T. ) ;
#2100 = ORIENTED_EDGE ( 'NONE', *, *, #2072, .F. ) ;
#2101 = ORIENTED_EDGE ( 'NONE', *, *, #2102, .T. ) ;
#2102 = EDGE_CURVE ( 'NONE', #2012, #2103, #8920, .T. ) ;
#2103 = VERTEX_POINT ( 'NONE', #8916 ) ;
#2104 = ORIENTED_EDGE ( 'NONE', *, *, #2105, .T. ) ;
#2105 = EDGE_CURVE ( 'NONE', #2103, #2106, #8915, .T. ) ;
#2106 = VERTEX_POINT ( 'NONE', #8911 ) ;
#2107 = ORIENTED_EDGE ( 'NONE', *, *, #2108, .T. ) ;
#2108 = EDGE_CURVE ( 'NONE', #2106, #1956, #8910, .T. ) ;
#2109 = ORIENTED_EDGE ( 'NONE', *, *, #1955, .F. ) ;
#2110 = ORIENTED_EDGE ( 'NONE', *, *, #2111, .T. ) ;
#2111 = EDGE_CURVE ( 'NONE', #1953, #2053, #8906, .T. ) ;
#2112 = ADVANCED_FACE ( 'NONE', ( #8902 ), #8901, .T. ) ;
#2113 = EDGE_LOOP ( 'NONE', ( #2114, #2089, #2092, #2094, #2095, #2098, #2160, #2075 ) ) ;
#2114 = ORIENTED_EDGE ( 'NONE', *, *, #2087, .T. ) ;
#2115 = ORIENTED_EDGE ( 'NONE', *, *, #2116, .T. ) ;
#2116 = EDGE_CURVE ( 'NONE', #2054, #2055, #8957, .T. ) ;
#2117 = ORIENTED_EDGE ( 'NONE', *, *, #2031, .T. ) ;
#2118 = ORIENTED_EDGE ( 'NONE', *, *, #2119, .T. ) ;
#2119 = EDGE_CURVE ( 'NONE', #2120, #2121, #8953, .T. ) ;
#2120 = VERTEX_POINT ( 'NONE', #8949 ) ;
#2121 = VERTEX_POINT ( 'NONE', #8948 ) ;
#2122 = ORIENTED_EDGE ( 'NONE', *, *, #2123, .T. ) ;
#2123 = EDGE_CURVE ( 'NONE', #2121, #2124, #8947, .T. ) ;
#2124 = VERTEX_POINT ( 'NONE', #8943 ) ;
#2125 = ORIENTED_EDGE ( 'NONE', *, *, #2126, .T. ) ;
#2126 = EDGE_CURVE ( 'NONE', #2124, #2127, #8942, .T. ) ;
#2127 = VERTEX_POINT ( 'NONE', #8938 ) ;
#2128 = ORIENTED_EDGE ( 'NONE', *, *, #2129, .F. ) ;
#2129 = EDGE_CURVE ( 'NONE', #2120, #2127, #8937, .T. ) ;
#2130 = ADVANCED_FACE ( 'NONE', ( #8933 ), #8932, .F. ) ;
#2131 = EDGE_LOOP ( 'NONE', ( #2187, #2190, #2193, #2196 ) ) ;
#2132 = VERTEX_POINT ( 'NONE', #8990 ) ;
#2133 = EDGE_LOOP ( 'NONE', ( #2134, #2137, #2140, #2142, #2143, #2145 ) ) ;
#2134 = ORIENTED_EDGE ( 'NONE', *, *, #2135, .T. ) ;
#2135 = EDGE_CURVE ( 'NONE', #2155, #2136, #8989, .T. ) ;
#2136 = VERTEX_POINT ( 'NONE', #8984 ) ;
#2137 = ORIENTED_EDGE ( 'NONE', *, *, #2138, .T. ) ;
#2138 = EDGE_CURVE ( 'NONE', #2136, #2139, #8983, .T. ) ;
#2139 = VERTEX_POINT ( 'NONE', #8978 ) ;
#2140 = ORIENTED_EDGE ( 'NONE', *, *, #2141, .T. ) ;
#2141 = EDGE_CURVE ( 'NONE', #2139, #2069, #8977, .T. ) ;
#2142 = ORIENTED_EDGE ( 'NONE', *, *, #2068, .T. ) ;
#2143 = ORIENTED_EDGE ( 'NONE', *, *, #2144, .T. ) ;
#2144 = EDGE_CURVE ( 'NONE', #2066, #2080, #8972, .T. ) ;
#2145 = ORIENTED_EDGE ( 'NONE', *, *, #2157, .T. ) ;
#2146 = ORIENTED_EDGE ( 'NONE', *, *, #2000, .F. ) ;
#2147 = ORIENTED_EDGE ( 'NONE', *, *, #2148, .T. ) ;
#2148 = EDGE_CURVE ( 'NONE', #1998, #2149, #8968, .T. ) ;
#2149 = VERTEX_POINT ( 'NONE', #8964 ) ;
#2150 = ORIENTED_EDGE ( 'NONE', *, *, #2151, .T. ) ;
#2151 = EDGE_CURVE ( 'NONE', #2149, #2152, #8963, .T. ) ;
#2152 = VERTEX_POINT ( 'NONE', #9022 ) ;
#2153 = ORIENTED_EDGE ( 'NONE', *, *, #2154, .T. ) ;
#2154 = EDGE_CURVE ( 'NONE', #2152, #2155, #9021, .T. ) ;
#2155 = VERTEX_POINT ( 'NONE', #9017 ) ;
#2156 = ORIENTED_EDGE ( 'NONE', *, *, #2157, .F. ) ;
#2157 = EDGE_CURVE ( 'NONE', #2080, #2155, #9016, .T. ) ;
#2158 = ADVANCED_FACE ( 'NONE', ( #9012 ), #9011, .T. ) ;
#2159 = VERTEX_POINT ( 'NONE', #9006 ) ;
#2160 = ORIENTED_EDGE ( 'NONE', *, *, #2161, .T. ) ;
#2161 = EDGE_CURVE ( 'NONE', #2159, #2021, #9005, .T. ) ;
#2162 = ORIENTED_EDGE ( 'NONE', *, *, #953, .F. ) ;
#2163 = EDGE_LOOP ( 'NONE', ( #2164, #2166 ) ) ;
#2164 = ORIENTED_EDGE ( 'NONE', *, *, #2165, .F. ) ;
#2165 = EDGE_CURVE ( 'NONE', #1003, #859, #9001, .T. ) ;
#2166 = ORIENTED_EDGE ( 'NONE', *, *, #1002, .F. ) ;
#2167 = EDGE_LOOP ( 'NONE', ( #2168, #2227 ) ) ;
#2168 = ORIENTED_EDGE ( 'NONE', *, *, #2169, .F. ) ;
#2169 = EDGE_CURVE ( 'NONE', #982, #979, #8996, .T. ) ;
#2170 = EDGE_LOOP ( 'NONE', ( #2228, #2230 ) ) ;
#2171 = ORIENTED_EDGE ( 'NONE', *, *, #2172, .T. ) ;
#2172 = EDGE_CURVE ( 'NONE', #2173, #2174, #9056, .T. ) ;
#2173 = VERTEX_POINT ( 'NONE', #9052 ) ;
#2174 = VERTEX_POINT ( 'NONE', #9051 ) ;
#2175 = ORIENTED_EDGE ( 'NONE', *, *, #2176, .T. ) ;
#2176 = EDGE_CURVE ( 'NONE', #2174, #2177, #9050, .T. ) ;
#2177 = VERTEX_POINT ( 'NONE', #9046 ) ;
#2178 = ORIENTED_EDGE ( 'NONE', *, *, #2179, .T. ) ;
#2179 = EDGE_CURVE ( 'NONE', #2177, #2180, #9045, .T. ) ;
#2180 = VERTEX_POINT ( 'NONE', #9041 ) ;
#2181 = ORIENTED_EDGE ( 'NONE', *, *, #2182, .F. ) ;
#2182 = EDGE_CURVE ( 'NONE', #2173, #2180, #9040, .T. ) ;
#2183 = ADVANCED_FACE ( 'NONE', ( #9036, #9035, #9034, #9033, #9032, #9031 ), #9030, .T. ) ;
#2184 = EDGE_LOOP ( 'NONE', ( #2185, #2239 ) ) ;
#2185 = ORIENTED_EDGE ( 'NONE', *, *, #2186, .F. ) ;
#2186 = EDGE_CURVE ( 'NONE', #884, #949, #9025, .T. ) ;
#2187 = ORIENTED_EDGE ( 'NONE', *, *, #2188, .T. ) ;
#2188 = EDGE_CURVE ( 'NONE', #2132, #2189, #9086, .T. ) ;
#2189 = VERTEX_POINT ( 'NONE', #9082 ) ;
#2190 = ORIENTED_EDGE ( 'NONE', *, *, #2191, .T. ) ;
#2191 = EDGE_CURVE ( 'NONE', #2189, #2192, #9081, .T. ) ;
#2192 = VERTEX_POINT ( 'NONE', #9077 ) ;
#2193 = ORIENTED_EDGE ( 'NONE', *, *, #2194, .T. ) ;
#2194 = EDGE_CURVE ( 'NONE', #2192, #2195, #9076, .T. ) ;
#2195 = VERTEX_POINT ( 'NONE', #9072 ) ;
#2196 = ORIENTED_EDGE ( 'NONE', *, *, #2197, .F. ) ;
#2197 = EDGE_CURVE ( 'NONE', #2132, #2195, #9071, .T. ) ;
#2198 = ADVANCED_FACE ( 'NONE', ( #9067 ), #9066, .F. ) ;
#2199 = EDGE_LOOP ( 'NONE', ( #2171, #2175, #2178, #2181 ) ) ;
#2200 = ADVANCED_FACE ( 'NONE', ( #9061 ), #9060, .F. ) ;
#2201 = EDGE_LOOP ( 'NONE', ( #2118, #2122, #2125, #2128 ) ) ;
#2202 = ORIENTED_EDGE ( 'NONE', *, *, #2203, .T. ) ;
#2203 = EDGE_CURVE ( 'NONE', #856, #855, #9121, .T. ) ;
#2204 = ORIENTED_EDGE ( 'NONE', *, *, #854, .T. ) ;
#2205 = EDGE_LOOP ( 'NONE', ( #2206, #2208 ) ) ;
#2206 = ORIENTED_EDGE ( 'NONE', *, *, #2207, .T. ) ;
#2207 = EDGE_CURVE ( 'NONE', #976, #975, #9116, .T. ) ;
#2208 = ORIENTED_EDGE ( 'NONE', *, *, #974, .T. ) ;
#2209 = EDGE_LOOP ( 'NONE', ( #2210, #2273, #2276, #2279, #2282, #2285, #2258, #2261, #2264, #2267, #2270, #2243, #2246, #2249, #2252, #2255, #2316, #2319, #2322, #2325 ) ) ;
#2210 = ORIENTED_EDGE ( 'NONE', *, *, #2211, .T. ) ;
#2211 = EDGE_CURVE ( 'NONE', #2212, #2213, #9111, .T. ) ;
#2212 = VERTEX_POINT ( 'NONE', #9107 ) ;
#2213 = VERTEX_POINT ( 'NONE', #9106 ) ;
#2214 = ORIENTED_EDGE ( 'NONE', *, *, #2215, .T. ) ;
#2215 = EDGE_CURVE ( 'NONE', #2127, #2132, #9105, .T. ) ;
#2216 = ORIENTED_EDGE ( 'NONE', *, *, #2197, .T. ) ;
#2217 = ORIENTED_EDGE ( 'NONE', *, *, #2218, .T. ) ;
#2218 = EDGE_CURVE ( 'NONE', #2195, #2173, #9100, .T. ) ;
#2219 = ADVANCED_FACE ( 'NONE', ( #9095, #9094, #9093, #9092, #9091 ), #9090, .F. ) ;
#2220 = EDGE_LOOP ( 'NONE', ( #2221, #2223 ) ) ;
#2221 = ORIENTED_EDGE ( 'NONE', *, *, #2222, .T. ) ;
#2222 = EDGE_CURVE ( 'NONE', #946, #945, #9149, .T. ) ;
#2223 = ORIENTED_EDGE ( 'NONE', *, *, #846, .T. ) ;
#2224 = EDGE_LOOP ( 'NONE', ( #2225, #2288 ) ) ;
#2225 = ORIENTED_EDGE ( 'NONE', *, *, #2226, .T. ) ;
#2226 = EDGE_CURVE ( 'NONE', #892, #891, #9144, .T. ) ;
#2227 = ORIENTED_EDGE ( 'NONE', *, *, #981, .F. ) ;
#2228 = ORIENTED_EDGE ( 'NONE', *, *, #2229, .F. ) ;
#2229 = EDGE_CURVE ( 'NONE', #1087, #1084, #9139, .T. ) ;
#2230 = ORIENTED_EDGE ( 'NONE', *, *, #1086, .F. ) ;
#2231 = EDGE_LOOP ( 'NONE', ( #2232, #2233, #2235, #2236, #2238, #2214, #2216, #2217 ) ) ;
#2232 = ORIENTED_EDGE ( 'NONE', *, *, #2182, .T. ) ;
#2233 = ORIENTED_EDGE ( 'NONE', *, *, #2234, .T. ) ;
#2234 = EDGE_CURVE ( 'NONE', #2180, #2956, #9134, .T. ) ;
#2235 = ORIENTED_EDGE ( 'NONE', *, *, #2941, .T. ) ;
#2236 = ORIENTED_EDGE ( 'NONE', *, *, #2237, .T. ) ;
#2237 = EDGE_CURVE ( 'NONE', #2939, #2120, #9129, .T. ) ;
#2238 = ORIENTED_EDGE ( 'NONE', *, *, #2129, .T. ) ;
#2239 = ORIENTED_EDGE ( 'NONE', *, *, #951, .F. ) ;
#2240 = EDGE_LOOP ( 'NONE', ( #2241, #2162 ) ) ;
#2241 = ORIENTED_EDGE ( 'NONE', *, *, #2242, .F. ) ;
#2242 = EDGE_CURVE ( 'NONE', #896, #895, #7391, .T. ) ;
#2243 = ORIENTED_EDGE ( 'NONE', *, *, #2244, .T. ) ;
#2244 = EDGE_CURVE ( 'NONE', #2272, #2245, #9184, .T. ) ;
#2245 = VERTEX_POINT ( 'NONE', #9180 ) ;
#2246 = ORIENTED_EDGE ( 'NONE', *, *, #2247, .T. ) ;
#2247 = EDGE_CURVE ( 'NONE', #2245, #2248, #9179, .T. ) ;
#2248 = VERTEX_POINT ( 'NONE', #9175 ) ;
#2249 = ORIENTED_EDGE ( 'NONE', *, *, #2250, .T. ) ;
#2250 = EDGE_CURVE ( 'NONE', #2248, #2251, #9174, .T. ) ;
#2251 = VERTEX_POINT ( 'NONE', #9170 ) ;
#2252 = ORIENTED_EDGE ( 'NONE', *, *, #2253, .T. ) ;
#2253 = EDGE_CURVE ( 'NONE', #2251, #2254, #9169, .T. ) ;
#2254 = VERTEX_POINT ( 'NONE', #9165 ) ;
#2255 = ORIENTED_EDGE ( 'NONE', *, *, #2256, .T. ) ;
#2256 = EDGE_CURVE ( 'NONE', #2254, #2257, #9164, .T. ) ;
#2257 = VERTEX_POINT ( 'NONE', #9160 ) ;
#2258 = ORIENTED_EDGE ( 'NONE', *, *, #2259, .T. ) ;
#2259 = EDGE_CURVE ( 'NONE', #2287, #2260, #9159, .T. ) ;
#2260 = VERTEX_POINT ( 'NONE', #9155 ) ;
#2261 = ORIENTED_EDGE ( 'NONE', *, *, #2262, .T. ) ;
#2262 = EDGE_CURVE ( 'NONE', #2260, #2263, #9216, .T. ) ;
#2263 = VERTEX_POINT ( 'NONE', #9211 ) ;
#2264 = ORIENTED_EDGE ( 'NONE', *, *, #2265, .T. ) ;
#2265 = EDGE_CURVE ( 'NONE', #2263, #2266, #9210, .T. ) ;
#2266 = VERTEX_POINT ( 'NONE', #9206 ) ;
#2267 = ORIENTED_EDGE ( 'NONE', *, *, #2268, .T. ) ;
#2268 = EDGE_CURVE ( 'NONE', #2266, #2269, #9205, .T. ) ;
#2269 = VERTEX_POINT ( 'NONE', #9200 ) ;
#2270 = ORIENTED_EDGE ( 'NONE', *, *, #2271, .T. ) ;
#2271 = EDGE_CURVE ( 'NONE', #2269, #2272, #9199, .T. ) ;
#2272 = VERTEX_POINT ( 'NONE', #9195 ) ;
#2273 = ORIENTED_EDGE ( 'NONE', *, *, #2274, .T. ) ;
#2274 = EDGE_CURVE ( 'NONE', #2213, #2275, #9194, .T. ) ;
#2275 = VERTEX_POINT ( 'NONE', #9190 ) ;
#2276 = ORIENTED_EDGE ( 'NONE', *, *, #2277, .T. ) ;
#2277 = EDGE_CURVE ( 'NONE', #2275, #2278, #9189, .T. ) ;
#2278 = VERTEX_POINT ( 'NONE', #9185 ) ;
#2279 = ORIENTED_EDGE ( 'NONE', *, *, #2280, .T. ) ;
#2280 = EDGE_CURVE ( 'NONE', #2278, #2281, #9248, .T. ) ;
#2281 = VERTEX_POINT ( 'NONE', #9243 ) ;
#2282 = ORIENTED_EDGE ( 'NONE', *, *, #2283, .T. ) ;
#2283 = EDGE_CURVE ( 'NONE', #2281, #2284, #9242, .T. ) ;
#2284 = VERTEX_POINT ( 'NONE', #9238 ) ;
#2285 = ORIENTED_EDGE ( 'NONE', *, *, #2286, .T. ) ;
#2286 = EDGE_CURVE ( 'NONE', #2284, #2287, #9237, .T. ) ;
#2287 = VERTEX_POINT ( 'NONE', #9232 ) ;
#2288 = ORIENTED_EDGE ( 'NONE', *, *, #890, .T. ) ;
#2289 = EDGE_LOOP ( 'NONE', ( #2202, #2204 ) ) ;
#2290 = EDGE_CURVE ( 'NONE', #2091, #2053, #9231, .T. ) ;
#2291 = ORIENTED_EDGE ( 'NONE', *, *, #2111, .F. ) ;
#2292 = ORIENTED_EDGE ( 'NONE', *, *, #1952, .F. ) ;
#2293 = ADVANCED_FACE ( 'NONE', ( #9227 ), #9226, .F. ) ;
#2294 = EDGE_LOOP ( 'NONE', ( #2295, #2296, #2298, #2299 ) ) ;
#2295 = ORIENTED_EDGE ( 'NONE', *, *, #2086, .F. ) ;
#2296 = ORIENTED_EDGE ( 'NONE', *, *, #2297, .T. ) ;
#2297 = EDGE_CURVE ( 'NONE', #2084, #2088, #9221, .T. ) ;
#2298 = ORIENTED_EDGE ( 'NONE', *, *, #2087, .F. ) ;
#2299 = ORIENTED_EDGE ( 'NONE', *, *, #2003, .F. ) ;
#2300 = ADVANCED_FACE ( 'NONE', ( #9217 ), #9276, .F. ) ;
#2301 = EDGE_LOOP ( 'NONE', ( #2356, #2357, #2359, #2360 ) ) ;
#2302 = ORIENTED_EDGE ( 'NONE', *, *, #2303, .T. ) ;
#2303 = EDGE_CURVE ( 'NONE', #920, #2304, #9271, .T. ) ;
#2304 = VERTEX_POINT ( 'NONE', #9270 ) ;
#2305 = ORIENTED_EDGE ( 'NONE', *, *, #2306, .T. ) ;
#2306 = EDGE_CURVE ( 'NONE', #2304, #2307, #9269, .T. ) ;
#2307 = VERTEX_POINT ( 'NONE', #9256 ) ;
#2308 = ORIENTED_EDGE ( 'NONE', *, *, #2309, .T. ) ;
#2309 = EDGE_CURVE ( 'NONE', #2307, #2310, #9255, .T. ) ;
#2310 = VERTEX_POINT ( 'NONE', #9251 ) ;
#2311 = ORIENTED_EDGE ( 'NONE', *, *, #2312, .T. ) ;
#2312 = EDGE_CURVE ( 'NONE', #2310, #923, #9250, .T. ) ;
#2313 = ADVANCED_FACE ( 'NONE', ( #9307 ), #9306, .F. ) ;
#2314 = EDGE_LOOP ( 'NONE', ( #2315, #2368, #2291, #2292 ) ) ;
#2315 = ORIENTED_EDGE ( 'NONE', *, *, #2093, .F. ) ;
#2316 = ORIENTED_EDGE ( 'NONE', *, *, #2317, .T. ) ;
#2317 = EDGE_CURVE ( 'NONE', #2257, #2318, #9301, .T. ) ;
#2318 = VERTEX_POINT ( 'NONE', #9297 ) ;
#2319 = ORIENTED_EDGE ( 'NONE', *, *, #2320, .T. ) ;
#2320 = EDGE_CURVE ( 'NONE', #2318, #2321, #9296, .T. ) ;
#2321 = VERTEX_POINT ( 'NONE', #9292 ) ;
#2322 = ORIENTED_EDGE ( 'NONE', *, *, #2323, .T. ) ;
#2323 = EDGE_CURVE ( 'NONE', #2321, #2324, #9291, .T. ) ;
#2324 = VERTEX_POINT ( 'NONE', #9287 ) ;
#2325 = ORIENTED_EDGE ( 'NONE', *, *, #2326, .T. ) ;
#2326 = EDGE_CURVE ( 'NONE', #2324, #2212, #9286, .T. ) ;
#2327 = ADVANCED_FACE ( 'NONE', ( #9282 ), #9281, .T. ) ;
#2328 = EDGE_LOOP ( 'NONE', ( #2329, #2302, #2305, #2308, #2311 ) ) ;
#2329 = ORIENTED_EDGE ( 'NONE', *, *, #922, .F. ) ;
#2330 = EDGE_CURVE ( 'NONE', #2318, #2081, #9332, .T. ) ;
#2331 = ORIENTED_EDGE ( 'NONE', *, *, #2172, .F. ) ;
#2332 = ORIENTED_EDGE ( 'NONE', *, *, #2218, .F. ) ;
#2333 = ADVANCED_FACE ( 'NONE', ( #9334 ), #9333, .T. ) ;
#2334 = EDGE_LOOP ( 'NONE', ( #2335, #2336, #2338, #2339 ) ) ;
#2335 = ORIENTED_EDGE ( 'NONE', *, *, #2126, .F. ) ;
#2336 = ORIENTED_EDGE ( 'NONE', *, *, #2337, .T. ) ;
#2337 = EDGE_CURVE ( 'NONE', #2124, #2189, #9322, .T. ) ;
#2338 = ORIENTED_EDGE ( 'NONE', *, *, #2188, .F. ) ;
#2339 = ORIENTED_EDGE ( 'NONE', *, *, #2215, .F. ) ;
#2340 = ADVANCED_FACE ( 'NONE', ( #9318 ), #9317, .T. ) ;
#2341 = EDGE_LOOP ( 'NONE', ( #2342, #2396, #2398, #2399 ) ) ;
#2342 = ORIENTED_EDGE ( 'NONE', *, *, #2938, .F. ) ;
#2343 = EDGE_CURVE ( 'NONE', #2213, #2035, #9316, .T. ) ;
#2344 = ADVANCED_FACE ( 'NONE', ( #9362 ), #9361, .T. ) ;
#2345 = EDGE_LOOP ( 'NONE', ( #2346, #2347, #2349, #2350 ) ) ;
#2346 = ORIENTED_EDGE ( 'NONE', *, *, #2179, .F. ) ;
#2347 = ORIENTED_EDGE ( 'NONE', *, *, #2348, .T. ) ;
#2348 = EDGE_CURVE ( 'NONE', #2177, #2959, #9355, .T. ) ;
#2349 = ORIENTED_EDGE ( 'NONE', *, *, #2958, .F. ) ;
#2350 = ORIENTED_EDGE ( 'NONE', *, *, #2234, .F. ) ;
#2351 = ADVANCED_FACE ( 'NONE', ( #9351 ), #9350, .T. ) ;
#2352 = EDGE_LOOP ( 'NONE', ( #2353, #2354, #2331, #2332 ) ) ;
#2353 = ORIENTED_EDGE ( 'NONE', *, *, #2194, .F. ) ;
#2354 = ORIENTED_EDGE ( 'NONE', *, *, #2355, .T. ) ;
#2355 = EDGE_CURVE ( 'NONE', #2192, #2174, #9349, .T. ) ;
#2356 = ORIENTED_EDGE ( 'NONE', *, *, #2065, .F. ) ;
#2357 = ORIENTED_EDGE ( 'NONE', *, *, #2358, .T. ) ;
#2358 = EDGE_CURVE ( 'NONE', #2063, #2081, #9340, .T. ) ;
#2359 = ORIENTED_EDGE ( 'NONE', *, *, #2079, .F. ) ;
#2360 = ORIENTED_EDGE ( 'NONE', *, *, #2144, .F. ) ;
#2361 = ADVANCED_FACE ( 'NONE', ( #9336 ), #9335, .F. ) ;
#2362 = EDGE_LOOP ( 'NONE', ( #2363, #2364, #2366, #2367 ) ) ;
#2363 = ORIENTED_EDGE ( 'NONE', *, *, #2040, .F. ) ;
#2364 = ORIENTED_EDGE ( 'NONE', *, *, #2365, .T. ) ;
#2365 = EDGE_CURVE ( 'NONE', #2038, #2060, #9384, .T. ) ;
#2366 = ORIENTED_EDGE ( 'NONE', *, *, #2059, .F. ) ;
#2367 = ORIENTED_EDGE ( 'NONE', *, *, #1988, .F. ) ;
#2368 = ORIENTED_EDGE ( 'NONE', *, *, #2290, .T. ) ;
#2369 = EDGE_LOOP ( 'NONE', ( #2422, #2423, #2424, #2426 ) ) ;
#2370 = ORIENTED_EDGE ( 'NONE', *, *, #2297, .F. ) ;
#2371 = ADVANCED_FACE ( 'NONE', ( #9380 ), #9379, .F. ) ;
#2372 = EDGE_LOOP ( 'NONE', ( #2373, #2374, #2375, #2377 ) ) ;
#2373 = ORIENTED_EDGE ( 'NONE', *, *, #2388, .T. ) ;
#2374 = ORIENTED_EDGE ( 'NONE', *, *, #2062, .F. ) ;
#2375 = ORIENTED_EDGE ( 'NONE', *, *, #2376, .F. ) ;
#2376 = EDGE_CURVE ( 'NONE', #2324, #2060, #9372, .T. ) ;
#2377 = ORIENTED_EDGE ( 'NONE', *, *, #2323, .F. ) ;
#2378 = ADVANCED_FACE ( 'NONE', ( #9374 ), #9373, .T. ) ;
#2379 = EDGE_LOOP ( 'NONE', ( #2380, #2434, #2435, #2437 ) ) ;
#2380 = ORIENTED_EDGE ( 'NONE', *, *, #2381, .F. ) ;
#2381 = EDGE_CURVE ( 'NONE', #2260, #2189, #9410, .T. ) ;
#2382 = ORIENTED_EDGE ( 'NONE', *, *, #2317, .F. ) ;
#2383 = ADVANCED_FACE ( 'NONE', ( #9405 ), #9404, .F. ) ;
#2384 = EDGE_LOOP ( 'NONE', ( #2385, #2386, #2387, #2389 ) ) ;
#2385 = ORIENTED_EDGE ( 'NONE', *, *, #2330, .T. ) ;
#2386 = ORIENTED_EDGE ( 'NONE', *, *, #2358, .F. ) ;
#2387 = ORIENTED_EDGE ( 'NONE', *, *, #2388, .F. ) ;
#2388 = EDGE_CURVE ( 'NONE', #2321, #2063, #9397, .T. ) ;
#2389 = ORIENTED_EDGE ( 'NONE', *, *, #2320, .F. ) ;
#2390 = ADVANCED_FACE ( 'NONE', ( #9399 ), #9398, .F. ) ;
#2391 = EDGE_LOOP ( 'NONE', ( #2392, #2393, #2394, #2370 ) ) ;
#2392 = ORIENTED_EDGE ( 'NONE', *, *, #2403, .T. ) ;
#2393 = ORIENTED_EDGE ( 'NONE', *, *, #2256, .F. ) ;
#2394 = ORIENTED_EDGE ( 'NONE', *, *, #2395, .F. ) ;
#2395 = EDGE_CURVE ( 'NONE', #2088, #2254, #9427, .T. ) ;
#2396 = ORIENTED_EDGE ( 'NONE', *, *, #2397, .T. ) ;
#2397 = EDGE_CURVE ( 'NONE', #2936, #2121, #9422, .T. ) ;
#2398 = ORIENTED_EDGE ( 'NONE', *, *, #2119, .F. ) ;
#2399 = ORIENTED_EDGE ( 'NONE', *, *, #2237, .F. ) ;
#2400 = ADVANCED_FACE ( 'NONE', ( #9417 ), #9416, .F. ) ;
#2401 = EDGE_LOOP ( 'NONE', ( #2402, #2404, #2405, #2382 ) ) ;
#2402 = ORIENTED_EDGE ( 'NONE', *, *, #2403, .F. ) ;
#2403 = EDGE_CURVE ( 'NONE', #2084, #2257, #9411, .T. ) ;
#2404 = ORIENTED_EDGE ( 'NONE', *, *, #2083, .F. ) ;
#2405 = ORIENTED_EDGE ( 'NONE', *, *, #2330, .F. ) ;
#2406 = ORIENTED_EDGE ( 'NONE', *, *, #2407, .F. ) ;
#2407 = EDGE_CURVE ( 'NONE', #2032, #919, #9452, .T. ) ;
#2408 = ORIENTED_EDGE ( 'NONE', *, *, #2031, .F. ) ;
#2409 = EDGE_LOOP ( 'NONE', ( #2463, #2464, #2465, #2467 ) ) ;
#2410 = ORIENTED_EDGE ( 'NONE', *, *, #2355, .F. ) ;
#2411 = ADVANCED_FACE ( 'NONE', ( #9447 ), #9446, .T. ) ;
#2412 = ORIENTED_EDGE ( 'NONE', *, *, #2381, .T. ) ;
#2413 = ORIENTED_EDGE ( 'NONE', *, *, #2337, .F. ) ;
#2414 = ORIENTED_EDGE ( 'NONE', *, *, #2415, .F. ) ;
#2415 = EDGE_CURVE ( 'NONE', #2263, #2124, #9441, .T. ) ;
#2416 = ORIENTED_EDGE ( 'NONE', *, *, #2262, .F. ) ;
#2417 = ADVANCED_FACE ( 'NONE', ( #9436 ), #9435, .F. ) ;
#2418 = EDGE_LOOP ( 'NONE', ( #2419, #2420, #2474, #2476 ) ) ;
#2419 = ORIENTED_EDGE ( 'NONE', *, *, #2443, .T. ) ;
#2420 = ORIENTED_EDGE ( 'NONE', *, *, #2250, .F. ) ;
#2421 = ADVANCED_FACE ( 'NONE', ( #9434 ), #9428, .F. ) ;
#2422 = ORIENTED_EDGE ( 'NONE', *, *, #2376, .T. ) ;
#2423 = ORIENTED_EDGE ( 'NONE', *, *, #2365, .F. ) ;
#2424 = ORIE