ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('SIM067Z-201001WL_mirrored.stp', '2016-12-15T10:24:51', ('Unknown'), ('TDM'), 'HarmonyWare STEP v2.0.2.9', 'T3D tool generator', '');
FILE_SCHEMA (('CONFIG_CONTROL_DESIGN'));
ENDSEC;

DATA;
#10 = CARTESIAN_POINT ('', (2.85, 2.85, -0.56354972569183));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (2.7608829809689, 2.85, -1.83798247264877));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (2.85, 2.85, -0.56354972569183));
#60 = DIRECTION ('', (-0.0891170190311001, 0., -1.27443274695694));
#70 = VECTOR ('', #60, 1.27754478183632);
#80 = LINE ('', #50, #70);
#90 = EDGE_CURVE ('', #20, #40, #80, .T.);
#100 = ORIENTED_EDGE ('', *, *, #90, .F.);
#110 = CARTESIAN_POINT ('', (2.85, 2.85, 0.090350680734992));
#120 = VERTEX_POINT ('', #110);
#130 = CARTESIAN_POINT ('', (2.85, 2.85, 0.0903506807349919));
#140 = DIRECTION ('', (0., 0., -0.653900406426822));
#150 = VECTOR ('', #140, 0.653900406426822);
#160 = LINE ('', #130, #150);
#170 = EDGE_CURVE ('', #120, #20, #160, .T.);
#180 = ORIENTED_EDGE ('', *, *, #170, .F.);
#190 = CARTESIAN_POINT ('', (1.0088684378698, 2.85009404358739, 0.101480748328932));
#200 = VERTEX_POINT ('', #190);
#210 = CARTESIAN_POINT ('', (2.85, 2.85, 0.0903506807349952));
#220 = CARTESIAN_POINT ('', (2.55085500028168, 2.85, 0.0917577449670779));
#230 = CARTESIAN_POINT ('', (2.25171055036791, 2.85, 0.0933037199219321));
#240 = CARTESIAN_POINT ('', (1.9525673230705, 2.85, 0.0950473507078042));
#250 = CARTESIAN_POINT ('', (1.63800361161039, 2.85, 0.0968808636252628));
#260 = CARTESIAN_POINT ('', (1.32344076585579, 2.85, 0.098929925001472));
#270 = CARTESIAN_POINT ('', (1.00888076417331, 2.85, 0.10131648710847));
#280 = CARTESIAN_POINT ('', (1.00887623962613, 2.85, 0.101316521436143));
#290 = CARTESIAN_POINT ('', (1.00887171507895, 2.85, 0.101316555763887));
#300 = CARTESIAN_POINT ('', (1.00886719053177, 2.85, 0.101316590091702));
#310 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#210, #220, #230, #240, #250, #260, #270, #280, #290, #300), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (0.400004021117741, 1.29744894765979, 2.24115611253382, 2.24116968656602), .UNSPECIFIED.);
#320 = EDGE_CURVE ('', #120, #200, #310, .T.);
#330 = ORIENTED_EDGE ('', *, *, #320, .T.);
#340 = CARTESIAN_POINT ('', (1.07676794588523, 2.85, -1.83798247264877));
#350 = VERTEX_POINT ('', #340);
#360 = CARTESIAN_POINT ('', (1.07676794588523, 2.85, -1.83798247264877));
#370 = DIRECTION ('', (-0.06788718171192, 0., 1.93929895975724));
#380 = VECTOR ('', #370, 1.94048682674125);
#390 = LINE ('', #360, #380);
#400 = EDGE_CURVE ('', #350, #200, #390, .T.);
#410 = ORIENTED_EDGE ('', *, *, #400, .F.);
#420 = CARTESIAN_POINT ('', (2.7608829809689, 2.85, -1.83798247264877));
#430 = DIRECTION ('', (-1.68411503508367, 0., 0.));
#440 = VECTOR ('', #430, 1.68411503508367);
#450 = LINE ('', #420, #440);
#460 = EDGE_CURVE ('', #40, #350, #450, .T.);
#470 = ORIENTED_EDGE ('', *, *, #460, .F.);
#480 = EDGE_LOOP ('', (#100, #180, #330, #410, #470));
#490 = FACE_OUTER_BOUND ('', #480, .F.);
#500 = CARTESIAN_POINT ('', (1.0088684378698, 2.85, -1.83798247264877));
#510 = CARTESIAN_POINT ('', (1.0088684378698, 2.85, 0.10148074832893));
#520 = CARTESIAN_POINT ('', (2.85, 2.85, -1.83798247264877));
#530 = CARTESIAN_POINT ('', (2.85, 2.85, 0.10148074832893));
#540 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#500, #510), (#520, #530)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (10.5638711269881, 12.4050026891182), (9.3764990454516, 11.3159622664293), .UNSPECIFIED.);
#550 = ADVANCED_FACE ('', (#490), #540, .F.);
#560 = ORIENTED_EDGE ('', *, *, #170, .T.);
#570 = CARTESIAN_POINT ('', (2.85, 2.35, -0.0623287766511856));
#580 = VERTEX_POINT ('', #570);
#590 = CARTESIAN_POINT ('', (2.85, 2.85, -0.56354972569183));
#600 = DIRECTION ('', (0., -0.5, 0.501220949040644));
#610 = VECTOR ('', #600, 0.707970648937655);
#620 = LINE ('', #590, #610);
#630 = EDGE_CURVE ('', #20, #580, #620, .T.);
#640 = ORIENTED_EDGE ('', *, *, #630, .T.);
#650 = CARTESIAN_POINT ('', (2.85, 2.35, -2.45337825894094));
#660 = VERTEX_POINT ('', #650);
#670 = CARTESIAN_POINT ('', (2.85, 2.35, -0.0623287766511856));
#680 = DIRECTION ('', (0., 0., -2.39104948228975));
#690 = VECTOR ('', #680, 2.39104948228975);
#700 = LINE ('', #670, #690);
#710 = EDGE_CURVE ('', #580, #660, #700, .T.);
#720 = ORIENTED_EDGE ('', *, *, #710, .T.);
#730 = CARTESIAN_POINT ('', (2.85, 0.204815995456997, -2.6410575405156));
#740 = VERTEX_POINT ('', #730);
#750 = CARTESIAN_POINT ('', (2.85, 0.204815995456997, -2.6410575405156));
#760 = DIRECTION ('', (0., 2.145184004543, 0.18767928157466));
#770 = VECTOR ('', #760, 2.15337825894095);
#780 = LINE ('', #750, #770);
#790 = EDGE_CURVE ('', #740, #660, #780, .T.);
#800 = ORIENTED_EDGE ('', *, *, #790, .F.);
#810 = CARTESIAN_POINT ('', (2.85, -2.35, -0.299999999999999));
#820 = VERTEX_POINT ('', #810);
#830 = CARTESIAN_POINT ('', (2.85, 0., -0.299999999999998));
#840 = DIRECTION ('', (1., -1.64100614851279E-31, 2.77880343928705E-16));
#850 = DIRECTION ('', (0., -1., -5.90544162034658E-16));
#860 = AXIS2_PLACEMENT_3D ('', #830, #840, #850);
#870 = CIRCLE ('', #860, 2.35);
#880 = EDGE_CURVE ('', #820, #740, #870, .T.);
#890 = ORIENTED_EDGE ('', *, *, #880, .F.);
#900 = CARTESIAN_POINT ('', (2.85, 2.10125997801569, 0.752238805970149));
#910 = VERTEX_POINT ('', #900);
#920 = CARTESIAN_POINT ('', (2.85, -1.11022302462516E-15, -0.300000000000003));
#930 = DIRECTION ('', (1., -1.10334571431053E-16, -2.01710476278042E-16));
#940 = DIRECTION ('', (1.88974131851091E-16, 0.894153182134337, 0.447761194029852));
#950 = AXIS2_PLACEMENT_3D ('', #920, #930, #940);
#960 = CIRCLE ('', #950, 2.35);
#970 = EDGE_CURVE ('', #910, #820, #960, .T.);
#980 = ORIENTED_EDGE ('', *, *, #970, .F.);
#990 = CARTESIAN_POINT ('', (2.85000000000001, 2.45924193836062, 0.355890752968397));
#1000 = VERTEX_POINT ('', #990);
#1010 = CARTESIAN_POINT ('', (2.85, 2.99541316015003, 1.2));
#1020 = DIRECTION ('', (-1., 0., 0.));
#1030 = DIRECTION ('', (0., -0.536171221789568, -0.844109247031853));
#1040 = AXIS2_PLACEMENT_3D ('', #1010, #1020, #1030);
#1050 = CIRCLE ('', #1040, 1.);
#1060 = EDGE_CURVE ('', #1000, #910, #1050, .T.);
#1070 = ORIENTED_EDGE ('', *, *, #1060, .F.);
#1080 = CARTESIAN_POINT ('', (2.85000000000001, 2.45924193836062, 0.355890752968397));
#1090 = CARTESIAN_POINT ('', (2.85, 2.57337937926709, 0.244534609783944));
#1100 = CARTESIAN_POINT ('', (2.85, 2.70600157721896, 0.154893033105265));
#1110 = CARTESIAN_POINT ('', (2.85, 2.85, 0.0903506807349921));
#1120 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#1080, #1090, #1100, #1110), .UNSPECIFIED., .F., .U., (4, 4), (0.00186629420371123, 0.00233702356839718), .UNSPECIFIED.);
#1130 = EDGE_CURVE ('', #1000, #120, #1120, .T.);
#1140 = ORIENTED_EDGE ('', *, *, #1130, .T.);
#1150 = EDGE_LOOP ('', (#560, #640, #720, #800, #890, #980, #1070, #1140));
#1160 = FACE_OUTER_BOUND ('', #1150, .F.);
#1170 = CARTESIAN_POINT ('', (2.85, -2.351, 2.05304011120837));
#1180 = CARTESIAN_POINT ('', (2.85, -2.351, -2.65091395532977));
#1190 = CARTESIAN_POINT ('', (2.85, 2.85, 2.05304011120837));
#1200 = CARTESIAN_POINT ('', (2.85, 2.85, -2.65091395532977));
#1210 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1170, #1180), (#1190, #1200)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.351, 2.85), (-2.35304011120837, 2.35091395532977), .UNSPECIFIED.);
#1220 = ADVANCED_FACE ('', (#1160), #1210, .F.);
#1230 = ORIENTED_EDGE ('', *, *, #90, .T.);
#1240 = CARTESIAN_POINT ('', (2.6884113071318, 2.42360424374633, -2.44693872202574));
#1250 = VERTEX_POINT ('', #1240);
#1260 = CARTESIAN_POINT ('', (2.6884113071318, 2.42360424374633, -2.44693872202574));
#1270 = DIRECTION ('', (0.0724716738371001, 0.42639575625367, 0.60895624937697));
#1280 = VECTOR ('', #1270, 0.746922484676393);
#1290 = LINE ('', #1260, #1280);
#1300 = EDGE_CURVE ('', #1250, #40, #1290, .T.);
#1310 = ORIENTED_EDGE ('', *, *, #1300, .F.);
#1320 = CARTESIAN_POINT ('', (2.68280153250431, 2.35, -2.45337825894094));
#1330 = VERTEX_POINT ('', #1320);
#1340 = CARTESIAN_POINT ('', (2.6884113071318, 2.42360424374633, -2.44693872202574));
#1350 = DIRECTION ('', (-0.00560977462748991, -0.0736042437463298, -0.00643953691520016));
#1360 = VECTOR ('', #1350, 0.0740980560104149);
#1370 = LINE ('', #1340, #1360);
#1380 = EDGE_CURVE ('', #1250, #1330, #1370, .T.);
#1390 = ORIENTED_EDGE ('', *, *, #1380, .T.);
#1400 = CARTESIAN_POINT ('', (2.68280153250431, 2.35, -2.45337825894094));
#1410 = DIRECTION ('', (0.16719846749569, 0., 2.39104948228975));
#1420 = VECTOR ('', #1410, 2.39688818143254);
#1430 = LINE ('', #1400, #1420);
#1440 = EDGE_CURVE ('', #1330, #580, #1430, .T.);
#1450 = ORIENTED_EDGE ('', *, *, #1440, .T.);
#1460 = ORIENTED_EDGE ('', *, *, #630, .F.);
#1470 = EDGE_LOOP ('', (#1230, #1310, #1390, #1450, #1460));
#1480 = FACE_OUTER_BOUND ('', #1470, .F.);
#1490 = CARTESIAN_POINT ('', (2.84910781477934, 2.33727223682072, -0.0623287766511851));
#1500 = CARTESIAN_POINT ('', (2.68272688804759, 2.34893513482865, -2.45337825894094));
#1510 = CARTESIAN_POINT ('', (2.88487740701999, 2.84755517865632, -0.0623287766511851));
#1520 = CARTESIAN_POINT ('', (2.71849648028824, 2.85921807666425, -2.45337825894094));
#1530 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1490, #1500), (#1510, #1520)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.144375052245063, 0.655910138487893), (7.08015791737238, 9.4770175842549), .UNSPECIFIED.);
#1540 = ADVANCED_FACE ('', (#1480), #1530, .F.);
#1550 = ORIENTED_EDGE ('', *, *, #460, .T.);
#1560 = CARTESIAN_POINT ('', (1.12790159006325, 2.42360424374633, -2.44693872202574));
#1570 = VERTEX_POINT ('', #1560);
#1580 = CARTESIAN_POINT ('', (1.07676794588523, 2.85, -1.83798247264877));
#1590 = DIRECTION ('', (0.0511336441780201, -0.42639575625367, -0.60895624937697));
#1600 = VECTOR ('', #1590, 0.745154818929147);
#1610 = LINE ('', #1580, #1600);
#1620 = EDGE_CURVE ('', #350, #1570, #1610, .T.);
#1630 = ORIENTED_EDGE ('', *, *, #1620, .T.);
#1640 = CARTESIAN_POINT ('', (2.6884113071318, 2.42360424374633, -2.44693872202574));
#1650 = DIRECTION ('', (-1.56050971706855, 0., 0.));
#1660 = VECTOR ('', #1650, 1.56050971706855);
#1670 = LINE ('', #1640, #1660);
#1680 = EDGE_CURVE ('', #1250, #1570, #1670, .T.);
#1690 = ORIENTED_EDGE ('', *, *, #1680, .F.);
#1700 = ORIENTED_EDGE ('', *, *, #1300, .T.);
#1710 = EDGE_LOOP ('', (#1550, #1630, #1690, #1700));
#1720 = FACE_OUTER_BOUND ('', #1710, .F.);
#1730 = CARTESIAN_POINT ('', (2.7608829809689, 2.4228054075076, -2.4480795784078));
#1740 = CARTESIAN_POINT ('', (1.07676794588523, 2.4228054075076, -2.4480795784078));
#1750 = CARTESIAN_POINT ('', (2.7608829809689, 2.85, -1.83798247264877));
#1760 = CARTESIAN_POINT ('', (1.07676794588523, 2.85, -1.83798247264877));
#1770 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1730, #1740), (#1750, #1760)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.01193366957693, -1.2671426261894), (7.4891170190311, 9.17323205411477), .UNSPECIFIED.);
#1780 = ADVANCED_FACE ('', (#1720), #1770, .F.);
#1790 = ORIENTED_EDGE ('', *, *, #400, .T.);
#1800 = CARTESIAN_POINT ('', (1.01851010381286, 2.62784837842577, 0.270002079984258));
#1810 = VERTEX_POINT ('', #1800);
#1820 = CARTESIAN_POINT ('', (1.0088684378698, 2.85009404358739, 0.101480748328933));
#1830 = CARTESIAN_POINT ('', (1.01287805475485, 2.76950568374766, 0.147920450861384));
#1840 = CARTESIAN_POINT ('', (1.01614044691959, 2.69452826343925, 0.204497534886376));
#1850 = CARTESIAN_POINT ('', (1.01851010381286, 2.62784837842577, 0.270002079984258));
#1860 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#1820, #1830, #1840, #1850), .UNSPECIFIED., .F., .U., (4, 4), (0.00284253129987101, 0.00312043295790516), .UNSPECIFIED.);
#1870 = EDGE_CURVE ('', #200, #1810, #1860, .T.);
#1880 = ORIENTED_EDGE ('', *, *, #1870, .T.);
#1890 = CARTESIAN_POINT ('', (1.03845155255831, 2.10125997801569, 0.752238805970149));
#1900 = VERTEX_POINT ('', #1890);
#1910 = CARTESIAN_POINT ('', (1.01851010381286, 2.62784837842577, 0.270002079984258));
#1920 = CARTESIAN_POINT ('', (1.03149651293629, 2.39632572003559, 0.361507204418055));
#1930 = CARTESIAN_POINT ('', (1.0384491256581, 2.21272997137189, 0.529639682596162));
#1940 = CARTESIAN_POINT ('', (1.03845155255831, 2.10125997801569, 0.752238805970149));
#1950 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#1910, #1920, #1930, #1940), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (2.41132074205498, 3.14146799112713), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.956064985604497, 0.956064985604497, 1.))
   REPRESENTATION_ITEM ('')
);
#1960 = EDGE_CURVE ('', #1810, #1900, #1950, .T.);
#1970 = ORIENTED_EDGE ('', *, *, #1960, .T.);
#1980 = CARTESIAN_POINT ('', (1.05789267212937, 2.35, -0.3));
#1990 = VERTEX_POINT ('', #1980);
#2000 = CARTESIAN_POINT ('', (1.05789267212937, 2.35, -0.3));
#2010 = CARTESIAN_POINT ('', (1.04504633306351, 2.35, 0.0669749039345361));
#2020 = CARTESIAN_POINT ('', (1.03844797508205, 2.26557709918041, 0.424107027853639));
#2030 = CARTESIAN_POINT ('', (1.03845155255831, 2.10125997801569, 0.752238805970149));
#2040 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#2000, #2010, #2020, #2030), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (5.81905003309832, 6.28330996964225), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.982119067889193, 0.982119067889193, 1.))
   REPRESENTATION_ITEM ('')
);
#2050 = EDGE_CURVE ('', #1990, #1900, #2040, .T.);
#2060 = ORIENTED_EDGE ('', *, *, #2050, .F.);
#2070 = CARTESIAN_POINT ('', (1.28984971024459, 0.204815995456997, -2.6410575405156));
#2080 = VERTEX_POINT ('', #2070);
#2090 = CARTESIAN_POINT ('', (1.28984971024459, 0.204815995456997, -2.6410575405156));
#2100 = CARTESIAN_POINT ('', (1.1965482522083, 1.48310300741724, -2.52922191823665));
#2110 = CARTESIAN_POINT ('', (1.10281137074515, 2.35, -1.5831698606797));
#2120 = CARTESIAN_POINT ('', (1.05789267212937, 2.35, -0.3));
#2130 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#2090, #2100, #2110, #2120), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (4.33552016890314, 5.81905003309832), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.824851557873416, 0.824851557873416, 1.))
   REPRESENTATION_ITEM ('')
);
#2140 = EDGE_CURVE ('', #2080, #1990, #2130, .T.);
#2150 = ORIENTED_EDGE ('', *, *, #2140, .F.);
#2160 = CARTESIAN_POINT ('', (1.28984971024459, 0.204815995456997, -2.6410575405156));
#2170 = DIRECTION ('', (-0.16194812018134, 2.21878824828933, 0.19411881848986));
#2180 = VECTOR ('', #2170, 2.23314365862768);
#2190 = LINE ('', #2160, #2180);
#2200 = EDGE_CURVE ('', #2080, #1570, #2190, .T.);
#2210 = ORIENTED_EDGE ('', *, *, #2200, .T.);
#2220 = ORIENTED_EDGE ('', *, *, #1620, .F.);
#2230 = EDGE_LOOP ('', (#1790, #1880, #1970, #2060, #2150, #2210, #2220));
#2240 = FACE_OUTER_BOUND ('', #2230, .F.);
#2250 = CARTESIAN_POINT ('', (0.98619882263396, 2.84850882966596, 0.752238805970149));
#2260 = CARTESIAN_POINT ('', (1.10440669060081, 2.85677472901952, -2.6410575405156));
#2270 = CARTESIAN_POINT ('', (1.17171629479385, 0.195485375518585, 0.752238805970149));
#2280 = CARTESIAN_POINT ('', (1.2899241627607, 0.203751274872144, -2.6410575405156));
#2290 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2250, #2260), (#2270, #2280)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.85803405783256, -0.198532190803194), (-1.05288019213533, 2.34248451879264), .UNSPECIFIED.);
#2300 = ADVANCED_FACE ('', (#2240), #2290, .F.);
#2310 = ORIENTED_EDGE ('', *, *, #320, .F.);
#2320 = ORIENTED_EDGE ('', *, *, #1130, .F.);
#2330 = CARTESIAN_POINT ('', (2.85000000000001, 2.45924193836062, 0.355890752968397));
#2340 = CARTESIAN_POINT ('', (2.5466839229273, 2.49987901134688, 0.330078419849659));
#2350 = CARTESIAN_POINT ('', (2.24167817982942, 2.53012420456594, 0.314335747078829));
#2360 = CARTESIAN_POINT ('', (1.6306484462971, 2.58390040460231, 0.288105141415703));
#2370 = CARTESIAN_POINT ('', (1.32466307241012, 2.60684734571692, 0.278302356615353));
#2380 = CARTESIAN_POINT ('', (1.01851010381286, 2.62784837842577, 0.270002079984258));
#2390 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#2330, #2340, #2350, #2360, #2370, #2380), .UNSPECIFIED., .F., .U., (4, 2, 4), (0., 0.00092067529509182, 0.00184135059018364), .UNSPECIFIED.);
#2400 = EDGE_CURVE ('', #1000, #1810, #2390, .T.);
#2410 = ORIENTED_EDGE ('', *, *, #2400, .T.);
#2420 = ORIENTED_EDGE ('', *, *, #1870, .F.);
#2430 = EDGE_LOOP ('', (#2310, #2320, #2410, #2420));
#2440 = FACE_OUTER_BOUND ('', #2430, .F.);
#2450 = CARTESIAN_POINT ('', (1.0088671945317, 2.62914448032767, 0.269116290000092));
#2460 = CARTESIAN_POINT ('', (1.62257812968781, 2.54665569110498, 0.325491288744525));
#2470 = CARTESIAN_POINT ('', (2.23628906484391, 2.46416690188228, 0.381866287488958));
#2480 = CARTESIAN_POINT ('', (2.85000000000002, 2.38167811265959, 0.438241286233391));
#2490 = CARTESIAN_POINT ('', (1.0088671945317, 2.74469768431685, 0.155551764936676));
#2500 = CARTESIAN_POINT ('', (1.62257812968781, 2.6669543431274, 0.199769463579386));
#2510 = CARTESIAN_POINT ('', (2.23628906484391, 2.58921100193796, 0.243987162222095));
#2520 = CARTESIAN_POINT ('', (2.85000000000002, 2.51146766074852, 0.288204860864805));
#2530 = CARTESIAN_POINT ('', (1.0088671945317, 2.88320564213891, 0.0700219361225173));
#2540 = CARTESIAN_POINT ('', (1.62257812968781, 2.81281941341244, 0.103385299777928));
#2550 = CARTESIAN_POINT ('', (2.23628906484391, 2.74243318468597, 0.136748663433339));
#2560 = CARTESIAN_POINT ('', (2.85000000000002, 2.67204695595951, 0.17011202708875));
#2570 = CARTESIAN_POINT ('', (1.0088671945317, 3.0333259558471, 0.0168410990415812));
#2580 = CARTESIAN_POINT ('', (1.62257812968781, 2.97221730389807, 0.0413442929393861));
#2590 = CARTESIAN_POINT ('', (2.23628906484391, 2.91110865194903, 0.065847486837191));
#2600 = CARTESIAN_POINT ('', (2.85000000000002, 2.85, 0.0903506807349959));
#2610 = B_SPLINE_SURFACE_WITH_KNOTS ('', 3, 3, ((#2450, #2460, #2470, #2480), (#2490, #2500, #2510, #2520), (#2530, #2540, #2550, #2560), (#2570, #2580, #2590, #2600)), .UNSPECIFIED., .F., .F., .U., (4, 4), (4, 4), (0.808003640405911, 0.878772977460834), (0.252955731510568, 0.866666666666673), .UNSPECIFIED.);
#2620 = ADVANCED_FACE ('', (#2440), #2610, .F.);
#2630 = ORIENTED_EDGE ('', *, *, #2400, .F.);
#2640 = ORIENTED_EDGE ('', *, *, #1060, .T.);
#2650 = CARTESIAN_POINT ('', (2.85, 2.10125997801569, 0.752238805970149));
#2660 = DIRECTION ('', (-1.81154844744169, 0., 0.));
#2670 = VECTOR ('', #2660, 1.81154844744169);
#2680 = LINE ('', #2650, #2670);
#2690 = EDGE_CURVE ('', #910, #1900, #2680, .T.);
#2700 = ORIENTED_EDGE ('', *, *, #2690, .T.);
#2710 = ORIENTED_EDGE ('', *, *, #1960, .F.);
#2720 = EDGE_LOOP ('', (#2630, #2640, #2700, #2710));
#2730 = FACE_OUTER_BOUND ('', #2720, .F.);
#2740 = CARTESIAN_POINT ('', (2.85000000000001, 2.62784837842533, 0.270002079983148));
#2750 = CARTESIAN_POINT ('', (1.01851010381286, 2.62784837842533, 0.270002079983148));
#2760 = CARTESIAN_POINT ('', (2.85000000000001, 2.27239718808803, 0.410487705142125));
#2770 = CARTESIAN_POINT ('', (1.01851010381286, 2.27239718808803, 0.410487705142125));
#2780 = CARTESIAN_POINT ('', (2.85000000000001, 2.10125997801569, 0.752238805970149));
#2790 = CARTESIAN_POINT ('', (1.01851010381286, 2.10125997801569, 0.752238805970149));
#2800 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#2740, #2750), (#2760, #2770), (#2780, #2790)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.812410318083696, 0.92387679453972), (0.0837880880007721, 0.916666666666667), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.934097478406748, 0.934097478406748), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#2810 = ADVANCED_FACE ('', (#2730), #2800, .F.);
#2820 = CARTESIAN_POINT ('', (0.25, 2.35, -0.3));
#2830 = VERTEX_POINT ('', #2820);
#2840 = CARTESIAN_POINT ('', (1.05789267212937, 2.35, -0.3));
#2850 = DIRECTION ('', (-0.80789267212937, 0., 0.));
#2860 = VECTOR ('', #2850, 0.80789267212937);
#2870 = LINE ('', #2840, #2860);
#2880 = EDGE_CURVE ('', #1990, #2830, #2870, .T.);
#2890 = ORIENTED_EDGE ('', *, *, #2880, .F.);
#2900 = ORIENTED_EDGE ('', *, *, #2050, .T.);
#2910 = ORIENTED_EDGE ('', *, *, #2690, .F.);
#2920 = ORIENTED_EDGE ('', *, *, #970, .T.);
#2930 = CARTESIAN_POINT ('', (-0.570109691057586, -2.35, -0.299999999999999));
#2940 = VERTEX_POINT ('', #2930);
#2950 = CARTESIAN_POINT ('', (2.85, -2.35, -0.299999999999999));
#2960 = DIRECTION ('', (-3.42010969105759, 0., 0.));
#2970 = VECTOR ('', #2960, 3.42010969105759);
#2980 = LINE ('', #2950, #2970);
#2990 = EDGE_CURVE ('', #820, #2940, #2980, .T.);
#3000 = ORIENTED_EDGE ('', *, *, #2990, .T.);
#3010 = CARTESIAN_POINT ('', (-0.57657601271086, -2.34996176467599, -0.286594607022022));
#3020 = VERTEX_POINT ('', #3010);
#3030 = CARTESIAN_POINT ('', (0.614667949368042, -0.302786045882883, 0.273921554286054));
#3040 = DIRECTION ('', (0.756968660642131, -0.540873979678164, 0.366679403447702));
#3050 = DIRECTION ('', (-0.489425951655294, -0.841087935192879, -0.230289650482365));
#3060 = AXIS2_PLACEMENT_3D ('', #3030, #3040, #3050);
#3070 = CIRCLE ('', #3060, 2.43396157927825);
#3080 = EDGE_CURVE ('', #3020, #2940, #3070, .T.);
#3090 = ORIENTED_EDGE ('', *, *, #3080, .F.);
#3100 = CARTESIAN_POINT ('', (-0.596294638093275, -2.34787137637495, -0.200000000000206));
#3110 = VERTEX_POINT ('', #3100);
#3120 = CARTESIAN_POINT ('', (-0.596294638093275, -2.34787137637495, -0.200000000000206));
#3130 = CARTESIAN_POINT ('', (-0.596294638091298, -2.34913720659288, -0.22972006536441));
#3140 = CARTESIAN_POINT ('', (-0.589622135169876, -2.34980682586471, -0.259433875294609));
#3150 = CARTESIAN_POINT ('', (-0.57657601271086, -2.34996176467599, -0.286594607022022));
#3160 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3120, #3130, #3140, #3150), .UNSPECIFIED., .F., .U., (4, 4), (0.000313245312474544, 0.000402356509454705), .UNSPECIFIED.);
#3170 = EDGE_CURVE ('', #3110, #3020, #3160, .T.);
#3180 = ORIENTED_EDGE ('', *, *, #3170, .F.);
#3190 = CARTESIAN_POINT ('', (-0.396294638091347, -2.33077240416133, 9.99200722162641E-16));
#3200 = VERTEX_POINT ('', #3190);
#3210 = CARTESIAN_POINT ('', (-0.396294638091347, -2.33077240416133, 9.99200722162641E-16));
#3220 = CARTESIAN_POINT ('', (-0.449257607263638, -2.33077240416133, 9.99200722162641E-16));
#3230 = CARTESIAN_POINT ('', (-0.500982714431105, -2.33376823375169, -0.0217877092886903));
#3240 = CARTESIAN_POINT ('', (-0.574670647215318, -2.34138703747134, -0.095591124623929));
#3250 = CARTESIAN_POINT ('', (-0.596294638091431, -2.34564654158611, -0.147763740825115));
#3260 = CARTESIAN_POINT ('', (-0.596294638093275, -2.34787137637495, -0.200000000000206));
#3270 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3210, #3220, #3230, #3240, #3250, #3260), .UNSPECIFIED., .F., .U., (4, 2, 4), (7.66646708341687E-19, 0.000156622656237272, 0.000313245312474544), .UNSPECIFIED.);
#3280 = EDGE_CURVE ('', #3200, #3110, #3270, .T.);
#3290 = ORIENTED_EDGE ('', *, *, #3280, .F.);
#3300 = CARTESIAN_POINT ('', (0.15, -2.33077240416133, 9.99200722162641E-16));
#3310 = VERTEX_POINT ('', #3300);
#3320 = CARTESIAN_POINT ('', (0.15, -2.33077240416133, 9.99200722162641E-16));
#3330 = DIRECTION ('', (-0.546294638091347, 0., 0.));
#3340 = VECTOR ('', #3330, 0.546294638091347);
#3350 = LINE ('', #3320, #3340);
#3360 = EDGE_CURVE ('', #3310, #3200, #3350, .T.);
#3370 = ORIENTED_EDGE ('', *, *, #3360, .F.);
#3380 = CARTESIAN_POINT ('', (0.25, -2.32716674966726, 0.0267949192431131));
#3390 = VERTEX_POINT ('', #3380);
#3400 = CARTESIAN_POINT ('', (0.25, -2.32716674966726, 0.0267949192431131));
#3410 = CARTESIAN_POINT ('', (0.219602779269077, -2.32963120551837, 0.00924507567149863));
#3420 = CARTESIAN_POINT ('', (0.185187026184657, -2.33077240416182, -1.92068583260152E-13));
#3430 = CARTESIAN_POINT ('', (0.15, -2.33077240416133, 9.99200722162641E-16));
#3440 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3400, #3410, #3420, #3430), .UNSPECIFIED., .F., .U., (4, 4), (0.000424266301710768, 0.000528273888083527), .UNSPECIFIED.);
#3450 = EDGE_CURVE ('', #3390, #3310, #3440, .T.);
#3460 = ORIENTED_EDGE ('', *, *, #3450, .F.);
#3470 = CARTESIAN_POINT ('', (0.25, 0.0038159303698917, 2.04999690184379));
#3480 = VERTEX_POINT ('', #3470);
#3490 = CARTESIAN_POINT ('', (0.25, -2.33146835171283E-15, -0.299999999999996));
#3500 = DIRECTION ('', (1., 0., 0.));
#3510 = DIRECTION ('', (0., 0.00162380015740191, 0.999998681635655));
#3520 = AXIS2_PLACEMENT_3D ('', #3490, #3500, #3510);
#3530 = CIRCLE ('', #3520, 2.35);
#3540 = EDGE_CURVE ('', #3480, #3390, #3530, .T.);
#3550 = ORIENTED_EDGE ('', *, *, #3540, .F.);
#3560 = CARTESIAN_POINT ('', (-0.576576012710859, 1.18659029320465, 1.72842388964252));
#3570 = VERTEX_POINT ('', #3560);
#3580 = CARTESIAN_POINT ('', (-0.576576012710859, 1.18659029320465, 1.72842388964252));
#3590 = CARTESIAN_POINT ('', (-0.467748973069796, 0.991023663535279, 1.842826734938));
#3600 = CARTESIAN_POINT ('', (-0.343112760396766, 0.792603382556132, 1.92184370404479));
#3610 = CARTESIAN_POINT ('', (-0.0647915991624606, 0.394557147593211, 2.02575454950131));
#3620 = CARTESIAN_POINT ('', (0.0887077083083181, 0.19560284118654, 2.04968547781725));
#3630 = CARTESIAN_POINT ('', (0.25, 0.0038159303698917, 2.04999690184379));
#3640 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3580, #3590, #3600, #3610, #3620, #3630), .UNSPECIFIED., .F., .U., (4, 2, 4), (5.42101086242752E-19, 0.000741562236011894, 0.00148312447202379), .UNSPECIFIED.);
#3650 = EDGE_CURVE ('', #3570, #3480, #3640, .T.);
#3660 = ORIENTED_EDGE ('', *, *, #3650, .F.);
#3670 = CARTESIAN_POINT ('', (-0.396294638091347, 1.42519382321601, 1.56850811244344));
#3680 = VERTEX_POINT ('', #3670);
#3690 = CARTESIAN_POINT ('', (-0.396294638091347, 1.42519382321601, 1.56850811244344));
#3700 = CARTESIAN_POINT ('', (-0.464324372481233, 1.42519382321601, 1.56850811244344));
#3710 = CARTESIAN_POINT ('', (-0.529467623853349, 1.39646558267396, 1.59095301581083));
#3720 = CARTESIAN_POINT ('', (-0.601685430136952, 1.30212325111447, 1.65711381133139));
#3730 = CARTESIAN_POINT ('', (-0.606029058301173, 1.23951861762286, 1.69746180311272));
#3740 = CARTESIAN_POINT ('', (-0.576576012710859, 1.18659029320465, 1.72842388964252));
#3750 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3690, #3700, #3710, #3720, #3730, #3740), .UNSPECIFIED., .F., .U., (4, 2, 4), (5.42101086242752E-19, 0.000201178254727353, 0.000402356509454705), .UNSPECIFIED.);
#3760 = EDGE_CURVE ('', #3680, #3570, #3750, .T.);
#3770 = ORIENTED_EDGE ('', *, *, #3760, .F.);
#3780 = CARTESIAN_POINT ('', (0.150000000000001, 1.42519382321601, 1.56850811244344));
#3790 = VERTEX_POINT ('', #3780);
#3800 = CARTESIAN_POINT ('', (0.150000000000001, 1.42519382321601, 1.56850811244344));
#3810 = DIRECTION ('', (-0.546294638091348, 0., 0.));
#3820 = VECTOR ('', #3810, 0.546294638091348);
#3830 = LINE ('', #3800, #3820);
#3840 = EDGE_CURVE ('', #3790, #3680, #3830, .T.);
#3850 = ORIENTED_EDGE ('', *, *, #3840, .F.);
#3860 = CARTESIAN_POINT ('', (0.25, 1.44659607672586, 1.55198806443275));
#3870 = VERTEX_POINT ('', #3860);
#3880 = CARTESIAN_POINT ('', (0.25, 1.44659607672586, 1.55198806443275));
#3890 = CARTESIAN_POINT ('', (0.219680501390624, 1.43266540468471, 1.56286937404154));
#3900 = CARTESIAN_POINT ('', (0.184863784820497, 1.42519382321601, 1.56850811244345));
#3910 = CARTESIAN_POINT ('', (0.150000000000001, 1.42519382321601, 1.56850811244344));
#3920 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3880, #3890, #3900, #3910), .UNSPECIFIED., .F., .U., (4, 4), (0.000424032325933718, 0.000528395067935458), .UNSPECIFIED.);
#3930 = EDGE_CURVE ('', #3870, #3790, #3920, .T.);
#3940 = ORIENTED_EDGE ('', *, *, #3930, .F.);
#3950 = CARTESIAN_POINT ('', (0.25, -8.88178419700125E-15, -0.3));
#3960 = DIRECTION ('', (1., 0., 0.));
#3970 = DIRECTION ('', (0., 1., 1.8897413185109E-16));
#3980 = AXIS2_PLACEMENT_3D ('', #3950, #3960, #3970);
#3990 = CIRCLE ('', #3980, 2.35000000000001);
#4000 = EDGE_CURVE ('', #2830, #3870, #3990, .T.);
#4010 = ORIENTED_EDGE ('', *, *, #4000, .F.);
#4020 = EDGE_LOOP ('', (#2890, #2900, #2910, #2920, #3000, #3090, #3180, #3290, #3370, #3460, #3550, #3660, #3770, #3850, #3940, #4010));
#4030 = FACE_OUTER_BOUND ('', #4020, .F.);
#4040 = CARTESIAN_POINT ('', (2.85, 2.35, -0.300000000000002));
#4050 = CARTESIAN_POINT ('', (-0.596294638093275, 2.35, -0.300000000000001));
#4060 = CARTESIAN_POINT ('', (2.85, 2.35, 2.05));
#4070 = CARTESIAN_POINT ('', (-0.596294638093275, 2.35, 2.05));
#4080 = CARTESIAN_POINT ('', (2.85, -1.48533034694825E-16, 2.05));
#4090 = CARTESIAN_POINT ('', (-0.596294638093274, -7.99793572031569E-16, 2.05));
#4100 = CARTESIAN_POINT ('', (2.85, -2.35, 2.05));
#4110 = CARTESIAN_POINT ('', (-0.596294638093274, -2.35, 2.05));
#4120 = CARTESIAN_POINT ('', (2.85, -2.35, -0.300000000000001));
#4130 = CARTESIAN_POINT ('', (-0.596294638093274, -2.35, -0.3));
#4140 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#4040, #4050), (#4060, #4070), (#4080, #4090), (#4100, #4110), (#4120, #4130)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0.5, 0.75, 1.), (0.0835743881000938, 0.914320138273902), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#4150 = ADVANCED_FACE ('', (#4030), #4140, .F.);
#4160 = ORIENTED_EDGE ('', *, *, #2140, .T.);
#4170 = ORIENTED_EDGE ('', *, *, #2880, .T.);
#4180 = CARTESIAN_POINT ('', (0.250000000000003, 2.0332490506265, -1.4783031435613));
#4190 = VERTEX_POINT ('', #4180);
#4200 = CARTESIAN_POINT ('', (0.25, -5.77315972805081E-15, -0.300000000000001));
#4210 = DIRECTION ('', (1., 0., 0.));
#4220 = DIRECTION ('', (0., 0.865212361968724, -0.501405593004807));
#4230 = AXIS2_PLACEMENT_3D ('', #4200, #4210, #4220);
#4240 = CIRCLE ('', #4230, 2.35000000000001);
#4250 = EDGE_CURVE ('', #4190, #2830, #4240, .T.);
#4260 = ORIENTED_EDGE ('', *, *, #4250, .F.);
#4270 = CARTESIAN_POINT ('', (-0.576576012710859, 1.16337147147134, -2.34182928262052));
#4280 = VERTEX_POINT ('', #4270);
#4290 = CARTESIAN_POINT ('', (-0.576576012710859, 1.16337147147134, -2.34182928262052));
#4300 = CARTESIAN_POINT ('', (-0.467748973069796, 1.36023055659712, -2.22966503584208));
#4310 = CARTESIAN_POINT ('', (-0.343112760396765, 1.52787139966323, -2.09733651644149));
#4320 = CARTESIAN_POINT ('', (-0.0647915991624592, 1.81688394903875, -1.80457378781111));
#4330 = CARTESIAN_POINT ('', (0.0887077083083208, 1.93708589409984, -1.64423976842859));
#4340 = CARTESIAN_POINT ('', (0.250000000000003, 2.0332490506265, -1.4783031435613));
#4350 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#4290, #4300, #4310, #4320, #4330, #4340), .UNSPECIFIED., .F., .U., (4, 2, 4), (8.94056015336375E-19, 0.000741562236011897, 0.00148312447202379), .UNSPECIFIED.);
#4360 = EDGE_CURVE ('', #4280, #4190, #4350, .T.);
#4370 = ORIENTED_EDGE ('', *, *, #4360, .F.);
#4380 = CARTESIAN_POINT ('', (-0.396294638091347, 0.905578580945315, -2.46850811244345));
#4390 = VERTEX_POINT ('', #4380);
#4400 = CARTESIAN_POINT ('', (-0.396294638091347, 0.905578580945315, -2.46850811244345));
#4410 = CARTESIAN_POINT ('', (-0.464324372481233, 0.905578580945315, -2.46850811244345));
#4420 = CARTESIAN_POINT ('', (-0.529467623853349, 0.939380557717988, -2.45485117801171));
#4430 = CARTESIAN_POINT ('', (-0.601685430136951, 1.04384865315312, -2.40622871998921));
#4440 = CARTESIAN_POINT ('', (-0.606029058301174, 1.11009335577325, -2.37218551288153));
#4450 = CARTESIAN_POINT ('', (-0.576576012710859, 1.16337147147134, -2.34182928262052));
#4460 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#4400, #4410, #4420, #4430, #4440, #4450), .UNSPECIFIED., .F., .U., (4, 2, 4), (4.47028007668187E-19, 0.000201178254727352, 0.000402356509454704), .UNSPECIFIED.);
#4470 = EDGE_CURVE ('', #4390, #4280, #4460, .T.);
#4480 = ORIENTED_EDGE ('', *, *, #4470, .F.);
#4490 = CARTESIAN_POINT ('', (0.15, 0.905578580945315, -2.46850811244345));
#4500 = VERTEX_POINT ('', #4490);
#4510 = CARTESIAN_POINT ('', (0.15, 0.905578580945315, -2.46850811244345));
#4520 = DIRECTION ('', (-0.546294638091347, 0., 0.));
#4530 = VECTOR ('', #4520, 0.546294638091347);
#4540 = LINE ('', #4510, #4530);
#4550 = EDGE_CURVE ('', #4500, #4390, #4540, .T.);
#4560 = ORIENTED_EDGE ('', *, *, #4550, .F.);
#4570 = CARTESIAN_POINT ('', (0.25, 0.880570672941391, -2.47878298367587));
#4580 = VERTEX_POINT ('', #4570);
#4590 = CARTESIAN_POINT ('', (0.25, 0.880570672941391, -2.47878298367587));
#4600 = CARTESIAN_POINT ('', (0.219762946267988, 0.896914934960122, -2.47217733368118));
#4610 = CARTESIAN_POINT ('', (0.185210356175598, 0.905578580945315, -2.46850811244345));
#4620 = CARTESIAN_POINT ('', (0.15, 0.905578580945315, -2.46850811244345));
#4630 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#4590, #4600, #4610, #4620), .UNSPECIFIED., .F., .U., (4, 4), (0.000424032325933717, 0.0005281112844344), .UNSPECIFIED.);
#4640 = EDGE_CURVE ('', #4580, #4500, #4630, .T.);
#4650 = ORIENTED_EDGE ('', *, *, #4640, .F.);
#4660 = CARTESIAN_POINT ('', (0.25, -2.03706498099639, -1.4716937582825));
#4670 = VERTEX_POINT ('', #4660);
#4680 = CARTESIAN_POINT ('', (0.25, -7.32747196252603E-15, -0.300000000000001));
#4690 = DIRECTION ('', (1., 0., 0.));
#4700 = DIRECTION ('', (0., -0.866836162126122, -0.498593088630856));
#4710 = AXIS2_PLACEMENT_3D ('', #4680, #4690, #4700);
#4720 = CIRCLE ('', #4710, 2.35);
#4730 = EDGE_CURVE ('', #4670, #4580, #4720, .T.);
#4740 = ORIENTED_EDGE ('', *, *, #4730, .F.);
#4750 = CARTESIAN_POINT ('', (-0.570109691057586, -2.35, -0.299999999999999));
#4760 = CARTESIAN_POINT ('', (-0.461734479281851, -2.35, -0.523727445566626));
#4770 = CARTESIAN_POINT ('', (-0.337898250700282, -2.31879063552448, -0.73259511976887));
#4780 = CARTESIAN_POINT ('', (-0.0617526882857038, -2.20988102694454, -1.12483598114681));
#4790 = CARTESIAN_POINT ('', (0.0903003902051309, -2.13174449783544, -1.3070873269457));
#4800 = CARTESIAN_POINT ('', (0.25, -2.03706498099639, -1.4716937582825));
#4810 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#4750, #4760, #4770, #4780, #4790, #4800), .UNSPECIFIED., .F., .U., (4, 2, 4), (1.46451232885203E-5, 0.000748884797656154, 0.00148312447202379), .UNSPECIFIED.);
#4820 = EDGE_CURVE ('', #2940, #4670, #4810, .T.);
#4830 = ORIENTED_EDGE ('', *, *, #4820, .F.);
#4840 = ORIENTED_EDGE ('', *, *, #2990, .F.);
#4850 = ORIENTED_EDGE ('', *, *, #880, .T.);
#4860 = CARTESIAN_POINT ('', (2.85, 0.204815995456997, -2.6410575405156));
#4870 = DIRECTION ('', (-1.56015028975541, 0., 0.));
#4880 = VECTOR ('', #4870, 1.56015028975541);
#4890 = LINE ('', #4860, #4880);
#4900 = EDGE_CURVE ('', #740, #2080, #4890, .T.);
#4910 = ORIENTED_EDGE ('', *, *, #4900, .T.);
#4920 = EDGE_LOOP ('', (#4160, #4170, #4260, #4370, #4480, #4560, #4650, #4740, #4830, #4840, #4850, #4910));
#4930 = FACE_OUTER_BOUND ('', #4920, .F.);
#4940 = CARTESIAN_POINT ('', (2.85, -2.35, -0.299999999999999));
#4950 = CARTESIAN_POINT ('', (-0.596141472936296, -2.35, -0.299999999999999));
#4960 = CARTESIAN_POINT ('', (2.85, -2.35, -2.65009970592338));
#4970 = CARTESIAN_POINT ('', (-0.596141472936296, -2.35, -2.65009970592337));
#4980 = CARTESIAN_POINT ('', (2.85, 9.97038082118645E-5, -2.64999999788493));
#4990 = CARTESIAN_POINT ('', (-0.596141472936297, 9.97038082112133E-5, -2.64999999788493));
#5000 = CARTESIAN_POINT ('', (2.85, 2.35019940761642, -2.64990028984648));
#5010 = CARTESIAN_POINT ('', (-0.596141472936297, 2.35019940761642, -2.64990028984648));
#5020 = CARTESIAN_POINT ('', (2.85, 2.3499999915397, -0.299800592383757));
#5030 = CARTESIAN_POINT ('', (-0.596141472936297, 2.3499999915397, -0.299800592383757));
#5040 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#4940, #4950), (#4960, #4970), (#4980, #4990), (#5000, #5010), (#5020, #5030)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.250007499999997, 0.500015), (0.0835743881000938, 0.914283217082711), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707091780763845, 0.707091780763845), (1., 1.), (0.707091780763845, 0.707091780763845), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#5050 = ADVANCED_FACE ('', (#4930), #5040, .F.);
#5060 = ORIENTED_EDGE ('', *, *, #4730, .T.);
#5070 = CARTESIAN_POINT ('', (0.250000000000012, 0.26828238260369, -1.41826855593122));
#5080 = VERTEX_POINT ('', #5070);
#5090 = CARTESIAN_POINT ('', (0.25, 0.880570672941391, -2.47878298367587));
#5100 = DIRECTION ('', (1.19904086659517E-14, -0.612288290337701, 1.06051442774465));
#5110 = VECTOR ('', #5100, 1.22457658067563);
#5120 = LINE ('', #5090, #5110);
#5130 = EDGE_CURVE ('', #4580, #5080, #5120, .T.);
#5140 = ORIENTED_EDGE ('', *, *, #5130, .T.);
#5150 = CARTESIAN_POINT ('', (0.25, 1.15, -0.3));
#5160 = VERTEX_POINT ('', #5150);
#5170 = CARTESIAN_POINT ('', (0.25, -5.55111512312578E-15, -0.299999999999999));
#5180 = DIRECTION ('', (1., 0., 0.));
#5190 = DIRECTION ('', (0., 0.233289028351038, -0.972407439940187));
#5200 = AXIS2_PLACEMENT_3D ('', #5170, #5180, #5190);
#5210 = CIRCLE ('', #5200, 1.15000000000001);
#5220 = EDGE_CURVE ('', #5080, #5160, #5210, .T.);
#5230 = ORIENTED_EDGE ('', *, *, #5220, .T.);
#5240 = CARTESIAN_POINT ('', (0.25, 1.04919263476233, 0.170844788821628));
#5250 = VERTEX_POINT ('', #5240);
#5260 = CARTESIAN_POINT ('', (0.25, -2.70894418008538E-14, -0.300000000000002));
#5270 = DIRECTION ('', (1., 0., 0.));
#5280 = DIRECTION ('', (0., 1., 1.64119925379367E-15));
#5290 = AXIS2_PLACEMENT_3D ('', #5260, #5270, #5280);
#5300 = CIRCLE ('', #5290, 1.15000000000003);
#5310 = EDGE_CURVE ('', #5160, #5250, #5300, .T.);
#5320 = ORIENTED_EDGE ('', *, *, #5310, .T.);
#5330 = CARTESIAN_POINT ('', (0.250000000000001, 1.06515284134703, 0.198488677525617));
#5340 = VERTEX_POINT ('', #5330);
#5350 = CARTESIAN_POINT ('', (0.250000000000001, 1.06515284134703, 0.198488677525617));
#5360 = DIRECTION ('', (-9.99200722162641E-16, -0.0159602065847, -0.027643888703989));
#5370 = VECTOR ('', #5360, 0.0319204131693941);
#5380 = LINE ('', #5350, #5370);
#5390 = EDGE_CURVE ('', #5340, #5250, #5380, .T.);
#5400 = ORIENTED_EDGE ('', *, *, #5390, .F.);
#5410 = CARTESIAN_POINT ('', (0.250000000000003, 2.0332490506265, -1.4783031435613));
#5420 = DIRECTION ('', (-1.99840144432528E-15, -0.96809620927947, 1.67679182108692));
#5430 = VECTOR ('', #5420, 1.93619241855898);
#5440 = LINE ('', #5410, #5430);
#5450 = EDGE_CURVE ('', #4190, #5340, #5440, .T.);
#5460 = ORIENTED_EDGE ('', *, *, #5450, .F.);
#5470 = ORIENTED_EDGE ('', *, *, #4250, .T.);
#5480 = ORIENTED_EDGE ('', *, *, #4000, .T.);
#5490 = CARTESIAN_POINT ('', (0.250000000000012, 0.834307786387926, 0.491473636688225));
#5500 = VERTEX_POINT ('', #5490);
#5510 = CARTESIAN_POINT ('', (0.25, 1.44659607672586, 1.55198806443275));
#5520 = DIRECTION ('', (1.19904086659517E-14, -0.612288290337934, -1.06051442774453));
#5530 = VECTOR ('', #5520, 1.22457658067564);
#5540 = LINE ('', #5510, #5530);
#5550 = EDGE_CURVE ('', #3870, #5500, #5540, .T.);
#5560 = ORIENTED_EDGE ('', *, *, #5550, .T.);
#5570 = CARTESIAN_POINT ('', (0.25, -0.932359865740214, 0.373205080756889));
#5580 = VERTEX_POINT ('', #5570);
#5590 = CARTESIAN_POINT ('', (0.25, 1.11022302462516E-15, -0.299999999999998));
#5600 = DIRECTION ('', (1., 0., 0.));
#5610 = DIRECTION ('', (0., 0.725485031641673, 0.688237944946281));
#5620 = AXIS2_PLACEMENT_3D ('', #5590, #5600, #5610);
#5630 = CIRCLE ('', #5620, 1.15);
#5640 = EDGE_CURVE ('', #5500, #5580, #5630, .T.);
#5650 = ORIENTED_EDGE ('', *, *, #5640, .T.);
#5660 = CARTESIAN_POINT ('', (0.25, -0.964280278909604, 0.373205080756888));
#5670 = VERTEX_POINT ('', #5660);
#5680 = CARTESIAN_POINT ('', (0.25, -0.964280278909604, 0.373205080756888));
#5690 = DIRECTION ('', (0., 0.03192041316939, 9.99200722162641E-16));
#5700 = VECTOR ('', #5690, 0.03192041316939);
#5710 = LINE ('', #5680, #5700);
#5720 = EDGE_CURVE ('', #5670, #5580, #5710, .T.);
#5730 = ORIENTED_EDGE ('', *, *, #5720, .F.);
#5740 = CARTESIAN_POINT ('', (0.25, 0.0038159303698917, 2.04999690184379));
#5750 = DIRECTION ('', (0., -0.968096209279496, -1.6767918210869));
#5760 = VECTOR ('', #5750, 1.93619241855898);
#5770 = LINE ('', #5740, #5760);
#5780 = EDGE_CURVE ('', #3480, #5670, #5770, .T.);
#5790 = ORIENTED_EDGE ('', *, *, #5780, .F.);
#5800 = ORIENTED_EDGE ('', *, *, #3540, .T.);
#5810 = CARTESIAN_POINT ('', (0.250000000000012, -1.10259016899162, 0.0267949192429879));
#5820 = VERTEX_POINT ('', #5810);
#5830 = CARTESIAN_POINT ('', (0.25, -2.32716674966726, 0.0267949192431131));
#5840 = DIRECTION ('', (1.19904086659517E-14, 1.22457658067564, -1.25198462708198E-13));
#5850 = VECTOR ('', #5840, 1.22457658067564);
#5860 = LINE ('', #5830, #5850);
#5870 = EDGE_CURVE ('', #3390, #5820, #5860, .T.);
#5880 = ORIENTED_EDGE ('', *, *, #5870, .T.);
#5890 = CARTESIAN_POINT ('', (0.25, -0.116832769022123, -1.44404986957852));
#5900 = VERTEX_POINT ('', #5890);
#5910 = CARTESIAN_POINT ('', (0.25, 2.66453525910038E-15, -0.299999999999999));
#5920 = DIRECTION ('', (1., 0., 0.));
#5930 = DIRECTION ('', (0., -0.958774059992714, 0.284169494993901));
#5940 = AXIS2_PLACEMENT_3D ('', #5910, #5920, #5930);
#5950 = CIRCLE ('', #5940, 1.15);
#5960 = EDGE_CURVE ('', #5820, #5900, #5950, .T.);
#5970 = ORIENTED_EDGE ('', *, *, #5960, .T.);
#5980 = CARTESIAN_POINT ('', (0.25, -0.100872562437429, -1.4716937582825));
#5990 = VERTEX_POINT ('', #5980);
#6000 = CARTESIAN_POINT ('', (0.25, -0.100872562437429, -1.4716937582825));
#6010 = DIRECTION ('', (0., -0.015960206584694, 0.02764388870398));
#6020 = VECTOR ('', #6010, 0.0319204131693834);
#6030 = LINE ('', #6000, #6020);
#6040 = EDGE_CURVE ('', #5990, #5900, #6030, .T.);
#6050 = ORIENTED_EDGE ('', *, *, #6040, .F.);
#6060 = CARTESIAN_POINT ('', (0.25, -2.03706498099639, -1.4716937582825));
#6070 = DIRECTION ('', (0., 1.93619241855896, 0.));
#6080 = VECTOR ('', #6070, 1.93619241855896);
#6090 = LINE ('', #6060, #6080);
#6100 = EDGE_CURVE ('', #4670, #5990, #6090, .T.);
#6110 = ORIENTED_EDGE ('', *, *, #6100, .F.);
#6120 = EDGE_LOOP ('', (#5060, #5140, #5230, #5320, #5400, #5460, #5470, #5480, #5560, #5650, #5730, #5790, #5800, #5880, #5970, #6050, #6110));
#6130 = FACE_OUTER_BOUND ('', #6120, .F.);
#6140 = CARTESIAN_POINT ('', (0.25, 2.351, 2.05431986014424));
#6150 = CARTESIAN_POINT ('', (0.25, 2.351, -2.65367129509234));
#6160 = CARTESIAN_POINT ('', (0.25, -2.32816674966726, 2.05431986014424));
#6170 = CARTESIAN_POINT ('', (0.25, -2.32816674966726, -2.65367129509234));
#6180 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6140, #6150), (#6160, #6170)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.32816674966726, 2.351), (-2.35431986014424, 2.35367129509234), .UNSPECIFIED.);
#6190 = ADVANCED_FACE ('', (#6130), #6180, .F.);
#6200 = ORIENTED_EDGE ('', *, *, #5130, .F.);
#6210 = ORIENTED_EDGE ('', *, *, #4640, .T.);
#6220 = CARTESIAN_POINT ('', (0.150000000000796, 0.295282461645507, -1.4114442261511));
#6230 = VERTEX_POINT ('', #6220);
#6240 = CARTESIAN_POINT ('', (0.15, 0.905578580945315, -2.46850811244345));
#6250 = DIRECTION ('', (7.96002153080622E-13, -0.610296119299808, 1.05706388629235));
#6260 = VECTOR ('', #6250, 1.22059223860218);
#6270 = LINE ('', #6240, #6260);
#6280 = EDGE_CURVE ('', #4500, #6230, #6270, .T.);
#6290 = ORIENTED_EDGE ('', *, *, #6280, .T.);
#6300 = CARTESIAN_POINT ('', (0.250000000000012, 0.26828238260369, -1.41826855593122));
#6310 = CARTESIAN_POINT ('', (0.220081987007692, 0.285801173001099, -1.41406564527697));
#6320 = CARTESIAN_POINT ('', (0.184896245277911, 0.295282461643998, -1.41144422615173));
#6330 = CARTESIAN_POINT ('', (0.150000000000796, 0.295282461645507, -1.4114442261511));
#6340 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6300, #6310, #6320, #6330), .UNSPECIFIED., .F., .U., (4, 4), (0.000452357058755132, 0.000556606573571816), .UNSPECIFIED.);
#6350 = EDGE_CURVE ('', #5080, #6230, #6340, .T.);
#6360 = ORIENTED_EDGE ('', *, *, #6350, .F.);
#6370 = EDGE_LOOP ('', (#6200, #6210, #6290, #6360));
#6380 = FACE_OUTER_BOUND ('', #6370, .F.);
#6390 = CARTESIAN_POINT ('', (0.250000000000077, 0.882373500188482, -2.48190557206492));
#6400 = CARTESIAN_POINT ('', (0.249999999999991, 0.268282382603557, -1.41826855593128));
#6410 = CARTESIAN_POINT ('', (0.203589838486299, 0.905578580945374, -2.46850811244336));
#6420 = CARTESIAN_POINT ('', (0.203589838486213, 0.291487463360449, -1.40487109630972));
#6430 = CARTESIAN_POINT ('', (0.15000000000007, 0.905578580945377, -2.46850811244336));
#6440 = CARTESIAN_POINT ('', (0.149999999999984, 0.291487463360452, -1.40487109630973));
#6450 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6390, #6400), (#6410, #6420), (#6430, #6440)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.414729655649473, 0.5), (0.0901997126522857, 0.911799298795825), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.965925826289067, 0.965925826289067), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#6460 = ADVANCED_FACE ('', (#6380), #6450, .F.);
#6470 = ORIENTED_EDGE ('', *, *, #4550, .T.);
#6480 = CARTESIAN_POINT ('', (-0.396294638091347, 0.295282461644023, -1.41144422615147));
#6490 = VERTEX_POINT ('', #6480);
#6500 = CARTESIAN_POINT ('', (-0.396294638091347, 0.905578580945315, -2.46850811244345));
#6510 = DIRECTION ('', (0., -0.610296119301292, 1.05706388629198));
#6520 = VECTOR ('', #6510, 1.22059223860261);
#6530 = LINE ('', #6500, #6520);
#6540 = EDGE_CURVE ('', #4390, #6490, #6530, .T.);
#6550 = ORIENTED_EDGE ('', *, *, #6540, .T.);
#6560 = CARTESIAN_POINT ('', (0.150000000000796, 0.295282461645507, -1.4114442261511));
#6570 = DIRECTION ('', (-0.546294638092143, -1.48397960586522E-12, -3.69926311805102E-13));
#6580 = VECTOR ('', #6570, 0.546294638092143);
#6590 = LINE ('', #6560, #6580);
#6600 = EDGE_CURVE ('', #6230, #6490, #6590, .T.);
#6610 = ORIENTED_EDGE ('', *, *, #6600, .F.);
#6620 = ORIENTED_EDGE ('', *, *, #6280, .F.);
#6630 = EDGE_LOOP ('', (#6470, #6550, #6610, #6620));
#6640 = FACE_OUTER_BOUND ('', #6630, .F.);
#6650 = CARTESIAN_POINT ('', (0.151000000000796, 0.295282461644022, -1.41144422615147));
#6660 = CARTESIAN_POINT ('', (-0.397294638091347, 0.295282461644022, -1.41144422615147));
#6670 = CARTESIAN_POINT ('', (0.151000000000796, 0.905578580945315, -2.46850811244345));
#6680 = CARTESIAN_POINT ('', (-0.397294638091347, 0.905578580945315, -2.46850811244345));
#6690 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6650, #6660), (#6670, #6680)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-5.88981983444127, -4.66922759583867), (-0.00100000000079563, 0.547294638091347), .UNSPECIFIED.);
#6700 = ADVANCED_FACE ('', (#6640), #6690, .F.);
#6710 = ORIENTED_EDGE ('', *, *, #4470, .T.);
#6720 = CARTESIAN_POINT ('', (-0.57657601271086, 0.563351521597268, -1.30256424388368));
#6730 = VERTEX_POINT ('', #6720);
#6740 = CARTESIAN_POINT ('', (-0.576576012710859, 1.16337147147134, -2.34182928262052));
#6750 = DIRECTION ('', (-9.99200722162641E-16, -0.600019949874072, 1.03926503873684));
#6760 = VECTOR ('', #6750, 1.20003989974816);
#6770 = LINE ('', #6740, #6760);
#6780 = EDGE_CURVE ('', #4280, #6730, #6770, .T.);
#6790 = ORIENTED_EDGE ('', *, *, #6780, .T.);
#6800 = CARTESIAN_POINT ('', (-0.396294638091347, 0.295282461644023, -1.41144422615147));
#6810 = CARTESIAN_POINT ('', (-0.464648243327363, 0.295282461644023, -1.41144422615147));
#6820 = CARTESIAN_POINT ('', (-0.529687542570446, 0.332237525686311, -1.40248423939572));
#6830 = CARTESIAN_POINT ('', (-0.601410516320263, 0.441305798382683, -1.36353301025588));
#6840 = CARTESIAN_POINT ('', (-0.606116125268004, 0.509732851165752, -1.33269314560533));
#6850 = CARTESIAN_POINT ('', (-0.57657601271086, 0.563351521597268, -1.30256424388368));
#6860 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6800, #6810, #6820, #6830, #6840, #6850), .UNSPECIFIED., .F., .U., (4, 2, 4), (0., 0.000202087012172374, 0.000404174024344748), .UNSPECIFIED.);
#6870 = EDGE_CURVE ('', #6490, #6730, #6860, .T.);
#6880 = ORIENTED_EDGE ('', *, *, #6870, .F.);
#6890 = ORIENTED_EDGE ('', *, *, #6540, .F.);
#6900 = EDGE_LOOP ('', (#6710, #6790, #6880, #6890));
#6910 = FACE_OUTER_BOUND ('', #6900, .F.);
#6920 = CARTESIAN_POINT ('', (-0.396294638091346, 0.915173261202645, -2.48512658613153));
#6930 = CARTESIAN_POINT ('', (-0.396294638091348, 0.295282461644017, -1.41144422615148));
#6940 = CARTESIAN_POINT ('', (-0.506764778109957, 0.915173261202645, -2.48512658613153));
#6950 = CARTESIAN_POINT ('', (-0.506764778109958, 0.295282461644017, -1.41144422615148));
#6960 = CARTESIAN_POINT ('', (-0.565585691316857, 0.996153592172136, -2.43837257024723));
#6970 = CARTESIAN_POINT ('', (-0.565585691316858, 0.376262792613508, -1.36469021026718));
#6980 = CARTESIAN_POINT ('', (-0.624406604523758, 1.07713392314163, -2.39161855436293));
#6990 = CARTESIAN_POINT ('', (-0.624406604523759, 0.457243123582999, -1.31793619438288));
#7000 = CARTESIAN_POINT ('', (-0.576576012710858, 1.16337147147134, -2.34182928262052));
#7010 = CARTESIAN_POINT ('', (-0.576576012710859, 0.543480671912711, -1.26814692264046));
#7020 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6920, #6930), (#6940, #6950), (#6960, #6970), (#6980, #6990), (#7000, #7010)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.161784590081067, 0.323569180162135), (0.147322311624605, 0.86155780681489), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.875345600650678, 0.875345600650678), (1., 1.), (0.875345600650678, 0.875345600650678), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#7030 = ADVANCED_FACE ('', (#6910), #7020, .F.);
#7040 = ORIENTED_EDGE ('', *, *, #4360, .T.);
#7050 = ORIENTED_EDGE ('', *, *, #5450, .T.);
#7060 = CARTESIAN_POINT ('', (0.221236388060513, 1.05746508287427, 0.151959731062082));
#7070 = VERTEX_POINT ('', #7060);
#7080 = CARTESIAN_POINT ('', (5.74162316450222, -4.08371495430902, -2.37843173027075));
#7090 = DIRECTION ('', (-0.499999999665713, -0.750000000313049, 0.433012701736004));
#7100 = DIRECTION ('', (-0.690187404760961, 0.647109897181603, 0.323867453256645));
#7110 = AXIS2_PLACEMENT_3D ('', #7080, #7090, #7100);
#7120 = CIRCLE ('', #7110, 7.95671309897386);
#7130 = EDGE_CURVE ('', #5340, #7070, #7120, .T.);
#7140 = ORIENTED_EDGE ('', *, *, #7130, .T.);
#7150 = CARTESIAN_POINT ('', (0.0883050433689605, 1.15, -0.300000000000001));
#7160 = VERTEX_POINT ('', #7150);
#7170 = CARTESIAN_POINT ('', (0.0883050433689605, 1.15, -0.300000000000001));
#7180 = CARTESIAN_POINT ('', (0.120709546097691, 1.15000000000004, -0.225687017773007));
#7190 = CARTESIAN_POINT ('', (0.14936121436293, 1.14278094334881, -0.149953331979956));
#7200 = CARTESIAN_POINT ('', (0.194985835964522, 1.11246398829607, 0.00147331856984217));
#7210 = CARTESIAN_POINT ('', (0.212172708137019, 1.08878486569427, 0.0786798026544798));
#7220 = CARTESIAN_POINT ('', (0.221236388060513, 1.05746508287427, 0.151959731062082));
#7230 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#7170, #7180, #7190, #7200, #7210, #7220), .UNSPECIFIED., .F., .U., (4, 2, 4), (0.00180181865735655, 0.00204260103330856, 0.00228338340926057), .UNSPECIFIED.);
#7240 = EDGE_CURVE ('', #7160, #7070, #7230, .T.);
#7250 = ORIENTED_EDGE ('', *, *, #7240, .F.);
#7260 = CARTESIAN_POINT ('', (-0.57657601271086, 0.563351521597268, -1.30256424388368));
#7270 = CARTESIAN_POINT ('', (-0.525996198021257, 0.655159648904926, -1.25097627979131));
#7280 = CARTESIAN_POINT ('', (-0.472400301411471, 0.736224060061511, -1.18916173068771));
#7290 = CARTESIAN_POINT ('', (-0.359777663060775, 0.879515384276043, -1.04772129751318));
#7300 = CARTESIAN_POINT ('', (-0.300379326587155, 0.941753761021255, -0.967416569343712));
#7310 = CARTESIAN_POINT ('', (-0.124440776427063, 1.09235495449918, -0.710658918215494));
#7320 = CARTESIAN_POINT ('', (-0.00479167730048591, 1.15000000000004, -0.513497951393416));
#7330 = CARTESIAN_POINT ('', (0.0883050433689605, 1.15, -0.300000000000001));
#7340 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#7260, #7270, #7280, #7290, #7300, #7310, #7320, #7330), .UNSPECIFIED., .F., .U., (4, 2, 2, 4), (0.000418304163472928, 0.000764182786943833, 0.00111006141041474, 0.00180181865735655), .UNSPECIFIED.);
#7350 = EDGE_CURVE ('', #6730, #7160, #7340, .T.);
#7360 = ORIENTED_EDGE ('', *, *, #7350, .F.);
#7370 = ORIENTED_EDGE ('', *, *, #6780, .F.);
#7380 = EDGE_LOOP ('', (#7040, #7050, #7140, #7250, #7360, #7370));
#7390 = FACE_OUTER_BOUND ('', #7380, .F.);
#7400 = CARTESIAN_POINT ('', (-0.576576012710861, 1.16353302840337, -2.34210910743511));
#7410 = CARTESIAN_POINT ('', (-0.576576012710761, 0.0388268703518964, -0.394060898104418));
#7420 = CARTESIAN_POINT ('', (-0.259667600842614, 1.73491221165678, -2.01222318217441));
#7430 = CARTESIAN_POINT ('', (-0.259667600842515, 0.610206053605309, -0.0641749728437207));
#7440 = CARTESIAN_POINT ('', (0.250000000001342, 2.18985899939954, -1.7495595318042));
#7450 = CARTESIAN_POINT ('', (0.250000000001442, 1.06515284134806, 0.198488677526495));
#7460 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#7400, #7410), (#7420, #7430), (#7440, #7450)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.323569180162135, 0.372717156843008), (0.207009319452275, 0.845105564476269), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.987028913087257, 0.987028913087257), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#7470 = ADVANCED_FACE ('', (#7390), #7460, .F.);
#7480 = CARTESIAN_POINT ('', (1.10622411453742, -0.748293154450571, -1.95380948044108));
#7490 = DIRECTION ('', (-0.499999999890516, -0.75000000022897, 0.433012701622053));
#7500 = DIRECTION ('', (-0.294059247210602, 0.617323559420257, 0.729685399411718));
#7510 = AXIS2_PLACEMENT_3D ('', #7480, #7490, #7500);
#7520 = CIRCLE ('', #7510, 2.9117401316776);
#7530 = EDGE_CURVE ('', #5250, #7070, #7520, .T.);
#7540 = ORIENTED_EDGE ('', *, *, #7530, .T.);
#7550 = ORIENTED_EDGE ('', *, *, #7130, .F.);
#7560 = ORIENTED_EDGE ('', *, *, #5390, .T.);
#7570 = EDGE_LOOP ('', (#7540, #7550, #7560));
#7580 = FACE_OUTER_BOUND ('', #7570, .F.);
#7590 = CARTESIAN_POINT ('', (0.233634926413931, 1.0760628904044, 0.198488677525614));
#7600 = CARTESIAN_POINT ('', (0.22123638806048, 1.05746508287422, 0.151959731062112));
#7610 = CARTESIAN_POINT ('', (0.257366249192933, 1.06024200855173, 0.198488677525614));
#7620 = CARTESIAN_POINT ('', (0.244967710839481, 1.04164420102155, 0.151959731062112));
#7630 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7590, #7600), (#7610, #7620)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.95126214577739, -2.92274064540596), (8.27325919903926, 8.32487843050618), .UNSPECIFIED.);
#7640 = ADVANCED_FACE ('', (#7580), #7630, .F.);
#7650 = CARTESIAN_POINT ('', (0.0883050433689605, 1.15, -0.300000000000001));
#7660 = DIRECTION ('', (0.16169495663104, 0., 9.99200722162641E-16));
#7670 = VECTOR ('', #7660, 0.16169495663104);
#7680 = LINE ('', #7650, #7670);
#7690 = EDGE_CURVE ('', #7160, #5160, #7680, .T.);
#7700 = ORIENTED_EDGE ('', *, *, #7690, .F.);
#7710 = ORIENTED_EDGE ('', *, *, #7240, .T.);
#7720 = ORIENTED_EDGE ('', *, *, #7530, .F.);
#7730 = ORIENTED_EDGE ('', *, *, #5310, .F.);
#7740 = EDGE_LOOP ('', (#7700, #7710, #7720, #7730));
#7750 = FACE_OUTER_BOUND ('', #7740, .F.);
#7760 = CARTESIAN_POINT ('', (0.0883050433689641, 1.15, -0.3));
#7770 = CARTESIAN_POINT ('', (0.25, 1.15, -0.3));
#7780 = CARTESIAN_POINT ('', (0.0883050433689641, 1.15, -0.0537862310986737));
#7790 = CARTESIAN_POINT ('', (0.25, 1.15, -0.0537862310986737));
#7800 = CARTESIAN_POINT ('', (0.0883050433689641, 1.04919263476233, 0.170844788821628));
#7810 = CARTESIAN_POINT ('', (0.25, 1.04919263476233, 0.170844788821628));
#7820 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#7760, #7770), (#7780, #7790), (#7800, #7810)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0., 0.0695293530529699), (0.0884241030826479, 0.911575896917344), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.977839818562443, 0.977839818562443), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#7830 = ADVANCED_FACE ('', (#7750), #7820, .F.);
#7840 = ORIENTED_EDGE ('', *, *, #7350, .T.);
#7850 = ORIENTED_EDGE ('', *, *, #7690, .T.);
#7860 = ORIENTED_EDGE ('', *, *, #5220, .F.);
#7870 = ORIENTED_EDGE ('', *, *, #6350, .T.);
#7880 = ORIENTED_EDGE ('', *, *, #6600, .T.);
#7890 = ORIENTED_EDGE ('', *, *, #6870, .T.);
#7900 = EDGE_LOOP ('', (#7840, #7850, #7860, #7870, #7880, #7890));
#7910 = FACE_OUTER_BOUND ('', #7900, .F.);
#7920 = CARTESIAN_POINT ('', (-0.596079764371795, 0.268282382603688, -1.41826855593122));
#7930 = CARTESIAN_POINT ('', (0.250000000000013, 0.268282382603688, -1.41826855593122));
#7940 = CARTESIAN_POINT ('', (-0.596079764371795, 1.15, -1.20673680720763));
#7950 = CARTESIAN_POINT ('', (0.250000000000013, 1.15, -1.20673680720763));
#7960 = CARTESIAN_POINT ('', (-0.596079764371795, 1.15, -0.299999999999998));
#7970 = CARTESIAN_POINT ('', (0.250000000000012, 1.15, -0.299999999999998));
#7980 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#7920, #7930), (#7940, #7950), (#7960, #7970)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.789863980414733, 1.), (0.0930912107476233, 0.915694414122633), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.785267161019433, 0.785267161019433), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#7990 = ADVANCED_FACE ('', (#7910), #7980, .F.);
#8000 = ORIENTED_EDGE ('', *, *, #5550, .F.);
#8010 = ORIENTED_EDGE ('', *, *, #3930, .T.);
#8020 = CARTESIAN_POINT ('', (0.150000000000001, 0.8148977039147, 0.511444226151468));
#8030 = VERTEX_POINT ('', #8020);
#8040 = CARTESIAN_POINT ('', (0.150000000000001, 1.42519382321601, 1.56850811244344));
#8050 = DIRECTION ('', (0., -0.61029611930131, -1.05706388629197));
#8060 = VECTOR ('', #8050, 1.22059223860261);
#8070 = LINE ('', #8040, #8060);
#8080 = EDGE_CURVE ('', #3790, #8030, #8070, .T.);
#8090 = ORIENTED_EDGE ('', *, *, #8080, .T.);
#8100 = CARTESIAN_POINT ('', (0.250000000000012, 0.834307786387926, 0.491473636688225));
#8110 = CARTESIAN_POINT ('', (0.220081987007439, 0.821908563792704, 0.504543898888945));
#8120 = CARTESIAN_POINT ('', (0.184896245277312, 0.814897703914821, 0.51144422615169));
#8130 = CARTESIAN_POINT ('', (0.150000000000001, 0.8148977039147, 0.511444226151468));
#8140 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#8100, #8110, #8120, #8130), .UNSPECIFIED., .F., .U., (4, 4), (0.000452357058755129, 0.000556606573572693), .UNSPECIFIED.);
#8150 = EDGE_CURVE ('', #5500, #8030, #8140, .T.);
#8160 = ORIENTED_EDGE ('', *, *, #8150, .F.);
#8170 = EDGE_LOOP ('', (#8000, #8010, #8090, #8160));
#8180 = FACE_OUTER_BOUND ('', #8170, .F.);
#8190 = CARTESIAN_POINT ('', (0.249999999999961, 1.44839890397293, 1.55511065282185));
#8200 = CARTESIAN_POINT ('', (0.25000000000001, 0.834307786388019, 0.491473636688183));
#8210 = CARTESIAN_POINT ('', (0.203589838486191, 1.42519382321604, 1.56850811244341));
#8220 = CARTESIAN_POINT ('', (0.20358983848624, 0.811102705631135, 0.504871096309737));
#8230 = CARTESIAN_POINT ('', (0.149999999999972, 1.42519382321604, 1.56850811244341));
#8240 = CARTESIAN_POINT ('', (0.150000000000022, 0.811102705631134, 0.504871096309735));
#8250 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8190, #8200), (#8210, #8220), (#8230, #8240)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.414729655649474, 0.5), (0.0913696122100693, 0.909293744057005), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.965925826289071, 0.965925826289071), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#8260 = ADVANCED_FACE ('', (#8180), #8250, .F.);
#8270 = ORIENTED_EDGE ('', *, *, #3840, .T.);
#8280 = CARTESIAN_POINT ('', (-0.396294638091346, 0.814897703914699, 0.511444226151467));
#8290 = VERTEX_POINT ('', #8280);
#8300 = CARTESIAN_POINT ('', (-0.396294638091347, 1.42519382321601, 1.56850811244344));
#8310 = DIRECTION ('', (9.99200722162641E-16, -0.610296119301311, -1.05706388629197));
#8320 = VECTOR ('', #8310, 1.22059223860261);
#8330 = LINE ('', #8300, #8320);
#8340 = EDGE_CURVE ('', #3680, #8290, #8330, .T.);
#8350 = ORIENTED_EDGE ('', *, *, #8340, .T.);
#8360 = CARTESIAN_POINT ('', (0.150000000000001, 0.8148977039147, 0.511444226151468));
#8370 = DIRECTION ('', (-0.546294638091347, -9.99200722162641E-16, -9.99200722162641E-16));
#8380 = VECTOR ('', #8370, 0.546294638091347);
#8390 = LINE ('', #8360, #8380);
#8400 = EDGE_CURVE ('', #8030, #8290, #8390, .T.);
#8410 = ORIENTED_EDGE ('', *, *, #8400, .F.);
#8420 = ORIENTED_EDGE ('', *, *, #8080, .F.);
#8430 = EDGE_LOOP ('', (#8270, #8350, #8410, #8420));
#8440 = FACE_OUTER_BOUND ('', #8430, .F.);
#8450 = CARTESIAN_POINT ('', (0.151000000000001, 0.814897703914699, 0.511444226151467));
#8460 = CARTESIAN_POINT ('', (-0.397294638091346, 0.814897703914699, 0.511444226151467));
#8470 = CARTESIAN_POINT ('', (0.151000000000001, 1.42519382321601, 1.56850811244344));
#8480 = CARTESIAN_POINT ('', (-0.397294638091346, 1.42519382321601, 1.56850811244344));
#8490 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8450, #8460), (#8470, #8480)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-5.88981983444128, -4.66922759583867), (-0.00100000000000061, 0.547294638091347), .UNSPECIFIED.);
#8500 = ADVANCED_FACE ('', (#8440), #8490, .F.);
#8510 = ORIENTED_EDGE ('', *, *, #3760, .T.);
#8520 = CARTESIAN_POINT ('', (-0.576576012710859, 0.586570343330563, 0.68915885090569));
#8530 = VERTEX_POINT ('', #8520);
#8540 = CARTESIAN_POINT ('', (-0.576576012710859, 1.18659029320465, 1.72842388964252));
#8550 = DIRECTION ('', (0., -0.600019949874087, -1.03926503873683));
#8560 = VECTOR ('', #8550, 1.20003989974816);
#8570 = LINE ('', #8540, #8560);
#8580 = EDGE_CURVE ('', #3570, #8530, #8570, .T.);
#8590 = ORIENTED_EDGE ('', *, *, #8580, .T.);
#8600 = CARTESIAN_POINT ('', (-0.396294638091346, 0.814897703914699, 0.511444226151467));
#8610 = CARTESIAN_POINT ('', (-0.464648243327363, 0.814897703914699, 0.511444226151468));
#8620 = CARTESIAN_POINT ('', (-0.529687542570446, 0.7886605957455, 0.538968257032694));
#8630 = CARTESIAN_POINT ('', (-0.601410516320263, 0.700393705453587, 0.613948537364722));
#8640 = CARTESIAN_POINT ('', (-0.606116125268004, 0.639472072825399, 0.657788171055682));
#8650 = CARTESIAN_POINT ('', (-0.576576012710859, 0.586570343330563, 0.68915885090569));
#8660 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#8600, #8610, #8620, #8630, #8640, #8650), .UNSPECIFIED., .F., .U., (4, 2, 4), (0., 0.000202087012172375, 0.000404174024344749), .UNSPECIFIED.);
#8670 = EDGE_CURVE ('', #8290, #8530, #8660, .T.);
#8680 = ORIENTED_EDGE ('', *, *, #8670, .F.);
#8690 = ORIENTED_EDGE ('', *, *, #8340, .F.);
#8700 = EDGE_LOOP ('', (#8510, #8590, #8680, #8690));
#8710 = FACE_OUTER_BOUND ('', #8700, .F.);
#8720 = CARTESIAN_POINT ('', (-0.396294638091347, 1.43478850347334, 1.58512658613151));
#8730 = CARTESIAN_POINT ('', (-0.396294638091347, 0.814897703914712, 0.511444226151462));
#8740 = CARTESIAN_POINT ('', (-0.506764778109956, 1.43478850347334, 1.58512658613151));
#8750 = CARTESIAN_POINT ('', (-0.506764778109956, 0.814897703914711, 0.511444226151462));
#8760 = CARTESIAN_POINT ('', (-0.565585691316856, 1.35380817250385, 1.63188060201581));
#8770 = CARTESIAN_POINT ('', (-0.565585691316856, 0.733917372945221, 0.558198242035762));
#8780 = CARTESIAN_POINT ('', (-0.624406604523756, 1.27282784153436, 1.67863461790011));
#8790 = CARTESIAN_POINT ('', (-0.624406604523756, 0.652937041975731, 0.604952257920061));
#8800 = CARTESIAN_POINT ('', (-0.576576012710858, 1.18659029320465, 1.72842388964252));
#8810 = CARTESIAN_POINT ('', (-0.576576012710859, 0.566699493646019, 0.654741529662473));
#8820 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8720, #8730), (#8740, #8750), (#8760, #8770), (#8780, #8790), (#8800, #8810)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.161784590081068, 0.323569180162135), (0.151462002860812, 0.851438944229292), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.875345600650681, 0.875345600650681), (1., 1.), (0.875345600650681, 0.875345600650681), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#8830 = ADVANCED_FACE ('', (#8710), #8820, .F.);
#8840 = ORIENTED_EDGE ('', *, *, #3650, .T.);
#8850 = ORIENTED_EDGE ('', *, *, #5780, .T.);
#8860 = CARTESIAN_POINT ('', (0.221236388060511, -0.920141150024528, 0.38981175985302));
#8870 = VERTEX_POINT ('', #8860);
#8880 = CARTESIAN_POINT ('', (5.74162316225055, 3.8418321553468, -2.79738503033423));
#8890 = DIRECTION ('', (-0.500000000005881, -5.05478991996711E-12, -0.866025403781044));
#8900 = DIRECTION ('', (-0.690187404514652, -0.604032390570225, 0.398479883797598));
#8910 = AXIS2_PLACEMENT_3D ('', #8880, #8890, #8900);
#8920 = CIRCLE ('', #8910, 7.95671309855099);
#8930 = EDGE_CURVE ('', #5670, #8870, #8920, .T.);
#8940 = ORIENTED_EDGE ('', *, *, #8930, .T.);
#8950 = CARTESIAN_POINT ('', (-0.576576012710859, 0.586570343330563, 0.68915885090569));
#8960 = CARTESIAN_POINT ('', (-0.508390704172051, 0.464461101503404, 0.761569525729872));
#8970 = CARTESIAN_POINT ('', (-0.434711517400614, 0.336156688103894, 0.808138734886293));
#8980 = CARTESIAN_POINT ('', (-0.277925711544206, 0.0685691572351206, 0.855971905103422));
#8990 = CARTESIAN_POINT ('', (-0.197877239935329, -0.0654396591877342, 0.856137986663732));
#9000 = CARTESIAN_POINT ('', (-0.0417388352585646, -0.332904408972133, 0.809104164489696));
#9010 = CARTESIAN_POINT ('', (0.0324881117901539, -0.462935870195552, 0.762588992573566));
#9020 = CARTESIAN_POINT ('', (0.125417712599875, -0.649405278541253, 0.651839813711224));
#9030 = CARTESIAN_POINT ('', (0.152592323775615, -0.708910879242528, 0.608600289858302));
#9040 = CARTESIAN_POINT ('', (0.196067564902758, -0.820768736987497, 0.508979481707015));
#9050 = CARTESIAN_POINT ('', (0.212460578966871, -0.873857009761839, 0.451550257988064));
#9060 = CARTESIAN_POINT ('', (0.221236388060511, -0.920141150024528, 0.38981175985302));
#9070 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#8950, #8960, #8970, #8980, #8990, #9000, #9010, #9020, #9030, #9040, #9050, #9060), .UNSPECIFIED., .F., .U., (4, 2, 2, 2, 2, 4), (0.000418304163472927, 0.00088457397491986, 0.00135084378636679, 0.00181711359781372, 0.00205024850353719, 0.00228338340926066), .UNSPECIFIED.);
#9080 = EDGE_CURVE ('', #8530, #8870, #9070, .T.);
#9090 = ORIENTED_EDGE ('', *, *, #9080, .F.);
#9100 = ORIENTED_EDGE ('', *, *, #8580, .F.);
#9110 = EDGE_LOOP ('', (#8840, #8850, #8940, #9090, #9100));
#9120 = FACE_OUTER_BOUND ('', #9110, .F.);
#9130 = CARTESIAN_POINT ('', (-0.576576012710859, 1.1867518501367, 1.72870371445715));
#9140 = CARTESIAN_POINT ('', (-0.576576012710917, 0.0620456920853862, -0.219344494873281));
#9150 = CARTESIAN_POINT ('', (-0.259667600842626, 0.615372666883308, 2.05858963971784));
#9160 = CARTESIAN_POINT ('', (-0.259667600842682, -0.50933349116801, 0.110541430387413));
#9170 = CARTESIAN_POINT ('', (0.250000000001319, 0.16042587914056, 2.32125329008806));
#9180 = CARTESIAN_POINT ('', (0.250000000001261, -0.964280278910755, 0.373205080757633));
#9190 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#9130, #9140), (#9150, #9160), (#9170, #9180)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.323569180162135, 0.372717156843008), (0.175394888014043, 0.916216779593348), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.987028913087257, 0.987028913087257), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#9200 = ADVANCED_FACE ('', (#9120), #9190, .F.);
#9210 = CARTESIAN_POINT ('', (1.1062241141946, 1.80638760085329, -0.121136142001966));
#9220 = DIRECTION ('', (-0.499999999994857, 1.62116431390302E-11, -0.866025403787408));
#9230 = DIRECTION ('', (-0.294059247034155, -0.940587872371163, 0.169775185412932));
#9240 = AXIS2_PLACEMENT_3D ('', #9210, #9220, #9230);
#9250 = CIRCLE ('', #9240, 2.91174013225893);
#9260 = EDGE_CURVE ('', #5580, #8870, #9250, .T.);
#9270 = ORIENTED_EDGE ('', *, *, #9260, .T.);
#9280 = ORIENTED_EDGE ('', *, *, #8930, .F.);
#9290 = ORIENTED_EDGE ('', *, *, #5720, .T.);
#9300 = EDGE_LOOP ('', (#9270, #9280, #9290));
#9310 = FACE_OUTER_BOUND ('', #9300, .F.);
#9320 = CARTESIAN_POINT ('', (0.25, -0.920141150024527, 0.373205080756888));
#9330 = CARTESIAN_POINT ('', (0.25, -0.964280278909602, 0.373205080756888));
#9340 = CARTESIAN_POINT ('', (0.22123638806051, -0.920141150024527, 0.389811759853019));
#9350 = CARTESIAN_POINT ('', (0.22123638806051, -0.964280278909602, 0.389811759853019));
#9360 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9320, #9330), (#9340, #9350)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.503836253545359, 0.537049611737619), (-8.80985884997547, -8.7657197210904), .UNSPECIFIED.);
#9370 = ADVANCED_FACE ('', (#9310), #9360, .F.);
#9380 = ORIENTED_EDGE ('', *, *, #5640, .F.);
#9390 = ORIENTED_EDGE ('', *, *, #8150, .T.);
#9400 = ORIENTED_EDGE ('', *, *, #8400, .T.);
#9410 = ORIENTED_EDGE ('', *, *, #8670, .T.);
#9420 = ORIENTED_EDGE ('', *, *, #9080, .T.);
#9430 = ORIENTED_EDGE ('', *, *, #9260, .F.);
#9440 = EDGE_LOOP ('', (#9380, #9390, #9400, #9410, #9420, #9430));
#9450 = FACE_OUTER_BOUND ('', #9440, .F.);
#9460 = CARTESIAN_POINT ('', (-0.596079764371788, 0.834307786387926, 0.491473636688225));
#9470 = CARTESIAN_POINT ('', (0.250000000000012, 0.834307786387926, 0.491473636688225));
#9480 = CARTESIAN_POINT ('', (-0.596079764371788, 0.46238195011754, 0.88352790959821));
#9490 = CARTESIAN_POINT ('', (0.250000000000012, 0.46238195011754, 0.88352790959821));
#9500 = CARTESIAN_POINT ('', (-0.596079764371788, -0.0768141614342541, 0.847431734179927));
#9510 = CARTESIAN_POINT ('', (0.250000000000012, -0.0768141614342543, 0.847431734179928));
#9520 = CARTESIAN_POINT ('', (-0.596079764371789, -0.616010272986049, 0.811335558761645));
#9530 = CARTESIAN_POINT ('', (0.250000000000011, -0.616010272986049, 0.811335558761646));
#9540 = CARTESIAN_POINT ('', (-0.596079764371789, -0.932359865740215, 0.373205080756889));
#9550 = CARTESIAN_POINT ('', (0.250000000000012, -0.932359865740215, 0.373205080756889));
#9560 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#9460, #9470), (#9480, #9490), (#9500, #9510), (#9520, #9530), (#9540, #9550)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0.121025263446509, 0.260111802405205, 0.399198341363902), (0.0930912107476264, 0.915694414122635), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.90505309341244, 0.90505309341244), (1., 1.), (0.90505309341244, 0.90505309341244), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#9570 = ADVANCED_FACE ('', (#9450), #9560, .F.);
#9580 = ORIENTED_EDGE ('', *, *, #5870, .F.);
#9590 = ORIENTED_EDGE ('', *, *, #3450, .T.);
#9600 = CARTESIAN_POINT ('', (0.15, -1.11018016555873, 6.66133814775094E-16));
#9610 = VERTEX_POINT ('', #9600);
#9620 = CARTESIAN_POINT ('', (0.15, -2.33077240416133, 9.99200722162641E-16));
#9630 = DIRECTION ('', (0., 1.2205922386026, -3.33066907387547E-16));
#9640 = VECTOR ('', #9630, 1.2205922386026);
#9650 = LINE ('', #9620, #9640);
#9660 = EDGE_CURVE ('', #3310, #9610, #9650, .T.);
#9670 = ORIENTED_EDGE ('', *, *, #9660, .T.);
#9680 = CARTESIAN_POINT ('', (0.250000000000012, -1.10259016899162, 0.0267949192429879));
#9690 = CARTESIAN_POINT ('', (0.220081987007439, -1.10770973679396, 0.00952174638798775));
#9700 = CARTESIAN_POINT ('', (0.184896245277312, -1.11018016555898, -4.82947015711943E-15));
#9710 = CARTESIAN_POINT ('', (0.15, -1.11018016555873, 6.66133814775094E-16));
#9720 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#9680, #9690, #9700, #9710), .UNSPECIFIED., .F., .U., (4, 4), (0.000452357058755132, 0.000556606573572697), .UNSPECIFIED.);
#9730 = EDGE_CURVE ('', #5820, #9610, #9720, .T.);
#9740 = ORIENTED_EDGE ('', *, *, #9730, .F.);
#9750 = EDGE_LOOP ('', (#9580, #9590, #9670, #9740));
#9760 = FACE_OUTER_BOUND ('', #9750, .F.);
#9770 = CARTESIAN_POINT ('', (0.25, -2.33077240416139, 0.0267949192431128));
#9780 = CARTESIAN_POINT ('', (0.25, -1.10259016899162, 0.0267949192431126));
#9790 = CARTESIAN_POINT ('', (0.203589838486224, -2.33077240416139, 4.97367447437582E-16));
#9800 = CARTESIAN_POINT ('', (0.203589838486224, -1.10259016899162, 2.89200630320365E-16));
#9810 = CARTESIAN_POINT ('', (0.149999999999999, -2.33077240416139, 5.06539254985228E-16));
#9820 = CARTESIAN_POINT ('', (0.149999999999999, -1.10259016899162, 3.12250225675825E-16));
#9830 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#9770, #9780), (#9790, #9800), (#9810, #9820)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.664729655649473, 0.75), (0.084010739744724, 0.915989260255235), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.965925826289069, 0.965925826289069), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#9840 = ADVANCED_FACE ('', (#9760), #9830, .F.);
#9850 = ORIENTED_EDGE ('', *, *, #3360, .T.);
#9860 = CARTESIAN_POINT ('', (-0.396294638091347, -1.11018016555873, 6.10622663543836E-16));
#9870 = VERTEX_POINT ('', #9860);
#9880 = CARTESIAN_POINT ('', (-0.396294638091347, -2.33077240416133, 9.99200722162641E-16));
#9890 = DIRECTION ('', (0., 1.2205922386026, -3.88578058618805E-16));
#9900 = VECTOR ('', #9890, 1.2205922386026);
#9910 = LINE ('', #9880, #9900);
#9920 = EDGE_CURVE ('', #3200, #9870, #9910, .T.);
#9930 = ORIENTED_EDGE ('', *, *, #9920, .T.);
#9940 = CARTESIAN_POINT ('', (0.15, -1.11018016555873, 6.66133814775094E-16));
#9950 = DIRECTION ('', (-0.546294638091347, 0., -5.5511151231258E-17));
#9960 = VECTOR ('', #9950, 0.546294638091347);
#9970 = LINE ('', #9940, #9960);
#9980 = EDGE_CURVE ('', #9610, #9870, #9970, .T.);
#9990 = ORIENTED_EDGE ('', *, *, #9980, .F.);
#10000 = ORIENTED_EDGE ('', *, *, #9660, .F.);
#10010 = EDGE_LOOP ('', (#9850, #9930, #9990, #10000));
#10020 = FACE_OUTER_BOUND ('', #10010, .F.);
#10030 = CARTESIAN_POINT ('', (-0.397294638091347, -1.10918016555873, 6.10622663543836E-16));
#10040 = CARTESIAN_POINT ('', (-0.397294638091347, -2.33177240416133, 9.43689570931383E-16));
#10050 = CARTESIAN_POINT ('', (0.151, -1.10918016555873, 6.10622663543836E-16));
#10060 = CARTESIAN_POINT ('', (0.151, -2.33177240416133, 9.43689570931383E-16));
#10070 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10030, #10040), (#10050, #10060)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.547294638091347, 0.00100000000000061), (-5.89081983444127, -4.66822759583867), .UNSPECIFIED.);
#10080 = ADVANCED_FACE ('', (#10020), #10070, .F.);
#10090 = ORIENTED_EDGE ('', *, *, #3280, .T.);
#10100 = CARTESIAN_POINT ('', (-0.596294638091964, -1.14564392373907, -0.200000000000046));
#10110 = VERTEX_POINT ('', #10100);
#10120 = CARTESIAN_POINT ('', (-0.596294638093275, -2.34787137637495, -0.200000000000206));
#10130 = DIRECTION ('', (1.31095134747738E-12, 1.20222745263588, 1.60010893424101E-13));
#10140 = VECTOR ('', #10130, 1.20222745263588);
#10150 = LINE ('', #10120, #10140);
#10160 = EDGE_CURVE ('', #3110, #10110, #10150, .T.);
#10170 = ORIENTED_EDGE ('', *, *, #10160, .T.);
#10180 = CARTESIAN_POINT ('', (-0.396294638091347, -1.11018016555873, 6.10622663543836E-16));
#10190 = CARTESIAN_POINT ('', (-0.449563446217006, -1.11018016555873, 6.66133814775094E-16));
#10200 = CARTESIAN_POINT ('', (-0.501350743629266, -1.11654235727386, -0.022059337222864));
#10210 = CARTESIAN_POINT ('', (-0.574676028660167, -1.13233250452267, -0.0956939873300946));
#10220 = CARTESIAN_POINT ('', (-0.596294638091373, -1.14107078182605, -0.147608077550718));
#10230 = CARTESIAN_POINT ('', (-0.596294638091964, -1.14564392373907, -0.200000000000046));
#10240 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#10180, #10190, #10200, #10210, #10220, #10230), .UNSPECIFIED., .F., .U., (4, 2, 4), (0., 0.000157488902581334, 0.000314977805162668), .UNSPECIFIED.);
#10250 = EDGE_CURVE ('', #9870, #10110, #10240, .T.);
#10260 = ORIENTED_EDGE ('', *, *, #10250, .F.);
#10270 = ORIENTED_EDGE ('', *, *, #9920, .F.);
#10280 = EDGE_LOOP ('', (#10090, #10170, #10260, #10270));
#10290 = FACE_OUTER_BOUND ('', #10280, .F.);
#10300 = CARTESIAN_POINT ('', (-0.396294638091347, -2.34787137637495, -4.8017145815038E-15));
#10310 = CARTESIAN_POINT ('', (-0.396294638091347, -1.11018016555872, 6.93889390390723E-16));
#10320 = CARTESIAN_POINT ('', (-0.596294638091346, -2.34787137637495, -5.30131494258512E-15));
#10330 = CARTESIAN_POINT ('', (-0.596294638091346, -1.11018016555872, 1.94289029309402E-16));
#10340 = CARTESIAN_POINT ('', (-0.596294638091346, -2.34787137637495, -0.200000000000005));
#10350 = CARTESIAN_POINT ('', (-0.596294638091346, -1.11018016555872, -0.199999999999999));
#10360 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#10300, #10310), (#10320, #10330), (#10340, #10350)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.75, 1.), (0.0840055437402977, 0.915994456259702), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186547, 0.707106781186547), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#10370 = ADVANCED_FACE ('', (#10290), #10360, .F.);
#10380 = ORIENTED_EDGE ('', *, *, #10160, .F.);
#10390 = ORIENTED_EDGE ('', *, *, #3170, .T.);
#10400 = CARTESIAN_POINT ('', (-0.57657601271086, -1.14992186492783, -0.286594607022022));
#10410 = VERTEX_POINT ('', #10400);
#10420 = CARTESIAN_POINT ('', (-0.57657601271086, -2.34996176467599, -0.286594607022022));
#10430 = DIRECTION ('', (0., 1.20003989974816, 0.));
#10440 = VECTOR ('', #10430, 1.20003989974816);
#10450 = LINE ('', #10420, #10440);
#10460 = EDGE_CURVE ('', #3020, #10410, #10450, .T.);
#10470 = ORIENTED_EDGE ('', *, *, #10460, .T.);
#10480 = CARTESIAN_POINT ('', (-0.596294638091964, -1.14564392373907, -0.200000000000046));
#10490 = CARTESIAN_POINT ('', (-0.596294638091332, -1.14823399174839, -0.229672956770828));
#10500 = CARTESIAN_POINT ('', (-0.589614289272953, -1.1496054248942, -0.259450209673055));
#10510 = CARTESIAN_POINT ('', (-0.57657601271086, -1.14992186492783, -0.286594607022022));
#10520 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#10480, #10490, #10500, #10510), .UNSPECIFIED., .F., .U., (4, 4), (0.000314977805162668, 0.000404174024344749), .UNSPECIFIED.);
#10530 = EDGE_CURVE ('', #10110, #10410, #10520, .T.);
#10540 = ORIENTED_EDGE ('', *, *, #10530, .F.);
#10550 = EDGE_LOOP ('', (#10380, #10390, #10470, #10540));
#10560 = FACE_OUTER_BOUND ('', #10550, .F.);
#10570 = CARTESIAN_POINT ('', (-0.596294638091339, -2.349961764676, -0.2));
#10580 = CARTESIAN_POINT ('', (-0.596294638091407, -1.14564392373907, -0.199999999999999));
#10590 = CARTESIAN_POINT ('', (-0.596294638091339, -2.349961764676, -0.24554238666496));
#10600 = CARTESIAN_POINT ('', (-0.596294638091407, -1.14564392373907, -0.245542386664959));
#10610 = CARTESIAN_POINT ('', (-0.576576012710853, -2.349961764676, -0.286594607022022));
#10620 = CARTESIAN_POINT ('', (-0.576576012710922, -1.14564392373907, -0.286594607022021));
#10630 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#10570, #10580), (#10590, #10600), (#10610, #10620)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0., 0.0735691801621346), (0.084024140768201, 0.915975859231799), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.975040223041483, 0.975040223041483), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#10640 = ADVANCED_FACE ('', (#10560), #10630, .F.);
#10650 = ORIENTED_EDGE ('', *, *, #3080, .T.);
#10660 = ORIENTED_EDGE ('', *, *, #4820, .T.);
#10670 = ORIENTED_EDGE ('', *, *, #6100, .T.);
#10680 = CARTESIAN_POINT ('', (0.221236388060502, -0.137323932849721, -1.44177149091517));
#10690 = VERTEX_POINT ('', #10680);
#10700 = CARTESIAN_POINT ('', (5.74162316201451, 0.241882801647356, 4.2758167585721));
#10710 = DIRECTION ('', (-0.500000000009875, 0.749999999999347, 0.433012701881948));
#10720 = DIRECTION ('', (-0.690187404511653, -0.043077506984901, -0.722347336843872));
#10730 = AXIS2_PLACEMENT_3D ('', #10700, #10710, #10720);
#10740 = CIRCLE ('', #10730, 7.95671309824357);
#10750 = EDGE_CURVE ('', #5990, #10690, #10740, .T.);
#10760 = ORIENTED_EDGE ('', *, *, #10750, .T.);
#10770 = CARTESIAN_POINT ('', (-0.57657601271086, -1.14992186492783, -0.286594607022022));
#10780 = CARTESIAN_POINT ('', (-0.508390704172052, -1.15157672791717, -0.428549649893288));
#10790 = CARTESIAN_POINT ('', (-0.434711517400617, -1.12775463938102, -0.562949135893132));
#10800 = CARTESIAN_POINT ('', (-0.27792571154421, -1.03538561449822, -0.818603320470003));
#10810 = CARTESIAN_POINT ('', (-0.197877239935335, -0.968525037137119, -0.934741400603435));
#10820 = CARTESIAN_POINT ('', (-0.041738835258573, -0.79406017740513, -1.14285575744655));
#10830 = CARTESIAN_POINT ('', (0.032488111790145, -0.688761126252654, -1.23220872019918));
#10840 = CARTESIAN_POINT ('', (0.125417712599867, -0.499614819736752, -1.33832137542404));
#10850 = CARTESIAN_POINT ('', (0.152592323775607, -0.432415493281944, -1.36823497537234));
#10860 = CARTESIAN_POINT ('', (0.196067564902752, -0.290212413804912, -1.41529631771674));
#10870 = CARTESIAN_POINT ('', (0.212460578966867, -0.213933110757511, -1.43255749872289));
#10880 = CARTESIAN_POINT ('', (0.221236388060502, -0.137323932849721, -1.44177149091517));
#10890 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#10770, #10780, #10790, #10800, #10810, #10820, #10830, #10840, #10850, #10860, #10870, #10880), .UNSPECIFIED., .F., .U., (4, 2, 2, 2, 2, 4), (0.000418304163472927, 0.000884573974919852, 0.00135084378636678, 0.0018171135978137, 0.00205024850353717, 0.00228338340926063), .UNSPECIFIED.);
#10900 = EDGE_CURVE ('', #10410, #10690, #10890, .T.);
#10910 = ORIENTED_EDGE ('', *, *, #10900, .F.);
#10920 = ORIENTED_EDGE ('', *, *, #10460, .F.);
#10930 = EDGE_LOOP ('', (#10650, #10660, #10670, #10760, #10910, #10920));
#10940 = FACE_OUTER_BOUND ('', #10930, .F.);
#10950 = CARTESIAN_POINT ('', (-0.576576012710864, -2.35000000000006, -0.286594607022023));
#10960 = CARTESIAN_POINT ('', (-0.576576012710862, -0.100872562437411, -0.286594607022026));
#10970 = CARTESIAN_POINT ('', (-0.259667600842661, -2.35000000000006, -0.946366457543341));
#10980 = CARTESIAN_POINT ('', (-0.259667600842659, -0.100872562437412, -0.946366457543344));
#10990 = CARTESIAN_POINT ('', (0.250000000001204, -2.35000000000007, -1.47169375828376));
#11000 = CARTESIAN_POINT ('', (0.250000000001206, -0.100872562437413, -1.47169375828376));
#11010 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#10950, #10960), (#10970, #10980), (#10990, #11000)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.0735691801621345, 0.122717156843002), (0.0836893701187834, 0.916296475502094), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.987028913087261, 0.987028913087261), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#11020 = ADVANCED_FACE ('', (#10940), #11010, .F.);
#11030 = CARTESIAN_POINT ('', (1.10622411422612, -1.05809444531746, 1.1749456223967));
#11040 = DIRECTION ('', (-0.499999999988605, 0.749999999987839, 0.433012701926441));
#11050 = DIRECTION ('', (-0.294059247044775, 0.323264312701211, -0.899460584662426));
#11060 = AXIS2_PLACEMENT_3D ('', #11030, #11040, #11050);
#11070 = CIRCLE ('', #11060, 2.91174013226095);
#11080 = EDGE_CURVE ('', #5900, #10690, #11070, .T.);
#11090 = ORIENTED_EDGE ('', *, *, #11080, .T.);
#11100 = ORIENTED_EDGE ('', *, *, #10750, .F.);
#11110 = ORIENTED_EDGE ('', *, *, #6040, .T.);
#11120 = EDGE_LOOP ('', (#11090, #11100, #11110));
#11130 = FACE_OUTER_BOUND ('', #11120, .F.);
#11140 = CARTESIAN_POINT ('', (0.257973367285828, -0.112832613366168, -1.44177149091517));
#11150 = CARTESIAN_POINT ('', (0.250000000000001, -0.100872562437427, -1.4716937582825));
#11160 = CARTESIAN_POINT ('', (0.221236388060501, -0.137323932849719, -1.44177149091517));
#11170 = CARTESIAN_POINT ('', (0.213263020774673, -0.125363881920978, -1.4716937582825));
#11180 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11140, #11150), (#11160, #11170)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.95927068606242, -1.91511833196156), (-8.60359876465363, -8.5704029894933), .UNSPECIFIED.);
#11190 = ADVANCED_FACE ('', (#11130), #11180, .F.);
#11200 = ORIENTED_EDGE ('', *, *, #5960, .F.);
#11210 = ORIENTED_EDGE ('', *, *, #9730, .T.);
#11220 = ORIENTED_EDGE ('', *, *, #9980, .T.);
#11230 = ORIENTED_EDGE ('', *, *, #10250, .T.);
#11240 = ORIENTED_EDGE ('', *, *, #10530, .T.);
#11250 = ORIENTED_EDGE ('', *, *, #10900, .T.);
#11260 = ORIENTED_EDGE ('', *, *, #11080, .F.);
#11270 = EDGE_LOOP ('', (#11200, #11210, #11220, #11230, #11240, #11250, #11260));
#11280 = FACE_OUTER_BOUND ('', #11270, .F.);
#11290 = CARTESIAN_POINT ('', (-0.596294638091964, -1.10259016899162, 0.026794919242986));
#11300 = CARTESIAN_POINT ('', (0.250000000000012, -1.10259016899162, 0.0267949192429875));
#11310 = CARTESIAN_POINT ('', (-0.596294638091963, -1.25615621085871, -0.491329439745928));
#11320 = CARTESIAN_POINT ('', (0.250000000000013, -1.25615621085871, -0.491329439745926));
#11330 = CARTESIAN_POINT ('', (-0.596294638091962, -0.955297950191121, -0.940238882262425));
#11340 = CARTESIAN_POINT ('', (0.250000000000014, -0.955297950191121, -0.940238882262423));
#11350 = CARTESIAN_POINT ('', (-0.596294638091961, -0.654439689523537, -1.38914832477892));
#11360 = CARTESIAN_POINT ('', (0.250000000000015, -0.654439689523537, -1.38914832477892));
#11370 = CARTESIAN_POINT ('', (-0.59629463809196, -0.116832769022122, -1.44404986957852));
#11380 = CARTESIAN_POINT ('', (0.250000000000015, -0.116832769022123, -1.44404986957852));
#11390 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#11290, #11300), (#11310, #11320), (#11330, #11340), (#11350, #11360), (#11370, #11380)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0.451615693865952, 0.591990853036354, 0.732366012206757), (0.0833333333333339, 0.915683144175365), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.905053093412442, 0.905053093412442), (1., 1.), (0.905053093412442, 0.905053093412442), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#11400 = ADVANCED_FACE ('', (#11280), #11390, .F.);
#11410 = ORIENTED_EDGE ('', *, *, #4900, .F.);
#11420 = ORIENTED_EDGE ('', *, *, #790, .T.);
#11430 = CARTESIAN_POINT ('', (2.68280153250431, 2.35, -2.45337825894094));
#11440 = DIRECTION ('', (0.16719846749569, 0., 0.));
#11450 = VECTOR ('', #11440, 0.16719846749569);
#11460 = LINE ('', #11430, #11450);
#11470 = EDGE_CURVE ('', #1330, #660, #11460, .T.);
#11480 = ORIENTED_EDGE ('', *, *, #11470, .F.);
#11490 = ORIENTED_EDGE ('', *, *, #1380, .F.);
#11500 = ORIENTED_EDGE ('', *, *, #1680, .T.);
#11510 = ORIENTED_EDGE ('', *, *, #2200, .F.);
#11520 = EDGE_LOOP ('', (#11410, #11420, #11480, #11490, #11500, #11510));
#11530 = FACE_OUTER_BOUND ('', #11520, .F.);
#11540 = CARTESIAN_POINT ('', (2.851, 0.203736767491657, -2.64115196072793));
#11550 = CARTESIAN_POINT ('', (1.12690159006325, 0.203736767491657, -2.64115196072793));
#11560 = CARTESIAN_POINT ('', (2.851, 2.42468347171167, -2.44684430181341));
#11570 = CARTESIAN_POINT ('', (1.12690159006325, 2.42468347171167, -2.44684430181341));
#11580 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11540, #11550), (#11560, #11570)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.22834700938173, 0.0010833504408394), (-0.00099999999999989, 1.72309840993675), .UNSPECIFIED.);
#11590 = ADVANCED_FACE ('', (#11530), #11580, .F.);
#11600 = ORIENTED_EDGE ('', *, *, #11470, .T.);
#11610 = ORIENTED_EDGE ('', *, *, #710, .F.);
#11620 = ORIENTED_EDGE ('', *, *, #1440, .F.);
#11630 = EDGE_LOOP ('', (#11600, #11610, #11620));
#11640 = FACE_OUTER_BOUND ('', #11630, .F.);
#11650 = CARTESIAN_POINT ('', (2.851, 2.35, -0.0613287766511856));
#11660 = CARTESIAN_POINT ('', (2.851, 2.35, -2.45437825894094));
#11670 = CARTESIAN_POINT ('', (2.68180153250431, 2.35, -0.0613287766511856));
#11680 = CARTESIAN_POINT ('', (2.68180153250431, 2.35, -2.45437825894094));
#11690 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11650, #11660), (#11670, #11680)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.767237542088794, -0.598039074593107), (-7.23867122334881, -4.84562174105906), .UNSPECIFIED.);
#11700 = ADVANCED_FACE ('', (#11640), #11690, .F.);
#11710 = CLOSED_SHELL ('', (#550, #1220, #1540, #1780, #2300, #2620, #2810, #4150, #5050, #6190, #6460, #6700, #7030, #7470, #7640, #7830, #7990, #8260, #8500, #8830, #9200, #9370, #9570, #9840, #10080, #10370, #10640, #11020, #11190, #11400, #11590, #11700));
#11720 = MANIFOLD_SOLID_BREP ('NOCUT', #11710);
#11730 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#11740 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#11750 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#11760 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #11730, 'DISTANCE_ACCURACY_VALUE', '');
#11770 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#11760))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#11730, #11740, #11750))
   REPRESENTATION_CONTEXT ('', '3D')
);
#11780 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#11790 = FILL_AREA_STYLE_COLOUR ('', #11780);
#11800 = FILL_AREA_STYLE ('', (#11790));
#11810 = SURFACE_STYLE_FILL_AREA (#11800);
#11820 = SURFACE_SIDE_STYLE ('', (#11810));
#11830 = SURFACE_STYLE_USAGE (.POSITIVE., #11820);
#11840 = PRESENTATION_STYLE_ASSIGNMENT ((#11830));
#11850 = STYLED_ITEM ('', (#11840), #11720);
#11860 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#11720), #11770);
#11870 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#11880 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #11870);
#11890 = MECHANICAL_CONTEXT ('', #11870, 'mechanical');
#11900 = PRODUCT ('NONE', '', '', (#11890));
#11910 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#11920 = PERSON ('', '', $, $, $, $);
#11930 = ORGANIZATION ($, '', '');
#11940 = PERSON_AND_ORGANIZATION (#11920, #11930);
#11950 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#11940, #11910, (#11900));
#11960 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#11900));
#11970 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #11900, .NOT_KNOWN.);
#11980 = APPROVAL_STATUS ('approved');
#11990 = APPROVAL (#11980, '');
#12000 = CALENDAR_DATE (2016, 15, 12);
#12010 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#12020 = LOCAL_TIME (10, 24, 51., #12010);
#12030 = DATE_AND_TIME (#12000, #12020);
#12040 = APPROVAL_DATE_TIME (#12030, #11990);
#12050 = APPROVAL_ROLE ('');
#12060 = PERSON ('', '', $, $, $, $);
#12070 = ORGANIZATION ($, '', '');
#12080 = PERSON_AND_ORGANIZATION (#12060, #12070);
#12090 = APPROVAL_PERSON_ORGANIZATION (#12080, #11990, #12050);
#12100 = CC_DESIGN_APPROVAL (#11990, (#11970));
#12110 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#12120 = PERSON ('', '', $, $, $, $);
#12130 = ORGANIZATION ($, '', '');
#12140 = PERSON_AND_ORGANIZATION (#12120, #12130);
#12150 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#12140, #12110, (#11970));
#12160 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#12170 = PERSON ('', '', $, $, $, $);
#12180 = ORGANIZATION ($, '', '');
#12190 = PERSON_AND_ORGANIZATION (#12170, #12180);
#12200 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#12190, #12160, (#11970));
#12210 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#12220 = SECURITY_CLASSIFICATION ('', '', #12210);
#12230 = APPROVAL_STATUS ('approved');
#12240 = APPROVAL (#12230, '');
#12250 = CALENDAR_DATE (2016, 15, 12);
#12260 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#12270 = LOCAL_TIME (10, 24, 51., #12260);
#12280 = DATE_AND_TIME (#12250, #12270);
#12290 = APPROVAL_DATE_TIME (#12280, #12240);
#12300 = APPROVAL_ROLE ('');
#12310 = PERSON ('', '', $, $, $, $);
#12320 = ORGANIZATION ($, '', '');
#12330 = PERSON_AND_ORGANIZATION (#12310, #12320);
#12340 = APPROVAL_PERSON_ORGANIZATION (#12330, #12240, #12300);
#12350 = CC_DESIGN_APPROVAL (#12240, (#12220));
#12360 = DATE_TIME_ROLE ('classification_date');
#12370 = CALENDAR_DATE (2016, 15, 12);
#12380 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#12390 = LOCAL_TIME (10, 24, 51., #12380);
#12400 = DATE_AND_TIME (#12370, #12390);
#12410 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#12400, #12360, (#12220));
#12420 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#12430 = PERSON ('', '', $, $, $, $);
#12440 = ORGANIZATION ($, '', '');
#12450 = PERSON_AND_ORGANIZATION (#12430, #12440);
#12460 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#12450, #12420, (#12220));
#12470 = CC_DESIGN_SECURITY_CLASSIFICATION (#12220, (#11970));
#12480 = DESIGN_CONTEXT ('', #11870, 'design');
#12490 = PRODUCT_DEFINITION ('', '', #11970, #12480);
#12500 = APPROVAL_STATUS ('approved');
#12510 = APPROVAL (#12500, '');
#12520 = CALENDAR_DATE (2016, 15, 12);
#12530 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#12540 = LOCAL_TIME (10, 24, 51., #12530);
#12550 = DATE_AND_TIME (#12520, #12540);
#12560 = APPROVAL_DATE_TIME (#12550, #12510);
#12570 = APPROVAL_ROLE ('');
#12580 = PERSON ('', '', $, $, $, $);
#12590 = ORGANIZATION ($, '', '');
#12600 = PERSON_AND_ORGANIZATION (#12580, #12590);
#12610 = APPROVAL_PERSON_ORGANIZATION (#12600, #12510, #12570);
#12620 = CC_DESIGN_APPROVAL (#12510, (#12490));
#12630 = DATE_TIME_ROLE ('creation_date');
#12640 = CALENDAR_DATE (2016, 15, 12);
#12650 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#12660 = LOCAL_TIME (10, 24, 51., #12650);
#12670 = DATE_AND_TIME (#12640, #12660);
#12680 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#12670, #12630, (#12490));
#12690 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#12700 = PERSON ('', '', $, $, $, $);
#12710 = ORGANIZATION ($, '', '');
#12720 = PERSON_AND_ORGANIZATION (#12700, #12710);
#12730 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#12720, #12690, (#12490));
#12740 = PRODUCT_DEFINITION_SHAPE ('', '', #12490);
#12750 = SHAPE_DEFINITION_REPRESENTATION (#12740, #11860);
#12760 = CARTESIAN_POINT ('', (2.85, 3.20000000000001, -0.914404390020289));
#12770 = VERTEX_POINT ('', #12760);
#12780 = CARTESIAN_POINT ('', (2.85, 3.20000000000001, -0.0126096890105753));
#12790 = VERTEX_POINT ('', #12780);
#12800 = CARTESIAN_POINT ('', (2.85, 3.20000000000001, -0.914404390020289));
#12810 = DIRECTION ('', (0., 0., 0.901794701009714));
#12820 = VECTOR ('', #12810, 0.901794701009714);
#12830 = LINE ('', #12800, #12820);
#12840 = EDGE_CURVE ('', #12770, #12790, #12830, .T.);
#12850 = ORIENTED_EDGE ('', *, *, #12840, .T.);
#12860 = CARTESIAN_POINT ('', (2.91721523783185, 3.26721523783187, -0.0205610770134965));
#12870 = VERTEX_POINT ('', #12860);
#12880 = CARTESIAN_POINT ('', (3.03548090556609, 3.38548090559338, 2.55135156531524));
#12890 = DIRECTION ('', (-0.707106781187038, 0.707106781186057, -7.45103284627291E-12));
#12900 = DIRECTION ('', (-0.0458866234366933, -0.0458866234472721, -0.997892196371025));
#12910 = AXIS2_PLACEMENT_3D ('', #12880, #12890, #12900);
#12920 = CIRCLE ('', #12910, 2.5773450803336);
#12930 = EDGE_CURVE ('', #12870, #12790, #12920, .T.);
#12940 = ORIENTED_EDGE ('', *, *, #12930, .F.);
#12950 = CARTESIAN_POINT ('', (2.85, 3.20000000000001, -0.914404390020289));
#12960 = DIRECTION ('', (0.0672152378318498, 0.06721523783186, 0.893843313006792));
#12970 = VECTOR ('', #12960, 0.898883554527807);
#12980 = LINE ('', #12950, #12970);
#12990 = EDGE_CURVE ('', #12770, #12870, #12980, .T.);
#13000 = ORIENTED_EDGE ('', *, *, #12990, .F.);
#13010 = EDGE_LOOP ('', (#12850, #12940, #13000));
#13020 = FACE_OUTER_BOUND ('', #13010, .F.);
#13030 = CARTESIAN_POINT ('', (2.85, 3.20000000000001, -0.0126096890105753));
#13040 = CARTESIAN_POINT ('', (2.85, 3.20000000000001, -0.914404390020289));
#13050 = CARTESIAN_POINT ('', (2.91721523783186, 3.26721523783186, -0.0126096890105753));
#13060 = CARTESIAN_POINT ('', (2.91721523783186, 3.26721523783186, -0.914404390020289));
#13070 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13030, #13040), (#13050, #13060)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.470628724009295, 0.565685424949237), (0.212609689010575, 1.11440439002029), .UNSPECIFIED.);
#13080 = ADVANCED_FACE ('', (#13020), #13070, .F.);
#13090 = CARTESIAN_POINT ('', (0.974184181785497, 3.6696665024272, -0.544860041271777));
#13100 = VERTEX_POINT ('', #13090);
#13110 = CARTESIAN_POINT ('', (0.989609260062162, 3.57680315187822, -0.8));
#13120 = VERTEX_POINT ('', #13110);
#13130 = CARTESIAN_POINT ('', (0.974184181785497, 3.6696665024272, -0.544860041271777));
#13140 = DIRECTION ('', (0.015425078276665, -0.09286335054898, -0.255139958728223));
#13150 = VECTOR ('', #13140, 0.271952079335429);
#13160 = LINE ('', #13130, #13150);
#13170 = EDGE_CURVE ('', #13100, #13120, #13160, .T.);
#13180 = ORIENTED_EDGE ('', *, *, #13170, .T.);
#13190 = CARTESIAN_POINT ('', (2.8844129181087, 3.57680315187822, -0.8));
#13200 = VERTEX_POINT ('', #13190);
#13210 = CARTESIAN_POINT ('', (2.8844129181087, 3.57680315187822, -0.8));
#13220 = DIRECTION ('', (-1.89480365804654, 0., 0.));
#13230 = VECTOR ('', #13220, 1.89480365804654);
#13240 = LINE ('', #13210, #13230);
#13250 = EDGE_CURVE ('', #13200, #13120, #13240, .T.);
#13260 = ORIENTED_EDGE ('', *, *, #13250, .F.);
#13270 = CARTESIAN_POINT ('', (2.90893039076287, 3.67030281525652, -0.543111786141508));
#13280 = VERTEX_POINT ('', #13270);
#13290 = CARTESIAN_POINT ('', (2.8844129181087, 3.57680315187822, -0.8));
#13300 = DIRECTION ('', (0.0245174726541699, 0.0934996633782998, 0.256888213858492));
#13310 = VECTOR ('', #13300, 0.274471943805937);
#13320 = LINE ('', #13290, #13310);
#13330 = EDGE_CURVE ('', #13200, #13280, #13320, .T.);
#13340 = ORIENTED_EDGE ('', *, *, #13330, .T.);
#13350 = CARTESIAN_POINT ('', (2.84462679637199, 3.83158231586456, -0.1));
#13360 = VERTEX_POINT ('', #13350);
#13370 = CARTESIAN_POINT ('', (2.84462679637199, 3.83158231586456, -0.1));
#13380 = CARTESIAN_POINT ('', (2.90625558520122, 3.83158231586456, -0.100000000000001));
#13390 = CARTESIAN_POINT ('', (2.93338127200812, 3.76354852610043, -0.286921301136893));
#13400 = CARTESIAN_POINT ('', (2.90893039076287, 3.67030281525652, -0.543111786141508));
#13410 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#13370, #13380, #13390, #13400), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (3.12365321058745, 4.75524303007198), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.790193133770582, 0.790193133770582, 1.))
   REPRESENTATION_ITEM ('')
);
#13420 = EDGE_CURVE ('', #13360, #13280, #13410, .T.);
#13430 = ORIENTED_EDGE ('', *, *, #13420, .F.);
#13440 = CARTESIAN_POINT ('', (1.05410837120946, 3.83158231586456, -0.1));
#13450 = VERTEX_POINT ('', #13440);
#13460 = CARTESIAN_POINT ('', (2.84462679637199, 3.83158231586456, -0.1));
#13470 = DIRECTION ('', (-1.79051842516253, 0., 0.));
#13480 = VECTOR ('', #13470, 1.79051842516253);
#13490 = LINE ('', #13460, #13480);
#13500 = EDGE_CURVE ('', #13360, #13450, #13490, .T.);
#13510 = ORIENTED_EDGE ('', *, *, #13500, .T.);
#13520 = CARTESIAN_POINT ('', (0.974184181785497, 3.6696665024272, -0.544860041271777));
#13530 = CARTESIAN_POINT ('', (0.958649131860222, 3.76319191352279, -0.287901086141433));
#13540 = CARTESIAN_POINT ('', (0.99240770895967, 3.83158231586456, -0.100000000000001));
#13550 = CARTESIAN_POINT ('', (1.05410837120946, 3.83158231586456, -0.1));
#13560 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#13520, #13530, #13540, #13550), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (1.51578874640363, 3.1515719705011), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.789174152576804, 0.789174152576804, 1.))
   REPRESENTATION_ITEM ('')
);
#13570 = EDGE_CURVE ('', #13100, #13450, #13560, .T.);
#13580 = ORIENTED_EDGE ('', *, *, #13570, .F.);
#13590 = EDGE_LOOP ('', (#13180, #13260, #13340, #13430, #13510, #13580));
#13600 = FACE_OUTER_BOUND ('', #13590, .F.);
#13610 = CARTESIAN_POINT ('', (2.9167302116299, 3.57636478029494, -0.801204416026403));
#13620 = CARTESIAN_POINT ('', (0.970800432524062, 3.57636478029494, -0.801204416026403));
#13630 = CARTESIAN_POINT ('', (2.9167302116299, 3.83202068744785, -0.0987955839735974));
#13640 = CARTESIAN_POINT ('', (0.970800432524062, 3.83202068744785, -0.0987955839735974));
#13650 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13610, #13620), (#13630, #13640)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.746206153497251, 0.0012817127641116), (7.3332697883701, 9.27919956747594), .UNSPECIFIED.);
#13660 = ADVANCED_FACE ('', (#13600), #13650, .F.);
#13670 = ORIENTED_EDGE ('', *, *, #13500, .F.);
#13680 = CARTESIAN_POINT ('', (2.85640685299445, 3.85, 0.0499999999999998));
#13690 = VERTEX_POINT ('', #13680);
#13700 = CARTESIAN_POINT ('', (2.85640685299445, 3.85, 0.0499999999999998));
#13710 = DIRECTION ('', (-0.01178005662246, -0.0184176841354402, -0.15));
#13720 = VECTOR ('', #13710, 0.15158489642092);
#13730 = LINE ('', #13700, #13720);
#13740 = EDGE_CURVE ('', #13690, #13360, #13730, .T.);
#13750 = ORIENTED_EDGE ('', *, *, #13740, .F.);
#13760 = CARTESIAN_POINT ('', (1.04756957490672, 3.85, 0.0499999999999998));
#13770 = VERTEX_POINT ('', #13760);
#13780 = CARTESIAN_POINT ('', (2.85640685299445, 3.85, 0.0499999999999998));
#13790 = DIRECTION ('', (-1.80883727808773, 0., 0.));
#13800 = VECTOR ('', #13790, 1.80883727808773);
#13810 = LINE ('', #13780, #13800);
#13820 = EDGE_CURVE ('', #13690, #13770, #13810, .T.);
#13830 = ORIENTED_EDGE ('', *, *, #13820, .T.);
#13840 = CARTESIAN_POINT ('', (1.05410837120946, 3.83158231586456, -0.1));
#13850 = DIRECTION ('', (-0.00653879630274012, 0.0184176841354402, 0.15));
#13860 = VECTOR ('', #13850, 0.151267864882141);
#13870 = LINE ('', #13840, #13860);
#13880 = EDGE_CURVE ('', #13450, #13770, #13870, .T.);
#13890 = ORIENTED_EDGE ('', *, *, #13880, .F.);
#13900 = EDGE_LOOP ('', (#13670, #13750, #13830, #13890));
#13910 = FACE_OUTER_BOUND ('', #13900, .F.);
#13920 = CARTESIAN_POINT ('', (2.85740685299445, 3.8314465027799, -0.101106108810938));
#13930 = CARTESIAN_POINT ('', (1.04656957490672, 3.8314465027799, -0.101106108810938));
#13940 = CARTESIAN_POINT ('', (2.85740685299445, 3.85013581308466, 0.0511061088109377));
#13950 = CARTESIAN_POINT ('', (1.04656957490672, 3.85013581308466, 0.0511061088109377));
#13960 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13920, #13930), (#13940, #13950)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.152240889313874, 0.00111441549504643), (7.39259314700555, 9.20343042509328), .UNSPECIFIED.);
#13970 = ADVANCED_FACE ('', (#13910), #13960, .F.);
#13980 = CARTESIAN_POINT ('', (2.85, 2.85, 0.090350680734992));
#13990 = VERTEX_POINT ('', #13980);
#14000 = CARTESIAN_POINT ('', (1.0088684378698, 2.85009404358739, 0.101480748328932));
#14010 = VERTEX_POINT ('', #14000);
#14020 = CARTESIAN_POINT ('', (2.85, 2.85, 0.0903506807349952));
#14030 = CARTESIAN_POINT ('', (2.55085500028168, 2.85, 0.0917577449670779));
#14040 = CARTESIAN_POINT ('', (2.25171055036791, 2.85, 0.0933037199219321));
#14050 = CARTESIAN_POINT ('', (1.9525673230705, 2.85, 0.0950473507078042));
#14060 = CARTESIAN_POINT ('', (1.63800361161039, 2.85, 0.0968808636252628));
#14070 = CARTESIAN_POINT ('', (1.32344076585579, 2.85, 0.098929925001472));
#14080 = CARTESIAN_POINT ('', (1.00888076417331, 2.85, 0.10131648710847));
#14090 = CARTESIAN_POINT ('', (1.00887623962613, 2.85, 0.101316521436143));
#14100 = CARTESIAN_POINT ('', (1.00887171507895, 2.85, 0.101316555763887));
#14110 = CARTESIAN_POINT ('', (1.00886719053177, 2.85, 0.101316590091702));
#14120 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#14020, #14030, #14040, #14050, #14060, #14070, #14080, #14090, #14100, #14110), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (0.400004021117741, 1.29744894765979, 2.24115611253382, 2.24116968656602), .UNSPECIFIED.);
#14130 = EDGE_CURVE ('', #13990, #14010, #14120, .T.);
#14140 = ORIENTED_EDGE ('', *, *, #14130, .T.);
#14150 = CARTESIAN_POINT ('', (0.9501601202248, 3.7373345497236, 0.00625197801465455));
#14160 = VERTEX_POINT ('', #14150);
#14170 = CARTESIAN_POINT ('', (0.9501601202248, 3.7373345497236, 0.00625197801465455));
#14180 = CARTESIAN_POINT ('', (0.965682290511392, 3.54647678649489, -0.0559114434100449));
#14190 = CARTESIAN_POINT ('', (0.980400301663356, 3.33951622140821, -0.0629364773812381));
#14200 = CARTESIAN_POINT ('', (0.998662191177317, 3.04279485649975, 0.00810524557392139));
#14210 = CARTESIAN_POINT ('', (1.00425905716686, 2.94273691730237, 0.0480945334260439));
#14220 = CARTESIAN_POINT ('', (1.0088684378698, 2.85009404358739, 0.101480748328933));
#14230 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#14170, #14180, #14190, #14200, #14210, #14220), .UNSPECIFIED., .F., .U., (4, 2, 4), (0.00192568852771959, 0.00252306074281237, 0.00284253129987101), .UNSPECIFIED.);
#14240 = EDGE_CURVE ('', #14160, #14010, #14230, .T.);
#14250 = ORIENTED_EDGE ('', *, *, #14240, .F.);
#14260 = CARTESIAN_POINT ('', (1.04756957490672, 3.85, 0.0499999999999998));
#14270 = CARTESIAN_POINT ('', (1.03765602079526, 3.85, 0.0499999999999998));
#14280 = CARTESIAN_POINT ('', (1.02760311581766, 3.84837221718528, 0.0492691240929756));
#14290 = CARTESIAN_POINT ('', (1.0182780384629, 3.84529661439854, 0.0479045161100904));
#14300 = CARTESIAN_POINT ('', (1.0089700095865, 3.8422266345515, 0.0465424029579486));
#14310 = CARTESIAN_POINT ('', (1.0001386407602, 3.83765064839991, 0.0445233159661632));
#14320 = CARTESIAN_POINT ('', (0.992362739935768, 3.83202945087762, 0.0421031848026907));
#14330 = CARTESIAN_POINT ('', (0.984209322823277, 3.82613534688817, 0.0395655574218565));
#14340 = CARTESIAN_POINT ('', (0.977008697047585, 3.81896480377374, 0.0365349535138469));
#14350 = CARTESIAN_POINT ('', (0.97108574472651, 3.81107685127897, 0.0333167138684539));
#14360 = CARTESIAN_POINT ('', (0.96438100412017, 3.80214774421788, 0.0296736890960569));
#14370 = CARTESIAN_POINT ('', (0.959145826412955, 3.79209098877648, 0.0257079921324755));
#14380 = CARTESIAN_POINT ('', (0.955591105210028, 3.78161043790054, 0.0217740196484165));
#14390 = CARTESIAN_POINT ('', (0.951618820273759, 3.7698987643285, 0.0173779337823129));
#14400 = CARTESIAN_POINT ('', (0.949644739681865, 3.75735215942702, 0.0129102606294085));
#14410 = CARTESIAN_POINT ('', (0.949804200371242, 3.74490489154169, 0.00874997086853391));
#14420 = CARTESIAN_POINT ('', (0.949836516589523, 3.74238233486922, 0.00790684876395975));
#14430 = CARTESIAN_POINT ('', (0.949955040379743, 3.73985617394162, 0.00707328486792491));
#14440 = CARTESIAN_POINT ('', (0.9501601202248, 3.7373345497236, 0.00625197801465455));
#14450 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#14260, #14270, #14280, #14290, #14300, #14310, #14320, #14330, #14340, #14350, #14360, #14370, #14380, #14390, #14400, #14410, #14420, #14430, #14440), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 4), (2.16840434497101E-19, 2.97406623344017E-5, 5.93816447539118E-5, 9.04338149850946E-5, 0.000125623879593981, 0.000165024413583796, 0.000172910634913111), .UNSPECIFIED.);
#14460 = EDGE_CURVE ('', #13770, #14160, #14450, .T.);
#14470 = ORIENTED_EDGE ('', *, *, #14460, .F.);
#14480 = ORIENTED_EDGE ('', *, *, #13820, .F.);
#14490 = CARTESIAN_POINT ('', (2.95285778725861, 3.73898167983749, 0.0162326793018275));
#14500 = VERTEX_POINT ('', #14490);
#14510 = CARTESIAN_POINT ('', (2.95285778725861, 3.73898167983749, 0.0162326793018275));
#14520 = CARTESIAN_POINT ('', (2.95395259920345, 3.7513951013624, 0.0194454857036502));
#14530 = CARTESIAN_POINT ('', (2.95288387838798, 3.76411511499238, 0.0229253502893458));
#14540 = CARTESIAN_POINT ('', (2.94970806072506, 3.77609868499951, 0.0263781758259504));
#14550 = CARTESIAN_POINT ('', (2.94652885881165, 3.78809502507311, 0.029834680801285));
#14560 = CARTESIAN_POINT ('', (2.9411358196638, 3.79970586879602, 0.033365247267851));
#14570 = CARTESIAN_POINT ('', (2.93385994363226, 3.80984233488363, 0.0365715862768816));
#14580 = CARTESIAN_POINT ('', (2.92685505392053, 3.8196012734228, 0.0396585068125459));
#14590 = CARTESIAN_POINT ('', (2.91786273369728, 3.82829173748228, 0.0425361480423986));
#14600 = CARTESIAN_POINT ('', (2.90761553427295, 3.83491023153164, 0.0447777724880237));
#14610 = CARTESIAN_POINT ('', (2.89829303553129, 3.84093147693653, 0.0468171141860115));
#14620 = CARTESIAN_POINT ('', (2.88763187866884, 3.84541220848777, 0.0483843560181504));
#14630 = CARTESIAN_POINT ('', (2.87663997720822, 3.84781769915284, 0.049229938962531));
#14640 = CARTESIAN_POINT ('', (2.87002721584403, 3.84926484965623, 0.0497386442347584));
#14650 = CARTESIAN_POINT ('', (2.86319519877919, 3.85, 0.05));
#14660 = CARTESIAN_POINT ('', (2.85640685299445, 3.85, 0.0499999999999998));
#14670 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#14510, #14520, #14530, #14540, #14550, #14560, #14570, #14580, #14590, #14600, #14610, #14620, #14630, #14640, #14650, #14660), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 4), (2.20117667849916E-16, 3.86073043499773E-5, 7.72915351245288E-5, 0.000114568176272694, 0.000148441389579151, 0.000168594386692208), .UNSPECIFIED.);
#14680 = EDGE_CURVE ('', #14500, #13690, #14670, .T.);
#14690 = ORIENTED_EDGE ('', *, *, #14680, .F.);
#14700 = CARTESIAN_POINT ('', (2.91721523783185, 3.26721523783187, -0.0205610770134965));
#14710 = CARTESIAN_POINT ('', (2.92713353353148, 3.42422157001399, -0.0361125660208088));
#14720 = CARTESIAN_POINT ('', (2.93930882504886, 3.58535805537442, -0.0235277496877339));
#14730 = CARTESIAN_POINT ('', (2.95285778725861, 3.73898167983749, 0.0162326793018275));
#14740 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#14700, #14710, #14720, #14730), .UNSPECIFIED., .F., .U., (4, 4), (0.00113315795270814, 0.00160566653490786), .UNSPECIFIED.);
#14750 = EDGE_CURVE ('', #12870, #14500, #14740, .T.);
#14760 = ORIENTED_EDGE ('', *, *, #14750, .F.);
#14770 = ORIENTED_EDGE ('', *, *, #12930, .T.);
#14780 = CARTESIAN_POINT ('', (2.85, 2.85, 0.0903506807349921));
#14790 = CARTESIAN_POINT ('', (2.85, 2.9609929141862, 0.0406019151606469));
#14800 = CARTESIAN_POINT ('', (2.85, 3.07874468453719, 0.00576513044952182));
#14810 = CARTESIAN_POINT ('', (2.85, 3.20000000000001, -0.0126096890105753));
#14820 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#14780, #14790, #14800, #14810), .UNSPECIFIED., .F., .U., (4, 4), (0.00233702356839718, 0.00269985826457271), .UNSPECIFIED.);
#14830 = EDGE_CURVE ('', #13990, #12790, #14820, .T.);
#14840 = ORIENTED_EDGE ('', *, *, #14830, .F.);
#14850 = EDGE_LOOP ('', (#14140, #14250, #14470, #14480, #14690, #14760, #14770, #14840));
#14860 = FACE_OUTER_BOUND ('', #14850, .F.);
#14870 = CARTESIAN_POINT ('', (0.949724470026554, 2.85691823883537, 0.097774490049978));
#14880 = CARTESIAN_POINT ('', (1.61762022072456, 2.77878539914187, 0.13777843000854));
#14890 = CARTESIAN_POINT ('', (2.28551597142256, 2.70065255944837, 0.177782369967102));
#14900 = CARTESIAN_POINT ('', (2.95341172212056, 2.62251971975487, 0.217786309925664));
#14910 = CARTESIAN_POINT ('', (0.949724470026554, 3.05351031388005, -0.0147932832377086));
#14920 = CARTESIAN_POINT ('', (1.61762022072456, 2.98709018198609, 0.00899836752298483));
#14930 = CARTESIAN_POINT ('', (2.28551597142256, 2.92067005009214, 0.0327900182836781));
#14940 = CARTESIAN_POINT ('', (2.95341172212056, 2.85424991819818, 0.0565816690443715));
#14950 = CARTESIAN_POINT ('', (0.949724470026554, 3.31156817839715, -0.0715865583373641));
#14960 = CARTESIAN_POINT ('', (1.61762022072456, 3.2638353195167, -0.0617594941602556));
#14970 = CARTESIAN_POINT ('', (2.28551597142256, 3.21610246063625, -0.051932429983147));
#14980 = CARTESIAN_POINT ('', (2.95341172212056, 3.1683696017558, -0.0421053658060384));
#14990 = CARTESIAN_POINT ('', (0.949724470026554, 3.59823440193385, -0.0303382975232469));
#15000 = CARTESIAN_POINT ('', (1.61762022072456, 3.57505978120761, -0.0276321750620025));
#15010 = CARTESIAN_POINT ('', (2.28551597142256, 3.55188516048137, -0.0249260526007581));
#15020 = CARTESIAN_POINT ('', (2.95341172212056, 3.52871053975514, -0.0222199301395136));
#15030 = CARTESIAN_POINT ('', (0.949724470026554, 3.68309349134149, -0.0111163196095436));
#15040 = CARTESIAN_POINT ('', (1.61762022072456, 3.66744393136455, -0.00995420320978085));
#15050 = CARTESIAN_POINT ('', (2.28551597142256, 3.65179437138762, -0.00879208681001803));
#15060 = CARTESIAN_POINT ('', (2.95341172212056, 3.63614481141069, -0.0076299704102552));
#15070 = CARTESIAN_POINT ('', (0.949724470026554, 3.76722165943698, 0.0152062184895374));
#15080 = CARTESIAN_POINT ('', (1.61762022072456, 3.75929692860181, 0.0154220343937381));
#15090 = CARTESIAN_POINT ('', (2.28551597142256, 3.75137219776664, 0.0156378502979388));
#15100 = CARTESIAN_POINT ('', (2.95341172212056, 3.74344746693147, 0.0158536662021396));
#15110 = CARTESIAN_POINT ('', (0.949724470026554, 3.8225712809584, 0.0375819122767305));
#15120 = CARTESIAN_POINT ('', (1.61762022072456, 3.81991303443048, 0.0375819122767305));
#15130 = CARTESIAN_POINT ('', (2.28551597142256, 3.81725478790255, 0.0375819122767304));
#15140 = CARTESIAN_POINT ('', (2.95341172212056, 3.81459654137463, 0.0375819122767302));
#15150 = CARTESIAN_POINT ('', (0.949724470026554, 3.85, 0.0500000000000002));
#15160 = CARTESIAN_POINT ('', (1.61762022072456, 3.85, 0.0500000000000002));
#15170 = CARTESIAN_POINT ('', (2.28551597142256, 3.85, 0.0500000000000001));
#15180 = CARTESIAN_POINT ('', (2.95341172212056, 3.85, 0.05));
#15190 = B_SPLINE_SURFACE_WITH_KNOTS ('', 3, 3, ((#14870, #14880, #14890, #14900), (#14910, #14920, #14930, #14940), (#14950, #14960, #14970, #14980), (#14990, #15000, #15010, #15020), (#15030, #15040, #15050, #15060), (#15070, #15080, #15090, #15100), (#15110, #15120, #15130, #15140), (#15150, #15160, #15170, #15180)), .UNSPECIFIED., .F., .F., .U., (4, 1, 1, 1, 1, 4), (4, 4), (0.848851947028898, 0.95, 0.9625, 0.975, 0.9875, 1.), (0.233241490008851, 0.901137240706852), .UNSPECIFIED.);
#15200 = ADVANCED_FACE ('', (#14860), #15190, .F.);
#15210 = ORIENTED_EDGE ('', *, *, #14460, .T.);
#15220 = CARTESIAN_POINT ('', (0.9501601202248, 3.7373345497236, 0.00625197801465455));
#15230 = DIRECTION ('', (0.024024061560697, -0.0676680472964, -0.551112019286432));
#15240 = VECTOR ('', #15230, 0.555770256455622);
#15250 = LINE ('', #15220, #15240);
#15260 = EDGE_CURVE ('', #14160, #13100, #15250, .T.);
#15270 = ORIENTED_EDGE ('', *, *, #15260, .T.);
#15280 = ORIENTED_EDGE ('', *, *, #13570, .T.);
#15290 = ORIENTED_EDGE ('', *, *, #13880, .T.);
#15300 = EDGE_LOOP ('', (#15210, #15270, #15280, #15290));
#15310 = FACE_OUTER_BOUND ('', #15300, .F.);
#15320 = CARTESIAN_POINT ('', (1.04756031297343, 3.85002608788436, 0.0502124687678428));
#15330 = CARTESIAN_POINT ('', (1.07387981790486, 3.77589251558984, -0.553557025942041));
#15340 = CARTESIAN_POINT ('', (1.00426297690012, 3.84979778420689, 0.0483530845277361));
#15350 = CARTESIAN_POINT ('', (1.03058248183155, 3.77566421191237, -0.555416410182147));
#15360 = CARTESIAN_POINT ('', (0.974657937180036, 3.81825352147487, 0.0509356908145331));
#15370 = CARTESIAN_POINT ('', (1.00097744211147, 3.74411994918034, -0.55283380389535));
#15380 = CARTESIAN_POINT ('', (0.945052897459957, 3.78670925874284, 0.0535182971013301));
#15390 = CARTESIAN_POINT ('', (0.97137240239139, 3.71257568644832, -0.550251197608553));
#15400 = CARTESIAN_POINT ('', (0.947864676854065, 3.74380007472172, 0.0589094534381073));
#15410 = CARTESIAN_POINT ('', (0.974184181785497, 3.6696665024272, -0.544860041271776));
#15420 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#15320, #15330), (#15340, #15350), (#15360, #15370), (#15380, #15390), (#15400, #15410)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.130669769325334, 0.261339538650668), (0.0902746865304615, 0.910454825509108), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.917540524681382, 0.917540524681382), (1., 1.), (0.917540524681382, 0.917540524681382), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#15430 = ADVANCED_FACE ('', (#15310), #15420, .F.);
#15440 = ORIENTED_EDGE ('', *, *, #13420, .T.);
#15450 = CARTESIAN_POINT ('', (2.90893039076287, 3.67030281525652, -0.543111786141508));
#15460 = DIRECTION ('', (0.0439273964957403, 0.0686788645809702, 0.559344465443336));
#15470 = VECTOR ('', #15460, 0.565254485718704);
#15480 = LINE ('', #15450, #15470);
#15490 = EDGE_CURVE ('', #13280, #14500, #15480, .T.);
#15500 = ORIENTED_EDGE ('', *, *, #15490, .T.);
#15510 = ORIENTED_EDGE ('', *, *, #14680, .T.);
#15520 = ORIENTED_EDGE ('', *, *, #13740, .T.);
#15530 = EDGE_LOOP ('', (#15440, #15500, #15510, #15520));
#15540 = FACE_OUTER_BOUND ('', #15530, .F.);
#15550 = CARTESIAN_POINT ('', (2.95596897873097, 3.74384591297822, 0.0558486791064293));
#15560 = CARTESIAN_POINT ('', (2.90893039076275, 3.67030281525459, -0.543111786141261));
#15570 = CARTESIAN_POINT ('', (2.95858651290452, 3.78663308214105, 0.0503895106566562));
#15580 = CARTESIAN_POINT ('', (2.9115479249363, 3.71308998441742, -0.548570954591034));
#15590 = CARTESIAN_POINT ('', (2.92906238912964, 3.81814999656223, 0.0488383591570816));
#15600 = CARTESIAN_POINT ('', (2.88202380116142, 3.7446068988386, -0.550122106090609));
#15610 = CARTESIAN_POINT ('', (2.89953826535476, 3.84966691098341, 0.047287207657507));
#15620 = CARTESIAN_POINT ('', (2.85249967738654, 3.77612381325978, -0.551673257590183));
#15630 = CARTESIAN_POINT ('', (2.856455575294, 3.85007617551871, 0.0506203998136713));
#15640 = CARTESIAN_POINT ('', (2.80941698732578, 3.77653307779508, -0.548340065434019));
#15650 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#15550, #15560), (#15570, #15580), (#15590, #15600), (#15610, #15620), (#15630, #15640)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0.739383526626622, 0.869691763313311, 1.), (0.0941809361222117, 0.90834602959961), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.917956889142617, 0.917956889142617), (1., 1.), (0.917956889142617, 0.917956889142617), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#15660 = ADVANCED_FACE ('', (#15540), #15650, .F.);
#15670 = CARTESIAN_POINT ('', (1.07676794588523, 2.85, -1.83798247264877));
#15680 = VERTEX_POINT ('', #15670);
#15690 = CARTESIAN_POINT ('', (1.07676794588523, 2.85, -1.83798247264877));
#15700 = DIRECTION ('', (-0.06788718171192, 0., 1.93929895975724));
#15710 = VECTOR ('', #15700, 1.94048682674125);
#15720 = LINE ('', #15690, #15710);
#15730 = EDGE_CURVE ('', #15680, #14010, #15720, .T.);
#15740 = ORIENTED_EDGE ('', *, *, #15730, .F.);
#15750 = CARTESIAN_POINT ('', (0.989609260062162, 3.57680315187822, -0.8));
#15760 = DIRECTION ('', (0.087158685823068, -0.72680315187822, -1.03798247264877));
#15770 = VECTOR ('', #15760, 1.27013663502025);
#15780 = LINE ('', #15750, #15770);
#15790 = EDGE_CURVE ('', #13120, #15680, #15780, .T.);
#15800 = ORIENTED_EDGE ('', *, *, #15790, .F.);
#15810 = ORIENTED_EDGE ('', *, *, #13170, .F.);
#15820 = ORIENTED_EDGE ('', *, *, #15260, .F.);
#15830 = ORIENTED_EDGE ('', *, *, #14240, .T.);
#15840 = EDGE_LOOP ('', (#15740, #15800, #15810, #15820, #15830));
#15850 = FACE_OUTER_BOUND ('', #15840, .F.);
#15860 = CARTESIAN_POINT ('', (0.946768306429704, 3.73816729781015, 0.101480748328932));
#15870 = CARTESIAN_POINT ('', (1.01433087360405, 3.74289173273937, -1.83798247264877));
#15880 = CARTESIAN_POINT ('', (1.00920537871089, 2.84527556507078, 0.101480748328932));
#15890 = CARTESIAN_POINT ('', (1.07676794588524, 2.85, -1.83798247264877));
#15900 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15860, #15870), (#15880, #15890)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.74827589643074, -2.8532038130825), (-0.401725468630163, 1.53891994109666), .UNSPECIFIED.);
#15910 = ADVANCED_FACE ('', (#15850), #15900, .F.);
#15920 = CARTESIAN_POINT ('', (2.85, 2.85, -0.56354972569183));
#15930 = VERTEX_POINT ('', #15920);
#15940 = CARTESIAN_POINT ('', (2.85, 2.85, 0.0903506807349919));
#15950 = DIRECTION ('', (0., 0., -0.653900406426822));
#15960 = VECTOR ('', #15950, 0.653900406426822);
#15970 = LINE ('', #15940, #15960);
#15980 = EDGE_CURVE ('', #13990, #15930, #15970, .T.);
#15990 = ORIENTED_EDGE ('', *, *, #15980, .F.);
#16000 = ORIENTED_EDGE ('', *, *, #14830, .T.);
#16010 = ORIENTED_EDGE ('', *, *, #12840, .F.);
#16020 = CARTESIAN_POINT ('', (2.85, 3.20000000000001, -0.914404390020289));
#16030 = DIRECTION ('', (0., -0.35000000000001, 0.350854664328459));
#16040 = VECTOR ('', #16030, 0.495579454256371);
#16050 = LINE ('', #16020, #16040);
#16060 = EDGE_CURVE ('', #12770, #15930, #16050, .T.);
#16070 = ORIENTED_EDGE ('', *, *, #16060, .T.);
#16080 = EDGE_LOOP ('', (#15990, #16000, #16010, #16070));
#16090 = FACE_OUTER_BOUND ('', #16080, .F.);
#16100 = CARTESIAN_POINT ('', (2.85, 2.85, 0.090350680734992));
#16110 = CARTESIAN_POINT ('', (2.85, 2.85, -0.914404390020288));
#16120 = CARTESIAN_POINT ('', (2.85, 3.20100000000001, 0.090350680734992));
#16130 = CARTESIAN_POINT ('', (2.85, 3.20100000000001, -0.914404390020288));
#16140 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16100, #16110), (#16120, #16130)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (2.85, 3.20100000000001), (-0.390350680734992, 0.614404390020288), .UNSPECIFIED.);
#16150 = ADVANCED_FACE ('', (#16090), #16140, .F.);
#16160 = CARTESIAN_POINT ('', (2.7608829809689, 2.85, -1.83798247264877));
#16170 = VERTEX_POINT ('', #16160);
#16180 = CARTESIAN_POINT ('', (2.7608829809689, 2.85, -1.83798247264877));
#16190 = DIRECTION ('', (-1.68411503508367, 0., 0.));
#16200 = VECTOR ('', #16190, 1.68411503508367);
#16210 = LINE ('', #16180, #16200);
#16220 = EDGE_CURVE ('', #16170, #15680, #16210, .T.);
#16230 = ORIENTED_EDGE ('', *, *, #16220, .F.);
#16240 = CARTESIAN_POINT ('', (2.7608829809689, 2.85, -1.83798247264877));
#16250 = DIRECTION ('', (0.1235299371398, 0.72680315187822, 1.03798247264877));
#16260 = VECTOR ('', #16250, 1.27314966931462);
#16270 = LINE ('', #16240, #16260);
#16280 = EDGE_CURVE ('', #16170, #13200, #16270, .T.);
#16290 = ORIENTED_EDGE ('', *, *, #16280, .T.);
#16300 = ORIENTED_EDGE ('', *, *, #13250, .T.);
#16310 = ORIENTED_EDGE ('', *, *, #15790, .T.);
#16320 = EDGE_LOOP ('', (#16230, #16290, #16300, #16310));
#16330 = FACE_OUTER_BOUND ('', #16320, .F.);
#16340 = CARTESIAN_POINT ('', (2.8854129181087, 2.85, -1.83798247264877));
#16350 = CARTESIAN_POINT ('', (0.988609260062162, 2.85, -1.83798247264877));
#16360 = CARTESIAN_POINT ('', (2.8854129181087, 3.57760198811695, -0.798859143617944));
#16370 = CARTESIAN_POINT ('', (0.988609260062162, 3.57760198811695, -0.798859143617944));
#16380 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16340, #16350), (#16360, #16370)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.2671426261894, 0.00139272848064032), (7.3645870818913, 9.26139073993784), .UNSPECIFIED.);
#16390 = ADVANCED_FACE ('', (#16330), #16380, .F.);
#16400 = CARTESIAN_POINT ('', (2.85, 2.85, -0.56354972569183));
#16410 = DIRECTION ('', (-0.0891170190311001, 0., -1.27443274695694));
#16420 = VECTOR ('', #16410, 1.27754478183632);
#16430 = LINE ('', #16400, #16420);
#16440 = EDGE_CURVE ('', #15930, #16170, #16430, .T.);
#16450 = ORIENTED_EDGE ('', *, *, #16440, .F.);
#16460 = ORIENTED_EDGE ('', *, *, #16060, .F.);
#16470 = ORIENTED_EDGE ('', *, *, #12990, .T.);
#16480 = ORIENTED_EDGE ('', *, *, #14750, .T.);
#16490 = ORIENTED_EDGE ('', *, *, #15490, .F.);
#16500 = ORIENTED_EDGE ('', *, *, #13330, .F.);
#16510 = ORIENTED_EDGE ('', *, *, #16280, .F.);
#16520 = EDGE_LOOP ('', (#16450, #16460, #16470, #16480, #16490, #16500, #16510));
#16530 = FACE_OUTER_BOUND ('', #16520, .F.);
#16540 = CARTESIAN_POINT ('', (2.88990834728887, 2.84095563585692, 0.0162326793018277));
#16550 = CARTESIAN_POINT ('', (2.7608829809689, 2.85, -1.83798247264877));
#16560 = CARTESIAN_POINT ('', (2.95293243171534, 3.74004654500884, 0.0162326793018277));
#16570 = CARTESIAN_POINT ('', (2.82390706539537, 3.74909090915192, -1.83798247264877));
#16580 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16540, #16550), (#16560, #16570)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.64967854359211, 1.55097566337971), (7.00140555923841, 8.86012640309849), .UNSPECIFIED.);
#16590 = ADVANCED_FACE ('', (#16530), #16580, .F.);
#16600 = ORIENTED_EDGE ('', *, *, #16440, .T.);
#16610 = ORIENTED_EDGE ('', *, *, #16220, .T.);
#16620 = ORIENTED_EDGE ('', *, *, #15730, .T.);
#16630 = ORIENTED_EDGE ('', *, *, #14130, .F.);
#16640 = ORIENTED_EDGE ('', *, *, #15980, .T.);
#16650 = EDGE_LOOP ('', (#16600, #16610, #16620, #16630, #16640));
#16660 = FACE_OUTER_BOUND ('', #16650, .F.);
#16670 = CARTESIAN_POINT ('', (1.0088684378698, 2.85, -1.83798247264877));
#16680 = CARTESIAN_POINT ('', (2.85, 2.85, -1.83798247264877));
#16690 = CARTESIAN_POINT ('', (1.0088684378698, 2.85, 0.10148074832893));
#16700 = CARTESIAN_POINT ('', (2.85, 2.85, 0.10148074832893));
#16710 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16670, #16680), (#16690, #16700)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (9.3764990454516, 11.3159622664293), (10.5638711269881, 12.4050026891182), .UNSPECIFIED.);
#16720 = ADVANCED_FACE ('', (#16660), #16710, .F.);
#16730 = CLOSED_SHELL ('', (#13080, #13660, #13970, #15200, #15430, #15660, #15910, #16150, #16390, #16590, #16720));
#16740 = MANIFOLD_SOLID_BREP ('CUT', #16730);
#16750 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#16760 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#16770 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#16780 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #16750, 'DISTANCE_ACCURACY_VALUE', '');
#16790 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#16780))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#16750, #16760, #16770))
   REPRESENTATION_CONTEXT ('', '3D')
);
#16800 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#16810 = FILL_AREA_STYLE_COLOUR ('', #16800);
#16820 = FILL_AREA_STYLE ('', (#16810));
#16830 = SURFACE_STYLE_FILL_AREA (#16820);
#16840 = SURFACE_SIDE_STYLE ('', (#16830));
#16850 = SURFACE_STYLE_USAGE (.POSITIVE., #16840);
#16860 = PRESENTATION_STYLE_ASSIGNMENT ((#16850));
#16870 = STYLED_ITEM ('', (#16860), #16740);
#16880 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#16740), #16790);
#16890 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#16900 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #16890);
#16910 = MECHANICAL_CONTEXT ('', #16890, 'mechanical');
#16920 = PRODUCT ('NONE', '', '', (#16910));
#16930 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#16940 = PERSON ('', '', $, $, $, $);
#16950 = ORGANIZATION ($, '', '');
#16960 = PERSON_AND_ORGANIZATION (#16940, #16950);
#16970 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16960, #16930, (#16920));
#16980 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#16920));
#16990 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #16920, .NOT_KNOWN.);
#17000 = APPROVAL_STATUS ('approved');
#17010 = APPROVAL (#17000, '');
#17020 = CALENDAR_DATE (2016, 15, 12);
#17030 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#17040 = LOCAL_TIME (10, 24, 51., #17030);
#17050 = DATE_AND_TIME (#17020, #17040);
#17060 = APPROVAL_DATE_TIME (#17050, #17010);
#17070 = APPROVAL_ROLE ('');
#17080 = PERSON ('', '', $, $, $, $);
#17090 = ORGANIZATION ($, '', '');
#17100 = PERSON_AND_ORGANIZATION (#17080, #17090);
#17110 = APPROVAL_PERSON_ORGANIZATION (#17100, #17010, #17070);
#17120 = CC_DESIGN_APPROVAL (#17010, (#16990));
#17130 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#17140 = PERSON ('', '', $, $, $, $);
#17150 = ORGANIZATION ($, '', '');
#17160 = PERSON_AND_ORGANIZATION (#17140, #17150);
#17170 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#17160, #17130, (#16990));
#17180 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#17190 = PERSON ('', '', $, $, $, $);
#17200 = ORGANIZATION ($, '', '');
#17210 = PERSON_AND_ORGANIZATION (#17190, #17200);
#17220 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#17210, #17180, (#16990));
#17230 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#17240 = SECURITY_CLASSIFICATION ('', '', #17230);
#17250 = APPROVAL_STATUS ('approved');
#17260 = APPROVAL (#17250, '');
#17270 = CALENDAR_DATE (2016, 15, 12);
#17280 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#17290 = LOCAL_TIME (10, 24, 51., #17280);
#17300 = DATE_AND_TIME (#17270, #17290);
#17310 = APPROVAL_DATE_TIME (#17300, #17260);
#17320 = APPROVAL_ROLE ('');
#17330 = PERSON ('', '', $, $, $, $);
#17340 = ORGANIZATION ($, '', '');
#17350 = PERSON_AND_ORGANIZATION (#17330, #17340);
#17360 = APPROVAL_PERSON_ORGANIZATION (#17350, #17260, #17320);
#17370 = CC_DESIGN_APPROVAL (#17260, (#17240));
#17380 = DATE_TIME_ROLE ('classification_date');
#17390 = CALENDAR_DATE (2016, 15, 12);
#17400 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#17410 = LOCAL_TIME (10, 24, 51., #17400);
#17420 = DATE_AND_TIME (#17390, #17410);
#17430 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#17420, #17380, (#17240));
#17440 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#17450 = PERSON ('', '', $, $, $, $);
#17460 = ORGANIZATION ($, '', '');
#17470 = PERSON_AND_ORGANIZATION (#17450, #17460);
#17480 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#17470, #17440, (#17240));
#17490 = CC_DESIGN_SECURITY_CLASSIFICATION (#17240, (#16990));
#17500 = DESIGN_CONTEXT ('', #16890, 'design');
#17510 = PRODUCT_DEFINITION ('', '', #16990, #17500);
#17520 = APPROVAL_STATUS ('approved');
#17530 = APPROVAL (#17520, '');
#17540 = CALENDAR_DATE (2016, 15, 12);
#17550 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#17560 = LOCAL_TIME (10, 24, 51., #17550);
#17570 = DATE_AND_TIME (#17540, #17560);
#17580 = APPROVAL_DATE_TIME (#17570, #17530);
#17590 = APPROVAL_ROLE ('');
#17600 = PERSON ('', '', $, $, $, $);
#17610 = ORGANIZATION ($, '', '');
#17620 = PERSON_AND_ORGANIZATION (#17600, #17610);
#17630 = APPROVAL_PERSON_ORGANIZATION (#17620, #17530, #17590);
#17640 = CC_DESIGN_APPROVAL (#17530, (#17510));
#17650 = DATE_TIME_ROLE ('creation_date');
#17660 = CALENDAR_DATE (2016, 15, 12);
#17670 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#17680 = LOCAL_TIME (10, 24, 51., #17670);
#17690 = DATE_AND_TIME (#17660, #17680);
#17700 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#17690, #17650, (#17510));
#17710 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#17720 = PERSON ('', '', $, $, $, $);
#17730 = ORGANIZATION ($, '', '');
#17740 = PERSON_AND_ORGANIZATION (#17720, #17730);
#17750 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#17740, #17710, (#17510));
#17760 = PRODUCT_DEFINITION_SHAPE ('', '', #17510);
#17770 = SHAPE_DEFINITION_REPRESENTATION (#17760, #16880);
ENDSEC;
END-ISO-10303-21;