ISO-10303-21;
HEADER;
FILE_DESCRIPTION (( 'STEP AP214' ),
    '1' );
FILE_NAME('Heatsink_Extrusion_25x11x13.step', '2021-05-31T11:28:34', 'Stefan Hamminga', '', '', '', '');
FILE_SCHEMA (( 'AUTOMOTIVE_DESIGN' ));
ENDSEC;

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