ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('Y:\\ARNO\\Dokumentation\\OriginalGrafiken\\Insert Grooving\\LAB 081005FR (Y261-1.0).stp', '2010-01-18T15:26:54', ('Unknown'), ('Unknown'), 'HarmonyWare STEP v1.4.2', 'HarmonyWare Translators', '');
FILE_SCHEMA (('CONFIG_CONTROL_DESIGN'));
ENDSEC;

DATA;
#10 = CARTESIAN_POINT ('', (5.81027378658395, -0.149999999999996, -3.225));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (6.65, -0.149999999999996, -3.225));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (5.81027378658395, -0.149999999999996, -3.225));
#60 = CARTESIAN_POINT ('', (6.65, -0.149999999999996, -3.225));
#70 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#50, #60), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#80 = EDGE_CURVE ('', #20, #40, #70, .T.);
#90 = ORIENTED_EDGE ('', *, *, #80, .T.);
#100 = CARTESIAN_POINT ('', (6.7, -0.199999999999999, -3.225));
#110 = VERTEX_POINT ('', #100);
#120 = CARTESIAN_POINT ('', (6.7, -0.199999999999999, -3.225));
#130 = CARTESIAN_POINT ('', (6.65, -0.149999999999996, -3.225));
#140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#120, #130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#150 = EDGE_CURVE ('', #110, #40, #140, .T.);
#160 = ORIENTED_EDGE ('', *, *, #150, .F.);
#170 = CARTESIAN_POINT ('', (21.75, -0.200000000000001, -3.225));
#180 = VERTEX_POINT ('', #170);
#190 = CARTESIAN_POINT ('', (21.75, -0.200000000000001, -3.225));
#200 = CARTESIAN_POINT ('', (6.7, -0.199999999999999, -3.225));
#210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#190, #200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#220 = EDGE_CURVE ('', #180, #110, #210, .T.);
#230 = ORIENTED_EDGE ('', *, *, #220, .F.);
#240 = CARTESIAN_POINT ('', (24.3570042718408, -1.70515461812579, -3.225));
#250 = VERTEX_POINT ('', #240);
#260 = CARTESIAN_POINT ('', (24.3570042718408, -1.70515461812579, -3.225));
#270 = CARTESIAN_POINT ('', (21.75, -0.200000000000001, -3.225));
#280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#260, #270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#290 = EDGE_CURVE ('', #250, #180, #280, .T.);
#300 = ORIENTED_EDGE ('', *, *, #290, .F.);
#310 = CARTESIAN_POINT ('', (24.6897262134161, -8.05, -3.225));
#320 = VERTEX_POINT ('', #310);
#330 = CARTESIAN_POINT ('', (24.3570042718408, -1.70515461812579, -3.225));
#340 = CARTESIAN_POINT ('', (24.6897262134161, -8.05, -3.225));
#350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#330, #340), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#360 = EDGE_CURVE ('', #250, #320, #350, .T.);
#370 = ORIENTED_EDGE ('', *, *, #360, .T.);
#380 = CARTESIAN_POINT ('', (23.85, -8.05, -3.225));
#390 = VERTEX_POINT ('', #380);
#400 = CARTESIAN_POINT ('', (24.6897262134161, -8.05, -3.225));
#410 = CARTESIAN_POINT ('', (23.85, -8.05, -3.225));
#420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#400, #410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#430 = EDGE_CURVE ('', #320, #390, #420, .T.);
#440 = ORIENTED_EDGE ('', *, *, #430, .T.);
#450 = CARTESIAN_POINT ('', (23.8, -8., -3.225));
#460 = VERTEX_POINT ('', #450);
#470 = CARTESIAN_POINT ('', (23.8, -8., -3.225));
#480 = CARTESIAN_POINT ('', (23.85, -8.05, -3.225));
#490 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#470, #480), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#500 = EDGE_CURVE ('', #460, #390, #490, .T.);
#510 = ORIENTED_EDGE ('', *, *, #500, .F.);
#520 = CARTESIAN_POINT ('', (8.75, -8., -3.225));
#530 = VERTEX_POINT ('', #520);
#540 = CARTESIAN_POINT ('', (8.75, -8., -3.225));
#550 = CARTESIAN_POINT ('', (23.8, -8., -3.225));
#560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#540, #550), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#570 = EDGE_CURVE ('', #530, #460, #560, .T.);
#580 = ORIENTED_EDGE ('', *, *, #570, .F.);
#590 = CARTESIAN_POINT ('', (6.14299572815919, -6.4948453818742, -3.225));
#600 = VERTEX_POINT ('', #590);
#610 = CARTESIAN_POINT ('', (6.14299572815919, -6.4948453818742, -3.225));
#620 = CARTESIAN_POINT ('', (8.75, -8., -3.225));
#630 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#610, #620), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#640 = EDGE_CURVE ('', #600, #530, #630, .T.);
#650 = ORIENTED_EDGE ('', *, *, #640, .F.);
#660 = CARTESIAN_POINT ('', (6.14299572815919, -6.4948453818742, -3.225));
#670 = CARTESIAN_POINT ('', (5.81027378658395, -0.149999999999996, -3.225));
#680 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#660, #670), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#690 = EDGE_CURVE ('', #600, #20, #680, .T.);
#700 = ORIENTED_EDGE ('', *, *, #690, .T.);
#710 = EDGE_LOOP ('', (#90, #160, #230, #300, #370, #440, #510, #580, #650, #700));
#720 = FACE_OUTER_BOUND ('', #710, .T.);
#730 = CARTESIAN_POINT ('', (12.9282219893506, -6.44506862783692, -3.225));
#740 = VERTEX_POINT ('', #730);
#750 = CARTESIAN_POINT ('', (15.25, -7.4, -3.225));
#760 = VERTEX_POINT ('', #750);
#770 = CARTESIAN_POINT ('', (12.9282219893506, -6.44506862783692, -3.225));
#780 = CARTESIAN_POINT ('', (13.8927326326272, -7.4, -3.225));
#790 = CARTESIAN_POINT ('', (15.25, -7.4, -3.225));
#800 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#770, #780, #790), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (315.285941041504, 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.85531342846014, 0.85531342846014))
   REPRESENTATION_ITEM ('')
);
#810 = EDGE_CURVE ('', #740, #760, #800, .T.);
#820 = ORIENTED_EDGE ('', *, *, #810, .T.);
#830 = CARTESIAN_POINT ('', (17.5717780106494, -6.44506862783693, -3.225));
#840 = VERTEX_POINT ('', #830);
#850 = CARTESIAN_POINT ('', (15.25, -7.4, -3.225));
#860 = CARTESIAN_POINT ('', (16.6072673673728, -7.4, -3.225));
#870 = CARTESIAN_POINT ('', (17.5717780106494, -6.44506862783693, -3.225));
#880 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#850, #860, #870), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (360., 404.714058958496), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.85531342846014, 0.85531342846014, 1.))
   REPRESENTATION_ITEM ('')
);
#890 = EDGE_CURVE ('', #760, #840, #880, .T.);
#900 = ORIENTED_EDGE ('', *, *, #890, .T.);
#910 = CARTESIAN_POINT ('', (19.745382907248, -7.7, -3.225));
#920 = VERTEX_POINT ('', #910);
#930 = CARTESIAN_POINT ('', (17.5717780106494, -6.44506862783693, -3.225));
#940 = CARTESIAN_POINT ('', (19.745382907248, -7.7, -3.225));
#950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#930, #940), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#960 = EDGE_CURVE ('', #840, #920, #950, .T.);
#970 = ORIENTED_EDGE ('', *, *, #960, .T.);
#980 = CARTESIAN_POINT ('', (21.75, -7.7, -3.225));
#990 = VERTEX_POINT ('', #980);
#1000 = CARTESIAN_POINT ('', (19.745382907248, -7.7, -3.225));
#1010 = CARTESIAN_POINT ('', (21.75, -7.7, -3.225));
#1020 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1000, #1010), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1030 = EDGE_CURVE ('', #920, #990, #1020, .T.);
#1040 = ORIENTED_EDGE ('', *, *, #1030, .T.);
#1050 = CARTESIAN_POINT ('', (21.75, -6.84818728134262, -3.225));
#1060 = VERTEX_POINT ('', #1050);
#1070 = CARTESIAN_POINT ('', (21.75, -7.7, -3.225));
#1080 = CARTESIAN_POINT ('', (21.75, -6.84818728134262, -3.225));
#1090 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1070, #1080), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1100 = EDGE_CURVE ('', #990, #1060, #1090, .T.);
#1110 = ORIENTED_EDGE ('', *, *, #1100, .T.);
#1120 = CARTESIAN_POINT ('', (18.4968842025849, -4.97, -3.225));
#1130 = VERTEX_POINT ('', #1120);
#1140 = CARTESIAN_POINT ('', (21.75, -6.84818728134262, -3.225));
#1150 = CARTESIAN_POINT ('', (18.4968842025849, -4.97, -3.225));
#1160 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1140, #1150), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1170 = EDGE_CURVE ('', #1060, #1130, #1160, .T.);
#1180 = ORIENTED_EDGE ('', *, *, #1170, .T.);
#1190 = CARTESIAN_POINT ('', (21.75, -4.97, -3.225));
#1200 = VERTEX_POINT ('', #1190);
#1210 = CARTESIAN_POINT ('', (18.4968842025849, -4.97, -3.225));
#1220 = CARTESIAN_POINT ('', (21.75, -4.97, -3.225));
#1230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1210, #1220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1240 = EDGE_CURVE ('', #1130, #1200, #1230, .T.);
#1250 = ORIENTED_EDGE ('', *, *, #1240, .T.);
#1260 = CARTESIAN_POINT ('', (21.75, -3.23, -3.225));
#1270 = VERTEX_POINT ('', #1260);
#1280 = CARTESIAN_POINT ('', (21.75, -4.97, -3.225));
#1290 = CARTESIAN_POINT ('', (21.75, -3.23, -3.225));
#1300 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1280, #1290), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1310 = EDGE_CURVE ('', #1200, #1270, #1300, .T.);
#1320 = ORIENTED_EDGE ('', *, *, #1310, .T.);
#1330 = CARTESIAN_POINT ('', (18.4968842025849, -3.23, -3.225));
#1340 = VERTEX_POINT ('', #1330);
#1350 = CARTESIAN_POINT ('', (21.75, -3.23, -3.225));
#1360 = CARTESIAN_POINT ('', (18.4968842025849, -3.23, -3.225));
#1370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1350, #1360), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1380 = EDGE_CURVE ('', #1270, #1340, #1370, .T.);
#1390 = ORIENTED_EDGE ('', *, *, #1380, .T.);
#1400 = CARTESIAN_POINT ('', (21.75, -1.35181271865739, -3.225));
#1410 = VERTEX_POINT ('', #1400);
#1420 = CARTESIAN_POINT ('', (18.4968842025849, -3.23, -3.225));
#1430 = CARTESIAN_POINT ('', (21.75, -1.35181271865739, -3.225));
#1440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1420, #1430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1450 = EDGE_CURVE ('', #1340, #1410, #1440, .T.);
#1460 = ORIENTED_EDGE ('', *, *, #1450, .T.);
#1470 = CARTESIAN_POINT ('', (21.75, -0.500000000000002, -3.225));
#1480 = VERTEX_POINT ('', #1470);
#1490 = CARTESIAN_POINT ('', (21.75, -1.35181271865739, -3.225));
#1500 = CARTESIAN_POINT ('', (21.75, -0.500000000000002, -3.225));
#1510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1490, #1500), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1520 = EDGE_CURVE ('', #1410, #1480, #1510, .T.);
#1530 = ORIENTED_EDGE ('', *, *, #1520, .T.);
#1540 = CARTESIAN_POINT ('', (19.745382907248, -0.5, -3.225));
#1550 = VERTEX_POINT ('', #1540);
#1560 = CARTESIAN_POINT ('', (21.75, -0.500000000000002, -3.225));
#1570 = CARTESIAN_POINT ('', (19.745382907248, -0.5, -3.225));
#1580 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1560, #1570), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1590 = EDGE_CURVE ('', #1480, #1550, #1580, .T.);
#1600 = ORIENTED_EDGE ('', *, *, #1590, .T.);
#1610 = CARTESIAN_POINT ('', (17.5717780106494, -1.75493137216308, -3.225));
#1620 = VERTEX_POINT ('', #1610);
#1630 = CARTESIAN_POINT ('', (19.745382907248, -0.5, -3.225));
#1640 = CARTESIAN_POINT ('', (17.5717780106494, -1.75493137216308, -3.225));
#1650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1630, #1640), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1660 = EDGE_CURVE ('', #1550, #1620, #1650, .T.);
#1670 = ORIENTED_EDGE ('', *, *, #1660, .T.);
#1680 = CARTESIAN_POINT ('', (12.9282219893506, -1.75493137216307, -3.225));
#1690 = VERTEX_POINT ('', #1680);
#1700 = CARTESIAN_POINT ('', (17.5717780106494, -1.75493137216308, -3.225));
#1710 = CARTESIAN_POINT ('', (15.25, 0.543787337705702, -3.225));
#1720 = CARTESIAN_POINT ('', (12.9282219893506, -1.75493137216307, -3.225));
#1730 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1700, #1710, #1720), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (270.571882083008, 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.71062685692028, 1.))
   REPRESENTATION_ITEM ('')
);
#1740 = EDGE_CURVE ('', #1620, #1690, #1730, .T.);
#1750 = ORIENTED_EDGE ('', *, *, #1740, .T.);
#1760 = CARTESIAN_POINT ('', (10.754617092752, -0.499999999999997, -3.225));
#1770 = VERTEX_POINT ('', #1760);
#1780 = CARTESIAN_POINT ('', (12.9282219893506, -1.75493137216307, -3.225));
#1790 = CARTESIAN_POINT ('', (10.754617092752, -0.499999999999997, -3.225));
#1800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1780, #1790), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1810 = EDGE_CURVE ('', #1690, #1770, #1800, .T.);
#1820 = ORIENTED_EDGE ('', *, *, #1810, .T.);
#1830 = CARTESIAN_POINT ('', (8.75, -0.499999999999997, -3.225));
#1840 = VERTEX_POINT ('', #1830);
#1850 = CARTESIAN_POINT ('', (10.754617092752, -0.499999999999997, -3.225));
#1860 = CARTESIAN_POINT ('', (8.75, -0.499999999999997, -3.225));
#1870 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1850, #1860), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1880 = EDGE_CURVE ('', #1770, #1840, #1870, .T.);
#1890 = ORIENTED_EDGE ('', *, *, #1880, .T.);
#1900 = CARTESIAN_POINT ('', (8.75, -1.35181271865738, -3.225));
#1910 = VERTEX_POINT ('', #1900);
#1920 = CARTESIAN_POINT ('', (8.75, -0.499999999999997, -3.225));
#1930 = CARTESIAN_POINT ('', (8.75, -1.35181271865738, -3.225));
#1940 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1920, #1930), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1950 = EDGE_CURVE ('', #1840, #1910, #1940, .T.);
#1960 = ORIENTED_EDGE ('', *, *, #1950, .T.);
#1970 = CARTESIAN_POINT ('', (12.0031157974151, -3.23, -3.225));
#1980 = VERTEX_POINT ('', #1970);
#1990 = CARTESIAN_POINT ('', (8.75, -1.35181271865738, -3.225));
#2000 = CARTESIAN_POINT ('', (12.0031157974151, -3.23, -3.225));
#2010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1990, #2000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2020 = EDGE_CURVE ('', #1910, #1980, #2010, .T.);
#2030 = ORIENTED_EDGE ('', *, *, #2020, .T.);
#2040 = CARTESIAN_POINT ('', (8.75, -3.23, -3.225));
#2050 = VERTEX_POINT ('', #2040);
#2060 = CARTESIAN_POINT ('', (12.0031157974151, -3.23, -3.225));
#2070 = CARTESIAN_POINT ('', (8.75, -3.23, -3.225));
#2080 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2060, #2070), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2090 = EDGE_CURVE ('', #1980, #2050, #2080, .T.);
#2100 = ORIENTED_EDGE ('', *, *, #2090, .T.);
#2110 = CARTESIAN_POINT ('', (8.75, -4.97, -3.225));
#2120 = VERTEX_POINT ('', #2110);
#2130 = CARTESIAN_POINT ('', (8.75, -3.23, -3.225));
#2140 = CARTESIAN_POINT ('', (8.75, -4.97, -3.225));
#2150 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2130, #2140), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2160 = EDGE_CURVE ('', #2050, #2120, #2150, .T.);
#2170 = ORIENTED_EDGE ('', *, *, #2160, .T.);
#2180 = CARTESIAN_POINT ('', (12.0031157974151, -4.97, -3.225));
#2190 = VERTEX_POINT ('', #2180);
#2200 = CARTESIAN_POINT ('', (8.75, -4.97, -3.225));
#2210 = CARTESIAN_POINT ('', (12.0031157974151, -4.97, -3.225));
#2220 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2200, #2210), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2230 = EDGE_CURVE ('', #2120, #2190, #2220, .T.);
#2240 = ORIENTED_EDGE ('', *, *, #2230, .T.);
#2250 = CARTESIAN_POINT ('', (8.75, -6.84818728134261, -3.225));
#2260 = VERTEX_POINT ('', #2250);
#2270 = CARTESIAN_POINT ('', (12.0031157974151, -4.97, -3.225));
#2280 = CARTESIAN_POINT ('', (8.75, -6.84818728134261, -3.225));
#2290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2270, #2280), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2300 = EDGE_CURVE ('', #2190, #2260, #2290, .T.);
#2310 = ORIENTED_EDGE ('', *, *, #2300, .T.);
#2320 = CARTESIAN_POINT ('', (8.75, -7.7, -3.225));
#2330 = VERTEX_POINT ('', #2320);
#2340 = CARTESIAN_POINT ('', (8.75, -6.84818728134261, -3.225));
#2350 = CARTESIAN_POINT ('', (8.75, -7.7, -3.225));
#2360 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2340, #2350), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2370 = EDGE_CURVE ('', #2260, #2330, #2360, .T.);
#2380 = ORIENTED_EDGE ('', *, *, #2370, .T.);
#2390 = CARTESIAN_POINT ('', (10.754617092752, -7.7, -3.225));
#2400 = VERTEX_POINT ('', #2390);
#2410 = CARTESIAN_POINT ('', (8.75, -7.7, -3.225));
#2420 = CARTESIAN_POINT ('', (10.754617092752, -7.7, -3.225));
#2430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2410, #2420), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2440 = EDGE_CURVE ('', #2330, #2400, #2430, .T.);
#2450 = ORIENTED_EDGE ('', *, *, #2440, .T.);
#2460 = CARTESIAN_POINT ('', (10.754617092752, -7.7, -3.225));
#2470 = CARTESIAN_POINT ('', (12.9282219893506, -6.44506862783692, -3.225));
#2480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2460, #2470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2490 = EDGE_CURVE ('', #2400, #740, #2480, .T.);
#2500 = ORIENTED_EDGE ('', *, *, #2490, .T.);
#2510 = EDGE_LOOP ('', (#820, #900, #970, #1040, #1110, #1180, #1250, #1320, #1390, #1460, #1530, #1600, #1670, #1750, #1820, #1890, #1960, #2030, #2100, #2170, #2240, #2310, #2380, #2450, #2500));
#2520 = FACE_BOUND ('', #2510, .T.);
#2530 = CARTESIAN_POINT ('', (5.81027378658395, -0.149999999999996, -3.225));
#2540 = CARTESIAN_POINT ('', (5.81027378658395, -8.05, -3.225));
#2550 = CARTESIAN_POINT ('', (24.6897262134161, -0.149999999999996, -3.225));
#2560 = CARTESIAN_POINT ('', (24.6897262134161, -8.05, -3.225));
#2570 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2530, #2540), (#2550, #2560)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00100000000000033, 18.8804524268321), (0.149999999999996, 8.05), .UNSPECIFIED.);
#2580 = ADVANCED_FACE ('', (#720, #2520), #2570, .T.);
#2590 = CARTESIAN_POINT ('', (5.64678086885462, -0.149999999999996, 1.83697019872098E-17));
#2600 = VERTEX_POINT ('', #2590);
#2610 = CARTESIAN_POINT ('', (6.02270029489021, -6.42539278109407, -1.10891297368633E-17));
#2620 = VERTEX_POINT ('', #2610);
#2630 = CARTESIAN_POINT ('', (5.64678086885449, -0.150000000000004, -7.79603098012789E-16));
#2640 = CARTESIAN_POINT ('', (5.67257226793981, -0.537144739332126, -7.32191541429807E-16));
#2650 = CARTESIAN_POINT ('', (5.82814003465834, -2.9800068828808, -4.33027210944295E-16));
#2660 = CARTESIAN_POINT ('', (6.02270029489021, -6.42539278109407, -1.10891297368634E-17));
#2670 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2630, #2640, #2650, #2660), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 1, 3), (32.6547910580846, 36.599116363096, 52.1465990467817), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((66.830111265104, 65.1944242824106, 56.4728772757324, 47.5089657758623))
   REPRESENTATION_ITEM ('')
);
#2680 = EDGE_CURVE ('', #2600, #2620, #2670, .T.);
#2690 = ORIENTED_EDGE ('', *, *, #2680, .T.);
#2700 = CARTESIAN_POINT ('', (8.75, -8., 9.79717439317882E-16));
#2710 = VERTEX_POINT ('', #2700);
#2720 = CARTESIAN_POINT ('', (6.02270029489021, -6.42539278109407, -1.10891297368633E-17));
#2730 = CARTESIAN_POINT ('', (8.75, -8., 9.79717439317882E-16));
#2740 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2720, #2730), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2750 = EDGE_CURVE ('', #2620, #2710, #2740, .T.);
#2760 = ORIENTED_EDGE ('', *, *, #2750, .T.);
#2770 = CARTESIAN_POINT ('', (23.8, -8., 9.79717439317883E-16));
#2780 = VERTEX_POINT ('', #2770);
#2790 = CARTESIAN_POINT ('', (8.75, -8., 9.79717439317882E-16));
#2800 = CARTESIAN_POINT ('', (23.8, -8., 9.79717439317883E-16));
#2810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2790, #2800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2820 = EDGE_CURVE ('', #2710, #2780, #2810, .T.);
#2830 = ORIENTED_EDGE ('', *, *, #2820, .T.);
#2840 = CARTESIAN_POINT ('', (23.85, -8.05, 9.85840673313619E-16));
#2850 = VERTEX_POINT ('', #2840);
#2860 = CARTESIAN_POINT ('', (23.8, -8., 9.79717439317883E-16));
#2870 = CARTESIAN_POINT ('', (23.85, -8.05, 9.85840673313619E-16));
#2880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2860, #2870), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2890 = EDGE_CURVE ('', #2780, #2850, #2880, .T.);
#2900 = ORIENTED_EDGE ('', *, *, #2890, .T.);
#2910 = CARTESIAN_POINT ('', (24.8532191311454, -8.05, 9.85840673313619E-16));
#2920 = VERTEX_POINT ('', #2910);
#2930 = CARTESIAN_POINT ('', (23.85, -8.05, 9.85840673313619E-16));
#2940 = CARTESIAN_POINT ('', (24.8532191311454, -8.05, 9.85840673313619E-16));
#2950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2930, #2940), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2960 = EDGE_CURVE ('', #2850, #2920, #2950, .T.);
#2970 = ORIENTED_EDGE ('', *, *, #2960, .T.);
#2980 = CARTESIAN_POINT ('', (24.4772997051085, -1.77460721890516, 8.1970547050376E-15));
#2990 = VERTEX_POINT ('', #2980);
#3000 = CARTESIAN_POINT ('', (24.8532191311445, -8.05000000000006, 8.96556867331363E-15));
#3010 = CARTESIAN_POINT ('', (24.8278014431328, -7.66846489338771, 8.91884409860611E-15));
#3020 = CARTESIAN_POINT ('', (24.6724467903366, -5.23038495440348, 8.62026541927187E-15));
#3030 = CARTESIAN_POINT ('', (24.4772997051085, -1.77460721890516, 8.1970547050376E-15));
#3040 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3000, #3010, #3020, #3030), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 1, 3), (32.6645171350866, 36.5542069243655, 52.1620282457027), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((66.849553116941, 65.2365258430974, 56.5214715281413, 47.5227868253836))
   REPRESENTATION_ITEM ('')
);
#3050 = EDGE_CURVE ('', #2920, #2990, #3040, .T.);
#3060 = ORIENTED_EDGE ('', *, *, #3050, .T.);
#3070 = CARTESIAN_POINT ('', (21.75, -0.200000000000001, 2.44929359829472E-17));
#3080 = VERTEX_POINT ('', #3070);
#3090 = CARTESIAN_POINT ('', (24.4772997051085, -1.77460721890516, 8.1970547050376E-15));
#3100 = CARTESIAN_POINT ('', (21.75, -0.200000000000001, 2.44929359829456E-17));
#3110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3090, #3100), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3120 = EDGE_CURVE ('', #2990, #3080, #3110, .T.);
#3130 = ORIENTED_EDGE ('', *, *, #3120, .T.);
#3140 = CARTESIAN_POINT ('', (6.7, -0.199999999999999, 2.44929359829469E-17));
#3150 = VERTEX_POINT ('', #3140);
#3160 = CARTESIAN_POINT ('', (21.75, -0.200000000000001, 2.44929359829472E-17));
#3170 = CARTESIAN_POINT ('', (6.7, -0.199999999999999, 2.44929359829469E-17));
#3180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3160, #3170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3190 = EDGE_CURVE ('', #3080, #3150, #3180, .T.);
#3200 = ORIENTED_EDGE ('', *, *, #3190, .T.);
#3210 = CARTESIAN_POINT ('', (6.65, -0.149999999999996, 1.83697019872098E-17));
#3220 = VERTEX_POINT ('', #3210);
#3230 = CARTESIAN_POINT ('', (6.7, -0.199999999999999, 2.44929359829469E-17));
#3240 = CARTESIAN_POINT ('', (6.65, -0.149999999999996, 1.83697019872098E-17));
#3250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3230, #3240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3260 = EDGE_CURVE ('', #3150, #3220, #3250, .T.);
#3270 = ORIENTED_EDGE ('', *, *, #3260, .T.);
#3280 = CARTESIAN_POINT ('', (6.65, -0.149999999999996, 1.83697019872098E-17));
#3290 = CARTESIAN_POINT ('', (5.64678086885462, -0.149999999999996, 1.83697019872098E-17));
#3300 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3280, #3290), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3310 = EDGE_CURVE ('', #3220, #2600, #3300, .T.);
#3320 = ORIENTED_EDGE ('', *, *, #3310, .T.);
#3330 = EDGE_LOOP ('', (#2690, #2760, #2830, #2900, #2970, #3060, #3130, #3200, #3270, #3320));
#3340 = FACE_OUTER_BOUND ('', #3330, .T.);
#3350 = CARTESIAN_POINT ('', (15.25, -1.38828555675204, 1.70015946337888E-16));
#3360 = VERTEX_POINT ('', #3350);
#3370 = CARTESIAN_POINT ('', (15.25, -1.38828555675204, 1.70015946337888E-16));
#3380 = CARTESIAN_POINT ('', (17.961714443248, -1.38828555675204, 1.70015946337888E-16));
#3390 = CARTESIAN_POINT ('', (17.961714443248, -4.1, 5.02105187650415E-16));
#3400 = CARTESIAN_POINT ('', (17.961714443248, -6.81171444324796, 8.34194428962941E-16));
#3410 = CARTESIAN_POINT ('', (15.25, -6.81171444324796, 8.34194428962941E-16));
#3420 = CARTESIAN_POINT ('', (12.538285556752, -6.81171444324796, 8.34194428962941E-16));
#3430 = CARTESIAN_POINT ('', (12.538285556752, -4.1, 5.02105187650415E-16));
#3440 = CARTESIAN_POINT ('', (12.538285556752, -1.38828555675204, 1.70015946337888E-16));
#3450 = CARTESIAN_POINT ('', (15.25, -1.38828555675204, 1.70015946337888E-16));
#3460 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3370, #3380, #3390, #3400, #3410, #3420, #3430, #3440, #3450), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 90., 180., 270., 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#3470 = EDGE_CURVE ('', #3360, #3360, #3460, .T.);
#3480 = ORIENTED_EDGE ('', *, *, #3470, .T.);
#3490 = EDGE_LOOP ('', (#3480));
#3500 = FACE_BOUND ('', #3490, .T.);
#3510 = CARTESIAN_POINT ('', (24.8532191311454, -0.149999999999996, 1.83697019872098E-17));
#3520 = CARTESIAN_POINT ('', (24.8532191311454, -8.05000000000006, 9.85840673313626E-16));
#3530 = CARTESIAN_POINT ('', (5.64678086885448, -0.149999999999996, 1.83697019872098E-17));
#3540 = CARTESIAN_POINT ('', (5.64678086885448, -8.05000000000006, 9.85840673313626E-16));
#3550 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3510, #3520), (#3530, #3540)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.000999999999997669, 19.2074382622909), (-3.95000000000001, 3.95000000000006), .UNSPECIFIED.);
#3560 = ADVANCED_FACE ('', (#3340, #3500), #3550, .T.);
#3570 = CARTESIAN_POINT ('', (0.249081125205364, -0.149999999999996, -1.15));
#3580 = VERTEX_POINT ('', #3570);
#3590 = CARTESIAN_POINT ('', (1.04758557144386, -3.55300895626305, -0.964680623932253));
#3600 = VERTEX_POINT ('', #3590);
#3610 = CARTESIAN_POINT ('', (0.249081125205364, -0.149999999999996, -1.15));
#3620 = CARTESIAN_POINT ('', (1.04758557144386, -3.55300895626305, -0.964680623932253));
#3630 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3610, #3620), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3640 = EDGE_CURVE ('', #3580, #3600, #3630, .T.);
#3650 = ORIENTED_EDGE ('', *, *, #3640, .T.);
#3660 = CARTESIAN_POINT ('', (1.23919059284742, -3.66363216694848, -0.340450868149859));
#3670 = VERTEX_POINT ('', #3660);
#3680 = CARTESIAN_POINT ('', (1.23919059284742, -3.66363216694848, -0.340450868149859));
#3690 = CARTESIAN_POINT ('', (1.04758557144386, -3.55300895626305, -0.964680623932253));
#3700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3680, #3690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3710 = EDGE_CURVE ('', #3670, #3600, #3700, .T.);
#3720 = ORIENTED_EDGE ('', *, *, #3710, .F.);
#3730 = CARTESIAN_POINT ('', (0.517030317636484, -0.149999999999996, -0.15));
#3740 = VERTEX_POINT ('', #3730);
#3750 = CARTESIAN_POINT ('', (0.517030317636484, -0.149999999999996, -0.15));
#3760 = CARTESIAN_POINT ('', (1.23919059284742, -3.66363216694848, -0.340450868149859));
#3770 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3750, #3760), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3780 = EDGE_CURVE ('', #3740, #3670, #3770, .T.);
#3790 = ORIENTED_EDGE ('', *, *, #3780, .F.);
#3800 = CARTESIAN_POINT ('', (0.517030317636484, -0.149999999999996, -0.15));
#3810 = CARTESIAN_POINT ('', (0.249081125205364, -0.149999999999996, -1.15));
#3820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3800, #3810), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3830 = EDGE_CURVE ('', #3740, #3580, #3820, .T.);
#3840 = ORIENTED_EDGE ('', *, *, #3830, .T.);
#3850 = EDGE_LOOP ('', (#3650, #3720, #3790, #3840));
#3860 = FACE_OUTER_BOUND ('', #3850, .T.);
#3870 = CARTESIAN_POINT ('', (0.97047855181661, -3.66363216694848, -1.34329785788237));
#3880 = CARTESIAN_POINT ('', (0.249081125205361, -0.149999999999996, -1.15));
#3890 = CARTESIAN_POINT ('', (1.23919059284742, -3.66363216694848, -0.340450868149858));
#3900 = CARTESIAN_POINT ('', (0.517793166236171, -0.149999999999996, -0.147153010267484));
#3910 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3870, #3880), (#3890, #3900)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00122474487139115, 1.03944834593742), (-3.59212879969501, -6.93889390390723E-17), .UNSPECIFIED.);
#3920 = ADVANCED_FACE ('', (#3860), #3910, .T.);
#3930 = CARTESIAN_POINT ('', (5.7531398064641, -0.149999999999996, -1.58889687422704));
#3940 = VERTEX_POINT ('', #3930);
#3950 = CARTESIAN_POINT ('', (5.7531398064641, -0.149999999999996, -1.58889687422704));
#3960 = CARTESIAN_POINT ('', (5.81027378658395, -0.149999999999996, -3.225));
#3970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3950, #3960), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3980 = EDGE_CURVE ('', #3940, #20, #3970, .T.);
#3990 = ORIENTED_EDGE ('', *, *, #3980, .F.);
#4000 = CARTESIAN_POINT ('', (5.24908112520536, -0.149999999999996, -1.1063656610462));
#4010 = VERTEX_POINT ('', #4000);
#4020 = CARTESIAN_POINT ('', (5.24908112520536, -0.149999999999996, -1.1063656610462));
#4030 = CARTESIAN_POINT ('', (5.73614101421188, -0.149999999999996, -1.10211515378866));
#4040 = CARTESIAN_POINT ('', (5.7531398064641, -0.149999999999996, -1.58889687422704));
#4050 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4020, #4030, #4040), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 88.5000000000001), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.716301943424654, 1.))
   REPRESENTATION_ITEM ('')
);
#4060 = EDGE_CURVE ('', #4010, #3940, #4050, .T.);
#4070 = ORIENTED_EDGE ('', *, *, #4060, .F.);
#4080 = CARTESIAN_POINT ('', (0.249081125205364, -0.149999999999996, -1.15));
#4090 = CARTESIAN_POINT ('', (5.24908112520536, -0.149999999999996, -1.1063656610462));
#4100 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4080, #4090), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4110 = EDGE_CURVE ('', #3580, #4010, #4100, .T.);
#4120 = ORIENTED_EDGE ('', *, *, #4110, .F.);
#4130 = ORIENTED_EDGE ('', *, *, #3830, .F.);
#4140 = CARTESIAN_POINT ('', (5.24908112520536, -0.149999999999996, -0.191295981776807));
#4150 = VERTEX_POINT ('', #4140);
#4160 = CARTESIAN_POINT ('', (5.24908112520536, -0.149999999999996, -0.191295981776807));
#4170 = CARTESIAN_POINT ('', (0.517030317636484, -0.149999999999996, -0.15));
#4180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4160, #4170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4190 = EDGE_CURVE ('', #4150, #3740, #4180, .T.);
#4200 = ORIENTED_EDGE ('', *, *, #4190, .F.);
#4210 = CARTESIAN_POINT ('', (5.64678086885462, -0.149999999999996, -2.36247027313402E-16));
#4220 = CARTESIAN_POINT ('', (5.49497042272452, -0.149999999999996, -0.193441825167419));
#4230 = CARTESIAN_POINT ('', (5.24908112520536, -0.149999999999996, -0.191295981776807));
#4240 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4210, #4220, #4230), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (1.01777749806833E-13, 52.3756716737297), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.897352083218937, 1.))
   REPRESENTATION_ITEM ('')
);
#4250 = EDGE_CURVE ('', #2600, #4150, #4240, .T.);
#4260 = ORIENTED_EDGE ('', *, *, #4250, .F.);
#4270 = ORIENTED_EDGE ('', *, *, #3310, .F.);
#4280 = CARTESIAN_POINT ('', (6.65, -0.149999999999996, -3.225));
#4290 = CARTESIAN_POINT ('', (6.65, -0.149999999999996, 1.83697019872098E-17));
#4300 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4280, #4290), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4310 = EDGE_CURVE ('', #40, #3220, #4300, .T.);
#4320 = ORIENTED_EDGE ('', *, *, #4310, .F.);
#4330 = ORIENTED_EDGE ('', *, *, #80, .F.);
#4340 = EDGE_LOOP ('', (#3990, #4070, #4120, #4130, #4200, #4260, #4270, #4320, #4330));
#4350 = FACE_OUTER_BOUND ('', #4340, .T.);
#4360 = CARTESIAN_POINT ('', (6.65, -0.149999999999996, 1.83697019872098E-17));
#4370 = CARTESIAN_POINT ('', (0.249081125205364, -0.149999999999996, 1.83697019872098E-17));
#4380 = CARTESIAN_POINT ('', (6.65, -0.149999999999996, -3.225));
#4390 = CARTESIAN_POINT ('', (0.249081125205364, -0.149999999999996, -3.225));
#4400 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4360, #4370), (#4380, #4390)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.001, 3.226), (-6.62891887479464, -0.228000000000002), .UNSPECIFIED.);
#4410 = ADVANCED_FACE ('', (#4350), #4400, .T.);
#4420 = CARTESIAN_POINT ('', (15.25, -2., -1.89));
#4430 = VERTEX_POINT ('', #4420);
#4440 = CARTESIAN_POINT ('', (15.25, -2., -3.95));
#4450 = VERTEX_POINT ('', #4440);
#4460 = CARTESIAN_POINT ('', (15.25, -2., -1.89));
#4470 = CARTESIAN_POINT ('', (15.25, -2., -3.95));
#4480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4460, #4470), .UNSPECIFIED., .F., .U., (2, 2), (0.0837374717103134, 0.916262528289687), .UNSPECIFIED.);
#4490 = EDGE_CURVE ('', #4430, #4450, #4480, .T.);
#4500 = ORIENTED_EDGE ('', *, *, #4490, .T.);
#4510 = CARTESIAN_POINT ('', (13.1630994089309, -4.33419206433025, -3.95));
#4520 = VERTEX_POINT ('', #4510);
#4530 = CARTESIAN_POINT ('', (15.25, -2., -3.95));
#4540 = CARTESIAN_POINT ('', (17.1275195530033, -2., -3.95));
#4550 = CARTESIAN_POINT ('', (17.3369005910691, -3.86580793566975, -3.95));
#4560 = CARTESIAN_POINT ('', (17.5710926553994, -5.95270852673889, -3.95));
#4570 = CARTESIAN_POINT ('', (15.4841920643303, -6.18690059106914, -3.95));
#4580 = CARTESIAN_POINT ('', (13.3972914732611, -6.4210926553994, -3.95));
#4590 = CARTESIAN_POINT ('', (13.1630994089309, -4.33419206433025, -3.95));
#4600 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4530, #4540, #4550, #4560, #4570, #4580, #4590), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 3), (450.555139024858, 533.597053907052, 623.597053907052, 713.597053907052), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.95821298145257, 0.729750958374682, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#4610 = EDGE_CURVE ('', #4450, #4520, #4600, .T.);
#4620 = ORIENTED_EDGE ('', *, *, #4610, .T.);
#4630 = CARTESIAN_POINT ('', (13.1630994089309, -4.33419206433025, -3.95));
#4640 = CARTESIAN_POINT ('', (12.9289073446006, -2.24729147326111, -3.95));
#4650 = CARTESIAN_POINT ('', (15.0158079356698, -2.01309940893086, -3.95));
#4660 = CARTESIAN_POINT ('', (15.1325376135888, -2., -3.95));
#4670 = CARTESIAN_POINT ('', (15.25, -2., -3.95));
#4680 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4630, #4640, #4650, #4660, #4670), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (353.597053907052, 443.597053907052, 450.555139024858), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.977355822811866, 0.95821298145257))
   REPRESENTATION_ITEM ('')
);
#4690 = EDGE_CURVE ('', #4520, #4450, #4680, .T.);
#4700 = ORIENTED_EDGE ('', *, *, #4690, .T.);
#4710 = ORIENTED_EDGE ('', *, *, #4490, .F.);
#4720 = CARTESIAN_POINT ('', (17.35, -4.1, -1.89));
#4730 = VERTEX_POINT ('', #4720);
#4740 = CARTESIAN_POINT ('', (15.25, -2., -1.89));
#4750 = CARTESIAN_POINT ('', (13.15, -2., -1.89));
#4760 = CARTESIAN_POINT ('', (13.15, -4.1, -1.89));
#4770 = CARTESIAN_POINT ('', (13.15, -6.2, -1.89));
#4780 = CARTESIAN_POINT ('', (15.25, -6.2, -1.89));
#4790 = CARTESIAN_POINT ('', (17.35, -6.2, -1.89));
#4800 = CARTESIAN_POINT ('', (17.35, -4.1, -1.89));
#4810 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4740, #4750, #4760, #4770, #4780, #4790, #4800), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 3), (0., 90., 180., 270.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#4820 = EDGE_CURVE ('', #4430, #4730, #4810, .T.);
#4830 = ORIENTED_EDGE ('', *, *, #4820, .T.);
#4840 = CARTESIAN_POINT ('', (17.35, -4.1, -1.89));
#4850 = CARTESIAN_POINT ('', (17.35, -2., -1.89));
#4860 = CARTESIAN_POINT ('', (15.25, -2., -1.89));
#4870 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4840, #4850, #4860), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (270., 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#4880 = EDGE_CURVE ('', #4730, #4430, #4870, .T.);
#4890 = ORIENTED_EDGE ('', *, *, #4880, .T.);
#4900 = EDGE_LOOP ('', (#4500, #4620, #4700, #4710, #4830, #4890));
#4910 = FACE_OUTER_BOUND ('', #4900, .T.);
#4920 = CARTESIAN_POINT ('', (15.25, -2., -3.95));
#4930 = CARTESIAN_POINT ('', (15.25, -2., -1.89));
#4940 = CARTESIAN_POINT ('', (17.35, -2., -3.95));
#4950 = CARTESIAN_POINT ('', (17.35, -2., -1.89));
#4960 = CARTESIAN_POINT ('', (17.35, -4.1, -3.95));
#4970 = CARTESIAN_POINT ('', (17.35, -4.1, -1.89));
#4980 = CARTESIAN_POINT ('', (17.35, -6.2, -3.95));
#4990 = CARTESIAN_POINT ('', (17.35, -6.2, -1.89));
#5000 = CARTESIAN_POINT ('', (15.25, -6.2, -3.95));
#5010 = CARTESIAN_POINT ('', (15.25, -6.2, -1.89));
#5020 = CARTESIAN_POINT ('', (13.15, -6.2, -3.95));
#5030 = CARTESIAN_POINT ('', (13.15, -6.2, -1.89));
#5040 = CARTESIAN_POINT ('', (13.15, -4.1, -3.95));
#5050 = CARTESIAN_POINT ('', (13.15, -4.1, -1.89));
#5060 = CARTESIAN_POINT ('', (13.15, -2., -3.95));
#5070 = CARTESIAN_POINT ('', (13.15, -2., -1.89));
#5080 = CARTESIAN_POINT ('', (15.25, -2., -3.95));
#5090 = CARTESIAN_POINT ('', (15.25, -2., -1.89));
#5100 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#4920, #4930), (#4940, #4950), (#4960, #4970), (#4980, #4990), (#5000, #5010), (#5020, #5030), (#5040, #5050), (#5060, #5070), (#5080, #5090)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0.083737471710313, 0.916262528289686), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186547, 0.707106781186548), (1., 1.), (0.707106781186547, 0.707106781186548), (1., 1.), (0.707106781186547, 0.707106781186548), (1., 1.), (0.707106781186547, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#5110 = ADVANCED_FACE ('', (#4910), #5100, .T.);
#5120 = CARTESIAN_POINT ('', (17.9, -4.1, -0.349999999999999));
#5130 = VERTEX_POINT ('', #5120);
#5140 = CARTESIAN_POINT ('', (17.9, -4.1, -0.349999999999999));
#5150 = CARTESIAN_POINT ('', (17.4973663077368, -4.1, -1.07441653847743));
#5160 = CARTESIAN_POINT ('', (17.35, -4.1, -1.89));
#5170 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5140, #5150, #5160), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 0.32852896004609), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.986538899385164, 1.))
   REPRESENTATION_ITEM ('')
);
#5180 = EDGE_CURVE ('', #5130, #4730, #5170, .T.);
#5190 = ORIENTED_EDGE ('', *, *, #5180, .T.);
#5200 = ORIENTED_EDGE ('', *, *, #4820, .F.);
#5210 = ORIENTED_EDGE ('', *, *, #4880, .F.);
#5220 = ORIENTED_EDGE ('', *, *, #5180, .F.);
#5230 = CARTESIAN_POINT ('', (15.25, -1.45, -0.35));
#5240 = VERTEX_POINT ('', #5230);
#5250 = CARTESIAN_POINT ('', (17.9, -4.1, -0.349999999999999));
#5260 = CARTESIAN_POINT ('', (17.9, -1.45, -0.35));
#5270 = CARTESIAN_POINT ('', (15.25, -1.45, -0.35));
#5280 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5250, #5260, #5270), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (270., 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#5290 = EDGE_CURVE ('', #5130, #5240, #5280, .T.);
#5300 = ORIENTED_EDGE ('', *, *, #5290, .T.);
#5310 = CARTESIAN_POINT ('', (15.25, -1.45, -0.35));
#5320 = CARTESIAN_POINT ('', (12.6, -1.45, -0.35));
#5330 = CARTESIAN_POINT ('', (12.6, -4.1, -0.349999999999999));
#5340 = CARTESIAN_POINT ('', (12.6, -6.75, -0.349999999999999));
#5350 = CARTESIAN_POINT ('', (15.25, -6.75, -0.349999999999999));
#5360 = CARTESIAN_POINT ('', (17.9, -6.75, -0.349999999999999));
#5370 = CARTESIAN_POINT ('', (17.9, -4.1, -0.349999999999999));
#5380 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5310, #5320, #5330, #5340, #5350, #5360, #5370), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 3), (0., 90., 180., 270.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#5390 = EDGE_CURVE ('', #5240, #5130, #5380, .T.);
#5400 = ORIENTED_EDGE ('', *, *, #5390, .T.);
#5410 = EDGE_LOOP ('', (#5190, #5200, #5210, #5220, #5300, #5400));
#5420 = FACE_OUTER_BOUND ('', #5410, .T.);
#5430 = CARTESIAN_POINT ('', (17.35, -4.1, -1.89));
#5440 = CARTESIAN_POINT ('', (17.35, -2., -1.89));
#5450 = CARTESIAN_POINT ('', (15.25, -2., -1.89));
#5460 = CARTESIAN_POINT ('', (13.15, -2., -1.89));
#5470 = CARTESIAN_POINT ('', (13.15, -4.1, -1.89));
#5480 = CARTESIAN_POINT ('', (13.15, -6.2, -1.89));
#5490 = CARTESIAN_POINT ('', (15.25, -6.2, -1.89));
#5500 = CARTESIAN_POINT ('', (17.35, -6.2, -1.89));
#5510 = CARTESIAN_POINT ('', (17.35, -4.1, -1.89));
#5520 = CARTESIAN_POINT ('', (17.4973663077368, -4.1, -1.07441653847743));
#5530 = CARTESIAN_POINT ('', (17.4973663077368, -1.85263369226319, -1.07441653847743));
#5540 = CARTESIAN_POINT ('', (15.25, -1.85263369226319, -1.07441653847743));
#5550 = CARTESIAN_POINT ('', (13.0026336922632, -1.85263369226319, -1.07441653847743));
#5560 = CARTESIAN_POINT ('', (13.0026336922632, -4.1, -1.07441653847743));
#5570 = CARTESIAN_POINT ('', (13.0026336922632, -6.34736630773681, -1.07441653847743));
#5580 = CARTESIAN_POINT ('', (15.25, -6.34736630773681, -1.07441653847743));
#5590 = CARTESIAN_POINT ('', (17.4973663077368, -6.34736630773681, -1.07441653847743));
#5600 = CARTESIAN_POINT ('', (17.4973663077368, -4.1, -1.07441653847743));
#5610 = CARTESIAN_POINT ('', (17.9, -4.1, -0.349999999999999));
#5620 = CARTESIAN_POINT ('', (17.9, -1.45, -0.35));
#5630 = CARTESIAN_POINT ('', (15.25, -1.45, -0.35));
#5640 = CARTESIAN_POINT ('', (12.6, -1.45, -0.35));
#5650 = CARTESIAN_POINT ('', (12.6, -4.1, -0.349999999999999));
#5660 = CARTESIAN_POINT ('', (12.6, -6.75, -0.349999999999999));
#5670 = CARTESIAN_POINT ('', (15.25, -6.75, -0.349999999999999));
#5680 = CARTESIAN_POINT ('', (17.9, -6.75, -0.349999999999999));
#5690 = CARTESIAN_POINT ('', (17.9, -4.1, -0.349999999999999));
#5700 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 2, ((#5430, #5440, #5450, #5460, #5470, #5480, #5490, #5500, #5510), (#5520, #5530, #5540, #5550, #5560, #5570, #5580, #5590, #5600), (#5610, #5620, #5630, #5640, #5650, #5660, #5670, #5680, #5690)), .UNSPECIFIED., .F., .T., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (3, 2, 2, 2, 3), (0., 0.32852896004609), (0., 1.5707963267949, 3.14159265358979, 4.71238898038469, 6.28318530717959), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.986538899385164, 0.697588345659563, 0.986538899385164, 0.697588345659563, 0.986538899385164, 0.697588345659563, 0.986538899385164, 0.697588345659563, 0.986538899385164), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.)))
   REPRESENTATION_ITEM ('')
);
#5710 = ADVANCED_FACE ('', (#5420), #5700, .T.);
#5720 = CARTESIAN_POINT ('', (12.2229241293784, -4.33419206433025, -3.95));
#5730 = VERTEX_POINT ('', #5720);
#5740 = CARTESIAN_POINT ('', (12.0695846799829, -4.95218971659415, -3.24530873593239));
#5750 = VERTEX_POINT ('', #5740);
#5760 = CARTESIAN_POINT ('', (12.2229241293784, -4.33419206433025, -3.95));
#5770 = CARTESIAN_POINT ('', (12.1207903573139, -4.63555790180257, -3.60635812340518));
#5780 = CARTESIAN_POINT ('', (12.0695846799829, -4.95218971659415, -3.24530873593239));
#5790 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5760, #5770, #5780), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (69.569675221137, 79.9208536441502), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.995922922116439, 1.))
   REPRESENTATION_ITEM ('')
);
#5800 = EDGE_CURVE ('', #5730, #5750, #5790, .T.);
#5810 = ORIENTED_EDGE ('', *, *, #5800, .F.);
#5820 = CARTESIAN_POINT ('', (12.5113793646936, -5.4107216582361, -3.95));
#5830 = VERTEX_POINT ('', #5820);
#5840 = CARTESIAN_POINT ('', (12.2229241293784, -4.33419206433025, -3.95));
#5850 = CARTESIAN_POINT ('', (12.2666507958184, -4.89938601000048, -3.95));
#5860 = CARTESIAN_POINT ('', (12.5113793646936, -5.4107216582361, -3.95));
#5870 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5840, #5850, #5860), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (4.4239199067501, 25.5760800932498), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.983012059706819, 1.))
   REPRESENTATION_ITEM ('')
);
#5880 = EDGE_CURVE ('', #5730, #5830, #5870, .T.);
#5890 = ORIENTED_EDGE ('', *, *, #5880, .T.);
#5900 = CARTESIAN_POINT ('', (12.0695846799829, -4.95218971659415, -3.24530873593239));
#5910 = CARTESIAN_POINT ('', (12.2722460047654, -5.20079807318451, -3.60635812340518));
#5920 = CARTESIAN_POINT ('', (12.5113793646936, -5.4107216582361, -3.95));
#5930 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5900, #5910, #5920), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (100.07914635585, 110.430324778863), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.995922922116439, 1.))
   REPRESENTATION_ITEM ('')
);
#5940 = EDGE_CURVE ('', #5750, #5830, #5930, .T.);
#5950 = ORIENTED_EDGE ('', *, *, #5940, .F.);
#5960 = EDGE_LOOP ('', (#5810, #5890, #5950));
#5970 = FACE_OUTER_BOUND ('', #5960, .T.);
#5980 = CARTESIAN_POINT ('', (12.2229241293784, -4.33419206433025, -3.95));
#5990 = CARTESIAN_POINT ('', (11.9672016518333, -4.35397623145112, -3.24530873593239));
#6000 = CARTESIAN_POINT ('', (12.2666507958184, -4.89938601000048, -3.95));
#6010 = CARTESIAN_POINT ('', (12.0146222763883, -4.9669168482514, -3.24530873593239));
#6020 = CARTESIAN_POINT ('', (12.5113793646936, -5.4107216582361, -3.95));
#6030 = CARTESIAN_POINT ('', (12.2800251192604, -5.52144930568926, -3.24530873593239));
#6040 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#5980, #5990), (#6000, #6010), (#6020, #6030)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.0134410178791984, 0.0733515289160204), (0.00141504508524334, 0.998584954914766), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.970198995931953, 0.970198995931953), (0.907556816044793, 0.907556816044793), (0.878555360894942, 0.878555360894942)))
   REPRESENTATION_ITEM ('')
);
#6050 = ADVANCED_FACE ('', (#5970), #6040, .T.);
#6060 = CARTESIAN_POINT ('', (12.0695846799829, -3.24781028340584, -3.24530873593239));
#6070 = VERTEX_POINT ('', #6060);
#6080 = CARTESIAN_POINT ('', (12.2229241293784, -3.86580793566975, -3.95));
#6090 = VERTEX_POINT ('', #6080);
#6100 = CARTESIAN_POINT ('', (12.0695846799829, -3.24781028340584, -3.24530873593239));
#6110 = CARTESIAN_POINT ('', (12.120790357314, -3.56444209819744, -3.60635812340519));
#6120 = CARTESIAN_POINT ('', (12.2229241293784, -3.86580793566975, -3.95));
#6130 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6100, #6110, #6120), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (100.07914635585, 110.430324778863), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.995922922116439, 1.))
   REPRESENTATION_ITEM ('')
);
#6140 = EDGE_CURVE ('', #6070, #6090, #6130, .T.);
#6150 = ORIENTED_EDGE ('', *, *, #6140, .F.);
#6160 = CARTESIAN_POINT ('', (12.5113793646936, -2.78927834176389, -3.95));
#6170 = VERTEX_POINT ('', #6160);
#6180 = CARTESIAN_POINT ('', (12.5113793646936, -2.78927834176389, -3.95));
#6190 = CARTESIAN_POINT ('', (12.2722460047654, -2.99920192681549, -3.60635812340518));
#6200 = CARTESIAN_POINT ('', (12.0695846799829, -3.24781028340584, -3.24530873593239));
#6210 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6180, #6190, #6200), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (69.5696752211371, 79.9208536441503), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.995922922116439, 1.))
   REPRESENTATION_ITEM ('')
);
#6220 = EDGE_CURVE ('', #6170, #6070, #6210, .T.);
#6230 = ORIENTED_EDGE ('', *, *, #6220, .F.);
#6240 = CARTESIAN_POINT ('', (12.5113793646936, -2.7892783417639, -3.95));
#6250 = CARTESIAN_POINT ('', (12.2666507958184, -3.30061398999952, -3.95));
#6260 = CARTESIAN_POINT ('', (12.2229241293784, -3.86580793566975, -3.95));
#6270 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6240, #6250, #6260), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (334.42391990675, 355.57608009325), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.983012059706819, 1.))
   REPRESENTATION_ITEM ('')
);
#6280 = EDGE_CURVE ('', #6170, #6090, #6270, .T.);
#6290 = ORIENTED_EDGE ('', *, *, #6280, .T.);
#6300 = EDGE_LOOP ('', (#6150, #6230, #6290));
#6310 = FACE_OUTER_BOUND ('', #6300, .T.);
#6320 = CARTESIAN_POINT ('', (12.5113793646936, -2.78927834176389, -3.95));
#6330 = CARTESIAN_POINT ('', (12.2800251192604, -2.67855069431073, -3.24530873593239));
#6340 = CARTESIAN_POINT ('', (12.2666507958184, -3.30061398999952, -3.95));
#6350 = CARTESIAN_POINT ('', (12.0146222763883, -3.23308315174859, -3.24530873593239));
#6360 = CARTESIAN_POINT ('', (12.2229241293784, -3.86580793566975, -3.95));
#6370 = CARTESIAN_POINT ('', (11.9672016518333, -3.84602376854888, -3.24530873593239));
#6380 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6320, #6330), (#6340, #6350), (#6360, #6370)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.92664847108398, 0.986558982120802), (0.00141504508523886, 0.998584954914762), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.878555360894942, 0.878555360894942), (0.907556816044793, 0.907556816044793), (0.970198995931953, 0.970198995931953)))
   REPRESENTATION_ITEM ('')
);
#6390 = ADVANCED_FACE ('', (#6310), #6380, .T.);
#6400 = CARTESIAN_POINT ('', (18.4304153200171, -3.24781028340584, -3.24530873593239));
#6410 = VERTEX_POINT ('', #6400);
#6420 = CARTESIAN_POINT ('', (17.9886206353064, -2.7892783417639, -3.95));
#6430 = VERTEX_POINT ('', #6420);
#6440 = CARTESIAN_POINT ('', (18.4304153200171, -3.24781028340584, -3.24530873593239));
#6450 = CARTESIAN_POINT ('', (18.2277539952346, -2.99920192681549, -3.60635812340518));
#6460 = CARTESIAN_POINT ('', (17.9886206353064, -2.78927834176389, -3.95));
#6470 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6440, #6450, #6460), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (100.07914635585, 110.430324778863), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.995922922116439, 1.))
   REPRESENTATION_ITEM ('')
);
#6480 = EDGE_CURVE ('', #6410, #6430, #6470, .T.);
#6490 = ORIENTED_EDGE ('', *, *, #6480, .F.);
#6500 = CARTESIAN_POINT ('', (18.2770758706216, -3.86580793566975, -3.95));
#6510 = VERTEX_POINT ('', #6500);
#6520 = CARTESIAN_POINT ('', (18.2770758706216, -3.86580793566975, -3.95));
#6530 = CARTESIAN_POINT ('', (18.3792096426861, -3.56444209819743, -3.60635812340518));
#6540 = CARTESIAN_POINT ('', (18.4304153200171, -3.24781028340584, -3.24530873593239));
#6550 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6520, #6530, #6540), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (249.569675221137, 259.92085364415), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.995922922116439, 1.))
   REPRESENTATION_ITEM ('')
);
#6560 = EDGE_CURVE ('', #6510, #6410, #6550, .T.);
#6570 = ORIENTED_EDGE ('', *, *, #6560, .F.);
#6580 = CARTESIAN_POINT ('', (18.2770758706216, -3.86580793566975, -3.95));
#6590 = CARTESIAN_POINT ('', (18.2333492041816, -3.30061398999952, -3.95));
#6600 = CARTESIAN_POINT ('', (17.9886206353064, -2.7892783417639, -3.95));
#6610 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6580, #6590, #6600), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (184.42391990675, 205.57608009325), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.983012059706819, 1.))
   REPRESENTATION_ITEM ('')
);
#6620 = EDGE_CURVE ('', #6510, #6430, #6610, .T.);
#6630 = ORIENTED_EDGE ('', *, *, #6620, .T.);
#6640 = EDGE_LOOP ('', (#6490, #6570, #6630));
#6650 = FACE_OUTER_BOUND ('', #6640, .T.);
#6660 = CARTESIAN_POINT ('', (18.2770758706216, -3.86580793566975, -3.95000000000001));
#6670 = CARTESIAN_POINT ('', (18.5327983481668, -3.84602376854888, -3.24530873593239));
#6680 = CARTESIAN_POINT ('', (18.2333492041816, -3.30061398999952, -3.95000000000001));
#6690 = CARTESIAN_POINT ('', (18.4853777236117, -3.23308315174859, -3.24530873593239));
#6700 = CARTESIAN_POINT ('', (17.9886206353064, -2.78927834176389, -3.95000000000001));
#6710 = CARTESIAN_POINT ('', (18.2199748807396, -2.67855069431073, -3.24530873593239));
#6720 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6660, #6670), (#6680, #6690), (#6700, #6710)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.513441017879198, 0.573351528916021), (0.00141504508523335, 0.998584954914759), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.970198995931953, 0.970198995931954), (0.907556816044793, 0.907556816044793), (0.878555360894942, 0.878555360894942)))
   REPRESENTATION_ITEM ('')
);
#6730 = ADVANCED_FACE ('', (#6650), #6720, .T.);
#6740 = CARTESIAN_POINT ('', (17.9886206353064, -5.4107216582361, -3.95));
#6750 = VERTEX_POINT ('', #6740);
#6760 = CARTESIAN_POINT ('', (18.4304153200171, -4.95218971659416, -3.24530873593239));
#6770 = VERTEX_POINT ('', #6760);
#6780 = CARTESIAN_POINT ('', (17.9886206353064, -5.41072165823611, -3.95));
#6790 = CARTESIAN_POINT ('', (18.2277539952346, -5.20079807318451, -3.60635812340518));
#6800 = CARTESIAN_POINT ('', (18.4304153200171, -4.95218971659416, -3.24530873593239));
#6810 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6780, #6790, #6800), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (249.569675221137, 259.92085364415), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.995922922116439, 1.))
   REPRESENTATION_ITEM ('')
);
#6820 = EDGE_CURVE ('', #6750, #6770, #6810, .T.);
#6830 = ORIENTED_EDGE ('', *, *, #6820, .F.);
#6840 = CARTESIAN_POINT ('', (18.2770758706216, -4.33419206433025, -3.95));
#6850 = VERTEX_POINT ('', #6840);
#6860 = CARTESIAN_POINT ('', (17.9886206353064, -5.4107216582361, -3.95));
#6870 = CARTESIAN_POINT ('', (18.2333492041816, -4.89938601000048, -3.95));
#6880 = CARTESIAN_POINT ('', (18.2770758706216, -4.33419206433025, -3.95));
#6890 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6860, #6870, #6880), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (154.42391990675, 175.57608009325), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.983012059706819, 1.))
   REPRESENTATION_ITEM ('')
);
#6900 = EDGE_CURVE ('', #6750, #6850, #6890, .T.);
#6910 = ORIENTED_EDGE ('', *, *, #6900, .T.);
#6920 = CARTESIAN_POINT ('', (18.4304153200171, -4.95218971659416, -3.24530873593239));
#6930 = CARTESIAN_POINT ('', (18.3792096426861, -4.63555790180257, -3.60635812340518));
#6940 = CARTESIAN_POINT ('', (18.2770758706216, -4.33419206433025, -3.95));
#6950 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6920, #6930, #6940), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (280.07914635585, 290.430324778863), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.995922922116439, 1.))
   REPRESENTATION_ITEM ('')
);
#6960 = EDGE_CURVE ('', #6770, #6850, #6950, .T.);
#6970 = ORIENTED_EDGE ('', *, *, #6960, .F.);
#6980 = EDGE_LOOP ('', (#6830, #6910, #6970));
#6990 = FACE_OUTER_BOUND ('', #6980, .T.);
#7000 = CARTESIAN_POINT ('', (17.9886206353064, -5.41072165823611, -3.95));
#7010 = CARTESIAN_POINT ('', (18.2199748807396, -5.52144930568927, -3.24530873593239));
#7020 = CARTESIAN_POINT ('', (18.2333492041816, -4.89938601000048, -3.95));
#7030 = CARTESIAN_POINT ('', (18.4853777236117, -4.96691684825141, -3.24530873593239));
#7040 = CARTESIAN_POINT ('', (18.2770758706216, -4.33419206433025, -3.95));
#7050 = CARTESIAN_POINT ('', (18.5327983481668, -4.35397623145112, -3.24530873593239));
#7060 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#7000, #7010), (#7020, #7030), (#7040, #7050)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.42664847108398, 0.486558982120802), (0.00141504508524038, 0.998584954914764), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.878555360894942, 0.878555360894942), (0.907556816044793, 0.907556816044793), (0.970198995931953, 0.970198995931953)))
   REPRESENTATION_ITEM ('')
);
#7070 = ADVANCED_FACE ('', (#6990), #7060, .T.);
#7080 = CARTESIAN_POINT ('', (9.475, -4.33419206433025, -3.95));
#7090 = VERTEX_POINT ('', #7080);
#7100 = CARTESIAN_POINT ('', (9.475, -4.33419206433025, -3.95));
#7110 = CARTESIAN_POINT ('', (12.2229241293784, -4.33419206433025, -3.95));
#7120 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7100, #7110), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7130 = EDGE_CURVE ('', #7090, #5730, #7120, .T.);
#7140 = ORIENTED_EDGE ('', *, *, #7130, .F.);
#7150 = CARTESIAN_POINT ('', (9.475, -3.86580793566975, -3.95));
#7160 = VERTEX_POINT ('', #7150);
#7170 = CARTESIAN_POINT ('', (9.475, -3.86580793566975, -3.95));
#7180 = CARTESIAN_POINT ('', (9.475, -4.33419206433025, -3.95));
#7190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7170, #7180), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7200 = EDGE_CURVE ('', #7160, #7090, #7190, .T.);
#7210 = ORIENTED_EDGE ('', *, *, #7200, .F.);
#7220 = CARTESIAN_POINT ('', (12.2229241293784, -3.86580793566975, -3.95));
#7230 = CARTESIAN_POINT ('', (9.475, -3.86580793566975, -3.95));
#7240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7220, #7230), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7250 = EDGE_CURVE ('', #6090, #7160, #7240, .T.);
#7260 = ORIENTED_EDGE ('', *, *, #7250, .F.);
#7270 = ORIENTED_EDGE ('', *, *, #6280, .F.);
#7280 = CARTESIAN_POINT ('', (9.47500000000001, -1.0362238981962, -3.95));
#7290 = VERTEX_POINT ('', #7280);
#7300 = CARTESIAN_POINT ('', (9.47500000000001, -1.0362238981962, -3.95));
#7310 = CARTESIAN_POINT ('', (12.5113793646936, -2.78927834176389, -3.95));
#7320 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7300, #7310), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7330 = EDGE_CURVE ('', #7290, #6170, #7320, .T.);
#7340 = ORIENTED_EDGE ('', *, *, #7330, .F.);
#7350 = CARTESIAN_POINT ('', (9.475, -0.772615799259313, -3.95));
#7360 = VERTEX_POINT ('', #7350);
#7370 = CARTESIAN_POINT ('', (9.475, -0.772615799259313, -3.95));
#7380 = CARTESIAN_POINT ('', (9.47500000000001, -1.0362238981962, -3.95));
#7390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7370, #7380), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7400 = EDGE_CURVE ('', #7360, #7290, #7390, .T.);
#7410 = ORIENTED_EDGE ('', *, *, #7400, .F.);
#7420 = CARTESIAN_POINT ('', (9.95518563667569, -0.772615799259312, -3.95));
#7430 = VERTEX_POINT ('', #7420);
#7440 = CARTESIAN_POINT ('', (9.95518563667569, -0.772615799259312, -3.95));
#7450 = CARTESIAN_POINT ('', (9.475, -0.772615799259313, -3.95));
#7460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7440, #7450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7470 = EDGE_CURVE ('', #7430, #7360, #7460, .T.);
#7480 = ORIENTED_EDGE ('', *, *, #7470, .F.);
#7490 = CARTESIAN_POINT ('', (12.7455714290239, -2.38364578761446, -3.95));
#7500 = VERTEX_POINT ('', #7490);
#7510 = CARTESIAN_POINT ('', (12.7455714290239, -2.38364578761446, -3.95));
#7520 = CARTESIAN_POINT ('', (9.95518563667569, -0.772615799259312, -3.95));
#7530 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7510, #7520), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7540 = EDGE_CURVE ('', #7500, #7430, #7530, .T.);
#7550 = ORIENTED_EDGE ('', *, *, #7540, .F.);
#7560 = CARTESIAN_POINT ('', (13.1138786901616, -1.94245046426519, -3.95));
#7570 = VERTEX_POINT ('', #7560);
#7580 = CARTESIAN_POINT ('', (13.1138786901616, -1.94245046426519, -3.95));
#7590 = CARTESIAN_POINT ('', (12.9087519725293, -2.1455399162079, -3.95));
#7600 = CARTESIAN_POINT ('', (12.7455714290239, -2.38364578761446, -3.95));
#7610 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7580, #7590, #7600), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (359.788651086323, 370.862021134754), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.963201387542506, 0.977022493335816, 1.))
   REPRESENTATION_ITEM ('')
);
#7620 = EDGE_CURVE ('', #7570, #7500, #7610, .T.);
#7630 = ORIENTED_EDGE ('', *, *, #7620, .F.);
#7640 = CARTESIAN_POINT ('', (17.7544285709761, -2.38364578761446, -3.95));
#7650 = VERTEX_POINT ('', #7640);
#7660 = CARTESIAN_POINT ('', (17.7544285709761, -2.38364578761446, -3.95));
#7670 = CARTESIAN_POINT ('', (16.8499554678919, -1.063878419843, -3.95));
#7680 = CARTESIAN_POINT ('', (15.25, -1.063878419843, -3.95));
#7690 = CARTESIAN_POINT ('', (14.0012640169323, -1.06387841984299, -3.95));
#7700 = CARTESIAN_POINT ('', (13.1138786901616, -1.94245046426519, -3.95));
#7710 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7660, #7670, #7680, #7690, #7700), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (259.709860948254, 315.285941041504, 359.788651086323), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.884678309753331, 1., 0.907655816417514, 0.963201387542506))
   REPRESENTATION_ITEM ('')
);
#7720 = EDGE_CURVE ('', #7650, #7570, #7710, .T.);
#7730 = ORIENTED_EDGE ('', *, *, #7720, .F.);
#7740 = CARTESIAN_POINT ('', (20.5448143633243, -0.772615799259317, -3.95));
#7750 = VERTEX_POINT ('', #7740);
#7760 = CARTESIAN_POINT ('', (20.5448143633243, -0.772615799259317, -3.95));
#7770 = CARTESIAN_POINT ('', (17.7544285709761, -2.38364578761446, -3.95));
#7780 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7760, #7770), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7790 = EDGE_CURVE ('', #7750, #7650, #7780, .T.);
#7800 = ORIENTED_EDGE ('', *, *, #7790, .F.);
#7810 = CARTESIAN_POINT ('', (21.025, -0.772615799259317, -3.95));
#7820 = VERTEX_POINT ('', #7810);
#7830 = CARTESIAN_POINT ('', (21.025, -0.772615799259317, -3.95));
#7840 = CARTESIAN_POINT ('', (20.5448143633243, -0.772615799259317, -3.95));
#7850 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7830, #7840), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7860 = EDGE_CURVE ('', #7820, #7750, #7850, .T.);
#7870 = ORIENTED_EDGE ('', *, *, #7860, .F.);
#7880 = CARTESIAN_POINT ('', (21.025, -1.03622389819621, -3.95));
#7890 = VERTEX_POINT ('', #7880);
#7900 = CARTESIAN_POINT ('', (21.025, -1.03622389819621, -3.95));
#7910 = CARTESIAN_POINT ('', (21.025, -0.772615799259317, -3.95));
#7920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7900, #7910), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7930 = EDGE_CURVE ('', #7890, #7820, #7920, .T.);
#7940 = ORIENTED_EDGE ('', *, *, #7930, .F.);
#7950 = CARTESIAN_POINT ('', (17.9886206353064, -2.7892783417639, -3.95));
#7960 = CARTESIAN_POINT ('', (21.025, -1.03622389819621, -3.95));
#7970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7950, #7960), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7980 = EDGE_CURVE ('', #6430, #7890, #7970, .T.);
#7990 = ORIENTED_EDGE ('', *, *, #7980, .F.);
#8000 = ORIENTED_EDGE ('', *, *, #6620, .F.);
#8010 = CARTESIAN_POINT ('', (21.025, -3.86580793566975, -3.95));
#8020 = VERTEX_POINT ('', #8010);
#8030 = CARTESIAN_POINT ('', (21.025, -3.86580793566975, -3.95));
#8040 = CARTESIAN_POINT ('', (18.2770758706216, -3.86580793566975, -3.95));
#8050 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8030, #8040), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8060 = EDGE_CURVE ('', #8020, #6510, #8050, .T.);
#8070 = ORIENTED_EDGE ('', *, *, #8060, .F.);
#8080 = CARTESIAN_POINT ('', (21.025, -4.33419206433025, -3.95));
#8090 = VERTEX_POINT ('', #8080);
#8100 = CARTESIAN_POINT ('', (21.025, -4.33419206433025, -3.95));
#8110 = CARTESIAN_POINT ('', (21.025, -3.86580793566975, -3.95));
#8120 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8100, #8110), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8130 = EDGE_CURVE ('', #8090, #8020, #8120, .T.);
#8140 = ORIENTED_EDGE ('', *, *, #8130, .F.);
#8150 = CARTESIAN_POINT ('', (18.2770758706216, -4.33419206433025, -3.95));
#8160 = CARTESIAN_POINT ('', (21.025, -4.33419206433025, -3.95));
#8170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8150, #8160), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8180 = EDGE_CURVE ('', #6850, #8090, #8170, .T.);
#8190 = ORIENTED_EDGE ('', *, *, #8180, .F.);
#8200 = ORIENTED_EDGE ('', *, *, #6900, .F.);
#8210 = CARTESIAN_POINT ('', (21.025, -7.1637761018038, -3.95));
#8220 = VERTEX_POINT ('', #8210);
#8230 = CARTESIAN_POINT ('', (21.025, -7.1637761018038, -3.95));
#8240 = CARTESIAN_POINT ('', (17.9886206353064, -5.4107216582361, -3.95));
#8250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8230, #8240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8260 = EDGE_CURVE ('', #8220, #6750, #8250, .T.);
#8270 = ORIENTED_EDGE ('', *, *, #8260, .F.);
#8280 = CARTESIAN_POINT ('', (21.025, -7.42738420074069, -3.95));
#8290 = VERTEX_POINT ('', #8280);
#8300 = CARTESIAN_POINT ('', (21.025, -7.42738420074069, -3.95));
#8310 = CARTESIAN_POINT ('', (21.025, -7.1637761018038, -3.95));
#8320 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8300, #8310), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8330 = EDGE_CURVE ('', #8290, #8220, #8320, .T.);
#8340 = ORIENTED_EDGE ('', *, *, #8330, .F.);
#8350 = CARTESIAN_POINT ('', (20.5448143633243, -7.42738420074069, -3.95));
#8360 = VERTEX_POINT ('', #8350);
#8370 = CARTESIAN_POINT ('', (20.5448143633243, -7.42738420074069, -3.95));
#8380 = CARTESIAN_POINT ('', (21.025, -7.42738420074069, -3.95));
#8390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8370, #8380), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8400 = EDGE_CURVE ('', #8360, #8290, #8390, .T.);
#8410 = ORIENTED_EDGE ('', *, *, #8400, .F.);
#8420 = CARTESIAN_POINT ('', (17.7544285709761, -5.81635421238554, -3.95));
#8430 = VERTEX_POINT ('', #8420);
#8440 = CARTESIAN_POINT ('', (17.7544285709761, -5.81635421238554, -3.95));
#8450 = CARTESIAN_POINT ('', (20.5448143633243, -7.42738420074069, -3.95));
#8460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8440, #8450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8470 = EDGE_CURVE ('', #8430, #8360, #8460, .T.);
#8480 = ORIENTED_EDGE ('', *, *, #8470, .F.);
#8490 = CARTESIAN_POINT ('', (15.25, -7.136121580157, -3.95));
#8500 = VERTEX_POINT ('', #8490);
#8510 = CARTESIAN_POINT ('', (15.25, -7.136121580157, -3.95));
#8520 = CARTESIAN_POINT ('', (16.8499554678919, -7.136121580157, -3.95));
#8530 = CARTESIAN_POINT ('', (17.7544285709761, -5.81635421238554, -3.95));
#8540 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#8510, #8520, #8530), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (360., 415.57608009325), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.88467830975333, 1.))
   REPRESENTATION_ITEM ('')
);
#8550 = EDGE_CURVE ('', #8500, #8430, #8540, .T.);
#8560 = ORIENTED_EDGE ('', *, *, #8550, .F.);
#8570 = CARTESIAN_POINT ('', (12.7455714290239, -5.81635421238553, -3.95));
#8580 = VERTEX_POINT ('', #8570);
#8590 = CARTESIAN_POINT ('', (12.7455714290239, -5.81635421238553, -3.95));
#8600 = CARTESIAN_POINT ('', (13.6500445321081, -7.136121580157, -3.95));
#8610 = CARTESIAN_POINT ('', (15.25, -7.136121580157, -3.95));
#8620 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#8590, #8600, #8610), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (304.42391990675, 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.88467830975333, 1.))
   REPRESENTATION_ITEM ('')
);
#8630 = EDGE_CURVE ('', #8580, #8500, #8620, .T.);
#8640 = ORIENTED_EDGE ('', *, *, #8630, .F.);
#8650 = CARTESIAN_POINT ('', (9.95518563667566, -7.42738420074068, -3.95));
#8660 = VERTEX_POINT ('', #8650);
#8670 = CARTESIAN_POINT ('', (9.95518563667566, -7.42738420074068, -3.95));
#8680 = CARTESIAN_POINT ('', (12.7455714290239, -5.81635421238553, -3.95));
#8690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8670, #8680), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8700 = EDGE_CURVE ('', #8660, #8580, #8690, .T.);
#8710 = ORIENTED_EDGE ('', *, *, #8700, .F.);
#8720 = CARTESIAN_POINT ('', (9.475, -7.42738420074068, -3.95));
#8730 = VERTEX_POINT ('', #8720);
#8740 = CARTESIAN_POINT ('', (9.475, -7.42738420074068, -3.95));
#8750 = CARTESIAN_POINT ('', (9.95518563667566, -7.42738420074068, -3.95));
#8760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8740, #8750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8770 = EDGE_CURVE ('', #8730, #8660, #8760, .T.);
#8780 = ORIENTED_EDGE ('', *, *, #8770, .F.);
#8790 = CARTESIAN_POINT ('', (9.475, -7.16377610180379, -3.95));
#8800 = VERTEX_POINT ('', #8790);
#8810 = CARTESIAN_POINT ('', (9.475, -7.16377610180379, -3.95));
#8820 = CARTESIAN_POINT ('', (9.475, -7.42738420074068, -3.95));
#8830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8810, #8820), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8840 = EDGE_CURVE ('', #8800, #8730, #8830, .T.);
#8850 = ORIENTED_EDGE ('', *, *, #8840, .F.);
#8860 = CARTESIAN_POINT ('', (12.5113793646936, -5.4107216582361, -3.95));
#8870 = CARTESIAN_POINT ('', (9.475, -7.16377610180379, -3.95));
#8880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8860, #8870), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8890 = EDGE_CURVE ('', #5830, #8800, #8880, .T.);
#8900 = ORIENTED_EDGE ('', *, *, #8890, .F.);
#8910 = ORIENTED_EDGE ('', *, *, #5880, .F.);
#8920 = EDGE_LOOP ('', (#7140, #7210, #7260, #7270, #7340, #7410, #7480, #7550, #7630, #7730, #7800, #7870, #7940, #7990, #8000, #8070, #8140, #8190, #8200, #8270, #8340, #8410, #8480, #8560, #8640, #8710, #8780, #8850, #8900, #8910));
#8930 = FACE_OUTER_BOUND ('', #8920, .T.);
#8940 = ORIENTED_EDGE ('', *, *, #4690, .F.);
#8950 = ORIENTED_EDGE ('', *, *, #4610, .F.);
#8960 = EDGE_LOOP ('', (#8940, #8950));
#8970 = FACE_BOUND ('', #8960, .T.);
#8980 = CARTESIAN_POINT ('', (9.475, -0.772615799259313, -3.95));
#8990 = CARTESIAN_POINT ('', (9.475, -7.42738420074069, -3.95));
#9000 = CARTESIAN_POINT ('', (21.025, -0.772615799259313, -3.95));
#9010 = CARTESIAN_POINT ('', (21.025, -7.42738420074069, -3.95));
#9020 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8980, #8990), (#9000, #9010)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-9.32026895417718, 2.22973104582283), (-3.32738420074069, 3.32738420074068), .UNSPECIFIED.);
#9030 = ADVANCED_FACE ('', (#8930, #8970), #9020, .T.);
#9040 = CARTESIAN_POINT ('', (25.2535838790492, -2.22279509569746, -0.496675221890049));
#9050 = VERTEX_POINT ('', #9040);
#9060 = CARTESIAN_POINT ('', (29.2608094071526, -4.53636783305152, -0.340450868149857));
#9070 = VERTEX_POINT ('', #9060);
#9080 = CARTESIAN_POINT ('', (25.2535838790492, -2.22279509569746, -0.496675221890049));
#9090 = CARTESIAN_POINT ('', (29.2608094071526, -4.53636783305152, -0.340450868149857));
#9100 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9080, #9090), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9110 = EDGE_CURVE ('', #9050, #9070, #9100, .T.);
#9120 = ORIENTED_EDGE ('', *, *, #9110, .F.);
#9130 = CARTESIAN_POINT ('', (25.2509188747946, -8.05, -0.191295981776806));
#9140 = VERTEX_POINT ('', #9130);
#9150 = CARTESIAN_POINT ('', (25.2509188747946, -8.05, -0.191295981776806));
#9160 = CARTESIAN_POINT ('', (25.2535838790492, -2.22279509569746, -0.496675221890049));
#9170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9150, #9160), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9180 = EDGE_CURVE ('', #9140, #9050, #9170, .T.);
#9190 = ORIENTED_EDGE ('', *, *, #9180, .F.);
#9200 = CARTESIAN_POINT ('', (29.9829696823635, -8.05, -0.149999999999999));
#9210 = VERTEX_POINT ('', #9200);
#9220 = CARTESIAN_POINT ('', (29.9829696823635, -8.05, -0.149999999999999));
#9230 = CARTESIAN_POINT ('', (25.2509188747946, -8.05, -0.191295981776806));
#9240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9220, #9230), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9250 = EDGE_CURVE ('', #9210, #9140, #9240, .T.);
#9260 = ORIENTED_EDGE ('', *, *, #9250, .F.);
#9270 = CARTESIAN_POINT ('', (29.9829696823635, -8.05, -0.149999999999999));
#9280 = CARTESIAN_POINT ('', (29.2608094071526, -4.53636783305152, -0.340450868149857));
#9290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9270, #9280), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9300 = EDGE_CURVE ('', #9210, #9070, #9290, .T.);
#9310 = ORIENTED_EDGE ('', *, *, #9300, .T.);
#9320 = EDGE_LOOP ('', (#9120, #9190, #9260, #9310));
#9330 = FACE_OUTER_BOUND ('', #9320, .T.);
#9340 = CARTESIAN_POINT ('', (29.985634686618, -2.22279509569746, -0.455379240113242));
#9350 = CARTESIAN_POINT ('', (29.9829696823635, -8.05, -0.149999999999999));
#9360 = CARTESIAN_POINT ('', (25.2535838790492, -2.22279509569746, -0.49667522189005));
#9370 = CARTESIAN_POINT ('', (25.2509188747946, -8.05, -0.191295981776806));
#9380 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9340, #9350), (#9360, #9370)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00100868845856524, 4.73323968488342), (-5.83520184563203, 9.7534827436796E-16), .UNSPECIFIED.);
#9390 = ADVANCED_FACE ('', (#9330), #9380, .T.);
#9400 = CARTESIAN_POINT ('', (25.2535838790492, -2.22279509569746, -0.800986420932963));
#9410 = VERTEX_POINT ('', #9400);
#9420 = CARTESIAN_POINT ('', (24.416337694964, -1.73941078593793, -1.57735477424258));
#9430 = VERTEX_POINT ('', #9420);
#9440 = CARTESIAN_POINT ('', (25.2535838790491, -2.22279509569746, -0.800986420932962));
#9450 = CARTESIAN_POINT ('', (24.9191306328533, -2.02969842397497, -0.787947538574879));
#9460 = CARTESIAN_POINT ('', (24.6737540900047, -1.88803021090846, -1.01548226627316));
#9470 = CARTESIAN_POINT ('', (24.428377547156, -1.74636199784196, -1.24301699397144));
#9480 = CARTESIAN_POINT ('', (24.416337694964, -1.73941078593793, -1.57735477424258));
#9490 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#9440, #9450, #9460, #9470, #9480), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (267.766394879393, 312.852474387408, 357.938553895422), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.923591805661584, 1., 0.923591805661584, 1.))
   REPRESENTATION_ITEM ('')
);
#9500 = EDGE_CURVE ('', #9410, #9430, #9490, .T.);
#9510 = ORIENTED_EDGE ('', *, *, #9500, .F.);
#9520 = CARTESIAN_POINT ('', (25.2509188747946, -8.05, -1.1063656610462));
#9530 = VERTEX_POINT ('', #9520);
#9540 = CARTESIAN_POINT ('', (25.2509188747946, -8.05, -1.1063656610462));
#9550 = CARTESIAN_POINT ('', (25.2535838790492, -2.22279509569746, -0.800986420932963));
#9560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9540, #9550), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9570 = EDGE_CURVE ('', #9530, #9410, #9560, .T.);
#9580 = ORIENTED_EDGE ('', *, *, #9570, .F.);
#9590 = CARTESIAN_POINT ('', (24.7468601935359, -8.05, -1.58889687422704));
#9600 = VERTEX_POINT ('', #9590);
#9610 = CARTESIAN_POINT ('', (24.7468601935359, -8.05, -1.58889687422704));
#9620 = CARTESIAN_POINT ('', (24.7638589857881, -8.05, -1.10211515378866));
#9630 = CARTESIAN_POINT ('', (25.2509188747946, -8.05, -1.1063656610462));
#9640 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#9610, #9620, #9630), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (271.5, 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.716301943424654, 1.))
   REPRESENTATION_ITEM ('')
);
#9650 = EDGE_CURVE ('', #9600, #9530, #9640, .T.);
#9660 = ORIENTED_EDGE ('', *, *, #9650, .F.);
#9670 = CARTESIAN_POINT ('', (24.7468601935359, -8.05, -1.58889687422704));
#9680 = CARTESIAN_POINT ('', (24.416337694964, -1.73941078593793, -1.57735477424258));
#9690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9670, #9680), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9700 = EDGE_CURVE ('', #9600, #9430, #9690, .T.);
#9710 = ORIENTED_EDGE ('', *, *, #9700, .T.);
#9720 = EDGE_LOOP ('', (#9510, #9580, #9660, #9710));
#9730 = FACE_OUTER_BOUND ('', #9720, .T.);
#9740 = CARTESIAN_POINT ('', (25.2509188747946, -8.05, -1.1063656610462));
#9750 = CARTESIAN_POINT ('', (25.25380494923, -1.73941078593793, -0.775654287324955));
#9760 = CARTESIAN_POINT ('', (24.7638589857881, -8.05, -1.10211515378866));
#9770 = CARTESIAN_POINT ('', (24.444580303221, -1.73941078593793, -0.76859229082621));
#9780 = CARTESIAN_POINT ('', (24.7468601935359, -8.05, -1.58889687422704));
#9790 = CARTESIAN_POINT ('', (24.416337694964, -1.73941078593793, -1.57735477424258));
#9800 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#9740, #9750), (#9760, #9770), (#9780, #9790)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0., 0.245396693340996), (0.601846676643317, 0.999936917104416), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.712499890404712, 0.712499890404712), (0.989412390648285, 0.989412390648285)))
   REPRESENTATION_ITEM ('')
);
#9810 = ADVANCED_FACE ('', (#9730), #9800, .T.);
#9820 = CARTESIAN_POINT ('', (30.2509188747946, -8.05, -1.15));
#9830 = VERTEX_POINT ('', #9820);
#9840 = CARTESIAN_POINT ('', (29.4524144285562, -4.64699104373695, -0.964680623932252));
#9850 = VERTEX_POINT ('', #9840);
#9860 = CARTESIAN_POINT ('', (30.2509188747946, -8.05, -1.15));
#9870 = CARTESIAN_POINT ('', (29.4524144285562, -4.64699104373695, -0.964680623932252));
#9880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9860, #9870), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9890 = EDGE_CURVE ('', #9830, #9850, #9880, .T.);
#9900 = ORIENTED_EDGE ('', *, *, #9890, .F.);
#9910 = CARTESIAN_POINT ('', (25.2509188747946, -8.05, -1.1063656610462));
#9920 = CARTESIAN_POINT ('', (30.2509188747946, -8.05, -1.15));
#9930 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9910, #9920), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9940 = EDGE_CURVE ('', #9530, #9830, #9930, .T.);
#9950 = ORIENTED_EDGE ('', *, *, #9940, .F.);
#9960 = ORIENTED_EDGE ('', *, *, #9570, .T.);
#9970 = CARTESIAN_POINT ('', (29.4524144285562, -4.64699104373695, -0.964680623932252));
#9980 = CARTESIAN_POINT ('', (25.2535838790492, -2.22279509569746, -0.800986420932963));
#9990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9970, #9980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10000 = EDGE_CURVE ('', #9850, #9410, #9990, .T.);
#10010 = ORIENTED_EDGE ('', *, *, #10000, .F.);
#10020 = EDGE_LOOP ('', (#9900, #9950, #9960, #10010));
#10030 = FACE_OUTER_BOUND ('', #10020, .T.);
#10040 = CARTESIAN_POINT ('', (25.2535838790492, -2.22279509569746, -0.800986420932962));
#10050 = CARTESIAN_POINT ('', (25.2509188747946, -8.05, -1.1063656610462));
#10060 = CARTESIAN_POINT ('', (30.2535838790492, -2.22279509569746, -0.844620759886757));
#10070 = CARTESIAN_POINT ('', (30.2509188747946, -8.05, -1.15));
#10080 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10040, #10050), (#10060, #10070)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00367359123787665, 5.00386398316656), (-5.83520184563203, -7.38811782748355E-17), .UNSPECIFIED.);
#10090 = ADVANCED_FACE ('', (#10030), #10080, .T.);
#10100 = ORIENTED_EDGE ('', *, *, #9890, .T.);
#10110 = CARTESIAN_POINT ('', (29.2608094071526, -4.53636783305152, -0.340450868149857));
#10120 = CARTESIAN_POINT ('', (29.4524144285562, -4.64699104373695, -0.964680623932252));
#10130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10110, #10120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10140 = EDGE_CURVE ('', #9070, #9850, #10130, .T.);
#10150 = ORIENTED_EDGE ('', *, *, #10140, .F.);
#10160 = ORIENTED_EDGE ('', *, *, #9300, .F.);
#10170 = CARTESIAN_POINT ('', (30.2509188747946, -8.05, -1.15));
#10180 = CARTESIAN_POINT ('', (29.9829696823635, -8.05, -0.149999999999999));
#10190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10170, #10180), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10200 = EDGE_CURVE ('', #9830, #9210, #10190, .T.);
#10210 = ORIENTED_EDGE ('', *, *, #10200, .F.);
#10220 = EDGE_LOOP ('', (#10100, #10150, #10160, #10210));
#10230 = FACE_OUTER_BOUND ('', #10220, .T.);
#10240 = CARTESIAN_POINT ('', (29.5295214481834, -4.53636783305152, -1.34329785788237));
#10250 = CARTESIAN_POINT ('', (30.2509188747947, -8.05, -1.15));
#10260 = CARTESIAN_POINT ('', (29.2608094071526, -4.53636783305152, -0.340450868149856));
#10270 = CARTESIAN_POINT ('', (29.9822068337638, -8.05, -0.147153010267481));
#10280 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10240, #10250), (#10260, #10270)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00122474487139127, 1.03944834593742), (-3.59212879969501, -1.46410661372443E-15), .UNSPECIFIED.);
#10290 = ADVANCED_FACE ('', (#10230), #10280, .T.);
#10300 = CARTESIAN_POINT ('', (15.25, -1.38828555675204, 1.94637278573814E-15));
#10310 = CARTESIAN_POINT ('', (15.25, -1.45, -0.349999999999998));
#10320 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10300, #10310), .UNSPECIFIED., .F., .U., (2, 2), (6.50199420433317E-5, 0.0228219996572545), .UNSPECIFIED.);
#10330 = EDGE_CURVE ('', #3360, #5240, #10320, .T.);
#10340 = ORIENTED_EDGE ('', *, *, #10330, .T.);
#10350 = ORIENTED_EDGE ('', *, *, #5290, .F.);
#10360 = ORIENTED_EDGE ('', *, *, #5390, .F.);
#10370 = ORIENTED_EDGE ('', *, *, #10330, .F.);
#10380 = ORIENTED_EDGE ('', *, *, #3470, .F.);
#10390 = EDGE_LOOP ('', (#10340, #10350, #10360, #10370, #10380));
#10400 = FACE_OUTER_BOUND ('', #10390, .T.);
#10410 = CARTESIAN_POINT ('', (15.25, -1.45, -0.35));
#10420 = CARTESIAN_POINT ('', (15.25, -1.38828555675204, 2.1734047206566E-15));
#10430 = CARTESIAN_POINT ('', (17.9, -1.45, -0.35));
#10440 = CARTESIAN_POINT ('', (17.961714443248, -1.38828555675204, 2.17326379523472E-15));
#10450 = CARTESIAN_POINT ('', (17.9, -4.1, -0.35));
#10460 = CARTESIAN_POINT ('', (17.961714443248, -4.1, 2.50549396196913E-15));
#10470 = CARTESIAN_POINT ('', (17.9, -6.75, -0.35));
#10480 = CARTESIAN_POINT ('', (17.961714443248, -6.81171444324796, 2.83744227785977E-15));
#10490 = CARTESIAN_POINT ('', (15.25, -6.75, -0.35));
#10500 = CARTESIAN_POINT ('', (15.25, -6.81171444324796, 2.83758320328166E-15));
#10510 = CARTESIAN_POINT ('', (12.6, -6.75, -0.35));
#10520 = CARTESIAN_POINT ('', (12.538285556752, -6.81171444324796, 2.83744227785977E-15));
#10530 = CARTESIAN_POINT ('', (12.6, -4.1, -0.35));
#10540 = CARTESIAN_POINT ('', (12.538285556752, -4.1, 2.50549396196913E-15));
#10550 = CARTESIAN_POINT ('', (12.6, -1.45, -0.35));
#10560 = CARTESIAN_POINT ('', (12.538285556752, -1.38828555675204, 2.17326379523472E-15));
#10570 = CARTESIAN_POINT ('', (15.25, -1.45, -0.35));
#10580 = CARTESIAN_POINT ('', (15.25, -1.38828555675204, 2.1734047206566E-15));
#10590 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#10410, #10420), (#10430, #10440), (#10450, #10460), (#10470, #10480), (#10490, #10500), (#10510, #10520), (#10530, #10540), (#10550, #10560), (#10570, #10580)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0.977178000342745, 0.999934980057957), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#10600 = ADVANCED_FACE ('', (#10400), #10590, .T.);
#10610 = CARTESIAN_POINT ('', (24.5973562944726, -1.84392192309254, -0.20079758526775));
#10620 = VERTEX_POINT ('', #10610);
#10630 = CARTESIAN_POINT ('', (24.5973562944726, -1.84392192309254, -0.20079758526775));
#10640 = CARTESIAN_POINT ('', (24.8532191311454, -8.05, 1.37441873193242E-15));
#10650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10630, #10640), .UNSPECIFIED., .F., .U., (2, 2), (0.00444552551095555, 0.396814073924126), .UNSPECIFIED.);
#10660 = EDGE_CURVE ('', #10620, #2920, #10650, .T.);
#10670 = ORIENTED_EDGE ('', *, *, #10660, .T.);
#10680 = CARTESIAN_POINT ('', (25.2509188747946, -8.05, -0.191295981776806));
#10690 = CARTESIAN_POINT ('', (25.0050295772755, -8.05, -0.193441825167418));
#10700 = CARTESIAN_POINT ('', (24.8532191311454, -8.05, -6.38216463774494E-17));
#10710 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#10680, #10690, #10700), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (307.62432832627, 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.897352083218937, 1.))
   REPRESENTATION_ITEM ('')
);
#10720 = EDGE_CURVE ('', #9140, #2920, #10710, .T.);
#10730 = ORIENTED_EDGE ('', *, *, #10720, .F.);
#10740 = ORIENTED_EDGE ('', *, *, #9180, .T.);
#10750 = CARTESIAN_POINT ('', (24.5973562944726, -1.84392192309254, -0.20079758526775));
#10760 = CARTESIAN_POINT ('', (24.8516349972228, -1.99072980057456, -0.512345466516794));
#10770 = CARTESIAN_POINT ('', (25.2535838790492, -2.22279509569746, -0.496675221890048));
#10780 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#10750, #10760, #10770), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (219.622577398689, 272.233605120607), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.933562875722442, 0.864597684922411, 1.))
   REPRESENTATION_ITEM ('')
);
#10790 = EDGE_CURVE ('', #10620, #9050, #10780, .T.);
#10800 = ORIENTED_EDGE ('', *, *, #10790, .F.);
#10810 = EDGE_LOOP ('', (#10670, #10730, #10740, #10800));
#10820 = FACE_OUTER_BOUND ('', #10810, .T.);
#10830 = CARTESIAN_POINT ('', (24.8532191311454, -8.05000000000002, 2.15157484917004E-15));
#10840 = CARTESIAN_POINT ('', (24.5944986029295, -1.7746072189051, -0.203040261729746));
#10850 = CARTESIAN_POINT ('', (25.1619041109007, -8.05000000000003, -0.393336475900063));
#10860 = CARTESIAN_POINT ('', (25.1062238444145, -1.7746072189051, -0.85509726584573));
#10870 = CARTESIAN_POINT ('', (25.5552405868007, -8.05000000000002, -0.0846514961447851));
#10880 = CARTESIAN_POINT ('', (25.7582808485305, -1.7746072189051, -0.343372024360704));
#10890 = CARTESIAN_POINT ('', (25.9485770627008, -8.05000000000003, 0.224033483610492));
#10900 = CARTESIAN_POINT ('', (26.4103378526465, -1.7746072189051, 0.16835321712432));
#10910 = CARTESIAN_POINT ('', (25.6398920829455, -8.05000000000002, 0.617369959510558));
#10920 = CARTESIAN_POINT ('', (25.8986126111614, -1.7746072189051, 0.820410221240304));
#10930 = CARTESIAN_POINT ('', (25.3312071031902, -8.05000000000003, 1.01070643541062));
#10940 = CARTESIAN_POINT ('', (25.3868873696764, -1.7746072189051, 1.47246722535629));
#10950 = CARTESIAN_POINT ('', (24.9378706272902, -8.05000000000002, 0.702021455655345));
#10960 = CARTESIAN_POINT ('', (24.7348303655604, -1.7746072189051, 0.960741983871263));
#10970 = CARTESIAN_POINT ('', (24.5445341513901, -8.05000000000003, 0.393336475900068));
#10980 = CARTESIAN_POINT ('', (24.0827733614444, -1.7746072189051, 0.449016742386239));
#10990 = CARTESIAN_POINT ('', (24.8532191311454, -8.05000000000002, 2.15157484917004E-15));
#11000 = CARTESIAN_POINT ('', (24.5944986029295, -1.7746072189051, -0.203040261729746));
#11010 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#10830, #10840), (#10850, #10860), (#10870, #10880), (#10890, #10900), (#10910, #10920), (#10930, #10940), (#10950, #10960), (#10970, #10980), (#10990, #11000)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0.603185926075873, 0.99993677673028), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#11020 = ADVANCED_FACE ('', (#10820), #11010, .T.);
#11030 = ORIENTED_EDGE ('', *, *, #8700, .T.);
#11040 = CARTESIAN_POINT ('', (12.9282219893506, -6.44506862783692, -3.225));
#11050 = CARTESIAN_POINT ('', (12.8095681495123, -6.13725815591861, -3.59661614011751));
#11060 = CARTESIAN_POINT ('', (12.7455714290239, -5.81635421238553, -3.95));
#11070 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#11040, #11050, #11060), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (99.7873600366267, 110.430324778863), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.995689994943397, 1.))
   REPRESENTATION_ITEM ('')
);
#11080 = EDGE_CURVE ('', #740, #8580, #11070, .T.);
#11090 = ORIENTED_EDGE ('', *, *, #11080, .F.);
#11100 = ORIENTED_EDGE ('', *, *, #2490, .F.);
#11110 = CARTESIAN_POINT ('', (10.754617092752, -7.7, -3.225));
#11120 = CARTESIAN_POINT ('', (9.95518563667566, -7.42738420074068, -3.95));
#11130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11110, #11120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11140 = EDGE_CURVE ('', #2400, #8660, #11130, .T.);
#11150 = ORIENTED_EDGE ('', *, *, #11140, .T.);
#11160 = EDGE_LOOP ('', (#11030, #11090, #11100, #11150));
#11170 = FACE_OUTER_BOUND ('', #11160, .T.);
#11180 = CARTESIAN_POINT ('', (12.7455714290239, -5.81635421238553, -3.95));
#11190 = CARTESIAN_POINT ('', (9.95518563667566, -7.42738420074068, -3.95));
#11200 = CARTESIAN_POINT ('', (13.0634753968588, -6.36698003660328, -3.225));
#11210 = CARTESIAN_POINT ('', (10.2730896045105, -7.97801002495843, -3.225));
#11220 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11180, #11190), (#11200, #11210)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.964301162013526, -1.91217983029875E-15), (-2.66603992679344, 0.556020049916863), .UNSPECIFIED.);
#11230 = ADVANCED_FACE ('', (#11170), #11220, .T.);
#11240 = ORIENTED_EDGE ('', *, *, #8770, .T.);
#11250 = ORIENTED_EDGE ('', *, *, #11140, .F.);
#11260 = ORIENTED_EDGE ('', *, *, #2440, .F.);
#11270 = CARTESIAN_POINT ('', (8.75, -7.7, -3.225));
#11280 = CARTESIAN_POINT ('', (9.475, -7.42738420074068, -3.95));
#11290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11270, #11280), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11300 = EDGE_CURVE ('', #2330, #8730, #11290, .T.);
#11310 = ORIENTED_EDGE ('', *, *, #11300, .T.);
#11320 = EDGE_LOOP ('', (#11240, #11250, #11260, #11310));
#11330 = FACE_OUTER_BOUND ('', #11320, .T.);
#11340 = CARTESIAN_POINT ('', (10.754617092752, -7.42738420074068, -3.95));
#11350 = CARTESIAN_POINT ('', (8.75, -7.42738420074068, -3.95));
#11360 = CARTESIAN_POINT ('', (10.754617092752, -7.7, -3.225));
#11370 = CARTESIAN_POINT ('', (8.75, -7.7, -3.225));
#11380 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11340, #11350), (#11360, #11370)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.774560761984362, 3.12604874472475E-16), (-2.00461709275203, -1.77635683940025E-15), .UNSPECIFIED.);
#11390 = ADVANCED_FACE ('', (#11330), #11380, .T.);
#11400 = ORIENTED_EDGE ('', *, *, #8840, .T.);
#11410 = ORIENTED_EDGE ('', *, *, #11300, .F.);
#11420 = ORIENTED_EDGE ('', *, *, #2370, .F.);
#11430 = CARTESIAN_POINT ('', (8.75, -6.84818728134261, -3.225));
#11440 = CARTESIAN_POINT ('', (9.475, -7.16377610180379, -3.95));
#11450 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11430, #11440), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11460 = EDGE_CURVE ('', #2260, #8800, #11450, .T.);
#11470 = ORIENTED_EDGE ('', *, *, #11460, .T.);
#11480 = EDGE_LOOP ('', (#11400, #11410, #11420, #11470));
#11490 = FACE_OUTER_BOUND ('', #11480, .T.);
#11500 = CARTESIAN_POINT ('', (9.475, -7.7, -3.95));
#11510 = CARTESIAN_POINT ('', (9.475, -6.84818728134261, -3.95));
#11520 = CARTESIAN_POINT ('', (8.75, -7.7, -3.225));
#11530 = CARTESIAN_POINT ('', (8.75, -6.84818728134261, -3.225));
#11540 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11500, #11510), (#11520, #11530)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.02530483272049, -6.2803698347351E-16), (-0.851812718657388, 0.), .UNSPECIFIED.);
#11550 = ADVANCED_FACE ('', (#11490), #11540, .T.);
#11560 = ORIENTED_EDGE ('', *, *, #5940, .T.);
#11570 = ORIENTED_EDGE ('', *, *, #8890, .T.);
#11580 = ORIENTED_EDGE ('', *, *, #11460, .F.);
#11590 = ORIENTED_EDGE ('', *, *, #2300, .F.);
#11600 = CARTESIAN_POINT ('', (12.0031157974151, -4.97, -3.225));
#11610 = CARTESIAN_POINT ('', (12.0695846799829, -4.95218971659415, -3.24530873593239));
#11620 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11600, #11610), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11630 = EDGE_CURVE ('', #2190, #5750, #11620, .T.);
#11640 = ORIENTED_EDGE ('', *, *, #11630, .T.);
#11650 = EDGE_LOOP ('', (#11560, #11570, #11580, #11590, #11640));
#11660 = FACE_OUTER_BOUND ('', #11650, .T.);
#11670 = CARTESIAN_POINT ('', (12.1934753968588, -4.86009583401835, -3.225));
#11680 = CARTESIAN_POINT ('', (8.75, -6.84818728134261, -3.225));
#11690 = CARTESIAN_POINT ('', (12.5113793646936, -5.4107216582361, -3.95));
#11700 = CARTESIAN_POINT ('', (9.06790396783488, -7.39881310556036, -3.95));
#11710 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11670, #11680), (#11690, #11700)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-8.86544342400895E-16, 0.964301162013527), (-0.219808331963286, 3.75637456268523), .UNSPECIFIED.);
#11720 = ADVANCED_FACE ('', (#11660), #11710, .T.);
#11730 = ORIENTED_EDGE ('', *, *, #5800, .T.);
#11740 = ORIENTED_EDGE ('', *, *, #11630, .F.);
#11750 = ORIENTED_EDGE ('', *, *, #2230, .F.);
#11760 = CARTESIAN_POINT ('', (8.75, -4.97, -3.225));
#11770 = CARTESIAN_POINT ('', (9.475, -4.33419206433025, -3.95));
#11780 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11760, #11770), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11790 = EDGE_CURVE ('', #2120, #7090, #11780, .T.);
#11800 = ORIENTED_EDGE ('', *, *, #11790, .T.);
#11810 = ORIENTED_EDGE ('', *, *, #7130, .T.);
#11820 = EDGE_LOOP ('', (#11730, #11740, #11750, #11800, #11810));
#11830 = FACE_OUTER_BOUND ('', #11820, .T.);
#11840 = CARTESIAN_POINT ('', (12.2229241293784, -4.33419206433025, -3.95));
#11850 = CARTESIAN_POINT ('', (8.75, -4.33419206433025, -3.95));
#11860 = CARTESIAN_POINT ('', (12.2229241293784, -4.97, -3.225));
#11870 = CARTESIAN_POINT ('', (8.75, -4.97, -3.225));
#11880 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11840, #11850), (#11860, #11870)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.964301162013522, 1.17123344818294E-15), (-3.47292412937836, -5.91645678915759E-31), .UNSPECIFIED.);
#11890 = ADVANCED_FACE ('', (#11830), #11880, .T.);
#11900 = ORIENTED_EDGE ('', *, *, #7200, .T.);
#11910 = ORIENTED_EDGE ('', *, *, #11790, .F.);
#11920 = ORIENTED_EDGE ('', *, *, #2160, .F.);
#11930 = CARTESIAN_POINT ('', (8.75, -3.23, -3.225));
#11940 = CARTESIAN_POINT ('', (9.475, -3.86580793566975, -3.95));
#11950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11930, #11940), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11960 = EDGE_CURVE ('', #2050, #7160, #11950, .T.);
#11970 = ORIENTED_EDGE ('', *, *, #11960, .T.);
#11980 = EDGE_LOOP ('', (#11900, #11910, #11920, #11970));
#11990 = FACE_OUTER_BOUND ('', #11980, .T.);
#12000 = CARTESIAN_POINT ('', (9.475, -4.97, -3.95));
#12010 = CARTESIAN_POINT ('', (9.475, -3.23, -3.95));
#12020 = CARTESIAN_POINT ('', (8.75, -4.97, -3.225));
#12030 = CARTESIAN_POINT ('', (8.75, -3.23, -3.225));
#12040 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12000, #12010), (#12020, #12030)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.02530483272049, 0.), (-1.74, 4.44089209850063E-16), .UNSPECIFIED.);
#12050 = ADVANCED_FACE ('', (#11990), #12040, .T.);
#12060 = ORIENTED_EDGE ('', *, *, #6140, .T.);
#12070 = ORIENTED_EDGE ('', *, *, #7250, .T.);
#12080 = ORIENTED_EDGE ('', *, *, #11960, .F.);
#12090 = ORIENTED_EDGE ('', *, *, #2090, .F.);
#12100 = CARTESIAN_POINT ('', (12.0031157974151, -3.23, -3.225));
#12110 = CARTESIAN_POINT ('', (12.0695846799829, -3.24781028340584, -3.24530873593239));
#12120 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12100, #12110), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12130 = EDGE_CURVE ('', #1980, #6070, #12120, .T.);
#12140 = ORIENTED_EDGE ('', *, *, #12130, .T.);
#12150 = EDGE_LOOP ('', (#12060, #12070, #12080, #12090, #12140));
#12160 = FACE_OUTER_BOUND ('', #12150, .T.);
#12170 = CARTESIAN_POINT ('', (12.2229241293784, -3.23, -3.225));
#12180 = CARTESIAN_POINT ('', (8.75, -3.23, -3.225));
#12190 = CARTESIAN_POINT ('', (12.2229241293784, -3.86580793566975, -3.95));
#12200 = CARTESIAN_POINT ('', (8.75, -3.86580793566975, -3.95));
#12210 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12170, #12180), (#12190, #12200)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.46404181022868E-15, 0.964301162013521), (-0.219808331963279, 3.25311579741508), .UNSPECIFIED.);
#12220 = ADVANCED_FACE ('', (#12160), #12210, .T.);
#12230 = ORIENTED_EDGE ('', *, *, #6220, .T.);
#12240 = ORIENTED_EDGE ('', *, *, #12130, .F.);
#12250 = ORIENTED_EDGE ('', *, *, #2020, .F.);
#12260 = CARTESIAN_POINT ('', (8.75, -1.35181271865738, -3.225));
#12270 = CARTESIAN_POINT ('', (9.47500000000001, -1.0362238981962, -3.95));
#12280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12260, #12270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12290 = EDGE_CURVE ('', #1910, #7290, #12280, .T.);
#12300 = ORIENTED_EDGE ('', *, *, #12290, .T.);
#12310 = ORIENTED_EDGE ('', *, *, #7330, .T.);
#12320 = EDGE_LOOP ('', (#12230, #12240, #12250, #12300, #12310));
#12330 = FACE_OUTER_BOUND ('', #12320, .T.);
#12340 = CARTESIAN_POINT ('', (12.5113793646936, -2.78927834176389, -3.95));
#12350 = CARTESIAN_POINT ('', (9.06790396783488, -0.801186894439632, -3.95));
#12360 = CARTESIAN_POINT ('', (12.1934753968588, -3.33990416598164, -3.225));
#12370 = CARTESIAN_POINT ('', (8.75, -1.35181271865738, -3.225));
#12380 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12340, #12350), (#12360, #12370)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.964301162013521, 1.99676736702605E-15), (-3.97618289464852, 1.53837014910685E-15), .UNSPECIFIED.);
#12390 = ADVANCED_FACE ('', (#12330), #12380, .T.);
#12400 = ORIENTED_EDGE ('', *, *, #7400, .T.);
#12410 = ORIENTED_EDGE ('', *, *, #12290, .F.);
#12420 = ORIENTED_EDGE ('', *, *, #1950, .F.);
#12430 = CARTESIAN_POINT ('', (8.75, -0.499999999999997, -3.225));
#12440 = CARTESIAN_POINT ('', (9.475, -0.772615799259313, -3.95));
#12450 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12430, #12440), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12460 = EDGE_CURVE ('', #1840, #7360, #12450, .T.);
#12470 = ORIENTED_EDGE ('', *, *, #12460, .T.);
#12480 = EDGE_LOOP ('', (#12400, #12410, #12420, #12470));
#12490 = FACE_OUTER_BOUND ('', #12480, .T.);
#12500 = CARTESIAN_POINT ('', (9.475, -1.35181271865738, -3.95));
#12510 = CARTESIAN_POINT ('', (9.475, -0.499999999999997, -3.95));
#12520 = CARTESIAN_POINT ('', (8.75, -1.35181271865738, -3.225));
#12530 = CARTESIAN_POINT ('', (8.75, -0.499999999999997, -3.225));
#12540 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12500, #12510), (#12520, #12530)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.0253048327205, -1.57009245868378E-15), (-0.85181271865738, 0.), .UNSPECIFIED.);
#12550 = ADVANCED_FACE ('', (#12490), #12540, .T.);
#12560 = ORIENTED_EDGE ('', *, *, #7470, .T.);
#12570 = ORIENTED_EDGE ('', *, *, #12460, .F.);
#12580 = ORIENTED_EDGE ('', *, *, #1880, .F.);
#12590 = CARTESIAN_POINT ('', (10.754617092752, -0.499999999999997, -3.225));
#12600 = CARTESIAN_POINT ('', (9.95518563667569, -0.772615799259312, -3.95));
#12610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12590, #12600), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12620 = EDGE_CURVE ('', #1770, #7430, #12610, .T.);
#12630 = ORIENTED_EDGE ('', *, *, #12620, .T.);
#12640 = EDGE_LOOP ('', (#12560, #12570, #12580, #12630));
#12650 = FACE_OUTER_BOUND ('', #12640, .T.);
#12660 = CARTESIAN_POINT ('', (10.754617092752, -0.499999999999998, -3.225));
#12670 = CARTESIAN_POINT ('', (8.75, -0.499999999999997, -3.225));
#12680 = CARTESIAN_POINT ('', (10.754617092752, -0.772615799259313, -3.95));
#12690 = CARTESIAN_POINT ('', (8.75, -0.772615799259313, -3.95));
#12700 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12660, #12670), (#12680, #12690)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (4.3521168454027E-16, 0.774560761984363), (-1.77635683940025E-15, 2.00461709275204), .UNSPECIFIED.);
#12710 = ADVANCED_FACE ('', (#12650), #12700, .T.);
#12720 = ORIENTED_EDGE ('', *, *, #7540, .T.);
#12730 = ORIENTED_EDGE ('', *, *, #12620, .F.);
#12740 = ORIENTED_EDGE ('', *, *, #1810, .F.);
#12750 = CARTESIAN_POINT ('', (12.9282219893506, -1.75493137216307, -3.225));
#12760 = CARTESIAN_POINT ('', (12.8095681495123, -2.06274184408139, -3.59661614011751));
#12770 = CARTESIAN_POINT ('', (12.7455714290239, -2.38364578761446, -3.95000000000001));
#12780 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#12750, #12760, #12770), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (279.787360036627, 290.430324778863), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.995689994943397, 1.))
   REPRESENTATION_ITEM ('')
);
#12790 = EDGE_CURVE ('', #1690, #7500, #12780, .T.);
#12800 = ORIENTED_EDGE ('', *, *, #12790, .T.);
#12810 = EDGE_LOOP ('', (#12720, #12730, #12740, #12800));
#12820 = FACE_OUTER_BOUND ('', #12810, .T.);
#12830 = CARTESIAN_POINT ('', (13.0634753968588, -1.83301996339672, -3.225));
#12840 = CARTESIAN_POINT ('', (10.2730896045106, -0.221989975041569, -3.225));
#12850 = CARTESIAN_POINT ('', (12.7455714290239, -2.38364578761446, -3.95));
#12860 = CARTESIAN_POINT ('', (9.95518563667568, -0.772615799259316, -3.95));
#12870 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12830, #12840), (#12850, #12860)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-7.71557819775527E-16, 0.964301162013526), (-0.156177182467288, 3.065882794243), .UNSPECIFIED.);
#12880 = ADVANCED_FACE ('', (#12820), #12870, .T.);
#12890 = CARTESIAN_POINT ('', (12.9282219893506, -1.75493137216307, -3.225));
#12900 = CARTESIAN_POINT ('', (13.1138786901616, -1.94245046426519, -3.95));
#12910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12890, #12900), .UNSPECIFIED., .F., .U., (2, 2), (0.000110281846956517, 0.0800646208904366), .UNSPECIFIED.);
#12920 = EDGE_CURVE ('', #1690, #7570, #12910, .T.);
#12930 = ORIENTED_EDGE ('', *, *, #12920, .T.);
#12940 = ORIENTED_EDGE ('', *, *, #7620, .T.);
#12950 = ORIENTED_EDGE ('', *, *, #12790, .F.);
#12960 = EDGE_LOOP ('', (#12930, #12940, #12950));
#12970 = FACE_OUTER_BOUND ('', #12960, .T.);
#12980 = CARTESIAN_POINT ('', (13.1138786901616, -1.94245046426519, -3.95));
#12990 = CARTESIAN_POINT ('', (12.9282219893506, -1.75493137216307, -3.225));
#13000 = CARTESIAN_POINT ('', (10.9563291544268, -4.07857177410356, -3.95));
#13010 = CARTESIAN_POINT ('', (10.5831533615137, -4.07670938281246, -3.225));
#13020 = CARTESIAN_POINT ('', (13.0924504642652, -6.23612130983836, -3.95));
#13030 = CARTESIAN_POINT ('', (12.9049313721631, -6.42177801064939, -3.225));
#13040 = CARTESIAN_POINT ('', (15.2285717741036, -8.39367084557317, -3.95));
#13050 = CARTESIAN_POINT ('', (15.2267093828125, -8.76684663848632, -3.225));
#13060 = CARTESIAN_POINT ('', (17.3861213098384, -6.25754953573481, -3.95));
#13070 = CARTESIAN_POINT ('', (17.5717780106494, -6.44506862783693, -3.225));
#13080 = CARTESIAN_POINT ('', (19.5436708455732, -4.12142822589645, -3.95));
#13090 = CARTESIAN_POINT ('', (19.9168466384863, -4.12329061718754, -3.225));
#13100 = CARTESIAN_POINT ('', (17.4075495357348, -1.96387869016164, -3.95));
#13110 = CARTESIAN_POINT ('', (17.5950686278369, -1.77822198935061, -3.225));
#13120 = CARTESIAN_POINT ('', (15.2714282258964, 0.193670845573174, -3.95));
#13130 = CARTESIAN_POINT ('', (15.2732906171875, 0.566846638486318, -3.225));
#13140 = CARTESIAN_POINT ('', (13.1138786901616, -1.94245046426519, -3.95));
#13150 = CARTESIAN_POINT ('', (12.9282219893506, -1.75493137216307, -3.225));
#13160 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#12980, #12990), (#13000, #13010), (#13020, #13030), (#13040, #13050), (#13060, #13070), (#13080, #13090), (#13100, #13110), (#13120, #13130), (#13140, #13150)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0.919935379109563, 0.999889718153044), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#13170 = ADVANCED_FACE ('', (#12970), #13160, .T.);
#13180 = ORIENTED_EDGE ('', *, *, #7790, .T.);
#13190 = CARTESIAN_POINT ('', (17.5717780106494, -1.75493137216307, -3.225));
#13200 = CARTESIAN_POINT ('', (17.6904318504877, -2.06274184408139, -3.59661614011751));
#13210 = CARTESIAN_POINT ('', (17.7544285709761, -2.38364578761447, -3.95));
#13220 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#13190, #13200, #13210), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (279.787360036627, 290.430324778863), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.995689994943397, 1.))
   REPRESENTATION_ITEM ('')
);
#13230 = EDGE_CURVE ('', #1620, #7650, #13220, .T.);
#13240 = ORIENTED_EDGE ('', *, *, #13230, .F.);
#13250 = ORIENTED_EDGE ('', *, *, #1660, .F.);
#13260 = CARTESIAN_POINT ('', (19.745382907248, -0.5, -3.225));
#13270 = CARTESIAN_POINT ('', (20.5448143633243, -0.772615799259317, -3.95));
#13280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13260, #13270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13290 = EDGE_CURVE ('', #1550, #7750, #13280, .T.);
#13300 = ORIENTED_EDGE ('', *, *, #13290, .T.);
#13310 = EDGE_LOOP ('', (#13180, #13240, #13250, #13300));
#13320 = FACE_OUTER_BOUND ('', #13310, .T.);
#13330 = CARTESIAN_POINT ('', (17.7544285709761, -2.38364578761447, -3.95));
#13340 = CARTESIAN_POINT ('', (20.5448143633243, -0.772615799259321, -3.95));
#13350 = CARTESIAN_POINT ('', (17.4365246031412, -1.83301996339672, -3.225));
#13360 = CARTESIAN_POINT ('', (20.2269103954895, -0.221989975041573, -3.225));
#13370 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13330, #13340), (#13350, #13360)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.964301162013525, 2.44330769282496E-15), (-2.66603992679344, 0.556020049916852), .UNSPECIFIED.);
#13380 = ADVANCED_FACE ('', (#13320), #13370, .T.);
#13390 = ORIENTED_EDGE ('', *, *, #7860, .T.);
#13400 = ORIENTED_EDGE ('', *, *, #13290, .F.);
#13410 = ORIENTED_EDGE ('', *, *, #1590, .F.);
#13420 = CARTESIAN_POINT ('', (21.75, -0.500000000000002, -3.225));
#13430 = CARTESIAN_POINT ('', (21.025, -0.772615799259317, -3.95));
#13440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13420, #13430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13450 = EDGE_CURVE ('', #1480, #7820, #13440, .T.);
#13460 = ORIENTED_EDGE ('', *, *, #13450, .T.);
#13470 = EDGE_LOOP ('', (#13390, #13400, #13410, #13460));
#13480 = FACE_OUTER_BOUND ('', #13470, .T.);
#13490 = CARTESIAN_POINT ('', (19.745382907248, -0.772615799259317, -3.95));
#13500 = CARTESIAN_POINT ('', (21.75, -0.772615799259319, -3.95));
#13510 = CARTESIAN_POINT ('', (19.745382907248, -0.500000000000001, -3.225));
#13520 = CARTESIAN_POINT ('', (21.75, -0.500000000000002, -3.225));
#13530 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13490, #13500), (#13510, #13520)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.774560761984362, 7.03360967563068E-16), (-2.00461709275203, 0.), .UNSPECIFIED.);
#13540 = ADVANCED_FACE ('', (#13480), #13530, .T.);
#13550 = ORIENTED_EDGE ('', *, *, #7930, .T.);
#13560 = ORIENTED_EDGE ('', *, *, #13450, .F.);
#13570 = ORIENTED_EDGE ('', *, *, #1520, .F.);
#13580 = CARTESIAN_POINT ('', (21.75, -1.35181271865739, -3.225));
#13590 = CARTESIAN_POINT ('', (21.025, -1.03622389819621, -3.95));
#13600 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13580, #13590), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13610 = EDGE_CURVE ('', #1410, #7890, #13600, .T.);
#13620 = ORIENTED_EDGE ('', *, *, #13610, .T.);
#13630 = EDGE_LOOP ('', (#13550, #13560, #13570, #13620));
#13640 = FACE_OUTER_BOUND ('', #13630, .T.);
#13650 = CARTESIAN_POINT ('', (21.025, -0.500000000000002, -3.95));
#13660 = CARTESIAN_POINT ('', (21.025, -1.35181271865739, -3.95));
#13670 = CARTESIAN_POINT ('', (21.75, -0.500000000000002, -3.225));
#13680 = CARTESIAN_POINT ('', (21.75, -1.35181271865739, -3.225));
#13690 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13650, #13660), (#13670, #13680)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.0253048327205, 0.), (-0.851812718657387, 0.), .UNSPECIFIED.);
#13700 = ADVANCED_FACE ('', (#13640), #13690, .T.);
#13710 = ORIENTED_EDGE ('', *, *, #6480, .T.);
#13720 = ORIENTED_EDGE ('', *, *, #7980, .T.);
#13730 = ORIENTED_EDGE ('', *, *, #13610, .F.);
#13740 = ORIENTED_EDGE ('', *, *, #1450, .F.);
#13750 = CARTESIAN_POINT ('', (18.4968842025849, -3.23, -3.225));
#13760 = CARTESIAN_POINT ('', (18.4304153200171, -3.24781028340584, -3.24530873593239));
#13770 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13750, #13760), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13780 = EDGE_CURVE ('', #1340, #6410, #13770, .T.);
#13790 = ORIENTED_EDGE ('', *, *, #13780, .T.);
#13800 = EDGE_LOOP ('', (#13710, #13720, #13730, #13740, #13790));
#13810 = FACE_OUTER_BOUND ('', #13800, .T.);
#13820 = CARTESIAN_POINT ('', (18.3065246031412, -3.33990416598164, -3.225));
#13830 = CARTESIAN_POINT ('', (21.75, -1.35181271865739, -3.225));
#13840 = CARTESIAN_POINT ('', (17.9886206353064, -2.7892783417639, -3.95));
#13850 = CARTESIAN_POINT ('', (21.4320960321651, -0.801186894439641, -3.95));
#13860 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13820, #13830), (#13840, #13850)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (5.55928550962194E-16, 0.964301162013527), (-0.219808331963284, 3.75637456268523), .UNSPECIFIED.);
#13870 = ADVANCED_FACE ('', (#13810), #13860, .T.);
#13880 = ORIENTED_EDGE ('', *, *, #6560, .T.);
#13890 = ORIENTED_EDGE ('', *, *, #13780, .F.);
#13900 = ORIENTED_EDGE ('', *, *, #1380, .F.);
#13910 = CARTESIAN_POINT ('', (21.75, -3.23, -3.225));
#13920 = CARTESIAN_POINT ('', (21.025, -3.86580793566975, -3.95));
#13930 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13910, #13920), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13940 = EDGE_CURVE ('', #1270, #8020, #13930, .T.);
#13950 = ORIENTED_EDGE ('', *, *, #13940, .T.);
#13960 = ORIENTED_EDGE ('', *, *, #8060, .T.);
#13970 = EDGE_LOOP ('', (#13880, #13890, #13900, #13950, #13960));
#13980 = FACE_OUTER_BOUND ('', #13970, .T.);
#13990 = CARTESIAN_POINT ('', (18.2770758706216, -3.86580793566975, -3.95));
#14000 = CARTESIAN_POINT ('', (21.75, -3.86580793566975, -3.95));
#14010 = CARTESIAN_POINT ('', (18.2770758706216, -3.23, -3.225));
#14020 = CARTESIAN_POINT ('', (21.75, -3.23, -3.225));
#14030 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13990, #14000), (#14010, #14020)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.964301162013523, -4.10755839914269E-17), (-3.47292412937836, 1.97215226305253E-31), .UNSPECIFIED.);
#14040 = ADVANCED_FACE ('', (#13980), #14030, .T.);
#14050 = ORIENTED_EDGE ('', *, *, #8130, .T.);
#14060 = ORIENTED_EDGE ('', *, *, #13940, .F.);
#14070 = ORIENTED_EDGE ('', *, *, #1310, .F.);
#14080 = CARTESIAN_POINT ('', (21.75, -4.97, -3.225));
#14090 = CARTESIAN_POINT ('', (21.025, -4.33419206433025, -3.95));
#14100 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14080, #14090), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14110 = EDGE_CURVE ('', #1200, #8090, #14100, .T.);
#14120 = ORIENTED_EDGE ('', *, *, #14110, .T.);
#14130 = EDGE_LOOP ('', (#14050, #14060, #14070, #14120));
#14140 = FACE_OUTER_BOUND ('', #14130, .T.);
#14150 = CARTESIAN_POINT ('', (21.025, -3.23, -3.95));
#14160 = CARTESIAN_POINT ('', (21.025, -4.97, -3.95));
#14170 = CARTESIAN_POINT ('', (21.75, -3.23, -3.225));
#14180 = CARTESIAN_POINT ('', (21.75, -4.97, -3.225));
#14190 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14150, #14160), (#14170, #14180)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.0253048327205, 0.), (-1.74, 0.), .UNSPECIFIED.);
#14200 = ADVANCED_FACE ('', (#14140), #14190, .T.);
#14210 = ORIENTED_EDGE ('', *, *, #6960, .T.);
#14220 = ORIENTED_EDGE ('', *, *, #8180, .T.);
#14230 = ORIENTED_EDGE ('', *, *, #14110, .F.);
#14240 = ORIENTED_EDGE ('', *, *, #1240, .F.);
#14250 = CARTESIAN_POINT ('', (18.4968842025849, -4.97, -3.225));
#14260 = CARTESIAN_POINT ('', (18.4304153200171, -4.95218971659416, -3.24530873593239));
#14270 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14250, #14260), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14280 = EDGE_CURVE ('', #1130, #6770, #14270, .T.);
#14290 = ORIENTED_EDGE ('', *, *, #14280, .T.);
#14300 = EDGE_LOOP ('', (#14210, #14220, #14230, #14240, #14290));
#14310 = FACE_OUTER_BOUND ('', #14300, .T.);
#14320 = CARTESIAN_POINT ('', (18.2770758706216, -4.97, -3.225));
#14330 = CARTESIAN_POINT ('', (21.75, -4.97, -3.225));
#14340 = CARTESIAN_POINT ('', (18.2770758706216, -4.33419206433025, -3.95));
#14350 = CARTESIAN_POINT ('', (21.75, -4.33419206433025, -3.95));
#14360 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14320, #14330), (#14340, #14350)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.17123344818294E-15, 0.964301162013521), (-0.219808331963275, 3.25311579741508), .UNSPECIFIED.);
#14370 = ADVANCED_FACE ('', (#14310), #14360, .T.);
#14380 = ORIENTED_EDGE ('', *, *, #6820, .T.);
#14390 = ORIENTED_EDGE ('', *, *, #14280, .F.);
#14400 = ORIENTED_EDGE ('', *, *, #1170, .F.);
#14410 = CARTESIAN_POINT ('', (21.75, -6.84818728134262, -3.225));
#14420 = CARTESIAN_POINT ('', (21.025, -7.1637761018038, -3.95));
#14430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14410, #14420), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14440 = EDGE_CURVE ('', #1060, #8220, #14430, .T.);
#14450 = ORIENTED_EDGE ('', *, *, #14440, .T.);
#14460 = ORIENTED_EDGE ('', *, *, #8260, .T.);
#14470 = EDGE_LOOP ('', (#14380, #14390, #14400, #14450, #14460));
#14480 = FACE_OUTER_BOUND ('', #14470, .T.);
#14490 = CARTESIAN_POINT ('', (17.9886206353064, -5.41072165823611, -3.95));
#14500 = CARTESIAN_POINT ('', (21.4320960321651, -7.39881310556037, -3.95));
#14510 = CARTESIAN_POINT ('', (18.3065246031412, -4.86009583401836, -3.225));
#14520 = CARTESIAN_POINT ('', (21.75, -6.84818728134262, -3.225));
#14530 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14490, #14500), (#14510, #14520)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.964301162013526, -6.64074488238709E-16), (-3.97618289464852, -3.52082950806376E-15), .UNSPECIFIED.);
#14540 = ADVANCED_FACE ('', (#14480), #14530, .T.);
#14550 = ORIENTED_EDGE ('', *, *, #8330, .T.);
#14560 = ORIENTED_EDGE ('', *, *, #14440, .F.);
#14570 = ORIENTED_EDGE ('', *, *, #1100, .F.);
#14580 = CARTESIAN_POINT ('', (21.75, -7.7, -3.225));
#14590 = CARTESIAN_POINT ('', (21.025, -7.42738420074069, -3.95));
#14600 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14580, #14590), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14610 = EDGE_CURVE ('', #990, #8290, #14600, .T.);
#14620 = ORIENTED_EDGE ('', *, *, #14610, .T.);
#14630 = EDGE_LOOP ('', (#14550, #14560, #14570, #14620));
#14640 = FACE_OUTER_BOUND ('', #14630, .T.);
#14650 = CARTESIAN_POINT ('', (21.025, -6.84818728134262, -3.95));
#14660 = CARTESIAN_POINT ('', (21.025, -7.7, -3.95));
#14670 = CARTESIAN_POINT ('', (21.75, -6.84818728134262, -3.225));
#14680 = CARTESIAN_POINT ('', (21.75, -7.7, -3.225));
#14690 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14650, #14660), (#14670, #14680)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.0253048327205, 0.), (-0.851812718657381, 0.), .UNSPECIFIED.);
#14700 = ADVANCED_FACE ('', (#14640), #14690, .T.);
#14710 = ORIENTED_EDGE ('', *, *, #8400, .T.);
#14720 = ORIENTED_EDGE ('', *, *, #14610, .F.);
#14730 = ORIENTED_EDGE ('', *, *, #1030, .F.);
#14740 = CARTESIAN_POINT ('', (19.745382907248, -7.7, -3.225));
#14750 = CARTESIAN_POINT ('', (20.5448143633243, -7.42738420074069, -3.95));
#14760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14740, #14750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14770 = EDGE_CURVE ('', #920, #8360, #14760, .T.);
#14780 = ORIENTED_EDGE ('', *, *, #14770, .T.);
#14790 = EDGE_LOOP ('', (#14710, #14720, #14730, #14780));
#14800 = FACE_OUTER_BOUND ('', #14790, .T.);
#14810 = CARTESIAN_POINT ('', (19.745382907248, -7.7, -3.225));
#14820 = CARTESIAN_POINT ('', (21.75, -7.7, -3.225));
#14830 = CARTESIAN_POINT ('', (19.745382907248, -7.42738420074069, -3.95));
#14840 = CARTESIAN_POINT ('', (21.75, -7.42738420074069, -3.95));
#14850 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14810, #14820), (#14830, #14840)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.774560761984362), (0., 2.00461709275204), .UNSPECIFIED.);
#14860 = ADVANCED_FACE ('', (#14800), #14850, .T.);
#14870 = ORIENTED_EDGE ('', *, *, #8470, .T.);
#14880 = ORIENTED_EDGE ('', *, *, #14770, .F.);
#14890 = ORIENTED_EDGE ('', *, *, #960, .F.);
#14900 = CARTESIAN_POINT ('', (17.5717780106494, -6.44506862783693, -3.225));
#14910 = CARTESIAN_POINT ('', (17.6904318504877, -6.13725815591861, -3.59661614011751));
#14920 = CARTESIAN_POINT ('', (17.7544285709761, -5.81635421238554, -3.95));
#14930 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#14900, #14910, #14920), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (279.787360036627, 290.430324778863), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.995689994943397, 1.))
   REPRESENTATION_ITEM ('')
);
#14940 = EDGE_CURVE ('', #840, #8430, #14930, .T.);
#14950 = ORIENTED_EDGE ('', *, *, #14940, .T.);
#14960 = EDGE_LOOP ('', (#14870, #14880, #14890, #14950));
#14970 = FACE_OUTER_BOUND ('', #14960, .T.);
#14980 = CARTESIAN_POINT ('', (17.4365246031412, -6.36698003660329, -3.225));
#14990 = CARTESIAN_POINT ('', (20.2269103954894, -7.97801002495843, -3.225));
#15000 = CARTESIAN_POINT ('', (17.7544285709761, -5.81635421238554, -3.95));
#15010 = CARTESIAN_POINT ('', (20.5448143633243, -7.42738420074069, -3.95));
#15020 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14980, #14990), (#15000, #15010)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-8.32070228040025E-16, 0.964301162013526), (-0.156177182467285, 3.065882794243), .UNSPECIFIED.);
#15030 = ADVANCED_FACE ('', (#14970), #15020, .T.);
#15040 = CARTESIAN_POINT ('', (15.25, -7.4, -3.225));
#15050 = CARTESIAN_POINT ('', (15.25, -7.136121580157, -3.95));
#15060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15040, #15050), .UNSPECIFIED., .F., .U., (2, 2), (0.000110281846956897, 0.080064620890437), .UNSPECIFIED.);
#15070 = EDGE_CURVE ('', #760, #8500, #15060, .T.);
#15080 = ORIENTED_EDGE ('', *, *, #15070, .T.);
#15090 = ORIENTED_EDGE ('', *, *, #8550, .T.);
#15100 = ORIENTED_EDGE ('', *, *, #14940, .F.);
#15110 = ORIENTED_EDGE ('', *, *, #890, .F.);
#15120 = EDGE_LOOP ('', (#15080, #15090, #15100, #15110));
#15130 = FACE_OUTER_BOUND ('', #15120, .T.);
#15140 = CARTESIAN_POINT ('', (15.25, -7.136121580157, -3.95));
#15150 = CARTESIAN_POINT ('', (15.25, -7.4, -3.22499999999999));
#15160 = CARTESIAN_POINT ('', (18.286121580157, -7.136121580157, -3.95));
#15170 = CARTESIAN_POINT ('', (18.55, -7.4, -3.22499999999999));
#15180 = CARTESIAN_POINT ('', (18.286121580157, -4.1, -3.95));
#15190 = CARTESIAN_POINT ('', (18.55, -4.1, -3.22499999999999));
#15200 = CARTESIAN_POINT ('', (18.286121580157, -1.063878419843, -3.95));
#15210 = CARTESIAN_POINT ('', (18.55, -0.799999999999998, -3.22499999999999));
#15220 = CARTESIAN_POINT ('', (15.25, -1.063878419843, -3.95));
#15230 = CARTESIAN_POINT ('', (15.25, -0.799999999999998, -3.22499999999999));
#15240 = CARTESIAN_POINT ('', (12.213878419843, -1.063878419843, -3.95));
#15250 = CARTESIAN_POINT ('', (11.95, -0.799999999999998, -3.22499999999999));
#15260 = CARTESIAN_POINT ('', (12.213878419843, -4.1, -3.95));
#15270 = CARTESIAN_POINT ('', (11.95, -4.1, -3.22499999999999));
#15280 = CARTESIAN_POINT ('', (12.213878419843, -7.136121580157, -3.95));
#15290 = CARTESIAN_POINT ('', (11.95, -7.4, -3.22499999999999));
#15300 = CARTESIAN_POINT ('', (15.25, -7.136121580157, -3.95));
#15310 = CARTESIAN_POINT ('', (15.25, -7.4, -3.22499999999999));
#15320 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#15140, #15150), (#15160, #15170), (#15180, #15190), (#15200, #15210), (#15220, #15230), (#15240, #15250), (#15260, #15270), (#15280, #15290), (#15300, #15310)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0.919935379109563, 0.999889718153044), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#15330 = ADVANCED_FACE ('', (#15130), #15320, .T.);
#15340 = CARTESIAN_POINT ('', (23.85, -8.05, -3.225));
#15350 = CARTESIAN_POINT ('', (23.85, -8.05, 9.85840673313619E-16));
#15360 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15340, #15350), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15370 = EDGE_CURVE ('', #390, #2850, #15360, .T.);
#15380 = ORIENTED_EDGE ('', *, *, #15370, .T.);
#15390 = ORIENTED_EDGE ('', *, *, #2890, .F.);
#15400 = CARTESIAN_POINT ('', (23.8, -8., -3.225));
#15410 = CARTESIAN_POINT ('', (23.8, -8., 9.79717439317883E-16));
#15420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15400, #15410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15430 = EDGE_CURVE ('', #460, #2780, #15420, .T.);
#15440 = ORIENTED_EDGE ('', *, *, #15430, .F.);
#15450 = ORIENTED_EDGE ('', *, *, #500, .T.);
#15460 = EDGE_LOOP ('', (#15380, #15390, #15440, #15450));
#15470 = FACE_OUTER_BOUND ('', #15460, .T.);
#15480 = CARTESIAN_POINT ('', (23.8, -8., 9.79717439317883E-16));
#15490 = CARTESIAN_POINT ('', (23.85, -8.05, 9.85840673313619E-16));
#15500 = CARTESIAN_POINT ('', (23.8, -8., -3.225));
#15510 = CARTESIAN_POINT ('', (23.85, -8.05, -3.225));
#15520 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15480, #15490), (#15500, #15510)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.85, -0.625), (-0.282842712474618, -0.212132034355966), .UNSPECIFIED.);
#15530 = ADVANCED_FACE ('', (#15470), #15520, .T.);
#15540 = CARTESIAN_POINT ('', (24.6897262134161, -8.05, -3.225));
#15550 = CARTESIAN_POINT ('', (24.7468601935359, -8.05, -1.58889687422704));
#15560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15540, #15550), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15570 = EDGE_CURVE ('', #320, #9600, #15560, .T.);
#15580 = ORIENTED_EDGE ('', *, *, #15570, .T.);
#15590 = ORIENTED_EDGE ('', *, *, #9650, .T.);
#15600 = ORIENTED_EDGE ('', *, *, #9940, .T.);
#15610 = ORIENTED_EDGE ('', *, *, #10200, .T.);
#15620 = ORIENTED_EDGE ('', *, *, #9250, .T.);
#15630 = ORIENTED_EDGE ('', *, *, #10720, .T.);
#15640 = ORIENTED_EDGE ('', *, *, #2960, .F.);
#15650 = ORIENTED_EDGE ('', *, *, #15370, .F.);
#15660 = ORIENTED_EDGE ('', *, *, #430, .F.);
#15670 = EDGE_LOOP ('', (#15580, #15590, #15600, #15610, #15620, #15630, #15640, #15650, #15660));
#15680 = FACE_OUTER_BOUND ('', #15670, .T.);
#15690 = CARTESIAN_POINT ('', (23.85, -8.05, 9.85840673313619E-16));
#15700 = CARTESIAN_POINT ('', (30.2509188747946, -8.05, 9.85840673313619E-16));
#15710 = CARTESIAN_POINT ('', (23.85, -8.05, -3.225));
#15720 = CARTESIAN_POINT ('', (30.2509188747946, -8.05, -3.225));
#15730 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15690, #15700), (#15710, #15720)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.001, 3.226), (-6.62891887479464, -0.228000000000005), .UNSPECIFIED.);
#15740 = ADVANCED_FACE ('', (#15680), #15730, .T.);
#15750 = CARTESIAN_POINT ('', (24.416337694964, -1.73941078593793, -1.57735477424258));
#15760 = CARTESIAN_POINT ('', (24.3570042718408, -1.70515461812579, -3.225));
#15770 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15750, #15760), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15780 = EDGE_CURVE ('', #9430, #250, #15770, .T.);
#15790 = ORIENTED_EDGE ('', *, *, #15780, .F.);
#15800 = ORIENTED_EDGE ('', *, *, #9700, .F.);
#15810 = ORIENTED_EDGE ('', *, *, #15570, .F.);
#15820 = ORIENTED_EDGE ('', *, *, #360, .F.);
#15830 = EDGE_LOOP ('', (#15790, #15800, #15810, #15820));
#15840 = FACE_OUTER_BOUND ('', #15830, .T.);
#15850 = CARTESIAN_POINT ('', (24.3570042718408, -1.70515461812579, -3.225));
#15860 = CARTESIAN_POINT ('', (24.6893209664525, -8.05, -3.23660475469079));
#15870 = CARTESIAN_POINT ('', (24.4145434989242, -1.70515461812579, -1.57729211953625));
#15880 = CARTESIAN_POINT ('', (24.7468601935359, -8.05, -1.58889687422704));
#15890 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15850, #15860), (#15870, #15880)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00103429032372064, 1.64974652173214), (-6.35355270504145, 2.1987620058006E-16), .UNSPECIFIED.);
#15900 = ADVANCED_FACE ('', (#15840), #15890, .T.);
#15910 = ORIENTED_EDGE ('', *, *, #10140, .T.);
#15920 = ORIENTED_EDGE ('', *, *, #10000, .T.);
#15930 = ORIENTED_EDGE ('', *, *, #9500, .T.);
#15940 = ORIENTED_EDGE ('', *, *, #15780, .T.);
#15950 = ORIENTED_EDGE ('', *, *, #290, .T.);
#15960 = CARTESIAN_POINT ('', (21.75, -0.200000000000001, -3.225));
#15970 = CARTESIAN_POINT ('', (21.75, -0.200000000000001, 2.44929359829472E-17));
#15980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15960, #15970), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15990 = EDGE_CURVE ('', #180, #3080, #15980, .T.);
#16000 = ORIENTED_EDGE ('', *, *, #15990, .T.);
#16010 = ORIENTED_EDGE ('', *, *, #3120, .F.);
#16020 = CARTESIAN_POINT ('', (24.4772997051095, -1.77460721890575, 4.30255276399688E-13));
#16030 = CARTESIAN_POINT ('', (24.522595642468, -1.80075884053286, -0.109199183667717));
#16040 = CARTESIAN_POINT ('', (24.5973562944726, -1.84392192309254, -0.20079758526775));
#16050 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#16020, #16030, #16040), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (202.519440713036, 219.622577398689), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.95598253061, 0.933562875722442))
   REPRESENTATION_ITEM ('')
);
#16060 = EDGE_CURVE ('', #2990, #10620, #16050, .T.);
#16070 = ORIENTED_EDGE ('', *, *, #16060, .T.);
#16080 = ORIENTED_EDGE ('', *, *, #10790, .T.);
#16090 = ORIENTED_EDGE ('', *, *, #9110, .T.);
#16100 = EDGE_LOOP ('', (#15910, #15920, #15930, #15940, #15950, #16000, #16010, #16070, #16080, #16090));
#16110 = FACE_OUTER_BOUND ('', #16100, .T.);
#16120 = CARTESIAN_POINT ('', (21.75, -0.200000000000003, -3.225));
#16130 = CARTESIAN_POINT ('', (29.4524144285562, -4.64699104373695, -3.225));
#16140 = CARTESIAN_POINT ('', (21.75, -0.200000000000002, 4.29902848070844E-13));
#16150 = CARTESIAN_POINT ('', (29.4524144285562, -4.64699104373695, 4.30447447405598E-13));
#16160 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16120, #16130), (#16140, #16150)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.624999999999999, 3.85000000000043), (3.02122914698245E-15, 8.8939820874739), .UNSPECIFIED.);
#16170 = ADVANCED_FACE ('', (#16110), #16160, .T.);
#16180 = ORIENTED_EDGE ('', *, *, #220, .T.);
#16190 = CARTESIAN_POINT ('', (6.7, -0.199999999999999, -3.225));
#16200 = CARTESIAN_POINT ('', (6.7, -0.199999999999999, 2.44929359829469E-17));
#16210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16190, #16200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16220 = EDGE_CURVE ('', #110, #3150, #16210, .T.);
#16230 = ORIENTED_EDGE ('', *, *, #16220, .T.);
#16240 = ORIENTED_EDGE ('', *, *, #3190, .F.);
#16250 = ORIENTED_EDGE ('', *, *, #15990, .F.);
#16260 = EDGE_LOOP ('', (#16180, #16230, #16240, #16250));
#16270 = FACE_OUTER_BOUND ('', #16260, .T.);
#16280 = CARTESIAN_POINT ('', (6.7, -0.199999999999999, -3.225));
#16290 = CARTESIAN_POINT ('', (21.75, -0.199999999999999, -3.225));
#16300 = CARTESIAN_POINT ('', (6.7, -0.199999999999999, 2.44929359829469E-17));
#16310 = CARTESIAN_POINT ('', (21.75, -0.199999999999999, 2.44929359829469E-17));
#16320 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16280, #16290), (#16300, #16310)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.625, 3.85), (-8.88178419700125E-16, 15.05), .UNSPECIFIED.);
#16330 = ADVANCED_FACE ('', (#16270), #16320, .T.);
#16340 = ORIENTED_EDGE ('', *, *, #4310, .T.);
#16350 = ORIENTED_EDGE ('', *, *, #3260, .F.);
#16360 = ORIENTED_EDGE ('', *, *, #16220, .F.);
#16370 = ORIENTED_EDGE ('', *, *, #150, .T.);
#16380 = EDGE_LOOP ('', (#16340, #16350, #16360, #16370));
#16390 = FACE_OUTER_BOUND ('', #16380, .T.);
#16400 = CARTESIAN_POINT ('', (6.65, -0.150000000000001, -3.225));
#16410 = CARTESIAN_POINT ('', (6.7, -0.2, -3.225));
#16420 = CARTESIAN_POINT ('', (6.65, -0.15, 1.83697019872103E-17));
#16430 = CARTESIAN_POINT ('', (6.7, -0.2, 2.4492935982947E-17));
#16440 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16400, #16410), (#16420, #16430)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.625, 3.85), (0.212132034355965, 0.282842712474619), .UNSPECIFIED.);
#16450 = ADVANCED_FACE ('', (#16390), #16440, .T.);
#16460 = ORIENTED_EDGE ('', *, *, #570, .T.);
#16470 = ORIENTED_EDGE ('', *, *, #15430, .T.);
#16480 = ORIENTED_EDGE ('', *, *, #2820, .F.);
#16490 = CARTESIAN_POINT ('', (8.75, -8., -3.225));
#16500 = CARTESIAN_POINT ('', (8.75, -8., 9.79717439317882E-16));
#16510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16490, #16500), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16520 = EDGE_CURVE ('', #530, #2710, #16510, .T.);
#16530 = ORIENTED_EDGE ('', *, *, #16520, .F.);
#16540 = EDGE_LOOP ('', (#16460, #16470, #16480, #16530));
#16550 = FACE_OUTER_BOUND ('', #16540, .T.);
#16560 = CARTESIAN_POINT ('', (8.75, -8., 9.79717439317883E-16));
#16570 = CARTESIAN_POINT ('', (23.8, -8., 9.79717439317883E-16));
#16580 = CARTESIAN_POINT ('', (8.75, -8., -3.225));
#16590 = CARTESIAN_POINT ('', (23.8, -8., -3.225));
#16600 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16560, #16570), (#16580, #16590)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.85, -0.625), (-15.05, 0.), .UNSPECIFIED.);
#16610 = ADVANCED_FACE ('', (#16550), #16600, .T.);
#16620 = ORIENTED_EDGE ('', *, *, #3640, .F.);
#16630 = ORIENTED_EDGE ('', *, *, #4110, .T.);
#16640 = CARTESIAN_POINT ('', (5.24641612095085, -5.97720490430254, -0.800986420932962));
#16650 = VERTEX_POINT ('', #16640);
#16660 = CARTESIAN_POINT ('', (5.24908112520536, -0.149999999999996, -1.1063656610462));
#16670 = CARTESIAN_POINT ('', (5.24641612095085, -5.97720490430254, -0.800986420932962));
#16680 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16660, #16670), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16690 = EDGE_CURVE ('', #4010, #16650, #16680, .T.);
#16700 = ORIENTED_EDGE ('', *, *, #16690, .T.);
#16710 = CARTESIAN_POINT ('', (1.04758557144386, -3.55300895626305, -0.964680623932253));
#16720 = CARTESIAN_POINT ('', (5.24641612095085, -5.97720490430254, -0.800986420932962));
#16730 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16710, #16720), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16740 = EDGE_CURVE ('', #3600, #16650, #16730, .T.);
#16750 = ORIENTED_EDGE ('', *, *, #16740, .F.);
#16760 = EDGE_LOOP ('', (#16620, #16630, #16700, #16750));
#16770 = FACE_OUTER_BOUND ('', #16760, .T.);
#16780 = CARTESIAN_POINT ('', (5.24641612095085, -5.97720490430254, -0.800986420932962));
#16790 = CARTESIAN_POINT ('', (5.24908112520536, -0.149999999999996, -1.10636566104621));
#16800 = CARTESIAN_POINT ('', (0.246416120950851, -5.97720490430254, -0.844620759886756));
#16810 = CARTESIAN_POINT ('', (0.249081125205362, -0.149999999999995, -1.15));
#16820 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16780, #16790), (#16800, #16810)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00367359123788002, 5.00386398316657), (-5.83520184563203, 1.60405509133568E-15), .UNSPECIFIED.);
#16830 = ADVANCED_FACE ('', (#16770), #16820, .T.);
#16840 = CARTESIAN_POINT ('', (6.08366230503597, -6.46058921406206, -1.57735477424257));
#16850 = VERTEX_POINT ('', #16840);
#16860 = CARTESIAN_POINT ('', (5.24641612095085, -5.97720490430254, -0.800986420932962));
#16870 = CARTESIAN_POINT ('', (5.58086936714665, -6.17030157602503, -0.787947538574878));
#16880 = CARTESIAN_POINT ('', (5.82624590999533, -6.31196978909153, -1.01548226627316));
#16890 = CARTESIAN_POINT ('', (6.07162245284401, -6.45363800215803, -1.24301699397144));
#16900 = CARTESIAN_POINT ('', (6.08366230503597, -6.46058921406206, -1.57735477424257));
#16910 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#16860, #16870, #16880, #16890, #16900), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (267.766394879393, 312.852474387408, 357.938553895422), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.923591805661584, 1., 0.923591805661584, 1.))
   REPRESENTATION_ITEM ('')
);
#16920 = EDGE_CURVE ('', #16650, #16850, #16910, .T.);
#16930 = ORIENTED_EDGE ('', *, *, #16920, .F.);
#16940 = ORIENTED_EDGE ('', *, *, #16690, .F.);
#16950 = ORIENTED_EDGE ('', *, *, #4060, .T.);
#16960 = CARTESIAN_POINT ('', (5.7531398064641, -0.149999999999996, -1.58889687422704));
#16970 = CARTESIAN_POINT ('', (6.08366230503597, -6.46058921406207, -1.57735477424257));
#16980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16960, #16970), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16990 = EDGE_CURVE ('', #3940, #16850, #16980, .T.);
#17000 = ORIENTED_EDGE ('', *, *, #16990, .T.);
#17010 = EDGE_LOOP ('', (#16930, #16940, #16950, #17000));
#17020 = FACE_OUTER_BOUND ('', #17010, .T.);
#17030 = CARTESIAN_POINT ('', (5.24908112520536, -0.149999999999996, -1.1063656610462));
#17040 = CARTESIAN_POINT ('', (5.24619505077, -6.46058921406207, -0.775654287324954));
#17050 = CARTESIAN_POINT ('', (5.73614101421187, -0.149999999999995, -1.10211515378866));
#17060 = CARTESIAN_POINT ('', (6.05541969677901, -6.46058921406206, -0.768592290826209));
#17070 = CARTESIAN_POINT ('', (5.7531398064641, -0.149999999999996, -1.58889687422704));
#17080 = CARTESIAN_POINT ('', (6.08366230503597, -6.46058921406207, -1.57735477424257));
#17090 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#17030, #17040), (#17050, #17060), (#17070, #17080)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0., 0.245396693340996), (0.601846676643317, 0.999936917104417), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.712499890404712, 0.712499890404712), (0.989412390648285, 0.989412390648285)))
   REPRESENTATION_ITEM ('')
);
#17100 = ADVANCED_FACE ('', (#17020), #17090, .T.);
#17110 = CARTESIAN_POINT ('', (6.08366230503597, -6.46058921406206, -1.57735477424257));
#17120 = CARTESIAN_POINT ('', (6.14299572815919, -6.4948453818742, -3.225));
#17130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17110, #17120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17140 = EDGE_CURVE ('', #16850, #600, #17130, .T.);
#17150 = ORIENTED_EDGE ('', *, *, #17140, .F.);
#17160 = ORIENTED_EDGE ('', *, *, #16990, .F.);
#17170 = ORIENTED_EDGE ('', *, *, #3980, .T.);
#17180 = ORIENTED_EDGE ('', *, *, #690, .F.);
#17190 = EDGE_LOOP ('', (#17150, #17160, #17170, #17180));
#17200 = FACE_OUTER_BOUND ('', #17190, .T.);
#17210 = CARTESIAN_POINT ('', (6.14299572815919, -6.4948453818742, -3.225));
#17220 = CARTESIAN_POINT ('', (5.81067903354751, -0.149999999999996, -3.23660475469079));
#17230 = CARTESIAN_POINT ('', (6.08545650107578, -6.4948453818742, -1.57729211953624));
#17240 = CARTESIAN_POINT ('', (5.7531398064641, -0.149999999999996, -1.58889687422704));
#17250 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17210, #17220), (#17230, #17240)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00103429032372157, 1.64974652173214), (-6.35355270504145, -7.63278329429795E-17), .UNSPECIFIED.);
#17260 = ADVANCED_FACE ('', (#17200), #17250, .T.);
#17270 = ORIENTED_EDGE ('', *, *, #3710, .T.);
#17280 = ORIENTED_EDGE ('', *, *, #16740, .T.);
#17290 = ORIENTED_EDGE ('', *, *, #16920, .T.);
#17300 = ORIENTED_EDGE ('', *, *, #17140, .T.);
#17310 = ORIENTED_EDGE ('', *, *, #640, .T.);
#17320 = ORIENTED_EDGE ('', *, *, #16520, .T.);
#17330 = ORIENTED_EDGE ('', *, *, #2750, .F.);
#17340 = CARTESIAN_POINT ('', (5.90264370552738, -6.35607807690745, -0.200797585267749));
#17350 = VERTEX_POINT ('', #17340);
#17360 = CARTESIAN_POINT ('', (6.02270029489032, -6.42539278109413, -4.35804039513197E-14));
#17370 = CARTESIAN_POINT ('', (5.97740435753187, -6.39924115946704, -0.109199183667919));
#17380 = CARTESIAN_POINT ('', (5.90264370552738, -6.35607807690745, -0.200797585267749));
#17390 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#17360, #17370, #17380), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (202.519440713072, 219.622577398689), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.955982530610117, 0.933562875722584))
   REPRESENTATION_ITEM ('')
);
#17400 = EDGE_CURVE ('', #2620, #17350, #17390, .T.);
#17410 = ORIENTED_EDGE ('', *, *, #17400, .T.);
#17420 = CARTESIAN_POINT ('', (5.24641612095085, -5.97720490430254, -0.496675221890048));
#17430 = VERTEX_POINT ('', #17420);
#17440 = CARTESIAN_POINT ('', (5.90264370552738, -6.35607807690745, -0.200797585267749));
#17450 = CARTESIAN_POINT ('', (5.64836500277718, -6.20927019942544, -0.512345466516792));
#17460 = CARTESIAN_POINT ('', (5.24641612095085, -5.97720490430254, -0.496675221890048));
#17470 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#17440, #17450, #17460), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (219.622577398689, 272.233605120607), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.933562875722584, 0.864597684922478, 1.))
   REPRESENTATION_ITEM ('')
);
#17480 = EDGE_CURVE ('', #17350, #17430, #17470, .T.);
#17490 = ORIENTED_EDGE ('', *, *, #17480, .T.);
#17500 = CARTESIAN_POINT ('', (5.24641612095085, -5.97720490430254, -0.496675221890048));
#17510 = CARTESIAN_POINT ('', (1.23919059284742, -3.66363216694848, -0.340450868149859));
#17520 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17500, #17510), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17530 = EDGE_CURVE ('', #17430, #3670, #17520, .T.);
#17540 = ORIENTED_EDGE ('', *, *, #17530, .T.);
#17550 = EDGE_LOOP ('', (#17270, #17280, #17290, #17300, #17310, #17320, #17330, #17410, #17490, #17540));
#17560 = FACE_OUTER_BOUND ('', #17550, .T.);
#17570 = CARTESIAN_POINT ('', (1.04758557144386, -3.55300895626305, 4.35118104562943E-16));
#17580 = CARTESIAN_POINT ('', (8.75, -8., 9.79717439317882E-16));
#17590 = CARTESIAN_POINT ('', (1.04758557144386, -3.55300895626305, -3.225));
#17600 = CARTESIAN_POINT ('', (8.75, -8., -3.225));
#17610 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17570, #17580), (#17590, #17600)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.85, -0.625), (-8.89398208747389, 1.53837014910685E-15), .UNSPECIFIED.);
#17620 = ADVANCED_FACE ('', (#17560), #17610, .T.);
#17630 = CARTESIAN_POINT ('', (5.90264370552738, -6.35607807690745, -0.200797585267749));
#17640 = CARTESIAN_POINT ('', (5.64678086885462, -0.149999999999999, 4.62458911837273E-16));
#17650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17630, #17640), .UNSPECIFIED., .F., .U., (2, 2), (0.00444552551094836, 0.396814073924121), .UNSPECIFIED.);
#17660 = EDGE_CURVE ('', #17350, #2600, #17650, .T.);
#17670 = ORIENTED_EDGE ('', *, *, #17660, .T.);
#17680 = ORIENTED_EDGE ('', *, *, #4250, .T.);
#17690 = CARTESIAN_POINT ('', (5.24908112520536, -0.149999999999996, -0.191295981776807));
#17700 = CARTESIAN_POINT ('', (5.24641612095085, -5.97720490430254, -0.496675221890048));
#17710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17690, #17700), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17720 = EDGE_CURVE ('', #4150, #17430, #17710, .T.);
#17730 = ORIENTED_EDGE ('', *, *, #17720, .T.);
#17740 = ORIENTED_EDGE ('', *, *, #17480, .F.);
#17750 = EDGE_LOOP ('', (#17670, #17680, #17730, #17740));
#17760 = FACE_OUTER_BOUND ('', #17750, .T.);
#17770 = CARTESIAN_POINT ('', (5.64678086885462, -0.149999999999993, 5.73481214299788E-16));
#17780 = CARTESIAN_POINT ('', (5.9055013970705, -6.42539278109413, -0.20304026172972));
#17790 = CARTESIAN_POINT ('', (5.33809588909934, -0.149999999999993, -0.393336475900065));
#17800 = CARTESIAN_POINT ('', (5.3937761555855, -6.42539278109413, -0.855097265845672));
#17810 = CARTESIAN_POINT ('', (4.94475941319927, -0.149999999999993, -0.0846514961447869));
#17820 = CARTESIAN_POINT ('', (4.74171915146955, -6.42539278109413, -0.343372024360672));
#17830 = CARTESIAN_POINT ('', (4.55142293729921, -0.149999999999993, 0.224033483610492));
#17840 = CARTESIAN_POINT ('', (4.0896621473536, -6.42539278109413, 0.168353217124328));
#17850 = CARTESIAN_POINT ('', (4.86010791705449, -0.149999999999993, 0.617369959510558));
#17860 = CARTESIAN_POINT ('', (4.6013873888386, -6.42539278109413, 0.82041022124028));
#17870 = CARTESIAN_POINT ('', (5.16879289680976, -0.149999999999993, 1.01070643541062));
#17880 = CARTESIAN_POINT ('', (5.1131126303236, -6.42539278109413, 1.47246722535623));
#17890 = CARTESIAN_POINT ('', (5.56212937270983, -0.149999999999993, 0.702021455655345));
#17900 = CARTESIAN_POINT ('', (5.76516963443955, -6.42539278109413, 0.960741983871232));
#17910 = CARTESIAN_POINT ('', (5.9554658486099, -0.149999999999993, 0.393336475900066));
#17920 = CARTESIAN_POINT ('', (6.4172266385555, -6.42539278109413, 0.449016742386232));
#17930 = CARTESIAN_POINT ('', (5.64678086885462, -0.149999999999993, 5.73481214299788E-16));
#17940 = CARTESIAN_POINT ('', (5.9055013970705, -6.42539278109413, -0.20304026172972));
#17950 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#17770, #17780), (#17790, #17800), (#17810, #17820), (#17830, #17840), (#17850, #17860), (#17870, #17880), (#17890, #17900), (#17910, #17920), (#17930, #17940)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0.603185926075878, 0.999936776730239), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#17960 = ADVANCED_FACE ('', (#17760), #17950, .T.);
#17970 = ORIENTED_EDGE ('', *, *, #17530, .F.);
#17980 = ORIENTED_EDGE ('', *, *, #17720, .F.);
#17990 = ORIENTED_EDGE ('', *, *, #4190, .T.);
#18000 = ORIENTED_EDGE ('', *, *, #3780, .T.);
#18010 = EDGE_LOOP ('', (#17970, #17980, #17990, #18000));
#18020 = FACE_OUTER_BOUND ('', #18010, .T.);
#18030 = CARTESIAN_POINT ('', (0.514365313381973, -5.97720490430254, -0.455379240113242));
#18040 = CARTESIAN_POINT ('', (0.517030317636484, -0.149999999999995, -0.15));
#18050 = CARTESIAN_POINT ('', (5.24641612095085, -5.97720490430254, -0.496675221890049));
#18060 = CARTESIAN_POINT ('', (5.24908112520537, -0.149999999999996, -0.191295981776807));
#18070 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18030, #18040), (#18050, #18060)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00100868845856402, 4.73323968488342), (-5.83520184563203, 4.98299318474338E-16), .UNSPECIFIED.);
#18080 = ADVANCED_FACE ('', (#18020), #18070, .T.);
#18090 = ORIENTED_EDGE ('', *, *, #10660, .F.);
#18100 = ORIENTED_EDGE ('', *, *, #16060, .F.);
#18110 = ORIENTED_EDGE ('', *, *, #3050, .F.);
#18120 = EDGE_LOOP ('', (#18090, #18100, #18110));
#18130 = FACE_OUTER_BOUND ('', #18120, .T.);
#18140 = CARTESIAN_POINT ('', (24.8532191311454, -8.05000000000002, 2.15157484917004E-15));
#18150 = CARTESIAN_POINT ('', (24.5944986029295, -1.7746072189051, -0.203040261729746));
#18160 = CARTESIAN_POINT ('', (25.1619041109007, -8.05000000000003, -0.393336475900063));
#18170 = CARTESIAN_POINT ('', (25.1062238444145, -1.7746072189051, -0.85509726584573));
#18180 = CARTESIAN_POINT ('', (25.5552405868007, -8.05000000000002, -0.0846514961447851));
#18190 = CARTESIAN_POINT ('', (25.7582808485305, -1.7746072189051, -0.343372024360704));
#18200 = CARTESIAN_POINT ('', (25.9485770627008, -8.05000000000003, 0.224033483610492));
#18210 = CARTESIAN_POINT ('', (26.4103378526465, -1.7746072189051, 0.16835321712432));
#18220 = CARTESIAN_POINT ('', (25.6398920829455, -8.05000000000002, 0.617369959510558));
#18230 = CARTESIAN_POINT ('', (25.8986126111614, -1.7746072189051, 0.820410221240304));
#18240 = CARTESIAN_POINT ('', (25.3312071031902, -8.05000000000003, 1.01070643541062));
#18250 = CARTESIAN_POINT ('', (25.3868873696764, -1.7746072189051, 1.47246722535629));
#18260 = CARTESIAN_POINT ('', (24.9378706272902, -8.05000000000002, 0.702021455655345));
#18270 = CARTESIAN_POINT ('', (24.7348303655604, -1.7746072189051, 0.960741983871263));
#18280 = CARTESIAN_POINT ('', (24.5445341513901, -8.05000000000003, 0.393336475900068));
#18290 = CARTESIAN_POINT ('', (24.0827733614444, -1.7746072189051, 0.449016742386239));
#18300 = CARTESIAN_POINT ('', (24.8532191311454, -8.05000000000002, 2.15157484917004E-15));
#18310 = CARTESIAN_POINT ('', (24.5944986029295, -1.7746072189051, -0.203040261729746));
#18320 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#18140, #18150), (#18160, #18170), (#18180, #18190), (#18200, #18210), (#18220, #18230), (#18240, #18250), (#18260, #18270), (#18280, #18290), (#18300, #18310)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0.603185926075873, 0.99993677673028), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#18330 = ADVANCED_FACE ('', (#18130), #18320, .T.);
#18340 = ORIENTED_EDGE ('', *, *, #12920, .F.);
#18350 = ORIENTED_EDGE ('', *, *, #1740, .F.);
#18360 = ORIENTED_EDGE ('', *, *, #13230, .T.);
#18370 = ORIENTED_EDGE ('', *, *, #7720, .T.);
#18380 = EDGE_LOOP ('', (#18340, #18350, #18360, #18370));
#18390 = FACE_OUTER_BOUND ('', #18380, .T.);
#18400 = CARTESIAN_POINT ('', (13.1138786901616, -1.94245046426519, -3.95));
#18410 = CARTESIAN_POINT ('', (12.9282219893506, -1.75493137216307, -3.225));
#18420 = CARTESIAN_POINT ('', (10.9563291544268, -4.07857177410356, -3.95));
#18430 = CARTESIAN_POINT ('', (10.5831533615137, -4.07670938281246, -3.225));
#18440 = CARTESIAN_POINT ('', (13.0924504642652, -6.23612130983836, -3.95));
#18450 = CARTESIAN_POINT ('', (12.9049313721631, -6.42177801064939, -3.225));
#18460 = CARTESIAN_POINT ('', (15.2285717741036, -8.39367084557317, -3.95));
#18470 = CARTESIAN_POINT ('', (15.2267093828125, -8.76684663848632, -3.225));
#18480 = CARTESIAN_POINT ('', (17.3861213098384, -6.25754953573481, -3.95));
#18490 = CARTESIAN_POINT ('', (17.5717780106494, -6.44506862783693, -3.225));
#18500 = CARTESIAN_POINT ('', (19.5436708455732, -4.12142822589645, -3.95));
#18510 = CARTESIAN_POINT ('', (19.9168466384863, -4.12329061718754, -3.225));
#18520 = CARTESIAN_POINT ('', (17.4075495357348, -1.96387869016164, -3.95));
#18530 = CARTESIAN_POINT ('', (17.5950686278369, -1.77822198935061, -3.225));
#18540 = CARTESIAN_POINT ('', (15.2714282258964, 0.193670845573174, -3.95));
#18550 = CARTESIAN_POINT ('', (15.2732906171875, 0.566846638486318, -3.225));
#18560 = CARTESIAN_POINT ('', (13.1138786901616, -1.94245046426519, -3.95));
#18570 = CARTESIAN_POINT ('', (12.9282219893506, -1.75493137216307, -3.225));
#18580 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#18400, #18410), (#18420, #18430), (#18440, #18450), (#18460, #18470), (#18480, #18490), (#18500, #18510), (#18520, #18530), (#18540, #18550), (#18560, #18570)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0.919935379109563, 0.999889718153044), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#18590 = ADVANCED_FACE ('', (#18390), #18580, .T.);
#18600 = ORIENTED_EDGE ('', *, *, #15070, .F.);
#18610 = ORIENTED_EDGE ('', *, *, #810, .F.);
#18620 = ORIENTED_EDGE ('', *, *, #11080, .T.);
#18630 = ORIENTED_EDGE ('', *, *, #8630, .T.);
#18640 = EDGE_LOOP ('', (#18600, #18610, #18620, #18630));
#18650 = FACE_OUTER_BOUND ('', #18640, .T.);
#18660 = CARTESIAN_POINT ('', (15.25, -7.136121580157, -3.95));
#18670 = CARTESIAN_POINT ('', (15.25, -7.4, -3.22499999999999));
#18680 = CARTESIAN_POINT ('', (18.286121580157, -7.136121580157, -3.95));
#18690 = CARTESIAN_POINT ('', (18.55, -7.4, -3.22499999999999));
#18700 = CARTESIAN_POINT ('', (18.286121580157, -4.1, -3.95));
#18710 = CARTESIAN_POINT ('', (18.55, -4.1, -3.22499999999999));
#18720 = CARTESIAN_POINT ('', (18.286121580157, -1.063878419843, -3.95));
#18730 = CARTESIAN_POINT ('', (18.55, -0.799999999999998, -3.22499999999999));
#18740 = CARTESIAN_POINT ('', (15.25, -1.063878419843, -3.95));
#18750 = CARTESIAN_POINT ('', (15.25, -0.799999999999998, -3.22499999999999));
#18760 = CARTESIAN_POINT ('', (12.213878419843, -1.063878419843, -3.95));
#18770 = CARTESIAN_POINT ('', (11.95, -0.799999999999998, -3.22499999999999));
#18780 = CARTESIAN_POINT ('', (12.213878419843, -4.1, -3.95));
#18790 = CARTESIAN_POINT ('', (11.95, -4.1, -3.22499999999999));
#18800 = CARTESIAN_POINT ('', (12.213878419843, -7.136121580157, -3.95));
#18810 = CARTESIAN_POINT ('', (11.95, -7.4, -3.22499999999999));
#18820 = CARTESIAN_POINT ('', (15.25, -7.136121580157, -3.95));
#18830 = CARTESIAN_POINT ('', (15.25, -7.4, -3.22499999999999));
#18840 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#18660, #18670), (#18680, #18690), (#18700, #18710), (#18720, #18730), (#18740, #18750), (#18760, #18770), (#18780, #18790), (#18800, #18810), (#18820, #18830)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0.919935379109563, 0.999889718153044), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#18850 = ADVANCED_FACE ('', (#18650), #18840, .T.);
#18860 = ORIENTED_EDGE ('', *, *, #17660, .F.);
#18870 = ORIENTED_EDGE ('', *, *, #17400, .F.);
#18880 = ORIENTED_EDGE ('', *, *, #2680, .F.);
#18890 = EDGE_LOOP ('', (#18860, #18870, #18880));
#18900 = FACE_OUTER_BOUND ('', #18890, .T.);
#18910 = CARTESIAN_POINT ('', (5.64678086885462, -0.149999999999993, 5.73481214299788E-16));
#18920 = CARTESIAN_POINT ('', (5.9055013970705, -6.42539278109413, -0.20304026172972));
#18930 = CARTESIAN_POINT ('', (5.33809588909934, -0.149999999999993, -0.393336475900065));
#18940 = CARTESIAN_POINT ('', (5.3937761555855, -6.42539278109413, -0.855097265845672));
#18950 = CARTESIAN_POINT ('', (4.94475941319927, -0.149999999999993, -0.0846514961447869));
#18960 = CARTESIAN_POINT ('', (4.74171915146955, -6.42539278109413, -0.343372024360672));
#18970 = CARTESIAN_POINT ('', (4.55142293729921, -0.149999999999993, 0.224033483610492));
#18980 = CARTESIAN_POINT ('', (4.0896621473536, -6.42539278109413, 0.168353217124328));
#18990 = CARTESIAN_POINT ('', (4.86010791705449, -0.149999999999993, 0.617369959510558));
#19000 = CARTESIAN_POINT ('', (4.6013873888386, -6.42539278109413, 0.82041022124028));
#19010 = CARTESIAN_POINT ('', (5.16879289680976, -0.149999999999993, 1.01070643541062));
#19020 = CARTESIAN_POINT ('', (5.1131126303236, -6.42539278109413, 1.47246722535623));
#19030 = CARTESIAN_POINT ('', (5.56212937270983, -0.149999999999993, 0.702021455655345));
#19040 = CARTESIAN_POINT ('', (5.76516963443955, -6.42539278109413, 0.960741983871232));
#19050 = CARTESIAN_POINT ('', (5.9554658486099, -0.149999999999993, 0.393336475900066));
#19060 = CARTESIAN_POINT ('', (6.4172266385555, -6.42539278109413, 0.449016742386232));
#19070 = CARTESIAN_POINT ('', (5.64678086885462, -0.149999999999993, 5.73481214299788E-16));
#19080 = CARTESIAN_POINT ('', (5.9055013970705, -6.42539278109413, -0.20304026172972));
#19090 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#18910, #18920), (#18930, #18940), (#18950, #18960), (#18970, #18980), (#18990, #19000), (#19010, #19020), (#19030, #19040), (#19050, #19060), (#19070, #19080)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0.603185926075878, 0.999936776730239), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#19100 = ADVANCED_FACE ('', (#18900), #19090, .T.);
#19110 = CLOSED_SHELL ('', (#2580, #3560, #3920, #4410, #5110, #5710, #6050, #6390, #6730, #7070, #9030, #9390, #9810, #10090, #10290, #10600, #11020, #11230, #11390, #11550, #11720, #11890, #12050, #12220, #12390, #12550, #12710, #12880, #13170, #13380, #13540, #13700, #13870, #14040, #14200, #14370, #14540, #14700, #14860, #15030, #15330, #15530, #15740, #15900, #16170, #16330, #16450, #16610, #16830, #17100, #17260, #17620, #17960, #18080, #18330, #18590, #18850, #19100));
#19120 = MANIFOLD_SOLID_BREP ('Y261-1.0', #19110);
#19130 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#19140 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#19150 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#19160 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(0.001), #19130, 'DISTANCE_ACCURACY_VALUE', '');
#19170 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#19160))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#19130, #19140, #19150))
   REPRESENTATION_CONTEXT ('', '3D')
);
#19180 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#19120), #19170);
#19190 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#19200 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #19190);
#19210 = MECHANICAL_CONTEXT ('', #19190, 'mechanical');
#19220 = PRODUCT ('Y261-1.0', '', '', (#19210));
#19230 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#19240 = PERSON ('', '', $, $, $, $);
#19250 = ORGANIZATION ($, '', '');
#19260 = PERSON_AND_ORGANIZATION (#19240, #19250);
#19270 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19260, #19230, (#19220));
#19280 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#19220));
#19290 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #19220, .NOT_KNOWN.);
#19300 = APPROVAL_STATUS ('approved');
#19310 = APPROVAL (#19300, '');
#19320 = CALENDAR_DATE (2010, 18, 1);
#19330 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19340 = LOCAL_TIME (15, 26, 54., #19330);
#19350 = DATE_AND_TIME (#19320, #19340);
#19360 = APPROVAL_DATE_TIME (#19350, #19310);
#19370 = APPROVAL_ROLE ('');
#19380 = PERSON ('', '', $, $, $, $);
#19390 = ORGANIZATION ($, '', '');
#19400 = PERSON_AND_ORGANIZATION (#19380, #19390);
#19410 = APPROVAL_PERSON_ORGANIZATION (#19400, #19310, #19370);
#19420 = CC_DESIGN_APPROVAL (#19310, (#19290));
#19430 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#19440 = PERSON ('', '', $, $, $, $);
#19450 = ORGANIZATION ($, '', '');
#19460 = PERSON_AND_ORGANIZATION (#19440, #19450);
#19470 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19460, #19430, (#19290));
#19480 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#19490 = PERSON ('', '', $, $, $, $);
#19500 = ORGANIZATION ($, '', '');
#19510 = PERSON_AND_ORGANIZATION (#19490, #19500);
#19520 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19510, #19480, (#19290));
#19530 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#19540 = SECURITY_CLASSIFICATION ('', '', #19530);
#19550 = APPROVAL_STATUS ('approved');
#19560 = APPROVAL (#19550, '');
#19570 = CALENDAR_DATE (2010, 18, 1);
#19580 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19590 = LOCAL_TIME (15, 26, 54., #19580);
#19600 = DATE_AND_TIME (#19570, #19590);
#19610 = APPROVAL_DATE_TIME (#19600, #19560);
#19620 = APPROVAL_ROLE ('');
#19630 = PERSON ('', '', $, $, $, $);
#19640 = ORGANIZATION ($, '', '');
#19650 = PERSON_AND_ORGANIZATION (#19630, #19640);
#19660 = APPROVAL_PERSON_ORGANIZATION (#19650, #19560, #19620);
#19670 = CC_DESIGN_APPROVAL (#19560, (#19540));
#19680 = DATE_TIME_ROLE ('classification_date');
#19690 = CALENDAR_DATE (2010, 18, 1);
#19700 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19710 = LOCAL_TIME (15, 26, 54., #19700);
#19720 = DATE_AND_TIME (#19690, #19710);
#19730 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#19720, #19680, (#19540));
#19740 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#19750 = PERSON ('', '', $, $, $, $);
#19760 = ORGANIZATION ($, '', '');
#19770 = PERSON_AND_ORGANIZATION (#19750, #19760);
#19780 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19770, #19740, (#19540));
#19790 = CC_DESIGN_SECURITY_CLASSIFICATION (#19540, (#19290));
#19800 = DESIGN_CONTEXT ('', #19190, 'design');
#19810 = PRODUCT_DEFINITION ('', '', #19290, #19800);
#19820 = APPROVAL_STATUS ('approved');
#19830 = APPROVAL (#19820, '');
#19840 = CALENDAR_DATE (2010, 18, 1);
#19850 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19860 = LOCAL_TIME (15, 26, 54., #19850);
#19870 = DATE_AND_TIME (#19840, #19860);
#19880 = APPROVAL_DATE_TIME (#19870, #19830);
#19890 = APPROVAL_ROLE ('');
#19900 = PERSON ('', '', $, $, $, $);
#19910 = ORGANIZATION ($, '', '');
#19920 = PERSON_AND_ORGANIZATION (#19900, #19910);
#19930 = APPROVAL_PERSON_ORGANIZATION (#19920, #19830, #19890);
#19940 = CC_DESIGN_APPROVAL (#19830, (#19810));
#19950 = DATE_TIME_ROLE ('creation_date');
#19960 = CALENDAR_DATE (2010, 18, 1);
#19970 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19980 = LOCAL_TIME (15, 26, 54., #19970);
#19990 = DATE_AND_TIME (#19960, #19980);
#20000 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#19990, #19950, (#19810));
#20010 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#20020 = PERSON ('', '', $, $, $, $);
#20030 = ORGANIZATION ($, '', '');
#20040 = PERSON_AND_ORGANIZATION (#20020, #20030);
#20050 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#20040, #20010, (#19810));
#20060 = PRODUCT_DEFINITION_SHAPE ('', '', #19810);
#20070 = SHAPE_DEFINITION_REPRESENTATION (#20060, #19180);
ENDSEC;
END-ISO-10303-21;