ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('Q:\\Ahmet Kadagan\\Arno\\HSA\\HSA\\TestOutput\\2017.2.9_13.30.43\\step\\HSA 1616L-SA2402-44_mirrored.stp', '2017-02-09T14:30:43', ('TDM Systems GmbH'), ('TDM Systems GmbH'), 'HarmonyWare STEP v2.0.2.9', 'TDM', '');
FILE_SCHEMA (('CONFIG_CONTROL_DESIGN'));
ENDSEC;

DATA;
#10 = CARTESIAN_POINT ('', (39.5, 6.50000000000001, 11.2535596730467));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (39.5, 6.50000000000001, -4.));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (39.5, 6.50000000000001, 11.2535596730467));
#60 = CARTESIAN_POINT ('', (39.5, 6.50000000000001, -4.));
#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, .F.);
#100 = CARTESIAN_POINT ('', (39.5, 8.00000000000001, 11.2535596730467));
#110 = VERTEX_POINT ('', #100);
#120 = CARTESIAN_POINT ('', (39.5, 6.50000000000001, 11.2535596730467));
#130 = CARTESIAN_POINT ('', (39.5, 8.00000000000001, 11.2535596730467));
#140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#120, #130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#150 = EDGE_CURVE ('', #20, #110, #140, .T.);
#160 = ORIENTED_EDGE ('', *, *, #150, .T.);
#170 = CARTESIAN_POINT ('', (39.5, 8.00000000000001, -4.));
#180 = VERTEX_POINT ('', #170);
#190 = CARTESIAN_POINT ('', (39.5, 8.00000000000001, 11.2535596730467));
#200 = CARTESIAN_POINT ('', (39.5, 8.00000000000001, -4.));
#210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#190, #200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#220 = EDGE_CURVE ('', #110, #180, #210, .T.);
#230 = ORIENTED_EDGE ('', *, *, #220, .T.);
#240 = CARTESIAN_POINT ('', (39.5, 8.00000000000001, -4.));
#250 = CARTESIAN_POINT ('', (39.5, 6.50000000000001, -4.));
#260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#240, #250), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#270 = EDGE_CURVE ('', #180, #40, #260, .T.);
#280 = ORIENTED_EDGE ('', *, *, #270, .T.);
#290 = EDGE_LOOP ('', (#90, #160, #230, #280));
#300 = FACE_OUTER_BOUND ('', #290, .F.);
#310 = CARTESIAN_POINT ('', (39.5, 8.00100000000001, -4.001));
#320 = CARTESIAN_POINT ('', (39.5, 8.00100000000001, 11.2545596730467));
#330 = CARTESIAN_POINT ('', (39.5, 6.49900000000001, -4.001));
#340 = CARTESIAN_POINT ('', (39.5, 6.49900000000001, 11.2545596730467));
#350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#310, #320), (#330, #340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (14.499, 16.001), (-4.00099999999999, 11.2545596730467), .UNSPECIFIED.);
#360 = ADVANCED_FACE ('', (#300), #350, .F.);
#370 = CARTESIAN_POINT ('', (25.4728421206611, 6.50000000000001, -4.));
#380 = VERTEX_POINT ('', #370);
#390 = CARTESIAN_POINT ('', (18.6379045206529, 6.50000000000001, 9.79473984571502));
#400 = VERTEX_POINT ('', #390);
#410 = CARTESIAN_POINT ('', (25.4728421206611, 6.50000000000001, -4.00000000000004));
#420 = CARTESIAN_POINT ('', (20.2563798075475, 6.50000000000001, 2.00601506278433));
#430 = CARTESIAN_POINT ('', (18.6379045206529, 6.50000000000001, 9.79473984571499));
#440 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#410, #420, #430), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (319.024389657405, 348.261153997689), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.967628249420372, 1.))
   REPRESENTATION_ITEM ('')
);
#450 = EDGE_CURVE ('', #380, #400, #440, .T.);
#460 = ORIENTED_EDGE ('', *, *, #450, .T.);
#470 = CARTESIAN_POINT ('', (18.6379045206529, 6.50000000000001, 9.79473984571502));
#480 = CARTESIAN_POINT ('', (39.5, 6.50000000000001, 11.2535596730467));
#490 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#470, #480), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#500 = EDGE_CURVE ('', #400, #20, #490, .T.);
#510 = ORIENTED_EDGE ('', *, *, #500, .T.);
#520 = ORIENTED_EDGE ('', *, *, #80, .T.);
#530 = CARTESIAN_POINT ('', (25.4728421206611, 6.50000000000001, -4.));
#540 = CARTESIAN_POINT ('', (39.5, 6.50000000000001, -4.));
#550 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#530, #540), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#560 = EDGE_CURVE ('', #380, #40, #550, .T.);
#570 = ORIENTED_EDGE ('', *, *, #560, .F.);
#580 = EDGE_LOOP ('', (#460, #510, #520, #570));
#590 = FACE_OUTER_BOUND ('', #580, .F.);
#600 = CARTESIAN_POINT ('', (39.501, 6.50000000000001, -4.00100000000004));
#610 = CARTESIAN_POINT ('', (39.501, 6.50000000000001, 11.2545596730467));
#620 = CARTESIAN_POINT ('', (18.6369045206529, 6.50000000000001, -4.00100000000004));
#630 = CARTESIAN_POINT ('', (18.6369045206529, 6.50000000000001, 11.2545596730467));
#640 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#600, #610), (#620, #630)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (8.999, 29.8630954793471), (-20.001, -4.74544032695325), .UNSPECIFIED.);
#650 = ADVANCED_FACE ('', (#590), #640, .F.);
#660 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -7.99999999999999, -0.200000000000011));
#670 = VERTEX_POINT ('', #660);
#680 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8.00000000000001, -0.20000000000001));
#690 = VERTEX_POINT ('', #680);
#700 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -7.99999999999999, -0.200000000000011));
#710 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8.00000000000001, -0.20000000000001));
#720 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#700, #710), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#730 = EDGE_CURVE ('', #670, #690, #720, .T.);
#740 = ORIENTED_EDGE ('', *, *, #730, .T.);
#750 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8.00000000000001, -9.91963907309356E-15));
#760 = VERTEX_POINT ('', #750);
#770 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8.00000000000001, -0.20000000000001));
#780 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8.00000000000001, -9.90874049477952E-15));
#790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#770, #780), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#800 = EDGE_CURVE ('', #690, #760, #790, .T.);
#810 = ORIENTED_EDGE ('', *, *, #800, .T.);
#820 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -7.99999999999999, -4.89858719658941E-16));
#830 = VERTEX_POINT ('', #820);
#840 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8.00000000000001, -9.91963907309356E-15));
#850 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -7.99999999999999, -4.89858719658941E-16));
#860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#840, #850), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#870 = EDGE_CURVE ('', #760, #830, #860, .T.);
#880 = ORIENTED_EDGE ('', *, *, #870, .T.);
#890 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -7.99999999999999, -0.200000000000011));
#900 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -7.99999999999999, -4.9960036108132E-16));
#910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#890, #900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#920 = EDGE_CURVE ('', #670, #830, #910, .T.);
#930 = ORIENTED_EDGE ('', *, *, #920, .F.);
#940 = EDGE_LOOP ('', (#740, #810, #880, #930));
#950 = FACE_OUTER_BOUND ('', #940, .F.);
#960 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -8.001, -0.201000000000011));
#970 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -8.001, 0.000999999999999494));
#980 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8.001, -0.20100000000001));
#990 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8.001, 0.00100000000000049));
#1000 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#960, #970), (#980, #990)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-55.7030150622106, -39.7010150622106), (-0.20100000000001, 0.001), .UNSPECIFIED.);
#1010 = ADVANCED_FACE ('', (#950), #1000, .F.);
#1020 = ORIENTED_EDGE ('', *, *, #870, .F.);
#1030 = CARTESIAN_POINT ('', (-85., 8., 4.89858719658941E-16));
#1040 = VERTEX_POINT ('', #1030);
#1050 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8.00000000000001, -9.91963907309356E-15));
#1060 = CARTESIAN_POINT ('', (-85., 8., 4.89858719658941E-16));
#1070 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1050, #1060), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1080 = EDGE_CURVE ('', #760, #1040, #1070, .T.);
#1090 = ORIENTED_EDGE ('', *, *, #1080, .T.);
#1100 = CARTESIAN_POINT ('', (-85., -8., -4.89858719658941E-16));
#1110 = VERTEX_POINT ('', #1100);
#1120 = CARTESIAN_POINT ('', (-85., -8., -4.89858719658941E-16));
#1130 = CARTESIAN_POINT ('', (-85., 8., 4.89858719658941E-16));
#1140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1120, #1130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1150 = EDGE_CURVE ('', #1110, #1040, #1140, .T.);
#1160 = ORIENTED_EDGE ('', *, *, #1150, .F.);
#1170 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -7.99999999999999, -4.89858719658941E-16));
#1180 = CARTESIAN_POINT ('', (-85., -8., -4.89858719658941E-16));
#1190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1170, #1180), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1200 = EDGE_CURVE ('', #830, #1110, #1190, .T.);
#1210 = ORIENTED_EDGE ('', *, *, #1200, .F.);
#1220 = EDGE_LOOP ('', (#1020, #1090, #1160, #1210));
#1230 = FACE_OUTER_BOUND ('', #1220, .F.);
#1240 = CARTESIAN_POINT ('', (0.000999999999990564, 8.00100000000001, -9.91970030543352E-15));
#1250 = CARTESIAN_POINT ('', (0.000999999999990564, -8.001, -1.08995402094313E-14));
#1260 = CARTESIAN_POINT ('', (-85.001, 8.001, 4.90042416678814E-16));
#1270 = CARTESIAN_POINT ('', (-85.001, -8.00100000000001, -4.89797487318966E-16));
#1280 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1240, #1250), (#1260, #1270)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000477, 85.001), (-16.001, 0.00100000000000122), .UNSPECIFIED.);
#1290 = ADVANCED_FACE ('', (#1230), #1280, .F.);
#1300 = CARTESIAN_POINT ('', (-85., 8., 16.));
#1310 = VERTEX_POINT ('', #1300);
#1320 = CARTESIAN_POINT ('', (-85., 8., 4.89858719658941E-16));
#1330 = CARTESIAN_POINT ('', (-85., 8., 16.));
#1340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1320, #1330), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1350 = EDGE_CURVE ('', #1040, #1310, #1340, .T.);
#1360 = ORIENTED_EDGE ('', *, *, #1350, .T.);
#1370 = CARTESIAN_POINT ('', (-85., -8., 16.));
#1380 = VERTEX_POINT ('', #1370);
#1390 = CARTESIAN_POINT ('', (-85., -8., 16.));
#1400 = CARTESIAN_POINT ('', (-85., 8., 16.));
#1410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1390, #1400), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1420 = EDGE_CURVE ('', #1380, #1310, #1410, .T.);
#1430 = ORIENTED_EDGE ('', *, *, #1420, .F.);
#1440 = CARTESIAN_POINT ('', (-85., -8., -4.89858719658941E-16));
#1450 = CARTESIAN_POINT ('', (-85., -8., 16.));
#1460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1440, #1450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1470 = EDGE_CURVE ('', #1110, #1380, #1460, .T.);
#1480 = ORIENTED_EDGE ('', *, *, #1470, .F.);
#1490 = ORIENTED_EDGE ('', *, *, #1150, .T.);
#1500 = EDGE_LOOP ('', (#1360, #1430, #1480, #1490));
#1510 = FACE_OUTER_BOUND ('', #1500, .F.);
#1520 = CARTESIAN_POINT ('', (-85., -8.001, -0.00100000000000049));
#1530 = CARTESIAN_POINT ('', (-85., -8.001, 16.001));
#1540 = CARTESIAN_POINT ('', (-85., 8.001, -0.00099999999999951));
#1550 = CARTESIAN_POINT ('', (-85., 8.001, 16.001));
#1560 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1520, #1530), (#1540, #1550)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-16.001, 0.00100000000000122), (-0.001, 16.001), .UNSPECIFIED.);
#1570 = ADVANCED_FACE ('', (#1510), #1560, .F.);
#1580 = CARTESIAN_POINT ('', (1., 8., 16.));
#1590 = VERTEX_POINT ('', #1580);
#1600 = CARTESIAN_POINT ('', (-85., 8., 16.));
#1610 = CARTESIAN_POINT ('', (1., 8., 16.));
#1620 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1600, #1610), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1630 = EDGE_CURVE ('', #1310, #1590, #1620, .T.);
#1640 = ORIENTED_EDGE ('', *, *, #1630, .T.);
#1650 = CARTESIAN_POINT ('', (1., -8., 16.));
#1660 = VERTEX_POINT ('', #1650);
#1670 = CARTESIAN_POINT ('', (1., 8., 16.));
#1680 = CARTESIAN_POINT ('', (1., -8., 16.));
#1690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1670, #1680), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1700 = EDGE_CURVE ('', #1590, #1660, #1690, .T.);
#1710 = ORIENTED_EDGE ('', *, *, #1700, .T.);
#1720 = CARTESIAN_POINT ('', (-85., -8., 16.));
#1730 = CARTESIAN_POINT ('', (1., -8., 16.));
#1740 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1720, #1730), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1750 = EDGE_CURVE ('', #1380, #1660, #1740, .T.);
#1760 = ORIENTED_EDGE ('', *, *, #1750, .F.);
#1770 = ORIENTED_EDGE ('', *, *, #1420, .T.);
#1780 = EDGE_LOOP ('', (#1640, #1710, #1760, #1770));
#1790 = FACE_OUTER_BOUND ('', #1780, .F.);
#1800 = CARTESIAN_POINT ('', (-85.001, 8.001, 16.));
#1810 = CARTESIAN_POINT ('', (-85.001, -8.001, 16.));
#1820 = CARTESIAN_POINT ('', (1.001, 8.001, 16.));
#1830 = CARTESIAN_POINT ('', (1.001, -8.001, 16.));
#1840 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1800, #1810), (#1820, #1830)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-86.001, 0.001), (-16.001, 0.00100000000000122), .UNSPECIFIED.);
#1850 = ADVANCED_FACE ('', (#1790), #1840, .F.);
#1860 = CARTESIAN_POINT ('', (2., -8., 17.));
#1870 = VERTEX_POINT ('', #1860);
#1880 = CARTESIAN_POINT ('', (2., -8., 24.));
#1890 = VERTEX_POINT ('', #1880);
#1900 = CARTESIAN_POINT ('', (2., -8., 17.));
#1910 = CARTESIAN_POINT ('', (2., -8., 24.));
#1920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1900, #1910), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1930 = EDGE_CURVE ('', #1870, #1890, #1920, .T.);
#1940 = ORIENTED_EDGE ('', *, *, #1930, .F.);
#1950 = CARTESIAN_POINT ('', (2., 8., 17.));
#1960 = VERTEX_POINT ('', #1950);
#1970 = CARTESIAN_POINT ('', (2., -8., 17.));
#1980 = CARTESIAN_POINT ('', (2., 8., 17.));
#1990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1970, #1980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2000 = EDGE_CURVE ('', #1870, #1960, #1990, .T.);
#2010 = ORIENTED_EDGE ('', *, *, #2000, .T.);
#2020 = CARTESIAN_POINT ('', (2., 8., 24.));
#2030 = VERTEX_POINT ('', #2020);
#2040 = CARTESIAN_POINT ('', (2., 8., 17.));
#2050 = CARTESIAN_POINT ('', (2., 8., 24.));
#2060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2040, #2050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2070 = EDGE_CURVE ('', #1960, #2030, #2060, .T.);
#2080 = ORIENTED_EDGE ('', *, *, #2070, .T.);
#2090 = CARTESIAN_POINT ('', (2., -8., 24.));
#2100 = CARTESIAN_POINT ('', (2., 8., 24.));
#2110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2090, #2100), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2120 = EDGE_CURVE ('', #1890, #2030, #2110, .T.);
#2130 = ORIENTED_EDGE ('', *, *, #2120, .F.);
#2140 = EDGE_LOOP ('', (#1940, #2010, #2080, #2130));
#2150 = FACE_OUTER_BOUND ('', #2140, .F.);
#2160 = CARTESIAN_POINT ('', (2., -8.001, 16.999));
#2170 = CARTESIAN_POINT ('', (2., -8.001, 24.001));
#2180 = CARTESIAN_POINT ('', (2., 8.001, 16.999));
#2190 = CARTESIAN_POINT ('', (2., 8.001, 24.001));
#2200 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2160, #2170), (#2180, #2190)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-16.001, 0.00100000000000122), (0.998999999999999, 8.001), .UNSPECIFIED.);
#2210 = ADVANCED_FACE ('', (#2150), #2200, .F.);
#2220 = CARTESIAN_POINT ('', (23.6313969590181, 8.00000000000001, 24.));
#2230 = VERTEX_POINT ('', #2220);
#2240 = CARTESIAN_POINT ('', (2., 8., 24.));
#2250 = CARTESIAN_POINT ('', (23.6313969590181, 8.00000000000001, 24.));
#2260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2240, #2250), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2270 = EDGE_CURVE ('', #2030, #2230, #2260, .T.);
#2280 = ORIENTED_EDGE ('', *, *, #2270, .T.);
#2290 = CARTESIAN_POINT ('', (23.6313969590181, 6.50000000000001, 24.));
#2300 = VERTEX_POINT ('', #2290);
#2310 = CARTESIAN_POINT ('', (23.6313969590181, 6.50000000000001, 24.));
#2320 = CARTESIAN_POINT ('', (23.6313969590181, 8.00000000000001, 24.));
#2330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2310, #2320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2340 = EDGE_CURVE ('', #2300, #2230, #2330, .T.);
#2350 = ORIENTED_EDGE ('', *, *, #2340, .F.);
#2360 = CARTESIAN_POINT ('', (18., 6.50000000000001, 24.));
#2370 = VERTEX_POINT ('', #2360);
#2380 = CARTESIAN_POINT ('', (18., 6.50000000000001, 24.));
#2390 = CARTESIAN_POINT ('', (23.6313969590181, 6.50000000000001, 24.));
#2400 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2380, #2390), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2410 = EDGE_CURVE ('', #2370, #2300, #2400, .T.);
#2420 = ORIENTED_EDGE ('', *, *, #2410, .F.);
#2430 = CARTESIAN_POINT ('', (17., 5.50000000000001, 24.));
#2440 = VERTEX_POINT ('', #2430);
#2450 = CARTESIAN_POINT ('', (18., 6.50000000000001, 24.));
#2460 = CARTESIAN_POINT ('', (17., 6.50000000000001, 24.));
#2470 = CARTESIAN_POINT ('', (17., 5.50000000000001, 24.));
#2480 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2450, #2460, #2470), .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 ('')
);
#2490 = EDGE_CURVE ('', #2370, #2440, #2480, .T.);
#2500 = ORIENTED_EDGE ('', *, *, #2490, .T.);
#2510 = CARTESIAN_POINT ('', (17., -7.99999999999999, 24.));
#2520 = VERTEX_POINT ('', #2510);
#2530 = CARTESIAN_POINT ('', (17., 5.50000000000001, 24.));
#2540 = CARTESIAN_POINT ('', (17., -7.99999999999999, 24.));
#2550 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2530, #2540), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2560 = EDGE_CURVE ('', #2440, #2520, #2550, .T.);
#2570 = ORIENTED_EDGE ('', *, *, #2560, .T.);
#2580 = CARTESIAN_POINT ('', (2., -8., 24.));
#2590 = CARTESIAN_POINT ('', (17., -7.99999999999999, 24.));
#2600 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2580, #2590), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2610 = EDGE_CURVE ('', #1890, #2520, #2600, .T.);
#2620 = ORIENTED_EDGE ('', *, *, #2610, .F.);
#2630 = ORIENTED_EDGE ('', *, *, #2120, .T.);
#2640 = EDGE_LOOP ('', (#2280, #2350, #2420, #2500, #2570, #2620, #2630));
#2650 = FACE_OUTER_BOUND ('', #2640, .F.);
#2660 = CARTESIAN_POINT ('', (1.999, 8.001, 24.));
#2670 = CARTESIAN_POINT ('', (1.999, -8.001, 24.));
#2680 = CARTESIAN_POINT ('', (23.6323969590181, 8.00100000000001, 24.));
#2690 = CARTESIAN_POINT ('', (23.6323969590181, -8.00099999999999, 24.));
#2700 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2660, #2670), (#2680, #2690)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-21.6323969590181, 0.00100000000000477), (-16.001, 0.00100000000000122), .UNSPECIFIED.);
#2710 = ADVANCED_FACE ('', (#2650), #2700, .F.);
#2720 = ORIENTED_EDGE ('', *, *, #2610, .T.);
#2730 = CARTESIAN_POINT ('', (17., -7.99999999999999, 16.));
#2740 = VERTEX_POINT ('', #2730);
#2750 = CARTESIAN_POINT ('', (17., -7.99999999999999, 16.));
#2760 = CARTESIAN_POINT ('', (17., -7.99999999999999, 24.));
#2770 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2750, #2760), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2780 = EDGE_CURVE ('', #2740, #2520, #2770, .T.);
#2790 = ORIENTED_EDGE ('', *, *, #2780, .F.);
#2800 = CARTESIAN_POINT ('', (24.1638129527241, -7.99999999999999, -4.));
#2810 = VERTEX_POINT ('', #2800);
#2820 = CARTESIAN_POINT ('', (24.1638129527241, -7.99999999999999, -4.00000000000002));
#2830 = CARTESIAN_POINT ('', (17., -7.99999999999999, 4.71699459945955));
#2840 = CARTESIAN_POINT ('', (17., -7.99999999999999, 16.));
#2850 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2820, #2830, #2840), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (320.585901643846, 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.941429064396301, 1.))
   REPRESENTATION_ITEM ('')
);
#2860 = EDGE_CURVE ('', #2810, #2740, #2850, .T.);
#2870 = ORIENTED_EDGE ('', *, *, #2860, .F.);
#2880 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -7.99999999999999, -4.));
#2890 = VERTEX_POINT ('', #2880);
#2900 = CARTESIAN_POINT ('', (24.1638129527241, -7.99999999999999, -4.));
#2910 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -7.99999999999999, -4.));
#2920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2900, #2910), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2930 = EDGE_CURVE ('', #2810, #2890, #2920, .T.);
#2940 = ORIENTED_EDGE ('', *, *, #2930, .T.);
#2950 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -7.99999999999999, -3.2));
#2960 = VERTEX_POINT ('', #2950);
#2970 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -7.99999999999999, -4.));
#2980 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -7.99999999999999, -3.2));
#2990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2970, #2980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3000 = EDGE_CURVE ('', #2890, #2960, #2990, .T.);
#3010 = ORIENTED_EDGE ('', *, *, #3000, .T.);
#3020 = CARTESIAN_POINT ('', (0.200000000000003, -7.99999999999999, -3.2));
#3030 = VERTEX_POINT ('', #3020);
#3040 = CARTESIAN_POINT ('', (0.200000000000003, -7.99999999999999, -3.2));
#3050 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -7.99999999999999, -3.2));
#3060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3040, #3050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3070 = EDGE_CURVE ('', #3030, #2960, #3060, .T.);
#3080 = ORIENTED_EDGE ('', *, *, #3070, .F.);
#3090 = CARTESIAN_POINT ('', (0.200000000000003, -7.99999999999999, -0.200000000000011));
#3100 = VERTEX_POINT ('', #3090);
#3110 = CARTESIAN_POINT ('', (0.200000000000003, -7.99999999999999, -0.200000000000011));
#3120 = CARTESIAN_POINT ('', (0.200000000000003, -7.99999999999999, -3.2));
#3130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3110, #3120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3140 = EDGE_CURVE ('', #3100, #3030, #3130, .T.);
#3150 = ORIENTED_EDGE ('', *, *, #3140, .F.);
#3160 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -7.99999999999999, -0.200000000000011));
#3170 = CARTESIAN_POINT ('', (0.200000000000003, -7.99999999999999, -0.200000000000011));
#3180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3160, #3170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3190 = EDGE_CURVE ('', #670, #3100, #3180, .T.);
#3200 = ORIENTED_EDGE ('', *, *, #3190, .F.);
#3210 = ORIENTED_EDGE ('', *, *, #920, .T.);
#3220 = ORIENTED_EDGE ('', *, *, #1200, .T.);
#3230 = ORIENTED_EDGE ('', *, *, #1470, .T.);
#3240 = ORIENTED_EDGE ('', *, *, #1750, .T.);
#3250 = CARTESIAN_POINT ('', (1., -8., 16.));
#3260 = CARTESIAN_POINT ('', (2., -7.99999999999999, 16.));
#3270 = CARTESIAN_POINT ('', (2., -8., 17.));
#3280 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3250, #3260, #3270), .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 ('')
);
#3290 = EDGE_CURVE ('', #1660, #1870, #3280, .T.);
#3300 = ORIENTED_EDGE ('', *, *, #3290, .T.);
#3310 = ORIENTED_EDGE ('', *, *, #1930, .T.);
#3320 = EDGE_LOOP ('', (#2720, #2790, #2870, #2940, #3010, #3080, #3150, #3200, #3210, #3220, #3230, #3240, #3300, #3310));
#3330 = FACE_OUTER_BOUND ('', #3320, .F.);
#3340 = CARTESIAN_POINT ('', (24.1648129527241, -7.99999999999999, -4.00100000000002));
#3350 = CARTESIAN_POINT ('', (24.1648129527241, -7.99999999999999, 24.001));
#3360 = CARTESIAN_POINT ('', (-85.001, -8., -4.00100000000002));
#3370 = CARTESIAN_POINT ('', (-85.001, -8., 24.001));
#3380 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3340, #3350), (#3360, #3370)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-124.501, -15.3351870472759), (-4.00100000000001, 24.001), .UNSPECIFIED.);
#3390 = ADVANCED_FACE ('', (#3330), #3380, .F.);
#3400 = CARTESIAN_POINT ('', (17.044710493533, 8.00000000000001, 9.68333286659109));
#3410 = VERTEX_POINT ('', #3400);
#3420 = CARTESIAN_POINT ('', (39.5, 8.00000000000001, 11.2535596730467));
#3430 = CARTESIAN_POINT ('', (17.044710493533, 8.00000000000001, 9.68333286659109));
#3440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3420, #3430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3450 = EDGE_CURVE ('', #110, #3410, #3440, .T.);
#3460 = ORIENTED_EDGE ('', *, *, #3450, .T.);
#3470 = CARTESIAN_POINT ('', (16.9205439702685, 8.00000000000001, 11.4589968760536));
#3480 = VERTEX_POINT ('', #3470);
#3490 = CARTESIAN_POINT ('', (16.9205439702685, 8.00000000000001, 11.4589968760536));
#3500 = CARTESIAN_POINT ('', (17.044710493533, 8.00000000000001, 9.68333286659109));
#3510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3490, #3500), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3520 = EDGE_CURVE ('', #3480, #3410, #3510, .T.);
#3530 = ORIENTED_EDGE ('', *, *, #3520, .F.);
#3540 = CARTESIAN_POINT ('', (15.4241978948788, 8.00000000000001, 11.3543621654374));
#3550 = VERTEX_POINT ('', #3540);
#3560 = CARTESIAN_POINT ('', (15.4241978948788, 8.00000000000001, 11.3543621654374));
#3570 = CARTESIAN_POINT ('', (16.9205439702685, 8.00000000000001, 11.4589968760536));
#3580 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3560, #3570), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3590 = EDGE_CURVE ('', #3550, #3480, #3580, .T.);
#3600 = ORIENTED_EDGE ('', *, *, #3590, .F.);
#3610 = CARTESIAN_POINT ('', (15.1800502367743, 8., 14.8458363413468));
#3620 = VERTEX_POINT ('', #3610);
#3630 = CARTESIAN_POINT ('', (15.1800502367743, 8., 14.8458363413468));
#3640 = CARTESIAN_POINT ('', (15.4241978948788, 8.00000000000001, 11.3543621654374));
#3650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3630, #3640), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3660 = EDGE_CURVE ('', #3620, #3550, #3650, .T.);
#3670 = ORIENTED_EDGE ('', *, *, #3660, .F.);
#3680 = CARTESIAN_POINT ('', (35., 8.00000000000001, 16.2317822411696));
#3690 = VERTEX_POINT ('', #3680);
#3700 = CARTESIAN_POINT ('', (35., 8.00000000000001, 16.2317822411696));
#3710 = CARTESIAN_POINT ('', (15.1800502367743, 8., 14.8458363413468));
#3720 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3700, #3710), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3730 = EDGE_CURVE ('', #3690, #3620, #3720, .T.);
#3740 = ORIENTED_EDGE ('', *, *, #3730, .F.);
#3750 = CARTESIAN_POINT ('', (32.15, 8.00000000000001, 19.0817822411696));
#3760 = VERTEX_POINT ('', #3750);
#3770 = CARTESIAN_POINT ('', (32.15, 8.00000000000001, 19.0817822411696));
#3780 = CARTESIAN_POINT ('', (35., 8.00000000000001, 16.2317822411696));
#3790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3770, #3780), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3800 = EDGE_CURVE ('', #3760, #3690, #3790, .T.);
#3810 = ORIENTED_EDGE ('', *, *, #3800, .F.);
#3820 = CARTESIAN_POINT ('', (23.6313969590181, 8.00000000000001, 24.));
#3830 = CARTESIAN_POINT ('', (32.15, 8.00000000000001, 19.0817822411696));
#3840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3820, #3830), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3850 = EDGE_CURVE ('', #2230, #3760, #3840, .T.);
#3860 = ORIENTED_EDGE ('', *, *, #3850, .F.);
#3870 = ORIENTED_EDGE ('', *, *, #2270, .F.);
#3880 = ORIENTED_EDGE ('', *, *, #2070, .F.);
#3890 = CARTESIAN_POINT ('', (2., 8., 17.));
#3900 = CARTESIAN_POINT ('', (2., 8., 16.));
#3910 = CARTESIAN_POINT ('', (1., 8., 16.));
#3920 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3890, #3900, #3910), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 90.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#3930 = EDGE_CURVE ('', #1960, #1590, #3920, .T.);
#3940 = ORIENTED_EDGE ('', *, *, #3930, .T.);
#3950 = ORIENTED_EDGE ('', *, *, #1630, .F.);
#3960 = ORIENTED_EDGE ('', *, *, #1350, .F.);
#3970 = ORIENTED_EDGE ('', *, *, #1080, .F.);
#3980 = ORIENTED_EDGE ('', *, *, #800, .F.);
#3990 = CARTESIAN_POINT ('', (0.200000000000003, 8.00000000000001, -0.20000000000001));
#4000 = VERTEX_POINT ('', #3990);
#4010 = CARTESIAN_POINT ('', (0.200000000000003, 8.00000000000001, -0.20000000000001));
#4020 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8.00000000000001, -0.20000000000001));
#4030 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4010, #4020), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4040 = EDGE_CURVE ('', #4000, #690, #4030, .T.);
#4050 = ORIENTED_EDGE ('', *, *, #4040, .F.);
#4060 = CARTESIAN_POINT ('', (0.200000000000003, 8.00000000000001, -3.2));
#4070 = VERTEX_POINT ('', #4060);
#4080 = CARTESIAN_POINT ('', (0.200000000000003, 8.00000000000001, -3.2));
#4090 = CARTESIAN_POINT ('', (0.200000000000003, 8.00000000000001, -0.20000000000001));
#4100 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4080, #4090), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4110 = EDGE_CURVE ('', #4070, #4000, #4100, .T.);
#4120 = ORIENTED_EDGE ('', *, *, #4110, .F.);
#4130 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8.00000000000001, -3.2));
#4140 = VERTEX_POINT ('', #4130);
#4150 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8.00000000000001, -3.2));
#4160 = CARTESIAN_POINT ('', (0.200000000000003, 8.00000000000001, -3.2));
#4170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4150, #4160), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4180 = EDGE_CURVE ('', #4140, #4070, #4170, .T.);
#4190 = ORIENTED_EDGE ('', *, *, #4180, .F.);
#4200 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8.00000000000001, -4.));
#4210 = VERTEX_POINT ('', #4200);
#4220 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8.00000000000001, -4.));
#4230 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8.00000000000001, -3.2));
#4240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4220, #4230), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4250 = EDGE_CURVE ('', #4210, #4140, #4240, .T.);
#4260 = ORIENTED_EDGE ('', *, *, #4250, .F.);
#4270 = CARTESIAN_POINT ('', (39.5, 8.00000000000001, -4.));
#4280 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8.00000000000001, -4.));
#4290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4270, #4280), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4300 = EDGE_CURVE ('', #180, #4210, #4290, .T.);
#4310 = ORIENTED_EDGE ('', *, *, #4300, .F.);
#4320 = ORIENTED_EDGE ('', *, *, #220, .F.);
#4330 = EDGE_LOOP ('', (#3460, #3530, #3600, #3670, #3740, #3810, #3860, #3870, #3880, #3940, #3950, #3960, #3970, #3980, #4050, #4120, #4190, #4260, #4310, #4320));
#4340 = FACE_OUTER_BOUND ('', #4330, .F.);
#4350 = CARTESIAN_POINT ('', (-85.001, 8., -4.001));
#4360 = CARTESIAN_POINT ('', (-85.001, 8., 24.001));
#4370 = CARTESIAN_POINT ('', (39.501, 8.00000000000001, -4.001));
#4380 = CARTESIAN_POINT ('', (39.501, 8.00000000000001, 24.001));
#4390 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4350, #4360), (#4370, #4380)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-124.501, 0.00100000000000477), (-4.00099999999999, 24.001), .UNSPECIFIED.);
#4400 = ADVANCED_FACE ('', (#4340), #4390, .F.);
#4410 = CARTESIAN_POINT ('', (24.1638129527241, 5.50000000000001, -4.));
#4420 = VERTEX_POINT ('', #4410);
#4430 = CARTESIAN_POINT ('', (24.1638129527241, 5.50000000000001, -4.));
#4440 = CARTESIAN_POINT ('', (24.1638129527241, -7.99999999999999, -4.));
#4450 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4430, #4440), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4460 = EDGE_CURVE ('', #4420, #2810, #4450, .T.);
#4470 = ORIENTED_EDGE ('', *, *, #4460, .F.);
#4480 = CARTESIAN_POINT ('', (24.1638129527241, 5.50000000000001, -4.));
#4490 = CARTESIAN_POINT ('', (24.1638129527241, 5.6538081400177, -4.));
#4500 = CARTESIAN_POINT ('', (24.2109283019704, 5.80327395338944, -4.));
#4510 = CARTESIAN_POINT ('', (24.3311802420541, 5.99669428761423, -4.));
#4520 = CARTESIAN_POINT ('', (24.3798926112026, 6.05686436864172, -4.));
#4530 = CARTESIAN_POINT ('', (24.4870621178019, 6.16383581122022, -4.));
#4540 = CARTESIAN_POINT ('', (24.5459220113974, 6.21144077531159, -4.));
#4550 = CARTESIAN_POINT ('', (24.7364174308576, 6.33874232087221, -4.));
#4560 = CARTESIAN_POINT ('', (24.875450364402, 6.39921227200122, -4.));
#4570 = CARTESIAN_POINT ('', (25.1688038771447, 6.48040523067176, -4.));
#4580 = CARTESIAN_POINT ('', (25.32012936777, 6.50000000000001, -4.));
#4590 = CARTESIAN_POINT ('', (25.4728421206611, 6.50000000000001, -4.));
#4600 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#4480, #4490, #4500, #4510, #4520, #4530, #4540, #4550, #4560, #4570, #4580, #4590), .UNSPECIFIED., .F., .U., (4, 2, 2, 2, 2, 4), (4.33680868994202E-19, 0.000453950226936122, 0.000680925340404194, 0.000907900453872266, 0.00136185068080844, 0.00181580090774462), .UNSPECIFIED.);
#4610 = EDGE_CURVE ('', #4420, #380, #4600, .T.);
#4620 = ORIENTED_EDGE ('', *, *, #4610, .T.);
#4630 = ORIENTED_EDGE ('', *, *, #560, .T.);
#4640 = ORIENTED_EDGE ('', *, *, #270, .F.);
#4650 = ORIENTED_EDGE ('', *, *, #4300, .T.);
#4660 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8.00000000000001, -4.));
#4670 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -7.99999999999999, -4.));
#4680 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4660, #4670), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4690 = EDGE_CURVE ('', #4210, #2890, #4680, .T.);
#4700 = ORIENTED_EDGE ('', *, *, #4690, .T.);
#4710 = ORIENTED_EDGE ('', *, *, #2930, .F.);
#4720 = EDGE_LOOP ('', (#4470, #4620, #4630, #4640, #4650, #4700, #4710));
#4730 = FACE_OUTER_BOUND ('', #4720, .F.);
#4740 = CARTESIAN_POINT ('', (39.501, 8.001, -4.));
#4750 = CARTESIAN_POINT ('', (39.501, -8.001, -4.));
#4760 = CARTESIAN_POINT ('', (-0.00100000000001899, 8.001, -4.));
#4770 = CARTESIAN_POINT ('', (-0.00100000000001899, -8.001, -4.));
#4780 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4740, #4750), (#4760, #4770)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000477, 39.501), (39.7010150622106, 55.7030150622106), .UNSPECIFIED.);
#4790 = ADVANCED_FACE ('', (#4730), #4780, .F.);
#4800 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -7.99999999999999, -3.2));
#4810 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8.00000000000001, -3.2));
#4820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4800, #4810), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4830 = EDGE_CURVE ('', #2960, #4140, #4820, .T.);
#4840 = ORIENTED_EDGE ('', *, *, #4830, .F.);
#4850 = ORIENTED_EDGE ('', *, *, #3000, .F.);
#4860 = ORIENTED_EDGE ('', *, *, #4690, .F.);
#4870 = ORIENTED_EDGE ('', *, *, #4250, .T.);
#4880 = EDGE_LOOP ('', (#4840, #4850, #4860, #4870));
#4890 = FACE_OUTER_BOUND ('', #4880, .F.);
#4900 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -8.001, -4.001));
#4910 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -8.001, -3.199));
#4920 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8.001, -4.001));
#4930 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8.001, -3.199));
#4940 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4900, #4910), (#4920, #4930)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-55.7030150622106, -39.7010150622106), (-4.001, -3.199), .UNSPECIFIED.);
#4950 = ADVANCED_FACE ('', (#4890), #4940, .F.);
#4960 = ORIENTED_EDGE ('', *, *, #3190, .T.);
#4970 = CARTESIAN_POINT ('', (0.200000000000003, -7.99999999999999, -0.200000000000011));
#4980 = CARTESIAN_POINT ('', (0.200000000000003, 8.00000000000001, -0.20000000000001));
#4990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4970, #4980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5000 = EDGE_CURVE ('', #3100, #4000, #4990, .T.);
#5010 = ORIENTED_EDGE ('', *, *, #5000, .T.);
#5020 = ORIENTED_EDGE ('', *, *, #4040, .T.);
#5030 = ORIENTED_EDGE ('', *, *, #730, .F.);
#5040 = EDGE_LOOP ('', (#4960, #5010, #5020, #5030));
#5050 = FACE_OUTER_BOUND ('', #5040, .F.);
#5060 = CARTESIAN_POINT ('', (0.201000000000008, 8.00100000000001, -0.20000000000001));
#5070 = CARTESIAN_POINT ('', (0.201000000000008, -8.001, -0.200000000000011));
#5080 = CARTESIAN_POINT ('', (-0.00100000000001899, 8.00100000000001, -0.20000000000001));
#5090 = CARTESIAN_POINT ('', (-0.00100000000001899, -8.001, -0.200000000000011));
#5100 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5060, #5070), (#5080, #5090)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000477, 0.201000000000022), (-19.0076592756746, -3.00565927567457), .UNSPECIFIED.);
#5110 = ADVANCED_FACE ('', (#5050), #5100, .F.);
#5120 = ORIENTED_EDGE ('', *, *, #3140, .T.);
#5130 = CARTESIAN_POINT ('', (0.200000000000003, -7.99999999999999, -3.2));
#5140 = CARTESIAN_POINT ('', (0.200000000000003, 8.00000000000001, -3.2));
#5150 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5130, #5140), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5160 = EDGE_CURVE ('', #3030, #4070, #5150, .T.);
#5170 = ORIENTED_EDGE ('', *, *, #5160, .T.);
#5180 = ORIENTED_EDGE ('', *, *, #4110, .T.);
#5190 = ORIENTED_EDGE ('', *, *, #5000, .F.);
#5200 = EDGE_LOOP ('', (#5120, #5170, #5180, #5190));
#5210 = FACE_OUTER_BOUND ('', #5200, .F.);
#5220 = CARTESIAN_POINT ('', (0.200000000000003, -8.001, -3.201));
#5230 = CARTESIAN_POINT ('', (0.200000000000003, -8.001, -0.199000000000011));
#5240 = CARTESIAN_POINT ('', (0.200000000000003, 8.00100000000001, -3.201));
#5250 = CARTESIAN_POINT ('', (0.200000000000003, 8.00100000000001, -0.199000000000011));
#5260 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5220, #5230), (#5240, #5250)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-19.0076592756746, -3.00565927567457), (-3.00099999999999, 0.001), .UNSPECIFIED.);
#5270 = ADVANCED_FACE ('', (#5210), #5260, .F.);
#5280 = ORIENTED_EDGE ('', *, *, #3070, .T.);
#5290 = ORIENTED_EDGE ('', *, *, #4830, .T.);
#5300 = ORIENTED_EDGE ('', *, *, #4180, .T.);
#5310 = ORIENTED_EDGE ('', *, *, #5160, .F.);
#5320 = EDGE_LOOP ('', (#5280, #5290, #5300, #5310));
#5330 = FACE_OUTER_BOUND ('', #5320, .F.);
#5340 = CARTESIAN_POINT ('', (-0.00100000000001899, 8.00100000000001, -3.2));
#5350 = CARTESIAN_POINT ('', (-0.00100000000001899, -8.001, -3.2));
#5360 = CARTESIAN_POINT ('', (0.201000000000008, 8.00100000000001, -3.2));
#5370 = CARTESIAN_POINT ('', (0.201000000000008, -8.001, -3.2));
#5380 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5340, #5350), (#5360, #5370)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.201000000000022, 0.00100000000000477), (-19.0076592756746, -3.00565927567457), .UNSPECIFIED.);
#5390 = ADVANCED_FACE ('', (#5330), #5380, .F.);
#5400 = CARTESIAN_POINT ('', (35., 6.50000000000001, 16.2317822411696));
#5410 = VERTEX_POINT ('', #5400);
#5420 = CARTESIAN_POINT ('', (32.15, 6.50000000000001, 19.0817822411696));
#5430 = VERTEX_POINT ('', #5420);
#5440 = CARTESIAN_POINT ('', (35., 6.50000000000001, 16.2317822411696));
#5450 = CARTESIAN_POINT ('', (32.15, 6.50000000000001, 19.0817822411696));
#5460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5440, #5450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5470 = EDGE_CURVE ('', #5410, #5430, #5460, .T.);
#5480 = ORIENTED_EDGE ('', *, *, #5470, .F.);
#5490 = CARTESIAN_POINT ('', (18.0149839118596, 6.50000000000001, 15.0440742153168));
#5500 = VERTEX_POINT ('', #5490);
#5510 = CARTESIAN_POINT ('', (35., 6.50000000000001, 16.2317822411696));
#5520 = CARTESIAN_POINT ('', (18.0149839118596, 6.50000000000001, 15.0440742153168));
#5530 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5510, #5520), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5540 = EDGE_CURVE ('', #5410, #5500, #5530, .T.);
#5550 = ORIENTED_EDGE ('', *, *, #5540, .T.);
#5560 = CARTESIAN_POINT ('', (18., 6.50000000000001, 16.));
#5570 = VERTEX_POINT ('', #5560);
#5580 = CARTESIAN_POINT ('', (18.0149839118596, 6.50000000000001, 15.0440742153167));
#5590 = CARTESIAN_POINT ('', (18., 6.50000000000001, 15.521919673011));
#5600 = CARTESIAN_POINT ('', (18., 6.50000000000001, 15.9999999999999));
#5610 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5580, #5590, #5600), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (358.203951347689, 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.999877173507157, 1.))
   REPRESENTATION_ITEM ('')
);
#5620 = EDGE_CURVE ('', #5500, #5570, #5610, .T.);
#5630 = ORIENTED_EDGE ('', *, *, #5620, .T.);
#5640 = CARTESIAN_POINT ('', (18., 6.50000000000001, 16.));
#5650 = CARTESIAN_POINT ('', (18., 6.50000000000001, 24.));
#5660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5640, #5650), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5670 = EDGE_CURVE ('', #5570, #2370, #5660, .T.);
#5680 = ORIENTED_EDGE ('', *, *, #5670, .T.);
#5690 = ORIENTED_EDGE ('', *, *, #2410, .T.);
#5700 = CARTESIAN_POINT ('', (32.15, 6.50000000000001, 19.0817822411696));
#5710 = CARTESIAN_POINT ('', (23.6313969590181, 6.50000000000001, 24.));
#5720 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5700, #5710), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5730 = EDGE_CURVE ('', #5430, #2300, #5720, .T.);
#5740 = ORIENTED_EDGE ('', *, *, #5730, .F.);
#5750 = EDGE_LOOP ('', (#5480, #5550, #5630, #5680, #5690, #5740));
#5760 = FACE_OUTER_BOUND ('', #5750, .F.);
#5770 = CARTESIAN_POINT ('', (35.001, 6.50000000000001, 15.0430742153167));
#5780 = CARTESIAN_POINT ('', (35.001, 6.50000000000001, 24.001));
#5790 = CARTESIAN_POINT ('', (17.999, 6.50000000000001, 15.0430742153167));
#5800 = CARTESIAN_POINT ('', (17.999, 6.50000000000001, 24.001));
#5810 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5770, #5780), (#5790, #5800)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (13.499, 30.501), (-0.956925784683238, 8.00100000000001), .UNSPECIFIED.);
#5820 = ADVANCED_FACE ('', (#5760), #5810, .F.);
#5830 = ORIENTED_EDGE ('', *, *, #2560, .F.);
#5840 = CARTESIAN_POINT ('', (17., 5.50000000000001, 16.));
#5850 = VERTEX_POINT ('', #5840);
#5860 = CARTESIAN_POINT ('', (17., 5.50000000000001, 24.));
#5870 = CARTESIAN_POINT ('', (17., 5.50000000000001, 16.));
#5880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5860, #5870), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5890 = EDGE_CURVE ('', #2440, #5850, #5880, .T.);
#5900 = ORIENTED_EDGE ('', *, *, #5890, .T.);
#5910 = CARTESIAN_POINT ('', (17., 5.50000000000001, 16.));
#5920 = CARTESIAN_POINT ('', (17., -7.99999999999999, 16.));
#5930 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5910, #5920), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5940 = EDGE_CURVE ('', #5850, #2740, #5930, .T.);
#5950 = ORIENTED_EDGE ('', *, *, #5940, .T.);
#5960 = ORIENTED_EDGE ('', *, *, #2780, .T.);
#5970 = EDGE_LOOP ('', (#5830, #5900, #5950, #5960));
#5980 = FACE_OUTER_BOUND ('', #5970, .F.);
#5990 = CARTESIAN_POINT ('', (17., 5.50100000000001, 15.999));
#6000 = CARTESIAN_POINT ('', (17., 5.50100000000001, 24.001));
#6010 = CARTESIAN_POINT ('', (17., -8.001, 15.999));
#6020 = CARTESIAN_POINT ('', (17., -8.001, 24.001));
#6030 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5990, #6000), (#6010, #6020)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-14.501, -0.999), (-8.001, 0.00100000000000122), .UNSPECIFIED.);
#6040 = ADVANCED_FACE ('', (#5980), #6030, .F.);
#6050 = ORIENTED_EDGE ('', *, *, #5940, .F.);
#6060 = CARTESIAN_POINT ('', (17., 5.50000000000001, 16.));
#6070 = CARTESIAN_POINT ('', (17., 5.50000000000001, 4.71699459945954));
#6080 = CARTESIAN_POINT ('', (24.1638129527241, 5.50000000000001, -4.00000000000001));
#6090 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6060, #6070, #6080), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 39.4140983561544), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.941429064396301, 1.))
   REPRESENTATION_ITEM ('')
);
#6100 = EDGE_CURVE ('', #5850, #4420, #6090, .T.);
#6110 = ORIENTED_EDGE ('', *, *, #6100, .T.);
#6120 = ORIENTED_EDGE ('', *, *, #4460, .T.);
#6130 = ORIENTED_EDGE ('', *, *, #2860, .T.);
#6140 = EDGE_LOOP ('', (#6050, #6110, #6120, #6130));
#6150 = FACE_OUTER_BOUND ('', #6140, .F.);
#6160 = CARTESIAN_POINT ('', (17., 6.8512, 16.));
#6170 = CARTESIAN_POINT ('', (17., -9.3512, 16.));
#6180 = CARTESIAN_POINT ('', (17., 6.85120000000002, -15.5));
#6190 = CARTESIAN_POINT ('', (17., -9.35119999999998, -15.5));
#6200 = CARTESIAN_POINT ('', (48.5, 6.85120000000003, -15.5));
#6210 = CARTESIAN_POINT ('', (48.5, -9.35119999999997, -15.5));
#6220 = CARTESIAN_POINT ('', (80., 6.85120000000003, -15.5));
#6230 = CARTESIAN_POINT ('', (80., -9.35119999999997, -15.5));
#6240 = CARTESIAN_POINT ('', (80., 6.85120000000001, 16.));
#6250 = CARTESIAN_POINT ('', (80., -9.35119999999999, 16.));
#6260 = CARTESIAN_POINT ('', (80., 6.85119999999999, 47.5));
#6270 = CARTESIAN_POINT ('', (80., -9.35120000000001, 47.5));
#6280 = CARTESIAN_POINT ('', (48.5, 6.85119999999999, 47.5));
#6290 = CARTESIAN_POINT ('', (48.5, -9.35120000000002, 47.5));
#6300 = CARTESIAN_POINT ('', (17., 6.85119999999998, 47.5));
#6310 = CARTESIAN_POINT ('', (17., -9.35120000000002, 47.5));
#6320 = CARTESIAN_POINT ('', (17., 6.8512, 16.));
#6330 = CARTESIAN_POINT ('', (17., -9.3512, 16.));
#6340 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6160, #6170), (#6180, #6190), (#6200, #6210), (#6220, #6230), (#6240, #6250), (#6260, #6270), (#6280, #6290), (#6300, #6310), (#6320, #6330)), .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., 1.), .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 ('')
);
#6350 = ADVANCED_FACE ('', (#6150), #6340, .F.);
#6360 = CARTESIAN_POINT ('', (17.7154666797702, 5.9, 9.73023670828604));
#6370 = VERTEX_POINT ('', #6360);
#6380 = CARTESIAN_POINT ('', (17.1000442978732, 5.9, 14.9800954049899));
#6390 = VERTEX_POINT ('', #6380);
#6400 = CARTESIAN_POINT ('', (17.7154666797702, 5.9, 9.73023670828604));
#6410 = CARTESIAN_POINT ('', (17.1861486478822, 5.9, 12.3291878698382));
#6420 = CARTESIAN_POINT ('', (17.100044297873, 5.9, 14.9800954049899));
#6430 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6400, #6410, #6420), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (168.48824208032, 178.13962504043), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.996455237849996, 1.))
   REPRESENTATION_ITEM ('')
);
#6440 = EDGE_CURVE ('', #6370, #6390, #6430, .T.);
#6450 = ORIENTED_EDGE ('', *, *, #6440, .F.);
#6460 = CARTESIAN_POINT ('', (18.6379045206529, 6.50000000000001, 9.79473984571502));
#6470 = CARTESIAN_POINT ('', (18.5400423510501, 6.5, 9.78789665618481));
#6480 = CARTESIAN_POINT ('', (18.4446350344608, 6.48611976669055, 9.78122512669964));
#6490 = CARTESIAN_POINT ('', (18.2586068519717, 6.43129574395185, 9.76821676896654));
#6500 = CARTESIAN_POINT ('', (18.1692429180931, 6.3902235585045, 9.76196783396768));
#6510 = CARTESIAN_POINT ('', (17.9257256699527, 6.23242859839071, 9.74493944915196));
#6520 = CARTESIAN_POINT ('', (17.79327055323, 6.07717274105804, 9.73567728511394));
#6530 = CARTESIAN_POINT ('', (17.7154666797702, 5.9, 9.73023670828604));
#6540 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6460, #6470, #6480, #6490, #6500, #6510, #6520, #6530), .UNSPECIFIED., .F., .U., (4, 2, 2, 4), (0.000666842222145838, 0.000956608031573899, 0.00124637384100196, 0.00182590545985812), .UNSPECIFIED.);
#6550 = EDGE_CURVE ('', #400, #6370, #6540, .T.);
#6560 = ORIENTED_EDGE ('', *, *, #6550, .F.);
#6570 = ORIENTED_EDGE ('', *, *, #450, .F.);
#6580 = ORIENTED_EDGE ('', *, *, #4610, .F.);
#6590 = ORIENTED_EDGE ('', *, *, #6100, .F.);
#6600 = CARTESIAN_POINT ('', (18., 6.50000000000001, 16.));
#6610 = CARTESIAN_POINT ('', (17., 6.50000000000001, 16.));
#6620 = CARTESIAN_POINT ('', (17., 5.50000000000001, 16.));
#6630 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6600, #6610, #6620), .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 ('')
);
#6640 = EDGE_CURVE ('', #5570, #5850, #6630, .T.);
#6650 = ORIENTED_EDGE ('', *, *, #6640, .F.);
#6660 = ORIENTED_EDGE ('', *, *, #5620, .F.);
#6670 = CARTESIAN_POINT ('', (18.0149839118596, 6.50000000000001, 15.0440742153168));
#6680 = CARTESIAN_POINT ('', (17.8203168084115, 6.50000000000001, 15.0304617653824));
#6690 = CARTESIAN_POINT ('', (17.6296329111471, 6.44242265668421, 15.0171278483577));
#6700 = CARTESIAN_POINT ('', (17.3075139433831, 6.23138923687681, 14.9946030958755));
#6710 = CARTESIAN_POINT ('', (17.1768721545095, 6.07634156422435, 14.9854677320729));
#6720 = CARTESIAN_POINT ('', (17.1000442978732, 5.9, 14.9800954049899));
#6730 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6670, #6680, #6690, #6700, #6710, #6720), .UNSPECIFIED., .F., .U., (4, 2, 4), (0.000671158687699409, 0.00124821917198337, 0.00182527965626733), .UNSPECIFIED.);
#6740 = EDGE_CURVE ('', #5500, #6390, #6730, .T.);
#6750 = ORIENTED_EDGE ('', *, *, #6740, .T.);
#6760 = EDGE_LOOP ('', (#6450, #6560, #6570, #6580, #6590, #6650, #6660, #6750));
#6770 = FACE_OUTER_BOUND ('', #6760, .F.);
#6780 = CARTESIAN_POINT ('', (17., 5.50000000000001, 16.));
#6790 = CARTESIAN_POINT ('', (17., 4.50000000000001, 16.));
#6800 = CARTESIAN_POINT ('', (18., 4.50000000000001, 16.));
#6810 = CARTESIAN_POINT ('', (19., 4.50000000000001, 16.));
#6820 = CARTESIAN_POINT ('', (19., 5.50000000000001, 16.));
#6830 = CARTESIAN_POINT ('', (19., 6.50000000000001, 16.));
#6840 = CARTESIAN_POINT ('', (18., 6.50000000000001, 16.));
#6850 = CARTESIAN_POINT ('', (17., 6.50000000000001, 16.));
#6860 = CARTESIAN_POINT ('', (17., 5.50000000000001, 16.));
#6870 = CARTESIAN_POINT ('', (17., 5.50000000000001, -15.4999999999999));
#6880 = CARTESIAN_POINT ('', (17., 4.50000000000001, -15.4999999999999));
#6890 = CARTESIAN_POINT ('', (18., 4.50000000000001, -14.4999999999999));
#6900 = CARTESIAN_POINT ('', (19., 4.50000000000001, -13.4999999999999));
#6910 = CARTESIAN_POINT ('', (19., 5.50000000000001, -13.4999999999999));
#6920 = CARTESIAN_POINT ('', (19., 6.50000000000001, -13.4999999999999));
#6930 = CARTESIAN_POINT ('', (18., 6.50000000000001, -14.4999999999999));
#6940 = CARTESIAN_POINT ('', (17., 6.50000000000001, -15.4999999999999));
#6950 = CARTESIAN_POINT ('', (17., 5.50000000000001, -15.4999999999999));
#6960 = CARTESIAN_POINT ('', (48.5, 5.50000000000001, -15.5));
#6970 = CARTESIAN_POINT ('', (48.4999999999999, 4.50000000000001, -15.5));
#6980 = CARTESIAN_POINT ('', (48.5, 4.50000000000001, -14.5));
#6990 = CARTESIAN_POINT ('', (48.4999999999999, 4.50000000000001, -13.5));
#7000 = CARTESIAN_POINT ('', (48.5, 5.50000000000001, -13.5));
#7010 = CARTESIAN_POINT ('', (48.4999999999999, 6.50000000000001, -13.5));
#7020 = CARTESIAN_POINT ('', (48.5, 6.50000000000001, -14.5));
#7030 = CARTESIAN_POINT ('', (48.4999999999999, 6.50000000000001, -15.5));
#7040 = CARTESIAN_POINT ('', (48.5, 5.50000000000001, -15.5));
#7050 = CARTESIAN_POINT ('', (79.9999999999999, 5.50000000000001, -15.5));
#7060 = CARTESIAN_POINT ('', (79.9999999999999, 4.50000000000001, -15.5));
#7070 = CARTESIAN_POINT ('', (78.9999999999999, 4.50000000000001, -14.5));
#7080 = CARTESIAN_POINT ('', (77.9999999999999, 4.50000000000001, -13.5));
#7090 = CARTESIAN_POINT ('', (77.9999999999999, 5.50000000000001, -13.5));
#7100 = CARTESIAN_POINT ('', (77.9999999999999, 6.50000000000001, -13.5));
#7110 = CARTESIAN_POINT ('', (78.9999999999999, 6.50000000000001, -14.5));
#7120 = CARTESIAN_POINT ('', (79.9999999999999, 6.50000000000001, -15.5));
#7130 = CARTESIAN_POINT ('', (79.9999999999999, 5.50000000000001, -15.5));
#7140 = CARTESIAN_POINT ('', (79.9999999999999, 5.50000000000001, 16.));
#7150 = CARTESIAN_POINT ('', (79.9999999999999, 4.50000000000001, 16.));
#7160 = CARTESIAN_POINT ('', (78.9999999999999, 4.50000000000001, 16.));
#7170 = CARTESIAN_POINT ('', (77.9999999999999, 4.50000000000001, 16.));
#7180 = CARTESIAN_POINT ('', (77.9999999999999, 5.50000000000001, 16.));
#7190 = CARTESIAN_POINT ('', (77.9999999999999, 6.50000000000001, 16.));
#7200 = CARTESIAN_POINT ('', (78.9999999999999, 6.50000000000001, 16.));
#7210 = CARTESIAN_POINT ('', (79.9999999999999, 6.50000000000001, 16.));
#7220 = CARTESIAN_POINT ('', (79.9999999999999, 5.50000000000001, 16.));
#7230 = CARTESIAN_POINT ('', (79.9999999999999, 5.50000000000001, 47.4999999999999));
#7240 = CARTESIAN_POINT ('', (79.9999999999999, 4.50000000000001, 47.4999999999999));
#7250 = CARTESIAN_POINT ('', (78.9999999999999, 4.50000000000001, 46.4999999999999));
#7260 = CARTESIAN_POINT ('', (77.9999999999999, 4.50000000000001, 45.4999999999999));
#7270 = CARTESIAN_POINT ('', (77.9999999999999, 5.50000000000001, 45.4999999999999));
#7280 = CARTESIAN_POINT ('', (77.9999999999999, 6.50000000000001, 45.4999999999999));
#7290 = CARTESIAN_POINT ('', (78.9999999999999, 6.50000000000001, 46.4999999999999));
#7300 = CARTESIAN_POINT ('', (79.9999999999999, 6.50000000000001, 47.4999999999999));
#7310 = CARTESIAN_POINT ('', (79.9999999999999, 5.50000000000001, 47.4999999999999));
#7320 = CARTESIAN_POINT ('', (48.5, 5.50000000000001, 47.5));
#7330 = CARTESIAN_POINT ('', (48.5, 4.50000000000001, 47.5));
#7340 = CARTESIAN_POINT ('', (48.5, 4.50000000000001, 46.5));
#7350 = CARTESIAN_POINT ('', (48.5, 4.50000000000001, 45.5));
#7360 = CARTESIAN_POINT ('', (48.5, 5.50000000000001, 45.5));
#7370 = CARTESIAN_POINT ('', (48.5, 6.50000000000001, 45.5));
#7380 = CARTESIAN_POINT ('', (48.5, 6.50000000000001, 46.5));
#7390 = CARTESIAN_POINT ('', (48.5, 6.50000000000001, 47.5));
#7400 = CARTESIAN_POINT ('', (48.5, 5.50000000000001, 47.5));
#7410 = CARTESIAN_POINT ('', (17., 5.50000000000001, 47.5));
#7420 = CARTESIAN_POINT ('', (17., 4.50000000000001, 47.5));
#7430 = CARTESIAN_POINT ('', (18., 4.50000000000001, 46.5));
#7440 = CARTESIAN_POINT ('', (19., 4.50000000000001, 45.5));
#7450 = CARTESIAN_POINT ('', (19., 5.50000000000001, 45.5));
#7460 = CARTESIAN_POINT ('', (19., 6.50000000000001, 45.5));
#7470 = CARTESIAN_POINT ('', (18., 6.50000000000001, 46.5));
#7480 = CARTESIAN_POINT ('', (17., 6.50000000000001, 47.5));
#7490 = CARTESIAN_POINT ('', (17., 5.50000000000001, 47.5));
#7500 = CARTESIAN_POINT ('', (17., 5.50000000000001, 16.));
#7510 = CARTESIAN_POINT ('', (17., 4.50000000000001, 16.));
#7520 = CARTESIAN_POINT ('', (18., 4.50000000000001, 16.));
#7530 = CARTESIAN_POINT ('', (19., 4.50000000000001, 16.));
#7540 = CARTESIAN_POINT ('', (19., 5.50000000000001, 16.));
#7550 = CARTESIAN_POINT ('', (19., 6.50000000000001, 16.));
#7560 = CARTESIAN_POINT ('', (18., 6.50000000000001, 16.));
#7570 = CARTESIAN_POINT ('', (17., 6.50000000000001, 16.));
#7580 = CARTESIAN_POINT ('', (17., 5.50000000000001, 16.));
#7590 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 2, ((#6780, #6790, #6800, #6810, #6820, #6830, #6840, #6850, #6860), (#6870, #6880, #6890, #6900, #6910, #6920, #6930, #6940, #6950), (#6960, #6970, #6980, #6990, #7000, #7010, #7020, #7030, #7040), (#7050, #7060, #7070, #7080, #7090, #7100, #7110, #7120, #7130), (#7140, #7150, #7160, #7170, #7180, #7190, #7200, #7210, #7220), (#7230, #7240, #7250, #7260, #7270, #7280, #7290, #7300, #7310), (#7320, #7330, #7340, #7350, #7360, #7370, #7380, #7390, #7400), (#7410, #7420, #7430, #7440, #7450, #7460, #7470, #7480, #7490), (#7500, #7510, #7520, #7530, #7540, #7550, #7560, #7570, #7580)), .UNSPECIFIED., .T., .T., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.)))
   REPRESENTATION_ITEM ('')
);
#7600 = ADVANCED_FACE ('', (#6770), #7590, .F.);
#7610 = ORIENTED_EDGE ('', *, *, #6640, .T.);
#7620 = ORIENTED_EDGE ('', *, *, #5890, .F.);
#7630 = ORIENTED_EDGE ('', *, *, #2490, .F.);
#7640 = ORIENTED_EDGE ('', *, *, #5670, .F.);
#7650 = EDGE_LOOP ('', (#7610, #7620, #7630, #7640));
#7660 = FACE_OUTER_BOUND ('', #7650, .F.);
#7670 = CARTESIAN_POINT ('', (19., 5.50000000000001, 15.1988));
#7680 = CARTESIAN_POINT ('', (19., 5.50000000000001, 24.8012));
#7690 = CARTESIAN_POINT ('', (19., 6.50000000000001, 15.1988));
#7700 = CARTESIAN_POINT ('', (19., 6.50000000000001, 24.8012));
#7710 = CARTESIAN_POINT ('', (18., 6.50000000000001, 15.1988));
#7720 = CARTESIAN_POINT ('', (18., 6.50000000000001, 24.8012));
#7730 = CARTESIAN_POINT ('', (17., 6.50000000000001, 15.1988));
#7740 = CARTESIAN_POINT ('', (17., 6.50000000000001, 24.8012));
#7750 = CARTESIAN_POINT ('', (17., 5.50000000000001, 15.1988));
#7760 = CARTESIAN_POINT ('', (17., 5.50000000000001, 24.8012));
#7770 = CARTESIAN_POINT ('', (17., 4.50000000000001, 15.1988));
#7780 = CARTESIAN_POINT ('', (17., 4.50000000000001, 24.8012));
#7790 = CARTESIAN_POINT ('', (18., 4.50000000000001, 15.1988));
#7800 = CARTESIAN_POINT ('', (18., 4.50000000000001, 24.8012));
#7810 = CARTESIAN_POINT ('', (19., 4.50000000000001, 15.1988));
#7820 = CARTESIAN_POINT ('', (19., 4.50000000000001, 24.8012));
#7830 = CARTESIAN_POINT ('', (19., 5.50000000000001, 15.1988));
#7840 = CARTESIAN_POINT ('', (19., 5.50000000000001, 24.8012));
#7850 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#7670, #7680), (#7690, #7700), (#7710, #7720), (#7730, #7740), (#7750, #7760), (#7770, #7780), (#7790, #7800), (#7810, #7820), (#7830, #7840)), .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., 1.), .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 ('')
);
#7860 = ADVANCED_FACE ('', (#7660), #7850, .F.);
#7870 = CARTESIAN_POINT ('', (15.1800502367743, 5.9, 14.8458363413468));
#7880 = VERTEX_POINT ('', #7870);
#7890 = CARTESIAN_POINT ('', (15.1800502367743, 5.9, 14.8458363413468));
#7900 = CARTESIAN_POINT ('', (17.1000442978732, 5.9, 14.9800954049899));
#7910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7890, #7900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7920 = EDGE_CURVE ('', #7880, #6390, #7910, .T.);
#7930 = ORIENTED_EDGE ('', *, *, #7920, .F.);
#7940 = CARTESIAN_POINT ('', (15.4241978948788, 5.9, 11.3543621654374));
#7950 = VERTEX_POINT ('', #7940);
#7960 = CARTESIAN_POINT ('', (15.1800502367743, 5.9, 14.8458363413468));
#7970 = CARTESIAN_POINT ('', (15.4241978948788, 5.9, 11.3543621654374));
#7980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7960, #7970), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7990 = EDGE_CURVE ('', #7880, #7950, #7980, .T.);
#8000 = ORIENTED_EDGE ('', *, *, #7990, .T.);
#8010 = CARTESIAN_POINT ('', (16.9205439702685, 5.9, 11.4589968760536));
#8020 = VERTEX_POINT ('', #8010);
#8030 = CARTESIAN_POINT ('', (15.4241978948788, 5.9, 11.3543621654374));
#8040 = CARTESIAN_POINT ('', (16.9205439702685, 5.9, 11.4589968760536));
#8050 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8030, #8040), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8060 = EDGE_CURVE ('', #7950, #8020, #8050, .T.);
#8070 = ORIENTED_EDGE ('', *, *, #8060, .T.);
#8080 = CARTESIAN_POINT ('', (17.044710493533, 5.9, 9.68333286659109));
#8090 = VERTEX_POINT ('', #8080);
#8100 = CARTESIAN_POINT ('', (16.9205439702685, 5.9, 11.4589968760536));
#8110 = CARTESIAN_POINT ('', (17.044710493533, 5.9, 9.68333286659109));
#8120 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8100, #8110), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8130 = EDGE_CURVE ('', #8020, #8090, #8120, .T.);
#8140 = ORIENTED_EDGE ('', *, *, #8130, .T.);
#8150 = CARTESIAN_POINT ('', (17.044710493533, 5.9, 9.68333286659109));
#8160 = CARTESIAN_POINT ('', (17.7154666797702, 5.9, 9.73023670828604));
#8170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8150, #8160), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8180 = EDGE_CURVE ('', #8090, #6370, #8170, .T.);
#8190 = ORIENTED_EDGE ('', *, *, #8180, .T.);
#8200 = ORIENTED_EDGE ('', *, *, #6440, .T.);
#8210 = EDGE_LOOP ('', (#7930, #8000, #8070, #8140, #8190, #8200));
#8220 = FACE_OUTER_BOUND ('', #8210, .F.);
#8230 = CARTESIAN_POINT ('', (15.1790502367743, 5.9, 9.68233286659109));
#8240 = CARTESIAN_POINT ('', (15.1790502367743, 5.9, 14.9810954049899));
#8250 = CARTESIAN_POINT ('', (17.7164666797702, 5.9, 9.68233286659109));
#8260 = CARTESIAN_POINT ('', (17.7164666797702, 5.9, 14.9810954049899));
#8270 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8230, #8240), (#8250, #8260)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-17.4238795314581, -14.8864630884622), (-2.2918669510951, 3.00689558730369), .UNSPECIFIED.);
#8280 = ADVANCED_FACE ('', (#8220), #8270, .F.);
#8290 = ORIENTED_EDGE ('', *, *, #500, .F.);
#8300 = ORIENTED_EDGE ('', *, *, #6550, .T.);
#8310 = ORIENTED_EDGE ('', *, *, #8180, .F.);
#8320 = CARTESIAN_POINT ('', (17.044710493533, 8.00000000000001, 9.68333286659109));
#8330 = CARTESIAN_POINT ('', (17.044710493533, 5.9, 9.68333286659109));
#8340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8320, #8330), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8350 = EDGE_CURVE ('', #3410, #8090, #8340, .T.);
#8360 = ORIENTED_EDGE ('', *, *, #8350, .F.);
#8370 = ORIENTED_EDGE ('', *, *, #3450, .F.);
#8380 = ORIENTED_EDGE ('', *, *, #150, .F.);
#8390 = EDGE_LOOP ('', (#8290, #8300, #8310, #8360, #8370, #8380));
#8400 = FACE_OUTER_BOUND ('', #8390, .F.);
#8410 = CARTESIAN_POINT ('', (17.0436457729482, 8.00100000000001, 9.68325841407498));
#8420 = CARTESIAN_POINT ('', (17.0436457729482, 5.89900000000001, 9.68325841407498));
#8430 = CARTESIAN_POINT ('', (39.5010647205849, 8.00100000000001, 11.2536341255628));
#8440 = CARTESIAN_POINT ('', (39.5010647205849, 5.89900000000001, 11.2536341255628));
#8450 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8410, #8420), (#8430, #8440)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-12.981067320524, 9.53119035534897), (-2.101, 0.00099999999999989), .UNSPECIFIED.);
#8460 = ADVANCED_FACE ('', (#8400), #8450, .F.);
#8470 = ORIENTED_EDGE ('', *, *, #3520, .T.);
#8480 = ORIENTED_EDGE ('', *, *, #8350, .T.);
#8490 = ORIENTED_EDGE ('', *, *, #8130, .F.);
#8500 = CARTESIAN_POINT ('', (16.9205439702685, 5.9, 11.4589968760536));
#8510 = CARTESIAN_POINT ('', (16.9205439702685, 8.00000000000001, 11.4589968760536));
#8520 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8500, #8510), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8530 = EDGE_CURVE ('', #8020, #3480, #8520, .T.);
#8540 = ORIENTED_EDGE ('', *, *, #8530, .T.);
#8550 = EDGE_LOOP ('', (#8470, #8480, #8490, #8540));
#8560 = FACE_OUTER_BOUND ('', #8550, .F.);
#8570 = CARTESIAN_POINT ('', (16.9204695177524, 8.00100000000001, 11.4600615966384));
#8580 = CARTESIAN_POINT ('', (16.9204695177524, 5.89900000000001, 11.4600615966384));
#8590 = CARTESIAN_POINT ('', (17.0447849460491, 8.00100000000001, 9.68226814600624));
#8600 = CARTESIAN_POINT ('', (17.0447849460491, 5.89900000000001, 9.68226814600624));
#8610 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8570, #8580), (#8590, #8600)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.448932679476001, 2.23106732052399), (-2.101, 0.00099999999999989), .UNSPECIFIED.);
#8620 = ADVANCED_FACE ('', (#8560), #8610, .F.);
#8630 = ORIENTED_EDGE ('', *, *, #3590, .T.);
#8640 = ORIENTED_EDGE ('', *, *, #8530, .F.);
#8650 = ORIENTED_EDGE ('', *, *, #8060, .F.);
#8660 = CARTESIAN_POINT ('', (15.4241978948788, 8.00000000000001, 11.3543621654374));
#8670 = CARTESIAN_POINT ('', (15.4241978948788, 5.9, 11.3543621654374));
#8680 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8660, #8670), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8690 = EDGE_CURVE ('', #3550, #7950, #8680, .T.);
#8700 = ORIENTED_EDGE ('', *, *, #8690, .F.);
#8710 = EDGE_LOOP ('', (#8630, #8640, #8650, #8700));
#8720 = FACE_OUTER_BOUND ('', #8710, .F.);
#8730 = CARTESIAN_POINT ('', (15.4231331742939, 8.00100000000001, 11.3542877129213));
#8740 = CARTESIAN_POINT ('', (15.4231331742939, 5.89900000000001, 11.3542877129213));
#8750 = CARTESIAN_POINT ('', (16.9216086908534, 8.00100000000001, 11.4590713285697));
#8760 = CARTESIAN_POINT ('', (16.9216086908534, 5.89900000000001, 11.4590713285697));
#8770 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8730, #8740), (#8750, #8760)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.201067320524004, 1.301067320524), (-2.101, 0.00099999999999989), .UNSPECIFIED.);
#8780 = ADVANCED_FACE ('', (#8720), #8770, .F.);
#8790 = ORIENTED_EDGE ('', *, *, #3660, .T.);
#8800 = ORIENTED_EDGE ('', *, *, #8690, .T.);
#8810 = ORIENTED_EDGE ('', *, *, #7990, .F.);
#8820 = CARTESIAN_POINT ('', (15.1800502367743, 8., 14.8458363413468));
#8830 = CARTESIAN_POINT ('', (15.1800502367743, 5.9, 14.8458363413468));
#8840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8820, #8830), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8850 = EDGE_CURVE ('', #3620, #7880, #8840, .T.);
#8860 = ORIENTED_EDGE ('', *, *, #8850, .F.);
#8870 = EDGE_LOOP ('', (#8790, #8800, #8810, #8860));
#8880 = FACE_OUTER_BOUND ('', #8870, .F.);
#8890 = CARTESIAN_POINT ('', (15.1799757842582, 8.001, 14.8469010619316));
#8900 = CARTESIAN_POINT ('', (15.1799757842582, 5.89900000000001, 14.8469010619316));
#8910 = CARTESIAN_POINT ('', (15.4242723473949, 8.00100000000001, 11.3532974448525));
#8920 = CARTESIAN_POINT ('', (15.4242723473949, 5.89900000000002, 11.3532974448525));
#8930 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8890, #8900), (#8910, #8920)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.70106732052402, 0.80106732052401), (-2.101, 0.00099999999999989), .UNSPECIFIED.);
#8940 = ADVANCED_FACE ('', (#8880), #8930, .F.);
#8950 = ORIENTED_EDGE ('', *, *, #3730, .T.);
#8960 = ORIENTED_EDGE ('', *, *, #8850, .T.);
#8970 = ORIENTED_EDGE ('', *, *, #7920, .T.);
#8980 = ORIENTED_EDGE ('', *, *, #6740, .F.);
#8990 = ORIENTED_EDGE ('', *, *, #5540, .F.);
#9000 = CARTESIAN_POINT ('', (35., 6.50000000000001, 16.2317822411696));
#9010 = CARTESIAN_POINT ('', (35., 8.00000000000001, 16.2317822411696));
#9020 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9000, #9010), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9030 = EDGE_CURVE ('', #5410, #3690, #9020, .T.);
#9040 = ORIENTED_EDGE ('', *, *, #9030, .T.);
#9050 = EDGE_LOOP ('', (#8950, #8960, #8970, #8980, #8990, #9040));
#9060 = FACE_OUTER_BOUND ('', #9050, .F.);
#9070 = CARTESIAN_POINT ('', (35.0010647205849, 8.001, 16.2318566936857));
#9080 = CARTESIAN_POINT ('', (35.0010647205849, 5.89900000000001, 16.2318566936857));
#9090 = CARTESIAN_POINT ('', (15.1789855161895, 8.001, 14.8457618888307));
#9100 = CARTESIAN_POINT ('', (15.1789855161895, 5.89900000000001, 14.8457618888307));
#9110 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9070, #9080), (#9090, #9100)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-5.22576239712005, 14.6447203044494), (-2.101, 0.00099999999999989), .UNSPECIFIED.);
#9120 = ADVANCED_FACE ('', (#9060), #9110, .F.);
#9130 = ORIENTED_EDGE ('', *, *, #3290, .F.);
#9140 = ORIENTED_EDGE ('', *, *, #1700, .F.);
#9150 = ORIENTED_EDGE ('', *, *, #3930, .F.);
#9160 = ORIENTED_EDGE ('', *, *, #2000, .F.);
#9170 = EDGE_LOOP ('', (#9130, #9140, #9150, #9160));
#9180 = FACE_OUTER_BOUND ('', #9170, .F.);
#9190 = CARTESIAN_POINT ('', (2.88657986402541E-15, 9.60120000000001, 17.));
#9200 = CARTESIAN_POINT ('', (-3.11972669919669E-14, -9.6012, 17.));
#9210 = CARTESIAN_POINT ('', (1.00475183728577E-14, 9.60120000000001, 16.));
#9220 = CARTESIAN_POINT ('', (-2.40918396343659E-14, -9.6012, 16.));
#9230 = CARTESIAN_POINT ('', (1.00000000000001, 9.60120000000001, 16.));
#9240 = CARTESIAN_POINT ('', (0.999999999999976, -9.60120000000001, 16.));
#9250 = CARTESIAN_POINT ('', (2.00000000000001, 9.60120000000001, 16.));
#9260 = CARTESIAN_POINT ('', (1.99999999999998, -9.60120000000001, 16.));
#9270 = CARTESIAN_POINT ('', (2., 9.60120000000001, 17.));
#9280 = CARTESIAN_POINT ('', (1.99999999999997, -9.60120000000001, 17.));
#9290 = CARTESIAN_POINT ('', (2., 9.60120000000001, 18.));
#9300 = CARTESIAN_POINT ('', (1.99999999999996, -9.60120000000001, 18.));
#9310 = CARTESIAN_POINT ('', (0.999999999999996, 9.60120000000001, 18.));
#9320 = CARTESIAN_POINT ('', (0.999999999999962, -9.60120000000001, 18.));
#9330 = CARTESIAN_POINT ('', (-3.92984935996709E-15, 9.60120000000001, 18.));
#9340 = CARTESIAN_POINT ('', (-3.80136962159594E-14, -9.6012, 18.));
#9350 = CARTESIAN_POINT ('', (2.88657986402541E-15, 9.60120000000001, 17.));
#9360 = CARTESIAN_POINT ('', (-3.11972669919669E-14, -9.6012, 17.));
#9370 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#9190, #9200), (#9210, #9220), (#9230, #9240), (#9250, #9260), (#9270, #9280), (#9290, #9300), (#9310, #9320), (#9330, #9340), (#9350, #9360)), .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., 1.), .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 ('')
);
#9380 = ADVANCED_FACE ('', (#9180), #9370, .F.);
#9390 = ORIENTED_EDGE ('', *, *, #9030, .F.);
#9400 = ORIENTED_EDGE ('', *, *, #5470, .T.);
#9410 = CARTESIAN_POINT ('', (32.15, 6.50000000000001, 19.0817822411696));
#9420 = CARTESIAN_POINT ('', (32.15, 8.00000000000001, 19.0817822411696));
#9430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9410, #9420), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9440 = EDGE_CURVE ('', #5430, #3760, #9430, .T.);
#9450 = ORIENTED_EDGE ('', *, *, #9440, .T.);
#9460 = ORIENTED_EDGE ('', *, *, #3800, .T.);
#9470 = EDGE_LOOP ('', (#9390, #9400, #9450, #9460));
#9480 = FACE_OUTER_BOUND ('', #9470, .F.);
#9490 = CARTESIAN_POINT ('', (32.149, 8.001, 19.0827822411696));
#9500 = CARTESIAN_POINT ('', (32.149, 6.49900000000001, 19.0827822411696));
#9510 = CARTESIAN_POINT ('', (35.001, 8.001, 16.2307822411696));
#9520 = CARTESIAN_POINT ('', (35.001, 6.49900000000001, 16.2307822411696));
#9530 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9490, #9500), (#9510, #9520)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141421356237004, 4.03192286632567), (-3.001, -1.499), .UNSPECIFIED.);
#9540 = ADVANCED_FACE ('', (#9480), #9530, .F.);
#9550 = ORIENTED_EDGE ('', *, *, #5730, .T.);
#9560 = ORIENTED_EDGE ('', *, *, #2340, .T.);
#9570 = ORIENTED_EDGE ('', *, *, #3850, .T.);
#9580 = ORIENTED_EDGE ('', *, *, #9440, .F.);
#9590 = EDGE_LOOP ('', (#9550, #9560, #9570, #9580));
#9600 = FACE_OUTER_BOUND ('', #9590, .F.);
#9610 = CARTESIAN_POINT ('', (23.6302139463162, 8.001, 24.0006830127019));
#9620 = CARTESIAN_POINT ('', (23.6302139463162, 6.49900000000001, 24.0006830127019));
#9630 = CARTESIAN_POINT ('', (32.1511830127019, 8.001, 19.0810992284677));
#9640 = CARTESIAN_POINT ('', (32.1511830127019, 6.49900000000001, 19.0810992284677));
#9650 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9610, #9620), (#9630, #9640)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00136602540379727, 9.83780154306477), (-3.001, -1.499), .UNSPECIFIED.);
#9660 = ADVANCED_FACE ('', (#9600), #9650, .F.);
#9670 = CLOSED_SHELL ('', (#360, #650, #1010, #1290, #1570, #1850, #2210, #2710, #3390, #4400, #4790, #4950, #5110, #5270, #5390, #5820, #6040, #6350, #7600, #7860, #8280, #8460, #8620, #8780, #8940, #9120, #9380, #9540, #9660));
#9680 = MANIFOLD_SOLID_BREP ('NOCUT', #9670);
#9690 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#9700 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#9710 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#9720 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #9690, 'DISTANCE_ACCURACY_VALUE', '');
#9730 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#9720))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#9690, #9700, #9710))
   REPRESENTATION_CONTEXT ('', '3D')
);
#9740 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#9750 = FILL_AREA_STYLE_COLOUR ('', #9740);
#9760 = FILL_AREA_STYLE ('', (#9750));
#9770 = SURFACE_STYLE_FILL_AREA (#9760);
#9780 = SURFACE_SIDE_STYLE ('', (#9770));
#9790 = SURFACE_STYLE_USAGE (.POSITIVE., #9780);
#9800 = PRESENTATION_STYLE_ASSIGNMENT ((#9790));
#9810 = STYLED_ITEM ('', (#9800), #9680);
#9820 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#9680), #9730);
#9830 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#9840 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #9830);
#9850 = MECHANICAL_CONTEXT ('', #9830, 'mechanical');
#9860 = PRODUCT ('NONE', '', '', (#9850));
#9870 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#9880 = PERSON ('', '', $, $, $, $);
#9890 = ORGANIZATION ($, '', '');
#9900 = PERSON_AND_ORGANIZATION (#9880, #9890);
#9910 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#9900, #9870, (#9860));
#9920 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#9860));
#9930 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #9860, .NOT_KNOWN.);
#9940 = APPROVAL_STATUS ('approved');
#9950 = APPROVAL (#9940, '');
#9960 = CALENDAR_DATE (2017, 9, 2);
#9970 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#9980 = LOCAL_TIME (14, 30, 43., #9970);
#9990 = DATE_AND_TIME (#9960, #9980);
#10000 = APPROVAL_DATE_TIME (#9990, #9950);
#10010 = APPROVAL_ROLE ('');
#10020 = PERSON ('', '', $, $, $, $);
#10030 = ORGANIZATION ($, '', '');
#10040 = PERSON_AND_ORGANIZATION (#10020, #10030);
#10050 = APPROVAL_PERSON_ORGANIZATION (#10040, #9950, #10010);
#10060 = CC_DESIGN_APPROVAL (#9950, (#9930));
#10070 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#10080 = PERSON ('', '', $, $, $, $);
#10090 = ORGANIZATION ($, '', '');
#10100 = PERSON_AND_ORGANIZATION (#10080, #10090);
#10110 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10100, #10070, (#9930));
#10120 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#10130 = PERSON ('', '', $, $, $, $);
#10140 = ORGANIZATION ($, '', '');
#10150 = PERSON_AND_ORGANIZATION (#10130, #10140);
#10160 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10150, #10120, (#9930));
#10170 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#10180 = SECURITY_CLASSIFICATION ('', '', #10170);
#10190 = APPROVAL_STATUS ('approved');
#10200 = APPROVAL (#10190, '');
#10210 = CALENDAR_DATE (2017, 9, 2);
#10220 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10230 = LOCAL_TIME (14, 30, 43., #10220);
#10240 = DATE_AND_TIME (#10210, #10230);
#10250 = APPROVAL_DATE_TIME (#10240, #10200);
#10260 = APPROVAL_ROLE ('');
#10270 = PERSON ('', '', $, $, $, $);
#10280 = ORGANIZATION ($, '', '');
#10290 = PERSON_AND_ORGANIZATION (#10270, #10280);
#10300 = APPROVAL_PERSON_ORGANIZATION (#10290, #10200, #10260);
#10310 = CC_DESIGN_APPROVAL (#10200, (#10180));
#10320 = DATE_TIME_ROLE ('classification_date');
#10330 = CALENDAR_DATE (2017, 9, 2);
#10340 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10350 = LOCAL_TIME (14, 30, 43., #10340);
#10360 = DATE_AND_TIME (#10330, #10350);
#10370 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#10360, #10320, (#10180));
#10380 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#10390 = PERSON ('', '', $, $, $, $);
#10400 = ORGANIZATION ($, '', '');
#10410 = PERSON_AND_ORGANIZATION (#10390, #10400);
#10420 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10410, #10380, (#10180));
#10430 = CC_DESIGN_SECURITY_CLASSIFICATION (#10180, (#9930));
#10440 = DESIGN_CONTEXT ('', #9830, 'design');
#10450 = PRODUCT_DEFINITION ('', '', #9930, #10440);
#10460 = APPROVAL_STATUS ('approved');
#10470 = APPROVAL (#10460, '');
#10480 = CALENDAR_DATE (2017, 9, 2);
#10490 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10500 = LOCAL_TIME (14, 30, 43., #10490);
#10510 = DATE_AND_TIME (#10480, #10500);
#10520 = APPROVAL_DATE_TIME (#10510, #10470);
#10530 = APPROVAL_ROLE ('');
#10540 = PERSON ('', '', $, $, $, $);
#10550 = ORGANIZATION ($, '', '');
#10560 = PERSON_AND_ORGANIZATION (#10540, #10550);
#10570 = APPROVAL_PERSON_ORGANIZATION (#10560, #10470, #10530);
#10580 = CC_DESIGN_APPROVAL (#10470, (#10450));
#10590 = DATE_TIME_ROLE ('creation_date');
#10600 = CALENDAR_DATE (2017, 9, 2);
#10610 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10620 = LOCAL_TIME (14, 30, 43., #10610);
#10630 = DATE_AND_TIME (#10600, #10620);
#10640 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#10630, #10590, (#10450));
#10650 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#10660 = PERSON ('', '', $, $, $, $);
#10670 = ORGANIZATION ($, '', '');
#10680 = PERSON_AND_ORGANIZATION (#10660, #10670);
#10690 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10680, #10650, (#10450));
#10700 = PRODUCT_DEFINITION_SHAPE ('', '', #10450);
#10710 = SHAPE_DEFINITION_REPRESENTATION (#10700, #9820);
#10720 = CARTESIAN_POINT ('', (39.6894144344311, 6.50000000000001, 11.2668048205826));
#10730 = VERTEX_POINT ('', #10720);
#10740 = CARTESIAN_POINT ('', (17.0447104935331, 6.50000000000001, 9.68333286659111));
#10750 = VERTEX_POINT ('', #10740);
#10760 = CARTESIAN_POINT ('', (39.6894144344311, 6.50000000000001, 11.2668048205826));
#10770 = CARTESIAN_POINT ('', (17.0447104935331, 6.50000000000001, 9.68333286659111));
#10780 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10760, #10770), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10790 = EDGE_CURVE ('', #10730, #10750, #10780, .T.);
#10800 = ORIENTED_EDGE ('', *, *, #10790, .T.);
#10810 = CARTESIAN_POINT ('', (16.843943193294, 6.50000000000001, 12.5544390225718));
#10820 = VERTEX_POINT ('', #10810);
#10830 = CARTESIAN_POINT ('', (17.0447104935331, 6.50000000000001, 9.68333286659111));
#10840 = CARTESIAN_POINT ('', (16.843943193294, 6.50000000000001, 12.5544390225718));
#10850 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10830, #10840), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10860 = EDGE_CURVE ('', #10750, #10820, #10850, .T.);
#10870 = ORIENTED_EDGE ('', *, *, #10860, .T.);
#10880 = CARTESIAN_POINT ('', (19.7032495733252, 6.50000000000001, 10.0688819070573));
#10890 = VERTEX_POINT ('', #10880);
#10900 = CARTESIAN_POINT ('', (16.843943193294, 6.50000000000001, 12.5544390225718));
#10910 = CARTESIAN_POINT ('', (19.7032495733252, 6.50000000000001, 10.0688819070573));
#10920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10900, #10910), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10930 = EDGE_CURVE ('', #10820, #10890, #10920, .T.);
#10940 = ORIENTED_EDGE ('', *, *, #10930, .T.);
#10950 = CARTESIAN_POINT ('', (19.0323570186664, 6.50000000000001, 14.8425304774502));
#10960 = VERTEX_POINT ('', #10950);
#10970 = CARTESIAN_POINT ('', (19.7032495733252, 6.50000000000001, 10.0688819070573));
#10980 = CARTESIAN_POINT ('', (19.0323570186664, 6.50000000000001, 14.8425304774502));
#10990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10970, #10980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11000 = EDGE_CURVE ('', #10890, #10960, #10990, .T.);
#11010 = ORIENTED_EDGE ('', *, *, #11000, .T.);
#11020 = CARTESIAN_POINT ('', (18.3943653881721, 6.50000000000001, 14.7528666011674));
#11030 = VERTEX_POINT ('', #11020);
#11040 = CARTESIAN_POINT ('', (19.0323570186664, 6.50000000000001, 14.8425304774502));
#11050 = CARTESIAN_POINT ('', (18.3943653881721, 6.50000000000001, 14.7528666011674));
#11060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11040, #11050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11070 = EDGE_CURVE ('', #10960, #11030, #11060, .T.);
#11080 = ORIENTED_EDGE ('', *, *, #11070, .T.);
#11090 = CARTESIAN_POINT ('', (18.6471153677701, 6.50000000000001, 15.0882771527576));
#11100 = VERTEX_POINT ('', #11090);
#11110 = CARTESIAN_POINT ('', (18.3943653881721, 6.50000000000001, 14.7528666011674));
#11120 = CARTESIAN_POINT ('', (18.6471153677701, 6.50000000000001, 15.0882771527576));
#11130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11110, #11120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11140 = EDGE_CURVE ('', #11030, #11100, #11130, .T.);
#11150 = ORIENTED_EDGE ('', *, *, #11140, .T.);
#11160 = CARTESIAN_POINT ('', (37.3503811974562, 6.50000000000001, 16.3961369051594));
#11170 = VERTEX_POINT ('', #11160);
#11180 = CARTESIAN_POINT ('', (18.6471153677701, 6.50000000000001, 15.0882771527576));
#11190 = CARTESIAN_POINT ('', (37.3503811974563, 6.50000000000001, 16.3961369051594));
#11200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11180, #11190), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11210 = EDGE_CURVE ('', #11100, #11170, #11200, .T.);
#11220 = ORIENTED_EDGE ('', *, *, #11210, .T.);
#11230 = CARTESIAN_POINT ('', (37.6473515581867, 6.50000000000001, 16.0991665444289));
#11240 = VERTEX_POINT ('', #11230);
#11250 = CARTESIAN_POINT ('', (37.6473515581867, 6.50000000000001, 16.0991665444289));
#11260 = CARTESIAN_POINT ('', (37.3503811974562, 6.50000000000001, 16.3961369051594));
#11270 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11250, #11260), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11280 = EDGE_CURVE ('', #11240, #11170, #11270, .T.);
#11290 = ORIENTED_EDGE ('', *, *, #11280, .F.);
#11300 = CARTESIAN_POINT ('', (37.0030900186775, 6.50000000000001, 16.0991665444289));
#11310 = VERTEX_POINT ('', #11300);
#11320 = CARTESIAN_POINT ('', (37.0030900186775, 6.50000000000001, 16.0991665444289));
#11330 = CARTESIAN_POINT ('', (37.6473515581867, 6.50000000000001, 16.0991665444289));
#11340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11320, #11330), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11350 = EDGE_CURVE ('', #11310, #11240, #11340, .T.);
#11360 = ORIENTED_EDGE ('', *, *, #11350, .F.);
#11370 = CARTESIAN_POINT ('', (37.0030900186775, 6.50000000000001, 11.278604596532));
#11380 = VERTEX_POINT ('', #11370);
#11390 = CARTESIAN_POINT ('', (37.0030900186775, 6.50000000000001, 11.278604596532));
#11400 = CARTESIAN_POINT ('', (37.0030900186775, 6.50000000000001, 16.0991665444289));
#11410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11390, #11400), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11420 = EDGE_CURVE ('', #11380, #11310, #11410, .T.);
#11430 = ORIENTED_EDGE ('', *, *, #11420, .F.);
#11440 = CARTESIAN_POINT ('', (39.488647134192, 6.50000000000001, 14.1379109765633));
#11450 = VERTEX_POINT ('', #11440);
#11460 = CARTESIAN_POINT ('', (39.488647134192, 6.50000000000001, 14.1379109765633));
#11470 = CARTESIAN_POINT ('', (37.0030900186775, 6.50000000000001, 11.278604596532));
#11480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11460, #11470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11490 = EDGE_CURVE ('', #11450, #11380, #11480, .T.);
#11500 = ORIENTED_EDGE ('', *, *, #11490, .F.);
#11510 = CARTESIAN_POINT ('', (39.6894144344311, 6.50000000000001, 11.2668048205826));
#11520 = CARTESIAN_POINT ('', (39.488647134192, 6.50000000000001, 14.1379109765633));
#11530 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11510, #11520), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11540 = EDGE_CURVE ('', #10730, #11450, #11530, .T.);
#11550 = ORIENTED_EDGE ('', *, *, #11540, .F.);
#11560 = EDGE_LOOP ('', (#10800, #10870, #10940, #11010, #11080, #11150, #11220, #11290, #11360, #11430, #11500, #11550));
#11570 = FACE_OUTER_BOUND ('', #11560, .F.);
#11580 = CARTESIAN_POINT ('', (39.6904817549551, 6.50000000000001, 11.2658770130061));
#11590 = CARTESIAN_POINT ('', (39.3220280606387, 6.50000000000001, 16.5350103264782));
#11600 = CARTESIAN_POINT ('', (17.0437826859566, 6.50000000000001, 9.68226554606709));
#11610 = CARTESIAN_POINT ('', (16.6753289916402, 6.50000000000001, 14.9513988595392));
#11620 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11580, #11590), (#11600, #11610)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-23.351, -0.648999999999999), (0.0662873602662812, 5.34828736026604), .UNSPECIFIED.);
#11630 = ADVANCED_FACE ('', (#11570), #11620, .F.);
#11640 = CARTESIAN_POINT ('', (18.6471153677701, 8.00000000000001, 15.0882771527576));
#11650 = VERTEX_POINT ('', #11640);
#11660 = CARTESIAN_POINT ('', (37.3503811974562, 8.00000000000001, 16.3961369051594));
#11670 = VERTEX_POINT ('', #11660);
#11680 = CARTESIAN_POINT ('', (18.6471153677701, 8.00000000000001, 15.0882771527576));
#11690 = CARTESIAN_POINT ('', (37.3503811974563, 8.00000000000001, 16.3961369051594));
#11700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11680, #11690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11710 = EDGE_CURVE ('', #11650, #11670, #11700, .T.);
#11720 = ORIENTED_EDGE ('', *, *, #11710, .F.);
#11730 = CARTESIAN_POINT ('', (18.3943653881721, 8.00000000000001, 14.7528666011674));
#11740 = VERTEX_POINT ('', #11730);
#11750 = CARTESIAN_POINT ('', (18.6471153677701, 8.00000000000001, 15.0882771527576));
#11760 = CARTESIAN_POINT ('', (18.3943653881721, 8.00000000000001, 14.7528666011674));
#11770 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11750, #11760), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11780 = EDGE_CURVE ('', #11650, #11740, #11770, .T.);
#11790 = ORIENTED_EDGE ('', *, *, #11780, .T.);
#11800 = CARTESIAN_POINT ('', (19.0323570186664, 8.00000000000001, 14.8425304774502));
#11810 = VERTEX_POINT ('', #11800);
#11820 = CARTESIAN_POINT ('', (19.0323570186664, 8.00000000000001, 14.8425304774502));
#11830 = CARTESIAN_POINT ('', (18.3943653881721, 8.00000000000001, 14.7528666011674));
#11840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11820, #11830), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11850 = EDGE_CURVE ('', #11810, #11740, #11840, .T.);
#11860 = ORIENTED_EDGE ('', *, *, #11850, .F.);
#11870 = CARTESIAN_POINT ('', (19.7032495733252, 8.00000000000001, 10.0688819070573));
#11880 = VERTEX_POINT ('', #11870);
#11890 = CARTESIAN_POINT ('', (19.7032495733252, 8.00000000000001, 10.0688819070573));
#11900 = CARTESIAN_POINT ('', (19.0323570186664, 8.00000000000001, 14.8425304774502));
#11910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11890, #11900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11920 = EDGE_CURVE ('', #11880, #11810, #11910, .T.);
#11930 = ORIENTED_EDGE ('', *, *, #11920, .F.);
#11940 = CARTESIAN_POINT ('', (16.843943193294, 8.00000000000001, 12.5544390225718));
#11950 = VERTEX_POINT ('', #11940);
#11960 = CARTESIAN_POINT ('', (16.843943193294, 8.00000000000001, 12.5544390225718));
#11970 = CARTESIAN_POINT ('', (19.7032495733252, 8.00000000000001, 10.0688819070573));
#11980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11960, #11970), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11990 = EDGE_CURVE ('', #11950, #11880, #11980, .T.);
#12000 = ORIENTED_EDGE ('', *, *, #11990, .F.);
#12010 = CARTESIAN_POINT ('', (17.0447104935331, 8.00000000000001, 9.68333286659111));
#12020 = VERTEX_POINT ('', #12010);
#12030 = CARTESIAN_POINT ('', (17.0447104935331, 8.00000000000001, 9.68333286659111));
#12040 = CARTESIAN_POINT ('', (16.843943193294, 8.00000000000001, 12.5544390225718));
#12050 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12030, #12040), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12060 = EDGE_CURVE ('', #12020, #11950, #12050, .T.);
#12070 = ORIENTED_EDGE ('', *, *, #12060, .F.);
#12080 = CARTESIAN_POINT ('', (39.6894144344311, 8.00000000000001, 11.2668048205826));
#12090 = VERTEX_POINT ('', #12080);
#12100 = CARTESIAN_POINT ('', (39.6894144344311, 8.00000000000001, 11.2668048205826));
#12110 = CARTESIAN_POINT ('', (17.0447104935331, 8.00000000000001, 9.68333286659111));
#12120 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12100, #12110), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12130 = EDGE_CURVE ('', #12090, #12020, #12120, .T.);
#12140 = ORIENTED_EDGE ('', *, *, #12130, .F.);
#12150 = CARTESIAN_POINT ('', (39.488647134192, 8.00000000000001, 14.1379109765633));
#12160 = VERTEX_POINT ('', #12150);
#12170 = CARTESIAN_POINT ('', (39.6894144344311, 8.00000000000001, 11.2668048205826));
#12180 = CARTESIAN_POINT ('', (39.488647134192, 8.00000000000001, 14.1379109765633));
#12190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12170, #12180), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12200 = EDGE_CURVE ('', #12090, #12160, #12190, .T.);
#12210 = ORIENTED_EDGE ('', *, *, #12200, .T.);
#12220 = CARTESIAN_POINT ('', (37.0030900186775, 8.00000000000001, 11.278604596532));
#12230 = VERTEX_POINT ('', #12220);
#12240 = CARTESIAN_POINT ('', (39.488647134192, 8.00000000000001, 14.1379109765633));
#12250 = CARTESIAN_POINT ('', (37.0030900186775, 8.00000000000001, 11.278604596532));
#12260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12240, #12250), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12270 = EDGE_CURVE ('', #12160, #12230, #12260, .T.);
#12280 = ORIENTED_EDGE ('', *, *, #12270, .T.);
#12290 = CARTESIAN_POINT ('', (37.0030900186775, 8.00000000000001, 16.0991665444289));
#12300 = VERTEX_POINT ('', #12290);
#12310 = CARTESIAN_POINT ('', (37.0030900186775, 8.00000000000001, 11.278604596532));
#12320 = CARTESIAN_POINT ('', (37.0030900186775, 8.00000000000001, 16.0991665444289));
#12330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12310, #12320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12340 = EDGE_CURVE ('', #12230, #12300, #12330, .T.);
#12350 = ORIENTED_EDGE ('', *, *, #12340, .T.);
#12360 = CARTESIAN_POINT ('', (37.6473515581867, 8.00000000000001, 16.0991665444289));
#12370 = VERTEX_POINT ('', #12360);
#12380 = CARTESIAN_POINT ('', (37.0030900186775, 8.00000000000001, 16.0991665444289));
#12390 = CARTESIAN_POINT ('', (37.6473515581867, 8.00000000000001, 16.0991665444289));
#12400 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12380, #12390), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12410 = EDGE_CURVE ('', #12300, #12370, #12400, .T.);
#12420 = ORIENTED_EDGE ('', *, *, #12410, .T.);
#12430 = CARTESIAN_POINT ('', (37.3503811974562, 8.00000000000001, 16.3961369051594));
#12440 = CARTESIAN_POINT ('', (37.6473515581867, 8.00000000000001, 16.0991665444289));
#12450 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12430, #12440), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12460 = EDGE_CURVE ('', #11670, #12370, #12450, .T.);
#12470 = ORIENTED_EDGE ('', *, *, #12460, .F.);
#12480 = EDGE_LOOP ('', (#11720, #11790, #11860, #11930, #12000, #12070, #12140, #12210, #12280, #12350, #12420, #12470));
#12490 = FACE_OUTER_BOUND ('', #12480, .F.);
#12500 = CARTESIAN_POINT ('', (17.0437826859566, 8.00000000000001, 9.6822655460671));
#12510 = CARTESIAN_POINT ('', (16.6753289916401, 8.00000000000001, 14.9513988595393));
#12520 = CARTESIAN_POINT ('', (39.6904817549551, 8.00000000000001, 11.2658770130061));
#12530 = CARTESIAN_POINT ('', (39.3220280606386, 8.00000000000001, 16.5350103264783));
#12540 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12500, #12510), (#12520, #12530)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.649000000000001, 23.351), (0.0662873602662812, 5.34828736026604), .UNSPECIFIED.);
#12550 = ADVANCED_FACE ('', (#12490), #12540, .F.);
#12560 = ORIENTED_EDGE ('', *, *, #12130, .T.);
#12570 = CARTESIAN_POINT ('', (17.0447104935331, 8.00000000000001, 9.68333286659111));
#12580 = CARTESIAN_POINT ('', (17.0447104935331, 6.50000000000001, 9.68333286659111));
#12590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12570, #12580), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12600 = EDGE_CURVE ('', #12020, #10750, #12590, .T.);
#12610 = ORIENTED_EDGE ('', *, *, #12600, .T.);
#12620 = ORIENTED_EDGE ('', *, *, #10790, .F.);
#12630 = CARTESIAN_POINT ('', (39.6894144344311, 8.00000000000001, 11.2668048205826));
#12640 = CARTESIAN_POINT ('', (39.6894144344311, 6.50000000000001, 11.2668048205826));
#12650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12630, #12640), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12660 = EDGE_CURVE ('', #12090, #10730, #12650, .T.);
#12670 = ORIENTED_EDGE ('', *, *, #12660, .F.);
#12680 = EDGE_LOOP ('', (#12560, #12610, #12620, #12670));
#12690 = FACE_OUTER_BOUND ('', #12680, .F.);
#12700 = CARTESIAN_POINT ('', (39.6904119984814, 8.00100000000001, 11.2668745770563));
#12710 = CARTESIAN_POINT ('', (39.6904119984814, 6.49900000000001, 11.2668745770563));
#12720 = CARTESIAN_POINT ('', (17.0437129294828, 8.00100000000001, 9.68326311011736));
#12730 = CARTESIAN_POINT ('', (17.0437129294828, 6.49900000000001, 9.68326311011736));
#12740 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12700, #12710), (#12720, #12730)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.784908909896224, 23.4869089098962), (-7.351, -5.849), .UNSPECIFIED.);
#12750 = ADVANCED_FACE ('', (#12690), #12740, .F.);
#12760 = ORIENTED_EDGE ('', *, *, #11210, .F.);
#12770 = CARTESIAN_POINT ('', (18.6471153677701, 6.50000000000001, 15.0882771527576));
#12780 = CARTESIAN_POINT ('', (18.6471153677701, 8.00000000000001, 15.0882771527576));
#12790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12770, #12780), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12800 = EDGE_CURVE ('', #11100, #11650, #12790, .T.);
#12810 = ORIENTED_EDGE ('', *, *, #12800, .T.);
#12820 = ORIENTED_EDGE ('', *, *, #11710, .T.);
#12830 = CARTESIAN_POINT ('', (37.3503811974562, 6.50000000000001, 16.3961369051594));
#12840 = CARTESIAN_POINT ('', (37.3503811974562, 8.00000000000001, 16.3961369051594));
#12850 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12830, #12840), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12860 = EDGE_CURVE ('', #11170, #11670, #12850, .T.);
#12870 = ORIENTED_EDGE ('', *, *, #12860, .F.);
#12880 = EDGE_LOOP ('', (#12760, #12810, #12820, #12870));
#12890 = FACE_OUTER_BOUND ('', #12880, .F.);
#12900 = CARTESIAN_POINT ('', (18.6461178037198, 8.001, 15.0882073962838));
#12910 = CARTESIAN_POINT ('', (18.6461178037198, 6.49900000000001, 15.0882073962838));
#12920 = CARTESIAN_POINT ('', (37.3513787615065, 8.00100000000001, 16.3962066616332));
#12930 = CARTESIAN_POINT ('', (37.3513787615065, 6.49900000000002, 16.3962066616332));
#12940 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12900, #12910), (#12920, #12930)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-21.5113775592099, -2.76044026058256), (-7.351, -5.849), .UNSPECIFIED.);
#12950 = ADVANCED_FACE ('', (#12890), #12940, .F.);
#12960 = ORIENTED_EDGE ('', *, *, #11280, .T.);
#12970 = ORIENTED_EDGE ('', *, *, #12860, .T.);
#12980 = ORIENTED_EDGE ('', *, *, #12460, .T.);
#12990 = CARTESIAN_POINT ('', (37.6473515581867, 8.00000000000001, 16.0991665444289));
#13000 = CARTESIAN_POINT ('', (37.6473515581867, 6.50000000000001, 16.0991665444289));
#13010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12990, #13000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13020 = EDGE_CURVE ('', #12370, #11240, #13010, .T.);
#13030 = ORIENTED_EDGE ('', *, *, #13020, .T.);
#13040 = EDGE_LOOP ('', (#12960, #12970, #12980, #13030));
#13050 = FACE_OUTER_BOUND ('', #13040, .F.);
#13060 = CARTESIAN_POINT ('', (37.349383633406, 8.00100000000001, 16.3971344692097));
#13070 = CARTESIAN_POINT ('', (37.349383633406, 6.49900000000001, 16.3971344692097));
#13080 = CARTESIAN_POINT ('', (37.648349122237, 8.00100000000001, 16.0981689803787));
#13090 = CARTESIAN_POINT ('', (37.648349122237, 6.49900000000001, 16.0981689803787));
#13100 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13060, #13070), (#13080, #13090)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141076860921174, 0.421390280377075), (2.77230748765416, 4.27430748765416), .UNSPECIFIED.);
#13110 = ADVANCED_FACE ('', (#13050), #13100, .F.);
#13120 = ORIENTED_EDGE ('', *, *, #13020, .F.);
#13130 = ORIENTED_EDGE ('', *, *, #12410, .F.);
#13140 = CARTESIAN_POINT ('', (40.0030900186775, 8.25000000000001, 16.0991665444289));
#13150 = VERTEX_POINT ('', #13140);
#13160 = CARTESIAN_POINT ('', (40.0030900186775, 8.25000000000001, 16.0991665444289));
#13170 = CARTESIAN_POINT ('', (37.0030900186775, 8.00000000000001, 16.0991665444289));
#13180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13160, #13170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13190 = EDGE_CURVE ('', #13150, #12300, #13180, .T.);
#13200 = ORIENTED_EDGE ('', *, *, #13190, .F.);
#13210 = CARTESIAN_POINT ('', (40.0030900186775, 6.25000000000001, 16.0991665444289));
#13220 = VERTEX_POINT ('', #13210);
#13230 = CARTESIAN_POINT ('', (40.0030900186775, 8.25000000000001, 16.0991665444289));
#13240 = CARTESIAN_POINT ('', (40.0030900186775, 6.25000000000001, 16.0991665444289));
#13250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13230, #13240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13260 = EDGE_CURVE ('', #13150, #13220, #13250, .T.);
#13270 = ORIENTED_EDGE ('', *, *, #13260, .T.);
#13280 = CARTESIAN_POINT ('', (40.0030900186775, 6.25000000000001, 16.0991665444289));
#13290 = CARTESIAN_POINT ('', (37.0030900186775, 6.50000000000001, 16.0991665444289));
#13300 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13280, #13290), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13310 = EDGE_CURVE ('', #13220, #11310, #13300, .T.);
#13320 = ORIENTED_EDGE ('', *, *, #13310, .T.);
#13330 = ORIENTED_EDGE ('', *, *, #11350, .T.);
#13340 = EDGE_LOOP ('', (#13120, #13130, #13200, #13270, #13320, #13330));
#13350 = FACE_OUTER_BOUND ('', #13340, .F.);
#13360 = CARTESIAN_POINT ('', (37.0020226981535, 8.25100000000001, 16.0991665444289));
#13370 = CARTESIAN_POINT ('', (37.0020226981535, 6.24900000000001, 16.0991665444289));
#13380 = CARTESIAN_POINT ('', (40.0041573392015, 8.25100000000001, 16.0991665444289));
#13390 = CARTESIAN_POINT ('', (40.0041573392015, 6.24900000000001, 16.0991665444289));
#13400 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13360, #13370), (#13380, #13390)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052400993, 3.001067320524), (2.52230748765416, 4.52430748765416), .UNSPECIFIED.);
#13410 = ADVANCED_FACE ('', (#13350), #13400, .F.);
#13420 = CARTESIAN_POINT ('', (39.488647134192, 8.00000000000001, 14.1379109765633));
#13430 = CARTESIAN_POINT ('', (39.488647134192, 6.50000000000001, 14.1379109765633));
#13440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13420, #13430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13450 = EDGE_CURVE ('', #12160, #11450, #13440, .T.);
#13460 = ORIENTED_EDGE ('', *, *, #13450, .T.);
#13470 = ORIENTED_EDGE ('', *, *, #11490, .T.);
#13480 = CARTESIAN_POINT ('', (40.0030900186775, 6.25000000000001, 14.729709818195));
#13490 = VERTEX_POINT ('', #13480);
#13500 = CARTESIAN_POINT ('', (37.0030900186775, 6.50000000000001, 11.278604596532));
#13510 = CARTESIAN_POINT ('', (40.0030900186775, 6.25000000000001, 14.729709818195));
#13520 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13500, #13510), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13530 = EDGE_CURVE ('', #11380, #13490, #13520, .T.);
#13540 = ORIENTED_EDGE ('', *, *, #13530, .T.);
#13550 = CARTESIAN_POINT ('', (40.0030900186775, 8.25000000000001, 14.729709818195));
#13560 = VERTEX_POINT ('', #13550);
#13570 = CARTESIAN_POINT ('', (40.0030900186775, 8.25000000000001, 14.729709818195));
#13580 = CARTESIAN_POINT ('', (40.0030900186775, 6.25000000000001, 14.729709818195));
#13590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13570, #13580), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13600 = EDGE_CURVE ('', #13560, #13490, #13590, .T.);
#13610 = ORIENTED_EDGE ('', *, *, #13600, .F.);
#13620 = CARTESIAN_POINT ('', (37.0030900186775, 8.00000000000001, 11.278604596532));
#13630 = CARTESIAN_POINT ('', (40.0030900186775, 8.25000000000001, 14.729709818195));
#13640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13620, #13630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13650 = EDGE_CURVE ('', #12230, #13560, #13640, .T.);
#13660 = ORIENTED_EDGE ('', *, *, #13650, .F.);
#13670 = ORIENTED_EDGE ('', *, *, #12270, .F.);
#13680 = EDGE_LOOP ('', (#13460, #13470, #13540, #13610, #13660, #13670));
#13690 = FACE_OUTER_BOUND ('', #13680, .F.);
#13700 = CARTESIAN_POINT ('', (40.004017826254, 8.251, 14.730777138719));
#13710 = CARTESIAN_POINT ('', (40.004017826254, 6.24900000000001, 14.730777138719));
#13720 = CARTESIAN_POINT ('', (37.002162211101, 8.25100000000001, 11.277537276008));
#13730 = CARTESIAN_POINT ('', (37.002162211101, 6.24900000000002, 11.277537276008));
#13740 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13700, #13710), (#13720, #13730)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.79003231906894, 0.785555368173193), (33.249, 35.251), .UNSPECIFIED.);
#13750 = ADVANCED_FACE ('', (#13690), #13740, .F.);
#13760 = ORIENTED_EDGE ('', *, *, #12200, .F.);
#13770 = ORIENTED_EDGE ('', *, *, #12660, .T.);
#13780 = ORIENTED_EDGE ('', *, *, #11540, .T.);
#13790 = ORIENTED_EDGE ('', *, *, #13450, .F.);
#13800 = EDGE_LOOP ('', (#13760, #13770, #13780, #13790));
#13810 = FACE_OUTER_BOUND ('', #13800, .F.);
#13820 = CARTESIAN_POINT ('', (39.6894841909048, 8.00100000000001, 11.2658072565323));
#13830 = CARTESIAN_POINT ('', (39.4885773777183, 8.00100000000001, 14.1389085406135));
#13840 = CARTESIAN_POINT ('', (39.6894841909048, 6.49900000000001, 11.2658072565323));
#13850 = CARTESIAN_POINT ('', (39.4885773777183, 6.49900000000001, 14.1389085406135));
#13860 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13820, #13830), (#13840, #13850)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-35.001, -33.499), (0.120882895406212, 3.001), .UNSPECIFIED.);
#13870 = ADVANCED_FACE ('', (#13810), #13860, .F.);
#13880 = ORIENTED_EDGE ('', *, *, #13600, .T.);
#13890 = CARTESIAN_POINT ('', (40.0030900186775, 6.25000000000001, 14.729709818195));
#13900 = CARTESIAN_POINT ('', (40.0030900186775, 6.25000000000001, 16.0991665444289));
#13910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13890, #13900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13920 = EDGE_CURVE ('', #13490, #13220, #13910, .T.);
#13930 = ORIENTED_EDGE ('', *, *, #13920, .T.);
#13940 = ORIENTED_EDGE ('', *, *, #13260, .F.);
#13950 = CARTESIAN_POINT ('', (40.0030900186775, 8.25000000000001, 14.729709818195));
#13960 = CARTESIAN_POINT ('', (40.0030900186775, 8.25000000000001, 16.0991665444289));
#13970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13950, #13960), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13980 = EDGE_CURVE ('', #13560, #13150, #13970, .T.);
#13990 = ORIENTED_EDGE ('', *, *, #13980, .F.);
#14000 = EDGE_LOOP ('', (#13880, #13930, #13940, #13990));
#14010 = FACE_OUTER_BOUND ('', #14000, .F.);
#14020 = CARTESIAN_POINT ('', (40.0030900186775, 8.251, 16.1002338649529));
#14030 = CARTESIAN_POINT ('', (40.0030900186775, 6.249, 16.1002338649529));
#14040 = CARTESIAN_POINT ('', (40.0030900186775, 8.251, 14.728642497671));
#14050 = CARTESIAN_POINT ('', (40.0030900186775, 6.249, 14.728642497671));
#14060 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14020, #14030), (#14040, #14050)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.37052404675795, 0.00106732052400593), (33.249, 35.251), .UNSPECIFIED.);
#14070 = ADVANCED_FACE ('', (#14010), #14060, .F.);
#14080 = ORIENTED_EDGE ('', *, *, #13530, .F.);
#14090 = ORIENTED_EDGE ('', *, *, #11420, .T.);
#14100 = ORIENTED_EDGE ('', *, *, #13310, .F.);
#14110 = ORIENTED_EDGE ('', *, *, #13920, .F.);
#14120 = EDGE_LOOP ('', (#14080, #14090, #14100, #14110));
#14130 = FACE_OUTER_BOUND ('', #14120, .F.);
#14140 = CARTESIAN_POINT ('', (40.3229791139257, 6.22334257539599, 11.508298418959));
#14150 = CARTESIAN_POINT ('', (39.9894961803966, 6.25113281985675, 16.3104448046038));
#14160 = CARTESIAN_POINT ('', (37.0021866352216, 6.50007528195466, 11.2760859877972));
#14170 = CARTESIAN_POINT ('', (36.6687037016925, 6.52786552641542, 16.078232373442));
#14180 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14140, #14150), (#14160, #14170)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.480363117707745, 2.86002103545233), (2.27575753352009, 7.08954949763785), .UNSPECIFIED.);
#14190 = ADVANCED_FACE ('', (#14130), #14180, .F.);
#14200 = ORIENTED_EDGE ('', *, *, #12340, .F.);
#14210 = ORIENTED_EDGE ('', *, *, #13650, .T.);
#14220 = ORIENTED_EDGE ('', *, *, #13980, .T.);
#14230 = ORIENTED_EDGE ('', *, *, #13190, .T.);
#14240 = EDGE_LOOP ('', (#14200, #14210, #14220, #14230));
#14250 = FACE_OUTER_BOUND ('', #14240, .F.);
#14260 = CARTESIAN_POINT ('', (37.0021866352216, 7.99992471804535, 11.2760859877972));
#14270 = CARTESIAN_POINT ('', (36.6687037016926, 7.9721344735846, 16.0782323734421));
#14280 = CARTESIAN_POINT ('', (40.3229791139257, 8.27665742460403, 11.508298418959));
#14290 = CARTESIAN_POINT ('', (39.9894961803967, 8.24886718014327, 16.3104448046039));
#14300 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14260, #14270), (#14280, #14290)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.480363117707745, 2.86002103545233), (2.27575753352009, 7.08954949763785), .UNSPECIFIED.);
#14310 = ADVANCED_FACE ('', (#14250), #14300, .F.);
#14320 = ORIENTED_EDGE ('', *, *, #11140, .F.);
#14330 = CARTESIAN_POINT ('', (18.3943653881721, 8.00000000000001, 14.7528666011674));
#14340 = CARTESIAN_POINT ('', (18.3943653881721, 6.50000000000001, 14.7528666011674));
#14350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14330, #14340), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14360 = EDGE_CURVE ('', #11740, #11030, #14350, .T.);
#14370 = ORIENTED_EDGE ('', *, *, #14360, .F.);
#14380 = ORIENTED_EDGE ('', *, *, #11780, .F.);
#14390 = ORIENTED_EDGE ('', *, *, #12800, .F.);
#14400 = EDGE_LOOP ('', (#14320, #14370, #14380, #14390));
#14410 = FACE_OUTER_BOUND ('', #14400, .F.);
#14420 = CARTESIAN_POINT ('', (18.6479643895133, 6.49900000000001, 15.0894038426654));
#14430 = CARTESIAN_POINT ('', (18.6479643895133, 8.001, 15.0894038426654));
#14440 = CARTESIAN_POINT ('', (18.3935163664289, 6.49900000000001, 14.7517399112597));
#14450 = CARTESIAN_POINT ('', (18.3935163664289, 8.001, 14.7517399112597));
#14460 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14420, #14430), (#14440, #14450)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141076860921352, 0.421390280377075), (-4.27430748765416, -2.77230748765416), .UNSPECIFIED.);
#14470 = ADVANCED_FACE ('', (#14410), #14460, .F.);
#14480 = ORIENTED_EDGE ('', *, *, #14360, .T.);
#14490 = ORIENTED_EDGE ('', *, *, #11070, .F.);
#14500 = CARTESIAN_POINT ('', (16.0615528124417, 6.25000000000001, 14.4250111745701));
#14510 = VERTEX_POINT ('', #14500);
#14520 = CARTESIAN_POINT ('', (16.0615528124417, 6.25000000000001, 14.4250111745701));
#14530 = CARTESIAN_POINT ('', (19.0323570186664, 6.50000000000001, 14.8425304774502));
#14540 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14520, #14530), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14550 = EDGE_CURVE ('', #14510, #10960, #14540, .T.);
#14560 = ORIENTED_EDGE ('', *, *, #14550, .F.);
#14570 = CARTESIAN_POINT ('', (16.0615528124417, 8.25000000000001, 14.4250111745701));
#14580 = VERTEX_POINT ('', #14570);
#14590 = CARTESIAN_POINT ('', (16.0615528124417, 8.25000000000001, 14.4250111745701));
#14600 = CARTESIAN_POINT ('', (16.0615528124417, 6.25000000000001, 14.4250111745701));
#14610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14590, #14600), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14620 = EDGE_CURVE ('', #14580, #14510, #14610, .T.);
#14630 = ORIENTED_EDGE ('', *, *, #14620, .F.);
#14640 = CARTESIAN_POINT ('', (16.0615528124417, 8.25000000000001, 14.4250111745701));
#14650 = CARTESIAN_POINT ('', (19.0323570186664, 8.00000000000001, 14.8425304774502));
#14660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14640, #14650), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14670 = EDGE_CURVE ('', #14580, #11810, #14660, .T.);
#14680 = ORIENTED_EDGE ('', *, *, #14670, .T.);
#14690 = ORIENTED_EDGE ('', *, *, #11850, .T.);
#14700 = EDGE_LOOP ('', (#14480, #14490, #14560, #14630, #14680, #14690));
#14710 = FACE_OUTER_BOUND ('', #14700, .F.);
#14720 = CARTESIAN_POINT ('', (19.0334139521004, 6.24900000000001, 14.8426790197573));
#14730 = CARTESIAN_POINT ('', (19.0334139521004, 8.251, 14.8426790197573));
#14740 = CARTESIAN_POINT ('', (16.0604958790076, 6.24900000000001, 14.424862632263));
#14750 = CARTESIAN_POINT ('', (16.0604958790076, 8.251, 14.424862632263));
#14760 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14720, #14730), (#14740, #14750)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052401171, 3.001067320524), (-4.52430748765416, -2.52230748765416), .UNSPECIFIED.);
#14770 = ADVANCED_FACE ('', (#14710), #14760, .F.);
#14780 = CARTESIAN_POINT ('', (16.843943193294, 8.00000000000001, 12.5544390225718));
#14790 = CARTESIAN_POINT ('', (16.843943193294, 6.50000000000001, 12.5544390225718));
#14800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14780, #14790), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14810 = EDGE_CURVE ('', #11950, #10820, #14800, .T.);
#14820 = ORIENTED_EDGE ('', *, *, #14810, .F.);
#14830 = ORIENTED_EDGE ('', *, *, #11990, .T.);
#14840 = CARTESIAN_POINT ('', (16.2521443516622, 8.25000000000001, 13.0688819070572));
#14850 = VERTEX_POINT ('', #14840);
#14860 = CARTESIAN_POINT ('', (19.7032495733252, 8.00000000000001, 10.0688819070573));
#14870 = CARTESIAN_POINT ('', (16.2521443516622, 8.25000000000001, 13.0688819070572));
#14880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14860, #14870), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14890 = EDGE_CURVE ('', #11880, #14850, #14880, .T.);
#14900 = ORIENTED_EDGE ('', *, *, #14890, .T.);
#14910 = CARTESIAN_POINT ('', (16.2521443516622, 6.25000000000001, 13.0688819070572));
#14920 = VERTEX_POINT ('', #14910);
#14930 = CARTESIAN_POINT ('', (16.2521443516622, 8.25000000000001, 13.0688819070572));
#14940 = CARTESIAN_POINT ('', (16.2521443516623, 6.25000000000001, 13.0688819070572));
#14950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14930, #14940), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14960 = EDGE_CURVE ('', #14850, #14920, #14950, .T.);
#14970 = ORIENTED_EDGE ('', *, *, #14960, .T.);
#14980 = CARTESIAN_POINT ('', (19.7032495733252, 6.50000000000001, 10.0688819070573));
#14990 = CARTESIAN_POINT ('', (16.2521443516623, 6.25000000000001, 13.0688819070572));
#15000 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14980, #14990), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15010 = EDGE_CURVE ('', #10890, #14920, #15000, .T.);
#15020 = ORIENTED_EDGE ('', *, *, #15010, .F.);
#15030 = ORIENTED_EDGE ('', *, *, #10930, .F.);
#15040 = EDGE_LOOP ('', (#14820, #14830, #14900, #14970, #15020, #15030));
#15050 = FACE_OUTER_BOUND ('', #15040, .F.);
#15060 = CARTESIAN_POINT ('', (16.2510770311382, 6.24900000000001, 13.0698097146338));
#15070 = CARTESIAN_POINT ('', (16.2510770311382, 8.251, 13.0698097146338));
#15080 = CARTESIAN_POINT ('', (19.7043168938492, 6.24900000000001, 10.0679540994808));
#15090 = CARTESIAN_POINT ('', (19.7043168938492, 8.251, 10.0679540994808));
#15100 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15060, #15070), (#15080, #15090)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.79003231906894, 0.785555368173194), (-35.251, -33.249), .UNSPECIFIED.);
#15110 = ADVANCED_FACE ('', (#15050), #15100, .F.);
#15120 = ORIENTED_EDGE ('', *, *, #12060, .T.);
#15130 = ORIENTED_EDGE ('', *, *, #14810, .T.);
#15140 = ORIENTED_EDGE ('', *, *, #10860, .F.);
#15150 = ORIENTED_EDGE ('', *, *, #12600, .F.);
#15160 = EDGE_LOOP ('', (#15120, #15130, #15140, #15150));
#15170 = FACE_OUTER_BOUND ('', #15160, .F.);
#15180 = CARTESIAN_POINT ('', (16.8438734368202, 8.001, 12.555436586622));
#15190 = CARTESIAN_POINT ('', (17.0447802500068, 8.001, 9.68233530254085));
#15200 = CARTESIAN_POINT ('', (16.8438734368202, 6.49900000000001, 12.555436586622));
#15210 = CARTESIAN_POINT ('', (17.0447802500068, 6.49900000000001, 9.68233530254085));
#15220 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15180, #15190), (#15200, #15210)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-35.001, -33.499), (-3.001, -0.120882895406212), .UNSPECIFIED.);
#15230 = ADVANCED_FACE ('', (#15170), #15220, .F.);
#15240 = ORIENTED_EDGE ('', *, *, #14960, .F.);
#15250 = CARTESIAN_POINT ('', (16.2521443516622, 8.25000000000001, 13.0688819070572));
#15260 = CARTESIAN_POINT ('', (16.0615528124417, 8.25000000000001, 14.4250111745701));
#15270 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15250, #15260), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15280 = EDGE_CURVE ('', #14850, #14580, #15270, .T.);
#15290 = ORIENTED_EDGE ('', *, *, #15280, .T.);
#15300 = ORIENTED_EDGE ('', *, *, #14620, .T.);
#15310 = CARTESIAN_POINT ('', (16.2521443516623, 6.25000000000001, 13.0688819070572));
#15320 = CARTESIAN_POINT ('', (16.0615528124417, 6.25000000000001, 14.4250111745701));
#15330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15310, #15320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15340 = EDGE_CURVE ('', #14920, #14510, #15330, .T.);
#15350 = ORIENTED_EDGE ('', *, *, #15340, .F.);
#15360 = EDGE_LOOP ('', (#15240, #15290, #15300, #15350));
#15370 = FACE_OUTER_BOUND ('', #15360, .F.);
#15380 = CARTESIAN_POINT ('', (16.0614042701346, 6.24900000000001, 14.4260681080041));
#15390 = CARTESIAN_POINT ('', (16.0614042701346, 8.251, 14.4260681080041));
#15400 = CARTESIAN_POINT ('', (16.2522928939693, 6.24900000000001, 13.0678249736232));
#15410 = CARTESIAN_POINT ('', (16.2522928939693, 8.251, 13.0678249736232));
#15420 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15380, #15390), (#15400, #15410)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.37052404675795, 0.00106732052400549), (-35.251, -33.249), .UNSPECIFIED.);
#15430 = ADVANCED_FACE ('', (#15370), #15420, .F.);
#15440 = ORIENTED_EDGE ('', *, *, #15010, .T.);
#15450 = ORIENTED_EDGE ('', *, *, #15340, .T.);
#15460 = ORIENTED_EDGE ('', *, *, #14550, .T.);
#15470 = ORIENTED_EDGE ('', *, *, #11000, .F.);
#15480 = EDGE_LOOP ('', (#15440, #15450, #15460, #15470));
#15490 = FACE_OUTER_BOUND ('', #15480, .F.);
#15500 = CARTESIAN_POINT ('', (16.0456101057889, 6.25113281985674, 14.6361251858681));
#15510 = CARTESIAN_POINT ('', (16.383702208999, 6.22334257539599, 9.83430110476468));
#15520 = CARTESIAN_POINT ('', (19.3664025844929, 6.52786552641542, 14.8683376170298));
#15530 = CARTESIAN_POINT ('', (19.704494687703, 6.50007528195467, 10.0665135359264));
#15540 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15500, #15510), (#15520, #15530)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.480363117707746, 2.86002103545233), (-7.08954949763785, -2.27575753352009), .UNSPECIFIED.);
#15550 = ADVANCED_FACE ('', (#15490), #15540, .F.);
#15560 = ORIENTED_EDGE ('', *, *, #11920, .T.);
#15570 = ORIENTED_EDGE ('', *, *, #14670, .F.);
#15580 = ORIENTED_EDGE ('', *, *, #15280, .F.);
#15590 = ORIENTED_EDGE ('', *, *, #14890, .F.);
#15600 = EDGE_LOOP ('', (#15560, #15570, #15580, #15590));
#15610 = FACE_OUTER_BOUND ('', #15600, .F.);
#15620 = CARTESIAN_POINT ('', (19.3664025844929, 7.97213447358459, 14.8683376170298));
#15630 = CARTESIAN_POINT ('', (19.7044946877031, 7.99992471804535, 10.0665135359264));
#15640 = CARTESIAN_POINT ('', (16.0456101057889, 8.24886718014327, 14.6361251858681));
#15650 = CARTESIAN_POINT ('', (16.3837022089991, 8.27665742460403, 9.83430110476471));
#15660 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15620, #15630), (#15640, #15650)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.480363117707746, 2.86002103545233), (-7.08954949763785, -2.27575753352009), .UNSPECIFIED.);
#15670 = ADVANCED_FACE ('', (#15610), #15660, .F.);
#15680 = CLOSED_SHELL ('', (#11630, #12550, #12750, #12950, #13110, #13410, #13750, #13870, #14070, #14190, #14310, #14470, #14770, #15110, #15230, #15430, #15550, #15670));
#15690 = MANIFOLD_SOLID_BREP ('CUT', #15680);
#15700 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#15710 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#15720 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#15730 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #15700, 'DISTANCE_ACCURACY_VALUE', '');
#15740 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#15730))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#15700, #15710, #15720))
   REPRESENTATION_CONTEXT ('', '3D')
);
#15750 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#15760 = FILL_AREA_STYLE_COLOUR ('', #15750);
#15770 = FILL_AREA_STYLE ('', (#15760));
#15780 = SURFACE_STYLE_FILL_AREA (#15770);
#15790 = SURFACE_SIDE_STYLE ('', (#15780));
#15800 = SURFACE_STYLE_USAGE (.POSITIVE., #15790);
#15810 = PRESENTATION_STYLE_ASSIGNMENT ((#15800));
#15820 = STYLED_ITEM ('', (#15810), #15690);
#15830 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#15690), #15740);
#15840 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#15850 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #15840);
#15860 = MECHANICAL_CONTEXT ('', #15840, 'mechanical');
#15870 = PRODUCT ('NONE', '', '', (#15860));
#15880 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#15890 = PERSON ('', '', $, $, $, $);
#15900 = ORGANIZATION ($, '', '');
#15910 = PERSON_AND_ORGANIZATION (#15890, #15900);
#15920 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#15910, #15880, (#15870));
#15930 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#15870));
#15940 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #15870, .NOT_KNOWN.);
#15950 = APPROVAL_STATUS ('approved');
#15960 = APPROVAL (#15950, '');
#15970 = CALENDAR_DATE (2017, 9, 2);
#15980 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#15990 = LOCAL_TIME (14, 30, 43., #15980);
#16000 = DATE_AND_TIME (#15970, #15990);
#16010 = APPROVAL_DATE_TIME (#16000, #15960);
#16020 = APPROVAL_ROLE ('');
#16030 = PERSON ('', '', $, $, $, $);
#16040 = ORGANIZATION ($, '', '');
#16050 = PERSON_AND_ORGANIZATION (#16030, #16040);
#16060 = APPROVAL_PERSON_ORGANIZATION (#16050, #15960, #16020);
#16070 = CC_DESIGN_APPROVAL (#15960, (#15940));
#16080 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#16090 = PERSON ('', '', $, $, $, $);
#16100 = ORGANIZATION ($, '', '');
#16110 = PERSON_AND_ORGANIZATION (#16090, #16100);
#16120 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16110, #16080, (#15940));
#16130 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#16140 = PERSON ('', '', $, $, $, $);
#16150 = ORGANIZATION ($, '', '');
#16160 = PERSON_AND_ORGANIZATION (#16140, #16150);
#16170 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16160, #16130, (#15940));
#16180 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#16190 = SECURITY_CLASSIFICATION ('', '', #16180);
#16200 = APPROVAL_STATUS ('approved');
#16210 = APPROVAL (#16200, '');
#16220 = CALENDAR_DATE (2017, 9, 2);
#16230 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16240 = LOCAL_TIME (14, 30, 43., #16230);
#16250 = DATE_AND_TIME (#16220, #16240);
#16260 = APPROVAL_DATE_TIME (#16250, #16210);
#16270 = APPROVAL_ROLE ('');
#16280 = PERSON ('', '', $, $, $, $);
#16290 = ORGANIZATION ($, '', '');
#16300 = PERSON_AND_ORGANIZATION (#16280, #16290);
#16310 = APPROVAL_PERSON_ORGANIZATION (#16300, #16210, #16270);
#16320 = CC_DESIGN_APPROVAL (#16210, (#16190));
#16330 = DATE_TIME_ROLE ('classification_date');
#16340 = CALENDAR_DATE (2017, 9, 2);
#16350 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16360 = LOCAL_TIME (14, 30, 43., #16350);
#16370 = DATE_AND_TIME (#16340, #16360);
#16380 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#16370, #16330, (#16190));
#16390 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#16400 = PERSON ('', '', $, $, $, $);
#16410 = ORGANIZATION ($, '', '');
#16420 = PERSON_AND_ORGANIZATION (#16400, #16410);
#16430 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16420, #16390, (#16190));
#16440 = CC_DESIGN_SECURITY_CLASSIFICATION (#16190, (#15940));
#16450 = DESIGN_CONTEXT ('', #15840, 'design');
#16460 = PRODUCT_DEFINITION ('', '', #15940, #16450);
#16470 = APPROVAL_STATUS ('approved');
#16480 = APPROVAL (#16470, '');
#16490 = CALENDAR_DATE (2017, 9, 2);
#16500 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16510 = LOCAL_TIME (14, 30, 43., #16500);
#16520 = DATE_AND_TIME (#16490, #16510);
#16530 = APPROVAL_DATE_TIME (#16520, #16480);
#16540 = APPROVAL_ROLE ('');
#16550 = PERSON ('', '', $, $, $, $);
#16560 = ORGANIZATION ($, '', '');
#16570 = PERSON_AND_ORGANIZATION (#16550, #16560);
#16580 = APPROVAL_PERSON_ORGANIZATION (#16570, #16480, #16540);
#16590 = CC_DESIGN_APPROVAL (#16480, (#16460));
#16600 = DATE_TIME_ROLE ('creation_date');
#16610 = CALENDAR_DATE (2017, 9, 2);
#16620 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16630 = LOCAL_TIME (14, 30, 43., #16620);
#16640 = DATE_AND_TIME (#16610, #16630);
#16650 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#16640, #16600, (#16460));
#16660 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#16670 = PERSON ('', '', $, $, $, $);
#16680 = ORGANIZATION ($, '', '');
#16690 = PERSON_AND_ORGANIZATION (#16670, #16680);
#16700 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16690, #16660, (#16460));
#16710 = PRODUCT_DEFINITION_SHAPE ('', '', #16460);
#16720 = SHAPE_DEFINITION_REPRESENTATION (#16710, #15830);
#16730 = CARTESIAN_POINT ('', (16.2521443516622, 8.25000000000001, 13.0688819070572));
#16740 = VERTEX_POINT ('', #16730);
#16750 = CARTESIAN_POINT ('', (16.2521443516622, 6.25000000000001, 13.0688819070572));
#16760 = VERTEX_POINT ('', #16750);
#16770 = CARTESIAN_POINT ('', (16.2521443516622, 8.25000000000001, 13.0688819070572));
#16780 = CARTESIAN_POINT ('', (16.2521443516623, 6.25000000000001, 13.0688819070572));
#16790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16770, #16780), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16800 = EDGE_CURVE ('', #16740, #16760, #16790, .T.);
#16810 = ORIENTED_EDGE ('', *, *, #16800, .F.);
#16820 = CARTESIAN_POINT ('', (16.0615528124417, 8.25000000000001, 14.4250111745701));
#16830 = VERTEX_POINT ('', #16820);
#16840 = CARTESIAN_POINT ('', (16.2521443516622, 8.25000000000001, 13.0688819070572));
#16850 = CARTESIAN_POINT ('', (16.0615528124417, 8.25000000000001, 14.4250111745701));
#16860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16840, #16850), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16870 = EDGE_CURVE ('', #16740, #16830, #16860, .T.);
#16880 = ORIENTED_EDGE ('', *, *, #16870, .T.);
#16890 = CARTESIAN_POINT ('', (16.0615528124417, 6.25000000000001, 14.4250111745701));
#16900 = VERTEX_POINT ('', #16890);
#16910 = CARTESIAN_POINT ('', (16.0615528124417, 8.25000000000001, 14.4250111745701));
#16920 = CARTESIAN_POINT ('', (16.0615528124417, 6.25000000000001, 14.4250111745701));
#16930 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16910, #16920), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16940 = EDGE_CURVE ('', #16830, #16900, #16930, .T.);
#16950 = ORIENTED_EDGE ('', *, *, #16940, .T.);
#16960 = CARTESIAN_POINT ('', (16.2521443516623, 6.25000000000001, 13.0688819070572));
#16970 = CARTESIAN_POINT ('', (16.0615528124417, 6.25000000000001, 14.4250111745701));
#16980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16960, #16970), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16990 = EDGE_CURVE ('', #16760, #16900, #16980, .T.);
#17000 = ORIENTED_EDGE ('', *, *, #16990, .F.);
#17010 = EDGE_LOOP ('', (#16810, #16880, #16950, #17000));
#17020 = FACE_OUTER_BOUND ('', #17010, .F.);
#17030 = CARTESIAN_POINT ('', (16.0614042701346, 6.24900000000001, 14.4260681080041));
#17040 = CARTESIAN_POINT ('', (16.0614042701346, 8.251, 14.4260681080041));
#17050 = CARTESIAN_POINT ('', (16.2522928939693, 6.24900000000001, 13.0678249736232));
#17060 = CARTESIAN_POINT ('', (16.2522928939693, 8.251, 13.0678249736232));
#17070 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17030, #17040), (#17050, #17060)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.37052404675795, 0.00106732052400549), (-35.251, -33.249), .UNSPECIFIED.);
#17080 = ADVANCED_FACE ('', (#17020), #17070, .F.);
#17090 = CARTESIAN_POINT ('', (19.7032495733252, 6.50000000000001, 10.0688819070573));
#17100 = VERTEX_POINT ('', #17090);
#17110 = CARTESIAN_POINT ('', (19.7032495733252, 6.50000000000001, 10.0688819070573));
#17120 = CARTESIAN_POINT ('', (16.2521443516623, 6.25000000000001, 13.0688819070572));
#17130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17110, #17120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17140 = EDGE_CURVE ('', #17100, #16760, #17130, .T.);
#17150 = ORIENTED_EDGE ('', *, *, #17140, .T.);
#17160 = ORIENTED_EDGE ('', *, *, #16990, .T.);
#17170 = CARTESIAN_POINT ('', (19.0323570186664, 6.50000000000001, 14.8425304774502));
#17180 = VERTEX_POINT ('', #17170);
#17190 = CARTESIAN_POINT ('', (16.0615528124417, 6.25000000000001, 14.4250111745701));
#17200 = CARTESIAN_POINT ('', (19.0323570186664, 6.50000000000001, 14.8425304774502));
#17210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17190, #17200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17220 = EDGE_CURVE ('', #16900, #17180, #17210, .T.);
#17230 = ORIENTED_EDGE ('', *, *, #17220, .T.);
#17240 = CARTESIAN_POINT ('', (19.7032495733252, 6.50000000000001, 10.0688819070573));
#17250 = CARTESIAN_POINT ('', (19.0323570186664, 6.50000000000001, 14.8425304774502));
#17260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17240, #17250), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17270 = EDGE_CURVE ('', #17100, #17180, #17260, .T.);
#17280 = ORIENTED_EDGE ('', *, *, #17270, .F.);
#17290 = EDGE_LOOP ('', (#17150, #17160, #17230, #17280));
#17300 = FACE_OUTER_BOUND ('', #17290, .F.);
#17310 = CARTESIAN_POINT ('', (16.0456101057889, 6.25113281985674, 14.6361251858681));
#17320 = CARTESIAN_POINT ('', (16.383702208999, 6.22334257539599, 9.83430110476468));
#17330 = CARTESIAN_POINT ('', (19.3664025844929, 6.52786552641542, 14.8683376170298));
#17340 = CARTESIAN_POINT ('', (19.704494687703, 6.50007528195467, 10.0665135359264));
#17350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17310, #17320), (#17330, #17340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.480363117707746, 2.86002103545232), (-7.08954949763785, -2.27575753352009), .UNSPECIFIED.);
#17360 = ADVANCED_FACE ('', (#17300), #17350, .F.);
#17370 = CARTESIAN_POINT ('', (19.7032495733252, 8.00000000000001, 10.0688819070573));
#17380 = VERTEX_POINT ('', #17370);
#17390 = CARTESIAN_POINT ('', (19.0323570186664, 8.00000000000001, 14.8425304774502));
#17400 = VERTEX_POINT ('', #17390);
#17410 = CARTESIAN_POINT ('', (19.7032495733252, 8.00000000000001, 10.0688819070573));
#17420 = CARTESIAN_POINT ('', (19.0323570186664, 8.00000000000001, 14.8425304774502));
#17430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17410, #17420), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17440 = EDGE_CURVE ('', #17380, #17400, #17430, .T.);
#17450 = ORIENTED_EDGE ('', *, *, #17440, .T.);
#17460 = CARTESIAN_POINT ('', (16.0615528124417, 8.25000000000001, 14.4250111745701));
#17470 = CARTESIAN_POINT ('', (19.0323570186664, 8.00000000000001, 14.8425304774502));
#17480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17460, #17470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17490 = EDGE_CURVE ('', #16830, #17400, #17480, .T.);
#17500 = ORIENTED_EDGE ('', *, *, #17490, .F.);
#17510 = ORIENTED_EDGE ('', *, *, #16870, .F.);
#17520 = CARTESIAN_POINT ('', (19.7032495733252, 8.00000000000001, 10.0688819070573));
#17530 = CARTESIAN_POINT ('', (16.2521443516622, 8.25000000000001, 13.0688819070572));
#17540 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17520, #17530), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17550 = EDGE_CURVE ('', #17380, #16740, #17540, .T.);
#17560 = ORIENTED_EDGE ('', *, *, #17550, .F.);
#17570 = EDGE_LOOP ('', (#17450, #17500, #17510, #17560));
#17580 = FACE_OUTER_BOUND ('', #17570, .F.);
#17590 = CARTESIAN_POINT ('', (19.3664025844929, 7.9721344735846, 14.8683376170298));
#17600 = CARTESIAN_POINT ('', (19.7044946877031, 7.99992471804535, 10.0665135359264));
#17610 = CARTESIAN_POINT ('', (16.0456101057889, 8.24886718014327, 14.6361251858681));
#17620 = CARTESIAN_POINT ('', (16.3837022089991, 8.27665742460402, 9.8343011047647));
#17630 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17590, #17600), (#17610, #17620)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.480363117707746, 2.86002103545232), (-7.08954949763785, -2.27575753352009), .UNSPECIFIED.);
#17640 = ADVANCED_FACE ('', (#17580), #17630, .F.);
#17650 = CARTESIAN_POINT ('', (16.843943193294, 8.00000000000001, 12.5544390225718));
#17660 = VERTEX_POINT ('', #17650);
#17670 = CARTESIAN_POINT ('', (16.843943193294, 6.50000000000001, 12.5544390225718));
#17680 = VERTEX_POINT ('', #17670);
#17690 = CARTESIAN_POINT ('', (16.843943193294, 8.00000000000001, 12.5544390225718));
#17700 = CARTESIAN_POINT ('', (16.843943193294, 6.50000000000001, 12.5544390225718));
#17710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17690, #17700), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17720 = EDGE_CURVE ('', #17660, #17680, #17710, .T.);
#17730 = ORIENTED_EDGE ('', *, *, #17720, .F.);
#17740 = CARTESIAN_POINT ('', (16.843943193294, 8.00000000000001, 12.5544390225718));
#17750 = CARTESIAN_POINT ('', (19.7032495733252, 8.00000000000001, 10.0688819070573));
#17760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17740, #17750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17770 = EDGE_CURVE ('', #17660, #17380, #17760, .T.);
#17780 = ORIENTED_EDGE ('', *, *, #17770, .T.);
#17790 = ORIENTED_EDGE ('', *, *, #17550, .T.);
#17800 = ORIENTED_EDGE ('', *, *, #16800, .T.);
#17810 = ORIENTED_EDGE ('', *, *, #17140, .F.);
#17820 = CARTESIAN_POINT ('', (16.843943193294, 6.50000000000001, 12.5544390225718));
#17830 = CARTESIAN_POINT ('', (19.7032495733252, 6.50000000000001, 10.0688819070573));
#17840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17820, #17830), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17850 = EDGE_CURVE ('', #17680, #17100, #17840, .T.);
#17860 = ORIENTED_EDGE ('', *, *, #17850, .F.);
#17870 = EDGE_LOOP ('', (#17730, #17780, #17790, #17800, #17810, #17860));
#17880 = FACE_OUTER_BOUND ('', #17870, .F.);
#17890 = CARTESIAN_POINT ('', (16.2510770311382, 6.24900000000001, 13.0698097146338));
#17900 = CARTESIAN_POINT ('', (16.2510770311382, 8.251, 13.0698097146338));
#17910 = CARTESIAN_POINT ('', (19.7043168938492, 6.24900000000001, 10.0679540994808));
#17920 = CARTESIAN_POINT ('', (19.7043168938492, 8.251, 10.0679540994808));
#17930 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17890, #17900), (#17910, #17920)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.79003231906893, 0.785555368173194), (-35.251, -33.249), .UNSPECIFIED.);
#17940 = ADVANCED_FACE ('', (#17880), #17930, .F.);
#17950 = CARTESIAN_POINT ('', (16.7067988440267, 8.00000000000001, 14.5156945904374));
#17960 = VERTEX_POINT ('', #17950);
#17970 = CARTESIAN_POINT ('', (16.7067988440267, 6.50000000000001, 14.5156945904374));
#17980 = VERTEX_POINT ('', #17970);
#17990 = CARTESIAN_POINT ('', (16.7067988440267, 8.00000000000001, 14.5156945904374));
#18000 = CARTESIAN_POINT ('', (16.7067988440267, 6.50000000000001, 14.5156945904374));
#18010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17990, #18000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18020 = EDGE_CURVE ('', #17960, #17980, #18010, .T.);
#18030 = ORIENTED_EDGE ('', *, *, #18020, .T.);
#18040 = CARTESIAN_POINT ('', (19.0323570186664, 6.50000000000001, 14.8425304774502));
#18050 = CARTESIAN_POINT ('', (16.7067988440267, 6.50000000000001, 14.5156945904374));
#18060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18040, #18050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18070 = EDGE_CURVE ('', #17180, #17980, #18060, .T.);
#18080 = ORIENTED_EDGE ('', *, *, #18070, .F.);
#18090 = ORIENTED_EDGE ('', *, *, #17220, .F.);
#18100 = ORIENTED_EDGE ('', *, *, #16940, .F.);
#18110 = ORIENTED_EDGE ('', *, *, #17490, .T.);
#18120 = CARTESIAN_POINT ('', (19.0323570186664, 8.00000000000001, 14.8425304774502));
#18130 = CARTESIAN_POINT ('', (16.7067988440267, 8.00000000000001, 14.5156945904374));
#18140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18120, #18130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18150 = EDGE_CURVE ('', #17400, #17960, #18140, .T.);
#18160 = ORIENTED_EDGE ('', *, *, #18150, .T.);
#18170 = EDGE_LOOP ('', (#18030, #18080, #18090, #18100, #18110, #18160));
#18180 = FACE_OUTER_BOUND ('', #18170, .F.);
#18190 = CARTESIAN_POINT ('', (19.0334139521004, 6.24900000000001, 14.8426790197573));
#18200 = CARTESIAN_POINT ('', (19.0334139521004, 8.251, 14.8426790197573));
#18210 = CARTESIAN_POINT ('', (16.0604958790076, 6.24900000000001, 14.424862632263));
#18220 = CARTESIAN_POINT ('', (16.0604958790076, 8.251, 14.424862632263));
#18230 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18190, #18200), (#18210, #18220)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052401171, 3.001067320524), (-4.52430748765416, -2.52230748765416), .UNSPECIFIED.);
#18240 = ADVANCED_FACE ('', (#18180), #18230, .F.);
#18250 = CARTESIAN_POINT ('', (16.7067988440267, 6.50000000000001, 14.5156945904374));
#18260 = CARTESIAN_POINT ('', (16.843943193294, 6.50000000000001, 12.5544390225718));
#18270 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18250, #18260), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18280 = EDGE_CURVE ('', #17980, #17680, #18270, .T.);
#18290 = ORIENTED_EDGE ('', *, *, #18280, .T.);
#18300 = ORIENTED_EDGE ('', *, *, #17850, .T.);
#18310 = ORIENTED_EDGE ('', *, *, #17270, .T.);
#18320 = ORIENTED_EDGE ('', *, *, #18070, .T.);
#18330 = EDGE_LOOP ('', (#18290, #18300, #18310, #18320));
#18340 = FACE_OUTER_BOUND ('', #18330, .F.);
#18350 = CARTESIAN_POINT ('', (17.0298900179758, 6.50000000000001, 9.8809399542749));
#18360 = CARTESIAN_POINT ('', (16.6943042276989, 6.50000000000001, 14.6800403415204));
#18370 = CARTESIAN_POINT ('', (19.7043168938492, 6.50000000000001, 10.0679540994808));
#18380 = CARTESIAN_POINT ('', (19.3687311035723, 6.50000000000001, 14.8670544867263));
#18390 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18350, #18360), (#18370, #18380)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (8.67004244627017, 11.351), (-5.08184044913685, -0.271021147864429), .UNSPECIFIED.);
#18400 = ADVANCED_FACE ('', (#18340), #18390, .F.);
#18410 = ORIENTED_EDGE ('', *, *, #18150, .F.);
#18420 = ORIENTED_EDGE ('', *, *, #17440, .F.);
#18430 = ORIENTED_EDGE ('', *, *, #17770, .F.);
#18440 = CARTESIAN_POINT ('', (16.843943193294, 8.00000000000001, 12.5544390225718));
#18450 = CARTESIAN_POINT ('', (16.7067988440267, 8.00000000000001, 14.5156945904374));
#18460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18440, #18450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18470 = EDGE_CURVE ('', #17660, #17960, #18460, .T.);
#18480 = ORIENTED_EDGE ('', *, *, #18470, .T.);
#18490 = EDGE_LOOP ('', (#18410, #18420, #18430, #18480));
#18500 = FACE_OUTER_BOUND ('', #18490, .F.);
#18510 = CARTESIAN_POINT ('', (19.7043168938492, 8.00000000000001, 10.0679540994808));
#18520 = CARTESIAN_POINT ('', (19.3687311035723, 8.00000000000001, 14.8670544867262));
#18530 = CARTESIAN_POINT ('', (17.0298900179758, 8.00000000000001, 9.8809399542749));
#18540 = CARTESIAN_POINT ('', (16.6943042276989, 8.00000000000001, 14.6800403415203));
#18550 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18510, #18520), (#18530, #18540)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-11.351, -8.67004244627017), (-5.08184044913685, -0.27102114786443), .UNSPECIFIED.);
#18560 = ADVANCED_FACE ('', (#18500), #18550, .F.);
#18570 = ORIENTED_EDGE ('', *, *, #18470, .F.);
#18580 = ORIENTED_EDGE ('', *, *, #17720, .T.);
#18590 = ORIENTED_EDGE ('', *, *, #18280, .F.);
#18600 = ORIENTED_EDGE ('', *, *, #18020, .F.);
#18610 = EDGE_LOOP ('', (#18570, #18580, #18590, #18600));
#18620 = FACE_OUTER_BOUND ('', #18610, .F.);
#18630 = CARTESIAN_POINT ('', (16.8440129497677, 8.001, 12.5534414585215));
#18640 = CARTESIAN_POINT ('', (16.7067290875529, 8.00099999999999, 14.5166921544877));
#18650 = CARTESIAN_POINT ('', (16.8440129497677, 6.49900000000001, 12.5534414585215));
#18660 = CARTESIAN_POINT ('', (16.7067290875529, 6.499, 14.5166921544877));
#18670 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18630, #18640), (#18650, #18660)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.751, 0.751), (0.248407673689748, 2.21645242776328), .UNSPECIFIED.);
#18680 = ADVANCED_FACE ('', (#18620), #18670, .F.);
#18690 = CLOSED_SHELL ('', (#17080, #17360, #17640, #17940, #18240, #18400, #18560, #18680));
#18700 = MANIFOLD_SOLID_BREP ('CUT', #18690);
#18710 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#18720 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#18730 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#18740 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #18710, 'DISTANCE_ACCURACY_VALUE', '');
#18750 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#18740))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#18710, #18720, #18730))
   REPRESENTATION_CONTEXT ('', '3D')
);
#18760 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#18770 = FILL_AREA_STYLE_COLOUR ('', #18760);
#18780 = FILL_AREA_STYLE ('', (#18770));
#18790 = SURFACE_STYLE_FILL_AREA (#18780);
#18800 = SURFACE_SIDE_STYLE ('', (#18790));
#18810 = SURFACE_STYLE_USAGE (.POSITIVE., #18800);
#18820 = PRESENTATION_STYLE_ASSIGNMENT ((#18810));
#18830 = STYLED_ITEM ('', (#18820), #18700);
#18840 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#18700), #18750);
#18850 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#18860 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #18850);
#18870 = MECHANICAL_CONTEXT ('', #18850, 'mechanical');
#18880 = PRODUCT ('NONE', '', '', (#18870));
#18890 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#18900 = PERSON ('', '', $, $, $, $);
#18910 = ORGANIZATION ($, '', '');
#18920 = PERSON_AND_ORGANIZATION (#18900, #18910);
#18930 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18920, #18890, (#18880));
#18940 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#18880));
#18950 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #18880, .NOT_KNOWN.);
#18960 = APPROVAL_STATUS ('approved');
#18970 = APPROVAL (#18960, '');
#18980 = CALENDAR_DATE (2017, 9, 2);
#18990 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19000 = LOCAL_TIME (14, 30, 43., #18990);
#19010 = DATE_AND_TIME (#18980, #19000);
#19020 = APPROVAL_DATE_TIME (#19010, #18970);
#19030 = APPROVAL_ROLE ('');
#19040 = PERSON ('', '', $, $, $, $);
#19050 = ORGANIZATION ($, '', '');
#19060 = PERSON_AND_ORGANIZATION (#19040, #19050);
#19070 = APPROVAL_PERSON_ORGANIZATION (#19060, #18970, #19030);
#19080 = CC_DESIGN_APPROVAL (#18970, (#18950));
#19090 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#19100 = PERSON ('', '', $, $, $, $);
#19110 = ORGANIZATION ($, '', '');
#19120 = PERSON_AND_ORGANIZATION (#19100, #19110);
#19130 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19120, #19090, (#18950));
#19140 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#19150 = PERSON ('', '', $, $, $, $);
#19160 = ORGANIZATION ($, '', '');
#19170 = PERSON_AND_ORGANIZATION (#19150, #19160);
#19180 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19170, #19140, (#18950));
#19190 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#19200 = SECURITY_CLASSIFICATION ('', '', #19190);
#19210 = APPROVAL_STATUS ('approved');
#19220 = APPROVAL (#19210, '');
#19230 = CALENDAR_DATE (2017, 9, 2);
#19240 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19250 = LOCAL_TIME (14, 30, 43., #19240);
#19260 = DATE_AND_TIME (#19230, #19250);
#19270 = APPROVAL_DATE_TIME (#19260, #19220);
#19280 = APPROVAL_ROLE ('');
#19290 = PERSON ('', '', $, $, $, $);
#19300 = ORGANIZATION ($, '', '');
#19310 = PERSON_AND_ORGANIZATION (#19290, #19300);
#19320 = APPROVAL_PERSON_ORGANIZATION (#19310, #19220, #19280);
#19330 = CC_DESIGN_APPROVAL (#19220, (#19200));
#19340 = DATE_TIME_ROLE ('classification_date');
#19350 = CALENDAR_DATE (2017, 9, 2);
#19360 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19370 = LOCAL_TIME (14, 30, 43., #19360);
#19380 = DATE_AND_TIME (#19350, #19370);
#19390 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#19380, #19340, (#19200));
#19400 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#19410 = PERSON ('', '', $, $, $, $);
#19420 = ORGANIZATION ($, '', '');
#19430 = PERSON_AND_ORGANIZATION (#19410, #19420);
#19440 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19430, #19400, (#19200));
#19450 = CC_DESIGN_SECURITY_CLASSIFICATION (#19200, (#18950));
#19460 = DESIGN_CONTEXT ('', #18850, 'design');
#19470 = PRODUCT_DEFINITION ('', '', #18950, #19460);
#19480 = APPROVAL_STATUS ('approved');
#19490 = APPROVAL (#19480, '');
#19500 = CALENDAR_DATE (2017, 9, 2);
#19510 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19520 = LOCAL_TIME (14, 30, 43., #19510);
#19530 = DATE_AND_TIME (#19500, #19520);
#19540 = APPROVAL_DATE_TIME (#19530, #19490);
#19550 = APPROVAL_ROLE ('');
#19560 = PERSON ('', '', $, $, $, $);
#19570 = ORGANIZATION ($, '', '');
#19580 = PERSON_AND_ORGANIZATION (#19560, #19570);
#19590 = APPROVAL_PERSON_ORGANIZATION (#19580, #19490, #19550);
#19600 = CC_DESIGN_APPROVAL (#19490, (#19470));
#19610 = DATE_TIME_ROLE ('creation_date');
#19620 = CALENDAR_DATE (2017, 9, 2);
#19630 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19640 = LOCAL_TIME (14, 30, 43., #19630);
#19650 = DATE_AND_TIME (#19620, #19640);
#19660 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#19650, #19610, (#19470));
#19670 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#19680 = PERSON ('', '', $, $, $, $);
#19690 = ORGANIZATION ($, '', '');
#19700 = PERSON_AND_ORGANIZATION (#19680, #19690);
#19710 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19700, #19670, (#19470));
#19720 = PRODUCT_DEFINITION_SHAPE ('', '', #19470);
#19730 = SHAPE_DEFINITION_REPRESENTATION (#19720, #18840);
ENDSEC;
END-ISO-10303-21;