ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('C:\\TDMTemp\\Tools\\SMLIB\\grooving\\T06\\step\\CLCCL 2525M03-A7.stp', '2010-12-08T10:42:09', ('Unknown'), ('Unknown'), 'HarmonyWare STEP v1.4.4', 'HarmonyWare Translators', '');
FILE_SCHEMA (('CONFIG_CONTROL_DESIGN'));
ENDSEC;

DATA;
#10 = CARTESIAN_POINT ('', (-118.6, -12.5, 0.));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (-7.105427357601E-15, -12.5, 0.));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (-118.6, -12.5, 0.));
#60 = CARTESIAN_POINT ('', (-7.105427357601E-15, -12.5, 0.));
#70 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#50, #60), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#80 = EDGE_CURVE ('', #20, #40, #70, .T.);
#90 = ORIENTED_EDGE ('', *, *, #80, .F.);
#100 = CARTESIAN_POINT ('', (-118.6, 12.5, 0.));
#110 = VERTEX_POINT ('', #100);
#120 = CARTESIAN_POINT ('', (-118.6, 12.5, 0.));
#130 = CARTESIAN_POINT ('', (-118.6, -12.5, 0.));
#140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#120, #130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#150 = EDGE_CURVE ('', #110, #20, #140, .T.);
#160 = ORIENTED_EDGE ('', *, *, #150, .F.);
#170 = CARTESIAN_POINT ('', (17.0490886617681, 12.5, 0.));
#180 = VERTEX_POINT ('', #170);
#190 = CARTESIAN_POINT ('', (17.0490886617681, 12.5, 0.));
#200 = CARTESIAN_POINT ('', (-118.6, 12.5, 0.));
#210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#190, #200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#220 = EDGE_CURVE ('', #180, #110, #210, .T.);
#230 = ORIENTED_EDGE ('', *, *, #220, .F.);
#240 = CARTESIAN_POINT ('', (24.9, -16.8, 0.));
#250 = VERTEX_POINT ('', #240);
#260 = CARTESIAN_POINT ('', (24.9, -16.8, 0.));
#270 = CARTESIAN_POINT ('', (17.0490886617681, 12.5, 0.));
#280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#260, #270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#290 = EDGE_CURVE ('', #250, #180, #280, .T.);
#300 = ORIENTED_EDGE ('', *, *, #290, .F.);
#310 = CARTESIAN_POINT ('', (30.8, -16.8, 0.));
#320 = VERTEX_POINT ('', #310);
#330 = CARTESIAN_POINT ('', (30.8, -16.8, 0.));
#340 = CARTESIAN_POINT ('', (24.9, -16.8, 0.));
#350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#330, #340), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#360 = EDGE_CURVE ('', #320, #250, #350, .T.);
#370 = ORIENTED_EDGE ('', *, *, #360, .F.);
#380 = CARTESIAN_POINT ('', (30.8, -19.1, 0.));
#390 = VERTEX_POINT ('', #380);
#400 = CARTESIAN_POINT ('', (30.8, -19.1, 0.));
#410 = CARTESIAN_POINT ('', (30.8, -16.8, 0.));
#420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#400, #410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#430 = EDGE_CURVE ('', #390, #320, #420, .T.);
#440 = ORIENTED_EDGE ('', *, *, #430, .F.);
#450 = CARTESIAN_POINT ('', (6.6, -19.1, 0.));
#460 = VERTEX_POINT ('', #450);
#470 = CARTESIAN_POINT ('', (6.6, -19.1, 0.));
#480 = CARTESIAN_POINT ('', (30.8, -19.1, 0.));
#490 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#470, #480), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#500 = EDGE_CURVE ('', #460, #390, #490, .T.);
#510 = ORIENTED_EDGE ('', *, *, #500, .F.);
#520 = CARTESIAN_POINT ('', (0., -12.5, 0.));
#530 = CARTESIAN_POINT ('', (6.6, -19.1, 0.));
#540 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#520, #530), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#550 = EDGE_CURVE ('', #40, #460, #540, .T.);
#560 = ORIENTED_EDGE ('', *, *, #550, .F.);
#570 = EDGE_LOOP ('', (#90, #160, #230, #300, #370, #440, #510, #560));
#580 = FACE_OUTER_BOUND ('', #570, .T.);
#590 = CARTESIAN_POINT ('', (30.8, -19.1, 0.));
#600 = CARTESIAN_POINT ('', (30.8, 12.5, 0.));
#610 = CARTESIAN_POINT ('', (-118.6, -19.1, 0.));
#620 = CARTESIAN_POINT ('', (-118.6, 12.5, 0.));
#630 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#590, #600), (#610, #620)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0552932715522122, 0.944706728447788), (0.405938871359102, 0.594061128640898), .UNSPECIFIED.);
#640 = ADVANCED_FACE ('', (#580), #630, .T.);
#650 = CARTESIAN_POINT ('', (-118.6, -12.5, 25.));
#660 = VERTEX_POINT ('', #650);
#670 = CARTESIAN_POINT ('', (-7.105427357601E-15, -12.5, 25.));
#680 = VERTEX_POINT ('', #670);
#690 = CARTESIAN_POINT ('', (-118.6, -12.5, 25.));
#700 = CARTESIAN_POINT ('', (2.1316282072803E-14, -12.5, 25.));
#710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#690, #700), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#720 = EDGE_CURVE ('', #660, #680, #710, .T.);
#730 = ORIENTED_EDGE ('', *, *, #720, .F.);
#740 = CARTESIAN_POINT ('', (-118.6, -12.5, 0.));
#750 = CARTESIAN_POINT ('', (-118.6, -12.5, 25.));
#760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#740, #750), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.909090909090909), .UNSPECIFIED.);
#770 = EDGE_CURVE ('', #20, #660, #760, .T.);
#780 = ORIENTED_EDGE ('', *, *, #770, .F.);
#790 = ORIENTED_EDGE ('', *, *, #80, .T.);
#800 = CARTESIAN_POINT ('', (-7.105427357601E-15, -12.5, 0.));
#810 = CARTESIAN_POINT ('', (-7.105427357601E-15, -12.5, 25.));
#820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#800, #810), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.909090909090909), .UNSPECIFIED.);
#830 = EDGE_CURVE ('', #40, #680, #820, .T.);
#840 = ORIENTED_EDGE ('', *, *, #830, .T.);
#850 = EDGE_LOOP ('', (#730, #780, #790, #840));
#860 = FACE_OUTER_BOUND ('', #850, .T.);
#870 = CARTESIAN_POINT ('', (-118.6, -12.5, 0.));
#880 = CARTESIAN_POINT ('', (-118.6, -12.5, 25.));
#890 = CARTESIAN_POINT ('', (-7.105427357601E-15, -12.5, 0.));
#900 = CARTESIAN_POINT ('', (-7.105427357601E-15, -12.5, 25.));
#910 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#870, #880), (#890, #900)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 0.909090909090909), .UNSPECIFIED.);
#920 = ADVANCED_FACE ('', (#860), #910, .T.);
#930 = CARTESIAN_POINT ('', (9.99999999999999, 12.5, 27.5));
#940 = VERTEX_POINT ('', #930);
#950 = CARTESIAN_POINT ('', (7.5, 12.5, 25.));
#960 = VERTEX_POINT ('', #950);
#970 = CARTESIAN_POINT ('', (10., 12.5, 27.5));
#980 = CARTESIAN_POINT ('', (7.49999999999999, 12.5, 25.));
#990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#970, #980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1000 = EDGE_CURVE ('', #940, #960, #990, .T.);
#1010 = ORIENTED_EDGE ('', *, *, #1000, .F.);
#1020 = CARTESIAN_POINT ('', (17.0490886617681, 12.5, 27.5));
#1030 = VERTEX_POINT ('', #1020);
#1040 = CARTESIAN_POINT ('', (17.0490886617681, 12.5, 27.5));
#1050 = CARTESIAN_POINT ('', (9.99999999999999, 12.5, 27.5));
#1060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1040, #1050), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0519656175453161), .UNSPECIFIED.);
#1070 = EDGE_CURVE ('', #1030, #940, #1060, .T.);
#1080 = ORIENTED_EDGE ('', *, *, #1070, .F.);
#1090 = CARTESIAN_POINT ('', (17.0490886617681, 12.5, 0.));
#1100 = CARTESIAN_POINT ('', (17.0490886617681, 12.5, 27.5));
#1110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1090, #1100), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1120 = EDGE_CURVE ('', #180, #1030, #1110, .T.);
#1130 = ORIENTED_EDGE ('', *, *, #1120, .F.);
#1140 = ORIENTED_EDGE ('', *, *, #220, .T.);
#1150 = CARTESIAN_POINT ('', (-118.6, 12.5, 25.));
#1160 = VERTEX_POINT ('', #1150);
#1170 = CARTESIAN_POINT ('', (-118.6, 12.5, 0.));
#1180 = CARTESIAN_POINT ('', (-118.6, 12.5, 25.));
#1190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1170, #1180), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.909090909090909), .UNSPECIFIED.);
#1200 = EDGE_CURVE ('', #110, #1160, #1190, .T.);
#1210 = ORIENTED_EDGE ('', *, *, #1200, .T.);
#1220 = CARTESIAN_POINT ('', (7.5, 12.5, 25.));
#1230 = CARTESIAN_POINT ('', (-118.6, 12.5, 25.));
#1240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1220, #1230), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1250 = EDGE_CURVE ('', #960, #1160, #1240, .T.);
#1260 = ORIENTED_EDGE ('', *, *, #1250, .F.);
#1270 = EDGE_LOOP ('', (#1010, #1080, #1130, #1140, #1210, #1260));
#1280 = FACE_OUTER_BOUND ('', #1270, .T.);
#1290 = CARTESIAN_POINT ('', (12.01, 12.5, 26.));
#1300 = VERTEX_POINT ('', #1290);
#1310 = CARTESIAN_POINT ('', (12.01, 12.5, 26.));
#1320 = CARTESIAN_POINT ('', (14.01, 12.5, 26.));
#1330 = CARTESIAN_POINT ('', (14.01, 12.5, 24.));
#1340 = CARTESIAN_POINT ('', (14.01, 12.5, 22.));
#1350 = CARTESIAN_POINT ('', (12.01, 12.5, 22.));
#1360 = CARTESIAN_POINT ('', (10.01, 12.5, 22.));
#1370 = CARTESIAN_POINT ('', (10.01, 12.5, 24.));
#1380 = CARTESIAN_POINT ('', (10.01, 12.5, 26.));
#1390 = CARTESIAN_POINT ('', (12.01, 12.5, 26.));
#1400 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1310, #1320, #1330, #1340, #1350, #1360, #1370, #1380, #1390), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#1410 = EDGE_CURVE ('', #1300, #1300, #1400, .T.);
#1420 = ORIENTED_EDGE ('', *, *, #1410, .F.);
#1430 = EDGE_LOOP ('', (#1420));
#1440 = FACE_BOUND ('', #1430, .T.);
#1450 = CARTESIAN_POINT ('', (17.0490886617681, 12.5, 0.));
#1460 = CARTESIAN_POINT ('', (17.0490886617681, 12.5, 27.5));
#1470 = CARTESIAN_POINT ('', (-118.6, 12.5, 0.));
#1480 = CARTESIAN_POINT ('', (-118.6, 12.5, 27.5));
#1490 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1450, #1460), (#1470, #1480)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#1500 = ADVANCED_FACE ('', (#1280, #1440), #1490, .T.);
#1510 = CARTESIAN_POINT ('', (-118.6, 12.5, 25.));
#1520 = CARTESIAN_POINT ('', (-118.6, -12.5, 25.));
#1530 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1510, #1520), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1540 = EDGE_CURVE ('', #1160, #660, #1530, .T.);
#1550 = ORIENTED_EDGE ('', *, *, #1540, .F.);
#1560 = ORIENTED_EDGE ('', *, *, #1200, .F.);
#1570 = ORIENTED_EDGE ('', *, *, #150, .T.);
#1580 = ORIENTED_EDGE ('', *, *, #770, .T.);
#1590 = EDGE_LOOP ('', (#1550, #1560, #1570, #1580));
#1600 = FACE_OUTER_BOUND ('', #1590, .T.);
#1610 = CARTESIAN_POINT ('', (-118.6, 12.5, 0.));
#1620 = CARTESIAN_POINT ('', (-118.6, 12.5, 25.));
#1630 = CARTESIAN_POINT ('', (-118.6, -12.5, 0.));
#1640 = CARTESIAN_POINT ('', (-118.6, -12.5, 25.));
#1650 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1610, #1620), (#1630, #1640)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 0.909090909090909), .UNSPECIFIED.);
#1660 = ADVANCED_FACE ('', (#1600), #1650, .T.);
#1670 = CARTESIAN_POINT ('', (21.2023011444505, -3., 27.5));
#1680 = VERTEX_POINT ('', #1670);
#1690 = CARTESIAN_POINT ('', (9.99999999999999, -3., 27.5));
#1700 = VERTEX_POINT ('', #1690);
#1710 = CARTESIAN_POINT ('', (21.2023011444505, -3., 27.5));
#1720 = CARTESIAN_POINT ('', (10., -3., 27.5));
#1730 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1710, #1720), .UNSPECIFIED., .F., .U., (2, 2), (0.326538046819577, 0.685244220379795), .UNSPECIFIED.);
#1740 = EDGE_CURVE ('', #1680, #1700, #1730, .T.);
#1750 = ORIENTED_EDGE ('', *, *, #1740, .T.);
#1760 = CARTESIAN_POINT ('', (9.99999999999999, -13., 27.5));
#1770 = VERTEX_POINT ('', #1760);
#1780 = CARTESIAN_POINT ('', (9.99999999999999, -13., 27.5));
#1790 = CARTESIAN_POINT ('', (9.99999999999999, -3., 27.5));
#1800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1780, #1790), .UNSPECIFIED., .F., .U., (2, 2), (0.138004246284501, 0.350318471337579), .UNSPECIFIED.);
#1810 = EDGE_CURVE ('', #1770, #1700, #1800, .T.);
#1820 = ORIENTED_EDGE ('', *, *, #1810, .F.);
#1830 = CARTESIAN_POINT ('', (23.8817930687617, -13., 27.5));
#1840 = VERTEX_POINT ('', #1830);
#1850 = CARTESIAN_POINT ('', (23.8817930687617, -13., 27.5));
#1860 = CARTESIAN_POINT ('', (10., -13., 27.5));
#1870 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1850, #1860), .UNSPECIFIED., .F., .U., (2, 2), (0.447584584874179, 0.768687630139296), .UNSPECIFIED.);
#1880 = EDGE_CURVE ('', #1840, #1770, #1870, .T.);
#1890 = ORIENTED_EDGE ('', *, *, #1880, .F.);
#1900 = CARTESIAN_POINT ('', (23.8817930687617, -13., 27.5));
#1910 = CARTESIAN_POINT ('', (21.2023011444505, -3., 27.5));
#1920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1900, #1910), .UNSPECIFIED., .F., .U., (2, 2), (0.129692832764505, 0.47098976109215), .UNSPECIFIED.);
#1930 = EDGE_CURVE ('', #1840, #1680, #1920, .T.);
#1940 = ORIENTED_EDGE ('', *, *, #1930, .T.);
#1950 = EDGE_LOOP ('', (#1750, #1820, #1890, #1940));
#1960 = FACE_OUTER_BOUND ('', #1950, .T.);
#1970 = CARTESIAN_POINT ('', (23.8817930687617, -13., 27.5));
#1980 = CARTESIAN_POINT ('', (9.99999999999999, -13., 27.5));
#1990 = CARTESIAN_POINT ('', (23.8817930687617, 12.5, 27.5));
#2000 = CARTESIAN_POINT ('', (9.99999999999999, 12.5, 27.5));
#2010 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1970, #1980), (#1990, #2000)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.442253610897677, 0.594061128640898), (0.0964789900410446, 0.179120580142761), .UNSPECIFIED.);
#2020 = ADVANCED_FACE ('', (#1960), #2010, .T.);
#2030 = CARTESIAN_POINT ('', (0.500000000000011, -13., 25.));
#2040 = VERTEX_POINT ('', #2030);
#2050 = CARTESIAN_POINT ('', (0.5, -13., 16.0501067471904));
#2060 = VERTEX_POINT ('', #2050);
#2070 = CARTESIAN_POINT ('', (0.499999999999993, -13., 25.));
#2080 = CARTESIAN_POINT ('', (0.499999999999993, -13., 16.0501067471904));
#2090 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2070, #2080), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.357995730112385), .UNSPECIFIED.);
#2100 = EDGE_CURVE ('', #2040, #2060, #2090, .T.);
#2110 = ORIENTED_EDGE ('', *, *, #2100, .T.);
#2120 = CARTESIAN_POINT ('', (23.8817930687617, -13., 22.3152393175567));
#2130 = VERTEX_POINT ('', #2120);
#2140 = CARTESIAN_POINT ('', (0.5, -13., 16.0501067471904));
#2150 = CARTESIAN_POINT ('', (23.8817930687617, -13., 22.3152393175567));
#2160 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2140, #2150), .UNSPECIFIED., .F., .U., (2, 2), (0.0115656184930352, 0.552415415125821), .UNSPECIFIED.);
#2170 = EDGE_CURVE ('', #2060, #2130, #2160, .T.);
#2180 = ORIENTED_EDGE ('', *, *, #2170, .T.);
#2190 = CARTESIAN_POINT ('', (23.8817930687617, -13., 22.3152393175567));
#2200 = CARTESIAN_POINT ('', (23.8817930687617, -13., 27.5));
#2210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2190, #2200), .UNSPECIFIED., .F., .U., (2, 2), (0.811463247911153, 1.), .UNSPECIFIED.);
#2220 = EDGE_CURVE ('', #2130, #1840, #2210, .T.);
#2230 = ORIENTED_EDGE ('', *, *, #2220, .T.);
#2240 = ORIENTED_EDGE ('', *, *, #1880, .T.);
#2250 = CARTESIAN_POINT ('', (7.49999999999999, -13., 25.));
#2260 = VERTEX_POINT ('', #2250);
#2270 = CARTESIAN_POINT ('', (10., -13., 27.5));
#2280 = CARTESIAN_POINT ('', (7.50000000000001, -13., 25.));
#2290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2270, #2280), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2300 = EDGE_CURVE ('', #1770, #2260, #2290, .T.);
#2310 = ORIENTED_EDGE ('', *, *, #2300, .T.);
#2320 = CARTESIAN_POINT ('', (7.50000000000001, -13., 25.));
#2330 = CARTESIAN_POINT ('', (0.500000000000007, -13., 25.));
#2340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2320, #2330), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.666644191756955), .UNSPECIFIED.);
#2350 = EDGE_CURVE ('', #2260, #2040, #2340, .T.);
#2360 = ORIENTED_EDGE ('', *, *, #2350, .T.);
#2370 = EDGE_LOOP ('', (#2110, #2180, #2230, #2240, #2310, #2360));
#2380 = FACE_OUTER_BOUND ('', #2370, .T.);
#2390 = CARTESIAN_POINT ('', (12.01, -13., 26.));
#2400 = VERTEX_POINT ('', #2390);
#2410 = CARTESIAN_POINT ('', (12.01, -13., 26.));
#2420 = CARTESIAN_POINT ('', (14.01, -13., 26.));
#2430 = CARTESIAN_POINT ('', (14.01, -13., 24.));
#2440 = CARTESIAN_POINT ('', (14.01, -13., 22.));
#2450 = CARTESIAN_POINT ('', (12.01, -13., 22.));
#2460 = CARTESIAN_POINT ('', (10.01, -13., 22.));
#2470 = CARTESIAN_POINT ('', (10.01, -13., 24.));
#2480 = CARTESIAN_POINT ('', (10.01, -13., 26.));
#2490 = CARTESIAN_POINT ('', (12.01, -13., 26.));
#2500 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2410, #2420, #2430, #2440, #2450, #2460, #2470, #2480, #2490), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#2510 = EDGE_CURVE ('', #2400, #2400, #2500, .T.);
#2520 = ORIENTED_EDGE ('', *, *, #2510, .T.);
#2530 = EDGE_LOOP ('', (#2520));
#2540 = FACE_BOUND ('', #2530, .T.);
#2550 = CARTESIAN_POINT ('', (23.8817930687617, -13., 16.0501067471904));
#2560 = CARTESIAN_POINT ('', (0.500000000000004, -13., 16.0501067471904));
#2570 = CARTESIAN_POINT ('', (23.8817930687617, -13., 27.5));
#2580 = CARTESIAN_POINT ('', (0.500000000000004, -13., 27.5));
#2590 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2550, #2560), (#2570, #2580)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.385076254348297, 0.617645020501146), (0.453973269849369, 0.928901257768277), .UNSPECIFIED.);
#2600 = ADVANCED_FACE ('', (#2380, #2540), #2590, .T.);
#2610 = CARTESIAN_POINT ('', (24.6856406460551, -16., 22.5306296267302));
#2620 = VERTEX_POINT ('', #2610);
#2630 = CARTESIAN_POINT ('', (3.5, -16., 16.8539543244838));
#2640 = VERTEX_POINT ('', #2630);
#2650 = CARTESIAN_POINT ('', (24.6856406460551, -16., 22.5306296267302));
#2660 = CARTESIAN_POINT ('', (3.5, -16., 16.8539543244838));
#2670 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2650, #2660), .UNSPECIFIED., .F., .U., (2, 2), (0.20179403808399, 0.9009900990099), .UNSPECIFIED.);
#2680 = EDGE_CURVE ('', #2620, #2640, #2670, .T.);
#2690 = ORIENTED_EDGE ('', *, *, #2680, .F.);
#2700 = CARTESIAN_POINT ('', (24.6856406460551, -16., 22.5306296267302));
#2710 = CARTESIAN_POINT ('', (23.8817930687617, -13., 22.3152393175567));
#2720 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2700, #2710), .UNSPECIFIED., .F., .U., (2, 2), (0.210526315789476, 1.), .UNSPECIFIED.);
#2730 = EDGE_CURVE ('', #2620, #2130, #2720, .T.);
#2740 = ORIENTED_EDGE ('', *, *, #2730, .T.);
#2750 = ORIENTED_EDGE ('', *, *, #2170, .F.);
#2760 = CARTESIAN_POINT ('', (0.5, -13., 16.0501067471904));
#2770 = CARTESIAN_POINT ('', (3.5, -16., 16.8539543244838));
#2780 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2760, #2770), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.491803278688525), .UNSPECIFIED.);
#2790 = EDGE_CURVE ('', #2060, #2640, #2780, .T.);
#2800 = ORIENTED_EDGE ('', *, *, #2790, .T.);
#2810 = EDGE_LOOP ('', (#2690, #2740, #2750, #2800));
#2820 = FACE_OUTER_BOUND ('', #2810, .T.);
#2830 = CARTESIAN_POINT ('', (0.499999999999989, -16., 16.0501067471904));
#2840 = CARTESIAN_POINT ('', (0.499999999999989, -13., 16.0501067471904));
#2850 = CARTESIAN_POINT ('', (24.6856406460551, -16., 22.5306296267302));
#2860 = CARTESIAN_POINT ('', (24.6856406460551, -13., 22.5306296267302));
#2870 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2830, #2840), (#2850, #2860)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.011565618493035, 0.571009403936873), (0.538461538461538, 1.), .UNSPECIFIED.);
#2880 = ADVANCED_FACE ('', (#2820), #2870, .T.);
#2890 = CARTESIAN_POINT ('', (6.6, -19.1, 15.109337412288));
#2900 = VERTEX_POINT ('', #2890);
#2910 = CARTESIAN_POINT ('', (30.8, -19.1, 21.5937078691211));
#2920 = VERTEX_POINT ('', #2910);
#2930 = CARTESIAN_POINT ('', (6.59999999999999, -19.1, 15.109337412288));
#2940 = CARTESIAN_POINT ('', (30.8, -19.1, 21.5937078691211));
#2950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2930, #2940), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2960 = EDGE_CURVE ('', #2900, #2920, #2950, .T.);
#2970 = ORIENTED_EDGE ('', *, *, #2960, .F.);
#2980 = CARTESIAN_POINT ('', (6.6, -19.1, 0.));
#2990 = CARTESIAN_POINT ('', (6.6, -19.1, 15.109337412288));
#3000 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2980, #2990), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.549430451355926), .UNSPECIFIED.);
#3010 = EDGE_CURVE ('', #460, #2900, #3000, .T.);
#3020 = ORIENTED_EDGE ('', *, *, #3010, .F.);
#3030 = ORIENTED_EDGE ('', *, *, #500, .T.);
#3040 = CARTESIAN_POINT ('', (30.8, -19.1, 0.));
#3050 = CARTESIAN_POINT ('', (30.8, -19.1, 21.5937078691211));
#3060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3040, #3050), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.785225740695314), .UNSPECIFIED.);
#3070 = EDGE_CURVE ('', #390, #2920, #3060, .T.);
#3080 = ORIENTED_EDGE ('', *, *, #3070, .T.);
#3090 = EDGE_LOOP ('', (#2970, #3020, #3030, #3080));
#3100 = FACE_OUTER_BOUND ('', #3090, .T.);
#3110 = CARTESIAN_POINT ('', (6.6, -19.1, 0.));
#3120 = CARTESIAN_POINT ('', (6.6, -19.1, 21.5937078691211));
#3130 = CARTESIAN_POINT ('', (30.8, -19.1, 0.));
#3140 = CARTESIAN_POINT ('', (30.8, -19.1, 21.5937078691211));
#3150 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3110, #3120), (#3130, #3140)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 0.785225740695314), .UNSPECIFIED.);
#3160 = ADVANCED_FACE ('', (#3100), #3150, .T.);
#3170 = CARTESIAN_POINT ('', (3.5, -16., 14.2786949157515));
#3180 = VERTEX_POINT ('', #3170);
#3190 = CARTESIAN_POINT ('', (3.49999999999999, -16., 16.8539543244838));
#3200 = CARTESIAN_POINT ('', (3.49999999999999, -16., 14.2786949157515));
#3210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3190, #3200), .UNSPECIFIED., .F., .U., (2, 2), (0.32584182702065, 0.428852203369941), .UNSPECIFIED.);
#3220 = EDGE_CURVE ('', #2640, #3180, #3210, .T.);
#3230 = ORIENTED_EDGE ('', *, *, #3220, .F.);
#3240 = ORIENTED_EDGE ('', *, *, #2790, .F.);
#3250 = ORIENTED_EDGE ('', *, *, #2100, .F.);
#3260 = CARTESIAN_POINT ('', (1.4210854715202E-14, -12.5, 25.));
#3270 = CARTESIAN_POINT ('', (0.500000000000011, -13., 25.));
#3280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3260, #3270), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0757575757575754), .UNSPECIFIED.);
#3290 = EDGE_CURVE ('', #680, #2040, #3280, .T.);
#3300 = ORIENTED_EDGE ('', *, *, #3290, .F.);
#3310 = ORIENTED_EDGE ('', *, *, #830, .F.);
#3320 = ORIENTED_EDGE ('', *, *, #550, .T.);
#3330 = ORIENTED_EDGE ('', *, *, #3010, .T.);
#3340 = CARTESIAN_POINT ('', (3.5, -16., 14.2786949157515));
#3350 = CARTESIAN_POINT ('', (6.59999999999999, -19.1, 15.109337412288));
#3360 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3340, #3350), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3370 = EDGE_CURVE ('', #3180, #2900, #3360, .T.);
#3380 = ORIENTED_EDGE ('', *, *, #3370, .F.);
#3390 = EDGE_LOOP ('', (#3230, #3240, #3250, #3300, #3310, #3320, #3330, #3380));
#3400 = FACE_OUTER_BOUND ('', #3390, .T.);
#3410 = CARTESIAN_POINT ('', (0., -12.5, 0.));
#3420 = CARTESIAN_POINT ('', (0., -12.5, 25.));
#3430 = CARTESIAN_POINT ('', (6.6, -19.1, 0.));
#3440 = CARTESIAN_POINT ('', (6.6, -19.1, 25.));
#3450 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3410, #3420), (#3430, #3440)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 0.909090909090909), .UNSPECIFIED.);
#3460 = ADVANCED_FACE ('', (#3400), #3450, .T.);
#3470 = CARTESIAN_POINT ('', (30.8, -16.8, 21.5937078691211));
#3480 = VERTEX_POINT ('', #3470);
#3490 = CARTESIAN_POINT ('', (30.8, -19.1, 21.5937078691211));
#3500 = CARTESIAN_POINT ('', (30.8, -16.8, 21.5937078691211));
#3510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3490, #3500), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3520 = EDGE_CURVE ('', #2920, #3480, #3510, .T.);
#3530 = ORIENTED_EDGE ('', *, *, #3520, .F.);
#3540 = ORIENTED_EDGE ('', *, *, #3070, .F.);
#3550 = ORIENTED_EDGE ('', *, *, #430, .T.);
#3560 = CARTESIAN_POINT ('', (30.8, -16.8, 0.));
#3570 = CARTESIAN_POINT ('', (30.8, -16.8, 21.5937078691211));
#3580 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3560, #3570), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.785225740695314), .UNSPECIFIED.);
#3590 = EDGE_CURVE ('', #320, #3480, #3580, .T.);
#3600 = ORIENTED_EDGE ('', *, *, #3590, .T.);
#3610 = EDGE_LOOP ('', (#3530, #3540, #3550, #3600));
#3620 = FACE_OUTER_BOUND ('', #3610, .T.);
#3630 = CARTESIAN_POINT ('', (30.8, -19.1, 0.));
#3640 = CARTESIAN_POINT ('', (30.8, -19.1, 21.5937078691211));
#3650 = CARTESIAN_POINT ('', (30.8, -16.8, 0.));
#3660 = CARTESIAN_POINT ('', (30.8, -16.8, 21.5937078691211));
#3670 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3630, #3640), (#3650, #3660)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 0.785225740695314), .UNSPECIFIED.);
#3680 = ADVANCED_FACE ('', (#3620), #3670, .T.);
#3690 = CARTESIAN_POINT ('', (24.9, -16.8, 20.0128076337775));
#3700 = VERTEX_POINT ('', #3690);
#3710 = CARTESIAN_POINT ('', (30.8, -16.8, 21.5937078691211));
#3720 = CARTESIAN_POINT ('', (24.9, -16.8, 20.0128076337775));
#3730 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3710, #3720), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3740 = EDGE_CURVE ('', #3480, #3700, #3730, .T.);
#3750 = ORIENTED_EDGE ('', *, *, #3740, .F.);
#3760 = ORIENTED_EDGE ('', *, *, #3590, .F.);
#3770 = ORIENTED_EDGE ('', *, *, #360, .T.);
#3780 = CARTESIAN_POINT ('', (24.9, -16.8, 0.));
#3790 = CARTESIAN_POINT ('', (24.9, -16.8, 20.0128076337775));
#3800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3780, #3790), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.727738459410092), .UNSPECIFIED.);
#3810 = EDGE_CURVE ('', #250, #3700, #3800, .T.);
#3820 = ORIENTED_EDGE ('', *, *, #3810, .T.);
#3830 = EDGE_LOOP ('', (#3750, #3760, #3770, #3820));
#3840 = FACE_OUTER_BOUND ('', #3830, .T.);
#3850 = CARTESIAN_POINT ('', (30.8, -16.8, 0.));
#3860 = CARTESIAN_POINT ('', (30.8, -16.8, 21.5937078691211));
#3870 = CARTESIAN_POINT ('', (24.9, -16.8, 0.));
#3880 = CARTESIAN_POINT ('', (24.9, -16.8, 21.5937078691211));
#3890 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3850, #3860), (#3870, #3880)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 0.785225740695314), .UNSPECIFIED.);
#3900 = ADVANCED_FACE ('', (#3840), #3890, .T.);
#3910 = CARTESIAN_POINT ('', (24.6856406460551, -16., 19.9553702179979));
#3920 = VERTEX_POINT ('', #3910);
#3930 = CARTESIAN_POINT ('', (24.6856406460551, -16., 19.9553702179979));
#3940 = CARTESIAN_POINT ('', (24.6856406460551, -16., 22.5306296267302));
#3950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3930, #3940), .UNSPECIFIED., .F., .U., (2, 2), (0.725649826109015, 0.819295622790189), .UNSPECIFIED.);
#3960 = EDGE_CURVE ('', #3920, #2620, #3950, .T.);
#3970 = ORIENTED_EDGE ('', *, *, #3960, .T.);
#3980 = ORIENTED_EDGE ('', *, *, #2680, .T.);
#3990 = ORIENTED_EDGE ('', *, *, #3220, .T.);
#4000 = CARTESIAN_POINT ('', (24.6856406460551, -16., 19.9553702179979));
#4010 = CARTESIAN_POINT ('', (3.50000000000001, -16., 14.2786949157515));
#4020 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4000, #4010), .UNSPECIFIED., .F., .U., (2, 2), (0.532845679303331, 0.933765538197623), .UNSPECIFIED.);
#4030 = EDGE_CURVE ('', #3920, #3180, #4020, .T.);
#4040 = ORIENTED_EDGE ('', *, *, #4030, .F.);
#4050 = EDGE_LOOP ('', (#3970, #3980, #3990, #4040));
#4060 = FACE_OUTER_BOUND ('', #4050, .T.);
#4070 = CARTESIAN_POINT ('', (3.49999999999999, -16., 14.2786949157515));
#4080 = CARTESIAN_POINT ('', (3.49999999999999, -16., 22.5306296267302));
#4090 = CARTESIAN_POINT ('', (24.6856406460551, -16., 14.2786949157515));
#4100 = CARTESIAN_POINT ('', (24.6856406460551, -16., 22.5306296267302));
#4110 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4070, #4080), (#4090, #4100)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.11910424009158, 0.471157736435367), (0.3979392887321, 0.535066247276149), .UNSPECIFIED.);
#4120 = ADVANCED_FACE ('', (#4060), #4110, .T.);
#4130 = CARTESIAN_POINT ('', (24.9, -16.8, 20.0128076337775));
#4140 = CARTESIAN_POINT ('', (24.6856406460551, -16., 19.9553702179979));
#4150 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4130, #4140), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4160 = EDGE_CURVE ('', #3700, #3920, #4150, .T.);
#4170 = ORIENTED_EDGE ('', *, *, #4160, .T.);
#4180 = ORIENTED_EDGE ('', *, *, #4030, .T.);
#4190 = ORIENTED_EDGE ('', *, *, #3370, .T.);
#4200 = ORIENTED_EDGE ('', *, *, #2960, .T.);
#4210 = ORIENTED_EDGE ('', *, *, #3520, .T.);
#4220 = ORIENTED_EDGE ('', *, *, #3740, .T.);
#4230 = EDGE_LOOP ('', (#4170, #4180, #4190, #4200, #4210, #4220));
#4240 = FACE_OUTER_BOUND ('', #4230, .T.);
#4250 = CARTESIAN_POINT ('', (30.8, -19.1, 21.5937078691211));
#4260 = CARTESIAN_POINT ('', (3.50000000000002, -19.1, 14.2786949157515));
#4270 = CARTESIAN_POINT ('', (30.8, -16., 21.5937078691211));
#4280 = CARTESIAN_POINT ('', (3.50000000000002, -16., 14.2786949157515));
#4290 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4250, #4260), (#4270, #4280)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.11428571428571, 1.), (0.417136736139082, 0.933765538197623), .UNSPECIFIED.);
#4300 = ADVANCED_FACE ('', (#4240), #4290, .T.);
#4310 = CARTESIAN_POINT ('', (2.94774225170143, -3., 25.));
#4320 = VERTEX_POINT ('', #4310);
#4330 = CARTESIAN_POINT ('', (7.49999999999999, -3., 25.));
#4340 = VERTEX_POINT ('', #4330);
#4350 = CARTESIAN_POINT ('', (2.94774225170143, -3., 25.));
#4360 = CARTESIAN_POINT ('', (7.50000000000001, -3., 25.));
#4370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4350, #4360), .UNSPECIFIED., .F., .U., (2, 2), (0.378933400638911, 1.), .UNSPECIFIED.);
#4380 = EDGE_CURVE ('', #4320, #4340, #4370, .T.);
#4390 = ORIENTED_EDGE ('', *, *, #4380, .F.);
#4400 = CARTESIAN_POINT ('', (2.94774225170143, 3.49999999999999, 25.));
#4410 = VERTEX_POINT ('', #4400);
#4420 = CARTESIAN_POINT ('', (2.94774225170143, -3., 25.));
#4430 = CARTESIAN_POINT ('', (2.94774225170143, 3.49999999999999, 25.));
#4440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4420, #4430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4450 = EDGE_CURVE ('', #4320, #4410, #4440, .T.);
#4460 = ORIENTED_EDGE ('', *, *, #4450, .T.);
#4470 = CARTESIAN_POINT ('', (7.49999999999999, 3.5, 25.));
#4480 = VERTEX_POINT ('', #4470);
#4490 = CARTESIAN_POINT ('', (7.49999999999999, 3.5, 25.));
#4500 = CARTESIAN_POINT ('', (2.94774225170143, 3.5, 25.));
#4510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4490, #4500), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.499700161314874), .UNSPECIFIED.);
#4520 = EDGE_CURVE ('', #4480, #4410, #4510, .T.);
#4530 = ORIENTED_EDGE ('', *, *, #4520, .F.);
#4540 = CARTESIAN_POINT ('', (7.49999999999999, 3.5, 25.));
#4550 = CARTESIAN_POINT ('', (7.49999999999999, 12.5, 25.));
#4560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4540, #4550), .UNSPECIFIED., .F., .U., (2, 2), (0.488322717622081, 0.679405520169851), .UNSPECIFIED.);
#4570 = EDGE_CURVE ('', #4480, #960, #4560, .T.);
#4580 = ORIENTED_EDGE ('', *, *, #4570, .T.);
#4590 = ORIENTED_EDGE ('', *, *, #1250, .T.);
#4600 = ORIENTED_EDGE ('', *, *, #1540, .T.);
#4610 = ORIENTED_EDGE ('', *, *, #720, .T.);
#4620 = ORIENTED_EDGE ('', *, *, #3290, .T.);
#4630 = ORIENTED_EDGE ('', *, *, #2350, .F.);
#4640 = CARTESIAN_POINT ('', (7.49999999999999, -13., 25.));
#4650 = CARTESIAN_POINT ('', (7.49999999999999, -3., 25.));
#4660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4640, #4650), .UNSPECIFIED., .F., .U., (2, 2), (0.138004246284501, 0.35031847133758), .UNSPECIFIED.);
#4670 = EDGE_CURVE ('', #2260, #4340, #4660, .T.);
#4680 = ORIENTED_EDGE ('', *, *, #4670, .T.);
#4690 = EDGE_LOOP ('', (#4390, #4460, #4530, #4580, #4590, #4600, #4610, #4620, #4630, #4680));
#4700 = FACE_OUTER_BOUND ('', #4690, .T.);
#4710 = CARTESIAN_POINT ('', (7.5, -13., 25.));
#4720 = CARTESIAN_POINT ('', (-118.6, -13., 25.));
#4730 = CARTESIAN_POINT ('', (7.5, 12.5, 25.));
#4740 = CARTESIAN_POINT ('', (-118.6, 12.5, 25.));
#4750 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4710, #4720), (#4730, #4740)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.138004246284501, 0.679405520169851), (0., 1.), .UNSPECIFIED.);
#4760 = ADVANCED_FACE ('', (#4700), #4750, .T.);
#4770 = CARTESIAN_POINT ('', (21.2023011444505, -3., 22.5));
#4780 = VERTEX_POINT ('', #4770);
#4790 = CARTESIAN_POINT ('', (21.2023011444505, -3., 27.5));
#4800 = CARTESIAN_POINT ('', (21.2023011444505, -3., 22.5));
#4810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4790, #4800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4820 = EDGE_CURVE ('', #1680, #4780, #4810, .T.);
#4830 = ORIENTED_EDGE ('', *, *, #4820, .F.);
#4840 = ORIENTED_EDGE ('', *, *, #1930, .F.);
#4850 = ORIENTED_EDGE ('', *, *, #2220, .F.);
#4860 = ORIENTED_EDGE ('', *, *, #2730, .F.);
#4870 = ORIENTED_EDGE ('', *, *, #3960, .F.);
#4880 = ORIENTED_EDGE ('', *, *, #4160, .F.);
#4890 = ORIENTED_EDGE ('', *, *, #3810, .F.);
#4900 = ORIENTED_EDGE ('', *, *, #290, .T.);
#4910 = ORIENTED_EDGE ('', *, *, #1120, .T.);
#4920 = CARTESIAN_POINT ('', (19.4606313936482, 3.5, 27.5));
#4930 = VERTEX_POINT ('', #4920);
#4940 = CARTESIAN_POINT ('', (19.4606313936482, 3.5, 27.5));
#4950 = CARTESIAN_POINT ('', (17.0490886617681, 12.5, 27.5));
#4960 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4940, #4950), .UNSPECIFIED., .F., .U., (2, 2), (0.692832764505119, 1.), .UNSPECIFIED.);
#4970 = EDGE_CURVE ('', #4930, #1030, #4960, .T.);
#4980 = ORIENTED_EDGE ('', *, *, #4970, .F.);
#4990 = CARTESIAN_POINT ('', (19.4606313936482, 3.5, 22.5));
#5000 = VERTEX_POINT ('', #4990);
#5010 = CARTESIAN_POINT ('', (19.4606313936482, 3.5, 22.5));
#5020 = CARTESIAN_POINT ('', (19.4606313936482, 3.5, 27.5));
#5030 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5010, #5020), .UNSPECIFIED., .F., .U., (2, 2), (0.748681933465864, 1.), .UNSPECIFIED.);
#5040 = EDGE_CURVE ('', #5000, #4930, #5030, .T.);
#5050 = ORIENTED_EDGE ('', *, *, #5040, .F.);
#5060 = CARTESIAN_POINT ('', (21.2023011444505, -3., 22.5));
#5070 = CARTESIAN_POINT ('', (19.4606313936482, 3.5, 22.5));
#5080 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5060, #5070), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5090 = EDGE_CURVE ('', #4780, #5000, #5080, .T.);
#5100 = ORIENTED_EDGE ('', *, *, #5090, .F.);
#5110 = EDGE_LOOP ('', (#4830, #4840, #4850, #4860, #4870, #4880, #4890, #4900, #4910, #4980, #5050, #5100));
#5120 = FACE_OUTER_BOUND ('', #5110, .T.);
#5130 = CARTESIAN_POINT ('', (24.9, -16.8, 0.));
#5140 = CARTESIAN_POINT ('', (24.9, -16.8, 27.5));
#5150 = CARTESIAN_POINT ('', (17.0490886617681, 12.5, 0.));
#5160 = CARTESIAN_POINT ('', (17.0490886617681, 12.5, 27.5));
#5170 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5130, #5140), (#5150, #5160)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#5180 = ADVANCED_FACE ('', (#5120), #5170, .T.);
#5190 = CARTESIAN_POINT ('', (9.99999999999999, 3.5, 27.5));
#5200 = VERTEX_POINT ('', #5190);
#5210 = CARTESIAN_POINT ('', (10., 3.5, 27.5));
#5220 = CARTESIAN_POINT ('', (7.49999999999999, 3.5, 25.));
#5230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5210, #5220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5240 = EDGE_CURVE ('', #5200, #4480, #5230, .T.);
#5250 = ORIENTED_EDGE ('', *, *, #5240, .F.);
#5260 = CARTESIAN_POINT ('', (9.99999999999999, 3.5, 27.5));
#5270 = CARTESIAN_POINT ('', (9.99999999999999, 12.5, 27.5));
#5280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5260, #5270), .UNSPECIFIED., .F., .U., (2, 2), (0.488322717622081, 0.679405520169851), .UNSPECIFIED.);
#5290 = EDGE_CURVE ('', #5200, #940, #5280, .T.);
#5300 = ORIENTED_EDGE ('', *, *, #5290, .T.);
#5310 = ORIENTED_EDGE ('', *, *, #1000, .T.);
#5320 = ORIENTED_EDGE ('', *, *, #4570, .F.);
#5330 = EDGE_LOOP ('', (#5250, #5300, #5310, #5320));
#5340 = FACE_OUTER_BOUND ('', #5330, .T.);
#5350 = CARTESIAN_POINT ('', (10., -13., 27.5));
#5360 = CARTESIAN_POINT ('', (7.49999999999999, -13., 25.));
#5370 = CARTESIAN_POINT ('', (10., 12.5, 27.5));
#5380 = CARTESIAN_POINT ('', (7.49999999999999, 12.5, 25.));
#5390 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5350, #5360), (#5370, #5380)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.138004246284501, 0.679405520169851), (0.94692144373673, 1.), .UNSPECIFIED.);
#5400 = ADVANCED_FACE ('', (#5340), #5390, .T.);
#5410 = CARTESIAN_POINT ('', (7.49999999999999, -3., 25.));
#5420 = CARTESIAN_POINT ('', (10., -3., 27.5));
#5430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5410, #5420), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5440 = EDGE_CURVE ('', #4340, #1700, #5430, .T.);
#5450 = ORIENTED_EDGE ('', *, *, #5440, .F.);
#5460 = ORIENTED_EDGE ('', *, *, #4670, .F.);
#5470 = ORIENTED_EDGE ('', *, *, #2300, .F.);
#5480 = ORIENTED_EDGE ('', *, *, #1810, .T.);
#5490 = EDGE_LOOP ('', (#5450, #5460, #5470, #5480));
#5500 = FACE_OUTER_BOUND ('', #5490, .T.);
#5510 = CARTESIAN_POINT ('', (10., -13., 27.5));
#5520 = CARTESIAN_POINT ('', (7.49999999999999, -13., 25.));
#5530 = CARTESIAN_POINT ('', (10., 12.5, 27.5));
#5540 = CARTESIAN_POINT ('', (7.49999999999999, 12.5, 25.));
#5550 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5510, #5520), (#5530, #5540)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.138004246284501, 0.679405520169851), (0.94692144373673, 1.), .UNSPECIFIED.);
#5560 = ADVANCED_FACE ('', (#5500), #5550, .T.);
#5570 = CARTESIAN_POINT ('', (19.4606313936482, 3.5, 27.5));
#5580 = CARTESIAN_POINT ('', (10., 3.5, 27.5));
#5590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5570, #5580), .UNSPECIFIED., .F., .U., (2, 2), (0.382307632359184, 0.685244220379795), .UNSPECIFIED.);
#5600 = EDGE_CURVE ('', #4930, #5200, #5590, .T.);
#5610 = ORIENTED_EDGE ('', *, *, #5600, .F.);
#5620 = ORIENTED_EDGE ('', *, *, #4970, .T.);
#5630 = ORIENTED_EDGE ('', *, *, #1070, .T.);
#5640 = ORIENTED_EDGE ('', *, *, #5290, .F.);
#5650 = EDGE_LOOP ('', (#5610, #5620, #5630, #5640));
#5660 = FACE_OUTER_BOUND ('', #5650, .T.);
#5670 = CARTESIAN_POINT ('', (23.8817930687617, -13., 27.5));
#5680 = CARTESIAN_POINT ('', (9.99999999999999, -13., 27.5));
#5690 = CARTESIAN_POINT ('', (23.8817930687617, 12.5, 27.5));
#5700 = CARTESIAN_POINT ('', (9.99999999999999, 12.5, 27.5));
#5710 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5670, #5680), (#5690, #5700)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.442253610897677, 0.594061128640898), (0.0964789900410446, 0.179120580142761), .UNSPECIFIED.);
#5720 = ADVANCED_FACE ('', (#5660), #5710, .T.);
#5730 = CARTESIAN_POINT ('', (10.6828785165115, -3., 22.5037551777656));
#5740 = VERTEX_POINT ('', #5730);
#5750 = CARTESIAN_POINT ('', (10.6828785165115, 3.5, 22.5037551777656));
#5760 = VERTEX_POINT ('', #5750);
#5770 = CARTESIAN_POINT ('', (10.6828785165115, -3., 22.5037551777656));
#5780 = CARTESIAN_POINT ('', (10.6828785165115, 3.50000000000007, 22.5037551777656));
#5790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5770, #5780), .UNSPECIFIED., .F., .U., (2, 2), (0., 6.50000000000007), .UNSPECIFIED.);
#5800 = EDGE_CURVE ('', #5740, #5760, #5790, .T.);
#5810 = ORIENTED_EDGE ('', *, *, #5800, .T.);
#5820 = CARTESIAN_POINT ('', (10.6828785165115, 3.5, 22.5037551777656));
#5830 = CARTESIAN_POINT ('', (6.44393378755674, 3.5, 22.6010895915332));
#5840 = CARTESIAN_POINT ('', (2.94774225170144, 3.5, 25.));
#5850 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5820, #5830, #5840), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0273379430224806, 0.693140170142171), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.99511018565559, 0.937239244443896, 0.960886590929434))
   REPRESENTATION_ITEM ('')
);
#5860 = EDGE_CURVE ('', #5760, #4410, #5850, .T.);
#5870 = ORIENTED_EDGE ('', *, *, #5860, .T.);
#5880 = ORIENTED_EDGE ('', *, *, #4450, .F.);
#5890 = CARTESIAN_POINT ('', (10.6828785165115, -3., 22.5037551777656));
#5900 = CARTESIAN_POINT ('', (6.44393378755674, -3., 22.6010895915332));
#5910 = CARTESIAN_POINT ('', (2.94774225170144, -3., 25.));
#5920 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5890, #5900, #5910), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0273379430224806, 0.693140170142171), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.99511018565559, 0.937239244443896, 0.960886590929434))
   REPRESENTATION_ITEM ('')
);
#5930 = EDGE_CURVE ('', #5740, #4320, #5920, .T.);
#5940 = ORIENTED_EDGE ('', *, *, #5930, .F.);
#5950 = EDGE_LOOP ('', (#5810, #5870, #5880, #5940));
#5960 = FACE_OUTER_BOUND ('', #5950, .T.);
#5970 = CARTESIAN_POINT ('', (10.6828785165115, -3., 22.5037551777656));
#5980 = CARTESIAN_POINT ('', (6.44393378755674, -3., 22.6010895915332));
#5990 = CARTESIAN_POINT ('', (2.94774225170144, -3., 25.));
#6000 = CARTESIAN_POINT ('', (10.6828785165115, 3.5, 22.5037551777656));
#6010 = CARTESIAN_POINT ('', (6.44393378755674, 3.5, 22.6010895915332));
#6020 = CARTESIAN_POINT ('', (2.94774225170144, 3.5, 25.));
#6030 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#5970, #5980, #5990), (#6000, #6010, #6020)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 3), (0., 1.), (0.0273379430224804, 0.693140170142171), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.99511018565559, 0.937239244443897, 0.960886590929434), (0.99511018565559, 0.937239244443897, 0.960886590929434)))
   REPRESENTATION_ITEM ('')
);
#6040 = ADVANCED_FACE ('', (#5960), #6030, .T.);
#6050 = CARTESIAN_POINT ('', (12.01, 3.5, 26.));
#6060 = VERTEX_POINT ('', #6050);
#6070 = CARTESIAN_POINT ('', (10.6828785165115, 3.5, 22.5037551777656));
#6080 = CARTESIAN_POINT ('', (9.65198270956006, 3.5, 23.4181269117979));
#6090 = CARTESIAN_POINT ('', (10.139171306613, 3.5, 24.7071067811865));
#6100 = CARTESIAN_POINT ('', (10.627839010719, 3.5, 26.));
#6110 = CARTESIAN_POINT ('', (12.01, 3.5, 26.));
#6120 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6070, #6080, #6090, #6100, #6110), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0.00124569536320191, 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.999118576855774, 0.823106200307211, 1., 0.822664388008033, 1.))
   REPRESENTATION_ITEM ('')
);
#6130 = EDGE_CURVE ('', #5760, #6060, #6120, .T.);
#6140 = ORIENTED_EDGE ('', *, *, #6130, .T.);
#6150 = CARTESIAN_POINT ('', (13.3328756555323, 3.5, 22.5));
#6160 = VERTEX_POINT ('', #6150);
#6170 = CARTESIAN_POINT ('', (12.01, 3.5, 26.));
#6180 = CARTESIAN_POINT ('', (13.3921609892809, 3.5, 26.));
#6190 = CARTESIAN_POINT ('', (13.880828693387, 3.5, 24.7071067811865));
#6200 = CARTESIAN_POINT ('', (14.369496397493, 3.5, 23.4142135623731));
#6210 = CARTESIAN_POINT ('', (13.3328756555323, 3.5, 22.5));
#6220 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6170, #6180, #6190, #6200, #6210), .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.822664388008034, 1., 0.822664388008034, 1.))
   REPRESENTATION_ITEM ('')
);
#6230 = EDGE_CURVE ('', #6060, #6160, #6220, .T.);
#6240 = ORIENTED_EDGE ('', *, *, #6230, .T.);
#6250 = CARTESIAN_POINT ('', (13.3328756555323, 3.5, 22.5));
#6260 = CARTESIAN_POINT ('', (19.4606313936482, 3.5, 22.5));
#6270 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6250, #6260), .UNSPECIFIED., .F., .U., (2, 2), (0.113922297966271, 0.414449798609525), .UNSPECIFIED.);
#6280 = EDGE_CURVE ('', #6160, #5000, #6270, .T.);
#6290 = ORIENTED_EDGE ('', *, *, #6280, .T.);
#6300 = ORIENTED_EDGE ('', *, *, #5040, .T.);
#6310 = ORIENTED_EDGE ('', *, *, #5600, .T.);
#6320 = ORIENTED_EDGE ('', *, *, #5240, .T.);
#6330 = ORIENTED_EDGE ('', *, *, #4520, .T.);
#6340 = ORIENTED_EDGE ('', *, *, #5860, .F.);
#6350 = EDGE_LOOP ('', (#6140, #6240, #6290, #6300, #6310, #6320, #6330, #6340));
#6360 = FACE_OUTER_BOUND ('', #6350, .T.);
#6370 = CARTESIAN_POINT ('', (19.4606313936482, 3.5, 22.5));
#6380 = CARTESIAN_POINT ('', (2.94774225170144, 3.5, 22.5));
#6390 = CARTESIAN_POINT ('', (19.4606313936482, 3.5, 27.5));
#6400 = CARTESIAN_POINT ('', (2.94774225170144, 3.5, 27.5));
#6410 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6370, #6380), (#6390, #6400)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.428140715093903, 0.571859284906098), (0.394352414921627, 0.868994177111206), .UNSPECIFIED.);
#6420 = ADVANCED_FACE ('', (#6360), #6410, .T.);
#6430 = CARTESIAN_POINT ('', (13.3328756555323, -3., 22.5));
#6440 = VERTEX_POINT ('', #6430);
#6450 = CARTESIAN_POINT ('', (13.3328756555323, -3., 22.5));
#6460 = CARTESIAN_POINT ('', (13.3328756555323, 3.5, 22.5));
#6470 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6450, #6460), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6480 = EDGE_CURVE ('', #6440, #6160, #6470, .T.);
#6490 = ORIENTED_EDGE ('', *, *, #6480, .F.);
#6500 = CARTESIAN_POINT ('', (13.3328756555323, -3., 22.5));
#6510 = CARTESIAN_POINT ('', (21.2023011444505, -3., 22.5));
#6520 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6500, #6510), .UNSPECIFIED., .F., .U., (2, 2), (0.113922297966271, 0.499867638276141), .UNSPECIFIED.);
#6530 = EDGE_CURVE ('', #6440, #4780, #6520, .T.);
#6540 = ORIENTED_EDGE ('', *, *, #6530, .T.);
#6550 = ORIENTED_EDGE ('', *, *, #5090, .T.);
#6560 = ORIENTED_EDGE ('', *, *, #6280, .F.);
#6570 = EDGE_LOOP ('', (#6490, #6540, #6550, #6560));
#6580 = FACE_OUTER_BOUND ('', #6570, .T.);
#6590 = CARTESIAN_POINT ('', (13.3328756555323, -3., 22.5));
#6600 = CARTESIAN_POINT ('', (13.3328756555323, 3.5, 22.5));
#6610 = CARTESIAN_POINT ('', (21.2023011444505, -3., 22.5));
#6620 = CARTESIAN_POINT ('', (21.2023011444505, 3.5, 22.5));
#6630 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6590, #6600), (#6610, #6620)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.113922297966271, 0.499867638276141), (0., 1.), .UNSPECIFIED.);
#6640 = ADVANCED_FACE ('', (#6580), #6630, .T.);
#6650 = CARTESIAN_POINT ('', (12.01, -3., 26.));
#6660 = VERTEX_POINT ('', #6650);
#6670 = CARTESIAN_POINT ('', (10.6828785165115, -3., 22.5037551777656));
#6680 = CARTESIAN_POINT ('', (9.65198270956006, -3., 23.418126911798));
#6690 = CARTESIAN_POINT ('', (10.139171306613, -3., 24.7071067811866));
#6700 = CARTESIAN_POINT ('', (10.627839010719, -3., 26.));
#6710 = CARTESIAN_POINT ('', (12.01, -3., 26.));
#6720 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6670, #6680, #6690, #6700, #6710), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0.00124569536320191, 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.999118576855774, 0.823106200307212, 1., 0.822664388008035, 1.))
   REPRESENTATION_ITEM ('')
);
#6730 = EDGE_CURVE ('', #5740, #6660, #6720, .T.);
#6740 = ORIENTED_EDGE ('', *, *, #6730, .F.);
#6750 = ORIENTED_EDGE ('', *, *, #5930, .T.);
#6760 = ORIENTED_EDGE ('', *, *, #4380, .T.);
#6770 = ORIENTED_EDGE ('', *, *, #5440, .T.);
#6780 = ORIENTED_EDGE ('', *, *, #1740, .F.);
#6790 = ORIENTED_EDGE ('', *, *, #4820, .T.);
#6800 = ORIENTED_EDGE ('', *, *, #6530, .F.);
#6810 = CARTESIAN_POINT ('', (12.01, -3., 26.));
#6820 = CARTESIAN_POINT ('', (13.3921609892809, -3., 26.));
#6830 = CARTESIAN_POINT ('', (13.880828693387, -3., 24.7071067811865));
#6840 = CARTESIAN_POINT ('', (14.369496397493, -3., 23.4142135623731));
#6850 = CARTESIAN_POINT ('', (13.3328756555323, -3., 22.5));
#6860 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6810, #6820, #6830, #6840, #6850), .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.822664388008035, 1., 0.822664388008035, 1.))
   REPRESENTATION_ITEM ('')
);
#6870 = EDGE_CURVE ('', #6660, #6440, #6860, .T.);
#6880 = ORIENTED_EDGE ('', *, *, #6870, .F.);
#6890 = EDGE_LOOP ('', (#6740, #6750, #6760, #6770, #6780, #6790, #6800, #6880));
#6900 = FACE_OUTER_BOUND ('', #6890, .T.);
#6910 = CARTESIAN_POINT ('', (21.2023011444505, -3., 22.5));
#6920 = CARTESIAN_POINT ('', (21.2023011444505, -3., 27.5));
#6930 = CARTESIAN_POINT ('', (2.94774225170144, -3., 22.5));
#6940 = CARTESIAN_POINT ('', (2.94774225170144, -3., 27.5));
#6950 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6910, #6920), (#6930, #6940)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.344290357787534, 0.868994177111206), (0.428140715093903, 0.571859284906097), .UNSPECIFIED.);
#6960 = ADVANCED_FACE ('', (#6900), #6950, .T.);
#6970 = ORIENTED_EDGE ('', *, *, #2510, .F.);
#6980 = CARTESIAN_POINT ('', (12.01, -13., 26.));
#6990 = CARTESIAN_POINT ('', (12.01, -3., 26.));
#7000 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6980, #6990), .UNSPECIFIED., .F., .U., (2, 2), (0.138004246284501, 0.35031847133758), .UNSPECIFIED.);
#7010 = EDGE_CURVE ('', #2400, #6660, #7000, .T.);
#7020 = ORIENTED_EDGE ('', *, *, #7010, .T.);
#7030 = ORIENTED_EDGE ('', *, *, #6870, .T.);
#7040 = ORIENTED_EDGE ('', *, *, #6480, .T.);
#7050 = ORIENTED_EDGE ('', *, *, #6230, .F.);
#7060 = CARTESIAN_POINT ('', (12.01, 3.5, 26.));
#7070 = CARTESIAN_POINT ('', (12.01, 12.5, 26.));
#7080 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7060, #7070), .UNSPECIFIED., .F., .U., (2, 2), (0.488322717622081, 0.679405520169851), .UNSPECIFIED.);
#7090 = EDGE_CURVE ('', #6060, #1300, #7080, .T.);
#7100 = ORIENTED_EDGE ('', *, *, #7090, .T.);
#7110 = ORIENTED_EDGE ('', *, *, #1410, .T.);
#7120 = ORIENTED_EDGE ('', *, *, #7090, .F.);
#7130 = ORIENTED_EDGE ('', *, *, #6130, .F.);
#7140 = ORIENTED_EDGE ('', *, *, #5800, .F.);
#7150 = ORIENTED_EDGE ('', *, *, #6730, .T.);
#7160 = ORIENTED_EDGE ('', *, *, #7010, .F.);
#7170 = EDGE_LOOP ('', (#6970, #7020, #7030, #7040, #7050, #7100, #7110, #7120, #7130, #7140, #7150, #7160));
#7180 = FACE_OUTER_BOUND ('', #7170, .T.);
#7190 = CARTESIAN_POINT ('', (12.01, -13., 26.));
#7200 = CARTESIAN_POINT ('', (14.01, -13., 26.));
#7210 = CARTESIAN_POINT ('', (14.01, -13., 24.));
#7220 = CARTESIAN_POINT ('', (14.01, -13., 22.));
#7230 = CARTESIAN_POINT ('', (12.01, -13., 22.));
#7240 = CARTESIAN_POINT ('', (10.01, -13., 22.));
#7250 = CARTESIAN_POINT ('', (10.01, -13., 24.));
#7260 = CARTESIAN_POINT ('', (10.01, -13., 26.));
#7270 = CARTESIAN_POINT ('', (12.01, -13., 26.));
#7280 = CARTESIAN_POINT ('', (12.01, 12.5, 26.));
#7290 = CARTESIAN_POINT ('', (14.01, 12.5, 26.));
#7300 = CARTESIAN_POINT ('', (14.01, 12.5, 24.));
#7310 = CARTESIAN_POINT ('', (14.01, 12.5, 22.));
#7320 = CARTESIAN_POINT ('', (12.01, 12.5, 22.));
#7330 = CARTESIAN_POINT ('', (10.01, 12.5, 22.));
#7340 = CARTESIAN_POINT ('', (10.01, 12.5, 24.));
#7350 = CARTESIAN_POINT ('', (10.01, 12.5, 26.));
#7360 = CARTESIAN_POINT ('', (12.01, 12.5, 26.));
#7370 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#7190, #7200, #7210, #7220, #7230, #7240, #7250, #7260, #7270), (#7280, #7290, #7300, #7310, #7320, #7330, #7340, #7350, #7360)), .UNSPECIFIED., .F., .T., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 2, 2, 3), (0.138004246284501, 0.679405520169851), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.)))
   REPRESENTATION_ITEM ('')
);
#7380 = ADVANCED_FACE ('', (#7180), #7370, .T.);
#7390 = CLOSED_SHELL ('', (#640, #920, #1500, #1660, #2020, #2600, #2880, #3160, #3460, #3680, #3900, #4120, #4300, #4760, #5180, #5400, #5560, #5720, #6040, #6420, #6640, #6960, #7380));
#7400 = MANIFOLD_SOLID_BREP ('', #7390);
#7410 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#7420 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#7430 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#7440 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #7410, 'DISTANCE_ACCURACY_VALUE', '');
#7450 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#7440))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#7410, #7420, #7430))
   REPRESENTATION_CONTEXT ('', '3D')
);
#7460 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#7470 = FILL_AREA_STYLE_COLOUR ('', #7460);
#7480 = FILL_AREA_STYLE ('', (#7470));
#7490 = SURFACE_STYLE_FILL_AREA (#7480);
#7500 = SURFACE_SIDE_STYLE ('', (#7490));
#7510 = SURFACE_STYLE_USAGE (.POSITIVE., #7500);
#7520 = PRESENTATION_STYLE_ASSIGNMENT ((#7510));
#7530 = STYLED_ITEM ('', (#7520), #7400);
#7540 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#7400), #7450);
#7550 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#7560 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #7550);
#7570 = MECHANICAL_CONTEXT ('', #7550, 'mechanical');
#7580 = PRODUCT ('product-name', '', '', (#7570));
#7590 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#7600 = PERSON ('', '', $, $, $, $);
#7610 = ORGANIZATION ($, '', '');
#7620 = PERSON_AND_ORGANIZATION (#7600, #7610);
#7630 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#7620, #7590, (#7580));
#7640 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#7580));
#7650 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #7580, .NOT_KNOWN.);
#7660 = APPROVAL_STATUS ('approved');
#7670 = APPROVAL (#7660, '');
#7680 = CALENDAR_DATE (2010, 8, 12);
#7690 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#7700 = LOCAL_TIME (10, 42, 9., #7690);
#7710 = DATE_AND_TIME (#7680, #7700);
#7720 = APPROVAL_DATE_TIME (#7710, #7670);
#7730 = APPROVAL_ROLE ('');
#7740 = PERSON ('', '', $, $, $, $);
#7750 = ORGANIZATION ($, '', '');
#7760 = PERSON_AND_ORGANIZATION (#7740, #7750);
#7770 = APPROVAL_PERSON_ORGANIZATION (#7760, #7670, #7730);
#7780 = CC_DESIGN_APPROVAL (#7670, (#7650));
#7790 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#7800 = PERSON ('', '', $, $, $, $);
#7810 = ORGANIZATION ($, '', '');
#7820 = PERSON_AND_ORGANIZATION (#7800, #7810);
#7830 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#7820, #7790, (#7650));
#7840 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#7850 = PERSON ('', '', $, $, $, $);
#7860 = ORGANIZATION ($, '', '');
#7870 = PERSON_AND_ORGANIZATION (#7850, #7860);
#7880 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#7870, #7840, (#7650));
#7890 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#7900 = SECURITY_CLASSIFICATION ('', '', #7890);
#7910 = APPROVAL_STATUS ('approved');
#7920 = APPROVAL (#7910, '');
#7930 = CALENDAR_DATE (2010, 8, 12);
#7940 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#7950 = LOCAL_TIME (10, 42, 9., #7940);
#7960 = DATE_AND_TIME (#7930, #7950);
#7970 = APPROVAL_DATE_TIME (#7960, #7920);
#7980 = APPROVAL_ROLE ('');
#7990 = PERSON ('', '', $, $, $, $);
#8000 = ORGANIZATION ($, '', '');
#8010 = PERSON_AND_ORGANIZATION (#7990, #8000);
#8020 = APPROVAL_PERSON_ORGANIZATION (#8010, #7920, #7980);
#8030 = CC_DESIGN_APPROVAL (#7920, (#7900));
#8040 = DATE_TIME_ROLE ('classification_date');
#8050 = CALENDAR_DATE (2010, 8, 12);
#8060 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#8070 = LOCAL_TIME (10, 42, 9., #8060);
#8080 = DATE_AND_TIME (#8050, #8070);
#8090 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#8080, #8040, (#7900));
#8100 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#8110 = PERSON ('', '', $, $, $, $);
#8120 = ORGANIZATION ($, '', '');
#8130 = PERSON_AND_ORGANIZATION (#8110, #8120);
#8140 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#8130, #8100, (#7900));
#8150 = CC_DESIGN_SECURITY_CLASSIFICATION (#7900, (#7650));
#8160 = DESIGN_CONTEXT ('', #7550, 'design');
#8170 = PRODUCT_DEFINITION ('', '', #7650, #8160);
#8180 = APPROVAL_STATUS ('approved');
#8190 = APPROVAL (#8180, '');
#8200 = CALENDAR_DATE (2010, 8, 12);
#8210 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#8220 = LOCAL_TIME (10, 42, 9., #8210);
#8230 = DATE_AND_TIME (#8200, #8220);
#8240 = APPROVAL_DATE_TIME (#8230, #8190);
#8250 = APPROVAL_ROLE ('');
#8260 = PERSON ('', '', $, $, $, $);
#8270 = ORGANIZATION ($, '', '');
#8280 = PERSON_AND_ORGANIZATION (#8260, #8270);
#8290 = APPROVAL_PERSON_ORGANIZATION (#8280, #8190, #8250);
#8300 = CC_DESIGN_APPROVAL (#8190, (#8170));
#8310 = DATE_TIME_ROLE ('creation_date');
#8320 = CALENDAR_DATE (2010, 8, 12);
#8330 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#8340 = LOCAL_TIME (10, 42, 9., #8330);
#8350 = DATE_AND_TIME (#8320, #8340);
#8360 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#8350, #8310, (#8170));
#8370 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#8380 = PERSON ('', '', $, $, $, $);
#8390 = ORGANIZATION ($, '', '');
#8400 = PERSON_AND_ORGANIZATION (#8380, #8390);
#8410 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#8400, #8370, (#8170));
#8420 = PRODUCT_DEFINITION_SHAPE ('', '', #8170);
#8430 = SHAPE_DEFINITION_REPRESENTATION (#8420, #7540);
#8440 = CARTESIAN_POINT ('', (0.00999999999999979, -3.35, 26.90900480909));
#8450 = VERTEX_POINT ('', #8440);
#8460 = CARTESIAN_POINT ('', (10.5911554500446, -3.35, 19.5));
#8470 = VERTEX_POINT ('', #8460);
#8480 = CARTESIAN_POINT ('', (0.00999999999999623, -3.35, 26.90900480909));
#8490 = CARTESIAN_POINT ('', (10.5911554500446, -3.35, 19.5));
#8500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8480, #8490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8510 = EDGE_CURVE ('', #8450, #8470, #8500, .T.);
#8520 = ORIENTED_EDGE ('', *, *, #8510, .F.);
#8530 = CARTESIAN_POINT ('', (0.00999999999999979, 2.5, 26.90900480909));
#8540 = VERTEX_POINT ('', #8530);
#8550 = CARTESIAN_POINT ('', (0.00999999999999979, -3.35, 26.90900480909));
#8560 = CARTESIAN_POINT ('', (0.00999999999999979, 2.5, 26.90900480909));
#8570 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8550, #8560), .UNSPECIFIED., .F., .U., (2, 2), (0.734090909090909, 1.), .UNSPECIFIED.);
#8580 = EDGE_CURVE ('', #8450, #8540, #8570, .T.);
#8590 = ORIENTED_EDGE ('', *, *, #8580, .T.);
#8600 = CARTESIAN_POINT ('', (10.5911554500446, 2.5, 19.5));
#8610 = VERTEX_POINT ('', #8600);
#8620 = CARTESIAN_POINT ('', (0.00999999999999979, 2.5, 26.90900480909));
#8630 = CARTESIAN_POINT ('', (10.5911554500446, 2.5, 19.5));
#8640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8620, #8630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8650 = EDGE_CURVE ('', #8540, #8610, #8640, .T.);
#8660 = ORIENTED_EDGE ('', *, *, #8650, .T.);
#8670 = CARTESIAN_POINT ('', (10.5911554500446, -3.35, 19.5));
#8680 = CARTESIAN_POINT ('', (10.5911554500446, 2.5, 19.5));
#8690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8670, #8680), .UNSPECIFIED., .F., .U., (2, 2), (0.734090909090909, 1.), .UNSPECIFIED.);
#8700 = EDGE_CURVE ('', #8470, #8610, #8690, .T.);
#8710 = ORIENTED_EDGE ('', *, *, #8700, .F.);
#8720 = EDGE_LOOP ('', (#8520, #8590, #8660, #8710));
#8730 = FACE_OUTER_BOUND ('', #8720, .T.);
#8740 = CARTESIAN_POINT ('', (0.00999999999999979, -19.5, 26.90900480909));
#8750 = CARTESIAN_POINT ('', (10.5911554500446, -19.5, 19.5));
#8760 = CARTESIAN_POINT ('', (0.00999999999999979, 2.5, 26.90900480909));
#8770 = CARTESIAN_POINT ('', (10.5911554500446, 2.5, 19.5));
#8780 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8740, #8750), (#8760, #8770)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#8790 = ADVANCED_FACE ('', (#8730), #8780, .T.);
#8800 = CARTESIAN_POINT ('', (19.5367598929555, 2.5, 19.5));
#8810 = VERTEX_POINT ('', #8800);
#8820 = CARTESIAN_POINT ('', (19.5367598929555, 2.5, 30.3270645778919));
#8830 = VERTEX_POINT ('', #8820);
#8840 = CARTESIAN_POINT ('', (19.5367598929555, 2.5, 19.5));
#8850 = CARTESIAN_POINT ('', (19.5367598929555, 2.5, 30.3270645778919));
#8860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8840, #8850), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.746694108820129), .UNSPECIFIED.);
#8870 = EDGE_CURVE ('', #8810, #8830, #8860, .T.);
#8880 = ORIENTED_EDGE ('', *, *, #8870, .F.);
#8890 = CARTESIAN_POINT ('', (10.5911554500446, 2.5, 19.5));
#8900 = CARTESIAN_POINT ('', (19.5367598929555, 2.5, 19.5));
#8910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8890, #8900), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.620410630818444), .UNSPECIFIED.);
#8920 = EDGE_CURVE ('', #8610, #8810, #8910, .T.);
#8930 = ORIENTED_EDGE ('', *, *, #8920, .F.);
#8940 = ORIENTED_EDGE ('', *, *, #8650, .F.);
#8950 = CARTESIAN_POINT ('', (0.00999999999999979, 2.5, 34.));
#8960 = VERTEX_POINT ('', #8950);
#8970 = CARTESIAN_POINT ('', (0.00999999999999979, 2.5, 34.));
#8980 = CARTESIAN_POINT ('', (0.00999999999999979, 2.5, 26.90900480909));
#8990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8970, #8980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9000 = EDGE_CURVE ('', #8960, #8540, #8990, .T.);
#9010 = ORIENTED_EDGE ('', *, *, #9000, .F.);
#9020 = CARTESIAN_POINT ('', (14.2912644909793, 2.5, 34.));
#9030 = VERTEX_POINT ('', #9020);
#9040 = CARTESIAN_POINT ('', (14.2912644909793, 2.5, 34.));
#9050 = CARTESIAN_POINT ('', (0.00999999999999979, 2.5, 34.));
#9060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9040, #9050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9070 = EDGE_CURVE ('', #9030, #8960, #9060, .T.);
#9080 = ORIENTED_EDGE ('', *, *, #9070, .F.);
#9090 = CARTESIAN_POINT ('', (19.5367598929555, 2.5, 30.3270645778919));
#9100 = CARTESIAN_POINT ('', (14.2912644909793, 2.5, 34.));
#9110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9090, #9100), .UNSPECIFIED., .F., .U., (2, 2), (0.510623674074083, 1.), .UNSPECIFIED.);
#9120 = EDGE_CURVE ('', #8830, #9030, #9110, .T.);
#9130 = ORIENTED_EDGE ('', *, *, #9120, .F.);
#9140 = EDGE_LOOP ('', (#8880, #8930, #8940, #9010, #9080, #9130));
#9150 = FACE_OUTER_BOUND ('', #9140, .T.);
#9160 = CARTESIAN_POINT ('', (12.01, 2.5, 26.05));
#9170 = VERTEX_POINT ('', #9160);
#9180 = CARTESIAN_POINT ('', (12.01, 2.5, 26.05));
#9190 = CARTESIAN_POINT ('', (14.06, 2.5, 26.05));
#9200 = CARTESIAN_POINT ('', (14.06, 2.5, 24.));
#9210 = CARTESIAN_POINT ('', (14.06, 2.5, 21.95));
#9220 = CARTESIAN_POINT ('', (12.01, 2.5, 21.95));
#9230 = CARTESIAN_POINT ('', (9.96, 2.5, 21.95));
#9240 = CARTESIAN_POINT ('', (9.96, 2.5, 24.));
#9250 = CARTESIAN_POINT ('', (9.96, 2.5, 26.05));
#9260 = CARTESIAN_POINT ('', (12.01, 2.5, 26.05));
#9270 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#9180, #9190, #9200, #9210, #9220, #9230, #9240, #9250, #9260), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#9280 = EDGE_CURVE ('', #9170, #9170, #9270, .T.);
#9290 = ORIENTED_EDGE ('', *, *, #9280, .F.);
#9300 = EDGE_LOOP ('', (#9290));
#9310 = FACE_BOUND ('', #9300, .T.);
#9320 = CARTESIAN_POINT ('', (19.5367598929555, 2.5, 19.5));
#9330 = CARTESIAN_POINT ('', (19.5367598929555, 2.5, 34.));
#9340 = CARTESIAN_POINT ('', (0.00999999999999979, 2.5, 19.5));
#9350 = CARTESIAN_POINT ('', (0.00999999999999979, 2.5, 34.));
#9360 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9320, #9330), (#9340, #9350)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.278968492114166, 0.893195995119002), (0.271946322830979, 0.728053677169021), .UNSPECIFIED.);
#9370 = ADVANCED_FACE ('', (#9150, #9310), #9360, .T.);
#9380 = CARTESIAN_POINT ('', (22.860152531432, -9.90307018029455, 28.));
#9390 = VERTEX_POINT ('', #9380);
#9400 = CARTESIAN_POINT ('', (21.1042626686776, -3.35, 28.));
#9410 = VERTEX_POINT ('', #9400);
#9420 = CARTESIAN_POINT ('', (22.860152531432, -9.90307018029455, 28.));
#9430 = CARTESIAN_POINT ('', (21.1042626686776, -3.35000000000001, 28.));
#9440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9420, #9430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9450 = EDGE_CURVE ('', #9390, #9410, #9440, .T.);
#9460 = ORIENTED_EDGE ('', *, *, #9450, .F.);
#9470 = CARTESIAN_POINT ('', (22.860152531432, -13.4, 28.));
#9480 = VERTEX_POINT ('', #9470);
#9490 = CARTESIAN_POINT ('', (22.860152531432, -9.90307018029455, 28.));
#9500 = CARTESIAN_POINT ('', (22.860152531432, -13.4, 28.));
#9510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9490, #9500), .UNSPECIFIED., .F., .U., (2, 2), (0.65204678410891, 1.), .UNSPECIFIED.);
#9520 = EDGE_CURVE ('', #9390, #9480, #9510, .T.);
#9530 = ORIENTED_EDGE ('', *, *, #9520, .T.);
#9540 = CARTESIAN_POINT ('', (0.00999999999999979, -13.4, 28.));
#9550 = VERTEX_POINT ('', #9540);
#9560 = CARTESIAN_POINT ('', (0.00999999999999979, -13.4, 28.));
#9570 = CARTESIAN_POINT ('', (22.860152531432, -13.4, 28.));
#9580 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9560, #9570), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.914006101257279), .UNSPECIFIED.);
#9590 = EDGE_CURVE ('', #9550, #9480, #9580, .T.);
#9600 = ORIENTED_EDGE ('', *, *, #9590, .F.);
#9610 = CARTESIAN_POINT ('', (0.00999999999999979, -3.35, 28.));
#9620 = VERTEX_POINT ('', #9610);
#9630 = CARTESIAN_POINT ('', (0.00999999999999979, -13.4, 28.));
#9640 = CARTESIAN_POINT ('', (0.00999999999999979, -3.35, 28.));
#9650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9630, #9640), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9660 = EDGE_CURVE ('', #9550, #9620, #9650, .T.);
#9670 = ORIENTED_EDGE ('', *, *, #9660, .T.);
#9680 = CARTESIAN_POINT ('', (0.00999999999999979, -3.35, 28.));
#9690 = CARTESIAN_POINT ('', (21.1042626686776, -3.35, 28.));
#9700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9680, #9690), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.843770506747103), .UNSPECIFIED.);
#9710 = EDGE_CURVE ('', #9620, #9410, #9700, .T.);
#9720 = ORIENTED_EDGE ('', *, *, #9710, .T.);
#9730 = EDGE_LOOP ('', (#9460, #9530, #9600, #9670, #9720));
#9740 = FACE_OUTER_BOUND ('', #9730, .T.);
#9750 = CARTESIAN_POINT ('', (0.00999999999999979, -13.4, 28.));
#9760 = CARTESIAN_POINT ('', (22.860152531432, -13.4, 28.));
#9770 = CARTESIAN_POINT ('', (0.00999999999999979, -3.35, 28.));
#9780 = CARTESIAN_POINT ('', (22.860152531432, -3.35, 28.));
#9790 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9750, #9760), (#9770, #9780)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 0.914006101257279), .UNSPECIFIED.);
#9800 = ADVANCED_FACE ('', (#9740), #9790, .T.);
#9810 = CARTESIAN_POINT ('', (21.1042626686776, -3.35, 19.5));
#9820 = VERTEX_POINT ('', #9810);
#9830 = CARTESIAN_POINT ('', (21.1042626686776, -3.35, 28.));
#9840 = CARTESIAN_POINT ('', (21.1042626686776, -3.35, 19.5));
#9850 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9830, #9840), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9860 = EDGE_CURVE ('', #9410, #9820, #9850, .T.);
#9870 = ORIENTED_EDGE ('', *, *, #9860, .F.);
#9880 = ORIENTED_EDGE ('', *, *, #9710, .F.);
#9890 = CARTESIAN_POINT ('', (0.00999999999999979, -3.35, 28.));
#9900 = CARTESIAN_POINT ('', (0.00999999999999979, -3.35, 26.90900480909));
#9910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9890, #9900), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.12835237540118), .UNSPECIFIED.);
#9920 = EDGE_CURVE ('', #9620, #8450, #9910, .T.);
#9930 = ORIENTED_EDGE ('', *, *, #9920, .T.);
#9940 = ORIENTED_EDGE ('', *, *, #8510, .T.);
#9950 = CARTESIAN_POINT ('', (10.5911554500446, -3.35, 19.5));
#9960 = CARTESIAN_POINT ('', (21.1042626686776, -3.35, 19.5));
#9970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9950, #9960), .UNSPECIFIED., .F., .U., (2, 2), (0.423246218001783, 0.843770506747103), .UNSPECIFIED.);
#9980 = EDGE_CURVE ('', #8470, #9820, #9970, .T.);
#9990 = ORIENTED_EDGE ('', *, *, #9980, .T.);
#10000 = EDGE_LOOP ('', (#9870, #9880, #9930, #9940, #9990));
#10010 = FACE_OUTER_BOUND ('', #10000, .T.);
#10020 = CARTESIAN_POINT ('', (12.01, -3.35, 26.05));
#10030 = VERTEX_POINT ('', #10020);
#10040 = CARTESIAN_POINT ('', (12.01, -3.35, 26.05));
#10050 = CARTESIAN_POINT ('', (14.06, -3.35, 26.05));
#10060 = CARTESIAN_POINT ('', (14.06, -3.35, 24.));
#10070 = CARTESIAN_POINT ('', (14.06, -3.35, 21.95));
#10080 = CARTESIAN_POINT ('', (12.01, -3.35, 21.95));
#10090 = CARTESIAN_POINT ('', (9.96, -3.35, 21.95));
#10100 = CARTESIAN_POINT ('', (9.96, -3.35, 24.));
#10110 = CARTESIAN_POINT ('', (9.96, -3.35, 26.05));
#10120 = CARTESIAN_POINT ('', (12.01, -3.35, 26.05));
#10130 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#10040, #10050, #10060, #10070, #10080, #10090, #10100, #10110, #10120), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#10140 = EDGE_CURVE ('', #10030, #10030, #10130, .T.);
#10150 = ORIENTED_EDGE ('', *, *, #10140, .T.);
#10160 = EDGE_LOOP ('', (#10150));
#10170 = FACE_BOUND ('', #10160, .T.);
#10180 = CARTESIAN_POINT ('', (21.1042626686776, -3.35, 19.5));
#10190 = CARTESIAN_POINT ('', (0.0100000000000016, -3.35, 19.5));
#10200 = CARTESIAN_POINT ('', (21.1042626686776, -3.35, 28.));
#10210 = CARTESIAN_POINT ('', (0.0100000000000016, -3.35, 28.));
#10220 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10180, #10190), (#10200, #10210)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.35368057580059, 0.64631942419941), (0.204115867035438, 0.930351247645324), .UNSPECIFIED.);
#10230 = ADVANCED_FACE ('', (#10010, #10170), #10220, .T.);
#10240 = CARTESIAN_POINT ('', (21.1042626686776, -3.35, 19.5));
#10250 = CARTESIAN_POINT ('', (19.5367598929555, 2.5, 19.5));
#10260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10240, #10250), .UNSPECIFIED., .F., .U., (2, 2), (0.702743902439024, 1.), .UNSPECIFIED.);
#10270 = EDGE_CURVE ('', #9820, #8810, #10260, .T.);
#10280 = ORIENTED_EDGE ('', *, *, #10270, .F.);
#10290 = ORIENTED_EDGE ('', *, *, #9980, .F.);
#10300 = ORIENTED_EDGE ('', *, *, #8700, .T.);
#10310 = ORIENTED_EDGE ('', *, *, #8920, .T.);
#10320 = EDGE_LOOP ('', (#10280, #10290, #10300, #10310));
#10330 = FACE_OUTER_BOUND ('', #10320, .T.);
#10340 = CARTESIAN_POINT ('', (10.5911554500446, -19.5, 19.5));
#10350 = CARTESIAN_POINT ('', (21.1042626686776, -19.5, 19.5));
#10360 = CARTESIAN_POINT ('', (10.5911554500446, 2.5, 19.5));
#10370 = CARTESIAN_POINT ('', (21.1042626686776, 2.5, 19.5));
#10380 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10340, #10350), (#10360, #10370)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 0.729122724238365), .UNSPECIFIED.);
#10390 = ADVANCED_FACE ('', (#10330), #10380, .T.);
#10400 = CARTESIAN_POINT ('', (19.5367598929555, 2.50000000000001, 30.3270645778919));
#10410 = CARTESIAN_POINT ('', (22.860152531432, -9.90307018029455, 28.));
#10420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10400, #10410), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.630237305909276), .UNSPECIFIED.);
#10430 = EDGE_CURVE ('', #8830, #9390, #10420, .T.);
#10440 = ORIENTED_EDGE ('', *, *, #10430, .T.);
#10450 = ORIENTED_EDGE ('', *, *, #9450, .T.);
#10460 = ORIENTED_EDGE ('', *, *, #9860, .T.);
#10470 = ORIENTED_EDGE ('', *, *, #10270, .T.);
#10480 = ORIENTED_EDGE ('', *, *, #8870, .T.);
#10490 = EDGE_LOOP ('', (#10440, #10450, #10460, #10470, #10480));
#10500 = FACE_OUTER_BOUND ('', #10490, .T.);
#10510 = CARTESIAN_POINT ('', (24.81, -17.18, 19.5));
#10520 = CARTESIAN_POINT ('', (24.81, -17.18, 30.3270645778919));
#10530 = CARTESIAN_POINT ('', (19.5367598929555, 2.5, 19.5));
#10540 = CARTESIAN_POINT ('', (19.5367598929555, 2.5, 30.3270645778919));
#10550 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10510, #10520), (#10530, #10540)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.895359417652411), (0., 0.678812826200118), .UNSPECIFIED.);
#10560 = ADVANCED_FACE ('', (#10500), #10550, .T.);
#10570 = CARTESIAN_POINT ('', (24.81, -17.18, 23.25));
#10580 = VERTEX_POINT ('', #10570);
#10590 = CARTESIAN_POINT ('', (23.7971520526104, -13.4, 21.9821105337287));
#10600 = VERTEX_POINT ('', #10590);
#10610 = CARTESIAN_POINT ('', (24.81, -17.18, 23.25));
#10620 = CARTESIAN_POINT ('', (24.81, -17.18, 22.2115006933697));
#10630 = CARTESIAN_POINT ('', (23.7971520526104, -13.4, 21.9821105337287));
#10640 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#10610, #10620, #10630), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.781308579984778, 1.))
   REPRESENTATION_ITEM ('')
);
#10650 = EDGE_CURVE ('', #10580, #10600, #10640, .T.);
#10660 = ORIENTED_EDGE ('', *, *, #10650, .T.);
#10670 = CARTESIAN_POINT ('', (23.7971520526104, -13.4, 27.343905871972));
#10680 = VERTEX_POINT ('', #10670);
#10690 = CARTESIAN_POINT ('', (23.7971520526104, -13.4, 21.9821105337287));
#10700 = CARTESIAN_POINT ('', (23.7971520526104, -13.4, 27.343905871972));
#10710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10690, #10700), .UNSPECIFIED., .F., .U., (2, 2), (0.292013003968085, 0.922812455526117), .UNSPECIFIED.);
#10720 = EDGE_CURVE ('', #10600, #10680, #10710, .T.);
#10730 = ORIENTED_EDGE ('', *, *, #10720, .T.);
#10740 = CARTESIAN_POINT ('', (24.81, -17.18, 26.6347021041495));
#10750 = VERTEX_POINT ('', #10740);
#10760 = CARTESIAN_POINT ('', (23.7971520526104, -13.4, 27.343905871972));
#10770 = CARTESIAN_POINT ('', (24.81, -17.18, 26.6347021041495));
#10780 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10760, #10770), .UNSPECIFIED., .F., .U., (2, 2), (0.807926829268293, 1.), .UNSPECIFIED.);
#10790 = EDGE_CURVE ('', #10680, #10750, #10780, .T.);
#10800 = ORIENTED_EDGE ('', *, *, #10790, .T.);
#10810 = CARTESIAN_POINT ('', (24.81, -17.18, 23.25));
#10820 = CARTESIAN_POINT ('', (24.81, -17.18, 26.6347021041495));
#10830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10810, #10820), .UNSPECIFIED., .F., .U., (2, 2), (0.235109717868339, 0.447316746341664), .UNSPECIFIED.);
#10840 = EDGE_CURVE ('', #10580, #10750, #10830, .T.);
#10850 = ORIENTED_EDGE ('', *, *, #10840, .F.);
#10860 = EDGE_LOOP ('', (#10660, #10730, #10800, #10850));
#10870 = FACE_OUTER_BOUND ('', #10860, .T.);
#10880 = CARTESIAN_POINT ('', (24.81, -17.18, 19.5));
#10890 = CARTESIAN_POINT ('', (24.81, -17.18, 30.3270645778919));
#10900 = CARTESIAN_POINT ('', (19.5367598929555, 2.5, 19.5));
#10910 = CARTESIAN_POINT ('', (19.5367598929555, 2.5, 30.3270645778919));
#10920 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10880, #10890), (#10900, #10910)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.895359417652411), (0., 0.678812826200118), .UNSPECIFIED.);
#10930 = ADVANCED_FACE ('', (#10870), #10920, .T.);
#10940 = ORIENTED_EDGE ('', *, *, #10840, .T.);
#10950 = CARTESIAN_POINT ('', (24.81, -19.5, 26.6347021041495));
#10960 = VERTEX_POINT ('', #10950);
#10970 = CARTESIAN_POINT ('', (24.81, -17.18, 26.6347021041495));
#10980 = CARTESIAN_POINT ('', (24.81, -19.5, 26.6347021041495));
#10990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10970, #10980), .UNSPECIFIED., .F., .U., (2, 2), (0.619672131147541, 1.), .UNSPECIFIED.);
#11000 = EDGE_CURVE ('', #10750, #10960, #10990, .T.);
#11010 = ORIENTED_EDGE ('', *, *, #11000, .T.);
#11020 = CARTESIAN_POINT ('', (24.81, -19.5, 23.25));
#11030 = VERTEX_POINT ('', #11020);
#11040 = CARTESIAN_POINT ('', (24.81, -19.5, 26.6347021041495));
#11050 = CARTESIAN_POINT ('', (24.81, -19.5, 23.25));
#11060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11040, #11050), .UNSPECIFIED., .F., .U., (2, 2), (0.68514399031167, 1.), .UNSPECIFIED.);
#11070 = EDGE_CURVE ('', #10960, #11030, #11060, .T.);
#11080 = ORIENTED_EDGE ('', *, *, #11070, .T.);
#11090 = CARTESIAN_POINT ('', (24.81, -19.5, 23.25));
#11100 = CARTESIAN_POINT ('', (24.81, -17.1967213114754, 23.25));
#11110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11090, #11100), .UNSPECIFIED., .F., .U., (2, 2), (0., 2.30327868852459), .UNSPECIFIED.);
#11120 = EDGE_CURVE ('', #11030, #10580, #11110, .T.);
#11130 = ORIENTED_EDGE ('', *, *, #11120, .T.);
#11140 = EDGE_LOOP ('', (#10940, #11010, #11080, #11130));
#11150 = FACE_OUTER_BOUND ('', #11140, .T.);
#11160 = CARTESIAN_POINT ('', (24.81, -17.18, 23.25));
#11170 = CARTESIAN_POINT ('', (24.81, -19.5, 23.25));
#11180 = CARTESIAN_POINT ('', (24.81, -17.18, 26.6347021041495));
#11190 = CARTESIAN_POINT ('', (24.81, -19.5, 26.6347021041495));
#11200 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11160, #11170), (#11180, #11190)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.235109717868339, 0.447316746341664), (-4.44089209850062E-14, 116.), .UNSPECIFIED.);
#11210 = ADVANCED_FACE ('', (#11150), #11200, .T.);
#11220 = CARTESIAN_POINT ('', (5.51, -19.5, 34.));
#11230 = VERTEX_POINT ('', #11220);
#11240 = CARTESIAN_POINT ('', (0.00999999999999979, -14., 34.));
#11250 = VERTEX_POINT ('', #11240);
#11260 = CARTESIAN_POINT ('', (5.51, -19.5, 34.));
#11270 = CARTESIAN_POINT ('', (0.00999999999999979, -14., 34.));
#11280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11260, #11270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11290 = EDGE_CURVE ('', #11230, #11250, #11280, .T.);
#11300 = ORIENTED_EDGE ('', *, *, #11290, .F.);
#11310 = CARTESIAN_POINT ('', (14.2912644909793, -19.5, 34.));
#11320 = VERTEX_POINT ('', #11310);
#11330 = CARTESIAN_POINT ('', (14.2912644909793, -19.5, 34.));
#11340 = CARTESIAN_POINT ('', (5.51, -19.5, 34.));
#11350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11330, #11340), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.614880040666283), .UNSPECIFIED.);
#11360 = EDGE_CURVE ('', #11320, #11230, #11350, .T.);
#11370 = ORIENTED_EDGE ('', *, *, #11360, .F.);
#11380 = CARTESIAN_POINT ('', (14.2912644909793, -19.5, 34.));
#11390 = CARTESIAN_POINT ('', (14.2912644909793, 2.5, 34.));
#11400 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11380, #11390), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11410 = EDGE_CURVE ('', #11320, #9030, #11400, .T.);
#11420 = ORIENTED_EDGE ('', *, *, #11410, .T.);
#11430 = ORIENTED_EDGE ('', *, *, #9070, .T.);
#11440 = CARTESIAN_POINT ('', (0.00999999999999979, -14., 34.));
#11450 = CARTESIAN_POINT ('', (0.00999999999999979, 2.5, 34.));
#11460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11440, #11450), .UNSPECIFIED., .F., .U., (2, 2), (0.25, 1.), .UNSPECIFIED.);
#11470 = EDGE_CURVE ('', #11250, #8960, #11460, .T.);
#11480 = ORIENTED_EDGE ('', *, *, #11470, .F.);
#11490 = EDGE_LOOP ('', (#11300, #11370, #11420, #11430, #11480));
#11500 = FACE_OUTER_BOUND ('', #11490, .T.);
#11510 = CARTESIAN_POINT ('', (14.2912644909793, -19.5, 34.));
#11520 = CARTESIAN_POINT ('', (0.00999999999999979, -19.5, 34.));
#11530 = CARTESIAN_POINT ('', (14.2912644909793, 2.5, 34.));
#11540 = CARTESIAN_POINT ('', (0.00999999999999979, 2.5, 34.));
#11550 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11510, #11520), (#11530, #11540)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#11560 = ADVANCED_FACE ('', (#11500), #11550, .T.);
#11570 = CARTESIAN_POINT ('', (0.00999999999999979, -14., 26.90900480909));
#11580 = VERTEX_POINT ('', #11570);
#11590 = CARTESIAN_POINT ('', (5.51, -19.5, 23.0578633489366));
#11600 = VERTEX_POINT ('', #11590);
#11610 = CARTESIAN_POINT ('', (0.00999999999999801, -14., 26.90900480909));
#11620 = CARTESIAN_POINT ('', (5.51, -19.5, 23.0578633489366));
#11630 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11610, #11620), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11640 = EDGE_CURVE ('', #11580, #11600, #11630, .T.);
#11650 = ORIENTED_EDGE ('', *, *, #11640, .F.);
#11660 = CARTESIAN_POINT ('', (0.00999999999999979, -13.4, 26.90900480909));
#11670 = VERTEX_POINT ('', #11660);
#11680 = CARTESIAN_POINT ('', (0.00999999999999979, -14., 26.90900480909));
#11690 = CARTESIAN_POINT ('', (0.00999999999999979, -13.4, 26.90900480909));
#11700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11680, #11690), .UNSPECIFIED., .F., .U., (2, 2), (0.25, 0.277272727272727), .UNSPECIFIED.);
#11710 = EDGE_CURVE ('', #11580, #11670, #11700, .T.);
#11720 = ORIENTED_EDGE ('', *, *, #11710, .T.);
#11730 = CARTESIAN_POINT ('', (10.5911554500446, -13.4, 19.5));
#11740 = VERTEX_POINT ('', #11730);
#11750 = CARTESIAN_POINT ('', (10.5911554500446, -13.4, 19.5));
#11760 = CARTESIAN_POINT ('', (0.0100000000000051, -13.4, 26.90900480909));
#11770 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11750, #11760), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11780 = EDGE_CURVE ('', #11740, #11670, #11770, .T.);
#11790 = ORIENTED_EDGE ('', *, *, #11780, .F.);
#11800 = CARTESIAN_POINT ('', (10.5911554500446, -19.5, 19.5));
#11810 = VERTEX_POINT ('', #11800);
#11820 = CARTESIAN_POINT ('', (10.5911554500446, -19.5, 19.5));
#11830 = CARTESIAN_POINT ('', (10.5911554500446, -13.4, 19.5));
#11840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11820, #11830), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.277272727272727), .UNSPECIFIED.);
#11850 = EDGE_CURVE ('', #11810, #11740, #11840, .T.);
#11860 = ORIENTED_EDGE ('', *, *, #11850, .F.);
#11870 = CARTESIAN_POINT ('', (5.51, -19.5, 23.0578633489366));
#11880 = CARTESIAN_POINT ('', (10.5911554500446, -19.5, 19.5));
#11890 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11870, #11880), .UNSPECIFIED., .F., .U., (2, 2), (0.519792004376689, 1.), .UNSPECIFIED.);
#11900 = EDGE_CURVE ('', #11600, #11810, #11890, .T.);
#11910 = ORIENTED_EDGE ('', *, *, #11900, .F.);
#11920 = EDGE_LOOP ('', (#11650, #11720, #11790, #11860, #11910));
#11930 = FACE_OUTER_BOUND ('', #11920, .T.);
#11940 = CARTESIAN_POINT ('', (0.00999999999999979, -19.5, 26.90900480909));
#11950 = CARTESIAN_POINT ('', (10.5911554500446, -19.5, 19.5));
#11960 = CARTESIAN_POINT ('', (0.00999999999999979, 2.5, 26.90900480909));
#11970 = CARTESIAN_POINT ('', (10.5911554500446, 2.5, 19.5));
#11980 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11940, #11950), (#11960, #11970)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#11990 = ADVANCED_FACE ('', (#11930), #11980, .T.);
#12000 = CARTESIAN_POINT ('', (0.00999999999999979, -14., 34.));
#12010 = CARTESIAN_POINT ('', (0.00999999999999979, -14., 26.90900480909));
#12020 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12000, #12010), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12030 = EDGE_CURVE ('', #11250, #11580, #12020, .T.);
#12040 = ORIENTED_EDGE ('', *, *, #12030, .F.);
#12050 = ORIENTED_EDGE ('', *, *, #11470, .T.);
#12060 = ORIENTED_EDGE ('', *, *, #9000, .T.);
#12070 = ORIENTED_EDGE ('', *, *, #8580, .F.);
#12080 = ORIENTED_EDGE ('', *, *, #9920, .F.);
#12090 = ORIENTED_EDGE ('', *, *, #9660, .F.);
#12100 = CARTESIAN_POINT ('', (0.00999999999999979, -13.4, 28.));
#12110 = CARTESIAN_POINT ('', (0.00999999999999979, -13.4, 26.90900480909));
#12120 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12100, #12110), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.12835237540118), .UNSPECIFIED.);
#12130 = EDGE_CURVE ('', #9550, #11670, #12120, .T.);
#12140 = ORIENTED_EDGE ('', *, *, #12130, .T.);
#12150 = ORIENTED_EDGE ('', *, *, #11710, .F.);
#12160 = EDGE_LOOP ('', (#12040, #12050, #12060, #12070, #12080, #12090, #12140, #12150));
#12170 = FACE_OUTER_BOUND ('', #12160, .T.);
#12180 = CARTESIAN_POINT ('', (0.00999999999999979, -14., 34.));
#12190 = CARTESIAN_POINT ('', (0.00999999999999979, -14., 26.90900480909));
#12200 = CARTESIAN_POINT ('', (0.00999999999999979, 2.5, 34.));
#12210 = CARTESIAN_POINT ('', (0.00999999999999979, 2.5, 26.90900480909));
#12220 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12180, #12190), (#12200, #12210)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.25, 1.), (0., 1.), .UNSPECIFIED.);
#12230 = ADVANCED_FACE ('', (#12170), #12220, .T.);
#12240 = ORIENTED_EDGE ('', *, *, #11640, .T.);
#12250 = CARTESIAN_POINT ('', (5.51, -19.5, 23.0578633489366));
#12260 = CARTESIAN_POINT ('', (5.51, -19.5, 34.));
#12270 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12250, #12260), .UNSPECIFIED., .F., .U., (2, 2), (0.245369886133556, 1.), .UNSPECIFIED.);
#12280 = EDGE_CURVE ('', #11600, #11230, #12270, .T.);
#12290 = ORIENTED_EDGE ('', *, *, #12280, .T.);
#12300 = ORIENTED_EDGE ('', *, *, #11290, .T.);
#12310 = ORIENTED_EDGE ('', *, *, #12030, .T.);
#12320 = EDGE_LOOP ('', (#12240, #12290, #12300, #12310));
#12330 = FACE_OUTER_BOUND ('', #12320, .T.);
#12340 = CARTESIAN_POINT ('', (5.51, -19.5, 23.0578633489366));
#12350 = CARTESIAN_POINT ('', (0.00999999999999979, -14., 23.0578633489366));
#12360 = CARTESIAN_POINT ('', (5.51, -19.5, 34.));
#12370 = CARTESIAN_POINT ('', (0.00999999999999979, -14., 34.));
#12380 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12340, #12350), (#12360, #12370)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.223063532848687, 0.90909090909091), (0., 1.), .UNSPECIFIED.);
#12390 = ADVANCED_FACE ('', (#12330), #12380, .T.);
#12400 = CARTESIAN_POINT ('', (12.6157713659401, -19.5, 19.5));
#12410 = VERTEX_POINT ('', #12400);
#12420 = CARTESIAN_POINT ('', (12.6157713659401, -13.4, 19.5));
#12430 = VERTEX_POINT ('', #12420);
#12440 = CARTESIAN_POINT ('', (12.6157713659401, -19.5, 19.5));
#12450 = CARTESIAN_POINT ('', (12.6157713659401, -13.4, 19.5));
#12460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12440, #12450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12470 = EDGE_CURVE ('', #12410, #12430, #12460, .T.);
#12480 = ORIENTED_EDGE ('', *, *, #12470, .F.);
#12490 = CARTESIAN_POINT ('', (10.5911554500446, -19.5, 19.5));
#12500 = CARTESIAN_POINT ('', (12.6157713659401, -19.5, 19.5));
#12510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12490, #12500), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.140414574058345), .UNSPECIFIED.);
#12520 = EDGE_CURVE ('', #11810, #12410, #12510, .T.);
#12530 = ORIENTED_EDGE ('', *, *, #12520, .F.);
#12540 = ORIENTED_EDGE ('', *, *, #11850, .T.);
#12550 = CARTESIAN_POINT ('', (10.5911554500446, -13.4, 19.5));
#12560 = CARTESIAN_POINT ('', (12.6157713659401, -13.4, 19.5));
#12570 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12550, #12560), .UNSPECIFIED., .F., .U., (2, 2), (0.423246218001783, 0.504230854637602), .UNSPECIFIED.);
#12580 = EDGE_CURVE ('', #11740, #12430, #12570, .T.);
#12590 = ORIENTED_EDGE ('', *, *, #12580, .T.);
#12600 = EDGE_LOOP ('', (#12480, #12530, #12540, #12590));
#12610 = FACE_OUTER_BOUND ('', #12600, .T.);
#12620 = CARTESIAN_POINT ('', (10.5911554500446, -19.5, 19.5));
#12630 = CARTESIAN_POINT ('', (21.1042626686776, -19.5, 19.5));
#12640 = CARTESIAN_POINT ('', (10.5911554500446, 2.5, 19.5));
#12650 = CARTESIAN_POINT ('', (21.1042626686776, 2.5, 19.5));
#12660 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12620, #12630), (#12640, #12650)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 0.729122724238365), .UNSPECIFIED.);
#12670 = ADVANCED_FACE ('', (#12610), #12660, .T.);
#12680 = CARTESIAN_POINT ('', (17.8730724498026, -13.4, 22.535304195979));
#12690 = VERTEX_POINT ('', #12680);
#12700 = CARTESIAN_POINT ('', (12.6157713659401, -13.4, 19.5));
#12710 = CARTESIAN_POINT ('', (17.8730724498026, -13.4, 22.5353041959789));
#12720 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12700, #12710), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12730 = EDGE_CURVE ('', #12430, #12690, #12720, .T.);
#12740 = ORIENTED_EDGE ('', *, *, #12730, .F.);
#12750 = ORIENTED_EDGE ('', *, *, #12580, .F.);
#12760 = ORIENTED_EDGE ('', *, *, #11780, .T.);
#12770 = ORIENTED_EDGE ('', *, *, #12130, .F.);
#12780 = ORIENTED_EDGE ('', *, *, #9590, .T.);
#12790 = CARTESIAN_POINT ('', (22.860152531432, -13.4, 28.));
#12800 = CARTESIAN_POINT ('', (23.7971520526104, -13.4, 27.343905871972));
#12810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12790, #12800), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.435844651714991), .UNSPECIFIED.);
#12820 = EDGE_CURVE ('', #9480, #10680, #12810, .T.);
#12830 = ORIENTED_EDGE ('', *, *, #12820, .T.);
#12840 = ORIENTED_EDGE ('', *, *, #10720, .F.);
#12850 = CARTESIAN_POINT ('', (23.3741129977521, -13.4, 21.9571215360212));
#12860 = VERTEX_POINT ('', #12850);
#12870 = CARTESIAN_POINT ('', (23.7971520526104, -13.4, 21.9821105337287));
#12880 = CARTESIAN_POINT ('', (23.5876966173325, -13.4, 21.93467299302));
#12890 = CARTESIAN_POINT ('', (23.3741129977521, -13.4, 21.9571215360212));
#12900 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#12870, #12880, #12890), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.986627564431573, 1.))
   REPRESENTATION_ITEM ('')
);
#12910 = EDGE_CURVE ('', #10600, #12860, #12900, .T.);
#12920 = ORIENTED_EDGE ('', *, *, #12910, .T.);
#12930 = CARTESIAN_POINT ('', (17.8730724498026, -13.4, 22.535304195979));
#12940 = CARTESIAN_POINT ('', (23.3741129977521, -13.4, 21.9571215360212));
#12950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12930, #12940), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12960 = EDGE_CURVE ('', #12690, #12860, #12950, .T.);
#12970 = ORIENTED_EDGE ('', *, *, #12960, .F.);
#12980 = EDGE_LOOP ('', (#12740, #12750, #12760, #12770, #12780, #12830, #12840, #12920, #12970));
#12990 = FACE_OUTER_BOUND ('', #12980, .T.);
#13000 = CARTESIAN_POINT ('', (12.01, -13.4, 26.05));
#13010 = VERTEX_POINT ('', #13000);
#13020 = CARTESIAN_POINT ('', (12.01, -13.4, 26.05));
#13030 = CARTESIAN_POINT ('', (14.06, -13.4, 26.05));
#13040 = CARTESIAN_POINT ('', (14.06, -13.4, 24.));
#13050 = CARTESIAN_POINT ('', (14.06, -13.4, 21.95));
#13060 = CARTESIAN_POINT ('', (12.01, -13.4, 21.95));
#13070 = CARTESIAN_POINT ('', (9.96, -13.4, 21.95));
#13080 = CARTESIAN_POINT ('', (9.96, -13.4, 24.));
#13090 = CARTESIAN_POINT ('', (9.96, -13.4, 26.05));
#13100 = CARTESIAN_POINT ('', (12.01, -13.4, 26.05));
#13110 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#13020, #13030, #13040, #13050, #13060, #13070, #13080, #13090, #13100), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#13120 = EDGE_CURVE ('', #13010, #13010, #13110, .T.);
#13130 = ORIENTED_EDGE ('', *, *, #13120, .F.);
#13140 = EDGE_LOOP ('', (#13130));
#13150 = FACE_BOUND ('', #13140, .T.);
#13160 = CARTESIAN_POINT ('', (23.7971520526104, -13.4, 19.5));
#13170 = CARTESIAN_POINT ('', (23.7971520526104, -13.4, 28.));
#13180 = CARTESIAN_POINT ('', (0.0100000000000016, -13.4, 19.5));
#13190 = CARTESIAN_POINT ('', (0.0100000000000016, -13.4, 28.));
#13200 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13160, #13170), (#13180, #13190)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.111404802543732, 0.930351247645324), (0.35368057580059, 0.64631942419941), .UNSPECIFIED.);
#13210 = ADVANCED_FACE ('', (#12990, #13150), #13200, .T.);
#13220 = CARTESIAN_POINT ('', (17.8730724498026, -19.5, 22.535304195979));
#13230 = VERTEX_POINT ('', #13220);
#13240 = CARTESIAN_POINT ('', (17.8730724498026, -19.5, 22.535304195979));
#13250 = CARTESIAN_POINT ('', (12.6157713659401, -19.5, 19.5));
#13260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13240, #13250), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13270 = EDGE_CURVE ('', #13230, #12410, #13260, .T.);
#13280 = ORIENTED_EDGE ('', *, *, #13270, .F.);
#13290 = CARTESIAN_POINT ('', (23.3741129977521, -19.5, 21.9571215360212));
#13300 = VERTEX_POINT ('', #13290);
#13310 = CARTESIAN_POINT ('', (23.3741129977521, -19.5, 21.9571215360212));
#13320 = CARTESIAN_POINT ('', (17.8730724498026, -19.5, 22.535304195979));
#13330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13310, #13320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13340 = EDGE_CURVE ('', #13300, #13230, #13330, .T.);
#13350 = ORIENTED_EDGE ('', *, *, #13340, .F.);
#13360 = CARTESIAN_POINT ('', (24.81, -19.5, 23.25));
#13370 = CARTESIAN_POINT ('', (24.81, -19.5, 22.6712027090989));
#13380 = CARTESIAN_POINT ('', (24.3798697882665, -19.5, 22.2839117268794));
#13390 = CARTESIAN_POINT ('', (23.949739576533, -19.5, 21.8966207446599));
#13400 = CARTESIAN_POINT ('', (23.3741129977521, -19.5, 21.9571215360212));
#13410 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#13360, #13370, #13380, #13390, #13400), .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.913545457642601, 1., 0.913545457642601, 1.))
   REPRESENTATION_ITEM ('')
);
#13420 = EDGE_CURVE ('', #11030, #13300, #13410, .T.);
#13430 = ORIENTED_EDGE ('', *, *, #13420, .F.);
#13440 = ORIENTED_EDGE ('', *, *, #11070, .F.);
#13450 = CARTESIAN_POINT ('', (24.81, -19.5, 26.6347021041495));
#13460 = CARTESIAN_POINT ('', (14.2912644909793, -19.5, 34.));
#13470 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13450, #13460), .UNSPECIFIED., .F., .U., (2, 2), (0.0186589173537944, 1.), .UNSPECIFIED.);
#13480 = EDGE_CURVE ('', #10960, #11320, #13470, .T.);
#13490 = ORIENTED_EDGE ('', *, *, #13480, .T.);
#13500 = ORIENTED_EDGE ('', *, *, #11360, .T.);
#13510 = ORIENTED_EDGE ('', *, *, #12280, .F.);
#13520 = ORIENTED_EDGE ('', *, *, #11900, .T.);
#13530 = ORIENTED_EDGE ('', *, *, #12520, .T.);
#13540 = EDGE_LOOP ('', (#13280, #13350, #13430, #13440, #13490, #13500, #13510, #13520, #13530));
#13550 = FACE_OUTER_BOUND ('', #13540, .T.);
#13560 = CARTESIAN_POINT ('', (12.01, -19.5, 26.05));
#13570 = VERTEX_POINT ('', #13560);
#13580 = CARTESIAN_POINT ('', (12.01, -19.5, 26.05));
#13590 = CARTESIAN_POINT ('', (14.06, -19.5, 26.05));
#13600 = CARTESIAN_POINT ('', (14.06, -19.5, 24.));
#13610 = CARTESIAN_POINT ('', (14.06, -19.5, 21.95));
#13620 = CARTESIAN_POINT ('', (12.01, -19.5, 21.95));
#13630 = CARTESIAN_POINT ('', (9.96, -19.5, 21.95));
#13640 = CARTESIAN_POINT ('', (9.96, -19.5, 24.));
#13650 = CARTESIAN_POINT ('', (9.96, -19.5, 26.05));
#13660 = CARTESIAN_POINT ('', (12.01, -19.5, 26.05));
#13670 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#13580, #13590, #13600, #13610, #13620, #13630, #13640, #13650, #13660), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#13680 = EDGE_CURVE ('', #13570, #13570, #13670, .T.);
#13690 = ORIENTED_EDGE ('', *, *, #13680, .T.);
#13700 = EDGE_LOOP ('', (#13690));
#13710 = FACE_BOUND ('', #13700, .T.);
#13720 = CARTESIAN_POINT ('', (24.81, -19.5, 19.5));
#13730 = CARTESIAN_POINT ('', (5.51, -19.5, 19.5));
#13740 = CARTESIAN_POINT ('', (24.81, -19.5, 34.));
#13750 = CARTESIAN_POINT ('', (5.51, -19.5, 34.));
#13760 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13720, #13730), (#13740, #13750)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.271946322830979, 0.728053677169021), (0.113095140802903, 0.720189757266641), .UNSPECIFIED.);
#13770 = ADVANCED_FACE ('', (#13550, #13710), #13760, .T.);
#13780 = ORIENTED_EDGE ('', *, *, #11000, .F.);
#13790 = ORIENTED_EDGE ('', *, *, #10790, .F.);
#13800 = ORIENTED_EDGE ('', *, *, #12820, .F.);
#13810 = ORIENTED_EDGE ('', *, *, #9520, .F.);
#13820 = ORIENTED_EDGE ('', *, *, #10430, .F.);
#13830 = ORIENTED_EDGE ('', *, *, #9120, .T.);
#13840 = ORIENTED_EDGE ('', *, *, #11410, .F.);
#13850 = ORIENTED_EDGE ('', *, *, #13480, .F.);
#13860 = EDGE_LOOP ('', (#13780, #13790, #13800, #13810, #13820, #13830, #13840, #13850));
#13870 = FACE_OUTER_BOUND ('', #13860, .T.);
#13880 = CARTESIAN_POINT ('', (24.81, -19.5, 26.6347021041495));
#13890 = CARTESIAN_POINT ('', (14.2912644909793, -19.5, 34.));
#13900 = CARTESIAN_POINT ('', (24.81, 2.5, 26.6347021041495));
#13910 = CARTESIAN_POINT ('', (14.2912644909793, 2.5, 34.));
#13920 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13880, #13890), (#13900, #13910)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0.0186589173537943, 1.), .UNSPECIFIED.);
#13930 = ADVANCED_FACE ('', (#13870), #13920, .T.);
#13940 = ORIENTED_EDGE ('', *, *, #13270, .T.);
#13950 = ORIENTED_EDGE ('', *, *, #12470, .T.);
#13960 = ORIENTED_EDGE ('', *, *, #12730, .T.);
#13970 = CARTESIAN_POINT ('', (17.8730724498026, -19.5, 22.535304195979));
#13980 = CARTESIAN_POINT ('', (17.8730724498026, -13.4, 22.535304195979));
#13990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13970, #13980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14000 = EDGE_CURVE ('', #13230, #12690, #13990, .T.);
#14010 = ORIENTED_EDGE ('', *, *, #14000, .F.);
#14020 = EDGE_LOOP ('', (#13940, #13950, #13960, #14010));
#14030 = FACE_OUTER_BOUND ('', #14020, .T.);
#14040 = CARTESIAN_POINT ('', (12.6157713659401, -19.5, 19.5));
#14050 = CARTESIAN_POINT ('', (17.8730724498026, -19.5, 22.535304195979));
#14060 = CARTESIAN_POINT ('', (12.6157713659401, -13.4, 19.5));
#14070 = CARTESIAN_POINT ('', (17.8730724498026, -13.4, 22.535304195979));
#14080 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14040, #14050), (#14060, #14070)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#14090 = ADVANCED_FACE ('', (#14030), #14080, .T.);
#14100 = ORIENTED_EDGE ('', *, *, #13340, .T.);
#14110 = ORIENTED_EDGE ('', *, *, #14000, .T.);
#14120 = ORIENTED_EDGE ('', *, *, #12960, .T.);
#14130 = CARTESIAN_POINT ('', (23.3741129977521, -19.5, 21.9571215360212));
#14140 = CARTESIAN_POINT ('', (23.3741129977521, -13.4, 21.9571215360212));
#14150 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14130, #14140), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14160 = EDGE_CURVE ('', #13300, #12860, #14150, .T.);
#14170 = ORIENTED_EDGE ('', *, *, #14160, .F.);
#14180 = EDGE_LOOP ('', (#14100, #14110, #14120, #14170));
#14190 = FACE_OUTER_BOUND ('', #14180, .T.);
#14200 = CARTESIAN_POINT ('', (17.8730724498026, -19.5, 22.535304195979));
#14210 = CARTESIAN_POINT ('', (23.3741129977521, -19.5, 21.9571215360212));
#14220 = CARTESIAN_POINT ('', (17.8730724498026, -13.4, 22.535304195979));
#14230 = CARTESIAN_POINT ('', (23.3741129977521, -13.4, 21.9571215360212));
#14240 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14200, #14210), (#14220, #14230)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#14250 = ADVANCED_FACE ('', (#14190), #14240, .T.);
#14260 = ORIENTED_EDGE ('', *, *, #10650, .F.);
#14270 = ORIENTED_EDGE ('', *, *, #11120, .F.);
#14280 = ORIENTED_EDGE ('', *, *, #13420, .T.);
#14290 = ORIENTED_EDGE ('', *, *, #14160, .T.);
#14300 = ORIENTED_EDGE ('', *, *, #12910, .F.);
#14310 = EDGE_LOOP ('', (#14260, #14270, #14280, #14290, #14300));
#14320 = FACE_OUTER_BOUND ('', #14310, .T.);
#14330 = CARTESIAN_POINT ('', (24.81, -19.5, 23.25));
#14340 = CARTESIAN_POINT ('', (24.81, -13.4, 23.25));
#14350 = CARTESIAN_POINT ('', (24.81, -19.5, 22.6712027090989));
#14360 = CARTESIAN_POINT ('', (24.81, -13.4, 22.6712027090989));
#14370 = CARTESIAN_POINT ('', (24.3798697882665, -19.5, 22.2839117268794));
#14380 = CARTESIAN_POINT ('', (24.3798697882665, -13.4, 22.2839117268794));
#14390 = CARTESIAN_POINT ('', (23.949739576533, -19.5, 21.8966207446599));
#14400 = CARTESIAN_POINT ('', (23.949739576533, -13.4, 21.8966207446599));
#14410 = CARTESIAN_POINT ('', (23.3741129977521, -19.5, 21.9571215360212));
#14420 = CARTESIAN_POINT ('', (23.3741129977521, -13.4, 21.9571215360212));
#14430 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#14330, #14340), (#14350, #14360), (#14370, #14380), (#14390, #14400), (#14410, #14420)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.5, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.913545457642601, 0.913545457642601), (1., 1.), (0.913545457642601, 0.913545457642601), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#14440 = ADVANCED_FACE ('', (#14320), #14430, .T.);
#14450 = ORIENTED_EDGE ('', *, *, #10140, .F.);
#14460 = CARTESIAN_POINT ('', (12.01, -3.35, 26.05));
#14470 = CARTESIAN_POINT ('', (12.01, 2.5, 26.05));
#14480 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#14460, #14470), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((2, 2), (0.734090909090909, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1.))
   REPRESENTATION_ITEM ('')
);
#14490 = EDGE_CURVE ('', #10030, #9170, #14480, .T.);
#14500 = ORIENTED_EDGE ('', *, *, #14490, .T.);
#14510 = ORIENTED_EDGE ('', *, *, #9280, .T.);
#14520 = ORIENTED_EDGE ('', *, *, #14490, .F.);
#14530 = EDGE_LOOP ('', (#14450, #14500, #14510, #14520));
#14540 = FACE_OUTER_BOUND ('', #14530, .T.);
#14550 = CARTESIAN_POINT ('', (12.01, -19.5, 26.05));
#14560 = CARTESIAN_POINT ('', (14.06, -19.5, 26.05));
#14570 = CARTESIAN_POINT ('', (14.06, -19.5, 24.));
#14580 = CARTESIAN_POINT ('', (14.06, -19.5, 21.95));
#14590 = CARTESIAN_POINT ('', (12.01, -19.5, 21.95));
#14600 = CARTESIAN_POINT ('', (9.96, -19.5, 21.95));
#14610 = CARTESIAN_POINT ('', (9.96, -19.5, 24.));
#14620 = CARTESIAN_POINT ('', (9.96, -19.5, 26.05));
#14630 = CARTESIAN_POINT ('', (12.01, -19.5, 26.05));
#14640 = CARTESIAN_POINT ('', (12.01, 2.5, 26.05));
#14650 = CARTESIAN_POINT ('', (14.06, 2.5, 26.05));
#14660 = CARTESIAN_POINT ('', (14.06, 2.5, 24.));
#14670 = CARTESIAN_POINT ('', (14.06, 2.5, 21.95));
#14680 = CARTESIAN_POINT ('', (12.01, 2.5, 21.95));
#14690 = CARTESIAN_POINT ('', (9.96, 2.5, 21.95));
#14700 = CARTESIAN_POINT ('', (9.96, 2.5, 24.));
#14710 = CARTESIAN_POINT ('', (9.96, 2.5, 26.05));
#14720 = CARTESIAN_POINT ('', (12.01, 2.5, 26.05));
#14730 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#14550, #14560, #14570, #14580, #14590, #14600, #14610, #14620, #14630), (#14640, #14650, #14660, #14670, #14680, #14690, #14700, #14710, #14720)), .UNSPECIFIED., .F., .T., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 2, 2, 3), (0., 1.), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.)))
   REPRESENTATION_ITEM ('')
);
#14740 = ADVANCED_FACE ('', (#14540), #14730, .T.);
#14750 = ORIENTED_EDGE ('', *, *, #13120, .T.);
#14760 = CARTESIAN_POINT ('', (12.01, -19.5, 26.05));
#14770 = CARTESIAN_POINT ('', (12.01, -13.4, 26.05));
#14780 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#14760, #14770), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((2, 2), (0., 0.277272727272727), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1.))
   REPRESENTATION_ITEM ('')
);
#14790 = EDGE_CURVE ('', #13570, #13010, #14780, .T.);
#14800 = ORIENTED_EDGE ('', *, *, #14790, .F.);
#14810 = ORIENTED_EDGE ('', *, *, #13680, .F.);
#14820 = ORIENTED_EDGE ('', *, *, #14790, .T.);
#14830 = EDGE_LOOP ('', (#14750, #14800, #14810, #14820));
#14840 = FACE_OUTER_BOUND ('', #14830, .T.);
#14850 = CARTESIAN_POINT ('', (12.01, -19.5, 26.05));
#14860 = CARTESIAN_POINT ('', (14.06, -19.5, 26.05));
#14870 = CARTESIAN_POINT ('', (14.06, -19.5, 24.));
#14880 = CARTESIAN_POINT ('', (14.06, -19.5, 21.95));
#14890 = CARTESIAN_POINT ('', (12.01, -19.5, 21.95));
#14900 = CARTESIAN_POINT ('', (9.96, -19.5, 21.95));
#14910 = CARTESIAN_POINT ('', (9.96, -19.5, 24.));
#14920 = CARTESIAN_POINT ('', (9.96, -19.5, 26.05));
#14930 = CARTESIAN_POINT ('', (12.01, -19.5, 26.05));
#14940 = CARTESIAN_POINT ('', (12.01, 2.5, 26.05));
#14950 = CARTESIAN_POINT ('', (14.06, 2.5, 26.05));
#14960 = CARTESIAN_POINT ('', (14.06, 2.5, 24.));
#14970 = CARTESIAN_POINT ('', (14.06, 2.5, 21.95));
#14980 = CARTESIAN_POINT ('', (12.01, 2.5, 21.95));
#14990 = CARTESIAN_POINT ('', (9.96, 2.5, 21.95));
#15000 = CARTESIAN_POINT ('', (9.96, 2.5, 24.));
#15010 = CARTESIAN_POINT ('', (9.96, 2.5, 26.05));
#15020 = CARTESIAN_POINT ('', (12.01, 2.5, 26.05));
#15030 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#14850, #14860, #14870, #14880, #14890, #14900, #14910, #14920, #14930), (#14940, #14950, #14960, #14970, #14980, #14990, #15000, #15010, #15020)), .UNSPECIFIED., .F., .T., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 2, 2, 3), (0., 1.), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.)))
   REPRESENTATION_ITEM ('')
);
#15040 = ADVANCED_FACE ('', (#14840), #15030, .T.);
#15050 = CLOSED_SHELL ('', (#8790, #9370, #9800, #10230, #10390, #10560, #10930, #11210, #11560, #11990, #12230, #12390, #12670, #13210, #13770, #13930, #14090, #14250, #14440, #14740, #15040));
#15060 = MANIFOLD_SOLID_BREP ('', #15050);
#15070 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#15080 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#15090 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#15100 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #15070, 'DISTANCE_ACCURACY_VALUE', '');
#15110 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#15100))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#15070, #15080, #15090))
   REPRESENTATION_CONTEXT ('', '3D')
);
#15120 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#15130 = FILL_AREA_STYLE_COLOUR ('', #15120);
#15140 = FILL_AREA_STYLE ('', (#15130));
#15150 = SURFACE_STYLE_FILL_AREA (#15140);
#15160 = SURFACE_SIDE_STYLE ('', (#15150));
#15170 = SURFACE_STYLE_USAGE (.POSITIVE., #15160);
#15180 = PRESENTATION_STYLE_ASSIGNMENT ((#15170));
#15190 = STYLED_ITEM ('', (#15180), #15060);
#15200 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#15060), #15110);
#15210 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#15220 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #15210);
#15230 = MECHANICAL_CONTEXT ('', #15210, 'mechanical');
#15240 = PRODUCT ('product-name', '', '', (#15230));
#15250 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#15260 = PERSON ('', '', $, $, $, $);
#15270 = ORGANIZATION ($, '', '');
#15280 = PERSON_AND_ORGANIZATION (#15260, #15270);
#15290 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#15280, #15250, (#15240));
#15300 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#15240));
#15310 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #15240, .NOT_KNOWN.);
#15320 = APPROVAL_STATUS ('approved');
#15330 = APPROVAL (#15320, '');
#15340 = CALENDAR_DATE (2010, 8, 12);
#15350 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#15360 = LOCAL_TIME (10, 42, 9., #15350);
#15370 = DATE_AND_TIME (#15340, #15360);
#15380 = APPROVAL_DATE_TIME (#15370, #15330);
#15390 = APPROVAL_ROLE ('');
#15400 = PERSON ('', '', $, $, $, $);
#15410 = ORGANIZATION ($, '', '');
#15420 = PERSON_AND_ORGANIZATION (#15400, #15410);
#15430 = APPROVAL_PERSON_ORGANIZATION (#15420, #15330, #15390);
#15440 = CC_DESIGN_APPROVAL (#15330, (#15310));
#15450 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#15460 = PERSON ('', '', $, $, $, $);
#15470 = ORGANIZATION ($, '', '');
#15480 = PERSON_AND_ORGANIZATION (#15460, #15470);
#15490 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#15480, #15450, (#15310));
#15500 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#15510 = PERSON ('', '', $, $, $, $);
#15520 = ORGANIZATION ($, '', '');
#15530 = PERSON_AND_ORGANIZATION (#15510, #15520);
#15540 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#15530, #15500, (#15310));
#15550 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#15560 = SECURITY_CLASSIFICATION ('', '', #15550);
#15570 = APPROVAL_STATUS ('approved');
#15580 = APPROVAL (#15570, '');
#15590 = CALENDAR_DATE (2010, 8, 12);
#15600 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#15610 = LOCAL_TIME (10, 42, 9., #15600);
#15620 = DATE_AND_TIME (#15590, #15610);
#15630 = APPROVAL_DATE_TIME (#15620, #15580);
#15640 = APPROVAL_ROLE ('');
#15650 = PERSON ('', '', $, $, $, $);
#15660 = ORGANIZATION ($, '', '');
#15670 = PERSON_AND_ORGANIZATION (#15650, #15660);
#15680 = APPROVAL_PERSON_ORGANIZATION (#15670, #15580, #15640);
#15690 = CC_DESIGN_APPROVAL (#15580, (#15560));
#15700 = DATE_TIME_ROLE ('classification_date');
#15710 = CALENDAR_DATE (2010, 8, 12);
#15720 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#15730 = LOCAL_TIME (10, 42, 9., #15720);
#15740 = DATE_AND_TIME (#15710, #15730);
#15750 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#15740, #15700, (#15560));
#15760 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#15770 = PERSON ('', '', $, $, $, $);
#15780 = ORGANIZATION ($, '', '');
#15790 = PERSON_AND_ORGANIZATION (#15770, #15780);
#15800 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#15790, #15760, (#15560));
#15810 = CC_DESIGN_SECURITY_CLASSIFICATION (#15560, (#15310));
#15820 = DESIGN_CONTEXT ('', #15210, 'design');
#15830 = PRODUCT_DEFINITION ('', '', #15310, #15820);
#15840 = APPROVAL_STATUS ('approved');
#15850 = APPROVAL (#15840, '');
#15860 = CALENDAR_DATE (2010, 8, 12);
#15870 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#15880 = LOCAL_TIME (10, 42, 9., #15870);
#15890 = DATE_AND_TIME (#15860, #15880);
#15900 = APPROVAL_DATE_TIME (#15890, #15850);
#15910 = APPROVAL_ROLE ('');
#15920 = PERSON ('', '', $, $, $, $);
#15930 = ORGANIZATION ($, '', '');
#15940 = PERSON_AND_ORGANIZATION (#15920, #15930);
#15950 = APPROVAL_PERSON_ORGANIZATION (#15940, #15850, #15910);
#15960 = CC_DESIGN_APPROVAL (#15850, (#15830));
#15970 = DATE_TIME_ROLE ('creation_date');
#15980 = CALENDAR_DATE (2010, 8, 12);
#15990 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16000 = LOCAL_TIME (10, 42, 9., #15990);
#16010 = DATE_AND_TIME (#15980, #16000);
#16020 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#16010, #15970, (#15830));
#16030 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#16040 = PERSON ('', '', $, $, $, $);
#16050 = ORGANIZATION ($, '', '');
#16060 = PERSON_AND_ORGANIZATION (#16040, #16050);
#16070 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16060, #16030, (#15830));
#16080 = PRODUCT_DEFINITION_SHAPE ('', '', #15830);
#16090 = SHAPE_DEFINITION_REPRESENTATION (#16080, #15200);
ENDSEC;
END-ISO-10303-21;