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

DATA;
#10 = CARTESIAN_POINT ('', (36.8, 10., 15.));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (36.8, 6.6, 15.));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (36.8, 10., 15.));
#60 = CARTESIAN_POINT ('', (36.8, 6.6, 15.));
#70 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#50, #60), .UNSPECIFIED., .F., .U., (2, 2), (0.416666666666667, 0.445), .UNSPECIFIED.);
#80 = EDGE_CURVE ('', #20, #40, #70, .T.);
#90 = ORIENTED_EDGE ('', *, *, #80, .T.);
#100 = CARTESIAN_POINT ('', (36.8, 6.6, 0.));
#110 = VERTEX_POINT ('', #100);
#120 = CARTESIAN_POINT ('', (36.8, 6.6, 0.));
#130 = CARTESIAN_POINT ('', (36.8, 6.6, 15.));
#140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#120, #130), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.517241379310345), .UNSPECIFIED.);
#150 = EDGE_CURVE ('', #110, #40, #140, .T.);
#160 = ORIENTED_EDGE ('', *, *, #150, .F.);
#170 = CARTESIAN_POINT ('', (36.8, 10., 0.));
#180 = VERTEX_POINT ('', #170);
#190 = CARTESIAN_POINT ('', (36.8, 10., 0.));
#200 = CARTESIAN_POINT ('', (36.8, 6.6, 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 ('', (36.8, 10., 0.));
#300 = CARTESIAN_POINT ('', (36.8, 10., 15.));
#310 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#290, #300), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.517241379310345), .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 ('', (36.8, 10., 0.));
#370 = CARTESIAN_POINT ('', (36.8, 6.6, 0.));
#380 = CARTESIAN_POINT ('', (36.8, 10., 15.));
#390 = CARTESIAN_POINT ('', (36.8, 6.6, 15.));
#400 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#360, #370), (#380, #390)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.517241379310345), (0., 1.), .UNSPECIFIED.);
#410 = ADVANCED_FACE ('', (#350), #400, .T.);
#420 = CARTESIAN_POINT ('', (-72.4, 10., 0.));
#430 = VERTEX_POINT ('', #420);
#440 = CARTESIAN_POINT ('', (-72.4, 10., 0.));
#450 = CARTESIAN_POINT ('', (36.8, 10., 0.));
#460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#440, #450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#470 = COLOUR_RGB ('', 0., 0., 0.);
#480 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#490 = CURVE_STYLE ('', #480, POSITIVE_LENGTH_MEASURE(1.E-6), #470);
#500 = PRESENTATION_STYLE_ASSIGNMENT ((#490));
#510 = STYLED_ITEM ('', (#500), #460);
#520 = EDGE_CURVE ('', #430, #180, #460, .T.);
#530 = ORIENTED_EDGE ('', *, *, #520, .T.);
#540 = ORIENTED_EDGE ('', *, *, #270, .T.);
#550 = CARTESIAN_POINT ('', (18., 6.6, 0.));
#560 = VERTEX_POINT ('', #550);
#570 = CARTESIAN_POINT ('', (36.8, 6.6, 0.));
#580 = CARTESIAN_POINT ('', (18., 6.6, 0.));
#590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#570, #580), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#600 = COLOUR_RGB ('', 0., 0., 0.);
#610 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#620 = CURVE_STYLE ('', #610, POSITIVE_LENGTH_MEASURE(1.E-6), #600);
#630 = PRESENTATION_STYLE_ASSIGNMENT ((#620));
#640 = STYLED_ITEM ('', (#630), #590);
#650 = EDGE_CURVE ('', #110, #560, #590, .T.);
#660 = ORIENTED_EDGE ('', *, *, #650, .T.);
#670 = CARTESIAN_POINT ('', (18., -10., 0.));
#680 = VERTEX_POINT ('', #670);
#690 = CARTESIAN_POINT ('', (18., 6.6, 0.));
#700 = CARTESIAN_POINT ('', (18., -10., 0.));
#710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#690, #700), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#720 = COLOUR_RGB ('', 0., 0., 0.);
#730 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#740 = CURVE_STYLE ('', #730, POSITIVE_LENGTH_MEASURE(1.E-6), #720);
#750 = PRESENTATION_STYLE_ASSIGNMENT ((#740));
#760 = STYLED_ITEM ('', (#750), #710);
#770 = EDGE_CURVE ('', #560, #680, #710, .T.);
#780 = ORIENTED_EDGE ('', *, *, #770, .T.);
#790 = CARTESIAN_POINT ('', (-72.4, -10., 0.));
#800 = VERTEX_POINT ('', #790);
#810 = CARTESIAN_POINT ('', (18., -10., 0.));
#820 = CARTESIAN_POINT ('', (-72.4, -10., 0.));
#830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#810, #820), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#840 = COLOUR_RGB ('', 0., 0., 0.);
#850 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#860 = CURVE_STYLE ('', #850, POSITIVE_LENGTH_MEASURE(1.E-6), #840);
#870 = PRESENTATION_STYLE_ASSIGNMENT ((#860));
#880 = STYLED_ITEM ('', (#870), #830);
#890 = EDGE_CURVE ('', #680, #800, #830, .T.);
#900 = ORIENTED_EDGE ('', *, *, #890, .T.);
#910 = CARTESIAN_POINT ('', (-72.4, -10., 0.));
#920 = CARTESIAN_POINT ('', (-72.4, 10., 0.));
#930 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#910, #920), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#940 = COLOUR_RGB ('', 0., 0., 0.);
#950 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#960 = CURVE_STYLE ('', #950, POSITIVE_LENGTH_MEASURE(1.E-6), #940);
#970 = PRESENTATION_STYLE_ASSIGNMENT ((#960));
#980 = STYLED_ITEM ('', (#970), #930);
#990 = EDGE_CURVE ('', #800, #430, #930, .T.);
#1000 = ORIENTED_EDGE ('', *, *, #990, .T.);
#1010 = EDGE_LOOP ('', (#530, #540, #660, #780, #900, #1000));
#1020 = FACE_OUTER_BOUND ('', #1010, .T.);
#1030 = CARTESIAN_POINT ('', (-72.4, -10., 0.));
#1040 = CARTESIAN_POINT ('', (36.8, -10., 0.));
#1050 = CARTESIAN_POINT ('', (-72.4, 10., 0.));
#1060 = CARTESIAN_POINT ('', (36.8, 10., 0.));
#1070 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1030, #1040), (#1050, #1060)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.418112013313775, 0.581887986686224), (0.0528915926932143, 0.947108407306786), .UNSPECIFIED.);
#1080 = ADVANCED_FACE ('', (#1020), #1070, .T.);
#1090 = CARTESIAN_POINT ('', (16.4243717555239, 10., 29.));
#1100 = VERTEX_POINT ('', #1090);
#1110 = CARTESIAN_POINT ('', (16.4243717555239, -10., 29.));
#1120 = VERTEX_POINT ('', #1110);
#1130 = CARTESIAN_POINT ('', (16.4243717555239, 10., 29.));
#1140 = CARTESIAN_POINT ('', (16.4243717555239, -10., 29.));
#1150 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1130, #1140), .UNSPECIFIED., .F., .U., (2, 2), (0.416666666666667, 0.583333333333333), .UNSPECIFIED.);
#1160 = EDGE_CURVE ('', #1100, #1120, #1150, .T.);
#1170 = ORIENTED_EDGE ('', *, *, #1160, .F.);
#1180 = CARTESIAN_POINT ('', (0., 10., 29.));
#1190 = VERTEX_POINT ('', #1180);
#1200 = CARTESIAN_POINT ('', (0., 10., 29.));
#1210 = CARTESIAN_POINT ('', (16.4243717555239, 10., 29.));
#1220 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1200, #1210), .UNSPECIFIED., .F., .U., (2, 2), (0.663003663003663, 0.813409997761207), .UNSPECIFIED.);
#1230 = COLOUR_RGB ('', 0., 0., 0.);
#1240 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#1250 = CURVE_STYLE ('', #1240, POSITIVE_LENGTH_MEASURE(1.E-6), #1230);
#1260 = PRESENTATION_STYLE_ASSIGNMENT ((#1250));
#1270 = STYLED_ITEM ('', (#1260), #1220);
#1280 = EDGE_CURVE ('', #1190, #1100, #1220, .T.);
#1290 = ORIENTED_EDGE ('', *, *, #1280, .F.);
#1300 = CARTESIAN_POINT ('', (0., -10., 29.));
#1310 = VERTEX_POINT ('', #1300);
#1320 = CARTESIAN_POINT ('', (0., -10., 29.));
#1330 = CARTESIAN_POINT ('', (0., 10., 29.));
#1340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1320, #1330), .UNSPECIFIED., .F., .U., (2, 2), (0.416666666666667, 0.583333333333333), .UNSPECIFIED.);
#1350 = EDGE_CURVE ('', #1310, #1190, #1340, .T.);
#1360 = ORIENTED_EDGE ('', *, *, #1350, .F.);
#1370 = CARTESIAN_POINT ('', (16.4243717555239, -10., 29.));
#1380 = CARTESIAN_POINT ('', (0., -10., 29.));
#1390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1370, #1380), .UNSPECIFIED., .F., .U., (2, 2), (0.0174295159787184, 0.199115044247788), .UNSPECIFIED.);
#1400 = COLOUR_RGB ('', 0., 0., 0.);
#1410 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#1420 = CURVE_STYLE ('', #1410, POSITIVE_LENGTH_MEASURE(1.E-6), #1400);
#1430 = PRESENTATION_STYLE_ASSIGNMENT ((#1420));
#1440 = STYLED_ITEM ('', (#1430), #1390);
#1450 = EDGE_CURVE ('', #1120, #1310, #1390, .T.);
#1460 = ORIENTED_EDGE ('', *, *, #1450, .F.);
#1470 = EDGE_LOOP ('', (#1170, #1290, #1360, #1460));
#1480 = FACE_OUTER_BOUND ('', #1470, .T.);
#1490 = CARTESIAN_POINT ('', (-2.8421709430404E-14, -10., 29.));
#1500 = CARTESIAN_POINT ('', (-2.8421709430404E-14, 10., 29.));
#1510 = CARTESIAN_POINT ('', (16.4243717555239, -10., 29.));
#1520 = CARTESIAN_POINT ('', (16.4243717555239, 10., 29.));
#1530 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1490, #1500), (#1510, #1520)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.645760616301479, 0.780256489866073), (0.418112013313775, 0.581887986686224), .UNSPECIFIED.);
#1540 = ADVANCED_FACE ('', (#1480), #1530, .T.);
#1550 = CARTESIAN_POINT ('', (-72.4, 10., 20.));
#1560 = VERTEX_POINT ('', #1550);
#1570 = CARTESIAN_POINT ('', (-72.4, -10., 20.));
#1580 = VERTEX_POINT ('', #1570);
#1590 = CARTESIAN_POINT ('', (-72.4, 10., 20.));
#1600 = CARTESIAN_POINT ('', (-72.4, -10., 20.));
#1610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1590, #1600), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1620 = EDGE_CURVE ('', #1560, #1580, #1610, .T.);
#1630 = ORIENTED_EDGE ('', *, *, #1620, .F.);
#1640 = CARTESIAN_POINT ('', (-72.4, 10., 0.));
#1650 = CARTESIAN_POINT ('', (-72.4, 10., 20.));
#1660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1640, #1650), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.689655172413793), .UNSPECIFIED.);
#1670 = EDGE_CURVE ('', #430, #1560, #1660, .T.);
#1680 = ORIENTED_EDGE ('', *, *, #1670, .F.);
#1690 = ORIENTED_EDGE ('', *, *, #990, .F.);
#1700 = CARTESIAN_POINT ('', (-72.4, -10., 0.));
#1710 = CARTESIAN_POINT ('', (-72.4, -10., 20.));
#1720 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1700, #1710), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.689655172413793), .UNSPECIFIED.);
#1730 = EDGE_CURVE ('', #800, #1580, #1720, .T.);
#1740 = ORIENTED_EDGE ('', *, *, #1730, .T.);
#1750 = EDGE_LOOP ('', (#1630, #1680, #1690, #1740));
#1760 = FACE_OUTER_BOUND ('', #1750, .T.);
#1770 = CARTESIAN_POINT ('', (-72.4, -10., 0.));
#1780 = CARTESIAN_POINT ('', (-72.4, 10., 0.));
#1790 = CARTESIAN_POINT ('', (-72.4, -10., 20.));
#1800 = CARTESIAN_POINT ('', (-72.4, 10., 20.));
#1810 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1770, #1780), (#1790, #1800)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.689655172413793), (0., 1.), .UNSPECIFIED.);
#1820 = ADVANCED_FACE ('', (#1760), #1810, .T.);
#1830 = CARTESIAN_POINT ('', (18., -10., 27.8552390720617));
#1840 = VERTEX_POINT ('', #1830);
#1850 = CARTESIAN_POINT ('', (16.4243717555239, -10., 29.));
#1860 = CARTESIAN_POINT ('', (18., -10., 27.8552390720617));
#1870 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1850, #1860), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1880 = EDGE_CURVE ('', #1120, #1840, #1870, .T.);
#1890 = ORIENTED_EDGE ('', *, *, #1880, .F.);
#1900 = ORIENTED_EDGE ('', *, *, #1450, .T.);
#1910 = CARTESIAN_POINT ('', (0., -10., 20.));
#1920 = VERTEX_POINT ('', #1910);
#1930 = CARTESIAN_POINT ('', (0., -10., 20.));
#1940 = CARTESIAN_POINT ('', (0., -10., 29.));
#1950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1930, #1940), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1960 = EDGE_CURVE ('', #1920, #1310, #1950, .T.);
#1970 = ORIENTED_EDGE ('', *, *, #1960, .F.);
#1980 = CARTESIAN_POINT ('', (-72.4, -10., 20.));
#1990 = CARTESIAN_POINT ('', (0., -10., 20.));
#2000 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1980, #1990), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2010 = EDGE_CURVE ('', #1580, #1920, #2000, .T.);
#2020 = ORIENTED_EDGE ('', *, *, #2010, .F.);
#2030 = ORIENTED_EDGE ('', *, *, #1730, .F.);
#2040 = ORIENTED_EDGE ('', *, *, #890, .F.);
#2050 = CARTESIAN_POINT ('', (18., -10., 0.));
#2060 = CARTESIAN_POINT ('', (18., -10., 27.8552390720617));
#2070 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2050, #2060), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.960525485243507), .UNSPECIFIED.);
#2080 = EDGE_CURVE ('', #680, #1840, #2070, .T.);
#2090 = ORIENTED_EDGE ('', *, *, #2080, .T.);
#2100 = EDGE_LOOP ('', (#1890, #1900, #1970, #2020, #2030, #2040, #2090));
#2110 = FACE_OUTER_BOUND ('', #2100, .T.);
#2120 = CARTESIAN_POINT ('', (18., -10., 0.));
#2130 = CARTESIAN_POINT ('', (-72.4, -10., 0.));
#2140 = CARTESIAN_POINT ('', (18., -10., 29.));
#2150 = CARTESIAN_POINT ('', (-72.4, -10., 29.));
#2160 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2120, #2130), (#2140, #2150)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#2170 = ADVANCED_FACE ('', (#2110), #2160, .T.);
#2180 = ORIENTED_EDGE ('', *, *, #1960, .T.);
#2190 = ORIENTED_EDGE ('', *, *, #1350, .T.);
#2200 = CARTESIAN_POINT ('', (0., 10., 20.));
#2210 = VERTEX_POINT ('', #2200);
#2220 = CARTESIAN_POINT ('', (0., 10., 29.));
#2230 = CARTESIAN_POINT ('', (0., 10., 20.));
#2240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2220, #2230), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2250 = EDGE_CURVE ('', #1190, #2210, #2240, .T.);
#2260 = ORIENTED_EDGE ('', *, *, #2250, .T.);
#2270 = CARTESIAN_POINT ('', (0., 10., 20.));
#2280 = CARTESIAN_POINT ('', (0., -9.99999999999999, 20.));
#2290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2270, #2280), .UNSPECIFIED., .F., .U., (2, 2), (0.416666666666667, 0.583333333333333), .UNSPECIFIED.);
#2300 = EDGE_CURVE ('', #2210, #1920, #2290, .T.);
#2310 = ORIENTED_EDGE ('', *, *, #2300, .T.);
#2320 = EDGE_LOOP ('', (#2180, #2190, #2260, #2310));
#2330 = FACE_OUTER_BOUND ('', #2320, .T.);
#2340 = CARTESIAN_POINT ('', (0., 10., 20.));
#2350 = CARTESIAN_POINT ('', (0., 10., 29.));
#2360 = CARTESIAN_POINT ('', (0., -10., 20.));
#2370 = CARTESIAN_POINT ('', (0., -10., 29.));
#2380 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2340, #2350), (#2360, #2370)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.416666666666667, 0.583333333333333), (0., 0.450000000000001), .UNSPECIFIED.);
#2390 = ADVANCED_FACE ('', (#2330), #2380, .T.);
#2400 = ORIENTED_EDGE ('', *, *, #2010, .T.);
#2410 = ORIENTED_EDGE ('', *, *, #2300, .F.);
#2420 = CARTESIAN_POINT ('', (0., 10., 20.));
#2430 = CARTESIAN_POINT ('', (-72.4, 10., 20.));
#2440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2420, #2430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2450 = EDGE_CURVE ('', #2210, #1560, #2440, .T.);
#2460 = ORIENTED_EDGE ('', *, *, #2450, .T.);
#2470 = ORIENTED_EDGE ('', *, *, #1620, .T.);
#2480 = EDGE_LOOP ('', (#2400, #2410, #2460, #2470));
#2490 = FACE_OUTER_BOUND ('', #2480, .T.);
#2500 = CARTESIAN_POINT ('', (-72.4, 10., 20.));
#2510 = CARTESIAN_POINT ('', (0., 10., 20.));
#2520 = CARTESIAN_POINT ('', (-72.4, -9.99999999999999, 20.));
#2530 = CARTESIAN_POINT ('', (0., -9.99999999999999, 20.));
#2540 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2500, #2510), (#2520, #2530)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.416666666666666, 0.583333333333333), (0.341818181818182, 1.), .UNSPECIFIED.);
#2550 = ADVANCED_FACE ('', (#2490), #2540, .T.);
#2560 = ORIENTED_EDGE ('', *, *, #80, .F.);
#2570 = CARTESIAN_POINT ('', (16.428345914953, 10., 15.));
#2580 = VERTEX_POINT ('', #2570);
#2590 = CARTESIAN_POINT ('', (36.8, 10., 15.));
#2600 = CARTESIAN_POINT ('', (16.428345914953, 10., 15.));
#2610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2590, #2600), .UNSPECIFIED., .F., .U., (2, 2), (-0.00139337784769262, 1.), .UNSPECIFIED.);
#2620 = EDGE_CURVE ('', #20, #2580, #2610, .T.);
#2630 = ORIENTED_EDGE ('', *, *, #2620, .T.);
#2640 = CARTESIAN_POINT ('', (16.428345914953, 6.3, 15.));
#2650 = VERTEX_POINT ('', #2640);
#2660 = CARTESIAN_POINT ('', (16.428345914953, 6.3, 15.));
#2670 = CARTESIAN_POINT ('', (16.428345914953, 10., 15.));
#2680 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2660, #2670), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.925), .UNSPECIFIED.);
#2690 = EDGE_CURVE ('', #2650, #2580, #2680, .T.);
#2700 = ORIENTED_EDGE ('', *, *, #2690, .F.);
#2710 = CARTESIAN_POINT ('', (18., 6.3, 15.));
#2720 = VERTEX_POINT ('', #2710);
#2730 = CARTESIAN_POINT ('', (18., 6.3, 15.));
#2740 = CARTESIAN_POINT ('', (16.428345914953, 6.3, 15.));
#2750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2730, #2740), .UNSPECIFIED., .F., .U., (2, 2), (0.922743436224526, 1.), .UNSPECIFIED.);
#2760 = EDGE_CURVE ('', #2720, #2650, #2750, .T.);
#2770 = ORIENTED_EDGE ('', *, *, #2760, .F.);
#2780 = CARTESIAN_POINT ('', (18., 6.6, 15.));
#2790 = VERTEX_POINT ('', #2780);
#2800 = CARTESIAN_POINT ('', (18., 6.3, 15.));
#2810 = CARTESIAN_POINT ('', (18., 6.6, 15.));
#2820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2800, #2810), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2830 = EDGE_CURVE ('', #2720, #2790, #2820, .T.);
#2840 = ORIENTED_EDGE ('', *, *, #2830, .T.);
#2850 = CARTESIAN_POINT ('', (18., 6.6, 15.));
#2860 = CARTESIAN_POINT ('', (36.8, 6.6, 15.));
#2870 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2850, #2860), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.00151003821105), .UNSPECIFIED.);
#2880 = EDGE_CURVE ('', #2790, #40, #2870, .T.);
#2890 = ORIENTED_EDGE ('', *, *, #2880, .T.);
#2900 = EDGE_LOOP ('', (#2560, #2630, #2700, #2770, #2840, #2890));
#2910 = FACE_OUTER_BOUND ('', #2900, .T.);
#2920 = CARTESIAN_POINT ('', (36.8, 10.3, 15.));
#2930 = CARTESIAN_POINT ('', (36.8, 6.3, 15.));
#2940 = CARTESIAN_POINT ('', (16.428345914953, 10.3, 15.));
#2950 = CARTESIAN_POINT ('', (16.428345914953, 6.3, 15.));
#2960 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2920, #2930), (#2940, #2950)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 2.79063754589685), (0.414166666666667, 0.4475), .UNSPECIFIED.);
#2970 = ADVANCED_FACE ('', (#2910), #2960, .T.);
#2980 = CARTESIAN_POINT ('', (15.6, 10., 20.));
#2990 = VERTEX_POINT ('', #2980);
#3000 = CARTESIAN_POINT ('', (28.8118090397644, 10., 20.));
#3010 = VERTEX_POINT ('', #3000);
#3020 = CARTESIAN_POINT ('', (15.6, 10., 20.));
#3030 = CARTESIAN_POINT ('', (28.8118090397644, 10., 20.));
#3040 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3020, #3030), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.623198539611528), .UNSPECIFIED.);
#3050 = EDGE_CURVE ('', #2990, #3010, #3040, .T.);
#3060 = ORIENTED_EDGE ('', *, *, #3050, .F.);
#3070 = CARTESIAN_POINT ('', (15.6, 10., 19.95));
#3080 = VERTEX_POINT ('', #3070);
#3090 = CARTESIAN_POINT ('', (15.6, 10., 19.95));
#3100 = CARTESIAN_POINT ('', (15.6, 10., 20.));
#3110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3090, #3100), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3120 = EDGE_CURVE ('', #3080, #2990, #3110, .T.);
#3130 = ORIENTED_EDGE ('', *, *, #3120, .F.);
#3140 = CARTESIAN_POINT ('', (16.428345914953, 10., 15.));
#3150 = CARTESIAN_POINT ('', (15.6, 10., 19.95));
#3160 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3140, #3150), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3170 = EDGE_CURVE ('', #2580, #3080, #3160, .T.);
#3180 = ORIENTED_EDGE ('', *, *, #3170, .F.);
#3190 = ORIENTED_EDGE ('', *, *, #2620, .F.);
#3200 = ORIENTED_EDGE ('', *, *, #320, .F.);
#3210 = ORIENTED_EDGE ('', *, *, #520, .F.);
#3220 = ORIENTED_EDGE ('', *, *, #1670, .T.);
#3230 = ORIENTED_EDGE ('', *, *, #2450, .F.);
#3240 = ORIENTED_EDGE ('', *, *, #2250, .F.);
#3250 = ORIENTED_EDGE ('', *, *, #1280, .T.);
#3260 = CARTESIAN_POINT ('', (28.8118090397644, 10., 20.));
#3270 = CARTESIAN_POINT ('', (16.4243717555239, 10., 29.));
#3280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3260, #3270), .UNSPECIFIED., .F., .U., (2, 2), (0.0526315789473688, 1.), .UNSPECIFIED.);
#3290 = EDGE_CURVE ('', #3010, #1100, #3280, .T.);
#3300 = ORIENTED_EDGE ('', *, *, #3290, .F.);
#3310 = EDGE_LOOP ('', (#3060, #3130, #3180, #3190, #3200, #3210, #3220, #3230, #3240, #3250, #3300));
#3320 = FACE_OUTER_BOUND ('', #3310, .T.);
#3330 = CARTESIAN_POINT ('', (-72.4, 10., 0.));
#3340 = CARTESIAN_POINT ('', (36.8, 10., 0.));
#3350 = CARTESIAN_POINT ('', (-72.4, 10., 29.));
#3360 = CARTESIAN_POINT ('', (36.8, 10., 29.));
#3370 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3330, #3340), (#3350, #3360)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#3380 = ADVANCED_FACE ('', (#3320), #3370, .T.);
#3390 = CARTESIAN_POINT ('', (28.8118090397644, 6.6, 20.));
#3400 = VERTEX_POINT ('', #3390);
#3410 = CARTESIAN_POINT ('', (28.8118090397644, 10., 20.));
#3420 = CARTESIAN_POINT ('', (28.8118090397644, 6.6, 20.));
#3430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3410, #3420), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.918918918918919), .UNSPECIFIED.);
#3440 = EDGE_CURVE ('', #3010, #3400, #3430, .T.);
#3450 = ORIENTED_EDGE ('', *, *, #3440, .F.);
#3460 = ORIENTED_EDGE ('', *, *, #3290, .T.);
#3470 = ORIENTED_EDGE ('', *, *, #1160, .T.);
#3480 = ORIENTED_EDGE ('', *, *, #1880, .T.);
#3490 = CARTESIAN_POINT ('', (18., 6.6, 27.8552390720617));
#3500 = VERTEX_POINT ('', #3490);
#3510 = CARTESIAN_POINT ('', (18., -10., 27.8552390720617));
#3520 = CARTESIAN_POINT ('', (18., 6.59999999999999, 27.8552390720617));
#3530 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3510, #3520), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3540 = EDGE_CURVE ('', #1840, #3500, #3530, .T.);
#3550 = ORIENTED_EDGE ('', *, *, #3540, .T.);
#3560 = CARTESIAN_POINT ('', (18., 6.6, 27.8552390720617));
#3570 = CARTESIAN_POINT ('', (28.8118090397644, 6.6, 20.));
#3580 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3560, #3570), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.940157307805601), .UNSPECIFIED.);
#3590 = EDGE_CURVE ('', #3500, #3400, #3580, .T.);
#3600 = ORIENTED_EDGE ('', *, *, #3590, .T.);
#3610 = EDGE_LOOP ('', (#3450, #3460, #3470, #3480, #3550, #3600));
#3620 = FACE_OUTER_BOUND ('', #3610, .T.);
#3630 = CARTESIAN_POINT ('', (28.8118090397644, 10., 20.));
#3640 = CARTESIAN_POINT ('', (28.8118090397644, -9.99999999999999, 20.));
#3650 = CARTESIAN_POINT ('', (16.4243717555239, 10., 29.));
#3660 = CARTESIAN_POINT ('', (16.4243717555239, -9.99999999999999, 29.));
#3670 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3630, #3640), (#3650, #3660)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0526315789473683, 1.), (0.416666666666666, 0.583333333333333), .UNSPECIFIED.);
#3680 = ADVANCED_FACE ('', (#3620), #3670, .T.);
#3690 = CARTESIAN_POINT ('', (18., 6.6, 20.));
#3700 = VERTEX_POINT ('', #3690);
#3710 = CARTESIAN_POINT ('', (18., 6.3, 20.));
#3720 = VERTEX_POINT ('', #3710);
#3730 = CARTESIAN_POINT ('', (18., 6.6, 20.));
#3740 = CARTESIAN_POINT ('', (18., 6.3, 20.));
#3750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3730, #3740), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3760 = EDGE_CURVE ('', #3700, #3720, #3750, .T.);
#3770 = ORIENTED_EDGE ('', *, *, #3760, .F.);
#3780 = CARTESIAN_POINT ('', (18., 6.6, 20.));
#3790 = CARTESIAN_POINT ('', (18., 6.6, 27.8552390720617));
#3800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3780, #3790), .UNSPECIFIED., .F., .U., (2, 2), (0.689655172413793, 0.960525485243505), .UNSPECIFIED.);
#3810 = EDGE_CURVE ('', #3700, #3500, #3800, .T.);
#3820 = ORIENTED_EDGE ('', *, *, #3810, .T.);
#3830 = ORIENTED_EDGE ('', *, *, #3540, .F.);
#3840 = ORIENTED_EDGE ('', *, *, #2080, .F.);
#3850 = ORIENTED_EDGE ('', *, *, #770, .F.);
#3860 = CARTESIAN_POINT ('', (18., 6.6, 0.));
#3870 = CARTESIAN_POINT ('', (18., 6.6, 15.));
#3880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3860, #3870), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.517241379310345), .UNSPECIFIED.);
#3890 = EDGE_CURVE ('', #560, #2790, #3880, .T.);
#3900 = ORIENTED_EDGE ('', *, *, #3890, .T.);
#3910 = ORIENTED_EDGE ('', *, *, #2830, .F.);
#3920 = CARTESIAN_POINT ('', (18., 6.3, 20.));
#3930 = CARTESIAN_POINT ('', (18., 6.3, 15.));
#3940 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3920, #3930), .UNSPECIFIED., .F., .U., (2, 2), (0.345075842491822, 0.564722780876635), .UNSPECIFIED.);
#3950 = EDGE_CURVE ('', #3720, #2720, #3940, .T.);
#3960 = ORIENTED_EDGE ('', *, *, #3950, .F.);
#3970 = EDGE_LOOP ('', (#3770, #3820, #3830, #3840, #3850, #3900, #3910, #3960));
#3980 = FACE_OUTER_BOUND ('', #3970, .T.);
#3990 = CARTESIAN_POINT ('', (18., 6.6, 0.));
#4000 = CARTESIAN_POINT ('', (18., -10., 0.));
#4010 = CARTESIAN_POINT ('', (18., 6.6, 27.8552390720617));
#4020 = CARTESIAN_POINT ('', (18., -10., 27.8552390720617));
#4030 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3990, #4000), (#4010, #4020)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.960525485243506), (0., 1.), .UNSPECIFIED.);
#4040 = ADVANCED_FACE ('', (#3980), #4030, .T.);
#4050 = ORIENTED_EDGE ('', *, *, #2880, .F.);
#4060 = ORIENTED_EDGE ('', *, *, #3890, .F.);
#4070 = ORIENTED_EDGE ('', *, *, #650, .F.);
#4080 = ORIENTED_EDGE ('', *, *, #150, .T.);
#4090 = EDGE_LOOP ('', (#4050, #4060, #4070, #4080));
#4100 = FACE_OUTER_BOUND ('', #4090, .T.);
#4110 = CARTESIAN_POINT ('', (36.8, 6.6, 0.));
#4120 = CARTESIAN_POINT ('', (18., 6.6, 0.));
#4130 = CARTESIAN_POINT ('', (36.8, 6.6, 27.8552390720617));
#4140 = CARTESIAN_POINT ('', (18., 6.6, 27.8552390720617));
#4150 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4110, #4120), (#4130, #4140)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.960525485243506), (0., 1.), .UNSPECIFIED.);
#4160 = ADVANCED_FACE ('', (#4100), #4150, .T.);
#4170 = CARTESIAN_POINT ('', (28.8118090397644, 6.6, 20.));
#4180 = CARTESIAN_POINT ('', (18., 6.6, 20.));
#4190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4170, #4180), .UNSPECIFIED., .F., .U., (2, 2), (0.424903774480616, 1.), .UNSPECIFIED.);
#4200 = EDGE_CURVE ('', #3400, #3700, #4190, .T.);
#4210 = ORIENTED_EDGE ('', *, *, #4200, .F.);
#4220 = ORIENTED_EDGE ('', *, *, #3590, .F.);
#4230 = ORIENTED_EDGE ('', *, *, #3810, .F.);
#4240 = EDGE_LOOP ('', (#4210, #4220, #4230));
#4250 = FACE_OUTER_BOUND ('', #4240, .T.);
#4260 = CARTESIAN_POINT ('', (36.8, 6.6, 0.));
#4270 = CARTESIAN_POINT ('', (18., 6.6, 0.));
#4280 = CARTESIAN_POINT ('', (36.8, 6.6, 27.8552390720617));
#4290 = CARTESIAN_POINT ('', (18., 6.6, 27.8552390720617));
#4300 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4260, #4270), (#4280, #4290)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.960525485243506), (0., 1.), .UNSPECIFIED.);
#4310 = ADVANCED_FACE ('', (#4250), #4300, .T.);
#4320 = ORIENTED_EDGE ('', *, *, #3170, .T.);
#4330 = CARTESIAN_POINT ('', (15.6, 6.3, 19.95));
#4340 = VERTEX_POINT ('', #4330);
#4350 = CARTESIAN_POINT ('', (15.6, 6.3, 19.95));
#4360 = CARTESIAN_POINT ('', (15.6, 10., 19.95));
#4370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4350, #4360), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.925), .UNSPECIFIED.);
#4380 = EDGE_CURVE ('', #4340, #3080, #4370, .T.);
#4390 = ORIENTED_EDGE ('', *, *, #4380, .F.);
#4400 = CARTESIAN_POINT ('', (16.428345914953, 6.3, 15.));
#4410 = CARTESIAN_POINT ('', (15.6, 6.3, 19.95));
#4420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4400, #4410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4430 = EDGE_CURVE ('', #2650, #4340, #4420, .T.);
#4440 = ORIENTED_EDGE ('', *, *, #4430, .F.);
#4450 = ORIENTED_EDGE ('', *, *, #2690, .T.);
#4460 = EDGE_LOOP ('', (#4320, #4390, #4440, #4450));
#4470 = FACE_OUTER_BOUND ('', #4460, .T.);
#4480 = CARTESIAN_POINT ('', (16.428345914953, 6.3, 15.));
#4490 = CARTESIAN_POINT ('', (15.6, 6.3, 19.95));
#4500 = CARTESIAN_POINT ('', (16.428345914953, 10., 15.));
#4510 = CARTESIAN_POINT ('', (15.6, 10., 19.95));
#4520 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4480, #4490), (#4500, #4510)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.925), (0., 1.), .UNSPECIFIED.);
#4530 = ADVANCED_FACE ('', (#4470), #4520, .T.);
#4540 = ORIENTED_EDGE ('', *, *, #3120, .T.);
#4550 = CARTESIAN_POINT ('', (15.6, 6.3, 20.));
#4560 = VERTEX_POINT ('', #4550);
#4570 = CARTESIAN_POINT ('', (15.6, 6.3, 20.));
#4580 = CARTESIAN_POINT ('', (15.6, 10., 20.));
#4590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4570, #4580), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.925), .UNSPECIFIED.);
#4600 = EDGE_CURVE ('', #4560, #2990, #4590, .T.);
#4610 = ORIENTED_EDGE ('', *, *, #4600, .F.);
#4620 = CARTESIAN_POINT ('', (15.6, 6.3, 19.95));
#4630 = CARTESIAN_POINT ('', (15.6, 6.3, 20.));
#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.6, 6.3, 19.95));
#4710 = CARTESIAN_POINT ('', (15.6, 6.3, 20.));
#4720 = CARTESIAN_POINT ('', (15.6, 10., 19.95));
#4730 = CARTESIAN_POINT ('', (15.6, 10., 20.));
#4740 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4700, #4710), (#4720, #4730)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.925), (0., 1.), .UNSPECIFIED.);
#4750 = ADVANCED_FACE ('', (#4690), #4740, .T.);
#4760 = ORIENTED_EDGE ('', *, *, #4200, .T.);
#4770 = ORIENTED_EDGE ('', *, *, #3760, .T.);
#4780 = CARTESIAN_POINT ('', (15.6, 6.3, 20.));
#4790 = CARTESIAN_POINT ('', (18., 6.3, 20.));
#4800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4780, #4790), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.109090909090909), .UNSPECIFIED.);
#4810 = EDGE_CURVE ('', #4560, #3720, #4800, .T.);
#4820 = ORIENTED_EDGE ('', *, *, #4810, .F.);
#4830 = ORIENTED_EDGE ('', *, *, #4600, .T.);
#4840 = ORIENTED_EDGE ('', *, *, #3050, .T.);
#4850 = ORIENTED_EDGE ('', *, *, #3440, .T.);
#4860 = EDGE_LOOP ('', (#4760, #4770, #4820, #4830, #4840, #4850));
#4870 = FACE_OUTER_BOUND ('', #4860, .T.);
#4880 = CARTESIAN_POINT ('', (15.6, 6.3, 20.));
#4890 = CARTESIAN_POINT ('', (28.8118090397644, 6.3, 20.));
#4900 = CARTESIAN_POINT ('', (15.6, 10., 20.));
#4910 = CARTESIAN_POINT ('', (28.8118090397644, 10., 20.));
#4920 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4880, #4890), (#4900, #4910)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.925000000000007), (0., 0.600536774534746), .UNSPECIFIED.);
#4930 = ADVANCED_FACE ('', (#4870), #4920, .T.);
#4940 = ORIENTED_EDGE ('', *, *, #3950, .T.);
#4950 = ORIENTED_EDGE ('', *, *, #2760, .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.6, 6.3, 15.));
#5020 = CARTESIAN_POINT ('', (18., 6.3, 15.));
#5030 = CARTESIAN_POINT ('', (15.6, 6.3, 20.));
#5040 = CARTESIAN_POINT ('', (18., 6.3, 20.));
#5050 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5010, #5020), (#5030, #5040)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.399263134732287, 0.600736865267713), (0.0567577928220638, 0.153465183479068), .UNSPECIFIED.);
#5060 = ADVANCED_FACE ('', (#5000), #5050, .T.);
#5070 = CLOSED_SHELL ('', (#410, #1080, #1540, #1820, #2170, #2390, #2550, #2970, #3380, #3680, #4040, #4160, #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, 11., #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, 11., #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, 11., #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, 11., #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, 11., #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.6, 10.1, 20.));
#6130 = VERTEX_POINT ('', #6120);
#6140 = CARTESIAN_POINT ('', (15.6, 6.5, 20.));
#6150 = VERTEX_POINT ('', #6140);
#6160 = CARTESIAN_POINT ('', (15.6, 10.1, 20.));
#6170 = CARTESIAN_POINT ('', (15.6, 6.5, 20.));
#6180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6160, #6170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6190 = EDGE_CURVE ('', #6130, #6150, #6180, .T.);
#6200 = ORIENTED_EDGE ('', *, *, #6190, .T.);
#6210 = CARTESIAN_POINT ('', (15.8069798993405, 6.30012183459618, 20.));
#6220 = VERTEX_POINT ('', #6210);
#6230 = CARTESIAN_POINT ('', (15.6, 6.5, 20.));
#6240 = CARTESIAN_POINT ('', (15.6, 6.41510503675808, 20.));
#6250 = CARTESIAN_POINT ('', (15.6610683259082, 6.35613203993227, 20.));
#6260 = CARTESIAN_POINT ('', (15.7221366518164, 6.29715904310646, 20.));
#6270 = CARTESIAN_POINT ('', (15.8069798993405, 6.30012183459618, 20.));
#6280 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6230, #6240, #6250, #6260, #6270), .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 ('')
);
#6290 = EDGE_CURVE ('', #6150, #6220, #6280, .T.);
#6300 = ORIENTED_EDGE ('', *, *, #6290, .T.);
#6310 = CARTESIAN_POINT ('', (19.6, 6.43249632709167, 20.));
#6320 = VERTEX_POINT ('', #6310);
#6330 = CARTESIAN_POINT ('', (15.8069798993405, 6.30012183459618, 20.));
#6340 = CARTESIAN_POINT ('', (19.6, 6.43249632709167, 20.));
#6350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6330, #6340), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6360 = EDGE_CURVE ('', #6220, #6320, #6350, .T.);
#6370 = ORIENTED_EDGE ('', *, *, #6360, .T.);
#6380 = CARTESIAN_POINT ('', (19.6, 6.8, 20.));
#6390 = VERTEX_POINT ('', #6380);
#6400 = CARTESIAN_POINT ('', (19.6, 6.43249632709167, 20.));
#6410 = CARTESIAN_POINT ('', (19.6, 6.8, 20.));
#6420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6400, #6410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6430 = EDGE_CURVE ('', #6320, #6390, #6420, .T.);
#6440 = ORIENTED_EDGE ('', *, *, #6430, .T.);
#6450 = CARTESIAN_POINT ('', (33.6, 6.8, 20.));
#6460 = VERTEX_POINT ('', #6450);
#6470 = CARTESIAN_POINT ('', (19.6, 6.8, 20.));
#6480 = CARTESIAN_POINT ('', (33.6, 6.8, 20.));
#6490 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6470, #6480), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6500 = EDGE_CURVE ('', #6390, #6460, #6490, .T.);
#6510 = ORIENTED_EDGE ('', *, *, #6500, .T.);
#6520 = CARTESIAN_POINT ('', (33.6, 6.43249632709167, 20.));
#6530 = VERTEX_POINT ('', #6520);
#6540 = CARTESIAN_POINT ('', (33.6, 6.8, 20.));
#6550 = CARTESIAN_POINT ('', (33.6, 6.43249632709167, 20.));
#6560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6540, #6550), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6570 = EDGE_CURVE ('', #6460, #6530, #6560, .T.);
#6580 = ORIENTED_EDGE ('', *, *, #6570, .T.);
#6590 = CARTESIAN_POINT ('', (37.3930201006595, 6.30012183459618, 20.));
#6600 = VERTEX_POINT ('', #6590);
#6610 = CARTESIAN_POINT ('', (33.6, 6.43249632709167, 20.));
#6620 = CARTESIAN_POINT ('', (37.3930201006595, 6.30012183459618, 20.));
#6630 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6610, #6620), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6640 = EDGE_CURVE ('', #6530, #6600, #6630, .T.);
#6650 = ORIENTED_EDGE ('', *, *, #6640, .T.);
#6660 = CARTESIAN_POINT ('', (37.6, 6.5, 20.));
#6670 = VERTEX_POINT ('', #6660);
#6680 = CARTESIAN_POINT ('', (37.3930201006595, 6.30012183459618, 20.));
#6690 = CARTESIAN_POINT ('', (37.4778633481836, 6.29715904310646, 20.));
#6700 = CARTESIAN_POINT ('', (37.5389316740918, 6.35613203993227, 20.));
#6710 = CARTESIAN_POINT ('', (37.6, 6.41510503675808, 20.));
#6720 = CARTESIAN_POINT ('', (37.6, 6.5, 20.));
#6730 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6680, #6690, #6700, #6710, #6720), .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 ('')
);
#6740 = EDGE_CURVE ('', #6600, #6670, #6730, .T.);
#6750 = ORIENTED_EDGE ('', *, *, #6740, .T.);
#6760 = CARTESIAN_POINT ('', (37.6, 10.1, 20.));
#6770 = VERTEX_POINT ('', #6760);
#6780 = CARTESIAN_POINT ('', (37.6, 6.5, 20.));
#6790 = CARTESIAN_POINT ('', (37.6, 10.1, 20.));
#6800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6780, #6790), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6810 = EDGE_CURVE ('', #6670, #6770, #6800, .T.);
#6820 = ORIENTED_EDGE ('', *, *, #6810, .T.);
#6830 = CARTESIAN_POINT ('', (37.3930201006595, 10.2998781654038, 20.));
#6840 = VERTEX_POINT ('', #6830);
#6850 = CARTESIAN_POINT ('', (37.6, 10.1, 20.));
#6860 = CARTESIAN_POINT ('', (37.6, 10.1848949632419, 20.));
#6870 = CARTESIAN_POINT ('', (37.5389316740918, 10.2438679600677, 20.));
#6880 = CARTESIAN_POINT ('', (37.4778633481836, 10.3028409568935, 20.));
#6890 = CARTESIAN_POINT ('', (37.3930201006595, 10.2998781654038, 20.));
#6900 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6850, #6860, #6870, #6880, #6890), .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 ('')
);
#6910 = EDGE_CURVE ('', #6770, #6840, #6900, .T.);
#6920 = ORIENTED_EDGE ('', *, *, #6910, .T.);
#6930 = CARTESIAN_POINT ('', (33.6, 10.1675036729083, 20.));
#6940 = VERTEX_POINT ('', #6930);
#6950 = CARTESIAN_POINT ('', (37.3930201006595, 10.2998781654038, 20.));
#6960 = CARTESIAN_POINT ('', (33.6, 10.1675036729083, 20.));
#6970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6950, #6960), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6980 = EDGE_CURVE ('', #6840, #6940, #6970, .T.);
#6990 = ORIENTED_EDGE ('', *, *, #6980, .T.);
#7000 = CARTESIAN_POINT ('', (33.6, 9.8, 20.));
#7010 = VERTEX_POINT ('', #7000);
#7020 = CARTESIAN_POINT ('', (33.6, 10.1675036729083, 20.));
#7030 = CARTESIAN_POINT ('', (33.6, 9.8, 20.));
#7040 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7020, #7030), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7050 = EDGE_CURVE ('', #6940, #7010, #7040, .T.);
#7060 = ORIENTED_EDGE ('', *, *, #7050, .T.);
#7070 = CARTESIAN_POINT ('', (19.6, 9.8, 20.));
#7080 = VERTEX_POINT ('', #7070);
#7090 = CARTESIAN_POINT ('', (33.6, 9.8, 20.));
#7100 = CARTESIAN_POINT ('', (19.6, 9.8, 20.));
#7110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7090, #7100), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7120 = EDGE_CURVE ('', #7010, #7080, #7110, .T.);
#7130 = ORIENTED_EDGE ('', *, *, #7120, .T.);
#7140 = CARTESIAN_POINT ('', (19.6, 10.1675036729083, 20.));
#7150 = VERTEX_POINT ('', #7140);
#7160 = CARTESIAN_POINT ('', (19.6, 9.8, 20.));
#7170 = CARTESIAN_POINT ('', (19.6, 10.1675036729083, 20.));
#7180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7160, #7170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7190 = EDGE_CURVE ('', #7080, #7150, #7180, .T.);
#7200 = ORIENTED_EDGE ('', *, *, #7190, .T.);
#7210 = CARTESIAN_POINT ('', (15.8069798993405, 10.2998781654038, 20.));
#7220 = VERTEX_POINT ('', #7210);
#7230 = CARTESIAN_POINT ('', (19.6, 10.1675036729083, 20.));
#7240 = CARTESIAN_POINT ('', (15.8069798993405, 10.2998781654038, 20.));
#7250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7230, #7240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7260 = EDGE_CURVE ('', #7150, #7220, #7250, .T.);
#7270 = ORIENTED_EDGE ('', *, *, #7260, .T.);
#7280 = CARTESIAN_POINT ('', (15.8069798993405, 10.2998781654038, 20.));
#7290 = CARTESIAN_POINT ('', (15.7221366518164, 10.3028409568935, 20.));
#7300 = CARTESIAN_POINT ('', (15.6610683259082, 10.2438679600677, 20.));
#7310 = CARTESIAN_POINT ('', (15.6, 10.1848949632419, 20.));
#7320 = CARTESIAN_POINT ('', (15.6, 10.1, 20.));
#7330 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7280, #7290, #7300, #7310, #7320), .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 ('')
);
#7340 = EDGE_CURVE ('', #7220, #6130, #7330, .T.);
#7350 = ORIENTED_EDGE ('', *, *, #7340, .T.);
#7360 = EDGE_LOOP ('', (#6200, #6300, #6370, #6440, #6510, #6580, #6650, #6750, #6820, #6920, #6990, #7060, #7130, #7200, #7270, #7350));
#7370 = FACE_OUTER_BOUND ('', #7360, .T.);
#7380 = CARTESIAN_POINT ('', (37.6, 6.29989456260068, 20.));
#7390 = CARTESIAN_POINT ('', (15.6, 6.29989456260068, 20.));
#7400 = CARTESIAN_POINT ('', (37.6, 10.3001054373993, 20.));
#7410 = CARTESIAN_POINT ('', (15.6, 10.3001054373993, 20.));
#7420 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7380, #7390), (#7400, #7410)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.418687849151989, 0.581312150848011), (0.0528067457827992, 0.947193254217201), .UNSPECIFIED.);
#7430 = ADVANCED_FACE ('', (#7370), #7420, .T.);
#7440 = CARTESIAN_POINT ('', (37.6, 10.1, 19.95));
#7450 = VERTEX_POINT ('', #7440);
#7460 = CARTESIAN_POINT ('', (37.6, 6.5, 19.95));
#7470 = VERTEX_POINT ('', #7460);
#7480 = CARTESIAN_POINT ('', (37.6, 10.1, 19.95));
#7490 = CARTESIAN_POINT ('', (37.6, 6.5, 19.95));
#7500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7480, #7490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7510 = EDGE_CURVE ('', #7450, #7470, #7500, .T.);
#7520 = ORIENTED_EDGE ('', *, *, #7510, .F.);
#7530 = CARTESIAN_POINT ('', (37.6, 10.1, 20.));
#7540 = CARTESIAN_POINT ('', (37.6, 10.1, 19.95));
#7550 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7530, #7540), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.05), .UNSPECIFIED.);
#7560 = EDGE_CURVE ('', #6770, #7450, #7550, .T.);
#7570 = ORIENTED_EDGE ('', *, *, #7560, .F.);
#7580 = ORIENTED_EDGE ('', *, *, #6810, .F.);
#7590 = CARTESIAN_POINT ('', (37.6, 6.5, 20.));
#7600 = CARTESIAN_POINT ('', (37.6, 6.5, 19.95));
#7610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7590, #7600), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0499999999999996), .UNSPECIFIED.);
#7620 = EDGE_CURVE ('', #6670, #7470, #7610, .T.);
#7630 = ORIENTED_EDGE ('', *, *, #7620, .T.);
#7640 = EDGE_LOOP ('', (#7520, #7570, #7580, #7630));
#7650 = FACE_OUTER_BOUND ('', #7640, .T.);
#7660 = CARTESIAN_POINT ('', (37.6, 6.5, 20.));
#7670 = CARTESIAN_POINT ('', (37.6, 10.1, 20.));
#7680 = CARTESIAN_POINT ('', (37.6, 6.5, 19.95));
#7690 = CARTESIAN_POINT ('', (37.6, 10.1, 19.95));
#7700 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7660, #7670), (#7680, #7690)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.01), (0., 1.), .UNSPECIFIED.);
#7710 = ADVANCED_FACE ('', (#7650), #7700, .T.);
#7720 = CARTESIAN_POINT ('', (15.6, 6.5, 19.95));
#7730 = VERTEX_POINT ('', #7720);
#7740 = CARTESIAN_POINT ('', (15.6, 10.1, 19.95));
#7750 = VERTEX_POINT ('', #7740);
#7760 = CARTESIAN_POINT ('', (15.6, 6.5, 19.95));
#7770 = CARTESIAN_POINT ('', (15.6, 10.1, 19.95));
#7780 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7760, #7770), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7790 = EDGE_CURVE ('', #7730, #7750, #7780, .T.);
#7800 = ORIENTED_EDGE ('', *, *, #7790, .F.);
#7810 = CARTESIAN_POINT ('', (15.6, 6.5, 20.));
#7820 = CARTESIAN_POINT ('', (15.6, 6.5, 19.95));
#7830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7810, #7820), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.05), .UNSPECIFIED.);
#7840 = EDGE_CURVE ('', #6150, #7730, #7830, .T.);
#7850 = ORIENTED_EDGE ('', *, *, #7840, .F.);
#7860 = ORIENTED_EDGE ('', *, *, #6190, .F.);
#7870 = CARTESIAN_POINT ('', (15.6, 10.1, 20.));
#7880 = CARTESIAN_POINT ('', (15.6, 10.1, 19.95));
#7890 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7870, #7880), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.05), .UNSPECIFIED.);
#7900 = EDGE_CURVE ('', #6130, #7750, #7890, .T.);
#7910 = ORIENTED_EDGE ('', *, *, #7900, .T.);
#7920 = EDGE_LOOP ('', (#7800, #7850, #7860, #7910));
#7930 = FACE_OUTER_BOUND ('', #7920, .T.);
#7940 = CARTESIAN_POINT ('', (15.6, 10.1, 20.));
#7950 = CARTESIAN_POINT ('', (15.6, 6.5, 20.));
#7960 = CARTESIAN_POINT ('', (15.6, 10.1, 19.95));
#7970 = CARTESIAN_POINT ('', (15.6, 6.5, 19.95));
#7980 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7940, #7950), (#7960, #7970)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.01), (0., 1.), .UNSPECIFIED.);
#7990 = ADVANCED_FACE ('', (#7930), #7980, .T.);
#8000 = CARTESIAN_POINT ('', (33.6, 6.8, 16.45));
#8010 = VERTEX_POINT ('', #8000);
#8020 = CARTESIAN_POINT ('', (19.6, 6.8, 16.45));
#8030 = VERTEX_POINT ('', #8020);
#8040 = CARTESIAN_POINT ('', (33.6, 6.8, 16.45));
#8050 = CARTESIAN_POINT ('', (19.6, 6.8, 16.45));
#8060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8040, #8050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8070 = EDGE_CURVE ('', #8010, #8030, #8060, .T.);
#8080 = ORIENTED_EDGE ('', *, *, #8070, .F.);
#8090 = CARTESIAN_POINT ('', (33.6, 6.8, 20.));
#8100 = CARTESIAN_POINT ('', (33.6, 6.8, 16.45));
#8110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8090, #8100), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.71), .UNSPECIFIED.);
#8120 = EDGE_CURVE ('', #6460, #8010, #8110, .T.);
#8130 = ORIENTED_EDGE ('', *, *, #8120, .F.);
#8140 = ORIENTED_EDGE ('', *, *, #6500, .F.);
#8150 = CARTESIAN_POINT ('', (19.6, 6.8, 20.));
#8160 = CARTESIAN_POINT ('', (19.6, 6.8, 16.45));
#8170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8150, #8160), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.71), .UNSPECIFIED.);
#8180 = EDGE_CURVE ('', #6390, #8030, #8170, .T.);
#8190 = ORIENTED_EDGE ('', *, *, #8180, .T.);
#8200 = EDGE_LOOP ('', (#8080, #8130, #8140, #8190));
#8210 = FACE_OUTER_BOUND ('', #8200, .T.);
#8220 = CARTESIAN_POINT ('', (19.6, 6.8, 20.));
#8230 = CARTESIAN_POINT ('', (33.6, 6.8, 20.));
#8240 = CARTESIAN_POINT ('', (19.6, 6.8, 16.45));
#8250 = CARTESIAN_POINT ('', (33.6, 6.8, 16.45));
#8260 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8220, #8230), (#8240, #8250)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.71), (0., 1.), .UNSPECIFIED.);
#8270 = ADVANCED_FACE ('', (#8210), #8260, .T.);
#8280 = CARTESIAN_POINT ('', (19.6, 9.8, 16.45));
#8290 = VERTEX_POINT ('', #8280);
#8300 = CARTESIAN_POINT ('', (33.6, 9.8, 16.45));
#8310 = VERTEX_POINT ('', #8300);
#8320 = CARTESIAN_POINT ('', (19.6, 9.8, 16.45));
#8330 = CARTESIAN_POINT ('', (33.6, 9.8, 16.45));
#8340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8320, #8330), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8350 = EDGE_CURVE ('', #8290, #8310, #8340, .T.);
#8360 = ORIENTED_EDGE ('', *, *, #8350, .F.);
#8370 = CARTESIAN_POINT ('', (19.6, 9.8, 20.));
#8380 = CARTESIAN_POINT ('', (19.6, 9.8, 16.45));
#8390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8370, #8380), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.71), .UNSPECIFIED.);
#8400 = EDGE_CURVE ('', #7080, #8290, #8390, .T.);
#8410 = ORIENTED_EDGE ('', *, *, #8400, .F.);
#8420 = ORIENTED_EDGE ('', *, *, #7120, .F.);
#8430 = CARTESIAN_POINT ('', (33.6, 9.8, 20.));
#8440 = CARTESIAN_POINT ('', (33.6, 9.8, 16.45));
#8450 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8430, #8440), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.71), .UNSPECIFIED.);
#8460 = EDGE_CURVE ('', #7010, #8310, #8450, .T.);
#8470 = ORIENTED_EDGE ('', *, *, #8460, .T.);
#8480 = EDGE_LOOP ('', (#8360, #8410, #8420, #8470));
#8490 = FACE_OUTER_BOUND ('', #8480, .T.);
#8500 = CARTESIAN_POINT ('', (33.6, 9.8, 20.));
#8510 = CARTESIAN_POINT ('', (19.6, 9.8, 20.));
#8520 = CARTESIAN_POINT ('', (33.6, 9.8, 16.45));
#8530 = CARTESIAN_POINT ('', (19.6, 9.8, 16.45));
#8540 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8500, #8510), (#8520, #8530)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.71), (0., 1.), .UNSPECIFIED.);
#8550 = ADVANCED_FACE ('', (#8490), #8540, .T.);
#8560 = CARTESIAN_POINT ('', (16.428345914953, 8.25, 15.));
#8570 = VERTEX_POINT ('', #8560);
#8580 = CARTESIAN_POINT ('', (36.771654085047, 8.25, 15.));
#8590 = VERTEX_POINT ('', #8580);
#8600 = CARTESIAN_POINT ('', (16.428345914953, 8.25, 15.));
#8610 = CARTESIAN_POINT ('', (36.771654085047, 8.25, 15.));
#8620 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8600, #8610), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8630 = EDGE_CURVE ('', #8570, #8590, #8620, .T.);
#8640 = ORIENTED_EDGE ('', *, *, #8630, .F.);
#8650 = CARTESIAN_POINT ('', (16.428345914953, 8.35, 15.));
#8660 = VERTEX_POINT ('', #8650);
#8670 = CARTESIAN_POINT ('', (16.428345914953, 8.35, 15.));
#8680 = CARTESIAN_POINT ('', (16.428345914953, 8.25, 15.));
#8690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8670, #8680), .UNSPECIFIED., .F., .U., (2, 2), (0.497727272727273, 0.502272727272727), .UNSPECIFIED.);
#8700 = EDGE_CURVE ('', #8660, #8570, #8690, .T.);
#8710 = ORIENTED_EDGE ('', *, *, #8700, .F.);
#8720 = CARTESIAN_POINT ('', (36.771654085047, 8.35, 15.));
#8730 = VERTEX_POINT ('', #8720);
#8740 = CARTESIAN_POINT ('', (36.771654085047, 8.35, 15.));
#8750 = CARTESIAN_POINT ('', (16.428345914953, 8.35, 15.));
#8760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8740, #8750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8770 = EDGE_CURVE ('', #8730, #8660, #8760, .T.);
#8780 = ORIENTED_EDGE ('', *, *, #8770, .F.);
#8790 = CARTESIAN_POINT ('', (36.771654085047, 8.25, 15.));
#8800 = CARTESIAN_POINT ('', (36.771654085047, 8.35, 15.));
#8810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8790, #8800), .UNSPECIFIED., .F., .U., (2, 2), (0.497727272727273, 0.502272727272727), .UNSPECIFIED.);
#8820 = EDGE_CURVE ('', #8590, #8730, #8810, .T.);
#8830 = ORIENTED_EDGE ('', *, *, #8820, .F.);
#8840 = EDGE_LOOP ('', (#8640, #8710, #8780, #8830));
#8850 = FACE_OUTER_BOUND ('', #8840, .T.);
#8860 = CARTESIAN_POINT ('', (36.771654085047, 8.25, 15.));
#8870 = CARTESIAN_POINT ('', (36.771654085047, 8.35, 15.));
#8880 = CARTESIAN_POINT ('', (16.428345914953, 8.25, 15.));
#8890 = CARTESIAN_POINT ('', (16.428345914953, 8.35, 15.));
#8900 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8860, #8870), (#8880, #8890)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0864822644487416, 0.913517735551258), (0.497967303389922, 0.502032696610078), .UNSPECIFIED.);
#8910 = ADVANCED_FACE ('', (#8850), #8900, .T.);
#8920 = CARTESIAN_POINT ('', (37.0390097181952, 6.65234573480258, 16.5976542651974));
#8930 = VERTEX_POINT ('', #8920);
#8940 = CARTESIAN_POINT ('', (37.5272426169932, 6.34569732205588, 19.5152190233784));
#8950 = VERTEX_POINT ('', #8940);
#8960 = CARTESIAN_POINT ('', (37.0390097181952, 6.65234573480258, 16.5976542651974));
#8970 = CARTESIAN_POINT ('', (37.5272426169932, 6.34569732205588, 19.5152190233784));
#8980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8960, #8970), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.870305448478094), .UNSPECIFIED.);
#8990 = EDGE_CURVE ('', #8930, #8950, #8980, .T.);
#9000 = ORIENTED_EDGE ('', *, *, #8990, .F.);
#9010 = CARTESIAN_POINT ('', (36.771654085047, 8.25, 15.));
#9020 = CARTESIAN_POINT ('', (37.0390097181952, 6.65234573480258, 16.5976542651974));
#9030 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9010, #9020), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9040 = EDGE_CURVE ('', #8590, #8930, #9030, .T.);
#9050 = ORIENTED_EDGE ('', *, *, #9040, .F.);
#9060 = ORIENTED_EDGE ('', *, *, #8820, .T.);
#9070 = CARTESIAN_POINT ('', (37.0390097181952, 9.94765426519742, 16.5976542651974));
#9080 = VERTEX_POINT ('', #9070);
#9090 = CARTESIAN_POINT ('', (37.0390097181952, 9.94765426519742, 16.5976542651974));
#9100 = CARTESIAN_POINT ('', (36.771654085047, 8.35, 15.));
#9110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9090, #9100), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9120 = EDGE_CURVE ('', #9080, #8730, #9110, .T.);
#9130 = ORIENTED_EDGE ('', *, *, #9120, .F.);
#9140 = CARTESIAN_POINT ('', (37.5272426169932, 10.2543026779441, 19.5152190233784));
#9150 = VERTEX_POINT ('', #9140);
#9160 = CARTESIAN_POINT ('', (37.5272426169932, 10.2543026779441, 19.5152190233784));
#9170 = CARTESIAN_POINT ('', (37.0390097181952, 9.94765426519742, 16.5976542651974));
#9180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9160, #9170), .UNSPECIFIED., .F., .U., (2, 2), (0.129694551521905, 1.), .UNSPECIFIED.);
#9190 = EDGE_CURVE ('', #9150, #9080, #9180, .T.);
#9200 = ORIENTED_EDGE ('', *, *, #9190, .F.);
#9210 = CARTESIAN_POINT ('', (37.6, 10.1, 19.95));
#9220 = CARTESIAN_POINT ('', (37.6, 10.1039026508398, 19.95));
#9230 = CARTESIAN_POINT ('', (37.5998799657243, 10.1078494198793, 19.949282703453));
#9240 = CARTESIAN_POINT ('', (37.5996671974331, 10.1115330078125, 19.9480112502805));
#9250 = CARTESIAN_POINT ('', (37.5994553354335, 10.1152009054149, 19.946745212893));
#9260 = CARTESIAN_POINT ('', (37.5991510750655, 10.1186926788877, 19.9449270246286));
#9270 = CARTESIAN_POINT ('', (37.5987947388229, 10.1219237728578, 19.9427976432083));
#9280 = CARTESIAN_POINT ('', (37.5984404074892, 10.1251366872315, 19.9406802426511));
#9290 = CARTESIAN_POINT ('', (37.5980311774098, 10.1281372317699, 19.9382347801255));
#9300 = CARTESIAN_POINT ('', (37.5975922190024, 10.1309405072635, 19.9356116681169));
#9310 = CARTESIAN_POINT ('', (37.5971544247933, 10.1337363479554, 19.9329955130835));
#9320 = CARTESIAN_POINT ('', (37.5966844806745, 10.1363530952734, 19.930187237765));
#9330 = CARTESIAN_POINT ('', (37.5961960184638, 10.1388216735723, 19.927268302693));
#9340 = CARTESIAN_POINT ('', (37.5950947834051, 10.1443870682094, 19.9206875814725));
#9350 = CARTESIAN_POINT ('', (37.5938951764911, 10.1492523282247, 19.9135190132246));
#9360 = CARTESIAN_POINT ('', (37.5926613617402, 10.1536805336452, 19.9061460270033));
#9370 = CARTESIAN_POINT ('', (37.5914313657001, 10.1580950335752, 19.8987958604985));
#9380 = CARTESIAN_POINT ('', (37.5901592197792, 10.1620877862587, 19.8911938162383));
#9390 = CARTESIAN_POINT ('', (37.5888672787179, 10.1657962843154, 19.883473480883));
#9400 = CARTESIAN_POINT ('', (37.5869300863999, 10.1713569667348, 19.871897276062));
#9410 = CARTESIAN_POINT ('', (37.5849431045683, 10.1762937172387, 19.8600235408404));
#9420 = CARTESIAN_POINT ('', (37.5829349988121, 10.1808380245282, 19.8480235740223));
#9430 = CARTESIAN_POINT ('', (37.5809283255683, 10.1853790900678, 19.8360321675607));
#9440 = CARTESIAN_POINT ('', (37.5788968920829, 10.1895269237033, 19.8238927997304));
#9450 = CARTESIAN_POINT ('', (37.5768523394355, 10.19339834065, 19.8116750348789));
#9460 = CARTESIAN_POINT ('', (37.5737858909567, 10.1992047455975, 19.7933506613338));
#9470 = CARTESIAN_POINT ('', (37.5706869943576, 10.2043958753291, 19.7748323854675));
#9480 = CARTESIAN_POINT ('', (37.5675726621609, 10.2091760179541, 19.7562218701076));
#9490 = CARTESIAN_POINT ('', (37.564458999219, 10.2139551333498, 19.7376153540566));
#9500 = CARTESIAN_POINT ('', (37.5613276358411, 10.2183205338088, 19.718903064371));
#9510 = CARTESIAN_POINT ('', (37.558186304945, 10.2223809336778, 19.700131211145));
#9520 = CARTESIAN_POINT ('', (37.5534747786642, 10.2284709258899, 19.6719762402942));
#9530 = CARTESIAN_POINT ('', (37.5487386034301, 10.2338791974765, 19.6436739731064));
#9540 = CARTESIAN_POINT ('', (37.5439901490434, 10.2388050322519, 19.6152983285965));
#9550 = CARTESIAN_POINT ('', (37.5408242670497, 10.2420891770176, 19.5963797637966));
#9560 = CARTESIAN_POINT ('', (37.5376521058521, 10.2451561674831, 19.5774236759545));
#9570 = CARTESIAN_POINT ('', (37.5344756570139, 10.2480415403552, 19.5584419661818));
#9580 = CARTESIAN_POINT ('', (37.53206714601, 10.2502293458786, 19.544049271953));
#9590 = CARTESIAN_POINT ('', (37.5296557972331, 10.2523126971279, 19.5296396198609));
#9600 = CARTESIAN_POINT ('', (37.5272426169932, 10.2543026779441, 19.5152190233784));
#9610 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#9210, #9220, #9230, #9240, #9250, #9260, #9270, #9280, #9290, #9300, #9310, #9320, #9330, #9340, #9350, #9360, #9370, #9380, #9390, #9400, #9410, #9420, #9430, #9440, #9450, #9460, #9470, #9480, #9490, #9500, #9510, #9520, #9530, #9540, #9550, #9560, #9570, #9580, #9590, #9600), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.0117079525194938, 0.0233660347355376, 0.0349585233068595, 0.0465202664680894, 0.0725861455273247, 0.0985713495454136, 0.137534688595633, 0.17647023256292, 0.234866302589907, 0.29324982358603, 0.380816368669411, 0.439198597023238, 0.483466345880148), .UNSPECIFIED.);
#9620 = EDGE_CURVE ('', #7450, #9150, #9610, .T.);
#9630 = ORIENTED_EDGE ('', *, *, #9620, .F.);
#9640 = ORIENTED_EDGE ('', *, *, #7510, .T.);
#9650 = CARTESIAN_POINT ('', (37.6, 6.5, 19.95));
#9660 = CARTESIAN_POINT ('', (37.6, 6.49609734916017, 19.95));
#9670 = CARTESIAN_POINT ('', (37.5998799657243, 6.49215058012072, 19.949282703453));
#9680 = CARTESIAN_POINT ('', (37.5996671974331, 6.4884669921875, 19.9480112502805));
#9690 = CARTESIAN_POINT ('', (37.5994553354335, 6.48479909458508, 19.946745212893));
#9700 = CARTESIAN_POINT ('', (37.5991510750656, 6.48130732111235, 19.9449270246286));
#9710 = CARTESIAN_POINT ('', (37.5987947388229, 6.47807622714221, 19.9427976432083));
#9720 = CARTESIAN_POINT ('', (37.5984404074892, 6.4748633127685, 19.9406802426511));
#9730 = CARTESIAN_POINT ('', (37.5980311774098, 6.47186276823012, 19.9382347801255));
#9740 = CARTESIAN_POINT ('', (37.5975922190024, 6.46905949273646, 19.9356116681169));
#9750 = CARTESIAN_POINT ('', (37.5971544247933, 6.46626365204459, 19.9329955130835));
#9760 = CARTESIAN_POINT ('', (37.5966844806745, 6.46364690472657, 19.930187237765));
#9770 = CARTESIAN_POINT ('', (37.5961960184638, 6.46117832642774, 19.927268302693));
#9780 = CARTESIAN_POINT ('', (37.5950947834051, 6.45561293179058, 19.9206875814725));
#9790 = CARTESIAN_POINT ('', (37.5938951764911, 6.45074767177526, 19.9135190132246));
#9800 = CARTESIAN_POINT ('', (37.5926613617402, 6.44631946635484, 19.9061460270034));
#9810 = CARTESIAN_POINT ('', (37.5914313657001, 6.44190496642479, 19.8987958604985));
#9820 = CARTESIAN_POINT ('', (37.5901592197792, 6.43791221374127, 19.8911938162383));
#9830 = CARTESIAN_POINT ('', (37.5888672787179, 6.43420371568462, 19.883473480883));
#9840 = CARTESIAN_POINT ('', (37.5869300863999, 6.4286430332652, 19.871897276062));
#9850 = CARTESIAN_POINT ('', (37.5849431045683, 6.4237062827613, 19.8600235408404));
#9860 = CARTESIAN_POINT ('', (37.5829349988121, 6.41916197547182, 19.8480235740223));
#9870 = CARTESIAN_POINT ('', (37.5809283255683, 6.41462090993218, 19.8360321675607));
#9880 = CARTESIAN_POINT ('', (37.5788968920829, 6.41047307629674, 19.8238927997304));
#9890 = CARTESIAN_POINT ('', (37.5768523394355, 6.40660165935, 19.8116750348789));
#9900 = CARTESIAN_POINT ('', (37.5737858909567, 6.40079525440248, 19.7933506613338));
#9910 = CARTESIAN_POINT ('', (37.5706869943576, 6.39560412467091, 19.7748323854675));
#9920 = CARTESIAN_POINT ('', (37.5675726621609, 6.39082398204589, 19.7562218701076));
#9930 = CARTESIAN_POINT ('', (37.564458999219, 6.38604486665023, 19.7376153540566));
#9940 = CARTESIAN_POINT ('', (37.5613276358411, 6.38167946619117, 19.718903064371));
#9950 = CARTESIAN_POINT ('', (37.558186304945, 6.3776190663222, 19.700131211145));
#9960 = CARTESIAN_POINT ('', (37.5534747786642, 6.37152907411009, 19.6719762402942));
#9970 = CARTESIAN_POINT ('', (37.5487386034301, 6.36612080252346, 19.6436739731064));
#9980 = CARTESIAN_POINT ('', (37.5439901490434, 6.3611949677481, 19.6152983285965));
#9990 = CARTESIAN_POINT ('', (37.5408242670497, 6.35791082298238, 19.5963797637966));
#10000 = CARTESIAN_POINT ('', (37.5376521058521, 6.35484383251693, 19.5774236759545));
#10010 = CARTESIAN_POINT ('', (37.5344756570139, 6.35195845964481, 19.5584419661818));
#10020 = CARTESIAN_POINT ('', (37.53206714601, 6.3497706541214, 19.544049271953));
#10030 = CARTESIAN_POINT ('', (37.5296557972331, 6.34768730287209, 19.5296396198609));
#10040 = CARTESIAN_POINT ('', (37.5272426169932, 6.34569732205588, 19.5152190233784));
#10050 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#9650, #9660, #9670, #9680, #9690, #9700, #9710, #9720, #9730, #9740, #9750, #9760, #9770, #9780, #9790, #9800, #9810, #9820, #9830, #9840, #9850, #9860, #9870, #9880, #9890, #9900, #9910, #9920, #9930, #9940, #9950, #9960, #9970, #9980, #9990, #10000, #10010, #10020, #10030, #10040), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.011707952519494, 0.0233660347355371, 0.0349585233068578, 0.0465202664680862, 0.0725861455273218, 0.0985713495454107, 0.13753468859563, 0.176470232562916, 0.234866302589902, 0.293249823586027, 0.380816368669407, 0.439198597023234, 0.483466345880149), .UNSPECIFIED.);
#10060 = EDGE_CURVE ('', #7470, #8950, #10050, .T.);
#10070 = ORIENTED_EDGE ('', *, *, #10060, .T.);
#10080 = EDGE_LOOP ('', (#9000, #9050, #9060, #9130, #9200, #9630, #9640, #10070));
#10090 = FACE_OUTER_BOUND ('', #10080, .T.);
#10100 = CARTESIAN_POINT ('', (36.771654085047, 6.34569732205588, 15.));
#10110 = CARTESIAN_POINT ('', (37.6, 6.34569732205588, 19.95));
#10120 = CARTESIAN_POINT ('', (36.771654085047, 10.2543026779441, 15.));
#10130 = CARTESIAN_POINT ('', (37.6, 10.2543026779441, 19.95));
#10140 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10100, #10110), (#10120, #10130)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.411168060093449, 0.588831939906551), (0.01, 1.), .UNSPECIFIED.);
#10150 = ADVANCED_FACE ('', (#10090), #10140, .T.);
#10160 = CARTESIAN_POINT ('', (33.6, 10.1675036729083, 18.689381655204));
#10170 = VERTEX_POINT ('', #10160);
#10180 = CARTESIAN_POINT ('', (37.3930201006595, 10.2998781654038, 19.9488408212488));
#10190 = VERTEX_POINT ('', #10180);
#10200 = CARTESIAN_POINT ('', (33.6, 10.1675036729083, 18.689381655204));
#10210 = CARTESIAN_POINT ('', (37.3930201006595, 10.2998781654038, 19.9488408212488));
#10220 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10200, #10210), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10230 = EDGE_CURVE ('', #10170, #10190, #10220, .T.);
#10240 = ORIENTED_EDGE ('', *, *, #10230, .F.);
#10250 = CARTESIAN_POINT ('', (33.6, 10.1675036729083, 20.));
#10260 = CARTESIAN_POINT ('', (33.6, 10.1675036729083, 18.689381655204));
#10270 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10250, #10260), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.262123668959202), .UNSPECIFIED.);
#10280 = EDGE_CURVE ('', #6940, #10170, #10270, .T.);
#10290 = ORIENTED_EDGE ('', *, *, #10280, .F.);
#10300 = ORIENTED_EDGE ('', *, *, #6980, .F.);
#10310 = CARTESIAN_POINT ('', (37.3930201006595, 10.2998781654038, 20.));
#10320 = CARTESIAN_POINT ('', (37.3930201006595, 10.2998781654038, 19.9488408212488));
#10330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10310, #10320), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0511591787512007), .UNSPECIFIED.);
#10340 = EDGE_CURVE ('', #6840, #10190, #10330, .T.);
#10350 = ORIENTED_EDGE ('', *, *, #10340, .T.);
#10360 = EDGE_LOOP ('', (#10240, #10290, #10300, #10350));
#10370 = FACE_OUTER_BOUND ('', #10360, .T.);
#10380 = CARTESIAN_POINT ('', (37.3930201006595, 10.2998781654038, 20.));
#10390 = CARTESIAN_POINT ('', (33.6, 10.1675036729083, 20.));
#10400 = CARTESIAN_POINT ('', (37.3930201006595, 10.2998781654038, 18.689381655204));
#10410 = CARTESIAN_POINT ('', (33.6, 10.1675036729083, 18.689381655204));
#10420 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10380, #10390), (#10400, #10410)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.262123668959202), (0., 1.), .UNSPECIFIED.);
#10430 = ADVANCED_FACE ('', (#10370), #10420, .T.);
#10440 = CARTESIAN_POINT ('', (37.3930201006595, 6.30012183459618, 19.9488408212488));
#10450 = VERTEX_POINT ('', #10440);
#10460 = CARTESIAN_POINT ('', (37.3930201006595, 6.30012183459618, 20.));
#10470 = CARTESIAN_POINT ('', (37.3930201006595, 6.30012183459618, 19.9488408212488));
#10480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10460, #10470), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0102318357502395), .UNSPECIFIED.);
#10490 = EDGE_CURVE ('', #6600, #10450, #10480, .T.);
#10500 = ORIENTED_EDGE ('', *, *, #10490, .T.);
#10510 = CARTESIAN_POINT ('', (37.5272426974758, 6.3456973209894, 19.5152190335253));
#10520 = CARTESIAN_POINT ('', (37.5267764610676, 6.34531288649768, 19.5188766833883));
#10530 = CARTESIAN_POINT ('', (37.5263060008504, 6.34492850912507, 19.5225337897993));
#10540 = CARTESIAN_POINT ('', (37.5258312029623, 6.34454419161363, 19.5261903266692));
#10550 = CARTESIAN_POINT ('', (37.5220924892283, 6.34151794993402, 19.5549830929356));
#10560 = CARTESIAN_POINT ('', (37.5180860637212, 6.338495089815, 19.583743685802));
#10570 = CARTESIAN_POINT ('', (37.5137212318322, 6.33547802143615, 19.6124491739418));
#10580 = CARTESIAN_POINT ('', (37.5093561679509, 6.33246079269902, 19.6411561877886));
#10590 = CARTESIAN_POINT ('', (37.5046362035422, 6.32944868209313, 19.6698145058694));
#10600 = CARTESIAN_POINT ('', (37.4993944977713, 6.32644674070251, 19.69837607033));
#10610 = CARTESIAN_POINT ('', (37.4958999053884, 6.32444537664735, 19.7174177773564));
#10620 = CARTESIAN_POINT ('', (37.4921723420914, 6.32244816111444, 19.7364200138302));
#10630 = CARTESIAN_POINT ('', (37.4881181048401, 6.32045836249106, 19.7553516831234));
#10640 = CARTESIAN_POINT ('', (37.4840632183455, 6.31846824522242, 19.774286384124));
#10650 = CARTESIAN_POINT ('', (37.4796858125827, 6.31648458963777, 19.793159606308));
#10660 = CARTESIAN_POINT ('', (37.4748016549923, 6.31451492671805, 19.8118996971782));
#10670 = CARTESIAN_POINT ('', (37.4715453222201, 6.31320172627418, 19.8243939648025));
#10680 = CARTESIAN_POINT ('', (37.468062355945, 6.31189416128379, 19.8368346146687));
#10690 = CARTESIAN_POINT ('', (37.4642400352387, 6.31059773530253, 19.8491692839424));
#10700 = CARTESIAN_POINT ('', (37.4604154031148, 6.30930052535203, 19.861511412185));
#10710 = CARTESIAN_POINT ('', (37.4562572462076, 6.30801252020702, 19.8737659625536));
#10720 = CARTESIAN_POINT ('', (37.4515166646173, 6.30674878197872, 19.8857896286323));
#10730 = CARTESIAN_POINT ('', (37.4483548758719, 6.30590591634478, 19.8938089594596));
#10740 = CARTESIAN_POINT ('', (37.444930844469, 6.30507233990898, 19.9017399094703));
#10750 = CARTESIAN_POINT ('', (37.4410686188988, 6.30426199004345, 19.9094498734263));
#10760 = CARTESIAN_POINT ('', (37.4384926100351, 6.30372150673964, 19.9145922285602));
#10770 = CARTESIAN_POINT ('', (37.4357165158994, 6.3031901468234, 19.9196477804597));
#10780 = CARTESIAN_POINT ('', (37.4326298857148, 6.30267972593209, 19.9245041108447));
#10790 = CARTESIAN_POINT ('', (37.4295290495372, 6.30216695586537, 19.9293827921406));
#10800 = CARTESIAN_POINT ('', (37.4261020513273, 6.30167033048274, 19.9341078670293));
#10810 = CARTESIAN_POINT ('', (37.4221297331609, 6.30122808319516, 19.9383155689022));
#10820 = CARTESIAN_POINT ('', (37.4209584916034, 6.30109768618762, 19.9395562135557));
#10830 = CARTESIAN_POINT ('', (37.4197359701016, 6.3009719995647, 19.9407520418936));
#10840 = CARTESIAN_POINT ('', (37.4184555821187, 6.30085334175858, 19.9418809955064));
#10850 = CARTESIAN_POINT ('', (37.4171739318527, 6.3007345669725, 19.9430110621091));
#10860 = CARTESIAN_POINT ('', (37.415830317882, 6.30062247899024, 19.9440775080229));
#10870 = CARTESIAN_POINT ('', (37.414421603627, 6.30052063427795, 19.9450464957334));
#10880 = CARTESIAN_POINT ('', (37.4130104976562, 6.30041861665365, 19.9460171285917));
#10890 = CARTESIAN_POINT ('', (37.4115262305202, 6.30032639522033, 19.9468945569178));
#10900 = CARTESIAN_POINT ('', (37.4099781814899, 6.30024906534847, 19.9476303015019));
#10910 = CARTESIAN_POINT ('', (37.4084263558303, 6.30017154682221, 19.9483678410126));
#10920 = CARTESIAN_POINT ('', (37.4067961959096, 6.30010851984071, 19.948967502685));
#10930 = CARTESIAN_POINT ('', (37.40512578125, 6.3000656948731, 19.9493749550346));
#10940 = CARTESIAN_POINT ('', (37.403453942884, 6.30002283340546, 19.9497827546587));
#10950 = CARTESIAN_POINT ('', (37.4017213893113, 6.3, 19.95));
#10960 = CARTESIAN_POINT ('', (37.4, 6.3, 19.95));
#10970 = CARTESIAN_POINT ('', (37.3976411506136, 6.3, 19.95));
#10980 = CARTESIAN_POINT ('', (37.395257400655, 6.30004370635875, 19.9495841617739));
#10990 = CARTESIAN_POINT ('', (37.3930201006595, 6.30012183459618, 19.9488408212488));
#11000 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#10510, #10520, #10530, #10540, #10550, #10560, #10570, #10580, #10590, #10600, #10610, #10620, #10630, #10640, #10650, #10660, #10670, #10680, #10690, #10700, #10710, #10720, #10730, #10740, #10750, #10760, #10770, #10780, #10790, #10800, #10810, #10820, #10830, #10840, #10850, #10860, #10870, #10880, #10890, #10900, #10910, #10920, #10930, #10940, #10950, #10960, #10970, #10980, #10990), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.808962472411667, 0.820084097912774, 0.907659411644739, 0.995239380036271, 1.05362806185326, 1.11202609400224, 1.15096083810029, 1.18991912665188, 1.21590283264577, 1.23323332143622, 1.25064357255346, 1.25577700063769, 1.260915489562, 1.26606270261583, 1.27122247284019, 1.27638664077397, 1.2834631889332), .UNSPECIFIED.);
#11010 = EDGE_CURVE ('', #8950, #10450, #11000, .T.);
#11020 = ORIENTED_EDGE ('', *, *, #11010, .F.);
#11030 = ORIENTED_EDGE ('', *, *, #10060, .F.);
#11040 = ORIENTED_EDGE ('', *, *, #7620, .F.);
#11050 = ORIENTED_EDGE ('', *, *, #6740, .F.);
#11060 = EDGE_LOOP ('', (#10500, #11020, #11030, #11040, #11050));
#11070 = FACE_OUTER_BOUND ('', #11060, .T.);
#11080 = CARTESIAN_POINT ('', (37.3930201006595, 6.30012183459618, 20.));
#11090 = CARTESIAN_POINT ('', (37.4778633481836, 6.29715904310646, 20.));
#11100 = CARTESIAN_POINT ('', (37.5389316740918, 6.35613203993227, 20.));
#11110 = CARTESIAN_POINT ('', (37.6, 6.41510503675808, 20.));
#11120 = CARTESIAN_POINT ('', (37.6, 6.5, 20.));
#11130 = CARTESIAN_POINT ('', (37.3930201006595, 6.30012183459618, 19.5152190233784));
#11140 = CARTESIAN_POINT ('', (37.4778633481836, 6.29715904310646, 19.5152190233784));
#11150 = CARTESIAN_POINT ('', (37.5389316740918, 6.35613203993227, 19.5152190233784));
#11160 = CARTESIAN_POINT ('', (37.6, 6.41510503675808, 19.5152190233784));
#11170 = CARTESIAN_POINT ('', (37.6, 6.5, 19.5152190233784));
#11180 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#11080, #11090, #11100, #11110, #11120), (#11130, #11140, #11150, #11160, #11170)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 3), (0., 0.484780976621589), (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 ('')
);
#11190 = ADVANCED_FACE ('', (#11070), #11180, .T.);
#11200 = CARTESIAN_POINT ('', (33.6, 6.43249632709167, 18.689381655204));
#11210 = VERTEX_POINT ('', #11200);
#11220 = CARTESIAN_POINT ('', (37.3930201006595, 6.30012183459618, 19.9488408212488));
#11230 = CARTESIAN_POINT ('', (33.6, 6.43249632709167, 18.689381655204));
#11240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11220, #11230), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11250 = EDGE_CURVE ('', #10450, #11210, #11240, .T.);
#11260 = ORIENTED_EDGE ('', *, *, #11250, .F.);
#11270 = ORIENTED_EDGE ('', *, *, #10490, .F.);
#11280 = ORIENTED_EDGE ('', *, *, #6640, .F.);
#11290 = CARTESIAN_POINT ('', (33.6, 6.43249632709167, 20.));
#11300 = CARTESIAN_POINT ('', (33.6, 6.43249632709167, 18.689381655204));
#11310 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11290, #11300), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.262123668959201), .UNSPECIFIED.);
#11320 = EDGE_CURVE ('', #6530, #11210, #11310, .T.);
#11330 = ORIENTED_EDGE ('', *, *, #11320, .T.);
#11340 = EDGE_LOOP ('', (#11260, #11270, #11280, #11330));
#11350 = FACE_OUTER_BOUND ('', #11340, .T.);
#11360 = CARTESIAN_POINT ('', (33.6, 6.43249632709167, 20.));
#11370 = CARTESIAN_POINT ('', (37.3930201006595, 6.30012183459618, 20.));
#11380 = CARTESIAN_POINT ('', (33.6, 6.43249632709167, 18.689381655204));
#11390 = CARTESIAN_POINT ('', (37.3930201006595, 6.30012183459618, 18.689381655204));
#11400 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11360, #11370), (#11380, #11390)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.262123668959201), (0., 1.), .UNSPECIFIED.);
#11410 = ADVANCED_FACE ('', (#11350), #11400, .T.);
#11420 = CARTESIAN_POINT ('', (33.6, 6.65234573480258, 16.5976542651974));
#11430 = VERTEX_POINT ('', #11420);
#11440 = CARTESIAN_POINT ('', (33.6, 6.43249632709167, 18.689381655204));
#11450 = CARTESIAN_POINT ('', (33.6, 6.65234573480258, 16.5976542651974));
#11460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11440, #11450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11470 = EDGE_CURVE ('', #11210, #11430, #11460, .T.);
#11480 = ORIENTED_EDGE ('', *, *, #11470, .F.);
#11490 = ORIENTED_EDGE ('', *, *, #11320, .F.);
#11500 = ORIENTED_EDGE ('', *, *, #6570, .F.);
#11510 = ORIENTED_EDGE ('', *, *, #8120, .T.);
#11520 = CARTESIAN_POINT ('', (33.6, 6.65234573480258, 16.5976542651974));
#11530 = CARTESIAN_POINT ('', (33.6, 6.8, 16.45));
#11540 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11520, #11530), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11550 = EDGE_CURVE ('', #11430, #8010, #11540, .T.);
#11560 = ORIENTED_EDGE ('', *, *, #11550, .F.);
#11570 = EDGE_LOOP ('', (#11480, #11490, #11500, #11510, #11560));
#11580 = FACE_OUTER_BOUND ('', #11570, .T.);
#11590 = CARTESIAN_POINT ('', (33.6, 6.8, 20.));
#11600 = CARTESIAN_POINT ('', (33.6, 6.43249632709167, 20.));
#11610 = CARTESIAN_POINT ('', (33.6, 6.8, 16.45));
#11620 = CARTESIAN_POINT ('', (33.6, 6.43249632709167, 16.45));
#11630 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11590, #11600), (#11610, #11620)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.71), (0., 1.), .UNSPECIFIED.);
#11640 = ADVANCED_FACE ('', (#11580), #11630, .T.);
#11650 = CARTESIAN_POINT ('', (37.3930201006595, 10.2998781654038, 19.9488408212488));
#11660 = CARTESIAN_POINT ('', (37.395257400655, 10.2999562936412, 19.9495841617739));
#11670 = CARTESIAN_POINT ('', (37.3976411506136, 10.3, 19.95));
#11680 = CARTESIAN_POINT ('', (37.4, 10.3, 19.95));
#11690 = CARTESIAN_POINT ('', (37.4017213893112, 10.3, 19.95));
#11700 = CARTESIAN_POINT ('', (37.403453942884, 10.2999771665945, 19.9497827546588));
#11710 = CARTESIAN_POINT ('', (37.40512578125, 10.2999343051269, 19.9493749550346));
#11720 = CARTESIAN_POINT ('', (37.4067961959095, 10.2998914801593, 19.948967502685));
#11730 = CARTESIAN_POINT ('', (37.4084263558302, 10.2998284531778, 19.9483678410127));
#11740 = CARTESIAN_POINT ('', (37.4099781814898, 10.2997509346515, 19.9476303015019));
#11750 = CARTESIAN_POINT ('', (37.4115262305202, 10.2996736047797, 19.9468945569178));
#11760 = CARTESIAN_POINT ('', (37.4130104976561, 10.2995813833464, 19.9460171285918));
#11770 = CARTESIAN_POINT ('', (37.414421603627, 10.2994793657221, 19.9450464957334));
#11780 = CARTESIAN_POINT ('', (37.415830317882, 10.2993775210098, 19.944077508023));
#11790 = CARTESIAN_POINT ('', (37.4171739318526, 10.2992654330275, 19.9430110621092));
#11800 = CARTESIAN_POINT ('', (37.4184555821186, 10.2991466582414, 19.9418809955065));
#11810 = CARTESIAN_POINT ('', (37.4197359701016, 10.2990280004353, 19.9407520418937));
#11820 = CARTESIAN_POINT ('', (37.4209584916034, 10.2989023138124, 19.9395562135557));
#11830 = CARTESIAN_POINT ('', (37.4221297331609, 10.2987719168048, 19.9383155689022));
#11840 = CARTESIAN_POINT ('', (37.4261020513273, 10.2983296695173, 19.9341078670294));
#11850 = CARTESIAN_POINT ('', (37.4295290495371, 10.2978330441346, 19.9293827921407));
#11860 = CARTESIAN_POINT ('', (37.4326298857148, 10.2973202740679, 19.9245041108448));
#11870 = CARTESIAN_POINT ('', (37.4357165158993, 10.2968098531766, 19.9196477804597));
#11880 = CARTESIAN_POINT ('', (37.438492610035, 10.2962784932604, 19.9145922285603));
#11890 = CARTESIAN_POINT ('', (37.4410686188987, 10.2957380099566, 19.9094498734264));
#11900 = CARTESIAN_POINT ('', (37.444930844469, 10.294927660091, 19.9017399094703));
#11910 = CARTESIAN_POINT ('', (37.4483548758719, 10.2940940836552, 19.8938089594597));
#11920 = CARTESIAN_POINT ('', (37.4515166646173, 10.2932512180213, 19.8857896286324));
#11930 = CARTESIAN_POINT ('', (37.4562572462076, 10.291987479793, 19.8737659625537));
#11940 = CARTESIAN_POINT ('', (37.4604154031148, 10.290699474648, 19.8615114121851));
#11950 = CARTESIAN_POINT ('', (37.4642400352387, 10.2894022646975, 19.8491692839425));
#11960 = CARTESIAN_POINT ('', (37.4680623559449, 10.2881058387162, 19.8368346146688));
#11970 = CARTESIAN_POINT ('', (37.4715453222201, 10.2867982737258, 19.8243939648026));
#11980 = CARTESIAN_POINT ('', (37.4748016549923, 10.285485073282, 19.8118996971783));
#11990 = CARTESIAN_POINT ('', (37.4796858125827, 10.2835154103622, 19.7931596063081));
#12000 = CARTESIAN_POINT ('', (37.4840632183454, 10.2815317547776, 19.7742863841241));
#12010 = CARTESIAN_POINT ('', (37.4881181048401, 10.2795416375089, 19.7553516831235));
#12020 = CARTESIAN_POINT ('', (37.4921723420913, 10.2775518388856, 19.7364200138302));
#12030 = CARTESIAN_POINT ('', (37.4958999053884, 10.2755546233527, 19.7174177773565));
#12040 = CARTESIAN_POINT ('', (37.4993944977713, 10.2735532592975, 19.6983760703301));
#12050 = CARTESIAN_POINT ('', (37.5046362035422, 10.2705513179069, 19.6698145058695));
#12060 = CARTESIAN_POINT ('', (37.5093561679509, 10.267539207301, 19.6411561877886));
#12070 = CARTESIAN_POINT ('', (37.5137212318322, 10.2645219785639, 19.6124491739418));
#12080 = CARTESIAN_POINT ('', (37.5180860637212, 10.261504910185, 19.5837436858021));
#12090 = CARTESIAN_POINT ('', (37.5220924892283, 10.258482050066, 19.5549830929357));
#12100 = CARTESIAN_POINT ('', (37.5258312029623, 10.2554558083864, 19.5261903266693));
#12110 = CARTESIAN_POINT ('', (37.5263060008503, 10.2550714908749, 19.5225337897993));
#12120 = CARTESIAN_POINT ('', (37.5267764610676, 10.2546871135023, 19.5188766833883));
#12130 = CARTESIAN_POINT ('', (37.5272426974758, 10.2543026790106, 19.5152190335253));
#12140 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#11650, #11660, #11670, #11680, #11690, #11700, #11710, #11720, #11730, #11740, #11750, #11760, #11770, #11780, #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), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.00707654815918546, 0.0122407160929161, 0.0174004863172783, 0.0225476993711067, 0.0276861882954147, 0.0328196163796526, 0.0502298674968866, 0.0675603562873375, 0.0935440622812307, 0.132502350832824, 0.171437094930868, 0.229835127079846, 0.28822380889684, 0.375803777288372, 0.463379091020336, 0.474500716521533), .UNSPECIFIED.);
#12150 = EDGE_CURVE ('', #10190, #9150, #12140, .T.);
#12160 = ORIENTED_EDGE ('', *, *, #12150, .F.);
#12170 = ORIENTED_EDGE ('', *, *, #10340, .F.);
#12180 = ORIENTED_EDGE ('', *, *, #6910, .F.);
#12190 = ORIENTED_EDGE ('', *, *, #7560, .T.);
#12200 = ORIENTED_EDGE ('', *, *, #9620, .T.);
#12210 = EDGE_LOOP ('', (#12160, #12170, #12180, #12190, #12200));
#12220 = FACE_OUTER_BOUND ('', #12210, .T.);
#12230 = CARTESIAN_POINT ('', (37.6, 10.1, 20.));
#12240 = CARTESIAN_POINT ('', (37.6, 10.1848949632419, 20.));
#12250 = CARTESIAN_POINT ('', (37.5389316740918, 10.2438679600677, 20.));
#12260 = CARTESIAN_POINT ('', (37.4778633481836, 10.3028409568935, 20.));
#12270 = CARTESIAN_POINT ('', (37.3930201006595, 10.2998781654038, 20.));
#12280 = CARTESIAN_POINT ('', (37.6, 10.1, 19.5152190233784));
#12290 = CARTESIAN_POINT ('', (37.6, 10.1848949632419, 19.5152190233784));
#12300 = CARTESIAN_POINT ('', (37.5389316740918, 10.2438679600677, 19.5152190233784));
#12310 = CARTESIAN_POINT ('', (37.4778633481836, 10.3028409568935, 19.5152190233784));
#12320 = CARTESIAN_POINT ('', (37.3930201006595, 10.2998781654038, 19.5152190233784));
#12330 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#12230, #12240, #12250, #12260, #12270), (#12280, #12290, #12300, #12310, #12320)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 3), (0., 0.484780976621589), (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 ('')
);
#12340 = ADVANCED_FACE ('', (#12220), #12330, .T.);
#12350 = CARTESIAN_POINT ('', (33.6, 9.94765426519742, 16.5976542651974));
#12360 = VERTEX_POINT ('', #12350);
#12370 = CARTESIAN_POINT ('', (33.6, 9.8, 16.45));
#12380 = CARTESIAN_POINT ('', (33.6, 9.94765426519742, 16.5976542651974));
#12390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12370, #12380), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12400 = EDGE_CURVE ('', #8310, #12360, #12390, .T.);
#12410 = ORIENTED_EDGE ('', *, *, #12400, .F.);
#12420 = ORIENTED_EDGE ('', *, *, #8460, .F.);
#12430 = ORIENTED_EDGE ('', *, *, #7050, .F.);
#12440 = ORIENTED_EDGE ('', *, *, #10280, .T.);
#12450 = CARTESIAN_POINT ('', (33.6, 9.94765426519742, 16.5976542651974));
#12460 = CARTESIAN_POINT ('', (33.6, 10.1675036729083, 18.689381655204));
#12470 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12450, #12460), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12480 = EDGE_CURVE ('', #12360, #10170, #12470, .T.);
#12490 = ORIENTED_EDGE ('', *, *, #12480, .F.);
#12500 = EDGE_LOOP ('', (#12410, #12420, #12430, #12440, #12490));
#12510 = FACE_OUTER_BOUND ('', #12500, .T.);
#12520 = CARTESIAN_POINT ('', (33.6, 10.1675036729083, 20.));
#12530 = CARTESIAN_POINT ('', (33.6, 9.8, 20.));
#12540 = CARTESIAN_POINT ('', (33.6, 10.1675036729083, 16.45));
#12550 = CARTESIAN_POINT ('', (33.6, 9.8, 16.45));
#12560 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12520, #12530), (#12540, #12550)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.71), (0., 1.), .UNSPECIFIED.);
#12570 = ADVANCED_FACE ('', (#12510), #12560, .T.);
#12580 = CARTESIAN_POINT ('', (15.6727573830068, 6.34569732205588, 19.5152190233784));
#12590 = VERTEX_POINT ('', #12580);
#12600 = CARTESIAN_POINT ('', (16.1609902818048, 6.65234573480258, 16.5976542651974));
#12610 = VERTEX_POINT ('', #12600);
#12620 = CARTESIAN_POINT ('', (15.6727573830068, 6.34569732205588, 19.5152190233784));
#12630 = CARTESIAN_POINT ('', (16.1609902818048, 6.65234573480258, 16.5976542651974));
#12640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12620, #12630), .UNSPECIFIED., .F., .U., (2, 2), (0.129694551521905, 1.), .UNSPECIFIED.);
#12650 = EDGE_CURVE ('', #12590, #12610, #12640, .T.);
#12660 = ORIENTED_EDGE ('', *, *, #12650, .F.);
#12670 = CARTESIAN_POINT ('', (15.6, 6.5, 19.95));
#12680 = CARTESIAN_POINT ('', (15.6, 6.49609734916017, 19.95));
#12690 = CARTESIAN_POINT ('', (15.6001200342757, 6.49215058012072, 19.949282703453));
#12700 = CARTESIAN_POINT ('', (15.6003328025669, 6.4884669921875, 19.9480112502804));
#12710 = CARTESIAN_POINT ('', (15.6005446645665, 6.48479909458508, 19.946745212893));
#12720 = CARTESIAN_POINT ('', (15.6008489249345, 6.48130732111234, 19.9449270246286));
#12730 = CARTESIAN_POINT ('', (15.6012052611771, 6.4780762271422, 19.9427976432083));
#12740 = CARTESIAN_POINT ('', (15.6015595925108, 6.47486331276849, 19.9406802426511));
#12750 = CARTESIAN_POINT ('', (15.6019688225902, 6.47186276823012, 19.9382347801255));
#12760 = CARTESIAN_POINT ('', (15.6024077809976, 6.46905949273646, 19.9356116681169));
#12770 = CARTESIAN_POINT ('', (15.6028455752067, 6.46626365204459, 19.9329955130834));
#12780 = CARTESIAN_POINT ('', (15.6033155193255, 6.46364690472657, 19.9301872377649));
#12790 = CARTESIAN_POINT ('', (15.6038039815362, 6.46117832642773, 19.927268302693));
#12800 = CARTESIAN_POINT ('', (15.6049052165949, 6.45561293179058, 19.9206875814725));
#12810 = CARTESIAN_POINT ('', (15.6061048235089, 6.45074767177525, 19.9135190132246));
#12820 = CARTESIAN_POINT ('', (15.6073386382598, 6.44631946635482, 19.9061460270033));
#12830 = CARTESIAN_POINT ('', (15.6085686343, 6.44190496642477, 19.8987958604985));
#12840 = CARTESIAN_POINT ('', (15.6098407802208, 6.43791221374125, 19.8911938162383));
#12850 = CARTESIAN_POINT ('', (15.6111327212821, 6.4342037156846, 19.883473480883));
#12860 = CARTESIAN_POINT ('', (15.6130699136002, 6.42864303326518, 19.871897276062));
#12870 = CARTESIAN_POINT ('', (15.6150568954317, 6.4237062827613, 19.8600235408404));
#12880 = CARTESIAN_POINT ('', (15.6170650011879, 6.41916197547182, 19.8480235740223));
#12890 = CARTESIAN_POINT ('', (15.6190716744317, 6.41462090993218, 19.8360321675607));
#12900 = CARTESIAN_POINT ('', (15.6211031079171, 6.41047307629673, 19.8238927997304));
#12910 = CARTESIAN_POINT ('', (15.6231476605645, 6.40660165934998, 19.8116750348789));
#12920 = CARTESIAN_POINT ('', (15.6262141090433, 6.40079525440246, 19.7933506613338));
#12930 = CARTESIAN_POINT ('', (15.6293130056424, 6.3956041246709, 19.7748323854675));
#12940 = CARTESIAN_POINT ('', (15.6324273378391, 6.39082398204588, 19.7562218701075));
#12950 = CARTESIAN_POINT ('', (15.635541000781, 6.38604486665022, 19.7376153540566));
#12960 = CARTESIAN_POINT ('', (15.6386723641589, 6.38167946619117, 19.718903064371));
#12970 = CARTESIAN_POINT ('', (15.641813695055, 6.3776190663222, 19.700131211145));
#12980 = CARTESIAN_POINT ('', (15.6465252213358, 6.37152907411009, 19.6719762402942));
#12990 = CARTESIAN_POINT ('', (15.6512613965699, 6.36612080252346, 19.6436739731064));
#13000 = CARTESIAN_POINT ('', (15.6560098509566, 6.3611949677481, 19.6152983285965));
#13010 = CARTESIAN_POINT ('', (15.6591757329503, 6.35791082298238, 19.5963797637966));
#13020 = CARTESIAN_POINT ('', (15.6623478941479, 6.35484383251693, 19.5774236759545));
#13030 = CARTESIAN_POINT ('', (15.6655243429861, 6.35195845964481, 19.5584419661818));
#13040 = CARTESIAN_POINT ('', (15.66793285399, 6.3497706541214, 19.544049271953));
#13050 = CARTESIAN_POINT ('', (15.6703442027669, 6.34768730287209, 19.5296396198609));
#13060 = CARTESIAN_POINT ('', (15.6727573830068, 6.34569732205588, 19.5152190233784));
#13070 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#12670, #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), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.0117079525194999, 0.0233660347355414, 0.0349585233068635, 0.0465202664680928, 0.0725861455273265, 0.098571349545416, 0.137534688595636, 0.176470232562924, 0.23486630258991, 0.293249823586034, 0.380816368669414, 0.439198597023241, 0.483466345880141), .UNSPECIFIED.);
#13080 = EDGE_CURVE ('', #7730, #12590, #13070, .T.);
#13090 = ORIENTED_EDGE ('', *, *, #13080, .F.);
#13100 = ORIENTED_EDGE ('', *, *, #7790, .T.);
#13110 = CARTESIAN_POINT ('', (15.6727573830068, 10.2543026779441, 19.5152190233784));
#13120 = VERTEX_POINT ('', #13110);
#13130 = CARTESIAN_POINT ('', (15.6, 10.1, 19.95));
#13140 = CARTESIAN_POINT ('', (15.6, 10.1039026508398, 19.95));
#13150 = CARTESIAN_POINT ('', (15.6001200342757, 10.1078494198793, 19.9492827034531));
#13160 = CARTESIAN_POINT ('', (15.6003328025669, 10.1115330078125, 19.9480112502805));
#13170 = CARTESIAN_POINT ('', (15.6005446645665, 10.1152009054149, 19.946745212893));
#13180 = CARTESIAN_POINT ('', (15.6008489249345, 10.1186926788876, 19.9449270246286));
#13190 = CARTESIAN_POINT ('', (15.6012052611771, 10.1219237728578, 19.9427976432083));
#13200 = CARTESIAN_POINT ('', (15.6015595925108, 10.1251366872315, 19.9406802426511));
#13210 = CARTESIAN_POINT ('', (15.6019688225902, 10.1281372317699, 19.9382347801255));
#13220 = CARTESIAN_POINT ('', (15.6024077809976, 10.1309405072635, 19.9356116681169));
#13230 = CARTESIAN_POINT ('', (15.6028455752067, 10.1337363479554, 19.9329955130835));
#13240 = CARTESIAN_POINT ('', (15.6033155193255, 10.1363530952734, 19.930187237765));
#13250 = CARTESIAN_POINT ('', (15.6038039815362, 10.1388216735723, 19.927268302693));
#13260 = CARTESIAN_POINT ('', (15.6049052165949, 10.1443870682094, 19.9206875814725));
#13270 = CARTESIAN_POINT ('', (15.6061048235089, 10.1492523282248, 19.9135190132246));
#13280 = CARTESIAN_POINT ('', (15.6073386382598, 10.1536805336452, 19.9061460270034));
#13290 = CARTESIAN_POINT ('', (15.6085686343, 10.1580950335752, 19.8987958604985));
#13300 = CARTESIAN_POINT ('', (15.6098407802208, 10.1620877862587, 19.8911938162383));
#13310 = CARTESIAN_POINT ('', (15.6111327212821, 10.1657962843154, 19.883473480883));
#13320 = CARTESIAN_POINT ('', (15.6130699136002, 10.1713569667348, 19.871897276062));
#13330 = CARTESIAN_POINT ('', (15.6150568954317, 10.1762937172387, 19.8600235408404));
#13340 = CARTESIAN_POINT ('', (15.6170650011879, 10.1808380245282, 19.8480235740223));
#13350 = CARTESIAN_POINT ('', (15.6190716744317, 10.1853790900678, 19.8360321675607));
#13360 = CARTESIAN_POINT ('', (15.6211031079171, 10.1895269237033, 19.8238927997304));
#13370 = CARTESIAN_POINT ('', (15.6231476605645, 10.19339834065, 19.8116750348789));
#13380 = CARTESIAN_POINT ('', (15.6262141090433, 10.1992047455975, 19.7933506613338));
#13390 = CARTESIAN_POINT ('', (15.6293130056424, 10.2043958753291, 19.7748323854675));
#13400 = CARTESIAN_POINT ('', (15.6324273378391, 10.2091760179541, 19.7562218701076));
#13410 = CARTESIAN_POINT ('', (15.635541000781, 10.2139551333498, 19.7376153540566));
#13420 = CARTESIAN_POINT ('', (15.6386723641589, 10.2183205338088, 19.718903064371));
#13430 = CARTESIAN_POINT ('', (15.641813695055, 10.2223809336778, 19.700131211145));
#13440 = CARTESIAN_POINT ('', (15.6465252213358, 10.2284709258899, 19.6719762402942));
#13450 = CARTESIAN_POINT ('', (15.6512613965699, 10.2338791974765, 19.6436739731064));
#13460 = CARTESIAN_POINT ('', (15.6560098509566, 10.2388050322519, 19.6152983285965));
#13470 = CARTESIAN_POINT ('', (15.6591757329503, 10.2420891770176, 19.5963797637966));
#13480 = CARTESIAN_POINT ('', (15.6623478941479, 10.2451561674831, 19.5774236759545));
#13490 = CARTESIAN_POINT ('', (15.6655243429861, 10.2480415403552, 19.5584419661818));
#13500 = CARTESIAN_POINT ('', (15.66793285399, 10.2502293458786, 19.544049271953));
#13510 = CARTESIAN_POINT ('', (15.6703442027669, 10.2523126971279, 19.5296396198609));
#13520 = CARTESIAN_POINT ('', (15.6727573830068, 10.2543026779441, 19.5152190233784));
#13530 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#13130, #13140, #13150, #13160, #13170, #13180, #13190, #13200, #13210, #13220, #13230, #13240, #13250, #13260, #13270, #13280, #13290, #13300, #13310, #13320, #13330, #13340, #13350, #13360, #13370, #13380, #13390, #13400, #13410, #13420, #13430, #13440, #13450, #13460, #13470, #13480, #13490, #13500, #13510, #13520), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.0117079525194898, 0.0233660347355391, 0.0349585233068592, 0.0465202664680877, 0.0725861455273219, 0.09857134954541, 0.13753468859563, 0.176470232562916, 0.234866302589903, 0.293249823586026, 0.380816368669405, 0.439198597023234, 0.48346634588016), .UNSPECIFIED.);
#13540 = EDGE_CURVE ('', #7750, #13120, #13530, .T.);
#13550 = ORIENTED_EDGE ('', *, *, #13540, .T.);
#13560 = CARTESIAN_POINT ('', (16.1609902818048, 9.94765426519742, 16.5976542651974));
#13570 = VERTEX_POINT ('', #13560);
#13580 = CARTESIAN_POINT ('', (16.1609902818048, 9.94765426519742, 16.5976542651974));
#13590 = CARTESIAN_POINT ('', (15.6727573830068, 10.2543026779441, 19.5152190233784));
#13600 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13580, #13590), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.870305448478092), .UNSPECIFIED.);
#13610 = EDGE_CURVE ('', #13570, #13120, #13600, .T.);
#13620 = ORIENTED_EDGE ('', *, *, #13610, .F.);
#13630 = CARTESIAN_POINT ('', (16.428345914953, 8.35, 15.));
#13640 = CARTESIAN_POINT ('', (16.1609902818048, 9.94765426519742, 16.5976542651974));
#13650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13630, #13640), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13660 = EDGE_CURVE ('', #8660, #13570, #13650, .T.);
#13670 = ORIENTED_EDGE ('', *, *, #13660, .F.);
#13680 = ORIENTED_EDGE ('', *, *, #8700, .T.);
#13690 = CARTESIAN_POINT ('', (16.1609902818048, 6.65234573480258, 16.5976542651974));
#13700 = CARTESIAN_POINT ('', (16.428345914953, 8.25, 15.));
#13710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13690, #13700), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13720 = EDGE_CURVE ('', #12610, #8570, #13710, .T.);
#13730 = ORIENTED_EDGE ('', *, *, #13720, .F.);
#13740 = EDGE_LOOP ('', (#12660, #13090, #13100, #13550, #13620, #13670, #13680, #13730));
#13750 = FACE_OUTER_BOUND ('', #13740, .T.);
#13760 = CARTESIAN_POINT ('', (15.6, 6.34569732205588, 19.95));
#13770 = CARTESIAN_POINT ('', (16.428345914953, 6.34569732205588, 15.));
#13780 = CARTESIAN_POINT ('', (15.6, 10.2543026779441, 19.95));
#13790 = CARTESIAN_POINT ('', (16.428345914953, 10.2543026779441, 15.));
#13800 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13760, #13770), (#13780, #13790)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.411168060093449, 0.588831939906551), (0., 0.99), .UNSPECIFIED.);
#13810 = ADVANCED_FACE ('', (#13750), #13800, .T.);
#13820 = CARTESIAN_POINT ('', (19.6, 6.43249632709167, 18.689381655204));
#13830 = VERTEX_POINT ('', #13820);
#13840 = CARTESIAN_POINT ('', (15.8069798993405, 6.30012183459618, 19.9488408212488));
#13850 = VERTEX_POINT ('', #13840);
#13860 = CARTESIAN_POINT ('', (19.6, 6.43249632709167, 18.689381655204));
#13870 = CARTESIAN_POINT ('', (15.8069798993405, 6.30012183459618, 19.9488408212488));
#13880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13860, #13870), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13890 = EDGE_CURVE ('', #13830, #13850, #13880, .T.);
#13900 = ORIENTED_EDGE ('', *, *, #13890, .F.);
#13910 = CARTESIAN_POINT ('', (19.6, 6.43249632709167, 20.));
#13920 = CARTESIAN_POINT ('', (19.6, 6.43249632709167, 18.689381655204));
#13930 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13910, #13920), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.262123668959201), .UNSPECIFIED.);
#13940 = EDGE_CURVE ('', #6320, #13830, #13930, .T.);
#13950 = ORIENTED_EDGE ('', *, *, #13940, .F.);
#13960 = ORIENTED_EDGE ('', *, *, #6360, .F.);
#13970 = CARTESIAN_POINT ('', (15.8069798993405, 6.30012183459618, 20.));
#13980 = CARTESIAN_POINT ('', (15.8069798993405, 6.30012183459618, 19.9488408212488));
#13990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13970, #13980), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0102318357502394), .UNSPECIFIED.);
#14000 = EDGE_CURVE ('', #6220, #13850, #13990, .T.);
#14010 = ORIENTED_EDGE ('', *, *, #14000, .T.);
#14020 = EDGE_LOOP ('', (#13900, #13950, #13960, #14010));
#14030 = FACE_OUTER_BOUND ('', #14020, .T.);
#14040 = CARTESIAN_POINT ('', (15.8069798993405, 6.30012183459618, 20.));
#14050 = CARTESIAN_POINT ('', (19.6, 6.43249632709167, 20.));
#14060 = CARTESIAN_POINT ('', (15.8069798993405, 6.30012183459618, 18.689381655204));
#14070 = CARTESIAN_POINT ('', (19.6, 6.43249632709167, 18.689381655204));
#14080 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14040, #14050), (#14060, #14070)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.262123668959201), (0., 1.), .UNSPECIFIED.);
#14090 = ADVANCED_FACE ('', (#14030), #14080, .T.);
#14100 = CARTESIAN_POINT ('', (15.8069798993405, 10.2998781654038, 19.9488408212488));
#14110 = VERTEX_POINT ('', #14100);
#14120 = CARTESIAN_POINT ('', (19.6, 10.1675036729083, 18.689381655204));
#14130 = VERTEX_POINT ('', #14120);
#14140 = CARTESIAN_POINT ('', (15.8069798993405, 10.2998781654038, 19.9488408212488));
#14150 = CARTESIAN_POINT ('', (19.6, 10.1675036729083, 18.689381655204));
#14160 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14140, #14150), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14170 = EDGE_CURVE ('', #14110, #14130, #14160, .T.);
#14180 = ORIENTED_EDGE ('', *, *, #14170, .F.);
#14190 = CARTESIAN_POINT ('', (15.8069798993405, 10.2998781654038, 20.));
#14200 = CARTESIAN_POINT ('', (15.8069798993405, 10.2998781654038, 19.9488408212488));
#14210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14190, #14200), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0102318357502395), .UNSPECIFIED.);
#14220 = EDGE_CURVE ('', #7220, #14110, #14210, .T.);
#14230 = ORIENTED_EDGE ('', *, *, #14220, .F.);
#14240 = ORIENTED_EDGE ('', *, *, #7260, .F.);
#14250 = CARTESIAN_POINT ('', (19.6, 10.1675036729083, 20.));
#14260 = CARTESIAN_POINT ('', (19.6, 10.1675036729083, 18.689381655204));
#14270 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14250, #14260), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.262123668959201), .UNSPECIFIED.);
#14280 = EDGE_CURVE ('', #7150, #14130, #14270, .T.);
#14290 = ORIENTED_EDGE ('', *, *, #14280, .T.);
#14300 = EDGE_LOOP ('', (#14180, #14230, #14240, #14290));
#14310 = FACE_OUTER_BOUND ('', #14300, .T.);
#14320 = CARTESIAN_POINT ('', (19.6, 10.1675036729083, 20.));
#14330 = CARTESIAN_POINT ('', (15.8069798993405, 10.2998781654038, 20.));
#14340 = CARTESIAN_POINT ('', (19.6, 10.1675036729083, 18.689381655204));
#14350 = CARTESIAN_POINT ('', (15.8069798993405, 10.2998781654038, 18.689381655204));
#14360 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14320, #14330), (#14340, #14350)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.262123668959201), (0., 1.), .UNSPECIFIED.);
#14370 = ADVANCED_FACE ('', (#14310), #14360, .T.);
#14380 = ORIENTED_EDGE ('', *, *, #14220, .T.);
#14390 = CARTESIAN_POINT ('', (15.6727573025242, 10.2543026790106, 19.5152190335253));
#14400 = CARTESIAN_POINT ('', (15.6732235389324, 10.2546871135023, 19.5188766833883));
#14410 = CARTESIAN_POINT ('', (15.6736939991497, 10.2550714908749, 19.5225337897993));
#14420 = CARTESIAN_POINT ('', (15.6741687970377, 10.2554558083864, 19.5261903266693));
#14430 = CARTESIAN_POINT ('', (15.6779075107717, 10.258482050066, 19.5549830929357));
#14440 = CARTESIAN_POINT ('', (15.6819139362789, 10.261504910185, 19.5837436858021));
#14450 = CARTESIAN_POINT ('', (15.6862787681678, 10.2645219785639, 19.6124491739419));
#14460 = CARTESIAN_POINT ('', (15.6906438320491, 10.267539207301, 19.6411561877886));
#14470 = CARTESIAN_POINT ('', (15.6953637964578, 10.2705513179069, 19.6698145058695));
#14480 = CARTESIAN_POINT ('', (15.7006055022287, 10.2735532592975, 19.6983760703301));
#14490 = CARTESIAN_POINT ('', (15.7041000946116, 10.2755546233527, 19.7174177773565));
#14500 = CARTESIAN_POINT ('', (15.7078276579087, 10.2775518388856, 19.7364200138303));
#14510 = CARTESIAN_POINT ('', (15.7118818951599, 10.2795416375089, 19.7553516831235));
#14520 = CARTESIAN_POINT ('', (15.7159367816546, 10.2815317547776, 19.7742863841241));
#14530 = CARTESIAN_POINT ('', (15.7203141874173, 10.2835154103622, 19.7931596063081));
#14540 = CARTESIAN_POINT ('', (15.7251983450077, 10.285485073282, 19.8118996971783));
#14550 = CARTESIAN_POINT ('', (15.7284546777799, 10.2867982737258, 19.8243939648026));
#14560 = CARTESIAN_POINT ('', (15.7319376440551, 10.2881058387162, 19.8368346146688));
#14570 = CARTESIAN_POINT ('', (15.7357599647613, 10.2894022646975, 19.8491692839425));
#14580 = CARTESIAN_POINT ('', (15.7395845968852, 10.290699474648, 19.8615114121851));
#14590 = CARTESIAN_POINT ('', (15.7437427537924, 10.291987479793, 19.8737659625537));
#14600 = CARTESIAN_POINT ('', (15.7484833353827, 10.2932512180213, 19.8857896286324));
#14610 = CARTESIAN_POINT ('', (15.7516451241281, 10.2940940836552, 19.8938089594597));
#14620 = CARTESIAN_POINT ('', (15.755069155531, 10.294927660091, 19.9017399094703));
#14630 = CARTESIAN_POINT ('', (15.7589313811013, 10.2957380099566, 19.9094498734264));
#14640 = CARTESIAN_POINT ('', (15.761507389965, 10.2962784932604, 19.9145922285603));
#14650 = CARTESIAN_POINT ('', (15.7642834841007, 10.2968098531766, 19.9196477804597));
#14660 = CARTESIAN_POINT ('', (15.7673701142852, 10.2973202740679, 19.9245041108448));
#14670 = CARTESIAN_POINT ('', (15.7704709504629, 10.2978330441346, 19.9293827921407));
#14680 = CARTESIAN_POINT ('', (15.7738979486727, 10.2983296695173, 19.9341078670294));
#14690 = CARTESIAN_POINT ('', (15.7778702668391, 10.2987719168048, 19.9383155689022));
#14700 = CARTESIAN_POINT ('', (15.7790415083966, 10.2989023138124, 19.9395562135557));
#14710 = CARTESIAN_POINT ('', (15.7802640298984, 10.2990280004353, 19.9407520418937));
#14720 = CARTESIAN_POINT ('', (15.7815444178814, 10.2991466582414, 19.9418809955065));
#14730 = CARTESIAN_POINT ('', (15.7828260681474, 10.2992654330275, 19.9430110621092));
#14740 = CARTESIAN_POINT ('', (15.784169682118, 10.2993775210098, 19.944077508023));
#14750 = CARTESIAN_POINT ('', (15.785578396373, 10.2994793657221, 19.9450464957334));
#14760 = CARTESIAN_POINT ('', (15.7869895023439, 10.2995813833464, 19.9460171285918));
#14770 = CARTESIAN_POINT ('', (15.7884737694798, 10.2996736047797, 19.9468945569178));
#14780 = CARTESIAN_POINT ('', (15.7900218185102, 10.2997509346515, 19.9476303015019));
#14790 = CARTESIAN_POINT ('', (15.7915736441698, 10.2998284531778, 19.9483678410127));
#14800 = CARTESIAN_POINT ('', (15.7932038040905, 10.2998914801593, 19.948967502685));
#14810 = CARTESIAN_POINT ('', (15.79487421875, 10.2999343051269, 19.9493749550346));
#14820 = CARTESIAN_POINT ('', (15.796546057116, 10.2999771665945, 19.9497827546588));
#14830 = CARTESIAN_POINT ('', (15.7982786106888, 10.3, 19.95));
#14840 = CARTESIAN_POINT ('', (15.8, 10.3, 19.95));
#14850 = CARTESIAN_POINT ('', (15.8023588493864, 10.3, 19.95));
#14860 = CARTESIAN_POINT ('', (15.804742599345, 10.2999562936412, 19.9495841617739));
#14870 = CARTESIAN_POINT ('', (15.8069798993405, 10.2998781654038, 19.9488408212488));
#14880 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#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, #14680, #14690, #14700, #14710, #14720, #14730, #14740, #14750, #14760, #14770, #14780, #14790, #14800, #14810, #14820, #14830, #14840, #14850, #14860, #14870), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.808962472411655, 0.820084097912867, 0.907659411644832, 0.995239380036364, 1.05362806185336, 1.11202609400234, 1.15096083810038, 1.18991912665197, 1.21590283264587, 1.23323332143632, 1.25064357255354, 1.25577700063777, 1.26091548956208, 1.26606270261591, 1.27122247284028, 1.27638664077401, 1.2834631889332), .UNSPECIFIED.);
#14890 = EDGE_CURVE ('', #13120, #14110, #14880, .T.);
#14900 = ORIENTED_EDGE ('', *, *, #14890, .F.);
#14910 = ORIENTED_EDGE ('', *, *, #13540, .F.);
#14920 = ORIENTED_EDGE ('', *, *, #7900, .F.);
#14930 = ORIENTED_EDGE ('', *, *, #7340, .F.);
#14940 = EDGE_LOOP ('', (#14380, #14900, #14910, #14920, #14930));
#14950 = FACE_OUTER_BOUND ('', #14940, .T.);
#14960 = CARTESIAN_POINT ('', (15.8069798993405, 10.2998781654038, 20.));
#14970 = CARTESIAN_POINT ('', (15.7221366518164, 10.3028409568935, 20.));
#14980 = CARTESIAN_POINT ('', (15.6610683259082, 10.2438679600677, 20.));
#14990 = CARTESIAN_POINT ('', (15.6, 10.1848949632419, 20.));
#15000 = CARTESIAN_POINT ('', (15.6, 10.1, 20.));
#15010 = CARTESIAN_POINT ('', (15.8069798993405, 10.2998781654038, 19.5152190233784));
#15020 = CARTESIAN_POINT ('', (15.7221366518164, 10.3028409568935, 19.5152190233784));
#15030 = CARTESIAN_POINT ('', (15.6610683259082, 10.2438679600677, 19.5152190233784));
#15040 = CARTESIAN_POINT ('', (15.6, 10.1848949632419, 19.5152190233784));
#15050 = CARTESIAN_POINT ('', (15.6, 10.1, 19.5152190233784));
#15060 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#14960, #14970, #14980, #14990, #15000), (#15010, #15020, #15030, #15040, #15050)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 3), (0., 0.484780976621601), (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 ('')
);
#15070 = ADVANCED_FACE ('', (#14950), #15060, .T.);
#15080 = CARTESIAN_POINT ('', (15.8069798993405, 6.30012183459618, 19.9488408212488));
#15090 = CARTESIAN_POINT ('', (15.804742599345, 6.30004370635875, 19.9495841617739));
#15100 = CARTESIAN_POINT ('', (15.8023588493864, 6.3, 19.95));
#15110 = CARTESIAN_POINT ('', (15.8, 6.3, 19.95));
#15120 = CARTESIAN_POINT ('', (15.7982786106887, 6.3, 19.95));
#15130 = CARTESIAN_POINT ('', (15.796546057116, 6.30002283340546, 19.9497827546587));
#15140 = CARTESIAN_POINT ('', (15.79487421875, 6.3000656948731, 19.9493749550346));
#15150 = CARTESIAN_POINT ('', (15.7932038040904, 6.30010851984071, 19.948967502685));
#15160 = CARTESIAN_POINT ('', (15.7915736441698, 6.30017154682221, 19.9483678410126));
#15170 = CARTESIAN_POINT ('', (15.7900218185101, 6.30024906534847, 19.9476303015019));
#15180 = CARTESIAN_POINT ('', (15.7884737694798, 6.30032639522033, 19.9468945569178));
#15190 = CARTESIAN_POINT ('', (15.7869895023438, 6.30041861665365, 19.9460171285917));
#15200 = CARTESIAN_POINT ('', (15.785578396373, 6.30052063427795, 19.9450464957334));
#15210 = CARTESIAN_POINT ('', (15.784169682118, 6.30062247899024, 19.9440775080229));
#15220 = CARTESIAN_POINT ('', (15.7828260681473, 6.3007345669725, 19.9430110621091));
#15230 = CARTESIAN_POINT ('', (15.7815444178814, 6.30085334175858, 19.9418809955064));
#15240 = CARTESIAN_POINT ('', (15.7802640298984, 6.3009719995647, 19.9407520418936));
#15250 = CARTESIAN_POINT ('', (15.7790415083966, 6.30109768618762, 19.9395562135557));
#15260 = CARTESIAN_POINT ('', (15.7778702668391, 6.30122808319516, 19.9383155689022));
#15270 = CARTESIAN_POINT ('', (15.7738979486727, 6.30167033048274, 19.9341078670293));
#15280 = CARTESIAN_POINT ('', (15.7704709504628, 6.30216695586537, 19.9293827921406));
#15290 = CARTESIAN_POINT ('', (15.7673701142852, 6.30267972593209, 19.9245041108447));
#15300 = CARTESIAN_POINT ('', (15.7642834841006, 6.3031901468234, 19.9196477804597));
#15310 = CARTESIAN_POINT ('', (15.7615073899649, 6.30372150673964, 19.9145922285602));
#15320 = CARTESIAN_POINT ('', (15.7589313811012, 6.30426199004345, 19.9094498734263));
#15330 = CARTESIAN_POINT ('', (15.755069155531, 6.30507233990898, 19.9017399094703));
#15340 = CARTESIAN_POINT ('', (15.7516451241281, 6.30590591634478, 19.8938089594596));
#15350 = CARTESIAN_POINT ('', (15.7484833353827, 6.30674878197872, 19.8857896286323));
#15360 = CARTESIAN_POINT ('', (15.7437427537924, 6.30801252020702, 19.8737659625536));
#15370 = CARTESIAN_POINT ('', (15.7395845968852, 6.30930052535203, 19.861511412185));
#15380 = CARTESIAN_POINT ('', (15.7357599647613, 6.31059773530253, 19.8491692839424));
#15390 = CARTESIAN_POINT ('', (15.731937644055, 6.31189416128379, 19.8368346146687));
#15400 = CARTESIAN_POINT ('', (15.7284546777799, 6.31320172627418, 19.8243939648025));
#15410 = CARTESIAN_POINT ('', (15.7251983450077, 6.31451492671805, 19.8118996971782));
#15420 = CARTESIAN_POINT ('', (15.7203141874173, 6.31648458963777, 19.793159606308));
#15430 = CARTESIAN_POINT ('', (15.7159367816545, 6.31846824522242, 19.774286384124));
#15440 = CARTESIAN_POINT ('', (15.7118818951599, 6.32045836249106, 19.7553516831234));
#15450 = CARTESIAN_POINT ('', (15.7078276579086, 6.32244816111444, 19.7364200138302));
#15460 = CARTESIAN_POINT ('', (15.7041000946116, 6.32444537664735, 19.7174177773564));
#15470 = CARTESIAN_POINT ('', (15.7006055022287, 6.32644674070251, 19.69837607033));
#15480 = CARTESIAN_POINT ('', (15.6953637964578, 6.32944868209313, 19.6698145058694));
#15490 = CARTESIAN_POINT ('', (15.6906438320491, 6.33246079269902, 19.6411561877886));
#15500 = CARTESIAN_POINT ('', (15.6862787681678, 6.33547802143615, 19.6124491739418));
#15510 = CARTESIAN_POINT ('', (15.6819139362788, 6.338495089815, 19.583743685802));
#15520 = CARTESIAN_POINT ('', (15.6779075107717, 6.34151794993402, 19.5549830929356));
#15530 = CARTESIAN_POINT ('', (15.6741687970377, 6.34454419161363, 19.5261903266692));
#15540 = CARTESIAN_POINT ('', (15.6736939991496, 6.34492850912507, 19.5225337897993));
#15550 = CARTESIAN_POINT ('', (15.6732235389324, 6.34531288649768, 19.5188766833883));
#15560 = CARTESIAN_POINT ('', (15.6727573025242, 6.3456973209894, 19.5152190335253));
#15570 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#15080, #15090, #15100, #15110, #15120, #15130, #15140, #15150, #15160, #15170, #15180, #15190, #15200, #15210, #15220, #15230, #15240, #15250, #15260, #15270, #15280, #15290, #15300, #15310, #15320, #15330, #15340, #15350, #15360, #15370, #15380, #15390, #15400, #15410, #15420, #15430, #15440, #15450, #15460, #15470, #15480, #15490, #15500, #15510, #15520, #15530, #15540, #15550, #15560), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.00707654815922409, 0.0122407160929943, 0.0174004863173594, 0.0225476993711877, 0.0276861882955026, 0.032819616379741, 0.0502298674969752, 0.0675603562874223, 0.0935440622813133, 0.132502350832909, 0.171437094930954, 0.229835127079934, 0.288223808896927, 0.375803777288459, 0.463379091020424, 0.474500716521535), .UNSPECIFIED.);
#15580 = EDGE_CURVE ('', #13850, #12590, #15570, .T.);
#15590 = ORIENTED_EDGE ('', *, *, #15580, .F.);
#15600 = ORIENTED_EDGE ('', *, *, #14000, .F.);
#15610 = ORIENTED_EDGE ('', *, *, #6290, .F.);
#15620 = ORIENTED_EDGE ('', *, *, #7840, .T.);
#15630 = ORIENTED_EDGE ('', *, *, #13080, .T.);
#15640 = EDGE_LOOP ('', (#15590, #15600, #15610, #15620, #15630));
#15650 = FACE_OUTER_BOUND ('', #15640, .T.);
#15660 = CARTESIAN_POINT ('', (15.6, 6.5, 20.));
#15670 = CARTESIAN_POINT ('', (15.6, 6.41510503675808, 20.));
#15680 = CARTESIAN_POINT ('', (15.6610683259082, 6.35613203993227, 20.));
#15690 = CARTESIAN_POINT ('', (15.7221366518164, 6.29715904310646, 20.));
#15700 = CARTESIAN_POINT ('', (15.8069798993405, 6.30012183459618, 20.));
#15710 = CARTESIAN_POINT ('', (15.6, 6.5, 19.5152190233784));
#15720 = CARTESIAN_POINT ('', (15.6, 6.41510503675808, 19.5152190233784));
#15730 = CARTESIAN_POINT ('', (15.6610683259082, 6.35613203993227, 19.5152190233784));
#15740 = CARTESIAN_POINT ('', (15.7221366518164, 6.29715904310646, 19.5152190233784));
#15750 = CARTESIAN_POINT ('', (15.8069798993405, 6.30012183459618, 19.5152190233784));
#15760 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#15660, #15670, #15680, #15690, #15700), (#15710, #15720, #15730, #15740, #15750)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 3), (0., 0.484780976621594), (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 ('')
);
#15770 = ADVANCED_FACE ('', (#15650), #15760, .T.);
#15780 = CARTESIAN_POINT ('', (19.6, 6.65234573480258, 16.5976542651974));
#15790 = VERTEX_POINT ('', #15780);
#15800 = CARTESIAN_POINT ('', (19.6, 6.65234573480258, 16.5976542651974));
#15810 = CARTESIAN_POINT ('', (19.6, 6.43249632709167, 18.689381655204));
#15820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15800, #15810), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15830 = EDGE_CURVE ('', #15790, #13830, #15820, .T.);
#15840 = ORIENTED_EDGE ('', *, *, #15830, .F.);
#15850 = CARTESIAN_POINT ('', (19.6, 6.8, 16.45));
#15860 = CARTESIAN_POINT ('', (19.6, 6.65234573480258, 16.5976542651974));
#15870 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15850, #15860), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15880 = EDGE_CURVE ('', #8030, #15790, #15870, .T.);
#15890 = ORIENTED_EDGE ('', *, *, #15880, .F.);
#15900 = ORIENTED_EDGE ('', *, *, #8180, .F.);
#15910 = ORIENTED_EDGE ('', *, *, #6430, .F.);
#15920 = ORIENTED_EDGE ('', *, *, #13940, .T.);
#15930 = EDGE_LOOP ('', (#15840, #15890, #15900, #15910, #15920));
#15940 = FACE_OUTER_BOUND ('', #15930, .T.);
#15950 = CARTESIAN_POINT ('', (19.6, 6.43249632709167, 20.));
#15960 = CARTESIAN_POINT ('', (19.6, 6.8, 20.));
#15970 = CARTESIAN_POINT ('', (19.6, 6.43249632709167, 16.45));
#15980 = CARTESIAN_POINT ('', (19.6, 6.8, 16.45));
#15990 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15950, #15960), (#15970, #15980)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.71), (0., 1.), .UNSPECIFIED.);
#16000 = ADVANCED_FACE ('', (#15940), #15990, .T.);
#16010 = CARTESIAN_POINT ('', (19.6, 9.94765426519742, 16.5976542651974));
#16020 = VERTEX_POINT ('', #16010);
#16030 = CARTESIAN_POINT ('', (19.6, 9.94765426519742, 16.5976542651974));
#16040 = CARTESIAN_POINT ('', (19.6, 9.8, 16.45));
#16050 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16030, #16040), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16060 = EDGE_CURVE ('', #16020, #8290, #16050, .T.);
#16070 = ORIENTED_EDGE ('', *, *, #16060, .F.);
#16080 = CARTESIAN_POINT ('', (19.6, 10.1675036729083, 18.689381655204));
#16090 = CARTESIAN_POINT ('', (19.6, 9.94765426519742, 16.5976542651974));
#16100 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16080, #16090), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16110 = EDGE_CURVE ('', #14130, #16020, #16100, .T.);
#16120 = ORIENTED_EDGE ('', *, *, #16110, .F.);
#16130 = ORIENTED_EDGE ('', *, *, #14280, .F.);
#16140 = ORIENTED_EDGE ('', *, *, #7190, .F.);
#16150 = ORIENTED_EDGE ('', *, *, #8400, .T.);
#16160 = EDGE_LOOP ('', (#16070, #16120, #16130, #16140, #16150));
#16170 = FACE_OUTER_BOUND ('', #16160, .T.);
#16180 = CARTESIAN_POINT ('', (19.6, 9.8, 20.));
#16190 = CARTESIAN_POINT ('', (19.6, 10.1675036729083, 20.));
#16200 = CARTESIAN_POINT ('', (19.6, 9.8, 16.45));
#16210 = CARTESIAN_POINT ('', (19.6, 10.1675036729083, 16.45));
#16220 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16180, #16190), (#16200, #16210)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.71), (0., 1.), .UNSPECIFIED.);
#16230 = ADVANCED_FACE ('', (#16170), #16220, .T.);
#16240 = ORIENTED_EDGE ('', *, *, #15880, .T.);
#16250 = CARTESIAN_POINT ('', (16.1609902818048, 6.65234573480258, 16.5976542651974));
#16260 = CARTESIAN_POINT ('', (19.6, 6.65234573480258, 16.5976542651974));
#16270 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16250, #16260), .UNSPECIFIED., .F., .U., (2, 2), (0.0254995582638561, 0.181818181818182), .UNSPECIFIED.);
#16280 = EDGE_CURVE ('', #12610, #15790, #16270, .T.);
#16290 = ORIENTED_EDGE ('', *, *, #16280, .F.);
#16300 = ORIENTED_EDGE ('', *, *, #13720, .T.);
#16310 = ORIENTED_EDGE ('', *, *, #8630, .T.);
#16320 = ORIENTED_EDGE ('', *, *, #9040, .T.);
#16330 = CARTESIAN_POINT ('', (33.6, 6.65234573480258, 16.5976542651974));
#16340 = CARTESIAN_POINT ('', (37.0390097181952, 6.65234573480258, 16.5976542651974));
#16350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16330, #16340), .UNSPECIFIED., .F., .U., (2, 2), (0.818181818181818, 0.974500441736144), .UNSPECIFIED.);
#16360 = EDGE_CURVE ('', #11430, #8930, #16350, .T.);
#16370 = ORIENTED_EDGE ('', *, *, #16360, .F.);
#16380 = ORIENTED_EDGE ('', *, *, #11550, .T.);
#16390 = ORIENTED_EDGE ('', *, *, #8070, .T.);
#16400 = EDGE_LOOP ('', (#16240, #16290, #16300, #16310, #16320, #16370, #16380, #16390));
#16410 = FACE_OUTER_BOUND ('', #16400, .T.);
#16420 = CARTESIAN_POINT ('', (16.1609902818048, 8.25, 15.));
#16430 = CARTESIAN_POINT ('', (16.1609902818048, 6.65234573480258, 16.5976542651974));
#16440 = CARTESIAN_POINT ('', (37.0390097181952, 8.25, 15.));
#16450 = CARTESIAN_POINT ('', (37.0390097181952, 6.65234573480258, 16.5976542651974));
#16460 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16420, #16430), (#16440, #16450)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0254995582638559, 0.974500441736144), (0.0303461721649507, 1.), .UNSPECIFIED.);
#16470 = ADVANCED_FACE ('', (#16410), #16460, .T.);
#16480 = ORIENTED_EDGE ('', *, *, #15830, .T.);
#16490 = ORIENTED_EDGE ('', *, *, #13890, .T.);
#16500 = ORIENTED_EDGE ('', *, *, #15580, .T.);
#16510 = ORIENTED_EDGE ('', *, *, #12650, .T.);
#16520 = ORIENTED_EDGE ('', *, *, #16280, .T.);
#16530 = EDGE_LOOP ('', (#16480, #16490, #16500, #16510, #16520));
#16540 = FACE_OUTER_BOUND ('', #16530, .T.);
#16550 = CARTESIAN_POINT ('', (15.6727573830068, 6.65234573480258, 16.5976542651974));
#16560 = CARTESIAN_POINT ('', (15.6727573830068, 6.3, 19.95));
#16570 = CARTESIAN_POINT ('', (37.5272426169932, 6.65234573480258, 16.5976542651974));
#16580 = CARTESIAN_POINT ('', (37.5272426169932, 6.3, 19.95));
#16590 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16550, #16560), (#16570, #16580)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00330715377303739, 0.996692846226963), (0., 1.), .UNSPECIFIED.);
#16600 = ADVANCED_FACE ('', (#16540), #16590, .T.);
#16610 = ORIENTED_EDGE ('', *, *, #11470, .T.);
#16620 = ORIENTED_EDGE ('', *, *, #16360, .T.);
#16630 = ORIENTED_EDGE ('', *, *, #8990, .T.);
#16640 = ORIENTED_EDGE ('', *, *, #11010, .T.);
#16650 = ORIENTED_EDGE ('', *, *, #11250, .T.);
#16660 = EDGE_LOOP ('', (#16610, #16620, #16630, #16640, #16650));
#16670 = FACE_OUTER_BOUND ('', #16660, .T.);
#16680 = CARTESIAN_POINT ('', (15.6727573830068, 6.65234573480258, 16.5976542651974));
#16690 = CARTESIAN_POINT ('', (15.6727573830068, 6.3, 19.95));
#16700 = CARTESIAN_POINT ('', (37.5272426169932, 6.65234573480258, 16.5976542651974));
#16710 = CARTESIAN_POINT ('', (37.5272426169932, 6.3, 19.95));
#16720 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16680, #16690), (#16700, #16710)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00330715377303739, 0.996692846226963), (0., 1.), .UNSPECIFIED.);
#16730 = ADVANCED_FACE ('', (#16670), #16720, .T.);
#16740 = ORIENTED_EDGE ('', *, *, #16060, .T.);
#16750 = ORIENTED_EDGE ('', *, *, #8350, .T.);
#16760 = ORIENTED_EDGE ('', *, *, #12400, .T.);
#16770 = CARTESIAN_POINT ('', (33.6, 9.94765426519742, 16.5976542651974));
#16780 = CARTESIAN_POINT ('', (37.0390097181952, 9.94765426519742, 16.5976542651974));
#16790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16770, #16780), .UNSPECIFIED., .F., .U., (2, 2), (0.818181818181818, 0.974500441736144), .UNSPECIFIED.);
#16800 = EDGE_CURVE ('', #12360, #9080, #16790, .T.);
#16810 = ORIENTED_EDGE ('', *, *, #16800, .T.);
#16820 = ORIENTED_EDGE ('', *, *, #9120, .T.);
#16830 = ORIENTED_EDGE ('', *, *, #8770, .T.);
#16840 = ORIENTED_EDGE ('', *, *, #13660, .T.);
#16850 = CARTESIAN_POINT ('', (16.1609902818048, 9.94765426519742, 16.5976542651974));
#16860 = CARTESIAN_POINT ('', (19.6, 9.94765426519742, 16.5976542651974));
#16870 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16850, #16860), .UNSPECIFIED., .F., .U., (2, 2), (0.0254995582638559, 0.181818181818182), .UNSPECIFIED.);
#16880 = EDGE_CURVE ('', #13570, #16020, #16870, .T.);
#16890 = ORIENTED_EDGE ('', *, *, #16880, .T.);
#16900 = EDGE_LOOP ('', (#16740, #16750, #16760, #16810, #16820, #16830, #16840, #16890));
#16910 = FACE_OUTER_BOUND ('', #16900, .T.);
#16920 = CARTESIAN_POINT ('', (16.1609902818048, 9.94765426519742, 16.5976542651974));
#16930 = CARTESIAN_POINT ('', (16.1609902818048, 8.35, 15.));
#16940 = CARTESIAN_POINT ('', (37.0390097181952, 9.94765426519742, 16.5976542651974));
#16950 = CARTESIAN_POINT ('', (37.0390097181952, 8.35, 15.));
#16960 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16920, #16930), (#16940, #16950)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0254995582638559, 0.974500441736144), (0., 0.969653827835048), .UNSPECIFIED.);
#16970 = ADVANCED_FACE ('', (#16910), #16960, .T.);
#16980 = ORIENTED_EDGE ('', *, *, #12480, .T.);
#16990 = ORIENTED_EDGE ('', *, *, #10230, .T.);
#17000 = ORIENTED_EDGE ('', *, *, #12150, .T.);
#17010 = ORIENTED_EDGE ('', *, *, #9190, .T.);
#17020 = ORIENTED_EDGE ('', *, *, #16800, .F.);
#17030 = EDGE_LOOP ('', (#16980, #16990, #17000, #17010, #17020));
#17040 = FACE_OUTER_BOUND ('', #17030, .T.);
#17050 = CARTESIAN_POINT ('', (15.6727573830068, 10.3, 19.95));
#17060 = CARTESIAN_POINT ('', (15.6727573830068, 9.94765426519742, 16.5976542651974));
#17070 = CARTESIAN_POINT ('', (37.5272426169932, 10.3, 19.95));
#17080 = CARTESIAN_POINT ('', (37.5272426169932, 9.94765426519742, 16.5976542651974));
#17090 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17050, #17060), (#17070, #17080)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00330715377303768, 0.996692846226963), (0., 1.), .UNSPECIFIED.);
#17100 = ADVANCED_FACE ('', (#17040), #17090, .T.);
#17110 = ORIENTED_EDGE ('', *, *, #16110, .T.);
#17120 = ORIENTED_EDGE ('', *, *, #16880, .F.);
#17130 = ORIENTED_EDGE ('', *, *, #13610, .T.);
#17140 = ORIENTED_EDGE ('', *, *, #14890, .T.);
#17150 = ORIENTED_EDGE ('', *, *, #14170, .T.);
#17160 = EDGE_LOOP ('', (#17110, #17120, #17130, #17140, #17150));
#17170 = FACE_OUTER_BOUND ('', #17160, .T.);
#17180 = CARTESIAN_POINT ('', (15.6727573830068, 10.3, 19.95));
#17190 = CARTESIAN_POINT ('', (15.6727573830068, 9.94765426519742, 16.5976542651974));
#17200 = CARTESIAN_POINT ('', (37.5272426169932, 10.3, 19.95));
#17210 = CARTESIAN_POINT ('', (37.5272426169932, 9.94765426519742, 16.5976542651974));
#17220 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17180, #17190), (#17200, #17210)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00330715377303768, 0.996692846226963), (0., 1.), .UNSPECIFIED.);
#17230 = ADVANCED_FACE ('', (#17170), #17220, .T.);
#17240 = CLOSED_SHELL ('', (#7430, #7710, #7990, #8270, #8550, #8910, #10150, #10430, #11190, #11410, #11640, #12340, #12570, #13810, #14090, #14370, #15070, #15770, #16000, #16230, #16470, #16600, #16730, #16970, #17100, #17230));
#17250 = MANIFOLD_SOLID_BREP ('CUT', #17240);
#17260 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#17270 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#17280 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#17290 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #17260, 'DISTANCE_ACCURACY_VALUE', '');
#17300 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#17290))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#17260, #17270, #17280))
   REPRESENTATION_CONTEXT ('', '3D')
);
#17310 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#17320 = FILL_AREA_STYLE_COLOUR ('', #17310);
#17330 = FILL_AREA_STYLE ('', (#17320));
#17340 = SURFACE_STYLE_FILL_AREA (#17330);
#17350 = SURFACE_SIDE_STYLE ('', (#17340));
#17360 = SURFACE_STYLE_USAGE (.POSITIVE., #17350);
#17370 = PRESENTATION_STYLE_ASSIGNMENT ((#17360));
#17380 = STYLED_ITEM ('', (#17370), #17250);
#17390 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#17250), #17300);
#17400 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#17410 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #17400);
#17420 = MECHANICAL_CONTEXT ('', #17400, 'mechanical');
#17430 = PRODUCT ('NONE', '', '', (#17420));
#17440 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#17450 = PERSON ('', '', $, $, $, $);
#17460 = ORGANIZATION ($, '', '');
#17470 = PERSON_AND_ORGANIZATION (#17450, #17460);
#17480 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#17470, #17440, (#17430));
#17490 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#17430));
#17500 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #17430, .NOT_KNOWN.);
#17510 = APPROVAL_STATUS ('approved');
#17520 = APPROVAL (#17510, '');
#17530 = CALENDAR_DATE (2017, 2, 8);
#17540 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#17550 = LOCAL_TIME (8, 32, 11., #17540);
#17560 = DATE_AND_TIME (#17530, #17550);
#17570 = APPROVAL_DATE_TIME (#17560, #17520);
#17580 = APPROVAL_ROLE ('');
#17590 = PERSON ('', '', $, $, $, $);
#17600 = ORGANIZATION ($, '', '');
#17610 = PERSON_AND_ORGANIZATION (#17590, #17600);
#17620 = APPROVAL_PERSON_ORGANIZATION (#17610, #17520, #17580);
#17630 = CC_DESIGN_APPROVAL (#17520, (#17500));
#17640 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#17650 = PERSON ('', '', $, $, $, $);
#17660 = ORGANIZATION ($, '', '');
#17670 = PERSON_AND_ORGANIZATION (#17650, #17660);
#17680 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#17670, #17640, (#17500));
#17690 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#17700 = PERSON ('', '', $, $, $, $);
#17710 = ORGANIZATION ($, '', '');
#17720 = PERSON_AND_ORGANIZATION (#17700, #17710);
#17730 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#17720, #17690, (#17500));
#17740 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#17750 = SECURITY_CLASSIFICATION ('', '', #17740);
#17760 = APPROVAL_STATUS ('approved');
#17770 = APPROVAL (#17760, '');
#17780 = CALENDAR_DATE (2017, 2, 8);
#17790 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#17800 = LOCAL_TIME (8, 32, 11., #17790);
#17810 = DATE_AND_TIME (#17780, #17800);
#17820 = APPROVAL_DATE_TIME (#17810, #17770);
#17830 = APPROVAL_ROLE ('');
#17840 = PERSON ('', '', $, $, $, $);
#17850 = ORGANIZATION ($, '', '');
#17860 = PERSON_AND_ORGANIZATION (#17840, #17850);
#17870 = APPROVAL_PERSON_ORGANIZATION (#17860, #17770, #17830);
#17880 = CC_DESIGN_APPROVAL (#17770, (#17750));
#17890 = DATE_TIME_ROLE ('classification_date');
#17900 = CALENDAR_DATE (2017, 2, 8);
#17910 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#17920 = LOCAL_TIME (8, 32, 11., #17910);
#17930 = DATE_AND_TIME (#17900, #17920);
#17940 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#17930, #17890, (#17750));
#17950 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#17960 = PERSON ('', '', $, $, $, $);
#17970 = ORGANIZATION ($, '', '');
#17980 = PERSON_AND_ORGANIZATION (#17960, #17970);
#17990 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#17980, #17950, (#17750));
#18000 = CC_DESIGN_SECURITY_CLASSIFICATION (#17750, (#17500));
#18010 = DESIGN_CONTEXT ('', #17400, 'design');
#18020 = PRODUCT_DEFINITION ('', '', #17500, #18010);
#18030 = APPROVAL_STATUS ('approved');
#18040 = APPROVAL (#18030, '');
#18050 = CALENDAR_DATE (2017, 2, 8);
#18060 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18070 = LOCAL_TIME (8, 32, 11., #18060);
#18080 = DATE_AND_TIME (#18050, #18070);
#18090 = APPROVAL_DATE_TIME (#18080, #18040);
#18100 = APPROVAL_ROLE ('');
#18110 = PERSON ('', '', $, $, $, $);
#18120 = ORGANIZATION ($, '', '');
#18130 = PERSON_AND_ORGANIZATION (#18110, #18120);
#18140 = APPROVAL_PERSON_ORGANIZATION (#18130, #18040, #18100);
#18150 = CC_DESIGN_APPROVAL (#18040, (#18020));
#18160 = DATE_TIME_ROLE ('creation_date');
#18170 = CALENDAR_DATE (2017, 2, 8);
#18180 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18190 = LOCAL_TIME (8, 32, 11., #18180);
#18200 = DATE_AND_TIME (#18170, #18190);
#18210 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#18200, #18160, (#18020));
#18220 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#18230 = PERSON ('', '', $, $, $, $);
#18240 = ORGANIZATION ($, '', '');
#18250 = PERSON_AND_ORGANIZATION (#18230, #18240);
#18260 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18250, #18220, (#18020));
#18270 = PRODUCT_DEFINITION_SHAPE ('', '', #18020);
#18280 = SHAPE_DEFINITION_REPRESENTATION (#18270, #17390);
ENDSEC;
END-ISO-10303-21;