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

DATA;
#1 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT ( #3, #2, ( #15 ) ) ;
#2 = PERSON_AND_ORGANIZATION_ROLE ( 'creator' ) ;
#3 = PERSON_AND_ORGANIZATION ( #12873, #12872 ) ;
#4 = CC_DESIGN_APPROVAL ( #12, ( #15 ) ) ;
#5 = APPROVAL_DATE_TIME ( #6, #12 ) ;
#6 = DATE_AND_TIME ( #7, #8 ) ;
#7 = CALENDAR_DATE ( 2007, 23, 3 ) ;
#8 = LOCAL_TIME ( 18, 42, 18.00000000000000000, #9 ) ;
#9 = COORDINATED_UNIVERSAL_TIME_OFFSET ( 9, 0, .AHEAD. ) ;
#10 = APPROVAL_PERSON_ORGANIZATION ( #14, #12, #11 ) ;
#11 = APPROVAL_ROLE ( '' ) ;
#12 = APPROVAL ( #13, 'UNSPECIFIED' ) ;
#13 = APPROVAL_STATUS ( 'not_yet_approved' ) ;
#14 = PERSON_AND_ORGANIZATION ( #12873, #12872 ) ;
#15 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ( 'ANY', '', #12874, .NOT_KNOWN. ) ;
#16 = SHAPE_DEFINITION_REPRESENTATION ( #17, #12843 ) ;
#17 = PRODUCT_DEFINITION_SHAPE ( 'NONE', 'NONE',  #12865 ) ;
#18 = EDGE_CURVE ( 'NONE', #28, #20, #4371, .T. ) ;
#19 = ORIENTED_EDGE ( 'NONE', *, *, #18, .F. ) ;
#20 = VERTEX_POINT ( 'NONE', #4367 ) ;
#21 = EDGE_CURVE ( 'NONE', #31, #20, #4366, .T. ) ;
#22 = MANIFOLD_SOLID_BREP ( 'NONE', #267 ) ;
#23 = ADVANCED_FACE ( 'NONE', ( #4361 ), #4360, .F. ) ;
#24 = EDGE_LOOP ( 'NONE', ( #25, #29, #32, #19 ) ) ;
#25 = ORIENTED_EDGE ( 'NONE', *, *, #26, .F. ) ;
#26 = EDGE_CURVE ( 'NONE', #27, #28, #4355, .T. ) ;
#27 = VERTEX_POINT ( 'NONE', #4419 ) ;
#28 = VERTEX_POINT ( 'NONE', #4418 ) ;
#29 = ORIENTED_EDGE ( 'NONE', *, *, #30, .T. ) ;
#30 = EDGE_CURVE ( 'NONE', #27, #31, #4417, .T. ) ;
#31 = VERTEX_POINT ( 'NONE', #4413 ) ;
#32 = ORIENTED_EDGE ( 'NONE', *, *, #21, .T. ) ;
#33 = ORIENTED_EDGE ( 'NONE', *, *, #34, .T. ) ;
#34 = EDGE_CURVE ( 'NONE', #112, #35, #4412, .T. ) ;
#35 = VERTEX_POINT ( 'NONE', #4408 ) ;
#36 = ADVANCED_FACE ( 'NONE', ( #4407, #4406 ), #4403, .F. ) ;
#37 = EDGE_LOOP ( 'NONE', ( #38, #39, #41, #42 ) ) ;
#38 = ORIENTED_EDGE ( 'NONE', *, *, #262, .F. ) ;
#39 = ORIENTED_EDGE ( 'NONE', *, *, #40, .F. ) ;
#40 = EDGE_CURVE ( 'NONE', #264, #265, #4404, .T. ) ;
#41 = ORIENTED_EDGE ( 'NONE', *, *, #242, .T. ) ;
#42 = ORIENTED_EDGE ( 'NONE', *, *, #71, .T. ) ;
#43 = EDGE_LOOP ( 'NONE', ( #44, #45 ) ) ;
#44 = ORIENTED_EDGE ( 'NONE', *, *, #54, .T. ) ;
#45 = ORIENTED_EDGE ( 'NONE', *, *, #246, .T. ) ;
#46 = ADVANCED_FACE ( 'NONE', ( #4395 ), #4394, .F. ) ;
#47 = EDGE_LOOP ( 'NONE', ( #48, #102, #103, #104, #107, #110, #33, #90 ) ) ;
#48 = ORIENTED_EDGE ( 'NONE', *, *, #348, .F. ) ;
#49 = ORIENTED_EDGE ( 'NONE', *, *, #241, .F. ) ;
#50 = ADVANCED_FACE ( 'NONE', ( #4391 ), #4385, .F. ) ;
#51 = EDGE_LOOP ( 'NONE', ( #52, #53, #55, #56 ) ) ;
#52 = ORIENTED_EDGE ( 'NONE', *, *, #250, .F. ) ;
#53 = ORIENTED_EDGE ( 'NONE', *, *, #54, .F. ) ;
#54 = EDGE_CURVE ( 'NONE', #248, #247, #4454, .T. ) ;
#55 = ORIENTED_EDGE ( 'NONE', *, *, #238, .T. ) ;
#56 = ORIENTED_EDGE ( 'NONE', *, *, #3476, .T. ) ;
#57 = ADVANCED_FACE ( 'NONE', ( #4455 ), #4481, .T. ) ;
#58 = EDGE_LOOP ( 'NONE', ( #59, #61 ) ) ;
#59 = ORIENTED_EDGE ( 'NONE', *, *, #60, .T. ) ;
#60 = EDGE_CURVE ( 'NONE', #346, #345, #4476, .T. ) ;
#61 = ORIENTED_EDGE ( 'NONE', *, *, #344, .T. ) ;
#62 = ORIENTED_EDGE ( 'NONE', *, *, #3431, .F. ) ;
#63 = ORIENTED_EDGE ( 'NONE', *, *, #3386, .T. ) ;
#64 = ORIENTED_EDGE ( 'NONE', *, *, #4834, .T. ) ;
#65 = ORIENTED_EDGE ( 'NONE', *, *, #10204, .F. ) ;
#66 = ORIENTED_EDGE ( 'NONE', *, *, #3460, .F. ) ;
#67 = ORIENTED_EDGE ( 'NONE', *, *, #3396, .T. ) ;
#68 = ORIENTED_EDGE ( 'NONE', *, *, #3494, .F. ) ;
#69 = EDGE_LOOP ( 'NONE', ( #70, #49 ) ) ;
#70 = ORIENTED_EDGE ( 'NONE', *, *, #71, .F. ) ;
#71 = EDGE_CURVE ( 'NONE', #240, #260, #4471, .T. ) ;
#72 = VERTEX_POINT ( 'NONE', #4466 ) ;
#73 = ORIENTED_EDGE ( 'NONE', *, *, #74, .T. ) ;
#74 = EDGE_CURVE ( 'NONE', #72, #4956, #4465, .T. ) ;
#75 = ORIENTED_EDGE ( 'NONE', *, *, #4958, .F. ) ;
#76 = ORIENTED_EDGE ( 'NONE', *, *, #86, .F. ) ;
#77 = ADVANCED_FACE ( 'NONE', ( #4461 ), #4460, .F. ) ;
#78 = ORIENTED_EDGE ( 'NONE', *, *, #4959, .T. ) ;
#79 = ORIENTED_EDGE ( 'NONE', *, *, #80, .F. ) ;
#80 = EDGE_CURVE ( 'NONE', #35, #4961, #4529, .T. ) ;
#81 = ORIENTED_EDGE ( 'NONE', *, *, #34, .F. ) ;
#82 = ORIENTED_EDGE ( 'NONE', *, *, #99, .T. ) ;
#83 = ADVANCED_FACE ( 'NONE', ( #4521 ), #4520, .T. ) ;
#84 = EDGE_LOOP ( 'NONE', ( #85, #88, #89, #143, #144, #145 ) ) ;
#85 = ORIENTED_EDGE ( 'NONE', *, *, #86, .T. ) ;
#86 = EDGE_CURVE ( 'NONE', #87, #4950, #4515, .T. ) ;
#87 = VERTEX_POINT ( 'NONE', #4511 ) ;
#88 = ORIENTED_EDGE ( 'NONE', *, *, #351, .T. ) ;
#89 = ORIENTED_EDGE ( 'NONE', *, *, #91, .T. ) ;
#90 = ORIENTED_EDGE ( 'NONE', *, *, #91, .F. ) ;
#91 = EDGE_CURVE ( 'NONE', #349, #35, #4510, .T. ) ;
#92 = ADVANCED_FACE ( 'NONE', ( #4505 ), #4504, .F. ) ;
#93 = EDGE_LOOP ( 'NONE', ( #94, #95, #97, #98 ) ) ;
#94 = ORIENTED_EDGE ( 'NONE', *, *, #111, .F. ) ;
#95 = ORIENTED_EDGE ( 'NONE', *, *, #96, .T. ) ;
#96 = EDGE_CURVE ( 'NONE', #109, #4954, #4561, .T. ) ;
#97 = ORIENTED_EDGE ( 'NONE', *, *, #336, .T. ) ;
#98 = ORIENTED_EDGE ( 'NONE', *, *, #99, .F. ) ;
#99 = EDGE_CURVE ( 'NONE', #112, #4953, #4557, .T. ) ;
#100 = ADVANCED_FACE ( 'NONE', ( #4553 ), #4552, .F. ) ;
#101 = EDGE_LOOP ( 'NONE', ( #78, #79, #81, #82 ) ) ;
#102 = ORIENTED_EDGE ( 'NONE', *, *, #60, .F. ) ;
#103 = ORIENTED_EDGE ( 'NONE', *, *, #127, .T. ) ;
#104 = ORIENTED_EDGE ( 'NONE', *, *, #105, .T. ) ;
#105 = EDGE_CURVE ( 'NONE', #678, #106, #4547, .T. ) ;
#106 = VERTEX_POINT ( 'NONE', #4542 ) ;
#107 = ORIENTED_EDGE ( 'NONE', *, *, #108, .T. ) ;
#108 = EDGE_CURVE ( 'NONE', #106, #109, #4541, .T. ) ;
#109 = VERTEX_POINT ( 'NONE', #4537 ) ;
#110 = ORIENTED_EDGE ( 'NONE', *, *, #111, .T. ) ;
#111 = EDGE_CURVE ( 'NONE', #109, #112, #4536, .T. ) ;
#112 = VERTEX_POINT ( 'NONE', #4531 ) ;
#113 = EDGE_CURVE ( 'NONE', #133, #114, #4530, .T. ) ;
#114 = VERTEX_POINT ( 'NONE', #4592 ) ;
#115 = ORIENTED_EDGE ( 'NONE', *, *, #116, .T. ) ;
#116 = EDGE_CURVE ( 'NONE', #114, #4952, #4591, .T. ) ;
#117 = ORIENTED_EDGE ( 'NONE', *, *, #4955, .F. ) ;
#118 = ORIENTED_EDGE ( 'NONE', *, *, #135, .F. ) ;
#119 = ADVANCED_FACE ( 'NONE', ( #4586 ), #4585, .F. ) ;
#120 = EDGE_LOOP ( 'NONE', ( #121, #122, #124, #177, #178, #179 ) ) ;
#121 = ORIENTED_EDGE ( 'NONE', *, *, #354, .F. ) ;
#122 = ORIENTED_EDGE ( 'NONE', *, *, #123, .F. ) ;
#123 = EDGE_CURVE ( 'NONE', #106, #272, #4579, .T. ) ;
#124 = ORIENTED_EDGE ( 'NONE', *, *, #105, .F. ) ;
#125 = ADVANCED_FACE ( 'NONE', ( #4575 ), #4574, .F. ) ;
#126 = ORIENTED_EDGE ( 'NONE', *, *, #266, .F. ) ;
#127 = EDGE_CURVE ( 'NONE', #346, #678, #4573, .T. ) ;
#128 = EDGE_LOOP ( 'NONE', ( #126, #263, #261, #231 ) ) ;
#129 = ORIENTED_EDGE ( 'NONE', *, *, #127, .F. ) ;
#130 = EDGE_LOOP ( 'NONE', ( #131, #134, #136, #137 ) ) ;
#131 = ORIENTED_EDGE ( 'NONE', *, *, #132, .T. ) ;
#132 = EDGE_CURVE ( 'NONE', #72, #133, #4565, .T. ) ;
#133 = VERTEX_POINT ( 'NONE', #4627 ) ;
#134 = ORIENTED_EDGE ( 'NONE', *, *, #135, .T. ) ;
#135 = EDGE_CURVE ( 'NONE', #133, #4948, #4626, .T. ) ;
#136 = ORIENTED_EDGE ( 'NONE', *, *, #4947, .F. ) ;
#137 = ORIENTED_EDGE ( 'NONE', *, *, #74, .F. ) ;
#138 = ADVANCED_FACE ( 'NONE', ( #4622, #4621 ), #4620, .F. ) ;
#139 = EDGE_LOOP ( 'NONE', ( #140, #141 ) ) ;
#140 = ORIENTED_EDGE ( 'NONE', *, *, #4154, .F. ) ;
#141 = ORIENTED_EDGE ( 'NONE', *, *, #2796, .F. ) ;
#142 = EDGE_LOOP ( 'NONE', ( #189, #115, #117, #118 ) ) ;
#143 = ORIENTED_EDGE ( 'NONE', *, *, #80, .T. ) ;
#144 = ORIENTED_EDGE ( 'NONE', *, *, #4960, .F. ) ;
#145 = ORIENTED_EDGE ( 'NONE', *, *, #146, .F. ) ;
#146 = EDGE_CURVE ( 'NONE', #87, #4963, #4615, .T. ) ;
#147 = ADVANCED_FACE ( 'NONE', ( #4610 ), #4609, .F. ) ;
#148 = EDGE_LOOP ( 'NONE', ( #149, #73, #75, #76 ) ) ;
#149 = ORIENTED_EDGE ( 'NONE', *, *, #150, .T. ) ;
#150 = EDGE_CURVE ( 'NONE', #87, #72, #4604, .T. ) ;
#151 = EDGE_LOOP ( 'NONE', ( #206, #208 ) ) ;
#152 = ORIENTED_EDGE ( 'NONE', *, *, #2237, .F. ) ;
#153 = ORIENTED_EDGE ( 'NONE', *, *, #4164, .F. ) ;
#154 = ORIENTED_EDGE ( 'NONE', *, *, #2240, .F. ) ;
#155 = ORIENTED_EDGE ( 'NONE', *, *, #5505, .F. ) ;
#156 = ORIENTED_EDGE ( 'NONE', *, *, #157, .T. ) ;
#157 = EDGE_CURVE ( 'NONE', #5504, #158, #4600, .T. ) ;
#158 = VERTEX_POINT ( 'NONE', #4596 ) ;
#159 = ORIENTED_EDGE ( 'NONE', *, *, #160, .T. ) ;
#160 = EDGE_CURVE ( 'NONE', #158, #171, #4661, .T. ) ;
#161 = ORIENTED_EDGE ( 'NONE', *, *, #170, .T. ) ;
#162 = ADVANCED_FACE ( 'NONE', ( #4656 ), #4655, .F. ) ;
#163 = EDGE_LOOP ( 'NONE', ( #219, #220, #222 ) ) ;
#164 = ORIENTED_EDGE ( 'NONE', *, *, #108, .F. ) ;
#165 = ORIENTED_EDGE ( 'NONE', *, *, #123, .T. ) ;
#166 = ADVANCED_FACE ( 'NONE', ( #4650 ), #4649, .F. ) ;
#167 = EDGE_LOOP ( 'NONE', ( #168, #169, #172 ) ) ;
#168 = ORIENTED_EDGE ( 'NONE', *, *, #5484, .T. ) ;
#169 = ORIENTED_EDGE ( 'NONE', *, *, #170, .F. ) ;
#170 = EDGE_CURVE ( 'NONE', #171, #5485, #4644, .T. ) ;
#171 = VERTEX_POINT ( 'NONE', #4640 ) ;
#172 = ORIENTED_EDGE ( 'NONE', *, *, #173, .T. ) ;
#173 = EDGE_CURVE ( 'NONE', #171, #5497, #4639, .T. ) ;
#174 = ADVANCED_FACE ( 'NONE', ( #4635 ), #4634, .T. ) ;
#175 = EDGE_LOOP ( 'NONE', ( #176, #152, #153, #154, #155, #156, #159, #161 ) ) ;
#176 = ORIENTED_EDGE ( 'NONE', *, *, #5499, .F. ) ;
#177 = ORIENTED_EDGE ( 'NONE', *, *, #995, .F. ) ;
#178 = ORIENTED_EDGE ( 'NONE', *, *, #116, .F. ) ;
#179 = ORIENTED_EDGE ( 'NONE', *, *, #180, .F. ) ;
#180 = EDGE_CURVE ( 'NONE', #273, #114, #4629, .T. ) ;
#181 = ADVANCED_FACE ( 'NONE', ( #4687, #4686 ), #4685, .F. ) ;
#182 = EDGE_LOOP ( 'NONE', ( #183, #185 ) ) ;
#183 = ORIENTED_EDGE ( 'NONE', *, *, #184, .T. ) ;
#184 = EDGE_CURVE ( 'NONE', #28, #27, #4680, .T. ) ;
#185 = ORIENTED_EDGE ( 'NONE', *, *, #26, .T. ) ;
#186 = EDGE_LOOP ( 'NONE', ( #187, #188, #164, #165 ) ) ;
#187 = ORIENTED_EDGE ( 'NONE', *, *, #338, .T. ) ;
#188 = ORIENTED_EDGE ( 'NONE', *, *, #96, .F. ) ;
#189 = ORIENTED_EDGE ( 'NONE', *, *, #113, .T. ) ;
#190 = EDGE_LOOP ( 'NONE', ( #191, #192, #193, #194 ) ) ;
#191 = ORIENTED_EDGE ( 'NONE', *, *, #30, .F. ) ;
#192 = ORIENTED_EDGE ( 'NONE', *, *, #184, .F. ) ;
#193 = ORIENTED_EDGE ( 'NONE', *, *, #18, .T. ) ;
#194 = ORIENTED_EDGE ( 'NONE', *, *, #2784, .T. ) ;
#195 = ORIENTED_EDGE ( 'NONE', *, *, #146, .T. ) ;
#196 = ORIENTED_EDGE ( 'NONE', *, *, #5490, .T. ) ;
#197 = ORIENTED_EDGE ( 'NONE', *, *, #207, .T. ) ;
#198 = EDGE_LOOP ( 'NONE', ( #199, #200, #202, #203 ) ) ;
#199 = ORIENTED_EDGE ( 'NONE', *, *, #4231, .F. ) ;
#200 = ORIENTED_EDGE ( 'NONE', *, *, #201, .F. ) ;
#201 = EDGE_CURVE ( 'NONE', #320, #4230, #4674, .T. ) ;
#202 = ORIENTED_EDGE ( 'NONE', *, *, #318, .F. ) ;
#203 = ORIENTED_EDGE ( 'NONE', *, *, #278, .F. ) ;
#204 = ADVANCED_FACE ( 'NONE', ( #4675 ), #4673, .F. ) ;
#205 = EDGE_LOOP ( 'NONE', ( #268, #269, #270 ) ) ;
#206 = ORIENTED_EDGE ( 'NONE', *, *, #207, .F. ) ;
#207 = EDGE_CURVE ( 'NONE', #5487, #5491, #4666, .T. ) ;
#208 = ORIENTED_EDGE ( 'NONE', *, *, #5492, .F. ) ;
#209 = EDGE_LOOP ( 'NONE', ( #210, #211 ) ) ;
#210 = ORIENTED_EDGE ( 'NONE', *, *, #40, .T. ) ;
#211 = ORIENTED_EDGE ( 'NONE', *, *, #266, .T. ) ;
#212 = ADVANCED_FACE ( 'NONE', ( #4720, #4719 ), #4718, .T. ) ;
#213 = EDGE_LOOP ( 'NONE', ( #214, #215, #216, #217, #218, #195, #196, #197 ) ) ;
#214 = ORIENTED_EDGE ( 'NONE', *, *, #5489, .F. ) ;
#215 = ORIENTED_EDGE ( 'NONE', *, *, #180, .T. ) ;
#216 = ORIENTED_EDGE ( 'NONE', *, *, #113, .F. ) ;
#217 = ORIENTED_EDGE ( 'NONE', *, *, #132, .F. ) ;
#218 = ORIENTED_EDGE ( 'NONE', *, *, #150, .F. ) ;
#219 = ORIENTED_EDGE ( 'NONE', *, *, #5495, .T. ) ;
#220 = ORIENTED_EDGE ( 'NONE', *, *, #221, .F. ) ;
#221 = EDGE_CURVE ( 'NONE', #158, #5507, #4717, .T. ) ;
#222 = ORIENTED_EDGE ( 'NONE', *, *, #157, .F. ) ;
#223 = ADVANCED_FACE ( 'NONE', ( #4709 ), #4707, .F. ) ;
#224 = EDGE_LOOP ( 'NONE', ( #225, #226, #227, #228 ) ) ;
#225 = ORIENTED_EDGE ( 'NONE', *, *, #334, .T. ) ;
#226 = ORIENTED_EDGE ( 'NONE', *, *, #173, .F. ) ;
#227 = ORIENTED_EDGE ( 'NONE', *, *, #160, .F. ) ;
#228 = ORIENTED_EDGE ( 'NONE', *, *, #221, .T. ) ;
#229 = ADVANCED_FACE ( 'NONE', ( #4702, #4701 ), #4708, .T. ) ;
#230 = VERTEX_POINT ( 'NONE', #4696 ) ;
#231 = ORIENTED_EDGE ( 'NONE', *, *, #242, .F. ) ;
#232 = ADVANCED_FACE ( 'NONE', ( #4695 ), #4693, .F. ) ;
#233 = ORIENTED_EDGE ( 'NONE', *, *, #234, .F. ) ;
#234 = EDGE_CURVE ( 'NONE', #235, #292, #4755, .T. ) ;
#235 = VERTEX_POINT ( 'NONE', #4750 ) ;
#236 = EDGE_CURVE ( 'NONE', #251, #253, #4749, .T. ) ;
#237 = ORIENTED_EDGE ( 'NONE', *, *, #238, .F. ) ;
#238 = EDGE_CURVE ( 'NONE', #248, #253, #4744, .T. ) ;
#239 = EDGE_LOOP ( 'NONE', ( #233, #293, #296, #299, #302, #305 ) ) ;
#240 = VERTEX_POINT ( 'NONE', #4740 ) ;
#241 = EDGE_CURVE ( 'NONE', #260, #240, #4739, .T. ) ;
#242 = EDGE_CURVE ( 'NONE', #264, #240, #4734, .T. ) ;
#243 = ADVANCED_FACE ( 'NONE', ( #4730 ), #4729, .F. ) ;
#244 = EDGE_LOOP ( 'NONE', ( #245, #249, #252, #237 ) ) ;
#245 = ORIENTED_EDGE ( 'NONE', *, *, #246, .F. ) ;
#246 = EDGE_CURVE ( 'NONE', #247, #248, #4795, .T. ) ;
#247 = VERTEX_POINT ( 'NONE', #4794 ) ;
#248 = VERTEX_POINT ( 'NONE', #4796 ) ;
#249 = ORIENTED_EDGE ( 'NONE', *, *, #250, .T. ) ;
#250 = EDGE_CURVE ( 'NONE', #247, #251, #4758, .T. ) ;
#251 = VERTEX_POINT ( 'NONE', #4990 ) ;
#252 = ORIENTED_EDGE ( 'NONE', *, *, #236, .T. ) ;
#253 = VERTEX_POINT ( 'NONE', #4989 ) ;
#254 = ORIENTED_EDGE ( 'NONE', *, *, #255, .T. ) ;
#255 = EDGE_CURVE ( 'NONE', #230, #256, #4988, .T. ) ;
#256 = VERTEX_POINT ( 'NONE', #4983 ) ;
#257 = ORIENTED_EDGE ( 'NONE', *, *, #258, .F. ) ;
#258 = EDGE_CURVE ( 'NONE', #259, #256, #4982, .T. ) ;
#259 = VERTEX_POINT ( 'NONE', #4978 ) ;
#260 = VERTEX_POINT ( 'NONE', #4977 ) ;
#261 = ORIENTED_EDGE ( 'NONE', *, *, #241, .T. ) ;
#262 = EDGE_CURVE ( 'NONE', #265, #260, #4976, .T. ) ;
#263 = ORIENTED_EDGE ( 'NONE', *, *, #262, .T. ) ;
#264 = VERTEX_POINT ( 'NONE', #4972 ) ;
#265 = VERTEX_POINT ( 'NONE', #4971 ) ;
#266 = EDGE_CURVE ( 'NONE', #265, #264, #4970, .T. ) ;
#267 = CLOSED_SHELL ( 'NONE', ( #3271, #4390, #3032, #3378, #3245, #2789, #3229, #3260, #307, #3488, #3432, #286, #3389, #3216, #3202, #3295, #4927, #3279, #4811, #680, #3425, #3251, #3288, #3339, #3400, #3439, #4905, #3382, #3333, #232, #3447, #4838, #3037, #3019, #394, #3051, #2983, #1008, #3042, #3371, #3478, #3407, #3309, #3085, #3010, #2996, #355, #3016, #3003, #2990, #2954, #3130, #3329, #2625, #2930, #2453, #2437, #2449, #4931, #3209, #125, #36, #4822, #3322, #4903, #3126, #2922, #3119, #4880, #2485, #2457, #2107, #3622, #2367, #2277, #2314, #3633, #2349, #2260, #2297, #2095, #3530, #3572, #2322, #2270, #2306, #2358, #4882, #2973, #229, #50, #243, #427, #3057, #4853, #2966, #2693, #1060, #2905, #379, #1457, #1324, #1313, #1348, #1447, #2010, #1298, #1331, #1438, #1279, #1288, #1340, #2808, #331, #212, #3497, #2917, #2749, #2490, #996, #2768, #1194, #4113, #1146, #4057, #1181, #1127, #1121, #4145, #896, #1200, #4028, #1157, #1222, #4126, #1171, #1231, #4084, #1432, #3672, #3706, #1385, #1422, #1395, #1370, #3623, #1265, #3675, #1244, #3655, #1274, #3645, #1306, #1207, #2651, #2582, #2642, #2597, #2635, #2618, #162, #83, #119, #92, #181, #223, #100, #166, #174, #2229, #147, #77, #315, #276, #204, #138, #4198, #2734, #2709, #2721, #2702, #2757, #2677, #2561, #2545, #2590, #2566, #2552, #2607, #2356, #2517, #2578, #2539, #2509, #2525, #2534, #593, #569, #623, #627, #661, #634, #580, #565, #4271, #586, #672, #614, #677, #606, #609, #4239, #472, #4254, #4241, #442, #449, #454, #3746, #461, #4276, #4323, #647, #704, #718, #710, #693, #699, #682, #689, #749, #783, #734, #745, #725, #740, #730, #719, #1042, #1099, #1052, #1037, #1045, #1109, #1104, #925, #912, #929, #994, #917, #935, #4305, #1092, #860, #852, #845, #772, #778, #762, #767, #823, #758, #818, #831, #813, #796, #801, #807, #791, #4379, #1000, #2376, #340, #46, #23, #271, #4165, #2233, #4211, #4227, #2725, #4150, #2470, #1017, #2414, #3511, #2055, #2117, #2079, #2126, #2063, #2072, #2344, #3524, #1976, #1999, #1937, #2196, #2138, #2191, #1898, #1966, #1904, #1952, #1910, #2883, #2203, #2185, #2867, #2837, #2865, #478, #527, #489, #501, #600, #510, #398, #2937, #3105, #3154, #3108, #3100, #57, #2786, #4219, #2178, #4209, #1467, #1398, #1404, #1452, #1409, #1415, #1779, #1809, #1857, #1793, #1749, #1849, #1739, #3740, #1863, #1826, #1817, #1834, #1800, #1744, #1931, #1973, #2044, #1955, #1957, #1984, #1886, #1876, #1883, #1891, #1871, #1923, #1249, #1076, #4347, #1762, #3790, #1770, #1715, #1696, #1726, #985, #3468, #2747, #2658, #341, #413, #1627, #3836, #3889, #1599, #3831, #1612, #1769, #3798, #3777, #1588, #2856, #3850, #1618, #1654, #1581, #3866, #3827, #1606, #1646, #3878, #3967, #1549, #1480, #3949, #1569, #3970, #3862, #1619, #1576, #3908, #1473, #1535, #1515, #1616, #1509, #3960, #1564, #1556, #1526, #3948, #1579, #4001, #1543, #1492, #4005, #4169, #1496, #4034, #2242, #1487, #1382, #2215, #2282 ) ) ;
#268 = ORIENTED_EDGE ( 'NONE', *, *, #322, .F. ) ;
#269 = ORIENTED_EDGE ( 'NONE', *, *, #201, .T. ) ;
#270 = ORIENTED_EDGE ( 'NONE', *, *, #4237, .T. ) ;
#271 = ADVANCED_FACE ( 'NONE', ( #4965 ), #5019, .F. ) ;
#272 = VERTEX_POINT ( 'NONE', #5015 ) ;
#273 = VERTEX_POINT ( 'NONE', #5014 ) ;
#274 = ORIENTED_EDGE ( 'NONE', *, *, #5489, .T. ) ;
#275 = EDGE_CURVE ( 'NONE', #319, #326, #5013, .T. ) ;
#276 = ADVANCED_FACE ( 'NONE', ( #5009 ), #5008, .F. ) ;
#277 = ORIENTED_EDGE ( 'NONE', *, *, #278, .T. ) ;
#278 = EDGE_CURVE ( 'NONE', #279, #319, #5003, .T. ) ;
#279 = VERTEX_POINT ( 'NONE', #5002 ) ;
#280 = ORIENTED_EDGE ( 'NONE', *, *, #275, .T. ) ;
#281 = ORIENTED_EDGE ( 'NONE', *, *, #282, .T. ) ;
#282 = EDGE_CURVE ( 'NONE', #259, #283, #5001, .T. ) ;
#283 = VERTEX_POINT ( 'NONE', #5048 ) ;
#284 = ORIENTED_EDGE ( 'NONE', *, *, #285, .F. ) ;
#285 = EDGE_CURVE ( 'NONE', #312, #283, #5047, .T. ) ;
#286 = ADVANCED_FACE ( 'NONE', ( #5043 ), #5042, .F. ) ;
#287 = EDGE_LOOP ( 'NONE', ( #288, #4932, #4917, #4909, #4840, #4837 ) ) ;
#288 = ORIENTED_EDGE ( 'NONE', *, *, #289, .F. ) ;
#289 = EDGE_CURVE ( 'NONE', #290, #291, #5041, .T. ) ;
#290 = VERTEX_POINT ( 'NONE', #5032 ) ;
#291 = VERTEX_POINT ( 'NONE', #5031 ) ;
#292 = VERTEX_POINT ( 'NONE', #5030 ) ;
#293 = ORIENTED_EDGE ( 'NONE', *, *, #294, .T. ) ;
#294 = EDGE_CURVE ( 'NONE', #235, #295, #5029, .T. ) ;
#295 = VERTEX_POINT ( 'NONE', #5025 ) ;
#296 = ORIENTED_EDGE ( 'NONE', *, *, #297, .T. ) ;
#297 = EDGE_CURVE ( 'NONE', #295, #298, #5024, .T. ) ;
#298 = VERTEX_POINT ( 'NONE', #5083 ) ;
#299 = ORIENTED_EDGE ( 'NONE', *, *, #301, .F. ) ;
#300 = VERTEX_POINT ( 'NONE', #5082 ) ;
#301 = EDGE_CURVE ( 'NONE', #300, #298, #5081, .T. ) ;
#302 = ORIENTED_EDGE ( 'NONE', *, *, #303, .T. ) ;
#303 = EDGE_CURVE ( 'NONE', #300, #304, #5077, .T. ) ;
#304 = VERTEX_POINT ( 'NONE', #5072 ) ;
#305 = ORIENTED_EDGE ( 'NONE', *, *, #306, .F. ) ;
#306 = EDGE_CURVE ( 'NONE', #292, #304, #5071, .T. ) ;
#307 = ADVANCED_FACE ( 'NONE', ( #5067 ), #5066, .F. ) ;
#308 = EDGE_LOOP ( 'NONE', ( #309, #313, #254, #257, #281, #284 ) ) ;
#309 = ORIENTED_EDGE ( 'NONE', *, *, #310, .F. ) ;
#310 = EDGE_CURVE ( 'NONE', #311, #312, #5065, .T. ) ;
#311 = VERTEX_POINT ( 'NONE', #5056 ) ;
#312 = VERTEX_POINT ( 'NONE', #5055 ) ;
#313 = ORIENTED_EDGE ( 'NONE', *, *, #314, .T. ) ;
#314 = EDGE_CURVE ( 'NONE', #311, #230, #5054, .T. ) ;
#315 = ADVANCED_FACE ( 'NONE', ( #5122 ), #5121, .F. ) ;
#316 = EDGE_LOOP ( 'NONE', ( #317, #321, #324, #327 ) ) ;
#317 = ORIENTED_EDGE ( 'NONE', *, *, #318, .T. ) ;
#318 = EDGE_CURVE ( 'NONE', #319, #320, #5115, .T. ) ;
#319 = VERTEX_POINT ( 'NONE', #5114 ) ;
#320 = VERTEX_POINT ( 'NONE', #5116 ) ;
#321 = ORIENTED_EDGE ( 'NONE', *, *, #322, .T. ) ;
#322 = EDGE_CURVE ( 'NONE', #320, #323, #5148, .T. ) ;
#323 = VERTEX_POINT ( 'NONE', #5144 ) ;
#324 = ORIENTED_EDGE ( 'NONE', *, *, #325, .T. ) ;
#325 = EDGE_CURVE ( 'NONE', #323, #326, #5143, .T. ) ;
#326 = VERTEX_POINT ( 'NONE', #5138 ) ;
#327 = ORIENTED_EDGE ( 'NONE', *, *, #275, .F. ) ;
#328 = EDGE_LOOP ( 'NONE', ( #277, #280, #329 ) ) ;
#329 = ORIENTED_EDGE ( 'NONE', *, *, #330, .T. ) ;
#330 = EDGE_CURVE ( 'NONE', #326, #279, #5137, .T. ) ;
#331 = ADVANCED_FACE ( 'NONE', ( #5132, #5131 ), #5130, .T. ) ;
#332 = EDGE_LOOP ( 'NONE', ( #333, #5496, #5502, #5494, #5498, #5488 ) ) ;
#333 = ORIENTED_EDGE ( 'NONE', *, *, #334, .F. ) ;
#334 = EDGE_CURVE ( 'NONE', #5507, #5497, #5125, .T. ) ;
#335 = ORIENTED_EDGE ( 'NONE', *, *, #336, .F. ) ;
#336 = EDGE_CURVE ( 'NONE', #4954, #4953, #5158, .T. ) ;
#337 = ORIENTED_EDGE ( 'NONE', *, *, #338, .F. ) ;
#338 = EDGE_CURVE ( 'NONE', #272, #4954, #5159, .T. ) ;
#339 = ORIENTED_EDGE ( 'NONE', *, *, #810, .F. ) ;
#340 = ADVANCED_FACE ( 'NONE', ( #5229 ), #5227, .F. ) ;
#341 = ADVANCED_FACE ( 'NONE', ( #5222 ), #5228, .F. ) ;
#342 = EDGE_LOOP ( 'NONE', ( #343, #347, #350, #4951, #4957, #4949, #679, #129 ) ) ;
#343 = ORIENTED_EDGE ( 'NONE', *, *, #344, .F. ) ;
#344 = EDGE_CURVE ( 'NONE', #345, #346, #5217, .T. ) ;
#345 = VERTEX_POINT ( 'NONE', #5212 ) ;
#346 = VERTEX_POINT ( 'NONE', #5211 ) ;
#347 = ORIENTED_EDGE ( 'NONE', *, *, #348, .T. ) ;
#348 = EDGE_CURVE ( 'NONE', #345, #349, #5210, .T. ) ;
#349 = VERTEX_POINT ( 'NONE', #5206 ) ;
#350 = ORIENTED_EDGE ( 'NONE', *, *, #351, .F. ) ;
#351 = EDGE_CURVE ( 'NONE', #4950, #349, #5204, .T. ) ;
#352 = EDGE_LOOP ( 'NONE', ( #353, #274, #5493, #5486, #4964, #4962, #335, #337 ) ) ;
#353 = ORIENTED_EDGE ( 'NONE', *, *, #354, .T. ) ;
#354 = EDGE_CURVE ( 'NONE', #272, #273, #5261, .T. ) ;
#355 = ADVANCED_FACE ( 'NONE', ( #5256 ), #5255, .F. ) ;
#356 = EDGE_LOOP ( 'NONE', ( #357, #361, #364, #4881 ) ) ;
#357 = ORIENTED_EDGE ( 'NONE', *, *, #358, .F. ) ;
#358 = EDGE_CURVE ( 'NONE', #359, #360, #5254, .T. ) ;
#359 = VERTEX_POINT ( 'NONE', #5245 ) ;
#360 = VERTEX_POINT ( 'NONE', #5244 ) ;
#361 = ORIENTED_EDGE ( 'NONE', *, *, #362, .T. ) ;
#362 = EDGE_CURVE ( 'NONE', #359, #363, #5243, .T. ) ;
#363 = VERTEX_POINT ( 'NONE', #5239 ) ;
#364 = ORIENTED_EDGE ( 'NONE', *, *, #365, .T. ) ;
#365 = EDGE_CURVE ( 'NONE', #363, #366, #5238, .T. ) ;
#366 = VERTEX_POINT ( 'NONE', #5233 ) ;
#367 = ORIENTED_EDGE ( 'NONE', *, *, #368, .T. ) ;
#368 = EDGE_CURVE ( 'NONE', #369, #370, #5294, .T. ) ;
#369 = VERTEX_POINT ( 'NONE', #5289 ) ;
#370 = VERTEX_POINT ( 'NONE', #5288 ) ;
#371 = ORIENTED_EDGE ( 'NONE', *, *, #372, .T. ) ;
#372 = EDGE_CURVE ( 'NONE', #370, #373, #5287, .T. ) ;
#373 = VERTEX_POINT ( 'NONE', #5283 ) ;
#374 = ORIENTED_EDGE ( 'NONE', *, *, #375, .T. ) ;
#375 = EDGE_CURVE ( 'NONE', #373, #376, #5282, .T. ) ;
#376 = VERTEX_POINT ( 'NONE', #5277 ) ;
#377 = ORIENTED_EDGE ( 'NONE', *, *, #378, .F. ) ;
#378 = EDGE_CURVE ( 'NONE', #369, #376, #5276, .T. ) ;
#379 = ADVANCED_FACE ( 'NONE', ( #5272 ), #5270, .T. ) ;
#380 = EDGE_CURVE ( 'NONE', #2733, #388, #5271, .T. ) ;
#381 = EDGE_LOOP ( 'NONE', ( #383, #389, #391, #392 ) ) ;
#382 = ORIENTED_EDGE ( 'NONE', *, *, #2737, .F. ) ;
#383 = ORIENTED_EDGE ( 'NONE', *, *, #385, .F. ) ;
#384 = ORIENTED_EDGE ( 'NONE', *, *, #380, .F. ) ;
#385 = EDGE_CURVE ( 'NONE', #386, #387, #5262, .T. ) ;
#386 = VERTEX_POINT ( 'NONE', #5321 ) ;
#387 = VERTEX_POINT ( 'NONE', #5320 ) ;
#388 = VERTEX_POINT ( 'NONE', #5319 ) ;
#389 = ORIENTED_EDGE ( 'NONE', *, *, #390, .T. ) ;
#390 = EDGE_CURVE ( 'NONE', #386, #424, #5318, .T. ) ;
#391 = ORIENTED_EDGE ( 'NONE', *, *, #423, .F. ) ;
#392 = ORIENTED_EDGE ( 'NONE', *, *, #393, .F. ) ;
#393 = EDGE_CURVE ( 'NONE', #387, #421, #5314, .T. ) ;
#394 = ADVANCED_FACE ( 'NONE', ( #5310 ), #5309, .T. ) ;
#395 = EDGE_LOOP ( 'NONE', ( #396, #4913, #4860, #4859, #4850, #1004, #1003, #1062, #955, #1056, #974, #1058 ) ) ;
#396 = ORIENTED_EDGE ( 'NONE', *, *, #397, .T. ) ;
#397 = EDGE_CURVE ( 'NONE', #4924, #4916, #5303, .T. ) ;
#398 = ADVANCED_FACE ( 'NONE', ( #5299 ), #5298, .T. ) ;
#399 = EDGE_LOOP ( 'NONE', ( #400, #401, #402, #403, #404, #407, #465, #468, #470 ) ) ;
#400 = ORIENTED_EDGE ( 'NONE', *, *, #3144, .T. ) ;
#401 = ORIENTED_EDGE ( 'NONE', *, *, #1893, .T. ) ;
#402 = ORIENTED_EDGE ( 'NONE', *, *, #1885, .T. ) ;
#403 = ORIENTED_EDGE ( 'NONE', *, *, #3103, .F. ) ;
#404 = ORIENTED_EDGE ( 'NONE', *, *, #405, .T. ) ;
#405 = EDGE_CURVE ( 'NONE', #3104, #406, #5358, .T. ) ;
#406 = VERTEX_POINT ( 'NONE', #5354 ) ;
#407 = ORIENTED_EDGE ( 'NONE', *, *, #408, .T. ) ;
#408 = EDGE_CURVE ( 'NONE', #406, #409, #5353, .T. ) ;
#409 = VERTEX_POINT ( 'NONE', #5349 ) ;
#410 = EDGE_CURVE ( 'NONE', #388, #412, #5348, .T. ) ;
#411 = ORIENTED_EDGE ( 'NONE', *, *, #410, .T. ) ;
#412 = VERTEX_POINT ( 'NONE', #5344 ) ;
#413 = ADVANCED_FACE ( 'NONE', ( #5343 ), #5342, .F. ) ;
#414 = ORIENTED_EDGE ( 'NONE', *, *, #552, .F. ) ;
#415 = ORIENTED_EDGE ( 'NONE', *, *, #477, .T. ) ;
#416 = EDGE_LOOP ( 'NONE', ( #411, #414, #382, #988 ) ) ;
#417 = ORIENTED_EDGE ( 'NONE', *, *, #810, .T. ) ;
#418 = ORIENTED_EDGE ( 'NONE', *, *, #2731, .F. ) ;
#419 = ORIENTED_EDGE ( 'NONE', *, *, #420, .T. ) ;
#420 = EDGE_CURVE ( 'NONE', #4863, #421, #5337, .T. ) ;
#421 = VERTEX_POINT ( 'NONE', #5333 ) ;
#422 = ORIENTED_EDGE ( 'NONE', *, *, #423, .T. ) ;
#423 = EDGE_CURVE ( 'NONE', #421, #424, #5332, .T. ) ;
#424 = VERTEX_POINT ( 'NONE', #5327 ) ;
#425 = ORIENTED_EDGE ( 'NONE', *, *, #426, .F. ) ;
#426 = EDGE_CURVE ( 'NONE', #4865, #424, #5326, .T. ) ;
#427 = ADVANCED_FACE ( 'NONE', ( #5384 ), #5382, .T. ) ;
#428 = EDGE_LOOP ( 'NONE', ( #429, #434, #436, #437 ) ) ;
#429 = ORIENTED_EDGE ( 'NONE', *, *, #431, .F. ) ;
#430 = EDGE_CURVE ( 'NONE', #3467, #388, #5383, .T. ) ;
#431 = EDGE_CURVE ( 'NONE', #432, #433, #5374, .T. ) ;
#432 = VERTEX_POINT ( 'NONE', #5369 ) ;
#433 = VERTEX_POINT ( 'NONE', #5368 ) ;
#434 = ORIENTED_EDGE ( 'NONE', *, *, #435, .T. ) ;
#435 = EDGE_CURVE ( 'NONE', #432, #4808, #5367, .T. ) ;
#436 = ORIENTED_EDGE ( 'NONE', *, *, #4815, .F. ) ;
#437 = ORIENTED_EDGE ( 'NONE', *, *, #438, .F. ) ;
#438 = EDGE_CURVE ( 'NONE', #433, #4816, #5363, .T. ) ;
#439 = ORIENTED_EDGE ( 'NONE', *, *, #4238, .T. ) ;
#440 = ORIENTED_EDGE ( 'NONE', *, *, #441, .T. ) ;
#441 = EDGE_CURVE ( 'NONE', #4246, #4243, #5420, .T. ) ;
#442 = ADVANCED_FACE ( 'NONE', ( #5415 ), #5414, .F. ) ;
#443 = EDGE_LOOP ( 'NONE', ( #444, #445, #446, #447 ) ) ;
#444 = ORIENTED_EDGE ( 'NONE', *, *, #4265, .F. ) ;
#445 = ORIENTED_EDGE ( 'NONE', *, *, #1907, .F. ) ;
#446 = ORIENTED_EDGE ( 'NONE', *, *, #4192, .T. ) ;
#447 = ORIENTED_EDGE ( 'NONE', *, *, #448, .T. ) ;
#448 = EDGE_CURVE ( 'NONE', #4248, #4252, #5408, .T. ) ;
#449 = ADVANCED_FACE ( 'NONE', ( #5404 ), #5403, .F. ) ;
#450 = EDGE_LOOP ( 'NONE', ( #451, #506, #507, #508 ) ) ;
#451 = ORIENTED_EDGE ( 'NONE', *, *, #4315, .F. ) ;
#452 = ORIENTED_EDGE ( 'NONE', *, *, #453, .T. ) ;
#453 = EDGE_CURVE ( 'NONE', #3739, #3725, #5402, .T. ) ;
#454 = ADVANCED_FACE ( 'NONE', ( #5393 ), #5392, .F. ) ;
#455 = EDGE_LOOP ( 'NONE', ( #456, #457, #458, #459 ) ) ;
#456 = ORIENTED_EDGE ( 'NONE', *, *, #3616, .F. ) ;
#457 = ORIENTED_EDGE ( 'NONE', *, *, #1950, .F. ) ;
#458 = ORIENTED_EDGE ( 'NONE', *, *, #3748, .T. ) ;
#459 = ORIENTED_EDGE ( 'NONE', *, *, #460, .T. ) ;
#460 = EDGE_CURVE ( 'NONE', #3749, #3615, #5453, .T. ) ;
#461 = ADVANCED_FACE ( 'NONE', ( #5448 ), #5447, .F. ) ;
#462 = EDGE_LOOP ( 'NONE', ( #463, #464, #439, #440 ) ) ;
#463 = ORIENTED_EDGE ( 'NONE', *, *, #4257, .F. ) ;
#464 = ORIENTED_EDGE ( 'NONE', *, *, #1902, .F. ) ;
#465 = ORIENTED_EDGE ( 'NONE', *, *, #466, .T. ) ;
#466 = EDGE_CURVE ( 'NONE', #409, #467, #5446, .T. ) ;
#467 = VERTEX_POINT ( 'NONE', #5438 ) ;
#468 = ORIENTED_EDGE ( 'NONE', *, *, #469, .T. ) ;
#469 = EDGE_CURVE ( 'NONE', #467, #4121, #5437, .T. ) ;
#470 = ORIENTED_EDGE ( 'NONE', *, *, #471, .T. ) ;
#471 = EDGE_CURVE ( 'NONE', #4121, #3174, #5433, .T. ) ;
#472 = ADVANCED_FACE ( 'NONE', ( #5429 ), #5427, .T. ) ;
#473 = EDGE_LOOP ( 'NONE', ( #474, #475, #476, #452 ) ) ;
#474 = ORIENTED_EDGE ( 'NONE', *, *, #3724, .F. ) ;
#475 = ORIENTED_EDGE ( 'NONE', *, *, #1948, .F. ) ;
#476 = ORIENTED_EDGE ( 'NONE', *, *, #3744, .T. ) ;
#477 = EDGE_CURVE ( 'NONE', #3152, #3104, #5428, .T. ) ;
#478 = ADVANCED_FACE ( 'NONE', ( #5482 ), #5481, .T. ) ;
#479 = EDGE_LOOP ( 'NONE', ( #539, #542, #543, #544, #545, #548, #551 ) ) ;
#480 = ORIENTED_EDGE ( 'NONE', *, *, #2037, .T. ) ;
#481 = ORIENTED_EDGE ( 'NONE', *, *, #1954, .T. ) ;
#482 = ORIENTED_EDGE ( 'NONE', *, *, #513, .F. ) ;
#483 = ORIENTED_EDGE ( 'NONE', *, *, #484, .T. ) ;
#484 = EDGE_CURVE ( 'NONE', #514, #3683, #5476, .T. ) ;
#485 = ORIENTED_EDGE ( 'NONE', *, *, #486, .T. ) ;
#486 = EDGE_CURVE ( 'NONE', #3683, #3680, #5472, .T. ) ;
#487 = ORIENTED_EDGE ( 'NONE', *, *, #488, .T. ) ;
#488 = EDGE_CURVE ( 'NONE', #3680, #505, #5468, .T. ) ;
#489 = ADVANCED_FACE ( 'NONE', ( #5464 ), #5463, .T. ) ;
#490 = EDGE_LOOP ( 'NONE', ( #491, #553, #554, #555, #556, #559, #562 ) ) ;
#491 = ORIENTED_EDGE ( 'NONE', *, *, #492, .T. ) ;
#492 = EDGE_CURVE ( 'NONE', #493, #2040, #5458, .T. ) ;
#493 = VERTEX_POINT ( 'NONE', #5454 ) ;
#494 = EDGE_CURVE ( 'NONE', #518, #1945, #5199, .T. ) ;
#495 = ORIENTED_EDGE ( 'NONE', *, *, #496, .T. ) ;
#496 = EDGE_CURVE ( 'NONE', #518, #3753, #5537, .T. ) ;
#497 = ORIENTED_EDGE ( 'NONE', *, *, #498, .T. ) ;
#498 = EDGE_CURVE ( 'NONE', #3753, #3750, #5533, .T. ) ;
#499 = ORIENTED_EDGE ( 'NONE', *, *, #500, .T. ) ;
#500 = EDGE_CURVE ( 'NONE', #3750, #514, #5529, .T. ) ;
#501 = ADVANCED_FACE ( 'NONE', ( #5525 ), #5524, .T. ) ;
#502 = EDGE_LOOP ( 'NONE', ( #503, #480, #481, #482, #483, #485, #487 ) ) ;
#503 = ORIENTED_EDGE ( 'NONE', *, *, #504, .T. ) ;
#504 = EDGE_CURVE ( 'NONE', #505, #2043, #5519, .T. ) ;
#505 = VERTEX_POINT ( 'NONE', #5515 ) ;
#506 = ORIENTED_EDGE ( 'NONE', *, *, #1912, .F. ) ;
#507 = ORIENTED_EDGE ( 'NONE', *, *, #4261, .T. ) ;
#508 = ORIENTED_EDGE ( 'NONE', *, *, #509, .T. ) ;
#509 = EDGE_CURVE ( 'NONE', #4247, #4255, #5514, .T. ) ;
#510 = ADVANCED_FACE ( 'NONE', ( #5509 ), #5508, .T. ) ;
#511 = EDGE_LOOP ( 'NONE', ( #512, #515, #516, #517, #495, #497, #499 ) ) ;
#512 = ORIENTED_EDGE ( 'NONE', *, *, #513, .T. ) ;
#513 = EDGE_CURVE ( 'NONE', #514, #1964, #5566, .T. ) ;
#514 = VERTEX_POINT ( 'NONE', #5562 ) ;
#515 = ORIENTED_EDGE ( 'NONE', *, *, #1963, .T. ) ;
#516 = ORIENTED_EDGE ( 'NONE', *, *, #1975, .T. ) ;
#517 = ORIENTED_EDGE ( 'NONE', *, *, #494, .F. ) ;
#518 = VERTEX_POINT ( 'NONE', #5561 ) ;
#519 = EDGE_LOOP ( 'NONE', ( #520, #521, #522, #523, #524, #582, #584 ) ) ;
#520 = ORIENTED_EDGE ( 'NONE', *, *, #494, .T. ) ;
#521 = ORIENTED_EDGE ( 'NONE', *, *, #1971, .T. ) ;
#522 = ORIENTED_EDGE ( 'NONE', *, *, #1983, .T. ) ;
#523 = ORIENTED_EDGE ( 'NONE', *, *, #530, .F. ) ;
#524 = ORIENTED_EDGE ( 'NONE', *, *, #525, .T. ) ;
#525 = EDGE_CURVE ( 'NONE', #531, #3669, #5560, .T. ) ;
#526 = EDGE_CURVE ( 'NONE', #550, #541, #5556, .T. ) ;
#527 = ADVANCED_FACE ( 'NONE', ( #5552 ), #5551, .T. ) ;
#528 = EDGE_LOOP ( 'NONE', ( #529, #532, #533, #534, #535, #538, #598 ) ) ;
#529 = ORIENTED_EDGE ( 'NONE', *, *, #530, .T. ) ;
#530 = EDGE_CURVE ( 'NONE', #531, #1940, #5546, .T. ) ;
#531 = VERTEX_POINT ( 'NONE', #5542 ) ;
#532 = ORIENTED_EDGE ( 'NONE', *, *, #1968, .T. ) ;
#533 = ORIENTED_EDGE ( 'NONE', *, *, #1944, .T. ) ;
#534 = ORIENTED_EDGE ( 'NONE', *, *, #540, .F. ) ;
#535 = ORIENTED_EDGE ( 'NONE', *, *, #536, .T. ) ;
#536 = EDGE_CURVE ( 'NONE', #541, #537, #5541, .T. ) ;
#537 = VERTEX_POINT ( 'NONE', #5600 ) ;
#538 = ORIENTED_EDGE ( 'NONE', *, *, #596, .T. ) ;
#539 = ORIENTED_EDGE ( 'NONE', *, *, #540, .T. ) ;
#540 = EDGE_CURVE ( 'NONE', #541, #1988, #5599, .T. ) ;
#541 = VERTEX_POINT ( 'NONE', #5595 ) ;
#542 = ORIENTED_EDGE ( 'NONE', *, *, #1987, .T. ) ;
#543 = ORIENTED_EDGE ( 'NONE', *, *, #2009, .T. ) ;
#544 = ORIENTED_EDGE ( 'NONE', *, *, #492, .F. ) ;
#545 = ORIENTED_EDGE ( 'NONE', *, *, #546, .T. ) ;
#546 = EDGE_CURVE ( 'NONE', #493, #547, #5594, .T. ) ;
#547 = VERTEX_POINT ( 'NONE', #5590 ) ;
#548 = ORIENTED_EDGE ( 'NONE', *, *, #549, .T. ) ;
#549 = EDGE_CURVE ( 'NONE', #547, #550, #5589, .T. ) ;
#550 = VERTEX_POINT ( 'NONE', #5585 ) ;
#551 = ORIENTED_EDGE ( 'NONE', *, *, #526, .T. ) ;
#552 = EDGE_CURVE ( 'NONE', #2710, #412, #5584, .T. ) ;
#553 = ORIENTED_EDGE ( 'NONE', *, *, #2039, .T. ) ;
#554 = ORIENTED_EDGE ( 'NONE', *, *, #2041, .T. ) ;
#555 = ORIENTED_EDGE ( 'NONE', *, *, #504, .F. ) ;
#556 = ORIENTED_EDGE ( 'NONE', *, *, #557, .T. ) ;
#557 = EDGE_CURVE ( 'NONE', #505, #558, #5580, .T. ) ;
#558 = VERTEX_POINT ( 'NONE', #5576 ) ;
#559 = ORIENTED_EDGE ( 'NONE', *, *, #560, .T. ) ;
#560 = EDGE_CURVE ( 'NONE', #558, #561, #5575, .T. ) ;
#561 = VERTEX_POINT ( 'NONE', #5571 ) ;
#562 = ORIENTED_EDGE ( 'NONE', *, *, #563, .T. ) ;
#563 = EDGE_CURVE ( 'NONE', #561, #493, #5633, .T. ) ;
#564 = ORIENTED_EDGE ( 'NONE', *, *, #2202, .F. ) ;
#565 = ADVANCED_FACE ( 'NONE', ( #5629 ), #5628, .F. ) ;
#566 = EDGE_LOOP ( 'NONE', ( #567, #568 ) ) ;
#567 = ORIENTED_EDGE ( 'NONE', *, *, #1996, .F. ) ;
#568 = ORIENTED_EDGE ( 'NONE', *, *, #4023, .F. ) ;
#569 = ADVANCED_FACE ( 'NONE', ( #5623 ), #5622, .F. ) ;
#570 = ORIENTED_EDGE ( 'NONE', *, *, #571, .F. ) ;
#571 = EDGE_CURVE ( 'NONE', #4345, #595, #5617, .T. ) ;
#572 = ORIENTED_EDGE ( 'NONE', *, *, #4344, .T. ) ;
#573 = ORIENTED_EDGE ( 'NONE', *, *, #592, .T. ) ;
#574 = ORIENTED_EDGE ( 'NONE', *, *, #4283, .T. ) ;
#575 = ORIENTED_EDGE ( 'NONE', *, *, #576, .T. ) ;
#576 = EDGE_CURVE ( 'NONE', #4281, #4053, #5613, .T. ) ;
#577 = ORIENTED_EDGE ( 'NONE', *, *, #4052, .T. ) ;
#578 = ORIENTED_EDGE ( 'NONE', *, *, #579, .T. ) ;
#579 = EDGE_CURVE ( 'NONE', #4048, #595, #5609, .T. ) ;
#580 = ADVANCED_FACE ( 'NONE', ( #5604 ), #5603, .F. ) ;
#581 = EDGE_LOOP ( 'NONE', ( #632, #633 ) ) ;
#582 = ORIENTED_EDGE ( 'NONE', *, *, #583, .T. ) ;
#583 = EDGE_CURVE ( 'NONE', #3669, #3666, #5664, .T. ) ;
#584 = ORIENTED_EDGE ( 'NONE', *, *, #585, .T. ) ;
#585 = EDGE_CURVE ( 'NONE', #3666, #518, #5660, .T. ) ;
#586 = ADVANCED_FACE ( 'NONE', ( #5656 ), #5654, .F. ) ;
#587 = EDGE_LOOP ( 'NONE', ( #588, #589, #590, #591 ) ) ;
#588 = ORIENTED_EDGE ( 'NONE', *, *, #4341, .F. ) ;
#589 = ORIENTED_EDGE ( 'NONE', *, *, #3975, .T. ) ;
#590 = ORIENTED_EDGE ( 'NONE', *, *, #4275, .T. ) ;
#591 = ORIENTED_EDGE ( 'NONE', *, *, #592, .F. ) ;
#592 = EDGE_CURVE ( 'NONE', #4342, #4284, #5649, .T. ) ;
#593 = ADVANCED_FACE ( 'NONE', ( #5645 ), #5644, .F. ) ;
#594 = EDGE_LOOP ( 'NONE', ( #570, #572, #573, #574, #575, #577, #578 ) ) ;
#595 = VERTEX_POINT ( 'NONE', #5639 ) ;
#596 = EDGE_CURVE ( 'NONE', #537, #597, #5638, .T. ) ;
#597 = VERTEX_POINT ( 'NONE', #5634 ) ;
#598 = ORIENTED_EDGE ( 'NONE', *, *, #599, .T. ) ;
#599 = EDGE_CURVE ( 'NONE', #597, #531, #5699, .T. ) ;
#600 = ADVANCED_FACE ( 'NONE', ( #5695 ), #5694, .T. ) ;
#601 = EDGE_LOOP ( 'NONE', ( #602, #604, #605 ) ) ;
#602 = ORIENTED_EDGE ( 'NONE', *, *, #603, .F. ) ;
#603 = EDGE_CURVE ( 'NONE', #2170, #2158, #5689, .T. ) ;
#604 = ORIENTED_EDGE ( 'NONE', *, *, #2169, .F. ) ;
#605 = ORIENTED_EDGE ( 'NONE', *, *, #2137, .F. ) ;
#606 = ADVANCED_FACE ( 'NONE', ( #5684 ), #5683, .F. ) ;
#607 = ORIENTED_EDGE ( 'NONE', *, *, #1936, .F. ) ;
#608 = ORIENTED_EDGE ( 'NONE', *, *, #4099, .F. ) ;
#609 = ADVANCED_FACE ( 'NONE', ( #5678 ), #5677, .F. ) ;
#610 = EDGE_LOOP ( 'NONE', ( #611, #612 ) ) ;
#611 = ORIENTED_EDGE ( 'NONE', *, *, #2153, .F. ) ;
#612 = ORIENTED_EDGE ( 'NONE', *, *, #613, .F. ) ;
#613 = EDGE_CURVE ( 'NONE', #2150, #2034, #5672, .T. ) ;
#614 = ADVANCED_FACE ( 'NONE', ( #5734 ), #5733, .F. ) ;
#615 = EDGE_LOOP ( 'NONE', ( #616, #618, #671 ) ) ;
#616 = ORIENTED_EDGE ( 'NONE', *, *, #617, .F. ) ;
#617 = EDGE_CURVE ( 'NONE', #2155, #2150, #5728, .T. ) ;
#618 = ORIENTED_EDGE ( 'NONE', *, *, #2154, .F. ) ;
#619 = EDGE_LOOP ( 'NONE', ( #620, #621, #622 ) ) ;
#620 = ORIENTED_EDGE ( 'NONE', *, *, #4018, .F. ) ;
#621 = ORIENTED_EDGE ( 'NONE', *, *, #2008, .F. ) ;
#622 = ORIENTED_EDGE ( 'NONE', *, *, #1998, .F. ) ;
#623 = ADVANCED_FACE ( 'NONE', ( #5723 ), #5722, .F. ) ;
#624 = EDGE_LOOP ( 'NONE', ( #625, #626 ) ) ;
#625 = ORIENTED_EDGE ( 'NONE', *, *, #1934, .F. ) ;
#626 = ORIENTED_EDGE ( 'NONE', *, *, #4102, .F. ) ;
#627 = ADVANCED_FACE ( 'NONE', ( #5717 ), #5716, .F. ) ;
#628 = EDGE_LOOP ( 'NONE', ( #629, #631, #607, #608 ) ) ;
#629 = ORIENTED_EDGE ( 'NONE', *, *, #630, .F. ) ;
#630 = EDGE_CURVE ( 'NONE', #2034, #4097, #5711, .T. ) ;
#631 = ORIENTED_EDGE ( 'NONE', *, *, #2033, .F. ) ;
#632 = ORIENTED_EDGE ( 'NONE', *, *, #2134, .F. ) ;
#633 = ORIENTED_EDGE ( 'NONE', *, *, #4138, .F. ) ;
#634 = ADVANCED_FACE ( 'NONE', ( #5706 ), #5704, .F. ) ;
#635 = EDGE_LOOP ( 'NONE', ( #636, #637, #564 ) ) ;
#636 = ORIENTED_EDGE ( 'NONE', *, *, #4135, .F. ) ;
#637 = ORIENTED_EDGE ( 'NONE', *, *, #1977, .F. ) ;
#638 = ORIENTED_EDGE ( 'NONE', *, *, #2893, .F. ) ;
#639 = ORIENTED_EDGE ( 'NONE', *, *, #640, .T. ) ;
#640 = EDGE_CURVE ( 'NONE', #2881, #4333, #5705, .T. ) ;
#641 = ORIENTED_EDGE ( 'NONE', *, *, #4332, .T. ) ;
#642 = ORIENTED_EDGE ( 'NONE', *, *, #643, .T. ) ;
#643 = EDGE_CURVE ( 'NONE', #4330, #651, #5765, .T. ) ;
#644 = ORIENTED_EDGE ( 'NONE', *, *, #4141, .F. ) ;
#645 = ORIENTED_EDGE ( 'NONE', *, *, #2132, .F. ) ;
#646 = ORIENTED_EDGE ( 'NONE', *, *, #2195, .F. ) ;
#647 = ADVANCED_FACE ( 'NONE', ( #5760 ), #5759, .F. ) ;
#648 = EDGE_LOOP ( 'NONE', ( #649, #653, #655, #656, #715, #716 ) ) ;
#649 = ORIENTED_EDGE ( 'NONE', *, *, #650, .F. ) ;
#650 = EDGE_CURVE ( 'NONE', #651, #652, #5754, .T. ) ;
#651 = VERTEX_POINT ( 'NONE', #5750 ) ;
#652 = VERTEX_POINT ( 'NONE', #5749 ) ;
#653 = ORIENTED_EDGE ( 'NONE', *, *, #654, .T. ) ;
#654 = EDGE_CURVE ( 'NONE', #651, #4336, #5748, .T. ) ;
#655 = ORIENTED_EDGE ( 'NONE', *, *, #4335, .T. ) ;
#656 = ORIENTED_EDGE ( 'NONE', *, *, #714, .T. ) ;
#657 = EDGE_LOOP ( 'NONE', ( #658, #659 ) ) ;
#658 = ORIENTED_EDGE ( 'NONE', *, *, #2172, .F. ) ;
#659 = ORIENTED_EDGE ( 'NONE', *, *, #660, .F. ) ;
#660 = EDGE_CURVE ( 'NONE', #2173, #2170, #5742, .T. ) ;
#661 = ADVANCED_FACE ( 'NONE', ( #5799 ), #5798, .F. ) ;
#662 = EDGE_LOOP ( 'NONE', ( #663, #666, #668, #669, #644, #645, #646 ) ) ;
#663 = ORIENTED_EDGE ( 'NONE', *, *, #664, .F. ) ;
#664 = EDGE_CURVE ( 'NONE', #665, #2173, #5793, .T. ) ;
#665 = VERTEX_POINT ( 'NONE', #5788 ) ;
#666 = ORIENTED_EDGE ( 'NONE', *, *, #667, .T. ) ;
#667 = EDGE_CURVE ( 'NONE', #665, #4281, #5787, .T. ) ;
#668 = ORIENTED_EDGE ( 'NONE', *, *, #4280, .T. ) ;
#669 = ORIENTED_EDGE ( 'NONE', *, *, #670, .F. ) ;
#670 = EDGE_CURVE ( 'NONE', #4142, #4345, #5783, .T. ) ;
#671 = ORIENTED_EDGE ( 'NONE', *, *, #2161, .F. ) ;
#672 = ADVANCED_FACE ( 'NONE', ( #5779 ), #5778, .F. ) ;
#673 = EDGE_LOOP ( 'NONE', ( #674, #675 ) ) ;
#674 = ORIENTED_EDGE ( 'NONE', *, *, #2157, .F. ) ;
#675 = ORIENTED_EDGE ( 'NONE', *, *, #676, .F. ) ;
#676 = EDGE_CURVE ( 'NONE', #2158, #2155, #5773, .T. ) ;
#677 = ADVANCED_FACE ( 'NONE', ( #5832 ), #5831, .F. ) ;
#678 = VERTEX_POINT ( 'NONE', #5826 ) ;
#679 = ORIENTED_EDGE ( 'NONE', *, *, #995, .T. ) ;
#680 = ADVANCED_FACE ( 'NONE', ( #5825 ), #5822, .F. ) ;
#681 = ORIENTED_EDGE ( 'NONE', *, *, #1582, .F. ) ;
#682 = ADVANCED_FACE ( 'NONE', ( #5823 ), #5818, .F. ) ;
#683 = EDGE_LOOP ( 'NONE', ( #684, #685, #686 ) ) ;
#684 = ORIENTED_EDGE ( 'NONE', *, *, #2820, .F. ) ;
#685 = ORIENTED_EDGE ( 'NONE', *, *, #4064, .F. ) ;
#686 = ORIENTED_EDGE ( 'NONE', *, *, #687, .F. ) ;
#687 = EDGE_CURVE ( 'NONE', #2872, #4134, #5813, .T. ) ;
#688 = ORIENTED_EDGE ( 'NONE', *, *, #2936, .F. ) ;
#689 = ADVANCED_FACE ( 'NONE', ( #5808 ), #5807, .F. ) ;
#690 = EDGE_LOOP ( 'NONE', ( #691, #692 ) ) ;
#691 = ORIENTED_EDGE ( 'NONE', *, *, #2182, .F. ) ;
#692 = ORIENTED_EDGE ( 'NONE', *, *, #4077, .F. ) ;
#693 = ADVANCED_FACE ( 'NONE', ( #5802 ), #5801, .F. ) ;
#694 = EDGE_LOOP ( 'NONE', ( #695, #696, #697 ) ) ;
#695 = ORIENTED_EDGE ( 'NONE', *, *, #4074, .F. ) ;
#696 = ORIENTED_EDGE ( 'NONE', *, *, #2144, .F. ) ;
#697 = ORIENTED_EDGE ( 'NONE', *, *, #2184, .F. ) ;
#698 = EDGE_LOOP ( 'NONE', ( #3640, #3544, #959, #681 ) ) ;
#699 = ADVANCED_FACE ( 'NONE', ( #5863 ), #5862, .F. ) ;
#700 = EDGE_LOOP ( 'NONE', ( #701, #748 ) ) ;
#701 = ORIENTED_EDGE ( 'NONE', *, *, #2146, .F. ) ;
#702 = ORIENTED_EDGE ( 'NONE', *, *, #703, .F. ) ;
#703 = EDGE_CURVE ( 'NONE', #2894, #651, #5857, .T. ) ;
#704 = ADVANCED_FACE ( 'NONE', ( #5853 ), #5852, .F. ) ;
#705 = EDGE_LOOP ( 'NONE', ( #706, #707, #709 ) ) ;
#706 = ORIENTED_EDGE ( 'NONE', *, *, #2896, .F. ) ;
#707 = ORIENTED_EDGE ( 'NONE', *, *, #708, .F. ) ;
#708 = EDGE_CURVE ( 'NONE', #4110, #2894, #5847, .T. ) ;
#709 = ORIENTED_EDGE ( 'NONE', *, *, #4108, .F. ) ;
#710 = ADVANCED_FACE ( 'NONE', ( #5843 ), #5842, .F. ) ;
#711 = EDGE_LOOP ( 'NONE', ( #712, #713, #688 ) ) ;
#712 = ORIENTED_EDGE ( 'NONE', *, *, #4186, .F. ) ;
#713 = ORIENTED_EDGE ( 'NONE', *, *, #2214, .F. ) ;
#714 = EDGE_CURVE ( 'NONE', #4333, #4043, #5837, .T. ) ;
#715 = ORIENTED_EDGE ( 'NONE', *, *, #4042, .T. ) ;
#716 = ORIENTED_EDGE ( 'NONE', *, *, #717, .T. ) ;
#717 = EDGE_CURVE ( 'NONE', #4039, #652, #5900, .T. ) ;
#718 = ADVANCED_FACE ( 'NONE', ( #5896 ), #5895, .F. ) ;
#719 = ADVANCED_FACE ( 'NONE', ( #5890 ), #5889, .F. ) ;
#720 = EDGE_LOOP ( 'NONE', ( #721, #768, #769, #770, #771 ) ) ;
#721 = ORIENTED_EDGE ( 'NONE', *, *, #4329, .F. ) ;
#722 = EDGE_CURVE ( 'NONE', #2828, #2900, #5883, .T. ) ;
#723 = ORIENTED_EDGE ( 'NONE', *, *, #2827, .F. ) ;
#724 = ORIENTED_EDGE ( 'NONE', *, *, #2864, .F. ) ;
#725 = ADVANCED_FACE ( 'NONE', ( #5879 ), #5878, .F. ) ;
#726 = EDGE_LOOP ( 'NONE', ( #727, #728 ) ) ;
#727 = ORIENTED_EDGE ( 'NONE', *, *, #2833, .F. ) ;
#728 = ORIENTED_EDGE ( 'NONE', *, *, #729, .F. ) ;
#729 = EDGE_CURVE ( 'NONE', #2834, #2828, #5873, .T. ) ;
#730 = ADVANCED_FACE ( 'NONE', ( #5868 ), #5867, .F. ) ;
#731 = EDGE_LOOP ( 'NONE', ( #732, #781, #782 ) ) ;
#732 = ORIENTED_EDGE ( 'NONE', *, *, #733, .F. ) ;
#733 = EDGE_CURVE ( 'NONE', #2879, #2834, #5929, .T. ) ;
#734 = ADVANCED_FACE ( 'NONE', ( #5924 ), #5923, .F. ) ;
#735 = EDGE_LOOP ( 'NONE', ( #736, #738, #739 ) ) ;
#736 = ORIENTED_EDGE ( 'NONE', *, *, #737, .F. ) ;
#737 = EDGE_CURVE ( 'NONE', #2897, #2872, #5918, .T. ) ;
#738 = ORIENTED_EDGE ( 'NONE', *, *, #2890, .F. ) ;
#739 = ORIENTED_EDGE ( 'NONE', *, *, #2836, .F. ) ;
#740 = ADVANCED_FACE ( 'NONE', ( #5913 ), #5912, .F. ) ;
#741 = EDGE_LOOP ( 'NONE', ( #742, #743 ) ) ;
#742 = ORIENTED_EDGE ( 'NONE', *, *, #2899, .F. ) ;
#743 = ORIENTED_EDGE ( 'NONE', *, *, #744, .F. ) ;
#744 = EDGE_CURVE ( 'NONE', #2900, #2897, #5907, .T. ) ;
#745 = ADVANCED_FACE ( 'NONE', ( #5902 ), #5901, .F. ) ;
#746 = EDGE_LOOP ( 'NONE', ( #747, #723, #724 ) ) ;
#747 = ORIENTED_EDGE ( 'NONE', *, *, #722, .F. ) ;
#748 = ORIENTED_EDGE ( 'NONE', *, *, #4071, .F. ) ;
#749 = ADVANCED_FACE ( 'NONE', ( #5963 ), #5962, .F. ) ;
#750 = EDGE_LOOP ( 'NONE', ( #751, #752, #753 ) ) ;
#751 = ORIENTED_EDGE ( 'NONE', *, *, #4068, .F. ) ;
#752 = ORIENTED_EDGE ( 'NONE', *, *, #2823, .F. ) ;
#753 = ORIENTED_EDGE ( 'NONE', *, *, #2148, .F. ) ;
#754 = ORIENTED_EDGE ( 'NONE', *, *, #3661, .F. ) ;
#755 = ORIENTED_EDGE ( 'NONE', *, *, #800, .F. ) ;
#756 = ORIENTED_EDGE ( 'NONE', *, *, #3158, .F. ) ;
#757 = ORIENTED_EDGE ( 'NONE', *, *, #471, .F. ) ;
#758 = ADVANCED_FACE ( 'NONE', ( #5957 ), #5956, .F. ) ;
#759 = EDGE_LOOP ( 'NONE', ( #760, #761 ) ) ;
#760 = ORIENTED_EDGE ( 'NONE', *, *, #3160, .F. ) ;
#761 = ORIENTED_EDGE ( 'NONE', *, *, #3698, .F. ) ;
#762 = ADVANCED_FACE ( 'NONE', ( #5951 ), #5950, .F. ) ;
#763 = EDGE_LOOP ( 'NONE', ( #764, #765, #766 ) ) ;
#764 = ORIENTED_EDGE ( 'NONE', *, *, #3695, .F. ) ;
#765 = ORIENTED_EDGE ( 'NONE', *, *, #3170, .F. ) ;
#766 = ORIENTED_EDGE ( 'NONE', *, *, #3149, .F. ) ;
#767 = ADVANCED_FACE ( 'NONE', ( #5945 ), #5944, .F. ) ;
#768 = ORIENTED_EDGE ( 'NONE', *, *, #4087, .T. ) ;
#769 = ORIENTED_EDGE ( 'NONE', *, *, #4270, .T. ) ;
#770 = ORIENTED_EDGE ( 'NONE', *, *, #654, .F. ) ;
#771 = ORIENTED_EDGE ( 'NONE', *, *, #643, .F. ) ;
#772 = ADVANCED_FACE ( 'NONE', ( #5939 ), #5938, .F. ) ;
#773 = EDGE_LOOP ( 'NONE', ( #774, #775, #777 ) ) ;
#774 = ORIENTED_EDGE ( 'NONE', *, *, #469, .F. ) ;
#775 = ORIENTED_EDGE ( 'NONE', *, *, #776, .F. ) ;
#776 = EDGE_CURVE ( 'NONE', #4080, #467, #6000, .T. ) ;
#777 = ORIENTED_EDGE ( 'NONE', *, *, #4079, .F. ) ;
#778 = ADVANCED_FACE ( 'NONE', ( #5996 ), #5995, .F. ) ;
#779 = EDGE_LOOP ( 'NONE', ( #780, #756, #757 ) ) ;
#780 = ORIENTED_EDGE ( 'NONE', *, *, #4120, .F. ) ;
#781 = ORIENTED_EDGE ( 'NONE', *, *, #2878, .F. ) ;
#782 = ORIENTED_EDGE ( 'NONE', *, *, #2882, .F. ) ;
#783 = ADVANCED_FACE ( 'NONE', ( #5990 ), #5989, .F. ) ;
#784 = EDGE_LOOP ( 'NONE', ( #785, #786, #789 ) ) ;
#785 = ORIENTED_EDGE ( 'NONE', *, *, #2891, .F. ) ;
#786 = ORIENTED_EDGE ( 'NONE', *, *, #787, .F. ) ;
#787 = EDGE_CURVE ( 'NONE', #788, #2879, #5984, .T. ) ;
#788 = VERTEX_POINT ( 'NONE', #5979 ) ;
#789 = ORIENTED_EDGE ( 'NONE', *, *, #790, .T. ) ;
#790 = EDGE_CURVE ( 'NONE', #788, #2881, #5978, .T. ) ;
#791 = ADVANCED_FACE ( 'NONE', ( #5974 ), #5972, .F. ) ;
#792 = EDGE_LOOP ( 'NONE', ( #793, #794 ) ) ;
#793 = ORIENTED_EDGE ( 'NONE', *, *, #3151, .F. ) ;
#794 = ORIENTED_EDGE ( 'NONE', *, *, #795, .F. ) ;
#795 = EDGE_CURVE ( 'NONE', #3152, #3167, #6033, .T. ) ;
#796 = ADVANCED_FACE ( 'NONE', ( #6029 ), #6028, .F. ) ;
#797 = EDGE_LOOP ( 'NONE', ( #798, #850, #851 ) ) ;
#798 = ORIENTED_EDGE ( 'NONE', *, *, #799, .F. ) ;
#799 = EDGE_CURVE ( 'NONE', #406, #3152, #6023, .T. ) ;
#800 = EDGE_CURVE ( 'NONE', #3222, #3599, #6018, .T. ) ;
#801 = ADVANCED_FACE ( 'NONE', ( #6013 ), #6012, .F. ) ;
#802 = EDGE_LOOP ( 'NONE', ( #803, #805, #806 ) ) ;
#803 = ORIENTED_EDGE ( 'NONE', *, *, #804, .F. ) ;
#804 = EDGE_CURVE ( 'NONE', #3178, #3222, #6007, .T. ) ;
#805 = ORIENTED_EDGE ( 'NONE', *, *, #3177, .F. ) ;
#806 = ORIENTED_EDGE ( 'NONE', *, *, #3107, .F. ) ;
#807 = ADVANCED_FACE ( 'NONE', ( #6002 ), #5205, .F. ) ;
#808 = EDGE_LOOP ( 'NONE', ( #809, #811 ) ) ;
#809 = ORIENTED_EDGE ( 'NONE', *, *, #3180, .F. ) ;
#810 = EDGE_CURVE ( 'NONE', #2763, #3467, #6065, .T. ) ;
#811 = ORIENTED_EDGE ( 'NONE', *, *, #812, .F. ) ;
#812 = EDGE_CURVE ( 'NONE', #3181, #3178, #6061, .T. ) ;
#813 = ADVANCED_FACE ( 'NONE', ( #6056 ), #6055, .F. ) ;
#814 = EDGE_LOOP ( 'NONE', ( #863, #865, #866 ) ) ;
#815 = EDGE_LOOP ( 'NONE', ( #816, #817 ) ) ;
#816 = ORIENTED_EDGE ( 'NONE', *, *, #3137, .F. ) ;
#817 = ORIENTED_EDGE ( 'NONE', *, *, #3692, .F. ) ;
#818 = ADVANCED_FACE ( 'NONE', ( #6050 ), #6049, .F. ) ;
#819 = EDGE_LOOP ( 'NONE', ( #820, #821, #822 ) ) ;
#820 = ORIENTED_EDGE ( 'NONE', *, *, #3663, .F. ) ;
#821 = ORIENTED_EDGE ( 'NONE', *, *, #3219, .F. ) ;
#822 = ORIENTED_EDGE ( 'NONE', *, *, #3153, .F. ) ;
#823 = ADVANCED_FACE ( 'NONE', ( #6044 ), #6043, .F. ) ;
#824 = EDGE_LOOP ( 'NONE', ( #825, #754, #755 ) ) ;
#825 = ORIENTED_EDGE ( 'NONE', *, *, #3221, .F. ) ;
#826 = ORIENTED_EDGE ( 'NONE', *, *, #827, .T. ) ;
#827 = EDGE_CURVE ( 'NONE', #838, #3764, #6038, .T. ) ;
#828 = ORIENTED_EDGE ( 'NONE', *, *, #3762, .T. ) ;
#829 = ORIENTED_EDGE ( 'NONE', *, *, #830, .T. ) ;
#830 = EDGE_CURVE ( 'NONE', #3760, #849, #6034, .T. ) ;
#831 = ADVANCED_FACE ( 'NONE', ( #6092 ), #6091, .F. ) ;
#832 = EDGE_LOOP ( 'NONE', ( #833, #834, #835, #894, #895 ) ) ;
#833 = ORIENTED_EDGE ( 'NONE', *, *, #4384, .F. ) ;
#834 = ORIENTED_EDGE ( 'NONE', *, *, #3720, .T. ) ;
#835 = ORIENTED_EDGE ( 'NONE', *, *, #4322, .T. ) ;
#836 = ORIENTED_EDGE ( 'NONE', *, *, #837, .T. ) ;
#837 = EDGE_CURVE ( 'NONE', #409, #838, #6090, .T. ) ;
#838 = VERTEX_POINT ( 'NONE', #6082 ) ;
#839 = ORIENTED_EDGE ( 'NONE', *, *, #840, .T. ) ;
#840 = EDGE_CURVE ( 'NONE', #838, #4320, #6081, .T. ) ;
#841 = ORIENTED_EDGE ( 'NONE', *, *, #4319, .T. ) ;
#842 = VERTEX_POINT ( 'NONE', #6076 ) ;
#843 = ORIENTED_EDGE ( 'NONE', *, *, #844, .F. ) ;
#844 = EDGE_CURVE ( 'NONE', #467, #4311, #6075, .T. ) ;
#845 = ADVANCED_FACE ( 'NONE', ( #6071 ), #6070, .F. ) ;
#846 = EDGE_LOOP ( 'NONE', ( #847, #906, #907, #826, #828, #829 ) ) ;
#847 = ORIENTED_EDGE ( 'NONE', *, *, #848, .F. ) ;
#848 = EDGE_CURVE ( 'NONE', #4311, #849, #6129, .T. ) ;
#849 = VERTEX_POINT ( 'NONE', #6125 ) ;
#850 = ORIENTED_EDGE ( 'NONE', *, *, #405, .F. ) ;
#851 = ORIENTED_EDGE ( 'NONE', *, *, #477, .F. ) ;
#852 = ADVANCED_FACE ( 'NONE', ( #6124 ), #6123, .F. ) ;
#853 = EDGE_LOOP ( 'NONE', ( #854, #855, #858 ) ) ;
#854 = ORIENTED_EDGE ( 'NONE', *, *, #408, .F. ) ;
#855 = ORIENTED_EDGE ( 'NONE', *, *, #856, .F. ) ;
#856 = EDGE_CURVE ( 'NONE', #857, #406, #6118, .T. ) ;
#857 = VERTEX_POINT ( 'NONE', #6113 ) ;
#858 = ORIENTED_EDGE ( 'NONE', *, *, #859, .T. ) ;
#859 = EDGE_CURVE ( 'NONE', #857, #409, #6112, .T. ) ;
#860 = ADVANCED_FACE ( 'NONE', ( #6108 ), #6107, .F. ) ;
#861 = EDGE_LOOP ( 'NONE', ( #862, #836, #839, #841, #843 ) ) ;
#862 = ORIENTED_EDGE ( 'NONE', *, *, #466, .F. ) ;
#863 = ORIENTED_EDGE ( 'NONE', *, *, #864, .F. ) ;
#864 = EDGE_CURVE ( 'NONE', #3167, #3181, #6102, .T. ) ;
#865 = ORIENTED_EDGE ( 'NONE', *, *, #3166, .F. ) ;
#866 = ORIENTED_EDGE ( 'NONE', *, *, #3099, .F. ) ;
#867 = ORIENTED_EDGE ( 'NONE', *, *, #868, .T. ) ;
#868 = EDGE_CURVE ( 'NONE', #893, #869, #6097, .T. ) ;
#869 = VERTEX_POINT ( 'NONE', #6158 ) ;
#870 = ORIENTED_EDGE ( 'NONE', *, *, #871, .T. ) ;
#871 = EDGE_CURVE ( 'NONE', #869, #872, #6157, .T. ) ;
#872 = VERTEX_POINT ( 'NONE', #6152 ) ;
#873 = ORIENTED_EDGE ( 'NONE', *, *, #874, .T. ) ;
#874 = EDGE_CURVE ( 'NONE', #872, #875, #6151, .T. ) ;
#875 = VERTEX_POINT ( 'NONE', #6147 ) ;
#876 = ORIENTED_EDGE ( 'NONE', *, *, #877, .T. ) ;
#877 = EDGE_CURVE ( 'NONE', #875, #885, #6146, .T. ) ;
#878 = EDGE_LOOP ( 'NONE', ( #933, #934 ) ) ;
#879 = EDGE_LOOP ( 'NONE', ( #880, #881 ) ) ;
#880 = ORIENTED_EDGE ( 'NONE', *, *, #460, .F. ) ;
#881 = ORIENTED_EDGE ( 'NONE', *, *, #3763, .F. ) ;
#882 = EDGE_LOOP ( 'NONE', ( #883, #887, #890, #947, #867, #870, #873, #876 ) ) ;
#883 = ORIENTED_EDGE ( 'NONE', *, *, #884, .T. ) ;
#884 = EDGE_CURVE ( 'NONE', #885, #886, #6141, .T. ) ;
#885 = VERTEX_POINT ( 'NONE', #6137 ) ;
#886 = VERTEX_POINT ( 'NONE', #6136 ) ;
#887 = ORIENTED_EDGE ( 'NONE', *, *, #888, .T. ) ;
#888 = EDGE_CURVE ( 'NONE', #886, #889, #6134, .T. ) ;
#889 = VERTEX_POINT ( 'NONE', #6135 ) ;
#890 = ORIENTED_EDGE ( 'NONE', *, *, #891, .T. ) ;
#891 = EDGE_CURVE ( 'NONE', #889, #892, #6196, .T. ) ;
#892 = VERTEX_POINT ( 'NONE', #6192 ) ;
#893 = VERTEX_POINT ( 'NONE', #6191 ) ;
#894 = ORIENTED_EDGE ( 'NONE', *, *, #840, .F. ) ;
#895 = ORIENTED_EDGE ( 'NONE', *, *, #908, .F. ) ;
#896 = ADVANCED_FACE ( 'NONE', ( #6190, #6189, #6188, #6187, #6186, #6185 ), #6184, .T. ) ;
#897 = EDGE_LOOP ( 'NONE', ( #898, #899 ) ) ;
#898 = ORIENTED_EDGE ( 'NONE', *, *, #509, .F. ) ;
#899 = ORIENTED_EDGE ( 'NONE', *, *, #4242, .F. ) ;
#900 = EDGE_LOOP ( 'NONE', ( #901, #902 ) ) ;
#901 = ORIENTED_EDGE ( 'NONE', *, *, #448, .F. ) ;
#902 = ORIENTED_EDGE ( 'NONE', *, *, #4249, .F. ) ;
#903 = EDGE_LOOP ( 'NONE', ( #904, #905 ) ) ;
#904 = ORIENTED_EDGE ( 'NONE', *, *, #441, .F. ) ;
#905 = ORIENTED_EDGE ( 'NONE', *, *, #4191, .F. ) ;
#906 = ORIENTED_EDGE ( 'NONE', *, *, #4317, .T. ) ;
#907 = ORIENTED_EDGE ( 'NONE', *, *, #908, .T. ) ;
#908 = EDGE_CURVE ( 'NONE', #4310, #838, #6179, .T. ) ;
#909 = EDGE_LOOP ( 'NONE', ( #910, #911 ) ) ;
#910 = ORIENTED_EDGE ( 'NONE', *, *, #498, .F. ) ;
#911 = ORIENTED_EDGE ( 'NONE', *, *, #3752, .F. ) ;
#912 = ADVANCED_FACE ( 'NONE', ( #6174 ), #6173, .F. ) ;
#913 = EDGE_LOOP ( 'NONE', ( #914, #915, #916 ) ) ;
#914 = ORIENTED_EDGE ( 'NONE', *, *, #3685, .F. ) ;
#915 = ORIENTED_EDGE ( 'NONE', *, *, #484, .F. ) ;
#916 = ORIENTED_EDGE ( 'NONE', *, *, #500, .F. ) ;
#917 = ADVANCED_FACE ( 'NONE', ( #6168 ), #6167, .F. ) ;
#918 = EDGE_LOOP ( 'NONE', ( #4945, #4940, #4936, #4933 ) ) ;
#919 = EDGE_LOOP ( 'NONE', ( #1043, #1044 ) ) ;
#920 = ORIENTED_EDGE ( 'NONE', *, *, #921, .T. ) ;
#921 = EDGE_CURVE ( 'NONE', #946, #3717, #6162, .T. ) ;
#922 = ORIENTED_EDGE ( 'NONE', *, *, #3716, .T. ) ;
#923 = ORIENTED_EDGE ( 'NONE', *, *, #924, .T. ) ;
#924 = EDGE_CURVE ( 'NONE', #3714, #940, #6225, .T. ) ;
#925 = ADVANCED_FACE ( 'NONE', ( #6220 ), #6219, .F. ) ;
#926 = EDGE_LOOP ( 'NONE', ( #927, #928 ) ) ;
#927 = ORIENTED_EDGE ( 'NONE', *, *, #583, .F. ) ;
#928 = ORIENTED_EDGE ( 'NONE', *, *, #3668, .F. ) ;
#929 = ADVANCED_FACE ( 'NONE', ( #6214 ), #6213, .F. ) ;
#930 = EDGE_LOOP ( 'NONE', ( #931, #932, #993 ) ) ;
#931 = ORIENTED_EDGE ( 'NONE', *, *, #3665, .F. ) ;
#932 = ORIENTED_EDGE ( 'NONE', *, *, #496, .F. ) ;
#933 = ORIENTED_EDGE ( 'NONE', *, *, #453, .F. ) ;
#934 = ORIENTED_EDGE ( 'NONE', *, *, #3742, .F. ) ;
#935 = ADVANCED_FACE ( 'NONE', ( #6208 ), #6207, .F. ) ;
#936 = EDGE_LOOP ( 'NONE', ( #937, #941, #943, #944, #920, #922, #923 ) ) ;
#937 = ORIENTED_EDGE ( 'NONE', *, *, #938, .F. ) ;
#938 = EDGE_CURVE ( 'NONE', #939, #940, #6202, .T. ) ;
#939 = VERTEX_POINT ( 'NONE', #6198 ) ;
#940 = VERTEX_POINT ( 'NONE', #6197 ) ;
#941 = ORIENTED_EDGE ( 'NONE', *, *, #942, .T. ) ;
#942 = EDGE_CURVE ( 'NONE', #939, #4376, #6260, .T. ) ;
#943 = ORIENTED_EDGE ( 'NONE', *, *, #4292, .T. ) ;
#944 = ORIENTED_EDGE ( 'NONE', *, *, #945, .T. ) ;
#945 = EDGE_CURVE ( 'NONE', #4290, #946, #6255, .T. ) ;
#946 = VERTEX_POINT ( 'NONE', #6250 ) ;
#947 = ORIENTED_EDGE ( 'NONE', *, *, #948, .T. ) ;
#948 = EDGE_CURVE ( 'NONE', #892, #893, #6248, .T. ) ;
#949 = ORIENTED_EDGE ( 'NONE', *, *, #950, .F. ) ;
#950 = EDGE_CURVE ( 'NONE', #951, #1028, #6243, .T. ) ;
#951 = VERTEX_POINT ( 'NONE', #6239 ) ;
#952 = EDGE_LOOP ( 'NONE', ( #1192, #1254, #1255, #1188 ) ) ;
#953 = ORIENTED_EDGE ( 'NONE', *, *, #1016, .F. ) ;
#954 = VERTEX_POINT ( 'NONE', #6238 ) ;
#955 = ORIENTED_EDGE ( 'NONE', *, *, #1014, .F. ) ;
#956 = VERTEX_POINT ( 'NONE', #6237 ) ;
#957 = EDGE_CURVE ( 'NONE', #956, #990, #6236, .T. ) ;
#958 = VERTEX_POINT ( 'NONE', #6231 ) ;
#959 = ORIENTED_EDGE ( 'NONE', *, *, #2216, .T. ) ;
#960 = VERTEX_POINT ( 'NONE', #6230 ) ;
#961 = ORIENTED_EDGE ( 'NONE', *, *, #962, .T. ) ;
#962 = EDGE_CURVE ( 'NONE', #960, #964, #6229, .T. ) ;
#963 = VERTEX_POINT ( 'NONE', #6283 ) ;
#964 = VERTEX_POINT ( 'NONE', #6282 ) ;
#965 = EDGE_CURVE ( 'NONE', #1021, #966, #6281, .T. ) ;
#966 = VERTEX_POINT ( 'NONE', #6277 ) ;
#967 = ORIENTED_EDGE ( 'NONE', *, *, #968, .F. ) ;
#968 = EDGE_CURVE ( 'NONE', #969, #966, #6276, .T. ) ;
#969 = VERTEX_POINT ( 'NONE', #6275 ) ;
#970 = ORIENTED_EDGE ( 'NONE', *, *, #971, .F. ) ;
#971 = EDGE_CURVE ( 'NONE', #972, #969, #6268, .T. ) ;
#972 = VERTEX_POINT ( 'NONE', #6315 ) ;
#973 = VERTEX_POINT ( 'NONE', #6314 ) ;
#974 = ORIENTED_EDGE ( 'NONE', *, *, #975, .T. ) ;
#975 = EDGE_CURVE ( 'NONE', #973, #991, #6313, .T. ) ;
#976 = ORIENTED_EDGE ( 'NONE', *, *, #977, .F. ) ;
#977 = EDGE_CURVE ( 'NONE', #978, #979, #6309, .T. ) ;
#978 = VERTEX_POINT ( 'NONE', #6304 ) ;
#979 = VERTEX_POINT ( 'NONE', #6303 ) ;
#980 = ORIENTED_EDGE ( 'NONE', *, *, #981, .T. ) ;
#981 = EDGE_CURVE ( 'NONE', #978, #1005, #6302, .T. ) ;
#982 = ORIENTED_EDGE ( 'NONE', *, *, #987, .F. ) ;
#983 = EDGE_LOOP ( 'NONE', ( #1001, #1066, #3465, #3463, #3520, #3534 ) ) ;
#984 = VERTEX_POINT ( 'NONE', #6298 ) ;
#985 = ADVANCED_FACE ( 'NONE', ( #6297 ), #6296, .F. ) ;
#986 = ORIENTED_EDGE ( 'NONE', *, *, #987, .T. ) ;
#987 = EDGE_CURVE ( 'NONE', #964, #1005, #6291, .T. ) ;
#988 = ORIENTED_EDGE ( 'NONE', *, *, #380, .T. ) ;
#989 = EDGE_CURVE ( 'NONE', #990, #984, #6350, .T. ) ;
#990 = VERTEX_POINT ( 'NONE', #6346 ) ;
#991 = VERTEX_POINT ( 'NONE', #6345 ) ;
#992 = ORIENTED_EDGE ( 'NONE', *, *, #670, .T. ) ;
#993 = ORIENTED_EDGE ( 'NONE', *, *, #585, .F. ) ;
#994 = ADVANCED_FACE ( 'NONE', ( #6344 ), #6343, .F. ) ;
#995 = EDGE_CURVE ( 'NONE', #4952, #678, #6338, .T. ) ;
#996 = ADVANCED_FACE ( 'NONE', ( #6333 ), #6332, .T. ) ;
#997 = EDGE_LOOP ( 'NONE', ( #976, #980, #982, #998 ) ) ;
#998 = ORIENTED_EDGE ( 'NONE', *, *, #999, .F. ) ;
#999 = EDGE_CURVE ( 'NONE', #979, #964, #6327, .T. ) ;
#1000 = ADVANCED_FACE ( 'NONE', ( #6323 ), #6321, .F. ) ;
#1001 = ORIENTED_EDGE ( 'NONE', *, *, #1002, .F. ) ;
#1002 = EDGE_CURVE ( 'NONE', #1064, #1065, #6322, .T. ) ;
#1003 = ORIENTED_EDGE ( 'NONE', *, *, #989, .T. ) ;
#1004 = ORIENTED_EDGE ( 'NONE', *, *, #957, .T. ) ;
#1005 = VERTEX_POINT ( 'NONE', #6378 ) ;
#1006 = ORIENTED_EDGE ( 'NONE', *, *, #1007, .F. ) ;
#1007 = EDGE_CURVE ( 'NONE', #958, #1005, #6377, .T. ) ;
#1008 = ADVANCED_FACE ( 'NONE', ( #6373 ), #6372, .F. ) ;
#1009 = EDGE_LOOP ( 'NONE', ( #1010, #1029, #1031, #1033, #1024, #1027, #949, #953 ) ) ;
#1010 = ORIENTED_EDGE ( 'NONE', *, *, #1011, .F. ) ;
#1011 = EDGE_CURVE ( 'NONE', #1012, #1013, #6367, .T. ) ;
#1012 = VERTEX_POINT ( 'NONE', #6362 ) ;
#1013 = VERTEX_POINT ( 'NONE', #6361 ) ;
#1014 = EDGE_CURVE ( 'NONE', #1015, #954, #6360, .T. ) ;
#1015 = VERTEX_POINT ( 'NONE', #6355 ) ;
#1016 = EDGE_CURVE ( 'NONE', #1013, #951, #6354, .T. ) ;
#1017 = ADVANCED_FACE ( 'NONE', ( #6410 ), #6409, .F. ) ;
#1018 = EDGE_LOOP ( 'NONE', ( #1019, #1023, #967, #970, #1071, #1074 ) ) ;
#1019 = ORIENTED_EDGE ( 'NONE', *, *, #1020, .F. ) ;
#1020 = EDGE_CURVE ( 'NONE', #1021, #1022, #6408, .T. ) ;
#1021 = VERTEX_POINT ( 'NONE', #6400 ) ;
#1022 = VERTEX_POINT ( 'NONE', #6399 ) ;
#1023 = ORIENTED_EDGE ( 'NONE', *, *, #965, .T. ) ;
#1024 = ORIENTED_EDGE ( 'NONE', *, *, #1025, .F. ) ;
#1025 = EDGE_CURVE ( 'NONE', #1026, #1035, #6398, .T. ) ;
#1026 = VERTEX_POINT ( 'NONE', #6393 ) ;
#1027 = ORIENTED_EDGE ( 'NONE', *, *, #1036, .F. ) ;
#1028 = VERTEX_POINT ( 'NONE', #6392 ) ;
#1029 = ORIENTED_EDGE ( 'NONE', *, *, #1030, .T. ) ;
#1030 = EDGE_CURVE ( 'NONE', #1012, #4857, #6391, .T. ) ;
#1031 = ORIENTED_EDGE ( 'NONE', *, *, #1032, .F. ) ;
#1032 = EDGE_CURVE ( 'NONE', #4858, #4857, #6386, .T. ) ;
#1033 = ORIENTED_EDGE ( 'NONE', *, *, #1034, .F. ) ;
#1034 = EDGE_CURVE ( 'NONE', #1035, #4858, #6445, .T. ) ;
#1035 = VERTEX_POINT ( 'NONE', #6440 ) ;
#1036 = EDGE_CURVE ( 'NONE', #1028, #1026, #6439, .T. ) ;
#1037 = ADVANCED_FACE ( 'NONE', ( #6434 ), #6433, .F. ) ;
#1038 = EDGE_LOOP ( 'NONE', ( #1039, #1040 ) ) ;
#1039 = ORIENTED_EDGE ( 'NONE', *, *, #549, .F. ) ;
#1040 = ORIENTED_EDGE ( 'NONE', *, *, #1041, .F. ) ;
#1041 = EDGE_CURVE ( 'NONE', #550, #547, #6428, .T. ) ;
#1042 = ADVANCED_FACE ( 'NONE', ( #6423 ), #6422, .F. ) ;
#1043 = ORIENTED_EDGE ( 'NONE', *, *, #486, .F. ) ;
#1044 = ORIENTED_EDGE ( 'NONE', *, *, #3682, .F. ) ;
#1045 = ADVANCED_FACE ( 'NONE', ( #6417 ), #6416, .F. ) ;
#1046 = EDGE_LOOP ( 'NONE', ( #1047, #1049, #1050, #1051 ) ) ;
#1047 = ORIENTED_EDGE ( 'NONE', *, *, #1048, .F. ) ;
#1048 = EDGE_CURVE ( 'NONE', #558, #3677, #6478, .T. ) ;
#1049 = ORIENTED_EDGE ( 'NONE', *, *, #557, .F. ) ;
#1050 = ORIENTED_EDGE ( 'NONE', *, *, #488, .F. ) ;
#1051 = ORIENTED_EDGE ( 'NONE', *, *, #3679, .F. ) ;
#1052 = ADVANCED_FACE ( 'NONE', ( #6473 ), #6472, .F. ) ;
#1053 = EDGE_LOOP ( 'NONE', ( #1054, #1107 ) ) ;
#1054 = ORIENTED_EDGE ( 'NONE', *, *, #560, .F. ) ;
#1055 = EDGE_LOOP ( 'NONE', ( #1110, #1112, #1113 ) ) ;
#1056 = ORIENTED_EDGE ( 'NONE', *, *, #1057, .F. ) ;
#1057 = EDGE_CURVE ( 'NONE', #973, #1015, #6467, .T. ) ;
#1058 = ORIENTED_EDGE ( 'NONE', *, *, #1059, .T. ) ;
#1059 = EDGE_CURVE ( 'NONE', #991, #4924, #6462, .T. ) ;
#1060 = ADVANCED_FACE ( 'NONE', ( #6457 ), #6456, .T. ) ;
#1061 = EDGE_LOOP ( 'NONE', ( #1069, #961, #986, #1006 ) ) ;
#1062 = ORIENTED_EDGE ( 'NONE', *, *, #1063, .F. ) ;
#1063 = EDGE_CURVE ( 'NONE', #954, #984, #6455, .T. ) ;
#1064 = VERTEX_POINT ( 'NONE', #6446 ) ;
#1065 = VERTEX_POINT ( 'NONE', #6503 ) ;
#1066 = ORIENTED_EDGE ( 'NONE', *, *, #1067, .T. ) ;
#1067 = EDGE_CURVE ( 'NONE', #1064, #1068, #6502, .T. ) ;
#1068 = VERTEX_POINT ( 'NONE', #6498 ) ;
#1069 = ORIENTED_EDGE ( 'NONE', *, *, #1070, .T. ) ;
#1070 = EDGE_CURVE ( 'NONE', #958, #960, #6497, .T. ) ;
#1071 = ORIENTED_EDGE ( 'NONE', *, *, #1072, .F. ) ;
#1072 = EDGE_CURVE ( 'NONE', #1073, #972, #6492, .T. ) ;
#1073 = VERTEX_POINT ( 'NONE', #6491 ) ;
#1074 = ORIENTED_EDGE ( 'NONE', *, *, #1075, .F. ) ;
#1075 = EDGE_CURVE ( 'NONE', #1022, #1073, #6482, .T. ) ;
#1076 = ADVANCED_FACE ( 'NONE', ( #6481 ), #6480, .F. ) ;
#1077 = EDGE_LOOP ( 'NONE', ( #1078, #1079, #1080, #1138, #1141, #1144 ) ) ;
#1078 = ORIENTED_EDGE ( 'NONE', *, *, #4373, .F. ) ;
#1079 = ORIENTED_EDGE ( 'NONE', *, *, #4338, .T. ) ;
#1080 = ORIENTED_EDGE ( 'NONE', *, *, #1136, .T. ) ;
#1081 = EDGE_CURVE ( 'NONE', #1082, #597, #6533, .T. ) ;
#1082 = VERTEX_POINT ( 'NONE', #6524 ) ;
#1083 = ORIENTED_EDGE ( 'NONE', *, *, #1084, .T. ) ;
#1084 = EDGE_CURVE ( 'NONE', #1082, #946, #6523, .T. ) ;
#1085 = ORIENTED_EDGE ( 'NONE', *, *, #1086, .T. ) ;
#1086 = EDGE_CURVE ( 'NONE', #946, #939, #6519, .T. ) ;
#1087 = ORIENTED_EDGE ( 'NONE', *, *, #1088, .F. ) ;
#1088 = EDGE_CURVE ( 'NONE', #3687, #939, #6514, .T. ) ;
#1089 = ORIENTED_EDGE ( 'NONE', *, *, #3686, .F. ) ;
#1090 = ORIENTED_EDGE ( 'NONE', *, *, #525, .F. ) ;
#1091 = ORIENTED_EDGE ( 'NONE', *, *, #599, .F. ) ;
#1092 = ADVANCED_FACE ( 'NONE', ( #6510 ), #6507, .F. ) ;
#1093 = EDGE_LOOP ( 'NONE', ( #1150, #1151, #1152, #1153, #1154, #1155 ) ) ;
#1094 = EDGE_LOOP ( 'NONE', ( #1095, #1097, #1098 ) ) ;
#1095 = ORIENTED_EDGE ( 'NONE', *, *, #1096, .F. ) ;
#1096 = EDGE_CURVE ( 'NONE', #537, #550, #6509, .T. ) ;
#1097 = ORIENTED_EDGE ( 'NONE', *, *, #536, .F. ) ;
#1098 = ORIENTED_EDGE ( 'NONE', *, *, #526, .F. ) ;
#1099 = ADVANCED_FACE ( 'NONE', ( #6567 ), #6566, .F. ) ;
#1100 = EDGE_LOOP ( 'NONE', ( #1101, #1102 ) ) ;
#1101 = ORIENTED_EDGE ( 'NONE', *, *, #596, .F. ) ;
#1102 = ORIENTED_EDGE ( 'NONE', *, *, #1103, .F. ) ;
#1103 = EDGE_CURVE ( 'NONE', #597, #537, #6561, .T. ) ;
#1104 = ADVANCED_FACE ( 'NONE', ( #6556 ), #6555, .F. ) ;
#1105 = EDGE_LOOP ( 'NONE', ( #1106, #1083, #1085, #1087, #1089, #1090, #1091 ) ) ;
#1106 = ORIENTED_EDGE ( 'NONE', *, *, #1081, .F. ) ;
#1107 = ORIENTED_EDGE ( 'NONE', *, *, #1108, .F. ) ;
#1108 = EDGE_CURVE ( 'NONE', #561, #558, #6550, .T. ) ;
#1109 = ADVANCED_FACE ( 'NONE', ( #6545 ), #6544, .F. ) ;
#1110 = ORIENTED_EDGE ( 'NONE', *, *, #1111, .F. ) ;
#1111 = EDGE_CURVE ( 'NONE', #547, #561, #6595, .T. ) ;
#1112 = ORIENTED_EDGE ( 'NONE', *, *, #546, .F. ) ;
#1113 = ORIENTED_EDGE ( 'NONE', *, *, #563, .F. ) ;
#1114 = ORIENTED_EDGE ( 'NONE', *, *, #4047, .F. ) ;
#1115 = ORIENTED_EDGE ( 'NONE', *, *, #1116, .T. ) ;
#1116 = EDGE_CURVE ( 'NONE', #4045, #1117, #6591, .T. ) ;
#1117 = VERTEX_POINT ( 'NONE', #6586 ) ;
#1118 = ORIENTED_EDGE ( 'NONE', *, *, #1119, .T. ) ;
#1119 = EDGE_CURVE ( 'NONE', #1117, #595, #6585, .T. ) ;
#1120 = ORIENTED_EDGE ( 'NONE', *, *, #579, .F. ) ;
#1121 = ADVANCED_FACE ( 'NONE', ( #6584 ), #6583, .T. ) ;
#1122 = EDGE_LOOP ( 'NONE', ( #1123, #992, #1177, #1178, #1179 ) ) ;
#1123 = ORIENTED_EDGE ( 'NONE', *, *, #4144, .T. ) ;
#1124 = ORIENTED_EDGE ( 'NONE', *, *, #4349, .T. ) ;
#1125 = ORIENTED_EDGE ( 'NONE', *, *, #1126, .F. ) ;
#1126 = EDGE_CURVE ( 'NONE', #4346, #4294, #6574, .T. ) ;
#1127 = ADVANCED_FACE ( 'NONE', ( #6617 ), #6616, .T. ) ;
#1128 = EDGE_LOOP ( 'NONE', ( #1129, #1132, #1134, #1135, #1193 ) ) ;
#1129 = ORIENTED_EDGE ( 'NONE', *, *, #1130, .T. ) ;
#1130 = EDGE_CURVE ( 'NONE', #665, #1131, #6611, .T. ) ;
#1131 = VERTEX_POINT ( 'NONE', #6610 ) ;
#1132 = ORIENTED_EDGE ( 'NONE', *, *, #1133, .F. ) ;
#1133 = EDGE_CURVE ( 'NONE', #4062, #1131, #6605, .T. ) ;
#1134 = ORIENTED_EDGE ( 'NONE', *, *, #4055, .F. ) ;
#1135 = ORIENTED_EDGE ( 'NONE', *, *, #576, .F. ) ;
#1136 = EDGE_CURVE ( 'NONE', #4325, #1137, #6601, .T. ) ;
#1137 = VERTEX_POINT ( 'NONE', #6596 ) ;
#1138 = ORIENTED_EDGE ( 'NONE', *, *, #1139, .T. ) ;
#1139 = EDGE_CURVE ( 'NONE', #1137, #1140, #6649, .T. ) ;
#1140 = VERTEX_POINT ( 'NONE', #6644 ) ;
#1141 = ORIENTED_EDGE ( 'NONE', *, *, #1142, .T. ) ;
#1142 = EDGE_CURVE ( 'NONE', #1140, #1143, #6643, .T. ) ;
#1143 = VERTEX_POINT ( 'NONE', #6638 ) ;
#1144 = ORIENTED_EDGE ( 'NONE', *, *, #1145, .T. ) ;
#1145 = EDGE_CURVE ( 'NONE', #1143, #4374, #6636, .T. ) ;
#1146 = ADVANCED_FACE ( 'NONE', ( #6637 ), #6629, .T. ) ;
#1147 = EDGE_LOOP ( 'NONE', ( #1148, #1149, #1124, #1125 ) ) ;
#1148 = ORIENTED_EDGE ( 'NONE', *, *, #4351, .F. ) ;
#1149 = ORIENTED_EDGE ( 'NONE', *, *, #4274, .F. ) ;
#1150 = ORIENTED_EDGE ( 'NONE', *, *, #4289, .F. ) ;
#1151 = ORIENTED_EDGE ( 'NONE', *, *, #3651, .T. ) ;
#1152 = ORIENTED_EDGE ( 'NONE', *, *, #4378, .T. ) ;
#1153 = ORIENTED_EDGE ( 'NONE', *, *, #942, .F. ) ;
#1154 = ORIENTED_EDGE ( 'NONE', *, *, #1086, .F. ) ;
#1155 = ORIENTED_EDGE ( 'NONE', *, *, #945, .F. ) ;
#1156 = ORIENTED_EDGE ( 'NONE', *, *, #790, .F. ) ;
#1157 = ADVANCED_FACE ( 'NONE', ( #6625 ), #6624, .F. ) ;
#1158 = EDGE_LOOP ( 'NONE', ( #1159, #1160, #1163, #1221 ) ) ;
#1159 = ORIENTED_EDGE ( 'NONE', *, *, #4037, .F. ) ;
#1160 = ORIENTED_EDGE ( 'NONE', *, *, #1161, .T. ) ;
#1161 = EDGE_CURVE ( 'NONE', #4033, #1162, #6619, .T. ) ;
#1162 = VERTEX_POINT ( 'NONE', #6663 ) ;
#1163 = ORIENTED_EDGE ( 'NONE', *, *, #1164, .T. ) ;
#1164 = EDGE_CURVE ( 'NONE', #1162, #652, #6662, .T. ) ;
#1165 = ORIENTED_EDGE ( 'NONE', *, *, #660, .T. ) ;
#1166 = ORIENTED_EDGE ( 'NONE', *, *, #603, .T. ) ;
#1167 = ORIENTED_EDGE ( 'NONE', *, *, #676, .T. ) ;
#1168 = ORIENTED_EDGE ( 'NONE', *, *, #617, .T. ) ;
#1169 = ORIENTED_EDGE ( 'NONE', *, *, #613, .T. ) ;
#1170 = ORIENTED_EDGE ( 'NONE', *, *, #630, .T. ) ;
#1171 = ADVANCED_FACE ( 'NONE', ( #6661 ), #6660, .T. ) ;
#1172 = EDGE_LOOP ( 'NONE', ( #1173, #1176, #1234, #1235, #1236, #1156 ) ) ;
#1173 = ORIENTED_EDGE ( 'NONE', *, *, #1174, .T. ) ;
#1174 = EDGE_CURVE ( 'NONE', #788, #1175, #6651, .T. ) ;
#1175 = VERTEX_POINT ( 'NONE', #6650 ) ;
#1176 = ORIENTED_EDGE ( 'NONE', *, *, #1233, .T. ) ;
#1177 = ORIENTED_EDGE ( 'NONE', *, *, #571, .T. ) ;
#1178 = ORIENTED_EDGE ( 'NONE', *, *, #1119, .F. ) ;
#1179 = ORIENTED_EDGE ( 'NONE', *, *, #1180, .F. ) ;
#1180 = EDGE_CURVE ( 'NONE', #4118, #1117, #6694, .T. ) ;
#1181 = ADVANCED_FACE ( 'NONE', ( #6690 ), #6689, .T. ) ;
#1182 = EDGE_LOOP ( 'NONE', ( #1183, #1184, #1186, #1187, #1165, #1166, #1167, #1168, #1169, #1170 ) ) ;
#1183 = ORIENTED_EDGE ( 'NONE', *, *, #4096, .F. ) ;
#1184 = ORIENTED_EDGE ( 'NONE', *, *, #1185, .F. ) ;
#1185 = EDGE_CURVE ( 'NONE', #1131, #4117, #6683, .T. ) ;
#1186 = ORIENTED_EDGE ( 'NONE', *, *, #1130, .F. ) ;
#1187 = ORIENTED_EDGE ( 'NONE', *, *, #664, .T. ) ;
#1188 = ORIENTED_EDGE ( 'NONE', *, *, #552, .T. ) ;
#1189 = ORIENTED_EDGE ( 'NONE', *, *, #1257, .T. ) ;
#1190 = EDGE_LOOP ( 'NONE', ( #2230, #2255, #2175, #2228, #2176, #2180 ) ) ;
#1191 = ORIENTED_EDGE ( 'NONE', *, *, #4222, .T. ) ;
#1192 = ORIENTED_EDGE ( 'NONE', *, *, #1253, .T. ) ;
#1193 = ORIENTED_EDGE ( 'NONE', *, *, #667, .F. ) ;
#1194 = ADVANCED_FACE ( 'NONE', ( #6679 ), #6678, .F. ) ;
#1195 = EDGE_LOOP ( 'NONE', ( #1114, #1115, #1118, #1120 ) ) ;
#1196 = ORIENTED_EDGE ( 'NONE', *, *, #1197, .F. ) ;
#1197 = EDGE_CURVE ( 'NONE', #1198, #3595, #6677, .T. ) ;
#1198 = VERTEX_POINT ( 'NONE', #6668 ) ;
#1199 = ORIENTED_EDGE ( 'NONE', *, *, #687, .T. ) ;
#1200 = ADVANCED_FACE ( 'NONE', ( #6667 ), #6729, .T. ) ;
#1201 = EDGE_LOOP ( 'NONE', ( #1202, #1203, #1204, #1205 ) ) ;
#1202 = ORIENTED_EDGE ( 'NONE', *, *, #4093, .F. ) ;
#1203 = ORIENTED_EDGE ( 'NONE', *, *, #4327, .F. ) ;
#1204 = ORIENTED_EDGE ( 'NONE', *, *, #4125, .T. ) ;
#1205 = ORIENTED_EDGE ( 'NONE', *, *, #1206, .F. ) ;
#1206 = EDGE_CURVE ( 'NONE', #4094, #4095, #6725, .T. ) ;
#1207 = ADVANCED_FACE ( 'NONE', ( #6720 ), #6719, .T. ) ;
#1208 = EDGE_LOOP ( 'NONE', ( #1209, #1210, #1267, #1268, #1269, #1272 ) ) ;
#1209 = ORIENTED_EDGE ( 'NONE', *, *, #4083, .T. ) ;
#1210 = ORIENTED_EDGE ( 'NONE', *, *, #776, .T. ) ;
#1211 = ORIENTED_EDGE ( 'NONE', *, *, #4133, .F. ) ;
#1212 = ORIENTED_EDGE ( 'NONE', *, *, #1213, .F. ) ;
#1213 = EDGE_CURVE ( 'NONE', #1175, #4130, #6714, .T. ) ;
#1214 = ORIENTED_EDGE ( 'NONE', *, *, #1174, .F. ) ;
#1215 = ORIENTED_EDGE ( 'NONE', *, *, #787, .T. ) ;
#1216 = ORIENTED_EDGE ( 'NONE', *, *, #733, .T. ) ;
#1217 = ORIENTED_EDGE ( 'NONE', *, *, #729, .T. ) ;
#1218 = ORIENTED_EDGE ( 'NONE', *, *, #722, .T. ) ;
#1219 = ORIENTED_EDGE ( 'NONE', *, *, #744, .T. ) ;
#1220 = ORIENTED_EDGE ( 'NONE', *, *, #737, .T. ) ;
#1221 = ORIENTED_EDGE ( 'NONE', *, *, #717, .F. ) ;
#1222 = ADVANCED_FACE ( 'NONE', ( #6709 ), #6708, .T. ) ;
#1223 = EDGE_LOOP ( 'NONE', ( #1224, #1225, #1226, #1227, #1228, #1229 ) ) ;
#1224 = ORIENTED_EDGE ( 'NONE', *, *, #4027, .T. ) ;
#1225 = ORIENTED_EDGE ( 'NONE', *, *, #708, .T. ) ;
#1226 = ORIENTED_EDGE ( 'NONE', *, *, #703, .T. ) ;
#1227 = ORIENTED_EDGE ( 'NONE', *, *, #650, .T. ) ;
#1228 = ORIENTED_EDGE ( 'NONE', *, *, #1164, .F. ) ;
#1229 = ORIENTED_EDGE ( 'NONE', *, *, #1230, .F. ) ;
#1230 = EDGE_CURVE ( 'NONE', #4131, #1162, #6703, .T. ) ;
#1231 = ADVANCED_FACE ( 'NONE', ( #6699 ), #6764, .T. ) ;
#1232 = EDGE_LOOP ( 'NONE', ( #1211, #1212, #1214, #1215, #1216, #1217, #1218, #1219, #1220, #1199 ) ) ;
#1233 = EDGE_CURVE ( 'NONE', #1175, #4032, #6763, .T. ) ;
#1234 = ORIENTED_EDGE ( 'NONE', *, *, #4112, .F. ) ;
#1235 = ORIENTED_EDGE ( 'NONE', *, *, #714, .F. ) ;
#1236 = ORIENTED_EDGE ( 'NONE', *, *, #640, .F. ) ;
#1237 = VERTEX_POINT ( 'NONE', #6755 ) ;
#1238 = ORIENTED_EDGE ( 'NONE', *, *, #1239, .T. ) ;
#1239 = EDGE_CURVE ( 'NONE', #1198, #3756, #6754, .T. ) ;
#1240 = ORIENTED_EDGE ( 'NONE', *, *, #3674, .F. ) ;
#1241 = ORIENTED_EDGE ( 'NONE', *, *, #827, .F. ) ;
#1242 = ORIENTED_EDGE ( 'NONE', *, *, #837, .F. ) ;
#1243 = ORIENTED_EDGE ( 'NONE', *, *, #859, .F. ) ;
#1244 = ADVANCED_FACE ( 'NONE', ( #6750 ), #6749, .F. ) ;
#1245 = EDGE_LOOP ( 'NONE', ( #1246, #1247, #1304, #1305 ) ) ;
#1246 = ORIENTED_EDGE ( 'NONE', *, *, #3759, .F. ) ;
#1247 = ORIENTED_EDGE ( 'NONE', *, *, #1248, .T. ) ;
#1248 = EDGE_CURVE ( 'NONE', #3757, #1271, #6743, .T. ) ;
#1249 = ADVANCED_FACE ( 'NONE', ( #6739, #6738 ), #6736, .T. ) ;
#1250 = ORIENTED_EDGE ( 'NONE', *, *, #1252, .T. ) ;
#1251 = EDGE_LOOP ( 'NONE', ( #1250, #1191 ) ) ;
#1252 = EDGE_CURVE ( 'NONE', #4224, #4221, #6785, .T. ) ;
#1253 = EDGE_CURVE ( 'NONE', #412, #2665, #6780, .T. ) ;
#1254 = ORIENTED_EDGE ( 'NONE', *, *, #2745, .F. ) ;
#1255 = ORIENTED_EDGE ( 'NONE', *, *, #2781, .F. ) ;
#1256 = ORIENTED_EDGE ( 'NONE', *, *, #1257, .F. ) ;
#1257 = EDGE_CURVE ( 'NONE', #857, #1198, #6776, .T. ) ;
#1258 = ORIENTED_EDGE ( 'NONE', *, *, #856, .T. ) ;
#1259 = ORIENTED_EDGE ( 'NONE', *, *, #799, .T. ) ;
#1260 = ORIENTED_EDGE ( 'NONE', *, *, #795, .T. ) ;
#1261 = ORIENTED_EDGE ( 'NONE', *, *, #864, .T. ) ;
#1262 = ORIENTED_EDGE ( 'NONE', *, *, #812, .T. ) ;
#1263 = ORIENTED_EDGE ( 'NONE', *, *, #804, .T. ) ;
#1264 = ORIENTED_EDGE ( 'NONE', *, *, #800, .T. ) ;
#1265 = ADVANCED_FACE ( 'NONE', ( #6775 ), #6774, .T. ) ;
#1266 = EDGE_LOOP ( 'NONE', ( #1189, #1238, #1240, #1241, #1242, #1243 ) ) ;
#1267 = ORIENTED_EDGE ( 'NONE', *, *, #844, .T. ) ;
#1268 = ORIENTED_EDGE ( 'NONE', *, *, #848, .T. ) ;
#1269 = ORIENTED_EDGE ( 'NONE', *, *, #1270, .F. ) ;
#1270 = EDGE_CURVE ( 'NONE', #1271, #849, #6765, .T. ) ;
#1271 = VERTEX_POINT ( 'NONE', #6809 ) ;
#1272 = ORIENTED_EDGE ( 'NONE', *, *, #1273, .T. ) ;
#1273 = EDGE_CURVE ( 'NONE', #1271, #3596, #6804, .T. ) ;
#1274 = ADVANCED_FACE ( 'NONE', ( #6800 ), #6799, .T. ) ;
#1275 = EDGE_LOOP ( 'NONE', ( #1276, #1196, #1256, #1258, #1259, #1260, #1261, #1262, #1263, #1264 ) ) ;
#1276 = ORIENTED_EDGE ( 'NONE', *, *, #3598, .F. ) ;
#1277 = ORIENTED_EDGE ( 'NONE', *, *, #1278, .T. ) ;
#1278 = EDGE_CURVE ( 'NONE', #1355, #892, #6798, .T. ) ;
#1279 = ADVANCED_FACE ( 'NONE', ( #6790 ), #6788, .T. ) ;
#1280 = EDGE_LOOP ( 'NONE', ( #1281, #1282, #1283, #1286 ) ) ;
#1281 = ORIENTED_EDGE ( 'NONE', *, *, #948, .F. ) ;
#1282 = ORIENTED_EDGE ( 'NONE', *, *, #1278, .F. ) ;
#1283 = ORIENTED_EDGE ( 'NONE', *, *, #1284, .T. ) ;
#1284 = EDGE_CURVE ( 'NONE', #1355, #1285, #6789, .T. ) ;
#1285 = VERTEX_POINT ( 'NONE', #6835 ) ;
#1286 = ORIENTED_EDGE ( 'NONE', *, *, #1287, .F. ) ;
#1287 = EDGE_CURVE ( 'NONE', #893, #1285, #6834, .T. ) ;
#1288 = ADVANCED_FACE ( 'NONE', ( #6830 ), #6829, .T. ) ;
#1289 = EDGE_LOOP ( 'NONE', ( #1290, #1342, #1343, #1346 ) ) ;
#1290 = ORIENTED_EDGE ( 'NONE', *, *, #868, .F. ) ;
#1291 = ORIENTED_EDGE ( 'NONE', *, *, #1292, .F. ) ;
#1292 = EDGE_CURVE ( 'NONE', #1237, #886, #6824, .T. ) ;
#1293 = ORIENTED_EDGE ( 'NONE', *, *, #1294, .T. ) ;
#1294 = EDGE_CURVE ( 'NONE', #1237, #1295, #6820, .T. ) ;
#1295 = VERTEX_POINT ( 'NONE', #6815 ) ;
#1296 = ORIENTED_EDGE ( 'NONE', *, *, #1297, .F. ) ;
#1297 = EDGE_CURVE ( 'NONE', #889, #1295, #6814, .T. ) ;
#1298 = ADVANCED_FACE ( 'NONE', ( #6810 ), #6873, .T. ) ;
#1299 = EDGE_LOOP ( 'NONE', ( #1300, #1301, #1302, #1277 ) ) ;
#1300 = ORIENTED_EDGE ( 'NONE', *, *, #891, .F. ) ;
#1301 = ORIENTED_EDGE ( 'NONE', *, *, #1297, .T. ) ;
#1302 = ORIENTED_EDGE ( 'NONE', *, *, #1303, .T. ) ;
#1303 = EDGE_CURVE ( 'NONE', #1295, #1355, #6868, .T. ) ;
#1304 = ORIENTED_EDGE ( 'NONE', *, *, #1270, .T. ) ;
#1305 = ORIENTED_EDGE ( 'NONE', *, *, #830, .F. ) ;
#1306 = ADVANCED_FACE ( 'NONE', ( #6864 ), #6862, .T. ) ;
#1307 = EDGE_LOOP ( 'NONE', ( #1308, #1309, #1310, #1311 ) ) ;
#1308 = ORIENTED_EDGE ( 'NONE', *, *, #3637, .F. ) ;
#1309 = ORIENTED_EDGE ( 'NONE', *, *, #4382, .F. ) ;
#1310 = ORIENTED_EDGE ( 'NONE', *, *, #3644, .T. ) ;
#1311 = ORIENTED_EDGE ( 'NONE', *, *, #1312, .F. ) ;
#1312 = EDGE_CURVE ( 'NONE', #3638, #3642, #6857, .T. ) ;
#1313 = ADVANCED_FACE ( 'NONE', ( #6853 ), #6852, .T. ) ;
#1314 = EDGE_LOOP ( 'NONE', ( #1315, #1291, #1293, #1296 ) ) ;
#1315 = ORIENTED_EDGE ( 'NONE', *, *, #888, .F. ) ;
#1316 = EDGE_LOOP ( 'NONE', ( #1363, #1364, #1367, #1369 ) ) ;
#1317 = ORIENTED_EDGE ( 'NONE', *, *, #877, .F. ) ;
#1318 = ORIENTED_EDGE ( 'NONE', *, *, #1339, .F. ) ;
#1319 = ORIENTED_EDGE ( 'NONE', *, *, #1320, .T. ) ;
#1320 = EDGE_CURVE ( 'NONE', #1337, #1321, #6851, .T. ) ;
#1321 = VERTEX_POINT ( 'NONE', #6842 ) ;
#1322 = ORIENTED_EDGE ( 'NONE', *, *, #1323, .F. ) ;
#1323 = EDGE_CURVE ( 'NONE', #885, #1321, #6905, .T. ) ;
#1324 = ADVANCED_FACE ( 'NONE', ( #6901 ), #6900, .T. ) ;
#1325 = EDGE_LOOP ( 'NONE', ( #1326, #1327, #1328, #1384 ) ) ;
#1326 = ORIENTED_EDGE ( 'NONE', *, *, #884, .F. ) ;
#1327 = ORIENTED_EDGE ( 'NONE', *, *, #1323, .T. ) ;
#1328 = ORIENTED_EDGE ( 'NONE', *, *, #1383, .T. ) ;
#1329 = ORIENTED_EDGE ( 'NONE', *, *, #1330, .F. ) ;
#1330 = EDGE_CURVE ( 'NONE', #872, #1354, #6895, .T. ) ;
#1331 = ADVANCED_FACE ( 'NONE', ( #6891 ), #6890, .T. ) ;
#1332 = EDGE_LOOP ( 'NONE', ( #1333, #1334, #1335, #1338 ) ) ;
#1333 = ORIENTED_EDGE ( 'NONE', *, *, #874, .F. ) ;
#1334 = ORIENTED_EDGE ( 'NONE', *, *, #1330, .T. ) ;
#1335 = ORIENTED_EDGE ( 'NONE', *, *, #1336, .T. ) ;
#1336 = EDGE_CURVE ( 'NONE', #1354, #1337, #6885, .T. ) ;
#1337 = VERTEX_POINT ( 'NONE', #6881 ) ;
#1338 = ORIENTED_EDGE ( 'NONE', *, *, #1339, .T. ) ;
#1339 = EDGE_CURVE ( 'NONE', #1337, #875, #6880, .T. ) ;
#1340 = ADVANCED_FACE ( 'NONE', ( #6876 ), #6874, .T. ) ;
#1341 = EDGE_LOOP ( 'NONE', ( #1317, #1318, #1319, #1322 ) ) ;
#1342 = ORIENTED_EDGE ( 'NONE', *, *, #1287, .T. ) ;
#1343 = ORIENTED_EDGE ( 'NONE', *, *, #1344, .T. ) ;
#1344 = EDGE_CURVE ( 'NONE', #1285, #1345, #6936, .T. ) ;
#1345 = VERTEX_POINT ( 'NONE', #6929 ) ;
#1346 = ORIENTED_EDGE ( 'NONE', *, *, #1347, .T. ) ;
#1347 = EDGE_CURVE ( 'NONE', #1345, #869, #6928, .T. ) ;
#1348 = ADVANCED_FACE ( 'NONE', ( #6924 ), #6923, .T. ) ;
#1349 = EDGE_LOOP ( 'NONE', ( #1350, #1351, #1352, #1329 ) ) ;
#1350 = ORIENTED_EDGE ( 'NONE', *, *, #871, .F. ) ;
#1351 = ORIENTED_EDGE ( 'NONE', *, *, #1347, .F. ) ;
#1352 = ORIENTED_EDGE ( 'NONE', *, *, #1353, .T. ) ;
#1353 = EDGE_CURVE ( 'NONE', #1345, #1354, #6917, .T. ) ;
#1354 = VERTEX_POINT ( 'NONE', #6913 ) ;
#1355 = VERTEX_POINT ( 'NONE', #6912 ) ;
#1356 = EDGE_LOOP ( 'NONE', ( #1357, #1358, #1360, #1361, #1362, #1417, #1418, #1419, #1420, #1421 ) ) ;
#1357 = ORIENTED_EDGE ( 'NONE', *, *, #3765, .F. ) ;
#1358 = ORIENTED_EDGE ( 'NONE', *, *, #1359, .F. ) ;
#1359 = EDGE_CURVE ( 'NONE', #1389, #3705, #6910, .T. ) ;
#1360 = ORIENTED_EDGE ( 'NONE', *, *, #1388, .F. ) ;
#1361 = ORIENTED_EDGE ( 'NONE', *, *, #1081, .T. ) ;
#1362 = ORIENTED_EDGE ( 'NONE', *, *, #1103, .T. ) ;
#1363 = ORIENTED_EDGE ( 'NONE', *, *, #3713, .F. ) ;
#1364 = ORIENTED_EDGE ( 'NONE', *, *, #1365, .T. ) ;
#1365 = EDGE_CURVE ( 'NONE', #3711, #1366, #6960, .T. ) ;
#1366 = VERTEX_POINT ( 'NONE', #6956 ) ;
#1367 = ORIENTED_EDGE ( 'NONE', *, *, #1368, .T. ) ;
#1368 = EDGE_CURVE ( 'NONE', #1366, #940, #6953, .T. ) ;
#1369 = ORIENTED_EDGE ( 'NONE', *, *, #924, .F. ) ;
#1370 = ADVANCED_FACE ( 'NONE', ( #6955 ), #6954, .T. ) ;
#1371 = EDGE_LOOP ( 'NONE', ( #1372, #1373, #1374, #1429, #1430 ) ) ;
#1372 = ORIENTED_EDGE ( 'NONE', *, *, #3689, .T. ) ;
#1373 = ORIENTED_EDGE ( 'NONE', *, *, #1088, .T. ) ;
#1374 = ORIENTED_EDGE ( 'NONE', *, *, #938, .T. ) ;
#1375 = ORIENTED_EDGE ( 'NONE', *, *, #1837, .T. ) ;
#1376 = EDGE_LOOP ( 'NONE', ( #2020, #2021 ) ) ;
#1377 = ORIENTED_EDGE ( 'NONE', *, *, #2295, .F. ) ;
#1378 = EDGE_LOOP ( 'NONE', ( #1379, #1377, #1497, #1495 ) ) ;
#1379 = ORIENTED_EDGE ( 'NONE', *, *, #1380, .F. ) ;
#1380 = EDGE_CURVE ( 'NONE', #2286, #4107, #6944, .T. ) ;
#1381 = ORIENTED_EDGE ( 'NONE', *, *, #4161, .T. ) ;
#1382 = ADVANCED_FACE ( 'NONE', ( #6940 ), #6938, .F. ) ;
#1383 = EDGE_CURVE ( 'NONE', #1321, #1237, #6939, .T. ) ;
#1384 = ORIENTED_EDGE ( 'NONE', *, *, #1292, .T. ) ;
#1385 = ADVANCED_FACE ( 'NONE', ( #6979 ), #6978, .T. ) ;
#1386 = EDGE_LOOP ( 'NONE', ( #1387, #1390, #1392, #1393, #1394 ) ) ;
#1387 = ORIENTED_EDGE ( 'NONE', *, *, #1388, .T. ) ;
#1388 = EDGE_CURVE ( 'NONE', #1082, #1389, #6973, .T. ) ;
#1389 = VERTEX_POINT ( 'NONE', #6972 ) ;
#1390 = ORIENTED_EDGE ( 'NONE', *, *, #1391, .T. ) ;
#1391 = EDGE_CURVE ( 'NONE', #1389, #3710, #6966, .T. ) ;
#1392 = ORIENTED_EDGE ( 'NONE', *, *, #3654, .F. ) ;
#1393 = ORIENTED_EDGE ( 'NONE', *, *, #921, .F. ) ;
#1394 = ORIENTED_EDGE ( 'NONE', *, *, #1084, .F. ) ;
#1395 = ADVANCED_FACE ( 'NONE', ( #6962 ), #7018, .F. ) ;
#1396 = EDGE_CURVE ( 'NONE', #1140, #1143, #7019, .T. ) ;
#1397 = ORIENTED_EDGE ( 'NONE', *, *, #1142, .F. ) ;
#1398 = ADVANCED_FACE ( 'NONE', ( #7010 ), #7009, .T. ) ;
#1399 = EDGE_LOOP ( 'NONE', ( #1400, #1402, #1403 ) ) ;
#1400 = ORIENTED_EDGE ( 'NONE', *, *, #1401, .T. ) ;
#1401 = EDGE_CURVE ( 'NONE', #1143, #4375, #7004, .T. ) ;
#1402 = ORIENTED_EDGE ( 'NONE', *, *, #4296, .F. ) ;
#1403 = ORIENTED_EDGE ( 'NONE', *, *, #1145, .F. ) ;
#1404 = ADVANCED_FACE ( 'NONE', ( #7000 ), #6999, .T. ) ;
#1405 = EDGE_LOOP ( 'NONE', ( #1406, #1408 ) ) ;
#1406 = ORIENTED_EDGE ( 'NONE', *, *, #1407, .T. ) ;
#1407 = EDGE_CURVE ( 'NONE', #4299, #4302, #6994, .T. ) ;
#1408 = ORIENTED_EDGE ( 'NONE', *, *, #4301, .F. ) ;
#1409 = ADVANCED_FACE ( 'NONE', ( #6990 ), #6989, .T. ) ;
#1410 = EDGE_LOOP ( 'NONE', ( #1411, #1413, #1414 ) ) ;
#1411 = ORIENTED_EDGE ( 'NONE', *, *, #1412, .T. ) ;
#1412 = EDGE_CURVE ( 'NONE', #4302, #1137, #7053, .T. ) ;
#1413 = ORIENTED_EDGE ( 'NONE', *, *, #1136, .F. ) ;
#1414 = ORIENTED_EDGE ( 'NONE', *, *, #4304, .F. ) ;
#1415 = ADVANCED_FACE ( 'NONE', ( #7049 ), #7048, .T. ) ;
#1416 = EDGE_LOOP ( 'NONE', ( #1464, #1466 ) ) ;
#1417 = ORIENTED_EDGE ( 'NONE', *, *, #1096, .T. ) ;
#1418 = ORIENTED_EDGE ( 'NONE', *, *, #1041, .T. ) ;
#1419 = ORIENTED_EDGE ( 'NONE', *, *, #1111, .T. ) ;
#1420 = ORIENTED_EDGE ( 'NONE', *, *, #1108, .T. ) ;
#1421 = ORIENTED_EDGE ( 'NONE', *, *, #1048, .T. ) ;
#1422 = ADVANCED_FACE ( 'NONE', ( #7043 ), #7042, .T. ) ;
#1423 = EDGE_LOOP ( 'NONE', ( #1424, #1425, #1426, #1427 ) ) ;
#1424 = ORIENTED_EDGE ( 'NONE', *, *, #3648, .F. ) ;
#1425 = ORIENTED_EDGE ( 'NONE', *, *, #4287, .F. ) ;
#1426 = ORIENTED_EDGE ( 'NONE', *, *, #3671, .T. ) ;
#1427 = ORIENTED_EDGE ( 'NONE', *, *, #1428, .F. ) ;
#1428 = EDGE_CURVE ( 'NONE', #3602, #3601, #7036, .T. ) ;
#1429 = ORIENTED_EDGE ( 'NONE', *, *, #1368, .F. ) ;
#1430 = ORIENTED_EDGE ( 'NONE', *, *, #1431, .F. ) ;
#1431 = EDGE_CURVE ( 'NONE', #3701, #1366, #7032, .T. ) ;
#1432 = ADVANCED_FACE ( 'NONE', ( #7028 ), #7027, .T. ) ;
#1433 = ORIENTED_EDGE ( 'NONE', *, *, #4129, .T. ) ;
#1434 = ORIENTED_EDGE ( 'NONE', *, *, #1230, .T. ) ;
#1435 = ORIENTED_EDGE ( 'NONE', *, *, #1161, .F. ) ;
#1436 = ORIENTED_EDGE ( 'NONE', *, *, #4031, .F. ) ;
#1437 = ORIENTED_EDGE ( 'NONE', *, *, #1233, .F. ) ;
#1438 = ADVANCED_FACE ( 'NONE', ( #7021, #7020, #7087 ), #7026, .T. ) ;
#1439 = ORIENTED_EDGE ( 'NONE', *, *, #1133, .T. ) ;
#1440 = EDGE_LOOP ( 'NONE', ( #1441, #1442 ) ) ;
#1441 = ORIENTED_EDGE ( 'NONE', *, *, #4339, .T. ) ;
#1442 = ORIENTED_EDGE ( 'NONE', *, *, #1126, .T. ) ;
#1443 = EDGE_LOOP ( 'NONE', ( #1444, #1446 ) ) ;
#1444 = ORIENTED_EDGE ( 'NONE', *, *, #1445, .T. ) ;
#1445 = EDGE_CURVE ( 'NONE', #3607, #3603, #7082, .T. ) ;
#1446 = ORIENTED_EDGE ( 'NONE', *, *, #3606, .T. ) ;
#1447 = ADVANCED_FACE ( 'NONE', ( #7077, #7076, #7075 ), #7074, .T. ) ;
#1448 = EDGE_LOOP ( 'NONE', ( #1449, #1450 ) ) ;
#1449 = ORIENTED_EDGE ( 'NONE', *, *, #4123, .T. ) ;
#1450 = ORIENTED_EDGE ( 'NONE', *, *, #1206, .T. ) ;
#1451 = EDGE_LOOP ( 'NONE', ( #1504, #1506 ) ) ;
#1452 = ADVANCED_FACE ( 'NONE', ( #7069 ), #7068, .T. ) ;
#1453 = EDGE_LOOP ( 'NONE', ( #1454, #1456 ) ) ;
#1454 = ORIENTED_EDGE ( 'NONE', *, *, #1455, .T. ) ;
#1455 = EDGE_CURVE ( 'NONE', #4375, #4299, #7063, .T. ) ;
#1456 = ORIENTED_EDGE ( 'NONE', *, *, #4298, .F. ) ;
#1457 = ADVANCED_FACE ( 'NONE', ( #7059, #7058, #7057 ), #7056, .T. ) ;
#1458 = EDGE_LOOP ( 'NONE', ( #1459, #1460, #1461, #1462, #1463, #1439 ) ) ;
#1459 = ORIENTED_EDGE ( 'NONE', *, *, #1185, .T. ) ;
#1460 = ORIENTED_EDGE ( 'NONE', *, *, #4116, .T. ) ;
#1461 = ORIENTED_EDGE ( 'NONE', *, *, #1180, .T. ) ;
#1462 = ORIENTED_EDGE ( 'NONE', *, *, #1116, .F. ) ;
#1463 = ORIENTED_EDGE ( 'NONE', *, *, #4061, .F. ) ;
#1464 = ORIENTED_EDGE ( 'NONE', *, *, #1465, .T. ) ;
#1465 = EDGE_CURVE ( 'NONE', #1137, #1140, #7118, .T. ) ;
#1466 = ORIENTED_EDGE ( 'NONE', *, *, #1139, .F. ) ;
#1467 = ADVANCED_FACE ( 'NONE', ( #7114 ), #7113, .T. ) ;
#1468 = EDGE_LOOP ( 'NONE', ( #1469, #1397 ) ) ;
#1469 = ORIENTED_EDGE ( 'NONE', *, *, #1396, .T. ) ;
#1470 = ORIENTED_EDGE ( 'NONE', *, *, #4004, .F. ) ;
#1471 = ORIENTED_EDGE ( 'NONE', *, *, #1522, .F. ) ;
#1472 = ORIENTED_EDGE ( 'NONE', *, *, #3945, .F. ) ;
#1473 = ADVANCED_FACE ( 'NONE', ( #7108 ), #7107, .F. ) ;
#1474 = EDGE_LOOP ( 'NONE', ( #1512, #1514 ) ) ;
#1475 = ORIENTED_EDGE ( 'NONE', *, *, #4006, .T. ) ;
#1476 = ORIENTED_EDGE ( 'NONE', *, *, #1542, .F. ) ;
#1477 = ORIENTED_EDGE ( 'NONE', *, *, #3989, .T. ) ;
#1478 = ORIENTED_EDGE ( 'NONE', *, *, #1542, .T. ) ;
#1479 = ORIENTED_EDGE ( 'NONE', *, *, #3914, .T. ) ;
#1480 = ADVANCED_FACE ( 'NONE', ( #7102 ), #7101, .F. ) ;
#1481 = EDGE_LOOP ( 'NONE', ( #1482, #1483, #1484, #1485 ) ) ;
#1482 = ORIENTED_EDGE ( 'NONE', *, *, #3956, .F. ) ;
#1483 = ORIENTED_EDGE ( 'NONE', *, *, #1538, .F. ) ;
#1484 = ORIENTED_EDGE ( 'NONE', *, *, #3961, .T. ) ;
#1485 = ORIENTED_EDGE ( 'NONE', *, *, #1615, .F. ) ;
#1486 = ORIENTED_EDGE ( 'NONE', *, *, #4082, .F. ) ;
#1487 = ADVANCED_FACE ( 'NONE', ( #7096 ), #7095, .T. ) ;
#1488 = ORIENTED_EDGE ( 'NONE', *, *, #4174, .F. ) ;
#1489 = ORIENTED_EDGE ( 'NONE', *, *, #3980, .F. ) ;
#1490 = ORIENTED_EDGE ( 'NONE', *, *, #2248, .F. ) ;
#1491 = ORIENTED_EDGE ( 'NONE', *, *, #2223, .F. ) ;
#1492 = ADVANCED_FACE ( 'NONE', ( #7090 ), #7089, .T. ) ;
#1493 = EDGE_LOOP ( 'NONE', ( #1494, #1381, #1477, #1478 ) ) ;
#1494 = ORIENTED_EDGE ( 'NONE', *, *, #3983, .F. ) ;
#1495 = ORIENTED_EDGE ( 'NONE', *, *, #4183, .F. ) ;
#1496 = ADVANCED_FACE ( 'NONE', ( #7152 ), #7088, .F. ) ;
#1497 = ORIENTED_EDGE ( 'NONE', *, *, #2244, .T. ) ;
#1498 = ORIENTED_EDGE ( 'NONE', *, *, #4158, .T. ) ;
#1499 = ORIENTED_EDGE ( 'NONE', *, *, #2219, .F. ) ;
#1500 = ORIENTED_EDGE ( 'NONE', *, *, #2285, .F. ) ;
#1501 = ORIENTED_EDGE ( 'NONE', *, *, #1380, .T. ) ;
#1502 = EDGE_LOOP ( 'NONE', ( #1488, #1489, #1490, #1491 ) ) ;
#1503 = EDGE_LOOP ( 'NONE', ( #1498, #1499, #1500, #1501, #1486 ) ) ;
#1504 = ORIENTED_EDGE ( 'NONE', *, *, #1505, .T. ) ;
#1505 = EDGE_CURVE ( 'NONE', #3549, #3548, #7147, .T. ) ;
#1506 = ORIENTED_EDGE ( 'NONE', *, *, #3547, .T. ) ;
#1507 = EDGE_LOOP ( 'NONE', ( #1508, #1433, #1434, #1435, #1436, #1437 ) ) ;
#1508 = ORIENTED_EDGE ( 'NONE', *, *, #1213, .T. ) ;
#1509 = ADVANCED_FACE ( 'NONE', ( #7142 ), #7141, .F. ) ;
#1510 = ORIENTED_EDGE ( 'NONE', *, *, #1511, .T. ) ;
#1511 = EDGE_CURVE ( 'NONE', #3915, #3912, #7136, .T. ) ;
#1512 = ORIENTED_EDGE ( 'NONE', *, *, #1513, .T. ) ;
#1513 = EDGE_CURVE ( 'NONE', #3895, #3894, #7131, .T. ) ;
#1514 = ORIENTED_EDGE ( 'NONE', *, *, #3902, .T. ) ;
#1515 = ADVANCED_FACE ( 'NONE', ( #7126 ), #7124, .F. ) ;
#1516 = EDGE_LOOP ( 'NONE', ( #1517, #1519 ) ) ;
#1517 = ORIENTED_EDGE ( 'NONE', *, *, #1518, .T. ) ;
#1518 = EDGE_CURVE ( 'NONE', #3900, #3899, #7183, .T. ) ;
#1519 = ORIENTED_EDGE ( 'NONE', *, *, #3892, .T. ) ;
#1520 = EDGE_LOOP ( 'NONE', ( #1510, #1479 ) ) ;
#1521 = ORIENTED_EDGE ( 'NONE', *, *, #1522, .T. ) ;
#1522 = EDGE_CURVE ( 'NONE', #4007, #4008, #7179, .T. ) ;
#1523 = ORIENTED_EDGE ( 'NONE', *, *, #4011, .T. ) ;
#1524 = ORIENTED_EDGE ( 'NONE', *, *, #1525, .F. ) ;
#1525 = EDGE_CURVE ( 'NONE', #3935, #3947, #7174, .T. ) ;
#1526 = ADVANCED_FACE ( 'NONE', ( #7169 ), #7168, .T. ) ;
#1527 = EDGE_LOOP ( 'NONE', ( #1528, #1529, #1530, #1531 ) ) ;
#1528 = ORIENTED_EDGE ( 'NONE', *, *, #3999, .F. ) ;
#1529 = ORIENTED_EDGE ( 'NONE', *, *, #1525, .T. ) ;
#1530 = ORIENTED_EDGE ( 'NONE', *, *, #3995, .T. ) ;
#1531 = ORIENTED_EDGE ( 'NONE', *, *, #1532, .F. ) ;
#1532 = EDGE_CURVE ( 'NONE', #3997, #4010, #7167, .T. ) ;
#1533 = ORIENTED_EDGE ( 'NONE', *, *, #1534, .T. ) ;
#1534 = EDGE_CURVE ( 'NONE', #3938, #4016, #7158, .T. ) ;
#1535 = ADVANCED_FACE ( 'NONE', ( #7218, #7217 ), #7216, .T. ) ;
#1536 = EDGE_LOOP ( 'NONE', ( #1537, #1539 ) ) ;
#1537 = ORIENTED_EDGE ( 'NONE', *, *, #1538, .T. ) ;
#1538 = EDGE_CURVE ( 'NONE', #3954, #3950, #7211, .T. ) ;
#1539 = ORIENTED_EDGE ( 'NONE', *, *, #3963, .T. ) ;
#1540 = EDGE_LOOP ( 'NONE', ( #1541, #1472 ) ) ;
#1541 = ORIENTED_EDGE ( 'NONE', *, *, #1534, .F. ) ;
#1542 = EDGE_CURVE ( 'NONE', #3987, #3984, #7206, .T. ) ;
#1543 = ADVANCED_FACE ( 'NONE', ( #7201, #7200 ), #7199, .T. ) ;
#1544 = EDGE_LOOP ( 'NONE', ( #1521, #1475 ) ) ;
#1545 = EDGE_LOOP ( 'NONE', ( #1476, #1578 ) ) ;
#1546 = ORIENTED_EDGE ( 'NONE', *, *, #1547, .T. ) ;
#1547 = EDGE_CURVE ( 'NONE', #3925, #3861, #7194, .T. ) ;
#1548 = ORIENTED_EDGE ( 'NONE', *, *, #3858, .T. ) ;
#1549 = ADVANCED_FACE ( 'NONE', ( #7189 ), #7188, .T. ) ;
#1550 = EDGE_LOOP ( 'NONE', ( #1551, #1552, #1553, #1554 ) ) ;
#1551 = ORIENTED_EDGE ( 'NONE', *, *, #3965, .F. ) ;
#1552 = ORIENTED_EDGE ( 'NONE', *, *, #1513, .F. ) ;
#1553 = ORIENTED_EDGE ( 'NONE', *, *, #3906, .T. ) ;
#1554 = ORIENTED_EDGE ( 'NONE', *, *, #1555, .F. ) ;
#1555 = EDGE_CURVE ( 'NONE', #3929, #3928, #7252, .T. ) ;
#1556 = ADVANCED_FACE ( 'NONE', ( #7245, #7244 ), #7243, .T. ) ;
#1557 = EDGE_LOOP ( 'NONE', ( #1558, #1560 ) ) ;
#1558 = ORIENTED_EDGE ( 'NONE', *, *, #1559, .T. ) ;
#1559 = EDGE_CURVE ( 'NONE', #3943, #4014, #7238, .T. ) ;
#1560 = ORIENTED_EDGE ( 'NONE', *, *, #3934, .T. ) ;
#1561 = EDGE_LOOP ( 'NONE', ( #1562, #1563 ) ) ;
#1562 = ORIENTED_EDGE ( 'NONE', *, *, #4012, .T. ) ;
#1563 = ORIENTED_EDGE ( 'NONE', *, *, #1532, .T. ) ;
#1564 = ADVANCED_FACE ( 'NONE', ( #7233 ), #7232, .T. ) ;
#1565 = EDGE_LOOP ( 'NONE', ( #1566, #1567, #1568, #1533 ) ) ;
#1566 = ORIENTED_EDGE ( 'NONE', *, *, #4015, .F. ) ;
#1567 = ORIENTED_EDGE ( 'NONE', *, *, #1559, .F. ) ;
#1568 = ORIENTED_EDGE ( 'NONE', *, *, #3939, .T. ) ;
#1569 = ADVANCED_FACE ( 'NONE', ( #7231 ), #7226, .T. ) ;
#1570 = EDGE_LOOP ( 'NONE', ( #1571, #1572, #1573, #1574 ) ) ;
#1571 = ORIENTED_EDGE ( 'NONE', *, *, #3971, .F. ) ;
#1572 = ORIENTED_EDGE ( 'NONE', *, *, #1518, .F. ) ;
#1573 = ORIENTED_EDGE ( 'NONE', *, *, #3968, .T. ) ;
#1574 = ORIENTED_EDGE ( 'NONE', *, *, #1575, .F. ) ;
#1575 = EDGE_CURVE ( 'NONE', #3919, #3917, #7283, .T. ) ;
#1576 = ADVANCED_FACE ( 'NONE', ( #7278 ), #7277, .T. ) ;
#1577 = EDGE_LOOP ( 'NONE', ( #1642, #1608, #1598, #1639 ) ) ;
#1578 = ORIENTED_EDGE ( 'NONE', *, *, #3988, .F. ) ;
#1579 = ADVANCED_FACE ( 'NONE', ( #7276 ), #7271, .T. ) ;
#1580 = EDGE_LOOP ( 'NONE', ( #1470, #1471, #1523, #1524 ) ) ;
#1581 = ADVANCED_FACE ( 'NONE', ( #7265 ), #7264, .T. ) ;
#1582 = EDGE_CURVE ( 'NONE', #3545, #842, #7263, .T. ) ;
#1583 = EDGE_LOOP ( 'NONE', ( #1584, #1643, #1644, #1645 ) ) ;
#1584 = ORIENTED_EDGE ( 'NONE', *, *, #3927, .F. ) ;
#1585 = ORIENTED_EDGE ( 'NONE', *, *, #3837, .T. ) ;
#1586 = ORIENTED_EDGE ( 'NONE', *, *, #1587, .F. ) ;
#1587 = EDGE_CURVE ( 'NONE', #3768, #3835, #7256, .T. ) ;
#1588 = ADVANCED_FACE ( 'NONE', ( #7312 ), #7311, .F. ) ;
#1589 = EDGE_LOOP ( 'NONE', ( #1590, #1591, #1592, #1593 ) ) ;
#1590 = ORIENTED_EDGE ( 'NONE', *, *, #3838, .F. ) ;
#1591 = ORIENTED_EDGE ( 'NONE', *, *, #3886, .F. ) ;
#1592 = ORIENTED_EDGE ( 'NONE', *, *, #3832, .T. ) ;
#1593 = ORIENTED_EDGE ( 'NONE', *, *, #1594, .F. ) ;
#1594 = EDGE_CURVE ( 'NONE', #3847, #3846, #7305, .T. ) ;
#1595 = ORIENTED_EDGE ( 'NONE', *, *, #1725, .F. ) ;
#1596 = ORIENTED_EDGE ( 'NONE', *, *, #1615, .T. ) ;
#1597 = ORIENTED_EDGE ( 'NONE', *, *, #3877, .T. ) ;
#1598 = ORIENTED_EDGE ( 'NONE', *, *, #3905, .T. ) ;
#1599 = ADVANCED_FACE ( 'NONE', ( #7301 ), #7300, .T. ) ;
#1600 = EDGE_LOOP ( 'NONE', ( #1601, #1602, #1604, #1605 ) ) ;
#1601 = ORIENTED_EDGE ( 'NONE', *, *, #3870, .F. ) ;
#1602 = ORIENTED_EDGE ( 'NONE', *, *, #1603, .F. ) ;
#1603 = EDGE_CURVE ( 'NONE', #3793, #3787, #7294, .T. ) ;
#1604 = ORIENTED_EDGE ( 'NONE', *, *, #3879, .T. ) ;
#1605 = ORIENTED_EDGE ( 'NONE', *, *, #1610, .F. ) ;
#1606 = ADVANCED_FACE ( 'NONE', ( #7290 ), #7289, .T. ) ;
#1607 = EDGE_LOOP ( 'NONE', ( #1623, #1624, #1625, #1626 ) ) ;
#1608 = ORIENTED_EDGE ( 'NONE', *, *, #1511, .F. ) ;
#1609 = ORIENTED_EDGE ( 'NONE', *, *, #1610, .T. ) ;
#1610 = EDGE_CURVE ( 'NONE', #3871, #3881, #7288, .T. ) ;
#1611 = EDGE_LOOP ( 'NONE', ( #1620, #1621, #1622, #1699 ) ) ;
#1612 = ADVANCED_FACE ( 'NONE', ( #7344 ), #7343, .F. ) ;
#1613 = ORIENTED_EDGE ( 'NONE', *, *, #3849, .F. ) ;
#1614 = ORIENTED_EDGE ( 'NONE', *, *, #3859, .F. ) ;
#1615 = EDGE_CURVE ( 'NONE', #3964, #3959, #7337, .T. ) ;
#1616 = ADVANCED_FACE ( 'NONE', ( #7333 ), #7332, .F. ) ;
#1617 = EDGE_LOOP ( 'NONE', ( #1546, #1548 ) ) ;
#1618 = ADVANCED_FACE ( 'NONE', ( #7327 ), #7326, .T. ) ;
#1619 = ADVANCED_FACE ( 'NONE', ( #7320 ), #7319, .T. ) ;
#1620 = ORIENTED_EDGE ( 'NONE', *, *, #3918, .F. ) ;
#1621 = ORIENTED_EDGE ( 'NONE', *, *, #1547, .F. ) ;
#1622 = ORIENTED_EDGE ( 'NONE', *, *, #3904, .T. ) ;
#1623 = ORIENTED_EDGE ( 'NONE', *, *, #3818, .F. ) ;
#1624 = ORIENTED_EDGE ( 'NONE', *, *, #1700, .T. ) ;
#1625 = ORIENTED_EDGE ( 'NONE', *, *, #3811, .T. ) ;
#1626 = ORIENTED_EDGE ( 'NONE', *, *, #3805, .T. ) ;
#1627 = ADVANCED_FACE ( 'NONE', ( #7314 ), #7380, .F. ) ;
#1628 = EDGE_LOOP ( 'NONE', ( #1629, #1630, #1631, #1632 ) ) ;
#1629 = ORIENTED_EDGE ( 'NONE', *, *, #3830, .F. ) ;
#1630 = ORIENTED_EDGE ( 'NONE', *, *, #3924, .T. ) ;
#1631 = ORIENTED_EDGE ( 'NONE', *, *, #3828, .T. ) ;
#1632 = ORIENTED_EDGE ( 'NONE', *, *, #1633, .F. ) ;
#1633 = EDGE_CURVE ( 'NONE', #3815, #3814, #7381, .T. ) ;
#1634 = EDGE_LOOP ( 'NONE', ( #1613, #1614, #1585, #1586 ) ) ;
#1635 = EDGE_LOOP ( 'NONE', ( #1636, #1637, #1638, #1655 ) ) ;
#1636 = ORIENTED_EDGE ( 'NONE', *, *, #3932, .F. ) ;
#1637 = ORIENTED_EDGE ( 'NONE', *, *, #1555, .T. ) ;
#1638 = ORIENTED_EDGE ( 'NONE', *, *, #3923, .T. ) ;
#1639 = ORIENTED_EDGE ( 'NONE', *, *, #1640, .F. ) ;
#1640 = EDGE_CURVE ( 'NONE', #3875, #3876, #7372, .T. ) ;
#1641 = EDGE_LOOP ( 'NONE', ( #1652, #1596 ) ) ;
#1642 = ORIENTED_EDGE ( 'NONE', *, *, #3910, .F. ) ;
#1643 = ORIENTED_EDGE ( 'NONE', *, *, #1575, .T. ) ;
#1644 = ORIENTED_EDGE ( 'NONE', *, *, #3851, .T. ) ;
#1645 = ORIENTED_EDGE ( 'NONE', *, *, #3842, .T. ) ;
#1646 = ADVANCED_FACE ( 'NONE', ( #7367 ), #7366, .T. ) ;
#1647 = EDGE_LOOP ( 'NONE', ( #1648, #1649, #1650, #1651 ) ) ;
#1648 = ORIENTED_EDGE ( 'NONE', *, *, #3868, .F. ) ;
#1649 = ORIENTED_EDGE ( 'NONE', *, *, #1640, .T. ) ;
#1650 = ORIENTED_EDGE ( 'NONE', *, *, #3887, .T. ) ;
#1651 = ORIENTED_EDGE ( 'NONE', *, *, #3733, .T. ) ;
#1652 = ORIENTED_EDGE ( 'NONE', *, *, #3957, .T. ) ;
#1653 = EDGE_LOOP ( 'NONE', ( #1597, #1609 ) ) ;
#1654 = ADVANCED_FACE ( 'NONE', ( #7360, #7359 ), #7365, .T. ) ;
#1655 = ORIENTED_EDGE ( 'NONE', *, *, #3817, .F. ) ;
#1656 = ORIENTED_EDGE ( 'NONE', *, *, #3773, .F. ) ;
#1657 = ORIENTED_EDGE ( 'NONE', *, *, #3806, .T. ) ;
#1658 = ORIENTED_EDGE ( 'NONE', *, *, #1695, .F. ) ;
#1659 = EDGE_LOOP ( 'NONE', ( #1722, #1723, #1660, #1661 ) ) ;
#1660 = ORIENTED_EDGE ( 'NONE', *, *, #3778, .T. ) ;
#1661 = ORIENTED_EDGE ( 'NONE', *, *, #1761, .F. ) ;
#1662 = ORIENTED_EDGE ( 'NONE', *, *, #1761, .T. ) ;
#1663 = EDGE_LOOP ( 'NONE', ( #1664, #1668, #1375, #1741, #1796, #1753 ) ) ;
#1664 = ORIENTED_EDGE ( 'NONE', *, *, #1665, .T. ) ;
#1665 = EDGE_CURVE ( 'NONE', #1666, #1667, #7354, .T. ) ;
#1666 = VERTEX_POINT ( 'NONE', #7349 ) ;
#1667 = VERTEX_POINT ( 'NONE', #7412 ) ;
#1668 = ORIENTED_EDGE ( 'NONE', *, *, #1669, .T. ) ;
#1669 = EDGE_CURVE ( 'NONE', #1667, #1670, #7411, .T. ) ;
#1670 = VERTEX_POINT ( 'NONE', #7406 ) ;
#1671 = VERTEX_POINT ( 'NONE', #7405 ) ;
#1672 = ORIENTED_EDGE ( 'NONE', *, *, #1673, .T. ) ;
#1673 = EDGE_CURVE ( 'NONE', #1671, #1674, #7404, .T. ) ;
#1674 = VERTEX_POINT ( 'NONE', #7399 ) ;
#1675 = ORIENTED_EDGE ( 'NONE', *, *, #1676, .T. ) ;
#1676 = EDGE_CURVE ( 'NONE', #1674, #1709, #7398, .T. ) ;
#1677 = VERTEX_POINT ( 'NONE', #7393 ) ;
#1678 = VERTEX_POINT ( 'NONE', #7392 ) ;
#1679 = ORIENTED_EDGE ( 'NONE', *, *, #1680, .T. ) ;
#1680 = EDGE_CURVE ( 'NONE', #1678, #1681, #7391, .T. ) ;
#1681 = VERTEX_POINT ( 'NONE', #7386 ) ;
#1682 = ORIENTED_EDGE ( 'NONE', *, *, #1683, .T. ) ;
#1683 = EDGE_CURVE ( 'NONE', #1681, #1684, #7385, .T. ) ;
#1684 = VERTEX_POINT ( 'NONE', #7443 ) ;
#1685 = ORIENTED_EDGE ( 'NONE', *, *, #1686, .T. ) ;
#1686 = EDGE_CURVE ( 'NONE', #1684, #1687, #7442, .T. ) ;
#1687 = VERTEX_POINT ( 'NONE', #7437 ) ;
#1688 = ORIENTED_EDGE ( 'NONE', *, *, #1689, .T. ) ;
#1689 = EDGE_CURVE ( 'NONE', #1687, #1690, #7436, .T. ) ;
#1690 = VERTEX_POINT ( 'NONE', #7431 ) ;
#1691 = EDGE_CURVE ( 'NONE', #1768, #1692, #7430, .T. ) ;
#1692 = VERTEX_POINT ( 'NONE', #7425 ) ;
#1693 = ORIENTED_EDGE ( 'NONE', *, *, #1694, .T. ) ;
#1694 = EDGE_CURVE ( 'NONE', #1692, #1671, #7424, .T. ) ;
#1695 = EDGE_CURVE ( 'NONE', #3732, #3796, #7419, .T. ) ;
#1696 = ADVANCED_FACE ( 'NONE', ( #7414, #7413 ), #7474, .T. ) ;
#1697 = EDGE_LOOP ( 'NONE', ( #1698, #1662 ) ) ;
#1698 = ORIENTED_EDGE ( 'NONE', *, *, #3791, .T. ) ;
#1699 = ORIENTED_EDGE ( 'NONE', *, *, #1700, .F. ) ;
#1700 = EDGE_CURVE ( 'NONE', #3820, #3822, #7469, .T. ) ;
#1701 = EDGE_CURVE ( 'NONE', #1777, #1702, #7464, .T. ) ;
#1702 = VERTEX_POINT ( 'NONE', #7459 ) ;
#1703 = ORIENTED_EDGE ( 'NONE', *, *, #1704, .T. ) ;
#1704 = EDGE_CURVE ( 'NONE', #1702, #1705, #7458, .T. ) ;
#1705 = VERTEX_POINT ( 'NONE', #7453 ) ;
#1706 = EDGE_LOOP ( 'NONE', ( #1740, #1656, #1657, #1658 ) ) ;
#1707 = ORIENTED_EDGE ( 'NONE', *, *, #3727, .T. ) ;
#1708 = ORIENTED_EDGE ( 'NONE', *, *, #3775, .T. ) ;
#1709 = VERTEX_POINT ( 'NONE', #7452 ) ;
#1710 = ORIENTED_EDGE ( 'NONE', *, *, #1711, .T. ) ;
#1711 = EDGE_CURVE ( 'NONE', #1709, #1712, #7451, .T. ) ;
#1712 = VERTEX_POINT ( 'NONE', #7446 ) ;
#1713 = ORIENTED_EDGE ( 'NONE', *, *, #1714, .T. ) ;
#1714 = EDGE_CURVE ( 'NONE', #1712, #1768, #7510, .T. ) ;
#1715 = ADVANCED_FACE ( 'NONE', ( #7445, #7505 ), #7504, .T. ) ;
#1716 = EDGE_LOOP ( 'NONE', ( #1717, #1718 ) ) ;
#1717 = ORIENTED_EDGE ( 'NONE', *, *, #3771, .T. ) ;
#1718 = ORIENTED_EDGE ( 'NONE', *, *, #1587, .T. ) ;
#1719 = EDGE_LOOP ( 'NONE', ( #1720, #1679, #1682, #1685, #1688, #1724 ) ) ;
#1720 = ORIENTED_EDGE ( 'NONE', *, *, #1721, .T. ) ;
#1721 = EDGE_CURVE ( 'NONE', #1677, #1678, #7499, .T. ) ;
#1722 = ORIENTED_EDGE ( 'NONE', *, *, #3781, .F. ) ;
#1723 = ORIENTED_EDGE ( 'NONE', *, *, #3813, .F. ) ;
#1724 = ORIENTED_EDGE ( 'NONE', *, *, #1725, .T. ) ;
#1725 = EDGE_CURVE ( 'NONE', #1690, #1677, #7494, .T. ) ;
#1726 = ADVANCED_FACE ( 'NONE', ( #7489, #7488 ), #7487, .T. ) ;
#1727 = EDGE_LOOP ( 'NONE', ( #1728, #1729 ) ) ;
#1728 = ORIENTED_EDGE ( 'NONE', *, *, #3843, .T. ) ;
#1729 = ORIENTED_EDGE ( 'NONE', *, *, #1594, .T. ) ;
#1730 = EDGE_LOOP ( 'NONE', ( #1731, #1773, #1775, #1778, #1703, #1737 ) ) ;
#1731 = ORIENTED_EDGE ( 'NONE', *, *, #1732, .T. ) ;
#1732 = EDGE_CURVE ( 'NONE', #1733, #1734, #7482, .T. ) ;
#1733 = VERTEX_POINT ( 'NONE', #7477 ) ;
#1734 = VERTEX_POINT ( 'NONE', #7476 ) ;
#1735 = VERTEX_POINT ( 'NONE', #7475 ) ;
#1736 = ORIENTED_EDGE ( 'NONE', *, *, #1603, .T. ) ;
#1737 = ORIENTED_EDGE ( 'NONE', *, *, #1738, .T. ) ;
#1738 = EDGE_CURVE ( 'NONE', #1705, #1733, #6731, .T. ) ;
#1739 = ADVANCED_FACE ( 'NONE', ( #7535 ), #7533, .F. ) ;
#1740 = ORIENTED_EDGE ( 'NONE', *, *, #3731, .F. ) ;
#1741 = ORIENTED_EDGE ( 'NONE', *, *, #1787, .T. ) ;
#1742 = ORIENTED_EDGE ( 'NONE', *, *, #1743, .F. ) ;
#1743 = EDGE_CURVE ( 'NONE', #1690, #1805, #7527, .T. ) ;
#1744 = ADVANCED_FACE ( 'NONE', ( #7529 ), #7528, .T. ) ;
#1745 = EDGE_LOOP ( 'NONE', ( #1746, #1595, #1917 ) ) ;
#1746 = ORIENTED_EDGE ( 'NONE', *, *, #1747, .F. ) ;
#1747 = EDGE_CURVE ( 'NONE', #1677, #1748, #7511, .T. ) ;
#1748 = VERTEX_POINT ( 'NONE', #7514 ) ;
#1749 = ADVANCED_FACE ( 'NONE', ( #7512 ), #7565, .T. ) ;
#1750 = ORIENTED_EDGE ( 'NONE', *, *, #1751, .F. ) ;
#1751 = EDGE_CURVE ( 'NONE', #1768, #1752, #7553, .T. ) ;
#1752 = VERTEX_POINT ( 'NONE', #7552 ) ;
#1753 = ORIENTED_EDGE ( 'NONE', *, *, #1754, .T. ) ;
#1754 = EDGE_CURVE ( 'NONE', #1788, #1666, #7551, .T. ) ;
#1755 = ORIENTED_EDGE ( 'NONE', *, *, #1756, .F. ) ;
#1756 = EDGE_CURVE ( 'NONE', #1757, #1709, #7538, .T. ) ;
#1757 = VERTEX_POINT ( 'NONE', #7596 ) ;
#1758 = ORIENTED_EDGE ( 'NONE', *, *, #1759, .F. ) ;
#1759 = EDGE_CURVE ( 'NONE', #1712, #1757, #7589, .T. ) ;
#1760 = EDGE_LOOP ( 'NONE', ( #1750, #1806, #1807 ) ) ;
#1761 = EDGE_CURVE ( 'NONE', #3784, #3785, #7588, .T. ) ;
#1762 = ADVANCED_FACE ( 'NONE', ( #7575, #7574 ), #7573, .T. ) ;
#1763 = EDGE_LOOP ( 'NONE', ( #1764, #1765 ) ) ;
#1764 = ORIENTED_EDGE ( 'NONE', *, *, #3807, .T. ) ;
#1765 = ORIENTED_EDGE ( 'NONE', *, *, #1633, .T. ) ;
#1766 = EDGE_LOOP ( 'NONE', ( #1767, #1693, #1672, #1675, #1710, #1713 ) ) ;
#1767 = ORIENTED_EDGE ( 'NONE', *, *, #1691, .T. ) ;
#1768 = VERTEX_POINT ( 'NONE', #7568 ) ;
#1769 = ADVANCED_FACE ( 'NONE', ( #7567 ), #7566, .F. ) ;
#1770 = ADVANCED_FACE ( 'NONE', ( #7626 ), #7621, .T. ) ;
#1771 = ORIENTED_EDGE ( 'NONE', *, *, #3780, .F. ) ;
#1772 = EDGE_LOOP ( 'NONE', ( #1771, #1736, #1708, #1707 ) ) ;
#1773 = ORIENTED_EDGE ( 'NONE', *, *, #1774, .T. ) ;
#1774 = EDGE_CURVE ( 'NONE', #1734, #1735, #7615, .T. ) ;
#1775 = ORIENTED_EDGE ( 'NONE', *, *, #1776, .T. ) ;
#1776 = EDGE_CURVE ( 'NONE', #1735, #1777, #7611, .T. ) ;
#1777 = VERTEX_POINT ( 'NONE', #7606 ) ;
#1778 = ORIENTED_EDGE ( 'NONE', *, *, #1701, .T. ) ;
#1779 = ADVANCED_FACE ( 'NONE', ( #7605 ), #7604, .T. ) ;
#1780 = EDGE_LOOP ( 'NONE', ( #1781, #1852, #1855 ) ) ;
#1781 = ORIENTED_EDGE ( 'NONE', *, *, #1694, .F. ) ;
#1782 = ORIENTED_EDGE ( 'NONE', *, *, #1783, .F. ) ;
#1783 = EDGE_CURVE ( 'NONE', #1784, #1684, #7597, .T. ) ;
#1784 = VERTEX_POINT ( 'NONE', #7599 ) ;
#1785 = VERTEX_POINT ( 'NONE', #7598 ) ;
#1786 = VERTEX_POINT ( 'NONE', #7656 ) ;
#1787 = EDGE_CURVE ( 'NONE', #1785, #1786, #7649, .T. ) ;
#1788 = VERTEX_POINT ( 'NONE', #7644 ) ;
#1789 = EDGE_LOOP ( 'NONE', ( #1790, #1791, #1832 ) ) ;
#1790 = ORIENTED_EDGE ( 'NONE', *, *, #1683, .F. ) ;
#1791 = ORIENTED_EDGE ( 'NONE', *, *, #1830, .F. ) ;
#1792 = EDGE_CURVE ( 'NONE', #1674, #1842, #7642, .T. ) ;
#1793 = ADVANCED_FACE ( 'NONE', ( #7643 ), #7640, .T. ) ;
#1794 = EDGE_LOOP ( 'NONE', ( #1795, #1844, #1847 ) ) ;
#1795 = ORIENTED_EDGE ( 'NONE', *, *, #1676, .F. ) ;
#1796 = ORIENTED_EDGE ( 'NONE', *, *, #1797, .T. ) ;
#1797 = EDGE_CURVE ( 'NONE', #1786, #1788, #7628, .T. ) ;
#1798 = ORIENTED_EDGE ( 'NONE', *, *, #1799, .F. ) ;
#1799 = EDGE_CURVE ( 'NONE', #1687, #1784, #7676, .T. ) ;
#1800 = ADVANCED_FACE ( 'NONE', ( #7674 ), #7673, .T. ) ;
#1801 = EDGE_LOOP ( 'NONE', ( #1802, #1803, #1742 ) ) ;
#1802 = ORIENTED_EDGE ( 'NONE', *, *, #1689, .F. ) ;
#1803 = ORIENTED_EDGE ( 'NONE', *, *, #1804, .F. ) ;
#1804 = EDGE_CURVE ( 'NONE', #1805, #1687, #7664, .T. ) ;
#1805 = VERTEX_POINT ( 'NONE', #7663 ) ;
#1806 = ORIENTED_EDGE ( 'NONE', *, *, #1714, .F. ) ;
#1807 = ORIENTED_EDGE ( 'NONE', *, *, #1808, .F. ) ;
#1808 = EDGE_CURVE ( 'NONE', #1752, #1712, #7708, .T. ) ;
#1809 = ADVANCED_FACE ( 'NONE', ( #7707 ), #7706, .T. ) ;
#1810 = EDGE_LOOP ( 'NONE', ( #1811, #1812, #1815 ) ) ;
#1811 = ORIENTED_EDGE ( 'NONE', *, *, #1691, .F. ) ;
#1812 = ORIENTED_EDGE ( 'NONE', *, *, #1813, .F. ) ;
#1813 = EDGE_CURVE ( 'NONE', #1814, #1768, #7695, .T. ) ;
#1814 = VERTEX_POINT ( 'NONE', #7694 ) ;
#1815 = ORIENTED_EDGE ( 'NONE', *, *, #1816, .F. ) ;
#1816 = EDGE_CURVE ( 'NONE', #1692, #1814, #7687, .T. ) ;
#1817 = ADVANCED_FACE ( 'NONE', ( #7686 ), #7685, .T. ) ;
#1818 = VERTEX_POINT ( 'NONE', #7733 ) ;
#1819 = ORIENTED_EDGE ( 'NONE', *, *, #1961, .F. ) ;
#1820 = ORIENTED_EDGE ( 'NONE', *, *, #1821, .F. ) ;
#1821 = EDGE_CURVE ( 'NONE', #1822, #1734, #7730, .T. ) ;
#1822 = VERTEX_POINT ( 'NONE', #7729 ) ;
#1823 = ORIENTED_EDGE ( 'NONE', *, *, #1922, .F. ) ;
#1824 = EDGE_CURVE ( 'NONE', #1748, #1690, #7722, .T. ) ;
#1825 = ORIENTED_EDGE ( 'NONE', *, *, #1721, .F. ) ;
#1826 = ADVANCED_FACE ( 'NONE', ( #7721 ), #7709, .T. ) ;
#1827 = EDGE_CURVE ( 'NONE', #1678, #1862, #7759, .T. ) ;
#1828 = ORIENTED_EDGE ( 'NONE', *, *, #1929, .F. ) ;
#1829 = EDGE_LOOP ( 'NONE', ( #1825, #1828, #1881 ) ) ;
#1830 = EDGE_CURVE ( 'NONE', #1831, #1681, #7752, .T. ) ;
#1831 = VERTEX_POINT ( 'NONE', #7751 ) ;
#1832 = ORIENTED_EDGE ( 'NONE', *, *, #1833, .F. ) ;
#1833 = EDGE_CURVE ( 'NONE', #1684, #1831, #7743, .T. ) ;
#1834 = ADVANCED_FACE ( 'NONE', ( #7744 ), #7741, .T. ) ;
#1835 = EDGE_LOOP ( 'NONE', ( #1836, #1782, #1798 ) ) ;
#1836 = ORIENTED_EDGE ( 'NONE', *, *, #1686, .F. ) ;
#1837 = EDGE_CURVE ( 'NONE', #1670, #1785, #7776, .T. ) ;
#1838 = EDGE_LOOP ( 'NONE', ( #1839, #1840, #1843 ) ) ;
#1839 = ORIENTED_EDGE ( 'NONE', *, *, #1673, .F. ) ;
#1840 = ORIENTED_EDGE ( 'NONE', *, *, #1841, .F. ) ;
#1841 = EDGE_CURVE ( 'NONE', #1842, #1671, #7771, .T. ) ;
#1842 = VERTEX_POINT ( 'NONE', #7770 ) ;
#1843 = ORIENTED_EDGE ( 'NONE', *, *, #1792, .F. ) ;
#1844 = ORIENTED_EDGE ( 'NONE', *, *, #1845, .F. ) ;
#1845 = EDGE_CURVE ( 'NONE', #1846, #1674, #7763, .T. ) ;
#1846 = VERTEX_POINT ( 'NONE', #7762 ) ;
#1847 = ORIENTED_EDGE ( 'NONE', *, *, #1848, .F. ) ;
#1848 = EDGE_CURVE ( 'NONE', #1709, #1846, #7808, .T. ) ;
#1849 = ADVANCED_FACE ( 'NONE', ( #7807 ), #7806, .T. ) ;
#1850 = EDGE_LOOP ( 'NONE', ( #1851, #1755, #1758 ) ) ;
#1851 = ORIENTED_EDGE ( 'NONE', *, *, #1711, .F. ) ;
#1852 = ORIENTED_EDGE ( 'NONE', *, *, #1853, .F. ) ;
#1853 = EDGE_CURVE ( 'NONE', #1854, #1692, #7795, .T. ) ;
#1854 = VERTEX_POINT ( 'NONE', #7794 ) ;
#1855 = ORIENTED_EDGE ( 'NONE', *, *, #1856, .F. ) ;
#1856 = EDGE_CURVE ( 'NONE', #1671, #1854, #7787, .T. ) ;
#1857 = ADVANCED_FACE ( 'NONE', ( #7785 ), #7786, .T. ) ;
#1858 = ORIENTED_EDGE ( 'NONE', *, *, #1889, .F. ) ;
#1859 = ORIENTED_EDGE ( 'NONE', *, *, #1860, .F. ) ;
#1860 = EDGE_CURVE ( 'NONE', #1681, #1890, #7829, .T. ) ;
#1861 = EDGE_LOOP ( 'NONE', ( #1870, #1878, #1879 ) ) ;
#1862 = VERTEX_POINT ( 'NONE', #7828 ) ;
#1863 = ADVANCED_FACE ( 'NONE', ( #7830 ), #7827, .T. ) ;
#1864 = EDGE_CURVE ( 'NONE', #1733, #1865, #7814, .T. ) ;
#1865 = VERTEX_POINT ( 'NONE', #7813 ) ;
#1866 = ORIENTED_EDGE ( 'NONE', *, *, #1701, .F. ) ;
#1867 = ORIENTED_EDGE ( 'NONE', *, *, #1868, .F. ) ;
#1868 = EDGE_CURVE ( 'NONE', #1869, #1777, #7860, .T. ) ;
#1869 = VERTEX_POINT ( 'NONE', #7859 ) ;
#1870 = ORIENTED_EDGE ( 'NONE', *, *, #1864, .F. ) ;
#1871 = ADVANCED_FACE ( 'NONE', ( #7861 ), #7851, .T. ) ;
#1872 = EDGE_LOOP ( 'NONE', ( #1873, #1820, #1823 ) ) ;
#1873 = ORIENTED_EDGE ( 'NONE', *, *, #1774, .F. ) ;
#1874 = ORIENTED_EDGE ( 'NONE', *, *, #1875, .F. ) ;
#1875 = EDGE_CURVE ( 'NONE', #1777, #1928, #7845, .T. ) ;
#1876 = ADVANCED_FACE ( 'NONE', ( #7847 ), #7846, .T. ) ;
#1877 = EDGE_LOOP ( 'NONE', ( #1866, #1867, #1884 ) ) ;
#1878 = ORIENTED_EDGE ( 'NONE', *, *, #1738, .F. ) ;
#1879 = ORIENTED_EDGE ( 'NONE', *, *, #1914, .F. ) ;
#1880 = EDGE_LOOP ( 'NONE', ( #1918, #1919, #1915 ) ) ;
#1881 = ORIENTED_EDGE ( 'NONE', *, *, #1827, .F. ) ;
#1882 = EDGE_LOOP ( 'NONE', ( #1930, #1858, #1859 ) ) ;
#1883 = ADVANCED_FACE ( 'NONE', ( #7887 ), #7886, .T. ) ;
#1884 = ORIENTED_EDGE ( 'NONE', *, *, #1885, .F. ) ;
#1885 = EDGE_CURVE ( 'NONE', #1702, #1869, #7881, .T. ) ;
#1886 = ADVANCED_FACE ( 'NONE', ( #7879 ), #7878, .T. ) ;
#1887 = EDGE_LOOP ( 'NONE', ( #1888, #1892, #1819 ) ) ;
#1888 = ORIENTED_EDGE ( 'NONE', *, *, #1704, .F. ) ;
#1889 = EDGE_CURVE ( 'NONE', #1890, #1678, #7926, .T. ) ;
#1890 = VERTEX_POINT ( 'NONE', #7925 ) ;
#1891 = ADVANCED_FACE ( 'NONE', ( #7924 ), #7923, .T. ) ;
#1892 = ORIENTED_EDGE ( 'NONE', *, *, #1893, .F. ) ;
#1893 = EDGE_CURVE ( 'NONE', #1818, #1702, #7911, .T. ) ;
#1894 = ORIENTED_EDGE ( 'NONE', *, *, #1695, .T. ) ;
#1895 = EDGE_LOOP ( 'NONE', ( #1959, #1949 ) ) ;
#1896 = EDGE_LOOP ( 'NONE', ( #1897, #1894 ) ) ;
#1897 = ORIENTED_EDGE ( 'NONE', *, *, #3797, .T. ) ;
#1898 = ADVANCED_FACE ( 'NONE', ( #7909 ), #7912, .T. ) ;
#1899 = EDGE_LOOP ( 'NONE', ( #1900, #1960 ) ) ;
#1900 = ORIENTED_EDGE ( 'NONE', *, *, #1950, .T. ) ;
#1901 = ORIENTED_EDGE ( 'NONE', *, *, #1902, .T. ) ;
#1902 = EDGE_CURVE ( 'NONE', #4244, #4264, #7957, .T. ) ;
#1903 = ORIENTED_EDGE ( 'NONE', *, *, #4262, .T. ) ;
#1904 = ADVANCED_FACE ( 'NONE', ( #7958 ), #7953, .T. ) ;
#1905 = EDGE_LOOP ( 'NONE', ( #1906, #1909 ) ) ;
#1906 = ORIENTED_EDGE ( 'NONE', *, *, #1907, .T. ) ;
#1907 = EDGE_CURVE ( 'NONE', #4189, #4268, #7948, .T. ) ;
#1908 = EDGE_LOOP ( 'NONE', ( #1911, #1956 ) ) ;
#1909 = ORIENTED_EDGE ( 'NONE', *, *, #4267, .T. ) ;
#1910 = ADVANCED_FACE ( 'NONE', ( #7943 ), #7942, .T. ) ;
#1911 = ORIENTED_EDGE ( 'NONE', *, *, #1912, .T. ) ;
#1912 = EDGE_CURVE ( 'NONE', #4313, #4278, #7937, .T. ) ;
#1913 = EDGE_LOOP ( 'NONE', ( #1958, #1962, #1953 ) ) ;
#1914 = EDGE_CURVE ( 'NONE', #1865, #1705, #7930, .T. ) ;
#1915 = ORIENTED_EDGE ( 'NONE', *, *, #1916, .F. ) ;
#1916 = EDGE_CURVE ( 'NONE', #1734, #1921, #7979, .T. ) ;
#1917 = ORIENTED_EDGE ( 'NONE', *, *, #1824, .F. ) ;
#1918 = ORIENTED_EDGE ( 'NONE', *, *, #1732, .F. ) ;
#1919 = ORIENTED_EDGE ( 'NONE', *, *, #1920, .F. ) ;
#1920 = EDGE_CURVE ( 'NONE', #1921, #1733, #7970, .T. ) ;
#1921 = VERTEX_POINT ( 'NONE', #7971 ) ;
#1922 = EDGE_CURVE ( 'NONE', #1735, #1822, #7959, .T. ) ;
#1923 = ADVANCED_FACE ( 'NONE', ( #7963 ), #7960, .T. ) ;
#1924 = EDGE_LOOP ( 'NONE', ( #1925, #1926, #1874 ) ) ;
#1925 = ORIENTED_EDGE ( 'NONE', *, *, #1776, .F. ) ;
#1926 = ORIENTED_EDGE ( 'NONE', *, *, #1927, .F. ) ;
#1927 = EDGE_CURVE ( 'NONE', #1928, #1735, #8005, .T. ) ;
#1928 = VERTEX_POINT ( 'NONE', #8004 ) ;
#1929 = EDGE_CURVE ( 'NONE', #1862, #1677, #7997, .T. ) ;
#1930 = ORIENTED_EDGE ( 'NONE', *, *, #1680, .F. ) ;
#1931 = ADVANCED_FACE ( 'NONE', ( #7996 ), #7995, .T. ) ;
#1932 = EDGE_LOOP ( 'NONE', ( #1995, #1986, #1943 ) ) ;
#1933 = ORIENTED_EDGE ( 'NONE', *, *, #1934, .T. ) ;
#1934 = EDGE_CURVE ( 'NONE', #4103, #4100, #8040, .T. ) ;
#1935 = ORIENTED_EDGE ( 'NONE', *, *, #1936, .T. ) ;
#1936 = EDGE_CURVE ( 'NONE', #4100, #2003, #8036, .T. ) ;
#1937 = ADVANCED_FACE ( 'NONE', ( #8032 ), #8031, .T. ) ;
#1938 = EDGE_LOOP ( 'NONE', ( #1990, #1993, #1994, #2031, #2032, #2152, #2160 ) ) ;
#1939 = ORIENTED_EDGE ( 'NONE', *, *, #1754, .F. ) ;
#1940 = VERTEX_POINT ( 'NONE', #8026 ) ;
#1941 = ORIENTED_EDGE ( 'NONE', *, *, #1983, .F. ) ;
#1942 = EDGE_LOOP ( 'NONE', ( #1969, #1970, #1974 ) ) ;
#1943 = ORIENTED_EDGE ( 'NONE', *, *, #1944, .F. ) ;
#1944 = EDGE_CURVE ( 'NONE', #1670, #1988, #8024, .T. ) ;
#1945 = VERTEX_POINT ( 'NONE', #8025 ) ;
#1946 = EDGE_LOOP ( 'NONE', ( #1980, #1985, #2046, #2047, #1972, #1978, #1997 ) ) ;
#1947 = ORIENTED_EDGE ( 'NONE', *, *, #2009, .F. ) ;
#1948 = EDGE_CURVE ( 'NONE', #3734, #3737, #8074, .T. ) ;
#1949 = ORIENTED_EDGE ( 'NONE', *, *, #3736, .T. ) ;
#1950 = EDGE_CURVE ( 'NONE', #4260, #4195, #8068, .T. ) ;
#1951 = EDGE_LOOP ( 'NONE', ( #1901, #1903 ) ) ;
#1952 = ADVANCED_FACE ( 'NONE', ( #8069 ), #8064, .T. ) ;
#1953 = ORIENTED_EDGE ( 'NONE', *, *, #1954, .F. ) ;
#1954 = EDGE_CURVE ( 'NONE', #1788, #1964, #8057, .T. ) ;
#1955 = ADVANCED_FACE ( 'NONE', ( #8059 ), #8058, .T. ) ;
#1956 = ORIENTED_EDGE ( 'NONE', *, *, #4312, .T. ) ;
#1957 = ADVANCED_FACE ( 'NONE', ( #8043 ), #8042, .T. ) ;
#1958 = ORIENTED_EDGE ( 'NONE', *, *, #1797, .F. ) ;
#1959 = ORIENTED_EDGE ( 'NONE', *, *, #1948, .T. ) ;
#1960 = ORIENTED_EDGE ( 'NONE', *, *, #4194, .T. ) ;
#1961 = EDGE_CURVE ( 'NONE', #1705, #1818, #8100, .T. ) ;
#1962 = ORIENTED_EDGE ( 'NONE', *, *, #1963, .F. ) ;
#1963 = EDGE_CURVE ( 'NONE', #1964, #1786, #8090, .T. ) ;
#1964 = VERTEX_POINT ( 'NONE', #8099 ) ;
#1965 = EDGE_LOOP ( 'NONE', ( #2042, #1939, #2036 ) ) ;
#1966 = ADVANCED_FACE ( 'NONE', ( #8089, #8088 ), #8081, .T. ) ;
#1967 = ORIENTED_EDGE ( 'NONE', *, *, #1968, .F. ) ;
#1968 = EDGE_CURVE ( 'NONE', #1940, #1670, #8125, .T. ) ;
#1969 = ORIENTED_EDGE ( 'NONE', *, *, #1787, .F. ) ;
#1970 = ORIENTED_EDGE ( 'NONE', *, *, #1971, .F. ) ;
#1971 = EDGE_CURVE ( 'NONE', #1945, #1785, #8117, .T. ) ;
#1972 = ORIENTED_EDGE ( 'NONE', *, *, #1977, .T. ) ;
#1973 = ADVANCED_FACE ( 'NONE', ( #8118 ), #8116, .T. ) ;
#1974 = ORIENTED_EDGE ( 'NONE', *, *, #1975, .F. ) ;
#1975 = EDGE_CURVE ( 'NONE', #1786, #1945, #8105, .T. ) ;
#1976 = ADVANCED_FACE ( 'NONE', ( #8104 ), #8149, .T. ) ;
#1977 = EDGE_CURVE ( 'NONE', #2049, #4024, #8156, .T. ) ;
#1978 = ORIENTED_EDGE ( 'NONE', *, *, #1996, .T. ) ;
#1979 = ORIENTED_EDGE ( 'NONE', *, *, #1837, .F. ) ;
#1980 = ORIENTED_EDGE ( 'NONE', *, *, #1981, .T. ) ;
#1981 = EDGE_CURVE ( 'NONE', #1982, #1854, #8141, .T. ) ;
#1982 = VERTEX_POINT ( 'NONE', #8137 ) ;
#1983 = EDGE_CURVE ( 'NONE', #1785, #1940, #8136, .T. ) ;
#1984 = ADVANCED_FACE ( 'NONE', ( #8126 ), #8188, .T. ) ;
#1985 = ORIENTED_EDGE ( 'NONE', *, *, #1853, .T. ) ;
#1986 = ORIENTED_EDGE ( 'NONE', *, *, #1987, .F. ) ;
#1987 = EDGE_CURVE ( 'NONE', #1988, #1667, #8184, .T. ) ;
#1988 = VERTEX_POINT ( 'NONE', #8183 ) ;
#1989 = ORIENTED_EDGE ( 'NONE', *, *, #2039, .F. ) ;
#1990 = ORIENTED_EDGE ( 'NONE', *, *, #1991, .T. ) ;
#1991 = EDGE_CURVE ( 'NONE', #1992, #1846, #8176, .T. ) ;
#1992 = VERTEX_POINT ( 'NONE', #8172 ) ;
#1993 = ORIENTED_EDGE ( 'NONE', *, *, #1845, .T. ) ;
#1994 = ORIENTED_EDGE ( 'NONE', *, *, #1792, .T. ) ;
#1995 = ORIENTED_EDGE ( 'NONE', *, *, #1669, .F. ) ;
#1996 = EDGE_CURVE ( 'NONE', #4024, #4019, #8171, .T. ) ;
#1997 = ORIENTED_EDGE ( 'NONE', *, *, #1998, .T. ) ;
#1998 = EDGE_CURVE ( 'NONE', #4019, #1982, #8167, .T. ) ;
#1999 = ADVANCED_FACE ( 'NONE', ( #8163 ), #8162, .T. ) ;
#2000 = EDGE_LOOP ( 'NONE', ( #2001, #2004, #2005, #2006, #2007, #1933, #1935 ) ) ;
#2001 = ORIENTED_EDGE ( 'NONE', *, *, #2002, .T. ) ;
#2002 = EDGE_CURVE ( 'NONE', #2003, #1842, #8216, .T. ) ;
#2003 = VERTEX_POINT ( 'NONE', #8212 ) ;
#2004 = ORIENTED_EDGE ( 'NONE', *, *, #1841, .T. ) ;
#2005 = ORIENTED_EDGE ( 'NONE', *, *, #1856, .T. ) ;
#2006 = ORIENTED_EDGE ( 'NONE', *, *, #1981, .F. ) ;
#2007 = ORIENTED_EDGE ( 'NONE', *, *, #2008, .T. ) ;
#2008 = EDGE_CURVE ( 'NONE', #1982, #4103, #8211, .T. ) ;
#2009 = EDGE_CURVE ( 'NONE', #1667, #2040, #8206, .T. ) ;
#2010 = ADVANCED_FACE ( 'NONE', ( #8204, #8203, #8202 ), #8207, .T. ) ;
#2011 = EDGE_LOOP ( 'NONE', ( #2012, #2013 ) ) ;
#2012 = ORIENTED_EDGE ( 'NONE', *, *, #3658, .T. ) ;
#2013 = ORIENTED_EDGE ( 'NONE', *, *, #1428, .T. ) ;
#2014 = EDGE_LOOP ( 'NONE', ( #2015, #2017 ) ) ;
#2015 = ORIENTED_EDGE ( 'NONE', *, *, #2016, .T. ) ;
#2016 = EDGE_CURVE ( 'NONE', #3542, #3541, #8192, .T. ) ;
#2017 = ORIENTED_EDGE ( 'NONE', *, *, #3464, .T. ) ;
#2018 = EDGE_LOOP ( 'NONE', ( #2019, #2074, #2075, #2076, #2077, #2078 ) ) ;
#2019 = ORIENTED_EDGE ( 'NONE', *, *, #1359, .T. ) ;
#2020 = ORIENTED_EDGE ( 'NONE', *, *, #3641, .T. ) ;
#2021 = ORIENTED_EDGE ( 'NONE', *, *, #1312, .T. ) ;
#2022 = EDGE_LOOP ( 'NONE', ( #2023, #2024, #2025, #2026, #2027, #2028 ) ) ;
#2023 = ORIENTED_EDGE ( 'NONE', *, *, #3755, .F. ) ;
#2024 = ORIENTED_EDGE ( 'NONE', *, *, #1239, .F. ) ;
#2025 = ORIENTED_EDGE ( 'NONE', *, *, #1197, .T. ) ;
#2026 = ORIENTED_EDGE ( 'NONE', *, *, #3594, .T. ) ;
#2027 = ORIENTED_EDGE ( 'NONE', *, *, #1273, .F. ) ;
#2028 = ORIENTED_EDGE ( 'NONE', *, *, #1248, .F. ) ;
#2029 = EDGE_LOOP ( 'NONE', ( #2030, #2089 ) ) ;
#2030 = ORIENTED_EDGE ( 'NONE', *, *, #2088, .T. ) ;
#2031 = ORIENTED_EDGE ( 'NONE', *, *, #2002, .F. ) ;
#2032 = ORIENTED_EDGE ( 'NONE', *, *, #2033, .T. ) ;
#2033 = EDGE_CURVE ( 'NONE', #2003, #2034, #8239, .T. ) ;
#2034 = VERTEX_POINT ( 'NONE', #8235 ) ;
#2035 = ORIENTED_EDGE ( 'NONE', *, *, #1665, .F. ) ;
#2036 = ORIENTED_EDGE ( 'NONE', *, *, #2037, .F. ) ;
#2037 = EDGE_CURVE ( 'NONE', #2043, #1788, #8234, .T. ) ;
#2038 = EDGE_LOOP ( 'NONE', ( #2035, #1989, #1947 ) ) ;
#2039 = EDGE_CURVE ( 'NONE', #2040, #1666, #8226, .T. ) ;
#2040 = VERTEX_POINT ( 'NONE', #8227 ) ;
#2041 = EDGE_CURVE ( 'NONE', #1666, #2043, #8219, .T. ) ;
#2042 = ORIENTED_EDGE ( 'NONE', *, *, #2041, .F. ) ;
#2043 = VERTEX_POINT ( 'NONE', #8218 ) ;
#2044 = ADVANCED_FACE ( 'NONE', ( #8217 ), #8274, .T. ) ;
#2045 = EDGE_LOOP ( 'NONE', ( #1979, #1967, #1941 ) ) ;
#2046 = ORIENTED_EDGE ( 'NONE', *, *, #1816, .T. ) ;
#2047 = ORIENTED_EDGE ( 'NONE', *, *, #2048, .F. ) ;
#2048 = EDGE_CURVE ( 'NONE', #2049, #1814, #8261, .T. ) ;
#2049 = VERTEX_POINT ( 'NONE', #8257 ) ;
#2050 = VERTEX_POINT ( 'NONE', #8256 ) ;
#2051 = ORIENTED_EDGE ( 'NONE', *, *, #2052, .F. ) ;
#2052 = EDGE_CURVE ( 'NONE', #1140, #2050, #8255, .T. ) ;
#2053 = ORIENTED_EDGE ( 'NONE', *, *, #1465, .F. ) ;
#2054 = ORIENTED_EDGE ( 'NONE', *, *, #2069, .T. ) ;
#2055 = ADVANCED_FACE ( 'NONE', ( #8251 ), #8250, .F. ) ;
#2056 = EDGE_LOOP ( 'NONE', ( #2057, #2060, #2115, #2116 ) ) ;
#2057 = ORIENTED_EDGE ( 'NONE', *, *, #2058, .T. ) ;
#2058 = EDGE_CURVE ( 'NONE', #2050, #2059, #8245, .T. ) ;
#2059 = VERTEX_POINT ( 'NONE', #8241 ) ;
#2060 = ORIENTED_EDGE ( 'NONE', *, *, #2114, .F. ) ;
#2061 = ORIENTED_EDGE ( 'NONE', *, *, #2062, .T. ) ;
#2062 = EDGE_CURVE ( 'NONE', #4299, #2083, #8306, .T. ) ;
#2063 = ADVANCED_FACE ( 'NONE', ( #8302 ), #8301, .F. ) ;
#2064 = EDGE_LOOP ( 'NONE', ( #2065, #2068, #2070, #2071 ) ) ;
#2065 = ORIENTED_EDGE ( 'NONE', *, *, #2066, .T. ) ;
#2066 = EDGE_CURVE ( 'NONE', #2084, #2067, #8296, .T. ) ;
#2067 = VERTEX_POINT ( 'NONE', #8292 ) ;
#2068 = ORIENTED_EDGE ( 'NONE', *, *, #2069, .F. ) ;
#2069 = EDGE_CURVE ( 'NONE', #1137, #2067, #8291, .T. ) ;
#2070 = ORIENTED_EDGE ( 'NONE', *, *, #1412, .F. ) ;
#2071 = ORIENTED_EDGE ( 'NONE', *, *, #2086, .T. ) ;
#2072 = ADVANCED_FACE ( 'NONE', ( #8287 ), #8286, .F. ) ;
#2073 = EDGE_LOOP ( 'NONE', ( #2128, #2051, #2053, #2054 ) ) ;
#2074 = ORIENTED_EDGE ( 'NONE', *, *, #3704, .T. ) ;
#2075 = ORIENTED_EDGE ( 'NONE', *, *, #1431, .T. ) ;
#2076 = ORIENTED_EDGE ( 'NONE', *, *, #1365, .F. ) ;
#2077 = ORIENTED_EDGE ( 'NONE', *, *, #3709, .F. ) ;
#2078 = ORIENTED_EDGE ( 'NONE', *, *, #1391, .F. ) ;
#2079 = ADVANCED_FACE ( 'NONE', ( #8281 ), #8280, .F. ) ;
#2080 = EDGE_LOOP ( 'NONE', ( #2081, #2085, #2087, #2061 ) ) ;
#2081 = ORIENTED_EDGE ( 'NONE', *, *, #2082, .T. ) ;
#2082 = EDGE_CURVE ( 'NONE', #2083, #2084, #8275, .T. ) ;
#2083 = VERTEX_POINT ( 'NONE', #8335 ) ;
#2084 = VERTEX_POINT ( 'NONE', #8334 ) ;
#2085 = ORIENTED_EDGE ( 'NONE', *, *, #2086, .F. ) ;
#2086 = EDGE_CURVE ( 'NONE', #4302, #2084, #8333, .T. ) ;
#2087 = ORIENTED_EDGE ( 'NONE', *, *, #1407, .F. ) ;
#2088 = EDGE_CURVE ( 'NONE', #3556, #3555, #8329, .T. ) ;
#2089 = ORIENTED_EDGE ( 'NONE', *, *, #3554, .T. ) ;
#2090 = EDGE_LOOP ( 'NONE', ( #2197, #2198, #2199, #2200, #2201, #2133, #2135 ) ) ;
#2091 = ORIENTED_EDGE ( 'NONE', *, *, #2092, .T. ) ;
#2092 = EDGE_CURVE ( 'NONE', #1028, #1026, #8324, .T. ) ;
#2093 = ORIENTED_EDGE ( 'NONE', *, *, #2094, .T. ) ;
#2094 = EDGE_CURVE ( 'NONE', #1026, #3610, #8319, .T. ) ;
#2095 = ADVANCED_FACE ( 'NONE', ( #8314 ), #8313, .F. ) ;
#2096 = EDGE_LOOP ( 'NONE', ( #2097, #2098, #2099, #2100, #2266, #2268 ) ) ;
#2097 = ORIENTED_EDGE ( 'NONE', *, *, #3625, .F. ) ;
#2098 = ORIENTED_EDGE ( 'NONE', *, *, #1505, .F. ) ;
#2099 = ORIENTED_EDGE ( 'NONE', *, *, #3627, .T. ) ;
#2100 = ORIENTED_EDGE ( 'NONE', *, *, #2101, .T. ) ;
#2101 = EDGE_CURVE ( 'NONE', #3621, #1013, #8312, .T. ) ;
#2102 = ORIENTED_EDGE ( 'NONE', *, *, #2103, .T. ) ;
#2103 = EDGE_CURVE ( 'NONE', #2121, #2083, #8367, .T. ) ;
#2104 = ORIENTED_EDGE ( 'NONE', *, *, #2062, .F. ) ;
#2105 = ORIENTED_EDGE ( 'NONE', *, *, #1455, .F. ) ;
#2106 = ORIENTED_EDGE ( 'NONE', *, *, #2123, .T. ) ;
#2107 = ADVANCED_FACE ( 'NONE', ( #8363 ), #8362, .F. ) ;
#2108 = EDGE_LOOP ( 'NONE', ( #2109, #2110, #2111, #2112, #2091, #2093 ) ) ;
#2109 = ORIENTED_EDGE ( 'NONE', *, *, #3609, .F. ) ;
#2110 = ORIENTED_EDGE ( 'NONE', *, *, #1445, .F. ) ;
#2111 = ORIENTED_EDGE ( 'NONE', *, *, #3613, .T. ) ;
#2112 = ORIENTED_EDGE ( 'NONE', *, *, #2113, .T. ) ;
#2113 = EDGE_CURVE ( 'NONE', #3604, #1028, #8356, .T. ) ;
#2114 = EDGE_CURVE ( 'NONE', #1143, #2059, #8352, .T. ) ;
#2115 = ORIENTED_EDGE ( 'NONE', *, *, #1396, .F. ) ;
#2116 = ORIENTED_EDGE ( 'NONE', *, *, #2052, .T. ) ;
#2117 = ADVANCED_FACE ( 'NONE', ( #8348 ), #8347, .F. ) ;
#2118 = EDGE_LOOP ( 'NONE', ( #2119, #2122, #2124, #2125 ) ) ;
#2119 = ORIENTED_EDGE ( 'NONE', *, *, #2120, .T. ) ;
#2120 = EDGE_CURVE ( 'NONE', #2059, #2121, #8342, .T. ) ;
#2121 = VERTEX_POINT ( 'NONE', #8402 ) ;
#2122 = ORIENTED_EDGE ( 'NONE', *, *, #2123, .F. ) ;
#2123 = EDGE_CURVE ( 'NONE', #4375, #2121, #8401, .T. ) ;
#2124 = ORIENTED_EDGE ( 'NONE', *, *, #1401, .F. ) ;
#2125 = ORIENTED_EDGE ( 'NONE', *, *, #2114, .T. ) ;
#2126 = ADVANCED_FACE ( 'NONE', ( #8397 ), #8396, .F. ) ;
#2127 = EDGE_LOOP ( 'NONE', ( #2102, #2104, #2105, #2106 ) ) ;
#2128 = ORIENTED_EDGE ( 'NONE', *, *, #2129, .T. ) ;
#2129 = EDGE_CURVE ( 'NONE', #2067, #2050, #8391, .T. ) ;
#2130 = ORIENTED_EDGE ( 'NONE', *, *, #1991, .F. ) ;
#2131 = ORIENTED_EDGE ( 'NONE', *, *, #2154, .T. ) ;
#2132 = EDGE_CURVE ( 'NONE', #2140, #4139, #8387, .T. ) ;
#2133 = ORIENTED_EDGE ( 'NONE', *, *, #2134, .T. ) ;
#2134 = EDGE_CURVE ( 'NONE', #4139, #4136, #8383, .T. ) ;
#2135 = ORIENTED_EDGE ( 'NONE', *, *, #2202, .T. ) ;
#2136 = ORIENTED_EDGE ( 'NONE', *, *, #2137, .T. ) ;
#2137 = EDGE_CURVE ( 'NONE', #2158, #2193, #8379, .T. ) ;
#2138 = ADVANCED_FACE ( 'NONE', ( #8375 ), #8374, .T. ) ;
#2139 = EDGE_LOOP ( 'NONE', ( #2163, #2165, #2166, #2167, #2168, #2171, #2194 ) ) ;
#2140 = VERTEX_POINT ( 'NONE', #8432 ) ;
#2141 = ORIENTED_EDGE ( 'NONE', *, *, #1833, .T. ) ;
#2142 = ORIENTED_EDGE ( 'NONE', *, *, #2206, .F. ) ;
#2143 = ORIENTED_EDGE ( 'NONE', *, *, #2144, .T. ) ;
#2144 = EDGE_CURVE ( 'NONE', #2207, #4072, #8431, .T. ) ;
#2145 = ORIENTED_EDGE ( 'NONE', *, *, #2146, .T. ) ;
#2146 = EDGE_CURVE ( 'NONE', #4072, #4069, #8427, .T. ) ;
#2147 = ORIENTED_EDGE ( 'NONE', *, *, #2148, .T. ) ;
#2148 = EDGE_CURVE ( 'NONE', #4069, #2189, #8423, .T. ) ;
#2149 = EDGE_CURVE ( 'NONE', #2193, #1757, #8419, .T. ) ;
#2150 = VERTEX_POINT ( 'NONE', #8415 ) ;
#2151 = ORIENTED_EDGE ( 'NONE', *, *, #1848, .T. ) ;
#2152 = ORIENTED_EDGE ( 'NONE', *, *, #2153, .T. ) ;
#2153 = EDGE_CURVE ( 'NONE', #2034, #2150, #8414, .T. ) ;
#2154 = EDGE_CURVE ( 'NONE', #1992, #2155, #8410, .T. ) ;
#2155 = VERTEX_POINT ( 'NONE', #8406 ) ;
#2156 = ORIENTED_EDGE ( 'NONE', *, *, #2157, .T. ) ;
#2157 = EDGE_CURVE ( 'NONE', #2155, #2158, #8404, .T. ) ;
#2158 = VERTEX_POINT ( 'NONE', #8463 ) ;
#2159 = ORIENTED_EDGE ( 'NONE', *, *, #1756, .T. ) ;
#2160 = ORIENTED_EDGE ( 'NONE', *, *, #2161, .T. ) ;
#2161 = EDGE_CURVE ( 'NONE', #2150, #1992, #8462, .T. ) ;
#2162 = EDGE_LOOP ( 'NONE', ( #2192, #2159, #2151, #2130, #2131, #2156, #2136 ) ) ;
#2163 = ORIENTED_EDGE ( 'NONE', *, *, #2164, .T. ) ;
#2164 = EDGE_CURVE ( 'NONE', #2140, #1752, #8458, .T. ) ;
#2165 = ORIENTED_EDGE ( 'NONE', *, *, #1808, .T. ) ;
#2166 = ORIENTED_EDGE ( 'NONE', *, *, #1759, .T. ) ;
#2167 = ORIENTED_EDGE ( 'NONE', *, *, #2149, .F. ) ;
#2168 = ORIENTED_EDGE ( 'NONE', *, *, #2169, .T. ) ;
#2169 = EDGE_CURVE ( 'NONE', #2193, #2170, #8454, .T. ) ;
#2170 = VERTEX_POINT ( 'NONE', #8450 ) ;
#2171 = ORIENTED_EDGE ( 'NONE', *, *, #2172, .T. ) ;
#2172 = EDGE_CURVE ( 'NONE', #2170, #2173, #8449, .T. ) ;
#2173 = VERTEX_POINT ( 'NONE', #8445 ) ;
#2174 = EDGE_LOOP ( 'NONE', ( #2250, #2177 ) ) ;
#2175 = ORIENTED_EDGE ( 'NONE', *, *, #430, .F. ) ;
#2176 = ORIENTED_EDGE ( 'NONE', *, *, #2752, .F. ) ;
#2177 = ORIENTED_EDGE ( 'NONE', *, *, #5501, .T. ) ;
#2178 = ADVANCED_FACE ( 'NONE', ( #8444 ), #8442, .T. ) ;
#2179 = EDGE_LOOP ( 'NONE', ( #2252, #2253, #2254, #2231 ) ) ;
#2180 = ORIENTED_EDGE ( 'NONE', *, *, #2663, .F. ) ;
#2181 = ORIENTED_EDGE ( 'NONE', *, *, #2182, .T. ) ;
#2182 = EDGE_CURVE ( 'NONE', #4184, #4075, #8438, .T. ) ;
#2183 = ORIENTED_EDGE ( 'NONE', *, *, #2184, .T. ) ;
#2184 = EDGE_CURVE ( 'NONE', #4075, #2207, #8434, .T. ) ;
#2185 = ADVANCED_FACE ( 'NONE', ( #8492 ), #8491, .T. ) ;
#2186 = EDGE_LOOP ( 'NONE', ( #2187, #2190, #2141, #2142, #2143, #2145, #2147 ) ) ;
#2187 = ORIENTED_EDGE ( 'NONE', *, *, #2188, .T. ) ;
#2188 = EDGE_CURVE ( 'NONE', #2189, #1784, #8486, .T. ) ;
#2189 = VERTEX_POINT ( 'NONE', #8482 ) ;
#2190 = ORIENTED_EDGE ( 'NONE', *, *, #1783, .T. ) ;
#2191 = ADVANCED_FACE ( 'NONE', ( #8481 ), #8480, .T. ) ;
#2192 = ORIENTED_EDGE ( 'NONE', *, *, #2149, .T. ) ;
#2193 = VERTEX_POINT ( 'NONE', #8475 ) ;
#2194 = ORIENTED_EDGE ( 'NONE', *, *, #2195, .T. ) ;
#2195 = EDGE_CURVE ( 'NONE', #2173, #2140, #8474, .T. ) ;
#2196 = ADVANCED_FACE ( 'NONE', ( #8470 ), #8469, .T. ) ;
#2197 = ORIENTED_EDGE ( 'NONE', *, *, #2048, .T. ) ;
#2198 = ORIENTED_EDGE ( 'NONE', *, *, #1813, .T. ) ;
#2199 = ORIENTED_EDGE ( 'NONE', *, *, #1751, .T. ) ;
#2200 = ORIENTED_EDGE ( 'NONE', *, *, #2164, .F. ) ;
#2201 = ORIENTED_EDGE ( 'NONE', *, *, #2132, .T. ) ;
#2202 = EDGE_CURVE ( 'NONE', #4136, #2049, #8464, .T. ) ;
#2203 = ADVANCED_FACE ( 'NONE', ( #8527 ), #8526, .T. ) ;
#2204 = EDGE_LOOP ( 'NONE', ( #2205, #2208, #2209, #2210, #2213, #2181, #2183 ) ) ;
#2205 = ORIENTED_EDGE ( 'NONE', *, *, #2206, .T. ) ;
#2206 = EDGE_CURVE ( 'NONE', #2207, #1831, #8521, .T. ) ;
#2207 = VERTEX_POINT ( 'NONE', #8517 ) ;
#2208 = ORIENTED_EDGE ( 'NONE', *, *, #1830, .T. ) ;
#2209 = ORIENTED_EDGE ( 'NONE', *, *, #1860, .T. ) ;
#2210 = ORIENTED_EDGE ( 'NONE', *, *, #2211, .F. ) ;
#2211 = EDGE_CURVE ( 'NONE', #2212, #1890, #8516, .T. ) ;
#2212 = VERTEX_POINT ( 'NONE', #8512 ) ;
#2213 = ORIENTED_EDGE ( 'NONE', *, *, #2214, .T. ) ;
#2214 = EDGE_CURVE ( 'NONE', #2212, #4184, #8511, .T. ) ;
#2215 = ADVANCED_FACE ( 'NONE', ( #8507 ), #8506, .T. ) ;
#2216 = EDGE_CURVE ( 'NONE', #963, #842, #8500, .T. ) ;
#2217 = EDGE_LOOP ( 'NONE', ( #2218, #2220, #2221, #2222, #2225, #2241 ) ) ;
#2218 = ORIENTED_EDGE ( 'NONE', *, *, #2219, .T. ) ;
#2219 = EDGE_CURVE ( 'NONE', #2287, #4067, #8501, .T. ) ;
#2220 = ORIENTED_EDGE ( 'NONE', *, *, #4109, .T. ) ;
#2221 = ORIENTED_EDGE ( 'NONE', *, *, #4166, .T. ) ;
#2222 = ORIENTED_EDGE ( 'NONE', *, *, #2223, .T. ) ;
#2223 = EDGE_CURVE ( 'NONE', #4160, #2224, #8557, .T. ) ;
#2224 = VERTEX_POINT ( 'NONE', #8552 ) ;
#2225 = ORIENTED_EDGE ( 'NONE', *, *, #2226, .F. ) ;
#2226 = EDGE_CURVE ( 'NONE', #2290, #2224, #8551, .T. ) ;
#2227 = EDGE_LOOP ( 'NONE', ( #2243, #2245, #2246, #2247, #2249 ) ) ;
#2228 = ORIENTED_EDGE ( 'NONE', *, *, #3469, .F. ) ;
#2229 = ADVANCED_FACE ( 'NONE', ( #8547 ), #8546, .F. ) ;
#2230 = ORIENTED_EDGE ( 'NONE', *, *, #1253, .F. ) ;
#2231 = ORIENTED_EDGE ( 'NONE', *, *, #2232, .F. ) ;
#2232 = EDGE_CURVE ( 'NONE', #4176, #4180, #8541, .T. ) ;
#2233 = ADVANCED_FACE ( 'NONE', ( #8536 ), #8535, .T. ) ;
#2234 = EDGE_LOOP ( 'NONE', ( #2235, #2236, #2238, #2239, #2280, #2281 ) ) ;
#2235 = ORIENTED_EDGE ( 'NONE', *, *, #4177, .F. ) ;
#2236 = ORIENTED_EDGE ( 'NONE', *, *, #2237, .T. ) ;
#2237 = EDGE_CURVE ( 'NONE', #4182, #5500, #8588, .T. ) ;
#2238 = ORIENTED_EDGE ( 'NONE', *, *, #2251, .T. ) ;
#2239 = ORIENTED_EDGE ( 'NONE', *, *, #2240, .T. ) ;
#2240 = EDGE_CURVE ( 'NONE', #5503, #4181, #8583, .T. ) ;
#2241 = ORIENTED_EDGE ( 'NONE', *, *, #2289, .F. ) ;
#2242 = ADVANCED_FACE ( 'NONE', ( #8579 ), #8578, .F. ) ;
#2243 = ORIENTED_EDGE ( 'NONE', *, *, #2244, .F. ) ;
#2244 = EDGE_CURVE ( 'NONE', #2293, #4022, #8573, .T. ) ;
#2245 = ORIENTED_EDGE ( 'NONE', *, *, #2292, .F. ) ;
#2246 = ORIENTED_EDGE ( 'NONE', *, *, #2226, .T. ) ;
#2247 = ORIENTED_EDGE ( 'NONE', *, *, #2248, .T. ) ;
#2248 = EDGE_CURVE ( 'NONE', #2224, #3979, #8569, .T. ) ;
#2249 = ORIENTED_EDGE ( 'NONE', *, *, #4092, .F. ) ;
#2250 = ORIENTED_EDGE ( 'NONE', *, *, #2251, .F. ) ;
#2251 = EDGE_CURVE ( 'NONE', #5500, #5503, #8566, .T. ) ;
#2252 = ORIENTED_EDGE ( 'NONE', *, *, #4155, .F. ) ;
#2253 = ORIENTED_EDGE ( 'NONE', *, *, #1252, .F. ) ;
#2254 = ORIENTED_EDGE ( 'NONE', *, *, #4226, .T. ) ;
#2255 = ORIENTED_EDGE ( 'NONE', *, *, #410, .F. ) ;
#2256 = EDGE_CURVE ( 'NONE', #2257, #1237, #8617, .T. ) ;
#2257 = VERTEX_POINT ( 'NONE', #8613 ) ;
#2258 = ORIENTED_EDGE ( 'NONE', *, *, #2259, .F. ) ;
#2259 = EDGE_CURVE ( 'NONE', #2333, #2257, #8611, .T. ) ;
#2260 = ADVANCED_FACE ( 'NONE', ( #8612 ), #8604, .T. ) ;
#2261 = EDGE_LOOP ( 'NONE', ( #2262, #2265, #2319, #2320 ) ) ;
#2262 = ORIENTED_EDGE ( 'NONE', *, *, #2263, .T. ) ;
#2263 = EDGE_CURVE ( 'NONE', #2264, #1355, #8600, .T. ) ;
#2264 = VERTEX_POINT ( 'NONE', #8596 ) ;
#2265 = ORIENTED_EDGE ( 'NONE', *, *, #1303, .F. ) ;
#2266 = ORIENTED_EDGE ( 'NONE', *, *, #2267, .T. ) ;
#2267 = EDGE_CURVE ( 'NONE', #1013, #951, #8594, .T. ) ;
#2268 = ORIENTED_EDGE ( 'NONE', *, *, #2269, .T. ) ;
#2269 = EDGE_CURVE ( 'NONE', #951, #3619, #8655, .T. ) ;
#2270 = ADVANCED_FACE ( 'NONE', ( #8651 ), #8650, .F. ) ;
#2271 = EDGE_LOOP ( 'NONE', ( #2272, #2273, #2274, #2275 ) ) ;
#2272 = ORIENTED_EDGE ( 'NONE', *, *, #3558, .F. ) ;
#2273 = ORIENTED_EDGE ( 'NONE', *, *, #2088, .F. ) ;
#2274 = ORIENTED_EDGE ( 'NONE', *, *, #3632, .T. ) ;
#2275 = ORIENTED_EDGE ( 'NONE', *, *, #2276, .T. ) ;
#2276 = EDGE_CURVE ( 'NONE', #3630, #3559, #8649, .T. ) ;
#2277 = ADVANCED_FACE ( 'NONE', ( #8640 ), #8639, .T. ) ;
#2278 = EDGE_LOOP ( 'NONE', ( #2279, #2334, #2335, #2258 ) ) ;
#2279 = ORIENTED_EDGE ( 'NONE', *, *, #2332, .T. ) ;
#2280 = ORIENTED_EDGE ( 'NONE', *, *, #4171, .T. ) ;
#2281 = ORIENTED_EDGE ( 'NONE', *, *, #2232, .T. ) ;
#2282 = ADVANCED_FACE ( 'NONE', ( #8632 ), #8637, .F. ) ;
#2283 = EDGE_LOOP ( 'NONE', ( #2284, #2288, #2291, #2294 ) ) ;
#2284 = ORIENTED_EDGE ( 'NONE', *, *, #2285, .T. ) ;
#2285 = EDGE_CURVE ( 'NONE', #2286, #2287, #8627, .T. ) ;
#2286 = VERTEX_POINT ( 'NONE', #8688 ) ;
#2287 = VERTEX_POINT ( 'NONE', #8687 ) ;
#2288 = ORIENTED_EDGE ( 'NONE', *, *, #2289, .T. ) ;
#2289 = EDGE_CURVE ( 'NONE', #2287, #2290, #8686, .T. ) ;
#2290 = VERTEX_POINT ( 'NONE', #8682 ) ;
#2291 = ORIENTED_EDGE ( 'NONE', *, *, #2292, .T. ) ;
#2292 = EDGE_CURVE ( 'NONE', #2290, #2293, #8681, .T. ) ;
#2293 = VERTEX_POINT ( 'NONE', #8677 ) ;
#2294 = ORIENTED_EDGE ( 'NONE', *, *, #2295, .T. ) ;
#2295 = EDGE_CURVE ( 'NONE', #2293, #2286, #8676, .T. ) ;
#2296 = ORIENTED_EDGE ( 'NONE', *, *, #1353, .F. ) ;
#2297 = ADVANCED_FACE ( 'NONE', ( #8671 ), #8670, .T. ) ;
#2298 = EDGE_LOOP ( 'NONE', ( #2299, #2300, #2303, #2305 ) ) ;
#2299 = ORIENTED_EDGE ( 'NONE', *, *, #2373, .T. ) ;
#2300 = ORIENTED_EDGE ( 'NONE', *, *, #2301, .F. ) ;
#2301 = EDGE_CURVE ( 'NONE', #2302, #2318, #8669, .T. ) ;
#2302 = VERTEX_POINT ( 'NONE', #8661 ) ;
#2303 = ORIENTED_EDGE ( 'NONE', *, *, #2304, .F. ) ;
#2304 = EDGE_CURVE ( 'NONE', #1337, #2302, #8659, .T. ) ;
#2305 = ORIENTED_EDGE ( 'NONE', *, *, #1336, .F. ) ;
#2306 = ADVANCED_FACE ( 'NONE', ( #8717 ), #8716, .T. ) ;
#2307 = ORIENTED_EDGE ( 'NONE', *, *, #2325, .T. ) ;
#2308 = ORIENTED_EDGE ( 'NONE', *, *, #2309, .F. ) ;
#2309 = EDGE_CURVE ( 'NONE', #2310, #2326, #8714, .T. ) ;
#2310 = VERTEX_POINT ( 'NONE', #8707 ) ;
#2311 = ORIENTED_EDGE ( 'NONE', *, *, #2312, .F. ) ;
#2312 = EDGE_CURVE ( 'NONE', #1345, #2310, #8706, .T. ) ;
#2313 = ORIENTED_EDGE ( 'NONE', *, *, #1344, .F. ) ;
#2314 = ADVANCED_FACE ( 'NONE', ( #8701 ), #8700, .T. ) ;
#2315 = EDGE_LOOP ( 'NONE', ( #2316, #2317, #2372, #2296 ) ) ;
#2316 = ORIENTED_EDGE ( 'NONE', *, *, #2312, .T. ) ;
#2317 = ORIENTED_EDGE ( 'NONE', *, *, #2371, .F. ) ;
#2318 = VERTEX_POINT ( 'NONE', #8695 ) ;
#2319 = ORIENTED_EDGE ( 'NONE', *, *, #2332, .F. ) ;
#2320 = ORIENTED_EDGE ( 'NONE', *, *, #2321, .F. ) ;
#2321 = EDGE_CURVE ( 'NONE', #2264, #2333, #8694, .T. ) ;
#2322 = ADVANCED_FACE ( 'NONE', ( #8690 ), #8750, .T. ) ;
#2323 = EDGE_LOOP ( 'NONE', ( #2324, #2327, #2328, #2329 ) ) ;
#2324 = ORIENTED_EDGE ( 'NONE', *, *, #2325, .F. ) ;
#2325 = EDGE_CURVE ( 'NONE', #1285, #2326, #8746, .T. ) ;
#2326 = VERTEX_POINT ( 'NONE', #8741 ) ;
#2327 = ORIENTED_EDGE ( 'NONE', *, *, #1284, .F. ) ;
#2328 = ORIENTED_EDGE ( 'NONE', *, *, #2263, .F. ) ;
#2329 = ORIENTED_EDGE ( 'NONE', *, *, #2330, .F. ) ;
#2330 = EDGE_CURVE ( 'NONE', #2326, #2264, #8739, .T. ) ;
#2331 = EDGE_LOOP ( 'NONE', ( #2307, #2308, #2311, #2313 ) ) ;
#2332 = EDGE_CURVE ( 'NONE', #2333, #1295, #8734, .T. ) ;
#2333 = VERTEX_POINT ( 'NONE', #8730 ) ;
#2334 = ORIENTED_EDGE ( 'NONE', *, *, #1294, .F. ) ;
#2335 = ORIENTED_EDGE ( 'NONE', *, *, #2256, .F. ) ;
#2336 = ORIENTED_EDGE ( 'NONE', *, *, #2058, .F. ) ;
#2337 = ORIENTED_EDGE (