ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('q:\\ahmet kadagan\\arno\\hsa\\hsa\\HSA 2020L-SA3503-65.stp', '2017-02-09T14:06:04', ('Unknown'), ('TDM'), 'HarmonyWare STEP v2.0.2.9', 'T3D tool generator', '');
FILE_SCHEMA (('CONFIG_CONTROL_DESIGN'));
ENDSEC;

DATA;
#10 = CARTESIAN_POINT ('', (49.65, -7.50000000000001, 13.1889939658102));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (49.65, -7.50000000000001, -10.));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (49.65, -7.50000000000001, 13.1889939658102));
#60 = CARTESIAN_POINT ('', (49.65, -7.50000000000001, -10.));
#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 ('', (49.65, -10., 13.1889939658102));
#110 = VERTEX_POINT ('', #100);
#120 = CARTESIAN_POINT ('', (49.65, -7.50000000000001, 13.1889939658102));
#130 = CARTESIAN_POINT ('', (49.65, -10., 13.1889939658102));
#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 ('', (49.65, -10., -10.));
#180 = VERTEX_POINT ('', #170);
#190 = CARTESIAN_POINT ('', (49.65, -10., 13.1889939658102));
#200 = CARTESIAN_POINT ('', (49.65, -10., -10.));
#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 ('', (49.65, -10., -10.));
#250 = CARTESIAN_POINT ('', (49.65, -7.50000000000001, -10.));
#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, .T.);
#310 = CARTESIAN_POINT ('', (49.65, -10.001, -10.001));
#320 = CARTESIAN_POINT ('', (49.65, -10.001, 13.1899939658102));
#330 = CARTESIAN_POINT ('', (49.65, -7.49900000000001, -10.001));
#340 = CARTESIAN_POINT ('', (49.65, -7.49900000000001, 13.1899939658102));
#350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#310, #320), (#330, #340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (17.499, 20.001), (-10.001, 13.1899939658102), .UNSPECIFIED.);
#360 = ADVANCED_FACE ('', (#300), #350, .T.);
#370 = CARTESIAN_POINT ('', (18.52279554254, -7.50000000000001, 11.0123677933864));
#380 = VERTEX_POINT ('', #370);
#390 = CARTESIAN_POINT ('', (49.65, -7.50000000000001, 13.1889939658102));
#400 = CARTESIAN_POINT ('', (18.52279554254, -7.50000000000001, 11.0123677933864));
#410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#390, #400), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#420 = EDGE_CURVE ('', #20, #380, #410, .T.);
#430 = ORIENTED_EDGE ('', *, *, #420, .F.);
#440 = ORIENTED_EDGE ('', *, *, #80, .T.);
#450 = CARTESIAN_POINT ('', (31.0424868893541, -7.50000000000001, -10.));
#460 = VERTEX_POINT ('', #450);
#470 = CARTESIAN_POINT ('', (31.0424868893541, -7.50000000000001, -10.));
#480 = CARTESIAN_POINT ('', (49.65, -7.50000000000001, -10.));
#490 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#470, #480), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#500 = EDGE_CURVE ('', #460, #40, #490, .T.);
#510 = ORIENTED_EDGE ('', *, *, #500, .F.);
#520 = CARTESIAN_POINT ('', (31.0424868893541, -7.50000000000001, -10.));
#530 = CARTESIAN_POINT ('', (21.4089000530468, -7.50000000000001, -1.50397499919515));
#540 = CARTESIAN_POINT ('', (18.52279554254, -7.50000000000001, 11.0123677933864));
#550 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#520, #530, #540), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (311.409622109271, 347.015302933204), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.952114236867743, 1.))
   REPRESENTATION_ITEM ('')
);
#560 = EDGE_CURVE ('', #460, #380, #550, .T.);
#570 = ORIENTED_EDGE ('', *, *, #560, .T.);
#580 = EDGE_LOOP ('', (#430, #440, #510, #570));
#590 = FACE_OUTER_BOUND ('', #580, .T.);
#600 = CARTESIAN_POINT ('', (49.651, -7.50000000000001, -10.001));
#610 = CARTESIAN_POINT ('', (49.651, -7.50000000000001, 13.1899939658102));
#620 = CARTESIAN_POINT ('', (18.52179554254, -7.50000000000001, -10.001));
#630 = CARTESIAN_POINT ('', (18.52179554254, -7.50000000000001, 13.1899939658102));
#640 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#600, #610), (#620, #630)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (7.84899999999999, 38.97820445746), (-30.001, -6.81000603418975), .UNSPECIFIED.);
#650 = ADVANCED_FACE ('', (#590), #640, .T.);
#660 = CARTESIAN_POINT ('', (0., 9.99999999999999, -0.200000000000013));
#670 = VERTEX_POINT ('', #660);
#680 = CARTESIAN_POINT ('', (0., -10., -0.200000000000012));
#690 = VERTEX_POINT ('', #680);
#700 = CARTESIAN_POINT ('', (0., 9.99999999999999, -0.200000000000013));
#710 = CARTESIAN_POINT ('', (0., -10., -0.200000000000012));
#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 ('', (0., -10., -1.16341445918999E-14));
#760 = VERTEX_POINT ('', #750);
#770 = CARTESIAN_POINT ('', (0., -10., -0.200000000000012));
#780 = CARTESIAN_POINT ('', (0., -10., -1.16278854469187E-14));
#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 ('', (0., 9.99999999999999, -6.12323399573676E-16));
#830 = VERTEX_POINT ('', #820);
#840 = CARTESIAN_POINT ('', (0., -10., -1.16341445918999E-14));
#850 = CARTESIAN_POINT ('', (0., 9.99999999999999, -6.12323399573676E-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 ('', (0., 9.99999999999999, -0.200000000000013));
#900 = CARTESIAN_POINT ('', (0., 9.99999999999999, -6.12323399573676E-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, .T.);
#960 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 10.001, -0.201000000000013));
#970 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 10.001, 0.000999999999999387));
#980 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -10.001, -0.201000000000012));
#990 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -10.001, 0.00100000000000061));
#1000 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#960, #970), (#980, #990)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-70.648038412922, -50.646038412922), (-0.201000000000013, 0.001), .UNSPECIFIED.);
#1010 = ADVANCED_FACE ('', (#950), #1000, .T.);
#1020 = ORIENTED_EDGE ('', *, *, #870, .F.);
#1030 = CARTESIAN_POINT ('', (-100., -10., 6.12323399573677E-16));
#1040 = VERTEX_POINT ('', #1030);
#1050 = CARTESIAN_POINT ('', (0., -10., -1.16341445918999E-14));
#1060 = CARTESIAN_POINT ('', (-100., -10., 6.12323399573677E-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 ('', (-100., 10., -6.12323399573677E-16));
#1110 = VERTEX_POINT ('', #1100);
#1120 = CARTESIAN_POINT ('', (-100., 10., -6.12323399573677E-16));
#1130 = CARTESIAN_POINT ('', (-100., -10., 6.12323399573677E-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 ('', (0., 9.99999999999999, -6.12323399573676E-16));
#1180 = CARTESIAN_POINT ('', (-100., 10., -6.12323399573677E-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, .T.);
#1240 = CARTESIAN_POINT ('', (0.000999999999990564, -10.001, -1.16342058242398E-14));
#1250 = CARTESIAN_POINT ('', (0.000999999999990564, 10.001, -1.28589750880671E-14));
#1260 = CARTESIAN_POINT ('', (-100.001, -10.001, 6.12507096593551E-16));
#1270 = CARTESIAN_POINT ('', (-100.001, 10.001, -6.12262167233716E-16));
#1280 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1240, #1250), (#1260, #1270)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000477, 100.001), (-20.001, 0.00100000000000122), .UNSPECIFIED.);
#1290 = ADVANCED_FACE ('', (#1230), #1280, .T.);
#1300 = CARTESIAN_POINT ('', (-100., -10., 20.));
#1310 = VERTEX_POINT ('', #1300);
#1320 = CARTESIAN_POINT ('', (-100., -10., 6.12323399573677E-16));
#1330 = CARTESIAN_POINT ('', (-100., -10., 20.));
#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 ('', (-100., 10., 20.));
#1380 = VERTEX_POINT ('', #1370);
#1390 = CARTESIAN_POINT ('', (-100., 10., 20.));
#1400 = CARTESIAN_POINT ('', (-100., -10., 20.));
#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 ('', (-100., 10., -6.12323399573677E-16));
#1450 = CARTESIAN_POINT ('', (-100., 10., 20.));
#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, .T.);
#1520 = CARTESIAN_POINT ('', (-100., 10.001, -0.00100000000000061));
#1530 = CARTESIAN_POINT ('', (-100., 10.001, 20.001));
#1540 = CARTESIAN_POINT ('', (-100., -10.001, -0.000999999999999387));
#1550 = CARTESIAN_POINT ('', (-100., -10.001, 20.001));
#1560 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1520, #1530), (#1540, #1550)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-20.001, 0.00100000000000122), (-0.001, 20.001), .UNSPECIFIED.);
#1570 = ADVANCED_FACE ('', (#1510), #1560, .T.);
#1580 = CARTESIAN_POINT ('', (1., -10., 20.));
#1590 = VERTEX_POINT ('', #1580);
#1600 = CARTESIAN_POINT ('', (-100., -10., 20.));
#1610 = CARTESIAN_POINT ('', (1., -10., 20.));
#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., 9.99999999999999, 20.));
#1660 = VERTEX_POINT ('', #1650);
#1670 = CARTESIAN_POINT ('', (1., -10., 20.));
#1680 = CARTESIAN_POINT ('', (1., 9.99999999999999, 20.));
#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 ('', (-100., 10., 20.));
#1730 = CARTESIAN_POINT ('', (1., 9.99999999999999, 20.));
#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, .T.);
#1800 = CARTESIAN_POINT ('', (-100.001, -10.001, 20.));
#1810 = CARTESIAN_POINT ('', (-100.001, 10.001, 20.));
#1820 = CARTESIAN_POINT ('', (1.00099999999998, -10.001, 20.));
#1830 = CARTESIAN_POINT ('', (1.00099999999998, 10.001, 20.));
#1840 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1800, #1810), (#1820, #1830)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-101.001, 0.001), (-20.001, 0.00100000000000122), .UNSPECIFIED.);
#1850 = ADVANCED_FACE ('', (#1790), #1840, .T.);
#1860 = CARTESIAN_POINT ('', (2.00000000000001, 9.99999999999999, 21.));
#1870 = VERTEX_POINT ('', #1860);
#1880 = CARTESIAN_POINT ('', (2.00000000000001, 9.99999999999999, 28.));
#1890 = VERTEX_POINT ('', #1880);
#1900 = CARTESIAN_POINT ('', (2.00000000000001, 9.99999999999999, 21.));
#1910 = CARTESIAN_POINT ('', (2.00000000000001, 9.99999999999999, 28.));
#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.00000000000001, -10., 21.));
#1960 = VERTEX_POINT ('', #1950);
#1970 = CARTESIAN_POINT ('', (2.00000000000001, 9.99999999999999, 21.));
#1980 = CARTESIAN_POINT ('', (2.00000000000001, -10., 21.));
#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.00000000000001, -10., 28.));
#2030 = VERTEX_POINT ('', #2020);
#2040 = CARTESIAN_POINT ('', (2.00000000000001, -10., 21.));
#2050 = CARTESIAN_POINT ('', (2.00000000000001, -10., 28.));
#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.00000000000001, 9.99999999999999, 28.));
#2100 = CARTESIAN_POINT ('', (2.00000000000001, -10., 28.));
#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, .T.);
#2160 = CARTESIAN_POINT ('', (2., 10.001, 20.999));
#2170 = CARTESIAN_POINT ('', (2., 10.001, 28.001));
#2180 = CARTESIAN_POINT ('', (2., -10.001, 20.999));
#2190 = CARTESIAN_POINT ('', (2., -10.001, 28.001));
#2200 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2160, #2170), (#2180, #2190)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-20.001, 0.00100000000000122), (0.998999999999999, 8.00100000000001), .UNSPECIFIED.);
#2210 = ADVANCED_FACE ('', (#2150), #2200, .T.);
#2220 = CARTESIAN_POINT ('', (32.562368576894, -10., 28.));
#2230 = VERTEX_POINT ('', #2220);
#2240 = CARTESIAN_POINT ('', (2.00000000000001, -10., 28.));
#2250 = CARTESIAN_POINT ('', (32.562368576894, -10., 28.));
#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 ('', (32.562368576894, -7.50000000000001, 28.));
#2300 = VERTEX_POINT ('', #2290);
#2310 = CARTESIAN_POINT ('', (32.562368576894, -7.50000000000001, 28.));
#2320 = CARTESIAN_POINT ('', (32.562368576894, -10., 28.));
#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 ('', (17.5, -7.50000000000001, 28.));
#2370 = VERTEX_POINT ('', #2360);
#2380 = CARTESIAN_POINT ('', (17.5, -7.50000000000001, 28.));
#2390 = CARTESIAN_POINT ('', (32.562368576894, -7.50000000000001, 28.));
#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 ('', (16.5, -6.50000000000001, 28.));
#2440 = VERTEX_POINT ('', #2430);
#2450 = CARTESIAN_POINT ('', (17.5, -7.50000000000001, 28.));
#2460 = CARTESIAN_POINT ('', (16.5, -7.50000000000001, 28.));
#2470 = CARTESIAN_POINT ('', (16.5, -6.50000000000001, 28.));
#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 ('', (16.5, 9.99999999999999, 28.));
#2520 = VERTEX_POINT ('', #2510);
#2530 = CARTESIAN_POINT ('', (16.5, -6.50000000000001, 28.));
#2540 = CARTESIAN_POINT ('', (16.5, 9.99999999999999, 28.));
#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.00000000000001, 9.99999999999999, 28.));
#2590 = CARTESIAN_POINT ('', (16.5, 9.99999999999999, 28.));
#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, .T.);
#2660 = CARTESIAN_POINT ('', (1.99899999999997, -10.001, 28.));
#2670 = CARTESIAN_POINT ('', (1.99899999999997, 10.001, 28.));
#2680 = CARTESIAN_POINT ('', (32.563368576894, -10.001, 28.));
#2690 = CARTESIAN_POINT ('', (32.563368576894, 10.001, 28.));
#2700 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2660, #2670), (#2680, #2690)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-30.563368576894, 0.00100000000000477), (-20.001, 0.00100000000000122), .UNSPECIFIED.);
#2710 = ADVANCED_FACE ('', (#2650), #2700, .T.);
#2720 = ORIENTED_EDGE ('', *, *, #2610, .T.);
#2730 = CARTESIAN_POINT ('', (16.5, 9.99999999999999, 20.));
#2740 = VERTEX_POINT ('', #2730);
#2750 = CARTESIAN_POINT ('', (16.5, 9.99999999999999, 20.));
#2760 = CARTESIAN_POINT ('', (16.5, 9.99999999999999, 28.));
#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 ('', (29.5536227750357, 9.99999999999999, -10.));
#2810 = VERTEX_POINT ('', #2800);
#2820 = CARTESIAN_POINT ('', (29.5536227750358, 9.99999999999999, -10.));
#2830 = CARTESIAN_POINT ('', (16.5, 10., 2.16004887411778));
#2840 = CARTESIAN_POINT ('', (16.5, 9.99999999999999, 20.));
#2850 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2820, #2830, #2840), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (312.970283931743, 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.916956639298295, 1.))
   REPRESENTATION_ITEM ('')
);
#2860 = EDGE_CURVE ('', #2810, #2740, #2850, .T.);
#2870 = ORIENTED_EDGE ('', *, *, #2860, .F.);
#2880 = CARTESIAN_POINT ('', (0., 9.99999999999999, -10.));
#2890 = VERTEX_POINT ('', #2880);
#2900 = CARTESIAN_POINT ('', (29.5536227750357, 9.99999999999999, -10.));
#2910 = CARTESIAN_POINT ('', (0., 9.99999999999999, -10.));
#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 ('', (0., 9.99999999999999, -9.2));
#2960 = VERTEX_POINT ('', #2950);
#2970 = CARTESIAN_POINT ('', (0., 9.99999999999999, -10.));
#2980 = CARTESIAN_POINT ('', (0., 9.99999999999999, -9.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.200000000000017, 9.99999999999999, -9.2));
#3030 = VERTEX_POINT ('', #3020);
#3040 = CARTESIAN_POINT ('', (0.200000000000017, 9.99999999999999, -9.2));
#3050 = CARTESIAN_POINT ('', (0., 9.99999999999999, -9.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.200000000000017, 9.99999999999999, -0.200000000000013));
#3100 = VERTEX_POINT ('', #3090);
#3110 = CARTESIAN_POINT ('', (0.200000000000017, 9.99999999999999, -0.200000000000013));
#3120 = CARTESIAN_POINT ('', (0.200000000000017, 9.99999999999999, -9.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 ('', (0., 9.99999999999999, -0.200000000000013));
#3170 = CARTESIAN_POINT ('', (0.200000000000017, 9.99999999999999, -0.200000000000013));
#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., 9.99999999999999, 20.));
#3260 = CARTESIAN_POINT ('', (1.99999999999999, 9.99999999999999, 20.));
#3270 = CARTESIAN_POINT ('', (2., 9.99999999999999, 21.));
#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, .T.);
#3340 = CARTESIAN_POINT ('', (29.5546227750358, 9.99999999999999, -10.001));
#3350 = CARTESIAN_POINT ('', (29.5546227750358, 9.99999999999999, 28.001));
#3360 = CARTESIAN_POINT ('', (-100.001, 10., -10.001));
#3370 = CARTESIAN_POINT ('', (-100.001, 10., 28.001));
#3380 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3340, #3350), (#3360, #3370)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-149.651, -20.0953772249642), (-10.001, 28.001), .UNSPECIFIED.);
#3390 = ADVANCED_FACE ('', (#3330), #3380, .T.);
#3400 = CARTESIAN_POINT ('', (16.2159018413253, -10., 10.8510540713679));
#3410 = VERTEX_POINT ('', #3400);
#3420 = CARTESIAN_POINT ('', (16.2159018413253, -10., 10.8510540713679));
#3430 = CARTESIAN_POINT ('', (49.65, -10., 13.1889939658102));
#3440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3420, #3430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3450 = EDGE_CURVE ('', #3410, #110, #3440, .T.);
#3460 = ORIENTED_EDGE ('', *, *, #3450, .F.);
#3470 = CARTESIAN_POINT ('', (15.9452467231981, -10., 14.7216025863761));
#3480 = VERTEX_POINT ('', #3470);
#3490 = CARTESIAN_POINT ('', (15.9452467231981, -10., 14.7216025863761));
#3500 = CARTESIAN_POINT ('', (16.2159018413253, -10., 10.8510540713679));
#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 ('', (14.4489006478084, -10., 14.6169678757599));
#3550 = VERTEX_POINT ('', #3540);
#3560 = CARTESIAN_POINT ('', (14.4489006478084, -10., 14.6169678757599));
#3570 = CARTESIAN_POINT ('', (15.9452467231981, -10., 14.7216025863761));
#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 ('', (14.2047529897039, -10., 18.1084420516693));
#3620 = VERTEX_POINT ('', #3610);
#3630 = CARTESIAN_POINT ('', (14.2047529897039, -10., 18.1084420516693));
#3640 = CARTESIAN_POINT ('', (14.4489006478084, -10., 14.6169678757599));
#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 ('', (44., -10., 20.1919286861685));
#3690 = VERTEX_POINT ('', #3680);
#3700 = CARTESIAN_POINT ('', (44., -10., 20.1919286861685));
#3710 = CARTESIAN_POINT ('', (14.2047529897039, -10., 18.1084420516693));
#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 ('', (41.1500000000001, -10., 23.0419286861685));
#3760 = VERTEX_POINT ('', #3750);
#3770 = CARTESIAN_POINT ('', (41.1500000000001, -10., 23.0419286861685));
#3780 = CARTESIAN_POINT ('', (44., -10., 20.1919286861685));
#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 ('', (32.562368576894, -10., 28.));
#3830 = CARTESIAN_POINT ('', (41.1500000000001, -10., 23.0419286861685));
#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., -10., 21.));
#3900 = CARTESIAN_POINT ('', (1.99999999999999, -10., 20.));
#3910 = CARTESIAN_POINT ('', (1., -10., 20.));
#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.200000000000017, -10., -0.200000000000012));
#4000 = VERTEX_POINT ('', #3990);
#4010 = CARTESIAN_POINT ('', (0.200000000000017, -10., -0.200000000000012));
#4020 = CARTESIAN_POINT ('', (0., -10., -0.200000000000012));
#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.200000000000017, -10., -9.2));
#4070 = VERTEX_POINT ('', #4060);
#4080 = CARTESIAN_POINT ('', (0.200000000000017, -10., -9.2));
#4090 = CARTESIAN_POINT ('', (0.200000000000017, -10., -0.200000000000011));
#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 ('', (0., -10., -9.2));
#4140 = VERTEX_POINT ('', #4130);
#4150 = CARTESIAN_POINT ('', (0., -10., -9.2));
#4160 = CARTESIAN_POINT ('', (0.200000000000017, -10., -9.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 ('', (0., -10., -10.));
#4210 = VERTEX_POINT ('', #4200);
#4220 = CARTESIAN_POINT ('', (0., -10., -10.));
#4230 = CARTESIAN_POINT ('', (0., -10., -9.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 ('', (49.65, -10., -10.));
#4280 = CARTESIAN_POINT ('', (0., -10., -10.));
#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, .T.);
#4350 = CARTESIAN_POINT ('', (-100.001, -10., -10.001));
#4360 = CARTESIAN_POINT ('', (-100.001, -10., 28.001));
#4370 = CARTESIAN_POINT ('', (49.651, -10., -10.001));
#4380 = CARTESIAN_POINT ('', (49.651, -10., 28.001));
#4390 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4350, #4360), (#4370, #4380)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-149.651, 0.00100000000000477), (-10.001, 28.001), .UNSPECIFIED.);
#4400 = ADVANCED_FACE ('', (#4340), #4390, .T.);
#4410 = CARTESIAN_POINT ('', (29.5536227750357, -6.50000000000001, -10.));
#4420 = VERTEX_POINT ('', #4410);
#4430 = CARTESIAN_POINT ('', (29.5536227750357, -6.50000000000001, -10.));
#4440 = CARTESIAN_POINT ('', (29.5536227750357, 9.99999999999999, -10.));
#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 ('', (29.5536227750357, -6.50000000000001, -10.));
#4490 = CARTESIAN_POINT ('', (29.5536227750357, -6.666991891958, -9.99999999999999));
#4500 = CARTESIAN_POINT ('', (29.6167375539628, -6.82613442840779, -10.));
#4510 = CARTESIAN_POINT ('', (29.8172477347561, -7.09038344354598, -10.));
#4520 = CARTESIAN_POINT ('', (29.9496938118191, -7.19390187125353, -10.));
#4530 = CARTESIAN_POINT ('', (30.2375070889044, -7.35299054804243, -10.));
#4540 = CARTESIAN_POINT ('', (30.3924958712701, -7.40867277349166, -10.));
#4550 = CARTESIAN_POINT ('', (30.7140395401782, -7.48257829206289, -10.));
#4560 = CARTESIAN_POINT ('', (30.8771985388885, -7.50000000000001, -10.));
#4570 = CARTESIAN_POINT ('', (31.0424868893541, -7.50000000000001, -10.));
#4580 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#4480, #4490, #4500, #4510, #4520, #4530, #4540, #4550, #4560, #4570), .UNSPECIFIED., .F., .U., (4, 2, 2, 2, 4), (0., 0.000492109864617575, 0.000984219729235149, 0.00147632959385272, 0.0019684394584703), .UNSPECIFIED.);
#4590 = EDGE_CURVE ('', #4420, #460, #4580, .T.);
#4600 = ORIENTED_EDGE ('', *, *, #4590, .T.);
#4610 = ORIENTED_EDGE ('', *, *, #500, .T.);
#4620 = ORIENTED_EDGE ('', *, *, #270, .F.);
#4630 = ORIENTED_EDGE ('', *, *, #4300, .T.);
#4640 = CARTESIAN_POINT ('', (0., -10., -10.));
#4650 = CARTESIAN_POINT ('', (0., 9.99999999999999, -10.));
#4660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4640, #4650), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4670 = EDGE_CURVE ('', #4210, #2890, #4660, .T.);
#4680 = ORIENTED_EDGE ('', *, *, #4670, .T.);
#4690 = ORIENTED_EDGE ('', *, *, #2930, .F.);
#4700 = EDGE_LOOP ('', (#4470, #4600, #4610, #4620, #4630, #4680, #4690));
#4710 = FACE_OUTER_BOUND ('', #4700, .T.);
#4720 = CARTESIAN_POINT ('', (49.651, -10.001, -10.));
#4730 = CARTESIAN_POINT ('', (49.651, 10.001, -10.));
#4740 = CARTESIAN_POINT ('', (-0.00100000000000477, -10.001, -10.));
#4750 = CARTESIAN_POINT ('', (-0.00100000000000477, 10.001, -10.));
#4760 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4720, #4730), (#4740, #4750)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000477, 49.651), (50.646038412922, 70.648038412922), .UNSPECIFIED.);
#4770 = ADVANCED_FACE ('', (#4710), #4760, .T.);
#4780 = CARTESIAN_POINT ('', (0., 9.99999999999999, -9.2));
#4790 = CARTESIAN_POINT ('', (0., -10., -9.2));
#4800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4780, #4790), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4810 = EDGE_CURVE ('', #2960, #4140, #4800, .T.);
#4820 = ORIENTED_EDGE ('', *, *, #4810, .F.);
#4830 = ORIENTED_EDGE ('', *, *, #3000, .F.);
#4840 = ORIENTED_EDGE ('', *, *, #4670, .F.);
#4850 = ORIENTED_EDGE ('', *, *, #4250, .T.);
#4860 = EDGE_LOOP ('', (#4820, #4830, #4840, #4850));
#4870 = FACE_OUTER_BOUND ('', #4860, .T.);
#4880 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 10.001, -10.001));
#4890 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 10.001, -9.199));
#4900 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -10.001, -10.001));
#4910 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -10.001, -9.199));
#4920 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4880, #4890), (#4900, #4910)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-70.648038412922, -50.646038412922), (-10.001, -9.199), .UNSPECIFIED.);
#4930 = ADVANCED_FACE ('', (#4870), #4920, .T.);
#4940 = ORIENTED_EDGE ('', *, *, #3190, .T.);
#4950 = CARTESIAN_POINT ('', (0.200000000000017, 9.99999999999999, -0.200000000000013));
#4960 = CARTESIAN_POINT ('', (0.200000000000017, -10., -0.200000000000012));
#4970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4950, #4960), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4980 = EDGE_CURVE ('', #3100, #4000, #4970, .T.);
#4990 = ORIENTED_EDGE ('', *, *, #4980, .T.);
#5000 = ORIENTED_EDGE ('', *, *, #4040, .T.);
#5010 = ORIENTED_EDGE ('', *, *, #730, .F.);
#5020 = EDGE_LOOP ('', (#4940, #4990, #5000, #5010));
#5030 = FACE_OUTER_BOUND ('', #5020, .T.);
#5040 = CARTESIAN_POINT ('', (0.201000000000008, -10.001, -0.200000000000012));
#5050 = CARTESIAN_POINT ('', (0.201000000000008, 10.001, -0.200000000000013));
#5060 = CARTESIAN_POINT ('', (-0.00100000000001899, -10.001, -0.200000000000012));
#5070 = CARTESIAN_POINT ('', (-0.00100000000001899, 10.001, -0.200000000000013));
#5080 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5040, #5050), (#5060, #5070)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000477, 0.201000000000022), (-29.0032219479415, -9.00122194794151), .UNSPECIFIED.);
#5090 = ADVANCED_FACE ('', (#5030), #5080, .T.);
#5100 = ORIENTED_EDGE ('', *, *, #3140, .T.);
#5110 = CARTESIAN_POINT ('', (0.200000000000017, 9.99999999999999, -9.2));
#5120 = CARTESIAN_POINT ('', (0.200000000000017, -10., -9.2));
#5130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5110, #5120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5140 = EDGE_CURVE ('', #3030, #4070, #5130, .T.);
#5150 = ORIENTED_EDGE ('', *, *, #5140, .T.);
#5160 = ORIENTED_EDGE ('', *, *, #4110, .T.);
#5170 = ORIENTED_EDGE ('', *, *, #4980, .F.);
#5180 = EDGE_LOOP ('', (#5100, #5150, #5160, #5170));
#5190 = FACE_OUTER_BOUND ('', #5180, .T.);
#5200 = CARTESIAN_POINT ('', (0.200000000000003, 10.001, -9.201));
#5210 = CARTESIAN_POINT ('', (0.200000000000003, 10.001, -0.199000000000014));
#5220 = CARTESIAN_POINT ('', (0.200000000000003, -10.001, -9.201));
#5230 = CARTESIAN_POINT ('', (0.200000000000003, -10.001, -0.199000000000012));
#5240 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5200, #5210), (#5220, #5230)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-29.0032219479415, -9.00122194794151), (-9.00099999999999, 0.00100000000000053), .UNSPECIFIED.);
#5250 = ADVANCED_FACE ('', (#5190), #5240, .T.);
#5260 = ORIENTED_EDGE ('', *, *, #3070, .T.);
#5270 = ORIENTED_EDGE ('', *, *, #4810, .T.);
#5280 = ORIENTED_EDGE ('', *, *, #4180, .T.);
#5290 = ORIENTED_EDGE ('', *, *, #5140, .F.);
#5300 = EDGE_LOOP ('', (#5260, #5270, #5280, #5290));
#5310 = FACE_OUTER_BOUND ('', #5300, .T.);
#5320 = CARTESIAN_POINT ('', (-0.00100000000001899, -10.001, -9.2));
#5330 = CARTESIAN_POINT ('', (-0.00100000000001899, 10.001, -9.2));
#5340 = CARTESIAN_POINT ('', (0.201000000000008, -10.001, -9.2));
#5350 = CARTESIAN_POINT ('', (0.201000000000008, 10.001, -9.2));
#5360 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5320, #5330), (#5340, #5350)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.201000000000022, 0.00100000000000477), (-29.0032219479415, -9.00122194794151), .UNSPECIFIED.);
#5370 = ADVANCED_FACE ('', (#5310), #5360, .T.);
#5380 = CARTESIAN_POINT ('', (44., -7.50000000000001, 20.1919286861685));
#5390 = VERTEX_POINT ('', #5380);
#5400 = CARTESIAN_POINT ('', (41.1500000000001, -7.50000000000001, 23.0419286861685));
#5410 = VERTEX_POINT ('', #5400);
#5420 = CARTESIAN_POINT ('', (44., -7.50000000000001, 20.1919286861685));
#5430 = CARTESIAN_POINT ('', (41.1500000000001, -7.50000000000001, 23.0419286861685));
#5440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5420, #5430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5450 = EDGE_CURVE ('', #5390, #5410, #5440, .T.);
#5460 = ORIENTED_EDGE ('', *, *, #5450, .F.);
#5470 = CARTESIAN_POINT ('', (17.5344069415612, -7.50000000000001, 18.3412741373977));
#5480 = VERTEX_POINT ('', #5470);
#5490 = CARTESIAN_POINT ('', (44., -7.50000000000001, 20.1919286861685));
#5500 = CARTESIAN_POINT ('', (17.5344069415612, -7.50000000000001, 18.3412741373977));
#5510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5490, #5500), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5520 = EDGE_CURVE ('', #5390, #5480, #5510, .T.);
#5530 = ORIENTED_EDGE ('', *, *, #5520, .T.);
#5540 = CARTESIAN_POINT ('', (17.5, -7.50000000000001, 20.));
#5550 = VERTEX_POINT ('', #5540);
#5560 = CARTESIAN_POINT ('', (17.5344069415612, -7.50000000000001, 18.3412741373978));
#5570 = CARTESIAN_POINT ('', (17.5, -7.50000000000001, 19.1702802171982));
#5580 = CARTESIAN_POINT ('', (17.5, -7.50000000000001, 20.));
#5590 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5560, #5570, #5580), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (357.623368740067, 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.999784933488441, 1.))
   REPRESENTATION_ITEM ('')
);
#5600 = EDGE_CURVE ('', #5480, #5550, #5590, .T.);
#5610 = ORIENTED_EDGE ('', *, *, #5600, .T.);
#5620 = CARTESIAN_POINT ('', (17.5, -7.50000000000001, 20.));
#5630 = CARTESIAN_POINT ('', (17.5, -7.50000000000001, 28.));
#5640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5620, #5630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5650 = EDGE_CURVE ('', #5550, #2370, #5640, .T.);
#5660 = ORIENTED_EDGE ('', *, *, #5650, .T.);
#5670 = ORIENTED_EDGE ('', *, *, #2410, .T.);
#5680 = CARTESIAN_POINT ('', (41.1500000000001, -7.50000000000001, 23.0419286861685));
#5690 = CARTESIAN_POINT ('', (32.562368576894, -7.50000000000001, 28.));
#5700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5680, #5690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5710 = EDGE_CURVE ('', #5410, #2300, #5700, .T.);
#5720 = ORIENTED_EDGE ('', *, *, #5710, .F.);
#5730 = EDGE_LOOP ('', (#5460, #5530, #5610, #5660, #5670, #5720));
#5740 = FACE_OUTER_BOUND ('', #5730, .T.);
#5750 = CARTESIAN_POINT ('', (44.001, -7.50000000000001, 18.3402741373977));
#5760 = CARTESIAN_POINT ('', (44.001, -7.50000000000001, 28.001));
#5770 = CARTESIAN_POINT ('', (17.499, -7.50000000000001, 18.3402741373977));
#5780 = CARTESIAN_POINT ('', (17.499, -7.50000000000001, 28.001));
#5790 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5750, #5760), (#5770, #5780)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (13.499, 40.001), (-1.65972586260224, 8.00100000000002), .UNSPECIFIED.);
#5800 = ADVANCED_FACE ('', (#5740), #5790, .T.);
#5810 = ORIENTED_EDGE ('', *, *, #2560, .F.);
#5820 = CARTESIAN_POINT ('', (16.5, -6.50000000000001, 20.));
#5830 = VERTEX_POINT ('', #5820);
#5840 = CARTESIAN_POINT ('', (16.5, -6.50000000000001, 28.));
#5850 = CARTESIAN_POINT ('', (16.5, -6.50000000000001, 20.));
#5860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5840, #5850), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5870 = EDGE_CURVE ('', #2440, #5830, #5860, .T.);
#5880 = ORIENTED_EDGE ('', *, *, #5870, .T.);
#5890 = CARTESIAN_POINT ('', (16.5, -6.50000000000001, 20.));
#5900 = CARTESIAN_POINT ('', (16.5, 9.99999999999999, 20.));
#5910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5890, #5900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5920 = EDGE_CURVE ('', #5830, #2740, #5910, .T.);
#5930 = ORIENTED_EDGE ('', *, *, #5920, .T.);
#5940 = ORIENTED_EDGE ('', *, *, #2780, .T.);
#5950 = EDGE_LOOP ('', (#5810, #5880, #5930, #5940));
#5960 = FACE_OUTER_BOUND ('', #5950, .T.);
#5970 = CARTESIAN_POINT ('', (16.5, -6.50100000000001, 19.999));
#5980 = CARTESIAN_POINT ('', (16.5, -6.50100000000001, 28.001));
#5990 = CARTESIAN_POINT ('', (16.5, 10.001, 19.999));
#6000 = CARTESIAN_POINT ('', (16.5, 10.001, 28.001));
#6010 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5970, #5980), (#5990, #6000)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-17.501, -0.999), (-8.00100000000002, 0.00100000000000122), .UNSPECIFIED.);
#6020 = ADVANCED_FACE ('', (#5960), #6010, .T.);
#6030 = ORIENTED_EDGE ('', *, *, #5920, .F.);
#6040 = CARTESIAN_POINT ('', (16.5, -6.50000000000001, 20.));
#6050 = CARTESIAN_POINT ('', (16.5, -6.50000000000001, 2.16004887411779));
#6060 = CARTESIAN_POINT ('', (29.5536227750357, -6.50000000000001, -10.));
#6070 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6040, #6050, #6060), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 47.0297160682568), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.916956639298295, 1.))
   REPRESENTATION_ITEM ('')
);
#6080 = EDGE_CURVE ('', #5830, #4420, #6070, .T.);
#6090 = ORIENTED_EDGE ('', *, *, #6080, .T.);
#6100 = ORIENTED_EDGE ('', *, *, #4460, .T.);
#6110 = ORIENTED_EDGE ('', *, *, #2860, .T.);
#6120 = EDGE_LOOP ('', (#6030, #6090, #6100, #6110));
#6130 = FACE_OUTER_BOUND ('', #6120, .T.);
#6140 = CARTESIAN_POINT ('', (16.5, -8.15120000000001, 20.));
#6150 = CARTESIAN_POINT ('', (16.5, 11.6512, 20.));
#6160 = CARTESIAN_POINT ('', (16.5, -8.15120000000002, -21.));
#6170 = CARTESIAN_POINT ('', (16.5, 11.6512, -21.));
#6180 = CARTESIAN_POINT ('', (57.5, -8.15120000000001, -21.));
#6190 = CARTESIAN_POINT ('', (57.5, 11.6512, -21.));
#6200 = CARTESIAN_POINT ('', (98.5, -8.15120000000001, -21.));
#6210 = CARTESIAN_POINT ('', (98.5, 11.6512, -21.));
#6220 = CARTESIAN_POINT ('', (98.5, -8.15120000000001, 20.));
#6230 = CARTESIAN_POINT ('', (98.5, 11.6512, 20.));
#6240 = CARTESIAN_POINT ('', (98.5, -8.15120000000001, 61.));
#6250 = CARTESIAN_POINT ('', (98.5, 11.6512, 61.));
#6260 = CARTESIAN_POINT ('', (57.4999999999999, -8.15120000000001, 61.));
#6270 = CARTESIAN_POINT ('', (57.4999999999999, 11.6512, 61.));
#6280 = CARTESIAN_POINT ('', (16.5, -8.15120000000001, 61.));
#6290 = CARTESIAN_POINT ('', (16.5, 11.6512, 61.));
#6300 = CARTESIAN_POINT ('', (16.5, -8.15120000000001, 20.));
#6310 = CARTESIAN_POINT ('', (16.5, 11.6512, 20.));
#6320 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6140, #6150), (#6160, #6170), (#6180, #6190), (#6200, #6210), (#6220, #6230), (#6240, #6250), (#6260, #6270), (#6280, #6290), (#6300, #6310)), .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 ('')
);
#6330 = ADVANCED_FACE ('', (#6130), #6320, .T.);
#6340 = CARTESIAN_POINT ('', (17.5974144853377, -6.90000000000001, 10.9476588462234));
#6350 = VERTEX_POINT ('', #6340);
#6360 = CARTESIAN_POINT ('', (16.6197655147393, -6.90000000000001, 18.2773161783486));
#6370 = VERTEX_POINT ('', #6360);
#6380 = CARTESIAN_POINT ('', (17.5974144853377, -6.90000000000001, 10.9476588462234));
#6390 = CARTESIAN_POINT ('', (16.7760695668174, -6.90000000000001, 14.5681350624359));
#6400 = CARTESIAN_POINT ('', (16.6197655147391, -6.90000000000001, 18.2773161783486));
#6410 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6380, #6390, #6400), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (167.218166551014, 177.586996458812), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.995909014774643, 1.))
   REPRESENTATION_ITEM ('')
);
#6420 = EDGE_CURVE ('', #6350, #6370, #6410, .T.);
#6430 = ORIENTED_EDGE ('', *, *, #6420, .F.);
#6440 = CARTESIAN_POINT ('', (17.5974144853377, -6.90000000000001, 10.9476588462234));
#6450 = CARTESIAN_POINT ('', (17.6766542936369, -7.0798708948491, 10.9531998333968));
#6460 = CARTESIAN_POINT ('', (17.8078856021972, -7.23204509144399, 10.9623764204316));
#6470 = CARTESIAN_POINT ('', (18.1338729128532, -7.44278492087589, 10.9851716737998));
#6480 = CARTESIAN_POINT ('', (18.3294231168213, -7.50000000000001, 10.9988458761382));
#6490 = CARTESIAN_POINT ('', (18.52279554254, -7.50000000000001, 11.0123677933864));
#6500 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6440, #6450, #6460, #6470, #6480, #6490), .UNSPECIFIED., .F., .U., (4, 2, 4), (0.000996725255247784, 0.00157826612098123, 0.00215980698671467), .UNSPECIFIED.);
#6510 = EDGE_CURVE ('', #6350, #380, #6500, .T.);
#6520 = ORIENTED_EDGE ('', *, *, #6510, .T.);
#6530 = ORIENTED_EDGE ('', *, *, #560, .F.);
#6540 = ORIENTED_EDGE ('', *, *, #4590, .F.);
#6550 = ORIENTED_EDGE ('', *, *, #6080, .F.);
#6560 = CARTESIAN_POINT ('', (17.5, -7.50000000000001, 20.));
#6570 = CARTESIAN_POINT ('', (16.5, -7.50000000000001, 20.));
#6580 = CARTESIAN_POINT ('', (16.5, -6.50000000000001, 20.));
#6590 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6560, #6570, #6580), .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 ('')
);
#6600 = EDGE_CURVE ('', #5550, #5830, #6590, .T.);
#6610 = ORIENTED_EDGE ('', *, *, #6600, .F.);
#6620 = ORIENTED_EDGE ('', *, *, #5600, .F.);
#6630 = CARTESIAN_POINT ('', (17.5344069415612, -7.50000000000001, 18.3412741373977));
#6640 = CARTESIAN_POINT ('', (17.3397817292917, -7.50000000000001, 18.3276646167799));
#6650 = CARTESIAN_POINT ('', (17.1491421405736, -7.44240702787053, 18.3143337981106));
#6660 = CARTESIAN_POINT ('', (16.8271236743406, -7.23134673704778, 18.29181607338));
#6670 = CARTESIAN_POINT ('', (16.6965550241987, -7.07630886075987, 18.2826858239358));
#6680 = CARTESIAN_POINT ('', (16.6197655147393, -6.90000000000001, 18.2773161783486));
#6690 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6630, #6640, #6650, #6660, #6670, #6680), .UNSPECIFIED., .F., .U., (4, 2, 4), (0.000671331429873906, 0.00124829371882892, 0.00182525600778393), .UNSPECIFIED.);
#6700 = EDGE_CURVE ('', #5480, #6370, #6690, .T.);
#6710 = ORIENTED_EDGE ('', *, *, #6700, .T.);
#6720 = EDGE_LOOP ('', (#6430, #6520, #6530, #6540, #6550, #6610, #6620, #6710));
#6730 = FACE_OUTER_BOUND ('', #6720, .T.);
#6740 = CARTESIAN_POINT ('', (16.5, -6.50000000000001, 20.));
#6750 = CARTESIAN_POINT ('', (16.5, -5.50000000000001, 20.));
#6760 = CARTESIAN_POINT ('', (17.5, -5.50000000000001, 20.));
#6770 = CARTESIAN_POINT ('', (18.5, -5.50000000000001, 20.));
#6780 = CARTESIAN_POINT ('', (18.5, -6.50000000000001, 20.));
#6790 = CARTESIAN_POINT ('', (18.5, -7.50000000000001, 20.));
#6800 = CARTESIAN_POINT ('', (17.5, -7.50000000000001, 20.));
#6810 = CARTESIAN_POINT ('', (16.5, -7.50000000000001, 20.));
#6820 = CARTESIAN_POINT ('', (16.5, -6.50000000000001, 20.));
#6830 = CARTESIAN_POINT ('', (16.5, -6.50000000000001, -21.));
#6840 = CARTESIAN_POINT ('', (16.5, -5.50000000000001, -21.));
#6850 = CARTESIAN_POINT ('', (17.5, -5.50000000000001, -20.));
#6860 = CARTESIAN_POINT ('', (18.5, -5.50000000000001, -19.));
#6870 = CARTESIAN_POINT ('', (18.5, -6.50000000000001, -19.));
#6880 = CARTESIAN_POINT ('', (18.5, -7.50000000000001, -19.));
#6890 = CARTESIAN_POINT ('', (17.5, -7.50000000000001, -20.));
#6900 = CARTESIAN_POINT ('', (16.5, -7.50000000000001, -21.));
#6910 = CARTESIAN_POINT ('', (16.5, -6.50000000000001, -21.));
#6920 = CARTESIAN_POINT ('', (57.5, -6.50000000000001, -21.));
#6930 = CARTESIAN_POINT ('', (57.5, -5.50000000000001, -21.));
#6940 = CARTESIAN_POINT ('', (57.5, -5.50000000000001, -20.));
#6950 = CARTESIAN_POINT ('', (57.5, -5.50000000000001, -19.));
#6960 = CARTESIAN_POINT ('', (57.5, -6.50000000000001, -19.));
#6970 = CARTESIAN_POINT ('', (57.5, -7.50000000000001, -19.));
#6980 = CARTESIAN_POINT ('', (57.5, -7.50000000000001, -20.));
#6990 = CARTESIAN_POINT ('', (57.5, -7.50000000000001, -21.));
#7000 = CARTESIAN_POINT ('', (57.5, -6.50000000000001, -21.));
#7010 = CARTESIAN_POINT ('', (98.4999999999999, -6.50000000000001, -21.));
#7020 = CARTESIAN_POINT ('', (98.4999999999999, -5.50000000000002, -21.));
#7030 = CARTESIAN_POINT ('', (97.4999999999999, -5.50000000000002, -20.));
#7040 = CARTESIAN_POINT ('', (96.4999999999999, -5.50000000000002, -19.));
#7050 = CARTESIAN_POINT ('', (96.4999999999999, -6.50000000000001, -19.));
#7060 = CARTESIAN_POINT ('', (96.4999999999999, -7.50000000000001, -19.));
#7070 = CARTESIAN_POINT ('', (97.4999999999999, -7.50000000000002, -20.));
#7080 = CARTESIAN_POINT ('', (98.4999999999999, -7.50000000000002, -21.));
#7090 = CARTESIAN_POINT ('', (98.4999999999999, -6.50000000000001, -21.));
#7100 = CARTESIAN_POINT ('', (98.4999999999999, -6.50000000000001, 20.));
#7110 = CARTESIAN_POINT ('', (98.4999999999999, -5.50000000000001, 20.));
#7120 = CARTESIAN_POINT ('', (97.4999999999999, -5.50000000000001, 20.));
#7130 = CARTESIAN_POINT ('', (96.4999999999999, -5.50000000000001, 20.));
#7140 = CARTESIAN_POINT ('', (96.4999999999999, -6.50000000000001, 20.));
#7150 = CARTESIAN_POINT ('', (96.4999999999999, -7.50000000000001, 20.));
#7160 = CARTESIAN_POINT ('', (97.4999999999999, -7.50000000000001, 20.));
#7170 = CARTESIAN_POINT ('', (98.4999999999999, -7.50000000000001, 20.));
#7180 = CARTESIAN_POINT ('', (98.4999999999999, -6.50000000000001, 20.));
#7190 = CARTESIAN_POINT ('', (98.4999999999999, -6.50000000000001, 61.));
#7200 = CARTESIAN_POINT ('', (98.4999999999999, -5.50000000000001, 61.));
#7210 = CARTESIAN_POINT ('', (97.4999999999999, -5.50000000000001, 60.));
#7220 = CARTESIAN_POINT ('', (96.4999999999999, -5.50000000000001, 59.));
#7230 = CARTESIAN_POINT ('', (96.4999999999999, -6.50000000000001, 59.));
#7240 = CARTESIAN_POINT ('', (96.4999999999999, -7.50000000000001, 59.));
#7250 = CARTESIAN_POINT ('', (97.4999999999999, -7.50000000000001, 60.));
#7260 = CARTESIAN_POINT ('', (98.4999999999999, -7.50000000000001, 61.));
#7270 = CARTESIAN_POINT ('', (98.4999999999999, -6.50000000000001, 61.));
#7280 = CARTESIAN_POINT ('', (57.4999999999999, -6.50000000000001, 61.));
#7290 = CARTESIAN_POINT ('', (57.5, -5.50000000000001, 60.9999999999999));
#7300 = CARTESIAN_POINT ('', (57.4999999999999, -5.50000000000001, 60.));
#7310 = CARTESIAN_POINT ('', (57.5, -5.50000000000001, 59.));
#7320 = CARTESIAN_POINT ('', (57.4999999999999, -6.50000000000001, 59.));
#7330 = CARTESIAN_POINT ('', (57.5, -7.5, 59.));
#7340 = CARTESIAN_POINT ('', (57.4999999999999, -7.50000000000001, 60.));
#7350 = CARTESIAN_POINT ('', (57.5, -7.5, 60.9999999999999));
#7360 = CARTESIAN_POINT ('', (57.4999999999999, -6.50000000000001, 61.));
#7370 = CARTESIAN_POINT ('', (16.5, -6.5, 61.));
#7380 = CARTESIAN_POINT ('', (16.5, -5.5, 60.9999999999999));
#7390 = CARTESIAN_POINT ('', (17.5, -5.5, 60.));
#7400 = CARTESIAN_POINT ('', (18.5, -5.5, 59.));
#7410 = CARTESIAN_POINT ('', (18.5, -6.5, 59.));
#7420 = CARTESIAN_POINT ('', (18.5, -7.5, 59.));
#7430 = CARTESIAN_POINT ('', (17.5, -7.5, 60.));
#7440 = CARTESIAN_POINT ('', (16.5, -7.5, 60.9999999999999));
#7450 = CARTESIAN_POINT ('', (16.5, -6.5, 61.));
#7460 = CARTESIAN_POINT ('', (16.5, -6.50000000000001, 20.));
#7470 = CARTESIAN_POINT ('', (16.5, -5.50000000000001, 20.));
#7480 = CARTESIAN_POINT ('', (17.5, -5.50000000000001, 20.));
#7490 = CARTESIAN_POINT ('', (18.5, -5.50000000000001, 20.));
#7500 = CARTESIAN_POINT ('', (18.5, -6.50000000000001, 20.));
#7510 = CARTESIAN_POINT ('', (18.5, -7.50000000000001, 20.));
#7520 = CARTESIAN_POINT ('', (17.5, -7.50000000000001, 20.));
#7530 = CARTESIAN_POINT ('', (16.5, -7.50000000000001, 20.));
#7540 = CARTESIAN_POINT ('', (16.5, -6.50000000000001, 20.));
#7550 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 2, ((#6740, #6750, #6760, #6770, #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)), .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 ('')
);
#7560 = ADVANCED_FACE ('', (#6730), #7550, .T.);
#7570 = ORIENTED_EDGE ('', *, *, #6600, .T.);
#7580 = ORIENTED_EDGE ('', *, *, #5870, .F.);
#7590 = ORIENTED_EDGE ('', *, *, #2490, .F.);
#7600 = ORIENTED_EDGE ('', *, *, #5650, .F.);
#7610 = EDGE_LOOP ('', (#7570, #7580, #7590, #7600));
#7620 = FACE_OUTER_BOUND ('', #7610, .T.);
#7630 = CARTESIAN_POINT ('', (18.5, -6.50000000000001, 19.1988));
#7640 = CARTESIAN_POINT ('', (18.5, -6.50000000000001, 28.8012));
#7650 = CARTESIAN_POINT ('', (18.5, -7.50000000000001, 19.1988));
#7660 = CARTESIAN_POINT ('', (18.5, -7.50000000000001, 28.8012));
#7670 = CARTESIAN_POINT ('', (17.5, -7.49999999999999, 19.1988));
#7680 = CARTESIAN_POINT ('', (17.5, -7.49999999999999, 28.8012));
#7690 = CARTESIAN_POINT ('', (16.5, -7.49999999999998, 19.1988));
#7700 = CARTESIAN_POINT ('', (16.5, -7.49999999999998, 28.8012));
#7710 = CARTESIAN_POINT ('', (16.5, -6.49999999999998, 19.1988));
#7720 = CARTESIAN_POINT ('', (16.5, -6.49999999999998, 28.8012));
#7730 = CARTESIAN_POINT ('', (16.5, -5.49999999999998, 19.1988));
#7740 = CARTESIAN_POINT ('', (16.5, -5.49999999999998, 28.8012));
#7750 = CARTESIAN_POINT ('', (17.5, -5.49999999999999, 19.1988));
#7760 = CARTESIAN_POINT ('', (17.5, -5.49999999999999, 28.8012));
#7770 = CARTESIAN_POINT ('', (18.5, -5.50000000000001, 19.1988));
#7780 = CARTESIAN_POINT ('', (18.5, -5.50000000000001, 28.8012));
#7790 = CARTESIAN_POINT ('', (18.5, -6.50000000000001, 19.1988));
#7800 = CARTESIAN_POINT ('', (18.5, -6.50000000000001, 28.8012));
#7810 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#7630, #7640), (#7650, #7660), (#7670, #7680), (#7690, #7700), (#7710, #7720), (#7730, #7740), (#7750, #7760), (#7770, #7780), (#7790, #7800)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.250000000000001, 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 ('')
);
#7820 = ADVANCED_FACE ('', (#7620), #7810, .T.);
#7830 = CARTESIAN_POINT ('', (14.2047529897039, -6.90000000000001, 18.1084420516693));
#7840 = VERTEX_POINT ('', #7830);
#7850 = CARTESIAN_POINT ('', (14.2047529897039, -6.90000000000001, 18.1084420516693));
#7860 = CARTESIAN_POINT ('', (16.6197655147393, -6.90000000000001, 18.2773161783486));
#7870 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7850, #7860), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7880 = EDGE_CURVE ('', #7840, #6370, #7870, .T.);
#7890 = ORIENTED_EDGE ('', *, *, #7880, .F.);
#7900 = CARTESIAN_POINT ('', (14.4489006478084, -6.90000000000001, 14.6169678757599));
#7910 = VERTEX_POINT ('', #7900);
#7920 = CARTESIAN_POINT ('', (14.2047529897039, -6.90000000000001, 18.1084420516693));
#7930 = CARTESIAN_POINT ('', (14.4489006478084, -6.90000000000001, 14.6169678757599));
#7940 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7920, #7930), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7950 = EDGE_CURVE ('', #7840, #7910, #7940, .T.);
#7960 = ORIENTED_EDGE ('', *, *, #7950, .T.);
#7970 = CARTESIAN_POINT ('', (15.9452467231981, -6.90000000000001, 14.7216025863761));
#7980 = VERTEX_POINT ('', #7970);
#7990 = CARTESIAN_POINT ('', (14.4489006478084, -6.90000000000001, 14.6169678757599));
#8000 = CARTESIAN_POINT ('', (15.9452467231981, -6.90000000000001, 14.7216025863761));
#8010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7990, #8000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8020 = EDGE_CURVE ('', #7910, #7980, #8010, .T.);
#8030 = ORIENTED_EDGE ('', *, *, #8020, .T.);
#8040 = CARTESIAN_POINT ('', (16.2159018413253, -6.90000000000001, 10.8510540713679));
#8050 = VERTEX_POINT ('', #8040);
#8060 = CARTESIAN_POINT ('', (15.9452467231981, -6.90000000000001, 14.7216025863761));
#8070 = CARTESIAN_POINT ('', (16.2159018413253, -6.90000000000001, 10.8510540713679));
#8080 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8060, #8070), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8090 = EDGE_CURVE ('', #7980, #8050, #8080, .T.);
#8100 = ORIENTED_EDGE ('', *, *, #8090, .T.);
#8110 = CARTESIAN_POINT ('', (16.2159018413253, -6.90000000000001, 10.8510540713679));
#8120 = CARTESIAN_POINT ('', (17.5974144853377, -6.90000000000001, 10.9476588462234));
#8130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8110, #8120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8140 = EDGE_CURVE ('', #8050, #6350, #8130, .T.);
#8150 = ORIENTED_EDGE ('', *, *, #8140, .T.);
#8160 = ORIENTED_EDGE ('', *, *, #6420, .T.);
#8170 = EDGE_LOOP ('', (#7890, #7960, #8030, #8100, #8150, #8160));
#8180 = FACE_OUTER_BOUND ('', #8170, .T.);
#8190 = CARTESIAN_POINT ('', (14.2037529897039, -6.90000000000001, 10.8500540713679));
#8200 = CARTESIAN_POINT ('', (14.2037529897039, -6.90000000000001, 18.2783161783486));
#8210 = CARTESIAN_POINT ('', (17.5984144853377, -6.90000000000001, 10.8500540713679));
#8220 = CARTESIAN_POINT ('', (17.5984144853377, -6.90000000000001, 18.2783161783486));
#8230 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8190, #8200), (#8210, #8220)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-24.8581897925672, -21.4635282969334), (-2.80148108622851, 4.62678102075217), .UNSPECIFIED.);
#8240 = ADVANCED_FACE ('', (#8180), #8230, .T.);
#8250 = ORIENTED_EDGE ('', *, *, #3450, .T.);
#8260 = ORIENTED_EDGE ('', *, *, #150, .F.);
#8270 = ORIENTED_EDGE ('', *, *, #420, .T.);
#8280 = ORIENTED_EDGE ('', *, *, #6510, .F.);
#8290 = ORIENTED_EDGE ('', *, *, #8140, .F.);
#8300 = CARTESIAN_POINT ('', (16.2159018413253, -10., 10.8510540713679));
#8310 = CARTESIAN_POINT ('', (16.2159018413253, -6.90000000000001, 10.8510540713679));
#8320 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8300, #8310), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8330 = EDGE_CURVE ('', #3410, #8050, #8320, .T.);
#8340 = ORIENTED_EDGE ('', *, *, #8330, .F.);
#8350 = EDGE_LOOP ('', (#8250, #8260, #8270, #8280, #8290, #8340));
#8360 = FACE_OUTER_BOUND ('', #8350, .T.);
#8370 = CARTESIAN_POINT ('', (16.2148371207404, -10.001, 10.8509796188518));
#8380 = CARTESIAN_POINT ('', (16.2148371207404, -6.89900000000001, 10.8509796188518));
#8390 = CARTESIAN_POINT ('', (49.6510647205849, -10.001, 13.1890684183263));
#8400 = CARTESIAN_POINT ('', (49.6510647205849, -6.89900000000001, 13.1890684183263));
#8410 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8370, #8380), (#8390, #8400)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052401526, 33.5168081393381), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#8420 = ADVANCED_FACE ('', (#8360), #8410, .T.);
#8430 = ORIENTED_EDGE ('', *, *, #3520, .T.);
#8440 = ORIENTED_EDGE ('', *, *, #8330, .T.);
#8450 = ORIENTED_EDGE ('', *, *, #8090, .F.);
#8460 = CARTESIAN_POINT ('', (15.9452467231981, -6.90000000000001, 14.7216025863761));
#8470 = CARTESIAN_POINT ('', (15.9452467231981, -10., 14.7216025863761));
#8480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8460, #8470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8490 = EDGE_CURVE ('', #7980, #3480, #8480, .T.);
#8500 = ORIENTED_EDGE ('', *, *, #8490, .T.);
#8510 = EDGE_LOOP ('', (#8430, #8440, #8450, #8500));
#8520 = FACE_OUTER_BOUND ('', #8510, .T.);
#8530 = CARTESIAN_POINT ('', (15.945172270682, -10.001, 14.7226673069609));
#8540 = CARTESIAN_POINT ('', (15.945172270682, -6.89900000000001, 14.7226673069609));
#8550 = CARTESIAN_POINT ('', (16.2159762938414, -10.001, 10.8499893507831));
#8560 = CARTESIAN_POINT ('', (16.2159762938414, -6.89900000000001, 10.8499893507831));
#8570 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8530, #8540), (#8550, #8560)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.448932679475996, 4.33106732052399), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#8580 = ADVANCED_FACE ('', (#8520), #8570, .T.);
#8590 = ORIENTED_EDGE ('', *, *, #3590, .T.);
#8600 = ORIENTED_EDGE ('', *, *, #8490, .F.);
#8610 = ORIENTED_EDGE ('', *, *, #8020, .F.);
#8620 = CARTESIAN_POINT ('', (14.4489006478084, -10., 14.6169678757599));
#8630 = CARTESIAN_POINT ('', (14.4489006478084, -6.90000000000001, 14.6169678757599));
#8640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8620, #8630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8650 = EDGE_CURVE ('', #3550, #7910, #8640, .T.);
#8660 = ORIENTED_EDGE ('', *, *, #8650, .F.);
#8670 = EDGE_LOOP ('', (#8590, #8600, #8610, #8660));
#8680 = FACE_OUTER_BOUND ('', #8670, .T.);
#8690 = CARTESIAN_POINT ('', (14.4478359272235, -10.001, 14.6168934232438));
#8700 = CARTESIAN_POINT ('', (14.4478359272235, -6.89900000000001, 14.6168934232438));
#8710 = CARTESIAN_POINT ('', (15.946311443783, -10.001, 14.7216770388922));
#8720 = CARTESIAN_POINT ('', (15.946311443783, -6.89900000000001, 14.7216770388922));
#8730 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8690, #8700), (#8710, #8720)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.201067320524018, 1.30106732052401), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#8740 = ADVANCED_FACE ('', (#8680), #8730, .T.);
#8750 = ORIENTED_EDGE ('', *, *, #3660, .T.);
#8760 = ORIENTED_EDGE ('', *, *, #8650, .T.);
#8770 = ORIENTED_EDGE ('', *, *, #7950, .F.);
#8780 = CARTESIAN_POINT ('', (14.2047529897039, -10., 18.1084420516693));
#8790 = CARTESIAN_POINT ('', (14.2047529897039, -6.90000000000001, 18.1084420516693));
#8800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8780, #8790), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8810 = EDGE_CURVE ('', #3620, #7840, #8800, .T.);
#8820 = ORIENTED_EDGE ('', *, *, #8810, .F.);
#8830 = EDGE_LOOP ('', (#8750, #8760, #8770, #8820));
#8840 = FACE_OUTER_BOUND ('', #8830, .T.);
#8850 = CARTESIAN_POINT ('', (14.2046785371878, -10.001, 18.1095067722541));
#8860 = CARTESIAN_POINT ('', (14.2046785371878, -6.89900000000001, 18.1095067722541));
#8870 = CARTESIAN_POINT ('', (14.4489751003245, -10.001, 14.615903155175));
#8880 = CARTESIAN_POINT ('', (14.4489751003245, -6.89900000000001, 14.615903155175));
#8890 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8850, #8860), (#8870, #8880)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.70106732052403, 0.801067320523993), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#8900 = ADVANCED_FACE ('', (#8840), #8890, .T.);
#8910 = ORIENTED_EDGE ('', *, *, #5520, .F.);
#8920 = CARTESIAN_POINT ('', (44., -7.50000000000001, 20.1919286861685));
#8930 = CARTESIAN_POINT ('', (44., -10., 20.1919286861685));
#8940 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8920, #8930), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8950 = EDGE_CURVE ('', #5390, #3690, #8940, .T.);
#8960 = ORIENTED_EDGE ('', *, *, #8950, .T.);
#8970 = ORIENTED_EDGE ('', *, *, #3730, .T.);
#8980 = ORIENTED_EDGE ('', *, *, #8810, .T.);
#8990 = ORIENTED_EDGE ('', *, *, #7880, .T.);
#9000 = ORIENTED_EDGE ('', *, *, #6700, .F.);
#9010 = EDGE_LOOP ('', (#8910, #8960, #8970, #8980, #8990, #9000));
#9020 = FACE_OUTER_BOUND ('', #9010, .T.);
#9030 = CARTESIAN_POINT ('', (44.0010647205849, -10.001, 20.1920031386846));
#9040 = CARTESIAN_POINT ('', (44.0010647205849, -6.89900000000001, 20.1920031386846));
#9050 = CARTESIAN_POINT ('', (14.2036882691191, -10.001, 18.1083675991532));
#9060 = CARTESIAN_POINT ('', (14.2036882691191, -6.89900000000001, 18.1083675991532));
#9070 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9030, #9040), (#9050, #9060)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-5.22576239712038, 24.6443762107262), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#9080 = ADVANCED_FACE ('', (#9020), #9070, .T.);
#9090 = ORIENTED_EDGE ('', *, *, #3290, .F.);
#9100 = ORIENTED_EDGE ('', *, *, #1700, .F.);
#9110 = ORIENTED_EDGE ('', *, *, #3930, .F.);
#9120 = ORIENTED_EDGE ('', *, *, #2000, .F.);
#9130 = EDGE_LOOP ('', (#9090, #9100, #9110, #9120));
#9140 = FACE_OUTER_BOUND ('', #9130, .T.);
#9150 = CARTESIAN_POINT ('', (1.4210854715202E-14, -12.0012, 21.));
#9160 = CARTESIAN_POINT ('', (1.4210854715202E-14, 12.0012, 21.));
#9170 = CARTESIAN_POINT ('', (4.2632564145606E-14, -12.0012, 20.));
#9180 = CARTESIAN_POINT ('', (4.2632564145606E-14, 12.0012, 20.));
#9190 = CARTESIAN_POINT ('', (1.00000000000004, -12.0012, 20.));
#9200 = CARTESIAN_POINT ('', (1.00000000000004, 12.0012, 20.));
#9210 = CARTESIAN_POINT ('', (2.00000000000003, -12.0012, 20.));
#9220 = CARTESIAN_POINT ('', (2.00000000000003, 12.0012, 20.));
#9230 = CARTESIAN_POINT ('', (2.00000000000001, -12.0012, 21.));
#9240 = CARTESIAN_POINT ('', (2.00000000000001, 12.0012, 21.));
#9250 = CARTESIAN_POINT ('', (1.99999999999999, -12.0012, 22.));
#9260 = CARTESIAN_POINT ('', (1.99999999999999, 12.0012, 22.));
#9270 = CARTESIAN_POINT ('', (0.999999999999986, -12.0012, 22.));
#9280 = CARTESIAN_POINT ('', (0.999999999999986, 12.0012, 22.));
#9290 = CARTESIAN_POINT ('', (-2.8421709430404E-14, -12.0012, 22.));
#9300 = CARTESIAN_POINT ('', (-2.8421709430404E-14, 12.0012, 22.));
#9310 = CARTESIAN_POINT ('', (1.4210854715202E-14, -12.0012, 21.));
#9320 = CARTESIAN_POINT ('', (1.4210854715202E-14, 12.0012, 21.));
#9330 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#9150, #9160), (#9170, #9180), (#9190, #9200), (#9210, #9220), (#9230, #9240), (#9250, #9260), (#9270, #9280), (#9290, #9300), (#9310, #9320)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.249999999999999, 0.499999999999999, 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 ('')
);
#9340 = ADVANCED_FACE ('', (#9140), #9330, .T.);
#9350 = ORIENTED_EDGE ('', *, *, #8950, .F.);
#9360 = ORIENTED_EDGE ('', *, *, #5450, .T.);
#9370 = CARTESIAN_POINT ('', (41.1500000000001, -7.50000000000001, 23.0419286861685));
#9380 = CARTESIAN_POINT ('', (41.1500000000001, -10., 23.0419286861685));
#9390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9370, #9380), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9400 = EDGE_CURVE ('', #5410, #3760, #9390, .T.);
#9410 = ORIENTED_EDGE ('', *, *, #9400, .T.);
#9420 = ORIENTED_EDGE ('', *, *, #3800, .T.);
#9430 = EDGE_LOOP ('', (#9350, #9360, #9410, #9420));
#9440 = FACE_OUTER_BOUND ('', #9430, .T.);
#9450 = CARTESIAN_POINT ('', (41.1490000000001, -10.001, 23.0429286861685));
#9460 = CARTESIAN_POINT ('', (41.1490000000001, -7.49900000000001, 23.0429286861685));
#9470 = CARTESIAN_POINT ('', (44.001, -10.001, 20.1909286861685));
#9480 = CARTESIAN_POINT ('', (44.001, -7.49900000000001, 20.1909286861685));
#9490 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9450, #9460), (#9470, #9480)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141421356238425, 4.03192286632567), (-3.001, -0.499000000000001), .UNSPECIFIED.);
#9500 = ADVANCED_FACE ('', (#9440), #9490, .T.);
#9510 = ORIENTED_EDGE ('', *, *, #5710, .T.);
#9520 = ORIENTED_EDGE ('', *, *, #2340, .T.);
#9530 = ORIENTED_EDGE ('', *, *, #3850, .T.);
#9540 = ORIENTED_EDGE ('', *, *, #9400, .F.);
#9550 = EDGE_LOOP ('', (#9510, #9520, #9530, #9540));
#9560 = FACE_OUTER_BOUND ('', #9550, .T.);
#9570 = CARTESIAN_POINT ('', (32.5611855641921, -10.001, 28.0006830127019));
#9580 = CARTESIAN_POINT ('', (32.5611855641921, -7.49900000000001, 28.0006830127019));
#9590 = CARTESIAN_POINT ('', (41.151183012702, -10.001, 23.0412456734666));
#9600 = CARTESIAN_POINT ('', (41.151183012702, -7.49900000000001, 23.0412456734666));
#9610 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9570, #9580), (#9590, #9600)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00136602540379727, 9.91750865306689), (-3.001, -0.499000000000001), .UNSPECIFIED.);
#9620 = ADVANCED_FACE ('', (#9560), #9610, .T.);
#9630 = CLOSED_SHELL ('', (#360, #650, #1010, #1290, #1570, #1850, #2210, #2710, #3390, #4400, #4770, #4930, #5090, #5250, #5370, #5800, #6020, #6330, #7560, #7820, #8240, #8420, #8580, #8740, #8900, #9080, #9340, #9500, #9620));
#9640 = MANIFOLD_SOLID_BREP ('NOCUT', #9630);
#9650 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#9660 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#9670 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#9680 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #9650, 'DISTANCE_ACCURACY_VALUE', '');
#9690 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#9680))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#9650, #9660, #9670))
   REPRESENTATION_CONTEXT ('', '3D')
);
#9700 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#9710 = FILL_AREA_STYLE_COLOUR ('', #9700);
#9720 = FILL_AREA_STYLE ('', (#9710));
#9730 = SURFACE_STYLE_FILL_AREA (#9720);
#9740 = SURFACE_SIDE_STYLE ('', (#9730));
#9750 = SURFACE_STYLE_USAGE (.POSITIVE., #9740);
#9760 = PRESENTATION_STYLE_ASSIGNMENT ((#9750));
#9770 = STYLED_ITEM ('', (#9760), #9640);
#9780 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#9640), #9690);
#9790 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#9800 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #9790);
#9810 = MECHANICAL_CONTEXT ('', #9790, 'mechanical');
#9820 = PRODUCT ('NONE', '', '', (#9810));
#9830 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#9840 = PERSON ('', '', $, $, $, $);
#9850 = ORGANIZATION ($, '', '');
#9860 = PERSON_AND_ORGANIZATION (#9840, #9850);
#9870 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#9860, #9830, (#9820));
#9880 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#9820));
#9890 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #9820, .NOT_KNOWN.);
#9900 = APPROVAL_STATUS ('approved');
#9910 = APPROVAL (#9900, '');
#9920 = CALENDAR_DATE (2017, 9, 2);
#9930 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#9940 = LOCAL_TIME (14, 6, 4., #9930);
#9950 = DATE_AND_TIME (#9920, #9940);
#9960 = APPROVAL_DATE_TIME (#9950, #9910);
#9970 = APPROVAL_ROLE ('');
#9980 = PERSON ('', '', $, $, $, $);
#9990 = ORGANIZATION ($, '', '');
#10000 = PERSON_AND_ORGANIZATION (#9980, #9990);
#10010 = APPROVAL_PERSON_ORGANIZATION (#10000, #9910, #9970);
#10020 = CC_DESIGN_APPROVAL (#9910, (#9890));
#10030 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#10040 = PERSON ('', '', $, $, $, $);
#10050 = ORGANIZATION ($, '', '');
#10060 = PERSON_AND_ORGANIZATION (#10040, #10050);
#10070 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10060, #10030, (#9890));
#10080 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#10090 = PERSON ('', '', $, $, $, $);
#10100 = ORGANIZATION ($, '', '');
#10110 = PERSON_AND_ORGANIZATION (#10090, #10100);
#10120 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10110, #10080, (#9890));
#10130 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#10140 = SECURITY_CLASSIFICATION ('', '', #10130);
#10150 = APPROVAL_STATUS ('approved');
#10160 = APPROVAL (#10150, '');
#10170 = CALENDAR_DATE (2017, 9, 2);
#10180 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10190 = LOCAL_TIME (14, 6, 4., #10180);
#10200 = DATE_AND_TIME (#10170, #10190);
#10210 = APPROVAL_DATE_TIME (#10200, #10160);
#10220 = APPROVAL_ROLE ('');
#10230 = PERSON ('', '', $, $, $, $);
#10240 = ORGANIZATION ($, '', '');
#10250 = PERSON_AND_ORGANIZATION (#10230, #10240);
#10260 = APPROVAL_PERSON_ORGANIZATION (#10250, #10160, #10220);
#10270 = CC_DESIGN_APPROVAL (#10160, (#10140));
#10280 = DATE_TIME_ROLE ('classification_date');
#10290 = CALENDAR_DATE (2017, 9, 2);
#10300 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10310 = LOCAL_TIME (14, 6, 4., #10300);
#10320 = DATE_AND_TIME (#10290, #10310);
#10330 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#10320, #10280, (#10140));
#10340 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#10350 = PERSON ('', '', $, $, $, $);
#10360 = ORGANIZATION ($, '', '');
#10370 = PERSON_AND_ORGANIZATION (#10350, #10360);
#10380 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10370, #10340, (#10140));
#10390 = CC_DESIGN_SECURITY_CLASSIFICATION (#10140, (#9890));
#10400 = DESIGN_CONTEXT ('', #9790, 'design');
#10410 = PRODUCT_DEFINITION ('', '', #9890, #10400);
#10420 = APPROVAL_STATUS ('approved');
#10430 = APPROVAL (#10420, '');
#10440 = CALENDAR_DATE (2017, 9, 2);
#10450 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10460 = LOCAL_TIME (14, 6, 4., #10450);
#10470 = DATE_AND_TIME (#10440, #10460);
#10480 = APPROVAL_DATE_TIME (#10470, #10430);
#10490 = APPROVAL_ROLE ('');
#10500 = PERSON ('', '', $, $, $, $);
#10510 = ORGANIZATION ($, '', '');
#10520 = PERSON_AND_ORGANIZATION (#10500, #10510);
#10530 = APPROVAL_PERSON_ORGANIZATION (#10520, #10430, #10490);
#10540 = CC_DESIGN_APPROVAL (#10430, (#10410));
#10550 = DATE_TIME_ROLE ('creation_date');
#10560 = CALENDAR_DATE (2017, 9, 2);
#10570 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10580 = LOCAL_TIME (14, 6, 4., #10570);
#10590 = DATE_AND_TIME (#10560, #10580);
#10600 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#10590, #10550, (#10410));
#10610 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#10620 = PERSON ('', '', $, $, $, $);
#10630 = ORGANIZATION ($, '', '');
#10640 = PERSON_AND_ORGANIZATION (#10620, #10630);
#10650 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10640, #10610, (#10410));
#10660 = PRODUCT_DEFINITION_SHAPE ('', '', #10410);
#10670 = SHAPE_DEFINITION_REPRESENTATION (#10660, #9780);
#10680 = CARTESIAN_POINT ('', (49.8338103350815, -7.50000000000001, 13.2018472365448));
#10690 = VERTEX_POINT ('', #10680);
#10700 = CARTESIAN_POINT ('', (16.2159018413254, -7.5, 10.851054071368));
#10710 = VERTEX_POINT ('', #10700);
#10720 = CARTESIAN_POINT ('', (49.8338103350815, -7.50000000000001, 13.2018472365448));
#10730 = CARTESIAN_POINT ('', (16.2159018413254, -7.5, 10.851054071368));
#10740 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10720, #10730), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10750 = EDGE_CURVE ('', #10690, #10710, #10740, .T.);
#10760 = ORIENTED_EDGE ('', *, *, #10750, .T.);
#10770 = CARTESIAN_POINT ('', (15.8816945371647, -7.5, 15.6304411887258));
#10780 = VERTEX_POINT ('', #10770);
#10790 = CARTESIAN_POINT ('', (16.2159018413254, -7.5, 10.851054071368));
#10800 = CARTESIAN_POINT ('', (15.8816945371647, -7.5, 15.6304411887258));
#10810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10790, #10800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10820 = EDGE_CURVE ('', #10710, #10780, #10810, .T.);
#10830 = ORIENTED_EDGE ('', *, *, #10820, .T.);
#10840 = CARTESIAN_POINT ('', (18.7536042346655, -7.5, 13.1339281764826));
#10850 = VERTEX_POINT ('', #10840);
#10860 = CARTESIAN_POINT ('', (15.8816945371647, -7.5, 15.6304411887258));
#10870 = CARTESIAN_POINT ('', (18.7536042346654, -7.5, 13.1339281764826));
#10880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10860, #10870), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10890 = EDGE_CURVE ('', #10780, #10850, #10880, .T.);
#10900 = ORIENTED_EDGE ('', *, *, #10890, .T.);
#10910 = CARTESIAN_POINT ('', (18.0591524658084, -7.5, 18.075209266265));
#10920 = VERTEX_POINT ('', #10910);
#10930 = CARTESIAN_POINT ('', (18.7536042346654, -7.5, 13.1339281764826));
#10940 = CARTESIAN_POINT ('', (18.0591524658084, -7.5, 18.075209266265));
#10950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10930, #10940), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10960 = EDGE_CURVE ('', #10850, #10920, #10950, .T.);
#10970 = ORIENTED_EDGE ('', *, *, #10960, .T.);
#10980 = CARTESIAN_POINT ('', (17.4211608353141, -7.5, 17.9855453899822));
#10990 = VERTEX_POINT ('', #10980);
#11000 = CARTESIAN_POINT ('', (18.0591524658084, -7.5, 18.075209266265));
#11010 = CARTESIAN_POINT ('', (17.4211608353141, -7.5, 17.9855453899822));
#11020 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11000, #11010), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11030 = EDGE_CURVE ('', #10920, #10990, #11020, .T.);
#11040 = ORIENTED_EDGE ('', *, *, #11030, .T.);
#11050 = CARTESIAN_POINT ('', (17.6978331966702, -7.5, 18.3527020144054));
#11060 = VERTEX_POINT ('', #11050);
#11070 = CARTESIAN_POINT ('', (17.4211608353141, -7.5, 17.9855453899822));
#11080 = CARTESIAN_POINT ('', (17.6978331966702, -7.5, 18.3527020144054));
#11090 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11070, #11080), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11100 = EDGE_CURVE ('', #10990, #11060, #11090, .T.);
#11110 = ORIENTED_EDGE ('', *, *, #11100, .T.);
#11120 = CARTESIAN_POINT ('', (47.3222734272734, -7.50000000000001, 20.4242446753423));
#11130 = VERTEX_POINT ('', #11120);
#11140 = CARTESIAN_POINT ('', (17.6978331966702, -7.5, 18.3527020144054));
#11150 = CARTESIAN_POINT ('', (47.3222734272734, -7.50000000000001, 20.4242446753424));
#11160 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11140, #11150), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11170 = EDGE_CURVE ('', #11060, #11130, #11160, .T.);
#11180 = ORIENTED_EDGE ('', *, *, #11170, .T.);
#11190 = CARTESIAN_POINT ('', (47.6473515581868, -7.50000000000001, 20.099166544429));
#11200 = VERTEX_POINT ('', #11190);
#11210 = CARTESIAN_POINT ('', (47.6473515581868, -7.50000000000001, 20.099166544429));
#11220 = CARTESIAN_POINT ('', (47.3222734272734, -7.50000000000001, 20.4242446753424));
#11230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11210, #11220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11240 = EDGE_CURVE ('', #11200, #11130, #11230, .T.);
#11250 = ORIENTED_EDGE ('', *, *, #11240, .F.);
#11260 = CARTESIAN_POINT ('', (47.0030900186775, -7.50000000000001, 20.099166544429));
#11270 = VERTEX_POINT ('', #11260);
#11280 = CARTESIAN_POINT ('', (47.0030900186775, -7.50000000000001, 20.099166544429));
#11290 = CARTESIAN_POINT ('', (47.6473515581868, -7.50000000000001, 20.099166544429));
#11300 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11280, #11290), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11310 = EDGE_CURVE ('', #11270, #11200, #11300, .T.);
#11320 = ORIENTED_EDGE ('', *, *, #11310, .F.);
#11330 = CARTESIAN_POINT ('', (47.0030900186775, -7.50000000000001, 15.1093246564019));
#11340 = VERTEX_POINT ('', #11330);
#11350 = CARTESIAN_POINT ('', (47.0030900186775, -7.50000000000001, 15.1093246564019));
#11360 = CARTESIAN_POINT ('', (47.0030900186775, -7.50000000000001, 20.099166544429));
#11370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11350, #11360), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11380 = EDGE_CURVE ('', #11340, #11270, #11370, .T.);
#11390 = ORIENTED_EDGE ('', *, *, #11380, .F.);
#11400 = CARTESIAN_POINT ('', (49.4996030309208, -7.50000000000001, 17.9812343539026));
#11410 = VERTEX_POINT ('', #11400);
#11420 = CARTESIAN_POINT ('', (49.4996030309208, -7.50000000000001, 17.9812343539026));
#11430 = CARTESIAN_POINT ('', (47.0030900186775, -7.50000000000001, 15.1093246564019));
#11440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11420, #11430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11450 = EDGE_CURVE ('', #11410, #11340, #11440, .T.);
#11460 = ORIENTED_EDGE ('', *, *, #11450, .F.);
#11470 = CARTESIAN_POINT ('', (49.8338103350815, -7.50000000000001, 13.2018472365448));
#11480 = CARTESIAN_POINT ('', (49.4996030309208, -7.50000000000001, 17.9812343539026));
#11490 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11470, #11480), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11500 = EDGE_CURVE ('', #10690, #11410, #11490, .T.);
#11510 = ORIENTED_EDGE ('', *, *, #11500, .F.);
#11520 = EDGE_LOOP ('', (#10760, #10830, #10900, #10970, #11040, #11110, #11180, #11250, #11320, #11390, #11460, #11510));
#11530 = FACE_OUTER_BOUND ('', #11520, .T.);
#11540 = CARTESIAN_POINT ('', (49.8348776556055, -7.50000000000001, 13.2009194289682));
#11550 = CARTESIAN_POINT ('', (49.3199353664264, -7.50000000000001, 20.5649372479863));
#11560 = CARTESIAN_POINT ('', (16.2149740337489, -7.5, 10.8499867508439));
#11570 = CARTESIAN_POINT ('', (15.7000317445698, -7.5, 18.214004569862));
#11580 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11540, #11550), (#11560, #11570)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-34.351, -0.649000000000001), (0.0623540127046316, 7.44435401270464), .UNSPECIFIED.);
#11590 = ADVANCED_FACE ('', (#11530), #11580, .T.);
#11600 = CARTESIAN_POINT ('', (17.6978331966702, -10., 18.3527020144054));
#11610 = VERTEX_POINT ('', #11600);
#11620 = CARTESIAN_POINT ('', (47.3222734272734, -10., 20.4242446753423));
#11630 = VERTEX_POINT ('', #11620);
#11640 = CARTESIAN_POINT ('', (17.6978331966702, -10., 18.3527020144054));
#11650 = CARTESIAN_POINT ('', (47.3222734272734, -10., 20.4242446753424));
#11660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11640, #11650), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11670 = EDGE_CURVE ('', #11610, #11630, #11660, .T.);
#11680 = ORIENTED_EDGE ('', *, *, #11670, .F.);
#11690 = CARTESIAN_POINT ('', (17.4211608353141, -10., 17.9855453899822));
#11700 = VERTEX_POINT ('', #11690);
#11710 = CARTESIAN_POINT ('', (17.6978331966702, -10., 18.3527020144054));
#11720 = CARTESIAN_POINT ('', (17.4211608353141, -10., 17.9855453899822));
#11730 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11710, #11720), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11740 = EDGE_CURVE ('', #11610, #11700, #11730, .T.);
#11750 = ORIENTED_EDGE ('', *, *, #11740, .T.);
#11760 = CARTESIAN_POINT ('', (18.0591524658084, -10., 18.075209266265));
#11770 = VERTEX_POINT ('', #11760);
#11780 = CARTESIAN_POINT ('', (18.0591524658084, -10., 18.075209266265));
#11790 = CARTESIAN_POINT ('', (17.4211608353141, -10., 17.9855453899822));
#11800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11780, #11790), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11810 = EDGE_CURVE ('', #11770, #11700, #11800, .T.);
#11820 = ORIENTED_EDGE ('', *, *, #11810, .F.);
#11830 = CARTESIAN_POINT ('', (18.7536042346655, -10., 13.1339281764826));
#11840 = VERTEX_POINT ('', #11830);
#11850 = CARTESIAN_POINT ('', (18.7536042346654, -10., 13.1339281764826));
#11860 = CARTESIAN_POINT ('', (18.0591524658084, -10., 18.075209266265));
#11870 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11850, #11860), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11880 = EDGE_CURVE ('', #11840, #11770, #11870, .T.);
#11890 = ORIENTED_EDGE ('', *, *, #11880, .F.);
#11900 = CARTESIAN_POINT ('', (15.8816945371647, -10., 15.6304411887258));
#11910 = VERTEX_POINT ('', #11900);
#11920 = CARTESIAN_POINT ('', (15.8816945371647, -10., 15.6304411887258));
#11930 = CARTESIAN_POINT ('', (18.7536042346654, -10., 13.1339281764826));
#11940 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11920, #11930), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11950 = EDGE_CURVE ('', #11910, #11840, #11940, .T.);
#11960 = ORIENTED_EDGE ('', *, *, #11950, .F.);
#11970 = CARTESIAN_POINT ('', (16.2159018413254, -10., 10.851054071368));
#11980 = VERTEX_POINT ('', #11970);
#11990 = CARTESIAN_POINT ('', (16.2159018413254, -10., 10.851054071368));
#12000 = CARTESIAN_POINT ('', (15.8816945371647, -10., 15.6304411887258));
#12010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11990, #12000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12020 = EDGE_CURVE ('', #11980, #11910, #12010, .T.);
#12030 = ORIENTED_EDGE ('', *, *, #12020, .F.);
#12040 = CARTESIAN_POINT ('', (49.8338103350815, -10., 13.2018472365448));
#12050 = VERTEX_POINT ('', #12040);
#12060 = CARTESIAN_POINT ('', (49.8338103350815, -10., 13.2018472365448));
#12070 = CARTESIAN_POINT ('', (16.2159018413254, -10., 10.851054071368));
#12080 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12060, #12070), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12090 = EDGE_CURVE ('', #12050, #11980, #12080, .T.);
#12100 = ORIENTED_EDGE ('', *, *, #12090, .F.);
#12110 = CARTESIAN_POINT ('', (49.4996030309208, -10., 17.9812343539026));
#12120 = VERTEX_POINT ('', #12110);
#12130 = CARTESIAN_POINT ('', (49.8338103350815, -10., 13.2018472365448));
#12140 = CARTESIAN_POINT ('', (49.4996030309208, -10., 17.9812343539026));
#12150 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12130, #12140), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12160 = EDGE_CURVE ('', #12050, #12120, #12150, .T.);
#12170 = ORIENTED_EDGE ('', *, *, #12160, .T.);
#12180 = CARTESIAN_POINT ('', (47.0030900186775, -10., 15.1093246564019));
#12190 = VERTEX_POINT ('', #12180);
#12200 = CARTESIAN_POINT ('', (49.4996030309208, -10., 17.9812343539026));
#12210 = CARTESIAN_POINT ('', (47.0030900186775, -10., 15.1093246564019));
#12220 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12200, #12210), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12230 = EDGE_CURVE ('', #12120, #12190, #12220, .T.);
#12240 = ORIENTED_EDGE ('', *, *, #12230, .T.);
#12250 = CARTESIAN_POINT ('', (47.0030900186775, -10., 20.099166544429));
#12260 = VERTEX_POINT ('', #12250);
#12270 = CARTESIAN_POINT ('', (47.0030900186775, -10., 15.1093246564019));
#12280 = CARTESIAN_POINT ('', (47.0030900186775, -10., 20.099166544429));
#12290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12270, #12280), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12300 = EDGE_CURVE ('', #12190, #12260, #12290, .T.);
#12310 = ORIENTED_EDGE ('', *, *, #12300, .T.);
#12320 = CARTESIAN_POINT ('', (47.6473515581868, -10., 20.099166544429));
#12330 = VERTEX_POINT ('', #12320);
#12340 = CARTESIAN_POINT ('', (47.0030900186775, -10., 20.099166544429));
#12350 = CARTESIAN_POINT ('', (47.6473515581868, -10., 20.099166544429));
#12360 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12340, #12350), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12370 = EDGE_CURVE ('', #12260, #12330, #12360, .T.);
#12380 = ORIENTED_EDGE ('', *, *, #12370, .T.);
#12390 = CARTESIAN_POINT ('', (47.3222734272734, -10., 20.4242446753424));
#12400 = CARTESIAN_POINT ('', (47.6473515581868, -10., 20.099166544429));
#12410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12390, #12400), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12420 = EDGE_CURVE ('', #11630, #12330, #12410, .T.);
#12430 = ORIENTED_EDGE ('', *, *, #12420, .F.);
#12440 = EDGE_LOOP ('', (#11680, #11750, #11820, #11890, #11960, #12030, #12100, #12170, #12240, #12310, #12380, #12430));
#12450 = FACE_OUTER_BOUND ('', #12440, .T.);
#12460 = CARTESIAN_POINT ('', (16.2149740337489, -10., 10.8499867508439));
#12470 = CARTESIAN_POINT ('', (15.7000317445698, -10., 18.214004569862));
#12480 = CARTESIAN_POINT ('', (49.8348776556055, -10., 13.2009194289682));
#12490 = CARTESIAN_POINT ('', (49.3199353664264, -10., 20.5649372479863));
#12500 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12460, #12470), (#12480, #12490)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.649000000000001, 34.351), (0.0623540127046316, 7.44435401270464), .UNSPECIFIED.);
#12510 = ADVANCED_FACE ('', (#12450), #12500, .T.);
#12520 = ORIENTED_EDGE ('', *, *, #12090, .T.);
#12530 = CARTESIAN_POINT ('', (16.2159018413254, -10., 10.851054071368));
#12540 = CARTESIAN_POINT ('', (16.2159018413254, -7.5, 10.851054071368));
#12550 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12530, #12540), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12560 = EDGE_CURVE ('', #11980, #10710, #12550, .T.);
#12570 = ORIENTED_EDGE ('', *, *, #12560, .T.);
#12580 = ORIENTED_EDGE ('', *, *, #10750, .F.);
#12590 = CARTESIAN_POINT ('', (49.8338103350815, -10., 13.2018472365448));
#12600 = CARTESIAN_POINT ('', (49.8338103350815, -7.50000000000001, 13.2018472365448));
#12610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12590, #12600), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12620 = EDGE_CURVE ('', #12050, #10690, #12610, .T.);
#12630 = ORIENTED_EDGE ('', *, *, #12620, .F.);
#12640 = EDGE_LOOP ('', (#12520, #12570, #12580, #12630));
#12650 = FACE_OUTER_BOUND ('', #12640, .T.);
#12660 = CARTESIAN_POINT ('', (49.8348078991317, -10.001, 13.2019169930185));
#12670 = CARTESIAN_POINT ('', (49.8348078991317, -7.49900000000001, 13.2019169930185));
#12680 = CARTESIAN_POINT ('', (16.2149042772751, -10.001, 10.8509843148942));
#12690 = CARTESIAN_POINT ('', (16.2149042772751, -7.499, 10.8509843148942));
#12700 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12660, #12670), (#12680, #12690)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0979504719474988, 33.7999504719475), (-16.851, -14.349), .UNSPECIFIED.);
#12710 = ADVANCED_FACE ('', (#12650), #12700, .T.);
#12720 = ORIENTED_EDGE ('', *, *, #11170, .F.);
#12730 = CARTESIAN_POINT ('', (17.6978331966702, -7.5, 18.3527020144054));
#12740 = CARTESIAN_POINT ('', (17.6978331966702, -10., 18.3527020144054));
#12750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12730, #12740), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12760 = EDGE_CURVE ('', #11060, #11610, #12750, .T.);
#12770 = ORIENTED_EDGE ('', *, *, #12760, .T.);
#12780 = ORIENTED_EDGE ('', *, *, #11670, .T.);
#12790 = CARTESIAN_POINT ('', (47.3222734272734, -7.50000000000001, 20.4242446753424));
#12800 = CARTESIAN_POINT ('', (47.3222734272734, -10., 20.4242446753424));
#12810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12790, #12800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12820 = EDGE_CURVE ('', #11130, #11630, #12810, .T.);
#12830 = ORIENTED_EDGE ('', *, *, #12820, .F.);
#12840 = EDGE_LOOP ('', (#12720, #12770, #12780, #12830));
#12850 = FACE_OUTER_BOUND ('', #12840, .T.);
#12860 = CARTESIAN_POINT ('', (17.69683563262, -10.001, 18.3526322579316));
#12870 = CARTESIAN_POINT ('', (17.69683563262, -7.49900000000001, 18.3526322579316));
#12880 = CARTESIAN_POINT ('', (47.3232709913237, -10.001, 20.4243144318161));
#12890 = CARTESIAN_POINT ('', (47.3232709913237, -7.49900000000001, 20.4243144318161));
#12900 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12860, #12870), (#12880, #12890)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-32.0257697454791, -2.326989651121), (-16.851, -14.349), .UNSPECIFIED.);
#12910 = ADVANCED_FACE ('', (#12850), #12900, .T.);
#12920 = ORIENTED_EDGE ('', *, *, #11240, .T.);
#12930 = ORIENTED_EDGE ('', *, *, #12820, .T.);
#12940 = ORIENTED_EDGE ('', *, *, #12420, .T.);
#12950 = CARTESIAN_POINT ('', (47.6473515581868, -10., 20.099166544429));
#12960 = CARTESIAN_POINT ('', (47.6473515581868, -7.50000000000001, 20.099166544429));
#12970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12950, #12960), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12980 = EDGE_CURVE ('', #12330, #11200, #12970, .T.);
#12990 = ORIENTED_EDGE ('', *, *, #12980, .T.);
#13000 = EDGE_LOOP ('', (#12920, #12930, #12940, #12990));
#13010 = FACE_OUTER_BOUND ('', #13000, .T.);
#13020 = CARTESIAN_POINT ('', (47.3212758632232, -10.001, 20.4252422393926));
#13030 = CARTESIAN_POINT ('', (47.3212758632232, -7.49900000000001, 20.4252422393926));
#13040 = CARTESIAN_POINT ('', (47.648349122237, -10.001, 20.0981689803788));
#13050 = CARTESIAN_POINT ('', (47.648349122237, -7.49900000000001, 20.0981689803788));
#13060 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13020, #13030), (#13040, #13050)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141076860921174, 0.461140670177734), (2.89781440006741, 5.39981440006741), .UNSPECIFIED.);
#13070 = ADVANCED_FACE ('', (#13010), #13060, .T.);
#13080 = ORIENTED_EDGE ('', *, *, #12980, .F.);
#13090 = ORIENTED_EDGE ('', *, *, #12370, .F.);
#13100 = CARTESIAN_POINT ('', (50.0030900186775, -10.25, 20.099166544429));
#13110 = VERTEX_POINT ('', #13100);
#13120 = CARTESIAN_POINT ('', (50.0030900186775, -10.25, 20.099166544429));
#13130 = CARTESIAN_POINT ('', (47.0030900186775, -10., 20.099166544429));
#13140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13120, #13130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13150 = EDGE_CURVE ('', #13110, #12260, #13140, .T.);
#13160 = ORIENTED_EDGE ('', *, *, #13150, .F.);
#13170 = CARTESIAN_POINT ('', (50.0030900186775, -7.25000000000001, 20.099166544429));
#13180 = VERTEX_POINT ('', #13170);
#13190 = CARTESIAN_POINT ('', (50.0030900186775, -10.25, 20.099166544429));
#13200 = CARTESIAN_POINT ('', (50.0030900186775, -7.25000000000001, 20.099166544429));
#13210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13190, #13200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13220 = EDGE_CURVE ('', #13110, #13180, #13210, .T.);
#13230 = ORIENTED_EDGE ('', *, *, #13220, .T.);
#13240 = CARTESIAN_POINT ('', (50.0030900186775, -7.25000000000001, 20.099166544429));
#13250 = CARTESIAN_POINT ('', (47.0030900186775, -7.50000000000001, 20.099166544429));
#13260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13240, #13250), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13270 = EDGE_CURVE ('', #13180, #11270, #13260, .T.);
#13280 = ORIENTED_EDGE ('', *, *, #13270, .T.);
#13290 = ORIENTED_EDGE ('', *, *, #11310, .T.);
#13300 = EDGE_LOOP ('', (#13080, #13090, #13160, #13230, #13280, #13290));
#13310 = FACE_OUTER_BOUND ('', #13300, .T.);
#13320 = CARTESIAN_POINT ('', (47.0020226981535, -10.251, 20.099166544429));
#13330 = CARTESIAN_POINT ('', (47.0020226981535, -7.24900000000001, 20.099166544429));
#13340 = CARTESIAN_POINT ('', (50.0041573392015, -10.251, 20.099166544429));
#13350 = CARTESIAN_POINT ('', (50.0041573392015, -7.24900000000001, 20.099166544429));
#13360 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13320, #13330), (#13340, #13350)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052401171, 3.001067320524), (2.64781440006741, 5.64981440006741), .UNSPECIFIED.);
#13370 = ADVANCED_FACE ('', (#13310), #13360, .T.);
#13380 = CARTESIAN_POINT ('', (49.4996030309208, -10., 17.9812343539026));
#13390 = CARTESIAN_POINT ('', (49.4996030309208, -7.50000000000001, 17.9812343539026));
#13400 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13380, #13390), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13410 = EDGE_CURVE ('', #12120, #11410, #13400, .T.);
#13420 = ORIENTED_EDGE ('', *, *, #13410, .T.);
#13430 = ORIENTED_EDGE ('', *, *, #11450, .T.);
#13440 = CARTESIAN_POINT ('', (50.0030900186775, -7.25000000000001, 18.5604298780648));
#13450 = VERTEX_POINT ('', #13440);
#13460 = CARTESIAN_POINT ('', (47.0030900186775, -7.50000000000001, 15.1093246564019));
#13470 = CARTESIAN_POINT ('', (50.0030900186775, -7.25000000000001, 18.5604298780648));
#13480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13460, #13470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13490 = EDGE_CURVE ('', #11340, #13450, #13480, .T.);
#13500 = ORIENTED_EDGE ('', *, *, #13490, .T.);
#13510 = CARTESIAN_POINT ('', (50.0030900186775, -10.25, 18.5604298780648));
#13520 = VERTEX_POINT ('', #13510);
#13530 = CARTESIAN_POINT ('', (50.0030900186775, -10.25, 18.5604298780648));
#13540 = CARTESIAN_POINT ('', (50.0030900186775, -7.25000000000001, 18.5604298780648));
#13550 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13530, #13540), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13560 = EDGE_CURVE ('', #13520, #13450, #13550, .T.);
#13570 = ORIENTED_EDGE ('', *, *, #13560, .F.);
#13580 = CARTESIAN_POINT ('', (47.0030900186775, -10., 15.1093246564019));
#13590 = CARTESIAN_POINT ('', (50.0030900186775, -10.25, 18.5604298780648));
#13600 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13580, #13590), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13610 = EDGE_CURVE ('', #12190, #13520, #13600, .T.);
#13620 = ORIENTED_EDGE ('', *, *, #13610, .F.);
#13630 = ORIENTED_EDGE ('', *, *, #12230, .F.);
#13640 = EDGE_LOOP ('', (#13420, #13430, #13500, #13570, #13620, #13630));
#13650 = FACE_OUTER_BOUND ('', #13640, .T.);
#13660 = CARTESIAN_POINT ('', (50.004017826254, -10.251, 18.5614971985888));
#13670 = CARTESIAN_POINT ('', (50.004017826254, -7.24900000000001, 18.5614971985888));
#13680 = CARTESIAN_POINT ('', (47.002162211101, -10.251, 15.1082573358779));
#13690 = CARTESIAN_POINT ('', (47.002162211101, -7.24900000000001, 15.1082573358779));
#13700 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13660, #13670), (#13680, #13690)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.80673187847533, 0.768855808766778), (32.249, 35.251), .UNSPECIFIED.);
#13710 = ADVANCED_FACE ('', (#13650), #13700, .T.);
#13720 = ORIENTED_EDGE ('', *, *, #12160, .F.);
#13730 = ORIENTED_EDGE ('', *, *, #12620, .T.);
#13740 = ORIENTED_EDGE ('', *, *, #11500, .T.);
#13750 = ORIENTED_EDGE ('', *, *, #13410, .F.);
#13760 = EDGE_LOOP ('', (#13720, #13730, #13740, #13750));
#13770 = FACE_OUTER_BOUND ('', #13760, .T.);
#13780 = CARTESIAN_POINT ('', (49.8338800915552, -10.001, 13.2008496724945));
#13790 = CARTESIAN_POINT ('', (49.499533274447, -10.001, 17.9822319179529));
#13800 = CARTESIAN_POINT ('', (49.8338800915552, -7.49900000000001, 13.2008496724945));
#13810 = CARTESIAN_POINT ('', (49.499533274447, -7.49900000000001, 17.9822319179529));
#13820 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13780, #13790), (#13800, #13810)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-35.001, -32.499), (0.207942106411113, 5.001), .UNSPECIFIED.);
#13830 = ADVANCED_FACE ('', (#13770), #13820, .T.);
#13840 = ORIENTED_EDGE ('', *, *, #13560, .T.);
#13850 = CARTESIAN_POINT ('', (50.0030900186775, -7.25000000000001, 18.5604298780648));
#13860 = CARTESIAN_POINT ('', (50.0030900186775, -7.25000000000001, 20.099166544429));
#13870 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13850, #13860), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13880 = EDGE_CURVE ('', #13450, #13180, #13870, .T.);
#13890 = ORIENTED_EDGE ('', *, *, #13880, .T.);
#13900 = ORIENTED_EDGE ('', *, *, #13220, .F.);
#13910 = CARTESIAN_POINT ('', (50.0030900186775, -10.25, 18.5604298780648));
#13920 = CARTESIAN_POINT ('', (50.0030900186775, -10.25, 20.099166544429));
#13930 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13910, #13920), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13940 = EDGE_CURVE ('', #13520, #13110, #13930, .T.);
#13950 = ORIENTED_EDGE ('', *, *, #13940, .F.);
#13960 = EDGE_LOOP ('', (#13840, #13890, #13900, #13950));
#13970 = FACE_OUTER_BOUND ('', #13960, .T.);
#13980 = CARTESIAN_POINT ('', (50.0030900186775, -10.251, 20.100233864953));
#13990 = CARTESIAN_POINT ('', (50.0030900186775, -7.24900000000001, 20.100233864953));
#14000 = CARTESIAN_POINT ('', (50.0030900186775, -10.251, 18.5593625575408));
#14010 = CARTESIAN_POINT ('', (50.0030900186775, -7.24900000000001, 18.5593625575408));
#14020 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13980, #13990), (#14000, #14010)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.53980398688823, 0.00106732052400549), (32.249, 35.251), .UNSPECIFIED.);
#14030 = ADVANCED_FACE ('', (#13970), #14020, .T.);
#14040 = ORIENTED_EDGE ('', *, *, #13490, .F.);
#14050 = ORIENTED_EDGE ('', *, *, #11380, .T.);
#14060 = ORIENTED_EDGE ('', *, *, #13270, .F.);
#14070 = ORIENTED_EDGE ('', *, *, #13880, .F.);
#14080 = EDGE_LOOP ('', (#14040, #14050, #14060, #14070));
#14090 = FACE_OUTER_BOUND ('', #14080, .T.);
#14100 = CARTESIAN_POINT ('', (50.3346778749467, -7.22236767864424, 15.3398365358907));
#14110 = CARTESIAN_POINT ('', (49.9894961803967, -7.25113281985675, 20.3104448046039));
#14120 = CARTESIAN_POINT ('', (47.0021866352217, -7.50007528195466, 15.106806047667));
#14130 = CARTESIAN_POINT ('', (46.6570049406716, -7.52884042316717, 20.0774143163803));
#14140 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14100, #14110), (#14120, #14130)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.492130897891766, 2.86002103545232), (2.27575753352009, 7.25841991387482), .UNSPECIFIED.);
#14150 = ADVANCED_FACE ('', (#14090), #14140, .T.);
#14160 = ORIENTED_EDGE ('', *, *, #12300, .F.);
#14170 = ORIENTED_EDGE ('', *, *, #13610, .T.);
#14180 = ORIENTED_EDGE ('', *, *, #13940, .T.);
#14190 = ORIENTED_EDGE ('', *, *, #13150, .T.);
#14200 = EDGE_LOOP ('', (#14160, #14170, #14180, #14190));
#14210 = FACE_OUTER_BOUND ('', #14200, .T.);
#14220 = CARTESIAN_POINT ('', (47.0021866352217, -9.99992471804535, 15.106806047667));
#14230 = CARTESIAN_POINT ('', (46.6570049406716, -9.97115957683285, 20.0774143163803));
#14240 = CARTESIAN_POINT ('', (50.3346778749467, -10.2776323213558, 15.3398365358907));
#14250 = CARTESIAN_POINT ('', (49.9894961803967, -10.2488671801433, 20.3104448046039));
#14260 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14220, #14230), (#14240, #14250)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.492130897891766, 2.86002103545232), (2.27575753352009, 7.25841991387482), .UNSPECIFIED.);
#14270 = ADVANCED_FACE ('', (#14210), #14260, .T.);
#14280 = ORIENTED_EDGE ('', *, *, #11100, .F.);
#14290 = CARTESIAN_POINT ('', (17.4211608353141, -10., 17.9855453899822));
#14300 = CARTESIAN_POINT ('', (17.4211608353141, -7.5, 17.9855453899822));
#14310 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14290, #14300), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14320 = EDGE_CURVE ('', #11700, #10990, #14310, .T.);
#14330 = ORIENTED_EDGE ('', *, *, #14320, .F.);
#14340 = ORIENTED_EDGE ('', *, *, #11740, .F.);
#14350 = ORIENTED_EDGE ('', *, *, #12760, .F.);
#14360 = EDGE_LOOP ('', (#14280, #14330, #14340, #14350));
#14370 = FACE_OUTER_BOUND ('', #14360, .T.);
#14380 = CARTESIAN_POINT ('', (17.6986822184134, -7.499, 18.3538287043132));
#14390 = CARTESIAN_POINT ('', (17.6986822184134, -10.001, 18.3538287043132));
#14400 = CARTESIAN_POINT ('', (17.4203118135708, -7.499, 17.9844187000744));
#14410 = CARTESIAN_POINT ('', (17.4203118135708, -10.001, 17.9844187000744));
#14420 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14380, #14390), (#14400, #14410)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141076860921174, 0.461140670177734), (-5.39981440006741, -2.89781440006741), .UNSPECIFIED.);
#14430 = ADVANCED_FACE ('', (#14370), #14420, .T.);
#14440 = ORIENTED_EDGE ('', *, *, #14320, .T.);
#14450 = ORIENTED_EDGE ('', *, *, #11030, .F.);
#14460 = CARTESIAN_POINT ('', (15.0883482595836, -7.25, 17.6576899633849));
#14470 = VERTEX_POINT ('', #14460);
#14480 = CARTESIAN_POINT ('', (15.0883482595836, -7.25, 17.6576899633849));
#14490 = CARTESIAN_POINT ('', (18.0591524658084, -7.5, 18.075209266265));
#14500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14480, #14490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14510 = EDGE_CURVE ('', #14470, #10920, #14500, .T.);
#14520 = ORIENTED_EDGE ('', *, *, #14510, .F.);
#14530 = CARTESIAN_POINT ('', (15.0883482595836, -10.25, 17.6576899633849));
#14540 = VERTEX_POINT ('', #14530);
#14550 = CARTESIAN_POINT ('', (15.0883482595836, -10.25, 17.6576899633849));
#14560 = CARTESIAN_POINT ('', (15.0883482595836, -7.25, 17.6576899633849));
#14570 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14550, #14560), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14580 = EDGE_CURVE ('', #14540, #14470, #14570, .T.);
#14590 = ORIENTED_EDGE ('', *, *, #14580, .F.);
#14600 = CARTESIAN_POINT ('', (15.0883482595836, -10.25, 17.6576899633849));
#14610 = CARTESIAN_POINT ('', (18.0591524658084, -10., 18.075209266265));
#14620 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14600, #14610), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14630 = EDGE_CURVE ('', #14540, #11770, #14620, .T.);
#14640 = ORIENTED_EDGE ('', *, *, #14630, .T.);
#14650 = ORIENTED_EDGE ('', *, *, #11810, .T.);
#14660 = EDGE_LOOP ('', (#14440, #14450, #14520, #14590, #14640, #14650));
#14670 = FACE_OUTER_BOUND ('', #14660, .T.);
#14680 = CARTESIAN_POINT ('', (18.0602093992424, -7.249, 18.0753578085721));
#14690 = CARTESIAN_POINT ('', (18.0602093992424, -10.251, 18.0753578085721));
#14700 = CARTESIAN_POINT ('', (15.0872913261496, -7.249, 17.6575414210778));
#14710 = CARTESIAN_POINT ('', (15.0872913261496, -10.251, 17.6575414210778));
#14720 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14680, #14690), (#14700, #14710)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052401526, 3.001067320524), (-5.64981440006741, -2.64781440006741), .UNSPECIFIED.);
#14730 = ADVANCED_FACE ('', (#14670), #14720, .T.);
#14740 = CARTESIAN_POINT ('', (15.8816945371647, -10., 15.6304411887258));
#14750 = CARTESIAN_POINT ('', (15.8816945371647, -7.5, 15.6304411887258));
#14760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14740, #14750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14770 = EDGE_CURVE ('', #11910, #10780, #14760, .T.);
#14780 = ORIENTED_EDGE ('', *, *, #14770, .F.);
#14790 = ORIENTED_EDGE ('', *, *, #11950, .T.);
#14800 = CARTESIAN_POINT ('', (15.3024990130025, -10.25, 16.1339281764825));
#14810 = VERTEX_POINT ('', #14800);
#14820 = CARTESIAN_POINT ('', (18.7536042346654, -10., 13.1339281764826));
#14830 = CARTESIAN_POINT ('', (15.3024990130025, -10.25, 16.1339281764825));
#14840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14820, #14830), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14850 = EDGE_CURVE ('', #11840, #14810, #14840, .T.);
#14860 = ORIENTED_EDGE ('', *, *, #14850, .T.);
#14870 = CARTESIAN_POINT ('', (15.3024990130025, -7.25, 16.1339281764825));
#14880 = VERTEX_POINT ('', #14870);
#14890 = CARTESIAN_POINT ('', (15.3024990130025, -10.25, 16.1339281764825));
#14900 = CARTESIAN_POINT ('', (15.3024990130025, -7.25, 16.1339281764825));
#14910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14890, #14900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14920 = EDGE_CURVE ('', #14810, #14880, #14910, .T.);
#14930 = ORIENTED_EDGE ('', *, *, #14920, .T.);
#14940 = CARTESIAN_POINT ('', (18.7536042346654, -7.5, 13.1339281764826));
#14950 = CARTESIAN_POINT ('', (15.3024990130025, -7.25, 16.1339281764825));
#14960 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14940, #14950), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14970 = EDGE_CURVE ('', #10850, #14880, #14960, .T.);
#14980 = ORIENTED_EDGE ('', *, *, #14970, .F.);
#14990 = ORIENTED_EDGE ('', *, *, #10890, .F.);
#15000 = EDGE_LOOP ('', (#14780, #14790, #14860, #14930, #14980, #14990));
#15010 = FACE_OUTER_BOUND ('', #15000, .T.);
#15020 = CARTESIAN_POINT ('', (15.3014316924785, -7.24900000000001, 16.134855984059));
#15030 = CARTESIAN_POINT ('', (15.3014316924785, -10.251, 16.134855984059));
#15040 = CARTESIAN_POINT ('', (18.7546715551895, -7.24900000000001, 13.1330003689061));
#15050 = CARTESIAN_POINT ('', (18.7546715551895, -10.251, 13.1330003689061));
#15060 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15020, #15030), (#15040, #15050)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.80673187847534, 0.76885580876678), (-35.251, -32.249), .UNSPECIFIED.);
#15070 = ADVANCED_FACE ('', (#15010), #15060, .T.);
#15080 = ORIENTED_EDGE ('', *, *, #12020, .T.);
#15090 = ORIENTED_EDGE ('', *, *, #14770, .T.);
#15100 = ORIENTED_EDGE ('', *, *, #10820, .F.);
#15110 = ORIENTED_EDGE ('', *, *, #12560, .F.);
#15120 = EDGE_LOOP ('', (#15080, #15090, #15100, #15110));
#15130 = FACE_OUTER_BOUND ('', #15120, .T.);
#15140 = CARTESIAN_POINT ('', (15.8816247806909, -10.001, 15.631438752776));
#15150 = CARTESIAN_POINT ('', (16.2159715977991, -10.001, 10.8500565073177));
#15160 = CARTESIAN_POINT ('', (15.8816247806909, -7.49900000000001, 15.631438752776));
#15170 = CARTESIAN_POINT ('', (16.2159715977991, -7.49900000000001, 10.8500565073177));
#15180 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15140, #15150), (#15160, #15170)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-35.001, -32.499), (-5.001, -0.207942106411113), .UNSPECIFIED.);
#15190 = ADVANCED_FACE ('', (#15130), #15180, .T.);
#15200 = ORIENTED_EDGE ('', *, *, #14920, .F.);
#15210 = CARTESIAN_POINT ('', (15.3024990130025, -10.25, 16.1339281764825));
#15220 = CARTESIAN_POINT ('', (15.0883482595836, -10.25, 17.6576899633849));
#15230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15210, #15220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15240 = EDGE_CURVE ('', #14810, #14540, #15230, .T.);
#15250 = ORIENTED_EDGE ('', *, *, #15240, .T.);
#15260 = ORIENTED_EDGE ('', *, *, #14580, .T.);
#15270 = CARTESIAN_POINT ('', (15.3024990130025, -7.25, 16.1339281764825));
#15280 = CARTESIAN_POINT ('', (15.0883482595836, -7.25, 17.6576899633849));
#15290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15270, #15280), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15300 = EDGE_CURVE ('', #14880, #14470, #15290, .T.);
#15310 = ORIENTED_EDGE ('', *, *, #15300, .F.);
#15320 = EDGE_LOOP ('', (#15200, #15250, #15260, #15310));
#15330 = FACE_OUTER_BOUND ('', #15320, .T.);
#15340 = CARTESIAN_POINT ('', (15.0881997172766, -7.24900000000001, 17.6587468968189));
#15350 = CARTESIAN_POINT ('', (15.0881997172766, -10.251, 17.6587468968189));
#15360 = CARTESIAN_POINT ('', (15.3026475553095, -7.24900000000001, 16.1328712430485));
#15370 = CARTESIAN_POINT ('', (15.3026475553095, -10.251, 16.1328712430485));
#15380 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15340, #15350), (#15360, #15370)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.53980398688823, 0.0010673205240046), (-35.251, -32.249), .UNSPECIFIED.);
#15390 = ADVANCED_FACE ('', (#15330), #15380, .T.);
#15400 = ORIENTED_EDGE ('', *, *, #14970, .T.);
#15410 = ORIENTED_EDGE ('', *, *, #15300, .T.);
#15420 = ORIENTED_EDGE ('', *, *, #14510, .T.);
#15430 = ORIENTED_EDGE ('', *, *, #10960, .F.);
#15440 = EDGE_LOOP ('', (#15400, #15410, #15420, #15430));
#15450 = FACE_OUTER_BOUND ('', #15440, .T.);
#15460 = CARTESIAN_POINT ('', (15.0724055529308, -7.25113281985674, 17.8688039746828));
#15470 = CARTESIAN_POINT ('', (15.4223581093183, -7.22236767864424, 12.8985293171281));
#15480 = CARTESIAN_POINT ('', (18.4048967926559, -7.52884042316716, 18.1018344629065));
#15490 = CARTESIAN_POINT ('', (18.7548493490433, -7.50007528195466, 13.1315598053517));
#15500 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15460, #15470), (#15480, #15490)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.492130897891762, 2.86002103545232), (-7.25841991387482, -2.27575753352009), .UNSPECIFIED.);
#15510 = ADVANCED_FACE ('', (#15450), #15500, .T.);
#15520 = ORIENTED_EDGE ('', *, *, #11880, .T.);
#15530 = ORIENTED_EDGE ('', *, *, #14630, .F.);
#15540 = ORIENTED_EDGE ('', *, *, #15240, .F.);
#15550 = ORIENTED_EDGE ('', *, *, #14850, .F.);
#15560 = EDGE_LOOP ('', (#15520, #15530, #15540, #15550));
#15570 = FACE_OUTER_BOUND ('', #15560, .T.);
#15580 = CARTESIAN_POINT ('', (18.4048967926559, -9.97115957683284, 18.1018344629065));
#15590 = CARTESIAN_POINT ('', (18.7548493490433, -9.99992471804535, 13.1315598053517));
#15600 = CARTESIAN_POINT ('', (15.0724055529308, -10.2488671801433, 17.8688039746828));
#15610 = CARTESIAN_POINT ('', (15.4223581093183, -10.2776323213558, 12.8985293171281));
#15620 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15580, #15590), (#15600, #15610)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.492130897891762, 2.86002103545232), (-7.25841991387482, -2.27575753352009), .UNSPECIFIED.);
#15630 = ADVANCED_FACE ('', (#15570), #15620, .T.);
#15640 = CLOSED_SHELL ('', (#11590, #12510, #12710, #12910, #13070, #13370, #13710, #13830, #14030, #14150, #14270, #14430, #14730, #15070, #15190, #15390, #15510, #15630));
#15650 = MANIFOLD_SOLID_BREP ('CUT', #15640);
#15660 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#15670 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#15680 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#15690 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #15660, 'DISTANCE_ACCURACY_VALUE', '');
#15700 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#15690))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#15660, #15670, #15680))
   REPRESENTATION_CONTEXT ('', '3D')
);
#15710 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#15720 = FILL_AREA_STYLE_COLOUR ('', #15710);
#15730 = FILL_AREA_STYLE ('', (#15720));
#15740 = SURFACE_STYLE_FILL_AREA (#15730);
#15750 = SURFACE_SIDE_STYLE ('', (#15740));
#15760 = SURFACE_STYLE_USAGE (.POSITIVE., #15750);
#15770 = PRESENTATION_STYLE_ASSIGNMENT ((#15760));
#15780 = STYLED_ITEM ('', (#15770), #15650);
#15790 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#15650), #15700);
#15800 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#15810 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #15800);
#15820 = MECHANICAL_CONTEXT ('', #15800, 'mechanical');
#15830 = PRODUCT ('NONE', '', '', (#15820));
#15840 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#15850 = PERSON ('', '', $, $, $, $);
#15860 = ORGANIZATION ($, '', '');
#15870 = PERSON_AND_ORGANIZATION (#15850, #15860);
#15880 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#15870, #15840, (#15830));
#15890 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#15830));
#15900 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #15830, .NOT_KNOWN.);
#15910 = APPROVAL_STATUS ('approved');
#15920 = APPROVAL (#15910, '');
#15930 = CALENDAR_DATE (2017, 9, 2);
#15940 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#15950 = LOCAL_TIME (14, 6, 4., #15940);
#15960 = DATE_AND_TIME (#15930, #15950);
#15970 = APPROVAL_DATE_TIME (#15960, #15920);
#15980 = APPROVAL_ROLE ('');
#15990 = PERSON ('', '', $, $, $, $);
#16000 = ORGANIZATION ($, '', '');
#16010 = PERSON_AND_ORGANIZATION (#15990, #16000);
#16020 = APPROVAL_PERSON_ORGANIZATION (#16010, #15920, #15980);
#16030 = CC_DESIGN_APPROVAL (#15920, (#15900));
#16040 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#16050 = PERSON ('', '', $, $, $, $);
#16060 = ORGANIZATION ($, '', '');
#16070 = PERSON_AND_ORGANIZATION (#16050, #16060);
#16080 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16070, #16040, (#15900));
#16090 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#16100 = PERSON ('', '', $, $, $, $);
#16110 = ORGANIZATION ($, '', '');
#16120 = PERSON_AND_ORGANIZATION (#16100, #16110);
#16130 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16120, #16090, (#15900));
#16140 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#16150 = SECURITY_CLASSIFICATION ('', '', #16140);
#16160 = APPROVAL_STATUS ('approved');
#16170 = APPROVAL (#16160, '');
#16180 = CALENDAR_DATE (2017, 9, 2);
#16190 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16200 = LOCAL_TIME (14, 6, 4., #16190);
#16210 = DATE_AND_TIME (#16180, #16200);
#16220 = APPROVAL_DATE_TIME (#16210, #16170);
#16230 = APPROVAL_ROLE ('');
#16240 = PERSON ('', '', $, $, $, $);
#16250 = ORGANIZATION ($, '', '');
#16260 = PERSON_AND_ORGANIZATION (#16240, #16250);
#16270 = APPROVAL_PERSON_ORGANIZATION (#16260, #16170, #16230);
#16280 = CC_DESIGN_APPROVAL (#16170, (#16150));
#16290 = DATE_TIME_ROLE ('classification_date');
#16300 = CALENDAR_DATE (2017, 9, 2);
#16310 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16320 = LOCAL_TIME (14, 6, 4., #16310);
#16330 = DATE_AND_TIME (#16300, #16320);
#16340 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#16330, #16290, (#16150));
#16350 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#16360 = PERSON ('', '', $, $, $, $);
#16370 = ORGANIZATION ($, '', '');
#16380 = PERSON_AND_ORGANIZATION (#16360, #16370);
#16390 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16380, #16350, (#16150));
#16400 = CC_DESIGN_SECURITY_CLASSIFICATION (#16150, (#15900));
#16410 = DESIGN_CONTEXT ('', #15800, 'design');
#16420 = PRODUCT_DEFINITION ('', '', #15900, #16410);
#16430 = APPROVAL_STATUS ('approved');
#16440 = APPROVAL (#16430, '');
#16450 = CALENDAR_DATE (2017, 9, 2);
#16460 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16470 = LOCAL_TIME (14, 6, 4., #16460);
#16480 = DATE_AND_TIME (#16450, #16470);
#16490 = APPROVAL_DATE_TIME (#16480, #16440);
#16500 = APPROVAL_ROLE ('');
#16510 = PERSON ('', '', $, $, $, $);
#16520 = ORGANIZATION ($, '', '');
#16530 = PERSON_AND_ORGANIZATION (#16510, #16520);
#16540 = APPROVAL_PERSON_ORGANIZATION (#16530, #16440, #16500);
#16550 = CC_DESIGN_APPROVAL (#16440, (#16420));
#16560 = DATE_TIME_ROLE ('creation_date');
#16570 = CALENDAR_DATE (2017, 9, 2);
#16580 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16590 = LOCAL_TIME (14, 6, 4., #16580);
#16600 = DATE_AND_TIME (#16570, #16590);
#16610 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#16600, #16560, (#16420));
#16620 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#16630 = PERSON ('', '', $, $, $, $);
#16640 = ORGANIZATION ($, '', '');
#16650 = PERSON_AND_ORGANIZATION (#16630, #16640);
#16660 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16650, #16620, (#16420));
#16670 = PRODUCT_DEFINITION_SHAPE ('', '', #16420);
#16680 = SHAPE_DEFINITION_REPRESENTATION (#16670, #15790);
ENDSEC;
END-ISO-10303-21;