ISO-10303-21;
HEADER;
FILE_DESCRIPTION (( 'STEP AP203' ),
    '1' );
FILE_NAME ('VRAF-C2-C0.STEP',
    '2008-04-04T10:50:34',
    ( ' ' ),
    ( ' ' ),
    'SwSTEP 2.0',
    'SolidWorks 2006303',
    '' );
FILE_SCHEMA (( 'CONFIG_CONTROL_DESIGN' ));
ENDSEC;

DATA;
#1 = EDGE_LOOP ( 'NONE', ( #3, #7375, #7529, #6812 ) ) ;
#2 = ORIENTED_EDGE ( 'NONE', *, *, #616, .F. ) ;
#3 = ORIENTED_EDGE ( 'NONE', *, *, #4, .F. ) ;
#4 = EDGE_CURVE ( 'NONE', #6820, #8051, #3314, .T. ) ;
#5 = EDGE_LOOP ( 'NONE', ( #13525, #13582, #13537, #13562 ) ) ;
#6 = EDGE_CURVE ( 'NONE', #6084, #7, #3309, .T. ) ;
#7 = VERTEX_POINT ( 'NONE', #3305 ) ;
#8 = ORIENTED_EDGE ( 'NONE', *, *, #9, .T. ) ;
#9 = EDGE_CURVE ( 'NONE', #7, #10, #3304, .T. ) ;
#10 = VERTEX_POINT ( 'NONE', #3300 ) ;
#11 = ORIENTED_EDGE ( 'NONE', *, *, #12, .F. ) ;
#12 = EDGE_CURVE ( 'NONE', #3931, #10, #3299, .T. ) ;
#13 = ORIENTED_EDGE ( 'NONE', *, *, #3929, .F. ) ;
#14 = ADVANCED_FACE ( 'NONE', ( #3295 ), #3356, .T. ) ;
#15 = EDGE_LOOP ( 'NONE', ( #16, #75, #78, #80, #81, #84, #87, #60, #61, #64, #67, #69 ) ) ;
#16 = ORIENTED_EDGE ( 'NONE', *, *, #17, .T. ) ;
#17 = EDGE_CURVE ( 'NONE', #5894, #18, #3351, .T. ) ;
#18 = VERTEX_POINT ( 'NONE', #3347 ) ;
#19 = ORIENTED_EDGE ( 'NONE', *, *, #3910, .F. ) ;
#20 = EDGE_CURVE ( 'NONE', #5405, #5407, #3346, .T. ) ;
#21 = ORIENTED_EDGE ( 'NONE', *, *, #20, .T. ) ;
#22 = ADVANCED_FACE ( 'NONE', ( #3342 ), #3341, .T. ) ;
#23 = EDGE_CURVE ( 'NONE', #3991, #5481, #3336, .T. ) ;
#24 = ORIENTED_EDGE ( 'NONE', *, *, #25, .T. ) ;
#25 = EDGE_CURVE ( 'NONE', #6444, #26, #3335, .T. ) ;
#26 = VERTEX_POINT ( 'NONE', #3380 ) ;
#27 = ORIENTED_EDGE ( 'NONE', *, *, #28, .T. ) ;
#28 = EDGE_CURVE ( 'NONE', #26, #29, #3379, .T. ) ;
#29 = VERTEX_POINT ( 'NONE', #3374 ) ;
#30 = ORIENTED_EDGE ( 'NONE', *, *, #31, .T. ) ;
#31 = EDGE_CURVE ( 'NONE', #29, #6441, #3373, .T. ) ;
#32 = ADVANCED_FACE ( 'NONE', ( #3369 ), #3367, .T. ) ;
#33 = ORIENTED_EDGE ( 'NONE', *, *, #6315, .T. ) ;
#34 = EDGE_LOOP ( 'NONE', ( #37, #6405, #6271, #6377 ) ) ;
#35 = EDGE_LOOP ( 'NONE', ( #6199, #6316, #6292, #6344 ) ) ;
#36 = EDGE_LOOP ( 'NONE', ( #6457, #6409, #6307, #6442 ) ) ;
#37 = ORIENTED_EDGE ( 'NONE', *, *, #38, .F. ) ;
#38 = EDGE_CURVE ( 'NONE', #39, #40, #3368, .T. ) ;
#39 = VERTEX_POINT ( 'NONE', #3359 ) ;
#40 = VERTEX_POINT ( 'NONE', #3358 ) ;
#41 = ORIENTED_EDGE ( 'NONE', *, *, #43, .T. ) ;
#42 = EDGE_LOOP ( 'NONE', ( #44, #5423, #6484, #6508 ) ) ;
#43 = EDGE_CURVE ( 'NONE', #6285, #6429, #3357, .T. ) ;
#44 = ORIENTED_EDGE ( 'NONE', *, *, #45, .F. ) ;
#45 = EDGE_CURVE ( 'NONE', #3844, #26, #3411, .T. ) ;
#46 = ADVANCED_FACE ( 'NONE', ( #3423, #3422, #3410, #3409, #3408, #3407, #3406, #3405, #3390, #3389 ), #3388, .F. ) ;
#47 = EDGE_LOOP ( 'NONE', ( #108, #110 ) ) ;
#48 = ORIENTED_EDGE ( 'NONE', *, *, #49, .T. ) ;
#49 = EDGE_CURVE ( 'NONE', #74, #50, #3383, .T. ) ;
#50 = VERTEX_POINT ( 'NONE', #3454 ) ;
#51 = ORIENTED_EDGE ( 'NONE', *, *, #52, .T. ) ;
#52 = EDGE_CURVE ( 'NONE', #50, #6001, #3453, .T. ) ;
#53 = ORIENTED_EDGE ( 'NONE', *, *, #5999, .F. ) ;
#54 = ORIENTED_EDGE ( 'NONE', *, *, #55, .T. ) ;
#55 = EDGE_CURVE ( 'NONE', #5995, #56, #3449, .T. ) ;
#56 = VERTEX_POINT ( 'NONE', #3445 ) ;
#57 = ORIENTED_EDGE ( 'NONE', *, *, #58, .T. ) ;
#58 = EDGE_CURVE ( 'NONE', #56, #59, #3444, .T. ) ;
#59 = VERTEX_POINT ( 'NONE', #3440 ) ;
#60 = ORIENTED_EDGE ( 'NONE', *, *, #6029, .F. ) ;
#61 = ORIENTED_EDGE ( 'NONE', *, *, #62, .T. ) ;
#62 = EDGE_CURVE ( 'NONE', #6030, #63, #3439, .T. ) ;
#63 = VERTEX_POINT ( 'NONE', #3435 ) ;
#64 = ORIENTED_EDGE ( 'NONE', *, *, #65, .T. ) ;
#65 = EDGE_CURVE ( 'NONE', #63, #66, #3434, .T. ) ;
#66 = VERTEX_POINT ( 'NONE', #3430 ) ;
#67 = ORIENTED_EDGE ( 'NONE', *, *, #68, .F. ) ;
#68 = EDGE_CURVE ( 'NONE', #5896, #66, #3429, .T. ) ;
#69 = ORIENTED_EDGE ( 'NONE', *, *, #6044, .F. ) ;
#70 = ADVANCED_FACE ( 'NONE', ( #3425 ), #3424, .T. ) ;
#71 = EDGE_LOOP ( 'NONE', ( #72, #48, #51, #53, #54, #57, #120, #122, #123, #126, #129, #131 ) ) ;
#72 = ORIENTED_EDGE ( 'NONE', *, *, #73, .T. ) ;
#73 = EDGE_CURVE ( 'NONE', #5915, #74, #3481, .T. ) ;
#74 = VERTEX_POINT ( 'NONE', #3477 ) ;
#75 = ORIENTED_EDGE ( 'NONE', *, *, #76, .T. ) ;
#76 = EDGE_CURVE ( 'NONE', #18, #77, #3476, .T. ) ;
#77 = VERTEX_POINT ( 'NONE', #3472 ) ;
#78 = ORIENTED_EDGE ( 'NONE', *, *, #79, .T. ) ;
#79 = EDGE_CURVE ( 'NONE', #77, #6186, #3471, .T. ) ;
#80 = ORIENTED_EDGE ( 'NONE', *, *, #6184, .F. ) ;
#81 = ORIENTED_EDGE ( 'NONE', *, *, #82, .T. ) ;
#82 = EDGE_CURVE ( 'NONE', #6182, #83, #3467, .T. ) ;
#83 = VERTEX_POINT ( 'NONE', #3463 ) ;
#84 = ORIENTED_EDGE ( 'NONE', *, *, #85, .T. ) ;
#85 = EDGE_CURVE ( 'NONE', #83, #86, #3462, .T. ) ;
#86 = VERTEX_POINT ( 'NONE', #3458 ) ;
#87 = ORIENTED_EDGE ( 'NONE', *, *, #88, .T. ) ;
#88 = EDGE_CURVE ( 'NONE', #86, #6031, #3517, .T. ) ;
#89 = ORIENTED_EDGE ( 'NONE', *, *, #6, .T. ) ;
#90 = EDGE_LOOP ( 'NONE', ( #91, #92, #157, #160, #162, #163, #165, #166, #143, #146, #148, #149, #151, #152, #155, #133, #135, #136, #138, #139, #141, #142, #206, #208, #209 ) ) ;
#91 = ORIENTED_EDGE ( 'NONE', *, *, #49, .F. ) ;
#92 = ORIENTED_EDGE ( 'NONE', *, *, #93, .F. ) ;
#93 = EDGE_CURVE ( 'NONE', #5409, #74, #3513, .T. ) ;
#94 = ORIENTED_EDGE ( 'NONE', *, *, #95, .F. ) ;
#95 = EDGE_CURVE ( 'NONE', #1343, #1420, #3509, .T. ) ;
#96 = ORIENTED_EDGE ( 'NONE', *, *, #1337, .F. ) ;
#97 = EDGE_LOOP ( 'NONE', ( #98, #100 ) ) ;
#98 = ORIENTED_EDGE ( 'NONE', *, *, #99, .F. ) ;
#99 = EDGE_CURVE ( 'NONE', #1366, #1359, #3504, .T. ) ;
#100 = ORIENTED_EDGE ( 'NONE', *, *, #1365, .F. ) ;
#101 = EDGE_LOOP ( 'NONE', ( #102, #104 ) ) ;
#102 = ORIENTED_EDGE ( 'NONE', *, *, #103, .F. ) ;
#103 = EDGE_CURVE ( 'NONE', #1437, #1493, #3499, .T. ) ;
#104 = ORIENTED_EDGE ( 'NONE', *, *, #1436, .F. ) ;
#105 = EDGE_LOOP ( 'NONE', ( #106, #169 ) ) ;
#106 = ORIENTED_EDGE ( 'NONE', *, *, #107, .F. ) ;
#107 = EDGE_CURVE ( 'NONE', #1478, #1475, #3494, .T. ) ;
#108 = ORIENTED_EDGE ( 'NONE', *, *, #109, .F. ) ;
#109 = EDGE_CURVE ( 'NONE', #1460, #1459, #3488, .T. ) ;
#110 = ORIENTED_EDGE ( 'NONE', *, *, #1351, .F. ) ;
#111 = EDGE_LOOP ( 'NONE', ( #112, #114 ) ) ;
#112 = ORIENTED_EDGE ( 'NONE', *, *, #113, .F. ) ;
#113 = EDGE_CURVE ( 'NONE', #1391, #1388, #3547, .T. ) ;
#114 = ORIENTED_EDGE ( 'NONE', *, *, #1390, .F. ) ;
#115 = EDGE_LOOP ( 'NONE', ( #116, #118 ) ) ;
#116 = ORIENTED_EDGE ( 'NONE', *, *, #117, .F. ) ;
#117 = EDGE_CURVE ( 'NONE', #1405, #1402, #3542, .T. ) ;
#118 = ORIENTED_EDGE ( 'NONE', *, *, #1404, .F. ) ;
#119 = EDGE_LOOP ( 'NONE', ( #94, #96 ) ) ;
#120 = ORIENTED_EDGE ( 'NONE', *, *, #121, .T. ) ;
#121 = EDGE_CURVE ( 'NONE', #59, #6104, #3537, .T. ) ;
#122 = ORIENTED_EDGE ( 'NONE', *, *, #6100, .F. ) ;
#123 = ORIENTED_EDGE ( 'NONE', *, *, #124, .T. ) ;
#124 = EDGE_CURVE ( 'NONE', #6102, #125, #3532, .T. ) ;
#125 = VERTEX_POINT ( 'NONE', #3528 ) ;
#126 = ORIENTED_EDGE ( 'NONE', *, *, #127, .T. ) ;
#127 = EDGE_CURVE ( 'NONE', #125, #128, #3527, .T. ) ;
#128 = VERTEX_POINT ( 'NONE', #3523 ) ;
#129 = ORIENTED_EDGE ( 'NONE', *, *, #130, .F. ) ;
#130 = EDGE_CURVE ( 'NONE', #5917, #128, #3522, .T. ) ;
#131 = ORIENTED_EDGE ( 'NONE', *, *, #5913, .F. ) ;
#132 = VERTEX_POINT ( 'NONE', #3518 ) ;
#133 = ORIENTED_EDGE ( 'NONE', *, *, #134, .F. ) ;
#134 = EDGE_CURVE ( 'NONE', #6141, #132, #3578, .T. ) ;
#135 = ORIENTED_EDGE ( 'NONE', *, *, #6139, .F. ) ;
#136 = ORIENTED_EDGE ( 'NONE', *, *, #137, .T. ) ;
#137 = EDGE_CURVE ( 'NONE', #6137, #77, #3574, .T. ) ;
#138 = ORIENTED_EDGE ( 'NONE', *, *, #76, .F. ) ;
#139 = ORIENTED_EDGE ( 'NONE', *, *, #140, .F. ) ;
#140 = EDGE_CURVE ( 'NONE', #1383, #18, #3569, .T. ) ;
#141 = ORIENTED_EDGE ( 'NONE', *, *, #1382, .F. ) ;
#142 = ORIENTED_EDGE ( 'NONE', *, *, #204, .F. ) ;
#143 = ORIENTED_EDGE ( 'NONE', *, *, #144, .F. ) ;
#144 = EDGE_CURVE ( 'NONE', #145, #168, #3565, .T. ) ;
#145 = VERTEX_POINT ( 'NONE', #3560 ) ;
#146 = ORIENTED_EDGE ( 'NONE', *, *, #147, .F. ) ;
#147 = EDGE_CURVE ( 'NONE', #10, #145, #3559, .T. ) ;
#148 = ORIENTED_EDGE ( 'NONE', *, *, #9, .F. ) ;
#149 = ORIENTED_EDGE ( 'NONE', *, *, #150, .T. ) ;
#150 = EDGE_CURVE ( 'NONE', #7, #6156, #3555, .T. ) ;
#151 = ORIENTED_EDGE ( 'NONE', *, *, #6154, .F. ) ;
#152 = ORIENTED_EDGE ( 'NONE', *, *, #153, .F. ) ;
#153 = EDGE_CURVE ( 'NONE', #154, #6152, #3550, .T. ) ;
#154 = VERTEX_POINT ( 'NONE', #3605 ) ;
#155 = ORIENTED_EDGE ( 'NONE', *, *, #156, .F. ) ;
#156 = EDGE_CURVE ( 'NONE', #132, #154, #3604, .T. ) ;
#157 = ORIENTED_EDGE ( 'NONE', *, *, #158, .F. ) ;
#158 = EDGE_CURVE ( 'NONE', #159, #5409, #3599, .T. ) ;
#159 = VERTEX_POINT ( 'NONE', #3594 ) ;
#160 = ORIENTED_EDGE ( 'NONE', *, *, #161, .F. ) ;
#161 = EDGE_CURVE ( 'NONE', #128, #159, #3593, .T. ) ;
#162 = ORIENTED_EDGE ( 'NONE', *, *, #127, .F. ) ;
#163 = ORIENTED_EDGE ( 'NONE', *, *, #164, .T. ) ;
#164 = EDGE_CURVE ( 'NONE', #125, #6197, #3589, .T. ) ;
#165 = ORIENTED_EDGE ( 'NONE', *, *, #6193, .F. ) ;
#166 = ORIENTED_EDGE ( 'NONE', *, *, #167, .F. ) ;
#167 = EDGE_CURVE ( 'NONE', #168, #6250, #3584, .T. ) ;
#168 = VERTEX_POINT ( 'NONE', #3580 ) ;
#169 = ORIENTED_EDGE ( 'NONE', *, *, #1477, .F. ) ;
#170 = EDGE_LOOP ( 'NONE', ( #171, #173 ) ) ;
#171 = ORIENTED_EDGE ( 'NONE', *, *, #172, .F. ) ;
#172 = EDGE_CURVE ( 'NONE', #1465, #1546, #3643, .T. ) ;
#173 = ORIENTED_EDGE ( 'NONE', *, *, #1464, .F. ) ;
#174 = EDGE_LOOP ( 'NONE', ( #175, #177 ) ) ;
#175 = ORIENTED_EDGE ( 'NONE', *, *, #176, .F. ) ;
#176 = EDGE_CURVE ( 'NONE', #1422, #1503, #3639, .T. ) ;
#177 = ORIENTED_EDGE ( 'NONE', *, *, #1505, .F. ) ;
#178 = ORIENTED_EDGE ( 'NONE', *, *, #230, .F. ) ;
#179 = ORIENTED_EDGE ( 'NONE', *, *, #79, .F. ) ;
#180 = ADVANCED_FACE ( 'NONE', ( #3634 ), #3633, .T. ) ;
#181 = EDGE_LOOP ( 'NONE', ( #182, #183, #184, #185 ) ) ;
#182 = ORIENTED_EDGE ( 'NONE', *, *, #150, .F. ) ;
#183 = ORIENTED_EDGE ( 'NONE', *, *, #6, .F. ) ;
#184 = ORIENTED_EDGE ( 'NONE', *, *, #6061, .F. ) ;
#185 = ORIENTED_EDGE ( 'NONE', *, *, #6161, .F. ) ;
#186 = ADVANCED_FACE ( 'NONE', ( #3632 ), #3627, .F. ) ;
#187 = EDGE_LOOP ( 'NONE', ( #188, #189, #190, #242 ) ) ;
#188 = ORIENTED_EDGE ( 'NONE', *, *, #1502, .F. ) ;
#189 = ORIENTED_EDGE ( 'NONE', *, *, #11349, .T. ) ;
#190 = ORIENTED_EDGE ( 'NONE', *, *, #1424, .T. ) ;
#191 = EDGE_LOOP ( 'NONE', ( #244, #246 ) ) ;
#192 = ORIENTED_EDGE ( 'NONE', *, *, #52, .F. ) ;
#193 = ADVANCED_FACE ( 'NONE', ( #3621 ), #3620, .T. ) ;
#194 = EDGE_LOOP ( 'NONE', ( #195, #196, #197, #198 ) ) ;
#195 = ORIENTED_EDGE ( 'NONE', *, *, #164, .F. ) ;
#196 = ORIENTED_EDGE ( 'NONE', *, *, #124, .F. ) ;
#197 = ORIENTED_EDGE ( 'NONE', *, *, #6076, .F. ) ;
#198 = ORIENTED_EDGE ( 'NONE', *, *, #6204, .F. ) ;
#199 = ADVANCED_FACE ( 'NONE', ( #3615 ), #3614, .T. ) ;
#200 = EDGE_LOOP ( 'NONE', ( #201, #202, #203, #179 ) ) ;
#201 = ORIENTED_EDGE ( 'NONE', *, *, #137, .F. ) ;
#202 = ORIENTED_EDGE ( 'NONE', *, *, #6136, .F. ) ;
#203 = ORIENTED_EDGE ( 'NONE', *, *, #6190, .F. ) ;
#204 = EDGE_CURVE ( 'NONE', #205, #1380, #3609, .T. ) ;
#205 = VERTEX_POINT ( 'NONE', #3672 ) ;
#206 = ORIENTED_EDGE ( 'NONE', *, *, #207, .F. ) ;
#207 = EDGE_CURVE ( 'NONE', #66, #205, #3671, .T. ) ;
#208 = ORIENTED_EDGE ( 'NONE', *, *, #65, .F. ) ;
#209 = ORIENTED_EDGE ( 'NONE', *, *, #210, .T. ) ;
#210 = EDGE_CURVE ( 'NONE', #63, #50, #3667, .T. ) ;
#211 = ADVANCED_FACE ( 'NONE', ( #3662 ), #3661, .T. ) ;
#212 = EDGE_LOOP ( 'NONE', ( #213, #214, #215, #192 ) ) ;
#213 = ORIENTED_EDGE ( 'NONE', *, *, #210, .F. ) ;
#214 = ORIENTED_EDGE ( 'NONE', *, *, #62, .F. ) ;
#215 = ORIENTED_EDGE ( 'NONE', *, *, #6005, .F. ) ;
#216 = EDGE_LOOP ( 'NONE', ( #264, #265 ) ) ;
#217 = ORIENTED_EDGE ( 'NONE', *, *, #172, .T. ) ;
#218 = ADVANCED_FACE ( 'NONE', ( #3655 ), #3660, .T. ) ;
#219 = EDGE_LOOP ( 'NONE', ( #220, #221 ) ) ;
#220 = ORIENTED_EDGE ( 'NONE', *, *, #240, .T. ) ;
#221 = ORIENTED_EDGE ( 'NONE', *, *, #1541, .T. ) ;
#222 = ADVANCED_FACE ( 'NONE', ( #3650 ), #3649, .F. ) ;
#223 = EDGE_LOOP ( 'NONE', ( #224, #225, #227, #228 ) ) ;
#224 = ORIENTED_EDGE ( 'NONE', *, *, #1474, .F. ) ;
#225 = ORIENTED_EDGE ( 'NONE', *, *, #226, .F. ) ;
#226 = EDGE_CURVE ( 'NONE', #1472, #1471, #3648, .T. ) ;
#227 = ORIENTED_EDGE ( 'NONE', *, *, #1538, .T. ) ;
#228 = ORIENTED_EDGE ( 'NONE', *, *, #107, .T. ) ;
#229 = EDGE_LOOP ( 'NONE', ( #278, #279 ) ) ;
#230 = EDGE_CURVE ( 'NONE', #1482, #1481, #3705, .T. ) ;
#231 = ORIENTED_EDGE ( 'NONE', *, *, #1494, .T. ) ;
#232 = ORIENTED_EDGE ( 'NONE', *, *, #245, .T. ) ;
#233 = EDGE_LOOP ( 'NONE', ( #234, #235 ) ) ;
#234 = ORIENTED_EDGE ( 'NONE', *, *, #6116, .T. ) ;
#235 = ORIENTED_EDGE ( 'NONE', *, *, #1455, .T. ) ;
#236 = ADVANCED_FACE ( 'NONE', ( #3700 ), #3699, .F. ) ;
#237 = EDGE_LOOP ( 'NONE', ( #238, #239, #241, #217 ) ) ;
#238 = ORIENTED_EDGE ( 'NONE', *, *, #1545, .F. ) ;
#239 = ORIENTED_EDGE ( 'NONE', *, *, #240, .F. ) ;
#240 = EDGE_CURVE ( 'NONE', #1543, #1542, #3698, .T. ) ;
#241 = ORIENTED_EDGE ( 'NONE', *, *, #1440, .T. ) ;
#242 = ORIENTED_EDGE ( 'NONE', *, *, #176, .T. ) ;
#243 = ADVANCED_FACE ( 'NONE', ( #3689, #3688 ), #3687, .T. ) ;
#244 = ORIENTED_EDGE ( 'NONE', *, *, #245, .F. ) ;
#245 = EDGE_CURVE ( 'NONE', #1488, #1485, #3682, .T. ) ;
#246 = ORIENTED_EDGE ( 'NONE', *, *, #1487, .F. ) ;
#247 = EDGE_LOOP ( 'NONE', ( #248, #249 ) ) ;
#248 = ORIENTED_EDGE ( 'NONE', *, *, #6236, .T. ) ;
#249 = ORIENTED_EDGE ( 'NONE', *, *, #1431, .T. ) ;
#250 = ADVANCED_FACE ( 'NONE', ( #3677, #3676 ), #3740, .F. ) ;
#251 = EDGE_LOOP ( 'NONE', ( #252, #178, #231, #232 ) ) ;
#252 = ORIENTED_EDGE ( 'NONE', *, *, #1484, .F. ) ;
#253 = ORIENTED_EDGE ( 'NONE', *, *, #1419, .F. ) ;
#254 = ORIENTED_EDGE ( 'NONE', *, *, #255, .F. ) ;
#255 = EDGE_CURVE ( 'NONE', #1417, #1416, #3735, .T. ) ;
#256 = ORIENTED_EDGE ( 'NONE', *, *, #1345, .T. ) ;
#257 = ORIENTED_EDGE ( 'NONE', *, *, #95, .T. ) ;
#258 = ADVANCED_FACE ( 'NONE', ( #3730 ), #3729, .T. ) ;
#259 = EDGE_LOOP ( 'NONE', ( #260, #261 ) ) ;
#260 = ORIENTED_EDGE ( 'NONE', *, *, #255, .T. ) ;
#261 = ORIENTED_EDGE ( 'NONE', *, *, #1415, .T. ) ;
#262 = ADVANCED_FACE ( 'NONE', ( #3724 ), #3723, .F. ) ;
#263 = EDGE_LOOP ( 'NONE', ( #310, #311, #313, #314 ) ) ;
#264 = ORIENTED_EDGE ( 'NONE', *, *, #284, .T. ) ;
#265 = ORIENTED_EDGE ( 'NONE', *, *, #1490, .T. ) ;
#266 = ADVANCED_FACE ( 'NONE', ( #3722 ), #3717, .F. ) ;
#267 = EDGE_LOOP ( 'NONE', ( #268, #269, #271, #272 ) ) ;
#268 = ORIENTED_EDGE ( 'NONE', *, *, #1361, .F. ) ;
#269 = ORIENTED_EDGE ( 'NONE', *, *, #270, .F. ) ;
#270 = EDGE_CURVE ( 'NONE', #1358, #1357, #3711, .T. ) ;
#271 = ORIENTED_EDGE ( 'NONE', *, *, #1368, .T. ) ;
#272 = ORIENTED_EDGE ( 'NONE', *, *, #99, .T. ) ;
#273 = ADVANCED_FACE ( 'NONE', ( #3773 ), #3772, .T. ) ;
#274 = EDGE_LOOP ( 'NONE', ( #275, #322 ) ) ;
#275 = ORIENTED_EDGE ( 'NONE', *, *, #270, .T. ) ;
#276 = EDGE_LOOP ( 'NONE', ( #253, #254, #256, #257 ) ) ;
#277 = ADVANCED_FACE ( 'NONE', ( #3767 ), #3766, .T. ) ;
#278 = ORIENTED_EDGE ( 'NONE', *, *, #226, .T. ) ;
#279 = ORIENTED_EDGE ( 'NONE', *, *, #1470, .T. ) ;
#280 = ADVANCED_FACE ( 'NONE', ( #3761 ), #3760, .F. ) ;
#281 = EDGE_LOOP ( 'NONE', ( #282, #283, #285, #286 ) ) ;
#282 = ORIENTED_EDGE ( 'NONE', *, *, #1492, .F. ) ;
#283 = ORIENTED_EDGE ( 'NONE', *, *, #284, .F. ) ;
#284 = EDGE_CURVE ( 'NONE', #1438, #1468, #3759, .T. ) ;
#285 = ORIENTED_EDGE ( 'NONE', *, *, #1426, .T. ) ;
#286 = ORIENTED_EDGE ( 'NONE', *, *, #103, .T. ) ;
#287 = ADVANCED_FACE ( 'NONE', ( #3750 ), #3749, .T. ) ;
#288 = ADVANCED_FACE ( 'NONE', ( #3744 ), #3741, .T. ) ;
#289 = EDGE_LOOP ( 'NONE', ( #290, #291 ) ) ;
#290 = ORIENTED_EDGE ( 'NONE', *, *, #309, .T. ) ;
#291 = ORIENTED_EDGE ( 'NONE', *, *, #1310, .T. ) ;
#292 = ADVANCED_FACE ( 'NONE', ( #4131 ), #4130, .F. ) ;
#293 = EDGE_LOOP ( 'NONE', ( #294, #295, #296, #351 ) ) ;
#294 = ORIENTED_EDGE ( 'NONE', *, *, #140, .T. ) ;
#295 = ORIENTED_EDGE ( 'NONE', *, *, #17, .F. ) ;
#296 = ORIENTED_EDGE ( 'NONE', *, *, #6013, .F. ) ;
#297 = ORIENTED_EDGE ( 'NONE', *, *, #298, .F. ) ;
#298 = EDGE_CURVE ( 'NONE', #1376, #1375, #4125, .T. ) ;
#299 = ORIENTED_EDGE ( 'NONE', *, *, #1393, .T. ) ;
#300 = ORIENTED_EDGE ( 'NONE', *, *, #113, .T. ) ;
#301 = ADVANCED_FACE ( 'NONE', ( #4120 ), #4119, .T. ) ;
#302 = EDGE_LOOP ( 'NONE', ( #303, #304 ) ) ;
#303 = ORIENTED_EDGE ( 'NONE', *, *, #298, .T. ) ;
#304 = ORIENTED_EDGE ( 'NONE', *, *, #1374, .T. ) ;
#305 = ADVANCED_FACE ( 'NONE', ( #4114 ), #4113, .F. ) ;
#306 = EDGE_LOOP ( 'NONE', ( #307, #308, #5397, #5414 ) ) ;
#307 = ORIENTED_EDGE ( 'NONE', *, *, #1458, .F. ) ;
#308 = ORIENTED_EDGE ( 'NONE', *, *, #309, .F. ) ;
#309 = EDGE_CURVE ( 'NONE', #1312, #1311, #4107, .T. ) ;
#310 = ORIENTED_EDGE ( 'NONE', *, *, #1401, .F. ) ;
#311 = ORIENTED_EDGE ( 'NONE', *, *, #312, .F. ) ;
#312 = EDGE_CURVE ( 'NONE', #1399, #1398, #4169, .T. ) ;
#313 = ORIENTED_EDGE ( 'NONE', *, *, #1407, .T. ) ;
#314 = ORIENTED_EDGE ( 'NONE', *, *, #117, .T. ) ;
#315 = ADVANCED_FACE ( 'NONE', ( #4164 ), #4103, .T. ) ;
#316 = EDGE_LOOP ( 'NONE', ( #317, #318 ) ) ;
#317 = ORIENTED_EDGE ( 'NONE', *, *, #312, .T. ) ;
#318 = ORIENTED_EDGE ( 'NONE', *, *, #1397, .T. ) ;
#319 = ADVANCED_FACE ( 'NONE', ( #4159 ), #4158, .F. ) ;
#320 = EDGE_LOOP ( 'NONE', ( #321, #297, #299, #300 ) ) ;
#321 = ORIENTED_EDGE ( 'NONE', *, *, #1387, .F. ) ;
#322 = ORIENTED_EDGE ( 'NONE', *, *, #1356, .T. ) ;
#323 = ADVANCED_FACE ( 'NONE', ( #4157 ), #4152, .F. ) ;
#324 = ADVANCED_FACE ( 'NONE', ( #4146 ), #4145, .T. ) ;
#325 = ADVANCED_FACE ( 'NONE', ( #4140 ), #4144, .F. ) ;
#326 = EDGE_LOOP ( 'NONE', ( #377, #378, #379, #380 ) ) ;
#327 = ORIENTED_EDGE ( 'NONE', *, *, #5948, .F. ) ;
#328 = ORIENTED_EDGE ( 'NONE', *, *, #329, .T. ) ;
#329 = EDGE_CURVE ( 'NONE', #5944, #132, #4139, .T. ) ;
#330 = ADVANCED_FACE ( 'NONE', ( #4201 ), #4200, .F. ) ;
#331 = EDGE_LOOP ( 'NONE', ( #332, #333, #334, #335 ) ) ;
#332 = ORIENTED_EDGE ( 'NONE', *, *, #134, .T. ) ;
#333 = ORIENTED_EDGE ( 'NONE', *, *, #329, .F. ) ;
#334 = ORIENTED_EDGE ( 'NONE', *, *, #5942, .F. ) ;
#335 = ORIENTED_EDGE ( 'NONE', *, *, #6145, .T. ) ;
#336 = ADVANCED_FACE ( 'NONE', ( #4195 ), #4194, .F. ) ;
#337 = EDGE_LOOP ( 'NONE', ( #338, #389, #390, #391 ) ) ;
#338 = ORIENTED_EDGE ( 'NONE', *, *, #167, .T. ) ;
#339 = ORIENTED_EDGE ( 'NONE', *, *, #68, .T. ) ;
#340 = ADVANCED_FACE ( 'NONE', ( #4189 ), #4188, .F. ) ;
#341 = EDGE_LOOP ( 'NONE', ( #342, #343, #344, #345 ) ) ;
#342 = ORIENTED_EDGE ( 'NONE', *, *, #153, .T. ) ;
#343 = ORIENTED_EDGE ( 'NONE', *, *, #6151, .F. ) ;
#344 = ORIENTED_EDGE ( 'NONE', *, *, #5954, .F. ) ;
#345 = ORIENTED_EDGE ( 'NONE', *, *, #346, .T. ) ;
#346 = EDGE_CURVE ( 'NONE', #5950, #154, #4183, .T. ) ;
#347 = ADVANCED_FACE ( 'NONE', ( #4179 ), #4178, .F. ) ;
#348 = EDGE_LOOP ( 'NONE', ( #349, #350, #327, #328 ) ) ;
#349 = ORIENTED_EDGE ( 'NONE', *, *, #156, .T. ) ;
#350 = ORIENTED_EDGE ( 'NONE', *, *, #346, .F. ) ;
#351 = ORIENTED_EDGE ( 'NONE', *, *, #1385, .T. ) ;
#352 = ADVANCED_FACE ( 'NONE', ( #4172 ), #4171, .F. ) ;
#353 = EDGE_LOOP ( 'NONE', ( #354, #355, #356, #358 ) ) ;
#354 = ORIENTED_EDGE ( 'NONE', *, *, #1379, .F. ) ;
#355 = ORIENTED_EDGE ( 'NONE', *, *, #6007, .F. ) ;
#356 = ORIENTED_EDGE ( 'NONE', *, *, #357, .T. ) ;
#357 = EDGE_CURVE ( 'NONE', #5900, #205, #4238, .T. ) ;
#358 = ORIENTED_EDGE ( 'NONE', *, *, #204, .T. ) ;
#359 = ADVANCED_FACE ( 'NONE', ( #4232 ), #4231, .F. ) ;
#360 = ORIENTED_EDGE ( 'NONE', *, *, #1377, .F. ) ;
#361 = ORIENTED_EDGE ( 'NONE', *, *, #6255, .F. ) ;
#362 = ORIENTED_EDGE ( 'NONE', *, *, #1348, .T. ) ;
#363 = ORIENTED_EDGE ( 'NONE', *, *, #364, .T. ) ;
#364 = EDGE_CURVE ( 'NONE', #1409, #1411, #4226, .T. ) ;
#365 = ADVANCED_FACE ( 'NONE', ( #4221 ), #4220, .F. ) ;
#366 = ORIENTED_EDGE ( 'NONE', *, *, #158, .T. ) ;
#367 = ORIENTED_EDGE ( 'NONE', *, *, #387, .F. ) ;
#368 = ORIENTED_EDGE ( 'NONE', *, *, #5925, .F. ) ;
#369 = ORIENTED_EDGE ( 'NONE', *, *, #370, .T. ) ;
#370 = EDGE_CURVE ( 'NONE', #5923, #159, #4215, .T. ) ;
#371 = ADVANCED_FACE ( 'NONE', ( #4210 ), #4209, .F. ) ;
#372 = EDGE_LOOP ( 'NONE', ( #373, #374, #375, #432 ) ) ;
#373 = ORIENTED_EDGE ( 'NONE', *, *, #161, .T. ) ;
#374 = ORIENTED_EDGE ( 'NONE', *, *, #370, .F. ) ;
#375 = ORIENTED_EDGE ( 'NONE', *, *, #5922, .F. ) ;
#376 = EDGE_LOOP ( 'NONE', ( #434, #435 ) ) ;
#377 = ORIENTED_EDGE ( 'NONE', *, *, #147, .T. ) ;
#378 = ORIENTED_EDGE ( 'NONE', *, *, #399, .F. ) ;
#379 = ORIENTED_EDGE ( 'NONE', *, *, #3933, .F. ) ;
#380 = ORIENTED_EDGE ( 'NONE', *, *, #12, .T. ) ;
#381 = ADVANCED_FACE ( 'NONE', ( #4267 ), #4266, .F. ) ;
#382 = EDGE_LOOP ( 'NONE', ( #383, #384, #385, #386 ) ) ;
#383 = ORIENTED_EDGE ( 'NONE', *, *, #93, .T. ) ;
#384 = ORIENTED_EDGE ( 'NONE', *, *, #73, .F. ) ;
#385 = ORIENTED_EDGE ( 'NONE', *, *, #5930, .F. ) ;
#386 = ORIENTED_EDGE ( 'NONE', *, *, #387, .T. ) ;
#387 = EDGE_CURVE ( 'NONE', #5926, #5409, #4261, .T. ) ;
#388 = EDGE_LOOP ( 'NONE', ( #366, #367, #368, #369 ) ) ;
#389 = ORIENTED_EDGE ( 'NONE', *, *, #6248, .F. ) ;
#390 = ORIENTED_EDGE ( 'NONE', *, *, #3857, .F. ) ;
#391 = ORIENTED_EDGE ( 'NONE', *, *, #392, .T. ) ;
#392 = EDGE_CURVE ( 'NONE', #3937, #168, #4257, .T. ) ;
#393 = ADVANCED_FACE ( 'NONE', ( #4253 ), #4251, .F. ) ;
#394 = EDGE_LOOP ( 'NONE', ( #395, #396, #397, #398 ) ) ;
#395 = ORIENTED_EDGE ( 'NONE', *, *, #144, .T. ) ;
#396 = ORIENTED_EDGE ( 'NONE', *, *, #392, .F. ) ;
#397 = ORIENTED_EDGE ( 'NONE', *, *, #3936, .F. ) ;
#398 = ORIENTED_EDGE ( 'NONE', *, *, #399, .T. ) ;
#399 = EDGE_CURVE ( 'NONE', #3934, #145, #4252, .T. ) ;
#400 = EDGE_CURVE ( 'NONE', #476, #424, #4243, .T. ) ;
#401 = ADVANCED_FACE ( 'NONE', ( #4239 ), #4303, .F. ) ;
#402 = EDGE_LOOP ( 'NONE', ( #455, #456, #457, #460 ) ) ;
#403 = ORIENTED_EDGE ( 'NONE', *, *, #404, .F. ) ;
#404 = EDGE_CURVE ( 'NONE', #431, #430, #4298, .T. ) ;
#405 = ORIENTED_EDGE ( 'NONE', *, *, #406, .F. ) ;
#406 = EDGE_CURVE ( 'NONE', #421, #431, #4294, .T. ) ;
#407 = EDGE_LOOP ( 'NONE', ( #408, #410 ) ) ;
#408 = ORIENTED_EDGE ( 'NONE', *, *, #409, .T. ) ;
#409 = EDGE_CURVE ( 'NONE', #1353, #1341, #4290, .T. ) ;
#410 = ORIENTED_EDGE ( 'NONE', *, *, #1217, .T. ) ;
#411 = ADVANCED_FACE ( 'NONE', ( #4285 ), #4284, .T. ) ;
#412 = EDGE_LOOP ( 'NONE', ( #413, #414, #415, #468 ) ) ;
#413 = ORIENTED_EDGE ( 'NONE', *, *, #1313, .F. ) ;
#414 = ORIENTED_EDGE ( 'NONE', *, *, #409, .F. ) ;
#415 = ORIENTED_EDGE ( 'NONE', *, *, #1364, .T. ) ;
#416 = ADVANCED_FACE ( 'NONE', ( #4278, #4277 ), #4283, .F. ) ;
#417 = EDGE_LOOP ( 'NONE', ( #418, #422, #425, #428, #403, #405 ) ) ;
#418 = ORIENTED_EDGE ( 'NONE', *, *, #419, .F. ) ;
#419 = EDGE_CURVE ( 'NONE', #420, #421, #4272, .T. ) ;
#420 = VERTEX_POINT ( 'NONE', #4334 ) ;
#421 = VERTEX_POINT ( 'NONE', #4333 ) ;
#422 = ORIENTED_EDGE ( 'NONE', *, *, #423, .F. ) ;
#423 = EDGE_CURVE ( 'NONE', #424, #420, #4332, .T. ) ;
#424 = VERTEX_POINT ( 'NONE', #4328 ) ;
#425 = ORIENTED_EDGE ( 'NONE', *, *, #426, .F. ) ;
#426 = EDGE_CURVE ( 'NONE', #427, #424, #4327, .T. ) ;
#427 = VERTEX_POINT ( 'NONE', #4323 ) ;
#428 = ORIENTED_EDGE ( 'NONE', *, *, #429, .F. ) ;
#429 = EDGE_CURVE ( 'NONE', #430, #427, #4322, .T. ) ;
#430 = VERTEX_POINT ( 'NONE', #4318 ) ;
#431 = VERTEX_POINT ( 'NONE', #4317 ) ;
#432 = ORIENTED_EDGE ( 'NONE', *, *, #130, .T. ) ;
#433 = ADVANCED_FACE ( 'NONE', ( #4316 ), #4315, .F. ) ;
#434 = ORIENTED_EDGE ( 'NONE', *, *, #1588, .T. ) ;
#435 = ORIENTED_EDGE ( 'NONE', *, *, #6121, .T. ) ;
#436 = ADVANCED_FACE ( 'NONE', ( #4314 ), #4307, .T. ) ;
#437 = EDGE_LOOP ( 'NONE', ( #360, #361, #362, #363 ) ) ;
#438 = ORIENTED_EDGE ( 'NONE', *, *, #511, .F. ) ;
#439 = ORIENTED_EDGE ( 'NONE', *, *, #440, .F. ) ;
#440 = EDGE_CURVE ( 'NONE', #1176, #1208, #4308, .T. ) ;
#441 = VERTEX_POINT ( 'NONE', #4364 ) ;
#442 = ORIENTED_EDGE ( 'NONE', *, *, #443, .T. ) ;
#443 = EDGE_CURVE ( 'NONE', #441, #430, #4363, .T. ) ;
#444 = ADVANCED_FACE ( 'NONE', ( #4359 ), #4358, .F. ) ;
#445 = EDGE_LOOP ( 'NONE', ( #446, #447, #448, #450 ) ) ;
#446 = ORIENTED_EDGE ( 'NONE', *, *, #404, .T. ) ;
#447 = ORIENTED_EDGE ( 'NONE', *, *, #443, .F. ) ;
#448 = ORIENTED_EDGE ( 'NONE', *, *, #449, .F. ) ;
#449 = EDGE_CURVE ( 'NONE', #1211, #441, #4353, .T. ) ;
#450 = ORIENTED_EDGE ( 'NONE', *, *, #451, .T. ) ;
#451 = EDGE_CURVE ( 'NONE', #1211, #431, #4349, .T. ) ;
#452 = ADVANCED_FACE ( 'NONE', ( #4345 ), #4344, .F. ) ;
#453 = EDGE_LOOP ( 'NONE', ( #454, #507, #508, #510 ) ) ;
#454 = ORIENTED_EDGE ( 'NONE', *, *, #406, .T. ) ;
#455 = ORIENTED_EDGE ( 'NONE', *, *, #426, .T. ) ;
#456 = ORIENTED_EDGE ( 'NONE', *, *, #400, .F. ) ;
#457 = ORIENTED_EDGE ( 'NONE', *, *, #458, .F. ) ;
#458 = EDGE_CURVE ( 'NONE', #459, #476, #4338, .T. ) ;
#459 = VERTEX_POINT ( 'NONE', #4688 ) ;
#460 = ORIENTED_EDGE ( 'NONE', *, *, #461, .T. ) ;
#461 = EDGE_CURVE ( 'NONE', #459, #427, #4684, .T. ) ;
#462 = ADVANCED_FACE ( 'NONE', ( #4678 ), #4676, .F. ) ;
#463 = EDGE_LOOP ( 'NONE', ( #464, #465, #466, #442 ) ) ;
#464 = ORIENTED_EDGE ( 'NONE', *, *, #429, .T. ) ;
#465 = ORIENTED_EDGE ( 'NONE', *, *, #461, .F. ) ;
#466 = ORIENTED_EDGE ( 'NONE', *, *, #467, .F. ) ;
#467 = EDGE_CURVE ( 'NONE', #441, #459, #4664, .T. ) ;
#468 = ORIENTED_EDGE ( 'NONE', *, *, #364, .F. ) ;
#469 = ADVANCED_FACE ( 'NONE', ( #4660 ), #4657, .F. ) ;
#470 = EDGE_LOOP ( 'NONE', ( #471, #472, #474, #477 ) ) ;
#471 = ORIENTED_EDGE ( 'NONE', *, *, #423, .T. ) ;
#472 = ORIENTED_EDGE ( 'NONE', *, *, #473, .F. ) ;
#473 = EDGE_CURVE ( 'NONE', #1176, #420, #4645, .T. ) ;
#474 = ORIENTED_EDGE ( 'NONE', *, *, #475, .F. ) ;
#475 = EDGE_CURVE ( 'NONE', #476, #1176, #4640, .T. ) ;
#476 = VERTEX_POINT ( 'NONE', #4628 ) ;
#477 = ORIENTED_EDGE ( 'NONE', *, *, #400, .T. ) ;
#478 = ORIENTED_EDGE ( 'NONE', *, *, #493, .T. ) ;
#479 = ORIENTED_EDGE ( 'NONE', *, *, #547, .T. ) ;
#480 = ORIENTED_EDGE ( 'NONE', *, *, #500, .T. ) ;
#481 = ORIENTED_EDGE ( 'NONE', *, *, #509, .T. ) ;
#482 = ORIENTED_EDGE ( 'NONE', *, *, #1210, .F. ) ;
#483 = ADVANCED_FACE ( 'NONE', ( #4626 ), #4631, .T. ) ;
#484 = EDGE_LOOP ( 'NONE', ( #485, #486, #488 ) ) ;
#485 = ORIENTED_EDGE ( 'NONE', *, *, #449, .T. ) ;
#486 = ORIENTED_EDGE ( 'NONE', *, *, #487, .F. ) ;
#487 = EDGE_CURVE ( 'NONE', #1170, #441, #4746, .T. ) ;
#488 = ORIENTED_EDGE ( 'NONE', *, *, #1213, .F. ) ;
#489 = ADVANCED_FACE ( 'NONE', ( #4736 ), #4734, .T. ) ;
#490 = EDGE_LOOP ( 'NONE', ( #491, #492 ) ) ;
#491 = ORIENTED_EDGE ( 'NONE', *, *, #467, .T. ) ;
#492 = ORIENTED_EDGE ( 'NONE', *, *, #493, .F. ) ;
#493 = EDGE_CURVE ( 'NONE', #441, #459, #4724, .T. ) ;
#494 = ORIENTED_EDGE ( 'NONE', *, *, #473, .T. ) ;
#495 = ADVANCED_FACE ( 'NONE', ( #4716 ), #4712, .T. ) ;
#496 = EDGE_LOOP ( 'NONE', ( #497, #498, #499 ) ) ;
#497 = ORIENTED_EDGE ( 'NONE', *, *, #475, .T. ) ;
#498 = ORIENTED_EDGE ( 'NONE', *, *, #1175, .F. ) ;
#499 = ORIENTED_EDGE ( 'NONE', *, *, #500, .F. ) ;
#500 = EDGE_CURVE ( 'NONE', #476, #1173, #4700, .T. ) ;
#501 = ADVANCED_FACE ( 'NONE', ( #4693 ), #4816, .T. ) ;
#502 = EDGE_LOOP ( 'NONE', ( #503, #504 ) ) ;
#503 = ORIENTED_EDGE ( 'NONE', *, *, #440, .T. ) ;
#504 = ORIENTED_EDGE ( 'NONE', *, *, #1207, .F. ) ;
#505 = ADVANCED_FACE ( 'NONE', ( #4817 ), #4810, .T. ) ;
#506 = EDGE_LOOP ( 'NONE', ( #481, #482 ) ) ;
#507 = ORIENTED_EDGE ( 'NONE', *, *, #451, .F. ) ;
#508 = ORIENTED_EDGE ( 'NONE', *, *, #509, .F. ) ;
#509 = EDGE_CURVE ( 'NONE', #1208, #1211, #4798, .T. ) ;
#510 = ORIENTED_EDGE ( 'NONE', *, *, #511, .T. ) ;
#511 = EDGE_CURVE ( 'NONE', #1208, #421, #4790, .T. ) ;
#512 = ADVANCED_FACE ( 'NONE', ( #4782 ), #4780, .F. ) ;
#513 = EDGE_LOOP ( 'NONE', ( #514, #438, #439, #494 ) ) ;
#514 = ORIENTED_EDGE ( 'NONE', *, *, #419, .T. ) ;
#515 = ADVANCED_FACE ( 'NONE', ( #4770 ), #4768, .T. ) ;
#516 = EDGE_LOOP ( 'NONE', ( #517, #518, #520, #599 ) ) ;
#517 = ORIENTED_EDGE ( 'NONE', *, *, #594, .F. ) ;
#518 = ORIENTED_EDGE ( 'NONE', *, *, #519, .T. ) ;
#519 = EDGE_CURVE ( 'NONE', #592, #627, #4881, .T. ) ;
#520 = ORIENTED_EDGE ( 'NONE', *, *, #662, .F. ) ;
#521 = ORIENTED_EDGE ( 'NONE', *, *, #523, .T. ) ;
#522 = ORIENTED_EDGE ( 'NONE', *, *, #526, .F. ) ;
#523 = EDGE_CURVE ( 'NONE', #528, #6531, #4854, .T. ) ;
#524 = ORIENTED_EDGE ( 'NONE', *, *, #6525, .F. ) ;
#525 = ADVANCED_FACE ( 'NONE', ( #4875 ), #4852, .T. ) ;
#526 = EDGE_CURVE ( 'NONE', #528, #6349, #4847, .T. ) ;
#527 = EDGE_LOOP ( 'NONE', ( #522, #521, #524, #649 ) ) ;
#528 = VERTEX_POINT ( 'NONE', #4939 ) ;
#529 = ORIENTED_EDGE ( 'NONE', *, *, #526, .T. ) ;
#530 = ADVANCED_FACE ( 'NONE', ( #4937 ), #4935, .F. ) ;
#531 = EDGE_LOOP ( 'NONE', ( #532, #533, #534, #537, #540, #3068 ) ) ;
#532 = ORIENTED_EDGE ( 'NONE', *, *, #1185, .F. ) ;
#533 = ORIENTED_EDGE ( 'NONE', *, *, #1259, .T. ) ;
#534 = ORIENTED_EDGE ( 'NONE', *, *, #535, .F. ) ;
#535 = EDGE_CURVE ( 'NONE', #536, #1183, #4924, .T. ) ;
#536 = VERTEX_POINT ( 'NONE', #4920 ) ;
#537 = ORIENTED_EDGE ( 'NONE', *, *, #538, .F. ) ;
#538 = EDGE_CURVE ( 'NONE', #539, #536, #4904, .T. ) ;
#539 = VERTEX_POINT ( 'NONE', #4902 ) ;
#540 = ORIENTED_EDGE ( 'NONE', *, *, #541, .F. ) ;
#541 = EDGE_CURVE ( 'NONE', #542, #539, #5002, .T. ) ;
#542 = VERTEX_POINT ( 'NONE', #4999 ) ;
#543 = ADVANCED_FACE ( 'NONE', ( #5005 ), #4995, .T. ) ;
#544 = EDGE_LOOP ( 'NONE', ( #545, #546 ) ) ;
#545 = ORIENTED_EDGE ( 'NONE', *, *, #458, .T. ) ;
#546 = ORIENTED_EDGE ( 'NONE', *, *, #547, .F. ) ;
#547 = EDGE_CURVE ( 'NONE', #459, #476, #4971, .T. ) ;
#548 = ADVANCED_FACE ( 'NONE', ( #4962 ), #4960, .F. ) ;
#549 = EDGE_LOOP ( 'NONE', ( #550, #551, #552, #478, #479, #480 ) ) ;
#550 = ORIENTED_EDGE ( 'NONE', *, *, #1172, .F. ) ;
#551 = ORIENTED_EDGE ( 'NONE', *, *, #1201, .T. ) ;
#552 = ORIENTED_EDGE ( 'NONE', *, *, #487, .T. ) ;
#553 = EDGE_CURVE ( 'NONE', #633, #626, #4949, .T. ) ;
#554 = ADVANCED_FACE ( 'NONE', ( #4945 ), #5060, .T. ) ;
#555 = EDGE_LOOP ( 'NONE', ( #556, #587, #590, #593 ) ) ;
#556 = ORIENTED_EDGE ( 'NONE', *, *, #557, .F. ) ;
#557 = EDGE_CURVE ( 'NONE', #558, #559, #5062, .T. ) ;
#558 = VERTEX_POINT ( 'NONE', #5046 ) ;
#559 = VERTEX_POINT ( 'NONE', #5045 ) ;
#560 = EDGE_CURVE ( 'NONE', #580, #614, #5040, .T. ) ;
#561 = ORIENTED_EDGE ( 'NONE', *, *, #612, .F. ) ;
#562 = ORIENTED_EDGE ( 'NONE', *, *, #563, .T. ) ;
#563 = EDGE_CURVE ( 'NONE', #613, #574, #5030, .T. ) ;
#564 = ADVANCED_FACE ( 'NONE', ( #5034 ), #5032, .F. ) ;
#565 = EDGE_LOOP ( 'NONE', ( #566, #568, #569, #571 ) ) ;
#566 = ORIENTED_EDGE ( 'NONE', *, *, #567, .F. ) ;
#567 = EDGE_CURVE ( 'NONE', #3898, #617, #5106, .T. ) ;
#568 = ORIENTED_EDGE ( 'NONE', *, *, #3906, .F. ) ;
#569 = ORIENTED_EDGE ( 'NONE', *, *, #570, .F. ) ;
#570 = EDGE_CURVE ( 'NONE', #620, #3904, #5099, .T. ) ;
#571 = ORIENTED_EDGE ( 'NONE', *, *, #619, .F. ) ;
#572 = EDGE_CURVE ( 'NONE', #573, #574, #11394, .T. ) ;
#573 = VERTEX_POINT ( 'NONE', #11376 ) ;
#574 = VERTEX_POINT ( 'NONE', #11375 ) ;
#575 = ORIENTED_EDGE ( 'NONE', *, *, #576, .T. ) ;
#576 = EDGE_CURVE ( 'NONE', #573, #577, #11374, .T. ) ;
#577 = VERTEX_POINT ( 'NONE', #11369 ) ;
#578 = ORIENTED_EDGE ( 'NONE', *, *, #579, .F. ) ;
#579 = EDGE_CURVE ( 'NONE', #580, #577, #11368, .T. ) ;
#580 = VERTEX_POINT ( 'NONE', #11364 ) ;
#581 = ORIENTED_EDGE ( 'NONE', *, *, #582, .T. ) ;
#582 = EDGE_CURVE ( 'NONE', #580, #574, #11363, .T. ) ;
#583 = ADVANCED_FACE ( 'NONE', ( #11426 ), #11425, .T. ) ;
#584 = EDGE_LOOP ( 'NONE', ( #585, #586, #561, #562 ) ) ;
#585 = ORIENTED_EDGE ( 'NONE', *, *, #582, .F. ) ;
#586 = ORIENTED_EDGE ( 'NONE', *, *, #560, .T. ) ;
#587 = ORIENTED_EDGE ( 'NONE', *, *, #588, .T. ) ;
#588 = EDGE_CURVE ( 'NONE', #558, #589, #11419, .T. ) ;
#589 = VERTEX_POINT ( 'NONE', #11415 ) ;
#590 = ORIENTED_EDGE ( 'NONE', *, *, #591, .F. ) ;
#591 = EDGE_CURVE ( 'NONE', #592, #589, #11414, .T. ) ;
#592 = VERTEX_POINT ( 'NONE', #11410 ) ;
#593 = ORIENTED_EDGE ( 'NONE', *, *, #594, .T. ) ;
#594 = EDGE_CURVE ( 'NONE', #592, #559, #11409, .T. ) ;
#595 = ORIENTED_EDGE ( 'NONE', *, *, #596, .T. ) ;
#596 = EDGE_CURVE ( 'NONE', #674, #667, #11404, .T. ) ;
#597 = ADVANCED_FACE ( 'NONE', ( #11400 ), #11399, .T. ) ;
#598 = EDGE_LOOP ( 'NONE', ( #713, #636, #638, #641 ) ) ;
#599 = ORIENTED_EDGE ( 'NONE', *, *, #600, .T. ) ;
#600 = EDGE_CURVE ( 'NONE', #626, #559, #11449, .T. ) ;
#601 = ADVANCED_FACE ( 'NONE', ( #11447 ), #11446, .F. ) ;
#602 = EDGE_LOOP ( 'NONE', ( #603, #605, #606, #608 ) ) ;
#603 = ORIENTED_EDGE ( 'NONE', *, *, #604, .F. ) ;
#604 = EDGE_CURVE ( 'NONE', #3972, #630, #11437, .T. ) ;
#605 = ORIENTED_EDGE ( 'NONE', *, *, #3974, .F. ) ;
#606 = ORIENTED_EDGE ( 'NONE', *, *, #607, .F. ) ;
#607 = EDGE_CURVE ( 'NONE', #633, #4007, #11484, .T. ) ;
#608 = ORIENTED_EDGE ( 'NONE', *, *, #632, .F. ) ;
#609 = ADVANCED_FACE ( 'NONE', ( #11483 ), #11436, .T. ) ;
#610 = EDGE_LOOP ( 'NONE', ( #611, #615, #618, #621 ) ) ;
#611 = ORIENTED_EDGE ( 'NONE', *, *, #612, .T. ) ;
#612 = EDGE_CURVE ( 'NONE', #613, #614, #11462, .T. ) ;
#613 = VERTEX_POINT ( 'NONE', #11457 ) ;
#614 = VERTEX_POINT ( 'NONE', #11456 ) ;
#615 = ORIENTED_EDGE ( 'NONE', *, *, #616, .T. ) ;
#616 = EDGE_CURVE ( 'NONE', #614, #617, #11455, .T. ) ;
#617 = VERTEX_POINT ( 'NONE', #11451 ) ;
#618 = ORIENTED_EDGE ( 'NONE', *, *, #619, .T. ) ;
#619 = EDGE_CURVE ( 'NONE', #617, #620, #11520, .T. ) ;
#620 = VERTEX_POINT ( 'NONE', #11521 ) ;
#621 = ORIENTED_EDGE ( 'NONE', *, *, #622, .T. ) ;
#622 = EDGE_CURVE ( 'NONE', #620, #613, #11515, .T. ) ;
#623 = ADVANCED_FACE ( 'NONE', ( #11511 ), #11509, .T. ) ;
#624 = EDGE_LOOP ( 'NONE', ( #625, #575, #578, #581 ) ) ;
#625 = ORIENTED_EDGE ( 'NONE', *, *, #572, .F. ) ;
#626 = VERTEX_POINT ( 'NONE', #11510 ) ;
#627 = VERTEX_POINT ( 'NONE', #11504 ) ;
#628 = ORIENTED_EDGE ( 'NONE', *, *, #629, .T. ) ;
#629 = EDGE_CURVE ( 'NONE', #627, #630, #11503, .T. ) ;
#630 = VERTEX_POINT ( 'NONE', #11499 ) ;
#631 = ORIENTED_EDGE ( 'NONE', *, *, #632, .T. ) ;
#632 = EDGE_CURVE ( 'NONE', #630, #633, #11498, .T. ) ;
#633 = VERTEX_POINT ( 'NONE', #11493 ) ;
#634 = ORIENTED_EDGE ( 'NONE', *, *, #553, .T. ) ;
#635 = VERTEX_POINT ( 'NONE', #11492 ) ;
#636 = ORIENTED_EDGE ( 'NONE', *, *, #637, .T. ) ;
#637 = EDGE_CURVE ( 'NONE', #715, #635, #11490, .T. ) ;
#638 = ORIENTED_EDGE ( 'NONE', *, *, #639, .F. ) ;
#639 = EDGE_CURVE ( 'NONE', #640, #635, #11491, .T. ) ;
#640 = VERTEX_POINT ( 'NONE', #11542 ) ;
#641 = ORIENTED_EDGE ( 'NONE', *, *, #642, .T. ) ;
#642 = EDGE_CURVE ( 'NONE', #640, #716, #11541, .T. ) ;
#643 = ADVANCED_FACE ( 'NONE', ( #11536 ), #11535, .T. ) ;
#644 = EDGE_LOOP ( 'NONE', ( #645, #646, #648, #33 ) ) ;
#645 = ORIENTED_EDGE ( 'NONE', *, *, #642, .F. ) ;
#646 = ORIENTED_EDGE ( 'NONE', *, *, #647, .T. ) ;
#647 = EDGE_CURVE ( 'NONE', #640, #668, #11530, .T. ) ;
#648 = ORIENTED_EDGE ( 'NONE', *, *, #666, .F. ) ;
#649 = ORIENTED_EDGE ( 'NONE', *, *, #650, .T. ) ;
#650 = EDGE_CURVE ( 'NONE', #6529, #6349, #11575, .T. ) ;
#651 = ADVANCED_FACE ( 'NONE', ( #11574 ), #11572, .F. ) ;
#652 = EDGE_LOOP ( 'NONE', ( #653, #655, #656, #658 ) ) ;
#653 = ORIENTED_EDGE ( 'NONE', *, *, #654, .F. ) ;
#654 = EDGE_CURVE ( 'NONE', #3778, #6540, #11561, .T. ) ;
#655 = ORIENTED_EDGE ( 'NONE', *, *, #4001, .F. ) ;
#656 = ORIENTED_EDGE ( 'NONE', *, *, #657, .F. ) ;
#657 = EDGE_CURVE ( 'NONE', #6553, #3944, #11558, .T. ) ;
#658 = ORIENTED_EDGE ( 'NONE', *, *, #6548, .F. ) ;
#659 = ADVANCED_FACE ( 'NONE', ( #11560 ), #11559, .T. ) ;
#660 = EDGE_LOOP ( 'NONE', ( #661, #628, #631, #634 ) ) ;
#661 = ORIENTED_EDGE ( 'NONE', *, *, #662, .T. ) ;
#662 = EDGE_CURVE ( 'NONE', #626, #627, #11589, .T. ) ;
#663 = ADVANCED_FACE ( 'NONE', ( #11585 ), #11583, .T. ) ;
#664 = EDGE_LOOP ( 'NONE', ( #665, #669, #672, #595 ) ) ;
#665 = ORIENTED_EDGE ( 'NONE', *, *, #666, .T. ) ;
#666 = EDGE_CURVE ( 'NONE', #667, #668, #5071, .T. ) ;
#667 = VERTEX_POINT ( 'NONE', #11645 ) ;
#668 = VERTEX_POINT ( 'NONE', #11644 ) ;
#669 = ORIENTED_EDGE ( 'NONE', *, *, #670, .T. ) ;
#670 = EDGE_CURVE ( 'NONE', #668, #671, #11643, .T. ) ;
#671 = VERTEX_POINT ( 'NONE', #11639 ) ;
#672 = ORIENTED_EDGE ( 'NONE', *, *, #673, .T. ) ;
#673 = EDGE_CURVE ( 'NONE', #671, #674, #11638, .T. ) ;
#674 = VERTEX_POINT ( 'NONE', #11633 ) ;
#675 = EDGE_CURVE ( 'NONE', #707, #676, #11632, .T. ) ;
#676 = VERTEX_POINT ( 'NONE', #11628 ) ;
#677 = EDGE_CURVE ( 'NONE', #865, #845, #11627, .T. ) ;
#678 = ADVANCED_FACE ( 'NONE', ( #11623 ), #11622, .T. ) ;
#679 = ORIENTED_EDGE ( 'NONE', *, *, #680, .F. ) ;
#680 = EDGE_CURVE ( 'NONE', #735, #736, #11616, .T. ) ;
#681 = EDGE_LOOP ( 'NONE', ( #679, #737, #740, #721 ) ) ;
#682 = ORIENTED_EDGE ( 'NONE', *, *, #683, .T. ) ;
#683 = EDGE_CURVE ( 'NONE', #684, #685, #11674, .T. ) ;
#684 = VERTEX_POINT ( 'NONE', #11669 ) ;
#685 = VERTEX_POINT ( 'NONE', #11668 ) ;
#686 = ORIENTED_EDGE ( 'NONE', *, *, #687, .T. ) ;
#687 = EDGE_CURVE ( 'NONE', #685, #741, #11667, .T. ) ;
#688 = ORIENTED_EDGE ( 'NONE', *, *, #720, .T. ) ;
#689 = ORIENTED_EDGE ( 'NONE', *, *, #690, .F. ) ;
#690 = EDGE_CURVE ( 'NONE', #684, #739, #11663, .T. ) ;
#691 = EDGE_LOOP ( 'NONE', ( #693, #697, #700, #703 ) ) ;
#692 = ADVANCED_FACE ( 'NONE', ( #11659 ), #11658, .T. ) ;
#693 = ORIENTED_EDGE ( 'NONE', *, *, #694, .F. ) ;
#694 = EDGE_CURVE ( 'NONE', #695, #696, #11652, .T. ) ;
#695 = VERTEX_POINT ( 'NONE', #11648 ) ;
#696 = VERTEX_POINT ( 'NONE', #11647 ) ;
#697 = ORIENTED_EDGE ( 'NONE', *, *, #698, .T. ) ;
#698 = EDGE_CURVE ( 'NONE', #695, #699, #11646, .T. ) ;
#699 = VERTEX_POINT ( 'NONE', #11704 ) ;
#700 = ORIENTED_EDGE ( 'NONE', *, *, #701, .F. ) ;
#701 = EDGE_CURVE ( 'NONE', #702, #699, #11703, .T. ) ;
#702 = VERTEX_POINT ( 'NONE', #11698 ) ;
#703 = ORIENTED_EDGE ( 'NONE', *, *, #704, .F. ) ;
#704 = EDGE_CURVE ( 'NONE', #696, #702, #11697, .T. ) ;
#705 = ADVANCED_FACE ( 'NONE', ( #11693 ), #11692, .F. ) ;
#706 = EDGE_LOOP ( 'NONE', ( #758, #752, #755, #708, #772, #840 ) ) ;
#707 = VERTEX_POINT ( 'NONE', #11687 ) ;
#708 = ORIENTED_EDGE ( 'NONE', *, *, #833, .F. ) ;
#709 = ORIENTED_EDGE ( 'NONE', *, *, #783, .T. ) ;
#710 = VERTEX_POINT ( 'NONE', #11686 ) ;
#711 = ORIENTED_EDGE ( 'NONE', *, *, #677, .F. ) ;
#712 = VERTEX_POINT ( 'NONE', #11685 ) ;
#713 = ORIENTED_EDGE ( 'NONE', *, *, #714, .F. ) ;
#714 = EDGE_CURVE ( 'NONE', #715, #716, #11684, .T. ) ;
#715 = VERTEX_POINT ( 'NONE', #11680 ) ;
#716 = VERTEX_POINT ( 'NONE', #11679 ) ;
#717 = ADVANCED_FACE ( 'NONE', ( #11678 ), #11739, .F. ) ;
#718 = EDGE_LOOP ( 'NONE', ( #719, #802, #776, #709, #889 ) ) ;
#719 = ORIENTED_EDGE ( 'NONE', *, *, #799, .T. ) ;
#720 = EDGE_CURVE ( 'NONE', #741, #739, #11735, .T. ) ;
#721 = ORIENTED_EDGE ( 'NONE', *, *, #722, .F. ) ;
#722 = EDGE_CURVE ( 'NONE', #736, #741, #11730, .T. ) ;
#723 = ADVANCED_FACE ( 'NONE', ( #11726 ), #11725, .F. ) ;
#724 = EDGE_LOOP ( 'NONE', ( #725, #729, #732, #742, #745, #748 ) ) ;
#725 = ORIENTED_EDGE ( 'NONE', *, *, #727, .F. ) ;
#726 = VERTEX_POINT ( 'NONE', #11720 ) ;
#727 = EDGE_CURVE ( 'NONE', #726, #728, #11719, .T. ) ;
#728 = VERTEX_POINT ( 'NONE', #11715 ) ;
#729 = ORIENTED_EDGE ( 'NONE', *, *, #730, .T. ) ;
#730 = EDGE_CURVE ( 'NONE', #726, #731, #11714, .T. ) ;
#731 = VERTEX_POINT ( 'NONE', #11710 ) ;
#732 = ORIENTED_EDGE ( 'NONE', *, *, #733, .F. ) ;
#733 = EDGE_CURVE ( 'NONE', #734, #731, #11709, .T. ) ;
#734 = VERTEX_POINT ( 'NONE', #11708 ) ;
#735 = VERTEX_POINT ( 'NONE', #11763 ) ;
#736 = VERTEX_POINT ( 'NONE', #11762 ) ;
#737 = ORIENTED_EDGE ( 'NONE', *, *, #738, .T. ) ;
#738 = EDGE_CURVE ( 'NONE', #735, #739, #11755, .T. ) ;
#739 = VERTEX_POINT ( 'NONE', #11751 ) ;
#740 = ORIENTED_EDGE ( 'NONE', *, *, #720, .F. ) ;
#741 = VERTEX_POINT ( 'NONE', #11750 ) ;
#742 = ORIENTED_EDGE ( 'NONE', *, *, #743, .F. ) ;
#743 = EDGE_CURVE ( 'NONE', #744, #734, #11749, .T. ) ;
#744 = VERTEX_POINT ( 'NONE', #11748 ) ;
#745 = ORIENTED_EDGE ( 'NONE', *, *, #746, .F. ) ;
#746 = EDGE_CURVE ( 'NONE', #747, #744, #11740, .T. ) ;
#747 = VERTEX_POINT ( 'NONE', #11741 ) ;
#748 = ORIENTED_EDGE ( 'NONE', *, *, #749, .F. ) ;
#749 = EDGE_CURVE ( 'NONE', #728, #747, #11785, .T. ) ;
#750 = ADVANCED_FACE ( 'NONE', ( #11784 ), #11783, .T. ) ;
#751 = EDGE_LOOP ( 'NONE', ( #682, #686, #688, #689 ) ) ;
#752 = ORIENTED_EDGE ( 'NONE', *, *, #753, .T. ) ;
#753 = EDGE_CURVE ( 'NONE', #707, #754, #11772, .T. ) ;
#754 = VERTEX_POINT ( 'NONE', #11768 ) ;
#755 = ORIENTED_EDGE ( 'NONE', *, *, #756, .F. ) ;
#756 = EDGE_CURVE ( 'NONE', #757, #754, #11767, .T. ) ;
#757 = VERTEX_POINT ( 'NONE', #11766 ) ;
#758 = ORIENTED_EDGE ( 'NONE', *, *, #675, .F. ) ;
#759 = ADVANCED_FACE ( 'NONE', ( #11765 ), #11822, .T. ) ;
#760 = ORIENTED_EDGE ( 'NONE', *, *, #770, .T. ) ;
#761 = EDGE_CURVE ( 'NONE', #823, #762, #11812, .T. ) ;
#762 = VERTEX_POINT ( 'NONE', #11808 ) ;
#763 = ORIENTED_EDGE ( 'NONE', *, *, #767, .T. ) ;
#764 = VERTEX_POINT ( 'NONE', #11807 ) ;
#765 = VERTEX_POINT ( 'NONE', #11806 ) ;
#766 = ORIENTED_EDGE ( 'NONE', *, *, #761, .T. ) ;
#767 = EDGE_CURVE ( 'NONE', #762, #768, #11805, .T. ) ;
#768 = VERTEX_POINT ( 'NONE', #11800 ) ;
#769 = ORIENTED_EDGE ( 'NONE', *, *, #830, .F. ) ;
#770 = EDGE_CURVE ( 'NONE', #771, #764, #11799, .T. ) ;
#771 = VERTEX_POINT ( 'NONE', #11794 ) ;
#772 = ORIENTED_EDGE ( 'NONE', *, *, #773, .F. ) ;
#773 = EDGE_CURVE ( 'NONE', #774, #834, #11793, .T. ) ;
#774 = VERTEX_POINT ( 'NONE', #11792 ) ;
#775 = VERTEX_POINT ( 'NONE', #11851 ) ;
#776 = ORIENTED_EDGE ( 'NONE', *, *, #777, .T. ) ;
#777 = EDGE_CURVE ( 'NONE', #775, #782, #11844, .T. ) ;
#778 = EDGE_CURVE ( 'NONE', #676, #774, #11839, .T. ) ;
#779 = ORIENTED_EDGE ( 'NONE', *, *, #780, .F. ) ;
#780 = EDGE_CURVE ( 'NONE', #820, #819, #11831, .T. ) ;
#781 = ORIENTED_EDGE ( 'NONE', *, *, #783, .F. ) ;
#782 = VERTEX_POINT ( 'NONE', #11827 ) ;
#783 = EDGE_CURVE ( 'NONE', #782, #820, #11825, .T. ) ;
#784 = ORIENTED_EDGE ( 'NONE', *, *, #785, .F. ) ;
#785 = EDGE_CURVE ( 'NONE', #839, #782, #11878, .T. ) ;
#786 = ADVANCED_FACE ( 'NONE', ( #11874 ), #11872, .F. ) ;
#787 = EDGE_LOOP ( 'NONE', ( #788, #792, #827, #829 ) ) ;
#788 = ORIENTED_EDGE ( 'NONE', *, *, #789, .F. ) ;
#789 = EDGE_CURVE ( 'NONE', #790, #791, #11867, .T. ) ;
#790 = VERTEX_POINT ( 'NONE', #11863 ) ;
#791 = VERTEX_POINT ( 'NONE', #11862 ) ;
#792 = ORIENTED_EDGE ( 'NONE', *, *, #793, .T. ) ;
#793 = EDGE_CURVE ( 'NONE', #790, #794, #11861, .T. ) ;
#794 = VERTEX_POINT ( 'NONE', #11857 ) ;
#795 = VERTEX_POINT ( 'NONE', #11856 ) ;
#796 = ORIENTED_EDGE ( 'NONE', *, *, #797, .T. ) ;
#797 = EDGE_CURVE ( 'NONE', #764, #702, #11855, .T. ) ;
#798 = ORIENTED_EDGE ( 'NONE', *, *, #701, .T. ) ;
#799 = EDGE_CURVE ( 'NONE', #800, #801, #11917, .T. ) ;
#800 = VERTEX_POINT ( 'NONE', #11918 ) ;
#801 = VERTEX_POINT ( 'NONE', #11916 ) ;
#802 = ORIENTED_EDGE ( 'NONE', *, *, #803, .T. ) ;
#803 = EDGE_CURVE ( 'NONE', #801, #775, #11879, .T. ) ;
#804 = EDGE_CURVE ( 'NONE', #791, #795, #11912, .T. ) ;
#805 = ORIENTED_EDGE ( 'NONE', *, *, #847, .T. ) ;
#806 = ADVANCED_FACE ( 'NONE', ( #11908 ), #11939, .T. ) ;
#807 = ORIENTED_EDGE ( 'NONE', *, *, #914, .F. ) ;
#808 = ORIENTED_EDGE ( 'NONE', *, *, #921, .F. ) ;
#809 = ORIENTED_EDGE ( 'NONE', *, *, #898, .T. ) ;
#810 = ORIENTED_EDGE ( 'NONE', *, *, #878, .T. ) ;
#811 = MANIFOLD_SOLID_BREP ( 'NONE', #2960 ) ;
#812 = ADVANCED_FACE ( 'NONE', ( #11934 ), #11937, .T. ) ;
#813 = CLOSED_SHELL ( 'NONE', ( #907, #806, #866, #874 ) ) ;
#814 = EDGE_LOOP ( 'NONE', ( #815, #843, #846, #849 ) ) ;
#815 = ORIENTED_EDGE ( 'NONE', *, *, #816, .F. ) ;
#816 = EDGE_CURVE ( 'NONE', #923, #842, #11965, .T. ) ;
#817 = ORIENTED_EDGE ( 'NONE', *, *, #818, .T. ) ;
#818 = EDGE_CURVE ( 'NONE', #838, #819, #11961, .T. ) ;
#819 = VERTEX_POINT ( 'NONE', #11957 ) ;
#820 = VERTEX_POINT ( 'NONE', #11956 ) ;
#821 = ADVANCED_FACE ( 'NONE', ( #11955 ), #11953, .T. ) ;
#822 = ORIENTED_EDGE ( 'NONE', *, *, #824, .F. ) ;
#823 = VERTEX_POINT ( 'NONE', #11949 ) ;
#824 = EDGE_CURVE ( 'NONE', #823, #765, #11948, .T. ) ;
#825 = ORIENTED_EDGE ( 'NONE', *, *, #826, .F. ) ;
#826 = EDGE_CURVE ( 'NONE', #771, #699, #11943, .T. ) ;
#827 = ORIENTED_EDGE ( 'NONE', *, *, #828, .T. ) ;
#828 = EDGE_CURVE ( 'NONE', #794, #795, #11998, .T. ) ;
#829 = ORIENTED_EDGE ( 'NONE', *, *, #804, .F. ) ;
#830 = EDGE_CURVE ( 'NONE', #765, #768, #11993, .T. ) ;
#831 = ADVANCED_FACE ( 'NONE', ( #11989 ), #11988, .T. ) ;
#832 = EDGE_LOOP ( 'NONE', ( #836, #817, #779, #781, #784 ) ) ;
#833 = EDGE_CURVE ( 'NONE', #834, #757, #11983, .T. ) ;
#834 = VERTEX_POINT ( 'NONE', #11982 ) ;
#835 = EDGE_LOOP ( 'NONE', ( #822, #766, #763, #769 ) ) ;
#836 = ORIENTED_EDGE ( 'NONE', *, *, #837, .F. ) ;
#837 = EDGE_CURVE ( 'NONE', #838, #839, #11981, .T. ) ;
#838 = VERTEX_POINT ( 'NONE', #11970 ) ;
#839 = VERTEX_POINT ( 'NONE', #11969 ) ;
#840 = ORIENTED_EDGE ( 'NONE', *, *, #778, .F. ) ;
#841 = EDGE_LOOP ( 'NONE', ( #760, #796, #798, #825 ) ) ;
#842 = VERTEX_POINT ( 'NONE', #12030 ) ;
#843 = ORIENTED_EDGE ( 'NONE', *, *, #844, .T. ) ;
#844 = EDGE_CURVE ( 'NONE', #923, #845, #12029, .T. ) ;
#845 = VERTEX_POINT ( 'NONE', #12025 ) ;
#846 = ORIENTED_EDGE ( 'NONE', *, *, #847, .F. ) ;
#847 = EDGE_CURVE ( 'NONE', #848, #845, #12024, .T. ) ;
#848 = VERTEX_POINT ( 'NONE', #12019 ) ;
#849 = ORIENTED_EDGE ( 'NONE', *, *, #850, .F. ) ;
#850 = EDGE_CURVE ( 'NONE', #842, #848, #12018, .T. ) ;
#851 = ADVANCED_FACE ( 'NONE', ( #12014 ), #12013, .F. ) ;
#852 = EDGE_LOOP ( 'NONE', ( #854, #857, #860, #901, #904, #917 ) ) ;
#853 = VERTEX_POINT ( 'NONE', #12008 ) ;
#854 = ORIENTED_EDGE ( 'NONE', *, *, #855, .F. ) ;
#855 = EDGE_CURVE ( 'NONE', #853, #856, #12007, .T. ) ;
#856 = VERTEX_POINT ( 'NONE', #12003 ) ;
#857 = ORIENTED_EDGE ( 'NONE', *, *, #858, .T. ) ;
#858 = EDGE_CURVE ( 'NONE', #853, #859, #12002, .T. ) ;
#859 = VERTEX_POINT ( 'NONE', #12047 ) ;
#860 = ORIENTED_EDGE ( 'NONE', *, *, #899, .F. ) ;
#861 = ADVANCED_FACE ( 'NONE', ( #12046 ), #12044, .T. ) ;
#862 = EDGE_LOOP ( 'NONE', ( #863, #880, #805, #711 ) ) ;
#863 = ORIENTED_EDGE ( 'NONE', *, *, #864, .T. ) ;
#864 = EDGE_CURVE ( 'NONE', #865, #879, #12040, .T. ) ;
#865 = VERTEX_POINT ( 'NONE', #12035 ) ;
#866 = ADVANCED_FACE ( 'NONE', ( #12034 ), #12033, .T. ) ;
#867 = EDGE_LOOP ( 'NONE', ( #868, #869, #871, #872 ) ) ;
#868 = ORIENTED_EDGE ( 'NONE', *, *, #895, .F. ) ;
#869 = ORIENTED_EDGE ( 'NONE', *, *, #870, .T. ) ;
#870 = EDGE_CURVE ( 'NONE', #915, #911, #12032, .T. ) ;
#871 = ORIENTED_EDGE ( 'NONE', *, *, #910, .T. ) ;
#872 = ORIENTED_EDGE ( 'NONE', *, *, #873, .F. ) ;
#873 = EDGE_CURVE ( 'NONE', #896, #912, #12048, .T. ) ;
#874 = ADVANCED_FACE ( 'NONE', ( #12076 ), #12075, .T. ) ;
#875 = EDGE_LOOP ( 'NONE', ( #876, #877, #919, #920 ) ) ;
#876 = ORIENTED_EDGE ( 'NONE', *, *, #870, .F. ) ;
#877 = ORIENTED_EDGE ( 'NONE', *, *, #878, .F. ) ;
#878 = EDGE_CURVE ( 'NONE', #896, #915, #12074, .T. ) ;
#879 = VERTEX_POINT ( 'NONE', #12097 ) ;
#880 = ORIENTED_EDGE ( 'NONE', *, *, #881, .T. ) ;
#881 = EDGE_CURVE ( 'NONE', #879, #848, #12096, .T. ) ;
#882 = EDGE_CURVE ( 'NONE', #932, #936, #12092, .T. ) ;
#883 = ADVANCED_FACE ( 'NONE', ( #12088, #12087 ), #12086, .T. ) ;
#884 = EDGE_LOOP ( 'NONE', ( #885, #955, #997, #1000, #943, #946 ) ) ;
#885 = ORIENTED_EDGE ( 'NONE', *, *, #953, .F. ) ;
#886 = VERTEX_POINT ( 'NONE', #12081 ) ;
#887 = EDGE_CURVE ( 'NONE', #959, #938, #12134, .T. ) ;
#888 = ORIENTED_EDGE ( 'NONE', *, *, #942, .F. ) ;
#889 = ORIENTED_EDGE ( 'NONE', *, *, #1004, .F. ) ;
#890 = VERTEX_POINT ( 'NONE', #12129 ) ;
#891 = ORIENTED_EDGE ( 'NONE', *, *, #892, .T. ) ;
#892 = EDGE_CURVE ( 'NONE', #924, #893, #12128, .T. ) ;
#893 = VERTEX_POINT ( 'NONE', #12124 ) ;
#894 = ORIENTED_EDGE ( 'NONE', *, *, #895, .T. ) ;
#895 = EDGE_CURVE ( 'NONE', #915, #896, #12122, .T. ) ;
#896 = VERTEX_POINT ( 'NONE', #12123 ) ;
#897 = ORIENTED_EDGE ( 'NONE', *, *, #898, .F. ) ;
#898 = EDGE_CURVE ( 'NONE', #912, #896, #12117, .T. ) ;
#899 = EDGE_CURVE ( 'NONE', #900, #859, #12158, .T. ) ;
#900 = VERTEX_POINT ( 'NONE', #12157 ) ;
#901 = ORIENTED_EDGE ( 'NONE', *, *, #902, .F. ) ;
#902 = EDGE_CURVE ( 'NONE', #903, #900, #12150, .T. ) ;
#903 = VERTEX_POINT ( 'NONE', #12149 ) ;
#904 = ORIENTED_EDGE ( 'NONE', *, *, #905, .F. ) ;
#905 = EDGE_CURVE ( 'NONE', #916, #903, #12142, .T. ) ;
#906 = MANIFOLD_SOLID_BREP ( 'NONE', #813 ) ;
#907 = ADVANCED_FACE ( 'NONE', ( #12141 ), #12181, .T. ) ;
#908 = EDGE_LOOP ( 'NONE', ( #909, #913, #894, #897 ) ) ;
#909 = ORIENTED_EDGE ( 'NONE', *, *, #910, .F. ) ;
#910 = EDGE_CURVE ( 'NONE', #911, #912, #12179, .T. ) ;
#911 = VERTEX_POINT ( 'NONE', #12180 ) ;
#912 = VERTEX_POINT ( 'NONE', #12198 ) ;
#913 = ORIENTED_EDGE ( 'NONE', *, *, #914, .T. ) ;
#914 = EDGE_CURVE ( 'NONE', #911, #915, #12195, .T. ) ;
#915 = VERTEX_POINT ( 'NONE', #12197 ) ;
#916 = VERTEX_POINT ( 'NONE', #12196 ) ;
#917 = ORIENTED_EDGE ( 'NONE', *, *, #918, .F. ) ;
#918 = EDGE_CURVE ( 'NONE', #856, #916, #12190, .T. ) ;
#919 = ORIENTED_EDGE ( 'NONE', *, *, #873, .T. ) ;
#920 = ORIENTED_EDGE ( 'NONE', *, *, #921, .T. ) ;
#921 = EDGE_CURVE ( 'NONE', #912, #911, #12189, .T. ) ;
#922 = EDGE_LOOP ( 'NONE', ( #807, #808, #809, #810 ) ) ;
#923 = VERTEX_POINT ( 'NONE', #12229 ) ;
#924 = VERTEX_POINT ( 'NONE', #12228 ) ;
#925 = ADVANCED_FACE ( 'NONE', ( #12227 ), #12224, .F. ) ;
#926 = ORIENTED_EDGE ( 'NONE', *, *, #927, .F. ) ;
#927 = EDGE_CURVE ( 'NONE', #928, #1007, #12225, .T. ) ;
#928 = VERTEX_POINT ( 'NONE', #12216 ) ;
#929 = ORIENTED_EDGE ( 'NONE', *, *, #939, .T. ) ;
#930 = ORIENTED_EDGE ( 'NONE', *, *, #931, .F. ) ;
#931 = EDGE_CURVE ( 'NONE', #924, #932, #12215, .T. ) ;
#932 = VERTEX_POINT ( 'NONE', #12210 ) ;
#933 = ORIENTED_EDGE ( 'NONE', *, *, #934, .T. ) ;
#934 = EDGE_CURVE ( 'NONE', #967, #959, #12209, .T. ) ;
#935 = EDGE_CURVE ( 'NONE', #940, #936, #12205, .T. ) ;
#936 = VERTEX_POINT ( 'NONE', #12200 ) ;
#937 = ORIENTED_EDGE ( 'NONE', *, *, #882, .F. ) ;
#938 = VERTEX_POINT ( 'NONE', #12199 ) ;
#939 = EDGE_CURVE ( 'NONE', #928, #940, #12263, .T. ) ;
#940 = VERTEX_POINT ( 'NONE', #12259 ) ;
#941 = ORIENTED_EDGE ( 'NONE', *, *, #935, .T. ) ;
#942 = EDGE_CURVE ( 'NONE', #890, #938, #12258, .T. ) ;
#943 = ORIENTED_EDGE ( 'NONE', *, *, #944, .T. ) ;
#944 = EDGE_CURVE ( 'NONE', #1002, #945, #12254, .T. ) ;
#945 = VERTEX_POINT ( 'NONE', #12250 ) ;
#946 = ORIENTED_EDGE ( 'NONE', *, *, #947, .F. ) ;
#947 = EDGE_CURVE ( 'NONE', #954, #945, #12249, .T. ) ;
#948 = EDGE_LOOP ( 'NONE', ( #960, #964, #986, #1087, #984, #1050, #1010, #976 ) ) ;
#949 = ORIENTED_EDGE ( 'NONE', *, *, #950, .T. ) ;
#950 = EDGE_CURVE ( 'NONE', #893, #951, #12244, .T. ) ;
#951 = VERTEX_POINT ( 'NONE', #12239 ) ;
#952 = EDGE_CURVE ( 'NONE', #967, #890, #12237, .T. ) ;
#953 = EDGE_CURVE ( 'NONE', #886, #954, #12301, .T. ) ;
#954 = VERTEX_POINT ( 'NONE', #12300 ) ;
#955 = ORIENTED_EDGE ( 'NONE', *, *, #956, .F. ) ;
#956 = EDGE_CURVE ( 'NONE', #957, #886, #12335, .T. ) ;
#957 = VERTEX_POINT ( 'NONE', #12330 ) ;
#958 = EDGE_LOOP ( 'NONE', ( #968, #933, #1003, #888 ) ) ;
#959 = VERTEX_POINT ( 'NONE', #12329 ) ;
#960 = ORIENTED_EDGE ( 'NONE', *, *, #961, .T. ) ;
#961 = EDGE_CURVE ( 'NONE', #962, #963, #12328, .T. ) ;
#962 = VERTEX_POINT ( 'NONE', #12323 ) ;
#963 = VERTEX_POINT ( 'NONE', #12322 ) ;
#964 = ORIENTED_EDGE ( 'NONE', *, *, #965, .T. ) ;
#965 = EDGE_CURVE ( 'NONE', #963, #966, #12321, .T. ) ;
#966 = VERTEX_POINT ( 'NONE', #12317 ) ;
#967 = VERTEX_POINT ( 'NONE', #12316 ) ;
#968 = ORIENTED_EDGE ( 'NONE', *, *, #952, .F. ) ;
#969 = EDGE_LOOP ( 'NONE', ( #970, #1043, #1045, #977 ) ) ;
#970 = ORIENTED_EDGE ( 'NONE', *, *, #1040, .T. ) ;
#971 = EDGE_CURVE ( 'NONE', #962, #975, #12315, .T. ) ;
#972 = ADVANCED_FACE ( 'NONE', ( #12311 ), #12310, .T. ) ;
#973 = EDGE_LOOP ( 'NONE', ( #974, #1023, #1025, #995 ) ) ;
#974 = ORIENTED_EDGE ( 'NONE', *, *, #1035, .F. ) ;
#975 = VERTEX_POINT ( 'NONE', #12305 ) ;
#976 = ORIENTED_EDGE ( 'NONE', *, *, #971, .F. ) ;
#977 = ORIENTED_EDGE ( 'NONE', *, *, #978, .F. ) ;
#978 = EDGE_CURVE ( 'NONE', #1041, #1038, #12304, .T. ) ;
#979 = ADVANCED_FACE ( 'NONE', ( #12365 ), #12364, .T. ) ;
#980 = EDGE_LOOP ( 'NONE', ( #981, #1090, #1093, #1014 ) ) ;
#981 = ORIENTED_EDGE ( 'NONE', *, *, #982, .T. ) ;
#982 = EDGE_CURVE ( 'NONE', #983, #1089, #12358, .T. ) ;
#983 = VERTEX_POINT ( 'NONE', #12354 ) ;
#984 = ORIENTED_EDGE ( 'NONE', *, *, #1039, .F. ) ;
#985 = VERTEX_POINT ( 'NONE', #12353 ) ;
#986 = ORIENTED_EDGE ( 'NONE', *, *, #1012, .F. ) ;
#987 = ORIENTED_EDGE ( 'NONE', *, *, #988, .T. ) ;
#988 = EDGE_CURVE ( 'NONE', #1021, #989, #12352, .T. ) ;
#989 = VERTEX_POINT ( 'NONE', #12348 ) ;
#990 = ORIENTED_EDGE ( 'NONE', *, *, #991, .T. ) ;
#991 = EDGE_CURVE ( 'NONE', #989, #992, #12347, .T. ) ;
#992 = VERTEX_POINT ( 'NONE', #12342 ) ;
#993 = EDGE_CURVE ( 'NONE', #994, #1038, #12341, .T. ) ;
#994 = VERTEX_POINT ( 'NONE', #12336 ) ;
#995 = ORIENTED_EDGE ( 'NONE', *, *, #1051, .F. ) ;
#996 = VERTEX_POINT ( 'NONE', #12398 ) ;
#997 = ORIENTED_EDGE ( 'NONE', *, *, #998, .T. ) ;
#998 = EDGE_CURVE ( 'NONE', #957, #999, #12397, .T. ) ;
#999 = VERTEX_POINT ( 'NONE', #12393 ) ;
#1000 = ORIENTED_EDGE ( 'NONE', *, *, #1001, .T. ) ;
#1001 = EDGE_CURVE ( 'NONE', #999, #1002, #12392, .T. ) ;
#1002 = VERTEX_POINT ( 'NONE', #12388 ) ;
#1003 = ORIENTED_EDGE ( 'NONE', *, *, #887, .T. ) ;
#1004 = EDGE_CURVE ( 'NONE', #800, #820, #12387, .T. ) ;
#1005 = ORIENTED_EDGE ( 'NONE', *, *, #1006, .T. ) ;
#1006 = EDGE_CURVE ( 'NONE', #951, #1007, #12383, .T. ) ;
#1007 = VERTEX_POINT ( 'NONE', #12379 ) ;
#1008 = ADVANCED_FACE ( 'NONE', ( #12378 ), #12375, .F. ) ;
#1009 = EDGE_LOOP ( 'NONE', ( #930, #891, #949, #1005, #926, #929, #941, #937 ) ) ;
#1010 = ORIENTED_EDGE ( 'NONE', *, *, #1011, .T. ) ;
#1011 = EDGE_CURVE ( 'NONE', #1034, #975, #12376, .T. ) ;
#1012 = EDGE_CURVE ( 'NONE', #996, #966, #12428, .T. ) ;
#1013 = EDGE_CURVE ( 'NONE', #1092, #1094, #12424, .T. ) ;
#1014 = ORIENTED_EDGE ( 'NONE', *, *, #1015, .F. ) ;
#1015 = EDGE_CURVE ( 'NONE', #983, #1094, #12419, .T. ) ;
#1016 = ADVANCED_FACE ( 'NONE', ( #12415 ), #12414, .T. ) ;
#1017 = EDGE_LOOP ( 'NONE', ( #1018, #987, #990, #1026 ) ) ;
#1018 = ORIENTED_EDGE ( 'NONE', *, *, #1019, .T. ) ;
#1019 = EDGE_CURVE ( 'NONE', #1020, #1021, #12408, .T. ) ;
#1020 = VERTEX_POINT ( 'NONE', #12404 ) ;
#1021 = VERTEX_POINT ( 'NONE', #12403 ) ;
#1022 = EDGE_CURVE ( 'NONE', #1088, #996, #12402, .T. ) ;
#1023 = ORIENTED_EDGE ( 'NONE', *, *, #1024, .T. ) ;
#1024 = EDGE_CURVE ( 'NONE', #1036, #1038, #12461, .T. ) ;
#1025 = ORIENTED_EDGE ( 'NONE', *, *, #993, .F. ) ;
#1026 = ORIENTED_EDGE ( 'NONE', *, *, #1027, .F. ) ;
#1027 = EDGE_CURVE ( 'NONE', #1020, #992, #12457, .T. ) ;
#1028 = ADVANCED_FACE ( 'NONE', ( #12453 ), #12451, .T. ) ;
#1029 = EDGE_LOOP ( 'NONE', ( #1030, #1047, #1117, #1080 ) ) ;
#1030 = ORIENTED_EDGE ( 'NONE', *, *, #1031, .T. ) ;
#1031 = EDGE_CURVE ( 'NONE', #1032, #1046, #12446, .T. ) ;
#1032 = VERTEX_POINT ( 'NONE', #12442 ) ;
#1033 = EDGE_CURVE ( 'NONE', #985, #1034, #12441, .T. ) ;
#1034 = VERTEX_POINT ( 'NONE', #12437 ) ;
#1035 = EDGE_CURVE ( 'NONE', #1036, #1037, #12436, .T. ) ;
#1036 = VERTEX_POINT ( 'NONE', #12431 ) ;
#1037 = VERTEX_POINT ( 'NONE', #12430 ) ;
#1038 = VERTEX_POINT ( 'NONE', #12429 ) ;
#1039 = EDGE_CURVE ( 'NONE', #985, #1088, #12491, .T. ) ;
#1040 = EDGE_CURVE ( 'NONE', #1041, #1042, #12486, .T. ) ;
#1041 = VERTEX_POINT ( 'NONE', #12481 ) ;
#1042 = VERTEX_POINT ( 'NONE', #12480 ) ;
#1043 = ORIENTED_EDGE ( 'NONE', *, *, #1044, .T. ) ;
#1044 = EDGE_CURVE ( 'NONE', #1042, #994, #12479, .T. ) ;
#1045 = ORIENTED_EDGE ( 'NONE', *, *, #993, .T. ) ;
#1046 = VERTEX_POINT ( 'NONE', #12475 ) ;
#1047 = ORIENTED_EDGE ( 'NONE', *, *, #1048, .T. ) ;
#1048 = EDGE_CURVE ( 'NONE', #1046, #1049, #12474, .T. ) ;
#1049 = VERTEX_POINT ( 'NONE', #12470 ) ;
#1050 = ORIENTED_EDGE ( 'NONE', *, *, #1033, .T. ) ;
#1051 = EDGE_CURVE ( 'NONE', #1037, #994, #12469, .T. ) ;
#1052 = ADVANCED_FACE ( 'NONE', ( #12465 ), #12462, .T. ) ;
#1053 = ADVANCED_FACE ( 'NONE', ( #12521 ), #12520, .T. ) ;
#1054 = EDGE_LOOP ( 'NONE', ( #1055, #1081, #1083, #1084 ) ) ;
#1055 = ORIENTED_EDGE ( 'NONE', *, *, #1056, .F. ) ;
#1056 = EDGE_CURVE ( 'NONE', #1057, #1058, #12515, .T. ) ;
#1057 = VERTEX_POINT ( 'NONE', #12511 ) ;
#1058 = VERTEX_POINT ( 'NONE', #12510 ) ;
#1059 = ORIENTED_EDGE ( 'NONE', *, *, #1060, .F. ) ;
#1060 = EDGE_CURVE ( 'NONE', #1061, #1062, #12509, .T. ) ;
#1061 = VERTEX_POINT ( 'NONE', #12504 ) ;
#1062 = VERTEX_POINT ( 'NONE', #12503 ) ;
#1063 = ORIENTED_EDGE ( 'NONE', *, *, #1064, .T. ) ;
#1064 = EDGE_CURVE ( 'NONE', #1061, #1094, #12502, .T. ) ;
#1065 = VERTEX_POINT ( 'NONE', #12498 ) ;
#1066 = EDGE_CURVE ( 'NONE', #1065, #1067, #12496, .T. ) ;
#1067 = VERTEX_POINT ( 'NONE', #12553 ) ;
#1068 = ADVANCED_FACE ( 'NONE', ( #12552 ), #12550, .T. ) ;
#1069 = EDGE_LOOP ( 'NONE', ( #1059, #1063, #1118, #1120 ) ) ;
#1070 = ORIENTED_EDGE ( 'NONE', *, *, #1071, .F. ) ;
#1071 = EDGE_CURVE ( 'NONE', #1065, #1075, #12546, .T. ) ;
#1072 = ORIENTED_EDGE ( 'NONE', *, *, #1066, .T. ) ;
#1073 = ORIENTED_EDGE ( 'NONE', *, *, #1074, .T. ) ;
#1074 = EDGE_CURVE ( 'NONE', #1109, #1075, #12542, .T. ) ;
#1075 = VERTEX_POINT ( 'NONE', #12537 ) ;
#1076 = ADVANCED_FACE ( 'NONE', ( #12536 ), #12535, .T. ) ;
#1077 = EDGE_CURVE ( 'NONE', #1032, #1078, #12534, .T. ) ;
#1078 = VERTEX_POINT ( 'NONE', #12526 ) ;
#1079 = EDGE_CURVE ( 'NONE', #1049, #1078, #12525, .T. ) ;
#1080 = ORIENTED_EDGE ( 'NONE', *, *, #1077, .F. ) ;
#1081 = ORIENTED_EDGE ( 'NONE', *, *, #1082, .T. ) ;
#1082 = EDGE_CURVE ( 'NONE', #1057, #1075, #12582, .T. ) ;
#1083 = ORIENTED_EDGE ( 'NONE', *, *, #1074, .F. ) ;
#1084 = ORIENTED_EDGE ( 'NONE', *, *, #1085, .F. ) ;
#1085 = EDGE_CURVE ( 'NONE', #1058, #1109, #12574, .T. ) ;
#1086 = ADVANCED_FACE ( 'NONE', ( #12570 ), #12569, .F. ) ;
#1087 = ORIENTED_EDGE ( 'NONE', *, *, #1022, .F. ) ;
#1088 = VERTEX_POINT ( 'NONE', #12564 ) ;
#1089 = VERTEX_POINT ( 'NONE', #12563 ) ;
#1090 = ORIENTED_EDGE ( 'NONE', *, *, #1091, .T. ) ;
#1091 = EDGE_CURVE ( 'NONE', #1089, #1092, #12562, .T. ) ;
#1092 = VERTEX_POINT ( 'NONE', #12558 ) ;
#1093 = ORIENTED_EDGE ( 'NONE', *, *, #1013, .T. ) ;
#1094 = VERTEX_POINT ( 'NONE', #12557 ) ;
#1095 = EDGE_LOOP ( 'NONE', ( #1218, #1156, #1158, #1161, #1164, #1167 ) ) ;
#1096 = ORIENTED_EDGE ( 'NONE', *, *, #1097, .F. ) ;
#1097 = EDGE_CURVE ( 'NONE', #1223, #1181, #12556, .T. ) ;
#1098 = ADVANCED_FACE ( 'NONE', ( #12555 ), #12554, .F. ) ;
#1099 = VERTEX_POINT ( 'NONE', #12600 ) ;
#1100 = ORIENTED_EDGE ( 'NONE', *, *, #1101, .F. ) ;
#1101 = EDGE_CURVE ( 'NONE', #1102, #1192, #12597, .T. ) ;
#1102 = VERTEX_POINT ( 'NONE', #12596 ) ;
#1103 = ORIENTED_EDGE ( 'NONE', *, *, #1104, .F. ) ;
#1104 = EDGE_CURVE ( 'NONE', #1183, #1102, #12587, .T. ) ;
#1105 = ORIENTED_EDGE ( 'NONE', *, *, #1106, .F. ) ;
#1106 = EDGE_CURVE ( 'NONE', #1205, #1204, #12637, .T. ) ;
#1107 = ORIENTED_EDGE ( 'NONE', *, *, #1108, .T. ) ;
#1108 = EDGE_CURVE ( 'NONE', #1067, #1109, #12636, .T. ) ;
#1109 = VERTEX_POINT ( 'NONE', #12626 ) ;
#1110 = ADVANCED_FACE ( 'NONE', ( #12625 ), #12623, .T. ) ;
#1111 = ORIENTED_EDGE ( 'NONE', *, *, #1112, .F. ) ;
#1112 = EDGE_CURVE ( 'NONE', #1113, #1114, #12619, .T. ) ;
#1113 = VERTEX_POINT ( 'NONE', #12614 ) ;
#1114 = VERTEX_POINT ( 'NONE', #12613 ) ;
#1115 = ORIENTED_EDGE ( 'NONE', *, *, #1116, .T. ) ;
#1116 = EDGE_CURVE ( 'NONE', #1113, #1078, #12612, .T. ) ;
#1117 = ORIENTED_EDGE ( 'NONE', *, *, #1079, .T. ) ;
#1118 = ORIENTED_EDGE ( 'NONE', *, *, #1013, .F. ) ;
#1119 = EDGE_LOOP ( 'NONE', ( #1123, #1127, #1129, #1130 ) ) ;
#1120 = ORIENTED_EDGE ( 'NONE', *, *, #1121, .F. ) ;
#1121 = EDGE_CURVE ( 'NONE', #1062, #1092, #12668, .T. ) ;
#1122 = ADVANCED_FACE ( 'NONE', ( #12664 ), #12663, .T. ) ;
#1123 = ORIENTED_EDGE ( 'NONE', *, *, #1125, .F. ) ;
#1124 = VERTEX_POINT ( 'NONE', #12658 ) ;
#1125 = EDGE_CURVE ( 'NONE', #1124, #1126, #12657, .T. ) ;
#1126 = VERTEX_POINT ( 'NONE', #12652 ) ;
#1127 = ORIENTED_EDGE ( 'NONE', *, *, #1128, .T. ) ;
#1128 = EDGE_CURVE ( 'NONE', #1124, #992, #12651, .T. ) ;
#1129 = ORIENTED_EDGE ( 'NONE', *, *, #991, .F. ) ;
#1130 = ORIENTED_EDGE ( 'NONE', *, *, #1131, .F. ) ;
#1131 = EDGE_CURVE ( 'NONE', #1126, #989, #12647, .T. ) ;
#1132 = EDGE_LOOP ( 'NONE', ( #1111, #1115, #1134, #1135 ) ) ;
#1133 = EDGE_LOOP ( 'NONE', ( #1072, #1107, #1073, #1070 ) ) ;
#1134 = ORIENTED_EDGE ( 'NONE', *, *, #1079, .F. ) ;
#1135 = ORIENTED_EDGE ( 'NONE', *, *, #1136, .F. ) ;
#1136 = EDGE_CURVE ( 'NONE', #1114, #1049, #12643, .T. ) ;
#1137 = ORIENTED_EDGE ( 'NONE', *, *, #1203, .T. ) ;
#1138 = ORIENTED_EDGE ( 'NONE', *, *, #1139, .F. ) ;
#1139 = EDGE_CURVE ( 'NONE', #1140, #1205, #12693, .T. ) ;
#1140 = VERTEX_POINT ( 'NONE', #12694 ) ;
#1141 = VERTEX_POINT ( 'NONE', #12692 ) ;
#1142 = ORIENTED_EDGE ( 'NONE', *, *, #1143, .T. ) ;
#1143 = EDGE_CURVE ( 'NONE', #1197, #1144, #12683, .T. ) ;
#1144 = VERTEX_POINT ( 'NONE', #12679 ) ;
#1145 = ORIENTED_EDGE ( 'NONE', *, *, #1146, .F. ) ;
#1146 = EDGE_CURVE ( 'NONE', #1147, #1144, #12678, .T. ) ;
#1147 = VERTEX_POINT ( 'NONE', #12677 ) ;
#1148 = ORIENTED_EDGE ( 'NONE', *, *, #1149, .F. ) ;
#1149 = EDGE_CURVE ( 'NONE', #1150, #1147, #12669, .T. ) ;
#1150 = VERTEX_POINT ( 'NONE', #12670 ) ;
#1151 = ORIENTED_EDGE ( 'NONE', *, *, #1152, .F. ) ;
#1152 = EDGE_CURVE ( 'NONE', #1153, #1150, #12712, .T. ) ;
#1153 = VERTEX_POINT ( 'NONE', #12711 ) ;
#1154 = ORIENTED_EDGE ( 'NONE', *, *, #1256, .F. ) ;
#1155 = EDGE_LOOP ( 'NONE', ( #1258, #1184, #1187, #1190, #1100, #1103 ) ) ;
#1156 = ORIENTED_EDGE ( 'NONE', *, *, #1157, .T. ) ;
#1157 = EDGE_CURVE ( 'NONE', #1099, #1221, #12710, .T. ) ;
#1158 = ORIENTED_EDGE ( 'NONE', *, *, #1159, .F. ) ;
#1159 = EDGE_CURVE ( 'NONE', #1160, #1221, #12698, .T. ) ;
#1160 = VERTEX_POINT ( 'NONE', #12697 ) ;
#1161 = ORIENTED_EDGE ( 'NONE', *, *, #1162, .F. ) ;
#1162 = EDGE_CURVE ( 'NONE', #1163, #1160, #12746, .T. ) ;
#1163 = VERTEX_POINT ( 'NONE', #12745 ) ;
#1164 = ORIENTED_EDGE ( 'NONE', *, *, #1165, .F. ) ;
#1165 = EDGE_CURVE ( 'NONE', #1166, #1163, #12736, .T. ) ;
#1166 = VERTEX_POINT ( 'NONE', #12735 ) ;
#1167 = ORIENTED_EDGE ( 'NONE', *, *, #1168, .F. ) ;
#1168 = EDGE_CURVE ( 'NONE', #1220, #1166, #12725, .T. ) ;
#1169 = VERTEX_POINT ( 'NONE', #12781 ) ;
#1170 = VERTEX_POINT ( 'NONE', #12774 ) ;
#1171 = ORIENTED_EDGE ( 'NONE', *, *, #1172, .T. ) ;
#1172 = EDGE_CURVE ( 'NONE', #1202, #1173, #12773, .T. ) ;
#1173 = VERTEX_POINT ( 'NONE', #12769 ) ;
#1174 = ORIENTED_EDGE ( 'NONE', *, *, #1175, .T. ) ;
#1175 = EDGE_CURVE ( 'NONE', #1173, #1176, #12768, .T. ) ;
#1176 = VERTEX_POINT ( 'NONE', #12763 ) ;
#1177 = EDGE_LOOP ( 'NONE', ( #1178, #1137, #1105, #1138, #1179, #1096 ) ) ;
#1178 = ORIENTED_EDGE ( 'NONE', *, *, #1222, .F. ) ;
#1179 = ORIENTED_EDGE ( 'NONE', *, *, #1180, .F. ) ;
#1180 = EDGE_CURVE ( 'NONE', #1181, #1140, #12761, .T. ) ;
#1181 = VERTEX_POINT ( 'NONE', #12760 ) ;
#1182 = VERTEX_POINT ( 'NONE', #12751 ) ;
#1183 = VERTEX_POINT ( 'NONE', #12762 ) ;
#1184 = ORIENTED_EDGE ( 'NONE', *, *, #1185, .T. ) ;
#1185 = EDGE_CURVE ( 'NONE', #1182, #1186, #12809, .T. ) ;
#1186 = VERTEX_POINT ( 'NONE', #12805 ) ;
#1187 = ORIENTED_EDGE ( 'NONE', *, *, #1188, .F. ) ;
#1188 = EDGE_CURVE ( 'NONE', #1189, #1186, #12804, .T. ) ;
#1189 = VERTEX_POINT ( 'NONE', #12803 ) ;
#1190 = ORIENTED_EDGE ( 'NONE', *, *, #1191, .F. ) ;
#1191 = EDGE_CURVE ( 'NONE', #1192, #1189, #12795, .T. ) ;
#1192 = VERTEX_POINT ( 'NONE', #12794 ) ;
#1193 = ADVANCED_FACE ( 'NONE', ( #12796 ), #12792, .F. ) ;
#1194 = EDGE_LOOP ( 'NONE', ( #1195, #1142, #1145, #1148, #1151, #1154 ) ) ;
#1195 = ORIENTED_EDGE ( 'NONE', *, *, #1196, .F. ) ;
#1196 = EDGE_CURVE ( 'NONE', #1197, #1141, #12841, .T. ) ;
#1197 = VERTEX_POINT ( 'NONE', #12837 ) ;
#1198 = ADVANCED_FACE ( 'NONE', ( #12836 ), #12835, .F. ) ;
#1199 = EDGE_LOOP ( 'NONE', ( #1200, #1171, #1174, #1206, #1209, #1212 ) ) ;
#1200 = ORIENTED_EDGE ( 'NONE', *, *, #1201, .F. ) ;
#1201 = EDGE_CURVE ( 'NONE', #1202, #1170, #12830, .T. ) ;
#1202 = VERTEX_POINT ( 'NONE', #12826 ) ;
#1203 = EDGE_CURVE ( 'NONE', #1169, #1204, #12825, .T. ) ;
#1204 = VERTEX_POINT ( 'NONE', #12821 ) ;
#1205 = VERTEX_POINT ( 'NONE', #12820 ) ;
#1206 = ORIENTED_EDGE ( 'NONE', *, *, #1207, .T. ) ;
#1207 = EDGE_CURVE ( 'NONE', #1176, #1208, #12819, .T. ) ;
#1208 = VERTEX_POINT ( 'NONE', #12814 ) ;
#1209 = ORIENTED_EDGE ( 'NONE', *, *, #1210, .T. ) ;
#1210 = EDGE_CURVE ( 'NONE', #1208, #1211, #12813, .T. ) ;
#1211 = VERTEX_POINT ( 'NONE', #12875 ) ;
#1212 = ORIENTED_EDGE ( 'NONE', *, *, #1213, .T. ) ;
#1213 = EDGE_CURVE ( 'NONE', #1211, #1170, #12874, .T. ) ;
#1214 = ADVANCED_FACE ( 'NONE', ( #12869 ), #12868, .T. ) ;
#1215 = EDGE_LOOP ( 'NONE', ( #1216, #1342, #1410, #1363 ) ) ;
#1216 = ORIENTED_EDGE ( 'NONE', *, *, #1217, .F. ) ;
#1217 = EDGE_CURVE ( 'NONE', #1341, #1353, #12867, .T. ) ;
#1218 = ORIENTED_EDGE ( 'NONE', *, *, #1219, .F. ) ;
#1219 = EDGE_CURVE ( 'NONE', #1099, #1220, #12858, .T. ) ;
#1220 = VERTEX_POINT ( 'NONE', #12854 ) ;
#1221 = VERTEX_POINT ( 'NONE', #12853 ) ;
#1222 = EDGE_CURVE ( 'NONE', #1169, #1223, #12852, .T. ) ;
#1223 = VERTEX_POINT ( 'NONE', #12848 ) ;
#1224 = ADVANCED_FACE ( 'NONE', ( #12847 ), #12846, .F. ) ;
#1225 = EDGE_LOOP ( 'NONE', ( #1226, #1227, #1228, #1229 ) ) ;
#1226 = ORIENTED_EDGE ( 'NONE', *, *, #13809, .F. ) ;
#1227 = ORIENTED_EDGE ( 'NONE', *, *, #5677, .F. ) ;
#1228 = ORIENTED_EDGE ( 'NONE', *, *, #13877, .F. ) ;
#1229 = ORIENTED_EDGE ( 'NONE', *, *, #2921, .F. ) ;
#1230 = ADVANCED_FACE ( 'NONE', ( #12907 ), #12905, .T. ) ;
#1231 = EDGE_LOOP ( 'NONE', ( #1283, #1284, #1285, #1286 ) ) ;
#1232 = ORIENTED_EDGE ( 'NONE', *, *, #5534, .F. ) ;
#1233 = ORIENTED_EDGE ( 'NONE', *, *, #13788, .F. ) ;
#1234 = ORIENTED_EDGE ( 'NONE', *, *, #13760, .F. ) ;
#1235 = ADVANCED_FACE ( 'NONE', ( #12904 ), #12899, .T. ) ;
#1236 = EDGE_LOOP ( 'NONE', ( #1237, #1238, #1239, #1240 ) ) ;
#1237 = ORIENTED_EDGE ( 'NONE', *, *, #13781, .F. ) ;
#1238 = ORIENTED_EDGE ( 'NONE', *, *, #13842, .F. ) ;
#1239 = ORIENTED_EDGE ( 'NONE', *, *, #13714, .F. ) ;
#1240 = ORIENTED_EDGE ( 'NONE', *, *, #13728, .F. ) ;
#1241 = ADVANCED_FACE ( 'NONE', ( #12893 ), #12892, .F. ) ;
#1242 = EDGE_LOOP ( 'NONE', ( #1243, #1295, #1296, #1297, #1298 ) ) ;
#1243 = ORIENTED_EDGE ( 'NONE', *, *, #13772, .F. ) ;
#1244 = ORIENTED_EDGE ( 'NONE', *, *, #13733, .F. ) ;
#1245 = ORIENTED_EDGE ( 'NONE', *, *, #13679, .F. ) ;
#1246 = ORIENTED_EDGE ( 'NONE', *, *, #13710, .F. ) ;
#1247 = ADVANCED_FACE ( 'NONE', ( #12888 ), #12887, .F. ) ;
#1248 = EDGE_LOOP ( 'NONE', ( #1249, #1250, #1251, #1252 ) ) ;
#1249 = ORIENTED_EDGE ( 'NONE', *, *, #13755, .F. ) ;
#1250 = ORIENTED_EDGE ( 'NONE', *, *, #13693, .F. ) ;
#1251 = ORIENTED_EDGE ( 'NONE', *, *, #13681, .F. ) ;
#1252 = ORIENTED_EDGE ( 'NONE', *, *, #13528, .F. ) ;
#1253 = ADVANCED_FACE ( 'NONE', ( #12882 ), #12881, .F. ) ;
#1254 = EDGE_LOOP ( 'NONE', ( #1255, #1232, #1233, #1234 ) ) ;
#1255 = ORIENTED_EDGE ( 'NONE', *, *, #13775, .F. ) ;
#1256 = EDGE_CURVE ( 'NONE', #1141, #1153, #12938, .T. ) ;
#1257 = ADVANCED_FACE ( 'NONE', ( #12937 ), #12936, .F. ) ;
#1258 = ORIENTED_EDGE ( 'NONE', *, *, #1259, .F. ) ;
#1259 = EDGE_CURVE ( 'NONE', #1182, #1183, #12925, .T. ) ;
#1260 = EDGE_LOOP ( 'NONE', ( #1315, #1316, #1317, #1318 ) ) ;
#1261 = ADVANCED_FACE ( 'NONE', ( #12921 ), #12919, .F. ) ;
#1262 = EDGE_LOOP ( 'NONE', ( #1263, #1264, #1265, #1266 ) ) ;
#1263 = ORIENTED_EDGE ( 'NONE', *, *, #13615, .F. ) ;
#1264 = ORIENTED_EDGE ( 'NONE', *, *, #11343, .F. ) ;
#1265 = ORIENTED_EDGE ( 'NONE', *, *, #3816, .F. ) ;
#1266 = ORIENTED_EDGE ( 'NONE', *, *, #2508, .F. ) ;
#1267 = ADVANCED_FACE ( 'NONE', ( #12915 ), #12914, .F. ) ;
#1268 = EDGE_LOOP ( 'NONE', ( #1269, #1270, #1271, #1272 ) ) ;
#1269 = ORIENTED_EDGE ( 'NONE', *, *, #3787, .F. ) ;
#1270 = ORIENTED_EDGE ( 'NONE', *, *, #3950, .F. ) ;
#1271 = ORIENTED_EDGE ( 'NONE', *, *, #3802, .F. ) ;
#1272 = ORIENTED_EDGE ( 'NONE', *, *, #5861, .F. ) ;
#1273 = ORIENTED_EDGE ( 'NONE', *, *, #13618, .F. ) ;
#1274 = ORIENTED_EDGE ( 'NONE', *, *, #5654, .F. ) ;
#1275 = ORIENTED_EDGE ( 'NONE', *, *, #3796, .F. ) ;
#1276 = ORIENTED_EDGE ( 'NONE', *, *, #13621, .F. ) ;
#1277 = ADVANCED_FACE ( 'NONE', ( #12913 ), #12908, .T. ) ;
#1278 = EDGE_LOOP ( 'NONE', ( #1279, #1280, #1281, #1282 ) ) ;
#1279 = ORIENTED_EDGE ( 'NONE', *, *, #13612, .F. ) ;
#1280 = ORIENTED_EDGE ( 'NONE', *, *, #13592, .F. ) ;
#1281 = ORIENTED_EDGE ( 'NONE', *, *, #3804, .F. ) ;
#1282 = ORIENTED_EDGE ( 'NONE', *, *, #13972, .F. ) ;
#1283 = ORIENTED_EDGE ( 'NONE', *, *, #13801, .F. ) ;
#1284 = ORIENTED_EDGE ( 'NONE', *, *, #13559, .F. ) ;
#1285 = ORIENTED_EDGE ( 'NONE', *, *, #13821, .F. ) ;
#1286 = ORIENTED_EDGE ( 'NONE', *, *, #13764, .F. ) ;
#1287 = ADVANCED_FACE ( 'NONE', ( #12964 ), #12963, .F. ) ;
#1288 = EDGE_LOOP ( 'NONE', ( #1289, #1290, #1291, #1292 ) ) ;
#1289 = ORIENTED_EDGE ( 'NONE', *, *, #13810, .F. ) ;
#1290 = ORIENTED_EDGE ( 'NONE', *, *, #13813, .F. ) ;
#1291 = ORIENTED_EDGE ( 'NONE', *, *, #13814, .F. ) ;
#1292 = ORIENTED_EDGE ( 'NONE', *, *, #2191, .F. ) ;
#1293 = ADVANCED_FACE ( 'NONE', ( #12959 ), #12958, .F. ) ;
#1294 = EDGE_LOOP ( 'NONE', ( #1273, #1274, #1275, #1276 ) ) ;
#1295 = ORIENTED_EDGE ( 'NONE', *, *, #13787, .F. ) ;
#1296 = ORIENTED_EDGE ( 'NONE', *, *, #13794, .F. ) ;
#1297 = ORIENTED_EDGE ( 'NONE', *, *, #2196, .F. ) ;
#1298 = ORIENTED_EDGE ( 'NONE', *, *, #13844, .F. ) ;
#1299 = ORIENTED_EDGE ( 'NONE', *, *, #1408, .T. ) ;
#1300 = ADVANCED_FACE ( 'NONE', ( #12952 ), #12951, .T. ) ;
#1301 = EDGE_LOOP ( 'NONE', ( #1302, #1306, #1299, #1347 ) ) ;
#1302 = ORIENTED_EDGE ( 'NONE', *, *, #1303, .F. ) ;
#1303 = EDGE_CURVE ( 'NONE', #1304, #1305, #12946, .T. ) ;
#1304 = VERTEX_POINT ( 'NONE', #12942 ) ;
#1305 = VERTEX_POINT ( 'NONE', #12941 ) ;
#1306 = ORIENTED_EDGE ( 'NONE', *, *, #1377, .T. ) ;
#1307 = ADVANCED_FACE ( 'NONE', ( #12940 ), #13005, .F. ) ;
#1308 = EDGE_LOOP ( 'NONE', ( #1309, #1457, #1350, #1352 ) ) ;
#1309 = ORIENTED_EDGE ( 'NONE', *, *, #1310, .F. ) ;
#1310 = EDGE_CURVE ( 'NONE', #1311, #1312, #13001, .T. ) ;
#1311 = VERTEX_POINT ( 'NONE', #12996 ) ;
#1312 = VERTEX_POINT ( 'NONE', #12995 ) ;
#1313 = EDGE_CURVE ( 'NONE', #1341, #1409, #12994, .T. ) ;
#1314 = ADVANCED_FACE ( 'NONE', ( #12990 ), #12989, .F. ) ;
#1315 = ORIENTED_EDGE ( 'NONE', *, *, #3008, .F. ) ;
#1316 = ORIENTED_EDGE ( 'NONE', *, *, #4019, .F. ) ;
#1317 = ORIENTED_EDGE ( 'NONE', *, *, #3267, .F. ) ;
#1318 = ORIENTED_EDGE ( 'NONE', *, *, #3003, .F. ) ;
#1319 = ADVANCED_FACE ( 'NONE', ( #12983 ), #12982, .T. ) ;
#1320 = EDGE_LOOP ( 'NONE', ( #1321, #1322, #1323, #1324 ) ) ;
#1321 = ORIENTED_EDGE ( 'NONE', *, *, #2932, .F. ) ;
#1322 = ORIENTED_EDGE ( 'NONE', *, *, #2979, .F. ) ;
#1323 = ORIENTED_EDGE ( 'NONE', *, *, #3264, .F. ) ;
#1324 = ORIENTED_EDGE ( 'NONE', *, *, #3315, .F. ) ;
#1325 = ADVANCED_FACE ( 'NONE', ( #12977 ), #12976, .T. ) ;
#1326 = EDGE_LOOP ( 'NONE', ( #1327, #1328, #1329, #1330 ) ) ;
#1327 = ORIENTED_EDGE ( 'NONE', *, *, #3912, .F. ) ;
#1328 = ORIENTED_EDGE ( 'NONE', *, *, #6341, .F. ) ;
#1329 = ORIENTED_EDGE ( 'NONE', *, *, #13909, .F. ) ;
#1330 = ORIENTED_EDGE ( 'NONE', *, *, #13600, .F. ) ;
#1331 = ADVANCED_FACE ( 'NONE', ( #12975 ), #12724, .F. ) ;
#1332 = EDGE_LOOP ( 'NONE', ( #1333, #1334, #1335, #1336 ) ) ;
#1333 = ORIENTED_EDGE ( 'NONE', *, *, #5509, .F. ) ;
#1334 = ORIENTED_EDGE ( 'NONE', *, *, #13606, .F. ) ;
#1335 = ORIENTED_EDGE ( 'NONE', *, *, #13856, .F. ) ;
#1336 = ORIENTED_EDGE ( 'NONE', *, *, #2518, .F. ) ;
#1337 = EDGE_CURVE ( 'NONE', #1420, #1343, #13034, .T. ) ;
#1338 = EDGE_LOOP ( 'NONE', ( #1339, #1378, #1381, #1384 ) ) ;
#1339 = ORIENTED_EDGE ( 'NONE', *, *, #1340, .F. ) ;
#1340 = EDGE_CURVE ( 'NONE', #1461, #1462, #13029, .T. ) ;
#1341 = VERTEX_POINT ( 'NONE', #13024 ) ;
#1342 = ORIENTED_EDGE ( 'NONE', *, *, #1313, .T. ) ;
#1343 = VERTEX_POINT ( 'NONE', #13023 ) ;
#1344 = ORIENTED_EDGE ( 'NONE', *, *, #1345, .F. ) ;
#1345 = EDGE_CURVE ( 'NONE', #1417, #1343, #13022, .T. ) ;
#1346 = EDGE_LOOP ( 'NONE', ( #1355, #1360, #1362, #1367 ) ) ;
#1347 = ORIENTED_EDGE ( 'NONE', *, *, #1348, .F. ) ;
#1348 = EDGE_CURVE ( 'NONE', #1305, #1409, #13018, .T. ) ;
#1349 = ADVANCED_FACE ( 'NONE', ( #13014 ), #13013, .F. ) ;
#1350 = ORIENTED_EDGE ( 'NONE', *, *, #1351, .T. ) ;
#1351 = EDGE_CURVE ( 'NONE', #1459, #1460, #13008, .T. ) ;
#1352 = ORIENTED_EDGE ( 'NONE', *, *, #1370, .F. ) ;
#1353 = VERTEX_POINT ( 'NONE', #13064 ) ;
#1354 = ADVANCED_FACE ( 'NONE', ( #13063 ), #13062, .F. ) ;
#1355 = ORIENTED_EDGE ( 'NONE', *, *, #1356, .F. ) ;
#1356 = EDGE_CURVE ( 'NONE', #1357, #1358, #13056, .T. ) ;
#1357 = VERTEX_POINT ( 'NONE', #13052 ) ;
#1358 = VERTEX_POINT ( 'NONE', #13051 ) ;
#1359 = VERTEX_POINT ( 'NONE', #13050 ) ;
#1360 = ORIENTED_EDGE ( 'NONE', *, *, #1361, .T. ) ;
#1361 = EDGE_CURVE ( 'NONE', #1357, #1359, #13049, .T. ) ;
#1362 = ORIENTED_EDGE ( 'NONE', *, *, #1365, .T. ) ;
#1363 = ORIENTED_EDGE ( 'NONE', *, *, #1364, .F. ) ;
#1364 = EDGE_CURVE ( 'NONE', #1353, #1411, #13045, .T. ) ;
#1365 = EDGE_CURVE ( 'NONE', #1359, #1366, #13041, .T. ) ;
#1366 = VERTEX_POINT ( 'NONE', #13036 ) ;
#1367 = ORIENTED_EDGE ( 'NONE', *, *, #1368, .F. ) ;
#1368 = EDGE_CURVE ( 'NONE', #1358, #1366, #13035, .T. ) ;
#1369 = ADVANCED_FACE ( 'NONE', ( #13096 ), #13095, .F. ) ;
#1370 = EDGE_CURVE ( 'NONE', #1312, #1460, #13090, .T. ) ;
#1371 = ADVANCED_FACE ( 'NONE', ( #13086 ), #13084, .F. ) ;
#1372 = EDGE_LOOP ( 'NONE', ( #1373, #1386, #1389, #1392 ) ) ;
#1373 = ORIENTED_EDGE ( 'NONE', *, *, #1374, .F. ) ;
#1374 = EDGE_CURVE ( 'NONE', #1375, #1376, #13079, .T. ) ;
#1375 = VERTEX_POINT ( 'NONE', #13075 ) ;
#1376 = VERTEX_POINT ( 'NONE', #13074 ) ;
#1377 = EDGE_CURVE ( 'NONE', #1304, #1411, #13073, .T. ) ;
#1378 = ORIENTED_EDGE ( 'NONE', *, *, #1379, .T. ) ;
#1379 = EDGE_CURVE ( 'NONE', #1461, #1380, #13069, .T. ) ;
#1380 = VERTEX_POINT ( 'NONE', #13128 ) ;
#1381 = ORIENTED_EDGE ( 'NONE', *, *, #1382, .T. ) ;
#1382 = EDGE_CURVE ( 'NONE', #1380, #1383, #13127, .T. ) ;
#1383 = VERTEX_POINT ( 'NONE', #13122 ) ;
#1384 = ORIENTED_EDGE ( 'NONE', *, *, #1385, .F. ) ;
#1385 = EDGE_CURVE ( 'NONE', #1462, #1383, #13121, .T. ) ;
#1386 = ORIENTED_EDGE ( 'NONE', *, *, #1387, .T. ) ;
#1387 = EDGE_CURVE ( 'NONE', #1375, #1388, #13117, .T. ) ;
#1388 = VERTEX_POINT ( 'NONE', #13113 ) ;
#1389 = ORIENTED_EDGE ( 'NONE', *, *, #1390, .T. ) ;
#1390 = EDGE_CURVE ( 'NONE', #1388, #1391, #13112, .T. ) ;
#1391 = VERTEX_POINT ( 'NONE', #13107 ) ;
#1392 = ORIENTED_EDGE ( 'NONE', *, *, #1393, .F. ) ;
#1393 = EDGE_CURVE ( 'NONE', #1376, #1391, #13106, .T. ) ;
#1394 = ADVANCED_FACE ( 'NONE', ( #13102 ), #13162, .F. ) ;
#1395 = EDGE_LOOP ( 'NONE', ( #1396, #1400, #1403, #1406 ) ) ;
#1396 = ORIENTED_EDGE ( 'NONE', *, *, #1397, .F. ) ;
#1397 = EDGE_CURVE ( 'NONE', #1398, #1399, #13158, .T. ) ;
#1398 = VERTEX_POINT ( 'NONE', #13154 ) ;
#1399 = VERTEX_POINT ( 'NONE', #13153 ) ;
#1400 = ORIENTED_EDGE ( 'NONE', *, *, #1401, .T. ) ;
#1401 = EDGE_CURVE ( 'NONE', #1398, #1402, #13152, .T. ) ;
#1402 = VERTEX_POINT ( 'NONE', #13148 ) ;
#1403 = ORIENTED_EDGE ( 'NONE', *, *, #1404, .T. ) ;
#1404 = EDGE_CURVE ( 'NONE', #1402, #1405, #13147, .T. ) ;
#1405 = VERTEX_POINT ( 'NONE', #13142 ) ;
#1406 = ORIENTED_EDGE ( 'NONE', *, *, #1407, .F. ) ;
#1407 = EDGE_CURVE ( 'NONE', #1399, #1405, #13141, .T. ) ;
#1408 = EDGE_CURVE ( 'NONE', #1411, #1409, #13137, .T. ) ;
#1409 = VERTEX_POINT ( 'NONE', #13132 ) ;
#1410 = ORIENTED_EDGE ( 'NONE', *, *, #1408, .F. ) ;
#1411 = VERTEX_POINT ( 'NONE', #13131 ) ;
#1412 = ADVANCED_FACE ( 'NONE', ( #13130 ), #13193, .F. ) ;
#1413 = EDGE_LOOP ( 'NONE', ( #1414, #1418, #1421, #1344 ) ) ;
#1414 = ORIENTED_EDGE ( 'NONE', *, *, #1415, .F. ) ;
#1415 = EDGE_CURVE ( 'NONE', #1416, #1417, #13192, .T. ) ;
#1416 = VERTEX_POINT ( 'NONE', #13183 ) ;
#1417 = VERTEX_POINT ( 'NONE', #13182 ) ;
#1418 = ORIENTED_EDGE ( 'NONE', *, *, #1419, .T. ) ;
#1419 = EDGE_CURVE ( 'NONE', #1416, #1420, #13181, .T. ) ;
#1420 = VERTEX_POINT ( 'NONE', #13177 ) ;
#1421 = ORIENTED_EDGE ( 'NONE', *, *, #1337, .T. ) ;
#1422 = VERTEX_POINT ( 'NONE', #13176 ) ;
#1423 = ORIENTED_EDGE ( 'NONE', *, *, #1424, .F. ) ;
#1424 = EDGE_CURVE ( 'NONE', #1499, #1422, #13175, .T. ) ;
#1425 = ORIENTED_EDGE ( 'NONE', *, *, #1426, .F. ) ;
#1426 = EDGE_CURVE ( 'NONE', #1438, #1437, #13171, .T. ) ;
#1427 = EDGE_LOOP ( 'NONE', ( #1434, #1473, #1476, #1537 ) ) ;
#1428 = ADVANCED_FACE ( 'NONE', ( #13167 ), #13166, .F. ) ;
#1429 = EDGE_LOOP ( 'NONE', ( #1430, #1444, #1447, #1450 ) ) ;
#1430 = ORIENTED_EDGE ( 'NONE', *, *, #1431, .F. ) ;
#1431 = EDGE_CURVE ( 'NONE', #1432, #1443, #13222, .T. ) ;
#1432 = VERTEX_POINT ( 'NONE', #13218 ) ;
#1433 = ADVANCED_FACE ( 'NONE', ( #13217 ), #13215, .F. ) ;
#1434 = ORIENTED_EDGE ( 'NONE', *, *, #1470, .F. ) ;
#1435 = ORIENTED_EDGE ( 'NONE', *, *, #1436, .T. ) ;
#1436 = EDGE_CURVE ( 'NONE', #1493, #1437, #13211, .T. ) ;
#1437 = VERTEX_POINT ( 'NONE', #13206 ) ;
#1438 = VERTEX_POINT ( 'NONE', #13205 ) ;
#1439 = ORIENTED_EDGE ( 'NONE', *, *, #1490, .F. ) ;
#1440 = EDGE_CURVE ( 'NONE', #1543, #1465, #13204, .T. ) ;
#1441 = ADVANCED_FACE ( 'NONE', ( #13200 ), #13199, .F. ) ;
#1442 = ORIENTED_EDGE ( 'NONE', *, *, #1480, .F. ) ;
#1443 = VERTEX_POINT ( 'NONE', #13198 ) ;
#1444 = ORIENTED_EDGE ( 'NONE', *, *, #1445, .T. ) ;
#1445 = EDGE_CURVE ( 'NONE', #1432, #1446, #13256, .T. ) ;
#1446 = VERTEX_POINT ( 'NONE', #13252 ) ;
#1447 = ORIENTED_EDGE ( 'NONE', *, *, #1448, .F. ) ;
#1448 = EDGE_CURVE ( 'NONE', #1449, #1446, #13251, .T. ) ;
#1449 = VERTEX_POINT ( 'NONE', #13246 ) ;
#1450 = ORIENTED_EDGE ( 'NONE', *, *, #1451, .F. ) ;
#1451 = EDGE_CURVE ( 'NONE', #1443, #1449, #13245, .T. ) ;
#1452 = ADVANCED_FACE ( 'NONE', ( #13241 ), #13240, .F. ) ;
#1453 = EDGE_LOOP ( 'NONE', ( #1454, #1592, #1661, #1586 ) ) ;
#1454 = ORIENTED_EDGE ( 'NONE', *, *, #1455, .F. ) ;
#1455 = EDGE_CURVE ( 'NONE', #1456, #712, #13233, .T. ) ;
#1456 = VERTEX_POINT ( 'NONE', #13273 ) ;
#1457 = ORIENTED_EDGE ( 'NONE', *, *, #1458, .T. ) ;
#1458 = EDGE_CURVE ( 'NONE', #1311, #1459, #13272, .T. ) ;
#1459 = VERTEX_POINT ( 'NONE', #13268 ) ;
#1460 = VERTEX_POINT ( 'NONE', #13267 ) ;
#1461 = VERTEX_POINT ( 'NONE', #13266 ) ;
#1462 = VERTEX_POINT ( 'NONE', #13265 ) ;
#1463 = ORIENTED_EDGE ( 'NONE', *, *, #1464, .T. ) ;
#1464 = EDGE_CURVE ( 'NONE', #1546, #1465, #13264, .T. ) ;
#1465 = VERTEX_POINT ( 'NONE', #13259 ) ;
#1466 = ORIENTED_EDGE ( 'NONE', *, *, #1440, .F. ) ;
#1467 = EDGE_LOOP ( 'NONE', ( #1442, #1483, #1486, #1489 ) ) ;
#1468 = VERTEX_POINT ( 'NONE', #13258 ) ;
#1469 = EDGE_LOOP ( 'NONE', ( #1439, #1491, #1435, #1425 ) ) ;
#1470 = EDGE_CURVE ( 'NONE', #1471, #1472, #13257, .T. ) ;
#1471 = VERTEX_POINT ( 'NONE', #13323 ) ;
#1472 = VERTEX_POINT ( 'NONE', #13322 ) ;
#1473 = ORIENTED_EDGE ( 'NONE', *, *, #1474, .T. ) ;
#1474 = EDGE_CURVE ( 'NONE', #1471, #1475, #13321, .T. ) ;
#1475 = VERTEX_POINT ( 'NONE', #13317 ) ;
#1476 = ORIENTED_EDGE ( 'NONE', *, *, #1477, .T. ) ;
#1477 = EDGE_CURVE ( 'NONE', #1475, #1478, #13316, .T. ) ;
#1478 = VERTEX_POINT ( 'NONE', #13311 ) ;
#1479 = EDGE_LOOP ( 'NONE', ( #1540, #1544, #1463, #1466 ) ) ;
#1480 = EDGE_CURVE ( 'NONE', #1481, #1482, #13310, .T. ) ;
#1481 = VERTEX_POINT ( 'NONE', #13305 ) ;
#1482 = VERTEX_POINT ( 'NONE', #13304 ) ;
#1483 = ORIENTED_EDGE ( 'NONE', *, *, #1484, .T. ) ;
#1484 = EDGE_CURVE ( 'NONE', #1481, #1485, #13303, .T. ) ;
#1485 = VERTEX_POINT ( 'NONE', #13299 ) ;
#1486 = ORIENTED_EDGE ( 'NONE', *, *, #1487, .T. ) ;
#1487 = EDGE_CURVE ( 'NONE', #1485, #1488, #13298, .T. ) ;
#1488 = VERTEX_POINT ( 'NONE', #13357 ) ;
#1489 = ORIENTED_EDGE ( 'NONE', *, *, #1494, .F. ) ;
#1490 = EDGE_CURVE ( 'NONE', #1468, #1438, #13356, .T. ) ;
#1491 = ORIENTED_EDGE ( 'NONE', *, *, #1492, .T. ) ;
#1492 = EDGE_CURVE ( 'NONE', #1468, #1493, #13351, .T. ) ;
#1493 = VERTEX_POINT ( 'NONE', #13347 ) ;
#1494 = EDGE_CURVE ( 'NONE', #1482, #1488, #13346, .T. ) ;
#1495 = ADVANCED_FACE ( 'NONE', ( #13342 ), #13341, .F. ) ;
#1496 = EDGE_LOOP ( 'NONE', ( #1497, #1501, #1504, #1423 ) ) ;
#1497 = ORIENTED_EDGE ( 'NONE', *, *, #1498, .T. ) ;
#1498 = EDGE_CURVE ( 'NONE', #1499, #1500, #13335, .T. ) ;
#1499 = VERTEX_POINT ( 'NONE', #13331 ) ;
#1500 = VERTEX_POINT ( 'NONE', #13330 ) ;
#1501 = ORIENTED_EDGE ( 'NONE', *, *, #1502, .T. ) ;
#1502 = EDGE_CURVE ( 'NONE', #1500, #1503, #13329, .T. ) ;
#1503 = VERTEX_POINT ( 'NONE', #13388 ) ;
#1504 = ORIENTED_EDGE ( 'NONE', *, *, #1505, .T. ) ;
#1505 = EDGE_CURVE ( 'NONE', #1503, #1422, #13386, .T. ) ;
#1506 = ORIENTED_EDGE ( 'NONE', *, *, #1106, .T. ) ;
#1507 = ORIENTED_EDGE ( 'NONE', *, *, #3113, .T. ) ;
#1508 = ORIENTED_EDGE ( 'NONE', *, *, #1582, .T. ) ;
#1509 = ORIENTED_EDGE ( 'NONE', *, *, #1510, .T. ) ;
#1510 = EDGE_CURVE ( 'NONE', #1580, #1563, #13387, .T. ) ;
#1511 = EDGE_CURVE ( 'NONE', #3134, #1535, #13378, .T. ) ;
#1512 = ADVANCED_FACE ( 'NONE', ( #13374 ), #13373, .F. ) ;
#1513 = EDGE_LOOP ( 'NONE', ( #1514, #1515, #1516, #1519 ) ) ;
#1514 = ORIENTED_EDGE ( 'NONE', *, *, #3053, .T. ) ;
#1515 = ORIENTED_EDGE ( 'NONE', *, *, #1511, .T. ) ;
#1516 = ORIENTED_EDGE ( 'NONE', *, *, #1517, .T. ) ;
#1517 = EDGE_CURVE ( 'NONE', #1535, #1518, #13368, .T. ) ;
#1518 = VERTEX_POINT ( 'NONE', #13364 ) ;
#1519 = ORIENTED_EDGE ( 'NONE', *, *, #1520, .F. ) ;
#1520 = EDGE_CURVE ( 'NONE', #3054, #1518, #13362, .T. ) ;
#1521 = ADVANCED_FACE ( 'NONE', ( #13358 ), #13363, .F. ) ;
#1522 = EDGE_LOOP ( 'NONE', ( #1523, #1577, #1578, #1581 ) ) ;
#1523 = ORIENTED_EDGE ( 'NONE', *, *, #3110, .T. ) ;
#1524 = EDGE_CURVE ( 'NONE', #3277, #3233, #13417, .T. ) ;
#1525 = ORIENTED_EDGE ( 'NONE', *, *, #3232, .F. ) ;
#1526 = ADVANCED_FACE ( 'NONE', ( #13413 ), #13412, .F. ) ;
#1527 = EDGE_LOOP ( 'NONE', ( #1528, #1529, #1530, #1533, #1536 ) ) ;
#1528 = ORIENTED_EDGE ( 'NONE', *, *, #3133, .T. ) ;
#1529 = ORIENTED_EDGE ( 'NONE', *, *, #1097, .T. ) ;
#1530 = ORIENTED_EDGE ( 'NONE', *, *, #1531, .T. ) ;
#1531 = EDGE_CURVE ( 'NONE', #1181, #1532, #13407, .T. ) ;
#1532 = VERTEX_POINT ( 'NONE', #13403 ) ;
#1533 = ORIENTED_EDGE ( 'NONE', *, *, #1534, .T. ) ;
#1534 = EDGE_CURVE ( 'NONE', #1532, #1535, #13402, .T. ) ;
#1535 = VERTEX_POINT ( 'NONE', #13398 ) ;
#1536 = ORIENTED_EDGE ( 'NONE', *, *, #1511, .F. ) ;
#1537 = ORIENTED_EDGE ( 'NONE', *, *, #1538, .F. ) ;
#1538 = EDGE_CURVE ( 'NONE', #1472, #1478, #13397, .T. ) ;
#1539 = ADVANCED_FACE ( 'NONE', ( #13393 ), #13392, .F. ) ;
#1540 = ORIENTED_EDGE ( 'NONE', *, *, #1541, .F. ) ;
#1541 = EDGE_CURVE ( 'NONE', #1542, #1543, #13391, .T. ) ;
#1542 = VERTEX_POINT ( 'NONE', #13445 ) ;
#1543 = VERTEX_POINT ( 'NONE', #13444 ) ;
#1544 = ORIENTED_EDGE ( 'NONE', *, *, #1545, .T. ) ;
#1545 = EDGE_CURVE ( 'NONE', #1542, #1546, #13443, .T. ) ;
#1546 = VERTEX_POINT ( 'NONE', #13439 ) ;
#1547 = EDGE_CURVE ( 'NONE', #1114, #1113, #13437, .T. ) ;
#1548 = ORIENTED_EDGE ( 'NONE', *, *, #1112, .T. ) ;
#1549 = EDGE_LOOP ( 'NONE', ( #1550, #1605, #1606, #1607, #1608, #1609 ) ) ;
#1550 = ORIENTED_EDGE ( 'NONE', *, *, #3251, .F. ) ;
#1551 = ORIENTED_EDGE ( 'NONE', *, *, #1180, .T. ) ;
#1552 = ORIENTED_EDGE ( 'NONE', *, *, #1574, .T. ) ;
#1553 = ORIENTED_EDGE ( 'NONE', *, *, #1554, .T. ) ;
#1554 = EDGE_CURVE ( 'NONE', #1572, #1532, #13438, .T. ) ;
#1555 = ORIENTED_EDGE ( 'NONE', *, *, #1531, .F. ) ;
#1556 = ADVANCED_FACE ( 'NONE', ( #13429, #13428 ), #13427, .F. ) ;
#1557 = EDGE_LOOP ( 'NONE', ( #1558, #1560 ) ) ;
#1558 = ORIENTED_EDGE ( 'NONE', *, *, #1559, .T. ) ;
#1559 = EDGE_CURVE ( 'NONE', #1058, #1057, #13422, .T. ) ;
#1560 = ORIENTED_EDGE ( 'NONE', *, *, #1056, .T. ) ;
#1561 = EDGE_LOOP ( 'NONE', ( #1562, #1617, #1618, #1619, #1620, #1621 ) ) ;
#1562 = ORIENTED_EDGE ( 'NONE', *, *, #3144, .F. ) ;
#1563 = VERTEX_POINT ( 'NONE', #13483 ) ;
#1564 = ORIENTED_EDGE ( 'NONE', *, *, #1565, .F. ) ;
#1565 = EDGE_CURVE ( 'NONE', #1205, #1563, #13482, .T. ) ;
#1566 = ADVANCED_FACE ( 'NONE', ( #13478 ), #13477, .F. ) ;
#1567 = EDGE_LOOP ( 'NONE', ( #1568, #1569, #1570, #1573 ) ) ;
#1568 = ORIENTED_EDGE ( 'NONE', *, *, #1139, .T. ) ;
#1569 = ORIENTED_EDGE ( 'NONE', *, *, #1565, .T. ) ;
#1570 = ORIENTED_EDGE ( 'NONE', *, *, #1571, .T. ) ;
#1571 = EDGE_CURVE ( 'NONE', #1563, #1572, #13472, .T. ) ;
#1572 = VERTEX_POINT ( 'NONE', #13468 ) ;
#1573 = ORIENTED_EDGE ( 'NONE', *, *, #1574, .F. ) ;
#1574 = EDGE_CURVE ( 'NONE', #1140, #1572, #13467, .T. ) ;
#1575 = ADVANCED_FACE ( 'NONE', ( #13463 ), #13462, .F. ) ;
#1576 = EDGE_LOOP ( 'NONE', ( #1551, #1552, #1553, #1555 ) ) ;
#1577 = ORIENTED_EDGE ( 'NONE', *, *, #1520, .T. ) ;
#1578 = ORIENTED_EDGE ( 'NONE', *, *, #1579, .T. ) ;
#1579 = EDGE_CURVE ( 'NONE', #1518, #1580, #13457, .T. ) ;
#1580 = VERTEX_POINT ( 'NONE', #13520 ) ;
#1581 = ORIENTED_EDGE ( 'NONE', *, *, #1582, .F. ) ;
#1582 = EDGE_CURVE ( 'NONE', #3111, #1580, #13519, .T. ) ;
#1583 = ADVANCED_FACE ( 'NONE', ( #13515 ), #13514, .F. ) ;
#1584 = EDGE_LOOP ( 'NONE', ( #1506, #1507, #1508, #1509, #1564 ) ) ;
#1585 = EDGE_LOOP ( 'NONE', ( #1709, #1708, #1752, #1783 ) ) ;
#1586 = ORIENTED_EDGE ( 'NONE', *, *, #1590, .F. ) ;
#1587 = VERTEX_POINT ( 'NONE', #13509 ) ;
#1588 = EDGE_CURVE ( 'NONE', #1587, #1591, #13508, .T. ) ;
#1589 = EDGE_CURVE ( 'NONE', #1456, #1591, #13503, .T. ) ;
#1590 = EDGE_CURVE ( 'NONE', #712, #1587, #13499, .T. ) ;
#1591 = VERTEX_POINT ( 'NONE', #13495 ) ;
#1592 = ORIENTED_EDGE ( 'NONE', *, *, #1589, .T. ) ;
#1593 = ORIENTED_EDGE ( 'NONE', *, *, #3276, .F. ) ;
#1594 = ORIENTED_EDGE ( 'NONE', *, *, #3293, .F. ) ;
#1595 = ORIENTED_EDGE ( 'NONE', *, *, #3227, .F. ) ;
#1596 = ORIENTED_EDGE ( 'NONE', *, *, #3218, .F. ) ;
#1597 = ORIENTED_EDGE ( 'NONE', *, *, #3235, .F. ) ;
#1598 = ADVANCED_FACE ( 'NONE', ( #13494, #13493 ), #13492, .F. ) ;
#1599 = EDGE_LOOP ( 'NONE', ( #1600, #1602 ) ) ;
#1600 = ORIENTED_EDGE ( 'NONE', *, *, #1601, .T. ) ;
#1601 = EDGE_CURVE ( 'NONE', #1062, #1061, #4399, .T. ) ;
#1602 = ORIENTED_EDGE ( 'NONE', *, *, #1060, .T. ) ;
#1603 = EDGE_LOOP ( 'NONE', ( #1604, #1649, #1650, #1651, #1652, #1653 ) ) ;
#1604 = ORIENTED_EDGE ( 'NONE', *, *, #1554, .F. ) ;
#1605 = ORIENTED_EDGE ( 'NONE', *, *, #3242, .F. ) ;
#1606 = ORIENTED_EDGE ( 'NONE', *, *, #3180, .F. ) ;
#1607 = ORIENTED_EDGE ( 'NONE', *, *, #3196, .F. ) ;
#1608 = ORIENTED_EDGE ( 'NONE', *, *, #3137, .F. ) ;
#1609 = ORIENTED_EDGE ( 'NONE', *, *, #3206, .F. ) ;
#1610 = ADVANCED_FACE ( 'NONE', ( #4394, #4393 ), #4392, .F. ) ;
#1611 = EDGE_LOOP ( 'NONE', ( #1612, #1614 ) ) ;
#1612 = ORIENTED_EDGE ( 'NONE', *, *, #1613, .T. ) ;
#1613 = EDGE_CURVE ( 'NONE', #1126, #1124, #4387, .T. ) ;
#1614 = ORIENTED_EDGE ( 'NONE', *, *, #1125, .T. ) ;
#1615 = EDGE_LOOP ( 'NONE', ( #1616, #1593, #1594, #1595, #1596, #1597 ) ) ;
#1616 = ORIENTED_EDGE ( 'NONE', *, *, #1524, .F. ) ;
#1617 = ORIENTED_EDGE ( 'NONE', *, *, #3160, .F. ) ;
#1618 = ORIENTED_EDGE ( 'NONE', *, *, #3151, .F. ) ;
#1619 = ORIENTED_EDGE ( 'NONE', *, *, #3168, .F. ) ;
#1620 = ORIENTED_EDGE ( 'NONE', *, *, #3104, .F. ) ;
#1621 = ORIENTED_EDGE ( 'NONE', *, *, #3122, .F. ) ;
#1622 = ADVANCED_FACE ( 'NONE', ( #4382, #4381 ), #4380, .F. ) ;
#1623 = EDGE_LOOP ( 'NONE', ( #1624, #1548 ) ) ;
#1624 = ORIENTED_EDGE ( 'NONE', *, *, #1547, .T. ) ;
#1625 = ORIENTED_EDGE ( 'NONE', *, *, #1626, .F. ) ;
#1626 = EDGE_CURVE ( 'NONE', #992, #989, #4375, .T. ) ;
#1627 = ADVANCED_FACE ( 'NONE', ( #4370 ), #4369, .T. ) ;
#1628 = EDGE_LOOP ( 'NONE', ( #1629, #1630, #1631, #1632 ) ) ;
#1629 = ORIENTED_EDGE ( 'NONE', *, *, #1064, .F. ) ;
#1630 = ORIENTED_EDGE ( 'NONE', *, *, #1601, .F. ) ;
#1631 = ORIENTED_EDGE ( 'NONE', *, *, #1121, .T. ) ;
#1632 = ORIENTED_EDGE ( 'NONE', *, *, #1633, .F. ) ;
#1633 = EDGE_CURVE ( 'NONE', #1094, #1092, #4365, .T. ) ;
#1634 = ADVANCED_FACE ( 'NONE', ( #4423 ), #4422, .T. ) ;
#1635 = EDGE_LOOP ( 'NONE', ( #1636, #1690, #1692, #1693 ) ) ;
#1636 = ORIENTED_EDGE ( 'NONE', *, *, #1108, .F. ) ;
#1637 = ADVANCED_FACE ( 'NONE', ( #4421 ), #4416, .T. ) ;
#1638 = EDGE_LOOP ( 'NONE', ( #1639, #1640, #1641, #1642 ) ) ;
#1639 = ORIENTED_EDGE ( 'NONE', *, *, #1116, .F. ) ;
#1640 = ORIENTED_EDGE ( 'NONE', *, *, #1547, .F. ) ;
#1641 = ORIENTED_EDGE ( 'NONE', *, *, #1136, .T. ) ;
#1642 = ORIENTED_EDGE ( 'NONE', *, *, #1643, .F. ) ;
#1643 = EDGE_CURVE ( 'NONE', #1078, #1049, #4410, .T. ) ;
#1644 = ADVANCED_FACE ( 'NONE', ( #4406 ), #4405, .T. ) ;
#1645 = EDGE_LOOP ( 'NONE', ( #1646, #1647, #1648, #1625 ) ) ;
#1646 = ORIENTED_EDGE ( 'NONE', *, *, #1128, .F. ) ;
#1647 = ORIENTED_EDGE ( 'NONE', *, *, #1613, .F. ) ;
#1648 = ORIENTED_EDGE ( 'NONE', *, *, #1131, .T. ) ;
#1649 = ORIENTED_EDGE ( 'NONE', *, *, #1571, .F. ) ;
#1650 = ORIENTED_EDGE ( 'NONE', *, *, #1510, .F. ) ;
#1651 = ORIENTED_EDGE ( 'NONE', *, *, #1579, .F. ) ;
#1652 = ORIENTED_EDGE ( 'NONE', *, *, #1517, .F. ) ;
#1653 = ORIENTED_EDGE ( 'NONE', *, *, #1534, .F. ) ;
#1654 = ADVANCED_FACE ( 'NONE', ( #4404 ), #4463, .T. ) ;
#1655 = EDGE_LOOP ( 'NONE', ( #1656, #1657, #1658, #1659 ) ) ;
#1656 = ORIENTED_EDGE ( 'NONE', *, *, #1082, .F. ) ;
#1657 = ORIENTED_EDGE ( 'NONE', *, *, #1559, .F. ) ;
#1658 = ORIENTED_EDGE ( 'NONE', *, *, #1085, .T. ) ;
#1659 = ORIENTED_EDGE ( 'NONE', *, *, #1660, .F. ) ;
#1660 = EDGE_CURVE ( 'NONE', #1075, #1109, #4464, .T. ) ;
#1661 = ORIENTED_EDGE ( 'NONE', *, *, #1588, .F. ) ;
#1662 = ADVANCED_FACE ( 'NONE', ( #4454 ), #4453, .F. ) ;
#1663 = ORIENTED_EDGE ( 'NONE', *, *, #13663, .F. ) ;
#1664 = ADVANCED_FACE ( 'NONE', ( #4452 ), #4447, .T. ) ;
#1665 = ORIENTED_EDGE ( 'NONE', *, *, #1666, .T. ) ;
#1666 = EDGE_CURVE ( 'NONE', #1667, #6522, #4442, .T. ) ;
#1667 = VERTEX_POINT ( 'NONE', #4437 ) ;
#1668 = ORIENTED_EDGE ( 'NONE', *, *, #13647, .F. ) ;
#1669 = ORIENTED_EDGE ( 'NONE', *, *, #1670, .F. ) ;
#1670 = EDGE_CURVE ( 'NONE', #1671, #6544, #4436, .T. ) ;
#1671 = VERTEX_POINT ( 'NONE', #4496 ) ;
#1672 = ORIENTED_EDGE ( 'NONE', *, *, #1673, .F. ) ;
#1673 = EDGE_CURVE ( 'NONE', #1667, #1671, #4495, .T. ) ;
#1674 = ADVANCED_FACE ( 'NONE', ( #4490 ), #4489, .T. ) ;
#1675 = EDGE_LOOP ( 'NONE', ( #1730, #1733, #1734, #1735 ) ) ;
#1676 = EDGE_LOOP ( 'NONE', ( #1677, #1678, #1680, #1681 ) ) ;
#1677 = ORIENTED_EDGE ( 'NONE', *, *, #988, .F. ) ;
#1678 = ORIENTED_EDGE ( 'NONE', *, *, #1679, .T. ) ;
#1679 = EDGE_CURVE ( 'NONE', #1021, #1020, #4488, .T. ) ;
#1680 = ORIENTED_EDGE ( 'NONE', *, *, #1027, .T. ) ;
#1681 = ORIENTED_EDGE ( 'NONE', *, *, #1626, .T. ) ;
#1682 = ADVANCED_FACE ( 'NONE', ( #4479 ), #4478, .T. ) ;
#1683 = EDGE_LOOP ( 'NONE', ( #1684, #1685, #1687, #1688 ) ) ;
#1684 = ORIENTED_EDGE ( 'NONE', *, *, #1091, .F. ) ;
#1685 = ORIENTED_EDGE ( 'NONE', *, *, #1686, .T. ) ;
#1686 = EDGE_CURVE ( 'NONE', #1089, #983, #4477, .T. ) ;
#1687 = ORIENTED_EDGE ( 'NONE', *, *, #1015, .T. ) ;
#1688 = ORIENTED_EDGE ( 'NONE', *, *, #1633, .T. ) ;
#1689 = EDGE_LOOP ( 'NONE', ( #1665, #1668, #1669, #1672 ) ) ;
#1690 = ORIENTED_EDGE ( 'NONE', *, *, #1691, .T. ) ;
#1691 = EDGE_CURVE ( 'NONE', #1067, #1065, #4467, .T. ) ;
#1692 = ORIENTED_EDGE ( 'NONE', *, *, #1071, .T. ) ;
#1693 = ORIENTED_EDGE ( 'NONE', *, *, #1660, .T. ) ;
#1694 = ADVANCED_FACE ( 'NONE', ( #4468 ), #4521, .T. ) ;
#1695 = EDGE_LOOP ( 'NONE', ( #1696, #1697, #1699, #1700 ) ) ;
#1696 = ORIENTED_EDGE ( 'NONE', *, *, #1048, .F. ) ;
#1697 = ORIENTED_EDGE ( 'NONE', *, *, #1698, .T. ) ;
#1698 = EDGE_CURVE ( 'NONE', #1046, #1032, #4517, .T. ) ;
#1699 = ORIENTED_EDGE ( 'NONE', *, *, #1077, .T. ) ;
#1700 = ORIENTED_EDGE ( 'NONE', *, *, #1643, .T. ) ;
#1701 = ADVANCED_FACE ( 'NONE', ( #4513 ), #4512, .T. ) ;
#1702 = ORIENTED_EDGE ( 'NONE', *, *, #1703, .T. ) ;
#1703 = EDGE_CURVE ( 'NONE', #1772, #1704, #4507, .T. ) ;
#1704 = VERTEX_POINT ( 'NONE', #4503 ) ;
#1705 = ORIENTED_EDGE ( 'NONE', *, *, #1706, .F. ) ;
#1706 = EDGE_CURVE ( 'NONE', #1754, #1778, #4502, .T. ) ;
#1707 = ADVANCED_FACE ( 'NONE', ( #4498 ), #4497, .F. ) ;
#1708 = ORIENTED_EDGE ( 'NONE', *, *, #1710, .T. ) ;
#1709 = ORIENTED_EDGE ( 'NONE', *, *, #1715, .F. ) ;
#1710 = EDGE_CURVE ( 'NONE', #1773, #1770, #4556, .T. ) ;
#1711 = ORIENTED_EDGE ( 'NONE', *, *, #1712, .T. ) ;
#1712 = EDGE_CURVE ( 'NONE', #1704, #1822, #4550, .T. ) ;
#1713 = VERTEX_POINT ( 'NONE', #4545 ) ;
#1714 = EDGE_CURVE ( 'NONE', #1751, #1713, #4544, .T. ) ;
#1715 = EDGE_CURVE ( 'NONE', #1773, #1751, #4540, .T. ) ;
#1716 = ORIENTED_EDGE ( 'NONE', *, *, #1731, .F. ) ;
#1717 = ORIENTED_EDGE ( 'NONE', *, *, #1718, .F. ) ;
#1718 = EDGE_CURVE ( 'NONE', #1741, #1732, #4535, .T. ) ;
#1719 = ADVANCED_FACE ( 'NONE', ( #4530 ), #4529, .T. ) ;
#1720 = EDGE_LOOP ( 'NONE', ( #1721, #1722, #1725, #1727 ) ) ;
#1721 = ORIENTED_EDGE ( 'NONE', *, *, #1740, .T. ) ;
#1722 = ORIENTED_EDGE ( 'NONE', *, *, #1723, .F. ) ;
#1723 = EDGE_CURVE ( 'NONE', #1724, #1741, #4593, .T. ) ;
#1724 = VERTEX_POINT ( 'NONE', #4589 ) ;
#1725 = ORIENTED_EDGE ( 'NONE', *, *, #1726, .F. ) ;
#1726 = EDGE_CURVE ( 'NONE', #6403, #1724, #4588, .T. ) ;
#1727 = ORIENTED_EDGE ( 'NONE', *, *, #6497, .F. ) ;
#1728 = ADVANCED_FACE ( 'NONE', ( #4583 ), #4582, .T. ) ;
#1729 = EDGE_LOOP ( 'NONE', ( #1809, #1810, #1813, #1815 ) ) ;
#1730 = ORIENTED_EDGE ( 'NONE', *, *, #1731, .T. ) ;
#1731 = EDGE_CURVE ( 'NONE', #1732, #6533, #4577, .T. ) ;
#1732 = VERTEX_POINT ( 'NONE', #4572 ) ;
#1733 = ORIENTED_EDGE ( 'NONE', *, *, #6532, .F. ) ;
#1734 = ORIENTED_EDGE ( 'NONE', *, *, #1666, .F. ) ;
#1735 = ORIENTED_EDGE ( 'NONE', *, *, #1736, .F. ) ;
#1736 = EDGE_CURVE ( 'NONE', #1732, #1667, #4571, .T. ) ;
#1737 = ADVANCED_FACE ( 'NONE', ( #4567 ), #4566, .T. ) ;
#1738 = EDGE_LOOP ( 'NONE', ( #1739, #1663, #1716, #1717 ) ) ;
#1739 = ORIENTED_EDGE ( 'NONE', *, *, #1740, .F. ) ;
#1740 = EDGE_CURVE ( 'NONE', #6396, #1741, #4623, .T. ) ;
#1741 = VERTEX_POINT ( 'NONE', #4619 ) ;
#1742 = ORIENTED_EDGE ( 'NONE', *, *, #1743, .T. ) ;
#1743 = EDGE_CURVE ( 'NONE', #1759, #1761, #4618, .T. ) ;
#1744 = ORIENTED_EDGE ( 'NONE', *, *, #1745, .T. ) ;
#1745 = EDGE_CURVE ( 'NONE', #1761, #1746, #4614, .T. ) ;
#1746 = VERTEX_POINT ( 'NONE', #4609 ) ;
#1747 = ORIENTED_EDGE ( 'NONE', *, *, #1748, .F. ) ;
#1748 = EDGE_CURVE ( 'NONE', #1753, #1754, #4608, .T. ) ;
#1749 = ADVANCED_FACE ( 'NONE', ( #4603 ), #4602, .F. ) ;
#1750 = EDGE_LOOP ( 'NONE', ( #1771, #1702, #1711, #1779 ) ) ;
#1751 = VERTEX_POINT ( 'NONE', #4597 ) ;
#1752 = ORIENTED_EDGE ( 'NONE', *, *, #1823, .T. ) ;
#1753 = VERTEX_POINT ( 'NONE', #4596 ) ;
#1754 = VERTEX_POINT ( 'NONE', #4595 ) ;
#1755 = ORIENTED_EDGE ( 'NONE', *, *, #1774, .T. ) ;
#1756 = EDGE_LOOP ( 'NONE', ( #1757, #1742, #1744, #1762 ) ) ;
#1757 = ORIENTED_EDGE ( 'NONE', *, *, #1758, .F. ) ;
#1758 = EDGE_CURVE ( 'NONE', #1759, #1760, #13235, .T. ) ;
#1759 = VERTEX_POINT ( 'NONE', #4680 ) ;
#1760 = VERTEX_POINT ( 'NONE', #4677 ) ;
#1761 = VERTEX_POINT ( 'NONE', #4675 ) ;
#1762 = ORIENTED_EDGE ( 'NONE', *, *, #1763, .F. ) ;
#1763 = EDGE_CURVE ( 'NONE', #1760, #1746, #4671, .T. ) ;
#1764 = ADVANCED_FACE ( 'NONE', ( #4666 ), #4665, .T. ) ;
#1765 = EDGE_LOOP ( 'NONE', ( #1766, #2051, #2047, #1993 ) ) ;
#1766 = ORIENTED_EDGE ( 'NONE', *, *, #1767, .T. ) ;
#1767 = EDGE_CURVE ( 'NONE', #710, #2048, #4649, .T. ) ;
#1768 = EDGE_CURVE ( 'NONE', #1772, #1769, #4641, .T. ) ;
#1769 = VERTEX_POINT ( 'NONE', #4632 ) ;
#1770 = VERTEX_POINT ( 'NONE', #4630 ) ;
#1771 = ORIENTED_EDGE ( 'NONE', *, *, #1768, .F. ) ;
#1772 = VERTEX_POINT ( 'NONE', #4629 ) ;
#1773 = VERTEX_POINT ( 'NONE', #4627 ) ;
#1774 = EDGE_CURVE ( 'NONE', #1753, #1775, #4625, .T. ) ;
#1775 = VERTEX_POINT ( 'NONE', #4747 ) ;
#1776 = ORIENTED_EDGE ( 'NONE', *, *, #1777, .T. ) ;
#1777 = EDGE_CURVE ( 'NONE', #1775, #1778, #4744, .T. ) ;
#1778 = VERTEX_POINT ( 'NONE', #4735 ) ;
#1779 = ORIENTED_EDGE ( 'NONE', *, *, #1780, .F. ) ;
#1780 = EDGE_CURVE ( 'NONE', #1769, #1822, #4730, .T. ) ;
#1781 = ADVANCED_FACE ( 'NONE', ( #4725 ), #4718, .F. ) ;
#1782 = EDGE_LOOP ( 'NONE', ( #1747, #1755, #1776, #1705 ) ) ;
#1783 = ORIENTED_EDGE ( 'NONE', *, *, #1714, .F. ) ;
#1784 = ORIENTED_EDGE ( 'NONE', *, *, #1670, .T. ) ;
#1785 = ORIENTED_EDGE ( 'NONE', *, *, #6305, .F. ) ;
#1786 = ORIENTED_EDGE ( 'NONE', *, *, #1801, .F. ) ;
#1787 = ORIENTED_EDGE ( 'NONE', *, *, #1788, .F. ) ;
#1788 = EDGE_CURVE ( 'NONE', #1671, #1802, #4720, .T. ) ;
#1789 = ADVANCED_FACE ( 'NONE', ( #4704, #4703, #4702, #4701, #4699, #4697 ), #4692, .F. ) ;
#1790 = EDGE_LOOP ( 'NONE', ( #1791, #1792, #1793, #1794, #1856, #1857, #1858, #1859 ) ) ;
#1791 = ORIENTED_EDGE ( 'NONE', *, *, #1788, .T. ) ;
#1792 = ORIENTED_EDGE ( 'NONE', *, *, #1806, .T. ) ;
#1793 = ORIENTED_EDGE ( 'NONE', *, *, #1820, .T. ) ;
#1794 = ORIENTED_EDGE ( 'NONE', *, *, #1811, .T. ) ;
#1795 = ORIENTED_EDGE ( 'NONE', *, *, #1796, .F. ) ;
#1796 = EDGE_CURVE ( 'NONE', #6365, #1821, #4811, .T. ) ;
#1797 = ORIENTED_EDGE ( 'NONE', *, *, #6360, .F. ) ;
#1798 = ADVANCED_FACE ( 'NONE', ( #4805 ), #4803, .T. ) ;
#1799 = EDGE_LOOP ( 'NONE', ( #1800, #1803, #1804, #1805 ) ) ;
#1800 = ORIENTED_EDGE ( 'NONE', *, *, #1801, .T. ) ;
#1801 = EDGE_CURVE ( 'NONE', #1802, #6302, #4791, .T. ) ;
#1802 = VERTEX_POINT ( 'NONE', #4781 ) ;
#1803 = ORIENTED_EDGE ( 'NONE', *, *, #13638, .F. ) ;
#1804 = ORIENTED_EDGE ( 'NONE', *, *, #1796, .T. ) ;
#1805 = ORIENTED_EDGE ( 'NONE', *, *, #1806, .F. ) ;
#1806 = EDGE_CURVE ( 'NONE', #1802, #1821, #4776, .T. ) ;
#1807 = ADVANCED_FACE ( 'NONE', ( #4779 ), #4763, .T. ) ;
#1808 = EDGE_LOOP ( 'NONE', ( #1784, #1785, #1786, #1787 ) ) ;
#1809 = ORIENTED_EDGE ( 'NONE', *, *, #1726, .T. ) ;
#1810 = ORIENTED_EDGE ( 'NONE', *, *, #1811, .F. ) ;
#1811 = EDGE_CURVE ( 'NONE', #1812, #1724, #4757, .T. ) ;
#1812 = VERTEX_POINT ( 'NONE', #4877 ) ;
#1813 = ORIENTED_EDGE ( 'NONE', *, *, #1814, .F. ) ;
#1814 = EDGE_CURVE ( 'NONE', #6192, #1812, #4874, .T. ) ;
#1815 = ORIENTED_EDGE ( 'NONE', *, *, #13658, .F. ) ;
#1816 = ADVANCED_FACE ( 'NONE', ( #4876 ), #4857, .T. ) ;
#1817 = EDGE_LOOP ( 'NONE', ( #1818, #1819, #1795, #1797 ) ) ;
#1818 = ORIENTED_EDGE ( 'NONE', *, *, #1814, .T. ) ;
#1819 = ORIENTED_EDGE ( 'NONE', *, *, #1820, .F. ) ;
#1820 = EDGE_CURVE ( 'NONE', #1821, #1812, #4859, .T. ) ;
#1821 = VERTEX_POINT ( 'NONE', #4848 ) ;
#1822 = VERTEX_POINT ( 'NONE', #4845 ) ;
#1823 = EDGE_CURVE ( 'NONE', #1770, #1713, #4839, .T. ) ;
#1824 = ORIENTED_EDGE ( 'NONE', *, *, #982, .F. ) ;
#1825 = ORIENTED_EDGE ( 'NONE', *, *, #1686, .F. ) ;
#1826 = EDGE_LOOP ( 'NONE', ( #1827, #1887 ) ) ;
#1827 = ORIENTED_EDGE ( 'NONE', *, *, #1019, .F. ) ;
#1828 = ORIENTED_EDGE ( 'NONE', *, *, #1829, .F. ) ;
#1829 = EDGE_CURVE ( 'NONE', #1830, #1855, #4826, .T. ) ;
#1830 = VERTEX_POINT ( 'NONE', #4819 ) ;
#1831 = ORIENTED_EDGE ( 'NONE', *, *, #1832, .T. ) ;
#1832 = EDGE_CURVE ( 'NONE', #1830, #1833, #4934, .T. ) ;
#1833 = VERTEX_POINT ( 'NONE', #4930 ) ;
#1834 = ORIENTED_EDGE ( 'NONE', *, *, #1835, .F. ) ;
#1835 = EDGE_CURVE ( 'NONE', #1836, #1833, #4925, .T. ) ;
#1836 = VERTEX_POINT ( 'NONE', #4918 ) ;
#1837 = ORIENTED_EDGE ( 'NONE', *, *, #1838, .T. ) ;
#1838 = EDGE_CURVE ( 'NONE', #1836, #1839, #4917, .T. ) ;
#1839 = VERTEX_POINT ( 'NONE', #4910 ) ;
#1840 = VERTEX_POINT ( 'NONE', #4907 ) ;
#1841 = ORIENTED_EDGE ( 'NONE', *, *, #1842, .T. ) ;
#1842 = EDGE_CURVE ( 'NONE', #1870, #1843, #4903, .T. ) ;
#1843 = VERTEX_POINT ( 'NONE', #4897 ) ;
#1844 = ORIENTED_EDGE ( 'NONE', *, *, #1845, .F. ) ;
#1845 = EDGE_CURVE ( 'NONE', #1846, #1843, #4895, .T. ) ;
#1846 = VERTEX_POINT ( 'NONE', #4886 ) ;
#1847 = ORIENTED_EDGE ( 'NONE', *, *, #1848, .T. ) ;
#1848 = EDGE_CURVE ( 'NONE', #1846, #1849, #4882, .T. ) ;
#1849 = VERTEX_POINT ( 'NONE', #4998 ) ;
#1850 = ORIENTED_EDGE ( 'NONE', *, *, #1851, .F. ) ;
#1851 = EDGE_CURVE ( 'NONE', #1852, #1849, #4997, .T. ) ;
#1852 = VERTEX_POINT ( 'NONE', #4989 ) ;
#1853 = ORIENTED_EDGE ( 'NONE', *, *, #1854, .T. ) ;
#1854 = EDGE_CURVE ( 'NONE', #1852, #1855, #4982, .T. ) ;
#1855 = VERTEX_POINT ( 'NONE', #4974 ) ;
#1856 = ORIENTED_EDGE ( 'NONE', *, *, #1723, .T. ) ;
#1857 = ORIENTED_EDGE ( 'NONE', *, *, #1718, .T. ) ;
#1858 = ORIENTED_EDGE ( 'NONE', *, *, #1736, .T. ) ;
#1859 = ORIENTED_EDGE ( 'NONE', *, *, #1673, .T. ) ;
#1860 = EDGE_LOOP ( 'NONE', ( #1861, #1865, #1868, #1841, #1844, #1847, #1850, #1853, #1828, #1831, #1834, #1837, #1899, #1901, #1904, #1907 ) ) ;
#1861 = ORIENTED_EDGE ( 'NONE', *, *, #1862, .F. ) ;
#1862 = EDGE_CURVE ( 'NONE', #1863, #1864, #4972, .T. ) ;
#1863 = VERTEX_POINT ( 'NONE', #4961 ) ;
#1864 = VERTEX_POINT ( 'NONE', #4959 ) ;
#1865 = ORIENTED_EDGE ( 'NONE', *, *, #1866, .T. ) ;
#1866 = EDGE_CURVE ( 'NONE', #1863, #1867, #4957, .T. ) ;
#1867 = VERTEX_POINT ( 'NONE', #4950 ) ;
#1868 = ORIENTED_EDGE ( 'NONE', *, *, #1869, .F. ) ;
#1869 = EDGE_CURVE ( 'NONE', #1870, #1867, #4943, .T. ) ;
#1870 = VERTEX_POINT ( 'NONE', #4944 ) ;
#1871 = EDGE_CURVE ( 'NONE', #1840, #6224, #5054, .T. ) ;
#1872 = ORIENTED_EDGE ( 'NONE', *, *, #6220, .F. ) ;
#1873 = ORIENTED_EDGE ( 'NONE', *, *, #1927, .F. ) ;
#1874 = ORIENTED_EDGE ( 'NONE', *, *, #1875, .F. ) ;
#1875 = EDGE_CURVE ( 'NONE', #1867, #56, #5044, .T. ) ;
#1876 = ORIENTED_EDGE ( 'NONE', *, *, #1866, .F. ) ;
#1877 = ADVANCED_FACE ( 'NONE', ( #5039 ), #5038, .F. ) ;
#1878 = EDGE_LOOP ( 'NONE', ( #1879, #1881, #1882, #1884 ) ) ;
#1879 = ORIENTED_EDGE ( 'NONE', *, *, #1880, .T. ) ;
#1880 = EDGE_CURVE ( 'NONE', #83, #1849, #5027, .T. ) ;
#1881 = ORIENTED_EDGE ( 'NONE', *, *, #1848, .F. ) ;
#1882 = ORIENTED_EDGE ( 'NONE', *, *, #1883, .F. ) ;
#1883 = EDGE_CURVE ( 'NONE', #86, #1846, #5015, .T. ) ;
#1884 = ORIENTED_EDGE ( 'NONE', *, *, #85, .F. ) ;
#1885 = ADVANCED_FACE ( 'NONE', ( #5010 ), #5009, .F. ) ;
#1886 = EDGE_LOOP ( 'NONE', ( #1940, #1942, #1943, #1945 ) ) ;
#1887 = ORIENTED_EDGE ( 'NONE', *, *, #1679, .F. ) ;
#1888 = EDGE_LOOP ( 'NONE', ( #1889, #1890 ) ) ;
#1889 = ORIENTED_EDGE ( 'NONE', *, *, #1031, .F. ) ;
#1890 = ORIENTED_EDGE ( 'NONE', *, *, #1698, .F. ) ;
#1891 = EDGE_LOOP ( 'NONE', ( #1892, #1893 ) ) ;
#1892 = ORIENTED_EDGE ( 'NONE', *, *, #1066, .F. ) ;
#1893 = ORIENTED_EDGE ( 'NONE', *, *, #1691, .F. ) ;
#1894 = ADVANCED_FACE ( 'NONE', ( #5004 ), #5116, .F. ) ;
#1895 = EDGE_LOOP ( 'NONE', ( #1896, #1898, #1874, #1876 ) ) ;
#1896 = ORIENTED_EDGE ( 'NONE', *, *, #1897, .T. ) ;
#1897 = EDGE_CURVE ( 'NONE', #1863, #59, #5105, .T. ) ;
#1898 = ORIENTED_EDGE ( 'NONE', *, *, #58, .F. ) ;
#1899 = ORIENTED_EDGE ( 'NONE', *, *, #1900, .F. ) ;
#1900 = EDGE_CURVE ( 'NONE', #1840, #1839, #5101, .T. ) ;
#1901 = ORIENTED_EDGE ( 'NONE', *, *, #1902, .T. ) ;
#1902 = EDGE_CURVE ( 'NONE', #1840, #1903, #5091, .T. ) ;
#1903 = VERTEX_POINT ( 'NONE', #5083 ) ;
#1904 = ORIENTED_EDGE ( 'NONE', *, *, #1905, .F. ) ;
#1905 = EDGE_CURVE ( 'NONE', #1906, #1903, #5077, .T. ) ;
#1906 = VERTEX_POINT ( 'NONE', #5070 ) ;
#1907 = ORIENTED_EDGE ( 'NONE', *, *, #1908, .T. ) ;
#1908 = EDGE_CURVE ( 'NONE', #1906, #1864, #5065, .T. ) ;
#1909 = EDGE_LOOP ( 'NONE', ( #1824, #1825 ) ) ;
#1910 = ADVANCED_FACE ( 'NONE', ( #5155 ), #5154, .F. ) ;
#1911 = EDGE_LOOP ( 'NONE', ( #1912, #1968, #1970, #1971 ) ) ;
#1912 = ORIENTED_EDGE ( 'NONE', *, *, #1913, .T. ) ;
#1913 = EDGE_CURVE ( 'NONE', #1906, #1914, #5149, .T. ) ;
#1914 = VERTEX_POINT ( 'NONE', #5144 ) ;
#1915 = ORIENTED_EDGE ( 'NONE', *, *, #1916, .T. ) ;
#1916 = EDGE_CURVE ( 'NONE', #1870, #1917, #5142, .T. ) ;
#1917 = VERTEX_POINT ( 'NONE', #5136 ) ;
#1918 = ORIENTED_EDGE ( 'NONE', *, *, #1919, .F. ) ;
#1919 = EDGE_CURVE ( 'NONE', #1934, #1917, #5135, .T. ) ;
#1920 = ORIENTED_EDGE ( 'NONE', *, *, #1933, .F. ) ;
#1921 = ORIENTED_EDGE ( 'NONE', *, *, #1842, .F. ) ;
#1922 = ADVANCED_FACE ( 'NONE', ( #5130 ), #5129, .F. ) ;
#1923 = EDGE_LOOP ( 'NONE', ( #1924, #1925, #1978, #1979 ) ) ;
#1924 = ORIENTED_EDGE ( 'NONE', *, *, #1875, .T. ) ;
#1925 = ORIENTED_EDGE ( 'NONE', *, *, #1926, .T. ) ;
#1926 = EDGE_CURVE ( 'NONE', #56, #1917, #5120, .T. ) ;
#1927 = EDGE_CURVE ( 'NONE', #1903, #6211, #5183, .T. ) ;
#1928 = ORIENTED_EDGE ( 'NONE', *, *, #1902, .F. ) ;
#1929 = ADVANCED_FACE ( 'NONE', ( #5178 ), #5177, .F. ) ;
#1930 = EDGE_LOOP ( 'NONE', ( #1931, #1932, #1935, #1937 ) ) ;
#1931 = ORIENTED_EDGE ( 'NONE', *, *, #1845, .T. ) ;
#1932 = ORIENTED_EDGE ( 'NONE', *, *, #1933, .T. ) ;
#1933 = EDGE_CURVE ( 'NONE', #1843, #1934, #5172, .T. ) ;
#1934 = VERTEX_POINT ( 'NONE', #5167 ) ;
#1935 = ORIENTED_EDGE ( 'NONE', *, *, #1936, .F. ) ;
#1936 = EDGE_CURVE ( 'NONE', #86, #1934, #5165, .T. ) ;
#1937 = ORIENTED_EDGE ( 'NONE', *, *, #1883, .T. ) ;
#1938 = ADVANCED_FACE ( 'NONE', ( #5166 ), #5159, .F. ) ;
#1939 = EDGE_LOOP ( 'NONE', ( #1915, #1918, #1920, #1921 ) ) ;
#1940 = ORIENTED_EDGE ( 'NONE', *, *, #1941, .T. ) ;
#1941 = EDGE_CURVE ( 'NONE', #6167, #1833, #5220, .T. ) ;
#1942 = ORIENTED_EDGE ( 'NONE', *, *, #1832, .F. ) ;
#1943 = ORIENTED_EDGE ( 'NONE', *, *, #1944, .F. ) ;
#1944 = EDGE_CURVE ( 'NONE', #6127, #1830, #5215, .T. ) ;
#1945 = ORIENTED_EDGE ( 'NONE', *, *, #6126, .F. ) ;
#1946 = ADVANCED_FACE ( 'NONE', ( #5210 ), #5209, .F. ) ;
#1947 = EDGE_LOOP ( 'NONE', ( #1948, #1872, #1873, #1928 ) ) ;
#1948 = ORIENTED_EDGE ( 'NONE', *, *, #1871, .T. ) ;
#1949 = ORIENTED_EDGE ( 'NONE', *, *, #1941, .F. ) ;
#1950 = ORIENTED_EDGE ( 'NONE', *, *, #1951, .T. ) ;
#1951 = EDGE_CURVE ( 'NONE', #6167, #1967, #5207, .T. ) ;
#1952 = ADVANCED_FACE ( 'NONE', ( #5198 ), #5197, .F. ) ;
#1953 = ORIENTED_EDGE ( 'NONE', *, *, #1905, .T. ) ;
#1954 = ADVANCED_FACE ( 'NONE', ( #5191 ), #5190, .F. ) ;
#1955 = EDGE_LOOP ( 'NONE', ( #1956, #1959, #1961, #1962 ) ) ;
#1956 = ORIENTED_EDGE ( 'NONE', *, *, #1957, .F. ) ;
#1957 = EDGE_CURVE ( 'NONE', #1958, #1839, #5250, .T. ) ;
#1958 = VERTEX_POINT ( 'NONE', #5245 ) ;
#1959 = ORIENTED_EDGE ( 'NONE', *, *, #1960, .T. ) ;
#1960 = EDGE_CURVE ( 'NONE', #1958, #6224, #5243, .T. ) ;
#1961 = ORIENTED_EDGE ( 'NONE', *, *, #1871, .F. ) ;
#1962 = ORIENTED_EDGE ( 'NONE', *, *, #1900, .T. ) ;
#1963 = ADVANCED_FACE ( 'NONE', ( #5244 ), #5237, .F. ) ;
#1964 = EDGE_LOOP ( 'NONE', ( #1965, #1966, #2023, #2025 ) ) ;
#1965 = ORIENTED_EDGE ( 'NONE', *, *, #1957, .T. ) ;
#1966 = ORIENTED_EDGE ( 'NONE', *, *, #1838, .F. ) ;
#1967 = VERTEX_POINT ( 'NONE', #5233 ) ;
#1968 = ORIENTED_EDGE ( 'NONE', *, *, #1969, .F. ) ;
#1969 = EDGE_CURVE ( 'NONE', #1984, #1914, #5232, .T. ) ;
#1970 = ORIENTED_EDGE ( 'NONE', *, *, #1983, .F. ) ;
#1971 = ORIENTED_EDGE ( 'NONE', *, *, #1908, .F. ) ;
#1972 = ADVANCED_FACE ( 'NONE', ( #5227 ), #5226, .F. ) ;
#1973 = EDGE_LOOP ( 'NONE', ( #1974, #1975, #1977, #1953 ) ) ;
#1974 = ORIENTED_EDGE ( 'NONE', *, *, #1927, .T. ) ;
#1975 = ORIENTED_EDGE ( 'NONE', *, *, #1976, .T. ) ;
#1976 = EDGE_CURVE ( 'NONE', #6211, #1914, #5282, .T. ) ;
#1977 = ORIENTED_EDGE ( 'NONE', *, *, #1913, .F. ) ;
#1978 = ORIENTED_EDGE ( 'NONE', *, *, #1916, .F. ) ;
#1979 = ORIENTED_EDGE ( 'NONE', *, *, #1869, .T. ) ;
#1980 = ADVANCED_FACE ( 'NONE', ( #5278 ), #5277, .F. ) ;
#1981 = EDGE_LOOP ( 'NONE', ( #1982, #1985, #1987, #1988 ) ) ;
#1982 = ORIENTED_EDGE ( 'NONE', *, *, #1983, .T. ) ;
#1983 = EDGE_CURVE ( 'NONE', #1864, #1984, #5272, .T. ) ;
#1984 = VERTEX_POINT ( 'NONE', #5267 ) ;
#1985 = ORIENTED_EDGE ( 'NONE', *, *, #1986, .T. ) ;
#1986 = EDGE_CURVE ( 'NONE', #1984, #59, #5265, .T. ) ;
#1987 = ORIENTED_EDGE ( 'NONE', *, *, #1897, .F. ) ;
#1988 = ORIENTED_EDGE ( 'NONE', *, *, #1862, .T. ) ;
#1989 = EDGE_CURVE ( 'NONE', #2058, #1990, #5260, .T. ) ;
#1990 = VERTEX_POINT ( 'NONE', #5256 ) ;
#1991 = ORIENTED_EDGE ( 'NONE', *, *, #2019, .F. ) ;
#1992 = VERTEX_POINT ( 'NONE', #5255 ) ;
#1993 = ORIENTED_EDGE ( 'NONE', *, *, #1994, .F. ) ;
#1994 = EDGE_CURVE ( 'NONE', #710, #1992, #5254, .T. ) ;
#1995 = EDGE_LOOP ( 'NONE', ( #2013, #2017, #2014, #2015 ) ) ;
#1996 = ORIENTED_EDGE ( 'NONE', *, *, #1997, .T. ) ;
#1997 = EDGE_CURVE ( 'NONE', #2058, #1998, #5319, .T. ) ;
#1998 = VERTEX_POINT ( 'NONE', #5314 ) ;
#1999 = ORIENTED_EDGE ( 'NONE', *, *, #2000, .T. ) ;
#2000 = EDGE_CURVE ( 'NONE', #1998, #2001, #5313, .T. ) ;
#2001 = VERTEX_POINT ( 'NONE', #5309 ) ;
#2002 = ORIENTED_EDGE ( 'NONE', *, *, #2003, .T. ) ;
#2003 = EDGE_CURVE ( 'NONE', #2001, #2004, #5307, .T. ) ;
#2004 = VERTEX_POINT ( 'NONE', #5306 ) ;
#2005 = ORIENTED_EDGE ( 'NONE', *, *, #2006, .T. ) ;
#2006 = EDGE_CURVE ( 'NONE', #2004, #2010, #5308, .T. ) ;
#2007 = ADVANCED_FACE ( 'NONE', ( #5340 ), #5338, .T. ) ;
#2008 = ORIENTED_EDGE ( 'NONE', *, *, #2009, .T. ) ;
#2009 = EDGE_CURVE ( 'NONE', #2010, #2011, #5333, .T. ) ;
#2010 = VERTEX_POINT ( 'NONE', #5329 ) ;
#2011 = VERTEX_POINT ( 'NONE', #5328 ) ;
#2012 = ADVANCED_FACE ( 'NONE', ( #5327 ), #5325, .T. ) ;
#2013 = ORIENTED_EDGE ( 'NONE', *, *, #2060, .F. ) ;
#2014 = ORIENTED_EDGE ( 'NONE', *, *, #1767, .F. ) ;
#2015 = ORIENTED_EDGE ( 'NONE', *, *, #2016, .F. ) ;
#2016 = EDGE_CURVE ( 'NONE', #2062, #710, #5321, .T. ) ;
#2017 = ORIENTED_EDGE ( 'NONE', *, *, #2018, .T. ) ;
#2018 = EDGE_CURVE ( 'NONE', #2061, #2048, #5383, .T. ) ;
#2019 = EDGE_CURVE ( 'NONE', #2020, #1990, #5379, .T. ) ;
#2020 = VERTEX_POINT ( 'NONE', #5374 ) ;
#2021 = ORIENTED_EDGE ( 'NONE', *, *, #2022, .F. ) ;
#2022 = EDGE_CURVE ( 'NONE', #1998, #2020, #5372, .T. ) ;
#2023 = ORIENTED_EDGE ( 'NONE', *, *, #2024, .F. ) ;
#2024 = EDGE_CURVE ( 'NONE', #1967, #1836, #5373, .T. ) ;
#2025 = ORIENTED_EDGE ( 'NONE', *, *, #2026, .F. ) ;
#2026 = EDGE_CURVE ( 'NONE', #1958, #1967, #5355, .T. ) ;
#2027 = ADVANCED_FACE ( 'NONE', ( #5448 ), #5440, .F. ) ;
#2028 = EDGE_LOOP ( 'NONE', ( #2029, #2030, #1949, #1950 ) ) ;
#2029 = ORIENTED_EDGE ( 'NONE', *, *, #2024, .T. ) ;
#2030 = ORIENTED_EDGE ( 'NONE', *, *, #1835, .T. ) ;
#2031 = ORIENTED_EDGE ( 'NONE', *, *, #2032, .T. ) ;
#2032 = EDGE_CURVE ( 'NONE', #2922, #2033, #5431, .T. ) ;
#2033 = VERTEX_POINT ( 'NONE', #5428 ) ;
#2034 = ORIENTED_EDGE ( 'NONE', *, *, #2083, .F. ) ;
#2035 = ORIENTED_EDGE ( 'NONE', *, *, #2145, .T. ) ;
#2036 = EDGE_LOOP ( 'NONE', ( #2170, #2171, #2172, #2175 ) ) ;
#2037 = EDGE_LOOP ( 'NONE', ( #2312, #2313, #2314, #2315 ) ) ;
#2038 = ORIENTED_EDGE ( 'NONE', *, *, #2039, .T. ) ;
#2039 = EDGE_CURVE ( 'NONE', #2065, #2040, #5418, .T. ) ;
#2040 = VERTEX_POINT ( 'NONE', #5388 ) ;
#2041 = ORIENTED_EDGE ( 'NONE', *, *, #2042, .F. ) ;
#2042 = EDGE_CURVE ( 'NONE', #2043, #2040, #5387, .T. ) ;
#2043 = VERTEX_POINT ( 'NONE', #5520 ) ;
#2044 = ORIENTED_EDGE ( 'NONE', *, *, #2045, .F. ) ;
#2045 = EDGE_CURVE ( 'NONE', #2068, #2043, #5515, .T. ) ;
#2046 = EDGE_LOOP ( 'NONE', ( #2008, #2052, #2054, #2056, #1996, #1999, #2002, #2005 ) ) ;
#2047 = ORIENTED_EDGE ( 'NONE', *, *, #2050, .T. ) ;
#2048 = VERTEX_POINT ( 'NONE', #5506 ) ;
#2049 = VERTEX_POINT ( 'NONE', #5503 ) ;
#2050 = EDGE_CURVE ( 'NONE', #2049, #1992, #5497, .T. ) ;
#2051 = ORIENTED_EDGE ( 'NONE', *, *, #2059, .T. ) ;
#2052 = ORIENTED_EDGE ( 'NONE', *, *, #2053, .T. ) ;
#2053 = EDGE_CURVE ( 'NONE', #2011, #2068, #5499, .T. ) ;
#2054 = ORIENTED_EDGE ( 'NONE', *, *, #2055, .T. ) ;
#2055 = EDGE_CURVE ( 'NONE', #2068, #2065, #5477, .T. ) ;
#2056 = ORIENTED_EDGE ( 'NONE', *, *, #2057, .F. ) ;
#2057 = EDGE_CURVE ( 'NONE', #2058, #2065, #5467, .T. ) ;
#2058 = VERTEX_POINT ( 'NONE', #5460 ) ;
#2059 = EDGE_CURVE ( 'NONE', #2048, #2049, #5456, .T. ) ;
#2060 = EDGE_CURVE ( 'NONE', #2061, #2062, #5596, .T. ) ;
#2061 = VERTEX_POINT ( 'NONE', #5587 ) ;
#2062 = VERTEX_POINT ( 'NONE', #5585 ) ;
#2063 = ADVANCED_FACE ( 'NONE', ( #5583 ), #5575, .F. ) ;
#2064 = EDGE_LOOP ( 'NONE', ( #2066, #2038, #2041, #2044 ) ) ;
#2065 = VERTEX_POINT ( 'NONE', #5567 ) ;
#2066 = ORIENTED_EDGE ( 'NONE', *, *, #2067, .F. ) ;
#2067 = EDGE_CURVE ( 'NONE', #2065, #2068, #5561, .T. ) ;
#2068 = VERTEX_POINT ( 'NONE', #5552 ) ;
#2069 = ADVANCED_FACE ( 'NONE', ( #5550 ), #5548, .T. ) ;
#2070 = EDGE_LOOP ( 'NONE', ( #2071, #2072, #1991, #2021 ) ) ;
#2071 = ORIENTED_EDGE ( 'NONE', *, *, #1997, .F. ) ;
#2072 = ORIENTED_EDGE ( 'NONE', *, *, #1989, .T. ) ;
#2073 = EDGE_CURVE ( 'NONE', #5461, #5574, #5526, .T. ) ;
#2074 = ADVANCED_FACE ( 'NONE', ( #5529 ), #5674, .F. ) ;
#2075 = ORIENTED_EDGE ( 'NONE', *, *, #2077, .T. ) ;
#2076 = EDGE_CURVE ( 'NONE', #2082, #2081, #5636, .T. ) ;
#2077 = EDGE_CURVE ( 'NONE', #2154, #5586, #5623, .T. ) ;
#2078 = ORIENTED_EDGE ( 'NONE', *, *, #2073, .T. ) ;
#2079 = ORIENTED_EDGE ( 'NONE', *, *, #5466, .T. ) ;
#2080 = ORIENTED_EDGE ( 'NONE', *, *, #2155, .T. ) ;
#2081 = VERTEX_POINT ( 'NONE', #5616 ) ;
#2082 = VERTEX_POINT ( 'NONE', #5614 ) ;
#2083 = EDGE_CURVE ( 'NONE', #2082, #2033, #5609, .T. ) ;
#2084 = EDGE_LOOP ( 'NONE', ( #2110, #2111, #2101, #2102, #2104, #2105, #2107, #2108 ) ) ;
#2085 = ADVANCED_FACE ( 'NONE', ( #5754 ), #5752, .T. ) ;
#2086 = EDGE_LOOP ( 'NONE', ( #2087, #2088, #2089, #2090 ) ) ;
#2087 = ORIENTED_EDGE ( 'NONE', *, *, #13547, .F. ) ;
#2088 = ORIENTED_EDGE ( 'NONE', *, *, #3999, .T. ) ;
#2089 = ORIENTED_EDGE ( 'NONE', *, *, #2276, .T. ) ;
#2090 = ORIENTED_EDGE ( 'NONE', *, *, #2953, .T. ) ;
#2091 = ADVANCED_FACE ( 'NONE', ( #5746 ), #5736, .F. ) ;
#2092 = EDGE_LOOP ( 'NONE', ( #2093, #2094, #2096, #2097, #2098, #2099, #2100, #2114, #2031, #2034, #2153, #2080, #2075 ) ) ;
#2093 = ORIENTED_EDGE ( 'NONE', *, *, #5584, .T. ) ;
#2094 = ORIENTED_EDGE ( 'NONE', *, *, #2095, .T. ) ;
#2095 = EDGE_CURVE ( 'NONE', #5566, #6423, #5722, .T. ) ;
#2096 = ORIENTED_EDGE ( 'NONE', *, *, #6421, .T. ) ;
#2097 = ORIENTED_EDGE ( 'NONE', *, *, #6356, .T. ) ;
#2098 = ORIENTED_EDGE ( 'NONE', *, *, #6443, .F. ) ;
#2099 = ORIENTED_EDGE ( 'NONE', *, *, #6482, .T. ) ;
#2100 = ORIENTED_EDGE ( 'NONE', *, *, #5514, .T. ) ;
#2101 = ORIENTED_EDGE ( 'NONE', *, *, #6384, .T. ) ;
#2102 = ORIENTED_EDGE ( 'NONE', *, *, #2103, .T. ) ;
#2103 = EDGE_CURVE ( 'NONE', #6390, #6223, #5716, .T. ) ;
#2104 = ORIENTED_EDGE ( 'NONE', *, *, #6328, .T. ) ;
#2105 = ORIENTED_EDGE ( 'NONE', *, *, #2106, .T. ) ;
#2106 = EDGE_CURVE ( 'NONE', #6330, #6494, #5813, .T. ) ;
#2107 = ORIENTED_EDGE ( 'NONE', *, *, #6418, .T. ) ;
#2108 = ORIENTED_EDGE ( 'NONE', *, *, #2109, .T. ) ;
#2109 = EDGE_CURVE ( 'NONE', #6411, #6521, #5803, .T. ) ;
#2110 = ORIENTED_EDGE ( 'NONE', *, *, #2942, .T. ) ;
#2111 = ORIENTED_EDGE ( 'NONE', *, *, #2112, .T. ) ;
#2112 = EDGE_CURVE ( 'NONE', #2954, #6389, #5792, .T. ) ;
#2113 = ORIENTED_EDGE ( 'NONE', *, *, #13556, .F. ) ;
#2114 = ORIENTED_EDGE ( 'NONE', *, *, #13568, .F. ) ;
#2115 = ORIENTED_EDGE ( 'NONE', *, *, #2187, .T. ) ;
#2116 = ORIENTED_EDGE ( 'NONE', *, *, #2121, .T. ) ;
#2117 = ORIENTED_EDGE ( 'NONE', *, *, #2183, .T. ) ;
#2118 = VERTEX_POINT ( 'NONE', #5784 ) ;
#2119 = EDGE_CURVE ( 'NONE', #3897, #2189, #5776, .T. ) ;
#2120 = ORIENTED_EDGE ( 'NONE', *, *, #2155, .F. ) ;
#2121 = EDGE_CURVE ( 'NONE', #2081, #2138, #5774, .T. ) ;
#2122 = EDGE_LOOP ( 'NONE', ( #2193, #2195, #2117, #2184, #2188, #2190, #2185, #2517, #2499, #2510, #2507, #2505, #2500, #2516, #2514, #2513, #2506, #2629, #2618, #2630 ) ) ;
#2123 = ORIENTED_EDGE ( 'NONE', *, *, #6314, .T. ) ;
#2124 = ORIENTED_EDGE ( 'NONE', *, *, #3987, .F. ) ;
#2125 = ORIENTED_EDGE ( 'NONE', *, *, #5532, .T. ) ;
#2126 = ADVANCED_FACE ( 'NONE', ( #5757 ), #5879, .T. ) ;
#2127 = ORIENTED_EDGE ( 'NONE', *, *, #2142, .T. ) ;
#2128 = ORIENTED_EDGE ( 'NONE', *, *, #2129, .T. ) ;
#2129 = EDGE_CURVE ( 'NONE', #2139, #2082, #5870, .T. ) ;
#2130 = ORIENTED_EDGE ( 'NONE', *, *, #2083, .T. ) ;
#2131 = ORIENTED_EDGE ( 'NONE', *, *, #2132, .T. ) ;
#2132 = EDGE_CURVE ( 'NONE', #2033, #2147, #5858, .T. ) ;
#2133 = ADVANCED_FACE ( 'NONE', ( #5851 ), #5847, .F. ) ;
#2134 = EDGE_LOOP ( 'NONE', ( #2127, #2128, #2130, #2131 ) ) ;
#2135 = ORIENTED_EDGE ( 'NONE', *, *, #13921, .F. ) ;
#2136 = ORIENTED_EDGE ( 'NONE', *, *, #3867, .T. ) ;
#2137 = EDGE_LOOP ( 'NONE', ( #2035, #2115, #2120, #2116 ) ) ;
#2138 = VERTEX_POINT ( 'NONE', #5838 ) ;
#2139 = VERTEX_POINT ( 'NONE', #5836 ) ;
#2140 = ORIENTED_EDGE ( 'NONE', *, *, #2146, .T. ) ;
#2141 = ORIENTED_EDGE ( 'NONE', *, *, #2142, .F. ) ;
#2142 = EDGE_CURVE ( 'NONE', #2147, #2139, #5832, .T. ) ;
#2143 = ORIENTED_EDGE ( 'NONE', *, *, #2144, .T. ) ;
#2144 = EDGE_CURVE ( 'NONE', #2147, #13922, #5818, .T. ) ;
#2145 = EDGE_CURVE ( 'NONE', #2138, #2150, #5962, .T. ) ;
#2146 = EDGE_CURVE ( 'NONE', #2138, #2139, #5935, .T. ) ;
#2147 = VERTEX_POINT ( 'NONE', #5927 ) ;
#2148 = EDGE_CURVE ( 'NONE', #5592, #2150, #5921, .T. ) ;
#2149 = ORIENTED_EDGE ( 'NONE', *, *, #2145, .F. ) ;
#2150 = VERTEX_POINT ( 'NONE', #5912 ) ;
#2151 = ORIENTED_EDGE ( 'NONE', *, *, #5571, .T. ) ;
#2152 = ORIENTED_EDGE ( 'NONE', *, *, #2148, .T. ) ;
#2153 = ORIENTED_EDGE ( 'NONE', *, *, #2076, .T. ) ;
#2154 = VERTEX_POINT ( 'NONE', #5910 ) ;
#2155 = EDGE_CURVE ( 'NONE', #2081, #2154, #5907, .T. ) ;
#2156 = EDGE_LOOP ( 'NONE', ( #2079, #2078, #2151, #2152, #2149, #2140, #2141, #2143, #2135, #2136, #2123, #2124, #2125 ) ) ;
#2157 = EDGE_LOOP ( 'NONE', ( #2213, #2214, #2215, #2216 ) ) ;
#2158 = EDGE_CURVE ( 'NONE', #2182, #1852, #5895, .T. ) ;
#2159 = ORIENTED_EDGE ( 'NONE', *, *, #2160, .F. ) ;
#2160 = EDGE_CURVE ( 'NONE', #2174, #2182, #6033, .T. ) ;
#2161 = ADVANCED_FACE ( 'NONE', ( #6021 ), #6020, .F. ) ;
#2162 = EDGE_LOOP ( 'NONE', ( #2163, #2164, #2165, #2166 ) ) ;
#2163 = ORIENTED_EDGE ( 'NONE', *, *, #2158, .T. ) ;
#2164 = ORIENTED_EDGE ( 'NONE', *, *, #1851, .T. ) ;
#2165 = ORIENTED_EDGE ( 'NONE', *, *, #1880, .F. ) ;
#2166 = ORIENTED_EDGE ( 'NONE', *, *, #2167, .T. ) ;
#2167 = EDGE_CURVE ( 'NONE', #83, #2182, #6004, .T. ) ;
#2168 = ADVANCED_FACE ( 'NONE', ( #5996 ), #5994, .T. ) ;
#2169 = EDGE_LOOP ( 'NONE', ( #2224, #2225, #2227, #2228 ) ) ;
#2170 = ORIENTED_EDGE ( 'NONE', *, *, #1944, .T. ) ;
#2171 = ORIENTED_EDGE ( 'NONE', *, *, #1829, .T. ) ;
#2172 = ORIENTED_EDGE ( 'NONE', *, *, #2173, .F. ) ;
#2173 = EDGE_CURVE ( 'NONE', #2174, #1855, #5989, .T. ) ;
#2174 = VERTEX_POINT ( 'NONE', #5969 ) ;
#2175 = ORIENTED_EDGE ( 'NONE', *, *, #2176, .T. ) ;
#2176 = EDGE_CURVE ( 'NONE', #2174, #6127, #6099, .T. ) ;
#2177 = ADVANCED_FACE ( 'NONE', ( #6101 ), #6087, .F. ) ;
#2178 = EDGE_LOOP ( 'NONE', ( #2179, #2180, #2181, #2159 ) ) ;
#2179 = ORIENTED_EDGE ( 'NONE', *, *, #2173, .T. ) ;
#2180 = ORIENTED_EDGE ( 'NONE', *, *, #1854, .F. ) ;
#2181 = ORIENTED_EDGE ( 'NONE', *, *, #2158, .F. ) ;
#2182 = VERTEX_POINT ( 'NONE', #6079 ) ;
#2183 = EDGE_CURVE ( 'NONE', #2118, #3901, #6070, .T. ) ;
#2184 = ORIENTED_EDGE ( 'NONE', *, *, #3900, .F. ) ;
#2185 = ORIENTED_EDGE ( 'NONE', *, *, #2186, .T. ) ;
#2186 = EDGE_CURVE ( 'NONE', #2192, #3946, #6056, .T. ) ;
#2187 = EDGE_CURVE ( 'NONE', #2150, #2154, #6054, .T. ) ;
#2188 = ORIENTED_EDGE ( 'NONE', *, *, #2119, .T. ) ;
#2189 = VERTEX_POINT ( 'NONE', #6038 ) ;
#2190 = ORIENTED_EDGE ( 'NONE', *, *, #2191, .T. ) ;
#2191 = EDGE_CURVE ( 'NONE', #2189, #2192, #6036, .T. ) ;
#2192 = VERTEX_POINT ( 'NONE', #6178 ) ;
#2193 = ORIENTED_EDGE ( 'NONE', *, *, #13859, .F. ) ;
#2194 = ADVANCED_FACE ( 'NONE', ( #6169 ), #6160, .T. ) ;
#2195 = ORIENTED_EDGE ( 'NONE', *, *, #2196, .T. ) ;
#2196 = EDGE_CURVE ( 'NONE', #13845, #2118, #6149, .T. ) ;
#2197 = EDGE_LOOP ( 'NONE', ( #2198, #2199, #2253, #2254 ) ) ;
#2198 = ORIENTED_EDGE ( 'NONE', *, *, #5972, .F. ) ;
#2199 = ORIENTED_EDGE ( 'NONE', *, *, #2252, .T. ) ;
#2200 = ORIENTED_EDGE ( 'NONE', *, *, #6165, .F. ) ;
#2201 = ADVANCED_FACE ( 'NONE', ( #6142 ), #6140, .F. ) ;
#2202 = ORIENTED_EDGE ( 'NONE', *, *, #6093, .F. ) ;
#2203 = ORIENTED_EDGE ( 'NONE', *, *, #2204, .T. ) ;
#2204 = EDGE_CURVE ( 'NONE', #6090, #1958, #6125, .T. ) ;
#2205 = ORIENTED_EDGE ( 'NONE', *, *, #2026, .T. ) ;
#2206 = ORIENTED_EDGE ( 'NONE', *, *, #2221, .T. ) ;
#2207 = ADVANCED_FACE ( 'NONE', ( #6118 ), #6110, .T. ) ;
#2208 = EDGE_LOOP ( 'NONE', ( #2209, #2210, #2211, #2264 ) ) ;
#2209 = ORIENTED_EDGE ( 'NONE', *, *, #1960, .F. ) ;
#2210 = ORIENTED_EDGE ( 'NONE', *, *, #2204, .F. ) ;
#2211 = ORIENTED_EDGE ( 'NONE', *, *, #6089, .F. ) ;
#2212 = ADVANCED_FACE ( 'NONE', ( #6112 ), #6254, .T. ) ;
#2213 = ORIENTED_EDGE ( 'NONE', *, *, #6170, .F. ) ;
#2214 = ORIENTED_EDGE ( 'NONE', *, *, #6130, .F. ) ;
#2215 = ORIENTED_EDGE ( 'NONE', *, *, #2176, .F. ) ;
#2216 = ORIENTED_EDGE ( 'NONE', *, *, #2235, .F. ) ;
#2217 = ADVANCED_FACE ( 'NONE', ( #6241 ), #6239, .T. ) ;
#2218 = EDGE_LOOP ( 'NONE', ( #2219, #2220, #2222, #2200 ) ) ;
#2219 = ORIENTED_EDGE ( 'NONE', *, *, #6053, .F. ) ;
#2220 = ORIENTED_EDGE ( 'NONE', *, *, #2221, .F. ) ;
#2221 = EDGE_CURVE ( 'NONE', #1967, #6051, #6234, .T. ) ;
#2222 = ORIENTED_EDGE ( 'NONE', *, *, #1951, .F. ) ;
#2223 = EDGE_LOOP ( 'NONE', ( #2202, #2203, #2205, #2206 ) ) ;
#2224 = ORIENTED_EDGE ( 'NONE', *, *, #6181, .F. ) ;
#2225 = ORIENTED_EDGE ( 'NONE', *, *, #2226, .F. ) ;
#2226 = EDGE_CURVE ( 'NONE', #2182, #6179, #6217, .T. ) ;
#2227 = ORIENTED_EDGE ( 'NONE', *, *, #2167, .F. ) ;
#2228 = ORIENTED_EDGE ( 'NONE', *, *, #82, .F. ) ;
#2229 = ADVANCED_FACE ( 'NONE', ( #6210 ), #6203, .F. ) ;
#2230 = EDGE_LOOP ( 'NONE', ( #2231, #2232, #2233, #2234 ) ) ;
#2231 = ORIENTED_EDGE ( 'NONE', *, *, #2160, .T. ) ;
#2232 = ORIENTED_EDGE ( 'NONE', *, *, #2226, .T. ) ;
#2233 = ORIENTED_EDGE ( 'NONE', *, *, #6176, .F. ) ;
#2234 = ORIENTED_EDGE ( 'NONE', *, *, #2235, .T. ) ;
#2235 = EDGE_CURVE ( 'NONE', #6172, #2174, #6205, .T. ) ;
#2236 = ORIENTED_EDGE ( 'NONE', *, *, #1001, .F. ) ;
#2237 = ADVANCED_FACE ( 'NONE', ( #6185 ), #6324, .T. ) ;
#2238 = EDGE_LOOP ( 'NONE', ( #2239, #2299, #2301, #2302, #2304, #2305 ) ) ;
#2239 = ORIENTED_EDGE ( 'NONE', *, *, #1044, .F. ) ;
#2240 = ORIENTED_EDGE ( 'NONE', *, *, #2241, .F. ) ;
#2241 = EDGE_CURVE ( 'NONE', #1917, #5991, #6326, .T. ) ;
#2242 = ORIENTED_EDGE ( 'NONE', *, *, #1926, .F. ) ;
#2243 = ORIENTED_EDGE ( 'NONE', *, *, #55, .F. ) ;
#2244 = ADVANCED_FACE ( 'NONE', ( #6308 ), #6301, .F. ) ;
#2245 = EDGE_LOOP ( 'NONE', ( #2246, #2247, #2249, #2250 ) ) ;
#2246 = ORIENTED_EDGE ( 'NONE', *, *, #5990, .F. ) ;
#2247 = ORIENTED_EDGE ( 'NONE', *, *, #2248, .T. ) ;
#2248 = EDGE_CURVE ( 'NONE', #5985, #1934, #6303, .T. ) ;
#2249 = ORIENTED_EDGE ( 'NONE', *, *, #1919, .T. ) ;
#2250 = ORIENTED_EDGE ( 'NONE', *, *, #2241, .T. ) ;
#2251 = ADVANCED_FACE ( 'NONE', ( #6286 ), #6277, .T. ) ;
#2252 = EDGE_CURVE ( 'NONE', #6111, #1984, #6279, .T. ) ;
#2253 = ORIENTED_EDGE ( 'NONE', *, *, #1969, .T. ) ;
#2254 = ORIENTED_EDGE ( 'NONE', *, *, #2269, .T. ) ;
#2255 = ADVANCED_FACE ( 'NONE', ( #6261 ), #6402, .T. ) ;
#2256 = EDGE_LOOP ( 'NONE', ( #2257, #2258, #2259, #2260 ) ) ;
#2257 = ORIENTED_EDGE ( 'NONE', *, *, #6108, .F. ) ;
#2258 = ORIENTED_EDGE ( 'NONE', *, *, #121, .F. ) ;
#2259 = ORIENTED_EDGE ( 'NONE', *, *, #1986, .F. ) ;
#2260 = ORIENTED_EDGE ( 'NONE', *, *, #2252, .F. ) ;
#2261 = ADVANCED_FACE ( 'NONE', ( #6395 ), #6393, .T. ) ;
#2262 = EDGE_LOOP ( 'NONE', ( #2263, #2240, #2242, #2243 ) ) ;
#2263 = ORIENTED_EDGE ( 'NONE', *, *, #5993, .F. ) ;
#2264 = ORIENTED_EDGE ( 'NONE', *, *, #6227, .F. ) ;
#2265 = ADVANCED_FACE ( 'NONE', ( #6381 ), #6380, .T. ) ;
#2266 = EDGE_LOOP ( 'NONE', ( #2267, #2268, #2270, #2271 ) ) ;
#2267 = ORIENTED_EDGE ( 'NONE', *, *, #5978, .F. ) ;
#2268 = ORIENTED_EDGE ( 'NONE', *, *, #2269, .F. ) ;
#2269 = EDGE_CURVE ( 'NONE', #1914, #5974, #6375, .T. ) ;
#2270 = ORIENTED_EDGE ( 'NONE', *, *, #1976, .F. ) ;
#2271 = ORIENTED_EDGE ( 'NONE', *, *, #6209, .F. ) ;
#2272 = ADVANCED_FACE ( 'NONE', ( #6361 ), #6354, .F. ) ;
#2273 = ORIENTED_EDGE ( 'NONE', *, *, #567, .T. ) ;
#2274 = VERTEX_POINT ( 'NONE', #6346 ) ;
#2275 = ORIENTED_EDGE ( 'NONE', *, *, #2862, .T. ) ;
#2276 = EDGE_CURVE ( 'NONE', #13549, #13563, #6342, .T. ) ;
#2277 = ORIENTED_EDGE ( 'NONE', *, *, #2926, .T. ) ;
#2278 = EDGE_CURVE ( 'NONE', #2279, #2288, #6332, .T. ) ;
#2279 = VERTEX_POINT ( 'NONE', #6470 ) ;
#2280 = ORIENTED_EDGE ( 'NONE', *, *, #2281, .F. ) ;
#2281 = EDGE_CURVE ( 'NONE', #2282, #2279, #6466, .T. ) ;
#2282 = VERTEX_POINT ( 'NONE', #6459 ) ;
#2283 = EDGE_LOOP ( 'NONE', ( #2341, #2342, #2343, #2346 ) ) ;
#2284 = EDGE_LOOP ( 'NONE', ( #2285, #2289, #2292, #2295, #2351, #2353 ) ) ;
#2285 = ORIENTED_EDGE ( 'NONE', *, *, #2286, .F. ) ;
#2286 = EDGE_CURVE ( 'NONE', #2287, #2288, #6454, .T. ) ;
#2287 = VERTEX_POINT ( 'NONE', #6447 ) ;
#2288 = VERTEX_POINT ( 'NONE', #6445 ) ;
#2289 = ORIENTED_EDGE ( 'NONE', *, *, #2290, .F. ) ;
#2290 = EDGE_CURVE ( 'NONE', #2291, #2287, #6440, .T. ) ;
#2291 = VERTEX_POINT ( 'NONE', #6433 ) ;
#2292 = ORIENTED_EDGE ( 'NONE', *, *, #2293, .F. ) ;
#2293 = EDGE_CURVE ( 'NONE', #2294, #2291, #6430, .T. ) ;
#2294 = VERTEX_POINT ( 'NONE', #6422 ) ;
#2295 = ORIENTED_EDGE ( 'NONE', *, *, #2296, .F. ) ;
#2296 = EDGE_CURVE ( 'NONE', #2297, #2294, #6417, .T. ) ;
#2297 = VERTEX_POINT ( 'NONE', #6410 ) ;
#2298 = VERTEX_POINT ( 'NONE', #6408 ) ;
#2299 = ORIENTED_EDGE ( 'NONE', *, *, #2300, .T. ) ;
#2300 = EDGE_CURVE ( 'NONE', #1042, #1002, #6404, .T. ) ;
#2301 = ORIENTED_EDGE ( 'NONE', *, *, #2319, .T. ) ;
#2302 = ORIENTED_EDGE ( 'NONE', *, *, #2303, .T. ) ;
#2303 = EDGE_CURVE ( 'NONE', #999, #1041, #6530, .T. ) ;
#2304 = ORIENTED_EDGE ( 'NONE', *, *, #978, .T. ) ;
#2305 = ORIENTED_EDGE ( 'NONE', *, *, #2306, .T. ) ;
#2306 = EDGE_CURVE ( 'NONE', #1038, #994, #6518, .T. ) ;
#2307 = ADVANCED_FACE ( 'NONE', ( #6511, #6509 ), #6506, .T. ) ;
#2308 = EDGE_LOOP ( 'NONE', ( #2309, #2311 ) ) ;
#2309 = ORIENTED_EDGE ( 'NONE', *, *, #2310, .T. ) ;
#2310 = EDGE_CURVE ( 'NONE', #1037, #1036, #6495, .T. ) ;
#2311 = ORIENTED_EDGE ( 'NONE', *, *, #1035, .T. ) ;
#2312 = ORIENTED_EDGE ( 'NONE', *, *, #5983, .F. ) ;
#2313 = ORIENTED_EDGE ( 'NONE', *, *, #88, .F. ) ;
#2314 = ORIENTED_EDGE ( 'NONE', *, *, #1936, .T. ) ;
#2315 = ORIENTED_EDGE ( 'NONE', *, *, #2248, .F. ) ;
#2316 = ADVANCED_FACE ( 'NONE', ( #6487 ), #6483, .F. ) ;
#2317 = EDGE_LOOP ( 'NONE', ( #2318, #2236 ) ) ;
#2318 = ORIENTED_EDGE ( 'NONE', *, *, #2319, .F. ) ;
#2319 = EDGE_CURVE ( 'NONE', #1002, #999, #5356, .T. ) ;
#2320 = ADVANCED_FACE ( 'NONE', ( #6581 ), #6580, .F. ) ;
#2321 = EDGE_LOOP ( 'NONE', ( #2322, #2380, #2381, #2383 ) ) ;
#2322 = ORIENTED_EDGE ( 'NONE', *, *, #2354, .T. ) ;
#2323 = ORIENTED_EDGE ( 'NONE', *, *, #2347, .F. ) ;
#2324 = ORIENTED_EDGE ( 'NONE', *, *, #2325, .F. ) ;
#2325 = EDGE_CURVE ( 'NONE', #2326, #2345, #6575, .T. ) ;
#2326 = VERTEX_POINT ( 'NONE', #6571 ) ;
#2327 = ORIENTED_EDGE ( 'NONE', *, *, #2328, .T. ) ;
#2328 = EDGE_CURVE ( 'NONE', #2326, #2294, #6570, .T. ) ;
#2329 = ADVANCED_FACE ( 'NONE', ( #6566 ), #6565, .F. ) ;
#2330 = EDGE_LOOP ( 'NONE', ( #2331, #2332, #2333, #2336 ) ) ;
#2331 = ORIENTED_EDGE ( 'NONE', *, *, #2296, .T. ) ;
#2332 = ORIENTED_EDGE ( 'NONE', *, *, #2328, .F. ) ;
#2333 = ORIENTED_EDGE ( 'NONE', *, *, #2334, .F. ) ;
#2334 = EDGE_CURVE ( 'NONE', #2335, #2326, #6560, .T. ) ;
#2335 = VERTEX_POINT ( 'NONE', #6556 ) ;
#2336 = ORIENTED_EDGE ( 'NONE', *, *, #2391, .T. ) ;
#2337 = EDGE_LOOP ( 'NONE', ( #2393, #2394, #2395, #2398 ) ) ;
#2338 = ORIENTED_EDGE ( 'NONE', *, *, #2339, .T. ) ;
#2339 = EDGE_CURVE ( 'NONE', #2282, #2287, #6554, .T. ) ;
#2340 = ADVANCED_FACE ( 'NONE', ( #6547 ), #6545, .F. ) ;
#2341 = ORIENTED_EDGE ( 'NONE', *, *, #2290, .T. ) ;
#2342 = ORIENTED_EDGE ( 'NONE', *, *, #2339, .F. ) ;
#2343 = ORIENTED_EDGE ( 'NONE', *, *, #2344, .F. ) ;
#2344 = EDGE_CURVE ( 'NONE', #2345, #2282, #6610, .T. ) ;
#2345 = VERTEX_POINT ( 'NONE', #6606 ) ;
#2346 = ORIENTED_EDGE ( 'NONE', *, *, #2347, .T. ) ;
#2347 = EDGE_CURVE ( 'NONE', #2345, #2291, #6605, .T. ) ;
#2348 = ADVANCED_FACE ( 'NONE', ( #6601 ), #6600, .F. ) ;
#2349 = EDGE_LOOP ( 'NONE', ( #2350, #2323, #2324, #2327 ) ) ;
#2350 = ORIENTED_EDGE ( 'NONE', *, *, #2293, .T. ) ;
#2351 = ORIENTED_EDGE ( 'NONE', *, *, #2352, .F. ) ;
#2352 = EDGE_CURVE ( 'NONE', #2298, #2297, #6595, .T. ) ;
#2353 = ORIENTED_EDGE ( 'NONE', *, *, #2354, .F. ) ;
#2354 = EDGE_CURVE ( 'NONE', #2288, #2298, #6591, .T. ) ;
#2355 = ADVANCED_FACE ( 'NONE', ( #6587 ), #6586, .F. ) ;
#2356 = EDGE_LOOP ( 'NONE', ( #2357, #2358, #2280, #2338 ) ) ;
#2357 = ORIENTED_EDGE ( 'NONE', *, *, #2286, .T. ) ;
#2358 = ORIENTED_EDGE ( 'NONE', *, *, #2278, .F. ) ;
#2359 = EDGE_LOOP ( 'NONE', ( #2360, #2361, #2364, #2423, #2426, #2429, #2431, #2432 ) ) ;
#2360 = ORIENTED_EDGE ( 'NONE', *, *, #965, .F. ) ;
#2361 = ORIENTED_EDGE ( 'NONE', *, *, #2362, .T. ) ;
#2362 = EDGE_CURVE ( 'NONE', #963, #2363, #6643, .T. ) ;
#2363 = VERTEX_POINT ( 'NONE', #6639 ) ;
#2364 = ORIENTED_EDGE ( 'NONE', *, *, #2365, .F. ) ;
#2365 = EDGE_CURVE ( 'NONE', #2366, #2363, #6638, .T. ) ;
#2366 = VERTEX_POINT ( 'NONE', #6634 ) ;
#2367 = ORIENTED_EDGE ( 'NONE', *, *, #2344, .T. ) ;
#2368 = ADVANCED_FACE ( 'NONE', ( #6633 ), #6630, .T. ) ;
#2369 = EDGE_LOOP ( 'NONE', ( #2370, #2371, #2372, #2373 ) ) ;
#2370 = ORIENTED_EDGE ( 'NONE', *, *, #1024, .F. ) ;
#2371 = ORIENTED_EDGE ( 'NONE', *, *, #2310, .F. ) ;
#2372 = ORIENTED_EDGE ( 'NONE', *, *, #1051, .T. ) ;
#2373 = ORIENTED_EDGE ( 'NONE', *, *, #2306, .F. ) ;
#2374 = ADVANCED_FACE ( 'NONE', ( #6631 ), #6626, .T. ) ;
#2375 = EDGE_LOOP ( 'NONE', ( #2376, #2379, #2436, #2439 ) ) ;
#2376 = ORIENTED_EDGE ( 'NONE', *, *, #2377, .F. ) ;
#2377 = EDGE_CURVE ( 'NONE', #975, #2378, #6621, .T. ) ;
#2378 = VERTEX_POINT ( 'NONE', #6617 ) ;
#2379 = ORIENTED_EDGE ( 'NONE', *, *, #1011, .F. ) ;
#2380 = ORIENTED_EDGE ( 'NONE', *, *, #2399, .F. ) ;
#2381 = ORIENTED_EDGE ( 'NONE', *, *, #2382, .F. ) ;
#2382 = EDGE_CURVE ( 'NONE', #2279, #2397, #6616, .T. ) ;
#2383 = ORIENTED_EDGE ( 'NONE', *, *, #2278, .T. ) ;
#2384 = ADVANCED_FACE ( 'NONE', ( #6674 ), #6673, .F. ) ;
#2385 = EDGE_LOOP ( 'NONE', ( #2386, #2387, #2388, #2389, #2390, #2367 ) ) ;
#2386 = ORIENTED_EDGE ( 'NONE', *, *, #2281, .T. ) ;
#2387 = ORIENTED_EDGE ( 'NONE', *, *, #2382, .T. ) ;
#2388 = ORIENTED_EDGE ( 'NONE', *, *, #2396, .T. ) ;
#2389 = ORIENTED_EDGE ( 'NONE', *, *, #2334, .T. ) ;
#2390 = ORIENTED_EDGE ( 'NONE', *, *, #2325, .T. ) ;
#2391 = EDGE_CURVE ( 'NONE', #2335, #2297, #6668, .T. ) ;
#2392 = ADVANCED_FACE ( 'NONE', ( #6664 ), #6663, .F. ) ;
#2393 = ORIENTED_EDGE ( 'NONE', *, *, #2352, .T. ) ;
#2394 = ORIENTED_EDGE ( 'NONE', *, *, #2391, .F. ) ;
#2395 = ORIENTED_EDGE ( 'NONE', *, *, #2396, .F. ) ;
#2396 = EDGE_CURVE ( 'NONE', #2397, #2335, #6658, .T. ) ;
#2397 = VERTEX_POINT ( 'NONE', #6654 ) ;
#2398 = ORIENTED_EDGE ( 'NONE', *, *, #2399, .T. ) ;
#2399 = EDGE_CURVE ( 'NONE', #2397, #2298, #6653, .T. ) ;
#2400 = ORIENTED_EDGE ( 'NONE', *, *, #2401, .F.