ISO-10303-21;
HEADER;
FILE_DESCRIPTION (( 'STEP AP214' ),
    '1' );
FILE_NAME ('F001852,F001853,F001854,F001855,F001856,F001857,F001858,F001859,F001860,F001861,F001862,F001863_3D.STEP',
    '2024-04-19T10:11:05',
    ( '' ),
    ( '' ),
    'SwSTEP 2.0',
    'SolidWorks 2020',
    '' );
FILE_SCHEMA (( 'AUTOMOTIVE_DESIGN' ));
ENDSEC;

DATA;
#1 = CARTESIAN_POINT ( 'NONE',  ( 4.898587196589412829E-16, -4.000000000000000000, 15.50000000000000000 ) ) ;
#2 = ORIENTED_EDGE ( 'NONE', *, *, #256, .F. ) ;
#3 = ORIENTED_EDGE ( 'NONE', *, *, #1683, .F. ) ;
#4 = ORIENTED_EDGE ( 'NONE', *, *, #1838, .T. ) ;
#5 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#6 = EDGE_CURVE ( 'NONE', #1446, #446, #740, .T. ) ;
#7 = EDGE_CURVE ( 'NONE', #945, #1960, #508, .T. ) ;
#8 = EDGE_CURVE ( 'NONE', #1875, #1503, #1566, .T. ) ;
#9 = FACE_OUTER_BOUND ( 'NONE', #601, .T. ) ;
#10 = ADVANCED_FACE ( 'NONE', ( #1296 ), #495, .F. ) ;
#11 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#12 = VECTOR ( 'NONE', #1793, 1000.000000000000000 ) ;
#13 = CARTESIAN_POINT ( 'NONE',  ( 77.00000000000000000, -9.000000000000001776, 2.500000000000000444 ) ) ;
#14 = VERTEX_POINT ( 'NONE', #1734 ) ;
#15 = AXIS2_PLACEMENT_3D ( 'NONE', #1925, #1620, #482 ) ;
#16 = EDGE_CURVE ( 'NONE', #1222, #661, #777, .T. ) ;
#17 = CLOSED_SHELL ( 'NONE', ( #1469, #1536, #1477, #1508, #1073, #771, #866, #1647, #1330, #1582, #649, #1430, #1392, #970, #390, #10, #901, #1321, #993, #264, #1381, #1990, #803, #1459, #1319, #1033, #1922, #370, #1543, #955, #1753, #405, #863, #1684, #755, #522, #1322, #930, #1538, #583, #925, #110, #836, #2045, #362, #1149, #1759, #1900, #733, #1227, #581, #137, #1363, #193, #1166, #632, #1706, #45, #106, #290, #344, #650 ) ) ;
#18 = ORIENTED_EDGE ( 'NONE', *, *, #1880, .T. ) ;
#19 = VERTEX_POINT ( 'NONE', #1256 ) ;
#20 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#21 = VECTOR ( 'NONE', #1559, 1000.000000000000000 ) ;
#22 = LINE ( 'NONE', #1129, #538 ) ;
#23 = EDGE_LOOP ( 'NONE', ( #485, #1413, #189, #727 ) ) ;
#24 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#25 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 1.084202172485504434E-16 ) ) ;
#26 = VERTEX_POINT ( 'NONE', #1885 ) ;
#27 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#28 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#29 = EDGE_LOOP ( 'NONE', ( #138, #252, #818, #120 ) ) ;
#30 = EDGE_CURVE ( 'NONE', #821, #1222, #938, .T. ) ;
#31 = FACE_OUTER_BOUND ( 'NONE', #387, .T. ) ;
#32 = CARTESIAN_POINT ( 'NONE',  ( 85.00000000000000000, 4.499999999999995559, 15.50000000000000000 ) ) ;
#33 = ORIENTED_EDGE ( 'NONE', *, *, #782, .F. ) ;
#34 = VECTOR ( 'NONE', #1139, 1000.000000000000000 ) ;
#35 = PLANE ( 'NONE',  #523 ) ;
#36 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -1.000000000000000000, -0.000000000000000000 ) ) ;
#37 = VERTEX_POINT ( 'NONE', #1015 ) ;
#38 = FACE_OUTER_BOUND ( 'NONE', #1527, .T. ) ;
#39 = ORIENTED_EDGE ( 'NONE', *, *, #30, .T. ) ;
#40 = ORIENTED_EDGE ( 'NONE', *, *, #454, .F. ) ;
#41 = FACE_OUTER_BOUND ( 'NONE', #736, .T. ) ;
#42 = LINE ( 'NONE', #32, #84 ) ;
#43 = ORIENTED_EDGE ( 'NONE', *, *, #57, .T. ) ;
#44 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, -1.084202172485504434E-16 ) ) ;
#45 = ADVANCED_FACE ( 'NONE', ( #1977 ), #1329, .T. ) ;
#46 = ORIENTED_EDGE ( 'NONE', *, *, #470, .F. ) ;
#47 = EDGE_CURVE ( 'NONE', #261, #1212, #1804, .T. ) ;
#48 = CARTESIAN_POINT ( 'NONE',  ( 40.00000000000000000, -6.000000000000000000, -1.500000000000000000 ) ) ;
#49 = CARTESIAN_POINT ( 'NONE',  ( 68.00000000000000000, -9.000000000000001776, -1.499999999999999556 ) ) ;
#50 = VECTOR ( 'NONE', #1524, 1000.000000000000000 ) ;
#51 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, -0.000000000000000000 ) ) ;
#52 = VECTOR ( 'NONE', #1969, 1000.000000000000000 ) ;
#53 = AXIS2_PLACEMENT_3D ( 'NONE', #265, #605, #306 ) ;
#54 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#55 = ORIENTED_EDGE ( 'NONE', *, *, #380, .T. ) ;
#56 = LINE ( 'NONE', #1155, #1980 ) ;
#57 = EDGE_CURVE ( 'NONE', #1912, #747, #385, .T. ) ;
#58 = EDGE_LOOP ( 'NONE', ( #33, #577, #1449, #1971 ) ) ;
#59 = CARTESIAN_POINT ( 'NONE',  ( 39.00000000000000000, -6.000000000000000000, -1.499999999999999556 ) ) ;
#60 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#61 = LINE ( 'NONE', #813, #1550 ) ;
#62 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#63 = EDGE_LOOP ( 'NONE', ( #332, #895, #476, #2 ) ) ;
#64 = VERTEX_POINT ( 'NONE', #68 ) ;
#65 = AXIS2_PLACEMENT_3D ( 'NONE', #1633, #509, #20 ) ;
#66 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#67 = VECTOR ( 'NONE', #1993, 1000.000000000000000 ) ;
#68 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, 5.204170427930421283E-15, 15.50000000000000000 ) ) ;
#69 = DIRECTION ( 'NONE',  ( 1.000000000000000000, -0.000000000000000000, -0.000000000000000000 ) ) ;
#70 = EDGE_CURVE ( 'NONE', #1398, #425, #1316, .T. ) ;
#71 = PLANE ( 'NONE',  #1006 ) ;
#72 = EDGE_CURVE ( 'NONE', #549, #2039, #406, .T. ) ;
#73 = EDGE_CURVE ( 'NONE', #939, #1045, #352, .T. ) ;
#74 = ORIENTED_EDGE ( 'NONE', *, *, #558, .F. ) ;
#75 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#76 = ADVANCED_BREP_SHAPE_REPRESENTATION ( 'F001852,F001853,F001854,F001855,F001856,F001857,F001858,F001859,F001860,F001861,F001862,F001863_3D', ( #246, #611 ), #86 ) ;
#77 = LINE ( 'NONE', #2004, #1099 ) ;
#78 = PLANE ( 'NONE',  #1100 ) ;
#79 = EDGE_CURVE ( 'NONE', #748, #176, #698, .T. ) ;
#80 = LINE ( 'NONE', #241, #520 ) ;
#81 = VECTOR ( 'NONE', #728, 1000.000000000000000 ) ;
#82 = EDGE_LOOP ( 'NONE', ( #776, #570, #1332, #1896, #315, #1004 ) ) ;
#83 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#84 = VECTOR ( 'NONE', #1299, 1000.000000000000000 ) ;
#85 = AXIS2_PLACEMENT_3D ( 'NONE', #250, #1528, #1820 ) ;
#86 =( GEOMETRIC_REPRESENTATION_CONTEXT ( 3 ) GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ( ( #1570 ) ) GLOBAL_UNIT_ASSIGNED_CONTEXT ( ( #694, #545, #1648 ) ) REPRESENTATION_CONTEXT ( 'NONE', 'WORKASPACE' ) );
#87 = LINE ( 'NONE', #714, #971 ) ;
#88 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#89 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -0.000000000000000000, -0.000000000000000000 ) ) ;
#90 = EDGE_CURVE ( 'NONE', #1283, #1700, #1785, .T. ) ;
#91 = ORIENTED_EDGE ( 'NONE', *, *, #558, .T. ) ;
#92 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#93 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#94 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -4.000000000000000000, 15.50000000000000000 ) ) ;
#95 = CARTESIAN_POINT ( 'NONE',  ( 15.82461934271479187, 7.999999999999994671, -4.022319213889218759 ) ) ;
#96 = CARTESIAN_POINT ( 'NONE',  ( 48.99999999999999289, -9.000000000000001776, -1.499999999999999556 ) ) ;
#97 = VECTOR ( 'NONE', #1708, 1000.000000000000000 ) ;
#98 = AXIS2_PLACEMENT_3D ( 'NONE', #1850, #903, #1860 ) ;
#99 = EDGE_LOOP ( 'NONE', ( #432, #271, #902, #292, #671, #1065 ) ) ;
#100 = ORIENTED_EDGE ( 'NONE', *, *, #238, .F. ) ;
#101 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -0.000000000000000000, 1.000000000000000000 ) ) ;
#102 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#103 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#104 = CARTESIAN_POINT ( 'NONE',  ( 50.69999999999999574, 2.000000000000009326, -15.50000000000000000 ) ) ;
#105 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#106 = ADVANCED_FACE ( 'NONE', ( #361 ), #209, .T. ) ;
#107 = ORIENTED_EDGE ( 'NONE', *, *, #593, .F. ) ;
#108 = ORIENTED_EDGE ( 'NONE', *, *, #500, .T. ) ;
#109 = DIRECTION ( 'NONE',  ( 0.4472135954999601481, 0.8944271909999147452, 0.000000000000000000 ) ) ;
#110 = ADVANCED_FACE ( 'NONE', ( #859 ), #78, .F. ) ;
#111 = VECTOR ( 'NONE', #515, 1000.000000000000114 ) ;
#112 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 1.811565820244727723E-17, 0.000000000000000000 ) ) ;
#113 = AXIS2_PLACEMENT_3D ( 'NONE', #149, #1928, #1138 ) ;
#114 = VECTOR ( 'NONE', #521, 1000.000000000000000 ) ;
#115 = EDGE_CURVE ( 'NONE', #293, #381, #1341, .T. ) ;
#116 = ORIENTED_EDGE ( 'NONE', *, *, #1966, .T. ) ;
#117 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#118 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, -4.000000000000000000, 15.50000000000000000 ) ) ;
#119 = EDGE_LOOP ( 'NONE', ( #1908, #927, #1774, #1695, #158, #1287, #234, #1038 ) ) ;
#120 = ORIENTED_EDGE ( 'NONE', *, *, #1610, .T. ) ;
#121 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, -4.000000000000000000, 2.500000000000000444 ) ) ;
#122 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -0.000000000000000000, -0.000000000000000000 ) ) ;
#123 = SHAPE_DEFINITION_REPRESENTATION ( #589, #76 ) ;
#124 = ORIENTED_EDGE ( 'NONE', *, *, #1507, .T. ) ;
#125 = LINE ( 'NONE', #472, #1050 ) ;
#126 = PLANE ( 'NONE',  #603 ) ;
#127 = EDGE_LOOP ( 'NONE', ( #331, #1849, #107, #1108 ) ) ;
#128 = VERTEX_POINT ( 'NONE', #1632 ) ;
#129 = ORIENTED_EDGE ( 'NONE', *, *, #811, .T. ) ;
#130 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -9.000000000000001776, 0.000000000000000000 ) ) ;
#131 = VECTOR ( 'NONE', #69, 1000.000000000000000 ) ;
#132 = EDGE_CURVE ( 'NONE', #1961, #37, #1565, .T. ) ;
#133 = PLANE ( 'NONE',  #1828 ) ;
#134 = ORIENTED_EDGE ( 'NONE', *, *, #1207, .T. ) ;
#135 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -4.000000000000000000, -12.50000000000000355 ) ) ;
#136 = PLANE ( 'NONE',  #1526 ) ;
#137 = ADVANCED_FACE ( 'NONE', ( #1181 ), #527, .F. ) ;
#138 = ORIENTED_EDGE ( 'NONE', *, *, #1277, .F. ) ;
#139 = ORIENTED_EDGE ( 'NONE', *, *, #1406, .T. ) ;
#140 = ORIENTED_EDGE ( 'NONE', *, *, #1358, .F. ) ;
#141 = CARTESIAN_POINT ( 'NONE',  ( 50.69999999999999574, 6.071532165918824830E-15, 15.50000000000000000 ) ) ;
#142 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -12.00000000000000533, -15.50000000000000000 ) ) ;
#143 = CIRCLE ( 'NONE', #1732, 1.000000000000000000 ) ;
#144 = EDGE_LOOP ( 'NONE', ( #1717, #533, #1701, #1822 ) ) ;
#145 = CARTESIAN_POINT ( 'NONE',  ( 73.00000000000001421, 1.999999999999994893, 15.50000000000000000 ) ) ;
#146 = CARTESIAN_POINT ( 'NONE',  ( 77.00000000000000000, -4.000000000000000000, -12.50000000000000355 ) ) ;
#147 = VECTOR ( 'NONE', #998, 1000.000000000000000 ) ;
#148 = ORIENTED_EDGE ( 'NONE', *, *, #565, .T. ) ;
#149 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 15.50000000000000000 ) ) ;
#150 = EDGE_LOOP ( 'NONE', ( #655, #426, #853, #1907, #304, #148, #301, #1883, #1391, #169, #757, #1952, #888, #773, #1327, #2003, #4, #1257, #1360, #339, #1707 ) ) ;
#151 = ORIENTED_EDGE ( 'NONE', *, *, #1577, .F. ) ;
#152 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#153 = AXIS2_PLACEMENT_3D ( 'NONE', #1975, #399, #1481 ) ;
#154 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#155 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#156 = LINE ( 'NONE', #145, #1714 ) ;
#157 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#158 = ORIENTED_EDGE ( 'NONE', *, *, #90, .T. ) ;
#159 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -6.000000000000000000, -2.500000000000002220 ) ) ;
#160 = ORIENTED_EDGE ( 'NONE', *, *, #1789, .F. ) ;
#161 = EDGE_CURVE ( 'NONE', #449, #1503, #1624, .T. ) ;
#162 = CARTESIAN_POINT ( 'NONE',  ( 77.00000000000000000, -9.000000000000001776, -1.500000000000001332 ) ) ;
#163 = CARTESIAN_POINT ( 'NONE',  ( 54.99999999999999289, -4.000000000000000000, 15.50000000000000000 ) ) ;
#164 = VECTOR ( 'NONE', #24, 1000.000000000000000 ) ;
#165 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#166 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#167 = ORIENTED_EDGE ( 'NONE', *, *, #444, .F. ) ;
#168 = ORIENTED_EDGE ( 'NONE', *, *, #1662, .T. ) ;
#169 = ORIENTED_EDGE ( 'NONE', *, *, #1384, .T. ) ;
#170 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#171 = LINE ( 'NONE', #1605, #474 ) ;
#172 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#173 = AXIS2_PLACEMENT_3D ( 'NONE', #1339, #1520, #1034 ) ;
#174 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#175 = EDGE_CURVE ( 'NONE', #530, #350, #200, .T. ) ;
#176 = VERTEX_POINT ( 'NONE', #1465 ) ;
#177 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -1.000000000000000000, -0.000000000000000000 ) ) ;
#178 = VECTOR ( 'NONE', #750, 1000.000000000000000 ) ;
#179 = ORIENTED_EDGE ( 'NONE', *, *, #1210, .T. ) ;
#180 = VERTEX_POINT ( 'NONE', #49 ) ;
#181 = DIRECTION ( 'NONE',  ( 1.156482317317871478E-16, 0.000000000000000000, -1.000000000000000000 ) ) ;
#182 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -1.000000000000000000, -0.000000000000000000 ) ) ;
#183 = VERTEX_POINT ( 'NONE', #678 ) ;
#184 = PLANE ( 'NONE',  #1586 ) ;
#185 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -4.000000000000000000, 12.50000000000000000 ) ) ;
#186 = VERTEX_POINT ( 'NONE', #374 ) ;
#187 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -4.000000000000000000, -12.50000000000000355 ) ) ;
#188 = EDGE_LOOP ( 'NONE', ( #1280, #1482, #1534, #303 ) ) ;
#189 = ORIENTED_EDGE ( 'NONE', *, *, #713, .F. ) ;
#190 = FACE_OUTER_BOUND ( 'NONE', #1799, .T. ) ;
#191 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#192 = ORIENTED_EDGE ( 'NONE', *, *, #1016, .T. ) ;
#193 = ADVANCED_FACE ( 'NONE', ( #1308 ), #1007, .T. ) ;
#194 = VECTOR ( 'NONE', #597, 1000.000000000000000 ) ;
#195 = EDGE_CURVE ( 'NONE', #795, #261, #1035, .T. ) ;
#196 = VECTOR ( 'NONE', #419, 1000.000000000000000 ) ;
#197 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#198 = ORIENTED_EDGE ( 'NONE', *, *, #1949, .T. ) ;
#199 = FACE_OUTER_BOUND ( 'NONE', #1755, .T. ) ;
#200 = LINE ( 'NONE', #830, #1062 ) ;
#201 = LINE ( 'NONE', #1118, #986 ) ;
#202 = EDGE_CURVE ( 'NONE', #425, #1869, #1400, .T. ) ;
#203 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, -1.156482317317871478E-16 ) ) ;
#204 = EDGE_CURVE ( 'NONE', #965, #243, #1821, .T. ) ;
#205 = ORIENTED_EDGE ( 'NONE', *, *, #1668, .F. ) ;
#206 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, -4.000000000000000000, -15.50000000000000000 ) ) ;
#207 = VERTEX_POINT ( 'NONE', #118 ) ;
#208 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#209 = CYLINDRICAL_SURFACE ( 'NONE', #898, 1.000000000000000888 ) ;
#210 = AXIS2_PLACEMENT_3D ( 'NONE', #412, #746, #1377 ) ;
#211 = FACE_OUTER_BOUND ( 'NONE', #690, .T. ) ;
#212 =( GEOMETRIC_REPRESENTATION_CONTEXT ( 3 ) GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ( ( #918 ) ) GLOBAL_UNIT_ASSIGNED_CONTEXT ( ( #227, #254, #1030 ) ) REPRESENTATION_CONTEXT ( 'NONE', 'WORKASPACE' ) );
#213 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -0.000000000000000000, 1.000000000000000000 ) ) ;
#214 = ORIENTED_EDGE ( 'NONE', *, *, #115, .T. ) ;
#215 = PLANE ( 'NONE',  #541 ) ;
#216 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#217 = ORIENTED_EDGE ( 'NONE', *, *, #1239, .F. ) ;
#218 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#219 = EDGE_CURVE ( 'NONE', #682, #128, #401, .T. ) ;
#220 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#221 = EDGE_CURVE ( 'NONE', #756, #1929, #638, .T. ) ;
#222 = EDGE_CURVE ( 'NONE', #1546, #1398, #1169, .T. ) ;
#223 = CARTESIAN_POINT ( 'NONE',  ( 40.00000000000000000, -9.000000000000001776, 1.500000000000000444 ) ) ;
#224 = EDGE_CURVE ( 'NONE', #1386, #1843, #1209, .T. ) ;
#225 = CARTESIAN_POINT ( 'NONE',  ( 69.00000000000000000, -6.000000000000000000, -1.500000000000000000 ) ) ;
#226 = ORIENTED_EDGE ( 'NONE', *, *, #1204, .F. ) ;
#227 =( LENGTH_UNIT ( ) NAMED_UNIT ( * ) SI_UNIT ( .MILLI., .METRE. ) );
#228 = PLANE ( 'NONE',  #2031 ) ;
#229 = EDGE_CURVE ( 'NONE', #848, #915, #877, .T. ) ;
#230 = VECTOR ( 'NONE', #89, 1000.000000000000000 ) ;
#231 = FACE_OUTER_BOUND ( 'NONE', #1751, .T. ) ;
#232 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#233 = FACE_OUTER_BOUND ( 'NONE', #1611, .T. ) ;
#234 = ORIENTED_EDGE ( 'NONE', *, *, #808, .F. ) ;
#235 = CARTESIAN_POINT ( 'NONE',  ( 68.00000000000000000, -9.000000000000001776, 2.500000000000000444 ) ) ;
#236 = CARTESIAN_POINT ( 'NONE',  ( 68.00000000000000000, -6.000000000000000000, 1.500000000000000444 ) ) ;
#237 = LINE ( 'NONE', #94, #681 ) ;
#238 = EDGE_CURVE ( 'NONE', #1386, #945, #421, .T. ) ;
#239 = LINE ( 'NONE', #566, #1863 ) ;
#240 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#241 = CARTESIAN_POINT ( 'NONE',  ( 73.00000000000001421, 1.999999999999994893, 15.50000000000000000 ) ) ;
#242 = CIRCLE ( 'NONE', #15, 1.000000000000000888 ) ;
#243 = VERTEX_POINT ( 'NONE', #725 ) ;
#244 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -4.000000000000000000, -2.500000000000002220 ) ) ;
#245 = VECTOR ( 'NONE', #1831, 1000.000000000000000 ) ;
#246 = MANIFOLD_SOLID_BREP ( 'Odebrat vysunutím4', #17 ) ;
#247 = VECTOR ( 'NONE', #791, 1000.000000000000000 ) ;
#248 = APPLICATION_PROTOCOL_DEFINITION ( 'draft international standard', 'automotive_design', 1998, #751 ) ;
#249 = PRESENTATION_LAYER_ASSIGNMENT (  '', '', ( #1833 ) ) ;
#250 = CARTESIAN_POINT ( 'NONE',  ( 40.00000000000000000, -9.000000000000001776, -1.500000000000000000 ) ) ;
#251 = CARTESIAN_POINT ( 'NONE',  ( 40.00000000000000000, -9.000000000000001776, -1.500000000000000000 ) ) ;
#252 = ORIENTED_EDGE ( 'NONE', *, *, #1490, .T. ) ;
#253 = FACE_OUTER_BOUND ( 'NONE', #1987, .T. ) ;
#254 =( NAMED_UNIT ( * ) PLANE_ANGLE_UNIT ( ) SI_UNIT ( $, .RADIAN. ) );
#255 = CARTESIAN_POINT ( 'NONE',  ( 85.00000000000000000, 4.499999999999995559, 15.50000000000000000 ) ) ;
#256 = EDGE_CURVE ( 'NONE', #1720, #1923, #1505, .T. ) ;
#257 = FACE_OUTER_BOUND ( 'NONE', #1853, .T. ) ;
#258 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#259 = VECTOR ( 'NONE', #1767, 1000.000000000000000 ) ;
#260 = AXIS2_PLACEMENT_3D ( 'NONE', #1924, #1122, #804 ) ;
#261 = VERTEX_POINT ( 'NONE', #398 ) ;
#262 = ORIENTED_EDGE ( 'NONE', *, *, #1140, .F. ) ;
#263 = CARTESIAN_POINT ( 'NONE',  ( 50.69999999999999574, 6.071532165918824830E-15, -15.50000000000000000 ) ) ;
#264 = ADVANCED_FACE ( 'NONE', ( #1336 ), #215, .F. ) ;
#265 = CARTESIAN_POINT ( 'NONE',  ( 54.99999999999999289, 2.000000000000010214, 15.50000000000000000 ) ) ;
#266 = FACE_OUTER_BOUND ( 'NONE', #466, .T. ) ;
#267 = CARTESIAN_POINT ( 'NONE',  ( 49.99999999999999289, -9.000000000000001776, -1.499999999999999556 ) ) ;
#268 = FILL_AREA_STYLE_COLOUR ( '', #274 ) ;
#269 = VERTEX_POINT ( 'NONE', #1154 ) ;
#270 = ORIENTED_EDGE ( 'NONE', *, *, #132, .F. ) ;
#271 = ORIENTED_EDGE ( 'NONE', *, *, #1277, .T. ) ;
#272 = CARTESIAN_POINT ( 'NONE',  ( 4.898587196589412829E-16, -4.000000000000000000, -12.50000000000000355 ) ) ;
#273 = VECTOR ( 'NONE', #983, 1000.000000000000000 ) ;
#274 = COLOUR_RGB ( '',0.7921568627450980005, 0.8196078431372548767, 0.9333333333333333481 ) ;
#275 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, -4.000000000000000000, 15.50000000000000000 ) ) ;
#276 = VECTOR ( 'NONE', #1510, 1000.000000000000000 ) ;
#277 = VECTOR ( 'NONE', #1655, 1000.000000000000000 ) ;
#278 = ORIENTED_EDGE ( 'NONE', *, *, #946, .F. ) ;
#279 = LINE ( 'NONE', #911, #295 ) ;
#280 = CARTESIAN_POINT ( 'NONE',  ( 77.00000000000000000, -4.000000000000000000, -1.500000000000001332 ) ) ;
#281 = EDGE_CURVE ( 'NONE', #1771, #1246, #1354, .T. ) ;
#282 = EDGE_CURVE ( 'NONE', #1923, #530, #855, .T. ) ;
#283 = EDGE_LOOP ( 'NONE', ( #633, #198, #982, #1124, #288, #298 ) ) ;
#284 = ORIENTED_EDGE ( 'NONE', *, *, #1120, .F. ) ;
#285 = EDGE_CURVE ( 'NONE', #1555, #269, #366, .T. ) ;
#286 = LINE ( 'NONE', #1109, #1352 ) ;
#287 = DIRECTION ( 'NONE',  ( 1.811565820244727723E-17, -1.000000000000000000, 0.000000000000000000 ) ) ;
#288 = ORIENTED_EDGE ( 'NONE', *, *, #1600, .F. ) ;
#289 = LINE ( 'NONE', #1103, #1185 ) ;
#290 = ADVANCED_FACE ( 'NONE', ( #1664 ), #389, .T. ) ;
#291 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#292 = ORIENTED_EDGE ( 'NONE', *, *, #1752, .T. ) ;
#293 = VERTEX_POINT ( 'NONE', #1983 ) ;
#294 = CARTESIAN_POINT ( 'NONE',  ( 77.00000000000000000, 4.499999999999995559, -15.50000000000000000 ) ) ;
#295 = VECTOR ( 'NONE', #1561, 1000.000000000000000 ) ;
#296 = LINE ( 'NONE', #1225, #1569 ) ;
#297 = PRESENTATION_STYLE_ASSIGNMENT (( #616 ) ) ;
#298 = ORIENTED_EDGE ( 'NONE', *, *, #1967, .F. ) ;
#299 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#300 = DIRECTION ( 'NONE',  ( 0.7525766947068777135, 0.6585046078685182769, -0.000000000000000000 ) ) ;
#301 = ORIENTED_EDGE ( 'NONE', *, *, #648, .T. ) ;
#302 = ORIENTED_EDGE ( 'NONE', *, *, #627, .F. ) ;
#303 = ORIENTED_EDGE ( 'NONE', *, *, #580, .F. ) ;
#304 = ORIENTED_EDGE ( 'NONE', *, *, #1602, .T. ) ;
#305 = FACE_OUTER_BOUND ( 'NONE', #63, .T. ) ;
#306 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 2.017120320903264935E-16, 0.000000000000000000 ) ) ;
#307 = VECTOR ( 'NONE', #995, 1000.000000000000000 ) ;
#308 = AXIS2_PLACEMENT_3D ( 'NONE', #1053, #732, #1521 ) ;
#309 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#310 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, 1.000000000000000000 ) ) ;
#311 = EDGE_CURVE ( 'NONE', #1621, #821, #409, .T. ) ;
#312 = CIRCLE ( 'NONE', #1532, 1.000000000000000000 ) ;
#313 = ORIENTED_EDGE ( 'NONE', *, *, #1230, .F. ) ;
#314 = ORIENTED_EDGE ( 'NONE', *, *, #70, .T. ) ;
#315 = ORIENTED_EDGE ( 'NONE', *, *, #431, .F. ) ;
#316 = ORIENTED_EDGE ( 'NONE', *, *, #1177, .T. ) ;
#317 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -4.000000000000000000, -12.50000000000000355 ) ) ;
#318 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#319 = PLANE ( 'NONE',  #1516 ) ;
#320 = FACE_OUTER_BOUND ( 'NONE', #596, .T. ) ;
#321 = VERTEX_POINT ( 'NONE', #873 ) ;
#322 = ORIENTED_EDGE ( 'NONE', *, *, #6, .F. ) ;
#323 = ORIENTED_EDGE ( 'NONE', *, *, #745, .F. ) ;
#324 = PLANE ( 'NONE',  #913 ) ;
#325 = VECTOR ( 'NONE', #1066, 1000.000000000000000 ) ;
#326 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, 1.999999999999994893, 15.50000000000000000 ) ) ;
#327 = VECTOR ( 'NONE', #197, 1000.000000000000000 ) ;
#328 = LINE ( 'NONE', #956, #1217 ) ;
#329 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#330 = EDGE_LOOP ( 'NONE', ( #599, #1117, #365, #1192, #1731, #796, #1834, #926, #1551, #1653 ) ) ;
#331 = ORIENTED_EDGE ( 'NONE', *, *, #584, .T. ) ;
#332 = ORIENTED_EDGE ( 'NONE', *, *, #1239, .T. ) ;
#333 = LINE ( 'NONE', #1501, #854 ) ;
#334 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#335 = ORIENTED_EDGE ( 'NONE', *, *, #670, .F. ) ;
#336 = FACE_OUTER_BOUND ( 'NONE', #82, .T. ) ;
#337 = AXIS2_PLACEMENT_3D ( 'NONE', #1730, #904, #598 ) ;
#338 = CARTESIAN_POINT ( 'NONE',  ( 7.000000000000000888, 7.999999999999994671, 15.50000000000000000 ) ) ;
#339 = ORIENTED_EDGE ( 'NONE', *, *, #256, .T. ) ;
#340 = CARTESIAN_POINT ( 'NONE',  ( 77.00000000000000000, -4.000000000000000000, 15.50000000000000000 ) ) ;
#341 = ORIENTED_EDGE ( 'NONE', *, *, #479, .T. ) ;
#342 = ORIENTED_EDGE ( 'NONE', *, *, #1688, .T. ) ;
#343 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -1.000000000000000000, -0.000000000000000000 ) ) ;
#344 = ADVANCED_FACE ( 'NONE', ( #683 ), #720, .F. ) ;
#345 = LINE ( 'NONE', #669, #1666 ) ;
#346 = VERTEX_POINT ( 'NONE', #562 ) ;
#347 = LINE ( 'NONE', #1780, #882 ) ;
#348 = CARTESIAN_POINT ( 'NONE',  ( 73.00000000000001421, 7.999999999999994671, 15.50000000000000000 ) ) ;
#349 = EDGE_CURVE ( 'NONE', #14, #1283, #531, .T. ) ;
#350 = VERTEX_POINT ( 'NONE', #845 ) ;
#351 = CARTESIAN_POINT ( 'NONE',  ( 54.99999999999999289, -4.000000000000000000, 15.50000000000000000 ) ) ;
#352 = LINE ( 'NONE', #1475, #52 ) ;
#353 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, -1.156482317317871478E-16 ) ) ;
#354 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -4.000000000000000000, 15.50000000000000000 ) ) ;
#355 = VERTEX_POINT ( 'NONE', #711 ) ;
#356 = VECTOR ( 'NONE', #1729, 1000.000000000000000 ) ;
#357 = VECTOR ( 'NONE', #1472, 1000.000000000000000 ) ;
#358 = CARTESIAN_POINT ( 'NONE',  ( 77.00000000000000000, 4.499999999999995559, -15.50000000000000000 ) ) ;
#359 = VERTEX_POINT ( 'NONE', #236 ) ;
#360 = LINE ( 'NONE', #1803, #273 ) ;
#361 = FACE_OUTER_BOUND ( 'NONE', #437, .T. ) ;
#362 = ADVANCED_FACE ( 'NONE', ( #1800 ), #1346, .F. ) ;
#363 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#364 = CARTESIAN_POINT ( 'NONE',  ( 15.82461934271479187, 7.999999999999994671, -4.022319213889218759 ) ) ;
#365 = ORIENTED_EDGE ( 'NONE', *, *, #1358, .T. ) ;
#366 = LINE ( 'NONE', #1489, #277 ) ;
#367 = EDGE_CURVE ( 'NONE', #1433, #1222, #1480, .T. ) ;
#368 = CARTESIAN_POINT ( 'NONE',  ( 49.99999999999999289, -4.000000000000000000, 1.500000000000000444 ) ) ;
#369 = EDGE_CURVE ( 'NONE', #1276, #1045, #1539, .T. ) ;
#370 = ADVANCED_FACE ( 'NONE', ( #1715 ), #1727, .F. ) ;
#371 = VERTEX_POINT ( 'NONE', #729 ) ;
#372 = EDGE_CURVE ( 'NONE', #355, #1212, #1704, .T. ) ;
#373 = CARTESIAN_POINT ( 'NONE',  ( 3.249999999999997335, 1.999999999999994893, 15.50000000000000000 ) ) ;
#374 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, -6.000000000000000000, -2.500000000000002220 ) ) ;
#375 = VECTOR ( 'NONE', #36, 1000.000000000000000 ) ;
#376 = FACE_OUTER_BOUND ( 'NONE', #1893, .T. ) ;
#377 = VECTOR ( 'NONE', #547, 1000.000000000000000 ) ;
#378 = VECTOR ( 'NONE', #122, 1000.000000000000000 ) ;
#379 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, -6.000000000000000000, -2.500000000000002220 ) ) ;
#380 = EDGE_CURVE ( 'NONE', #180, #965, #312, .T. ) ;
#381 = VERTEX_POINT ( 'NONE', #142 ) ;
#382 = CARTESIAN_POINT ( 'NONE',  ( 15.82461934271479187, 7.999999999999994671, 4.022319213889218759 ) ) ;
#383 = ORIENTED_EDGE ( 'NONE', *, *, #1079, .T. ) ;
#384 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#385 = LINE ( 'NONE', #516, #1269 ) ;
#386 = DIRECTION ( 'NONE',  ( 0.7525766947068777135, 0.6585046078685182769, -0.000000000000000000 ) ) ;
#387 = EDGE_LOOP ( 'NONE', ( #1556, #592, #1676, #1594 ) ) ;
#388 = PLANE ( 'NONE',  #1878 ) ;
#389 = PLANE ( 'NONE',  #933 ) ;
#390 = ADVANCED_FACE ( 'NONE', ( #1525 ), #133, .F. ) ;
#391 = LINE ( 'NONE', #1355, #196 ) ;
#392 = VECTOR ( 'NONE', #1888, 1000.000000000000000 ) ;
#393 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, 5.204170427930421283E-15, 15.50000000000000000 ) ) ;
#394 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#395 = LINE ( 'NONE', #1970, #824 ) ;
#396 = ORIENTED_EDGE ( 'NONE', *, *, #281, .F. ) ;
#397 = CARTESIAN_POINT ( 'NONE',  ( 3.249999999999997780, 1.999999999999994893, -4.022319213889218759 ) ) ;
#398 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, -6.000000000000000000, 2.500000000000000444 ) ) ;
#399 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#400 = CARTESIAN_POINT ( 'NONE',  ( 76.00000000000000000, -4.000000000000000000, 1.500000000000000444 ) ) ;
#401 = LINE ( 'NONE', #576, #931 ) ;
#402 = AXIS2_PLACEMENT_3D ( 'NONE', #1282, #981, #503 ) ;
#403 = ORIENTED_EDGE ( 'NONE', *, *, #367, .F. ) ;
#404 = CARTESIAN_POINT ( 'NONE',  ( 69.00000000000000000, -6.000000000000000000, 2.500000000000001332 ) ) ;
#405 = ADVANCED_FACE ( 'NONE', ( #769 ), #1681, .F. ) ;
#406 = CIRCLE ( 'NONE', #868, 1.000000000000000888 ) ;
#407 = EDGE_CURVE ( 'NONE', #1275, #1236, #1801, .T. ) ;
#408 = VECTOR ( 'NONE', #1357, 1000.000000000000000 ) ;
#409 = LINE ( 'NONE', #1672, #677 ) ;
#410 = LINE ( 'NONE', #564, #1716 ) ;
#411 = COLOUR_RGB ( '',0.7921568627450980005, 0.8196078431372548767, 0.9333333333333333481 ) ;
#412 = CARTESIAN_POINT ( 'NONE',  ( 85.00000000000000000, 7.999999999999994671, 15.50000000000000000 ) ) ;
#413 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -2.017120320903264935E-16, 0.000000000000000000 ) ) ;
#414 = EDGE_CURVE ( 'NONE', #1222, #974, #1047, .T. ) ;
#415 = ORIENTED_EDGE ( 'NONE', *, *, #1798, .T. ) ;
#416 = ORIENTED_EDGE ( 'NONE', *, *, #1110, .F. ) ;
#417 = PLANE ( 'NONE',  #964 ) ;
#418 = CARTESIAN_POINT ( 'NONE',  ( 48.99999999999999289, -9.000000000000001776, 1.500000000000000444 ) ) ;
#419 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#420 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, -4.000000000000000000, -15.50000000000000000 ) ) ;
#421 = LINE ( 'NONE', #1687, #1165 ) ;
#422 = AXIS2_PLACEMENT_3D ( 'NONE', #317, #1877, #152 ) ;
#423 = VECTOR ( 'NONE', #672, 1000.000000000000000 ) ;
#424 = ORIENTED_EDGE ( 'NONE', *, *, #1513, .T. ) ;
#425 = VERTEX_POINT ( 'NONE', #900 ) ;
#426 = ORIENTED_EDGE ( 'NONE', *, *, #7, .T. ) ;
#427 = LINE ( 'NONE', #1816, #81 ) ;
#428 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#429 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#430 = EDGE_CURVE ( 'NONE', #1555, #1546, #1848, .T. ) ;
#431 = EDGE_CURVE ( 'NONE', #1589, #737, #1549, .T. ) ;
#432 = ORIENTED_EDGE ( 'NONE', *, *, #407, .T. ) ;
#433 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, 3.999999999999996447, 15.50000000000000000 ) ) ;
#434 = EDGE_CURVE ( 'NONE', #1535, #1589, #1862, .T. ) ;
#435 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#436 = ORIENTED_EDGE ( 'NONE', *, *, #1901, .F. ) ;
#437 = EDGE_LOOP ( 'NONE', ( #160, #205, #1618, #1815 ) ) ;
#438 = ORIENTED_EDGE ( 'NONE', *, *, #1874, .F. ) ;
#439 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#440 = AXIS2_PLACEMENT_3D ( 'NONE', #187, #1631, #849 ) ;
#441 = DIRECTION ( 'NONE',  ( 1.000000000000000000, -1.927470528863118802E-16, 0.000000000000000000 ) ) ;
#442 = EDGE_CURVE ( 'NONE', #1960, #1998, #1078, .T. ) ;
#443 = VECTOR ( 'NONE', #615, 1000.000000000000000 ) ;
#444 = EDGE_CURVE ( 'NONE', #661, #915, #2019, .T. ) ;
#445 = VECTOR ( 'NONE', #587, 1000.000000000000000 ) ;
#446 = VERTEX_POINT ( 'NONE', #1089 ) ;
#447 = CYLINDRICAL_SURFACE ( 'NONE', #1622, 1.000000000000000000 ) ;
#448 = LINE ( 'NONE', #2024, #1496 ) ;
#449 = VERTEX_POINT ( 'NONE', #1383 ) ;
#450 = ORIENTED_EDGE ( 'NONE', *, *, #222, .T. ) ;
#451 = PLANE ( 'NONE',  #2041 ) ;
#452 = PRODUCT_DEFINITION_CONTEXT ( 'detailed design', #857, 'design' ) ;
#453 = CARTESIAN_POINT ( 'NONE',  ( 39.00000000000000000, -9.000000000000001776, 2.500000000000000444 ) ) ;
#454 = EDGE_CURVE ( 'NONE', #19, #207, #1215, .T. ) ;
#455 = ORIENTED_EDGE ( 'NONE', *, *, #1630, .F. ) ;
#456 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -12.00000000000000533, 15.50000000000000000 ) ) ;
#457 = CARTESIAN_POINT ( 'NONE',  ( 50.69999999999999574, 6.071532165918824830E-15, 15.50000000000000000 ) ) ;
#458 = ORIENTED_EDGE ( 'NONE', *, *, #282, .T. ) ;
#459 = ORIENTED_EDGE ( 'NONE', *, *, #947, .F. ) ;
#460 = ORIENTED_EDGE ( 'NONE', *, *, #1958, .F. ) ;
#461 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -4.000000000000000000, -2.500000000000000444 ) ) ;
#462 = VECTOR ( 'NONE', #1506, 1000.000000000000000 ) ;
#463 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#464 = CARTESIAN_POINT ( 'NONE',  ( 40.00000000000000000, -9.000000000000001776, -2.500000000000000000 ) ) ;
#465 = CYLINDRICAL_SURFACE ( 'NONE', #337, 4.025124683303556772 ) ;
#466 = EDGE_LOOP ( 'NONE', ( #302, #1000, #2016, #1576 ) ) ;
#467 = EDGE_LOOP ( 'NONE', ( #972, #134, #2028, #1350 ) ) ;
#468 = ORIENTED_EDGE ( 'NONE', *, *, #1750, .F. ) ;
#469 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#470 = EDGE_CURVE ( 'NONE', #2039, #1722, #296, .T. ) ;
#471 = LINE ( 'NONE', #1448, #1238 ) ;
#472 = CARTESIAN_POINT ( 'NONE',  ( 49.99999999999999289, -9.000000000000001776, 2.500000000000000444 ) ) ;
#473 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000355, -4.000000000000000000, -12.50000000000000355 ) ) ;
#474 = VECTOR ( 'NONE', #510, 1000.000000000000000 ) ;
#475 = ORIENTED_EDGE ( 'NONE', *, *, #1382, .F. ) ;
#476 = ORIENTED_EDGE ( 'NONE', *, *, #282, .F. ) ;
#477 = EDGE_LOOP ( 'NONE', ( #2027, #815, #1494, #1754 ) ) ;
#478 = CARTESIAN_POINT ( 'NONE',  ( 73.00000000000001421, 7.999999999999994671, -15.50000000000000000 ) ) ;
#479 = EDGE_CURVE ( 'NONE', #1503, #1961, #1240, .T. ) ;
#480 = CARTESIAN_POINT ( 'NONE',  ( 77.00000000000000000, -4.000000000000000000, 12.50000000000000000 ) ) ;
#481 = LINE ( 'NONE', #490, #693 ) ;
#482 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#483 = ORIENTED_EDGE ( 'NONE', *, *, #745, .T. ) ;
#484 = ORIENTED_EDGE ( 'NONE', *, *, #1738, .F. ) ;
#485 = ORIENTED_EDGE ( 'NONE', *, *, #1490, .F. ) ;
#486 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#487 = CIRCLE ( 'NONE', #1679, 1.000000000000000000 ) ;
#488 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#489 = ORIENTED_EDGE ( 'NONE', *, *, #1226, .F. ) ;
#490 = CARTESIAN_POINT ( 'NONE',  ( 26.99999999999999645, 1.999999999999994893, 15.50000000000000000 ) ) ;
#491 = CARTESIAN_POINT ( 'NONE',  ( 40.00000000000000000, -9.000000000000001776, 2.500000000000000444 ) ) ;
#492 = ORIENTED_EDGE ( 'NONE', *, *, #1789, .T. ) ;
#493 = EDGE_CURVE ( 'NONE', #128, #747, #1069, .T. ) ;
#494 = LINE ( 'NONE', #1125, #1468 ) ;
#495 = PLANE ( 'NONE',  #113 ) ;
#496 = ORIENTED_EDGE ( 'NONE', *, *, #349, .F. ) ;
#497 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 2.168404344971036873E-15 ) ) ;
#498 = CYLINDRICAL_SURFACE ( 'NONE', #1769, 1.000000000000000000 ) ;
#499 = VERTEX_POINT ( 'NONE', #1205 ) ;
#500 = EDGE_CURVE ( 'NONE', #610, #180, #1836, .T. ) ;
#501 = LINE ( 'NONE', #1914, #987 ) ;
#502 = VECTOR ( 'NONE', #1039, 1000.000000000000000 ) ;
#503 = DIRECTION ( 'NONE',  ( -0.6585046078685181659, -0.7525766947068777135, 0.000000000000000000 ) ) ;
#504 = EDGE_LOOP ( 'NONE', ( #642, #341, #1488, #887 ) ) ;
#505 = AXIS2_PLACEMENT_3D ( 'NONE', #96, #258, #1529 ) ;
#506 = LINE ( 'NONE', #1455, #1959 ) ;
#507 = VECTOR ( 'NONE', #203, 1000.000000000000000 ) ;
#508 = LINE ( 'NONE', #1445, #1895 ) ;
#509 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, -0.000000000000000000 ) ) ;
#510 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#511 = ORIENTED_EDGE ( 'NONE', *, *, #627, .T. ) ;
#512 = DIRECTION ( 'NONE',  ( 1.000000000000000000, -0.000000000000000000, -0.000000000000000000 ) ) ;
#513 = EDGE_CURVE ( 'NONE', #1999, #1762, #1591, .T. ) ;
#514 = ORIENTED_EDGE ( 'NONE', *, *, #1367, .F. ) ;
#515 = DIRECTION ( 'NONE',  ( -0.6585046078685181659, -0.7525766947068777135, 0.000000000000000000 ) ) ;
#516 = CARTESIAN_POINT ( 'NONE',  ( 54.99999999999999289, 2.000000000000010214, -15.50000000000000000 ) ) ;
#517 = PLANE ( 'NONE',  #691 ) ;
#518 = CARTESIAN_POINT ( 'NONE',  ( 39.00000000000000000, -9.000000000000001776, -2.500000000000000000 ) ) ;
#519 = VERTEX_POINT ( 'NONE', #1289 ) ;
#520 = VECTOR ( 'NONE', #1813, 1000.000000000000000 ) ;
#521 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#522 = ADVANCED_FACE ( 'NONE', ( #1439 ), #1899, .F. ) ;
#523 = AXIS2_PLACEMENT_3D ( 'NONE', #1002, #1639, #639 ) ;
#524 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#525 = ORIENTED_EDGE ( 'NONE', *, *, #1533, .F. ) ;
#526 = CYLINDRICAL_SURFACE ( 'NONE', #1435, 1.000000000000000000 ) ;
#527 = PLANE ( 'NONE',  #1827 ) ;
#528 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#529 = CARTESIAN_POINT ( 'NONE',  ( 7.000000000000007994, -12.00000000000000533, 15.50000000000000000 ) ) ;
#530 = VERTEX_POINT ( 'NONE', #480 ) ;
#531 = LINE ( 'NONE', #1022, #1440 ) ;
#532 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#533 = ORIENTED_EDGE ( 'NONE', *, *, #1141, .F. ) ;
#534 = VECTOR ( 'NONE', #1013, 1000.000000000000000 ) ;
#535 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -0.000000000000000000, -0.000000000000000000 ) ) ;
#536 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#537 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -12.00000000000000533, -15.50000000000000000 ) ) ;
#538 = VECTOR ( 'NONE', #954, 1000.000000000000000 ) ;
#539 = EDGE_CURVE ( 'NONE', #623, #1645, #22, .T. ) ;
#540 = ORIENTED_EDGE ( 'NONE', *, *, #1432, .F. ) ;
#541 = AXIS2_PLACEMENT_3D ( 'NONE', #1953, #1011, #1186 ) ;
#542 = LINE ( 'NONE', #879, #1814 ) ;
#543 = EDGE_LOOP ( 'NONE', ( #140, #18, #2015, #1058 ) ) ;
#544 = SURFACE_SIDE_STYLE ('',( #567 ) ) ;
#545 =( NAMED_UNIT ( * ) PLANE_ANGLE_UNIT ( ) SI_UNIT ( $, .RADIAN. ) );
#546 = LINE ( 'NONE', #420, #445 ) ;
#547 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#548 = DIRECTION ( 'NONE',  ( 0.6585046078685181659, 0.7525766947068777135, 0.000000000000000000 ) ) ;
#549 = VERTEX_POINT ( 'NONE', #1111 ) ;
#550 = LINE ( 'NONE', #1029, #1845 ) ;
#551 = CARTESIAN_POINT ( 'NONE',  ( 77.00000000000000000, -4.000000000000000000, 15.50000000000000000 ) ) ;
#552 = PLANE ( 'NONE',  #153 ) ;
#553 = VECTOR ( 'NONE', #1387, 1000.000000000000000 ) ;
#554 = VECTOR ( 'NONE', #1393, 1000.000000000000000 ) ;
#555 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#556 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#557 = EDGE_CURVE ( 'NONE', #1080, #449, #2042, .T. ) ;
#558 = EDGE_CURVE ( 'NONE', #1762, #1425, #171, .T. ) ;
#559 = CARTESIAN_POINT ( 'NONE',  ( 6.999999999999997335, 7.999999999999994671, 4.022319213889218759 ) ) ;
#560 = ORIENTED_EDGE ( 'NONE', *, *, #1359, .T. ) ;
#561 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -15.50000000000000000 ) ) ;
#562 = CARTESIAN_POINT ( 'NONE',  ( 10.99999999999999645, -4.000000000000000000, 12.50000000000000000 ) ) ;
#563 = EDGE_CURVE ( 'NONE', #1802, #1258, #1460, .T. ) ;
#564 = CARTESIAN_POINT ( 'NONE',  ( 49.99999999999999289, -4.000000000000000000, 2.500000000000000444 ) ) ;
#565 = EDGE_CURVE ( 'NONE', #1999, #2011, #801, .T. ) ;
#566 = CARTESIAN_POINT ( 'NONE',  ( 4.898587196589412829E-16, -4.000000000000000000, -15.50000000000000000 ) ) ;
#567 = SURFACE_STYLE_FILL_AREA ( #892 ) ;
#568 = AXIS2_PLACEMENT_3D ( 'NONE', #400, #1042, #1208 ) ;
#569 = ORIENTED_EDGE ( 'NONE', *, *, #1187, .T. ) ;
#570 = ORIENTED_EDGE ( 'NONE', *, *, #47, .F. ) ;
#571 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#572 = VECTOR ( 'NONE', #1160, 1000.000000000000000 ) ;
#573 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#574 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#575 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 1.927470528863118802E-16, 0.000000000000000000 ) ) ;
#576 = CARTESIAN_POINT ( 'NONE',  ( 54.99999999999999289, 2.000000000000010214, 15.50000000000000000 ) ) ;
#577 = ORIENTED_EDGE ( 'NONE', *, *, #1725, .T. ) ;
#578 = EDGE_LOOP ( 'NONE', ( #560, #2037, #666, #1627 ) ) ;
#579 = FACE_OUTER_BOUND ( 'NONE', #150, .T. ) ;
#580 = EDGE_CURVE ( 'NONE', #1589, #355, #345, .T. ) ;
#581 = ADVANCED_FACE ( 'NONE', ( #814 ), #1911, .F. ) ;
#582 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#583 = ADVANCED_FACE ( 'NONE', ( #1119 ), #978, .F. ) ;
#584 = EDGE_CURVE ( 'NONE', #1414, #446, #42, .T. ) ;
#585 = ORIENTED_EDGE ( 'NONE', *, *, #1170, .T. ) ;
#586 = PLANE ( 'NONE',  #98 ) ;
#587 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#588 = AXIS2_PLACEMENT_3D ( 'NONE', #1625, #51, #363 ) ;
#589 = PRODUCT_DEFINITION_SHAPE ( 'NONE', 'NONE',  #1094 ) ;
#590 = ORIENTED_EDGE ( 'NONE', *, *, #1105, .T. ) ;
#591 = ORIENTED_EDGE ( 'NONE', *, *, #369, .F. ) ;
#592 = ORIENTED_EDGE ( 'NONE', *, *, #563, .F. ) ;
#593 = EDGE_CURVE ( 'NONE', #183, #549, #780, .T. ) ;
#594 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#595 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#596 = EDGE_LOOP ( 'NONE', ( #46, #1764, #1906, #1395, #151, #1054, #613, #2022, #396, #313, #511, #1373, #1792, #1670, #761, #664, #1702, #1234, #438, #1854, #975 ) ) ;
#597 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 1.156482317317871478E-16 ) ) ;
#598 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#599 = ORIENTED_EDGE ( 'NONE', *, *, #738, .T. ) ;
#600 = ORIENTED_EDGE ( 'NONE', *, *, #1856, .T. ) ;
#601 = EDGE_LOOP ( 'NONE', ( #600, #1389, #217, #812 ) ) ;
#602 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#603 = AXIS2_PLACEMENT_3D ( 'NONE', #457, #1072, #1388 ) ;
#604 = PRODUCT_RELATED_PRODUCT_CATEGORY ( 'part', '', ( #1846 ) ) ;
#605 = DIRECTION ( 'NONE',  ( 2.017120320903264935E-16, -1.000000000000000000, 0.000000000000000000 ) ) ;
#606 = VECTOR ( 'NONE', #441, 1000.000000000000000 ) ;
#607 = ORIENTED_EDGE ( 'NONE', *, *, #808, .T. ) ;
#608 = DIRECTION ( 'NONE',  ( 1.000000000000000000, -0.000000000000000000, -0.000000000000000000 ) ) ;
#609 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#610 = VERTEX_POINT ( 'NONE', #628 ) ;
#611 = AXIS2_PLACEMENT_3D ( 'NONE', #155, #2043, #429 ) ;
#612 = ORIENTED_EDGE ( 'NONE', *, *, #434, .T. ) ;
#613 = ORIENTED_EDGE ( 'NONE', *, *, #799, .F. ) ;
#614 = LINE ( 'NONE', #461, #1251 ) ;
#615 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#616 = SURFACE_STYLE_USAGE ( .BOTH. , #2010 ) ;
#617 = DIRECTION ( 'NONE',  ( 1.927470528863118802E-16, 1.000000000000000000, -0.000000000000000000 ) ) ;
#618 = LINE ( 'NONE', #13, #1268 ) ;
#619 = ORIENTED_EDGE ( 'NONE', *, *, #782, .T. ) ;
#620 = EDGE_CURVE ( 'NONE', #350, #758, #963, .T. ) ;
#621 = CIRCLE ( 'NONE', #1151, 1.000000000000000000 ) ;
#622 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#623 = VERTEX_POINT ( 'NONE', #1889 ) ;
#624 = ORIENTED_EDGE ( 'NONE', *, *, #1513, .F. ) ;
#625 = CARTESIAN_POINT ( 'NONE',  ( 76.00000000000000000, -9.000000000000001776, -2.500000000000000000 ) ) ;
#626 = CIRCLE ( 'NONE', #260, 1.000000000000000000 ) ;
#627 = EDGE_CURVE ( 'NONE', #1700, #1080, #471, .T. ) ;
#628 = CARTESIAN_POINT ( 'NONE',  ( 68.00000000000000000, -9.000000000000001776, 1.500000000000000444 ) ) ;
#629 = PLANE ( 'NONE',  #1978 ) ;
#630 = CARTESIAN_POINT ( 'NONE',  ( 77.00000000000000000, -4.000000000000000000, 15.50000000000000000 ) ) ;
#631 = ORIENTED_EDGE ( 'NONE', *, *, #1210, .F. ) ;
#632 = ADVANCED_FACE ( 'NONE', ( #660 ), #498, .T. ) ;
#633 = ORIENTED_EDGE ( 'NONE', *, *, #847, .F. ) ;
#634 = ORIENTED_EDGE ( 'NONE', *, *, #372, .F. ) ;
#635 = FACE_OUTER_BOUND ( 'NONE', #1293, .T. ) ;
#636 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#637 = AXIS2_PLACEMENT_3D ( 'NONE', #1082, #291, #1442 ) ;
#638 = CIRCLE ( 'NONE', #308, 4.025124683303556772 ) ;
#639 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, -0.000000000000000000 ) ) ;
#640 = CARTESIAN_POINT ( 'NONE',  ( 84.00000000000000000, 4.499999999999995559, 15.50000000000000000 ) ) ;
#641 = VECTOR ( 'NONE', #93, 1000.000000000000000 ) ;
#642 = ORIENTED_EDGE ( 'NONE', *, *, #8, .T. ) ;
#643 = ORIENTED_EDGE ( 'NONE', *, *, #1382, .T. ) ;
#644 = EDGE_LOOP ( 'NONE', ( #1153, #1247, #460, #607 ) ) ;
#645 = CARTESIAN_POINT ( 'NONE',  ( 54.99999999999999289, -4.000000000000000000, -15.50000000000000000 ) ) ;
#646 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#647 = EDGE_LOOP ( 'NONE', ( #514, #1721, #1264, #624, #2036, #1344, #1096, #262, #1085, #585 ) ) ;
#648 = EDGE_CURVE ( 'NONE', #2011, #682, #1581, .T. ) ;
#649 = ADVANCED_FACE ( 'NONE', ( #9 ), #1333, .F. ) ;
#650 = ADVANCED_FACE ( 'NONE', ( #843 ), #1787, .T. ) ;
#651 = CARTESIAN_POINT ( 'NONE',  ( 7.000000000000007994, -12.00000000000000355, -12.50000000000000355 ) ) ;
#652 = LINE ( 'NONE', #491, #375 ) ;
#653 = ORIENTED_EDGE ( 'NONE', *, *, #1964, .T. ) ;
#654 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#655 = ORIENTED_EDGE ( 'NONE', *, *, #238, .T. ) ;
#656 = ORIENTED_EDGE ( 'NONE', *, *, #1226, .T. ) ;
#657 = CARTESIAN_POINT ( 'NONE',  ( 39.00000000000000000, -9.000000000000001776, 2.500000000000000444 ) ) ;
#658 = EDGE_CURVE ( 'NONE', #14, #756, #852, .T. ) ;
#659 = AXIS2_PLACEMENT_3D ( 'NONE', #699, #922, #309 ) ;
#660 = FACE_OUTER_BOUND ( 'NONE', #1712, .T. ) ;
#661 = VERTEX_POINT ( 'NONE', #1941 ) ;
#662 = LINE ( 'NONE', #1608, #164 ) ;
#663 = LINE ( 'NONE', #338, #1366 ) ;
#664 = ORIENTED_EDGE ( 'NONE', *, *, #800, .F. ) ;
#665 = LINE ( 'NONE', #1295, #1824 ) ;
#666 = ORIENTED_EDGE ( 'NONE', *, *, #991, .F. ) ;
#667 = ORIENTED_EDGE ( 'NONE', *, *, #1693, .T. ) ;
#668 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#669 = CARTESIAN_POINT ( 'NONE',  ( 48.99999999999999289, -9.000000000000001776, 2.500000000000000444 ) ) ;
#670 = EDGE_CURVE ( 'NONE', #1998, #1722, #1626, .T. ) ;
#671 = ORIENTED_EDGE ( 'NONE', *, *, #311, .T. ) ;
#672 = DIRECTION ( 'NONE',  ( -0.4472135954999602037, -0.8944271909999147452, 0.000000000000000000 ) ) ;
#673 = VECTOR ( 'NONE', #66, 1000.000000000000000 ) ;
#674 = ORIENTED_EDGE ( 'NONE', *, *, #1343, .T. ) ;
#675 = VECTOR ( 'NONE', #787, 1000.000000000000000 ) ;
#676 = LINE ( 'NONE', #59, #1335 ) ;
#677 = VECTOR ( 'NONE', #1518, 1000.000000000000000 ) ;
#678 = CARTESIAN_POINT ( 'NONE',  ( 85.00000000000000000, 7.999999999999994671, 14.49999999999999822 ) ) ;
#679 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#680 = FACE_OUTER_BOUND ( 'NONE', #1742, .T. ) ;
#681 = VECTOR ( 'NONE', #103, 1000.000000000000000 ) ;
#682 = VERTEX_POINT ( 'NONE', #1634 ) ;
#683 = FACE_OUTER_BOUND ( 'NONE', #1832, .T. ) ;
#684 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#685 = ORIENTED_EDGE ( 'NONE', *, *, #1049, .T. ) ;
#686 = CARTESIAN_POINT ( 'NONE',  ( 7.000000000000007994, -12.00000000000000533, 15.50000000000000000 ) ) ;
#687 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -2.017120320903264935E-16, 0.000000000000000000 ) ) ;
#688 = LINE ( 'NONE', #1931, #2008 ) ;
#689 = CARTESIAN_POINT ( 'NONE',  ( 69.00000000000000000, -9.000000000000001776, -2.500000000000000000 ) ) ;
#690 = EDGE_LOOP ( 'NONE', ( #1136, #726, #1988, #1297 ) ) ;
#691 = AXIS2_PLACEMENT_3D ( 'NONE', #1795, #181, #353 ) ;
#692 = CARTESIAN_POINT ( 'NONE',  ( 40.00000000000000000, -6.000000000000000000, -1.500000000000000000 ) ) ;
#693 = VECTOR ( 'NONE', #512, 1000.000000000000000 ) ;
#694 =( LENGTH_UNIT ( ) NAMED_UNIT ( * ) SI_UNIT ( .MILLI., .METRE. ) );
#695 = ORIENTED_EDGE ( 'NONE', *, *, #1966, .F. ) ;
#696 = EDGE_CURVE ( 'NONE', #293, #1866, #1009, .T. ) ;
#697 = CARTESIAN_POINT ( 'NONE',  ( 69.00000000000000000, -9.000000000000001776, -1.500000000000000000 ) ) ;
#698 = LINE ( 'NONE', #1956, #1637 ) ;
#699 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -4.000000000000000000, -12.50000000000000355 ) ) ;
#700 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, 5.204170427930421283E-15, -15.50000000000000000 ) ) ;
#701 = VERTEX_POINT ( 'NONE', #700 ) ;
#702 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#703 = CARTESIAN_POINT ( 'NONE',  ( 77.00000000000000000, -4.000000000000000000, 15.50000000000000000 ) ) ;
#704 = VECTOR ( 'NONE', #957, 1000.000000000000000 ) ;
#705 = PLANE ( 'NONE',  #173 ) ;
#706 = CARTESIAN_POINT ( 'NONE',  ( 15.82461934271479187, 1.999999999999994893, -4.022319213889218759 ) ) ;
#707 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#708 = ORIENTED_EDGE ( 'NONE', *, *, #1250, .T. ) ;
#709 = VECTOR ( 'NONE', #1810, 1000.000000000000000 ) ;
#710 = FACE_OUTER_BOUND ( 'NONE', #1235, .T. ) ;
#711 = CARTESIAN_POINT ( 'NONE',  ( 48.99999999999999289, -4.000000000000000000, 2.500000000000000444 ) ) ;
#712 = CARTESIAN_POINT ( 'NONE',  ( 69.00000000000000000, -6.000000000000000000, 1.500000000000000444 ) ) ;
#713 = EDGE_CURVE ( 'NONE', #965, #1275, #832, .T. ) ;
#714 = CARTESIAN_POINT ( 'NONE',  ( 50.69999999999999574, 2.000000000000009326, -15.50000000000000000 ) ) ;
#715 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#716 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -4.000000000000000000, -12.50000000000000355 ) ) ;
#717 = ORIENTED_EDGE ( 'NONE', *, *, #1577, .T. ) ;
#718 = EDGE_CURVE ( 'NONE', #2039, #1446, #1487, .T. ) ;
#719 = CARTESIAN_POINT ( 'NONE',  ( 4.898587196589412829E-16, -4.000000000000000000, -15.50000000000000000 ) ) ;
#720 = PLANE ( 'NONE',  #1200 ) ;
#721 = CARTESIAN_POINT ( 'NONE',  ( 15.82461934271479187, 3.999999999999996447, -4.022319213889218759 ) ) ;
#722 = VECTOR ( 'NONE', #594, 1000.000000000000000 ) ;
#723 = CIRCLE ( 'NONE', #1040, 1.000000000000000888 ) ;
#724 = CARTESIAN_POINT ( 'NONE',  ( 40.00000000000000000, -6.000000000000000000, 2.500000000000001332 ) ) ;
#725 = CARTESIAN_POINT ( 'NONE',  ( 76.00000000000000000, -9.000000000000001776, -2.500000000000000000 ) ) ;
#726 = ORIENTED_EDGE ( 'NONE', *, *, #772, .F. ) ;
#727 = ORIENTED_EDGE ( 'NONE', *, *, #380, .F. ) ;
#728 = DIRECTION ( 'NONE',  ( 1.224646799147353207E-16, -1.000000000000000000, 0.000000000000000000 ) ) ;
#729 = CARTESIAN_POINT ( 'NONE',  ( 54.99999999999999289, -4.000000000000000000, -15.50000000000000000 ) ) ;
#730 = CARTESIAN_POINT ( 'NONE',  ( 77.00000000000000000, -4.000000000000000000, -1.500000000000001332 ) ) ;
#731 = LINE ( 'NONE', #1499, #709 ) ;
#732 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#733 = ADVANCED_FACE ( 'NONE', ( #680 ), #71, .F. ) ;
#734 = VECTOR ( 'NONE', #609, 1000.000000000000000 ) ;
#735 = EDGE_CURVE ( 'NONE', #186, #1201, #1951, .T. ) ;
#736 = EDGE_LOOP ( 'NONE', ( #226, #643, #1743, #1156 ) ) ;
#737 = VERTEX_POINT ( 'NONE', #1674 ) ;
#738 = EDGE_CURVE ( 'NONE', #207, #346, #1347, .T. ) ;
#739 = LINE ( 'NONE', #1203, #1285 ) ;
#740 = CIRCLE ( 'NONE', #1303, 1.000000000000000888 ) ;
#741 = EDGE_CURVE ( 'NONE', #1126, #499, #546, .T. ) ;
#742 = AXIS2_PLACEMENT_3D ( 'NONE', #1312, #702, #1943 ) ;
#743 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -0.000000000000000000, -0.000000000000000000 ) ) ;
#744 = EDGE_LOOP ( 'NONE', ( #653, #1087, #1615, #483 ) ) ;
#745 = EDGE_CURVE ( 'NONE', #1869, #321, #1839, .T. ) ;
#746 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#747 = VERTEX_POINT ( 'NONE', #104 ) ;
#748 = VERTEX_POINT ( 'NONE', #1686 ) ;
#749 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -0.000000000000000000, -0.000000000000000000 ) ) ;
#750 = DIRECTION ( 'NONE',  ( 1.000000000000000000, -0.000000000000000000, -0.000000000000000000 ) ) ;
#751 = APPLICATION_CONTEXT ( 'automotive_design' ) ;
#752 = ORIENTED_EDGE ( 'NONE', *, *, #311, .F. ) ;
#753 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#754 = PLANE ( 'NONE',  #1930 ) ;
#755 = ADVANCED_FACE ( 'NONE', ( #1968 ), #1180, .F. ) ;
#756 = VERTEX_POINT ( 'NONE', #95 ) ;
#757 = ORIENTED_EDGE ( 'NONE', *, *, #1140, .T. ) ;
#758 = VERTEX_POINT ( 'NONE', #1976 ) ;
#759 = LINE ( 'NONE', #141, #325 ) ;
#760 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, 3.999999999999996447, -4.022319213889218759 ) ) ;
#761 = ORIENTED_EDGE ( 'NONE', *, *, #1573, .F. ) ;
#762 = CARTESIAN_POINT ( 'NONE',  ( 7.000000000000007994, -12.00000000000000533, -15.50000000000000000 ) ) ;
#763 = CARTESIAN_POINT ( 'NONE',  ( 73.00000000000001421, 1.999999999999994893, -15.50000000000000000 ) ) ;
#764 = EDGE_LOOP ( 'NONE', ( #1710, #1372, #459, #1461 ) ) ;
#765 = VERTEX_POINT ( 'NONE', #1052 ) ;
#766 = CARTESIAN_POINT ( 'NONE',  ( 40.00000000000000000, -9.000000000000001776, -2.500000000000000000 ) ) ;
#767 = CIRCLE ( 'NONE', #1663, 1.000000000000000000 ) ;
#768 = VECTOR ( 'NONE', #1997, 1000.000000000000000 ) ;
#769 = FACE_OUTER_BOUND ( 'NONE', #543, .T. ) ;
#770 = VECTOR ( 'NONE', #54, 1000.000000000000000 ) ;
#771 = ADVANCED_FACE ( 'NONE', ( #231 ), #1649, .T. ) ;
#772 = EDGE_CURVE ( 'NONE', #269, #795, #1607, .T. ) ;
#773 = ORIENTED_EDGE ( 'NONE', *, *, #1905, .F. ) ;
#774 = LINE ( 'NONE', #1059, #553 ) ;
#775 = LINE ( 'NONE', #1851, #734 ) ;
#776 = ORIENTED_EDGE ( 'NONE', *, *, #372, .T. ) ;
#777 = LINE ( 'NONE', #1412, #1233 ) ;
#778 = EDGE_LOOP ( 'NONE', ( #1019, #1228, #214, #717 ) ) ;
#779 = CARTESIAN_POINT ( 'NONE',  ( 54.99999999999999289, -4.000000000000000000, 12.50000000000000000 ) ) ;
#780 = LINE ( 'NONE', #1427, #1037 ) ;
#781 = PRODUCT_CONTEXT ( 'NONE', #751, 'mechanical' ) ;
#782 = EDGE_CURVE ( 'NONE', #1470, #371, #731, .T. ) ;
#783 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#784 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -1.000000000000000000, -0.000000000000000000 ) ) ;
#785 = ORIENTED_EDGE ( 'NONE', *, *, #735, .T. ) ;
#786 = VECTOR ( 'NONE', #2034, 1000.000000000000000 ) ;
#787 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#788 = ORIENTED_EDGE ( 'NONE', *, *, #442, .F. ) ;
#789 = CARTESIAN_POINT ( 'NONE',  ( 84.00000000000000000, 4.499999999999995559, -15.50000000000000000 ) ) ;
#790 = AXIS2_PLACEMENT_3D ( 'NONE', #1935, #11, #1272 ) ;
#791 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#792 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, -4.336808689942073942E-16 ) ) ;
#793 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, -4.000000000000000000, 15.50000000000000000 ) ) ;
#794 = ORIENTED_EDGE ( 'NONE', *, *, #718, .F. ) ;
#795 = VERTEX_POINT ( 'NONE', #724 ) ;
#796 = ORIENTED_EDGE ( 'NONE', *, *, #161, .T. ) ;
#797 = CARTESIAN_POINT ( 'NONE',  ( 2.000000000000000000, 3.623131640489455446E-17, 15.50000000000000000 ) ) ;
#798 = EDGE_CURVE ( 'NONE', #64, #701, #1025, .T. ) ;
#799 = EDGE_CURVE ( 'NONE', #1213, #1765, #239, .T. ) ;
#800 = EDGE_CURVE ( 'NONE', #747, #1258, #87, .T. ) ;
#801 = LINE ( 'NONE', #1279, #2025 ) ;
#802 = CIRCLE ( 'NONE', #1766, 1.000000000000000444 ) ;
#803 = ADVANCED_FACE ( 'NONE', ( #257 ), #1491, .F. ) ;
#804 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#805 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#806 = AXIS2_PLACEMENT_3D ( 'NONE', #1509, #876, #1356 ) ;
#807 = ORIENTED_EDGE ( 'NONE', *, *, #1856, .F. ) ;
#808 = EDGE_CURVE ( 'NONE', #1401, #1771, #77, .T. ) ;
#809 = LINE ( 'NONE', #1444, #2020 ) ;
#810 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#811 = EDGE_CURVE ( 'NONE', #1621, #1433, #1197, .T. ) ;
#812 = ORIENTED_EDGE ( 'NONE', *, *, #1812, .F. ) ;
#813 = CARTESIAN_POINT ( 'NONE',  ( 68.00000000000000000, -9.000000000000001776, -1.499999999999999556 ) ) ;
#814 = FACE_OUTER_BOUND ( 'NONE', #1934, .T. ) ;
#815 = ORIENTED_EDGE ( 'NONE', *, *, #798, .F. ) ;
#816 = CARTESIAN_POINT ( 'NONE',  ( 54.99999999999999289, -4.000000000000000000, 15.50000000000000000 ) ) ;
#817 = CARTESIAN_POINT ( 'NONE',  ( 85.00000000000000000, 4.499999999999995559, -14.49999999999999822 ) ) ;
#818 = ORIENTED_EDGE ( 'NONE', *, *, #500, .F. ) ;
#819 = CARTESIAN_POINT ( 'NONE',  ( 76.00000000000000000, -9.000000000000001776, 1.500000000000000444 ) ) ;
#820 = ORIENTED_EDGE ( 'NONE', *, *, #73, .F. ) ;
#821 = VERTEX_POINT ( 'NONE', #1830 ) ;
#822 = EDGE_CURVE ( 'NONE', #519, #350, #1061, .T. ) ;
#823 = FACE_OUTER_BOUND ( 'NONE', #578, .T. ) ;
#824 = VECTOR ( 'NONE', #1485, 1000.000000000000000 ) ;
#825 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#826 = ORIENTED_EDGE ( 'NONE', *, *, #1974, .T. ) ;
#827 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 15.50000000000000000 ) ) ;
#828 = ORIENTED_EDGE ( 'NONE', *, *, #1517, .T. ) ;
#829 = CARTESIAN_POINT ( 'NONE',  ( 69.00000000000000000, -9.000000000000001776, 1.500000000000000444 ) ) ;
#830 = CARTESIAN_POINT ( 'NONE',  ( 77.00000000000000000, -4.000000000000000000, 15.50000000000000000 ) ) ;
#831 = CARTESIAN_POINT ( 'NONE',  ( 4.898587196589412829E-16, -4.000000000000000000, 12.50000000000000000 ) ) ;
#832 = LINE ( 'NONE', #689, #1304 ) ;
#833 = ORIENTED_EDGE ( 'NONE', *, *, #16, .F. ) ;
#834 = LINE ( 'NONE', #827, #357 ) ;
#835 = CIRCLE ( 'NONE', #1635, 1.000000000000000000 ) ;
#836 = ADVANCED_FACE ( 'NONE', ( #883 ), #705, .F. ) ;
#837 = EDGE_LOOP ( 'NONE', ( #634, #1897, #936, #1660, #540, #1597, #415, #416, #3, #1523 ) ) ;
#838 = VECTOR ( 'NONE', #1840, 1000.000000000000000 ) ;
#839 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#840 = AXIS2_PLACEMENT_3D ( 'NONE', #1270, #1416, #1770 ) ;
#841 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 2.154869243147345408E-16, 0.000000000000000000 ) ) ;
#842 = LINE ( 'NONE', #1476, #1318 ) ;
#843 = FACE_OUTER_BOUND ( 'NONE', #99, .T. ) ;
#844 = ORIENTED_EDGE ( 'NONE', *, *, #1602, .F. ) ;
#845 = CARTESIAN_POINT ( 'NONE',  ( 77.00000000000000000, -4.000000000000000000, 1.500000000000000444 ) ) ;
#846 = DIRECTION ( 'NONE',  ( 0.6585046078685182769, -0.7525766947068777135, 0.000000000000000000 ) ) ;
#847 = EDGE_CURVE ( 'NONE', #37, #1875, #1667, .T. ) ;
#848 = VERTEX_POINT ( 'NONE', #280 ) ;
#849 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#850 = CARTESIAN_POINT ( 'NONE',  ( 84.00000000000000000, 7.999999999999994671, -14.49999999999999822 ) ) ;
#851 = PLANE ( 'NONE',  #659 ) ;
#852 = LINE ( 'NONE', #364, #147 ) ;
#853 = ORIENTED_EDGE ( 'NONE', *, *, #442, .T. ) ;
#854 = VECTOR ( 'NONE', #1349, 1000.000000000000000 ) ;
#855 = LINE ( 'NONE', #551, #114 ) ;
#856 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#857 = APPLICATION_CONTEXT ( 'automotive_design' ) ;
#858 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#859 = FACE_OUTER_BOUND ( 'NONE', #960, .T. ) ;
#860 = DIRECTION ( 'NONE',  ( -0.6585046078685182769, 0.7525766947068777135, 0.000000000000000000 ) ) ;
#861 = VERTEX_POINT ( 'NONE', #1397 ) ;
#862 = CARTESIAN_POINT ( 'NONE',  ( 69.00000000000000000, -9.000000000000001776, 2.500000000000000444 ) ) ;
#863 = ADVANCED_FACE ( 'NONE', ( #1092 ), #923, .F. ) ;
#864 = PRESENTATION_STYLE_ASSIGNMENT (( #1638 ) ) ;
#865 = DIRECTION ( 'NONE',  ( 0.6585046078685182769, -0.7525766947068777135, 0.000000000000000000 ) ) ;
#866 = ADVANCED_FACE ( 'NONE', ( #912 ), #1420, .F. ) ;
#867 = DIRECTION ( 'NONE',  ( 1.000000000000000000, -0.000000000000000000, 0.000000000000000000 ) ) ;
#868 = AXIS2_PLACEMENT_3D ( 'NONE', #850, #1348, #556 ) ;
#869 = LINE ( 'NONE', #716, #131 ) ;
#870 = VECTOR ( 'NONE', #1394, 1000.000000000000000 ) ;
#871 = ORIENTED_EDGE ( 'NONE', *, *, #919, .T. ) ;
#872 = LINE ( 'NONE', #272, #1598 ) ;
#873 = CARTESIAN_POINT ( 'NONE',  ( 49.99999999999999289, -4.000000000000000000, -1.499999999999999556 ) ) ;
#874 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ( 'LIBOVOLNÝ', '', #1846, .NOT_KNOWN. ) ;
#875 = CARTESIAN_POINT ( 'NONE',  ( 15.82461934271479187, 1.999999999999994893, 4.022319213889218759 ) ) ;
#876 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#877 = LINE ( 'NONE', #1369, #276 ) ;
#878 = EDGE_LOOP ( 'NONE', ( #708, #1954, #1872, #820, #994, #569 ) ) ;
#879 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, -4.000000000000000000, 15.50000000000000000 ) ) ;
#880 = CARTESIAN_POINT ( 'NONE',  ( 73.00000000000001421, 7.999999999999994671, 15.50000000000000000 ) ) ;
#881 = VECTOR ( 'NONE', #5, 1000.000000000000000 ) ;
#882 = VECTOR ( 'NONE', #1619, 1000.000000000000000 ) ;
#883 = FACE_OUTER_BOUND ( 'NONE', #283, .T. ) ;
#884 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#885 = EDGE_CURVE ( 'NONE', #1443, #758, #618, .T. ) ;
#886 = ORIENTED_EDGE ( 'NONE', *, *, #1738, .T. ) ;
#887 = ORIENTED_EDGE ( 'NONE', *, *, #847, .T. ) ;
#888 = ORIENTED_EDGE ( 'NONE', *, *, #1940, .T. ) ;
#889 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -0.000000000000000000, -0.000000000000000000 ) ) ;
#890 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#891 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, -4.000000000000000000, 15.50000000000000000 ) ) ;
#892 = FILL_AREA_STYLE ('',( #268 ) ) ;
#893 = VECTOR ( 'NONE', #535, 1000.000000000000000 ) ;
#894 = ORIENTED_EDGE ( 'NONE', *, *, #1683, .T. ) ;
#895 = ORIENTED_EDGE ( 'NONE', *, *, #1294, .T. ) ;
#896 = ORIENTED_EDGE ( 'NONE', *, *, #1612, .T. ) ;
#897 = LINE ( 'NONE', #235, #1196 ) ;
#898 = AXIS2_PLACEMENT_3D ( 'NONE', #1650, #536, #232 ) ;
#899 = VECTOR ( 'NONE', #743, 1000.000000000000000 ) ;
#900 = CARTESIAN_POINT ( 'NONE',  ( 48.99999999999999289, -9.000000000000001776, -2.500000000000000000 ) ) ;
#901 = ADVANCED_FACE ( 'NONE', ( #1741 ), #754, .F. ) ;
#902 = ORIENTED_EDGE ( 'NONE', *, *, #1972, .T. ) ;
#903 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, -0.000000000000000000 ) ) ;
#904 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#905 = ORIENTED_EDGE ( 'NONE', *, *, #696, .F. ) ;
#906 = ORIENTED_EDGE ( 'NONE', *, *, #414, .T. ) ;
#907 = VERTEX_POINT ( 'NONE', #763 ) ;
#908 = PLANE ( 'NONE',  #422 ) ;
#909 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -4.000000000000000000, -2.500000000000000444 ) ) ;
#910 = ORIENTED_EDGE ( 'NONE', *, *, #1145, .F. ) ;
#911 = CARTESIAN_POINT ( 'NONE',  ( 7.000000000000007994, -12.00000000000000533, -15.50000000000000000 ) ) ;
#912 = FACE_OUTER_BOUND ( 'NONE', #1578, .T. ) ;
#913 = AXIS2_PLACEMENT_3D ( 'NONE', #1548, #1259, #1568 ) ;
#914 = VERTEX_POINT ( 'NONE', #1892 ) ;
#915 = VERTEX_POINT ( 'NONE', #146 ) ;
#916 = VERTEX_POINT ( 'NONE', #473 ) ;
#917 = LINE ( 'NONE', #294, #881 ) ;
#918 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE( 1.000000000000000082E-05 ), #227, 'distance_accuracy_value', 'NONE');
#919 = EDGE_CURVE ( 'NONE', #19, #1689, #448, .T. ) ;
#920 = CARTESIAN_POINT ( 'NONE',  ( 50.69999999999999574, 2.000000000000009326, 15.50000000000000000 ) ) ;
#921 = VERTEX_POINT ( 'NONE', #943 ) ;
#922 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#923 = PLANE ( 'NONE',  #1894 ) ;
#924 = VERTEX_POINT ( 'NONE', #1104 ) ;
#925 = ADVANCED_FACE ( 'NONE', ( #1244 ), #465, .T. ) ;
#926 = ORIENTED_EDGE ( 'NONE', *, *, #1967, .T. ) ;
#927 = ORIENTED_EDGE ( 'NONE', *, *, #539, .T. ) ;
#928 = LINE ( 'NONE', #1745, #1782 ) ;
#929 = VECTOR ( 'NONE', #889, 1000.000000000000000 ) ;
#930 = ADVANCED_FACE ( 'NONE', ( #320 ), #136, .F. ) ;
#931 = VECTOR ( 'NONE', #413, 1000.000000000000000 ) ;
#932 = CARTESIAN_POINT ( 'NONE',  ( 39.00000000000000000, -4.000000000000000000, 2.500000000000000444 ) ) ;
#933 = AXIS2_PLACEMENT_3D ( 'NONE', #692, #1825, #1001 ) ;
#934 = CARTESIAN_POINT ( 'NONE',  ( 77.00000000000000000, -4.000000000000000000, -15.50000000000000000 ) ) ;
#935 = CARTESIAN_POINT ( 'NONE',  ( 76.00000000000000000, -9.000000000000001776, 1.500000000000000444 ) ) ;
#936 = ORIENTED_EDGE ( 'NONE', *, *, #1964, .F. ) ;
#937 = VECTOR ( 'NONE', #1682, 1000.000000000000000 ) ;
#938 = LINE ( 'NONE', #159, #675 ) ;
#939 = VERTEX_POINT ( 'NONE', #1 ) ;
#940 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, -4.000000000000000000, -12.49999999999999645 ) ) ;
#941 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#942 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, 5.204170427930421283E-15, 15.50000000000000000 ) ) ;
#943 = CARTESIAN_POINT ( 'NONE',  ( 76.00000000000000000, -9.000000000000001776, 2.500000000000000444 ) ) ;
#944 = EDGE_CURVE ( 'NONE', #915, #1690, #1410, .T. ) ;
#945 = VERTEX_POINT ( 'NONE', #640 ) ;
#946 = EDGE_CURVE ( 'NONE', #1403, #425, #1871, .T. ) ;
#947 = EDGE_CURVE ( 'NONE', #1645, #14, #775, .T. ) ;
#948 = AXIS2_PLACEMENT_3D ( 'NONE', #130, #469, #170 ) ;
#949 = ORIENTED_EDGE ( 'NONE', *, *, #1798, .F. ) ;
#950 = ORIENTED_EDGE ( 'NONE', *, *, #72, .T. ) ;
#951 = EDGE_CURVE ( 'NONE', #758, #921, #143, .T. ) ;
#952 = CARTESIAN_POINT ( 'NONE',  ( 77.00000000000000000, 4.499999999999995559, 15.50000000000000000 ) ) ;
#953 = VECTOR ( 'NONE', #1188, 1000.000000000000000 ) ;
#954 = DIRECTION ( 'NONE',  ( 0.5299989400031803743, 0.8479983040050877996, 0.000000000000000000 ) ) ;
#955 = ADVANCED_FACE ( 'NONE', ( #1697 ), #126, .F. ) ;
#956 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -4.000000000000000000, -15.50000000000000000 ) ) ;
#957 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#958 = ORIENTED_EDGE ( 'NONE', *, *, #951, .F. ) ;
#959 = LINE ( 'NONE', #1947, #1232 ) ;
#960 = EDGE_LOOP ( 'NONE', ( #284, #496, #1086, #1479, #1168, #1055 ) ) ;
#961 = VERTEX_POINT ( 'NONE', #2013 ) ;
#962 = PLANE ( 'NONE',  #1454 ) ;
#963 = LINE ( 'NONE', #1260, #1133 ) ;
#964 = AXIS2_PLACEMENT_3D ( 'NONE', #1046, #83, #92 ) ;
#965 = VERTEX_POINT ( 'NONE', #1231 ) ;
#966 = MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION_REPRESENTATION (  '', ( #1437 ), #212 ) ;
#967 = VECTOR ( 'NONE', #595, 1000.000000000000000 ) ;
#968 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#969 = CARTESIAN_POINT ( 'NONE',  ( 76.00000000000000000, -4.000000000000000000, -2.500000000000000444 ) ) ;
#970 = ADVANCED_FACE ( 'NONE', ( #1861 ), #1709, .F. ) ;
#971 = VECTOR ( 'NONE', #555, 1000.000000000000000 ) ;
#972 = ORIENTED_EDGE ( 'NONE', *, *, #1016, .F. ) ;
#973 = PLANE ( 'NONE',  #440 ) ;
#974 = VERTEX_POINT ( 'NONE', #969 ) ;
#975 = ORIENTED_EDGE ( 'NONE', *, *, #1359, .F. ) ;
#976 = MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION_REPRESENTATION (  '', ( #1833 ), #1502 ) ;
#977 = LINE ( 'NONE', #645, #259 ) ;
#978 = PLANE ( 'NONE',  #1604 ) ;
#979 = EDGE_LOOP ( 'NONE', ( #1044, #278, #436, #323 ) ) ;
#980 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -1.000000000000000000, -0.000000000000000000 ) ) ;
#981 = DIRECTION ( 'NONE',  ( -0.7525766947068778245, 0.6585046078685182769, 0.000000000000000000 ) ) ;
#982 = ORIENTED_EDGE ( 'NONE', *, *, #1261, .T. ) ;
#983 = DIRECTION ( 'NONE',  ( 1.000000000000000000, -0.000000000000000000, -0.000000000000000000 ) ) ;
#984 = CARTESIAN_POINT ( 'NONE',  ( 3.249999999999997335, 1.999999999999994893, 15.50000000000000000 ) ) ;
#985 = CARTESIAN_POINT ( 'NONE',  ( 69.00000000000000000, -9.000000000000001776, 1.500000000000000444 ) ) ;
#986 = VECTOR ( 'NONE', #679, 1000.000000000000000 ) ;
#987 = VECTOR ( 'NONE', #1134, 1000.000000000000000 ) ;
#988 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#989 = ORIENTED_EDGE ( 'NONE', *, *, #713, .T. ) ;
#990 = EDGE_CURVE ( 'NONE', #1146, #1401, #663, .T. ) ;
#991 = EDGE_CURVE ( 'NONE', #1998, #861, #1915, .T. ) ;
#992 = LINE ( 'NONE', #1944, #1353 ) ;
#993 = ADVANCED_FACE ( 'NONE', ( #1609 ), #1292, .F. ) ;
#994 = ORIENTED_EDGE ( 'NONE', *, *, #1838, .F. ) ;
#995 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#996 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -12.00000000000000533, 15.50000000000000000 ) ) ;
#997 = PLANE ( 'NONE',  #65 ) ;
#998 = DIRECTION ( 'NONE',  ( 1.000000000000000000, -0.000000000000000000, -0.000000000000000000 ) ) ;
#999 = EDGE_CURVE ( 'NONE', #1960, #183, #242, .T. ) ;
#1000 = ORIENTED_EDGE ( 'NONE', *, *, #90, .F. ) ;
#1001 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -0.000000000000000000, 1.000000000000000000 ) ) ;
#1002 = CARTESIAN_POINT ( 'NONE',  ( 39.00000000000000000, -9.000000000000001776, 2.500000000000000444 ) ) ;
#1003 = AXIS2_PLACEMENT_3D ( 'NONE', #1452, #174, #805 ) ;
#1004 = ORIENTED_EDGE ( 'NONE', *, *, #580, .T. ) ;
#1005 = LINE ( 'NONE', #1474, #893 ) ;
#1006 = AXIS2_PLACEMENT_3D ( 'NONE', #518, #62, #1310 ) ;
#1007 = CYLINDRICAL_SURFACE ( 'NONE', #1530, 1.000000000000000000 ) ;
#1008 = CARTESIAN_POINT ( 'NONE',  ( 39.00000000000000000, -9.000000000000001776, -1.499999999999999556 ) ) ;
#1009 = LINE ( 'NONE', #1644, #507 ) ;
#1010 = ORIENTED_EDGE ( 'NONE', *, *, #1752, .F. ) ;
#1011 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1012 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#1013 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#1014 = EDGE_CURVE ( 'NONE', #795, #737, #652, .T. ) ;
#1015 = CARTESIAN_POINT ( 'NONE',  ( 15.82461934271479187, 3.999999999999996447, 4.022319213889218759 ) ) ;
#1016 = EDGE_CURVE ( 'NONE', #1866, #1765, #1273, .T. ) ;
#1017 = EDGE_CURVE ( 'NONE', #1689, #346, #1113, .T. ) ;
#1018 = LINE ( 'NONE', #1493, #230 ) ;
#1019 = ORIENTED_EDGE ( 'NONE', *, *, #944, .F. ) ;
#1020 = CARTESIAN_POINT ( 'NONE',  ( 69.00000000000000000, -6.000000000000000000, -2.500000000000000000 ) ) ;
#1021 = VECTOR ( 'NONE', #1756, 1000.000000000000000 ) ;
#1022 = CARTESIAN_POINT ( 'NONE',  ( 7.000000000000000888, 7.999999999999994671, -4.022319213889218759 ) ) ;
#1023 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, -4.000000000000000000, 4.022319213889218759 ) ) ;
#1024 = EDGE_CURVE ( 'NONE', #446, #549, #1123, .T. ) ;
#1025 = LINE ( 'NONE', #393, #1340 ) ;
#1026 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1027 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -6.000000000000000000, 2.500000000000000444 ) ) ;
#1028 = ORIENTED_EDGE ( 'NONE', *, *, #822, .T. ) ;
#1029 = CARTESIAN_POINT ( 'NONE',  ( 4.898587196589412829E-16, -4.000000000000000000, 15.50000000000000000 ) ) ;
#1030 =( NAMED_UNIT ( * ) SI_UNIT ( $, .STERADIAN. ) SOLID_ANGLE_UNIT ( ) );
#1031 = CARTESIAN_POINT ( 'NONE',  ( 2.000000000000000000, 3.623131640489455446E-17, 15.50000000000000000 ) ) ;
#1032 = VECTOR ( 'NONE', #1544, 1000.000000000000000 ) ;
#1033 = ADVANCED_FACE ( 'NONE', ( #1761 ), #1593, .F. ) ;
#1034 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, -0.000000000000000000 ) ) ;
#1035 = LINE ( 'NONE', #1198, #245 ) ;
#1036 = PRESENTATION_LAYER_ASSIGNMENT (  '', '', ( #1437 ) ) ;
#1037 = VECTOR ( 'NONE', #1933, 1000.000000000000000 ) ;
#1038 = ORIENTED_EDGE ( 'NONE', *, *, #990, .F. ) ;
#1039 = DIRECTION ( 'NONE',  ( -0.5299989400031803743, -0.8479983040050877996, 0.000000000000000000 ) ) ;
#1040 = AXIS2_PLACEMENT_3D ( 'NONE', #712, #1012, #1826 ) ;
#1041 = LINE ( 'NONE', #1031, #67 ) ;
#1042 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#1043 = CARTESIAN_POINT ( 'NONE',  ( 68.00000000000000000, -9.000000000000001776, -2.500000000000000000 ) ) ;
#1044 = ORIENTED_EDGE ( 'NONE', *, *, #202, .F. ) ;
#1045 = VERTEX_POINT ( 'NONE', #185 ) ;
#1046 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -9.000000000000001776, 0.000000000000000000 ) ) ;
#1047 = LINE ( 'NONE', #909, #870 ) ;
#1048 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -4.000000000000000000, 15.50000000000000000 ) ) ;
#1049 = EDGE_CURVE ( 'NONE', #848, #974, #767, .T. ) ;
#1050 = VECTOR ( 'NONE', #2046, 1000.000000000000000 ) ;
#1051 = VECTOR ( 'NONE', #172, 1000.000000000000000 ) ;
#1052 = CARTESIAN_POINT ( 'NONE',  ( 40.00000000000000000, -6.000000000000000000, -2.500000000000000000 ) ) ;
#1053 = CARTESIAN_POINT ( 'NONE',  ( 15.97487531669644234, 7.999999999999994671, 0.000000000000000000 ) ) ;
#1054 = ORIENTED_EDGE ( 'NONE', *, *, #1688, .F. ) ;
#1055 = ORIENTED_EDGE ( 'NONE', *, *, #161, .F. ) ;
#1056 = DIRECTION ( 'NONE',  ( 0.8944271909999148562, -0.4472135954999602037, 0.000000000000000000 ) ) ;
#1057 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1058 = ORIENTED_EDGE ( 'NONE', *, *, #741, .T. ) ;
#1059 = CARTESIAN_POINT ( 'NONE',  ( 69.00000000000000000, -9.000000000000001776, 2.500000000000000444 ) ) ;
#1060 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1061 = CIRCLE ( 'NONE', #568, 1.000000000000000000 ) ;
#1062 = VECTOR ( 'NONE', #1794, 1000.000000000000000 ) ;
#1063 = EDGE_LOOP ( 'NONE', ( #1457, #91, #1074, #1161 ) ) ;
#1064 = ORIENTED_EDGE ( 'NONE', *, *, #1791, .T. ) ;
#1065 = ORIENTED_EDGE ( 'NONE', *, *, #1533, .T. ) ;
#1066 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -1.126443815569355647E-16, 0.000000000000000000 ) ) ;
#1067 = AXIS2_PLACEMENT_3D ( 'NONE', #275, #428, #1692 ) ;
#1068 = VECTOR ( 'NONE', #858, 1000.000000000000000 ) ;
#1069 = LINE ( 'NONE', #920, #21 ) ;
#1070 = ORIENTED_EDGE ( 'NONE', *, *, #1750, .T. ) ;
#1071 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -4.000000000000000000, 12.50000000000000000 ) ) ;
#1072 = DIRECTION ( 'NONE',  ( 1.126443815569355647E-16, -1.000000000000000000, 0.000000000000000000 ) ) ;
#1073 = ADVANCED_FACE ( 'NONE', ( #1641 ), #1284, .T. ) ;
#1074 = ORIENTED_EDGE ( 'NONE', *, *, #1974, .F. ) ;
#1075 = ORIENTED_EDGE ( 'NONE', *, *, #811, .F. ) ;
#1076 = EDGE_LOOP ( 'NONE', ( #1306, #1636, #179, #1916, #894, #74, #886, #1408 ) ) ;
#1077 = LINE ( 'NONE', #2007, #722 ) ;
#1078 = LINE ( 'NONE', #1364, #443 ) ;
#1079 = EDGE_CURVE ( 'NONE', #1218, #610, #835, .T. ) ;
#1080 = VERTEX_POINT ( 'NONE', #1147 ) ;
#1081 = LINE ( 'NONE', #135, #194 ) ;
#1082 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, -4.000000000000000000, 15.50000000000000000 ) ) ;
#1083 = CIRCLE ( 'NONE', #1254, 1.000000000000000888 ) ;
#1084 = ORIENTED_EDGE ( 'NONE', *, *, #221, .T. ) ;
#1085 = ORIENTED_EDGE ( 'NONE', *, *, #798, .T. ) ;
#1086 = ORIENTED_EDGE ( 'NONE', *, *, #658, .T. ) ;
#1087 = ORIENTED_EDGE ( 'NONE', *, *, #1167, .T. ) ;
#1088 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1089 = CARTESIAN_POINT ( 'NONE',  ( 85.00000000000000000, 4.499999999999995559, -14.49999999999999822 ) ) ;
#1090 = FILL_AREA_STYLE ('',( #1705 ) ) ;
#1091 = LINE ( 'NONE', #1696, #356 ) ;
#1092 = FACE_OUTER_BOUND ( 'NONE', #330, .T. ) ;
#1093 = ORIENTED_EDGE ( 'NONE', *, *, #946, .T. ) ;
#1094 = PRODUCT_DEFINITION ( 'NEZNÁMÝ', '', #874, #452 ) ;
#1095 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, 3.999999999999996447, 15.50000000000000000 ) ) ;
#1096 = ORIENTED_EDGE ( 'NONE', *, *, #919, .F. ) ;
#1097 = ORIENTED_EDGE ( 'NONE', *, *, #1079, .F. ) ;
#1098 = LINE ( 'NONE', #2040, #1515 ) ;
#1099 = VECTOR ( 'NONE', #384, 1000.000000000000000 ) ;
#1100 = AXIS2_PLACEMENT_3D ( 'NONE', #706, #60, #1173 ) ;
#1101 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1102 = EDGE_CURVE ( 'NONE', #915, #293, #1483, .T. ) ;
#1103 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -4.000000000000000000, 12.50000000000000000 ) ) ;
#1104 = CARTESIAN_POINT ( 'NONE',  ( 39.00000000000000000, -6.000000000000000000, -1.499999999999999556 ) ) ;
#1105 = EDGE_CURVE ( 'NONE', #519, #1433, #1005, .T. ) ;
#1106 = ORIENTED_EDGE ( 'NONE', *, *, #944, .T. ) ;
#1107 = ORIENTED_EDGE ( 'NONE', *, *, #202, .T. ) ;
#1108 = ORIENTED_EDGE ( 'NONE', *, *, #1668, .T. ) ;
#1109 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, -4.000000000000000000, 15.50000000000000000 ) ) ;
#1110 = EDGE_CURVE ( 'NONE', #1425, #1470, #1783, .T. ) ;
#1111 = CARTESIAN_POINT ( 'NONE',  ( 85.00000000000000000, 7.999999999999994671, -14.49999999999999822 ) ) ;
#1112 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, 1.999999999999994893, 15.50000000000000000 ) ) ;
#1113 = LINE ( 'NONE', #1749, #1858 ) ;
#1114 = ORIENTED_EDGE ( 'NONE', *, *, #648, .F. ) ;
#1115 = VECTOR ( 'NONE', #548, 1000.000000000000227 ) ;
#1116 = VERTEX_POINT ( 'NONE', #686 ) ;
#1117 = ORIENTED_EDGE ( 'NONE', *, *, #1450, .T. ) ;
#1118 = CARTESIAN_POINT ( 'NONE',  ( 54.99999999999999289, 2.000000000000010214, 15.50000000000000000 ) ) ;
#1119 = FACE_OUTER_BOUND ( 'NONE', #1076, .T. ) ;
#1120 = EDGE_CURVE ( 'NONE', #1283, #449, #360, .T. ) ;
#1121 = ORIENTED_EDGE ( 'NONE', *, *, #772, .T. ) ;
#1122 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#1123 = LINE ( 'NONE', #817, #1564 ) ;
#1124 = ORIENTED_EDGE ( 'NONE', *, *, #539, .F. ) ;
#1125 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 15.50000000000000000 ) ) ;
#1126 = VERTEX_POINT ( 'NONE', #1917 ) ;
#1127 = ORIENTED_EDGE ( 'NONE', *, *, #224, .F. ) ;
#1128 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1129 = CARTESIAN_POINT ( 'NONE',  ( 7.000000000000000888, 7.999999999999994671, 4.022319213889218759 ) ) ;
#1130 = VECTOR ( 'NONE', #1904, 1000.000000000000000 ) ;
#1131 = EDGE_LOOP ( 'NONE', ( #525, #39, #906, #139, #1864, #989 ) ) ;
#1132 = VECTOR ( 'NONE', #1918, 1000.000000000000000 ) ;
#1133 = VECTOR ( 'NONE', #182, 1000.000000000000000 ) ;
#1134 = DIRECTION ( 'NONE',  ( 1.000000000000000000, -0.000000000000000000, -0.000000000000000000 ) ) ;
#1135 = DIRECTION ( 'NONE',  ( -0.5299989400031803743, -0.8479983040050877996, 0.000000000000000000 ) ) ;
#1136 = ORIENTED_EDGE ( 'NONE', *, *, #1014, .F. ) ;
#1137 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1138 = DIRECTION ( 'NONE',  ( -1.224646799147353207E-16, 1.000000000000000000, 0.000000000000000000 ) ) ;
#1139 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1140 = EDGE_CURVE ( 'NONE', #64, #19, #959, .T. ) ;
#1141 = EDGE_CURVE ( 'NONE', #1146, #623, #1623, .T. ) ;
#1142 = CARTESIAN_POINT ( 'NONE',  ( 68.00000000000000000, -9.000000000000001776, 2.500000000000000444 ) ) ;
#1143 = ORIENTED_EDGE ( 'NONE', *, *, #222, .F. ) ;
#1144 = CARTESIAN_POINT ( 'NONE',  ( 73.00000000000001421, 1.999999999999994893, -15.50000000000000000 ) ) ;
#1145 = EDGE_CURVE ( 'NONE', #1923, #1386, #1613, .T. ) ;
#1146 = VERTEX_POINT ( 'NONE', #1157 ) ;
#1147 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, 1.999999999999994893, -15.50000000000000000 ) ) ;
#1148 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1149 = ADVANCED_FACE ( 'NONE', ( #38 ), #973, .F. ) ;
#1150 = CARTESIAN_POINT ( 'NONE',  ( 49.99999999999999289, -9.000000000000001776, 1.500000000000000444 ) ) ;
#1151 = AXIS2_PLACEMENT_3D ( 'NONE', #1574, #299, #783 ) ;
#1152 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#1153 = ORIENTED_EDGE ( 'NONE', *, *, #281, .T. ) ;
#1154 = CARTESIAN_POINT ( 'NONE',  ( 39.00000000000000000, -6.000000000000000000, 1.500000000000000444 ) ) ;
#1155 = CARTESIAN_POINT ( 'NONE',  ( 7.000000000000007994, -12.00000000000000533, 15.50000000000000000 ) ) ;
#1156 = ORIENTED_EDGE ( 'NONE', *, *, #285, .T. ) ;
#1157 = CARTESIAN_POINT ( 'NONE',  ( 3.249999999999996003, 1.999999999999994893, 15.50000000000000000 ) ) ;
#1158 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, -4.000000000000000000, -4.022319213889218759 ) ) ;
#1159 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, 3.999999999999996447, -4.022319213889218759 ) ) ;
#1160 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1161 = ORIENTED_EDGE ( 'NONE', *, *, #565, .F. ) ;
#1162 = AXIS2_PLACEMENT_3D ( 'NONE', #1562, #435, #1719 ) ;
#1163 = DIRECTION ( 'NONE',  ( -0.5299989400031803743, -0.8479983040050877996, 0.000000000000000000 ) ) ;
#1164 = EDGE_CURVE ( 'NONE', #765, #924, #802, .T. ) ;
#1165 = VECTOR ( 'NONE', #884, 1000.000000000000000 ) ;
#1166 = ADVANCED_FACE ( 'NONE', ( #199 ), #526, .T. ) ;
#1167 = EDGE_CURVE ( 'NONE', #1876, #1535, #506, .T. ) ;
#1168 = ORIENTED_EDGE ( 'NONE', *, *, #479, .F. ) ;
#1169 = CIRCLE ( 'NONE', #1733, 1.000000000000000000 ) ;
#1170 = EDGE_CURVE ( 'NONE', #701, #1126, #809, .T. ) ;
#1171 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#1172 = VECTOR ( 'NONE', #1571, 1000.000000000000000 ) ;
#1173 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, -0.000000000000000000 ) ) ;
#1174 = LINE ( 'NONE', #537, #1115 ) ;
#1175 = ORIENTED_EDGE ( 'NONE', *, *, #1105, .F. ) ;
#1176 = LINE ( 'NONE', #1193, #1399 ) ;
#1177 = EDGE_CURVE ( 'NONE', #1762, #1433, #665, .T. ) ;
#1178 = CARTESIAN_POINT ( 'NONE',  ( 2.000000000000000000, 3.623131640489455446E-17, -15.50000000000000000 ) ) ;
#1179 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#1180 = PLANE ( 'NONE',  #806 ) ;
#1181 = FACE_OUTER_BOUND ( 'NONE', #1131, .T. ) ;
#1182 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#1183 = ORIENTED_EDGE ( 'NONE', *, *, #1685, .T. ) ;
#1184 = DIRECTION ( 'NONE',  ( 0.6585046078685181659, 0.7525766947068777135, 0.000000000000000000 ) ) ;
#1185 = VECTOR ( 'NONE', #608, 1000.000000000000000 ) ;
#1186 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1187 = EDGE_CURVE ( 'NONE', #26, #1246, #494, .T. ) ;
#1188 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#1189 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -6.000000000000000000, 2.500000000000000444 ) ) ;
#1190 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#1191 = FACE_OUTER_BOUND ( 'NONE', #1926, .T. ) ;
#1192 = ORIENTED_EDGE ( 'NONE', *, *, #1818, .T. ) ;
#1193 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -4.000000000000000000, 12.50000000000000000 ) ) ;
#1194 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -12.00000000000000533, 15.50000000000000000 ) ) ;
#1195 = LINE ( 'NONE', #875, #953 ) ;
#1196 = VECTOR ( 'NONE', #749, 1000.000000000000000 ) ;
#1197 = LINE ( 'NONE', #1189, #534 ) ;
#1198 = CARTESIAN_POINT ( 'NONE',  ( 40.00000000000000000, -6.000000000000000000, 2.500000000000000888 ) ) ;
#1199 = VECTOR ( 'NONE', #715, 1000.000000000000000 ) ;
#1200 = AXIS2_PLACEMENT_3D ( 'NONE', #1324, #75, #1808 ) ;
#1201 = VERTEX_POINT ( 'NONE', #1927 ) ;
#1202 = ORIENTED_EDGE ( 'NONE', *, *, #1177, .F. ) ;
#1203 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -12.00000000000000533, 12.50000000000000000 ) ) ;
#1204 = EDGE_CURVE ( 'NONE', #924, #269, #676, .T. ) ;
#1205 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, -4.000000000000000000, -15.50000000000000000 ) ) ;
#1206 = LINE ( 'NONE', #1837, #1847 ) ;
#1207 = EDGE_CURVE ( 'NONE', #1866, #1276, #872, .T. ) ;
#1208 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1209 = LINE ( 'NONE', #1986, #838 ) ;
#1210 = EDGE_CURVE ( 'NONE', #1045, #346, #1176, .T. ) ;
#1211 = ORIENTED_EDGE ( 'NONE', *, *, #1204, .T. ) ;
#1212 = VERTEX_POINT ( 'NONE', #121 ) ;
#1213 = VERTEX_POINT ( 'NONE', #719 ) ;
#1214 = CARTESIAN_POINT ( 'NONE',  ( 68.00000000000000000, -6.000000000000000000, -1.499999999999999556 ) ) ;
#1215 = LINE ( 'NONE', #2009, #967 ) ;
#1216 = AXIS2_PLACEMENT_3D ( 'NONE', #1374, #2001, #101 ) ;
#1217 = VECTOR ( 'NONE', #216, 1000.000000000000000 ) ;
#1218 = VERTEX_POINT ( 'NONE', #862 ) ;
#1219 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, -0.000000000000000000 ) ) ;
#1220 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1221 = VERTEX_POINT ( 'NONE', #404 ) ;
#1222 = VERTEX_POINT ( 'NONE', #244 ) ;
#1223 = ORIENTED_EDGE ( 'NONE', *, *, #229, .F. ) ;
#1224 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -12.00000000000000533, 15.50000000000000000 ) ) ;
#1225 = CARTESIAN_POINT ( 'NONE',  ( 85.00000000000000000, 7.999999999999994671, -15.50000000000000000 ) ) ;
#1226 = EDGE_CURVE ( 'NONE', #921, #1218, #897, .T. ) ;
#1227 = ADVANCED_FACE ( 'NONE', ( #253 ), #417, .T. ) ;
#1228 = ORIENTED_EDGE ( 'NONE', *, *, #1102, .T. ) ;
#1229 = LINE ( 'NONE', #1740, #1421 ) ;
#1230 = EDGE_CURVE ( 'NONE', #1700, #1771, #1844, .T. ) ;
#1231 = CARTESIAN_POINT ( 'NONE',  ( 69.00000000000000000, -9.000000000000001776, -2.500000000000000000 ) ) ;
#1232 = VECTOR ( 'NONE', #1464, 1000.000000000000000 ) ;
#1233 = VECTOR ( 'NONE', #622, 1000.000000000000000 ) ;
#1234 = ORIENTED_EDGE ( 'NONE', *, *, #1517, .F. ) ;
#1235 = EDGE_LOOP ( 'NONE', ( #1422, #192, #342, #2029 ) ) ;
#1236 = VERTEX_POINT ( 'NONE', #1504 ) ;
#1237 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -1.000000000000000000, -0.000000000000000000 ) ) ;
#1238 = VECTOR ( 'NONE', #1101, 1000.000000000000000 ) ;
#1239 = EDGE_CURVE ( 'NONE', #1720, #176, #1678, .T. ) ;
#1240 = LINE ( 'NONE', #760, #606 ) ;
#1241 =( NAMED_UNIT ( * ) PLANE_ANGLE_UNIT ( ) SI_UNIT ( $, .RADIAN. ) );
#1242 = ORIENTED_EDGE ( 'NONE', *, *, #1630, .T. ) ;
#1243 = CARTESIAN_POINT ( 'NONE',  ( 3.249999999999996003, 1.999999999999994893, -15.50000000000000000 ) ) ;
#1244 = FACE_OUTER_BOUND ( 'NONE', #1640, .T. ) ;
#1245 = ORIENTED_EDGE ( 'NONE', *, *, #593, .T. ) ;
#1246 = VERTEX_POINT ( 'NONE', #561 ) ;
#1247 = ORIENTED_EDGE ( 'NONE', *, *, #1187, .F. ) ;
#1248 = DIRECTION ( 'NONE',  ( -0.6585046078685181659, -0.7525766947068777135, 0.000000000000000000 ) ) ;
#1249 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1250 = EDGE_CURVE ( 'NONE', #1246, #1213, #427, .T. ) ;
#1251 = VECTOR ( 'NONE', #439, 1000.000000000000000 ) ;
#1252 = CARTESIAN_POINT ( 'NONE',  ( 48.99999999999999289, -9.000000000000001776, -1.499999999999999556 ) ) ;
#1253 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -15.50000000000000000 ) ) ;
#1254 = AXIS2_PLACEMENT_3D ( 'NONE', #1305, #980, #524 ) ;
#1255 = ORIENTED_EDGE ( 'NONE', *, *, #73, .T. ) ;
#1256 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, -4.000000000000000000, 15.50000000000000000 ) ) ;
#1257 = ORIENTED_EDGE ( 'NONE', *, *, #1873, .T. ) ;
#1258 = VERTEX_POINT ( 'NONE', #263 ) ;
#1259 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#1260 = CARTESIAN_POINT ( 'NONE',  ( 77.00000000000000000, -4.000000000000000000, 1.500000000000001332 ) ) ;
#1261 = EDGE_CURVE ( 'NONE', #1929, #1645, #1362, .T. ) ;
#1262 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 1.927470528863118802E-16, 0.000000000000000000 ) ) ;
#1263 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#1264 = ORIENTED_EDGE ( 'NONE', *, *, #735, .F. ) ;
#1265 = ORIENTED_EDGE ( 'NONE', *, *, #1450, .F. ) ;
#1266 = ORIENTED_EDGE ( 'NONE', *, *, #1884, .T. ) ;
#1267 = CARTESIAN_POINT ( 'NONE',  ( 85.00000000000000000, 4.499999999999995559, 14.49999999999999822 ) ) ;
#1268 = VECTOR ( 'NONE', #310, 1000.000000000000000 ) ;
#1269 = VECTOR ( 'NONE', #687, 1000.000000000000000 ) ;
#1270 = CARTESIAN_POINT ( 'NONE',  ( 7.000000000000000888, 7.999999999999994671, 15.50000000000000000 ) ) ;
#1271 = VECTOR ( 'NONE', #646, 1000.000000000000000 ) ;
#1272 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1273 = LINE ( 'NONE', #1773, #1130 ) ;
#1274 = ORIENTED_EDGE ( 'NONE', *, *, #444, .T. ) ;
#1275 = VERTEX_POINT ( 'NONE', #1020 ) ;
#1276 = VERTEX_POINT ( 'NONE', #1671 ) ;
#1277 = EDGE_CURVE ( 'NONE', #1236, #359, #1823, .T. ) ;
#1278 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1279 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -4.000000000000000000, 15.50000000000000000 ) ) ;
#1280 = ORIENTED_EDGE ( 'NONE', *, *, #434, .F. ) ;
#1281 = FACE_OUTER_BOUND ( 'NONE', #1522, .T. ) ;
#1282 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -12.00000000000000533, 15.50000000000000000 ) ) ;
#1283 = VERTEX_POINT ( 'NONE', #397 ) ;
#1284 = CYLINDRICAL_SURFACE ( 'NONE', #1694, 1.000000000000000000 ) ;
#1285 = VECTOR ( 'NONE', #1184, 1000.000000000000114 ) ;
#1286 = EDGE_LOOP ( 'NONE', ( #656, #383, #108, #55, #1560, #1070, #1541, #2000 ) ) ;
#1287 = ORIENTED_EDGE ( 'NONE', *, *, #1230, .T. ) ;
#1288 = CYLINDRICAL_SURFACE ( 'NONE', #1747, 1.000000000000000000 ) ;
#1289 = CARTESIAN_POINT ( 'NONE',  ( 76.00000000000000000, -4.000000000000000000, 2.500000000000000444 ) ) ;
#1290 = ORIENTED_EDGE ( 'NONE', *, *, #1531, .T. ) ;
#1291 = LINE ( 'NONE', #1112, #1051 ) ;
#1292 = PLANE ( 'NONE',  #402 ) ;
#1293 = EDGE_LOOP ( 'NONE', ( #674, #1841, #1852, #492, #100, #1390 ) ) ;
#1294 = EDGE_CURVE ( 'NONE', #176, #530, #739, .T. ) ;
#1295 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -4.000000000000000000, 15.50000000000000000 ) ) ;
#1296 = FACE_OUTER_BOUND ( 'NONE', #878, .T. ) ;
#1297 = ORIENTED_EDGE ( 'NONE', *, *, #1791, .F. ) ;
#1298 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, -4.000000000000000000, 15.50000000000000000 ) ) ;
#1299 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1300 = VECTOR ( 'NONE', #784, 1000.000000000000000 ) ;
#1301 = ORIENTED_EDGE ( 'NONE', *, *, #430, .T. ) ;
#1302 = EDGE_CURVE ( 'NONE', #1424, #1201, #542, .T. ) ;
#1303 = AXIS2_PLACEMENT_3D ( 'NONE', #1596, #1614, #810 ) ;
#1304 = VECTOR ( 'NONE', #1467, 1000.000000000000000 ) ;
#1305 = CARTESIAN_POINT ( 'NONE',  ( 84.00000000000000000, 4.499999999999995559, 14.49999999999999822 ) ) ;
#1306 = ORIENTED_EDGE ( 'NONE', *, *, #79, .F. ) ;
#1307 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1308 = FACE_OUTER_BOUND ( 'NONE', #188, .T. ) ;
#1309 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -6.000000000000000000, -2.500000000000002220 ) ) ;
#1310 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1311 = ORIENTED_EDGE ( 'NONE', *, *, #1049, .F. ) ;
#1312 = CARTESIAN_POINT ( 'NONE',  ( 15.97487531669644234, 1.999999999999994893, 0.000000000000000000 ) ) ;
#1313 = CARTESIAN_POINT ( 'NONE',  ( 49.99999999999999289, -9.000000000000001776, -1.499999999999999556 ) ) ;
#1314 = ORIENTED_EDGE ( 'NONE', *, *, #493, .F. ) ;
#1315 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#1316 = LINE ( 'NONE', #1948, #1768 ) ;
#1317 = LINE ( 'NONE', #831, #1021 ) ;
#1318 = VECTOR ( 'NONE', #1643, 1000.000000000000000 ) ;
#1319 = ADVANCED_FACE ( 'NONE', ( #1807 ), #1989, .F. ) ;
#1320 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -0.000000000000000000, 1.000000000000000000 ) ) ;
#1321 = ADVANCED_FACE ( 'NONE', ( #710 ), #1537, .F. ) ;
#1322 = ADVANCED_FACE ( 'NONE', ( #579 ), #388, .T. ) ;
#1323 = ORIENTED_EDGE ( 'NONE', *, *, #30, .F. ) ;
#1324 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -6.000000000000000000, 2.500000000000000444 ) ) ;
#1325 = EDGE_CURVE ( 'NONE', #1276, #1213, #550, .T. ) ;
#1326 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1327 = ORIENTED_EDGE ( 'NONE', *, *, #990, .T. ) ;
#1328 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1329 = CYLINDRICAL_SURFACE ( 'NONE', #1497, 1.000000000000000888 ) ;
#1330 = ADVANCED_FACE ( 'NONE', ( #1898 ), #908, .F. ) ;
#1331 = LINE ( 'NONE', #1957, #1652 ) ;
#1332 = ORIENTED_EDGE ( 'NONE', *, *, #195, .F. ) ;
#1333 = PLANE ( 'NONE',  #1405 ) ;
#1334 = EDGE_LOOP ( 'NONE', ( #43, #1314, #1512, #124 ) ) ;
#1335 = VECTOR ( 'NONE', #1982, 1000.000000000000000 ) ;
#1336 = FACE_OUTER_BOUND ( 'NONE', #1511, .T. ) ;
#1337 = LINE ( 'NONE', #730, #937 ) ;
#1338 = AXIS2_PLACEMENT_3D ( 'NONE', #1142, #488, #1921 ) ;
#1339 = CARTESIAN_POINT ( 'NONE',  ( -5.581740511160516505, 1.999999999999994893, 4.022319213889218759 ) ) ;
#1340 = VECTOR ( 'NONE', #1657, 1000.000000000000000 ) ;
#1341 = LINE ( 'NONE', #996, #377 ) ;
#1342 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#1343 = EDGE_CURVE ( 'NONE', #1843, #1446, #917, .T. ) ;
#1344 = ORIENTED_EDGE ( 'NONE', *, *, #1423, .T. ) ;
#1345 = CARTESIAN_POINT ( 'NONE',  ( 7.000000000000000888, 7.999999999999994671, -15.50000000000000000 ) ) ;
#1346 = PLANE ( 'NONE',  #742 ) ;
#1347 = LINE ( 'NONE', #891, #1965 ) ;
#1348 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#1349 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -1.126443815569355647E-16, 0.000000000000000000 ) ) ;
#1350 = ORIENTED_EDGE ( 'NONE', *, *, #799, .T. ) ;
#1351 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -12.00000000000000533, 15.50000000000000000 ) ) ;
#1352 = VECTOR ( 'NONE', #1703, 1000.000000000000000 ) ;
#1353 = VECTOR ( 'NONE', #846, 1000.000000000000000 ) ;
#1354 = LINE ( 'NONE', #1178, #1995 ) ;
#1355 = CARTESIAN_POINT ( 'NONE',  ( 76.00000000000000000, -9.000000000000001776, 2.500000000000000444 ) ) ;
#1356 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1357 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#1358 = EDGE_CURVE ( 'NONE', #916, #499, #286, .T. ) ;
#1359 = EDGE_CURVE ( 'NONE', #1722, #907, #1867, .T. ) ;
#1360 = ORIENTED_EDGE ( 'NONE', *, *, #1812, .T. ) ;
#1361 = ORIENTED_EDGE ( 'NONE', *, *, #1949, .F. ) ;
#1362 = LINE ( 'NONE', #1380, #929 ) ;
#1363 = ADVANCED_FACE ( 'NONE', ( #1580 ), #1590, .T. ) ;
#1364 = CARTESIAN_POINT ( 'NONE',  ( 85.00000000000000000, 7.999999999999994671, 15.50000000000000000 ) ) ;
#1365 = CARTESIAN_POINT ( 'NONE',  ( 84.00000000000000000, 7.999999999999994671, -15.50000000000000000 ) ) ;
#1366 = VECTOR ( 'NONE', #1135, 1000.000000000000000 ) ;
#1367 = EDGE_CURVE ( 'NONE', #1424, #1126, #1098, .T. ) ;
#1368 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, 3.999999999999996447, 4.022319213889218759 ) ) ;
#1369 = CARTESIAN_POINT ( 'NONE',  ( 77.00000000000000000, -4.000000000000000000, 15.50000000000000000 ) ) ;
#1370 = AXIS2_PLACEMENT_3D ( 'NONE', #1500, #1938, #841 ) ;
#1371 = VECTOR ( 'NONE', #1249, 1000.000000000000000 ) ;
#1372 = ORIENTED_EDGE ( 'NONE', *, *, #658, .F. ) ;
#1373 = ORIENTED_EDGE ( 'NONE', *, *, #1818, .F. ) ;
#1374 = CARTESIAN_POINT ( 'NONE',  ( 7.000000000000007994, -12.00000000000000533, 15.50000000000000000 ) ) ;
#1375 = CARTESIAN_POINT ( 'NONE',  ( 69.00000000000000000, -9.000000000000001776, -1.500000000000000000 ) ) ;
#1376 = ORIENTED_EDGE ( 'NONE', *, *, #1207, .F. ) ;
#1377 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1378 = ORIENTED_EDGE ( 'NONE', *, *, #1110, .T. ) ;
#1379 = ORIENTED_EDGE ( 'NONE', *, *, #1873, .F. ) ;
#1380 = CARTESIAN_POINT ( 'NONE',  ( -5.581740511160516505, 7.999999999999994671, 4.022319213889218759 ) ) ;
#1381 = ADVANCED_FACE ( 'NONE', ( #635 ), #451, .F. ) ;
#1382 = EDGE_CURVE ( 'NONE', #924, #1546, #928, .T. ) ;
#1383 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, 1.999999999999994893, -4.022319213889218759 ) ) ;
#1384 = EDGE_CURVE ( 'NONE', #1802, #64, #759, .T. ) ;
#1385 = AXIS2_PLACEMENT_3D ( 'NONE', #1691, #1056, #109 ) ;
#1386 = VERTEX_POINT ( 'NONE', #952 ) ;
#1387 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -1.000000000000000000, -0.000000000000000000 ) ) ;
#1388 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 1.126443815569355647E-16, 0.000000000000000000 ) ) ;
#1389 = ORIENTED_EDGE ( 'NONE', *, *, #79, .T. ) ;
#1390 = ORIENTED_EDGE ( 'NONE', *, *, #224, .T. ) ;
#1391 = ORIENTED_EDGE ( 'NONE', *, *, #1829, .T. ) ;
#1392 = ADVANCED_FACE ( 'NONE', ( #1724 ), #324, .F. ) ;
#1393 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#1394 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1395 = ORIENTED_EDGE ( 'NONE', *, *, #1902, .F. ) ;
#1396 = CARTESIAN_POINT ( 'NONE',  ( 2.000000000000000000, 3.623131640489455446E-17, -15.50000000000000000 ) ) ;
#1397 = CARTESIAN_POINT ( 'NONE',  ( 73.00000000000001421, 1.999999999999994893, 15.50000000000000000 ) ) ;
#1398 = VERTEX_POINT ( 'NONE', #766 ) ;
#1399 = VECTOR ( 'NONE', #1835, 1000.000000000000000 ) ;
#1400 = CIRCLE ( 'NONE', #505, 1.000000000000000000 ) ;
#1401 = VERTEX_POINT ( 'NONE', #797 ) ;
#1402 = ORIENTED_EDGE ( 'NONE', *, *, #1554, .T. ) ;
#1403 = VERTEX_POINT ( 'NONE', #1713 ) ;
#1404 = LINE ( 'NONE', #625, #392 ) ;
#1405 = AXIS2_PLACEMENT_3D ( 'NONE', #529, #1152, #1320 ) ;
#1406 = EDGE_CURVE ( 'NONE', #974, #243, #1404, .T. ) ;
#1407 = CARTESIAN_POINT ( 'NONE',  ( 69.00000000000000000, -6.000000000000000000, -1.500000000000000000 ) ) ;
#1408 = ORIENTED_EDGE ( 'NONE', *, *, #1294, .F. ) ;
#1409 = FACE_OUTER_BOUND ( 'NONE', #979, .T. ) ;
#1410 = LINE ( 'NONE', #630, #1032 ) ;
#1411 = ORIENTED_EDGE ( 'NONE', *, *, #1972, .F. ) ;
#1412 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -4.000000000000000000, 15.50000000000000000 ) ) ;
#1413 = ORIENTED_EDGE ( 'NONE', *, *, #407, .F. ) ;
#1414 = VERTEX_POINT ( 'NONE', #1267 ) ;
#1415 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -4.000000000000000000, 2.500000000000000444 ) ) ;
#1416 = DIRECTION ( 'NONE',  ( 0.8479983040050877996, -0.5299989400031803743, 0.000000000000000000 ) ) ;
#1417 = APPLICATION_PROTOCOL_DEFINITION ( 'draft international standard', 'automotive_design', 1998, #857 ) ;
#1418 = AXIS2_PLACEMENT_3D ( 'NONE', #1805, #386, #860 ) ;
#1419 = FACE_OUTER_BOUND ( 'NONE', #647, .T. ) ;
#1420 = PLANE ( 'NONE',  #1162 ) ;
#1421 = VECTOR ( 'NONE', #792, 1000.000000000000000 ) ;
#1422 = ORIENTED_EDGE ( 'NONE', *, *, #696, .T. ) ;
#1423 = EDGE_CURVE ( 'NONE', #1212, #1689, #1077, .T. ) ;
#1424 = VERTEX_POINT ( 'NONE', #940 ) ;
#1425 = VERTEX_POINT ( 'NONE', #779 ) ;
#1426 = LINE ( 'NONE', #1298, #34 ) ;
#1427 = CARTESIAN_POINT ( 'NONE',  ( 85.00000000000000000, 7.999999999999994671, 15.50000000000000000 ) ) ;
#1428 = FACE_OUTER_BOUND ( 'NONE', #744, .T. ) ;
#1429 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, -0.000000000000000000 ) ) ;
#1430 = ADVANCED_FACE ( 'NONE', ( #305 ), #2030, .F. ) ;
#1431 = ORIENTED_EDGE ( 'NONE', *, *, #1610, .F. ) ;
#1432 = EDGE_CURVE ( 'NONE', #1201, #1403, #614, .T. ) ;
#1433 = VERTEX_POINT ( 'NONE', #1415 ) ;
#1434 = ORIENTED_EDGE ( 'NONE', *, *, #1880, .F. ) ;
#1435 = AXIS2_PLACEMENT_3D ( 'NONE', #819, #1595, #1137 ) ;
#1436 = CARTESIAN_POINT ( 'NONE',  ( 39.00000000000000000, -9.000000000000001776, 1.500000000000000444 ) ) ;
#1437 = STYLED_ITEM ( 'NONE', ( #864 ), #246 ) ;
#1438 = AXIS2_PLACEMENT_3D ( 'NONE', #1407, #463, #1057 ) ;
#1439 = FACE_OUTER_BOUND ( 'NONE', #119, .T. ) ;
#1440 = VECTOR ( 'NONE', #1163, 1000.000000000000000 ) ;
#1441 = CARTESIAN_POINT ( 'NONE',  ( 54.99999999999999289, 2.000000000000010214, -15.50000000000000000 ) ) ;
#1442 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1443 = VERTEX_POINT ( 'NONE', #162 ) ;
#1444 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, 5.204170427930421283E-15, -15.50000000000000000 ) ) ;
#1445 = CARTESIAN_POINT ( 'NONE',  ( 84.00000000000000000, 7.999999999999994671, 15.50000000000000000 ) ) ;
#1446 = VERTEX_POINT ( 'NONE', #789 ) ;
#1447 = PLANE ( 'NONE',  #1913 ) ;
#1448 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, 1.999999999999994893, -15.50000000000000000 ) ) ;
#1449 = ORIENTED_EDGE ( 'NONE', *, *, #2021, .T. ) ;
#1450 = EDGE_CURVE ( 'NONE', #346, #916, #1426, .T. ) ;
#1451 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1452 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -4.000000000000000000, 15.50000000000000000 ) ) ;
#1453 = ORIENTED_EDGE ( 'NONE', *, *, #1902, .T. ) ;
#1454 = AXIS2_PLACEMENT_3D ( 'NONE', #657, #1128, #1939 ) ;
#1455 = CARTESIAN_POINT ( 'NONE',  ( 49.99999999999999289, -9.000000000000001776, 1.500000000000000444 ) ) ;
#1456 = ORIENTED_EDGE ( 'NONE', *, *, #16, .T. ) ;
#1457 = ORIENTED_EDGE ( 'NONE', *, *, #513, .T. ) ;
#1458 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1459 = ADVANCED_FACE ( 'NONE', ( #823 ), #997, .F. ) ;
#1460 = LINE ( 'NONE', #1746, #1271 ) ;
#1461 = ORIENTED_EDGE ( 'NONE', *, *, #1261, .F. ) ;
#1462 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, -4.000000000000000000, -12.50000000000000000 ) ) ;
#1463 = ORIENTED_EDGE ( 'NONE', *, *, #1432, .T. ) ;
#1464 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#1465 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -12.00000000000000355, 12.50000000000000000 ) ) ;
#1466 = PLANE ( 'NONE',  #588 ) ;
#1467 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#1468 = VECTOR ( 'NONE', #1307, 1000.000000000000000 ) ;
#1469 = ADVANCED_FACE ( 'NONE', ( #41 ), #962, .F. ) ;
#1470 = VERTEX_POINT ( 'NONE', #1909 ) ;
#1471 = VECTOR ( 'NONE', #1778, 1000.000000000000000 ) ;
#1472 = DIRECTION ( 'NONE',  ( 1.224646799147353207E-16, -1.000000000000000000, 0.000000000000000000 ) ) ;
#1473 = EDGE_LOOP ( 'NONE', ( #1865, #1211, #1121, #1629, #424, #1402 ) ) ;
#1474 = CARTESIAN_POINT ( 'NONE',  ( 68.00000000000000000, -4.000000000000000000, 2.500000000000000444 ) ) ;
#1475 = CARTESIAN_POINT ( 'NONE',  ( 4.898587196589412829E-16, -4.000000000000000000, 15.50000000000000000 ) ) ;
#1476 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, -6.000000000000000000, -2.500000000000002220 ) ) ;
#1477 = ADVANCED_FACE ( 'NONE', ( #211 ), #1288, .T. ) ;
#1478 = CARTESIAN_POINT ( 'NONE',  ( 73.00000000000001421, 7.999999999999994671, 15.50000000000000000 ) ) ;
#1479 = ORIENTED_EDGE ( 'NONE', *, *, #1612, .F. ) ;
#1480 = LINE ( 'NONE', #1817, #641 ) ;
#1481 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1482 = ORIENTED_EDGE ( 'NONE', *, *, #1167, .F. ) ;
#1483 = LINE ( 'NONE', #1763, #111 ) ;
#1484 = CARTESIAN_POINT ( 'NONE',  ( 84.00000000000000000, 4.499999999999995559, -14.49999999999999822 ) ) ;
#1485 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#1486 = VECTOR ( 'NONE', #497, 1000.000000000000000 ) ;
#1487 = LINE ( 'NONE', #1796, #770 ) ;
#1488 = ORIENTED_EDGE ( 'NONE', *, *, #132, .T. ) ;
#1489 = CARTESIAN_POINT ( 'NONE',  ( 39.00000000000000000, -9.000000000000001776, 1.500000000000000444 ) ) ;
#1490 = EDGE_CURVE ( 'NONE', #1236, #180, #61, .T. ) ;
#1491 = PLANE ( 'NONE',  #210 ) ;
#1492 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, -6.000000000000000000, 2.500000000000000444 ) ) ;
#1493 = CARTESIAN_POINT ( 'NONE',  ( -5.581740511160516505, 1.999999999999994893, 4.022319213889218759 ) ) ;
#1494 = ORIENTED_EDGE ( 'NONE', *, *, #1384, .F. ) ;
#1495 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1496 = VECTOR ( 'NONE', #1585, 1000.000000000000000 ) ;
#1497 = AXIS2_PLACEMENT_3D ( 'NONE', #1484, #1190, #1658 ) ;
#1498 = VECTOR ( 'NONE', #890, 1000.000000000000000 ) ;
#1499 = CARTESIAN_POINT ( 'NONE',  ( 54.99999999999999289, -4.000000000000000000, 15.50000000000000000 ) ) ;
#1500 = CARTESIAN_POINT ( 'NONE',  ( 15.97487531669644234, 3.999999999999995559, 0.000000000000000000 ) ) ;
#1501 = CARTESIAN_POINT ( 'NONE',  ( 50.69999999999999574, 6.071532165918824830E-15, -15.50000000000000000 ) ) ;
#1502 =( GEOMETRIC_REPRESENTATION_CONTEXT ( 3 ) GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ( ( #2018 ) ) GLOBAL_UNIT_ASSIGNED_CONTEXT ( ( #1728, #1241, #1540 ) ) REPRESENTATION_CONTEXT ( 'NONE', 'WORKASPACE' ) );
#1503 = VERTEX_POINT ( 'NONE', #1159 ) ;
#1504 = CARTESIAN_POINT ( 'NONE',  ( 68.00000000000000000, -6.000000000000000000, -1.499999999999999556 ) ) ;
#1505 = LINE ( 'NONE', #1194, #1962 ) ;
#1506 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#1507 = EDGE_CURVE ( 'NONE', #682, #1912, #201, .T. ) ;
#1508 = ADVANCED_FACE ( 'NONE', ( #376 ), #1920, .T. ) ;
#1509 = CARTESIAN_POINT ( 'NONE',  ( 20.00000000000000000, 7.999999999999994671, 15.50000000000000000 ) ) ;
#1510 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1511 = EDGE_LOOP ( 'NONE', ( #1677, #1842, #1723, #1776, #1779, #1106, #1453, #1127, #910, #458 ) ) ;
#1512 = ORIENTED_EDGE ( 'NONE', *, *, #219, .F. ) ;
#1513 = EDGE_CURVE ( 'NONE', #261, #186, #688, .T. ) ;
#1514 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1515 = VECTOR ( 'NONE', #1088, 1000.000000000000000 ) ;
#1516 = AXIS2_PLACEMENT_3D ( 'NONE', #942, #1219, #165 ) ;
#1517 = EDGE_CURVE ( 'NONE', #371, #1912, #977, .T. ) ;
#1518 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1519 = CARTESIAN_POINT ( 'NONE',  ( 54.99999999999999289, -4.000000000000000000, 15.50000000000000000 ) ) ;
#1520 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1521 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1522 = EDGE_LOOP ( 'NONE', ( #826, #1378, #619, #828, #1735, #1114 ) ) ;
#1523 = ORIENTED_EDGE ( 'NONE', *, *, #1423, .F. ) ;
#1524 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1525 = FACE_OUTER_BOUND ( 'NONE', #644, .T. ) ;
#1526 = AXIS2_PLACEMENT_3D ( 'NONE', #1253, #166, #1429 ) ;
#1527 = EDGE_LOOP ( 'NONE', ( #631, #591, #1242, #1265 ) ) ;
#1528 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#1529 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1530 = AXIS2_PLACEMENT_3D ( 'NONE', #1642, #220, #105 ) ;
#1531 = EDGE_CURVE ( 'NONE', #1045, #748, #1317, .T. ) ;
#1532 = AXIS2_PLACEMENT_3D ( 'NONE', #1375, #102, #573 ) ;
#1533 = EDGE_CURVE ( 'NONE', #821, #1275, #1616, .T. ) ;
#1534 = ORIENTED_EDGE ( 'NONE', *, *, #1603, .F. ) ;
#1535 = VERTEX_POINT ( 'NONE', #1150 ) ;
#1536 = ADVANCED_FACE ( 'NONE', ( #1786 ), #1447, .F. ) ;
#1537 = PLANE ( 'NONE',  #1216 ) ;
#1538 = ADVANCED_FACE ( 'NONE', ( #190 ), #517, .F. ) ;
#1539 = LINE ( 'NONE', #1868, #1498 ) ;
#1540 =( NAMED_UNIT ( * ) SI_UNIT ( $, .STERADIAN. ) SOLID_ANGLE_UNIT ( ) );
#1541 = ORIENTED_EDGE ( 'NONE', *, *, #885, .T. ) ;
#1542 = LINE ( 'NONE', #1552, #786 ) ;
#1543 = ADVANCED_FACE ( 'NONE', ( #31 ), #1466, .F. ) ;
#1544 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1545 = ORIENTED_EDGE ( 'NONE', *, *, #1693, .F. ) ;
#1546 = VERTEX_POINT ( 'NONE', #1008 ) ;
#1547 = ORIENTED_EDGE ( 'NONE', *, *, #822, .F. ) ;
#1548 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -4.000000000000000000, 15.50000000000000000 ) ) ;
#1549 = LINE ( 'NONE', #1992, #899 ) ;
#1550 = VECTOR ( 'NONE', #343, 1000.000000000000000 ) ;
#1551 = ORIENTED_EDGE ( 'NONE', *, *, #1910, .T. ) ;
#1552 = CARTESIAN_POINT ( 'NONE',  ( 85.00000000000000000, 4.499999999999995559, 14.49999999999999822 ) ) ;
#1553 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1554 = EDGE_CURVE ( 'NONE', #186, #765, #842, .T. ) ;
#1555 = VERTEX_POINT ( 'NONE', #1436 ) ;
#1556 = ORIENTED_EDGE ( 'NONE', *, *, #800, .T. ) ;
#1557 = ORIENTED_EDGE ( 'NONE', *, *, #1726, .T. ) ;
#1558 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -0.000000000000000000, 1.000000000000000000 ) ) ;
#1559 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1560 = ORIENTED_EDGE ( 'NONE', *, *, #204, .T. ) ;
#1561 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1562 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -4.000000000000000000, -12.50000000000000355 ) ) ;
#1563 = ORIENTED_EDGE ( 'NONE', *, *, #738, .F. ) ;
#1564 = VECTOR ( 'NONE', #329, 1000.000000000000000 ) ;
#1565 = CIRCLE ( 'NONE', #1370, 4.025124683303557660 ) ;
#1566 = LINE ( 'NONE', #1095, #1132 ) ;
#1567 = ORIENTED_EDGE ( 'NONE', *, *, #367, .T. ) ;
#1568 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1569 = VECTOR ( 'NONE', #1857, 1000.000000000000000 ) ;
#1570 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE( 1.000000000000000082E-05 ), #694, 'distance_accuracy_value', 'NONE');
#1571 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1572 = VECTOR ( 'NONE', #1326, 1000.000000000000000 ) ;
#1573 = EDGE_CURVE ( 'NONE', #1258, #701, #333, .T. ) ;
#1574 = CARTESIAN_POINT ( 'NONE',  ( 76.00000000000000000, -9.000000000000001776, -1.500000000000001332 ) ) ;
#1575 = CARTESIAN_POINT ( 'NONE',  ( 4.898587196589412829E-16, -4.000000000000000000, 15.50000000000000000 ) ) ;
#1576 = ORIENTED_EDGE ( 'NONE', *, *, #557, .F. ) ;
#1577 = EDGE_CURVE ( 'NONE', #381, #1690, #1174, .T. ) ;
#1578 = EDGE_LOOP ( 'NONE', ( #1175, #1028, #1606, #484, #316 ) ) ;
#1579 = ORIENTED_EDGE ( 'NONE', *, *, #999, .T. ) ;
#1580 = FACE_OUTER_BOUND ( 'NONE', #1286, .T. ) ;
#1581 = LINE ( 'NONE', #163, #247 ) ;
#1582 = ADVANCED_FACE ( 'NONE', ( #233 ), #1659, .F. ) ;
#1583 = AXIS2_PLACEMENT_3D ( 'NONE', #985, #1599, #668 ) ;
#1584 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, -4.000000000000000000, 12.50000000000000000 ) ) ;
#1585 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1586 = AXIS2_PLACEMENT_3D ( 'NONE', #816, #1451, #574 ) ;
#1587 = ORIENTED_EDGE ( 'NONE', *, *, #2021, .F. ) ;
#1588 = EDGE_LOOP ( 'NONE', ( #322, #794, #1942, #1744 ) ) ;
#1589 = VERTEX_POINT ( 'NONE', #1979 ) ;
#1590 = PLANE ( 'NONE',  #948 ) ;
#1591 = LINE ( 'NONE', #354, #1172 ) ;
#1592 = LINE ( 'NONE', #1144, #423 ) ;
#1593 = PLANE ( 'NONE',  #1003 ) ;
#1594 = ORIENTED_EDGE ( 'NONE', *, *, #493, .T. ) ;
#1595 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#1596 = CARTESIAN_POINT ( 'NONE',  ( 84.00000000000000000, 4.499999999999995559, -14.49999999999999822 ) ) ;
#1597 = ORIENTED_EDGE ( 'NONE', *, *, #1302, .F. ) ;
#1598 = VECTOR ( 'NONE', #1661, 1000.000000000000000 ) ;
#1599 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#1600 = EDGE_CURVE ( 'NONE', #914, #623, #1018, .T. ) ;
#1601 = VECTOR ( 'NONE', #1026, 1000.000000000000000 ) ;
#1602 = EDGE_CURVE ( 'NONE', #861, #1999, #80, .T. ) ;
#1603 = EDGE_CURVE ( 'NONE', #355, #1876, #487, .T. ) ;
#1604 = AXIS2_PLACEMENT_3D ( 'NONE', #1757, #154, #334 ) ;
#1605 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -4.000000000000000000, 12.50000000000000000 ) ) ;
#1606 = ORIENTED_EDGE ( 'NONE', *, *, #175, .F. ) ;
#1607 = CIRCLE ( 'NONE', #1699, 1.000000000000000888 ) ;
#1608 = CARTESIAN_POINT ( 'NONE',  ( 77.00000000000000000, -4.000000000000000000, -15.50000000000000000 ) ) ;
#1609 = FACE_OUTER_BOUND ( 'NONE', #778, .T. ) ;
#1610 = EDGE_CURVE ( 'NONE', #610, #359, #1331, .T. ) ;
#1611 = EDGE_LOOP ( 'NONE', ( #1255, #1290, #807, #1379 ) ) ;
#1612 = EDGE_CURVE ( 'NONE', #1961, #756, #395, .T. ) ;
#1613 = LINE ( 'NONE', #340, #307 ) ;
#1614 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -1.000000000000000000, -0.000000000000000000 ) ) ;
#1615 = ORIENTED_EDGE ( 'NONE', *, *, #1685, .F. ) ;
#1616 = LINE ( 'NONE', #1309, #1486 ) ;
#1617 = CARTESIAN_POINT ( 'NONE',  ( 68.00000000000000000, -9.000000000000001776, 2.500000000000000444 ) ) ;
#1618 = ORIENTED_EDGE ( 'NONE', *, *, #999, .F. ) ;
#1619 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1620 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#1621 = VERTEX_POINT ( 'NONE', #1027 ) ;
#1622 = AXIS2_PLACEMENT_3D ( 'NONE', #1252, #753, #1870 ) ;
#1623 = LINE ( 'NONE', #373, #673 ) ;
#1624 = LINE ( 'NONE', #1158, #1199 ) ;
#1625 = CARTESIAN_POINT ( 'NONE',  ( 50.69999999999999574, 2.000000000000009326, 15.50000000000000000 ) ) ;
#1626 = LINE ( 'NONE', #1478, #572 ) ;
#1627 = ORIENTED_EDGE ( 'NONE', *, *, #670, .T. ) ;
#1628 = LINE ( 'NONE', #1462, #1784 ) ;
#1629 = ORIENTED_EDGE ( 'NONE', *, *, #195, .T. ) ;
#1630 = EDGE_CURVE ( 'NONE', #1276, #916, #869, .T. ) ;
#1631 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#1632 = CARTESIAN_POINT ( 'NONE',  ( 50.69999999999999574, 2.000000000000009326, 15.50000000000000000 ) ) ;
#1633 = CARTESIAN_POINT ( 'NONE',  ( 73.00000000000001421, 7.999999999999994671, 15.50000000000000000 ) ) ;
#1634 = CARTESIAN_POINT ( 'NONE',  ( 54.99999999999999289, 2.000000000000010214, 15.50000000000000000 ) ) ;
#1635 = AXIS2_PLACEMENT_3D ( 'NONE', #829, #1775, #1955 ) ;
#1636 = ORIENTED_EDGE ( 'NONE', *, *, #1531, .F. ) ;
#1637 = VECTOR ( 'NONE', #867, 1000.000000000000000 ) ;
#1638 = SURFACE_STYLE_USAGE ( .BOTH. , #544 ) ;
#1639 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1640 = EDGE_LOOP ( 'NONE', ( #896, #1084, #1361, #270 ) ) ;
#1641 = FACE_OUTER_BOUND ( 'NONE', #23, .T. ) ;
#1642 = CARTESIAN_POINT ( 'NONE',  ( 48.99999999999999289, -9.000000000000001776, 1.500000000000000444 ) ) ;
#1643 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 7.228014483236707402E-16 ) ) ;
#1644 = CARTESIAN_POINT ( 'NONE',  ( 7.000000000000011546, -12.00000000000000533, -12.50000000000001066 ) ) ;
#1645 = VERTEX_POINT ( 'NONE', #559 ) ;
#1646 = DIRECTION ( 'NONE',  ( 0.6585046078685181659, 0.7525766947068777135, 0.000000000000000000 ) ) ;
#1647 = ADVANCED_FACE ( 'NONE', ( #1191 ), #851, .F. ) ;
#1648 =( NAMED_UNIT ( * ) SI_UNIT ( $, .STERADIAN. ) SOLID_ANGLE_UNIT ( ) );
#1649 = CYLINDRICAL_SURFACE ( 'NONE', #85, 1.000000000000000000 ) ;
#1650 = CARTESIAN_POINT ( 'NONE',  ( 84.00000000000000000, 0.000000000000000000, 14.49999999999999822 ) ) ;
#1651 = CARTESIAN_POINT ( 'NONE',  ( 48.99999999999999289, -4.000000000000000000, 1.500000000000000444 ) ) ;
#1652 = VECTOR ( 'NONE', #1342, 1000.000000000000000 ) ;
#1653 = ORIENTED_EDGE ( 'NONE', *, *, #1940, .F. ) ;
#1654 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 15.50000000000000000 ) ) ;
#1655 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#1656 = LINE ( 'NONE', #1673, #1572 ) ;
#1657 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1658 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1659 = PLANE ( 'NONE',  #1418 ) ;
#1660 = ORIENTED_EDGE ( 'NONE', *, *, #1901, .T. ) ;
#1661 = DIRECTION ( 'NONE',  ( -0.6585046078685182769, 0.7525766947068777135, 0.000000000000000000 ) ) ;
#1662 = EDGE_CURVE ( 'NONE', #861, #907, #156, .T. ) ;
#1663 = AXIS2_PLACEMENT_3D ( 'NONE', #1937, #218, #208 ) ;
#1664 = FACE_OUTER_BOUND ( 'NONE', #1473, .T. ) ;
#1665 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, 1.000000000000000000 ) ) ;
#1666 = VECTOR ( 'NONE', #825, 1000.000000000000000 ) ;
#1667 = LINE ( 'NONE', #1368, #1797 ) ;
#1668 = EDGE_CURVE ( 'NONE', #183, #1414, #1542, .T. ) ;
#1669 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#1670 = ORIENTED_EDGE ( 'NONE', *, *, #1170, .F. ) ;
#1671 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -4.000000000000000000, -12.50000000000000355 ) ) ;
#1672 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -6.000000000000000000, 2.500000000000000444 ) ) ;
#1673 = CARTESIAN_POINT ( 'NONE',  ( 54.99999999999999289, -4.000000000000000000, 15.50000000000000000 ) ) ;
#1674 = CARTESIAN_POINT ( 'NONE',  ( 40.00000000000000000, -9.000000000000001776, 2.500000000000000444 ) ) ;
#1675 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1676 = ORIENTED_EDGE ( 'NONE', *, *, #1829, .F. ) ;
#1677 = ORIENTED_EDGE ( 'NONE', *, *, #175, .T. ) ;
#1678 = LINE ( 'NONE', #1351, #1991 ) ;
#1679 = AXIS2_PLACEMENT_3D ( 'NONE', #1651, #1182, #707 ) ;
#1680 = CIRCLE ( 'NONE', #790, 1.000000000000000000 ) ;
#1681 = PLANE ( 'NONE',  #1067 ) ;
#1682 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#1683 = EDGE_CURVE ( 'NONE', #1689, #1425, #289, .T. ) ;
#1684 = ADVANCED_FACE ( 'NONE', ( #1891 ), #629, .F. ) ;
#1685 = EDGE_CURVE ( 'NONE', #1869, #1535, #125, .T. ) ;
#1686 = CARTESIAN_POINT ( 'NONE',  ( 7.000000000000007994, -12.00000000000000355, 12.50000000000000000 ) ) ;
#1687 = CARTESIAN_POINT ( 'NONE',  ( 77.00000000000000000, 4.499999999999995559, 15.50000000000000000 ) ) ;
#1688 = EDGE_CURVE ( 'NONE', #1765, #381, #279, .T. ) ;
#1689 = VERTEX_POINT ( 'NONE', #1584 ) ;
#1690 = VERTEX_POINT ( 'NONE', #934 ) ;
#1691 = CARTESIAN_POINT ( 'NONE',  ( 73.00000000000001421, 1.999999999999994893, 15.50000000000000000 ) ) ;
#1692 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1693 = EDGE_CURVE ( 'NONE', #1221, #1218, #774, .T. ) ;
#1694 = AXIS2_PLACEMENT_3D ( 'NONE', #697, #1171, #1328 ) ;
#1695 = ORIENTED_EDGE ( 'NONE', *, *, #349, .T. ) ;
#1696 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -4.000000000000000000, 12.50000000000000000 ) ) ;
#1697 = FACE_OUTER_BOUND ( 'NONE', #477, .T. ) ;
#1698 = VECTOR ( 'NONE', #636, 1000.000000000000000 ) ;
#1699 = AXIS2_PLACEMENT_3D ( 'NONE', #1985, #117, #1220 ) ;
#1700 = VERTEX_POINT ( 'NONE', #1243 ) ;
#1701 = ORIENTED_EDGE ( 'NONE', *, *, #1905, .T. ) ;
#1702 = ORIENTED_EDGE ( 'NONE', *, *, #57, .F. ) ;
#1703 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1704 = LINE ( 'NONE', #932, #378 ) ;
#1705 = FILL_AREA_STYLE_COLOUR ( '', #411 ) ;
#1706 = ADVANCED_FACE ( 'NONE', ( #1409 ), #447, .T. ) ;
#1707 = ORIENTED_EDGE ( 'NONE', *, *, #1145, .T. ) ;
#1708 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#1709 = PLANE ( 'NONE',  #637 ) ;
#1710 = ORIENTED_EDGE ( 'NONE', *, *, #221, .F. ) ;
#1711 = ORIENTED_EDGE ( 'NONE', *, *, #470, .T. ) ;
#1712 = EDGE_LOOP ( 'NONE', ( #468, #2014, #1311, #2026 ) ) ;
#1713 = CARTESIAN_POINT ( 'NONE',  ( 48.99999999999999289, -4.000000000000000000, -2.500000000000000444 ) ) ;
#1714 = VECTOR ( 'NONE', #1718, 1000.000000000000000 ) ;
#1715 = FACE_OUTER_BOUND ( 'NONE', #1334, .T. ) ;
#1716 = VECTOR ( 'NONE', #1665, 1000.000000000000000 ) ;
#1717 = ORIENTED_EDGE ( 'NONE', *, *, #1600, .T. ) ;
#1718 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1719 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1720 = VERTEX_POINT ( 'NONE', #456 ) ;
#1721 = ORIENTED_EDGE ( 'NONE', *, *, #1302, .T. ) ;
#1722 = VERTEX_POINT ( 'NONE', #2012 ) ;
#1723 = ORIENTED_EDGE ( 'NONE', *, *, #885, .F. ) ;
#1724 = FACE_OUTER_BOUND ( 'NONE', #58, .T. ) ;
#1725 = EDGE_CURVE ( 'NONE', #1470, #661, #1081, .T. ) ;
#1726 = EDGE_CURVE ( 'NONE', #1398, #765, #1881, .T. ) ;
#1727 = PLANE ( 'NONE',  #53 ) ;
#1728 =( LENGTH_UNIT ( ) NAMED_UNIT ( * ) SI_UNIT ( .MILLI., .METRE. ) );
#1729 = DIRECTION ( 'NONE',  ( 1.000000000000000000, -0.000000000000000000, -0.000000000000000000 ) ) ;
#1730 = CARTESIAN_POINT ( 'NONE',  ( 15.97487531669644234, 1.999999999999994893, 0.000000000000000000 ) ) ;
#1731 = ORIENTED_EDGE ( 'NONE', *, *, #557, .T. ) ;
#1732 = AXIS2_PLACEMENT_3D ( 'NONE', #935, #1263, #1060 ) ;
#1733 = AXIS2_PLACEMENT_3D ( 'NONE', #251, #1669, #1675 ) ;
#1734 = CARTESIAN_POINT ( 'NONE',  ( 7.000000000000000888, 7.999999999999994671, -4.022319213889218759 ) ) ;
#1735 = ORIENTED_EDGE ( 'NONE', *, *, #1507, .F. ) ;
#1736 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1737 = AXIS2_PLACEMENT_3D ( 'NONE', #418, #2033, #582 ) ;
#1738 = EDGE_CURVE ( 'NONE', #1762, #530, #1091, .T. ) ;
#1739 = CARTESIAN_POINT ( 'NONE',  ( 76.00000000000000000, -4.000000000000000000, -1.500000000000001332 ) ) ;
#1740 = CARTESIAN_POINT ( 'NONE',  ( 69.00000000000000000, -6.000000000000000000, 2.500000000000000888 ) ) ;
#1741 = FACE_OUTER_BOUND ( 'NONE', #467, .T. ) ;
#1742 = EDGE_LOOP ( 'NONE', ( #1806, #785, #1463, #1093, #2006, #1557 ) ) ;
#1743 = ORIENTED_EDGE ( 'NONE', *, *, #430, .F. ) ;
#1744 = ORIENTED_EDGE ( 'NONE', *, *, #1024, .F. ) ;
#1745 = CARTESIAN_POINT ( 'NONE',  ( 39.00000000000000000, -9.000000000000001776, -1.499999999999999556 ) ) ;
#1746 = CARTESIAN_POINT ( 'NONE',  ( 50.69999999999999574, 6.071532165918824830E-15, 15.50000000000000000 ) ) ;
#1747 = AXIS2_PLACEMENT_3D ( 'NONE', #223, #486, #1458 ) ;
#1748 = LINE ( 'NONE', #1790, #327 ) ;
#1749 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, -4.000000000000000000, 12.50000000000000000 ) ) ;
#1750 = EDGE_CURVE ( 'NONE', #243, #1443, #621, .T. ) ;
#1751 = EDGE_LOOP ( 'NONE', ( #475, #1919, #1886, #1143 ) ) ;
#1752 = EDGE_CURVE ( 'NONE', #1221, #1621, #1229, .T. ) ;
#1753 = ADVANCED_FACE ( 'NONE', ( #1419 ), #319, .F. ) ;
#1754 = ORIENTED_EDGE ( 'NONE', *, *, #563, .T. ) ;
#1755 = EDGE_LOOP ( 'NONE', ( #958, #1788, #1547, #695 ) ) ;
#1756 = DIRECTION ( 'NONE',  ( 0.6585046078685182769, -0.7525766947068777135, 0.000000000000000000 ) ) ;
#1757 = CARTESIAN_POINT ( 'NONE',  ( 54.99999999999999289, -28.00000000000000355, 12.50000000000000000 ) ) ;
#1758 = EDGE_LOOP ( 'NONE', ( #1266, #1587, #833, #403, #1202, #1936, #844, #168 ) ) ;
#1759 = ADVANCED_FACE ( 'NONE', ( #1428 ), #586, .F. ) ;
#1760 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, 3.999999999999996447, 4.022319213889218759 ) ) ;
#1761 = FACE_OUTER_BOUND ( 'NONE', #1063, .T. ) ;
#1762 = VERTEX_POINT ( 'NONE', #1071 ) ;
#1763 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -12.00000000000000533, -12.50000000000000355 ) ) ;
#1764 = ORIENTED_EDGE ( 'NONE', *, *, #718, .T. ) ;
#1765 = VERTEX_POINT ( 'NONE', #762 ) ;
#1766 = AXIS2_PLACEMENT_3D ( 'NONE', #48, #1315, #839 ) ;
#1767 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#1768 = VECTOR ( 'NONE', #394, 1000.000000000000000 ) ;
#1769 = AXIS2_PLACEMENT_3D ( 'NONE', #1739, #318, #941 ) ;
#1770 = DIRECTION ( 'NONE',  ( 0.5299989400031803743, 0.8479983040050877996, 0.000000000000000000 ) ) ;
#1771 = VERTEX_POINT ( 'NONE', #1396 ) ;
#1772 = CARTESIAN_POINT ( 'NONE',  ( 50.69999999999999574, 6.071532165918824830E-15, 15.50000000000000000 ) ) ;
#1773 = CARTESIAN_POINT ( 'NONE',  ( 7.000000000000007994, -12.00000000000000533, 15.50000000000000000 ) ) ;
#1774 = ORIENTED_EDGE ( 'NONE', *, *, #947, .T. ) ;
#1775 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#1776 = ORIENTED_EDGE ( 'NONE', *, *, #2032, .T. ) ;
#1777 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1778 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1779 = ORIENTED_EDGE ( 'NONE', *, *, #229, .T. ) ;
#1780 = CARTESIAN_POINT ( 'NONE',  ( 7.000000000000007994, -12.00000000000000533, 15.50000000000000000 ) ) ;
#1781 = VERTEX_POINT ( 'NONE', #2023 ) ;
#1782 = VECTOR ( 'NONE', #1237, 1000.000000000000000 ) ;
#1783 = LINE ( 'NONE', #351, #12 ) ;
#1784 = VECTOR ( 'NONE', #44, 1000.000000000000000 ) ;
#1785 = LINE ( 'NONE', #984, #1601 ) ;
#1786 = FACE_OUTER_BOUND ( 'NONE', #29, .T. ) ;
#1787 = PLANE ( 'NONE',  #1932 ) ;
#1788 = ORIENTED_EDGE ( 'NONE', *, *, #620, .F. ) ;
#1789 = EDGE_CURVE ( 'NONE', #1414, #945, #1083, .T. ) ;
#1790 = CARTESIAN_POINT ( 'NONE',  ( 50.69999999999999574, 2.000000000000009326, 15.50000000000000000 ) ) ;
#1791 = EDGE_CURVE ( 'NONE', #737, #1555, #626, .T. ) ;
#1792 = ORIENTED_EDGE ( 'NONE', *, *, #741, .F. ) ;
#1793 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1794 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1795 = CARTESIAN_POINT ( 'NONE',  ( 54.99999999999999289, -28.00000000000000355, -12.50000000000000355 ) ) ;
#1796 = CARTESIAN_POINT ( 'NONE',  ( 84.00000000000000000, 0.000000000000000000, -15.50000000000000000 ) ) ;
#1797 = VECTOR ( 'NONE', #575, 1000.000000000000000 ) ;
#1798 = EDGE_CURVE ( 'NONE', #1424, #1470, #501, .T. ) ;
#1799 = EDGE_LOOP ( 'NONE', ( #905, #1981, #167, #1859, #949, #1434, #455, #1376 ) ) ;
#1800 = FACE_OUTER_BOUND ( 'NONE', #144, .T. ) ;
#1801 = CIRCLE ( 'NONE', #1438, 1.000000000000000444 ) ;
#1802 = VERTEX_POINT ( 'NONE', #1772 ) ;
#1803 = CARTESIAN_POINT ( 'NONE',  ( 15.82461934271479187, 1.999999999999994893, -4.022319213889218759 ) ) ;
#1804 = LINE ( 'NONE', #1492, #1994 ) ;
#1805 = CARTESIAN_POINT ( 'NONE',  ( 4.898587196589412829E-16, -4.000000000000000000, 15.50000000000000000 ) ) ;
#1806 = ORIENTED_EDGE ( 'NONE', *, *, #1554, .F. ) ;
#1807 = FACE_OUTER_BOUND ( 'NONE', #1758, .T. ) ;
#1808 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1809 = CARTESIAN_POINT ( 'NONE',  ( 84.00000000000000000, 7.999999999999994671, 15.50000000000000000 ) ) ;
#1810 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1811 = CARTESIAN_POINT ( 'NONE',  ( 68.00000000000000000, -9.000000000000001776, -2.500000000000000000 ) ) ;
#1812 = EDGE_CURVE ( 'NONE', #1116, #1720, #347, .T. ) ;
#1813 = DIRECTION ( 'NONE',  ( -0.4472135954999602037, -0.8944271909999147452, 0.000000000000000000 ) ) ;
#1814 = VECTOR ( 'NONE', #1514, 1000.000000000000000 ) ;
#1815 = ORIENTED_EDGE ( 'NONE', *, *, #7, .F. ) ;
#1816 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -15.50000000000000000 ) ) ;
#1817 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -4.000000000000000000, 15.50000000000000000 ) ) ;
#1818 = EDGE_CURVE ( 'NONE', #499, #1080, #1903, .T. ) ;
#1819 = FACE_OUTER_BOUND ( 'NONE', #127, .T. ) ;
#1820 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1821 = LINE ( 'NONE', #1043, #768 ) ;
#1822 = ORIENTED_EDGE ( 'NONE', *, *, #1910, .F. ) ;
#1823 = LINE ( 'NONE', #1214, #50 ) ;
#1824 = VECTOR ( 'NONE', #654, 1000.000000000000000 ) ;
#1825 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#1826 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1827 = AXIS2_PLACEMENT_3D ( 'NONE', #1811, #88, #1148 ) ;
#1828 = AXIS2_PLACEMENT_3D ( 'NONE', #2002, #287, #112 ) ;
#1829 = EDGE_CURVE ( 'NONE', #128, #1802, #1748, .T. ) ;
#1830 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -6.000000000000000000, -2.500000000000002220 ) ) ;
#1831 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, -1.445602896647341382E-16 ) ) ;
#1832 = EDGE_LOOP ( 'NONE', ( #1567, #1323, #752, #129 ) ) ;
#1833 = STYLED_ITEM ( 'NONE', ( #297 ), #76 ) ;
#1834 = ORIENTED_EDGE ( 'NONE', *, *, #8, .F. ) ;
#1835 = DIRECTION ( 'NONE',  ( 1.000000000000000000, -0.000000000000000000, -0.000000000000000000 ) ) ;
#1836 = LINE ( 'NONE', #1617, #1471 ) ;
#1837 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, -4.000000000000000000, 15.50000000000000000 ) ) ;
#1838 = EDGE_CURVE ( 'NONE', #26, #939, #834, .T. ) ;
#1839 = LINE ( 'NONE', #267, #1068 ) ;
#1840 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1841 = ORIENTED_EDGE ( 'NONE', *, *, #6, .T. ) ;
#1842 = ORIENTED_EDGE ( 'NONE', *, *, #620, .T. ) ;
#1843 = VERTEX_POINT ( 'NONE', #358 ) ;
#1844 = LINE ( 'NONE', #1345, #502 ) ;
#1845 = VECTOR ( 'NONE', #1736, 1000.000000000000000 ) ;
#1846 = PRODUCT ( 'F001852,F001853,F001854,F001855,F001856,F001857,F001858,F001859,F001860,F001861,F001862,F001863_3D', 'F001852,F001853,F001854,F001855,F001856,F001857,F001858,F001859,F001860,F001861,F001862,F001863_3D', '', ( #781 ) ) ;
#1847 = VECTOR ( 'NONE', #1179, 1000.000000000000000 ) ;
#1848 = LINE ( 'NONE', #453, #1371 ) ;
#1849 = ORIENTED_EDGE ( 'NONE', *, *, #1024, .T. ) ;
#1850 = CARTESIAN_POINT ( 'NONE',  ( 49.99999999999999289, -9.000000000000001776, 2.500000000000000444 ) ) ;
#1851 = CARTESIAN_POINT ( 'NONE',  ( 7.000000000000000888, 7.999999999999994671, 15.50000000000000000 ) ) ;
#1852 = ORIENTED_EDGE ( 'NONE', *, *, #584, .F. ) ;
#1853 = EDGE_LOOP ( 'NONE', ( #1245, #950, #1711, #335, #788, #1579 ) ) ;
#1854 = ORIENTED_EDGE ( 'NONE', *, *, #1884, .F. ) ;
#1855 = DIRECTION ( 'NONE',  ( -0.7525766947068778245, 0.6585046078685182769, 0.000000000000000000 ) ) ;
#1856 = EDGE_CURVE ( 'NONE', #1116, #748, #56, .T. ) ;
#1857 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1858 = VECTOR ( 'NONE', #25, 1000.000000000000000 ) ;
#1859 = ORIENTED_EDGE ( 'NONE', *, *, #1725, .F. ) ;
#1860 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1861 = FACE_OUTER_BOUND ( 'NONE', #1887, .T. ) ;
#1862 = CIRCLE ( 'NONE', #1737, 1.000000000000000000 ) ;
#1863 = VECTOR ( 'NONE', #865, 1000.000000000000000 ) ;
#1864 = ORIENTED_EDGE ( 'NONE', *, *, #204, .F. ) ;
#1865 = ORIENTED_EDGE ( 'NONE', *, *, #1164, .T. ) ;
#1866 = VERTEX_POINT ( 'NONE', #651 ) ;
#1867 = LINE ( 'NONE', #478, #554 ) ;
#1868 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -4.000000000000000000, -12.50000000000000355 ) ) ;
#1869 = VERTEX_POINT ( 'NONE', #1313 ) ;
#1870 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1871 = LINE ( 'NONE', #1882, #1300 ) ;
#1872 = ORIENTED_EDGE ( 'NONE', *, *, #369, .T. ) ;
#1873 = EDGE_CURVE ( 'NONE', #939, #1116, #992, .T. ) ;
#1874 = EDGE_CURVE ( 'NONE', #1781, #371, #328, .T. ) ;
#1875 = VERTEX_POINT ( 'NONE', #1760 ) ;
#1876 = VERTEX_POINT ( 'NONE', #368 ) ;
#1877 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, -0.000000000000000000 ) ) ;
#1878 = AXIS2_PLACEMENT_3D ( 'NONE', #1654, #1495, #1973 ) ;
#1879 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -4.000000000000000000, -12.50000000000000355 ) ) ;
#1880 = EDGE_CURVE ( 'NONE', #916, #1424, #1628, .T. ) ;
#1881 = LINE ( 'NONE', #464, #97 ) ;
#1882 = CARTESIAN_POINT ( 'NONE',  ( 48.99999999999999289, -9.000000000000001776, -2.500000000000000000 ) ) ;
#1883 = ORIENTED_EDGE ( 'NONE', *, *, #219, .T. ) ;
#1884 = EDGE_CURVE ( 'NONE', #907, #1781, #1592, .T. ) ;
#1885 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 15.50000000000000000 ) ) ;
#1886 = ORIENTED_EDGE ( 'NONE', *, *, #1726, .F. ) ;
#1887 = EDGE_LOOP ( 'NONE', ( #871, #2038, #1563, #40 ) ) ;
#1888 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -1.000000000000000000, -0.000000000000000000 ) ) ;
#1889 = CARTESIAN_POINT ( 'NONE',  ( 3.249999999999994227, 1.999999999999994893, 4.022319213889218759 ) ) ;
#1890 = SURFACE_STYLE_FILL_AREA ( #1090 ) ;
#1891 = FACE_OUTER_BOUND ( 'NONE', #504, .T. ) ;
#1892 = CARTESIAN_POINT ( 'NONE',  ( 10.99999999999999112, 1.999999999999994893, 4.022319213889218759 ) ) ;
#1893 = EDGE_LOOP ( 'NONE', ( #1545, #1411, #1431, #1097 ) ) ;
#1894 = AXIS2_PLACEMENT_3D ( 'NONE', #793, #1553, #157 ) ;
#1895 = VECTOR ( 'NONE', #28, 1000.000000000000000 ) ;
#1896 = ORIENTED_EDGE ( 'NONE', *, *, #1014, .T. ) ;
#1897 = ORIENTED_EDGE ( 'NONE', *, *, #1603, .T. ) ;
#1898 = FACE_OUTER_BOUND ( 'NONE', #837, .T. ) ;
#1899 = PLANE ( 'NONE',  #840 ) ;
#1900 = ADVANCED_FACE ( 'NONE', ( #336 ), #35, .F. ) ;
#1901 = EDGE_CURVE ( 'NONE', #321, #1403, #1680, .T. ) ;
#1902 = EDGE_CURVE ( 'NONE', #1690, #1843, #662, .T. ) ;
#1903 = LINE ( 'NONE', #206, #2044 ) ;
#1904 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1905 = EDGE_CURVE ( 'NONE', #1146, #961, #481, .T. ) ;
#1906 = ORIENTED_EDGE ( 'NONE', *, *, #1343, .F. ) ;
#1907 = ORIENTED_EDGE ( 'NONE', *, *, #991, .T. ) ;
#1908 = ORIENTED_EDGE ( 'NONE', *, *, #1141, .T. ) ;
#1909 = CARTESIAN_POINT ( 'NONE',  ( 54.99999999999999289, -4.000000000000000000, -12.50000000000000355 ) ) ;
#1910 = EDGE_CURVE ( 'NONE', #914, #961, #1291, .T. ) ;
#1911 = PLANE ( 'NONE',  #1338 ) ;
#1912 = VERTEX_POINT ( 'NONE', #1441 ) ;
#1913 = AXIS2_PLACEMENT_3D ( 'NONE', #1950, #1278, #528 ) ;
#1914 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -4.000000000000000000, -12.50000000000000355 ) ) ;
#1915 = LINE ( 'NONE', #348, #704 ) ;
#1916 = ORIENTED_EDGE ( 'NONE', *, *, #1017, .F. ) ;
#1917 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, -4.000000000000000000, -15.50000000000000000 ) ) ;
#1918 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1919 = ORIENTED_EDGE ( 'NONE', *, *, #1164, .F. ) ;
#1920 = CYLINDRICAL_SURFACE ( 'NONE', #1583, 1.000000000000000000 ) ;
#1921 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, -0.000000000000000000 ) ) ;
#1922 = ADVANCED_FACE ( 'NONE', ( #1281 ), #184, .F. ) ;
#1923 = VERTEX_POINT ( 'NONE', #703 ) ;
#1924 = CARTESIAN_POINT ( 'NONE',  ( 40.00000000000000000, -9.000000000000001776, 1.500000000000000444 ) ) ;
#1925 = CARTESIAN_POINT ( 'NONE',  ( 84.00000000000000000, 7.999999999999994671, 14.49999999999999822 ) ) ;
#1926 = EDGE_LOOP ( 'NONE', ( #1945, #1456, #1274, #1223, #685 ) ) ;
#1927 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, -4.000000000000000000, -2.500000000000002220 ) ) ;
#1928 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 1.224646799147353207E-16, -0.000000000000000000 ) ) ;
#1929 = VERTEX_POINT ( 'NONE', #382 ) ;
#1930 = AXIS2_PLACEMENT_3D ( 'NONE', #1575, #300, #2035 ) ;
#1931 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, -6.000000000000000000, 2.500000000000000444 ) ) ;
#1932 = AXIS2_PLACEMENT_3D ( 'NONE', #225, #988, #213 ) ;
#1933 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1934 = EDGE_LOOP ( 'NONE', ( #590, #1075, #1010, #667, #489, #116 ) ) ;
#1935 = CARTESIAN_POINT ( 'NONE',  ( 48.99999999999999289, -4.000000000000000000, -1.499999999999999556 ) ) ;
#1936 = ORIENTED_EDGE ( 'NONE', *, *, #513, .F. ) ;
#1937 = CARTESIAN_POINT ( 'NONE',  ( 76.00000000000000000, -4.000000000000000000, -1.500000000000001332 ) ) ;
#1938 = DIRECTION ( 'NONE',  ( -1.927470528863118802E-16, -1.000000000000000000, 0.000000000000000000 ) ) ;
#1939 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1940 = EDGE_CURVE ( 'NONE', #207, #961, #1206, .T. ) ;
#1941 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -4.000000000000000000, -12.50000000000000178 ) ) ;
#1942 = ORIENTED_EDGE ( 'NONE', *, *, #72, .F. ) ;
#1943 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1944 = CARTESIAN_POINT ( 'NONE',  ( 4.898587196589412829E-16, -4.000000000000000000, 15.50000000000000000 ) ) ;
#1945 = ORIENTED_EDGE ( 'NONE', *, *, #414, .F. ) ;
#1946 = AXIS2_PLACEMENT_3D ( 'NONE', #1224, #1855, #1248 ) ;
#1947 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, 5.204170427930421283E-15, 15.50000000000000000 ) ) ;
#1948 = CARTESIAN_POINT ( 'NONE',  ( 39.00000000000000000, -9.000000000000001776, -2.500000000000000000 ) ) ;
#1949 = EDGE_CURVE ( 'NONE', #37, #1929, #1195, .T. ) ;
#1950 = CARTESIAN_POINT ( 'NONE',  ( 68.00000000000000000, -9.000000000000001776, 2.500000000000000444 ) ) ;
#1951 = LINE ( 'NONE', #379, #408 ) ;
#1952 = ORIENTED_EDGE ( 'NONE', *, *, #454, .T. ) ;
#1953 = CARTESIAN_POINT ( 'NONE',  ( 77.00000000000000000, -4.000000000000000000, 15.50000000000000000 ) ) ;
#1954 = ORIENTED_EDGE ( 'NONE', *, *, #1325, .F. ) ;
#1955 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1956 = CARTESIAN_POINT ( 'NONE',  ( 7.000000000000007994, -12.00000000000000533, 12.50000000000000000 ) ) ;
#1957 = CARTESIAN_POINT ( 'NONE',  ( 68.00000000000000000, -9.000000000000001776, 1.500000000000000444 ) ) ;
#1958 = EDGE_CURVE ( 'NONE', #1401, #26, #1041, .T. ) ;
#1959 = VECTOR ( 'NONE', #177, 1000.000000000000000 ) ;
#1960 = VERTEX_POINT ( 'NONE', #1809 ) ;
#1961 = VERTEX_POINT ( 'NONE', #721 ) ;
#1962 = VECTOR ( 'NONE', #1646, 1000.000000000000227 ) ;
#1963 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -1.811565820244727723E-17, 0.000000000000000000 ) ) ;
#1964 = EDGE_CURVE ( 'NONE', #321, #1876, #410, .T. ) ;
#1965 = VECTOR ( 'NONE', #1996, 1000.000000000000000 ) ;
#1966 = EDGE_CURVE ( 'NONE', #921, #519, #391, .T. ) ;
#1967 = EDGE_CURVE ( 'NONE', #1875, #914, #1984, .T. ) ;
#1968 = FACE_OUTER_BOUND ( 'NONE', #764, .T. ) ;
#1969 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1970 = CARTESIAN_POINT ( 'NONE',  ( 15.82461934271479187, 1.999999999999994893, -4.022319213889218759 ) ) ;
#1971 = ORIENTED_EDGE ( 'NONE', *, *, #1874, .T. ) ;
#1972 = EDGE_CURVE ( 'NONE', #359, #1221, #723, .T. ) ;
#1973 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, -0.000000000000000000 ) ) ;
#1974 = EDGE_CURVE ( 'NONE', #2011, #1425, #1656, .T. ) ;
#1975 = CARTESIAN_POINT ( 'NONE',  ( 15.97487531669644234, 1.999999999999994893, 0.000000000000000000 ) ) ;
#1976 = CARTESIAN_POINT ( 'NONE',  ( 77.00000000000000000, -9.000000000000001776, 1.500000000000000444 ) ) ;
#1977 = FACE_OUTER_BOUND ( 'NONE', #1588, .T. ) ;
#1978 = AXIS2_PLACEMENT_3D ( 'NONE', #433, #617, #1262 ) ;
#1979 = CARTESIAN_POINT ( 'NONE',  ( 48.99999999999999289, -9.000000000000001776, 2.500000000000000444 ) ) ;
#1980 = VECTOR ( 'NONE', #968, 1000.000000000000000 ) ;
#1981 = ORIENTED_EDGE ( 'NONE', *, *, #1102, .F. ) ;
#1982 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1983 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -12.00000000000000355, -12.50000000000000355 ) ) ;
#1984 = LINE ( 'NONE', #1023, #462 ) ;
#1985 = CARTESIAN_POINT ( 'NONE',  ( 40.00000000000000000, -6.000000000000000000, 1.500000000000000444 ) ) ;
#1986 = CARTESIAN_POINT ( 'NONE',  ( 77.00000000000000000, 4.499999999999995559, 15.50000000000000000 ) ) ;
#1987 = EDGE_LOOP ( 'NONE', ( #2005, #1064, #1301, #450, #314, #1107, #1183, #612 ) ) ;
#1988 = ORIENTED_EDGE ( 'NONE', *, *, #285, .F. ) ;
#1989 = PLANE ( 'NONE',  #1385 ) ;
#1990 = ADVANCED_FACE ( 'NONE', ( #1819 ), #228, .F. ) ;
#1991 = VECTOR ( 'NONE', #571, 1000.000000000000000 ) ;
#1992 = CARTESIAN_POINT ( 'NONE',  ( 39.00000000000000000, -9.000000000000001776, 2.500000000000000444 ) ) ;
#1993 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -1.811565820244727723E-17, 0.000000000000000000 ) ) ;
#1994 = VECTOR ( 'NONE', #240, 1000.000000000000000 ) ;
#1995 = VECTOR ( 'NONE', #1963, 1000.000000000000000 ) ;
#1996 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1997 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1998 = VERTEX_POINT ( 'NONE', #880 ) ;
#1999 = VERTEX_POINT ( 'NONE', #1048 ) ;
#2000 = ORIENTED_EDGE ( 'NONE', *, *, #951, .T. ) ;
#2001 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#2002 = CARTESIAN_POINT ( 'NONE',  ( 2.000000000000000000, 3.623131640489455446E-17, 15.50000000000000000 ) ) ;
#2003 = ORIENTED_EDGE ( 'NONE', *, *, #1958, .T. ) ;
#2004 = CARTESIAN_POINT ( 'NONE',  ( 2.000000000000000000, 3.623131640489455446E-17, 15.50000000000000000 ) ) ;
#2005 = ORIENTED_EDGE ( 'NONE', *, *, #431, .T. ) ;
#2006 = ORIENTED_EDGE ( 'NONE', *, *, #70, .F. ) ;
#2007 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, -4.000000000000000000, 15.50000000000000000 ) ) ;
#2008 = VECTOR ( 'NONE', #1777, 1000.000000000000000 ) ;
#2009 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, -4.000000000000000000, 15.50000000000000000 ) ) ;
#2010 = SURFACE_SIDE_STYLE ('',( #1890 ) ) ;
#2011 = VERTEX_POINT ( 'NONE', #1519 ) ;
#2012 = CARTESIAN_POINT ( 'NONE',  ( 73.00000000000001421, 7.999999999999994671, -15.50000000000000000 ) ) ;
#2013 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, 1.999999999999994893, 15.50000000000000000 ) ) ;
#2014 = ORIENTED_EDGE ( 'NONE', *, *, #1406, .F. ) ;
#2015 = ORIENTED_EDGE ( 'NONE', *, *, #1367, .T. ) ;
#2016 = ORIENTED_EDGE ( 'NONE', *, *, #1120, .T. ) ;
#2017 = CARTESIAN_POINT ( 'NONE',  ( 77.00000000000000000, 4.499999999999995559, 15.50000000000000000 ) ) ;
#2018 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE( 1.000000000000000082E-05 ), #1728, 'distance_accuracy_value', 'NONE');
#2019 = LINE ( 'NONE', #1879, #178 ) ;
#2020 = VECTOR ( 'NONE', #27, 1000.000000000000000 ) ;
#2021 = EDGE_CURVE ( 'NONE', #661, #1781, #237, .T. ) ;
#2022 = ORIENTED_EDGE ( 'NONE', *, *, #1250, .F. ) ;
#2023 = CARTESIAN_POINT ( 'NONE',  ( 69.99999999999998579, -4.000000000000000000, -15.50000000000000000 ) ) ;
#2024 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, -4.000000000000000000, 15.50000000000000000 ) ) ;
#2025 = VECTOR ( 'NONE', #191, 1000.000000000000000 ) ;
#2026 = ORIENTED_EDGE ( 'NONE', *, *, #2032, .F. ) ;
#2027 = ORIENTED_EDGE ( 'NONE', *, *, #1573, .T. ) ;
#2028 = ORIENTED_EDGE ( 'NONE', *, *, #1325, .T. ) ;
#2029 = ORIENTED_EDGE ( 'NONE', *, *, #115, .F. ) ;
#2030 = PLANE ( 'NONE',  #1946 ) ;
#2031 = AXIS2_PLACEMENT_3D ( 'NONE', #255, #532, #856 ) ;
#2032 = EDGE_CURVE ( 'NONE', #1443, #848, #1337, .T. ) ;
#2033 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#2034 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -1.000000000000000000, -0.000000000000000000 ) ) ;
#2035 = DIRECTION ( 'NONE',  ( -0.6585046078685182769, 0.7525766947068777135, 0.000000000000000000 ) ) ;
#2036 = ORIENTED_EDGE ( 'NONE', *, *, #47, .T. ) ;
#2037 = ORIENTED_EDGE ( 'NONE', *, *, #1662, .F. ) ;
#2038 = ORIENTED_EDGE ( 'NONE', *, *, #1017, .T. ) ;
#2039 = VERTEX_POINT ( 'NONE', #1365 ) ;
#2040 = CARTESIAN_POINT ( 'NONE',  ( 43.00000000000000000, -4.000000000000000000, 15.50000000000000000 ) ) ;
#2041 = AXIS2_PLACEMENT_3D ( 'NONE', #2017, #602, #1558 ) ;
#2042 = LINE ( 'NONE', #326, #1698 ) ;
#2043 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#2044 = VECTOR ( 'NONE', #684, 1000.000000000000000 ) ;
#2045 = ADVANCED_FACE ( 'NONE', ( #266 ), #552, .F. ) ;
#2046 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, 1.000000000000000000 ) ) ;
ENDSEC;
END-ISO-10303-21;