ISO-10303-21;
HEADER;
FILE_DESCRIPTION (( 'STEP AP203' ),
    '1' );
FILE_NAME ('MC12-5-4.STEP',
    '2008-03-18T12:14:45',
    ( 'Bruce Toner' ),
    ( 'Effective Automation' ),
    'SwSTEP 2.0',
    'SolidWorks 2006233',
    '' );
FILE_SCHEMA (( 'CONFIG_CONTROL_DESIGN' ));
ENDSEC;

DATA;
#1 = ADVANCED_FACE ( 'NONE', ( #1114 ), #1112, .T. ) ;
#2 = VERTEX_POINT ( 'NONE', #1108 ) ;
#3 = ORIENTED_EDGE ( 'NONE', *, *, #18, .T. ) ;
#4 = EDGE_LOOP ( 'NONE', ( #19, #142, #3, #137 ) ) ;
#5 = VERTEX_POINT ( 'NONE', #1107 ) ;
#6 = VERTEX_POINT ( 'NONE', #1106 ) ;
#7 = EDGE_LOOP ( 'NONE', ( #10, #559 ) ) ;
#8 = EDGE_LOOP ( 'NONE', ( #123, #21 ) ) ;
#9 = ADVANCED_FACE ( 'NONE', ( #1105, #1104 ), #1174, .F. ) ;
#10 = ORIENTED_EDGE ( 'NONE', *, *, #11, .F. ) ;
#11 = EDGE_CURVE ( 'NONE', #415, #440, #1169, .T. ) ;
#12 = ADVANCED_FACE ( 'NONE', ( #1164, #1163 ), #1162, .T. ) ;
#13 = EDGE_CURVE ( 'NONE', #14, #5, #1157, .T. ) ;
#14 = VERTEX_POINT ( 'NONE', #1153 ) ;
#15 = EDGE_CURVE ( 'NONE', #2, #14, #1152, .T. ) ;
#16 = EDGE_LOOP ( 'NONE', ( #124, #121 ) ) ;
#17 = EDGE_CURVE ( 'NONE', #2, #6, #1146, .T. ) ;
#18 = EDGE_CURVE ( 'NONE', #6, #5, #1204, .T. ) ;
#19 = ORIENTED_EDGE ( 'NONE', *, *, #15, .F. ) ;
#20 = EDGE_CURVE ( 'NONE', #481, #76, #1199, .T. ) ;
#21 = ORIENTED_EDGE ( 'NONE', *, *, #20, .T. ) ;
#22 = ORIENTED_EDGE ( 'NONE', *, *, #263, .F. ) ;
#23 = ORIENTED_EDGE ( 'NONE', *, *, #737, .T. ) ;
#24 = EDGE_LOOP ( 'NONE', ( #26, #22 ) ) ;
#25 = EDGE_CURVE ( 'NONE', #182, #180, #1194, .T. ) ;
#26 = ORIENTED_EDGE ( 'NONE', *, *, #257, .F. ) ;
#27 = ORIENTED_EDGE ( 'NONE', *, *, #25, .F. ) ;
#28 = ORIENTED_EDGE ( 'NONE', *, *, #154, .F. ) ;
#29 = ORIENTED_EDGE ( 'NONE', *, *, #33, .F. ) ;
#30 = VERTEX_POINT ( 'NONE', #1189 ) ;
#31 = ORIENTED_EDGE ( 'NONE', *, *, #494, .T. ) ;
#32 = VERTEX_POINT ( 'NONE', #1188 ) ;
#33 = EDGE_CURVE ( 'NONE', #30, #667, #1187, .T. ) ;
#34 = ORIENTED_EDGE ( 'NONE', *, *, #903, .F. ) ;
#35 = EDGE_LOOP ( 'NONE', ( #37, #44, #341, #459, #338, #343, #332, #329 ) ) ;
#36 = ORIENTED_EDGE ( 'NONE', *, *, #39, .F. ) ;
#37 = ORIENTED_EDGE ( 'NONE', *, *, #345, .T. ) ;
#38 = EDGE_CURVE ( 'NONE', #458, #40, #1183, .T. ) ;
#39 = EDGE_CURVE ( 'NONE', #205, #30, #1179, .T. ) ;
#40 = VERTEX_POINT ( 'NONE', #1175 ) ;
#41 = EDGE_CURVE ( 'NONE', #342, #460, #1235, .T. ) ;
#42 = VERTEX_POINT ( 'NONE', #1231 ) ;
#43 = EDGE_LOOP ( 'NONE', ( #315, #31, #497, #516, #515, #509, #506, #504 ) ) ;
#44 = ORIENTED_EDGE ( 'NONE', *, *, #316, .T. ) ;
#45 = ADVANCED_FACE ( 'NONE', ( #1230, #1229 ), #1228, .F. ) ;
#46 = EDGE_CURVE ( 'NONE', #308, #50, #1223, .T. ) ;
#47 = ORIENTED_EDGE ( 'NONE', *, *, #46, .F. ) ;
#48 = VERTEX_POINT ( 'NONE', #1219 ) ;
#49 = EDGE_CURVE ( 'NONE', #50, #313, #1218, .T. ) ;
#50 = VERTEX_POINT ( 'NONE', #1214 ) ;
#51 = VERTEX_POINT ( 'NONE', #1213 ) ;
#52 = ORIENTED_EDGE ( 'NONE', *, *, #49, .F. ) ;
#53 = EDGE_CURVE ( 'NONE', #51, #32, #1212, .T. ) ;
#54 = DIRECTION ( 'NONE',  ( -0.8660254037844388200, 0.0000000000000000000, 0.4999999999999998300 ) ) ;
#55 = ORIENTED_EDGE ( 'NONE', *, *, #119, .T. ) ;
#56 = ORIENTED_EDGE ( 'NONE', *, *, #549, .T. ) ;
#57 = VERTEX_POINT ( 'NONE', #1208 ) ;
#58 = VERTEX_POINT ( 'NONE', #1207 ) ;
#59 = VERTEX_POINT ( 'NONE', #1206 ) ;
#60 = EDGE_LOOP ( 'NONE', ( #62, #55, #482, #63 ) ) ;
#61 = EDGE_CURVE ( 'NONE', #58, #59, #1270, .T. ) ;
#62 = ORIENTED_EDGE ( 'NONE', *, *, #61, .F. ) ;
#63 = ORIENTED_EDGE ( 'NONE', *, *, #71, .F. ) ;
#64 = VERTEX_POINT ( 'NONE', #1266 ) ;
#65 = ORIENTED_EDGE ( 'NONE', *, *, #79, .F. ) ;
#66 = ADVANCED_FACE ( 'NONE', ( #1265 ), #1264, .T. ) ;
#67 = VERTEX_POINT ( 'NONE', #1259 ) ;
#68 = ADVANCED_FACE ( 'NONE', ( #1258 ), #1257, .T. ) ;
#69 = ORIENTED_EDGE ( 'NONE', *, *, #543, .T. ) ;
#70 = VERTEX_POINT ( 'NONE', #1252 ) ;
#71 = EDGE_CURVE ( 'NONE', #59, #76, #1251, .T. ) ;
#72 = ORIENTED_EDGE ( 'NONE', *, *, #552, .F. ) ;
#73 = EDGE_LOOP ( 'NONE', ( #90, #86, #82, #108 ) ) ;
#74 = VERTEX_POINT ( 'NONE', #1246 ) ;
#75 = ORIENTED_EDGE ( 'NONE', *, *, #80, .T. ) ;
#76 = VERTEX_POINT ( 'NONE', #1245 ) ;
#77 = EDGE_CURVE ( 'NONE', #70, #78, #1244, .T. ) ;
#78 = VERTEX_POINT ( 'NONE', #1240 ) ;
#79 = EDGE_CURVE ( 'NONE', #537, #553, #1239, .T. ) ;
#80 = EDGE_CURVE ( 'NONE', #537, #548, #1300, .T. ) ;
#81 = VERTEX_POINT ( 'NONE', #1296 ) ;
#82 = ORIENTED_EDGE ( 'NONE', *, *, #88, .F. ) ;
#83 = VERTEX_POINT ( 'NONE', #1295 ) ;
#84 = VERTEX_POINT ( 'NONE', #1294 ) ;
#85 = EDGE_CURVE ( 'NONE', #81, #84, #1293, .T. ) ;
#86 = ORIENTED_EDGE ( 'NONE', *, *, #85, .T. ) ;
#87 = ORIENTED_EDGE ( 'NONE', *, *, #173, .T. ) ;
#88 = EDGE_CURVE ( 'NONE', #116, #84, #1289, .T. ) ;
#89 = EDGE_CURVE ( 'NONE', #81, #83, #1284, .T. ) ;
#90 = ORIENTED_EDGE ( 'NONE', *, *, #89, .F. ) ;
#91 = ORIENTED_EDGE ( 'NONE', *, *, #92, .T. ) ;
#92 = EDGE_CURVE ( 'NONE', #59, #99, #1279, .T. ) ;
#93 = EDGE_CURVE ( 'NONE', #99, #106, #1275, .T. ) ;
#94 = EDGE_CURVE ( 'NONE', #116, #103, #1332, .T. ) ;
#95 = VERTEX_POINT ( 'NONE', #1328 ) ;
#96 = EDGE_CURVE ( 'NONE', #67, #563, #1327, .T. ) ;
#97 = ORIENTED_EDGE ( 'NONE', *, *, #96, .F. ) ;
#98 = ORIENTED_EDGE ( 'NONE', *, *, #93, .T. ) ;
#99 = VERTEX_POINT ( 'NONE', #1322 ) ;
#100 = EDGE_CURVE ( 'NONE', #58, #106, #1321, .T. ) ;
#101 = ADVANCED_FACE ( 'NONE', ( #1317 ), #1316, .T. ) ;
#102 = ORIENTED_EDGE ( 'NONE', *, *, #61, .T. ) ;
#103 = VERTEX_POINT ( 'NONE', #1311 ) ;
#104 = ORIENTED_EDGE ( 'NONE', *, *, #94, .F. ) ;
#105 = ORIENTED_EDGE ( 'NONE', *, *, #115, .T. ) ;
#106 = VERTEX_POINT ( 'NONE', #1310 ) ;
#107 = ADVANCED_FACE ( 'NONE', ( #1309 ), #1307, .T. ) ;
#108 = ORIENTED_EDGE ( 'NONE', *, *, #110, .F. ) ;
#109 = EDGE_LOOP ( 'NONE', ( #102, #91, #98, #120 ) ) ;
#110 = EDGE_CURVE ( 'NONE', #83, #116, #1303, .T. ) ;
#111 = ADVANCED_FACE ( 'NONE', ( #1362 ), #1361, .T. ) ;
#112 = ORIENTED_EDGE ( 'NONE', *, *, #88, .T. ) ;
#113 = EDGE_LOOP ( 'NONE', ( #112, #114, #105, #104 ) ) ;
#114 = ORIENTED_EDGE ( 'NONE', *, *, #117, .T. ) ;
#115 = EDGE_CURVE ( 'NONE', #95, #103, #1355, .T. ) ;
#116 = VERTEX_POINT ( 'NONE', #1351 ) ;
#117 = EDGE_CURVE ( 'NONE', #84, #95, #1350, .T. ) ;
#118 = EDGE_LOOP ( 'NONE', ( #97, #433, #352, #425 ) ) ;
#119 = EDGE_CURVE ( 'NONE', #58, #481, #1346, .T. ) ;
#120 = ORIENTED_EDGE ( 'NONE', *, *, #100, .F. ) ;
#121 = ORIENTED_EDGE ( 'NONE', *, *, #115, .F. ) ;
#122 = EDGE_CURVE ( 'NONE', #103, #95, #1341, .T. ) ;
#123 = ORIENTED_EDGE ( 'NONE', *, *, #531, .T. ) ;
#124 = ORIENTED_EDGE ( 'NONE', *, *, #122, .F. ) ;
#125 = ORIENTED_EDGE ( 'NONE', *, *, #368, .T. ) ;
#126 = ORIENTED_EDGE ( 'NONE', *, *, #385, .T. ) ;
#127 = VERTEX_POINT ( 'NONE', #1336 ) ;
#128 = VERTEX_POINT ( 'NONE', #1335 ) ;
#129 = ADVANCED_FACE ( 'NONE', ( #1334 ), #1333, .T. ) ;
#130 = EDGE_CURVE ( 'NONE', #346, #456, #1390, .T. ) ;
#131 = VERTEX_POINT ( 'NONE', #1386 ) ;
#132 = EDGE_CURVE ( 'NONE', #397, #347, #1385, .T. ) ;
#133 = EDGE_CURVE ( 'NONE', #393, #347, #1381, .T. ) ;
#134 = VERTEX_POINT ( 'NONE', #1376 ) ;
#135 = EDGE_CURVE ( 'NONE', #291, #131, #1374, .T. ) ;
#136 = ORIENTED_EDGE ( 'NONE', *, *, #140, .F. ) ;
#137 = ORIENTED_EDGE ( 'NONE', *, *, #13, .F. ) ;
#138 = ORIENTED_EDGE ( 'NONE', *, *, #135, .T. ) ;
#139 = EDGE_CURVE ( 'NONE', #285, #222, #1369, .T. ) ;
#140 = EDGE_CURVE ( 'NONE', #286, #131, #1365, .T. ) ;
#141 = ADVANCED_FACE ( 'NONE', ( #1428 ), #1427, .T. ) ;
#142 = ORIENTED_EDGE ( 'NONE', *, *, #17, .T. ) ;
#143 = ORIENTED_EDGE ( 'NONE', *, *, #144, .F. ) ;
#144 = EDGE_CURVE ( 'NONE', #287, #292, #1421, .T. ) ;
#145 = ORIENTED_EDGE ( 'NONE', *, *, #154, .T. ) ;
#146 = ORIENTED_EDGE ( 'NONE', *, *, #353, .F. ) ;
#147 = VERTEX_POINT ( 'NONE', #1417 ) ;
#148 = ADVANCED_FACE ( 'NONE', ( #1416 ), #1414, .T. ) ;
#149 = ORIENTED_EDGE ( 'NONE', *, *, #150, .T. ) ;
#150 = EDGE_CURVE ( 'NONE', #177, #153, #1410, .T. ) ;
#151 = ADVANCED_FACE ( 'NONE', ( #1406, #1405 ), #1404, .T. ) ;
#152 = VERTEX_POINT ( 'NONE', #1399 ) ;
#153 = VERTEX_POINT ( 'NONE', #1398 ) ;
#154 = EDGE_CURVE ( 'NONE', #180, #182, #1458, .T. ) ;
#155 = EDGE_CURVE ( 'NONE', #152, #147, #1453, .T. ) ;
#156 = EDGE_CURVE ( 'NONE', #170, #169, #1449, .T. ) ;
#157 = ORIENTED_EDGE ( 'NONE', *, *, #155, .T. ) ;
#158 = ORIENTED_EDGE ( 'NONE', *, *, #162, .T. ) ;
#159 = EDGE_CURVE ( 'NONE', #153, #152, #1445, .T. ) ;
#160 = EDGE_CURVE ( 'NONE', #396, #378, #1441, .T. ) ;
#161 = ORIENTED_EDGE ( 'NONE', *, *, #179, .T. ) ;
#162 = EDGE_CURVE ( 'NONE', #169, #560, #1436, .T. ) ;
#163 = ORIENTED_EDGE ( 'NONE', *, *, #160, .F. ) ;
#164 = EDGE_LOOP ( 'NONE', ( #163, #204 ) ) ;
#165 = ORIENTED_EDGE ( 'NONE', *, *, #194, .T. ) ;
#166 = ORIENTED_EDGE ( 'NONE', *, *, #159, .T. ) ;
#167 = ORIENTED_EDGE ( 'NONE', *, *, #171, .F. ) ;
#168 = ORIENTED_EDGE ( 'NONE', *, *, #156, .T. ) ;
#169 = VERTEX_POINT ( 'NONE', #1432 ) ;
#170 = VERTEX_POINT ( 'NONE', #1431 ) ;
#171 = EDGE_CURVE ( 'NONE', #106, #99, #1493, .T. ) ;
#172 = EDGE_LOOP ( 'NONE', ( #166, #157, #165, #185, #192, #149 ) ) ;
#173 = EDGE_CURVE ( 'NONE', #438, #170, #1488, .T. ) ;
#174 = VERTEX_POINT ( 'NONE', #1484 ) ;
#175 = VERTEX_POINT ( 'NONE', #1483 ) ;
#176 = EDGE_LOOP ( 'NONE', ( #178, #146 ) ) ;
#177 = VERTEX_POINT ( 'NONE', #1482 ) ;
#178 = ORIENTED_EDGE ( 'NONE', *, *, #183, .F. ) ;
#179 = EDGE_CURVE ( 'NONE', #222, #296, #1481, .T. ) ;
#180 = VERTEX_POINT ( 'NONE', #1477 ) ;
#181 = ORIENTED_EDGE ( 'NONE', *, *, #139, .T. ) ;
#182 = VERTEX_POINT ( 'NONE', #1476 ) ;
#183 = EDGE_CURVE ( 'NONE', #436, #403, #1475, .T. ) ;
#184 = EDGE_CURVE ( 'NONE', #174, #195, #1470, .T. ) ;
#185 = ORIENTED_EDGE ( 'NONE', *, *, #188, .T. ) ;
#186 = EDGE_LOOP ( 'NONE', ( #193, #199, #201, #488, #530, #527 ) ) ;
#187 = VERTEX_POINT ( 'NONE', #1466 ) ;
#188 = EDGE_CURVE ( 'NONE', #187, #175, #1465, .T. ) ;
#189 = ADVANCED_FACE ( 'NONE', ( #1461, #1460 ), #1459, .F. ) ;
#190 = VERTEX_POINT ( 'NONE', #1519 ) ;
#191 = EDGE_CURVE ( 'NONE', #190, #182, #1518, .T. ) ;
#192 = ORIENTED_EDGE ( 'NONE', *, *, #196, .T. ) ;
#193 = ORIENTED_EDGE ( 'NONE', *, *, #184, .T. ) ;
#194 = EDGE_CURVE ( 'NONE', #147, #187, #1514, .T. ) ;
#195 = VERTEX_POINT ( 'NONE', #1510 ) ;
#196 = EDGE_CURVE ( 'NONE', #175, #177, #1509, .T. ) ;
#197 = EDGE_CURVE ( 'NONE', #349, #127, #1505, .T. ) ;
#198 = ORIENTED_EDGE ( 'NONE', *, *, #197, .F. ) ;
#199 = ORIENTED_EDGE ( 'NONE', *, *, #200, .T. ) ;
#200 = EDGE_CURVE ( 'NONE', #195, #210, #1501, .T. ) ;
#201 = ORIENTED_EDGE ( 'NONE', *, *, #487, .T. ) ;
#202 = EDGE_CURVE ( 'NONE', #227, #208, #1497, .T. ) ;
#203 = EDGE_CURVE ( 'NONE', #211, #214, #1554, .T. ) ;
#204 = ORIENTED_EDGE ( 'NONE', *, *, #392, .F. ) ;
#205 = VERTEX_POINT ( 'NONE', #1550 ) ;
#206 = ORIENTED_EDGE ( 'NONE', *, *, #207, .F. ) ;
#207 = EDGE_CURVE ( 'NONE', #208, #218, #1549, .T. ) ;
#208 = VERTEX_POINT ( 'NONE', #1545 ) ;
#209 = ORIENTED_EDGE ( 'NONE', *, *, #202, .F. ) ;
#210 = VERTEX_POINT ( 'NONE', #1544 ) ;
#211 = VERTEX_POINT ( 'NONE', #1543 ) ;
#212 = ORIENTED_EDGE ( 'NONE', *, *, #219, .F. ) ;
#213 = EDGE_CURVE ( 'NONE', #214, #227, #1542, .T. ) ;
#214 = VERTEX_POINT ( 'NONE', #1538 ) ;
#215 = VERTEX_POINT ( 'NONE', #1537 ) ;
#216 = EDGE_CURVE ( 'NONE', #215, #211, #1536, .T. ) ;
#217 = ORIENTED_EDGE ( 'NONE', *, *, #216, .F. ) ;
#218 = VERTEX_POINT ( 'NONE', #1532 ) ;
#219 = EDGE_CURVE ( 'NONE', #218, #215, #1531, .T. ) ;
#220 = EDGE_LOOP ( 'NONE', ( #224, #653, #700, #652, #29, #36 ) ) ;
#221 = ORIENTED_EDGE ( 'NONE', *, *, #213, .F. ) ;
#222 = VERTEX_POINT ( 'NONE', #1527 ) ;
#223 = VERTEX_POINT ( 'NONE', #1526 ) ;
#224 = ORIENTED_EDGE ( 'NONE', *, *, #225, .F. ) ;
#225 = EDGE_CURVE ( 'NONE', #223, #205, #1525, .T. ) ;
#226 = VERTEX_POINT ( 'NONE', #1588 ) ;
#227 = VERTEX_POINT ( 'NONE', #1587 ) ;
#228 = ORIENTED_EDGE ( 'NONE', *, *, #264, .F. ) ;
#229 = EDGE_LOOP ( 'NONE', ( #265, #258 ) ) ;
#230 = EDGE_CURVE ( 'NONE', #259, #522, #1586, .T. ) ;
#231 = ORIENTED_EDGE ( 'NONE', *, *, #230, .T. ) ;
#232 = VERTEX_POINT ( 'NONE', #1582 ) ;
#233 = ORIENTED_EDGE ( 'NONE', *, *, #260, .T. ) ;
#234 = ORIENTED_EDGE ( 'NONE', *, *, #420, .F. ) ;
#235 = ADVANCED_FACE ( 'NONE', ( #1581, #1580, #1579, #1578, #1577, #1576 ), #1575, .T. ) ;
#236 = VERTEX_POINT ( 'NONE', #1570 ) ;
#237 = ADVANCED_FACE ( 'NONE', ( #1569 ), #1568, .T. ) ;
#238 = EDGE_CURVE ( 'NONE', #236, #232, #1562, .T. ) ;
#239 = ORIENTED_EDGE ( 'NONE', *, *, #238, .T. ) ;
#240 = EDGE_LOOP ( 'NONE', ( #228, #234 ) ) ;
#241 = ORIENTED_EDGE ( 'NONE', *, *, #262, .T. ) ;
#242 = ORIENTED_EDGE ( 'NONE', *, *, #244, .F. ) ;
#243 = VERTEX_POINT ( 'NONE', #1558 ) ;
#244 = EDGE_CURVE ( 'NONE', #285, #270, #1557, .T. ) ;
#245 = EDGE_LOOP ( 'NONE', ( #239, #283, #261, #249 ) ) ;
#246 = EDGE_CURVE ( 'NONE', #251, #243, #1619, .T. ) ;
#247 = EDGE_LOOP ( 'NONE', ( #143, #293, #297, #300 ) ) ;
#248 = EDGE_CURVE ( 'NONE', #236, #252, #1615, .T. ) ;
#249 = ORIENTED_EDGE ( 'NONE', *, *, #248, .F. ) ;
#250 = ORIENTED_EDGE ( 'NONE', *, *, #246, .T. ) ;
#251 = VERTEX_POINT ( 'NONE', #1611 ) ;
#252 = VERTEX_POINT ( 'NONE', #1610 ) ;
#253 = ORIENTED_EDGE ( 'NONE', *, *, #203, .F. ) ;
#254 = EDGE_LOOP ( 'NONE', ( #253, #217, #212, #206, #209, #221 ) ) ;
#255 = EDGE_LOOP ( 'NONE', ( #125, #454, #429, #198 ) ) ;
#256 = EDGE_LOOP ( 'NONE', ( #23, #740, #743, #746, #749, #723, #725, #728 ) ) ;
#257 = EDGE_CURVE ( 'NONE', #252, #226, #1609, .T. ) ;
#258 = ORIENTED_EDGE ( 'NONE', *, *, #533, .F. ) ;
#259 = VERTEX_POINT ( 'NONE', #1604 ) ;
#260 = EDGE_CURVE ( 'NONE', #243, #259, #1603, .T. ) ;
#261 = ORIENTED_EDGE ( 'NONE', *, *, #263, .T. ) ;
#262 = EDGE_CURVE ( 'NONE', #520, #251, #1599, .T. ) ;
#263 = EDGE_CURVE ( 'NONE', #226, #252, #1595, .T. ) ;
#264 = EDGE_CURVE ( 'NONE', #421, #419, #1652, .T. ) ;
#265 = ORIENTED_EDGE ( 'NONE', *, *, #266, .F. ) ;
#266 = EDGE_CURVE ( 'NONE', #540, #74, #1647, .T. ) ;
#267 = ORIENTED_EDGE ( 'NONE', *, *, #268, .T. ) ;
#268 = EDGE_CURVE ( 'NONE', #296, #270, #1642, .T. ) ;
#269 = ADVANCED_FACE ( 'NONE', ( #1637 ), #1636, .T. ) ;
#270 = VERTEX_POINT ( 'NONE', #1631 ) ;
#271 = ORIENTED_EDGE ( 'NONE', *, *, #274, .F. ) ;
#272 = EDGE_CURVE ( 'NONE', #278, #180, #1630, .T. ) ;
#273 = ORIENTED_EDGE ( 'NONE', *, *, #277, .T. ) ;
#274 = EDGE_CURVE ( 'NONE', #275, #286, #1626, .T. ) ;
#275 = VERTEX_POINT ( 'NONE', #1621 ) ;
#276 = ORIENTED_EDGE ( 'NONE', *, *, #272, .T. ) ;
#277 = EDGE_CURVE ( 'NONE', #190, #278, #1684, .T. ) ;
#278 = VERTEX_POINT ( 'NONE', #1679 ) ;
#279 = ORIENTED_EDGE ( 'NONE', *, *, #191, .F. ) ;
#280 = EDGE_LOOP ( 'NONE', ( #273, #276, #145, #279 ) ) ;
#281 = EDGE_LOOP ( 'NONE', ( #181, #161, #267, #242 ) ) ;
#282 = ADVANCED_FACE ( 'NONE', ( #1678 ), #1675, .T. ) ;
#283 = ORIENTED_EDGE ( 'NONE', *, *, #284, .T. ) ;
#284 = EDGE_CURVE ( 'NONE', #232, #226, #1676, .T. ) ;
#285 = VERTEX_POINT ( 'NONE', #1668 ) ;
#286 = VERTEX_POINT ( 'NONE', #1667 ) ;
#287 = VERTEX_POINT ( 'NONE', #1666 ) ;
#288 = ORIENTED_EDGE ( 'NONE', *, *, #290, .T. ) ;
#289 = EDGE_LOOP ( 'NONE', ( #271, #288, #138, #136 ) ) ;
#290 = EDGE_CURVE ( 'NONE', #275, #291, #1665, .T. ) ;
#291 = VERTEX_POINT ( 'NONE', #1661 ) ;
#292 = VERTEX_POINT ( 'NONE', #1660 ) ;
#293 = ORIENTED_EDGE ( 'NONE', *, *, #294, .T. ) ;
#294 = EDGE_CURVE ( 'NONE', #287, #295, #1659, .T. ) ;
#295 = VERTEX_POINT ( 'NONE', #1655 ) ;
#296 = VERTEX_POINT ( 'NONE', #1654 ) ;
#297 = ORIENTED_EDGE ( 'NONE', *, *, #298, .T. ) ;
#298 = EDGE_CURVE ( 'NONE', #295, #299, #1147, .T. ) ;
#299 = VERTEX_POINT ( 'NONE', #1712 ) ;
#300 = ORIENTED_EDGE ( 'NONE', *, *, #301, .F. ) ;
#301 = EDGE_CURVE ( 'NONE', #292, #299, #1711, .T. ) ;
#302 = EDGE_CURVE ( 'NONE', #309, #304, #1707, .T. ) ;
#303 = ORIENTED_EDGE ( 'NONE', *, *, #302, .F. ) ;
#304 = VERTEX_POINT ( 'NONE', #1703 ) ;
#305 = ORIENTED_EDGE ( 'NONE', *, *, #306, .F. ) ;
#306 = EDGE_CURVE ( 'NONE', #304, #307, #1702, .T. ) ;
#307 = VERTEX_POINT ( 'NONE', #1698 ) ;
#308 = VERTEX_POINT ( 'NONE', #1697 ) ;
#309 = VERTEX_POINT ( 'NONE', #1696 ) ;
#310 = EDGE_CURVE ( 'NONE', #337, #319, #1695, .T. ) ;
#311 = ORIENTED_EDGE ( 'NONE', *, *, #310, .F. ) ;
#312 = EDGE_LOOP ( 'NONE', ( #323, #305, #303, #314, #52, #47 ) ) ;
#313 = VERTEX_POINT ( 'NONE', #1691 ) ;
#314 = ORIENTED_EDGE ( 'NONE', *, *, #317, .F. ) ;
#315 = ORIENTED_EDGE ( 'NONE', *, *, #53, .F. ) ;
#316 = EDGE_CURVE ( 'NONE', #340, #322, #1690, .T. ) ;
#317 = EDGE_CURVE ( 'NONE', #313, #309, #1686, .T. ) ;
#318 = EDGE_CURVE ( 'NONE', #319, #336, #1745, .T. ) ;
#319 = VERTEX_POINT ( 'NONE', #1741 ) ;
#320 = ORIENTED_EDGE ( 'NONE', *, *, #318, .F. ) ;
#321 = EDGE_CURVE ( 'NONE', #307, #308, #1740, .T. ) ;
#322 = VERTEX_POINT ( 'NONE', #1736 ) ;
#323 = ORIENTED_EDGE ( 'NONE', *, *, #321, .F. ) ;
#324 = EDGE_CURVE ( 'NONE', #336, #328, #1735, .T. ) ;
#325 = EDGE_CURVE ( 'NONE', #322, #342, #1731, .T. ) ;
#326 = EDGE_CURVE ( 'NONE', #40, #327, #1727, .T. ) ;
#327 = VERTEX_POINT ( 'NONE', #1723 ) ;
#328 = VERTEX_POINT ( 'NONE', #1722 ) ;
#329 = ORIENTED_EDGE ( 'NONE', *, *, #339, .T. ) ;
#330 = EDGE_CURVE ( 'NONE', #328, #42, #1721, .T. ) ;
#331 = ORIENTED_EDGE ( 'NONE', *, *, #330, .F. ) ;
#332 = ORIENTED_EDGE ( 'NONE', *, *, #326, .T. ) ;
#333 = EDGE_LOOP ( 'NONE', ( #334, #1653, #331, #335, #320, #311 ) ) ;
#334 = ORIENTED_EDGE ( 'NONE', *, *, #464, .F. ) ;
#335 = ORIENTED_EDGE ( 'NONE', *, *, #324, .F. ) ;
#336 = VERTEX_POINT ( 'NONE', #1717 ) ;
#337 = VERTEX_POINT ( 'NONE', #1778 ) ;
#338 = ORIENTED_EDGE ( 'NONE', *, *, #465, .T. ) ;
#339 = EDGE_CURVE ( 'NONE', #327, #48, #1777, .T. ) ;
#340 = VERTEX_POINT ( 'NONE', #1773 ) ;
#341 = ORIENTED_EDGE ( 'NONE', *, *, #325, .T. ) ;
#342 = VERTEX_POINT ( 'NONE', #1772 ) ;
#343 = ORIENTED_EDGE ( 'NONE', *, *, #38, .T. ) ;
#344 = EDGE_CURVE ( 'NONE', #42, #461, #1771, .T. ) ;
#345 = EDGE_CURVE ( 'NONE', #48, #340, #1767, .T. ) ;
#346 = VERTEX_POINT ( 'NONE', #1763 ) ;
#347 = VERTEX_POINT ( 'NONE', #1762 ) ;
#348 = ORIENTED_EDGE ( 'NONE', *, *, #354, .T. ) ;
#349 = VERTEX_POINT ( 'NONE', #1761 ) ;
#350 = VERTEX_POINT ( 'NONE', #1760 ) ;
#351 = ORIENTED_EDGE ( 'NONE', *, *, #365, .F. ) ;
#352 = ORIENTED_EDGE ( 'NONE', *, *, #353, .T. ) ;
#353 = EDGE_CURVE ( 'NONE', #403, #436, #1759, .T. ) ;
#354 = EDGE_CURVE ( 'NONE', #435, #350, #1754, .T. ) ;
#355 = ADVANCED_FACE ( 'NONE', ( #1750 ), #1749, .T. ) ;
#356 = VERTEX_POINT ( 'NONE', #1808 ) ;
#357 = EDGE_LOOP ( 'NONE', ( #398, #453, #418, #426 ) ) ;
#358 = EDGE_CURVE ( 'NONE', #363, #396, #1807, .T. ) ;
#359 = ORIENTED_EDGE ( 'NONE', *, *, #449, .F. ) ;
#360 = ORIENTED_EDGE ( 'NONE', *, *, #371, .F. ) ;
#361 = EDGE_CURVE ( 'NONE', #367, #378, #1803, .T. ) ;
#362 = ORIENTED_EDGE ( 'NONE', *, *, #361, .T. ) ;
#363 = VERTEX_POINT ( 'NONE', #1799 ) ;
#364 = ORIENTED_EDGE ( 'NONE', *, *, #358, .F. ) ;
#365 = EDGE_CURVE ( 'NONE', #367, #363, #1798, .T. ) ;
#366 = VERTEX_POINT ( 'NONE', #1793 ) ;
#367 = VERTEX_POINT ( 'NONE', #1792 ) ;
#368 = EDGE_CURVE ( 'NONE', #349, #346, #1791, .T. ) ;
#369 = ORIENTED_EDGE ( 'NONE', *, *, #445, .T. ) ;
#370 = ADVANCED_FACE ( 'NONE', ( #1786 ), #1785, .T. ) ;
#371 = EDGE_CURVE ( 'NONE', #373, #397, #1779, .T. ) ;
#372 = ORIENTED_EDGE ( 'NONE', *, *, #375, .T. ) ;
#373 = VERTEX_POINT ( 'NONE', #1837 ) ;
#374 = ORIENTED_EDGE ( 'NONE', *, *, #384, .F. ) ;
#375 = EDGE_CURVE ( 'NONE', #350, #422, #1836, .T. ) ;
#376 = EDGE_CURVE ( 'NONE', #67, #403, #1831, .T. ) ;
#377 = EDGE_CURVE ( 'NONE', #78, #438, #1827, .T. ) ;
#378 = VERTEX_POINT ( 'NONE', #1823 ) ;
#379 = ORIENTED_EDGE ( 'NONE', *, *, #392, .T. ) ;
#380 = ADVANCED_FACE ( 'NONE', ( #1822 ), #1821, .T. ) ;
#381 = EDGE_CURVE ( 'NONE', #439, #395, #1816, .T. ) ;
#382 = ADVANCED_FACE ( 'NONE', ( #1812 ), #1874, .T. ) ;
#383 = EDGE_LOOP ( 'NONE', ( #351, #362, #379, #364 ) ) ;
#384 = EDGE_CURVE ( 'NONE', #356, #422, #1869, .T. ) ;
#385 = EDGE_CURVE ( 'NONE', #440, #415, #1865, .T. ) ;
#386 = VERTEX_POINT ( 'NONE', #1860 ) ;
#387 = ADVANCED_FACE ( 'NONE', ( #1859 ), #1858, .T. ) ;
#388 = EDGE_LOOP ( 'NONE', ( #360, #399, #424, #442 ) ) ;
#389 = ORIENTED_EDGE ( 'NONE', *, *, #390, .T. ) ;
#390 = EDGE_CURVE ( 'NONE', #434, #391, #1857, .T. ) ;
#391 = VERTEX_POINT ( 'NONE', #1849 ) ;
#392 = EDGE_CURVE ( 'NONE', #378, #396, #1848, .T. ) ;
#393 = VERTEX_POINT ( 'NONE', #1843 ) ;
#394 = ORIENTED_EDGE ( 'NONE', *, *, #405, .T. ) ;
#395 = VERTEX_POINT ( 'NONE', #1842 ) ;
#396 = VERTEX_POINT ( 'NONE', #1841 ) ;
#397 = VERTEX_POINT ( 'NONE', #1905 ) ;
#398 = ORIENTED_EDGE ( 'NONE', *, *, #417, .F. ) ;
#399 = ORIENTED_EDGE ( 'NONE', *, *, #400, .T. ) ;
#400 = EDGE_CURVE ( 'NONE', #373, #393, #1904, .T. ) ;
#401 = VERTEX_POINT ( 'NONE', #1900 ) ;
#402 = EDGE_CURVE ( 'NONE', #366, #416, #1899, .T. ) ;
#403 = VERTEX_POINT ( 'NONE', #1895 ) ;
#404 = EDGE_CURVE ( 'NONE', #435, #356, #1894, .T. ) ;
#405 = EDGE_CURVE ( 'NONE', #391, #395, #1889, .T. ) ;
#406 = ORIENTED_EDGE ( 'NONE', *, *, #381, .F. ) ;
#407 = ORIENTED_EDGE ( 'NONE', *, *, #402, .T. ) ;
#408 = VERTEX_POINT ( 'NONE', #1884 ) ;
#409 = EDGE_LOOP ( 'NONE', ( #410, #348, #372, #374 ) ) ;
#410 = ORIENTED_EDGE ( 'NONE', *, *, #404, .F. ) ;
#411 = EDGE_LOOP ( 'NONE', ( #413, #407, #369, #450 ) ) ;
#412 = EDGE_LOOP ( 'NONE', ( #359, #452, #126, #451 ) ) ;
#413 = ORIENTED_EDGE ( 'NONE', *, *, #444, .F. ) ;
#414 = VERTEX_POINT ( 'NONE', #1883 ) ;
#415 = VERTEX_POINT ( 'NONE', #1882 ) ;
#416 = VERTEX_POINT ( 'NONE', #1881 ) ;
#417 = EDGE_CURVE ( 'NONE', #386, #401, #1880, .T. ) ;
#418 = ORIENTED_EDGE ( 'NONE', *, *, #420, .T. ) ;
#419 = VERTEX_POINT ( 'NONE', #1875 ) ;
#420 = EDGE_CURVE ( 'NONE', #419, #421, #1937, .T. ) ;
#421 = VERTEX_POINT ( 'NONE', #1932 ) ;
#422 = VERTEX_POINT ( 'NONE', #1931 ) ;
#423 = EDGE_CURVE ( 'NONE', #456, #127, #1930, .T. ) ;
#425 = ORIENTED_EDGE ( 'NONE', *, *, #437, .F. ) ;
#424 = ORIENTED_EDGE ( 'NONE', *, *, #133, .T. ) ;
#426 = ORIENTED_EDGE ( 'NONE', *, *, #430, .F. ) ;
#427 = EDGE_CURVE ( 'NONE', #408, #415, #1925, .T. ) ;
#428 = EDGE_CURVE ( 'NONE', #134, #414, #1921, .T. ) ;
#429 = ORIENTED_EDGE ( 'NONE', *, *, #423, .T. ) ;
#430 = EDGE_CURVE ( 'NONE', #401, #421, #1917, .T. ) ;
#431 = ORIENTED_EDGE ( 'NONE', *, *, #432, .T. ) ;
#432 = EDGE_CURVE ( 'NONE', #439, #434, #1913, .T. ) ;
#433 = ORIENTED_EDGE ( 'NONE', *, *, #376, .T. ) ;
#434 = VERTEX_POINT ( 'NONE', #1908 ) ;
#435 = VERTEX_POINT ( 'NONE', #1907 ) ;
#436 = VERTEX_POINT ( 'NONE', #1906 ) ;
#437 = EDGE_CURVE ( 'NONE', #563, #436, #1969, .T. ) ;
#438 = VERTEX_POINT ( 'NONE', #1965 ) ;
#439 = VERTEX_POINT ( 'NONE', #1964 ) ;
#440 = VERTEX_POINT ( 'NONE', #1963 ) ;
#441 = ADVANCED_FACE ( 'NONE', ( #1962 ), #1960, .T. ) ;
#442 = ORIENTED_EDGE ( 'NONE', *, *, #132, .F. ) ;
#443 = EDGE_CURVE ( 'NONE', #128, #440, #1956, .T. ) ;
#444 = EDGE_CURVE ( 'NONE', #366, #134, #1952, .T. ) ;
#445 = EDGE_CURVE ( 'NONE', #416, #414, #1947, .T. ) ;
#446 = EDGE_LOOP ( 'NONE', ( #431, #389, #394, #406 ) ) ;
#447 = EDGE_LOOP ( 'NONE', ( #448, #1395, #1140, #1142 ) ) ;
#448 = ORIENTED_EDGE ( 'NONE', *, *, #207, .T. ) ;
#449 = EDGE_CURVE ( 'NONE', #128, #408, #1941, .T. ) ;
#450 = ORIENTED_EDGE ( 'NONE', *, *, #428, .F. ) ;
#451 = ORIENTED_EDGE ( 'NONE', *, *, #427, .F. ) ;
#452 = ORIENTED_EDGE ( 'NONE', *, *, #443, .T. ) ;
#453 = ORIENTED_EDGE ( 'NONE', *, *, #457, .T. ) ;
#454 = ORIENTED_EDGE ( 'NONE', *, *, #130, .T. ) ;
#455 = ADVANCED_FACE ( 'NONE', ( #1942 ), #1998, .T. ) ;
#456 = VERTEX_POINT ( 'NONE', #1994 ) ;
#457 = EDGE_CURVE ( 'NONE', #386, #419, #1993, .T. ) ;
#458 = VERTEX_POINT ( 'NONE', #1989 ) ;
#459 = ORIENTED_EDGE ( 'NONE', *, *, #41, .T. ) ;
#460 = VERTEX_POINT ( 'NONE', #1988 ) ;
#461 = VERTEX_POINT ( 'NONE', #1987 ) ;
#462 = ORIENTED_EDGE ( 'NONE', *, *, #246, .F. ) ;
#463 = ORIENTED_EDGE ( 'NONE', *, *, #468, .F. ) ;
#464 = EDGE_CURVE ( 'NONE', #461, #337, #1986, .T. ) ;
#465 = EDGE_CURVE ( 'NONE', #460, #458, #1982, .T. ) ;
#466 = EDGE_LOOP ( 'NONE', ( #467, #463, #462, #606 ) ) ;
#467 = ORIENTED_EDGE ( 'NONE', *, *, #202, .T. ) ;
#468 = EDGE_CURVE ( 'NONE', #243, #208, #1978, .T. ) ;
#469 = ADVANCED_FACE ( 'NONE', ( #1974 ), #1973, .F. ) ;
#470 = ORIENTED_EDGE ( 'NONE', *, *, #1123, .T. ) ;
#471 = ORIENTED_EDGE ( 'NONE', *, *, #262, .F. ) ;
#472 = EDGE_CURVE ( 'NONE', #251, #227, #1972, .T. ) ;
#473 = ORIENTED_EDGE ( 'NONE', *, *, #472, .F. ) ;
#474 = ORIENTED_EDGE ( 'NONE', *, *, #213, .T. ) ;
#475 = EDGE_LOOP ( 'NONE', ( #474, #473, #471, #470 ) ) ;
#476 = ADVANCED_FACE ( 'NONE', ( #2028 ), #2027, .F. ) ;
#477 = ORIENTED_EDGE ( 'NONE', *, *, #219, .T. ) ;
#478 = ORIENTED_EDGE ( 'NONE', *, *, #1118, .F. ) ;
#479 = EDGE_LOOP ( 'NONE', ( #477, #478, #593, #594 ) ) ;
#480 = ADVANCED_FACE ( 'NONE', ( #2022 ), #2021, .F. ) ;
#481 = VERTEX_POINT ( 'NONE', #2016 ) ;
#482 = ORIENTED_EDGE ( 'NONE', *, *, #531, .F. ) ;
#483 = VERTEX_POINT ( 'NONE', #2015 ) ;
#484 = EDGE_CURVE ( 'NONE', #486, #483, #2014, .T. ) ;
#485 = EDGE_CURVE ( 'NONE', #489, #486, #2010, .T. ) ;
#486 = VERTEX_POINT ( 'NONE', #2006 ) ;
#487 = EDGE_CURVE ( 'NONE', #210, #489, #2005, .T. ) ;
#488 = ORIENTED_EDGE ( 'NONE', *, *, #485, .T. ) ;
#489 = VERTEX_POINT ( 'NONE', #2001 ) ;
#490 = ORIENTED_EDGE ( 'NONE', *, *, #491, .F. ) ;
#491 = EDGE_CURVE ( 'NONE', #422, #350, #2066, .T. ) ;
#492 = EDGE_LOOP ( 'NONE', ( #568, #569, #558, #87, #168, #158 ) ) ;
#493 = VERTEX_POINT ( 'NONE', #2061 ) ;
#494 = EDGE_CURVE ( 'NONE', #51, #495, #2060, .T. ) ;
#495 = VERTEX_POINT ( 'NONE', #2056 ) ;
#496 = EDGE_CURVE ( 'NONE', #493, #495, #2055, .T. ) ;
#497 = ORIENTED_EDGE ( 'NONE', *, *, #496, .F. ) ;
#498 = ADVANCED_FACE ( 'NONE', ( #2051, #2050, #2049, #2048, #2047, #2046 ), #2045, .T. ) ;
#499 = ORIENTED_EDGE ( 'NONE', *, *, #445, .F. ) ;
#500 = EDGE_CURVE ( 'NONE', #414, #416, #2040, .T. ) ;
#501 = EDGE_LOOP ( 'NONE', ( #27, #28 ) ) ;
#502 = EDGE_CURVE ( 'NONE', #510, #32, #2035, .T. ) ;
#503 = EDGE_LOOP ( 'NONE', ( #517, #499 ) ) ;
#504 = ORIENTED_EDGE ( 'NONE', *, *, #502, .T. ) ;
#505 = VERTEX_POINT ( 'NONE', #2097 ) ;
#506 = ORIENTED_EDGE ( 'NONE', *, *, #508, .F. ) ;
#507 = EDGE_CURVE ( 'NONE', #505, #511, #2096, .T. ) ;
#508 = EDGE_CURVE ( 'NONE', #510, #511, #2092, .T. ) ;
#509 = ORIENTED_EDGE ( 'NONE', *, *, #507, .T. ) ;
#510 = VERTEX_POINT ( 'NONE', #2088 ) ;
#511 = VERTEX_POINT ( 'NONE', #2087 ) ;
#512 = EDGE_CURVE ( 'NONE', #505, #513, #2086, .T. ) ;
#513 = VERTEX_POINT ( 'NONE', #2082 ) ;
#514 = EDGE_CURVE ( 'NONE', #493, #513, #2081, .T. ) ;
#515 = ORIENTED_EDGE ( 'NONE', *, *, #512, .F. ) ;
#516 = ORIENTED_EDGE ( 'NONE', *, *, #514, .T. ) ;
#517 = ORIENTED_EDGE ( 'NONE', *, *, #500, .F. ) ;
#518 = ORIENTED_EDGE ( 'NONE', *, *, #519, .T. ) ;
#519 = EDGE_CURVE ( 'NONE', #521, #520, #2077, .T. ) ;
#520 = VERTEX_POINT ( 'NONE', #2073 ) ;
#521 = VERTEX_POINT ( 'NONE', #2072 ) ;
#522 = VERTEX_POINT ( 'NONE', #2071 ) ;
#523 = EDGE_LOOP ( 'NONE', ( #526, #518, #241, #250, #233, #231 ) ) ;
#524 = EDGE_CURVE ( 'NONE', #522, #521, #2070, .T. ) ;
#525 = ADVANCED_FACE ( 'NONE', ( #2130, #2129 ), #2128, .T. ) ;
#526 = ORIENTED_EDGE ( 'NONE', *, *, #524, .T. ) ;
#527 = ORIENTED_EDGE ( 'NONE', *, *, #528, .T. ) ;
#528 = EDGE_CURVE ( 'NONE', #483, #174, #2123, .T. ) ;
#529 = EDGE_LOOP ( 'NONE', ( #490, #566 ) ) ;
#530 = ORIENTED_EDGE ( 'NONE', *, *, #484, .T. ) ;
#531 = EDGE_CURVE ( 'NONE', #76, #481, #2119, .T. ) ;
#532 = ORIENTED_EDGE ( 'NONE', *, *, #533, .T. ) ;
#533 = EDGE_CURVE ( 'NONE', #74, #540, #2114, .T. ) ;
#534 = EDGE_CURVE ( 'NONE', #553, #550, #2109, .T. ) ;
#535 = ADVANCED_FACE ( 'NONE', ( #2105 ), #2104, .F. ) ;
#536 = EDGE_LOOP ( 'NONE', ( #65, #75, #69 ) ) ;
#537 = VERTEX_POINT ( 'NONE', #2162 ) ;
#538 = EDGE_CURVE ( 'NONE', #57, #74, #2161, .T. ) ;
#539 = ORIENTED_EDGE ( 'NONE', *, *, #544, .F. ) ;
#540 = VERTEX_POINT ( 'NONE', #2157 ) ;
#541 = EDGE_LOOP ( 'NONE', ( #542, #554, #56, #551 ) ) ;
#542 = ORIENTED_EDGE ( 'NONE', *, *, #543, .F. ) ;
#543 = EDGE_CURVE ( 'NONE', #548, #553, #2156, .T. ) ;
#544 = EDGE_CURVE ( 'NONE', #64, #540, #2151, .T. ) ;
#545 = ADVANCED_FACE ( 'NONE', ( #2147 ), #2146, .F. ) ;
#546 = EDGE_LOOP ( 'NONE', ( #72, #547, #532, #539 ) ) ;
#547 = ORIENTED_EDGE ( 'NONE', *, *, #538, .T. ) ;
#548 = VERTEX_POINT ( 'NONE', #2141 ) ;
#549 = EDGE_CURVE ( 'NONE', #556, #550, #2140, .T. ) ;
#550 = VERTEX_POINT ( 'NONE', #2135 ) ;
#551 = ORIENTED_EDGE ( 'NONE', *, *, #534, .F. ) ;
#552 = EDGE_CURVE ( 'NONE', #57, #64, #2134, .T. ) ;
#553 = VERTEX_POINT ( 'NONE', #2195 ) ;
#554 = ORIENTED_EDGE ( 'NONE', *, *, #555, .T. ) ;
#555 = EDGE_CURVE ( 'NONE', #548, #556, #2194, .T. ) ;
#556 = VERTEX_POINT ( 'NONE', #2190 ) ;
#557 = EDGE_CURVE ( 'NONE', #560, #70, #2189, .T. ) ;
#558 = ORIENTED_EDGE ( 'NONE', *, *, #377, .T. ) ;
#559 = ORIENTED_EDGE ( 'NONE', *, *, #385, .F. ) ;
#560 = VERTEX_POINT ( 'NONE', #2185 ) ;
#561 = ORIENTED_EDGE ( 'NONE', *, *, #93, .F. ) ;
#562 = EDGE_LOOP ( 'NONE', ( #167, #561 ) ) ;
#563 = VERTEX_POINT ( 'NONE', #2184 ) ;
#564 = MANIFOLD_SOLID_BREP ( 'NONE', #683 ) ;
#565 = ADVANCED_FACE ( 'NONE', ( #2183 ), #2180, .F. ) ;
#566 = ORIENTED_EDGE ( 'NONE', *, *, #375, .F. ) ;
#567 = ADVANCED_FACE ( 'NONE', ( #2181, #2176 ), #2175, .F. ) ;
#568 = ORIENTED_EDGE ( 'NONE', *, *, #557, .T. ) ;
#569 = ORIENTED_EDGE ( 'NONE', *, *, #77, .T. ) ;
#570 = ADVANCED_FACE ( 'NONE', ( #2170 ), #2169, .F. ) ;
#571 = ORIENTED_EDGE ( 'NONE', *, *, #49, .T. ) ;
#572 = ORIENTED_EDGE ( 'NONE', *, *, #573, .F. ) ;
#573 = EDGE_CURVE ( 'NONE', #175, #313, #2163, .T. ) ;
#574 = ORIENTED_EDGE ( 'NONE', *, *, #188, .F. ) ;
#575 = ORIENTED_EDGE ( 'NONE', *, *, #589, .T. ) ;
#576 = ADVANCED_FACE ( 'NONE', ( #2227 ), #2226, .F. ) ;
#577 = EDGE_LOOP ( 'NONE', ( #578, #579, #632, #633 ) ) ;
#578 = ORIENTED_EDGE ( 'NONE', *, *, #317, .T. ) ;
#579 = ORIENTED_EDGE ( 'NONE', *, *, #580, .F. ) ;
#580 = EDGE_CURVE ( 'NONE', #177, #309, #2221, .T. ) ;
#581 = ORIENTED_EDGE ( 'NONE', *, *, #582, .F. ) ;
#582 = EDGE_CURVE ( 'NONE', #147, #308, #2217, .T. ) ;
#583 = ORIENTED_EDGE ( 'NONE', *, *, #155, .F. ) ;
#584 = ORIENTED_EDGE ( 'NONE', *, *, #599, .T. ) ;
#585 = ADVANCED_FACE ( 'NONE', ( #2213 ), #2212, .F. ) ;
#586 = EDGE_LOOP ( 'NONE', ( #587, #588, #590, #591 ) ) ;
#587 = ORIENTED_EDGE ( 'NONE', *, *, #46, .T. ) ;
#588 = ORIENTED_EDGE ( 'NONE', *, *, #589, .F. ) ;
#589 = EDGE_CURVE ( 'NONE', #187, #50, #2207, .T. ) ;
#590 = ORIENTED_EDGE ( 'NONE', *, *, #194, .F. ) ;
#591 = ORIENTED_EDGE ( 'NONE', *, *, #582, .T. ) ;
#592 = EDGE_LOOP ( 'NONE', ( #571, #572, #574, #575 ) ) ;
#593 = ORIENTED_EDGE ( 'NONE', *, *, #230, .F. ) ;
#594 = ORIENTED_EDGE ( 'NONE', *, *, #1396, .T. ) ;
#595 = ADVANCED_FACE ( 'NONE', ( #2203 ), #2202, .F. ) ;
#596 = EDGE_LOOP ( 'NONE', ( #597, #598, #600, #601 ) ) ;
#597 = ORIENTED_EDGE ( 'NONE', *, *, #306, .T. ) ;
#598 = ORIENTED_EDGE ( 'NONE', *, *, #599, .F. ) ;
#599 = EDGE_CURVE ( 'NONE', #152, #307, #2201, .T. ) ;
#600 = ORIENTED_EDGE ( 'NONE', *, *, #159, .F. ) ;
#601 = ORIENTED_EDGE ( 'NONE', *, *, #602, .T. ) ;
#602 = EDGE_CURVE ( 'NONE', #153, #304, #2258, .T. ) ;
#603 = ADVANCED_FACE ( 'NONE', ( #2254 ), #2253, .F. ) ;
#604 = EDGE_LOOP ( 'NONE', ( #605, #581, #583, #584 ) ) ;
#605 = ORIENTED_EDGE ( 'NONE', *, *, #321, .T. ) ;
#606 = ORIENTED_EDGE ( 'NONE', *, *, #472, .T. ) ;
#607 = ADVANCED_FACE ( 'NONE', ( #2248 ), #2247, .F. ) ;
#608 = ORIENTED_EDGE ( 'NONE', *, *, #160, .T. ) ;
#609 = ADVANCED_FACE ( 'NONE', ( #2242 ), #2241, .T. ) ;
#610 = EDGE_LOOP ( 'NONE', ( #611, #612 ) ) ;
#611 = ORIENTED_EDGE ( 'NONE', *, *, #630, .T. ) ;
#612 = ORIENTED_EDGE ( 'NONE', *, *, #365, .T. ) ;
#613 = ADVANCED_FACE ( 'NONE', ( #2236 ), #2235, .T. ) ;
#614 = EDGE_LOOP ( 'NONE', ( #615, #616, #618, #619 ) ) ;
#615 = ORIENTED_EDGE ( 'NONE', *, *, #354, .F. ) ;
#616 = ORIENTED_EDGE ( 'NONE', *, *, #617, .F. ) ;
#617 = EDGE_CURVE ( 'NONE', #356, #435, #2234, .T. ) ;
#618 = ORIENTED_EDGE ( 'NONE', *, *, #384, .T. ) ;
#619 = ORIENTED_EDGE ( 'NONE', *, *, #491, .T. ) ;
#620 = ORIENTED_EDGE ( 'NONE', *, *, #430, .T. ) ;
#621 = ORIENTED_EDGE ( 'NONE', *, *, #264, .T. ) ;
#622 = ADVANCED_FACE ( 'NONE', ( #2291 ), #2290, .T. ) ;
#623 = EDGE_LOOP ( 'NONE', ( #624, #625 ) ) ;
#624 = ORIENTED_EDGE ( 'NONE', *, *, #644, .T. ) ;
#625 = ORIENTED_EDGE ( 'NONE', *, *, #417, .T. ) ;
#626 = ADVANCED_FACE ( 'NONE', ( #2285 ), #2284, .T. ) ;
#627 = EDGE_LOOP ( 'NONE', ( #628, #629, #631, #608 ) ) ;
#628 = ORIENTED_EDGE ( 'NONE', *, *, #361, .F. ) ;
#629 = ORIENTED_EDGE ( 'NONE', *, *, #630, .F. ) ;
#630 = EDGE_CURVE ( 'NONE', #363, #367, #2283, .T. ) ;
#631 = ORIENTED_EDGE ( 'NONE', *, *, #358, .T. ) ;
#632 = ORIENTED_EDGE ( 'NONE', *, *, #196, .F. ) ;
#633 = ORIENTED_EDGE ( 'NONE', *, *, #573, .T. ) ;
#634 = ADVANCED_FACE ( 'NONE', ( #2274 ), #2273, .F. ) ;
#635 = EDGE_LOOP ( 'NONE', ( #636, #637, #638, #639 ) ) ;
#636 = ORIENTED_EDGE ( 'NONE', *, *, #302, .T. ) ;
#637 = ORIENTED_EDGE ( 'NONE', *, *, #602, .F. ) ;
#638 = ORIENTED_EDGE ( 'NONE', *, *, #150, .F. ) ;
#639 = ORIENTED_EDGE ( 'NONE', *, *, #580, .T. ) ;
#640 = ADVANCED_FACE ( 'NONE', ( #2268 ), #2267, .T. ) ;
#641 = EDGE_LOOP ( 'NONE', ( #642, #643, #620, #621 ) ) ;
#642 = ORIENTED_EDGE ( 'NONE', *, *, #457, .F. ) ;
#643 = ORIENTED_EDGE ( 'NONE', *, *, #644, .F. ) ;
#644 = EDGE_CURVE ( 'NONE', #401, #386, #2327, .T. ) ;
#645 = EDGE_CURVE ( 'NONE', #83, #81, #2323, .T. ) ;
#646 = ORIENTED_EDGE ( 'NONE', *, *, #89, .T. ) ;
#647 = ADVANCED_FACE ( 'NONE', ( #2318 ), #2317, .T. ) ;
#648 = EDGE_LOOP ( 'NONE', ( #650, #651, #696, #697 ) ) ;
#649 = EDGE_CURVE ( 'NONE', #701, #718, #2312, .T. ) ;
#650 = ORIENTED_EDGE ( 'NONE', *, *, #85, .F. ) ;
#651 = ORIENTED_EDGE ( 'NONE', *, *, #645, .F. ) ;
#652 = ORIENTED_EDGE ( 'NONE', *, *, #666, .F. ) ;
#653 = ORIENTED_EDGE ( 'NONE', *, *, #703, .F. ) ;
#654 = ORIENTED_EDGE ( 'NONE', *, *, #676, .T. ) ;
#655 = ORIENTED_EDGE ( 'NONE', *, *, #96, .T. ) ;
#656 = ADVANCED_FACE ( 'NONE', ( #2308 ), #2306, .T. ) ;
#657 = EDGE_LOOP ( 'NONE', ( #658, #659, #661, #662 ) ) ;
#658 = ORIENTED_EDGE ( 'NONE', *, *, #92, .F. ) ;
#659 = ORIENTED_EDGE ( 'NONE', *, *, #660, .T. ) ;
#660 = EDGE_CURVE ( 'NONE', #59, #58, #2301, .T. ) ;
#661 = ORIENTED_EDGE ( 'NONE', *, *, #100, .T. ) ;
#662 = ORIENTED_EDGE ( 'NONE', *, *, #171, .T. ) ;
#663 = ADVANCED_FACE ( 'NONE', ( #2297 ), #2296, .T. ) ;
#664 = EDGE_LOOP ( 'NONE', ( #665, #711, #713, #714 ) ) ;
#665 = ORIENTED_EDGE ( 'NONE', *, *, #117, .F. ) ;
#666 = EDGE_CURVE ( 'NONE', #667, #701, #2355, .T. ) ;
#667 = VERTEX_POINT ( 'NONE', #2351 ) ;
#668 = ADVANCED_FACE ( 'NONE', ( #2350 ), #2349, .T. ) ;
#669 = EDGE_LOOP ( 'NONE', ( #670, #671 ) ) ;
#670 = ORIENTED_EDGE ( 'NONE', *, *, #617, .T. ) ;
#671 = ORIENTED_EDGE ( 'NONE', *, *, #404, .T. ) ;
#672 = ADVANCED_FACE ( 'NONE', ( #2344 ), #2343, .T. ) ;
#673 = EDGE_LOOP ( 'NONE', ( #674, #675, #677, #678 ) ) ;
#674 = ORIENTED_EDGE ( 'NONE', *, *, #376, .F. ) ;
#675 = ORIENTED_EDGE ( 'NONE', *, *, #676, .F. ) ;
#676 = EDGE_CURVE ( 'NONE', #563, #67, #2337, .T. ) ;
#677 = ORIENTED_EDGE ( 'NONE', *, *, #437, .T. ) ;
#678 = ORIENTED_EDGE ( 'NONE', *, *, #183, .T. ) ;
#679 = ADVANCED_FACE ( 'NONE', ( #2333 ), #2332, .T. ) ;
#680 = EDGE_LOOP ( 'NONE', ( #654, #655 ) ) ;
#681 = ORIENTED_EDGE ( 'NONE', *, *, #544, .T. ) ;
#682 = ORIENTED_EDGE ( 'NONE', *, *, #266, .T. ) ;
#683 = CLOSED_SHELL ( 'NONE', ( #679, #101, #672, #151, #634, #570, #603, #576, #585, #595, #235, #1129, #1099, #988, #1135, #883, #842, #943, #1033, #607, #996, #1072, #924, #480, #930, #899, #565, #1044, #908, #1102, #469, #1082, #1055, #1141, #1037, #1119, #1091, #476, #758, #189, #801, #525, #567, #693, #613, #370, #237, #853, #879, #148, #282, #937, #141, #129, #891, #949, #640, #387, #626, #355, #686, #545, #668, #498, #845, #622, #609, #707, #535, #919, #983, #857, #816, #964, #809, #977, #1, #825, #874, #269, #863, #45, #762, #455, #954, #970, #441, #1065, #1006, #999, #380, #1016, #1010, #382, #9, #107, #656, #68, #698, #12, #663, #111, #647, #66, #715 ) ) ;
#684 = ORIENTED_EDGE ( 'NONE', *, *, #685, .T. ) ;
#685 = EDGE_CURVE ( 'NONE', #553, #548, #2390, .T. ) ;
#686 = ADVANCED_FACE ( 'NONE', ( #2391 ), #2383, .F. ) ;
#687 = EDGE_LOOP ( 'NONE', ( #688, #689, #690, #691 ) ) ;
#688 = ORIENTED_EDGE ( 'NONE', *, *, #555, .F. ) ;
#689 = ORIENTED_EDGE ( 'NONE', *, *, #685, .F. ) ;
#690 = ORIENTED_EDGE ( 'NONE', *, *, #534, .T. ) ;
#691 = ORIENTED_EDGE ( 'NONE', *, *, #692, .T. ) ;
#692 = EDGE_CURVE ( 'NONE', #550, #556, #2379, .T. ) ;
#693 = ADVANCED_FACE ( 'NONE', ( #2375, #2374 ), #2373, .F. ) ;
#694 = EDGE_LOOP ( 'NONE', ( #695, #753 ) ) ;
#695 = ORIENTED_EDGE ( 'NONE', *, *, #692, .F. ) ;
#696 = ORIENTED_EDGE ( 'NONE', *, *, #110, .T. ) ;
#697 = ORIENTED_EDGE ( 'NONE', *, *, #712, .F. ) ;
#698 = ADVANCED_FACE ( 'NONE', ( #2368 ), #2367, .T. ) ;
#699 = EDGE_LOOP ( 'NONE', ( #702, #704, #705, #706 ) ) ;
#700 = ORIENTED_EDGE ( 'NONE', *, *, #649, .F. ) ;
#701 = VERTEX_POINT ( 'NONE', #2362 ) ;
#702 = ORIENTED_EDGE ( 'NONE', *, *, #119, .F. ) ;
#703 = EDGE_CURVE ( 'NONE', #718, #223, #2361, .T. ) ;
#704 = ORIENTED_EDGE ( 'NONE', *, *, #660, .F. ) ;
#705 = ORIENTED_EDGE ( 'NONE', *, *, #71, .T. ) ;
#706 = ORIENTED_EDGE ( 'NONE', *, *, #20, .F. ) ;
#707 = ADVANCED_FACE ( 'NONE', ( #2422 ), #2420, .F. ) ;
#708 = EDGE_LOOP ( 'NONE', ( #709, #710, #684 ) ) ;
#709 = ORIENTED_EDGE ( 'NONE', *, *, #80, .F. ) ;
#710 = ORIENTED_EDGE ( 'NONE', *, *, #79, .T. ) ;
#711 = ORIENTED_EDGE ( 'NONE', *, *, #712, .T. ) ;
#712 = EDGE_CURVE ( 'NONE', #84, #116, #2415, .T. ) ;
#713 = ORIENTED_EDGE ( 'NONE', *, *, #94, .T. ) ;
#714 = ORIENTED_EDGE ( 'NONE', *, *, #122, .T. ) ;
#715 = ADVANCED_FACE ( 'NONE', ( #2411 ), #2410, .T. ) ;
#716 = EDGE_LOOP ( 'NONE', ( #717, #646 ) ) ;
#717 = ORIENTED_EDGE ( 'NONE', *, *, #645, .T. ) ;
#718 = VERTEX_POINT ( 'NONE', #2405 ) ;
#719 = ORIENTED_EDGE ( 'NONE', *, *, #720, .F. ) ;
#720 = EDGE_CURVE ( 'NONE', #278, #190, #2404, .T. ) ;
#721 = EDGE_LOOP ( 'NONE', ( #722, #780 ) ) ;
#722 = ORIENTED_EDGE ( 'NONE', *, *, #238, .F. ) ;
#723 = ORIENTED_EDGE ( 'NONE', *, *, #724, .T. ) ;
#724 = EDGE_CURVE ( 'NONE', #751, #752, #2399, .T. ) ;
#725 = ORIENTED_EDGE ( 'NONE', *, *, #726, .T. ) ;
#726 = EDGE_CURVE ( 'NONE', #752, #727, #2395, .T. ) ;
#727 = VERTEX_POINT ( 'NONE', #2456 ) ;
#728 = ORIENTED_EDGE ( 'NONE', *, *, #729, .T. ) ;
#729 = EDGE_CURVE ( 'NONE', #727, #738, #2455, .T. ) ;
#730 = EDGE_LOOP ( 'NONE', ( #731, #733 ) ) ;
#731 = ORIENTED_EDGE ( 'NONE', *, *, #732, .F. ) ;
#732 = EDGE_CURVE ( 'NONE', #5, #6, #2451, .T. ) ;
#733 = ORIENTED_EDGE ( 'NONE', *, *, #18, .F. ) ;
#734 = EDGE_LOOP ( 'NONE', ( #735, #796 ) ) ;
#735 = ORIENTED_EDGE ( 'NONE', *, *, #736, .F. ) ;
#736 = EDGE_CURVE ( 'NONE', #270, #296, #2446, .T. ) ;
#737 = EDGE_CURVE ( 'NONE', #738, #739, #2441, .T. ) ;
#738 = VERTEX_POINT ( 'NONE', #2437 ) ;
#739 = VERTEX_POINT ( 'NONE', #2436 ) ;
#740 = ORIENTED_EDGE ( 'NONE', *, *, #741, .T. ) ;
#741 = EDGE_CURVE ( 'NONE', #739, #742, #2435, .T. ) ;
#742 = VERTEX_POINT ( 'NONE', #2431 ) ;
#743 = ORIENTED_EDGE ( 'NONE', *, *, #744, .T. ) ;
#744 = EDGE_CURVE ( 'NONE', #742, #745, #2429, .T. ) ;
#745 = VERTEX_POINT ( 'NONE', #2486 ) ;
#746 = ORIENTED_EDGE ( 'NONE', *, *, #747, .T. ) ;
#747 = EDGE_CURVE ( 'NONE', #745, #748, #2485, .T. ) ;
#748 = VERTEX_POINT ( 'NONE', #2481 ) ;
#749 = ORIENTED_EDGE ( 'NONE', *, *, #750, .T. ) ;
#750 = EDGE_CURVE ( 'NONE', #748, #751, #2480, .T. ) ;
#751 = VERTEX_POINT ( 'NONE', #2476 ) ;
#752 = VERTEX_POINT ( 'NONE', #2475 ) ;
#753 = ORIENTED_EDGE ( 'NONE', *, *, #549, .F. ) ;
#754 = EDGE_LOOP ( 'NONE', ( #755, #757 ) ) ;
#755 = ORIENTED_EDGE ( 'NONE', *, *, #756, .T. ) ;
#756 = EDGE_CURVE ( 'NONE', #64, #57, #2474, .T. ) ;
#757 = ORIENTED_EDGE ( 'NONE', *, *, #552, .T. ) ;
#758 = ADVANCED_FACE ( 'NONE', ( #2469 ), #2468, .F. ) ;
#759 = EDGE_LOOP ( 'NONE', ( #760, #761, #681, #682 ) ) ;
#760 = ORIENTED_EDGE ( 'NONE', *, *, #538, .F. ) ;
#761 = ORIENTED_EDGE ( 'NONE', *, *, #756, .F. ) ;
#762 = ADVANCED_FACE ( 'NONE', ( #2462, #2461 ), #2467, .T. ) ;
#763 = EDGE_LOOP ( 'NONE', ( #764, #820 ) ) ;
#764 = ORIENTED_EDGE ( 'NONE', *, *, #765, .T. ) ;
#765 = EDGE_CURVE ( 'NONE', #14, #2, #2518, .T. ) ;
#766 = ORIENTED_EDGE ( 'NONE', *, *, #767, .F. ) ;
#767 = EDGE_CURVE ( 'NONE', #768, #795, #2513, .T. ) ;
#768 = VERTEX_POINT ( 'NONE', #2509 ) ;
#769 = ORIENTED_EDGE ( 'NONE', *, *, #770, .T. ) ;
#770 = EDGE_CURVE ( 'NONE', #768, #771, #2508, .T. ) ;
#771 = VERTEX_POINT ( 'NONE', #2504 ) ;
#772 = ORIENTED_EDGE ( 'NONE', *, *, #773, .F. ) ;
#773 = EDGE_CURVE ( 'NONE', #774, #771, #2503, .T. ) ;
#774 = VERTEX_POINT ( 'NONE', #2499 ) ;
#775 = ORIENTED_EDGE ( 'NONE', *, *, #776, .T. ) ;
#776 = EDGE_CURVE ( 'NONE', #774, #786, #2498, .T. ) ;
#777 = EDGE_LOOP ( 'NONE', ( #778, #833 ) ) ;
#778 = ORIENTED_EDGE ( 'NONE', *, *, #779, .T. ) ;
#779 = EDGE_CURVE ( 'NONE', #292, #287, #2494, .T. ) ;
#780 = ORIENTED_EDGE ( 'NONE', *, *, #781, .F. ) ;
#781 = EDGE_CURVE ( 'NONE', #232, #236, #2489, .T. ) ;
#782 = EDGE_LOOP ( 'NONE', ( #783, #787, #790, #793, #766, #769, #772, #775 ) ) ;
#783 = ORIENTED_EDGE ( 'NONE', *, *, #784, .F. ) ;
#784 = EDGE_CURVE ( 'NONE', #785, #786, #2551, .T. ) ;
#785 = VERTEX_POINT ( 'NONE', #2547 ) ;
#786 = VERTEX_POINT ( 'NONE', #2546 ) ;
#787 = ORIENTED_EDGE ( 'NONE', *, *, #788, .T. ) ;
#788 = EDGE_CURVE ( 'NONE', #785, #789, #2545, .T. ) ;
#789 = VERTEX_POINT ( 'NONE', #2541 ) ;
#790 = ORIENTED_EDGE ( 'NONE', *, *, #791, .F. ) ;
#791 = EDGE_CURVE ( 'NONE', #792, #789, #2540, .T. ) ;
#792 = VERTEX_POINT ( 'NONE', #2536 ) ;
#793 = ORIENTED_EDGE ( 'NONE', *, *, #794, .T. ) ;
#794 = EDGE_CURVE ( 'NONE', #792, #795, #2535, .T. ) ;
#795 = VERTEX_POINT ( 'NONE', #2531 ) ;
#796 = ORIENTED_EDGE ( 'NONE', *, *, #268, .F. ) ;
#797 = EDGE_LOOP ( 'NONE', ( #798, #800 ) ) ;
#798 = ORIENTED_EDGE ( 'NONE', *, *, #799, .F. ) ;
#799 = EDGE_CURVE ( 'NONE', #127, #456, #2530, .T. ) ;
#800 = ORIENTED_EDGE ( 'NONE', *, *, #423, .F. ) ;
#801 = ADVANCED_FACE ( 'NONE', ( #2525, #2524, #2523, #2522, #2521, #2520 ), #2519, .F. ) ;
#802 = EDGE_LOOP ( 'NONE', ( #803, #719 ) ) ;
#803 = ORIENTED_EDGE ( 'NONE', *, *, #277, .F. ) ;
#804 = EDGE_CURVE ( 'NONE', #513, #727, #2581, .T. ) ;
#805 = ORIENTED_EDGE ( 'NONE', *, *, #726, .F. ) ;
#806 = ORIENTED_EDGE ( 'NONE', *, *, #807, .T. ) ;
#807 = EDGE_CURVE ( 'NONE', #752, #505, #2577, .T. ) ;
#808 = EDGE_CURVE ( 'NONE', #738, #493, #2573, .T. ) ;
#809 = ADVANCED_FACE ( 'NONE', ( #2569 ), #2568, .F. ) ;
#810 = ORIENTED_EDGE ( 'NONE', *, *, #744, .F. ) ;
#811 = ORIENTED_EDGE ( 'NONE', *, *, #812, .T. ) ;
#812 = EDGE_CURVE ( 'NONE', #742, #51, #2563, .T. ) ;
#813 = ORIENTED_EDGE ( 'NONE', *, *, #53, .T. ) ;
#814 = ORIENTED_EDGE ( 'NONE', *, *, #815, .T. ) ;
#815 = EDGE_CURVE ( 'NONE', #32, #745, #2559, .T. ) ;
#816 = ADVANCED_FACE ( 'NONE', ( #2555 ), #2554, .F. ) ;
#817 = EDGE_LOOP ( 'NONE', ( #818, #819, #871, #872 ) ) ;
#818 = ORIENTED_EDGE ( 'NONE', *, *, #508, .T. ) ;
#819 = ORIENTED_EDGE ( 'NONE', *, *, #870, .T. ) ;
#820 = ORIENTED_EDGE ( 'NONE', *, *, #15, .T. ) ;
#821 = EDGE_LOOP ( 'NONE', ( #822, #824 ) ) ;
#822 = ORIENTED_EDGE ( 'NONE', *, *, #823, .F. ) ;
#823 = EDGE_CURVE ( 'NONE', #131, #291, #2613, .T. ) ;
#824 = ORIENTED_EDGE ( 'NONE', *, *, #135, .F. ) ;
#825 = ADVANCED_FACE ( 'NONE', ( #2608 ), #2607, .F. ) ;
#826 = EDGE_LOOP ( 'NONE', ( #827, #828, #830, #831 ) ) ;
#827 = ORIENTED_EDGE ( 'NONE', *, *, #496, .T. ) ;
#828 = ORIENTED_EDGE ( 'NONE', *, *, #829, .T. ) ;
#829 = EDGE_CURVE ( 'NONE', #495, #739, #2602, .T. ) ;
#830 = ORIENTED_EDGE ( 'NONE', *, *, #737, .F. ) ;
#831 = ORIENTED_EDGE ( 'NONE', *, *, #808, .T. ) ;
#832 = EDGE_LOOP ( 'NONE', ( #810, #811, #813, #814 ) ) ;
#833 = ORIENTED_EDGE ( 'NONE', *, *, #144, .T. ) ;
#834 = EDGE_LOOP ( 'NONE', ( #835, #836 ) ) ;
#835 = ORIENTED_EDGE ( 'NONE', *, *, #139, .F. ) ;
#836 = ORIENTED_EDGE ( 'NONE', *, *, #837, .F. ) ;
#837 = EDGE_CURVE ( 'NONE', #222, #285, #2598, .T. ) ;
#838 = EDGE_LOOP ( 'NONE', ( #839, #840 ) ) ;
#839 = ORIENTED_EDGE ( 'NONE', *, *, #368, .F. ) ;
#840 = ORIENTED_EDGE ( 'NONE', *, *, #841, .F. ) ;
#841 = EDGE_CURVE ( 'NONE', #346, #349, #2593, .T. ) ;
#842 = ADVANCED_FACE ( 'NONE', ( #2588 ), #2586, .F. ) ;
#843 = EDGE_LOOP ( 'NONE', ( #844, #894, #896, #897 ) ) ;
#844 = ORIENTED_EDGE ( 'NONE', *, *, #326, .F. ) ;
#845 = ADVANCED_FACE ( 'NONE', ( #2587, #2647 ), #2646, .F. ) ;
#846 = EDGE_LOOP ( 'NONE', ( #847, #849 ) ) ;
#847 = ORIENTED_EDGE ( 'NONE', *, *, #848, .F. ) ;
#848 = EDGE_CURVE ( 'NONE', #299, #295, #2641, .T. ) ;
#849 = ORIENTED_EDGE ( 'NONE', *, *, #298, .F. ) ;
#850 = EDGE_LOOP ( 'NONE', ( #851, #852 ) ) ;
#851 = ORIENTED_EDGE ( 'NONE', *, *, #867, .T. ) ;
#852 = ORIENTED_EDGE ( 'NONE', *, *, #274, .T. ) ;
#853 = ADVANCED_FACE ( 'NONE', ( #2636 ), #2635, .T. ) ;
#854 = EDGE_LOOP ( 'NONE', ( #855, #856, #906, #907 ) ) ;
#855 = ORIENTED_EDGE ( 'NONE', *, *, #294, .F. ) ;
#856 = ORIENTED_EDGE ( 'NONE', *, *, #779, .F. ) ;
#857 = ADVANCED_FACE ( 'NONE', ( #2629 ), #2628, .T. ) ;
#858 = EDGE_LOOP ( 'NONE', ( #859, #860, #861, #862 ) ) ;
#859 = ORIENTED_EDGE ( 'NONE', *, *, #17, .F. ) ;
#860 = ORIENTED_EDGE ( 'NONE', *, *, #765, .F. ) ;
#861 = ORIENTED_EDGE ( 'NONE', *, *, #13, .T. ) ;
#862 = ORIENTED_EDGE ( 'NONE', *, *, #732, .T. ) ;
#863 = ADVANCED_FACE ( 'NONE', ( #2623 ), #2622, .T. ) ;
#864 = EDGE_LOOP ( 'NONE', ( #865, #866, #868, #869 ) ) ;
#865 = ORIENTED_EDGE ( 'NONE', *, *, #290, .F. ) ;
#866 = ORIENTED_EDGE ( 'NONE', *, *, #867, .F. ) ;
#867 = EDGE_CURVE ( 'NONE', #286, #275, #2621, .T. ) ;
#868 = ORIENTED_EDGE ( 'NONE', *, *, #140, .T. ) ;
#869 = ORIENTED_EDGE ( 'NONE', *, *, #823, .T. ) ;
#870 = EDGE_CURVE ( 'NONE', #511, #751, #2678, .T. ) ;
#871 = ORIENTED_EDGE ( 'NONE', *, *, #750, .F. ) ;
#872 = ORIENTED_EDGE ( 'NONE', *, *, #873, .T. ) ;
#873 = EDGE_CURVE ( 'NONE', #748, #510, #2674, .T. ) ;
#874 = ADVANCED_FACE ( 'NONE', ( #2670 ), #2669, .F. ) ;
#875 = EDGE_LOOP ( 'NONE', ( #876, #877, #805, #806 ) ) ;
#876 = ORIENTED_EDGE ( 'NONE', *, *, #512, .T. ) ;
#877 = ORIENTED_EDGE ( 'NONE', *, *, #804, .T. ) ;
#878 = ORIENTED_EDGE ( 'NONE', *, *, #736, .T. ) ;
#879 = ADVANCED_FACE ( 'NONE', ( #2664 ), #2663, .T. ) ;
#880 = EDGE_LOOP ( 'NONE', ( #881, #934, #935, #936 ) ) ;
#881 = ORIENTED_EDGE ( 'NONE', *, *, #272, .F. ) ;
#882 = EDGE_CURVE ( 'NONE', #48, #792, #2662, .T. ) ;
#883 = ADVANCED_FACE ( 'NONE', ( #2654 ), #2652, .F. ) ;
#884 = EDGE_LOOP ( 'NONE', ( #885, #886, #888, #889 ) ) ;
#885 = ORIENTED_EDGE ( 'NONE', *, *, #325, .F. ) ;
#886 = ORIENTED_EDGE ( 'NONE', *, *, #887, .T. ) ;
#887 = EDGE_CURVE ( 'NONE', #322, #785, #2712, .T. ) ;
#888 = ORIENTED_EDGE ( 'NONE', *, *, #784, .T. ) ;
#889 = ORIENTED_EDGE ( 'NONE', *, *, #890, .T. ) ;
#890 = EDGE_CURVE ( 'NONE', #786, #342, #2708, .T. ) ;
#891 = ADVANCED_FACE ( 'NONE', ( #2704 ), #2702, .T. ) ;
#892 = EDGE_LOOP ( 'NONE', ( #893, #946, #947, #948 ) ) ;
#893 = ORIENTED_EDGE ( 'NONE', *, *, #284, .F. ) ;
#894 = ORIENTED_EDGE ( 'NONE', *, *, #895, .T. ) ;
#895 = EDGE_CURVE ( 'NONE', #40, #768, #2703, .T. ) ;
#896 = ORIENTED_EDGE ( 'NONE', *, *, #767, .T. ) ;
#897 = ORIENTED_EDGE ( 'NONE', *, *, #898, .T. ) ;
#898 = EDGE_CURVE ( 'NONE', #795, #327, #2694, .T. ) ;
#899 = ADVANCED_FACE ( 'NONE', ( #2690 ), #2689, .F. ) ;
#900 = EDGE_LOOP ( 'NONE', ( #901, #902, #904, #905 ) ) ;
#901 = ORIENTED_EDGE ( 'NONE', *, *, #791, .T. ) ;
#902 = ORIENTED_EDGE ( 'NONE', *, *, #903, .T. ) ;
#903 = EDGE_CURVE ( 'NONE', #789, #340, #2683, .T. ) ;
#904 = ORIENTED_EDGE ( 'NONE', *, *, #345, .F. ) ;
#905 = ORIENTED_EDGE ( 'NONE', *, *, #882, .T. ) ;
#906 = ORIENTED_EDGE ( 'NONE', *, *, #301, .T. ) ;
#907 = ORIENTED_EDGE ( 'NONE', *, *, #848, .T. ) ;
#908 = ADVANCED_FACE ( 'NONE', ( #2748 ), #2747, .F. ) ;
#909 = EDGE_LOOP ( 'NONE', ( #910, #911, #913, #914 ) ) ;
#910 = ORIENTED_EDGE ( 'NONE', *, *, #465, .F. ) ;
#911 = ORIENTED_EDGE ( 'NONE', *, *, #912, .T. ) ;
#912 = EDGE_CURVE ( 'NONE', #460, #774, #2742, .T. ) ;
#913 = ORIENTED_EDGE ( 'NONE', *, *, #773, .T. ) ;
#914 = ORIENTED_EDGE ( 'NONE', *, *, #915, .T. ) ;
#915 = EDGE_CURVE ( 'NONE', #771, #458, #2738, .T. ) ;
#916 = ORIENTED_EDGE ( 'NONE', *, *, #898, .F. ) ;
#917 = ORIENTED_EDGE ( 'NONE', *, *, #794, .F. ) ;
#918 = ORIENTED_EDGE ( 'NONE', *, *, #882, .F. ) ;
#919 = ADVANCED_FACE ( 'NONE', ( #2734 ), #2733, .F. ) ;
#920 = EDGE_LOOP ( 'NONE', ( #921, #974, #975, #976 ) ) ;
#921 = ORIENTED_EDGE ( 'NONE', *, *, #741, .F. ) ;
#922 = ORIENTED_EDGE ( 'NONE', *, *, #788, .F. ) ;
#923 = ORIENTED_EDGE ( 'NONE', *, *, #887, .F. ) ;
#924 = ADVANCED_FACE ( 'NONE', ( #2728 ), #2727, .F. ) ;
#925 = EDGE_LOOP ( 'NONE', ( #926, #927, #928, #929 ) ) ;
#926 = ORIENTED_EDGE ( 'NONE', *, *, #41, .F. ) ;
#927 = ORIENTED_EDGE ( 'NONE', *, *, #890, .F. ) ;
#928 = ORIENTED_EDGE ( 'NONE', *, *, #776, .F. ) ;
#929 = ORIENTED_EDGE ( 'NONE', *, *, #912, .F. ) ;
#930 = ADVANCED_FACE ( 'NONE', ( #2722 ), #2720, .F. ) ;
#931 = EDGE_LOOP ( 'NONE', ( #932, #933, #986, #987 ) ) ;
#932 = ORIENTED_EDGE ( 'NONE', *, *, #38, .F. ) ;
#933 = ORIENTED_EDGE ( 'NONE', *, *, #915, .F. ) ;
#934 = ORIENTED_EDGE ( 'NONE', *, *, #720, .T. ) ;
#935 = ORIENTED_EDGE ( 'NONE', *, *, #191, .T. ) ;
#936 = ORIENTED_EDGE ( 'NONE', *, *, #25, .T. ) ;
#937 = ADVANCED_FACE ( 'NONE', ( #2721 ), #2779, .T. ) ;
#938 = EDGE_LOOP ( 'NONE', ( #939, #940, #941, #942 ) ) ;
#939 = ORIENTED_EDGE ( 'NONE', *, *, #130, .F. ) ;
#940 = ORIENTED_EDGE ( 'NONE', *, *, #841, .T. ) ;
#941 = ORIENTED_EDGE ( 'NONE', *, *, #197, .T. ) ;
#942 = ORIENTED_EDGE ( 'NONE', *, *, #799, .T. ) ;
#943 = ADVANCED_FACE ( 'NONE', ( #2775 ), #2780, .F. ) ;
#944 = EDGE_LOOP ( 'NONE', ( #945, #34, #922, #923 ) ) ;
#945 = ORIENTED_EDGE ( 'NONE', *, *, #316, .F. ) ;
#946 = ORIENTED_EDGE ( 'NONE', *, *, #781, .T. ) ;
#947 = ORIENTED_EDGE ( 'NONE', *, *, #248, .T. ) ;
#948 = ORIENTED_EDGE ( 'NONE', *, *, #257, .T. ) ;
#949 = ADVANCED_FACE ( 'NONE', ( #2770 ), #2769, .T. ) ;
#950 = EDGE_LOOP ( 'NONE', ( #951, #952, #953, #878 ) ) ;
#951 = ORIENTED_EDGE ( 'NONE', *, *, #179, .F. ) ;
#952 = ORIENTED_EDGE ( 'NONE', *, *, #837, .T. ) ;
#953 = ORIENTED_EDGE ( 'NONE', *, *, #244, .T. ) ;
#954 = ADVANCED_FACE ( 'NONE', ( #2768 ), #2763, .T. ) ;
#955 = EDGE_LOOP ( 'NONE', ( #956, #957, #958, #959 ) ) ;
#956 = ORIENTED_EDGE ( 'NONE', *, *, #402, .F. ) ;
#957 = ORIENTED_EDGE ( 'NONE', *, *, #973, .F. ) ;
#958 = ORIENTED_EDGE ( 'NONE', *, *, #428, .T. ) ;
#959 = ORIENTED_EDGE ( 'NONE', *, *, #500, .T. ) ;
#960 = EDGE_LOOP ( 'NONE', ( #1011, #1012, #1014, #1015 ) ) ;
#961 = ORIENTED_EDGE ( 'NONE', *, *, #870, .F. ) ;
#962 = ORIENTED_EDGE ( 'NONE', *, *, #507, .F. ) ;
#963 = ORIENTED_EDGE ( 'NONE', *, *, #807, .F. ) ;
#964 = ADVANCED_FACE ( 'NONE', ( #2757 ), #2762, .F. ) ;
#965 = EDGE_LOOP ( 'NONE', ( #966, #967, #968, #969 ) ) ;
#966 = ORIENTED_EDGE ( 'NONE', *, *, #747, .F. ) ;
#967 = ORIENTED_EDGE ( 'NONE', *, *, #815, .F. ) ;
#968 = ORIENTED_EDGE ( 'NONE', *, *, #502, .F. ) ;
#969 = ORIENTED_EDGE ( 'NONE', *, *, #873, .F. ) ;
#970 = ADVANCED_FACE ( 'NONE', ( #2752, #2751 ), #2750, .T. ) ;
#971 = EDGE_LOOP ( 'NONE', ( #972, #1023 ) ) ;
#972 = ORIENTED_EDGE ( 'NONE', *, *, #973, .T. ) ;
#973 = EDGE_CURVE ( 'NONE', #134, #366, #2813, .T. ) ;
#974 = ORIENTED_EDGE ( 'NONE', *, *, #829, .F. ) ;
#975 = ORIENTED_EDGE ( 'NONE', *, *, #494, .F. ) ;
#976 = ORIENTED_EDGE ( 'NONE', *, *, #812, .F. ) ;
#977 = ADVANCED_FACE ( 'NONE', ( #2808 ), #2807, .F. ) ;
#978 = EDGE_LOOP ( 'NONE', ( #979, #980, #981, #982 ) ) ;
#979 = ORIENTED_EDGE ( 'NONE', *, *, #729, .F. ) ;
#980 = ORIENTED_EDGE ( 'NONE', *, *, #804, .F. ) ;
#981 = ORIENTED_EDGE ( 'NONE', *, *, #514, .F. ) ;
#982 = ORIENTED_EDGE ( 'NONE', *, *, #808, .F. ) ;
#983 = ADVANCED_FACE ( 'NONE', ( #2802 ), #2801, .F. ) ;
#984 = EDGE_LOOP ( 'NONE', ( #985, #961, #962, #963 ) ) ;
#985 = ORIENTED_EDGE ( 'NONE', *, *, #724, .F. ) ;
#986 = ORIENTED_EDGE ( 'NONE', *, *, #770, .F. ) ;
#987 = ORIENTED_EDGE ( 'NONE', *, *, #895, .F. ) ;
#988 = ADVANCED_FACE ( 'NONE', ( #2796 ), #2795, .F. ) ;
#989 = EDGE_LOOP ( 'NONE', ( #990, #916, #917, #918 ) ) ;
#990 = ORIENTED_EDGE ( 'NONE', *, *, #339, .F. ) ;
#991 = EDGE_LOOP ( 'NONE', ( #992, #993, #994, #995 ) ) ;
#992 = ORIENTED_EDGE ( 'NONE', *, *, #390, .F. ) ;
#993 = ORIENTED_EDGE ( 'NONE', *, *, #1027, .T. ) ;
#994 = ORIENTED_EDGE ( 'NONE', *, *, #381, .T. ) ;
#995 = ORIENTED_EDGE ( 'NONE', *, *, #1009, .T. ) ;
#996 = ADVANCED_FACE ( 'NONE', ( #2790 ), #2789, .F. ) ;
#997 = EDGE_LOOP ( 'NONE', ( #1049, #1050, #1052, #1053 ) ) ;
#998 = ORIENTED_EDGE ( 'NONE', *, *, #133, .F. ) ;
#999 = ADVANCED_FACE ( 'NONE', ( #2784 ), #2782, .T. ) ;
#1000 = EDGE_LOOP ( 'NONE', ( #1001, #1002, #1004, #1005 ) ) ;
#1001 = ORIENTED_EDGE ( 'NONE', *, *, #400, .F. ) ;
#1002 = ORIENTED_EDGE ( 'NONE', *, *, #1003, .F. ) ;
#1003 = EDGE_CURVE ( 'NONE', #397, #373, #2849, .T. ) ;
#1004 = ORIENTED_EDGE ( 'NONE', *, *, #132, .T. ) ;
#1005 = ORIENTED_EDGE ( 'NONE', *, *, #1022, .T. ) ;
#1006 = ADVANCED_FACE ( 'NONE', ( #2841, #2840 ), #2839, .F. ) ;
#1007 = EDGE_LOOP ( 'NONE', ( #1008, #1061 ) ) ;
#1008 = ORIENTED_EDGE ( 'NONE', *, *, #1009, .F. ) ;
#1009 = EDGE_CURVE ( 'NONE', #395, #391, #2834, .T. ) ;
#1010 = ADVANCED_FACE ( 'NONE', ( #2829 ), #2828, .T. ) ;
#1011 = ORIENTED_EDGE ( 'NONE', *, *, #443, .F. ) ;
#1012 = ORIENTED_EDGE ( 'NONE', *, *, #1013, .F. ) ;
#1013 = EDGE_CURVE ( 'NONE', #408, #128, #2827, .T. ) ;
#1014 = ORIENTED_EDGE ( 'NONE', *, *, #427, .T. ) ;
#1015 = ORIENTED_EDGE ( 'NONE', *, *, #11, .T. ) ;
#1016 = ADVANCED_FACE ( 'NONE', ( #2818, #2817 ), #2882, .T. ) ;
#1017 = EDGE_LOOP ( 'NONE', ( #1018, #1019 ) ) ;
#1018 = ORIENTED_EDGE ( 'NONE', *, *, #1013, .T. ) ;
#1019 = ORIENTED_EDGE ( 'NONE', *, *, #449, .T. ) ;
#1020 = EDGE_LOOP ( 'NONE', ( #1021, #998 ) ) ;
#1021 = ORIENTED_EDGE ( 'NONE', *, *, #1022, .F. ) ;
#1022 = EDGE_CURVE ( 'NONE', #347, #393, #2877, .T. ) ;
#1023 = ORIENTED_EDGE ( 'NONE', *, *, #444, .T. ) ;
#1024 = EDGE_LOOP ( 'NONE', ( #1025, #1026 ) ) ;
#1025 = ORIENTED_EDGE ( 'NONE', *, *, #432, .F. ) ;
#1026 = ORIENTED_EDGE ( 'NONE', *, *, #1027, .F. ) ;
#1027 = EDGE_CURVE ( 'NONE', #434, #439, #2873, .T. ) ;
#1028 = ORIENTED_EDGE ( 'NONE', *, *, #666, .T. ) ;
#1029 = ORIENTED_EDGE ( 'NONE', *, *, #1030, .F. ) ;
#1030 = EDGE_CURVE ( 'NONE', #169, #701, #2868, .T. ) ;
#1031 = ORIENTED_EDGE ( 'NONE', *, *, #156, .F. ) ;
#1032 = ORIENTED_EDGE ( 'NONE', *, *, #1048, .T. ) ;
#1033 = ADVANCED_FACE ( 'NONE', ( #2864 ), #2863, .F. ) ;
#1034 = EDGE_LOOP ( 'NONE', ( #1035, #1088, #1089, #1090 ) ) ;
#1035 = ORIENTED_EDGE ( 'NONE', *, *, #649, .T. ) ;
#1036 = ORIENTED_EDGE ( 'NONE', *, *, #1051, .T. ) ;
#1037 = ADVANCED_FACE ( 'NONE', ( #2858 ), #2857, .F. ) ;
#1038 = EDGE_LOOP ( 'NONE', ( #1039, #1040, #1042, #1043 ) ) ;
#1039 = ORIENTED_EDGE ( 'NONE', *, *, #39, .T. ) ;
#1040 = ORIENTED_EDGE ( 'NONE', *, *, #1041, .F. ) ;
#1041 = EDGE_CURVE ( 'NONE', #438, #30, #2852, .T. ) ;
#1042 = ORIENTED_EDGE ( 'NONE', *, *, #377, .F. ) ;
#1043 = ORIENTED_EDGE ( 'NONE', *, *, #1059, .T. ) ;
#1044 = ADVANCED_FACE ( 'NONE', ( #2913 ), #2912, .F. ) ;
#1045 = EDGE_LOOP ( 'NONE', ( #1046, #1047, #1100, #1101 ) ) ;
#1046 = ORIENTED_EDGE ( 'NONE', *, *, #33, .T. ) ;
#1047 = ORIENTED_EDGE ( 'NONE', *, *, #1048, .F. ) ;
#1048 = EDGE_CURVE ( 'NONE', #170, #667, #2907, .T. ) ;
#1049 = ORIENTED_EDGE ( 'NONE', *, *, #703, .T. ) ;
#1050 = ORIENTED_EDGE ( 'NONE', *, *, #1051, .F. ) ;
#1051 = EDGE_CURVE ( 'NONE', #70, #223, #2903, .T. ) ;
#1052 = ORIENTED_EDGE ( 'NONE', *, *, #557, .F. ) ;
#1053 = ORIENTED_EDGE ( 'NONE', *, *, #1054, .T. ) ;
#1054 = EDGE_CURVE ( 'NONE', #560, #718, #2899, .T. ) ;
#1055 = ADVANCED_FACE ( 'NONE', ( #2895 ), #2894, .F. ) ;
#1056 = EDGE_LOOP ( 'NONE', ( #1057, #1058, #1060, #1036 ) ) ;
#1057 = ORIENTED_EDGE ( 'NONE', *, *, #225, .T. ) ;
#1058 = ORIENTED_EDGE ( 'NONE', *, *, #1059, .F. ) ;
#1059 = EDGE_CURVE ( 'NONE', #78, #205, #2889, .T. ) ;
#1060 = ORIENTED_EDGE ( 'NONE', *, *, #77, .F. ) ;
#1061 = ORIENTED_EDGE ( 'NONE', *, *, #405, .F. ) ;
#1062 = EDGE_LOOP ( 'NONE', ( #1063, #1064 ) ) ;
#1063 = ORIENTED_EDGE ( 'NONE', *, *, #1003, .T. ) ;
#1064 = ORIENTED_EDGE ( 'NONE', *, *, #371, .T. ) ;
#1065 = ADVANCED_FACE ( 'NONE', ( #2885 ), #2884, .T. ) ;
#1066 = EDGE_LOOP ( 'NONE', ( #1067, #1068, #1070, #1071 ) ) ;
#1067 = ORIENTED_EDGE ( 'NONE', *, *, #318, .T. ) ;
#1068 = ORIENTED_EDGE ( 'NONE', *, *, #1069, .F. ) ;
#1069 = EDGE_CURVE ( 'NONE', #486, #336, #2948, .T. ) ;
#1070 = ORIENTED_EDGE ( 'NONE', *, *, #485, .F. ) ;
#1071 = ORIENTED_EDGE ( 'NONE', *, *, #1086, .T. ) ;
#1072 = ADVANCED_FACE ( 'NONE', ( #2940 ), #2939, .F. ) ;
#1073 = EDGE_LOOP ( 'NONE', ( #1074, #1075, #1127, #1128 ) ) ;
#1074 = ORIENTED_EDGE ( 'NONE', *, *, #324, .T. ) ;
#1075 = ORIENTED_EDGE ( 'NONE', *, *, #1126, .F. ) ;
#1076 = EDGE_LOOP ( 'NONE', ( #1077, #1078, #1080, #1081 ) ) ;
#1077 = ORIENTED_EDGE ( 'NONE', *, *, #464, .T. ) ;
#1078 = ORIENTED_EDGE ( 'NONE', *, *, #1079, .F. ) ;
#1079 = EDGE_CURVE ( 'NONE', #210, #337, #2934, .T. ) ;
#1080 = ORIENTED_EDGE ( 'NONE', *, *, #200, .F. ) ;
#1081 = ORIENTED_EDGE ( 'NONE', *, *, #1095, .T. ) ;
#1082 = ADVANCED_FACE ( 'NONE', ( #2930 ), #2929, .F. ) ;
#1083 = EDGE_LOOP ( 'NONE', ( #1084, #1085, #1087, #1139 ) ) ;
#1084 = ORIENTED_EDGE ( 'NONE', *, *, #310, .T. ) ;
#1085 = ORIENTED_EDGE ( 'NONE', *, *, #1086, .F. ) ;
#1086 = EDGE_CURVE ( 'NONE', #489, #319, #2924, .T. ) ;
#1087 = ORIENTED_EDGE ( 'NONE', *, *, #487, .F. ) ;
#1088 = ORIENTED_EDGE ( 'NONE', *, *, #1054, .F. ) ;
#1089 = ORIENTED_EDGE ( 'NONE', *, *, #162, .F. ) ;
#1090 = ORIENTED_EDGE ( 'NONE', *, *, #1030, .T. ) ;
#1091 = ADVANCED_FACE ( 'NONE', ( #2920 ), #2919, .F. ) ;
#1092 = EDGE_LOOP ( 'NONE', ( #1093, #1094, #1096, #1097 ) ) ;
#1093 = ORIENTED_EDGE ( 'NONE', *, *, #344, .T. ) ;
#1094 = ORIENTED_EDGE ( 'NONE', *, *, #1095, .F. ) ;
#1095 = EDGE_CURVE ( 'NONE', #195, #461, #2980, .T. ) ;
#1096 = ORIENTED_EDGE ( 'NONE', *, *, #184, .F. ) ;
#1097 = ORIENTED_EDGE ( 'NONE', *, *, #1098, .T. ) ;
#1098 = EDGE_CURVE ( 'NONE', #174, #42, #2976, .T. ) ;
#1099 = ADVANCED_FACE ( 'NONE', ( #2972 ), #2971, .F. ) ;
#1100 = ORIENTED_EDGE ( 'NONE', *, *, #173, .F. ) ;
#1101 = ORIENTED_EDGE ( 'NONE', *, *, #1041, .T. ) ;
#1102 = ADVANCED_FACE ( 'NONE', ( #2966 ), #2965, .F. ) ;
#1103 = EDGE_LOOP ( 'NONE', ( #1028, #1029, #1031, #1032 ) ) ;
#1104 = FACE_BOUND ( 'NONE', #562, .T. ) ;
#1105 = FACE_OUTER_BOUND ( 'NONE', #7, .T. ) ;
#1106 = CARTESIAN_POINT ( 'NONE',  ( 2.143131898507868100E-016, 7.000000000000000000, 1.750000000000000000 ) ) ;
#1107 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 7.000000000000000000, -1.750000000000000000 ) ) ;
#1108 = CARTESIAN_POINT ( 'NONE',  ( 2.143131898507868100E-016, 10.50000000000000000, 1.750000000000000000 ) ) ;
#1109 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1110 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1111 = AXIS2_PLACEMENT_3D ( 'NONE', #1113, #1110, #1109 ) ;
#1112 = CYLINDRICAL_SURFACE ( 'NONE', #1111, 1.750000000000000000 ) ;
#1113 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 10.50000000000000000, 0.0000000000000000000 ) ) ;
#1114 = FACE_OUTER_BOUND ( 'NONE', #4, .T. ) ;
#1115 = EDGE_CURVE ( 'NONE', #521, #211, #2960, .T. ) ;
#1116 = ORIENTED_EDGE ( 'NONE', *, *, #524, .F. ) ;
#1117 = ORIENTED_EDGE ( 'NONE', *, *, #1118, .T. ) ;
#1118 = EDGE_CURVE ( 'NONE', #522, #215, #2956, .T. ) ;
#1119 = ADVANCED_FACE ( 'NONE', ( #2952 ), #2951, .F. ) ;
#1120 = EDGE_LOOP ( 'NONE', ( #1121, #1122, #1124, #1125 ) ) ;
#1121 = ORIENTED_EDGE ( 'NONE', *, *, #203, .T. ) ;
#1122 = ORIENTED_EDGE ( 'NONE', *, *, #1123, .F. ) ;
#1123 = EDGE_CURVE ( 'NONE', #520, #214, #3010, .T. ) ;
#1124 = ORIENTED_EDGE ( 'NONE', *, *, #519, .F. ) ;
#1125 = ORIENTED_EDGE ( 'NONE', *, *, #1115, .T. ) ;
#1126 = EDGE_CURVE ( 'NONE', #483, #328, #3006, .T. ) ;
#1127 = ORIENTED_EDGE ( 'NONE', *, *, #484, .F. ) ;
#1128 = ORIENTED_EDGE ( 'NONE', *, *, #1069, .T. ) ;
#1129 = ADVANCED_FACE ( 'NONE', ( #3002 ), #3001, .F. ) ;
#1130 = EDGE_LOOP ( 'NONE', ( #1131, #1132, #1133, #1134 ) ) ;
#1131 = ORIENTED_EDGE ( 'NONE', *, *, #330, .T. ) ;
#1132 = ORIENTED_EDGE ( 'NONE', *, *, #1098, .F. ) ;
#1133 = ORIENTED_EDGE ( 'NONE', *, *, #528, .F. ) ;
#1134 = ORIENTED_EDGE ( 'NONE', *, *, #1126, .T. ) ;
#1135 = ADVANCED_FACE ( 'NONE', ( #2996 ), #2995, .F. ) ;
#1136 = EDGE_LOOP ( 'NONE', ( #1137, #1138, #1116, #1117 ) ) ;
#1137 = ORIENTED_EDGE ( 'NONE', *, *, #216, .T. ) ;
#1138 = ORIENTED_EDGE ( 'NONE', *, *, #1115, .F. ) ;
#1139 = ORIENTED_EDGE ( 'NONE', *, *, #1079, .T. ) ;
#1140 = ORIENTED_EDGE ( 'NONE', *, *, #260, .F. ) ;
#1141 = ADVANCED_FACE ( 'NONE', ( #2990 ), #2989, .F. ) ;
#1142 = ORIENTED_EDGE ( 'NONE', *, *, #468, .T. ) ;
#1143 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1144 = VECTOR ( 'NONE', #1143, 39.37007874015748100 ) ;
#1145 = CARTESIAN_POINT ( 'NONE',  ( 2.143131898507868100E-016, 10.50000000000000000, 1.750000000000000000 ) ) ;
#1146 = LINE ( 'NONE', #1145, #1144 ) ;
#1147 = CIRCLE ( 'NONE', #1716, 1.750000000000000000 ) ;
#1148 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1149 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1150 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 10.50000000000000000, 0.0000000000000000000 ) ) ;
#1151 = AXIS2_PLACEMENT_3D ( 'NONE', #1150, #1149, #1148 ) ;
#1152 = CIRCLE ( 'NONE', #1151, 1.750000000000000000 ) ;
#1153 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 10.50000000000000000, -1.750000000000000000 ) ) ;
#1154 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1155 = VECTOR ( 'NONE', #1154, 39.37007874015748100 ) ;
#1156 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 10.50000000000000000, -1.750000000000000000 ) ) ;
#1157 = LINE ( 'NONE', #1156, #1155 ) ;
#1158 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1159 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1160 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, -0.2500000000000000000, 0.0000000000000000000 ) ) ;
#1161 = AXIS2_PLACEMENT_3D ( 'NONE', #1160, #1159, #1158 ) ;
#1162 = PLANE ( 'NONE',  #1161 ) ;
#1163 = FACE_BOUND ( 'NONE', #16, .T. ) ;
#1164 = FACE_OUTER_BOUND ( 'NONE', #8, .T. ) ;
#1165 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1166 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1167 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1168 = AXIS2_PLACEMENT_3D ( 'NONE', #1167, #1166, #1165 ) ;
#1169 = CIRCLE ( 'NONE', #1168, 1.250000000000000000 ) ;
#1170 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1171 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1172 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1173 = AXIS2_PLACEMENT_3D ( 'NONE', #1172, #1171, #1170 ) ;
#1174 = PLANE ( 'NONE',  #1173 ) ;
#1175 = CARTESIAN_POINT ( 'NONE',  ( -1.875000000000000000, 15.00000000000000000, -1.499999999999996900 ) ) ;
#1176 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1177 = VECTOR ( 'NONE', #1176, 39.37007874015748100 ) ;
#1178 = CARTESIAN_POINT ( 'NONE',  ( -1.281250000000000000, 15.00000000000000000, -1.373704628614769600 ) ) ;
#1179 = LINE ( 'NONE', #1178, #1177 ) ;
#1180 = DIRECTION ( 'NONE',  ( -0.7071067811865495700, 0.0000000000000000000, 0.7071067811865454600 ) ) ;
#1181 = VECTOR ( 'NONE', #1180, 39.37007874015748100 ) ;
#1182 = CARTESIAN_POINT ( 'NONE',  ( -1.687499999999998900, 15.00000000000000000, -1.687499999999996900 ) ) ;
#1183 = LINE ( 'NONE', #1182, #1181 ) ;
#1184 = DIRECTION ( 'NONE',  ( -0.8660254037844388200, 0.0000000000000000000, -0.4999999999999995600 ) ) ;
#1185 = VECTOR ( 'NONE', #1184, 39.37007874015748900 ) ;
#1186 = CARTESIAN_POINT ( 'NONE',  ( -1.281250000000000000, 15.00000000000000000, -1.626295371385231100 ) ) ;
#1187 = LINE ( 'NONE', #1186, #1185 ) ;
#1188 = CARTESIAN_POINT ( 'NONE',  ( 1.499999999999995800, 6.750000000000000000, 1.875000000000000000 ) ) ;
#1189 = CARTESIAN_POINT ( 'NONE',  ( -1.281250000000000000, 15.00000000000000000, -1.626295371385231100 ) ) ;
#1190 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1191 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1192 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 7.000000000000000000, -1.500000000000000400 ) ) ;
#1193 = AXIS2_PLACEMENT_3D ( 'NONE', #1192, #1191, #1190 ) ;
#1194 = CIRCLE ( 'NONE', #1193, 0.1249999999999999000 ) ;
#1195 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1196 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1197 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, -0.2500000000000000000, 0.0000000000000000000 ) ) ;
#1198 = AXIS2_PLACEMENT_3D ( 'NONE', #1197, #1196, #1195 ) ;
#1199 = CIRCLE ( 'NONE', #1198, 1.062500000000000000 ) ;
#1200 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1201 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1202 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 7.000000000000000000, 0.0000000000000000000 ) ) ;
#1203 = AXIS2_PLACEMENT_3D ( 'NONE', #1202, #1201, #1200 ) ;
#1204 = CIRCLE ( 'NONE', #1203, 1.750000000000000000 ) ;
#1205 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, -0.1250000000000000000, 0.0000000000000000000 ) ) ;
#1206 = CARTESIAN_POINT ( 'NONE',  ( 1.454268073987482100E-016, -0.1250000000000000000, -1.187500000000000000 ) ) ;
#1207 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, -0.1250000000000000000, 1.187500000000000000 ) ) ;
#1208 = CARTESIAN_POINT ( 'NONE',  ( 2.937216627283329100E-017, 14.60999999999999900, -0.2340033777234926900 ) ) ;
#1209 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, -2.185478394931410600E-016 ) ) ;
#1210 = VECTOR ( 'NONE', #1209, 39.37007874015748100 ) ;
#1211 = CARTESIAN_POINT ( 'NONE',  ( -1.874999999999999800, 6.750000000000000000, 1.875000000000000900 ) ) ;
#1212 = LINE ( 'NONE', #1211, #1210 ) ;
#1213 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 6.750000000000000000, 1.875000000000000700 ) ) ;
#1214 = CARTESIAN_POINT ( 'NONE',  ( -1.281250000000000000, 15.00000000000000000, 1.373704628614769200 ) ) ;
#1215 = DIRECTION ( 'NONE',  ( -0.8660254037844388200, 0.0000000000000000000, -0.4999999999999996100 ) ) ;
#1216 = VECTOR ( 'NONE', #1215, 39.37007874015748100 ) ;
#1217 = CARTESIAN_POINT ( 'NONE',  ( -1.281250000000000000, 15.00000000000000000, 1.373704628614769200 ) ) ;
#1218 = LINE ( 'NONE', #1217, #1216 ) ;
#1219 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999998700, 15.00000000000000000, 1.875000000000001100 ) ) ;
#1220 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1221 = VECTOR ( 'NONE', #1220, 39.37007874015748100 ) ;
#1222 = CARTESIAN_POINT ( 'NONE',  ( -1.281250000000000000, 15.00000000000000000, 1.626295371385230800 ) ) ;
#1223 = LINE ( 'NONE', #1222, #1221 ) ;
#1224 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1225 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1226 = CARTESIAN_POINT ( 'NONE',  ( -1.874999999999999800, 6.750000000000000000, 1.875000000000000900 ) ) ;
#1227 = AXIS2_PLACEMENT_3D ( 'NONE', #1226, #1225, #1224 ) ;
#1228 = PLANE ( 'NONE',  #1227 ) ;
#1229 = FACE_BOUND ( 'NONE', #503, .T. ) ;
#1230 = FACE_OUTER_BOUND ( 'NONE', #43, .T. ) ;
#1231 = CARTESIAN_POINT ( 'NONE',  ( 1.281250000000000400, 15.00000000000000000, -1.373704628614769600 ) ) ;
#1232 = DIRECTION ( 'NONE',  ( -0.7071067811865474600, 0.0000000000000000000, -0.7071067811865474600 ) ) ;
#1233 = VECTOR ( 'NONE', #1232, 39.37007874015748900 ) ;
#1234 = CARTESIAN_POINT ( 'NONE',  ( -0.1874999999999998300, 15.00000000000000000, -3.562499999999999600 ) ) ;
#1235 = LINE ( 'NONE', #1234, #1233 ) ;
#1236 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.5150380749100514900, 0.8571673007021140000 ) ) ;
#1237 = VECTOR ( 'NONE', #1236, 39.37007874015748100 ) ;
#1238 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 14.50000000000000200, 0.2190000000000004400 ) ) ;
#1239 = LINE ( 'NONE', #1238, #1237 ) ;
#1240 = CARTESIAN_POINT ( 'NONE',  ( -1.281250000000000000, 15.25000000000000200, -1.373704628614769600 ) ) ;
#1241 = DIRECTION ( 'NONE',  ( 0.8660254037844388200, 0.0000000000000000000, -0.4999999999999996100 ) ) ;
#1242 = VECTOR ( 'NONE', #1241, 39.37007874015748100 ) ;
#1243 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.25000000000000200, -1.247409257229539200 ) ) ;
#1244 = LINE ( 'NONE', #1243, #1242 ) ;
#1245 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, -0.2500000000000000000, -1.062500000000000000 ) ) ;
#1246 = CARTESIAN_POINT ( 'NONE',  ( 3.008718379379213500E-017, 15.00000000000000000, -0.2456805000000000500 ) ) ;
#1247 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1248 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1249 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, -0.1250000000000000000, -1.062500000000000000 ) ) ;
#1250 = AXIS2_PLACEMENT_3D ( 'NONE', #1249, #1248, #1247 ) ;
#1251 = CIRCLE ( 'NONE', #1250, 0.1250000000000000300 ) ;
#1252 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.25000000000000200, -1.247409257229539200 ) ) ;
#1253 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1254 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1255 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, -0.1250000000000000000, 0.0000000000000000000 ) ) ;
#1256 = AXIS2_PLACEMENT_3D ( 'NONE', #1255, #1254, #1253 ) ;
#1257 = TOROIDAL_SURFACE ( 'NONE', #1256, 1.062500000000000000, 0.1250000000000000000 ) ;
#1258 = FACE_OUTER_BOUND ( 'NONE', #60, .T. ) ;
#1259 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.37500000000000000, 1.624999999999999800 ) ) ;
#1260 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1261 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1262 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, -1.124999999999999800, 0.0000000000000000000 ) ) ;
#1263 = AXIS2_PLACEMENT_3D ( 'NONE', #1262, #1261, #1260 ) ;
#1264 = CONICAL_SURFACE ( 'NONE', #1263, 0.8250000000000000700, 0.7853981633974332900 ) ;
#1265 = FACE_OUTER_BOUND ( 'NONE', #73, .T. ) ;
#1266 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 14.60999999999999900, 0.2340033777234926900 ) ) ;
#1267 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1268 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1269 = AXIS2_PLACEMENT_3D ( 'NONE', #1205, #1268, #1267 ) ;
#1270 = CIRCLE ( 'NONE', #1269, 1.187500000000000000 ) ;
#1271 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1272 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1273 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1274 = AXIS2_PLACEMENT_3D ( 'NONE', #1273, #1272, #1271 ) ;
#1275 = CIRCLE ( 'NONE', #1274, 1.187500000000000000 ) ;
#1276 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1277 = VECTOR ( 'NONE', #1276, 39.37007874015748100 ) ;
#1278 = CARTESIAN_POINT ( 'NONE',  ( 1.454268073987482100E-016, -0.2500000000000000000, -1.187500000000000000 ) ) ;
#1279 = LINE ( 'NONE', #1278, #1277 ) ;
#1280 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1281 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1282 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, -1.124999999999999800, 0.0000000000000000000 ) ) ;
#1283 = AXIS2_PLACEMENT_3D ( 'NONE', #1282, #1281, #1280 ) ;
#1284 = CIRCLE ( 'NONE', #1283, 0.8250000000000000700 ) ;
#1285 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1286 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1287 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, -1.074999999999998400, 0.0000000000000000000 ) ) ;
#1288 = AXIS2_PLACEMENT_3D ( 'NONE', #1287, #1286, #1285 ) ;
#1289 = CIRCLE ( 'NONE', #1288, 0.8750000000000000000 ) ;
#1290 = DIRECTION ( 'NONE',  ( 8.659560562354803400E-017, 0.7071067811865580100, -0.7071067811865368000 ) ) ;
#1291 = VECTOR ( 'NONE', #1290, 39.37007874015748900 ) ;
#1292 = CARTESIAN_POINT ( 'NONE',  ( 1.010333609296566500E-016, -1.124999999999999800, -0.8250000000000000700 ) ) ;
#1293 = LINE ( 'NONE', #1292, #1291 ) ;
#1294 = CARTESIAN_POINT ( 'NONE',  ( 1.071565949253934000E-016, -1.074999999999998400, -0.8750000000000000000 ) ) ;
#1295 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, -1.124999999999999800, 0.8250000000000000700 ) ) ;
#1296 = CARTESIAN_POINT ( 'NONE',  ( 1.040949779275250300E-016, -1.124999999999999800, -0.8250000000000000700 ) ) ;
#1297 = DIRECTION ( 'NONE',  ( 1.049727191138620500E-016, 0.5150380749100514900, -0.8571673007021140000 ) ) ;
#1298 = VECTOR ( 'NONE', #1297, 39.37007874015748100 ) ;
#1299 = CARTESIAN_POINT ( 'NONE',  ( 2.681976490132709300E-017, 14.50000000000000200, -0.2190000000000004400 ) ) ;
#1300 = LINE ( 'NONE', #1299, #1298 ) ;
#1301 = VECTOR ( 'NONE', #1363, 39.37007874015748900 ) ;
#1302 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, -1.124999999999999800, 0.8250000000000000700 ) ) ;
#1303 = LINE ( 'NONE', #1302, #1301 ) ;
#1304 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1305 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1306 = AXIS2_PLACEMENT_3D ( 'NONE', #1308, #1305, #1304 ) ;
#1307 = CYLINDRICAL_SURFACE ( 'NONE', #1306, 1.187500000000000000 ) ;
#1308 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, -0.2500000000000000000, 0.0000000000000000000 ) ) ;
#1309 = FACE_OUTER_BOUND ( 'NONE', #109, .T. ) ;
#1310 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.187500000000000000 ) ) ;
#1311 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, -0.2500000000000000000, 0.8750000000000000000 ) ) ;
#1312 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1313 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1314 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.37500000000000000, 1.499999999999999800 ) ) ;
#1315 = AXIS2_PLACEMENT_3D ( 'NONE', #1314, #1313, #1312 ) ;
#1316 = CYLINDRICAL_SURFACE ( 'NONE', #1315, 0.1249999999999999000 ) ;
#1317 = FACE_OUTER_BOUND ( 'NONE', #118, .T. ) ;
#1318 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1319 = VECTOR ( 'NONE', #1318, 39.37007874015748100 ) ;
#1320 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, -0.2500000000000000000, 1.187500000000000000 ) ) ;
#1321 = LINE ( 'NONE', #1320, #1319 ) ;
#1322 = CARTESIAN_POINT ( 'NONE',  ( 1.454268073987482100E-016, 0.0000000000000000000, -1.187500000000000000 ) ) ;
#1323 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1324 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1325 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.37500000000000000, 1.499999999999999800 ) ) ;
#1326 = AXIS2_PLACEMENT_3D ( 'NONE', #1325, #1324, #1323 ) ;
#1327 = CIRCLE ( 'NONE', #1326, 0.1249999999999999000 ) ;
#1328 = CARTESIAN_POINT ( 'NONE',  ( 1.071565949253934000E-016, -0.2500000000000000000, -0.8750000000000000000 ) ) ;
#1329 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1330 = VECTOR ( 'NONE', #1329, 39.37007874015748100 ) ;
#1331 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, -1.124999999999999800, 0.8750000000000000000 ) ) ;
#1332 = LINE ( 'NONE', #1331, #1330 ) ;
#1333 = CYLINDRICAL_SURFACE ( 'NONE', #1394, 0.1249999999999999000 ) ;
#1334 = FACE_OUTER_BOUND ( 'NONE', #255, .T. ) ;
#1335 = CARTESIAN_POINT ( 'NONE',  ( 1.530808498934191600E-016, 5.000000000000000000, 1.250000000000000000 ) ) ;
#1336 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 7.000000000000000000, -1.625000000000000200 ) ) ;
#1337 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1338 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1339 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, -0.2500000000000000000, 0.0000000000000000000 ) ) ;
#1340 = AXIS2_PLACEMENT_3D ( 'NONE', #1339, #1338, #1337 ) ;
#1341 = CIRCLE ( 'NONE', #1340, 0.8750000000000000000 ) ;
#1342 = DIRECTION ( 'NONE',  ( -1.224646799147353000E-016, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1343 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, -1.224646799147353200E-016 ) ) ;
#1344 = CARTESIAN_POINT ( 'NONE',  ( 1.301187224094062900E-016, -0.1250000000000000000, 1.062500000000000000 ) ) ;
#1345 = AXIS2_PLACEMENT_3D ( 'NONE', #1344, #1343, #1342 ) ;
#1346 = CIRCLE ( 'NONE', #1345, 0.1250000000000000300 ) ;
#1347 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1348 = VECTOR ( 'NONE', #1347, 39.37007874015748100 ) ;
#1349 = CARTESIAN_POINT ( 'NONE',  ( 1.071565949253934000E-016, -1.124999999999999800, -0.8750000000000000000 ) ) ;
#1350 = LINE ( 'NONE', #1349, #1348 ) ;
#1351 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, -1.074999999999998400, 0.8750000000000000000 ) ) ;
#1352 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1353 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1354 = AXIS2_PLACEMENT_3D ( 'NONE', #1360, #1353, #1352 ) ;
#1355 = CIRCLE ( 'NONE', #1354, 0.8750000000000000000 ) ;
#1356 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1357 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1358 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, -1.124999999999999800, 0.0000000000000000000 ) ) ;
#1359 = AXIS2_PLACEMENT_3D ( 'NONE', #1358, #1357, #1356 ) ;
#1360 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, -0.2500000000000000000, 0.0000000000000000000 ) ) ;
#1361 = CYLINDRICAL_SURFACE ( 'NONE', #1359, 0.8750000000000000000 ) ;
#1362 = FACE_OUTER_BOUND ( 'NONE', #113, .T. ) ;
#1363 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.7071067811865580100, 0.7071067811865368000 ) ) ;
#1364 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 11.00000000000000000, -1.747500000000000500 ) ) ;
#1365 = LINE ( 'NONE', #1364, #1430 ) ;
#1366 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1367 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1368 = AXIS2_PLACEMENT_3D ( 'NONE', #1375, #1367, #1366 ) ;
#1369 = CIRCLE ( 'NONE', #1368, 0.1249999999999999000 ) ;
#1370 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1371 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1372 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 10.50000000000000000, 0.0000000000000000000 ) ) ;
#1373 = AXIS2_PLACEMENT_3D ( 'NONE', #1372, #1371, #1370 ) ;
#1374 = CIRCLE ( 'NONE', #1373, 1.747500000000000500 ) ;
#1375 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 14.75000000000000000, 1.499999999999999800 ) ) ;
#1376 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 6.250000000000000000, 1.500000000000000200 ) ) ;
#1377 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1378 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1379 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 5.000000000000000000, 0.0000000000000000000 ) ) ;
#1380 = AXIS2_PLACEMENT_3D ( 'NONE', #1379, #1378, #1377 ) ;
#1381 = CIRCLE ( 'NONE', #1380, 1.187500000000000000 ) ;
#1382 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1383 = VECTOR ( 'NONE', #1382, 39.37007874015748100 ) ;
#1384 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 5.062500000000000000, -1.187500000000000000 ) ) ;
#1385 = LINE ( 'NONE', #1384, #1383 ) ;
#1386 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 10.50000000000000000, -1.747500000000000500 ) ) ;
#1387 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1388 = VECTOR ( 'NONE', #1387, 39.37007874015748100 ) ;
#1389 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.35355339059327300, -1.375000000000000400 ) ) ;
#1390 = LINE ( 'NONE', #1389, #1388 ) ;
#1391 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1392 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1393 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.35355339059327300, -1.500000000000000400 ) ) ;
#1394 = AXIS2_PLACEMENT_3D ( 'NONE', #1393, #1392, #1391 ) ;
#1395 = ORIENTED_EDGE ( 'NONE', *, *, #1396, .F. ) ;
#1396 = EDGE_CURVE ( 'NONE', #259, #218, #2984, .T. ) ;
#1397 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.25000000000000200, 1.247409257229538500 ) ) ;
#1398 = CARTESIAN_POINT ( 'NONE',  ( -1.718749999999999800, 15.25000000000000200, 1.626295371385230400 ) ) ;
#1399 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999300, 15.25000000000000200, 1.752590742770461200 ) ) ;
#1400 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1401 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1402 = CARTESIAN_POINT ( 'NONE',  ( -1.281250000000000000, 15.25000000000000200, 1.878886114155691400 ) ) ;
#1403 = AXIS2_PLACEMENT_3D ( 'NONE', #1402, #1401, #1400 ) ;
#1404 = PLANE ( 'NONE',  #1403 ) ;
#1405 = FACE_BOUND ( 'NONE', #176, .T. ) ;
#1406 = FACE_OUTER_BOUND ( 'NONE', #172, .T. ) ;
#1407 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1408 = VECTOR ( 'NONE', #1407, 39.37007874015748100 ) ;
#1409 = CARTESIAN_POINT ( 'NONE',  ( -1.718749999999999800, 15.25000000000000200, 1.373704628614769200 ) ) ;
#1410 = LINE ( 'NONE', #1409, #1408 ) ;
#1411 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1412 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1413 = AXIS2_PLACEMENT_3D ( 'NONE', #1415, #1412, #1411 ) ;
#1414 = CYLINDRICAL_SURFACE ( 'NONE', #1413, 1.750000000000000000 ) ;
#1415 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 14.75000000000000000, 0.0000000000000000000 ) ) ;
#1416 = FACE_OUTER_BOUND ( 'NONE', #247, .T. ) ;
#1417 = CARTESIAN_POINT ( 'NONE',  ( -1.281250000000000000, 15.25000000000000200, 1.626295371385230800 ) ) ;
#1418 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1419 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1420 = AXIS2_PLACEMENT_3D ( 'NONE', #1426, #1419, #1418 ) ;
#1421 = CIRCLE ( 'NONE', #1420, 1.750000000000000000 ) ;
#1422 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1423 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1424 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.35355339059327300, 1.499999999999999800 ) ) ;
#1425 = AXIS2_PLACEMENT_3D ( 'NONE', #1424, #1423, #1422 ) ;
#1426 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 14.75000000000000000, 0.0000000000000000000 ) ) ;
#1427 = CYLINDRICAL_SURFACE ( 'NONE', #1425, 0.1249999999999999000 ) ;
#1428 = FACE_OUTER_BOUND ( 'NONE', #281, .T. ) ;
#1429 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1430 = VECTOR ( 'NONE', #1429, 39.37007874015748100 ) ;
#1431 = CARTESIAN_POINT ( 'NONE',  ( -1.500000000000000400, 15.25000000000000200, -1.752590742770461900 ) ) ;
#1432 = CARTESIAN_POINT ( 'NONE',  ( -1.718749999999999800, 15.25000000000000200, -1.626295371385231500 ) ) ;
#1433 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1434 = VECTOR ( 'NONE', #1433, 39.37007874015748100 ) ;
#1435 = CARTESIAN_POINT ( 'NONE',  ( -1.718749999999999800, 15.25000000000000200, -1.626295371385231500 ) ) ;
#1436 = LINE ( 'NONE', #1435, #1434 ) ;
#1437 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1438 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1439 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.25000000000000200, -1.500000000000000400 ) ) ;
#1440 = AXIS2_PLACEMENT_3D ( 'NONE', #1439, #1438, #1437 ) ;
#1441 = CIRCLE ( 'NONE', #1440, 0.1249999999999999000 ) ;
#1442 = DIRECTION ( 'NONE',  ( 0.8660254037844388200, 0.0000000000000000000, 0.4999999999999995600 ) ) ;
#1443 = VECTOR ( 'NONE', #1442, 39.37007874015748900 ) ;
#1444 = CARTESIAN_POINT ( 'NONE',  ( -1.718749999999999800, 15.25000000000000200, 1.626295371385230400 ) ) ;
#1445 = LINE ( 'NONE', #1444, #1443 ) ;
#1446 = DIRECTION ( 'NONE',  ( -0.8660254037844382600, 0.0000000000000000000, 0.5000000000000005600 ) ) ;
#1447 = VECTOR ( 'NONE', #1446, 39.37007874015748900 ) ;
#1448 = CARTESIAN_POINT ( 'NONE',  ( -1.500000000000000400, 15.25000000000000200, -1.752590742770461900 ) ) ;
#1449 = LINE ( 'NONE', #1448, #1447 ) ;
#1450 = DIRECTION ( 'NONE',  ( 0.8660254037844388200, 0.0000000000000000000, -0.4999999999999998300 ) ) ;
#1451 = VECTOR ( 'NONE', #1450, 39.37007874015748900 ) ;
#1452 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999300, 15.25000000000000200, 1.752590742770461200 ) ) ;
#1453 = LINE ( 'NONE', #1452, #1451 ) ;
#1454 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1455 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1456 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 7.000000000000000000, -1.500000000000000400 ) ) ;
#1457 = AXIS2_PLACEMENT_3D ( 'NONE', #1456, #1455, #1454 ) ;
#1458 = CIRCLE ( 'NONE', #1457, 0.1249999999999999000 ) ;
#1459 = PLANE ( 'NONE',  #1523 ) ;
#1460 = FACE_BOUND ( 'NONE', #529, .T. ) ;
#1461 = FACE_OUTER_BOUND ( 'NONE', #186, .T. ) ;
#1462 = DIRECTION ( 'NONE',  ( -0.8660254037844388200, 0.0000000000000000000, -0.4999999999999996100 ) ) ;
#1463 = VECTOR ( 'NONE', #1462, 39.37007874015748100 ) ;
#1464 = CARTESIAN_POINT ( 'NONE',  ( -1.281250000000000000, 15.25000000000000200, 1.373704628614769200 ) ) ;
#1465 = LINE ( 'NONE', #1464, #1463 ) ;
#1466 = CARTESIAN_POINT ( 'NONE',  ( -1.281250000000000000, 15.25000000000000200, 1.373704628614769200 ) ) ;
#1467 = DIRECTION ( 'NONE',  ( 0.8660254037844386000, 0.0000000000000000000, 0.5000000000000001100 ) ) ;
#1468 = VECTOR ( 'NONE', #1467, 39.37007874015748100 ) ;
#1469 = CARTESIAN_POINT ( 'NONE',  ( 1.281250000000000400, 15.25000000000000200, -1.373704628614769600 ) ) ;
#1470 = LINE ( 'NONE', #1469, #1468 ) ;
#1471 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1472 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1473 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.25000000000000200, 1.499999999999999800 ) ) ;
#1474 = AXIS2_PLACEMENT_3D ( 'NONE', #1473, #1472, #1471 ) ;
#1475 = CIRCLE ( 'NONE', #1474, 0.1249999999999999000 ) ;
#1476 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 7.000000000000000000, -1.625000000000000200 ) ) ;
#1477 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 7.000000000000000000, -1.375000000000000400 ) ) ;
#1478 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1479 = VECTOR ( 'NONE', #1478, 39.37007874015748100 ) ;
#1480 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.35355339059327300, 1.624999999999999800 ) ) ;
#1481 = LINE ( 'NONE', #1480, #1479 ) ;
#1482 = CARTESIAN_POINT ( 'NONE',  ( -1.718749999999999800, 15.25000000000000200, 1.373704628614769200 ) ) ;
#1483 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.25000000000000200, 1.247409257229538500 ) ) ;
#1484 = CARTESIAN_POINT ( 'NONE',  ( 1.281250000000000400, 15.25000000000000200, -1.373704628614769600 ) ) ;
#1485 = DIRECTION ( 'NONE',  ( -0.8660254037844388200, 0.0000000000000000000, -0.4999999999999995600 ) ) ;
#1486 = VECTOR ( 'NONE', #1485, 39.37007874015748900 ) ;
#1487 = CARTESIAN_POINT ( 'NONE',  ( -1.281250000000000000, 15.25000000000000200, -1.626295371385231100 ) ) ;
#1488 = LINE ( 'NONE', #1487, #1486 ) ;
#1489 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1490 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1491 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1492 = AXIS2_PLACEMENT_3D ( 'NONE', #1491, #1490, #1489 ) ;
#1493 = CIRCLE ( 'NONE', #1492, 1.187500000000000000 ) ;
#1494 = DIRECTION ( 'NONE',  ( -0.8660254037844388200, 0.0000000000000000000, -0.4999999999999998300 ) ) ;
#1495 = VECTOR ( 'NONE', #1494, 39.37007874015748900 ) ;
#1496 = CARTESIAN_POINT ( 'NONE',  ( 1.718749999999999800, 15.00000000000000000, 1.373704628614770300 ) ) ;
#1497 = LINE ( 'NONE', #1496, #1495 ) ;
#1498 = DIRECTION ( 'NONE',  ( 0.8660254037844388200, 0.0000000000000000000, -0.4999999999999996100 ) ) ;
#1499 = VECTOR ( 'NONE', #1498, 39.37007874015748100 ) ;
#1500 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000200, 15.25000000000000200, -1.247409257229539200 ) ) ;
#1501 = LINE ( 'NONE', #1500, #1499 ) ;
#1502 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1503 = VECTOR ( 'NONE', #1502, 39.37007874015748100 ) ;
#1504 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.35355339059327300, -1.625000000000000200 ) ) ;
#1505 = LINE ( 'NONE', #1504, #1503 ) ;
#1506 = DIRECTION ( 'NONE',  ( -0.8660254037844388200, 0.0000000000000000000, 0.4999999999999996100 ) ) ;
#1507 = VECTOR ( 'NONE', #1506, 39.37007874015748100 ) ;
#1508 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.25000000000000200, 1.247409257229538500 ) ) ;
#1509 = LINE ( 'NONE', #1508, #1507 ) ;
#1510 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000200, 15.25000000000000200, -1.247409257229539200 ) ) ;
#1511 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1512 = VECTOR ( 'NONE', #1511, 39.37007874015748100 ) ;
#1513 = CARTESIAN_POINT ( 'NONE',  ( -1.281250000000000000, 15.25000000000000200, 1.626295371385230800 ) ) ;
#1514 = LINE ( 'NONE', #1513, #1512 ) ;
#1515 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1516 = VECTOR ( 'NONE', #1515, 39.37007874015748100 ) ;
#1517 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.35355339059327300, -1.625000000000000200 ) ) ;
#1518 = LINE ( 'NONE', #1517, #1516 ) ;
#1519 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 14.75000000000000000, -1.625000000000000200 ) ) ;
#1520 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1521 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1522 = CARTESIAN_POINT ( 'NONE',  ( 1.062500000000000700, 15.25000000000000200, -1.500000000000000200 ) ) ;
#1523 = AXIS2_PLACEMENT_3D ( 'NONE', #1522, #1521, #1520 ) ;
#1524 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.00000000000000000, -1.247409257229539200 ) ) ;
#1525 = LINE ( 'NONE', #1524, #1590 ) ;
#1526 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.00000000000000000, -1.247409257229539200 ) ) ;
#1527 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 14.75000000000000000, 1.624999999999999800 ) ) ;
#1528 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1529 = VECTOR ( 'NONE', #1528, 39.37007874015748100 ) ;
#1530 = CARTESIAN_POINT ( 'NONE',  ( 1.281250000000001600, 15.00000000000000000, 1.373704628614769800 ) ) ;
#1531 = LINE ( 'NONE', #1530, #1529 ) ;
#1532 = CARTESIAN_POINT ( 'NONE',  ( 1.281250000000001600, 15.00000000000000000, 1.373704628614769800 ) ) ;
#1533 = DIRECTION ( 'NONE',  ( 0.8660254037844386000, 0.0000000000000000000, 0.4999999999999998900 ) ) ;
#1534 = VECTOR ( 'NONE', #1533, 39.37007874015748100 ) ;
#1535 = CARTESIAN_POINT ( 'NONE',  ( 1.281250000000001600, 15.00000000000000000, 1.626295371385230800 ) ) ;
#1536 = LINE ( 'NONE', #1535, #1534 ) ;
#1537 = CARTESIAN_POINT ( 'NONE',  ( 1.281250000000001600, 15.00000000000000000, 1.626295371385230800 ) ) ;
#1538 = CARTESIAN_POINT ( 'NONE',  ( 1.718749999999999800, 15.00000000000000000, 1.626295371385230600 ) ) ;
#1539 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1540 = VECTOR ( 'NONE', #1539, 39.37007874015748100 ) ;
#1541 = CARTESIAN_POINT ( 'NONE',  ( 1.718749999999999800, 15.00000000000000000, 1.626295371385230600 ) ) ;
#1542 = LINE ( 'NONE', #1541, #1540 ) ;
#1543 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.00000000000000000, 1.752590742770460800 ) ) ;
#1544 = CARTESIAN_POINT ( 'NONE',  ( 1.718750000000000000, 15.25000000000000200, -1.373704628614769600 ) ) ;
#1545 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.00000000000000000, 1.247409257229539900 ) ) ;
#1546 = DIRECTION ( 'NONE',  ( -0.8660254037844386000, 0.0000000000000000000, 0.4999999999999998900 ) ) ;
#1547 = VECTOR ( 'NONE', #1546, 39.37007874015748100 ) ;
#1548 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.00000000000000000, 1.247409257229539900 ) ) ;
#1549 = LINE ( 'NONE', #1548, #1547 ) ;
#1550 = CARTESIAN_POINT ( 'NONE',  ( -1.281250000000000000, 15.00000000000000000, -1.373704628614769600 ) ) ;
#1551 = DIRECTION ( 'NONE',  ( 0.8660254037844388200, 0.0000000000000000000, -0.4999999999999998300 ) ) ;
#1552 = VECTOR ( 'NONE', #1551, 39.37007874015748900 ) ;
#1553 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.00000000000000000, 1.752590742770460800 ) ) ;
#1554 = LINE ( 'NONE', #1553, #1552 ) ;
#1555 = VECTOR ( 'NONE', #1620, 39.37007874015748100 ) ;
#1556 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.35355339059327300, 1.375000000000000000 ) ) ;
#1557 = LINE ( 'NONE', #1556, #1555 ) ;
#1558 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.25000000000000200, 1.247409257229539900 ) ) ;
#1559 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1560 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1561 = AXIS2_PLACEMENT_3D ( 'NONE', #1567, #1560, #1559 ) ;
#1562 = CIRCLE ( 'NONE', #1561, 0.1249999999999999000 ) ;
#1563 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1564 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1565 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.35355339059327300, 1.499999999999999800 ) ) ;
#1566 = AXIS2_PLACEMENT_3D ( 'NONE', #1565, #1564, #1563 ) ;
#1567 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 14.75000000000000000, 1.499999999999999800 ) ) ;
#1568 = CYLINDRICAL_SURFACE ( 'NONE', #1566, 0.1249999999999999000 ) ;
#1569 = FACE_OUTER_BOUND ( 'NONE', #245, .T. ) ;
#1570 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 14.75000000000000000, 1.375000000000000000 ) ) ;
#1571 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1572 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1573 = CARTESIAN_POINT ( 'NONE',  ( -1.875000000000000000, 15.00000000000000000, -1.874999999999999300 ) ) ;
#1574 = AXIS2_PLACEMENT_3D ( 'NONE', #1573, #1572, #1571 ) ;
#1575 = PLANE ( 'NONE',  #1574 ) ;
#1576 = FACE_BOUND ( 'NONE', #312, .T. ) ;
#1577 = FACE_BOUND ( 'NONE', #333, .T. ) ;
#1578 = FACE_OUTER_BOUND ( 'NONE', #35, .T. ) ;
#1579 = FACE_BOUND ( 'NONE', #220, .T. ) ;
#1580 = FACE_BOUND ( 'NONE', #254, .T. ) ;
#1581 = FACE_BOUND ( 'NONE', #229, .T. ) ;
#1582 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 14.75000000000000000, 1.624999999999999800 ) ) ;
#1583 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1584 = VECTOR ( 'NONE', #1583, 39.37007874015748100 ) ;
#1585 = CARTESIAN_POINT ( 'NONE',  ( 1.281250000000001600, 15.25000000000000200, 1.373704628614769800 ) ) ;
#1586 = LINE ( 'NONE', #1585, #1584 ) ;
#1587 = CARTESIAN_POINT ( 'NONE',  ( 1.718749999999999800, 15.00000000000000000, 1.373704628614770300 ) ) ;
#1588 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 7.000000000000000000, 1.624999999999999800 ) ) ;
#1589 = DIRECTION ( 'NONE',  ( 0.8660254037844388200, 0.0000000000000000000, -0.4999999999999996100 ) ) ;
#1590 = VECTOR ( 'NONE', #1589, 39.37007874015748100 ) ;
#1591 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1592 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1593 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 7.000000000000000000, 1.499999999999999800 ) ) ;
#1594 = AXIS2_PLACEMENT_3D ( 'NONE', #1593, #1592, #1591 ) ;
#1595 = CIRCLE ( 'NONE', #1594, 0.1249999999999999000 ) ;
#1596 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1597 = VECTOR ( 'NONE', #1596, 39.37007874015748100 ) ;
#1598 = CARTESIAN_POINT ( 'NONE',  ( 1.718749999999999800, 15.25000000000000200, 1.626295371385230600 ) ) ;
#1599 = LINE ( 'NONE', #1598, #1597 ) ;
#1600 = DIRECTION ( 'NONE',  ( -0.8660254037844386000, 0.0000000000000000000, 0.4999999999999998900 ) ) ;
#1601 = VECTOR ( 'NONE', #1600, 39.37007874015748100 ) ;
#1602 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.25000000000000200, 1.247409257229539900 ) ) ;
#1603 = LINE ( 'NONE', #1602, #1601 ) ;
#1604 = CARTESIAN_POINT ( 'NONE',  ( 1.281250000000001600, 15.25000000000000200, 1.373704628614769800 ) ) ;
#1605 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1606 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1607 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 7.000000000000000000, 1.499999999999999800 ) ) ;
#1608 = AXIS2_PLACEMENT_3D ( 'NONE', #1607, #1606, #1605 ) ;
#1609 = CIRCLE ( 'NONE', #1608, 0.1249999999999999000 ) ;
#1610 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 7.000000000000000000, 1.375000000000000000 ) ) ;
#1611 = CARTESIAN_POINT ( 'NONE',  ( 1.718749999999999800, 15.25000000000000200, 1.373704628614770300 ) ) ;
#1612 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1613 = VECTOR ( 'NONE', #1612, 39.37007874015748100 ) ;
#1614 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.35355339059327300, 1.375000000000000000 ) ) ;
#1615 = LINE ( 'NONE', #1614, #1613 ) ;
#1616 = DIRECTION ( 'NONE',  ( -0.8660254037844388200, 0.0000000000000000000, -0.4999999999999998300 ) ) ;
#1617 = VECTOR ( 'NONE', #1616, 39.37007874015748900 ) ;
#1618 = CARTESIAN_POINT ( 'NONE',  ( 1.718749999999999800, 15.25000000000000200, 1.373704628614770300 ) ) ;
#1619 = LINE ( 'NONE', #1618, #1617 ) ;
#1620 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1621 = CARTESIAN_POINT ( 'NONE',  ( 2.140070281510000400E-016, 11.00000000000000000, 1.747500000000000500 ) ) ;
#1622 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1623 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1624 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 11.00000000000000000, 0.0000000000000000000 ) ) ;
#1625 = AXIS2_PLACEMENT_3D ( 'NONE', #1624, #1623, #1622 ) ;
#1626 = CIRCLE ( 'NONE', #1625, 1.747500000000000500 ) ;
#1627 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1628 = VECTOR ( 'NONE', #1627, 39.37007874015748100 ) ;
#1629 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.35355339059327300, -1.375000000000000400 ) ) ;
#1630 = LINE ( 'NONE', #1629, #1628 ) ;
#1631 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 7.000000000000000000, 1.375000000000000000 ) ) ;
#1632 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1633 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1634 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 11.00000000000000000, 0.0000000000000000000 ) ) ;
#1635 = AXIS2_PLACEMENT_3D ( 'NONE', #1634, #1633, #1632 ) ;
#1636 = CYLINDRICAL_SURFACE ( 'NONE', #1635, 1.747500000000000500 ) ;
#1637 = FACE_OUTER_BOUND ( 'NONE', #289, .T. ) ;
#1638 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1639 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1640 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 7.000000000000000000, 1.499999999999999800 ) ) ;
#1641 = AXIS2_PLACEMENT_3D ( 'NONE', #1640, #1639, #1638 ) ;
#1642 = CIRCLE ( 'NONE', #1641, 0.1249999999999999000 ) ;
#1643 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1644 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1645 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 15.00000000000000000, 0.0000000000000000000 ) ) ;
#1646 = AXIS2_PLACEMENT_3D ( 'NONE', #1645, #1644, #1643 ) ;
#1647 = CIRCLE ( 'NONE', #1646, 0.2456805000000000500 ) ;
#1648 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1649 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1650 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.25000000000000200, 1.499999999999999800 ) ) ;
#1651 = AXIS2_PLACEMENT_3D ( 'NONE', #1650, #1649, #1648 ) ;
#1652 = CIRCLE ( 'NONE', #1651, 0.1249999999999999000 ) ;
#1653 = ORIENTED_EDGE ( 'NONE', *, *, #344, .F. ) ;
#1654 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 7.000000000000000000, 1.624999999999999800 ) ) ;
#1655 = CARTESIAN_POINT ( 'NONE',  ( 2.143131898507868100E-016, 11.00000000000000000, 1.750000000000000000 ) ) ;
#1656 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1657 = VECTOR ( 'NONE', #1656, 39.37007874015748100 ) ;
#1658 = CARTESIAN_POINT ( 'NONE',  ( 2.143131898507868100E-016, 14.75000000000000000, 1.750000000000000000 ) ) ;
#1659 = LINE ( 'NONE', #1658, #1657 ) ;
#1660 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 14.75000000000000000, -1.750000000000000000 ) ) ;
#1661 = CARTESIAN_POINT ( 'NONE',  ( 2.140070281510000400E-016, 10.50000000000000000, 1.747500000000000500 ) ) ;
#1662 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1663 = VECTOR ( 'NONE', #1662, 39.37007874015748100 ) ;
#1664 = CARTESIAN_POINT ( 'NONE',  ( 2.140070281510000400E-016, 11.00000000000000000, 1.747500000000000500 ) ) ;
#1665 = LINE ( 'NONE', #1664, #1663 ) ;
#1666 = CARTESIAN_POINT ( 'NONE',  ( 2.143131898507868100E-016, 14.75000000000000000, 1.750000000000000000 ) ) ;
#1667 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 11.00000000000000000, -1.747500000000000500 ) ) ;
#1668 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 14.75000000000000000, 1.375000000000000000 ) ) ;
#1669 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1670 = VECTOR ( 'NONE', #1669, 39.37007874015748100 ) ;
#1671 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.35355339059327300, 1.624999999999999800 ) ) ;
#1672 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1673 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1674 = AXIS2_PLACEMENT_3D ( 'NONE', #1677, #1673, #1672 ) ;
#1675 = CYLINDRICAL_SURFACE ( 'NONE', #1674, 0.1249999999999999000 ) ;
#1676 = LINE ( 'NONE', #1671, #1670 ) ;
#1677 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.35355339059327300, -1.500000000000000400 ) ) ;
#1678 = FACE_OUTER_BOUND ( 'NONE', #280, .T. ) ;
#1679 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 14.75000000000000000, -1.375000000000000400 ) ) ;
#1680 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1681 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1682 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 14.75000000000000000, -1.500000000000000400 ) ) ;
#1683 = AXIS2_PLACEMENT_3D ( 'NONE', #1682, #1681, #1680 ) ;
#1684 = CIRCLE ( 'NONE', #1683, 0.1249999999999999000 ) ;
#1685 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.00000000000000000, 1.247409257229538500 ) ) ;
#1686 = LINE ( 'NONE', #1685, #1747 ) ;
#1687 = DIRECTION ( 'NONE',  ( 0.7071067811865493500, 0.0000000000000000000, -0.7071067811865458000 ) ) ;
#1688 = VECTOR ( 'NONE', #1687, 39.37007874015748100 ) ;
#1689 = CARTESIAN_POINT ( 'NONE',  ( 1.687499999999989100, 15.00000000000000000, 1.687500000000008000 ) ) ;
#1690 = LINE ( 'NONE', #1689, #1688 ) ;
#1691 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.00000000000000000, 1.247409257229538500 ) ) ;
#1692 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1693 = VECTOR ( 'NONE', #1692, 39.37007874015748100 ) ;
#1694 = CARTESIAN_POINT ( 'NONE',  ( 1.718750000000000000, 15.00000000000000000, -1.373704628614769600 ) ) ;
#1695 = LINE ( 'NONE', #1694, #1693 ) ;
#1696 = CARTESIAN_POINT ( 'NONE',  ( -1.718749999999999800, 15.00000000000000000, 1.373704628614768700 ) ) ;
#1697 = CARTESIAN_POINT ( 'NONE',  ( -1.281250000000000000, 15.00000000000000000, 1.626295371385230800 ) ) ;
#1698 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999300, 15.00000000000000000, 1.752590742770461200 ) ) ;
#1699 = DIRECTION ( 'NONE',  ( 0.8660254037844388200, 0.0000000000000000000, 0.4999999999999995600 ) ) ;
#1700 = VECTOR ( 'NONE', #1699, 39.37007874015748900 ) ;
#1701 = CARTESIAN_POINT ( 'NONE',  ( -1.718749999999999800, 15.00000000000000000, 1.626295371385230400 ) ) ;
#1702 = LINE ( 'NONE', #1701, #1700 ) ;
#1703 = CARTESIAN_POINT ( 'NONE',  ( -1.718749999999999800, 15.00000000000000000, 1.626295371385230400 ) ) ;
#1704 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1705 = VECTOR ( 'NONE', #1704, 39.37007874015748100 ) ;
#1706 = CARTESIAN_POINT ( 'NONE',  ( -1.718749999999999800, 15.00000000000000000, 1.373704628614769200 ) ) ;
#1707 = LINE ( 'NONE', #1706, #1705 ) ;
#1708 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1709 = VECTOR ( 'NONE', #1708, 39.37007874015748100 ) ;
#1710 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 14.75000000000000000, -1.750000000000000000 ) ) ;
#1711 = LINE ( 'NONE', #1710, #1709 ) ;
#1712 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 11.00000000000000000, -1.750000000000000000 ) ) ;
#1713 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1714 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1715 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 11.00000000000000000, 0.0000000000000000000 ) ) ;
#1716 = AXIS2_PLACEMENT_3D ( 'NONE', #1715, #1714, #1713 ) ;
#1717 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000700, 15.00000000000000000, -1.752590742770461500 ) ) ;
#1718 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1719 = VECTOR ( 'NONE', #1718, 39.37007874015748100 ) ;
#1720 = CARTESIAN_POINT ( 'NONE',  ( 1.281250000000000400, 15.00000000000000000, -1.626295371385230600 ) ) ;
#1721 = LINE ( 'NONE', #1720, #1719 ) ;
#1722 = CARTESIAN_POINT ( 'NONE',  ( 1.281250000000000400, 15.00000000000000000, -1.626295371385230600 ) ) ;
#1723 = CARTESIAN_POINT ( 'NONE',  ( -1.874999999999999800, 15.00000000000000000, 1.500000000000000400 ) ) ;
#1724 = DIRECTION ( 'NONE',  ( 7.284927983104701900E-017, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1725 = VECTOR ( 'NONE', #1724, 39.37007874015748100 ) ;
#1726 = CARTESIAN_POINT ( 'NONE',  ( -1.875000000000000000, 15.00000000000000000, -1.874999999999999300 ) ) ;
#1727 = LINE ( 'NONE', #1726, #1725 ) ;
#1728 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1729 = VECTOR ( 'NONE', #1728, 39.37007874015748100 ) ;
#1730 = CARTESIAN_POINT ( 'NONE',  ( 1.875000000000000000, 15.00000000000000000, 1.875000000000000000 ) ) ;
#1731 = LINE ( 'NONE', #1730, #1729 ) ;
#1732 = DIRECTION ( 'NONE',  ( -0.8660254037844386000, 0.0000000000000000000, 0.5000000000000000000 ) ) ;
#1733 = VECTOR ( 'NONE', #1732, 39.37007874015748900 ) ;
#1734 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000700, 15.00000000000000000, -1.752590742770461500 ) ) ;
#1735 = LINE ( 'NONE', #1734, #1733 ) ;
#1736 = CARTESIAN_POINT ( 'NONE',  ( 1.875000000000000000, 15.00000000000000000, 1.499999999999997600 ) ) ;
#1737 = DIRECTION ( 'NONE',  ( 0.8660254037844388200, 0.0000000000000000000, -0.4999999999999998300 ) ) ;
#1738 = VECTOR ( 'NONE', #1737, 39.37007874015748900 ) ;
#1739 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999300, 15.00000000000000000, 1.752590742770461200 ) ) ;
#1740 = LINE ( 'NONE', #1739, #1738 ) ;
#1741 = CARTESIAN_POINT ( 'NONE',  ( 1.718750000000000000, 15.00000000000000000, -1.626295371385231100 ) ) ;
#1742 = DIRECTION ( 'NONE',  ( -0.8660254037844388200, 0.0000000000000000000, -0.4999999999999998300 ) ) ;
#1743 = VECTOR ( 'NONE', #1742, 39.37007874015748900 ) ;
#1744 = CARTESIAN_POINT ( 'NONE',  ( 1.718750000000000000, 15.00000000000000000, -1.626295371385231100 ) ) ;
#1745 = LINE ( 'NONE', #1744, #1743 ) ;
#1746 = DIRECTION ( 'NONE',  ( -0.8660254037844388200, 0.0000000000000000000, 0.4999999999999996100 ) ) ;
#1747 = VECTOR ( 'NONE', #1746, 39.37007874015748100 ) ;
#1748 = AXIS2_PLACEMENT_3D ( 'NONE', #1811, #1810, #1809 ) ;
#1749 = CYLINDRICAL_SURFACE ( 'NONE', #1748, 0.1249999999999999000 ) ;
#1750 = FACE_OUTER_BOUND ( 'NONE', #383, .T. ) ;
#1751 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1752 = VECTOR ( 'NONE', #1751, 39.37007874015748100 ) ;
#1753 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.37500000000000000, -1.375000000000000400 ) ) ;
#1754 = LINE ( 'NONE', #1753, #1752 ) ;
#1755 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1756 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1757 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.25000000000000200, 1.499999999999999800 ) ) ;
#1758 = AXIS2_PLACEMENT_3D ( 'NONE', #1757, #1756, #1755 ) ;
#1759 = CIRCLE ( 'NONE', #1758, 0.1249999999999999000 ) ;
#1760 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.25000000000000200, -1.375000000000000400 ) ) ;
#1761 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 14.75000000000000000, -1.625000000000000200 ) ) ;
#1762 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 5.000000000000000000, -1.187500000000000000 ) ) ;
#1763 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 14.75000000000000000, -1.375000000000000400 ) ) ;
#1764 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, -2.185478394931410600E-016 ) ) ;
#1765 = VECTOR ( 'NONE', #1764, 39.37007874015748100 ) ;
#1766 = CARTESIAN_POINT ( 'NONE',  ( -1.874999999999999800, 15.00000000000000000, 1.875000000000000900 ) ) ;
#1767 = LINE ( 'NONE', #1766, #1765 ) ;
#1768 = DIRECTION ( 'NONE',  ( 0.8660254037844386000, 0.0000000000000000000, 0.5000000000000001100 ) ) ;
#1769 = VECTOR ( 'NONE', #1768, 39.37007874015748100 ) ;
#1770 = CARTESIAN_POINT ( 'NONE',  ( 1.281250000000000400, 15.00000000000000000, -1.373704628614769600 ) ) ;
#1771 = LINE ( 'NONE', #1770, #1769 ) ;
#1772 = CARTESIAN_POINT ( 'NONE',  ( 1.875000000000000700, 15.00000000000000000, -1.499999999999998400 ) ) ;
#1773 = CARTESIAN_POINT ( 'NONE',  ( 1.499999999999995600, 15.00000000000000000, 1.875000000000000000 ) ) ;
#1774 = DIRECTION ( 'NONE',  ( 0.7071067811865474600, 0.0000000000000000000, 0.7071067811865474600 ) ) ;
#1775 = VECTOR ( 'NONE', #1774, 39.37007874015748900 ) ;
#1776 = CARTESIAN_POINT ( 'NONE',  ( -3.562500000000000000, 15.00000000000000000, -0.1874999999999995800 ) ) ;
#1777 = LINE ( 'NONE', #1776, #1775 ) ;
#1778 = CARTESIAN_POINT ( 'NONE',  ( 1.718750000000000000, 15.00000000000000000, -1.373704628614769600 ) ) ;
#1779 = CIRCLE ( 'NONE', #1840, 1.187500000000000000 ) ;
#1780 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1781 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1782 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.37500000000000000, -1.500000000000000400 ) ) ;
#1783 = AXIS2_PLACEMENT_3D ( 'NONE', #1782, #1781, #1780 ) ;
#1784 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 5.062500000000000000, 0.0000000000000000000 ) ) ;
#1785 = CYLINDRICAL_SURFACE ( 'NONE', #1783, 0.1249999999999999000 ) ;
#1786 = FACE_OUTER_BOUND ( 'NONE', #409, .T. ) ;
#1787 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1788 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1789 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 14.75000000000000000, -1.500000000000000400 ) ) ;
#1790 = AXIS2_PLACEMENT_3D ( 'NONE', #1789, #1788, #1787 ) ;
#1791 = CIRCLE ( 'NONE', #1790, 0.1249999999999999000 ) ;
#1792 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.37500000000000000, -1.375000000000000400 ) ) ;
#1793 = CARTESIAN_POINT ( 'NONE',  ( 1.836970198721030200E-016, 6.250000000000000000, -1.500000000000000200 ) ) ;
#1794 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1795 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1796 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.37500000000000000, -1.500000000000000400 ) ) ;
#1797 = AXIS2_PLACEMENT_3D ( 'NONE', #1796, #1795, #1794 ) ;
#1798 = CIRCLE ( 'NONE', #1797, 0.1249999999999999000 ) ;
#1799 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.37500000000000000, -1.625000000000000200 ) ) ;
#1800 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1801 = VECTOR ( 'NONE', #1800, 39.37007874015748100 ) ;
#1802 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.37500000000000000, -1.375000000000000400 ) ) ;
#1803 = LINE ( 'NONE', #1802, #1801 ) ;
#1804 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1805 = VECTOR ( 'NONE', #1804, 39.37007874015748100 ) ;
#1806 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.37500000000000000, -1.625000000000000200 ) ) ;
#1807 = LINE ( 'NONE', #1806, #1805 ) ;
#1808 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.37500000000000000, -1.625000000000000200 ) ) ;
#1809 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1810 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1811 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.37500000000000000, -1.500000000000000400 ) ) ;
#1812 = FACE_OUTER_BOUND ( 'NONE', #412, .T. ) ;
#1813 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1814 = VECTOR ( 'NONE', #1813, 39.37007874015748100 ) ;
#1815 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 6.750000000000000000, -1.250000000000000000 ) ) ;
#1816 = LINE ( 'NONE', #1815, #1814 ) ;
#1817 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1818 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1819 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 5.062500000000000000, 0.0000000000000000000 ) ) ;
#1820 = AXIS2_PLACEMENT_3D ( 'NONE', #1819, #1818, #1817 ) ;
#1821 = CYLINDRICAL_SURFACE ( 'NONE', #1820, 1.187500000000000000 ) ;
#1822 = FACE_OUTER_BOUND ( 'NONE', #388, .T. ) ;
#1823 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.25000000000000200, -1.375000000000000400 ) ) ;
#1824 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1825 = VECTOR ( 'NONE', #1824, 39.37007874015748100 ) ;
#1826 = CARTESIAN_POINT ( 'NONE',  ( -1.281250000000000000, 15.25000000000000200, -1.373704628614769600 ) ) ;
#1827 = LINE ( 'NONE', #1826, #1825 ) ;
#1828 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1829 = VECTOR ( 'NONE', #1828, 39.37007874015748100 ) ;
#1830 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.37500000000000000, 1.624999999999999800 ) ) ;
#1831 = LINE ( 'NONE', #1830, #1829 ) ;
#1832 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1833 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1834 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.25000000000000200, -1.500000000000000400 ) ) ;
#1835 = AXIS2_PLACEMENT_3D ( 'NONE', #1834, #1833, #1832 ) ;
#1836 = CIRCLE ( 'NONE', #1835, 0.1249999999999999000 ) ;
#1837 = CARTESIAN_POINT ( 'NONE',  ( 1.454268073987482100E-016, 5.062500000000000000, 1.187500000000000000 ) ) ;
#1838 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1839 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1840 = AXIS2_PLACEMENT_3D ( 'NONE', #1784, #1839, #1838 ) ;
#1841 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.25000000000000200, -1.625000000000000200 ) ) ;
#1842 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 5.062500000000000000, -1.250000000000000000 ) ) ;
#1843 = CARTESIAN_POINT ( 'NONE',  ( 1.454268073987482100E-016, 5.000000000000000000, 1.187500000000000000 ) ) ;
#1844 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1845 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1846 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.25000000000000200, -1.500000000000000400 ) ) ;
#1847 = AXIS2_PLACEMENT_3D ( 'NONE', #1846, #1845, #1844 ) ;
#1848 = CIRCLE ( 'NONE', #1847, 0.1249999999999999000 ) ;
#1849 = CARTESIAN_POINT ( 'NONE',  ( 1.530808498934191600E-016, 5.062500000000000000, 1.250000000000000000 ) ) ;
#1850 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1851 = VECTOR ( 'NONE', #1850, 39.37007874015748100 ) ;
#1852 = CARTESIAN_POINT ( 'NONE',  ( 1.530808498934191600E-016, 6.750000000000000000, 1.250000000000000000 ) ) ;
#1853 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1854 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1855 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.37500000000000000, 1.499999999999999800 ) ) ;
#1856 = AXIS2_PLACEMENT_3D ( 'NONE', #1855, #1854, #1853 ) ;
#1857 = LINE ( 'NONE', #1852, #1851 ) ;
#1858 = CYLINDRICAL_SURFACE ( 'NONE', #1856, 0.1249999999999999000 ) ;
#1859 = FACE_OUTER_BOUND ( 'NONE', #357, .T. ) ;
#1860 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.37500000000000000, 1.624999999999999800 ) ) ;
#1861 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1862 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1863 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1864 = AXIS2_PLACEMENT_3D ( 'NONE', #1863, #1862, #1861 ) ;
#1865 = CIRCLE ( 'NONE', #1864, 1.250000000000000000 ) ;
#1866 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1867 = VECTOR ( 'NONE', #1866, 39.37007874015748100 ) ;
#1868 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.37500000000000000, -1.625000000000000200 ) ) ;
#1869 = LINE ( 'NONE', #1868, #1867 ) ;
#1870 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1871 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1872 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 5.000000000000000000, 0.0000000000000000000 ) ) ;
#1873 = AXIS2_PLACEMENT_3D ( 'NONE', #1872, #1871, #1870 ) ;
#1874 = CYLINDRICAL_SURFACE ( 'NONE', #1873, 1.250000000000000000 ) ;
#1875 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.25000000000000200, 1.624999999999999800 ) ) ;
#1876 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1877 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1878 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.37500000000000000, 1.499999999999999800 ) ) ;
#1879 = AXIS2_PLACEMENT_3D ( 'NONE', #1878, #1877, #1876 ) ;
#1880 = CIRCLE ( 'NONE', #1879, 0.1249999999999999000 ) ;
#1881 = CARTESIAN_POINT ( 'NONE',  ( 1.836970198721030200E-016, 6.750000000000000000, -1.500000000000000200 ) ) ;
#1882 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.250000000000000000 ) ) ;
#1883 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 6.750000000000000000, 1.500000000000000200 ) ) ;
#1884 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 5.000000000000000000, -1.250000000000000000 ) ) ;
#1885 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1886 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1887 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 5.062500000000000000, 0.0000000000000000000 ) ) ;
#1888 = AXIS2_PLACEMENT_3D ( 'NONE', #1887, #1886, #1885 ) ;
#1889 = CIRCLE ( 'NONE', #1888, 1.250000000000000000 ) ;
#1890 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1891 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1892 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.37500000000000000, -1.500000000000000400 ) ) ;
#1893 = AXIS2_PLACEMENT_3D ( 'NONE', #1892, #1891, #1890 ) ;
#1894 = CIRCLE ( 'NONE', #1893, 0.1249999999999999000 ) ;
#1895 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.25000000000000200, 1.624999999999999800 ) ) ;
#1896 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1897 = VECTOR ( 'NONE', #1896, 39.37007874015748100 ) ;
#1898 = CARTESIAN_POINT ( 'NONE',  ( 1.836970198721030200E-016, 6.250000000000000000, -1.500000000000000200 ) ) ;
#1899 = LINE ( 'NONE', #1898, #1897 ) ;
#1900 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.37500000000000000, 1.375000000000000000 ) ) ;
#1901 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1902 = VECTOR ( 'NONE', #1901, 39.37007874015748100 ) ;
#1903 = CARTESIAN_POINT ( 'NONE',  ( 1.454268073987482100E-016, 5.062500000000000000, 1.187500000000000000 ) ) ;
#1904 = LINE ( 'NONE', #1903, #1902 ) ;
#1905 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 5.062500000000000000, -1.187500000000000000 ) ) ;
#1906 = CARTESIAN_POINT ( 'NONE',  ( -1.499999999999999800, 15.25000000000000200, 1.375000000000000000 ) ) ;
#1907 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.37500000000000000, -1.375000000000000400 ) ) ;
#1908 = CARTESIAN_POINT ( 'NONE',  ( 1.530808498934191600E-016, 6.250000000000000000, 1.250000000000000000 ) ) ;
#1909 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1910 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1911 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 6.250000000000000000, 0.0000000000000000000 ) ) ;
#1912 = AXIS2_PLACEMENT_3D ( 'NONE', #1911, #1910, #1909 ) ;
#1913 = CIRCLE ( 'NONE', #1912, 1.250000000000000000 ) ;
#1914 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1915 = VECTOR ( 'NONE', #1914, 39.37007874015748100 ) ;
#1916 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.37500000000000000, 1.375000000000000000 ) ) ;
#1917 = LINE ( 'NONE', #1916, #1915 ) ;
#1918 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1919 = VECTOR ( 'NONE', #1918, 39.37007874015748100 ) ;
#1920 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 6.250000000000000000, 1.500000000000000200 ) ) ;
#1921 = LINE ( 'NONE', #1920, #1919 ) ;
#1922 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1923 = VECTOR ( 'NONE', #1922, 39.37007874015748100 ) ;
#1924 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 5.000000000000000000, -1.250000000000000000 ) ) ;
#1925 = LINE ( 'NONE', #1924, #1923 ) ;
#1926 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1927 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1928 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 7.000000000000000000, -1.500000000000000400 ) ) ;
#1929 = AXIS2_PLACEMENT_3D ( 'NONE', #1928, #1927, #1926 ) ;
#1930 = CIRCLE ( 'NONE', #1929, 0.1249999999999999000 ) ;
#1931 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.25000000000000200, -1.625000000000000200 ) ) ;
#1932 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.25000000000000200, 1.375000000000000000 ) ) ;
#1933 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1934 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1935 = CARTESIAN_POINT ( 'NONE',  ( 1.500000000000000400, 15.25000000000000200, 1.499999999999999800 ) ) ;
#1936 = AXIS2_PLACEMENT_3D ( 'NONE', #1935, #1934, #1933 ) ;
#1937 = CIRCLE ( 'NONE', #1936, 0.1249999999999999000 ) ;
#1938 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1939 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 5.000000000000000000, 0.0000000000000000000 ) ) ;
#1940 = AXIS2_PLACEMENT_3D ( 'NONE', #1939, #1938, #2000 ) ;
#1941 = CIRCLE ( 'NONE', #1940, 1.250000000000000000 ) ;
#1942 = FACE_OUTER_BOUND ( 'NONE', #411, .T. ) ;
#1943 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1944 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1945 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 6.750000000000000000, 0.0000000000000000000 ) ) ;
#1946 = AXIS2_PLACEMENT_3D