ISO-10303-21;
HEADER;
FILE_DESCRIPTION (( 'STEP AP214' ),
    '1' );
FILE_NAME ('SWS100-12.STEP',
    '2005-10-28T22:25:07',
    ( 'System Administrator' ),
    ( 'PushCorp, Inc.' ),
    'SwSTEP 2.0',
    'SolidWorks 2001136',
    '' );
FILE_SCHEMA (( 'AUTOMOTIVE_DESIGN' ));
ENDSEC;

DATA;
#1 = ORIENTED_EDGE ( 'NONE', *, *, #4401, .T. ) ;
#2 = ORIENTED_EDGE ( 'NONE', *, *, #2158, .T. ) ;
#3 = ADVANCED_FACE ( 'NONE', ( #1392 ), #1393, .T. ) ;
#4 = EDGE_CURVE ( 'NONE', #5080, #25, #1398, .T. ) ;
#5 = EDGE_LOOP ( 'NONE', ( #52, #106, #162, #209 ) ) ;
#6 = ORIENTED_EDGE ( 'NONE', *, *, #4561, .T. ) ;
#7 = EDGE_CURVE ( 'NONE', #618, #1011, #1413, .T. ) ;
#8 = VERTEX_POINT ( 'NONE', #1422 ) ;
#9 = VERTEX_POINT ( 'NONE', #1423 ) ;
#10 = EDGE_CURVE ( 'NONE', #34, #8, #1424, .T. ) ;
#11 = ORIENTED_EDGE ( 'NONE', *, *, #1272, .F. ) ;
#12 = ORIENTED_EDGE ( 'NONE', *, *, #49, .F. ) ;
#13 = EDGE_LOOP ( 'NONE', ( #664, #270, #334, #385 ) ) ;
#14 = ORIENTED_EDGE ( 'NONE', *, *, #48, .T. ) ;
#15 = ORIENTED_EDGE ( 'NONE', *, *, #90, .T. ) ;
#16 = ORIENTED_EDGE ( 'NONE', *, *, #924, .T. ) ;
#17 = EDGE_CURVE ( 'NONE', #40, #3399, #1442, .T. ) ;
#18 = ADVANCED_FACE ( 'NONE', ( #1453 ), #1456, .T. ) ;
#19 = EDGE_CURVE ( 'NONE', #1376, #1038, #1461, .T. ) ;
#20 = VERTEX_POINT ( 'NONE', #1465 ) ;
#21 = ORIENTED_EDGE ( 'NONE', *, *, #56, .T. ) ;
#22 = ORIENTED_EDGE ( 'NONE', *, *, #999, .T. ) ;
#23 = EDGE_CURVE ( 'NONE', #659, #1261, #1466, .T. ) ;
#24 = ORIENTED_EDGE ( 'NONE', *, *, #58, .F. ) ;
#25 = VERTEX_POINT ( 'NONE', #1471 ) ;
#26 = EDGE_CURVE ( 'NONE', #5105, #183, #1472, .T. ) ;
#27 = ADVANCED_FACE ( 'NONE', ( #1476 ), #1477, .F. ) ;
#28 = ORIENTED_EDGE ( 'NONE', *, *, #63, .T. ) ;
#29 = ORIENTED_EDGE ( 'NONE', *, *, #47, .T. ) ;
#30 = ORIENTED_EDGE ( 'NONE', *, *, #65, .F. ) ;
#31 = EDGE_CURVE ( 'NONE', #1032, #1043, #1488, .T. ) ;
#32 = ADVANCED_FACE ( 'NONE', ( #1492 ), #1493, .T. ) ;
#33 = VERTEX_POINT ( 'NONE', #1498 ) ;
#34 = VERTEX_POINT ( 'NONE', #1499 ) ;
#35 = EDGE_LOOP ( 'NONE', ( #131, #184 ) ) ;
#36 = ADVANCED_FACE ( 'NONE', ( #1504 ), #1505, .T. ) ;
#37 = EDGE_LOOP ( 'NONE', ( #84, #3099, #4023, #4949, #21, #658 ) ) ;
#38 = ORIENTED_EDGE ( 'NONE', *, *, #4118, .F. ) ;
#39 = ORIENTED_EDGE ( 'NONE', *, *, #3918, .T. ) ;
#40 = VERTEX_POINT ( 'NONE', #1511 ) ;
#41 = EDGE_LOOP ( 'NONE', ( #5075, #256, #312, #421 ) ) ;
#42 = ORIENTED_EDGE ( 'NONE', *, *, #73, .F. ) ;
#43 = ADVANCED_FACE ( 'NONE', ( #1512 ), #1513, .T. ) ;
#44 = ORIENTED_EDGE ( 'NONE', *, *, #349, .F. ) ;
#45 = ORIENTED_EDGE ( 'NONE', *, *, #94, .F. ) ;
#46 = ORIENTED_EDGE ( 'NONE', *, *, #1290, .F. ) ;
#47 = EDGE_CURVE ( 'NONE', #1825, #4489, #1535, .T. ) ;
#48 = EDGE_CURVE ( 'NONE', #213, #627, #1542, .T. ) ;
#49 = EDGE_CURVE ( 'NONE', #2902, #350, #1546, .T. ) ;
#50 = ORIENTED_EDGE ( 'NONE', *, *, #1106, .F. ) ;
#51 = ORIENTED_EDGE ( 'NONE', *, *, #562, .T. ) ;
#52 = ORIENTED_EDGE ( 'NONE', *, *, #955, .T. ) ;
#53 = ORIENTED_EDGE ( 'NONE', *, *, #90, .F. ) ;
#54 = ADVANCED_FACE ( 'NONE', ( #1556 ), #1560, .T. ) ;
#55 = ORIENTED_EDGE ( 'NONE', *, *, #1077, .T. ) ;
#56 = EDGE_CURVE ( 'NONE', #5114, #80, #1565, .T. ) ;
#57 = EDGE_LOOP ( 'NONE', ( #2937, #341, #2864, #2511 ) ) ;
#58 = EDGE_CURVE ( 'NONE', #83, #5138, #1570, .T. ) ;
#59 = ORIENTED_EDGE ( 'NONE', *, *, #94, .T. ) ;
#60 = ADVANCED_FACE ( 'NONE', ( #1574 ), #1575, .F. ) ;
#61 = VERTEX_POINT ( 'NONE', #1580 ) ;
#62 = ADVANCED_FACE ( 'NONE', ( #1581 ), #1582, .F. ) ;
#63 = EDGE_CURVE ( 'NONE', #877, #894, #1587, .T. ) ;
#64 = ORIENTED_EDGE ( 'NONE', *, *, #75, .T. ) ;
#65 = EDGE_CURVE ( 'NONE', #93, #5121, #1591, .T. ) ;
#66 = EDGE_LOOP ( 'NONE', ( #116, #169, #2583, #3030 ) ) ;
#67 = ORIENTED_EDGE ( 'NONE', *, *, #1611, .T. ) ;
#68 = EDGE_CURVE ( 'NONE', #96, #95, #1596, .T. ) ;
#69 = EDGE_LOOP ( 'NONE', ( #119, #175 ) ) ;
#70 = EDGE_CURVE ( 'NONE', #1048, #96, #1605, .T. ) ;
#71 = ORIENTED_EDGE ( 'NONE', *, *, #958, .F. ) ;
#72 = VERTEX_POINT ( 'NONE', #1613 ) ;
#73 = EDGE_CURVE ( 'NONE', #100, #522, #1620, .T. ) ;
#74 = ORIENTED_EDGE ( 'NONE', *, *, #404, .F. ) ;
#75 = EDGE_CURVE ( 'NONE', #9, #1388, #1625, .T. ) ;
#76 = ORIENTED_EDGE ( 'NONE', *, *, #111, .F. ) ;
#77 = ORIENTED_EDGE ( 'NONE', *, *, #2263, .T. ) ;
#78 = ADVANCED_FACE ( 'NONE', ( #1643 ), #1645, .F. ) ;
#79 = ORIENTED_EDGE ( 'NONE', *, *, #120, .F. ) ;
#80 = VERTEX_POINT ( 'NONE', #1650 ) ;
#81 = VERTEX_POINT ( 'NONE', #1651 ) ;
#82 = ORIENTED_EDGE ( 'NONE', *, *, #155, .T. ) ;
#83 = VERTEX_POINT ( 'NONE', #1652 ) ;
#84 = ORIENTED_EDGE ( 'NONE', *, *, #2299, .T. ) ;
#85 = EDGE_LOOP ( 'NONE', ( #135, #264, #380, #1094 ) ) ;
#86 = ORIENTED_EDGE ( 'NONE', *, *, #1340, .F. ) ;
#87 = ADVANCED_FACE ( 'NONE', ( #1657 ), #1658, .T. ) ;
#88 = ORIENTED_EDGE ( 'NONE', *, *, #987, .T. ) ;
#89 = ORIENTED_EDGE ( 'NONE', *, *, #123, .T. ) ;
#90 = EDGE_CURVE ( 'NONE', #1322, #1345, #1671, .T. ) ;
#91 = ORIENTED_EDGE ( 'NONE', *, *, #689, .T. ) ;
#92 = EDGE_LOOP ( 'NONE', ( #2796, #3900, #4825, #808 ) ) ;
#93 = VERTEX_POINT ( 'NONE', #1681 ) ;
#94 = EDGE_CURVE ( 'NONE', #115, #139, #1688, .T. ) ;
#95 = VERTEX_POINT ( 'NONE', #1692 ) ;
#96 = VERTEX_POINT ( 'NONE', #1694 ) ;
#97 = EDGE_LOOP ( 'NONE', ( #639, #672, #706, #752 ) ) ;
#98 = ORIENTED_EDGE ( 'NONE', *, *, #1323, .T. ) ;
#99 = VERTEX_POINT ( 'NONE', #1705 ) ;
#100 = VERTEX_POINT ( 'NONE', #1706 ) ;
#101 = ORIENTED_EDGE ( 'NONE', *, *, #132, .F. ) ;
#102 = ORIENTED_EDGE ( 'NONE', *, *, #624, .F. ) ;
#103 = EDGE_CURVE ( 'NONE', #72, #1351, #1716, .T. ) ;
#104 = ADVANCED_FACE ( 'NONE', ( #1747 ), #1748, .T. ) ;
#105 = ORIENTED_EDGE ( 'NONE', *, *, #2740, .F. ) ;
#106 = ORIENTED_EDGE ( 'NONE', *, *, #1225, .F. ) ;
#107 = ORIENTED_EDGE ( 'NONE', *, *, #23, .T. ) ;
#108 = ORIENTED_EDGE ( 'NONE', *, *, #1009, .T. ) ;
#109 = ORIENTED_EDGE ( 'NONE', *, *, #663, .F. ) ;
#110 = ADVANCED_FACE ( 'NONE', ( #1753 ), #1754, .T. ) ;
#111 = EDGE_CURVE ( 'NONE', #125, #780, #1763, .T. ) ;
#112 = VERTEX_POINT ( 'NONE', #1769 ) ;
#113 = ORIENTED_EDGE ( 'NONE', *, *, #149, .T. ) ;
#114 = ORIENTED_EDGE ( 'NONE', *, *, #1005, .F. ) ;
#115 = VERTEX_POINT ( 'NONE', #1772 ) ;
#116 = ORIENTED_EDGE ( 'NONE', *, *, #1220, .T. ) ;
#117 = EDGE_LOOP ( 'NONE', ( #151, #3594, #4059, #4509 ) ) ;
#118 = ADVANCED_FACE ( 'NONE', ( #1773 ), #1774, .T. ) ;
#119 = ORIENTED_EDGE ( 'NONE', *, *, #5069, .T. ) ;
#120 = EDGE_CURVE ( 'NONE', #1111, #34, #1779, .T. ) ;
#121 = ORIENTED_EDGE ( 'NONE', *, *, #155, .F. ) ;
#122 = ADVANCED_FACE ( 'NONE', ( #1793 ), #1794, .T. ) ;
#123 = EDGE_CURVE ( 'NONE', #3399, #3718, #1800, .T. ) ;
#124 = VERTEX_POINT ( 'NONE', #1807 ) ;
#125 = VERTEX_POINT ( 'NONE', #1808 ) ;
#126 = ORIENTED_EDGE ( 'NONE', *, *, #68, .T. ) ;
#127 = EDGE_LOOP ( 'NONE', ( #746, #790, #826, #867, #911, #948, #991, #1033, #335 ) ) ;
#128 = ORIENTED_EDGE ( 'NONE', *, *, #529, .F. ) ;
#129 = EDGE_LOOP ( 'NONE', ( #182, #228, #292, #347 ) ) ;
#130 = ORIENTED_EDGE ( 'NONE', *, *, #170, .F. ) ;
#131 = ORIENTED_EDGE ( 'NONE', *, *, #4631, .T. ) ;
#132 = EDGE_CURVE ( 'NONE', #139, #115, #1836, .T. ) ;
#133 = ORIENTED_EDGE ( 'NONE', *, *, #1151, .F. ) ;
#134 = EDGE_CURVE ( 'NONE', #1294, #1363, #1841, .T. ) ;
#135 = ORIENTED_EDGE ( 'NONE', *, *, #167, .F. ) ;
#136 = ORIENTED_EDGE ( 'NONE', *, *, #168, .F. ) ;
#137 = ORIENTED_EDGE ( 'NONE', *, *, #367, .F. ) ;
#138 = ORIENTED_EDGE ( 'NONE', *, *, #1784, .T. ) ;
#139 = VERTEX_POINT ( 'NONE', #1849 ) ;
#140 = EDGE_LOOP ( 'NONE', ( #4878, #5149, #82, #138 ) ) ;
#141 = ORIENTED_EDGE ( 'NONE', *, *, #673, .T. ) ;
#142 = EDGE_LOOP ( 'NONE', ( #2160, #2741, #3489, #3936, #4402 ) ) ;
#143 = ORIENTED_EDGE ( 'NONE', *, *, #120, .T. ) ;
#144 = ORIENTED_EDGE ( 'NONE', *, *, #156, .F. ) ;
#145 = ORIENTED_EDGE ( 'NONE', *, *, #3577, .T. ) ;
#146 = ORIENTED_EDGE ( 'NONE', *, *, #176, .F. ) ;
#147 = ORIENTED_EDGE ( 'NONE', *, *, #1300, .F. ) ;
#148 = ADVANCED_FACE ( 'NONE', ( #1858 ), #1859, .T. ) ;
#149 = EDGE_CURVE ( 'NONE', #1011, #171, #1865, .T. ) ;
#150 = VERTEX_POINT ( 'NONE', #1870 ) ;
#151 = ORIENTED_EDGE ( 'NONE', *, *, #686, .T. ) ;
#152 = ORIENTED_EDGE ( 'NONE', *, *, #303, .F. ) ;
#153 = ADVANCED_FACE ( 'NONE', ( #1871 ), #1872, .T. ) ;
#154 = ORIENTED_EDGE ( 'NONE', *, *, #1152, .F. ) ;
#155 = EDGE_CURVE ( 'NONE', #183, #2004, #1883, .T. ) ;
#156 = EDGE_CURVE ( 'NONE', #1061, #93, #1887, .T. ) ;
#157 = EDGE_LOOP ( 'NONE', ( #3359, #3789, #4543, #4981 ) ) ;
#158 = ORIENTED_EDGE ( 'NONE', *, *, #191, .T. ) ;
#159 = ORIENTED_EDGE ( 'NONE', *, *, #600, .F. ) ;
#160 = ORIENTED_EDGE ( 'NONE', *, *, #192, .F. ) ;
#161 = ORIENTED_EDGE ( 'NONE', *, *, #841, .F. ) ;
#162 = ORIENTED_EDGE ( 'NONE', *, *, #4913, .T. ) ;
#163 = EDGE_CURVE ( 'NONE', #1095, #272, #1903, .T. ) ;
#164 = VERTEX_POINT ( 'NONE', #1911 ) ;
#165 = ORIENTED_EDGE ( 'NONE', *, *, #842, .F. ) ;
#166 = EDGE_LOOP ( 'NONE', ( #464, #661, #3433, #375 ) ) ;
#167 = EDGE_CURVE ( 'NONE', #194, #212, #1912, .T. ) ;
#168 = EDGE_CURVE ( 'NONE', #2722, #83, #1917, .T. ) ;
#169 = ORIENTED_EDGE ( 'NONE', *, *, #673, .F. ) ;
#170 = EDGE_CURVE ( 'NONE', #1057, #124, #1921, .T. ) ;
#171 = VERTEX_POINT ( 'NONE', #1930 ) ;
#172 = ORIENTED_EDGE ( 'NONE', *, *, #862, .T. ) ;
#173 = ORIENTED_EDGE ( 'NONE', *, *, #2633, .F. ) ;
#174 = VERTEX_POINT ( 'NONE', #1931 ) ;
#175 = ORIENTED_EDGE ( 'NONE', *, *, #537, .T. ) ;
#176 = EDGE_CURVE ( 'NONE', #34, #452, #1940, .T. ) ;
#177 = ORIENTED_EDGE ( 'NONE', *, *, #1021, .T. ) ;
#178 = ADVANCED_FACE ( 'NONE', ( #1944 ), #1945, .F. ) ;
#179 = EDGE_LOOP ( 'NONE', ( #3169, #3632, #4383, #4824, #5092 ) ) ;
#180 = ORIENTED_EDGE ( 'NONE', *, *, #862, .F. ) ;
#181 = ORIENTED_EDGE ( 'NONE', *, *, #262, .T. ) ;
#182 = ORIENTED_EDGE ( 'NONE', *, *, #1002, .F. ) ;
#183 = VERTEX_POINT ( 'NONE', #1953 ) ;
#184 = ORIENTED_EDGE ( 'NONE', *, *, #1279, .T. ) ;
#185 = ORIENTED_EDGE ( 'NONE', *, *, #214, .F. ) ;
#186 = ADVANCED_FACE ( 'NONE', ( #1955, #1956 ), #1957, .F. ) ;
#187 = EDGE_LOOP ( 'NONE', ( #251, #308, #363, #415 ) ) ;
#188 = ORIENTED_EDGE ( 'NONE', *, *, #217, .T. ) ;
#189 = ADVANCED_FACE ( 'NONE', ( #1969 ), #1970, .F. ) ;
#190 = ADVANCED_FACE ( 'NONE', ( #1975 ), #1976, .F. ) ;
#191 = EDGE_CURVE ( 'NONE', #213, #236, #1991, .T. ) ;
#192 = EDGE_CURVE ( 'NONE', #4307, #2039, #1996, .T. ) ;
#193 = EDGE_LOOP ( 'NONE', ( #1178, #1378, #1229, #594, #592, #728, #44, #972, #361, #246 ) ) ;
#194 = VERTEX_POINT ( 'NONE', #2007 ) ;
#195 = VERTEX_POINT ( 'NONE', #2008 ) ;
#196 = ORIENTED_EDGE ( 'NONE', *, *, #224, .F. ) ;
#197 = ADVANCED_FACE ( 'NONE', ( #2019 ), #2020, .T. ) ;
#198 = EDGE_CURVE ( 'NONE', #876, #219, #2026, .T. ) ;
#199 = ADVANCED_FACE ( 'NONE', ( #2042 ), #2043, .T. ) ;
#200 = EDGE_LOOP ( 'NONE', ( #737, #770, #836, #872 ) ) ;
#201 = ORIENTED_EDGE ( 'NONE', *, *, #238, .F. ) ;
#202 = EDGE_CURVE ( 'NONE', #907, #675, #2053, .T. ) ;
#203 = EDGE_LOOP ( 'NONE', ( #2492, #2903, #3828, #4580, #5015, #850 ) ) ;
#204 = EDGE_CURVE ( 'NONE', #2316, #195, #2070, .T. ) ;
#205 = EDGE_LOOP ( 'NONE', ( #878, #532, #1037, #1368, #1822, #3523, #4311, #42, #152 ) ) ;
#206 = ORIENTED_EDGE ( 'NONE', *, *, #766, .F. ) ;
#207 = VERTEX_POINT ( 'NONE', #2080 ) ;
#208 = ORIENTED_EDGE ( 'NONE', *, *, #3827, .F. ) ;
#209 = ORIENTED_EDGE ( 'NONE', *, *, #5088, .F. ) ;
#210 = ORIENTED_EDGE ( 'NONE', *, *, #244, .T. ) ;
#211 = EDGE_CURVE ( 'NONE', #2316, #9, #2087, .T. ) ;
#212 = VERTEX_POINT ( 'NONE', #2091 ) ;
#213 = VERTEX_POINT ( 'NONE', #2092 ) ;
#214 = EDGE_CURVE ( 'NONE', #1294, #276, #2093, .T. ) ;
#215 = ORIENTED_EDGE ( 'NONE', *, *, #252, .F. ) ;
#216 = ORIENTED_EDGE ( 'NONE', *, *, #856, .T. ) ;
#217 = EDGE_CURVE ( 'NONE', #139, #242, #2106, .T. ) ;
#218 = EDGE_LOOP ( 'NONE', ( #267, #386, #146, #225 ) ) ;
#219 = VERTEX_POINT ( 'NONE', #2127 ) ;
#220 = ORIENTED_EDGE ( 'NONE', *, *, #2548, .T. ) ;
#221 = EDGE_LOOP ( 'NONE', ( #526, #632, #2566, #928, #803, #751 ) ) ;
#222 = ORIENTED_EDGE ( 'NONE', *, *, #1102, .T. ) ;
#223 = ADVANCED_FACE ( 'NONE', ( #2132 ), #2133, .T. ) ;
#224 = EDGE_CURVE ( 'NONE', #353, #3972, #2138, .T. ) ;
#225 = ORIENTED_EDGE ( 'NONE', *, *, #10, .T. ) ;
#226 = VERTEX_POINT ( 'NONE', #2143 ) ;
#227 = EDGE_LOOP ( 'NONE', ( #284, #343, #429, #479 ) ) ;
#228 = ORIENTED_EDGE ( 'NONE', *, *, #1824, .T. ) ;
#229 = EDGE_LOOP ( 'NONE', ( #827, #910, #950, #1024 ) ) ;
#230 = ADVANCED_FACE ( 'NONE', ( #2144 ), #2145, .T. ) ;
#231 = EDGE_CURVE ( 'NONE', #250, #406, #2155, .T. ) ;
#232 = ORIENTED_EDGE ( 'NONE', *, *, #265, .F. ) ;
#233 = ORIENTED_EDGE ( 'NONE', *, *, #5130, .F. ) ;
#234 = EDGE_CURVE ( 'NONE', #1029, #1038, #2172, .T. ) ;
#235 = ADVANCED_FACE ( 'NONE', ( #2176 ), #2178, .T. ) ;
#236 = VERTEX_POINT ( 'NONE', #2183 ) ;
#237 = EDGE_LOOP ( 'NONE', ( #305, #358, #484, #590 ) ) ;
#238 = EDGE_CURVE ( 'NONE', #212, #718, #2188, .T. ) ;
#239 = ORIENTED_EDGE ( 'NONE', *, *, #254, .T. ) ;
#240 = ORIENTED_EDGE ( 'NONE', *, *, #906, .T. ) ;
#241 = ADVANCED_FACE ( 'NONE', ( #2201 ), #2202, .F. ) ;
#242 = VERTEX_POINT ( 'NONE', #2212 ) ;
#243 = EDGE_LOOP ( 'NONE', ( #3272, #4384, #665, #724, #793, #3255, #4137, #5051 ) ) ;
#244 = EDGE_CURVE ( 'NONE', #608, #3899, #2220, .T. ) ;
#245 = ORIENTED_EDGE ( 'NONE', *, *, #280, .T. ) ;
#246 = ORIENTED_EDGE ( 'NONE', *, *, #1382, .F. ) ;
#247 = ORIENTED_EDGE ( 'NONE', *, *, #275, .T. ) ;
#248 = ORIENTED_EDGE ( 'NONE', *, *, #283, .F. ) ;
#249 = ADVANCED_FACE ( 'NONE', ( #2244 ), #2245, .F. ) ;
#250 = VERTEX_POINT ( 'NONE', #2250 ) ;
#251 = ORIENTED_EDGE ( 'NONE', *, *, #217, .F. ) ;
#252 = EDGE_CURVE ( 'NONE', #276, #171, #2259, .T. ) ;
#253 = ADVANCED_FACE ( 'NONE', ( #2264, #2265 ), #2266, .T. ) ;
#254 = EDGE_CURVE ( 'NONE', #1029, #1048, #2271, .T. ) ;
#255 = ORIENTED_EDGE ( 'NONE', *, *, #606, .F. ) ;
#256 = ORIENTED_EDGE ( 'NONE', *, *, #988, .F. ) ;
#257 = ORIENTED_EDGE ( 'NONE', *, *, #295, .T. ) ;
#258 = ORIENTED_EDGE ( 'NONE', *, *, #1372, .T. ) ;
#259 = ADVANCED_FACE ( 'NONE', ( #2321 ), #2322, .F. ) ;
#260 = EDGE_CURVE ( 'NONE', #742, #374, #2332, .T. ) ;
#261 = ORIENTED_EDGE ( 'NONE', *, *, #1196, .T. ) ;
#262 = EDGE_CURVE ( 'NONE', #426, #1087, #2343, .T. ) ;
#263 = EDGE_LOOP ( 'NONE', ( #316, #373, #461, #507 ) ) ;
#264 = ORIENTED_EDGE ( 'NONE', *, *, #300, .F. ) ;
#265 = EDGE_CURVE ( 'NONE', #913, #1356, #2385, .T. ) ;
#266 = ORIENTED_EDGE ( 'NONE', *, *, #809, .T. ) ;
#267 = ORIENTED_EDGE ( 'NONE', *, *, #309, .T. ) ;
#268 = ORIENTED_EDGE ( 'NONE', *, *, #198, .T. ) ;
#269 = ORIENTED_EDGE ( 'NONE', *, *, #310, .F. ) ;
#270 = ORIENTED_EDGE ( 'NONE', *, *, #282, .F. ) ;
#271 = EDGE_LOOP ( 'NONE', ( #348, #458, #307, #398 ) ) ;
#272 = VERTEX_POINT ( 'NONE', #2421 ) ;
#273 = VERTEX_POINT ( 'NONE', #2422 ) ;
#274 = ADVANCED_FACE ( 'NONE', ( #2423 ), #2424, .T. ) ;
#275 = EDGE_CURVE ( 'NONE', #887, #4308, #2429, .T. ) ;
#276 = VERTEX_POINT ( 'NONE', #2440 ) ;
#277 = EDGE_LOOP ( 'NONE', ( #1610, #1915, #4737, #5115 ) ) ;
#278 = ORIENTED_EDGE ( 'NONE', *, *, #321, .F. ) ;
#279 = EDGE_LOOP ( 'NONE', ( #339, #450, #564, #1339 ) ) ;
#280 = EDGE_CURVE ( 'NONE', #183, #4895, #2445, .T. ) ;
#281 = ORIENTED_EDGE ( 'NONE', *, *, #1375, .F. ) ;
#282 = EDGE_CURVE ( 'NONE', #4419, #919, #2450, .T. ) ;
#283 = EDGE_CURVE ( 'NONE', #978, #2335, #2454, .T. ) ;
#284 = ORIENTED_EDGE ( 'NONE', *, *, #777, .F. ) ;
#285 = ADVANCED_FACE ( 'NONE', ( #2458 ), #2459, .T. ) ;
#286 = VERTEX_POINT ( 'NONE', #2469 ) ;
#287 = ORIENTED_EDGE ( 'NONE', *, *, #457, .T. ) ;
#288 = ORIENTED_EDGE ( 'NONE', *, *, #323, .F. ) ;
#289 = VERTEX_POINT ( 'NONE', #2476 ) ;
#290 = EDGE_CURVE ( 'NONE', #318, #670, #2478, .T. ) ;
#291 = ORIENTED_EDGE ( 'NONE', *, *, #1880, .F. ) ;
#292 = ORIENTED_EDGE ( 'NONE', *, *, #4915, .F. ) ;
#293 = EDGE_LOOP ( 'NONE', ( #346, #397, #482, #530 ) ) ;
#294 = ORIENTED_EDGE ( 'NONE', *, *, #328, .T. ) ;
#295 = EDGE_CURVE ( 'NONE', #470, #320, #2506, .T. ) ;
#296 = EDGE_CURVE ( 'NONE', #516, #112, #2515, .T. ) ;
#297 = ORIENTED_EDGE ( 'NONE', *, *, #1113, .F. ) ;
#298 = ORIENTED_EDGE ( 'NONE', *, *, #325, .T. ) ;
#299 = ORIENTED_EDGE ( 'NONE', *, *, #336, .T. ) ;
#300 = EDGE_CURVE ( 'NONE', #329, #194, #2550, .T. ) ;
#301 = ADVANCED_FACE ( 'NONE', ( #2556 ), #2557, .T. ) ;
#302 = ADVANCED_FACE ( 'NONE', ( #2562 ), #2563, .T. ) ;
#303 = EDGE_CURVE ( 'NONE', #864, #100, #2570, .T. ) ;
#304 = ORIENTED_EDGE ( 'NONE', *, *, #328, .F. ) ;
#305 = ORIENTED_EDGE ( 'NONE', *, *, #1228, .T. ) ;
#306 = ORIENTED_EDGE ( 'NONE', *, *, #3683, .F. ) ;
#307 = ORIENTED_EDGE ( 'NONE', *, *, #344, .F. ) ;
#308 = ORIENTED_EDGE ( 'NONE', *, *, #132, .T. ) ;
#309 = EDGE_CURVE ( 'NONE', #8, #340, #2622, .T. ) ;
#310 = EDGE_CURVE ( 'NONE', #5105, #1269, #2626, .T. ) ;
#311 = ADVANCED_FACE ( 'NONE', ( #2640 ), #2641, .T. ) ;
#312 = ORIENTED_EDGE ( 'NONE', *, *, #351, .F. ) ;
#313 = EDGE_LOOP ( 'NONE', ( #365, #416, #504, #554 ) ) ;
#314 = ORIENTED_EDGE ( 'NONE', *, *, #655, .F. ) ;
#315 = ORIENTED_EDGE ( 'NONE', *, *, #3134, .T. ) ;
#316 = ORIENTED_EDGE ( 'NONE', *, *, #262, .F. ) ;
#317 = ORIENTED_EDGE ( 'NONE', *, *, #1330, .F. ) ;
#318 = VERTEX_POINT ( 'NONE', #2660 ) ;
#319 = ORIENTED_EDGE ( 'NONE', *, *, #75, .F. ) ;
#320 = VERTEX_POINT ( 'NONE', #2677 ) ;
#321 = EDGE_CURVE ( 'NONE', #350, #936, #2683, .T. ) ;
#322 = ADVANCED_FACE ( 'NONE', ( #2689 ), #2690, .F. ) ;
#323 = EDGE_CURVE ( 'NONE', #1212, #4632, #2699, .T. ) ;
#324 = ORIENTED_EDGE ( 'NONE', *, *, #644, .F. ) ;
#325 = EDGE_CURVE ( 'NONE', #289, #1148, #2734, .T. ) ;
#326 = ORIENTED_EDGE ( 'NONE', *, *, #360, .F. ) ;
#327 = EDGE_LOOP ( 'NONE', ( #783, #821, #863 ) ) ;
#328 = EDGE_CURVE ( 'NONE', #236, #353, #2752, .T. ) ;
#329 = VERTEX_POINT ( 'NONE', #2756 ) ;
#330 = EDGE_LOOP ( 'NONE', ( #3790, #4896, #5134, #29 ) ) ;
#331 = VERTEX_POINT ( 'NONE', #2757 ) ;
#332 = ORIENTED_EDGE ( 'NONE', *, *, #364, .F. ) ;
#333 = ORIENTED_EDGE ( 'NONE', *, *, #367, .T. ) ;
#334 = ORIENTED_EDGE ( 'NONE', *, *, #5082, .F. ) ;
#335 = ORIENTED_EDGE ( 'NONE', *, *, #192, .T. ) ;
#336 = EDGE_CURVE ( 'NONE', #242, #356, #2784, .T. ) ;
#337 = ORIENTED_EDGE ( 'NONE', *, *, #4098, .T. ) ;
#338 = ADVANCED_FACE ( 'NONE', ( #2788 ), #2789, .F. ) ;
#339 = ORIENTED_EDGE ( 'NONE', *, *, #369, .T. ) ;
#340 = VERTEX_POINT ( 'NONE', #2814 ) ;
#341 = ORIENTED_EDGE ( 'NONE', *, *, #1327, .F. ) ;
#342 = EDGE_LOOP ( 'NONE', ( #408, #465, #539, #595 ) ) ;
#343 = ORIENTED_EDGE ( 'NONE', *, *, #379, .F. ) ;
#344 = EDGE_CURVE ( 'NONE', #83, #250, #2851, .T. ) ;
#345 = ORIENTED_EDGE ( 'NONE', *, *, #960, .F. ) ;
#346 = ORIENTED_EDGE ( 'NONE', *, *, #170, .T. ) ;
#347 = ORIENTED_EDGE ( 'NONE', *, *, #1288, .F. ) ;
#348 = ORIENTED_EDGE ( 'NONE', *, *, #381, .T. ) ;
#349 = EDGE_CURVE ( 'NONE', #675, #61, #2861, .T. ) ;
#350 = VERTEX_POINT ( 'NONE', #2884 ) ;
#351 = EDGE_CURVE ( 'NONE', #538, #654, #2885, .T. ) ;
#352 = ADVANCED_FACE ( 'NONE', ( #2927 ), #2928, .F. ) ;
#353 = VERTEX_POINT ( 'NONE', #2933 ) ;
#354 = EDGE_CURVE ( 'NONE', #318, #615, #2942, .T. ) ;
#355 = VERTEX_POINT ( 'NONE', #2947 ) ;
#356 = VERTEX_POINT ( 'NONE', #2966 ) ;
#357 = ORIENTED_EDGE ( 'NONE', *, *, #597, .T. ) ;
#358 = ORIENTED_EDGE ( 'NONE', *, *, #393, .T. ) ;
#359 = ADVANCED_FACE ( 'NONE', ( #2967 ), #2968, .T. ) ;
#360 = EDGE_CURVE ( 'NONE', #387, #5083, #2979, .T. ) ;
#361 = ORIENTED_EDGE ( 'NONE', *, *, #1765, .F. ) ;
#362 = ORIENTED_EDGE ( 'NONE', *, *, #2003, .T. ) ;
#363 = ORIENTED_EDGE ( 'NONE', *, *, #616, .F. ) ;
#364 = EDGE_CURVE ( 'NONE', #1018, #2901, #3009, .T. ) ;
#365 = ORIENTED_EDGE ( 'NONE', *, *, #596, .T. ) ;
#366 = ORIENTED_EDGE ( 'NONE', *, *, #584, .F. ) ;
#367 = EDGE_CURVE ( 'NONE', #276, #1096, #3017, .T. ) ;
#368 = EDGE_LOOP ( 'NONE', ( #1307, #1365, #1129, #1201 ) ) ;
#369 = EDGE_CURVE ( 'NONE', #340, #395, #3022, .T. ) ;
#370 = ORIENTED_EDGE ( 'NONE', *, *, #519, .T. ) ;
#371 = ORIENTED_EDGE ( 'NONE', *, *, #1126, .F. ) ;
#372 = ORIENTED_EDGE ( 'NONE', *, *, #404, .T. ) ;
#373 = ORIENTED_EDGE ( 'NONE', *, *, #405, .F. ) ;
#374 = VERTEX_POINT ( 'NONE', #3049 ) ;
#375 = ORIENTED_EDGE ( 'NONE', *, *, #1951, .F. ) ;
#376 = ORIENTED_EDGE ( 'NONE', *, *, #884, .F. ) ;
#377 = ORIENTED_EDGE ( 'NONE', *, *, #1184, .F. ) ;
#378 = ADVANCED_FACE ( 'NONE', ( #3063 ), #3064, .T. ) ;
#379 = EDGE_CURVE ( 'NONE', #559, #150, #3073, .T. ) ;
#380 = ORIENTED_EDGE ( 'NONE', *, *, #413, .F. ) ;
#381 = EDGE_CURVE ( 'NONE', #5138, #406, #3104, .T. ) ;
#382 = ORIENTED_EDGE ( 'NONE', *, *, #351, .T. ) ;
#383 = ADVANCED_FACE ( 'NONE', ( #3114, #3115, #3116, #3118 ), #3119, .F. ) ;
#384 = ORIENTED_EDGE ( 'NONE', *, *, #1133, .F. ) ;
#385 = ORIENTED_EDGE ( 'NONE', *, *, #275, .F. ) ;
#386 = ORIENTED_EDGE ( 'NONE', *, *, #422, .F. ) ;
#387 = VERTEX_POINT ( 'NONE', #3149 ) ;
#388 = ORIENTED_EDGE ( 'NONE', *, *, #425, .T. ) ;
#389 = ORIENTED_EDGE ( 'NONE', *, *, #1879, .F. ) ;
#390 = EDGE_LOOP ( 'NONE', ( #2955, #2830 ) ) ;
#391 = ORIENTED_EDGE ( 'NONE', *, *, #7, .T. ) ;
#392 = ORIENTED_EDGE ( 'NONE', *, *, #512, .T. ) ;
#393 = EDGE_CURVE ( 'NONE', #1156, #418, #3194, .T. ) ;
#394 = ORIENTED_EDGE ( 'NONE', *, *, #433, .T. ) ;
#395 = VERTEX_POINT ( 'NONE', #3199 ) ;
#396 = EDGE_LOOP ( 'NONE', ( #451, #495 ) ) ;
#397 = ORIENTED_EDGE ( 'NONE', *, *, #434, .F. ) ;
#398 = ORIENTED_EDGE ( 'NONE', *, *, #58, .T. ) ;
#399 = ORIENTED_EDGE ( 'NONE', *, *, #296, .T. ) ;
#400 = EDGE_CURVE ( 'NONE', #174, #417, #3205, .T. ) ;
#401 = ORIENTED_EDGE ( 'NONE', *, *, #1379, .F. ) ;
#402 = ADVANCED_FACE ( 'NONE', ( #3226 ), #3227, .F. ) ;
#403 = ORIENTED_EDGE ( 'NONE', *, *, #436, .T. ) ;
#404 = EDGE_CURVE ( 'NONE', #320, #432, #3248, .T. ) ;
#405 = EDGE_CURVE ( 'NONE', #585, #426, #3269, .T. ) ;
#406 = VERTEX_POINT ( 'NONE', #3287 ) ;
#407 = EDGE_CURVE ( 'NONE', #674, #99, #3288, .T. ) ;
#408 = ORIENTED_EDGE ( 'NONE', *, *, #290, .F. ) ;
#409 = ORIENTED_EDGE ( 'NONE', *, *, #449, .T. ) ;
#410 = ADVANCED_FACE ( 'NONE', ( #3307 ), #3308, .F. ) ;
#411 = EDGE_LOOP ( 'NONE', ( #463, #288, #377, #431 ) ) ;
#412 = ADVANCED_FACE ( 'NONE', ( #3314 ), #3315, .F. ) ;
#413 = EDGE_CURVE ( 'NONE', #445, #329, #3321, .T. ) ;
#414 = ORIENTED_EDGE ( 'NONE', *, *, #260, .F. ) ;
#415 = ORIENTED_EDGE ( 'NONE', *, *, #456, .F. ) ;
#416 = ORIENTED_EDGE ( 'NONE', *, *, #457, .F. ) ;
#417 = VERTEX_POINT ( 'NONE', #3332 ) ;
#418 = VERTEX_POINT ( 'NONE', #3337 ) ;
#419 = ORIENTED_EDGE ( 'NONE', *, *, #514, .T. ) ;
#420 = ORIENTED_EDGE ( 'NONE', *, *, #5128, .F. ) ;
#421 = ORIENTED_EDGE ( 'NONE', *, *, #875, .F. ) ;
#422 = EDGE_CURVE ( 'NONE', #452, #340, #3339, .T. ) ;
#423 = EDGE_LOOP ( 'NONE', ( #165, #216, #269 ) ) ;
#424 = ORIENTED_EDGE ( 'NONE', *, *, #569, .T. ) ;
#425 = EDGE_CURVE ( 'NONE', #4489, #4703, #3354, .T. ) ;
#426 = VERTEX_POINT ( 'NONE', #3358 ) ;
#427 = ORIENTED_EDGE ( 'NONE', *, *, #460, .F. ) ;
#428 = ORIENTED_EDGE ( 'NONE', *, *, #1731, .F. ) ;
#429 = ORIENTED_EDGE ( 'NONE', *, *, #3558, .T. ) ;
#430 = ORIENTED_EDGE ( 'NONE', *, *, #1247, .T. ) ;
#431 = ORIENTED_EDGE ( 'NONE', *, *, #224, .T. ) ;
#432 = VERTEX_POINT ( 'NONE', #3395 ) ;
#433 = EDGE_CURVE ( 'NONE', #350, #994, #3400, .T. ) ;
#434 = EDGE_CURVE ( 'NONE', #96, #124, #3406, .T. ) ;
#435 = VERTEX_POINT ( 'NONE', #3410 ) ;
#436 = EDGE_CURVE ( 'NONE', #1322, #462, #3447, .T. ) ;
#437 = EDGE_LOOP ( 'NONE', ( #382, #440, #486, #570 ) ) ;
#438 = ADVANCED_FACE ( 'NONE', ( #3455 ), #3456, .T. ) ;
#439 = ORIENTED_EDGE ( 'NONE', *, *, #471, .T. ) ;
#440 = ORIENTED_EDGE ( 'NONE', *, *, #3971, .F. ) ;
#441 = EDGE_CURVE ( 'NONE', #4983, #5119, #3471, .T. ) ;
#442 = EDGE_LOOP ( 'NONE', ( #376, #893, #961, #4310, #784, #315, #882, #945, #454, #546, #5077, #3738, #4188, #921, #1315, #1661, #1246, #1350, #1949, #2401, #3326, #776 ) ) ;
#443 = ADVANCED_FACE ( 'NONE', ( #3479 ), #3480, .T. ) ;
#444 = ORIENTED_EDGE ( 'NONE', *, *, #460, .T. ) ;
#445 = VERTEX_POINT ( 'NONE', #3485 ) ;
#446 = ORIENTED_EDGE ( 'NONE', *, *, #638, .F. ) ;
#447 = ADVANCED_FACE ( 'NONE', ( #3495 ), #3496, .T. ) ;
#448 = ADVANCED_FACE ( 'NONE', ( #3512 ), #3513, .F. ) ;
#449 = EDGE_CURVE ( 'NONE', #356, #470, #3518, .T. ) ;
#450 = ORIENTED_EDGE ( 'NONE', *, *, #475, .F. ) ;
#451 = ORIENTED_EDGE ( 'NONE', *, *, #295, .F. ) ;
#452 = VERTEX_POINT ( 'NONE', #3545 ) ;
#453 = EDGE_LOOP ( 'NONE', ( #492, #599, #678, #1193 ) ) ;
#454 = ORIENTED_EDGE ( 'NONE', *, *, #474, .T. ) ;
#455 = ORIENTED_EDGE ( 'NONE', *, *, #488, .T. ) ;
#456 = EDGE_CURVE ( 'NONE', #242, #531, #3590, .T. ) ;
#457 = EDGE_CURVE ( 'NONE', #219, #1376, #3597, .T. ) ;
#458 = ORIENTED_EDGE ( 'NONE', *, *, #231, .F. ) ;
#459 = VERTEX_POINT ( 'NONE', #3606 ) ;
#460 = EDGE_CURVE ( 'NONE', #1066, #1363, #3621, .T. ) ;
#461 = ORIENTED_EDGE ( 'NONE', *, *, #802, .T. ) ;
#462 = VERTEX_POINT ( 'NONE', #3640 ) ;
#463 = ORIENTED_EDGE ( 'NONE', *, *, #5101, .T. ) ;
#464 = ORIENTED_EDGE ( 'NONE', *, *, #354, .F. ) ;
#465 = ORIENTED_EDGE ( 'NONE', *, *, #491, .F. ) ;
#466 = VERTEX_POINT ( 'NONE', #3655 ) ;
#467 = EDGE_LOOP ( 'NONE', ( #712, #248, #345, #392 ) ) ;
#468 = ORIENTED_EDGE ( 'NONE', *, *, #499, .T. ) ;
#469 = ADVANCED_FACE ( 'NONE', ( #3680 ), #3681, .T. ) ;
#470 = VERTEX_POINT ( 'NONE', #3688 ) ;
#471 = EDGE_CURVE ( 'NONE', #387, #608, #3706, .T. ) ;
#472 = ADVANCED_FACE ( 'NONE', ( #3731 ), #3732, .T. ) ;
#473 = ORIENTED_EDGE ( 'NONE', *, *, #4492, .F. ) ;
#474 = EDGE_CURVE ( 'NONE', #20, #498, #3745, .T. ) ;
#475 = EDGE_CURVE ( 'NONE', #500, #395, #3757, .T. ) ;
#476 = EDGE_LOOP ( 'NONE', ( #523, #573, #650, #690 ) ) ;
#477 = ORIENTED_EDGE ( 'NONE', *, *, #602, .F. ) ;
#478 = ORIENTED_EDGE ( 'NONE', *, *, #508, .T. ) ;
#479 = ORIENTED_EDGE ( 'NONE', *, *, #1170, .T. ) ;
#480 = ORIENTED_EDGE ( 'NONE', *, *, #512, .F. ) ;
#481 = EDGE_LOOP ( 'NONE', ( #962, #255, #332, #420 ) ) ;
#482 = ORIENTED_EDGE ( 'NONE', *, *, #70, .F. ) ;
#483 = ADVANCED_FACE ( 'NONE', ( #3801 ), #3802, .T. ) ;
#484 = ORIENTED_EDGE ( 'NONE', *, *, #518, .F. ) ;
#485 = ORIENTED_EDGE ( 'NONE', *, *, #2124, .T. ) ;
#486 = ORIENTED_EDGE ( 'NONE', *, *, #519, .F. ) ;
#487 = EDGE_CURVE ( 'NONE', #749, #1040, #3820, .T. ) ;
#488 = EDGE_CURVE ( 'NONE', #1297, #350, #3824, .T. ) ;
#489 = ORIENTED_EDGE ( 'NONE', *, *, #134, .F. ) ;
#490 = ORIENTED_EDGE ( 'NONE', *, *, #520, .T. ) ;
#491 = EDGE_CURVE ( 'NONE', #615, #318, #3873, .T. ) ;
#492 = ORIENTED_EDGE ( 'NONE', *, *, #525, .T. ) ;
#493 = ADVANCED_FACE ( 'NONE', ( #3908 ), #3909, .T. ) ;
#494 = ORIENTED_EDGE ( 'NONE', *, *, #1880, .T. ) ;
#495 = ORIENTED_EDGE ( 'NONE', *, *, #529, .T. ) ;
#496 = EDGE_LOOP ( 'NONE', ( #1234, #4738, #920, #3595, #1003 ) ) ;
#497 = ORIENTED_EDGE ( 'NONE', *, *, #974, .T. ) ;
#498 = VERTEX_POINT ( 'NONE', #3942 ) ;
#499 = EDGE_CURVE ( 'NONE', #742, #387, #3943, .T. ) ;
#500 = VERTEX_POINT ( 'NONE', #3952 ) ;
#501 = EDGE_CURVE ( 'NONE', #522, #4040, #3956, .T. ) ;
#502 = EDGE_LOOP ( 'NONE', ( #551, #3377, #3808, #4258 ) ) ;
#503 = ADVANCED_FACE ( 'NONE', ( #3961, #3962 ), #3963, .F. ) ;
#504 = ORIENTED_EDGE ( 'NONE', *, *, #198, .F. ) ;
#505 = ADVANCED_FACE ( 'NONE', ( #3975 ), #3976, .F. ) ;
#506 = ORIENTED_EDGE ( 'NONE', *, *, #536, .T. ) ;
#507 = ORIENTED_EDGE ( 'NONE', *, *, #5131, .T. ) ;
#508 = EDGE_CURVE ( 'NONE', #432, #531, #4018, .T. ) ;
#509 = ORIENTED_EDGE ( 'NONE', *, *, #891, .T. ) ;
#510 = ORIENTED_EDGE ( 'NONE', *, *, #3863, .T. ) ;
#511 = EDGE_CURVE ( 'NONE', #435, #33, #4050, .T. ) ;
#512 = EDGE_CURVE ( 'NONE', #894, #1283, #4068, .T. ) ;
#513 = ORIENTED_EDGE ( 'NONE', *, *, #4686, .T. ) ;
#514 = EDGE_CURVE ( 'NONE', #1087, #1328, #4073, .T. ) ;
#515 = EDGE_LOOP ( 'NONE', ( #1027, #861, #324, #820, #824 ) ) ;
#516 = VERTEX_POINT ( 'NONE', #4083 ) ;
#517 = ADVANCED_FACE ( 'NONE', ( #4104, #4105 ), #4106, .T. ) ;
#518 = EDGE_CURVE ( 'NONE', #538, #418, #4111, .T. ) ;
#519 = EDGE_CURVE ( 'NONE', #1258, #1363, #4131, .T. ) ;
#520 = EDGE_CURVE ( 'NONE', #579, #908, #4140, .T. ) ;
#521 = ADVANCED_FACE ( 'NONE', ( #4145 ), #4146, .T. ) ;
#522 = VERTEX_POINT ( 'NONE', #4151 ) ;
#523 = ORIENTED_EDGE ( 'NONE', *, *, #4421, .T. ) ;
#524 = ORIENTED_EDGE ( 'NONE', *, *, #557, .T. ) ;
#525 = EDGE_CURVE ( 'NONE', #406, #552, #4152, .T. ) ;
#526 = ORIENTED_EDGE ( 'NONE', *, *, #682, .T. ) ;
#527 = ORIENTED_EDGE ( 'NONE', *, *, #558, .F. ) ;
#528 = EDGE_LOOP ( 'NONE', ( #574, #3011 ) ) ;
#529 = EDGE_CURVE ( 'NONE', #470, #320, #4171, .T. ) ;
#530 = ORIENTED_EDGE ( 'NONE', *, *, #1075, .T. ) ;
#531 = VERTEX_POINT ( 'NONE', #4196 ) ;
#532 = ORIENTED_EDGE ( 'NONE', *, *, #562, .F. ) ;
#533 = ORIENTED_EDGE ( 'NONE', *, *, #321, .T. ) ;
#534 = EDGE_CURVE ( 'NONE', #1162, #964, #4212, .T. ) ;
#535 = ORIENTED_EDGE ( 'NONE', *, *, #569, .F. ) ;
#536 = EDGE_CURVE ( 'NONE', #462, #1358, #4216, .T. ) ;
#537 = EDGE_CURVE ( 'NONE', #459, #870, #4224, .T. ) ;
#538 = VERTEX_POINT ( 'NONE', #4253 ) ;
#539 = ORIENTED_EDGE ( 'NONE', *, *, #1951, .T. ) ;
#540 = VERTEX_POINT ( 'NONE', #4254 ) ;
#541 = ADVANCED_FACE ( 'NONE', ( #4255 ), #4256, .T. ) ;
#542 = EDGE_LOOP ( 'NONE', ( #1301, #1359, #1521, #2438 ) ) ;
#543 = EDGE_LOOP ( 'NONE', ( #1285, #1342, #1559, #2298 ) ) ;
#544 = EDGE_LOOP ( 'NONE', ( #1010, #4135, #4877, #5100 ) ) ;
#545 = ORIENTED_EDGE ( 'NONE', *, *, #520, .F. ) ;
#546 = ORIENTED_EDGE ( 'NONE', *, *, #4492, .T. ) ;
#547 = ORIENTED_EDGE ( 'NONE', *, *, #555, .T. ) ;
#548 = ORIENTED_EDGE ( 'NONE', *, *, #214, .T. ) ;
#549 = ADVANCED_FACE ( 'NONE', ( #4269 ), #4270, .T. ) ;
#550 = ORIENTED_EDGE ( 'NONE', *, *, #584, .T. ) ;
#551 = ORIENTED_EDGE ( 'NONE', *, *, #336, .F. ) ;
#552 = VERTEX_POINT ( 'NONE', #4285 ) ;
#553 = ORIENTED_EDGE ( 'NONE', *, *, #360, .T. ) ;
#554 = ORIENTED_EDGE ( 'NONE', *, *, #2159, .T. ) ;
#555 = EDGE_CURVE ( 'NONE', #355, #81, #4315, .T. ) ;
#556 = EDGE_LOOP ( 'NONE', ( #605, #3378 ) ) ;
#557 = EDGE_CURVE ( 'NONE', #498, #579, #4319, .T. ) ;
#558 = EDGE_CURVE ( 'NONE', #582, #4040, #4323, .T. ) ;
#559 = VERTEX_POINT ( 'NONE', #4327 ) ;
#560 = ORIENTED_EDGE ( 'NONE', *, *, #211, .F. ) ;
#561 = ORIENTED_EDGE ( 'NONE', *, *, #963, .F. ) ;
#562 = EDGE_CURVE ( 'NONE', #588, #851, #4328, .T. ) ;
#563 = ORIENTED_EDGE ( 'NONE', *, *, #1165, .F. ) ;
#564 = ORIENTED_EDGE ( 'NONE', *, *, #601, .F. ) ;
#565 = ORIENTED_EDGE ( 'NONE', *, *, #597, .F. ) ;
#566 = ORIENTED_EDGE ( 'NONE', *, *, #593, .T. ) ;
#567 = ORIENTED_EDGE ( 'NONE', *, *, #924, .F. ) ;
#568 = ADVANCED_FACE ( 'NONE', ( #4341 ), #4342, .F. ) ;
#569 = EDGE_CURVE ( 'NONE', #1064, #1416, #4347, .T. ) ;
#570 = ORIENTED_EDGE ( 'NONE', *, *, #622, .F. ) ;
#571 = ORIENTED_EDGE ( 'NONE', *, *, #600, .T. ) ;
#572 = ORIENTED_EDGE ( 'NONE', *, *, #5091, .T. ) ;
#573 = ORIENTED_EDGE ( 'NONE', *, *, #611, .F. ) ;
#574 = ORIENTED_EDGE ( 'NONE', *, *, #379, .T. ) ;
#575 = EDGE_LOOP ( 'NONE', ( #45, #101 ) ) ;
#576 = EDGE_CURVE ( 'NONE', #207, #516, #4363, .T. ) ;
#577 = ORIENTED_EDGE ( 'NONE', *, *, #413, .T. ) ;
#578 = ORIENTED_EDGE ( 'NONE', *, *, #63, .F. ) ;
#579 = VERTEX_POINT ( 'NONE', #4372 ) ;
#580 = EDGE_CURVE ( 'NONE', #1110, #675, #4373, .T. ) ;
#581 = EDGE_LOOP ( 'NONE', ( #630, #668, #1153, #1199 ) ) ;
#582 = VERTEX_POINT ( 'NONE', #4377 ) ;
#583 = ORIENTED_EDGE ( 'NONE', *, *, #616, .T. ) ;
#584 = EDGE_CURVE ( 'NONE', #1013, #608, #4378, .T. ) ;
#585 = VERTEX_POINT ( 'NONE', #4385 ) ;
#586 = ADVANCED_FACE ( 'NONE', ( #4386 ), #4387, .T. ) ;
#587 = VERTEX_POINT ( 'NONE', #4396 ) ;
#588 = VERTEX_POINT ( 'NONE', #4397 ) ;
#589 = VERTEX_POINT ( 'NONE', #4398 ) ;
#590 = ORIENTED_EDGE ( 'NONE', *, *, #622, .T. ) ;
#591 = ORIENTED_EDGE ( 'NONE', *, *, #917, .T. ) ;
#592 = ORIENTED_EDGE ( 'NONE', *, *, #1083, .T. ) ;
#593 = EDGE_CURVE ( 'NONE', #5119, #1095, #4410, .T. ) ;
#594 = ORIENTED_EDGE ( 'NONE', *, *, #5152, .T. ) ;
#595 = ORIENTED_EDGE ( 'NONE', *, *, #1248, .T. ) ;
#596 = EDGE_CURVE ( 'NONE', #619, #1376, #4423, .T. ) ;
#597 = EDGE_CURVE ( 'NONE', #236, #3791, #4428, .T. ) ;
#598 = ORIENTED_EDGE ( 'NONE', *, *, #557, .F. ) ;
#599 = ORIENTED_EDGE ( 'NONE', *, *, #631, .F. ) ;
#600 = EDGE_CURVE ( 'NONE', #4117, #4983, #4438, .T. ) ;
#601 = EDGE_CURVE ( 'NONE', #452, #500, #4450, .T. ) ;
#602 = EDGE_CURVE ( 'NONE', #908, #20, #4455, .T. ) ;
#603 = ORIENTED_EDGE ( 'NONE', *, *, #1070, .T. ) ;
#604 = EDGE_LOOP ( 'NONE', ( #646, #677, #233, #287 ) ) ;
#605 = ORIENTED_EDGE ( 'NONE', *, *, #405, .T. ) ;
#606 = EDGE_CURVE ( 'NONE', #2901, #626, #4478, .T. ) ;
#607 = ADVANCED_FACE ( 'NONE', ( #4482 ), #4483, .T. ) ;
#608 = VERTEX_POINT ( 'NONE', #4488 ) ;
#609 = VERTEX_POINT ( 'NONE', #4493 ) ;
#610 = ORIENTED_EDGE ( 'NONE', *, *, #204, .T. ) ;
#611 = EDGE_CURVE ( 'NONE', #1314, #3700, #4494, .T. ) ;
#612 = ADVANCED_FACE ( 'NONE', ( #4499 ), #4500, .T. ) ;
#613 = ORIENTED_EDGE ( 'NONE', *, *, #640, .F. ) ;
#614 = ORIENTED_EDGE ( 'NONE', *, *, #641, .F. ) ;
#615 = VERTEX_POINT ( 'NONE', #4522 ) ;
#616 = EDGE_CURVE ( 'NONE', #531, #115, #4523, .T. ) ;
#617 = ADVANCED_FACE ( 'NONE', ( #4539 ), #4540, .F. ) ;
#618 = VERTEX_POINT ( 'NONE', #4558 ) ;
#619 = VERTEX_POINT ( 'NONE', #4559 ) ;
#620 = VERTEX_POINT ( 'NONE', #4560 ) ;
#621 = ORIENTED_EDGE ( 'NONE', *, *, #1044, .F. ) ;
#622 = EDGE_CURVE ( 'NONE', #538, #1258, #4562, .T. ) ;
#623 = ORIENTED_EDGE ( 'NONE', *, *, #649, .F. ) ;
#624 = EDGE_CURVE ( 'NONE', #33, #2902, #4568, .T. ) ;
#625 = ORIENTED_EDGE ( 'NONE', *, *, #211, .T. ) ;
#626 = VERTEX_POINT ( 'NONE', #4573 ) ;
#627 = VERTEX_POINT ( 'NONE', #4582 ) ;
#628 = ORIENTED_EDGE ( 'NONE', *, *, #653, .F. ) ;
#629 = ORIENTED_EDGE ( 'NONE', *, *, #638, .T. ) ;
#630 = ORIENTED_EDGE ( 'NONE', *, *, #982, .T. ) ;
#631 = EDGE_CURVE ( 'NONE', #648, #552, #4583, .T. ) ;
#632 = ORIENTED_EDGE ( 'NONE', *, *, #1225, .T. ) ;
#633 = VERTEX_POINT ( 'NONE', #4596 ) ;
#634 = ORIENTED_EDGE ( 'NONE', *, *, #655, .T. ) ;
#635 = ADVANCED_FACE ( 'NONE', ( #4605 ), #4606, .T. ) ;
#636 = VERTEX_POINT ( 'NONE', #4611 ) ;
#637 = EDGE_LOOP ( 'NONE', ( #671, #2177 ) ) ;
#638 = EDGE_CURVE ( 'NONE', #579, #1013, #4612, .T. ) ;
#639 = ORIENTED_EDGE ( 'NONE', *, *, #800, .T. ) ;
#640 = EDGE_CURVE ( 'NONE', #618, #171, #4629, .T. ) ;
#641 = EDGE_CURVE ( 'NONE', #1294, #1096, #4637, .T. ) ;
#642 = ORIENTED_EDGE ( 'NONE', *, *, #667, .F. ) ;
#643 = ORIENTED_EDGE ( 'NONE', *, *, #474, .F. ) ;
#644 = EDGE_CURVE ( 'NONE', #656, #273, #4642, .T. ) ;
#645 = ORIENTED_EDGE ( 'NONE', *, *, #191, .F. ) ;
#646 = ORIENTED_EDGE ( 'NONE', *, *, #19, .T. ) ;
#647 = ADVANCED_FACE ( 'NONE', ( #4669, #4670 ), #4671, .F. ) ;
#648 = VERTEX_POINT ( 'NONE', #4682 ) ;
#649 = EDGE_CURVE ( 'NONE', #112, #516, #4683, .T. ) ;
#650 = ORIENTED_EDGE ( 'NONE', *, *, #1287, .F. ) ;
#651 = ORIENTED_EDGE ( 'NONE', *, *, #641, .T. ) ;
#652 = EDGE_LOOP ( 'NONE', ( #696, #722, #792, #869 ) ) ;
#653 = EDGE_CURVE ( 'NONE', #1006, #582, #4692, .T. ) ;
#654 = VERTEX_POINT ( 'NONE', #4696 ) ;
#655 = EDGE_CURVE ( 'NONE', #877, #1271, #4697, .T. ) ;
#656 = VERTEX_POINT ( 'NONE', #4712 ) ;
#657 = EDGE_LOOP ( 'NONE', ( #944, #1054, #1134, #1173, #247, #337, #388, #473, #524, #629 ) ) ;
#658 = ORIENTED_EDGE ( 'NONE', *, *, #681, .T. ) ;
#659 = VERTEX_POINT ( 'NONE', #4713 ) ;
#660 = ORIENTED_EDGE ( 'NONE', *, *, #283, .T. ) ;
#661 = ORIENTED_EDGE ( 'NONE', *, *, #290, .T. ) ;
#662 = VERTEX_POINT ( 'NONE', #4725 ) ;
#663 = EDGE_CURVE ( 'NONE', #587, #771, #4726, .T. ) ;
#664 = ORIENTED_EDGE ( 'NONE', *, *, #4331, .F. ) ;
#665 = ORIENTED_EDGE ( 'NONE', *, *, #686, .F. ) ;
#666 = ORIENTED_EDGE ( 'NONE', *, *, #1331, .F. ) ;
#667 = EDGE_CURVE ( 'NONE', #684, #329, #4736, .T. ) ;
#668 = ORIENTED_EDGE ( 'NONE', *, *, #1107, .F. ) ;
#669 = ADVANCED_FACE ( 'NONE', ( #4747 ), #4748, .F. ) ;
#670 = VERTEX_POINT ( 'NONE', #4753 ) ;
#671 = ORIENTED_EDGE ( 'NONE', *, *, #491, .T. ) ;
#672 = ORIENTED_EDGE ( 'NONE', *, *, #1282, .F. ) ;
#673 = EDGE_CURVE ( 'NONE', #1358, #1144, #4779, .T. ) ;
#674 = VERTEX_POINT ( 'NONE', #4783 ) ;
#675 = VERTEX_POINT ( 'NONE', #4792 ) ;
#676 = ORIENTED_EDGE ( 'NONE', *, *, #1154, .T. ) ;
#677 = ORIENTED_EDGE ( 'NONE', *, *, #234, .F. ) ;
#678 = ORIENTED_EDGE ( 'NONE', *, *, #1149, .F. ) ;
#679 = ORIENTED_EDGE ( 'NONE', *, *, #713, .F. ) ;
#680 = EDGE_CURVE ( 'NONE', #3028, #99, #4805, .T. ) ;
#681 = EDGE_CURVE ( 'NONE', #80, #2513, #4829, .T. ) ;
#682 = EDGE_CURVE ( 'NONE', #4581, #1821, #4833, .T. ) ;
#683 = ORIENTED_EDGE ( 'NONE', *, *, #1119, .F. ) ;
#684 = VERTEX_POINT ( 'NONE', #4838 ) ;
#685 = ADVANCED_FACE ( 'NONE', ( #4844 ), #4845, .F. ) ;
#686 = EDGE_CURVE ( 'NONE', #700, #627, #4861, .T. ) ;
#687 = ORIENTED_EDGE ( 'NONE', *, *, #163, .T. ) ;
#688 = ADVANCED_FACE ( 'NONE', ( #4865 ), #4866, .F. ) ;
#689 = EDGE_CURVE ( 'NONE', #1110, #749, #4871, .T. ) ;
#690 = ORIENTED_EDGE ( 'NONE', *, *, #323, .T. ) ;
#691 = EDGE_LOOP ( 'NONE', ( #952, #888, #107, #1233 ) ) ;
#692 = ORIENTED_EDGE ( 'NONE', *, *, #983, .T. ) ;
#693 = EDGE_LOOP ( 'NONE', ( #133, #2829, #954, #5090, #161 ) ) ;
#694 = EDGE_LOOP ( 'NONE', ( #278, #394, #497, #550, #210, #306 ) ) ;
#695 = ORIENTED_EDGE ( 'NONE', *, *, #711, .T. ) ;
#696 = ORIENTED_EDGE ( 'NONE', *, *, #303, .T. ) ;
#697 = ADVANCED_FACE ( 'NONE', ( #4904 ), #4905, .T. ) ;
#698 = ORIENTED_EDGE ( 'NONE', *, *, #4097, .T. ) ;
#699 = ADVANCED_FACE ( 'NONE', ( #4910 ), #4911, .F. ) ;
#700 = VERTEX_POINT ( 'NONE', #4919 ) ;
#701 = EDGE_LOOP ( 'NONE', ( #258, #314, #371, #424 ) ) ;
#702 = ORIENTED_EDGE ( 'NONE', *, *, #537, .F. ) ;
#703 = EDGE_LOOP ( 'NONE', ( #64, #2900, #1049, #788 ) ) ;
#704 = ADVANCED_FACE ( 'NONE', ( #4927 ), #4928, .T. ) ;
#705 = EDGE_LOOP ( 'NONE', ( #738, #772, #840, #874 ) ) ;
#706 = ORIENTED_EDGE ( 'NONE', *, *, #721, .F. ) ;
#707 = ADVANCED_FACE ( 'NONE', ( #4940 ), #4941, .T. ) ;
#708 = ORIENTED_EDGE ( 'NONE', *, *, #726, .F. ) ;
#709 = EDGE_LOOP ( 'NONE', ( #651, #137, #185 ) ) ;
#710 = ORIENTED_EDGE ( 'NONE', *, *, #999, .F. ) ;
#711 = EDGE_CURVE ( 'NONE', #618, #718, #4966, .T. ) ;
#712 = ORIENTED_EDGE ( 'NONE', *, *, #2865, .T. ) ;
#713 = EDGE_CURVE ( 'NONE', #289, #914, #4970, .T. ) ;
#714 = ORIENTED_EDGE ( 'NONE', *, *, #732, .T. ) ;
#715 = ORIENTED_EDGE ( 'NONE', *, *, #4208, .F. ) ;
#716 = EDGE_LOOP ( 'NONE', ( #747, #806, #844, #905 ) ) ;
#717 = EDGE_LOOP ( 'NONE', ( #3220, #206 ) ) ;
#718 = VERTEX_POINT ( 'NONE', #2199 ) ;
#719 = VERTEX_POINT ( 'NONE', #2200 ) ;
#720 = EDGE_CURVE ( 'NONE', #1932, #2974, #2208, .T. ) ;
#721 = EDGE_CURVE ( 'NONE', #656, #1209, #2224, .T. ) ;
#722 = ORIENTED_EDGE ( 'NONE', *, *, #744, .F. ) ;
#723 = ORIENTED_EDGE ( 'NONE', *, *, #3558, .F. ) ;
#724 = ORIENTED_EDGE ( 'NONE', *, *, #745, .F. ) ;
#725 = ORIENTED_EDGE ( 'NONE', *, *, #748, .T. ) ;
#726 = EDGE_CURVE ( 'NONE', #4895, #626, #2304, .T. ) ;
#727 = ORIENTED_EDGE ( 'NONE', *, *, #3274, .F. ) ;
#728 = ORIENTED_EDGE ( 'NONE', *, *, #2158, .F. ) ;
#729 = EDGE_CURVE ( 'NONE', #3899, #742, #2338, .T. ) ;
#730 = EDGE_LOOP ( 'NONE', ( #1065, #1104, #1198, #1296 ) ) ;
#731 = EDGE_LOOP ( 'NONE', ( #1338, #4116, #399, #281 ) ) ;
#732 = EDGE_CURVE ( 'NONE', #1095, #1263, #2381, .T. ) ;
#733 = EDGE_LOOP ( 'NONE', ( #1158, #1260, #1337, #1391, #5093, #22 ) ) ;
#734 = ADVANCED_FACE ( 'NONE', ( #2402 ), #2403, .T. ) ;
#735 = EDGE_LOOP ( 'NONE', ( #1306, #1072, #1157, #1259, #1169, #1273, #403, #506 ) ) ;
#736 = ORIENTED_EDGE ( 'NONE', *, *, #49, .T. ) ;
#737 = ORIENTED_EDGE ( 'NONE', *, *, #918, .F. ) ;
#738 = ORIENTED_EDGE ( 'NONE', *, *, #1026, .T. ) ;
#739 = ORIENTED_EDGE ( 'NONE', *, *, #759, .T. ) ;
#740 = ORIENTED_EDGE ( 'NONE', *, *, #2686, .T. ) ;
#741 = ORIENTED_EDGE ( 'NONE', *, *, #762, .F. ) ;
#742 = VERTEX_POINT ( 'NONE', #2475 ) ;
#743 = VERTEX_POINT ( 'NONE', #2477 ) ;
#744 = EDGE_CURVE ( 'NONE', #755, #100, #2483, .T. ) ;
#745 = EDGE_CURVE ( 'NONE', #757, #700, #2496, .T. ) ;
#746 = ORIENTED_EDGE ( 'NONE', *, *, #1823, .T. ) ;
#747 = ORIENTED_EDGE ( 'NONE', *, *, #767, .F. ) ;
#748 = EDGE_CURVE ( 'NONE', #758, #775, #2501, .T. ) ;
#749 = VERTEX_POINT ( 'NONE', #2505 ) ;
#750 = ORIENTED_EDGE ( 'NONE', *, *, #1713, .T. ) ;
#751 = ORIENTED_EDGE ( 'NONE', *, *, #1240, .T. ) ;
#752 = ORIENTED_EDGE ( 'NONE', *, *, #644, .T. ) ;
#753 = ADVANCED_FACE ( 'NONE', ( #2631 ), #2632, .F. ) ;
#754 = EDGE_LOOP ( 'NONE', ( #548, #384, #444, #489 ) ) ;
#755 = VERTEX_POINT ( 'NONE', #2658 ) ;
#756 = ORIENTED_EDGE ( 'NONE', *, *, #425, .F. ) ;
#757 = VERTEX_POINT ( 'NONE', #2659 ) ;
#758 = VERTEX_POINT ( 'NONE', #2671 ) ;
#759 = EDGE_CURVE ( 'NONE', #3488, #4422, #2678, .T. ) ;
#760 = EDGE_CURVE ( 'NONE', #909, #609, #2708, .T. ) ;
#761 = ADVANCED_FACE ( 'NONE', ( #2712 ), #2713, .T. ) ;
#762 = EDGE_CURVE ( 'NONE', #779, #1299, #2719, .T. ) ;
#763 = EDGE_CURVE ( 'NONE', #780, #743, #2725, .T. ) ;
#764 = ORIENTED_EDGE ( 'NONE', *, *, #1231, .F. ) ;
#765 = ORIENTED_EDGE ( 'NONE', *, *, #1950, .T. ) ;
#766 = EDGE_CURVE ( 'NONE', #964, #771, #2742, .T. ) ;
#767 = EDGE_CURVE ( 'NONE', #4348, #2513, #2747, .T. ) ;
#768 = ORIENTED_EDGE ( 'NONE', *, *, #488, .F. ) ;
#769 = ADVANCED_FACE ( 'NONE', ( #2800 ), #2801, .T. ) ;
#770 = ORIENTED_EDGE ( 'NONE', *, *, #797, .F. ) ;
#771 = VERTEX_POINT ( 'NONE', #2819 ) ;
#772 = ORIENTED_EDGE ( 'NONE', *, *, #799, .F. ) ;
#773 = ORIENTED_EDGE ( 'NONE', *, *, #763, .F. ) ;
#774 = ADVANCED_FACE ( 'NONE', ( #2843 ), #2844, .T. ) ;
#775 = VERTEX_POINT ( 'NONE', #2850 ) ;
#776 = ORIENTED_EDGE ( 'NONE', *, *, #800, .F. ) ;
#777 = EDGE_CURVE ( 'NONE', #150, #719, #2857, .T. ) ;
#778 = EDGE_LOOP ( 'NONE', ( #817, #855, #934, #976 ) ) ;
#779 = VERTEX_POINT ( 'NONE', #2890 ) ;
#780 = VERTEX_POINT ( 'NONE', #2921 ) ;
#781 = EDGE_LOOP ( 'NONE', ( #59, #188, #299, #409, #257, #372, #478, #583 ) ) ;
#782 = EDGE_LOOP ( 'NONE', ( #837, #873, #916, #953, #807, #846, #886, #925 ) ) ;
#783 = ORIENTED_EDGE ( 'NONE', *, *, #1845, .T. ) ;
#784 = ORIENTED_EDGE ( 'NONE', *, *, #260, .T. ) ;
#785 = EDGE_CURVE ( 'NONE', #2739, #4348, #2948, .T. ) ;
#786 = ADVANCED_FACE ( 'NONE', ( #2953 ), #2954, .T. ) ;
#787 = ADVANCED_FACE ( 'NONE', ( #2960 ), #2961, .F. ) ;
#788 = ORIENTED_EDGE ( 'NONE', *, *, #809, .F. ) ;
#789 = ORIENTED_EDGE ( 'NONE', *, *, #4080, .T. ) ;
#790 = ORIENTED_EDGE ( 'NONE', *, *, #818, .T. ) ;
#791 = EDGE_LOOP ( 'NONE', ( #477, #545, #598, #643 ) ) ;
#792 = ORIENTED_EDGE ( 'NONE', *, *, #818, .F. ) ;
#793 = ORIENTED_EDGE ( 'NONE', *, *, #819, .F. ) ;
#794 = ORIENTED_EDGE ( 'NONE', *, *, #1608, .F. ) ;
#795 = ORIENTED_EDGE ( 'NONE', *, *, #47, .F. ) ;
#796 = EDGE_LOOP ( 'NONE', ( #560, #610, #240, #319 ) ) ;
#797 = EDGE_CURVE ( 'NONE', #582, #72, #3038, .T. ) ;
#798 = EDGE_LOOP ( 'NONE', ( #828, #868, #939, #980 ) ) ;
#799 = EDGE_CURVE ( 'NONE', #1115, #1061, #3054, .T. ) ;
#800 = EDGE_CURVE ( 'NONE', #273, #3846, #3079, .T. ) ;
#801 = EDGE_LOOP ( 'NONE', ( #38, #89, #177, #765 ) ) ;
#802 = EDGE_CURVE ( 'NONE', #585, #1328, #3089, .T. ) ;
#803 = ORIENTED_EDGE ( 'NONE', *, *, #785, .T. ) ;
#804 = ORIENTED_EDGE ( 'NONE', *, *, #1319, .F. ) ;
#805 = VERTEX_POINT ( 'NONE', #3103 ) ;
#806 = ORIENTED_EDGE ( 'NONE', *, *, #785, .F. ) ;
#807 = ORIENTED_EDGE ( 'NONE', *, *, #847, .T. ) ;
#808 = ORIENTED_EDGE ( 'NONE', *, *, #825, .T. ) ;
#809 = EDGE_CURVE ( 'NONE', #9, #5083, #3157, .T. ) ;
#810 = ORIENTED_EDGE ( 'NONE', *, *, #832, .F. ) ;
#811 = EDGE_LOOP ( 'NONE', ( #430, #480, #578, #634 ) ) ;
#812 = ORIENTED_EDGE ( 'NONE', *, *, #834, .T. ) ;
#813 = ADVANCED_FACE ( 'NONE', ( #3188 ), #3189, .T. ) ;
#814 = EDGE_LOOP ( 'NONE', ( #849, #892, #926, #995 ) ) ;
#815 = EDGE_LOOP ( 'NONE', ( #567, #992 ) ) ;
#816 = ORIENTED_EDGE ( 'NONE', *, *, #842, .T. ) ;
#817 = ORIENTED_EDGE ( 'NONE', *, *, #1843, .T. ) ;
#818 = EDGE_CURVE ( 'NONE', #838, #755, #3217, .T. ) ;
#819 = EDGE_CURVE ( 'NONE', #839, #757, #3222, .T. ) ;
#820 = ORIENTED_EDGE ( 'NONE', *, *, #847, .F. ) ;
#821 = ORIENTED_EDGE ( 'NONE', *, *, #1137, .F. ) ;
#822 = EDGE_LOOP ( 'NONE', ( #4773, #181, #419, #965 ) ) ;
#823 = ORIENTED_EDGE ( 'NONE', *, *, #853, .F. ) ;
#824 = ORIENTED_EDGE ( 'NONE', *, *, #1226, .T. ) ;
#825 = EDGE_CURVE ( 'NONE', #5102, #3309, #3333, .T. ) ;
#826 = ORIENTED_EDGE ( 'NONE', *, *, #1068, .T. ) ;
#827 = ORIENTED_EDGE ( 'NONE', *, *, #856, .F. ) ;
#828 = ORIENTED_EDGE ( 'NONE', *, *, #3100, .F. ) ;
#829 = VERTEX_POINT ( 'NONE', #3343 ) ;
#830 = EDGE_CURVE ( 'NONE', #851, #864, #3344, .T. ) ;
#831 = ORIENTED_EDGE ( 'NONE', *, *, #860, .T. ) ;
#832 = EDGE_CURVE ( 'NONE', #226, #1297, #3349, .T. ) ;
#833 = ORIENTED_EDGE ( 'NONE', *, *, #1663, .T. ) ;
#834 = EDGE_CURVE ( 'NONE', #775, #854, #3361, .T. ) ;
#835 = EDGE_LOOP ( 'NONE', ( #5068, #1540, #3397, #109 ) ) ;
#836 = ORIENTED_EDGE ( 'NONE', *, *, #558, .T. ) ;
#837 = ORIENTED_EDGE ( 'NONE', *, *, #300, .T. ) ;
#838 = VERTEX_POINT ( 'NONE', #3383 ) ;
#839 = VERTEX_POINT ( 'NONE', #3384 ) ;
#840 = ORIENTED_EDGE ( 'NONE', *, *, #1098, .F. ) ;
#841 = EDGE_CURVE ( 'NONE', #3809, #331, #3411, .T. ) ;
#842 = EDGE_CURVE ( 'NONE', #779, #5105, #3420, .T. ) ;
#843 = ORIENTED_EDGE ( 'NONE', *, *, #525, .F. ) ;
#844 = ORIENTED_EDGE ( 'NONE', *, *, #865, .F. ) ;
#845 = ADVANCED_FACE ( 'NONE', ( #3486 ), #3490, .F. ) ;
#846 = ORIENTED_EDGE ( 'NONE', *, *, #721, .T. ) ;
#847 = EDGE_CURVE ( 'NONE', #973, #656, #3501, .T. ) ;
#848 = ORIENTED_EDGE ( 'NONE', *, *, #5091, .F. ) ;
#849 = ORIENTED_EDGE ( 'NONE', *, *, #1207, .T. ) ;
#850 = ORIENTED_EDGE ( 'NONE', *, *, #875, .T. ) ;
#851 = VERTEX_POINT ( 'NONE', #3546 ) ;
#852 = EDGE_LOOP ( 'NONE', ( #98, #154, #201, #297 ) ) ;
#853 = EDGE_CURVE ( 'NONE', #1038, #1057, #3563, .T. ) ;
#854 = VERTEX_POINT ( 'NONE', #3568 ) ;
#855 = ORIENTED_EDGE ( 'NONE', *, *, #880, .T. ) ;
#856 = EDGE_CURVE ( 'NONE', #779, #1269, #3601, .T. ) ;
#857 = EDGE_LOOP ( 'NONE', ( #55, #113, #215, #333 ) ) ;
#858 = EDGE_LOOP ( 'NONE', ( #121, #245, #3612, #4079 ) ) ;
#859 = ADVANCED_FACE ( 'NONE', ( #3608 ), #3609, .T. ) ;
#860 = EDGE_CURVE ( 'NONE', #417, #876, #3617, .T. ) ;
#861 = ORIENTED_EDGE ( 'NONE', *, *, #884, .T. ) ;
#862 = EDGE_CURVE ( 'NONE', #1111, #272, #3651, .T. ) ;
#863 = ORIENTED_EDGE ( 'NONE', *, *, #891, .F. ) ;
#864 = VERTEX_POINT ( 'NONE', #3679 ) ;
#865 = EDGE_CURVE ( 'NONE', #2687, #2739, #3699, .T. ) ;
#866 = ORIENTED_EDGE ( 'NONE', *, *, #896, .T. ) ;
#867 = ORIENTED_EDGE ( 'NONE', *, *, #653, .T. ) ;
#868 = ORIENTED_EDGE ( 'NONE', *, *, #897, .T. ) ;
#869 = ORIENTED_EDGE ( 'NONE', *, *, #898, .T. ) ;
#870 = VERTEX_POINT ( 'NONE', #3744 ) ;
#871 = ORIENTED_EDGE ( 'NONE', *, *, #3525, .F. ) ;
#872 = ORIENTED_EDGE ( 'NONE', *, *, #3826, .T. ) ;
#873 = ORIENTED_EDGE ( 'NONE', *, *, #1275, .T. ) ;
#874 = ORIENTED_EDGE ( 'NONE', *, *, #31, .T. ) ;
#875 = EDGE_CURVE ( 'NONE', #5123, #538, #3761, .T. ) ;
#876 = VERTEX_POINT ( 'NONE', #3785 ) ;
#877 = VERTEX_POINT ( 'NONE', #3786 ) ;
#878 = ORIENTED_EDGE ( 'NONE', *, *, #830, .F. ) ;
#879 = ORIENTED_EDGE ( 'NONE', *, *, #5081, .T. ) ;
#880 = EDGE_CURVE ( 'NONE', #1367, #5119, #3807, .T. ) ;
#881 = ORIENTED_EDGE ( 'NONE', *, *, #381, .F. ) ;
#882 = ORIENTED_EDGE ( 'NONE', *, *, #906, .F. ) ;
#883 = ORIENTED_EDGE ( 'NONE', *, *, #902, .F. ) ;
#884 = EDGE_CURVE ( 'NONE', #1356, #273, #3847, .T. ) ;
#885 = ADVANCED_FACE ( 'NONE', ( #3851 ), #3852, .T. ) ;
#886 = ORIENTED_EDGE ( 'NONE', *, *, #1181, .T. ) ;
#887 = VERTEX_POINT ( 'NONE', #3872 ) ;
#888 = ORIENTED_EDGE ( 'NONE', *, *, #918, .T. ) ;
#889 = ADVANCED_FACE ( 'NONE', ( #3888 ), #3889, .T. ) ;
#890 = ADVANCED_FACE ( 'NONE', ( #3894 ), #3895, .T. ) ;
#891 = EDGE_CURVE ( 'NONE', #609, #981, #3903, .T. ) ;
#892 = ORIENTED_EDGE ( 'NONE', *, *, #1520, .F. ) ;
#893 = ORIENTED_EDGE ( 'NONE', *, *, #917, .F. ) ;
#894 = VERTEX_POINT ( 'NONE', #3960 ) ;
#895 = ORIENTED_EDGE ( 'NONE', *, *, #252, .T. ) ;
#896 = EDGE_CURVE ( 'NONE', #913, #929, #3968, .T. ) ;
#897 = EDGE_CURVE ( 'NONE', #3309, #5102, #3992, .T. ) ;
#898 = EDGE_CURVE ( 'NONE', #838, #864, #3997, .T. ) ;
#899 = ORIENTED_EDGE ( 'NONE', *, *, #1324, .F. ) ;
#900 = ORIENTED_EDGE ( 'NONE', *, *, #282, .T. ) ;
#901 = ADVANCED_FACE ( 'NONE', ( #4022 ), #4024, .T. ) ;
#902 = EDGE_CURVE ( 'NONE', #743, #619, #4039, .T. ) ;
#903 = ORIENTED_EDGE ( 'NONE', *, *, #931, .T. ) ;
#904 = ORIENTED_EDGE ( 'NONE', *, *, #729, .F. ) ;
#905 = ORIENTED_EDGE ( 'NONE', *, *, #2299, .F. ) ;
#906 = EDGE_CURVE ( 'NONE', #195, #1388, #4115, .T. ) ;
#907 = VERTEX_POINT ( 'NONE', #4128 ) ;
#908 = VERTEX_POINT ( 'NONE', #4129 ) ;
#909 = VERTEX_POINT ( 'NONE', #4139 ) ;
#910 = ORIENTED_EDGE ( 'NONE', *, *, #4439, .F. ) ;
#911 = ORIENTED_EDGE ( 'NONE', *, *, #797, .T. ) ;
#912 = EDGE_LOOP ( 'NONE', ( #949, #993, #3613, #4058 ) ) ;
#913 = VERTEX_POINT ( 'NONE', #4165 ) ;
#914 = VERTEX_POINT ( 'NONE', #4166 ) ;
#915 = ORIENTED_EDGE ( 'NONE', *, *, #73, .T. ) ;
#916 = ORIENTED_EDGE ( 'NONE', *, *, #5108, .T. ) ;
#917 = EDGE_CURVE ( 'NONE', #936, #1356, #4176, .T. ) ;
#918 = EDGE_CURVE ( 'NONE', #72, #659, #4180, .T. ) ;
#919 = VERTEX_POINT ( 'NONE', #4185 ) ;
#920 = ORIENTED_EDGE ( 'NONE', *, *, #349, .T. ) ;
#921 = ORIENTED_EDGE ( 'NONE', *, *, #946, .T. ) ;
#922 = EDGE_CURVE ( 'NONE', #61, #1040, #1403, .T. ) ;
#923 = EDGE_LOOP ( 'NONE', ( #1187, #527, #628, #692 ) ) ;
#924 = EDGE_CURVE ( 'NONE', #540, #620, #1408, .T. ) ;
#925 = ORIENTED_EDGE ( 'NONE', *, *, #667, .T. ) ;
#926 = ORIENTED_EDGE ( 'NONE', *, *, #955, .F. ) ;
#927 = ADVANCED_FACE ( 'NONE', ( #1428 ), #1429, .F. ) ;
#928 = ORIENTED_EDGE ( 'NONE', *, *, #984, .T. ) ;
#929 = VERTEX_POINT ( 'NONE', #1434 ) ;
#930 = ORIENTED_EDGE ( 'NONE', *, *, #960, .T. ) ;
#931 = EDGE_CURVE ( 'NONE', #854, #947, #1435, .T. ) ;
#932 = ORIENTED_EDGE ( 'NONE', *, *, #958, .T. ) ;
#933 = ORIENTED_EDGE ( 'NONE', *, *, #1381, .T. ) ;
#934 = ORIENTED_EDGE ( 'NONE', *, *, #441, .F. ) ;
#935 = ORIENTED_EDGE ( 'NONE', *, *, #4860, .F. ) ;
#936 = VERTEX_POINT ( 'NONE', #1441 ) ;
#937 = ORIENTED_EDGE ( 'NONE', *, *, #963, .T. ) ;
#938 = ADVANCED_FACE ( 'NONE', ( #1447 ), #1448, .T. ) ;
#939 = ORIENTED_EDGE ( 'NONE', *, *, #5078, .F. ) ;
#940 = ORIENTED_EDGE ( 'NONE', *, *, #244, .F. ) ;
#941 = ORIENTED_EDGE ( 'NONE', *, *, #760, .T. ) ;
#942 = ORIENTED_EDGE ( 'NONE', *, *, #5032, .T. ) ;
#943 = ADVANCED_FACE ( 'NONE', ( #1482 ), #1483, .F. ) ;
#944 = ORIENTED_EDGE ( 'NONE', *, *, #974, .F. ) ;
#945 = ORIENTED_EDGE ( 'NONE', *, *, #1608, .T. ) ;
#946 = EDGE_CURVE ( 'NONE', #887, #1257, #1500, .T. ) ;
#947 = VERTEX_POINT ( 'NONE', #1510 ) ;
#948 = ORIENTED_EDGE ( 'NONE', *, *, #103, .T. ) ;
#949 = ORIENTED_EDGE ( 'NONE', *, *, #156, .T. ) ;
#950 = ORIENTED_EDGE ( 'NONE', *, *, #979, .F. ) ;
#951 = EDGE_LOOP ( 'NONE', ( #683, #1205, #1218, #5132, #2, #547, #3029, #1277, #362, #389 ) ) ;
#952 = ORIENTED_EDGE ( 'NONE', *, *, #103, .F. ) ;
#953 = ORIENTED_EDGE ( 'NONE', *, *, #1308, .T. ) ;
#954 = ORIENTED_EDGE ( 'NONE', *, *, #1382, .T. ) ;
#955 = EDGE_CURVE ( 'NONE', #4544, #829, #1518, .T. ) ;
#956 = ORIENTED_EDGE ( 'NONE', *, *, #400, .T. ) ;
#957 = ORIENTED_EDGE ( 'NONE', *, *, #983, .F. ) ;
#958 = EDGE_CURVE ( 'NONE', #466, #40, #1526, .T. ) ;
#959 = EDGE_LOOP ( 'NONE', ( #1093, #1135, #1174, #1265 ) ) ;
#960 = EDGE_CURVE ( 'NONE', #894, #978, #1531, .T. ) ;
#961 = ORIENTED_EDGE ( 'NONE', *, *, #3683, .T. ) ;
#962 = ORIENTED_EDGE ( 'NONE', *, *, #726, .T. ) ;
#963 = EDGE_CURVE ( 'NONE', #171, #981, #1551, .T. ) ;
#964 = VERTEX_POINT ( 'NONE', #1555 ) ;
#965 = ORIENTED_EDGE ( 'NONE', *, *, #802, .F. ) ;
#966 = EDGE_LOOP ( 'NONE', ( #1008, #1046, #1124, #1171 ) ) ;
#967 = ORIENTED_EDGE ( 'NONE', *, *, #1163, .F. ) ;
#968 = EDGE_LOOP ( 'NONE', ( #1073, #566, #687, #180, #1014, #571 ) ) ;
#969 = EDGE_LOOP ( 'NONE', ( #485, #535, #621, #660 ) ) ;
#970 = ORIENTED_EDGE ( 'NONE', *, *, #982, .F. ) ;
#971 = EDGE_LOOP ( 'NONE', ( #996, #1099, #1183, #1286, #4099, #5014, #30, #144 ) ) ;
#972 = ORIENTED_EDGE ( 'NONE', *, *, #202, .F. ) ;
#973 = VERTEX_POINT ( 'NONE', #1595 ) ;
#974 = EDGE_CURVE ( 'NONE', #994, #1013, #1601, .T. ) ;
#975 = EDGE_LOOP ( 'NONE', ( #904, #940, #985, #3953 ) ) ;
#976 = ORIENTED_EDGE ( 'NONE', *, *, #1005, .T. ) ;
#977 = ORIENTED_EDGE ( 'NONE', *, *, #2779, .F. ) ;
#978 = VERTEX_POINT ( 'NONE', #1614 ) ;
#979 = EDGE_CURVE ( 'NONE', #466, #3718, #1615, .T. ) ;
#980 = ORIENTED_EDGE ( 'NONE', *, *, #759, .F. ) ;
#981 = VERTEX_POINT ( 'NONE', #1629 ) ;
#982 = EDGE_CURVE ( 'NONE', #124, #125, #1630, .T. ) ;
#983 = EDGE_CURVE ( 'NONE', #1006, #522, #1635, .T. ) ;
#984 = EDGE_CURVE ( 'NONE', #1138, #2739, #1639, .T. ) ;
#985 = ORIENTED_EDGE ( 'NONE', *, *, #471, .F. ) ;
#986 = ORIENTED_EDGE ( 'NONE', *, *, #1002, .T. ) ;
#987 = EDGE_CURVE ( 'NONE', #4117, #1111, #1653, .T. ) ;
#988 = EDGE_CURVE ( 'NONE', #654, #435, #1666, .T. ) ;
#989 = ADVANCED_FACE ( 'NONE', ( #1675 ), #1676, .T. ) ;
#990 = ADVANCED_FACE ( 'NONE', ( #1682 ), #1683, .T. ) ;
#991 = ORIENTED_EDGE ( 'NONE', *, *, #1267, .T. ) ;
#992 = ORIENTED_EDGE ( 'NONE', *, *, #1305, .F. ) ;
#993 = ORIENTED_EDGE ( 'NONE', *, *, #1009, .F. ) ;
#994 = VERTEX_POINT ( 'NONE', #1693 ) ;
#995 = ORIENTED_EDGE ( 'NONE', *, *, #4330, .F. ) ;
#996 = ORIENTED_EDGE ( 'NONE', *, *, #1026, .F. ) ;
#997 = ORIENTED_EDGE ( 'NONE', *, *, #834, .F. ) ;
#998 = ADVANCED_FACE ( 'NONE', ( #1695 ), #1696, .T. ) ;
#999 = EDGE_CURVE ( 'NONE', #1018, #684, #1701, .T. ) ;
#1000 = ADVANCED_FACE ( 'NONE', ( #1707, #1708 ), #1709, .F. ) ;
#1001 = ORIENTED_EDGE ( 'NONE', *, *, #511, .F. ) ;
#1002 = EDGE_CURVE ( 'NONE', #947, #3273, #1721, .T. ) ;
#1003 = ORIENTED_EDGE ( 'NONE', *, *, #487, .F. ) ;
#1004 = EDGE_LOOP ( 'NONE', ( #577, #642, #710, #1055 ) ) ;
#1005 = EDGE_CURVE ( 'NONE', #4983, #2057, #1736, .T. ) ;
#1006 = VERTEX_POINT ( 'NONE', #1740 ) ;
#1007 = ADVANCED_FACE ( 'NONE', ( #1741 ), #1742, .T. ) ;
#1008 = ORIENTED_EDGE ( 'NONE', *, *, #853, .T. ) ;
#1009 = EDGE_CURVE ( 'NONE', #1211, #93, #1759, .T. ) ;
#1010 = ORIENTED_EDGE ( 'NONE', *, *, #1021, .F. ) ;
#1011 = VERTEX_POINT ( 'NONE', #1770 ) ;
#1012 = ORIENTED_EDGE ( 'NONE', *, *, #176, .T. ) ;
#1013 = VERTEX_POINT ( 'NONE', #1771 ) ;
#1014 = ORIENTED_EDGE ( 'NONE', *, *, #987, .F. ) ;
#1015 = EDGE_LOOP ( 'NONE', ( #1194, #1249, #1346, #1455, #1052, #1136, #1208, #1266 ) ) ;
#1016 = ADVANCED_FACE ( 'NONE', ( #1787 ), #1788, .F. ) ;
#1017 = ORIENTED_EDGE ( 'NONE', *, *, #1044, .T. ) ;
#1018 = VERTEX_POINT ( 'NONE', #1799 ) ;
#1019 = ORIENTED_EDGE ( 'NONE', *, *, #2074, .F. ) ;
#1020 = EDGE_LOOP ( 'NONE', ( #1059, #1105 ) ) ;
#1021 = EDGE_CURVE ( 'NONE', #3718, #1203, #1809, .T. ) ;
#1022 = ADVANCED_FACE ( 'NONE', ( #1813 ), #1814, .F. ) ;
#1023 = ORIENTED_EDGE ( 'NONE', *, *, #1050, .F. ) ;
#1024 = ORIENTED_EDGE ( 'NONE', *, *, #1139, .F. ) ;
#1025 = EDGE_LOOP ( 'NONE', ( #1074, #1109, #1180, #1236 ) ) ;
#1026 = EDGE_CURVE ( 'NONE', #1043, #1061, #1826, .T. ) ;
#1027 = ORIENTED_EDGE ( 'NONE', *, *, #1325, .T. ) ;
#1028 = ADVANCED_FACE ( 'NONE', ( #1830 ), #1831, .F. ) ;
#1029 = VERTEX_POINT ( 'NONE', #1850 ) ;
#1030 = ADVANCED_FACE ( 'NONE', ( #1851 ), #1852, .T. ) ;
#1031 = ORIENTED_EDGE ( 'NONE', *, *, #1060, .T. ) ;
#1032 = VERTEX_POINT ( 'NONE', #1857 ) ;
#1033 = ORIENTED_EDGE ( 'NONE', *, *, #5013, .T. ) ;
#1034 = ORIENTED_EDGE ( 'NONE', *, *, #309, .F. ) ;
#1035 = ORIENTED_EDGE ( 'NONE', *, *, #2107, .T. ) ;
#1036 = EDGE_LOOP ( 'NONE', ( #915, #957, #1042, #1108 ) ) ;
#1037 = ORIENTED_EDGE ( 'NONE', *, *, #1067, .F. ) ;
#1038 = VERTEX_POINT ( 'NONE', #1877 ) ;
#1039 = ORIENTED_EDGE ( 'NONE', *, *, #1056, .F. ) ;
#1040 = VERTEX_POINT ( 'NONE', #1878 ) ;
#1041 = EDGE_LOOP ( 'NONE', ( #3098, #3524, #88, #143, #1012, #1051, #1091, #1132, #1190, #1239, #1289, #1343 ) ) ;
#1042 = ORIENTED_EDGE ( 'NONE', *, *, #1068, .F. ) ;
#1043 = VERTEX_POINT ( 'NONE', #1882 ) ;
#1044 = EDGE_CURVE ( 'NONE', #978, #1064, #1892, .T. ) ;
#1045 = EDGE_CURVE ( 'NONE', #1040, #907, #1896, .T. ) ;
#1046 = ORIENTED_EDGE ( 'NONE', *, *, #1075, .F. ) ;
#1047 = ORIENTED_EDGE ( 'NONE', *, *, #1088, .T. ) ;
#1048 = VERTEX_POINT ( 'NONE', #1902 ) ;
#1049 = ORIENTED_EDGE ( 'NONE', *, *, #1070, .F. ) ;
#1050 = EDGE_CURVE ( 'NONE', #1066, #981, #1907, .T. ) ;
#1051 = ORIENTED_EDGE ( 'NONE', *, *, #601, .T. ) ;
#1052 = ORIENTED_EDGE ( 'NONE', *, *, #1077, .F. ) ;
#1053 = EDGE_LOOP ( 'NONE', ( #1090, #1125, #1185, #5094 ) ) ;
#1054 = ORIENTED_EDGE ( 'NONE', *, *, #1080, .T. ) ;
#1055 = ORIENTED_EDGE ( 'NONE', *, *, #1086, .T. ) ;
#1056 = EDGE_CURVE ( 'NONE', #5123, #435, #1925, .T. ) ;
#1057 = VERTEX_POINT ( 'NONE', #1933 ) ;
#1058 = ORIENTED_EDGE ( 'NONE', *, *, #17, .T. ) ;
#1059 = ORIENTED_EDGE ( 'NONE', *, *, #825, .F. ) ;
#1060 = EDGE_CURVE ( 'NONE', #40, #909, #1934, .T. ) ;
#1061 = VERTEX_POINT ( 'NONE', #1939 ) ;
#1062 = ORIENTED_EDGE ( 'NONE', *, *, #369, .F. ) ;
#1063 = EDGE_LOOP ( 'NONE', ( #725, #812, #903, #986, #3701, #4633, #5125, #77 ) ) ;
#1064 = VERTEX_POINT ( 'NONE', #1954 ) ;
#1065 = ORIENTED_EDGE ( 'NONE', *, *, #1050, .T. ) ;
#1066 = VERTEX_POINT ( 'NONE', #1962 ) ;
#1067 = EDGE_CURVE ( 'NONE', #589, #588, #1963, .T. ) ;
#1068 = EDGE_CURVE ( 'NONE', #755, #1006, #1981, .T. ) ;
#1069 = EDGE_LOOP ( 'NONE', ( #366, #446, #490, #572, #625, #266, #326, #439 ) ) ;
#1070 = EDGE_CURVE ( 'NONE', #5083, #374, #1987, .T. ) ;
#1071 = EDGE_LOOP ( 'NONE', ( #1140, #1219 ) ) ;
#1072 = ORIENTED_EDGE ( 'NONE', *, *, #1098, .T. ) ;
#1073 = ORIENTED_EDGE ( 'NONE', *, *, #441, .T. ) ;
#1074 = ORIENTED_EDGE ( 'NONE', *, *, #3487, .T. ) ;
#1075 = EDGE_CURVE ( 'NONE', #1048, #1057, #2000, .T. ) ;
#1076 = EDGE_LOOP ( 'NONE', ( #510, #563, #614, #291 ) ) ;
#1077 = EDGE_CURVE ( 'NONE', #1096, #1011, #2009, .T. ) ;
#1078 = ADVANCED_FACE ( 'NONE', ( #2013 ), #2014, .T. ) ;
#1079 = ORIENTED_EDGE ( 'NONE', *, *, #5135, .F. ) ;
#1080 = EDGE_CURVE ( 'NONE', #994, #5123, #2031, .T. ) ;
#1081 = ORIENTED_EDGE ( 'NONE', *, *, #134, .T. ) ;
#1082 = ORIENTED_EDGE ( 'NONE', *, *, #2263, .F. ) ;
#1083 = EDGE_CURVE ( 'NONE', #1326, #355, #2035, .T. ) ;
#1084 = ORIENTED_EDGE ( 'NONE', *, *, #979, .T. ) ;
#1085 = EDGE_LOOP ( 'NONE', ( #2938, #676, #708 ) ) ;
#1086 = EDGE_CURVE ( 'NONE', #1018, #445, #2048, .T. ) ;
#1087 = VERTEX_POINT ( 'NONE', #2075 ) ;
#1088 = EDGE_CURVE ( 'NONE', #459, #620, #2076, .T. ) ;
#1089 = ADVANCED_FACE ( 'NONE', ( #2081 ), #2082, .T. ) ;
#1090 = ORIENTED_EDGE ( 'NONE', *, *, #2531, .T. ) ;
#1091 = ORIENTED_EDGE ( 'NONE', *, *, #3254, .T. ) ;
#1092 = ORIENTED_EDGE ( 'NONE', *, *, #1389, .T. ) ;
#1093 = ORIENTED_EDGE ( 'NONE', *, *, #865, .T. ) ;
#1094 = ORIENTED_EDGE ( 'NONE', *, *, #1113, .T. ) ;
#1095 = VERTEX_POINT ( 'NONE', #2098 ) ;
#1096 = VERTEX_POINT ( 'NONE', #2099 ) ;
#1097 = ADVANCED_FACE ( 'NONE', ( #2100 ), #2101, .F. ) ;
#1098 = EDGE_CURVE ( 'NONE', #1032, #1115, #2128, .T. ) ;
#1099 = ORIENTED_EDGE ( 'NONE', *, *, #1120, .F. ) ;
#1100 = ORIENTED_EDGE ( 'NONE', *, *, #3187, .F. ) ;
#1101 = ORIENTED_EDGE ( 'NONE', *, *, #1126, .T. ) ;
#1102 = EDGE_CURVE ( 'NONE', #1148, #670, #2150, .T. ) ;
#1103 = ORIENTED_EDGE ( 'NONE', *, *, #1133, .T. ) ;
#1104 = ORIENTED_EDGE ( 'NONE', *, *, #1137, .T. ) ;
#1105 = ORIENTED_EDGE ( 'NONE', *, *, #897, .F. ) ;
#1106 = EDGE_CURVE ( 'NONE', #1211, #1127, #2184, .T. ) ;
#1107 = EDGE_CURVE ( 'NONE', #95, #125, #2195, .T. ) ;
#1108 = ORIENTED_EDGE ( 'NONE', *, *, #744, .T. ) ;
#1109 = ORIENTED_EDGE ( 'NONE', *, *, #1141, .F. ) ;
#1110 = VERTEX_POINT ( 'NONE', #2207 ) ;
#1111 = VERTEX_POINT ( 'NONE', #2219 ) ;
#1112 = EDGE_LOOP ( 'NONE', ( #1155, #1202, #1256, #1298 ) ) ;
#1113 = EDGE_CURVE ( 'NONE', #445, #212, #2233, .T. ) ;
#1114 = EDGE_LOOP ( 'NONE', ( #1214, #1333, #1844, #2759 ) ) ;
#1115 = VERTEX_POINT ( 'NONE', #2238 ) ;
#1116 = ORIENTED_EDGE ( 'NONE', *, *, #1146, .F. ) ;
#1117 = ADVANCED_FACE ( 'NONE', ( #2276 ), #2277, .T. ) ;
#1118 = ADVANCED_FACE ( 'NONE', ( #2296 ), #2297, .F. ) ;
#1119 = EDGE_CURVE ( 'NONE', #3031, #331, #2314, .T. ) ;
#1120 = EDGE_CURVE ( 'NONE', #1144, #1043, #2327, .T. ) ;
#1121 = ORIENTED_EDGE ( 'NONE', *, *, #763, .T. ) ;
#1122 = ADVANCED_FACE ( 'NONE', ( #2354 ), #2355, .T. ) ;
#1123 = ORIENTED_EDGE ( 'NONE', *, *, #1152, .T. ) ;
#1124 = ORIENTED_EDGE ( 'NONE', *, *, #254, .F. ) ;
#1125 = ORIENTED_EDGE ( 'NONE', *, *, #56, .F. ) ;
#1126 = EDGE_CURVE ( 'NONE', #1064, #877, #2366, .T. ) ;
#1127 = VERTEX_POINT ( 'NONE', #2370 ) ;
#1128 = ORIENTED_EDGE ( 'NONE', *, *, #1139, .T. ) ;
#1129 = ORIENTED_EDGE ( 'NONE', *, *, #1154, .F. ) ;
#1130 = ADVANCED_FACE ( 'NONE', ( #2375 ), #2376, .F. ) ;
#1131 = ORIENTED_EDGE ( 'NONE', *, *, #1161, .F. ) ;
#1132 = ORIENTED_EDGE ( 'NONE', *, *, #1327, .T. ) ;
#1133 = EDGE_CURVE ( 'NONE', #1066, #276, #2393, .T. ) ;
#1134 = ORIENTED_EDGE ( 'NONE', *, *, #5099, .T. ) ;
#1135 = ORIENTED_EDGE ( 'NONE', *, *, #984, .F. ) ;
#1136 = ORIENTED_EDGE ( 'NONE', *, *, #1165, .T. ) ;
#1137 = EDGE_CURVE ( 'NONE', #981, #1156, #2408, .T. ) ;
#1138 = VERTEX_POINT ( 'NONE', #2413 ) ;
#1139 = EDGE_CURVE ( 'NONE', #1269, #466, #2414, .T. ) ;
#1140 = ORIENTED_EDGE ( 'NONE', *, *, #1170, .F. ) ;
#1141 = EDGE_CURVE ( 'NONE', #1644, #839, #2441, .T. ) ;
#1142 = ORIENTED_EDGE ( 'NONE', *, *, #1168, .F. ) ;
#1143 = EDGE_LOOP ( 'NONE', ( #391, #428, #1150, #1215 ) ) ;
#1144 = VERTEX_POINT ( 'NONE', #2470 ) ;
#1145 = ORIENTED_EDGE ( 'NONE', *, *, #1167, .T. ) ;
#1146 = EDGE_CURVE ( 'NONE', #854, #25, #2487, .T. ) ;
#1147 = EDGE_LOOP ( 'NONE', ( #1206, #1264 ) ) ;
#1148 = VERTEX_POINT ( 'NONE', #2514 ) ;
#1149 = EDGE_CURVE ( 'NONE', #250, #648, #2520, .T. ) ;
#1150 = ORIENTED_EDGE ( 'NONE', *, *, #238, .T. ) ;
#1151 = EDGE_CURVE ( 'NONE', #674, #3809, #2532, .T. ) ;
#1152 = EDGE_CURVE ( 'NONE', #718, #662, #2537, .T. ) ;
#1153 = ORIENTED_EDGE ( 'NONE', *, *, #68, .F. ) ;
#1154 = EDGE_CURVE ( 'NONE', #183, #626, #2542, .T. ) ;
#1155 = ORIENTED_EDGE ( 'NONE', *, *, #1332, .F. ) ;
#1156 = VERTEX_POINT ( 'NONE', #2549 ) ;
#1157 = ORIENTED_EDGE ( 'NONE', *, *, #1182, .T. ) ;
#1158 = ORIENTED_EDGE ( 'NONE', *, *, #1181, .F. ) ;
#1159 = ORIENTED_EDGE ( 'NONE', *, *, #1184, .T. ) ;
#1160 = EDGE_LOOP ( 'NONE', ( #1204, #1302, #1558, #2474, #3396, #750 ) ) ;
#1161 = EDGE_CURVE ( 'NONE', #1176, #589, #2584, .T. ) ;
#1162 = VERTEX_POINT ( 'NONE', #2588 ) ;
#1163 = EDGE_CURVE ( 'NONE', #1177, #929, #2589, .T. ) ;
#1164 = ADVANCED_FACE ( 'NONE', ( #2600 ), #2601, .T. ) ;
#1165 = EDGE_CURVE ( 'NONE', #1096, #1177, #2606, .T. ) ;
#1166 = ORIENTED_EDGE ( 'NONE', *, *, #1196, .F. ) ;
#1167 = EDGE_CURVE ( 'NONE', #1644, #1189, #2661, .T. ) ;
#1168 = EDGE_CURVE ( 'NONE', #909, #418, #2665, .T. ) ;
#1169 = ORIENTED_EDGE ( 'NONE', *, *, #1200, .T. ) ;
#1170 = EDGE_CURVE ( 'NONE', #5111, #719, #2672, .T. ) ;
#1171 = ORIENTED_EDGE ( 'NONE', *, *, #234, .T. ) ;
#1172 = EDGE_CURVE ( 'NONE', #1186, #919, #2703, .T. ) ;
#1173 = ORIENTED_EDGE ( 'NONE', *, *, #946, .F. ) ;
#1174 = ORIENTED_EDGE ( 'NONE', *, *, #1207, .F. ) ;
#1175 = EDGE_LOOP ( 'NONE', ( #741, #816, #879, #933 ) ) ;
#1176 = VERTEX_POINT ( 'NONE', #2762 ) ;
#1177 = VERTEX_POINT ( 'NONE', #2763 ) ;
#1178 = ORIENTED_EDGE ( 'NONE', *, *, #680, .F. ) ;
#1179 = ORIENTED_EDGE ( 'NONE', *, *, #1195, .T. ) ;
#1180 = ORIENTED_EDGE ( 'NONE', *, *, #1437, .F. ) ;
#1181 = EDGE_CURVE ( 'NONE', #1209, #684, #2815, .T. ) ;
#1182 = EDGE_CURVE ( 'NONE', #1115, #1211, #2821, .T. ) ;
#1183 = ORIENTED_EDGE ( 'NONE', *, *, #1220, .F. ) ;
#1184 = EDGE_CURVE ( 'NONE', #353, #1212, #2832, .T. ) ;
#1185 = ORIENTED_EDGE ( 'NONE', *, *, #4913, .F. ) ;
#1186 = VERTEX_POINT ( 'NONE', #2842 ) ;
#1187 = ORIENTED_EDGE ( 'NONE', *, *, #501, .T. ) ;
#1188 = EDGE_LOOP ( 'NONE', ( #1235, #1281, #1360, #1522 ) ) ;
#1189 = VERTEX_POINT ( 'NONE', #2856 ) ;
#1190 = ORIENTED_EDGE ( 'NONE', *, *, #168, .T. ) ;
#1191 = ORIENTED_EDGE ( 'NONE', *, *, #364, .T. ) ;
#1192 = EDGE_LOOP ( 'NONE', ( #51, #105, #160, #698 ) ) ;
#1193 = ORIENTED_EDGE ( 'NONE', *, *, #231, .T. ) ;
#1194 = ORIENTED_EDGE ( 'NONE', *, *, #5152, .F. ) ;
#1195 = EDGE_CURVE ( 'NONE', #626, #1269, #2907, .T. ) ;
#1196 = EDGE_CURVE ( 'NONE', #417, #743, #2911, .T. ) ;
#1197 = EDGE_CURVE ( 'NONE', #1162, #587, #2915, .T. ) ;
#1198 = ORIENTED_EDGE ( 'NONE', *, *, #1228, .F. ) ;
#1199 = ORIENTED_EDGE ( 'NONE', *, *, #434, .T. ) ;
#1200 = EDGE_CURVE ( 'NONE', #1127, #1222, #2934, .T. ) ;
#1201 = ORIENTED_EDGE ( 'NONE', *, *, #26, .F. ) ;
#1202 = ORIENTED_EDGE ( 'NONE', *, *, #732, .F. ) ;
#1203 = VERTEX_POINT ( 'NONE', #2941 ) ;
#1204 = ORIENTED_EDGE ( 'NONE', *, *, #1231, .T. ) ;
#1205 = ORIENTED_EDGE ( 'NONE', *, *, #1765, .T. ) ;
#1206 = ORIENTED_EDGE ( 'NONE', *, *, #3989, .F. ) ;
#1207 = EDGE_CURVE ( 'NONE', #3614, #1138, #2984, .T. ) ;
#1208 = ORIENTED_EDGE ( 'NONE', *, *, #1163, .T. ) ;
#1209 = VERTEX_POINT ( 'NONE', #2989 ) ;
#1210 = ADVANCED_FACE ( 'NONE', ( #2990 ), #2991, .F. ) ;
#1211 = VERTEX_POINT ( 'NONE', #2998 ) ;
#1212 = VERTEX_POINT ( 'NONE', #3015 ) ;
#1213 = ORIENTED_EDGE ( 'NONE', *, *, #1305, .T. ) ;
#1214 = ORIENTED_EDGE ( 'NONE', *, *, #1247, .F. ) ;
#1215 = ORIENTED_EDGE ( 'NONE', *, *, #711, .F. ) ;
#1216 = ADVANCED_FACE ( 'NONE', ( #3027 ), #3033, .F. ) ;
#1217 = ADVANCED_FACE ( 'NONE', ( #3043 ), #3044, .T. ) ;
#1218 = ORIENTED_EDGE ( 'NONE', *, *, #1045, .F. ) ;
#1219 = ORIENTED_EDGE ( 'NONE', *, *, #4080, .F. ) ;
#1220 = EDGE_CURVE ( 'NONE', #1242, #1144, #3058, .T. ) ;
#1221 = ORIENTED_EDGE ( 'NONE', *, *, #1060, .F. ) ;
#1222 = VERTEX_POINT ( 'NONE', #3102 ) ;
#1223 = ORIENTED_EDGE ( 'NONE', *, *, #1267, .F. ) ;
#1224 = ORIENTED_EDGE ( 'NONE', *, *, #204, .F. ) ;
#1225 = EDGE_CURVE ( 'NONE', #1821, #829, #3110, .T. ) ;
#1226 = EDGE_CURVE ( 'NONE', #973, #81, #3135, .T. ) ;
#1227 = ADVANCED_FACE ( 'NONE', ( #3139 ), #3140, .T. ) ;
#1228 = EDGE_CURVE ( 'NONE', #1258, #1156, #3145, .T. ) ;
#1229 = ORIENTED_EDGE ( 'NONE', *, *, #5108, .F. ) ;
#1230 = ADVANCED_FACE ( 'NONE', ( #3161 ), #3162, .T. ) ;
#1231 = EDGE_CURVE ( 'NONE', #1348, #1263, #3167, .T. ) ;
#1232 = ADVANCED_FACE ( 'NONE', ( #3173, #3174 ), #3175, .F. ) ;
#1233 = ORIENTED_EDGE ( 'NONE', *, *, #2418, .F. ) ;
#1234 = ORIENTED_EDGE ( 'NONE', *, *, #689, .F. ) ;
#1235 = ORIENTED_EDGE ( 'NONE', *, *, #931, .F. ) ;
#1236 = ORIENTED_EDGE ( 'NONE', *, *, #611, .T. ) ;
#1237 = EDGE_LOOP ( 'NONE', ( #239, #2021, #126, #2334, #956, #831, #268, #5095 ) ) ;
#1238 = ORIENTED_EDGE ( 'NONE', *, *, #1272, .T. ) ;
#1239 = ORIENTED_EDGE ( 'NONE', *, *, #344, .T. ) ;
#1240 = EDGE_CURVE ( 'NONE', #4348, #4581, #3200, .T. ) ;
#1241 = EDGE_LOOP ( 'NONE', ( #1284, #1418, #2491, #3237 ) ) ;
#1242 = VERTEX_POINT ( 'NONE', #3210 ) ;
#1243 = ORIENTED_EDGE ( 'NONE', *, *, #1274, .T. ) ;
#1244 = ORIENTED_EDGE ( 'NONE', *, *, #777, .T. ) ;
#1245 = ORIENTED_EDGE ( 'NONE', *, *, #2686, .F. ) ;
#1246 = ORIENTED_EDGE ( 'NONE', *, *, #1276, .F. ) ;
#1247 = EDGE_CURVE ( 'NONE', #1271, #1283, #3239, .T. ) ;
#1248 = EDGE_CURVE ( 'NONE', #914, #670, #3243, .T. ) ;
#1249 = ORIENTED_EDGE ( 'NONE', *, *, #1275, .F. ) ;
#1250 = EDGE_LOOP ( 'NONE', ( #1321, #695, #1123, #740, #5079, #1179, #1128, #932, #1031, #941 ) ) ;
#1251 = EDGE_LOOP ( 'NONE', ( #1312, #1370, #1898, #2352 ) ) ;
#1252 = EDGE_LOOP ( 'NONE', ( #727, #756, #795, #833 ) ) ;
#1253 = ORIENTED_EDGE ( 'NONE', *, *, #400, .F. ) ;
#1254 = EDGE_LOOP ( 'NONE', ( #2652, #3117, #3559, #4309 ) ) ;
#1255 = ADVANCED_FACE ( 'NONE', ( #3299 ), #3300, .F. ) ;
#1256 = ORIENTED_EDGE ( 'NONE', *, *, #593, .F. ) ;
#1257 = VERTEX_POINT ( 'NONE', #3306 ) ;
#1258 = VERTEX_POINT ( 'NONE', #3320 ) ;
#1259 = ORIENTED_EDGE ( 'NONE', *, *, #1106, .T. ) ;
#1260 = ORIENTED_EDGE ( 'NONE', *, *, #1282, .T. ) ;
#1261 = VERTEX_POINT ( 'NONE', #3325 ) ;
#1262 = ORIENTED_EDGE ( 'NONE', *, *, #1287, .T. ) ;
#1263 = VERTEX_POINT ( 'NONE', #3327 ) ;
#1264 = ORIENTED_EDGE ( 'NONE', *, *, #1288, .T. ) ;
#1265 = ORIENTED_EDGE ( 'NONE', *, *, #3398, .F. ) ;
#1266 = ORIENTED_EDGE ( 'NONE', *, *, #1290, .T. ) ;
#1267 = EDGE_CURVE ( 'NONE', #1351, #1176, #3328, .T. ) ;
#1268 = EDGE_LOOP ( 'NONE', ( #494, #1081, #3666, #5141, #1369, #1295, #5107, #5133 ) ) ;
#1269 = VERTEX_POINT ( 'NONE', #3338 ) ;
#1270 = EDGE_LOOP ( 'NONE', ( #848, #3576, #794, #1224 ) ) ;
#1271 = VERTEX_POINT ( 'NONE', #3385 ) ;
#1272 = EDGE_CURVE ( 'NONE', #1189, #1291, #3390, .T. ) ;
#1273 = ORIENTED_EDGE ( 'NONE', *, *, #1300, .T. ) ;
#1274 = EDGE_CURVE ( 'NONE', #1177, #1297, #3461, .T. ) ;
#1275 = EDGE_CURVE ( 'NONE', #194, #1730, #3466, .T. ) ;
#1276 = EDGE_CURVE ( 'NONE', #1299, #1203, #3475, .T. ) ;
#1277 = ORIENTED_EDGE ( 'NONE', *, *, #1308, .F. ) ;
#1278 = EDGE_LOOP ( 'NONE', ( #1329, #1380, #3292, #3721 ) ) ;
#1279 = EDGE_CURVE ( 'NONE', #207, #805, #3507, .T. ) ;
#1280 = ADVANCED_FACE ( 'NONE', ( #3534 ), #3535, .F. ) ;
#1281 = ORIENTED_EDGE ( 'NONE', *, *, #1146, .T. ) ;
#1282 = EDGE_CURVE ( 'NONE', #1209, #3846, #3547, .T. ) ;
#1283 = VERTEX_POINT ( 'NONE', #3556 ) ;
#1284 = ORIENTED_EDGE ( 'NONE', *, *, #1319, .T. ) ;
#1285 = ORIENTED_EDGE ( 'NONE', *, *, #1168, .T. ) ;
#1286 = ORIENTED_EDGE ( 'NONE', *, *, #1318, .F. ) ;
#1287 = EDGE_CURVE ( 'NONE', #1212, #1314, #3557, .T. ) ;
#1288 = EDGE_CURVE ( 'NONE', #3273, #4209, #3569, .T. ) ;
#1289 = ORIENTED_EDGE ( 'NONE', *, *, #1149, .T. ) ;
#1290 = EDGE_CURVE ( 'NONE', #929, #1326, #3580, .T. ) ;
#1291 = VERTEX_POINT ( 'NONE', #3589 ) ;
#1292 = ORIENTED_EDGE ( 'NONE', *, *, #1323, .F. ) ;
#1293 = ORIENTED_EDGE ( 'NONE', *, *, #1454, .T. ) ;
#1294 = VERTEX_POINT ( 'NONE', #3607 ) ;
#1295 = ORIENTED_EDGE ( 'NONE', *, *, #624, .T. ) ;
#1296 = ORIENTED_EDGE ( 'NONE', *, *, #1330, .T. ) ;
#1297 = VERTEX_POINT ( 'NONE', #3641 ) ;
#1298 = ORIENTED_EDGE ( 'NONE', *, *, #880, .F. ) ;
#1299 = VERTEX_POINT ( 'NONE', #3642 ) ;
#1300 = EDGE_CURVE ( 'NONE', #1222, #1322, #3647, .T. ) ;
#1301 = ORIENTED_EDGE ( 'NONE', *, *, #830, .T. ) ;
#1302 = ORIENTED_EDGE ( 'NONE', *, *, #1332, .T. ) ;
#1303 = ADVANCED_FACE ( 'NONE', ( #3656 ), #3657, .T. ) ;
#1304 = ADVANCED_FACE ( 'NONE', ( #3662 ), #3663, .T. ) ;
#1305 = EDGE_CURVE ( 'NONE', #620, #540, #3674, .T. ) ;
#1306 = ORIENTED_EDGE ( 'NONE', *, *, #1340, .T. ) ;
#1307 = ORIENTED_EDGE ( 'NONE', *, *, #310, .T. ) ;
#1308 = EDGE_CURVE ( 'NONE', #636, #973, #3689, .T. ) ;
#1309 = ADVANCED_FACE ( 'NONE', ( #3693 ), #3694, .T. ) ;
#1310 = EDGE_LOOP ( 'NONE', ( #895, #937, #1023, #1103 ) ) ;
#1311 = EDGE_LOOP ( 'NONE', ( #4755, #5117, #12, #102 ) ) ;
#1312 = ORIENTED_EDGE ( 'NONE', *, *, #111, .T. ) ;
#1313 = ADVANCED_FACE ( 'NONE', ( #3717 ), #3722, .F. ) ;
#1314 = VERTEX_POINT ( 'NONE', #3743 ) ;
#1315 = ORIENTED_EDGE ( 'NONE', *, *, #1352, .F. ) ;
#1316 = ADVANCED_FACE ( 'NONE', ( #3750 ), #3751, .T. ) ;
#1317 = EDGE_LOOP ( 'NONE', ( #1383, #1783, #2228, #2976 ) ) ;
#1318 = EDGE_CURVE ( 'NONE', #1345, #1242, #3776, .T. ) ;
#1319 = EDGE_CURVE ( 'NONE', #552, #1348, #3787, .T. ) ;
#1320 = ORIENTED_EDGE ( 'NONE', *, *, #2418, .T. ) ;
#1321 = ORIENTED_EDGE ( 'NONE', *, *, #1331, .T. ) ;
#1322 = VERTEX_POINT ( 'NONE', #3814 ) ;
#1323 = EDGE_CURVE ( 'NONE', #445, #662, #3815, .T. ) ;
#1324 = EDGE_CURVE ( 'NONE', #150, #559, #3836, .T. ) ;
#1325 = EDGE_CURVE ( 'NONE', #81, #1356, #3841, .T. ) ;
#1326 = VERTEX_POINT ( 'NONE', #3857 ) ;
#1327 = EDGE_CURVE ( 'NONE', #1357, #2722, #3858, .T. ) ;
#1328 = VERTEX_POINT ( 'NONE', #3862 ) ;
#1329 = ORIENTED_EDGE ( 'NONE', *, *, #819, .T. ) ;
#1330 = EDGE_CURVE ( 'NONE', #1258, #1066, #3878, .T. ) ;
#1331 = EDGE_CURVE ( 'NONE', #609, #618, #3884, .T. ) ;
#1332 = EDGE_CURVE ( 'NONE', #1263, #1367, #3923, .T. ) ;
#1333 = ORIENTED_EDGE ( 'NONE', *, *, #1372, .F. ) ;
#1334 = EDGE_LOOP ( 'NONE', ( #899, #1244, #789, #723 ) ) ;
#1335 = EDGE_LOOP ( 'NONE', ( #1387, #1801 ) ) ;
#1336 = ADVANCED_FACE ( 'NONE', ( #3935 ), #3937, .T. ) ;
#1337 = ORIENTED_EDGE ( 'NONE', *, *, #3633, .T. ) ;
#1338 = ORIENTED_EDGE ( 'NONE', *, *, #1279, .F. ) ;
#1339 = ORIENTED_EDGE ( 'NONE', *, *, #422, .T. ) ;
#1340 = EDGE_CURVE ( 'NONE', #1358, #1032, #3947, .T. ) ;
#1341 = ORIENTED_EDGE ( 'NONE', *, *, #1374, .T. ) ;
#1342 = ORIENTED_EDGE ( 'NONE', *, *, #393, .F. ) ;
#1343 = ORIENTED_EDGE ( 'NONE', *, *, #2778, .T. ) ;
#1344 = EDGE_LOOP ( 'NONE', ( #1417, #1881, #2760, #261 ) ) ;
#1345 = VERTEX_POINT ( 'NONE', #3982 ) ;
#1346 = ORIENTED_EDGE ( 'NONE', *, *, #167, .T. ) ;
#1347 = ORIENTED_EDGE ( 'NONE', *, *, #1379, .T. ) ;
#1348 = VERTEX_POINT ( 'NONE', #3991 ) ;
#1349 = ADVANCED_FACE ( 'NONE', ( #4001 ), #4002, .T. ) ;
#1350 = ORIENTED_EDGE ( 'NONE', *, *, #1381, .F. ) ;
#1351 = VERTEX_POINT ( 'NONE', #4008 ) ;
#1352 = EDGE_CURVE ( 'NONE', #1373, #1257, #4009, .T. ) ;
#1353 = EDGE_LOOP ( 'NONE', ( #1609, #114, #159, #208 ) ) ;
#1354 = EDGE_LOOP ( 'NONE', ( #173, #222, #5087, #679 ) ) ;
#1355 = ADVANCED_FACE ( 'NONE', ( #4044 ), #4045, .F. ) ;
#1356 = VERTEX_POINT ( 'NONE', #4054 ) ;
#1357 = VERTEX_POINT ( 'NONE', #4072 ) ;
#1358 = VERTEX_POINT ( 'NONE', #4082 ) ;
#1359 = ORIENTED_EDGE ( 'NONE', *, *, #898, .F. ) ;
#1360 = ORIENTED_EDGE ( 'NONE', *, *, #4, .F. ) ;
#1361 = ADVANCED_FACE ( 'NONE', ( #4084 ), #4085, .T. ) ;
#1362 = ORIENTED_EDGE ( 'NONE', *, *, #2633, .T. ) ;
#1363 = VERTEX_POINT ( 'NONE', #4090 ) ;
#1364 = EDGE_LOOP ( 'NONE', ( #145, #196, #304, #357 ) ) ;
#1365 = ORIENTED_EDGE ( 'NONE', *, *, #1195, .F. ) ;
#1366 = ORIENTED_EDGE ( 'NONE', *, *, #1437, .T. ) ;
#1367 = VERTEX_POINT ( 'NONE', #4130 ) ;
#1368 = ORIENTED_EDGE ( 'NONE', *, *, #1389, .F. ) ;
#1369 = ORIENTED_EDGE ( 'NONE', *, *, #511, .T. ) ;
#1370 = ORIENTED_EDGE ( 'NONE', *, *, #1454, .F. ) ;
#1371 = EDGE_LOOP ( 'NONE', ( #900, #2994, #4205, #2471 ) ) ;
#1372 = EDGE_CURVE ( 'NONE', #1416, #1271, #4167, .T. ) ;
#1373 = VERTEX_POINT ( 'NONE', #4184 ) ;
#1374 = EDGE_CURVE ( 'NONE', #1291, #213, #4186, .T. ) ;
#1375 = EDGE_CURVE ( 'NONE', #805, #112, #4191, .T. ) ;
#1376 = VERTEX_POINT ( 'NONE', #4195 ) ;
#1377 = ORIENTED_EDGE ( 'NONE', *, *, #1086, .F. ) ;
#1378 = ORIENTED_EDGE ( 'NONE', *, *, #2003, .F. ) ;
#1379 = EDGE_CURVE ( 'NONE', #1297, #913, #4220, .T. ) ;
#1380 = ORIENTED_EDGE ( 'NONE', *, *, #1611, .F. ) ;
#1381 = EDGE_CURVE ( 'NONE', #1539, #1299, #4229, .T. ) ;
#1382 = EDGE_CURVE ( 'NONE', #99, #3031, #4234, .T. ) ;
#1383 = ORIENTED_EDGE ( 'NONE', *, *, #767, .T. ) ;
#1384 = EDGE_LOOP ( 'NONE', ( #1764, #2510, #2975, #3719 ) ) ;
#1385 = EDGE_LOOP ( 'NONE', ( #736, #768, #810, #871 ) ) ;
#1386 = ADVANCED_FACE ( 'NONE', ( #4262 ), #4263, .T. ) ;
#1387 = ORIENTED_EDGE ( 'NONE', *, *, #748, .F. ) ;
#1388 = VERTEX_POINT ( 'NONE', #4268 ) ;
#1389 = EDGE_CURVE ( 'NONE', #1261, #589, #4275, .T. ) ;
#1390 = EDGE_LOOP ( 'NONE', ( #1802, #714, #764, #804, #843, #881, #935, #977, #1019, #1062, #1034, #1079 ) ) ;
#1391 = ORIENTED_EDGE ( 'NONE', *, *, #4684, .F. ) ;
#1392 = FACE_OUTER_BOUND ( 'NONE', #37, .T. ) ;
#1393 = PLANE ( 'NONE',  #1394 ) ;
#1394 = AXIS2_PLACEMENT_3D ( 'NONE', #1395, #1396, #1397 ) ;
#1395 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 138.4300000000000100, 48.25999999999999800 ) ) ;
#1396 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1397 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1398 = LINE ( 'NONE', #1400, #1401 ) ;
#1399 = ADVANCED_FACE ( 'NONE', ( #4279 ), #4280, .T. ) ;
#1400 = CARTESIAN_POINT ( 'NONE',  ( 26.76056053224595700, -43.17999999999999300, 0.0000000000000000000 ) ) ;
#1401 = VECTOR ( 'NONE', #1402, 1000.000000000000000 ) ;
#1402 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1403 = CIRCLE ( 'NONE', #1404, 3.499999999999997300 ) ;
#1404 = AXIS2_PLACEMENT_3D ( 'NONE', #1405, #1406, #1407 ) ;
#1405 = CARTESIAN_POINT ( 'NONE',  ( -59.05500000000001400, -26.08513374838750600, -5.333999999999991600 ) ) ;
#1406 = DIRECTION ( 'NONE',  ( -0.8660254037844402600, -0.4999999999999972200, 0.0000000000000000000 ) ) ;
#1407 = DIRECTION ( 'NONE',  ( 0.4999999999999968400, -0.8660254037844405900, 0.0000000000000000000 ) ) ;
#1408 = CIRCLE ( 'NONE', #1409, 2.999999999999999100 ) ;
#1409 = AXIS2_PLACEMENT_3D ( 'NONE', #1410, #1411, #1412 ) ;
#1410 = CARTESIAN_POINT ( 'NONE',  ( 59.05500000000000700, 25.40000000000000600, 26.66999999999999800 ) ) ;
#1411 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1412 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1413 = CIRCLE ( 'NONE', #1414, 6.350000000000001400 ) ;
#1414 = AXIS2_PLACEMENT_3D ( 'NONE', #1415, #1420, #1421 ) ;
#1415 = CARTESIAN_POINT ( 'NONE',  ( -51.43500000000000900, -36.82999999999999100, -47.62500000000000000 ) ) ;
#1416 = VERTEX_POINT ( 'NONE', #4286 ) ;
#1417 = ORIENTED_EDGE ( 'NONE', *, *, #902, .T. ) ;
#1418 = ORIENTED_EDGE ( 'NONE', *, *, #1713, .F. ) ;
#1419 = ADVANCED_FACE ( 'NONE', ( #4287 ), #4288, .T. ) ;
#1420 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1421 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1422 = CARTESIAN_POINT ( 'NONE',  ( 58.06146792395536200, 32.38500000000000500, -90.56961125681506500 ) ) ;
#1423 = CARTESIAN_POINT ( 'NONE',  ( 59.05500000000000700, 117.4750000000000100, 34.29000000000001300 ) ) ;
#1424 = LINE ( 'NONE', #1425, #1426 ) ;
#1425 = CARTESIAN_POINT ( 'NONE',  ( 58.06146792395536200, 18.41499999999999900, -90.56961125681506500 ) ) ;
#1426 = VECTOR ( 'NONE', #1427, 1000.000000000000000 ) ;
#1427 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1428 = FACE_OUTER_BOUND ( 'NONE', #959, .T. ) ;
#1429 = CYLINDRICAL_SURFACE ( 'NONE', #1430, 6.349999999999999600 ) ;
#1430 = AXIS2_PLACEMENT_3D ( 'NONE', #1431, #1432, #1433 ) ;
#1431 = CARTESIAN_POINT ( 'NONE',  ( -21.59000000000000300, 138.4300000000000100, 52.07000000000000000 ) ) ;
#1432 = DIRECTION ( 'NONE',  ( 1.097127708298900800E-016, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1433 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1434 = CARTESIAN_POINT ( 'NONE',  ( -57.78499999999999700, 7.217351716271026200E-015, 0.0000000000000000000 ) ) ;
#1435 = LINE ( 'NONE', #1438, #1439 ) ;
#1436 = ADVANCED_FACE ( 'NONE', ( #4293, #4294 ), #4295, .F. ) ;
#1437 = EDGE_CURVE ( 'NONE', #1314, #1644, #4300, .T. ) ;
#1438 = CARTESIAN_POINT ( 'NONE',  ( -26.76056053224595700, -43.17999999999999300, 0.0000000000000000000 ) ) ;
#1439 = VECTOR ( 'NONE', #1440, 1000.000000000000000 ) ;
#1440 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1441 = CARTESIAN_POINT ( 'NONE',  ( -50.73528830114288000, 140.9933027522935700, 0.0000000000000000000 ) ) ;
#1442 = CIRCLE ( 'NONE', #1443, 6.349999999999999600 ) ;
#1443 = AXIS2_PLACEMENT_3D ( 'NONE', #1444, #1445, #1446 ) ;
#1444 = CARTESIAN_POINT ( 'NONE',  ( 37.68504950495050600, 35.00566052525548600, -47.62500000000000000 ) ) ;
#1445 = DIRECTION ( 'NONE',  ( 0.6805805487558176400, -0.7326732673267328800, 0.0000000000000000000 ) ) ;
#1446 = DIRECTION ( 'NONE',  ( 0.7326732673267328800, 0.6805805487558176400, 0.0000000000000000000 ) ) ;
#1447 = FACE_OUTER_BOUND ( 'NONE', #966, .T. ) ;
#1448 = CYLINDRICAL_SURFACE ( 'NONE', #1449, 2.540000000000002300 ) ;
#1449 = AXIS2_PLACEMENT_3D ( 'NONE', #1450, #1451, #1452 ) ;
#1450 = CARTESIAN_POINT ( 'NONE',  ( -50.16240487483272400, 42.84043968368378300, -4.064000000000000100 ) ) ;
#1451 = DIRECTION ( 'NONE',  ( 0.4999999999999974500, -0.8660254037844401500, 0.0000000000000000000 ) ) ;
#1452 = DIRECTION ( 'NONE',  ( 0.8660254037844404800, 0.4999999999999969500, 0.0000000000000000000 ) ) ;
#1453 = FACE_OUTER_BOUND ( 'NONE', #852, .T. ) ;
#1454 = EDGE_CURVE ( 'NONE', #174, #780, #4305, .T. ) ;
#1455 = ORIENTED_EDGE ( 'NONE', *, *, #1731, .T. ) ;
#1456 = TOROIDAL_SURFACE ( 'NONE', #1457, 51.43500000000000200, 6.349999999999999600 ) ;
#1457 = AXIS2_PLACEMENT_3D ( 'NONE', #1458, #1459, #1460 ) ;
#1458 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -47.62500000000000000 ) ) ;
#1459 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1460 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1461 = LINE ( 'NONE', #1462, #1463 ) ;
#1462 = CARTESIAN_POINT ( 'NONE',  ( -47.93990487483274200, 38.99095676386194500, -1.523999999999998500 ) ) ;
#1463 = VECTOR ( 'NONE', #1464, 1000.000000000000000 ) ;
#1464 = DIRECTION ( 'NONE',  ( 0.8660254037844401500, 0.4999999999999973900, -5.691349986800545300E-018 ) ) ;
#1465 = CARTESIAN_POINT ( 'NONE',  ( 52.25242606691568200, 111.1250000000000100, 0.0000000000000000000 ) ) ;
#1466 = CIRCLE ( 'NONE', #1467, 4.571999999999985900 ) ;
#1467 = AXIS2_PLACEMENT_3D ( 'NONE', #1468, #1469, #1470 ) ;
#1468 = CARTESIAN_POINT ( 'NONE',  ( 43.38524366648178400, 137.1597588799999700, 0.0000000000000000000 ) ) ;
#1469 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1470 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1471 = CARTESIAN_POINT ( 'NONE',  ( 26.76056053224595700, -43.17999999999999300, -38.29371635974904100 ) ) ;
#1472 = LINE ( 'NONE', #1473, #1474 ) ;
#1473 = CARTESIAN_POINT ( 'NONE',  ( -34.28999999999995700, 74.92999999999999300, -47.62500000000000000 ) ) ;
#1474 = VECTOR ( 'NONE', #1475, 1000.000000000000000 ) ;
#1475 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1476 = FACE_OUTER_BOUND ( 'NONE', #66, .T. ) ;
#1477 = PLANE ( 'NONE',  #1478 ) ;
#1478 = AXIS2_PLACEMENT_3D ( 'NONE', #1479, #1480, #1481 ) ;
#1479 = CARTESIAN_POINT ( 'NONE',  ( -42.11641125832058900, 173.5364429740728600, -168.5112931692997300 ) ) ;
#1480 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1481 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1482 = FACE_OUTER_BOUND ( 'NONE', #544, .T. ) ;
#1483 = PLANE ( 'NONE',  #1484 ) ;
#1484 = AXIS2_PLACEMENT_3D ( 'NONE', #1485, #1486, #1487 ) ;
#1485 = CARTESIAN_POINT ( 'NONE',  ( 40.64000000000000800, 43.64903349445436500, -53.97500000000000100 ) ) ;
#1486 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -5.566486082570247800E-016, 0.0000000000000000000 ) ) ;
#1487 = DIRECTION ( 'NONE',  ( 5.566486082570247800E-016, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1488 = LINE ( 'NONE', #1489, #1490 ) ;
#1489 = CARTESIAN_POINT ( 'NONE',  ( -40.32036003410674900, 175.3324941982867000, -171.0512931692997300 ) ) ;
#1490 = VECTOR ( 'NONE', #1491, 1000.000000000000100 ) ;
#1491 = DIRECTION ( 'NONE',  ( 0.7071067811865460200, -0.7071067811865489100, 0.0000000000000000000 ) ) ;
#1492 = FACE_OUTER_BOUND ( 'NONE', #69, .T. ) ;
#1493 = PLANE ( 'NONE',  #1494 ) ;
#1494 = AXIS2_PLACEMENT_3D ( 'NONE', #1495, #1496, #1497 ) ;
#1495 = CARTESIAN_POINT ( 'NONE',  ( 69.05500000000000700, 25.40000000000000600, 26.66999999999999800 ) ) ;
#1496 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1497 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1498 = CARTESIAN_POINT ( 'NONE',  ( 44.39337726350002100, 140.6728899082568800, 45.71999999999999900 ) ) ;
#1499 = CARTESIAN_POINT ( 'NONE',  ( 58.06146792395536200, 18.41499999999999900, -90.56961125681506500 ) ) ;
#1500 = LINE ( 'NONE', #1501, #1502 ) ;
#1501 = CARTESIAN_POINT ( 'NONE',  ( 50.73528830114288000, 140.9933027522935700, 0.0000000000000000000 ) ) ;
#1502 = VECTOR ( 'NONE', #1503, 1000.000000000000000 ) ;
#1503 = DIRECTION ( 'NONE',  ( 0.05045871559633025700, -0.9987261476602926600, 0.0000000000000000000 ) ) ;
#1504 = FACE_OUTER_BOUND ( 'NONE', #822, .T. ) ;
#1505 = CYLINDRICAL_SURFACE ( 'NONE', #1506, 3.000000000000002700 ) ;
#1506 = AXIS2_PLACEMENT_3D ( 'NONE', #1507, #1508, #1509 ) ;
#1507 = CARTESIAN_POINT ( 'NONE',  ( 69.05500000000000700, 25.40000000000000600, -100.3300000000000000 ) ) ;
#1508 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1509 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1510 = CARTESIAN_POINT ( 'NONE',  ( -26.76056053224595700, -43.17999999999999300, -37.40471635974906700 ) ) ;
#1511 = CARTESIAN_POINT ( 'NONE',  ( 37.68504950495050600, 35.00566052525548600, -53.97500000000000100 ) ) ;
#1512 = FACE_OUTER_BOUND ( 'NONE', #858, .T. ) ;
#1513 = CYLINDRICAL_SURFACE ( 'NONE', #1514, 6.349999999999994300 ) ;
#1514 = AXIS2_PLACEMENT_3D ( 'NONE', #1515, #1516, #1517 ) ;
#1515 = CARTESIAN_POINT ( 'NONE',  ( -34.28999999999999900, 68.57999999999999800, -53.97500000000000100 ) ) ;
#1516 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1517 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1518 = CIRCLE ( 'NONE', #1519, 6.350000000000001400 ) ;
#1519 = AXIS2_PLACEMENT_3D ( 'NONE', #1523, #1524, #1525 ) ;
#1520 = EDGE_CURVE ( 'NONE', #829, #1138, #4335, .T. ) ;
#1521 = ORIENTED_EDGE ( 'NONE', *, *, #1823, .F. ) ;
#1522 = ORIENTED_EDGE ( 'NONE', *, *, #1824, .F. ) ;
#1523 = CARTESIAN_POINT ( 'NONE',  ( -13.33499999999998500, -27.94000000000000100, 52.07000000000000000 ) ) ;
#1524 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1525 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1526 = CIRCLE ( 'NONE', #1527, 12.69999999999999600 ) ;
#1527 = AXIS2_PLACEMENT_3D ( 'NONE', #1528, #1529, #1530 ) ;
#1528 = CARTESIAN_POINT ( 'NONE',  ( 46.99000000000000900, 43.64903349445436500, -53.97500000000000100 ) ) ;
#1529 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1530 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1531 = LINE ( 'NONE', #1532, #1533 ) ;
#1532 = CARTESIAN_POINT ( 'NONE',  ( -16.56623909099456800, 196.8595116233736600, -200.0249999999999800 ) ) ;
#1533 = VECTOR ( 'NONE', #1534, 1000.000000000000100 ) ;
#1534 = DIRECTION ( 'NONE',  ( -0.7071067811865489100, -0.7071067811865460200, 0.0000000000000000000 ) ) ;
#1535 = CIRCLE ( 'NONE', #1536, 6.349999999999994300 ) ;
#1536 = AXIS2_PLACEMENT_3D ( 'NONE', #1537, #1538, #1541 ) ;
#1537 = CARTESIAN_POINT ( 'NONE',  ( 62.17279606971688800, 40.45689367826768300, 34.28999999999999900 ) ) ;
#1538 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1539 = VERTEX_POINT ( 'NONE', #4340 ) ;
#1540 = ORIENTED_EDGE ( 'NONE', *, *, #534, .T. ) ;
#1541 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 2.185478394931412500E-015, 0.0000000000000000000 ) ) ;
#1542 = LINE ( 'NONE', #1543, #1544 ) ;
#1543 = CARTESIAN_POINT ( 'NONE',  ( -22.55457533943826900, 193.0982788929551100, -168.5112931692997300 ) ) ;
#1544 = VECTOR ( 'NONE', #1545, 1000.000000000000100 ) ;
#1545 = DIRECTION ( 'NONE',  ( 0.7071067811865460200, -0.7071067811865489100, 0.0000000000000000000 ) ) ;
#1546 = CIRCLE ( 'NONE', #1547, 6.350000000000001400 ) ;
#1547 = AXIS2_PLACEMENT_3D ( 'NONE', #1548, #1549, #1550 ) ;
#1548 = CARTESIAN_POINT ( 'NONE',  ( -44.39337726350002100, 140.6728899082568800, 39.36999999999999700 ) ) ;
#1549 = DIRECTION ( 'NONE',  ( -0.05045871559632972300, -0.9987261476602926600, 0.0000000000000000000 ) ) ;
#1550 = DIRECTION ( 'NONE',  ( 0.9987261476602926600, -0.05045871559632971600, 0.0000000000000000000 ) ) ;
#1551 = LINE ( 'NONE', #1552, #1553 ) ;
#1552 = CARTESIAN_POINT ( 'NONE',  ( 51.43499999999998100, -43.17999999999999300, -47.62500000000000000 ) ) ;
#1553 = VECTOR ( 'NONE', #1554, 1000.000000000000000 ) ;
#1554 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1555 = CARTESIAN_POINT ( 'NONE',  ( 59.05500000000000700, 127.0000000000000000, 23.66999999999999800 ) ) ;
#1556 = FACE_OUTER_BOUND ( 'NONE', #85, .T. ) ;
#1557 = EDGE_LOOP ( 'NONE', ( #1985, #2437, #3186, #3631 ) ) ;
#1558 = ORIENTED_EDGE ( 'NONE', *, *, #1843, .F. ) ;
#1559 = ORIENTED_EDGE ( 'NONE', *, *, #1845, .F. ) ;
#1560 = CYLINDRICAL_SURFACE ( 'NONE', #1561, 57.78500000000000400 ) ;
#1561 = AXIS2_PLACEMENT_3D ( 'NONE', #1562, #1563, #1564 ) ;
#1562 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 34.28999999999999900 ) ) ;
#1563 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1564 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1565 = CIRCLE ( 'NONE', #1566, 3.175000000000002500 ) ;
#1566 = AXIS2_PLACEMENT_3D ( 'NONE', #1567, #1568, #1569 ) ;
#1567 = CARTESIAN_POINT ( 'NONE',  ( 13.33499999999999900, -19.68499999999999500, 48.25999999999999800 ) ) ;
#1568 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1569 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1570 = LINE ( 'NONE', #1571, #1572 ) ;
#1571 = CARTESIAN_POINT ( 'NONE',  ( -4.444999999999690300, 18.41499999999999900, -56.51500000000020000 ) ) ;
#1572 = VECTOR ( 'NONE', #1573, 1000.000000000000000 ) ;
#1573 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1574 = FACE_OUTER_BOUND ( 'NONE', #97, .T. ) ;
#1575 = CYLINDRICAL_SURFACE ( 'NONE', #1576, 6.349999999999994300 ) ;
#1576 = AXIS2_PLACEMENT_3D ( 'NONE', #1577, #1578, #1579 ) ;
#1577 = CARTESIAN_POINT ( 'NONE',  ( -46.99000000000000200, 46.87173301775936800, -46.22800000000000200 ) ) ;
#1578 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1579 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1580 = CARTESIAN_POINT ( 'NONE',  ( -58.63573868596880300, -26.81131564593766500, -1.935929988621876200 ) ) ;
#1581 = FACE_OUTER_BOUND ( 'NONE', #1364, .T. ) ;
#1582 = PLANE ( 'NONE',  #1583 ) ;
#1583 = AXIS2_PLACEMENT_3D ( 'NONE', #1584, #1585, #1586 ) ;
#1584 = CARTESIAN_POINT ( 'NONE',  ( -20.75852411522445000, 194.8943301171689500, -171.0512931692997300 ) ) ;
#1585 = DIRECTION ( 'NONE',  ( -0.7071067811865490200, -0.7071067811865461300, 0.0000000000000000000 ) ) ;
#1586 = DIRECTION ( 'NONE',  ( 0.7071067811865460200, -0.7071067811865489100, 0.0000000000000000000 ) ) ;
#1587 = LINE ( 'NONE', #1588, #1589 ) ;
#1588 = CARTESIAN_POINT ( 'NONE',  ( -16.56623909099456800, 196.8595116233736600, -161.6250000000000000 ) ) ;
#1589 = VECTOR ( 'NONE', #1590, 1000.000000000000000 ) ;
#1590 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1591 = LINE ( 'NONE', #1592, #1593 ) ;
#1592 = CARTESIAN_POINT ( 'NONE',  ( -41.00285949930801600, 172.4228912150603000, -193.1387068307002200 ) ) ;
#1593 = VECTOR ( 'NONE', #1594, 1000.000000000000100 ) ;
#1594 = DIRECTION ( 'NONE',  ( -0.7071067811865487900, -0.7071067811865461300, 0.0000000000000000000 ) ) ;
#1595 = CARTESIAN_POINT ( 'NONE',  ( -84.45499999999987000, 17.90895676386204400, -46.22800000000000200 ) ) ;
#1596 = CIRCLE ( 'NONE', #1597, 2.540000000000002300 ) ;
#1597 = AXIS2_PLACEMENT_3D ( 'NONE', #1598, #1599, #1600 ) ;
#1598 = CARTESIAN_POINT ( 'NONE',  ( -50.16240487483273100, 42.84043968368378300, -42.16400000000000100 ) ) ;
#1599 = DIRECTION ( 'NONE',  ( -0.4999999999999974500, 0.8660254037844401500, 0.0000000000000000000 ) ) ;
#1600 = DIRECTION ( 'NONE',  ( 0.8660254037844404800, 0.4999999999999969500, 0.0000000000000000000 ) ) ;
#1601 = LINE ( 'NONE', #1602, #1603 ) ;
#1602 = CARTESIAN_POINT ( 'NONE',  ( 50.73528830114288000, 140.9933027522935700, 45.71999999999999900 ) ) ;
#1603 = VECTOR ( 'NONE', #1604, 1000.000000000000000 ) ;
#1604 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1605 = LINE ( 'NONE', #1606, #1607 ) ;
#1606 = CARTESIAN_POINT ( 'NONE',  ( -47.96270034922024900, 44.11043968368378600, -4.063999999999993000 ) ) ;
#1607 = VECTOR ( 'NONE', #1612, 1000.000000000000000 ) ;
#1608 = EDGE_CURVE ( 'NONE', #195, #20, #4353, .T. ) ;
#1609 = ORIENTED_EDGE ( 'NONE', *, *, #2758, .F. ) ;
#1610 = ORIENTED_EDGE ( 'NONE', *, *, #1067, .T. ) ;
#1611 = EDGE_CURVE ( 'NONE', #1189, #757, #4358, .T. ) ;
#1612 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.821231995776175700E-016, -1.000000000000000000 ) ) ;
#1613 = CARTESIAN_POINT ( 'NONE',  ( 47.95724366648176600, 137.1597588799999700, -203.1999999999999900 ) ) ;
#1614 = CARTESIAN_POINT ( 'NONE',  ( -59.69975274337404900, 153.7259979709943700, -200.0249999999999800 ) ) ;
#1615 = CIRCLE ( 'NONE', #1616, 6.350000000000001400 ) ;
#1616 = AXIS2_PLACEMENT_3D ( 'NONE', #1617, #1618, #1619 ) ;
#1617 = CARTESIAN_POINT ( 'NONE',  ( 34.29000000000000600, 43.64903349445436500, -47.62500000000000000 ) ) ;
#1618 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1619 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1620 = CIRCLE ( 'NONE', #1621, 4.571999999999987600 ) ;
#1621 = AXIS2_PLACEMENT_3D ( 'NONE', #1622, #1623, #1624 ) ;
#1622 = CARTESIAN_POINT ( 'NONE',  ( 3.469446951953614200E-014, 180.5450025464817500, 0.0000000000000000000 ) ) ;
#1623 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1624 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1625 = LINE ( 'NONE', #1626, #1627 ) ;
#1626 = CARTESIAN_POINT ( 'NONE',  ( 59.05500000000000700, 117.4750000000000100, 34.29000000000001300 ) ) ;
#1627 = VECTOR ( 'NONE', #1628, 1000.000000000000000 ) ;
#1628 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1629 = CARTESIAN_POINT ( 'NONE',  ( 51.43499999999998100, -43.17999999999999300, -47.62500000000000000 ) ) ;
#1630 = CIRCLE ( 'NONE', #1631, 2.540000000000002300 ) ;
#1631 = AXIS2_PLACEMENT_3D ( 'NONE', #1632, #1633, #1634 ) ;
#1632 = CARTESIAN_POINT ( 'NONE',  ( -47.93990487483274200, 38.99095676386194500, -42.16400000000000100 ) ) ;
#1633 = DIRECTION ( 'NONE',  ( -0.4999999999999974500, 0.8660254037844401500, 0.0000000000000000000 ) ) ;
#1634 = DIRECTION ( 'NONE',  ( 0.8660254037844404800, 0.4999999999999969500, 0.0000000000000000000 ) ) ;
#1635 = LINE ( 'NONE', #1636, #1637 ) ;
#1636 = CARTESIAN_POINT ( 'NONE',  ( 3.232892203584900100, 183.7778947500666500, -203.1999999999999900 ) ) ;
#1637 = VECTOR ( 'NONE', #1638, 1000.000000000000000 ) ;
#1638 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1639 = LINE ( 'NONE', #1640, #1641 ) ;
#1640 = CARTESIAN_POINT ( 'NONE',  ( -21.58999999999999300, -2.368698722217326100E-015, 45.71999999999999900 ) ) ;
#1641 = VECTOR ( 'NONE', #1642, 1000.000000000000000 ) ;
#1642 = DIRECTION ( 'NONE',  ( -1.097127708298900800E-016, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1643 = FACE_OUTER_BOUND ( 'NONE', #117, .T. ) ;
#1644 = VERTEX_POINT ( 'NONE', #4362 ) ;
#1645 = PLANE ( 'NONE',  #1646 ) ;
#1646 = AXIS2_PLACEMENT_3D ( 'NONE', #1647, #1648, #1649 ) ;
#1647 = CARTESIAN_POINT ( 'NONE',  ( -36.37668409407313400, 179.2761701383203100, -168.5112931692997300 ) ) ;
#1648 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1649 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1650 = CARTESIAN_POINT ( 'NONE',  ( 16.51000000000000200, -19.68499999999999500, 48.25999999999999800 ) ) ;
#1651 = CARTESIAN_POINT ( 'NONE',  ( -84.45499999999987000, 17.90895676386204400, 0.0000000000000000000 ) ) ;
#1652 = CARTESIAN_POINT ( 'NONE',  ( -4.444999999999690300, 18.41499999999999900, -56.51500000000020000 ) ) ;
#1653 = LINE ( 'NONE', #1654, #1655 ) ;
#1654 = CARTESIAN_POINT ( 'NONE',  ( 59.05500000000049700, 18.41499999999999900, -107.3149999999999700 ) ) ;
#1655 = VECTOR ( 'NONE', #1656, 1000.000000000000000 ) ;
#1656 = DIRECTION ( 'NONE',  ( -4.162815990345547900E-015, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1657 = FACE_OUTER_BOUND ( 'NONE', #423, .T. ) ;
#1658 = SPHERICAL_SURFACE ( 'NONE', #1659, 6.349999999999999600 ) ;
#1659 = AXIS2_PLACEMENT_3D ( 'NONE', #1660, #1664, #1665 ) ;
#1660 = CARTESIAN_POINT ( 'NONE',  ( 34.28999999999999900, 68.57999999999999800, -47.62500000000000000 ) ) ;
#1661 = ORIENTED_EDGE ( 'NONE', *, *, #1950, .F. ) ;
#1662 = ORIENTED_EDGE ( 'NONE', *, *, #596, .F. ) ;
#1663 = EDGE_CURVE ( 'NONE', #1825, #1186, #4368, .T. ) ;
#1664 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1665 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1666 = CIRCLE ( 'NONE', #1667, 51.43500000000000200 ) ;
#1667 = AXIS2_PLACEMENT_3D ( 'NONE', #1668, #1669, #1670 ) ;
#1668 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 45.71999999999999900 ) ) ;
#1669 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1670 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1671 = LINE ( 'NONE', #1672, #1673 ) ;
#1672 = CARTESIAN_POINT ( 'NONE',  ( -57.73457123716929100, 157.9182829952242200, -171.0512931692997300 ) ) ;
#1673 = VECTOR ( 'NONE', #1674, 1000.000000000000100 ) ;
#1674 = DIRECTION ( 'NONE',  ( 0.7071067811865460200, -0.7071067811865489100, 0.0000000000000000000 ) ) ;
#1675 = FACE_OUTER_BOUND ( 'NONE', #1020, .T. ) ;
#1676 = PLANE ( 'NONE',  #1677 ) ;
#1677 = AXIS2_PLACEMENT_3D ( 'NONE', #1678, #1679, #1680 ) ;
#1678 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, -7.703719777548943400E-031, -34.22971635974904100 ) ) ;
#1679 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1680 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1681 = CARTESIAN_POINT ( 'NONE',  ( -41.00285949930801600, 172.4228912150603000, -193.1387068307002200 ) ) ;
#1682 = FACE_OUTER_BOUND ( 'NONE', #2056, .T. ) ;
#1683 = TOROIDAL_SURFACE ( 'NONE', #1684, 51.43500000000000200, 6.349999999999999600 ) ;
#1684 = AXIS2_PLACEMENT_3D ( 'NONE', #1685, #1686, #1687 ) ;
#1685 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -47.62500000000000000 ) ) ;
#1686 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1687 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1688 = LINE ( 'NONE', #1689, #1690 ) ;
#1689 = CARTESIAN_POINT ( 'NONE',  ( -51.43500000000000900, -43.17999999999999300, -13.52871635974903900 ) ) ;
#1690 = VECTOR ( 'NONE', #1691, 1000.000000000000000 ) ;
#1691 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1692 = CARTESIAN_POINT ( 'NONE',  ( -50.16240487483273800, 42.84043968368377600, -44.70400000000000100 ) ) ;
#1693 = CARTESIAN_POINT ( 'NONE',  ( 50.73528830114288000, 140.9933027522935700, 39.36999999999999700 ) ) ;
#1694 = CARTESIAN_POINT ( 'NONE',  ( -47.96270034922024900, 44.11043968368377900, -42.16399999999998700 ) ) ;
#1695 = FACE_OUTER_BOUND ( 'NONE', #1025, .T. ) ;
#1696 = CYLINDRICAL_SURFACE ( 'NONE', #1697, 2.540000000000005800 ) ;
#1697 = AXIS2_PLACEMENT_3D ( 'NONE', #1698, #1699, #1700 ) ;
#1698 = CARTESIAN_POINT ( 'NONE',  ( -36.37668409407313400, 179.2761701383203100, -190.5987068307002200 ) ) ;
#1699 = DIRECTION ( 'NONE',  ( 0.7071067811865460200, -0.7071067811865490200, 0.0000000000000000000 ) ) ;
#1700 = DIRECTION ( 'NONE',  ( 0.7071067811865475700, 0.7071067811865475700, 0.0000000000000000000 ) ) ;
#1701 = LINE ( 'NONE', #1702, #1703 ) ;
#1702 = CARTESIAN_POINT ( 'NONE',  ( -40.64000000000000800, 43.64903349445436500, -53.97500000000000100 ) ) ;
#1703 = VECTOR ( 'NONE', #1704, 1000.000000000000000 ) ;
#1704 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1705 = CARTESIAN_POINT ( 'NONE',  ( -57.81133845772768600, -29.40855730650316600, -40.89399999999999100 ) ) ;
#1706 = CARTESIAN_POINT ( 'NONE',  ( -3.232892203584825500, 183.7778947500666800, 0.0000000000000000000 ) ) ;
#1707 = FACE_OUTER_BOUND ( 'NONE', #968, .T. ) ;
#1708 = FACE_BOUND ( 'NONE', #390, .T. ) ;
#1709 = PLANE ( 'NONE',  #1710 ) ;
#1710 = AXIS2_PLACEMENT_3D ( 'NONE', #1711, #1714, #1715 ) ;
#1711 = CARTESIAN_POINT ( 'NONE',  ( 59.05500000000049700, 18.41499999999999900, -107.3149999999999700 ) ) ;
#1712 = EDGE_LOOP ( 'NONE', ( #702, #1047, #1213, #2194 ) ) ;
#1713 = EDGE_CURVE ( 'NONE', #1932, #1348, #4392, .T. ) ;
#1714 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, -4.162815990345547900E-015 ) ) ;
#1715 = DIRECTION ( 'NONE',  ( -4.162815990345547900E-015, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1716 = CIRCLE ( 'NONE', #1717, 4.571999999999985900 ) ;
#1717 = AXIS2_PLACEMENT_3D ( 'NONE', #1718, #1719, #1720 ) ;
#1718 = CARTESIAN_POINT ( 'NONE',  ( 43.38524366648178400, 137.1597588799999700, -203.1999999999999900 ) ) ;
#1719 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1720 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1721 = B_SPLINE_CURVE_WITH_KNOTS ( 'NONE', 3,
 ( #1722, #1723, #1724, #1725, #1726, #1727, #1728, #1729, #1732, #1733, #1734, #1735 ),
 .UNSPECIFIED., .F., .F.,
 ( 4, 2, 2, 2, 2, 4 ),
 ( 0.01947102371958986400, 0.02005271335581332700, 0.02063440299203678900, 0.02179778226448370000, 0.02296116153693061200, 0.02412454080937752300 ),
 .UNSPECIFIED. ) ;
#1722 = CARTESIAN_POINT ( 'NONE',  ( -26.76056053224595700, -43.17999999999999300, -37.40471635974906700 ) ) ;
#1723 = CARTESIAN_POINT ( 'NONE',  ( -26.76056053224599300, -43.17999999999999300, -37.20948331263822700 ) ) ;
#1724 = CARTESIAN_POINT ( 'NONE',  ( -26.70063387526722600, -43.17999999999999300, -37.01674344244686700 ) ) ;
#1725 = CARTESIAN_POINT ( 'NONE',  ( -26.50423030331608500, -43.17999999999999300, -36.67952672775178500 ) ) ;
#1726 = CARTESIAN_POINT ( 'NONE',  ( -26.37104791090000000, -43.18000000000000000, -36.53400383439646500 ) ) ;
#1727 = CARTESIAN_POINT ( 'NONE',  ( -25.92672063446539000, -43.17999999999999300, -36.15799503473019200 ) ) ;
#1728 = CARTESIAN_POINT ( 'NONE',  ( -25.57218434969548700, -43.17999999999999300, -35.98347129316547900 ) ) ;
#1729 = CARTESIAN_POINT ( 'NONE',  ( -24.84760081086739400, -43.17999999999999300, -35.72314284290432300 ) ) ;
#1730 = VERTEX_POINT ( 'NONE', #4399 ) ;
#1731 = EDGE_CURVE ( 'NONE', #212, #1011, #4400, .T. ) ;
#1732 = CARTESIAN_POINT ( 'NONE',  ( -24.46936252446043600, -43.18000000000000700, -35.63653520319616100 ) ) ;
#1733 = CARTESIAN_POINT ( 'NONE',  ( -23.70433956855146500, -43.17999999999999300, -35.52441847302010600 ) ) ;
#1734 = CARTESIAN_POINT ( 'NONE',  ( -23.32179977423569600, -43.17999999999999300, -35.49971635974903700 ) ) ;
#1735 = CARTESIAN_POINT ( 'NONE',  ( -22.93923767259928700, -43.17999999999999300, -35.49971635974905100 ) ) ;
#1736 = LINE ( 'NONE', #1737, #1738 ) ;
#1737 = CARTESIAN_POINT ( 'NONE',  ( 41.27500000000050300, 21.59000000000000000, -107.3150000000000400 ) ) ;
#1738 = VECTOR ( 'NONE', #1739, 1000.000000000000000 ) ;
#1739 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, -3.902639990948949800E-015 ) ) ;
#1740 = CARTESIAN_POINT ( 'NONE',  ( 3.232892203584900100, 183.7778947500666500, -203.1999999999999900 ) ) ;
#1741 = FACE_OUTER_BOUND ( 'NONE', #730, .T. ) ;
#1742 = CYLINDRICAL_SURFACE ( 'NONE', #1743, 6.350000000000001400 ) ;
#1743 = AXIS2_PLACEMENT_3D ( 'NONE', #1744, #1745, #1746 ) ;
#1744 = CARTESIAN_POINT ( 'NONE',  ( 51.43499999999998800, -36.82999999999999100, 34.28999999999999900 ) ) ;
#1745 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1746 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1747 = FACE_OUTER_BOUND ( 'NONE', #129, .T. ) ;
#1748 = TOROIDAL_SURFACE ( 'NONE', #1749, 48.89499999999999600, 1.905000000000000500 ) ;
#1749 = AXIS2_PLACEMENT_3D ( 'NONE', #1750, #1751, #1752 ) ;
#1750 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -37.40471635974904500 ) ) ;
#1751 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1752 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1753 = FACE_OUTER_BOUND ( 'NONE', #142, .T. ) ;
#1754 = CYLINDRICAL_SURFACE ( 'NONE', #1755, 3.499999999999997300 ) ;
#1755 = AXIS2_PLACEMENT_3D ( 'NONE', #1756, #1757, #1758 ) ;
#1756 = CARTESIAN_POINT ( 'NONE',  ( -62.51910161513777800, -28.08513374838749500, -40.89399999999999100 ) ) ;
#1757 = DIRECTION ( 'NONE',  ( 0.8660254037844402600, 0.4999999999999971700, 0.0000000000000000000 ) ) ;
#1758 = DIRECTION ( 'NONE',  ( -0.4999999999999968400, 0.8660254037844405900, 0.0000000000000000000 ) ) ;
#1759 = LINE ( 'NONE', #1760, #1761 ) ;
#1760 = CARTESIAN_POINT ( 'NONE',  ( -42.11641125832058900, 173.5364429740728600, -193.1387068307002200 ) ) ;
#1761 = VECTOR ( 'NONE', #1762, 1000.000000000000100 ) ;
#1762 = DIRECTION ( 'NONE',  ( 0.7071067811865460200, -0.7071067811865489100, 0.0000000000000000000 ) ) ;
#1763 = LINE ( 'NONE', #1766, #1767 ) ;
#1764 = ORIENTED_EDGE ( 'NONE', *, *, #2074, .T. ) ;
#1765 = EDGE_CURVE ( 'NONE', #3031, #907, #4406, .T. ) ;
#1766 = CARTESIAN_POINT ( 'NONE',  ( -47.93990487483275600, 38.99095676386193800, -44.70400000000000100 ) ) ;
#1767 = VECTOR ( 'NONE', #1768, 1000.000000000000100 ) ;
#1768 = DIRECTION ( 'NONE',  ( -0.8660254037844400400, -0.4999999999999973900, 0.0000000000000000000 ) ) ;
#1769 = CARTESIAN_POINT ( 'NONE',  ( -41.18770204194464700, 174.4651521904488000, -180.8249999999999900 ) ) ;
#1770 = CARTESIAN_POINT ( 'NONE',  ( -57.78500000000001100, -36.82999999999999100, -47.62500000000000000 ) ) ;
#1771 = CARTESIAN_POINT ( 'NONE',  ( 50.73528830114288000, 140.9933027522935700, 34.28999999999999900 ) ) ;
#1772 = CARTESIAN_POINT ( 'NONE',  ( 22.93923767261970400, -43.17999999998915700, -13.52871635974904600 ) ) ;
#1773 = FACE_OUTER_BOUND ( 'NONE', #1385, .T. ) ;
#1774 = CYLINDRICAL_SURFACE ( 'NONE', #1775, 6.350000000000001400 ) ;
#1775 = AXIS2_PLACEMENT_3D ( 'NONE', #1776, #1777, #1778 ) ;
#1776 = CARTESIAN_POINT ( 'NONE',  ( -51.36947940490716000, 2.595344036697246900, 39.36999999999999700 ) ) ;
#1777 = DIRECTION ( 'NONE',  ( -0.05045871559633025700, -0.9987261476602926600, 0.0000000000000000000 ) ) ;
#1778 = DIRECTION ( 'NONE',  ( 0.9987261476602926600, -0.05045871559633026400, 0.0000000000000000000 ) ) ;
#1779 = CIRCLE ( 'NONE', #1780, 6.350000000000008500 ) ;
#1780 = AXIS2_PLACEMENT_3D ( 'NONE', #1781, #1785, #1786 ) ;
#1781 = CARTESIAN_POINT ( 'NONE',  ( 52.70500000000044600, 18.41499999999999900, -93.97999999999999000 ) ) ;
#1782 = EDGE_LOOP ( 'NONE', ( #942, #1001, #1039, #1862 ) ) ;
#1783 = ORIENTED_EDGE ( 'NONE', *, *, #681, .F. ) ;
#1784 = EDGE_CURVE ( 'NONE', #2004, #1539, #4415, .T. ) ;
#1785 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1786 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1787 = FACE_OUTER_BOUND ( 'NONE', #1041, .T. ) ;
#1788 = PLANE ( 'NONE',  #1789 ) ;
#1789 = AXIS2_PLACEMENT_3D ( 'NONE', #1790, #1791, #1792 ) ;
#1790 = CARTESIAN_POINT ( 'NONE',  ( 52.70500000000044600, 18.41499999999999900, -93.97999999999999000 ) ) ;
#1791 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1792 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1793 = FACE_OUTER_BOUND ( 'NONE', #157, .T. ) ;
#1794 = CYLINDRICAL_SURFACE ( 'NONE', #1795, 2.539999999999976500 ) ;
#1795 = AXIS2_PLACEMENT_3D ( 'NONE', #1796, #1797, #1798 ) ;
#1796 = CARTESIAN_POINT ( 'NONE',  ( -55.93852001295547200, 159.7143342194380300, -190.5987068307002200 ) ) ;
#1797 = DIRECTION ( 'NONE',  ( 0.7071067811865460200, -0.7071067811865490200, 0.0000000000000000000 ) ) ;
#1798 = DIRECTION ( 'NONE',  ( 0.7071067811865503500, 0.7071067811865448000, 0.0000000000000000000 ) ) ;
#1799 = CARTESIAN_POINT ( 'NONE',  ( -40.64000000000000800, 43.64903349445436500, -47.62500000000000000 ) ) ;
#1800 = CIRCLE ( 'NONE', #1803, 6.350000000000001400 ) ;
#1801 = ORIENTED_EDGE ( 'NONE', *, *, #2107, .F. ) ;
#1802 = ORIENTED_EDGE ( 'NONE', *, *, #163, .F. ) ;
#1803 = AXIS2_PLACEMENT_3D ( 'NONE', #1804, #1805, #1806 ) ;
#1804 = CARTESIAN_POINT ( 'NONE',  ( 46.99000000000000900, 43.64903349445436500, -47.62500000000000000 ) ) ;
#1805 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1806 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1807 = CARTESIAN_POINT ( 'NONE',  ( -45.74020034922025200, 40.26095676386193400, -42.16400000000000100 ) ) ;
#1808 = CARTESIAN_POINT ( 'NONE',  ( -47.93990487483275600, 38.99095676386192400, -44.70400000000000100 ) ) ;
#1809 = LINE ( 'NONE', #1810, #1811 ) ;
#1810 = CARTESIAN_POINT ( 'NONE',  ( 40.64000000000000800, 43.64903349445436500, -53.97500000000000100 ) ) ;
#1811 = VECTOR ( 'NONE', #1812, 1000.000000000000000 ) ;
#1812 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1813 = FACE_OUTER_BOUND ( 'NONE', #1053, .T. ) ;
#1814 = TOROIDAL_SURFACE ( 'NONE', #1815, 8.255000000000002600, 6.349999999999999600 ) ;
#1815 = AXIS2_PLACEMENT_3D ( 'NONE', #1816, #1817, #1818 ) ;
#1816 = CARTESIAN_POINT ( 'NONE',  ( 13.33499999999999900, -19.68499999999999500, 52.07000000000000000 ) ) ;
#1817 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1818 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1819 = CLOSED_SHELL ( 'NONE', ( #5112, #1078, #148, #259, #189, #761, #110, #2230, #3081, #5145, #1130, #505, #1097, #60, #54, #4526, #813, #322, #249, #1313, #938, #549, #2472, #274, #186, #1216, #568, #443, #1304, #311, #1122, #901, #43, #18, #2002, #199, #118, #503, #5113, #4206, #1336, #943, #707, #688, #338, #647, #697, #617, #402, #483, #845, #1118, #1309, #253, #5129, #635, #2866, #890, #1968, #859, #1028, #1227, #4060, #586, #1419, #383, #517, #2420, #285, #4077, #2281, #3506, #1030, #1230, #704, #774, #87, #2973, #669, #352, #178, #412, #3452, #1386, #4456, #990, #1349, #885, #786, #1399, #787, #1280, #927, #5124, #699, #301, #1022, #472, #438, #104, #1303, #153, #359, #1164, #1007, #5084, #1117, #2227, #541, #769, #4685, #989, #469, #1355, #1217, #3845, #1361, #1016, #5116, #302, #2616, #32, #3772, #3, #230, #734, #241, #235, #1089, #190, #4490, #410, #3360, #1000, #1210, #1316, #612, #3434, #62, #998, #447, #5076, #122, #4651, #78, #4207, #378, #1255, #3864, #889, #27, #448, #685, #753, #36, #223, #1232, #1436, #521, #5139, #3168, #197, #607, #5151, #493 ) ) ;
#1820 = EDGE_LOOP ( 'NONE', ( #866, #967, #1243, #1347 ) ) ;
#1821 = VERTEX_POINT ( 'NONE', #4432 ) ;
#1822 = ORIENTED_EDGE ( 'NONE', *, *, #23, .F. ) ;
#1823 = EDGE_CURVE ( 'NONE', #2039, #838, #4433, .T. ) ;
#1824 = EDGE_CURVE ( 'NONE', #947, #5080, #4444, .T. ) ;
#1825 = VERTEX_POINT ( 'NONE', #4449 ) ;
#1826 = LINE ( 'NONE', #1827, #1828 ) ;
#1827 = CARTESIAN_POINT ( 'NONE',  ( -39.20680827509418300, 174.2189424392741400, -171.0512931692997300 ) ) ;
#1828 = VECTOR ( 'NONE', #1829, 1000.000000000000000 ) ;
#1829 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1830 = FACE_OUTER_BOUND ( 'NONE', #2419, .T. ) ;
#1831 = PLANE ( 'NONE',  #1832 ) ;
#1832 = AXIS2_PLACEMENT_3D ( 'NONE', #1833, #1834, #1835 ) ;
#1833 = CARTESIAN_POINT ( 'NONE',  ( 3.232892203584865500, 90.54162300993334600, -203.1999999999999900 ) ) ;
#1834 = DIRECTION ( 'NONE',  ( -0.7071067811865471300, 0.7071067811865480200, 0.0000000000000000000 ) ) ;
#1835 = DIRECTION ( 'NONE',  ( -0.7071067811865480200, -0.7071067811865471300, 0.0000000000000000000 ) ) ;
#1836 = CIRCLE ( 'NONE', #1837, 48.89499999999998900 ) ;
#1837 = AXIS2_PLACEMENT_3D ( 'NONE', #1838, #1839, #1840 ) ;
#1838 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -13.52871635974904600 ) ) ;
#1839 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1840 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1841 = LINE ( 'NONE', #1846, #1847 ) ;
#1842 = EDGE_LOOP ( 'NONE', ( #317, #370, #427 ) ) ;
#1843 = EDGE_CURVE ( 'NONE', #2057, #1367, #4460, .T. ) ;
#1844 = ORIENTED_EDGE ( 'NONE', *, *, #2124, .F. ) ;
#1845 = EDGE_CURVE ( 'NONE', #609, #1156, #4464, .T. ) ;
#1846 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, -36.82999999999999100, 45.71999999999999900 ) ) ;
#1847 = VECTOR ( 'NONE', #1848, 1000.000000000000000 ) ;
#1848 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1849 = CARTESIAN_POINT ( 'NONE',  ( -22.93923767259930100, -43.17999999999999300, -13.52871635974904600 ) ) ;
#1850 = CARTESIAN_POINT ( 'NONE',  ( -50.16240487483273100, 42.84043968368378300, -1.523999999999998500 ) ) ;
#1851 = FACE_OUTER_BOUND ( 'NONE', #2141, .T. ) ;
#1852 = TOROIDAL_SURFACE ( 'NONE', #1853, 12.69999999999999800, 6.349999999999999600 ) ;
#1853 = AXIS2_PLACEMENT_3D ( 'NONE', #1854, #1855, #1856 ) ;
#1854 = CARTESIAN_POINT ( 'NONE',  ( 46.99000000000000900, 43.64903349445436500, -47.62500000000000000 ) ) ;
#1855 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1856 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1857 = CARTESIAN_POINT ( 'NONE',  ( -40.32036003410674900, 175.3324941982867000, -171.0512931692997300 ) ) ;
#1858 = FACE_OUTER_BOUND ( 'NONE', #179, .T. ) ;
#1859 = CYLINDRICAL_SURFACE ( 'NONE', #1860, 3.499999999999997300 ) ;
#1860 = AXIS2_PLACEMENT_3D ( 'NONE', #1861, #1863, #1864 ) ;
#1861 = CARTESIAN_POINT ( 'NONE',  ( -62.51910161513777800, -28.08513374838749100, -5.333999999999991600 ) ) ;
#1862 = ORIENTED_EDGE ( 'NONE', *, *, #1080, .F. ) ;
#1863 = DIRECTION ( 'NONE',  ( 0.8660254037844402600, 0.4999999999999971700, 0.0000000000000000000 ) ) ;
#1864 = DIRECTION ( 'NONE',  ( -0.4999999999999968400, 0.8660254037844405900, 0.0000000000000000000 ) ) ;
#1865 = CIRCLE ( 'NONE', #1866, 6.350000000000001400 ) ;
#1866 = AXIS2_PLACEMENT_3D ( 'NONE', #1867, #1868, #1869 ) ;
#1867 = CARTESIAN_POINT ( 'NONE',  ( -51.43500000000000900, -36.82999999999999100, -47.62500000000000000 ) ) ;
#1868 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1869 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1870 = CARTESIAN_POINT ( 'NONE',  ( -45.04637408681068700, 186.0884416983059600, -180.8249999999999900 ) ) ;
#1871 = FACE_OUTER_BOUND ( 'NONE', #187, .T. ) ;
#1872 = TOROIDAL_SURFACE ( 'NONE', #1873, 48.89500000000000300, 1.904999999999998700 ) ;
#1873 = AXIS2_PLACEMENT_3D ( 'NONE', #1874, #1875, #1876 ) ;
#1874 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -11.62371635974904600 ) ) ;
#1875 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1876 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1877 = CARTESIAN_POINT ( 'NONE',  ( -47.93990487483274200, 38.99095676386194500, -1.523999999999998500 ) ) ;
#1878 = CARTESIAN_POINT ( 'NONE',  ( -60.80500000000000700, -23.05404483514196600, -5.333999999999991600 ) ) ;
#1879 = EDGE_CURVE ( 'NONE', #331, #3028, #4469, .T. ) ;
#1880 = EDGE_CURVE ( 'NONE', #633, #1294, #4474, .T. ) ;
#1881 = ORIENTED_EDGE ( 'NONE', *, *, #2159, .F. ) ;
#1882 = CARTESIAN_POINT ( 'NONE',  ( -39.20680827509418300, 174.2189424392741400, -171.0512931692997300 ) ) ;
#1883 = LINE ( 'NONE', #1884, #1885 ) ;
#1884 = CARTESIAN_POINT ( 'NONE',  ( -34.28999999999995700, 74.92999999999999300, -53.97500000000000100 ) ) ;
#1885 = VECTOR ( 'NONE', #1886, 1000.000000000000000 ) ;
#1886 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1887 = CIRCLE ( 'NONE', #1888, 2.540000000000005800 ) ;
#1888 = AXIS2_PLACEMENT_3D ( 'NONE', #1889, #1890, #1891 ) ;
#1889 = CARTESIAN_POINT ( 'NONE',  ( -41.00285949930801600, 172.4228912150603000, -190.5987068307002200 ) ) ;
#1890 = DIRECTION ( 'NONE',  ( -0.7071067811865460200, 0.7071067811865490200, 0.0000000000000000000 ) ) ;
#1891 = DIRECTION ( 'NONE',  ( 0.7071067811865475700, 0.7071067811865475700, 0.0000000000000000000 ) ) ;
#1892 = LINE ( 'NONE', #1893, #1894 ) ;
#1893 = CARTESIAN_POINT ( 'NONE',  ( -59.69975274337404200, 153.7259979709944000, -161.6250000000000000 ) ) ;
#1894 = VECTOR ( 'NONE', #1895, 1000.000000000000000 ) ;
#1895 = DIRECTION ( 'NONE',  ( 1.807003620809174600E-016, 7.228014483236698500E-016, 1.000000000000000000 ) ) ;
#1896 = CIRCLE ( 'NONE', #1897, 3.499999999999997300 ) ;
#1897 = AXIS2_PLACEMENT_3D ( 'NONE', #1899, #1900, #1901 ) ;
#1898 = ORIENTED_EDGE ( 'NONE', *, *, #2473, .F. ) ;
#1899 = CARTESIAN_POINT ( 'NONE',  ( -59.05500000000001400, -26.08513374838750600, -5.333999999999991600 ) ) ;
#1900 = DIRECTION ( 'NONE',  ( -0.8660254037844402600, -0.4999999999999972200, 0.0000000000000000000 ) ) ;
#1901 = DIRECTION ( 'NONE',  ( 0.4999999999999968400, -0.8660254037844405900, 0.0000000000000000000 ) ) ;
#1902 = CARTESIAN_POINT ( 'NONE',  ( -47.96270034922024900, 44.11043968368378600, -4.063999999999993000 ) ) ;
#1903 = LINE ( 'NONE', #1904, #1905 ) ;
#1904 = CARTESIAN_POINT ( 'NONE',  ( 59.05500000000049700, 32.38500000000000500, -107.3149999999999700 ) ) ;
#1905 = VECTOR ( 'NONE', #1906, 1000.000000000000000 ) ;
#1906 = DIRECTION ( 'NONE',  ( -4.162815990345547900E-015, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1907 = LINE ( 'NONE', #1908, #1909 ) ;
#1908 = CARTESIAN_POINT ( 'NONE',  ( 51.43499999999998100, -43.17999999999999300, 34.28999999999999900 ) ) ;
#1909 = VECTOR ( 'NONE', #1910, 1000.000000000000000 ) ;
#1910 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1911 = CARTESIAN_POINT ( 'NONE',  ( 38.73500000000029800, 32.38500000000000500, -53.97500000000003700 ) ) ;
#1912 = LINE ( 'NONE', #1913, #1914 ) ;
#1913 = CARTESIAN_POINT ( 'NONE',  ( -57.78499999999999700, 7.217351716271026200E-015, 34.28999999999999900 ) ) ;
#1914 = VECTOR ( 'NONE', #1916, 1000.000000000000000 ) ;
#1915 = ORIENTED_EDGE ( 'NONE', *, *, #4097, .F. ) ;
#1916 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1917 = LINE ( 'NONE', #1918, #1919 ) ;
#1918 = CARTESIAN_POINT ( 'NONE',  ( -4.444999999999699200, 18.41499999999999900, -53.97500000000019300 ) ) ;
#1919 = VECTOR ( 'NONE', #1920, 1000.000000000000000 ) ;
#1920 = DIRECTION ( 'NONE',  ( 5.463695987328524900E-015, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1921 = LINE ( 'NONE', #1922, #1923 ) ;
#1922 = CARTESIAN_POINT ( 'NONE',  ( -45.74020034922026000, 40.26095676386194800, -4.063999999999993000 ) ) ;
#1923 = VECTOR ( 'NONE', #1924, 1000.000000000000000 ) ;
#1924 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.821231995776175700E-016, -1.000000000000000000 ) ) ;
#1925 = CIRCLE ( 'NONE', #1926, 6.350000000000001400 ) ;
#1926 = AXIS2_PLACEMENT_3D ( 'NONE', #1927, #1928, #1929 ) ;
#1927 = CARTESIAN_POINT ( 'NONE',  ( 51.36947940490716000, 2.595344036697247800, 39.36999999999999700 ) ) ;
#1928 = DIRECTION ( 'NONE',  ( 0.05045871559633026400, -0.9987261476602926600, 0.0000000000000000000 ) ) ;
#1929 = DIRECTION ( 'NONE',  ( 0.9987261476602926600, 0.05045871559633026400, 0.0000000000000000000 ) ) ;
#1930 = CARTESIAN_POINT ( 'NONE',  ( -51.43500000000000900, -43.17999999999999300, -47.62500000000000000 ) ) ;
#1931 = CARTESIAN_POINT ( 'NONE',  ( -83.15797275901991300, 23.79043968368387500, -44.70400000000000100 ) ) ;
#1932 = VERTEX_POINT ( 'NONE', #4498 ) ;
#1933 = CARTESIAN_POINT ( 'NONE',  ( -45.74020034922025200, 40.26095676386193400, -4.063999999999991200 ) ) ;
#1934 = CIRCLE ( 'NONE', #1935, 51.43500000000000200 ) ;
#1935 = AXIS2_PLACEMENT_3D ( 'NONE', #1936, #1937, #1938 ) ;
#1936 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -53.97500000000000100 ) ) ;
#1937 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1938 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1939 = CARTESIAN_POINT ( 'NONE',  ( -39.20680827509418300, 174.2189424392741400, -190.5987068307002200 ) ) ;
#1940 = LINE ( 'NONE', #1941, #1942 ) ;
#1941 = CARTESIAN_POINT ( 'NONE',  ( 40.72206415209056700, 18.41499999999999900, -63.33577748636984200 ) ) ;
#1942 = VECTOR ( 'NONE', #1943, 1000.000000000000000 ) ;
#1943 = DIRECTION ( 'NONE',  ( -0.5370690934149500200, 0.0000000000000000000, 0.8435382557409258900 ) ) ;
#1944 = FACE_OUTER_BOUND ( 'NONE', #701, .T. ) ;
#1945 = PLANE ( 'NONE',  #1946 ) ;
#1946 = AXIS2_PLACEMENT_3D ( 'NONE', #1947, #1948, #1952 ) ;
#1947 = CARTESIAN_POINT ( 'NONE',  ( -16.56623909099456800, 196.8595116233736600, -161.6250000000000000 ) ) ;
#1948 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1949 = ORIENTED_EDGE ( 'NONE', *, *, #1784, .F. ) ;
#1950 = EDGE_CURVE ( 'NONE', #1203, #1373, #4505, .T. ) ;
#1951 = EDGE_CURVE ( 'NONE', #615, #914, #4511, .T. ) ;
#1952 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1953 = CARTESIAN_POINT ( 'NONE',  ( -34.28999999999995700, 74.92999999999999300, -47.62500000000000000 ) ) ;
#1954 = CARTESIAN_POINT ( 'NONE',  ( -59.69975274337404200, 153.7259979709944000, -161.6250000000000000 ) ) ;
#1955 = FACE_BOUND ( 'NONE', #205, .T. ) ;
#1956 = FACE_OUTER_BOUND ( 'NONE', #442, .T. ) ;
#1957 = PLANE ( 'NONE',  #1958 ) ;
#1958 = AXIS2_PLACEMENT_3D ( 'NONE', #1959, #1960, #1961 ) ;
#1959 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1960 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1961 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1962 = CARTESIAN_POINT ( 'NONE',  ( 51.43499999999998100, -43.17999999999999300, 39.36999999999999700 ) ) ;
#1963 = CIRCLE ( 'NONE', #1964, 4.571999999999967200 ) ;
#1964 = AXIS2_PLACEMENT_3D ( 'NONE', #1965, #1966, #1967 ) ;
#1965 = CARTESIAN_POINT ( 'NONE',  ( -2.081668171172168500E-014, 93.77451521351822800, 0.0000000000000000000 ) ) ;
#1966 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1967 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1968 = ADVANCED_FACE ( 'NONE', ( #4515, #4516 ), #4517, .F. ) ;
#1969 = FACE_OUTER_BOUND ( 'NONE', #193, .T. ) ;
#1970 = CYLINDRICAL_SURFACE ( 'NONE', #1971, 6.349999999999994300 ) ;
#1971 = AXIS2_PLACEMENT_3D ( 'NONE', #1972, #1973, #1974 ) ;
#1972 = CARTESIAN_POINT ( 'NONE',  ( -64.13499999999999100, -29.98631564593765800, -46.22800000000000200 ) ) ;
#1973 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1974 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1975 = FACE_OUTER_BOUND ( 'NONE', #218, .T. ) ;
#1976 = PLANE ( 'NONE',  #1977 ) ;
#1977 = AXIS2_PLACEMENT_3D ( 'NONE', #1978, #1979, #1980 ) ;
#1978 = CARTESIAN_POINT ( 'NONE',  ( 40.72206415209056700, 18.41499999999999900, -63.33577748636984200 ) ) ;
#1979 = DIRECTION ( 'NONE',  ( -0.8435382557409258900, 0.0000000000000000000, -0.5370690934149500200 ) ) ;
#1980 = DIRECTION ( 'NONE',  ( -0.5370690934149500200, 0.0000000000000000000, 0.8435382557409258900 ) ) ;
#1981 = CIRCLE ( 'NONE', #1982, 4.571999999999987600 ) ;
#1982 = AXIS2_PLACEMENT_3D ( 'NONE', #1983, #1984, #1986 ) ;
#1983 = CARTESIAN_POINT ( 'NONE',  ( 3.469446951953614200E-014, 180.5450025464817500, -203.1999999999999900 ) ) ;
#1984 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1985 = ORIENTED_EDGE ( 'NONE', *, *, #534, .F. ) ;
#1986 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1987 = LINE ( 'NONE', #1988, #1989 ) ;
#1988 = CARTESIAN_POINT ( 'NONE',  ( 59.05500000000000700, 136.5250000000000100, 34.29000000000001300 ) ) ;
#1989 = VECTOR ( 'NONE', #1990, 1000.000000000000000 ) ;
#1990 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1991 = CIRCLE ( 'NONE', #1992, 2.539999999999981400 ) ;
#1992 = AXIS2_PLACEMENT_3D ( 'NONE', #1993, #1994, #1995 ) ;
#1993 = CARTESIAN_POINT ( 'NONE',  ( -22.55457533943826900, 193.0982788929551100, -171.0512931692997300 ) ) ;
#1994 = DIRECTION ( 'NONE',  ( -0.7071067811865460200, 0.7071067811865490200, 0.0000000000000000000 ) ) ;
#1995 = DIRECTION ( 'NONE',  ( 0.7071067811865516800, 0.7071067811865434600, 0.0000000000000000000 ) ) ;
#1996 = LINE ( 'NONE', #1997, #1998 ) ;
#1997 = CARTESIAN_POINT ( 'NONE',  ( -46.61813587006661700, 133.9268666764151300, -203.1999999999999900 ) ) ;
#1998 = VECTOR ( 'NONE', #1999, 1000.000000000000100 ) ;
#1999 = DIRECTION ( 'NONE',  ( -0.7071067811865473500, 0.7071067811865475700, 0.0000000000000000000 ) ) ;
#2000 = LINE ( 'NONE', #2001, #2005 ) ;
#2001 = CARTESIAN_POINT ( 'NONE',  ( -47.96270034922024900, 44.11043968368378600, -4.063999999999993000 ) ) ;
#2002 = ADVANCED_FACE ( 'NONE', ( #4547 ), #4548, .T. ) ;
#2003 = EDGE_CURVE ( 'NONE', #636, #3028, #4553, .T. ) ;
#2004 = VERTEX_POINT ( 'NONE', #4557 ) ;
#2005 = VECTOR ( 'NONE', #2006, 1000.000000000000100 ) ;
#2006 = DIRECTION ( 'NONE',  ( 0.4999999999999973900, -0.8660254037844400400, 0.0000000000000000000 ) ) ;
#2007 = CARTESIAN_POINT ( 'NONE',  ( -57.78499999999999700, 7.217351716271026200E-015, -46.22800000000000200 ) ) ;
#2008 = CARTESIAN_POINT ( 'NONE',  ( 58.60242606691564800, 117.4750000000000100, 0.0000000000000000000 ) ) ;
#2009 = LINE ( 'NONE', #2010, #2011 ) ;
#2010 = CARTESIAN_POINT ( 'NONE',  ( -57.78500000000001100, -36.82999999999999100, 34.28999999999999900 ) ) ;
#2011 = VECTOR ( 'NONE', #2012, 1000.000000000000000 ) ;
#2012 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#2013 = FACE_OUTER_BOUND ( 'NONE', #496, .T. ) ;
#2014 = CYLINDRICAL_SURFACE ( 'NONE', #2015, 3.499999999999997300 ) ;
#2015 = AXIS2_PLACEMENT_3D ( 'NONE', #2016, #2017, #2018 ) ;
#2016 = CARTESIAN_POINT ( 'NONE',  ( -62.51910161513777800, -28.08513374838749100, -5.333999999999991600 ) ) ;
#2017 = DIRECTION ( 'NONE',  ( 0.8660254037844402600, 0.4999999999999971700, 0.0000000000000000000 ) ) ;
#2018 = DIRECTION ( 'NONE',  ( -0.4999999999999968400, 0.8660254037844405900, 0.0000000000000000000 ) ) ;
#2019 = FACE_OUTER_BOUND ( 'NONE', #227, .T. ) ;
#2020 = CYLINDRICAL_SURFACE ( 'NONE', #2022, 11.08710000000001900 ) ;
#2021 = ORIENTED_EDGE ( 'NONE', *, *, #70, .T. ) ;
#2022 = AXIS2_PLACEMENT_3D ( 'NONE', #2023, #2024, #2025 ) ;
#2023 = CARTESIAN_POINT ( 'NONE',  ( -37.20661049311728200, 193.9282052919993500, -180.8249999999999900 ) ) ;
#2024 = DIRECTION ( 'NONE',  ( 0.7071067811865460200, -0.7071067811865490200, 0.0000000000000000000 ) ) ;
#2025 = DIRECTION ( 'NONE',  ( 0.7071067811865485700, 0.7071067811865463500, 0.0000000000000000000 ) ) ;
#2026 = CIRCLE ( 'NONE', #2027, 2.540000000000004000 ) ;
#2027 = AXIS2_PLACEMENT_3D ( 'NONE', #2028, #2029, #2030 ) ;
#2028 = CARTESIAN_POINT ( 'NONE',  ( -83.15797275901991300, 23.79043968368387100, -4.064000000000000100 ) ) ;
#2029 = DIRECTION ( 'NONE',  ( -0.4999999999999974500, 0.8660254037844401500, 0.0000000000000000000 ) ) ;
#2030 = DIRECTION ( 'NONE',  ( -0.8660254037844398200, -0.4999999999999980000, 0.0000000000000000000 ) ) ;
#2031 = LINE ( 'NONE', #2032, #2033 ) ;
#2032 = CARTESIAN_POINT ( 'NONE',  ( 57.71139044255001900, 2.915756880733945300, 39.36999999999999700 ) ) ;
#2033 = VECTOR ( 'NONE', #2034, 1000.000000000000000 ) ;
#2034 = DIRECTION ( 'NONE',  ( 0.05045871559633025700, -0.9987261476602926600, 0.0000000000000000000 ) ) ;
#2035 = CIRCLE ( 'NONE', #2036, 6.349999999999994300 ) ;
#2036 = AXIS2_PLACEMENT_3D ( 'NONE', #2037, #2040, #2041 ) ;
#2037 = CARTESIAN_POINT ( 'NONE',  ( -64.13499999999999100, -29.98631564593765800, 0.0000000000000000000 ) ) ;
#2038 = EDGE_LOOP ( 'NONE', ( #414, #468, #553, #603 ) ) ;
#2039 = VERTEX_POINT ( 'NONE', #4566 ) ;
#2040 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#2041 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#2042 = FACE_OUTER_BOUND ( 'NONE', #694, .T. ) ;
#2043 = CYLINDRICAL_SURFACE ( 'NONE', #2044, 50.80000000000001100 ) ;
#2044 = AXIS2_PLACEMENT_3D ( 'NONE', #2045, #2046, #2047 ) ;
#2045 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 138.4300000000000100, 34.28999999999999900 ) ) ;
#2046 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#2047 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.00000000