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

DATA;
#1 = ORIENTED_EDGE ( 'NONE', *, *, #864, .F. ) ;
#2 = ORIENTED_EDGE ( 'NONE', *, *, #1349, .F. ) ;
#3 = ORIENTED_EDGE ( 'NONE', *, *, #448, .F. ) ;
#4 = ORIENTED_EDGE ( 'NONE', *, *, #5, .F. ) ;
#5 = EDGE_CURVE ( 'NONE', #1273, #471, #4378, .T. ) ;
#6 = ADVANCED_FACE ( 'NONE', ( #4374 ), #4373, .F. ) ;
#7 = EDGE_LOOP ( 'NONE', ( #8, #1, #444, #73 ) ) ;
#8 = ORIENTED_EDGE ( 'NONE', *, *, #9, .T. ) ;
#9 = EDGE_CURVE ( 'NONE', #1344, #865, #4372, .T. ) ;
#10 = ORIENTED_EDGE ( 'NONE', *, *, #2770, .T. ) ;
#11 = ORIENTED_EDGE ( 'NONE', *, *, #12, .F. ) ;
#12 = EDGE_CURVE ( 'NONE', #2765, #2768, #4426, .T. ) ;
#13 = EDGE_LOOP ( 'NONE', ( #14, #17, #19 ) ) ;
#14 = ORIENTED_EDGE ( 'NONE', *, *, #15, .F. ) ;
#15 = EDGE_CURVE ( 'NONE', #16, #3031, #4420, .T. ) ;
#16 = VERTEX_POINT ( 'NONE', #4421 ) ;
#17 = ORIENTED_EDGE ( 'NONE', *, *, #18, .F. ) ;
#18 = EDGE_CURVE ( 'NONE', #3032, #16, #4418, .T. ) ;
#19 = ORIENTED_EDGE ( 'NONE', *, *, #3030, .F. ) ;
#20 = ADVANCED_FACE ( 'NONE', ( #4417 ), #4400, .F. ) ;
#21 = EDGE_LOOP ( 'NONE', ( #22, #12657, #12677, #12676, #12681, #12680 ) ) ;
#22 = ORIENTED_EDGE ( 'NONE', *, *, #2760, .F. ) ;
#23 = ORIENTED_EDGE ( 'NONE', *, *, #2764, .F. ) ;
#24 = ORIENTED_EDGE ( 'NONE', *, *, #25, .T. ) ;
#25 = EDGE_CURVE ( 'NONE', #2762, #26, #4448, .T. ) ;
#26 = VERTEX_POINT ( 'NONE', #4444 ) ;
#27 = ORIENTED_EDGE ( 'NONE', *, *, #28, .F. ) ;
#28 = EDGE_CURVE ( 'NONE', #29, #26, #4443, .T. ) ;
#29 = VERTEX_POINT ( 'NONE', #4439 ) ;
#30 = ORIENTED_EDGE ( 'NONE', *, *, #31, .T. ) ;
#31 = EDGE_CURVE ( 'NONE', #29, #32, #4438, .T. ) ;
#32 = VERTEX_POINT ( 'NONE', #4433 ) ;
#33 = ORIENTED_EDGE ( 'NONE', *, *, #34, .F. ) ;
#34 = EDGE_CURVE ( 'NONE', #35, #32, #4432, .T. ) ;
#35 = VERTEX_POINT ( 'NONE', #4495 ) ;
#36 = ORIENTED_EDGE ( 'NONE', *, *, #99, .T. ) ;
#37 = ORIENTED_EDGE ( 'NONE', *, *, #2489, .F. ) ;
#38 = ADVANCED_FACE ( 'NONE', ( #4494 ), #4493, .T. ) ;
#39 = EDGE_LOOP ( 'NONE', ( #40, #43, #44, #47 ) ) ;
#40 = ORIENTED_EDGE ( 'NONE', *, *, #41, .F. ) ;
#41 = EDGE_CURVE ( 'NONE', #2780, #42, #4488, .T. ) ;
#42 = VERTEX_POINT ( 'NONE', #4484 ) ;
#43 = ORIENTED_EDGE ( 'NONE', *, *, #2779, .F. ) ;
#44 = ORIENTED_EDGE ( 'NONE', *, *, #45, .F. ) ;
#45 = EDGE_CURVE ( 'NONE', #46, #2777, #4483, .T. ) ;
#46 = VERTEX_POINT ( 'NONE', #4479 ) ;
#47 = ORIENTED_EDGE ( 'NONE', *, *, #48, .T. ) ;
#48 = EDGE_CURVE ( 'NONE', #46, #42, #4478, .T. ) ;
#49 = ADVANCED_FACE ( 'NONE', ( #4473, #4472 ), #4471, .T. ) ;
#50 = EDGE_LOOP ( 'NONE', ( #23, #24, #27, #30, #33, #12687, #10, #11 ) ) ;
#51 = ORIENTED_EDGE ( 'NONE', *, *, #1343, .F. ) ;
#52 = ORIENTED_EDGE ( 'NONE', *, *, #1287, .F. ) ;
#53 = ORIENTED_EDGE ( 'NONE', *, *, #54, .F. ) ;
#54 = EDGE_CURVE ( 'NONE', #78, #1285, #4470, .T. ) ;
#55 = ADVANCED_FACE ( 'NONE', ( #4526 ), #4525, .T. ) ;
#56 = EDGE_LOOP ( 'NONE', ( #57, #59, #60, #112 ) ) ;
#57 = ORIENTED_EDGE ( 'NONE', *, *, #58, .F. ) ;
#58 = EDGE_CURVE ( 'NONE', #314, #2553, #4524, .T. ) ;
#59 = ORIENTED_EDGE ( 'NONE', *, *, #318, .T. ) ;
#60 = ORIENTED_EDGE ( 'NONE', *, *, #61, .F. ) ;
#61 = EDGE_CURVE ( 'NONE', #2556, #263, #4516, .T. ) ;
#62 = ORIENTED_EDGE ( 'NONE', *, *, #3703, .F. ) ;
#63 = ORIENTED_EDGE ( 'NONE', *, *, #455, .F. ) ;
#64 = ORIENTED_EDGE ( 'NONE', *, *, #65, .F. ) ;
#65 = EDGE_CURVE ( 'NONE', #1282, #453, #4512, .T. ) ;
#66 = ADVANCED_FACE ( 'NONE', ( #4508 ), #4506, .F. ) ;
#67 = EDGE_LOOP ( 'NONE', ( #68, #69, #71, #72 ) ) ;
#68 = ORIENTED_EDGE ( 'NONE', *, *, #9, .F. ) ;
#69 = ORIENTED_EDGE ( 'NONE', *, *, #70, .T. ) ;
#70 = EDGE_CURVE ( 'NONE', #1344, #78, #4502, .T. ) ;
#71 = ORIENTED_EDGE ( 'NONE', *, *, #77, .F. ) ;
#72 = ORIENTED_EDGE ( 'NONE', *, *, #867, .T. ) ;
#73 = ORIENTED_EDGE ( 'NONE', *, *, #1346, .F. ) ;
#74 = ADVANCED_FACE ( 'NONE', ( #4497 ), #4560, .F. ) ;
#75 = EDGE_LOOP ( 'NONE', ( #76, #79, #81, #82 ) ) ;
#76 = ORIENTED_EDGE ( 'NONE', *, *, #77, .T. ) ;
#77 = EDGE_CURVE ( 'NONE', #868, #78, #4556, .T. ) ;
#78 = VERTEX_POINT ( 'NONE', #4552 ) ;
#79 = ORIENTED_EDGE ( 'NONE', *, *, #80, .F. ) ;
#80 = EDGE_CURVE ( 'NONE', #453, #78, #4550, .T. ) ;
#81 = ORIENTED_EDGE ( 'NONE', *, *, #452, .F. ) ;
#82 = ORIENTED_EDGE ( 'NONE', *, *, #841, .F. ) ;
#83 = ADVANCED_FACE ( 'NONE', ( #4551 ), #4543, .T. ) ;
#84 = EDGE_LOOP ( 'NONE', ( #85, #62, #63, #64 ) ) ;
#85 = ORIENTED_EDGE ( 'NONE', *, *, #1281, .F. ) ;
#86 = ADVANCED_FACE ( 'NONE', ( #4539 ), #4538, .T. ) ;
#87 = EDGE_LOOP ( 'NONE', ( #88, #2, #3, #4 ) ) ;
#88 = ORIENTED_EDGE ( 'NONE', *, *, #1272, .F. ) ;
#89 = EDGE_LOOP ( 'NONE', ( #90, #91, #92, #93 ) ) ;
#90 = ORIENTED_EDGE ( 'NONE', *, *, #80, .T. ) ;
#91 = ORIENTED_EDGE ( 'NONE', *, *, #54, .T. ) ;
#92 = ORIENTED_EDGE ( 'NONE', *, *, #1284, .F. ) ;
#93 = ORIENTED_EDGE ( 'NONE', *, *, #65, .T. ) ;
#94 = ADVANCED_FACE ( 'NONE', ( #4533 ), #4532, .F. ) ;
#95 = EDGE_LOOP ( 'NONE', ( #96, #97, #98, #150 ) ) ;
#96 = ORIENTED_EDGE ( 'NONE', *, *, #475, .T. ) ;
#97 = ORIENTED_EDGE ( 'NONE', *, *, #410, .T. ) ;
#98 = ORIENTED_EDGE ( 'NONE', *, *, #1275, .F. ) ;
#99 = EDGE_CURVE ( 'NONE', #249, #2491, #4531, .T. ) ;
#100 = ORIENTED_EDGE ( 'NONE', *, *, #299, .T. ) ;
#101 = ORIENTED_EDGE ( 'NONE', *, *, #102, .F. ) ;
#102 = EDGE_CURVE ( 'NONE', #2494, #323, #4586, .T. ) ;
#103 = ORIENTED_EDGE ( 'NONE', *, *, #2493, .F. ) ;
#104 = ADVANCED_FACE ( 'NONE', ( #4582 ), #4580, .T. ) ;
#105 = EDGE_LOOP ( 'NONE', ( #106, #108, #109, #111 ) ) ;
#106 = ORIENTED_EDGE ( 'NONE', *, *, #107, .F. ) ;
#107 = EDGE_CURVE ( 'NONE', #281, #2559, #4581, .T. ) ;
#108 = ORIENTED_EDGE ( 'NONE', *, *, #280, .T. ) ;
#109 = ORIENTED_EDGE ( 'NONE', *, *, #110, .F. ) ;
#110 = EDGE_CURVE ( 'NONE', #2490, #278, #4572, .T. ) ;
#111 = ORIENTED_EDGE ( 'NONE', *, *, #2561, .F. ) ;
#112 = ORIENTED_EDGE ( 'NONE', *, *, #2555, .F. ) ;
#113 = ADVANCED_FACE ( 'NONE', ( #4568 ), #4567, .T. ) ;
#114 = EDGE_LOOP ( 'NONE', ( #115, #117, #118, #120 ) ) ;
#115 = ORIENTED_EDGE ( 'NONE', *, *, #116, .F. ) ;
#116 = EDGE_CURVE ( 'NONE', #293, #2497, #4562, .T. ) ;
#117 = ORIENTED_EDGE ( 'NONE', *, *, #357, .T. ) ;
#118 = ORIENTED_EDGE ( 'NONE', *, *, #119, .F. ) ;
#119 = EDGE_CURVE ( 'NONE', #2550, #306, #4621, .T. ) ;
#120 = ORIENTED_EDGE ( 'NONE', *, *, #2549, .F. ) ;
#121 = ADVANCED_FACE ( 'NONE', ( #4617 ), #4616, .T. ) ;
#122 = EDGE_LOOP ( 'NONE', ( #123, #100, #101, #103 ) ) ;
#123 = ORIENTED_EDGE ( 'NONE', *, *, #99, .F. ) ;
#124 = ADVANCED_FACE ( 'NONE', ( #4610 ), #4609, .T. ) ;
#125 = EDGE_LOOP ( 'NONE', ( #126, #51, #52, #53 ) ) ;
#126 = ORIENTED_EDGE ( 'NONE', *, *, #70, .F. ) ;
#127 = ORIENTED_EDGE ( 'NONE', *, *, #2552, .F. ) ;
#128 = ADVANCED_FACE ( 'NONE', ( #4604 ), #4608, .T. ) ;
#129 = EDGE_LOOP ( 'NONE', ( #130, #131, #132, #133 ) ) ;
#130 = ORIENTED_EDGE ( 'NONE', *, *, #61, .T. ) ;
#131 = ORIENTED_EDGE ( 'NONE', *, *, #325, .T. ) ;
#132 = ORIENTED_EDGE ( 'NONE', *, *, #107, .T. ) ;
#133 = ORIENTED_EDGE ( 'NONE', *, *, #2558, .F. ) ;
#134 = ADVANCED_FACE ( 'NONE', ( #4599 ), #4598, .T. ) ;
#135 = EDGE_LOOP ( 'NONE', ( #136, #137, #36, #37 ) ) ;
#136 = ORIENTED_EDGE ( 'NONE', *, *, #110, .T. ) ;
#137 = ORIENTED_EDGE ( 'NONE', *, *, #251, .T. ) ;
#138 = ORIENTED_EDGE ( 'NONE', *, *, #463, .T. ) ;
#139 = ADVANCED_FACE ( 'NONE', ( #4593 ), #4592, .T. ) ;
#140 = EDGE_LOOP ( 'NONE', ( #141, #142, #143, #144 ) ) ;
#141 = ORIENTED_EDGE ( 'NONE', *, *, #102, .T. ) ;
#142 = ORIENTED_EDGE ( 'NONE', *, *, #295, .T. ) ;
#143 = ORIENTED_EDGE ( 'NONE', *, *, #116, .T. ) ;
#144 = ORIENTED_EDGE ( 'NONE', *, *, #2496, .F. ) ;
#145 = ADVANCED_FACE ( 'NONE', ( #4655 ), #4654, .T. ) ;
#146 = EDGE_LOOP ( 'NONE', ( #147, #148, #149, #127 ) ) ;
#147 = ORIENTED_EDGE ( 'NONE', *, *, #119, .T. ) ;
#148 = ORIENTED_EDGE ( 'NONE', *, *, #288, .T. ) ;
#149 = ORIENTED_EDGE ( 'NONE', *, *, #58, .T. ) ;
#150 = ORIENTED_EDGE ( 'NONE', *, *, #5, .T. ) ;
#151 = ADVANCED_FACE ( 'NONE', ( #4649 ), #4648, .F. ) ;
#152 = EDGE_LOOP ( 'NONE', ( #153, #154, #155, #156 ) ) ;
#153 = ORIENTED_EDGE ( 'NONE', *, *, #333, .T. ) ;
#154 = ORIENTED_EDGE ( 'NONE', *, *, #341, .T. ) ;
#155 = ORIENTED_EDGE ( 'NONE', *, *, #1259, .F. ) ;
#156 = ORIENTED_EDGE ( 'NONE', *, *, #443, .T. ) ;
#157 = ADVANCED_FACE ( 'NONE', ( #4642 ), #4641, .F. ) ;
#158 = EDGE_LOOP ( 'NONE', ( #159, #160, #161, #138 ) ) ;
#159 = ORIENTED_EDGE ( 'NONE', *, *, #1217, .F. ) ;
#160 = ORIENTED_EDGE ( 'NONE', *, *, #439, .T. ) ;
#161 = ORIENTED_EDGE ( 'NONE', *, *, #430, .T. ) ;
#162 = ADVANCED_FACE ( 'NONE', ( #4636 ), #4635, .F. ) ;
#163 = ADVANCED_FACE ( 'NONE', ( #4630, #4629 ), #4634, .F. ) ;
#164 = EDGE_LOOP ( 'NONE', ( #165, #226 ) ) ;
#165 = ORIENTED_EDGE ( 'NONE', *, *, #2786, .F. ) ;
#166 = ORIENTED_EDGE ( 'NONE', *, *, #167, .F. ) ;
#167 = EDGE_CURVE ( 'NONE', #1834, #1988, #4691, .T. ) ;
#168 = ADVANCED_FACE ( 'NONE', ( #4686 ), #4683, .F. ) ;
#169 = EDGE_LOOP ( 'NONE', ( #170, #171, #173, #174 ) ) ;
#170 = ORIENTED_EDGE ( 'NONE', *, *, #1869, .F. ) ;
#171 = ORIENTED_EDGE ( 'NONE', *, *, #172, .F. ) ;
#172 = EDGE_CURVE ( 'NONE', #2325, #1867, #4679, .T. ) ;
#173 = ORIENTED_EDGE ( 'NONE', *, *, #2354, .F. ) ;
#174 = ORIENTED_EDGE ( 'NONE', *, *, #2845, .F. ) ;
#175 = ADVANCED_FACE ( 'NONE', ( #4675 ), #4674, .T. ) ;
#176 = EDGE_LOOP ( 'NONE', ( #177, #236, #238, #239 ) ) ;
#177 = ORIENTED_EDGE ( 'NONE', *, *, #1896, .F. ) ;
#178 = VERTEX_POINT ( 'NONE', #4669 ) ;
#179 = EDGE_CURVE ( 'NONE', #196, #195, #4668, .T. ) ;
#180 = EDGE_LOOP ( 'NONE', ( #192, #4085, #4157, #4152, #4154, #4086 ) ) ;
#181 = ORIENTED_EDGE ( 'NONE', *, *, #198, .F. ) ;
#182 = ORIENTED_EDGE ( 'NONE', *, *, #179, .F. ) ;
#183 = VERTEX_POINT ( 'NONE', #4663 ) ;
#184 = ORIENTED_EDGE ( 'NONE', *, *, #186, .F. ) ;
#185 = ADVANCED_FACE ( 'NONE', ( #4662 ), #4661, .T. ) ;
#186 = EDGE_CURVE ( 'NONE', #195, #178, #4721, .T. ) ;
#187 = ADVANCED_FACE ( 'NONE', ( #4717 ), #4715, .F. ) ;
#188 = EDGE_CURVE ( 'NONE', #178, #200, #4710, .T. ) ;
#189 = ORIENTED_EDGE ( 'NONE', *, *, #190, .T. ) ;
#190 = EDGE_CURVE ( 'NONE', #196, #200, #4706, .T. ) ;
#191 = ORIENTED_EDGE ( 'NONE', *, *, #188, .F. ) ;
#192 = ORIENTED_EDGE ( 'NONE', *, *, #193, .F. ) ;
#193 = EDGE_CURVE ( 'NONE', #194, #4342, #4702, .T. ) ;
#194 = VERTEX_POINT ( 'NONE', #4698 ) ;
#195 = VERTEX_POINT ( 'NONE', #4697 ) ;
#196 = VERTEX_POINT ( 'NONE', #4696 ) ;
#197 = ORIENTED_EDGE ( 'NONE', *, *, #201, .T. ) ;
#198 = EDGE_CURVE ( 'NONE', #4392, #183, #4695, .T. ) ;
#199 = EDGE_LOOP ( 'NONE', ( #182, #189, #191, #184 ) ) ;
#200 = VERTEX_POINT ( 'NONE', #4754 ) ;
#201 = EDGE_CURVE ( 'NONE', #4395, #183, #4753, .T. ) ;
#202 = EDGE_LOOP ( 'NONE', ( #203, #204, #205, #206 ) ) ;
#203 = ORIENTED_EDGE ( 'NONE', *, *, #237, .T. ) ;
#204 = ORIENTED_EDGE ( 'NONE', *, *, #1836, .T. ) ;
#205 = ORIENTED_EDGE ( 'NONE', *, *, #167, .T. ) ;
#206 = ORIENTED_EDGE ( 'NONE', *, *, #1987, .T. ) ;
#207 = ORIENTED_EDGE ( 'NONE', *, *, #2082, .F. ) ;
#208 = ORIENTED_EDGE ( 'NONE', *, *, #2619, .T. ) ;
#209 = ORIENTED_EDGE ( 'NONE', *, *, #2183, .F. ) ;
#210 = ORIENTED_EDGE ( 'NONE', *, *, #1792, .T. ) ;
#211 = ORIENTED_EDGE ( 'NONE', *, *, #2200, .F. ) ;
#212 = ORIENTED_EDGE ( 'NONE', *, *, #2569, .T. ) ;
#213 = ORIENTED_EDGE ( 'NONE', *, *, #2221, .F. ) ;
#214 = ORIENTED_EDGE ( 'NONE', *, *, #1858, .T. ) ;
#215 = ORIENTED_EDGE ( 'NONE', *, *, #2212, .F. ) ;
#216 = ORIENTED_EDGE ( 'NONE', *, *, #2016, .F. ) ;
#217 = ORIENTED_EDGE ( 'NONE', *, *, #1757, .T. ) ;
#218 = ORIENTED_EDGE ( 'NONE', *, *, #1949, .F. ) ;
#219 = ORIENTED_EDGE ( 'NONE', *, *, #2706, .T. ) ;
#220 = ORIENTED_EDGE ( 'NONE', *, *, #2054, .F. ) ;
#221 = ORIENTED_EDGE ( 'NONE', *, *, #1741, .T. ) ;
#222 = ORIENTED_EDGE ( 'NONE', *, *, #2072, .F. ) ;
#223 = ORIENTED_EDGE ( 'NONE', *, *, #2674, .T. ) ;
#224 = ORIENTED_EDGE ( 'NONE', *, *, #2091, .F. ) ;
#225 = ORIENTED_EDGE ( 'NONE', *, *, #1809, .T. ) ;
#226 = ORIENTED_EDGE ( 'NONE', *, *, #2518, .F. ) ;
#227 = EDGE_LOOP ( 'NONE', ( #228, #229, #230, #231, #232, #233, #234, #235, #216, #217, #218, #219, #220, #221, #222, #223, #224, #225, #207, #208, #209, #210, #211, #212, #213, #214, #215, #282, #283, #284, #285, #286 ) ) ;
#228 = ORIENTED_EDGE ( 'NONE', *, *, #1884, .F. ) ;
#229 = ORIENTED_EDGE ( 'NONE', *, *, #1759, .T. ) ;
#230 = ORIENTED_EDGE ( 'NONE', *, *, #1902, .F. ) ;
#231 = ORIENTED_EDGE ( 'NONE', *, *, #2741, .T. ) ;
#232 = ORIENTED_EDGE ( 'NONE', *, *, #1921, .F. ) ;
#233 = ORIENTED_EDGE ( 'NONE', *, *, #1773, .T. ) ;
#234 = ORIENTED_EDGE ( 'NONE', *, *, #1912, .F. ) ;
#235 = ORIENTED_EDGE ( 'NONE', *, *, #2687, .T. ) ;
#236 = ORIENTED_EDGE ( 'NONE', *, *, #237, .F. ) ;
#237 = EDGE_CURVE ( 'NONE', #1985, #1894, #4748, .T. ) ;
#238 = ORIENTED_EDGE ( 'NONE', *, *, #1984, .F. ) ;
#239 = ORIENTED_EDGE ( 'NONE', *, *, #2738, .T. ) ;
#240 = ADVANCED_FACE ( 'NONE', ( #4743 ), #4742, .T. ) ;
#241 = EDGE_LOOP ( 'NONE', ( #242, #243, #244, #245 ) ) ;
#242 = ORIENTED_EDGE ( 'NONE', *, *, #1890, .F. ) ;
#243 = ORIENTED_EDGE ( 'NONE', *, *, #2726, .T. ) ;
#244 = ORIENTED_EDGE ( 'NONE', *, *, #2330, .F. ) ;
#245 = ORIENTED_EDGE ( 'NONE', *, *, #246, .F. ) ;
#246 = EDGE_CURVE ( 'NONE', #1891, #2328, #4741, .T. ) ;
#247 = ORIENTED_EDGE ( 'NONE', *, *, #248, .T. ) ;
#248 = EDGE_CURVE ( 'NONE', #946, #249, #4732, .T. ) ;
#249 = VERTEX_POINT ( 'NONE', #4727 ) ;
#250 = ORIENTED_EDGE ( 'NONE', *, *, #251, .F. ) ;
#251 = EDGE_CURVE ( 'NONE', #278, #249, #4726, .T. ) ;
#252 = ORIENTED_EDGE ( 'NONE', *, *, #277, .F. ) ;
#253 = ORIENTED_EDGE ( 'NONE', *, *, #1070, .F. ) ;
#254 = ORIENTED_EDGE ( 'NONE', *, *, #835, .F. ) ;
#255 = EDGE_LOOP ( 'NONE', ( #312, #315, #316, #317 ) ) ;
#256 = ORIENTED_EDGE ( 'NONE', *, *, #257, .T. ) ;
#257 = EDGE_CURVE ( 'NONE', #281, #1008, #4784, .T. ) ;
#258 = ORIENTED_EDGE ( 'NONE', *, *, #1006, .F. ) ;
#259 = ADVANCED_FACE ( 'NONE', ( #4779 ), #4778, .T. ) ;
#260 = EDGE_LOOP ( 'NONE', ( #261, #264, #265, #266, #267, #324 ) ) ;
#261 = ORIENTED_EDGE ( 'NONE', *, *, #262, .T. ) ;
#262 = EDGE_CURVE ( 'NONE', #263, #1125, #4772, .T. ) ;
#263 = VERTEX_POINT ( 'NONE', #4768 ) ;
#264 = ORIENTED_EDGE ( 'NONE', *, *, #1124, .F. ) ;
#265 = ORIENTED_EDGE ( 'NONE', *, *, #904, .F. ) ;
#266 = ORIENTED_EDGE ( 'NONE', *, *, #1010, .F. ) ;
#267 = ORIENTED_EDGE ( 'NONE', *, *, #257, .F. ) ;
#268 = ADVANCED_FACE ( 'NONE', ( #4767 ), #4766, .T. ) ;
#269 = EDGE_LOOP ( 'NONE', ( #270, #271, #272, #273 ) ) ;
#270 = ORIENTED_EDGE ( 'NONE', *, *, #172, .T. ) ;
#271 = ORIENTED_EDGE ( 'NONE', *, *, #1893, .T. ) ;
#272 = ORIENTED_EDGE ( 'NONE', *, *, #246, .T. ) ;
#273 = ORIENTED_EDGE ( 'NONE', *, *, #2327, .T. ) ;
#274 = ADVANCED_FACE ( 'NONE', ( #4765 ), #4759, .T. ) ;
#275 = EDGE_LOOP ( 'NONE', ( #276, #279, #256, #258 ) ) ;
#276 = ORIENTED_EDGE ( 'NONE', *, *, #277, .T. ) ;
#277 = EDGE_CURVE ( 'NONE', #1007, #278, #4755, .T. ) ;
#278 = VERTEX_POINT ( 'NONE', #4814 ) ;
#279 = ORIENTED_EDGE ( 'NONE', *, *, #280, .F. ) ;
#280 = EDGE_CURVE ( 'NONE', #281, #278, #4813, .T. ) ;
#281 = VERTEX_POINT ( 'NONE', #4808 ) ;
#282 = ORIENTED_EDGE ( 'NONE', *, *, #2590, .T. ) ;
#283 = ORIENTED_EDGE ( 'NONE', *, *, #2400, .F. ) ;
#284 = ORIENTED_EDGE ( 'NONE', *, *, #2294, .T. ) ;
#285 = ORIENTED_EDGE ( 'NONE', *, *, #2336, .F. ) ;
#286 = ORIENTED_EDGE ( 'NONE', *, *, #2723, .T. ) ;
#287 = ADVANCED_FACE ( 'NONE', ( #4807 ), #4806, .T. ) ;
#288 = EDGE_CURVE ( 'NONE', #306, #314, #4801, .T. ) ;
#289 = ADVANCED_FACE ( 'NONE', ( #4797 ), #4796, .T. ) ;
#290 = EDGE_LOOP ( 'NONE', ( #291, #294, #296, #297, #351, #352 ) ) ;
#291 = ORIENTED_EDGE ( 'NONE', *, *, #292, .T. ) ;
#292 = EDGE_CURVE ( 'NONE', #716, #293, #4790, .T. ) ;
#293 = VERTEX_POINT ( 'NONE', #4786 ) ;
#294 = ORIENTED_EDGE ( 'NONE', *, *, #295, .F. ) ;
#295 = EDGE_CURVE ( 'NONE', #323, #293, #4851, .T. ) ;
#296 = ORIENTED_EDGE ( 'NONE', *, *, #322, .F. ) ;
#297 = ORIENTED_EDGE ( 'NONE', *, *, #952, .F. ) ;
#298 = ORIENTED_EDGE ( 'NONE', *, *, #299, .F. ) ;
#299 = EDGE_CURVE ( 'NONE', #249, #323, #4847, .T. ) ;
#300 = ORIENTED_EDGE ( 'NONE', *, *, #248, .F. ) ;
#301 = ORIENTED_EDGE ( 'NONE', *, *, #887, .F. ) ;
#302 = ADVANCED_FACE ( 'NONE', ( #4842 ), #4841, .T. ) ;
#303 = EDGE_LOOP ( 'NONE', ( #304, #307, #308, #309, #365, #366 ) ) ;
#304 = ORIENTED_EDGE ( 'NONE', *, *, #305, .T. ) ;
#305 = EDGE_CURVE ( 'NONE', #306, #713, #4835, .T. ) ;
#306 = VERTEX_POINT ( 'NONE', #4831 ) ;
#307 = ORIENTED_EDGE ( 'NONE', *, *, #712, .F. ) ;
#308 = ORIENTED_EDGE ( 'NONE', *, *, #850, .F. ) ;
#309 = ORIENTED_EDGE ( 'NONE', *, *, #1130, .F. ) ;
#310 = ORIENTED_EDGE ( 'NONE', *, *, #948, .F. ) ;
#311 = ADVANCED_FACE ( 'NONE', ( #4830 ), #4828, .T. ) ;
#312 = ORIENTED_EDGE ( 'NONE', *, *, #313, .T. ) ;
#313 = EDGE_CURVE ( 'NONE', #314, #1128, #4824, .T. ) ;
#314 = VERTEX_POINT ( 'NONE', #4819 ) ;
#315 = ORIENTED_EDGE ( 'NONE', *, *, #1127, .F. ) ;
#316 = ORIENTED_EDGE ( 'NONE', *, *, #262, .F. ) ;
#317 = ORIENTED_EDGE ( 'NONE', *, *, #318, .F. ) ;
#318 = EDGE_CURVE ( 'NONE', #314, #263, #4881, .T. ) ;
#319 = ADVANCED_FACE ( 'NONE', ( #4882 ), #4874, .T. ) ;
#320 = EDGE_LOOP ( 'NONE', ( #321, #298, #300, #301 ) ) ;
#321 = ORIENTED_EDGE ( 'NONE', *, *, #322, .T. ) ;
#322 = EDGE_CURVE ( 'NONE', #888, #323, #4870, .T. ) ;
#323 = VERTEX_POINT ( 'NONE', #4866 ) ;
#324 = ORIENTED_EDGE ( 'NONE', *, *, #325, .F. ) ;
#325 = EDGE_CURVE ( 'NONE', #263, #281, #4865, .T. ) ;
#326 = ADVANCED_FACE ( 'NONE', ( #4861 ), #4860, .T. ) ;
#327 = EDGE_LOOP ( 'NONE', ( #247, #250, #252, #253, #254, #310 ) ) ;
#328 = EDGE_CURVE ( 'NONE', #329, #876, #4859, .T. ) ;
#329 = VERTEX_POINT ( 'NONE', #4914 ) ;
#330 = ORIENTED_EDGE ( 'NONE', *, *, #875, .F. ) ;
#331 = ORIENTED_EDGE ( 'NONE', *, *, #349, .F. ) ;
#332 = ORIENTED_EDGE ( 'NONE', *, *, #333, .F. ) ;
#333 = EDGE_CURVE ( 'NONE', #329, #364, #4912, .T. ) ;
#334 = ADVANCED_FACE ( 'NONE', ( #4913 ), #4905, .F. ) ;
#335 = EDGE_LOOP ( 'NONE', ( #336, #391, #392, #393 ) ) ;
#336 = ORIENTED_EDGE ( 'NONE', *, *, #337, .T. ) ;
#337 = EDGE_CURVE ( 'NONE', #809, #1370, #4901, .T. ) ;
#338 = ORIENTED_EDGE ( 'NONE', *, *, #1301, .F. ) ;
#339 = ORIENTED_EDGE ( 'NONE', *, *, #1317, .F. ) ;
#340 = ORIENTED_EDGE ( 'NONE', *, *, #341, .F. ) ;
#341 = EDGE_CURVE ( 'NONE', #364, #1261, #4897, .T. ) ;
#342 = ADVANCED_FACE ( 'NONE', ( #4893 ), #4892, .F. ) ;
#343 = EDGE_LOOP ( 'NONE', ( #344, #345, #347, #348 ) ) ;
#344 = ORIENTED_EDGE ( 'NONE', *, *, #872, .T. ) ;
#345 = ORIENTED_EDGE ( 'NONE', *, *, #346, .T. ) ;
#346 = EDGE_CURVE ( 'NONE', #810, #1302, #4886, .T. ) ;
#347 = ORIENTED_EDGE ( 'NONE', *, *, #363, .F. ) ;
#348 = ORIENTED_EDGE ( 'NONE', *, *, #349, .T. ) ;
#349 = EDGE_CURVE ( 'NONE', #364, #873, #4946, .T. ) ;
#350 = EDGE_LOOP ( 'NONE', ( #405, #330, #331, #332 ) ) ;
#351 = ORIENTED_EDGE ( 'NONE', *, *, #919, .F. ) ;
#352 = ORIENTED_EDGE ( 'NONE', *, *, #718, .F. ) ;
#353 = ADVANCED_FACE ( 'NONE', ( #4941 ), #4940, .T. ) ;
#354 = EDGE_LOOP ( 'NONE', ( #355, #356, #358, #359 ) ) ;
#355 = ORIENTED_EDGE ( 'NONE', *, *, #305, .F. ) ;
#356 = ORIENTED_EDGE ( 'NONE', *, *, #357, .F. ) ;
#357 = EDGE_CURVE ( 'NONE', #293, #306, #4934, .T. ) ;
#358 = ORIENTED_EDGE ( 'NONE', *, *, #292, .F. ) ;
#359 = ORIENTED_EDGE ( 'NONE', *, *, #715, .F. ) ;
#360 = ADVANCED_FACE ( 'NONE', ( #4930 ), #4929, .T. ) ;
#361 = EDGE_LOOP ( 'NONE', ( #362, #338, #339, #340 ) ) ;
#362 = ORIENTED_EDGE ( 'NONE', *, *, #363, .T. ) ;
#363 = EDGE_CURVE ( 'NONE', #364, #1302, #4928, .T. ) ;
#364 = VERTEX_POINT ( 'NONE', #4919 ) ;
#365 = ORIENTED_EDGE ( 'NONE', *, *, #313, .F. ) ;
#366 = ORIENTED_EDGE ( 'NONE', *, *, #288, .F. ) ;
#367 = ADVANCED_FACE ( 'NONE', ( #4918 ), #4916, .F. ) ;
#368 = ORIENTED_EDGE ( 'NONE', *, *, #369, .T. ) ;
#369 = EDGE_CURVE ( 'NONE', #1409, #795, #4975, .T. ) ;
#370 = ORIENTED_EDGE ( 'NONE', *, *, #881, .F. ) ;
#371 = ORIENTED_EDGE ( 'NONE', *, *, #397, .F. ) ;
#372 = ORIENTED_EDGE ( 'NONE', *, *, #1411, .F. ) ;
#373 = ADVANCED_FACE ( 'NONE', ( #4970 ), #4969, .F. ) ;
#374 = EDGE_LOOP ( 'NONE', ( #375, #429, #431, #432 ) ) ;
#375 = ORIENTED_EDGE ( 'NONE', *, *, #376, .T. ) ;
#376 = EDGE_CURVE ( 'NONE', #802, #377, #4964, .T. ) ;
#377 = VERTEX_POINT ( 'NONE', #4959 ) ;
#378 = ORIENTED_EDGE ( 'NONE', *, *, #379, .T. ) ;
#379 = EDGE_CURVE ( 'NONE', #806, #380, #4958, .T. ) ;
#380 = VERTEX_POINT ( 'NONE', #4953 ) ;
#381 = ORIENTED_EDGE ( 'NONE', *, *, #382, .T. ) ;
#382 = EDGE_CURVE ( 'NONE', #380, #1370, #4951, .T. ) ;
#383 = ORIENTED_EDGE ( 'NONE', *, *, #337, .F. ) ;
#384 = ORIENTED_EDGE ( 'NONE', *, *, #808, .T. ) ;
#385 = ADVANCED_FACE ( 'NONE', ( #4952 ), #5011, .T. ) ;
#386 = EDGE_LOOP ( 'NONE', ( #387, #388, #389, #442 ) ) ;
#387 = ORIENTED_EDGE ( 'NONE', *, *, #1329, .F. ) ;
#388 = ORIENTED_EDGE ( 'NONE', *, *, #1414, .F. ) ;
#389 = ORIENTED_EDGE ( 'NONE', *, *, #401, .F. ) ;
#390 = EDGE_LOOP ( 'NONE', ( #368, #370, #371, #372 ) ) ;
#391 = ORIENTED_EDGE ( 'NONE', *, *, #1369, .F. ) ;
#392 = ORIENTED_EDGE ( 'NONE', *, *, #346, .F. ) ;
#393 = ORIENTED_EDGE ( 'NONE', *, *, #870, .F. ) ;
#394 = ADVANCED_FACE ( 'NONE', ( #5005 ), #5004, .F. ) ;
#395 = EDGE_LOOP ( 'NONE', ( #396, #398, #399, #400 ) ) ;
#396 = ORIENTED_EDGE ( 'NONE', *, *, #397, .T. ) ;
#397 = EDGE_CURVE ( 'NONE', #1412, #879, #5000, .T. ) ;
#398 = ORIENTED_EDGE ( 'NONE', *, *, #878, .T. ) ;
#399 = ORIENTED_EDGE ( 'NONE', *, *, #328, .F. ) ;
#400 = ORIENTED_EDGE ( 'NONE', *, *, #401, .T. ) ;
#401 = EDGE_CURVE ( 'NONE', #329, #1412, #4995, .T. ) ;
#402 = ADVANCED_FACE ( 'NONE', ( #4990 ), #4989, .F. ) ;
#403 = EDGE_LOOP ( 'NONE', ( #378, #381, #383, #384 ) ) ;
#404 = ADVANCED_FACE ( 'NONE', ( #4984 ), #4983, .F. ) ;
#405 = ORIENTED_EDGE ( 'NONE', *, *, #328, .T. ) ;
#406 = ADVANCED_FACE ( 'NONE', ( #5042 ), #5041, .T. ) ;
#407 = EDGE_LOOP ( 'NONE', ( #408, #409, #411, #412 ) ) ;
#408 = ORIENTED_EDGE ( 'NONE', *, *, #1249, .F. ) ;
#409 = ORIENTED_EDGE ( 'NONE', *, *, #410, .F. ) ;
#410 = EDGE_CURVE ( 'NONE', #418, #1276, #5040, .T. ) ;
#411 = ORIENTED_EDGE ( 'NONE', *, *, #422, .F. ) ;
#412 = ORIENTED_EDGE ( 'NONE', *, *, #1408, .F. ) ;
#413 = ADVANCED_FACE ( 'NONE', ( #5033 ), #5031, .F. ) ;
#414 = EDGE_LOOP ( 'NONE', ( #415, #472, #473, #474 ) ) ;
#415 = ORIENTED_EDGE ( 'NONE', *, *, #470, .T. ) ;
#416 = ORIENTED_EDGE ( 'NONE', *, *, #417, .T. ) ;
#417 = EDGE_CURVE ( 'NONE', #418, #856, #5027, .T. ) ;
#418 = VERTEX_POINT ( 'NONE', #5022 ) ;
#419 = ORIENTED_EDGE ( 'NONE', *, *, #855, .T. ) ;
#420 = ORIENTED_EDGE ( 'NONE', *, *, #369, .F. ) ;
#421 = ORIENTED_EDGE ( 'NONE', *, *, #422, .T. ) ;
#422 = EDGE_CURVE ( 'NONE', #1409, #418, #5020, .T. ) ;
#423 = ADVANCED_FACE ( 'NONE', ( #5021 ), #5014, .F. ) ;
#424 = EDGE_LOOP ( 'NONE', ( #425, #427, #482, #483 ) ) ;
#425 = ORIENTED_EDGE ( 'NONE', *, *, #426, .T. ) ;
#426 = EDGE_CURVE ( 'NONE', #803, #3698, #5072, .T. ) ;
#427 = ORIENTED_EDGE ( 'NONE', *, *, #428, .T. ) ;
#428 = EDGE_CURVE ( 'NONE', #3698, #377, #5067, .T. ) ;
#429 = ORIENTED_EDGE ( 'NONE', *, *, #430, .F. ) ;
#430 = EDGE_CURVE ( 'NONE', #380, #377, #5062, .T. ) ;
#431 = ORIENTED_EDGE ( 'NONE', *, *, #379, .F. ) ;
#432 = ORIENTED_EDGE ( 'NONE', *, *, #805, .F. ) ;
#433 = ADVANCED_FACE ( 'NONE', ( #5057 ), #5056, .T. ) ;
#434 = EDGE_LOOP ( 'NONE', ( #435, #436, #437, #438 ) ) ;
#435 = ORIENTED_EDGE ( 'NONE', *, *, #1214, .F. ) ;
#436 = ORIENTED_EDGE ( 'NONE', *, *, #1372, .F. ) ;
#437 = ORIENTED_EDGE ( 'NONE', *, *, #382, .F. ) ;
#438 = ORIENTED_EDGE ( 'NONE', *, *, #439, .F. ) ;
#439 = EDGE_CURVE ( 'NONE', #1215, #380, #5051, .T. ) ;
#440 = ADVANCED_FACE ( 'NONE', ( #5047 ), #5045, .F. ) ;
#441 = EDGE_LOOP ( 'NONE', ( #416, #419, #420, #421 ) ) ;
#442 = ORIENTED_EDGE ( 'NONE', *, *, #443, .F. ) ;
#443 = EDGE_CURVE ( 'NONE', #1260, #329, #5104, .T. ) ;
#444 = ORIENTED_EDGE ( 'NONE', *, *, #469, .F. ) ;
#445 = ORIENTED_EDGE ( 'NONE', *, *, #861, .T. ) ;
#446 = ORIENTED_EDGE ( 'NONE', *, *, #470, .F. ) ;
#447 = ORIENTED_EDGE ( 'NONE', *, *, #448, .T. ) ;
#448 = EDGE_CURVE ( 'NONE', #471, #1347, #5100, .T. ) ;
#449 = ADVANCED_FACE ( 'NONE', ( #5095 ), #5094, .F. ) ;
#450 = EDGE_LOOP ( 'NONE', ( #451, #454, #456, #457 ) ) ;
#451 = ORIENTED_EDGE ( 'NONE', *, *, #452, .T. ) ;
#452 = EDGE_CURVE ( 'NONE', #842, #453, #5089, .T. ) ;
#453 = VERTEX_POINT ( 'NONE', #5084 ) ;
#454 = ORIENTED_EDGE ( 'NONE', *, *, #455, .T. ) ;
#455 = EDGE_CURVE ( 'NONE', #453, #3701, #5082, .T. ) ;
#456 = ORIENTED_EDGE ( 'NONE', *, *, #479, .F. ) ;
#457 = ORIENTED_EDGE ( 'NONE', *, *, #844, .T. ) ;
#458 = ORIENTED_EDGE ( 'NONE', *, *, #847, .F. ) ;
#459 = ADVANCED_FACE ( 'NONE', ( #5083 ), #5075, .T. ) ;
#460 = EDGE_LOOP ( 'NONE', ( #461, #462, #464, #465 ) ) ;
#461 = ORIENTED_EDGE ( 'NONE', *, *, #1220, .F. ) ;
#462 = ORIENTED_EDGE ( 'NONE', *, *, #463, .F. ) ;
#463 = EDGE_CURVE ( 'NONE', #377, #1218, #5076, .T. ) ;
#464 = ORIENTED_EDGE ( 'NONE', *, *, #428, .F. ) ;
#465 = ORIENTED_EDGE ( 'NONE', *, *, #3697, .F. ) ;
#466 = ADVANCED_FACE ( 'NONE', ( #5133 ), #5131, .F. ) ;
#467 = EDGE_LOOP ( 'NONE', ( #468, #445, #446, #447 ) ) ;
#468 = ORIENTED_EDGE ( 'NONE', *, *, #469, .T. ) ;
#469 = EDGE_CURVE ( 'NONE', #1347, #862, #5127, .T. ) ;
#470 = EDGE_CURVE ( 'NONE', #471, #859, #5122, .T. ) ;
#471 = VERTEX_POINT ( 'NONE', #5117 ) ;
#472 = ORIENTED_EDGE ( 'NONE', *, *, #858, .F. ) ;
#473 = ORIENTED_EDGE ( 'NONE', *, *, #417, .F. ) ;
#474 = ORIENTED_EDGE ( 'NONE', *, *, #475, .F. ) ;
#475 = EDGE_CURVE ( 'NONE', #471, #418, #5116, .T. ) ;
#476 = ADVANCED_FACE ( 'NONE', ( #5111 ), #5110, .F. ) ;
#477 = EDGE_LOOP ( 'NONE', ( #478, #480, #481, #458 ) ) ;
#478 = ORIENTED_EDGE ( 'NONE', *, *, #479, .T. ) ;
#479 = EDGE_CURVE ( 'NONE', #845, #3701, #5109, .T. ) ;
#480 = ORIENTED_EDGE ( 'NONE', *, *, #3700, .F. ) ;
#481 = ORIENTED_EDGE ( 'NONE', *, *, #426, .F. ) ;
#482 = ORIENTED_EDGE ( 'NONE', *, *, #376, .F. ) ;
#483 = ORIENTED_EDGE ( 'NONE', *, *, #801, .T. ) ;
#484 = EDGE_CURVE ( 'NONE', #3083, #3082, #5165, .T. ) ;
#485 = ORIENTED_EDGE ( 'NONE', *, *, #3081, .T. ) ;
#486 = EDGE_LOOP ( 'NONE', ( #487, #488, #489, #490 ) ) ;
#487 = ORIENTED_EDGE ( 'NONE', *, *, #28, .T. ) ;
#488 = ORIENTED_EDGE ( 'NONE', *, *, #12678, .T. ) ;
#489 = ORIENTED_EDGE ( 'NONE', *, *, #2818, .F. ) ;
#490 = ORIENTED_EDGE ( 'NONE', *, *, #503, .T. ) ;
#491 = ADVANCED_FACE ( 'NONE', ( #5160, #5159 ), #5158, .F. ) ;
#492 = EDGE_LOOP ( 'NONE', ( #493, #495 ) ) ;
#493 = ORIENTED_EDGE ( 'NONE', *, *, #494, .T. ) ;
#494 = EDGE_CURVE ( 'NONE', #2977, #2976, #5153, .T. ) ;
#495 = ORIENTED_EDGE ( 'NONE', *, *, #2975, .T. ) ;
#496 = EDGE_LOOP ( 'NONE', ( #549, #550, #551, #552 ) ) ;
#497 = ORIENTED_EDGE ( 'NONE', *, *, #2717, .F. ) ;
#498 = ORIENTED_EDGE ( 'NONE', *, *, #12661, .F. ) ;
#499 = ORIENTED_EDGE ( 'NONE', *, *, #12675, .T. ) ;
#500 = ADVANCED_FACE ( 'NONE', ( #5148 ), #5147, .T. ) ;
#501 = EDGE_LOOP ( 'NONE', ( #502, #504, #505, #506 ) ) ;
#502 = ORIENTED_EDGE ( 'NONE', *, *, #503, .F. ) ;
#503 = EDGE_CURVE ( 'NONE', #2816, #29, #5141, .T. ) ;
#504 = ORIENTED_EDGE ( 'NONE', *, *, #2815, .T. ) ;
#505 = ORIENTED_EDGE ( 'NONE', *, *, #514, .F. ) ;
#506 = ORIENTED_EDGE ( 'NONE', *, *, #31, .F. ) ;
#507 = ADVANCED_FACE ( 'NONE', ( #5205, #5204 ), #5203, .F. ) ;
#508 = EDGE_LOOP ( 'NONE', ( #509, #485 ) ) ;
#509 = ORIENTED_EDGE ( 'NONE', *, *, #484, .T. ) ;
#510 = ORIENTED_EDGE ( 'NONE', *, *, #511, .F. ) ;
#511 = EDGE_CURVE ( 'NONE', #35, #2718, #5198, .T. ) ;
#512 = ORIENTED_EDGE ( 'NONE', *, *, #34, .T. ) ;
#513 = ORIENTED_EDGE ( 'NONE', *, *, #514, .T. ) ;
#514 = EDGE_CURVE ( 'NONE', #32, #2813, #5194, .T. ) ;
#515 = ORIENTED_EDGE ( 'NONE', *, *, #2720, .F. ) ;
#516 = ADVANCED_FACE ( 'NONE', ( #5190 ), #5189, .F. ) ;
#517 = EDGE_LOOP ( 'NONE', ( #518, #519, #520, #497, #498, #499 ) ) ;
#518 = ORIENTED_EDGE ( 'NONE', *, *, #2773, .T. ) ;
#519 = ORIENTED_EDGE ( 'NONE', *, *, #4078, .T. ) ;
#520 = ORIENTED_EDGE ( 'NONE', *, *, #511, .T. ) ;
#521 = ADVANCED_FACE ( 'NONE', ( #5184 ), #5183, .T. ) ;
#522 = ADVANCED_FACE ( 'NONE', ( #5178 ), #5177, .F. ) ;
#523 = EDGE_LOOP ( 'NONE', ( #524, #525, #576, #578 ) ) ;
#524 = ORIENTED_EDGE ( 'NONE', *, *, #3034, .F. ) ;
#525 = ORIENTED_EDGE ( 'NONE', *, *, #18, .T. ) ;
#526 = ORIENTED_EDGE ( 'NONE', *, *, #557, .T. ) ;
#527 = ADVANCED_FACE ( 'NONE', ( #5176 ), #5237, .T. ) ;
#528 = EDGE_LOOP ( 'NONE', ( #529, #530, #531, #532, #533, #534, #535, #590 ) ) ;
#529 = ORIENTED_EDGE ( 'NONE', *, *, #2841, .F. ) ;
#530 = ORIENTED_EDGE ( 'NONE', *, *, #3742, .F. ) ;
#531 = ORIENTED_EDGE ( 'NONE', *, *, #4102, .F. ) ;
#532 = ORIENTED_EDGE ( 'NONE', *, *, #3745, .F. ) ;
#533 = ORIENTED_EDGE ( 'NONE', *, *, #2835, .F. ) ;
#534 = ORIENTED_EDGE ( 'NONE', *, *, #543, .T. ) ;
#535 = ORIENTED_EDGE ( 'NONE', *, *, #560, .T. ) ;
#536 = ORIENTED_EDGE ( 'NONE', *, *, #537, .T. ) ;
#537 = EDGE_CURVE ( 'NONE', #561, #2829, #5232, .T. ) ;
#538 = ADVANCED_FACE ( 'NONE', ( #5228 ), #5227, .F. ) ;
#539 = EDGE_LOOP ( 'NONE', ( #540, #541, #542 ) ) ;
#540 = ORIENTED_EDGE ( 'NONE', *, *, #2832, .T. ) ;
#541 = ORIENTED_EDGE ( 'NONE', *, *, #537, .F. ) ;
#542 = ORIENTED_EDGE ( 'NONE', *, *, #543, .F. ) ;
#543 = EDGE_CURVE ( 'NONE', #2833, #561, #5222, .T. ) ;
#544 = ADVANCED_FACE ( 'NONE', ( #5218 ), #5217, .F. ) ;
#545 = EDGE_LOOP ( 'NONE', ( #546, #547, #526 ) ) ;
#546 = ORIENTED_EDGE ( 'NONE', *, *, #2758, .T. ) ;
#547 = ORIENTED_EDGE ( 'NONE', *, *, #548, .F. ) ;
#548 = EDGE_CURVE ( 'NONE', #558, #2755, #5212, .T. ) ;
#549 = ORIENTED_EDGE ( 'NONE', *, *, #2782, .T. ) ;
#550 = ORIENTED_EDGE ( 'NONE', *, *, #41, .T. ) ;
#551 = ORIENTED_EDGE ( 'NONE', *, *, #12668, .F. ) ;
#552 = ORIENTED_EDGE ( 'NONE', *, *, #12659, .T. ) ;
#553 = ADVANCED_FACE ( 'NONE', ( #5208 ), #5206, .F. ) ;
#554 = EDGE_LOOP ( 'NONE', ( #555, #556, #559, #536 ) ) ;
#555 = ORIENTED_EDGE ( 'NONE', *, *, #2828, .T. ) ;
#556 = ORIENTED_EDGE ( 'NONE', *, *, #557, .F. ) ;
#557 = EDGE_CURVE ( 'NONE', #558, #2830, #5207, .T. ) ;
#558 = VERTEX_POINT ( 'NONE', #5263 ) ;
#559 = ORIENTED_EDGE ( 'NONE', *, *, #560, .F. ) ;
#560 = EDGE_CURVE ( 'NONE', #561, #558, #5262, .T. ) ;
#561 = VERTEX_POINT ( 'NONE', #5257 ) ;
#562 = ORIENTED_EDGE ( 'NONE', *, *, #3049, .F. ) ;
#563 = ORIENTED_EDGE ( 'NONE', *, *, #564, .F. ) ;
#564 = EDGE_CURVE ( 'NONE', #3002, #3001, #5256, .T. ) ;
#565 = ORIENTED_EDGE ( 'NONE', *, *, #3026, .T. ) ;
#566 = ORIENTED_EDGE ( 'NONE', *, *, #582, .T. ) ;
#567 = ADVANCED_FACE ( 'NONE', ( #5251, #5250 ), #5249, .T. ) ;
#568 = EDGE_LOOP ( 'NONE', ( #569, #570 ) ) ;
#569 = ORIENTED_EDGE ( 'NONE', *, *, #2767, .T. ) ;
#570 = ORIENTED_EDGE ( 'NONE', *, *, #12, .T. ) ;
#571 = EDGE_LOOP ( 'NONE', ( #572, #573 ) ) ;
#572 = ORIENTED_EDGE ( 'NONE', *, *, #564, .T. ) ;
#573 = ORIENTED_EDGE ( 'NONE', *, *, #3000, .T. ) ;
#574 = ADVANCED_FACE ( 'NONE', ( #5244 ), #5243, .T. ) ;
#575 = EDGE_LOOP ( 'NONE', ( #624, #626 ) ) ;
#576 = ORIENTED_EDGE ( 'NONE', *, *, #577, .T. ) ;
#577 = EDGE_CURVE ( 'NONE', #16, #2994, #5238, .T. ) ;
#578 = ORIENTED_EDGE ( 'NONE', *, *, #2993, .T. ) ;
#579 = ADVANCED_FACE ( 'NONE', ( #5304, #5299 ), #5298, .T. ) ;
#580 = EDGE_LOOP ( 'NONE', ( #581, #583 ) ) ;
#581 = ORIENTED_EDGE ( 'NONE', *, *, #582, .F. ) ;
#582 = EDGE_CURVE ( 'NONE', #3024, #3005, #5293, .T. ) ;
#583 = ORIENTED_EDGE ( 'NONE', *, *, #3023, .F. ) ;
#584 = EDGE_LOOP ( 'NONE', ( #585, #586 ) ) ;
#585 = ORIENTED_EDGE ( 'NONE', *, *, #4383, .T. ) ;
#586 = ORIENTED_EDGE ( 'NONE', *, *, #1467, .T. ) ;
#587 = ADVANCED_FACE ( 'NONE', ( #5288 ), #5287, .F. ) ;
#588 = EDGE_LOOP ( 'NONE', ( #589, #563, #565, #566 ) ) ;
#589 = ORIENTED_EDGE ( 'NONE', *, *, #3004, .F. ) ;
#590 = ORIENTED_EDGE ( 'NONE', *, *, #548, .T. ) ;
#591 = ADVANCED_FACE ( 'NONE', ( #5281 ), #5280, .F. ) ;
#592 = EDGE_LOOP ( 'NONE', ( #593, #594, #595, #596 ) ) ;
#593 = ORIENTED_EDGE ( 'NONE', *, *, #2979, .F. ) ;
#594 = ORIENTED_EDGE ( 'NONE', *, *, #494, .F. ) ;
#595 = ORIENTED_EDGE ( 'NONE', *, *, #2787, .T. ) ;
#596 = ORIENTED_EDGE ( 'NONE', *, *, #597, .T. ) ;
#597 = EDGE_CURVE ( 'NONE', #2983, #2980, #5274, .T. ) ;
#598 = ADVANCED_FACE ( 'NONE', ( #5275 ), #5333, .F. ) ;
#599 = EDGE_CURVE ( 'NONE', #2341, #4103, #5332, .T. ) ;
#600 = VERTEX_POINT ( 'NONE', #5324 ) ;
#601 = CLOSED_SHELL ( 'NONE', ( #574, #627, #3060, #612, #522, #3027, #49, #500, #567, #12672, #507, #20, #2825, #516, #2788, #2997, #587, #616, #3077, #12684, #491, #38, #553, #544, #527, #6418, #3674, #538, #521, #579, #623, #2972, #591, #3738, #4112, #4399, #1480, #3857, #4044, #1468, #4104, #3687, #3723, #1330, #4387, #608, #3867, #3718, #3803, #3772, #3782, #3763, #3496, #3874, #3509, #3488, #3479, #1533, #4332, #1395, #1594, #3100, #1632, #1600, #3118, #1549, #1288, #1573, #1604, #1492, #1611, #1642, #1637, #1560, #1512, #1542, #3651, #1420, #1647, #3170, #1516, #1486, #1474, #1418, #1527, #1582, #3143, #3210, #1312, #4245, #1508, #3970, #4182, #689, #124, #1277, #6, #1265, #86, #1556, #1569, #1233, #3448, #459, #3545, #83, #476, #1256, #1523, #367, #406, #385, #334, #433, #360, #4223, #3390, #3912, #4055, #3823, #4008, #3422, #4364, #66, #162, #466, #798, #94, #157, #3465, #423, #3522, #449, #151, #394, #440, #402, #342, #4318, #3423, #3964, #3809, #3593, #4122, #3373, #683, #74, #413, #302, #1137, #4088, #289, #3317, #3268, #373, #726, #326, #3248, #958, #404, #259, #1020, #3474, #4171, #3837, #3960, #4285, #145, #792, #353, #311, #1146, #1227, #185, #884, #139, #319, #3325, #3218, #819, #134, #1085, #274, #3185, #1045, #128, #1108, #3605, #3616, #3564, #3574, #3557, #3624, #4213, #4262, #4230, #4248, #4271, #4280, #3989, #3918, #3887, #3952, #3895, #3903, #4131, #4138, #3998, #4147, #4065, #4073, #709, #666, #4346, #656, #642, #648, #55, #113, #2522, #1087, #121, #676, #908, #104, #970, #3594, #3653, #3612, #3664, #3659, #3598, #3402, #4254, #3981, #3927, #3756, #4195, #701, #3358, #2920, #2514, #3050, #2206, #2258, #2783, #2245, #3197, #3162, #2271, #1171, #1132, #1196, #1237, #1188, #1179, #770, #720, #785, #828, #834, #762, #973, #997, #927, #937, #988, #953, #1054, #1079, #1063, #1117, #1123, #1071, #598, #3643, #2318, #163, #2266, #2281, #2253, #1243, #187, #811, #3339, #3292, #979, #3252, #1100, #1994, #1951, #1766, #2586, #2114, #2681, #2118, #2646, #1851, #1819, #1958, #1904, #2531, #2214, #2287, #2742, #2667, #1696, #1827, #2047, #2161, #1785, #2084, #1914, #2348, #1802, #1864, #2613, #1750, #2734, #2338, #2125, #2640, #2001, #2012, #2651, #2658, #1680, #2747, #1976, #1666, #2688, #1907, #2754, #1940, #2625, #2620, #2038, #2603, #1663, #2106, #2610, #1730, #2159, #2143, #2714, #2239, #2697, #2707, #1845, #240, #1617, #168, #1837, #268, #2598, #2632, #1713, #2570, #2170, #2282, #287, #2727, #175, #2580, #2591, #1682, #1870, #2303, #2357, #2484, #2957, #2562, #2808, #2453, #2542, #2525, #2866, #2419, #2924, #2601, #2413, #3010, #2880, #2464, #2371, #2940, #2365, #2428, #2436, #2951, #2479, #2384 ) ) ;
#602 = EDGE_LOOP ( 'NONE', ( #603, #604 ) ) ;
#603 = ORIENTED_EDGE ( 'NONE', *, *, #622, .F. ) ;
#604 = ORIENTED_EDGE ( 'NONE', *, *, #3057, .F. ) ;
#605 = EDGE_LOOP ( 'NONE', ( #606, #607 ) ) ;
#606 = ORIENTED_EDGE ( 'NONE', *, *, #597, .F. ) ;
#607 = ORIENTED_EDGE ( 'NONE', *, *, #2982, .F. ) ;
#608 = ADVANCED_FACE ( 'NONE', ( #5323 ), #5322, .F. ) ;
#609 = EDGE_LOOP ( 'NONE', ( #610, #611 ) ) ;
#610 = ORIENTED_EDGE ( 'NONE', *, *, #3673, .F. ) ;
#611 = ORIENTED_EDGE ( 'NONE', *, *, #4097, .F. ) ;
#612 = ADVANCED_FACE ( 'NONE', ( #5321 ), #5314, .T. ) ;
#613 = EDGE_LOOP ( 'NONE', ( #614, #615 ) ) ;
#614 = ORIENTED_EDGE ( 'NONE', *, *, #634, .T. ) ;
#615 = ORIENTED_EDGE ( 'NONE', *, *, #15, .T. ) ;
#616 = ADVANCED_FACE ( 'NONE', ( #5310 ), #5309, .T. ) ;
#617 = EDGE_LOOP ( 'NONE', ( #618, #619, #620, #621 ) ) ;
#618 = ORIENTED_EDGE ( 'NONE', *, *, #3085, .F. ) ;
#619 = ORIENTED_EDGE ( 'NONE', *, *, #484, .F. ) ;
#620 = ORIENTED_EDGE ( 'NONE', *, *, #3059, .T. ) ;
#621 = ORIENTED_EDGE ( 'NONE', *, *, #622, .T. ) ;
#622 = EDGE_CURVE ( 'NONE', #3088, #3086, #5308, .T. ) ;
#623 = ADVANCED_FACE ( 'NONE', ( #5358, #5357 ), #5356, .F. ) ;
#624 = ORIENTED_EDGE ( 'NONE', *, *, #625, .T. ) ;
#625 = EDGE_CURVE ( 'NONE', #3065, #3064, #5351, .T. ) ;
#626 = ORIENTED_EDGE ( 'NONE', *, *, #3063, .T. ) ;
#627 = ADVANCED_FACE ( 'NONE', ( #5346 ), #5345, .T. ) ;
#628 = EDGE_LOOP ( 'NONE', ( #629, #630, #631, #632, #633, #562 ) ) ;
#629 = ORIENTED_EDGE ( 'NONE', *, *, #3067, .F. ) ;
#630 = ORIENTED_EDGE ( 'NONE', *, *, #625, .F. ) ;
#631 = ORIENTED_EDGE ( 'NONE', *, *, #2996, .T. ) ;
#632 = ORIENTED_EDGE ( 'NONE', *, *, #577, .F. ) ;
#633 = ORIENTED_EDGE ( 'NONE', *, *, #634, .F. ) ;
#634 = EDGE_CURVE ( 'NONE', #3031, #16, #5344, .T. ) ;
#635 = ORIENTED_EDGE ( 'NONE', *, *, #636, .T. ) ;
#636 = EDGE_CURVE ( 'NONE', #652, #3365, #5335, .T. ) ;
#637 = ORIENTED_EDGE ( 'NONE', *, *, #3414, .T. ) ;
#638 = ORIENTED_EDGE ( 'NONE', *, *, #639, .T. ) ;
#639 = EDGE_CURVE ( 'NONE', #3354, #4294, #5334, .T. ) ;
#640 = ORIENTED_EDGE ( 'NONE', *, *, #4363, .T. ) ;
#641 = ORIENTED_EDGE ( 'NONE', *, *, #654, .F. ) ;
#642 = ADVANCED_FACE ( 'NONE', ( #5380 ), #5379, .F. ) ;
#643 = EDGE_LOOP ( 'NONE', ( #697, #698, #699, #700 ) ) ;
#644 = ORIENTED_EDGE ( 'NONE', *, *, #645, .T. ) ;
#645 = EDGE_CURVE ( 'NONE', #670, #4358, #5374, .T. ) ;
#646 = ORIENTED_EDGE ( 'NONE', *, *, #4357, .T. ) ;
#647 = ORIENTED_EDGE ( 'NONE', *, *, #663, .F. ) ;
#648 = ADVANCED_FACE ( 'NONE', ( #5370 ), #5369, .F. ) ;
#649 = EDGE_LOOP ( 'NONE', ( #650, #653, #655, #708 ) ) ;
#650 = ORIENTED_EDGE ( 'NONE', *, *, #651, .T. ) ;
#651 = EDGE_CURVE ( 'NONE', #670, #652, #5363, .T. ) ;
#652 = VERTEX_POINT ( 'NONE', #5364 ) ;
#653 = ORIENTED_EDGE ( 'NONE', *, *, #654, .T. ) ;
#654 = EDGE_CURVE ( 'NONE', #652, #4361, #5416, .T. ) ;
#655 = ORIENTED_EDGE ( 'NONE', *, *, #4360, .T. ) ;
#656 = ADVANCED_FACE ( 'NONE', ( #5412 ), #5411, .F. ) ;
#657 = EDGE_LOOP ( 'NONE', ( #658, #659, #662, #664, #665 ) ) ;
#658 = ORIENTED_EDGE ( 'NONE', *, *, #3413, .T. ) ;
#659 = ORIENTED_EDGE ( 'NONE', *, *, #660, .T. ) ;
#660 = EDGE_CURVE ( 'NONE', #3366, #661, #5406, .T. ) ;
#661 = VERTEX_POINT ( 'NONE', #5405 ) ;
#662 = ORIENTED_EDGE ( 'NONE', *, *, #663, .T. ) ;
#663 = EDGE_CURVE ( 'NONE', #661, #4298, #5398, .T. ) ;
#664 = ORIENTED_EDGE ( 'NONE', *, *, #4355, .T. ) ;
#665 = ORIENTED_EDGE ( 'NONE', *, *, #4350, .F. ) ;
#666 = ADVANCED_FACE ( 'NONE', ( #5394 ), #5392, .F. ) ;
#667 = EDGE_LOOP ( 'NONE', ( #668, #644, #646, #647 ) ) ;
#668 = ORIENTED_EDGE ( 'NONE', *, *, #669, .T. ) ;
#669 = EDGE_CURVE ( 'NONE', #661, #670, #5451, .T. ) ;
#670 = VERTEX_POINT ( 'NONE', #5450 ) ;
#671 = ORIENTED_EDGE ( 'NONE', *, *, #2211, .F. ) ;
#672 = EDGE_LOOP ( 'NONE', ( #671, #2208, #3454, #3457, #3460, #3463 ) ) ;
#673 = EDGE_LOOP ( 'NONE', ( #674, #675 ) ) ;
#674 = ORIENTED_EDGE ( 'NONE', *, *, #3350, .F. ) ;
#675 = ORIENTED_EDGE ( 'NONE', *, *, #4284, .F. ) ;
#676 = ADVANCED_FACE ( 'NONE', ( #5449, #5448 ), #5447, .F. ) ;
#677 = EDGE_LOOP ( 'NONE', ( #678, #680 ) ) ;
#678 = ORIENTED_EDGE ( 'NONE', *, *, #679, .T. ) ;
#679 = EDGE_CURVE ( 'NONE', #3327, #3328, #5435, .T. ) ;
#680 = ORIENTED_EDGE ( 'NONE', *, *, #3326, .T. ) ;
#681 = EDGE_LOOP ( 'NONE', ( #736, #740, #743, #746, #749, #724 ) ) ;
#682 = ORIENTED_EDGE ( 'NONE', *, *, #660, .F. ) ;
#683 = ADVANCED_FACE ( 'NONE', ( #5431 ), #5430, .T. ) ;
#684 = EDGE_LOOP ( 'NONE', ( #685, #686, #687, #688 ) ) ;
#685 = ORIENTED_EDGE ( 'NONE', *, *, #3383, .F. ) ;
#686 = ORIENTED_EDGE ( 'NONE', *, *, #4288, .F. ) ;
#687 = ORIENTED_EDGE ( 'NONE', *, *, #3367, .T. ) ;
#688 = ORIENTED_EDGE ( 'NONE', *, *, #4345, .F. ) ;
#689 = ADVANCED_FACE ( 'NONE', ( #5429, #5424 ), #5423, .T. ) ;
#690 = EDGE_LOOP ( 'NONE', ( #691, #694, #751, #753 ) ) ;
#691 = ORIENTED_EDGE ( 'NONE', *, *, #692, .T. ) ;
#692 = EDGE_CURVE ( 'NONE', #3709, #693, #5480, .T. ) ;
#693 = VERTEX_POINT ( 'NONE', #5476 ) ;
#694 = ORIENTED_EDGE ( 'NONE', *, *, #695, .T. ) ;
#695 = EDGE_CURVE ( 'NONE', #693, #696, #5475, .T. ) ;
#696 = VERTEX_POINT ( 'NONE', #5470 ) ;
#697 = ORIENTED_EDGE ( 'NONE', *, *, #3410, .T. ) ;
#698 = ORIENTED_EDGE ( 'NONE', *, *, #4353, .T. ) ;
#699 = ORIENTED_EDGE ( 'NONE', *, *, #4292, .T. ) ;
#700 = ORIENTED_EDGE ( 'NONE', *, *, #639, .F. ) ;
#701 = ADVANCED_FACE ( 'NONE', ( #5469 ), #5468, .F. ) ;
#702 = EDGE_LOOP ( 'NONE', ( #703, #704, #705, #706, #707, #682 ) ) ;
#703 = ORIENTED_EDGE ( 'NONE', *, *, #3360, .F. ) ;
#704 = ORIENTED_EDGE ( 'NONE', *, *, #3372, .T. ) ;
#705 = ORIENTED_EDGE ( 'NONE', *, *, #636, .F. ) ;
#706 = ORIENTED_EDGE ( 'NONE', *, *, #651, .F. ) ;
#707 = ORIENTED_EDGE ( 'NONE', *, *, #669, .F. ) ;
#708 = ORIENTED_EDGE ( 'NONE', *, *, #645, .F. ) ;
#709 = ADVANCED_FACE ( 'NONE', ( #5462 ), #5467, .F. ) ;
#710 = EDGE_LOOP ( 'NONE', ( #635, #637, #638, #640, #641 ) ) ;
#711 = ORIENTED_EDGE ( 'NONE', *, *, #712, .T. ) ;
#712 = EDGE_CURVE ( 'NONE', #3307, #713, #5457, .T. ) ;
#713 = VERTEX_POINT ( 'NONE', #5453 ) ;
#714 = ORIENTED_EDGE ( 'NONE', *, *, #715, .T. ) ;
#715 = EDGE_CURVE ( 'NONE', #713, #716, #5517, .T. ) ;
#716 = VERTEX_POINT ( 'NONE', #5512 ) ;
#717 = ORIENTED_EDGE ( 'NONE', *, *, #718, .T. ) ;
#718 = EDGE_CURVE ( 'NONE', #716, #731, #5511, .T. ) ;
#719 = ORIENTED_EDGE ( 'NONE', *, *, #730, .F. ) ;
#720 = ADVANCED_FACE ( 'NONE', ( #5507 ), #5506, .F. ) ;
#721 = EDGE_LOOP ( 'NONE', ( #779, #780, #782, #783 ) ) ;
#722 = ORIENTED_EDGE ( 'NONE', *, *, #1255, .F. ) ;
#723 = VERTEX_POINT ( 'NONE', #5501 ) ;
#724 = ORIENTED_EDGE ( 'NONE', *, *, #725, .F. ) ;
#725 = EDGE_CURVE ( 'NONE', #739, #723, #5500, .T. ) ;
#726 = ADVANCED_FACE ( 'NONE', ( #5496 ), #5494, .T. ) ;
#727 = EDGE_LOOP ( 'NONE', ( #728, #729, #732, #734, #735 ) ) ;
#728 = ORIENTED_EDGE ( 'NONE', *, *, #3304, .F. ) ;
#729 = ORIENTED_EDGE ( 'NONE', *, *, #730, .T. ) ;
#730 = EDGE_CURVE ( 'NONE', #3309, #731, #5489, .T. ) ;
#731 = VERTEX_POINT ( 'NONE', #5485 ) ;
#732 = ORIENTED_EDGE ( 'NONE', *, *, #733, .F. ) ;
#733 = EDGE_CURVE ( 'NONE', #3378, #731, #5548, .T. ) ;
#734 = ORIENTED_EDGE ( 'NONE', *, *, #3361, .T. ) ;
#735 = ORIENTED_EDGE ( 'NONE', *, *, #791, .T. ) ;
#736 = ORIENTED_EDGE ( 'NONE', *, *, #737, .F. ) ;
#737 = EDGE_CURVE ( 'NONE', #738, #739, #5543, .T. ) ;
#738 = VERTEX_POINT ( 'NONE', #5539 ) ;
#739 = VERTEX_POINT ( 'NONE', #5538 ) ;
#740 = ORIENTED_EDGE ( 'NONE', *, *, #741, .F. ) ;
#741 = EDGE_CURVE ( 'NONE', #742, #738, #5537, .T. ) ;
#742 = VERTEX_POINT ( 'NONE', #5533 ) ;
#743 = ORIENTED_EDGE ( 'NONE', *, *, #744, .F. ) ;
#744 = EDGE_CURVE ( 'NONE', #745, #742, #5532, .T. ) ;
#745 = VERTEX_POINT ( 'NONE', #5528 ) ;
#746 = ORIENTED_EDGE ( 'NONE', *, *, #747, .F. ) ;
#747 = EDGE_CURVE ( 'NONE', #748, #745, #5527, .T. ) ;
#748 = VERTEX_POINT ( 'NONE', #5523 ) ;
#749 = ORIENTED_EDGE ( 'NONE', *, *, #750, .F. ) ;
#750 = EDGE_CURVE ( 'NONE', #723, #748, #5522, .T. ) ;
#751 = ORIENTED_EDGE ( 'NONE', *, *, #752, .T. ) ;
#752 = EDGE_CURVE ( 'NONE', #696, #3631, #5518, .T. ) ;
#753 = ORIENTED_EDGE ( 'NONE', *, *, #3630, .T. ) ;
#754 = EDGE_LOOP ( 'NONE', ( #755, #758, #760, #761 ) ) ;
#755 = ORIENTED_EDGE ( 'NONE', *, *, #756, .T. ) ;
#756 = EDGE_CURVE ( 'NONE', #774, #757, #5571, .T. ) ;
#757 = VERTEX_POINT ( 'NONE', #5570 ) ;
#758 = ORIENTED_EDGE ( 'NONE', *, *, #759, .T. ) ;
#759 = EDGE_CURVE ( 'NONE', #757, #723, #5569, .T. ) ;
#760 = ORIENTED_EDGE ( 'NONE', *, *, #750, .T. ) ;
#761 = ORIENTED_EDGE ( 'NONE', *, *, #776, .F. ) ;
#762 = ADVANCED_FACE ( 'NONE', ( #5557 ), #5556, .F. ) ;
#763 = EDGE_LOOP ( 'NONE', ( #764, #823, #824, #826, #827 ) ) ;
#764 = ORIENTED_EDGE ( 'NONE', *, *, #765, .T. ) ;
#765 = EDGE_CURVE ( 'NONE', #757, #3331, #5551, .T. ) ;
#766 = ORIENTED_EDGE ( 'NONE', *, *, #767, .T. ) ;
#767 = EDGE_CURVE ( 'NONE', #790, #745, #5602, .T. ) ;
#768 = ORIENTED_EDGE ( 'NONE', *, *, #744, .T. ) ;
#769 = ORIENTED_EDGE ( 'NONE', *, *, #781, .F. ) ;
#770 = ADVANCED_FACE ( 'NONE', ( #5598 ), #5597, .F. ) ;
#771 = EDGE_LOOP ( 'NONE', ( #772, #775, #777, #778 ) ) ;
#772 = ORIENTED_EDGE ( 'NONE', *, *, #773, .T. ) ;
#773 = EDGE_CURVE ( 'NONE', #790, #774, #5592, .T. ) ;
#774 = VERTEX_POINT ( 'NONE', #5591 ) ;
#775 = ORIENTED_EDGE ( 'NONE', *, *, #776, .T. ) ;
#776 = EDGE_CURVE ( 'NONE', #774, #748, #5590, .T. ) ;
#777 = ORIENTED_EDGE ( 'NONE', *, *, #747, .T. ) ;
#778 = ORIENTED_EDGE ( 'NONE', *, *, #767, .F. ) ;
#779 = ORIENTED_EDGE ( 'NONE', *, *, #3388, .T. ) ;
#780 = ORIENTED_EDGE ( 'NONE', *, *, #781, .T. ) ;
#781 = EDGE_CURVE ( 'NONE', #3313, #742, #5578, .T. ) ;
#782 = ORIENTED_EDGE ( 'NONE', *, *, #741, .T. ) ;
#783 = ORIENTED_EDGE ( 'NONE', *, *, #784, .F. ) ;
#784 = EDGE_CURVE ( 'NONE', #3320, #738, #5636, .T. ) ;
#785 = ADVANCED_FACE ( 'NONE', ( #5632 ), #5631, .F. ) ;
#786 = EDGE_LOOP ( 'NONE', ( #787, #788, #766, #768, #769 ) ) ;
#787 = ORIENTED_EDGE ( 'NONE', *, *, #3322, .T. ) ;
#788 = ORIENTED_EDGE ( 'NONE', *, *, #789, .T. ) ;
#789 = EDGE_CURVE ( 'NONE', #3315, #790, #5626, .T. ) ;
#790 = VERTEX_POINT ( 'NONE', #5625 ) ;
#791 = EDGE_CURVE ( 'NONE', #3262, #3343, #5617, .T. ) ;
#792 = ADVANCED_FACE ( 'NONE', ( #5618 ), #5612, .F. ) ;
#793 = EDGE_LOOP ( 'NONE', ( #794, #711, #714, #717, #719 ) ) ;
#794 = ORIENTED_EDGE ( 'NONE', *, *, #3306, .F. ) ;
#795 = VERTEX_POINT ( 'NONE', #5607 ) ;
#796 = ORIENTED_EDGE ( 'NONE', *, *, #3338, .T. ) ;
#797 = ORIENTED_EDGE ( 'NONE', *, *, #791, .F. ) ;
#798 = ADVANCED_FACE ( 'NONE', ( #5671, #5670 ), #5669, .F. ) ;
#799 = EDGE_LOOP ( 'NONE', ( #800, #804, #807, #869, #871, #874, #877, #880, #854, #857, #860, #863, #866, #840, #843, #846 ) ) ;
#800 = ORIENTED_EDGE ( 'NONE', *, *, #801, .F. ) ;
#801 = EDGE_CURVE ( 'NONE', #802, #803, #5663, .T. ) ;
#802 = VERTEX_POINT ( 'NONE', #5659 ) ;
#803 = VERTEX_POINT ( 'NONE', #5658 ) ;
#804 = ORIENTED_EDGE ( 'NONE', *, *, #805, .T. ) ;
#805 = EDGE_CURVE ( 'NONE', #802, #806, #5657, .T. ) ;
#806 = VERTEX_POINT ( 'NONE', #5652 ) ;
#807 = ORIENTED_EDGE ( 'NONE', *, *, #808, .F. ) ;
#808 = EDGE_CURVE ( 'NONE', #809, #806, #5651, .T. ) ;
#809 = VERTEX_POINT ( 'NONE', #5646 ) ;
#810 = VERTEX_POINT ( 'NONE', #5645 ) ;
#811 = ADVANCED_FACE ( 'NONE', ( #5644 ), #5640, .F. ) ;
#812 = EDGE_LOOP ( 'NONE', ( #813, #814, #815, #816, #817, #818 ) ) ;
#813 = ORIENTED_EDGE ( 'NONE', *, *, #3314, .F. ) ;
#814 = ORIENTED_EDGE ( 'NONE', *, *, #3340, .T. ) ;
#815 = ORIENTED_EDGE ( 'NONE', *, *, #765, .F. ) ;
#816 = ORIENTED_EDGE ( 'NONE', *, *, #756, .F. ) ;
#817 = ORIENTED_EDGE ( 'NONE', *, *, #773, .F. ) ;
#818 = ORIENTED_EDGE ( 'NONE', *, *, #789, .F. ) ;
#819 = ADVANCED_FACE ( 'NONE', ( #5704 ), #5703, .T. ) ;
#820 = EDGE_LOOP ( 'NONE', ( #821, #822, #796, #797 ) ) ;
#821 = ORIENTED_EDGE ( 'NONE', *, *, #3330, .F. ) ;
#822 = ORIENTED_EDGE ( 'NONE', *, *, #679, .F. ) ;
#823 = ORIENTED_EDGE ( 'NONE', *, *, #3387, .T. ) ;
#824 = ORIENTED_EDGE ( 'NONE', *, *, #825, .T. ) ;
#825 = EDGE_CURVE ( 'NONE', #3311, #739, #5701, .T. ) ;
#826 = ORIENTED_EDGE ( 'NONE', *, *, #725, .T. ) ;
#827 = ORIENTED_EDGE ( 'NONE', *, *, #759, .F. ) ;
#828 = ADVANCED_FACE ( 'NONE', ( #5694 ), #5693, .F. ) ;
#829 = EDGE_LOOP ( 'NONE', ( #830, #831, #832, #833 ) ) ;
#830 = ORIENTED_EDGE ( 'NONE', *, *, #3310, .T. ) ;
#831 = ORIENTED_EDGE ( 'NONE', *, *, #784, .T. ) ;
#832 = ORIENTED_EDGE ( 'NONE', *, *, #737, .T. ) ;
#833 = ORIENTED_EDGE ( 'NONE', *, *, #825, .F. ) ;
#834 = ADVANCED_FACE ( 'NONE', ( #5688 ), #5687, .F. ) ;
#835 = EDGE_CURVE ( 'NONE', #3279, #836, #5682, .T. ) ;
#836 = VERTEX_POINT ( 'NONE', #5678 ) ;
#837 = ORIENTED_EDGE ( 'NONE', *, *, #838, .F. ) ;
#838 = EDGE_CURVE ( 'NONE', #3234, #836, #5676, .T. ) ;
#839 = ORIENTED_EDGE ( 'NONE', *, *, #3221, .F. ) ;
#840 = ORIENTED_EDGE ( 'NONE', *, *, #841, .T. ) ;
#841 = EDGE_CURVE ( 'NONE', #868, #842, #5733, .T. ) ;
#842 = VERTEX_POINT ( 'NONE', #5729 ) ;
#843 = ORIENTED_EDGE ( 'NONE', *, *, #844, .F. ) ;
#844 = EDGE_CURVE ( 'NONE', #845, #842, #5728, .T. ) ;
#845 = VERTEX_POINT ( 'NONE', #5723 ) ;
#846 = ORIENTED_EDGE ( 'NONE', *, *, #847, .T. ) ;
#847 = EDGE_CURVE ( 'NONE', #845, #803, #5722, .T. ) ;
#848 = EDGE_LOOP ( 'NONE', ( #849, #852, #853, #918, #921, #923, #924, #837, #839, #903, #905, #906 ) ) ;
#849 = ORIENTED_EDGE ( 'NONE', *, *, #850, .T. ) ;
#850 = EDGE_CURVE ( 'NONE', #851, #3307, #5718, .T. ) ;
#851 = VERTEX_POINT ( 'NONE', #5714 ) ;
#852 = ORIENTED_EDGE ( 'NONE', *, *, #3377, .T. ) ;
#853 = ORIENTED_EDGE ( 'NONE', *, *, #733, .T. ) ;
#854 = ORIENTED_EDGE ( 'NONE', *, *, #855, .F. ) ;
#855 = EDGE_CURVE ( 'NONE', #856, #795, #5713, .T. ) ;
#856 = VERTEX_POINT ( 'NONE', #5708 ) ;
#857 = ORIENTED_EDGE ( 'NONE', *, *, #858, .T. ) ;
#858 = EDGE_CURVE ( 'NONE', #856, #859, #5707, .T. ) ;
#859 = VERTEX_POINT ( 'NONE', #5762 ) ;
#860 = ORIENTED_EDGE ( 'NONE', *, *, #861, .F. ) ;
#861 = EDGE_CURVE ( 'NONE', #862, #859, #5761, .T. ) ;
#862 = VERTEX_POINT ( 'NONE', #5756 ) ;
#863 = ORIENTED_EDGE ( 'NONE', *, *, #864, .T. ) ;
#864 = EDGE_CURVE ( 'NONE', #862, #865, #5755, .T. ) ;
#865 = VERTEX_POINT ( 'NONE', #5751 ) ;
#866 = ORIENTED_EDGE ( 'NONE', *, *, #867, .F. ) ;
#867 = EDGE_CURVE ( 'NONE', #868, #865, #5750, .T. ) ;
#868 = VERTEX_POINT ( 'NONE', #5745 ) ;
#869 = ORIENTED_EDGE ( 'NONE', *, *, #870, .T. ) ;
#870 = EDGE_CURVE ( 'NONE', #809, #810, #5744, .T. ) ;
#871 = ORIENTED_EDGE ( 'NONE', *, *, #872, .F. ) ;
#872 = EDGE_CURVE ( 'NONE', #873, #810, #5740, .T. ) ;
#873 = VERTEX_POINT ( 'NONE', #5735 ) ;
#874 = ORIENTED_EDGE ( 'NONE', *, *, #875, .T. ) ;
#875 = EDGE_CURVE ( 'NONE', #873, #876, #5734, .T. ) ;
#876 = VERTEX_POINT ( 'NONE', #5792 ) ;
#877 = ORIENTED_EDGE ( 'NONE', *, *, #878, .F. ) ;
#878 = EDGE_CURVE ( 'NONE', #879, #876, #5791, .T. ) ;
#879 = VERTEX_POINT ( 'NONE', #5786 ) ;
#880 = ORIENTED_EDGE ( 'NONE', *, *, #881, .T. ) ;
#881 = EDGE_CURVE ( 'NONE', #879, #795, #5785, .T. ) ;
#882 = ORIENTED_EDGE ( 'NONE', *, *, #883, .T. ) ;
#883 = EDGE_CURVE ( 'NONE', #3297, #3287, #5781, .T. ) ;
#884 = ADVANCED_FACE ( 'NONE', ( #5776 ), #5775, .F. ) ;
#885 = EDGE_LOOP ( 'NONE', ( #886, #947, #949, #950, #951 ) ) ;
#886 = ORIENTED_EDGE ( 'NONE', *, *, #887, .T. ) ;
#887 = EDGE_CURVE ( 'NONE', #888, #946, #5770, .T. ) ;
#888 = VERTEX_POINT ( 'NONE', #5765 ) ;
#889 = ORIENTED_EDGE ( 'NONE', *, *, #890, .F. ) ;
#890 = EDGE_CURVE ( 'NONE', #891, #916, #5826, .T. ) ;
#891 = VERTEX_POINT ( 'NONE', #5822 ) ;
#892 = ORIENTED_EDGE ( 'NONE', *, *, #893, .F. ) ;
#893 = EDGE_CURVE ( 'NONE', #894, #891, #5821, .T. ) ;
#894 = VERTEX_POINT ( 'NONE', #5817 ) ;
#895 = ORIENTED_EDGE ( 'NONE', *, *, #896, .F. ) ;
#896 = EDGE_CURVE ( 'NONE', #897, #894, #5816, .T. ) ;
#897 = VERTEX_POINT ( 'NONE', #5812 ) ;
#898 = ORIENTED_EDGE ( 'NONE', *, *, #899, .F. ) ;
#899 = EDGE_CURVE ( 'NONE', #900, #897, #5811, .T. ) ;
#900 = VERTEX_POINT ( 'NONE', #5807 ) ;
#901 = ORIENTED_EDGE ( 'NONE', *, *, #902, .F. ) ;
#902 = EDGE_CURVE ( 'NONE', #917, #900, #5806, .T. ) ;
#903 = ORIENTED_EDGE ( 'NONE', *, *, #904, .T. ) ;
#904 = EDGE_CURVE ( 'NONE', #3222, #4161, #5802, .T. ) ;
#905 = ORIENTED_EDGE ( 'NONE', *, *, #3184, .T. ) ;
#906 = ORIENTED_EDGE ( 'NONE', *, *, #907, .T. ) ;
#907 = EDGE_CURVE ( 'NONE', #3189, #851, #5798, .T. ) ;
#908 = ADVANCED_FACE ( 'NONE', ( #5855, #5854 ), #5853, .F. ) ;
#909 = EDGE_LOOP ( 'NONE', ( #910, #912 ) ) ;
#910 = ORIENTED_EDGE ( 'NONE', *, *, #911, .T. ) ;
#911 = EDGE_CURVE ( 'NONE', #3293, #3299, #5848, .T. ) ;
#912 = ORIENTED_EDGE ( 'NONE', *, *, #3294, .T. ) ;
#913 = EDGE_LOOP ( 'NONE', ( #914, #889, #892, #895, #898, #901 ) ) ;
#914 = ORIENTED_EDGE ( 'NONE', *, *, #915, .F. ) ;
#915 = EDGE_CURVE ( 'NONE', #916, #917, #5843, .T. ) ;
#916 = VERTEX_POINT ( 'NONE', #5839 ) ;
#917 = VERTEX_POINT ( 'NONE', #5838 ) ;
#918 = ORIENTED_EDGE ( 'NONE', *, *, #919, .T. ) ;
#919 = EDGE_CURVE ( 'NONE', #731, #920, #5837, .T. ) ;
#920 = VERTEX_POINT ( 'NONE', #5833 ) ;
#921 = ORIENTED_EDGE ( 'NONE', *, *, #922, .F. ) ;
#922 = EDGE_CURVE ( 'NONE', #3280, #920, #5832, .T. ) ;
#923 = ORIENTED_EDGE ( 'NONE', *, *, #3270, .F. ) ;
#924 = ORIENTED_EDGE ( 'NONE', *, *, #835, .T. ) ;
#925 = ORIENTED_EDGE ( 'NONE', *, *, #896, .T. ) ;
#926 = ORIENTED_EDGE ( 'NONE', *, *, #944, .F. ) ;
#927 = ADVANCED_FACE ( 'NONE', ( #5827 ), #5886, .F. ) ;
#928 = EDGE_LOOP ( 'NONE', ( #929, #984, #986, #987 ) ) ;
#929 = ORIENTED_EDGE ( 'NONE', *, *, #930, .T. ) ;
#930 = EDGE_CURVE ( 'NONE', #1001, #931, #5880, .T. ) ;
#931 = VERTEX_POINT ( 'NONE', #5879 ) ;
#932 = VERTEX_POINT ( 'NONE', #5881 ) ;
#933 = ORIENTED_EDGE ( 'NONE', *, *, #1685, .T. ) ;
#934 = ORIENTED_EDGE ( 'NONE', *, *, #890, .T. ) ;
#935 = ORIENTED_EDGE ( 'NONE', *, *, #936, .F. ) ;
#936 = EDGE_CURVE ( 'NONE', #3283, #916, #5870, .T. ) ;
#937 = ADVANCED_FACE ( 'NONE', ( #5866 ), #5865, .F. ) ;
#938 = EDGE_LOOP ( 'NONE', ( #939, #940, #943, #945, #996 ) ) ;
#939 = ORIENTED_EDGE ( 'NONE', *, *, #3271, .T. ) ;
#940 = ORIENTED_EDGE ( 'NONE', *, *, #941, .T. ) ;
#941 = EDGE_CURVE ( 'NONE', #3273, #942, #5860, .T. ) ;
#942 = VERTEX_POINT ( 'NONE', #5859 ) ;
#943 = ORIENTED_EDGE ( 'NONE', *, *, #944, .T. ) ;
#944 = EDGE_CURVE ( 'NONE', #942, #894, #5921, .T. ) ;
#945 = ORIENTED_EDGE ( 'NONE', *, *, #893, .T. ) ;
#946 = VERTEX_POINT ( 'NONE', #5911 ) ;
#947 = ORIENTED_EDGE ( 'NONE', *, *, #948, .T. ) ;
#948 = EDGE_CURVE ( 'NONE', #946, #3279, #5910, .T. ) ;
#949 = ORIENTED_EDGE ( 'NONE', *, *, #3261, .F. ) ;
#950 = ORIENTED_EDGE ( 'NONE', *, *, #963, .F. ) ;
#951 = ORIENTED_EDGE ( 'NONE', *, *, #952, .T. ) ;
#952 = EDGE_CURVE ( 'NONE', #920, #888, #5906, .T. ) ;
#953 = ADVANCED_FACE ( 'NONE', ( #5902 ), #5901, .F. ) ;
#954 = EDGE_LOOP ( 'NONE', ( #955, #956, #934, #935 ) ) ;
#955 = ORIENTED_EDGE ( 'NONE', *, *, #3282, .T. ) ;
#956 = ORIENTED_EDGE ( 'NONE', *, *, #957, .T. ) ;
#957 = EDGE_CURVE ( 'NONE', #3274, #891, #5896, .T. ) ;
#958 = ADVANCED_FACE ( 'NONE', ( #5892 ), #5889, .T. ) ;
#959 = EDGE_LOOP ( 'NONE', ( #960, #961, #962, #964, #882 ) ) ;
#960 = ORIENTED_EDGE ( 'NONE', *, *, #3180, .F. ) ;
#961 = ORIENTED_EDGE ( 'NONE', *, *, #922, .T. ) ;
#962 = ORIENTED_EDGE ( 'NONE', *, *, #963, .T. ) ;
#963 = EDGE_CURVE ( 'NONE', #920, #3332, #5954, .T. ) ;
#964 = ORIENTED_EDGE ( 'NONE', *, *, #3334, .T. ) ;
#965 = EDGE_LOOP ( 'NONE', ( #966, #967, #968, #969 ) ) ;
#966 = ORIENTED_EDGE ( 'NONE', *, *, #3300, .F. ) ;
#967 = ORIENTED_EDGE ( 'NONE', *, *, #911, .F. ) ;
#968 = ORIENTED_EDGE ( 'NONE', *, *, #3290, .T. ) ;
#969 = ORIENTED_EDGE ( 'NONE', *, *, #883, .F. ) ;
#970 = ADVANCED_FACE ( 'NONE', ( #5949, #5948 ), #5947, .F. ) ;
#971 = EDGE_LOOP ( 'NONE', ( #1026, #1028 ) ) ;
#972 = ORIENTED_EDGE ( 'NONE', *, *, #985, .F. ) ;
#973 = ADVANCED_FACE ( 'NONE', ( #5942 ), #5941, .F. ) ;
#974 = EDGE_LOOP ( 'NONE', ( #975, #976, #977, #978 ) ) ;
#975 = ORIENTED_EDGE ( 'NONE', *, *, #3278, .T. ) ;
#976 = ORIENTED_EDGE ( 'NONE', *, *, #936, .T. ) ;
#977 = ORIENTED_EDGE ( 'NONE', *, *, #915, .T. ) ;
#978 = ORIENTED_EDGE ( 'NONE', *, *, #994, .F. ) ;
#979 = ADVANCED_FACE ( 'NONE', ( #5936 ), #5935, .F. ) ;
#980 = EDGE_LOOP ( 'NONE', ( #981, #982, #983, #1042, #1043, #1044 ) ) ;
#981 = ORIENTED_EDGE ( 'NONE', *, *, #3281, .F. ) ;
#982 = ORIENTED_EDGE ( 'NONE', *, *, #3302, .T. ) ;
#983 = ORIENTED_EDGE ( 'NONE', *, *, #991, .F. ) ;
#984 = ORIENTED_EDGE ( 'NONE', *, *, #985, .T. ) ;
#985 = EDGE_CURVE ( 'NONE', #931, #900, #5930, .T. ) ;
#986 = ORIENTED_EDGE ( 'NONE', *, *, #899, .T. ) ;
#987 = ORIENTED_EDGE ( 'NONE', *, *, #1003, .F. ) ;
#988 = ADVANCED_FACE ( 'NONE', ( #5926 ), #5925, .F. ) ;
#989 = EDGE_LOOP ( 'NONE', ( #990, #992, #993, #995, #972 ) ) ;
#990 = ORIENTED_EDGE ( 'NONE', *, *, #991, .T. ) ;
#991 = EDGE_CURVE ( 'NONE', #931, #3285, #5979, .T. ) ;
#992 = ORIENTED_EDGE ( 'NONE', *, *, #3267, .T. ) ;
#993 = ORIENTED_EDGE ( 'NONE', *, *, #994, .T. ) ;
#994 = EDGE_CURVE ( 'NONE', #3276, #917, #5972, .T. ) ;
#995 = ORIENTED_EDGE ( 'NONE', *, *, #902, .T. ) ;
#996 = ORIENTED_EDGE ( 'NONE', *, *, #957, .F. ) ;
#997 = ADVANCED_FACE ( 'NONE', ( #5968 ), #5967, .F. ) ;
#998 = EDGE_LOOP ( 'NONE', ( #999, #1002, #925, #926 ) ) ;
#999 = ORIENTED_EDGE ( 'NONE', *, *, #1000, .T. ) ;
#1000 = EDGE_CURVE ( 'NONE', #942, #1001, #5962, .T. ) ;
#1001 = VERTEX_POINT ( 'NONE', #5961 ) ;
#1002 = ORIENTED_EDGE ( 'NONE', *, *, #1003, .T. ) ;
#1003 = EDGE_CURVE ( 'NONE', #1001, #897, #5960, .T. ) ;
#1004 = EDGE_LOOP ( 'NONE', ( #1005, #1009, #1011, #1012, #1013 ) ) ;
#1005 = ORIENTED_EDGE ( 'NONE', *, *, #1006, .T. ) ;
#1006 = EDGE_CURVE ( 'NONE', #1007, #1008, #6006, .T. ) ;
#1007 = VERTEX_POINT ( 'NONE', #6001 ) ;
#1008 = VERTEX_POINT ( 'NONE', #6000 ) ;
#1009 = ORIENTED_EDGE ( 'NONE', *, *, #1010, .T. ) ;
#1010 = EDGE_CURVE ( 'NONE', #1008, #3222, #5999, .T. ) ;
#1011 = ORIENTED_EDGE ( 'NONE', *, *, #3219, .F. ) ;
#1012 = ORIENTED_EDGE ( 'NONE', *, *, #1025, .F. ) ;
#1013 = ORIENTED_EDGE ( 'NONE', *, *, #1070, .T. ) ;
#1014 = EDGE_CURVE ( 'NONE', #1041, #1039, #5995, .T. ) ;
#1015 = ORIENTED_EDGE ( 'NONE', *, *, #1016, .F. ) ;
#1016 = EDGE_CURVE ( 'NONE', #1017, #1041, #5991, .T. ) ;
#1017 = VERTEX_POINT ( 'NONE', #5987 ) ;
#1018 = ORIENTED_EDGE ( 'NONE', *, *, #1019, .F. ) ;
#1019 = EDGE_CURVE ( 'NONE', #1033, #1017, #5986, .T. ) ;
#1020 = ADVANCED_FACE ( 'NONE', ( #5982 ), #5981, .T. ) ;
#1021 = EDGE_LOOP ( 'NONE', ( #1022, #1023, #1024, #1082, #1083 ) ) ;
#1022 = ORIENTED_EDGE ( 'NONE', *, *, #3224, .F. ) ;
#1023 = ORIENTED_EDGE ( 'NONE', *, *, #838, .T. ) ;
#1024 = ORIENTED_EDGE ( 'NONE', *, *, #1025, .T. ) ;
#1025 = EDGE_CURVE ( 'NONE', #836, #3255, #6040, .T. ) ;
#1026 = ORIENTED_EDGE ( 'NONE', *, *, #1027, .T. ) ;
#1027 = EDGE_CURVE ( 'NONE', #3182, #3181, #6036, .T. ) ;
#1028 = ORIENTED_EDGE ( 'NONE', *, *, #3179, .T. ) ;
#1029 = EDGE_LOOP ( 'NONE', ( #1030, #1034, #1037, #1040, #1015, #1018 ) ) ;
#1030 = ORIENTED_EDGE ( 'NONE', *, *, #1031, .F. ) ;
#1031 = EDGE_CURVE ( 'NONE', #1032, #1033, #6031, .T. ) ;
#1032 = VERTEX_POINT ( 'NONE', #6027 ) ;
#1033 = VERTEX_POINT ( 'NONE', #6026 ) ;
#1034 = ORIENTED_EDGE ( 'NONE', *, *, #1035, .F. ) ;
#1035 = EDGE_CURVE ( 'NONE', #1036, #1032, #6025, .T. ) ;
#1036 = VERTEX_POINT ( 'NONE', #6021 ) ;
#1037 = ORIENTED_EDGE ( 'NONE', *, *, #1038, .F. ) ;
#1038 = EDGE_CURVE ( 'NONE', #1039, #1036, #6020, .T. ) ;
#1039 = VERTEX_POINT ( 'NONE', #6016 ) ;
#1040 = ORIENTED_EDGE ( 'NONE', *, *, #1014, .F. ) ;
#1041 = VERTEX_POINT ( 'NONE', #6015 ) ;
#1042 = ORIENTED_EDGE ( 'NONE', *, *, #930, .F. ) ;
#1043 = ORIENTED_EDGE ( 'NONE', *, *, #1000, .F. ) ;
#1044 = ORIENTED_EDGE ( 'NONE', *, *, #941, .F. ) ;
#1045 = ADVANCED_FACE ( 'NONE', ( #6014 ), #6013, .T. ) ;
#1046 = EDGE_LOOP ( 'NONE', ( #1047, #1050, #1052, #1053 ) ) ;
#1047 = ORIENTED_EDGE ( 'NONE', *, *, #1048, .T. ) ;
#1048 = EDGE_CURVE ( 'NONE', #1067, #1049, #6067, .T. ) ;
#1049 = VERTEX_POINT ( 'NONE', #6066 ) ;
#1050 = ORIENTED_EDGE ( 'NONE', *, *, #1051, .T. ) ;
#1051 = EDGE_CURVE ( 'NONE', #1049, #1017, #6065, .T. ) ;
#1052 = ORIENTED_EDGE ( 'NONE', *, *, #1016, .T. ) ;
#1053 = ORIENTED_EDGE ( 'NONE', *, *, #1069, .F. ) ;
#1054 = ADVANCED_FACE ( 'NONE', ( #6053 ), #6052, .F. ) ;
#1055 = EDGE_LOOP ( 'NONE', ( #1110, #1112, #1113, #1115, #1116 ) ) ;
#1056 = ORIENTED_EDGE ( 'NONE', *, *, #1057, .T. ) ;
#1057 = EDGE_CURVE ( 'NONE', #3243, #1058, #6047, .T. ) ;
#1058 = VERTEX_POINT ( 'NONE', #6046 ) ;
#1059 = ORIENTED_EDGE ( 'NONE', *, *, #1060, .T. ) ;
#1060 = EDGE_CURVE ( 'NONE', #1058, #1039, #6095, .T. ) ;
#1061 = ORIENTED_EDGE ( 'NONE', *, *, #1038, .T. ) ;
#1062 = ORIENTED_EDGE ( 'NONE', *, *, #1075, .F. ) ;
#1063 = ADVANCED_FACE ( 'NONE', ( #6091 ), #6090, .F. ) ;
#1064 = EDGE_LOOP ( 'NONE', ( #1065, #1068, #1121, #1122 ) ) ;
#1065 = ORIENTED_EDGE ( 'NONE', *, *, #1066, .T. ) ;
#1066 = EDGE_CURVE ( 'NONE', #1058, #1067, #6085, .T. ) ;
#1067 = VERTEX_POINT ( 'NONE', #6084 ) ;
#1068 = ORIENTED_EDGE ( 'NONE', *, *, #1069, .T. ) ;
#1069 = EDGE_CURVE ( 'NONE', #1067, #1041, #6083, .T. ) ;
#1070 = EDGE_CURVE ( 'NONE', #836, #1007, #6137, .T. ) ;
#1071 = ADVANCED_FACE ( 'NONE', ( #6133 ), #6132, .F. ) ;
#1072 = EDGE_LOOP ( 'NONE', ( #1073, #1074, #1076, #1077 ) ) ;
#1073 = ORIENTED_EDGE ( 'NONE', *, *, #3231, .T. ) ;
#1074 = ORIENTED_EDGE ( 'NONE', *, *, #1075, .T. ) ;
#1075 = EDGE_CURVE ( 'NONE', #3245, #1036, #6127, .T. ) ;
#1076 = ORIENTED_EDGE ( 'NONE', *, *, #1035, .T. ) ;
#1077 = ORIENTED_EDGE ( 'NONE', *, *, #1078, .F. ) ;
#1078 = EDGE_CURVE ( 'NONE', #3230, #1032, #6123, .T. ) ;
#1079 = ADVANCED_FACE ( 'NONE', ( #6119 ), #6118, .F. ) ;
#1080 = EDGE_LOOP ( 'NONE', ( #1081, #1056, #1059, #1061, #1062 ) ) ;
#1081 = ORIENTED_EDGE ( 'NONE', *, *, #3228, .T. ) ;
#1082 = ORIENTED_EDGE ( 'NONE', *, *, #3227, .T. ) ;
#1083 = ORIENTED_EDGE ( 'NONE', *, *, #1084, .T. ) ;
#1084 = EDGE_CURVE ( 'NONE', #3177, #3253, #6113, .T. ) ;
#1085 = ADVANCED_FACE ( 'NONE', ( #6108 ), #6106, .F. ) ;
#1086 = ORIENTED_EDGE ( 'NONE', *, *, #1084, .F. ) ;
#1087 = ADVANCED_FACE ( 'NONE', ( #6107, #6169 ), #6168, .F. ) ;
#1088 = EDGE_LOOP ( 'NONE', ( #1089, #1091 ) ) ;
#1089 = ORIENTED_EDGE ( 'NONE', *, *, #1090, .T. ) ;
#1090 = EDGE_CURVE ( 'NONE', #195, #196, #6163, .T. ) ;
#1091 = ORIENTED_EDGE ( 'NONE', *, *, #179, .T. ) ;
#1092 = EDGE_LOOP ( 'NONE', ( #1093, #1150, #1152, #1155, #1158, #1161 ) ) ;
#1093 = ORIENTED_EDGE ( 'NONE', *, *, #1094, .F. ) ;
#1094 = EDGE_CURVE ( 'NONE', #1095, #1096, #6158, .T. ) ;
#1095 = VERTEX_POINT ( 'NONE', #6154 ) ;
#1096 = VERTEX_POINT ( 'NONE', #6153 ) ;
#1097 = VERTEX_POINT ( 'NONE', #6152 ) ;
#1098 = ORIENTED_EDGE ( 'NONE', *, *, #1031, .T. ) ;
#1099 = ORIENTED_EDGE ( 'NONE', *, *, #1114, .F. ) ;
#1100 = ADVANCED_FACE ( 'NONE', ( #6151 ), #6148, .F. ) ;
#1101 = EDGE_LOOP ( 'NONE', ( #1102, #1103, #1104, #1105, #1106, #1107 ) ) ;
#1102 = ORIENTED_EDGE ( 'NONE', *, *, #3242, .F. ) ;
#1103 = ORIENTED_EDGE ( 'NONE', *, *, #3237, .T. ) ;
#1104 = ORIENTED_EDGE ( 'NONE', *, *, #1111, .F. ) ;
#1105 = ORIENTED_EDGE ( 'NONE', *, *, #1048, .F. ) ;
#1106 = ORIENTED_EDGE ( 'NONE', *, *, #1066, .F. ) ;
#1107 = ORIENTED_EDGE ( 'NONE', *, *, #1057, .F. ) ;
#1108 = ADVANCED_FACE ( 'NONE', ( #6149 ), #6144, .T. ) ;
#1109 = EDGE_LOOP ( 'NONE', ( #1163, #1164, #1165, #1086 ) ) ;
#1110 = ORIENTED_EDGE ( 'NONE', *, *, #1111, .T. ) ;
#1111 = EDGE_CURVE ( 'NONE', #1049, #3235, #6198, .T. ) ;
#1112 = ORIENTED_EDGE ( 'NONE', *, *, #3239, .T. ) ;
#1113 = ORIENTED_EDGE ( 'NONE', *, *, #1114, .T. ) ;
#1114 = EDGE_CURVE ( 'NONE', #3247, #1033, #6197, .T. ) ;
#1115 = ORIENTED_EDGE ( 'NONE', *, *, #1019, .T. ) ;
#1116 = ORIENTED_EDGE ( 'NONE', *, *, #1051, .F. ) ;
#1117 = ADVANCED_FACE ( 'NONE', ( #6187 ), #6186, .F. ) ;
#1118 = EDGE_LOOP ( 'NONE', ( #1119, #1120, #1098, #1099 ) ) ;
#1119 = ORIENTED_EDGE ( 'NONE', *, *, #3246, .T. ) ;
#1120 = ORIENTED_EDGE ( 'NONE', *, *, #1078, .T. ) ;
#1121 = ORIENTED_EDGE ( 'NONE', *, *, #1014, .T. ) ;
#1122 = ORIENTED_EDGE ( 'NONE', *, *, #1060, .F. ) ;
#1123 = ADVANCED_FACE ( 'NONE', ( #6181 ), #6180, .F. ) ;
#1124 = EDGE_CURVE ( 'NONE', #4161, #1125, #6175, .T. ) ;
#1125 = VERTEX_POINT ( 'NONE', #6171 ) ;
#1126 = ORIENTED_EDGE ( 'NONE', *, *, #1127, .T. ) ;
#1127 = EDGE_CURVE ( 'NONE', #1125, #1128, #6232, .T. ) ;
#1128 = VERTEX_POINT ( 'NONE', #6228 ) ;
#1129 = ORIENTED_EDGE ( 'NONE', *, *, #1130, .T. ) ;
#1130 = EDGE_CURVE ( 'NONE', #1128, #851, #6227, .T. ) ;
#1131 = ORIENTED_EDGE ( 'NONE', *, *, #1141, .F. ) ;
#1132 = ADVANCED_FACE ( 'NONE', ( #6223 ), #6222, .F. ) ;
#1133 = EDGE_LOOP ( 'NONE', ( #1134, #1135, #1193, #1194 ) ) ;
#1134 = ORIENTED_EDGE ( 'NONE', *, *, #4153, .T. ) ;
#1135 = ORIENTED_EDGE ( 'NONE', *, *, #1136, .T. ) ;
#1136 = EDGE_CURVE ( 'NONE', #4158, #1097, #6217, .T. ) ;
#1137 = ADVANCED_FACE ( 'NONE', ( #6213 ), #6211, .T. ) ;
#1138 = EDGE_LOOP ( 'NONE', ( #1139, #1140, #1142, #1143, #1144 ) ) ;
#1139 = ORIENTED_EDGE ( 'NONE', *, *, #4081, .F. ) ;
#1140 = ORIENTED_EDGE ( 'NONE', *, *, #1141, .T. ) ;
#1141 = EDGE_CURVE ( 'NONE', #4079, #851, #6206, .T. ) ;
#1142 = ORIENTED_EDGE ( 'NONE', *, *, #907, .F. ) ;
#1143 = ORIENTED_EDGE ( 'NONE', *, *, #3187, .T. ) ;
#1144 = ORIENTED_EDGE ( 'NONE', *, *, #1145, .T. ) ;
#1145 = EDGE_CURVE ( 'NONE', #200, #178, #6202, .T. ) ;
#1146 = ADVANCED_FACE ( 'NONE', ( #6261 ), #6260, .F. ) ;
#1147 = EDGE_LOOP ( 'NONE', ( #1148, #1149, #1126, #1129, #1131 ) ) ;
#1148 = ORIENTED_EDGE ( 'NONE', *, *, #4160, .F. ) ;
#1149 = ORIENTED_EDGE ( 'NONE', *, *, #1124, .T. ) ;
#1150 = ORIENTED_EDGE ( 'NONE', *, *, #1151, .F. ) ;
#1151 = EDGE_CURVE ( 'NONE', #1097, #1095, #6255, .T. ) ;
#1152 = ORIENTED_EDGE ( 'NONE', *, *, #1153, .F. ) ;
#1153 = EDGE_CURVE ( 'NONE', #1154, #1097, #6251, .T. ) ;
#1154 = VERTEX_POINT ( 'NONE', #6247 ) ;
#1155 = ORIENTED_EDGE ( 'NONE', *, *, #1156, .F. ) ;
#1156 = EDGE_CURVE ( 'NONE', #1157, #1154, #6246, .T. ) ;
#1157 = VERTEX_POINT ( 'NONE', #6242 ) ;
#1158 = ORIENTED_EDGE ( 'NONE', *, *, #1159, .F. ) ;
#1159 = EDGE_CURVE ( 'NONE', #1160, #1157, #6241, .T. ) ;
#1160 = VERTEX_POINT ( 'NONE', #6237 ) ;
#1161 = ORIENTED_EDGE ( 'NONE', *, *, #1162, .F. ) ;
#1162 = EDGE_CURVE ( 'NONE', #1096, #1160, #6236, .T. ) ;
#1163 = ORIENTED_EDGE ( 'NONE', *, *, #3259, .F. ) ;
#1164 = ORIENTED_EDGE ( 'NONE', *, *, #1027, .F. ) ;
#1165 = ORIENTED_EDGE ( 'NONE', *, *, #3257, .T. ) ;
#1166 = ORIENTED_EDGE ( 'NONE', *, *, #1174, .F. ) ;
#1167 = ORIENTED_EDGE ( 'NONE', *, *, #1168, .T. ) ;
#1168 = EDGE_CURVE ( 'NONE', #1192, #1160, #6292, .T. ) ;
#1169 = ORIENTED_EDGE ( 'NONE', *, *, #1159, .T. ) ;
#1170 = ORIENTED_EDGE ( 'NONE', *, *, #1185, .F. ) ;
#1171 = ADVANCED_FACE ( 'NONE', ( #6288 ), #6287, .F. ) ;
#1172 = EDGE_LOOP ( 'NONE', ( #1173, #1175, #1176, #1178, #1236 ) ) ;
#1173 = ORIENTED_EDGE ( 'NONE', *, *, #1174, .T. ) ;
#1174 = EDGE_CURVE ( 'NONE', #1192, #4342, #6282, .T. ) ;
#1175 = ORIENTED_EDGE ( 'NONE', *, *, #4087, .T. ) ;
#1176 = ORIENTED_EDGE ( 'NONE', *, *, #1177, .T. ) ;
#1177 = EDGE_CURVE ( 'NONE', #4156, #1096, #6281, .T. ) ;
#1178 = ORIENTED_EDGE ( 'NONE', *, *, #1162, .T. ) ;
#1179 = ADVANCED_FACE ( 'NONE', ( #6271 ), #6270, .F. ) ;
#1180 = EDGE_LOOP ( 'NONE', ( #1181, #1184, #1186, #1187 ) ) ;
#1181 = ORIENTED_EDGE ( 'NONE', *, *, #1182, .T. ) ;
#1182 = EDGE_CURVE ( 'NONE', #1201, #1183, #6264, .T. ) ;
#1183 = VERTEX_POINT ( 'NONE', #6263 ) ;
#1184 = ORIENTED_EDGE ( 'NONE', *, *, #1185, .T. ) ;
#1185 = EDGE_CURVE ( 'NONE', #1183, #1157, #6265, .T. ) ;
#1186 = ORIENTED_EDGE ( 'NONE', *, *, #1156, .T. ) ;
#1187 = ORIENTED_EDGE ( 'NONE', *, *, #1203, .F. ) ;
#1188 = ADVANCED_FACE ( 'NONE', ( #6311 ), #6310, .F. ) ;
#1189 = EDGE_LOOP ( 'NONE', ( #1190, #1167, #1169, #1170 ) ) ;
#1190 = ORIENTED_EDGE ( 'NONE', *, *, #1191, .T. ) ;
#1191 = EDGE_CURVE ( 'NONE', #1183, #1192, #6305, .T. ) ;
#1192 = VERTEX_POINT ( 'NONE', #6304 ) ;
#1193 = ORIENTED_EDGE ( 'NONE', *, *, #1151, .T. ) ;
#1194 = ORIENTED_EDGE ( 'NONE', *, *, #1195, .F. ) ;
#1195 = EDGE_CURVE ( 'NONE', #4090, #1095, #6293, .T. ) ;
#1196 = ADVANCED_FACE ( 'NONE', ( #6350 ), #6349, .F. ) ;
#1197 = EDGE_LOOP ( 'NONE', ( #1198, #1199, #1202, #1204, #1205 ) ) ;
#1198 = ORIENTED_EDGE ( 'NONE', *, *, #4151, .T. ) ;
#1199 = ORIENTED_EDGE ( 'NONE', *, *, #1200, .T. ) ;
#1200 = EDGE_CURVE ( 'NONE', #4084, #1201, #6344, .T. ) ;
#1201 = VERTEX_POINT ( 'NONE', #6343 ) ;
#1202 = ORIENTED_EDGE ( 'NONE', *, *, #1203, .T. ) ;
#1203 = EDGE_CURVE ( 'NONE', #1201, #1154, #6336, .T. ) ;
#1204 = ORIENTED_EDGE ( 'NONE', *, *, #1153, .T. ) ;
#1205 = ORIENTED_EDGE ( 'NONE', *, *, #1136, .F. ) ;
#1206 = VERTEX_POINT ( 'NONE', #6332 ) ;
#1207 = ORIENTED_EDGE ( 'NONE', *, *, #1208, .T. ) ;
#1208 = EDGE_CURVE ( 'NONE', #1206, #1209, #6331, .T. ) ;
#1209 = VERTEX_POINT ( 'NONE', #6327 ) ;
#1210 = EDGE_CURVE ( 'NONE', #1211, #1212, #6326, .T. ) ;
#1211 = VERTEX_POINT ( 'NONE', #6382 ) ;
#1212 = VERTEX_POINT ( 'NONE', #6381 ) ;
#1213 = ORIENTED_EDGE ( 'NONE', *, *, #1214, .T. ) ;
#1214 = EDGE_CURVE ( 'NONE', #1212, #1215, #6380, .T. ) ;
#1215 = VERTEX_POINT ( 'NONE', #6375 ) ;
#1216 = ORIENTED_EDGE ( 'NONE', *, *, #1217, .T. ) ;
#1217 = EDGE_CURVE ( 'NONE', #1215, #1218, #6374, .T. ) ;
#1218 = VERTEX_POINT ( 'NONE', #6369 ) ;
#1219 = ORIENTED_EDGE ( 'NONE', *, *, #1220, .T. ) ;
#1220 = EDGE_CURVE ( 'NONE', #1218, #3695, #6368, .T. ) ;
#1221 = ORIENTED_EDGE ( 'NONE', *, *, #3694, .T. ) ;
#1222 = ORIENTED_EDGE ( 'NONE', *, *, #1223, .T. ) ;
#1223 = EDGE_CURVE ( 'NONE', #3692, #1211, #6363, .T. ) ;
#1224 = ORIENTED_EDGE ( 'NONE', *, *, #1191, .F. ) ;
#1225 = ORIENTED_EDGE ( 'NONE', *, *, #1182, .F. ) ;
#1226 = ORIENTED_EDGE ( 'NONE', *, *, #1200, .F. ) ;
#1227 = ADVANCED_FACE ( 'NONE', ( #6358 ), #6357, .T. ) ;
#1228 = EDGE_LOOP ( 'NONE', ( #1229, #1230, #1231, #1232 ) ) ;
#1229 = ORIENTED_EDGE ( 'NONE', *, *, #190, .F. ) ;
#1230 = ORIENTED_EDGE ( 'NONE', *, *, #1090, .F. ) ;
#1231 = ORIENTED_EDGE ( 'NONE', *, *, #186, .T. ) ;
#1232 = ORIENTED_EDGE ( 'NONE', *, *, #1145, .F. ) ;
#1233 = ADVANCED_FACE ( 'NONE', ( #6356 ), #6416, .T. ) ;
#1234 = EDGE_LOOP ( 'NONE', ( #1235, #1213, #1216, #1219, #1221, #1222 ) ) ;
#1235 = ORIENTED_EDGE ( 'NONE', *, *, #1210, .T. ) ;
#1236 = ORIENTED_EDGE ( 'NONE', *, *, #1168, .F. ) ;
#1237 = ADVANCED_FACE ( 'NONE', ( #6411 ), #6410, .F. ) ;
#1238 = EDGE_LOOP ( 'NONE', ( #1239, #1240, #1241, #1242 ) ) ;
#1239 = ORIENTED_EDGE ( 'NONE', *, *, #4155, .T. ) ;
#1240 = ORIENTED_EDGE ( 'NONE', *, *, #1195, .T. ) ;
#1241 = ORIENTED_EDGE ( 'NONE', *, *, #1094, .T. ) ;
#1242 = ORIENTED_EDGE ( 'NONE', *, *, #1177, .F. ) ;
#1243 = ADVANCED_FACE ( 'NONE', ( #6405 ), #6404, .F. ) ;
#1244 = EDGE_LOOP ( 'NONE', ( #1245, #1246, #1166, #1224, #1225, #1226 ) ) ;
#1245 = ORIENTED_EDGE ( 'NONE', *, *, #4083, .F. ) ;
#1246 = ORIENTED_EDGE ( 'NONE', *, *, #193, .T. ) ;
#1247 = EDGE_LOOP ( 'NONE', ( #1303, #1304, #1305, #1306, #1308, #1309, #1310 ) ) ;
#1248 = ORIENTED_EDGE ( 'NONE', *, *, #1249, .T. ) ;
#1249 = EDGE_CURVE ( 'NONE', #1276, #1250, #6403, .T. ) ;
#1250 = VERTEX_POINT ( 'NONE', #6394 ) ;
#1251 = ORIENTED_EDGE ( 'NONE', *, *, #1252, .T. ) ;
#1252 = EDGE_CURVE ( 'NONE', #1250, #1253, #6393, .T. ) ;
#1253 = VERTEX_POINT ( 'NONE', #6389 ) ;
#1254 = ORIENTED_EDGE ( 'NONE', *, *, #1255, .T. ) ;
#1255 = EDGE_CURVE ( 'NONE', #1253, #1269, #6387, .T. ) ;
#1256 = ADVANCED_FACE ( 'NONE', ( #6452 ), #6451, .T. ) ;
#1257 = EDGE_LOOP ( 'NONE', ( #1258, #1262, #1319, #1322, #1325, #1328 ) ) ;
#1258 = ORIENTED_EDGE ( 'NONE', *, *, #1259, .T. ) ;
#1259 = EDGE_CURVE ( 'NONE', #1260, #1261, #6446, .T. ) ;
#1260 = VERTEX_POINT ( 'NONE', #6441 ) ;
#1261 = VERTEX_POINT ( 'NONE', #6440 ) ;
#1262 = ORIENTED_EDGE ( 'NONE', *, *, #1317, .T. ) ;
#1263 = ORIENTED_EDGE ( 'NONE', *, *, #1264, .T. ) ;
#1264 = EDGE_CURVE ( 'NONE', #1209, #3678, #6438, .T. ) ;
#1265 = ADVANCED_FACE ( 'NONE', ( #6439 ), #6433, .T. ) ;
#1266 = EDGE_LOOP ( 'NONE', ( #1267, #1271, #1274, #1248, #1251, #1254 ) ) ;
#1267 = ORIENTED_EDGE ( 'NONE', *, *, #1268, .T. ) ;
#1268 = EDGE_CURVE ( 'NONE', #1269, #1270, #6428, .T. ) ;
#1269 = VERTEX_POINT ( 'NONE', #6424 ) ;
#1270 = VERTEX_POINT ( 'NONE', #6423 ) ;
#1271 = ORIENTED_EDGE ( 'NONE', *, *, #1272, .T. ) ;
#1272 = EDGE_CURVE ( 'NONE', #1270, #1273, #6422, .T. ) ;
#1273 = VERTEX_POINT ( 'NONE', #6482 ) ;
#1274 = ORIENTED_EDGE ( 'NONE', *, *, #1275, .T. ) ;
#1275 = EDGE_CURVE ( 'NONE', #1273, #1276, #6481, .T. ) ;
#1276 = VERTEX_POINT ( 'NONE', #6476 ) ;
#1277 = ADVANCED_FACE ( 'NONE', ( #6475 ), #6474, .T. ) ;
#1278 = EDGE_LOOP ( 'NONE', ( #1279, #1280, #1283, #1286, #1207, #1263 ) ) ;
#1279 = ORIENTED_EDGE ( 'NONE', *, *, #3677, .T. ) ;
#1280 = ORIENTED_EDGE ( 'NONE', *, *, #1281, .T. ) ;
#1281 = EDGE_CURVE ( 'NONE', #3704, #1282, #6468, .T. ) ;
#1282 = VERTEX_POINT ( 'NONE', #6464 ) ;
#1283 = ORIENTED_EDGE ( 'NONE', *, *, #1284, .T. ) ;
#1284 = EDGE_CURVE ( 'NONE', #1282, #1285, #6463, .T. ) ;
#1285 = VERTEX_POINT ( 'NONE', #6458 ) ;
#1286 = ORIENTED_EDGE ( 'NONE', *, *, #1287, .T. ) ;
#1287 = EDGE_CURVE ( 'NONE', #1285, #1206, #6457, .T. ) ;
#1288 = ADVANCED_FACE ( 'NONE', ( #6516 ), #6515, .T. ) ;
#1289 = EDGE_LOOP ( 'NONE', ( #1355, #1358, #1359, #1362, #1365, #1367, #1342, #1345, #1348, #1350, #1351, #1354 ) ) ;
#1290 = ORIENTED_EDGE ( 'NONE', *, *, #4310, .F. ) ;
#1291 = ORIENTED_EDGE ( 'NONE', *, *, #1292, .T. ) ;
#1292 = EDGE_CURVE ( 'NONE', #4308, #1293, #6510, .T. ) ;
#1293 = VERTEX_POINT ( 'NONE', #6506 ) ;
#1294 = ORIENTED_EDGE ( 'NONE', *, *, #1295, .T. ) ;
#1295 = EDGE_CURVE ( 'NONE', #1293, #1296, #6505, .T. ) ;
#1296 = VERTEX_POINT ( 'NONE', #6501 ) ;
#1297 = ORIENTED_EDGE ( 'NONE', *, *, #1298, .T. ) ;
#1298 = EDGE_CURVE ( 'NONE', #1296, #1321, #6500, .T. ) ;
#1299 = ORIENTED_EDGE ( 'NONE', *, *, #1320, .F. ) ;
#1300 = ORIENTED_EDGE ( 'NONE', *, *, #1301, .T. ) ;
#1301 = EDGE_CURVE ( 'NONE', #1318, #1302, #6496, .T. ) ;
#1302 = VERTEX_POINT ( 'NONE', #6492 ) ;
#1303 = ORIENTED_EDGE ( 'NONE', *, *, #4394, .F. ) ;
#1304 = ORIENTED_EDGE ( 'NONE', *, *, #3503, .F. ) ;
#1305 = ORIENTED_EDGE ( 'NONE', *, *, #198, .T. ) ;
#1306 = ORIENTED_EDGE ( 'NONE', *, *, #1307, .T. ) ;
#1307 = EDGE_CURVE ( 'NONE', #183, #3748, #6491, .T. ) ;
#1308 = ORIENTED_EDGE ( 'NONE', *, *, #3747, .T. ) ;
#1309 = ORIENTED_EDGE ( 'NONE', *, *, #4107, .T. ) ;
#1310 = ORIENTED_EDGE ( 'NONE', *, *, #1311, .T. ) ;
#1311 = EDGE_CURVE ( 'NONE', #4103, #4395, #6549, .T. ) ;
#1312 = ADVANCED_FACE ( 'NONE', ( #6544 ), #6543, .T. ) ;
#1313 = EDGE_LOOP ( 'NONE', ( #1314, #1290, #1291, #1294, #1297, #1299, #1300, #1368, #1371, #1373, #1374, #1377 ) ) ;
#1314 = ORIENTED_EDGE ( 'NONE', *, *, #1315, .F. ) ;
#1315 = EDGE_CURVE ( 'NONE', #4301, #1316, #6538, .T. ) ;
#1316 = VERTEX_POINT ( 'NONE', #6534 ) ;
#1317 = EDGE_CURVE ( 'NONE', #1261, #1318, #6533, .T. ) ;
#1318 = VERTEX_POINT ( 'NONE', #6528 ) ;
#1319 = ORIENTED_EDGE ( 'NONE', *, *, #1320, .T. ) ;
#1320 = EDGE_CURVE ( 'NONE', #1318, #1321, #6527, .T. ) ;
#1321 = VERTEX_POINT ( 'NONE', #6523 ) ;
#1322 = ORIENTED_EDGE ( 'NONE', *, *, #1323, .T. ) ;
#1323 = EDGE_CURVE ( 'NONE', #1321, #1324, #6522, .T. ) ;
#1324 = VERTEX_POINT ( 'NONE', #6517 ) ;
#1325 = ORIENTED_EDGE ( 'NONE', *, *, #1326, .T. ) ;
#1326 = EDGE_CURVE ( 'NONE', #1324, #1327, #6580, .T. ) ;
#1327 = VERTEX_POINT ( 'NONE', #6576 ) ;
#1328 = ORIENTED_EDGE ( 'NONE', *, *, #1329, .T. ) ;
#1329 = EDGE_CURVE ( 'NONE', #1327, #1260, #6575, .T. ) ;
#1330 = ADVANCED_FACE ( 'NONE', ( #6570 ), #6569, .F. ) ;
#1331 = ORIENTED_EDGE ( 'NONE', *, *, #1332, .F. ) ;
#1332 = EDGE_CURVE ( 'NONE', #4186, #1333, #6568, .T. ) ;
#1333 = VERTEX_POINT ( 'NONE', #6560 ) ;
#1334 = ORIENTED_EDGE ( 'NONE', *, *, #4168, .F. ) ;
#1335 = ORIENTED_EDGE ( 'NONE', *, *, #1336, .T. ) ;
#1336 = EDGE_CURVE ( 'NONE', #4193, #1337, #6559, .T. ) ;
#1337 = VERTEX_POINT ( 'NONE', #6555 ) ;
#1338 = ORIENTED_EDGE ( 'NONE', *, *, #1339, .T. ) ;
#1339 = EDGE_CURVE ( 'NONE', #1337, #1340, #6554, .T. ) ;
#1340 = VERTEX_POINT ( 'NONE', #6550 ) ;
#1341 = ORIENTED_EDGE ( 'NONE', *, *, #1405, .T. ) ;
#1342 = ORIENTED_EDGE ( 'NONE', *, *, #1343, .T. ) ;
#1343 = EDGE_CURVE ( 'NONE', #1206, #1344, #6609, .T. ) ;
#1344 = VERTEX_POINT ( 'NONE', #6605 ) ;
#1345 = ORIENTED_EDGE ( 'NONE', *, *, #1346, .T. ) ;
#1346 = EDGE_CURVE ( 'NONE', #1344, #1347, #6604, .T. ) ;
#1347 = VERTEX_POINT ( 'NONE', #6600 ) ;
#1348 = ORIENTED_EDGE ( 'NONE', *, *, #1349, .T. ) ;
#1349 = EDGE_CURVE ( 'NONE', #1347, #1270, #6599, .T. ) ;
#1350 = ORIENTED_EDGE ( 'NONE', *, *, #1268, .F. ) ;
#1351 = ORIENTED_EDGE ( 'NONE', *, *, #1352, .T. ) ;
#1352 = EDGE_CURVE ( 'NONE', #1269, #1353, #6595, .T. ) ;
#1353 = VERTEX_POINT ( 'NONE', #6591 ) ;
#1354 = ORIENTED_EDGE ( 'NONE', *, *, #1417, .T. ) ;
#1355 = ORIENTED_EDGE ( 'NONE', *, *, #1356, .F. ) ;
#1356 = EDGE_CURVE ( 'NONE', #3974, #1357, #6590, .T. ) ;
#1357 = VERTEX_POINT ( 'NONE', #6586 ) ;
#1358 = ORIENTED_EDGE ( 'NONE', *, *, #4037, .F. ) ;
#1359 = ORIENTED_EDGE ( 'NONE', *, *, #1360, .T. ) ;
#1360 = EDGE_CURVE ( 'NONE', #4035, #1361, #6585, .T. ) ;
#1361 = VERTEX_POINT ( 'NONE', #6581 ) ;
#1362 = ORIENTED_EDGE ( 'NONE', *, *, #1363, .T. ) ;
#1363 = EDGE_CURVE ( 'NONE', #1361, #1364, #6642, .T. ) ;
#1364 = VERTEX_POINT ( 'NONE', #6638 ) ;
#1365 = ORIENTED_EDGE ( 'NONE', *, *, #1366, .T. ) ;
#1366 = EDGE_CURVE ( 'NONE', #1364, #1209, #6637, .T. ) ;
#1367 = ORIENTED_EDGE ( 'NONE', *, *, #1208, .F. ) ;
#1368 = ORIENTED_EDGE ( 'NONE', *, *, #1369, .T. ) ;
#1369 = EDGE_CURVE ( 'NONE', #1302, #1370, #6633, .T. ) ;
#1370 = VERTEX_POINT ( 'NONE', #6629 ) ;
#1371 = ORIENTED_EDGE ( 'NONE', *, *, #1372, .T. ) ;
#1372 = EDGE_CURVE ( 'NONE', #1370, #1212, #6628, .T. ) ;
#1373 = ORIENTED_EDGE ( 'NONE', *, *, #1210, .F. ) ;
#1374 = ORIENTED_EDGE ( 'NONE', *, *, #1375, .T. ) ;
#1375 = EDGE_CURVE ( 'NONE', #1211, #1376, #6624, .T. ) ;
#1376 = VERTEX_POINT ( 'NONE', #6620 ) ;
#1377 = ORIENTED_EDGE ( 'NONE', *, *, #1378, .T. ) ;
#1378 = EDGE_CURVE ( 'NONE', #1376, #1316, #6619, .T. ) ;
#1379 = EDGE_LOOP ( 'NONE', ( #1380, #1382 ) ) ;
#1380 = ORIENTED_EDGE ( 'NONE', *, *, #1381, .F. ) ;
#1381 = EDGE_CURVE ( 'NONE', #2922, #3092, #6614, .T. ) ;
#1382 = ORIENTED_EDGE ( 'NONE', *, *, #3094, .F. ) ;
#1383 = EDGE_LOOP ( 'NONE', ( #1384, #1386 ) ) ;
#1384 = ORIENTED_EDGE ( 'NONE', *, *, #1385, .T. ) ;
#1385 = EDGE_CURVE ( 'NONE', #4336, #4335, #6676, .T. ) ;
#1386 = ORIENTED_EDGE ( 'NONE', *, *, #4380, .T. ) ;
#1387 = EDGE_LOOP ( 'NONE', ( #1388, #1450, #1452, #1453, #1455, #1456, #1459, #1437, #1439, #1440, #1442, #1443, #1446, #1449, #1426, #1427, #1429, #1430, #1433, #1436, #1497, #1498, #1500, #1501, #1503 ) ) ;
#1388 = ORIENTED_EDGE ( 'NONE', *, *, #1389, .F. ) ;
#1389 = EDGE_CURVE ( 'NONE', #1390, #3126, #6672, .T. ) ;
#1390 = VERTEX_POINT ( 'NONE', #6667 ) ;
#1391 = EDGE_CURVE ( 'NONE', #1324, #1392, #6666, .T. ) ;
#1392 = VERTEX_POINT ( 'NONE', #6662 ) ;
#1393 = ORIENTED_EDGE ( 'NONE', *, *, #1394, .T. ) ;
#1394 = EDGE_CURVE ( 'NONE', #1392, #1333, #6661, .T. ) ;
#1395 = ADVANCED_FACE ( 'NONE', ( #6657, #6656, #6655, #6654, #6653, #6652 ), #6651, .F. ) ;
#1396 = EDGE_LOOP ( 'NONE', ( #1397, #1399 ) ) ;
#1397 = ORIENTED_EDGE ( 'NONE', *, *, #1398, .F. ) ;
#1398 = EDGE_CURVE ( 'NONE', #3140, #3135, #6644, .T. ) ;
#1399 = ORIENTED_EDGE ( 'NONE', *, *, #3139, .F. ) ;
#1400 = EDGE_LOOP ( 'NONE', ( #1401, #1403 ) ) ;
#1401 = ORIENTED_EDGE ( 'NONE', *, *, #1402, .F. ) ;
#1402 = EDGE_CURVE ( 'NONE', #3097, #3151, #6706, .T. ) ;
#1403 = ORIENTED_EDGE ( 'NONE', *, *, #3096, .F. ) ;
#1404 = EDGE_LOOP ( 'NONE', ( #1462, #1464 ) ) ;
#1405 = EDGE_CURVE ( 'NONE', #1340, #1253, #6701, .T. ) ;
#1406 = ORIENTED_EDGE ( 'NONE', *, *, #1252, .F. ) ;
#1407 = ORIENTED_EDGE ( 'NONE', *, *, #1408, .T. ) ;
#1408 = EDGE_CURVE ( 'NONE', #1250, #1409, #6697, .T. ) ;
#1409 = VERTEX_POINT ( 'NONE', #6693 ) ;
#1410 = ORIENTED_EDGE ( 'NONE', *, *, #1411, .T. ) ;
#1411 = EDGE_CURVE ( 'NONE', #1409, #1412, #6692, .T. ) ;
#1412 = VERTEX_POINT ( 'NONE', #6688 ) ;
#1413 = ORIENTED_EDGE ( 'NONE', *, *, #1414, .T. ) ;
#1414 = EDGE_CURVE ( 'NONE', #1412, #1327, #6687, .T. ) ;
#1415 = ORIENTED_EDGE ( 'NONE', *, *, #1326, .F. ) ;
#1416 = ORIENTED_EDGE ( 'NONE', *, *, #1391, .T. ) ;
#1417 = EDGE_CURVE ( 'NONE', #1353, #1357, #6683, .T. ) ;
#1418 = ADVANCED_FACE ( 'NONE', ( #6679 ), #6677, .T. ) ;
#1419 = EDGE_LOOP ( 'NONE', ( #1331, #1334, #1335, #1338, #1341, #1406, #1407, #1410, #1413, #1415, #1416, #1393 ) ) ;
#1420 = ADVANCED_FACE ( 'NONE', ( #6734 ), #6733, .T. ) ;
#1421 = EDGE_LOOP ( 'NONE', ( #1422, #1423, #1424, #1485 ) ) ;
#1422 = ORIENTED_EDGE ( 'NONE', *, *, #1441, .F. ) ;
#1423 = ORIENTED_EDGE ( 'NONE', *, *, #1391, .F. ) ;
#1424 = ORIENTED_EDGE ( 'NONE', *, *, #1323, .F. ) ;
#1425 = EDGE_CURVE ( 'NONE', #1316, #1448, #6732, .T. ) ;
#1426 = ORIENTED_EDGE ( 'NONE', *, *, #1378, .F. ) ;
#1427 = ORIENTED_EDGE ( 'NONE', *, *, #1428, .T. ) ;
#1428 = EDGE_CURVE ( 'NONE', #1376, #3637, #6724, .T. ) ;
#1429 = ORIENTED_EDGE ( 'NONE', *, *, #3636, .F. ) ;
#1430 = ORIENTED_EDGE ( 'NONE', *, *, #1431, .F. ) ;
#1431 = EDGE_CURVE ( 'NONE', #1432, #3634, #6719, .T. ) ;
#1432 = VERTEX_POINT ( 'NONE', #6715 ) ;
#1433 = ORIENTED_EDGE ( 'NONE', *, *, #1434, .F. ) ;
#1434 = EDGE_CURVE ( 'NONE', #1435, #1432, #6714, .T. ) ;
#1435 = VERTEX_POINT ( 'NONE', #6709 ) ;
#1436 = ORIENTED_EDGE ( 'NONE', *, *, #1496, .F. ) ;
#1437 = ORIENTED_EDGE ( 'NONE', *, *, #1438, .F. ) ;
#1438 = EDGE_CURVE ( 'NONE', #1333, #1461, #6708, .T. ) ;
#1439 = ORIENTED_EDGE ( 'NONE', *, *, #1394, .F. ) ;
#1440 = ORIENTED_EDGE ( 'NONE', *, *, #1441, .T. ) ;
#1441 = EDGE_CURVE ( 'NONE', #1392, #1296, #6767, .T. ) ;
#1442 = ORIENTED_EDGE ( 'NONE', *, *, #1295, .F. ) ;
#1443 = ORIENTED_EDGE ( 'NONE', *, *, #1444, .F. ) ;
#1444 = EDGE_CURVE ( 'NONE', #1445, #1293, #6762, .T. ) ;
#1445 = VERTEX_POINT ( 'NONE', #6758 ) ;
#1446 = ORIENTED_EDGE ( 'NONE', *, *, #1447, .F. ) ;
#1447 = EDGE_CURVE ( 'NONE', #1448, #1445, #6757, .T. ) ;
#1448 = VERTEX_POINT ( 'NONE', #6752 ) ;
#1449 = ORIENTED_EDGE ( 'NONE', *, *, #1425, .F. ) ;
#1450 = ORIENTED_EDGE ( 'NONE', *, *, #1451, .F. ) ;
#1451 = EDGE_CURVE ( 'NONE', #1357, #1390, #6751, .T. ) ;
#1452 = ORIENTED_EDGE ( 'NONE', *, *, #1417, .F. ) ;
#1453 = ORIENTED_EDGE ( 'NONE', *, *, #1454, .T. ) ;
#1454 = EDGE_CURVE ( 'NONE', #1353, #1340, #6747, .T. ) ;
#1455 = ORIENTED_EDGE ( 'NONE', *, *, #1339, .F. ) ;
#1456 = ORIENTED_EDGE ( 'NONE', *, *, #1457, .F. ) ;
#1457 = EDGE_CURVE ( 'NONE', #1458, #1337, #6742, .T. ) ;
#1458 = VERTEX_POINT ( 'NONE', #6738 ) ;
#1459 = ORIENTED_EDGE ( 'NONE', *, *, #1460, .F. ) ;
#1460 = EDGE_CURVE ( 'NONE', #1461, #1458, #6801, .T. ) ;
#1461 = VERTEX_POINT ( 'NONE', #6796 ) ;
#1462 = ORIENTED_EDGE ( 'NONE', *, *, #1463, .F. ) ;
#1463 = EDGE_CURVE ( 'NONE', #3111, #3108, #6795, .T. ) ;
#1464 = ORIENTED_EDGE ( 'NONE', *, *, #3110, .F. ) ;
#1465 = ORIENTED_EDGE ( 'NONE', *, *, #4386, .T. ) ;
#1466 = ORIENTED_EDGE ( 'NONE', *, *, #1467, .F. ) ;
#1467 = EDGE_CURVE ( 'NONE', #4331, #4384, #6790, .T. ) ;
#1468 = ADVANCED_FACE ( 'NONE', ( #6785 ), #6784, .T. ) ;
#1469 = EDGE_LOOP ( 'NONE', ( #1470, #1471, #1472, #1528, #1529, #1530, #1531, #1532 ) ) ;
#1470 = ORIENTED_EDGE ( 'NONE', *, *, #3750, .F. ) ;
#1471 = ORIENTED_EDGE ( 'NONE', *, *, #1307, .F. ) ;
#1472 = ORIENTED_EDGE ( 'NONE', *, *, #201, .F. ) ;
#1473 = ORIENTED_EDGE ( 'NONE', *, *, #1405, .F. ) ;
#1474 = ADVANCED_FACE ( 'NONE', ( #6779 ), #6778, .T. ) ;
#1475 = EDGE_LOOP ( 'NONE', ( #1476, #1477, #1478, #1479 ) ) ;
#1476 = ORIENTED_EDGE ( 'NONE', *, *, #1499, .F. ) ;
#1477 = ORIENTED_EDGE ( 'NONE', *, *, #3680, .F. ) ;
#1478 = ORIENTED_EDGE ( 'NONE', *, *, #1264, .F. ) ;
#1479 = ORIENTED_EDGE ( 'NONE', *, *, #1366, .F. ) ;
#1480 = ADVANCED_FACE ( 'NONE', ( #6777 ), #6772, .F. ) ;
#1481 = EDGE_LOOP ( 'NONE', ( #1482, #1483, #1538, #1539, #1540, #1465, #1466 ) ) ;
#1482 = ORIENTED_EDGE ( 'NONE', *, *, #4330, .F. ) ;
#1483 = ORIENTED_EDGE ( 'NONE', *, *, #1484, .F. ) ;
#1484 = EDGE_CURVE ( 'NONE', #2341, #4327, #6830, .T. ) ;
#1485 = ORIENTED_EDGE ( 'NONE', *, *, #1298, .F. ) ;
#1486 = ADVANCED_FACE ( 'NONE', ( #6826 ), #6825, .T. ) ;
#1487 = EDGE_LOOP ( 'NONE', ( #1488, #1489, #1490, #1491 ) ) ;
#1488 = ORIENTED_EDGE ( 'NONE', *, *, #1428, .F. ) ;
#1489 = ORIENTED_EDGE ( 'NONE', *, *, #1375, .F. ) ;
#1490 = ORIENTED_EDGE ( 'NONE', *, *, #1223, .F. ) ;
#1491 = ORIENTED_EDGE ( 'NONE', *, *, #3691, .F. ) ;
#1492 = ADVANCED_FACE ( 'NONE', ( #6824 ), #6819, .T. ) ;
#1493 = EDGE_LOOP ( 'NONE', ( #1494, #1495, #722, #1473 ) ) ;
#1494 = ORIENTED_EDGE ( 'NONE', *, *, #1454, .F. ) ;
#1495 = ORIENTED_EDGE ( 'NONE', *, *, #1352, .F. ) ;
#1496 = EDGE_CURVE ( 'NONE', #3710, #1435, #6818, .T. ) ;
#1497 = ORIENTED_EDGE ( 'NONE', *, *, #3683, .F. ) ;
#1498 = ORIENTED_EDGE ( 'NONE', *, *, #1499, .T. ) ;
#1499 = EDGE_CURVE ( 'NONE', #3681, #1364, #6810, .T. ) ;
#1500 = ORIENTED_EDGE ( 'NONE', *, *, #1363, .F. ) ;
#1501 = ORIENTED_EDGE ( 'NONE', *, *, #1502, .F. ) ;
#1502 = EDGE_CURVE ( 'NONE', #3207, #1361, #6805, .T. ) ;
#1503 = ORIENTED_EDGE ( 'NONE', *, *, #3206, .F. ) ;
#1504 = ORIENTED_EDGE ( 'NONE', *, *, #1505, .F. ) ;
#1505 = EDGE_CURVE ( 'NONE', #3105, #3104, #6866, .T. ) ;
#1506 = ORIENTED_EDGE ( 'NONE', *, *, #3169, .T. ) ;
#1507 = ORIENTED_EDGE ( 'NONE', *, *, #1463, .T. ) ;
#1508 = ADVANCED_FACE ( 'NONE', ( #6861 ), #6860, .T. ) ;
#1509 = EDGE_LOOP ( 'NONE', ( #1510, #1511 ) ) ;
#1510 = ORIENTED_EDGE ( 'NONE', *, *, #1505, .T. ) ;
#1511 = ORIENTED_EDGE ( 'NONE', *, *, #3103, .T. ) ;
#1512 = ADVANCED_FACE ( 'NONE', ( #6855 ), #6854, .F. ) ;
#1513 = EDGE_LOOP ( 'NONE', ( #1514, #1565, #1567, #1568 ) ) ;
#1514 = ORIENTED_EDGE ( 'NONE', *, *, #3150, .F. ) ;
#1515 = ORIENTED_EDGE ( 'NONE', *, *, #3486, .T. ) ;
#1516 = ADVANCED_FACE ( 'NONE', ( #6848 ), #6847, .F. ) ;
#1517 = EDGE_LOOP ( 'NONE', ( #1518, #1519, #1521, #1522 ) ) ;
#1518 = ORIENTED_EDGE ( 'NONE', *, *, #3091, .F. ) ;
#1519 = ORIENTED_EDGE ( 'NONE', *, *, #1520, .F. ) ;
#1520 = EDGE_CURVE ( 'NONE', #3175, #3174, #6842, .T. ) ;
#1521 = ORIENTED_EDGE ( 'NONE', *, *, #4334, .T. ) ;
#1522 = ORIENTED_EDGE ( 'NONE', *, *, #1381, .T. ) ;
#1523 = ADVANCED_FACE ( 'NONE', ( #6838 ), #6837, .T. ) ;
#1524 = EDGE_LOOP ( 'NONE', ( #1525, #1526 ) ) ;
#1525 = ORIENTED_EDGE ( 'NONE', *, *, #1520, .T. ) ;
#1526 = ORIENTED_EDGE ( 'NONE', *, *, #3173, .T. ) ;
#1527 = ADVANCED_FACE ( 'NONE', ( #6898 ), #6897, .F. ) ;
#1528 = ORIENTED_EDGE ( 'NONE', *, *, #1311, .F. ) ;
#1529 = ORIENTED_EDGE ( 'NONE', *, *, #599, .F. ) ;
#1530 = ORIENTED_EDGE ( 'NONE', *, *, #1484, .T. ) ;
#1531 = ORIENTED_EDGE ( 'NONE', *, *, #4326, .T. ) ;
#1532 = ORIENTED_EDGE ( 'NONE', *, *, #1541, .T. ) ;
#1533 = ADVANCED_FACE ( 'NONE', ( #6891 ), #6890, .F. ) ;
#1534 = EDGE_LOOP ( 'NONE', ( #1535, #1536, #1537, #1515 ) ) ;
#1535 = ORIENTED_EDGE ( 'NONE', *, *, #4338, .F. ) ;
#1536 = ORIENTED_EDGE ( 'NONE', *, *, #1385, .F. ) ;
#1537 = ORIENTED_EDGE ( 'NONE', *, *, #4398, .T. ) ;
#1538 = ORIENTED_EDGE ( 'NONE', *, *, #2339, .T. ) ;
#1539 = ORIENTED_EDGE ( 'NONE', *, *, #3670, .T. ) ;
#1540 = ORIENTED_EDGE ( 'NONE', *, *, #1541, .F. ) ;
#1541 = EDGE_CURVE ( 'NONE', #4328, #3751, #6885, .T. ) ;
#1542 = ADVANCED_FACE ( 'NONE', ( #6881 ), #6880, .F. ) ;
#1543 = EDGE_LOOP ( 'NONE', ( #1544, #1545, #1546, #1547 ) ) ;
#1544 = ORIENTED_EDGE ( 'NONE', *, *, #1431, .T. ) ;
#1545 = ORIENTED_EDGE ( 'NONE', *, *, #3633, .F. ) ;
#1546 = ORIENTED_EDGE ( 'NONE', *, *, #752, .F. ) ;
#1547 = ORIENTED_EDGE ( 'NONE', *, *, #1548, .T. ) ;
#1548 = EDGE_CURVE ( 'NONE', #696, #1432, #6875, .T. ) ;
#1549 = ADVANCED_FACE ( 'NONE', ( #6871 ), #6869, .F. ) ;
#1550 = EDGE_LOOP ( 'NONE', ( #1551, #1552, #1602, #1603 ) ) ;
#1551 = ORIENTED_EDGE ( 'NONE', *, *, #1434, .T. ) ;
#1552 = ORIENTED_EDGE ( 'NONE', *, *, #1548, .F. ) ;
#1553 = EDGE_CURVE ( 'NONE', #3215, #3214, #6929, .T. ) ;
#1554 = ORIENTED_EDGE ( 'NONE', *, *, #3142, .T. ) ;
#1555 = ORIENTED_EDGE ( 'NONE', *, *, #1398, .T. ) ;
#1556 = ADVANCED_FACE ( 'NONE', ( #6925 ), #6924, .T. ) ;
#1557 = EDGE_LOOP ( 'NONE', ( #1558, #1559 ) ) ;
#1558 = ORIENTED_EDGE ( 'NONE', *, *, #1553, .T. ) ;
#1559 = ORIENTED_EDGE ( 'NONE', *, *, #3213, .T. ) ;
#1560 = ADVANCED_FACE ( 'NONE', ( #6919 ), #6918, .F. ) ;
#1561 = EDGE_LOOP ( 'NONE', ( #1562, #1563, #1614, #1615 ) ) ;
#1562 = ORIENTED_EDGE ( 'NONE', *, *, #1496, .T. ) ;
#1563 = ORIENTED_EDGE ( 'NONE', *, *, #1564, .F. ) ;
#1564 = EDGE_CURVE ( 'NONE', #693, #1435, #6913, .T. ) ;
#1565 = ORIENTED_EDGE ( 'NONE', *, *, #1566, .F. ) ;
#1566 = EDGE_CURVE ( 'NONE', #3148, #3147, #6909, .T. ) ;
#1567 = ORIENTED_EDGE ( 'NONE', *, *, #3099, .T. ) ;
#1568 = ORIENTED_EDGE ( 'NONE', *, *, #1402, .T. ) ;
#1569 = ADVANCED_FACE ( 'NONE', ( #6904 ), #6903, .T. ) ;
#1570 = EDGE_LOOP ( 'NONE', ( #1571, #1572 ) ) ;
#1571 = ORIENTED_EDGE ( 'NONE', *, *, #1566, .T. ) ;
#1572 = ORIENTED_EDGE ( 'NONE', *, *, #3146, .T. ) ;
#1573 = ADVANCED_FACE ( 'NONE', ( #6964 ), #6963, .F. ) ;
#1574 = EDGE_LOOP ( 'NONE', ( #1575, #1576, #1554, #1555 ) ) ;
#1575 = ORIENTED_EDGE ( 'NONE', *, *, #3217, .F. ) ;
#1576 = ORIENTED_EDGE ( 'NONE', *, *, #1553, .F. ) ;
#1577 = EDGE_LOOP ( 'NONE', ( #1578, #1504, #1506, #1507 ) ) ;
#1578 = ORIENTED_EDGE ( 'NONE', *, *, #3107, .F. ) ;
#1579 = EDGE_CURVE ( 'NONE', #4187, #1461, #6961, .T. ) ;
#1580 = ORIENTED_EDGE ( 'NONE', *, *, #4185, .F. ) ;
#1581 = ORIENTED_EDGE ( 'NONE', *, *, #1332, .T. ) ;
#1582 = ADVANCED_FACE ( 'NONE', ( #6954 ), #6953, .F. ) ;
#1583 = EDGE_LOOP ( 'NONE', ( #1584, #1585, #1586, #1587 ) ) ;
#1584 = ORIENTED_EDGE ( 'NONE', *, *, #1457, .T. ) ;
#1585 = ORIENTED_EDGE ( 'NONE', *, *, #1336, .F. ) ;
#1586 = ORIENTED_EDGE ( 'NONE', *, *, #4192, .F. ) ;
#1587 = ORIENTED_EDGE ( 'NONE', *, *, #1588, .T. ) ;
#1588 = EDGE_CURVE ( 'NONE', #4190, #1458, #6948, .T. ) ;
#1589 = EDGE_LOOP ( 'NONE', ( #1643, #1644, #1645, #1646 ) ) ;
#1590 = ORIENTED_EDGE ( 'NONE', *, *, #1292, .F. ) ;
#1591 = ORIENTED_EDGE ( 'NONE', *, *, #4307, .F. ) ;
#1592 = ORIENTED_EDGE ( 'NONE', *, *, #1593, .T. ) ;
#1593 = EDGE_CURVE ( 'NONE', #4305, #1445, #6944, .T. ) ;
#1594 = ADVANCED_FACE ( 'NONE', ( #6940 ), #6938, .F. ) ;
#1595 = EDGE_LOOP ( 'NONE', ( #1596, #1597, #1598, #1599 ) ) ;
#1596 = ORIENTED_EDGE ( 'NONE', *, *, #1447, .T. ) ;
#1597 = ORIENTED_EDGE ( 'NONE', *, *, #1593, .F. ) ;
#1598 = ORIENTED_EDGE ( 'NONE', *, *, #4304, .F. ) ;
#1599 = ORIENTED_EDGE ( 'NONE', *, *, #1608, .T. ) ;
#1600 = ADVANCED_FACE ( 'NONE', ( #6933 ), #6932, .F. ) ;
#1601 = EDGE_LOOP ( 'NONE', ( #1654, #1655, #1580, #1581 ) ) ;
#1602 = ORIENTED_EDGE ( 'NONE', *, *, #695, .F. ) ;
#1603 = ORIENTED_EDGE ( 'NONE', *, *, #1564, .T. ) ;
#1604 = ADVANCED_FACE ( 'NONE', ( #6993 ), #6992, .F. ) ;
#1605 = EDGE_LOOP ( 'NONE', ( #1606, #1607, #1609, #1610 ) ) ;
#1606 = ORIENTED_EDGE ( 'NONE', *, *, #1425, .T. ) ;
#1607 = ORIENTED_EDGE ( 'NONE', *, *, #1608, .F. ) ;
#1608 = EDGE_CURVE ( 'NONE', #4302, #1448, #6987, .T. ) ;
#1609 = ORIENTED_EDGE ( 'NONE', *, *, #4300, .F. ) ;
#1610 = ORIENTED_EDGE ( 'NONE', *, *, #1315, .T. ) ;
#1611 = ADVANCED_FACE ( 'NONE', ( #6983 ), #6982, .F. ) ;
#1612 = EDGE_LOOP ( 'NONE', ( #1613, #1590, #1591, #1592 ) ) ;
#1613 = ORIENTED_EDGE ( 'NONE', *, *, #1444, .T. ) ;
#1614 = ORIENTED_EDGE ( 'NONE', *, *, #692, .F. ) ;
#1615 = ORIENTED_EDGE ( 'NONE', *, *, #3708, .T. ) ;
#1616 = ORIENTED_EDGE ( 'NONE', *, *, #1389, .T. ) ;
#1617 = ADVANCED_FACE ( 'NONE', ( #6977 ), #6976, .T. ) ;
#1618 = EDGE_LOOP ( 'NONE', ( #1619, #1623, #1626, #1629 ) ) ;
#1619 = ORIENTED_EDGE ( 'NONE', *, *, #1620, .F. ) ;
#1620 = EDGE_CURVE ( 'NONE', #1621, #1622, #6970, .T. ) ;
#1621 = VERTEX_POINT ( 'NONE', #6966 ) ;
#1622 = VERTEX_POINT ( 'NONE', #6965 ) ;
#1623 = ORIENTED_EDGE ( 'NONE', *, *, #1624, .F. ) ;
#1624 = EDGE_CURVE ( 'NONE', #1625, #1621, #7029, .T. ) ;
#1625 = VERTEX_POINT ( 'NONE', #7025 ) ;
#1626 = ORIENTED_EDGE ( 'NONE', *, *, #1627, .F. ) ;
#1627 = EDGE_CURVE ( 'NONE', #1628, #1625, #7024, .T. ) ;
#1628 = VERTEX_POINT ( 'NONE', #7019 ) ;
#1629 = ORIENTED_EDGE ( 'NONE', *, *, #1630, .F. ) ;
#1630 = EDGE_CURVE ( 'NONE', #1622, #1628, #7018, .T. ) ;
#1631 = ORIENTED_EDGE ( 'NONE', *, *, #1356, .T. ) ;
#1632 = ADVANCED_FACE ( 'NONE', ( #7014 ), #7013, .F. ) ;
#1633 = ORIENTED_EDGE ( 'NONE', *, *, #1502, .T. ) ;
#1634 = ORIENTED_EDGE ( 'NONE', *, *, #1360, .F. ) ;
#1635 = ORIENTED_EDGE ( 'NONE', *, *, #4034, .F. ) ;
#1636 = ORIENTED_EDGE ( 'NONE', *, *, #3209, .T. ) ;
#1637 = ADVANCED_FACE ( 'NONE', ( #7008 ), #7007, .F. ) ;
#1638 = EDGE_LOOP ( 'NONE', ( #1639, #1640, #1641, #1616 ) ) ;
#1639 = ORIENTED_EDGE ( 'NONE', *, *, #3125, .F. ) ;
#1640 = ORIENTED_EDGE ( 'NONE', *, *, #3977, .F. ) ;
#1641 = ORIENTED_EDGE ( 'NONE', *, *, #1651, .T. ) ;
#1642 = ADVANCED_FACE ( 'NONE', ( #7001 ), #7000, .F. ) ;
#1643 = ORIENTED_EDGE ( 'NONE', *, *, #1460, .T. ) ;
#1644 = ORIENTED_EDGE ( 'NONE', *, *, #1588, .F. ) ;
#1645 = ORIENTED_EDGE ( 'NONE', *, *, #4189, .F. ) ;
#1646 = ORIENTED_EDGE ( 'NONE', *, *, #1579, .T. ) ;
#1647 = ADVANCED_FACE ( 'NONE', ( #7061 ), #6999, .F. ) ;
#1648 = EDGE_LOOP ( 'NONE', ( #1649, #1650, #1652, #1631 ) ) ;
#1649 = ORIENTED_EDGE ( 'NONE', *, *, #1451, .T. ) ;
#1650 = ORIENTED_EDGE ( 'NONE', *, *, #1651, .F. ) ;
#1651 = EDGE_CURVE ( 'NONE', #3975, #1390, #7056, .T. ) ;
#1652 = ORIENTED_EDGE ( 'NONE', *, *, #3973, .F. ) ;
#1653 = EDGE_LOOP ( 'NONE', ( #1633, #1634, #1635, #1636 ) ) ;
#1654 = ORIENTED_EDGE ( 'NONE', *, *, #1438, .T. ) ;
#1655 = ORIENTED_EDGE ( 'NONE', *, *, #1579, .F. ) ;
#1656 = EDGE_CURVE ( 'NONE', #1657, #1736, #7052, .T. ) ;
#1657 = VERTEX_POINT ( 'NONE', #7048 ) ;
#1658 = ORIENTED_EDGE ( 'NONE', *, *, #1659, .F. ) ;
#1659 = EDGE_CURVE ( 'NONE', #1660, #1657, #7047, .T. ) ;
#1660 = VERTEX_POINT ( 'NONE', #7042 ) ;
#1661 = ORIENTED_EDGE ( 'NONE', *, *, #1662, .F. ) ;
#1662 = EDGE_CURVE ( 'NONE', #1737, #1660, #7041, .T. ) ;
#1663 = ADVANCED_FACE ( 'NONE', ( #7037 ), #7034, .T. ) ;
#1664 = EDGE_LOOP ( 'NONE', ( #1665, #1722, #1725, #1728 ) ) ;
#1665 = ORIENTED_EDGE ( 'NONE', *, *, #1719, .F. ) ;
#1666 = ADVANCED_FACE ( 'NONE', ( #7036 ), #7035, .T. ) ;
#1667 = EDGE_LOOP ( 'NONE', ( #1668, #1672, #1675, #1678 ) ) ;
#1668 = ORIENTED_EDGE ( 'NONE', *, *, #1669, .F. ) ;
#1669 = EDGE_CURVE ( 'NONE', #1670, #1671, #7089, .T. ) ;
#1670 = VERTEX_POINT ( 'NONE', #7085 ) ;
#1671 = VERTEX_POINT ( 'NONE', #7084 ) ;
#1672 = ORIENTED_EDGE ( 'NONE', *, *, #1673, .F. ) ;
#1673 = EDGE_CURVE ( 'NONE', #1674, #1670, #7083, .T. ) ;
#1674 = VERTEX_POINT ( 'NONE', #7079 ) ;
#1675 = ORIENTED_EDGE ( 'NONE', *, *, #1676, .F. ) ;
#1676 = EDGE_CURVE ( 'NONE', #1677, #1674, #7078, .T. ) ;
#1677 = VERTEX_POINT ( 'NONE', #7073 ) ;
#1678 = ORIENTED_EDGE ( 'NONE', *, *, #1679, .F. ) ;
#1679 = EDGE_CURVE ( 'NONE', #1671, #1677, #7072, .T. ) ;
#1680 = ADVANCED_FACE ( 'NONE', ( #7068 ), #7066, .T. ) ;
#1681 = EDGE_LOOP ( 'NONE', ( #1734, #1738, #1658, #1661 ) ) ;
#1682 = ADVANCED_FACE ( 'NONE', ( #7067 ), #7124, .T. ) ;
#1683 = EDGE_LOOP ( 'NONE', ( #1684, #1688, #1691, #1694 ) ) ;
#1684 = ORIENTED_EDGE ( 'NONE', *, *, #1685, .F. ) ;
#1685 = EDGE_CURVE ( 'NONE', #1686, #1687, #7118, .T. ) ;
#1686 = VERTEX_POINT ( 'NONE', #7114 ) ;
#1687 = VERTEX_POINT ( 'NONE', #7113 ) ;
#1688 = ORIENTED_EDGE ( 'NONE', *, *, #1689, .F. ) ;
#1689 = EDGE_CURVE ( 'NONE', #1690, #1686, #7112, .T. ) ;
#1690 = VERTEX_POINT ( 'NONE', #7108 ) ;
#1691 = ORIENTED_EDGE ( 'NONE', *, *, #1692, .F. ) ;
#1692 = EDGE_CURVE ( 'NONE', #1693, #1690, #7107, .T. ) ;
#1693 = VERTEX_POINT ( 'NONE', #7102 ) ;
#1694 = ORIENTED_EDGE ( 'NONE', *, *, #1695, .F. ) ;
#1695 = EDGE_CURVE ( 'NONE', #1687, #1693, #7100, .T. ) ;
#1696 = ADVANCED_FACE ( 'NONE', ( #7095 ), #7096, .F. ) ;
#1697 = EDGE_LOOP ( 'NONE', ( #1698, #1702, #1761, #1764 ) ) ;
#1698 = ORIENTED_EDGE ( 'NONE', *, *, #1699, .F. ) ;
#1699 = EDGE_CURVE ( 'NONE', #1700, #1701, #7153, .T. ) ;
#1700 = VERTEX_POINT ( 'NONE', #7149 ) ;
#1701 = VERTEX_POINT ( 'NONE', #7148 ) ;
#1702 = ORIENTED_EDGE ( 'NONE', *, *, #1759, .F. ) ;
#1703 = VERTEX_POINT ( 'NONE', #7147 ) ;
#1704 = VERTEX_POINT ( 'NONE', #7146 ) ;
#1705 = ORIENTED_EDGE ( 'NONE', *, *, #1706, .F. ) ;
#1706 = EDGE_CURVE ( 'NONE', #1707, #1703, #7145, .T. ) ;
#1707 = VERTEX_POINT ( 'NONE', #7141 ) ;
#1708 = ORIENTED_EDGE ( 'NONE', *, *, #1709, .F. ) ;
#1709 = EDGE_CURVE ( 'NONE', #1710, #1707, #7140, .T. ) ;
#1710 = VERTEX_POINT ( 'NONE', #7135 ) ;
#1711 = ORIENTED_EDGE ( 'NONE', *, *, #1712, .F. ) ;
#1712 = EDGE_CURVE ( 'NONE', #1704, #1710, #7134, .T. ) ;
#1713 = ADVANCED_FACE ( 'NONE', ( #7130 ), #7128, .T. ) ;
#1714 = EDGE_LOOP ( 'NONE', ( #1715, #1774, #1777, #1780 ) ) ;
#1715 = ORIENTED_EDGE ( 'NONE', *, *, #1716, .F. ) ;
#1716 = EDGE_CURVE ( 'NONE', #1717, #1718, #7129, .T. ) ;
#1717 = VERTEX_POINT ( 'NONE', #7184 ) ;
#1718 = VERTEX_POINT ( 'NONE', #7183 ) ;
#1719 = EDGE_CURVE ( 'NONE', #1720, #1721, #7182, .T. ) ;
#1720 = VERTEX_POINT ( 'NONE', #7177 ) ;
#1721 = VERTEX_POINT ( 'NONE', #7176 ) ;
#1722 = ORIENTED_EDGE ( 'NONE', *, *, #1723, .F. ) ;
#1723 = EDGE_CURVE ( 'NONE', #1724, #1720, #7175, .T. ) ;
#1724 = VERTEX_POINT ( 'NONE', #7171 ) ;
#1725 = ORIENTED_EDGE ( 'NONE', *, *, #1726, .F. ) ;
#1726 = EDGE_CURVE ( 'NONE', #1727, #1724, #7170, .T. ) ;
#1727 = VERTEX_POINT ( 'NONE', #7165 ) ;
#1728 = ORIENTED_EDGE ( 'NONE', *, *, #1729, .F. ) ;
#1729 = EDGE_CURVE ( 'NONE', #1721, #1727, #7163, .T. ) ;
#1730 = ADVANCED_FACE ( 'NONE', ( #7221 ), #7220, .T. ) ;
#1731 = EDGE_LOOP ( 'NONE', ( #1732, #1705, #1708, #1711 ) ) ;
#1732 = ORIENTED_EDGE ( 'NONE', *, *, #1733, .F. ) ;
#1733 = EDGE_CURVE ( 'NONE', #1703, #1704, #7214, .T. ) ;
#1734 = ORIENTED_EDGE ( 'NONE', *, *, #1735, .F. ) ;
#1735 = EDGE_CURVE ( 'NONE', #1736, #1737, #7210, .T. ) ;
#1736 = VERTEX_POINT ( 'NONE', #7205 ) ;
#1737 = VERTEX_POINT ( 'NONE', #7204 ) ;
#1738 = ORIENTED_EDGE ( 'NONE', *, *, #1656, .F. ) ;
#1739 = VERTEX_POINT ( 'NONE', #7203 ) ;
#1740 = ORIENTED_EDGE ( 'NONE', *, *, #1741, .F. ) ;
#1741 = EDGE_CURVE ( 'NONE', #1742, #1823, #7202, .T. ) ;
#1742 = VERTEX_POINT ( 'NONE', #7198 ) ;
#1743 = ORIENTED_EDGE ( 'NONE', *, *, #1798, .F. ) ;
#1744 = VERTEX_POINT ( 'NONE', #7197 ) ;
#1745 = ORIENTED_EDGE ( 'NONE', *, *, #1746, .F. ) ;
#1746 = EDGE_CURVE ( 'NONE', #1747, #1744, #7196, .T. ) ;
#1747 = VERTEX_POINT ( 'NONE', #7191 ) ;
#1748 = ORIENTED_EDGE ( 'NONE', *, *, #1749, .F. ) ;
#1749 = EDGE_CURVE ( 'NONE', #1771, #1747, #7252, .T. ) ;
#1750 = ADVANCED_FACE ( 'NONE', ( #7248 ), #7246, .F. ) ;
#1751 = EDGE_LOOP ( 'NONE', ( #1752, #1756, #1814, #1817 ) ) ;
#1752 = ORIENTED_EDGE ( 'NONE', *, *, #1753, .F. ) ;
#1753 = EDGE_CURVE ( 'NONE', #1754, #1755, #7241, .T. ) ;
#1754 = VERTEX_POINT ( 'NONE', #7237 ) ;
#1755 = VERTEX_POINT ( 'NONE', #7236 ) ;
#1756 = ORIENTED_EDGE ( 'NONE', *, *, #1757, .F. ) ;
#1757 = EDGE_CURVE ( 'NONE', #1758, #1754, #7235, .T. ) ;
#1758 = VERTEX_POINT ( 'NONE', #7231 ) ;
#1759 = EDGE_CURVE ( 'NONE', #1760, #1700, #7230, .T. ) ;
#1760 = VERTEX_POINT ( 'NONE', #7226 ) ;
#1761 = ORIENTED_EDGE ( 'NONE', *, *, #1762, .F. ) ;
#1762 = EDGE_CURVE ( 'NONE', #1763, #1760, #7225, .T. ) ;
#1763 = VERTEX_POINT ( 'NONE', #7283 ) ;
#1764 = ORIENTED_EDGE ( 'NONE', *, *, #1765, .F. ) ;
#1765 = EDGE_CURVE ( 'NONE', #1701, #1763, #7282, .T. ) ;
#1766 = ADVANCED_FACE ( 'NONE', ( #7278 ), #7277, .F. ) ;
#1767 = EDGE_LOOP ( 'NONE', ( #1768, #1772, #1745, #1748 ) ) ;
#1768 = ORIENTED_EDGE ( 'NONE', *, *, #1769, .F. ) ;
#1769 = EDGE_CURVE ( 'NONE', #1770, #1771, #7271, .T. ) ;
#1770 = VERTEX_POINT ( 'NONE', #7267 ) ;
#1771 = VERTEX_POINT ( 'NONE', #7266 ) ;
#1772 = ORIENTED_EDGE ( 'NONE', *, *, #1773, .F. ) ;
#1773 = EDGE_CURVE ( 'NONE', #1744, #1770, #7265, .T. ) ;
#1774 = ORIENTED_EDGE ( 'NONE', *, *, #1775, .F. ) ;
#1775 = EDGE_CURVE ( 'NONE', #1776, #1717, #7261, .T. ) ;
#1776 = VERTEX_POINT ( 'NONE', #7257 ) ;
#1777 = ORIENTED_EDGE ( 'NONE', *, *, #1778, .F. ) ;
#1778 = EDGE_CURVE ( 'NONE', #1779, #1776, #7256, .T. ) ;
#1779 = VERTEX_POINT ( 'NONE', #7314 ) ;
#1780 = ORIENTED_EDGE ( 'NONE', *, *, #1781, .F. ) ;
#1781 = EDGE_CURVE ( 'NONE', #1718, #1779, #7313, .T. ) ;
#1782 = EDGE_CURVE ( 'NONE', #1856, #1862, #7309, .T. ) ;
#1783 = ORIENTED_EDGE ( 'NONE', *, *, #1784, .F. ) ;
#1784 = EDGE_CURVE ( 'NONE', #1807, #1813, #7305, .T. ) ;
#1785 = ADVANCED_FACE ( 'NONE', ( #7301 ), #7299, .F. ) ;
#1786 = EDGE_LOOP ( 'NONE', ( #1787, #1791, #1794, #1797 ) ) ;
#1787 = ORIENTED_EDGE ( 'NONE', *, *, #1788, .F. ) ;
#1788 = EDGE_CURVE ( 'NONE', #1789, #1790, #7294, .T. ) ;
#1789 = VERTEX_POINT ( 'NONE', #7290 ) ;
#1790 = VERTEX_POINT ( 'NONE', #7289 ) ;
#1791 = ORIENTED_EDGE ( 'NONE', *, *, #1792, .F. ) ;
#1792 = EDGE_CURVE ( 'NONE', #1793, #1789, #7288, .T. ) ;
#1793 = VERTEX_POINT ( 'NONE', #7345 ) ;
#1794 = ORIENTED_EDGE ( 'NONE', *, *, #1795, .F. ) ;
#1795 = EDGE_CURVE ( 'NONE', #1796, #1793, #7344, .T. ) ;
#1796 = VERTEX_POINT ( 'NONE', #7339 ) ;
#1797 = ORIENTED_EDGE ( 'NONE', *, *, #1850, .F. ) ;
#1798 = EDGE_CURVE ( 'NONE', #1799, #1742, #7338, .T. ) ;
#1799 = VERTEX_POINT ( 'NONE', #7333 ) ;
#1800 = ORIENTED_EDGE ( 'NONE', *, *, #1801, .F. ) ;
#1801 = EDGE_CURVE ( 'NONE', #1739, #1799, #7332, .T. ) ;
#1802 = ADVANCED_FACE ( 'NONE', ( #7328 ), #7327, .F. ) ;
#1803 = EDGE_LOOP ( 'NONE', ( #1804, #1808, #1811, #1783 ) ) ;
#1804 = ORIENTED_EDGE ( 'NONE', *, *, #1805, .F. ) ;
#1805 = EDGE_CURVE ( 'NONE', #1806, #1807, #7326, .T. ) ;
#1806 = VERTEX_POINT ( 'NONE', #7317 ) ;
#1807 = VERTEX_POINT ( 'NONE', #7316 ) ;
#1808 = ORIENTED_EDGE ( 'NONE', *, *, #1809, .F. ) ;
#1809 = EDGE_CURVE ( 'NONE', #1810, #1806, #7378, .T. ) ;
#1810 = VERTEX_POINT ( 'NONE', #7374 ) ;
#1811 = ORIENTED_EDGE ( 'NONE', *, *, #1812, .F. ) ;
#1812 = EDGE_CURVE ( 'NONE', #1813, #1810, #7373, .T. ) ;
#1813 = VERTEX_POINT ( 'NONE', #7368 ) ;
#1814 = ORIENTED_EDGE ( 'NONE', *, *, #1815, .F. ) ;
#1815 = EDGE_CURVE ( 'NONE', #1816, #1758, #7367, .T. ) ;
#1816 = VERTEX_POINT ( 'NONE', #7362 ) ;
#1817 = ORIENTED_EDGE ( 'NONE', *, *, #1818, .F. ) ;
#1818 = EDGE_CURVE ( 'NONE', #1755, #1816, #7361, .T. ) ;
#1819 = ADVANCED_FACE ( 'NONE', ( #7357 ), #7356, .F. ) ;
#1820 = EDGE_LOOP ( 'NONE', ( #1821, #1740, #1743, #1800 ) ) ;
#1821 = ORIENTED_EDGE ( 'NONE', *, *, #1822, .F. ) ;
#1822 = EDGE_CURVE ( 'NONE', #1823, #1739, #7355, .T. ) ;
#1823 = VERTEX_POINT ( 'NONE', #7346 ) ;
#1824 = ORIENTED_EDGE ( 'NONE', *, *, #1825, .T. ) ;
#1825 = EDGE_CURVE ( 'NONE', #1621, #1701, #7409, .T. ) ;
#1826 = ORIENTED_EDGE ( 'NONE', *, *, #1765, .T. ) ;
#1827 = ADVANCED_FACE ( 'NONE', ( #7405 ), #7404, .F. ) ;
#1828 = EDGE_LOOP ( 'NONE', ( #1829, #1830, #1831, #1832, #1835, #1895, #1898, #1901, #1903 ) ) ;
#1829 = ORIENTED_EDGE ( 'NONE', *, *, #1825, .F. ) ;
#1830 = ORIENTED_EDGE ( 'NONE', *, *, #1620, .T. ) ;
#1831 = ORIENTED_EDGE ( 'NONE', *, *, #1840, .F. ) ;
#1832 = ORIENTED_EDGE ( 'NONE', *, *, #1833, .T. ) ;
#1833 = EDGE_CURVE ( 'NONE', #2906, #1834, #7398, .T. ) ;
#1834 = VERTEX_POINT ( 'NONE', #7399 ) ;
#1835 = ORIENTED_EDGE ( 'NONE', *, *, #1836, .F. ) ;
#1836 = EDGE_CURVE ( 'NONE', #1894, #1834, #7381, .T. ) ;
#1837 = ADVANCED_FACE ( 'NONE', ( #7396 ), #7445, .T. ) ;
#1838 = EDGE_LOOP ( 'NONE', ( #1839, #1841, #1842, #1844 ) ) ;
#1839 = ORIENTED_EDGE ( 'NONE', *, *, #1840, .T. ) ;
#1840 = EDGE_CURVE ( 'NONE', #2906, #1622, #7440, .T. ) ;
#1841 = ORIENTED_EDGE ( 'NONE', *, *, #1630, .T. ) ;
#1842 = ORIENTED_EDGE ( 'NONE', *, *, #1843, .T. ) ;
#1843 = EDGE_CURVE ( 'NONE', #1628, #2909, #7436, .T. ) ;
#1844 = ORIENTED_EDGE ( 'NONE', *, *, #2908, .F. ) ;
#1845 = ADVANCED_FACE ( 'NONE', ( #7432 ), #7431, .F. ) ;
#1846 = EDGE_LOOP ( 'NONE', ( #1847, #1849, #1824, #1826 ) ) ;
#1847 = ORIENTED_EDGE ( 'NONE', *, *, #1848, .F. ) ;
#1848 = EDGE_CURVE ( 'NONE', #1625, #1763, #7426, .T. ) ;
#1849 = ORIENTED_EDGE ( 'NONE', *, *, #1624, .T. ) ;
#1850 = EDGE_CURVE ( 'NONE', #1790, #1796, #7422, .T. ) ;
#1851 = ADVANCED_FACE ( 'NONE', ( #7418 ), #7415, .F. ) ;
#1852 = EDGE_LOOP ( 'NONE', ( #1853, #1857, #1860, #1863 ) ) ;
#1853 = ORIENTED_EDGE ( 'NONE', *, *, #1854, .F. ) ;
#1854 = EDGE_CURVE ( 'NONE', #1855, #1856, #7472, .T. ) ;
#1855 = VERTEX_POINT ( 'NONE', #7467 ) ;
#1856 = VERTEX_POINT ( 'NONE', #7466 ) ;
#1857 = ORIENTED_EDGE ( 'NONE', *, *, #1858, .F. ) ;
#1858 = EDGE_CURVE ( 'NONE', #1859, #1855, #7465, .T. ) ;
#1859 = VERTEX_POINT ( 'NONE', #7461 ) ;
#1860 = ORIENTED_EDGE ( 'NONE', *, *, #1861, .F. ) ;
#1861 = EDGE_CURVE ( 'NONE', #1862, #1859, #7460, .T. ) ;
#1862 = VERTEX_POINT ( 'NONE', #7455 ) ;
#1863 = ORIENTED_EDGE ( 'NONE', *, *, #1782, .F. ) ;
#1864 = ADVANCED_FACE ( 'NONE', ( #7454 ), #7453, .F. ) ;
#1865 = EDGE_LOOP ( 'NONE', ( #1866, #933, #1925, #1926, #1929, #1932, #1935, #1938, #1913 ) ) ;
#1866 = ORIENTED_EDGE ( 'NONE', *, *, #1946, .F. ) ;
#1867 = VERTEX_POINT ( 'NONE', #7448 ) ;
#1868 = ORIENTED_EDGE ( 'NONE', *, *, #1869, .T. ) ;
#1869 = EDGE_CURVE ( 'NONE', #1867, #2909, #7447, .T. ) ;
#1870 = ADVANCED_FACE ( 'NONE', ( #7446 ), #7509, .T. ) ;
#1871 = EDGE_LOOP ( 'NONE', ( #1872, #1875, #1876, #1878, #1879 ) ) ;
#1872 = ORIENTED_EDGE ( 'NONE', *, *, #1873, .T. ) ;
#1873 = EDGE_CURVE ( 'NONE', #1874, #1687, #7486, .T. ) ;
#1874 = VERTEX_POINT ( 'NONE', #7482 ) ;
#1875 = ORIENTED_EDGE ( 'NONE', *, *, #1695, .T. ) ;
#1876 = ORIENTED_EDGE ( 'NONE', *, *, #1877, .T. ) ;
#1877 = EDGE_CURVE ( 'NONE', #1693, #2903, #7481, .T. ) ;
#1878 = ORIENTED_EDGE ( 'NONE', *, *, #2902, .F. ) ;
#1879 = ORIENTED_EDGE ( 'NONE', *, *, #1939, .F. ) ;
#1880 = ORIENTED_EDGE ( 'NONE', *, *, #1627, .T. ) ;
#1881 = ORIENTED_EDGE ( 'NONE', *, *, #1848, .T. ) ;
#1882 = ORIENTED_EDGE ( 'NONE', *, *, #1762, .T. ) ;
#1883 = ORIENTED_EDGE ( 'NONE', *, *, #1884, .T. ) ;
#1884 = EDGE_CURVE ( 'NONE', #1760, #1885, #7477, .T. ) ;
#1885 = VERTEX_POINT ( 'NONE', #7473 ) ;
#1886 = ORIENTED_EDGE ( 'NONE', *, *, #1887, .T. ) ;
#1887 = EDGE_CURVE ( 'NONE', #1885, #1888, #7541, .T. ) ;
#1888 = VERTEX_POINT ( 'NONE', #7542 ) ;
#1889 = ORIENTED_EDGE ( 'NONE', *, *, #1890, .T. ) ;
#1890 = EDGE_CURVE ( 'NONE', #1888, #1891, #7539, .T. ) ;
#1891 = VERTEX_POINT ( 'NONE', #7520 ) ;
#1892 = ORIENTED_EDGE ( 'NONE', *, *, #1893, .F. ) ;
#1893 = EDGE_CURVE ( 'NONE', #1867, #1891, #7519, .T. ) ;
#1894 = VERTEX_POINT ( 'NONE', #7515 ) ;
#1895 = ORIENTED_EDGE ( 'NONE', *, *, #1896, .T. ) ;
#1896 = EDGE_CURVE ( 'NONE', #1894, #1897, #7514, .T. ) ;
#1897 = VERTEX_POINT ( 'NONE', #7510 ) ;
#1898 = ORIENTED_EDGE ( 'NONE', *, *, #1899, .T. ) ;
#1899 = EDGE_CURVE ( 'NONE', #1897, #1900, #7573, .T. ) ;
#1900 = VERTEX_POINT ( 'NONE', #7574 ) ;
#1901 = ORIENTED_EDGE ( 'NONE', *, *, #1902, .T. ) ;
#1902 = EDGE_CURVE ( 'NONE', #1900, #1700, #7575, .T. ) ;
#1903 = ORIENTED_EDGE ( 'NONE', *, *, #1699, .T. ) ;
#1904 = ADVANCED_FACE ( 'NONE', ( #7555 ), #7554, .F. ) ;
#1905 = EDGE_LOOP ( 'NONE', ( #1906, #1880, #1881, #1882, #1883, #1886, #1889, #1892, #1868 ) ) ;
#1906 = ORIENTED_EDGE ( 'NONE', *, *, #1843, .F. ) ;
#1907 = ADVANCED_FACE ( 'NONE', ( #7549 ), #7548, .T. ) ;
#1908 = EDGE_LOOP ( 'NONE', ( #1909, #1970, #1971, #1974 ) ) ;
#1909 = ORIENTED_EDGE ( 'NONE', *, *, #1910, .T. ) ;
#1910 = EDGE_CURVE ( 'NONE', #1911, #1671, #7543, .T. ) ;
#1911 = VERTEX_POINT ( 'NONE', #7602 ) ;
#1912 = EDGE_CURVE ( 'NONE', #1937, #1770, #7601, .T. ) ;
#1913 = ORIENTED_EDGE ( 'NONE', *, *, #1769, .T. ) ;
#1914 = ADVANCED_FACE ( 'NONE', ( #7597 ), #7596, .F. ) ;
#1915 = EDGE_LOOP ( 'NONE', ( #1916, #1917, #1918, #1919, #1920, #1923, #1983, #1986, #1989 ) ) ;
#1916 = ORIENTED_EDGE ( 'NONE', *, *, #1877, .F. ) ;
#1917 = ORIENTED_EDGE ( 'NONE', *, *, #1692, .T. ) ;
#1918 = ORIENTED_EDGE ( 'NONE', *, *, #1943, .T. ) ;
#1919 = ORIENTED_EDGE ( 'NONE', *, *, #1746, .T. ) ;
#1920 = ORIENTED_EDGE ( 'NONE', *, *, #1921, .T. ) ;
#1921 = EDGE_CURVE ( 'NONE', #1744, #1922, #7591, .T. ) ;
#1922 = VERTEX_POINT ( 'NONE', #7587 ) ;
#1923 = ORIENTED_EDGE ( 'NONE', *, *, #1982, .T. ) ;
#1924 = VERTEX_POINT ( 'NONE', #7586 ) ;
#1925 = ORIENTED_EDGE ( 'NONE', *, *, #1873, .F. ) ;
#1926 = ORIENTED_EDGE ( 'NONE', *, *, #1927, .T. ) ;
#1927 = EDGE_CURVE ( 'NONE', #1874, #1928, #7584, .T. ) ;
#1928 = VERTEX_POINT ( 'NONE', #7583 ) ;
#1929 = ORIENTED_EDGE ( 'NONE', *, *, #1930, .F. ) ;
#1930 = EDGE_CURVE ( 'NONE', #1931, #1928, #7585, .T. ) ;
#1931 = VERTEX_POINT ( 'NONE', #7579 ) ;
#1932 = ORIENTED_EDGE ( 'NONE', *, *, #1933, .T. ) ;
#1933 = EDGE_CURVE ( 'NONE', #1931, #1934, #7628, .T. ) ;
#1934 = VERTEX_POINT ( 'NONE', #7624 ) ;
#1935 = ORIENTED_EDGE ( 'NONE', *, *, #1936, .T. ) ;
#1936 = EDGE_CURVE ( 'NONE', #1934, #1937, #7622, .T. ) ;
#1937 = VERTEX_POINT ( 'NONE', #7621 ) ;
#1938 = ORIENTED_EDGE ( 'NONE', *, *, #1912, .T. ) ;
#1939 = EDGE_CURVE ( 'NONE', #1874, #2900, #7619, .T. ) ;
#1940 = ADVANCED_FACE ( 'NONE', ( #7620 ), #7669, .F. ) ;
#1941 = EDGE_LOOP ( 'NONE', ( #1942, #1944, #1945, #1947 ) ) ;
#1942 = ORIENTED_EDGE ( 'NONE', *, *, #1943, .F. ) ;
#1943 = EDGE_CURVE ( 'NONE', #1690, #1747, #7668, .T. ) ;
#1944 = ORIENTED_EDGE ( 'NONE', *, *, #1689, .T. ) ;
#1945 = ORIENTED_EDGE ( 'NONE', *, *, #1946, .T. ) ;
#1946 = EDGE_CURVE ( 'NONE', #1686, #1771, #7660, .T. ) ;
#1947 = ORIENTED_EDGE ( 'NONE', *, *, #1749, .T. ) ;
#1948 = ORIENTED_EDGE ( 'NONE', *, *, #1949, .T. ) ;
#1949 = EDGE_CURVE ( 'NONE', #2032, #1754, #7656, .T. ) ;
#1950 = ORIENTED_EDGE ( 'NONE', *, *, #1753, .T. ) ;
#1951 = ADVANCED_FACE ( 'NONE', ( #7652 ), #7651, .F. ) ;
#1952 = EDGE_LOOP ( 'NONE', ( #1953, #1954, #1955, #2014, #2015, #2018, #2021, #2024, #2027 ) ) ;
#1953 = ORIENTED_EDGE ( 'NONE', *, *, #1972, .F. ) ;
#1954 = ORIENTED_EDGE ( 'NONE', *, *, #1676, .T. ) ;
#1955 = ORIENTED_EDGE ( 'NONE', *, *, #1979, .T. ) ;
#1956 = EDGE_CURVE ( 'NONE', #1670, #1755, #7646, .T. ) ;
#1957 = ORIENTED_EDGE ( 'NONE', *, *, #1818, .T. ) ;
#1958 = ADVANCED_FACE ( 'NONE', ( #7706 ), #7642, .F. ) ;
#1959 = EDGE_LOOP ( 'NONE', ( #1960, #1961, #1962, #1963, #1966, #1969, #2030, #1948, #1950 ) ) ;
#1960 = ORIENTED_EDGE ( 'NONE', *, *, #1956, .F. ) ;
#1961 = ORIENTED_EDGE ( 'NONE', *, *, #1669, .T. ) ;
#1962 = ORIENTED_EDGE ( 'NONE', *, *, #1910, .F. ) ;
#1963 = ORIENTED_EDGE ( 'NONE', *, *, #1964, .T. ) ;
#1964 = EDGE_CURVE ( 'NONE', #1911, #1965, #7699, .T. ) ;
#1965 = VERTEX_POINT ( 'NONE', #7701 ) ;
#1966 = ORIENTED_EDGE ( 'NONE', *, *, #1967, .F. ) ;
#1967 = EDGE_CURVE ( 'NONE', #1968, #1965, #7700, .T. ) ;
#1968 = VERTEX_POINT ( 'NONE', #7681 ) ;
#1969 = ORIENTED_EDGE ( 'NONE', *, *, #2028, .T. ) ;
#1970 = ORIENTED_EDGE ( 'NONE', *, *, #1679, .T. ) ;
#1971 = ORIENTED_EDGE ( 'NONE', *, *, #1972, .T. ) ;
#1972 = EDGE_CURVE ( 'NONE', #1677, #1973, #7680, .T. ) ;
#1973 = VERTEX_POINT ( 'NONE', #7676 ) ;
#1974 = ORIENTED_EDGE ( 'NONE', *, *, #1975, .F. ) ;
#1975 = EDGE_CURVE ( 'NONE', #1911, #1973, #7158, .T. ) ;
#1976 = ADVANCED_FACE ( 'NONE', ( #7737 ), #7736, .F. ) ;
#1977 = EDGE_LOOP ( 'NONE', ( #1978, #1980, #1981, #1957 ) ) ;
#1978 = ORIENTED_EDGE ( 'NONE', *, *, #1979, .F. ) ;
#1979 = EDGE_CURVE ( 'NONE', #1674, #1816, #7731, .T. ) ;
#1980 = ORIENTED_EDGE ( 'NONE', *, *, #1673, .T. ) ;
#1981 = ORIENTED_EDGE ( 'NONE', *, *, #1956, .T. ) ;
#1982 = EDGE_CURVE ( 'NONE', #1922, #1924, #7727, .T. ) ;
#1983 = ORIENTED_EDGE ( 'NONE', *, *, #1984, .T. ) ;
#1984 = EDGE_CURVE ( 'NONE', #1924, #1985, #7709, .T. ) ;
#1985 = VERTEX_POINT ( 'NONE', #7725 ) ;
#1986 = ORIENTED_EDGE ( 'NONE', *, *, #1987, .F. ) ;
#1987 = EDGE_CURVE ( 'NONE', #1988, #1985, #7724, .T. ) ;
#1988 = VERTEX_POINT ( 'NONE', #7764 ) ;
#1989 = ORIENTED_EDGE ( 'NONE', *, *, #1990, .T. ) ;
#1990 = EDGE_CURVE ( 'NONE', #1988, #2903, #7763, .T. ) ;
#1991 = ORIENTED_EDGE ( 'NONE', *, *, #1992, .T. ) ;
#1992 = EDGE_CURVE ( 'NONE', #1736, #1739, #7762, .T. ) ;
#1993 = ORIENTED_EDGE ( 'NONE', *, *, #1801, .T. ) ;
#1994 = ADVANCED_FACE ( 'NONE', ( #7758 ), #7743, .F. ) ;
#1995 = EDGE_LOOP ( 'NONE', ( #1996, #1997, #1998, #2060, #2062, #2065, #2068, #2071, #2073 ) ) ;
#1996 = ORIENTED_EDGE ( 'NONE', *, *, #1992, .F. ) ;
#1997 = ORIENTED_EDGE ( 'NONE', *, *, #1735, .T. ) ;
#1998 = ORIENTED_EDGE ( 'NONE', *, *, #2004, .F. ) ;
#1999 = VERTEX_POINT ( 'NONE', #7738 ) ;
#2000 = EDGE_CURVE ( 'NONE', #2026, #1973, #7801, .T. ) ;
#2001 = ADVANCED_FACE ( 'NONE', ( #7800 ), #7802, .T. ) ;
#2002 = EDGE_LOOP ( 'NONE', ( #2003, #2006, #2007, #2010 ) ) ;
#2003 = ORIENTED_EDGE ( 'NONE', *, *, #2004, .T. ) ;
#2004 = EDGE_CURVE ( 'NONE', #2005, #1737, #7777, .T. ) ;
#2005 = VERTEX_POINT ( 'NONE', #7773 ) ;
#2006 = ORIENTED_EDGE ( 'NONE', *, *, #1662, .T. ) ;
#2007 = ORIENTED_EDGE ( 'NONE', *, *, #2008, .T. ) ;
#2008 = EDGE_CURVE ( 'NONE', #1660, #2009, #7772, .T. ) ;
#2009 = VERTEX_POINT ( 'NONE', #7768 ) ;
#2010 = ORIENTED_EDGE ( 'NONE', *, *, #2011, .F. ) ;
#2011 = EDGE_CURVE ( 'NONE', #2005, #2009, #7835, .T. ) ;
#2012 = ADVANCED_FACE ( 'NONE', ( #7836 ), #7830, .F. ) ;
#2013 = EDGE_LOOP ( 'NONE', ( #2074, #2076, #1991, #1993 ) ) ;
#2014 = ORIENTED_EDGE ( 'NONE', *, *, #1815, .T. ) ;
#2015 = ORIENTED_EDGE ( 'NONE', *, *, #2016, .T. ) ;
#2016 = EDGE_CURVE ( 'NONE', #1758, #2017, #7825, .T. ) ;
#2017 = VERTEX_POINT ( 'NONE', #7821 ) ;
#2018 = ORIENTED_EDGE ( 'NONE', *, *, #2019, .T. ) ;
#2019 = EDGE_CURVE ( 'NONE', #2017, #2020, #7819, .T. ) ;
#2020 = VERTEX_POINT ( 'NONE', #7818 ) ;
#2021 = ORIENTED_EDGE ( 'NONE', *, *, #2022, .T. ) ;
#2022 = EDGE_CURVE ( 'NONE', #2020, #2023, #7820, .T. ) ;
#2023 = VERTEX_POINT ( 'NONE', #7814 ) ;
#2024 = ORIENTED_EDGE ( 'NONE', *, *, #2025, .F. ) ;
#2025 = EDGE_CURVE ( 'NONE', #2026, #2023, #7863, .T. ) ;
#2026 = VERTEX_POINT ( 'NONE', #7859 ) ;
#2027 = ORIENTED_EDGE ( 'NONE', *, *, #2000, .T. ) ;
#2028 = EDGE_CURVE ( 'NONE', #1968, #2029, #7858, .T. ) ;
#2029 = VERTEX_POINT ( 'NONE', #7854 ) ;
#2030 = ORIENTED_EDGE ( 'NONE', *, *, #2031, .T. ) ;
#2031 = EDGE_CURVE ( 'NONE', #2029, #2032, #7851, .T. ) ;
#2032 = VERTEX_POINT ( 'NONE', #7852 ) ;
#2033 = ORIENTED_EDGE ( 'NONE', *, *, #2034, .F. ) ;
#2034 = EDGE_CURVE ( 'NONE', #2035, #2117, #7853, .T. ) ;
#2035 = VERTEX_POINT ( 'NONE', #7899 ) ;
#2036 = ORIENTED_EDGE ( 'NONE', *, *, #2037, .T. ) ;
#2037 = EDGE_CURVE ( 'NONE', #2035, #2009, #7896, .T. ) ;
#2038 = ADVANCED_FACE ( 'NONE', ( #7898 ), #7897, .T. ) ;
#2039 = EDGE_LOOP ( 'NONE', ( #2040, #2043, #2044, #2104 ) ) ;
#2040 = ORIENTED_EDGE ( 'NONE', *, *, #2041, .T. ) ;
#2041 = EDGE_CURVE ( 'NONE', #2042, #1721, #7895, .T. ) ;
#2042 = VERTEX_POINT ( 'NONE', #7871 ) ;
#2043 = ORIENTED_EDGE ( 'NONE', *, *, #1729, .T. ) ;
#2044 = ORIENTED_EDGE ( 'NONE', *, *, #2045, .T. ) ;
#2045 = EDGE_CURVE ( 'NONE', #1727, #2046, #7870, .T. ) ;
#2046 = VERTEX_POINT ( 'NONE', #7931 ) ;
#2047 = ADVANCED_FACE ( 'NONE', ( #7930 ), #7929, .F. ) ;
#2048 = EDGE_LOOP ( 'NONE', ( #2049, #2050, #2051, #2052, #2053, #2056, #2059, #2033, #2036 ) ) ;
#2049 = ORIENTED_EDGE ( 'NONE', *, *, #2008, .F. ) ;
#2050 = ORIENTED_EDGE ( 'NONE', *, *, #1659, .T. ) ;
#2051 = ORIENTED_EDGE ( 'NONE', *, *, #2075, .T. ) ;
#2052 = ORIENTED_EDGE ( 'NONE', *, *, #1798, .T. ) ;
#2053 = ORIENTED_EDGE ( 'NONE', *, *, #2054, .T. ) ;
#2054 = EDGE_CURVE ( 'NONE', #1742, #2055, #7924, .T. ) ;
#2055 = VERTEX_POINT ( 'NONE', #7920 ) ;
#2056 = ORIENTED_EDGE ( 'NONE', *, *, #2057, .T. ) ;
#2057 = EDGE_CURVE ( 'NONE', #2055, #2058, #7918, .T. ) ;
#2058 = VERTEX_POINT ( 'NONE', #7919 ) ;
#2059 = ORIENTED_EDGE ( 'NONE', *, *, #2116, .T. ) ;
#2060 = ORIENTED_EDGE ( 'NONE', *, *, #2061, .T. ) ;
#2061 = EDGE_CURVE ( 'NONE', #2005, #1999, #7917, .T. ) ;
#2062 = ORIENTED_EDGE ( 'NONE', *, *, #2063, .F. ) ;
#2063 = EDGE_CURVE ( 'NONE', #2064, #1999, #7962, .T. ) ;
#2064 = VERTEX_POINT ( 'NONE', #7944 ) ;
#2065 = ORIENTED_EDGE ( 'NONE', *, *, #2066, .T. ) ;
#2066 = EDGE_CURVE ( 'NONE', #2064, #2067, #7943, .T. ) ;
#2067 = VERTEX_POINT ( 'NONE', #7939 ) ;
#2068 = ORIENTED_EDGE ( 'NONE', *, *, #2069, .T. ) ;
#2069 = EDGE_CURVE ( 'NONE', #2067, #2070, #7934, .T. ) ;
#2070 = VERTEX_POINT ( 'NONE', #7993 ) ;
#2071 = ORIENTED_EDGE ( 'NONE', *, *, #2072, .T. ) ;
#2072 = EDGE_CURVE ( 'NONE', #2070, #1823, #7995, .T. ) ;
#2073 = ORIENTED_EDGE ( 'NONE', *, *, #1822, .T. ) ;
#2074 = ORIENTED_EDGE ( 'NONE', *, *, #2075, .F. ) ;
#2075 = EDGE_CURVE ( 'NONE', #1657, #1799, #7974, .T. ) ;
#2076 = ORIENTED_EDGE ( 'NONE', *, *, #1656, .T. ) ;
#2077 = EDGE_LOOP ( 'NONE', ( #2134, #2136, #2137, #2140, #2142 ) ) ;
#2078 = ORIENTED_EDGE ( 'NONE', *, *, #2079, .T. ) ;
#2079 = EDGE_CURVE ( 'NONE', #2103, #2080, #7968, .T. ) ;
#2080 = VERTEX_POINT ( 'NONE', #7969 ) ;
#2081 = ORIENTED_EDGE ( 'NONE', *, *, #2082, .T. ) ;
#2082 = EDGE_CURVE ( 'NONE', #2080, #1806, #7970, .T. ) ;
#2083 = ORIENTED_EDGE ( 'NONE', *, *, #1805, .T. ) ;
#2084 = ADVANCED_FACE ( 'NONE', ( #8018 ), #8017, .F. ) ;
#2085 = EDGE_LOOP ( 'NONE', ( #2086, #2087, #2088, #2089, #2090, #2148, #2151, #2154, #2157 ) ) ;
#2086 = ORIENTED_EDGE ( 'NONE', *, *, #2045, .F. ) ;
#2087 = ORIENTED_EDGE ( 'NONE', *, *, #1726, .T. ) ;
#2088 = ORIENTED_EDGE ( 'NONE', *, *, #2109, .T. ) ;
#2089 = ORIENTED_EDGE ( 'NONE', *, *, #1812, .T. ) ;
#2090 = ORIENTED_EDGE ( 'NONE', *, *, #2091, .T. ) ;
#2091 = EDGE_CURVE ( 'NONE', #1810, #2147, #8012, .T. ) ;
#2092 = ORIENTED_EDGE ( 'NONE', *, *, #2112, .F. ) ;
#2093 = ORIENTED_EDGE ( 'NONE', *, *, #1719, .T. ) ;
#2094 = ORIENTED_EDGE ( 'NONE', *, *, #2041, .F. ) ;
#2095 = ORIENTED_EDGE ( 'NONE', *, *, #2096, .T. ) ;
#2096 = EDGE_CURVE ( 'NONE', #2042, #2097, #8006, .T. ) ;
#2097 = VERTEX_POINT ( 'NONE', #8007 ) ;
#2098 = ORIENTED_EDGE ( 'NONE', *, *, #2099, .F. ) ;
#2099 = EDGE_CURVE ( 'NONE', #2100, #2097, #8008, .T. ) ;
#2100 = VERTEX_POINT ( 'NONE', #8057 ) ;
#2101 = ORIENTED_EDGE ( 'NONE', *, *, #2102, .T. ) ;
#2102 = EDGE_CURVE ( 'NONE', #2100, #2103, #8056, .T. ) ;
#2103 = VERTEX_POINT ( 'NONE', #8052 ) ;
#2104 = ORIENTED_EDGE ( 'NONE', *, *, #2105, .F. ) ;
#2105 = EDGE_CURVE ( 'NONE', #2042, #2046, #8051, .T. ) ;
#2106 = ADVANCED_FACE ( 'NONE', ( #8046 ), #8045, .F. ) ;
#2107 = EDGE_LOOP ( 'NONE', ( #2108, #2110, #2111, #2113 ) ) ;
#2108 = ORIENTED_EDGE ( 'NONE', *, *, #2109, .F. ) ;
#2109 = EDGE_CURVE ( 'NONE', #1724, #1813, #8040, .T. ) ;
#2110 = ORIENTED_EDGE ( 'NONE', *, *, #1723, .T. ) ;
#2111 = ORIENTED_EDGE ( 'NONE', *, *, #2112, .T. ) ;
#2112 = EDGE_CURVE ( 'NONE', #1720, #1807, #8036, .T. ) ;
#2113 = ORIENTED_EDGE ( 'NONE', *, *, #1784, .T. ) ;
#2114 = ADVANCED_FACE ( 'NONE', ( #8032 ), #8031, .F. ) ;
#2115 = EDGE_LOOP ( 'NONE', ( #2092, #2093, #2094, #2095, #2098, #2101, #2078, #2081, #2083 ) ) ;
#2116 = EDGE_CURVE ( 'NONE', #2058, #2117, #8093, .T. ) ;
#2117 = VERTEX_POINT ( 'NONE', #8085 ) ;
#2118 = ADVANCED_FACE ( 'NONE', ( #8084 ), #8083, .F. ) ;
#2119 = EDGE_LOOP ( 'NONE', ( #2120, #2179, #2180, #2181, #2182, #2185, #2188, #2165, #2168 ) ) ;
#2120 = ORIENTED_EDGE ( 'NONE', *, *, #2138, .F. ) ;
#2121 = ORIENTED_EDGE ( 'NONE', *, *, #1706, .T. ) ;
#2122 = ORIENTED_EDGE ( 'NONE', *, *, #2123, .T. ) ;
#2123 = EDGE_CURVE ( 'NONE', #1703, #1790, #8078, .T. ) ;
#2124 = ORIENTED_EDGE ( 'NONE', *, *, #1850, .T. ) ;
#2125 = ADVANCED_FACE ( 'NONE', ( #8074 ), #8073, .F. ) ;
#2126 = EDGE_LOOP ( 'NONE', ( #2127, #2128, #2129, #2130, #2191, #2193, #2196, #2199, #2201 ) ) ;
#2127 = ORIENTED_EDGE ( 'NONE', *, *, #2123, .F. ) ;
#2128 = ORIENTED_EDGE ( 'NONE', *, *, #1733, .T. ) ;
#2129 = ORIENTED_EDGE ( 'NONE', *, *, #2135, .F. ) ;
#2130 = ORIENTED_EDGE ( 'NONE', *, *, #2131, .T. ) ;
#2131 = EDGE_CURVE ( 'NONE', #2961, #2132, #8068, .T. ) ;
#2132 = VERTEX_POINT ( 'NONE', #8065 ) ;
#2133 = VERTEX_POINT ( 'NONE', #8130 ) ;
#2134 = ORIENTED_EDGE ( 'NONE', *, *, #2135, .T. ) ;
#2135 = EDGE_CURVE ( 'NONE', #2961, #1704, #8129, .T. ) ;
#2136 = ORIENTED_EDGE ( 'NONE', *, *, #1712, .T. ) ;
#2137 = ORIENTED_EDGE ( 'NONE', *, *, #2138, .T. ) ;
#2138 = EDGE_CURVE ( 'NONE', #1710, #2139, #8113, .T. ) ;
#2139 = VERTEX_POINT ( 'NONE', #8109 ) ;
#2140 = ORIENTED_EDGE ( 'NONE', *, *, #2141, .F. ) ;
#2141 = EDGE_CURVE ( 'NONE', #2962, #2139, #8108, .T. ) ;
#2142 = ORIENTED_EDGE ( 'NONE', *, *, #2960, .F. ) ;
#2143 = ADVANCED_FACE ( 'NONE', ( #8103 ), #8102, .F. ) ;
#2144 = EDGE_LOOP ( 'NONE', ( #2145, #2121, #2122, #2124 ) ) ;
#2145 = ORIENTED_EDGE ( 'NONE', *, *, #2146, .F. ) ;
#2146 = EDGE_CURVE ( 'NONE', #1707, #1796, #8097, .T. ) ;
#2147 = VERTEX_POINT ( 'NONE', #8159 ) ;
#2148 = ORIENTED_EDGE ( 'NONE', *, *, #2149, .T. ) ;
#2149 = EDGE_CURVE ( 'NONE', #2147, #2150, #8157, .T. ) ;
#2150 = VERTEX_POINT ( 'NONE', #8156 ) ;
#2151 = ORIENTED_EDGE ( 'NONE', *, *, #2152, .T. ) ;
#2152 = EDGE_CURVE ( 'NONE', #2150, #2153, #8158, .T. ) ;
#2153 = VERTEX_POINT ( 'NONE', #8152 ) ;
#2154 = ORIENTED_EDGE ( 'NONE', *, *, #2155, .F. ) ;
#2155 = EDGE_CURVE ( 'NONE', #2156, #2153, #8135, .T. ) ;
#2156 = VERTEX_POINT ( 'NONE', #8131 ) ;
#2157 = ORIENTED_EDGE ( 'NONE', *, *, #2158, .T. ) ;
#2158 = EDGE_CURVE ( 'NONE', #2156, #2046, #8194, .T. ) ;
#2159 = ADVANCED_FACE ( 'NONE', ( #8195 ), #8192, .T. ) ;
#2160 = ORIENTED_EDGE ( 'NONE', *, *, #1782, .T. ) ;
#2161 = ADVANCED_FACE ( 'NONE', ( #8193 ), #8169, .F. ) ;
#2162 = EDGE_LOOP ( 'NONE', ( #2163, #2164, #2225, #2226, #2229, #2232, #2235, #2238, #2213 ) ) ;
#2163 = ORIENTED_EDGE ( 'NONE', *, *, #2244, .F. ) ;
#2164 = ORIENTED_EDGE ( 'NONE', *, *, #1716, .T. ) ;
#2165 = ORIENTED_EDGE ( 'NONE', *, *, #2166, .F. ) ;
#2166 = EDGE_CURVE ( 'NONE', #2167, #2190, #8164, .T. ) ;
#2167 = VERTEX_POINT ( 'NONE', #8160 ) ;
#2168 = ORIENTED_EDGE ( 'NONE', *, *, #2169, .T. ) ;
#2169 = EDGE_CURVE ( 'NONE', #2167, #2139, #8231, .T. ) ;
#2170 = ADVANCED_FACE ( 'NONE', ( #8232 ), #8230, .T. ) ;
#2171 = EDGE_LOOP ( 'NONE', ( #2172, #2174, #2175, #2177 ) ) ;
#2172 = ORIENTED_EDGE ( 'NONE', *, *, #2173, .T. ) ;
#2173 = EDGE_CURVE ( 'NONE', #2852, #1718, #8209, .T. ) ;
#2174 = ORIENTED_EDGE ( 'NONE', *, *, #1781, .T. ) ;
#2175 = ORIENTED_EDGE ( 'NONE', *, *, #2176, .T. ) ;
#2176 = EDGE_CURVE ( 'NONE', #1779, #2855, #8205, .T. ) ;
#2177 = ORIENTED_EDGE ( 'NONE', *, *, #2854, .F. ) ;
#2178 = EDGE_LOOP ( 'NONE', ( #2240, #2242, #2243, #2160 ) ) ;
#2179 = ORIENTED_EDGE ( 'NONE', *, *, #1709, .T. ) ;
#2180 = ORIENTED_EDGE ( 'NONE', *, *, #2146, .T. ) ;
#2181 = ORIENTED_EDGE ( 'NONE', *, *, #1795, .T. ) ;
#2182 = ORIENTED_EDGE ( 'NONE', *, *, #2183, .T. ) ;
#2183 = EDGE_CURVE ( 'NONE', #1793, #2184, #8201, .T. ) ;
#2184 = VERTEX_POINT ( 'NONE', #7935 ) ;
#2185 = ORIENTED_EDGE ( 'NONE', *, *, #2186, .T. ) ;
#2186 = EDGE_CURVE ( 'NONE', #2184, #2187, #8260, .T. ) ;
#2187 = VERTEX_POINT ( 'NONE', #8262 ) ;
#2188 = ORIENTED_EDGE ( 'NONE', *, *, #2189, .T. ) ;
#2189 = EDGE_CURVE ( 'NONE', #2187, #2190, #8261, .T. ) ;
#2190 = VERTEX_POINT ( 'NONE', #8242 ) ;
#2191 = ORIENTED_EDGE ( 'NONE', *, *, #2192, .F. ) ;
#2192 = EDGE_CURVE ( 'NONE', #2133, #2132, #8241, .T. ) ;
#2193 = ORIENTED_EDGE ( 'NONE', *, *, #2194, .T. ) ;
#2194 = EDGE_CURVE ( 'NONE', #2133, #2195, #8237, .T. ) ;
#2195 = VERTEX_POINT ( 'NONE', #8233 ) ;
#2196 = ORIENTED_EDGE ( 'NONE', *, *, #2197, .T. ) ;
#2197 = EDGE_CURVE ( 'NONE', #2195, #2198, #8295, .T. ) ;
#2198 = VERTEX_POINT ( 'NONE', #8294 ) ;
#2199 = ORIENTED_EDGE ( 'NONE', *, *, #2200, .T. ) ;
#2200 = EDGE_CURVE ( 'NONE', #2198, #1789, #8296, .T. ) ;
#2201 = ORIENTED_EDGE ( 'NONE', *, *, #1788, .T. ) ;
#2202 = EDGE_LOOP ( 'NONE', ( #2203, #2205 ) ) ;
#2203 = ORIENTED_EDGE ( 'NONE', *, *, #2204, .T. ) ;
#2204 = EDGE_CURVE ( 'NONE', #3202, #3201, #8274, .T. ) ;
#2205 = ORIENTED_EDGE ( 'NONE', *, *, #3200, .T. ) ;
#2206 = ADVANCED_FACE ( 'NONE', ( #8269 ), #8268, .F. ) ;
#2207 = EDGE_LOOP ( 'NONE', ( #2261, #2262, #2263, #2264 ) ) ;
#2208 = ORIENTED_EDGE ( 'NONE', *, *, #2209, .T. ) ;
#2209 = EDGE_CURVE ( 'NONE', #600, #2210, #8263, .T. ) ;
#2210 = VERTEX_POINT ( 'NONE', #8320 ) ;
#2211 = EDGE_CURVE ( 'NONE', #600, #932, #8319, .T. ) ;
#2212 = EDGE_CURVE ( 'NONE', #2237, #1855, #8315, .T. ) ;
#2213 = ORIENTED_EDGE ( 'NONE', *, *, #1854, .T. ) ;
#2214 = ADVANCED_FACE ( 'NONE', ( #8311 ), #8310, .F. ) ;
#2215 = EDGE_LOOP ( 'NONE', ( #2216, #2217, #2218, #2219, #2220, #2223, #2273, #2276, #2279 ) ) ;
#2216 = ORIENTED_EDGE ( 'NONE', *, *, #2176, .F. ) ;
#2217 = ORIENTED_EDGE ( 'NONE', *, *, #1778, .T. ) ;
#2218 = ORIENTED_EDGE ( 'NONE', *, *, #2241, .T. ) ;
#2219 = ORIENTED_EDGE ( 'NONE', *, *, #1861, .T. ) ;
#2220 = ORIENTED_EDGE ( 'NONE', *, *, #2221, .T. ) ;
#2221 = EDGE_CURVE ( 'NONE', #1859, #2222, #8305, .T. ) ;
#2222 = VERTEX_POINT ( 'NONE', #8301 ) ;
#2223 = ORIENTED_EDGE ( 'NONE', *, *, #2224, .T. ) ;
#2224 = EDGE_CURVE ( 'NONE', #2222, #4206, #8297, .T. ) ;
#2225 = ORIENTED_EDGE ( 'NONE', *, *, #2173, .F. ) ;
#2226 = ORIENTED_EDGE ( 'NONE', *, *, #2227, .T. ) ;
#2227 = EDGE_CURVE ( 'NONE', #2852, #2228, #8360, .T. ) ;
#2228 = VERTEX_POINT ( 'NONE', #8359 ) ;
#2229 = ORIENTED_EDGE ( 'NONE', *, *, #2230, .F. ) ;
#2230 = EDGE_CURVE ( 'NONE', #2231, #2228, #8361, .T. ) ;
#2231 = VERTEX_POINT ( 'NONE', #8328 ) ;
#2232 = ORIENTED_EDGE ( 'NONE', *, *, #2233, .T. ) ;
#2233 = EDGE_CURVE ( 'NONE', #2231, #2234, #8327, .T. ) ;
#2234 = VERTEX_POINT ( 'NONE', #8395 ) ;
#2235 = ORIENTED_EDGE ( 'NONE', *, *, #2236, .T. ) ;
#2236 = EDGE_CURVE ( 'NONE', #2234, #2237, #8392, .T. ) ;
#2237 = VERTEX_POINT ( 'NONE', #8393 ) ;
#2238 = ORIENTED_EDGE ( 'NONE', *, *, #2212, .T. ) ;
#2239 = ADVANCED_FACE ( 'NONE', ( #8394 ), #8391, .F. ) ;
#2240 = ORIENTED_EDGE ( 'NONE', *, *, #2241, .F. ) ;
#2241 = EDGE_CURVE ( 'NONE', #1776, #1862, #8372, .T. ) ;
#2242 = ORIENTED_EDGE ( 'NONE', *, *, #1775, .T. ) ;
#2243 = ORIENTED_EDGE ( 'NONE', *, *, #2244, .T. ) ;
#2244 = EDGE_CURVE ( 'NONE', #1717, #1856, #8368, .T. ) ;
#2245 = ADVANCED_FACE ( 'NONE', ( #8362 ), #8363, .F. ) ;
#2246 = EDGE_LOOP ( 'NONE', ( #2247, #2299, #2300, #2301 ) ) ;
#2247 = ORIENTED_EDGE ( 'NONE', *, *, #3155, .F. ) ;
#2248 = ORIENTED_EDGE ( 'NONE', *, *, #3190, .F. ) ;
#2249 = ORIENTED_EDGE ( 'NONE', *, *, #2269, .F. ) ;
#2250 = ORIENTED_EDGE ( 'NONE', *, *, #3196, .T. ) ;
#2251 = ORIENTED_EDGE ( 'NONE', *, *, #2252, .T. ) ;
#2252 = EDGE_CURVE ( 'NONE', #3194, #3191, #8423, .T. ) ;
#2253 = ADVANCED_FACE ( 'NONE', ( #8419 ), #8418, .T. ) ;
#2254 = EDGE_LOOP ( 'NONE', ( #2255, #2257 ) ) ;
#2255 = ORIENTED_EDGE ( 'NONE', *, *, #2256, .T. ) ;
#2256 = EDGE_CURVE ( 'NONE', #3167, #3166, #8413, .T. ) ;
#2257 = ORIENTED_EDGE ( 'NONE', *, *, #3165, .T. ) ;
#2258 = ADVANCED_FACE ( 'NONE', ( #8408 ), #8407, .F. ) ;
#2259 = EDGE_LOOP ( 'NONE', ( #2260, #2314, #2315, #2316 ) ) ;
#2260 = ORIENTED_EDGE ( 'NONE', *, *, #3128, .F. ) ;
#2261 = ORIENTED_EDGE ( 'NONE', *, *, #3204, .F. ) ;
#2262 = ORIENTED_EDGE ( 'NONE', *, *, #2204, .F. ) ;
#2263 = ORIENTED_EDGE ( 'NONE', *, *, #3117, .T. ) ;
#2264 = ORIENTED_EDGE ( 'NONE', *, *, #2265, .T. ) ;
#2265 = EDGE_CURVE ( 'NONE', #3115, #3112, #8406, .T. ) ;
#2266 = ADVANCED_FACE ( 'NONE', ( #8401 ), #8396, .T. ) ;
#2267 = EDGE_LOOP ( 'NONE', ( #2268, #2270 ) ) ;
#2268 = ORIENTED_EDGE ( 'NONE', *, *, #2269, .T. ) ;
#2269 = EDGE_CURVE ( 'NONE', #3055, #3054, #8452, .T. ) ;
#2270 = ORIENTED_EDGE ( 'NONE', *, *, #3053, .T. ) ;
#2271 = ADVANCED_FACE ( 'NONE', ( #8447 ), #8446, .F. ) ;
#2272 = EDGE_LOOP ( 'NONE', ( #2248, #2249, #2250, #2251 ) ) ;
#2273 = ORIENTED_EDGE ( 'NONE', *, *, #2274, .T. ) ;
#2274 = EDGE_CURVE ( 'NONE', #4206, #2275, #8441, .T. ) ;
#2275 = VERTEX_POINT ( 'NONE', #8437 ) ;
#2276 = ORIENTED_EDGE ( 'NONE', *, *, #2277, .F. ) ;
#2277 = EDGE_CURVE ( 'NONE', #2278, #2275, #8436, .T. ) ;
#2278 = VERTEX_POINT ( 'NONE', #8432 ) ;
#2279 = ORIENTED_EDGE ( 'NONE', *, *, #2280, .T. ) ;
#2280 = EDGE_CURVE ( 'NONE', #2278, #2855, #8430, .T. ) ;
#2281 = ADVANCED_FACE ( 'NONE', ( #8429 ), #8431, .T. ) ;
#2282 = ADVANCED_FACE ( 'NONE', ( #8495 ), #8473, .F. ) ;
#2283 = EDGE_LOOP ( 'NONE', ( #2342, #2344, #2345, #2347 ) ) ;
#2284 = EDGE_CURVE ( 'NONE', #2313, #2311, #8468, .T. ) ;
#2285 = ORIENTED_EDGE ( 'NONE', *, *, #2286, .F. ) ;
#2286 = EDGE_CURVE ( 'NONE', #2308, #2313, #8462, .T. ) ;
#2287 = ADVANCED_FACE ( 'NONE', ( #7938 ), #8200, .F. ) ;
#2288 = EDGE_LOOP ( 'NONE', ( #2289, #2293, #2296, #2355 ) ) ;
#2289 = ORIENTED_EDGE ( 'NONE', *, *, #2290, .F. ) ;
#2290 = EDGE_CURVE ( 'NONE', #2291, #2292, #8524, .T. ) ;
#2291 = VERTEX_POINT ( 'NONE', #8519 ) ;
#2292 = VERTEX_POINT ( 'NONE', #8518 ) ;
#2293 = ORIENTED_EDGE ( 'NONE', *, *, #2294, .F. ) ;
#2294 = EDGE_CURVE ( 'NONE', #2295, #2291, #8517, .T. ) ;
#2295 = VERTEX_POINT ( 'NONE', #8513 ) ;
#2296 = ORIENTED_EDGE ( 'NONE', *, *, #2297, .F. ) ;
#2297 = EDGE_CURVE ( 'NONE', #2298, #2295, #8512, .T. ) ;
#2298 = VERTEX_POINT ( 'NONE', #8507 ) ;
#2299 = ORIENTED_EDGE ( 'NONE', *, *, #2321, .F. ) ;
#2300 = ORIENTED_EDGE ( 'NONE', *, *, #3161, .T. ) ;
#2301 = ORIENTED_EDGE ( 'NONE', *, *, #2302, .T. ) ;
#2302 = EDGE_CURVE ( 'NONE', #3159, #3156, #8506, .T. ) ;
#2303 = ADVANCED_FACE ( 'NONE', ( #8501 ), #8500, .T. ) ;
#2304 = EDGE_LOOP ( 'NONE', ( #2305, #2309, #2312, #2285 ) ) ;
#2305 = ORIENTED_EDGE ( 'NONE', *, *, #2306, .F. ) ;
#2306 = EDGE_CURVE ( 'NONE', #2307, #2308, #8558, .T. ) ;
#2307 = VERTEX_POINT ( 'NONE', #8553 ) ;
#2308 = VERTEX_POINT ( 'NONE', #8552 ) ;
#2309 = ORIENTED_EDGE ( 'NONE', *, *, #2310, .F. ) ;
#2310 = EDGE_CURVE ( 'NONE', #2311, #2307, #8551, .T. ) ;
#2311 = VERTEX_POINT ( 'NONE', #8547 ) ;
#2312 = ORIENTED_EDGE ( 'NONE', *, *, #2284, .F. ) ;
#2313 = VERTEX_POINT ( 'NONE', #8546 ) ;
#2314 = ORIENTED_EDGE ( 'NONE', *, *, #2256, .F. ) ;
#2315 = ORIENTED_EDGE ( 'NONE', *, *, #3134, .T. ) ;
#2316 = ORIENTED_EDGE ( 'NONE', *, *, #2317, .T. ) ;
#2317 = EDGE_CURVE ( 'NONE', #3132, #3129, #8545, .T. ) ;
#2318 = ADVANCED_FACE ( 'NONE', ( #8540 ), #8539, .T. ) ;
#2319 = EDGE_LOOP ( 'NONE', ( #2320, #2322 ) ) ;
#2320 = ORIENTED_EDGE ( 'NONE', *, *, #2321, .T. ) ;
#2321 = EDGE_CURVE ( 'NONE', #3153, #3137, #8534, .T. ) ;
#2322 = ORIENTED_EDGE ( 'NONE', *, *, #3152, .T. ) ;
#2323 = EDGE_CURVE ( 'NONE', #2404, #2324, #8529, .T. ) ;
#2324 = VERTEX_POINT ( 'NONE', #8525 ) ;
#2325 = VERTEX_POINT ( 'NONE', #8590 ) ;
#2326 = ORIENTED_EDGE ( 'NONE', *, *, #2327, .F. ) ;
#2327 = EDGE_CURVE ( 'NONE', #2328, #2325, #8589, .T. ) ;
#2328 = VERTEX_POINT ( 'NONE', #8585 ) ;
#2329 = ORIENTED_EDGE ( 'NONE', *, *, #2330, .T. ) ;
#2330 = EDGE_CURVE ( 'NONE', #2328, #2331, #8584, .T. ) ;
#2331 = VERTEX_POINT ( 'NONE', #8580 ) ;
#2332 = ORIENTED_EDGE ( 'NONE', *, *, #2333, .T. ) ;
#2333 = EDGE_CURVE ( 'NONE', #2331, #2334, #8578, .T. ) ;
#2334 = VERTEX_POINT ( 'NONE', #8579 ) ;
#2335 = ORIENTED_EDGE ( 'NONE', *, *, #2336, .T. ) ;
#2336 = EDGE_CURVE ( 'NONE', #2334, #2291, #8577, .T. ) ;
#2337 = ORIENTED_EDGE ( 'NONE', *, *, #2290, .T. ) ;
#2338 = ADVANCED_FACE ( 'NONE', ( #8573 ), #8629, .F. ) ;
#2339 = EDGE_CURVE ( 'NONE', #2341, #4209, #8623, .T. ) ;
#2340 = ORIEN