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

DATA;
#1 = VERTEX_POINT ( 'NONE', #2999 ) ;
#2 = VERTEX_POINT ( 'NONE', #2998 ) ;
#3 = ORIENTED_EDGE ( 'NONE', *, *, #12, .T. ) ;
#4 = ORIENTED_EDGE ( 'NONE', *, *, #9, .T. ) ;
#5 = EDGE_CURVE ( 'NONE', #7412, #14, #3068, .T. ) ;
#6 = ADVANCED_FACE ( 'NONE', ( #3063 ), #3062, .F. ) ;
#7 = EDGE_LOOP ( 'NONE', ( #8, #16, #11693, #11668 ) ) ;
#8 = ORIENTED_EDGE ( 'NONE', *, *, #15, .F. ) ;
#9 = EDGE_CURVE ( 'NONE', #14, #25, #3057, .T. ) ;
#10 = EDGE_CURVE ( 'NONE', #38, #7438, #3052, .T. ) ;
#11 = EDGE_CURVE ( 'NONE', #25, #40, #3048, .T. ) ;
#12 = EDGE_CURVE ( 'NONE', #40, #7418, #3043, .T. ) ;
#13 = ADVANCED_FACE ( 'NONE', ( #3038 ), #3036, .T. ) ;
#14 = VERTEX_POINT ( 'NONE', #3097 ) ;
#15 = EDGE_CURVE ( 'NONE', #7397, #7442, #3096, .T. ) ;
#16 = ORIENTED_EDGE ( 'NONE', *, *, #7154, .T. ) ;
#17 = ORIENTED_EDGE ( 'NONE', *, *, #5, .T. ) ;
#18 = EDGE_CURVE ( 'NONE', #33, #35, #3091, .T. ) ;
#19 = ORIENTED_EDGE ( 'NONE', *, *, #20, .F. ) ;
#20 = EDGE_CURVE ( 'NONE', #30, #35, #3086, .T. ) ;
#21 = ADVANCED_FACE ( 'NONE', ( #3082 ), #3081, .F. ) ;
#22 = EDGE_LOOP ( 'NONE', ( #23, #11660, #11656, #11653 ) ) ;
#23 = ORIENTED_EDGE ( 'NONE', *, *, #11662, .F. ) ;
#24 = VERTEX_POINT ( 'NONE', #3076 ) ;
#25 = VERTEX_POINT ( 'NONE', #3075 ) ;
#26 = ORIENTED_EDGE ( 'NONE', *, *, #10, .T. ) ;
#27 = ORIENTED_EDGE ( 'NONE', *, *, #28, .F. ) ;
#28 = EDGE_CURVE ( 'NONE', #29, #30, #3074, .T. ) ;
#29 = VERTEX_POINT ( 'NONE', #3069 ) ;
#30 = VERTEX_POINT ( 'NONE', #3132 ) ;
#31 = ORIENTED_EDGE ( 'NONE', *, *, #32, .T. ) ;
#32 = EDGE_CURVE ( 'NONE', #29, #33, #3131, .T. ) ;
#33 = VERTEX_POINT ( 'NONE', #3127 ) ;
#34 = ORIENTED_EDGE ( 'NONE', *, *, #18, .T. ) ;
#35 = VERTEX_POINT ( 'NONE', #3126 ) ;
#36 = ORIENTED_EDGE ( 'NONE', *, *, #37, .F. ) ;
#37 = EDGE_CURVE ( 'NONE', #38, #11666, #3125, .T. ) ;
#38 = VERTEX_POINT ( 'NONE', #3120 ) ;
#39 = ORIENTED_EDGE ( 'NONE', *, *, #11, .T. ) ;
#40 = VERTEX_POINT ( 'NONE', #3119 ) ;
#41 = EDGE_LOOP ( 'NONE', ( #36, #26, #11663, #11664 ) ) ;
#42 = EDGE_CURVE ( 'NONE', #7160, #7417, #3118, .T. ) ;
#43 = VERTEX_POINT ( 'NONE', #3113 ) ;
#44 = ORIENTED_EDGE ( 'NONE', *, *, #45, .T. ) ;
#45 = EDGE_CURVE ( 'NONE', #43, #52, #3112, .T. ) ;
#46 = ADVANCED_FACE ( 'NONE', ( #3107 ), #3106, .F. ) ;
#47 = EDGE_LOOP ( 'NONE', ( #48, #106, #80, #83, #58, #109 ) ) ;
#48 = ORIENTED_EDGE ( 'NONE', *, *, #103, .F. ) ;
#49 = ADVANCED_FACE ( 'NONE', ( #3105 ), #3160, .T. ) ;
#50 = ORIENTED_EDGE ( 'NONE', *, *, #51, .T. ) ;
#51 = EDGE_CURVE ( 'NONE', #52, #53, #3154, .T. ) ;
#52 = VERTEX_POINT ( 'NONE', #3150 ) ;
#53 = VERTEX_POINT ( 'NONE', #3149 ) ;
#54 = ORIENTED_EDGE ( 'NONE', *, *, #55, .T. ) ;
#55 = EDGE_CURVE ( 'NONE', #53, #56, #3148, .T. ) ;
#56 = VERTEX_POINT ( 'NONE', #3144 ) ;
#57 = ORIENTED_EDGE ( 'NONE', *, *, #171, .T. ) ;
#58 = ORIENTED_EDGE ( 'NONE', *, *, #59, .F. ) ;
#59 = EDGE_CURVE ( 'NONE', #2, #1, #3142, .T. ) ;
#60 = EDGE_LOOP ( 'NONE', ( #112, #116, #2019, #2059 ) ) ;
#61 = VERTEX_POINT ( 'NONE', #3133 ) ;
#62 = VERTEX_POINT ( 'NONE', #3143 ) ;
#63 = ORIENTED_EDGE ( 'NONE', *, *, #64, .T. ) ;
#64 = EDGE_CURVE ( 'NONE', #62, #65, #3194, .T. ) ;
#65 = VERTEX_POINT ( 'NONE', #3190 ) ;
#66 = ADVANCED_FACE ( 'NONE', ( #3189 ), #3187, .T. ) ;
#67 = ORIENTED_EDGE ( 'NONE', *, *, #68, .F. ) ;
#68 = EDGE_CURVE ( 'NONE', #69, #70, #3183, .T. ) ;
#69 = VERTEX_POINT ( 'NONE', #3178 ) ;
#70 = VERTEX_POINT ( 'NONE', #3177 ) ;
#71 = ORIENTED_EDGE ( 'NONE', *, *, #72, .T. ) ;
#72 = EDGE_CURVE ( 'NONE', #69, #167, #3176, .T. ) ;
#73 = ORIENTED_EDGE ( 'NONE', *, *, #166, .F. ) ;
#74 = ORIENTED_EDGE ( 'NONE', *, *, #75, .F. ) ;
#75 = EDGE_CURVE ( 'NONE', #70, #65, #3172, .T. ) ;
#76 = EDGE_LOOP ( 'NONE', ( #50, #54, #57, #85, #88, #44 ) ) ;
#77 = VERTEX_POINT ( 'NONE', #3168 ) ;
#78 = ORIENTED_EDGE ( 'NONE', *, *, #79, .T. ) ;
#79 = EDGE_CURVE ( 'NONE', #61, #62, #3166, .T. ) ;
#80 = ORIENTED_EDGE ( 'NONE', *, *, #81, .F. ) ;
#81 = EDGE_CURVE ( 'NONE', #82, #108, #3220, .T. ) ;
#82 = VERTEX_POINT ( 'NONE', #3219 ) ;
#83 = ORIENTED_EDGE ( 'NONE', *, *, #84, .F. ) ;
#84 = EDGE_CURVE ( 'NONE', #1, #82, #3212, .T. ) ;
#85 = ORIENTED_EDGE ( 'NONE', *, *, #86, .F. ) ;
#86 = EDGE_CURVE ( 'NONE', #87, #172, #3211, .T. ) ;
#87 = VERTEX_POINT ( 'NONE', #3199 ) ;
#88 = ORIENTED_EDGE ( 'NONE', *, *, #89, .T. ) ;
#89 = EDGE_CURVE ( 'NONE', #87, #43, #3198, .T. ) ;
#90 = EDGE_CURVE ( 'NONE', #91, #163, #3242, .T. ) ;
#91 = VERTEX_POINT ( 'NONE', #3241 ) ;
#92 = ORIENTED_EDGE ( 'NONE', *, *, #93, .F. ) ;
#93 = EDGE_CURVE ( 'NONE', #94, #91, #3232, .T. ) ;
#94 = VERTEX_POINT ( 'NONE', #3231 ) ;
#95 = ORIENTED_EDGE ( 'NONE', *, *, #96, .F. ) ;
#96 = EDGE_CURVE ( 'NONE', #157, #94, #3222, .T. ) ;
#97 = EDGE_LOOP ( 'NONE', ( #67, #71, #73, #74 ) ) ;
#98 = EDGE_CURVE ( 'NONE', #77, #121, #3270, .T. ) ;
#99 = VERTEX_POINT ( 'NONE', #3265 ) ;
#100 = EDGE_CURVE ( 'NONE', #121, #126, #3264, .T. ) ;
#101 = ADVANCED_FACE ( 'NONE', ( #3260 ), #3259, .T. ) ;
#102 = EDGE_LOOP ( 'NONE', ( #78, #63, #165, #168, #150 ) ) ;
#103 = EDGE_CURVE ( 'NONE', #104, #105, #3258, .T. ) ;
#104 = VERTEX_POINT ( 'NONE', #3250 ) ;
#105 = VERTEX_POINT ( 'NONE', #3249 ) ;
#106 = ORIENTED_EDGE ( 'NONE', *, *, #107, .T. ) ;
#107 = EDGE_CURVE ( 'NONE', #104, #108, #3248, .T. ) ;
#108 = VERTEX_POINT ( 'NONE', #3244 ) ;
#109 = ORIENTED_EDGE ( 'NONE', *, *, #110, .F. ) ;
#110 = EDGE_CURVE ( 'NONE', #105, #2, #3304, .T. ) ;
#111 = ADVANCED_FACE ( 'NONE', ( #3306 ), #3305, .T. ) ;
#112 = ORIENTED_EDGE ( 'NONE', *, *, #113, .F. ) ;
#113 = EDGE_CURVE ( 'NONE', #114, #115, #3296, .T. ) ;
#114 = VERTEX_POINT ( 'NONE', #3288 ) ;
#115 = VERTEX_POINT ( 'NONE', #3287 ) ;
#116 = ORIENTED_EDGE ( 'NONE', *, *, #117, .T. ) ;
#117 = EDGE_CURVE ( 'NONE', #114, #172, #3286, .T. ) ;
#118 = VERTEX_POINT ( 'NONE', #3282 ) ;
#119 = EDGE_LOOP ( 'NONE', ( #120, #122, #124, #127 ) ) ;
#120 = ORIENTED_EDGE ( 'NONE', *, *, #98, .F. ) ;
#121 = VERTEX_POINT ( 'NONE', #3281 ) ;
#122 = ORIENTED_EDGE ( 'NONE', *, *, #123, .T. ) ;
#123 = EDGE_CURVE ( 'NONE', #77, #99, #3280, .T. ) ;
#124 = ORIENTED_EDGE ( 'NONE', *, *, #125, .T. ) ;
#125 = EDGE_CURVE ( 'NONE', #99, #126, #3276, .T. ) ;
#126 = VERTEX_POINT ( 'NONE', #3334 ) ;
#127 = ORIENTED_EDGE ( 'NONE', *, *, #100, .F. ) ;
#128 = EDGE_CURVE ( 'NONE', #177, #129, #3333, .T. ) ;
#129 = VERTEX_POINT ( 'NONE', #3329 ) ;
#130 = ORIENTED_EDGE ( 'NONE', *, *, #131, .F. ) ;
#131 = EDGE_CURVE ( 'NONE', #132, #129, #3328, .T. ) ;
#132 = VERTEX_POINT ( 'NONE', #3323 ) ;
#133 = ORIENTED_EDGE ( 'NONE', *, *, #187, .T. ) ;
#134 = ORIENTED_EDGE ( 'NONE', *, *, #135, .F. ) ;
#135 = EDGE_CURVE ( 'NONE', #250, #176, #3322, .T. ) ;
#136 = EDGE_LOOP ( 'NONE', ( #137, #141, #144, #147, #181, #184, #202, #205 ) ) ;
#137 = ORIENTED_EDGE ( 'NONE', *, *, #138, .T. ) ;
#138 = EDGE_CURVE ( 'NONE', #139, #140, #3317, .T. ) ;
#139 = VERTEX_POINT ( 'NONE', #3312 ) ;
#140 = VERTEX_POINT ( 'NONE', #3311 ) ;
#141 = ORIENTED_EDGE ( 'NONE', *, *, #142, .T. ) ;
#142 = EDGE_CURVE ( 'NONE', #140, #143, #3310, .T. ) ;
#143 = VERTEX_POINT ( 'NONE', #3369 ) ;
#144 = ORIENTED_EDGE ( 'NONE', *, *, #145, .F. ) ;
#145 = EDGE_CURVE ( 'NONE', #146, #143, #3368, .T. ) ;
#146 = VERTEX_POINT ( 'NONE', #3363 ) ;
#147 = ORIENTED_EDGE ( 'NONE', *, *, #148, .F. ) ;
#148 = EDGE_CURVE ( 'NONE', #149, #146, #3362, .T. ) ;
#149 = VERTEX_POINT ( 'NONE', #3358 ) ;
#150 = ORIENTED_EDGE ( 'NONE', *, *, #151, .T. ) ;
#151 = EDGE_CURVE ( 'NONE', #170, #61, #3357, .T. ) ;
#152 = ADVANCED_FACE ( 'NONE', ( #3352 ), #3351, .F. ) ;
#153 = EDGE_LOOP ( 'NONE', ( #154, #158, #161, #164, #92, #95 ) ) ;
#154 = ORIENTED_EDGE ( 'NONE', *, *, #155, .F. ) ;
#155 = EDGE_CURVE ( 'NONE', #156, #157, #3350, .T. ) ;
#156 = VERTEX_POINT ( 'NONE', #3342 ) ;
#157 = VERTEX_POINT ( 'NONE', #3341 ) ;
#158 = ORIENTED_EDGE ( 'NONE', *, *, #159, .T. ) ;
#159 = EDGE_CURVE ( 'NONE', #156, #160, #3340, .T. ) ;
#160 = VERTEX_POINT ( 'NONE', #3396 ) ;
#161 = ORIENTED_EDGE ( 'NONE', *, *, #162, .F. ) ;
#162 = EDGE_CURVE ( 'NONE', #163, #160, #3395, .T. ) ;
#163 = VERTEX_POINT ( 'NONE', #3394 ) ;
#164 = ORIENTED_EDGE ( 'NONE', *, *, #90, .F. ) ;
#165 = ORIENTED_EDGE ( 'NONE', *, *, #166, .T. ) ;
#166 = EDGE_CURVE ( 'NONE', #65, #167, #3393, .T. ) ;
#167 = VERTEX_POINT ( 'NONE', #3382 ) ;
#168 = ORIENTED_EDGE ( 'NONE', *, *, #169, .F. ) ;
#169 = EDGE_CURVE ( 'NONE', #170, #167, #3381, .T. ) ;
#170 = VERTEX_POINT ( 'NONE', #3377 ) ;
#171 = EDGE_CURVE ( 'NONE', #56, #172, #3376, .T. ) ;
#172 = VERTEX_POINT ( 'NONE', #3371 ) ;
#173 = VERTEX_POINT ( 'NONE', #3370 ) ;
#174 = ORIENTED_EDGE ( 'NONE', *, *, #175, .T. ) ;
#175 = EDGE_CURVE ( 'NONE', #173, #176, #3432, .T. ) ;
#176 = VERTEX_POINT ( 'NONE', #3428 ) ;
#177 = VERTEX_POINT ( 'NONE', #3427 ) ;
#178 = VERTEX_POINT ( 'NONE', #3426 ) ;
#179 = ORIENTED_EDGE ( 'NONE', *, *, #180, .F. ) ;
#180 = EDGE_CURVE ( 'NONE', #177, #178, #3425, .T. ) ;
#181 = ORIENTED_EDGE ( 'NONE', *, *, #182, .T. ) ;
#182 = EDGE_CURVE ( 'NONE', #149, #183, #3420, .T. ) ;
#183 = VERTEX_POINT ( 'NONE', #3415 ) ;
#184 = ORIENTED_EDGE ( 'NONE', *, *, #185, .F. ) ;
#185 = EDGE_CURVE ( 'NONE', #186, #183, #3414, .T. ) ;
#186 = VERTEX_POINT ( 'NONE', #3410 ) ;
#187 = EDGE_CURVE ( 'NONE', #132, #188, #3409, .T. ) ;
#188 = VERTEX_POINT ( 'NONE', #3405 ) ;
#189 = ORIENTED_EDGE ( 'NONE', *, *, #190, .T. ) ;
#190 = EDGE_CURVE ( 'NONE', #188, #191, #3403, .T. ) ;
#191 = VERTEX_POINT ( 'NONE', #3461 ) ;
#192 = ORIENTED_EDGE ( 'NONE', *, *, #193, .T. ) ;
#193 = EDGE_CURVE ( 'NONE', #191, #194, #3460, .T. ) ;
#194 = VERTEX_POINT ( 'NONE', #3456 ) ;
#195 = ORIENTED_EDGE ( 'NONE', *, *, #196, .T. ) ;
#196 = EDGE_CURVE ( 'NONE', #194, #197, #3455, .T. ) ;
#197 = VERTEX_POINT ( 'NONE', #3450 ) ;
#198 = ORIENTED_EDGE ( 'NONE', *, *, #199, .F. ) ;
#199 = EDGE_CURVE ( 'NONE', #178, #197, #3449, .T. ) ;
#200 = ADVANCED_FACE ( 'NONE', ( #3445, #3444 ), #3443, .T. ) ;
#201 = EDGE_LOOP ( 'NONE', ( #247, #251, #254, #257, #174, #134 ) ) ;
#202 = ORIENTED_EDGE ( 'NONE', *, *, #203, .F. ) ;
#203 = EDGE_CURVE ( 'NONE', #204, #186, #3437, .T. ) ;
#204 = VERTEX_POINT ( 'NONE', #3433 ) ;
#205 = ORIENTED_EDGE ( 'NONE', *, *, #206, .F. ) ;
#206 = EDGE_CURVE ( 'NONE', #139, #204, #3494, .T. ) ;
#207 = ADVANCED_FACE ( 'NONE', ( #3490 ), #3489, .T. ) ;
#208 = EDGE_LOOP ( 'NONE', ( #209, #213, #7448, #7380 ) ) ;
#209 = ORIENTED_EDGE ( 'NONE', *, *, #210, .T. ) ;
#210 = EDGE_CURVE ( 'NONE', #211, #212, #3488, .T. ) ;
#211 = VERTEX_POINT ( 'NONE', #3479 ) ;
#212 = VERTEX_POINT ( 'NONE', #3478 ) ;
#213 = ORIENTED_EDGE ( 'NONE', *, *, #214, .T. ) ;
#214 = EDGE_CURVE ( 'NONE', #212, #215, #3477, .T. ) ;
#215 = VERTEX_POINT ( 'NONE', #3473 ) ;
#216 = ORIENTED_EDGE ( 'NONE', *, *, #128, .T. ) ;
#217 = ORIENTED_EDGE ( 'NONE', *, *, #2978, .T. ) ;
#218 = ORIENTED_EDGE ( 'NONE', *, *, #295, .T. ) ;
#219 = ORIENTED_EDGE ( 'NONE', *, *, #220, .T. ) ;
#220 = EDGE_CURVE ( 'NONE', #293, #276, #3472, .T. ) ;
#221 = EDGE_CURVE ( 'NONE', #2997, #245, #3468, .T. ) ;
#222 = ADVANCED_FACE ( 'NONE', ( #3464 ), #3463, .F. ) ;
#223 = EDGE_LOOP ( 'NONE', ( #224, #225, #226, #229 ) ) ;
#224 = ORIENTED_EDGE ( 'NONE', *, *, #2973, .T. ) ;
#225 = ORIENTED_EDGE ( 'NONE', *, *, #221, .T. ) ;
#226 = ORIENTED_EDGE ( 'NONE', *, *, #227, .T. ) ;
#227 = EDGE_CURVE ( 'NONE', #245, #228, #3524, .T. ) ;
#228 = VERTEX_POINT ( 'NONE', #3520 ) ;
#229 = ORIENTED_EDGE ( 'NONE', *, *, #230, .F. ) ;
#230 = EDGE_CURVE ( 'NONE', #2919, #228, #3519, .T. ) ;
#231 = ADVANCED_FACE ( 'NONE', ( #3515 ), #3514, .F. ) ;
#232 = EDGE_LOOP ( 'NONE', ( #233, #290, #291, #294 ) ) ;
#233 = ORIENTED_EDGE ( 'NONE', *, *, #2975, .T. ) ;
#234 = EDGE_CURVE ( 'NONE', #2984, #235, #3509, .T. ) ;
#235 = VERTEX_POINT ( 'NONE', #3505 ) ;
#236 = ORIENTED_EDGE ( 'NONE', *, *, #237, .F. ) ;
#237 = EDGE_CURVE ( 'NONE', #2062, #235, #3504, .T. ) ;
#238 = ADVANCED_FACE ( 'NONE', ( #3500 ), #3499, .F. ) ;
#239 = EDGE_LOOP ( 'NONE', ( #240, #241, #242, #243, #246 ) ) ;
#240 = ORIENTED_EDGE ( 'NONE', *, *, #2996, .T. ) ;
#241 = ORIENTED_EDGE ( 'NONE', *, *, #2064, .T. ) ;
#242 = ORIENTED_EDGE ( 'NONE', *, *, #237, .T. ) ;
#243 = ORIENTED_EDGE ( 'NONE', *, *, #244, .T. ) ;
#244 = EDGE_CURVE ( 'NONE', #235, #245, #3566, .T. ) ;
#245 = VERTEX_POINT ( 'NONE', #3562 ) ;
#246 = ORIENTED_EDGE ( 'NONE', *, *, #221, .F. ) ;
#247 = ORIENTED_EDGE ( 'NONE', *, *, #248, .F. ) ;
#248 = EDGE_CURVE ( 'NONE', #249, #250, #3560, .T. ) ;
#249 = VERTEX_POINT ( 'NONE', #3559 ) ;
#250 = VERTEX_POINT ( 'NONE', #3561 ) ;
#251 = ORIENTED_EDGE ( 'NONE', *, *, #252, .F. ) ;
#252 = EDGE_CURVE ( 'NONE', #253, #249, #3593, .T. ) ;
#253 = VERTEX_POINT ( 'NONE', #3588 ) ;
#254 = ORIENTED_EDGE ( 'NONE', *, *, #255, .T. ) ;
#255 = EDGE_CURVE ( 'NONE', #253, #256, #3587, .T. ) ;
#256 = VERTEX_POINT ( 'NONE', #3583 ) ;
#257 = ORIENTED_EDGE ( 'NONE', *, *, #258, .T. ) ;
#258 = EDGE_CURVE ( 'NONE', #256, #173, #3582, .T. ) ;
#259 = EDGE_LOOP ( 'NONE', ( #260, #261, #262, #320, #321, #322 ) ) ;
#260 = ORIENTED_EDGE ( 'NONE', *, *, #234, .F. ) ;
#261 = ORIENTED_EDGE ( 'NONE', *, *, #284, .F. ) ;
#262 = ORIENTED_EDGE ( 'NONE', *, *, #220, .F. ) ;
#263 = VERTEX_POINT ( 'NONE', #3578 ) ;
#264 = ORIENTED_EDGE ( 'NONE', *, *, #1971, .F. ) ;
#265 = ORIENTED_EDGE ( 'NONE', *, *, #266, .F. ) ;
#266 = EDGE_CURVE ( 'NONE', #2418, #1969, #3577, .T. ) ;
#267 = ORIENTED_EDGE ( 'NONE', *, *, #268, .T. ) ;
#268 = EDGE_CURVE ( 'NONE', #2418, #269, #3572, .T. ) ;
#269 = VERTEX_POINT ( 'NONE', #3568 ) ;
#270 = ORIENTED_EDGE ( 'NONE', *, *, #271, .T. ) ;
#271 = EDGE_CURVE ( 'NONE', #269, #263, #3629, .T. ) ;
#272 = ADVANCED_FACE ( 'NONE', ( #3630 ), #3624, .T. ) ;
#273 = EDGE_LOOP ( 'NONE', ( #274, #275, #332, #333, #334 ) ) ;
#274 = ORIENTED_EDGE ( 'NONE', *, *, #2045, .F. ) ;
#275 = ORIENTED_EDGE ( 'NONE', *, *, #2420, .T. ) ;
#276 = VERTEX_POINT ( 'NONE', #3620 ) ;
#277 = ORIENTED_EDGE ( 'NONE', *, *, #278, .F. ) ;
#278 = EDGE_CURVE ( 'NONE', #2037, #276, #3619, .T. ) ;
#279 = ADVANCED_FACE ( 'NONE', ( #3615 ), #3614, .F. ) ;
#280 = EDGE_LOOP ( 'NONE', ( #281, #282, #283, #285 ) ) ;
#281 = ORIENTED_EDGE ( 'NONE', *, *, #2039, .T. ) ;
#282 = ORIENTED_EDGE ( 'NONE', *, *, #278, .T. ) ;
#283 = ORIENTED_EDGE ( 'NONE', *, *, #284, .T. ) ;
#284 = EDGE_CURVE ( 'NONE', #276, #2984, #3609, .T. ) ;
#285 = ORIENTED_EDGE ( 'NONE', *, *, #2983, .F. ) ;
#286 = ADVANCED_FACE ( 'NONE', ( #3605 ), #3604, .F. ) ;
#287 = EDGE_LOOP ( 'NONE', ( #288, #264, #265, #267, #270 ) ) ;
#288 = ORIENTED_EDGE ( 'NONE', *, *, #289, .T. ) ;
#289 = EDGE_CURVE ( 'NONE', #263, #2007, #3599, .T. ) ;
#290 = ORIENTED_EDGE ( 'NONE', *, *, #230, .T. ) ;
#291 = ORIENTED_EDGE ( 'NONE', *, *, #292, .T. ) ;
#292 = EDGE_CURVE ( 'NONE', #228, #293, #3660, .T. ) ;
#293 = VERTEX_POINT ( 'NONE', #3656 ) ;
#294 = ORIENTED_EDGE ( 'NONE', *, *, #295, .F. ) ;
#295 = EDGE_CURVE ( 'NONE', #2976, #293, #3655, .T. ) ;
#296 = ADVANCED_FACE ( 'NONE', ( #3651 ), #3650, .F. ) ;
#297 = EDGE_LOOP ( 'NONE', ( #298, #217, #218, #219, #277 ) ) ;
#298 = ORIENTED_EDGE ( 'NONE', *, *, #2036, .T. ) ;
#299 = EDGE_CURVE ( 'NONE', #7162, #300, #3645, .T. ) ;
#300 = VERTEX_POINT ( 'NONE', #3641 ) ;
#301 = ORIENTED_EDGE ( 'NONE', *, *, #302, .F. ) ;
#302 = EDGE_CURVE ( 'NONE', #2, #300, #3640, .T. ) ;
#303 = ADVANCED_FACE ( 'NONE', ( #3636 ), #3635, .F. ) ;
#304 = EDGE_LOOP ( 'NONE', ( #305, #7481, #7482, #7483, #7486 ) ) ;
#305 = ORIENTED_EDGE ( 'NONE', *, *, #310, .T. ) ;
#306 = EDGE_LOOP ( 'NONE', ( #307, #308, #309, #312, #315, #318 ) ) ;
#307 = ORIENTED_EDGE ( 'NONE', *, *, #107, .F. ) ;
#308 = ORIENTED_EDGE ( 'NONE', *, *, #103, .T. ) ;
#309 = ORIENTED_EDGE ( 'NONE', *, *, #310, .F. ) ;
#310 = EDGE_CURVE ( 'NONE', #311, #105, #3689, .T. ) ;
#311 = VERTEX_POINT ( 'NONE', #3688 ) ;
#312 = ORIENTED_EDGE ( 'NONE', *, *, #313, .F. ) ;
#313 = EDGE_CURVE ( 'NONE', #314, #311, #3681, .T. ) ;
#314 = VERTEX_POINT ( 'NONE', #3680 ) ;
#315 = ORIENTED_EDGE ( 'NONE', *, *, #316, .F. ) ;
#316 = EDGE_CURVE ( 'NONE', #317, #314, #3670, .T. ) ;
#317 = VERTEX_POINT ( 'NONE', #3716 ) ;
#318 = ORIENTED_EDGE ( 'NONE', *, *, #319, .F. ) ;
#319 = EDGE_CURVE ( 'NONE', #108, #317, #3714, .T. ) ;
#320 = ORIENTED_EDGE ( 'NONE', *, *, #292, .F. ) ;
#321 = ORIENTED_EDGE ( 'NONE', *, *, #227, .F. ) ;
#322 = ORIENTED_EDGE ( 'NONE', *, *, #244, .F. ) ;
#323 = ADVANCED_FACE ( 'NONE', ( #3715 ), #3713, .T. ) ;
#324 = EDGE_LOOP ( 'NONE', ( #325, #326, #328, #329 ) ) ;
#325 = ORIENTED_EDGE ( 'NONE', *, *, #117, .F. ) ;
#326 = ORIENTED_EDGE ( 'NONE', *, *, #327, .F. ) ;
#327 = EDGE_CURVE ( 'NONE', #115, #114, #3702, .T. ) ;
#328 = ORIENTED_EDGE ( 'NONE', *, *, #2089, .T. ) ;
#329 = ORIENTED_EDGE ( 'NONE', *, *, #330, .F. ) ;
#330 = EDGE_CURVE ( 'NONE', #172, #56, #3697, .T. ) ;
#331 = ADVANCED_FACE ( 'NONE', ( #3692 ), #3690, .F. ) ;
#332 = ORIENTED_EDGE ( 'NONE', *, *, #266, .T. ) ;
#333 = ORIENTED_EDGE ( 'NONE', *, *, #1968, .T. ) ;
#334 = ORIENTED_EDGE ( 'NONE', *, *, #2990, .T. ) ;
#335 = ADVANCED_FACE ( 'NONE', ( #3747, #3746 ), #3742, .F. ) ;
#336 = EDGE_LOOP ( 'NONE', ( #337, #338 ) ) ;
#337 = ORIENTED_EDGE ( 'NONE', *, *, #2987, .T. ) ;
#338 = ORIENTED_EDGE ( 'NONE', *, *, #2068, .T. ) ;
#339 = ADVANCED_FACE ( 'NONE', ( #3737 ), #3736, .F. ) ;
#340 = EDGE_LOOP ( 'NONE', ( #341, #342, #401, #402, #403, #406, #409, #412, #388 ) ) ;
#341 = ORIENTED_EDGE ( 'NONE', *, *, #359, .F. ) ;
#342 = ORIENTED_EDGE ( 'NONE', *, *, #7709, .T. ) ;
#343 = EDGE_CURVE ( 'NONE', #7733, #7790, #3731, .T. ) ;
#344 = ORIENTED_EDGE ( 'NONE', *, *, #7798, .T. ) ;
#345 = ADVANCED_FACE ( 'NONE', ( #3727 ), #3726, .F. ) ;
#346 = EDGE_LOOP ( 'NONE', ( #347, #348, #349, #350, #353, #414, #417, #420, #422 ) ) ;
#347 = ORIENTED_EDGE ( 'NONE', *, *, #343, .F. ) ;
#348 = ORIENTED_EDGE ( 'NONE', *, *, #7732, .T. ) ;
#349 = ORIENTED_EDGE ( 'NONE', *, *, #356, .F. ) ;
#350 = ORIENTED_EDGE ( 'NONE', *, *, #351, .T. ) ;
#351 = EDGE_CURVE ( 'NONE', #7418, #352, #3721, .T. ) ;
#352 = VERTEX_POINT ( 'NONE', #3720 ) ;
#353 = ORIENTED_EDGE ( 'NONE', *, *, #354, .F. ) ;
#354 = EDGE_CURVE ( 'NONE', #355, #352, #3784, .T. ) ;
#355 = VERTEX_POINT ( 'NONE', #3767 ) ;
#356 = EDGE_CURVE ( 'NONE', #7418, #7734, #3766, .T. ) ;
#357 = ORIENTED_EDGE ( 'NONE', *, *, #7712, .T. ) ;
#358 = ORIENTED_EDGE ( 'NONE', *, *, #359, .T. ) ;
#359 = EDGE_CURVE ( 'NONE', #7710, #360, #3762, .T. ) ;
#360 = VERTEX_POINT ( 'NONE', #3758 ) ;
#361 = ORIENTED_EDGE ( 'NONE', *, *, #362, .F. ) ;
#362 = EDGE_CURVE ( 'NONE', #7419, #360, #3757, .T. ) ;
#363 = ORIENTED_EDGE ( 'NONE', *, *, #7392, .F. ) ;
#364 = ADVANCED_FACE ( 'NONE', ( #3752 ), #3751, .F. ) ;
#365 = EDGE_LOOP ( 'NONE', ( #366, #368, #369, #344 ) ) ;
#366 = ORIENTED_EDGE ( 'NONE', *, *, #367, .F. ) ;
#367 = EDGE_CURVE ( 'NONE', #7737, #7796, #3815, .T. ) ;
#368 = ORIENTED_EDGE ( 'NONE', *, *, #7736, .T. ) ;
#369 = ORIENTED_EDGE ( 'NONE', *, *, #343, .T. ) ;
#370 = ORIENTED_EDGE ( 'NONE', *, *, #371, .T. ) ;
#371 = EDGE_CURVE ( 'NONE', #8094, #8095, #3811, .T. ) ;
#372 = ORIENTED_EDGE ( 'NONE', *, *, #373, .T. ) ;
#373 = EDGE_CURVE ( 'NONE', #8095, #374, #3810, .T. ) ;
#374 = VERTEX_POINT ( 'NONE', #3806 ) ;
#375 = ORIENTED_EDGE ( 'NONE', *, *, #376, .F. ) ;
#376 = EDGE_CURVE ( 'NONE', #377, #374, #3789, .T. ) ;
#377 = VERTEX_POINT ( 'NONE', #3785 ) ;
#378 = ORIENTED_EDGE ( 'NONE', *, *, #379, .T. ) ;
#379 = EDGE_CURVE ( 'NONE', #377, #8050, #3847, .T. ) ;
#380 = ADVANCED_FACE ( 'NONE', ( #3846 ), #3848, .T. ) ;
#381 = ADVANCED_FACE ( 'NONE', ( #3844 ), #3822, .F. ) ;
#382 = EDGE_LOOP ( 'NONE', ( #383, #384, #385, #386, #445, #448, #451, #454, #456 ) ) ;
#383 = ORIENTED_EDGE ( 'NONE', *, *, #462, .F. ) ;
#384 = ORIENTED_EDGE ( 'NONE', *, *, #7716, .T. ) ;
#385 = ORIENTED_EDGE ( 'NONE', *, *, #393, .F. ) ;
#386 = ORIENTED_EDGE ( 'NONE', *, *, #7577, .T. ) ;
#387 = VERTEX_POINT ( 'NONE', #3817 ) ;
#388 = ORIENTED_EDGE ( 'NONE', *, *, #389, .T. ) ;
#389 = EDGE_CURVE ( 'NONE', #387, #360, #3884, .T. ) ;
#390 = ADVANCED_FACE ( 'NONE', ( #3885 ), #3882, .T. ) ;
#391 = EDGE_LOOP ( 'NONE', ( #392, #394, #395, #397 ) ) ;
#392 = ORIENTED_EDGE ( 'NONE', *, *, #393, .T. ) ;
#393 = EDGE_CURVE ( 'NONE', #25, #7718, #3883, .T. ) ;
#394 = ORIENTED_EDGE ( 'NONE', *, *, #7781, .T. ) ;
#395 = ORIENTED_EDGE ( 'NONE', *, *, #396, .T. ) ;
#396 = EDGE_CURVE ( 'NONE', #7779, #40, #3858, .T. ) ;
#397 = ORIENTED_EDGE ( 'NONE', *, *, #11, .F. ) ;
#398 = ADVANCED_FACE ( 'NONE', ( #3854 ), #3853, .F. ) ;
#399 = EDGE_LOOP ( 'NONE', ( #400, #460, #461, #463 ) ) ;
#400 = ORIENTED_EDGE ( 'NONE', *, *, #459, .F. ) ;
#401 = ORIENTED_EDGE ( 'NONE', *, *, #367, .T. ) ;
#402 = ORIENTED_EDGE ( 'NONE', *, *, #7795, .T. ) ;
#403 = ORIENTED_EDGE ( 'NONE', *, *, #404, .T. ) ;
#404 = EDGE_CURVE ( 'NONE', #7793, #405, #3917, .T. ) ;
#405 = VERTEX_POINT ( 'NONE', #3913 ) ;
#406 = ORIENTED_EDGE ( 'NONE', *, *, #407, .T. ) ;
#407 = EDGE_CURVE ( 'NONE', #405, #408, #3910, .T. ) ;
#408 = VERTEX_POINT ( 'NONE', #3912 ) ;
#409 = ORIENTED_EDGE ( 'NONE', *, *, #410, .T. ) ;
#410 = EDGE_CURVE ( 'NONE', #408, #411, #3911, .T. ) ;
#411 = VERTEX_POINT ( 'NONE', #3892 ) ;
#412 = ORIENTED_EDGE ( 'NONE', *, *, #413, .F. ) ;
#413 = EDGE_CURVE ( 'NONE', #387, #411, #3891, .T. ) ;
#414 = ORIENTED_EDGE ( 'NONE', *, *, #415, .T. ) ;
#415 = EDGE_CURVE ( 'NONE', #355, #416, #3887, .T. ) ;
#416 = VERTEX_POINT ( 'NONE', #3946 ) ;
#417 = ORIENTED_EDGE ( 'NONE', *, *, #418, .T. ) ;
#418 = EDGE_CURVE ( 'NONE', #416, #419, #3944, .T. ) ;
#419 = VERTEX_POINT ( 'NONE', #3943 ) ;
#420 = ORIENTED_EDGE ( 'NONE', *, *, #421, .T. ) ;
#421 = EDGE_CURVE ( 'NONE', #419, #7789, #3945, .T. ) ;
#422 = ORIENTED_EDGE ( 'NONE', *, *, #7871, .T. ) ;
#423 = EDGE_CURVE ( 'NONE', #500, #40, #3669, .T. ) ;
#424 = ADVANCED_FACE ( 'NONE', ( #3987 ), #3986, .T. ) ;
#425 = EDGE_LOOP ( 'NONE', ( #426, #428 ) ) ;
#426 = ORIENTED_EDGE ( 'NONE', *, *, #427, .T. ) ;
#427 = EDGE_CURVE ( 'NONE', #121, #77, #3963, .T. ) ;
#428 = ORIENTED_EDGE ( 'NONE', *, *, #98, .T. ) ;
#429 = ADVANCED_FACE ( 'NONE', ( #3958 ), #3957, .F. ) ;
#430 = EDGE_LOOP ( 'NONE', ( #431, #485, #486, #487 ) ) ;
#431 = ORIENTED_EDGE ( 'NONE', *, *, #123, .F. ) ;
#432 = ORIENTED_EDGE ( 'NONE', *, *, #396, .F. ) ;
#433 = ORIENTED_EDGE ( 'NONE', *, *, #7778, .T. ) ;
#434 = ORIENTED_EDGE ( 'NONE', *, *, #459, .T. ) ;
#435 = ORIENTED_EDGE ( 'NONE', *, *, #7861, .T. ) ;
#436 = ORIENTED_EDGE ( 'NONE', *, *, #437, .T. ) ;
#437 = EDGE_CURVE ( 'NONE', #7859, #438, #3952, .T. ) ;
#438 = VERTEX_POINT ( 'NONE', #4020 ) ;
#439 = ORIENTED_EDGE ( 'NONE', *, *, #440, .T. ) ;
#440 = EDGE_CURVE ( 'NONE', #438, #441, #4018, .T. ) ;
#441 = VERTEX_POINT ( 'NONE', #4017 ) ;
#442 = ORIENTED_EDGE ( 'NONE', *, *, #443, .T. ) ;
#443 = EDGE_CURVE ( 'NONE', #441, #444, #4019, .T. ) ;
#444 = VERTEX_POINT ( 'NONE', #4013 ) ;
#445 = ORIENTED_EDGE ( 'NONE', *, *, #446, .F. ) ;
#446 = EDGE_CURVE ( 'NONE', #447, #7700, #3996, .T. ) ;
#447 = VERTEX_POINT ( 'NONE', #3992 ) ;
#448 = ORIENTED_EDGE ( 'NONE', *, *, #449, .T. ) ;
#449 = EDGE_CURVE ( 'NONE', #447, #450, #3991, .T. ) ;
#450 = VERTEX_POINT ( 'NONE', #4051 ) ;
#451 = ORIENTED_EDGE ( 'NONE', *, *, #452, .T. ) ;
#452 = EDGE_CURVE ( 'NONE', #450, #453, #4048, .T. ) ;
#453 = VERTEX_POINT ( 'NONE', #4049 ) ;
#454 = ORIENTED_EDGE ( 'NONE', *, *, #455, .T. ) ;
#455 = EDGE_CURVE ( 'NONE', #453, #7855, #4050, .T. ) ;
#456 = ORIENTED_EDGE ( 'NONE', *, *, #7854, .T. ) ;
#457 = ADVANCED_FACE ( 'NONE', ( #4030 ), #4029, .F. ) ;
#458 = EDGE_LOOP ( 'NONE', ( #432, #433, #434, #435, #436, #439, #442, #498, #501 ) ) ;
#459 = EDGE_CURVE ( 'NONE', #7721, #7862, #4024, .T. ) ;
#460 = ORIENTED_EDGE ( 'NONE', *, *, #7720, .T. ) ;
#461 = ORIENTED_EDGE ( 'NONE', *, *, #462, .T. ) ;
#462 = EDGE_CURVE ( 'NONE', #7717, #7856, #4083, .T. ) ;
#463 = ORIENTED_EDGE ( 'NONE', *, *, #7864, .T. ) ;
#464 = EDGE_CURVE ( 'NONE', #8130, #8131, #4079, .T. ) ;
#465 = ORIENTED_EDGE ( 'NONE', *, *, #8128, .T. ) ;
#466 = ADVANCED_FACE ( 'NONE', ( #4074 ), #4073, .F. ) ;
#467 = EDGE_LOOP ( 'NONE', ( #468, #469, #470, #523 ) ) ;
#468 = ORIENTED_EDGE ( 'NONE', *, *, #8126, .F. ) ;
#469 = ORIENTED_EDGE ( 'NONE', *, *, #464, .F. ) ;
#470 = ORIENTED_EDGE ( 'NONE', *, *, #7157, .T. ) ;
#471 = EDGE_LOOP ( 'NONE', ( #526, #530, #533, #536 ) ) ;
#472 = ORIENTED_EDGE ( 'NONE', *, *, #11654, .T. ) ;
#473 = ORIENTED_EDGE ( 'NONE', *, *, #474, .T. ) ;
#474 = EDGE_CURVE ( 'NONE', #11655, #11659, #4067, .T. ) ;
#475 = ADVANCED_FACE ( 'NONE', ( #4063 ), #4062, .T. ) ;
#476 = EDGE_LOOP ( 'NONE', ( #477, #479 ) ) ;
#477 = ORIENTED_EDGE ( 'NONE', *, *, #478, .T. ) ;
#478 = EDGE_CURVE ( 'NONE', #30, #29, #4057, .T. ) ;
#479 = ORIENTED_EDGE ( 'NONE', *, *, #28, .T. ) ;
#480 = ADVANCED_FACE ( 'NONE', ( #4052 ), #4116, .F. ) ;
#481 = EDGE_LOOP ( 'NONE', ( #482, #483, #484, #538 ) ) ;
#482 = ORIENTED_EDGE ( 'NONE', *, *, #32, .F. ) ;
#483 = ORIENTED_EDGE ( 'NONE', *, *, #478, .F. ) ;
#484 = ORIENTED_EDGE ( 'NONE', *, *, #20, .T. ) ;
#485 = ORIENTED_EDGE ( 'NONE', *, *, #427, .F. ) ;
#486 = ORIENTED_EDGE ( 'NONE', *, *, #100, .T. ) ;
#487 = ORIENTED_EDGE ( 'NONE', *, *, #488, .T. ) ;
#488 = EDGE_CURVE ( 'NONE', #126, #99, #4111, .T. ) ;
#489 = ADVANCED_FACE ( 'NONE', ( #4107 ), #4106, .T. ) ;
#490 = EDGE_LOOP ( 'NONE', ( #491, #493 ) ) ;
#491 = ORIENTED_EDGE ( 'NONE', *, *, #492, .T. ) ;
#492 = EDGE_CURVE ( 'NONE', #11661, #24, #4101, .T. ) ;
#493 = ORIENTED_EDGE ( 'NONE', *, *, #11662, .T. ) ;
#494 = ADVANCED_FACE ( 'NONE', ( #4096 ), #4095, .F. ) ;
#495 = EDGE_LOOP ( 'NONE', ( #496, #497, #472, #473 ) ) ;
#496 = ORIENTED_EDGE ( 'NONE', *, *, #11658, .F. ) ;
#497 = ORIENTED_EDGE ( 'NONE', *, *, #492, .F. ) ;
#498 = ORIENTED_EDGE ( 'NONE', *, *, #499, .F. ) ;
#499 = EDGE_CURVE ( 'NONE', #500, #444, #4090, .T. ) ;
#500 = VERTEX_POINT ( 'NONE', #4084 ) ;
#501 = ORIENTED_EDGE ( 'NONE', *, *, #423, .T. ) ;
#502 = ORIENTED_EDGE ( 'NONE', *, *, #5, .F. ) ;
#503 = ADVANCED_FACE ( 'NONE', ( #4086 ), #4085, .F. ) ;
#504 = EDGE_LOOP ( 'NONE', ( #505, #507, #565, #567 ) ) ;
#505 = ORIENTED_EDGE ( 'NONE', *, *, #506, .F. ) ;
#506 = EDGE_CURVE ( 'NONE', #532, #519, #4144, .T. ) ;
#507 = ORIENTED_EDGE ( 'NONE', *, *, #531, .T. ) ;
#508 = ADVANCED_FACE ( 'NONE', ( #4140 ), #4138, .F. ) ;
#509 = EDGE_LOOP ( 'NONE', ( #510, #514, #517, #520 ) ) ;
#510 = ORIENTED_EDGE ( 'NONE', *, *, #511, .F. ) ;
#511 = EDGE_CURVE ( 'NONE', #512, #513, #4133, .T. ) ;
#512 = VERTEX_POINT ( 'NONE', #4129 ) ;
#513 = VERTEX_POINT ( 'NONE', #4128 ) ;
#514 = ORIENTED_EDGE ( 'NONE', *, *, #515, .F. ) ;
#515 = EDGE_CURVE ( 'NONE', #516, #512, #4127, .T. ) ;
#516 = VERTEX_POINT ( 'NONE', #4123 ) ;
#517 = ORIENTED_EDGE ( 'NONE', *, *, #518, .F. ) ;
#518 = EDGE_CURVE ( 'NONE', #519, #516, #4122, .T. ) ;
#519 = VERTEX_POINT ( 'NONE', #4180 ) ;
#520 = ORIENTED_EDGE ( 'NONE', *, *, #521, .F. ) ;
#521 = EDGE_CURVE ( 'NONE', #513, #519, #4179, .T. ) ;
#522 = ORIENTED_EDGE ( 'NONE', *, *, #825, .F. ) ;
#523 = ORIENTED_EDGE ( 'NONE', *, *, #524, .T. ) ;
#524 = EDGE_CURVE ( 'NONE', #7417, #7160, #4175, .T. ) ;
#525 = ADVANCED_FACE ( 'NONE', ( #4170 ), #4169, .T. ) ;
#526 = ORIENTED_EDGE ( 'NONE', *, *, #527, .F. ) ;
#527 = EDGE_CURVE ( 'NONE', #528, #529, #4168, .T. ) ;
#528 = VERTEX_POINT ( 'NONE', #4159 ) ;
#529 = VERTEX_POINT ( 'NONE', #4158 ) ;
#530 = ORIENTED_EDGE ( 'NONE', *, *, #531, .F. ) ;
#531 = EDGE_CURVE ( 'NONE', #532, #528, #4157, .T. ) ;
#532 = VERTEX_POINT ( 'NONE', #4153 ) ;
#533 = ORIENTED_EDGE ( 'NONE', *, *, #534, .F. ) ;
#534 = EDGE_CURVE ( 'NONE', #535, #532, #4152, .T. ) ;
#535 = VERTEX_POINT ( 'NONE', #4209 ) ;
#536 = ORIENTED_EDGE ( 'NONE', *, *, #537, .F. ) ;
#537 = EDGE_CURVE ( 'NONE', #529, #535, #4208, .T. ) ;
#538 = ORIENTED_EDGE ( 'NONE', *, *, #539, .T. ) ;
#539 = EDGE_CURVE ( 'NONE', #35, #33, #4204, .T. ) ;
#540 = ADVANCED_FACE ( 'NONE', ( #4199 ), #4198, .T. ) ;
#541 = EDGE_LOOP ( 'NONE', ( #542, #465 ) ) ;
#542 = ORIENTED_EDGE ( 'NONE', *, *, #464, .T. ) ;
#543 = VERTEX_POINT ( 'NONE', #4193 ) ;
#544 = ORIENTED_EDGE ( 'NONE', *, *, #545, .T. ) ;
#545 = EDGE_CURVE ( 'NONE', #543, #546, #4190, .T. ) ;
#546 = VERTEX_POINT ( 'NONE', #4191 ) ;
#547 = ORIENTED_EDGE ( 'NONE', *, *, #548, .T. ) ;
#548 = EDGE_CURVE ( 'NONE', #546, #549, #4192, .T. ) ;
#549 = VERTEX_POINT ( 'NONE', #4240 ) ;
#550 = ORIENTED_EDGE ( 'NONE', *, *, #551, .F. ) ;
#551 = EDGE_CURVE ( 'NONE', #604, #549, #4239, .T. ) ;
#552 = EDGE_CURVE ( 'NONE', #577, #575, #4235, .T. ) ;
#553 = ORIENTED_EDGE ( 'NONE', *, *, #554, .T. ) ;
#554 = EDGE_CURVE ( 'NONE', #577, #555, #4231, .T. ) ;
#555 = VERTEX_POINT ( 'NONE', #4227 ) ;
#556 = ORIENTED_EDGE ( 'NONE', *, *, #557, .T. ) ;
#557 = EDGE_CURVE ( 'NONE', #555, #558, #4224, .T. ) ;
#558 = VERTEX_POINT ( 'NONE', #4225 ) ;
#559 = ORIENTED_EDGE ( 'NONE', *, *, #560, .T. ) ;
#560 = EDGE_CURVE ( 'NONE', #558, #512, #4226, .T. ) ;
#561 = ORIENTED_EDGE ( 'NONE', *, *, #511, .T. ) ;
#562 = ADVANCED_FACE ( 'NONE', ( #4266 ), #4265, .F. ) ;
#563 = EDGE_LOOP ( 'NONE', ( #564, #620, #621, #622, #623, #544, #547, #550, #605 ) ) ;
#564 = ORIENTED_EDGE ( 'NONE', *, *, #584, .F. ) ;
#565 = ORIENTED_EDGE ( 'NONE', *, *, #566, .T. ) ;
#566 = EDGE_CURVE ( 'NONE', #528, #513, #4260, .T. ) ;
#567 = ORIENTED_EDGE ( 'NONE', *, *, #521, .T. ) ;
#568 = ADVANCED_FACE ( 'NONE', ( #4256 ), #4255, .F. ) ;
#569 = EDGE_LOOP ( 'NONE', ( #570, #571, #572, #573, #576, #553, #556, #559, #561 ) ) ;
#570 = ORIENTED_EDGE ( 'NONE', *, *, #566, .F. ) ;
#571 = ORIENTED_EDGE ( 'NONE', *, *, #527, .T. ) ;
#572 = ORIENTED_EDGE ( 'NONE', *, *, #581, .F. ) ;
#573 = ORIENTED_EDGE ( 'NONE', *, *, #574, .T. ) ;
#574 = EDGE_CURVE ( 'NONE', #7412, #575, #4249, .T. ) ;
#575 = VERTEX_POINT ( 'NONE', #4250 ) ;
#576 = ORIENTED_EDGE ( 'NONE', *, *, #552, .F. ) ;
#577 = VERTEX_POINT ( 'NONE', #4247 ) ;
#578 = ADVANCED_FACE ( 'NONE', ( #4246 ), #4245, .T. ) ;
#579 = EDGE_LOOP ( 'NONE', ( #580, #582, #583, #502 ) ) ;
#580 = ORIENTED_EDGE ( 'NONE', *, *, #581, .T. ) ;
#581 = EDGE_CURVE ( 'NONE', #7412, #529, #4290, .T. ) ;
#582 = ORIENTED_EDGE ( 'NONE', *, *, #537, .T. ) ;
#583 = ORIENTED_EDGE ( 'NONE', *, *, #584, .T. ) ;
#584 = EDGE_CURVE ( 'NONE', #535, #14, #4286, .T. ) ;
#585 = VERTEX_POINT ( 'NONE', #4282 ) ;
#586 = ORIENTED_EDGE ( 'NONE', *, *, #587, .T. ) ;
#587 = EDGE_CURVE ( 'NONE', #585, #7457, #4279, .T. ) ;
#588 = ORIENTED_EDGE ( 'NONE', *, *, #7388, .F. ) ;
#589 = ADVANCED_FACE ( 'NONE', ( #4281 ), #4280, .F. ) ;
#590 = EDGE_LOOP ( 'NONE', ( #591, #648, #649, #650 ) ) ;
#591 = ORIENTED_EDGE ( 'NONE', *, *, #600, .F. ) ;
#592 = ORIENTED_EDGE ( 'NONE', *, *, #593, .T. ) ;
#593 = EDGE_CURVE ( 'NONE', #618, #611, #4334, .T. ) ;
#594 = ADVANCED_FACE ( 'NONE', ( #4328 ), #4327, .F. ) ;
#595 = ORIENTED_EDGE ( 'NONE', *, *, #11680, .T. ) ;
#596 = ORIENTED_EDGE ( 'NONE', *, *, #597, .F. ) ;
#597 = EDGE_CURVE ( 'NONE', #615, #11676, #4322, .T. ) ;
#598 = ORIENTED_EDGE ( 'NONE', *, *, #614, .F. ) ;
#599 = ORIENTED_EDGE ( 'NONE', *, *, #600, .T. ) ;
#600 = EDGE_CURVE ( 'NONE', #612, #7383, #4318, .T. ) ;
#601 = ORIENTED_EDGE ( 'NONE', *, *, #7382, .F. ) ;
#602 = ADVANCED_FACE ( 'NONE', ( #4314 ), #4313, .F. ) ;
#603 = EDGE_LOOP ( 'NONE', ( #661, #663, #664, #586, #588 ) ) ;
#604 = VERTEX_POINT ( 'NONE', #4308 ) ;
#605 = ORIENTED_EDGE ( 'NONE', *, *, #606, .T. ) ;
#606 = EDGE_CURVE ( 'NONE', #604, #14, #4371, .T. ) ;
#607 = ADVANCED_FACE ( 'NONE', ( #4307 ), #4306, .F. ) ;
#608 = EDGE_LOOP ( 'NONE', ( #609, #613, #616, #592 ) ) ;
#609 = ORIENTED_EDGE ( 'NONE', *, *, #610, .T. ) ;
#610 = EDGE_CURVE ( 'NONE', #611, #612, #4351, .T. ) ;
#611 = VERTEX_POINT ( 'NONE', #4347 ) ;
#612 = VERTEX_POINT ( 'NONE', #4346 ) ;
#613 = ORIENTED_EDGE ( 'NONE', *, *, #614, .T. ) ;
#614 = EDGE_CURVE ( 'NONE', #612, #615, #4345, .T. ) ;
#615 = VERTEX_POINT ( 'NONE', #4341 ) ;
#616 = ORIENTED_EDGE ( 'NONE', *, *, #617, .T. ) ;
#617 = EDGE_CURVE ( 'NONE', #615, #618, #4340, .T. ) ;
#618 = VERTEX_POINT ( 'NONE', #4401 ) ;
#619 = EDGE_LOOP ( 'NONE', ( #595, #596, #598, #599, #601 ) ) ;
#620 = ORIENTED_EDGE ( 'NONE', *, *, #534, .T. ) ;
#621 = ORIENTED_EDGE ( 'NONE', *, *, #506, .T. ) ;
#622 = ORIENTED_EDGE ( 'NONE', *, *, #518, .T. ) ;
#623 = ORIENTED_EDGE ( 'NONE', *, *, #624, .T. ) ;
#624 = EDGE_CURVE ( 'NONE', #516, #543, #4400, .T. ) ;
#625 = ADVANCED_FACE ( 'NONE', ( #4396 ), #4395, .T. ) ;
#626 = EDGE_LOOP ( 'NONE', ( #627, #628, #629, #631, #632, #634, #635, #693, #694, #696, #697, #698 ) ) ;
#627 = ORIENTED_EDGE ( 'NONE', *, *, #7421, .F. ) ;
#628 = ORIENTED_EDGE ( 'NONE', *, *, #362, .T. ) ;
#629 = ORIENTED_EDGE ( 'NONE', *, *, #630, .T. ) ;
#630 = EDGE_CURVE ( 'NONE', #360, #8046, #4390, .T. ) ;
#631 = ORIENTED_EDGE ( 'NONE', *, *, #8110, .T. ) ;
#632 = ORIENTED_EDGE ( 'NONE', *, *, #633, .T. ) ;
#633 = EDGE_CURVE ( 'NONE', #8050, #8009, #4385, .T. ) ;
#634 = ORIENTED_EDGE ( 'NONE', *, *, #8015, .T. ) ;
#635 = ORIENTED_EDGE ( 'NONE', *, *, #636, .T. ) ;
#636 = EDGE_CURVE ( 'NONE', #8013, #7915, #4380, .T. ) ;
#637 = ORIENTED_EDGE ( 'NONE', *, *, #7444, .F. ) ;
#638 = ORIENTED_EDGE ( 'NONE', *, *, #11672, .T. ) ;
#639 = ORIENTED_EDGE ( 'NONE', *, *, #640, .F. ) ;
#640 = EDGE_CURVE ( 'NONE', #11695, #11692, #4375, .T. ) ;
#641 = ADVANCED_FACE ( 'NONE', ( #4434 ), #4433, .T. ) ;
#642 = EDGE_LOOP ( 'NONE', ( #643, #644, #646, #647 ) ) ;
#643 = ORIENTED_EDGE ( 'NONE', *, *, #10, .F. ) ;
#644 = ORIENTED_EDGE ( 'NONE', *, *, #645, .F. ) ;
#645 = EDGE_CURVE ( 'NONE', #11666, #38, #4427, .T. ) ;
#646 = ORIENTED_EDGE ( 'NONE', *, *, #11665, .T. ) ;
#647 = ORIENTED_EDGE ( 'NONE', *, *, #704, .F. ) ;
#648 = ORIENTED_EDGE ( 'NONE', *, *, #610, .F. ) ;
#649 = ORIENTED_EDGE ( 'NONE', *, *, #662, .T. ) ;
#650 = ORIENTED_EDGE ( 'NONE', *, *, #7385, .F. ) ;
#651 = ADVANCED_FACE ( 'NONE', ( #4423 ), #4422, .T. ) ;
#652 = EDGE_LOOP ( 'NONE', ( #653, #654, #655, #656 ) ) ;
#653 = ORIENTED_EDGE ( 'NONE', *, *, #11686, .F. ) ;
#654 = ORIENTED_EDGE ( 'NONE', *, *, #7456, .F. ) ;
#655 = ORIENTED_EDGE ( 'NONE', *, *, #587, .F. ) ;
#656 = ORIENTED_EDGE ( 'NONE', *, *, #657, .F. ) ;
#657 = EDGE_CURVE ( 'NONE', #11689, #585, #4416, .T. ) ;
#658 = ADVANCED_FACE ( 'NONE', ( #4412 ), #4411, .F. ) ;
#659 = EDGE_LOOP ( 'NONE', ( #660, #637, #638, #639 ) ) ;
#660 = ORIENTED_EDGE ( 'NONE', *, *, #7154, .F. ) ;
#661 = ORIENTED_EDGE ( 'NONE', *, *, #662, .F. ) ;
#662 = EDGE_CURVE ( 'NONE', #611, #7386, #4410, .T. ) ;
#663 = ORIENTED_EDGE ( 'NONE', *, *, #593, .F. ) ;
#664 = ORIENTED_EDGE ( 'NONE', *, *, #665, .T. ) ;
#665 = EDGE_CURVE ( 'NONE', #618, #585, #4402, .T. ) ;
#666 = ADVANCED_FACE ( 'NONE', ( #4465, #4464, #4463, #4462, #4461, #4460 ), #4459, .T. ) ;
#667 = EDGE_LOOP ( 'NONE', ( #668, #723 ) ) ;
#668 = ORIENTED_EDGE ( 'NONE', *, *, #488, .F. ) ;
#669 = ORIENTED_EDGE ( 'NONE', *, *, #7396, .F. ) ;
#670 = ORIENTED_EDGE ( 'NONE', *, *, #704, .T. ) ;
#671 = ORIENTED_EDGE ( 'NONE', *, *, #7394, .T. ) ;
#672 = ORIENTED_EDGE ( 'NONE', *, *, #673, .F. ) ;
#673 = EDGE_CURVE ( 'NONE', #7376, #7434, #4454, .T. ) ;
#674 = ADVANCED_FACE ( 'NONE', ( #4449 ), #4448, .T. ) ;
#675 = EDGE_LOOP ( 'NONE', ( #676, #677, #679, #680 ) ) ;
#676 = ORIENTED_EDGE ( 'NONE', *, *, #7405, .F. ) ;
#677 = ORIENTED_EDGE ( 'NONE', *, *, #678, .F. ) ;
#678 = EDGE_CURVE ( 'NONE', #7450, #7460, #4442, .T. ) ;
#679 = ORIENTED_EDGE ( 'NONE', *, *, #7413, .T. ) ;
#680 = ORIENTED_EDGE ( 'NONE', *, *, #737, .T. ) ;
#681 = ORIENTED_EDGE ( 'NONE', *, *, #597, .T. ) ;
#682 = ORIENTED_EDGE ( 'NONE', *, *, #11671, .T. ) ;
#683 = ORIENTED_EDGE ( 'NONE', *, *, #11682, .T. ) ;
#684 = ORIENTED_EDGE ( 'NONE', *, *, #657, .T. ) ;
#685 = ADVANCED_FACE ( 'NONE', ( #4438 ), #4437, .T. ) ;
#686 = EDGE_LOOP ( 'NONE', ( #687, #688, #689, #690 ) ) ;
#687 = ORIENTED_EDGE ( 'NONE', *, *, #7441, .F. ) ;
#688 = ORIENTED_EDGE ( 'NONE', *, *, #11688, .T. ) ;
#689 = ORIENTED_EDGE ( 'NONE', *, *, #7399, .T. ) ;
#690 = ORIENTED_EDGE ( 'NONE', *, *, #15, .T. ) ;
#691 = ADVANCED_FACE ( 'NONE', ( #4498 ), #4495, .T. ) ;
#692 = EDGE_LOOP ( 'NONE', ( #669, #670, #671, #672 ) ) ;
#693 = ORIENTED_EDGE ( 'NONE', *, *, #7979, .T. ) ;
#694 = ORIENTED_EDGE ( 'NONE', *, *, #695, .T. ) ;
#695 = EDGE_CURVE ( 'NONE', #7977, #7876, #4496, .T. ) ;
#696 = ORIENTED_EDGE ( 'NONE', *, *, #7882, .T. ) ;
#697 = ORIENTED_EDGE ( 'NONE', *, *, #7427, .T. ) ;
#698 = ORIENTED_EDGE ( 'NONE', *, *, #699, .F. ) ;
#699 = EDGE_CURVE ( 'NONE', #7422, #7425, #4487, .T. ) ;
#700 = ADVANCED_FACE ( 'NONE', ( #4482 ), #4481, .T. ) ;
#701 = EDGE_LOOP ( 'NONE', ( #702, #703, #681, #682, #683, #684 ) ) ;
#702 = ORIENTED_EDGE ( 'NONE', *, *, #665, .F. ) ;
#703 = ORIENTED_EDGE ( 'NONE', *, *, #617, .F. ) ;
#704 = EDGE_CURVE ( 'NONE', #7438, #7437, #4476, .T. ) ;
#705 = ADVANCED_FACE ( 'NONE', ( #4471, #4470 ), #4469, .T. ) ;
#706 = EDGE_LOOP ( 'NONE', ( #707, #708 ) ) ;
#707 = ORIENTED_EDGE ( 'NONE', *, *, #7424, .T. ) ;
#708 = ORIENTED_EDGE ( 'NONE', *, *, #699, .T. ) ;
#709 = ORIENTED_EDGE ( 'NONE', *, *, #710, .T. ) ;
#710 = EDGE_CURVE ( 'NONE', #711, #712, #4528, .T. ) ;
#711 = VERTEX_POINT ( 'NONE', #4524 ) ;
#712 = VERTEX_POINT ( 'NONE', #4523 ) ;
#713 = ORIENTED_EDGE ( 'NONE', *, *, #714, .T. ) ;
#714 = EDGE_CURVE ( 'NONE', #712, #715, #4522, .T. ) ;
#715 = VERTEX_POINT ( 'NONE', #4517 ) ;
#716 = ORIENTED_EDGE ( 'NONE', *, *, #717, .T. ) ;
#717 = EDGE_CURVE ( 'NONE', #715, #718, #4516, .T. ) ;
#718 = VERTEX_POINT ( 'NONE', #4512 ) ;
#719 = ORIENTED_EDGE ( 'NONE', *, *, #720, .T. ) ;
#720 = EDGE_CURVE ( 'NONE', #718, #721, #4511, .T. ) ;
#721 = VERTEX_POINT ( 'NONE', #4506 ) ;
#722 = ORIENTED_EDGE ( 'NONE', *, *, #774, .T. ) ;
#723 = ORIENTED_EDGE ( 'NONE', *, *, #125, .F. ) ;
#724 = EDGE_LOOP ( 'NONE', ( #725, #726 ) ) ;
#725 = ORIENTED_EDGE ( 'NONE', *, *, #474, .F. ) ;
#726 = ORIENTED_EDGE ( 'NONE', *, *, #11657, .F. ) ;
#727 = EDGE_LOOP ( 'NONE', ( #728, #729 ) ) ;
#728 = ORIENTED_EDGE ( 'NONE', *, *, #539, .F. ) ;
#729 = ORIENTED_EDGE ( 'NONE', *, *, #18, .F. ) ;
#730 = EDGE_LOOP ( 'NONE', ( #731, #732 ) ) ;
#731 = ORIENTED_EDGE ( 'NONE', *, *, #524, .F. ) ;
#732 = ORIENTED_EDGE ( 'NONE', *, *, #42, .F. ) ;
#733 = EDGE_LOOP ( 'NONE', ( #734, #735 ) ) ;
#734 = ORIENTED_EDGE ( 'NONE', *, *, #745, .F. ) ;
#735 = ORIENTED_EDGE ( 'NONE', *, *, #7461, .F. ) ;
#736 = EDGE_LOOP ( 'NONE', ( #709, #713, #716, #719, #722, #776, #779, #782 ) ) ;
#737 = EDGE_CURVE ( 'NONE', #7451, #7449, #4505, .T. ) ;
#738 = ADVANCED_FACE ( 'NONE', ( #4562 ), #4561, .T. ) ;
#739 = EDGE_LOOP ( 'NONE', ( #740, #741, #743, #744 ) ) ;
#740 = ORIENTED_EDGE ( 'NONE', *, *, #214, .F. ) ;
#741 = ORIENTED_EDGE ( 'NONE', *, *, #742, .T. ) ;
#742 = EDGE_CURVE ( 'NONE', #212, #211, #4560, .T. ) ;
#743 = ORIENTED_EDGE ( 'NONE', *, *, #7378, .T. ) ;
#744 = ORIENTED_EDGE ( 'NONE', *, *, #745, .T. ) ;
#745 = EDGE_CURVE ( 'NONE', #7379, #215, #4551, .T. ) ;
#746 = ORIENTED_EDGE ( 'NONE', *, *, #747, .F. ) ;
#747 = EDGE_CURVE ( 'NONE', #549, #447, #4546, .T. ) ;
#748 = ORIENTED_EDGE ( 'NONE', *, *, #640, .T. ) ;
#749 = EDGE_LOOP ( 'NONE', ( #750, #751 ) ) ;
#750 = ORIENTED_EDGE ( 'NONE', *, *, #645, .T. ) ;
#751 = ORIENTED_EDGE ( 'NONE', *, *, #37, .T. ) ;
#752 = ADVANCED_FACE ( 'NONE', ( #4541 ), #4540, .F. ) ;
#753 = EDGE_LOOP ( 'NONE', ( #754, #755, #757, #758 ) ) ;
#754 = ORIENTED_EDGE ( 'NONE', *, *, #452, .F. ) ;
#755 = ORIENTED_EDGE ( 'NONE', *, *, #756, .F. ) ;
#756 = EDGE_CURVE ( 'NONE', #546, #450, #4534, .T. ) ;
#757 = ORIENTED_EDGE ( 'NONE', *, *, #545, .F. ) ;
#758 = ORIENTED_EDGE ( 'NONE', *, *, #759, .F. ) ;
#759 = EDGE_CURVE ( 'NONE', #453, #543, #4595, .T. ) ;
#760 = EDGE_LOOP ( 'NONE', ( #813, #814, #815, #816 ) ) ;
#761 = EDGE_LOOP ( 'NONE', ( #762, #763 ) ) ;
#762 = ORIENTED_EDGE ( 'NONE', *, *, #737, .F. ) ;
#763 = ORIENTED_EDGE ( 'NONE', *, *, #7406, .F. ) ;
#764 = ADVANCED_FACE ( 'NONE', ( #4590, #4589 ), #4588, .T. ) ;
#765 = EDGE_LOOP ( 'NONE', ( #766, #767 ) ) ;
#766 = ORIENTED_EDGE ( 'NONE', *, *, #678, .T. ) ;
#767 = ORIENTED_EDGE ( 'NONE', *, *, #7458, .T. ) ;
#768 = EDGE_LOOP ( 'NONE', ( #769, #770 ) ) ;
#769 = ORIENTED_EDGE ( 'NONE', *, *, #7433, .T. ) ;
#770 = ORIENTED_EDGE ( 'NONE', *, *, #673, .T. ) ;
#771 = ADVANCED_FACE ( 'NONE', ( #4583, #4582 ), #4581, .T. ) ;
#772 = EDGE_LOOP ( 'NONE', ( #773, #748 ) ) ;
#773 = ORIENTED_EDGE ( 'NONE', *, *, #11694, .T. ) ;
#774 = EDGE_CURVE ( 'NONE', #721, #775, #4576, .T. ) ;
#775 = VERTEX_POINT ( 'NONE', #4572 ) ;
#776 = ORIENTED_EDGE ( 'NONE', *, *, #777, .T. ) ;
#777 = EDGE_CURVE ( 'NONE', #775, #778, #4571, .T. ) ;
#778 = VERTEX_POINT ( 'NONE', #4566 ) ;
#779 = ORIENTED_EDGE ( 'NONE', *, *, #780, .T. ) ;
#780 = EDGE_CURVE ( 'NONE', #778, #781, #4565, .T. ) ;
#781 = VERTEX_POINT ( 'NONE', #4628 ) ;
#782 = ORIENTED_EDGE ( 'NONE', *, *, #783, .T. ) ;
#783 = EDGE_CURVE ( 'NONE', #781, #711, #4627, .T. ) ;
#784 = ORIENTED_EDGE ( 'NONE', *, *, #796, .T. ) ;
#785 = ORIENTED_EDGE ( 'NONE', *, *, #499, .T. ) ;
#786 = ADVANCED_FACE ( 'NONE', ( #4622 ), #4621, .F. ) ;
#787 = ORIENTED_EDGE ( 'NONE', *, *, #440, .F. ) ;
#788 = ORIENTED_EDGE ( 'NONE', *, *, #789, .F. ) ;
#789 = EDGE_CURVE ( 'NONE', #419, #438, #4616, .T. ) ;
#790 = ADVANCED_FACE ( 'NONE', ( #4611 ), #4610, .F. ) ;
#791 = EDGE_LOOP ( 'NONE', ( #792, #793, #794, #795 ) ) ;
#792 = ORIENTED_EDGE ( 'NONE', *, *, #351, .F. ) ;
#793 = ORIENTED_EDGE ( 'NONE', *, *, #12, .F. ) ;
#794 = ORIENTED_EDGE ( 'NONE', *, *, #423, .F. ) ;
#795 = ORIENTED_EDGE ( 'NONE', *, *, #796, .F. ) ;
#796 = EDGE_CURVE ( 'NONE', #352, #500, #4604, .T. ) ;
#797 = ADVANCED_FACE ( 'NONE', ( #4600 ), #4599, .T. ) ;
#798 = EDGE_LOOP ( 'NONE', ( #849, #850, #852, #853 ) ) ;
#799 = ORIENTED_EDGE ( 'NONE', *, *, #548, .F. ) ;
#800 = ORIENTED_EDGE ( 'NONE', *, *, #756, .T. ) ;
#801 = ADVANCED_FACE ( 'NONE', ( #4663 ), #4659, .T. ) ;
#802 = EDGE_LOOP ( 'NONE', ( #803, #804, #805, #806 ) ) ;
#803 = ORIENTED_EDGE ( 'NONE', *, *, #747, .T. ) ;
#804 = ORIENTED_EDGE ( 'NONE', *, *, #446, .T. ) ;
#805 = ORIENTED_EDGE ( 'NONE', *, *, #817, .T. ) ;
#806 = ORIENTED_EDGE ( 'NONE', *, *, #551, .T. ) ;
#807 = ADVANCED_FACE ( 'NONE', ( #4654 ), #4653, .F. ) ;
#808 = EDGE_LOOP ( 'NONE', ( #809, #810, #787, #788 ) ) ;
#809 = ORIENTED_EDGE ( 'NONE', *, *, #418, .F. ) ;
#810 = ORIENTED_EDGE ( 'NONE', *, *, #811, .F. ) ;
#811 = EDGE_CURVE ( 'NONE', #441, #416, #4647, .T. ) ;
#812 = ADVANCED_FACE ( 'NONE', ( #4643 ), #4642, .F. ) ;
#813 = ORIENTED_EDGE ( 'NONE', *, *, #7577, .F. ) ;
#814 = ORIENTED_EDGE ( 'NONE', *, *, #9, .F. ) ;
#815 = ORIENTED_EDGE ( 'NONE', *, *, #606, .F. ) ;
#816 = ORIENTED_EDGE ( 'NONE', *, *, #817, .F. ) ;
#817 = EDGE_CURVE ( 'NONE', #7700, #604, #4635, .T. ) ;
#818 = ADVANCED_FACE ( 'NONE', ( #4631 ), #4695, .T. ) ;
#819 = EDGE_LOOP ( 'NONE', ( #820, #746, #799, #800 ) ) ;
#820 = ORIENTED_EDGE ( 'NONE', *, *, #449, .F. ) ;
#821 = EDGE_CURVE ( 'NONE', #8073, #8094, #4694, .T. ) ;
#822 = ADVANCED_FACE ( 'NONE', ( #4686 ), #4685, .F. ) ;
#823 = EDGE_LOOP ( 'NONE', ( #824, #876, #877, #878 ) ) ;
#824 = ORIENTED_EDGE ( 'NONE', *, *, #8004, .F. ) ;
#825 = EDGE_CURVE ( 'NONE', #8100, #387, #4679, .T. ) ;
#826 = ADVANCED_FACE ( 'NONE', ( #4675 ), #4674, .T. ) ;
#827 = EDGE_LOOP ( 'NONE', ( #828, #829, #831, #832 ) ) ;
#828 = ORIENTED_EDGE ( 'NONE', *, *, #8105, .F. ) ;
#829 = ORIENTED_EDGE ( 'NONE', *, *, #830, .F. ) ;
#830 = EDGE_CURVE ( 'NONE', #411, #8103, #4673, .T. ) ;
#831 = ORIENTED_EDGE ( 'NONE', *, *, #410, .F. ) ;
#832 = ORIENTED_EDGE ( 'NONE', *, *, #840, .T. ) ;
#833 = ADVANCED_FACE ( 'NONE', ( #4668 ), #4729, .T. ) ;
#834 = EDGE_LOOP ( 'NONE', ( #835, #836, #888, #889 ) ) ;
#835 = ORIENTED_EDGE ( 'NONE', *, *, #830, .T. ) ;
#836 = ORIENTED_EDGE ( 'NONE', *, *, #8102, .T. ) ;
#837 = EDGE_LOOP ( 'NONE', ( #838, #839, #841, #842 ) ) ;
#838 = ORIENTED_EDGE ( 'NONE', *, *, #8108, .F. ) ;
#839 = ORIENTED_EDGE ( 'NONE', *, *, #840, .F. ) ;
#840 = EDGE_CURVE ( 'NONE', #408, #8106, #4724, .T. ) ;
#841 = ORIENTED_EDGE ( 'NONE', *, *, #407, .F. ) ;
#842 = ORIENTED_EDGE ( 'NONE', *, *, #843, .F. ) ;
#843 = EDGE_CURVE ( 'NONE', #8109, #405, #4719, .T. ) ;
#844 = ADVANCED_FACE ( 'NONE', ( #4714 ), #4713, .F. ) ;
#845 = EDGE_LOOP ( 'NONE', ( #846, #847, #848, #522 ) ) ;
#846 = ORIENTED_EDGE ( 'NONE', *, *, #8099, .F. ) ;
#847 = ORIENTED_EDGE ( 'NONE', *, *, #630, .F. ) ;
#848 = ORIENTED_EDGE ( 'NONE', *, *, #389, .F. ) ;
#849 = ORIENTED_EDGE ( 'NONE', *, *, #415, .F. ) ;
#850 = ORIENTED_EDGE ( 'NONE', *, *, #851, .F. ) ;
#851 = EDGE_CURVE ( 'NONE', #444, #355, #4707, .T. ) ;
#852 = ORIENTED_EDGE ( 'NONE', *, *, #443, .F. ) ;
#853 = ORIENTED_EDGE ( 'NONE', *, *, #811, .T. ) ;
#854 = ADVANCED_FACE ( 'NONE', ( #4703 ), #4700, .T. ) ;
#855 = EDGE_LOOP ( 'NONE', ( #856, #857, #784, #785 ) ) ;
#856 = ORIENTED_EDGE ( 'NONE', *, *, #851, .T. ) ;
#857 = ORIENTED_EDGE ( 'NONE', *, *, #354, .T. ) ;
#858 = ORIENTED_EDGE ( 'NONE', *, *, #859, .F. ) ;
#859 = EDGE_CURVE ( 'NONE', #7969, #8065, #4758, .T. ) ;
#860 = ADVANCED_FACE ( 'NONE', ( #4753 ), #4752, .T. ) ;
#861 = EDGE_LOOP ( 'NONE', ( #862, #863, #917, #918 ) ) ;
#862 = ORIENTED_EDGE ( 'NONE', *, *, #7974, .F. ) ;
#863 = ORIENTED_EDGE ( 'NONE', *, *, #864, .F. ) ;
#864 = EDGE_CURVE ( 'NONE', #8064, #7972, #4751, .T. ) ;
#865 = EDGE_LOOP ( 'NONE', ( #866, #867, #868, #869 ) ) ;
#866 = ORIENTED_EDGE ( 'NONE', *, *, #884, .T. ) ;
#867 = ORIENTED_EDGE ( 'NONE', *, *, #8067, .T. ) ;
#868 = ORIENTED_EDGE ( 'NONE', *, *, #879, .T. ) ;
#869 = ORIENTED_EDGE ( 'NONE', *, *, #376, .T. ) ;
#870 = ADVANCED_FACE ( 'NONE', ( #4742 ), #4741, .F. ) ;
#871 = EDGE_LOOP ( 'NONE', ( #872, #873, #875, #929 ) ) ;
#872 = ORIENTED_EDGE ( 'NONE', *, *, #8037, .F. ) ;
#873 = ORIENTED_EDGE ( 'NONE', *, *, #874, .F. ) ;
#874 = EDGE_CURVE ( 'NONE', #8061, #7975, #4735, .T. ) ;
#875 = ORIENTED_EDGE ( 'NONE', *, *, #8060, .F. ) ;
#876 = ORIENTED_EDGE ( 'NONE', *, *, #633, .F. ) ;
#877 = ORIENTED_EDGE ( 'NONE', *, *, #379, .F. ) ;
#878 = ORIENTED_EDGE ( 'NONE', *, *, #879, .F. ) ;
#879 = EDGE_CURVE ( 'NONE', #8005, #377, #4731, .T. ) ;
#880 = ADVANCED_FACE ( 'NONE', ( #4788 ), #4787, .T. ) ;
#881 = EDGE_LOOP ( 'NONE', ( #882, #883, #885, #886 ) ) ;
#882 = ORIENTED_EDGE ( 'NONE', *, *, #8069, .F. ) ;
#883 = ORIENTED_EDGE ( 'NONE', *, *, #884, .F. ) ;
#884 = EDGE_CURVE ( 'NONE', #374, #8006, #4781, .T. ) ;
#885 = ORIENTED_EDGE ( 'NONE', *, *, #373, .F. ) ;
#886 = ORIENTED_EDGE ( 'NONE', *, *, #894, .T. ) ;
#887 = ADVANCED_FACE ( 'NONE', ( #4777 ), #4776, .T. ) ;
#888 = ORIENTED_EDGE ( 'NONE', *, *, #825, .T. ) ;
#889 = ORIENTED_EDGE ( 'NONE', *, *, #413, .T. ) ;
#890 = ADVANCED_FACE ( 'NONE', ( #4771 ), #4770, .F. ) ;
#891 = EDGE_LOOP ( 'NONE', ( #892, #893, #895, #896 ) ) ;
#892 = ORIENTED_EDGE ( 'NONE', *, *, #8072, .F. ) ;
#893 = ORIENTED_EDGE ( 'NONE', *, *, #894, .F. ) ;
#894 = EDGE_CURVE ( 'NONE', #8095, #8070, #4765, .T. ) ;
#895 = ORIENTED_EDGE ( 'NONE', *, *, #371, .F. ) ;
#896 = ORIENTED_EDGE ( 'NONE', *, *, #821, .F. ) ;
#897 = ORIENTED_EDGE ( 'NONE', *, *, #898, .F. ) ;
#898 = EDGE_CURVE ( 'NONE', #8028, #7935, #4759, .T. ) ;
#899 = ORIENTED_EDGE ( 'NONE', *, *, #8027, .F. ) ;
#900 = ORIENTED_EDGE ( 'NONE', *, *, #906, .T. ) ;
#901 = ADVANCED_FACE ( 'NONE', ( #4760 ), #4819, .T. ) ;
#902 = EDGE_LOOP ( 'NONE', ( #903, #904, #905, #956 ) ) ;
#903 = ORIENTED_EDGE ( 'NONE', *, *, #898, .T. ) ;
#904 = ORIENTED_EDGE ( 'NONE', *, *, #7934, .T. ) ;
#905 = ORIENTED_EDGE ( 'NONE', *, *, #916, .T. ) ;
#906 = EDGE_CURVE ( 'NONE', #8025, #7938, #4814, .T. ) ;
#907 = ORIENTED_EDGE ( 'NONE', *, *, #8024, .F. ) ;
#908 = ORIENTED_EDGE ( 'NONE', *, *, #909, .F. ) ;
#909 = EDGE_CURVE ( 'NONE', #7941, #8022, #4809, .T. ) ;
#910 = ADVANCED_FACE ( 'NONE', ( #4804 ), #4803, .F. ) ;
#911 = EDGE_LOOP ( 'NONE', ( #912, #913, #914, #915 ) ) ;
#912 = ORIENTED_EDGE ( 'NONE', *, *, #7931, .F. ) ;
#913 = ORIENTED_EDGE ( 'NONE', *, *, #695, .F. ) ;
#914 = ORIENTED_EDGE ( 'NONE', *, *, #8033, .F. ) ;
#915 = ORIENTED_EDGE ( 'NONE', *, *, #916, .F. ) ;
#916 = EDGE_CURVE ( 'NONE', #7932, #8031, #4797, .T. ) ;
#917 = ORIENTED_EDGE ( 'NONE', *, *, #8063, .F. ) ;
#918 = ORIENTED_EDGE ( 'NONE', *, *, #874, .T. ) ;
#919 = ADVANCED_FACE ( 'NONE', ( #4793 ), #4792, .T. ) ;
#920 = EDGE_LOOP ( 'NONE', ( #921, #922, #923, #924 ) ) ;
#921 = ORIENTED_EDGE ( 'NONE', *, *, #864, .T. ) ;
#922 = ORIENTED_EDGE ( 'NONE', *, *, #7971, .T. ) ;
#923 = ORIENTED_EDGE ( 'NONE', *, *, #859, .T. ) ;
#924 = ORIENTED_EDGE ( 'NONE', *, *, #8123, .T. ) ;
#925 = ADVANCED_FACE ( 'NONE', ( #4851 ), #4850, .F. ) ;
#926 = EDGE_LOOP ( 'NONE', ( #927, #928, #907, #908 ) ) ;
#927 = ORIENTED_EDGE ( 'NONE', *, *, #7940, .F. ) ;
#928 = ORIENTED_EDGE ( 'NONE', *, *, #906, .F. ) ;
#929 = ORIENTED_EDGE ( 'NONE', *, *, #930, .F. ) ;
#930 = EDGE_CURVE ( 'NONE', #8038, #8058, #4845, .T. ) ;
#931 = ADVANCED_FACE ( 'NONE', ( #4840 ), #4839, .F. ) ;
#932 = EDGE_LOOP ( 'NONE', ( #933, #934, #935, #858 ) ) ;
#933 = ORIENTED_EDGE ( 'NONE', *, *, #7968, .F. ) ;
#934 = ORIENTED_EDGE ( 'NONE', *, *, #636, .F. ) ;
#935 = ORIENTED_EDGE ( 'NONE', *, *, #8125, .F. ) ;
#936 = ORIENTED_EDGE ( 'NONE', *, *, #574, .F. ) ;
#937 = ORIENTED_EDGE ( 'NONE', *, *, #7411, .F. ) ;
#938 = ADVANCED_FACE ( 'NONE', ( #4833 ), #4832, .T. ) ;
#939 = EDGE_LOOP ( 'NONE', ( #940, #941, #943, #1002 ) ) ;
#940 = ORIENTED_EDGE ( 'NONE', *, *, #7840, .F. ) ;
#941 = ORIENTED_EDGE ( 'NONE', *, *, #942, .F. ) ;
#942 = EDGE_CURVE ( 'NONE', #7991, #7838, #4827, .T. ) ;
#943 = ORIENTED_EDGE ( 'NONE', *, *, #7990, .F. ) ;
#944 = ORIENTED_EDGE ( 'NONE', *, *, #557, .F. ) ;
#945 = ORIENTED_EDGE ( 'NONE', *, *, #946, .F. ) ;
#946 = EDGE_CURVE ( 'NONE', #7890, #555, #4888, .T. ) ;
#947 = ADVANCED_FACE ( 'NONE', ( #4883 ), #4882, .F. ) ;
#948 = EDGE_LOOP ( 'NONE', ( #949, #950, #951, #952 ) ) ;
#949 = ORIENTED_EDGE ( 'NONE', *, *, #7834, .F. ) ;
#950 = ORIENTED_EDGE ( 'NONE', *, *, #7446, .F. ) ;
#951 = ORIENTED_EDGE ( 'NONE', *, *, #7996, .F. ) ;
#952 = ORIENTED_EDGE ( 'NONE', *, *, #953, .F. ) ;
#953 = EDGE_CURVE ( 'NONE', #7835, #7994, #4877, .T. ) ;
#954 = ADVANCED_FACE ( 'NONE', ( #4872 ), #4871, .F. ) ;
#955 = EDGE_LOOP ( 'NONE', ( #1015, #1016, #936, #937 ) ) ;
#956 = ORIENTED_EDGE ( 'NONE', *, *, #8030, .T. ) ;
#957 = ADVANCED_FACE ( 'NONE', ( #4865 ), #4864, .F. ) ;
#958 = EDGE_LOOP ( 'NONE', ( #959, #960, #962, #963 ) ) ;
#959 = ORIENTED_EDGE ( 'NONE', *, *, #7900, .F. ) ;
#960 = ORIENTED_EDGE ( 'NONE', *, *, #961, .F. ) ;
#961 = EDGE_CURVE ( 'NONE', #7929, #7898, #4860, .T. ) ;
#962 = ORIENTED_EDGE ( 'NONE', *, *, #7928, .F. ) ;
#963 = ORIENTED_EDGE ( 'NONE', *, *, #964, .F. ) ;
#964 = EDGE_CURVE ( 'NONE', #7901, #7926, #4922, .T. ) ;
#965 = ADVANCED_FACE ( 'NONE', ( #4917 ), #4916, .F. ) ;
#966 = EDGE_LOOP ( 'NONE', ( #967, #968, #944, #945 ) ) ;
#967 = ORIENTED_EDGE ( 'NONE', *, *, #7889, .F. ) ;
#968 = ORIENTED_EDGE ( 'NONE', *, *, #969, .F. ) ;
#969 = EDGE_CURVE ( 'NONE', #558, #7887, #4911, .T. ) ;
#970 = ADVANCED_FACE ( 'NONE', ( #4906 ), #4905, .T. ) ;
#971 = EDGE_LOOP ( 'NONE', ( #972, #897, #899, #900 ) ) ;
#972 = ORIENTED_EDGE ( 'NONE', *, *, #7937, .F. ) ;
#973 = ORIENTED_EDGE ( 'NONE', *, *, #404, .F. ) ;
#974 = ORIENTED_EDGE ( 'NONE', *, *, #7792, .T. ) ;
#975 = ORIENTED_EDGE ( 'NONE', *, *, #421, .F. ) ;
#976 = ORIENTED_EDGE ( 'NONE', *, *, #789, .T. ) ;
#977 = ORIENTED_EDGE ( 'NONE', *, *, #437, .F. ) ;
#978 = ORIENTED_EDGE ( 'NONE', *, *, #7858, .T. ) ;
#979 = ORIENTED_EDGE ( 'NONE', *, *, #455, .F. ) ;
#980 = ORIENTED_EDGE ( 'NONE', *, *, #759, .T. ) ;
#981 = ORIENTED_EDGE ( 'NONE', *, *, #624, .F. ) ;
#982 = ORIENTED_EDGE ( 'NONE', *, *, #8040, .F. ) ;
#983 = ORIENTED_EDGE ( 'NONE', *, *, #930, .T. ) ;
#984 = ORIENTED_EDGE ( 'NONE', *, *, #8057, .F. ) ;
#985 = ORIENTED_EDGE ( 'NONE', *, *, #7826, .T. ) ;
#986 = ORIENTED_EDGE ( 'NONE', *, *, #8075, .F. ) ;
#987 = ORIENTED_EDGE ( 'NONE', *, *, #821, .T. ) ;
#988 = ORIENTED_EDGE ( 'NONE', *, *, #8093, .F. ) ;
#989 = ORIENTED_EDGE ( 'NONE', *, *, #7809, .T. ) ;
#990 = ORIENTED_EDGE ( 'NONE', *, *, #8084, .F. ) ;
#991 = ORIENTED_EDGE ( 'NONE', *, *, #843, .T. ) ;
#992 = ORIENTED_EDGE ( 'NONE', *, *, #7886, .F. ) ;
#993 = ORIENTED_EDGE ( 'NONE', *, *, #7704, .T. ) ;
#994 = ORIENTED_EDGE ( 'NONE', *, *, #7903, .F. ) ;
#995 = ORIENTED_EDGE ( 'NONE', *, *, #964, .T. ) ;
#996 = ORIENTED_EDGE ( 'NONE', *, *, #7925, .F. ) ;
#997 = ORIENTED_EDGE ( 'NONE', *, *, #7773, .T. ) ;
#998 = ORIENTED_EDGE ( 'NONE', *, *, #7943, .F. ) ;
#999 = ORIENTED_EDGE ( 'NONE', *, *, #909, .T. ) ;
#1000 = ORIENTED_EDGE ( 'NONE', *, *, #8021, .F. ) ;
#1001 = ORIENTED_EDGE ( 'NONE', *, *, #7758, .T. ) ;
#1002 = ORIENTED_EDGE ( 'NONE', *, *, #961, .T. ) ;
#1003 = ADVANCED_FACE ( 'NONE', ( #4904 ), #4899, .T. ) ;
#1004 = EDGE_LOOP ( 'NONE', ( #1005, #1006, #1007, #1008 ) ) ;
#1005 = ORIENTED_EDGE ( 'NONE', *, *, #7892, .F. ) ;
#1006 = ORIENTED_EDGE ( 'NONE', *, *, #946, .T. ) ;
#1007 = ORIENTED_EDGE ( 'NONE', *, *, #554, .F. ) ;
#1008 = ORIENTED_EDGE ( 'NONE', *, *, #1009, .F. ) ;
#1009 = EDGE_CURVE ( 'NONE', #7893, #577, #4892, .T. ) ;
#1010 = ADVANCED_FACE ( 'NONE', ( #4893, #4955 ), #4954, .F. ) ;
#1011 = EDGE_LOOP ( 'NONE', ( #1012, #1013 ) ) ;
#1012 = ORIENTED_EDGE ( 'NONE', *, *, #210, .F. ) ;
#1013 = ORIENTED_EDGE ( 'NONE', *, *, #742, .F. ) ;
#1014 = EDGE_LOOP ( 'NONE', ( #992, #993, #994, #995, #996, #997, #998, #999, #1000, #1001, #982, #983, #984, #985, #986, #987, #988, #989, #990, #991, #973, #974, #975, #976, #977, #978, #979, #980, #981, #1046, #1047, #1048 ) ) ;
#1015 = ORIENTED_EDGE ( 'NONE', *, *, #7957, .F. ) ;
#1016 = ORIENTED_EDGE ( 'NONE', *, *, #1017, .F. ) ;
#1017 = EDGE_CURVE ( 'NONE', #575, #7896, #4949, .T. ) ;
#1018 = EDGE_LOOP ( 'NONE', ( #1019, #1075, #1076, #1077 ) ) ;
#1019 = ORIENTED_EDGE ( 'NONE', *, *, #1073, .T. ) ;
#1020 = ORIENTED_EDGE ( 'NONE', *, *, #7529, .F. ) ;
#1021 = ADVANCED_FACE ( 'NONE', ( #4944 ), #4943, .T. ) ;
#1022 = EDGE_LOOP ( 'NONE', ( #1023, #1026, #1027, #1028, #1029, #1030 ) ) ;
#1023 = ORIENTED_EDGE ( 'NONE', *, *, #1024, .T. ) ;
#1024 = EDGE_CURVE ( 'NONE', #1025, #269, #4942, .T. ) ;
#1025 = VERTEX_POINT ( 'NONE', #4933 ) ;
#1026 = ORIENTED_EDGE ( 'NONE', *, *, #268, .F. ) ;
#1027 = ORIENTED_EDGE ( 'NONE', *, *, #2417, .F. ) ;
#1028 = ORIENTED_EDGE ( 'NONE', *, *, #7532, .F. ) ;
#1029 = ORIENTED_EDGE ( 'NONE', *, *, #1045, .F. ) ;
#1030 = ORIENTED_EDGE ( 'NONE', *, *, #1031, .F. ) ;
#1031 = EDGE_CURVE ( 'NONE', #1025, #1043, #4932, .T. ) ;
#1032 = ADVANCED_FACE ( 'NONE', ( #4928 ), #4927, .T. ) ;
#1033 = ORIENTED_EDGE ( 'NONE', *, *, #7895, .T. ) ;
#1034 = ORIENTED_EDGE ( 'NONE', *, *, #1009, .T. ) ;
#1035 = ORIENTED_EDGE ( 'NONE', *, *, #552, .T. ) ;
#1036 = ADVANCED_FACE ( 'NONE', ( #4926 ), #4985, .T. ) ;
#1037 = EDGE_LOOP ( 'NONE', ( #1038, #1041, #1044, #1020 ) ) ;
#1038 = ORIENTED_EDGE ( 'NONE', *, *, #1039, .T. ) ;
#1039 = EDGE_CURVE ( 'NONE', #7527, #1040, #4980, .T. ) ;
#1040 = VERTEX_POINT ( 'NONE', #4975 ) ;
#1041 = ORIENTED_EDGE ( 'NONE', *, *, #1042, .F. ) ;
#1042 = EDGE_CURVE ( 'NONE', #1043, #1040, #4974, .T. ) ;
#1043 = VERTEX_POINT ( 'NONE', #4969 ) ;
#1044 = ORIENTED_EDGE ( 'NONE', *, *, #1045, .T. ) ;
#1045 = EDGE_CURVE ( 'NONE', #1043, #7530, #4968, .T. ) ;
#1046 = ORIENTED_EDGE ( 'NONE', *, *, #515, .T. ) ;
#1047 = ORIENTED_EDGE ( 'NONE', *, *, #560, .F. ) ;
#1048 = ORIENTED_EDGE ( 'NONE', *, *, #969, .T. ) ;
#1049 = ADVANCED_FACE ( 'NONE', ( #4963 ), #4961, .T. ) ;
#1050 = EDGE_LOOP ( 'NONE', ( #1051, #1052, #1053, #1054 ) ) ;
#1051 = ORIENTED_EDGE ( 'NONE', *, *, #942, .T. ) ;
#1052 = ORIENTED_EDGE ( 'NONE', *, *, #7837, .T. ) ;
#1053 = ORIENTED_EDGE ( 'NONE', *, *, #953, .T. ) ;
#1054 = ORIENTED_EDGE ( 'NONE', *, *, #7993, .T. ) ;
#1055 = ADVANCED_FACE ( 'NONE', ( #4962 ), #4436, .T. ) ;
#1056 = EDGE_LOOP ( 'NONE', ( #1057, #1033, #1034, #1035 ) ) ;
#1057 = ORIENTED_EDGE ( 'NONE', *, *, #1017, .T. ) ;
#1058 = ADVANCED_FACE ( 'NONE', ( #5016 ), #5013, .T. ) ;
#1059 = EDGE_LOOP ( 'NONE', ( #1115, #1116, #1118, #1119 ) ) ;
#1060 = ORIENTED_EDGE ( 'NONE', *, *, #1088, .F. ) ;
#1061 = ORIENTED_EDGE ( 'NONE', *, *, #7587, .F. ) ;
#1062 = ADVANCED_FACE ( 'NONE', ( #5009 ), #5008, .T. ) ;
#1063 = EDGE_LOOP ( 'NONE', ( #1064, #1067, #1068, #1069, #1070, #1071 ) ) ;
#1064 = ORIENTED_EDGE ( 'NONE', *, *, #1065, .T. ) ;
#1065 = EDGE_CURVE ( 'NONE', #1066, #2371, #5003, .T. ) ;
#1066 = VERTEX_POINT ( 'NONE', #4999 ) ;
#1067 = ORIENTED_EDGE ( 'NONE', *, *, #2318, .F. ) ;
#1068 = ORIENTED_EDGE ( 'NONE', *, *, #2424, .F. ) ;
#1069 = ORIENTED_EDGE ( 'NONE', *, *, #289, .F. ) ;
#1070 = ORIENTED_EDGE ( 'NONE', *, *, #1073, .F. ) ;
#1071 = ORIENTED_EDGE ( 'NONE', *, *, #1127, .F. ) ;
#1072 = EDGE_LOOP ( 'NONE', ( #1129, #1132, #1134, #1135, #1136, #1137 ) ) ;
#1073 = EDGE_CURVE ( 'NONE', #1074, #263, #4998, .T. ) ;
#1074 = VERTEX_POINT ( 'NONE', #4993 ) ;
#1075 = ORIENTED_EDGE ( 'NONE', *, *, #271, .F. ) ;
#1076 = ORIENTED_EDGE ( 'NONE', *, *, #1024, .F. ) ;
#1077 = ORIENTED_EDGE ( 'NONE', *, *, #1078, .F. ) ;
#1078 = EDGE_CURVE ( 'NONE', #1074, #1025, #4991, .T. ) ;
#1079 = ADVANCED_FACE ( 'NONE', ( #4992 ), #5050, .T. ) ;
#1080 = EDGE_LOOP ( 'NONE', ( #1081, #1084, #1060, #1061 ) ) ;
#1081 = ORIENTED_EDGE ( 'NONE', *, *, #1082, .T. ) ;
#1082 = EDGE_CURVE ( 'NONE', #7585, #1083, #5046, .T. ) ;
#1083 = VERTEX_POINT ( 'NONE', #5041 ) ;
#1084 = ORIENTED_EDGE ( 'NONE', *, *, #1085, .F. ) ;
#1085 = EDGE_CURVE ( 'NONE', #1089, #1083, #5039, .T. ) ;
#1086 = EDGE_LOOP ( 'NONE', ( #1087, #1090, #1092, #1093, #1094, #1095 ) ) ;
#1087 = ORIENTED_EDGE ( 'NONE', *, *, #1088, .T. ) ;
#1088 = EDGE_CURVE ( 'NONE', #7588, #1089, #5034, .T. ) ;
#1089 = VERTEX_POINT ( 'NONE', #5030 ) ;
#1090 = ORIENTED_EDGE ( 'NONE', *, *, #1091, .F. ) ;
#1091 = EDGE_CURVE ( 'NONE', #1040, #1089, #5029, .T. ) ;
#1092 = ORIENTED_EDGE ( 'NONE', *, *, #1039, .F. ) ;
#1093 = ORIENTED_EDGE ( 'NONE', *, *, #7526, .T. ) ;
#1094 = ORIENTED_EDGE ( 'NONE', *, *, #2501, .F. ) ;
#1095 = ORIENTED_EDGE ( 'NONE', *, *, #7590, .F. ) ;
#1096 = ADVANCED_FACE ( 'NONE', ( #5025 ), #5024, .T. ) ;
#1097 = EDGE_CURVE ( 'NONE', #1171, #1098, #5070, .T. ) ;
#1098 = VERTEX_POINT ( 'NONE', #5072 ) ;
#1099 = ORIENTED_EDGE ( 'NONE', *, *, #1100, .T. ) ;
#1100 = EDGE_CURVE ( 'NONE', #1098, #1101, #5065, .T. ) ;
#1101 = VERTEX_POINT ( 'NONE', #5061 ) ;
#1102 = ORIENTED_EDGE ( 'NONE', *, *, #1103, .F. ) ;
#1103 = EDGE_CURVE ( 'NONE', #1124, #2509, #5060, .T. ) ;
#1104 = ADVANCED_FACE ( 'NONE', ( #5056 ), #5055, .F. ) ;
#1105 = EDGE_LOOP ( 'NONE', ( #1106, #1107, #1109, #1110 ) ) ;
#1106 = ORIENTED_EDGE ( 'NONE', *, *, #2386, .T. ) ;
#1107 = ORIENTED_EDGE ( 'NONE', *, *, #1108, .T. ) ;
#1108 = EDGE_CURVE ( 'NONE', #2384, #2633, #5105, .T. ) ;
#1109 = ORIENTED_EDGE ( 'NONE', *, *, #1123, .F. ) ;
#1110 = ORIENTED_EDGE ( 'NONE', *, *, #1111, .T. ) ;
#1111 = EDGE_CURVE ( 'NONE', #1124, #2387, #5100, .T. ) ;
#1112 = ADVANCED_FACE ( 'NONE', ( #5095 ), #5094, .F. ) ;
#1113 = EDGE_LOOP ( 'NONE', ( #1114, #1292, #1293, #1294 ) ) ;
#1114 = ORIENTED_EDGE ( 'NONE', *, *, #1290, .T. ) ;
#1115 = ORIENTED_EDGE ( 'NONE', *, *, #1065, .F. ) ;
#1116 = ORIENTED_EDGE ( 'NONE', *, *, #1117, .F. ) ;
#1117 = EDGE_CURVE ( 'NONE', #1131, #1066, #5089, .T. ) ;
#1118 = ORIENTED_EDGE ( 'NONE', *, *, #1130, .F. ) ;
#1119 = ORIENTED_EDGE ( 'NONE', *, *, #2373, .F. ) ;
#1120 = ADVANCED_FACE ( 'NONE', ( #5084 ), #5083, .T. ) ;
#1121 = EDGE_LOOP ( 'NONE', ( #1122, #1125, #1126, #1102 ) ) ;
#1122 = ORIENTED_EDGE ( 'NONE', *, *, #1123, .T. ) ;
#1123 = EDGE_CURVE ( 'NONE', #1124, #2633, #5082, .T. ) ;
#1124 = VERTEX_POINT ( 'NONE', #5137 ) ;
#1125 = ORIENTED_EDGE ( 'NONE', *, *, #2632, .F. ) ;
#1126 = ORIENTED_EDGE ( 'NONE', *, *, #2566, .F. ) ;
#1127 = EDGE_CURVE ( 'NONE', #1066, #1074, #5136, .T. ) ;
#1128 = ADVANCED_FACE ( 'NONE', ( #5132 ), #5131, .T. ) ;
#1129 = ORIENTED_EDGE ( 'NONE', *, *, #1130, .T. ) ;
#1130 = EDGE_CURVE ( 'NONE', #2295, #1131, #5130, .T. ) ;
#1131 = VERTEX_POINT ( 'NONE', #5121 ) ;
#1132 = ORIENTED_EDGE ( 'NONE', *, *, #1133, .F. ) ;
#1133 = EDGE_CURVE ( 'NONE', #1083, #1131, #5120, .T. ) ;
#1134 = ORIENTED_EDGE ( 'NONE', *, *, #1082, .F. ) ;
#1135 = ORIENTED_EDGE ( 'NONE', *, *, #7584, .T. ) ;
#1136 = ORIENTED_EDGE ( 'NONE', *, *, #2429, .F. ) ;
#1137 = ORIENTED_EDGE ( 'NONE', *, *, #2297, .F. ) ;
#1138 = ADVANCED_FACE ( 'NONE', ( #5116 ), #5115, .F. ) ;
#1139 = EDGE_LOOP ( 'NONE', ( #1140, #1221, #1224, #1227, #1230, #1234 ) ) ;
#1140 = ORIENTED_EDGE ( 'NONE', *, *, #1141, .F. ) ;
#1141 = EDGE_CURVE ( 'NONE', #1219, #1220, #5110, .T. ) ;
#1142 = ORIENTED_EDGE ( 'NONE', *, *, #1143, .F. ) ;
#1143 = EDGE_CURVE ( 'NONE', #1101, #1172, #5145, .T. ) ;
#1144 = ADVANCED_FACE ( 'NONE', ( #5146 ), #5139, .T. ) ;
#1145 = EDGE_LOOP ( 'NONE', ( #1156, #1157, #1159, #1160 ) ) ;
#1146 = ADVANCED_FACE ( 'NONE', ( #5140 ), #5150, .T. ) ;
#1147 = EDGE_LOOP ( 'NONE', ( #1253, #1254, #1233, #1142 ) ) ;
#1148 = ORIENTED_EDGE ( 'NONE', *, *, #1149, .F. ) ;
#1149 = EDGE_CURVE ( 'NONE', #1181, #1187, #5196, .T. ) ;
#1150 = ADVANCED_FACE ( 'NONE', ( #5179 ), #5178, .F. ) ;
#1151 = ORIENTED_EDGE ( 'NONE', *, *, #1152, .F. ) ;
#1152 = EDGE_CURVE ( 'NONE', #1153, #1154, #5173, .T. ) ;
#1153 = VERTEX_POINT ( 'NONE', #5169 ) ;
#1154 = VERTEX_POINT ( 'NONE', #5168 ) ;
#1155 = EDGE_CURVE ( 'NONE', #1172, #1101, #5214, .T. ) ;
#1156 = ORIENTED_EDGE ( 'NONE', *, *, #1255, .F. ) ;
#1157 = ORIENTED_EDGE ( 'NONE', *, *, #1158, .F. ) ;
#1158 = EDGE_CURVE ( 'NONE', #1101, #1098, #5209, .T. ) ;
#1159 = ORIENTED_EDGE ( 'NONE', *, *, #1143, .T. ) ;
#1160 = ORIENTED_EDGE ( 'NONE', *, *, #1161, .T. ) ;
#1161 = EDGE_CURVE ( 'NONE', #1172, #1171, #5204, .T. ) ;
#1162 = ADVANCED_FACE ( 'NONE', ( #5199 ), #5197, .T. ) ;
#1163 = EDGE_LOOP ( 'NONE', ( #1164, #1165, #1256, #1257 ) ) ;
#1164 = ORIENTED_EDGE ( 'NONE', *, *, #1097, .F. ) ;
#1165 = ORIENTED_EDGE ( 'NONE', *, *, #1161, .F. ) ;
#1166 = MANIFOLD_SOLID_BREP ( 'NONE', #1176 ) ;
#1167 = ADVANCED_FACE ( 'NONE', ( #5198 ), #5253, .T. ) ;
#1168 = EDGE_LOOP ( 'NONE', ( #1169, #1173, #1099, #1189 ) ) ;
#1169 = ORIENTED_EDGE ( 'NONE', *, *, #1170, .F. ) ;
#1170 = EDGE_CURVE ( 'NONE', #1171, #1172, #5256, .T. ) ;
#1171 = VERTEX_POINT ( 'NONE', #5250 ) ;
#1172 = VERTEX_POINT ( 'NONE', #5249 ) ;
#1173 = ORIENTED_EDGE ( 'NONE', *, *, #1097, .T. ) ;
#1174 = MANIFOLD_SOLID_BREP ( 'NONE', #1993 ) ;
#1175 = ADVANCED_FACE ( 'NONE', ( #5248 ), #5247, .T. ) ;
#1176 = CLOSED_SHELL ( 'NONE', ( #1144, #1162, #1146, #1167 ) ) ;
#1177 = EDGE_LOOP ( 'NONE', ( #1178, #1182, #1185, #1148 ) ) ;
#1178 = ORIENTED_EDGE ( 'NONE', *, *, #1179, .F. ) ;
#1179 = EDGE_CURVE ( 'NONE', #1180, #1181, #5287, .T. ) ;
#1180 = VERTEX_POINT ( 'NONE', #5278 ) ;
#1181 = VERTEX_POINT ( 'NONE', #5277 ) ;
#1182 = ORIENTED_EDGE ( 'NONE', *, *, #1183, .T. ) ;
#1183 = EDGE_CURVE ( 'NONE', #1180, #1184, #5276, .T. ) ;
#1184 = VERTEX_POINT ( 'NONE', #5272 ) ;
#1185 = ORIENTED_EDGE ( 'NONE', *, *, #1186, .F. ) ;
#1186 = EDGE_CURVE ( 'NONE', #1187, #1184, #5271, .T. ) ;
#1187 = VERTEX_POINT ( 'NONE', #5266 ) ;
#1188 = EDGE_LOOP ( 'NONE', ( #1151, #1197, #1200, #1245, #1248, #1251 ) ) ;
#1189 = ORIENTED_EDGE ( 'NONE', *, *, #1155, .F. ) ;
#1190 = ORIENTED_EDGE ( 'NONE', *, *, #1191, .F. ) ;
#1191 = EDGE_CURVE ( 'NONE', #1192, #1244, #5265, .T. ) ;
#1192 = VERTEX_POINT ( 'NONE', #5260 ) ;
#1193 = ORIENTED_EDGE ( 'NONE', *, *, #1194, .F. ) ;
#1194 = EDGE_CURVE ( 'NONE', #1241, #1192, #5259, .T. ) ;
#1195 = ADVANCED_FACE ( 'NONE', ( #5315 ), #5314, .T. ) ;
#1196 = EDGE_LOOP ( 'NONE', ( #1351, #1455, #1452, #1453 ) ) ;
#1197 = ORIENTED_EDGE ( 'NONE', *, *, #1198, .T. ) ;
#1198 = EDGE_CURVE ( 'NONE', #1153, #1199, #5309, .T. ) ;
#1199 = VERTEX_POINT ( 'NONE', #5305 ) ;
#1200 = ORIENTED_EDGE ( 'NONE', *, *, #1201, .F. ) ;
#1201 = EDGE_CURVE ( 'NONE', #1202, #1199, #5303, .T. ) ;
#1202 = VERTEX_POINT ( 'NONE', #5302 ) ;
#1203 = ADVANCED_FACE ( 'NONE', ( #5304 ), #5301, .T. ) ;
#1204 = EDGE_LOOP ( 'NONE', ( #1205, #1209, #1211, #1212 ) ) ;
#1205 = ORIENTED_EDGE ( 'NONE', *, *, #1206, .T. ) ;
#1206 = EDGE_CURVE ( 'NONE', #1207, #1208, #5296, .T. ) ;
#1207 = VERTEX_POINT ( 'NONE', #5348 ) ;
#1208 = VERTEX_POINT ( 'NONE', #5347 ) ;
#1209 = ORIENTED_EDGE ( 'NONE', *, *, #1210, .T. ) ;
#1210 = EDGE_CURVE ( 'NONE', #1208, #1187, #5346, .T. ) ;
#1211 = ORIENTED_EDGE ( 'NONE', *, *, #1186, .T. ) ;
#1212 = ORIENTED_EDGE ( 'NONE', *, *, #1213, .F. ) ;
#1213 = EDGE_CURVE ( 'NONE', #1207, #1184, #5342, .T. ) ;
#1214 = EDGE_LOOP ( 'NONE', ( #1215, #1217, #1218, #1276 ) ) ;
#1215 = ORIENTED_EDGE ( 'NONE', *, *, #1216, .T. ) ;
#1216 = EDGE_CURVE ( 'NONE', #2381, #2546, #5338, .T. ) ;
#1217 = ORIENTED_EDGE ( 'NONE', *, *, #2635, .F. ) ;
#1218 = ORIENTED_EDGE ( 'NONE', *, *, #1108, .F. ) ;
#1219 = VERTEX_POINT ( 'NONE', #5333 ) ;
#1220 = VERTEX_POINT ( 'NONE', #5332 ) ;
#1221 = ORIENTED_EDGE ( 'NONE', *, *, #1222, .T. ) ;
#1222 = EDGE_CURVE ( 'NONE', #1219, #1223, #5331, .T. ) ;
#1223 = VERTEX_POINT ( 'NONE', #5327 ) ;
#1224 = ORIENTED_EDGE ( 'NONE', *, *, #1225, .T. ) ;
#1225 = EDGE_CURVE ( 'NONE', #1223, #1226, #5326, .T. ) ;
#1226 = VERTEX_POINT ( 'NONE', #5321 ) ;
#1227 = ORIENTED_EDGE ( 'NONE', *, *, #1228, .T. ) ;
#1228 = EDGE_CURVE ( 'NONE', #1226, #1229, #5320, .T. ) ;
#1229 = VERTEX_POINT ( 'NONE', #5378 ) ;
#1230 = ORIENTED_EDGE ( 'NONE', *, *, #1231, .T. ) ;
#1231 = EDGE_CURVE ( 'NONE', #1229, #1232, #5377, .T. ) ;
#1232 = VERTEX_POINT ( 'NONE', #5372 ) ;
#1233 = ORIENTED_EDGE ( 'NONE', *, *, #1170, .T. ) ;
#1234 = ORIENTED_EDGE ( 'NONE', *, *, #1235, .T. ) ;
#1235 = EDGE_CURVE ( 'NONE', #1232, #1220, #5370, .T. ) ;
#1236 = ADVANCED_FACE ( 'NONE', ( #5371 ), #5363, .T. ) ;
#1237 = EDGE_LOOP ( 'NONE', ( #1238, #1242, #1190, #1193 ) ) ;
#1238 = ORIENTED_EDGE ( 'NONE', *, *, #1239, .F. ) ;
#1239 = EDGE_CURVE ( 'NONE', #1240, #1241, #5359, .T. ) ;
#1240 = VERTEX_POINT ( 'NONE', #5355 ) ;
#1241 = VERTEX_POINT ( 'NONE', #5354 ) ;
#1242 = ORIENTED_EDGE ( 'NONE', *, *, #1243, .T. ) ;
#1243 = EDGE_CURVE ( 'NONE', #1240, #1244, #5353, .T. ) ;
#1244 = VERTEX_POINT ( 'NONE', #5349 ) ;
#1245 = ORIENTED_EDGE ( 'NONE', *, *, #1246, .F. ) ;
#1246 = EDGE_CURVE ( 'NONE', #1247, #1202, #5407, .T. ) ;
#1247 = VERTEX_POINT ( 'NONE', #5406 ) ;
#1248 = ORIENTED_EDGE ( 'NONE', *, *, #1249, .F. ) ;
#1249 = EDGE_CURVE ( 'NONE', #1250, #1247, #5399, .T. ) ;
#1250 = VERTEX_POINT ( 'NONE', #5398 ) ;
#1251 = ORIENTED_EDGE ( 'NONE', *, *, #1252, .F. ) ;
#1252 = EDGE_CURVE ( 'NONE', #1154, #1250, #5389, .T. ) ;
#1253 = ORIENTED_EDGE ( 'NONE', *, *, #1100, .F. ) ;
#1254 = ORIENTED_EDGE ( 'NONE', *, *, #1255, .T. ) ;
#1255 = EDGE_CURVE ( 'NONE', #1098, #1171, #5429, .T. ) ;
#1256 = ORIENTED_EDGE ( 'NONE', *, *, #1155, .T. ) ;
#1257 = ORIENTED_EDGE ( 'NONE', *, *, #1158, .T. ) ;
#1258 = EDGE_LOOP ( 'NONE', ( #1259, #1262, #1315, #1316 ) ) ;
#1259 = ORIENTED_EDGE ( 'NONE', *, *, #1260, .T. ) ;
#1260 = EDGE_CURVE ( 'NONE', #2401, #1261, #5424, .T. ) ;
#1261 = VERTEX_POINT ( 'NONE', #5419 ) ;
#1262 = ORIENTED_EDGE ( 'NONE', *, *, #1263, .F. ) ;
#1263 = EDGE_CURVE ( 'NONE', #1289, #1261, #5418, .T. ) ;
#1264 = ORIENTED_EDGE ( 'NONE', *, *, #1265, .T. ) ;
#1265 = EDGE_CURVE ( 'NONE', #1289, #2546, #5412, .T. ) ;
#1266 = ORIENTED_EDGE ( 'NONE', *, *, #1216, .F. ) ;
#1267 = ORIENTED_EDGE ( 'NONE', *, *, #2380, .T. ) ;
#1268 = ADVANCED_FACE ( 'NONE', ( #5413 ), #5459, .T. ) ;
#1269 = EDGE_LOOP ( 'NONE', ( #1270, #1271, #1272, #1273 ) ) ;
#1270 = ORIENTED_EDGE ( 'NONE', *, *, #2578, .F. ) ;
#1271 = ORIENTED_EDGE ( 'NONE', *, *, #2721, .F. ) ;
#1272 = ORIENTED_EDGE ( 'NONE', *, *, #1284, .F. ) ;
#1273 = ORIENTED_EDGE ( 'NONE', *, *, #1274, .F. ) ;
#1274 = EDGE_CURVE ( 'NONE', #2510, #1291, #5460, .T. ) ;
#1275 = ADVANCED_FACE ( 'NONE', ( #5452 ), #5450, .F. ) ;
#1276 = ORIENTED_EDGE ( 'NONE', *, *, #2383, .F. ) ;
#1277 = ADVANCED_FACE ( 'NONE', ( #5445 ), #5444, .F. ) ;
#1278 = EDGE_LOOP ( 'NONE', ( #1279, #1281, #1282, #1283 ) ) ;
#1279 = ORIENTED_EDGE ( 'NONE', *, *, #1280, .T. ) ;
#1280 = EDGE_CURVE ( 'NONE', #2719, #2452, #5440, .T. ) ;
#1281 = ORIENTED_EDGE ( 'NONE', *, *, #2451, .T. ) ;
#1282 = ORIENTED_EDGE ( 'NONE', *, *, #1290, .F. ) ;
#1283 = ORIENTED_EDGE ( 'NONE', *, *, #1284, .T. ) ;
#1284 = EDGE_CURVE ( 'NONE', #1291, #2719, #5434, .T. ) ;
#1285 = ADVANCED_FACE ( 'NONE', ( #5435 ), #5489, .F. ) ;
#1286 = EDGE_LOOP ( 'NONE', ( #1287, #1264, #1266, #1267 ) ) ;
#1287 = ORIENTED_EDGE ( 'NONE', *, *, #1288, .T. ) ;
#1288 = EDGE_CURVE ( 'NONE', #2378, #1289, #5485, .T. ) ;
#1289 = VERTEX_POINT ( 'NONE', #5481 ) ;
#1290 = EDGE_CURVE ( 'NONE', #1291, #2449, #5480, .T. ) ;
#1291 = VERTEX_POINT ( 'NONE', #5475 ) ;
#1292 = ORIENTED_EDGE ( 'NONE', *, *, #2448, .F. ) ;
#1293 = ORIENTED_EDGE ( 'NONE', *, *, #1111, .F. ) ;
#1294 = ORIENTED_EDGE ( 'NONE', *, *, #1295, .F. ) ;
#1295 = EDGE_CURVE ( 'NONE', #1291, #1124, #5474, .T. ) ;
#1296 = ADVANCED_FACE ( 'NONE', ( #5469 ), #5468, .F. ) ;
#1297 = ORIENTED_EDGE ( 'NONE', *, *, #1308, .F. ) ;
#1298 = ORIENTED_EDGE ( 'NONE', *, *, #2715, .F. ) ;
#1299 = ADVANCED_FACE ( 'NONE', ( #5467 ), #5462, .F. ) ;
#1300 = EDGE_LOOP ( 'NONE', ( #1301, #1357, #1358, #1359 ) ) ;
#1301 = ORIENTED_EDGE ( 'NONE', *, *, #1356, .T. ) ;
#1302 = VERTEX_POINT ( 'NONE', #5519 ) ;
#1303 = ORIENTED_EDGE ( 'NONE', *, *, #1304, .T. ) ;
#1304 = EDGE_CURVE ( 'NONE', #1328, #2458, #5518, .T. ) ;
#1305 = ORIENTED_EDGE ( 'NONE', *, *, #2457, .T. ) ;
#1306 = ORIENTED_EDGE ( 'NONE', *, *, #1331, .F. ) ;
#1307 = ORIENTED_EDGE ( 'NONE', *, *, #1308, .T. ) ;
#1308 = EDGE_CURVE ( 'NONE', #2716, #1328, #5513, .T. ) ;
#1309 = ADVANCED_FACE ( 'NONE', ( #5508 ), #5507, .F. ) ;
#1310 = EDGE_LOOP ( 'NONE', ( #1311, #1313, #1367, #1368 ) ) ;
#1311 = ORIENTED_EDGE ( 'NONE', *, *, #1312, .T. ) ;
#1312 = EDGE_CURVE ( 'NONE', #2375, #2463, #5501, .T. ) ;
#1313 = ORIENTED_EDGE ( 'NONE', *, *, #1314, .T. ) ;
#1314 = EDGE_CURVE ( 'NONE', #2463, #1261, #5497, .T. ) ;
#1315 = ORIENTED_EDGE ( 'NONE', *, *, #1288, .F. ) ;
#1316 = ORIENTED_EDGE ( 'NONE', *, *, #2377, .F. ) ;
#1317 = ADVANCED_FACE ( 'NONE', ( #5492 ), #5556, .T. ) ;
#1318 = EDGE_LOOP ( 'NONE', ( #1319, #1322, #1323, #1324 ) ) ;
#1319 = ORIENTED_EDGE ( 'NONE', *, *, #1320, .F. ) ;
#1320 = EDGE_CURVE ( 'NONE', #2549, #1321, #5551, .T. ) ;
#1321 = VERTEX_POINT ( 'NONE', #5547 ) ;
#1322 = ORIENTED_EDGE ( 'NONE', *, *, #2548, .F. ) ;
#1323 = ORIENTED_EDGE ( 'NONE', *, *, #1265, .F. ) ;
#1324 = ORIENTED_EDGE ( 'NONE', *, *, #1325, .F. ) ;
#1325 = EDGE_CURVE ( 'NONE', #1321, #1289, #5546, .T. ) ;
#1326 = ADVANCED_FACE ( 'NONE', ( #5542 ), #5541, .F. ) ;
#1327 = EDGE_LOOP ( 'NONE', ( #1303, #1305, #1306, #1307 ) ) ;
#1328 = VERTEX_POINT ( 'NONE', #5536 ) ;
#1329 = EDGE_LOOP ( 'NONE', ( #1330, #1332, #1333, #1334 ) ) ;
#1330 = ORIENTED_EDGE ( 'NONE', *, *, #1331, .T. ) ;
#1331 = EDGE_CURVE ( 'NONE', #2716, #2455, #5535, .T. ) ;
#1332 = ORIENTED_EDGE ( 'NONE', *, *, #2454, .F. ) ;
#1333 = ORIENTED_EDGE ( 'NONE', *, *, #1280, .F. ) ;
#1334 = ORIENTED_EDGE ( 'NONE', *, *, #2718, .F. ) ;
#1335 = ADVANCED_FACE ( 'NONE', ( #5530 ), #5529, .F. ) ;
#1336 = ORIENTED_EDGE ( 'NONE', *, *, #1424, .F. ) ;
#1337 = ADVANCED_FACE ( 'NONE', ( #5528 ), #5586, .F. ) ;
#1338 = EDGE_LOOP ( 'NONE', ( #1339, #1342, #1343 ) ) ;
#1339 = ORIENTED_EDGE ( 'NONE', *, *, #1340, .T. ) ;
#1340 = EDGE_CURVE ( 'NONE', #1341, #1496, #5581, .T. ) ;
#1341 = VERTEX_POINT ( 'NONE', #5580 ) ;
#1342 = ORIENTED_EDGE ( 'NONE', *, *, #1423, .T. ) ;
#1343 = ORIENTED_EDGE ( 'NONE', *, *, #1384, .T. ) ;
#1344 = EDGE_CURVE ( 'NONE', #1456, #1414, #5579, .T. ) ;
#1345 = ORIENTED_EDGE ( 'NONE', *, *, #1346, .T. ) ;
#1346 = EDGE_CURVE ( 'NONE', #1389, #1347, #5564, .T. ) ;
#1347 = VERTEX_POINT ( 'NONE', #5560 ) ;
#1348 = ORIENTED_EDGE ( 'NONE', *, *, #1349, .F. ) ;
#1349 = EDGE_CURVE ( 'NONE', #1350, #1347, #5559, .T. ) ;
#1350 = VERTEX_POINT ( 'NONE', #5615 ) ;
#1351 = ORIENTED_EDGE ( 'NONE', *, *, #1344, .F. ) ;
#1352 = ADVANCED_FACE ( 'NONE', ( #5614 ), #5613, .T. ) ;
#1353 = EDGE_LOOP ( 'NONE', ( #1354, #1380, #1383, #1443 ) ) ;
#1354 = ORIENTED_EDGE ( 'NONE', *, *, #1355, .F. ) ;
#1355 = EDGE_CURVE ( 'NONE', #1378, #1379, #5607, .T. ) ;
#1356 = EDGE_CURVE ( 'NONE', #1302, #2461, #5603, .T. ) ;
#1357 = ORIENTED_EDGE ( 'NONE', *, *, #2460, .F. ) ;
#1358 = ORIENTED_EDGE ( 'NONE', *, *, #1304, .F. ) ;
#1359 = ORIENTED_EDGE ( 'NONE', *, *, #1360, .F. ) ;
#1360 = EDGE_CURVE ( 'NONE', #1302, #1328, #5598, .T. ) ;
#1361 = ADVANCED_FACE ( 'NONE', ( #5593 ), #5592, .F. ) ;
#1362 = EDGE_LOOP ( 'NONE', ( #1363, #1365, #1366, #1476 ) ) ;
#1363 = ORIENTED_EDGE ( 'NONE', *, *, #1364, .T. ) ;
#1364 = EDGE_CURVE ( 'NONE', #2446, #2466, #5591, .T. ) ;
#1365 = ORIENTED_EDGE ( 'NONE', *, *, #2465, .F. ) ;
#1366 = ORIENTED_EDGE ( 'NONE', *, *, #1312, .F. ) ;
#1367 = ORIENTED_EDGE ( 'NONE', *, *, #1260, .F. ) ;
#1368 = ORIENTED_EDGE ( 'NONE', *, *, #2400, .T. ) ;
#1369 = ADVANCED_FACE ( 'NONE', ( #5648 ), #5647, .T. ) ;
#1370 = EDGE_LOOP ( 'NONE', ( #1371, #1374, #1297, #1298 ) ) ;
#1371 = ORIENTED_EDGE ( 'NONE', *, *, #1372, .F. ) ;
#1372 = EDGE_CURVE ( 'NONE', #1373, #2655, #5641, .T. ) ;
#1373 = VERTEX_POINT ( 'NONE', #5637 ) ;
#1374 = ORIENTED_EDGE ( 'NONE', *, *, #1375, .F. ) ;
#1375 = EDGE_CURVE ( 'NONE', #1328, #1373, #5636, .T. ) ;
#1376 = ADVANCED_FACE ( 'NONE', ( #5632 ), #5631, .F. ) ;
#1377 = EDGE_LOOP ( 'NONE', ( #179, #216, #130, #133, #189, #192, #195, #198 ) ) ;
#1378 = VERTEX_POINT ( 'NONE', #5626 ) ;
#1379 = VERTEX_POINT ( 'NONE', #5625 ) ;
#1380 = ORIENTED_EDGE ( 'NONE', *, *, #1381, .T. ) ;
#1381 = EDGE_CURVE ( 'NONE', #1378, #1382, #5623, .T. ) ;
#1382 = VERTEX_POINT ( 'NONE', #5683 ) ;
#1383 = ORIENTED_EDGE ( 'NONE', *, *, #1441, .F. ) ;
#1384 = EDGE_CURVE ( 'NONE', #1406, #1341, #5682, .T. ) ;
#1385 = ADVANCED_FACE ( 'NONE', ( #5677 ), #5676, .F. ) ;
#1386 = EDGE_LOOP ( 'NONE', ( #1387, #1345, #1348, #1457 ) ) ;
#1387 = ORIENTED_EDGE ( 'NONE', *, *, #1388, .F. ) ;
#1388 = EDGE_CURVE ( 'NONE', #1389, #1390, #5675, .T. ) ;
#1389 = VERTEX_POINT ( 'NONE', #5666 ) ;
#1390 = VERTEX_POINT ( 'NONE', #5665 ) ;
#1391 = ORIENTED_EDGE ( 'NONE', *, *, #1392, .F. ) ;
#1392 = EDGE_CURVE ( 'NONE', #1393, #1394, #5664, .T. ) ;
#1393 = VERTEX_POINT ( 'NONE', #5659 ) ;
#1394 = VERTEX_POINT ( 'NONE', #5658 ) ;
#1395 = ORIENTED_EDGE ( 'NONE', *, *, #1396, .T. ) ;
#1396 = EDGE_CURVE ( 'NONE', #1393, #1397, #5657, .T. ) ;
#1397 = VERTEX_POINT ( 'NONE', #5653 ) ;
#1398 = ORIENTED_EDGE ( 'NONE', *, *, #1399, .T. ) ;
#1399 = EDGE_CURVE ( 'NONE', #1397, #1489, #5713, .T. ) ;
#1400 = ORIENTED_EDGE ( 'NONE', *, *, #1401, .F. ) ;
#1401 = EDGE_CURVE ( 'NONE', #1402, #1403, #5708, .T. ) ;
#1402 = VERTEX_POINT ( 'NONE', #5703 ) ;
#1403 = VERTEX_POINT ( 'NONE', #5702 ) ;
#1404 = ORIENTED_EDGE ( 'NONE', *, *, #1405, .T. ) ;
#1405 = EDGE_CURVE ( 'NONE', #1402, #1406, #5701, .T. ) ;
#1406 = VERTEX_POINT ( 'NONE', #5697 ) ;
#1407 = ORIENTED_EDGE ( 'NONE', *, *, #1408, .F. ) ;
#1408 = EDGE_CURVE ( 'NONE', #1409, #1406, #5696, .T. ) ;
#1409 = VERTEX_POINT ( 'NONE', #5691 ) ;
#1410 = ORIENTED_EDGE ( 'NONE', *, *, #1411, .F. ) ;
#1411 = EDGE_CURVE ( 'NONE', #1403, #1409, #5690, .T. ) ;
#1412 = ADVANCED_FACE ( 'NONE', ( #5686 ), #5685, .F. ) ;
#1413 = EDGE_LOOP ( 'NONE', ( #1391, #1395, #1398, #1490 ) ) ;
#1414 = VERTEX_POINT ( 'NONE', #5743 ) ;
#1415 = ORIENTED_EDGE ( 'NONE', *, *, #1416, .T. ) ;
#1416 = EDGE_CURVE ( 'NONE', #1450, #1442, #5742, .T. ) ;
#1417 = ORIENTED_EDGE ( 'NONE', *, *, #1441, .T. ) ;
#1418 = VERTEX_POINT ( 'NONE', #5738 ) ;
#1419 = ORIENTED_EDGE ( 'NONE', *, *, #1420, .T. ) ;
#1420 = EDGE_CURVE ( 'NONE', #1418, #1409, #5737, .T. ) ;
#1421 = ORIENTED_EDGE ( 'NONE', *, *, #1408, .T. ) ;
#1422 = ORIENTED_EDGE ( 'NONE', *, *, #1423, .F. ) ;
#1423 = EDGE_CURVE ( 'NONE', #1496, #1406, #5733, .T. ) ;
#1424 = EDGE_CURVE ( 'NONE', #1449, #1382, #5729, .T. ) ;
#1425 = ADVANCED_FACE ( 'NONE', ( #5725 ), #5723, .T. ) ;
#1426 = EDGE_LOOP ( 'NONE', ( #1427, #1431, #1434, #1437 ) ) ;
#1427 = ORIENTED_EDGE ( 'NONE', *, *, #1428, .T. ) ;
#1428 = EDGE_CURVE ( 'NONE', #1429, #1430, #5718, .T. ) ;
#1429 = VERTEX_POINT ( 'NONE', #5714 ) ;
#1430 = VERTEX_POINT ( 'NONE', #5777 ) ;
#1431 = ORIENTED_EDGE ( 'NONE', *, *, #1432, .T. ) ;
#1432 = EDGE_CURVE ( 'NONE', #1430, #1433, #5776, .T. ) ;
#1433 = VERTEX_POINT ( 'NONE', #5772 ) ;
#1434 = ORIENTED_EDGE ( 'NONE', *, *, #1435, .T. ) ;
#1435 = EDGE_CURVE ( 'NONE', #1433, #1436, #5771, .T. ) ;
#1436 = VERTEX_POINT ( 'NONE', #5766 ) ;
#1437 = ORIENTED_EDGE ( 'NONE', *, *, #1438, .F. ) ;
#1438 = EDGE_CURVE ( 'NONE', #1429, #1436, #5765, .T. ) ;
#1439 = ADVANCED_FACE ( 'NONE', ( #5761 ), #5759, .T. ) ;
#1440 = EDGE_LOOP ( 'NONE', ( #1400, #1404, #1407, #1410 ) ) ;
#1441 = EDGE_CURVE ( 'NONE', #1442, #1382, #5754, .T. ) ;
#1442 = VERTEX_POINT ( 'NONE', #5750 ) ;
#1443 = ORIENTED_EDGE ( 'NONE', *, *, #1444, .F. ) ;
#1444 = EDGE_CURVE ( 'NONE', #1379, #1442, #5749, .T. ) ;
#1445 = ADVANCED_FACE ( 'NONE', ( #5809 ), #5808, .T. ) ;
#1446 = EDGE_LOOP ( 'NONE', ( #1447, #1415, #1417, #1336 ) ) ;
#1447 = ORIENTED_EDGE ( 'NONE', *, *, #1448, .T. ) ;
#1448 = EDGE_CURVE ( 'NONE', #1449, #1450, #5807, .T. ) ;
#1449 = VERTEX_POINT ( 'NONE', #5798 ) ;
#1450 = VERTEX_POINT ( 'NONE', #5797 ) ;
#1451 = EDGE_CURVE ( 'NONE', #1456, #1192, #5796, .T. ) ;
#1452 = ORIENTED_EDGE ( 'NONE', *, *, #1191, .T. ) ;
#1453 = ORIENTED_EDGE ( 'NONE', *, *, #1454, .F. ) ;
#1454 = EDGE_CURVE ( 'NONE', #1414, #1244, #5792, .T. ) ;
#1455 = ORIENTED_EDGE ( 'NONE', *, *, #1451, .T. ) ;
#1456 = VERTEX_POINT ( 'NONE', #5788 ) ;
#1457 = ORIENTED_EDGE ( 'NONE', *, *, #1458, .F. ) ;
#1458 = EDGE_CURVE ( 'NONE', #1390, #1350, #5787, .T. ) ;
#1459 = ADVANCED_FACE ( 'NONE', ( #5783 ), #5782, .F. ) ;
#1460 = EDGE_LOOP ( 'NONE', ( #1461, #1514, #1515, #1516 ) ) ;
#1461 = ORIENTED_EDGE ( 'NONE', *, *, #1462, .T. ) ;
#1462 = EDGE_CURVE ( 'NONE', #2675, #2437, #5781, .T. ) ;
#1463 = EDGE_CURVE ( 'NONE', #2590, #2434, #5834, .T. ) ;
#1464 = ORIENTED_EDGE ( 'NONE', *, *, #2433, .T. ) ;
#1465 = ORIENTED_EDGE ( 'NONE', *, *, #1356, .F. ) ;
#1466 = ORIENTED_EDGE ( 'NONE', *, *, #1467, .T. ) ;
#1467 = EDGE_CURVE ( 'NONE', #1302, #2590, #5829, .T. ) ;
#1468 = ADVANCED_FACE ( 'NONE', ( #5824 ), #5823, .F. ) ;
#1469 = EDGE_LOOP ( 'NONE', ( #1470, #1473, #1475, #1526 ) ) ;
#1470 = ORIENTED_EDGE ( 'NONE', *, *, #1471, .T. ) ;
#1471 = EDGE_CURVE ( 'NONE', #2443, #1472, #5817, .T. ) ;
#1472 = VERTEX_POINT ( 'NONE', #5813 ) ;
#1473 = ORIENTED_EDGE ( 'NONE', *, *, #1474, .T. ) ;
#1474 = EDGE_CURVE ( 'NONE', #1472, #2466, #5811, .T. ) ;
#1475 = ORIENTED_EDGE ( 'NONE', *, *, #1364, .F. ) ;
#1476 = ORIENTED_EDGE ( 'NONE', *, *, #2421, .F. ) ;
#1477 = ADVANCED_FACE ( 'NONE', ( #5812 ), #5866, .T. ) ;
#1478 = EDGE_LOOP ( 'NONE', ( #1479, #1482, #1484, #1485 ) ) ;
#1479 = ORIENTED_EDGE ( 'NONE', *, *, #1480, .F. ) ;
#1480 = EDGE_CURVE ( 'NONE', #1481, #2544, #5862, .T. ) ;
#1481 = VERTEX_POINT ( 'NONE', #5858 ) ;
#1482 = ORIENTED_EDGE ( 'NONE', *, *, #1483, .F. ) ;
#1483 = EDGE_CURVE ( 'NONE', #1261, #1481, #5857, .T. ) ;
#1484 = ORIENTED_EDGE ( 'NONE', *, *, #1314, .F. ) ;
#1485 = ORIENTED_EDGE ( 'NONE', *, *, #2462, .F. ) ;
#1486 = ADVANCED_FACE ( 'NONE', ( #5853 ), #5852, .F. ) ;
#1487 = EDGE_LOOP ( 'NONE', ( #1488, #1464, #1465, #1466 ) ) ;
#1488 = ORIENTED_EDGE ( 'NONE', *, *, #1463, .T. ) ;
#1489 = VERTEX_POINT ( 'NONE', #5847 ) ;
#1490 = ORIENTED_EDGE ( 'NONE', *, *, #1491, .F. ) ;
#1491 = EDGE_CURVE ( 'NONE', #1394, #1489, #5846, .T. ) ;
#1492 = ADVANCED_FACE ( 'NONE', ( #5842 ), #5840, .F. ) ;
#1493 = EDGE_LOOP ( 'NONE', ( #1494, #1419, #1421, #1422 ) ) ;
#1494 = ORIENTED_EDGE ( 'NONE', *, *, #1495, .T. ) ;
#1495 = EDGE_CURVE ( 'NONE', #1496, #1418, #5905, .T. ) ;
#1496 = VERTEX_POINT ( 'NONE', #5904 ) ;
#1497 = ORIENTED_EDGE ( 'NONE', *, *, #1498, .F. ) ;
#1498 = EDGE_CURVE ( 'NONE', #1521, #2581, #5906, .T. ) ;
#1499 = ADVANCED_FACE ( 'NONE', ( #5896 ), #5388, .T. ) ;
#1500 = EDGE_LOOP ( 'NONE', ( #1501, #1557, #1558, #1560 ) ) ;
#1501 = ORIENTED_EDGE ( 'NONE', *, *, #1556, .F. ) ;
#1502 = ADVANCED_FACE ( 'NONE', ( #5939 ), #5938, .T. ) ;
#1503 = EDGE_LOOP ( 'NONE', ( #1504, #1505, #1506, #1507 ) ) ;
#1504 = ORIENTED_EDGE ( 'NONE', *, *, #2520, .F. ) ;
#1505 = ORIENTED_EDGE ( 'NONE', *, *, #2468, .F. ) ;
#1506 = ORIENTED_EDGE ( 'NONE', *, *, #1474, .F. ) ;
#1507 = ORIENTED_EDGE ( 'NONE', *, *, #1508, .F. ) ;
#1508 = EDGE_CURVE ( 'NONE', #2521, #1472, #5936, .T. ) ;
#1509 = ADVANCED_FACE ( 'NONE', ( #5929 ), #5927, .F. ) ;
#1510 = EDGE_LOOP ( 'NONE', ( #1511, #1512, #1568, #1569 ) ) ;
#1511 = ORIENTED_EDGE ( 'NONE', *, *, #1462, .F. ) ;
#1512 = ORIENTED_EDGE ( 'NONE', *, *, #1513, .T. ) ;
#1513 = EDGE_CURVE ( 'NONE', #2675, #1521, #5923, .T. ) ;
#1514 = ORIENTED_EDGE ( 'NONE', *, *, #2436, .F. ) ;
#1515 = ORIENTED_EDGE ( 'NONE', *, *, #1463, .F. ) ;
#1516 = ORIENTED_EDGE ( 'NONE', *, *, #2677, .F. ) ;
#1517 = ADVANCED_FACE ( 'NONE', ( #5918 ), #5917, .F. ) ;
#1518 = EDGE_LOOP ( 'NONE', ( #1519, #1522, #1524, #1525 ) ) ;
#1519 = ORIENTED_EDGE ( 'NONE', *, *, #1520, .T. ) ;
#1520 = EDGE_CURVE ( 'NONE', #2440, #1521, #5911, .T. ) ;
#1521 = VERTEX_POINT ( 'NONE', #5969 ) ;
#1522 = ORIENTED_EDGE ( 'NONE', *, *, #1523, .F. ) ;
#1523 = EDGE_CURVE ( 'NONE', #1472, #1521, #5968, .T. ) ;
#1524 = ORIENTED_EDGE ( 'NONE', *, *, #1471, .F. ) ;
#1525 = ORIENTED_EDGE ( 'NONE', *, *, #2442, .F. ) ;
#1526 = ORIENTED_EDGE ( 'NONE', *, *, #2445, .T. ) ;
#1527 = ADVANCED_FACE ( 'NONE', ( #5963 ), #5962, .T. ) ;
#1528 = EDGE_LOOP ( 'NONE', ( #1529, #1532, #1533, #1534 ) ) ;
#1529 = ORIENTED_EDGE ( 'NONE', *, *, #1530, .F. ) ;
#1530 = EDGE_CURVE ( 'NONE', #2593, #1531, #5961, .T. ) ;
#1531 = VERTEX_POINT ( 'NONE', #5952 ) ;
#1532 = ORIENTED_EDGE ( 'NONE', *, *, #2592, .F. ) ;
#1533 = ORIENTED_EDGE ( 'NONE', *, *, #1467, .F. ) ;
#1534 = ORIENTED_EDGE ( 'NONE', *, *, #1535, .F. ) ;
#1535 = EDGE_CURVE ( 'NONE', #1531, #1302, #5951, .T. ) ;
#1536 = ORIENTED_EDGE ( 'NONE', *, *, #1498, .T. ) ;
#1537 = ORIENTED_EDGE ( 'NONE', *, *, #2523, .T. ) ;
#1538 = ORIENTED_EDGE ( 'NONE', *, *, #1508, .T. ) ;
#1539 = ADVANCED_FACE ( 'NONE', ( #5947 ), #5946, .F. ) ;
#1540 = EDGE_LOOP ( 'NONE', ( #1541, #1594, #1595, #1597 ) ) ;
#1541 = ORIENTED_EDGE ( 'NONE', *, *, #1360, .T. ) ;
#1542 = ORIENTED_EDGE ( 'NONE', *, *, #720, .F. ) ;
#1543 = ADVANCED_FACE ( 'NONE', ( #5945 ), #5940, .T. ) ;
#1544 = EDGE_LOOP ( 'NONE', ( #1545, #1547, #1548, #1550 ) ) ;
#1545 = ORIENTED_EDGE ( 'NONE', *, *, #1546, .F. ) ;
#1546 = EDGE_CURVE ( 'NONE', #1089, #712, #6004, .T. ) ;
#1547 = ORIENTED_EDGE ( 'NONE', *, *, #1085, .T. ) ;
#1548 = ORIENTED_EDGE ( 'NONE', *, *, #1549, .F. ) ;
#1549 = EDGE_CURVE ( 'NONE', #715, #1083, #5996, .T. ) ;
#1550 = ORIENTED_EDGE ( 'NONE', *, *, #714, .F. ) ;
#1551 = ADVANCED_FACE ( 'NONE', ( #5992 ), #5990, .T. ) ;
#1552 = EDGE_LOOP ( 'NONE', ( #1553, #1555, #1606, #1608 ) ) ;
#1553 = ORIENTED_EDGE ( 'NONE', *, *, #1554, .F. ) ;
#1554 = EDGE_CURVE ( 'NONE', #1043, #781, #5991, .T. ) ;
#1555 = ORIENTED_EDGE ( 'NONE', *, *, #1042, .T. ) ;
#1556 = EDGE_CURVE ( 'NONE', #1074, #775, #5982, .T. ) ;
#1557 = ORIENTED_EDGE ( 'NONE', *, *, #1078, .T. ) ;
#1558 = ORIENTED_EDGE ( 'NONE', *, *, #1559, .F. ) ;
#1559 = EDGE_CURVE ( 'NONE', #778, #1025, #5978, .T. ) ;
#1560 = ORIENTED_EDGE ( 'NONE', *, *, #777, .F. ) ;
#1561 = ADVANCED_FACE ( 'NONE', ( #5973 ), #5972, .T. ) ;
#1562 = EDGE_LOOP ( 'NONE', ( #1563, #1565, #1566, #1542 ) ) ;
#1563 = ORIENTED_EDGE ( 'NONE', *, *, #1564, .F. ) ;
#1564 = EDGE_CURVE ( 'NONE', #1131, #718, #6033, .T. ) ;
#1565 = ORIENTED_EDGE ( 'NONE', *, *, #1117, .T. ) ;
#1566 = ORIENTED_EDGE ( 'NONE', *, *, #1567, .F. ) ;
#1567 = EDGE_CURVE ( 'NONE', #721, #1066, #6026, .T. ) ;
#1568 = ORIENTED_EDGE ( 'NONE', *, *, #1520, .F. ) ;
#1569 = ORIENTED_EDGE ( 'NONE', *, *, #2439, .T. ) ;
#1570 = ADVANCED_FACE ( 'NONE', ( #6022 ), #6020, .T. ) ;
#1571 = EDGE_LOOP ( 'NONE', ( #1572, #1573, #1574, #1497 ) ) ;
#1572 = ORIENTED_EDGE ( 'NONE', *, *, #1513, .F. ) ;
#1573 = ORIENTED_EDGE ( 'NONE', *, *, #2674, .F. ) ;
#1574 = ORIENTED_EDGE ( 'NONE', *, *, #2583, .F. ) ;
#1575 = ADVANCED_FACE ( 'NONE', ( #6015 ), #6021, .T. ) ;
#1576 = EDGE_LOOP ( 'NONE', ( #1577, #1578, #1579, #1580 ) ) ;
#1577 = ORIENTED_EDGE ( 'NONE', *, *, #1559, .T. ) ;
#1578 = ORIENTED_EDGE ( 'NONE', *, *, #1031, .T. ) ;
#1579 = ORIENTED_EDGE ( 'NONE', *, *, #1554, .T. ) ;
#1580 = ORIENTED_EDGE ( 'NONE', *, *, #780, .F. ) ;
#1581 = EDGE_LOOP ( 'NONE', ( #1640, #1641, #1642, #1643 ) ) ;
#1582 = ORIENTED_EDGE ( 'NONE', *, *, #1583, .T. ) ;
#1583 = EDGE_CURVE ( 'NONE', #1481, #1321, #6010, .T. ) ;
#1584 = ORIENTED_EDGE ( 'NONE', *, *, #1325, .T. ) ;
#1585 = ORIENTED_EDGE ( 'NONE', *, *, #1263, .T. ) ;
#1586 = ORIENTED_EDGE ( 'NONE', *, *, #1483, .T. ) ;
#1587 = ADVANCED_FACE ( 'NONE', ( #6005 ), #6067, .T. ) ;
#1588 = EDGE_LOOP ( 'NONE', ( #1589, #1590, #1591, #1592 ) ) ;
#1589 = ORIENTED_EDGE ( 'NONE', *, *, #1549, .T. ) ;
#1590 = ORIENTED_EDGE ( 'NONE', *, *, #1133, .T. ) ;
#1591 = ORIENTED_EDGE ( 'NONE', *, *, #1564, .T. ) ;
#1592 = ORIENTED_EDGE ( 'NONE', *, *, #717, .F. ) ;
#1593 = ADVANCED_FACE ( 'NONE', ( #6062 ), #6061, .T. ) ;
#1594 = ORIENTED_EDGE ( 'NONE', *, *, #1375, .T. ) ;
#1595 = ORIENTED_EDGE ( 'NONE', *, *, #1596, .T. ) ;
#1596 = EDGE_CURVE ( 'NONE', #1373, #1531, #6056, .T. ) ;
#1597 = ORIENTED_EDGE ( 'NONE', *, *, #1535, .T. ) ;
#1598 = ADVANCED_FACE ( 'NONE', ( #6051 ), #6050, .F. ) ;
#1599 = EDGE_LOOP ( 'NONE', ( #1600, #1601, #1602, #1603 ) ) ;
#1600 = ORIENTED_EDGE ( 'NONE', *, *, #1295, .T. ) ;
#1601 = ORIENTED_EDGE ( 'NONE', *, *, #1103, .T. ) ;
#1602 = ORIENTED_EDGE ( 'NONE', *, *, #2508, .T. ) ;
#1603 = ORIENTED_EDGE ( 'NONE', *, *, #1274, .T. ) ;
#1604 = ADVANCED_FACE ( 'NONE', ( #6049 ), #6044, .F. ) ;
#1605 = EDGE_LOOP ( 'NONE', ( #1582, #1584, #1585, #1586 ) ) ;
#1606 = ORIENTED_EDGE ( 'NONE', *, *, #1607, .F. ) ;
#1607 = EDGE_CURVE ( 'NONE', #711, #1040, #6043, .T. ) ;
#1608 = ORIENTED_EDGE ( 'NONE', *, *, #783, .F. ) ;
#1609 = ADVANCED_FACE ( 'NONE', ( #6035 ), #6102, .F. ) ;
#1610 = EDGE_LOOP ( 'NONE', ( #1611, #1536, #1537, #1538 ) ) ;
#1611 = ORIENTED_EDGE ( 'NONE', *, *, #1523, .T. ) ;
#1612 = EDGE_CURVE ( 'NONE', #1613, #1695, #6034, .T. ) ;
#1613 = VERTEX_POINT ( 'NONE', #6093 ) ;
#1614 = ORIENTED_EDGE ( 'NONE', *, *, #1673, .F. ) ;
#1615 = ORIENTED_EDGE ( 'NONE', *, *, #1530, .T. ) ;
#1616 = ORIENTED_EDGE ( 'NONE', *, *, #1596, .F. ) ;
#1617 = ORIENTED_EDGE ( 'NONE', *, *, #1372, .T. ) ;
#1618 = ORIENTED_EDGE ( 'NONE', *, *, #2654, .T. ) ;
#1619 = ADVANCED_FACE ( 'NONE', ( #6092 ), #6091, .F. ) ;
#1620 = EDGE_LOOP ( 'NONE', ( #1621, #1625, #1627, #1628 ) ) ;
#1621 = ORIENTED_EDGE ( 'NONE', *, *, #1622, .F. ) ;
#1622 = EDGE_CURVE ( 'NONE', #1623, #1624, #6085, .T. ) ;
#1623 = VERTEX_POINT ( 'NONE', #6081 ) ;
#1624 = VERTEX_POINT ( 'NONE', #6080 ) ;
#1625 = ORIENTED_EDGE ( 'NONE', *, *, #1626, .T. ) ;
#1626 = EDGE_CURVE ( 'NONE', #1623, #204, #6079, .T. ) ;
#1627 = ORIENTED_EDGE ( 'NONE', *, *, #203, .T. ) ;
#1628 = ORIENTED_EDGE ( 'NONE', *, *, #1686, .F. ) ;
#1629 = ORIENTED_EDGE ( 'NONE', *, *, #1320, .T. ) ;
#1630 = ORIENTED_EDGE ( 'NONE', *, *, #1583, .F. ) ;
#1631 = ORIENTED_EDGE ( 'NONE', *, *, #1480, .T. ) ;
#1632 = ORIENTED_EDGE ( 'NONE', *, *, #2543, .T. ) ;
#1633 = ADVANCED_FACE ( 'NONE', ( #6075 ), #6074, .T. ) ;
#1634 = EDGE_LOOP ( 'NONE', ( #1635, #1636, #1637, #1638, #1615, #1616, #1617, #1618 ) ) ;
#1635 = ORIENTED_EDGE ( 'NONE', *, *, #2742, .F. ) ;
#1636 = ORIENTED_EDGE ( 'NONE', *, *, #2811, .T. ) ;
#1637 = ORIENTED_EDGE ( 'NONE', *, *, #2795, .F. ) ;
#1638 = ORIENTED_EDGE ( 'NONE', *, *, #2595, .T. ) ;
#1639 = ADVANCED_FACE ( 'NONE', ( #6069 ), #6068, .T. ) ;
#1640 = ORIENTED_EDGE ( 'NONE', *, *, #1607, .T. ) ;
#1641 = ORIENTED_EDGE ( 'NONE', *, *, #1091, .T. ) ;
#1642 = ORIENTED_EDGE ( 'NONE', *, *, #1546, .T. ) ;
#1643 = ORIENTED_EDGE ( 'NONE', *, *, #710, .F. ) ;
#1644 = ADVANCED_FACE ( 'NONE', ( #6129 ), #6128, .T. ) ;
#1645 = EDGE_LOOP ( 'NONE', ( #1646, #1647, #1648, #1649, #1629, #1630, #1631, #1632 ) ) ;
#1646 = ORIENTED_EDGE ( 'NONE', *, *, #2773, .F. ) ;
#1647 = ORIENTED_EDGE ( 'NONE', *, *, #2873, .T. ) ;
#1648 = ORIENTED_EDGE ( 'NONE', *, *, #2778, .F. ) ;
#1649 = ORIENTED_EDGE ( 'NONE', *, *, #2551, .T. ) ;
#1650 = EDGE_LOOP ( 'NONE', ( #1651, #1652, #1653, #7159 ) ) ;
#1651 = ORIENTED_EDGE ( 'NONE', *, *, #1567, .T. ) ;
#1652 = ORIENTED_EDGE ( 'NONE', *, *, #1127, .T. ) ;
#1653 = ORIENTED_EDGE ( 'NONE', *, *, #1556, .T. ) ;
#1654 = EDGE_LOOP ( 'NONE', ( #1655, #1656, #1658, #1659, #1715, #1717 ) ) ;
#1655 = ORIENTED_EDGE ( 'NONE', *, *, #138, .F. ) ;
#1656 = ORIENTED_EDGE ( 'NONE', *, *, #1657, .F. ) ;
#1657 = EDGE_CURVE ( 'NONE', #1670, #139, #6123, .T. ) ;
#1658 = ORIENTED_EDGE ( 'NONE', *, *, #1669, .F. ) ;
#1659 = ORIENTED_EDGE ( 'NONE', *, *, #196, .F. ) ;
#1660 = ORIENTED_EDGE ( 'NONE', *, *, #1495, .F. ) ;
#1661 = ORIENTED_EDGE ( 'NONE', *, *, #1340, .F. ) ;
#1662 = ADVANCED_FACE ( 'NONE', ( #6119 ), #6118, .F. ) ;
#1663 = EDGE_LOOP ( 'NONE', ( #1664, #1665, #1667, #1668, #1671, #1727, #1728, #1731 ) ) ;
#1664 = ORIENTED_EDGE ( 'NONE', *, *, #128, .F. ) ;
#1665 = ORIENTED_EDGE ( 'NONE', *, *, #1666, .F. ) ;
#1666 = EDGE_CURVE ( 'NONE', #178, #177, #6112, .T. ) ;
#1667 = ORIENTED_EDGE ( 'NONE', *, *, #199, .T. ) ;
#1668 = ORIENTED_EDGE ( 'NONE', *, *, #1669, .T. ) ;
#1669 = EDGE_CURVE ( 'NONE', #197, #1670, #6108, .T. ) ;
#1670 = VERTEX_POINT ( 'NONE', #6103 ) ;
#1671 = ORIENTED_EDGE ( 'NONE', *, *, #1672, .T. ) ;
#1672 = EDGE_CURVE ( 'NONE', #1670, #1623, #6164, .T. ) ;
#1673 = EDGE_CURVE ( 'NONE', #1674, #1613, #6160, .T. ) ;
#1674 = VERTEX_POINT ( 'NONE', #6156 ) ;
#1675 = ORIENTED_EDGE ( 'NONE', *, *, #1676, .T. ) ;
#1676 = EDGE_CURVE ( 'NONE', #1674, #149, #6155, .T. ) ;
#1677 = ORIENTED_EDGE ( 'NONE', *, *, #148, .T. ) ;
#1678 = ORIENTED_EDGE ( 'NONE', *, *, #1679, .F. ) ;
#1679 = EDGE_CURVE ( 'NONE', #143, #146, #6150, .T. ) ;
#1680 = EDGE_LOOP ( 'NONE', ( #1681, #1684, #1660, #1661 ) ) ;
#1681 = ORIENTED_EDGE ( 'NONE', *, *, #1682, .F. ) ;
#1682 = EDGE_CURVE ( 'NONE', #1683, #1341, #6143, .T. ) ;
#1683 = VERTEX_POINT ( 'NONE', #6144 ) ;
#1684 = ORIENTED_EDGE ( 'NONE', *, *, #1685, .F. ) ;
#1685 = EDGE_CURVE ( 'NONE', #1418, #1683, #6196, .T. ) ;
#1686 = EDGE_CURVE ( 'NONE', #1624, #186, #6195, .T. ) ;
#1687 = ADVANCED_FACE ( 'NONE', ( #6181, #6180 ), #6179, .T. ) ;
#1688 = EDGE_LOOP ( 'NONE', ( #1689, #1690, #1693, #1696, #1614, #1675, #1677, #1678 ) ) ;
#1689 = ORIENTED_EDGE ( 'NONE', *, *, #142, .F. ) ;
#1690 = ORIENTED_EDGE ( 'NONE', *, *, #1691, .T. ) ;
#1691 = EDGE_CURVE ( 'NONE', #140, #1692, #6173, .T. ) ;
#1692 = VERTEX_POINT ( 'NONE', #6169 ) ;
#1693 = ORIENTED_EDGE ( 'NONE', *, *, #1694, .F. ) ;
#1694 = EDGE_CURVE ( 'NONE', #1695, #1692, #6168, .T. ) ;
#1695 = VERTEX_POINT ( 'NONE', #6227 ) ;
#1696 = ORIENTED_EDGE ( 'NONE', *, *, #1612, .F. ) ;
#1697 = ADVANCED_FACE ( 'NONE', ( #6226 ), #6225, .F. ) ;
#1698 = EDGE_LOOP ( 'NONE', ( #1699, #1700, #1702, #1753 ) ) ;
#1699 = ORIENTED_EDGE ( 'NONE', *, *, #1612, .T. ) ;
#1700 = ORIENTED_EDGE ( 'NONE', *, *, #1701, .T. ) ;
#1701 = EDGE_CURVE ( 'NONE', #1695, #191, #6224, .T. ) ;
#1702 = ORIENTED_EDGE ( 'NONE', *, *, #190, .F. ) ;
#1703 = ORIENTED_EDGE ( 'NONE', *, *, #1729, .F. ) ;
#1704 = ORIENTED_EDGE ( 'NONE', *, *, #1686, .T. ) ;
#1705 = ADVANCED_FACE ( 'NONE', ( #6216 ), #6215, .F. ) ;
#1706 = EDGE_LOOP ( 'NONE', ( #1707, #1708, #1710, #1711 ) ) ;
#1707 = ORIENTED_EDGE ( 'NONE', *, *, #1673, .T. ) ;
#1708 = ORIENTED_EDGE ( 'NONE', *, *, #1709, .T. ) ;
#1709 = EDGE_CURVE ( 'NONE', #1613, #188, #6210, .T. ) ;
#1710 = ORIENTED_EDGE ( 'NONE', *, *, #187, .F. ) ;
#1711 = ORIENTED_EDGE ( 'NONE', *, *, #1712, .F. ) ;
#1712 = EDGE_CURVE ( 'NONE', #1674, #132, #6206, .T. ) ;
#1713 = ADVANCED_FACE ( 'NONE', ( #6202 ), #6201, .T. ) ;
#1714 = EDGE_LOOP ( 'NONE', ( #1766, #1767, #1768, #1769, #1770, #1771 ) ) ;
#1715 = ORIENTED_EDGE ( 'NONE', *, *, #1716, .F. ) ;
#1716 = EDGE_CURVE ( 'NONE', #1692, #194, #6261, .T. ) ;
#1717 = ORIENTED_EDGE ( 'NONE', *, *, #1691, .F. ) ;
#1718 = ADVANCED_FACE ( 'NONE', ( #6257 ), #6256, .T. ) ;
#1719 = EDGE_LOOP ( 'NONE', ( #1720, #1721 ) ) ;
#1720 = ORIENTED_EDGE ( 'NONE', *, *, #1666, .T. ) ;
#1721 = ORIENTED_EDGE ( 'NONE', *, *, #180, .T. ) ;
#1722 = ADVANCED_FACE ( 'NONE', ( #6251 ), #6250, .F. ) ;
#1723 = EDGE_LOOP ( 'NONE', ( #1724, #1725, #1703, #1704 ) ) ;
#1724 = ORIENTED_EDGE ( 'NONE', *, *, #185, .T. ) ;
#1725 = ORIENTED_EDGE ( 'NONE', *, *, #1726, .F. ) ;
#1726 = EDGE_CURVE ( 'NONE', #1730, #183, #6245, .T. ) ;
#1727 = ORIENTED_EDGE ( 'NONE', *, *, #1622, .T. ) ;
#1728 = ORIENTED_EDGE ( 'NONE', *, *, #1729, .T. ) ;
#1729 = EDGE_CURVE ( 'NONE', #1624, #1730, #6241, .T. ) ;
#1730 = VERTEX_POINT ( 'NONE', #6237 ) ;
#1731 = ORIENTED_EDGE ( 'NONE', *, *, #1732, .F. ) ;
#1732 = EDGE_CURVE ( 'NONE', #129, #1730, #6236, .T. ) ;
#1733 = ADVANCED_FACE ( 'NONE', ( #6231 ), #6230, .F. ) ;
#1734 = ORIENTED_EDGE ( 'NONE', *, *, #1735, .T. ) ;
#1735 = EDGE_CURVE ( 'NONE', #1811, #249, #6294, .T. ) ;
#1736 = ADVANCED_FACE ( 'NONE', ( #6290 ), #6289, .F. ) ;
#1737 = EDGE_LOOP ( 'NONE', ( #1738, #1739, #1740 ) ) ;
#1738 = ORIENTED_EDGE ( 'NONE', *, *, #252, .T. ) ;
#1739 = ORIENTED_EDGE ( 'NONE', *, *, #1735, .F. ) ;
#1740 = ORIENTED_EDGE ( 'NONE', *, *, #1741, .F. ) ;
#1741 = EDGE_CURVE ( 'NONE', #253, #1811, #6284, .T. ) ;
#1742 = ORIENTED_EDGE ( 'NONE', *, *, #1743, .T. ) ;
#1743 = EDGE_CURVE ( 'NONE', #1390, #1389, #6280, .T. ) ;
#1744 = ORIENTED_EDGE ( 'NONE', *, *, #1388, .T. ) ;
#1745 = EDGE_LOOP ( 'NONE', ( #1746, #1747, #1748, #1749 ) ) ;
#1746 = ORIENTED_EDGE ( 'NONE', *, *, #206, .T. ) ;
#1747 = ORIENTED_EDGE ( 'NONE', *, *, #1626, .F. ) ;
#1748 = ORIENTED_EDGE ( 'NONE', *, *, #1672, .F. ) ;
#1749 = ORIENTED_EDGE ( 'NONE', *, *, #1657, .T. ) ;
#1750 = ADVANCED_FACE ( 'NONE', ( #6275 ), #6274, .F. ) ;
#1751 = EDGE_LOOP ( 'NONE', ( #1752, #1806, #1809, #1734 ) ) ;
#1752 = ORIENTED_EDGE ( 'NONE', *, *, #248, .T. ) ;
#1753 = ORIENTED_EDGE ( 'NONE', *, *, #1709, .F. ) ;
#1754 = ADVANCED_FACE ( 'NONE', ( #6268, #6267 ), #6273, .F. ) ;
#1755 = EDGE_LOOP ( 'NONE', ( #1756, #1757 ) ) ;
#1756 = ORIENTED_EDGE ( 'NONE', *, *, #1428, .F. ) ;
#1757 = ORIENTED_EDGE ( 'NONE', *, *, #1758, .F. ) ;
#1758 = EDGE_CURVE ( 'NONE', #1430, #1429, #6266, .T. ) ;
#1759 = EDGE_LOOP ( 'NONE', ( #1760, #1761, #1762, #1763 ) ) ;
#1760 = ORIENTED_EDGE ( 'NONE', *, *, #1694, .T. ) ;
#1761 = ORIENTED_EDGE ( 'NONE', *, *, #1716, .T. ) ;
#1762 = ORIENTED_EDGE ( 'NONE', *, *, #193, .F. ) ;
#1763 = ORIENTED_EDGE ( 'NONE', *, *, #1701, .F. ) ;
#1764 = ADVANCED_FACE ( 'NONE', ( #6323, #6322 ), #6321, .F. ) ;
#1765 = EDGE_LOOP ( 'NONE', ( #1742, #1744 ) ) ;
#1766 = ORIENTED_EDGE ( 'NONE', *, *, #1712, .T. ) ;
#1767 = ORIENTED_EDGE ( 'NONE', *, *, #131, .T. ) ;
#1768 = ORIENTED_EDGE ( 'NONE', *, *, #1732, .T. ) ;
#1769 = ORIENTED_EDGE ( 'NONE', *, *, #1726, .T. ) ;
#1770 = ORIENTED_EDGE ( 'NONE', *, *, #182, .F. ) ;
#1771 = ORIENTED_EDGE ( 'NONE', *, *, #1676, .F. ) ;
#1772 = EDGE_LOOP ( 'NONE', ( #1773, #1774, #1775 ) ) ;
#1773 = ORIENTED_EDGE ( 'NONE', *, *, #1420, .F. ) ;
#1774 = ORIENTED_EDGE ( 'NONE', *, *, #1685, .T. ) ;
#1775 = ORIENTED_EDGE ( 'NONE', *, *, #1776, .T. ) ;
#1776 = EDGE_CURVE ( 'NONE', #1683, #1409, #6316, .T. ) ;
#1777 = ADVANCED_FACE ( 'NONE', ( #6311 ), #6310, .F. ) ;
#1778 = EDGE_LOOP ( 'NONE', ( #1779, #1780, #1782, #1831 ) ) ;
#1779 = ORIENTED_EDGE ( 'NONE', *, *, #1396, .F. ) ;
#1780 = ORIENTED_EDGE ( 'NONE', *, *, #1781, .F. ) ;
#1781 = EDGE_CURVE ( 'NONE', #1394, #1393, #6309, .T. ) ;
#1782 = ORIENTED_EDGE ( 'NONE', *, *, #1491, .T. ) ;
#1783 = ORIENTED_EDGE ( 'NONE', *, *, #1797, .T. ) ;
#1784 = ORIENTED_EDGE ( 'NONE', *, *, #175, .F. ) ;
#1785 = ORIENTED_EDGE ( 'NONE', *, *, #1786, .F. ) ;
#1786 = EDGE_CURVE ( 'NONE', #1450, #173, #6299, .T. ) ;
#1787 = ORIENTED_EDGE ( 'NONE', *, *, #1448, .F. ) ;
#1788 = ADVANCED_FACE ( 'NONE', ( #6300 ), #6356, .F. ) ;
#1789 = EDGE_LOOP ( 'NONE', ( #1790, #1791, #1792, #1845 ) ) ;
#1790 = ORIENTED_EDGE ( 'NONE', *, *, #1346, .F. ) ;
#1791 = ORIENTED_EDGE ( 'NONE', *, *, #1743, .F. ) ;
#1792 = ORIENTED_EDGE ( 'NONE', *, *, #1458, .T. ) ;
#1793 = ADVANCED_FACE ( 'NONE', ( #6352 ), #6357, .F. ) ;
#1794 = EDGE_LOOP ( 'NONE', ( #1795, #1796, #1798 ) ) ;
#1795 = ORIENTED_EDGE ( 'NONE', *, *, #135, .T. ) ;
#1796 = ORIENTED_EDGE ( 'NONE', *, *, #1797, .F. ) ;
#1797 = EDGE_CURVE ( 'NONE', #1808, #176, #6347, .T. ) ;
#1798 = ORIENTED_EDGE ( 'NONE', *, *, #1807, .T. ) ;
#1799 = ADVANCED_FACE ( 'NONE', ( #6343 ), #6342, .T. ) ;
#1800 = EDGE_LOOP ( 'NONE', ( #1801, #1803, #1804, #1805, #1783, #1784, #1785, #1787 ) ) ;
#1801 = ORIENTED_EDGE ( 'NONE', *, *, #1802, .F. ) ;
#1802 = EDGE_CURVE ( 'NONE', #256, #1449, #6337, .T. ) ;
#1803 = ORIENTED_EDGE ( 'NONE', *, *, #255, .F. ) ;
#1804 = ORIENTED_EDGE ( 'NONE', *, *, #1741, .T. ) ;
#1805 = ORIENTED_EDGE ( 'NONE', *, *, #1810, .T. ) ;
#1806 = ORIENTED_EDGE ( 'NONE', *, *, #1807, .F. ) ;
#1807 = EDGE_CURVE ( 'NONE', #1808, #250, #6332, .T. ) ;
#1808 = VERTEX_POINT ( 'NONE', #6328 ) ;
#1809 = ORIENTED_EDGE ( 'NONE', *, *, #1810, .F. ) ;
#1810 = EDGE_CURVE ( 'NONE', #1811, #1808, #6391, .T. ) ;
#1811 = VERTEX_POINT ( 'NONE', #6386 ) ;
#1812 = ORIENTED_EDGE ( 'NONE', *, *, #1813, .F. ) ;
#1813 = EDGE_CURVE ( 'NONE', #1436, #1433, #6385, .T. ) ;
#1814 = ORIENTED_EDGE ( 'NONE', *, *, #1435, .F. ) ;
#1815 = EDGE_LOOP ( 'NONE', ( #1816, #1817 ) ) ;
#1816 = ORIENTED_EDGE ( 'NONE', *, *, #1349, .T. ) ;
#1817 = ORIENTED_EDGE ( 'NONE', *, *, #1846, .T. ) ;
#1818 = ADVANCED_FACE ( 'NONE', ( #6380 ), #6379, .T. ) ;
#1819 = EDGE_LOOP ( 'NONE', ( #1820, #1870, #1871, #1872 ) ) ;
#1820 = ORIENTED_EDGE ( 'NONE', *, *, #1432, .F. ) ;
#1821 = ADVANCED_FACE ( 'NONE', ( #6378 ), #6373, .T. ) ;
#1822 = ORIENTED_EDGE ( 'NONE', *, *, #1405, .F. ) ;
#1823 = ORIENTED_EDGE ( 'NONE', *, *, #1842, .F. ) ;
#1824 = ORIENTED_EDGE ( 'NONE', *, *, #1411, .T. ) ;
#1825 = ORIENTED_EDGE ( 'NONE', *, *, #1776, .F. ) ;
#1826 = ORIENTED_EDGE ( 'NONE', *, *, #1827, .F. ) ;
#1827 = EDGE_CURVE ( 'NONE', #1341, #1683, #6367, .T. ) ;
#1828 = ORIENTED_EDGE ( 'NONE', *, *, #1384, .F. ) ;
#1829 = ADVANCED_FACE ( 'NONE', ( #6363 ), #6362, .T. ) ;
#1830 = EDGE_LOOP ( 'NONE', ( #1883, #1884 ) ) ;
#1831 = ORIENTED_EDGE ( 'NONE', *, *, #2755, .T. ) ;
#1832 = ADVANCED_FACE ( 'NONE', ( #6361, #6420 ), #6419, .T. ) ;
#1833 = EDGE_LOOP ( 'NONE', ( #1834, #1835 ) ) ;
#1834 = ORIENTED_EDGE ( 'NONE', *, *, #145, .T. ) ;
#1835 = ORIENTED_EDGE ( 'NONE', *, *, #1679, .T. ) ;
#1836 = EDGE_LOOP ( 'NONE', ( #1837, #1838 ) ) ;
#1837 = ORIENTED_EDGE ( 'NONE', *, *, #1781, .T. ) ;
#1838 = ORIENTED_EDGE ( 'NONE', *, *, #1392, .T. ) ;
#1839 = ADVANCED_FACE ( 'NONE', ( #6414 ), #6413, .T. ) ;
#1840 = EDGE_LOOP ( 'NONE', ( #1841, #1843 ) ) ;
#1841 = ORIENTED_EDGE ( 'NONE', *, *, #1842, .T. ) ;
#1842 = EDGE_CURVE ( 'NONE', #1403, #1402, #6408, .T. ) ;
#1843 = ORIENTED_EDGE ( 'NONE', *, *, #1401, .T. ) ;
#1844 = EDGE_LOOP ( 'NONE', ( #1822, #1823, #1824, #1825, #1826, #1828 ) ) ;
#1845 = ORIENTED_EDGE ( 'NONE', *, *, #1846, .F. ) ;
#1846 = EDGE_CURVE ( 'NONE', #1347, #1350, #6403, .T. ) ;
#1847 = ADVANCED_FACE ( 'NONE', ( #6398 ), #6397, .F. ) ;
#1848 = ORIENTED_EDGE ( 'NONE', *, *, #1849, .F. ) ;
#1849 = EDGE_CURVE ( 'NONE', #1850, #1851, #6145, .T. ) ;
#1850 = VERTEX_POINT ( 'NONE', #6456 ) ;
#1851 = VERTEX_POINT ( 'NONE', #6455 ) ;
#1852 = ORIENTED_EDGE ( 'NONE', *, *, #1904, .F. ) ;
#1853 = VERTEX_POINT ( 'NONE', #6454 ) ;
#1854 = ORIENTED_EDGE ( 'NONE', *, *, #1855, .F. ) ;
#1855 = EDGE_CURVE ( 'NONE', #7301, #7319, #6453, .T. ) ;
#1856 = ADVANCED_FACE ( 'NONE', ( #6448 ), #6447, .T. ) ;
#1857 = EDGE_LOOP ( 'NONE', ( #1858, #1859 ) ) ;
#1858 = ORIENTED_EDGE ( 'NONE', *, *, #7318, .T. ) ;
#1859 = ORIENTED_EDGE ( 'NONE', *, *, #1860, .F. ) ;
#1860 = EDGE_CURVE ( 'NONE', #7319, #7336, #6442, .T. ) ;
#1861 = ADVANCED_FACE ( 'NONE', ( #6437 ), #6436, .F. ) ;
#1862 = EDGE_LOOP ( 'NONE', ( #1863, #1864, #1865, #1866, #1918, #1919 ) ) ;
#1863 = ORIENTED_EDGE ( 'NONE', *, *, #1222, .F. ) ;
#1864 = ORIENTED_EDGE ( 'NONE', *, *, #1141, .T. ) ;
#1865 = ORIENTED_EDGE ( 'NONE', *, *, #7346, .T. ) ;
#1866 = ORIENTED_EDGE ( 'NONE', *, *, #1855, .T. ) ;
#1867 = EDGE_CURVE ( 'NONE', #2018, #1986, #6435, .T. ) ;
#1868 = ORIENTED_EDGE ( 'NONE', *, *, #1945, .F. ) ;
#1869 = ORIENTED_EDGE ( 'NONE', *, *, #1867, .T. ) ;
#1870 = ORIENTED_EDGE ( 'NONE', *, *, #1758, .T. ) ;
#1871 = ORIENTED_EDGE ( 'NONE', *, *, #1438, .T. ) ;
#1872 = ORIENTED_EDGE ( 'NONE', *, *, #1813, .T. ) ;
#1873 = ADVANCED_FACE ( 'NONE', ( #6430 ), #6425, .F. ) ;
#1874 = EDGE_LOOP ( 'NONE', ( #1875, #1876 ) ) ;
#1875 = ORIENTED_EDGE ( 'NONE', *, *, #258, .F. ) ;
#1876 = ORIENTED_EDGE ( 'NONE', *, *, #1877, .F. ) ;
#1877 = EDGE_CURVE ( 'NONE', #173, #256, #6485, .T. ) ;
#1878 = ADVANCED_FACE ( 'NONE', ( #6480 ), #6479, .T. ) ;
#1879 = EDGE_LOOP ( 'NONE', ( #1880, #1881, #1882, #7215, #7216, #7217 ) ) ;
#1880 = ORIENTED_EDGE ( 'NONE', *, *, #1416, .F. ) ;
#1881 = ORIENTED_EDGE ( 'NONE', *, *, #1786, .T. ) ;
#1882 = ORIENTED_EDGE ( 'NONE', *, *, #1877, .T. ) ;
#1883 = ORIENTED_EDGE ( 'NONE', *, *, #1682, .T. ) ;
#1884 = ORIENTED_EDGE ( 'NONE', *, *, #1827, .T. ) ;
#1885 = ADVANCED_FACE ( 'NONE', ( #6473, #6472 ), #6478, .F. ) ;
#1886 = EDGE_LOOP ( 'NONE', ( #1812, #1814 ) ) ;
#1887 = EDGE_CURVE ( 'NONE', #1964, #1907, #6467, .T. ) ;
#1888 = ORIENTED_EDGE ( 'NONE', *, *, #1906, .T. ) ;
#1889 = ORIENTED_EDGE ( 'NONE', *, *, #1901, .F. ) ;
#1890 = ADVANCED_FACE ( 'NONE', ( #6463 ), #6462, .F. ) ;
#1891 = EDGE_LOOP ( 'NONE', ( #1944, #1947, #1949, #1950 ) ) ;
#1892 = ORIENTED_EDGE ( 'NONE', *, *, #1210, .F. ) ;
#1893 = ORIENTED_EDGE ( 'NONE', *, *, #2472, .T. ) ;
#1894 = ORIENTED_EDGE ( 'NONE', *, *, #1213, .T. ) ;
#1895 = ORIENTED_EDGE ( 'NONE', *, *, #1896, .T. ) ;
#1896 = EDGE_CURVE ( 'NONE', #1184, #1187, #6457, .T. ) ;
#1897 = ADVANCED_FACE ( 'NONE', ( #6521 ), #6516, .F. ) ;
#1898 = EDGE_LOOP ( 'NONE', ( #1899, #1900, #1902, #1903 ) ) ;
#1899 = ORIENTED_EDGE ( 'NONE', *, *, #1246, .T. ) ;
#1900 = ORIENTED_EDGE ( 'NONE', *, *, #1901, .T. ) ;
#1901 = EDGE_CURVE ( 'NONE', #1202, #1853, #6511, .T. ) ;
#1902 = ORIENTED_EDGE ( 'NONE', *, *, #1904, .T. ) ;
#1903 = ORIENTED_EDGE ( 'NONE', *, *, #1958, .F. ) ;
#1904 = EDGE_CURVE ( 'NONE', #1853, #1850, #6507, .T. ) ;
#1905 = ORIENTED_EDGE ( 'NONE', *, *, #1906, .F. ) ;
#1906 = EDGE_CURVE ( 'NONE', #1907, #1853, #6503, .T. ) ;
#1907 = VERTEX_POINT ( 'NONE', #6499 ) ;
#1908 = ORIENTED_EDGE ( 'NONE', *, *, #1909, .F. ) ;
#1909 = EDGE_CURVE ( 'NONE', #1910, #1907, #6498, .T. ) ;
#1910 = VERTEX_POINT ( 'NONE', #6494 ) ;
#1911 = ORIENTED_EDGE ( 'NONE', *, *, #1912, .F. ) ;
#1912 = EDGE_CURVE ( 'NONE', #1913, #1910, #6493, .T. ) ;
#1913 = VERTEX_POINT ( 'NONE', #6551 ) ;
#1914 = ORIENTED_EDGE ( 'NONE', *, *, #1915, .F. ) ;
#1915 = EDGE_CURVE ( 'NONE', #1851, #1913, #6550, .T. ) ;
#1916 = ADVANCED_FACE ( 'NONE', ( #6546 ), #6544, .T. ) ;
#1917 = EDGE_LOOP ( 'NONE', ( #1892, #1893, #1894, #1895 ) ) ;
#1918 = ORIENTED_EDGE ( 'NONE', *, *, #1860, .T. ) ;
#1919 = ORIENTED_EDGE ( 'NONE', *, *, #7359, .T. ) ;
#1920 = ADVANCED_FACE ( 'NONE', ( #6539, #6538 ), #6545, .F. ) ;
#1921 = EDGE_LOOP ( 'NONE', ( #1922, #1924 ) ) ;
#1922 = ORIENTED_EDGE ( 'NONE', *, *, #1923, .T. ) ;
#1923 = EDGE_CURVE ( 'NONE', #1181, #1180, #6533, .T. ) ;
#1924 = ORIENTED_EDGE ( 'NONE', *, *, #1179, .T. ) ;
#1925 = EDGE_LOOP ( 'NONE', ( #1848, #1852, #1905, #1908, #1911, #1914 ) ) ;
#1926 = EDGE_LOOP ( 'NONE', ( #1927, #1928, #1929, #1930, #1868, #1994 ) ) ;
#1927 = ORIENTED_EDGE ( 'NONE', *, *, #1198, .F. ) ;
#1928 = ORIENTED_EDGE ( 'NONE', *, *, #1152, .T. ) ;
#1929 = ORIENTED_EDGE ( 'NONE', *, *, #1936, .F. ) ;
#1930 = ORIENTED_EDGE ( 'NONE', *, *, #1954, .F. ) ;
#1931 = ORIENTED_EDGE ( 'NONE', *, *, #1912, .T. ) ;
#1932 = ORIENTED_EDGE ( 'NONE', *, *, #1948, .F. ) ;
#1933 = ADVANCED_FACE ( 'NONE', ( #6528 ), #6527, .F. ) ;
#1934 = EDGE_LOOP ( 'NONE', ( #1935, #1937, #1938, #1940, #1941 ) ) ;
#1935 = ORIENTED_EDGE ( 'NONE', *, *, #1936, .T. ) ;
#1936 = EDGE_CURVE ( 'NONE', #1955, #1154, #6522, .T. ) ;
#1937 = ORIENTED_EDGE ( 'NONE', *, *, #1252, .T. ) ;
#1938 = ORIENTED_EDGE ( 'NONE', *, *, #1939, .T. ) ;
#1939 = EDGE_CURVE ( 'NONE', #1250, #1851, #6580, .T. ) ;
#1940 = ORIENTED_EDGE ( 'NONE', *, *, #1915, .T. ) ;
#1941 = ORIENTED_EDGE ( 'NONE', *, *, #1957, .F. ) ;
#1942 = ADVANCED_FACE ( 'NONE', ( #6570 ), #6569, .F. ) ;
#1943 = EDGE_LOOP ( 'NONE', ( #2001, #2002, #2003, #2004 ) ) ;
#1944 = ORIENTED_EDGE ( 'NONE', *, *, #1945, .T. ) ;
#1945 = EDGE_CURVE ( 'NONE', #1964, #1946, #6564, .T. ) ;
#1946 = VERTEX_POINT ( 'NONE', #6563 ) ;
#1947 = ORIENTED_EDGE ( 'NONE', *, *, #1948, .T. ) ;
#1948 = EDGE_CURVE ( 'NONE', #1946, #1910, #6556, .T. ) ;
#1949 = ORIENTED_EDGE ( 'NONE', *, *, #1909, .T. ) ;
#1950 = ORIENTED_EDGE ( 'NONE', *, *, #1887, .F. ) ;
#1951 = ADVANCED_FACE ( 'NONE', ( #6552 ), #6609, .F. ) ;
#1952 = EDGE_LOOP ( 'NONE', ( #1953, #1956, #1931, #1932 ) ) ;
#1953 = ORIENTED_EDGE ( 'NONE', *, *, #1954, .T. ) ;
#1954 = EDGE_CURVE ( 'NONE', #1946, #1955, #6604, .T. ) ;
#1955 = VERTEX_POINT ( 'NONE', #6603 ) ;
#1956 = ORIENTED_EDGE ( 'NONE', *, *, #1957, .T. ) ;
#1957 = EDGE_CURVE ( 'NONE', #1955, #1913, #6596, .T. ) ;
#1958 = EDGE_CURVE ( 'NONE', #1247, #1850, #6592, .T. ) ;
#1959 = ADVANCED_FACE ( 'NONE', ( #6588 ), #6587, .F. ) ;
#1960 = EDGE_LOOP ( 'NONE', ( #1961, #1962, #1965, #1888, #1889 ) ) ;
#1961 = ORIENTED_EDGE ( 'NONE', *, *, #1201, .T. ) ;
#1962 = ORIENTED_EDGE ( 'NONE', *, *, #1963, .T. ) ;
#1963 = EDGE_CURVE ( 'NONE', #1199, #1964, #6581, .T. ) ;
#1964 = VERTEX_POINT ( 'NONE', #6639 ) ;
#1965 = ORIENTED_EDGE ( 'NONE', *, *, #1887, .T. ) ;
#1966 = VERTEX_POINT ( 'NONE', #6582 ) ;
#1967 = ORIENTED_EDGE ( 'NONE', *, *, #1968, .F. ) ;
#1968 = EDGE_CURVE ( 'NONE', #1969, #1966, #6632, .T. ) ;
#1969 = VERTEX_POINT ( 'NONE', #6628 ) ;
#1970 = ORIENTED_EDGE ( 'NONE', *, *, #1971, .T. ) ;
#1971 = EDGE_CURVE ( 'NONE', #1969, #2007, #6626, .T. ) ;
#1972 = ORIENTED_EDGE ( 'NONE', *, *, #1973, .T. ) ;
#1973 = EDGE_CURVE ( 'NONE', #1976, #1978, #6627, .T. ) ;
#1974 = ORIENTED_EDGE ( 'NONE', *, *, #1975, .F. ) ;
#1975 = EDGE_CURVE ( 'NONE', #2014, #1986, #6618, .T. ) ;
#1976 = VERTEX_POINT ( 'NONE', #6614 ) ;
#1977 = EDGE_LOOP ( 'NONE', ( #1980, #1972, #1983, #1989 ) ) ;
#1978 = VERTEX_POINT ( 'NONE', #6613 ) ;
#1979 = VERTEX_POINT ( 'NONE', #6612 ) ;
#1980 = ORIENTED_EDGE ( 'NONE', *, *, #1982, .F. ) ;
#1981 = VERTEX_POINT ( 'NONE', #6611 ) ;
#1982 = EDGE_CURVE ( 'NONE', #1976, #1979, #6610, .T. ) ;
#1983 = ORIENTED_EDGE ( 'NONE', *, *, #1984, .T. ) ;
#1984 = EDGE_CURVE ( 'NONE', #1978, #1981, #6666, .T. ) ;
#1985 = ADVANCED_FACE ( 'NONE', ( #6661 ), #6660, .F. ) ;
#1986 = VERTEX_POINT ( 'NONE', #6655 ) ;
#1987 = ORIENTED_EDGE ( 'NONE', *, *, #1988, .F. ) ;
#1988 = EDGE_CURVE ( 'NONE', #2962, #3031, #6654, .T. ) ;
#1989 = ORIENTED_EDGE ( 'NONE', *, *, #1990, .F. ) ;
#1990 = EDGE_CURVE ( 'NONE', #1979, #1981, #6649, .T. ) ;
#1991 = EDGE_LOOP ( 'NONE', ( #1987, #3032, #2965, #3028 ) ) ;
#1992 = ADVANCED_FACE ( 'NONE', ( #6645 ), #6644, .F. ) ;
#1993 = CLOSED_SHELL ( 'NONE', ( #1897, #1150, #1942, #1920, #1959, #2005, #1933, #1175, #1995, #1890, #1951, #1203, #1916, #2485, #2557, #2923, #2939, #2933, #2834, #2817, #1296, #1120, #1644, #2638, #1317, #2839, #2505, #2775, #2668, #2473, #2397, #1104, #1285, #1598, #1604, #1477, #2868, #2790, #2010, #2898, #2944, #2888, #2601, #2828, #2883, #2823, #2083, #2951, #1985, #2893, #2053, #1268, #1633, #2803, #1275, #1369, #2733, #1195, #2516, #1502, #1361, #7297, #272, #1032, #1299, #1517, #1486, #1277, #1309, #49, #7649, #2306, #1509, #7508, #101, #1459, #1112, #1062, #1128, #1326, #1468, #2006, #1021, #1335, #2856, #2291, #2744, #1527, #1570, #2205, #2806, #1539, #1236, #1609, #7272, #2929, #286, #7581, #1639, #7523, #1036, #1079, #111, #7502, #2391, #323, #66, #2314, #1058, #1593, #1096, #1587, #2065, #1575, #3000, #2672, #2164, #2134, #2154, #7277, #335, #1543, #666, #1551, #7514, #7656, #2281, #1561, #1499, #2226, #2125, #2144, #7314, #7322, #7371, #7364, #7304, #7329, #238, #222, #231, #296, #2979, #279, #11685, #466, #11652, #738, #494, #21, #480, #207, #7156, #429, #7488, #7470, #7495, #303, #7464, #7479, #7607, #7591, #7600, #7543, #7550, #7561, #2369, #2402, #2352, #2298, #2336, #2359, #2333, #2959, #2579, #1856, #7348, #7360, #7338, #7342, #7354, #2991, #2026, #540, #424, #1010, #489, #475, #331, #46, #7565, #152, #2408, #2842, #2198, #2243, #2181, #2235, #2190, #2251, #2910, #1861, #1138, #965, #7869, #508, #8086, #7958, #925, #7751, #7802, #562, #345, #7782, #8083, #957, #752, #381, #8119, #890, #870, #7988, #457, #7918, #568, #7799, #7819, #7766, #7905, #7951, #807, #7912, #339, #786, #8077, #2219, #2104, #2875, #1992, #1003, #364, #503, #822, #880, #8111, #8042, #7661, #887, #7997, #901, #970, #7980, #910, #7696, #818, #578, #812, #801, #525, #797, #380, #854, #790, #7729, #7845, #7679, #8034, #8016, #938, #7713, #390, #398, #844, #833, #826, #860, #919, #931, #1049, #947, #7883, #7631, #7872, #1055, #954, #7865, #7644, #2535, #3035, #2752, #625, #7389, #7293, #1412, #1777, #705, #1832, #7374, #674, #1687, #200, #764, #1829, #1713, #1697, #1337, #1847, #1705, #1754, #1492, #1733, #1722, #1619, #1764, #1793, #1736, #1750, #1873, #1799, #7414, #691, #1821, #1376, #1662, #1818, #1425, #1439, #1788, #1385, #1878, #1445, #13, #641, #1839, #1718, #1885, #7233, #1352, #771, #7219, #6, #658, #7187, #7170, #7242, #7250, #7179, #7197, #685, #7453, #7225, #11690, #594, #651, #602, #589, #8127, #700, #607 ) ) ;
#1994 = ORIENTED_EDGE ( 'NONE', *, *, #1963, .F. ) ;
#1995 = ADVANCED_FACE ( 'NONE', ( #6142 ), #6700, .T. ) ;
#1996 = EDGE_LOOP ( 'NONE', ( #1997, #1998, #1999, #2000 ) ) ;
#1997 = ORIENTED_EDGE ( 'NONE', *, *, #1183, .F. ) ;
#1998 = ORIENTED_EDGE ( 'NONE', *, *, #1923, .F. ) ;
#1999 = ORIENTED_EDGE ( 'NONE', *, *, #1149, .T. ) ;
#2000 = ORIENTED_EDGE ( 'NONE', *, *, #1896, .F. ) ;
#2001 = ORIENTED_EDGE ( 'NONE', *, *, #1249, .T. ) ;
#2002 = ORIENTED_EDGE ( 'NONE', *, *, #1958, .T. ) ;
#2003 = ORIENTED_EDGE ( 'NONE', *, *, #1849, .T. ) ;
#2004 = ORIENTED_EDGE ( 'NONE', *, *, #1939, .F. ) ;
#2005 = ADVANCED_FACE ( 'NONE', ( #6695 ), #6694, .F. ) ;
#2006 = ADVANCED_FACE ( 'NONE', ( #6689 ), #6688, .T. ) ;
#2007 = VERTEX_POINT ( 'NONE', #6684 ) ;
#2008 = ORIENTED_EDGE ( 'NONE', *, *, #2009, .F. ) ;
#2009 = EDGE_CURVE ( 'NONE', #2087, #2025, #6683, .T. ) ;
#2010 = ADVANCED_FACE ( 'NONE', ( #6679 ), #6678, .F. ) ;
#2011 = EDGE_LOOP ( 'NONE', ( #2012, #2016, #1869, #1974 ) ) ;
#2012 = ORIENTED_EDGE ( 'NONE', *, *, #2013, .T. ) ;
#2013 = EDGE_CURVE ( 'NONE', #2014, #2015, #6672, .T. ) ;
#2014 = VERTEX_POINT ( 'NONE', #6731 ) ;
#2015 = VERTEX_POINT ( 'NONE', #6730 ) ;
#2016 = ORIENTED_EDGE ( 'NONE', *, *, #2017, .T. ) ;
#2017 = EDGE_CURVE ( 'NONE', #2015, #2018, #6729, .T. ) ;
#2018 = VERTEX_POINT ( 'NONE', #6725 ) ;
#2019 = ORIENTED_EDGE ( 'NONE', *, *, #171, .F. ) ;
#2020 = ORIENTED_EDGE ( 'NONE', *, *, #2021, .T. ) ;
#2021 = EDGE_CURVE ( 'NONE', #2088, #2022, #6724, .T. ) ;
#2022 = VERTEX_POINT ( 'NONE', #6720 ) ;
#2023 = ORIENTED_EDGE ( 'NONE', *, *, #2024, .T. ) ;
#2024 = EDGE_CURVE ( 'NONE', #2022, #2025, #6719, .T. ) ;
#2025 = VERTEX_POINT ( 'NONE', #6714 ) ;
#2026 = ADVANCED_FACE ( 'NONE', ( #6713 ), #6710, .F. ) ;
#2027 = EDGE_LOOP ( 'NONE', ( #2028, #2032, #2035, #2038, #2060, #2063 ) ) ;
#2028 = ORIENTED_EDGE ( 'NONE', *, *, #2029, .F. ) ;
#2029 = EDGE_CURVE ( 'NONE', #2030, #2031, #6711, .T. ) ;
#2030 = VERTEX_POINT ( 'NONE', #6702 ) ;
#2031 = VERTEX_POINT ( 'NONE', #6703 ) ;
#2032 = ORIENTED_EDGE ( 'NONE', *, *, #2033, .T. ) ;
#2033 = EDGE_CURVE ( 'NONE', #2030, #2034, #6761, .T. ) ;
#2034 = VERTEX_POINT ( 'NONE', #6757 ) ;
#2035 = ORIENTED_EDGE ( 'NONE', *, *, #2036, .F. ) ;
#2036 = EDGE_CURVE ( 'NONE', #2037, #2034, #6756, .T. ) ;
#2037 = VERTEX_POINT ( 'NONE', #6755 ) ;
#2038 = ORIENTED_EDGE ( 'NONE', *, *, #2039, .F. ) ;
#2039 = EDGE_CURVE ( 'NONE', #2040, #2037, #6748, .T. ) ;
#2040 = VERTEX_POINT ( 'NONE', #6747 ) ;
#2041 = ORIENTED_EDGE ( 'NONE', *, *, #2042, .T. ) ;
#2042 = EDGE_CURVE ( 'NONE', #2007, #2043, #6738, .T. ) ;
#2043 = VERTEX_POINT ( 'NONE', #6793 ) ;
#2044 = ORIENTED_EDGE ( 'NONE', *, *, #2045, .T. ) ;
#2045 = EDGE_CURVE ( 'NONE', #2043, #2046, #6792, .T. ) ;
#2046 = VERTEX_POINT ( 'NONE', #6788 ) ;
#2047 = ORIENTED_EDGE ( 'NONE', *, *, #2048, .T. ) ;
#2048 = EDGE_CURVE ( 'NONE', #2046, #1966, #6787, .T. ) ;
#2049 = ORIENTED_EDGE ( 'NONE', *, *, #2050, .T. ) ;
#2050 = EDGE_CURVE ( 'NONE', #2855, #3025, #6782, .T. ) ;
#2051 = EDGE_LOOP ( 'NONE', ( #2041, #2044, #2047, #1967, #1970 ) ) ;
#2052 = EDGE_CURVE ( 'NONE', #2070, #2046, #6778, .T. ) ;
#2053 = ADVANCED_FACE ( 'NONE', ( #6774 ), #6772, .F. ) ;
#2054 = EDGE_LOOP ( 'NONE', ( #2055, #2075, #2078, #2081 ) ) ;
#2055 = ORIENTED_EDGE ( 'NONE', *, *, #2056, .F. ) ;
#2056 = EDGE_CURVE ( 'NONE', #2057, #2058, #6767, .T. ) ;
#2057 = VERTEX_POINT ( 'NONE', #6763 ) ;
#2058 = VERTEX_POINT ( 'NONE', #6762 ) ;
#2059 = ORIENTED_EDGE ( 'NONE', *, *, #2089, .F. ) ;
#2060 = ORIENTED_EDGE ( 'NONE', *, *, #2061, .F. ) ;
#2061 = EDGE_CURVE ( 'NONE', #2062, #2040, #6821, .T. ) ;
#2062 = VERTEX_POINT ( 'NONE', #6820 ) ;
#2063 = ORIENTED_EDGE ( 'NONE', *, *, #2064, .F. ) ;
#2064 = EDGE_CURVE ( 'NONE', #2031, #2062, #6810, .T. ) ;
#2065 = ADVANCED_FACE ( 'NONE', ( #6811 ), #6808, .T. ) ;
#2066 = EDGE_LOOP ( 'NONE', ( #2067, #2071, #2073, #2074 ) ) ;
#2067 = ORIENTED_EDGE ( 'NONE', *, *, #2068, .F. ) ;
#2068 = EDGE_CURVE ( 'NONE', #2069, #2070, #6797, .T. ) ;
#2069 = VERTEX_POINT ( 'NONE', #6851 ) ;
#2070 = VERTEX_POINT ( 'NONE', #6850 ) ;
#2071 = ORIENTED_EDGE ( 'NONE', *, *, #2072, .T. ) ;
#2072 = EDGE_CURVE ( 'NONE', #2069, #1966, #6849, .T. ) ;
#2073 = ORIENTED_EDGE ( 'NONE', *, *, #2048, .F. ) ;
#2074 = ORIENTED_EDGE ( 'NONE', *, *, #2052, .F. ) ;
#2075 = ORIENTED_EDGE ( 'NONE', *, *, #2076, .T. ) ;
#2076 = EDGE_CURVE ( 'NONE', #2057, #2077, #6845, .T. ) ;
#2077 = VERTEX_POINT ( 'NONE', #6841 ) ;
#2078 = ORIENTED_EDGE ( 'NONE', *, *, #2079, .T. ) ;
#2079 = EDGE_CURVE ( 'NONE', #2077, #2080, #6840, .T. ) ;
#2080 = VERTEX_POINT ( 'NONE', #6835 ) ;
#2081 = ORIENTED_EDGE ( 'NONE', *, *, #2082, .F. ) ;
#2082 = EDGE_CURVE ( 'NONE', #2058, #2080, #6834, .T. ) ;
#2083 = ADVANCED_FACE ( 'NONE', ( #6830 ), #6828, .F. ) ;
#2084 = EDGE_LOOP ( 'NONE', ( #2085, #2020, #2023, #2008 ) ) ;
#2085 = ORIENTED_EDGE ( 'NONE', *, *, #2086, .T. ) ;
#2086 = EDGE_CURVE ( 'NONE', #2087, #2088, #6823, .T. ) ;
#2087 = VERTEX_POINT ( 'NONE', #6875 ) ;
#2088 = VERTEX_POINT ( 'NONE', #6874 ) ;
#2089 = EDGE_CURVE ( 'NONE', #115, #56, #6873, .T. ) ;
#2090 = EDGE_LOOP ( 'NONE', ( #2156, #2160, #2172, #2152 ) ) ;
#2091 = ORIENTED_EDGE ( 'NONE', *, *, #2162, .F. ) ;
#2092 = VERTEX_POINT ( 'NONE', #6869 ) ;
#2093 = ORIENTED_EDGE ( 'NONE', *, *, #2158, .F. ) ;
#2094 = EDGE_CURVE ( 'NONE', #2165, #2171, #6868, .T. ) ;
#2095 = EDGE_CURVE ( 'NONE', #2096, #2103, #6863, .T. ) ;
#2096 = VERTEX_POINT ( 'NONE', #6862 ) ;
#2097 = EDGE_CURVE ( 'NONE', #2101, #2106, #6855, .T. ) ;
#2098 = EDGE_CURVE ( 'NONE', #2103, #2106, #6910, .T. ) ;
#2099 = ORIENTED_EDGE ( 'NONE', *, *, #2095, .F. ) ;
#2100 = EDGE_CURVE ( 'NONE', #2101, #2105, #6909, .T. ) ;
#2101 = VERTEX_POINT ( 'NONE', #6901 ) ;
#2102 = ORIENTED_EDGE ( 'NONE', *, *, #2098, .F. ) ;
#2103 = VERTEX_POINT ( 'NONE', #6900 ) ;
#2104 = ADVANCED_FACE ( 'NONE', ( #6899 ), #6896, .F. ) ;
#2105 = VERTEX_POINT ( 'NONE', #6897 ) ;
#2106 = VERTEX_POINT ( 'NONE', #6892 ) ;
#2107 = VERTEX_POINT ( 'NONE', #6891 ) ;
#2108 = EDGE_CURVE ( 'NONE', #2131, #2107, #6890, .T. ) ;
#2109 = ORIENTED_EDGE ( 'NONE', *, *, #2097, .T. ) ;
#2110 = EDGE_CURVE ( 'NONE', #2107, #2114, #6886, .T. ) ;
#2111 = ORIENTED_EDGE ( 'NONE', *, *, #2108, .F. ) ;
#2112 = EDGE_LOOP ( 'NONE', ( #2113, #2109, #2102, #2099, #2133, #2093 ) ) ;
#2113 = ORIENTED_EDGE ( 'NONE', *, *, #2100, .F. ) ;
#2114 = VERTEX_POINT ( 'NONE', #6881 ) ;
#2115 = ORIENTED_EDGE ( 'NONE', *, *, #2110, .F. ) ;
#2116 = ORIENTED_EDGE ( 'NONE', *, *, #2121, .F. ) ;
#2117 = VERTEX_POINT ( 'NONE', #6880 ) ;
#2118 = VERTEX_POINT ( 'NONE', #6879 ) ;
#2119 = ORIENTED_EDGE ( 'NONE', *, *, #2120, .F. ) ;
#2120 = EDGE_CURVE ( 'NONE', #2118, #2117, #6942, .T. ) ;
#2121 = EDGE_CURVE ( 'NONE', #2117, #3010, #6937, .T. ) ;
#2122 = VERTEX_POINT ( 'NONE', #6933 ) ;
#2123 = ORIENTED_EDGE ( 'NONE', *, *, #2124, .T. ) ;
#2124 = EDGE_CURVE ( 'NONE', #2122, #2114, #6932, .T. ) ;
#2125 = ADVANCED_FACE ( 'NONE', ( #6928 ), #6927, .T. ) ;
#2126 = EDGE_CURVE ( 'NONE', #2118, #2850, #6921, .T. ) ;
#2127 = EDGE_LOOP ( 'NONE', ( #2129, #2123, #2115, #2111 ) ) ;
#2128 = ORIENTED_EDGE ( 'NONE', *, *, #2126, .T. ) ;
#2129 = ORIENTED_EDGE ( 'NONE', *, *, #2130, .F. ) ;
#2130 = EDGE_CURVE ( 'NONE', #2122, #2131, #6917, .T. ) ;
#2131 = VERTEX_POINT ( 'NONE', #6912 ) ;
#2132 = ORIENTED_EDGE ( 'NONE', *, *, #3021, .T. ) ;
#2133 = ORIENTED_EDGE ( 'NONE', *, *, #2157, .F. ) ;
#2134 = ADVANCED_FACE ( 'NONE', ( #6973 ), #6972, .F. ) ;
#2135 = EDGE_LOOP ( 'NONE', ( #2151, #2142, #2139, #2326 ) ) ;
#2136 = EDGE_CURVE ( 'NONE', #2166, #2171, #6971, .T. ) ;
#2137 = EDGE_LOOP ( 'NONE', ( #2208, #2143 ) ) ;
#2138 = ORIENTED_EDGE ( 'NONE', *, *, #2140, .F. ) ;
#2139 = ORIENTED_EDGE ( 'NONE', *, *, #2136, .T. ) ;
#2140 = EDGE_CURVE ( 'NONE', #1981, #1978, #6964, .T. ) ;
#2141 = ORIENTED_EDGE ( 'NONE', *, *, #1984, .F. ) ;
#2142 = ORIENTED_EDGE ( 'NONE', *, *, #2146, .F. ) ;
#2143 = ORIENTED_EDGE ( 'NONE', *, *, #3034, .T. ) ;
#2144 = ADVANCED_FACE ( 'NONE', ( #6959, #6958 ), #6957, .T. ) ;
#2145 = EDGE_LOOP ( 'NONE', ( #2209, #2147 ) ) ;
#2146 = EDGE_CURVE ( 'NONE', #2166, #2163, #6952, .T. ) ;
#2147 = ORIENTED_EDGE ( 'NONE', *, *, #2162, .T. ) ;
#2148 = EDGE_CURVE ( 'NONE', #2171, #2165, #6947, .T. ) ;
#2149 = ORIENTED_EDGE ( 'NONE', *, *, #2094, .F. ) ;
#2150 = ORIENTED_EDGE ( 'NONE', *, *, #2136, .F. ) ;
#2151 = ORIENTED_EDGE ( 'NONE', *, *, #2159, .F. ) ;
#2152 = ORIENTED_EDGE ( 'NONE', *, *, #2169, .F. ) ;
#2153 = EDGE_LOOP ( 'NONE', ( #2091, #2173, #2170, #2150 ) ) ;
#2154 = ADVANCED_FACE ( 'NONE', ( #6999 ), #6998, .F. ) ;
#2155 = VERTEX_POINT ( 'NONE', #6993 ) ;
#2156 = ORIENTED_EDGE ( 'NONE', *, *, #2167, .F. ) ;
#2157 = EDGE_CURVE ( 'NONE', #2155, #2096, #6992, .T. ) ;
#2158 = EDGE_CURVE ( 'NONE', #2105, #2155, #6985, .T. ) ;
#2159 = EDGE_CURVE ( 'NONE', #2163, #2165, #6980, .T. ) ;
#2160 = ORIENTED_EDGE ( 'NONE', *, *, #2161, .T. ) ;
#2161 = EDGE_CURVE ( 'NONE', #2092, #2107, #6976, .T. ) ;
#2162 = EDGE_CURVE ( 'NONE', #2163, #2166, #7025, .T. ) ;
#2163 = VERTEX_POINT ( 'NONE', #7020 ) ;
#2164 = ADVANCED_FACE ( 'NONE', ( #7019 ), #7018, .T. ) ;
#2165 = VERTEX_POINT ( 'NONE', #7013 ) ;
#2166 = VERTEX_POINT ( 'NONE', #7012 ) ;
#2167 = EDGE_CURVE ( 'NONE', #2092, #2168, #7011, .T. ) ;
#2168 = VERTEX_POINT ( 'NONE', #7006 ) ;
#2169 = EDGE_CURVE ( 'NONE', #2168, #2114, #7005, .T. ) ;
#2170 = ORIENTED_EDGE ( 'NONE', *, *, #2094, .T. ) ;
#2171 = VERTEX_POINT ( 'NONE', #7001 ) ;
#2172 = ORIENTED_EDGE ( 'NONE', *, *, #2110, .T. ) ;
#2173 = ORIENTED_EDGE ( 'NONE', *, *, #2159, .T. ) ;
#2174 = EDGE_LOOP ( 'NONE', ( #2175, #2230, #2231, #2233, #2234 ) ) ;
#2175 = ORIENTED_EDGE ( 'NONE', *, *, #2176, .T. ) ;
#2176 = EDGE_CURVE ( 'NONE', #2246, #2105, #7000, .T. ) ;
#2177 = ORIENTED_EDGE ( 'NONE', *, *, #2178, .T. ) ;
#2178 = EDGE_CURVE ( 'NONE', #2203, #2259, #7056, .T. ) ;
#2179 = ORIENTED_EDGE ( 'NONE', *, *, #2253, .T. ) ;
#2180 = ORIENTED_EDGE ( 'NONE', *, *, #2194, .F. ) ;
#2181 = ADVANCED_FACE ( 'NONE', ( #7046 ), #7045, .F. ) ;
#2182 = EDGE_LOOP ( 'NONE', ( #2183, #2186, #2188, #2242 ) ) ;
#2183 = ORIENTED_EDGE ( 'NONE', *, *, #2184, .T. ) ;
#2184 = EDGE_CURVE ( 'NONE', #2203, #2185, #7040, .T. ) ;
#2185 = VERTEX_POINT ( 'NONE', #7039 ) ;
#2186 = ORIENTED_EDGE ( 'NONE', *, *, #2187, .T. ) ;
#2187 = EDGE_CURVE ( 'NONE', #2185, #2332, #7032, .T. ) ;
#2188 = ORIENTED_EDGE ( 'NONE', *, *, #2331, .T. ) ;
#2189 = EDGE_LOOP ( 'NONE', ( #2244, #2247, #2249, #2250 ) ) ;
#2190 = ADVANCED_FACE ( 'NONE', ( #7028 ), #7027, .F. ) ;
#2191 = EDGE_LOOP ( 'NONE', ( #2192, #2193, #2195, #2196 ) ) ;
#2192 = ORIENTED_EDGE ( 'NONE', *, *, #2095, .T. ) ;
#2193 = ORIENTED_EDGE ( 'NONE', *, *, #2194, .T. ) ;
#2194 = EDGE_CURVE ( 'NONE', #2103, #2320, #7085, .T. ) ;
#2195 = ORIENTED_EDGE ( 'NONE', *, *, #2328, .T. ) ;
#2196 = ORIENTED_EDGE ( 'NONE', *, *, #2197, .F. ) ;
#2197 = EDGE_CURVE ( 'NONE', #2096, #2256, #7081, .T. ) ;
#2198 = ADVANCED_FACE ( 'NONE', ( #7077 ), #7076, .F. ) ;
#2199 = EDGE_LOOP ( 'NONE', ( #2200, #2201, #2177, #2179, #2180 ) ) ;
#2200 = ORIENTED_EDGE ( 'NONE', *, *, #2098, .T. ) ;
#2201 = ORIENTED_EDGE ( 'NONE', *, *, #2202, .T. ) ;
#2202 = EDGE_CURVE ( 'NONE', #2106, #2203, #7070, .T. ) ;
#2203 = VERTEX_POINT ( 'NONE', #7069 ) ;
#2204 = EDGE_LOOP ( 'NONE', ( #2138, #2141 ) ) ;
#2205 = ADVANCED_FACE ( 'NONE', ( #7071, #7068 ), #7061, .F. ) ;
#2206 = EDGE_LOOP ( 'NONE', ( #2210, #2149 ) ) ;
#2207 = EDGE_CURVE ( 'NONE', #2970, #2969, #7121, .T. ) ;
#2208 = ORIENTED_EDGE ( 'NONE', *, *, #2207, .T. ) ;
#2209 = ORIENTED_EDGE ( 'NONE', *, *, #2146, .T. ) ;
#2210 = ORIENTED_EDGE ( 'NONE', *, *, #2148, .F. ) ;
#2211 = EDGE_LOOP ( 'NONE', ( #2934, #2935, #2936, #2937 ) ) ;
#2212 = VERTEX_POINT ( 'NONE', #7116 ) ;
#2213 = VERTEX_POINT ( 'NONE', #7115 ) ;
#2214 = ORIENTED_EDGE ( 'NONE', *, *, #2215, .T. ) ;
#2215 = EDGE_CURVE ( 'NONE', #2213, #2216, #7114, .T. ) ;
#2216 = VERTEX_POINT ( 'NONE', #7110 ) ;
#2217 = ORIENTED_EDGE ( 'NONE', *, *, #2218, .T. ) ;
#2218 = EDGE_CURVE ( 'NONE', #2216, #2057, #7108, .T. ) ;
#2219 = ADVANCED_FACE ( 'NONE', ( #7109 ), #7101, .F. ) ;
#2220 = ORIENTED_EDGE ( 'NONE', *, *, #2097, .F. ) ;
#2221 = ORIENTED_EDGE ( 'NONE', *, *, #2100, .T. ) ;
#2222 = ORIENTED_EDGE ( 'NONE', *, *, #2176, .F. ) ;
#2223 = ORIENTED_EDGE ( 'NONE', *, *, #2245, .F. ) ;
#2224 = ORIENTED_EDGE ( 'NONE', *, *, #2184, .F. ) ;
#2225 = ORIENTED_EDGE ( 'NONE', *, *, #2202, .F. ) ;
#2226 = ADVANCED_FACE ( 'NONE', ( #7097 ), #7096, .T. ) ;
#2227 = EDGE_LOOP ( 'NONE', ( #2228, #2229, #2289, #2290 ) ) ;
#2228 = ORIENTED_EDGE ( 'NONE', *, *, #2124, .F. ) ;
#2229 = ORIENTED_EDGE ( 'NONE', *, *, #2322, .F. ) ;
#2230 = ORIENTED_EDGE ( 'NONE', *, *, #2158, .T. ) ;
#2231 = ORIENTED_EDGE ( 'NONE', *, *, #2232, .T. ) ;
#2232 = EDGE_CURVE ( 'NONE', #2155, #2252, #7095, .T. ) ;
#2233 = ORIENTED_EDGE ( 'NONE', *, *, #2670, .T. ) ;
#2234 = ORIENTED_EDGE ( 'NONE', *, *, #2248, .F. ) ;
#2235 = ADVANCED_FACE ( 'NONE', ( #7152 ), #7151, .F. ) ;
#2236 = EDGE_LOOP ( 'NONE', ( #2237, #2238, #2239, #2240 ) ) ;
#2237 = ORIENTED_EDGE ( 'NONE', *, *, #2157, .T. ) ;
#2238 = ORIENTED_EDGE ( 'NONE', *, *, #2197, .T. ) ;
#2239 = ORIENTED_EDGE ( 'NONE', *, *, #2255, .T. ) ;
#2240 = ORIENTED_EDGE ( 'NONE', *, *, #2232, .F. ) ;
#2241 = EDGE_LOOP ( 'NONE', ( #2220, #2221, #2222, #2223, #2224, #2225 ) ) ;
#2242 = ORIENTED_EDGE ( 'NONE', *, *, #2178, .F. ) ;
#2243 = ADVANCED_FACE ( 'NONE', ( #7146 ), #7145, .F. ) ;
#2244 = ORIENTED_EDGE ( 'NONE', *, *, #2245, .T. ) ;
#2245 = EDGE_CURVE ( 'NONE', #2185, #2246, #7140, .T. ) ;
#2246 = VERTEX_POINT ( 'NONE', #7139 ) ;
#2247 = ORIENTED_EDGE ( 'NONE', *, *, #2248, .T. ) ;
#2248 = EDGE_CURVE ( 'NONE', #2246, #2257, #7132, .T. ) ;
#2249 = ORIENTED_EDGE ( 'NONE', *, *, #2325, .T. ) ;
#2250 = ORIENTED_EDGE ( 'NONE', *, *, #2187, .F. ) ;
#2251 = ADVANCED_FACE ( 'NONE', ( #7128 ), #7126, .F. ) ;
#2252 = VERTEX_POINT ( 'NONE', #8161 ) ;
#2253 = EDGE_CURVE ( 'NONE', #2259, #2320, #8160, .T. ) ;
#2254 = ORIENTED_EDGE ( 'NONE', *, *, #2331, .F. ) ;
#2255 = EDGE_CURVE ( 'NONE', #2256, #2252, #8156, .T. ) ;
#2256 = VERTEX_POINT ( 'NONE', #8152 ) ;
#2257 = VERTEX_POINT ( 'NONE', #8151 ) ;
#2258 = ORIENTED_EDGE ( 'NONE', *, *, #2253, .F. ) ;
#2259 = VERTEX_POINT ( 'NONE', #8150 ) ;
#2260 = VERTEX_POINT ( 'NONE', #8149 ) ;
#2261 = VERTEX_POINT ( 'NONE', #8148 ) ;
#2262 = ORIENTED_EDGE ( 'NONE', *, *, #2263, .F. ) ;
#2263 = EDGE_CURVE ( 'NONE', #2264, #2260, #8147, .T. ) ;
#2264 = VERTEX_POINT ( 'NONE', #8143 ) ;
#2265 = ORIENTED_EDGE ( 'NONE', *, *, #2266, .F. ) ;
#2266 = EDGE_CURVE ( 'NONE', #2267, #2264, #8142, .T. ) ;
#2267 = VERTEX_POINT ( 'NONE', #8138 ) ;
#2268 = ORIENTED_EDGE ( 'NONE', *, *, #2269, .F. ) ;
#2269 = EDGE_CURVE ( 'NONE', #2270, #2267, #8137, .T. ) ;
#2270 = VERTEX_POINT ( 'NONE', #8133 ) ;
#2271 = ORIENTED_EDGE ( 'NONE', *, *, #2272, .F. ) ;
#2272 = EDGE_CURVE ( 'NONE', #2273, #2270, #8132, .T. ) ;
#2273 = VERTEX_POINT ( 'NONE', #8192 ) ;
#2274 = ORIENTED_EDGE ( 'NONE', *, *, #2305, .F. ) ;
#2275 = ORIENTED_EDGE ( 'NONE', *, *, #2056, .T. ) ;
#2276 = ORIENTED_EDGE ( 'NONE', *, *, #2277, .T. ) ;
#2277 = EDGE_CURVE ( 'NONE', #2058, #2212, #8191, .T. ) ;
#2278 = EDGE_LOOP ( 'NONE', ( #2279, #2280 ) ) ;
#2279 = ORIENTED_EDGE ( 'NONE', *, *, #2732, .T. ) ;
#2280 = ORIENTED_EDGE ( 'NONE', *, *, #2167, .T. ) ;
#2281 = ADVANCED_FACE ( 'NONE', ( #8187, #8186 ), #8185, .F. ) ;
#2282 = EDGE_LOOP ( 'NONE', ( #2283, #2285 ) ) ;
#2283 = ORIENTED_EDGE ( 'NONE', *, *, #2284, .T. ) ;
#2284 = EDGE_CURVE ( 'NONE', #3020, #3002, #8180, .T. ) ;
#2285 = ORIENTED_EDGE ( 'NONE', *, *, #3001, .T. ) ;
#2286 = EDGE_LOOP ( 'NONE', ( #2287, #2262, #2265, #2268, #2271, #2274 ) ) ;
#2287 = ORIENTED_EDGE ( 'NONE', *, *, #2288, .F. ) ;
#2288 = EDGE_CURVE ( 'NONE', #2260, #2261, #8175, .T. ) ;
#2289 = ORIENTED_EDGE ( 'NONE', *, *, #2108, .T. ) ;
#2290 = ORIENTED_EDGE ( 'NONE', *, *, #2729, .F. ) ;
#2291 = ADVANCED_FACE ( 'NONE', ( #8171, #8170 ), #8169, .F. ) ;
#2292 = EDGE_LOOP ( 'NONE', ( #2293, #2214, #2217, #2275, #2276 ) ) ;
#2293 = ORIENTED_EDGE ( 'NONE', *, *, #2294, .T. ) ;
#2294 = EDGE_CURVE ( 'NONE', #2212, #2213, #8164, .T. ) ;
#2295 = VERTEX_POINT ( 'NONE', #8226 ) ;
#2296 = ORIENTED_EDGE ( 'NONE', *, *, #2297, .T. ) ;
#2297 = EDGE_CURVE ( 'NONE', #2295, #2850, #8225, .T. ) ;
#2298 = ADVANCED_FACE ( 'NONE', ( #8221 ), #8220, .F. ) ;
#2299 = EDGE_LOOP ( 'NONE', ( #2300, #2301, #2303, #2304 ) ) ;
#2300 = ORIENTED_EDGE ( 'NONE', *, *, #2863, .T. ) ;
#2301 = ORIENTED_EDGE ( 'NONE', *, *, #2302, .T. ) ;
#2302 = EDGE_CURVE ( 'NONE', #2847, #2264, #8215, .T. ) ;
#2303 = ORIENTED_EDGE ( 'NONE', *, *, #2263, .T. ) ;
#2304 = ORIENTED_EDGE ( 'NONE', *, *, #2358, .F. ) ;
#2305 = EDGE_CURVE ( 'NONE', #2261, #2273, #8211, .T. ) ;
#2306 = ADVANCED_FACE ( 'NONE', ( #8207 ), #8205, .T. ) ;
#2307 = EDGE_LOOP ( 'NONE', ( #2308, #2309, #2311, #2312 ) ) ;
#2308 = ORIENTED_EDGE ( 'NONE', *, *, #2050, .F. ) ;
#2309 = ORIENTED_EDGE ( 'NONE', *, *, #2310, .F. ) ;
#2310 = EDGE_CURVE ( 'NONE', #2117, #2855, #8200, .T. ) ;
#2311 = ORIENTED_EDGE ( 'NONE', *, *, #2121, .T. ) ;
#2312 = ORIENTED_EDGE ( 'NONE', *, *, #2313, .T. ) ;
#2313 = EDGE_CURVE ( 'NONE', #3010, #3025, #8196, .T. ) ;
#2314 = ADVANCED_FACE ( 'NONE', ( #8258 ), #8253, .F. ) ;
#2315 = EDGE_LOOP ( 'NONE', ( #2316, #2317, #2372, #2296 ) ) ;
#2316 = ORIENTED_EDGE ( 'NONE', *, *, #2126, .F. ) ;
#2317 = ORIENTED_EDGE ( 'NONE', *, *, #2318, .T. ) ;
#2318 = EDGE_CURVE ( 'NONE', #2118, #2371, #8248, .T. ) ;
#2319 = EDGE_LOOP ( 'NONE', ( #2329, #2323, #2258, #2254, #2324, #2524 ) ) ;
#2320 = VERTEX_POINT ( 'NONE', #8244 ) ;
#2321 = ORIENTED_EDGE ( 'NONE', *, *, #2322, .T. ) ;
#2322 = EDGE_CURVE ( 'NONE', #2131, #2122, #8243, .T. ) ;
#2323 = ORIENTED_EDGE ( 'NONE', *, *, #2328, .F. ) ;
#2324 = ORIENTED_EDGE ( 'NONE', *, *, #2325, .F. ) ;
#2325 = EDGE_CURVE ( 'NONE', #2257, #2332, #8238, .T. ) ;
#2326 = ORIENTED_EDGE ( 'NONE', *, *, #2148, .T. ) ;
#2327 = EDGE_LOOP ( 'NONE', ( #2321, #2330 ) ) ;
#2328 = EDGE_CURVE ( 'NONE', #2320, #2256, #8234, .T. ) ;
#2329 = ORIENTED_EDGE ( 'NONE', *, *, #2255, .F. ) ;
#2330 = ORIENTED_EDGE ( 'NONE', *, *, #2130, .T. ) ;
#2331 = EDGE_CURVE ( 'NONE', #2332, #2259, #8230, .T. ) ;
#2332 = VERTEX_POINT ( 'NONE', #8285 ) ;
#2333 = ADVANCED_FACE ( 'NONE', ( #8284, #8283 ), #8282, .F. ) ;
#2334 = ORIENTED_EDGE ( 'NONE', *, *, #2272, .T. ) ;
#2335 = ORIENTED_EDGE ( 'NONE', *, *, #2349, .F. ) ;
#2336 = ADVANCED_FACE ( 'NONE', ( #8277 ), #8276, .F. ) ;
#2337 = EDGE_LOOP ( 'NONE', ( #2338, #2340, #2341, #2343, #2344 ) ) ;
#2338 = ORIENTED_EDGE ( 'NONE', *, *, #2339, .T. ) ;
#2339 = EDGE_CURVE ( 'NONE', #2356, #2858, #8271, .T. ) ;
#2340 = ORIENTED_EDGE ( 'NONE', *, *, #2918, .T. ) ;
#2341 = ORIENTED_EDGE ( 'NONE', *, *, #2342, .T. ) ;
#2342 = EDGE_CURVE ( 'NONE', #2849, #2261, #8270, .T. ) ;
#2343 = ORIENTED_EDGE ( 'NONE', *, *, #2305, .T. ) ;
#2344 = ORIENTED_EDGE ( 'NONE', *, *, #2414, .F. ) ;
#2345 = ORIENTED_EDGE ( 'NONE', *, *, #2346, .T. ) ;
#2346 = EDGE_CURVE ( 'NONE', #2364, #2347, #8260, .T. ) ;
#2347 = VERTEX_POINT ( 'NONE', #8259 ) ;
#2348 = ORIENTED_EDGE ( 'NONE', *, *, #2349, .T. ) ;
#2349 = EDGE_CURVE ( 'NONE', #2347, #2270, #8318, .T. ) ;
#2350 = ORIENTED_EDGE ( 'NONE', *, *, #2269, .T. ) ;
#2351 = ORIENTED_EDGE ( 'NONE', *, *, #2366, .F. ) ;
#2352 = ADVANCED_FACE ( 'NONE', ( #8306 ), #8305, .F. ) ;
#2353 = EDGE_LOOP ( 'NONE', ( #2354, #2357, #2334, #2335 ) ) ;
#2354 = ORIENT