ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('SAN01-0317-2525R.stp', '2017-08-02T08:32:07', ('TDM Systems GmbH'), ('TDM Systems GmbH'), 'HarmonyWare STEP v2.0.2.9', 'TDM', '');
FILE_SCHEMA (('CONFIG_CONTROL_DESIGN'));
ENDSEC;

DATA;
#10 = CARTESIAN_POINT ('', (34.2, 12.5, 20.));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (34.2, 10.1, 20.));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (34.2, 12.5, 20.));
#60 = CARTESIAN_POINT ('', (34.2, 10.1, 20.));
#70 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#50, #60), .UNSPECIFIED., .F., .U., (2, 2), (0.416666666666667, 0.432666666666667), .UNSPECIFIED.);
#80 = EDGE_CURVE ('', #20, #40, #70, .T.);
#90 = ORIENTED_EDGE ('', *, *, #80, .T.);
#100 = CARTESIAN_POINT ('', (34.2, 10.1, 0.));
#110 = VERTEX_POINT ('', #100);
#120 = CARTESIAN_POINT ('', (34.2, 10.1, 0.));
#130 = CARTESIAN_POINT ('', (34.2, 10.1, 20.));
#140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#120, #130), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.588235294117647), .UNSPECIFIED.);
#150 = EDGE_CURVE ('', #110, #40, #140, .T.);
#160 = ORIENTED_EDGE ('', *, *, #150, .F.);
#170 = CARTESIAN_POINT ('', (34.2, 12.5, 0.));
#180 = VERTEX_POINT ('', #170);
#190 = CARTESIAN_POINT ('', (34.2, 12.5, 0.));
#200 = CARTESIAN_POINT ('', (34.2, 10.1, 0.));
#210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#190, #200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#220 = COLOUR_RGB ('', 0., 0., 0.);
#230 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#240 = CURVE_STYLE ('', #230, POSITIVE_LENGTH_MEASURE(1.E-6), #220);
#250 = PRESENTATION_STYLE_ASSIGNMENT ((#240));
#260 = STYLED_ITEM ('', (#250), #210);
#270 = EDGE_CURVE ('', #180, #110, #210, .T.);
#280 = ORIENTED_EDGE ('', *, *, #270, .F.);
#290 = CARTESIAN_POINT ('', (34.2, 12.5, 0.));
#300 = CARTESIAN_POINT ('', (34.2, 12.5, 20.));
#310 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#290, #300), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.588235294117647), .UNSPECIFIED.);
#320 = EDGE_CURVE ('', #180, #20, #310, .T.);
#330 = ORIENTED_EDGE ('', *, *, #320, .T.);
#340 = EDGE_LOOP ('', (#90, #160, #280, #330));
#350 = FACE_OUTER_BOUND ('', #340, .T.);
#360 = CARTESIAN_POINT ('', (34.2, 12.5, 0.));
#370 = CARTESIAN_POINT ('', (34.2, 10.1, 0.));
#380 = CARTESIAN_POINT ('', (34.2, 12.5, 20.));
#390 = CARTESIAN_POINT ('', (34.2, 10.1, 20.));
#400 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#360, #370), (#380, #390)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.588235294117647), (0., 1.), .UNSPECIFIED.);
#410 = ADVANCED_FACE ('', (#350), #400, .T.);
#420 = CARTESIAN_POINT ('', (-89.5, 12.5, 0.));
#430 = VERTEX_POINT ('', #420);
#440 = CARTESIAN_POINT ('', (-89.5, 12.5, 0.));
#450 = CARTESIAN_POINT ('', (34.2, 12.5, 0.));
#460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#440, #450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#470 = COLOUR_RGB ('', 0., 0., 0.);
#480 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#490 = CURVE_STYLE ('', #480, POSITIVE_LENGTH_MEASURE(1.E-6), #470);
#500 = PRESENTATION_STYLE_ASSIGNMENT ((#490));
#510 = STYLED_ITEM ('', (#500), #460);
#520 = EDGE_CURVE ('', #430, #180, #460, .T.);
#530 = ORIENTED_EDGE ('', *, *, #520, .T.);
#540 = ORIENTED_EDGE ('', *, *, #270, .T.);
#550 = CARTESIAN_POINT ('', (18., 10.1, 0.));
#560 = VERTEX_POINT ('', #550);
#570 = CARTESIAN_POINT ('', (34.2, 10.1, 0.));
#580 = CARTESIAN_POINT ('', (18., 10.1, 0.));
#590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#570, #580), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#600 = COLOUR_RGB ('', 0., 0., 0.);
#610 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#620 = CURVE_STYLE ('', #610, POSITIVE_LENGTH_MEASURE(1.E-6), #600);
#630 = PRESENTATION_STYLE_ASSIGNMENT ((#620));
#640 = STYLED_ITEM ('', (#630), #590);
#650 = EDGE_CURVE ('', #110, #560, #590, .T.);
#660 = ORIENTED_EDGE ('', *, *, #650, .T.);
#670 = CARTESIAN_POINT ('', (18., -12.5, 0.));
#680 = VERTEX_POINT ('', #670);
#690 = CARTESIAN_POINT ('', (18., 10.1, 0.));
#700 = CARTESIAN_POINT ('', (18., -12.5, 0.));
#710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#690, #700), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#720 = COLOUR_RGB ('', 0., 0., 0.);
#730 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#740 = CURVE_STYLE ('', #730, POSITIVE_LENGTH_MEASURE(1.E-6), #720);
#750 = PRESENTATION_STYLE_ASSIGNMENT ((#740));
#760 = STYLED_ITEM ('', (#750), #710);
#770 = EDGE_CURVE ('', #560, #680, #710, .T.);
#780 = ORIENTED_EDGE ('', *, *, #770, .T.);
#790 = CARTESIAN_POINT ('', (-89.5, -12.5, 0.));
#800 = VERTEX_POINT ('', #790);
#810 = CARTESIAN_POINT ('', (18., -12.5, 0.));
#820 = CARTESIAN_POINT ('', (-89.5, -12.5, 0.));
#830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#810, #820), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#840 = COLOUR_RGB ('', 0., 0., 0.);
#850 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#860 = CURVE_STYLE ('', #850, POSITIVE_LENGTH_MEASURE(1.E-6), #840);
#870 = PRESENTATION_STYLE_ASSIGNMENT ((#860));
#880 = STYLED_ITEM ('', (#870), #830);
#890 = EDGE_CURVE ('', #680, #800, #830, .T.);
#900 = ORIENTED_EDGE ('', *, *, #890, .T.);
#910 = CARTESIAN_POINT ('', (-89.5, -12.5, 0.));
#920 = CARTESIAN_POINT ('', (-89.5, 12.5, 0.));
#930 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#910, #920), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#940 = COLOUR_RGB ('', 0., 0., 0.);
#950 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#960 = CURVE_STYLE ('', #950, POSITIVE_LENGTH_MEASURE(1.E-6), #940);
#970 = PRESENTATION_STYLE_ASSIGNMENT ((#960));
#980 = STYLED_ITEM ('', (#970), #930);
#990 = EDGE_CURVE ('', #800, #430, #930, .T.);
#1000 = ORIENTED_EDGE ('', *, *, #990, .T.);
#1010 = EDGE_LOOP ('', (#530, #540, #660, #780, #900, #1000));
#1020 = FACE_OUTER_BOUND ('', #1010, .T.);
#1030 = CARTESIAN_POINT ('', (-89.5, -12.5, 0.));
#1040 = CARTESIAN_POINT ('', (34.2, -12.5, 0.));
#1050 = CARTESIAN_POINT ('', (-89.5, 12.5, 0.));
#1060 = CARTESIAN_POINT ('', (34.2, 12.5, 0.));
#1070 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1030, #1040), (#1050, #1060)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.409956044562335, 0.590043955437665), (0.0544625084944325, 0.945537491505568), .UNSPECIFIED.);
#1080 = ADVANCED_FACE ('', (#1020), #1070, .T.);
#1090 = CARTESIAN_POINT ('', (14.4243717555239, 12.5, 34.));
#1100 = VERTEX_POINT ('', #1090);
#1110 = CARTESIAN_POINT ('', (14.4243717555239, -12.5, 34.));
#1120 = VERTEX_POINT ('', #1110);
#1130 = CARTESIAN_POINT ('', (14.4243717555239, 12.5, 34.));
#1140 = CARTESIAN_POINT ('', (14.4243717555239, -12.5, 34.));
#1150 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1130, #1140), .UNSPECIFIED., .F., .U., (2, 2), (0.409956044562334, 0.590043955437665), .UNSPECIFIED.);
#1160 = EDGE_CURVE ('', #1100, #1120, #1150, .T.);
#1170 = ORIENTED_EDGE ('', *, *, #1160, .F.);
#1180 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 12.5, 34.));
#1190 = VERTEX_POINT ('', #1180);
#1200 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 12.5, 34.));
#1210 = CARTESIAN_POINT ('', (14.4243717555239, 12.5, 34.));
#1220 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1200, #1210), .UNSPECIFIED., .F., .U., (2, 2), (0.723524656426839, 0.840132350489279), .UNSPECIFIED.);
#1230 = EDGE_CURVE ('', #1190, #1100, #1220, .T.);
#1240 = ORIENTED_EDGE ('', *, *, #1230, .F.);
#1250 = CARTESIAN_POINT ('', (-3.5527136788005E-15, -12.5, 34.));
#1260 = VERTEX_POINT ('', #1250);
#1270 = CARTESIAN_POINT ('', (0., -12.5, 34.));
#1280 = CARTESIAN_POINT ('', (0., 12.5, 34.));
#1290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1270, #1280), .UNSPECIFIED., .F., .U., (2, 2), (0.409956044562335, 0.590043955437665), .UNSPECIFIED.);
#1300 = EDGE_CURVE ('', #1260, #1190, #1290, .T.);
#1310 = ORIENTED_EDGE ('', *, *, #1300, .F.);
#1320 = CARTESIAN_POINT ('', (14.4243717555239, -12.5, 34.));
#1330 = CARTESIAN_POINT ('', (-3.5527136788005E-15, -12.5, 34.));
#1340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1320, #1330), .UNSPECIFIED., .F., .U., (2, 2), (0.0332616580881502, 0.167441860465116), .UNSPECIFIED.);
#1350 = COLOUR_RGB ('', 0., 0., 0.);
#1360 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#1370 = CURVE_STYLE ('', #1360, POSITIVE_LENGTH_MEASURE(1.E-6), #1350);
#1380 = PRESENTATION_STYLE_ASSIGNMENT ((#1370));
#1390 = STYLED_ITEM ('', (#1380), #1340);
#1400 = EDGE_CURVE ('', #1120, #1260, #1340, .T.);
#1410 = ORIENTED_EDGE ('', *, *, #1400, .F.);
#1420 = EDGE_LOOP ('', (#1170, #1240, #1310, #1410));
#1430 = FACE_OUTER_BOUND ('', #1420, .T.);
#1440 = CARTESIAN_POINT ('', (-2.8421709430404E-14, -12.5, 34.));
#1450 = CARTESIAN_POINT ('', (-2.8421709430404E-14, 12.5, 34.));
#1460 = CARTESIAN_POINT ('', (14.4243717555239, -12.5, 34.));
#1470 = CARTESIAN_POINT ('', (14.4243717555239, 12.5, 34.));
#1480 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1440, #1450), (#1460, #1470)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.699177229428115, 0.803083428433772), (0.409956044562335, 0.590043955437665), .UNSPECIFIED.);
#1490 = ADVANCED_FACE ('', (#1430), #1480, .T.);
#1500 = CARTESIAN_POINT ('', (-89.5, 12.5, 25.));
#1510 = VERTEX_POINT ('', #1500);
#1520 = CARTESIAN_POINT ('', (-89.5, -12.5, 25.));
#1530 = VERTEX_POINT ('', #1520);
#1540 = CARTESIAN_POINT ('', (-89.5, 12.5, 25.));
#1550 = CARTESIAN_POINT ('', (-89.5, -12.5, 25.));
#1560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1540, #1550), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1570 = EDGE_CURVE ('', #1510, #1530, #1560, .T.);
#1580 = ORIENTED_EDGE ('', *, *, #1570, .F.);
#1590 = CARTESIAN_POINT ('', (-89.5, 12.5, 0.));
#1600 = CARTESIAN_POINT ('', (-89.5, 12.5, 25.));
#1610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1590, #1600), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.735294117647059), .UNSPECIFIED.);
#1620 = EDGE_CURVE ('', #430, #1510, #1610, .T.);
#1630 = ORIENTED_EDGE ('', *, *, #1620, .F.);
#1640 = ORIENTED_EDGE ('', *, *, #990, .F.);
#1650 = CARTESIAN_POINT ('', (-89.5, -12.5, 0.));
#1660 = CARTESIAN_POINT ('', (-89.5, -12.5, 25.));
#1670 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1650, #1660), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.735294117647059), .UNSPECIFIED.);
#1680 = EDGE_CURVE ('', #800, #1530, #1670, .T.);
#1690 = ORIENTED_EDGE ('', *, *, #1680, .T.);
#1700 = EDGE_LOOP ('', (#1580, #1630, #1640, #1690));
#1710 = FACE_OUTER_BOUND ('', #1700, .T.);
#1720 = CARTESIAN_POINT ('', (-89.5, -12.5, 0.));
#1730 = CARTESIAN_POINT ('', (-89.5, 12.5, 0.));
#1740 = CARTESIAN_POINT ('', (-89.5, -12.5, 25.));
#1750 = CARTESIAN_POINT ('', (-89.5, 12.5, 25.));
#1760 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1720, #1730), (#1740, #1750)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.735294117647059), (0., 1.), .UNSPECIFIED.);
#1770 = ADVANCED_FACE ('', (#1710), #1760, .T.);
#1780 = CARTESIAN_POINT ('', (18., -12.5, 31.4021540160509));
#1790 = VERTEX_POINT ('', #1780);
#1800 = CARTESIAN_POINT ('', (14.4243717555239, -12.5, 34.));
#1810 = CARTESIAN_POINT ('', (18., -12.5, 31.4021540160509));
#1820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1800, #1810), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1830 = EDGE_CURVE ('', #1120, #1790, #1820, .T.);
#1840 = ORIENTED_EDGE ('', *, *, #1830, .F.);
#1850 = ORIENTED_EDGE ('', *, *, #1400, .T.);
#1860 = CARTESIAN_POINT ('', (1.4210854715202E-14, -12.5, 25.));
#1870 = VERTEX_POINT ('', #1860);
#1880 = CARTESIAN_POINT ('', (0., -12.5, 25.));
#1890 = CARTESIAN_POINT ('', (0., -12.5, 34.));
#1900 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1880, #1890), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1910 = EDGE_CURVE ('', #1870, #1260, #1900, .T.);
#1920 = ORIENTED_EDGE ('', *, *, #1910, .F.);
#1930 = CARTESIAN_POINT ('', (-89.5, -12.5, 25.));
#1940 = CARTESIAN_POINT ('', (1.4210854715202E-14, -12.5, 25.));
#1950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1930, #1940), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1960 = EDGE_CURVE ('', #1530, #1870, #1950, .T.);
#1970 = ORIENTED_EDGE ('', *, *, #1960, .F.);
#1980 = ORIENTED_EDGE ('', *, *, #1680, .F.);
#1990 = ORIENTED_EDGE ('', *, *, #890, .F.);
#2000 = CARTESIAN_POINT ('', (18., -12.5, 0.));
#2010 = CARTESIAN_POINT ('', (18., -12.5, 31.4021540160509));
#2020 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2000, #2010), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.923592765177969), .UNSPECIFIED.);
#2030 = EDGE_CURVE ('', #680, #1790, #2020, .T.);
#2040 = ORIENTED_EDGE ('', *, *, #2030, .T.);
#2050 = EDGE_LOOP ('', (#1840, #1850, #1920, #1970, #1980, #1990, #2040));
#2060 = FACE_OUTER_BOUND ('', #2050, .T.);
#2070 = CARTESIAN_POINT ('', (18., -12.5, 0.));
#2080 = CARTESIAN_POINT ('', (-89.5, -12.5, 0.));
#2090 = CARTESIAN_POINT ('', (18., -12.5, 34.));
#2100 = CARTESIAN_POINT ('', (-89.5, -12.5, 34.));
#2110 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2070, #2080), (#2090, #2100)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#2120 = ADVANCED_FACE ('', (#2060), #2110, .T.);
#2130 = ORIENTED_EDGE ('', *, *, #1910, .T.);
#2140 = ORIENTED_EDGE ('', *, *, #1300, .T.);
#2150 = CARTESIAN_POINT ('', (0., 12.5, 25.));
#2160 = VERTEX_POINT ('', #2150);
#2170 = CARTESIAN_POINT ('', (0., 12.5, 34.));
#2180 = CARTESIAN_POINT ('', (0., 12.5, 25.));
#2190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2170, #2180), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2200 = EDGE_CURVE ('', #1190, #2160, #2190, .T.);
#2210 = ORIENTED_EDGE ('', *, *, #2200, .T.);
#2220 = CARTESIAN_POINT ('', (0., 12.5, 25.));
#2230 = CARTESIAN_POINT ('', (0., -12.5, 25.));
#2240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2220, #2230), .UNSPECIFIED., .F., .U., (2, 2), (0.416666666666667, 0.583333333333333), .UNSPECIFIED.);
#2250 = EDGE_CURVE ('', #2160, #1870, #2240, .T.);
#2260 = ORIENTED_EDGE ('', *, *, #2250, .T.);
#2270 = EDGE_LOOP ('', (#2130, #2140, #2210, #2260));
#2280 = FACE_OUTER_BOUND ('', #2270, .T.);
#2290 = CARTESIAN_POINT ('', (0., 12.5, 25.));
#2300 = CARTESIAN_POINT ('', (0., 12.5, 34.));
#2310 = CARTESIAN_POINT ('', (0., -12.5, 25.));
#2320 = CARTESIAN_POINT ('', (0., -12.5, 34.));
#2330 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2290, #2300), (#2310, #2320)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.416666666666667, 0.583333333333333), (0., 0.36), .UNSPECIFIED.);
#2340 = ADVANCED_FACE ('', (#2280), #2330, .T.);
#2350 = ORIENTED_EDGE ('', *, *, #1960, .T.);
#2360 = ORIENTED_EDGE ('', *, *, #2250, .F.);
#2370 = CARTESIAN_POINT ('', (0., 12.5, 25.));
#2380 = CARTESIAN_POINT ('', (-89.5000000000001, 12.5, 25.));
#2390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2370, #2380), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2400 = EDGE_CURVE ('', #2160, #1510, #2390, .T.);
#2410 = ORIENTED_EDGE ('', *, *, #2400, .T.);
#2420 = ORIENTED_EDGE ('', *, *, #1570, .T.);
#2430 = EDGE_LOOP ('', (#2350, #2360, #2410, #2420));
#2440 = FACE_OUTER_BOUND ('', #2430, .T.);
#2450 = CARTESIAN_POINT ('', (-89.5000000000001, 12.5, 25.));
#2460 = CARTESIAN_POINT ('', (0., 12.5, 25.));
#2470 = CARTESIAN_POINT ('', (-89.5000000000001, -12.5, 25.));
#2480 = CARTESIAN_POINT ('', (0., -12.5, 25.));
#2490 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2450, #2460), (#2470, #2480)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.416666666666666, 0.583333333333333), (0.283999999999999, 1.), .UNSPECIFIED.);
#2500 = ADVANCED_FACE ('', (#2440), #2490, .T.);
#2510 = ORIENTED_EDGE ('', *, *, #80, .F.);
#2520 = CARTESIAN_POINT ('', (16.9193896595061, 12.5, 20.));
#2530 = VERTEX_POINT ('', #2520);
#2540 = CARTESIAN_POINT ('', (34.2, 12.5, 20.));
#2550 = CARTESIAN_POINT ('', (16.9193896595061, 12.5, 20.));
#2560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2540, #2550), .UNSPECIFIED., .F., .U., (2, 2), (-0.00695694448113183, 1.), .UNSPECIFIED.);
#2570 = EDGE_CURVE ('', #20, #2530, #2560, .T.);
#2580 = ORIENTED_EDGE ('', *, *, #2570, .T.);
#2590 = CARTESIAN_POINT ('', (16.9193896595061, 9.8, 20.));
#2600 = VERTEX_POINT ('', #2590);
#2610 = CARTESIAN_POINT ('', (16.9193896595061, 9.8, 20.));
#2620 = CARTESIAN_POINT ('', (16.9193896595061, 12.5, 20.));
#2630 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2610, #2620), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.9), .UNSPECIFIED.);
#2640 = EDGE_CURVE ('', #2600, #2530, #2630, .T.);
#2650 = ORIENTED_EDGE ('', *, *, #2640, .F.);
#2660 = CARTESIAN_POINT ('', (18., 9.8, 20.));
#2670 = VERTEX_POINT ('', #2660);
#2680 = CARTESIAN_POINT ('', (18., 9.8, 20.));
#2690 = CARTESIAN_POINT ('', (16.9193896595061, 9.8, 20.));
#2700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2680, #2690), .UNSPECIFIED., .F., .U., (2, 2), (0.937031848690631, 1.), .UNSPECIFIED.);
#2710 = EDGE_CURVE ('', #2670, #2600, #2700, .T.);
#2720 = ORIENTED_EDGE ('', *, *, #2710, .F.);
#2730 = CARTESIAN_POINT ('', (18., 10.1, 20.));
#2740 = VERTEX_POINT ('', #2730);
#2750 = CARTESIAN_POINT ('', (18., 9.8, 20.));
#2760 = CARTESIAN_POINT ('', (18., 10.1, 20.));
#2770 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2750, #2760), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2780 = EDGE_CURVE ('', #2670, #2740, #2770, .T.);
#2790 = ORIENTED_EDGE ('', *, *, #2780, .T.);
#2800 = CARTESIAN_POINT ('', (18., 10.1, 20.));
#2810 = CARTESIAN_POINT ('', (34.2, 10.1, 20.));
#2820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2800, #2810), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.00742444826273), .UNSPECIFIED.);
#2830 = EDGE_CURVE ('', #2740, #40, #2820, .T.);
#2840 = ORIENTED_EDGE ('', *, *, #2830, .T.);
#2850 = EDGE_LOOP ('', (#2510, #2580, #2650, #2720, #2790, #2840));
#2860 = FACE_OUTER_BOUND ('', #2850, .T.);
#2870 = CARTESIAN_POINT ('', (34.2, 12.8, 20.));
#2880 = CARTESIAN_POINT ('', (34.2, 9.8, 20.));
#2890 = CARTESIAN_POINT ('', (16.9193896595061, 12.8, 20.));
#2900 = CARTESIAN_POINT ('', (16.9193896595061, 9.8, 20.));
#2910 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2870, #2880), (#2890, #2900)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 2.57919557320805), (0.414666666666667, 0.434666666666667), .UNSPECIFIED.);
#2920 = ADVANCED_FACE ('', (#2860), #2910, .T.);
#2930 = CARTESIAN_POINT ('', (15.5, 12.5, 25.));
#2940 = VERTEX_POINT ('', #2930);
#2950 = CARTESIAN_POINT ('', (26.8118090397644, 12.5, 25.));
#2960 = VERTEX_POINT ('', #2950);
#2970 = CARTESIAN_POINT ('', (15.5, 12.5, 25.));
#2980 = CARTESIAN_POINT ('', (26.8118090397644, 12.5, 25.));
#2990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2970, #2980), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.604909574318953), .UNSPECIFIED.);
#3000 = EDGE_CURVE ('', #2940, #2960, #2990, .T.);
#3010 = ORIENTED_EDGE ('', *, *, #3000, .F.);
#3020 = CARTESIAN_POINT ('', (15.5, 12.5, 24.95));
#3030 = VERTEX_POINT ('', #3020);
#3040 = CARTESIAN_POINT ('', (15.5, 12.5, 24.95));
#3050 = CARTESIAN_POINT ('', (15.5, 12.5, 25.));
#3060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3040, #3050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3070 = EDGE_CURVE ('', #3030, #2940, #3060, .T.);
#3080 = ORIENTED_EDGE ('', *, *, #3070, .F.);
#3090 = CARTESIAN_POINT ('', (16.9193896595061, 12.5, 20.));
#3100 = CARTESIAN_POINT ('', (15.5, 12.5, 24.95));
#3110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3090, #3100), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3120 = EDGE_CURVE ('', #2530, #3030, #3110, .T.);
#3130 = ORIENTED_EDGE ('', *, *, #3120, .F.);
#3140 = ORIENTED_EDGE ('', *, *, #2570, .F.);
#3150 = ORIENTED_EDGE ('', *, *, #320, .F.);
#3160 = ORIENTED_EDGE ('', *, *, #520, .F.);
#3170 = ORIENTED_EDGE ('', *, *, #1620, .T.);
#3180 = ORIENTED_EDGE ('', *, *, #2400, .F.);
#3190 = ORIENTED_EDGE ('', *, *, #2200, .F.);
#3200 = ORIENTED_EDGE ('', *, *, #1230, .T.);
#3210 = CARTESIAN_POINT ('', (26.8118090397644, 12.5, 25.));
#3220 = CARTESIAN_POINT ('', (14.4243717555239, 12.5, 34.));
#3230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3210, #3220), .UNSPECIFIED., .F., .U., (2, 2), (0.0526315789473672, 1.), .UNSPECIFIED.);
#3240 = EDGE_CURVE ('', #2960, #1100, #3230, .T.);
#3250 = ORIENTED_EDGE ('', *, *, #3240, .F.);
#3260 = EDGE_LOOP ('', (#3010, #3080, #3130, #3140, #3150, #3160, #3170, #3180, #3190, #3200, #3250));
#3270 = FACE_OUTER_BOUND ('', #3260, .T.);
#3280 = CARTESIAN_POINT ('', (-89.5, 12.5, 0.));
#3290 = CARTESIAN_POINT ('', (34.2, 12.5, 0.));
#3300 = CARTESIAN_POINT ('', (-89.5, 12.5, 34.));
#3310 = CARTESIAN_POINT ('', (34.2, 12.5, 34.));
#3320 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3280, #3290), (#3300, #3310)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#3330 = ADVANCED_FACE ('', (#3270), #3320, .T.);
#3340 = CARTESIAN_POINT ('', (26.8118090397644, 10.1, 25.));
#3350 = VERTEX_POINT ('', #3340);
#3360 = CARTESIAN_POINT ('', (26.8118090397644, 12.5, 25.));
#3370 = CARTESIAN_POINT ('', (26.8118090397644, 10.1, 25.));
#3380 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3360, #3370), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.88888888888889), .UNSPECIFIED.);
#3390 = EDGE_CURVE ('', #2960, #3350, #3380, .T.);
#3400 = ORIENTED_EDGE ('', *, *, #3390, .F.);
#3410 = ORIENTED_EDGE ('', *, *, #3240, .T.);
#3420 = ORIENTED_EDGE ('', *, *, #1160, .T.);
#3430 = ORIENTED_EDGE ('', *, *, #1830, .T.);
#3440 = CARTESIAN_POINT ('', (18., 10.1, 31.4021540160509));
#3450 = VERTEX_POINT ('', #3440);
#3460 = CARTESIAN_POINT ('', (18., -12.5, 31.4021540160509));
#3470 = CARTESIAN_POINT ('', (18., 10.1, 31.4021540160509));
#3480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3460, #3470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3490 = EDGE_CURVE ('', #1790, #3450, #3480, .T.);
#3500 = ORIENTED_EDGE ('', *, *, #3490, .T.);
#3510 = CARTESIAN_POINT ('', (18., 10.1, 31.4021540160509));
#3520 = CARTESIAN_POINT ('', (26.8118090397644, 10.1, 25.));
#3530 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3510, #3520), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.927558846290991), .UNSPECIFIED.);
#3540 = EDGE_CURVE ('', #3450, #3350, #3530, .T.);
#3550 = ORIENTED_EDGE ('', *, *, #3540, .T.);
#3560 = EDGE_LOOP ('', (#3400, #3410, #3420, #3430, #3500, #3550));
#3570 = FACE_OUTER_BOUND ('', #3560, .T.);
#3580 = CARTESIAN_POINT ('', (26.8118090397644, 12.5, 25.));
#3590 = CARTESIAN_POINT ('', (26.8118090397644, -12.5, 25.));
#3600 = CARTESIAN_POINT ('', (14.4243717555239, 12.5, 34.));
#3610 = CARTESIAN_POINT ('', (14.4243717555239, -12.5, 34.));
#3620 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3580, #3590), (#3600, #3610)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0526315789473672, 1.), (0.416666666666666, 0.583333333333333), .UNSPECIFIED.);
#3630 = ADVANCED_FACE ('', (#3570), #3620, .T.);
#3640 = CARTESIAN_POINT ('', (18., 10.1, 25.));
#3650 = VERTEX_POINT ('', #3640);
#3660 = CARTESIAN_POINT ('', (18., 9.8, 25.));
#3670 = VERTEX_POINT ('', #3660);
#3680 = CARTESIAN_POINT ('', (18., 10.1, 25.));
#3690 = CARTESIAN_POINT ('', (18., 9.8, 25.));
#3700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3680, #3690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3710 = EDGE_CURVE ('', #3650, #3670, #3700, .T.);
#3720 = ORIENTED_EDGE ('', *, *, #3710, .F.);
#3730 = CARTESIAN_POINT ('', (18., 10.1, 25.));
#3740 = CARTESIAN_POINT ('', (18., 10.1, 31.4021540160509));
#3750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3730, #3740), .UNSPECIFIED., .F., .U., (2, 2), (0.735294117647059, 0.923592765177968), .UNSPECIFIED.);
#3760 = EDGE_CURVE ('', #3650, #3450, #3750, .T.);
#3770 = ORIENTED_EDGE ('', *, *, #3760, .T.);
#3780 = ORIENTED_EDGE ('', *, *, #3490, .F.);
#3790 = ORIENTED_EDGE ('', *, *, #2030, .F.);
#3800 = ORIENTED_EDGE ('', *, *, #770, .F.);
#3810 = CARTESIAN_POINT ('', (18., 10.1, 0.));
#3820 = CARTESIAN_POINT ('', (18., 10.1, 20.));
#3830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3810, #3820), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.588235294117647), .UNSPECIFIED.);
#3840 = EDGE_CURVE ('', #560, #2740, #3830, .T.);
#3850 = ORIENTED_EDGE ('', *, *, #3840, .T.);
#3860 = ORIENTED_EDGE ('', *, *, #2780, .F.);
#3870 = CARTESIAN_POINT ('', (18., 9.8, 25.));
#3880 = CARTESIAN_POINT ('', (18., 9.8, 20.));
#3890 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3870, #3880), .UNSPECIFIED., .F., .U., (2, 2), (0.316301104209698, 0.563328201196661), .UNSPECIFIED.);
#3900 = EDGE_CURVE ('', #3670, #2670, #3890, .T.);
#3910 = ORIENTED_EDGE ('', *, *, #3900, .F.);
#3920 = EDGE_LOOP ('', (#3720, #3770, #3780, #3790, #3800, #3850, #3860, #3910));
#3930 = FACE_OUTER_BOUND ('', #3920, .T.);
#3940 = CARTESIAN_POINT ('', (18., 10.1, 0.));
#3950 = CARTESIAN_POINT ('', (18., -12.5, 0.));
#3960 = CARTESIAN_POINT ('', (18., 10.1, 31.4021540160509));
#3970 = CARTESIAN_POINT ('', (18., -12.5, 31.4021540160509));
#3980 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3940, #3950), (#3960, #3970)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.923592765177969), (0., 1.), .UNSPECIFIED.);
#3990 = ADVANCED_FACE ('', (#3930), #3980, .T.);
#4000 = ORIENTED_EDGE ('', *, *, #2830, .F.);
#4010 = ORIENTED_EDGE ('', *, *, #3840, .F.);
#4020 = ORIENTED_EDGE ('', *, *, #650, .F.);
#4030 = ORIENTED_EDGE ('', *, *, #150, .T.);
#4040 = EDGE_LOOP ('', (#4000, #4010, #4020, #4030));
#4050 = FACE_OUTER_BOUND ('', #4040, .T.);
#4060 = CARTESIAN_POINT ('', (34.2, 10.1, 0.));
#4070 = CARTESIAN_POINT ('', (18., 10.1, 0.));
#4080 = CARTESIAN_POINT ('', (34.2, 10.1, 31.4021540160509));
#4090 = CARTESIAN_POINT ('', (18., 10.1, 31.4021540160509));
#4100 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4060, #4070), (#4080, #4090)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.923592765177969), (0., 1.), .UNSPECIFIED.);
#4110 = ADVANCED_FACE ('', (#4050), #4100, .T.);
#4120 = CARTESIAN_POINT ('', (26.8118090397644, 10.1, 25.));
#4130 = CARTESIAN_POINT ('', (18., 10.1, 25.));
#4140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4120, #4130), .UNSPECIFIED., .F., .U., (2, 2), (0.456061170384913, 1.), .UNSPECIFIED.);
#4150 = EDGE_CURVE ('', #3350, #3650, #4140, .T.);
#4160 = ORIENTED_EDGE ('', *, *, #4150, .F.);
#4170 = ORIENTED_EDGE ('', *, *, #3540, .F.);
#4180 = ORIENTED_EDGE ('', *, *, #3760, .F.);
#4190 = EDGE_LOOP ('', (#4160, #4170, #4180));
#4200 = FACE_OUTER_BOUND ('', #4190, .T.);
#4210 = CARTESIAN_POINT ('', (34.2, 10.1, 0.));
#4220 = CARTESIAN_POINT ('', (18., 10.1, 0.));
#4230 = CARTESIAN_POINT ('', (34.2, 10.1, 31.4021540160509));
#4240 = CARTESIAN_POINT ('', (18., 10.1, 31.4021540160509));
#4250 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4210, #4220), (#4230, #4240)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.923592765177969), (0., 1.), .UNSPECIFIED.);
#4260 = ADVANCED_FACE ('', (#4200), #4250, .T.);
#4270 = ORIENTED_EDGE ('', *, *, #3120, .T.);
#4280 = CARTESIAN_POINT ('', (15.5, 9.8, 24.95));
#4290 = VERTEX_POINT ('', #4280);
#4300 = CARTESIAN_POINT ('', (15.5, 9.8, 24.95));
#4310 = CARTESIAN_POINT ('', (15.5, 12.5, 24.95));
#4320 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4300, #4310), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.9), .UNSPECIFIED.);
#4330 = EDGE_CURVE ('', #4290, #3030, #4320, .T.);
#4340 = ORIENTED_EDGE ('', *, *, #4330, .F.);
#4350 = CARTESIAN_POINT ('', (16.9193896595061, 9.8, 20.));
#4360 = CARTESIAN_POINT ('', (15.5, 9.8, 24.95));
#4370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4350, #4360), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4380 = EDGE_CURVE ('', #2600, #4290, #4370, .T.);
#4390 = ORIENTED_EDGE ('', *, *, #4380, .F.);
#4400 = ORIENTED_EDGE ('', *, *, #2640, .T.);
#4410 = EDGE_LOOP ('', (#4270, #4340, #4390, #4400));
#4420 = FACE_OUTER_BOUND ('', #4410, .T.);
#4430 = CARTESIAN_POINT ('', (16.9193896595061, 9.8, 20.));
#4440 = CARTESIAN_POINT ('', (15.5, 9.8, 24.95));
#4450 = CARTESIAN_POINT ('', (16.9193896595061, 12.5, 20.));
#4460 = CARTESIAN_POINT ('', (15.5, 12.5, 24.95));
#4470 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4430, #4440), (#4450, #4460)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.9), (0., 1.), .UNSPECIFIED.);
#4480 = ADVANCED_FACE ('', (#4420), #4470, .T.);
#4490 = ORIENTED_EDGE ('', *, *, #3070, .T.);
#4500 = CARTESIAN_POINT ('', (15.5, 9.8, 25.));
#4510 = VERTEX_POINT ('', #4500);
#4520 = CARTESIAN_POINT ('', (15.5, 9.8, 25.));
#4530 = CARTESIAN_POINT ('', (15.5, 12.5, 25.));
#4540 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4520, #4530), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.9), .UNSPECIFIED.);
#4550 = EDGE_CURVE ('', #4510, #2940, #4540, .T.);
#4560 = ORIENTED_EDGE ('', *, *, #4550, .F.);
#4570 = CARTESIAN_POINT ('', (15.5, 9.8, 24.95));
#4580 = CARTESIAN_POINT ('', (15.5, 9.8, 25.));
#4590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4570, #4580), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4600 = EDGE_CURVE ('', #4290, #4510, #4590, .T.);
#4610 = ORIENTED_EDGE ('', *, *, #4600, .F.);
#4620 = ORIENTED_EDGE ('', *, *, #4330, .T.);
#4630 = EDGE_LOOP ('', (#4490, #4560, #4610, #4620));
#4640 = FACE_OUTER_BOUND ('', #4630, .T.);
#4650 = CARTESIAN_POINT ('', (15.5, 9.8, 24.95));
#4660 = CARTESIAN_POINT ('', (15.5, 9.8, 25.));
#4670 = CARTESIAN_POINT ('', (15.5, 12.5, 24.95));
#4680 = CARTESIAN_POINT ('', (15.5, 12.5, 25.));
#4690 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4650, #4660), (#4670, #4680)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.9), (0., 1.), .UNSPECIFIED.);
#4700 = ADVANCED_FACE ('', (#4640), #4690, .T.);
#4710 = ORIENTED_EDGE ('', *, *, #4150, .T.);
#4720 = ORIENTED_EDGE ('', *, *, #3710, .T.);
#4730 = CARTESIAN_POINT ('', (15.5, 9.8, 25.));
#4740 = CARTESIAN_POINT ('', (18., 9.8, 25.));
#4750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4730, #4740), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.125), .UNSPECIFIED.);
#4760 = EDGE_CURVE ('', #4510, #3670, #4750, .T.);
#4770 = ORIENTED_EDGE ('', *, *, #4760, .F.);
#4780 = ORIENTED_EDGE ('', *, *, #4550, .T.);
#4790 = ORIENTED_EDGE ('', *, *, #3000, .T.);
#4800 = ORIENTED_EDGE ('', *, *, #3390, .T.);
#4810 = EDGE_LOOP ('', (#4710, #4720, #4770, #4780, #4790, #4800));
#4820 = FACE_OUTER_BOUND ('', #4810, .T.);
#4830 = CARTESIAN_POINT ('', (15.5, 9.8, 25.));
#4840 = CARTESIAN_POINT ('', (26.8118090397644, 9.8, 25.));
#4850 = CARTESIAN_POINT ('', (15.5, 12.5, 25.));
#4860 = CARTESIAN_POINT ('', (26.8118090397644, 12.5, 25.));
#4870 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4830, #4840), (#4850, #4860)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.900000000000008), (0., 0.565590451988222), .UNSPECIFIED.);
#4880 = ADVANCED_FACE ('', (#4820), #4870, .T.);
#4890 = ORIENTED_EDGE ('', *, *, #3900, .T.);
#4900 = ORIENTED_EDGE ('', *, *, #2710, .T.);
#4910 = ORIENTED_EDGE ('', *, *, #4380, .T.);
#4920 = ORIENTED_EDGE ('', *, *, #4600, .T.);
#4930 = ORIENTED_EDGE ('', *, *, #4760, .T.);
#4940 = EDGE_LOOP ('', (#4890, #4900, #4910, #4920, #4930));
#4950 = FACE_OUTER_BOUND ('', #4940, .T.);
#4960 = CARTESIAN_POINT ('', (15.5, 9.8, 20.));
#4970 = CARTESIAN_POINT ('', (18., 9.8, 20.));
#4980 = CARTESIAN_POINT ('', (15.5, 9.8, 25.));
#4990 = CARTESIAN_POINT ('', (18., 9.8, 25.));
#5000 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4960, #4970), (#4980, #4990)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.389756534074394, 0.610243465925606), (0.0590261362975764, 0.169269602223183), .UNSPECIFIED.);
#5010 = ADVANCED_FACE ('', (#4950), #5000, .T.);
#5020 = CLOSED_SHELL ('', (#410, #1080, #1490, #1770, #2120, #2340, #2500, #2920, #3330, #3630, #3990, #4110, #4260, #4480, #4700, #4880, #5010));
#5030 = MANIFOLD_SOLID_BREP ('NOCUT', #5020);
#5040 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#5050 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#5060 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#5070 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #5040, 'DISTANCE_ACCURACY_VALUE', '');
#5080 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#5070))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#5040, #5050, #5060))
   REPRESENTATION_CONTEXT ('', '3D')
);
#5090 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#5100 = FILL_AREA_STYLE_COLOUR ('', #5090);
#5110 = FILL_AREA_STYLE ('', (#5100));
#5120 = SURFACE_STYLE_FILL_AREA (#5110);
#5130 = SURFACE_SIDE_STYLE ('', (#5120));
#5140 = SURFACE_STYLE_USAGE (.POSITIVE., #5130);
#5150 = PRESENTATION_STYLE_ASSIGNMENT ((#5140));
#5160 = STYLED_ITEM ('', (#5150), #5030);
#5170 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#5030), #5080);
#5180 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#5190 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #5180);
#5200 = MECHANICAL_CONTEXT ('', #5180, 'mechanical');
#5210 = PRODUCT ('NONE', '', '', (#5200));
#5220 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#5230 = PERSON ('', '', $, $, $, $);
#5240 = ORGANIZATION ($, '', '');
#5250 = PERSON_AND_ORGANIZATION (#5230, #5240);
#5260 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#5250, #5220, (#5210));
#5270 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#5210));
#5280 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #5210, .NOT_KNOWN.);
#5290 = APPROVAL_STATUS ('approved');
#5300 = APPROVAL (#5290, '');
#5310 = CALENDAR_DATE (2017, 2, 8);
#5320 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#5330 = LOCAL_TIME (8, 32, 7., #5320);
#5340 = DATE_AND_TIME (#5310, #5330);
#5350 = APPROVAL_DATE_TIME (#5340, #5300);
#5360 = APPROVAL_ROLE ('');
#5370 = PERSON ('', '', $, $, $, $);
#5380 = ORGANIZATION ($, '', '');
#5390 = PERSON_AND_ORGANIZATION (#5370, #5380);
#5400 = APPROVAL_PERSON_ORGANIZATION (#5390, #5300, #5360);
#5410 = CC_DESIGN_APPROVAL (#5300, (#5280));
#5420 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#5430 = PERSON ('', '', $, $, $, $);
#5440 = ORGANIZATION ($, '', '');
#5450 = PERSON_AND_ORGANIZATION (#5430, #5440);
#5460 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#5450, #5420, (#5280));
#5470 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#5480 = PERSON ('', '', $, $, $, $);
#5490 = ORGANIZATION ($, '', '');
#5500 = PERSON_AND_ORGANIZATION (#5480, #5490);
#5510 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#5500, #5470, (#5280));
#5520 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#5530 = SECURITY_CLASSIFICATION ('', '', #5520);
#5540 = APPROVAL_STATUS ('approved');
#5550 = APPROVAL (#5540, '');
#5560 = CALENDAR_DATE (2017, 2, 8);
#5570 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#5580 = LOCAL_TIME (8, 32, 7., #5570);
#5590 = DATE_AND_TIME (#5560, #5580);
#5600 = APPROVAL_DATE_TIME (#5590, #5550);
#5610 = APPROVAL_ROLE ('');
#5620 = PERSON ('', '', $, $, $, $);
#5630 = ORGANIZATION ($, '', '');
#5640 = PERSON_AND_ORGANIZATION (#5620, #5630);
#5650 = APPROVAL_PERSON_ORGANIZATION (#5640, #5550, #5610);
#5660 = CC_DESIGN_APPROVAL (#5550, (#5530));
#5670 = DATE_TIME_ROLE ('classification_date');
#5680 = CALENDAR_DATE (2017, 2, 8);
#5690 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#5700 = LOCAL_TIME (8, 32, 7., #5690);
#5710 = DATE_AND_TIME (#5680, #5700);
#5720 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#5710, #5670, (#5530));
#5730 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#5740 = PERSON ('', '', $, $, $, $);
#5750 = ORGANIZATION ($, '', '');
#5760 = PERSON_AND_ORGANIZATION (#5740, #5750);
#5770 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#5760, #5730, (#5530));
#5780 = CC_DESIGN_SECURITY_CLASSIFICATION (#5530, (#5280));
#5790 = DESIGN_CONTEXT ('', #5180, 'design');
#5800 = PRODUCT_DEFINITION ('', '', #5280, #5790);
#5810 = APPROVAL_STATUS ('approved');
#5820 = APPROVAL (#5810, '');
#5830 = CALENDAR_DATE (2017, 2, 8);
#5840 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#5850 = LOCAL_TIME (8, 32, 7., #5840);
#5860 = DATE_AND_TIME (#5830, #5850);
#5870 = APPROVAL_DATE_TIME (#5860, #5820);
#5880 = APPROVAL_ROLE ('');
#5890 = PERSON ('', '', $, $, $, $);
#5900 = ORGANIZATION ($, '', '');
#5910 = PERSON_AND_ORGANIZATION (#5890, #5900);
#5920 = APPROVAL_PERSON_ORGANIZATION (#5910, #5820, #5880);
#5930 = CC_DESIGN_APPROVAL (#5820, (#5800));
#5940 = DATE_TIME_ROLE ('creation_date');
#5950 = CALENDAR_DATE (2017, 2, 8);
#5960 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#5970 = LOCAL_TIME (8, 32, 7., #5960);
#5980 = DATE_AND_TIME (#5950, #5970);
#5990 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#5980, #5940, (#5800));
#6000 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#6010 = PERSON ('', '', $, $, $, $);
#6020 = ORGANIZATION ($, '', '');
#6030 = PERSON_AND_ORGANIZATION (#6010, #6020);
#6040 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#6030, #6000, (#5800));
#6050 = PRODUCT_DEFINITION_SHAPE ('', '', #5800);
#6060 = SHAPE_DEFINITION_REPRESENTATION (#6050, #5170);
#6070 = CARTESIAN_POINT ('', (15.5, 12.6, 25.));
#6080 = VERTEX_POINT ('', #6070);
#6090 = CARTESIAN_POINT ('', (15.5, 10., 25.));
#6100 = VERTEX_POINT ('', #6090);
#6110 = CARTESIAN_POINT ('', (15.5, 12.6, 25.));
#6120 = CARTESIAN_POINT ('', (15.5, 10., 25.));
#6130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6110, #6120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6140 = EDGE_CURVE ('', #6080, #6100, #6130, .T.);
#6150 = ORIENTED_EDGE ('', *, *, #6140, .T.);
#6160 = CARTESIAN_POINT ('', (15.7069798993405, 9.80012183459618, 25.));
#6170 = VERTEX_POINT ('', #6160);
#6180 = CARTESIAN_POINT ('', (15.5, 10., 25.));
#6190 = CARTESIAN_POINT ('', (15.5, 9.91510503675808, 25.));
#6200 = CARTESIAN_POINT ('', (15.5610683259082, 9.85613203993227, 25.));
#6210 = CARTESIAN_POINT ('', (15.6221366518164, 9.79715904310646, 25.));
#6220 = CARTESIAN_POINT ('', (15.7069798993405, 9.80012183459618, 25.));
#6230 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6180, #6190, #6200, #6210, #6220), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.92050485345244, 1., 0.92050485345244, 1.))
   REPRESENTATION_ITEM ('')
);
#6240 = EDGE_CURVE ('', #6100, #6170, #6230, .T.);
#6250 = ORIENTED_EDGE ('', *, *, #6240, .T.);
#6260 = CARTESIAN_POINT ('', (19.5, 9.93249632709167, 25.));
#6270 = VERTEX_POINT ('', #6260);
#6280 = CARTESIAN_POINT ('', (15.7069798993405, 9.80012183459618, 25.));
#6290 = CARTESIAN_POINT ('', (19.5, 9.93249632709167, 25.));
#6300 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6280, #6290), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6310 = EDGE_CURVE ('', #6170, #6270, #6300, .T.);
#6320 = ORIENTED_EDGE ('', *, *, #6310, .T.);
#6330 = CARTESIAN_POINT ('', (19.5, 10.15, 25.));
#6340 = VERTEX_POINT ('', #6330);
#6350 = CARTESIAN_POINT ('', (19.5, 9.93249632709167, 25.));
#6360 = CARTESIAN_POINT ('', (19.5, 10.15, 25.));
#6370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6350, #6360), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6380 = EDGE_CURVE ('', #6270, #6340, #6370, .T.);
#6390 = ORIENTED_EDGE ('', *, *, #6380, .T.);
#6400 = CARTESIAN_POINT ('', (31.5, 10.15, 25.));
#6410 = VERTEX_POINT ('', #6400);
#6420 = CARTESIAN_POINT ('', (19.5, 10.15, 25.));
#6430 = CARTESIAN_POINT ('', (31.5, 10.15, 25.));
#6440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6420, #6430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6450 = EDGE_CURVE ('', #6340, #6410, #6440, .T.);
#6460 = ORIENTED_EDGE ('', *, *, #6450, .T.);
#6470 = CARTESIAN_POINT ('', (31.5, 9.93249632709167, 25.));
#6480 = VERTEX_POINT ('', #6470);
#6490 = CARTESIAN_POINT ('', (31.5, 10.15, 25.));
#6500 = CARTESIAN_POINT ('', (31.5, 9.93249632709167, 25.));
#6510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6490, #6500), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6520 = EDGE_CURVE ('', #6410, #6480, #6510, .T.);
#6530 = ORIENTED_EDGE ('', *, *, #6520, .T.);
#6540 = CARTESIAN_POINT ('', (35.2930201006595, 9.80012183459618, 25.));
#6550 = VERTEX_POINT ('', #6540);
#6560 = CARTESIAN_POINT ('', (31.5, 9.93249632709167, 25.));
#6570 = CARTESIAN_POINT ('', (35.2930201006595, 9.80012183459618, 25.));
#6580 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6560, #6570), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6590 = EDGE_CURVE ('', #6480, #6550, #6580, .T.);
#6600 = ORIENTED_EDGE ('', *, *, #6590, .T.);
#6610 = CARTESIAN_POINT ('', (35.5, 10., 25.));
#6620 = VERTEX_POINT ('', #6610);
#6630 = CARTESIAN_POINT ('', (35.2930201006595, 9.80012183459618, 25.));
#6640 = CARTESIAN_POINT ('', (35.3778633481836, 9.79715904310646, 25.));
#6650 = CARTESIAN_POINT ('', (35.4389316740918, 9.85613203993227, 25.));
#6660 = CARTESIAN_POINT ('', (35.5, 9.91510503675808, 25.));
#6670 = CARTESIAN_POINT ('', (35.5, 10., 25.));
#6680 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6630, #6640, #6650, #6660, #6670), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.92050485345244, 1., 0.92050485345244, 1.))
   REPRESENTATION_ITEM ('')
);
#6690 = EDGE_CURVE ('', #6550, #6620, #6680, .T.);
#6700 = ORIENTED_EDGE ('', *, *, #6690, .T.);
#6710 = CARTESIAN_POINT ('', (35.5, 12.6, 25.));
#6720 = VERTEX_POINT ('', #6710);
#6730 = CARTESIAN_POINT ('', (35.5, 10., 25.));
#6740 = CARTESIAN_POINT ('', (35.5, 12.6, 25.));
#6750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6730, #6740), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6760 = EDGE_CURVE ('', #6620, #6720, #6750, .T.);
#6770 = ORIENTED_EDGE ('', *, *, #6760, .T.);
#6780 = CARTESIAN_POINT ('', (35.2930201006595, 12.7998781654038, 25.));
#6790 = VERTEX_POINT ('', #6780);
#6800 = CARTESIAN_POINT ('', (35.5, 12.6, 25.));
#6810 = CARTESIAN_POINT ('', (35.5, 12.6848949632419, 25.));
#6820 = CARTESIAN_POINT ('', (35.4389316740918, 12.7438679600677, 25.));
#6830 = CARTESIAN_POINT ('', (35.3778633481836, 12.8028409568935, 25.));
#6840 = CARTESIAN_POINT ('', (35.2930201006595, 12.7998781654038, 25.));
#6850 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6800, #6810, #6820, #6830, #6840), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.92050485345244, 1., 0.92050485345244, 1.))
   REPRESENTATION_ITEM ('')
);
#6860 = EDGE_CURVE ('', #6720, #6790, #6850, .T.);
#6870 = ORIENTED_EDGE ('', *, *, #6860, .T.);
#6880 = CARTESIAN_POINT ('', (31.5, 12.6675036729083, 25.));
#6890 = VERTEX_POINT ('', #6880);
#6900 = CARTESIAN_POINT ('', (35.2930201006595, 12.7998781654038, 25.));
#6910 = CARTESIAN_POINT ('', (31.5, 12.6675036729083, 25.));
#6920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6900, #6910), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6930 = EDGE_CURVE ('', #6790, #6890, #6920, .T.);
#6940 = ORIENTED_EDGE ('', *, *, #6930, .T.);
#6950 = CARTESIAN_POINT ('', (31.5, 12.45, 25.));
#6960 = VERTEX_POINT ('', #6950);
#6970 = CARTESIAN_POINT ('', (31.5, 12.6675036729083, 25.));
#6980 = CARTESIAN_POINT ('', (31.5, 12.45, 25.));
#6990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6970, #6980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7000 = EDGE_CURVE ('', #6890, #6960, #6990, .T.);
#7010 = ORIENTED_EDGE ('', *, *, #7000, .T.);
#7020 = CARTESIAN_POINT ('', (19.5, 12.45, 25.));
#7030 = VERTEX_POINT ('', #7020);
#7040 = CARTESIAN_POINT ('', (31.5, 12.45, 25.));
#7050 = CARTESIAN_POINT ('', (19.5, 12.45, 25.));
#7060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7040, #7050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7070 = EDGE_CURVE ('', #6960, #7030, #7060, .T.);
#7080 = ORIENTED_EDGE ('', *, *, #7070, .T.);
#7090 = CARTESIAN_POINT ('', (19.5, 12.6675036729083, 25.));
#7100 = VERTEX_POINT ('', #7090);
#7110 = CARTESIAN_POINT ('', (19.5, 12.45, 25.));
#7120 = CARTESIAN_POINT ('', (19.5, 12.6675036729083, 25.));
#7130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7110, #7120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7140 = EDGE_CURVE ('', #7030, #7100, #7130, .T.);
#7150 = ORIENTED_EDGE ('', *, *, #7140, .T.);
#7160 = CARTESIAN_POINT ('', (15.7069798993405, 12.7998781654038, 25.));
#7170 = VERTEX_POINT ('', #7160);
#7180 = CARTESIAN_POINT ('', (19.5, 12.6675036729083, 25.));
#7190 = CARTESIAN_POINT ('', (15.7069798993405, 12.7998781654038, 25.));
#7200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7180, #7190), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7210 = EDGE_CURVE ('', #7100, #7170, #7200, .T.);
#7220 = ORIENTED_EDGE ('', *, *, #7210, .T.);
#7230 = CARTESIAN_POINT ('', (15.7069798993405, 12.7998781654038, 25.));
#7240 = CARTESIAN_POINT ('', (15.6221366518164, 12.8028409568935, 25.));
#7250 = CARTESIAN_POINT ('', (15.5610683259082, 12.7438679600677, 25.));
#7260 = CARTESIAN_POINT ('', (15.5, 12.6848949632419, 25.));
#7270 = CARTESIAN_POINT ('', (15.5, 12.6, 25.));
#7280 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7230, #7240, #7250, #7260, #7270), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.92050485345244, 1., 0.92050485345244, 1.))
   REPRESENTATION_ITEM ('')
);
#7290 = EDGE_CURVE ('', #7170, #6080, #7280, .T.);
#7300 = ORIENTED_EDGE ('', *, *, #7290, .T.);
#7310 = EDGE_LOOP ('', (#6150, #6250, #6320, #6390, #6460, #6530, #6600, #6700, #6770, #6870, #6940, #7010, #7080, #7150, #7220, #7300));
#7320 = FACE_OUTER_BOUND ('', #7310, .T.);
#7330 = CARTESIAN_POINT ('', (35.5, 9.79989456260068, 25.));
#7340 = CARTESIAN_POINT ('', (15.5, 9.79989456260068, 25.));
#7350 = CARTESIAN_POINT ('', (35.5, 12.8001054373993, 25.));
#7360 = CARTESIAN_POINT ('', (15.5, 12.8001054373993, 25.));
#7370 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7330, #7340), (#7350, #7360)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.432570594642925, 0.567429405357075), (0.0505022268702985, 0.949497773129702), .UNSPECIFIED.);
#7380 = ADVANCED_FACE ('', (#7320), #7370, .T.);
#7390 = CARTESIAN_POINT ('', (35.5, 12.6, 24.95));
#7400 = VERTEX_POINT ('', #7390);
#7410 = CARTESIAN_POINT ('', (35.5, 10., 24.95));
#7420 = VERTEX_POINT ('', #7410);
#7430 = CARTESIAN_POINT ('', (35.5, 12.6, 24.95));
#7440 = CARTESIAN_POINT ('', (35.5, 10., 24.95));
#7450 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7430, #7440), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7460 = EDGE_CURVE ('', #7400, #7420, #7450, .T.);
#7470 = ORIENTED_EDGE ('', *, *, #7460, .F.);
#7480 = CARTESIAN_POINT ('', (35.5, 12.6, 25.));
#7490 = CARTESIAN_POINT ('', (35.5, 12.6, 24.95));
#7500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7480, #7490), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.05), .UNSPECIFIED.);
#7510 = EDGE_CURVE ('', #6720, #7400, #7500, .T.);
#7520 = ORIENTED_EDGE ('', *, *, #7510, .F.);
#7530 = ORIENTED_EDGE ('', *, *, #6760, .F.);
#7540 = CARTESIAN_POINT ('', (35.5, 10., 25.));
#7550 = CARTESIAN_POINT ('', (35.5, 10., 24.95));
#7560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7540, #7550), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0499999999999995), .UNSPECIFIED.);
#7570 = EDGE_CURVE ('', #6620, #7420, #7560, .T.);
#7580 = ORIENTED_EDGE ('', *, *, #7570, .T.);
#7590 = EDGE_LOOP ('', (#7470, #7520, #7530, #7580));
#7600 = FACE_OUTER_BOUND ('', #7590, .T.);
#7610 = CARTESIAN_POINT ('', (35.5, 10., 25.));
#7620 = CARTESIAN_POINT ('', (35.5, 12.6, 25.));
#7630 = CARTESIAN_POINT ('', (35.5, 10., 24.95));
#7640 = CARTESIAN_POINT ('', (35.5, 12.6, 24.95));
#7650 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7610, #7620), (#7630, #7640)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.01), (0., 1.), .UNSPECIFIED.);
#7660 = ADVANCED_FACE ('', (#7600), #7650, .T.);
#7670 = CARTESIAN_POINT ('', (15.5, 10., 24.95));
#7680 = VERTEX_POINT ('', #7670);
#7690 = CARTESIAN_POINT ('', (15.5, 12.6, 24.95));
#7700 = VERTEX_POINT ('', #7690);
#7710 = CARTESIAN_POINT ('', (15.5, 10., 24.95));
#7720 = CARTESIAN_POINT ('', (15.5, 12.6, 24.95));
#7730 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7710, #7720), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7740 = EDGE_CURVE ('', #7680, #7700, #7730, .T.);
#7750 = ORIENTED_EDGE ('', *, *, #7740, .F.);
#7760 = CARTESIAN_POINT ('', (15.5, 10., 25.));
#7770 = CARTESIAN_POINT ('', (15.5, 10., 24.95));
#7780 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7760, #7770), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.01), .UNSPECIFIED.);
#7790 = EDGE_CURVE ('', #6100, #7680, #7780, .T.);
#7800 = ORIENTED_EDGE ('', *, *, #7790, .F.);
#7810 = ORIENTED_EDGE ('', *, *, #6140, .F.);
#7820 = CARTESIAN_POINT ('', (15.5, 12.6, 25.));
#7830 = CARTESIAN_POINT ('', (15.5, 12.6, 24.95));
#7840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7820, #7830), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.01), .UNSPECIFIED.);
#7850 = EDGE_CURVE ('', #6080, #7700, #7840, .T.);
#7860 = ORIENTED_EDGE ('', *, *, #7850, .T.);
#7870 = EDGE_LOOP ('', (#7750, #7800, #7810, #7860));
#7880 = FACE_OUTER_BOUND ('', #7870, .T.);
#7890 = CARTESIAN_POINT ('', (15.5, 12.6, 25.));
#7900 = CARTESIAN_POINT ('', (15.5, 10., 25.));
#7910 = CARTESIAN_POINT ('', (15.5, 12.6, 24.95));
#7920 = CARTESIAN_POINT ('', (15.5, 10., 24.95));
#7930 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7890, #7900), (#7910, #7920)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.01), (0., 1.), .UNSPECIFIED.);
#7940 = ADVANCED_FACE ('', (#7880), #7930, .T.);
#7950 = CARTESIAN_POINT ('', (31.5, 10.15, 21.6199724410221));
#7960 = VERTEX_POINT ('', #7950);
#7970 = CARTESIAN_POINT ('', (19.5, 10.15, 21.6199724410221));
#7980 = VERTEX_POINT ('', #7970);
#7990 = CARTESIAN_POINT ('', (31.5, 10.15, 21.6199724410221));
#8000 = CARTESIAN_POINT ('', (19.5, 10.15, 21.6199724410221));
#8010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7990, #8000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8020 = EDGE_CURVE ('', #7960, #7980, #8010, .T.);
#8030 = ORIENTED_EDGE ('', *, *, #8020, .F.);
#8040 = CARTESIAN_POINT ('', (31.5, 10.15, 25.));
#8050 = CARTESIAN_POINT ('', (31.5, 10.15, 21.6199724410221));
#8060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8040, #8050), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.676005511795581), .UNSPECIFIED.);
#8070 = EDGE_CURVE ('', #6410, #7960, #8060, .T.);
#8080 = ORIENTED_EDGE ('', *, *, #8070, .F.);
#8090 = ORIENTED_EDGE ('', *, *, #6450, .F.);
#8100 = CARTESIAN_POINT ('', (19.5, 10.15, 25.));
#8110 = CARTESIAN_POINT ('', (19.5, 10.15, 21.6199724410221));
#8120 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8100, #8110), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.676005511795581), .UNSPECIFIED.);
#8130 = EDGE_CURVE ('', #6340, #7980, #8120, .T.);
#8140 = ORIENTED_EDGE ('', *, *, #8130, .T.);
#8150 = EDGE_LOOP ('', (#8030, #8080, #8090, #8140));
#8160 = FACE_OUTER_BOUND ('', #8150, .T.);
#8170 = CARTESIAN_POINT ('', (19.5, 10.15, 25.));
#8180 = CARTESIAN_POINT ('', (31.5, 10.15, 25.));
#8190 = CARTESIAN_POINT ('', (19.5, 10.15, 21.6199724410221));
#8200 = CARTESIAN_POINT ('', (31.5, 10.15, 21.6199724410221));
#8210 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8170, #8180), (#8190, #8200)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.676005511795581), (0., 1.), .UNSPECIFIED.);
#8220 = ADVANCED_FACE ('', (#8160), #8210, .T.);
#8230 = CARTESIAN_POINT ('', (19.5, 12.45, 21.6199724410221));
#8240 = VERTEX_POINT ('', #8230);
#8250 = CARTESIAN_POINT ('', (31.5, 12.45, 21.6199724410221));
#8260 = VERTEX_POINT ('', #8250);
#8270 = CARTESIAN_POINT ('', (19.5, 12.45, 21.6199724410221));
#8280 = CARTESIAN_POINT ('', (31.5, 12.45, 21.6199724410221));
#8290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8270, #8280), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8300 = EDGE_CURVE ('', #8240, #8260, #8290, .T.);
#8310 = ORIENTED_EDGE ('', *, *, #8300, .F.);
#8320 = CARTESIAN_POINT ('', (19.5, 12.45, 25.));
#8330 = CARTESIAN_POINT ('', (19.5, 12.45, 21.6199724410221));
#8340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8320, #8330), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.676005511795581), .UNSPECIFIED.);
#8350 = EDGE_CURVE ('', #7030, #8240, #8340, .T.);
#8360 = ORIENTED_EDGE ('', *, *, #8350, .F.);
#8370 = ORIENTED_EDGE ('', *, *, #7070, .F.);
#8380 = CARTESIAN_POINT ('', (31.5, 12.45, 25.));
#8390 = CARTESIAN_POINT ('', (31.5, 12.45, 21.6199724410221));
#8400 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8380, #8390), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.676005511795581), .UNSPECIFIED.);
#8410 = EDGE_CURVE ('', #6960, #8260, #8400, .T.);
#8420 = ORIENTED_EDGE ('', *, *, #8410, .T.);
#8430 = EDGE_LOOP ('', (#8310, #8360, #8370, #8420));
#8440 = FACE_OUTER_BOUND ('', #8430, .T.);
#8450 = CARTESIAN_POINT ('', (31.5, 12.45, 25.));
#8460 = CARTESIAN_POINT ('', (19.5, 12.45, 25.));
#8470 = CARTESIAN_POINT ('', (31.5, 12.45, 21.6199724410221));
#8480 = CARTESIAN_POINT ('', (19.5, 12.45, 21.6199724410221));
#8490 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8450, #8460), (#8470, #8480)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.676005511795581), (0., 1.), .UNSPECIFIED.);
#8500 = ADVANCED_FACE ('', (#8440), #8490, .T.);
#8510 = CARTESIAN_POINT ('', (16.9193896595061, 11.25, 20.));
#8520 = VERTEX_POINT ('', #8510);
#8530 = CARTESIAN_POINT ('', (34.0806103404939, 11.25, 20.));
#8540 = VERTEX_POINT ('', #8530);
#8550 = CARTESIAN_POINT ('', (16.9193896595061, 11.25, 20.));
#8560 = CARTESIAN_POINT ('', (34.0806103404939, 11.25, 20.));
#8570 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8550, #8560), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8580 = EDGE_CURVE ('', #8520, #8540, #8570, .T.);
#8590 = ORIENTED_EDGE ('', *, *, #8580, .F.);
#8600 = CARTESIAN_POINT ('', (16.9193896595061, 11.35, 20.));
#8610 = VERTEX_POINT ('', #8600);
#8620 = CARTESIAN_POINT ('', (16.9193896595061, 11.35, 20.));
#8630 = CARTESIAN_POINT ('', (16.9193896595061, 11.25, 20.));
#8640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8620, #8630), .UNSPECIFIED., .F., .U., (2, 2), (0.4975, 0.5025), .UNSPECIFIED.);
#8650 = EDGE_CURVE ('', #8610, #8520, #8640, .T.);
#8660 = ORIENTED_EDGE ('', *, *, #8650, .F.);
#8670 = CARTESIAN_POINT ('', (34.0806103404939, 11.35, 20.));
#8680 = VERTEX_POINT ('', #8670);
#8690 = CARTESIAN_POINT ('', (34.0806103404939, 11.35, 20.));
#8700 = CARTESIAN_POINT ('', (16.9193896595061, 11.35, 20.));
#8710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8690, #8700), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8720 = EDGE_CURVE ('', #8680, #8610, #8710, .T.);
#8730 = ORIENTED_EDGE ('', *, *, #8720, .F.);
#8740 = CARTESIAN_POINT ('', (34.0806103404939, 11.25, 20.));
#8750 = CARTESIAN_POINT ('', (34.0806103404939, 11.35, 20.));
#8760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8740, #8750), .UNSPECIFIED., .F., .U., (2, 2), (0.4975, 0.5025), .UNSPECIFIED.);
#8770 = EDGE_CURVE ('', #8540, #8680, #8760, .T.);
#8780 = ORIENTED_EDGE ('', *, *, #8770, .F.);
#8790 = EDGE_LOOP ('', (#8590, #8660, #8730, #8780));
#8800 = FACE_OUTER_BOUND ('', #8790, .T.);
#8810 = CARTESIAN_POINT ('', (34.0806103404939, 11.25, 20.));
#8820 = CARTESIAN_POINT ('', (34.0806103404939, 11.35, 20.));
#8830 = CARTESIAN_POINT ('', (16.9193896595061, 11.25, 20.));
#8840 = CARTESIAN_POINT ('', (16.9193896595061, 11.35, 20.));
#8850 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8810, #8820), (#8830, #8840)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.11430347598543, 0.88569652401457), (0.497752511134351, 0.502247488865649), .UNSPECIFIED.);
#8860 = ADVANCED_FACE ('', (#8800), #8850, .T.);
#8870 = CARTESIAN_POINT ('', (34.3785187172567, 10.2110700239363, 21.0389299760637));
#8880 = VERTEX_POINT ('', #8870);
#8890 = CARTESIAN_POINT ('', (35.4100211799876, 9.83298101918007, 24.6362065634491));
#8900 = VERTEX_POINT ('', #8890);
#8910 = CARTESIAN_POINT ('', (34.3785187172567, 10.2110700239363, 21.0389299760637));
#8920 = CARTESIAN_POINT ('', (35.4100211799876, 9.83298101918007, 24.6362065634491));
#8930 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8910, #8920), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.919767880751197), .UNSPECIFIED.);
#8940 = EDGE_CURVE ('', #8880, #8900, #8930, .T.);
#8950 = ORIENTED_EDGE ('', *, *, #8940, .F.);
#8960 = CARTESIAN_POINT ('', (34.0806103404939, 11.25, 20.));
#8970 = CARTESIAN_POINT ('', (34.3785187172567, 10.2110700239363, 21.0389299760637));
#8980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8960, #8970), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8990 = EDGE_CURVE ('', #8540, #8880, #8980, .T.);
#9000 = ORIENTED_EDGE ('', *, *, #8990, .F.);
#9010 = ORIENTED_EDGE ('', *, *, #8770, .T.);
#9020 = CARTESIAN_POINT ('', (34.3785187172567, 12.3889299760637, 21.0389299760637));
#9030 = VERTEX_POINT ('', #9020);
#9040 = CARTESIAN_POINT ('', (34.3785187172567, 12.3889299760637, 21.0389299760637));
#9050 = CARTESIAN_POINT ('', (34.0806103404939, 11.35, 20.));
#9060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9040, #9050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9070 = EDGE_CURVE ('', #9030, #8680, #9060, .T.);
#9080 = ORIENTED_EDGE ('', *, *, #9070, .F.);
#9090 = CARTESIAN_POINT ('', (35.4100211799876, 12.7670189808199, 24.6362065634491));
#9100 = VERTEX_POINT ('', #9090);
#9110 = CARTESIAN_POINT ('', (35.4100211799876, 12.7670189808199, 24.6362065634491));
#9120 = CARTESIAN_POINT ('', (34.3785187172567, 12.3889299760637, 21.0389299760637));
#9130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9110, #9120), .UNSPECIFIED., .F., .U., (2, 2), (0.0802321192488042, 1.), .UNSPECIFIED.);
#9140 = EDGE_CURVE ('', #9100, #9030, #9130, .T.);
#9150 = ORIENTED_EDGE ('', *, *, #9140, .F.);
#9160 = CARTESIAN_POINT ('', (35.5, 12.6, 24.95));
#9170 = CARTESIAN_POINT ('', (35.5, 12.6058373188457, 24.95));
#9180 = CARTESIAN_POINT ('', (35.4997338118113, 12.6117318686936, 24.949071691466));
#9190 = CARTESIAN_POINT ('', (35.4992504125323, 12.6172995117188, 24.9473858778382));
#9200 = CARTESIAN_POINT ('', (35.4987678965379, 12.6228569813455, 24.94570314459));
#9210 = CARTESIAN_POINT ('', (35.4980668578141, 12.6281950307897, 24.9432583320189));
#9220 = CARTESIAN_POINT ('', (35.4972303690849, 12.6331689841664, 24.9403411491426));
#9230 = CARTESIAN_POINT ('', (35.4963980803549, 12.6381179633871, 24.937438613404));
#9240 = CARTESIAN_POINT ('', (35.4954245082278, 12.6427706075352, 24.9340433639061));
#9250 = CARTESIAN_POINT ('', (35.4943691243724, 12.6471237041275, 24.9303628030049));
#9260 = CARTESIAN_POINT ('', (35.4933166137602, 12.6514649495765, 24.9266922622937));
#9270 = CARTESIAN_POINT ('', (35.4921765264672, 12.6555366271952, 24.9227163054007));
#9280 = CARTESIAN_POINT ('', (35.4909841077685, 12.6593723048218, 24.9185578472079));
#9290 = CARTESIAN_POINT ('', (35.4897932651798, 12.6632029125434, 24.9144048855637));
#9300 = CARTESIAN_POINT ('', (35.4885463072313, 12.6668103837998, 24.9100562264031));
#9310 = CARTESIAN_POINT ('', (35.4872638980649, 12.6702298546314, 24.9055839341533));
#9320 = CARTESIAN_POINT ('', (35.4843754781323, 12.6779316614864, 24.8955108167605));
#9330 = CARTESIAN_POINT ('', (35.4812987590809, 12.6847284256956, 24.884781022301));
#9340 = CARTESIAN_POINT ('', (35.4781447901883, 12.6909089309626, 24.8737818256296));
#9350 = CARTESIAN_POINT ('', (35.4749967050873, 12.6970779063742, 24.862803148178));
#9360 = CARTESIAN_POINT ('', (35.4717571018655, 12.7026483074822, 24.85150530911));
#9370 = CARTESIAN_POINT ('', (35.4684711325385, 12.7077844028661, 24.8400457722167));
#9380 = CARTESIAN_POINT ('', (35.4651870362484, 12.7129175706217, 24.8285927673799));
#9390 = CARTESIAN_POINT ('', (35.4618506352575, 12.7176215699719, 24.8169573543736));
#9400 = CARTESIAN_POINT ('', (35.4584840421556, 12.721995116222, 24.8052166489635));
#9410 = CARTESIAN_POINT ('', (35.4534356369869, 12.7285535071015, 24.7876107678598));
#9420 = CARTESIAN_POINT ('', (35.4483127979811, 12.7343797486083, 24.7697453051177));
#9430 = CARTESIAN_POINT ('', (35.4431524719474, 12.7396687859736, 24.7517491095729));
#9440 = CARTESIAN_POINT ('', (35.4408585122339, 12.7420199627327, 24.7437491213341));
#9450 = CARTESIAN_POINT ('', (35.4385560668034, 12.7442642182209, 24.7357195398838));
#9460 = CARTESIAN_POINT ('', (35.4362470668202, 12.7464128982805, 24.7276670999915));
#9470 = CARTESIAN_POINT ('', (35.4310467745156, 12.7512521206539, 24.7095315254963));
#9480 = CARTESIAN_POINT ('', (35.4258114256442, 12.7556112942903, 24.6912736942238));
#9490 = CARTESIAN_POINT ('', (35.4205555270978, 12.7595818438488, 24.6729441977174));
#9500 = CARTESIAN_POINT ('', (35.4170534539216, 12.7622274723708, 24.6607310171395));
#9510 = CARTESIAN_POINT ('', (35.4135408235254, 12.7647004698743, 24.64848101916));
#9520 = CARTESIAN_POINT ('', (35.4100211799876, 12.7670189808199, 24.6362065634491));
#9530 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#9160, #9170, #9180, #9190, #9200, #9210, #9220, #9230, #9240, #9250, #9260, #9270, #9280, #9290, #9300, #9310, #9320, #9330, #9340, #9350, #9360, #9370, #9380, #9390, #9400, #9410, #9420, #9430, #9440, #9450, #9460, #9470, #9480, #9490, #9500, #9510, #9520), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.0175119565370516, 0.0349919145945179, 0.0523841060074034, 0.0697289478269757, 0.0870508636579257, 0.126065686904109, 0.165007727222594, 0.203927570169186, 0.262290173058597, 0.288234553110098, 0.346666064981175, 0.385599737036589), .UNSPECIFIED.);
#9540 = EDGE_CURVE ('', #7400, #9100, #9530, .T.);
#9550 = ORIENTED_EDGE ('', *, *, #9540, .F.);
#9560 = ORIENTED_EDGE ('', *, *, #7460, .T.);
#9570 = CARTESIAN_POINT ('', (35.5, 10., 24.95));
#9580 = CARTESIAN_POINT ('', (35.5, 9.99416268115432, 24.95));
#9590 = CARTESIAN_POINT ('', (35.4997338118113, 9.98826813130642, 24.949071691466));
#9600 = CARTESIAN_POINT ('', (35.4992504125323, 9.98270048828125, 24.9473858778382));
#9610 = CARTESIAN_POINT ('', (35.4987678965379, 9.97714301865454, 24.94570314459));
#9620 = CARTESIAN_POINT ('', (35.4980668578141, 9.97180496921028, 24.9432583320189));
#9630 = CARTESIAN_POINT ('', (35.4972303690849, 9.96683101583361, 24.9403411491426));
#9640 = CARTESIAN_POINT ('', (35.4963980803549, 9.96188203661287, 24.937438613404));
#9650 = CARTESIAN_POINT ('', (35.4954245082278, 9.95722939246476, 24.9340433639061));
#9660 = CARTESIAN_POINT ('', (35.4943691243724, 9.95287629587247, 24.9303628030049));
#9670 = CARTESIAN_POINT ('', (35.4933166137602, 9.9485350504235, 24.9266922622937));
#9680 = CARTESIAN_POINT ('', (35.4921765264672, 9.94446337280483, 24.9227163054007));
#9690 = CARTESIAN_POINT ('', (35.4909841077685, 9.94062769517818, 24.9185578472079));
#9700 = CARTESIAN_POINT ('', (35.4897932651798, 9.9367970874566, 24.9144048855637));
#9710 = CARTESIAN_POINT ('', (35.4885463072313, 9.93318961620019, 24.9100562264031));
#9720 = CARTESIAN_POINT ('', (35.4872638980649, 9.92977014536864, 24.9055839341533));
#9730 = CARTESIAN_POINT ('', (35.4843754781323, 9.92206833851364, 24.8955108167605));
#9740 = CARTESIAN_POINT ('', (35.4812987590809, 9.91527157430441, 24.884781022301));
#9750 = CARTESIAN_POINT ('', (35.4781447901883, 9.90909106903741, 24.8737818256296));
#9760 = CARTESIAN_POINT ('', (35.4749967050873, 9.90292209362576, 24.862803148178));
#9770 = CARTESIAN_POINT ('', (35.4717571018655, 9.8973516925178, 24.85150530911));
#9780 = CARTESIAN_POINT ('', (35.4684711325385, 9.89221559713389, 24.8400457722167));
#9790 = CARTESIAN_POINT ('', (35.4651870362484, 9.88708242937828, 24.8285927673799));
#9800 = CARTESIAN_POINT ('', (35.4618506352575, 9.88237843002808, 24.8169573543736));
#9810 = CARTESIAN_POINT ('', (35.4584840421556, 9.87800488377798, 24.8052166489635));
#9820 = CARTESIAN_POINT ('', (35.4534356369869, 9.87144649289846, 24.7876107678598));
#9830 = CARTESIAN_POINT ('', (35.4483127979811, 9.8656202513917, 24.7697453051177));
#9840 = CARTESIAN_POINT ('', (35.4431524719474, 9.86033121402641, 24.7517491095729));
#9850 = CARTESIAN_POINT ('', (35.4408585122339, 9.85798003726735, 24.7437491213341));
#9860 = CARTESIAN_POINT ('', (35.4385560668034, 9.85573578177907, 24.7357195398838));
#9870 = CARTESIAN_POINT ('', (35.4362470668202, 9.85358710171949, 24.7276670999915));
#9880 = CARTESIAN_POINT ('', (35.4310467745156, 9.84874787934612, 24.7095315254963));
#9890 = CARTESIAN_POINT ('', (35.4258114256442, 9.84438870570974, 24.6912736942238));
#9900 = CARTESIAN_POINT ('', (35.4205555270978, 9.84041815615121, 24.6729441977174));
#9910 = CARTESIAN_POINT ('', (35.4170534539216, 9.83777252762917, 24.6607310171395));
#9920 = CARTESIAN_POINT ('', (35.4135408235254, 9.83529953012572, 24.64848101916));
#9930 = CARTESIAN_POINT ('', (35.4100211799876, 9.83298101918007, 24.6362065634491));
#9940 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#9570, #9580, #9590, #9600, #9610, #9620, #9630, #9640, #9650, #9660, #9670, #9680, #9690, #9700, #9710, #9720, #9730, #9740, #9750, #9760, #9770, #9780, #9790, #9800, #9810, #9820, #9830, #9840, #9850, #9860, #9870, #9880, #9890, #9900, #9910, #9920, #9930), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.0175119565370516, 0.0349919145945181, 0.052384106007405, 0.0697289478269778, 0.0870508636579278, 0.12606568690411, 0.165007727222596, 0.203927570169188, 0.262290173058599, 0.2882345531101, 0.346666064981178, 0.385599737036589), .UNSPECIFIED.);
#9950 = EDGE_CURVE ('', #7420, #8900, #9940, .T.);
#9960 = ORIENTED_EDGE ('', *, *, #9950, .T.);
#9970 = EDGE_LOOP ('', (#8950, #9000, #9010, #9080, #9150, #9550, #9560, #9960));
#9980 = FACE_OUTER_BOUND ('', #9970, .T.);
#9990 = CARTESIAN_POINT ('', (34.0806103404939, 9.83298101918007, 20.));
#10000 = CARTESIAN_POINT ('', (35.5, 9.83298101918007, 24.95));
#10010 = CARTESIAN_POINT ('', (34.0806103404939, 12.7670189808199, 20.));
#10020 = CARTESIAN_POINT ('', (35.5, 12.7670189808199, 24.95));
#10030 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9990, #10000), (#10010, #10020)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.426649050959003, 0.573350949040997), (0.00999999999999933, 1.), .UNSPECIFIED.);
#10040 = ADVANCED_FACE ('', (#9980), #10030, .T.);
#10050 = CARTESIAN_POINT ('', (31.5, 12.6675036729083, 23.689381655204));
#10060 = VERTEX_POINT ('', #10050);
#10070 = CARTESIAN_POINT ('', (35.2930201006595, 12.7998781654038, 24.9488408212488));
#10080 = VERTEX_POINT ('', #10070);
#10090 = CARTESIAN_POINT ('', (31.5, 12.6675036729083, 23.689381655204));
#10100 = CARTESIAN_POINT ('', (35.2930201006595, 12.7998781654038, 24.9488408212488));
#10110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10090, #10100), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10120 = EDGE_CURVE ('', #10060, #10080, #10110, .T.);
#10130 = ORIENTED_EDGE ('', *, *, #10120, .F.);
#10140 = CARTESIAN_POINT ('', (31.5, 12.6675036729083, 25.));
#10150 = CARTESIAN_POINT ('', (31.5, 12.6675036729083, 23.689381655204));
#10160 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10140, #10150), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.262123668959201), .UNSPECIFIED.);
#10170 = EDGE_CURVE ('', #6890, #10060, #10160, .T.);
#10180 = ORIENTED_EDGE ('', *, *, #10170, .F.);
#10190 = ORIENTED_EDGE ('', *, *, #6930, .F.);
#10200 = CARTESIAN_POINT ('', (35.2930201006595, 12.7998781654038, 25.));
#10210 = CARTESIAN_POINT ('', (35.2930201006595, 12.7998781654038, 24.9488408212488));
#10220 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10200, #10210), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.051159178751198), .UNSPECIFIED.);
#10230 = EDGE_CURVE ('', #6790, #10080, #10220, .T.);
#10240 = ORIENTED_EDGE ('', *, *, #10230, .T.);
#10250 = EDGE_LOOP ('', (#10130, #10180, #10190, #10240));
#10260 = FACE_OUTER_BOUND ('', #10250, .T.);
#10270 = CARTESIAN_POINT ('', (35.2930201006595, 12.7998781654038, 25.));
#10280 = CARTESIAN_POINT ('', (31.5, 12.6675036729083, 25.));
#10290 = CARTESIAN_POINT ('', (35.2930201006595, 12.7998781654038, 23.689381655204));
#10300 = CARTESIAN_POINT ('', (31.5, 12.6675036729083, 23.689381655204));
#10310 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10270, #10280), (#10290, #10300)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.262123668959201), (0., 1.), .UNSPECIFIED.);
#10320 = ADVANCED_FACE ('', (#10260), #10310, .T.);
#10330 = CARTESIAN_POINT ('', (35.2930201006595, 9.80012183459618, 24.9488408212488));
#10340 = VERTEX_POINT ('', #10330);
#10350 = CARTESIAN_POINT ('', (35.2930201006595, 9.80012183459618, 25.));
#10360 = CARTESIAN_POINT ('', (35.2930201006595, 9.80012183459618, 24.9488408212488));
#10370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10350, #10360), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0102318357502394), .UNSPECIFIED.);
#10380 = EDGE_CURVE ('', #6550, #10340, #10370, .T.);
#10390 = ORIENTED_EDGE ('', *, *, #10380, .T.);
#10400 = CARTESIAN_POINT ('', (35.4100211799874, 9.83298101917989, 24.6362065634491));
#10410 = CARTESIAN_POINT ('', (35.4067087695163, 9.83079901982365, 24.6569669005632));
#10420 = CARTESIAN_POINT ('', (35.4031894746342, 9.82862013589464, 24.677697596369));
#10430 = CARTESIAN_POINT ('', (35.3993944977713, 9.8264467407025, 24.6983760703301));
#10440 = CARTESIAN_POINT ('', (35.3958999053884, 9.82444537664734, 24.7174177773564));
#10450 = CARTESIAN_POINT ('', (35.3921723420913, 9.82244816111443, 24.7364200138302));
#10460 = CARTESIAN_POINT ('', (35.3881181048401, 9.82045836249106, 24.7553516831235));
#10470 = CARTESIAN_POINT ('', (35.3840632183454, 9.81846824522241, 24.7742863841241));
#10480 = CARTESIAN_POINT ('', (35.3796858125827, 9.81648458963776, 24.7931596063081));
#10490 = CARTESIAN_POINT ('', (35.3748016549923, 9.81451492671804, 24.8118996971783));
#10500 = CARTESIAN_POINT ('', (35.3715453222201, 9.81320172627418, 24.8243939648026));
#10510 = CARTESIAN_POINT ('', (35.3680623559449, 9.81189416128379, 24.8368346146688));
#10520 = CARTESIAN_POINT ('', (35.3642400352387, 9.81059773530252, 24.8491692839425));
#10530 = CARTESIAN_POINT ('', (35.3604154031148, 9.80930052535203, 24.8615114121851));
#10540 = CARTESIAN_POINT ('', (35.3562572462076, 9.80801252020701, 24.8737659625537));
#10550 = CARTESIAN_POINT ('', (35.3515166646173, 9.80674878197872, 24.8857896286324));
#10560 = CARTESIAN_POINT ('', (35.3483548758719, 9.80590591634478, 24.8938089594597));
#10570 = CARTESIAN_POINT ('', (35.344930844469, 9.80507233990897, 24.9017399094703));
#10580 = CARTESIAN_POINT ('', (35.3410686188987, 9.80426199004345, 24.9094498734264));
#10590 = CARTESIAN_POINT ('', (35.338492610035, 9.80372150673963, 24.9145922285603));
#10600 = CARTESIAN_POINT ('', (35.3357165158993, 9.8031901468234, 24.9196477804597));
#10610 = CARTESIAN_POINT ('', (35.3326298857148, 9.80267972593208, 24.9245041108448));
#10620 = CARTESIAN_POINT ('', (35.3295290495371, 9.80216695586537, 24.9293827921407));
#10630 = CARTESIAN_POINT ('', (35.3261020513273, 9.80167033048273, 24.9341078670294));
#10640 = CARTESIAN_POINT ('', (35.3221297331609, 9.80122808319516, 24.9383155689022));
#10650 = CARTESIAN_POINT ('', (35.3209584916034, 9.80109768618762, 24.9395562135557));
#10660 = CARTESIAN_POINT ('', (35.3197359701016, 9.8009719995647, 24.9407520418937));
#10670 = CARTESIAN_POINT ('', (35.3184555821186, 9.80085334175857, 24.9418809955065));
#10680 = CARTESIAN_POINT ('', (35.3171739318526, 9.8007345669725, 24.9430110621092));
#10690 = CARTESIAN_POINT ('', (35.315830317882, 9.80062247899023, 24.944077508023));
#10700 = CARTESIAN_POINT ('', (35.314421603627, 9.80052063427794, 24.9450464957334));
#10710 = CARTESIAN_POINT ('', (35.3130104976561, 9.80041861665364, 24.9460171285918));
#10720 = CARTESIAN_POINT ('', (35.3115262305202, 9.80032639522032, 24.9468945569178));
#10730 = CARTESIAN_POINT ('', (35.3099781814898, 9.80024906534847, 24.9476303015019));
#10740 = CARTESIAN_POINT ('', (35.3084263558302, 9.80017154682221, 24.9483678410126));
#10750 = CARTESIAN_POINT ('', (35.3067961959095, 9.80010851984071, 24.948967502685));
#10760 = CARTESIAN_POINT ('', (35.30512578125, 9.8000656948731, 24.9493749550346));
#10770 = CARTESIAN_POINT ('', (35.303453942884, 9.80002283340546, 24.9497827546588));
#10780 = CARTESIAN_POINT ('', (35.3017213893112, 9.8, 24.95));
#10790 = CARTESIAN_POINT ('', (35.3, 9.8, 24.95));
#10800 = CARTESIAN_POINT ('', (35.2976411506136, 9.8, 24.95));
#10810 = CARTESIAN_POINT ('', (35.295257400655, 9.80004370635875, 24.9495841617739));
#10820 = CARTESIAN_POINT ('', (35.2930201006595, 9.80012183459618, 24.9488408212488));
#10830 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#10400, #10410, #10420, #10430, #10440, #10450, #10460, #10470, #10480, #10490, #10500, #10510, #10520, #10530, #10540, #10550, #10560, #10570, #10580, #10590, #10600, #10610, #10620, #10630, #10640, #10650, #10660, #10670, #10680, #10690, #10700, #10710, #10720, #10730, #10740, #10750, #10760, #10770, #10780, #10790, #10800, #10810, #10820), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.413023907471823, 0.476431501912088, 0.534820183729082, 0.59321821587806, 0.632152959976104, 0.671111248527697, 0.69709495452159, 0.71442544331204, 0.731835694429275, 0.736969122513512, 0.742107611437823, 0.747254824491648, 0.75241459471601, 0.757578762649745, 0.764655310808932), .UNSPECIFIED.);
#10840 = EDGE_CURVE ('', #8900, #10340, #10830, .T.);
#10850 = ORIENTED_EDGE ('', *, *, #10840, .F.);
#10860 = ORIENTED_EDGE ('', *, *, #9950, .F.);
#10870 = ORIENTED_EDGE ('', *, *, #7570, .F.);
#10880 = ORIENTED_EDGE ('', *, *, #6690, .F.);
#10890 = EDGE_LOOP ('', (#10390, #10850, #10860, #10870, #10880));
#10900 = FACE_OUTER_BOUND ('', #10890, .T.);
#10910 = CARTESIAN_POINT ('', (35.2930201006595, 9.80012183459618, 25.));
#10920 = CARTESIAN_POINT ('', (35.3778633481836, 9.79715904310646, 25.));
#10930 = CARTESIAN_POINT ('', (35.4389316740918, 9.85613203993227, 25.));
#10940 = CARTESIAN_POINT ('', (35.5, 9.91510503675808, 25.));
#10950 = CARTESIAN_POINT ('', (35.5, 10., 25.));
#10960 = CARTESIAN_POINT ('', (35.2930201006595, 9.80012183459618, 24.6362065634491));
#10970 = CARTESIAN_POINT ('', (35.3778633481836, 9.79715904310646, 24.6362065634491));
#10980 = CARTESIAN_POINT ('', (35.4389316740918, 9.85613203993227, 24.6362065634491));
#10990 = CARTESIAN_POINT ('', (35.5, 9.91510503675808, 24.6362065634491));
#11000 = CARTESIAN_POINT ('', (35.5, 10., 24.6362065634491));
#11010 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#10910, #10920, #10930, #10940, #10950), (#10960, #10970, #10980, #10990, #11000)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 3), (0., 0.363793436550882), (0., 0.5, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.92050485345244, 1., 0.92050485345244, 1.), (1., 0.92050485345244, 1., 0.92050485345244, 1.)))
   REPRESENTATION_ITEM ('')
);
#11020 = ADVANCED_FACE ('', (#10900), #11010, .T.);
#11030 = CARTESIAN_POINT ('', (31.5, 9.93249632709167, 23.689381655204));
#11040 = VERTEX_POINT ('', #11030);
#11050 = CARTESIAN_POINT ('', (35.2930201006595, 9.80012183459618, 24.9488408212488));
#11060 = CARTESIAN_POINT ('', (31.5, 9.93249632709167, 23.689381655204));
#11070 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11050, #11060), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11080 = EDGE_CURVE ('', #10340, #11040, #11070, .T.);
#11090 = ORIENTED_EDGE ('', *, *, #11080, .F.);
#11100 = ORIENTED_EDGE ('', *, *, #10380, .F.);
#11110 = ORIENTED_EDGE ('', *, *, #6590, .F.);
#11120 = CARTESIAN_POINT ('', (31.5, 9.93249632709167, 25.));
#11130 = CARTESIAN_POINT ('', (31.5, 9.93249632709167, 23.689381655204));
#11140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11120, #11130), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.262123668959201), .UNSPECIFIED.);
#11150 = EDGE_CURVE ('', #6480, #11040, #11140, .T.);
#11160 = ORIENTED_EDGE ('', *, *, #11150, .T.);
#11170 = EDGE_LOOP ('', (#11090, #11100, #11110, #11160));
#11180 = FACE_OUTER_BOUND ('', #11170, .T.);
#11190 = CARTESIAN_POINT ('', (31.5, 9.93249632709167, 25.));
#11200 = CARTESIAN_POINT ('', (35.2930201006595, 9.80012183459618, 25.));
#11210 = CARTESIAN_POINT ('', (31.5, 9.93249632709167, 23.689381655204));
#11220 = CARTESIAN_POINT ('', (35.2930201006595, 9.80012183459618, 23.689381655204));
#11230 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11190, #11200), (#11210, #11220)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.262123668959201), (0., 1.), .UNSPECIFIED.);
#11240 = ADVANCED_FACE ('', (#11180), #11230, .T.);
#11250 = CARTESIAN_POINT ('', (31.5, 9.93249632709167, 23.689381655204));
#11260 = CARTESIAN_POINT ('', (31.5, 10.15, 21.6199724410221));
#11270 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11250, #11260), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11280 = EDGE_CURVE ('', #11040, #7960, #11270, .T.);
#11290 = ORIENTED_EDGE ('', *, *, #11280, .F.);
#11300 = ORIENTED_EDGE ('', *, *, #11150, .F.);
#11310 = ORIENTED_EDGE ('', *, *, #6520, .F.);
#11320 = ORIENTED_EDGE ('', *, *, #8070, .T.);
#11330 = EDGE_LOOP ('', (#11290, #11300, #11310, #11320));
#11340 = FACE_OUTER_BOUND ('', #11330, .T.);
#11350 = CARTESIAN_POINT ('', (31.5, 10.15, 25.));
#11360 = CARTESIAN_POINT ('', (31.5, 9.93249632709167, 25.));
#11370 = CARTESIAN_POINT ('', (31.5, 10.15, 21.6199724410221));
#11380 = CARTESIAN_POINT ('', (31.5, 9.93249632709167, 21.6199724410221));
#11390 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11350, #11360), (#11370, #11380)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.676005511795581), (0., 1.), .UNSPECIFIED.);
#11400 = ADVANCED_FACE ('', (#11340), #11390, .T.);
#11410 = CARTESIAN_POINT ('', (35.2930201006595, 12.7998781654038, 24.9488408212488));
#11420 = CARTESIAN_POINT ('', (35.295257400655, 12.7999562936412, 24.9495841617739));
#11430 = CARTESIAN_POINT ('', (35.2976411506136, 12.8, 24.95));
#11440 = CARTESIAN_POINT ('', (35.3, 12.8, 24.95));
#11450 = CARTESIAN_POINT ('', (35.3017213893113, 12.8, 24.95));
#11460 = CARTESIAN_POINT ('', (35.303453942884, 12.7999771665945, 24.9497827546587));
#11470 = CARTESIAN_POINT ('', (35.30512578125, 12.7999343051269, 24.9493749550346));
#11480 = CARTESIAN_POINT ('', (35.3067961959096, 12.7998914801593, 24.948967502685));
#11490 = CARTESIAN_POINT ('', (35.3084263558303, 12.7998284531778, 24.9483678410126));
#11500 = CARTESIAN_POINT ('', (35.3099781814899, 12.7997509346515, 24.9476303015018));
#11510 = CARTESIAN_POINT ('', (35.3115262305202, 12.7996736047797, 24.9468945569178));
#11520 = CARTESIAN_POINT ('', (35.3130104976562, 12.7995813833464, 24.9460171285917));
#11530 = CARTESIAN_POINT ('', (35.314421603627, 12.7994793657221, 24.9450464957334));
#11540 = CARTESIAN_POINT ('', (35.315830317882, 12.7993775210098, 24.9440775080229));
#11550 = CARTESIAN_POINT ('', (35.3171739318527, 12.7992654330275, 24.9430110621091));
#11560 = CARTESIAN_POINT ('', (35.3184555821187, 12.7991466582414, 24.9418809955064));
#11570 = CARTESIAN_POINT ('', (35.3197359701016, 12.7990280004353, 24.9407520418936));
#11580 = CARTESIAN_POINT ('', (35.3209584916034, 12.7989023138124, 24.9395562135557));
#11590 = CARTESIAN_POINT ('', (35.3221297331609, 12.7987719168048, 24.9383155689022));
#11600 = CARTESIAN_POINT ('', (35.3261020513273, 12.7983296695173, 24.9341078670293));
#11610 = CARTESIAN_POINT ('', (35.3295290495372, 12.7978330441346, 24.9293827921406));
#11620 = CARTESIAN_POINT ('', (35.3326298857149, 12.7973202740679, 24.9245041108447));
#11630 = CARTESIAN_POINT ('', (35.3357165158994, 12.7968098531766, 24.9196477804597));
#11640 = CARTESIAN_POINT ('', (35.3384926100351, 12.7962784932604, 24.9145922285602));
#11650 = CARTESIAN_POINT ('', (35.3410686188988, 12.7957380099565, 24.9094498734263));
#11660 = CARTESIAN_POINT ('', (35.344930844469, 12.794927660091, 24.9017399094702));
#11670 = CARTESIAN_POINT ('', (35.3483548758719, 12.7940940836552, 24.8938089594596));
#11680 = CARTESIAN_POINT ('', (35.3515166646173, 12.7932512180213, 24.8857896286323));
#11690 = CARTESIAN_POINT ('', (35.3562572462076, 12.791987479793, 24.8737659625536));
#11700 = CARTESIAN_POINT ('', (35.3604154031148, 12.790699474648, 24.861511412185));
#11710 = CARTESIAN_POINT ('', (35.3642400352387, 12.7894022646975, 24.8491692839424));
#11720 = CARTESIAN_POINT ('', (35.368062355945, 12.7881058387162, 24.8368346146687));
#11730 = CARTESIAN_POINT ('', (35.3715453222201, 12.7867982737258, 24.8243939648025));
#11740 = CARTESIAN_POINT ('', (35.3748016549923, 12.785485073282, 24.8118996971782));
#11750 = CARTESIAN_POINT ('', (35.3796858125827, 12.7835154103622, 24.793159606308));
#11760 = CARTESIAN_POINT ('', (35.3840632183455, 12.7815317547776, 24.774286384124));
#11770 = CARTESIAN_POINT ('', (35.3881181048401, 12.7795416375089, 24.7553516831234));
#11780 = CARTESIAN_POINT ('', (35.3921723420913, 12.7775518388856, 24.7364200138302));
#11790 = CARTESIAN_POINT ('', (35.3958999053884, 12.7755546233527, 24.7174177773564));
#11800 = CARTESIAN_POINT ('', (35.3993944977713, 12.7735532592975, 24.69837607033));
#11810 = CARTESIAN_POINT ('', (35.4031894746342, 12.7713798641054, 24.6776975963689));
#11820 = CARTESIAN_POINT ('', (35.4067087695163, 12.7692009801763, 24.6569669005632));
#11830 = CARTESIAN_POINT ('', (35.4100211799874, 12.7670189808201, 24.6362065634491));
#11840 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#11410, #11420, #11430, #11440, #11450, #11460, #11470, #11480, #11490, #11500, #11510, #11520, #11530, #11540, #11550, #11560, #11570, #11580, #11590, #11600, #11610, #11620, #11630, #11640, #11650, #11660, #11670, #11680, #11690, #11700, #11710, #11720, #11730, #11740, #11750, #11760, #11770, #11780, #11790, #11800, #11810, #11820, #11830), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.00707654815922698, 0.0122407160930046, 0.0174004863173686, 0.0225476993711939, 0.0276861882955064, 0.0328196163797426, 0.0502298674969788, 0.0675603562874283, 0.0935440622813218, 0.132502350832915, 0.171437094930958, 0.229835127079936, 0.28822380889693, 0.351631403337111), .UNSPECIFIED.);
#11850 = EDGE_CURVE ('', #10080, #9100, #11840, .T.);
#11860 = ORIENTED_EDGE ('', *, *, #11850, .F.);
#11870 = ORIENTED_EDGE ('', *, *, #10230, .F.);
#11880 = ORIENTED_EDGE ('', *, *, #6860, .F.);
#11890 = ORIENTED_EDGE ('', *, *, #7510, .T.);
#11900 = ORIENTED_EDGE ('', *, *, #9540, .T.);
#11910 = EDGE_LOOP ('', (#11860, #11870, #11880, #11890, #11900));
#11920 = FACE_OUTER_BOUND ('', #11910, .T.);
#11930 = CARTESIAN_POINT ('', (35.5, 12.6, 25.));
#11940 = CARTESIAN_POINT ('', (35.5, 12.6848949632419, 25.));
#11950 = CARTESIAN_POINT ('', (35.4389316740918, 12.7438679600677, 25.));
#11960 = CARTESIAN_POINT ('', (35.3778633481836, 12.8028409568935, 25.));
#11970 = CARTESIAN_POINT ('', (35.2930201006595, 12.7998781654038, 25.));
#11980 = CARTESIAN_POINT ('', (35.5, 12.6, 24.6362065634491));
#11990 = CARTESIAN_POINT ('', (35.5, 12.6848949632419, 24.6362065634491));
#12000 = CARTESIAN_POINT ('', (35.4389316740918, 12.7438679600677, 24.6362065634491));
#12010 = CARTESIAN_POINT ('', (35.3778633481836, 12.8028409568935, 24.6362065634491));
#12020 = CARTESIAN_POINT ('', (35.2930201006595, 12.7998781654038, 24.6362065634491));
#12030 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#11930, #11940, #11950, #11960, #11970), (#11980, #11990, #12000, #12010, #12020)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 3), (0., 0.363793436550883), (0., 0.5, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.92050485345244, 1., 0.92050485345244, 1.), (1., 0.92050485345244, 1., 0.92050485345244, 1.)))
   REPRESENTATION_ITEM ('')
);
#12040 = ADVANCED_FACE ('', (#11920), #12030, .T.);
#12050 = CARTESIAN_POINT ('', (31.5, 12.45, 21.6199724410221));
#12060 = CARTESIAN_POINT ('', (31.5, 12.6675036729083, 23.689381655204));
#12070 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12050, #12060), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12080 = EDGE_CURVE ('', #8260, #10060, #12070, .T.);
#12090 = ORIENTED_EDGE ('', *, *, #12080, .F.);
#12100 = ORIENTED_EDGE ('', *, *, #8410, .F.);
#12110 = ORIENTED_EDGE ('', *, *, #7000, .F.);
#12120 = ORIENTED_EDGE ('', *, *, #10170, .T.);
#12130 = EDGE_LOOP ('', (#12090, #12100, #12110, #12120));
#12140 = FACE_OUTER_BOUND ('', #12130, .T.);
#12150 = CARTESIAN_POINT ('', (31.5, 12.6675036729083, 25.));
#12160 = CARTESIAN_POINT ('', (31.5, 12.45, 25.));
#12170 = CARTESIAN_POINT ('', (31.5, 12.6675036729083, 21.6199724410221));
#12180 = CARTESIAN_POINT ('', (31.5, 12.45, 21.6199724410221));
#12190 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12150, #12160), (#12170, #12180)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.676005511795582), (0., 1.), .UNSPECIFIED.);
#12200 = ADVANCED_FACE ('', (#12140), #12190, .T.);
#12210 = CARTESIAN_POINT ('', (15.5899788200124, 9.83298101918007, 24.6362065634491));
#12220 = VERTEX_POINT ('', #12210);
#12230 = CARTESIAN_POINT ('', (16.6214812827433, 10.2110700239363, 21.0389299760637));
#12240 = VERTEX_POINT ('', #12230);
#12250 = CARTESIAN_POINT ('', (15.5899788200124, 9.83298101918007, 24.6362065634491));
#12260 = CARTESIAN_POINT ('', (16.6214812827433, 10.2110700239363, 21.0389299760637));
#12270 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12250, #12260), .UNSPECIFIED., .F., .U., (2, 2), (0.0802321192488068, 1.), .UNSPECIFIED.);
#12280 = EDGE_CURVE ('', #12220, #12240, #12270, .T.);
#12290 = ORIENTED_EDGE ('', *, *, #12280, .F.);
#12300 = CARTESIAN_POINT ('', (15.5, 10., 24.95));
#12310 = CARTESIAN_POINT ('', (15.5, 9.99416268115432, 24.95));
#12320 = CARTESIAN_POINT ('', (15.5002661881887, 9.98826813130642, 24.949071691466));
#12330 = CARTESIAN_POINT ('', (15.5007495874677, 9.98270048828125, 24.9473858778382));
#12340 = CARTESIAN_POINT ('', (15.5012321034621, 9.97714301865454, 24.94570314459));
#12350 = CARTESIAN_POINT ('', (15.5019331421859, 9.97180496921028, 24.9432583320189));
#12360 = CARTESIAN_POINT ('', (15.5027696309151, 9.96683101583361, 24.9403411491426));
#12370 = CARTESIAN_POINT ('', (15.5036019196451, 9.96188203661287, 24.937438613404));
#12380 = CARTESIAN_POINT ('', (15.5045754917722, 9.95722939246475, 24.9340433639061));
#12390 = CARTESIAN_POINT ('', (15.5056308756276, 9.95287629587246, 24.9303628030049));
#12400 = CARTESIAN_POINT ('', (15.5066833862398, 9.94853505042349, 24.9266922622937));
#12410 = CARTESIAN_POINT ('', (15.5078234735328, 9.94446337280482, 24.9227163054007));
#12420 = CARTESIAN_POINT ('', (15.5090158922315, 9.94062769517817, 24.9185578472079));
#12430 = CARTESIAN_POINT ('', (15.5102067348202, 9.93679708745659, 24.9144048855637));
#12440 = CARTESIAN_POINT ('', (15.5114536927687, 9.9331896162002, 24.9100562264031));
#12450 = CARTESIAN_POINT ('', (15.5127361019351, 9.92977014536864, 24.9055839341533));
#12460 = CARTESIAN_POINT ('', (15.5156245218677, 9.92206833851364, 24.8955108167605));
#12470 = CARTESIAN_POINT ('', (15.5187012409191, 9.91527157430442, 24.884781022301));
#12480 = CARTESIAN_POINT ('', (15.5218552098117, 9.90909106903743, 24.8737818256296));
#12490 = CARTESIAN_POINT ('', (15.5250032949127, 9.90292209362577, 24.862803148178));
#12500 = CARTESIAN_POINT ('', (15.5282428981345, 9.8973516925178, 24.85150530911));
#12510 = CARTESIAN_POINT ('', (15.5315288674615, 9.89221559713389, 24.8400457722167));
#12520 = CARTESIAN_POINT ('', (15.5348129637516, 9.88708242937828, 24.8285927673799));
#12530 = CARTESIAN_POINT ('', (15.5381493647425, 9.88237843002808, 24.8169573543736));
#12540 = CARTESIAN_POINT ('', (15.5415159578444, 9.87800488377798, 24.8052166489635));
#12550 = CARTESIAN_POINT ('', (15.5465643630131, 9.87144649289846, 24.7876107678598));
#12560 = CARTESIAN_POINT ('', (15.5516872020189, 9.8656202513917, 24.7697453051177));
#12570 = CARTESIAN_POINT ('', (15.5568475280526, 9.86033121402641, 24.7517491095729));
#12580 = CARTESIAN_POINT ('', (15.5591414877661, 9.85798003726735, 24.7437491213341));
#12590 = CARTESIAN_POINT ('', (15.5614439331966, 9.85573578177906, 24.7357195398838));
#12600 = CARTESIAN_POINT ('', (15.5637529331798, 9.85358710171948, 24.7276670999915));
#12610 = CARTESIAN_POINT ('', (15.5689532254844, 9.84874787934612, 24.7095315254963));
#12620 = CARTESIAN_POINT ('', (15.5741885743558, 9.84438870570974, 24.6912736942238));
#12630 = CARTESIAN_POINT ('', (15.5794444729022, 9.84041815615121, 24.6729441977174));
#12640 = CARTESIAN_POINT ('', (15.5829465460784, 9.83777252762917, 24.6607310171395));
#12650 = CARTESIAN_POINT ('', (15.5864591764746, 9.83529953012572, 24.6484810191599));
#12660 = CARTESIAN_POINT ('', (15.5899788200124, 9.83298101918007, 24.6362065634491));
#12670 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#12300, #12310, #12320, #12330, #12340, #12350, #12360, #12370, #12380, #12390, #12400, #12410, #12420, #12430, #12440, #12450, #12460, #12470, #12480, #12490, #12500, #12510, #12520, #12530, #12540, #12550, #12560, #12570, #12580, #12590, #12600, #12610, #12620, #12630, #12640, #12650, #12660), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.0175119565370524, 0.0349919145945167, 0.0523841060074023, 0.0697289478269731, 0.087050863657925, 0.126065686904109, 0.165007727222595, 0.203927570169186, 0.262290173058599, 0.288234553110102, 0.346666064981178, 0.385599737036604), .UNSPECIFIED.);
#12680 = EDGE_CURVE ('', #7680, #12220, #12670, .T.);
#12690 = ORIENTED_EDGE ('', *, *, #12680, .F.);
#12700 = ORIENTED_EDGE ('', *, *, #7740, .T.);
#12710 = CARTESIAN_POINT ('', (15.5899788200124, 12.7670189808199, 24.6362065634491));
#12720 = VERTEX_POINT ('', #12710);
#12730 = CARTESIAN_POINT ('', (15.5, 12.6, 24.95));
#12740 = CARTESIAN_POINT ('', (15.5, 12.6058373188457, 24.95));
#12750 = CARTESIAN_POINT ('', (15.5002661881887, 12.6117318686936, 24.949071691466));
#12760 = CARTESIAN_POINT ('', (15.5007495874677, 12.6172995117188, 24.9473858778382));
#12770 = CARTESIAN_POINT ('', (15.5012321034621, 12.6228569813455, 24.94570314459));
#12780 = CARTESIAN_POINT ('', (15.5019331421859, 12.6281950307897, 24.9432583320189));
#12790 = CARTESIAN_POINT ('', (15.5027696309151, 12.6331689841664, 24.9403411491426));
#12800 = CARTESIAN_POINT ('', (15.5036019196451, 12.6381179633871, 24.937438613404));
#12810 = CARTESIAN_POINT ('', (15.5045754917722, 12.6427706075352, 24.9340433639061));
#12820 = CARTESIAN_POINT ('', (15.5056308756276, 12.6471237041275, 24.9303628030049));
#12830 = CARTESIAN_POINT ('', (15.5066833862398, 12.6514649495765, 24.9266922622937));
#12840 = CARTESIAN_POINT ('', (15.5078234735328, 12.6555366271952, 24.9227163054007));
#12850 = CARTESIAN_POINT ('', (15.5090158922315, 12.6593723048218, 24.9185578472079));
#12860 = CARTESIAN_POINT ('', (15.5102067348202, 12.6632029125434, 24.9144048855637));
#12870 = CARTESIAN_POINT ('', (15.5114536927687, 12.6668103837998, 24.9100562264031));
#12880 = CARTESIAN_POINT ('', (15.5127361019351, 12.6702298546314, 24.9055839341533));
#12890 = CARTESIAN_POINT ('', (15.5156245218677, 12.6779316614864, 24.8955108167605));
#12900 = CARTESIAN_POINT ('', (15.5187012409191, 12.6847284256956, 24.884781022301));
#12910 = CARTESIAN_POINT ('', (15.5218552098117, 12.6909089309626, 24.8737818256296));
#12920 = CARTESIAN_POINT ('', (15.5250032949127, 12.6970779063742, 24.862803148178));
#12930 = CARTESIAN_POINT ('', (15.5282428981345, 12.7026483074822, 24.85150530911));
#12940 = CARTESIAN_POINT ('', (15.5315288674615, 12.7077844028661, 24.8400457722167));
#12950 = CARTESIAN_POINT ('', (15.5348129637516, 12.7129175706217, 24.8285927673799));
#12960 = CARTESIAN_POINT ('', (15.5381493647425, 12.7176215699719, 24.8169573543736));
#12970 = CARTESIAN_POINT ('', (15.5415159578444, 12.721995116222, 24.8052166489635));
#12980 = CARTESIAN_POINT ('', (15.5465643630131, 12.7285535071015, 24.7876107678598));
#12990 = CARTESIAN_POINT ('', (15.5516872020189, 12.7343797486083, 24.7697453051177));
#13000 = CARTESIAN_POINT ('', (15.5568475280526, 12.7396687859736, 24.7517491095728));
#13010 = CARTESIAN_POINT ('', (15.5591414877661, 12.7420199627326, 24.7437491213341));
#13020 = CARTESIAN_POINT ('', (15.5614439331966, 12.7442642182209, 24.7357195398838));
#13030 = CARTESIAN_POINT ('', (15.5637529331798, 12.7464128982805, 24.7276670999915));
#13040 = CARTESIAN_POINT ('', (15.5689532254844, 12.7512521206539, 24.7095315254962));
#13050 = CARTESIAN_POINT ('', (15.5741885743558, 12.7556112942903, 24.6912736942238));
#13060 = CARTESIAN_POINT ('', (15.5794444729022, 12.7595818438488, 24.6729441977174));
#13070 = CARTESIAN_POINT ('', (15.5829465460784, 12.7622274723708, 24.6607310171395));
#13080 = CARTESIAN_POINT ('', (15.5864591764746, 12.7647004698743, 24.6484810191599));
#13090 = CARTESIAN_POINT ('', (15.5899788200124, 12.7670189808199, 24.6362065634491));
#13100 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#12730, #12740, #12750, #12760, #12770, #12780, #12790, #12800, #12810, #12820, #12830, #12840, #12850, #12860, #12870, #12880, #12890, #12900, #12910, #12920, #12930, #12940, #12950, #12960, #12970, #12980, #12990, #13000, #13010, #13020, #13030, #13040, #13050, #13060, #13070, #13080, #13090), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.0175119565370503, 0.0349919145945169, 0.0523841060074036, 0.069728947826977, 0.0870508636579265, 0.12606568690411, 0.165007727222598, 0.203927570169189, 0.262290173058602, 0.288234553110104, 0.346666064981182, 0.385599737036602), .UNSPECIFIED.);
#13110 = EDGE_CURVE ('', #7700, #12720, #13100, .T.);
#13120 = ORIENTED_EDGE ('', *, *, #13110, .T.);
#13130 = CARTESIAN_POINT ('', (16.6214812827433, 12.3889299760637, 21.0389299760637));
#13140 = VERTEX_POINT ('', #13130);
#13150 = CARTESIAN_POINT ('', (16.6214812827433, 12.3889299760637, 21.0389299760637));
#13160 = CARTESIAN_POINT ('', (15.5899788200124, 12.7670189808199, 24.6362065634491));
#13170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13150, #13160), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.919767880751193), .UNSPECIFIED.);
#13180 = EDGE_CURVE ('', #13140, #12720, #13170, .T.);
#13190 = ORIENTED_EDGE ('', *, *, #13180, .F.);
#13200 = CARTESIAN_POINT ('', (16.9193896595061, 11.35, 20.));
#13210 = CARTESIAN_POINT ('', (16.6214812827433, 12.3889299760637, 21.0389299760637));
#13220 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13200, #13210), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13230 = EDGE_CURVE ('', #8610, #13140, #13220, .T.);
#13240 = ORIENTED_EDGE ('', *, *, #13230, .F.);
#13250 = ORIENTED_EDGE ('', *, *, #8650, .T.);
#13260 = CARTESIAN_POINT ('', (16.6214812827433, 10.2110700239363, 21.0389299760637));
#13270 = CARTESIAN_POINT ('', (16.9193896595061, 11.25, 20.));
#13280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13260, #13270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13290 = EDGE_CURVE ('', #12240, #8520, #13280, .T.);
#13300 = ORIENTED_EDGE ('', *, *, #13290, .F.);
#13310 = EDGE_LOOP ('', (#12290, #12690, #12700, #13120, #13190, #13240, #13250, #13300));
#13320 = FACE_OUTER_BOUND ('', #13310, .T.);
#13330 = CARTESIAN_POINT ('', (15.5, 9.83298101918007, 24.95));
#13340 = CARTESIAN_POINT ('', (16.9193896595061, 9.83298101918007, 20.));
#13350 = CARTESIAN_POINT ('', (15.5, 12.7670189808199, 24.95));
#13360 = CARTESIAN_POINT ('', (16.9193896595061, 12.7670189808199, 20.));
#13370 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13330, #13340), (#13350, #13360)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.426649050959003, 0.573350949040996), (0., 0.99), .UNSPECIFIED.);
#13380 = ADVANCED_FACE ('', (#13320), #13370, .T.);
#13390 = CARTESIAN_POINT ('', (19.5, 9.93249632709167, 23.689381655204));
#13400 = VERTEX_POINT ('', #13390);
#13410 = CARTESIAN_POINT ('', (15.7069798993405, 9.80012183459618, 24.9488408212488));
#13420 = VERTEX_POINT ('', #13410);
#13430 = CARTESIAN_POINT ('', (19.5, 9.93249632709167, 23.689381655204));
#13440 = CARTESIAN_POINT ('', (15.7069798993405, 9.80012183459618, 24.9488408212488));
#13450 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13430, #13440), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13460 = EDGE_CURVE ('', #13400, #13420, #13450, .T.);
#13470 = ORIENTED_EDGE ('', *, *, #13460, .F.);
#13480 = CARTESIAN_POINT ('', (19.5, 9.93249632709167, 25.));
#13490 = CARTESIAN_POINT ('', (19.5, 9.93249632709167, 23.689381655204));
#13500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13480, #13490), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.262123668959201), .UNSPECIFIED.);
#13510 = EDGE_CURVE ('', #6270, #13400, #13500, .T.);
#13520 = ORIENTED_EDGE ('', *, *, #13510, .F.);
#13530 = ORIENTED_EDGE ('', *, *, #6310, .F.);
#13540 = CARTESIAN_POINT ('', (15.7069798993405, 9.80012183459618, 25.));
#13550 = CARTESIAN_POINT ('', (15.7069798993405, 9.80012183459618, 24.9488408212488));
#13560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13540, #13550), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0102318357502396), .UNSPECIFIED.);
#13570 = EDGE_CURVE ('', #6170, #13420, #13560, .T.);
#13580 = ORIENTED_EDGE ('', *, *, #13570, .T.);
#13590 = EDGE_LOOP ('', (#13470, #13520, #13530, #13580));
#13600 = FACE_OUTER_BOUND ('', #13590, .T.);
#13610 = CARTESIAN_POINT ('', (15.7069798993405, 9.80012183459618, 25.));
#13620 = CARTESIAN_POINT ('', (19.5, 9.93249632709167, 25.));
#13630 = CARTESIAN_POINT ('', (15.7069798993405, 9.80012183459618, 23.689381655204));
#13640 = CARTESIAN_POINT ('', (19.5, 9.93249632709167, 23.689381655204));
#13650 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13610, #13620), (#13630, #13640)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.262123668959201), (0., 1.), .UNSPECIFIED.);
#13660 = ADVANCED_FACE ('', (#13600), #13650, .T.);
#13670 = CARTESIAN_POINT ('', (15.7069798993405, 12.7998781654038, 24.9488408212488));
#13680 = VERTEX_POINT ('', #13670);
#13690 = CARTESIAN_POINT ('', (19.5, 12.6675036729083, 23.689381655204));
#13700 = VERTEX_POINT ('', #13690);
#13710 = CARTESIAN_POINT ('', (15.7069798993405, 12.7998781654038, 24.9488408212488));
#13720 = CARTESIAN_POINT ('', (19.5, 12.6675036729083, 23.689381655204));
#13730 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13710, #13720), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13740 = EDGE_CURVE ('', #13680, #13700, #13730, .T.);
#13750 = ORIENTED_EDGE ('', *, *, #13740, .F.);
#13760 = CARTESIAN_POINT ('', (15.7069798993405, 12.7998781654038, 25.));
#13770 = CARTESIAN_POINT ('', (15.7069798993405, 12.7998781654038, 24.9488408212488));
#13780 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13760, #13770), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0102318357502395), .UNSPECIFIED.);
#13790 = EDGE_CURVE ('', #7170, #13680, #13780, .T.);
#13800 = ORIENTED_EDGE ('', *, *, #13790, .F.);
#13810 = ORIENTED_EDGE ('', *, *, #7210, .F.);
#13820 = CARTESIAN_POINT ('', (19.5, 12.6675036729083, 25.));
#13830 = CARTESIAN_POINT ('', (19.5, 12.6675036729083, 23.689381655204));
#13840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13820, #13830), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.262123668959201), .UNSPECIFIED.);
#13850 = EDGE_CURVE ('', #7100, #13700, #13840, .T.);
#13860 = ORIENTED_EDGE ('', *, *, #13850, .T.);
#13870 = EDGE_LOOP ('', (#13750, #13800, #13810, #13860));
#13880 = FACE_OUTER_BOUND ('', #13870, .T.);
#13890 = CARTESIAN_POINT ('', (19.5, 12.6675036729083, 25.));
#13900 = CARTESIAN_POINT ('', (15.7069798993405, 12.7998781654038, 25.));
#13910 = CARTESIAN_POINT ('', (19.5, 12.6675036729083, 23.689381655204));
#13920 = CARTESIAN_POINT ('', (15.7069798993405, 12.7998781654038, 23.689381655204));
#13930 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13890, #13900), (#13910, #13920)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.262123668959201), (0., 1.), .UNSPECIFIED.);
#13940 = ADVANCED_FACE ('', (#13880), #13930, .T.);
#13950 = ORIENTED_EDGE ('', *, *, #13790, .T.);
#13960 = CARTESIAN_POINT ('', (15.5899788200126, 12.7670189808201, 24.6362065634491));
#13970 = CARTESIAN_POINT ('', (15.5932912304837, 12.7692009801764, 24.6569669005632));
#13980 = CARTESIAN_POINT ('', (15.5968105253658, 12.7713798641054, 24.677697596369));
#13990 = CARTESIAN_POINT ('', (15.6006055022287, 12.7735532592975, 24.6983760703301));
#14000 = CARTESIAN_POINT ('', (15.6041000946116, 12.7755546233527, 24.7174177773565));
#14010 = CARTESIAN_POINT ('', (15.6078276579087, 12.7775518388856, 24.7364200138303));
#14020 = CARTESIAN_POINT ('', (15.6118818951599, 12.7795416375089, 24.7553516831235));
#14030 = CARTESIAN_POINT ('', (15.6159367816546, 12.7815317547776, 24.7742863841241));
#14040 = CARTESIAN_POINT ('', (15.6203141874173, 12.7835154103622, 24.7931596063081));
#14050 = CARTESIAN_POINT ('', (15.6251983450077, 12.785485073282, 24.8118996971783));
#14060 = CARTESIAN_POINT ('', (15.6284546777799, 12.7867982737258, 24.8243939648026));
#14070 = CARTESIAN_POINT ('', (15.6319376440551, 12.7881058387162, 24.8368346146688));
#14080 = CARTESIAN_POINT ('', (15.6357599647613, 12.7894022646975, 24.8491692839425));
#14090 = CARTESIAN_POINT ('', (15.6395845968852, 12.790699474648, 24.8615114121851));
#14100 = CARTESIAN_POINT ('', (15.6437427537924, 12.791987479793, 24.8737659625537));
#14110 = CARTESIAN_POINT ('', (15.6484833353827, 12.7932512180213, 24.8857896286324));
#14120 = CARTESIAN_POINT ('', (15.6516451241281, 12.7940940836552, 24.8938089594597));
#14130 = CARTESIAN_POINT ('', (15.655069155531, 12.794927660091, 24.9017399094703));
#14140 = CARTESIAN_POINT ('', (15.6589313811013, 12.7957380099566, 24.9094498734264));
#14150 = CARTESIAN_POINT ('', (15.661507389965, 12.7962784932604, 24.9145922285603));
#14160 = CARTESIAN_POINT ('', (15.6642834841007, 12.7968098531766, 24.9196477804597));
#14170 = CARTESIAN_POINT ('', (15.6673701142852, 12.7973202740679, 24.9245041108448));
#14180 = CARTESIAN_POINT ('', (15.6704709504629, 12.7978330441346, 24.9293827921407));
#14190 = CARTESIAN_POINT ('', (15.6738979486727, 12.7983296695173, 24.9341078670294));
#14200 = CARTESIAN_POINT ('', (15.6778702668391, 12.7987719168048, 24.9383155689022));
#14210 = CARTESIAN_POINT ('', (15.6790415083966, 12.7989023138124, 24.9395562135557));
#14220 = CARTESIAN_POINT ('', (15.6802640298984, 12.7990280004353, 24.9407520418937));
#14230 = CARTESIAN_POINT ('', (15.6815444178814, 12.7991466582414, 24.9418809955065));
#14240 = CARTESIAN_POINT ('', (15.6828260681474, 12.7992654330275, 24.9430110621092));
#14250 = CARTESIAN_POINT ('', (15.6841696821181, 12.7993775210098, 24.944077508023));
#14260 = CARTESIAN_POINT ('', (15.685578396373, 12.7994793657221, 24.9450464957334));
#14270 = CARTESIAN_POINT ('', (15.6869895023439, 12.7995813833464, 24.9460171285918));
#14280 = CARTESIAN_POINT ('', (15.6884737694798, 12.7996736047797, 24.9468945569178));
#14290 = CARTESIAN_POINT ('', (15.6900218185102, 12.7997509346515, 24.9476303015019));
#14300 = CARTESIAN_POINT ('', (15.6915736441698, 12.7998284531778, 24.9483678410126));
#14310 = CARTESIAN_POINT ('', (15.6932038040905, 12.7998914801593, 24.948967502685));
#14320 = CARTESIAN_POINT ('', (15.69487421875, 12.7999343051269, 24.9493749550346));
#14330 = CARTESIAN_POINT ('', (15.696546057116, 12.7999771665945, 24.9497827546587));
#14340 = CARTESIAN_POINT ('', (15.6982786106888, 12.8, 24.95));
#14350 = CARTESIAN_POINT ('', (15.7, 12.8, 24.95));
#14360 = CARTESIAN_POINT ('', (15.7023588493864, 12.8, 24.95));
#14370 = CARTESIAN_POINT ('', (15.704742599345, 12.7999562936412, 24.9495841617739));
#14380 = CARTESIAN_POINT ('', (15.7069798993405, 12.7998781654038, 24.9488408212488));
#14390 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#13960, #13970, #13980, #13990, #14000, #14010, #14020, #14030, #14040, #14050, #14060, #14070, #14080, #14090, #14100, #14110, #14120, #14130, #14140, #14150, #14160, #14170, #14180, #14190, #14200, #14210, #14220, #14230, #14240, #14250, #14260, #14270, #14280, #14290, #14300, #14310, #14320, #14330, #14340, #14350, #14360, #14370, #14380), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.413023907471808, 0.476431501912099, 0.534820183729092, 0.59321821587807, 0.632152959976112, 0.671111248527706, 0.6970949545216, 0.71442544331205, 0.731835694429285, 0.73696912251352, 0.74210761143783, 0.747254824491657, 0.752414594716016, 0.757578762649742, 0.764655310808931), .UNSPECIFIED.);
#14400 = EDGE_CURVE ('', #12720, #13680, #14390, .T.);
#14410 = ORIENTED_EDGE ('', *, *, #14400, .F.);
#14420 = ORIENTED_EDGE ('', *, *, #13110, .F.);
#14430 = ORIENTED_EDGE ('', *, *, #7850, .F.);
#14440 = ORIENTED_EDGE ('', *, *, #7290, .F.);
#14450 = EDGE_LOOP ('', (#13950, #14410, #14420, #14430, #14440));
#14460 = FACE_OUTER_BOUND ('', #14450, .T.);
#14470 = CARTESIAN_POINT ('', (15.7069798993405, 12.7998781654038, 25.));
#14480 = CARTESIAN_POINT ('', (15.6221366518164, 12.8028409568935, 25.));
#14490 = CARTESIAN_POINT ('', (15.5610683259082, 12.7438679600677, 25.));
#14500 = CARTESIAN_POINT ('', (15.5, 12.6848949632419, 25.));
#14510 = CARTESIAN_POINT ('', (15.5, 12.6, 25.));
#14520 = CARTESIAN_POINT ('', (15.7069798993405, 12.7998781654038, 24.6362065634491));
#14530 = CARTESIAN_POINT ('', (15.6221366518164, 12.8028409568935, 24.6362065634491));
#14540 = CARTESIAN_POINT ('', (15.5610683259082, 12.7438679600677, 24.6362065634491));
#14550 = CARTESIAN_POINT ('', (15.5, 12.6848949632419, 24.6362065634491));
#14560 = CARTESIAN_POINT ('', (15.5, 12.6, 24.6362065634491));
#14570 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#14470, #14480, #14490, #14500, #14510), (#14520, #14530, #14540, #14550, #14560)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 3), (0., 0.363793436550896), (0., 0.5, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.92050485345244, 1., 0.92050485345244, 1.), (1., 0.92050485345244, 1., 0.92050485345244, 1.)))
   REPRESENTATION_ITEM ('')
);
#14580 = ADVANCED_FACE ('', (#14460), #14570, .T.);
#14590 = CARTESIAN_POINT ('', (15.7069798993405, 9.80012183459618, 24.9488408212488));
#14600 = CARTESIAN_POINT ('', (15.704742599345, 9.80004370635875, 24.9495841617739));
#14610 = CARTESIAN_POINT ('', (15.7023588493864, 9.8, 24.95));
#14620 = CARTESIAN_POINT ('', (15.7, 9.8, 24.95));
#14630 = CARTESIAN_POINT ('', (15.6982786106888, 9.8, 24.95));
#14640 = CARTESIAN_POINT ('', (15.696546057116, 9.80002283340546, 24.9497827546588));
#14650 = CARTESIAN_POINT ('', (15.69487421875, 9.8000656948731, 24.9493749550346));
#14660 = CARTESIAN_POINT ('', (15.6932038040905, 9.80010851984071, 24.948967502685));
#14670 = CARTESIAN_POINT ('', (15.6915736441698, 9.80017154682221, 24.9483678410126));
#14680 = CARTESIAN_POINT ('', (15.6900218185102, 9.80024906534847, 24.9476303015019));
#14690 = CARTESIAN_POINT ('', (15.6884737694798, 9.80032639522032, 24.9468945569178));
#14700 = CARTESIAN_POINT ('', (15.6869895023439, 9.80041861665365, 24.9460171285918));
#14710 = CARTESIAN_POINT ('', (15.685578396373, 9.80052063427794, 24.9450464957334));
#14720 = CARTESIAN_POINT ('', (15.684169682118, 9.80062247899023, 24.944077508023));
#14730 = CARTESIAN_POINT ('', (15.6828260681474, 9.8007345669725, 24.9430110621092));
#14740 = CARTESIAN_POINT ('', (15.6815444178814, 9.80085334175857, 24.9418809955065));
#14750 = CARTESIAN_POINT ('', (15.6802640298984, 9.8009719995647, 24.9407520418937));
#14760 = CARTESIAN_POINT ('', (15.6790415083966, 9.80109768618762, 24.9395562135557));
#14770 = CARTESIAN_POINT ('', (15.6778702668391, 9.80122808319516, 24.9383155689022));
#14780 = CARTESIAN_POINT ('', (15.6738979486727, 9.80167033048273, 24.9341078670294));
#14790 = CARTESIAN_POINT ('', (15.6704709504629, 9.80216695586537, 24.9293827921407));
#14800 = CARTESIAN_POINT ('', (15.6673701142852, 9.80267972593208, 24.9245041108448));
#14810 = CARTESIAN_POINT ('', (15.6642834841007, 9.8031901468234, 24.9196477804597));
#14820 = CARTESIAN_POINT ('', (15.661507389965, 9.80372150673963, 24.9145922285603));
#14830 = CARTESIAN_POINT ('', (15.6589313811013, 9.80426199004345, 24.9094498734264));
#14840 = CARTESIAN_POINT ('', (15.655069155531, 9.80507233990897, 24.9017399094703));
#14850 = CARTESIAN_POINT ('', (15.6516451241281, 9.80590591634478, 24.8938089594597));
#14860 = CARTESIAN_POINT ('', (15.6484833353827, 9.80674878197872, 24.8857896286324));
#14870 = CARTESIAN_POINT ('', (15.6437427537924, 9.80801252020701, 24.8737659625537));
#14880 = CARTESIAN_POINT ('', (15.6395845968852, 9.80930052535202, 24.8615114121851));
#14890 = CARTESIAN_POINT ('', (15.6357599647613, 9.81059773530252, 24.8491692839425));
#14900 = CARTESIAN_POINT ('', (15.6319376440551, 9.81189416128379, 24.8368346146688));
#14910 = CARTESIAN_POINT ('', (15.6284546777799, 9.81320172627418, 24.8243939648026));
#14920 = CARTESIAN_POINT ('', (15.6251983450077, 9.81451492671804, 24.8118996971783));
#14930 = CARTESIAN_POINT ('', (15.6203141874173, 9.81648458963776, 24.7931596063081));
#14940 = CARTESIAN_POINT ('', (15.6159367816545, 9.81846824522241, 24.7742863841241));
#14950 = CARTESIAN_POINT ('', (15.6118818951599, 9.82045836249106, 24.7553516831235));
#14960 = CARTESIAN_POINT ('', (15.6078276579087, 9.82244816111443, 24.7364200138302));
#14970 = CARTESIAN_POINT ('', (15.6041000946116, 9.82444537664734, 24.7174177773565));
#14980 = CARTESIAN_POINT ('', (15.6006055022287, 9.8264467407025, 24.6983760703301));
#14990 = CARTESIAN_POINT ('', (15.5968105253658, 9.82862013589464, 24.677697596369));
#15000 = CARTESIAN_POINT ('', (15.5932912304837, 9.83079901982365, 24.6569669005632));
#15010 = CARTESIAN_POINT ('', (15.5899788200126, 9.83298101917989, 24.6362065634491));
#15020 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#14590, #14600, #14610, #14620, #14630, #14640, #14650, #14660, #14670, #14680, #14690, #14700, #14710, #14720, #14730, #14740, #14750, #14760, #14770, #14780, #14790, #14800, #14810, #14820, #14830, #14840, #14850, #14860, #14870, #14880, #14890, #14900, #14910, #14920, #14930, #14940, #14950, #14960, #14970, #14980, #14990, #15000, #15010), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.0070765481591889, 0.0122407160929212, 0.0174004863172824, 0.0225476993711164, 0.0276861882954229, 0.0328196163796566, 0.0502298674968886, 0.0675603562873424, 0.0935440622812354, 0.132502350832828, 0.171437094930872, 0.22983512707985, 0.288223808896843, 0.351631403337121), .UNSPECIFIED.);
#15030 = EDGE_CURVE ('', #13420, #12220, #15020, .T.);
#15040 = ORIENTED_EDGE ('', *, *, #15030, .F.);
#15050 = ORIENTED_EDGE ('', *, *, #13570, .F.);
#15060 = ORIENTED_EDGE ('', *, *, #6240, .F.);
#15070 = ORIENTED_EDGE ('', *, *, #7790, .T.);
#15080 = ORIENTED_EDGE ('', *, *, #12680, .T.);
#15090 = EDGE_LOOP ('', (#15040, #15050, #15060, #15070, #15080));
#15100 = FACE_OUTER_BOUND ('', #15090, .T.);
#15110 = CARTESIAN_POINT ('', (15.5, 10., 25.));
#15120 = CARTESIAN_POINT ('', (15.5, 9.91510503675808, 25.));
#15130 = CARTESIAN_POINT ('', (15.5610683259082, 9.85613203993227, 25.));
#15140 = CARTESIAN_POINT ('', (15.6221366518164, 9.79715904310646, 25.));
#15150 = CARTESIAN_POINT ('', (15.7069798993405, 9.80012183459618, 25.));
#15160 = CARTESIAN_POINT ('', (15.5, 10., 24.6362065634491));
#15170 = CARTESIAN_POINT ('', (15.5, 9.91510503675808, 24.6362065634491));
#15180 = CARTESIAN_POINT ('', (15.5610683259082, 9.85613203993227, 24.6362065634491));
#15190 = CARTESIAN_POINT ('', (15.6221366518164, 9.79715904310646, 24.6362065634491));
#15200 = CARTESIAN_POINT ('', (15.7069798993405, 9.80012183459618, 24.6362065634491));
#15210 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#15110, #15120, #15130, #15140, #15150), (#15160, #15170, #15180, #15190, #15200)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 3), (0., 0.363793436550895), (0., 0.5, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.92050485345244, 1., 0.92050485345244, 1.), (1., 0.92050485345244, 1., 0.92050485345244, 1.)))
   REPRESENTATION_ITEM ('')
);
#15220 = ADVANCED_FACE ('', (#15100), #15210, .T.);
#15230 = CARTESIAN_POINT ('', (19.5, 10.15, 21.6199724410221));
#15240 = CARTESIAN_POINT ('', (19.5, 9.93249632709167, 23.689381655204));
#15250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15230, #15240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15260 = EDGE_CURVE ('', #7980, #13400, #15250, .T.);
#15270 = ORIENTED_EDGE ('', *, *, #15260, .F.);
#15280 = ORIENTED_EDGE ('', *, *, #8130, .F.);
#15290 = ORIENTED_EDGE ('', *, *, #6380, .F.);
#15300 = ORIENTED_EDGE ('', *, *, #13510, .T.);
#15310 = EDGE_LOOP ('', (#15270, #15280, #15290, #15300));
#15320 = FACE_OUTER_BOUND ('', #15310, .T.);
#15330 = CARTESIAN_POINT ('', (19.5, 9.93249632709167, 25.));
#15340 = CARTESIAN_POINT ('', (19.5, 10.15, 25.));
#15350 = CARTESIAN_POINT ('', (19.5, 9.93249632709167, 21.6199724410221));
#15360 = CARTESIAN_POINT ('', (19.5, 10.15, 21.6199724410221));
#15370 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15330, #15340), (#15350, #15360)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.676005511795582), (0., 1.), .UNSPECIFIED.);
#15380 = ADVANCED_FACE ('', (#15320), #15370, .T.);
#15390 = CARTESIAN_POINT ('', (19.5, 12.6675036729083, 23.689381655204));
#15400 = CARTESIAN_POINT ('', (19.5, 12.45, 21.6199724410221));
#15410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15390, #15400), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15420 = EDGE_CURVE ('', #13700, #8240, #15410, .T.);
#15430 = ORIENTED_EDGE ('', *, *, #15420, .F.);
#15440 = ORIENTED_EDGE ('', *, *, #13850, .F.);
#15450 = ORIENTED_EDGE ('', *, *, #7140, .F.);
#15460 = ORIENTED_EDGE ('', *, *, #8350, .T.);
#15470 = EDGE_LOOP ('', (#15430, #15440, #15450, #15460));
#15480 = FACE_OUTER_BOUND ('', #15470, .T.);
#15490 = CARTESIAN_POINT ('', (19.5, 12.45, 25.));
#15500 = CARTESIAN_POINT ('', (19.5, 12.6675036729083, 25.));
#15510 = CARTESIAN_POINT ('', (19.5, 12.45, 21.6199724410221));
#15520 = CARTESIAN_POINT ('', (19.5, 12.6675036729083, 21.6199724410221));
#15530 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15490, #15500), (#15510, #15520)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.676005511795581), (0., 1.), .UNSPECIFIED.);
#15540 = ADVANCED_FACE ('', (#15480), #15530, .T.);
#15550 = ORIENTED_EDGE ('', *, *, #15260, .T.);
#15560 = ORIENTED_EDGE ('', *, *, #13460, .T.);
#15570 = ORIENTED_EDGE ('', *, *, #15030, .T.);
#15580 = ORIENTED_EDGE ('', *, *, #12280, .T.);
#15590 = CARTESIAN_POINT ('', (16.6214812827433, 10.2110700239363, 21.0389299760637));
#15600 = CARTESIAN_POINT ('', (34.3785187172567, 10.2110700239363, 21.0389299760637));
#15610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15590, #15600), .UNSPECIFIED., .F., .U., (2, 2), (0.056074064137167, 0.943925935862833), .UNSPECIFIED.);
#15620 = EDGE_CURVE ('', #12240, #8880, #15610, .T.);
#15630 = ORIENTED_EDGE ('', *, *, #15620, .T.);
#15640 = ORIENTED_EDGE ('', *, *, #8940, .T.);
#15650 = ORIENTED_EDGE ('', *, *, #10840, .T.);
#15660 = ORIENTED_EDGE ('', *, *, #11080, .T.);
#15670 = ORIENTED_EDGE ('', *, *, #11280, .T.);
#15680 = ORIENTED_EDGE ('', *, *, #8020, .T.);
#15690 = EDGE_LOOP ('', (#15550, #15560, #15570, #15580, #15630, #15640, #15650, #15660, #15670, #15680));
#15700 = FACE_OUTER_BOUND ('', #15690, .T.);
#15710 = CARTESIAN_POINT ('', (15.5899788200124, 10.2110700239363, 21.0389299760637));
#15720 = CARTESIAN_POINT ('', (15.5899788200124, 9.8, 24.95));
#15730 = CARTESIAN_POINT ('', (35.4100211799876, 10.2110700239363, 21.0389299760637));
#15740 = CARTESIAN_POINT ('', (35.4100211799876, 9.8, 24.95));
#15750 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15710, #15720), (#15730, #15740)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00449894100061862, 0.995501058999381), (0., 1.), .UNSPECIFIED.);
#15760 = ADVANCED_FACE ('', (#15700), #15750, .T.);
#15770 = ORIENTED_EDGE ('', *, *, #13290, .T.);
#15780 = ORIENTED_EDGE ('', *, *, #8580, .T.);
#15790 = ORIENTED_EDGE ('', *, *, #8990, .T.);
#15800 = ORIENTED_EDGE ('', *, *, #15620, .F.);
#15810 = EDGE_LOOP ('', (#15770, #15780, #15790, #15800));
#15820 = FACE_OUTER_BOUND ('', #15810, .T.);
#15830 = CARTESIAN_POINT ('', (16.6214812827433, 11.25, 20.));
#15840 = CARTESIAN_POINT ('', (16.6214812827433, 10.2110700239363, 21.0389299760637));
#15850 = CARTESIAN_POINT ('', (34.3785187172567, 11.25, 20.));
#15860 = CARTESIAN_POINT ('', (34.3785187172567, 10.2110700239363, 21.0389299760637));
#15870 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15830, #15840), (#15850, #15860)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0560740641371667, 0.943925935862833), (0.0459166347690597, 1.), .UNSPECIFIED.);
#15880 = ADVANCED_FACE ('', (#15820), #15870, .T.);
#15890 = ORIENTED_EDGE ('', *, *, #15420, .T.);
#15900 = ORIENTED_EDGE ('', *, *, #8300, .T.);
#15910 = ORIENTED_EDGE ('', *, *, #12080, .T.);
#15920 = ORIENTED_EDGE ('', *, *, #10120, .T.);
#15930 = ORIENTED_EDGE ('', *, *, #11850, .T.);
#15940 = ORIENTED_EDGE ('', *, *, #9140, .T.);
#15950 = CARTESIAN_POINT ('', (16.6214812827433, 12.3889299760637, 21.0389299760637));
#15960 = CARTESIAN_POINT ('', (34.3785187172567, 12.3889299760637, 21.0389299760637));
#15970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15950, #15960), .UNSPECIFIED., .F., .U., (2, 2), (0.056074064137167, 0.943925935862833), .UNSPECIFIED.);
#15980 = EDGE_CURVE ('', #13140, #9030, #15970, .T.);
#15990 = ORIENTED_EDGE ('', *, *, #15980, .F.);
#16000 = ORIENTED_EDGE ('', *, *, #13180, .T.);
#16010 = ORIENTED_EDGE ('', *, *, #14400, .T.);
#16020 = ORIENTED_EDGE ('', *, *, #13740, .T.);
#16030 = EDGE_LOOP ('', (#15890, #15900, #15910, #15920, #15930, #15940, #15990, #16000, #16010, #16020));
#16040 = FACE_OUTER_BOUND ('', #16030, .T.);
#16050 = CARTESIAN_POINT ('', (15.5899788200124, 12.8, 24.95));
#16060 = CARTESIAN_POINT ('', (15.5899788200124, 12.3889299760637, 21.0389299760637));
#16070 = CARTESIAN_POINT ('', (35.4100211799876, 12.8, 24.95));
#16080 = CARTESIAN_POINT ('', (35.4100211799876, 12.3889299760637, 21.0389299760637));
#16090 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16050, #16060), (#16070, #16080)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00449894100061854, 0.995501058999382), (0., 1.), .UNSPECIFIED.);
#16100 = ADVANCED_FACE ('', (#16040), #16090, .T.);
#16110 = ORIENTED_EDGE ('', *, *, #13230, .T.);
#16120 = ORIENTED_EDGE ('', *, *, #15980, .T.);
#16130 = ORIENTED_EDGE ('', *, *, #9070, .T.);
#16140 = ORIENTED_EDGE ('', *, *, #8720, .T.);
#16150 = EDGE_LOOP ('', (#16110, #16120, #16130, #16140));
#16160 = FACE_OUTER_BOUND ('', #16150, .T.);
#16170 = CARTESIAN_POINT ('', (16.6214812827433, 12.3889299760637, 21.0389299760637));
#16180 = CARTESIAN_POINT ('', (16.6214812827433, 11.35, 20.));
#16190 = CARTESIAN_POINT ('', (34.3785187172567, 12.3889299760637, 21.0389299760637));
#16200 = CARTESIAN_POINT ('', (34.3785187172567, 11.35, 20.));
#16210 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16170, #16180), (#16190, #16200)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0560740641371669, 0.943925935862833), (0., 0.954083365230942), .UNSPECIFIED.);
#16220 = ADVANCED_FACE ('', (#16160), #16210, .T.);
#16230 = CLOSED_SHELL ('', (#7380, #7660, #7940, #8220, #8500, #8860, #10040, #10320, #11020, #11240, #11400, #12040, #12200, #13380, #13660, #13940, #14580, #15220, #15380, #15540, #15760, #15880, #16100, #16220));
#16240 = MANIFOLD_SOLID_BREP ('CUT', #16230);
#16250 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#16260 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#16270 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#16280 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #16250, 'DISTANCE_ACCURACY_VALUE', '');
#16290 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#16280))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#16250, #16260, #16270))
   REPRESENTATION_CONTEXT ('', '3D')
);
#16300 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#16310 = FILL_AREA_STYLE_COLOUR ('', #16300);
#16320 = FILL_AREA_STYLE ('', (#16310));
#16330 = SURFACE_STYLE_FILL_AREA (#16320);
#16340 = SURFACE_SIDE_STYLE ('', (#16330));
#16350 = SURFACE_STYLE_USAGE (.POSITIVE., #16340);
#16360 = PRESENTATION_STYLE_ASSIGNMENT ((#16350));
#16370 = STYLED_ITEM ('', (#16360), #16240);
#16380 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#16240), #16290);
#16390 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#16400 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #16390);
#16410 = MECHANICAL_CONTEXT ('', #16390, 'mechanical');
#16420 = PRODUCT ('NONE', '', '', (#16410));
#16430 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#16440 = PERSON ('', '', $, $, $, $);
#16450 = ORGANIZATION ($, '', '');
#16460 = PERSON_AND_ORGANIZATION (#16440, #16450);
#16470 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16460, #16430, (#16420));
#16480 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#16420));
#16490 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #16420, .NOT_KNOWN.);
#16500 = APPROVAL_STATUS ('approved');
#16510 = APPROVAL (#16500, '');
#16520 = CALENDAR_DATE (2017, 2, 8);
#16530 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16540 = LOCAL_TIME (8, 32, 7., #16530);
#16550 = DATE_AND_TIME (#16520, #16540);
#16560 = APPROVAL_DATE_TIME (#16550, #16510);
#16570 = APPROVAL_ROLE ('');
#16580 = PERSON ('', '', $, $, $, $);
#16590 = ORGANIZATION ($, '', '');
#16600 = PERSON_AND_ORGANIZATION (#16580, #16590);
#16610 = APPROVAL_PERSON_ORGANIZATION (#16600, #16510, #16570);
#16620 = CC_DESIGN_APPROVAL (#16510, (#16490));
#16630 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#16640 = PERSON ('', '', $, $, $, $);
#16650 = ORGANIZATION ($, '', '');
#16660 = PERSON_AND_ORGANIZATION (#16640, #16650);
#16670 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16660, #16630, (#16490));
#16680 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#16690 = PERSON ('', '', $, $, $, $);
#16700 = ORGANIZATION ($, '', '');
#16710 = PERSON_AND_ORGANIZATION (#16690, #16700);
#16720 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16710, #16680, (#16490));
#16730 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#16740 = SECURITY_CLASSIFICATION ('', '', #16730);
#16750 = APPROVAL_STATUS ('approved');
#16760 = APPROVAL (#16750, '');
#16770 = CALENDAR_DATE (2017, 2, 8);
#16780 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16790 = LOCAL_TIME (8, 32, 7., #16780);
#16800 = DATE_AND_TIME (#16770, #16790);
#16810 = APPROVAL_DATE_TIME (#16800, #16760);
#16820 = APPROVAL_ROLE ('');
#16830 = PERSON ('', '', $, $, $, $);
#16840 = ORGANIZATION ($, '', '');
#16850 = PERSON_AND_ORGANIZATION (#16830, #16840);
#16860 = APPROVAL_PERSON_ORGANIZATION (#16850, #16760, #16820);
#16870 = CC_DESIGN_APPROVAL (#16760, (#16740));
#16880 = DATE_TIME_ROLE ('classification_date');
#16890 = CALENDAR_DATE (2017, 2, 8);
#16900 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16910 = LOCAL_TIME (8, 32, 7., #16900);
#16920 = DATE_AND_TIME (#16890, #16910);
#16930 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#16920, #16880, (#16740));
#16940 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#16950 = PERSON ('', '', $, $, $, $);
#16960 = ORGANIZATION ($, '', '');
#16970 = PERSON_AND_ORGANIZATION (#16950, #16960);
#16980 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16970, #16940, (#16740));
#16990 = CC_DESIGN_SECURITY_CLASSIFICATION (#16740, (#16490));
#17000 = DESIGN_CONTEXT ('', #16390, 'design');
#17010 = PRODUCT_DEFINITION ('', '', #16490, #17000);
#17020 = APPROVAL_STATUS ('approved');
#17030 = APPROVAL (#17020, '');
#17040 = CALENDAR_DATE (2017, 2, 8);
#17050 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#17060 = LOCAL_TIME (8, 32, 7., #17050);
#17070 = DATE_AND_TIME (#17040, #17060);
#17080 = APPROVAL_DATE_TIME (#17070, #17030);
#17090 = APPROVAL_ROLE ('');
#17100 = PERSON ('', '', $, $, $, $);
#17110 = ORGANIZATION ($, '', '');
#17120 = PERSON_AND_ORGANIZATION (#17100, #17110);
#17130 = APPROVAL_PERSON_ORGANIZATION (#17120, #17030, #17090);
#17140 = CC_DESIGN_APPROVAL (#17030, (#17010));
#17150 = DATE_TIME_ROLE ('creation_date');
#17160 = CALENDAR_DATE (2017, 2, 8);
#17170 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#17180 = LOCAL_TIME (8, 32, 7., #17170);
#17190 = DATE_AND_TIME (#17160, #17180);
#17200 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#17190, #17150, (#17010));
#17210 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#17220 = PERSON ('', '', $, $, $, $);
#17230 = ORGANIZATION ($, '', '');
#17240 = PERSON_AND_ORGANIZATION (#17220, #17230);
#17250 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#17240, #17210, (#17010));
#17260 = PRODUCT_DEFINITION_SHAPE ('', '', #17010);
#17270 = SHAPE_DEFINITION_REPRESENTATION (#17260, #16380);
ENDSEC;
END-ISO-10303-21;