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

DATA;
#10 = CARTESIAN_POINT ('', (44.4, 12.5, 20.));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (44.4, 7.1, 20.));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (44.4, 12.5, 20.));
#60 = CARTESIAN_POINT ('', (44.4, 7.10000000000001, 20.));
#70 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#50, #60), .UNSPECIFIED., .F., .U., (2, 2), (0.416666666666667, 0.452666666666667), .UNSPECIFIED.);
#80 = EDGE_CURVE ('', #20, #40, #70, .T.);
#90 = ORIENTED_EDGE ('', *, *, #80, .T.);
#100 = CARTESIAN_POINT ('', (44.4, 7.1, 0.));
#110 = VERTEX_POINT ('', #100);
#120 = CARTESIAN_POINT ('', (44.4, 7.1, 0.));
#130 = CARTESIAN_POINT ('', (44.4, 7.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 ('', (44.4, 12.5, 0.));
#180 = VERTEX_POINT ('', #170);
#190 = CARTESIAN_POINT ('', (44.4, 12.5, 0.));
#200 = CARTESIAN_POINT ('', (44.4, 7.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 ('', (44.4, 12.5, 0.));
#300 = CARTESIAN_POINT ('', (44.4, 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 ('', (44.4, 12.5, 0.));
#370 = CARTESIAN_POINT ('', (44.4, 7.1, 0.));
#380 = CARTESIAN_POINT ('', (44.4, 12.5, 20.));
#390 = CARTESIAN_POINT ('', (44.4, 7.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 ('', (-79.3, 12.5, 0.));
#430 = VERTEX_POINT ('', #420);
#440 = CARTESIAN_POINT ('', (-79.3, 12.5, 0.));
#450 = CARTESIAN_POINT ('', (44.4, 12.5, 0.));
#460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#440, #450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#470 = EDGE_CURVE ('', #430, #180, #460, .T.);
#480 = ORIENTED_EDGE ('', *, *, #470, .T.);
#490 = ORIENTED_EDGE ('', *, *, #270, .T.);
#500 = CARTESIAN_POINT ('', (17.4, 7.1, 0.));
#510 = VERTEX_POINT ('', #500);
#520 = CARTESIAN_POINT ('', (44.4, 7.1, 0.));
#530 = CARTESIAN_POINT ('', (17.4, 7.1, 0.));
#540 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#520, #530), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#550 = COLOUR_RGB ('', 0., 0., 0.);
#560 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#570 = CURVE_STYLE ('', #560, POSITIVE_LENGTH_MEASURE(1.E-6), #550);
#580 = PRESENTATION_STYLE_ASSIGNMENT ((#570));
#590 = STYLED_ITEM ('', (#580), #540);
#600 = EDGE_CURVE ('', #110, #510, #540, .T.);
#610 = ORIENTED_EDGE ('', *, *, #600, .T.);
#620 = CARTESIAN_POINT ('', (17.4, -12.5, 0.));
#630 = VERTEX_POINT ('', #620);
#640 = CARTESIAN_POINT ('', (17.4, 7.1, 0.));
#650 = CARTESIAN_POINT ('', (17.4, -12.5, 0.));
#660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#640, #650), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#670 = COLOUR_RGB ('', 0., 0., 0.);
#680 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#690 = CURVE_STYLE ('', #680, POSITIVE_LENGTH_MEASURE(1.E-6), #670);
#700 = PRESENTATION_STYLE_ASSIGNMENT ((#690));
#710 = STYLED_ITEM ('', (#700), #660);
#720 = EDGE_CURVE ('', #510, #630, #660, .T.);
#730 = ORIENTED_EDGE ('', *, *, #720, .T.);
#740 = CARTESIAN_POINT ('', (-79.3, -12.5, 0.));
#750 = VERTEX_POINT ('', #740);
#760 = CARTESIAN_POINT ('', (17.4, -12.5, 0.));
#770 = CARTESIAN_POINT ('', (-79.3, -12.5, 0.));
#780 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#760, #770), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#790 = COLOUR_RGB ('', 0., 0., 0.);
#800 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#810 = CURVE_STYLE ('', #800, POSITIVE_LENGTH_MEASURE(1.E-6), #790);
#820 = PRESENTATION_STYLE_ASSIGNMENT ((#810));
#830 = STYLED_ITEM ('', (#820), #780);
#840 = EDGE_CURVE ('', #630, #750, #780, .T.);
#850 = ORIENTED_EDGE ('', *, *, #840, .T.);
#860 = CARTESIAN_POINT ('', (-79.3, -12.5, 0.));
#870 = CARTESIAN_POINT ('', (-79.3, 12.5, 0.));
#880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#860, #870), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#890 = COLOUR_RGB ('', 0., 0., 0.);
#900 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#910 = CURVE_STYLE ('', #900, POSITIVE_LENGTH_MEASURE(1.E-6), #890);
#920 = PRESENTATION_STYLE_ASSIGNMENT ((#910));
#930 = STYLED_ITEM ('', (#920), #880);
#940 = EDGE_CURVE ('', #750, #430, #880, .T.);
#950 = ORIENTED_EDGE ('', *, *, #940, .T.);
#960 = EDGE_LOOP ('', (#480, #490, #610, #730, #850, #950));
#970 = FACE_OUTER_BOUND ('', #960, .T.);
#980 = CARTESIAN_POINT ('', (-79.3, -12.5, 0.));
#990 = CARTESIAN_POINT ('', (44.4, -12.5, 0.));
#1000 = CARTESIAN_POINT ('', (-79.3, 12.5, 0.));
#1010 = CARTESIAN_POINT ('', (44.4, 12.5, 0.));
#1020 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#980, #990), (#1000, #1010)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.409956044562335, 0.590043955437665), (0.0544625084944325, 0.945537491505568), .UNSPECIFIED.);
#1030 = ADVANCED_FACE ('', (#970), #1020, .T.);
#1040 = CARTESIAN_POINT ('', (20.4455173280957, 12.5, 34.));
#1050 = VERTEX_POINT ('', #1040);
#1060 = CARTESIAN_POINT ('', (20.4455173280957, 7.1, 34.));
#1070 = VERTEX_POINT ('', #1060);
#1080 = CARTESIAN_POINT ('', (20.4455173280957, 12.5, 34.));
#1090 = CARTESIAN_POINT ('', (20.4455173280957, 7.1, 34.));
#1100 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1080, #1090), .UNSPECIFIED., .F., .U., (2, 2), (0.409956044562335, 0.448855033311406), .UNSPECIFIED.);
#1110 = EDGE_CURVE ('', #1050, #1070, #1100, .T.);
#1120 = ORIENTED_EDGE ('', *, *, #1110, .F.);
#1130 = CARTESIAN_POINT ('', (0., 12.5, 34.));
#1140 = VERTEX_POINT ('', #1130);
#1150 = CARTESIAN_POINT ('', (0., 12.5, 34.));
#1160 = CARTESIAN_POINT ('', (20.4455173280957, 12.5, 34.));
#1170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1150, #1160), .UNSPECIFIED., .F., .U., (2, 2), (0.6410670978173, 0.806350180501986), .UNSPECIFIED.);
#1180 = EDGE_CURVE ('', #1140, #1050, #1170, .T.);
#1190 = ORIENTED_EDGE ('', *, *, #1180, .F.);
#1200 = CARTESIAN_POINT ('', (0., -12.5, 34.));
#1210 = VERTEX_POINT ('', #1200);
#1220 = CARTESIAN_POINT ('', (0., -12.5, 34.));
#1230 = CARTESIAN_POINT ('', (0., 12.5, 34.));
#1240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1220, #1230), .UNSPECIFIED., .F., .U., (2, 2), (0.409956044562335, 0.590043955437665), .UNSPECIFIED.);
#1250 = EDGE_CURVE ('', #1210, #1140, #1240, .T.);
#1260 = ORIENTED_EDGE ('', *, *, #1250, .F.);
#1270 = CARTESIAN_POINT ('', (17.4, -12.5, 34.));
#1280 = VERTEX_POINT ('', #1270);
#1290 = CARTESIAN_POINT ('', (17.4, -12.5, 34.));
#1300 = CARTESIAN_POINT ('', (0., -12.5, 34.));
#1310 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1290, #1300), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.179937952430197), .UNSPECIFIED.);
#1320 = COLOUR_RGB ('', 0., 0., 0.);
#1330 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#1340 = CURVE_STYLE ('', #1330, POSITIVE_LENGTH_MEASURE(1.E-6), #1320);
#1350 = PRESENTATION_STYLE_ASSIGNMENT ((#1340));
#1360 = STYLED_ITEM ('', (#1350), #1310);
#1370 = EDGE_CURVE ('', #1280, #1210, #1310, .T.);
#1380 = ORIENTED_EDGE ('', *, *, #1370, .F.);
#1390 = CARTESIAN_POINT ('', (17.4, 7.1, 34.));
#1400 = VERTEX_POINT ('', #1390);
#1410 = CARTESIAN_POINT ('', (17.4, 7.1, 34.));
#1420 = CARTESIAN_POINT ('', (17.4, -12.5, 34.));
#1430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1410, #1420), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1440 = COLOUR_RGB ('', 0., 0., 0.);
#1450 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#1460 = CURVE_STYLE ('', #1450, POSITIVE_LENGTH_MEASURE(1.E-6), #1440);
#1470 = PRESENTATION_STYLE_ASSIGNMENT ((#1460));
#1480 = STYLED_ITEM ('', (#1470), #1430);
#1490 = EDGE_CURVE ('', #1400, #1280, #1430, .T.);
#1500 = ORIENTED_EDGE ('', *, *, #1490, .F.);
#1510 = CARTESIAN_POINT ('', (20.4455173280957, 7.1, 34.));
#1520 = CARTESIAN_POINT ('', (17.4, 7.1, 34.));
#1530 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1510, #1520), .UNSPECIFIED., .F., .U., (2, 2), (0.887203061922383, 1.), .UNSPECIFIED.);
#1540 = COLOUR_RGB ('', 0., 0., 0.);
#1550 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#1560 = CURVE_STYLE ('', #1550, POSITIVE_LENGTH_MEASURE(1.E-6), #1540);
#1570 = PRESENTATION_STYLE_ASSIGNMENT ((#1560));
#1580 = STYLED_ITEM ('', (#1570), #1530);
#1590 = EDGE_CURVE ('', #1070, #1400, #1530, .T.);
#1600 = ORIENTED_EDGE ('', *, *, #1590, .F.);
#1610 = EDGE_LOOP ('', (#1120, #1190, #1260, #1380, #1500, #1600));
#1620 = FACE_OUTER_BOUND ('', #1610, .T.);
#1630 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -12.5, 34.));
#1640 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 12.5, 34.));
#1650 = CARTESIAN_POINT ('', (20.4455173280957, -12.5, 34.));
#1660 = CARTESIAN_POINT ('', (20.4455173280957, 12.5, 34.));
#1670 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1630, #1640), (#1650, #1660)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.625701361790981, 0.772980981886265), (0.409956044562335, 0.590043955437665), .UNSPECIFIED.);
#1680 = ADVANCED_FACE ('', (#1620), #1670, .T.);
#1690 = CARTESIAN_POINT ('', (-79.3, 12.5, 25.));
#1700 = VERTEX_POINT ('', #1690);
#1710 = CARTESIAN_POINT ('', (-79.3, -12.5, 25.));
#1720 = VERTEX_POINT ('', #1710);
#1730 = CARTESIAN_POINT ('', (-79.3, 12.4999999999999, 25.));
#1740 = CARTESIAN_POINT ('', (-79.3, -12.5, 25.));
#1750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1730, #1740), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1760 = EDGE_CURVE ('', #1700, #1720, #1750, .T.);
#1770 = ORIENTED_EDGE ('', *, *, #1760, .F.);
#1780 = CARTESIAN_POINT ('', (-79.3, 12.5, 0.));
#1790 = CARTESIAN_POINT ('', (-79.3, 12.5, 25.));
#1800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1780, #1790), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.735294117647059), .UNSPECIFIED.);
#1810 = EDGE_CURVE ('', #430, #1700, #1800, .T.);
#1820 = ORIENTED_EDGE ('', *, *, #1810, .F.);
#1830 = ORIENTED_EDGE ('', *, *, #940, .F.);
#1840 = CARTESIAN_POINT ('', (-79.3, -12.5, 0.));
#1850 = CARTESIAN_POINT ('', (-79.3, -12.5, 25.));
#1860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1840, #1850), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.735294117647059), .UNSPECIFIED.);
#1870 = EDGE_CURVE ('', #750, #1720, #1860, .T.);
#1880 = ORIENTED_EDGE ('', *, *, #1870, .T.);
#1890 = EDGE_LOOP ('', (#1770, #1820, #1830, #1880));
#1900 = FACE_OUTER_BOUND ('', #1890, .T.);
#1910 = CARTESIAN_POINT ('', (-79.3, -12.5, 0.));
#1920 = CARTESIAN_POINT ('', (-79.3, 12.5, 0.));
#1930 = CARTESIAN_POINT ('', (-79.3, -12.5, 25.));
#1940 = CARTESIAN_POINT ('', (-79.3, 12.5, 25.));
#1950 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1910, #1920), (#1930, #1940)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.735294117647059), (0., 1.), .UNSPECIFIED.);
#1960 = ADVANCED_FACE ('', (#1900), #1950, .T.);
#1970 = CARTESIAN_POINT ('', (0., -12.5, 25.));
#1980 = VERTEX_POINT ('', #1970);
#1990 = CARTESIAN_POINT ('', (0., -12.5, 25.));
#2000 = CARTESIAN_POINT ('', (0., -12.5, 34.));
#2010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1990, #2000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2020 = EDGE_CURVE ('', #1980, #1210, #2010, .T.);
#2030 = ORIENTED_EDGE ('', *, *, #2020, .F.);
#2040 = CARTESIAN_POINT ('', (-79.3, -12.5, 25.));
#2050 = CARTESIAN_POINT ('', (0., -12.5, 25.));
#2060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2040, #2050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2070 = EDGE_CURVE ('', #1720, #1980, #2060, .T.);
#2080 = ORIENTED_EDGE ('', *, *, #2070, .F.);
#2090 = ORIENTED_EDGE ('', *, *, #1870, .F.);
#2100 = ORIENTED_EDGE ('', *, *, #840, .F.);
#2110 = CARTESIAN_POINT ('', (17.4, -12.5, 0.));
#2120 = CARTESIAN_POINT ('', (17.4, -12.5, 34.));
#2130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2110, #2120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2140 = EDGE_CURVE ('', #630, #1280, #2130, .T.);
#2150 = ORIENTED_EDGE ('', *, *, #2140, .T.);
#2160 = ORIENTED_EDGE ('', *, *, #1370, .T.);
#2170 = EDGE_LOOP ('', (#2030, #2080, #2090, #2100, #2150, #2160));
#2180 = FACE_OUTER_BOUND ('', #2170, .T.);
#2190 = CARTESIAN_POINT ('', (17.4, -12.5, 0.));
#2200 = CARTESIAN_POINT ('', (-79.3, -12.5, 0.));
#2210 = CARTESIAN_POINT ('', (17.4, -12.5, 34.));
#2220 = CARTESIAN_POINT ('', (-79.3, -12.5, 34.));
#2230 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2190, #2200), (#2210, #2220)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#2240 = ADVANCED_FACE ('', (#2180), #2230, .T.);
#2250 = ORIENTED_EDGE ('', *, *, #2020, .T.);
#2260 = ORIENTED_EDGE ('', *, *, #1250, .T.);
#2270 = CARTESIAN_POINT ('', (3.5527136788005E-15, 12.5, 25.));
#2280 = VERTEX_POINT ('', #2270);
#2290 = CARTESIAN_POINT ('', (0., 12.5, 34.));
#2300 = CARTESIAN_POINT ('', (0., 12.5, 25.));
#2310 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2290, #2300), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2320 = EDGE_CURVE ('', #1140, #2280, #2310, .T.);
#2330 = ORIENTED_EDGE ('', *, *, #2320, .T.);
#2340 = CARTESIAN_POINT ('', (0., 12.5, 25.));
#2350 = CARTESIAN_POINT ('', (0., -12.5, 25.));
#2360 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2340, #2350), .UNSPECIFIED., .F., .U., (2, 2), (0.416666666666667, 0.583333333333333), .UNSPECIFIED.);
#2370 = EDGE_CURVE ('', #2280, #1980, #2360, .T.);
#2380 = ORIENTED_EDGE ('', *, *, #2370, .T.);
#2390 = EDGE_LOOP ('', (#2250, #2260, #2330, #2380));
#2400 = FACE_OUTER_BOUND ('', #2390, .T.);
#2410 = CARTESIAN_POINT ('', (0., 12.5, 25.));
#2420 = CARTESIAN_POINT ('', (0., 12.5, 34.));
#2430 = CARTESIAN_POINT ('', (0., -12.5, 25.));
#2440 = CARTESIAN_POINT ('', (0., -12.5, 34.));
#2450 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2410, #2420), (#2430, #2440)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.416666666666667, 0.583333333333333), (0., 0.36), .UNSPECIFIED.);
#2460 = ADVANCED_FACE ('', (#2400), #2450, .T.);
#2470 = ORIENTED_EDGE ('', *, *, #2070, .T.);
#2480 = ORIENTED_EDGE ('', *, *, #2370, .F.);
#2490 = CARTESIAN_POINT ('', (3.5527136788005E-15, 12.5, 25.));
#2500 = CARTESIAN_POINT ('', (-79.3, 12.5, 25.));
#2510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2490, #2500), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2520 = EDGE_CURVE ('', #2280, #1700, #2510, .T.);
#2530 = ORIENTED_EDGE ('', *, *, #2520, .T.);
#2540 = ORIENTED_EDGE ('', *, *, #1760, .T.);
#2550 = EDGE_LOOP ('', (#2470, #2480, #2530, #2540));
#2560 = FACE_OUTER_BOUND ('', #2550, .T.);
#2570 = CARTESIAN_POINT ('', (-79.3, 12.5, 25.));
#2580 = CARTESIAN_POINT ('', (0., 12.5, 25.));
#2590 = CARTESIAN_POINT ('', (-79.3, -12.5, 25.));
#2600 = CARTESIAN_POINT ('', (0., -12.5, 25.));
#2610 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2570, #2580), (#2590, #2600)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.416666666666667, 0.583333333333333), (0.3656, 1.), .UNSPECIFIED.);
#2620 = ADVANCED_FACE ('', (#2560), #2610, .T.);
#2630 = ORIENTED_EDGE ('', *, *, #80, .F.);
#2640 = CARTESIAN_POINT ('', (16.2202659645651, 12.5, 20.));
#2650 = VERTEX_POINT ('', #2640);
#2660 = CARTESIAN_POINT ('', (44.4, 12.5, 20.));
#2670 = CARTESIAN_POINT ('', (16.2202659645651, 12.5, 20.));
#2680 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2660, #2670), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2690 = EDGE_CURVE ('', #20, #2650, #2680, .T.);
#2700 = ORIENTED_EDGE ('', *, *, #2690, .T.);
#2710 = CARTESIAN_POINT ('', (16.2202659645651, 6.8, 20.));
#2720 = VERTEX_POINT ('', #2710);
#2730 = CARTESIAN_POINT ('', (16.2202659645651, 6.8, 20.));
#2740 = CARTESIAN_POINT ('', (16.2202659645651, 12.5, 20.));
#2750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2730, #2740), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.949999999999998), .UNSPECIFIED.);
#2760 = EDGE_CURVE ('', #2720, #2650, #2750, .T.);
#2770 = ORIENTED_EDGE ('', *, *, #2760, .F.);
#2780 = CARTESIAN_POINT ('', (17.4, 6.8, 20.));
#2790 = VERTEX_POINT ('', #2780);
#2800 = CARTESIAN_POINT ('', (17.4, 6.8, 20.));
#2810 = CARTESIAN_POINT ('', (16.2202659645651, 6.8, 20.));
#2820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2800, #2810), .UNSPECIFIED., .F., .U., (2, 2), (0.95926257925222, 1.), .UNSPECIFIED.);
#2830 = EDGE_CURVE ('', #2790, #2720, #2820, .T.);
#2840 = ORIENTED_EDGE ('', *, *, #2830, .F.);
#2850 = CARTESIAN_POINT ('', (17.4, 7.1, 20.));
#2860 = VERTEX_POINT ('', #2850);
#2870 = CARTESIAN_POINT ('', (17.4, 6.8, 20.));
#2880 = CARTESIAN_POINT ('', (17.4, 7.1, 20.));
#2890 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2870, #2880), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2900 = EDGE_CURVE ('', #2790, #2860, #2890, .T.);
#2910 = ORIENTED_EDGE ('', *, *, #2900, .T.);
#2920 = CARTESIAN_POINT ('', (17.4, 7.1, 20.));
#2930 = CARTESIAN_POINT ('', (44.4, 7.1, 20.));
#2940 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2920, #2930), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.999999999999999), .UNSPECIFIED.);
#2950 = EDGE_CURVE ('', #2860, #40, #2940, .T.);
#2960 = ORIENTED_EDGE ('', *, *, #2950, .T.);
#2970 = EDGE_LOOP ('', (#2630, #2700, #2770, #2840, #2910, #2960));
#2980 = FACE_OUTER_BOUND ('', #2970, .T.);
#2990 = CARTESIAN_POINT ('', (44.4, 12.8, 20.));
#3000 = CARTESIAN_POINT ('', (44.4, 6.8, 20.));
#3010 = CARTESIAN_POINT ('', (16.2202659645651, 12.8, 20.));
#3020 = CARTESIAN_POINT ('', (16.2202659645651, 6.8, 20.));
#3030 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2990, #3000), (#3010, #3020)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 3.75729787139132), (0.414666666666667, 0.454666666666667), .UNSPECIFIED.);
#3040 = ADVANCED_FACE ('', (#2980), #3030, .T.);
#3050 = CARTESIAN_POINT ('', (15.7, 12.5, 25.));
#3060 = VERTEX_POINT ('', #3050);
#3070 = CARTESIAN_POINT ('', (36.0339745962156, 12.5, 25.));
#3080 = VERTEX_POINT ('', #3070);
#3090 = CARTESIAN_POINT ('', (15.7, 12.5, 25.));
#3100 = CARTESIAN_POINT ('', (36.0339745962156, 12.5, 25.));
#3110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3090, #3100), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.708500857010996), .UNSPECIFIED.);
#3120 = EDGE_CURVE ('', #3060, #3080, #3110, .T.);
#3130 = ORIENTED_EDGE ('', *, *, #3120, .F.);
#3140 = CARTESIAN_POINT ('', (15.7, 12.5, 24.95));
#3150 = VERTEX_POINT ('', #3140);
#3160 = CARTESIAN_POINT ('', (15.7, 12.5, 24.95));
#3170 = CARTESIAN_POINT ('', (15.7, 12.5, 25.));
#3180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3160, #3170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3190 = EDGE_CURVE ('', #3150, #3060, #3180, .T.);
#3200 = ORIENTED_EDGE ('', *, *, #3190, .F.);
#3210 = CARTESIAN_POINT ('', (16.2202659645651, 12.5, 20.));
#3220 = CARTESIAN_POINT ('', (15.7, 12.5, 24.95));
#3230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3210, #3220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3240 = EDGE_CURVE ('', #2650, #3150, #3230, .T.);
#3250 = ORIENTED_EDGE ('', *, *, #3240, .F.);
#3260 = ORIENTED_EDGE ('', *, *, #2690, .F.);
#3270 = ORIENTED_EDGE ('', *, *, #320, .F.);
#3280 = ORIENTED_EDGE ('', *, *, #470, .F.);
#3290 = ORIENTED_EDGE ('', *, *, #1810, .T.);
#3300 = ORIENTED_EDGE ('', *, *, #2520, .F.);
#3310 = ORIENTED_EDGE ('', *, *, #2320, .F.);
#3320 = ORIENTED_EDGE ('', *, *, #1180, .T.);
#3330 = CARTESIAN_POINT ('', (36.0339745962156, 12.5, 25.));
#3340 = CARTESIAN_POINT ('', (20.4455173280957, 12.5, 34.));
#3350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3330, #3340), .UNSPECIFIED., .F., .U., (2, 2), (0.0526315789473677, 1.), .UNSPECIFIED.);
#3360 = EDGE_CURVE ('', #3080, #1050, #3350, .T.);
#3370 = ORIENTED_EDGE ('', *, *, #3360, .F.);
#3380 = EDGE_LOOP ('', (#3130, #3200, #3250, #3260, #3270, #3280, #3290, #3300, #3310, #3320, #3370));
#3390 = FACE_OUTER_BOUND ('', #3380, .T.);
#3400 = CARTESIAN_POINT ('', (-79.3, 12.5, 0.));
#3410 = CARTESIAN_POINT ('', (44.4, 12.5, 0.));
#3420 = CARTESIAN_POINT ('', (-79.3, 12.5, 34.));
#3430 = CARTESIAN_POINT ('', (44.4, 12.5, 34.));
#3440 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3400, #3410), (#3420, #3430)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#3450 = ADVANCED_FACE ('', (#3390), #3440, .T.);
#3460 = CARTESIAN_POINT ('', (36.0339745962156, 7.1, 25.));
#3470 = VERTEX_POINT ('', #3460);
#3480 = CARTESIAN_POINT ('', (36.0339745962156, 12.5, 25.));
#3490 = CARTESIAN_POINT ('', (36.0339745962156, 7.09999999999999, 25.));
#3500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3480, #3490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3510 = EDGE_CURVE ('', #3080, #3470, #3500, .T.);
#3520 = ORIENTED_EDGE ('', *, *, #3510, .F.);
#3530 = ORIENTED_EDGE ('', *, *, #3360, .T.);
#3540 = ORIENTED_EDGE ('', *, *, #1110, .T.);
#3550 = CARTESIAN_POINT ('', (20.4455173280957, 7.1, 34.));
#3560 = CARTESIAN_POINT ('', (36.0339745962156, 7.1, 25.));
#3570 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3550, #3560), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.947368421052632), .UNSPECIFIED.);
#3580 = EDGE_CURVE ('', #1070, #3470, #3570, .T.);
#3590 = ORIENTED_EDGE ('', *, *, #3580, .T.);
#3600 = EDGE_LOOP ('', (#3520, #3530, #3540, #3590));
#3610 = FACE_OUTER_BOUND ('', #3600, .T.);
#3620 = CARTESIAN_POINT ('', (36.0339745962156, 12.5, 25.));
#3630 = CARTESIAN_POINT ('', (36.0339745962156, 7.09999999999999, 25.));
#3640 = CARTESIAN_POINT ('', (20.4455173280957, 12.5, 34.));
#3650 = CARTESIAN_POINT ('', (20.4455173280957, 7.09999999999999, 34.));
#3660 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3620, #3630), (#3640, #3650)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0526315789473677, 1.), (0.416666666666667, 0.452666666666667), .UNSPECIFIED.);
#3670 = ADVANCED_FACE ('', (#3610), #3660, .T.);
#3680 = CARTESIAN_POINT ('', (17.4, 7.1, 25.));
#3690 = VERTEX_POINT ('', #3680);
#3700 = CARTESIAN_POINT ('', (17.4, 6.8, 25.));
#3710 = VERTEX_POINT ('', #3700);
#3720 = CARTESIAN_POINT ('', (17.4, 7.09999999999999, 25.));
#3730 = CARTESIAN_POINT ('', (17.4, 6.8, 25.));
#3740 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3720, #3730), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3750 = EDGE_CURVE ('', #3690, #3710, #3740, .T.);
#3760 = ORIENTED_EDGE ('', *, *, #3750, .F.);
#3770 = CARTESIAN_POINT ('', (17.4, 7.1, 25.));
#3780 = CARTESIAN_POINT ('', (17.4, 7.1, 34.));
#3790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3770, #3780), .UNSPECIFIED., .F., .U., (2, 2), (0.735294117647059, 1.), .UNSPECIFIED.);
#3800 = EDGE_CURVE ('', #3690, #1400, #3790, .T.);
#3810 = ORIENTED_EDGE ('', *, *, #3800, .T.);
#3820 = ORIENTED_EDGE ('', *, *, #1490, .T.);
#3830 = ORIENTED_EDGE ('', *, *, #2140, .F.);
#3840 = ORIENTED_EDGE ('', *, *, #720, .F.);
#3850 = CARTESIAN_POINT ('', (17.4, 7.1, 0.));
#3860 = CARTESIAN_POINT ('', (17.4, 7.1, 20.));
#3870 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3850, #3860), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.588235294117647), .UNSPECIFIED.);
#3880 = EDGE_CURVE ('', #510, #2860, #3870, .T.);
#3890 = ORIENTED_EDGE ('', *, *, #3880, .T.);
#3900 = ORIENTED_EDGE ('', *, *, #2900, .F.);
#3910 = CARTESIAN_POINT ('', (17.4, 6.8, 25.));
#3920 = CARTESIAN_POINT ('', (17.4, 6.8, 20.));
#3930 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3910, #3920), .UNSPECIFIED., .F., .U., (2, 2), (0.318836917407071, 0.495968538188777), .UNSPECIFIED.);
#3940 = EDGE_CURVE ('', #3710, #2790, #3930, .T.);
#3950 = ORIENTED_EDGE ('', *, *, #3940, .F.);
#3960 = EDGE_LOOP ('', (#3760, #3810, #3820, #3830, #3840, #3890, #3900, #3950));
#3970 = FACE_OUTER_BOUND ('', #3960, .T.);
#3980 = CARTESIAN_POINT ('', (17.4, 7.1, 0.));
#3990 = CARTESIAN_POINT ('', (17.4, -12.5, 0.));
#4000 = CARTESIAN_POINT ('', (17.4, 7.1, 34.));
#4010 = CARTESIAN_POINT ('', (17.4, -12.5, 34.));
#4020 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3980, #3990), (#4000, #4010)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#4030 = ADVANCED_FACE ('', (#3970), #4020, .T.);
#4040 = ORIENTED_EDGE ('', *, *, #2950, .F.);
#4050 = ORIENTED_EDGE ('', *, *, #3880, .F.);
#4060 = ORIENTED_EDGE ('', *, *, #600, .F.);
#4070 = ORIENTED_EDGE ('', *, *, #150, .T.);
#4080 = EDGE_LOOP ('', (#4040, #4050, #4060, #4070));
#4090 = FACE_OUTER_BOUND ('', #4080, .T.);
#4100 = CARTESIAN_POINT ('', (44.4, 7.1, 0.));
#4110 = CARTESIAN_POINT ('', (17.4, 7.1, 0.));
#4120 = CARTESIAN_POINT ('', (44.4, 7.1, 34.));
#4130 = CARTESIAN_POINT ('', (17.4, 7.1, 34.));
#4140 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4100, #4110), (#4120, #4130)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#4150 = ADVANCED_FACE ('', (#4090), #4140, .T.);
#4160 = CARTESIAN_POINT ('', (36.0339745962156, 7.1, 25.));
#4170 = CARTESIAN_POINT ('', (17.4, 7.1, 25.));
#4180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4160, #4170), .UNSPECIFIED., .F., .U., (2, 2), (0.309852792732757, 1.), .UNSPECIFIED.);
#4190 = EDGE_CURVE ('', #3470, #3690, #4180, .T.);
#4200 = ORIENTED_EDGE ('', *, *, #4190, .F.);
#4210 = ORIENTED_EDGE ('', *, *, #3580, .F.);
#4220 = ORIENTED_EDGE ('', *, *, #1590, .T.);
#4230 = ORIENTED_EDGE ('', *, *, #3800, .F.);
#4240 = EDGE_LOOP ('', (#4200, #4210, #4220, #4230));
#4250 = FACE_OUTER_BOUND ('', #4240, .T.);
#4260 = CARTESIAN_POINT ('', (44.4, 7.1, 0.));
#4270 = CARTESIAN_POINT ('', (17.4, 7.1, 0.));
#4280 = CARTESIAN_POINT ('', (44.4, 7.1, 34.));
#4290 = CARTESIAN_POINT ('', (17.4, 7.1, 34.));
#4300 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4260, #4270), (#4280, #4290)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#4310 = ADVANCED_FACE ('', (#4250), #4300, .T.);
#4320 = ORIENTED_EDGE ('', *, *, #3240, .T.);
#4330 = CARTESIAN_POINT ('', (15.7, 6.8, 24.95));
#4340 = VERTEX_POINT ('', #4330);
#4350 = CARTESIAN_POINT ('', (15.7, 6.8, 24.95));
#4360 = CARTESIAN_POINT ('', (15.7, 12.5, 24.95));
#4370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4350, #4360), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.949999999999998), .UNSPECIFIED.);
#4380 = EDGE_CURVE ('', #4340, #3150, #4370, .T.);
#4390 = ORIENTED_EDGE ('', *, *, #4380, .F.);
#4400 = CARTESIAN_POINT ('', (16.2202659645651, 6.8, 20.));
#4410 = CARTESIAN_POINT ('', (15.7, 6.8, 24.95));
#4420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4400, #4410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4430 = EDGE_CURVE ('', #2720, #4340, #4420, .T.);
#4440 = ORIENTED_EDGE ('', *, *, #4430, .F.);
#4450 = ORIENTED_EDGE ('', *, *, #2760, .T.);
#4460 = EDGE_LOOP ('', (#4320, #4390, #4440, #4450));
#4470 = FACE_OUTER_BOUND ('', #4460, .T.);
#4480 = CARTESIAN_POINT ('', (16.2202659645651, 6.8, 20.));
#4490 = CARTESIAN_POINT ('', (15.7, 6.8, 24.95));
#4500 = CARTESIAN_POINT ('', (16.2202659645651, 12.5, 20.));
#4510 = CARTESIAN_POINT ('', (15.7, 12.5, 24.95));
#4520 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4480, #4490), (#4500, #4510)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.949999999999998), (0., 1.), .UNSPECIFIED.);
#4530 = ADVANCED_FACE ('', (#4470), #4520, .T.);
#4540 = ORIENTED_EDGE ('', *, *, #3190, .T.);
#4550 = CARTESIAN_POINT ('', (15.7, 6.8, 25.));
#4560 = VERTEX_POINT ('', #4550);
#4570 = CARTESIAN_POINT ('', (15.7, 6.8, 25.));
#4580 = CARTESIAN_POINT ('', (15.7, 12.5, 25.));
#4590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4570, #4580), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.949999999999998), .UNSPECIFIED.);
#4600 = EDGE_CURVE ('', #4560, #3060, #4590, .T.);
#4610 = ORIENTED_EDGE ('', *, *, #4600, .F.);
#4620 = CARTESIAN_POINT ('', (15.7, 6.8, 24.95));
#4630 = CARTESIAN_POINT ('', (15.7, 6.8, 25.));
#4640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4620, #4630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4650 = EDGE_CURVE ('', #4340, #4560, #4640, .T.);
#4660 = ORIENTED_EDGE ('', *, *, #4650, .F.);
#4670 = ORIENTED_EDGE ('', *, *, #4380, .T.);
#4680 = EDGE_LOOP ('', (#4540, #4610, #4660, #4670));
#4690 = FACE_OUTER_BOUND ('', #4680, .T.);
#4700 = CARTESIAN_POINT ('', (15.7, 6.8, 24.95));
#4710 = CARTESIAN_POINT ('', (15.7, 6.8, 25.));
#4720 = CARTESIAN_POINT ('', (15.7, 12.5, 24.95));
#4730 = CARTESIAN_POINT ('', (15.7, 12.5, 25.));
#4740 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4700, #4710), (#4720, #4730)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.949999999999998), (0., 1.), .UNSPECIFIED.);
#4750 = ADVANCED_FACE ('', (#4690), #4740, .T.);
#4760 = ORIENTED_EDGE ('', *, *, #4190, .T.);
#4770 = ORIENTED_EDGE ('', *, *, #3750, .T.);
#4780 = CARTESIAN_POINT ('', (15.7, 6.8, 25.));
#4790 = CARTESIAN_POINT ('', (17.4, 6.8, 25.));
#4800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4780, #4790), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0566666666666671), .UNSPECIFIED.);
#4810 = EDGE_CURVE ('', #4560, #3710, #4800, .T.);
#4820 = ORIENTED_EDGE ('', *, *, #4810, .F.);
#4830 = ORIENTED_EDGE ('', *, *, #4600, .T.);
#4840 = ORIENTED_EDGE ('', *, *, #3120, .T.);
#4850 = ORIENTED_EDGE ('', *, *, #3510, .T.);
#4860 = EDGE_LOOP ('', (#4760, #4770, #4820, #4830, #4840, #4850));
#4870 = FACE_OUTER_BOUND ('', #4860, .T.);
#4880 = CARTESIAN_POINT ('', (15.7, 6.8, 25.));
#4890 = CARTESIAN_POINT ('', (36.0339745962156, 6.8, 25.));
#4900 = CARTESIAN_POINT ('', (15.7, 12.5, 25.));
#4910 = CARTESIAN_POINT ('', (36.0339745962156, 12.5, 25.));
#4920 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4880, #4890), (#4900, #4910)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.950000000000004), (0., 0.677799153207186), .UNSPECIFIED.);
#4930 = ADVANCED_FACE ('', (#4870), #4920, .T.);
#4940 = ORIENTED_EDGE ('', *, *, #3940, .T.);
#4950 = ORIENTED_EDGE ('', *, *, #2830, .T.);
#4960 = ORIENTED_EDGE ('', *, *, #4430, .T.);
#4970 = ORIENTED_EDGE ('', *, *, #4650, .T.);
#4980 = ORIENTED_EDGE ('', *, *, #4810, .T.);
#4990 = EDGE_LOOP ('', (#4940, #4950, #4960, #4970, #4980));
#5000 = FACE_OUTER_BOUND ('', #4990, .T.);
#5010 = CARTESIAN_POINT ('', (15.7, 6.8, 20.));
#5020 = CARTESIAN_POINT ('', (17.4, 6.8, 20.));
#5030 = CARTESIAN_POINT ('', (15.7, 6.8, 25.));
#5040 = CARTESIAN_POINT ('', (17.4, 6.8, 25.));
#5050 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5010, #5020), (#5030, #5040)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.425273187588474, 0.574726812411526), (0.0516391255308438, 0.102453357970682), .UNSPECIFIED.);
#5060 = ADVANCED_FACE ('', (#5000), #5050, .T.);
#5070 = CLOSED_SHELL ('', (#410, #1030, #1680, #1960, #2240, #2460, #2620, #3040, #3450, #3670, #4030, #4150, #4310, #4530, #4750, #4930, #5060));
#5080 = MANIFOLD_SOLID_BREP ('NOCUT', #5070);
#5090 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#5100 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#5110 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#5120 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #5090, 'DISTANCE_ACCURACY_VALUE', '');
#5130 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#5120))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#5090, #5100, #5110))
   REPRESENTATION_CONTEXT ('', '3D')
);
#5140 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#5150 = FILL_AREA_STYLE_COLOUR ('', #5140);
#5160 = FILL_AREA_STYLE ('', (#5150));
#5170 = SURFACE_STYLE_FILL_AREA (#5160);
#5180 = SURFACE_SIDE_STYLE ('', (#5170));
#5190 = SURFACE_STYLE_USAGE (.POSITIVE., #5180);
#5200 = PRESENTATION_STYLE_ASSIGNMENT ((#5190));
#5210 = STYLED_ITEM ('', (#5200), #5080);
#5220 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#5080), #5130);
#5230 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#5240 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #5230);
#5250 = MECHANICAL_CONTEXT ('', #5230, 'mechanical');
#5260 = PRODUCT ('NONE', '', '', (#5250));
#5270 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#5280 = PERSON ('', '', $, $, $, $);
#5290 = ORGANIZATION ($, '', '');
#5300 = PERSON_AND_ORGANIZATION (#5280, #5290);
#5310 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#5300, #5270, (#5260));
#5320 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#5260));
#5330 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #5260, .NOT_KNOWN.);
#5340 = APPROVAL_STATUS ('approved');
#5350 = APPROVAL (#5340, '');
#5360 = CALENDAR_DATE (2017, 2, 8);
#5370 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#5380 = LOCAL_TIME (8, 32, 20., #5370);
#5390 = DATE_AND_TIME (#5360, #5380);
#5400 = APPROVAL_DATE_TIME (#5390, #5350);
#5410 = APPROVAL_ROLE ('');
#5420 = PERSON ('', '', $, $, $, $);
#5430 = ORGANIZATION ($, '', '');
#5440 = PERSON_AND_ORGANIZATION (#5420, #5430);
#5450 = APPROVAL_PERSON_ORGANIZATION (#5440, #5350, #5410);
#5460 = CC_DESIGN_APPROVAL (#5350, (#5330));
#5470 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#5480 = PERSON ('', '', $, $, $, $);
#5490 = ORGANIZATION ($, '', '');
#5500 = PERSON_AND_ORGANIZATION (#5480, #5490);
#5510 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#5500, #5470, (#5330));
#5520 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#5530 = PERSON ('', '', $, $, $, $);
#5540 = ORGANIZATION ($, '', '');
#5550 = PERSON_AND_ORGANIZATION (#5530, #5540);
#5560 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#5550, #5520, (#5330));
#5570 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#5580 = SECURITY_CLASSIFICATION ('', '', #5570);
#5590 = APPROVAL_STATUS ('approved');
#5600 = APPROVAL (#5590, '');
#5610 = CALENDAR_DATE (2017, 2, 8);
#5620 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#5630 = LOCAL_TIME (8, 32, 20., #5620);
#5640 = DATE_AND_TIME (#5610, #5630);
#5650 = APPROVAL_DATE_TIME (#5640, #5600);
#5660 = APPROVAL_ROLE ('');
#5670 = PERSON ('', '', $, $, $, $);
#5680 = ORGANIZATION ($, '', '');
#5690 = PERSON_AND_ORGANIZATION (#5670, #5680);
#5700 = APPROVAL_PERSON_ORGANIZATION (#5690, #5600, #5660);
#5710 = CC_DESIGN_APPROVAL (#5600, (#5580));
#5720 = DATE_TIME_ROLE ('classification_date');
#5730 = CALENDAR_DATE (2017, 2, 8);
#5740 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#5750 = LOCAL_TIME (8, 32, 20., #5740);
#5760 = DATE_AND_TIME (#5730, #5750);
#5770 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#5760, #5720, (#5580));
#5780 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#5790 = PERSON ('', '', $, $, $, $);
#5800 = ORGANIZATION ($, '', '');
#5810 = PERSON_AND_ORGANIZATION (#5790, #5800);
#5820 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#5810, #5780, (#5580));
#5830 = CC_DESIGN_SECURITY_CLASSIFICATION (#5580, (#5330));
#5840 = DESIGN_CONTEXT ('', #5230, 'design');
#5850 = PRODUCT_DEFINITION ('', '', #5330, #5840);
#5860 = APPROVAL_STATUS ('approved');
#5870 = APPROVAL (#5860, '');
#5880 = CALENDAR_DATE (2017, 2, 8);
#5890 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#5900 = LOCAL_TIME (8, 32, 20., #5890);
#5910 = DATE_AND_TIME (#5880, #5900);
#5920 = APPROVAL_DATE_TIME (#5910, #5870);
#5930 = APPROVAL_ROLE ('');
#5940 = PERSON ('', '', $, $, $, $);
#5950 = ORGANIZATION ($, '', '');
#5960 = PERSON_AND_ORGANIZATION (#5940, #5950);
#5970 = APPROVAL_PERSON_ORGANIZATION (#5960, #5870, #5930);
#5980 = CC_DESIGN_APPROVAL (#5870, (#5850));
#5990 = DATE_TIME_ROLE ('creation_date');
#6000 = CALENDAR_DATE (2017, 2, 8);
#6010 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#6020 = LOCAL_TIME (8, 32, 20., #6010);
#6030 = DATE_AND_TIME (#6000, #6020);
#6040 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#6030, #5990, (#5850));
#6050 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#6060 = PERSON ('', '', $, $, $, $);
#6070 = ORGANIZATION ($, '', '');
#6080 = PERSON_AND_ORGANIZATION (#6060, #6070);
#6090 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#6080, #6050, (#5850));
#6100 = PRODUCT_DEFINITION_SHAPE ('', '', #5850);
#6110 = SHAPE_DEFINITION_REPRESENTATION (#6100, #5220);
#6120 = CARTESIAN_POINT ('', (15.7585786426391, 6.8585786426391, 24.3926614446979));
#6130 = VERTEX_POINT ('', #6120);
#6140 = CARTESIAN_POINT ('', (15.9069798993405, 6.80012183459618, 24.9488408212488));
#6150 = VERTEX_POINT ('', #6140);
#6160 = CARTESIAN_POINT ('', (15.7585785927304, 6.85857864209404, 24.3926614498866));
#6170 = CARTESIAN_POINT ('', (15.7590533480683, 6.85810391509468, 24.3971781755749));
#6180 = CARTESIAN_POINT ('', (15.7595328268907, 6.85762924066836, 24.4016944010641));
#6190 = CARTESIAN_POINT ('', (15.7600171516364, 6.85715462148128, 24.4062101009869));
#6200 = CARTESIAN_POINT ('', (15.7620814229338, 6.85513171686227, 24.4254567527883));
#6210 = CARTESIAN_POINT ('', (15.7642339423263, 6.85310976827151, 24.4446943085856));
#6220 = CARTESIAN_POINT ('', (15.7664876925205, 6.85108907443876, 24.4639199261608));
#6230 = CARTESIAN_POINT ('', (15.7715593739315, 6.8465418467224, 24.5071839079106));
#6240 = CARTESIAN_POINT ('', (15.7771323726243, 6.84200007282993, 24.5503959999922));
#6250 = CARTESIAN_POINT ('', (15.7834496955215, 6.83746992116545, 24.5934975139609));
#6260 = CARTESIAN_POINT ('', (15.7876611145353, 6.83444991298074, 24.622230972485));
#6270 = CARTESIAN_POINT ('', (15.7922042767877, 6.83143455044483, 24.6509202306133));
#6280 = CARTESIAN_POINT ('', (15.7972232126737, 6.82842805594482, 24.679525115016));
#6290 = CARTESIAN_POINT ('', (15.8022426111293, 6.82542128435159, 24.7081326357846));
#6300 = CARTESIAN_POINT ('', (15.8077281908488, 6.82242193986407, 24.7366694923626));
#6310 = CARTESIAN_POINT ('', (15.8139864804915, 6.81944066221387, 24.7650344544658));
#6320 = CARTESIAN_POINT ('', (15.8181587105284, 6.81745312618241, 24.783944596635));
#6330 = CARTESIAN_POINT ('', (15.8226746249839, 6.81547261072166, 24.8027879425358));
#6340 = CARTESIAN_POINT ('', (15.8277452705367, 6.81350803215639, 24.8214796590047));
#6350 = CARTESIAN_POINT ('', (15.8311257193705, 6.81219830595866, 24.8339408713852));
#6360 = CARTESIAN_POINT ('', (15.834754111875, 6.81089492457881, 24.846341716856));
#6370 = CARTESIAN_POINT ('', (15.8387654757391, 6.80960479775334, 24.8586164536656));
#6380 = CARTESIAN_POINT ('', (15.8427785242188, 6.8083141291252, 24.8708963453833));
#6390 = CARTESIAN_POINT ('', (15.8471656549701, 6.80703396145187, 24.8830763271899));
#6400 = CARTESIAN_POINT ('', (15.8522450405876, 6.80578500611045, 24.8949593434952));
#6410 = CARTESIAN_POINT ('', (15.8556326288097, 6.80495204190509, 24.9028844685224));
#6420 = CARTESIAN_POINT ('', (15.8593322283081, 6.80413046334217, 24.9107012663978));
#6430 = CARTESIAN_POINT ('', (15.8635892028146, 6.80334229268009, 24.9182002093289));
#6440 = CARTESIAN_POINT ('', (15.8664290064961, 6.80281650847717, 24.9232027118598));
#6450 = CARTESIAN_POINT ('', (15.8695270025212, 6.80230322287532, 24.9280862981449));
#6460 = CARTESIAN_POINT ('', (15.8730469562217, 6.80182448831634, 24.9326411532159));
#6470 = CARTESIAN_POINT ('', (15.8765882617349, 6.80134284978431, 24.9372236377448));
#6480 = CARTESIAN_POINT ('', (15.8806150209274, 6.80088451462277, 24.9415844055139));
#6490 = CARTESIAN_POINT ('', (15.8853723537207, 6.80053563735763, 24.9449037509643));
#6500 = CARTESIAN_POINT ('', (15.8874833789823, 6.80038082609007, 24.9463766817854));
#6510 = CARTESIAN_POINT ('', (15.889770864814, 6.80024713415676, 24.9476486755635));
#6520 = CARTESIAN_POINT ('', (15.8921861704003, 6.80015269812433, 24.9485471743937));
#6530 = CARTESIAN_POINT ('', (15.8932550629323, 6.80011090549552, 24.9489448046957));
#6540 = CARTESIAN_POINT ('', (15.8943542665106, 6.80007658898511, 24.9492713044826));
#6550 = CARTESIAN_POINT ('', (15.8954695870244, 6.80005131818821, 24.9495117400543));
#6560 = CARTESIAN_POINT ('', (15.8969540907578, 6.80001768248271, 24.9498317624151));
#6570 = CARTESIAN_POINT ('', (15.8984810210644, 6.8, 24.95));
#6580 = CARTESIAN_POINT ('', (15.9, 6.8, 24.95));
#6590 = CARTESIAN_POINT ('', (15.9011428609459, 6.8, 24.95));
#6600 = CARTESIAN_POINT ('', (15.9022892991916, 6.80000992121426, 24.9499056059518));
#6610 = CARTESIAN_POINT ('', (15.9034171875, 6.80002919505691, 24.9497222275883));
#6620 = CARTESIAN_POINT ('', (15.9046251545424, 6.80004983731955, 24.9495258295783));
#6630 = CARTESIAN_POINT ('', (15.9058189683823, 6.8000812939938, 24.9492265393151));
#6640 = CARTESIAN_POINT ('', (15.9069798993405, 6.80012183459618, 24.9488408212488));
#6650 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6160, #6170, #6180, #6190, #6200, #6210, #6220, #6230, #6240, #6250, #6260, #6270, #6280, #6290, #6300, #6310, #6320, #6330, #6340, #6350, #6360, #6370, #6380, #6390, #6400, #6410, #6420, #6430, #6440, #6450, #6460, #6470, #6480, #6490, #6500, #6510, #6520, #6530, #6540, #6550, #6560, #6570, #6580, #6590, #6600, #6610, #6620, #6630, #6640), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (1.3547456617022, 1.36844465497263, 1.42683200533088, 1.55822280463505, 1.64581397567819, 1.73341321955132, 1.7918132325509, 1.83074678722025, 1.86969669245592, 1.89567350346566, 1.91300248756578, 1.93043658816896, 1.93817281945335, 1.94159648554868, 1.94615342235545, 1.94958200519305, 1.95325401335089), .UNSPECIFIED.);
#6660 = EDGE_CURVE ('', #6130, #6150, #6650, .T.);
#6670 = ORIENTED_EDGE ('', *, *, #6660, .T.);
#6680 = CARTESIAN_POINT ('', (15.9069798993405, 6.80012183459618, 25.));
#6690 = VERTEX_POINT ('', #6680);
#6700 = CARTESIAN_POINT ('', (15.9069798993405, 6.80012183459618, 25.));
#6710 = CARTESIAN_POINT ('', (15.9069798993405, 6.80012183459618, 24.9488408212488));
#6720 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6700, #6710), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0102318357502392), .UNSPECIFIED.);
#6730 = EDGE_CURVE ('', #6690, #6150, #6720, .T.);
#6740 = ORIENTED_EDGE ('', *, *, #6730, .F.);
#6750 = CARTESIAN_POINT ('', (15.7, 7., 25.));
#6760 = VERTEX_POINT ('', #6750);
#6770 = CARTESIAN_POINT ('', (15.7, 7., 25.));
#6780 = CARTESIAN_POINT ('', (15.7, 6.91510503675808, 25.));
#6790 = CARTESIAN_POINT ('', (15.7610683259082, 6.85613203993227, 25.));
#6800 = CARTESIAN_POINT ('', (15.8221366518164, 6.79715904310646, 25.));
#6810 = CARTESIAN_POINT ('', (15.9069798993405, 6.80012183459618, 25.));
#6820 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6770, #6780, #6790, #6800, #6810), .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 ('')
);
#6830 = EDGE_CURVE ('', #6760, #6690, #6820, .T.);
#6840 = ORIENTED_EDGE ('', *, *, #6830, .F.);
#6850 = CARTESIAN_POINT ('', (15.7, 7., 24.95));
#6860 = VERTEX_POINT ('', #6850);
#6870 = CARTESIAN_POINT ('', (15.7, 7., 25.));
#6880 = CARTESIAN_POINT ('', (15.7, 7., 24.95));
#6890 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6870, #6880), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.01), .UNSPECIFIED.);
#6900 = EDGE_CURVE ('', #6760, #6860, #6890, .T.);
#6910 = ORIENTED_EDGE ('', *, *, #6900, .T.);
#6920 = CARTESIAN_POINT ('', (15.7, 7., 24.95));
#6930 = CARTESIAN_POINT ('', (15.7, 6.99827861068875, 24.95));
#6940 = CARTESIAN_POINT ('', (15.7000228334055, 6.99654605711599, 24.9497827546587));
#6950 = CARTESIAN_POINT ('', (15.7000656948731, 6.99487421875, 24.9493749550345));
#6960 = CARTESIAN_POINT ('', (15.7001085244393, 6.99320362471979, 24.9489674589323));
#6970 = CARTESIAN_POINT ('', (15.700171560408, 6.99157329388064, 24.9483677117524));
#6980 = CARTESIAN_POINT ('', (15.7002490904437, 6.99002131614801, 24.9476300627371));
#6990 = CARTESIAN_POINT ('', (15.7003264300926, 6.98847314953024, 24.9468942251299));
#7000 = CARTESIAN_POINT ('', (15.7004186632861, 6.98698877669133, 24.946016684914));
#7010 = CARTESIAN_POINT ('', (15.7005206935612, 6.98557757639185, 24.9450459316912));
#7020 = CARTESIAN_POINT ('', (15.7006225487689, 6.98416879748283, 24.9440768441232));
#7030 = CARTESIAN_POINT ('', (15.7007346478096, 6.9828251262874, 24.9430102929957));
#7040 = CARTESIAN_POINT ('', (15.7008534338554, 6.98154342412897, 24.9418801192637));
#7050 = CARTESIAN_POINT ('', (15.7009721010241, 6.98026300465509, 24.9407510765717));
#7060 = CARTESIAN_POINT ('', (15.7010977970262, 6.97904045501817, 24.9395551589974));
#7070 = CARTESIAN_POINT ('', (15.7012282033745, 6.97786918740091, 24.9383144254726));
#7080 = CARTESIAN_POINT ('', (15.7016705168335, 6.97389647105681, 24.9341060940205));
#7090 = CARTESIAN_POINT ('', (15.7021672159906, 6.97046918011367, 24.9293803172141));
#7100 = CARTESIAN_POINT ('', (15.7026800602342, 6.96736809274946, 24.9245009301728));
#7110 = CARTESIAN_POINT ('', (15.7031905213386, 6.96428141584737, 24.9196442171855));
#7120 = CARTESIAN_POINT ('', (15.7037219203117, 6.96150527774636, 24.9145882936849));
#7130 = CARTESIAN_POINT ('', (15.7042624422646, 6.95892922581955, 24.9094455708295));
#7140 = CARTESIAN_POINT ('', (15.7050728446441, 6.9550669615766, 24.9017351072363));
#7150 = CARTESIAN_POINT ('', (15.7059064722113, 6.95164288940978, 24.893803670743));
#7160 = CARTESIAN_POINT ('', (15.7067493885975, 6.94848105986585, 24.8857838570405));
#7170 = CARTESIAN_POINT ('', (15.7080131927482, 6.94374045526146, 24.8737595637522));
#7180 = CARTESIAN_POINT ('', (15.7093012623378, 6.93958226724532, 24.8615044002342));
#7190 = CARTESIAN_POINT ('', (15.7105985363913, 6.93575760291779, 24.8491616620922));
#7200 = CARTESIAN_POINT ('', (15.7118950000277, 6.9319353278874, 24.8368266345533));
#7210 = CARTESIAN_POINT ('', (15.7132026017325, 6.92845239251551, 24.8243856353732));
#7220 = CARTESIAN_POINT ('', (15.7145158385544, 6.9251960839739, 24.8118910216344));
#7230 = CARTESIAN_POINT ('', (15.7164855552206, 6.92031196475237, 24.7931504194009));
#7240 = CARTESIAN_POINT ('', (15.7184692636406, 6.91593458204975, 24.7742766945224));
#7250 = CARTESIAN_POINT ('', (15.7204594334644, 6.91187971307308, 24.7553414934926));
#7260 = CARTESIAN_POINT ('', (15.7224492662402, 6.90782553081449, 24.7364094992605));
#7270 = CARTESIAN_POINT ('', (15.7244465154286, 6.90409801064129, 24.717406942577));
#7280 = CARTESIAN_POINT ('', (15.7264479129307, 6.90060345542286, 24.6983649173242));
#7290 = CARTESIAN_POINT ('', (15.7294499073706, 6.89536180036694, 24.6698028481329));
#7300 = CARTESIAN_POINT ('', (15.7324620705087, 6.89064187429464, 24.6411440302416));
#7310 = CARTESIAN_POINT ('', (15.7354793515921, 6.88627684383805, 24.6124365183536));
#7320 = CARTESIAN_POINT ('', (15.7384964562258, 6.88191206864707, 24.5837306852718));
#7330 = CARTESIAN_POINT ('', (15.7415193523107, 6.87790569087145, 24.5549697502132));
#7340 = CARTESIAN_POINT ('', (15.7445456298237, 6.87416702024873, 24.5261766430146));
#7350 = CARTESIAN_POINT ('', (15.7490848879214, 6.86855920972053, 24.4829884871215));
#7360 = CARTESIAN_POINT ('', (15.7536324581585, 6.86355142186561, 24.4397212465045));
#7370 = CARTESIAN_POINT ('', (15.7581843300579, 6.85897405997881, 24.3964130783048));
#7380 = CARTESIAN_POINT ('', (15.758315763531, 6.85884189049256, 24.3951625723402));
#7390 = CARTESIAN_POINT ('', (15.7584472010773, 6.85871008559361, 24.3939120276216));
#7400 = CARTESIAN_POINT ('', (15.7585786426391, 6.8585786426391, 24.3926614446979));
#7410 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6920, #6930, #6940, #6950, #6960, #6970, #6980, #6990, #7000, #7010, #7020, #7030, #7040, #7050, #7060, #7070, #7080, #7090, #7100, #7110, #7120, #7130, #7140, #7150, #7160, #7170, #7180, #7190, #7200, #7210, #7220, #7230, #7240, #7250, #7260, #7270, #7280, #7290, #7300, #7310, #7320, #7330, #7340, #7350, #7360, #7370, #7380, #7390, #7400), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.0051641679337598, 0.0103244922190453, 0.0154721445515587, 0.0206109643489093, 0.0257446413876236, 0.0431570946787875, 0.060488633932673, 0.0864737406918782, 0.125433815875139, 0.164369552400531, 0.22276904886649, 0.281158655003093, 0.368740093866873, 0.456316410995573, 0.587676309412296, 0.591469273725974), .UNSPECIFIED.);
#7420 = EDGE_CURVE ('', #6860, #6130, #7410, .T.);
#7430 = ORIENTED_EDGE ('', *, *, #7420, .T.);
#7440 = EDGE_LOOP ('', (#6670, #6740, #6840, #6910, #7430));
#7450 = FACE_OUTER_BOUND ('', #7440, .T.);
#7460 = CARTESIAN_POINT ('', (15.7, 7., 25.));
#7470 = CARTESIAN_POINT ('', (15.7, 6.91510503675808, 25.));
#7480 = CARTESIAN_POINT ('', (15.7610683259082, 6.85613203993227, 25.));
#7490 = CARTESIAN_POINT ('', (15.8221366518164, 6.79715904310646, 25.));
#7500 = CARTESIAN_POINT ('', (15.9069798993405, 6.80012183459618, 25.));
#7510 = CARTESIAN_POINT ('', (15.7, 7., 24.3926614446979));
#7520 = CARTESIAN_POINT ('', (15.7, 6.91510503675808, 24.3926614446979));
#7530 = CARTESIAN_POINT ('', (15.7610683259082, 6.85613203993227, 24.3926614446979));
#7540 = CARTESIAN_POINT ('', (15.8221366518164, 6.79715904310646, 24.3926614446979));
#7550 = CARTESIAN_POINT ('', (15.9069798993405, 6.80012183459618, 24.3926614446979));
#7560 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#7460, #7470, #7480, #7490, #7500), (#7510, #7520, #7530, #7540, #7550)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 3), (0., 0.607338555302081), (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 ('')
);
#7570 = ADVANCED_FACE ('', (#7450), #7560, .T.);
#7580 = CARTESIAN_POINT ('', (45.6414213573609, 12.7414213573609, 24.3926614446979));
#7590 = VERTEX_POINT ('', #7580);
#7600 = CARTESIAN_POINT ('', (45.4930201006595, 12.7998781654038, 24.9488408212488));
#7610 = VERTEX_POINT ('', #7600);
#7620 = CARTESIAN_POINT ('', (45.6414214072696, 12.741421357906, 24.3926614498866));
#7630 = CARTESIAN_POINT ('', (45.6409466519317, 12.7418960849053, 24.3971781755749));
#7640 = CARTESIAN_POINT ('', (45.6404671731093, 12.7423707593316, 24.4016944010641));
#7650 = CARTESIAN_POINT ('', (45.6399828483636, 12.7428453785187, 24.4062101009869));
#7660 = CARTESIAN_POINT ('', (45.6379185770662, 12.7448682831377, 24.4254567527883));
#7670 = CARTESIAN_POINT ('', (45.6357660576737, 12.7468902317285, 24.4446943085856));
#7680 = CARTESIAN_POINT ('', (45.6335123074795, 12.7489109255612, 24.4639199261608));
#7690 = CARTESIAN_POINT ('', (45.6284406260685, 12.7534581532776, 24.5071839079106));
#7700 = CARTESIAN_POINT ('', (45.6228676273757, 12.7579999271701, 24.5503959999922));
#7710 = CARTESIAN_POINT ('', (45.6165503044785, 12.7625300788345, 24.5934975139609));
#7720 = CARTESIAN_POINT ('', (45.6123388854648, 12.7655500870193, 24.622230972485));
#7730 = CARTESIAN_POINT ('', (45.6077957232123, 12.7685654495552, 24.6509202306133));
#7740 = CARTESIAN_POINT ('', (45.6027767873263, 12.7715719440552, 24.679525115016));
#7750 = CARTESIAN_POINT ('', (45.5977573888707, 12.7745787156484, 24.7081326357846));
#7760 = CARTESIAN_POINT ('', (45.5922718091512, 12.7775780601359, 24.7366694923626));
#7770 = CARTESIAN_POINT ('', (45.5860135195085, 12.7805593377861, 24.7650344544658));
#7780 = CARTESIAN_POINT ('', (45.5818412894716, 12.7825468738176, 24.783944596635));
#7790 = CARTESIAN_POINT ('', (45.5773253750161, 12.7845273892783, 24.8027879425358));
#7800 = CARTESIAN_POINT ('', (45.5722547294633, 12.7864919678436, 24.8214796590047));
#7810 = CARTESIAN_POINT ('', (45.5688742806295, 12.7878016940413, 24.8339408713852));
#7820 = CARTESIAN_POINT ('', (45.565245888125, 12.7891050754212, 24.846341716856));
#7830 = CARTESIAN_POINT ('', (45.5612345242609, 12.7903952022467, 24.8586164536656));
#7840 = CARTESIAN_POINT ('', (45.5572214757812, 12.7916858708748, 24.8708963453833));
#7850 = CARTESIAN_POINT ('', (45.5528343450299, 12.7929660385481, 24.8830763271899));
#7860 = CARTESIAN_POINT ('', (45.5477549594124, 12.7942149938895, 24.8949593434952));
#7870 = CARTESIAN_POINT ('', (45.5443673711903, 12.7950479580949, 24.9028844685224));
#7880 = CARTESIAN_POINT ('', (45.540667771692, 12.7958695366578, 24.9107012663978));
#7890 = CARTESIAN_POINT ('', (45.5364107971854, 12.7966577073199, 24.9182002093289));
#7900 = CARTESIAN_POINT ('', (45.5335709935039, 12.7971834915228, 24.9232027118598));
#7910 = CARTESIAN_POINT ('', (45.5304729974788, 12.7976967771247, 24.9280862981449));
#7920 = CARTESIAN_POINT ('', (45.5269530437783, 12.7981755116837, 24.9326411532159));
#7930 = CARTESIAN_POINT ('', (45.5234117382651, 12.7986571502157, 24.9372236377448));
#7940 = CARTESIAN_POINT ('', (45.5193849790726, 12.7991154853772, 24.9415844055139));
#7950 = CARTESIAN_POINT ('', (45.5146276462793, 12.7994643626424, 24.9449037509643));
#7960 = CARTESIAN_POINT ('', (45.5125166210177, 12.7996191739099, 24.9463766817854));
#7970 = CARTESIAN_POINT ('', (45.510229135186, 12.7997528658432, 24.9476486755635));
#7980 = CARTESIAN_POINT ('', (45.5078138295997, 12.7998473018757, 24.9485471743937));
#7990 = CARTESIAN_POINT ('', (45.5067449370677, 12.7998890945045, 24.9489448046957));
#8000 = CARTESIAN_POINT ('', (45.5056457334894, 12.7999234110149, 24.9492713044826));
#8010 = CARTESIAN_POINT ('', (45.5045304129756, 12.7999486818118, 24.9495117400543));
#8020 = CARTESIAN_POINT ('', (45.5030459092421, 12.7999823175173, 24.9498317624151));
#8030 = CARTESIAN_POINT ('', (45.5015189789356, 12.8, 24.95));
#8040 = CARTESIAN_POINT ('', (45.5, 12.8, 24.95));
#8050 = CARTESIAN_POINT ('', (45.4988571390541, 12.8, 24.95));
#8060 = CARTESIAN_POINT ('', (45.4977107008085, 12.7999900787857, 24.9499056059518));
#8070 = CARTESIAN_POINT ('', (45.4965828125, 12.7999708049431, 24.9497222275883));
#8080 = CARTESIAN_POINT ('', (45.4953748454576, 12.7999501626804, 24.9495258295783));
#8090 = CARTESIAN_POINT ('', (45.4941810316177, 12.7999187060062, 24.9492265393151));
#8100 = CARTESIAN_POINT ('', (45.4930201006595, 12.7998781654038, 24.9488408212488));
#8110 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#7620, #7630, #7640, #7650, #7660, #7670, #7680, #7690, #7700, #7710, #7720, #7730, #7740, #7750, #7760, #7770, #7780, #7790, #7800, #7810, #7820, #7830, #7840, #7850, #7860, #7870, #7880, #7890, #7900, #7910, #7920, #7930, #7940, #7950, #7960, #7970, #7980, #7990, #8000, #8010, #8020, #8030, #8040, #8050, #8060, #8070, #8080, #8090, #8100), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (1.3547456617022, 1.36844465497263, 1.42683200533088, 1.55822280463505, 1.64581397567819, 1.73341321955132, 1.7918132325509, 1.83074678722025, 1.86969669245592, 1.89567350346567, 1.91300248756579, 1.93043658816897, 1.93817281945336, 1.9415964855487, 1.94615342235544, 1.94958200519304, 1.9532540133509), .UNSPECIFIED.);
#8120 = EDGE_CURVE ('', #7590, #7610, #8110, .T.);
#8130 = ORIENTED_EDGE ('', *, *, #8120, .T.);
#8140 = CARTESIAN_POINT ('', (45.4930201006595, 12.7998781654038, 25.));
#8150 = VERTEX_POINT ('', #8140);
#8160 = CARTESIAN_POINT ('', (45.4930201006595, 12.7998781654038, 25.));
#8170 = CARTESIAN_POINT ('', (45.4930201006595, 12.7998781654038, 24.9488408212488));
#8180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8160, #8170), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0511591787512018), .UNSPECIFIED.);
#8190 = EDGE_CURVE ('', #8150, #7610, #8180, .T.);
#8200 = ORIENTED_EDGE ('', *, *, #8190, .F.);
#8210 = CARTESIAN_POINT ('', (45.7, 12.6, 25.));
#8220 = VERTEX_POINT ('', #8210);
#8230 = CARTESIAN_POINT ('', (45.7, 12.6, 25.));
#8240 = CARTESIAN_POINT ('', (45.7, 12.6848949632419, 25.));
#8250 = CARTESIAN_POINT ('', (45.6389316740918, 12.7438679600677, 25.));
#8260 = CARTESIAN_POINT ('', (45.5778633481836, 12.8028409568935, 25.));
#8270 = CARTESIAN_POINT ('', (45.4930201006595, 12.7998781654038, 25.));
#8280 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#8230, #8240, #8250, #8260, #8270), .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.920504853452441, 1., 0.920504853452441, 1.))
   REPRESENTATION_ITEM ('')
);
#8290 = EDGE_CURVE ('', #8220, #8150, #8280, .T.);
#8300 = ORIENTED_EDGE ('', *, *, #8290, .F.);
#8310 = CARTESIAN_POINT ('', (45.7, 12.6, 24.95));
#8320 = VERTEX_POINT ('', #8310);
#8330 = CARTESIAN_POINT ('', (45.7, 12.6, 25.));
#8340 = CARTESIAN_POINT ('', (45.7, 12.6, 24.95));
#8350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8330, #8340), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.05), .UNSPECIFIED.);
#8360 = EDGE_CURVE ('', #8220, #8320, #8350, .T.);
#8370 = ORIENTED_EDGE ('', *, *, #8360, .T.);
#8380 = CARTESIAN_POINT ('', (45.7, 12.6, 24.95));
#8390 = CARTESIAN_POINT ('', (45.7, 12.6017213893113, 24.95));
#8400 = CARTESIAN_POINT ('', (45.6999771665945, 12.603453942884, 24.9497827546587));
#8410 = CARTESIAN_POINT ('', (45.6999343051269, 12.60512578125, 24.9493749550346));
#8420 = CARTESIAN_POINT ('', (45.6998914755607, 12.6067963752802, 24.9489674589324));
#8430 = CARTESIAN_POINT ('', (45.699828439592, 12.6084267061194, 24.9483677117525));
#8440 = CARTESIAN_POINT ('', (45.6997509095564, 12.609978683852, 24.9476300627371));
#8450 = CARTESIAN_POINT ('', (45.6996735699074, 12.6115268504698, 24.94689422513));
#8460 = CARTESIAN_POINT ('', (45.6995813367139, 12.6130112233087, 24.946016684914));
#8470 = CARTESIAN_POINT ('', (45.6994793064388, 12.6144224236081, 24.9450459316912));
#8480 = CARTESIAN_POINT ('', (45.6993774512311, 12.6158312025172, 24.9440768441233));
#8490 = CARTESIAN_POINT ('', (45.6992653521904, 12.6171748737126, 24.9430102929957));
#8500 = CARTESIAN_POINT ('', (45.6991465661446, 12.618456575871, 24.9418801192637));
#8510 = CARTESIAN_POINT ('', (45.6990278989759, 12.6197369953449, 24.9407510765716));
#8520 = CARTESIAN_POINT ('', (45.6989022029738, 12.6209595449818, 24.9395551589974));
#8530 = CARTESIAN_POINT ('', (45.6987717966256, 12.6221308125991, 24.9383144254726));
#8540 = CARTESIAN_POINT ('', (45.6983294831665, 12.6261035289432, 24.9341060940205));
#8550 = CARTESIAN_POINT ('', (45.6978327840094, 12.6295308198863, 24.9293803172142));
#8560 = CARTESIAN_POINT ('', (45.6973199397658, 12.6326319072505, 24.9245009301729));
#8570 = CARTESIAN_POINT ('', (45.6968094786614, 12.6357185841526, 24.9196442171855));
#8580 = CARTESIAN_POINT ('', (45.6962780796883, 12.6384947222536, 24.9145882936849));
#8590 = CARTESIAN_POINT ('', (45.6957375577354, 12.6410707741805, 24.9094455708295));
#8600 = CARTESIAN_POINT ('', (45.6949271553559, 12.6449330384234, 24.9017351072363));
#8610 = CARTESIAN_POINT ('', (45.6940935277887, 12.6483571105902, 24.893803670743));
#8620 = CARTESIAN_POINT ('', (45.6932506114025, 12.6515189401341, 24.8857838570406));
#8630 = CARTESIAN_POINT ('', (45.6919868072519, 12.6562595447385, 24.8737595637522));
#8640 = CARTESIAN_POINT ('', (45.6906987376622, 12.6604177327547, 24.8615044002342));
#8650 = CARTESIAN_POINT ('', (45.6894014636087, 12.6642423970822, 24.8491616620922));
#8660 = CARTESIAN_POINT ('', (45.6881049999723, 12.6680646721126, 24.8368266345533));
#8670 = CARTESIAN_POINT ('', (45.6867973982675, 12.6715476074845, 24.8243856353733));
#8680 = CARTESIAN_POINT ('', (45.6854841614456, 12.6748039160261, 24.8118910216344));
#8690 = CARTESIAN_POINT ('', (45.6835144447794, 12.6796880352476, 24.793150419401));
#8700 = CARTESIAN_POINT ('', (45.6815307363594, 12.6840654179502, 24.7742766945225));
#8710 = CARTESIAN_POINT ('', (45.6795405665356, 12.6881202869269, 24.7553414934926));
#8720 = CARTESIAN_POINT ('', (45.6775507337598, 12.6921744691855, 24.7364094992605));
#8730 = CARTESIAN_POINT ('', (45.6755534845715, 12.6959019893587, 24.717406942577));
#8740 = CARTESIAN_POINT ('', (45.6735520870693, 12.6993965445771, 24.6983649173242));
#8750 = CARTESIAN_POINT ('', (45.6705500926294, 12.7046381996331, 24.669802848133));
#8760 = CARTESIAN_POINT ('', (45.6675379294913, 12.7093581257054, 24.6411440302417));
#8770 = CARTESIAN_POINT ('', (45.6645206484079, 12.7137231561619, 24.6124365183536));
#8780 = CARTESIAN_POINT ('', (45.6615035437742, 12.7180879313529, 24.5837306852718));
#8790 = CARTESIAN_POINT ('', (45.6584806476894, 12.7220943091285, 24.5549697502132));
#8800 = CARTESIAN_POINT ('', (45.6554543701763, 12.7258329797513, 24.5261766430146));
#8810 = CARTESIAN_POINT ('', (45.6509151120786, 12.7314407902795, 24.4829884871215));
#8820 = CARTESIAN_POINT ('', (45.6463675418415, 12.7364485781344, 24.4397212465045));
#8830 = CARTESIAN_POINT ('', (45.6418156699421, 12.7410259400212, 24.3964130783048));
#8840 = CARTESIAN_POINT ('', (45.641684236469, 12.7411581095074, 24.3951625723402));
#8850 = CARTESIAN_POINT ('', (45.6415527989227, 12.7412899144064, 24.3939120276216));
#8860 = CARTESIAN_POINT ('', (45.6414213573609, 12.7414213573609, 24.3926614446979));
#8870 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#8380, #8390, #8400, #8410, #8420, #8430, #8440, #8450, #8460, #8470, #8480, #8490, #8500, #8510, #8520, #8530, #8540, #8550, #8560, #8570, #8580, #8590, #8600, #8610, #8620, #8630, #8640, #8650, #8660, #8670, #8680, #8690, #8700, #8710, #8720, #8730, #8740, #8750, #8760, #8770, #8780, #8790, #8800, #8810, #8820, #8830, #8840, #8850, #8860), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.00516416793375532, 0.0103244922190416, 0.0154721445515541, 0.0206109643489058, 0.0257446413876197, 0.0431570946787816, 0.0604886339326667, 0.086473740691873, 0.125433815875133, 0.164369552400526, 0.222769048866486, 0.281158655003087, 0.368740093866867, 0.456316410995566, 0.58767630941229, 0.591469273725992), .UNSPECIFIED.);
#8880 = EDGE_CURVE ('', #8320, #7590, #8870, .T.);
#8890 = ORIENTED_EDGE ('', *, *, #8880, .T.);
#8900 = EDGE_LOOP ('', (#8130, #8200, #8300, #8370, #8890));
#8910 = FACE_OUTER_BOUND ('', #8900, .T.);
#8920 = CARTESIAN_POINT ('', (45.7, 12.6, 25.));
#8930 = CARTESIAN_POINT ('', (45.7, 12.6848949632419, 25.));
#8940 = CARTESIAN_POINT ('', (45.6389316740918, 12.7438679600677, 25.));
#8950 = CARTESIAN_POINT ('', (45.5778633481836, 12.8028409568935, 25.));
#8960 = CARTESIAN_POINT ('', (45.4930201006595, 12.7998781654038, 25.));
#8970 = CARTESIAN_POINT ('', (45.7, 12.6, 24.3926614446979));
#8980 = CARTESIAN_POINT ('', (45.7, 12.6848949632419, 24.3926614446979));
#8990 = CARTESIAN_POINT ('', (45.6389316740918, 12.7438679600677, 24.3926614446979));
#9000 = CARTESIAN_POINT ('', (45.5778633481836, 12.8028409568935, 24.3926614446979));
#9010 = CARTESIAN_POINT ('', (45.4930201006595, 12.7998781654038, 24.3926614446979));
#9020 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#8920, #8930, #8940, #8950, #8960), (#8970, #8980, #8990, #9000, #9010)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 3), (0., 0.607338555302079), (0., 0.5, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.920504853452441, 1., 0.920504853452441, 1.), (1., 0.920504853452441, 1., 0.920504853452441, 1.)))
   REPRESENTATION_ITEM ('')
);
#9030 = ADVANCED_FACE ('', (#8910), #9020, .T.);
#9040 = CARTESIAN_POINT ('', (15.7, 12.6, 25.));
#9050 = VERTEX_POINT ('', #9040);
#9060 = CARTESIAN_POINT ('', (15.7, 12.6, 25.));
#9070 = CARTESIAN_POINT ('', (15.7, 7., 25.));
#9080 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9060, #9070), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9090 = EDGE_CURVE ('', #9050, #6760, #9080, .T.);
#9100 = ORIENTED_EDGE ('', *, *, #9090, .T.);
#9110 = ORIENTED_EDGE ('', *, *, #6830, .T.);
#9120 = CARTESIAN_POINT ('', (19.7, 6.93249632709167, 25.));
#9130 = VERTEX_POINT ('', #9120);
#9140 = CARTESIAN_POINT ('', (15.9069798993405, 6.80012183459618, 25.));
#9150 = CARTESIAN_POINT ('', (19.7, 6.93249632709167, 25.));
#9160 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9140, #9150), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9170 = EDGE_CURVE ('', #6690, #9130, #9160, .T.);
#9180 = ORIENTED_EDGE ('', *, *, #9170, .T.);
#9190 = CARTESIAN_POINT ('', (19.7, 7.1, 25.));
#9200 = VERTEX_POINT ('', #9190);
#9210 = CARTESIAN_POINT ('', (19.7, 6.93249632709167, 25.));
#9220 = CARTESIAN_POINT ('', (19.7, 7.1, 25.));
#9230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9210, #9220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9240 = EDGE_CURVE ('', #9130, #9200, #9230, .T.);
#9250 = ORIENTED_EDGE ('', *, *, #9240, .T.);
#9260 = CARTESIAN_POINT ('', (41.7, 7.1, 25.));
#9270 = VERTEX_POINT ('', #9260);
#9280 = CARTESIAN_POINT ('', (19.7, 7.1, 25.));
#9290 = CARTESIAN_POINT ('', (41.7, 7.1, 25.));
#9300 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9280, #9290), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9310 = EDGE_CURVE ('', #9200, #9270, #9300, .T.);
#9320 = ORIENTED_EDGE ('', *, *, #9310, .T.);
#9330 = CARTESIAN_POINT ('', (41.7, 6.93249632709167, 25.));
#9340 = VERTEX_POINT ('', #9330);
#9350 = CARTESIAN_POINT ('', (41.7, 7.1, 25.));
#9360 = CARTESIAN_POINT ('', (41.7, 6.93249632709167, 25.));
#9370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9350, #9360), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9380 = EDGE_CURVE ('', #9270, #9340, #9370, .T.);
#9390 = ORIENTED_EDGE ('', *, *, #9380, .T.);
#9400 = CARTESIAN_POINT ('', (45.4930201006595, 6.80012183459618, 25.));
#9410 = VERTEX_POINT ('', #9400);
#9420 = CARTESIAN_POINT ('', (41.7, 6.93249632709167, 25.));
#9430 = CARTESIAN_POINT ('', (45.4930201006595, 6.80012183459618, 25.));
#9440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9420, #9430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9450 = EDGE_CURVE ('', #9340, #9410, #9440, .T.);
#9460 = ORIENTED_EDGE ('', *, *, #9450, .T.);
#9470 = CARTESIAN_POINT ('', (45.7, 7., 25.));
#9480 = VERTEX_POINT ('', #9470);
#9490 = CARTESIAN_POINT ('', (45.4930201006595, 6.80012183459618, 25.));
#9500 = CARTESIAN_POINT ('', (45.5778633481836, 6.79715904310646, 25.));
#9510 = CARTESIAN_POINT ('', (45.6389316740918, 6.85613203993227, 25.));
#9520 = CARTESIAN_POINT ('', (45.7, 6.91510503675808, 25.));
#9530 = CARTESIAN_POINT ('', (45.7, 7., 25.));
#9540 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#9490, #9500, #9510, #9520, #9530), .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.920504853452441, 1., 0.920504853452441, 1.))
   REPRESENTATION_ITEM ('')
);
#9550 = EDGE_CURVE ('', #9410, #9480, #9540, .T.);
#9560 = ORIENTED_EDGE ('', *, *, #9550, .T.);
#9570 = CARTESIAN_POINT ('', (45.7, 7., 25.));
#9580 = CARTESIAN_POINT ('', (45.7, 12.6, 25.));
#9590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9570, #9580), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9600 = EDGE_CURVE ('', #9480, #8220, #9590, .T.);
#9610 = ORIENTED_EDGE ('', *, *, #9600, .T.);
#9620 = ORIENTED_EDGE ('', *, *, #8290, .T.);
#9630 = CARTESIAN_POINT ('', (41.7, 12.6675036729083, 25.));
#9640 = VERTEX_POINT ('', #9630);
#9650 = CARTESIAN_POINT ('', (45.4930201006595, 12.7998781654038, 25.));
#9660 = CARTESIAN_POINT ('', (41.7, 12.6675036729083, 25.));
#9670 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9650, #9660), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9680 = EDGE_CURVE ('', #8150, #9640, #9670, .T.);
#9690 = ORIENTED_EDGE ('', *, *, #9680, .T.);
#9700 = CARTESIAN_POINT ('', (41.7, 12.5, 25.));
#9710 = VERTEX_POINT ('', #9700);
#9720 = CARTESIAN_POINT ('', (41.7, 12.6675036729083, 25.));
#9730 = CARTESIAN_POINT ('', (41.7, 12.5, 25.));
#9740 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9720, #9730), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9750 = EDGE_CURVE ('', #9640, #9710, #9740, .T.);
#9760 = ORIENTED_EDGE ('', *, *, #9750, .T.);
#9770 = CARTESIAN_POINT ('', (19.7, 12.5, 25.));
#9780 = VERTEX_POINT ('', #9770);
#9790 = CARTESIAN_POINT ('', (41.7, 12.5, 25.));
#9800 = CARTESIAN_POINT ('', (19.7, 12.5, 25.));
#9810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9790, #9800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9820 = EDGE_CURVE ('', #9710, #9780, #9810, .T.);
#9830 = ORIENTED_EDGE ('', *, *, #9820, .T.);
#9840 = CARTESIAN_POINT ('', (19.7, 12.6675036729083, 25.));
#9850 = VERTEX_POINT ('', #9840);
#9860 = CARTESIAN_POINT ('', (19.7, 12.5, 25.));
#9870 = CARTESIAN_POINT ('', (19.7, 12.6675036729083, 25.));
#9880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9860, #9870), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9890 = EDGE_CURVE ('', #9780, #9850, #9880, .T.);
#9900 = ORIENTED_EDGE ('', *, *, #9890, .T.);
#9910 = CARTESIAN_POINT ('', (15.9069798993405, 12.7998781654038, 25.));
#9920 = VERTEX_POINT ('', #9910);
#9930 = CARTESIAN_POINT ('', (19.7, 12.6675036729083, 25.));
#9940 = CARTESIAN_POINT ('', (15.9069798993405, 12.7998781654038, 25.));
#9950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9930, #9940), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9960 = EDGE_CURVE ('', #9850, #9920, #9950, .T.);
#9970 = ORIENTED_EDGE ('', *, *, #9960, .T.);
#9980 = CARTESIAN_POINT ('', (15.9069798993405, 12.7998781654038, 25.));
#9990 = CARTESIAN_POINT ('', (15.8221366518164, 12.8028409568935, 25.));
#10000 = CARTESIAN_POINT ('', (15.7610683259082, 12.7438679600677, 25.));
#10010 = CARTESIAN_POINT ('', (15.7, 12.6848949632419, 25.));
#10020 = CARTESIAN_POINT ('', (15.7, 12.6, 25.));
#10030 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#9980, #9990, #10000, #10010, #10020), .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 ('')
);
#10040 = EDGE_CURVE ('', #9920, #9050, #10030, .T.);
#10050 = ORIENTED_EDGE ('', *, *, #10040, .T.);
#10060 = EDGE_LOOP ('', (#9100, #9110, #9180, #9250, #9320, #9390, #9460, #9560, #9610, #9620, #9690, #9760, #9830, #9900, #9970, #10050));
#10070 = FACE_OUTER_BOUND ('', #10060, .T.);
#10080 = CARTESIAN_POINT ('', (45.7, 6.79989456260068, 25.));
#10090 = CARTESIAN_POINT ('', (15.7, 6.79989456260068, 25.));
#10100 = CARTESIAN_POINT ('', (45.7, 12.8001054373993, 25.));
#10110 = CARTESIAN_POINT ('', (15.7, 12.8001054373993, 25.));
#10120 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10080, #10090), (#10100, #10110)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.41085641749583, 0.58914358250417), (0.0542977520411178, 0.945702247958882), .UNSPECIFIED.);
#10130 = ADVANCED_FACE ('', (#10070), #10120, .T.);
#10140 = CARTESIAN_POINT ('', (45.7, 7., 24.95));
#10150 = VERTEX_POINT ('', #10140);
#10160 = CARTESIAN_POINT ('', (45.7, 12.6, 24.95));
#10170 = CARTESIAN_POINT ('', (45.7, 7., 24.95));
#10180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10160, #10170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10190 = EDGE_CURVE ('', #8320, #10150, #10180, .T.);
#10200 = ORIENTED_EDGE ('', *, *, #10190, .F.);
#10210 = ORIENTED_EDGE ('', *, *, #8360, .F.);
#10220 = ORIENTED_EDGE ('', *, *, #9600, .F.);
#10230 = CARTESIAN_POINT ('', (45.7, 7., 25.));
#10240 = CARTESIAN_POINT ('', (45.7, 7., 24.95));
#10250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10230, #10240), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0499999999999997), .UNSPECIFIED.);
#10260 = EDGE_CURVE ('', #9480, #10150, #10250, .T.);
#10270 = ORIENTED_EDGE ('', *, *, #10260, .T.);
#10280 = EDGE_LOOP ('', (#10200, #10210, #10220, #10270));
#10290 = FACE_OUTER_BOUND ('', #10280, .T.);
#10300 = CARTESIAN_POINT ('', (45.7, 7., 25.));
#10310 = CARTESIAN_POINT ('', (45.7, 12.6, 25.));
#10320 = CARTESIAN_POINT ('', (45.7, 7., 24.95));
#10330 = CARTESIAN_POINT ('', (45.7, 12.6, 24.95));
#10340 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10300, #10310), (#10320, #10330)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.01), (0., 1.), .UNSPECIFIED.);
#10350 = ADVANCED_FACE ('', (#10290), #10340, .T.);
#10360 = CARTESIAN_POINT ('', (15.7, 12.6, 24.95));
#10370 = VERTEX_POINT ('', #10360);
#10380 = CARTESIAN_POINT ('', (15.7, 7., 24.95));
#10390 = CARTESIAN_POINT ('', (15.7, 12.6, 24.95));
#10400 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10380, #10390), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10410 = EDGE_CURVE ('', #6860, #10370, #10400, .T.);
#10420 = ORIENTED_EDGE ('', *, *, #10410, .F.);
#10430 = ORIENTED_EDGE ('', *, *, #6900, .F.);
#10440 = ORIENTED_EDGE ('', *, *, #9090, .F.);
#10450 = CARTESIAN_POINT ('', (15.7, 12.6, 25.));
#10460 = CARTESIAN_POINT ('', (15.7, 12.6, 24.95));
#10470 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10450, #10460), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.01), .UNSPECIFIED.);
#10480 = EDGE_CURVE ('', #9050, #10370, #10470, .T.);
#10490 = ORIENTED_EDGE ('', *, *, #10480, .T.);
#10500 = EDGE_LOOP ('', (#10420, #10430, #10440, #10490));
#10510 = FACE_OUTER_BOUND ('', #10500, .T.);
#10520 = CARTESIAN_POINT ('', (15.7, 12.6, 25.));
#10530 = CARTESIAN_POINT ('', (15.7, 7., 25.));
#10540 = CARTESIAN_POINT ('', (15.7, 12.6, 24.95));
#10550 = CARTESIAN_POINT ('', (15.7, 7., 24.95));
#10560 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10520, #10530), (#10540, #10550)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.01), (0., 1.), .UNSPECIFIED.);
#10570 = ADVANCED_FACE ('', (#10510), #10560, .T.);
#10580 = CARTESIAN_POINT ('', (41.7, 7.1, 22.65));
#10590 = VERTEX_POINT ('', #10580);
#10600 = CARTESIAN_POINT ('', (19.7, 7.1, 22.65));
#10610 = VERTEX_POINT ('', #10600);
#10620 = CARTESIAN_POINT ('', (41.7, 7.1, 22.65));
#10630 = CARTESIAN_POINT ('', (19.7, 7.1, 22.65));
#10640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10620, #10630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10650 = EDGE_CURVE ('', #10590, #10610, #10640, .T.);
#10660 = ORIENTED_EDGE ('', *, *, #10650, .F.);
#10670 = CARTESIAN_POINT ('', (41.7, 7.1, 25.));
#10680 = CARTESIAN_POINT ('', (41.7, 7.1, 22.65));
#10690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10670, #10680), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.47), .UNSPECIFIED.);
#10700 = EDGE_CURVE ('', #9270, #10590, #10690, .T.);
#10710 = ORIENTED_EDGE ('', *, *, #10700, .F.);
#10720 = ORIENTED_EDGE ('', *, *, #9310, .F.);
#10730 = CARTESIAN_POINT ('', (19.7, 7.1, 25.));
#10740 = CARTESIAN_POINT ('', (19.7, 7.1, 22.65));
#10750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10730, #10740), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.47), .UNSPECIFIED.);
#10760 = EDGE_CURVE ('', #9200, #10610, #10750, .T.);
#10770 = ORIENTED_EDGE ('', *, *, #10760, .T.);
#10780 = EDGE_LOOP ('', (#10660, #10710, #10720, #10770));
#10790 = FACE_OUTER_BOUND ('', #10780, .T.);
#10800 = CARTESIAN_POINT ('', (19.7, 7.1, 25.));
#10810 = CARTESIAN_POINT ('', (41.7, 7.1, 25.));
#10820 = CARTESIAN_POINT ('', (19.7, 7.1, 22.65));
#10830 = CARTESIAN_POINT ('', (41.7, 7.1, 22.65));
#10840 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10800, #10810), (#10820, #10830)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.47), (0., 1.), .UNSPECIFIED.);
#10850 = ADVANCED_FACE ('', (#10790), #10840, .T.);
#10860 = CARTESIAN_POINT ('', (19.7, 12.5, 22.65));
#10870 = VERTEX_POINT ('', #10860);
#10880 = CARTESIAN_POINT ('', (41.7, 12.5, 22.65));
#10890 = VERTEX_POINT ('', #10880);
#10900 = CARTESIAN_POINT ('', (19.7, 12.5, 22.65));
#10910 = CARTESIAN_POINT ('', (41.7, 12.5, 22.65));
#10920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10900, #10910), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10930 = EDGE_CURVE ('', #10870, #10890, #10920, .T.);
#10940 = ORIENTED_EDGE ('', *, *, #10930, .F.);
#10950 = CARTESIAN_POINT ('', (19.7, 12.5, 25.));
#10960 = CARTESIAN_POINT ('', (19.7, 12.5, 22.65));
#10970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10950, #10960), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.47), .UNSPECIFIED.);
#10980 = EDGE_CURVE ('', #9780, #10870, #10970, .T.);
#10990 = ORIENTED_EDGE ('', *, *, #10980, .F.);
#11000 = ORIENTED_EDGE ('', *, *, #9820, .F.);
#11010 = CARTESIAN_POINT ('', (41.7, 12.5, 25.));
#11020 = CARTESIAN_POINT ('', (41.7, 12.5, 22.65));
#11030 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11010, #11020), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.47), .UNSPECIFIED.);
#11040 = EDGE_CURVE ('', #9710, #10890, #11030, .T.);
#11050 = ORIENTED_EDGE ('', *, *, #11040, .T.);
#11060 = EDGE_LOOP ('', (#10940, #10990, #11000, #11050));
#11070 = FACE_OUTER_BOUND ('', #11060, .T.);
#11080 = CARTESIAN_POINT ('', (41.7, 12.5, 25.));
#11090 = CARTESIAN_POINT ('', (19.7, 12.5, 25.));
#11100 = CARTESIAN_POINT ('', (41.7, 12.5, 22.65));
#11110 = CARTESIAN_POINT ('', (19.7, 12.5, 22.65));
#11120 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11080, #11090), (#11100, #11110)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.47), (0., 1.), .UNSPECIFIED.);
#11130 = ADVANCED_FACE ('', (#11070), #11120, .T.);
#11140 = CARTESIAN_POINT ('', (16.2202659645651, 9.75, 20.));
#11150 = VERTEX_POINT ('', #11140);
#11160 = CARTESIAN_POINT ('', (45.1797340354349, 9.75, 20.));
#11170 = VERTEX_POINT ('', #11160);
#11180 = CARTESIAN_POINT ('', (16.2202659645651, 9.75, 20.));
#11190 = CARTESIAN_POINT ('', (45.1797340354349, 9.75, 20.));
#11200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11180, #11190), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11210 = EDGE_CURVE ('', #11150, #11170, #11200, .T.);
#11220 = ORIENTED_EDGE ('', *, *, #11210, .F.);
#11230 = CARTESIAN_POINT ('', (16.2202659645651, 9.85, 20.));
#11240 = VERTEX_POINT ('', #11230);
#11250 = CARTESIAN_POINT ('', (16.2202659645651, 9.85, 20.));
#11260 = CARTESIAN_POINT ('', (16.2202659645651, 9.75, 20.));
#11270 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11250, #11260), .UNSPECIFIED., .F., .U., (2, 2), (0.498333333333333, 0.501666666666667), .UNSPECIFIED.);
#11280 = EDGE_CURVE ('', #11240, #11150, #11270, .T.);
#11290 = ORIENTED_EDGE ('', *, *, #11280, .F.);
#11300 = CARTESIAN_POINT ('', (45.1797340354349, 9.85, 20.));
#11310 = VERTEX_POINT ('', #11300);
#11320 = CARTESIAN_POINT ('', (45.1797340354349, 9.85, 20.));
#11330 = CARTESIAN_POINT ('', (16.2202659645651, 9.85, 20.));
#11340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11320, #11330), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11350 = EDGE_CURVE ('', #11310, #11240, #11340, .T.);
#11360 = ORIENTED_EDGE ('', *, *, #11350, .F.);
#11370 = CARTESIAN_POINT ('', (45.1797340354349, 9.75, 20.));
#11380 = CARTESIAN_POINT ('', (45.1797340354349, 9.85, 20.));
#11390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11370, #11380), .UNSPECIFIED., .F., .U., (2, 2), (0.498333333333333, 0.501666666666667), .UNSPECIFIED.);
#11400 = EDGE_CURVE ('', #11170, #11310, #11390, .T.);
#11410 = ORIENTED_EDGE ('', *, *, #11400, .F.);
#11420 = EDGE_LOOP ('', (#11220, #11290, #11360, #11410));
#11430 = FACE_OUTER_BOUND ('', #11420, .T.);
#11440 = CARTESIAN_POINT ('', (45.1797340354349, 9.75, 20.));
#11450 = CARTESIAN_POINT ('', (45.1797340354349, 9.85, 20.));
#11460 = CARTESIAN_POINT ('', (16.2202659645651, 9.75, 20.));
#11470 = CARTESIAN_POINT ('', (16.2202659645651, 9.85, 20.));
#11480 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11440, #11450), (#11460, #11470)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0697566660373284, 0.930243333962671), (0.498514325840137, 0.501485674159863), .UNSPECIFIED.);
#11490 = ADVANCED_FACE ('', (#11430), #11480, .T.);
#11500 = CARTESIAN_POINT ('', (45.465102843465, 7.03489715653505, 22.715102843465));
#11510 = VERTEX_POINT ('', #11500);
#11520 = CARTESIAN_POINT ('', (45.6414213573609, 6.8585786426391, 24.3926614446979));
#11530 = VERTEX_POINT ('', #11520);
#11540 = CARTESIAN_POINT ('', (45.465102843465, 7.03489715653505, 22.7151028434649));
#11550 = CARTESIAN_POINT ('', (45.6414213573609, 6.8585786426391, 24.3926614446979));
#11560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11540, #11550), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.75062004366851), .UNSPECIFIED.);
#11570 = EDGE_CURVE ('', #11510, #11530, #11560, .T.);
#11580 = ORIENTED_EDGE ('', *, *, #11570, .F.);
#11590 = CARTESIAN_POINT ('', (45.1797340354349, 9.75, 20.));
#11600 = CARTESIAN_POINT ('', (45.465102843465, 7.03489715653505, 22.715102843465));
#11610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11590, #11600), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11620 = EDGE_CURVE ('', #11170, #11510, #11610, .T.);
#11630 = ORIENTED_EDGE ('', *, *, #11620, .F.);
#11640 = ORIENTED_EDGE ('', *, *, #11400, .T.);
#11650 = CARTESIAN_POINT ('', (45.465102843465, 12.5651028434649, 22.7151028434649));
#11660 = VERTEX_POINT ('', #11650);
#11670 = CARTESIAN_POINT ('', (45.465102843465, 12.5651028434649, 22.7151028434649));
#11680 = CARTESIAN_POINT ('', (45.1797340354349, 9.85, 20.));
#11690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11670, #11680), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11700 = EDGE_CURVE ('', #11660, #11310, #11690, .T.);
#11710 = ORIENTED_EDGE ('', *, *, #11700, .F.);
#11720 = CARTESIAN_POINT ('', (45.6414213573609, 12.7414213573609, 24.3926614446979));
#11730 = CARTESIAN_POINT ('', (45.465102843465, 12.5651028434649, 22.7151028434649));
#11740 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11720, #11730), .UNSPECIFIED., .F., .U., (2, 2), (0.249379956331488, 1.), .UNSPECIFIED.);
#11750 = EDGE_CURVE ('', #7590, #11660, #11740, .T.);
#11760 = ORIENTED_EDGE ('', *, *, #11750, .F.);
#11770 = ORIENTED_EDGE ('', *, *, #8880, .F.);
#11780 = ORIENTED_EDGE ('', *, *, #10190, .T.);
#11790 = CARTESIAN_POINT ('', (45.7, 7., 24.95));
#11800 = CARTESIAN_POINT ('', (45.7, 6.99827861068875, 24.95));
#11810 = CARTESIAN_POINT ('', (45.6999771665945, 6.99654605711599, 24.9497827546587));
#11820 = CARTESIAN_POINT ('', (45.6999343051269, 6.99487421875, 24.9493749550346));
#11830 = CARTESIAN_POINT ('', (45.6998914755607, 6.9932036247198, 24.9489674589324));
#11840 = CARTESIAN_POINT ('', (45.699828439592, 6.99157329388064, 24.9483677117525));
#11850 = CARTESIAN_POINT ('', (45.6997509095564, 6.99002131614801, 24.9476300627371));
#11860 = CARTESIAN_POINT ('', (45.6996735699074, 6.98847314953024, 24.94689422513));
#11870 = CARTESIAN_POINT ('', (45.6995813367139, 6.98698877669134, 24.946016684914));
#11880 = CARTESIAN_POINT ('', (45.6994793064388, 6.98557757639186, 24.9450459316912));
#11890 = CARTESIAN_POINT ('', (45.6993774512311, 6.98416879748284, 24.9440768441233));
#11900 = CARTESIAN_POINT ('', (45.6992653521904, 6.98282512628744, 24.9430102929957));
#11910 = CARTESIAN_POINT ('', (45.6991465661446, 6.981543424129, 24.9418801192637));
#11920 = CARTESIAN_POINT ('', (45.6990278989759, 6.98026300465513, 24.9407510765716));
#11930 = CARTESIAN_POINT ('', (45.6989022029738, 6.97904045501817, 24.9395551589974));
#11940 = CARTESIAN_POINT ('', (45.6987717966256, 6.97786918740091, 24.9383144254726));
#11950 = CARTESIAN_POINT ('', (45.6983294831665, 6.97389647105682, 24.9341060940205));
#11960 = CARTESIAN_POINT ('', (45.6978327840094, 6.97046918011367, 24.9293803172142));
#11970 = CARTESIAN_POINT ('', (45.6973199397658, 6.96736809274945, 24.9245009301729));
#11980 = CARTESIAN_POINT ('', (45.6968094786614, 6.96428141584736, 24.9196442171855));
#11990 = CARTESIAN_POINT ('', (45.6962780796883, 6.96150527774636, 24.9145882936849));
#12000 = CARTESIAN_POINT ('', (45.6957375577354, 6.95892922581954, 24.9094455708295));
#12010 = CARTESIAN_POINT ('', (45.6949271553559, 6.9550669615766, 24.9017351072363));
#12020 = CARTESIAN_POINT ('', (45.6940935277887, 6.95164288940979, 24.893803670743));
#12030 = CARTESIAN_POINT ('', (45.6932506114025, 6.94848105986586, 24.8857838570406));
#12040 = CARTESIAN_POINT ('', (45.6919868072519, 6.94374045526147, 24.8737595637522));
#12050 = CARTESIAN_POINT ('', (45.6906987376622, 6.93958226724532, 24.8615044002342));
#12060 = CARTESIAN_POINT ('', (45.6894014636087, 6.93575760291779, 24.8491616620922));
#12070 = CARTESIAN_POINT ('', (45.6881049999723, 6.9319353278874, 24.8368266345533));
#12080 = CARTESIAN_POINT ('', (45.6867973982675, 6.92845239251552, 24.8243856353733));
#12090 = CARTESIAN_POINT ('', (45.6854841614456, 6.92519608397391, 24.8118910216344));
#12100 = CARTESIAN_POINT ('', (45.6835144447794, 6.92031196475238, 24.7931504194009));
#12110 = CARTESIAN_POINT ('', (45.6815307363594, 6.91593458204975, 24.7742766945225));
#12120 = CARTESIAN_POINT ('', (45.6795405665356, 6.91187971307309, 24.7553414934926));
#12130 = CARTESIAN_POINT ('', (45.6775507337598, 6.90782553081449, 24.7364094992605));
#12140 = CARTESIAN_POINT ('', (45.6755534845715, 6.9040980106413, 24.717406942577));
#12150 = CARTESIAN_POINT ('', (45.6735520870693, 6.90060345542286, 24.6983649173242));
#12160 = CARTESIAN_POINT ('', (45.6705500926294, 6.89536180036694, 24.669802848133));
#12170 = CARTESIAN_POINT ('', (45.6675379294913, 6.89064187429465, 24.6411440302417));
#12180 = CARTESIAN_POINT ('', (45.6645206484079, 6.88627684383806, 24.6124365183536));
#12190 = CARTESIAN_POINT ('', (45.6615035437742, 6.88191206864708, 24.5837306852718));
#12200 = CARTESIAN_POINT ('', (45.6584806476894, 6.87790569087146, 24.5549697502132));
#12210 = CARTESIAN_POINT ('', (45.6554543701763, 6.87416702024873, 24.5261766430146));
#12220 = CARTESIAN_POINT ('', (45.6509151120786, 6.86855920972054, 24.4829884871215));
#12230 = CARTESIAN_POINT ('', (45.6463675418415, 6.86355142186561, 24.4397212465045));
#12240 = CARTESIAN_POINT ('', (45.6418156699421, 6.85897405997881, 24.3964130783048));
#12250 = CARTESIAN_POINT ('', (45.641684236469, 6.85884189049256, 24.3951625723402));
#12260 = CARTESIAN_POINT ('', (45.6415527989227, 6.85871008559361, 24.3939120276216));
#12270 = CARTESIAN_POINT ('', (45.6414213573609, 6.8585786426391, 24.3926614446979));
#12280 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#11790, #11800, #11810, #11820, #11830, #11840, #11850, #11860, #11870, #11880, #11890, #11900, #11910, #11920, #11930, #11940, #11950, #11960, #11970, #11980, #11990, #12000, #12010, #12020, #12030, #12040, #12050, #12060, #12070, #12080, #12090, #12100, #12110, #12120, #12130, #12140, #12150, #12160, #12170, #12180, #12190, #12200, #12210, #12220, #12230, #12240, #12250, #12260, #12270), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.00516416793375447, 0.0103244922190418, 0.0154721445515551, 0.0206109643489089, 0.0257446413876225, 0.0431570946787854, 0.0604886339326718, 0.0864737406918773, 0.125433815875138, 0.16436955240053, 0.22276904886649, 0.281158655003091, 0.368740093866871, 0.45631641099557, 0.587676309412294, 0.591469273725992), .UNSPECIFIED.);
#12290 = EDGE_CURVE ('', #10150, #11530, #12280, .T.);
#12300 = ORIENTED_EDGE ('', *, *, #12290, .T.);
#12310 = EDGE_LOOP ('', (#11580, #11630, #11640, #11710, #11760, #11770, #11780, #12300));
#12320 = FACE_OUTER_BOUND ('', #12310, .T.);
#12330 = CARTESIAN_POINT ('', (45.1797340354349, 6.8585786426391, 20.));
#12340 = CARTESIAN_POINT ('', (45.7, 6.8585786426391, 24.95));
#12350 = CARTESIAN_POINT ('', (45.1797340354349, 12.7414213573609, 20.));
#12360 = CARTESIAN_POINT ('', (45.7, 12.7414213573609, 24.95));
#12370 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12330, #12340), (#12350, #12360)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.401952621421303, 0.598047378578697), (0.00999999999999966, 1.), .UNSPECIFIED.);
#12380 = ADVANCED_FACE ('', (#12320), #12370, .T.);
#12390 = CARTESIAN_POINT ('', (41.7, 12.6675036729083, 23.689381655204));
#12400 = VERTEX_POINT ('', #12390);
#12410 = CARTESIAN_POINT ('', (41.7, 12.6675036729083, 23.689381655204));
#12420 = CARTESIAN_POINT ('', (45.4930201006595, 12.7998781654038, 24.9488408212488));
#12430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12410, #12420), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12440 = EDGE_CURVE ('', #12400, #7610, #12430, .T.);
#12450 = ORIENTED_EDGE ('', *, *, #12440, .F.);
#12460 = CARTESIAN_POINT ('', (41.7, 12.6675036729083, 25.));
#12470 = CARTESIAN_POINT ('', (41.7, 12.6675036729083, 23.689381655204));
#12480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12460, #12470), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.262123668959202), .UNSPECIFIED.);
#12490 = EDGE_CURVE ('', #9640, #12400, #12480, .T.);
#12500 = ORIENTED_EDGE ('', *, *, #12490, .F.);
#12510 = ORIENTED_EDGE ('', *, *, #9680, .F.);
#12520 = ORIENTED_EDGE ('', *, *, #8190, .T.);
#12530 = EDGE_LOOP ('', (#12450, #12500, #12510, #12520));
#12540 = FACE_OUTER_BOUND ('', #12530, .T.);
#12550 = CARTESIAN_POINT ('', (45.4930201006595, 12.7998781654038, 25.));
#12560 = CARTESIAN_POINT ('', (41.7, 12.6675036729083, 25.));
#12570 = CARTESIAN_POINT ('', (45.4930201006595, 12.7998781654038, 23.689381655204));
#12580 = CARTESIAN_POINT ('', (41.7, 12.6675036729083, 23.689381655204));
#12590 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12550, #12560), (#12570, #12580)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.262123668959202), (0., 1.), .UNSPECIFIED.);
#12600 = ADVANCED_FACE ('', (#12540), #12590, .T.);
#12610 = CARTESIAN_POINT ('', (45.4930201006595, 6.80012183459618, 24.9488408212488));
#12620 = VERTEX_POINT ('', #12610);
#12630 = CARTESIAN_POINT ('', (45.4930201006595, 6.80012183459618, 25.));
#12640 = CARTESIAN_POINT ('', (45.4930201006595, 6.80012183459618, 24.9488408212488));
#12650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12630, #12640), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0102318357502408), .UNSPECIFIED.);
#12660 = EDGE_CURVE ('', #9410, #12620, #12650, .T.);
#12670 = ORIENTED_EDGE ('', *, *, #12660, .T.);
#12680 = CARTESIAN_POINT ('', (45.6414214072696, 6.85857864209404, 24.3926614498866));
#12690 = CARTESIAN_POINT ('', (45.6409466519317, 6.85810391509468, 24.3971781755749));
#12700 = CARTESIAN_POINT ('', (45.6404671731093, 6.85762924066836, 24.4016944010641));
#12710 = CARTESIAN_POINT ('', (45.6399828483636, 6.85715462148128, 24.4062101009869));
#12720 = CARTESIAN_POINT ('', (45.6379185770662, 6.85513171686227, 24.4254567527883));
#12730 = CARTESIAN_POINT ('', (45.6357660576737, 6.85310976827151, 24.4446943085856));
#12740 = CARTESIAN_POINT ('', (45.6335123074795, 6.85108907443876, 24.4639199261608));
#12750 = CARTESIAN_POINT ('', (45.6284406260685, 6.8465418467224, 24.5071839079106));
#12760 = CARTESIAN_POINT ('', (45.6228676273757, 6.84200007282993, 24.5503959999922));
#12770 = CARTESIAN_POINT ('', (45.6165503044785, 6.83746992116545, 24.5934975139609));
#12780 = CARTESIAN_POINT ('', (45.6123388854647, 6.83444991298074, 24.622230972485));
#12790 = CARTESIAN_POINT ('', (45.6077957232123, 6.83143455044483, 24.6509202306133));
#12800 = CARTESIAN_POINT ('', (45.6027767873263, 6.82842805594482, 24.679525115016));
#12810 = CARTESIAN_POINT ('', (45.5977573888707, 6.82542128435159, 24.7081326357846));
#12820 = CARTESIAN_POINT ('', (45.5922718091512, 6.82242193986407, 24.7366694923626));
#12830 = CARTESIAN_POINT ('', (45.5860135195085, 6.81944066221387, 24.7650344544658));
#12840 = CARTESIAN_POINT ('', (45.5818412894716, 6.81745312618241, 24.783944596635));
#12850 = CARTESIAN_POINT ('', (45.5773253750161, 6.81547261072166, 24.8027879425358));
#12860 = CARTESIAN_POINT ('', (45.5722547294633, 6.81350803215639, 24.8214796590047));
#12870 = CARTESIAN_POINT ('', (45.5688742806295, 6.81219830595866, 24.8339408713852));
#12880 = CARTESIAN_POINT ('', (45.565245888125, 6.81089492457881, 24.846341716856));
#12890 = CARTESIAN_POINT ('', (45.5612345242609, 6.80960479775334, 24.8586164536656));
#12900 = CARTESIAN_POINT ('', (45.5599932498576, 6.80920558156162, 24.8624147420097));
#12910 = CARTESIAN_POINT ('', (45.5587161860958, 6.80880737002172, 24.8662034717301));
#12920 = CARTESIAN_POINT ('', (45.557393917485, 6.80841077603299, 24.8699768114793));
#12930 = CARTESIAN_POINT ('', (45.5544412827996, 6.80752517899345, 24.878402704473));
#12940 = CARTESIAN_POINT ('', (45.5512632423175, 6.80664764758001, 24.8867518581606));
#12950 = CARTESIAN_POINT ('', (45.5477549594124, 6.80578500611045, 24.8949593434952));
#12960 = CARTESIAN_POINT ('', (45.5443673711903, 6.80495204190509, 24.9028844685224));
#12970 = CARTESIAN_POINT ('', (45.5406677716919, 6.80413046334217, 24.9107012663978));
#12980 = CARTESIAN_POINT ('', (45.5364107971854, 6.80334229268009, 24.9182002093289));
#12990 = CARTESIAN_POINT ('', (45.5335709935039, 6.80281650847717, 24.9232027118598));
#13000 = CARTESIAN_POINT ('', (45.5304729974788, 6.80230322287532, 24.9280862981449));
#13010 = CARTESIAN_POINT ('', (45.5269530437784, 6.80182448831634, 24.9326411532159));
#13020 = CARTESIAN_POINT ('', (45.5234117382651, 6.80134284978431, 24.9372236377448));
#13030 = CARTESIAN_POINT ('', (45.5193849790726, 6.80088451462277, 24.9415844055139));
#13040 = CARTESIAN_POINT ('', (45.5146276462793, 6.80053563735763, 24.9449037509643));
#13050 = CARTESIAN_POINT ('', (45.5125166210177, 6.80038082609007, 24.9463766817854));
#13060 = CARTESIAN_POINT ('', (45.510229135186, 6.80024713415676, 24.9476486755635));
#13070 = CARTESIAN_POINT ('', (45.5078138295997, 6.80015269812433, 24.9485471743937));
#13080 = CARTESIAN_POINT ('', (45.5067449370677, 6.80011090549552, 24.9489448046957));
#13090 = CARTESIAN_POINT ('', (45.5056457334894, 6.80007658898511, 24.9492713044826));
#13100 = CARTESIAN_POINT ('', (45.5045304129756, 6.80005131818821, 24.9495117400543));
#13110 = CARTESIAN_POINT ('', (45.5030459092421, 6.80001768248271, 24.9498317624151));
#13120 = CARTESIAN_POINT ('', (45.5015189789356, 6.8, 24.95));
#13130 = CARTESIAN_POINT ('', (45.5, 6.8, 24.95));
#13140 = CARTESIAN_POINT ('', (45.4988571390541, 6.8, 24.95));
#13150 = CARTESIAN_POINT ('', (45.4977107008085, 6.80000992121425, 24.9499056059518));
#13160 = CARTESIAN_POINT ('', (45.4965828125, 6.80002919505691, 24.9497222275884));
#13170 = CARTESIAN_POINT ('', (45.4953748454576, 6.80004983731955, 24.9495258295784));
#13180 = CARTESIAN_POINT ('', (45.4941810316177, 6.8000812939938, 24.9492265393151));
#13190 = CARTESIAN_POINT ('', (45.4930201006595, 6.80012183459618, 24.9488408212488));
#13200 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#12680, #12690, #12700, #12710, #12720, #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, #13100, #13110, #13120, #13130, #13140, #13150, #13160, #13170, #13180, #13190), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (1.3547456617022, 1.36844465497262, 1.42683200533088, 1.55822280463505, 1.64581397567819, 1.73341321955132, 1.7918132325509, 1.83074678722025, 1.84279436666637, 1.86969669245592, 1.89567350346567, 1.91300248756579, 1.93043658816897, 1.93817281945337, 1.9415964855487, 1.94615342235543, 1.94958200519301, 1.9532540133509), .UNSPECIFIED.);
#13210 = EDGE_CURVE ('', #11530, #12620, #13200, .T.);
#13220 = ORIENTED_EDGE ('', *, *, #13210, .F.);
#13230 = ORIENTED_EDGE ('', *, *, #12290, .F.);
#13240 = ORIENTED_EDGE ('', *, *, #10260, .F.);
#13250 = ORIENTED_EDGE ('', *, *, #9550, .F.);
#13260 = EDGE_LOOP ('', (#12670, #13220, #13230, #13240, #13250));
#13270 = FACE_OUTER_BOUND ('', #13260, .T.);
#13280 = CARTESIAN_POINT ('', (45.4930201006595, 6.80012183459618, 25.));
#13290 = CARTESIAN_POINT ('', (45.5778633481836, 6.79715904310646, 25.));
#13300 = CARTESIAN_POINT ('', (45.6389316740918, 6.85613203993227, 25.));
#13310 = CARTESIAN_POINT ('', (45.7, 6.91510503675808, 25.));
#13320 = CARTESIAN_POINT ('', (45.7, 7., 25.));
#13330 = CARTESIAN_POINT ('', (45.4930201006595, 6.80012183459618, 24.3926614446979));
#13340 = CARTESIAN_POINT ('', (45.5778633481836, 6.79715904310646, 24.3926614446979));
#13350 = CARTESIAN_POINT ('', (45.6389316740918, 6.85613203993227, 24.3926614446979));
#13360 = CARTESIAN_POINT ('', (45.7, 6.91510503675808, 24.3926614446979));
#13370 = CARTESIAN_POINT ('', (45.7, 7., 24.3926614446979));
#13380 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#13280, #13290, #13300, #13310, #13320), (#13330, #13340, #13350, #13360, #13370)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 3), (0., 0.607338555302078), (0., 0.5, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.920504853452441, 1., 0.920504853452441, 1.), (1., 0.920504853452441, 1., 0.920504853452441, 1.)))
   REPRESENTATION_ITEM ('')
);
#13390 = ADVANCED_FACE ('', (#13270), #13380, .T.);
#13400 = CARTESIAN_POINT ('', (41.7, 6.93249632709167, 23.689381655204));
#13410 = VERTEX_POINT ('', #13400);
#13420 = CARTESIAN_POINT ('', (45.4930201006595, 6.80012183459618, 24.9488408212488));
#13430 = CARTESIAN_POINT ('', (41.7, 6.93249632709167, 23.689381655204));
#13440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13420, #13430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13450 = EDGE_CURVE ('', #12620, #13410, #13440, .T.);
#13460 = ORIENTED_EDGE ('', *, *, #13450, .F.);
#13470 = ORIENTED_EDGE ('', *, *, #12660, .F.);
#13480 = ORIENTED_EDGE ('', *, *, #9450, .F.);
#13490 = CARTESIAN_POINT ('', (41.7, 6.93249632709167, 25.));
#13500 = CARTESIAN_POINT ('', (41.7, 6.93249632709167, 23.689381655204));
#13510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13490, #13500), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.262123668959202), .UNSPECIFIED.);
#13520 = EDGE_CURVE ('', #9340, #13410, #13510, .T.);
#13530 = ORIENTED_EDGE ('', *, *, #13520, .T.);
#13540 = EDGE_LOOP ('', (#13460, #13470, #13480, #13530));
#13550 = FACE_OUTER_BOUND ('', #13540, .T.);
#13560 = CARTESIAN_POINT ('', (41.7, 6.93249632709167, 25.));
#13570 = CARTESIAN_POINT ('', (45.4930201006595, 6.80012183459618, 25.));
#13580 = CARTESIAN_POINT ('', (41.7, 6.93249632709167, 23.689381655204));
#13590 = CARTESIAN_POINT ('', (45.4930201006595, 6.80012183459618, 23.689381655204));
#13600 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13560, #13570), (#13580, #13590)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.262123668959202), (0., 1.), .UNSPECIFIED.);
#13610 = ADVANCED_FACE ('', (#13550), #13600, .T.);
#13620 = CARTESIAN_POINT ('', (41.7, 7.03489715653505, 22.715102843465));
#13630 = VERTEX_POINT ('', #13620);
#13640 = CARTESIAN_POINT ('', (41.7, 6.93249632709167, 23.689381655204));
#13650 = CARTESIAN_POINT ('', (41.7, 7.03489715653505, 22.7151028434649));
#13660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13640, #13650), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13670 = EDGE_CURVE ('', #13410, #13630, #13660, .T.);
#13680 = ORIENTED_EDGE ('', *, *, #13670, .F.);
#13690 = ORIENTED_EDGE ('', *, *, #13520, .F.);
#13700 = ORIENTED_EDGE ('', *, *, #9380, .F.);
#13710 = ORIENTED_EDGE ('', *, *, #10700, .T.);
#13720 = CARTESIAN_POINT ('', (41.7, 7.03489715653505, 22.715102843465));
#13730 = CARTESIAN_POINT ('', (41.7, 7.1, 22.65));
#13740 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13720, #13730), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13750 = EDGE_CURVE ('', #13630, #10590, #13740, .T.);
#13760 = ORIENTED_EDGE ('', *, *, #13750, .F.);
#13770 = EDGE_LOOP ('', (#13680, #13690, #13700, #13710, #13760));
#13780 = FACE_OUTER_BOUND ('', #13770, .T.);
#13790 = CARTESIAN_POINT ('', (41.7, 7.1, 25.));
#13800 = CARTESIAN_POINT ('', (41.7, 6.93249632709167, 25.));
#13810 = CARTESIAN_POINT ('', (41.7, 7.1, 22.65));
#13820 = CARTESIAN_POINT ('', (41.7, 6.93249632709167, 22.65));
#13830 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13790, #13800), (#13810, #13820)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.47), (0., 1.), .UNSPECIFIED.);
#13840 = ADVANCED_FACE ('', (#13780), #13830, .T.);
#13850 = CARTESIAN_POINT ('', (41.7, 12.5651028434649, 22.7151028434649));
#13860 = VERTEX_POINT ('', #13850);
#13870 = CARTESIAN_POINT ('', (41.7, 12.5, 22.65));
#13880 = CARTESIAN_POINT ('', (41.7, 12.5651028434649, 22.715102843465));
#13890 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13870, #13880), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13900 = EDGE_CURVE ('', #10890, #13860, #13890, .T.);
#13910 = ORIENTED_EDGE ('', *, *, #13900, .F.);
#13920 = ORIENTED_EDGE ('', *, *, #11040, .F.);
#13930 = ORIENTED_EDGE ('', *, *, #9750, .F.);
#13940 = ORIENTED_EDGE ('', *, *, #12490, .T.);
#13950 = CARTESIAN_POINT ('', (41.7, 12.5651028434649, 22.7151028434649));
#13960 = CARTESIAN_POINT ('', (41.7, 12.6675036729083, 23.689381655204));
#13970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13950, #13960), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13980 = EDGE_CURVE ('', #13860, #12400, #13970, .T.);
#13990 = ORIENTED_EDGE ('', *, *, #13980, .F.);
#14000 = EDGE_LOOP ('', (#13910, #13920, #13930, #13940, #13990));
#14010 = FACE_OUTER_BOUND ('', #14000, .T.);
#14020 = CARTESIAN_POINT ('', (41.7, 12.6675036729083, 25.));
#14030 = CARTESIAN_POINT ('', (41.7, 12.5, 25.));
#14040 = CARTESIAN_POINT ('', (41.7, 12.6675036729083, 22.65));
#14050 = CARTESIAN_POINT ('', (41.7, 12.5, 22.65));
#14060 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14020, #14030), (#14040, #14050)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.47), (0., 1.), .UNSPECIFIED.);
#14070 = ADVANCED_FACE ('', (#14010), #14060, .T.);
#14080 = CARTESIAN_POINT ('', (15.9348971565351, 7.03489715653505, 22.7151028434649));
#14090 = VERTEX_POINT ('', #14080);
#14100 = CARTESIAN_POINT ('', (15.7585786426391, 6.8585786426391, 24.3926614446979));
#14110 = CARTESIAN_POINT ('', (15.9348971565351, 7.03489715653505, 22.7151028434649));
#14120 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14100, #14110), .UNSPECIFIED., .F., .U., (2, 2), (0.249379956331491, 1.), .UNSPECIFIED.);
#14130 = EDGE_CURVE ('', #6130, #14090, #14120, .T.);
#14140 = ORIENTED_EDGE ('', *, *, #14130, .F.);
#14150 = ORIENTED_EDGE ('', *, *, #7420, .F.);
#14160 = ORIENTED_EDGE ('', *, *, #10410, .T.);
#14170 = CARTESIAN_POINT ('', (15.7585786426391, 12.7414213573609, 24.3926614446979));
#14180 = VERTEX_POINT ('', #14170);
#14190 = CARTESIAN_POINT ('', (15.7, 12.6, 24.95));
#14200 = CARTESIAN_POINT ('', (15.7, 12.6017213893113, 24.95));
#14210 = CARTESIAN_POINT ('', (15.7000228334055, 12.603453942884, 24.9497827546588));
#14220 = CARTESIAN_POINT ('', (15.7000656948731, 12.60512578125, 24.9493749550346));
#14230 = CARTESIAN_POINT ('', (15.7001085244393, 12.6067963752802, 24.9489674589324));
#14240 = CARTESIAN_POINT ('', (15.700171560408, 12.6084267061194, 24.9483677117525));
#14250 = CARTESIAN_POINT ('', (15.7002490904437, 12.609978683852, 24.9476300627371));
#14260 = CARTESIAN_POINT ('', (15.7003264300926, 12.6115268504698, 24.94689422513));
#14270 = CARTESIAN_POINT ('', (15.7004186632861, 12.6130112233086, 24.9460166849139));
#14280 = CARTESIAN_POINT ('', (15.7005206935612, 12.6144224236081, 24.9450459316912));
#14290 = CARTESIAN_POINT ('', (15.7006225487689, 12.6158312025171, 24.9440768441232));
#14300 = CARTESIAN_POINT ('', (15.7007346478096, 12.6171748737126, 24.9430102929957));
#14310 = CARTESIAN_POINT ('', (15.7008534338554, 12.618456575871, 24.9418801192636));
#14320 = CARTESIAN_POINT ('', (15.7009721010241, 12.6197369953449, 24.9407510765716));
#14330 = CARTESIAN_POINT ('', (15.7010977970262, 12.6209595449818, 24.9395551589974));
#14340 = CARTESIAN_POINT ('', (15.7012282033745, 12.6221308125991, 24.9383144254726));
#14350 = CARTESIAN_POINT ('', (15.7016705168335, 12.6261035289432, 24.9341060940205));
#14360 = CARTESIAN_POINT ('', (15.7021672159906, 12.6295308198864, 24.9293803172142));
#14370 = CARTESIAN_POINT ('', (15.7026800602342, 12.6326319072506, 24.9245009301729));
#14380 = CARTESIAN_POINT ('', (15.7031905213386, 12.6357185841527, 24.9196442171855));
#14390 = CARTESIAN_POINT ('', (15.7037219203117, 12.6384947222536, 24.9145882936849));
#14400 = CARTESIAN_POINT ('', (15.7042624422646, 12.6410707741805, 24.9094455708295));
#14410 = CARTESIAN_POINT ('', (15.7050728446441, 12.6449330384234, 24.9017351072363));
#14420 = CARTESIAN_POINT ('', (15.7059064722113, 12.6483571105902, 24.893803670743));
#14430 = CARTESIAN_POINT ('', (15.7067493885975, 12.6515189401341, 24.8857838570405));
#14440 = CARTESIAN_POINT ('', (15.7080131927482, 12.6562595447385, 24.8737595637522));
#14450 = CARTESIAN_POINT ('', (15.7093012623378, 12.6604177327547, 24.8615044002342));
#14460 = CARTESIAN_POINT ('', (15.7105985363913, 12.6642423970822, 24.8491616620922));
#14470 = CARTESIAN_POINT ('', (15.7118950000277, 12.6680646721126, 24.8368266345533));
#14480 = CARTESIAN_POINT ('', (15.7132026017325, 12.6715476074845, 24.8243856353732));
#14490 = CARTESIAN_POINT ('', (15.7145158385544, 12.6748039160261, 24.8118910216344));
#14500 = CARTESIAN_POINT ('', (15.7164855552206, 12.6796880352476, 24.7931504194009));
#14510 = CARTESIAN_POINT ('', (15.7184692636406, 12.6840654179503, 24.7742766945224));
#14520 = CARTESIAN_POINT ('', (15.7204594334644, 12.6881202869269, 24.7553414934926));
#14530 = CARTESIAN_POINT ('', (15.7224492662402, 12.6921744691855, 24.7364094992605));
#14540 = CARTESIAN_POINT ('', (15.7244465154286, 12.6959019893587, 24.717406942577));
#14550 = CARTESIAN_POINT ('', (15.7264479129307, 12.6993965445771, 24.6983649173242));
#14560 = CARTESIAN_POINT ('', (15.7294499073706, 12.7046381996331, 24.6698028481329));
#14570 = CARTESIAN_POINT ('', (15.7324620705087, 12.7093581257054, 24.6411440302417));
#14580 = CARTESIAN_POINT ('', (15.7354793515921, 12.7137231561619, 24.6124365183536));
#14590 = CARTESIAN_POINT ('', (15.7384964562258, 12.7180879313529, 24.5837306852718));
#14600 = CARTESIAN_POINT ('', (15.7415193523107, 12.7220943091285, 24.5549697502132));
#14610 = CARTESIAN_POINT ('', (15.7445456298237, 12.7258329797513, 24.5261766430146));
#14620 = CARTESIAN_POINT ('', (15.7490848879214, 12.7314407902795, 24.4829884871215));
#14630 = CARTESIAN_POINT ('', (15.7536324581585, 12.7364485781344, 24.4397212465045));
#14640 = CARTESIAN_POINT ('', (15.7581843300579, 12.7410259400212, 24.3964130783048));
#14650 = CARTESIAN_POINT ('', (15.758315763531, 12.7411581095074, 24.3951625723402));
#14660 = CARTESIAN_POINT ('', (15.7584472010773, 12.7412899144064, 24.3939120276216));
#14670 = CARTESIAN_POINT ('', (15.7585786426391, 12.7414213573609, 24.3926614446979));
#14680 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#14190, #14200, #14210, #14220, #14230, #14240, #14250, #14260, #14270, #14280, #14290, #14300, #14310, #14320, #14330, #14340, #14350, #14360, #14370, #14380, #14390, #14400, #14410, #14420, #14430, #14440, #14450, #14460, #14470, #14480, #14490, #14500, #14510, #14520, #14530, #14540, #14550, #14560, #14570, #14580, #14590, #14600, #14610, #14620, #14630, #14640, #14650, #14660, #14670), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.00516416793375153, 0.0103244922190422, 0.0154721445515608, 0.0206109643489152, 0.0257446413876293, 0.0431570946787877, 0.0604886339326742, 0.0864737406918807, 0.125433815875141, 0.164369552400533, 0.222769048866492, 0.281158655003094, 0.368740093866874, 0.456316410995573, 0.587676309412297, 0.591469273726016), .UNSPECIFIED.);
#14690 = EDGE_CURVE ('', #10370, #14180, #14680, .T.);
#14700 = ORIENTED_EDGE ('', *, *, #14690, .T.);
#14710 = CARTESIAN_POINT ('', (15.9348971565351, 12.5651028434649, 22.7151028434649));
#14720 = VERTEX_POINT ('', #14710);
#14730 = CARTESIAN_POINT ('', (15.9348971565351, 12.5651028434649, 22.7151028434649));
#14740 = CARTESIAN_POINT ('', (15.7585786426391, 12.7414213573609, 24.3926614446979));
#14750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14730, #14740), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.750620043668496), .UNSPECIFIED.);
#14760 = EDGE_CURVE ('', #14720, #14180, #14750, .T.);
#14770 = ORIENTED_EDGE ('', *, *, #14760, .F.);
#14780 = CARTESIAN_POINT ('', (16.2202659645651, 9.85, 20.));
#14790 = CARTESIAN_POINT ('', (15.9348971565351, 12.5651028434649, 22.715102843465));
#14800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14780, #14790), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14810 = EDGE_CURVE ('', #11240, #14720, #14800, .T.);
#14820 = ORIENTED_EDGE ('', *, *, #14810, .F.);
#14830 = ORIENTED_EDGE ('', *, *, #11280, .T.);
#14840 = CARTESIAN_POINT ('', (15.9348971565351, 7.03489715653505, 22.7151028434649));
#14850 = CARTESIAN_POINT ('', (16.2202659645651, 9.75, 20.));
#14860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14840, #14850), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14870 = EDGE_CURVE ('', #14090, #11150, #14860, .T.);
#14880 = ORIENTED_EDGE ('', *, *, #14870, .F.);
#14890 = EDGE_LOOP ('', (#14140, #14150, #14160, #14700, #14770, #14820, #14830, #14880));
#14900 = FACE_OUTER_BOUND ('', #14890, .T.);
#14910 = CARTESIAN_POINT ('', (15.7, 6.8585786426391, 24.95));
#14920 = CARTESIAN_POINT ('', (16.2202659645651, 6.8585786426391, 20.));
#14930 = CARTESIAN_POINT ('', (15.7, 12.7414213573609, 24.95));
#14940 = CARTESIAN_POINT ('', (16.2202659645651, 12.7414213573609, 20.));
#14950 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14910, #14920), (#14930, #14940)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.401952621421303, 0.598047378578697), (0., 0.99), .UNSPECIFIED.);
#14960 = ADVANCED_FACE ('', (#14900), #14950, .T.);
#14970 = CARTESIAN_POINT ('', (19.7, 6.93249632709167, 23.689381655204));
#14980 = VERTEX_POINT ('', #14970);
#14990 = CARTESIAN_POINT ('', (19.7, 6.93249632709167, 23.689381655204));
#15000 = CARTESIAN_POINT ('', (15.9069798993405, 6.80012183459618, 24.9488408212488));
#15010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14990, #15000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15020 = EDGE_CURVE ('', #14980, #6150, #15010, .T.);
#15030 = ORIENTED_EDGE ('', *, *, #15020, .F.);
#15040 = CARTESIAN_POINT ('', (19.7, 6.93249632709167, 25.));
#15050 = CARTESIAN_POINT ('', (19.7, 6.93249632709167, 23.689381655204));
#15060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15040, #15050), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.262123668959201), .UNSPECIFIED.);
#15070 = EDGE_CURVE ('', #9130, #14980, #15060, .T.);
#15080 = ORIENTED_EDGE ('', *, *, #15070, .F.);
#15090 = ORIENTED_EDGE ('', *, *, #9170, .F.);
#15100 = ORIENTED_EDGE ('', *, *, #6730, .T.);
#15110 = EDGE_LOOP ('', (#15030, #15080, #15090, #15100));
#15120 = FACE_OUTER_BOUND ('', #15110, .T.);
#15130 = CARTESIAN_POINT ('', (15.9069798993405, 6.80012183459618, 25.));
#15140 = CARTESIAN_POINT ('', (19.7, 6.93249632709167, 25.));
#15150 = CARTESIAN_POINT ('', (15.9069798993405, 6.80012183459618, 23.689381655204));
#15160 = CARTESIAN_POINT ('', (19.7, 6.93249632709167, 23.689381655204));
#15170 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15130, #15140), (#15150, #15160)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.262123668959201), (0., 1.), .UNSPECIFIED.);
#15180 = ADVANCED_FACE ('', (#15120), #15170, .T.);
#15190 = CARTESIAN_POINT ('', (15.9069798993405, 12.7998781654038, 24.9488408212488));
#15200 = VERTEX_POINT ('', #15190);
#15210 = CARTESIAN_POINT ('', (19.7, 12.6675036729083, 23.689381655204));
#15220 = VERTEX_POINT ('', #15210);
#15230 = CARTESIAN_POINT ('', (15.9069798993405, 12.7998781654038, 24.9488408212488));
#15240 = CARTESIAN_POINT ('', (19.7, 12.6675036729083, 23.689381655204));
#15250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15230, #15240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15260 = EDGE_CURVE ('', #15200, #15220, #15250, .T.);
#15270 = ORIENTED_EDGE ('', *, *, #15260, .F.);
#15280 = CARTESIAN_POINT ('', (15.9069798993405, 12.7998781654038, 25.));
#15290 = CARTESIAN_POINT ('', (15.9069798993405, 12.7998781654038, 24.9488408212488));
#15300 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15280, #15290), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0102318357502391), .UNSPECIFIED.);
#15310 = EDGE_CURVE ('', #9920, #15200, #15300, .T.);
#15320 = ORIENTED_EDGE ('', *, *, #15310, .F.);
#15330 = ORIENTED_EDGE ('', *, *, #9960, .F.);
#15340 = CARTESIAN_POINT ('', (19.7, 12.6675036729083, 25.));
#15350 = CARTESIAN_POINT ('', (19.7, 12.6675036729083, 23.689381655204));
#15360 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15340, #15350), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.2621236689592), .UNSPECIFIED.);
#15370 = EDGE_CURVE ('', #9850, #15220, #15360, .T.);
#15380 = ORIENTED_EDGE ('', *, *, #15370, .T.);
#15390 = EDGE_LOOP ('', (#15270, #15320, #15330, #15380));
#15400 = FACE_OUTER_BOUND ('', #15390, .T.);
#15410 = CARTESIAN_POINT ('', (19.7, 12.6675036729083, 25.));
#15420 = CARTESIAN_POINT ('', (15.9069798993405, 12.7998781654038, 25.));
#15430 = CARTESIAN_POINT ('', (19.7, 12.6675036729083, 23.689381655204));
#15440 = CARTESIAN_POINT ('', (15.9069798993405, 12.7998781654038, 23.689381655204));
#15450 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15410, #15420), (#15430, #15440)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.2621236689592), (0., 1.), .UNSPECIFIED.);
#15460 = ADVANCED_FACE ('', (#15400), #15450, .T.);
#15470 = ORIENTED_EDGE ('', *, *, #15310, .T.);
#15480 = CARTESIAN_POINT ('', (15.7585785927304, 12.741421357906, 24.3926614498865));
#15490 = CARTESIAN_POINT ('', (15.7590533480683, 12.7418960849053, 24.3971781755749));
#15500 = CARTESIAN_POINT ('', (15.7595328268907, 12.7423707593316, 24.4016944010641));
#15510 = CARTESIAN_POINT ('', (15.7600171516364, 12.7428453785187, 24.4062101009869));
#15520 = CARTESIAN_POINT ('', (15.7620814229338, 12.7448682831377, 24.4254567527883));
#15530 = CARTESIAN_POINT ('', (15.7642339423263, 12.7468902317285, 24.4446943085856));
#15540 = CARTESIAN_POINT ('', (15.7664876925205, 12.7489109255612, 24.4639199261608));
#15550 = CARTESIAN_POINT ('', (15.7715593739315, 12.7534581532776, 24.5071839079106));
#15560 = CARTESIAN_POINT ('', (15.7771323726243, 12.7579999271701, 24.5503959999922));
#15570 = CARTESIAN_POINT ('', (15.7834496955215, 12.7625300788345, 24.5934975139609));
#15580 = CARTESIAN_POINT ('', (15.7876611145353, 12.7655500870193, 24.622230972485));
#15590 = CARTESIAN_POINT ('', (15.7922042767877, 12.7685654495552, 24.6509202306133));
#15600 = CARTESIAN_POINT ('', (15.7972232126737, 12.7715719440552, 24.679525115016));
#15610 = CARTESIAN_POINT ('', (15.8022426111293, 12.7745787156484, 24.7081326357846));
#15620 = CARTESIAN_POINT ('', (15.8077281908488, 12.7775780601359, 24.7366694923626));
#15630 = CARTESIAN_POINT ('', (15.8139864804915, 12.7805593377861, 24.7650344544658));
#15640 = CARTESIAN_POINT ('', (15.8181587105284, 12.7825468738176, 24.783944596635));
#15650 = CARTESIAN_POINT ('', (15.8226746249839, 12.7845273892783, 24.8027879425358));
#15660 = CARTESIAN_POINT ('', (15.8277452705367, 12.7864919678436, 24.8214796590047));
#15670 = CARTESIAN_POINT ('', (15.8311257193705, 12.7878016940413, 24.8339408713852));
#15680 = CARTESIAN_POINT ('', (15.834754111875, 12.7891050754212, 24.846341716856));
#15690 = CARTESIAN_POINT ('', (15.8387654757391, 12.7903952022467, 24.8586164536656));
#15700 = CARTESIAN_POINT ('', (15.8427785242188, 12.7916858708748, 24.8708963453833));
#15710 = CARTESIAN_POINT ('', (15.8471656549701, 12.7929660385481, 24.8830763271899));
#15720 = CARTESIAN_POINT ('', (15.8522450405876, 12.7942149938895, 24.8949593434952));
#15730 = CARTESIAN_POINT ('', (15.8556326288097, 12.7950479580949, 24.9028844685224));
#15740 = CARTESIAN_POINT ('', (15.8593322283081, 12.7958695366578, 24.9107012663978));
#15750 = CARTESIAN_POINT ('', (15.8635892028146, 12.7966577073199, 24.9182002093289));
#15760 = CARTESIAN_POINT ('', (15.8664290064961, 12.7971834915228, 24.9232027118598));
#15770 = CARTESIAN_POINT ('', (15.8695270025212, 12.7976967771247, 24.9280862981449));
#15780 = CARTESIAN_POINT ('', (15.8730469562217, 12.7981755116837, 24.9326411532159));
#15790 = CARTESIAN_POINT ('', (15.8765882617349, 12.7986571502157, 24.9372236377448));
#15800 = CARTESIAN_POINT ('', (15.8806150209274, 12.7991154853772, 24.9415844055139));
#15810 = CARTESIAN_POINT ('', (15.8853723537207, 12.7994643626424, 24.9449037509643));
#15820 = CARTESIAN_POINT ('', (15.8874833789823, 12.7996191739099, 24.9463766817854));
#15830 = CARTESIAN_POINT ('', (15.889770864814, 12.7997528658432, 24.9476486755635));
#15840 = CARTESIAN_POINT ('', (15.8921861704003, 12.7998473018757, 24.9485471743937));
#15850 = CARTESIAN_POINT ('', (15.8932550629323, 12.7998890945045, 24.9489448046957));
#15860 = CARTESIAN_POINT ('', (15.8943542665106, 12.7999234110149, 24.9492713044826));
#15870 = CARTESIAN_POINT ('', (15.8954695870244, 12.7999486818118, 24.9495117400543));
#15880 = CARTESIAN_POINT ('', (15.8969540907579, 12.7999823175173, 24.9498317624151));
#15890 = CARTESIAN_POINT ('', (15.8984810210644, 12.8, 24.95));
#15900 = CARTESIAN_POINT ('', (15.9, 12.8, 24.95));
#15910 = CARTESIAN_POINT ('', (15.9011428609459, 12.8, 24.95));
#15920 = CARTESIAN_POINT ('', (15.9022892991915, 12.7999900787857, 24.9499056059518));
#15930 = CARTESIAN_POINT ('', (15.9034171875, 12.7999708049431, 24.9497222275884));
#15940 = CARTESIAN_POINT ('', (15.9046251545424, 12.7999501626804, 24.9495258295784));
#15950 = CARTESIAN_POINT ('', (15.9058189683823, 12.7999187060062, 24.9492265393151));
#15960 = CARTESIAN_POINT ('', (15.9069798993405, 12.7998781654038, 24.9488408212488));
#15970 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#15480, #15490, #15500, #15510, #15520, #15530, #15540, #15550, #15560, #15570, #15580, #15590, #15600, #15610, #15620, #15630, #15640, #15650, #15660, #15670, #15680, #15690, #15700, #15710, #15720, #15730, #15740, #15750, #15760, #15770, #15780, #15790, #15800, #15810, #15820, #15830, #15840, #15850, #15860, #15870, #15880, #15890, #15900, #15910, #15920, #15930, #15940, #15950, #15960), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (1.35474566170216, 1.36844465497263, 1.42683200533088, 1.55822280463505, 1.64581397567819, 1.73341321955132, 1.7918132325509, 1.83074678722025, 1.86969669245592, 1.89567350346567, 1.91300248756579, 1.93043658816897, 1.93817281945336, 1.9415964855487, 1.94615342235543, 1.94958200519302, 1.9532540133509), .UNSPECIFIED.);
#15980 = EDGE_CURVE ('', #14180, #15200, #15970, .T.);
#15990 = ORIENTED_EDGE ('', *, *, #15980, .F.);
#16000 = ORIENTED_EDGE ('', *, *, #14690, .F.);
#16010 = ORIENTED_EDGE ('', *, *, #10480, .F.);
#16020 = ORIENTED_EDGE ('', *, *, #10040, .F.);
#16030 = EDGE_LOOP ('', (#15470, #15990, #16000, #16010, #16020));
#16040 = FACE_OUTER_BOUND ('', #16030, .T.);
#16050 = CARTESIAN_POINT ('', (15.9069798993405, 12.7998781654038, 25.));
#16060 = CARTESIAN_POINT ('', (15.8221366518164, 12.8028409568935, 25.));
#16070 = CARTESIAN_POINT ('', (15.7610683259082, 12.7438679600677, 25.));
#16080 = CARTESIAN_POINT ('', (15.7, 12.6848949632419, 25.));
#16090 = CARTESIAN_POINT ('', (15.7, 12.6, 25.));
#16100 = CARTESIAN_POINT ('', (15.9069798993405, 12.7998781654038, 24.3926614446979));
#16110 = CARTESIAN_POINT ('', (15.8221366518164, 12.8028409568935, 24.3926614446979));
#16120 = CARTESIAN_POINT ('', (15.7610683259082, 12.7438679600677, 24.3926614446979));
#16130 = CARTESIAN_POINT ('', (15.7, 12.6848949632419, 24.3926614446979));
#16140 = CARTESIAN_POINT ('', (15.7, 12.6, 24.3926614446979));
#16150 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#16050, #16060, #16070, #16080, #16090), (#16100, #16110, #16120, #16130, #16140)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 3), (0., 0.607338555302115), (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 ('')
);
#16160 = ADVANCED_FACE ('', (#16040), #16150, .T.);
#16170 = CARTESIAN_POINT ('', (19.7, 7.03489715653505, 22.715102843465));
#16180 = VERTEX_POINT ('', #16170);
#16190 = CARTESIAN_POINT ('', (19.7, 7.03489715653505, 22.7151028434649));
#16200 = CARTESIAN_POINT ('', (19.7, 6.93249632709167, 23.689381655204));
#16210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16190, #16200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16220 = EDGE_CURVE ('', #16180, #14980, #16210, .T.);
#16230 = ORIENTED_EDGE ('', *, *, #16220, .F.);
#16240 = CARTESIAN_POINT ('', (19.7, 7.1, 22.65));
#16250 = CARTESIAN_POINT ('', (19.7, 7.03489715653505, 22.715102843465));
#16260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16240, #16250), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16270 = EDGE_CURVE ('', #10610, #16180, #16260, .T.);
#16280 = ORIENTED_EDGE ('', *, *, #16270, .F.);
#16290 = ORIENTED_EDGE ('', *, *, #10760, .F.);
#16300 = ORIENTED_EDGE ('', *, *, #9240, .F.);
#16310 = ORIENTED_EDGE ('', *, *, #15070, .T.);
#16320 = EDGE_LOOP ('', (#16230, #16280, #16290, #16300, #16310));
#16330 = FACE_OUTER_BOUND ('', #16320, .T.);
#16340 = CARTESIAN_POINT ('', (19.7, 6.93249632709167, 25.));
#16350 = CARTESIAN_POINT ('', (19.7, 7.1, 25.));
#16360 = CARTESIAN_POINT ('', (19.7, 6.93249632709167, 22.65));
#16370 = CARTESIAN_POINT ('', (19.7, 7.1, 22.65));
#16380 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16340, #16350), (#16360, #16370)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.47), (0., 1.), .UNSPECIFIED.);
#16390 = ADVANCED_FACE ('', (#16330), #16380, .T.);
#16400 = CARTESIAN_POINT ('', (19.7, 12.5651028434649, 22.7151028434649));
#16410 = VERTEX_POINT ('', #16400);
#16420 = CARTESIAN_POINT ('', (19.7, 12.5651028434649, 22.715102843465));
#16430 = CARTESIAN_POINT ('', (19.7, 12.5, 22.65));
#16440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16420, #16430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16450 = EDGE_CURVE ('', #16410, #10870, #16440, .T.);
#16460 = ORIENTED_EDGE ('', *, *, #16450, .F.);
#16470 = CARTESIAN_POINT ('', (19.7, 12.6675036729083, 23.689381655204));
#16480 = CARTESIAN_POINT ('', (19.7, 12.5651028434649, 22.7151028434649));
#16490 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16470, #16480), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16500 = EDGE_CURVE ('', #15220, #16410, #16490, .T.);
#16510 = ORIENTED_EDGE ('', *, *, #16500, .F.);
#16520 = ORIENTED_EDGE ('', *, *, #15370, .F.);
#16530 = ORIENTED_EDGE ('', *, *, #9890, .F.);
#16540 = ORIENTED_EDGE ('', *, *, #10980, .T.);
#16550 = EDGE_LOOP ('', (#16460, #16510, #16520, #16530, #16540));
#16560 = FACE_OUTER_BOUND ('', #16550, .T.);
#16570 = CARTESIAN_POINT ('', (19.7, 12.5, 25.));
#16580 = CARTESIAN_POINT ('', (19.7, 12.6675036729083, 25.));
#16590 = CARTESIAN_POINT ('', (19.7, 12.5, 22.65));
#16600 = CARTESIAN_POINT ('', (19.7, 12.6675036729083, 22.65));
#16610 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16570, #16580), (#16590, #16600)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.47), (0., 1.), .UNSPECIFIED.);
#16620 = ADVANCED_FACE ('', (#16560), #16610, .T.);
#16630 = ORIENTED_EDGE ('', *, *, #16270, .T.);
#16640 = CARTESIAN_POINT ('', (15.9348971565351, 7.03489715653505, 22.7151028434649));
#16650 = CARTESIAN_POINT ('', (19.7, 7.03489715653505, 22.7151028434649));
#16660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16640, #16650), .UNSPECIFIED., .F., .U., (2, 2), (0.00782990521783506, 0.133333333333333), .UNSPECIFIED.);
#16670 = EDGE_CURVE ('', #14090, #16180, #16660, .T.);
#16680 = ORIENTED_EDGE ('', *, *, #16670, .F.);
#16690 = ORIENTED_EDGE ('', *, *, #14870, .T.);
#16700 = ORIENTED_EDGE ('', *, *, #11210, .T.);
#16710 = ORIENTED_EDGE ('', *, *, #11620, .T.);
#16720 = CARTESIAN_POINT ('', (41.7, 7.03489715653505, 22.7151028434649));
#16730 = CARTESIAN_POINT ('', (45.465102843465, 7.03489715653505, 22.7151028434649));
#16740 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16720, #16730), .UNSPECIFIED., .F., .U., (2, 2), (0.866666666666667, 0.992170094782165), .UNSPECIFIED.);
#16750 = EDGE_CURVE ('', #13630, #11510, #16740, .T.);
#16760 = ORIENTED_EDGE ('', *, *, #16750, .F.);
#16770 = ORIENTED_EDGE ('', *, *, #13750, .T.);
#16780 = ORIENTED_EDGE ('', *, *, #10650, .T.);
#16790 = EDGE_LOOP ('', (#16630, #16680, #16690, #16700, #16710, #16760, #16770, #16780));
#16800 = FACE_OUTER_BOUND ('', #16790, .T.);
#16810 = CARTESIAN_POINT ('', (15.934897156535, 9.75, 20.));
#16820 = CARTESIAN_POINT ('', (15.934897156535, 7.03489715653505, 22.7151028434649));
#16830 = CARTESIAN_POINT ('', (45.465102843465, 9.75, 20.));
#16840 = CARTESIAN_POINT ('', (45.465102843465, 7.03489715653505, 22.7151028434649));
#16850 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16810, #16820), (#16830, #16840)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00782990521783484, 0.992170094782165), (0.0180825100658253, 1.), .UNSPECIFIED.);
#16860 = ADVANCED_FACE ('', (#16800), #16850, .T.);
#16870 = ORIENTED_EDGE ('', *, *, #16220, .T.);
#16880 = ORIENTED_EDGE ('', *, *, #15020, .T.);
#16890 = ORIENTED_EDGE ('', *, *, #6660, .F.);
#16900 = ORIENTED_EDGE ('', *, *, #14130, .T.);
#16910 = ORIENTED_EDGE ('', *, *, #16670, .T.);
#16920 = EDGE_LOOP ('', (#16870, #16880, #16890, #16900, #16910));
#16930 = FACE_OUTER_BOUND ('', #16920, .T.);
#16940 = CARTESIAN_POINT ('', (15.7585786426391, 7.03489715653505, 22.7151028434649));
#16950 = CARTESIAN_POINT ('', (15.7585786426391, 6.8, 24.95));
#16960 = CARTESIAN_POINT ('', (45.6414213573609, 7.03489715653505, 22.7151028434649));
#16970 = CARTESIAN_POINT ('', (45.6414213573609, 6.8, 24.95));
#16980 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16940, #16950), (#16960, #16970)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00195262142130328, 0.998047378578697), (0., 1.), .UNSPECIFIED.);
#16990 = ADVANCED_FACE ('', (#16930), #16980, .T.);
#17000 = ORIENTED_EDGE ('', *, *, #13670, .T.);
#17010 = ORIENTED_EDGE ('', *, *, #16750, .T.);
#17020 = ORIENTED_EDGE ('', *, *, #11570, .T.);
#17030 = ORIENTED_EDGE ('', *, *, #13210, .T.);
#17040 = ORIENTED_EDGE ('', *, *, #13450, .T.);
#17050 = EDGE_LOOP ('', (#17000, #17010, #17020, #17030, #17040));
#17060 = FACE_OUTER_BOUND ('', #17050, .T.);
#17070 = CARTESIAN_POINT ('', (15.7585786426391, 7.03489715653505, 22.7151028434649));
#17080 = CARTESIAN_POINT ('', (15.7585786426391, 6.8, 24.95));
#17090 = CARTESIAN_POINT ('', (45.6414213573609, 7.03489715653505, 22.7151028434649));
#17100 = CARTESIAN_POINT ('', (45.6414213573609, 6.8, 24.95));
#17110 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17070, #17080), (#17090, #17100)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00195262142130328, 0.998047378578697), (0., 1.), .UNSPECIFIED.);
#17120 = ADVANCED_FACE ('', (#17060), #17110, .T.);
#17130 = ORIENTED_EDGE ('', *, *, #16450, .T.);
#17140 = ORIENTED_EDGE ('', *, *, #10930, .T.);
#17150 = ORIENTED_EDGE ('', *, *, #13900, .T.);
#17160 = CARTESIAN_POINT ('', (41.7, 12.5651028434649, 22.7151028434649));
#17170 = CARTESIAN_POINT ('', (45.465102843465, 12.5651028434649, 22.7151028434649));
#17180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17160, #17170), .UNSPECIFIED., .F., .U., (2, 2), (0.866666666666667, 0.992170094782165), .UNSPECIFIED.);
#17190 = EDGE_CURVE ('', #13860, #11660, #17180, .T.);
#17200 = ORIENTED_EDGE ('', *, *, #17190, .T.);
#17210 = ORIENTED_EDGE ('', *, *, #11700, .T.);
#17220 = ORIENTED_EDGE ('', *, *, #11350, .T.);
#17230 = ORIENTED_EDGE ('', *, *, #14810, .T.);
#17240 = CARTESIAN_POINT ('', (15.9348971565351, 12.5651028434649, 22.7151028434649));
#17250 = CARTESIAN_POINT ('', (19.7, 12.5651028434649, 22.7151028434649));
#17260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17240, #17250), .UNSPECIFIED., .F., .U., (2, 2), (0.00782990521783506, 0.133333333333333), .UNSPECIFIED.);
#17270 = EDGE_CURVE ('', #14720, #16410, #17260, .T.);
#17280 = ORIENTED_EDGE ('', *, *, #17270, .T.);
#17290 = EDGE_LOOP ('', (#17130, #17140, #17150, #17200, #17210, #17220, #17230, #17280));
#17300 = FACE_OUTER_BOUND ('', #17290, .T.);
#17310 = CARTESIAN_POINT ('', (15.9348971565351, 12.5651028434649, 22.7151028434649));
#17320 = CARTESIAN_POINT ('', (15.9348971565351, 9.85, 20.));
#17330 = CARTESIAN_POINT ('', (45.465102843465, 12.5651028434649, 22.7151028434649));
#17340 = CARTESIAN_POINT ('', (45.465102843465, 9.85, 20.));
#17350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17310, #17320), (#17330, #17340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00782990521783502, 0.992170094782165), (0., 0.981917489934175), .UNSPECIFIED.);
#17360 = ADVANCED_FACE ('', (#17300), #17350, .T.);
#17370 = ORIENTED_EDGE ('', *, *, #13980, .T.);
#17380 = ORIENTED_EDGE ('', *, *, #12440, .T.);
#17390 = ORIENTED_EDGE ('', *, *, #8120, .F.);
#17400 = ORIENTED_EDGE ('', *, *, #11750, .T.);
#17410 = ORIENTED_EDGE ('', *, *, #17190, .F.);
#17420 = EDGE_LOOP ('', (#17370, #17380, #17390, #17400, #17410));
#17430 = FACE_OUTER_BOUND ('', #17420, .T.);
#17440 = CARTESIAN_POINT ('', (15.7585786426391, 12.8, 24.95));
#17450 = CARTESIAN_POINT ('', (15.7585786426391, 12.5651028434649, 22.7151028434649));
#17460 = CARTESIAN_POINT ('', (45.6414213573609, 12.8, 24.95));
#17470 = CARTESIAN_POINT ('', (45.6414213573609, 12.5651028434649, 22.7151028434649));
#17480 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17440, #17450), (#17460, #17470)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00195262142130335, 0.998047378578697), (0., 1.), .UNSPECIFIED.);
#17490 = ADVANCED_FACE ('', (#17430), #17480, .T.);
#17500 = ORIENTED_EDGE ('', *, *, #16500, .T.);
#17510 = ORIENTED_EDGE ('', *, *, #17270, .F.);
#17520 = ORIENTED_EDGE ('', *, *, #14760, .T.);
#17530 = ORIENTED_EDGE ('', *, *, #15980, .T.);
#17540 = ORIENTED_EDGE ('', *, *, #15260, .T.);
#17550 = EDGE_LOOP ('', (#17500, #17510, #17520, #17530, #17540));
#17560 = FACE_OUTER_BOUND ('', #17550, .T.);
#17570 = CARTESIAN_POINT ('', (15.7585786426391, 12.8, 24.95));
#17580 = CARTESIAN_POINT ('', (15.7585786426391, 12.5651028434649, 22.7151028434649));
#17590 = CARTESIAN_POINT ('', (45.6414213573609, 12.8, 24.95));
#17600 = CARTESIAN_POINT ('', (45.6414213573609, 12.5651028434649, 22.7151028434649));
#17610 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17570, #17580), (#17590, #17600)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00195262142130335, 0.998047378578697), (0., 1.), .UNSPECIFIED.);
#17620 = ADVANCED_FACE ('', (#17560), #17610, .T.);
#17630 = CLOSED_SHELL ('', (#7570, #9030, #10130, #10350, #10570, #10850, #11130, #11490, #12380, #12600, #13390, #13610, #13840, #14070, #14960, #15180, #15460, #16160, #16390, #16620, #16860, #16990, #17120, #17360, #17490, #17620));
#17640 = MANIFOLD_SOLID_BREP ('CUT', #17630);
#17650 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#17660 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#17670 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#17680 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #17650, 'DISTANCE_ACCURACY_VALUE', '');
#17690 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#17680))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#17650, #17660, #17670))
   REPRESENTATION_CONTEXT ('', '3D')
);
#17700 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#17710 = FILL_AREA_STYLE_COLOUR ('', #17700);
#17720 = FILL_AREA_STYLE ('', (#17710));
#17730 = SURFACE_STYLE_FILL_AREA (#17720);
#17740 = SURFACE_SIDE_STYLE ('', (#17730));
#17750 = SURFACE_STYLE_USAGE (.POSITIVE., #17740);
#17760 = PRESENTATION_STYLE_ASSIGNMENT ((#17750));
#17770 = STYLED_ITEM ('', (#17760), #17640);
#17780 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#17640), #17690);
#17790 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#17800 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #17790);
#17810 = MECHANICAL_CONTEXT ('', #17790, 'mechanical');
#17820 = PRODUCT ('NONE', '', '', (#17810));
#17830 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#17840 = PERSON ('', '', $, $, $, $);
#17850 = ORGANIZATION ($, '', '');
#17860 = PERSON_AND_ORGANIZATION (#17840, #17850);
#17870 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#17860, #17830, (#17820));
#17880 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#17820));
#17890 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #17820, .NOT_KNOWN.);
#17900 = APPROVAL_STATUS ('approved');
#17910 = APPROVAL (#17900, '');
#17920 = CALENDAR_DATE (2017, 2, 8);
#17930 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#17940 = LOCAL_TIME (8, 32, 20., #17930);
#17950 = DATE_AND_TIME (#17920, #17940);
#17960 = APPROVAL_DATE_TIME (#17950, #17910);
#17970 = APPROVAL_ROLE ('');
#17980 = PERSON ('', '', $, $, $, $);
#17990 = ORGANIZATION ($, '', '');
#18000 = PERSON_AND_ORGANIZATION (#17980, #17990);
#18010 = APPROVAL_PERSON_ORGANIZATION (#18000, #17910, #17970);
#18020 = CC_DESIGN_APPROVAL (#17910, (#17890));
#18030 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#18040 = PERSON ('', '', $, $, $, $);
#18050 = ORGANIZATION ($, '', '');
#18060 = PERSON_AND_ORGANIZATION (#18040, #18050);
#18070 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18060, #18030, (#17890));
#18080 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#18090 = PERSON ('', '', $, $, $, $);
#18100 = ORGANIZATION ($, '', '');
#18110 = PERSON_AND_ORGANIZATION (#18090, #18100);
#18120 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18110, #18080, (#17890));
#18130 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#18140 = SECURITY_CLASSIFICATION ('', '', #18130);
#18150 = APPROVAL_STATUS ('approved');
#18160 = APPROVAL (#18150, '');
#18170 = CALENDAR_DATE (2017, 2, 8);
#18180 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18190 = LOCAL_TIME (8, 32, 20., #18180);
#18200 = DATE_AND_TIME (#18170, #18190);
#18210 = APPROVAL_DATE_TIME (#18200, #18160);
#18220 = APPROVAL_ROLE ('');
#18230 = PERSON ('', '', $, $, $, $);
#18240 = ORGANIZATION ($, '', '');
#18250 = PERSON_AND_ORGANIZATION (#18230, #18240);
#18260 = APPROVAL_PERSON_ORGANIZATION (#18250, #18160, #18220);
#18270 = CC_DESIGN_APPROVAL (#18160, (#18140));
#18280 = DATE_TIME_ROLE ('classification_date');
#18290 = CALENDAR_DATE (2017, 2, 8);
#18300 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18310 = LOCAL_TIME (8, 32, 20., #18300);
#18320 = DATE_AND_TIME (#18290, #18310);
#18330 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#18320, #18280, (#18140));
#18340 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#18350 = PERSON ('', '', $, $, $, $);
#18360 = ORGANIZATION ($, '', '');
#18370 = PERSON_AND_ORGANIZATION (#18350, #18360);
#18380 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18370, #18340, (#18140));
#18390 = CC_DESIGN_SECURITY_CLASSIFICATION (#18140, (#17890));
#18400 = DESIGN_CONTEXT ('', #17790, 'design');
#18410 = PRODUCT_DEFINITION ('', '', #17890, #18400);
#18420 = APPROVAL_STATUS ('approved');
#18430 = APPROVAL (#18420, '');
#18440 = CALENDAR_DATE (2017, 2, 8);
#18450 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18460 = LOCAL_TIME (8, 32, 20., #18450);
#18470 = DATE_AND_TIME (#18440, #18460);
#18480 = APPROVAL_DATE_TIME (#18470, #18430);
#18490 = APPROVAL_ROLE ('');
#18500 = PERSON ('', '', $, $, $, $);
#18510 = ORGANIZATION ($, '', '');
#18520 = PERSON_AND_ORGANIZATION (#18500, #18510);
#18530 = APPROVAL_PERSON_ORGANIZATION (#18520, #18430, #18490);
#18540 = CC_DESIGN_APPROVAL (#18430, (#18410));
#18550 = DATE_TIME_ROLE ('creation_date');
#18560 = CALENDAR_DATE (2017, 2, 8);
#18570 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18580 = LOCAL_TIME (8, 32, 20., #18570);
#18590 = DATE_AND_TIME (#18560, #18580);
#18600 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#18590, #18550, (#18410));
#18610 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#18620 = PERSON ('', '', $, $, $, $);
#18630 = ORGANIZATION ($, '', '');
#18640 = PERSON_AND_ORGANIZATION (#18620, #18630);
#18650 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18640, #18610, (#18410));
#18660 = PRODUCT_DEFINITION_SHAPE ('', '', #18410);
#18670 = SHAPE_DEFINITION_REPRESENTATION (#18660, #17780);
ENDSEC;
END-ISO-10303-21;