ISO-10303-21;
HEADER;
FILE_DESCRIPTION (( 'STEP AP214' ),
    '1' );
FILE_NAME ('Formhaelfte_1.STEP',
    '2023-10-15T10:42:22',
    ( 'Lenovo' ),
    ( '' ),
    'SwSTEP 2.0',
    'SolidWorks 2019',
    '' );
FILE_SCHEMA (( 'AUTOMOTIVE_DESIGN' ));
ENDSEC;

DATA;
#1 = MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION_REPRESENTATION (  '', ( #380 ), #27 ) ;
#2 = ORIENTED_EDGE ( 'NONE', *, *, #1296, .T. ) ;
#3 = VERTEX_POINT ( 'NONE', #122 ) ;
#4 = LINE ( 'NONE', #442, #448 ) ;
#5 = CARTESIAN_POINT ( 'NONE',  ( 7.250000000000031974, -3.647083732381743992, -2.058926962626840812E-28 ) ) ;
#6 = CARTESIAN_POINT ( 'NONE',  ( -4.475129652421903970, -17.21594357147283816, 6.000000000000000000 ) ) ;
#7 = ORIENTED_EDGE ( 'NONE', *, *, #256, .T. ) ;
#8 = ADVANCED_FACE ( 'NONE', ( #1082 ), #337, .F. ) ;
#9 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#10 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#11 = CIRCLE ( 'NONE', #226, 2.149999999999999911 ) ;
#12 = CIRCLE ( 'NONE', #489, 4.000000000000000000 ) ;
#13 = VECTOR ( 'NONE', #686, 1000.000000000000000 ) ;
#14 = CARTESIAN_POINT ( 'NONE',  ( -13.99999999999999467, 14.00000000000000000, 10.00000000000000000 ) ) ;
#15 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, 0.000000000000000000, 6.000000000000000000 ) ) ;
#16 = VERTEX_POINT ( 'NONE', #227 ) ;
#17 = EDGE_CURVE ( 'NONE', #705, #1163, #981, .T. ) ;
#18 = CARTESIAN_POINT ( 'NONE',  ( -14.99999999999999645, -14.00000000000000000, 10.00000000000000000 ) ) ;
#19 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, 1.000000000000000000 ) ) ;
#20 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 6.982962677686182302E-15, -1.419949629397821250E-29 ) ) ;
#21 = CARTESIAN_POINT ( 'NONE',  ( 9.700000000000001066, 0.000000000000000000, 0.000000000000000000 ) ) ;
#22 = ORIENTED_EDGE ( 'NONE', *, *, #1189, .T. ) ;
#23 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#24 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#25 = EDGE_CURVE ( 'NONE', #866, #1041, #102, .T. ) ;
#26 = ADVANCED_FACE ( 'NONE', ( #435 ), #250, .T. ) ;
#27 =( GEOMETRIC_REPRESENTATION_CONTEXT ( 3 ) GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ( ( #201 ) ) GLOBAL_UNIT_ASSIGNED_CONTEXT ( ( #258, #369, #1248 ) ) REPRESENTATION_CONTEXT ( 'NONE', 'WORKASPACE' ) );
#28 = CARTESIAN_POINT ( 'NONE',  ( -8.055233374359428211, 19.00000000000000000, 6.000000000000000000 ) ) ;
#29 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 3.469446951953614189E-15, -1.000000000000000000 ) ) ;
#30 = CARTESIAN_POINT ( 'NONE',  ( -14.99999999999999645, -15.00000000000000178, 10.00000000000000000 ) ) ;
#31 = VERTEX_POINT ( 'NONE', #1319 ) ;
#32 = FACE_OUTER_BOUND ( 'NONE', #336, .T. ) ;
#33 = EDGE_CURVE ( 'NONE', #1018, #1340, #4, .T. ) ;
#34 = SURFACE_SIDE_STYLE ('',( #673 ) ) ;
#35 = CARTESIAN_POINT ( 'NONE',  ( -8.055233374359428211, -15.00000000000000000, 10.00000000000000000 ) ) ;
#36 = FACE_OUTER_BOUND ( 'NONE', #1151, .T. ) ;
#37 = EDGE_LOOP ( 'NONE', ( #1126, #514, #110, #114 ) ) ;
#38 = CIRCLE ( 'NONE', #825, 1.000000000000000000 ) ;
#39 = VECTOR ( 'NONE', #691, 1000.000000000000000 ) ;
#40 = FACE_OUTER_BOUND ( 'NONE', #165, .T. ) ;
#41 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#42 = CARTESIAN_POINT ( 'NONE',  ( 1.058597168370113417, 5.670320264476607974, 1.995456643378741290 ) ) ;
#43 = EDGE_CURVE ( 'NONE', #56, #212, #1033, .T. ) ;
#44 = CYLINDRICAL_SURFACE ( 'NONE', #1056, 1.000000000000000000 ) ;
#45 = EDGE_LOOP ( 'NONE', ( #846, #912, #454, #596, #247, #815, #406, #379, #1134 ) ) ;
#46 = CARTESIAN_POINT ( 'NONE',  ( -7.250000000000009770, 2.035587995102839276, 4.249999999999994671 ) ) ;
#47 = ORIENTED_EDGE ( 'NONE', *, *, #974, .T. ) ;
#48 = CARTESIAN_POINT ( 'NONE',  ( 0.1790727821590490654, 4.670344066748945977, 1.803150838155947344 ) ) ;
#49 = LINE ( 'NONE', #35, #582 ) ;
#50 = EDGE_LOOP ( 'NONE', ( #1096, #1088, #1166, #1212 ) ) ;
#51 = B_SPLINE_CURVE_WITH_KNOTS ( 'NONE', 3,
 ( #370, #55, #1265, #800, #915, #1250, #48, #812, #708, #1150, #172, #760, #1323, #749, #558, #1198 ),
 .UNSPECIFIED., .F., .F.,
 ( 4, 2, 2, 2, 2, 2, 2, 4 ),
 ( 0.003346538546196368546, 0.004067399274002198722, 0.004427829637905112727, 0.004788260001808026731, 0.005148690365710941602, 0.005509120729613855606, 0.005869551093516769610, 0.006229981457419684482 ),
 .UNSPECIFIED. ) ;
#52 = ADVANCED_FACE ( 'NONE', ( #768 ), #641, .F. ) ;
#53 = CARTESIAN_POINT ( 'NONE',  ( 14.00000000000000355, 14.00000000000000178, 10.00000000000000000 ) ) ;
#54 = ORIENTED_EDGE ( 'NONE', *, *, #781, .F. ) ;
#55 = CARTESIAN_POINT ( 'NONE',  ( 1.016705736502055757, 5.294557067792421634, 2.000000000000007994 ) ) ;
#56 = VERTEX_POINT ( 'NONE', #104 ) ;
#57 = ORIENTED_EDGE ( 'NONE', *, *, #1211, .T. ) ;
#58 = CARTESIAN_POINT ( 'NONE',  ( -7.250000000000033751, 5.535587995102852155, 6.938893903907435059E-15 ) ) ;
#59 = VECTOR ( 'NONE', #1014, 1000.000000000000000 ) ;
#60 = AXIS2_PLACEMENT_3D ( 'NONE', #1270, #1129, #1139 ) ;
#61 = VECTOR ( 'NONE', #479, 1000.000000000000000 ) ;
#62 = VECTOR ( 'NONE', #373, 1000.000000000000000 ) ;
#63 = CARTESIAN_POINT ( 'NONE',  ( 0.05859716836265765894, 5.670320264477152428, 5.000000000000000000 ) ) ;
#64 = ORIENTED_EDGE ( 'NONE', *, *, #25, .T. ) ;
#65 = CARTESIAN_POINT ( 'NONE',  ( -7.250000000000009770, 2.035587995102848158, 1.249999999999994005 ) ) ;
#66 = CARTESIAN_POINT ( 'NONE',  ( -14.99999999999999645, -15.00000000000000178, 0.000000000000000000 ) ) ;
#67 = EDGE_CURVE ( 'NONE', #559, #932, #1010, .T. ) ;
#68 = ORIENTED_EDGE ( 'NONE', *, *, #735, .F. ) ;
#69 = PLANE ( 'NONE',  #1083 ) ;
#70 = LINE ( 'NONE', #515, #583 ) ;
#71 = AXIS2_PLACEMENT_3D ( 'NONE', #439, #617, #1185 ) ;
#72 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#73 = VERTEX_POINT ( 'NONE', #1313 ) ;
#74 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -6.982962677686181514E-15, 1.419949629397821250E-29 ) ) ;
#75 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#76 = VERTEX_POINT ( 'NONE', #451 ) ;
#77 = CLOSED_SHELL ( 'NONE', ( #1383, #1249, #844, #1097, #1326, #560, #1107, #1314, #1200, #350, #385, #1422, #737, #1376, #798, #548, #632, #26, #283, #205, #964, #1146, #508, #854, #773, #306, #1308, #279, #1271, #982, #1160, #689, #456, #368, #1354, #718, #52, #83, #8, #1300, #138, #477, #1045 ) ) ;
#78 = CIRCLE ( 'NONE', #273, 1.000000000000000888 ) ;
#79 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#80 = CIRCLE ( 'NONE', #1205, 1.000000000000000888 ) ;
#81 = CIRCLE ( 'NONE', #991, 0.9000000000000000222 ) ;
#82 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -5.782411586589357392E-17, 0.000000000000000000 ) ) ;
#83 = ADVANCED_FACE ( 'NONE', ( #329 ), #878, .T. ) ;
#84 = ORIENTED_EDGE ( 'NONE', *, *, #1022, .F. ) ;
#85 = DIRECTION ( 'NONE',  ( 6.982962677686181514E-15, -1.000000000000000000, -2.913240180184199366E-15 ) ) ;
#86 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#87 = ORIENTED_EDGE ( 'NONE', *, *, #1243, .F. ) ;
#88 = CARTESIAN_POINT ( 'NONE',  ( 14.00000000000000533, -14.99999999999999645, 10.00000000000000000 ) ) ;
#89 = CARTESIAN_POINT ( 'NONE',  ( 0.05859716836265765894, 5.670320264477152428, 5.899999999999999467 ) ) ;
#90 = ORIENTED_EDGE ( 'NONE', *, *, #526, .T. ) ;
#91 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#92 = PRODUCT_DEFINITION ( 'UNKNOWN', '', #722, #386 ) ;
#93 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -14.98587303581388497, 10.00000000000000000 ) ) ;
#94 = LINE ( 'NONE', #1040, #1206 ) ;
#95 = LINE ( 'NONE', #738, #672 ) ;
#96 = B_SPLINE_CURVE_WITH_KNOTS ( 'NONE', 3,
 ( #1239, #1245, #801, #1131, #690, #1252 ),
 .UNSPECIFIED., .F., .F.,
 ( 4, 2, 4 ),
 ( 0.003212631851249675430, 0.003279585198723022205, 0.003346538546196368546 ),
 .UNSPECIFIED. ) ;
#97 = ORIENTED_EDGE ( 'NONE', *, *, #67, .T. ) ;
#98 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#99 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#100 = CARTESIAN_POINT ( 'NONE',  ( -13.99999999999999289, -14.00000000000000000, 10.00000000000000000 ) ) ;
#101 = EDGE_CURVE ( 'NONE', #692, #819, #1412, .T. ) ;
#102 = CIRCLE ( 'NONE', #202, 5.000000000000000000 ) ;
#103 = VECTOR ( 'NONE', #734, 1000.000000000000000 ) ;
#104 = CARTESIAN_POINT ( 'NONE',  ( 1.308597168362657603, 5.670320264477152428, 5.000000000000000000 ) ) ;
#105 = FACE_OUTER_BOUND ( 'NONE', #1002, .T. ) ;
#106 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 6.982962677686181514E-15, -1.419949629397821250E-29 ) ) ;
#107 = PLANE ( 'NONE',  #71 ) ;
#108 = ORIENTED_EDGE ( 'NONE', *, *, #223, .T. ) ;
#109 = ORIENTED_EDGE ( 'NONE', *, *, #597, .T. ) ;
#110 = ORIENTED_EDGE ( 'NONE', *, *, #605, .F. ) ;
#111 = EDGE_CURVE ( 'NONE', #687, #1307, #259, .T. ) ;
#112 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#113 = ORIENTED_EDGE ( 'NONE', *, *, #828, .F. ) ;
#114 = ORIENTED_EDGE ( 'NONE', *, *, #726, .F. ) ;
#115 = CARTESIAN_POINT ( 'NONE',  ( -0.9322848708273063778, 5.535587995102889458, 2.000000000000007105 ) ) ;
#116 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#117 = ORIENTED_EDGE ( 'NONE', *, *, #1004, .F. ) ;
#118 = CYLINDRICAL_SURFACE ( 'NONE', #1204, 1.299999999999999156 ) ;
#119 = ORIENTED_EDGE ( 'NONE', *, *, #1259, .T. ) ;
#120 = VERTEX_POINT ( 'NONE', #795 ) ;
#121 =( NAMED_UNIT ( * ) SI_UNIT ( $, .STERADIAN. ) SOLID_ANGLE_UNIT ( ) );
#122 = CARTESIAN_POINT ( 'NONE',  ( 4.475129652421903970, 17.21594357147283816, 10.00000000000000000 ) ) ;
#123 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, 0.000000000000000000, 6.000000000000000000 ) ) ;
#124 = CARTESIAN_POINT ( 'NONE',  ( -7.249999999999933387, -8.817873475082757651, 2.842039574891036757 ) ) ;
#125 = ORIENTED_EDGE ( 'NONE', *, *, #133, .F. ) ;
#126 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, 1.000000000000000000 ) ) ;
#127 = ORIENTED_EDGE ( 'NONE', *, *, #33, .T. ) ;
#128 = VECTOR ( 'NONE', #1037, 1000.000000000000000 ) ;
#129 = CARTESIAN_POINT ( 'NONE',  ( 14.00000000000000533, -13.99999999999999467, 10.00000000000000000 ) ) ;
#130 = AXIS2_PLACEMENT_3D ( 'NONE', #979, #1110, #137 ) ;
#131 = CIRCLE ( 'NONE', #1301, 4.000000000000000000 ) ;
#132 = COLOUR_RGB ( '',0.7921568627450980005, 0.8196078431372548767, 0.9333333333333333481 ) ;
#133 = EDGE_CURVE ( 'NONE', #143, #1360, #96, .T. ) ;
#134 = CARTESIAN_POINT ( 'NONE',  ( 14.00000000000000355, 15.00000000000000355, 10.00000000000000000 ) ) ;
#135 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -6.982962677686181514E-15, 1.419949629397821250E-29 ) ) ;
#136 = ORIENTED_EDGE ( 'NONE', *, *, #835, .F. ) ;
#137 = DIRECTION ( 'NONE',  ( -3.585626909612019925E-29, 3.491481338843134933E-15, -1.000000000000000000 ) ) ;
#138 = ADVANCED_FACE ( 'NONE', ( #271 ), #698, .F. ) ;
#139 = CARTESIAN_POINT ( 'NONE',  ( -7.250000000000033751, 5.535587995102852155, 6.938893903907435059E-15 ) ) ;
#140 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, 0.000000000000000000, 6.000000000000000000 ) ) ;
#141 = CARTESIAN_POINT ( 'NONE',  ( 7.249999999999991118, 2.035587995102948966, 1.249999999999994005 ) ) ;
#142 = CYLINDRICAL_SURFACE ( 'NONE', #1258, 1.000000000000000000 ) ;
#143 = VERTEX_POINT ( 'NONE', #42 ) ;
#144 = CARTESIAN_POINT ( 'NONE',  ( -13.99999999999999467, 14.00000000000000000, 10.00000000000000000 ) ) ;
#145 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#146 = CARTESIAN_POINT ( 'NONE',  ( -7.250000000000023981, 3.974338495503246804, 1.250000000000000000 ) ) ;
#147 = CARTESIAN_POINT ( 'NONE',  ( -13.99999999999999289, -15.00000000000000178, 10.00000000000000000 ) ) ;
#148 = ORIENTED_EDGE ( 'NONE', *, *, #43, .T. ) ;
#149 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#150 = AXIS2_PLACEMENT_3D ( 'NONE', #624, #1068, #221 ) ;
#151 = EDGE_CURVE ( 'NONE', #660, #243, #469, .T. ) ;
#152 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#153 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#154 = CIRCLE ( 'NONE', #740, 2.000000000000000000 ) ;
#155 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#156 = VECTOR ( 'NONE', #1410, 1000.000000000000000 ) ;
#157 = EDGE_LOOP ( 'NONE', ( #496, #54 ) ) ;
#158 = AXIS2_PLACEMENT_3D ( 'NONE', #53, #24, #375 ) ;
#159 = AXIS2_PLACEMENT_3D ( 'NONE', #516, #956, #720 ) ;
#160 = ORIENTED_EDGE ( 'NONE', *, *, #325, .T. ) ;
#161 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#162 = CARTESIAN_POINT ( 'NONE',  ( 2.208597168362657737, 5.670320264477152428, 10.00000000000000000 ) ) ;
#163 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#164 = EDGE_CURVE ( 'NONE', #413, #907, #1140, .T. ) ;
#165 = EDGE_LOOP ( 'NONE', ( #1219, #1043, #1299, #284, #1190, #1317 ) ) ;
#166 = CARTESIAN_POINT ( 'NONE',  ( -14.99999999999999645, 14.00000000000000000, 0.000000000000000000 ) ) ;
#167 = APPLICATION_CONTEXT ( 'automotive_design' ) ;
#168 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -1.734723475976807094E-16, 0.000000000000000000 ) ) ;
#169 = EDGE_CURVE ( 'NONE', #1331, #678, #1276, .T. ) ;
#170 = ORIENTED_EDGE ( 'NONE', *, *, #1089, .T. ) ;
#171 = DIRECTION ( 'NONE',  ( -6.953143758397422887E-15, 0.9957297610391011577, 0.09231599526092201802 ) ) ;
#172 = CARTESIAN_POINT ( 'NONE',  ( -0.5099725996093311675, 4.839167382431436515, 1.876630194623527093 ) ) ;
#173 = ORIENTED_EDGE ( 'NONE', *, *, #883, .T. ) ;
#174 = EDGE_CURVE ( 'NONE', #971, #830, #49, .T. ) ;
#175 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#176 = AXIS2_PLACEMENT_3D ( 'NONE', #28, #1343, #357 ) ;
#177 = CIRCLE ( 'NONE', #60, 0.4000000000000001887 ) ;
#178 = EDGE_CURVE ( 'NONE', #3, #16, #807, .T. ) ;
#179 = EDGE_LOOP ( 'NONE', ( #546, #404, #712, #410 ) ) ;
#180 = CARTESIAN_POINT ( 'NONE',  ( 4.475129652421903970, -17.21594357147283816, 6.000000000000000000 ) ) ;
#181 = EDGE_LOOP ( 'NONE', ( #620, #234 ) ) ;
#182 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#183 = VERTEX_POINT ( 'NONE', #1352 ) ;
#184 = EDGE_CURVE ( 'NONE', #505, #1041, #509, .T. ) ;
#185 = LINE ( 'NONE', #198, #1034 ) ;
#186 = FACE_OUTER_BOUND ( 'NONE', #467, .T. ) ;
#187 = ORIENTED_EDGE ( 'NONE', *, *, #781, .T. ) ;
#188 = CARTESIAN_POINT ( 'NONE',  ( -0.9414028316373429517, 5.670320264477152428, 1.995456643374967864 ) ) ;
#189 = CIRCLE ( 'NONE', #975, 0.9999999999999991118 ) ;
#190 = FACE_OUTER_BOUND ( 'NONE', #233, .T. ) ;
#191 = ORIENTED_EDGE ( 'NONE', *, *, #735, .T. ) ;
#192 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#193 = EDGE_CURVE ( 'NONE', #1254, #1036, #841, .T. ) ;
#194 = ORIENTED_EDGE ( 'NONE', *, *, #820, .T. ) ;
#195 = CARTESIAN_POINT ( 'NONE',  ( -0.2113723925511011292, 6.641898773205451079, 1.667219322782900415 ) ) ;
#196 = DIRECTION ( 'NONE',  ( 1.734723475976807094E-16, -1.000000000000000000, 0.000000000000000000 ) ) ;
#197 = AXIS2_PLACEMENT_3D ( 'NONE', #1005, #1273, #399 ) ;
#198 = CARTESIAN_POINT ( 'NONE',  ( 15.00000000000000533, -14.99999999999999645, 0.000000000000000000 ) ) ;
#199 = AXIS2_PLACEMENT_3D ( 'NONE', #277, #1365, #897 ) ;
#200 = CIRCLE ( 'NONE', #565, 0.9999999999999991118 ) ;
#201 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE( 1.000000000000000082E-05 ), #258, 'distance_accuracy_value', 'NONE');
#202 = AXIS2_PLACEMENT_3D ( 'NONE', #790, #218, #458 ) ;
#203 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#204 = ORIENTED_EDGE ( 'NONE', *, *, #925, .F. ) ;
#205 = ADVANCED_FACE ( 'NONE', ( #1378 ), #822, .T. ) ;
#206 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 6.982962677686182302E-15, -1.419949629397821250E-29 ) ) ;
#207 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 1.734723475976807094E-16, 0.000000000000000000 ) ) ;
#208 = ORIENTED_EDGE ( 'NONE', *, *, #783, .F. ) ;
#209 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#210 = EDGE_LOOP ( 'NONE', ( #1423, #1402, #68, #794 ) ) ;
#211 = CARTESIAN_POINT ( 'NONE',  ( -9.700000000000001066, 1.592040838891559588E-16, 6.000000000000000000 ) ) ;
#212 = VERTEX_POINT ( 'NONE', #1059 ) ;
#213 = EDGE_CURVE ( 'NONE', #387, #705, #511, .T. ) ;
#214 = CARTESIAN_POINT ( 'NONE',  ( 15.00000000000000533, -14.99999999999999645, 10.00000000000000000 ) ) ;
#215 = LINE ( 'NONE', #984, #378 ) ;
#216 = FACE_OUTER_BOUND ( 'NONE', #725, .T. ) ;
#217 = CIRCLE ( 'NONE', #441, 0.9999999999999991118 ) ;
#218 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#219 = CYLINDRICAL_SURFACE ( 'NONE', #486, 2.149999999999999911 ) ;
#220 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 4.336808689942017736E-15, -1.000000000000000000 ) ) ;
#221 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 3.469446951953614189E-15, -1.000000000000000000 ) ) ;
#222 = VERTEX_POINT ( 'NONE', #922 ) ;
#223 = EDGE_CURVE ( 'NONE', #660, #1149, #38, .T. ) ;
#224 = ORIENTED_EDGE ( 'NONE', *, *, #164, .F. ) ;
#225 = ORIENTED_EDGE ( 'NONE', *, *, #315, .F. ) ;
#226 = AXIS2_PLACEMENT_3D ( 'NONE', #1295, #933, #1044 ) ;
#227 = CARTESIAN_POINT ( 'NONE',  ( -4.475129652421903970, 17.21594357147283816, 10.00000000000000000 ) ) ;
#228 = ORIENTED_EDGE ( 'NONE', *, *, #1400, .T. ) ;
#229 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -6.982962677686181514E-15, 1.419949629397821250E-29 ) ) ;
#230 = FACE_BOUND ( 'NONE', #1106, .T. ) ;
#231 = EDGE_LOOP ( 'NONE', ( #113, #920, #1154, #973 ) ) ;
#232 = CARTESIAN_POINT ( 'NONE',  ( -8.055233374359428211, -15.00000000000000000, 10.00000000000000000 ) ) ;
#233 = EDGE_LOOP ( 'NONE', ( #392, #1338, #418, #1372 ) ) ;
#234 = ORIENTED_EDGE ( 'NONE', *, *, #390, .T. ) ;
#235 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -0.000000000000000000, 1.000000000000000000 ) ) ;
#236 =( GEOMETRIC_REPRESENTATION_CONTEXT ( 3 ) GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ( ( #1266 ) ) GLOBAL_UNIT_ASSIGNED_CONTEXT ( ( #1215, #1312, #121 ) ) REPRESENTATION_CONTEXT ( 'NONE', 'WORKASPACE' ) );
#237 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, 0.000000000000000000, 6.000000000000000000 ) ) ;
#238 = CARTESIAN_POINT ( 'NONE',  ( -8.055233374359429988, 15.00000000000000000, 10.00000000000000000 ) ) ;
#239 = ORIENTED_EDGE ( 'NONE', *, *, #1261, .T. ) ;
#240 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#241 = EDGE_CURVE ( 'NONE', #1038, #413, #1148, .T. ) ;
#242 = SHAPE_DEFINITION_REPRESENTATION ( #791, #599 ) ;
#243 = VERTEX_POINT ( 'NONE', #519 ) ;
#244 = EDGE_CURVE ( 'NONE', #1007, #342, #154, .T. ) ;
#245 = CYLINDRICAL_SURFACE ( 'NONE', #1138, 4.000000000000000000 ) ;
#246 = DIRECTION ( 'NONE',  ( 6.982962677686181514E-15, -1.000000000000000000, -0.000000000000000000 ) ) ;
#247 = ORIENTED_EDGE ( 'NONE', *, *, #436, .F. ) ;
#248 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#249 = AXIS2_PLACEMENT_3D ( 'NONE', #464, #893, #364 ) ;
#250 = CYLINDRICAL_SURFACE ( 'NONE', #872, 1.000000000000000888 ) ;
#251 = CIRCLE ( 'NONE', #826, 0.4000000000000000222 ) ;
#252 = AXIS2_PLACEMENT_3D ( 'NONE', #1405, #82, #321 ) ;
#253 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#254 = CARTESIAN_POINT ( 'NONE',  ( 1.000000000000000000, -0.2867928525860041766, 10.00000000000000000 ) ) ;
#255 = EDGE_LOOP ( 'NONE', ( #173, #896, #397, #109 ) ) ;
#256 = EDGE_CURVE ( 'NONE', #951, #143, #1071, .T. ) ;
#257 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -1.734723475976807094E-16, 0.000000000000000000 ) ) ;
#258 =( LENGTH_UNIT ( ) NAMED_UNIT ( * ) SI_UNIT ( .MILLI., .METRE. ) );
#259 = LINE ( 'NONE', #266, #537 ) ;
#260 = VERTEX_POINT ( 'NONE', #1042 ) ;
#261 = FACE_BOUND ( 'NONE', #1174, .T. ) ;
#262 = PLANE ( 'NONE',  #1012 ) ;
#263 = ORIENTED_EDGE ( 'NONE', *, *, #828, .T. ) ;
#264 = EDGE_CURVE ( 'NONE', #1307, #3, #291, .T. ) ;
#265 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#266 = CARTESIAN_POINT ( 'NONE',  ( 8.055233374359428211, 15.00000000000000178, 10.00000000000000000 ) ) ;
#267 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#268 = ORIENTED_EDGE ( 'NONE', *, *, #597, .F. ) ;
#269 = EDGE_CURVE ( 'NONE', #433, #31, #621, .T. ) ;
#270 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#271 = FACE_OUTER_BOUND ( 'NONE', #611, .T. ) ;
#272 = LINE ( 'NONE', #30, #62 ) ;
#273 = AXIS2_PLACEMENT_3D ( 'NONE', #924, #270, #152 ) ;
#274 = ORIENTED_EDGE ( 'NONE', *, *, #783, .T. ) ;
#275 = VECTOR ( 'NONE', #473, 1000.000000000000000 ) ;
#276 = AXIS2_PLACEMENT_3D ( 'NONE', #1424, #1064, #72 ) ;
#277 = CARTESIAN_POINT ( 'NONE',  ( -7.250000000000033751, 5.535587995102852155, 6.938893903907435059E-15 ) ) ;
#278 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 6.982962677686182302E-15, -1.419949629397821250E-29 ) ) ;
#279 = ADVANCED_FACE ( 'NONE', ( #1164 ), #69, .T. ) ;
#280 = EDGE_LOOP ( 'NONE', ( #1414, #239, #739, #367 ) ) ;
#281 = ORIENTED_EDGE ( 'NONE', *, *, #315, .T. ) ;
#282 = CARTESIAN_POINT ( 'NONE',  ( -14.99999999999999645, 14.00000000000000000, 10.00000000000000000 ) ) ;
#283 = ADVANCED_FACE ( 'NONE', ( #927 ), #502, .F. ) ;
#284 = ORIENTED_EDGE ( 'NONE', *, *, #484, .T. ) ;
#285 = EDGE_CURVE ( 'NONE', #1254, #1163, #938, .T. ) ;
#286 = CARTESIAN_POINT ( 'NONE',  ( 1.058597168362848340, 5.804146946446469002, 1.986420730405259683 ) ) ;
#287 = ORIENTED_EDGE ( 'NONE', *, *, #443, .T. ) ;
#288 = CARTESIAN_POINT ( 'NONE',  ( -8.055233374359429988, 15.00000000000000000, 6.000000000000000000 ) ) ;
#289 = ORIENTED_EDGE ( 'NONE', *, *, #67, .F. ) ;
#290 = CARTESIAN_POINT ( 'NONE',  ( 7.249999999999991118, 2.035587995102940528, 4.249999999999994671 ) ) ;
#291 = CIRCLE ( 'NONE', #398, 4.000000000000000000 ) ;
#292 = VECTOR ( 'NONE', #1020, 1000.000000000000000 ) ;
#293 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#294 = FACE_BOUND ( 'NONE', #943, .T. ) ;
#295 = VERTEX_POINT ( 'NONE', #1286 ) ;
#296 = CARTESIAN_POINT ( 'NONE',  ( -8.055233374359429988, 15.00000000000000000, 10.00000000000000000 ) ) ;
#297 = EDGE_CURVE ( 'NONE', #833, #1340, #658, .T. ) ;
#298 = LINE ( 'NONE', #1060, #948 ) ;
#299 = CARTESIAN_POINT ( 'NONE',  ( 1.058597168362657603, 5.670320264477152428, 10.00000000000000000 ) ) ;
#300 = CARTESIAN_POINT ( 'NONE',  ( -13.99999999999999289, -14.00000000000000000, 10.00000000000000000 ) ) ;
#301 = ORIENTED_EDGE ( 'NONE', *, *, #213, .F. ) ;
#302 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#303 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, 1.000000000000000000 ) ) ;
#304 = EDGE_LOOP ( 'NONE', ( #1094, #1262, #662, #1416 ) ) ;
#305 = CARTESIAN_POINT ( 'NONE',  ( -7.250000000000047962, 7.535587995102852155, 0.000000000000000000 ) ) ;
#306 = ADVANCED_FACE ( 'NONE', ( #1184 ), #330, .T. ) ;
#307 = DIRECTION ( 'NONE',  ( 6.451416294204483570E-15, -0.9238795325112877377, 0.3826834323650872283 ) ) ;
#308 = VERTEX_POINT ( 'NONE', #879 ) ;
#309 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#310 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#311 = CIRCLE ( 'NONE', #1385, 4.000000000000000000 ) ;
#312 = AXIS2_PLACEMENT_3D ( 'NONE', #569, #997, #23 ) ;
#313 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#314 = PRESENTATION_LAYER_ASSIGNMENT (  '', '', ( #919 ) ) ;
#315 = EDGE_CURVE ( 'NONE', #921, #951, #683, .T. ) ;
#316 = EDGE_LOOP ( 'NONE', ( #224, #446, #627, #716 ) ) ;
#317 = ORIENTED_EDGE ( 'NONE', *, *, #974, .F. ) ;
#318 = CARTESIAN_POINT ( 'NONE',  ( -2.091402831637342530, 5.670320264477152428, 10.00000000000000000 ) ) ;
#319 = FACE_BOUND ( 'NONE', #772, .T. ) ;
#320 = PLANE ( 'NONE',  #707 ) ;
#321 = DIRECTION ( 'NONE',  ( 5.782411586589357392E-17, -1.000000000000000000, 0.000000000000000000 ) ) ;
#322 = EDGE_LOOP ( 'NONE', ( #492, #402, #1225, #547 ) ) ;
#323 = CARTESIAN_POINT ( 'NONE',  ( -14.99999999999999645, -15.00000000000000178, 10.00000000000000000 ) ) ;
#324 = CARTESIAN_POINT ( 'NONE',  ( 1.000000000000000000, -2.286792852586003288, 3.849263871118254965 ) ) ;
#325 = EDGE_CURVE ( 'NONE', #966, #1152, #857, .T. ) ;
#326 = CARTESIAN_POINT ( 'NONE',  ( -12.29999999999999893, 0.000000000000000000, 6.000000000000000000 ) ) ;
#327 = PRODUCT_CONTEXT ( 'NONE', #610, 'mechanical' ) ;
#328 = CIRCLE ( 'NONE', #1130, 5.000000000000000000 ) ;
#329 = FACE_OUTER_BOUND ( 'NONE', #181, .T. ) ;
#330 = CYLINDRICAL_SURFACE ( 'NONE', #646, 0.4000000000000000222 ) ;
#331 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -0.000000000000000000, 1.000000000000000000 ) ) ;
#332 = ORIENTED_EDGE ( 'NONE', *, *, #1058, .F. ) ;
#333 = LINE ( 'NONE', #874, #711 ) ;
#334 = AXIS2_PLACEMENT_3D ( 'NONE', #843, #746, #209 ) ;
#335 = AXIS2_PLACEMENT_3D ( 'NONE', #352, #776, #1226 ) ;
#336 = EDGE_LOOP ( 'NONE', ( #963, #1017, #136, #440 ) ) ;
#337 = CYLINDRICAL_SURFACE ( 'NONE', #176, 4.000000000000000000 ) ;
#338 = CARTESIAN_POINT ( 'NONE',  ( -7.250000000000009770, 2.035587995102848158, 1.249999999999994005 ) ) ;
#339 = CARTESIAN_POINT ( 'NONE',  ( -1.000000000000000000, -0.2867928525860042877, 4.034687665551366820 ) ) ;
#340 = VERTEX_POINT ( 'NONE', #1207 ) ;
#341 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#342 = VERTEX_POINT ( 'NONE', #430 ) ;
#343 = EDGE_CURVE ( 'NONE', #76, #687, #311, .T. ) ;
#344 = VERTEX_POINT ( 'NONE', #748 ) ;
#345 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -6.982962677686181514E-15, 1.419949629397821250E-29 ) ) ;
#346 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#347 = VERTEX_POINT ( 'NONE', #318 ) ;
#348 = LINE ( 'NONE', #1221, #523 ) ;
#349 = AXIS2_PLACEMENT_3D ( 'NONE', #859, #744, #75 ) ;
#350 = ADVANCED_FACE ( 'NONE', ( #976 ), #1309, .F. ) ;
#351 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#352 = CARTESIAN_POINT ( 'NONE',  ( -11.00000000000000000, 0.000000000000000000, 6.000000000000000000 ) ) ;
#353 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 1.734723475976807094E-16, -0.000000000000000000 ) ) ;
#354 = DIRECTION ( 'NONE',  ( -3.585626909612019925E-29, 3.491481338843134933E-15, -1.000000000000000000 ) ) ;
#355 = ORIENTED_EDGE ( 'NONE', *, *, #416, .T. ) ;
#356 = PRESENTATION_STYLE_ASSIGNMENT (( #1341 ) ) ;
#357 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#358 = AXIS2_PLACEMENT_3D ( 'NONE', #1192, #534, #116 ) ;
#359 = EDGE_CURVE ( 'NONE', #966, #1214, #651, .T. ) ;
#360 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#361 = CARTESIAN_POINT ( 'NONE',  ( 12.29999999999999893, 1.592040838891558849E-16, 6.000000000000000000 ) ) ;
#362 = VERTEX_POINT ( 'NONE', #5 ) ;
#363 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 6.982962677686182302E-15, -1.419949629397821250E-29 ) ) ;
#364 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#365 = FACE_OUTER_BOUND ( 'NONE', #1288, .T. ) ;
#366 = VERTEX_POINT ( 'NONE', #952 ) ;
#367 = ORIENTED_EDGE ( 'NONE', *, *, #151, .F. ) ;
#368 = ADVANCED_FACE ( 'NONE', ( #869 ), #219, .F. ) ;
#369 =( NAMED_UNIT ( * ) PLANE_ANGLE_UNIT ( ) SI_UNIT ( $, .RADIAN. ) );
#370 = CARTESIAN_POINT ( 'NONE',  ( 1.049479207552623361, 5.535587995102903669, 2.000000000000007105 ) ) ;
#371 = CIRCLE ( 'NONE', #1167, 1.299999999999999156 ) ;
#372 = CARTESIAN_POINT ( 'NONE',  ( 7.249999999999991118, 2.035587995102948966, 1.249999999999994005 ) ) ;
#373 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -1.000000000000000000, -0.000000000000000000 ) ) ;
#374 = ORIENTED_EDGE ( 'NONE', *, *, #1411, .T. ) ;
#375 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#376 = CARTESIAN_POINT ( 'NONE',  ( -7.249999999999966249, -4.047083732381845600, -2.695250647785930727E-14 ) ) ;
#377 = AXIS2_PLACEMENT_3D ( 'NONE', #723, #393, #598 ) ;
#378 = VECTOR ( 'NONE', #880, 1000.000000000000000 ) ;
#379 = ORIENTED_EDGE ( 'NONE', *, *, #359, .F. ) ;
#380 = STYLED_ITEM ( 'NONE', ( #356 ), #602 ) ;
#381 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#382 = EDGE_CURVE ( 'NONE', #803, #1007, #742, .T. ) ;
#383 = ORIENTED_EDGE ( 'NONE', *, *, #193, .T. ) ;
#384 = LINE ( 'NONE', #66, #1157 ) ;
#385 = ADVANCED_FACE ( 'NONE', ( #105 ), #769, .F. ) ;
#386 = PRODUCT_DEFINITION_CONTEXT ( 'detailed design', #167, 'design' ) ;
#387 = VERTEX_POINT ( 'NONE', #1099 ) ;
#388 = CARTESIAN_POINT ( 'NONE',  ( -0.4504710756581091768, 6.540778698506191979, 1.730068050048361616 ) ) ;
#389 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#390 = EDGE_CURVE ( 'NONE', #630, #366, #847, .T. ) ;
#391 = CIRCLE ( 'NONE', #349, 1.299999999999999156 ) ;
#392 = ORIENTED_EDGE ( 'NONE', *, *, #1261, .F. ) ;
#393 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#394 = VECTOR ( 'NONE', #1409, 1000.000000000000000 ) ;
#395 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#396 = EDGE_CURVE ( 'NONE', #366, #630, #1235, .T. ) ;
#397 = ORIENTED_EDGE ( 'NONE', *, *, #178, .F. ) ;
#398 = AXIS2_PLACEMENT_3D ( 'NONE', #1153, #1393, #175 ) ;
#399 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#400 = VECTOR ( 'NONE', #533, 1000.000000000000000 ) ;
#401 = AXIS2_PLACEMENT_3D ( 'NONE', #63, #395, #389 ) ;
#402 = ORIENTED_EDGE ( 'NONE', *, *, #1369, .F. ) ;
#403 = CARTESIAN_POINT ( 'NONE',  ( 7.249999999999991118, 2.035587995102948966, 1.249999999999994005 ) ) ;
#404 = ORIENTED_EDGE ( 'NONE', *, *, #1117, .T. ) ;
#405 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#406 = ORIENTED_EDGE ( 'NONE', *, *, #1066, .F. ) ;
#407 = CARTESIAN_POINT ( 'NONE',  ( 15.00000000000000355, 15.00000000000000355, 10.00000000000000000 ) ) ;
#408 = EDGE_CURVE ( 'NONE', #618, #347, #525, .T. ) ;
#409 = FACE_OUTER_BOUND ( 'NONE', #993, .T. ) ;
#410 = ORIENTED_EDGE ( 'NONE', *, *, #297, .T. ) ;
#411 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#412 = CARTESIAN_POINT ( 'NONE',  ( 1.049479207552623361, 5.535587995102903669, 2.000000000000007105 ) ) ;
#413 = VERTEX_POINT ( 'NONE', #983 ) ;
#414 = CARTESIAN_POINT ( 'NONE',  ( 0.8567142024873686257, 6.286183837891628379, 1.856480177650348340 ) ) ;
#415 = CARTESIAN_POINT ( 'NONE',  ( -13.99999999999999289, -15.00000000000000178, 10.00000000000000000 ) ) ;
#416 = EDGE_CURVE ( 'NONE', #1163, #704, #80, .T. ) ;
#417 = DIRECTION ( 'NONE',  ( -2.672264125574238089E-15, 0.3826834323650872838, 0.9238795325112877377 ) ) ;
#418 = ORIENTED_EDGE ( 'NONE', *, *, #151, .T. ) ;
#419 = FACE_OUTER_BOUND ( 'NONE', #797, .T. ) ;
#420 = ORIENTED_EDGE ( 'NONE', *, *, #529, .F. ) ;
#421 = CARTESIAN_POINT ( 'NONE',  ( -7.250000000000047962, 7.535587995102852155, 0.000000000000000000 ) ) ;
#422 = CARTESIAN_POINT ( 'NONE',  ( -13.99999999999999467, 14.99999999999999822, 10.00000000000000000 ) ) ;
#423 = PLANE ( 'NONE',  #1251 ) ;
#424 = AXIS2_PLACEMENT_3D ( 'NONE', #237, #91, #638 ) ;
#425 = VECTOR ( 'NONE', #1427, 1000.000000000000000 ) ;
#426 = VECTOR ( 'NONE', #353, 1000.000000000000000 ) ;
#427 = EDGE_CURVE ( 'NONE', #295, #73, #743, .T. ) ;
#428 = EDGE_CURVE ( 'NONE', #308, #387, #792, .T. ) ;
#429 = EDGE_LOOP ( 'NONE', ( #90, #1188 ) ) ;
#430 = CARTESIAN_POINT ( 'NONE',  ( -7.250000000000033751, 5.535587995102895675, 2.000000000000007105 ) ) ;
#431 = CARTESIAN_POINT ( 'NONE',  ( -7.250000000000033751, 5.535587995102845049, 2.000000000000007105 ) ) ;
#432 = CARTESIAN_POINT ( 'NONE',  ( 12.29999999999999893, 1.592040838891559588E-16, 0.000000000000000000 ) ) ;
#433 = VERTEX_POINT ( 'NONE', #465 ) ;
#434 = LINE ( 'NONE', #1291, #450 ) ;
#435 = FACE_OUTER_BOUND ( 'NONE', #1302, .T. ) ;
#436 = EDGE_CURVE ( 'NONE', #1340, #1278, #584, .T. ) ;
#437 = CARTESIAN_POINT ( 'NONE',  ( -7.249999999999933387, -8.970946848028789944, 2.472487761886521973 ) ) ;
#438 = CARTESIAN_POINT ( 'NONE',  ( 7.250000000000033751, -4.047083732381744348, -2.695250647785951237E-14 ) ) ;
#439 = CARTESIAN_POINT ( 'NONE',  ( -11.00000000000000000, 0.000000000000000000, 6.000000000000000000 ) ) ;
#440 = ORIENTED_EDGE ( 'NONE', *, *, #428, .F. ) ;
#441 = AXIS2_PLACEMENT_3D ( 'NONE', #1165, #1173, #310 ) ;
#442 = CARTESIAN_POINT ( 'NONE',  ( -7.249999999999923617, -10.46441200489715762, 3.091101284793056792 ) ) ;
#443 = EDGE_CURVE ( 'NONE', #728, #1371, #1321, .T. ) ;
#444 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#445 = CARTESIAN_POINT ( 'NONE',  ( 1.000000000000000000, -0.2867928525860041766, 4.034687665551365043 ) ) ;
#446 = ORIENTED_EDGE ( 'NONE', *, *, #1342, .F. ) ;
#447 = LINE ( 'NONE', #455, #775 ) ;
#448 = VECTOR ( 'NONE', #868, 1000.000000000000114 ) ;
#449 = AXIS2_PLACEMENT_3D ( 'NONE', #1000, #345, #894 ) ;
#450 = VECTOR ( 'NONE', #307, 1000.000000000000114 ) ;
#451 = CARTESIAN_POINT ( 'NONE',  ( 4.475129652421903970, 17.21594357147283816, 6.000000000000000000 ) ) ;
#452 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#453 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -14.98587303581388497, 6.000000000000000000 ) ) ;
#454 = ORIENTED_EDGE ( 'NONE', *, *, #1345, .F. ) ;
#455 = CARTESIAN_POINT ( 'NONE',  ( 15.00000000000000533, -13.99999999999999467, 10.00000000000000000 ) ) ;
#456 = ADVANCED_FACE ( 'NONE', ( #784, #261 ), #459, .T. ) ;
#457 = VECTOR ( 'NONE', #126, 1000.000000000000000 ) ;
#458 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#459 = PLANE ( 'NONE',  #1111 ) ;
#460 = LINE ( 'NONE', #466, #490 ) ;
#461 = EDGE_LOOP ( 'NONE', ( #684, #730, #187, #1116 ) ) ;
#462 = CARTESIAN_POINT ( 'NONE',  ( -4.475129652421903970, -17.21594357147283816, 6.000000000000000000 ) ) ;
#463 = LINE ( 'NONE', #1120, #61 ) ;
#464 = CARTESIAN_POINT ( 'NONE',  ( -11.00000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#465 = CARTESIAN_POINT ( 'NONE',  ( 15.00000000000000355, 14.00000000000000178, 0.000000000000000000 ) ) ;
#466 = CARTESIAN_POINT ( 'NONE',  ( -7.250000000000009770, 2.035587995102839276, 4.249999999999994671 ) ) ;
#467 = EDGE_LOOP ( 'NONE', ( #556, #606, #1380, #890, #2, #97, #668, #903, #170, #1242, #810, #645, #786, #355, #1057, #799 ) ) ;
#468 = VECTOR ( 'NONE', #1426, 1000.000000000000000 ) ;
#469 = LINE ( 'NONE', #585, #1136 ) ;
#470 = EDGE_CURVE ( 'NONE', #866, #971, #131, .T. ) ;
#471 = FACE_OUTER_BOUND ( 'NONE', #733, .T. ) ;
#472 = ORIENTED_EDGE ( 'NONE', *, *, #936, .T. ) ;
#473 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#474 = FACE_OUTER_BOUND ( 'NONE', #587, .T. ) ;
#475 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#476 = FACE_BOUND ( 'NONE', #1391, .T. ) ;
#477 = ADVANCED_FACE ( 'NONE', ( #1124 ), #245, .F. ) ;
#478 = ORIENTED_EDGE ( 'NONE', *, *, #1189, .F. ) ;
#479 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#480 = CARTESIAN_POINT ( 'NONE',  ( 0.05859716836265765894, 5.670320264477152428, 5.899999999999999467 ) ) ;
#481 = ORIENTED_EDGE ( 'NONE', *, *, #43, .F. ) ;
#482 = ORIENTED_EDGE ( 'NONE', *, *, #169, .T. ) ;
#483 = CYLINDRICAL_SURFACE ( 'NONE', #199, 2.000000000000000000 ) ;
#484 = EDGE_CURVE ( 'NONE', #1360, #73, #1336, .T. ) ;
#485 = CYLINDRICAL_SURFACE ( 'NONE', #1257, 2.149999999999999911 ) ;
#486 = AXIS2_PLACEMENT_3D ( 'NONE', #1191, #754, #631 ) ;
#487 = CIRCLE ( 'NONE', #401, 1.250000000000000000 ) ;
#488 = ORIENTED_EDGE ( 'NONE', *, *, #694, .T. ) ;
#489 = AXIS2_PLACEMENT_3D ( 'NONE', #1362, #1142, #570 ) ;
#490 = VECTOR ( 'NONE', #887, 1000.000000000000000 ) ;
#491 = CARTESIAN_POINT ( 'NONE',  ( -0.9414028316373427296, 5.805982567704463193, 1.986296790143857738 ) ) ;
#492 = ORIENTED_EDGE ( 'NONE', *, *, #592, .F. ) ;
#493 = EDGE_CURVE ( 'NONE', #1007, #295, #676, .T. ) ;
#494 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#495 = ORIENTED_EDGE ( 'NONE', *, *, #256, .F. ) ;
#496 = ORIENTED_EDGE ( 'NONE', *, *, #884, .F. ) ;
#497 = DIRECTION ( 'NONE',  ( 3.181843266650283927E-29, -2.913240180184199366E-15, 1.000000000000000000 ) ) ;
#498 = EDGE_LOOP ( 'NONE', ( #420, #653, #524, #1123 ) ) ;
#499 = CARTESIAN_POINT ( 'NONE',  ( 15.00000000000000355, 15.00000000000000355, 10.00000000000000000 ) ) ;
#500 = EDGE_CURVE ( 'NONE', #907, #295, #578, .T. ) ;
#501 = VERTEX_POINT ( 'NONE', #580 ) ;
#502 = PLANE ( 'NONE',  #898 ) ;
#503 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -0.2867928525860042877, 10.00000000000000000 ) ) ;
#504 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE( 1.000000000000000082E-05 ), #845, 'distance_accuracy_value', 'NONE');
#505 = VERTEX_POINT ( 'NONE', #1009 ) ;
#506 = FACE_BOUND ( 'NONE', #157, .T. ) ;
#507 = ORIENTED_EDGE ( 'NONE', *, *, #1411, .F. ) ;
#508 = ADVANCED_FACE ( 'NONE', ( #804 ), #913, .F. ) ;
#509 = CIRCLE ( 'NONE', #197, 4.000000000000000000 ) ;
#510 = CIRCLE ( 'NONE', #312, 1.000000000000000000 ) ;
#511 = LINE ( 'NONE', #1293, #714 ) ;
#512 = AXIS2_PLACEMENT_3D ( 'NONE', #1024, #1135, #381 ) ;
#513 = CARTESIAN_POINT ( 'NONE',  ( 8.055233374359428211, 15.00000000000000178, 6.000000000000000000 ) ) ;
#514 = ORIENTED_EDGE ( 'NONE', *, *, #813, .F. ) ;
#515 = CARTESIAN_POINT ( 'NONE',  ( 15.00000000000000533, -14.99999999999999645, 0.000000000000000000 ) ) ;
#516 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 10.00000000000000000 ) ) ;
#517 = ORIENTED_EDGE ( 'NONE', *, *, #169, .F. ) ;
#518 = EDGE_CURVE ( 'NONE', #704, #532, #998, .T. ) ;
#519 = CARTESIAN_POINT ( 'NONE',  ( -1.000000000000000000, -0.2867928525860042877, 4.034687665551366820 ) ) ;
#520 = LINE ( 'NONE', #415, #394 ) ;
#521 = FACE_OUTER_BOUND ( 'NONE', #1285, .T. ) ;
#522 = LINE ( 'NONE', #1390, #935 ) ;
#523 = VECTOR ( 'NONE', #257, 1000.000000000000000 ) ;
#524 = ORIENTED_EDGE ( 'NONE', *, *, #184, .F. ) ;
#525 = LINE ( 'NONE', #557, #400 ) ;
#526 = EDGE_CURVE ( 'NONE', #56, #222, #697, .T. ) ;
#527 = CARTESIAN_POINT ( 'NONE',  ( 8.055233374359428211, -14.99999999999999822, 10.00000000000000000 ) ) ;
#528 = LINE ( 'NONE', #299, #1386 ) ;
#529 = EDGE_CURVE ( 'NONE', #1080, #260, #12, .T. ) ;
#530 = AXIS2_PLACEMENT_3D ( 'NONE', #144, #1237, #9 ) ;
#531 = CARTESIAN_POINT ( 'NONE',  ( -12.29999999999999893, 0.000000000000000000, 6.000000000000000000 ) ) ;
#532 = VERTEX_POINT ( 'NONE', #166 ) ;
#533 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, 1.000000000000000000 ) ) ;
#534 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#535 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#536 = VERTEX_POINT ( 'NONE', #681 ) ;
#537 = VECTOR ( 'NONE', #1358, 1000.000000000000000 ) ;
#538 = VECTOR ( 'NONE', #702, 1000.000000000000000 ) ;
#539 = FILL_AREA_STYLE ('',( #1081 ) ) ;
#540 = CARTESIAN_POINT ( 'NONE',  ( 14.00000000000000533, -13.99999999999999467, 10.00000000000000000 ) ) ;
#541 = ORIENTED_EDGE ( 'NONE', *, *, #101, .F. ) ;
#542 = DIRECTION ( 'NONE',  ( -1.734723475976807094E-16, 1.000000000000000000, 0.000000000000000000 ) ) ;
#543 = CARTESIAN_POINT ( 'NONE',  ( -11.00000000000000000, 0.000000000000000000, 6.000000000000000000 ) ) ;
#544 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -0.2867928525860042877, 10.00000000000000000 ) ) ;
#545 = EDGE_LOOP ( 'NONE', ( #204, #1234, #655, #7 ) ) ;
#546 = ORIENTED_EDGE ( 'NONE', *, *, #436, .T. ) ;
#547 = ORIENTED_EDGE ( 'NONE', *, *, #193, .F. ) ;
#548 = ADVANCED_FACE ( 'NONE', ( #32 ), #1238, .T. ) ;
#549 = SURFACE_STYLE_USAGE ( .BOTH. , #34 ) ;
#550 = ORIENTED_EDGE ( 'NONE', *, *, #343, .F. ) ;
#551 = CARTESIAN_POINT ( 'NONE',  ( 8.055233374359428211, 19.00000000000000000, 6.000000000000000000 ) ) ;
#552 = CARTESIAN_POINT ( 'NONE',  ( -7.249999999999968914, -3.647083732381845245, -1.140150527077243625E-28 ) ) ;
#553 = ORIENTED_EDGE ( 'NONE', *, *, #470, .F. ) ;
#554 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#555 = ORIENTED_EDGE ( 'NONE', *, *, #133, .T. ) ;
#556 = ORIENTED_EDGE ( 'NONE', *, *, #1031, .T. ) ;
#557 = CARTESIAN_POINT ( 'NONE',  ( -2.091402831637342530, 5.670320264477152428, 5.000000000000000000 ) ) ;
#558 = CARTESIAN_POINT ( 'NONE',  ( -0.9158538216095151174, 5.414746628512903115, 2.000000000000007550 ) ) ;
#559 = VERTEX_POINT ( 'NONE', #811 ) ;
#560 = ADVANCED_FACE ( 'NONE', ( #40 ), #483, .F. ) ;
#561 = CARTESIAN_POINT ( 'NONE',  ( 0.05859716836265765894, 5.670320264477152428, 10.00000000000000000 ) ) ;
#562 = AXIS2_PLACEMENT_3D ( 'NONE', #140, #1328, #571 ) ;
#563 = AXIS2_PLACEMENT_3D ( 'NONE', #503, #634, #719 ) ;
#564 = PRESENTATION_LAYER_ASSIGNMENT (  '', '', ( #380 ) ) ;
#565 = AXIS2_PLACEMENT_3D ( 'NONE', #300, #1284, #1181 ) ;
#566 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#567 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#568 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#569 = CARTESIAN_POINT ( 'NONE',  ( 0.05859716836265765894, 5.670320264477152428, 5.000000000000000000 ) ) ;
#570 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#571 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, -0.000000000000000000 ) ) ;
#572 = CARTESIAN_POINT ( 'NONE',  ( 8.055233374359428211, -19.00000000000000000, 6.000000000000000000 ) ) ;
#573 = FACE_OUTER_BOUND ( 'NONE', #280, .T. ) ;
#574 = ORIENTED_EDGE ( 'NONE', *, *, #1144, .T. ) ;
#575 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -6.982962677686181514E-15, 1.147538521714080895E-29 ) ) ;
#576 = EDGE_CURVE ( 'NONE', #823, #951, #463, .T. ) ;
#577 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, 14.98587303581388497, 10.00000000000000000 ) ) ;
#578 = LINE ( 'NONE', #141, #1388 ) ;
#579 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#580 = CARTESIAN_POINT ( 'NONE',  ( 7.250000000000032863, -3.894010359435714719, 0.3695518130044893601 ) ) ;
#581 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 4.336808689942017736E-15, -1.000000000000000000 ) ) ;
#582 = VECTOR ( 'NONE', #163, 1000.000000000000000 ) ;
#583 = VECTOR ( 'NONE', #727, 1000.000000000000000 ) ;
#584 = CIRCLE ( 'NONE', #449, 0.4000000000000001887 ) ;
#585 = CARTESIAN_POINT ( 'NONE',  ( -1.000000000000000000, -0.2867928525860042877, 10.00000000000000000 ) ) ;
#586 = DIRECTION ( 'NONE',  ( 6.982962677686181514E-15, -1.000000000000000000, -3.155944969745124223E-15 ) ) ;
#587 = EDGE_LOOP ( 'NONE', ( #1027, #1023, #555, #635, #281, #814 ) ) ;
#588 = CARTESIAN_POINT ( 'NONE',  ( 4.475129652421903970, 17.21594357147283816, 6.000000000000000000 ) ) ;
#589 = PRODUCT ( 'Formhaelfte_1', 'Formhaelfte_1', '', ( #327 ) ) ;
#590 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#591 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#592 = EDGE_CURVE ( 'NONE', #16, #1254, #1180, .T. ) ;
#593 = VERTEX_POINT ( 'NONE', #46 ) ;
#594 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#595 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#596 = ORIENTED_EDGE ( 'NONE', *, *, #1392, .F. ) ;
#597 = EDGE_CURVE ( 'NONE', #3, #76, #688, .T. ) ;
#598 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#599 = ADVANCED_BREP_SHAPE_REPRESENTATION ( 'Formhaelfte_1', ( #602, #1220 ), #1182 ) ;
#600 = CARTESIAN_POINT ( 'NONE',  ( 0.05859716836265765894, 5.670320264477152428, 10.00000000000000000 ) ) ;
#601 = CIRCLE ( 'NONE', #808, 0.4000000000000000222 ) ;
#602 = MANIFOLD_SOLID_BREP ( 'Verrundung3', #77 ) ;
#603 = ORIENTED_EDGE ( 'NONE', *, *, #500, .F. ) ;
#604 = CARTESIAN_POINT ( 'NONE',  ( 15.00000000000000355, 14.00000000000000178, 10.00000000000000000 ) ) ;
#605 = EDGE_CURVE ( 'NONE', #827, #536, #189, .T. ) ;
#606 = ORIENTED_EDGE ( 'NONE', *, *, #989, .T. ) ;
#607 = FACE_OUTER_BOUND ( 'NONE', #461, .T. ) ;
#608 = ORIENTED_EDGE ( 'NONE', *, *, #1079, .F. ) ;
#609 = CARTESIAN_POINT ( 'NONE',  ( 0.9303445477494742821, 6.177166855173243931, 1.898350634018909577 ) ) ;
#610 = APPLICATION_CONTEXT ( 'automotive_design' ) ;
#611 = EDGE_LOOP ( 'NONE', ( #553, #478, #926, #992 ) ) ;
#612 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#613 = EDGE_CURVE ( 'NONE', #678, #1331, #371, .T. ) ;
#614 = PLANE ( 'NONE',  #159 ) ;
#615 = EDGE_LOOP ( 'NONE', ( #517, #625 ) ) ;
#616 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, -0.000000000000000000 ) ) ;
#617 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#618 = VERTEX_POINT ( 'NONE', #1019 ) ;
#619 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#620 = ORIENTED_EDGE ( 'NONE', *, *, #396, .T. ) ;
#621 = LINE ( 'NONE', #604, #128 ) ;
#622 = VECTOR ( 'NONE', #994, 1000.000000000000000 ) ;
#623 = AXIS2_PLACEMENT_3D ( 'NONE', #1233, #902, #1353 ) ;
#624 = CARTESIAN_POINT ( 'NONE',  ( -7.250000000000033751, 5.535587995102852155, 6.938893903907435059E-15 ) ) ;
#625 = ORIENTED_EDGE ( 'NONE', *, *, #613, .F. ) ;
#626 = CARTESIAN_POINT ( 'NONE',  ( -8.055233374359428211, -15.00000000000000000, 6.000000000000000000 ) ) ;
#627 = ORIENTED_EDGE ( 'NONE', *, *, #1345, .T. ) ;
#628 = CARTESIAN_POINT ( 'NONE',  ( -7.250000000000009770, 2.035587995102848158, 1.249999999999994005 ) ) ;
#629 = EDGE_CURVE ( 'NONE', #687, #1036, #1425, .T. ) ;
#630 = VERTEX_POINT ( 'NONE', #1201 ) ;
#631 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#632 = ADVANCED_FACE ( 'NONE', ( #946 ), #1281, .T. ) ;
#633 = CARTESIAN_POINT ( 'NONE',  ( 1.058597168362657603, 5.670320264477152428, 5.000000000000000000 ) ) ;
#634 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#635 = ORIENTED_EDGE ( 'NONE', *, *, #1128, .T. ) ;
#636 = FACE_OUTER_BOUND ( 'NONE', #1103, .T. ) ;
#637 = ORIENTED_EDGE ( 'NONE', *, *, #726, .T. ) ;
#638 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#639 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -4.336808689942015369E-15, 1.000000000000000000 ) ) ;
#640 = CARTESIAN_POINT ( 'NONE',  ( -9.700000000000001066, 1.592040838891558849E-16, 6.000000000000000000 ) ) ;
#641 = CYLINDRICAL_SURFACE ( 'NONE', #1256, 1.299999999999999156 ) ;
#642 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#643 = CYLINDRICAL_SURFACE ( 'NONE', #1298, 0.4000000000000001887 ) ;
#644 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#645 = ORIENTED_EDGE ( 'NONE', *, *, #592, .T. ) ;
#646 = AXIS2_PLACEMENT_3D ( 'NONE', #1322, #759, #1074 ) ;
#647 = AXIS2_PLACEMENT_3D ( 'NONE', #15, #1218, #346 ) ;
#648 = EDGE_CURVE ( 'NONE', #212, #1098, #298, .T. ) ;
#649 = ORIENTED_EDGE ( 'NONE', *, *, #1169, .T. ) ;
#650 = ORIENTED_EDGE ( 'NONE', *, *, #1361, .F. ) ;
#651 = LINE ( 'NONE', #1197, #762 ) ;
#652 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, -0.000000000000000000 ) ) ;
#653 = ORIENTED_EDGE ( 'NONE', *, *, #1289, .F. ) ;
#654 = CARTESIAN_POINT ( 'NONE',  ( 7.250000000000068390, -8.970946848028688692, 2.472487761886522417 ) ) ;
#655 = ORIENTED_EDGE ( 'NONE', *, *, #576, .T. ) ;
#656 = EDGE_CURVE ( 'NONE', #819, #692, #391, .T. ) ;
#657 = ORIENTED_EDGE ( 'NONE', *, *, #1193, .T. ) ;
#658 = LINE ( 'NONE', #437, #468 ) ;
#659 = CARTESIAN_POINT ( 'NONE',  ( -7.249999999999968914, -3.647083732381845245, 0.000000000000000000 ) ) ;
#660 = VERTEX_POINT ( 'NONE', #969 ) ;
#661 = FACE_OUTER_BOUND ( 'NONE', #45, .T. ) ;
#662 = ORIENTED_EDGE ( 'NONE', *, *, #648, .T. ) ;
#663 = CARTESIAN_POINT ( 'NONE',  ( -13.99999999999999467, 14.99999999999999822, 10.00000000000000000 ) ) ;
#664 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, -0.000000000000000000 ) ) ;
#665 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -6.982962677686181514E-15, 1.419949629397821250E-29 ) ) ;
#666 = ORIENTED_EDGE ( 'NONE', *, *, #382, .T. ) ;
#667 = FACE_OUTER_BOUND ( 'NONE', #50, .T. ) ;
#668 = ORIENTED_EDGE ( 'NONE', *, *, #805, .T. ) ;
#669 = AXIS2_PLACEMENT_3D ( 'NONE', #323, #1329, #642 ) ;
#670 = CIRCLE ( 'NONE', #1084, 1.299999999999999156 ) ;
#671 = AXIS2_PLACEMENT_3D ( 'NONE', #139, #363, #701 ) ;
#672 = VECTOR ( 'NONE', #860, 1000.000000000000000 ) ;
#673 = SURFACE_STYLE_FILL_AREA ( #539 ) ;
#674 = CARTESIAN_POINT ( 'NONE',  ( 11.00000000000000000, 0.000000000000000000, 6.000000000000000000 ) ) ;
#675 = EDGE_CURVE ( 'NONE', #73, #1152, #1195, .T. ) ;
#676 = LINE ( 'NONE', #146, #876 ) ;
#677 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#678 = VERTEX_POINT ( 'NONE', #432 ) ;
#679 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#680 = EDGE_CURVE ( 'NONE', #1371, #692, #1428, .T. ) ;
#681 = CARTESIAN_POINT ( 'NONE',  ( -14.99999999999999645, -14.00000000000000000, 0.000000000000000000 ) ) ;
#682 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#683 = B_SPLINE_CURVE_WITH_KNOTS ( 'NONE', 3,
 ( #115, #1092, #960, #1303, #1217, #862 ),
 .UNSPECIFIED., .F., .F.,
 ( 4, 2, 4 ),
 ( 0.006229981457419684482, 0.006296490510245500438, 0.006362999563071316395 ),
 .UNSPECIFIED. ) ;
#684 = ORIENTED_EDGE ( 'NONE', *, *, #901, .T. ) ;
#685 = DIRECTION ( 'NONE',  ( -6.982962677686181514E-15, 1.000000000000000000, 3.155944969745124223E-15 ) ) ;
#686 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#687 = VERTEX_POINT ( 'NONE', #513 ) ;
#688 = LINE ( 'NONE', #588, #275 ) ;
#689 = ADVANCED_FACE ( 'NONE', ( #190 ), #732, .F. ) ;
#690 = CARTESIAN_POINT ( 'NONE',  ( 1.052523198590720410, 5.557974881786496901, 2.000000000000008882 ) ) ;
#691 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#692 = VERTEX_POINT ( 'NONE', #962 ) ;
#693 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#694 = EDGE_CURVE ( 'NONE', #260, #505, #1419, .T. ) ;
#695 = CARTESIAN_POINT ( 'NONE',  ( -7.249999999999968026, -3.894010359435815083, 0.3695518130044893601 ) ) ;
#696 = AXIS2_PLACEMENT_3D ( 'NONE', #889, #79, #1161 ) ;
#697 = CIRCLE ( 'NONE', #990, 1.250000000000000000 ) ;
#698 = CYLINDRICAL_SURFACE ( 'NONE', #1176, 4.000000000000000000 ) ;
#699 = VECTOR ( 'NONE', #203, 1000.000000000000000 ) ;
#700 = ORIENTED_EDGE ( 'NONE', *, *, #766, .F. ) ;
#701 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -3.469446951953614189E-15, 1.000000000000000000 ) ) ;
#702 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 1.734723475976807094E-16, -0.000000000000000000 ) ) ;
#703 = EDGE_CURVE ( 'NONE', #31, #308, #217, .T. ) ;
#704 = VERTEX_POINT ( 'NONE', #1294 ) ;
#705 = VERTEX_POINT ( 'NONE', #954 ) ;
#706 = SURFACE_STYLE_FILL_AREA ( #1264 ) ;
#707 = AXIS2_PLACEMENT_3D ( 'NONE', #750, #575, #354 ) ;
#708 = CARTESIAN_POINT ( 'NONE',  ( -0.1831368490281811146, 4.692647135301831973, 1.814270097448975605 ) ) ;
#709 = ORIENTED_EDGE ( 'NONE', *, *, #285, .F. ) ;
#710 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -0.2867928525860042877, 10.00000000000000000 ) ) ;
#711 = VECTOR ( 'NONE', #1325, 1000.000000000000000 ) ;
#712 = ORIENTED_EDGE ( 'NONE', *, *, #1015, .T. ) ;
#713 = CARTESIAN_POINT ( 'NONE',  ( 0.9999999999999995559, 1.713207147413995379, 4.220111459984475566 ) ) ;
#714 = VECTOR ( 'NONE', #1030, 1000.000000000000000 ) ;
#715 = AXIS2_PLACEMENT_3D ( 'NONE', #453, #863, #1227 ) ;
#716 = ORIENTED_EDGE ( 'NONE', *, *, #1004, .T. ) ;
#717 = CARTESIAN_POINT ( 'NONE',  ( -0.7389744421926598417, 6.286848149672846553, 1.856200141820252059 ) ) ;
#718 = ADVANCED_FACE ( 'NONE', ( #409 ), #107, .T. ) ;
#719 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#720 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, -0.000000000000000000 ) ) ;
#721 = ORIENTED_EDGE ( 'NONE', *, *, #1392, .T. ) ;
#722 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ( 'ANY', '', #589, .NOT_KNOWN. ) ;
#723 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, 14.98587303581388497, 6.000000000000000000 ) ) ;
#724 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 3.469446951953614189E-15, -1.000000000000000000 ) ) ;
#725 = EDGE_LOOP ( 'NONE', ( #709, #383, #937, #1051, #881, #1209, #1247, #888 ) ) ;
#726 = EDGE_CURVE ( 'NONE', #1263, #827, #520, .T. ) ;
#727 = DIRECTION ( 'NONE',  ( -5.782411586589357392E-17, 1.000000000000000000, 0.000000000000000000 ) ) ;
#728 = VERTEX_POINT ( 'NONE', #326 ) ;
#729 = CYLINDRICAL_SURFACE ( 'NONE', #276, 1.299999999999999156 ) ;
#730 = ORIENTED_EDGE ( 'NONE', *, *, #408, .T. ) ;
#731 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 3.469446951953614189E-15, -1.000000000000000000 ) ) ;
#732 = CYLINDRICAL_SURFACE ( 'NONE', #821, 1.000000000000000000 ) ;
#733 = EDGE_LOOP ( 'NONE', ( #550, #268, #1061, #957 ) ) ;
#734 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#735 = EDGE_CURVE ( 'NONE', #532, #705, #1199, .T. ) ;
#736 = ORIENTED_EDGE ( 'NONE', *, *, #675, .T. ) ;
#737 = ADVANCED_FACE ( 'NONE', ( #216 ), #423, .F. ) ;
#738 = CARTESIAN_POINT ( 'NONE',  ( -4.475129652421903970, 17.21594357147283816, 6.000000000000000000 ) ) ;
#739 = ORIENTED_EDGE ( 'NONE', *, *, #1243, .T. ) ;
#740 = AXIS2_PLACEMENT_3D ( 'NONE', #58, #74, #731 ) ;
#741 = AXIS2_PLACEMENT_3D ( 'NONE', #1403, #192, #1052 ) ;
#742 = LINE ( 'NONE', #338, #1108 ) ;
#743 = CIRCLE ( 'NONE', #1368, 2.000000000000000000 ) ;
#744 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#745 = VERTEX_POINT ( 'NONE', #633 ) ;
#746 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#747 = ORIENTED_EDGE ( 'NONE', *, *, #1280, .F. ) ;
#748 = CARTESIAN_POINT ( 'NONE',  ( 1.000000000000000000, -0.2867928525860041766, 4.034687665551365043 ) ) ;
#749 = CARTESIAN_POINT ( 'NONE',  ( -0.8779318279592299712, 5.299718515459374224, 1.988934305637510835 ) ) ;
#750 = CARTESIAN_POINT ( 'NONE',  ( 7.249999999999966249, 5.535587995102953407, 6.938893903907228378E-15 ) ) ;
#751 = EDGE_LOOP ( 'NONE', ( #657, #1282, #649, #574 ) ) ;
#752 = VECTOR ( 'NONE', #86, 1000.000000000000000 ) ;
#753 = EDGE_CURVE ( 'NONE', #342, #966, #756, .T. ) ;
#754 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, 1.000000000000000000 ) ) ;
#755 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#756 = CIRCLE ( 'NONE', #150, 2.000000000000000000 ) ;
#757 = ORIENTED_EDGE ( 'NONE', *, *, #241, .F. ) ;
#758 = ORIENTED_EDGE ( 'NONE', *, *, #1178, .T. ) ;
#759 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -6.982962677686181514E-15, 1.419949629397821250E-29 ) ) ;
#760 = CARTESIAN_POINT ( 'NONE',  ( -0.6887306695862942529, 4.995347822809221405, 1.927403204668533876 ) ) ;
#761 = ORIENTED_EDGE ( 'NONE', *, *, #613, .T. ) ;
#762 = VECTOR ( 'NONE', #1417, 1000.000000000000000 ) ;
#763 = CIRCLE ( 'NONE', #741, 2.149999999999999911 ) ;
#764 = LINE ( 'NONE', #18, #457 ) ;
#765 = VECTOR ( 'NONE', #1255, 1000.000000000000000 ) ;
#766 = EDGE_CURVE ( 'NONE', #340, #1080, #328, .T. ) ;
#767 = ORIENTED_EDGE ( 'NONE', *, *, #936, .F. ) ;
#768 = FACE_OUTER_BOUND ( 'NONE', #788, .T. ) ;
#769 = PLANE ( 'NONE',  #1297 ) ;
#770 = CYLINDRICAL_SURFACE ( 'NONE', #647, 1.299999999999999156 ) ;
#771 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#772 = EDGE_LOOP ( 'NONE', ( #1406, #541 ) ) ;
#773 = ADVANCED_FACE ( 'NONE', ( #1305 ), #320, .T. ) ;
#774 = ORIENTED_EDGE ( 'NONE', *, *, #174, .T. ) ;
#775 = VECTOR ( 'NONE', #1318, 1000.000000000000000 ) ;
#776 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#777 = CARTESIAN_POINT ( 'NONE',  ( 7.250000000000005329, 5.062647941322485305E-14, 0.000000000000000000 ) ) ;
#778 = ORIENTED_EDGE ( 'NONE', *, *, #325, .F. ) ;
#779 = CARTESIAN_POINT ( 'NONE',  ( 14.00000000000000355, 14.00000000000000178, 0.000000000000000000 ) ) ;
#780 = EDGE_LOOP ( 'NONE', ( #84, #191, #301, #1269, #767, #970, #1228, #861 ) ) ;
#781 = EDGE_CURVE ( 'NONE', #347, #1098, #1222, .T. ) ;
#782 = CARTESIAN_POINT ( 'NONE',  ( 1.308597168362657603, 5.670320264477152428, 5.899999999999999467 ) ) ;
#783 = EDGE_CURVE ( 'NONE', #932, #120, #447, .T. ) ;
#784 = FACE_OUTER_BOUND ( 'NONE', #429, .T. ) ;
#785 = PLANE ( 'NONE',  #623 ) ;
#786 = ORIENTED_EDGE ( 'NONE', *, *, #285, .T. ) ;
#787 = FACE_OUTER_BOUND ( 'NONE', #210, .T. ) ;
#788 = EDGE_LOOP ( 'NONE', ( #747, #978, #1078, #482 ) ) ;
#789 = AXIS2_PLACEMENT_3D ( 'NONE', #475, #905, #145 ) ;
#790 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -14.98587303581388497, 6.000000000000000000 ) ) ;
#791 = PRODUCT_DEFINITION_SHAPE ( 'NONE', 'NONE',  #92 ) ;
#792 = LINE ( 'NONE', #134, #851 ) ;
#793 = CARTESIAN_POINT ( 'NONE',  ( 8.055233374359428211, 15.00000000000000178, 10.00000000000000000 ) ) ;
#794 = ORIENTED_EDGE ( 'NONE', *, *, #518, .F. ) ;
#795 = CARTESIAN_POINT ( 'NONE',  ( 15.00000000000000533, -13.99999999999999467, 0.000000000000000000 ) ) ;
#796 = FACE_OUTER_BOUND ( 'NONE', #545, .T. ) ;
#797 = EDGE_LOOP ( 'NONE', ( #1377, #911, #228, #996 ) ) ;
#798 = ADVANCED_FACE ( 'NONE', ( #787 ), #988, .T. ) ;
#799 = ORIENTED_EDGE ( 'NONE', *, *, #1404, .T. ) ;
#800 = CARTESIAN_POINT ( 'NONE',  ( 0.6270650849066370380, 4.839208985645729655, 1.876619003082375725 ) ) ;
#801 = CARTESIAN_POINT ( 'NONE',  ( 1.057851339097853005, 5.625610161936748455, 1.998099643265189185 ) ) ;
#802 = CARTESIAN_POINT ( 'NONE',  ( -7.249999999999933387, -8.970946848028789944, 2.472487761886522417 ) ) ;
#803 = VERTEX_POINT ( 'NONE', #1339 ) ;
#804 = FACE_OUTER_BOUND ( 'NONE', #840, .T. ) ;
#805 = EDGE_CURVE ( 'NONE', #932, #31, #333, .T. ) ;
#806 = LINE ( 'NONE', #910, #538 ) ;
#807 = CIRCLE ( 'NONE', #958, 5.000000000000000000 ) ;
#808 = AXIS2_PLACEMENT_3D ( 'NONE', #438, #135, #220 ) ;
#809 = AXIS2_PLACEMENT_3D ( 'NONE', #89, #1072, #405 ) ;
#810 = ORIENTED_EDGE ( 'NONE', *, *, #178, .T. ) ;
#811 = CARTESIAN_POINT ( 'NONE',  ( 14.00000000000000533, -14.99999999999999645, 10.00000000000000000 ) ) ;
#812 = CARTESIAN_POINT ( 'NONE',  ( -0.06148298249408801902, 4.670296501303096370, 1.803128013052203604 ) ) ;
#813 = EDGE_CURVE ( 'NONE', #536, #183, #764, .T. ) ;
#814 = ORIENTED_EDGE ( 'NONE', *, *, #576, .F. ) ;
#815 = ORIENTED_EDGE ( 'NONE', *, *, #33, .F. ) ;
#816 = CARTESIAN_POINT ( 'NONE',  ( 0.1909999911386367766, 6.670545607905395968, 1.646776029999443836 ) ) ;
#817 = VECTOR ( 'NONE', #1401, 1000.000000000000000 ) ;
#818 = CARTESIAN_POINT ( 'NONE',  ( -0.9999999999999995559, 1.713207147413995379, 4.220111459984477342 ) ) ;
#819 = VERTEX_POINT ( 'NONE', #1229 ) ;
#820 = EDGE_CURVE ( 'NONE', #1036, #1133, #1076, .T. ) ;
#821 = AXIS2_PLACEMENT_3D ( 'NONE', #544, #836, #1311 ) ;
#822 = CYLINDRICAL_SURFACE ( 'NONE', #377, 5.000000000000000000 ) ;
#823 = VERTEX_POINT ( 'NONE', #1095 ) ;
#824 = CARTESIAN_POINT ( 'NONE',  ( -7.250000000000023981, 3.974338495503246804, 1.250000000000000000 ) ) ;
#825 = AXIS2_PLACEMENT_3D ( 'NONE', #710, #302, #309 ) ;
#826 = AXIS2_PLACEMENT_3D ( 'NONE', #376, #1375, #581 ) ;
#827 = VERTEX_POINT ( 'NONE', #1332 ) ;
#828 = EDGE_CURVE ( 'NONE', #505, #971, #348, .T. ) ;
#829 = CARTESIAN_POINT ( 'NONE',  ( 1.030831601998914104, 5.937896732089720686, 1.963034957282528747 ) ) ;
#830 = VERTEX_POINT ( 'NONE', #232 ) ;
#831 = LINE ( 'NONE', #1168, #103 ) ;
#832 = DIRECTION ( 'NONE',  ( -6.953143758397422887E-15, 0.9957297610391011577, 0.09231599526092201802 ) ) ;
#833 = VERTEX_POINT ( 'NONE', #654 ) ;
#834 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -1.734723475976807094E-16, 0.000000000000000000 ) ) ;
#835 = EDGE_CURVE ( 'NONE', #387, #433, #1062, .T. ) ;
#836 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#837 = EDGE_LOOP ( 'NONE', ( #119, #1324, #1047, #949, #1028, #1008, #867, #985, #736 ) ) ;
#838 = CARTESIAN_POINT ( 'NONE',  ( -0.9322848708273063778, 5.535587995102889458, 2.000000000000007105 ) ) ;
#839 =( NAMED_UNIT ( * ) SI_UNIT ( $, .STERADIAN. ) SOLID_ANGLE_UNIT ( ) );
#840 = EDGE_LOOP ( 'NONE', ( #1374, #1355, #160, #1171, #1054, #125, #495, #225 ) ) ;
#841 = LINE ( 'NONE', #296, #986 ) ;
#842 = CARTESIAN_POINT ( 'NONE',  ( 15.00000000000000355, 15.00000000000000355, 6.000000000000000000 ) ) ;
#843 = CARTESIAN_POINT ( 'NONE',  ( -8.055233374359428211, -19.00000000000000000, 10.00000000000000000 ) ) ;
#844 = ADVANCED_FACE ( 'NONE', ( #667 ), #118, .F. ) ;
#845 =( LENGTH_UNIT ( ) NAMED_UNIT ( * ) SI_UNIT ( .MILLI., .METRE. ) );
#846 = ORIENTED_EDGE ( 'NONE', *, *, #244, .F. ) ;
#847 = CIRCLE ( 'NONE', #424, 1.299999999999999156 ) ;
#848 = CIRCLE ( 'NONE', #696, 5.000000000000000000 ) ;
#849 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#850 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#851 = VECTOR ( 'NONE', #1346, 1000.000000000000000 ) ;
#852 = VECTOR ( 'NONE', #965, 1000.000000000000000 ) ;
#853 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#854 = ADVANCED_FACE ( 'NONE', ( #661 ), #1102, .F. ) ;
#855 =( NAMED_UNIT ( * ) PLANE_ANGLE_UNIT ( ) SI_UNIT ( $, .RADIAN. ) );
#856 = ORIENTED_EDGE ( 'NONE', *, *, #805, .F. ) ;
#857 = LINE ( 'NONE', #421, #1202 ) ;
#858 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 6.982962677686182302E-15, -1.419949629397821250E-29 ) ) ;
#859 = CARTESIAN_POINT ( 'NONE',  ( -11.00000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#860 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#861 = ORIENTED_EDGE ( 'NONE', *, *, #605, .T. ) ;
#862 = CARTESIAN_POINT ( 'NONE',  ( -0.9414028316373429517, 5.670320264477152428, 1.995456643374967864 ) ) ;
#863 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#864 = EDGE_CURVE ( 'NONE', #745, #823, #510, .T. ) ;
#865 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#866 = VERTEX_POINT ( 'NONE', #462 ) ;
#867 = ORIENTED_EDGE ( 'NONE', *, *, #500, .T. ) ;
#868 = DIRECTION ( 'NONE',  ( 6.451416294204483570E-15, -0.9238795325112877377, 0.3826834323650872283 ) ) ;
#869 = FACE_OUTER_BOUND ( 'NONE', #304, .T. ) ;
#870 = CARTESIAN_POINT ( 'NONE',  ( -1.000000000000000000, -2.286792852586003288, 3.849263871118257185 ) ) ;
#871 = ORIENTED_EDGE ( 'NONE', *, *, #1296, .F. ) ;
#872 = AXIS2_PLACEMENT_3D ( 'NONE', #129, #351, #566 ) ;
#873 = VECTOR ( 'NONE', #168, 1000.000000000000000 ) ;
#874 = CARTESIAN_POINT ( 'NONE',  ( 15.00000000000000533, -14.99999999999999645, 10.00000000000000000 ) ) ;
#875 = EDGE_LOOP ( 'NONE', ( #1395, #940, #1292, #1420 ) ) ;
#876 = VECTOR ( 'NONE', #20, 1000.000000000000000 ) ;
#877 = TOROIDAL_SURFACE ( 'NONE', #809, 1.250000000000000000, 0.9000000000000000222 ) ;
#878 = PLANE ( 'NONE',  #562 ) ;
#879 = CARTESIAN_POINT ( 'NONE',  ( 14.00000000000000355, 15.00000000000000355, 10.00000000000000000 ) ) ;
#880 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 6.982962677686181514E-15, -1.419949629397821250E-29 ) ) ;
#881 = ORIENTED_EDGE ( 'NONE', *, *, #1089, .F. ) ;
#882 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#883 = EDGE_CURVE ( 'NONE', #76, #1133, #848, .T. ) ;
#884 = EDGE_CURVE ( 'NONE', #1098, #347, #917, .T. ) ;
#885 = ORIENTED_EDGE ( 'NONE', *, *, #359, .T. ) ;
#886 = CARTESIAN_POINT ( 'NONE',  ( 0.05859716836265765894, 5.670320264477152428, 5.000000000000000000 ) ) ;
#887 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 6.982962677686182302E-15, -1.419949629397821250E-29 ) ) ;
#888 = ORIENTED_EDGE ( 'NONE', *, *, #17, .T. ) ;
#889 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, 14.98587303581388497, 6.000000000000000000 ) ) ;
#890 = ORIENTED_EDGE ( 'NONE', *, *, #529, .T. ) ;
#891 = SURFACE_SIDE_STYLE ('',( #706 ) ) ;
#892 = AXIS2_PLACEMENT_3D ( 'NONE', #1210, #882, #341 ) ;
#893 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#894 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 4.336808689942015369E-15, -1.000000000000000000 ) ) ;
#895 = CARTESIAN_POINT ( 'NONE',  ( 15.00000000000000533, -14.99999999999999645, 10.00000000000000000 ) ) ;
#896 = ORIENTED_EDGE ( 'NONE', *, *, #1369, .T. ) ;
#897 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -3.469446951953614189E-15, 1.000000000000000000 ) ) ;
#898 = AXIS2_PLACEMENT_3D ( 'NONE', #931, #1384, #616 ) ;
#899 = AXIS2_PLACEMENT_3D ( 'NONE', #1396, #313, #411 ) ;
#900 = CARTESIAN_POINT ( 'NONE',  ( -8.055233374359428211, -19.00000000000000000, 6.000000000000000000 ) ) ;
#901 = EDGE_CURVE ( 'NONE', #212, #618, #11, .T. ) ;
#902 = DIRECTION ( 'NONE',  ( -6.446391494604843344E-16, 0.09231599526092203190, -0.9957297610391011577 ) ) ;
#903 = ORIENTED_EDGE ( 'NONE', *, *, #703, .T. ) ;
#904 = CYLINDRICAL_SURFACE ( 'NONE', #987, 1.000000000000000000 ) ;
#905 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#906 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -0.2867928525860042877, 10.00000000000000000 ) ) ;
#907 = VERTEX_POINT ( 'NONE', #403 ) ;
#908 = EDGE_CURVE ( 'NONE', #1149, #660, #1137, .T. ) ;
#909 = CARTESIAN_POINT ( 'NONE',  ( 0.05859716836265765894, 5.670320264477152428, 5.000000000000000000 ) ) ;
#910 = CARTESIAN_POINT ( 'NONE',  ( 15.00000000000000533, -14.99999999999999645, 10.00000000000000000 ) ) ;
#911 = ORIENTED_EDGE ( 'NONE', *, *, #443, .F. ) ;
#912 = ORIENTED_EDGE ( 'NONE', *, *, #382, .F. ) ;
#913 = CYLINDRICAL_SURFACE ( 'NONE', #671, 2.000000000000000000 ) ;
#914 = EDGE_CURVE ( 'NONE', #366, #1331, #831, .T. ) ;
#915 = CARTESIAN_POINT ( 'NONE',  ( 0.5230952778863604546, 4.776815053207653428, 1.851043483756182439 ) ) ;
#916 = VECTOR ( 'NONE', #834, 1000.000000000000000 ) ;
#917 = CIRCLE ( 'NONE', #1367, 2.149999999999999911 ) ;
#918 = AXIS2_PLACEMENT_3D ( 'NONE', #123, #967, #98 ) ;
#919 = STYLED_ITEM ( 'NONE', ( #1224 ), #599 ) ;
#920 = ORIENTED_EDGE ( 'NONE', *, *, #184, .T. ) ;
#921 = VERTEX_POINT ( 'NONE', #838 ) ;
#922 = CARTESIAN_POINT ( 'NONE',  ( -1.191402831637342397, 5.670320264477152428, 5.000000000000000000 ) ) ;
#923 = EDGE_CURVE ( 'NONE', #827, #1203, #185, .T. ) ;
#924 = CARTESIAN_POINT ( 'NONE',  ( 14.00000000000000533, -13.99999999999999467, 0.000000000000000000 ) ) ;
#925 = EDGE_CURVE ( 'NONE', #745, #143, #528, .T. ) ;
#926 = ORIENTED_EDGE ( 'NONE', *, *, #989, .F. ) ;
#927 = FACE_OUTER_BOUND ( 'NONE', #1348, .T. ) ;
#928 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, 1.000000000000000000 ) ) ;
#929 = ORIENTED_EDGE ( 'NONE', *, *, #908, .T. ) ;
#930 = VECTOR ( 'NONE', #535, 1000.000000000000000 ) ;
#931 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, 14.98587303581388497, 6.000000000000000000 ) ) ;
#932 = VERTEX_POINT ( 'NONE', #1070 ) ;
#933 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#934 = AXIS2_PLACEMENT_3D ( 'NONE', #947, #417, #955 ) ;
#935 = VECTOR ( 'NONE', #832, 1000.000000000000000 ) ;
#936 = EDGE_CURVE ( 'NONE', #120, #433, #70, .T. ) ;
#937 = ORIENTED_EDGE ( 'NONE', *, *, #629, .F. ) ;
#938 = LINE ( 'NONE', #407, #916 ) ;
#939 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#940 = ORIENTED_EDGE ( 'NONE', *, *, #518, .T. ) ;
#941 = CARTESIAN_POINT ( 'NONE',  ( -0.9414028316373429517, 5.670320264477152428, 1.995456643374967864 ) ) ;
#942 = APPLICATION_PROTOCOL_DEFINITION ( 'draft international standard', 'automotive_design', 1998, #610 ) ;
#943 = EDGE_LOOP ( 'NONE', ( #108, #929 ) ) ;
#944 = CARTESIAN_POINT ( 'NONE',  ( -0.07718795556301086269, 6.670092061056595689, 1.647088522263936872 ) ) ;
#945 = EDGE_CURVE ( 'NONE', #618, #212, #763, .T. ) ;
#946 = FACE_OUTER_BOUND ( 'NONE', #37, .T. ) ;
#947 = CARTESIAN_POINT ( 'NONE',  ( -7.249999999999923617, -10.46441200489715762, 3.091101284793056792 ) ) ;
#948 = VECTOR ( 'NONE', #303, 1000.000000000000000 ) ;
#949 = ORIENTED_EDGE ( 'NONE', *, *, #1015, .F. ) ;
#950 = PLANE ( 'NONE',  #252 ) ;
#951 = VERTEX_POINT ( 'NONE', #941 ) ;
#952 = CARTESIAN_POINT ( 'NONE',  ( 9.700000000000001066, 0.000000000000000000, 6.000000000000000000 ) ) ;
#953 = CYLINDRICAL_SURFACE ( 'NONE', #715, 5.000000000000000000 ) ;
#954 = CARTESIAN_POINT ( 'NONE',  ( -13.99999999999999467, 14.99999999999999822, 0.000000000000000000 ) ) ;
#955 = DIRECTION ( 'NONE',  ( -6.451416294204483570E-15, 0.9238795325112877377, -0.3826834323650872838 ) ) ;
#956 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -0.000000000000000000, 1.000000000000000000 ) ) ;
#957 = ORIENTED_EDGE ( 'NONE', *, *, #111, .F. ) ;
#958 = AXIS2_PLACEMENT_3D ( 'NONE', #577, #591, #1021 ) ;
#959 = CIRCLE ( 'NONE', #358, 1.000000000000000000 ) ;
#960 = CARTESIAN_POINT ( 'NONE',  ( -0.9376045654993102607, 5.580381823395600627, 1.999624613323420785 ) ) ;
#961 = LINE ( 'NONE', #6, #425 ) ;
#962 = CARTESIAN_POINT ( 'NONE',  ( -9.700000000000001066, 1.592040838891559588E-16, 0.000000000000000000 ) ) ;
#963 = ORIENTED_EDGE ( 'NONE', *, *, #703, .F. ) ;
#964 = ADVANCED_FACE ( 'NONE', ( #1175 ), #1290, .T. ) ;
#965 = DIRECTION ( 'NONE',  ( -3.181843266650283927E-29, 2.913240180184199366E-15, -1.000000000000000000 ) ) ;
#966 = VERTEX_POINT ( 'NONE', #305 ) ;
#967 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#968 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#969 = CARTESIAN_POINT ( 'NONE',  ( -1.000000000000000000, -0.2867928525860042877, 10.00000000000000000 ) ) ;
#970 = ORIENTED_EDGE ( 'NONE', *, *, #1058, .T. ) ;
#971 = VERTEX_POINT ( 'NONE', #626 ) ;
#972 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#973 = ORIENTED_EDGE ( 'NONE', *, *, #470, .T. ) ;
#974 = EDGE_CURVE ( 'NONE', #1203, #559, #1063, .T. ) ;
#975 = AXIS2_PLACEMENT_3D ( 'NONE', #1127, #1244, #693 ) ;
#976 = FACE_OUTER_BOUND ( 'NONE', #875, .T. ) ;
#977 = CARTESIAN_POINT ( 'NONE',  ( 1.000000000000000000, -0.2867928525860041766, 10.00000000000000000 ) ) ;
#978 = ORIENTED_EDGE ( 'NONE', *, *, #396, .F. ) ;
#979 = CARTESIAN_POINT ( 'NONE',  ( -7.250000000000033751, 5.535587995102852155, 6.938893903907435059E-15 ) ) ;
#980 = ORIENTED_EDGE ( 'NONE', *, *, #297, .F. ) ;
#981 = LINE ( 'NONE', #663, #1011 ) ;
#982 = ADVANCED_FACE ( 'NONE', ( #521 ), #1187, .T. ) ;
#983 = CARTESIAN_POINT ( 'NONE',  ( 7.249999999999991118, 2.035587995102940528, 4.249999999999994671 ) ) ;
#984 = CARTESIAN_POINT ( 'NONE',  ( 7.250000000000032863, -3.894010359435711166, 0.3695518130044883054 ) ) ;
#985 = ORIENTED_EDGE ( 'NONE', *, *, #427, .T. ) ;
#986 = VECTOR ( 'NONE', #182, 1000.000000000000000 ) ;
#987 = AXIS2_PLACEMENT_3D ( 'NONE', #600, #595, #1370 ) ;
#988 = CYLINDRICAL_SURFACE ( 'NONE', #530, 1.000000000000000888 ) ;
#989 = EDGE_CURVE ( 'NONE', #830, #340, #1109, .T. ) ;
#990 = AXIS2_PLACEMENT_3D ( 'NONE', #909, #594, #1356 ) ;
#991 = AXIS2_PLACEMENT_3D ( 'NONE', #1306, #1415, #1170 ) ;
#992 = ORIENTED_EDGE ( 'NONE', *, *, #174, .F. ) ;
#993 = EDGE_LOOP ( 'NONE', ( #287, #758 ) ) ;
#994 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 6.982962677686182302E-15, -1.419949629397821250E-29 ) ) ;
#995 = CARTESIAN_POINT ( 'NONE',  ( 4.475129652421903970, -17.21594357147283816, 6.000000000000000000 ) ) ;
#996 = ORIENTED_EDGE ( 'NONE', *, *, #656, .T. ) ;
#997 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#998 = LINE ( 'NONE', #282, #765 ) ;
#999 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1000 = CARTESIAN_POINT ( 'NONE',  ( -7.249999999999933387, -8.817873475082757651, 2.842039574891036757 ) ) ;
#1001 = DIRECTION ( 'NONE',  ( -3.351323115370245302E-29, 3.155944969745124223E-15, -1.000000000000000000 ) ) ;
#1002 = EDGE_LOOP ( 'NONE', ( #263, #774, #1213, #637, #1119, #47, #871, #488 ) ) ;
#1003 = AXIS2_PLACEMENT_3D ( 'NONE', #100, #1287, #644 ) ;
#1004 = EDGE_CURVE ( 'NONE', #803, #907, #94, .T. ) ;
#1005 = CARTESIAN_POINT ( 'NONE',  ( 8.055233374359428211, -19.00000000000000000, 6.000000000000000000 ) ) ;
#1006 = LINE ( 'NONE', #895, #426 ) ;
#1007 = VERTEX_POINT ( 'NONE', #824 ) ;
#1008 = ORIENTED_EDGE ( 'NONE', *, *, #164, .T. ) ;
#1009 = CARTESIAN_POINT ( 'NONE',  ( 8.055233374359428211, -14.99999999999999822, 6.000000000000000000 ) ) ;
#1010 = CIRCLE ( 'NONE', #1349, 1.000000000000000888 ) ;
#1011 = VECTOR ( 'NONE', #19, 1000.000000000000000 ) ;
#1012 = AXIS2_PLACEMENT_3D ( 'NONE', #1125, #1001, #586 ) ;
#1013 = CARTESIAN_POINT ( 'NONE',  ( 1.000000000000000000, -0.2867928525860041766, 4.034687665551365043 ) ) ;
#1014 = DIRECTION ( 'NONE',  ( -3.181843266650283927E-29, 2.913240180184199366E-15, -1.000000000000000000 ) ) ;
#1015 = EDGE_CURVE ( 'NONE', #1038, #833, #177, .T. ) ;
#1016 = CYLINDRICAL_SURFACE ( 'NONE', #1389, 4.000000000000000000 ) ;
#1017 = ORIENTED_EDGE ( 'NONE', *, *, #269, .F. ) ;
#1018 = VERTEX_POINT ( 'NONE', #695 ) ;
#1019 = CARTESIAN_POINT ( 'NONE',  ( -2.091402831637342530, 5.670320264477152428, 5.899999999999999467 ) ) ;
#1020 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 6.982962677686181514E-15, -1.419949629397821250E-29 ) ) ;
#1021 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1022 = EDGE_CURVE ( 'NONE', #532, #536, #384, .T. ) ;
#1023 = ORIENTED_EDGE ( 'NONE', *, *, #925, .T. ) ;
#1024 = CARTESIAN_POINT ( 'NONE',  ( -8.055233374359428211, 19.00000000000000000, 10.00000000000000000 ) ) ;
#1025 = CARTESIAN_POINT ( 'NONE',  ( -7.249999999999933387, -8.854799873187126025, 3.240331479306677309 ) ) ;
#1026 =( BOUNDED_CURVE ( )  B_SPLINE_CURVE ( 3, ( #445, #324, #870, #339 ),
 .UNSPECIFIED., .F., .T. ) 
 B_SPLINE_CURVE_WITH_KNOTS ( ( 4, 4 ),
 ( 4.712388980384696779, 7.853981633974489895 ),
 .UNSPECIFIED. ) 
 CURVE ( )  GEOMETRIC_REPRESENTATION_ITEM ( )  RATIONAL_B_SPLINE_CURVE ( ( 1.000000000000000000, 0.3333333333333333703, 0.3333333333333333703, 1.000000000000000000 ) ) 
 REPRESENTATION_ITEM ( '' )  );
#1027 = ORIENTED_EDGE ( 'NONE', *, *, #864, .F. ) ;
#1028 = ORIENTED_EDGE ( 'NONE', *, *, #241, .T. ) ;
#1029 = EDGE_CURVE ( 'NONE', #222, #56, #487, .T. ) ;
#1030 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -1.734723475976807094E-16, 0.000000000000000000 ) ) ;
#1031 = EDGE_CURVE ( 'NONE', #1263, #830, #806, .T. ) ;
#1032 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -1.000000000000000000, -0.000000000000000000 ) ) ;
#1033 = CIRCLE ( 'NONE', #1156, 0.8999999999999998002 ) ;
#1034 = VECTOR ( 'NONE', #1283, 1000.000000000000000 ) ;
#1035 = VECTOR ( 'NONE', #677, 1000.000000000000000 ) ;
#1036 = VERTEX_POINT ( 'NONE', #288 ) ;
#1037 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, 1.000000000000000000 ) ) ;
#1038 = VERTEX_POINT ( 'NONE', #1275 ) ;
#1039 = PRODUCT_RELATED_PRODUCT_CATEGORY ( 'part', '', ( #589 ) ) ;
#1040 = CARTESIAN_POINT ( 'NONE',  ( -7.250000000000009770, 2.035587995102848158, 1.249999999999994005 ) ) ;
#1041 = VERTEX_POINT ( 'NONE', #180 ) ;
#1042 = CARTESIAN_POINT ( 'NONE',  ( 8.055233374359428211, -14.99999999999999822, 10.00000000000000000 ) ) ;
#1043 = ORIENTED_EDGE ( 'NONE', *, *, #1223, .T. ) ;
#1044 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1045 = ADVANCED_FACE ( 'NONE', ( #1381 ), #1053, .F. ) ;
#1046 = FACE_OUTER_BOUND ( 'NONE', #1183, .T. ) ;
#1047 = ORIENTED_EDGE ( 'NONE', *, *, #1361, .T. ) ;
#1048 = AXIS2_PLACEMENT_3D ( 'NONE', #1050, #755, #939 ) ;
#1049 = CARTESIAN_POINT ( 'NONE',  ( -0.9137875622204402193, 5.937730331633335190, 1.963114962298169619 ) ) ;
#1050 = CARTESIAN_POINT ( 'NONE',  ( -13.99999999999999467, 14.00000000000000000, 0.000000000000000000 ) ) ;
#1051 = ORIENTED_EDGE ( 'NONE', *, *, #111, .T. ) ;
#1052 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1053 = TOROIDAL_SURFACE ( 'NONE', #1320, 1.250000000000000000, 0.9000000000000000222 ) ;
#1054 = ORIENTED_EDGE ( 'NONE', *, *, #484, .F. ) ;
#1055 = COLOUR_RGB ( '',0.7921568627450980005, 0.8196078431372548767, 0.9333333333333333481 ) ;
#1056 = AXIS2_PLACEMENT_3D ( 'NONE', #906, #1347, #1359 ) ;
#1057 = ORIENTED_EDGE ( 'NONE', *, *, #1334, .T. ) ;
#1058 = EDGE_CURVE ( 'NONE', #120, #1203, #78, .T. ) ;
#1059 = CARTESIAN_POINT ( 'NONE',  ( 2.208597168362657737, 5.670320264477152428, 5.899999999999999467 ) ) ;
#1060 = CARTESIAN_POINT ( 'NONE',  ( 2.208597168362657737, 5.670320264477152428, 5.000000000000000000 ) ) ;
#1061 = ORIENTED_EDGE ( 'NONE', *, *, #264, .F. ) ;
#1062 = CIRCLE ( 'NONE', #1177, 0.9999999999999991118 ) ;
#1063 = LINE ( 'NONE', #88, #156 ) ;
#1064 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1065 = EDGE_LOOP ( 'NONE', ( #1335, #1069, #761, #1101 ) ) ;
#1066 = EDGE_CURVE ( 'NONE', #1214, #1018, #251, .T. ) ;
#1067 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -1.734723475976807094E-16, 0.000000000000000000 ) ) ;
#1068 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -6.982962677686181514E-15, 1.419949629397821250E-29 ) ) ;
#1069 = ORIENTED_EDGE ( 'NONE', *, *, #1280, .T. ) ;
#1070 = CARTESIAN_POINT ( 'NONE',  ( 15.00000000000000533, -13.99999999999999467, 10.00000000000000000 ) ) ;
#1071 = B_SPLINE_CURVE_WITH_KNOTS ( 'NONE', 3,
 ( #188, #491, #1049, #1373, #717, #1172, #388, #195, #944, #816, #1268, #1399, #1159, #414, #609, #829, #286, #1279 ),
 .UNSPECIFIED., .F., .F.,
 ( 4, 2, 2, 2, 2, 2, 2, 2, 4 ),
 ( 1.084202172485504434E-19, 0.0004015789814062096456, 0.0008031579628124191827, 0.001204736944218628720, 0.001606315925624838149, 0.002007894907031047577, 0.002409473888437257440, 0.002811052869843466868, 0.003212631851249675430 ),
 .UNSPECIFIED. ) ;
#1072 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1073 = ORIENTED_EDGE ( 'NONE', *, *, #269, .T. ) ;
#1074 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 4.336808689942017736E-15, -1.000000000000000000 ) ) ;
#1075 = PLANE ( 'NONE',  #1413 ) ;
#1076 = CIRCLE ( 'NONE', #892, 4.000000000000000000 ) ;
#1077 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1078 = ORIENTED_EDGE ( 'NONE', *, *, #914, .T. ) ;
#1079 = EDGE_CURVE ( 'NONE', #243, #344, #1121, .T. ) ;
#1080 = VERTEX_POINT ( 'NONE', #1155 ) ;
#1081 = FILL_AREA_STYLE_COLOUR ( '', #132 ) ;
#1082 = FACE_OUTER_BOUND ( 'NONE', #322, .T. ) ;
#1083 = AXIS2_PLACEMENT_3D ( 'NONE', #65, #85, #497 ) ;
#1084 = AXIS2_PLACEMENT_3D ( 'NONE', #543, #968, #850 ) ;
#1085 = DIRECTION ( 'NONE',  ( -6.982962677686181514E-15, 1.000000000000000000, 3.155944969745124223E-15 ) ) ;
#1086 = FACE_OUTER_BOUND ( 'NONE', #1344, .T. ) ;
#1087 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -6.982962677686181514E-15, 1.419949629397821250E-29 ) ) ;
#1088 = ORIENTED_EDGE ( 'NONE', *, *, #680, .T. ) ;
#1089 = EDGE_CURVE ( 'NONE', #308, #1307, #1143, .T. ) ;
#1090 = ORIENTED_EDGE ( 'NONE', *, *, #1193, .F. ) ;
#1091 = ORIENTED_EDGE ( 'NONE', *, *, #901, .F. ) ;
#1092 = CARTESIAN_POINT ( 'NONE',  ( -0.9353168393567508065, 5.557886462820892604, 2.000000000000007550 ) ) ;
#1093 = CARTESIAN_POINT ( 'NONE',  ( 14.00000000000000533, -14.99999999999999645, 0.000000000000000000 ) ) ;
#1094 = ORIENTED_EDGE ( 'NONE', *, *, #408, .F. ) ;
#1095 = CARTESIAN_POINT ( 'NONE',  ( -0.9414028316373423966, 5.670320264477152428, 5.000000000000000000 ) ) ;
#1096 = ORIENTED_EDGE ( 'NONE', *, *, #1178, .F. ) ;
#1097 = ADVANCED_FACE ( 'NONE', ( #607 ), #485, .F. ) ;
#1098 = VERTEX_POINT ( 'NONE', #162 ) ;
#1099 = CARTESIAN_POINT ( 'NONE',  ( 14.00000000000000355, 15.00000000000000355, 0.000000000000000000 ) ) ;
#1100 = LINE ( 'NONE', #777, #1277 ) ;
#1101 = ORIENTED_EDGE ( 'NONE', *, *, #914, .F. ) ;
#1102 = PLANE ( 'NONE',  #130 ) ;
#1103 = EDGE_LOOP ( 'NONE', ( #472, #1073, #856, #274 ) ) ;
#1104 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1105 = FACE_OUTER_BOUND ( 'NONE', #179, .T. ) ;
#1106 = EDGE_LOOP ( 'NONE', ( #778, #885, #1090, #1364 ) ) ;
#1107 = ADVANCED_FACE ( 'NONE', ( #474 ), #904, .F. ) ;
#1108 = VECTOR ( 'NONE', #1085, 1000.000000000000000 ) ;
#1109 = CIRCLE ( 'NONE', #334, 4.000000000000000000 ) ;
#1110 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -6.982962677686181514E-15, 1.147538521714080895E-29 ) ) ;
#1111 = AXIS2_PLACEMENT_3D ( 'NONE', #886, #360, #664 ) ;
#1112 = MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION_REPRESENTATION (  '', ( #919 ), #236 ) ;
#1113 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1114 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1115 = LINE ( 'NONE', #995, #1035 ) ;
#1116 = ORIENTED_EDGE ( 'NONE', *, *, #648, .F. ) ;
#1117 = EDGE_CURVE ( 'NONE', #1278, #1038, #1357, .T. ) ;
#1118 = CARTESIAN_POINT ( 'NONE',  ( -11.00000000000000000, 0.000000000000000000, 6.000000000000000000 ) ) ;
#1119 = ORIENTED_EDGE ( 'NONE', *, *, #923, .T. ) ;
#1120 = CARTESIAN_POINT ( 'NONE',  ( -0.9414028316373423966, 5.670320264477152428, 10.00000000000000000 ) ) ;
#1121 =( BOUNDED_CURVE ( )  B_SPLINE_CURVE ( 3, ( #1363, #818, #713, #1013 ),
 .UNSPECIFIED., .F., .T. ) 
 B_SPLINE_CURVE_WITH_KNOTS ( ( 4, 4 ),
 ( 1.570796326794903663, 4.712388980384696779 ),
 .UNSPECIFIED. ) 
 CURVE ( )  GEOMETRIC_REPRESENTATION_ITEM ( )  RATIONAL_B_SPLINE_CURVE ( ( 1.000000000000000000, 0.3333333333333333703, 0.3333333333333333703, 1.000000000000000000 ) ) 
 REPRESENTATION_ITEM ( '' )  );
#1122 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1123 = ORIENTED_EDGE ( 'NONE', *, *, #694, .F. ) ;
#1124 = FACE_OUTER_BOUND ( 'NONE', #498, .T. ) ;
#1125 = CARTESIAN_POINT ( 'NONE',  ( -7.250000000000009770, 2.035587995102848158, 1.249999999999994005 ) ) ;
#1126 = ORIENTED_EDGE ( 'NONE', *, *, #1404, .F. ) ;
#1127 = CARTESIAN_POINT ( 'NONE',  ( -13.99999999999999289, -14.00000000000000000, 0.000000000000000000 ) ) ;
#1128 = EDGE_CURVE ( 'NONE', #1360, #921, #51, .T. ) ;
#1129 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 6.982962677686181514E-15, -1.419949629397821250E-29 ) ) ;
#1130 = AXIS2_PLACEMENT_3D ( 'NONE', #93, #1077, #853 ) ;
#1131 = CARTESIAN_POINT ( 'NONE',  ( 1.054822640110468779, 5.580639160326351877, 1.999619105592348012 ) ) ;
#1132 = CARTESIAN_POINT ( 'NONE',  ( 8.055233374359428211, 19.00000000000000000, 6.000000000000000000 ) ) ;
#1133 = VERTEX_POINT ( 'NONE', #1208 ) ;
#1134 = ORIENTED_EDGE ( 'NONE', *, *, #753, .F. ) ;
#1135 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1136 = VECTOR ( 'NONE', #682, 1000.000000000000000 ) ;
#1137 = CIRCLE ( 'NONE', #563, 1.000000000000000000 ) ;
#1138 = AXIS2_PLACEMENT_3D ( 'NONE', #572, #1104, #1114 ) ;
#1139 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 4.336808689942015369E-15, -1.000000000000000000 ) ) ;
#1140 = LINE ( 'NONE', #372, #59 ) ;
#1141 = ORIENTED_EDGE ( 'NONE', *, *, #883, .F. ) ;
#1142 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1143 = LINE ( 'NONE', #499, #873 ) ;
#1144 = EDGE_CURVE ( 'NONE', #501, #362, #601, .T. ) ;
#1145 = ORIENTED_EDGE ( 'NONE', *, *, #945, .F. ) ;
#1146 = ADVANCED_FACE ( 'NONE', ( #1086 ), #953, .T. ) ;
#1147 = AXIS2_PLACEMENT_3D ( 'NONE', #561, #865, #771 ) ;
#1148 = LINE ( 'NONE', #290, #1366 ) ;
#1149 = VERTEX_POINT ( 'NONE', #977 ) ;
#1150 = CARTESIAN_POINT ( 'NONE',  ( -0.4067028534195604728, 4.777137207984899270, 1.851182779506056475 ) ) ;
#1151 = EDGE_LOOP ( 'NONE', ( #721, #1186, #757, #1382 ) ) ;
#1152 = VERTEX_POINT ( 'NONE', #1408 ) ;
#1153 = CARTESIAN_POINT ( 'NONE',  ( 8.055233374359428211, 19.00000000000000000, 10.00000000000000000 ) ) ;
#1154 = ORIENTED_EDGE ( 'NONE', *, *, #25, .F. ) ;
#1155 = CARTESIAN_POINT ( 'NONE',  ( 4.475129652421903970, -17.21594357147283816, 10.00000000000000000 ) ) ;
#1156 = AXIS2_PLACEMENT_3D ( 'NONE', #782, #10, #1231 ) ;
#1157 = VECTOR ( 'NONE', #1032, 1000.000000000000000 ) ;
#1158 = ORIENTED_EDGE ( 'NONE', *, *, #1029, .F. ) ;
#1159 = CARTESIAN_POINT ( 'NONE',  ( 0.6765092184063749015, 6.466852397934204078, 1.772754743679915146 ) ) ;
#1160 = ADVANCED_FACE ( 'NONE', ( #1105 ), #643, .F. ) ;
#1161 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1162 = LINE ( 'NONE', #628, #852 ) ;
#1163 = VERTEX_POINT ( 'NONE', #422 ) ;
#1164 = FACE_OUTER_BOUND ( 'NONE', #316, .T. ) ;
#1165 = CARTESIAN_POINT ( 'NONE',  ( 14.00000000000000355, 14.00000000000000178, 10.00000000000000000 ) ) ;
#1166 = ORIENTED_EDGE ( 'NONE', *, *, #101, .T. ) ;
#1167 = AXIS2_PLACEMENT_3D ( 'NONE', #265, #149, #161 ) ;
#1168 = CARTESIAN_POINT ( 'NONE',  ( 9.700000000000001066, 0.000000000000000000, 6.000000000000000000 ) ) ;
#1169 = EDGE_CURVE ( 'NONE', #1018, #501, #215, .T. ) ;
#1170 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1171 = ORIENTED_EDGE ( 'NONE', *, *, #675, .F. ) ;
#1172 = CARTESIAN_POINT ( 'NONE',  ( -0.5589377301205494808, 6.467112430818549917, 1.772606276645389833 ) ) ;
#1173 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -0.000000000000000000, 1.000000000000000000 ) ) ;
#1174 = EDGE_LOOP ( 'NONE', ( #57, #1196 ) ) ;
#1175 = FACE_OUTER_BOUND ( 'NONE', #231, .T. ) ;
#1176 = AXIS2_PLACEMENT_3D ( 'NONE', #900, #153, #1122 ) ;
#1177 = AXIS2_PLACEMENT_3D ( 'NONE', #779, #679, #248 ) ;
#1178 = EDGE_CURVE ( 'NONE', #1371, #728, #670, .T. ) ;
#1179 = ORIENTED_EDGE ( 'NONE', *, *, #343, .T. ) ;
#1180 = CIRCLE ( 'NONE', #512, 4.000000000000000000 ) ;
#1181 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1182 =( GEOMETRIC_REPRESENTATION_CONTEXT ( 3 ) GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ( ( #504 ) ) GLOBAL_UNIT_ASSIGNED_CONTEXT ( ( #845, #855, #839 ) ) REPRESENTATION_CONTEXT ( 'NONE', 'WORKASPACE' ) );
#1183 = EDGE_LOOP ( 'NONE', ( #1158, #374, #1091, #481 ) ) ;
#1184 = FACE_OUTER_BOUND ( 'NONE', #751, .T. ) ;
#1185 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, -0.000000000000000000 ) ) ;
#1186 = ORIENTED_EDGE ( 'NONE', *, *, #1342, .T. ) ;
#1187 = PLANE ( 'NONE',  #934 ) ;
#1188 = ORIENTED_EDGE ( 'NONE', *, *, #1029, .T. ) ;
#1189 = EDGE_CURVE ( 'NONE', #340, #866, #961, .T. ) ;
#1190 = ORIENTED_EDGE ( 'NONE', *, *, #427, .F. ) ;
#1191 = CARTESIAN_POINT ( 'NONE',  ( 0.05859716836265765894, 5.670320264477152428, 5.000000000000000000 ) ) ;
#1192 = CARTESIAN_POINT ( 'NONE',  ( 0.05859716836265765894, 5.670320264477152428, 5.000000000000000000 ) ) ;
#1193 = EDGE_CURVE ( 'NONE', #362, #1214, #1316, .T. ) ;
#1194 = CARTESIAN_POINT ( 'NONE',  ( 7.249999999999966249, 5.535587995102953407, 6.938893903907228378E-15 ) ) ;
#1195 = CIRCLE ( 'NONE', #1379, 2.000000000000000000 ) ;
#1196 = ORIENTED_EDGE ( 'NONE', *, *, #864, .T. ) ;
#1197 = CARTESIAN_POINT ( 'NONE',  ( -7.249999999999995559, -5.062647941322478363E-14, 0.000000000000000000 ) ) ;
#1198 = CARTESIAN_POINT ( 'NONE',  ( -0.9322848708273063778, 5.535587995102889458, 2.000000000000007105 ) ) ;
#1199 = CIRCLE ( 'NONE', #1048, 1.000000000000000888 ) ;
#1200 = ADVANCED_FACE ( 'NONE', ( #1304, #319, #1330, #230 ), #1075, .F. ) ;
#1201 = CARTESIAN_POINT ( 'NONE',  ( 12.29999999999999893, 1.592040838891559588E-16, 6.000000000000000000 ) ) ;
#1202 = VECTOR ( 'NONE', #206, 1000.000000000000000 ) ;
#1203 = VERTEX_POINT ( 'NONE', #1093 ) ;
#1204 = AXIS2_PLACEMENT_3D ( 'NONE', #1118, #240, #554 ) ;
#1205 = AXIS2_PLACEMENT_3D ( 'NONE', #14, #1407, #849 ) ;
#1206 = VECTOR ( 'NONE', #278, 1000.000000000000000 ) ;
#1207 = CARTESIAN_POINT ( 'NONE',  ( -4.475129652421903970, -17.21594357147283816, 10.00000000000000000 ) ) ;
#1208 = CARTESIAN_POINT ( 'NONE',  ( -4.475129652421903970, 17.21594357147283816, 6.000000000000000000 ) ) ;
#1209 = ORIENTED_EDGE ( 'NONE', *, *, #428, .T. ) ;
#1210 = CARTESIAN_POINT ( 'NONE',  ( -8.055233374359428211, 19.00000000000000000, 6.000000000000000000 ) ) ;
#1211 = EDGE_CURVE ( 'NONE', #823, #745, #959, .T. ) ;
#1212 = ORIENTED_EDGE ( 'NONE', *, *, #1400, .F. ) ;
#1213 = ORIENTED_EDGE ( 'NONE', *, *, #1031, .F. ) ;
#1214 = VERTEX_POINT ( 'NONE', #552 ) ;
#1215 =( LENGTH_UNIT ( ) NAMED_UNIT ( * ) SI_UNIT ( .MILLI., .METRE. ) );
#1216 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1217 = CARTESIAN_POINT ( 'NONE',  ( -0.9414028316373423966, 5.647852028564451565, 1.996973687818605070 ) ) ;
#1218 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1219 = ORIENTED_EDGE ( 'NONE', *, *, #244, .T. ) ;
#1220 = AXIS2_PLACEMENT_3D ( 'NONE', #1327, #112, #972 ) ;
#1221 = CARTESIAN_POINT ( 'NONE',  ( 15.00000000000000533, -14.99999999999999645, 6.000000000000000000 ) ) ;
#1222 = CIRCLE ( 'NONE', #1147, 2.149999999999999911 ) ;
#1223 = EDGE_CURVE ( 'NONE', #342, #921, #1418, .T. ) ;
#1224 = PRESENTATION_STYLE_ASSIGNMENT (( #549 ) ) ;
#1225 = ORIENTED_EDGE ( 'NONE', *, *, #820, .F. ) ;
#1226 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1227 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1228 = ORIENTED_EDGE ( 'NONE', *, *, #923, .F. ) ;
#1229 = CARTESIAN_POINT ( 'NONE',  ( -12.29999999999999893, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1230 = APPLICATION_PROTOCOL_DEFINITION ( 'draft international standard', 'automotive_design', 1998, #167 ) ;
#1231 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1232 = CARTESIAN_POINT ( 'NONE',  ( -7.250000000000033751, 5.535587995102845049, 2.000000000000007105 ) ) ;
#1233 = CARTESIAN_POINT ( 'NONE',  ( -7.250000000000009770, 2.035587995102839276, 4.249999999999994671 ) ) ;
#1234 = ORIENTED_EDGE ( 'NONE', *, *, #1211, .F. ) ;
#1235 = CIRCLE ( 'NONE', #918, 1.299999999999999156 ) ;
#1236 = VECTOR ( 'NONE', #665, 1000.000000000000000 ) ;
#1237 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1238 = CYLINDRICAL_SURFACE ( 'NONE', #158, 0.9999999999999991118 ) ;
#1239 = CARTESIAN_POINT ( 'NONE',  ( 1.058597168370113417, 5.670320264476607974, 1.995456643378741290 ) ) ;
#1240 = CARTESIAN_POINT ( 'NONE',  ( -8.055233374359428211, -19.00000000000000000, 6.000000000000000000 ) ) ;
#1241 = LINE ( 'NONE', #254, #39 ) ;
#1242 = ORIENTED_EDGE ( 'NONE', *, *, #264, .T. ) ;
#1243 = EDGE_CURVE ( 'NONE', #344, #243, #1026, .T. ) ;
#1244 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1245 = CARTESIAN_POINT ( 'NONE',  ( 1.058597168362630292, 5.648007980332263145, 1.996963158030506724 ) ) ;
#1246 = CARTESIAN_POINT ( 'NONE',  ( 0.05859716836265765894, 5.670320264477152428, 10.00000000000000000 ) ) ;
#1247 = ORIENTED_EDGE ( 'NONE', *, *, #213, .T. ) ;
#1248 =( NAMED_UNIT ( * ) SI_UNIT ( $, .STERADIAN. ) SOLID_ANGLE_UNIT ( ) );
#1249 = ADVANCED_FACE ( 'NONE', ( #1310 ), #770, .F. ) ;
#1250 = CARTESIAN_POINT ( 'NONE',  ( 0.3008515724230175770, 4.692862920123850756, 1.814362919624998183 ) ) ;
#1251 = AXIS2_PLACEMENT_3D ( 'NONE', #1394, #196, #207 ) ;
#1252 = CARTESIAN_POINT ( 'NONE',  ( 1.049479207552623361, 5.535587995102903669, 2.000000000000007105 ) ) ;
#1253 = CARTESIAN_POINT ( 'NONE',  ( -7.249999999999933387, -8.854799873187126025, 3.240331479306677753 ) ) ;
#1254 = VERTEX_POINT ( 'NONE', #238 ) ;
#1255 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1256 = AXIS2_PLACEMENT_3D ( 'NONE', #674, #1216, #999 ) ;
#1257 = AXIS2_PLACEMENT_3D ( 'NONE', #1260, #928, #41 ) ;
#1258 = AXIS2_PLACEMENT_3D ( 'NONE', #1246, #155, #568 ) ;
#1259 = EDGE_CURVE ( 'NONE', #1152, #362, #1100, .T. ) ;
#1260 = CARTESIAN_POINT ( 'NONE',  ( 0.05859716836265765894, 5.670320264477152428, 5.000000000000000000 ) ) ;
#1261 = EDGE_CURVE ( 'NONE', #1149, #344, #1241, .T. ) ;
#1262 = ORIENTED_EDGE ( 'NONE', *, *, #945, .T. ) ;
#1263 = VERTEX_POINT ( 'NONE', #147 ) ;
#1264 = FILL_AREA_STYLE ('',( #1351 ) ) ;
#1265 = CARTESIAN_POINT ( 'NONE',  ( 0.8936293342905660131, 5.071715050977993577, 1.952278751069786322 ) ) ;
#1266 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE( 1.000000000000000082E-05 ), #1215, 'distance_accuracy_value', 'NONE');
#1267 = EDGE_LOOP ( 'NONE', ( #507, #1333, #148, #1145 ) ) ;
#1268 = CARTESIAN_POINT ( 'NONE',  ( 0.3259509433378866561, 6.642860132089208669, 1.666605342237231335 ) ) ;
#1269 = ORIENTED_EDGE ( 'NONE', *, *, #835, .T. ) ;
#1270 = CARTESIAN_POINT ( 'NONE',  ( 7.250000000000067502, -8.817873475082658175, 2.842039574891036757 ) ) ;
#1271 = ADVANCED_FACE ( 'NONE', ( #365 ), #262, .T. ) ;
#1272 = ORIENTED_EDGE ( 'NONE', *, *, #493, .T. ) ;
#1273 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1274 = ORIENTED_EDGE ( 'NONE', *, *, #1289, .T. ) ;
#1275 = CARTESIAN_POINT ( 'NONE',  ( 7.250000000000067502, -8.854799873187026549, 3.240331479306677753 ) ) ;
#1276 = CIRCLE ( 'NONE', #789, 1.299999999999999156 ) ;
#1277 = VECTOR ( 'NONE', #246, 1000.000000000000000 ) ;
#1278 = VERTEX_POINT ( 'NONE', #1253 ) ;
#1279 = CARTESIAN_POINT ( 'NONE',  ( 1.058597168370113417, 5.670320264476607974, 1.995456643378741290 ) ) ;
#1280 = EDGE_CURVE ( 'NONE', #630, #678, #1337, .T. ) ;
#1281 = CYLINDRICAL_SURFACE ( 'NONE', #1003, 0.9999999999999991118 ) ;
#1282 = ORIENTED_EDGE ( 'NONE', *, *, #1066, .T. ) ;
#1283 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 1.734723475976807094E-16, -0.000000000000000000 ) ) ;
#1284 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -0.000000000000000000, 1.000000000000000000 ) ) ;
#1285 = EDGE_LOOP ( 'NONE', ( #127, #980, #650, #1398 ) ) ;
#1286 = CARTESIAN_POINT ( 'NONE',  ( 7.249999999999977796, 3.974338495503348501, 1.250000000000000000 ) ) ;
#1287 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1288 = EDGE_LOOP ( 'NONE', ( #603, #117, #666, #1272 ) ) ;
#1289 = EDGE_CURVE ( 'NONE', #1041, #1080, #1115, .T. ) ;
#1290 = PLANE ( 'NONE',  #899 ) ;
#1291 = CARTESIAN_POINT ( 'NONE',  ( 7.250000000000078160, -10.46441200489705814, 3.091101284793056792 ) ) ;
#1292 = ORIENTED_EDGE ( 'NONE', *, *, #1022, .T. ) ;
#1293 = CARTESIAN_POINT ( 'NONE',  ( 15.00000000000000355, 15.00000000000000355, 0.000000000000000000 ) ) ;
#1294 = CARTESIAN_POINT ( 'NONE',  ( -14.99999999999999645, 14.00000000000000000, 10.00000000000000000 ) ) ;
#1295 = CARTESIAN_POINT ( 'NONE',  ( 0.05859716836265765894, 5.670320264477152428, 5.899999999999999467 ) ) ;
#1296 = EDGE_CURVE ( 'NONE', #260, #559, #1006, .T. ) ;
#1297 = AXIS2_PLACEMENT_3D ( 'NONE', #214, #542, #1067 ) ;
#1298 = AXIS2_PLACEMENT_3D ( 'NONE', #124, #106, #639 ) ;
#1299 = ORIENTED_EDGE ( 'NONE', *, *, #1128, .F. ) ;
#1300 = ADVANCED_FACE ( 'NONE', ( #471 ), #1016, .F. ) ;
#1301 = AXIS2_PLACEMENT_3D ( 'NONE', #1240, #253, #567 ) ;
#1302 = EDGE_LOOP ( 'NONE', ( #289, #317, #332, #208 ) ) ;
#1303 = CARTESIAN_POINT ( 'NONE',  ( -0.9406427388834590619, 5.625304428368708365, 1.998113120637571738 ) ) ;
#1304 = FACE_BOUND ( 'NONE', #615, .T. ) ;
#1305 = FACE_OUTER_BOUND ( 'NONE', #837, .T. ) ;
#1306 = CARTESIAN_POINT ( 'NONE',  ( -1.191402831637342397, 5.670320264477152428, 5.899999999999999467 ) ) ;
#1307 = VERTEX_POINT ( 'NONE', #793 ) ;
#1308 = ADVANCED_FACE ( 'NONE', ( #476, #36 ), #785, .T. ) ;
#1309 = PLANE ( 'NONE',  #669 ) ;
#1310 = FACE_OUTER_BOUND ( 'NONE', #1065, .T. ) ;
#1311 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1312 =( NAMED_UNIT ( * ) PLANE_ANGLE_UNIT ( ) SI_UNIT ( $, .RADIAN. ) );
#1313 = CARTESIAN_POINT ( 'NONE',  ( 7.249999999999966249, 5.535587995102895675, 2.000000000000007105 ) ) ;
#1314 = ADVANCED_FACE ( 'NONE', ( #796 ), #142, .F. ) ;
#1315 = CARTESIAN_POINT ( 'NONE',  ( 7.249999999999966249, 5.535587995102953407, 6.938893903907228378E-15 ) ) ;
#1316 = LINE ( 'NONE', #659, #1236 ) ;
#1317 = ORIENTED_EDGE ( 'NONE', *, *, #493, .F. ) ;
#1318 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1319 = CARTESIAN_POINT ( 'NONE',  ( 15.00000000000000355, 14.00000000000000178, 10.00000000000000000 ) ) ;
#1320 = AXIS2_PLACEMENT_3D ( 'NONE', #480, #494, #590 ) ;
#1321 = CIRCLE ( 'NONE', #335, 1.299999999999999156 ) ;
#1322 = CARTESIAN_POINT ( 'NONE',  ( -7.249999999999966249, -4.047083732381845600, -2.695250647785930727E-14 ) ) ;
#1323 = CARTESIAN_POINT ( 'NONE',  ( -0.7635069895922483862, 5.088446591933038832, 1.952321348841004944 ) ) ;
#1324 = ORIENTED_EDGE ( 'NONE', *, *, #1144, .F. ) ;
#1325 = DIRECTION ( 'NONE',  ( -5.782411586589357392E-17, 1.000000000000000000, 0.000000000000000000 ) ) ;
#1326 = ADVANCED_FACE ( 'NONE', ( #573 ), #44, .F. ) ;
#1327 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1328 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1329 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1330 = FACE_OUTER_BOUND ( 'NONE', #780, .T. ) ;
#1331 = VERTEX_POINT ( 'NONE', #21 ) ;
#1332 = CARTESIAN_POINT ( 'NONE',  ( -13.99999999999999289, -15.00000000000000178, 0.000000000000000000 ) ) ;
#1333 = ORIENTED_EDGE ( 'NONE', *, *, #526, .F. ) ;
#1334 = EDGE_CURVE ( 'NONE', #704, #183, #272, .T. ) ;
#1335 = ORIENTED_EDGE ( 'NONE', *, *, #390, .F. ) ;
#1336 = LINE ( 'NONE', #1232, #622 ) ;
#1337 = LINE ( 'NONE', #361, #13 ) ;
#1338 = ORIENTED_EDGE ( 'NONE', *, *, #223, .F. ) ;
#1339 = CARTESIAN_POINT ( 'NONE',  ( -7.250000000000009770, 2.035587995102848158, 1.249999999999994005 ) ) ;
#1340 = VERTEX_POINT ( 'NONE', #802 ) ;
#1341 = SURFACE_STYLE_USAGE ( .BOTH. , #891 ) ;
#1342 = EDGE_CURVE ( 'NONE', #593, #413, #460, .T. ) ;
#1343 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1344 = EDGE_LOOP ( 'NONE', ( #700, #22, #64, #1274 ) ) ;
#1345 = EDGE_CURVE ( 'NONE', #593, #803, #1162, .T. ) ;
#1346 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1347 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1348 = EDGE_LOOP ( 'NONE', ( #1141, #1179, #1421, #194 ) ) ;
#1349 = AXIS2_PLACEMENT_3D ( 'NONE', #540, #235, #1113 ) ;
#1350 = VECTOR ( 'NONE', #858, 1000.000000000000000 ) ;
#1351 = FILL_AREA_STYLE_COLOUR ( '', #1055 ) ;
#1352 = CARTESIAN_POINT ( 'NONE',  ( -14.99999999999999645, -14.00000000000000000, 10.00000000000000000 ) ) ;
#1353 = DIRECTION ( 'NONE',  ( 6.953143758397422887E-15, -0.9957297610391011577, -0.09231599526092203190 ) ) ;
#1354 = ADVANCED_FACE ( 'NONE', ( #419 ), #729, .F. ) ;
#1355 = ORIENTED_EDGE ( 'NONE', *, *, #753, .T. ) ;
#1356 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1357 = LINE ( 'NONE', #1025, #292 ) ;
#1358 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1359 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1360 = VERTEX_POINT ( 'NONE', #412 ) ;
#1361 = EDGE_CURVE ( 'NONE', #501, #833, #434, .T. ) ;
#1362 = CARTESIAN_POINT ( 'NONE',  ( 8.055233374359428211, -19.00000000000000000, 10.00000000000000000 ) ) ;
#1363 = CARTESIAN_POINT ( 'NONE',  ( -1.000000000000000000, -0.2867928525860042877, 4.034687665551366820 ) ) ;
#1364 = ORIENTED_EDGE ( 'NONE', *, *, #1259, .F. ) ;
#1365 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 6.982962677686182302E-15, -1.419949629397821250E-29 ) ) ;
#1366 = VECTOR ( 'NONE', #171, 1000.000000000000000 ) ;
#1367 = AXIS2_PLACEMENT_3D ( 'NONE', #1387, #619, #293 ) ;
#1368 = AXIS2_PLACEMENT_3D ( 'NONE', #1315, #229, #29 ) ;
#1369 = EDGE_CURVE ( 'NONE', #1133, #16, #95, .T. ) ;
#1370 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#1371 = VERTEX_POINT ( 'NONE', #211 ) ;
#1372 = ORIENTED_EDGE ( 'NONE', *, *, #1079, .T. ) ;
#1373 = CARTESIAN_POINT ( 'NONE',  ( -0.8125588142210860010, 6.178382723527406029, 1.897986762635283542 ) ) ;
#1374 = ORIENTED_EDGE ( 'NONE', *, *, #1223, .F. ) ;
#1375 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 6.982962677686181514E-15, -1.419949629397821250E-29 ) ) ;
#1376 = ADVANCED_FACE ( 'NONE', ( #506, #294, #186 ), #614, .T. ) ;
#1377 = ORIENTED_EDGE ( 'NONE', *, *, #680, .F. ) ;
#1378 = FACE_OUTER_BOUND ( 'NONE', #255, .T. ) ;
#1379 = AXIS2_PLACEMENT_3D ( 'NONE', #1194, #1087, #724 ) ;
#1380 = ORIENTED_EDGE ( 'NONE', *, *, #766, .T. ) ;
#1381 = FACE_OUTER_BOUND ( 'NONE', #1267, .T. ) ;
#1382 = ORIENTED_EDGE ( 'NONE', *, *, #1117, .F. ) ;
#1383 = ADVANCED_FACE ( 'NONE', ( #1046 ), #877, .F. ) ;
#1384 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#1385 = AXIS2_PLACEMENT_3D ( 'NONE', #551, #452, #444 ) ;
#1386 = VECTOR ( 'NONE', #612, 1000.000000000000000 ) ;
#1387 = CARTESIAN_POINT ( 'NONE',  ( 0.05859716836265765894, 5.670320264477152428, 10.00000000000000000 ) ) ;
#1388 = VECTOR ( 'NONE', #685, 1000.000000000000000 ) ;
#1389 = AXIS2_PLACEMENT_3D ( 'NONE', #1132, #267, #579 ) ;
#1390 = CARTESIAN_POINT ( 'NONE',  ( -7.250000000000009770, 2.035587995102839276, 4.249999999999994671 ) ) ;
#1391 = EDGE_LOOP ( 'NONE', ( #608, #87 ) ) ;
#1392 = EDGE_CURVE ( 'NONE', #1278, #593, #522, .T. ) ;
#1393 = DIRECTION ( 'NONE',  ( -0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1394 = CARTESIAN_POINT ( 'NONE',  ( 15.00000000000000355, 15.00000000000000355, 10.00000000000000000 ) ) ;
#1395 = ORIENTED_EDGE ( 'NONE', *, *, #1334, .F. ) ;
#1396 = CARTESIAN_POINT ( 'NONE',  ( 0.000000000000000000, -14.98587303581388497, 6.000000000000000000 ) ) ;
#1397 = LINE ( 'NONE', #531, #699 ) ;
#1398 = ORIENTED_EDGE ( 'NONE', *, *, #1169, .F. ) ;
#1399 = CARTESIAN_POINT ( 'NONE',  ( 0.5684193910459101051, 6.540603630023506199, 1.730193204727448197 ) ) ;
#1400 = EDGE_CURVE ( 'NONE', #728, #819, #1397, .T. ) ;
#1401 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -1.734723475976807094E-16, 0.000000000000000000 ) ) ;
#1402 = ORIENTED_EDGE ( 'NONE', *, *, #17, .F. ) ;
#1403 = CARTESIAN_POINT ( 'NONE',  ( 0.05859716836265765894, 5.670320264477152428, 5.899999999999999467 ) ) ;
#1404 = EDGE_CURVE ( 'NONE', #183, #1263, #200, .T. ) ;
#1405 = CARTESIAN_POINT ( 'NONE',  ( 15.00000000000000533, -14.99999999999999645, 10.00000000000000000 ) ) ;
#1406 = ORIENTED_EDGE ( 'NONE', *, *, #656, .F. ) ;
#1407 = DIRECTION ( 'NONE',  ( 0.000000000000000000, -0.000000000000000000, 1.000000000000000000 ) ) ;
#1408 = CARTESIAN_POINT ( 'NONE',  ( 7.249999999999952927, 7.535587995102954295, 0.000000000000000000 ) ) ;
#1409 = DIRECTION ( 'NONE',  ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#1410 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, 1.000000000000000000 ) ) ;
#1411 = EDGE_CURVE ( 'NONE', #222, #618, #81, .T. ) ;
#1412 = CIRCLE ( 'NONE', #249, 1.299999999999999156 ) ;
#1413 = AXIS2_PLACEMENT_3D ( 'NONE', #99, #331, #652 ) ;
#1414 = ORIENTED_EDGE ( 'NONE', *, *, #908, .F. ) ;
#1415 = DIRECTION ( 'NONE',  ( 1.224646799147353207E-16, 1.000000000000000000, -0.000000000000000000 ) ) ;
#1416 = ORIENTED_EDGE ( 'NONE', *, *, #884, .T. ) ;
#1417 = DIRECTION ( 'NONE',  ( 6.982962677686181514E-15, -1.000000000000000000, -0.000000000000000000 ) ) ;
#1418 = LINE ( 'NONE', #431, #1350 ) ;
#1419 = LINE ( 'NONE', #527, #930 ) ;
#1420 = ORIENTED_EDGE ( 'NONE', *, *, #813, .T. ) ;
#1421 = ORIENTED_EDGE ( 'NONE', *, *, #629, .T. ) ;
#1422 = ADVANCED_FACE ( 'NONE', ( #636 ), #950, .F. ) ;
#1423 = ORIENTED_EDGE ( 'NONE', *, *, #416, .F. ) ;
#1424 = CARTESIAN_POINT ( 'NONE',  ( -11.00000000000000000, 0.000000000000000000, 6.000000000000000000 ) ) ;
#1425 = LINE ( 'NONE', #842, #817 ) ;
#1426 = DIRECTION ( 'NONE',  ( -1.000000000000000000, -6.982962677686181514E-15, 1.419949629397821250E-29 ) ) ;
#1427 = DIRECTION ( 'NONE',  ( -0.000000000000000000, -0.000000000000000000, -1.000000000000000000 ) ) ;
#1428 = LINE ( 'NONE', #640, #752 ) ;
ENDSEC;
END-ISO-10303-21;