ISO-10303-21;
HEADER;
FILE_DESCRIPTION (( 'STEP AP203' ),
    '1' );
FILE_NAME ('VRSF-E1-E2.STEP',
    '2007-03-23T09:35:23',
    ( ' ' ),
    ( ' ' ),
    'SwSTEP 2.0',
    'SolidWorks 2006303',
    '' );
FILE_SCHEMA (( 'CONFIG_CONTROL_DESIGN' ));
ENDSEC;

DATA;
#1 = ORIENTED_EDGE ( 'NONE', *, *, #180, .F. ) ;
#2 = ORIENTED_EDGE ( 'NONE', *, *, #1881, .F. ) ;
#3 = ORIENTED_EDGE ( 'NONE', *, *, #341, .T. ) ;
#4 = ORIENTED_EDGE ( 'NONE', *, *, #1810, .F. ) ;
#5 = ORIENTED_EDGE ( 'NONE', *, *, #268, .F. ) ;
#6 = ORIENTED_EDGE ( 'NONE', *, *, #2962, .F. ) ;
#7 = ORIENTED_EDGE ( 'NONE', *, *, #335, .T. ) ;
#8 = EDGE_LOOP ( 'NONE', ( #2929, #1941 ) ) ;
#9 = ORIENTED_EDGE ( 'NONE', *, *, #19, .T. ) ;
#10 = EDGE_LOOP ( 'NONE', ( #11, #2925 ) ) ;
#11 = ORIENTED_EDGE ( 'NONE', *, *, #12, .T. ) ;
#12 = EDGE_CURVE ( 'NONE', #3026, #3025, #4404, .T. ) ;
#13 = ORIENTED_EDGE ( 'NONE', *, *, #1835, .F. ) ;
#14 = ORIENTED_EDGE ( 'NONE', *, *, #187, .F. ) ;
#15 = ORIENTED_EDGE ( 'NONE', *, *, #201, .T. ) ;
#16 = ORIENTED_EDGE ( 'NONE', *, *, #321, .F. ) ;
#17 = EDGE_LOOP ( 'NONE', ( #18, #20 ) ) ;
#18 = ORIENTED_EDGE ( 'NONE', *, *, #19, .F. ) ;
#19 = EDGE_CURVE ( 'NONE', #2970, #2967, #4403, .T. ) ;
#20 = ORIENTED_EDGE ( 'NONE', *, *, #2969, .F. ) ;
#21 = ADVANCED_FACE ( 'NONE', ( #4430, #4425 ), #4424, .T. ) ;
#22 = EDGE_LOOP ( 'NONE', ( #23, #24 ) ) ;
#23 = ORIENTED_EDGE ( 'NONE', *, *, #310, .F. ) ;
#24 = ORIENTED_EDGE ( 'NONE', *, *, #2985, .F. ) ;
#25 = EDGE_LOOP ( 'NONE', ( #26, #27, #28, #82 ) ) ;
#26 = ORIENTED_EDGE ( 'NONE', *, *, #100, .T. ) ;
#27 = ORIENTED_EDGE ( 'NONE', *, *, #3070, .F. ) ;
#28 = ORIENTED_EDGE ( 'NONE', *, *, #81, .F. ) ;
#29 = ORIENTED_EDGE ( 'NONE', *, *, #49, .T. ) ;
#30 = ORIENTED_EDGE ( 'NONE', *, *, #1986, .T. ) ;
#31 = EDGE_LOOP ( 'NONE', ( #32, #33 ) ) ;
#32 = ORIENTED_EDGE ( 'NONE', *, *, #4310, .F. ) ;
#33 = ORIENTED_EDGE ( 'NONE', *, *, #4298, .F. ) ;
#34 = ADVANCED_FACE ( 'NONE', ( #4418, #4417 ), #4423, .T. ) ;
#35 = EDGE_LOOP ( 'NONE', ( #36, #38 ) ) ;
#36 = ORIENTED_EDGE ( 'NONE', *, *, #37, .T. ) ;
#37 = EDGE_CURVE ( 'NONE', #2998, #2997, #4490, .T. ) ;
#38 = ORIENTED_EDGE ( 'NONE', *, *, #2996, .T. ) ;
#39 = EDGE_LOOP ( 'NONE', ( #40, #41 ) ) ;
#40 = ORIENTED_EDGE ( 'NONE', *, *, #2198, .F. ) ;
#41 = ORIENTED_EDGE ( 'NONE', *, *, #3074, .F. ) ;
#42 = ORIENTED_EDGE ( 'NONE', *, *, #3605, .T. ) ;
#43 = ORIENTED_EDGE ( 'NONE', *, *, #3536, .T. ) ;
#44 = ORIENTED_EDGE ( 'NONE', *, *, #3550, .T. ) ;
#45 = ADVANCED_FACE ( 'NONE', ( #4485 ), #4484, .F. ) ;
#46 = EDGE_LOOP ( 'NONE', ( #47, #48, #50, #51 ) ) ;
#47 = ORIENTED_EDGE ( 'NONE', *, *, #1913, .F. ) ;
#48 = ORIENTED_EDGE ( 'NONE', *, *, #49, .F. ) ;
#49 = EDGE_CURVE ( 'NONE', #1987, #1897, #4483, .T. ) ;
#50 = ORIENTED_EDGE ( 'NONE', *, *, #1919, .T. ) ;
#51 = ORIENTED_EDGE ( 'NONE', *, *, #54, .T. ) ;
#52 = ADVANCED_FACE ( 'NONE', ( #4474, #4473 ), #4472, .T. ) ;
#53 = EDGE_LOOP ( 'NONE', ( #29, #30 ) ) ;
#54 = EDGE_CURVE ( 'NONE', #1915, #1914, #4467, .T. ) ;
#55 = ORIENTED_EDGE ( 'NONE', *, *, #1917, .F. ) ;
#56 = EDGE_LOOP ( 'NONE', ( #57, #58, #59, #60, #61, #62, #63, #42, #43, #44 ) ) ;
#57 = ORIENTED_EDGE ( 'NONE', *, *, #3670, .T. ) ;
#58 = ORIENTED_EDGE ( 'NONE', *, *, #3663, .T. ) ;
#59 = ORIENTED_EDGE ( 'NONE', *, *, #3682, .T. ) ;
#60 = ORIENTED_EDGE ( 'NONE', *, *, #3678, .T. ) ;
#61 = ORIENTED_EDGE ( 'NONE', *, *, #3693, .T. ) ;
#62 = ORIENTED_EDGE ( 'NONE', *, *, #3619, .T. ) ;
#63 = ORIENTED_EDGE ( 'NONE', *, *, #3638, .F. ) ;
#64 = ORIENTED_EDGE ( 'NONE', *, *, #65, .T. ) ;
#65 = EDGE_CURVE ( 'NONE', #130, #66, #4527, .T. ) ;
#66 = VERTEX_POINT ( 'NONE', #4523 ) ;
#67 = ORIENTED_EDGE ( 'NONE', *, *, #119, .T. ) ;
#68 = ORIENTED_EDGE ( 'NONE', *, *, #81, .T. ) ;
#69 = ADVANCED_FACE ( 'NONE', ( #4522 ), #4521, .F. ) ;
#70 = ORIENTED_EDGE ( 'NONE', *, *, #90, .F. ) ;
#71 = ORIENTED_EDGE ( 'NONE', *, *, #72, .T. ) ;
#72 = EDGE_CURVE ( 'NONE', #88, #73, #4516, .T. ) ;
#73 = VERTEX_POINT ( 'NONE', #4512 ) ;
#74 = ORIENTED_EDGE ( 'NONE', *, *, #75, .T. ) ;
#75 = EDGE_CURVE ( 'NONE', #73, #2227, #4511, .T. ) ;
#76 = ORIENTED_EDGE ( 'NONE', *, *, #2226, .F. ) ;
#77 = ADVANCED_FACE ( 'NONE', ( #4507 ), #4506, .T. ) ;
#78 = EDGE_LOOP ( 'NONE', ( #79, #131, #132, #133 ) ) ;
#79 = ORIENTED_EDGE ( 'NONE', *, *, #80, .F. ) ;
#80 = EDGE_CURVE ( 'NONE', #2230, #130, #4501, .T. ) ;
#81 = EDGE_CURVE ( 'NONE', #3130, #2888, #4497, .T. ) ;
#82 = ORIENTED_EDGE ( 'NONE', *, *, #3129, .F. ) ;
#83 = ADVANCED_FACE ( 'NONE', ( #4560 ), #4559, .F. ) ;
#84 = EDGE_LOOP ( 'NONE', ( #85, #86, #89, #91, #92, #68 ) ) ;
#85 = ORIENTED_EDGE ( 'NONE', *, *, #3068, .T. ) ;
#86 = ORIENTED_EDGE ( 'NONE', *, *, #87, .T. ) ;
#87 = EDGE_CURVE ( 'NONE', #2886, #88, #4554, .T. ) ;
#88 = VERTEX_POINT ( 'NONE', #4549 ) ;
#89 = ORIENTED_EDGE ( 'NONE', *, *, #90, .T. ) ;
#90 = EDGE_CURVE ( 'NONE', #88, #2224, #4548, .T. ) ;
#91 = ORIENTED_EDGE ( 'NONE', *, *, #2223, .F. ) ;
#92 = ORIENTED_EDGE ( 'NONE', *, *, #3132, .F. ) ;
#93 = EDGE_LOOP ( 'NONE', ( #70, #71, #74, #76 ) ) ;
#94 = ADVANCED_FACE ( 'NONE', ( #4544 ), #4543, .T. ) ;
#95 = EDGE_LOOP ( 'NONE', ( #96, #98, #99, #101 ) ) ;
#96 = ORIENTED_EDGE ( 'NONE', *, *, #97, .F. ) ;
#97 = EDGE_CURVE ( 'NONE', #2990, #3124, #4538, .T. ) ;
#98 = ORIENTED_EDGE ( 'NONE', *, *, #2989, .F. ) ;
#99 = ORIENTED_EDGE ( 'NONE', *, *, #100, .F. ) ;
#100 = EDGE_CURVE ( 'NONE', #3127, #2987, #4534, .T. ) ;
#101 = ORIENTED_EDGE ( 'NONE', *, *, #3126, .T. ) ;
#102 = ADVANCED_FACE ( 'NONE', ( #4595 ), #4594, .F. ) ;
#103 = ADVANCED_FACE ( 'NONE', ( #4589 ), #4588, .T. ) ;
#104 = EDGE_LOOP ( 'NONE', ( #105, #157, #158, #159, #160, #161, #164, #166 ) ) ;
#105 = ORIENTED_EDGE ( 'NONE', *, *, #3018, .F. ) ;
#106 = ORIENTED_EDGE ( 'NONE', *, *, #107, .F. ) ;
#107 = EDGE_CURVE ( 'NONE', #2980, #66, #4583, .T. ) ;
#108 = ADVANCED_FACE ( 'NONE', ( #4578, #4577 ), #4576, .F. ) ;
#109 = EDGE_LOOP ( 'NONE', ( #110, #111 ) ) ;
#110 = ORIENTED_EDGE ( 'NONE', *, *, #3391, .T. ) ;
#111 = ORIENTED_EDGE ( 'NONE', *, *, #2040, .T. ) ;
#112 = EDGE_LOOP ( 'NONE', ( #113, #114, #115, #116 ) ) ;
#113 = ORIENTED_EDGE ( 'NONE', *, *, #2992, .T. ) ;
#114 = ORIENTED_EDGE ( 'NONE', *, *, #97, .T. ) ;
#115 = ORIENTED_EDGE ( 'NONE', *, *, #3123, .F. ) ;
#116 = ORIENTED_EDGE ( 'NONE', *, *, #126, .T. ) ;
#117 = ADVANCED_FACE ( 'NONE', ( #4571 ), #4570, .F. ) ;
#118 = EDGE_LOOP ( 'NONE', ( #169, #170, #173 ) ) ;
#119 = EDGE_CURVE ( 'NONE', #66, #2233, #4565, .T. ) ;
#120 = ORIENTED_EDGE ( 'NONE', *, *, #2232, .F. ) ;
#121 = ORIENTED_EDGE ( 'NONE', *, *, #80, .T. ) ;
#122 = ADVANCED_FACE ( 'NONE', ( #4626 ), #4625, .F. ) ;
#123 = EDGE_LOOP ( 'NONE', ( #124, #125, #127, #128, #129, #106 ) ) ;
#124 = ORIENTED_EDGE ( 'NONE', *, *, #2978, .F. ) ;
#125 = ORIENTED_EDGE ( 'NONE', *, *, #126, .F. ) ;
#126 = EDGE_CURVE ( 'NONE', #3147, #2979, #4620, .T. ) ;
#127 = ORIENTED_EDGE ( 'NONE', *, *, #3146, .F. ) ;
#128 = ORIENTED_EDGE ( 'NONE', *, *, #2207, .F. ) ;
#129 = ORIENTED_EDGE ( 'NONE', *, *, #119, .F. ) ;
#130 = VERTEX_POINT ( 'NONE', #4616 ) ;
#131 = ORIENTED_EDGE ( 'NONE', *, *, #2229, .T. ) ;
#132 = ORIENTED_EDGE ( 'NONE', *, *, #75, .F. ) ;
#133 = ORIENTED_EDGE ( 'NONE', *, *, #134, .F. ) ;
#134 = EDGE_CURVE ( 'NONE', #130, #73, #4615, .T. ) ;
#135 = ADVANCED_FACE ( 'NONE', ( #4610, #4609 ), #4608, .F. ) ;
#136 = EDGE_LOOP ( 'NONE', ( #137, #138 ) ) ;
#137 = ORIENTED_EDGE ( 'NONE', *, *, #2214, .F. ) ;
#138 = ORIENTED_EDGE ( 'NONE', *, *, #3137, .F. ) ;
#139 = EDGE_LOOP ( 'NONE', ( #64, #67, #120, #121 ) ) ;
#140 = ORIENTED_EDGE ( 'NONE', *, *, #141, .T. ) ;
#141 = EDGE_CURVE ( 'NONE', #3387, #1923, #4602, .T. ) ;
#142 = ADVANCED_FACE ( 'NONE', ( #4601 ), #4603, .F. ) ;
#143 = EDGE_LOOP ( 'NONE', ( #144, #197, #200, #203 ) ) ;
#144 = ORIENTED_EDGE ( 'NONE', *, *, #3586, .T. ) ;
#145 = ORIENTED_EDGE ( 'NONE', *, *, #3005, .T. ) ;
#146 = ORIENTED_EDGE ( 'NONE', *, *, #147, .F. ) ;
#147 = EDGE_CURVE ( 'NONE', #163, #3002, #4662, .T. ) ;
#148 = ORIENTED_EDGE ( 'NONE', *, *, #162, .F. ) ;
#149 = ADVANCED_FACE ( 'NONE', ( #4635 ), #4634, .F. ) ;
#150 = EDGE_LOOP ( 'NONE', ( #151, #152, #153, #154 ) ) ;
#151 = ORIENTED_EDGE ( 'NONE', *, *, #3001, .T. ) ;
#152 = ORIENTED_EDGE ( 'NONE', *, *, #174, .F. ) ;
#153 = ORIENTED_EDGE ( 'NONE', *, *, #165, .F. ) ;
#154 = ORIENTED_EDGE ( 'NONE', *, *, #147, .T. ) ;
#155 = ADVANCED_FACE ( 'NONE', ( #4633 ), #4632, .F. ) ;
#156 = EDGE_LOOP ( 'NONE', ( #210, #211, #213, #214 ) ) ;
#157 = ORIENTED_EDGE ( 'NONE', *, *, #3398, .F. ) ;
#158 = ORIENTED_EDGE ( 'NONE', *, *, #1978, .F. ) ;
#159 = ORIENTED_EDGE ( 'NONE', *, *, #3402, .F. ) ;
#160 = ORIENTED_EDGE ( 'NONE', *, *, #3013, .F. ) ;
#161 = ORIENTED_EDGE ( 'NONE', *, *, #162, .T. ) ;
#162 = EDGE_CURVE ( 'NONE', #3006, #163, #4696, .T. ) ;
#163 = VERTEX_POINT ( 'NONE', #4689 ) ;
#164 = ORIENTED_EDGE ( 'NONE', *, *, #165, .T. ) ;
#165 = EDGE_CURVE ( 'NONE', #163, #172, #4688, .T. ) ;
#166 = ORIENTED_EDGE ( 'NONE', *, *, #171, .T. ) ;
#167 = ADVANCED_FACE ( 'NONE', ( #4683 ), #4682, .F. ) ;
#168 = EDGE_LOOP ( 'NONE', ( #145, #146, #148 ) ) ;
#169 = ORIENTED_EDGE ( 'NONE', *, *, #3021, .T. ) ;
#170 = ORIENTED_EDGE ( 'NONE', *, *, #171, .F. ) ;
#171 = EDGE_CURVE ( 'NONE', #172, #3019, #4677, .T. ) ;
#172 = VERTEX_POINT ( 'NONE', #4673 ) ;
#173 = ORIENTED_EDGE ( 'NONE', *, *, #174, .T. ) ;
#174 = EDGE_CURVE ( 'NONE', #172, #3003, #4672, .T. ) ;
#175 = ADVANCED_FACE ( 'NONE', ( #4668 ), #4667, .F. ) ;
#176 = EDGE_LOOP ( 'NONE', ( #177, #178 ) ) ;
#177 = ORIENTED_EDGE ( 'NONE', *, *, #3400, .F. ) ;
#178 = ORIENTED_EDGE ( 'NONE', *, *, #3015, .T. ) ;
#179 = ORIENTED_EDGE ( 'NONE', *, *, #180, .T. ) ;
#180 = EDGE_CURVE ( 'NONE', #193, #1822, #4724, .T. ) ;
#181 = ADVANCED_FACE ( 'NONE', ( #4719 ), #4718, .F. ) ;
#182 = EDGE_LOOP ( 'NONE', ( #183, #342, #343, #261 ) ) ;
#183 = ORIENTED_EDGE ( 'NONE', *, *, #341, .F. ) ;
#184 = ORIENTED_EDGE ( 'NONE', *, *, #3589, .T. ) ;
#185 = ORIENTED_EDGE ( 'NONE', *, *, #204, .F. ) ;
#186 = ORIENTED_EDGE ( 'NONE', *, *, #187, .T. ) ;
#187 = EDGE_CURVE ( 'NONE', #202, #1833, #4712, .T. ) ;
#188 = ADVANCED_FACE ( 'NONE', ( #4708 ), #4707, .F. ) ;
#189 = EDGE_LOOP ( 'NONE', ( #190, #191, #194, #254 ) ) ;
#190 = ORIENTED_EDGE ( 'NONE', *, *, #1857, .F. ) ;
#191 = ORIENTED_EDGE ( 'NONE', *, *, #192, .F. ) ;
#192 = EDGE_CURVE ( 'NONE', #193, #1894, #4706, .T. ) ;
#193 = VERTEX_POINT ( 'NONE', #4697 ) ;
#194 = ORIENTED_EDGE ( 'NONE', *, *, #195, .T. ) ;
#195 = EDGE_CURVE ( 'NONE', #193, #3594, #4757, .T. ) ;
#196 = EDGE_LOOP ( 'NONE', ( #256, #257, #258, #259, #260, #179 ) ) ;
#197 = ORIENTED_EDGE ( 'NONE', *, *, #198, .T. ) ;
#198 = EDGE_CURVE ( 'NONE', #3584, #199, #4753, .T. ) ;
#199 = VERTEX_POINT ( 'NONE', #4749 ) ;
#200 = ORIENTED_EDGE ( 'NONE', *, *, #201, .F. ) ;
#201 = EDGE_CURVE ( 'NONE', #202, #199, #4748, .T. ) ;
#202 = VERTEX_POINT ( 'NONE', #4743 ) ;
#203 = ORIENTED_EDGE ( 'NONE', *, *, #204, .T. ) ;
#204 = EDGE_CURVE ( 'NONE', #202, #3587, #4742, .T. ) ;
#205 = ADVANCED_FACE ( 'NONE', ( #4738 ), #4737, .F. ) ;
#206 = EDGE_LOOP ( 'NONE', ( #207, #208, #209, #184, #185, #186 ) ) ;
#207 = ORIENTED_EDGE ( 'NONE', *, *, #1832, .F. ) ;
#208 = ORIENTED_EDGE ( 'NONE', *, *, #3497, .F. ) ;
#209 = ORIENTED_EDGE ( 'NONE', *, *, #1877, .T. ) ;
#210 = ORIENTED_EDGE ( 'NONE', *, *, #1925, .F. ) ;
#211 = ORIENTED_EDGE ( 'NONE', *, *, #212, .T. ) ;
#212 = EDGE_CURVE ( 'NONE', #1909, #3387, #4730, .T. ) ;
#213 = ORIENTED_EDGE ( 'NONE', *, *, #3386, .T. ) ;
#214 = ORIENTED_EDGE ( 'NONE', *, *, #1971, .T. ) ;
#215 = ADVANCED_FACE ( 'NONE', ( #4732 ), #4731, .T. ) ;
#216 = EDGE_LOOP ( 'NONE', ( #217, #140 ) ) ;
#217 = ORIENTED_EDGE ( 'NONE', *, *, #3389, .T. ) ;
#218 = EDGE_CURVE ( 'NONE', #301, #219, #4767, .T. ) ;
#219 = VERTEX_POINT ( 'NONE', #4763 ) ;
#220 = ORIENTED_EDGE ( 'NONE', *, *, #221, .T. ) ;
#221 = EDGE_CURVE ( 'NONE', #219, #222, #4762, .T. ) ;
#222 = VERTEX_POINT ( 'NONE', #4831 ) ;
#223 = ORIENTED_EDGE ( 'NONE', *, *, #224, .T. ) ;
#224 = EDGE_CURVE ( 'NONE', #222, #225, #4830, .T. ) ;
#225 = VERTEX_POINT ( 'NONE', #4825 ) ;
#226 = EDGE_CURVE ( 'NONE', #285, #227, #4824, .T. ) ;
#227 = VERTEX_POINT ( 'NONE', #4819 ) ;
#228 = ORIENTED_EDGE ( 'NONE', *, *, #234, .T. ) ;
#229 = VERTEX_POINT ( 'NONE', #4818 ) ;
#230 = ADVANCED_FACE ( 'NONE', ( #4817 ), #4815, .T. ) ;
#231 = EDGE_LOOP ( 'NONE', ( #281, #287, #290, #272 ) ) ;
#232 = EDGE_CURVE ( 'NONE', #282, #233, #4811, .T. ) ;
#233 = VERTEX_POINT ( 'NONE', #4806 ) ;
#234 = EDGE_CURVE ( 'NONE', #227, #229, #4804, .T. ) ;
#235 = ORIENTED_EDGE ( 'NONE', *, *, #236, .F. ) ;
#236 = EDGE_CURVE ( 'NONE', #242, #229, #4850, .T. ) ;
#237 = ADVANCED_FACE ( 'NONE', ( #4852 ), #4851, .F. ) ;
#238 = EDGE_LOOP ( 'NONE', ( #291, #295, #298, #277 ) ) ;
#239 = ORIENTED_EDGE ( 'NONE', *, *, #240, .F. ) ;
#240 = EDGE_CURVE ( 'NONE', #241, #242, #4840, .T. ) ;
#241 = VERTEX_POINT ( 'NONE', #4836 ) ;
#242 = VERTEX_POINT ( 'NONE', #4835 ) ;
#243 = ORIENTED_EDGE ( 'NONE', *, *, #244, .T. ) ;
#244 = EDGE_CURVE ( 'NONE', #241, #245, #4834, .T. ) ;
#245 = VERTEX_POINT ( 'NONE', #4874 ) ;
#246 = ORIENTED_EDGE ( 'NONE', *, *, #300, .T. ) ;
#247 = EDGE_CURVE ( 'NONE', #12638, #251, #4873, .T. ) ;
#248 = EDGE_CURVE ( 'NONE', #249, #251, #4869, .T. ) ;
#249 = VERTEX_POINT ( 'NONE', #4864 ) ;
#250 = ORIENTED_EDGE ( 'NONE', *, *, #248, .F. ) ;
#251 = VERTEX_POINT ( 'NONE', #4863 ) ;
#252 = ORIENTED_EDGE ( 'NONE', *, *, #253, .T. ) ;
#253 = EDGE_CURVE ( 'NONE', #249, #12640, #4861, .T. ) ;
#254 = ORIENTED_EDGE ( 'NONE', *, *, #3593, .T. ) ;
#255 = ADVANCED_FACE ( 'NONE', ( #4862 ), #4856, .F. ) ;
#256 = ORIENTED_EDGE ( 'NONE', *, *, #1821, .F. ) ;
#257 = ORIENTED_EDGE ( 'NONE', *, *, #3557, .F. ) ;
#258 = ORIENTED_EDGE ( 'NONE', *, *, #1889, .T. ) ;
#259 = ORIENTED_EDGE ( 'NONE', *, *, #3571, .T. ) ;
#260 = ORIENTED_EDGE ( 'NONE', *, *, #195, .F. ) ;
#261 = ORIENTED_EDGE ( 'NONE', *, *, #1883, .T. ) ;
#262 = ADVANCED_FACE ( 'NONE', ( #4855 ), #4905, .F. ) ;
#263 = EDGE_LOOP ( 'NONE', ( #264, #265, #266, #267, #329, #331 ) ) ;
#264 = ORIENTED_EDGE ( 'NONE', *, *, #1871, .F. ) ;
#265 = ORIENTED_EDGE ( 'NONE', *, *, #3565, .F. ) ;
#266 = ORIENTED_EDGE ( 'NONE', *, *, #1813, .T. ) ;
#267 = ORIENTED_EDGE ( 'NONE', *, *, #268, .T. ) ;
#268 = EDGE_CURVE ( 'NONE', #1811, #269, #4904, .T. ) ;
#269 = VERTEX_POINT ( 'NONE', #4895 ) ;
#270 = EDGE_CURVE ( 'NONE', #271, #289, #4894, .T. ) ;
#271 = VERTEX_POINT ( 'NONE', #4889 ) ;
#272 = ORIENTED_EDGE ( 'NONE', *, *, #273, .F. ) ;
#273 = EDGE_CURVE ( 'NONE', #282, #271, #4888, .T. ) ;
#274 = ADVANCED_FACE ( 'NONE', ( #4884 ), #4883, .T. ) ;
#275 = EDGE_LOOP ( 'NONE', ( #239, #243, #246, #302, #220, #223, #283, #286, #228, #235 ) ) ;
#276 = EDGE_CURVE ( 'NONE', #299, #297, #4878, .T. ) ;
#277 = ORIENTED_EDGE ( 'NONE', *, *, #278, .T. ) ;
#278 = EDGE_CURVE ( 'NONE', #299, #293, #4926, .T. ) ;
#279 = ADVANCED_FACE ( 'NONE', ( #4927 ), #4921, .T. ) ;
#280 = EDGE_LOOP ( 'NONE', ( #7610, #12648, #2942, #6698 ) ) ;
#281 = ORIENTED_EDGE ( 'NONE', *, *, #232, .T. ) ;
#282 = VERTEX_POINT ( 'NONE', #4916 ) ;
#283 = ORIENTED_EDGE ( 'NONE', *, *, #284, .T. ) ;
#284 = EDGE_CURVE ( 'NONE', #225, #285, #4915, .T. ) ;
#285 = VERTEX_POINT ( 'NONE', #4910 ) ;
#286 = ORIENTED_EDGE ( 'NONE', *, *, #226, .T. ) ;
#287 = ORIENTED_EDGE ( 'NONE', *, *, #288, .T. ) ;
#288 = EDGE_CURVE ( 'NONE', #233, #289, #4909, .T. ) ;
#289 = VERTEX_POINT ( 'NONE', #4962 ) ;
#290 = ORIENTED_EDGE ( 'NONE', *, *, #270, .F. ) ;
#291 = ORIENTED_EDGE ( 'NONE', *, *, #292, .T. ) ;
#292 = EDGE_CURVE ( 'NONE', #293, #294, #4960, .T. ) ;
#293 = VERTEX_POINT ( 'NONE', #4961 ) ;
#294 = VERTEX_POINT ( 'NONE', #4955 ) ;
#295 = ORIENTED_EDGE ( 'NONE', *, *, #296, .T. ) ;
#296 = EDGE_CURVE ( 'NONE', #294, #297, #4954, .T. ) ;
#297 = VERTEX_POINT ( 'NONE', #4950 ) ;
#298 = ORIENTED_EDGE ( 'NONE', *, *, #276, .F. ) ;
#299 = VERTEX_POINT ( 'NONE', #4949 ) ;
#300 = EDGE_CURVE ( 'NONE', #245, #301, #4948, .T. ) ;
#301 = VERTEX_POINT ( 'NONE', #4943 ) ;
#302 = ORIENTED_EDGE ( 'NONE', *, *, #218, .T. ) ;
#303 = ORIENTED_EDGE ( 'NONE', *, *, #192, .T. ) ;
#304 = ORIENTED_EDGE ( 'NONE', *, *, #1893, .T. ) ;
#305 = ORIENTED_EDGE ( 'NONE', *, *, #134, .T. ) ;
#306 = ORIENTED_EDGE ( 'NONE', *, *, #72, .F. ) ;
#307 = ORIENTED_EDGE ( 'NONE', *, *, #87, .F. ) ;
#308 = ORIENTED_EDGE ( 'NONE', *, *, #2885, .T. ) ;
#309 = ORIENTED_EDGE ( 'NONE', *, *, #310, .T. ) ;
#310 = EDGE_CURVE ( 'NONE', #2986, #2983, #4942, .T. ) ;
#311 = EDGE_LOOP ( 'NONE', ( #312, #313, #314 ) ) ;
#312 = ORIENTED_EDGE ( 'NONE', *, *, #141, .F. ) ;
#313 = ORIENTED_EDGE ( 'NONE', *, *, #212, .F. ) ;
#314 = ORIENTED_EDGE ( 'NONE', *, *, #1921, .F. ) ;
#315 = ADVANCED_FACE ( 'NONE', ( #4937, #4936 ), #4934, .T. ) ;
#316 = EDGE_LOOP ( 'NONE', ( #6, #7, #5, #4, #3, #2, #1, #303, #304, #13, #14, #15, #16 ) ) ;
#317 = ORIENTED_EDGE ( 'NONE', *, *, #2953, .F. ) ;
#318 = ORIENTED_EDGE ( 'NONE', *, *, #37, .F. ) ;
#319 = ORIENTED_EDGE ( 'NONE', *, *, #2965, .T. ) ;
#320 = ORIENTED_EDGE ( 'NONE', *, *, #321, .T. ) ;
#321 = EDGE_CURVE ( 'NONE', #2963, #199, #4997, .T. ) ;
#322 = ORIENTED_EDGE ( 'NONE', *, *, #198, .F. ) ;
#323 = ORIENTED_EDGE ( 'NONE', *, *, #3583, .T. ) ;
#324 = ADVANCED_FACE ( 'NONE', ( #4993, #4992 ), #4991, .T. ) ;
#325 = EDGE_LOOP ( 'NONE', ( #326, #327, #328, #305, #306, #307, #308, #309 ) ) ;
#326 = ORIENTED_EDGE ( 'NONE', *, *, #2982, .F. ) ;
#327 = ORIENTED_EDGE ( 'NONE', *, *, #107, .T. ) ;
#328 = ORIENTED_EDGE ( 'NONE', *, *, #65, .F. ) ;
#329 = ORIENTED_EDGE ( 'NONE', *, *, #330, .F. ) ;
#330 = EDGE_CURVE ( 'NONE', #3578, #269, #4990, .T. ) ;
#331 = ORIENTED_EDGE ( 'NONE', *, *, #3577, .T. ) ;
#332 = ADVANCED_FACE ( 'NONE', ( #4982 ), #4980, .F. ) ;
#333 = EDGE_LOOP ( 'NONE', ( #334, #336, #337, #338 ) ) ;
#334 = ORIENTED_EDGE ( 'NONE', *, *, #335, .F. ) ;
#335 = EDGE_CURVE ( 'NONE', #2960, #269, #4975, .T. ) ;
#336 = ORIENTED_EDGE ( 'NONE', *, *, #2959, .T. ) ;
#337 = ORIENTED_EDGE ( 'NONE', *, *, #3580, .T. ) ;
#338 = ORIENTED_EDGE ( 'NONE', *, *, #330, .T. ) ;
#339 = ADVANCED_FACE ( 'NONE', ( #4971 ), #4970, .F. ) ;
#340 = EDGE_LOOP ( 'NONE', ( #317, #318, #319, #320, #322, #323 ) ) ;
#341 = EDGE_CURVE ( 'NONE', #1829, #1823, #4969, .T. ) ;
#342 = ORIENTED_EDGE ( 'NONE', *, *, #1828, .T. ) ;
#343 = ORIENTED_EDGE ( 'NONE', *, *, #3574, .T. ) ;
#344 = ORIENTED_EDGE ( 'NONE', *, *, #3706, .T. ) ;
#345 = ORIENTED_EDGE ( 'NONE', *, *, #3727, .T. ) ;
#346 = ORIENTED_EDGE ( 'NONE', *, *, #347, .T. ) ;
#347 = EDGE_CURVE ( 'NONE', #3358, #3355, #5022, .T. ) ;
#348 = ORIENTED_EDGE ( 'NONE', *, *, #349, .T. ) ;
#349 = EDGE_CURVE ( 'NONE', #3355, #364, #5018, .T. ) ;
#350 = ADVANCED_FACE ( 'NONE', ( #5014 ), #5013, .T. ) ;
#351 = EDGE_LOOP ( 'NONE', ( #352, #355, #356, #357, #415, #417, #420 ) ) ;
#352 = ORIENTED_EDGE ( 'NONE', *, *, #353, .T. ) ;
#353 = EDGE_CURVE ( 'NONE', #354, #3725, #5008, .T. ) ;
#354 = VERTEX_POINT ( 'NONE', #5004 ) ;
#355 = ORIENTED_EDGE ( 'NONE', *, *, #3724, .T. ) ;
#356 = ORIENTED_EDGE ( 'NONE', *, *, #1683, .T. ) ;
#357 = ORIENTED_EDGE ( 'NONE', *, *, #363, .F. ) ;
#358 = ORIENTED_EDGE ( 'NONE', *, *, #359, .T. ) ;
#359 = EDGE_CURVE ( 'NONE', #3361, #374, #5003, .T. ) ;
#360 = ADVANCED_FACE ( 'NONE', ( #4999 ), #4998, .T. ) ;
#361 = EDGE_LOOP ( 'NONE', ( #362, #365, #366, #367, #368, #346, #348 ) ) ;
#362 = ORIENTED_EDGE ( 'NONE', *, *, #363, .T. ) ;
#363 = EDGE_CURVE ( 'NONE', #364, #1681, #5055, .T. ) ;
#364 = VERTEX_POINT ( 'NONE', #5051 ) ;
#365 = ORIENTED_EDGE ( 'NONE', *, *, #1680, .T. ) ;
#366 = ORIENTED_EDGE ( 'NONE', *, *, #1675, .T. ) ;
#367 = ORIENTED_EDGE ( 'NONE', *, *, #373, .F. ) ;
#368 = ORIENTED_EDGE ( 'NONE', *, *, #369, .T. ) ;
#369 = EDGE_CURVE ( 'NONE', #374, #3358, #5050, .T. ) ;
#370 = ADVANCED_FACE ( 'NONE', ( #5046 ), #5045, .T. ) ;
#371 = EDGE_LOOP ( 'NONE', ( #372, #375, #376, #377, #380, #382, #358 ) ) ;
#372 = ORIENTED_EDGE ( 'NONE', *, *, #373, .T. ) ;
#373 = EDGE_CURVE ( 'NONE', #374, #1673, #5040, .T. ) ;
#374 = VERTEX_POINT ( 'NONE', #5036 ) ;
#375 = ORIENTED_EDGE ( 'NONE', *, *, #1672, .T. ) ;
#376 = ORIENTED_EDGE ( 'NONE', *, *, #3772, .T. ) ;
#377 = ORIENTED_EDGE ( 'NONE', *, *, #378, .F. ) ;
#378 = EDGE_CURVE ( 'NONE', #379, #3721, #5035, .T. ) ;
#379 = VERTEX_POINT ( 'NONE', #5031 ) ;
#380 = ORIENTED_EDGE ( 'NONE', *, *, #381, .T. ) ;
#381 = EDGE_CURVE ( 'NONE', #379, #3364, #5030, .T. ) ;
#382 = ORIENTED_EDGE ( 'NONE', *, *, #383, .T. ) ;
#383 = EDGE_CURVE ( 'NONE', #3364, #3361, #5089, .T. ) ;
#384 = ADVANCED_FACE ( 'NONE', ( #5085 ), #5084, .T. ) ;
#385 = ORIENTED_EDGE ( 'NONE', *, *, #386, .T. ) ;
#386 = EDGE_CURVE ( 'NONE', #470, #387, #5079, .T. ) ;
#387 = VERTEX_POINT ( 'NONE', #5075 ) ;
#388 = ORIENTED_EDGE ( 'NONE', *, *, #3731, .T. ) ;
#389 = ORIENTED_EDGE ( 'NONE', *, *, #425, .F. ) ;
#390 = ORIENTED_EDGE ( 'NONE', *, *, #391, .T. ) ;
#391 = EDGE_CURVE ( 'NONE', #426, #392, #5074, .T. ) ;
#392 = VERTEX_POINT ( 'NONE', #5070 ) ;
#393 = ORIENTED_EDGE ( 'NONE', *, *, #394, .T. ) ;
#394 = EDGE_CURVE ( 'NONE', #392, #395, #5069, .T. ) ;
#395 = VERTEX_POINT ( 'NONE', #5065 ) ;
#396 = ORIENTED_EDGE ( 'NONE', *, *, #397, .T. ) ;
#397 = EDGE_CURVE ( 'NONE', #395, #413, #5064, .T. ) ;
#398 = ADVANCED_FACE ( 'NONE', ( #5060 ), #5122, .T. ) ;
#399 = EDGE_LOOP ( 'NONE', ( #461, #462, #463, #464, #465, #468, #385, #448, #450 ) ) ;
#400 = ORIENTED_EDGE ( 'NONE', *, *, #353, .F. ) ;
#401 = ORIENTED_EDGE ( 'NONE', *, *, #402, .T. ) ;
#402 = EDGE_CURVE ( 'NONE', #354, #403, #5117, .T. ) ;
#403 = VERTEX_POINT ( 'NONE', #5113 ) ;
#404 = ORIENTED_EDGE ( 'NONE', *, *, #405, .T. ) ;
#405 = EDGE_CURVE ( 'NONE', #403, #406, #5112, .T. ) ;
#406 = VERTEX_POINT ( 'NONE', #5108 ) ;
#407 = ORIENTED_EDGE ( 'NONE', *, *, #408, .T. ) ;
#408 = EDGE_CURVE ( 'NONE', #406, #426, #5107, .T. ) ;
#409 = ADVANCED_FACE ( 'NONE', ( #5103 ), #5102, .T. ) ;
#410 = EDGE_LOOP ( 'NONE', ( #411, #414, #388, #389, #390, #393, #396 ) ) ;
#411 = ORIENTED_EDGE ( 'NONE', *, *, #412, .T. ) ;
#412 = EDGE_CURVE ( 'NONE', #413, #3713, #5097, .T. ) ;
#413 = VERTEX_POINT ( 'NONE', #5093 ) ;
#414 = ORIENTED_EDGE ( 'NONE', *, *, #3712, .T. ) ;
#415 = ORIENTED_EDGE ( 'NONE', *, *, #416, .T. ) ;
#416 = EDGE_CURVE ( 'NONE', #364, #3352, #5092, .T. ) ;
#417 = ORIENTED_EDGE ( 'NONE', *, *, #418, .T. ) ;
#418 = EDGE_CURVE ( 'NONE', #3352, #419, #5153, .T. ) ;
#419 = VERTEX_POINT ( 'NONE', #5149 ) ;
#420 = ORIENTED_EDGE ( 'NONE', *, *, #421, .T. ) ;
#421 = EDGE_CURVE ( 'NONE', #419, #354, #5148, .T. ) ;
#422 = ADVANCED_FACE ( 'NONE', ( #5144 ), #5143, .T. ) ;
#423 = EDGE_LOOP ( 'NONE', ( #424, #344, #345, #400, #401, #404, #407 ) ) ;
#424 = ORIENTED_EDGE ( 'NONE', *, *, #425, .T. ) ;
#425 = EDGE_CURVE ( 'NONE', #426, #3732, #5138, .T. ) ;
#426 = VERTEX_POINT ( 'NONE', #5134 ) ;
#427 = ADVANCED_FACE ( 'NONE', ( #5133 ), #5132, .T. ) ;
#428 = EDGE_LOOP ( 'NONE', ( #429, #495, #496, #497, #498, #500, #503 ) ) ;
#429 = ORIENTED_EDGE ( 'NONE', *, *, #430, .T. ) ;
#430 = EDGE_CURVE ( 'NONE', #432, #3766, #5127, .T. ) ;
#431 = ORIENTED_EDGE ( 'NONE', *, *, #1634, .T. ) ;
#432 = VERTEX_POINT ( 'NONE', #5123 ) ;
#433 = VERTEX_POINT ( 'NONE', #5186 ) ;
#434 = ORIENTED_EDGE ( 'NONE', *, *, #435, .T. ) ;
#435 = EDGE_CURVE ( 'NONE', #433, #3241, #5185, .T. ) ;
#436 = ORIENTED_EDGE ( 'NONE', *, *, #437, .T. ) ;
#437 = EDGE_CURVE ( 'NONE', #3241, #3323, #5181, .T. ) ;
#438 = ORIENTED_EDGE ( 'NONE', *, *, #440, .T. ) ;
#439 = VERTEX_POINT ( 'NONE', #5177 ) ;
#440 = EDGE_CURVE ( 'NONE', #3323, #456, #5176, .T. ) ;
#441 = ADVANCED_FACE ( 'NONE', ( #5172 ), #5171, .T. ) ;
#442 = EDGE_LOOP ( 'NONE', ( #443, #446, #447, #509, #510, #512, #514 ) ) ;
#443 = ORIENTED_EDGE ( 'NONE', *, *, #444, .T. ) ;
#444 = EDGE_CURVE ( 'NONE', #445, #3705, #5166, .T. ) ;
#445 = VERTEX_POINT ( 'NONE', #5162 ) ;
#446 = ORIENTED_EDGE ( 'NONE', *, *, #3758, .T. ) ;
#447 = ORIENTED_EDGE ( 'NONE', *, *, #3696, .T. ) ;
#448 = ORIENTED_EDGE ( 'NONE', *, *, #449, .T. ) ;
#449 = EDGE_CURVE ( 'NONE', #387, #3367, #5161, .T. ) ;
#450 = ORIENTED_EDGE ( 'NONE', *, *, #451, .T. ) ;
#451 = EDGE_CURVE ( 'NONE', #3367, #379, #5157, .T. ) ;
#452 = ADVANCED_FACE ( 'NONE', ( #5216 ), #5215, .T. ) ;
#453 = EDGE_LOOP ( 'NONE', ( #454, #457, #458, #459, #434, #436, #438 ) ) ;
#454 = ORIENTED_EDGE ( 'NONE', *, *, #455, .T. ) ;
#455 = EDGE_CURVE ( 'NONE', #456, #3697, #5210, .T. ) ;
#456 = VERTEX_POINT ( 'NONE', #5206 ) ;
#457 = ORIENTED_EDGE ( 'NONE', *, *, #3700, .T. ) ;
#458 = ORIENTED_EDGE ( 'NONE', *, *, #3808, .T. ) ;
#459 = ORIENTED_EDGE ( 'NONE', *, *, #460, .F. ) ;
#460 = EDGE_CURVE ( 'NONE', #433, #3806, #5205, .T. ) ;
#461 = ORIENTED_EDGE ( 'NONE', *, *, #378, .T. ) ;
#462 = ORIENTED_EDGE ( 'NONE', *, *, #3720, .T. ) ;
#463 = ORIENTED_EDGE ( 'NONE', *, *, #3715, .T. ) ;
#464 = ORIENTED_EDGE ( 'NONE', *, *, #412, .F. ) ;
#465 = ORIENTED_EDGE ( 'NONE', *, *, #466, .T. ) ;
#466 = EDGE_CURVE ( 'NONE', #413, #467, #5201, .T. ) ;
#467 = VERTEX_POINT ( 'NONE', #5197 ) ;
#468 = ORIENTED_EDGE ( 'NONE', *, *, #469, .T. ) ;
#469 = EDGE_CURVE ( 'NONE', #467, #470, #5196, .T. ) ;
#470 = VERTEX_POINT ( 'NONE', #5192 ) ;
#471 = EDGE_CURVE ( 'NONE', #472, #3753, #5191, .T. ) ;
#472 = VERTEX_POINT ( 'NONE', #5187 ) ;
#473 = ORIENTED_EDGE ( 'NONE', *, *, #3752, .T. ) ;
#474 = ORIENTED_EDGE ( 'NONE', *, *, #3746, .T. ) ;
#475 = ORIENTED_EDGE ( 'NONE', *, *, #508, .F. ) ;
#476 = ORIENTED_EDGE ( 'NONE', *, *, #477, .T. ) ;
#477 = EDGE_CURVE ( 'NONE', #483, #478, #5249, .T. ) ;
#478 = VERTEX_POINT ( 'NONE', #5245 ) ;
#479 = ORIENTED_EDGE ( 'NONE', *, *, #480, .T. ) ;
#480 = EDGE_CURVE ( 'NONE', #478, #481, #5244, .T. ) ;
#481 = VERTEX_POINT ( 'NONE', #5240 ) ;
#482 = EDGE_LOOP ( 'NONE', ( #544, #545, #546, #547, #548, #551, #530, #533, #535 ) ) ;
#483 = VERTEX_POINT ( 'NONE', #5239 ) ;
#484 = ORIENTED_EDGE ( 'NONE', *, *, #3743, .T. ) ;
#485 = ORIENTED_EDGE ( 'NONE', *, *, #3768, .T. ) ;
#486 = ORIENTED_EDGE ( 'NONE', *, *, #430, .F. ) ;
#487 = ORIENTED_EDGE ( 'NONE', *, *, #488, .T. ) ;
#488 = EDGE_CURVE ( 'NONE', #432, #489, #5238, .T. ) ;
#489 = VERTEX_POINT ( 'NONE', #5234 ) ;
#490 = ORIENTED_EDGE ( 'NONE', *, *, #491, .T. ) ;
#491 = EDGE_CURVE ( 'NONE', #489, #492, #5233, .T. ) ;
#492 = VERTEX_POINT ( 'NONE', #5229 ) ;
#493 = ORIENTED_EDGE ( 'NONE', *, *, #494, .T. ) ;
#494 = EDGE_CURVE ( 'NONE', #492, #483, #5228, .T. ) ;
#495 = ORIENTED_EDGE ( 'NONE', *, *, #3765, .T. ) ;
#496 = ORIENTED_EDGE ( 'NONE', *, *, #3760, .T. ) ;
#497 = ORIENTED_EDGE ( 'NONE', *, *, #444, .F. ) ;
#498 = ORIENTED_EDGE ( 'NONE', *, *, #499, .T. ) ;
#499 = EDGE_CURVE ( 'NONE', #445, #3334, #5224, .T. ) ;
#500 = ORIENTED_EDGE ( 'NONE', *, *, #501, .T. ) ;
#501 = EDGE_CURVE ( 'NONE', #3334, #502, #5220, .T. ) ;
#502 = VERTEX_POINT ( 'NONE', #5277 ) ;
#503 = ORIENTED_EDGE ( 'NONE', *, *, #504, .T. ) ;
#504 = EDGE_CURVE ( 'NONE', #502, #432, #5276, .T. ) ;
#505 = ADVANCED_FACE ( 'NONE', ( #5272 ), #5271, .T. ) ;
#506 = EDGE_LOOP ( 'NONE', ( #507, #484, #485, #486, #487, #490, #493 ) ) ;
#507 = ORIENTED_EDGE ( 'NONE', *, *, #508, .T. ) ;
#508 = EDGE_CURVE ( 'NONE', #483, #3744, #5266, .T. ) ;
#509 = ORIENTED_EDGE ( 'NONE', *, *, #455, .F. ) ;
#510 = ORIENTED_EDGE ( 'NONE', *, *, #511, .T. ) ;
#511 = EDGE_CURVE ( 'NONE', #456, #3340, #5262, .T. ) ;
#512 = ORIENTED_EDGE ( 'NONE', *, *, #513, .T. ) ;
#513 = EDGE_CURVE ( 'NONE', #3340, #3337, #5258, .T. ) ;
#514 = ORIENTED_EDGE ( 'NONE', *, *, #515, .T. ) ;
#515 = EDGE_CURVE ( 'NONE', #3337, #445, #5254, .T. ) ;
#516 = ORIENTED_EDGE ( 'NONE', *, *, #517, .T. ) ;
#517 = EDGE_CURVE ( 'NONE', #3899, #3896, #5250, .T. ) ;
#518 = ADVANCED_FACE ( 'NONE', ( #5308 ), #5307, .F. ) ;
#519 = EDGE_LOOP ( 'NONE', ( #520, #521, #522, #523 ) ) ;
#520 = ORIENTED_EDGE ( 'NONE', *, *, #3936, .F. ) ;
#521 = ORIENTED_EDGE ( 'NONE', *, *, #3794, .F. ) ;
#522 = ORIENTED_EDGE ( 'NONE', *, *, #4013, .T. ) ;
#523 = ORIENTED_EDGE ( 'NONE', *, *, #524, .T. ) ;
#524 = EDGE_CURVE ( 'NONE', #4011, #4008, #5306, .T. ) ;
#525 = ADVANCED_FACE ( 'NONE', ( #5297 ), #5296, .F. ) ;
#526 = EDGE_LOOP ( 'NONE', ( #527, #583, #584, #585 ) ) ;
#527 = ORIENTED_EDGE ( 'NONE', *, *, #4006, .F. ) ;
#528 = EDGE_CURVE ( 'NONE', #550, #529, #5291, .T. ) ;
#529 = VERTEX_POINT ( 'NONE', #5287 ) ;
#530 = ORIENTED_EDGE ( 'NONE', *, *, #531, .T. ) ;
#531 = EDGE_CURVE ( 'NONE', #529, #532, #5286, .T. ) ;
#532 = VERTEX_POINT ( 'NONE', #5282 ) ;
#533 = ORIENTED_EDGE ( 'NONE', *, *, #534, .T. ) ;
#534 = EDGE_CURVE ( 'NONE', #532, #3244, #5280, .T. ) ;
#535 = ORIENTED_EDGE ( 'NONE', *, *, #536, .T. ) ;
#536 = EDGE_CURVE ( 'NONE', #3244, #433, #5343, .T. ) ;
#537 = ADVANCED_FACE ( 'NONE', ( #5339 ), #5337, .T. ) ;
#538 = EDGE_LOOP ( 'NONE', ( #539, #540, #595, #516 ) ) ;
#539 = ORIENTED_EDGE ( 'NONE', *, *, #3980, .F. ) ;
#540 = ORIENTED_EDGE ( 'NONE', *, *, #3789, .F. ) ;
#541 = ORIENTED_EDGE ( 'NONE', *, *, #542, .T. ) ;
#542 = EDGE_CURVE ( 'NONE', #481, #472, #5338, .T. ) ;
#543 = ADVANCED_FACE ( 'NONE', ( #5329 ), #5328, .T. ) ;
#544 = ORIENTED_EDGE ( 'NONE', *, *, #460, .T. ) ;
#545 = ORIENTED_EDGE ( 'NONE', *, *, #3805, .T. ) ;
#546 = ORIENTED_EDGE ( 'NONE', *, *, #3755, .T. ) ;
#547 = ORIENTED_EDGE ( 'NONE', *, *, #471, .F. ) ;
#548 = ORIENTED_EDGE ( 'NONE', *, *, #549, .T. ) ;
#549 = EDGE_CURVE ( 'NONE', #472, #550, #5323, .T. ) ;
#550 = VERTEX_POINT ( 'NONE', #5319 ) ;
#551 = ORIENTED_EDGE ( 'NONE', *, *, #528, .T. ) ;
#552 = ADVANCED_FACE ( 'NONE', ( #5318 ), #5317, .T. ) ;
#553 = EDGE_LOOP ( 'NONE', ( #554, #473, #474, #475, #476, #479, #541 ) ) ;
#554 = ORIENTED_EDGE ( 'NONE', *, *, #471, .T. ) ;
#555 = ORIENTED_EDGE ( 'NONE', *, *, #615, .T. ) ;
#556 = VERTEX_POINT ( 'NONE', #5375 ) ;
#557 = ORIENTED_EDGE ( 'NONE', *, *, #558, .F. ) ;
#558 = EDGE_CURVE ( 'NONE', #559, #6643, #5374, .T. ) ;
#559 = VERTEX_POINT ( 'NONE', #5370 ) ;
#560 = ORIENTED_EDGE ( 'NONE', *, *, #561, .T. ) ;
#561 = EDGE_CURVE ( 'NONE', #559, #3222, #5369, .T. ) ;
#562 = ORIENTED_EDGE ( 'NONE', *, *, #563, .T. ) ;
#563 = EDGE_CURVE ( 'NONE', #3222, #3219, #5365, .T. ) ;
#564 = ORIENTED_EDGE ( 'NONE', *, *, #565, .T. ) ;
#565 = EDGE_CURVE ( 'NONE', #3219, #580, #5361, .T. ) ;
#566 = ADVANCED_FACE ( 'NONE', ( #5357 ), #5356, .T. ) ;
#567 = EDGE_LOOP ( 'NONE', ( #568, #629, #630, #631, #632, #634, #636 ) ) ;
#568 = ORIENTED_EDGE ( 'NONE', *, *, #569, .T. ) ;
#569 = EDGE_CURVE ( 'NONE', #628, #12663, #5351, .T. ) ;
#570 = EDGE_LOOP ( 'NONE', ( #571, #572, #573, #574 ) ) ;
#571 = ORIENTED_EDGE ( 'NONE', *, *, #3826, .F. ) ;
#572 = ORIENTED_EDGE ( 'NONE', *, *, #3783, .F. ) ;
#573 = ORIENTED_EDGE ( 'NONE', *, *, #3820, .T. ) ;
#574 = ORIENTED_EDGE ( 'NONE', *, *, #575, .T. ) ;
#575 = EDGE_CURVE ( 'NONE', #3829, #3827, #5347, .T. ) ;
#576 = ADVANCED_FACE ( 'NONE', ( #5405 ), #5404, .T. ) ;
#577 = EDGE_LOOP ( 'NONE', ( #578, #581, #582, #557, #560, #562, #564 ) ) ;
#578 = ORIENTED_EDGE ( 'NONE', *, *, #579, .T. ) ;
#579 = EDGE_CURVE ( 'NONE', #580, #6645, #5399, .T. ) ;
#580 = VERTEX_POINT ( 'NONE', #5395 ) ;
#581 = ORIENTED_EDGE ( 'NONE', *, *, #6650, .T. ) ;
#582 = ORIENTED_EDGE ( 'NONE', *, *, #6696, .T. ) ;
#583 = ORIENTED_EDGE ( 'NONE', *, *, #3799, .F. ) ;
#584 = ORIENTED_EDGE ( 'NONE', *, *, #3958, .T. ) ;
#585 = ORIENTED_EDGE ( 'NONE', *, *, #586, .T. ) ;
#586 = EDGE_CURVE ( 'NONE', #3960, #4007, #5394, .T. ) ;
#587 = ADVANCED_FACE ( 'NONE', ( #5389 ), #5388, .F. ) ;
#588 = EDGE_LOOP ( 'NONE', ( #589, #590, #591, #592 ) ) ;
#589 = ORIENTED_EDGE ( 'NONE', *, *, #3871, .F. ) ;
#590 = ORIENTED_EDGE ( 'NONE', *, *, #3778, .F. ) ;
#591 = ORIENTED_EDGE ( 'NONE', *, *, #3877, .T. ) ;
#592 = ORIENTED_EDGE ( 'NONE', *, *, #593, .T. ) ;
#593 = EDGE_CURVE ( 'NONE', #3875, #3872, #5382, .T. ) ;
#594 = ADVANCED_FACE ( 'NONE', ( #5378 ), #5376, .F. ) ;
#595 = ORIENTED_EDGE ( 'NONE', *, *, #4016, .T. ) ;
#596 = VERTEX_POINT ( 'NONE', #5440 ) ;
#597 = ORIENTED_EDGE ( 'NONE', *, *, #6679, .T. ) ;
#598 = ORIENTED_EDGE ( 'NONE', *, *, #6655, .T. ) ;
#599 = ORIENTED_EDGE ( 'NONE', *, *, #605, .F. ) ;
#600 = ORIENTED_EDGE ( 'NONE', *, *, #601, .T. ) ;
#601 = EDGE_CURVE ( 'NONE', #606, #602, #5436, .T. ) ;
#602 = VERTEX_POINT ( 'NONE', #5432 ) ;
#603 = ADVANCED_FACE ( 'NONE', ( #5431 ), #5430, .T. ) ;
#604 = ORIENTED_EDGE ( 'NONE', *, *, #605, .T. ) ;
#605 = EDGE_CURVE ( 'NONE', #606, #6653, #5425, .T. ) ;
#606 = VERTEX_POINT ( 'NONE', #5421 ) ;
#607 = ORIENTED_EDGE ( 'NONE', *, *, #6659, .T. ) ;
#608 = ORIENTED_EDGE ( 'NONE', *, *, #6667, .T. ) ;
#609 = ORIENTED_EDGE ( 'NONE', *, *, #615, .F. ) ;
#610 = ORIENTED_EDGE ( 'NONE', *, *, #611, .T. ) ;
#611 = EDGE_CURVE ( 'NONE', #556, #612, #5420, .T. ) ;
#612 = VERTEX_POINT ( 'NONE', #5416 ) ;
#613 = ORIENTED_EDGE ( 'NONE', *, *, #614, .T. ) ;
#614 = EDGE_CURVE ( 'NONE', #612, #2941, #5415, .T. ) ;
#615 = EDGE_CURVE ( 'NONE', #556, #6663, #5411, .T. ) ;
#616 = ORIENTED_EDGE ( 'NONE', *, *, #6668, .T. ) ;
#617 = ORIENTED_EDGE ( 'NONE', *, *, #12664, .T. ) ;
#618 = ORIENTED_EDGE ( 'NONE', *, *, #569, .F. ) ;
#619 = ORIENTED_EDGE ( 'NONE', *, *, #620, .T. ) ;
#620 = EDGE_CURVE ( 'NONE', #628, #621, #5407, .T. ) ;
#621 = VERTEX_POINT ( 'NONE', #5466 ) ;
#622 = ORIENTED_EDGE ( 'NONE', *, *, #623, .T. ) ;
#623 = EDGE_CURVE ( 'NONE', #621, #624, #5465, .T. ) ;
#624 = VERTEX_POINT ( 'NONE', #5461 ) ;
#625 = ORIENTED_EDGE ( 'NONE', *, *, #626, .T. ) ;
#626 = EDGE_CURVE ( 'NONE', #624, #556, #5460, .T. ) ;
#627 = EDGE_LOOP ( 'NONE', ( #604, #607, #608, #609, #610, #613, #673 ) ) ;
#628 = VERTEX_POINT ( 'NONE', #5456 ) ;
#629 = ORIENTED_EDGE ( 'NONE', *, *, #12660, .T. ) ;
#630 = ORIENTED_EDGE ( 'NONE', *, *, #6647, .T. ) ;
#631 = ORIENTED_EDGE ( 'NONE', *, *, #579, .F. ) ;
#632 = ORIENTED_EDGE ( 'NONE', *, *, #633, .T. ) ;
#633 = EDGE_CURVE ( 'NONE', #580, #3216, #5455, .T. ) ;
#634 = ORIENTED_EDGE ( 'NONE', *, *, #635, .T. ) ;
#635 = EDGE_CURVE ( 'NONE', #3216, #3213, #5451, .T. ) ;
#636 = ORIENTED_EDGE ( 'NONE', *, *, #637, .T. ) ;
#637 = EDGE_CURVE ( 'NONE', #3213, #628, #5447, .T. ) ;
#638 = ADVANCED_FACE ( 'NONE', ( #5443 ), #5441, .T. ) ;
#639 = EDGE_LOOP ( 'NONE', ( #555, #616, #617, #618, #619, #622, #625 ) ) ;
#640 = ORIENTED_EDGE ( 'NONE', *, *, #3862, .T. ) ;
#641 = ORIENTED_EDGE ( 'NONE', *, *, #642, .T. ) ;
#642 = EDGE_CURVE ( 'NONE', #3859, #299, #5499, .T. ) ;
#643 = ORIENTED_EDGE ( 'NONE', *, *, #276, .T. ) ;
#644 = ORIENTED_EDGE ( 'NONE', *, *, #645, .T. ) ;
#645 = EDGE_CURVE ( 'NONE', #297, #12665, #5495, .T. ) ;
#646 = EDGE_LOOP ( 'NONE', ( #700, #701 ) ) ;
#647 = ORIENTED_EDGE ( 'NONE', *, *, #648, .T. ) ;
#648 = EDGE_CURVE ( 'NONE', #3170, #3167, #5490, .T. ) ;
#649 = ORIENTED_EDGE ( 'NONE', *, *, #650, .T. ) ;
#650 = EDGE_CURVE ( 'NONE', #3167, #559, #5486, .T. ) ;
#651 = ADVANCED_FACE ( 'NONE', ( #5482 ), #5480, .F. ) ;
#652 = EDGE_LOOP ( 'NONE', ( #653, #654, #655, #656 ) ) ;
#653 = ORIENTED_EDGE ( 'NONE', *, *, #3890, .F. ) ;
#654 = ORIENTED_EDGE ( 'NONE', *, *, #12646, .F. ) ;
#655 = ORIENTED_EDGE ( 'NONE', *, *, #3811, .T. ) ;
#656 = ORIENTED_EDGE ( 'NONE', *, *, #657, .F. ) ;
#657 = EDGE_CURVE ( 'NONE', #3884, #3867, #5475, .T. ) ;
#658 = ADVANCED_FACE ( 'NONE', ( #5471 ), #5470, .F. ) ;
#659 = EDGE_LOOP ( 'NONE', ( #712, #12667, #12666, #640, #641, #643, #644 ) ) ;
#660 = ORIENTED_EDGE ( 'NONE', *, *, #661, .T. ) ;
#661 = EDGE_CURVE ( 'NONE', #602, #662, #5534, .T. ) ;
#662 = VERTEX_POINT ( 'NONE', #5526 ) ;
#663 = ORIENTED_EDGE ( 'NONE', *, *, #664, .T. ) ;
#664 = EDGE_CURVE ( 'NONE', #662, #596, #5525, .T. ) ;
#665 = ADVANCED_FACE ( 'NONE', ( #5521 ), #5520, .T. ) ;
#666 = EDGE_LOOP ( 'NONE', ( #667, #668, #669, #670, #671, #647, #649 ) ) ;
#667 = ORIENTED_EDGE ( 'NONE', *, *, #558, .T. ) ;
#668 = ORIENTED_EDGE ( 'NONE', *, *, #6669, .T. ) ;
#669 = ORIENTED_EDGE ( 'NONE', *, *, #6678, .T. ) ;
#670 = ORIENTED_EDGE ( 'NONE', *, *, #678, .F. ) ;
#671 = ORIENTED_EDGE ( 'NONE', *, *, #672, .T. ) ;
#672 = EDGE_CURVE ( 'NONE', #596, #3170, #5515, .T. ) ;
#673 = ORIENTED_EDGE ( 'NONE', *, *, #674, .T. ) ;
#674 = EDGE_CURVE ( 'NONE', #2941, #606, #5511, .T. ) ;
#675 = ADVANCED_FACE ( 'NONE', ( #5507 ), #5506, .T. ) ;
#676 = EDGE_LOOP ( 'NONE', ( #677, #597, #598, #599, #600, #660, #663 ) ) ;
#677 = ORIENTED_EDGE ( 'NONE', *, *, #678, .T. ) ;
#678 = EDGE_CURVE ( 'NONE', #596, #6676, #5505, .T. ) ;
#679 = EDGE_LOOP ( 'NONE', ( #680, #681 ) ) ;
#680 = ORIENTED_EDGE ( 'NONE', *, *, #6613, .F. ) ;
#681 = ORIENTED_EDGE ( 'NONE', *, *, #682, .F. ) ;
#682 = EDGE_CURVE ( 'NONE', #6610, #6608, #5563, .T. ) ;
#683 = ADVANCED_FACE ( 'NONE', ( #5558 ), #5557, .F. ) ;
#684 = EDGE_LOOP ( 'NONE', ( #685, #736, #737 ) ) ;
#685 = ORIENTED_EDGE ( 'NONE', *, *, #686, .F. ) ;
#686 = EDGE_CURVE ( 'NONE', #6627, #6610, #5552, .T. ) ;
#687 = ADVANCED_FACE ( 'NONE', ( #5547 ), #5546, .F. ) ;
#688 = ORIENTED_EDGE ( 'NONE', *, *, #221, .F. ) ;
#689 = ORIENTED_EDGE ( 'NONE', *, *, #5806, .F. ) ;
#690 = ORIENTED_EDGE ( 'NONE', *, *, #3748, .F. ) ;
#691 = ADVANCED_FACE ( 'NONE', ( #5541 ), #5539, .F. ) ;
#692 = EDGE_LOOP ( 'NONE', ( #693, #694 ) ) ;
#693 = ORIENTED_EDGE ( 'NONE', *, *, #5835, .F. ) ;
#694 = ORIENTED_EDGE ( 'NONE', *, *, #218, .F. ) ;
#695 = ADVANCED_FACE ( 'NONE', ( #5602 ), #5601, .F. ) ;
#696 = EDGE_LOOP ( 'NONE', ( #697, #750, #751, #752 ) ) ;
#697 = ORIENTED_EDGE ( 'NONE', *, *, #698, .F. ) ;
#698 = EDGE_CURVE ( 'NONE', #6608, #245, #5596, .T. ) ;
#699 = ADVANCED_FACE ( 'NONE', ( #5591 ), #5590, .F. ) ;
#700 = ORIENTED_EDGE ( 'NONE', *, *, #6644, .F. ) ;
#701 = ORIENTED_EDGE ( 'NONE', *, *, #226, .F. ) ;
#702 = ADVANCED_FACE ( 'NONE', ( #5585 ), #5584, .F. ) ;
#703 = EDGE_LOOP ( 'NONE', ( #704, #705, #706 ) ) ;
#704 = ORIENTED_EDGE ( 'NONE', *, *, #284, .F. ) ;
#705 = ORIENTED_EDGE ( 'NONE', *, *, #3708, .F. ) ;
#706 = ORIENTED_EDGE ( 'NONE', *, *, #6642, .F. ) ;
#707 = ADVANCED_FACE ( 'NONE', ( #5579 ), #5578, .F. ) ;
#708 = EDGE_LOOP ( 'NONE', ( #709, #710 ) ) ;
#709 = ORIENTED_EDGE ( 'NONE', *, *, #3801, .F. ) ;
#710 = ORIENTED_EDGE ( 'NONE', *, *, #224, .F. ) ;
#711 = EDGE_LOOP ( 'NONE', ( #688, #689, #690 ) ) ;
#712 = ORIENTED_EDGE ( 'NONE', *, *, #713, .F. ) ;
#713 = EDGE_CURVE ( 'NONE', #3883, #12665, #5573, .T. ) ;
#714 = ORIENTED_EDGE ( 'NONE', *, *, #232, .F. ) ;
#715 = ORIENTED_EDGE ( 'NONE', *, *, #3893, .T. ) ;
#716 = ORIENTED_EDGE ( 'NONE', *, *, #717, .F. ) ;
#717 = EDGE_CURVE ( 'NONE', #718, #3866, #5569, .T. ) ;
#718 = VERTEX_POINT ( 'NONE', #5629 ) ;
#719 = ORIENTED_EDGE ( 'NONE', *, *, #771, .F. ) ;
#720 = ORIENTED_EDGE ( 'NONE', *, *, #6633, .F. ) ;
#721 = ORIENTED_EDGE ( 'NONE', *, *, #722, .F. ) ;
#722 = EDGE_CURVE ( 'NONE', #6630, #6634, #5627, .T. ) ;
#723 = ADVANCED_FACE ( 'NONE', ( #5628 ), #5622, .F. ) ;
#724 = EDGE_LOOP ( 'NONE', ( #725, #728, #730, #731, #785, #786, #787 ) ) ;
#725 = ORIENTED_EDGE ( 'NONE', *, *, #726, .F. ) ;
#726 = EDGE_CURVE ( 'NONE', #727, #6630, #5617, .T. ) ;
#727 = VERTEX_POINT ( 'NONE', #5612 ) ;
#728 = ORIENTED_EDGE ( 'NONE', *, *, #729, .T. ) ;
#729 = EDGE_CURVE ( 'NONE', #727, #3859, #5611, .T. ) ;
#730 = ORIENTED_EDGE ( 'NONE', *, *, #3857, .T. ) ;
#731 = ORIENTED_EDGE ( 'NONE', *, *, #732, .F. ) ;
#732 = EDGE_CURVE ( 'NONE', #229, #3883, #5607, .T. ) ;
#733 = ORIENTED_EDGE ( 'NONE', *, *, #4168, .F. ) ;
#734 = ORIENTED_EDGE ( 'NONE', *, *, #735, .F. ) ;
#735 = EDGE_CURVE ( 'NONE', #4149, #4159, #5603, .T. ) ;
#736 = ORIENTED_EDGE ( 'NONE', *, *, #6628, .F. ) ;
#737 = ORIENTED_EDGE ( 'NONE', *, *, #6612, .F. ) ;
#738 = ADVANCED_FACE ( 'NONE', ( #5663 ), #5662, .F. ) ;
#739 = EDGE_LOOP ( 'NONE', ( #740, #741 ) ) ;
#740 = ORIENTED_EDGE ( 'NONE', *, *, #6619, .F. ) ;
#741 = ORIENTED_EDGE ( 'NONE', *, *, #742, .F. ) ;
#742 = EDGE_CURVE ( 'NONE', #6618, #6627, #5657, .T. ) ;
#743 = ADVANCED_FACE ( 'NONE', ( #5652 ), #5651, .F. ) ;
#744 = EDGE_LOOP ( 'NONE', ( #745, #747, #748 ) ) ;
#745 = ORIENTED_EDGE ( 'NONE', *, *, #746, .F. ) ;
#746 = EDGE_CURVE ( 'NONE', #6634, #6618, #5646, .T. ) ;
#747 = ORIENTED_EDGE ( 'NONE', *, *, #6635, .F. ) ;
#748 = ORIENTED_EDGE ( 'NONE', *, *, #6617, .F. ) ;
#749 = ADVANCED_FACE ( 'NONE', ( #5641 ), #5639, .F. ) ;
#750 = ORIENTED_EDGE ( 'NONE', *, *, #6615, .F. ) ;
#751 = ORIENTED_EDGE ( 'NONE', *, *, #5636, .F. ) ;
#752 = ORIENTED_EDGE ( 'NONE', *, *, #300, .F. ) ;
#753 = ADVANCED_FACE ( 'NONE', ( #5640 ), #5699, .F. ) ;
#754 = ADVANCED_FACE ( 'NONE', ( #5694 ), #5693, .F. ) ;
#755 = EDGE_LOOP ( 'NONE', ( #756, #757 ) ) ;
#756 = ORIENTED_EDGE ( 'NONE', *, *, #383, .F. ) ;
#757 = ORIENTED_EDGE ( 'NONE', *, *, #3363, .F. ) ;
#758 = ADVANCED_FACE ( 'NONE', ( #5688 ), #5687, .F. ) ;
#759 = EDGE_LOOP ( 'NONE', ( #807, #808, #809 ) ) ;
#760 = ADVANCED_FACE ( 'NONE', ( #5682 ), #5681, .F. ) ;
#761 = ORIENTED_EDGE ( 'NONE', *, *, #386, .F. ) ;
#762 = ORIENTED_EDGE ( 'NONE', *, *, #763, .T. ) ;
#763 = EDGE_CURVE ( 'NONE', #470, #3863, #5676, .T. ) ;
#764 = ORIENTED_EDGE ( 'NONE', *, *, #3891, .T. ) ;
#765 = ORIENTED_EDGE ( 'NONE', *, *, #771, .T. ) ;
#766 = ORIENTED_EDGE ( 'NONE', *, *, #767, .F. ) ;
#767 = EDGE_CURVE ( 'NONE', #387, #718, #5672, .T. ) ;
#768 = ADVANCED_FACE ( 'NONE', ( #5668 ), #5732, .F. ) ;
#769 = EDGE_LOOP ( 'NONE', ( #770, #820, #822 ) ) ;
#770 = ORIENTED_EDGE ( 'NONE', *, *, #449, .F. ) ;
#771 = EDGE_CURVE ( 'NONE', #4112, #718, #5727, .T. ) ;
#772 = ADVANCED_FACE ( 'NONE', ( #5722 ), #5721, .F. ) ;
#773 = EDGE_LOOP ( 'NONE', ( #774, #777, #778, #779, #781, #782 ) ) ;
#774 = ORIENTED_EDGE ( 'NONE', *, *, #775, .F. ) ;
#775 = EDGE_CURVE ( 'NONE', #718, #776, #5716, .T. ) ;
#776 = VERTEX_POINT ( 'NONE', #5712 ) ;
#777 = ORIENTED_EDGE ( 'NONE', *, *, #717, .T. ) ;
#778 = ORIENTED_EDGE ( 'NONE', *, *, #3865, .T. ) ;
#779 = ORIENTED_EDGE ( 'NONE', *, *, #780, .T. ) ;
#780 = EDGE_CURVE ( 'NONE', #3863, #249, #5711, .T. ) ;
#781 = ORIENTED_EDGE ( 'NONE', *, *, #248, .T. ) ;
#782 = ORIENTED_EDGE ( 'NONE', *, *, #783, .T. ) ;
#783 = EDGE_CURVE ( 'NONE', #251, #776, #5707, .T. ) ;
#784 = EDGE_LOOP ( 'NONE', ( #761, #762, #764, #765, #766 ) ) ;
#785 = ORIENTED_EDGE ( 'NONE', *, *, #234, .F. ) ;
#786 = ORIENTED_EDGE ( 'NONE', *, *, #6656, .F. ) ;
#787 = ORIENTED_EDGE ( 'NONE', *, *, #6631, .F. ) ;
#788 = ADVANCED_FACE ( 'NONE', ( #5702 ), #5700, .F. ) ;
#789 = EDGE_LOOP ( 'NONE', ( #790, #714, #715, #716, #719 ) ) ;
#790 = ORIENTED_EDGE ( 'NONE', *, *, #4105, .F. ) ;
#791 = ORIENTED_EDGE ( 'NONE', *, *, #391, .F. ) ;
#792 = ORIENTED_EDGE ( 'NONE', *, *, #408, .F. ) ;
#793 = ADVANCED_FACE ( 'NONE', ( #5767 ), #5763, .F. ) ;
#794 = EDGE_LOOP ( 'NONE', ( #795, #841 ) ) ;
#795 = ORIENTED_EDGE ( 'NONE', *, *, #394, .F. ) ;
#796 = ADVANCED_FACE ( 'NONE', ( #5758 ), #5757, .F. ) ;
#797 = ORIENTED_EDGE ( 'NONE', *, *, #418, .F. ) ;
#798 = ORIENTED_EDGE ( 'NONE', *, *, #3351, .F. ) ;
#799 = ORIENTED_EDGE ( 'NONE', *, *, #800, .F. ) ;
#800 = EDGE_CURVE ( 'NONE', #419, #3349, #5751, .T. ) ;
#801 = ADVANCED_FACE ( 'NONE', ( #5746 ), #5745, .F. ) ;
#802 = EDGE_LOOP ( 'NONE', ( #803, #805, #806 ) ) ;
#803 = ORIENTED_EDGE ( 'NONE', *, *, #804, .F. ) ;
#804 = EDGE_CURVE ( 'NONE', #403, #419, #5740, .T. ) ;
#805 = ORIENTED_EDGE ( 'NONE', *, *, #402, .F. ) ;
#806 = ORIENTED_EDGE ( 'NONE', *, *, #421, .F. ) ;
#807 = ORIENTED_EDGE ( 'NONE', *, *, #3360, .F. ) ;
#808 = ORIENTED_EDGE ( 'NONE', *, *, #369, .F. ) ;
#809 = ORIENTED_EDGE ( 'NONE', *, *, #359, .F. ) ;
#810 = ADVANCED_FACE ( 'NONE', ( #5735 ), #5733, .F. ) ;
#811 = EDGE_LOOP ( 'NONE', ( #812, #813 ) ) ;
#812 = ORIENTED_EDGE ( 'NONE', *, *, #347, .F. ) ;
#813 = ORIENTED_EDGE ( 'NONE', *, *, #3357, .F. ) ;
#814 = ADVANCED_FACE ( 'NONE', ( #5734 ), #5797, .F. ) ;
#815 = EDGE_LOOP ( 'NONE', ( #816, #817, #818 ) ) ;
#816 = ORIENTED_EDGE ( 'NONE', *, *, #3354, .F. ) ;
#817 = ORIENTED_EDGE ( 'NONE', *, *, #416, .F. ) ;
#818 = ORIENTED_EDGE ( 'NONE', *, *, #349, .F. ) ;
#819 = EDGE_LOOP ( 'NONE', ( #797, #798, #799 ) ) ;
#820 = ORIENTED_EDGE ( 'NONE', *, *, #821, .F. ) ;
#821 = EDGE_CURVE ( 'NONE', #3284, #387, #5792, .T. ) ;
#822 = ORIENTED_EDGE ( 'NONE', *, *, #3283, .F. ) ;
#823 = ADVANCED_FACE ( 'NONE', ( #5788 ), #5787, .F. ) ;
#824 = EDGE_LOOP ( 'NONE', ( #825, #826, #827 ) ) ;
#825 = ORIENTED_EDGE ( 'NONE', *, *, #3366, .F. ) ;
#826 = ORIENTED_EDGE ( 'NONE', *, *, #381, .F. ) ;
#827 = ORIENTED_EDGE ( 'NONE', *, *, #451, .F. ) ;
#828 = EDGE_CURVE ( 'NONE', #829, #467, #5782, .T. ) ;
#829 = VERTEX_POINT ( 'NONE', #5777 ) ;
#830 = ORIENTED_EDGE ( 'NONE', *, *, #831, .T. ) ;
#831 = EDGE_CURVE ( 'NONE', #829, #470, #5776, .T. ) ;
#832 = ADVANCED_FACE ( 'NONE', ( #5772 ), #5770, .F. ) ;
#833 = EDGE_LOOP ( 'NONE', ( #834, #835, #836, #837, #840 ) ) ;
#834 = ORIENTED_EDGE ( 'NONE', *, *, #12635, .F. ) ;
#835 = ORIENTED_EDGE ( 'NONE', *, *, #3345, .F. ) ;
#836 = ORIENTED_EDGE ( 'NONE', *, *, #4184, .T. ) ;
#837 = ORIENTED_EDGE ( 'NONE', *, *, #838, .F. ) ;
#838 = EDGE_CURVE ( 'NONE', #839, #4103, #5834, .T. ) ;
#839 = VERTEX_POINT ( 'NONE', #5830 ) ;
#840 = ORIENTED_EDGE ( 'NONE', *, *, #891, .F. ) ;
#841 = ORIENTED_EDGE ( 'NONE', *, *, #842, .F. ) ;
#842 = EDGE_CURVE ( 'NONE', #395, #392, #5828, .T. ) ;
#843 = ADVANCED_FACE ( 'NONE', ( #5829 ), #5823, .F. ) ;
#844 = EDGE_LOOP ( 'NONE', ( #845, #847, #848 ) ) ;
#845 = ORIENTED_EDGE ( 'NONE', *, *, #846, .F. ) ;
#846 = EDGE_CURVE ( 'NONE', #467, #395, #5818, .T. ) ;
#847 = ORIENTED_EDGE ( 'NONE', *, *, #466, .F. ) ;
#848 = ORIENTED_EDGE ( 'NONE', *, *, #397, .F. ) ;
#849 = ADVANCED_FACE ( 'NONE', ( #5812 ), #5811, .F. ) ;
#850 = EDGE_LOOP ( 'NONE', ( #851, #852, #830 ) ) ;
#851 = ORIENTED_EDGE ( 'NONE', *, *, #469, .F. ) ;
#852 = ORIENTED_EDGE ( 'NONE', *, *, #828, .F. ) ;
#853 = ORIENTED_EDGE ( 'NONE', *, *, #735, .T. ) ;
#854 = ORIENTED_EDGE ( 'NONE', *, *, #855, .F. ) ;
#855 = EDGE_CURVE ( 'NONE', #4169, #4167, #5804, .T. ) ;
#856 = ORIENTED_EDGE ( 'NONE', *, *, #4156, .T. ) ;
#857 = ADVANCED_FACE ( 'NONE', ( #5868 ), #5867, .F. ) ;
#858 = EDGE_LOOP ( 'NONE', ( #859, #860 ) ) ;
#859 = ORIENTED_EDGE ( 'NONE', *, *, #405, .F. ) ;
#860 = ORIENTED_EDGE ( 'NONE', *, *, #861, .F. ) ;
#861 = EDGE_CURVE ( 'NONE', #406, #403, #5862, .T. ) ;
#862 = ADVANCED_FACE ( 'NONE', ( #5857 ), #5856, .F. ) ;
#863 = EDGE_LOOP ( 'NONE', ( #864, #791, #792 ) ) ;
#864 = ORIENTED_EDGE ( 'NONE', *, *, #865, .F. ) ;
#865 = EDGE_CURVE ( 'NONE', #392, #406, #5851, .T. ) ;
#866 = ORIENTED_EDGE ( 'NONE', *, *, #2928, .T. ) ;
#867 = ADVANCED_FACE ( 'NONE', ( #5846 ), #5845, .F. ) ;
#868 = EDGE_LOOP ( 'NONE', ( #869, #870, #871 ) ) ;
#869 = ORIENTED_EDGE ( 'NONE', *, *, #3243, .F. ) ;
#870 = ORIENTED_EDGE ( 'NONE', *, *, #435, .F. ) ;
#871 = ORIENTED_EDGE ( 'NONE', *, *, #536, .F. ) ;
#872 = ADVANCED_FACE ( 'NONE', ( #5840 ), #5839, .F. ) ;
#873 = EDGE_LOOP ( 'NONE', ( #874, #875 ) ) ;
#874 = ORIENTED_EDGE ( 'NONE', *, *, #437, .F. ) ;
#875 = ORIENTED_EDGE ( 'NONE', *, *, #3240, .F. ) ;
#876 = ADVANCED_FACE ( 'NONE', ( #5900 ), #5899, .F. ) ;
#877 = EDGE_LOOP ( 'NONE', ( #925, #926, #927 ) ) ;
#878 = ADVANCED_FACE ( 'NONE', ( #5894 ), #5893, .F. ) ;
#879 = EDGE_LOOP ( 'NONE', ( #880, #881, #883, #884, #885 ) ) ;
#880 = ORIENTED_EDGE ( 'NONE', *, *, #531, .F. ) ;
#881 = ORIENTED_EDGE ( 'NONE', *, *, #882, .T. ) ;
#882 = EDGE_CURVE ( 'NONE', #529, #839, #5888, .T. ) ;
#883 = ORIENTED_EDGE ( 'NONE', *, *, #838, .T. ) ;
#884 = ORIENTED_EDGE ( 'NONE', *, *, #4110, .T. ) ;
#885 = ORIENTED_EDGE ( 'NONE', *, *, #886, .F. ) ;
#886 = EDGE_CURVE ( 'NONE', #532, #12270, #5884, .T. ) ;
#887 = ADVANCED_FACE ( 'NONE', ( #5880 ), #5879, .F. ) ;
#888 = EDGE_LOOP ( 'NONE', ( #889, #890, #939 ) ) ;
#889 = ORIENTED_EDGE ( 'NONE', *, *, #534, .F. ) ;
#890 = ORIENTED_EDGE ( 'NONE', *, *, #938, .F. ) ;
#891 = EDGE_CURVE ( 'NONE', #12653, #839, #5873, .T. ) ;
#892 = ADVANCED_FACE ( 'NONE', ( #5874 ), #5933, .F. ) ;
#893 = EDGE_LOOP ( 'NONE', ( #894, #897, #898, #899, #901, #902 ) ) ;
#894 = ORIENTED_EDGE ( 'NONE', *, *, #895, .F. ) ;
#895 = EDGE_CURVE ( 'NONE', #12270, #896, #5928, .T. ) ;
#896 = VERTEX_POINT ( 'NONE', #5924 ) ;
#897 = ORIENTED_EDGE ( 'NONE', *, *, #12156, .T. ) ;
#898 = ORIENTED_EDGE ( 'NONE', *, *, #891, .T. ) ;
#899 = ORIENTED_EDGE ( 'NONE', *, *, #900, .T. ) ;
#900 = EDGE_CURVE ( 'NONE', #839, #3261, #5923, .T. ) ;
#901 = ORIENTED_EDGE ( 'NONE', *, *, #3260, .T. ) ;
#902 = ORIENTED_EDGE ( 'NONE', *, *, #903, .T. ) ;
#903 = EDGE_CURVE ( 'NONE', #3258, #896, #5919, .T. ) ;
#904 = EDGE_CURVE ( 'NONE', #492, #489, #5914, .T. ) ;
#905 = ADVANCED_FACE ( 'NONE', ( #5909 ), #5908, .F. ) ;
#906 = EDGE_LOOP ( 'NONE', ( #907, #909, #910 ) ) ;
#907 = ORIENTED_EDGE ( 'NONE', *, *, #908, .F. ) ;
#908 = EDGE_CURVE ( 'NONE', #478, #492, #5968, .T. ) ;
#909 = ORIENTED_EDGE ( 'NONE', *, *, #477, .F. ) ;
#910 = ORIENTED_EDGE ( 'NONE', *, *, #494, .F. ) ;
#911 = ADVANCED_FACE ( 'NONE', ( #5963 ), #5962, .F. ) ;
#912 = EDGE_LOOP ( 'NONE', ( #913, #947 ) ) ;
#913 = ORIENTED_EDGE ( 'NONE', *, *, #480, .F. ) ;
#914 = ADVANCED_FACE ( 'NONE', ( #5957 ), #5956, .F. ) ;
#915 = ORIENTED_EDGE ( 'NONE', *, *, #501, .F. ) ;
#916 = ORIENTED_EDGE ( 'NONE', *, *, #3333, .F. ) ;
#917 = ORIENTED_EDGE ( 'NONE', *, *, #918, .F. ) ;
#918 = EDGE_CURVE ( 'NONE', #502, #3320, #5951, .T. ) ;
#919 = ADVANCED_FACE ( 'NONE', ( #5946 ), #5945, .F. ) ;
#920 = EDGE_LOOP ( 'NONE', ( #921, #923, #924 ) ) ;
#921 = ORIENTED_EDGE ( 'NONE', *, *, #922, .F. ) ;
#922 = EDGE_CURVE ( 'NONE', #489, #502, #5940, .T. ) ;
#923 = ORIENTED_EDGE ( 'NONE', *, *, #488, .F. ) ;
#924 = ORIENTED_EDGE ( 'NONE', *, *, #504, .F. ) ;
#925 = ORIENTED_EDGE ( 'NONE', *, *, #3322, .F. ) ;
#926 = ORIENTED_EDGE ( 'NONE', *, *, #511, .F. ) ;
#927 = ORIENTED_EDGE ( 'NONE', *, *, #440, .F. ) ;
#928 = ADVANCED_FACE ( 'NONE', ( #5935 ), #5934, .F. ) ;
#929 = EDGE_LOOP ( 'NONE', ( #930, #931 ) ) ;
#930 = ORIENTED_EDGE ( 'NONE', *, *, #513, .F. ) ;
#931 = ORIENTED_EDGE ( 'NONE', *, *, #3339, .F. ) ;
#932 = ADVANCED_FACE ( 'NONE', ( #5995 ), #5994, .F. ) ;
#933 = EDGE_LOOP ( 'NONE', ( #934, #935, #936 ) ) ;
#934 = ORIENTED_EDGE ( 'NONE', *, *, #3336, .F. ) ;
#935 = ORIENTED_EDGE ( 'NONE', *, *, #499, .F. ) ;
#936 = ORIENTED_EDGE ( 'NONE', *, *, #515, .F. ) ;
#937 = EDGE_LOOP ( 'NONE', ( #915, #916, #917 ) ) ;
#938 = EDGE_CURVE ( 'NONE', #3247, #532, #5989, .T. ) ;
#939 = ORIENTED_EDGE ( 'NONE', *, *, #3246, .F. ) ;
#940 = EDGE_LOOP ( 'NONE', ( #941, #942 ) ) ;
#941 = ORIENTED_EDGE ( 'NONE', *, *, #593, .F. ) ;
#942 = ORIENTED_EDGE ( 'NONE', *, *, #3874, .F. ) ;
#943 = EDGE_LOOP ( 'NONE', ( #944, #945 ) ) ;
#944 = ORIENTED_EDGE ( 'NONE', *, *, #586, .F. ) ;
#945 = ORIENTED_EDGE ( 'NONE', *, *, #3973, .F. ) ;
#946 = EDGE_LOOP ( 'NONE', ( #1002, #1003 ) ) ;
#947 = ORIENTED_EDGE ( 'NONE', *, *, #948, .F. ) ;
#948 = EDGE_CURVE ( 'NONE', #481, #478, #5985, .T. ) ;
#949 = ADVANCED_FACE ( 'NONE', ( #5980 ), #5979, .F. ) ;
#950 = EDGE_LOOP ( 'NONE', ( #951, #953, #954 ) ) ;
#951 = ORIENTED_EDGE ( 'NONE', *, *, #952, .F. ) ;
#952 = EDGE_CURVE ( 'NONE', #550, #481, #5974, .T. ) ;
#953 = ORIENTED_EDGE ( 'NONE', *, *, #549, .F. ) ;
#954 = ORIENTED_EDGE ( 'NONE', *, *, #542, .F. ) ;
#955 = ADVANCED_FACE ( 'NONE', ( #5969 ), #6036, .F. ) ;
#956 = EDGE_LOOP ( 'NONE', ( #957, #958, #1016 ) ) ;
#957 = ORIENTED_EDGE ( 'NONE', *, *, #528, .F. ) ;
#958 = ORIENTED_EDGE ( 'NONE', *, *, #959, .F. ) ;
#959 = EDGE_CURVE ( 'NONE', #960, #550, #6031, .T. ) ;
#960 = VERTEX_POINT ( 'NONE', #6026 ) ;
#961 = ADVANCED_FACE ( 'NONE', ( #6025 ), #6022, .T. ) ;
#962 = ORIENTED_EDGE ( 'NONE', *, *, #4031, .F. ) ;
#963 = EDGE_LOOP ( 'NONE', ( #962, #1091, #1090, #1086 ) ) ;
#964 = ORIENTED_EDGE ( 'NONE', *, *, #4100, .T. ) ;
#965 = ORIENTED_EDGE ( 'NONE', *, *, #4049, .T. ) ;
#966 = ORIENTED_EDGE ( 'NONE', *, *, #1318, .T. ) ;
#967 = ORIENTED_EDGE ( 'NONE', *, *, #4088, .F. ) ;
#968 = ADVANCED_FACE ( 'NONE', ( #6023 ), #6018, .T. ) ;
#969 = EDGE_LOOP ( 'NONE', ( #1059, #1061, #1062, #1063 ) ) ;
#970 = EDGE_LOOP ( 'NONE', ( #967, #966, #964, #965 ) ) ;
#971 = VERTEX_POINT ( 'NONE', #6013 ) ;
#972 = ADVANCED_FACE ( 'NONE', ( #6012 ), #6011, .F. ) ;
#973 = EDGE_LOOP ( 'NONE', ( #974, #975 ) ) ;
#974 = ORIENTED_EDGE ( 'NONE', *, *, #491, .F. ) ;
#975 = ORIENTED_EDGE ( 'NONE', *, *, #904, .F. ) ;
#976 = ADVANCED_FACE ( 'NONE', ( #6006 ), #6005, .F. ) ;
#977 = EDGE_LOOP ( 'NONE', ( #978, #979, #980, #981, #984, #1042 ) ) ;
#978 = ORIENTED_EDGE ( 'NONE', *, *, #2935, .F. ) ;
#979 = ORIENTED_EDGE ( 'NONE', *, *, #3328, .F. ) ;
#980 = ORIENTED_EDGE ( 'NONE', *, *, #12649, .T. ) ;
#981 = ORIENTED_EDGE ( 'NONE', *, *, #982, .F. ) ;
#982 = EDGE_CURVE ( 'NONE', #983, #12651, #6064, .T. ) ;
#983 = VERTEX_POINT ( 'NONE', #6060 ) ;
#984 = ORIENTED_EDGE ( 'NONE', *, *, #985, .F. ) ;
#985 = EDGE_CURVE ( 'NONE', #986, #983, #6059, .T. ) ;
#986 = VERTEX_POINT ( 'NONE', #6054 ) ;
#987 = EDGE_CURVE ( 'NONE', #1014, #988, #6053, .T. ) ;
#988 = VERTEX_POINT ( 'NONE', #6048 ) ;
#989 = ORIENTED_EDGE ( 'NONE', *, *, #990, .T. ) ;
#990 = EDGE_CURVE ( 'NONE', #988, #991, #6047, .T. ) ;
#991 = VERTEX_POINT ( 'NONE', #6043 ) ;
#992 = ORIENTED_EDGE ( 'NONE', *, *, #993, .T. ) ;
#993 = EDGE_CURVE ( 'NONE', #991, #994, #6042, .T. ) ;
#994 = VERTEX_POINT ( 'NONE', #6037 ) ;
#995 = ORIENTED_EDGE ( 'NONE', *, *, #996, .T. ) ;
#996 = EDGE_CURVE ( 'NONE', #994, #997, #6101, .T. ) ;
#997 = VERTEX_POINT ( 'NONE', #6097 ) ;
#998 = ORIENTED_EDGE ( 'NONE', *, *, #999, .T. ) ;
#999 = EDGE_CURVE ( 'NONE', #997, #1007, #6096, .T. ) ;
#1000 = EDGE_LOOP ( 'NONE', ( #1001, #1055 ) ) ;
#1001 = ORIENTED_EDGE ( 'NONE', *, *, #517, .F. ) ;
#1002 = ORIENTED_EDGE ( 'NONE', *, *, #524, .F. ) ;
#1003 = ORIENTED_EDGE ( 'NONE', *, *, #4010, .F. ) ;
#1004 = EDGE_LOOP ( 'NONE', ( #1005, #1009, #1012, #1015, #989, #992, #995, #998 ) ) ;
#1005 = ORIENTED_EDGE ( 'NONE', *, *, #1006, .T. ) ;
#1006 = EDGE_CURVE ( 'NONE', #1007, #1008, #6091, .T. ) ;
#1007 = VERTEX_POINT ( 'NONE', #6087 ) ;
#1008 = VERTEX_POINT ( 'NONE', #6086 ) ;
#1009 = ORIENTED_EDGE ( 'NONE', *, *, #1010, .T. ) ;
#1010 = EDGE_CURVE ( 'NONE', #1008, #1011, #6085, .T. ) ;
#1011 = VERTEX_POINT ( 'NONE', #6080 ) ;
#1012 = ORIENTED_EDGE ( 'NONE', *, *, #1013, .T. ) ;
#1013 = EDGE_CURVE ( 'NONE', #1011, #1014, #6079, .T. ) ;
#1014 = VERTEX_POINT ( 'NONE', #6075 ) ;
#1015 = ORIENTED_EDGE ( 'NONE', *, *, #987, .T. ) ;
#1016 = ORIENTED_EDGE ( 'NONE', *, *, #1017, .T. ) ;
#1017 = EDGE_CURVE ( 'NONE', #960, #529, #6073, .T. ) ;
#1018 = ADVANCED_FACE ( 'NONE', ( #6069, #6068, #6067, #6066, #6065, #4805 ), #4798, .T. ) ;
#1019 = ADVANCED_FACE ( 'NONE', ( #6133 ), #6132, .F. ) ;
#1020 = EDGE_LOOP ( 'NONE', ( #1021, #1022, #1023 ) ) ;
#1021 = ORIENTED_EDGE ( 'NONE', *, *, #3218, .F. ) ;
#1022 = ORIENTED_EDGE ( 'NONE', *, *, #633, .F. ) ;
#1023 = ORIENTED_EDGE ( 'NONE', *, *, #565, .F. ) ;
#1024 = ADVANCED_FACE ( 'NONE', ( #6127 ), #6126, .F. ) ;
#1025 = EDGE_LOOP ( 'NONE', ( #1026, #1027 ) ) ;
#1026 = ORIENTED_EDGE ( 'NONE', *, *, #635, .F. ) ;
#1027 = ORIENTED_EDGE ( 'NONE', *, *, #3215, .F. ) ;
#1028 = ADVANCED_FACE ( 'NONE', ( #6121 ), #6120, .F. ) ;
#1029 = ORIENTED_EDGE ( 'NONE', *, *, #1030, .T. ) ;
#1030 = EDGE_CURVE ( 'NONE', #3407, #1048, #6115, .T. ) ;
#1031 = ADVANCED_FACE ( 'NONE', ( #6110 ), #6109, .F. ) ;
#1032 = EDGE_LOOP ( 'NONE', ( #1033, #1034 ) ) ;
#1033 = ORIENTED_EDGE ( 'NONE', *, *, #648, .F. ) ;
#1034 = ORIENTED_EDGE ( 'NONE', *, *, #3169, .F. ) ;
#1035 = ADVANCED_FACE ( 'NONE', ( #6104 ), #6103, .F. ) ;
#1036 = EDGE_LOOP ( 'NONE', ( #1037, #1038, #1039 ) ) ;
#1037 = ORIENTED_EDGE ( 'NONE', *, *, #3166, .F. ) ;
#1038 = ORIENTED_EDGE ( 'NONE', *, *, #561, .F. ) ;
#1039 = ORIENTED_EDGE ( 'NONE', *, *, #650, .F. ) ;
#1040 = ADVANCED_FACE ( 'NONE', ( #6164 ), #6163, .F. ) ;
#1041 = EDGE_LOOP ( 'NONE', ( #1092, #1093 ) ) ;
#1042 = ORIENTED_EDGE ( 'NONE', *, *, #1043, .F. ) ;
#1043 = EDGE_CURVE ( 'NONE', #2940, #986, #6158, .T. ) ;
#1044 = ADVANCED_FACE ( 'NONE', ( #6153 ), #6152, .F. ) ;
#1045 = EDGE_LOOP ( 'NONE', ( #1046, #1049, #1050, #1051, #1052, #1054, #1029 ) ) ;
#1046 = ORIENTED_EDGE ( 'NONE', *, *, #1047, .F. ) ;
#1047 = EDGE_CURVE ( 'NONE', #983, #1048, #6147, .T. ) ;
#1048 = VERTEX_POINT ( 'NONE', #6143 ) ;
#1049 = ORIENTED_EDGE ( 'NONE', *, *, #982, .T. ) ;
#1050 = ORIENTED_EDGE ( 'NONE', *, *, #12654, .T. ) ;
#1051 = ORIENTED_EDGE ( 'NONE', *, *, #1043, .T. ) ;
#1052 = ORIENTED_EDGE ( 'NONE', *, *, #1053, .T. ) ;
#1053 = EDGE_CURVE ( 'NONE', #986, #3410, #6142, .T. ) ;
#1054 = ORIENTED_EDGE ( 'NONE', *, *, #3409, .T. ) ;
#1055 = ORIENTED_EDGE ( 'NONE', *, *, #3898, .F. ) ;
#1056 = ORIENTED_EDGE ( 'NONE', *, *, #1057, .F. ) ;
#1057 = EDGE_CURVE ( 'NONE', #602, #2941, #6138, .T. ) ;
#1058 = ORIENTED_EDGE ( 'NONE', *, *, #601, .F. ) ;
#1059 = ORIENTED_EDGE ( 'NONE', *, *, #1060, .F. ) ;
#1060 = EDGE_CURVE ( 'NONE', #621, #3210, #6199, .T. ) ;
#1061 = ORIENTED_EDGE ( 'NONE', *, *, #620, .F. ) ;
#1062 = ORIENTED_EDGE ( 'NONE', *, *, #637, .F. ) ;
#1063 = ORIENTED_EDGE ( 'NONE', *, *, #3212, .F. ) ;
#1064 = ADVANCED_FACE ( 'NONE', ( #6194 ), #6193, .F. ) ;
#1065 = EDGE_LOOP ( 'NONE', ( #1066, #1067 ) ) ;
#1066 = ORIENTED_EDGE ( 'NONE', *, *, #623, .F. ) ;
#1067 = ORIENTED_EDGE ( 'NONE', *, *, #1068, .F. ) ;
#1068 = EDGE_CURVE ( 'NONE', #624, #621, #6188, .T. ) ;
#1069 = ADVANCED_FACE ( 'NONE', ( #6183 ), #6182, .F. ) ;
#1070 = EDGE_LOOP ( 'NONE', ( #1120, #1122, #1123 ) ) ;
#1071 = ADVANCED_FACE ( 'NONE', ( #6177 ), #6176, .T. ) ;
#1072 = EDGE_LOOP ( 'NONE', ( #1073, #1074, #1076, #1077 ) ) ;
#1073 = ORIENTED_EDGE ( 'NONE', *, *, #4057, .F. ) ;
#1074 = ORIENTED_EDGE ( 'NONE', *, *, #1075, .F. ) ;
#1075 = EDGE_CURVE ( 'NONE', #3952, #3951, #6170, .T. ) ;
#1076 = ORIENTED_EDGE ( 'NONE', *, *, #3983, .T. ) ;
#1077 = ORIENTED_EDGE ( 'NONE', *, *, #1346, .F. ) ;
#1078 = ADVANCED_FACE ( 'NONE', ( #6232 ), #6231, .T. ) ;
#1079 = EDGE_LOOP ( 'NONE', ( #1080, #1081, #1082, #1191 ) ) ;
#1080 = ORIENTED_EDGE ( 'NONE', *, *, #4055, .F. ) ;
#1081 = ORIENTED_EDGE ( 'NONE', *, *, #1312, .T. ) ;
#1082 = ORIENTED_EDGE ( 'NONE', *, *, #4045, .T. ) ;
#1083 = ORIENTED_EDGE ( 'NONE', *, *, #1328, .T. ) ;
#1084 = ORIENTED_EDGE ( 'NONE', *, *, #4028, .T. ) ;
#1085 = ORIENTED_EDGE ( 'NONE', *, *, #3953, .T. ) ;
#1086 = ORIENTED_EDGE ( 'NONE', *, *, #3929, .T. ) ;
#1087 = ADVANCED_FACE ( 'NONE', ( #6225 ), #6224, .T. ) ;
#1088 = EDGE_LOOP ( 'NONE', ( #1089, #1083, #1084, #1085 ) ) ;
#1089 = ORIENTED_EDGE ( 'NONE', *, *, #4033, .F. ) ;
#1090 = ORIENTED_EDGE ( 'NONE', *, *, #4035, .T. ) ;
#1091 = ORIENTED_EDGE ( 'NONE', *, *, #1362, .T. ) ;
#1092 = ORIENTED_EDGE ( 'NONE', *, *, #563, .F. ) ;
#1093 = ORIENTED_EDGE ( 'NONE', *, *, #3221, .F. ) ;
#1094 = EDGE_LOOP ( 'NONE', ( #1148, #1149, #1152, #1154 ) ) ;
#1095 = ORIENTED_EDGE ( 'NONE', *, *, #985, .T. ) ;
#1096 = ORIENTED_EDGE ( 'NONE', *, *, #1097, .F. ) ;
#1097 = EDGE_CURVE ( 'NONE', #3173, #983, #6223, .T. ) ;
#1098 = ORIENTED_EDGE ( 'NONE', *, *, #3172, .F. ) ;
#1099 = ORIENTED_EDGE ( 'NONE', *, *, #672, .F. ) ;
#1100 = ORIENTED_EDGE ( 'NONE', *, *, #664, .F. ) ;
#1101 = ADVANCED_FACE ( 'NONE', ( #6216 ), #6214, .T. ) ;
#1102 = EDGE_LOOP ( 'NONE', ( #1103, #1104, #1105, #1160 ) ) ;
#1103 = ORIENTED_EDGE ( 'NONE', *, *, #7609, .F. ) ;
#1104 = ORIENTED_EDGE ( 'NONE', *, *, #3855, .T. ) ;
#1105 = ORIENTED_EDGE ( 'NONE', *, *, #2936, .T. ) ;
#1106 = EDGE_LOOP ( 'NONE', ( #1163, #1166, #1168, #1169, #1170 ) ) ;
#1107 = ORIENTED_EDGE ( 'NONE', *, *, #674, .F. ) ;
#1108 = ADVANCED_FACE ( 'NONE', ( #6209 ), #6215, .F. ) ;
#1109 = EDGE_LOOP ( 'NONE', ( #1110, #1111 ) ) ;
#1110 = ORIENTED_EDGE ( 'NONE', *, *, #661, .F. ) ;
#1111 = ORIENTED_EDGE ( 'NONE', *, *, #1112, .F. ) ;
#1112 = EDGE_CURVE ( 'NONE', #662, #602, #6204, .T. ) ;
#1113 = ADVANCED_FACE ( 'NONE', ( #6263 ), #6262, .F. ) ;
#1114 = EDGE_LOOP ( 'NONE', ( #1115, #1118, #1095, #1096, #1098, #1099, #1100 ) ) ;
#1115 = ORIENTED_EDGE ( 'NONE', *, *, #1116, .F. ) ;
#1116 = EDGE_CURVE ( 'NONE', #1117, #662, #6257, .T. ) ;
#1117 = VERTEX_POINT ( 'NONE', #6252 ) ;
#1118 = ORIENTED_EDGE ( 'NONE', *, *, #1119, .T. ) ;
#1119 = EDGE_CURVE ( 'NONE', #1117, #986, #6251, .T. ) ;
#1120 = ORIENTED_EDGE ( 'NONE', *, *, #1121, .F. ) ;
#1121 = EDGE_CURVE ( 'NONE', #612, #624, #6247, .T. ) ;
#1122 = ORIENTED_EDGE ( 'NONE', *, *, #611, .F. ) ;
#1123 = ORIENTED_EDGE ( 'NONE', *, *, #626, .F. ) ;
#1124 = ADVANCED_FACE ( 'NONE', ( #6242 ), #6241, .F. ) ;
#1125 = EDGE_LOOP ( 'NONE', ( #1126, #1127 ) ) ;
#1126 = ORIENTED_EDGE ( 'NONE', *, *, #614, .F. ) ;
#1127 = ORIENTED_EDGE ( 'NONE', *, *, #1128, .F. ) ;
#1128 = EDGE_CURVE ( 'NONE', #2941, #612, #6236, .T. ) ;
#1129 = ADVANCED_FACE ( 'NONE', ( #6295 ), #6294, .F. ) ;
#1130 = EDGE_LOOP ( 'NONE', ( #1056, #1058, #1107 ) ) ;
#1131 = EDGE_LOOP ( 'NONE', ( #1132, #1133, #1134, #1135 ) ) ;
#1132 = ORIENTED_EDGE ( 'NONE', *, *, #288, .F. ) ;
#1133 = ORIENTED_EDGE ( 'NONE', *, *, #4104, .T. ) ;
#1134 = ORIENTED_EDGE ( 'NONE', *, *, #273, .T. ) ;
#1135 = ORIENTED_EDGE ( 'NONE', *, *, #1136, .F. ) ;
#1136 = EDGE_CURVE ( 'NONE', #289, #271, #6289, .T. ) ;
#1137 = ORIENTED_EDGE ( 'NONE', *, *, #1153, .F. ) ;
#1138 = ORIENTED_EDGE ( 'NONE', *, *, #1139, .F. ) ;
#1139 = EDGE_CURVE ( 'NONE', #242, #1151, #6284, .T. ) ;
#1140 = ADVANCED_FACE ( 'NONE', ( #6280 ), #6278, .T. ) ;
#1141 = EDGE_LOOP ( 'NONE', ( #1142, #1143, #1145, #1146, #1147, #1204, #1205, #1206, #1207, #1208 ) ) ;
#1142 = ORIENTED_EDGE ( 'NONE', *, *, #244, .F. ) ;
#1143 = ORIENTED_EDGE ( 'NONE', *, *, #1144, .F. ) ;
#1144 = EDGE_CURVE ( 'NONE', #1165, #241, #6273, .T. ) ;
#1145 = ORIENTED_EDGE ( 'NONE', *, *, #1164, .F. ) ;
#1146 = ORIENTED_EDGE ( 'NONE', *, *, #726, .T. ) ;
#1147 = ORIENTED_EDGE ( 'NONE', *, *, #722, .T. ) ;
#1148 = ORIENTED_EDGE ( 'NONE', *, *, #296, .F. ) ;
#1149 = ORIENTED_EDGE ( 'NONE', *, *, #1150, .T. ) ;
#1150 = EDGE_CURVE ( 'NONE', #294, #1151, #6269, .T. ) ;
#1151 = VERTEX_POINT ( 'NONE', #6320 ) ;
#1152 = ORIENTED_EDGE ( 'NONE', *, *, #1153, .T. ) ;
#1153 = EDGE_CURVE ( 'NONE', #1151, #12665, #6319, .T. ) ;
#1154 = ORIENTED_EDGE ( 'NONE', *, *, #645, .F. ) ;
#1155 = ADVANCED_FACE ( 'NONE', ( #6318 ), #6317, .T. ) ;
#1156 = EDGE_LOOP ( 'NONE', ( #1157, #1158, #1159, #1137, #1138 ) ) ;
#1157 = ORIENTED_EDGE ( 'NONE', *, *, #236, .T. ) ;
#1158 = ORIENTED_EDGE ( 'NONE', *, *, #732, .T. ) ;
#1159 = ORIENTED_EDGE ( 'NONE', *, *, #713, .T. ) ;
#1160 = ORIENTED_EDGE ( 'NONE', *, *, #1161, .F. ) ;
#1161 = EDGE_CURVE ( 'NONE', #12647, #7608, #6308, .T. ) ;
#1162 = ADVANCED_FACE ( 'NONE', ( #6303 ), #6302, .T. ) ;
#1163 = ORIENTED_EDGE ( 'NONE', *, *, #1164, .T. ) ;
#1164 = EDGE_CURVE ( 'NONE', #727, #1165, #6343, .T. ) ;
#1165 = VERTEX_POINT ( 'NONE', #6342 ) ;
#1166 = ORIENTED_EDGE ( 'NONE', *, *, #1167, .F. ) ;
#1167 = EDGE_CURVE ( 'NONE', #293, #1165, #6337, .T. ) ;
#1168 = ORIENTED_EDGE ( 'NONE', *, *, #278, .F. ) ;
#1169 = ORIENTED_EDGE ( 'NONE', *, *, #642, .F. ) ;
#1170 = ORIENTED_EDGE ( 'NONE', *, *, #729, .F. ) ;
#1171 = ADVANCED_FACE ( 'NONE', ( #6333 ), #6332, .F. ) ;
#1172 = EDGE_LOOP ( 'NONE', ( #1285, #1286 ) ) ;
#1173 = ORIENTED_EDGE ( 'NONE', *, *, #1075, .T. ) ;
#1174 = ORIENTED_EDGE ( 'NONE', *, *, #3907, .T. ) ;
#1175 = ORIENTED_EDGE ( 'NONE', *, *, #3937, .T. ) ;
#1176 = ADVANCED_FACE ( 'NONE', ( #6325 ), #6324, .F. ) ;
#1177 = EDGE_LOOP ( 'NONE', ( #1178, #1179, #1180, #1185 ) ) ;
#1178 = ORIENTED_EDGE ( 'NONE', *, *, #3919, .F. ) ;
#1179 = ORIENTED_EDGE ( 'NONE', *, *, #3986, .F. ) ;
#1180 = ORIENTED_EDGE ( 'NONE', *, *, #3925, .T. ) ;
#1181 = EDGE_CURVE ( 'NONE', #3934, #3963, #5540, .T. ) ;
#1182 = ADVANCED_FACE ( 'NONE', ( #6372 ), #6369, .F. ) ;
#1183 = ORIENTED_EDGE ( 'NONE', *, *, #3972, .T. ) ;
#1184 = ADVANCED_FACE ( 'NONE', ( #6370 ), #6365, .F. ) ;
#1185 = ORIENTED_EDGE ( 'NONE', *, *, #1186, .F. ) ;
#1186 = EDGE_CURVE ( 'NONE', #3920, #3923, #6359, .T. ) ;
#1187 = ADVANCED_FACE ( 'NONE', ( #6355, #6354 ), #6353, .T. ) ;
#1188 = EDGE_LOOP ( 'NONE', ( #1189, #1246 ) ) ;
#1189 = ORIENTED_EDGE ( 'NONE', *, *, #4042, .T. ) ;
#1190 = EDGE_LOOP ( 'NONE', ( #1192, #1240, #1241, #1193 ) ) ;
#1191 = ORIENTED_EDGE ( 'NONE', *, *, #3915, .T. ) ;
#1192 = ORIENTED_EDGE ( 'NONE', *, *, #3933, .F. ) ;
#1193 = ORIENTED_EDGE ( 'NONE', *, *, #1181, .F. ) ;
#1194 = ORIENTED_EDGE ( 'NONE', *, *, #3997, .F. ) ;
#1195 = EDGE_CURVE ( 'NONE', #1222, #1196, #6348, .T. ) ;
#1196 = VERTEX_POINT ( 'NONE', #6408 ) ;
#1197 = ORIENTED_EDGE ( 'NONE', *, *, #1198, .T. ) ;
#1198 = EDGE_CURVE ( 'NONE', #1196, #1289, #6406, .T. ) ;
#1199 = ADVANCED_FACE ( 'NONE', ( #6407, #6401 ), #6400, .T. ) ;
#1200 = EDGE_LOOP ( 'NONE', ( #1201, #1202 ) ) ;
#1201 = ORIENTED_EDGE ( 'NONE', *, *, #3969, .T. ) ;
#1202 = ORIENTED_EDGE ( 'NONE', *, *, #1211, .T. ) ;
#1203 = EDGE_LOOP ( 'NONE', ( #1527, #1531, #1534, #1537, #1540, #1597 ) ) ;
#1204 = ORIENTED_EDGE ( 'NONE', *, *, #746, .T. ) ;
#1205 = ORIENTED_EDGE ( 'NONE', *, *, #742, .T. ) ;
#1206 = ORIENTED_EDGE ( 'NONE', *, *, #686, .T. ) ;
#1207 = ORIENTED_EDGE ( 'NONE', *, *, #682, .T. ) ;
#1208 = ORIENTED_EDGE ( 'NONE', *, *, #698, .T. ) ;
#1209 = ADVANCED_FACE ( 'NONE', ( #6395 ), #6394, .T. ) ;
#1210 = ORIENTED_EDGE ( 'NONE', *, *, #1211, .F. ) ;
#1211 = EDGE_CURVE ( 'NONE', #3967, #3970, #6393, .T. ) ;
#1212 = EDGE_CURVE ( 'NONE', #1289, #1213, #6384, .T. ) ;
#1213 = VERTEX_POINT ( 'NONE', #6379 ) ;
#1214 = ORIENTED_EDGE ( 'NONE', *, *, #1215, .T. ) ;
#1215 = EDGE_CURVE ( 'NONE', #1213, #1216, #6378, .T. ) ;
#1216 = VERTEX_POINT ( 'NONE', #6434 ) ;
#1217 = ORIENTED_EDGE ( 'NONE', *, *, #1218, .T. ) ;
#1218 = EDGE_CURVE ( 'NONE', #1216, #1219, #6433, .T. ) ;
#1219 = VERTEX_POINT ( 'NONE', #6428 ) ;
#1220 = ORIENTED_EDGE ( 'NONE', *, *, #1221, .T. ) ;
#1221 = EDGE_CURVE ( 'NONE', #1219, #1222, #6427, .T. ) ;
#1222 = VERTEX_POINT ( 'NONE', #6422 ) ;
#1223 = ORIENTED_EDGE ( 'NONE', *, *, #1195, .T. ) ;
#1224 = ORIENTED_EDGE ( 'NONE', *, *, #4095, .F. ) ;
#1225 = EDGE_CURVE ( 'NONE', #3998, #4043, #6421, .T. ) ;
#1226 = ORIENTED_EDGE ( 'NONE', *, *, #1225, .F. ) ;
#1227 = VERTEX_POINT ( 'NONE', #6416 ) ;
#1228 = VERTEX_POINT ( 'NONE', #6415 ) ;
#1229 = ORIENTED_EDGE ( 'NONE', *, *, #1230, .T. ) ;
#1230 = EDGE_CURVE ( 'NONE', #1228, #1231, #6414, .T. ) ;
#1231 = VERTEX_POINT ( 'NONE', #6409 ) ;
#1232 = ORIENTED_EDGE ( 'NONE', *, *, #1233, .T. ) ;
#1233 = EDGE_CURVE ( 'NONE', #1231, #1234, #6473, .T. ) ;
#1234 = VERTEX_POINT ( 'NONE', #6468 ) ;
#1235 = ORIENTED_EDGE ( 'NONE', *, *, #1236, .T. ) ;
#1236 = EDGE_CURVE ( 'NONE', #1234, #1237, #6467, .T. ) ;
#1237 = VERTEX_POINT ( 'NONE', #6462 ) ;
#1238 = ORIENTED_EDGE ( 'NONE', *, *, #3966, .F. ) ;
#1239 = ORIENTED_EDGE ( 'NONE', *, *, #4022, .F. ) ;
#1240 = ORIENTED_EDGE ( 'NONE', *, *, #4032, .F. ) ;
#1241 = ORIENTED_EDGE ( 'NONE', *, *, #3965, .T. ) ;
#1242 = EDGE_LOOP ( 'NONE', ( #1238, #1239, #1183, #1210 ) ) ;
#1243 = ADVANCED_FACE ( 'NONE', ( #6461 ), #6459, .T. ) ;
#1244 = EDGE_LOOP ( 'NONE', ( #1245, #1173, #1174, #1175 ) ) ;
#1245 = ORIENTED_EDGE ( 'NONE', *, *, #3903, .F. ) ;
#1246 = ORIENTED_EDGE ( 'NONE', *, *, #1225, .T. ) ;
#1247 = EDGE_LOOP ( 'NONE', ( #1248, #1229, #1232, #1235, #1250, #1253 ) ) ;
#1248 = ORIENTED_EDGE ( 'NONE', *, *, #1249, .T. ) ;
#1249 = EDGE_CURVE ( 'NONE', #1227, #1228, #6455, .T. ) ;
#1250 = ORIENTED_EDGE ( 'NONE', *, *, #1251, .T. ) ;
#1251 = EDGE_CURVE ( 'NONE', #1237, #1252, #6450, .T. ) ;
#1252 = VERTEX_POINT ( 'NONE', #6445 ) ;
#1253 = ORIENTED_EDGE ( 'NONE', *, *, #1283, .T. ) ;
#1254 = EDGE_LOOP ( 'NONE', ( #1255, #1256 ) ) ;
#1255 = ORIENTED_EDGE ( 'NONE', *, *, #1297, .F. ) ;
#1256 = ORIENTED_EDGE ( 'NONE', *, *, #4178, .F. ) ;
#1257 = ADVANCED_FACE ( 'NONE', ( #6444 ), #6443, .F. ) ;
#1258 = EDGE_LOOP ( 'NONE', ( #1259, #1295 ) ) ;
#1259 = ORIENTED_EDGE ( 'NONE', *, *, #1294, .T. ) ;
#1260 = ADVANCED_FACE ( 'NONE', ( #6442 ), #6507, .F. ) ;
#1261 = ORIENTED_EDGE ( 'NONE', *, *, #1262, .T. ) ;
#1262 = EDGE_CURVE ( 'NONE', #4079, #4080, #6502, .T. ) ;
#1263 = ORIENTED_EDGE ( 'NONE', *, *, #4078, .T. ) ;
#1264 = ORIENTED_EDGE ( 'NONE', *, *, #1344, .F. ) ;
#1265 = ORIENTED_EDGE ( 'NONE', *, *, #4151, .T. ) ;
#1266 = ORIENTED_EDGE ( 'NONE', *, *, #4164, .T. ) ;
#1267 = ADVANCED_FACE ( 'NONE', ( #6497, #6496 ), #6495, .T. ) ;
#1268 = EDGE_LOOP ( 'NONE', ( #1269, #1270 ) ) ;
#1269 = ORIENTED_EDGE ( 'NONE', *, *, #4130, .T. ) ;
#1270 = ORIENTED_EDGE ( 'NONE', *, *, #1273, .T. ) ;
#1271 = EDGE_LOOP ( 'NONE', ( #1272, #1345 ) ) ;
#1272 = ORIENTED_EDGE ( 'NONE', *, *, #4060, .T. ) ;
#1273 = EDGE_CURVE ( 'NONE', #4132, #4131, #6490, .T. ) ;
#1274 = ADVANCED_FACE ( 'NONE', ( #6485 ), #6484, .F. ) ;
#1275 = EDGE_LOOP ( 'NONE', ( #1276, #1278 ) ) ;
#1276 = ORIENTED_EDGE ( 'NONE', *, *, #1277, .T. ) ;
#1277 = EDGE_CURVE ( 'NONE', #4090, #4097, #6478, .T. ) ;
#1278 = ORIENTED_EDGE ( 'NONE', *, *, #4093, .T. ) ;
#1279 = EDGE_LOOP ( 'NONE', ( #1314, #1315, #1316, #1317 ) ) ;
#1280 = ADVANCED_FACE ( 'NONE', ( #6479 ), #6537, .F. ) ;
#1281 = EDGE_LOOP ( 'NONE', ( #1194, #1224, #1282, #1226 ) ) ;
#1282 = ORIENTED_EDGE ( 'NONE', *, *, #3999, .T. ) ;
#1283 = EDGE_CURVE ( 'NONE', #1252, #1227, #6536, .T. ) ;
#1284 = ADVANCED_FACE ( 'NONE', ( #6527, #6526 ), #6525, .T. ) ;
#1285 = ORIENTED_EDGE ( 'NONE', *, *, #3962, .T. ) ;
#1286 = ORIENTED_EDGE ( 'NONE', *, *, #1181, .T. ) ;
#1287 = EDGE_LOOP ( 'NONE', ( #1288, #1214, #1217, #1220, #1223, #1197 ) ) ;
#1288 = ORIENTED_EDGE ( 'NONE', *, *, #1212, .T. ) ;
#1289 = VERTEX_POINT ( 'NONE', #6520 ) ;
#1290 = EDGE_LOOP ( 'NONE', ( #1322, #1264, #1265, #1296 ) ) ;
#1291 = ORIENTED_EDGE ( 'NONE', *, *, #1292, .T. ) ;
#1292 = EDGE_CURVE ( 'NONE', #4127, #4128, #6519, .T. ) ;
#1293 = ORIENTED_EDGE ( 'NONE', *, *, #1344, .T. ) ;
#1294 = EDGE_CURVE ( 'NONE', #4118, #4116, #6514, .T. ) ;
#1295 = ORIENTED_EDGE ( 'NONE', *, *, #4113, .T. ) ;
#1296 = ORIENTED_EDGE ( 'NONE', *, *, #1297, .T. ) ;
#1297 = EDGE_CURVE ( 'NONE', #4177, #4179, #6509, .T. ) ;
#1298 = ORIENTED_EDGE ( 'NONE', *, *, #855, .T. ) ;
#1299 = ADVANCED_FACE ( 'NONE', ( #6567 ), #6566, .T. ) ;
#1300 = ADVANCED_FACE ( 'NONE', ( #6565 ), #6560, .F. ) ;
#1301 = EDGE_LOOP ( 'NONE', ( #1302, #1351 ) ) ;
#1302 = ORIENTED_EDGE ( 'NONE', *, *, #1350, .T. ) ;
#1303 = ADVANCED_FACE ( 'NONE', ( #6555 ), #6554, .F. ) ;
#1304 = EDGE_LOOP ( 'NONE', ( #1305, #1306, #1307, #1308 ) ) ;
#1305 = ORIENTED_EDGE ( 'NONE', *, *, #4121, .F. ) ;
#1306 = ORIENTED_EDGE ( 'NONE', *, *, #1292, .F. ) ;
#1307 = ORIENTED_EDGE ( 'NONE', *, *, #4115, .T. ) ;
#1308 = ORIENTED_EDGE ( 'NONE', *, *, #1273, .F. ) ;
#1309 = ORIENTED_EDGE ( 'NONE', *, *, #1277, .F. ) ;
#1310 = ORIENTED_EDGE ( 'NONE', *, *, #4064, .T. ) ;
#1311 = ORIENTED_EDGE ( 'NONE', *, *, #1312, .F. ) ;
#1312 = EDGE_CURVE ( 'NONE', #4053, #4052, #6548, .T. ) ;
#1313 = ADVANCED_FACE ( 'NONE', ( #6544 ), #6543, .T. ) ;
#1314 = ORIENTED_EDGE ( 'NONE', *, *, #4123, .F. ) ;
#1315 = ORIENTED_EDGE ( 'NONE', *, *, #1294, .F. ) ;
#1316 = ORIENTED_EDGE ( 'NONE', *, *, #4136, .T. ) ;
#1317 = ORIENTED_EDGE ( 'NONE', *, *, #1318, .F. ) ;
#1318 = EDGE_CURVE ( 'NONE', #4094, #4086, #6538, .T. ) ;
#1319 = ADVANCED_FACE ( 'NONE', ( #6601 ), #6594, .T. ) ;
#1320 = EDGE_LOOP ( 'NONE', ( #1321, #1359, #1360, #1361 ) ) ;
#1321 = ORIENTED_EDGE ( 'NONE', *, *, #4142, .F. ) ;
#1322 = ORIENTED_EDGE ( 'NONE', *, *, #4175, .F. ) ;
#1323 = ADVANCED_FACE ( 'NONE', ( #6590 ), #6589, .T. ) ;
#1324 = ORIENTED_EDGE ( 'NONE', *, *, #4072, .F. ) ;
#1325 = ORIENTED_EDGE ( 'NONE', *, *, #1262, .F. ) ;
#1326 = ORIENTED_EDGE ( 'NONE', *, *, #4075, .T. ) ;
#1327 = ORIENTED_EDGE ( 'NONE', *, *, #1328, .F. ) ;
#1328 = EDGE_CURVE ( 'NONE', #3993, #3992, #6584, .T. ) ;
#1329 = ORIENTED_EDGE ( 'NONE', *, *, #4126, .T. ) ;
#1330 = ORIENTED_EDGE ( 'NONE', *, *, #767, .T. ) ;
#1331 = ADVANCED_FACE ( 'NONE', ( #6580 ), #6579, .T. ) ;
#1332 = EDGE_LOOP ( 'NONE', ( #1333, #1336, #1338, #1339, #1340, #1341 ) ) ;
#1333 = ORIENTED_EDGE ( 'NONE', *, *, #1334, .T. ) ;
#1334 = EDGE_CURVE ( 'NONE', #829, #1335, #6572, .T. ) ;
#1335 = VERTEX_POINT ( 'NONE', #6722 ) ;
#1336 = ORIENTED_EDGE ( 'NONE', *, *, #1337, .F. ) ;
#1337 = EDGE_CURVE ( 'NONE', #12640, #1335, #6721, .T. ) ;
#1338 = ORIENTED_EDGE ( 'NONE', *, *, #253, .F. ) ;
#1339 = ORIENTED_EDGE ( 'NONE', *, *, #780, .F. ) ;
#1340 = ORIENTED_EDGE ( 'NONE', *, *, #763, .F. ) ;
#1341 = ORIENTED_EDGE ( 'NONE', *, *, #831, .F. ) ;
#1342 = ADVANCED_FACE ( 'NONE', ( #6717 ), #6715, .F. ) ;
#1343 = EDGE_LOOP ( 'NONE', ( #1396, #1397, #1400, #1402 ) ) ;
#1344 = EDGE_CURVE ( 'NONE', #4181, #4182, #6710, .T. ) ;
#1345 = ORIENTED_EDGE ( 'NONE', *, *, #1346, .T. ) ;
#1346 = EDGE_CURVE ( 'NONE', #4058, #3981, #6706, .T. ) ;
#1347 = ADVANCED_FACE ( 'NONE', ( #6701 ), #6700, .T. ) ;
#1348 = EDGE_LOOP ( 'NONE', ( #1349, #1309, #1310, #1311 ) ) ;
#1349 = ORIENTED_EDGE ( 'NONE', *, *, #4087, .F. ) ;
#1350 = EDGE_CURVE ( 'NONE', #4074, #4069, #6699, .T. ) ;
#1351 = ORIENTED_EDGE ( 'NONE', *, *, #4067, .T. ) ;
#1352 = EDGE_LOOP ( 'NONE', ( #1261, #1263 ) ) ;
#1353 = ADVANCED_FACE ( 'NONE', ( #6747, #6746 ), #6745, .T. ) ;
#1354 = EDGE_LOOP ( 'NONE', ( #1291, #1329 ) ) ;
#1355 = EDGE_LOOP ( 'NONE', ( #1266, #1298 ) ) ;
#1356 = ORIENTED_EDGE ( 'NONE', *, *, #4091, .T. ) ;
#1357 = ADVANCED_FACE ( 'NONE', ( #6740, #6739 ), #6738, .T. ) ;
#1358 = EDGE_LOOP ( 'NONE', ( #1293, #1356 ) ) ;
#1359 = ORIENTED_EDGE ( 'NONE', *, *, #1350, .F. ) ;
#1360 = ORIENTED_EDGE ( 'NONE', *, *, #4138, .T. ) ;
#1361 = ORIENTED_EDGE ( 'NONE', *, *, #1362, .F. ) ;
#1362 = EDGE_CURVE ( 'NONE', #4027, #4025, #6733, .T. ) ;
#1363 = EDGE_LOOP ( 'NONE', ( #1324, #1325, #1326, #1327 ) ) ;
#1364 = EDGE_CURVE ( 'NONE', #960, #1365, #6728, .T. ) ;
#1365 = VERTEX_POINT ( 'NONE', #6727 ) ;
#1366 = ORIENTED_EDGE ( 'NONE', *, *, #1367, .F. ) ;
#1367 = EDGE_CURVE ( 'NONE', #3254, #1365, #6779, .T. ) ;
#1368 = ORIENTED_EDGE ( 'NONE', *, *, #3263, .F. ) ;
#1369 = ORIENTED_EDGE ( 'NONE', *, *, #900, .F. ) ;
#1370 = ORIENTED_EDGE ( 'NONE', *, *, #882, .F. ) ;
#1371 = ORIENTED_EDGE ( 'NONE', *, *, #1017, .F. ) ;
#1372 = EDGE_LOOP ( 'NONE', ( #1431, #1432, #1435, #1437 ) ) ;
#1373 = ORIENTED_EDGE ( 'NONE', *, *, #846, .T. ) ;
#1374 = ORIENTED_EDGE ( 'NONE', *, *, #842, .T. ) ;
#1375 = ORIENTED_EDGE ( 'NONE', *, *, #865, .T. ) ;
#1376 = ORIENTED_EDGE ( 'NONE', *, *, #861, .T. ) ;
#1377 = ORIENTED_EDGE ( 'NONE', *, *, #804, .T. ) ;
#1378 = ORIENTED_EDGE ( 'NONE', *, *, #800, .T. ) ;
#1379 = ADVANCED_FACE ( 'NONE', ( #6775 ), #6774, .T. ) ;
#1380 = EDGE_LOOP ( 'NONE', ( #1381, #1382, #1383, #1384 ) ) ;
#1381 = ORIENTED_EDGE ( 'NONE', *, *, #3292, .F. ) ;
#1382 = ORIENTED_EDGE ( 'NONE', *, *, #12636, .T. ) ;
#1383 = ORIENTED_EDGE ( 'NONE', *, *, #3298, .T. ) ;
#1384 = ORIENTED_EDGE ( 'NONE', *, *, #1442, .F. ) ;
#1385 = ORIENTED_EDGE ( 'NONE', *, *, #775, .T. ) ;
#1386 = ORIENTED_EDGE ( 'NONE', *, *, #1401, .F. ) ;
#1387 = ORIENTED_EDGE ( 'NONE', *, *, #1388, .F. ) ;
#1388 = EDGE_CURVE ( 'NONE', #3304, #1399, #6773, .T. ) ;
#1389 = ADVANCED_FACE ( 'NONE', ( #6765 ), #6763, .T. ) ;
#1390 = EDGE_LOOP ( 'NONE', ( #1391, #1392, #1394, #1395, #1373, #1374, #1375, #1376, #1377, #1378 ) ) ;
#1391 = ORIENTED_EDGE ( 'NONE', *, *, #3348, .F. ) ;
#1392 = ORIENTED_EDGE ( 'NONE', *, *, #1393, .F. ) ;
#1393 = EDGE_CURVE ( 'NONE', #1335, #3303, #6758, .T. ) ;
#1394 = ORIENTED_EDGE ( 'NONE', *, *, #1334, .F. ) ;
#1395 = ORIENTED_EDGE ( 'NONE', *, *, #828, .T. ) ;
#1396 = ORIENTED_EDGE ( 'NONE', *, *, #247, .F. ) ;
#1397 = ORIENTED_EDGE ( 'NONE', *, *, #1398, .T. ) ;
#1398 = EDGE_CURVE ( 'NONE', #12638, #1399, #6806, .T. ) ;
#1399 = VERTEX_POINT ( 'NONE', #6801 ) ;
#1400 = ORIENTED_EDGE ( 'NONE', *, *, #1401, .T. ) ;
#1401 = EDGE_CURVE ( 'NONE', #1399, #776, #6800, .T. ) ;
#1402 = ORIENTED_EDGE ( 'NONE', *, *, #783, .F. ) ;
#1403 = ADVANCED_FACE ( 'NONE', ( #6799 ), #6798, .T. ) ;
#1404 = EDGE_LOOP ( 'NONE', ( #1405, #1406, #1330, #1385, #1386, #1387 ) ) ;
#1405 = ORIENTED_EDGE ( 'NONE', *, *, #3286, .T. ) ;
#1406 = ORIENTED_EDGE ( 'NONE', *, *, #821, .T. ) ;
#1407 = ORIENTED_EDGE ( 'NONE', *, *, #952, .T. ) ;
#1408 = ORIENTED_EDGE ( 'NONE', *, *, #948, .T. ) ;
#1409 = ORIENTED_EDGE ( 'NONE', *, *, #908, .T. ) ;
#1410 = ORIENTED_EDGE ( 'NONE', *, *, #904, .T. ) ;
#1411 = ORIENTED_EDGE ( 'NONE', *, *, #922, .T. ) ;
#1412 = ORIENTED_EDGE ( 'NONE', *, *, #918, .T. ) ;
#1413 = ADVANCED_FACE ( 'NONE', ( #6789 ), #6788, .T. ) ;
#1414 = EDGE_LOOP ( 'NONE', ( #1415, #1416, #1474, #1477 ) ) ;
#1415 = ORIENTED_EDGE ( 'NONE', *, *, #1010, .F. ) ;
#1416 = ORIENTED_EDGE ( 'NONE', *, *, #1417, .F. ) ;
#1417 = EDGE_CURVE ( 'NONE', #971, #1008, #6838, .T. ) ;
#1418 = ORIENTED_EDGE ( 'NONE', *, *, #886, .T. ) ;
#1419 = ORIENTED_EDGE ( 'NONE', *, *, #895, .T. ) ;
#1420 = ORIENTED_EDGE ( 'NONE', *, *, #1436, .F. ) ;
#1421 = ORIENTED_EDGE ( 'NONE', *, *, #1422, .F. ) ;
#1422 = EDGE_CURVE ( 'NONE', #3319, #1434, #6834, .T. ) ;
#1423 = ADVANCED_FACE ( 'NONE', ( #6830 ), #6828, .T. ) ;
#1424 = EDGE_LOOP ( 'NONE', ( #1425, #1426, #1428, #1429, #1407, #1408, #1409, #1410, #1411, #1412 ) ) ;
#1425 = ORIENTED_EDGE ( 'NONE', *, *, #3331, .F. ) ;
#1426 = ORIENTED_EDGE ( 'NONE', *, *, #1427, .F. ) ;
#1427 = EDGE_CURVE ( 'NONE', #1365, #3318, #6823, .T. ) ;
#1428 = ORIENTED_EDGE ( 'NONE', *, *, #1364, .F. ) ;
#1429 = ORIENTED_EDGE ( 'NONE', *, *, #959, .T. ) ;
#1430 = ADVANCED_FACE ( 'NONE', ( #6819 ), #6818, .F. ) ;
#1431 = ORIENTED_EDGE ( 'NONE', *, *, #3257, .F. ) ;
#1432 = ORIENTED_EDGE ( 'NONE', *, *, #1433, .T. ) ;
#1433 = EDGE_CURVE ( 'NONE', #3255, #1434, #6817, .T. ) ;
#1434 = VERTEX_POINT ( 'NONE', #6808 ) ;
#1435 = ORIENTED_EDGE ( 'NONE', *, *, #1436, .T. ) ;
#1436 = EDGE_CURVE ( 'NONE', #1434, #896, #6860, .T. ) ;
#1437 = ORIENTED_EDGE ( 'NONE', *, *, #903, .F. ) ;
#1438 = ADVANCED_FACE ( 'NONE', ( #6862 ), #6861, .T. ) ;
#1439 = EDGE_LOOP ( 'NONE', ( #1440, #1441, #1418, #1419, #1420, #1421 ) ) ;
#1440 = ORIENTED_EDGE ( 'NONE', *, *, #3249, .T. ) ;
#1441 = ORIENTED_EDGE ( 'NONE', *, *, #938, .T. ) ;
#1442 = EDGE_CURVE ( 'NONE', #3293, #3296, #6851, .T. ) ;
#1443 = ADVANCED_FACE ( 'NONE', ( #6846 ), #6845, .T. ) ;
#1444 = EDGE_LOOP ( 'NONE', ( #1445, #1366, #1368, #1369, #1370, #1371 ) ) ;
#1445 = ORIENTED_EDGE ( 'NONE', *, *, #1364, .T. ) ;
#1446 = EDGE_LOOP ( 'NONE', ( #1447, #1500, #1501, #1504 ) ) ;
#1447 = ORIENTED_EDGE ( 'NONE', *, *, #999, .F. ) ;
#1448 = ORIENTED_EDGE ( 'NONE', *, *, #1470, .T. ) ;
#1449 = ORIENTED_EDGE ( 'NONE', *, *, #1450, .T. ) ;
#1450 = EDGE_CURVE ( 'NONE', #1468, #1451, #6840, .T. ) ;
#1451 = VERTEX_POINT ( 'NONE', #6892 ) ;
#1452 = ORIENTED_EDGE ( 'NONE', *, *, #1453, .T. ) ;
#1453 = EDGE_CURVE ( 'NONE', #1451, #991, #6891, .T. ) ;
#1454 = ADVANCED_FACE ( 'NONE', ( #6887 ), #6886, .T. ) ;
#1455 = EDGE_LOOP ( 'NONE', ( #1456, #1457, #1458, #1513 ) ) ;
#1456 = ORIENTED_EDGE ( 'NONE', *, *, #993, .F. ) ;
#1457 = ORIENTED_EDGE ( 'NONE', *, *, #1453, .F. ) ;
#1458 = ORIENTED_EDGE ( 'NONE', *, *, #1459, .T. ) ;
#1459 = EDGE_CURVE ( 'NONE', #1451, #1460, #6880, .T. ) ;
#1460 = VERTEX_POINT ( 'NONE', #6876 ) ;
#1461 = EDGE_CURVE ( 'NONE', #1485, #1014, #6875, .T. ) ;
#1462 = ADVANCED_FACE ( 'NONE', ( #6871 ), #6870, .T. ) ;
#1463 = EDGE_LOOP ( 'NONE', ( #1464, #1465, #1466, #1469 ) ) ;
#1464 = ORIENTED_EDGE ( 'NONE', *, *, #987, .F. ) ;
#1465 = ORIENTED_EDGE ( 'NONE', *, *, #1461, .F. ) ;
#1466 = ORIENTED_EDGE ( 'NONE', *, *, #1467, .T. ) ;
#1467 = EDGE_CURVE ( 'NONE', #1485, #1468, #6869, .T. ) ;
#1468 = VERTEX_POINT ( 'NONE', #6926 ) ;
#1469 = ORIENTED_EDGE ( 'NONE', *, *, #1470, .F. ) ;
#1470 = EDGE_CURVE ( 'NONE', #988, #1468, #6925, .T. ) ;
#1471 = ADVANCED_FACE ( 'NONE', ( #6921 ), #6920, .T. ) ;
#1472 = EDGE_LOOP ( 'NONE', ( #1473, #1448, #1449, #1452 ) ) ;
#1473 = ORIENTED_EDGE ( 'NONE', *, *, #990, .F. ) ;
#1474 = ORIENTED_EDGE ( 'NONE', *, *, #1475, .T. ) ;
#1475 = EDGE_CURVE ( 'NONE', #971, #1476, #6915, .T. ) ;
#1476 = VERTEX_POINT ( 'NONE', #6910 ) ;
#1477 = ORIENTED_EDGE ( 'NONE', *, *, #1478, .F. ) ;
#1478 = EDGE_CURVE ( 'NONE', #1011, #1476, #6909, .T. ) ;
#1479 = ADVANCED_FACE ( 'NONE', ( #6905 ), #6904, .T. ) ;
#1480 = EDGE_LOOP ( 'NONE', ( #1481, #1482, #1483, #1486 ) ) ;
#1481 = ORIENTED_EDGE ( 'NONE', *, *, #1013, .F. ) ;
#1482 = ORIENTED_EDGE ( 'NONE', *, *, #1478, .T. ) ;
#1483 = ORIENTED_EDGE ( 'NONE', *, *, #1484, .T. ) ;
#1484 = EDGE_CURVE ( 'NONE', #1476, #1485, #6898, .T. ) ;
#1485 = VERTEX_POINT ( 'NONE', #6952 ) ;
#1486 = ORIENTED_EDGE ( 'NONE', *, *, #1461, .T. ) ;
#1487 = ADVANCED_FACE ( 'NONE', ( #6951 ), #6948, .T. ) ;
#1488 = EDGE_LOOP ( 'NONE', ( #1489, #1490, #1491, #1492 ) ) ;
#1489 = ORIENTED_EDGE ( 'NONE', *, *, #3307, .F. ) ;
#1490 = ORIENTED_EDGE ( 'NONE', *, *, #2943, .T. ) ;
#1491 = ORIENTED_EDGE ( 'NONE', *, *, #3313, .T. ) ;
#1492 = ORIENTED_EDGE ( 'NONE', *, *, #1493, .F. ) ;
#1493 = EDGE_CURVE ( 'NONE', #3308, #3311, #6949, .T. ) ;
#1494 = ADVANCED_FACE ( 'NONE', ( #6940 ), #6939, .T. ) ;
#1495 = EDGE_LOOP ( 'NONE', ( #1496, #1499, #1555, #1556, #1557 ) ) ;
#1496 = ORIENTED_EDGE ( 'NONE', *, *, #1497, .T. ) ;
#1497 = EDGE_CURVE ( 'NONE', #1117, #1498, #6934, .T. ) ;
#1498 = VERTEX_POINT ( 'NONE', #6933 ) ;
#1499 = ORIENTED_EDGE ( 'NONE', *, *, #1554, .F. ) ;
#1500 = ORIENTED_EDGE ( 'NONE', *, *, #1523, .F. ) ;
#1501 = ORIENTED_EDGE ( 'NONE', *, *, #1502, .T. ) ;
#1502 = EDGE_CURVE ( 'NONE', #1521, #1503, #6984, .T. ) ;
#1503 = VERTEX_POINT ( 'NONE', #6979 ) ;
#1504 = ORIENTED_EDGE ( 'NONE', *, *, #1505, .F. ) ;
#1505 = EDGE_CURVE ( 'NONE', #1007, #1503, #6978, .T. ) ;
#1506 = ADVANCED_FACE ( 'NONE', ( #6974 ), #6973, .T. ) ;
#1507 = EDGE_LOOP ( 'NONE', ( #1508, #1509, #1510, #1512 ) ) ;
#1508 = ORIENTED_EDGE ( 'NONE', *, *, #1006, .F. ) ;
#1509 = ORIENTED_EDGE ( 'NONE', *, *, #1505, .T. ) ;
#1510 = ORIENTED_EDGE ( 'NONE', *, *, #1511, .T. ) ;
#1511 = EDGE_CURVE ( 'NONE', #1503, #971, #6968, .T. ) ;
#1512 = ORIENTED_EDGE ( 'NONE', *, *, #1417, .T. ) ;
#1513 = ORIENTED_EDGE ( 'NONE', *, *, #1514, .F. ) ;
#1514 = EDGE_CURVE ( 'NONE', #994, #1460, #6964, .T. ) ;
#1515 = ADVANCED_FACE ( 'NONE', ( #6960 ), #6959, .T. ) ;
#1516 = EDGE_LOOP ( 'NONE', ( #1517, #1518, #1519, #1522 ) ) ;
#1517 = ORIENTED_EDGE ( 'NONE', *, *, #996, .F. ) ;
#1518 = ORIENTED_EDGE ( 'NONE', *, *, #1514, .T. ) ;
#1519 = ORIENTED_EDGE ( 'NONE', *, *, #1520, .T. ) ;
#1520 = EDGE_CURVE ( 'NONE', #1460, #1521, #6953, .T. ) ;
#1521 = VERTEX_POINT ( 'NONE', #7013 ) ;
#1522 = ORIENTED_EDGE ( 'NONE', *, *, #1523, .T. ) ;
#1523 = EDGE_CURVE ( 'NONE', #1521, #997, #7012, .T. ) ;
#1524 = ADVANCED_FACE ( 'NONE', ( #7008 ), #7007, .T. ) ;
#1525 = EDGE_LOOP ( 'NONE', ( #1526, #1581 ) ) ;
#1526 = ORIENTED_EDGE ( 'NONE', *, *, #3922, .T. ) ;
#1527 = ORIENTED_EDGE ( 'NONE', *, *, #1528, .T. ) ;
#1528 = EDGE_CURVE ( 'NONE', #1529, #1530, #7001, .T. ) ;
#1529 = VERTEX_POINT ( 'NONE', #6997 ) ;
#1530 = VERTEX_POINT ( 'NONE', #6996 ) ;
#1531 = ORIENTED_EDGE ( 'NONE', *, *, #1532, .T. ) ;
#1532 = EDGE_CURVE ( 'NONE', #1530, #1533, #6995, .T. ) ;
#1533 = VERTEX_POINT ( 'NONE', #6990 ) ;
#1534 = ORIENTED_EDGE ( 'NONE', *, *, #1535, .T. ) ;
#1535 = EDGE_CURVE ( 'NONE', #1533, #1536, #6989, .T. ) ;
#1536 = VERTEX_POINT ( 'NONE', #7048 ) ;
#1537 = ORIENTED_EDGE ( 'NONE', *, *, #1538, .T. ) ;
#1538 = EDGE_CURVE ( 'NONE', #1536, #1539, #7047, .T. ) ;
#1539 = VERTEX_POINT ( 'NONE', #7042 ) ;
#1540 = ORIENTED_EDGE ( 'NONE', *, *, #1541, .T. ) ;
#1541 = EDGE_CURVE ( 'NONE', #1539, #1596, #7041, .T. ) ;
#1542 = ORIENTED_EDGE ( 'NONE', *, *, #1030, .F. ) ;
#1543 = ADVANCED_FACE ( 'NONE', ( #7036 ), #7035, .T. ) ;
#1544 = ORIENTED_EDGE ( 'NONE', *, *, #3175, .T. ) ;
#1545 = ORIENTED_EDGE ( 'NONE', *, *, #1097, .T. ) ;
#1546 = ORIENTED_EDGE ( 'NONE', *, *, #1047, .T. ) ;
#1547 = ORIENTED_EDGE ( 'NONE', *, *, #1565, .F. ) ;
#1548 = ORIENTED_EDGE ( 'NONE', *, *, #1549, .F. ) ;
#1549 = EDGE_CURVE ( 'NONE', #3121, #1563, #7030, .T. ) ;
#1550 = ADVANCED_FACE ( 'NONE', ( #7026 ), #7024, .T. ) ;
#1551 = EDGE_LOOP ( 'NONE', ( #1552, #1553, #1661, #1662, #1663, #1664, #1665, #1666, #1667, #1668 ) ) ;
#1552 = ORIENTED_EDGE ( 'NONE', *, *, #3209, .F. ) ;
#1553 = ORIENTED_EDGE ( 'NONE', *, *, #1660, .F. ) ;
#1554 = EDGE_CURVE ( 'NONE', #3341, #1498, #7025, .T. ) ;
#1555 = ORIENTED_EDGE ( 'NONE', *, *, #3324, .F. ) ;
#1556 = ORIENTED_EDGE ( 'NONE', *, *, #1053, .F. ) ;
#1557 = ORIENTED_EDGE ( 'NONE', *, *, #1119, .F. ) ;
#1558 = ADVANCED_FACE ( 'NONE', ( #7016 ), #7070, .F. ) ;
#1559 = EDGE_LOOP ( 'NONE', ( #1560, #1561, #1564, #1542 ) ) ;
#1560 = ORIENTED_EDGE ( 'NONE', *, *, #3406, .F. ) ;
#1561 = ORIENTED_EDGE ( 'NONE', *, *, #1562, .T. ) ;
#1562 = EDGE_CURVE ( 'NONE', #3404, #1563, #7069, .T. ) ;
#1563 = VERTEX_POINT ( 'NONE', #7060 ) ;
#1564 = ORIENTED_EDGE ( 'NONE', *, *, #1565, .T. ) ;
#1565 = EDGE_CURVE ( 'NONE', #1563, #1048, #7059, .T. ) ;
#1566 = EDGE_LOOP ( 'NONE', ( #1544, #1545, #1546, #1547, #1548 ) ) ;
#1567 = EDGE_CURVE ( 'NONE', #1595, #1568, #7054, .T. ) ;
#1568 = VERTEX_POINT ( 'NONE', #7049 ) ;
#1569 = ORIENTED_EDGE ( 'NONE', *, *, #1570, .T. ) ;
#1570 = EDGE_CURVE ( 'NONE', #1568, #1585, #7097, .T. ) ;
#1571 = ADVANCED_FACE ( 'NONE', ( #7092 ), #7091, .T. ) ;
#1572 = EDGE_LOOP ( 'NONE', ( #1573, #1574, #1577 ) ) ;
#1573 = ORIENTED_EDGE ( 'NONE', *, *, #1230, .F. ) ;
#1574 = ORIENTED_EDGE ( 'NONE', *, *, #1575, .F. ) ;
#1575 = EDGE_CURVE ( 'NONE', #1576, #1228, #7086, .T. ) ;
#1576 = VERTEX_POINT ( 'NONE', #7085 ) ;
#1577 = ORIENTED_EDGE ( 'NONE', *, *, #1578, .F. ) ;
#1578 = EDGE_CURVE ( 'NONE', #1231, #1576, #7076, .T. ) ;
#1579 = ADVANCED_FACE ( 'NONE', ( #7078 ), #7077, .T. ) ;
#1580 = EDGE_LOOP ( 'NONE', ( #1632, #1633, #1636 ) ) ;
#1581 = ORIENTED_EDGE ( 'NONE', *, *, #1186, .T. ) ;
#1582 = EDGE_LOOP ( 'NONE', ( #1583, #1587, #1590, #1593, #1645, #1569 ) ) ;
#1583 = ORIENTED_EDGE ( 'NONE', *, *, #1584, .T. ) ;
#1584 = EDGE_CURVE ( 'NONE', #1585, #1586, #7123, .T. ) ;
#1585 = VERTEX_POINT ( 'NONE', #7118 ) ;
#1586 = VERTEX_POINT ( 'NONE', #7117 ) ;
#1587 = ORIENTED_EDGE ( 'NONE', *, *, #1588, .T. ) ;
#1588 = EDGE_CURVE ( 'NONE', #1586, #1589, #7116, .T. ) ;
#1589 = VERTEX_POINT ( 'NONE', #7111 ) ;
#1590 = ORIENTED_EDGE ( 'NONE', *, *, #1591, .T. ) ;
#1591 = EDGE_CURVE ( 'NONE', #1589, #1592, #7110, .T. ) ;
#1592 = VERTEX_POINT ( 'NONE', #7105 ) ;
#1593 = ORIENTED_EDGE ( 'NONE', *, *, #1594, .T. ) ;
#1594 = EDGE_CURVE ( 'NONE', #1592, #1595, #7104, .T. ) ;
#1595 = VERTEX_POINT ( 'NONE', #7099 ) ;
#1596 = VERTEX_POINT ( 'NONE', #7098 ) ;
#1597 = ORIENTED_EDGE ( 'NONE', *, *, #1598, .T. ) ;
#1598 = EDGE_CURVE ( 'NONE', #1596, #1529, #7160, .T. ) ;
#1599 = ADVANCED_FACE ( 'NONE', ( #7155 ), #7154, .F. ) ;
#1600 = EDGE_LOOP ( 'NONE', ( #1601, #1602, #1603, #1604 ) ) ;
#1601 = ORIENTED_EDGE ( 'NONE', *, *, #3941, .F. ) ;
#1602 = ORIENTED_EDGE ( 'NONE', *, *, #3905, .F. ) ;
#1603 = ORIENTED_EDGE ( 'NONE', *, *, #3912, .T. ) ;
#1604 = ORIENTED_EDGE ( 'NONE', *, *, #1605, .F. ) ;
#1605 = EDGE_CURVE ( 'NONE', #3942, #3945, #7148, .T. ) ;
#1606 = ADVANCED_FACE ( 'NONE', ( #7144, #7143 ), #7142, .T. ) ;
#1607 = EDGE_LOOP ( 'NONE', ( #1608, #1609, #1612 ) ) ;
#1608 = ORIENTED_EDGE ( 'NONE', *, *, #1249, .F. ) ;
#1609 = ORIENTED_EDGE ( 'NONE', *, *, #1610, .F. ) ;
#1610 = EDGE_CURVE ( 'NONE', #1611, #1227, #7135, .T. ) ;
#1611 = VERTEX_POINT ( 'NONE', #7186 ) ;
#1612 = ORIENTED_EDGE ( 'NONE', *, *, #1613, .F. ) ;
#1613 = EDGE_CURVE ( 'NONE', #1228, #1611, #7184, .T. ) ;
#1614 = ADVANCED_FACE ( 'NONE', ( #7185 ), #7183, .T. ) ;
#1615 = EDGE_LOOP ( 'NONE', ( #1616, #1671, #1674 ) ) ;
#1616 = ORIENTED_EDGE ( 'NONE', *, *, #1218, .F. ) ;
#1617 = EDGE_CURVE ( 'NONE', #1237, #1643, #7171, .T. ) ;
#1618 = ADVANCED_FACE ( 'NONE', ( #7169 ), #7161, .T. ) ;
#1619 = EDGE_LOOP ( 'NONE', ( #1620, #1621, #1624 ) ) ;
#1620 = ORIENTED_EDGE ( 'NONE', *, *, #1251, .F. ) ;
#1621 = ORIENTED_EDGE ( 'NONE', *, *, #1622, .F. ) ;
#1622 = EDGE_CURVE ( 'NONE', #1623, #1237, #7211, .T. ) ;
#1623 = VERTEX_POINT ( 'NONE', #7210 ) ;
#1624 = ORIENTED_EDGE ( 'NONE', *, *, #1625, .F. ) ;
#1625 = EDGE_CURVE ( 'NONE', #1252, #1623, #7201, .T. ) ;
#1626 = ADVANCED_FACE ( 'NONE', ( #7203 ), #7202, .T. ) ;
#1627 = EDGE_LOOP ( 'NONE', ( #1628, #1631, #1685 ) ) ;
#1628 = ORIENTED_EDGE ( 'NONE', *, *, #1629, .F. ) ;
#1629 = EDGE_CURVE ( 'NONE', #1227, #1630, #7188, .T. ) ;
#1630 = VERTEX_POINT ( 'NONE', #7187 ) ;
#1631 = ORIENTED_EDGE ( 'NONE', *, *, #1283, .F. ) ;
#1632 = ORIENTED_EDGE ( 'NONE', *, *, #1233, .F. ) ;
#1633 = ORIENTED_EDGE ( 'NONE', *, *, #1634, .F. ) ;
#1634 = EDGE_CURVE ( 'NONE', #1635, #1231, #7231, .T. ) ;
#1635 = VERTEX_POINT ( 'NONE', #7230 ) ;
#1636 = ORIENTED_EDGE ( 'NONE', *, *, #1637, .F. ) ;
#1637 = EDGE_CURVE ( 'NONE', #1234, #1635, #7222, .T. ) ;
#1638 = ADVANCED_FACE ( 'NONE', ( #7223 ), #7220, .T. ) ;
#1639 = EDGE_LOOP ( 'NONE', ( #1640, #1641, #1644 ) ) ;
#1640 = ORIENTED_EDGE ( 'NONE', *, *, #1236, .F. ) ;
#1641 = ORIENTED_EDGE ( 'NONE', *, *, #1642, .F. ) ;
#1642 = EDGE_CURVE ( 'NONE', #1643, #1234, #7258, .T. ) ;
#1643 = VERTEX_POINT ( 'NONE', #7257 ) ;
#1644 = ORIENTED_EDGE ( 'NONE', *, *, #1617, .F. ) ;
#1645 = ORIENTED_EDGE ( 'NONE', *, *, #1567, .T. ) ;
#1646 = EDGE_CURVE ( 'NONE', #3155, #1729, #7250, .T. ) ;
#1647 = ORIENTED_EDGE ( 'NONE', *, *, #3201, .F. ) ;
#1648 = ORIENTED_EDGE ( 'NONE', *, *, #3197, .T. ) ;
#1649 = ORIENTED_EDGE ( 'NONE', *, *, #1650, .F. ) ;
#1650 = EDGE_CURVE ( 'NONE', #1651, #3199, #7243, .T. ) ;
#1651 = VERTEX_POINT ( 'NONE', #7242 ) ;
#1652 = ORIENTED_EDGE ( 'NONE', *, *, #1653, .F. ) ;
#1653 = EDGE_CURVE ( 'NONE', #1654, #1651, #7285, .T. ) ;
#1654 = VERTEX_POINT ( 'NONE', #7284 ) ;
#1655 = ORIENTED_EDGE ( 'NONE', *, *, #1656, .F. ) ;
#1656 = EDGE_CURVE ( 'NONE', #1657, #1654, #7275, .T. ) ;
#1657 = VERTEX_POINT ( 'NONE', #7274 ) ;
#1658 = ORIENTED_EDGE ( 'NONE', *, *, #1659, .F. ) ;
#1659 = EDGE_CURVE ( 'NONE', #3202, #1657, #7264, .T. ) ;
#1660 = EDGE_CURVE ( 'NONE', #1498, #3120, #7263, .T. ) ;
#1661 = ORIENTED_EDGE ( 'NONE', *, *, #1497, .F. ) ;
#1662 = ORIENTED_EDGE ( 'NONE', *, *, #1116, .T. ) ;
#1663 = ORIENTED_EDGE ( 'NONE', *, *, #1112, .T. ) ;
#1664 = ORIENTED_EDGE ( 'NONE', *, *, #1057, .T. ) ;
#1665 = ORIENTED_EDGE ( 'NONE', *, *, #1128, .T. ) ;
#1666 = ORIENTED_EDGE ( 'NONE', *, *, #1121, .T. ) ;
#1667 = ORIENTED_EDGE ( 'NONE', *, *, #1068, .T. ) ;
#1668 = ORIENTED_EDGE ( 'NONE', *, *, #1060, .T. ) ;
#1669 = ADVANCED_FACE ( 'NONE', ( #7309 ), #7304, .F. ) ;
#1670 = EDGE_LOOP ( 'NONE', ( #1647, #1648, #1649, #1652, #1655, #1658 ) ) ;
#1671 = ORIENTED_EDGE ( 'NONE', *, *, #1672, .F. ) ;
#1672 = EDGE_CURVE ( 'NONE', #1673, #1216, #7300, .T. ) ;
#1673 = VERTEX_POINT ( 'NONE', #7299 ) ;
#1674 = ORIENTED_EDGE ( 'NONE', *, *, #1675, .F. ) ;
#1675 = EDGE_CURVE ( 'NONE', #1219, #1673, #7291, .T. ) ;
#1676 = ADVANCED_FACE ( 'NONE', ( #7292 ), #7290, .T. ) ;
#1677 = EDGE_LOOP ( 'NONE', ( #1678, #1679, #1682 ) ) ;
#1678 = ORIENTED_EDGE ( 'NONE', *, *, #1221, .F. ) ;
#1679 = ORIENTED_EDGE ( 'NONE', *, *, #1680, .F. ) ;
#1680 = EDGE_CURVE ( 'NONE', #1681, #1219, #7332, .T. ) ;
#1681 = VERTEX_POINT ( 'NONE', #7331 ) ;
#1682 = ORIENTED_EDGE ( 'NONE', *, *, #1683, .F. ) ;
#1683 = EDGE_CURVE ( 'NONE', #1222, #1681, #7324, .T. ) ;
#1684 = ADVANCED_FACE ( 'NONE', ( #7323 ), #7322, .T. ) ;
#1685 = ORIENTED_EDGE ( 'NONE', *, *, #1686, .F. ) ;
#1686 = EDGE_CURVE ( 'NONE', #1630, #1252, #7368, .T. ) ;
#1687 = ADVANCED_FACE ( 'NONE', ( #7366 ), #7365, .T. ) ;
#1688 = VERTEX_POINT ( 'NONE', #7356 ) ;
#1689 = VERTEX_POINT ( 'NONE', #7355 ) ;
#1690 = ORIENTED_EDGE ( 'NONE', *, *, #1691, .F. ) ;
#1691 = EDGE_CURVE ( 'NONE', #3194, #1715, #7353, .T. ) ;
#1692 = ADVANCED_FACE ( 'NONE', ( #7396 ), #7395, .F. ) ;
#1693 = ORIENTED_EDGE ( 'NONE', *, *, #3274, .F. ) ;
#1694 = ORIENTED_EDGE ( 'NONE', *, *, #3270, .T. ) ;
#1695 = ORIENTED_EDGE ( 'NONE', *, *, #1696, .F. ) ;
#1696 = EDGE_CURVE ( 'NONE', #1697, #3272, #7390, .T. ) ;
#1697 = VERTEX_POINT ( 'NONE', #7389 ) ;
#1698 = ORIENTED_EDGE ( 'NONE', *, *, #1699, .F. ) ;
#1699 = EDGE_CURVE ( 'NONE', #1700, #1697, #7382, .T. ) ;
#1700 = VERTEX_POINT ( 'NONE', #7381 ) ;
#1701 = ORIENTED_EDGE ( 'NONE', *, *, #1702, .F. ) ;
#1702 = EDGE_CURVE ( 'NONE', #1757, #1700, #7420, .T. ) ;
#1703 = ADVANCED_FACE ( 'NONE', ( #7419 ), #7421, .F. ) ;
#1704 = EDGE_LOOP ( 'NONE', ( #1705, #1706, #1707, #1710, #1713, #1690 ) ) ;
#1705 = ORIENTED_EDGE ( 'NONE', *, *, #3223, .F. ) ;
#1706 = ORIENTED_EDGE ( 'NONE', *, *, #3190, .T. ) ;
#1707 = ORIENTED_EDGE ( 'NONE', *, *, #1708, .F. ) ;
#1708 = EDGE_CURVE ( 'NONE', #1709, #3192, #7406, .T. ) ;
#1709 = VERTEX_POINT ( 'NONE', #7405 ) ;
#1710 = ORIENTED_EDGE ( 'NONE', *, *, #1711, .F. ) ;
#1711 = EDGE_CURVE ( 'NONE', #1712, #1709, #7398, .T. ) ;
#1712 = VERTEX_POINT ( 'NONE', #7397 ) ;
#1713 = ORIENTED_EDGE ( 'NONE', *, *, #1714, .F. ) ;
#1714 = EDGE_CURVE ( 'NONE', #1715, #1712, #7440, .T. ) ;
#1715 = VERTEX_POINT ( 'NONE', #7441 ) ;
#1716 = EDGE_LOOP ( 'NONE', ( #1693, #1694, #1695, #1698, #1701, #1758 ) ) ;
#1717 = ADVANCED_FACE ( 'NONE', ( #7439 ), #7438, .F. ) ;
#1718 = EDGE_LOOP ( 'NONE', ( #1719, #1720, #1721, #1724, #1727, #1730 ) ) ;
#1719 = ORIENTED_EDGE ( 'NONE', *, *, #3154, .F. ) ;
#1720 = ORIENTED_EDGE ( 'NONE', *, *, #3238, .T. ) ;
#1721 = ORIENTED_EDGE ( 'NONE', *, *, #1722, .F. ) ;
#1722 = EDGE_CURVE ( 'NONE', #1723, #3152, #7425, .T. ) ;
#1723 = VERTEX_POINT ( 'NONE', #7424 ) ;
#1724 = ORIENTED_EDGE ( 'NONE', *, *, #1725, .F. ) ;
#1725 = EDGE_CURVE ( 'NONE', #1726, #1723, #7478, .T. ) ;
#1726 = VERTEX_POINT ( 'NONE', #7477 ) ;
#1727 = ORIENTED_EDGE ( 'NONE', *, *, #1728, .F. ) ;
#1728 = EDGE_CURVE ( 'NONE', #1729, #1726, #7467, .T. ) ;
#1729 = VERTEX_POINT ( 'NONE', #7468 ) ;
#1730 = ORIENTED_EDGE ( 'NONE', *, *, #1646, .F. ) ;
#1731 = VERTEX_POINT ( 'NONE', #7466 ) ;
#1732 = ORIENTED_EDGE ( 'NONE', *, *, #292, .F. ) ;
#1733 = ORIENTED_EDGE ( 'NONE', *, *, #1167, .T. ) ;
#1734 = EDGE_LOOP ( 'NONE', ( #1735, #1737 ) ) ;
#1735 = ORIENTED_EDGE ( 'NONE', *, *, #1736, .T. ) ;
#1736 = EDGE_CURVE ( 'NONE', #2332, #2331, #7465, .T. ) ;
#1737 = ORIENTED_EDGE ( 'NONE', *, *, #2330, .T. ) ;
#1738 = EDGE_LOOP ( 'NONE', ( #1739, #1740 ) ) ;
#1739 = ORIENTED_EDGE ( 'NONE', *, *, #2937, .T. ) ;
#1740 = ORIENTED_EDGE ( 'NONE', *, *, #1161, .T. ) ;
#1741 = ADVANCED_FACE ( 'NONE', ( #7456, #7451, #7450 ), #7512, .T. ) ;
#1742 = EDGE_LOOP ( 'NONE', ( #1743, #2108, #2109, #2110, #2111, #2112 ) ) ;
#1743 = ORIENTED_EDGE ( 'NONE', *, *, #1393, .T. ) ;
#1744 = ORIENTED_EDGE ( 'NONE', *, *, #1745, .T. ) ;
#1745 = EDGE_CURVE ( 'NONE', #1688, #1689, #7513, .T. ) ;
#1746 = ORIENTED_EDGE ( 'NONE', *, *, #1747, .T. ) ;
#1747 = EDGE_CURVE ( 'NONE', #1689, #1748, #7504, .T. ) ;
#1748 = VERTEX_POINT ( 'NONE', #7500 ) ;
#1749 = ORIENTED_EDGE ( 'NONE', *, *, #1750, .T. ) ;
#1750 = EDGE_CURVE ( 'NONE', #1748, #1764, #7499, .T. ) ;
#1751 = ADVANCED_FACE ( 'NONE', ( #7495, #7494, #7493 ), #7492, .T. ) ;
#1752 = EDGE_LOOP ( 'NONE', ( #1753, #1754, #1755, #1756, #1732, #1733 ) ) ;
#1753 = ORIENTED_EDGE ( 'NONE', *, *, #1144, .T. ) ;
#1754 = ORIENTED_EDGE ( 'NONE', *, *, #240, .T. ) ;
#1755 = ORIENTED_EDGE ( 'NONE', *, *, #1139, .T. ) ;
#1756 = ORIENTED_EDGE ( 'NONE', *, *, #1150, .F. ) ;
#1757 = VERTEX_POINT ( 'NONE', #7487 ) ;
#1758 = ORIENTED_EDGE ( 'NONE', *, *, #1759, .F. ) ;
#1759 = EDGE_CURVE ( 'NONE', #3275, #1757, #7486, .T. ) ;
#1760 = ADVANCED_FACE ( 'NONE', ( #7485 ), #7484, .F. ) ;
#1761 = EDGE_LOOP ( 'NONE', ( #1762, #1766, #1769, #1744, #1746, #1749 ) ) ;
#1762 = ORIENTED_EDGE ( 'NONE', *, *, #1763, .T. ) ;
#1763 = EDGE_CURVE ( 'NONE', #1764, #1765, #7538, .T. ) ;
#1764 = VERTEX_POINT ( 'NONE', #7530 ) ;
#1765 = VERTEX_POINT ( 'NONE', #7529 ) ;
#1766 = ORIENTED_EDGE ( 'NONE', *, *, #1767, .T. ) ;
#1767 = EDGE_CURVE ( 'NONE', #1765, #1768, #7528, .T. ) ;
#1768 = VERTEX_POINT ( 'NONE', #7524 ) ;
#1769 = ORIENTED_EDGE ( 'NONE', *, *, #1770, .T. ) ;
#1770 = EDGE_CURVE ( 'NONE', #1768, #1688, #7523, .T. ) ;
#1771 = ORIENTED_EDGE ( 'NONE', *, *, #1790, .F. ) ;
#1772 = ORIENTED_EDGE ( 'NONE', *, *, #1847, .T. ) ;
#1773 = ORIENTED_EDGE ( 'NONE', *, *, #1780, .T. ) ;
#1774 = ORIENTED_EDGE ( 'NONE', *, *, #1792, .F. ) ;
#1775 = ORIENTED_EDGE ( 'NONE', *, *, #1852, .T. ) ;
#1776 = ORIENTED_EDGE ( 'NONE', *, *, #4144, .F. ) ;
#1777 = ADVANCED_FACE ( 'NONE', ( #7519 ), #7518, .F. ) ;
#1778 = EDGE_LOOP ( 'NONE', ( #1779, #2814, #3491, #3660, #3659 ) ) ;
#1779 = ORIENTED_EDGE ( 'NONE', *, *, #4199, .T. ) ;
#1780 = EDGE_CURVE ( 'NONE', #1801, #4210, #7573, .T. ) ;
#1781 = ORIENTED_EDGE ( 'NONE', *, *, #4188, .F. ) ;
#1782 = ADVANCED_FACE ( 'NONE', ( #7575 ), #7574, .F. ) ;
#1783 = EDGE_LOOP ( 'NONE', ( #1784, #1774, #1775, #1776 ) ) ;
#1784 = ORIENTED_EDGE ( 'NONE', *, *, #1785, .F. ) ;
#1785 = EDGE_CURVE ( 'NONE', #1839, #4212, #7562, .T. ) ;
#1786 = ORIENTED_EDGE ( 'NONE', *, *, #4408, .T. ) ;
#1787 = ADVANCED_FACE ( 'NONE', ( #7556 ), #7555, .F. ) ;
#1788 = EDGE_LOOP ( 'NONE', ( #1837, #1841, #1789, #1791 ) ) ;
#1789 = ORIENTED_EDGE ( 'NONE', *, *, #1790, .T. ) ;
#1790 = EDGE_CURVE ( 'NONE', #1843, #1844, #7550, .T. ) ;
#1791 = ORIENTED_EDGE ( 'NONE', *, *, #1792, .T. ) ;
#1792 = EDGE_CURVE ( 'NONE', #1844, #1839, #7546, .T. ) ;
#1793 = ADVANCED_FACE ( 'NONE', ( #7604 ), #7603, .T. ) ;
#1794 = EDGE_LOOP ( 'NONE', ( #1795, #1797, #1798, #1799, #1802, #1848 ) ) ;
#1795 = ORIENTED_EDGE ( 'NONE', *, *, #1796, .T. ) ;
#1796 = EDGE_CURVE ( 'NONE', #1840, #4193, #7598, .T. ) ;
#1797 = ORIENTED_EDGE ( 'NONE', *, *, #4192, .T. ) ;
#1798 = ORIENTED_EDGE ( 'NONE', *, *, #4259, .T. ) ;
#1799 = ORIENTED_EDGE ( 'NONE', *, *, #1800, .T. ) ;
#1800 = EDGE_CURVE ( 'NONE', #4263, #1801, #7594, .T. ) ;
#1801 = VERTEX_POINT ( 'NONE', #7589 ) ;
#1802 = ORIENTED_EDGE ( 'NONE', *, *, #1847, .F. ) ;
#1803 = EDGE_LOOP ( 'NONE', ( #1806, #1870, #1824, #1827, #1830, #1812 ) ) ;
#1804 = EDGE_LOOP ( 'NONE', ( #3722, #3723, #3726 ) ) ;
#1805 = VERTEX_POINT ( 'NONE', #7588 ) ;
#1806 = ORIENTED_EDGE ( 'NONE', *, *, #1807, .F. ) ;
#1807 = EDGE_CURVE ( 'NONE', #1731, #1805, #7586, .T. ) ;
#1808 = ADVANCED_FACE ( 'NONE', ( #7587 ), #7579, .F. ) ;
#1809 = VERTEX_POINT ( 'NONE', #7580 ) ;
#1810 = EDGE_CURVE ( 'NONE', #1829, #1811, #7352, .T. ) ;
#1811 = VERTEX_POINT ( 'NONE', #7640 ) ;
#1812 = ORIENTED_EDGE ( 'NONE', *, *, #1813, .F. ) ;
#1813 = EDGE_CURVE ( 'NONE', #1805, #1811, #7639, .T. ) ;
#1814 = ADVANCED_FACE ( 'NONE', ( #7635 ), #7633, .F. ) ;
#1815 = EDGE_LOOP ( 'NONE', ( #1816, #1820, #1880, #1882, #1885, #1888 ) ) ;
#1816 = ORIENTED_EDGE ( 'NONE', *, *, #1817, .F. ) ;
#1817 = EDGE_CURVE ( 'NONE', #1818, #1819, #7628, .T. ) ;
#1818 = VERTEX_POINT ( 'NONE', #7624 ) ;
#1819 = VERTEX_POINT ( 'NONE', #7623 ) ;
#1820 = ORIENTED_EDGE ( 'NONE', *, *, #1821, .T. ) ;
#1821 = EDGE_CURVE ( 'NONE', #1818, #1822, #7622, .T. ) ;
#1822 = VERTEX_POINT ( 'NONE', #7618 ) ;
#1823 = VERTEX_POINT ( 'NONE', #7617 ) ;
#1824 = ORIENTED_EDGE ( 'NONE', *, *, #1825, .T. ) ;
#1825 = EDGE_CURVE ( 'NONE', #1872, #1826, #7616, .T. ) ;
#1826 = VERTEX_POINT ( 'NONE', #7611 ) ;
#1827 = ORIENTED_EDGE ( 'NONE', *, *, #1828, .F. ) ;
#1828 = EDGE_CURVE ( 'NONE', #1829, #1826, #7672, .T. ) ;
#1829 = VERTEX_POINT ( 'NONE', #7668 ) ;
#1830 = ORIENTED_EDGE ( 'NONE', *, *, #1810, .T. ) ;
#1831 = ORIENTED_EDGE ( 'NONE', *, *, #1832, .T. ) ;
#1832 = EDGE_CURVE ( 'NONE', #1868, #1833, #7667, .T. ) ;
#1833 = VERTEX_POINT ( 'NONE', #7663 ) ;
#1834 = ORIENTED_EDGE ( 'NONE', *, *, #1835, .T. ) ;
#1835 = EDGE_CURVE ( 'NONE', #1833, #1809, #7662, .T. ) ;
#1836 = ORIENTED_EDGE ( 'NONE', *, *, #1863, .F. ) ;
#1837 = ORIENTED_EDGE ( 'NONE', *, *, #1838, .T. ) ;
#1838 = EDGE_CURVE ( 'NONE', #1839, #1840, #7657, .T. ) ;
#1839 = VERTEX_POINT ( 'NONE', #7653 ) ;
#1840 = VERTEX_POINT ( 'NONE', #7652 ) ;
#1841 = ORIENTED_EDGE ( 'NONE', *, *, #1842, .T. ) ;
#1842 = EDGE_CURVE ( 'NONE', #1840, #1843, #7651, .T. ) ;
#1843 = VERTEX_POINT ( 'NONE', #7647 ) ;
#1844 = VERTEX_POINT ( 'NONE', #7646 ) ;
#1845 = ORIENTED_EDGE ( 'NONE', *, *, #4351, .T. ) ;
#1846 = ORIENTED_EDGE ( 'NONE', *, *, #4405, .T. ) ;
#1847 = EDGE_CURVE ( 'NONE', #1843, #1801, #7645, .T. ) ;
#1848 = ORIENTED_EDGE ( 'NONE', *, *, #1842, .F. ) ;
#1849 = ADVANCED_FACE ( 'NONE', ( #7641 ), #7703, .F. ) ;
#1850 = EDGE_LOOP ( 'NONE', ( #1851, #1771, #1772, #1773, #1781 ) ) ;
#1851 = ORIENTED_EDGE ( 'NONE', *, *, #1852, .F. ) ;
#1852 = EDGE_CURVE ( 'NONE', #1844, #4221, #7698, .T. ) ;
#1853 = VERTEX_POINT ( 'NONE', #7694 ) ;
#1854 = ORIENTED_EDGE ( 'NONE', *, *, #1855, .F. ) ;
#1855 = EDGE_CURVE ( 'NONE', #1898, #1853, #7693, .T. ) ;
#1856 = ORIENTED_EDGE ( 'NONE', *, *, #1857, .T. ) ;
#1857 = EDGE_CURVE ( 'NONE', #1894, #1858, #7689, .T. ) ;
#1858 = VERTEX_POINT ( 'NONE', #7685 ) ;
#1859 = ORIENTED_EDGE ( 'NONE', *, *, #1860, .T. ) ;
#1860 = EDGE_CURVE ( 'NONE', #1858, #1861, #7684, .T. ) ;
#1861 = VERTEX_POINT ( 'NONE', #7679 ) ;
#1862 = ORIENTED_EDGE ( 'NONE', *, *, #1863, .T. ) ;
#1863 = EDGE_CURVE ( 'NONE', #1861, #1809, #7678, .T. ) ;
#1864 = ADVANCED_FACE ( 'NONE', ( #7674 ), #7735, .F. ) ;
#1865 = EDGE_LOOP ( 'NONE', ( #1866, #1831, #1834, #1836, #1873, #1876 ) ) ;
#1866 = ORIENTED_EDGE ( 'NONE', *, *, #1867, .F. ) ;
#1867 = EDGE_CURVE ( 'NONE', #1868, #1869, #7730, .T. ) ;
#1868 = VERTEX_POINT ( 'NONE', #7726 ) ;
#1869 = VERTEX_POINT ( 'NONE', #7725 ) ;
#1870 = ORIENTED_EDGE ( 'NONE', *, *, #1871, .T. ) ;
#1871 = EDGE_CURVE ( 'NONE', #1731, #1872, #7724, .T. ) ;
#1872 = VERTEX_POINT ( 'NONE', #7720 ) ;
#1873 = ORIENTED_EDGE ( 'NONE', *, *, #1874, .T. ) ;
#1874 = EDGE_CURVE ( 'NONE', #1861, #1875, #7719, .T. ) ;
#1875 = VERTEX_POINT ( 'NONE', #7714 ) ;
#1876 = ORIENTED_EDGE ( 'NONE', *, *, #1877, .F. ) ;
#1877 = EDGE_CURVE ( 'NONE', #1869, #1875, #7713, .T. ) ;
#1878 = ADVANCED_FACE ( 'NONE', ( #7709 ), #7708, .F. ) ;
#1879 = EDGE_LOOP ( 'NONE', ( #1922, #1924, #1910, #1928 ) ) ;
#1880 = ORIENTED_EDGE ( 'NONE', *, *, #1881, .T. ) ;
#1881 = EDGE_CURVE ( 'NONE', #1822, #1823, #7768, .T. ) ;
#1882 = ORIENTED_EDGE ( 'NONE', *, *, #1883, .F. ) ;
#1883 = EDGE_CURVE ( 'NONE', #1884, #1823, #7763, .T. ) ;
#1884 = VERTEX_POINT ( 'NONE', #7759 ) ;
#1885 = ORIENTED_EDGE ( 'NONE', *, *, #1886, .T. ) ;
#1886 = EDGE_CURVE ( 'NONE', #1884, #1887, #7758, .T. ) ;
#1887 = VERTEX_POINT ( 'NONE', #7753 ) ;
#1888 = ORIENTED_EDGE ( 'NONE', *, *, #1889, .F. ) ;
#1889 = EDGE_CURVE ( 'NONE', #1819, #1887, #7752, .T. ) ;
#1890 = ADVANCED_FACE ( 'NONE', ( #7748 ), #7746, .F. ) ;
#1891 = EDGE_LOOP ( 'NONE', ( #1892, #1856, #1859, #1862 ) ) ;
#1892 = ORIENTED_EDGE ( 'NONE', *, *, #1893, .F. ) ;
#1893 = EDGE_CURVE ( 'NONE', #1894, #1809, #7741, .T. ) ;
#1894 = VERTEX_POINT ( 'NONE', #7737 ) ;
#1895 = EDGE_LOOP ( 'NONE', ( #1985, #1912, #1916, #1918 ) ) ;
#1896 = ADVANCED_FACE ( 'NONE', ( #7736 ), #7797, .F. ) ;
#1897 = VERTEX_POINT ( 'NONE', #7798 ) ;
#1898 = VERTEX_POINT ( 'NONE', #7793 ) ;
#1899 = ORIENTED_EDGE ( 'NONE', *, *, #1900, .T. ) ;
#1900 = EDGE_CURVE ( 'NONE', #1898, #1901, #7792, .T. ) ;
#1901 = VERTEX_POINT ( 'NONE', #7787 ) ;
#1902 = ORIENTED_EDGE ( 'NONE', *, *, #1903, .T. ) ;
#1903 = EDGE_CURVE ( 'NONE', #1901, #1904, #7786, .T. ) ;
#1904 = VERTEX_POINT ( 'NONE', #7781 ) ;
#1905 = ORIENTED_EDGE ( 'NONE', *, *, #1906, .T. ) ;
#1906 = EDGE_CURVE ( 'NONE', #1904, #1907, #7780, .T. ) ;
#1907 = VERTEX_POINT ( 'NONE', #7776 ) ;
#1908 = ORIENTED_EDGE ( 'NONE', *, *, #2012, .F. ) ;
#1909 = VERTEX_POINT ( 'NONE', #7775 ) ;
#1910 = ORIENTED_EDGE ( 'NONE', *, *, #1911, .T. ) ;
#1911 = EDGE_CURVE ( 'NONE', #1926, #1927, #7773, .T. ) ;
#1912 = ORIENTED_EDGE ( 'NONE', *, *, #1913, .T. ) ;
#1913 = EDGE_CURVE ( 'NONE', #1897, #1914, #7774, .T. ) ;
#1914 = VERTEX_POINT ( 'NONE', #7827 ) ;
#1915 = VERTEX_POINT ( 'NONE', #7826 ) ;
#1916 = ORIENTED_EDGE ( 'NONE', *, *, #1917, .T. ) ;
#1917 = EDGE_CURVE ( 'NONE', #1914, #1915, #7825, .T. ) ;
#1918 = ORIENTED_EDGE ( 'NONE', *, *, #1919, .F. ) ;
#1919 = EDGE_CURVE ( 'NONE', #1987, #1915, #7820, .T. ) ;
#1920 = EDGE_LOOP ( 'NONE', ( #1930, #1934, #1937, #1854, #1899, #1902, #1905, #1908, #1960, #2044, #2068, #2071 ) ) ;
#1921 = EDGE_CURVE ( 'NONE', #1923, #1909, #7815, .T. ) ;
#1922 = ORIENTED_EDGE ( 'NONE', *, *, #1921, .T. ) ;
#1923 = VERTEX_POINT ( 'NONE', #7814 ) ;
#1924 = ORIENTED_EDGE ( 'NONE', *, *, #1925, .T. ) ;
#1925 = EDGE_CURVE ( 'NONE', #1909, #1926, #7816, .T. ) ;
#1926 = VERTEX_POINT ( 'NONE', #7807 ) ;
#1927 = VERTEX_POINT ( 'NONE', #7806 ) ;
#1928 = ORIENTED_EDGE ( 'NONE', *, *, #1988, .T. ) ;
#1929 = ADVANCED_FACE ( 'NONE', ( #7805 ), #7852, .T. ) ;
#1930 = ORIENTED_EDGE ( 'NONE', *, *, #1931, .T. ) ;
#1931 = EDGE_CURVE ( 'NONE', #1932, #1933, #7847, .T. ) ;
#1932 = VERTEX_POINT ( 'NONE', #7842 ) ;
#1933 = VERTEX_POINT ( 'NONE', #7841 ) ;
#1934 = ORIENTED_EDGE ( 'NONE', *, *, #1935, .T. ) ;
#1935 = EDGE_CURVE ( 'NONE', #1933, #1936, #7840, .T. ) ;
#1936 = VERTEX_POINT ( 'NONE', #7836 ) ;
#1937 = ORIENTED_EDGE ( 'NONE', *, *, #1938, .T. ) ;
#1938 = EDGE_CURVE ( 'NONE', #1936, #1853, #7834, .T. ) ;
#1939 = EDGE_LOOP ( 'NONE', ( #1944, #1943, #1942, #9 ) ) ;
#1940 = EDGE_LOOP ( 'NONE', ( #866, #431, #6694, #6683, #6657, #5752, #5813 ) ) ;
#1941 = ORIENTED_EDGE ( 'NONE', *, *, #2948, .T. ) ;
#1942 = ORIENTED_EDGE ( 'NONE', *, *, #2972, .T. ) ;
#1943 = ORIENTED_EDGE ( 'NONE', *, *, #2924, .F. ) ;
#1944 = ORIENTED_EDGE ( 'NONE', *, *, #2966, .F. ) ;
#1945 = ADVANCED_FACE ( 'NONE', ( #7900, #7899 ), #7897, .F. ) ;
#1946 = VERTEX_POINT ( 'NONE', #7893 ) ;
#1947 = VERTEX_POINT ( 'NONE', #7892 ) ;
#1948 = ORIENTED_EDGE ( 'NONE', *, *, #1949, .T. ) ;
#1949 = EDGE_CURVE ( 'NONE', #1946, #1950, #7891, .T. ) ;
#1950 = VERTEX_POINT ( 'NONE', #7887 ) ;
#1951 = ORIENTED_EDGE ( 'NONE', *, *, #1952, .T. ) ;
#1952 = EDGE_CURVE ( 'NONE', #1950, #1953, #7886, .T. ) ;
#1953 = VERTEX_POINT ( 'NONE', #7881 ) ;
#1954 = ORIENTED_EDGE ( 'NONE', *, *, #1961, .F. ) ;
#1955 = EDGE_LOOP ( 'NONE', ( #1963, #1967, #2053, #2056 ) ) ;
#1956 = ORIENTED_EDGE ( 'NONE', *, *, #1957, .T. ) ;
#1957 = EDGE_CURVE ( 'NONE', #1983, #1958, #7880, .T. ) ;
#1958 = VERTEX_POINT ( 'NONE', #7875 ) ;
#1959 = EDGE_LOOP ( 'NONE', ( #2039, #2015, #2018, #2021 ) ) ;
#1960 = ORIENTED_EDGE ( 'NONE', *, *, #2043, .F. ) ;
#1961 = EDGE_CURVE ( 'NONE', #1947, #1953, #7873, .T. ) ;
#1962 = ADVANCED_FACE ( 'NONE', ( #7869 ), #7931, .F. ) ;
#1963 = ORIENTED_EDGE ( 'NONE', *, *, #1964, .F. ) ;
#1964 = EDGE_CURVE ( 'NONE', #1965, #1966, #7930, .T. ) ;
#1965 = VERTEX_POINT ( 'NONE', #7922 ) ;
#1966 = VERTEX_POINT ( 'NONE', #7921 ) ;
#1967 = ORIENTED_EDGE ( 'NONE', *, *, #1968, .T. ) ;
#1968 = EDGE_CURVE ( 'NONE', #1965, #1969, #7920, .T. ) ;
#1969 = VERTEX_POINT ( 'NONE', #7916 ) ;
#1970 = ORIENTED_EDGE ( 'NONE', *, *, #1971, .F. ) ;
#1971 = EDGE_CURVE ( 'NONE', #1972, #1926, #7915, .T. ) ;
#1972 = VERTEX_POINT ( 'NONE', #7910 ) ;
#1973 = ORIENTED_EDGE ( 'NONE', *, *, #1974, .F. ) ;
#1974 = EDGE_CURVE ( 'NONE', #2063, #1972, #7909, .T. ) ;
#1975 = ADVANCED_FACE ( 'NONE', ( #7905 ), #7903, .T. ) ;
#1976 = EDGE_LOOP ( 'NONE', ( #1977, #1981, #1956, #2036 ) ) ;
#1977 = ORIENTED_EDGE ( 'NONE', *, *, #1978, .T. ) ;
#1978 = EDGE_CURVE ( 'NONE', #1979, #1980, #7961, .T. ) ;
#1979 = VERTEX_POINT ( 'NONE', #7957 ) ;
#1980 = VERTEX_POINT ( 'NONE', #7956 ) ;
#1981 = ORIENTED_EDGE ( 'NONE', *, *, #1982, .T. ) ;
#1982 = EDGE_CURVE ( 'NONE', #1980, #1983, #7955, .T. ) ;
#1983 = VERTEX_POINT ( 'NONE', #7951 ) ;
#1984 = VERTEX_POINT ( 'NONE', #7950 ) ;
#1985 = ORIENTED_EDGE ( 'NONE', *, *, #1986, .F. ) ;
#1986 = EDGE_CURVE ( 'NONE', #1897, #1987, #7949, .T. ) ;
#1987 = VERTEX_POINT ( 'NONE', #7944 ) ;
#1988 = EDGE_CURVE ( 'NONE', #1927, #1923, #7943, .T. ) ;
#1989 = ADVANCED_FACE ( 'NONE', ( #7938 ), #7937, .F. ) ;
#1990 = EDGE_LOOP ( 'NONE', ( #1991, #1995, #2047, #2050, #1996 ) ) ;
#1991 = ORIENTED_EDGE ( 'NONE', *, *, #1992, .F. ) ;
#1992 = EDGE_CURVE ( 'NONE', #1993, #1994, #7936, .T. ) ;
#1993 = VERTEX_POINT ( 'NONE', #7989 ) ;
#1994 = VERTEX_POINT ( 'NONE', #7988 ) ;
#1995 = ORIENTED_EDGE ( 'NONE', *, *, #2045, .T. ) ;
#1996 = ORIENTED_EDGE ( 'NONE', *, *, #1997, .F. ) ;
#1997 = EDGE_CURVE ( 'NONE', #1994, #2052, #7986, .T. ) ;
#1998 = ADVANCED_FACE ( 'NONE', ( #7987 ), #7979, .F. ) ;
#1999 = EDGE_LOOP ( 'NONE', ( #2000, #2004, #2007, #2010 ) ) ;
#2000 = ORIENTED_EDGE ( 'NONE', *, *, #2001, .F. ) ;
#2001 = EDGE_CURVE ( 'NONE', #2002, #2003, #7975, .T. ) ;
#2002 = VERTEX_POINT ( 'NONE', #7971 ) ;
#2003 = VERTEX_POINT ( 'NONE', #7970 ) ;
#2004 = ORIENTED_EDGE ( 'NONE', *, *, #2005, .T. ) ;
#2005 = EDGE_CURVE ( 'NONE', #2002, #2006, #7969, .T. ) ;
#2006 = VERTEX_POINT ( 'NONE', #7965 ) ;
#2007 = ORIENTED_EDGE ( 'NONE', *, *, #2008, .T. ) ;
#2008 = EDGE_CURVE ( 'NONE', #2006, #2009, #7964, .T. ) ;
#2009 = VERTEX_POINT ( 'NONE', #8022 ) ;
#2010 = ORIENTED_EDGE ( 'NONE', *, *, #2026, .F. ) ;
#2011 = EDGE_LOOP ( 'NONE', ( #2028, #1948, #1951, #1954 ) ) ;
#2012 = EDGE_CURVE ( 'NONE', #1984, #1907, #8021, .T. ) ;
#2013 = VERTEX_POINT ( 'NONE', #8016 ) ;
#2014 = VERTEX_POINT ( 'NONE', #8015 ) ;
#2015 = ORIENTED_EDGE ( 'NONE', *, *, #2016, .T. ) ;
#2016 = EDGE_CURVE ( 'NONE', #2041, #2017, #8014, .T. ) ;
#2017 = VERTEX_POINT ( 'NONE', #8010 ) ;
#2018 = ORIENTED_EDGE ( 'NONE', *, *, #2019, .T. ) ;
#2019 = EDGE_CURVE ( 'NONE', #2017, #2020, #8009, .T. ) ;
#2020 = VERTEX_POINT ( 'NONE', #8004 ) ;
#2021 = ORIENTED_EDGE ( 'NONE', *, *, #2022, .F. ) ;
#2022 = EDGE_CURVE ( 'NONE', #2014, #2020, #8003, .T. ) ;
#2023 = ADVANCED_FACE ( 'NONE', ( #7999 ), #7997, .F. ) ;
#2024 = EDGE_LOOP ( 'NONE', ( #2025, #2219, #2222, #2225, #2228, #2231, #2206, #2209 ) ) ;
#2025 = ORIENTED_EDGE ( 'NONE', *, *, #2204, .F. ) ;
#2026 = EDGE_CURVE ( 'NONE', #2003, #2009, #7998, .T. ) ;
#2027 = ADVANCED_FACE ( 'NONE', ( #8053 ), #8051, .F. ) ;
#2028 = ORIENTED_EDGE ( 'NONE', *, *, #2029, .F. ) ;
#2029 = EDGE_CURVE ( 'NONE', #1946, #1947, #8046, .T. ) ;
#2030 = EDGE_LOOP ( 'NONE', ( #2031, #2033 ) ) ;
#2031 = ORIENTED_EDGE ( 'NONE', *, *, #2032, .T. ) ;
#2032 = EDGE_CURVE ( 'NONE', #2307, #2306, #8042, .T. ) ;
#2033 = ORIENTED_EDGE ( 'NONE', *, *, #2305, .T. ) ;
#2034 = EDGE_LOOP ( 'NONE', ( #2035, #2095 ) ) ;
#2035 = ORIENTED_EDGE ( 'NONE', *, *, #270, .T. ) ;
#2036 = ORIENTED_EDGE ( 'NONE', *, *, #2037, .F. ) ;
#2037 = EDGE_CURVE ( 'NONE', #1979, #1958, #8037, .T. ) ;
#2038 = ADVANCED_FACE ( 'NONE', ( #8033 ), #8031, .F. ) ;
#2039 = ORIENTED_EDGE ( 'NONE', *, *, #2040, .F. ) ;
#2040 = EDGE_CURVE ( 'NONE', #2041, #2014, #8087, .T. ) ;
#2041 = VERTEX_POINT ( 'NONE', #8083 ) ;
#2042 = VERTEX_POINT ( 'NONE', #8082 ) ;
#2043 = EDGE_CURVE ( 'NONE', #2042, #1984, #8081, .T. ) ;
#2044 = ORIENTED_EDGE ( 'NONE', *, *, #2067, .F. ) ;
#2045 = EDGE_CURVE ( 'NONE', #1993, #2046, #8076, .T. ) ;
#2046 = VERTEX_POINT ( 'NONE', #8072 ) ;
#2047 = ORIENTED_EDGE ( 'NONE', *, *, #2048, .T. ) ;
#2048 = EDGE_CURVE ( 'NONE', #2046, #2049, #8071, .T. ) ;
#2049 = VERTEX_POINT ( 'NONE', #8066 ) ;
#2050 = ORIENTED_EDGE ( 'NONE', *, *, #2051, .F. ) ;
#2051 = EDGE_CURVE ( 'NONE', #2052, #2049, #8065, .T. ) ;
#2052 = VERTEX_POINT ( 'NONE', #8061 ) ;
#2053 = ORIENTED_EDGE ( 'NONE', *, *, #2054, .T. ) ;
#2054 = EDGE_CURVE ( 'NONE', #1969, #2055, #8060, .T. ) ;
#2055 = VERTEX_POINT ( 'NONE', #8119 ) ;
#2056 = ORIENTED_EDGE ( 'NONE', *, *, #2057, .F. ) ;
#2057 = EDGE_CURVE ( 'NONE', #1966, #2055, #8118, .T. ) ;
#2058 = ADVANCED_FACE ( 'NONE', ( #8114 ), #8112, .T. ) ;
#2059 = EDGE_LOOP ( 'NONE', ( #2060, #2064, #2066, #1970, #1973 ) ) ;
#2060 = ORIENTED_EDGE ( 'NONE', *, *, #2061, .F. ) ;
#2061 = EDGE_CURVE ( 'NONE', #2062, #2063, #8107, .T. ) ;
#2062 = VERTEX_POINT ( 'NONE', #8103 ) ;
#2063 = VERTEX_POINT ( 'NONE', #8102 ) ;
#2064 = ORIENTED_EDGE ( 'NONE', *, *, #2065, .T. ) ;
#2065 = EDGE_CURVE ( 'NONE', #2062, #1927, #8101, .T. ) ;
#2066 = ORIENTED_EDGE ( 'NONE', *, *, #1911, .F. ) ;
#2067 = EDGE_CURVE ( 'NONE', #2013, #2042, #8097, .T. ) ;
#2068 = ORIENTED_EDGE ( 'NONE', *, *, #2069, .T. ) ;
#2069 = EDGE_CURVE ( 'NONE', #2013, #2070, #8091, .T. ) ;
#2070 = VERTEX_POINT ( 'NONE', #8155 ) ;
#2071 = ORIENTED_EDGE ( 'NONE', *, *, #2072, .T. ) ;
#2072 = EDGE_CURVE ( 'NONE', #2070, #1932, #8154, .T. ) ;
#2073 = ORIENTED_EDGE ( 'NONE', *, *, #2074, .T. ) ;
#2074 = EDGE_CURVE ( 'NONE', #2390, #2389, #8149, .T. ) ;
#2075 = ORIENTED_EDGE ( 'NONE', *, *, #2388, .T. ) ;
#2076 = EDGE_LOOP ( 'NONE', ( #2077, #2078 ) ) ;
#2077 = ORIENTED_EDGE ( 'NONE', *, *, #3310, .T. ) ;
#2078 = ORIENTED_EDGE ( 'NONE', *, *, #1493, .T. ) ;
#2079 = ADVANCED_FACE ( 'NONE', ( #8144 ), #8143, .F. ) ;
#2080 = EDGE_LOOP ( 'NONE', ( #2081, #2082, #2083, #2139, #2142 ) ) ;
#2081 = ORIENTED_EDGE ( 'NONE', *, *, #1650, .T. ) ;
#2082 = ORIENTED_EDGE ( 'NONE', *, *, #3115, .T. ) ;
#2083 = ORIENTED_EDGE ( 'NONE', *, *, #2137, .T. ) ;
#2084 = ORIENTED_EDGE ( 'NONE', *, *, #2398, .T. ) ;
#2085 = ORIENTED_EDGE ( 'NONE', *, *, #3295, .T. ) ;
#2086 = ORIENTED_EDGE ( 'NONE', *, *, #1442, .T. ) ;
#2087 = ADVANCED_FACE ( 'NONE', ( #8138, #8137, #8136 ), #8135, .T. ) ;
#2088 = EDGE_LOOP ( 'NONE', ( #2089, #2090, #2091, #2092, #2093, #2094 ) ) ;
#2089 = ORIENTED_EDGE ( 'NONE', *, *, #1660, .T. ) ;
#2090 = ORIENTED_EDGE ( 'NONE', *, *, #3119, .T. ) ;
#2091 = ORIENTED_EDGE ( 'NONE', *, *, #1549, .T. ) ;
#2092 = ORIENTED_EDGE ( 'NONE', *, *, #1562, .F. ) ;
#2093 = ORIENTED_EDGE ( 'NONE', *, *, #3403, .F. ) ;
#2094 = ORIENTED_EDGE ( 'NONE', *, *, #1554, .T. ) ;
#2095 = ORIENTED_EDGE ( 'NONE', *, *, #1136, .T. ) ;
#2096 = ADVANCED_FACE ( 'NONE', ( #8130, #8129, #8128 ), #8127, .T. ) ;
#2097 = EDGE_LOOP ( 'NONE', ( #2098, #2099, #2100, #2101, #2102, #2103 ) ) ;
#2098 = ORIENTED_EDGE ( 'NONE', *, *, #1427, .T. ) ;
#2099 = ORIENTED_EDGE ( 'NONE', *, *, #3317, .T. ) ;
#2100 = ORIENTED_EDGE ( 'NONE', *, *, #1422, .T. ) ;
#2101 = ORIENTED_EDGE ( 'NONE', *, *, #1433, .F. ) ;
#2102 = ORIENTED_EDGE ( 'NONE', *, *, #3253, .F. ) ;
#2103 = ORIENTED_EDGE ( 'NONE', *, *, #1367, .T. ) ;
#2104 = EDGE_LOOP ( 'NONE', ( #2105, #2084 ) ) ;
#2105 = ORIENTED_EDGE ( 'NONE', *, *, #2106, .T. ) ;
#2106 = EDGE_CURVE ( 'NONE', #2400, #2399, #8188, .T. ) ;
#2107 = EDGE_LOOP ( 'NONE', ( #2085, #2086 ) ) ;
#2108 = ORIENTED_EDGE ( 'NONE', *, *, #3302, .T. ) ;
#2109 = ORIENTED_EDGE ( 'NONE', *, *, #1388, .T. ) ;
#2110 = ORIENTED_EDGE ( 'NONE', *, *, #1398, .F. ) ;
#2111 = ORIENTED_EDGE ( 'NONE', *, *, #12642, .F. ) ;
#2112 = ORIENTED_EDGE ( 'NONE', *, *, #1337, .T. ) ;
#2113 = VERTEX_POINT ( 'NONE', #8183 ) ;
#2114 = ORIENTED_EDGE ( 'NONE', *, *, #2115, .F. ) ;
#2115 = EDGE_CURVE ( 'NONE', #3205, #2113, #8182, .T. ) ;
#2116 = ADVANCED_FACE ( 'NONE', ( #8178 ), #8177, .F. ) ;
#2117 = EDGE_LOOP ( 'NONE', ( #2118, #2119, #2120, #2177 ) ) ;
#2118 = ORIENTED_EDGE ( 'NONE', *, *, #3110, .T. ) ;
#2119 = ORIENTED_EDGE ( 'NONE', *, *, #2115, .T. ) ;
#2120 = ORIENTED_EDGE ( 'NONE', *, *, #2121, .T. ) ;
#2121 = EDGE_CURVE ( 'NONE', #2113, #2122, #8172, .T. ) ;
#2122 = VERTEX_POINT ( 'NONE', #8168 ) ;
#2123 = ORIENTED_EDGE ( 'NONE', *, *, #2124, .F. ) ;
#2124 = EDGE_CURVE ( 'NONE', #1654, #2150, #8167, .T. ) ;
#2125 = ADVANCED_FACE ( 'NONE', ( #8163 ), #8162, .F. ) ;
#2126 = EDGE_LOOP ( 'NONE', ( #2127, #2128, #2129, #2132 ) ) ;
#2127 = ORIENTED_EDGE ( 'NONE', *, *, #1656, .T. ) ;
#2128 = ORIENTED_EDGE ( 'NONE', *, *, #2124, .T. ) ;
#2129 = ORIENTED_EDGE ( 'NONE', *, *, #2130, .T. ) ;
#2130 = EDGE_CURVE ( 'NONE', #2150, #2131, #8157, .T. ) ;
#2131 = VERTEX_POINT ( 'NONE', #8219 ) ;
#2132 = ORIENTED_EDGE ( 'NONE', *, *, #2133, .F. ) ;
#2133 = EDGE_CURVE ( 'NONE', #1657, #2131, #8218, .T. ) ;
#2134 = ADVANCED_FACE ( 'NONE', ( #8214 ), #8213, .F. ) ;
#2135 = EDGE_LOOP ( 'NONE', ( #2136, #2189, #2190, #2191, #2114 ) ) ;
#2136 = ORIENTED_EDGE ( 'NONE', *, *, #3204, .T. ) ;
#2137 = EDGE_CURVE ( 'NONE', #3113, #2138, #8208, .T. ) ;
#2138 = VERTEX_POINT ( 'NONE', #8204 ) ;
#2139 = ORIENTED_EDGE ( 'NONE', *, *, #2140, .T. ) ;
#2140 = EDGE_CURVE ( 'NONE', #2138, #2141, #8203, .T. ) ;
#2141 = VERTEX_POINT ( 'NONE', #8199 ) ;
#2142 = ORIENTED_EDGE ( 'NONE', *, *, #2143, .F. ) ;
#2143 = EDGE_CURVE ( 'NONE', #1651, #2141, #8198, .T. ) ;
#2144 = ADVANCED_FACE ( 'NONE', ( #8194 ), #8193, .F. ) ;
#2145 = EDGE_LOOP ( 'NONE', ( #2146, #2147, #2148, #2123 ) ) ;
#2146 = ORIENTED_EDGE ( 'NONE', *, *, #1653, .T. ) ;
#2147 = ORIENTED_EDGE ( 'NONE', *, *, #2143, .T. ) ;
#2148 = ORIENTED_EDGE ( 'NONE', *, *, #2149, .T. ) ;
#2149 = EDGE_CURVE ( 'NONE', #2141, #2150, #8253, .T. ) ;
#2150 = VERTEX_POINT ( 'NONE', #8249 ) ;
#2151 = EDGE_LOOP ( 'NONE', ( #2073, #2075 ) ) ;
#2152 = EDGE_CURVE ( 'NONE', #2269, #2235, #8248, .T. ) ;
#2153 = ADVANCED_FACE ( 'NONE', ( #8244 ), #8243, .T. ) ;
#2154 = EDGE_LOOP ( 'NONE', ( #2155, #2159, #2162, #2313 ) ) ;
#2155 = ORIENTED_EDGE ( 'NONE', *, *, #2156, .T. ) ;
#2156 = EDGE_CURVE ( 'NONE', #2157, #2158, #8237, .T. ) ;
#2157 = VERTEX_POINT ( 'NONE', #8233 ) ;
#2158 = VERTEX_POINT ( 'NONE', #8232 ) ;
#2159 = ORIENTED_EDGE ( 'NONE', *, *, #2160, .T. ) ;
#2160 = EDGE_CURVE ( 'NONE', #2158, #2161, #8231, .T. ) ;
#2161 = VERTEX_POINT ( 'NONE', #8227 ) ;
#2162 = ORIENTED_EDGE ( 'NONE', *, *, #2163, .T. ) ;
#2163 = EDGE_CURVE ( 'NONE', #2161, #2312, #8225, .T. ) ;
#2164 = ORIENTED_EDGE ( 'NONE', *, *, #2165, .F. ) ;
#2165 = EDGE_CURVE ( 'NONE', #2319, #2243, #8226, .T. ) ;
#2166 = ADVANCED_FACE ( 'NONE', ( #8280 ), #8278, .F. ) ;
#2167 = ORIENTED_EDGE ( 'NONE', *, *, #2168, .F. ) ;
#2168 = EDGE_CURVE ( 'NONE', #2169, #2170, #8274, .T. ) ;
#2169 = VERTEX_POINT ( 'NONE', #8269 ) ;
#2170 = VERTEX_POINT ( 'NONE', #8268 ) ;
#2171 = ORIENTED_EDGE ( 'NONE', *, *, #2172, .T. ) ;
#2172 = EDGE_CURVE ( 'NONE', #2169, #1936, #8266, .T. ) ;
#2173 = ORIENTED_EDGE ( 'NONE', *, *, #2174, .F. ) ;
#2174 = EDGE_CURVE ( 'NONE', #1853, #1936, #8261, .T. ) ;
#2175 = ORIENTED_EDGE ( 'NONE', *, *, #2176, .F. ) ;
#2176 = EDGE_CURVE ( 'NONE', #2245, #1853, #8257, .T. ) ;
#2177 = ORIENTED_EDGE ( 'NONE', *, *, #2178, .F. ) ;
#2178 = EDGE_CURVE ( 'NONE', #3206, #2122, #8315, .T. ) ;
#2179 = ADVANCED_FACE ( 'NONE', ( #8311 ), #8310, .F. ) ;
#2180 = EDGE_LOOP ( 'NONE', ( #2181, #2182, #2183, #2185 ) ) ;
#2181 = ORIENTED_EDGE ( 'NONE', *, *, #3112, .T. ) ;
#2182 = ORIENTED_EDGE ( 'NONE', *, *, #2178, .T. ) ;
#2183 = ORIENTED_EDGE ( 'NONE', *, *, #2184, .T. ) ;
#2184 = EDGE_CURVE ( 'NONE', #2122, #2138, #8305, .T. ) ;
#2185 = ORIENTED_EDGE ( 'NONE', *, *, #2137, .F. ) ;
#2186 = ADVANCED_FACE ( 'NONE', ( #8301 ), #8300, .F. ) ;
#2187 = EDGE_LOOP ( 'NONE', ( #2188, #2436, #2437, #2440, #2443 ) ) ;
#2188 = ORIENTED_EDGE ( 'NONE', *, *, #1722, .T. ) ;
#2189 = ORIENTED_EDGE ( 'NONE', *, *, #1659, .T. ) ;
#2190 = ORIENTED_EDGE ( 'NONE', *, *, #2133, .T. ) ;
#2191 = ORIENTED_EDGE ( 'NONE', *, *, #2192, .T. ) ;
#2192 = EDGE_CURVE ( 'NONE', #2131, #2113, #8295, .T. ) ;
#2193 = ORIENTED_EDGE ( 'NONE', *, *, #2194, .F. ) ;
#2194 = EDGE_CURVE ( 'NONE', #2215, #2279, #8291, .T. ) ;
#2195 = ADVANCED_FACE ( 'NONE', ( #8286 ), #8285, .T. ) ;
#2196 = EDGE_LOOP ( 'NONE', ( #2197, #2201, #2260, #2263 ) ) ;
#2197 = ORIENTED_EDGE ( 'NONE', *, *, #2198, .T. ) ;
#2198 = EDGE_CURVE ( 'NONE', #2199, #2200, #8349, .T. ) ;
#2199 = VERTEX_POINT ( 'NONE', #8341 ) ;
#2200 = VERTEX_POINT ( 'NONE', #8340 ) ;
#2201 = ORIENTED_EDGE ( 'NONE', *, *, #2202, .T. ) ;
#2202 = EDGE_CURVE ( 'NONE', #2200, #2203, #8339, .T. ) ;
#2203 = VERTEX_POINT ( 'NONE', #8335 ) ;
#2204 = EDGE_CURVE ( 'NONE', #2205, #2218, #8334, .T. ) ;
#2205 = VERTEX_POINT ( 'NONE', #8329 ) ;
#2206 = ORIENTED_EDGE ( 'NONE', *, *, #2207, .T. ) ;
#2207 = EDGE_CURVE ( 'NONE', #2233, #2208, #8328, .T. ) ;
#2208 = VERTEX_POINT ( 'NONE', #8323 ) ;
#2209 = ORIENTED_EDGE ( 'NONE', *, *, #2210, .F. ) ;
#2210 = EDGE_CURVE ( 'NONE', #2218, #2208, #8321, .T. ) ;
#2211 = ADVANCED_FACE ( 'NONE', ( #8317 ), #8377, .T. ) ;
#2212 = EDGE_LOOP ( 'NONE', ( #2213, #2217, #2277, #2193 ) ) ;
#2213 = ORIENTED_EDGE ( 'NONE', *, *, #2214, .T. ) ;
#2214 = EDGE_CURVE ( 'NONE', #2215, #2216, #8376, .T. ) ;
#2215 = VERTEX_POINT ( 'NONE', #8368 ) ;
#2216 = VERTEX_POINT ( 'NONE', #8367 ) ;
#2217 = ORIENTED_EDGE ( 'NONE', *, *, #2275, .T. ) ;
#2218 = VERTEX_POINT ( 'NONE', #8366 ) ;
#2219 = ORIENTED_EDGE ( 'NONE', *, *, #2220, .T. ) ;
#2220 = EDGE_CURVE ( 'NONE', #2205, #2221, #8365, .T. ) ;
#2221 = VERTEX_POINT ( 'NONE', #8361 ) ;
#2222 = ORIENTED_EDGE ( 'NONE', *, *, #2223, .T. ) ;
#2223 = EDGE_CURVE ( 'NONE', #2221, #2224, #8360, .T. ) ;
#2224 = VERTEX_POINT ( 'NONE', #8355 ) ;
#2225 = ORIENTED_EDGE ( 'NONE', *, *, #2226, .T. ) ;
#2226 = EDGE_CURVE ( 'NONE', #2224, #2227, #8354, .T. ) ;
#2227 = VERTEX_POINT ( 'NONE', #8350 ) ;
#2228 = ORIENTED_EDGE ( 'NONE', *, *, #2229, .F. ) ;
#2229 = EDGE_CURVE ( 'NONE', #2230, #2227, #7835, .T. ) ;
#2230 = VERTEX_POINT ( 'NONE', #8406 ) ;
#2231 = ORIENTED_EDGE ( 'NONE', *, *, #2232, .T. ) ;
#2232 = EDGE_CURVE ( 'NONE', #2230, #2233, #8405, .T. ) ;
#2233 = VERTEX_POINT ( 'NONE', #8401 ) ;
#2234 = EDGE_CURVE ( 'NONE', #2273, #2235, #8400, .T. ) ;
#2235 = VERTEX_POINT ( 'NONE', #8395 ) ;
#2236 = ORIENTED_EDGE ( 'NONE', *, *, #2152, .F. ) ;
#2237 = VERTEX_POINT ( 'NONE', #8394 ) ;
#2238 = ORIENTED_EDGE ( 'NONE', *, *, #2239, .T. ) ;
#2239 = EDGE_CURVE ( 'NONE', #2237, #2240, #8393, .T. ) ;
#2240 = VERTEX_POINT ( 'NONE', #8389 ) ;
#2241 = ORIENTED_EDGE ( 'NONE', *, *, #2242, .T. ) ;
#2242 = EDGE_CURVE ( 'NONE', #2240, #2243, #8388, .T. ) ;
#2243 = VERTEX_POINT ( 'NONE', #8383 ) ;
#2244 = EDGE_LOOP ( 'NONE', ( #2167, #2171, #2173, #2175, #2246, #2249, #2252, #2255 ) ) ;
#2245 = VERTEX_POINT ( 'NONE', #8382 ) ;
#2246 = ORIENTED_EDGE ( 'NONE', *, *, #2247, .F. ) ;
#2247 = EDGE_CURVE ( 'NONE', #2248, #2245, #8381, .T. ) ;
#2248 = VERTEX_POINT ( 'NONE', #8440 ) ;
#2249 = ORIENTED_EDGE ( 'NONE', *, *, #2250, .F. ) ;
#2250 = EDGE_CURVE ( 'NONE', #2251, #2248, #8439, .T. ) ;
#2251 = VERTEX_POINT ( 'NONE', #8434 ) ;
#2252 = ORIENTED_EDGE ( 'NONE', *, *, #2253, .F. ) ;
#2253 = EDGE_CURVE ( 'NONE', #2254, #2251, #8433, .T. ) ;
#2254 = VERTEX_POINT ( 'NONE', #8428 ) ;
#2255 = ORIENTED_EDGE ( 'NONE', *, *, #2256, .F. ) ;
#2256 = EDGE_CURVE ( 'NONE', #2170, #2254, #8427, .T. ) ;
#2257 = ADVANCED_FACE ( 'NONE', ( #8422 ), #8421, .T. ) ;
#2258 = EDGE_LOOP ( 'NONE', ( #2259, #2351, #2353, #2354 ) ) ;
#2259 = ORIENTED_EDGE ( 'NONE', *, *, #2374, .F. ) ;
#2260 = ORIENTED_EDGE ( 'NONE', *, *, #2261, .T. ) ;
#2261 = EDGE_CURVE ( 'NONE', #2203, #2262, #8420, .T. ) ;
#2262 = VERTEX_POINT ( 'NONE', #8411 ) ;
#2263 = ORIENTED_EDGE ( 'NONE', *, *, #2264, .F. ) ;
#2264 = EDGE_CURVE ( 'NONE', #2199, #2262, #8410, .T. ) ;
#2265 = ADVANCED_FACE ( 'NONE', ( #8470 ), #8469, .T. ) ;
#2266 = EDGE_LOOP ( 'NONE', ( #2267, #2271, #2274, #2236 ) ) ;
#2267 = ORIENTED_EDGE ( 'NONE', *, *, #2268, .T. ) ;
#2268 = EDGE_CURVE ( 'NONE', #2269, #2270, #8468, .T. ) ;
#2269 = VERTEX_POINT ( 'NONE', #8459 ) ;
#2270 = VERTEX_POINT ( 'NONE', #8458 ) ;
#2271 = ORIENTED_EDGE ( 'NONE', *, *, #2272, .T. ) ;
#2272 = EDGE_CURVE ( 'NONE', #2270, #2273, #8457, .T. ) ;
#2273 = VERTEX_POINT ( 'NONE', #8453 ) ;
#2274 = ORIENTED_EDGE ( 'NONE', *, *, #2234, .T. ) ;
#2275 = EDGE_CURVE ( 'NONE', #2216, #2276, #8452, .T. ) ;
#2276 = VERTEX_POINT ( 'NONE', #8448 ) ;
#2277 = ORIENTED_EDGE ( 'NONE', *, *, #2278, .T. ) ;
#2278 = EDGE_CURVE ( 'NONE', #2276, #2279, #8446, .T. ) ;
#2279 = VERTEX_POINT ( 'NONE', #8447 ) ;
#2280 = ORIENTED_EDGE ( 'NONE', *, *, #2281, .T. ) ;
#2281 = EDGE_CURVE ( 'NONE', #2360, #2262, #8504, .T. ) ;
#2282 = ADVANCED_FACE ( 'NONE', ( #8500 ), #8499, .T. ) ;
#2283 = EDGE_LOOP ( 'NONE', ( #2284, #2288, #2290, #2291 ) ) ;
#2284 = ORIENTED_EDGE ( 'NONE', *, *, #2285, .F. ) ;
#2285 = EDGE_CURVE ( 'NONE', #2286, #2287, #8493, .T. ) ;
#2286 = VERTEX_POINT ( 'NONE', #8489 ) ;
#2287 = VERTEX_POINT ( 'NONE', #8488 ) ;
#2288 = ORIENTED_EDGE ( 'NONE', *, *, #2289, .T. ) ;
#2289 = EDGE_CURVE ( 'NONE', #2286, #2312, #8487, .T. ) ;
#2290 = ORIENTED_EDGE ( 'NONE', *, *, #2163, .F. ) ;
#2291 = ORIENTED_EDGE ( 'NONE', *, *, #2292, .F. ) ;
#2292 = EDGE_CURVE ( 'NONE', #2287, #2161, #8483, .T. ) ;
#2293 = ADVANCED_FACE ( 'NONE', ( #8479 ), #8478, .T. ) ;
#2294 = EDGE_LOOP ( 'NONE', ( #2295, #2380, #2382, #2383 ) ) ;
#2295 = ORIENTED_EDGE ( 'NONE', *, *, #2296, .F. ) ;
#2296 = EDGE_CURVE ( 'NONE', #2378, #2379, #8535, .T. ) ;
#2297 = ORIENTED_EDGE ( 'NONE', *, *, #2298, .T. ) ;
#2298 = EDGE_CURVE ( 'NONE', #2322, #2299, #8530, .T. ) ;
#2299 = VERTEX_POINT ( 'NONE', #8525 ) ;
#2300 = ORIENTED_EDGE ( 'NONE', *, *, #2301, .F. ) ;
#2301 = EDGE_CURVE ( 'NONE', #2400, #2299, #8524, .T. ) ;
#2302 = ADVANCED_FACE ( 'NONE', ( #8520 ), #8518, .F. ) ;
#2303 = EDGE_LOOP ( 'NONE', ( #2304, #2308, #2311, #2325 ) ) ;
#2304 = ORIENTED_EDGE ( 'NONE', *, *, #2305, .F. ) ;
#2305 = EDGE_CURVE ( 'NONE', #2306, #2307, #8513, .T. ) ;
#2306 = VERTEX_POINT ( 'NONE', #8509 ) ;
#2307 = VERTEX_POINT ( 'NONE', #8508 ) ;
#2308 = ORIENTED_EDGE ( 'NONE', *, *, #2309, .T. ) ;
#2309 = EDGE_CURVE ( 'NONE', #2306, #2310, #8507, .T. ) ;
#2310 = VERTEX_POINT ( 'NONE', #8565 ) ;
#2311 = ORIENTED_EDGE ( 'NONE', *, *, #2323, .T. ) ;
#2312 = VERTEX_POINT ( 'NONE', #8564 ) ;
#2313 = ORIENTED_EDGE ( 'NONE', *, *, #2314, .F. ) ;
#2314 = EDGE_CURVE ( 'NONE', #2157, #2312, #8563, .T. ) ;
#2315 = ADVANCED_FACE ( 'NONE', ( #8559 ), #8558, .T. ) ;
#2316 = EDGE_LOOP ( 'NONE', ( #2317, #2238, #2241, #2164 ) ) ;
#2317 = ORIENTED_EDGE ( 'NONE', *, *, #2318, .T. ) ;
#2318 = EDGE_CURVE ( 'NONE', #2319, #2237, #8553, .T. ) ;
#2319 = VERTEX_POINT ( 'NONE', #8548 ) ;
#2320 = ORIENTED_EDGE ( 'NONE', *, *, #2321, .T. ) ;
#2321 = EDGE_CURVE ( 'NONE', #2406, #2322, #8547, .T. ) ;
#2322 = VERTEX_POINT ( 'NONE', #8542 ) ;
#2323 = EDGE_CURVE ( 'NONE', #2310, #2324, #8541, .T. ) ;
#2324 = VERTEX_POINT ( 'NONE', #8536 ) ;
#2325 = ORIENTED_EDGE ( 'NONE', *, *, #2326, .F. ) ;
#2326 = EDGE_CURVE ( 'NONE', #2307, #2324, #8598, .T. ) ;
#2327 = ADVANCED_FACE ( 'NONE', ( #8594 ), #8592, .F. ) ;
#2328 = EDGE_LOOP ( 'NONE', ( #2329, #2333, #2336, #3265 ) ) ;
#2329 = ORIENTED_EDGE ( 'NONE', *, *, #2330, .F. ) ;
#2330 = EDGE_CURVE ( 'NONE', #2331, #2332, #8587, .T. ) ;
#2331 = VERTEX_POINT ( 'NONE', #8583 ) ;
#2332 = VERTEX_POINT ( 'NONE', #8582 ) ;
#2333 = ORIENTED_EDGE ( 'NONE', *, *, #2334, .T. ) ;
#2334 = EDGE_CURVE ( 'NONE', #2331, #2335, #8581, .T. ) ;
#2335 = VERTEX_POINT ( 'NONE', #8577 ) ;
#2336 = ORIENTED_EDGE ( 'NONE', *, *, #3207, .T. ) ;
#2337 = ORIENTED_EDGE ( 'NONE', *, *, #2261, .F. ) ;
#2338 = ORIENTED_EDGE ( 'NONE', *, *, #2339, .F. ) ;
#2339 = EDGE_CURVE ( 'NONE', #2361, #2203, #8576, .T. ) ;
#2340 = ADVANCED_FACE ( 'NONE', ( #8572 ), #8571, .T. ) ;
#2341 = EDGE_LOOP ( 'NONE', ( #2342, #2346, #2348, #2349 ) ) ;
#2342 = ORIENTED_EDGE ( 'NONE', *, *, #2343, .F. ) ;
#2343 = EDGE_CURVE ( 'NONE', #2344, #2345, #8631, .T. ) ;
#2344 = VERTEX_POINT ( 'NONE', #8626 ) ;
#2345 = VERTEX_POINT ( 'NONE', #8625 ) ;
#2346 = ORIENTED_EDGE ( 'NONE', *, *, #2347, .T. ) ;
#2347 = EDGE_CURVE ( 'NONE', #2344, #2235, #8624, .T. ) ;
#2348 = ORIENTED_EDGE ( 'NONE', *, *, #2234, .F. ) ;
#2349 = ORIENTED_EDGE ( 'NONE', *, *, #2350, .F. ) ;
#2350 = EDGE_CURVE ( 'NONE', #2345, #2273, #8620, .T. ) ;
#2351 = ORIENTED_EDGE ( 'NONE', *, *, #2352, .T. ) ;
#2352 = EDGE_CURVE ( 'NONE', #2376, #1958, #8616, .T. ) ;
#2353 = ORIENTED_EDGE ( 'NONE', *, *, #1957, .F. ) ;
#2354 = ORIENTED_EDGE ( 'NONE', *, *, #2355, .F. ) ;
#2355 = EDGE_CURVE ( 'NONE', #2377, #1983, #8612, .T. ) ;
#2356 = ADVANCED_FACE ( 'NONE', ( #8608 ), #8606, .T. ) ;
#2357 = EDGE_LOOP ( 'NONE', ( #2358, #2280, #2337, #2338 ) ) ;
#2358 = ORIENTED_EDGE ( 'NONE', *, *, #2359, .F. ) ;
#2359 = EDGE_CURVE ( 'NONE', #2360, #2361, #8600, .T. ) ;
#2360 = VERTEX_POINT ( 'NONE', #8661 ) ;
#2361 = VERTEX_POINT ( 'NONE', #8660 ) ;
#2362 = ORIENTED_EDGE ( 'NONE', *, *, #1725, .T. ) ;
#2363 = ORIENTED_EDGE ( 'NONE', *, *, #2444, .T. ) ;
#2364 = VERTEX_POINT ( 'NONE', #8659 ) ;
#2365 = ORIENTED_EDGE ( 'NONE', *, *, #2366, .T. ) ;
#2366 = EDGE_CURVE ( 'NONE', #2364, #2367, #8658, .T. ) ;
#2367 = VERTEX_POINT ( 'NONE', #8653 ) ;
#2368 = ORIENTED_EDGE ( 'NONE', *, *, #2369, .T. ) ;
#2369 = EDGE_CURVE ( 'NONE', #2367, #2370, #8652, .T. ) ;
#2370 = VERTEX_POINT ( 'NONE', #8647 ) ;
#2371 = ORIENTED_EDGE ( 'NONE', *, *, #2372, .T. ) ;
#2372 = EDGE_CURVE ( 'NONE', #2370, #2373, #8646, .T. ) ;
#2373 = VERTEX_POINT ( 'NONE', #8641 ) ;
#2375 = EDGE_LOOP ( 'NONE', ( #2409, #3887, #3613, #6604, #6614, #6609, #6611 ) ) ;
#2374 = EDGE_CURVE ( 'NONE', #2376, #2377, #8640, .T. ) ;
#2376 = VERTEX_POINT ( 'NONE', #8635 ) ;
#2377 = VERTEX_POINT ( 'NONE', #8634 ) ;
#2378 = VERTEX_POINT ( 'NONE', #8633 ) ;
#2379 = VERTEX_POINT ( 'NONE', #8632 ) ;
#2380 = ORIENTED_EDGE ( 'NONE', *, *, #2381, .T. ) ;
#2381 = EDGE_CURVE ( 'NONE', #2378, #2243, #8693, .T. ) ;
#2382 = ORIENTED_EDGE ( 'NONE', *, *, #2242, .F. ) ;
#2383 = ORIENTED_EDGE ( 'NONE', *, *, #2384, .F. ) ;
#2384 = EDGE_CURVE ( 'NONE', #2379, #2240, #8689, .T. ) ;
#2385 = ADVANCED_FACE ( 'NONE', ( #8685 ), #8684, .F. ) ;
#2386 = EDGE_LOOP ( 'NONE', ( #2387, #2391, #2365, #2368, #2371, #2393 ) ) ;
#2387 = ORIENTED_EDGE ( 'NONE', *, *, #2388, .F. ) ;
#2388 = EDGE_CURVE ( 'NONE', #2389, #2390, #8683, .T. ) ;
#2389 = VERTEX_POINT ( 'NONE', #8674 ) ;
#2390 = VERTEX_POINT ( 'NONE', #8673 ) ;
#2391 = ORIENTED_EDGE ( 'NONE', *, *, #2392, .T. ) ;
#2392 = EDGE_CURVE ( 'NONE', #2389, #2364, #8672, .T. ) ;
#2393 = ORIENTED_EDGE ( 'NONE', *, *, #2394, .F. ) ;
#2394 = EDGE_CURVE ( 'NONE', #2390, #2373, #8668, .T. ) ;
#2395 = ADVANCED_FACE ( 'NONE', ( #8664 ), #8663, .F. ) ;
#2396 = EDGE_LOOP ( 'NONE', ( #2397, #2401, #2404, #2320,