ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('GWS202L-EQ202001-MSA-IN-ACS.stp', '2018-06-18T14:58:49', ('TDM Systems GmbH'), ('TDM Systems GmbH'), 'HarmonyWare STEP v2.0.2.9', 'TDM', '');
FILE_SCHEMA (('CONFIG_CONTROL_DESIGN'));
ENDSEC;

DATA;
#10 = CARTESIAN_POINT ('', (0.499999999999999, 0., 23.75));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (1.00000000001365, 0., 24.2500000000518));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (0.4999999998481, 0., 23.75));
#60 = CARTESIAN_POINT ('', (1.00000000001358, 0., 24.2500000000518));
#70 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#50, #60), .UNSPECIFIED., .F., .U., (2, 2), (0.00199203187233513, 0.998007968127693), .UNSPECIFIED.);
#80 = EDGE_CURVE ('', #20, #40, #70, .T.);
#90 = ORIENTED_EDGE ('', *, *, #80, .T.);
#100 = CARTESIAN_POINT ('', (4.99999999998635, 0., 24.2500000000518));
#110 = VERTEX_POINT ('', #100);
#120 = CARTESIAN_POINT ('', (1.00000000001365, 0., 24.2500000000518));
#130 = CARTESIAN_POINT ('', (1.00000000001365, 1.99999999998635, 24.2500000000518));
#140 = CARTESIAN_POINT ('', (3., 1.99999999998635, 24.2500000000518));
#150 = CARTESIAN_POINT ('', (4.99999999998635, 1.99999999998635, 24.2500000000518));
#160 = CARTESIAN_POINT ('', (4.99999999998635, 0., 24.2500000000518));
#170 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#120, #130, #140, #150, #160), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (180., 270., 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#180 = EDGE_CURVE ('', #40, #110, #170, .T.);
#190 = ORIENTED_EDGE ('', *, *, #180, .T.);
#200 = CARTESIAN_POINT ('', (4.99999999998635, 0., 24.2500000000518));
#210 = CARTESIAN_POINT ('', (4.99999999998635, -1.99999999998635, 24.2500000000518));
#220 = CARTESIAN_POINT ('', (3., -1.99999999998635, 24.2500000000518));
#230 = CARTESIAN_POINT ('', (1.00000000001365, -1.99999999998635, 24.2500000000518));
#240 = CARTESIAN_POINT ('', (1.00000000001365, 0., 24.2500000000518));
#250 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#200, #210, #220, #230, #240), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 90., 180.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#260 = EDGE_CURVE ('', #110, #40, #250, .T.);
#270 = ORIENTED_EDGE ('', *, *, #260, .T.);
#280 = ORIENTED_EDGE ('', *, *, #80, .F.);
#290 = CARTESIAN_POINT ('', (3., -2.5, 23.75));
#300 = VERTEX_POINT ('', #290);
#310 = CARTESIAN_POINT ('', (3., -2.5, 23.75));
#320 = CARTESIAN_POINT ('', (0.5, -2.5, 23.75));
#330 = CARTESIAN_POINT ('', (0.499999999999999, 0., 23.75));
#340 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#310, #320, #330), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (180., 270.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#350 = EDGE_CURVE ('', #300, #20, #340, .T.);
#360 = ORIENTED_EDGE ('', *, *, #350, .F.);
#370 = CARTESIAN_POINT ('', (3., 2.5, 23.75));
#380 = VERTEX_POINT ('', #370);
#390 = CARTESIAN_POINT ('', (3., 2.5, 23.75));
#400 = CARTESIAN_POINT ('', (5.5, 2.5, 23.75));
#410 = CARTESIAN_POINT ('', (5.5, 0., 23.75));
#420 = CARTESIAN_POINT ('', (5.5, -2.5, 23.75));
#430 = CARTESIAN_POINT ('', (3., -2.5, 23.75));
#440 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#390, #400, #410, #420, #430), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 90., 180.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#450 = EDGE_CURVE ('', #380, #300, #440, .T.);
#460 = ORIENTED_EDGE ('', *, *, #450, .F.);
#470 = CARTESIAN_POINT ('', (0.499999999999999, 0., 23.75));
#480 = CARTESIAN_POINT ('', (0.499999999999998, 2.5, 23.75));
#490 = CARTESIAN_POINT ('', (3., 2.5, 23.75));
#500 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#470, #480, #490), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (270., 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#510 = EDGE_CURVE ('', #20, #380, #500, .T.);
#520 = ORIENTED_EDGE ('', *, *, #510, .F.);
#530 = EDGE_LOOP ('', (#90, #190, #270, #280, #360, #460, #520));
#540 = FACE_OUTER_BOUND ('', #530, .T.);
#550 = CARTESIAN_POINT ('', (1.0010000000138, 0., 24.2510000000518));
#560 = CARTESIAN_POINT ('', (0.498999999847858, 0., 23.749));
#570 = CARTESIAN_POINT ('', (1.0010000000138, 1.99899999998619, 24.2510000000518));
#580 = CARTESIAN_POINT ('', (0.498999999847858, 2.50100000015214, 23.749));
#590 = CARTESIAN_POINT ('', (3., 1.99899999998619, 24.2510000000518));
#600 = CARTESIAN_POINT ('', (3., 2.50100000015214, 23.749));
#610 = CARTESIAN_POINT ('', (4.99899999998619, 1.99899999998619, 24.2510000000518));
#620 = CARTESIAN_POINT ('', (5.50100000015214, 2.50100000015214, 23.749));
#630 = CARTESIAN_POINT ('', (4.99899999998619, 0., 24.2510000000518));
#640 = CARTESIAN_POINT ('', (5.50100000015214, 0., 23.749));
#650 = CARTESIAN_POINT ('', (4.99899999998619, -1.99899999998619, 24.2510000000518));
#660 = CARTESIAN_POINT ('', (5.50100000015214, -2.50100000015214, 23.749));
#670 = CARTESIAN_POINT ('', (3., -1.99899999998619, 24.2510000000518));
#680 = CARTESIAN_POINT ('', (3., -2.50100000015214, 23.749));
#690 = CARTESIAN_POINT ('', (1.00100000001381, -1.99899999998619, 24.2510000000518));
#700 = CARTESIAN_POINT ('', (0.498999999847858, -2.50100000015214, 23.749));
#710 = CARTESIAN_POINT ('', (1.0010000000138, 0., 24.2510000000518));
#720 = CARTESIAN_POINT ('', (0.498999999847858, 0., 23.749));
#730 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#550, #560), (#570, #580), (#590, #600), (#610, #620), (#630, #640), (#650, #660), (#670, #680), (#690, #700), (#710, #720)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#740 = ADVANCED_FACE ('', (#540), #730, .T.);
#750 = CARTESIAN_POINT ('', (15., 17., -19.75));
#760 = VERTEX_POINT ('', #750);
#770 = CARTESIAN_POINT ('', (13., 19., -19.75));
#780 = VERTEX_POINT ('', #770);
#790 = CARTESIAN_POINT ('', (15., 17., -19.75));
#800 = CARTESIAN_POINT ('', (13., 19., -19.75));
#810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#790, #800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#820 = EDGE_CURVE ('', #760, #780, #810, .T.);
#830 = ORIENTED_EDGE ('', *, *, #820, .F.);
#840 = CARTESIAN_POINT ('', (15., 2.05, -19.75));
#850 = VERTEX_POINT ('', #840);
#860 = CARTESIAN_POINT ('', (15., 2.05, -19.75));
#870 = CARTESIAN_POINT ('', (15., 17., -19.75));
#880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#860, #870), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#890 = EDGE_CURVE ('', #850, #760, #880, .T.);
#900 = ORIENTED_EDGE ('', *, *, #890, .F.);
#910 = CARTESIAN_POINT ('', (20., -2.95, -19.75));
#920 = VERTEX_POINT ('', #910);
#930 = CARTESIAN_POINT ('', (20., -2.95, -19.75));
#940 = CARTESIAN_POINT ('', (15., -2.95, -19.75));
#950 = CARTESIAN_POINT ('', (15., 2.05, -19.75));
#960 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#930, #940, #950), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 90.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#970 = EDGE_CURVE ('', #920, #850, #960, .T.);
#980 = ORIENTED_EDGE ('', *, *, #970, .F.);
#990 = CARTESIAN_POINT ('', (37.37510683782, -2.95, -19.75));
#1000 = VERTEX_POINT ('', #990);
#1010 = CARTESIAN_POINT ('', (37.37510683782, -2.95, -19.75));
#1020 = CARTESIAN_POINT ('', (20., -2.95, -19.75));
#1030 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1010, #1020), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1040 = EDGE_CURVE ('', #1000, #920, #1030, .T.);
#1050 = ORIENTED_EDGE ('', *, *, #1040, .F.);
#1060 = CARTESIAN_POINT ('', (37.37510683782, -12.4499999999999, -19.75));
#1070 = VERTEX_POINT ('', #1060);
#1080 = CARTESIAN_POINT ('', (37.37510683782, -12.4499999999999, -19.75));
#1090 = CARTESIAN_POINT ('', (37.37510683782, -2.95, -19.75));
#1100 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1080, #1090), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1110 = EDGE_CURVE ('', #1070, #1000, #1100, .T.);
#1120 = ORIENTED_EDGE ('', *, *, #1110, .F.);
#1130 = CARTESIAN_POINT ('', (60.5, -12.4499999999999, -19.75));
#1140 = VERTEX_POINT ('', #1130);
#1150 = CARTESIAN_POINT ('', (60.5, -12.4499999999999, -19.75));
#1160 = CARTESIAN_POINT ('', (37.37510683782, -12.4499999999999, -19.75));
#1170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1150, #1160), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1180 = EDGE_CURVE ('', #1140, #1070, #1170, .T.);
#1190 = ORIENTED_EDGE ('', *, *, #1180, .F.);
#1200 = CARTESIAN_POINT ('', (60.5, -25.25, -19.75));
#1210 = VERTEX_POINT ('', #1200);
#1220 = CARTESIAN_POINT ('', (60.5, -25.25, -19.75));
#1230 = CARTESIAN_POINT ('', (60.5, -12.4499999999999, -19.75));
#1240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1220, #1230), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1250 = EDGE_CURVE ('', #1210, #1140, #1240, .T.);
#1260 = ORIENTED_EDGE ('', *, *, #1250, .F.);
#1270 = CARTESIAN_POINT ('', (-1.83186799063151E-14, -25.25, -19.75));
#1280 = VERTEX_POINT ('', #1270);
#1290 = CARTESIAN_POINT ('', (-1.83186799063151E-14, -25.25, -19.75));
#1300 = CARTESIAN_POINT ('', (60.5, -25.25, -19.75));
#1310 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1290, #1300), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1320 = EDGE_CURVE ('', #1280, #1210, #1310, .T.);
#1330 = ORIENTED_EDGE ('', *, *, #1320, .F.);
#1340 = CARTESIAN_POINT ('', (-3.68594044175552E-14, -16.039736830714, -19.75));
#1350 = VERTEX_POINT ('', #1340);
#1360 = CARTESIAN_POINT ('', (-3.68594044175552E-14, -16.039736830714, -19.75));
#1370 = CARTESIAN_POINT ('', (-1.83186799063151E-14, -25.25, -19.75));
#1380 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1360, #1370), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1390 = EDGE_CURVE ('', #1350, #1280, #1380, .T.);
#1400 = ORIENTED_EDGE ('', *, *, #1390, .F.);
#1410 = CARTESIAN_POINT ('', (0.137499999999766, -15.8497532787946, -19.75));
#1420 = VERTEX_POINT ('', #1410);
#1430 = CARTESIAN_POINT ('', (0.137499999999766, -15.8497532787946, -19.75));
#1440 = CARTESIAN_POINT ('', (-3.68594044175552E-14, -16.039736830714, -19.75));
#1450 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1430, #1440), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1460 = EDGE_CURVE ('', #1420, #1350, #1450, .T.);
#1470 = ORIENTED_EDGE ('', *, *, #1460, .F.);
#1480 = CARTESIAN_POINT ('', (0.137499999999808, -10.1502467212054, -19.75));
#1490 = VERTEX_POINT ('', #1480);
#1500 = CARTESIAN_POINT ('', (0.137499999999807, -10.1502467212054, -19.75));
#1510 = CARTESIAN_POINT ('', (2.20000000000002, -10.8287594066326, -19.75));
#1520 = CARTESIAN_POINT ('', (2.2, -13., -19.75));
#1530 = CARTESIAN_POINT ('', (2.19999999999999, -15.1712405933674, -19.75));
#1540 = CARTESIAN_POINT ('', (0.137499999999766, -15.8497532787946, -19.75));
#1550 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1500, #1510, #1520, #1530, #1540), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (198.209956864279, 270., 341.790043135722), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.810092587300961, 1., 0.810092587300961, 1.))
   REPRESENTATION_ITEM ('')
);
#1560 = EDGE_CURVE ('', #1490, #1420, #1550, .T.);
#1570 = ORIENTED_EDGE ('', *, *, #1560, .F.);
#1580 = CARTESIAN_POINT ('', (-4.03010957938932E-14, -9.96026316928605, -19.75));
#1590 = VERTEX_POINT ('', #1580);
#1600 = CARTESIAN_POINT ('', (-4.03010957938932E-14, -9.96026316928605, -19.75));
#1610 = CARTESIAN_POINT ('', (0.137499999999808, -10.1502467212054, -19.75));
#1620 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1600, #1610), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1630 = EDGE_CURVE ('', #1590, #1490, #1620, .T.);
#1640 = ORIENTED_EDGE ('', *, *, #1630, .F.);
#1650 = CARTESIAN_POINT ('', (-3.33066907387547E-16, -7., -19.75));
#1660 = VERTEX_POINT ('', #1650);
#1670 = CARTESIAN_POINT ('', (-3.33066907387547E-16, -7., -19.75));
#1680 = CARTESIAN_POINT ('', (-4.03010957938932E-14, -9.96026316928605, -19.75));
#1690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1670, #1680), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1700 = EDGE_CURVE ('', #1660, #1590, #1690, .T.);
#1710 = ORIENTED_EDGE ('', *, *, #1700, .F.);
#1720 = CARTESIAN_POINT ('', (-2.355736835487, -7., -19.75));
#1730 = VERTEX_POINT ('', #1720);
#1740 = CARTESIAN_POINT ('', (-2.355736835487, -7., -19.75));
#1750 = CARTESIAN_POINT ('', (-5.55111512312578E-16, -7., -19.75));
#1760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1740, #1750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1770 = EDGE_CURVE ('', #1730, #1660, #1760, .T.);
#1780 = ORIENTED_EDGE ('', *, *, #1770, .F.);
#1790 = CARTESIAN_POINT ('', (-5.31243556529789, -5.29294919243106, -19.75));
#1800 = VERTEX_POINT ('', #1790);
#1810 = CARTESIAN_POINT ('', (-5.31243556529789, -5.29294919243106, -19.75));
#1820 = CARTESIAN_POINT ('', (-2.355736835487, -7., -19.75));
#1830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1810, #1820), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1840 = EDGE_CURVE ('', #1800, #1730, #1830, .T.);
#1850 = ORIENTED_EDGE ('', *, *, #1840, .F.);
#1860 = CARTESIAN_POINT ('', (-5.612435565298, -5.212564434702, -19.75));
#1870 = VERTEX_POINT ('', #1860);
#1880 = CARTESIAN_POINT ('', (-5.31243556529804, -5.29294919243132, -19.75));
#1890 = CARTESIAN_POINT ('', (-5.45166604983935, -5.212564434702, -19.75));
#1900 = CARTESIAN_POINT ('', (-5.612435565298, -5.212564434702, -19.75));
#1910 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1880, #1890, #1900), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (150.000000000004, 180.69732396619), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.900099577495384, 0.868347502412615))
   REPRESENTATION_ITEM ('')
);
#1920 = EDGE_CURVE ('', #1800, #1870, #1910, .T.);
#1930 = ORIENTED_EDGE ('', *, *, #1920, .T.);
#1940 = CARTESIAN_POINT ('', (-6.13205080756878, -5.51256443470197, -19.75));
#1950 = VERTEX_POINT ('', #1940);
#1960 = CARTESIAN_POINT ('', (-5.612435565298, -5.212564434702, -19.75));
#1970 = CARTESIAN_POINT ('', (-5.9588457268118, -5.212564434702, -19.75));
#1980 = CARTESIAN_POINT ('', (-6.13205080756868, -5.51256443470203, -19.75));
#1990 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1960, #1970, #1980), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (180.69732396619, 240.000000000003), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.868347502412615, 0.80700720369117, 1.))
   REPRESENTATION_ITEM ('')
);
#2000 = EDGE_CURVE ('', #1870, #1950, #1990, .T.);
#2010 = ORIENTED_EDGE ('', *, *, #2000, .T.);
#2020 = CARTESIAN_POINT ('', (-6.990822131596, -7., -19.75));
#2030 = VERTEX_POINT ('', #2020);
#2040 = CARTESIAN_POINT ('', (-6.990822131596, -7., -19.75));
#2050 = CARTESIAN_POINT ('', (-6.13205080756878, -5.51256443470197, -19.75));
#2060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2040, #2050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2070 = EDGE_CURVE ('', #2030, #1950, #2060, .T.);
#2080 = ORIENTED_EDGE ('', *, *, #2070, .F.);
#2090 = CARTESIAN_POINT ('', (-7.6, -7., -19.75));
#2100 = VERTEX_POINT ('', #2090);
#2110 = CARTESIAN_POINT ('', (-7.6, -7., -19.75));
#2120 = CARTESIAN_POINT ('', (-6.990822131596, -7., -19.75));
#2130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2110, #2120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2140 = EDGE_CURVE ('', #2100, #2030, #2130, .T.);
#2150 = ORIENTED_EDGE ('', *, *, #2140, .F.);
#2160 = CARTESIAN_POINT ('', (-7.9, -6.7, -19.75));
#2170 = VERTEX_POINT ('', #2160);
#2180 = CARTESIAN_POINT ('', (-7.9, -6.7, -19.75));
#2190 = CARTESIAN_POINT ('', (-7.6, -7., -19.75));
#2200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2180, #2190), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2210 = EDGE_CURVE ('', #2170, #2100, #2200, .T.);
#2220 = ORIENTED_EDGE ('', *, *, #2210, .F.);
#2230 = CARTESIAN_POINT ('', (-7.9, 6.7, -19.75));
#2240 = VERTEX_POINT ('', #2230);
#2250 = CARTESIAN_POINT ('', (-7.9, 6.7, -19.75));
#2260 = CARTESIAN_POINT ('', (-7.9, -6.7, -19.75));
#2270 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2250, #2260), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2280 = EDGE_CURVE ('', #2240, #2170, #2270, .T.);
#2290 = ORIENTED_EDGE ('', *, *, #2280, .F.);
#2300 = CARTESIAN_POINT ('', (-7.60000000000007, 6.9999999999999, -19.75));
#2310 = VERTEX_POINT ('', #2300);
#2320 = CARTESIAN_POINT ('', (-7.60000000000007, 6.9999999999999, -19.75));
#2330 = CARTESIAN_POINT ('', (-7.9, 6.7, -19.75));
#2340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2320, #2330), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2350 = EDGE_CURVE ('', #2310, #2240, #2340, .T.);
#2360 = ORIENTED_EDGE ('', *, *, #2350, .F.);
#2370 = CARTESIAN_POINT ('', (-6.99082213159697, 6.9999999999996, -19.75));
#2380 = VERTEX_POINT ('', #2370);
#2390 = CARTESIAN_POINT ('', (-6.99082213159697, 6.9999999999996, -19.75));
#2400 = CARTESIAN_POINT ('', (-7.60000000000007, 6.9999999999999, -19.75));
#2410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2390, #2400), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2420 = EDGE_CURVE ('', #2380, #2310, #2410, .T.);
#2430 = ORIENTED_EDGE ('', *, *, #2420, .F.);
#2440 = CARTESIAN_POINT ('', (-6.13205080756881, 5.5125644347, -19.75));
#2450 = VERTEX_POINT ('', #2440);
#2460 = CARTESIAN_POINT ('', (-6.13205080756881, 5.5125644347, -19.75));
#2470 = CARTESIAN_POINT ('', (-6.99082213159697, 6.9999999999996, -19.75));
#2480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2460, #2470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2490 = EDGE_CURVE ('', #2450, #2380, #2480, .T.);
#2500 = ORIENTED_EDGE ('', *, *, #2490, .F.);
#2510 = CARTESIAN_POINT ('', (-5.31243556529845, 5.2929491924304, -19.75));
#2520 = VERTEX_POINT ('', #2510);
#2530 = CARTESIAN_POINT ('', (-6.1320508075687, 5.51256443470006, -19.75));
#2540 = CARTESIAN_POINT ('', (-5.83205080756866, 4.99294919242918, -19.75));
#2550 = CARTESIAN_POINT ('', (-5.31243556529788, 5.29294919242941, -19.75));
#2560 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2530, #2540, #2550), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (299.999999999993, 390.000000000013), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186421, 1.))
   REPRESENTATION_ITEM ('')
);
#2570 = EDGE_CURVE ('', #2450, #2520, #2560, .T.);
#2580 = ORIENTED_EDGE ('', *, *, #2570, .T.);
#2590 = CARTESIAN_POINT ('', (-2.355736835487, 7., -19.75));
#2600 = VERTEX_POINT ('', #2590);
#2610 = CARTESIAN_POINT ('', (-2.355736835487, 7., -19.75));
#2620 = CARTESIAN_POINT ('', (-5.31243556529845, 5.2929491924304, -19.75));
#2630 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2610, #2620), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2640 = EDGE_CURVE ('', #2600, #2520, #2630, .T.);
#2650 = ORIENTED_EDGE ('', *, *, #2640, .F.);
#2660 = CARTESIAN_POINT ('', (-1.93178806284777E-14, 7., -19.75));
#2670 = VERTEX_POINT ('', #2660);
#2680 = CARTESIAN_POINT ('', (-1.93178806284777E-14, 7., -19.75));
#2690 = CARTESIAN_POINT ('', (-2.355736835487, 7., -19.75));
#2700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2680, #2690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2710 = EDGE_CURVE ('', #2670, #2600, #2700, .T.);
#2720 = ORIENTED_EDGE ('', *, *, #2710, .F.);
#2730 = CARTESIAN_POINT ('', (-3.85247389544929E-14, 9.96026316929, -19.75));
#2740 = VERTEX_POINT ('', #2730);
#2750 = CARTESIAN_POINT ('', (-3.85247389544929E-14, 9.96026316929, -19.75));
#2760 = CARTESIAN_POINT ('', (-1.93178806284777E-14, 7., -19.75));
#2770 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2750, #2760), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2780 = EDGE_CURVE ('', #2740, #2670, #2770, .T.);
#2790 = ORIENTED_EDGE ('', *, *, #2780, .F.);
#2800 = CARTESIAN_POINT ('', (0.137499999997214, 10.1502467212046, -19.75));
#2810 = VERTEX_POINT ('', #2800);
#2820 = CARTESIAN_POINT ('', (0.137499999997214, 10.1502467212046, -19.75));
#2830 = CARTESIAN_POINT ('', (-3.85247389544929E-14, 9.96026316929, -19.75));
#2840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2820, #2830), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2850 = EDGE_CURVE ('', #2810, #2740, #2840, .T.);
#2860 = ORIENTED_EDGE ('', *, *, #2850, .F.);
#2870 = CARTESIAN_POINT ('', (0.137499999997251, 15.8497532787954, -19.75));
#2880 = VERTEX_POINT ('', #2870);
#2890 = CARTESIAN_POINT ('', (0.137499999997251, 15.8497532787954, -19.75));
#2900 = CARTESIAN_POINT ('', (2.20000000000001, 15.1712405933694, -19.75));
#2910 = CARTESIAN_POINT ('', (2.2, 13., -19.75));
#2920 = CARTESIAN_POINT ('', (2.19999999999999, 10.8287594066305, -19.75));
#2930 = CARTESIAN_POINT ('', (0.137499999997218, 10.1502467212046, -19.75));
#2940 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2890, #2900, #2910, #2920, #2930), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (198.209956864228, 270., 341.790043135773), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.810092587300698, 1., 0.810092587300698, 1.))
   REPRESENTATION_ITEM ('')
);
#2950 = EDGE_CURVE ('', #2880, #2810, #2940, .T.);
#2960 = ORIENTED_EDGE ('', *, *, #2950, .F.);
#2970 = CARTESIAN_POINT ('', (-4.2854608750531E-14, 16.0397368307099, -19.75));
#2980 = VERTEX_POINT ('', #2970);
#2990 = CARTESIAN_POINT ('', (-4.2854608750531E-14, 16.0397368307099, -19.75));
#3000 = CARTESIAN_POINT ('', (0.137499999997251, 15.8497532787954, -19.75));
#3010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2990, #3000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3020 = EDGE_CURVE ('', #2980, #2880, #3010, .T.);
#3030 = ORIENTED_EDGE ('', *, *, #3020, .F.);
#3040 = CARTESIAN_POINT ('', (-9.99200722162641E-16, 19., -19.75));
#3050 = VERTEX_POINT ('', #3040);
#3060 = CARTESIAN_POINT ('', (-9.99200722162641E-16, 19., -19.75));
#3070 = CARTESIAN_POINT ('', (-4.2854608750531E-14, 16.0397368307099, -19.75));
#3080 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3060, #3070), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3090 = EDGE_CURVE ('', #3050, #2980, #3080, .T.);
#3100 = ORIENTED_EDGE ('', *, *, #3090, .F.);
#3110 = CARTESIAN_POINT ('', (13., 19., -19.75));
#3120 = CARTESIAN_POINT ('', (-1.33226762955019E-15, 19., -19.75));
#3130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3110, #3120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3140 = EDGE_CURVE ('', #780, #3050, #3130, .T.);
#3150 = ORIENTED_EDGE ('', *, *, #3140, .F.);
#3160 = EDGE_LOOP ('', (#830, #900, #980, #1050, #1120, #1190, #1260, #1330, #1400, #1470, #1570, #1640, #1710, #1780, #1850, #1930, #2010, #2080, #2150, #2220, #2290, #2360, #2430, #2500, #2580, #2650, #2720, #2790, #2860, #2960, #3030, #3100, #3150));
#3170 = FACE_OUTER_BOUND ('', #3160, .T.);
#3180 = CARTESIAN_POINT ('', (60.501, 19.001, -19.75));
#3190 = CARTESIAN_POINT ('', (-7.901, 19.001, -19.75));
#3200 = CARTESIAN_POINT ('', (60.501, -25.251, -19.75));
#3210 = CARTESIAN_POINT ('', (-7.901, -25.251, -19.75));
#3220 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3180, #3190), (#3200, #3210)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-12.251, 32.001), (-61.301, 7.101), .UNSPECIFIED.);
#3230 = ADVANCED_FACE ('', (#3170), #3220, .T.);
#3240 = ORIENTED_EDGE ('', *, *, #3140, .T.);
#3250 = CARTESIAN_POINT ('', (-9.99200722162641E-16, 19., 19.75));
#3260 = VERTEX_POINT ('', #3250);
#3270 = CARTESIAN_POINT ('', (-9.99200722162641E-16, 19., -19.75));
#3280 = CARTESIAN_POINT ('', (-9.99200722162641E-16, 19., 19.75));
#3290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3270, #3280), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3300 = EDGE_CURVE ('', #3050, #3260, #3290, .T.);
#3310 = ORIENTED_EDGE ('', *, *, #3300, .T.);
#3320 = CARTESIAN_POINT ('', (13., 19., 19.75));
#3330 = VERTEX_POINT ('', #3320);
#3340 = CARTESIAN_POINT ('', (-9.99200722162641E-16, 19., 19.75));
#3350 = CARTESIAN_POINT ('', (13., 19., 19.75));
#3360 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3340, #3350), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3370 = EDGE_CURVE ('', #3260, #3330, #3360, .T.);
#3380 = ORIENTED_EDGE ('', *, *, #3370, .T.);
#3390 = CARTESIAN_POINT ('', (13., 19., 19.75));
#3400 = CARTESIAN_POINT ('', (13., 19., -19.75));
#3410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3390, #3400), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3420 = EDGE_CURVE ('', #3330, #780, #3410, .T.);
#3430 = ORIENTED_EDGE ('', *, *, #3420, .T.);
#3440 = EDGE_LOOP ('', (#3240, #3310, #3380, #3430));
#3450 = FACE_OUTER_BOUND ('', #3440, .T.);
#3460 = CARTESIAN_POINT ('', (13.001, 19., 19.751));
#3470 = CARTESIAN_POINT ('', (-0.00100000000000255, 19., 19.751));
#3480 = CARTESIAN_POINT ('', (13.001, 19., -19.751));
#3490 = CARTESIAN_POINT ('', (-0.00100000000000255, 19., -19.751));
#3500 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3460, #3470), (#3480, #3490)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-39.501, 0.00100000000000122), (47.499, 60.501), .UNSPECIFIED.);
#3510 = ADVANCED_FACE ('', (#3450), #3500, .T.);
#3520 = CARTESIAN_POINT ('', (15., 17., 19.75));
#3530 = VERTEX_POINT ('', #3520);
#3540 = CARTESIAN_POINT ('', (15., 17., -19.75));
#3550 = CARTESIAN_POINT ('', (15., 17., 19.75));
#3560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3540, #3550), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3570 = EDGE_CURVE ('', #760, #3530, #3560, .T.);
#3580 = ORIENTED_EDGE ('', *, *, #3570, .F.);
#3590 = ORIENTED_EDGE ('', *, *, #820, .T.);
#3600 = ORIENTED_EDGE ('', *, *, #3420, .F.);
#3610 = CARTESIAN_POINT ('', (15., 17., 19.75));
#3620 = CARTESIAN_POINT ('', (13., 19., 19.75));
#3630 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3610, #3620), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3640 = EDGE_CURVE ('', #3530, #3330, #3630, .T.);
#3650 = ORIENTED_EDGE ('', *, *, #3640, .F.);
#3660 = EDGE_LOOP ('', (#3580, #3590, #3600, #3650));
#3670 = FACE_OUTER_BOUND ('', #3660, .T.);
#3680 = CARTESIAN_POINT ('', (12.999, 19.001, 19.751));
#3690 = CARTESIAN_POINT ('', (12.999, 19.001, -19.751));
#3700 = CARTESIAN_POINT ('', (15.001, 16.999, 19.751));
#3710 = CARTESIAN_POINT ('', (15.001, 16.999, -19.751));
#3720 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3680, #3690), (#3700, #3710)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.82984133830856, 0.00141421356237004), (-0.00100000000000122, 39.501), .UNSPECIFIED.);
#3730 = ADVANCED_FACE ('', (#3670), #3720, .T.);
#3740 = CARTESIAN_POINT ('', (15., 2.05, 19.75));
#3750 = VERTEX_POINT ('', #3740);
#3760 = CARTESIAN_POINT ('', (15., 2.05, -19.75));
#3770 = CARTESIAN_POINT ('', (15., 2.05, 19.75));
#3780 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3760, #3770), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3790 = EDGE_CURVE ('', #850, #3750, #3780, .T.);
#3800 = ORIENTED_EDGE ('', *, *, #3790, .F.);
#3810 = ORIENTED_EDGE ('', *, *, #890, .T.);
#3820 = ORIENTED_EDGE ('', *, *, #3570, .T.);
#3830 = CARTESIAN_POINT ('', (15., 2.05, 19.75));
#3840 = CARTESIAN_POINT ('', (15., 17., 19.75));
#3850 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3830, #3840), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3860 = EDGE_CURVE ('', #3750, #3530, #3850, .T.);
#3870 = ORIENTED_EDGE ('', *, *, #3860, .F.);
#3880 = EDGE_LOOP ('', (#3800, #3810, #3820, #3870));
#3890 = FACE_OUTER_BOUND ('', #3880, .T.);
#3900 = CARTESIAN_POINT ('', (15., 2.049, 19.751));
#3910 = CARTESIAN_POINT ('', (15., 17.001, 19.751));
#3920 = CARTESIAN_POINT ('', (15., 2.049, -19.751));
#3930 = CARTESIAN_POINT ('', (15., 17.001, -19.751));
#3940 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3900, #3910), (#3920, #3930)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-39.501, 0.00100000000000122), (-14.951, 0.00100000000000122), .UNSPECIFIED.);
#3950 = ADVANCED_FACE ('', (#3890), #3940, .T.);
#3960 = ORIENTED_EDGE ('', *, *, #970, .T.);
#3970 = ORIENTED_EDGE ('', *, *, #3790, .T.);
#3980 = CARTESIAN_POINT ('', (18.2, -2.6147615158772, 19.75));
#3990 = VERTEX_POINT ('', #3980);
#4000 = CARTESIAN_POINT ('', (18.2000000000003, -2.61476151587636, 19.75));
#4010 = CARTESIAN_POINT ('', (15., -1.37997170285043, 19.75));
#4020 = CARTESIAN_POINT ('', (15., 2.05, 19.75));
#4030 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4000, #4010, #4020), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (21.1001960240891, 90.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.824621125123513, 1.))
   REPRESENTATION_ITEM ('')
);
#4040 = EDGE_CURVE ('', #3990, #3750, #4030, .T.);
#4050 = ORIENTED_EDGE ('', *, *, #4040, .F.);
#4060 = CARTESIAN_POINT ('', (18.2, -2.6147615158772, 18.25));
#4070 = VERTEX_POINT ('', #4060);
#4080 = CARTESIAN_POINT ('', (18.2, -2.6147615158772, 19.75));
#4090 = CARTESIAN_POINT ('', (18.2, -2.6147615158772, 18.25));
#4100 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4080, #4090), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4110 = EDGE_CURVE ('', #3990, #4070, #4100, .T.);
#4120 = ORIENTED_EDGE ('', *, *, #4110, .T.);
#4130 = CARTESIAN_POINT ('', (20., -2.95, 18.25));
#4140 = VERTEX_POINT ('', #4130);
#4150 = CARTESIAN_POINT ('', (20., -2.95, 18.25));
#4160 = CARTESIAN_POINT ('', (19.0687819885453, -2.95, 18.25));
#4170 = CARTESIAN_POINT ('', (18.2000000000003, -2.61476151587636, 18.25));
#4180 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4150, #4160, #4170), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 21.1001960240891), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.983095189484536, 1.))
   REPRESENTATION_ITEM ('')
);
#4190 = EDGE_CURVE ('', #4140, #4070, #4180, .T.);
#4200 = ORIENTED_EDGE ('', *, *, #4190, .F.);
#4210 = CARTESIAN_POINT ('', (20., -2.95, -19.75));
#4220 = CARTESIAN_POINT ('', (20., -2.95, 18.25));
#4230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4210, #4220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4240 = EDGE_CURVE ('', #920, #4140, #4230, .T.);
#4250 = ORIENTED_EDGE ('', *, *, #4240, .F.);
#4260 = EDGE_LOOP ('', (#3960, #3970, #4050, #4120, #4200, #4250));
#4270 = FACE_OUTER_BOUND ('', #4260, .T.);
#4280 = CARTESIAN_POINT ('', (20., 7.05, -23.7012));
#4290 = CARTESIAN_POINT ('', (20., 7.05, 23.7012));
#4300 = CARTESIAN_POINT ('', (25., 7.05, -23.7012));
#4310 = CARTESIAN_POINT ('', (25., 7.05, 23.7012));
#4320 = CARTESIAN_POINT ('', (25., 2.05, -23.7012));
#4330 = CARTESIAN_POINT ('', (25., 2.05, 23.7012));
#4340 = CARTESIAN_POINT ('', (25., -2.95, -23.7012));
#4350 = CARTESIAN_POINT ('', (25., -2.95, 23.7012));
#4360 = CARTESIAN_POINT ('', (20., -2.95, -23.7012));
#4370 = CARTESIAN_POINT ('', (20., -2.95, 23.7012));
#4380 = CARTESIAN_POINT ('', (15., -2.94999999999999, -23.7012));
#4390 = CARTESIAN_POINT ('', (15., -2.94999999999999, 23.7012));
#4400 = CARTESIAN_POINT ('', (15., 2.05000000000001, -23.7012));
#4410 = CARTESIAN_POINT ('', (15., 2.05000000000001, 23.7012));
#4420 = CARTESIAN_POINT ('', (15., 7.05000000000001, -23.7012));
#4430 = CARTESIAN_POINT ('', (15., 7.05000000000001, 23.7012));
#4440 = CARTESIAN_POINT ('', (20., 7.05, -23.7012));
#4450 = CARTESIAN_POINT ('', (20., 7.05, 23.7012));
#4460 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#4280, #4290), (#4300, #4310), (#4320, #4330), (#4340, #4350), (#4360, #4370), (#4380, #4390), (#4400, #4410), (#4420, #4430), (#4440, #4450)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#4470 = ADVANCED_FACE ('', (#4270), #4460, .T.);
#4480 = CARTESIAN_POINT ('', (37.37510683782, -2.95, -16.7499999999972));
#4490 = VERTEX_POINT ('', #4480);
#4500 = CARTESIAN_POINT ('', (35.0867655421244, -2.95, -14.2081076359335));
#4510 = VERTEX_POINT ('', #4500);
#4520 = CARTESIAN_POINT ('', (37.3751068378204, -2.95, -16.7499999999968));
#4530 = CARTESIAN_POINT ('', (36.1721317032692, -2.95, -15.531992619465));
#4540 = CARTESIAN_POINT ('', (35.0867655421286, -2.95, -14.2081076359301));
#4550 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4520, #4530, #4540), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (45.3557535742818, 50.6539287325843), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.998931338890768, 1.))
   REPRESENTATION_ITEM ('')
);
#4560 = EDGE_CURVE ('', #4490, #4510, #4550, .T.);
#4570 = ORIENTED_EDGE ('', *, *, #4560, .F.);
#4580 = CARTESIAN_POINT ('', (37.37510683782, -2.95, -19.75));
#4590 = CARTESIAN_POINT ('', (37.37510683782, -2.95, -16.7499999999972));
#4600 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4580, #4590), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4610 = EDGE_CURVE ('', #1000, #4490, #4600, .T.);
#4620 = ORIENTED_EDGE ('', *, *, #4610, .F.);
#4630 = ORIENTED_EDGE ('', *, *, #1040, .T.);
#4640 = ORIENTED_EDGE ('', *, *, #4240, .T.);
#4650 = CARTESIAN_POINT ('', (26.82182217083, -2.95, 18.25));
#4660 = VERTEX_POINT ('', #4650);
#4670 = CARTESIAN_POINT ('', (26.82182217083, -2.95, 18.25));
#4680 = CARTESIAN_POINT ('', (20., -2.95, 18.25));
#4690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4670, #4680), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4700 = EDGE_CURVE ('', #4660, #4140, #4690, .T.);
#4710 = ORIENTED_EDGE ('', *, *, #4700, .F.);
#4720 = CARTESIAN_POINT ('', (26.82182217083, -2.95, 12.2500000000142));
#4730 = VERTEX_POINT ('', #4720);
#4740 = CARTESIAN_POINT ('', (26.82182217083, -2.95, 12.2500000000142));
#4750 = CARTESIAN_POINT ('', (26.82182217083, -2.95, 18.25));
#4760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4740, #4750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4770 = EDGE_CURVE ('', #4730, #4660, #4760, .T.);
#4780 = ORIENTED_EDGE ('', *, *, #4770, .F.);
#4790 = CARTESIAN_POINT ('', (28.1856725890896, -2.95, -1.12942910523779));
#4800 = VERTEX_POINT ('', #4790);
#4810 = CARTESIAN_POINT ('', (28.1856725890896, -2.95, -1.1294291052378));
#4820 = CARTESIAN_POINT ('', (26.2673685408187, -2.95, 5.43425347818945));
#4830 = CARTESIAN_POINT ('', (26.8218221708296, -2.95, 12.2500000000142));
#4840 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4810, #4820, #4830), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (73.7084525383276, 94.6507090049019), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.983346612552739, 1.))
   REPRESENTATION_ITEM ('')
);
#4850 = EDGE_CURVE ('', #4800, #4730, #4840, .T.);
#4860 = ORIENTED_EDGE ('', *, *, #4850, .F.);
#4870 = CARTESIAN_POINT ('', (28.0153694884031, -2.95, -3.84458485110241));
#4880 = VERTEX_POINT ('', #4870);
#4890 = CARTESIAN_POINT ('', (28.0153694884031, -2.95, -3.84458485110242));
#4900 = CARTESIAN_POINT ('', (28.5914379857306, -2.95, -2.51779883177861));
#4910 = CARTESIAN_POINT ('', (28.1856725890856, -2.95, -1.12942910523896));
#4920 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4890, #4900, #4910), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (246.530313393916, 286.291547461666), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.940403222439737, 1.))
   REPRESENTATION_ITEM ('')
);
#4930 = EDGE_CURVE ('', #4880, #4800, #4920, .T.);
#4940 = ORIENTED_EDGE ('', *, *, #4930, .F.);
#4950 = CARTESIAN_POINT ('', (32.7493238564491, -2.95, -12.8161880130855));
#4960 = VERTEX_POINT ('', #4950);
#4970 = CARTESIAN_POINT ('', (32.7493238564496, -2.95, -12.8161880130828));
#4980 = CARTESIAN_POINT ('', (29.6850930607358, -2.95, -12.2265153437158));
#4990 = CARTESIAN_POINT ('', (28.2288495861275, -2.95, -9.46670028305312));
#5000 = CARTESIAN_POINT ('', (26.7726061115192, -2.95, -6.70688522239047));
#5010 = CARTESIAN_POINT ('', (28.0153694884104, -2.95, -3.84458485110557));
#5020 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4970, #4980, #4990, #5000, #5010), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (190.892694664843, 242.181190635468, 293.469686606094), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.901498569338381, 1., 0.901498569338381, 1.))
   REPRESENTATION_ITEM ('')
);
#5030 = EDGE_CURVE ('', #4960, #4880, #5020, .T.);
#5040 = ORIENTED_EDGE ('', *, *, #5030, .F.);
#5050 = CARTESIAN_POINT ('', (35.0867655421244, -2.95, -14.2081076359335));
#5060 = CARTESIAN_POINT ('', (34.1697123735032, -2.95, -13.0895239150579));
#5070 = CARTESIAN_POINT ('', (32.7493238564486, -2.95, -12.8161880130882));
#5080 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5050, #5060, #5070), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (129.346071267411, 169.107305335159), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.940403222439741, 1.))
   REPRESENTATION_ITEM ('')
);
#5090 = EDGE_CURVE ('', #4510, #4960, #5080, .T.);
#5100 = ORIENTED_EDGE ('', *, *, #5090, .F.);
#5110 = EDGE_LOOP ('', (#4570, #4620, #4630, #4640, #4710, #4780, #4860, #4940, #5040, #5100));
#5120 = FACE_OUTER_BOUND ('', #5110, .T.);
#5130 = CARTESIAN_POINT ('', (37.3761068378204, -2.95, 18.251));
#5140 = CARTESIAN_POINT ('', (19.999, -2.95, 18.251));
#5150 = CARTESIAN_POINT ('', (37.3761068378204, -2.95, -19.751));
#5160 = CARTESIAN_POINT ('', (19.999, -2.95, -19.751));
#5170 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5130, #5140), (#5150, #5160)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-39.501, -1.499), (-17.3761068378204, 0.00100000000000122), .UNSPECIFIED.);
#5180 = ADVANCED_FACE ('', (#5120), #5170, .T.);
#5190 = CARTESIAN_POINT ('', (37.37510683782, -12.4499999999999, -16.7499999999972));
#5200 = VERTEX_POINT ('', #5190);
#5210 = CARTESIAN_POINT ('', (37.37510683782, -12.4499999999999, -19.75));
#5220 = CARTESIAN_POINT ('', (37.37510683782, -12.4499999999999, -16.7499999999972));
#5230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5210, #5220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5240 = EDGE_CURVE ('', #1070, #5200, #5230, .T.);
#5250 = ORIENTED_EDGE ('', *, *, #5240, .F.);
#5260 = ORIENTED_EDGE ('', *, *, #1110, .T.);
#5270 = ORIENTED_EDGE ('', *, *, #4610, .T.);
#5280 = CARTESIAN_POINT ('', (37.37510683782, -12.4499999999999, -16.7499999999972));
#5290 = CARTESIAN_POINT ('', (37.37510683782, -2.95, -16.7499999999972));
#5300 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5280, #5290), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5310 = EDGE_CURVE ('', #5200, #4490, #5300, .T.);
#5320 = ORIENTED_EDGE ('', *, *, #5310, .F.);
#5330 = EDGE_LOOP ('', (#5250, #5260, #5270, #5320));
#5340 = FACE_OUTER_BOUND ('', #5330, .T.);
#5350 = CARTESIAN_POINT ('', (37.37510683782, -12.4509999999999, -16.7489999999972));
#5360 = CARTESIAN_POINT ('', (37.37510683782, -2.949, -16.7489999999972));
#5370 = CARTESIAN_POINT ('', (37.37510683782, -12.4509999999999, -19.751));
#5380 = CARTESIAN_POINT ('', (37.37510683782, -2.949, -19.751));
#5390 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5350, #5360), (#5370, #5380)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000122, 3.0010000000028), (-9.5009999999999, 0.000999999999999446), .UNSPECIFIED.);
#5400 = ADVANCED_FACE ('', (#5340), #5390, .T.);
#5410 = CARTESIAN_POINT ('', (32.7493238564486, -12.4499999999999, -12.8161880130882));
#5420 = VERTEX_POINT ('', #5410);
#5430 = CARTESIAN_POINT ('', (35.0867655421265, -12.4499999999999, -14.2081076359318));
#5440 = VERTEX_POINT ('', #5430);
#5450 = CARTESIAN_POINT ('', (32.7493238564486, -12.4499999999999, -12.8161880130882));
#5460 = CARTESIAN_POINT ('', (34.1697123735032, -12.4499999999999, -13.0895239150579));
#5470 = CARTESIAN_POINT ('', (35.0867655421244, -12.4499999999999, -14.2081076359335));
#5480 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5450, #5460, #5470), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (190.892694664841, 230.653928732589), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.940403222439742, 1.))
   REPRESENTATION_ITEM ('')
);
#5490 = EDGE_CURVE ('', #5420, #5440, #5480, .T.);
#5500 = ORIENTED_EDGE ('', *, *, #5490, .F.);
#5510 = CARTESIAN_POINT ('', (28.0153694884067, -12.4499999999999, -3.84458485110398));
#5520 = VERTEX_POINT ('', #5510);
#5530 = CARTESIAN_POINT ('', (28.0153694884104, -12.4499999999999, -3.84458485110557));
#5540 = CARTESIAN_POINT ('', (26.7726061115192, -12.4499999999999, -6.70688522239047));
#5550 = CARTESIAN_POINT ('', (28.2288495861275, -12.4499999999999, -9.46670028305313));
#5560 = CARTESIAN_POINT ('', (29.6850930607358, -12.4499999999999, -12.2265153437158));
#5570 = CARTESIAN_POINT ('', (32.7493238564496, -12.4499999999999, -12.8161880130829));
#5580 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5530, #5540, #5550, #5560, #5570), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (66.530313393906, 117.818809364532, 169.107305335158), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.90149856933838, 1., 0.90149856933838, 1.))
   REPRESENTATION_ITEM ('')
);
#5590 = EDGE_CURVE ('', #5520, #5420, #5580, .T.);
#5600 = ORIENTED_EDGE ('', *, *, #5590, .F.);
#5610 = CARTESIAN_POINT ('', (28.1856725890876, -12.4499999999999, -1.12942910523838));
#5620 = VERTEX_POINT ('', #5610);
#5630 = CARTESIAN_POINT ('', (28.1856725890856, -12.4499999999999, -1.12942910523897));
#5640 = CARTESIAN_POINT ('', (28.5914379857306, -12.4499999999999, -2.51779883177862));
#5650 = CARTESIAN_POINT ('', (28.0153694884031, -12.4499999999999, -3.84458485110242));
#5660 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5630, #5640, #5650), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (73.7084525383345, 113.469686606084), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.940403222439737, 1.))
   REPRESENTATION_ITEM ('')
);
#5670 = EDGE_CURVE ('', #5620, #5520, #5660, .T.);
#5680 = ORIENTED_EDGE ('', *, *, #5670, .F.);
#5690 = CARTESIAN_POINT ('', (26.82182217083, -12.4499999999999, 12.2500000000142));
#5700 = VERTEX_POINT ('', #5690);
#5710 = CARTESIAN_POINT ('', (26.8218221708296, -12.4499999999999, 12.2500000000142));
#5720 = CARTESIAN_POINT ('', (26.2673685408187, -12.4499999999999, 5.43425347818946));
#5730 = CARTESIAN_POINT ('', (28.1856725890896, -12.4499999999999, -1.12942910523776));
#5740 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5710, #5720, #5730), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (265.349290995098, 286.291547461672), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.983346612552739, 1.))
   REPRESENTATION_ITEM ('')
);
#5750 = EDGE_CURVE ('', #5700, #5620, #5740, .T.);
#5760 = ORIENTED_EDGE ('', *, *, #5750, .F.);
#5770 = CARTESIAN_POINT ('', (26.82182217083, -12.4499999999999, 18.25));
#5780 = VERTEX_POINT ('', #5770);
#5790 = CARTESIAN_POINT ('', (26.82182217083, -12.4499999999999, 18.25));
#5800 = CARTESIAN_POINT ('', (26.82182217083, -12.4499999999999, 12.2500000000142));
#5810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5790, #5800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5820 = EDGE_CURVE ('', #5780, #5700, #5810, .T.);
#5830 = ORIENTED_EDGE ('', *, *, #5820, .F.);
#5840 = CARTESIAN_POINT ('', (41.7, -12.4499999999999, 18.25));
#5850 = VERTEX_POINT ('', #5840);
#5860 = CARTESIAN_POINT ('', (41.7, -12.4499999999999, 18.25));
#5870 = CARTESIAN_POINT ('', (26.82182217083, -12.4499999999999, 18.25));
#5880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5860, #5870), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5890 = EDGE_CURVE ('', #5850, #5780, #5880, .T.);
#5900 = ORIENTED_EDGE ('', *, *, #5890, .F.);
#5910 = CARTESIAN_POINT ('', (41.7, -12.4499999999999, 9.25));
#5920 = VERTEX_POINT ('', #5910);
#5930 = CARTESIAN_POINT ('', (41.7, -12.4499999999999, 9.25));
#5940 = CARTESIAN_POINT ('', (41.7, -12.4499999999999, 18.25));
#5950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5930, #5940), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5960 = EDGE_CURVE ('', #5920, #5850, #5950, .T.);
#5970 = ORIENTED_EDGE ('', *, *, #5960, .F.);
#5980 = CARTESIAN_POINT ('', (47., -12.4499999999999, -5.07166191473601));
#5990 = VERTEX_POINT ('', #5980);
#6000 = CARTESIAN_POINT ('', (47., -12.4499999999999, -5.07166191473602));
#6010 = CARTESIAN_POINT ('', (41.7, -12.4499999999999, 1.10848676681673));
#6020 = CARTESIAN_POINT ('', (41.7, -12.4499999999999, 9.25));
#6030 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6000, #6010, #6020), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (229.384119857611, 270.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.937840847129967, 1.))
   REPRESENTATION_ITEM ('')
);
#6040 = EDGE_CURVE ('', #5990, #5920, #6030, .T.);
#6050 = ORIENTED_EDGE ('', *, *, #6040, .F.);
#6060 = CARTESIAN_POINT ('', (60.5, -12.4499999999999, -15.4230622339419));
#6070 = VERTEX_POINT ('', #6060);
#6080 = CARTESIAN_POINT ('', (60.4999999999998, -12.4499999999999, -15.4230622339424));
#6090 = CARTESIAN_POINT ('', (51.9581690874838, -12.4499999999999, -12.584216661451));
#6100 = CARTESIAN_POINT ('', (47., -12.4499999999999, -5.07166191473602));
#6110 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6080, #6090, #6100), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (198.384034228498, 236.57581062897), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.944972392334812, 1.))
   REPRESENTATION_ITEM ('')
);
#6120 = EDGE_CURVE ('', #6070, #5990, #6110, .T.);
#6130 = ORIENTED_EDGE ('', *, *, #6120, .F.);
#6140 = CARTESIAN_POINT ('', (60.5, -12.4499999999999, -19.75));
#6150 = CARTESIAN_POINT ('', (60.5, -12.4499999999999, -15.4230622339419));
#6160 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6140, #6150), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6170 = EDGE_CURVE ('', #1140, #6070, #6160, .T.);
#6180 = ORIENTED_EDGE ('', *, *, #6170, .F.);
#6190 = ORIENTED_EDGE ('', *, *, #1180, .T.);
#6200 = ORIENTED_EDGE ('', *, *, #5240, .T.);
#6210 = CARTESIAN_POINT ('', (35.0867655421286, -12.4499999999999, -14.2081076359301));
#6220 = CARTESIAN_POINT ('', (36.1721317032692, -12.4499999999999, -15.531992619465));
#6230 = CARTESIAN_POINT ('', (37.3751068378204, -12.4499999999999, -16.7499999999968));
#6240 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6210, #6220, #6230), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (309.346071267416, 314.644246425718), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.998931338890768, 1.))
   REPRESENTATION_ITEM ('')
);
#6250 = EDGE_CURVE ('', #5440, #5200, #6240, .T.);
#6260 = ORIENTED_EDGE ('', *, *, #6250, .F.);
#6270 = EDGE_LOOP ('', (#5500, #5600, #5680, #5760, #5830, #5900, #5970, #6050, #6130, #6180, #6190, #6200, #6260));
#6280 = FACE_OUTER_BOUND ('', #6270, .T.);
#6290 = CARTESIAN_POINT ('', (60.501, -12.4499999999999, 18.251));
#6300 = CARTESIAN_POINT ('', (26.2663685408187, -12.4499999999999, 18.251));
#6310 = CARTESIAN_POINT ('', (60.501, -12.4499999999999, -19.751));
#6320 = CARTESIAN_POINT ('', (26.2663685408187, -12.4499999999999, -19.751));
#6330 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6290, #6300), (#6310, #6320)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-29.001, 9.001), (3.19900000000001, 37.4336314591813), .UNSPECIFIED.);
#6340 = ADVANCED_FACE ('', (#6280), #6330, .T.);
#6350 = CARTESIAN_POINT ('', (60.5, -21.15, -14.75));
#6360 = VERTEX_POINT ('', #6350);
#6370 = CARTESIAN_POINT ('', (60.5, -25.25, -14.75));
#6380 = VERTEX_POINT ('', #6370);
#6390 = CARTESIAN_POINT ('', (60.5, -21.15, -14.75));
#6400 = CARTESIAN_POINT ('', (60.5, -25.25, -14.75));
#6410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6390, #6400), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6420 = EDGE_CURVE ('', #6360, #6380, #6410, .T.);
#6430 = ORIENTED_EDGE ('', *, *, #6420, .T.);
#6440 = CARTESIAN_POINT ('', (60.5, -25.25, -14.75));
#6450 = CARTESIAN_POINT ('', (60.5, -25.25, -19.75));
#6460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6440, #6450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6470 = EDGE_CURVE ('', #6380, #1210, #6460, .T.);
#6480 = ORIENTED_EDGE ('', *, *, #6470, .T.);
#6490 = ORIENTED_EDGE ('', *, *, #1250, .T.);
#6500 = ORIENTED_EDGE ('', *, *, #6170, .T.);
#6510 = CARTESIAN_POINT ('', (60.5, -17.65, -15.4230622339419));
#6520 = VERTEX_POINT ('', #6510);
#6530 = CARTESIAN_POINT ('', (60.5, -12.4499999999999, -15.4230622339419));
#6540 = CARTESIAN_POINT ('', (60.5, -17.65, -15.4230622339419));
#6550 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6530, #6540), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6560 = EDGE_CURVE ('', #6070, #6520, #6550, .T.);
#6570 = ORIENTED_EDGE ('', *, *, #6560, .T.);
#6580 = CARTESIAN_POINT ('', (60.5, -17.65, -12.5160285766603));
#6590 = VERTEX_POINT ('', #6580);
#6600 = CARTESIAN_POINT ('', (60.5, -17.65, -15.4230622339419));
#6610 = CARTESIAN_POINT ('', (60.5, -17.65, -12.5160285766603));
#6620 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6600, #6610), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6630 = EDGE_CURVE ('', #6520, #6590, #6620, .T.);
#6640 = ORIENTED_EDGE ('', *, *, #6630, .T.);
#6650 = CARTESIAN_POINT ('', (60.5, -21.15, -12.5160285766603));
#6660 = VERTEX_POINT ('', #6650);
#6670 = CARTESIAN_POINT ('', (60.5, -17.65, -12.5160285766603));
#6680 = CARTESIAN_POINT ('', (60.5, -21.15, -12.5160285766603));
#6690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6670, #6680), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6700 = EDGE_CURVE ('', #6590, #6660, #6690, .T.);
#6710 = ORIENTED_EDGE ('', *, *, #6700, .T.);
#6720 = CARTESIAN_POINT ('', (60.5, -21.15, -12.5160285766603));
#6730 = CARTESIAN_POINT ('', (60.5, -21.15, -14.75));
#6740 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6720, #6730), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6750 = EDGE_CURVE ('', #6660, #6360, #6740, .T.);
#6760 = ORIENTED_EDGE ('', *, *, #6750, .T.);
#6770 = EDGE_LOOP ('', (#6430, #6480, #6490, #6500, #6570, #6640, #6710, #6760));
#6780 = FACE_OUTER_BOUND ('', #6770, .T.);
#6790 = CARTESIAN_POINT ('', (60.5, -25.251, -12.5150285766603));
#6800 = CARTESIAN_POINT ('', (60.5, -12.4489999999999, -12.5150285766603));
#6810 = CARTESIAN_POINT ('', (60.5, -25.251, -19.751));
#6820 = CARTESIAN_POINT ('', (60.5, -12.4489999999999, -19.751));
#6830 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6790, #6800), (#6810, #6820)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-7.2349714233397, 0.00100000000000122), (-0.000999999999999446, 12.8010000000001), .UNSPECIFIED.);
#6840 = ADVANCED_FACE ('', (#6780), #6830, .T.);
#6850 = CARTESIAN_POINT ('', (26.2077790187206, -25.25, -0.335509987238288));
#6860 = VERTEX_POINT ('', #6850);
#6870 = CARTESIAN_POINT ('', (33.4, -25.25, 12.08420895698));
#6880 = VERTEX_POINT ('', #6870);
#6890 = CARTESIAN_POINT ('', (26.2077790187206, -25.25, -0.335509987238288));
#6900 = CARTESIAN_POINT ('', (33.4, -25.25, 12.08420895698));
#6910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6890, #6900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6920 = EDGE_CURVE ('', #6860, #6880, #6910, .T.);
#6930 = ORIENTED_EDGE ('', *, *, #6920, .T.);
#6940 = CARTESIAN_POINT ('', (33.4, -25.25, 18.25));
#6950 = VERTEX_POINT ('', #6940);
#6960 = CARTESIAN_POINT ('', (33.4, -25.25, 12.08420895698));
#6970 = CARTESIAN_POINT ('', (33.4, -25.25, 18.25));
#6980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6960, #6970), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6990 = EDGE_CURVE ('', #6880, #6950, #6980, .T.);
#7000 = ORIENTED_EDGE ('', *, *, #6990, .T.);
#7010 = CARTESIAN_POINT ('', (18.2, -25.25, 18.25));
#7020 = VERTEX_POINT ('', #7010);
#7030 = CARTESIAN_POINT ('', (33.4, -25.25, 18.25));
#7040 = CARTESIAN_POINT ('', (18.2, -25.25, 18.25));
#7050 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7030, #7040), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7060 = EDGE_CURVE ('', #6950, #7020, #7050, .T.);
#7070 = ORIENTED_EDGE ('', *, *, #7060, .T.);
#7080 = CARTESIAN_POINT ('', (18.2, -25.25, 19.75));
#7090 = VERTEX_POINT ('', #7080);
#7100 = CARTESIAN_POINT ('', (18.2, -25.25, 18.25));
#7110 = CARTESIAN_POINT ('', (18.2, -25.25, 19.75));
#7120 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7100, #7110), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7130 = EDGE_CURVE ('', #7020, #7090, #7120, .T.);
#7140 = ORIENTED_EDGE ('', *, *, #7130, .T.);
#7150 = CARTESIAN_POINT ('', (7.7715611723761E-16, -25.25, 19.75));
#7160 = VERTEX_POINT ('', #7150);
#7170 = CARTESIAN_POINT ('', (18.2, -25.25, 19.75));
#7180 = CARTESIAN_POINT ('', (1.4432899320127E-15, -25.25, 19.75));
#7190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7170, #7180), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7200 = EDGE_CURVE ('', #7090, #7160, #7190, .T.);
#7210 = ORIENTED_EDGE ('', *, *, #7200, .T.);
#7220 = CARTESIAN_POINT ('', (7.7715611723761E-16, -25.25, 19.75));
#7230 = CARTESIAN_POINT ('', (-1.83186799063151E-14, -25.25, -19.75));
#7240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7220, #7230), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7250 = EDGE_CURVE ('', #7160, #1280, #7240, .T.);
#7260 = ORIENTED_EDGE ('', *, *, #7250, .T.);
#7270 = ORIENTED_EDGE ('', *, *, #1320, .T.);
#7280 = ORIENTED_EDGE ('', *, *, #6470, .F.);
#7290 = CARTESIAN_POINT ('', (34.7166247903566, -25.25, -14.75));
#7300 = VERTEX_POINT ('', #7290);
#7310 = CARTESIAN_POINT ('', (60.5, -25.25, -14.75));
#7320 = CARTESIAN_POINT ('', (34.7166247903566, -25.25, -14.75));
#7330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7310, #7320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7340 = EDGE_CURVE ('', #6380, #7300, #7330, .T.);
#7350 = ORIENTED_EDGE ('', *, *, #7340, .T.);
#7360 = CARTESIAN_POINT ('', (31.4, -25.25, -15.75));
#7370 = VERTEX_POINT ('', #7360);
#7380 = CARTESIAN_POINT ('', (34.7166247903562, -25.25, -14.7499999999994));
#7390 = CARTESIAN_POINT ('', (33.2090680674671, -25.25, -15.75));
#7400 = CARTESIAN_POINT ('', (31.4, -25.25, -15.75));
#7410 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7380, #7390, #7400), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (146.44269023807, 179.935534283904), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.923102783209473, 0.929584089129947))
   REPRESENTATION_ITEM ('')
);
#7420 = EDGE_CURVE ('', #7300, #7370, #7410, .T.);
#7430 = ORIENTED_EDGE ('', *, *, #7420, .T.);
#7440 = CARTESIAN_POINT ('', (25.4, -25.25, -9.75));
#7450 = VERTEX_POINT ('', #7440);
#7460 = CARTESIAN_POINT ('', (31.4, -25.25, -15.75));
#7470 = CARTESIAN_POINT ('', (29.8917159715238, -25.25, -15.75));
#7480 = CARTESIAN_POINT ('', (28.5627256690741, -25.25, -15.0367640737098));
#7490 = CARTESIAN_POINT ('', (25.4, -25.25, -13.3394081426502));
#7500 = CARTESIAN_POINT ('', (25.4, -25.25, -9.75));
#7510 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7460, #7470, #7480, #7490, #7500), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (179.935534283904, 208.221345119035, 270.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.929584089129947, 0.935057765625745, 1., 0.858160548835218, 1.))
   REPRESENTATION_ITEM ('')
);
#7520 = EDGE_CURVE ('', #7370, #7450, #7510, .T.);
#7530 = ORIENTED_EDGE ('', *, *, #7520, .T.);
#7540 = CARTESIAN_POINT ('', (25.4, -25.25, -3.342309162704));
#7550 = VERTEX_POINT ('', #7540);
#7560 = CARTESIAN_POINT ('', (25.4, -25.25, -9.75));
#7570 = CARTESIAN_POINT ('', (25.4, -25.25, -3.342309162704));
#7580 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7560, #7570), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7590 = EDGE_CURVE ('', #7450, #7550, #7580, .T.);
#7600 = ORIENTED_EDGE ('', *, *, #7590, .T.);
#7610 = CARTESIAN_POINT ('', (25.4, -25.25, -3.342309162704));
#7620 = CARTESIAN_POINT ('', (25.4, -25.25, -1.7304043331829));
#7630 = CARTESIAN_POINT ('', (26.207779018722, -25.25, -0.335509987239095));
#7640 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7610, #7620, #7630), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (270., 300.075000000006), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.965756222746283, 1.))
   REPRESENTATION_ITEM ('')
);
#7650 = EDGE_CURVE ('', #7550, #6860, #7640, .T.);
#7660 = ORIENTED_EDGE ('', *, *, #7650, .T.);
#7670 = EDGE_LOOP ('', (#6930, #7000, #7070, #7140, #7210, #7260, #7270, #7280, #7350, #7430, #7530, #7600, #7660));
#7680 = FACE_OUTER_BOUND ('', #7670, .T.);
#7690 = CARTESIAN_POINT ('', (60.501, -25.25, -19.751));
#7700 = CARTESIAN_POINT ('', (-0.00100000000002121, -25.25, -19.751));
#7710 = CARTESIAN_POINT ('', (60.501, -25.25, 19.751));
#7720 = CARTESIAN_POINT ('', (-0.00100000000002121, -25.25, 19.751));
#7730 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7690, #7700), (#7710, #7720)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000122, 39.501), (-60.501, 0.0010000000000191), .UNSPECIFIED.);
#7740 = ADVANCED_FACE ('', (#7680), #7730, .T.);
#7750 = ORIENTED_EDGE ('', *, *, #1390, .T.);
#7760 = ORIENTED_EDGE ('', *, *, #7250, .F.);
#7770 = CARTESIAN_POINT ('', (2.22044604925031E-16, -16.039736830714, 19.75));
#7780 = VERTEX_POINT ('', #7770);
#7790 = CARTESIAN_POINT ('', (7.7715611723761E-16, -25.25, 19.75));
#7800 = CARTESIAN_POINT ('', (2.22044604925031E-16, -16.039736830714, 19.75));
#7810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7790, #7800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7820 = EDGE_CURVE ('', #7160, #7780, #7810, .T.);
#7830 = ORIENTED_EDGE ('', *, *, #7820, .T.);
#7840 = CARTESIAN_POINT ('', (2.22044604925031E-16, -16.039736830714, 19.75));
#7850 = CARTESIAN_POINT ('', (-3.68594044175552E-14, -16.039736830714, -19.75));
#7860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7840, #7850), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7870 = EDGE_CURVE ('', #7780, #1350, #7860, .T.);
#7880 = ORIENTED_EDGE ('', *, *, #7870, .T.);
#7890 = EDGE_LOOP ('', (#7750, #7760, #7830, #7880));
#7900 = FACE_OUTER_BOUND ('', #7890, .T.);
#7910 = CARTESIAN_POINT ('', (7.7715611723761E-16, -25.251, -19.751));
#7920 = CARTESIAN_POINT ('', (2.22044604925031E-16, -16.038736830714, -19.751));
#7930 = CARTESIAN_POINT ('', (7.7715611723761E-16, -25.251, 19.751));
#7940 = CARTESIAN_POINT ('', (2.22044604925031E-16, -16.038736830714, 19.751));
#7950 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7910, #7920), (#7930, #7940)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000122, 39.501), (-9.35963354104, -0.14737037175397), .UNSPECIFIED.);
#7960 = ADVANCED_FACE ('', (#7900), #7950, .T.);
#7970 = CARTESIAN_POINT ('', (0.137499999999879, -10.1502467212055, 19.75));
#7980 = VERTEX_POINT ('', #7970);
#7990 = CARTESIAN_POINT ('', (0.137499999999837, -15.8497532787946, 19.75));
#8000 = VERTEX_POINT ('', #7990);
#8010 = CARTESIAN_POINT ('', (0.137499999999878, -10.1502467212055, 19.75));
#8020 = CARTESIAN_POINT ('', (2.20000000000002, -10.8287594066327, 19.75));
#8030 = CARTESIAN_POINT ('', (2.2, -13., 19.75));
#8040 = CARTESIAN_POINT ('', (2.19999999999999, -15.1712405933674, 19.75));
#8050 = CARTESIAN_POINT ('', (0.13749999999984, -15.8497532787946, 19.75));
#8060 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#8010, #8020, #8030, #8040, #8050), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (198.209956864281, 270., 341.79004313572), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.810092587300968, 1., 0.810092587300968, 1.))
   REPRESENTATION_ITEM ('')
);
#8070 = EDGE_CURVE ('', #7980, #8000, #8060, .T.);
#8080 = ORIENTED_EDGE ('', *, *, #8070, .F.);
#8090 = CARTESIAN_POINT ('', (0.137499999999808, -10.1502467212054, -19.75));
#8100 = CARTESIAN_POINT ('', (0.137499999999879, -10.1502467212055, 19.75));
#8110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8090, #8100), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8120 = EDGE_CURVE ('', #1490, #7980, #8110, .T.);
#8130 = ORIENTED_EDGE ('', *, *, #8120, .F.);
#8140 = ORIENTED_EDGE ('', *, *, #1560, .T.);
#8150 = CARTESIAN_POINT ('', (0.137499999999837, -15.8497532787946, 19.75));
#8160 = CARTESIAN_POINT ('', (0.137499999999766, -15.8497532787946, -19.75));
#8170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8150, #8160), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8180 = EDGE_CURVE ('', #8000, #1420, #8170, .T.);
#8190 = ORIENTED_EDGE ('', *, *, #8180, .F.);
#8200 = EDGE_LOOP ('', (#8080, #8130, #8140, #8190));
#8210 = FACE_OUTER_BOUND ('', #8200, .T.);
#8220 = CARTESIAN_POINT ('', (-0.8, -10.0000000000001, -23.7012));
#8230 = CARTESIAN_POINT ('', (-0.8, -10., 23.7012));
#8240 = CARTESIAN_POINT ('', (2.2, -10.0000000000001, -23.7012));
#8250 = CARTESIAN_POINT ('', (2.2, -10., 23.7012));
#8260 = CARTESIAN_POINT ('', (2.2, -13.0000000000001, -23.7012));
#8270 = CARTESIAN_POINT ('', (2.2, -13., 23.7012));
#8280 = CARTESIAN_POINT ('', (2.2, -16.0000000000001, -23.7012));
#8290 = CARTESIAN_POINT ('', (2.2, -16., 23.7012));
#8300 = CARTESIAN_POINT ('', (-0.800000000000001, -16.0000000000001, -23.7012));
#8310 = CARTESIAN_POINT ('', (-0.800000000000001, -16., 23.7012));
#8320 = CARTESIAN_POINT ('', (-3.8, -16.0000000000001, -23.7012));
#8330 = CARTESIAN_POINT ('', (-3.8, -16., 23.7012));
#8340 = CARTESIAN_POINT ('', (-3.8, -13.0000000000001, -23.7012));
#8350 = CARTESIAN_POINT ('', (-3.8, -13., 23.7012));
#8360 = CARTESIAN_POINT ('', (-3.8, -10.0000000000001, -23.7012));
#8370 = CARTESIAN_POINT ('', (-3.8, -10., 23.7012));
#8380 = CARTESIAN_POINT ('', (-0.8, -10.0000000000001, -23.7012));
#8390 = CARTESIAN_POINT ('', (-0.8, -10., 23.7012));
#8400 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8220, #8230), (#8240, #8250), (#8260, #8270), (#8280, #8290), (#8300, #8310), (#8320, #8330), (#8340, #8350), (#8360, #8370), (#8380, #8390)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#8410 = ADVANCED_FACE ('', (#8210), #8400, .T.);
#8420 = CARTESIAN_POINT ('', (-2.22044604925031E-16, -9.96026316928603, 19.75));
#8430 = VERTEX_POINT ('', #8420);
#8440 = CARTESIAN_POINT ('', (-3.33066907387547E-16, -7., 19.75));
#8450 = VERTEX_POINT ('', #8440);
#8460 = CARTESIAN_POINT ('', (-2.22044604925031E-16, -9.96026316928603, 19.75));
#8470 = CARTESIAN_POINT ('', (-3.33066907387547E-16, -7., 19.75));
#8480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8460, #8470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8490 = EDGE_CURVE ('', #8430, #8450, #8480, .T.);
#8500 = ORIENTED_EDGE ('', *, *, #8490, .T.);
#8510 = CARTESIAN_POINT ('', (-3.33066907387547E-16, -7., 19.75));
#8520 = CARTESIAN_POINT ('', (-3.33066907387547E-16, -7., -19.75));
#8530 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8510, #8520), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8540 = EDGE_CURVE ('', #8450, #1660, #8530, .T.);
#8550 = ORIENTED_EDGE ('', *, *, #8540, .T.);
#8560 = ORIENTED_EDGE ('', *, *, #1700, .T.);
#8570 = CARTESIAN_POINT ('', (-4.03010957938932E-14, -9.96026316928605, -19.75));
#8580 = CARTESIAN_POINT ('', (-2.22044604925031E-16, -9.96026316928603, 19.75));
#8590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8570, #8580), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8600 = EDGE_CURVE ('', #1590, #8430, #8590, .T.);
#8610 = ORIENTED_EDGE ('', *, *, #8600, .T.);
#8620 = EDGE_LOOP ('', (#8500, #8550, #8560, #8610));
#8630 = FACE_OUTER_BOUND ('', #8620, .T.);
#8640 = CARTESIAN_POINT ('', (-2.22044604925031E-16, -9.96126316928605, -19.751));
#8650 = CARTESIAN_POINT ('', (-3.33066907387547E-16, -6.999, -19.751));
#8660 = CARTESIAN_POINT ('', (-2.22044604925031E-16, -9.96126316928605, 19.751));
#8670 = CARTESIAN_POINT ('', (-3.33066907387547E-16, -6.999, 19.751));
#8680 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8640, #8650), (#8660, #8670)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000122, 39.501), (-20.069896710326, -17.10763354104), .UNSPECIFIED.);
#8690 = ADVANCED_FACE ('', (#8630), #8680, .T.);
#8700 = CARTESIAN_POINT ('', (-2.35573683548702, -7.00000000000002, 19.75));
#8710 = VERTEX_POINT ('', #8700);
#8720 = CARTESIAN_POINT ('', (-3.33066907387547E-16, -7., 19.75));
#8730 = CARTESIAN_POINT ('', (-2.35573683548702, -7.00000000000002, 19.75));
#8740 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8720, #8730), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8750 = EDGE_CURVE ('', #8450, #8710, #8740, .T.);
#8760 = ORIENTED_EDGE ('', *, *, #8750, .T.);
#8770 = CARTESIAN_POINT ('', (-2.35573683548702, -7.00000000000002, 19.75));
#8780 = CARTESIAN_POINT ('', (-2.355736835487, -7., -19.75));
#8790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8770, #8780), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8800 = EDGE_CURVE ('', #8710, #1730, #8790, .T.);
#8810 = ORIENTED_EDGE ('', *, *, #8800, .T.);
#8820 = ORIENTED_EDGE ('', *, *, #1770, .T.);
#8830 = ORIENTED_EDGE ('', *, *, #8540, .F.);
#8840 = EDGE_LOOP ('', (#8760, #8810, #8820, #8830));
#8850 = FACE_OUTER_BOUND ('', #8840, .T.);
#8860 = CARTESIAN_POINT ('', (0.000999999999999779, -7., -19.751));
#8870 = CARTESIAN_POINT ('', (-2.35673683548702, -7., -19.751));
#8880 = CARTESIAN_POINT ('', (0.000999999999999779, -7., 19.751));
#8890 = CARTESIAN_POINT ('', (-2.35673683548702, -7., 19.751));
#8900 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8860, #8870), (#8880, #8890)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-39.501, 0.00100000000000122), (-2.356736835487, 0.0010000000000201), .UNSPECIFIED.);
#8910 = ADVANCED_FACE ('', (#8850), #8900, .T.);
#8920 = CARTESIAN_POINT ('', (-5.31243556529788, -5.29294919243107, 19.75));
#8930 = VERTEX_POINT ('', #8920);
#8940 = CARTESIAN_POINT ('', (-5.31243556529788, -5.29294919243107, 19.75));
#8950 = CARTESIAN_POINT ('', (-5.31243556529789, -5.29294919243106, -19.75));
#8960 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8940, #8950), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8970 = EDGE_CURVE ('', #8930, #1800, #8960, .T.);
#8980 = ORIENTED_EDGE ('', *, *, #8970, .T.);
#8990 = ORIENTED_EDGE ('', *, *, #1840, .T.);
#9000 = ORIENTED_EDGE ('', *, *, #8800, .F.);
#9010 = CARTESIAN_POINT ('', (-2.35573683548702, -7.00000000000002, 19.75));
#9020 = CARTESIAN_POINT ('', (-5.31243556529788, -5.29294919243107, 19.75));
#9030 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9010, #9020), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9040 = EDGE_CURVE ('', #8710, #8930, #9030, .T.);
#9050 = ORIENTED_EDGE ('', *, *, #9040, .T.);
#9060 = EDGE_LOOP ('', (#8980, #8990, #9000, #9050));
#9070 = FACE_OUTER_BOUND ('', #9060, .T.);
#9080 = CARTESIAN_POINT ('', (-2.35455382278513, -7.00068301270196, 19.751));
#9090 = CARTESIAN_POINT ('', (-2.35455382278513, -7.00068301270196, -19.751));
#9100 = CARTESIAN_POINT ('', (-5.31361857799979, -5.29226617972917, 19.751));
#9110 = CARTESIAN_POINT ('', (-5.31361857799979, -5.29226617972917, -19.751));
#9120 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9080, #9090), (#9100, #9110)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.4154676405418, 0.00136602540366049), (-0.00100000000000122, 39.501), .UNSPECIFIED.);
#9130 = ADVANCED_FACE ('', (#9070), #9120, .T.);
#9140 = CARTESIAN_POINT ('', (-7.9, -6.7, 19.75));
#9150 = VERTEX_POINT ('', #9140);
#9160 = CARTESIAN_POINT ('', (-7.9, 6.7, 19.75));
#9170 = VERTEX_POINT ('', #9160);
#9180 = CARTESIAN_POINT ('', (-7.9, -6.7, 19.75));
#9190 = CARTESIAN_POINT ('', (-7.9, 6.7, 19.75));
#9200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9180, #9190), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9210 = EDGE_CURVE ('', #9150, #9170, #9200, .T.);
#9220 = ORIENTED_EDGE ('', *, *, #9210, .T.);
#9230 = CARTESIAN_POINT ('', (-7.9, 6.7, 19.75));
#9240 = CARTESIAN_POINT ('', (-7.9, 6.7, -19.75));
#9250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9230, #9240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9260 = EDGE_CURVE ('', #9170, #2240, #9250, .T.);
#9270 = ORIENTED_EDGE ('', *, *, #9260, .T.);
#9280 = ORIENTED_EDGE ('', *, *, #2280, .T.);
#9290 = CARTESIAN_POINT ('', (-7.9, -6.7, -19.75));
#9300 = CARTESIAN_POINT ('', (-7.9, -6.7, 19.75));
#9310 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9290, #9300), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9320 = EDGE_CURVE ('', #2170, #9150, #9310, .T.);
#9330 = ORIENTED_EDGE ('', *, *, #9320, .T.);
#9340 = EDGE_LOOP ('', (#9220, #9270, #9280, #9330));
#9350 = FACE_OUTER_BOUND ('', #9340, .T.);
#9360 = CARTESIAN_POINT ('', (-7.9, -6.701, -19.751));
#9370 = CARTESIAN_POINT ('', (-7.9, 6.701, -19.751));
#9380 = CARTESIAN_POINT ('', (-7.9, -6.701, 19.751));
#9390 = CARTESIAN_POINT ('', (-7.9, 6.701, 19.751));
#9400 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9360, #9370), (#9380, #9390)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-39.501, 0.00100000000000122), (-13.701, -0.298999999999999), .UNSPECIFIED.);
#9410 = ADVANCED_FACE ('', (#9350), #9400, .T.);
#9420 = CARTESIAN_POINT ('', (-2.355736835487, 7., 19.75));
#9430 = VERTEX_POINT ('', #9420);
#9440 = CARTESIAN_POINT ('', (-2.355736835487, 7., 19.75));
#9450 = CARTESIAN_POINT ('', (-2.355736835487, 7., -19.75));
#9460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9440, #9450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9470 = EDGE_CURVE ('', #9430, #2600, #9460, .T.);
#9480 = ORIENTED_EDGE ('', *, *, #9470, .T.);
#9490 = ORIENTED_EDGE ('', *, *, #2640, .T.);
#9500 = CARTESIAN_POINT ('', (-5.31243556529858, 5.2929491924306, 19.75));
#9510 = VERTEX_POINT ('', #9500);
#9520 = CARTESIAN_POINT ('', (-5.31243556529845, 5.2929491924304, -19.75));
#9530 = CARTESIAN_POINT ('', (-5.31243556529858, 5.2929491924306, 19.75));
#9540 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9520, #9530), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9550 = EDGE_CURVE ('', #2520, #9510, #9540, .T.);
#9560 = ORIENTED_EDGE ('', *, *, #9550, .T.);
#9570 = CARTESIAN_POINT ('', (-5.31243556529858, 5.2929491924306, 19.75));
#9580 = CARTESIAN_POINT ('', (-2.355736835487, 7., 19.75));
#9590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9570, #9580), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9600 = EDGE_CURVE ('', #9510, #9430, #9590, .T.);
#9610 = ORIENTED_EDGE ('', *, *, #9600, .T.);
#9620 = EDGE_LOOP ('', (#9480, #9490, #9560, #9610));
#9630 = FACE_OUTER_BOUND ('', #9620, .T.);
#9640 = CARTESIAN_POINT ('', (-5.31361857800055, 5.29226617972864, 19.751));
#9650 = CARTESIAN_POINT ('', (-5.31361857800055, 5.29226617972864, -19.751));
#9660 = CARTESIAN_POINT ('', (-2.35455382278511, 7.00068301270189, 19.751));
#9670 = CARTESIAN_POINT ('', (-2.35455382278511, 7.00068301270189, -19.751));
#9680 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9640, #9650), (#9660, #9670)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.4154676405426, 0.00136602540378483), (-0.00100000000000122, 39.501), .UNSPECIFIED.);
#9690 = ADVANCED_FACE ('', (#9630), #9680, .T.);
#9700 = ORIENTED_EDGE ('', *, *, #2710, .T.);
#9710 = ORIENTED_EDGE ('', *, *, #9470, .F.);
#9720 = CARTESIAN_POINT ('', (-1.22124532708767E-15, 7., 19.75));
#9730 = VERTEX_POINT ('', #9720);
#9740 = CARTESIAN_POINT ('', (-2.355736835487, 7., 19.75));
#9750 = CARTESIAN_POINT ('', (-1.4432899320127E-15, 7., 19.75));
#9760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9740, #9750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9770 = EDGE_CURVE ('', #9430, #9730, #9760, .T.);
#9780 = ORIENTED_EDGE ('', *, *, #9770, .T.);
#9790 = CARTESIAN_POINT ('', (-1.22124532708767E-15, 7., 19.75));
#9800 = CARTESIAN_POINT ('', (-1.93178806284777E-14, 7., -19.75));
#9810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9790, #9800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9820 = EDGE_CURVE ('', #9730, #2670, #9810, .T.);
#9830 = ORIENTED_EDGE ('', *, *, #9820, .T.);
#9840 = EDGE_LOOP ('', (#9700, #9710, #9780, #9830));
#9850 = FACE_OUTER_BOUND ('', #9840, .T.);
#9860 = CARTESIAN_POINT ('', (0.00099999999999878, 7., 19.751));
#9870 = CARTESIAN_POINT ('', (-2.356736835487, 7., 19.751));
#9880 = CARTESIAN_POINT ('', (0.00099999999999878, 7., -19.751));
#9890 = CARTESIAN_POINT ('', (-2.356736835487, 7., -19.751));
#9900 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9860, #9870), (#9880, #9890)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000122, 39.501), (-0.001, 2.356736835487), .UNSPECIFIED.);
#9910 = ADVANCED_FACE ('', (#9850), #9900, .T.);
#9920 = ORIENTED_EDGE ('', *, *, #2780, .T.);
#9930 = ORIENTED_EDGE ('', *, *, #9820, .F.);
#9940 = CARTESIAN_POINT ('', (-1.4432899320127E-15, 9.96026316929, 19.75));
#9950 = VERTEX_POINT ('', #9940);
#9960 = CARTESIAN_POINT ('', (-1.22124532708767E-15, 7., 19.75));
#9970 = CARTESIAN_POINT ('', (-1.4432899320127E-15, 9.96026316929, 19.75));
#9980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9960, #9970), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9990 = EDGE_CURVE ('', #9730, #9950, #9980, .T.);
#10000 = ORIENTED_EDGE ('', *, *, #9990, .T.);
#10010 = CARTESIAN_POINT ('', (-1.4432899320127E-15, 9.96026316929, 19.75));
#10020 = CARTESIAN_POINT ('', (-3.85247389544929E-14, 9.96026316929, -19.75));
#10030 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10010, #10020), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10040 = EDGE_CURVE ('', #9950, #2740, #10030, .T.);
#10050 = ORIENTED_EDGE ('', *, *, #10040, .T.);
#10060 = EDGE_LOOP ('', (#9920, #9930, #10000, #10050));
#10070 = FACE_OUTER_BOUND ('', #10060, .T.);
#10080 = CARTESIAN_POINT ('', (-1.22124532708767E-15, 6.999, -19.751));
#10090 = CARTESIAN_POINT ('', (-1.4432899320127E-15, 9.96126316929, -19.751));
#10100 = CARTESIAN_POINT ('', (-1.22124532708767E-15, 6.999, 19.751));
#10110 = CARTESIAN_POINT ('', (-1.4432899320127E-15, 9.96126316929, 19.751));
#10120 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10080, #10090), (#10100, #10110)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000122, 39.501), (-3.10963354104, -0.14737037175), .UNSPECIFIED.);
#10130 = ADVANCED_FACE ('', (#10070), #10120, .T.);
#10140 = CARTESIAN_POINT ('', (0.137499999998612, 15.849753278795, 19.75));
#10150 = VERTEX_POINT ('', #10140);
#10160 = CARTESIAN_POINT ('', (0.137499999998531, 10.150246721205, 19.75));
#10170 = VERTEX_POINT ('', #10160);
#10180 = CARTESIAN_POINT ('', (0.137499999998596, 15.849753278795, 19.75));
#10190 = CARTESIAN_POINT ('', (2.20000000000003, 15.1712405933684, 19.75));
#10200 = CARTESIAN_POINT ('', (2.2, 13., 19.75));
#10210 = CARTESIAN_POINT ('', (2.19999999999997, 10.8287594066316, 19.75));
#10220 = CARTESIAN_POINT ('', (0.137499999998527, 10.150246721205, 19.75));
#10230 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#10180, #10190, #10200, #10210, #10220), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (198.209956864255, 270.000000000001, 341.790043135747), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.810092587300835, 1., 0.810092587300835, 1.))
   REPRESENTATION_ITEM ('')
);
#10240 = EDGE_CURVE ('', #10150, #10170, #10230, .T.);
#10250 = ORIENTED_EDGE ('', *, *, #10240, .F.);
#10260 = CARTESIAN_POINT ('', (0.137499999997251, 15.8497532787954, -19.75));
#10270 = CARTESIAN_POINT ('', (0.137499999998612, 15.849753278795, 19.75));
#10280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10260, #10270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10290 = EDGE_CURVE ('', #2880, #10150, #10280, .T.);
#10300 = ORIENTED_EDGE ('', *, *, #10290, .F.);
#10310 = ORIENTED_EDGE ('', *, *, #2950, .T.);
#10320 = CARTESIAN_POINT ('', (0.137499999998531, 10.150246721205, 19.75));
#10330 = CARTESIAN_POINT ('', (0.137499999997214, 10.1502467212046, -19.75));
#10340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10320, #10330), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10350 = EDGE_CURVE ('', #10170, #2810, #10340, .T.);
#10360 = ORIENTED_EDGE ('', *, *, #10350, .F.);
#10370 = EDGE_LOOP ('', (#10250, #10300, #10310, #10360));
#10380 = FACE_OUTER_BOUND ('', #10370, .T.);
#10390 = CARTESIAN_POINT ('', (-0.800000000000002, 16., -23.7012));
#10400 = CARTESIAN_POINT ('', (-0.800000000000002, 16., 23.7012));
#10410 = CARTESIAN_POINT ('', (2.2, 16., -23.7012));
#10420 = CARTESIAN_POINT ('', (2.2, 16., 23.7012));
#10430 = CARTESIAN_POINT ('', (2.19999999999999, 13., -23.7012));
#10440 = CARTESIAN_POINT ('', (2.19999999999999, 13., 23.7012));
#10450 = CARTESIAN_POINT ('', (2.19999999999999, 9.99999999999999, -23.7012));
#10460 = CARTESIAN_POINT ('', (2.19999999999999, 9.99999999999999, 23.7012));
#10470 = CARTESIAN_POINT ('', (-0.800000000000013, 10., -23.7012));
#10480 = CARTESIAN_POINT ('', (-0.800000000000013, 10., 23.7012));
#10490 = CARTESIAN_POINT ('', (-3.80000000000001, 10., -23.7012));
#10500 = CARTESIAN_POINT ('', (-3.80000000000001, 10., 23.7012));
#10510 = CARTESIAN_POINT ('', (-3.80000000000001, 13., -23.7012));
#10520 = CARTESIAN_POINT ('', (-3.80000000000001, 13., 23.7012));
#10530 = CARTESIAN_POINT ('', (-3.8, 16., -23.7012));
#10540 = CARTESIAN_POINT ('', (-3.8, 16., 23.7012));
#10550 = CARTESIAN_POINT ('', (-0.800000000000002, 16., -23.7012));
#10560 = CARTESIAN_POINT ('', (-0.800000000000002, 16., 23.7012));
#10570 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#10390, #10400), (#10410, #10420), (#10430, #10440), (#10450, #10460), (#10470, #10480), (#10490, #10500), (#10510, #10520), (#10530, #10540), (#10550, #10560)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#10580 = ADVANCED_FACE ('', (#10380), #10570, .T.);
#10590 = CARTESIAN_POINT ('', (-7.7715611723761E-16, 16.0397368307099, 19.75));
#10600 = VERTEX_POINT ('', #10590);
#10610 = CARTESIAN_POINT ('', (-7.7715611723761E-16, 16.0397368307099, 19.75));
#10620 = CARTESIAN_POINT ('', (-9.99200722162641E-16, 19., 19.75));
#10630 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10610, #10620), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10640 = EDGE_CURVE ('', #10600, #3260, #10630, .T.);
#10650 = ORIENTED_EDGE ('', *, *, #10640, .T.);
#10660 = ORIENTED_EDGE ('', *, *, #3300, .F.);
#10670 = ORIENTED_EDGE ('', *, *, #3090, .T.);
#10680 = CARTESIAN_POINT ('', (-4.2854608750531E-14, 16.0397368307099, -19.75));
#10690 = CARTESIAN_POINT ('', (-7.7715611723761E-16, 16.0397368307099, 19.75));
#10700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10680, #10690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10710 = EDGE_CURVE ('', #2980, #10600, #10700, .T.);
#10720 = ORIENTED_EDGE ('', *, *, #10710, .T.);
#10730 = EDGE_LOOP ('', (#10650, #10660, #10670, #10720));
#10740 = FACE_OUTER_BOUND ('', #10730, .T.);
#10750 = CARTESIAN_POINT ('', (-1.77635683940025E-15, 16.0387368307099, -19.751));
#10760 = CARTESIAN_POINT ('', (-1.99840144432528E-15, 19.001, -19.751));
#10770 = CARTESIAN_POINT ('', (-1.77635683940025E-15, 16.0387368307099, 19.751));
#10780 = CARTESIAN_POINT ('', (-1.99840144432528E-15, 19.001, 19.751));
#10790 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10750, #10760), (#10770, #10780)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000122, 39.501), (-2.9612631692901, 0.000999999999997669), .UNSPECIFIED.);
#10800 = ADVANCED_FACE ('', (#10740), #10790, .T.);
#10810 = ORIENTED_EDGE ('', *, *, #3640, .T.);
#10820 = ORIENTED_EDGE ('', *, *, #3370, .F.);
#10830 = ORIENTED_EDGE ('', *, *, #10640, .F.);
#10840 = CARTESIAN_POINT ('', (-7.7715611723761E-16, 16.0397368307099, 19.75));
#10850 = CARTESIAN_POINT ('', (0.137499999998612, 15.849753278795, 19.75));
#10860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10840, #10850), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10870 = EDGE_CURVE ('', #10600, #10150, #10860, .T.);
#10880 = ORIENTED_EDGE ('', *, *, #10870, .T.);
#10890 = ORIENTED_EDGE ('', *, *, #10240, .T.);
#10900 = CARTESIAN_POINT ('', (0.137499999998531, 10.150246721205, 19.75));
#10910 = CARTESIAN_POINT ('', (-1.4432899320127E-15, 9.96026316929, 19.75));
#10920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10900, #10910), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10930 = EDGE_CURVE ('', #10170, #9950, #10920, .T.);
#10940 = ORIENTED_EDGE ('', *, *, #10930, .T.);
#10950 = ORIENTED_EDGE ('', *, *, #9990, .F.);
#10960 = ORIENTED_EDGE ('', *, *, #9770, .F.);
#10970 = ORIENTED_EDGE ('', *, *, #9600, .F.);
#10980 = CARTESIAN_POINT ('', (-6.13205080756881, 5.5125644347, 19.75));
#10990 = VERTEX_POINT ('', #10980);
#11000 = CARTESIAN_POINT ('', (-5.31243556529789, 5.2929491924294, 19.75));
#11010 = CARTESIAN_POINT ('', (-5.83205080756866, 4.99294919242918, 19.75));
#11020 = CARTESIAN_POINT ('', (-6.1320508075687, 5.51256443470006, 19.75));
#11030 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#11000, #11010, #11020), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (329.999999999988, 420.000000000008), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186428, 1.))
   REPRESENTATION_ITEM ('')
);
#11040 = EDGE_CURVE ('', #9510, #10990, #11030, .T.);
#11050 = ORIENTED_EDGE ('', *, *, #11040, .T.);
#11060 = CARTESIAN_POINT ('', (-6.99082213159694, 6.9999999999998, 19.75));
#11070 = VERTEX_POINT ('', #11060);
#11080 = CARTESIAN_POINT ('', (-6.99082213159694, 6.9999999999998, 19.75));
#11090 = CARTESIAN_POINT ('', (-6.13205080756881, 5.5125644347, 19.75));
#11100 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11080, #11090), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11110 = EDGE_CURVE ('', #11070, #10990, #11100, .T.);
#11120 = ORIENTED_EDGE ('', *, *, #11110, .F.);
#11130 = CARTESIAN_POINT ('', (-7.60000000000013, 6.9999999999999, 19.75));
#11140 = VERTEX_POINT ('', #11130);
#11150 = CARTESIAN_POINT ('', (-7.60000000000013, 6.9999999999999, 19.75));
#11160 = CARTESIAN_POINT ('', (-6.99082213159694, 6.9999999999998, 19.75));
#11170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11150, #11160), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11180 = EDGE_CURVE ('', #11140, #11070, #11170, .T.);
#11190 = ORIENTED_EDGE ('', *, *, #11180, .F.);
#11200 = CARTESIAN_POINT ('', (-7.60000000000013, 6.9999999999999, 19.75));
#11210 = CARTESIAN_POINT ('', (-7.9, 6.7, 19.75));
#11220 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11200, #11210), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11230 = EDGE_CURVE ('', #11140, #9170, #11220, .T.);
#11240 = ORIENTED_EDGE ('', *, *, #11230, .T.);
#11250 = ORIENTED_EDGE ('', *, *, #9210, .F.);
#11260 = CARTESIAN_POINT ('', (-7.6, -7., 19.75));
#11270 = VERTEX_POINT ('', #11260);
#11280 = CARTESIAN_POINT ('', (-7.9, -6.7, 19.75));
#11290 = CARTESIAN_POINT ('', (-7.6, -7., 19.75));
#11300 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11280, #11290), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11310 = EDGE_CURVE ('', #9150, #11270, #11300, .T.);
#11320 = ORIENTED_EDGE ('', *, *, #11310, .T.);
#11330 = CARTESIAN_POINT ('', (-6.990822131596, -7., 19.75));
#11340 = VERTEX_POINT ('', #11330);
#11350 = CARTESIAN_POINT ('', (-6.990822131596, -7., 19.75));
#11360 = CARTESIAN_POINT ('', (-7.6, -7., 19.75));
#11370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11350, #11360), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11380 = EDGE_CURVE ('', #11340, #11270, #11370, .T.);
#11390 = ORIENTED_EDGE ('', *, *, #11380, .F.);
#11400 = CARTESIAN_POINT ('', (-6.13205080756878, -5.51256443470197, 19.75));
#11410 = VERTEX_POINT ('', #11400);
#11420 = CARTESIAN_POINT ('', (-6.13205080756878, -5.51256443470197, 19.75));
#11430 = CARTESIAN_POINT ('', (-6.990822131596, -7., 19.75));
#11440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11420, #11430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11450 = EDGE_CURVE ('', #11410, #11340, #11440, .T.);
#11460 = ORIENTED_EDGE ('', *, *, #11450, .F.);
#11470 = CARTESIAN_POINT ('', (-5.612435565298, -5.212564434702, 19.75));
#11480 = VERTEX_POINT ('', #11470);
#11490 = CARTESIAN_POINT ('', (-6.13205080756868, -5.51256443470203, 19.75));
#11500 = CARTESIAN_POINT ('', (-5.9588457268118, -5.212564434702, 19.75));
#11510 = CARTESIAN_POINT ('', (-5.612435565298, -5.212564434702, 19.75));
#11520 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#11490, #11500, #11510), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (119.999999999997, 179.30267603381), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.807007203691167, 0.868347502412609))
   REPRESENTATION_ITEM ('')
);
#11530 = EDGE_CURVE ('', #11410, #11480, #11520, .T.);
#11540 = ORIENTED_EDGE ('', *, *, #11530, .T.);
#11550 = CARTESIAN_POINT ('', (-5.612435565298, -5.212564434702, 19.75));
#11560 = CARTESIAN_POINT ('', (-5.45166604983934, -5.212564434702, 19.75));
#11570 = CARTESIAN_POINT ('', (-5.31243556529803, -5.29294919243132, 19.75));
#11580 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#11550, #11560, #11570), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (179.30267603381, 209.999999999997), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.868347502412609, 0.900099577495379, 1.))
   REPRESENTATION_ITEM ('')
);
#11590 = EDGE_CURVE ('', #11480, #8930, #11580, .T.);
#11600 = ORIENTED_EDGE ('', *, *, #11590, .T.);
#11610 = ORIENTED_EDGE ('', *, *, #9040, .F.);
#11620 = ORIENTED_EDGE ('', *, *, #8750, .F.);
#11630 = ORIENTED_EDGE ('', *, *, #8490, .F.);
#11640 = CARTESIAN_POINT ('', (-2.22044604925031E-16, -9.96026316928603, 19.75));
#11650 = CARTESIAN_POINT ('', (0.137499999999879, -10.1502467212055, 19.75));
#11660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11640, #11650), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11670 = EDGE_CURVE ('', #8430, #7980, #11660, .T.);
#11680 = ORIENTED_EDGE ('', *, *, #11670, .T.);
#11690 = ORIENTED_EDGE ('', *, *, #8070, .T.);
#11700 = CARTESIAN_POINT ('', (0.137499999999837, -15.8497532787946, 19.75));
#11710 = CARTESIAN_POINT ('', (2.22044604925031E-16, -16.039736830714, 19.75));
#11720 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11700, #11710), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11730 = EDGE_CURVE ('', #8000, #7780, #11720, .T.);
#11740 = ORIENTED_EDGE ('', *, *, #11730, .T.);
#11750 = ORIENTED_EDGE ('', *, *, #7820, .F.);
#11760 = ORIENTED_EDGE ('', *, *, #7200, .F.);
#11770 = CARTESIAN_POINT ('', (18.2, -25.25, 19.75));
#11780 = CARTESIAN_POINT ('', (18.2, -2.6147615158772, 19.75));
#11790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11770, #11780), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11800 = EDGE_CURVE ('', #7090, #3990, #11790, .T.);
#11810 = ORIENTED_EDGE ('', *, *, #11800, .T.);
#11820 = ORIENTED_EDGE ('', *, *, #4040, .T.);
#11830 = ORIENTED_EDGE ('', *, *, #3860, .T.);
#11840 = EDGE_LOOP ('', (#10810, #10820, #10830, #10880, #10890, #10940, #10950, #10960, #10970, #11050, #11120, #11190, #11240, #11250, #11320, #11390, #11460, #11540, #11600, #11610, #11620, #11630, #11680, #11690, #11740, #11750, #11760, #11810, #11820, #11830));
#11850 = FACE_OUTER_BOUND ('', #11840, .T.);
#11860 = CARTESIAN_POINT ('', (3., -3.9000000000442, 19.750000000064));
#11870 = VERTEX_POINT ('', #11860);
#11880 = CARTESIAN_POINT ('', (3., 3.9000000000442, 19.750000000064));
#11890 = VERTEX_POINT ('', #11880);
#11900 = CARTESIAN_POINT ('', (3., -3.9000000000442, 19.750000000064));
#11910 = CARTESIAN_POINT ('', (-0.900000000044201, -3.9000000000442, 19.750000000064));
#11920 = CARTESIAN_POINT ('', (-0.900000000044201, 0., 19.750000000064));
#11930 = CARTESIAN_POINT ('', (-0.900000000044201, 3.9000000000442, 19.750000000064));
#11940 = CARTESIAN_POINT ('', (3., 3.9000000000442, 19.750000000064));
#11950 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#11900, #11910, #11920, #11930, #11940), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 90., 180.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#11960 = EDGE_CURVE ('', #11870, #11890, #11950, .T.);
#11970 = ORIENTED_EDGE ('', *, *, #11960, .T.);
#11980 = CARTESIAN_POINT ('', (3., 3.9000000000442, 19.750000000064));
#11990 = CARTESIAN_POINT ('', (6.9000000000442, 3.9000000000442, 19.750000000064));
#12000 = CARTESIAN_POINT ('', (6.9000000000442, 0., 19.750000000064));
#12010 = CARTESIAN_POINT ('', (6.9000000000442, -3.9000000000442, 19.750000000064));
#12020 = CARTESIAN_POINT ('', (3., -3.9000000000442, 19.750000000064));
#12030 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#11980, #11990, #12000, #12010, #12020), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (180., 270., 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#12040 = EDGE_CURVE ('', #11890, #11870, #12030, .T.);
#12050 = ORIENTED_EDGE ('', *, *, #12040, .T.);
#12060 = EDGE_LOOP ('', (#11970, #12050));
#12070 = FACE_BOUND ('', #12060, .T.);
#12080 = CARTESIAN_POINT ('', (18.2010000000003, -25.251, 19.75));
#12090 = CARTESIAN_POINT ('', (-7.901, -25.251, 19.75));
#12100 = CARTESIAN_POINT ('', (18.2010000000003, 19.001, 19.75));
#12110 = CARTESIAN_POINT ('', (-7.901, 19.001, 19.75));
#12120 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12080, #12090), (#12100, #12110)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-12.251, 32.001), (-19.0010000000003, 7.101), .UNSPECIFIED.);
#12130 = ADVANCED_FACE ('', (#11850, #12070), #12120, .T.);
#12140 = CARTESIAN_POINT ('', (18.2, -25.25, 18.25));
#12150 = CARTESIAN_POINT ('', (18.2, -2.6147615158772, 18.25));
#12160 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12140, #12150), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12170 = EDGE_CURVE ('', #7020, #4070, #12160, .T.);
#12180 = ORIENTED_EDGE ('', *, *, #12170, .F.);
#12190 = ORIENTED_EDGE ('', *, *, #7060, .F.);
#12200 = CARTESIAN_POINT ('', (33.4, -21.15, 18.25));
#12210 = VERTEX_POINT ('', #12200);
#12220 = CARTESIAN_POINT ('', (33.4, -21.15, 18.25));
#12230 = CARTESIAN_POINT ('', (33.4, -25.25, 18.25));
#12240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12220, #12230), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12250 = EDGE_CURVE ('', #12210, #6950, #12240, .T.);
#12260 = ORIENTED_EDGE ('', *, *, #12250, .F.);
#12270 = CARTESIAN_POINT ('', (41.7, -21.15, 18.25));
#12280 = VERTEX_POINT ('', #12270);
#12290 = CARTESIAN_POINT ('', (41.7, -21.15, 18.25));
#12300 = CARTESIAN_POINT ('', (33.4, -21.15, 18.25));
#12310 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12290, #12300), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12320 = EDGE_CURVE ('', #12280, #12210, #12310, .T.);
#12330 = ORIENTED_EDGE ('', *, *, #12320, .F.);
#12340 = CARTESIAN_POINT ('', (41.7, -12.4499999999999, 18.25));
#12350 = CARTESIAN_POINT ('', (41.7, -21.15, 18.25));
#12360 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12340, #12350), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12370 = EDGE_CURVE ('', #5850, #12280, #12360, .T.);
#12380 = ORIENTED_EDGE ('', *, *, #12370, .F.);
#12390 = ORIENTED_EDGE ('', *, *, #5890, .T.);
#12400 = CARTESIAN_POINT ('', (26.82182217083, -2.95, 18.25));
#12410 = CARTESIAN_POINT ('', (26.82182217083, -12.4499999999999, 18.25));
#12420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12400, #12410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12430 = EDGE_CURVE ('', #4660, #5780, #12420, .T.);
#12440 = ORIENTED_EDGE ('', *, *, #12430, .F.);
#12450 = ORIENTED_EDGE ('', *, *, #4700, .T.);
#12460 = ORIENTED_EDGE ('', *, *, #4190, .T.);
#12470 = EDGE_LOOP ('', (#12180, #12190, #12260, #12330, #12380, #12390, #12440, #12450, #12460));
#12480 = FACE_OUTER_BOUND ('', #12470, .T.);
#12490 = CARTESIAN_POINT ('', (41.701, -25.251, 18.25));
#12500 = CARTESIAN_POINT ('', (18.199, -25.251, 18.25));
#12510 = CARTESIAN_POINT ('', (41.701, -2.61376151587637, 18.25));
#12520 = CARTESIAN_POINT ('', (18.199, -2.61376151587637, 18.25));
#12530 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12490, #12500), (#12510, #12520)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (26.0387615158764, 48.676), (-23.501, 0.00100000000000122), .UNSPECIFIED.);
#12540 = ADVANCED_FACE ('', (#12480), #12530, .T.);
#12550 = ORIENTED_EDGE ('', *, *, #5490, .T.);
#12560 = CARTESIAN_POINT ('', (35.0867655421265, -12.4499999999999, -14.2081076359318));
#12570 = CARTESIAN_POINT ('', (35.0867655421244, -2.95, -14.2081076359335));
#12580 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12560, #12570), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12590 = EDGE_CURVE ('', #5440, #4510, #12580, .T.);
#12600 = ORIENTED_EDGE ('', *, *, #12590, .T.);
#12610 = ORIENTED_EDGE ('', *, *, #5090, .T.);
#12620 = CARTESIAN_POINT ('', (32.7493238564491, -2.95, -12.8161880130855));
#12630 = CARTESIAN_POINT ('', (32.7493238564486, -12.4499999999999, -12.8161880130882));
#12640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12620, #12630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12650 = EDGE_CURVE ('', #4960, #5420, #12640, .T.);
#12660 = ORIENTED_EDGE ('', *, *, #12650, .T.);
#12670 = EDGE_LOOP ('', (#12550, #12600, #12610, #12660));
#12680 = FACE_OUTER_BOUND ('', #12670, .T.);
#12690 = CARTESIAN_POINT ('', (31.99344289803, -1.9988, -12.74411927225));
#12700 = CARTESIAN_POINT ('', (31.99344289803, -13.4011999999999, -12.74411927225));
#12710 = CARTESIAN_POINT ('', (27.99344289803, -1.9988, -12.74411927225));
#12720 = CARTESIAN_POINT ('', (27.99344289803, -13.4011999999999, -12.74411927225));
#12730 = CARTESIAN_POINT ('', (27.99344289803, -1.9988, -16.74411927225));
#12740 = CARTESIAN_POINT ('', (27.99344289803, -13.4011999999999, -16.74411927225));
#12750 = CARTESIAN_POINT ('', (27.99344289803, -1.9988, -20.74411927225));
#12760 = CARTESIAN_POINT ('', (27.99344289803, -13.4011999999999, -20.74411927225));
#12770 = CARTESIAN_POINT ('', (31.99344289803, -1.9988, -20.74411927225));
#12780 = CARTESIAN_POINT ('', (31.99344289803, -13.4011999999999, -20.74411927225));
#12790 = CARTESIAN_POINT ('', (35.99344289803, -1.9988, -20.74411927225));
#12800 = CARTESIAN_POINT ('', (35.99344289803, -13.4011999999999, -20.74411927225));
#12810 = CARTESIAN_POINT ('', (35.99344289803, -1.9988, -16.74411927225));
#12820 = CARTESIAN_POINT ('', (35.99344289803, -13.4011999999999, -16.74411927225));
#12830 = CARTESIAN_POINT ('', (35.99344289803, -1.9988, -12.74411927225));
#12840 = CARTESIAN_POINT ('', (35.99344289803, -13.4011999999999, -12.74411927225));
#12850 = CARTESIAN_POINT ('', (31.99344289803, -1.9988, -12.74411927225));
#12860 = CARTESIAN_POINT ('', (31.99344289803, -13.4011999999999, -12.74411927225));
#12870 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#12690, #12700), (#12710, #12720), (#12730, #12740), (#12750, #12760), (#12770, #12780), (#12790, #12800), (#12810, #12820), (#12830, #12840), (#12850, #12860)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#12880 = ADVANCED_FACE ('', (#12680), #12870, .T.);
#12890 = ORIENTED_EDGE ('', *, *, #4560, .T.);
#12900 = ORIENTED_EDGE ('', *, *, #12590, .F.);
#12910 = ORIENTED_EDGE ('', *, *, #6250, .T.);
#12920 = ORIENTED_EDGE ('', *, *, #5310, .T.);
#12930 = EDGE_LOOP ('', (#12890, #12900, #12910, #12920));
#12940 = FACE_OUTER_BOUND ('', #12930, .T.);
#12950 = CARTESIAN_POINT ('', (63.7, -1.99880000000001, 46.25));
#12960 = CARTESIAN_POINT ('', (63.7, -13.4011999999999, 46.25));
#12970 = CARTESIAN_POINT ('', (100.7, -1.9988, 46.25));
#12980 = CARTESIAN_POINT ('', (100.7, -13.4011999999999, 46.25));
#12990 = CARTESIAN_POINT ('', (100.7, -1.9988, 9.24999999999998));
#13000 = CARTESIAN_POINT ('', (100.7, -13.4011999999999, 9.24999999999998));
#13010 = CARTESIAN_POINT ('', (100.7, -1.9988, -27.75));
#13020 = CARTESIAN_POINT ('', (100.7, -13.4011999999999, -27.75));
#13030 = CARTESIAN_POINT ('', (63.7, -1.99880000000001, -27.75));
#13040 = CARTESIAN_POINT ('', (63.7, -13.4011999999999, -27.75));
#13050 = CARTESIAN_POINT ('', (26.7, -1.99880000000001, -27.75));
#13060 = CARTESIAN_POINT ('', (26.7, -13.4011999999999, -27.75));
#13070 = CARTESIAN_POINT ('', (26.7, -1.99880000000001, 9.25));
#13080 = CARTESIAN_POINT ('', (26.7, -13.4011999999999, 9.25));
#13090 = CARTESIAN_POINT ('', (26.7, -1.99880000000001, 46.25));
#13100 = CARTESIAN_POINT ('', (26.7, -13.4011999999999, 46.25));
#13110 = CARTESIAN_POINT ('', (63.7, -1.99880000000001, 46.25));
#13120 = CARTESIAN_POINT ('', (63.7, -13.4011999999999, 46.25));
#13130 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#12950, #12960), (#12970, #12980), (#12990, #13000), (#13010, #13020), (#13030, #13040), (#13050, #13060), (#13070, #13080), (#13090, #13100), (#13110, #13120)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#13140 = ADVANCED_FACE ('', (#12940), #13130, .T.);
#13150 = CARTESIAN_POINT ('', (26.82182217083, -2.95, 12.2500000000142));
#13160 = CARTESIAN_POINT ('', (26.82182217083, -12.4499999999999, 12.2500000000142));
#13170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13150, #13160), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13180 = EDGE_CURVE ('', #4730, #5700, #13170, .T.);
#13190 = ORIENTED_EDGE ('', *, *, #13180, .F.);
#13200 = ORIENTED_EDGE ('', *, *, #4770, .T.);
#13210 = ORIENTED_EDGE ('', *, *, #12430, .T.);
#13220 = ORIENTED_EDGE ('', *, *, #5820, .T.);
#13230 = EDGE_LOOP ('', (#13190, #13200, #13210, #13220));
#13240 = FACE_OUTER_BOUND ('', #13230, .T.);
#13250 = CARTESIAN_POINT ('', (26.82182217083, -12.4509999999999, 18.251));
#13260 = CARTESIAN_POINT ('', (26.82182217083, -2.949, 18.251));
#13270 = CARTESIAN_POINT ('', (26.82182217083, -12.4509999999999, 12.2490000000142));
#13280 = CARTESIAN_POINT ('', (26.82182217083, -2.949, 12.2490000000142));
#13290 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13250, #13260), (#13270, #13280)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.000999999985799249, 6.001), (-9.5009999999999, 0.000999999999999446), .UNSPECIFIED.);
#13300 = ADVANCED_FACE ('', (#13240), #13290, .T.);
#13310 = ORIENTED_EDGE ('', *, *, #5750, .T.);
#13320 = CARTESIAN_POINT ('', (28.1856725890896, -2.95, -1.12942910523779));
#13330 = CARTESIAN_POINT ('', (28.1856725890876, -12.4499999999999, -1.12942910523838));
#13340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13320, #13330), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13350 = EDGE_CURVE ('', #4800, #5620, #13340, .T.);
#13360 = ORIENTED_EDGE ('', *, *, #13350, .F.);
#13370 = ORIENTED_EDGE ('', *, *, #4850, .T.);
#13380 = ORIENTED_EDGE ('', *, *, #13180, .T.);
#13390 = EDGE_LOOP ('', (#13310, #13360, #13370, #13380));
#13400 = FACE_OUTER_BOUND ('', #13390, .T.);
#13410 = CARTESIAN_POINT ('', (63.7, -1.99880000000001, 46.25));
#13420 = CARTESIAN_POINT ('', (63.7, -13.4011999999999, 46.25));
#13430 = CARTESIAN_POINT ('', (100.7, -1.9988, 46.25));
#13440 = CARTESIAN_POINT ('', (100.7, -13.4011999999999, 46.25));
#13450 = CARTESIAN_POINT ('', (100.7, -1.9988, 9.24999999999998));
#13460 = CARTESIAN_POINT ('', (100.7, -13.4011999999999, 9.24999999999998));
#13470 = CARTESIAN_POINT ('', (100.7, -1.9988, -27.75));
#13480 = CARTESIAN_POINT ('', (100.7, -13.4011999999999, -27.75));
#13490 = CARTESIAN_POINT ('', (63.7, -1.99880000000001, -27.75));
#13500 = CARTESIAN_POINT ('', (63.7, -13.4011999999999, -27.75));
#13510 = CARTESIAN_POINT ('', (26.7, -1.99880000000001, -27.75));
#13520 = CARTESIAN_POINT ('', (26.7, -13.4011999999999, -27.75));
#13530 = CARTESIAN_POINT ('', (26.7, -1.99880000000001, 9.25));
#13540 = CARTESIAN_POINT ('', (26.7, -13.4011999999999, 9.25));
#13550 = CARTESIAN_POINT ('', (26.7, -1.99880000000001, 46.25));
#13560 = CARTESIAN_POINT ('', (26.7, -13.4011999999999, 46.25));
#13570 = CARTESIAN_POINT ('', (63.7, -1.99880000000001, 46.25));
#13580 = CARTESIAN_POINT ('', (63.7, -13.4011999999999, 46.25));
#13590 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#13410, #13420), (#13430, #13440), (#13450, #13460), (#13470, #13480), (#13490, #13500), (#13510, #13520), (#13530, #13540), (#13550, #13560), (#13570, #13580)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#13600 = ADVANCED_FACE ('', (#13400), #13590, .T.);
#13610 = ORIENTED_EDGE ('', *, *, #13350, .T.);
#13620 = ORIENTED_EDGE ('', *, *, #5670, .T.);
#13630 = CARTESIAN_POINT ('', (28.0153694884067, -12.4499999999999, -3.84458485110398));
#13640 = CARTESIAN_POINT ('', (28.0153694884031, -2.95, -3.84458485110241));
#13650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13630, #13640), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13660 = EDGE_CURVE ('', #5520, #4880, #13650, .T.);
#13670 = ORIENTED_EDGE ('', *, *, #13660, .T.);
#13680 = ORIENTED_EDGE ('', *, *, #4930, .T.);
#13690 = EDGE_LOOP ('', (#13610, #13620, #13670, #13680));
#13700 = FACE_OUTER_BOUND ('', #13690, .T.);
#13710 = CARTESIAN_POINT ('', (24.34628584196, -13.4011999999999, -6.251529549048));
#13720 = CARTESIAN_POINT ('', (24.34628584196, -1.9988, -6.251529549048));
#13730 = CARTESIAN_POINT ('', (20.34628584196, -13.4011999999999, -6.251529549048));
#13740 = CARTESIAN_POINT ('', (20.34628584196, -1.9988, -6.251529549048));
#13750 = CARTESIAN_POINT ('', (20.34628584196, -13.4011999999999, -2.251529549048));
#13760 = CARTESIAN_POINT ('', (20.34628584196, -1.9988, -2.251529549048));
#13770 = CARTESIAN_POINT ('', (20.34628584196, -13.4011999999999, 1.748470450952));
#13780 = CARTESIAN_POINT ('', (20.34628584196, -1.9988, 1.748470450952));
#13790 = CARTESIAN_POINT ('', (24.34628584196, -13.4011999999999, 1.748470450952));
#13800 = CARTESIAN_POINT ('', (24.34628584196, -1.9988, 1.748470450952));
#13810 = CARTESIAN_POINT ('', (28.34628584196, -13.4011999999999, 1.748470450952));
#13820 = CARTESIAN_POINT ('', (28.34628584196, -1.9988, 1.748470450952));
#13830 = CARTESIAN_POINT ('', (28.34628584196, -13.4011999999999, -2.251529549048));
#13840 = CARTESIAN_POINT ('', (28.34628584196, -1.9988, -2.251529549048));
#13850 = CARTESIAN_POINT ('', (28.34628584196, -13.4011999999999, -6.25152954904799));
#13860 = CARTESIAN_POINT ('', (28.34628584196, -1.9988, -6.25152954904799));
#13870 = CARTESIAN_POINT ('', (24.34628584196, -13.4011999999999, -6.251529549048));
#13880 = CARTESIAN_POINT ('', (24.34628584196, -1.9988, -6.251529549048));
#13890 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#13710, #13720), (#13730, #13740), (#13750, #13760), (#13770, #13780), (#13790, #13800), (#13810, #13820), (#13830, #13840), (#13850, #13860), (#13870, #13880)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#13900 = ADVANCED_FACE ('', (#13700), #13890, .T.);
#13910 = ORIENTED_EDGE ('', *, *, #5030, .T.);
#13920 = ORIENTED_EDGE ('', *, *, #13660, .F.);
#13930 = ORIENTED_EDGE ('', *, *, #5590, .T.);
#13940 = ORIENTED_EDGE ('', *, *, #12650, .F.);
#13950 = EDGE_LOOP ('', (#13910, #13920, #13930, #13940));
#13960 = FACE_OUTER_BOUND ('', #13950, .T.);
#13970 = CARTESIAN_POINT ('', (33.97763041388, -13.4011999999999, -12.933299716945));
#13980 = CARTESIAN_POINT ('', (33.97763041388, -1.99880000000001, -12.933299716945));
#13990 = CARTESIAN_POINT ('', (40.47763041388, -13.4011999999999, -12.933299716945));
#14000 = CARTESIAN_POINT ('', (40.47763041388, -1.99880000000001, -12.933299716945));
#14010 = CARTESIAN_POINT ('', (40.47763041388, -13.4011999999999, -6.433299716945));
#14020 = CARTESIAN_POINT ('', (40.47763041388, -1.99880000000001, -6.433299716945));
#14030 = CARTESIAN_POINT ('', (40.47763041388, -13.4011999999999, 0.0667002830549968));
#14040 = CARTESIAN_POINT ('', (40.47763041388, -1.99880000000001, 0.0667002830549968));
#14050 = CARTESIAN_POINT ('', (33.97763041388, -13.4011999999999, 0.0667002830549972));
#14060 = CARTESIAN_POINT ('', (33.97763041388, -1.99880000000001, 0.0667002830549972));
#14070 = CARTESIAN_POINT ('', (27.47763041388, -13.4011999999999, 0.066700283054998));
#14080 = CARTESIAN_POINT ('', (27.47763041388, -1.99880000000001, 0.066700283054998));
#14090 = CARTESIAN_POINT ('', (27.47763041388, -13.4011999999999, -6.433299716945));
#14100 = CARTESIAN_POINT ('', (27.47763041388, -1.99880000000001, -6.433299716945));
#14110 = CARTESIAN_POINT ('', (27.47763041388, -13.4011999999999, -12.933299716945));
#14120 = CARTESIAN_POINT ('', (27.47763041388, -1.99880000000001, -12.933299716945));
#14130 = CARTESIAN_POINT ('', (33.97763041388, -13.4011999999999, -12.933299716945));
#14140 = CARTESIAN_POINT ('', (33.97763041388, -1.99880000000001, -12.933299716945));
#14150 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#13970, #13980), (#13990, #14000), (#14010, #14020), (#14030, #14040), (#14050, #14060), (#14070, #14080), (#14090, #14100), (#14110, #14120), (#14130, #14140)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#14160 = ADVANCED_FACE ('', (#13960), #14150, .T.);
#14170 = CARTESIAN_POINT ('', (41.7, -21.15, 9.25));
#14180 = VERTEX_POINT ('', #14170);
#14190 = CARTESIAN_POINT ('', (41.7, -12.4499999999999, 9.25));
#14200 = CARTESIAN_POINT ('', (41.7, -21.15, 9.25));
#14210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14190, #14200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14220 = EDGE_CURVE ('', #5920, #14180, #14210, .T.);
#14230 = ORIENTED_EDGE ('', *, *, #14220, .F.);
#14240 = ORIENTED_EDGE ('', *, *, #5960, .T.);
#14250 = ORIENTED_EDGE ('', *, *, #12370, .T.);
#14260 = CARTESIAN_POINT ('', (41.7, -21.15, 9.25));
#14270 = CARTESIAN_POINT ('', (41.7, -21.15, 18.25));
#14280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14260, #14270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14290 = EDGE_CURVE ('', #14180, #12280, #14280, .T.);
#14300 = ORIENTED_EDGE ('', *, *, #14290, .F.);
#14310 = EDGE_LOOP ('', (#14230, #14240, #14250, #14300));
#14320 = FACE_OUTER_BOUND ('', #14310, .T.);
#14330 = CARTESIAN_POINT ('', (41.7, -21.151, 18.251));
#14340 = CARTESIAN_POINT ('', (41.7, -12.4489999999999, 18.251));
#14350 = CARTESIAN_POINT ('', (41.7, -21.151, 9.249));
#14360 = CARTESIAN_POINT ('', (41.7, -12.4489999999999, 9.249));
#14370 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14330, #14340), (#14350, #14360)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.000999999999999446, 9.001), (-40.151, -31.4489999999999), .UNSPECIFIED.);
#14380 = ADVANCED_FACE ('', (#14320), #14370, .T.);
#14390 = ORIENTED_EDGE ('', *, *, #6700, .F.);
#14400 = CARTESIAN_POINT ('', (47., -17.65, -5.07166191473601));
#14410 = VERTEX_POINT ('', #14400);
#14420 = CARTESIAN_POINT ('', (47., -17.65, -5.07166191473601));
#14430 = CARTESIAN_POINT ('', (52.3575729900208, -17.65, -11.3189444903208));
#14440 = CARTESIAN_POINT ('', (60.5, -17.65, -12.5160285766605));
#14450 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#14420, #14430, #14440), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (130.615880142389, 171.636398210973), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.936609468227038, 1.))
   REPRESENTATION_ITEM ('')
);
#14460 = EDGE_CURVE ('', #14410, #6590, #14450, .T.);
#14470 = ORIENTED_EDGE ('', *, *, #14460, .F.);
#14480 = CARTESIAN_POINT ('', (47., -12.4499999999999, -5.07166191473601));
#14490 = CARTESIAN_POINT ('', (47., -17.65, -5.07166191473601));
#14500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14480, #14490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14510 = EDGE_CURVE ('', #5990, #14410, #14500, .T.);
#14520 = ORIENTED_EDGE ('', *, *, #14510, .F.);
#14530 = ORIENTED_EDGE ('', *, *, #6040, .T.);
#14540 = ORIENTED_EDGE ('', *, *, #14220, .T.);
#14550 = CARTESIAN_POINT ('', (60.5, -21.15, -12.5160285766605));
#14560 = CARTESIAN_POINT ('', (41.7, -21.15, -9.75208843994166));
#14570 = CARTESIAN_POINT ('', (41.7, -21.15, 9.25));
#14580 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#14550, #14560, #14570), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (188.363601789027, 270.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.75678746866427, 1.))
   REPRESENTATION_ITEM ('')
);
#14590 = EDGE_CURVE ('', #6660, #14180, #14580, .T.);
#14600 = ORIENTED_EDGE ('', *, *, #14590, .F.);
#14610 = EDGE_LOOP ('', (#14390, #14470, #14520, #14530, #14540, #14600));
#14620 = FACE_OUTER_BOUND ('', #14610, .T.);
#14630 = CARTESIAN_POINT ('', (63.7, -22.0212, -12.75));
#14640 = CARTESIAN_POINT ('', (63.7, -11.5787999999999, -12.75));
#14650 = CARTESIAN_POINT ('', (85.7, -22.0212, -12.75));
#14660 = CARTESIAN_POINT ('', (85.7, -11.5787999999999, -12.75));
#14670 = CARTESIAN_POINT ('', (85.7, -22.0212, 9.25000000000003));
#14680 = CARTESIAN_POINT ('', (85.7, -11.5787999999999, 9.25000000000003));
#14690 = CARTESIAN_POINT ('', (85.6999999999999, -22.0212, 31.25));
#14700 = CARTESIAN_POINT ('', (85.6999999999999, -11.5787999999999, 31.25));
#14710 = CARTESIAN_POINT ('', (63.6999999999999, -22.0212, 31.25));
#14720 = CARTESIAN_POINT ('', (63.6999999999999, -11.5787999999999, 31.25));
#14730 = CARTESIAN_POINT ('', (41.6999999999999, -22.0212, 31.25));
#14740 = CARTESIAN_POINT ('', (41.6999999999999, -11.5787999999999, 31.25));
#14750 = CARTESIAN_POINT ('', (41.7, -22.0212, 9.24999999999998));
#14760 = CARTESIAN_POINT ('', (41.7, -11.5787999999999, 9.24999999999998));
#14770 = CARTESIAN_POINT ('', (41.7, -22.0212, -12.75));
#14780 = CARTESIAN_POINT ('', (41.7, -11.5787999999999, -12.75));
#14790 = CARTESIAN_POINT ('', (63.7, -22.0212, -12.75));
#14800 = CARTESIAN_POINT ('', (63.7, -11.5787999999999, -12.75));
#14810 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#14630, #14640), (#14650, #14660), (#14670, #14680), (#14690, #14700), (#14710, #14720), (#14730, #14740), (#14750, #14760), (#14770, #14780), (#14790, #14800)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#14820 = ADVANCED_FACE ('', (#14620), #14810, .T.);
#14830 = CARTESIAN_POINT ('', (60.4999999999998, -17.65, -15.4230622339424));
#14840 = CARTESIAN_POINT ('', (51.9581690874838, -17.65, -12.584216661451));
#14850 = CARTESIAN_POINT ('', (47., -17.65, -5.07166191473602));
#14860 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#14830, #14840, #14850), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (198.384034228498, 236.57581062897), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.944972392334812, 1.))
   REPRESENTATION_ITEM ('')
);
#14870 = EDGE_CURVE ('', #6520, #14410, #14860, .T.);
#14880 = ORIENTED_EDGE ('', *, *, #14870, .F.);
#14890 = ORIENTED_EDGE ('', *, *, #6560, .F.);
#14900 = ORIENTED_EDGE ('', *, *, #6120, .T.);
#14910 = ORIENTED_EDGE ('', *, *, #14510, .T.);
#14920 = EDGE_LOOP ('', (#14880, #14890, #14900, #14910));
#14930 = FACE_OUTER_BOUND ('', #14920, .T.);
#14940 = CARTESIAN_POINT ('', (68.7, -18.1712, -16.75));
#14950 = CARTESIAN_POINT ('', (68.7, -11.9287999999999, -16.75));
#14960 = CARTESIAN_POINT ('', (94.7, -18.1712, -16.75));
#14970 = CARTESIAN_POINT ('', (94.7, -11.9287999999999, -16.75));
#14980 = CARTESIAN_POINT ('', (94.7, -18.1712, 9.25000000000001));
#14990 = CARTESIAN_POINT ('', (94.7, -11.9287999999999, 9.25000000000001));
#15000 = CARTESIAN_POINT ('', (94.7, -18.1712, 35.25));
#15010 = CARTESIAN_POINT ('', (94.7, -11.9287999999999, 35.25));
#15020 = CARTESIAN_POINT ('', (68.7, -18.1712, 35.25));
#15030 = CARTESIAN_POINT ('', (68.7, -11.9287999999999, 35.25));
#15040 = CARTESIAN_POINT ('', (42.7, -18.1712, 35.25));
#15050 = CARTESIAN_POINT ('', (42.7, -11.9287999999999, 35.25));
#15060 = CARTESIAN_POINT ('', (42.7, -18.1712, 9.24999999999999));
#15070 = CARTESIAN_POINT ('', (42.7, -11.9287999999999, 9.24999999999999));
#15080 = CARTESIAN_POINT ('', (42.7, -18.1712, -16.75));
#15090 = CARTESIAN_POINT ('', (42.7, -11.9287999999999, -16.75));
#15100 = CARTESIAN_POINT ('', (68.7, -18.1712, -16.75));
#15110 = CARTESIAN_POINT ('', (68.7, -11.9287999999999, -16.75));
#15120 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#14940, #14950), (#14960, #14970), (#14980, #14990), (#15000, #15010), (#15020, #15030), (#15040, #15050), (#15060, #15070), (#15080, #15090), (#15100, #15110)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#15130 = ADVANCED_FACE ('', (#14930), #15120, .T.);
#15140 = ORIENTED_EDGE ('', *, *, #6420, .F.);
#15150 = CARTESIAN_POINT ('', (34.7166247903566, -21.15, -14.75));
#15160 = VERTEX_POINT ('', #15150);
#15170 = CARTESIAN_POINT ('', (34.7166247903566, -21.15, -14.75));
#15180 = CARTESIAN_POINT ('', (60.5, -21.15, -14.75));
#15190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15170, #15180), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15200 = EDGE_CURVE ('', #15160, #6360, #15190, .T.);
#15210 = ORIENTED_EDGE ('', *, *, #15200, .F.);
#15220 = CARTESIAN_POINT ('', (34.7166247903566, -25.25, -14.75));
#15230 = CARTESIAN_POINT ('', (34.7166247903566, -21.15, -14.75));
#15240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15220, #15230), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15250 = EDGE_CURVE ('', #7300, #15160, #15240, .T.);
#15260 = ORIENTED_EDGE ('', *, *, #15250, .F.);
#15270 = ORIENTED_EDGE ('', *, *, #7340, .F.);
#15280 = EDGE_LOOP ('', (#15140, #15210, #15260, #15270));
#15290 = FACE_OUTER_BOUND ('', #15280, .T.);
#15300 = CARTESIAN_POINT ('', (60.501, -25.251, -14.75));
#15310 = CARTESIAN_POINT ('', (34.7156247903566, -25.251, -14.75));
#15320 = CARTESIAN_POINT ('', (60.501, -21.149, -14.75));
#15330 = CARTESIAN_POINT ('', (34.7156247903566, -21.149, -14.75));
#15340 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15300, #15310), (#15320, #15330)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-4.101, 0.000999999999999446), (-0.000999999999997669, 25.7843752096434), .UNSPECIFIED.);
#15350 = ADVANCED_FACE ('', (#15290), #15340, .T.);
#15360 = ORIENTED_EDGE ('', *, *, #14290, .T.);
#15370 = ORIENTED_EDGE ('', *, *, #12320, .T.);
#15380 = CARTESIAN_POINT ('', (33.4, -21.15, 12.0842089569803));
#15390 = VERTEX_POINT ('', #15380);
#15400 = CARTESIAN_POINT ('', (33.4, -21.15, 12.0842089569803));
#15410 = CARTESIAN_POINT ('', (33.4, -21.15, 18.25));
#15420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15400, #15410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15430 = EDGE_CURVE ('', #15390, #12210, #15420, .T.);
#15440 = ORIENTED_EDGE ('', *, *, #15430, .F.);
#15450 = CARTESIAN_POINT ('', (26.2077790187206, -21.15, -0.335509987238302));
#15460 = VERTEX_POINT ('', #15450);
#15470 = CARTESIAN_POINT ('', (26.2077790187206, -21.15, -0.335509987238302));
#15480 = CARTESIAN_POINT ('', (33.4, -21.15, 12.0842089569803));
#15490 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15470, #15480), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15500 = EDGE_CURVE ('', #15460, #15390, #15490, .T.);
#15510 = ORIENTED_EDGE ('', *, *, #15500, .F.);
#15520 = CARTESIAN_POINT ('', (25.4, -21.15, -3.342309162704));
#15530 = VERTEX_POINT ('', #15520);
#15540 = CARTESIAN_POINT ('', (25.4, -21.15, -3.342309162704));
#15550 = CARTESIAN_POINT ('', (25.4, -21.15, -1.73040433318291));
#15560 = CARTESIAN_POINT ('', (26.207779018722, -21.15, -0.335509987239104));
#15570 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#15540, #15550, #15560), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (270., 300.075000000006), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.965756222746283, 1.))
   REPRESENTATION_ITEM ('')
);
#15580 = EDGE_CURVE ('', #15530, #15460, #15570, .T.);
#15590 = ORIENTED_EDGE ('', *, *, #15580, .F.);
#15600 = CARTESIAN_POINT ('', (25.4, -21.15, -9.75));
#15610 = VERTEX_POINT ('', #15600);
#15620 = CARTESIAN_POINT ('', (25.4, -21.15, -9.75));
#15630 = CARTESIAN_POINT ('', (25.4, -21.15, -3.342309162704));
#15640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15620, #15630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15650 = EDGE_CURVE ('', #15610, #15530, #15640, .T.);
#15660 = ORIENTED_EDGE ('', *, *, #15650, .F.);
#15670 = CARTESIAN_POINT ('', (31.4, -21.15, -15.75));
#15680 = VERTEX_POINT ('', #15670);
#15690 = CARTESIAN_POINT ('', (31.4, -21.15, -15.75));
#15700 = CARTESIAN_POINT ('', (29.8917159715238, -21.15, -15.75));
#15710 = CARTESIAN_POINT ('', (28.5627256690741, -21.15, -15.0367640737098));
#15720 = CARTESIAN_POINT ('', (25.4, -21.15, -13.3394081426502));
#15730 = CARTESIAN_POINT ('', (25.4, -21.15, -9.75));
#15740 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#15690, #15700, #15710, #15720, #15730), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (179.935534283904, 208.221345119035, 270.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.929584089129947, 0.935057765625745, 1., 0.858160548835218, 1.))
   REPRESENTATION_ITEM ('')
);
#15750 = EDGE_CURVE ('', #15680, #15610, #15740, .T.);
#15760 = ORIENTED_EDGE ('', *, *, #15750, .F.);
#15770 = CARTESIAN_POINT ('', (34.7166247903562, -21.15, -14.7499999999994));
#15780 = CARTESIAN_POINT ('', (33.2090680674671, -21.15, -15.75));
#15790 = CARTESIAN_POINT ('', (31.4, -21.15, -15.75));
#15800 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#15770, #15780, #15790), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (146.44269023807, 179.935534283904), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.923102783209473, 0.929584089129947))
   REPRESENTATION_ITEM ('')
);
#15810 = EDGE_CURVE ('', #15160, #15680, #15800, .T.);
#15820 = ORIENTED_EDGE ('', *, *, #15810, .F.);
#15830 = ORIENTED_EDGE ('', *, *, #15200, .T.);
#15840 = ORIENTED_EDGE ('', *, *, #6750, .F.);
#15850 = ORIENTED_EDGE ('', *, *, #14590, .T.);
#15860 = EDGE_LOOP ('', (#15360, #15370, #15440, #15510, #15590, #15660, #15760, #15820, #15830, #15840, #15850));
#15870 = FACE_OUTER_BOUND ('', #15860, .T.);
#15880 = CARTESIAN_POINT ('', (60.501, -21.15, -16.7351200047695));
#15890 = CARTESIAN_POINT ('', (25.399, -21.15, -16.7351200047695));
#15900 = CARTESIAN_POINT ('', (60.501, -21.15, 18.251));
#15910 = CARTESIAN_POINT ('', (25.399, -21.15, 18.251));
#15920 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15880, #15890), (#15900, #15910)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-38.001, -3.01487999523055), (-60.501, -25.399), .UNSPECIFIED.);
#15930 = ADVANCED_FACE ('', (#15870), #15920, .T.);
#15940 = ORIENTED_EDGE ('', *, *, #6630, .F.);
#15950 = ORIENTED_EDGE ('', *, *, #14870, .T.);
#15960 = ORIENTED_EDGE ('', *, *, #14460, .T.);
#15970 = EDGE_LOOP ('', (#15940, #15950, #15960));
#15980 = FACE_OUTER_BOUND ('', #15970, .T.);
#15990 = CARTESIAN_POINT ('', (60.501, -17.65, -5.07066191473601));
#16000 = CARTESIAN_POINT ('', (46.999, -17.65, -5.07066191473601));
#16010 = CARTESIAN_POINT ('', (60.501, -17.65, -15.4240622339424));
#16020 = CARTESIAN_POINT ('', (46.999, -17.65, -15.4240622339424));
#16030 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15990, #16000), (#16010, #16020)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-14.679338085264, -4.32593776605755), (-61.301, -47.799), .UNSPECIFIED.);
#16040 = ADVANCED_FACE ('', (#15980), #16030, .T.);
#16050 = ORIENTED_EDGE ('', *, *, #15430, .T.);
#16060 = ORIENTED_EDGE ('', *, *, #12250, .T.);
#16070 = ORIENTED_EDGE ('', *, *, #6990, .F.);
#16080 = CARTESIAN_POINT ('', (33.4, -21.15, 12.0842089569803));
#16090 = CARTESIAN_POINT ('', (33.4, -25.25, 12.08420895698));
#16100 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16080, #16090), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16110 = EDGE_CURVE ('', #15390, #6880, #16100, .T.);
#16120 = ORIENTED_EDGE ('', *, *, #16110, .F.);
#16130 = EDGE_LOOP ('', (#16050, #16060, #16070, #16120));
#16140 = FACE_OUTER_BOUND ('', #16130, .T.);
#16150 = CARTESIAN_POINT ('', (33.4, -25.251, 18.251));
#16160 = CARTESIAN_POINT ('', (33.4, -21.149, 18.251));
#16170 = CARTESIAN_POINT ('', (33.4, -25.251, 12.08320895698));
#16180 = CARTESIAN_POINT ('', (33.4, -21.149, 12.08320895698));
#16190 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16150, #16160), (#16170, #16180)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.000999999999999446, 6.16679104302), (-0.000999999999999446, 4.101), .UNSPECIFIED.);
#16200 = ADVANCED_FACE ('', (#16140), #16190, .T.);
#16210 = ORIENTED_EDGE ('', *, *, #6920, .F.);
#16220 = CARTESIAN_POINT ('', (26.2077790187206, -21.15, -0.335509987238302));
#16230 = CARTESIAN_POINT ('', (26.2077790187206, -25.25, -0.335509987238288));
#16240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16220, #16230), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16250 = EDGE_CURVE ('', #15460, #6860, #16240, .T.);
#16260 = ORIENTED_EDGE ('', *, *, #16250, .F.);
#16270 = ORIENTED_EDGE ('', *, *, #15500, .T.);
#16280 = ORIENTED_EDGE ('', *, *, #16110, .T.);
#16290 = EDGE_LOOP ('', (#16210, #16260, #16270, #16280));
#16300 = FACE_OUTER_BOUND ('', #16290, .T.);
#16310 = CARTESIAN_POINT ('', (33.4006848001934, -25.251, 12.0853914882173));
#16320 = CARTESIAN_POINT ('', (33.4006848001934, -21.149, 12.0853914882173));
#16330 = CARTESIAN_POINT ('', (26.2070942185248, -25.251, -0.336692518473953));
#16340 = CARTESIAN_POINT ('', (26.2070942185248, -21.149, -0.336692518473953));
#16350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16310, #16320), (#16330, #16340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.0013665033582928, 14.353281403364), (-0.000999999999999446, 4.101), .UNSPECIFIED.);
#16360 = ADVANCED_FACE ('', (#16300), #16350, .T.);
#16370 = ORIENTED_EDGE ('', *, *, #7650, .F.);
#16380 = CARTESIAN_POINT ('', (25.4, -21.15, -3.342309162704));
#16390 = CARTESIAN_POINT ('', (25.4, -25.25, -3.342309162704));
#16400 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16380, #16390), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16410 = EDGE_CURVE ('', #15530, #7550, #16400, .T.);
#16420 = ORIENTED_EDGE ('', *, *, #16410, .F.);
#16430 = ORIENTED_EDGE ('', *, *, #15580, .T.);
#16440 = ORIENTED_EDGE ('', *, *, #16250, .T.);
#16450 = EDGE_LOOP ('', (#16370, #16420, #16430, #16440));
#16460 = FACE_OUTER_BOUND ('', #16450, .T.);
#16470 = CARTESIAN_POINT ('', (31.4, -25.6612, -9.342309162704));
#16480 = CARTESIAN_POINT ('', (31.4, -20.7388, -9.342309162704));
#16490 = CARTESIAN_POINT ('', (37.4, -25.6612, -9.342309162704));
#16500 = CARTESIAN_POINT ('', (37.4, -20.7388, -9.342309162704));
#16510 = CARTESIAN_POINT ('', (37.4, -25.6612, -3.342309162704));
#16520 = CARTESIAN_POINT ('', (37.4, -20.7388, -3.342309162704));
#16530 = CARTESIAN_POINT ('', (37.4, -25.6612, 2.657690837296));
#16540 = CARTESIAN_POINT ('', (37.4, -20.7388, 2.657690837296));
#16550 = CARTESIAN_POINT ('', (31.4, -25.6612, 2.657690837296));
#16560 = CARTESIAN_POINT ('', (31.4, -20.7388, 2.657690837296));
#16570 = CARTESIAN_POINT ('', (25.4, -25.6612, 2.657690837296));
#16580 = CARTESIAN_POINT ('', (25.4, -20.7388, 2.657690837296));
#16590 = CARTESIAN_POINT ('', (25.4, -25.6612, -3.342309162704));
#16600 = CARTESIAN_POINT ('', (25.4, -20.7388, -3.342309162704));
#16610 = CARTESIAN_POINT ('', (25.4, -25.6612, -9.342309162704));
#16620 = CARTESIAN_POINT ('', (25.4, -20.7388, -9.342309162704));
#16630 = CARTESIAN_POINT ('', (31.4, -25.6612, -9.342309162704));
#16640 = CARTESIAN_POINT ('', (31.4, -20.7388, -9.342309162704));
#16650 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#16470, #16480), (#16490, #16500), (#16510, #16520), (#16530, #16540), (#16550, #16560), (#16570, #16580), (#16590, #16600), (#16610, #16620), (#16630, #16640)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#16660 = ADVANCED_FACE ('', (#16460), #16650, .T.);
#16670 = ORIENTED_EDGE ('', *, *, #15650, .T.);
#16680 = ORIENTED_EDGE ('', *, *, #16410, .T.);
#16690 = ORIENTED_EDGE ('', *, *, #7590, .F.);
#16700 = CARTESIAN_POINT ('', (25.4, -21.15, -9.75));
#16710 = CARTESIAN_POINT ('', (25.4, -25.25, -9.75));
#16720 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16700, #16710), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16730 = EDGE_CURVE ('', #15610, #7450, #16720, .T.);
#16740 = ORIENTED_EDGE ('', *, *, #16730, .F.);
#16750 = EDGE_LOOP ('', (#16670, #16680, #16690, #16740));
#16760 = FACE_OUTER_BOUND ('', #16750, .T.);
#16770 = CARTESIAN_POINT ('', (25.4, -25.251, -3.341309162704));
#16780 = CARTESIAN_POINT ('', (25.4, -21.149, -3.341309162704));
#16790 = CARTESIAN_POINT ('', (25.4, -25.251, -9.751));
#16800 = CARTESIAN_POINT ('', (25.4, -21.149, -9.751));
#16810 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16770, #16780), (#16790, #16800)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.000999999999999446, 6.408690837296), (-0.000999999999999446, 4.101), .UNSPECIFIED.);
#16820 = ADVANCED_FACE ('', (#16760), #16810, .T.);
#16830 = CARTESIAN_POINT ('', (31.4, -21.15, -15.75));
#16840 = CARTESIAN_POINT ('', (31.4, -25.25, -15.75));
#16850 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16830, #16840), .UNSPECIFIED., .F., .U., (2, 2), (0.0835364862668615, 0.916463513733139), .UNSPECIFIED.);
#16860 = EDGE_CURVE ('', #15680, #7370, #16850, .T.);
#16870 = ORIENTED_EDGE ('', *, *, #16860, .T.);
#16880 = ORIENTED_EDGE ('', *, *, #7420, .F.);
#16890 = ORIENTED_EDGE ('', *, *, #15250, .T.);
#16900 = ORIENTED_EDGE ('', *, *, #15810, .T.);
#16910 = EDGE_LOOP ('', (#16870, #16880, #16890, #16900));
#16920 = FACE_OUTER_BOUND ('', #16910, .T.);
#16930 = CARTESIAN_POINT ('', (31.4, -25.6612, -15.75));
#16940 = CARTESIAN_POINT ('', (31.4, -20.7388, -15.75));
#16950 = CARTESIAN_POINT ('', (37.4, -25.6612, -15.75));
#16960 = CARTESIAN_POINT ('', (37.4, -20.7388, -15.75));
#16970 = CARTESIAN_POINT ('', (37.4, -25.6612, -9.75));
#16980 = CARTESIAN_POINT ('', (37.4, -20.7388, -9.75));
#16990 = CARTESIAN_POINT ('', (37.4, -25.6612, -3.75));
#17000 = CARTESIAN_POINT ('', (37.4, -20.7388, -3.75));
#17010 = CARTESIAN_POINT ('', (31.4, -25.6612, -3.75));
#17020 = CARTESIAN_POINT ('', (31.4, -20.7388, -3.75));
#17030 = CARTESIAN_POINT ('', (25.4, -25.6612, -3.75));
#17040 = CARTESIAN_POINT ('', (25.4, -20.7388, -3.75));
#17050 = CARTESIAN_POINT ('', (25.4, -25.6612, -9.75));
#17060 = CARTESIAN_POINT ('', (25.4, -20.7388, -9.75));
#17070 = CARTESIAN_POINT ('', (25.4, -25.6612, -15.75));
#17080 = CARTESIAN_POINT ('', (25.4, -20.7388, -15.75));
#17090 = CARTESIAN_POINT ('', (31.4, -25.6612, -15.75));
#17100 = CARTESIAN_POINT ('', (31.4, -20.7388, -15.75));
#17110 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#16930, #16940), (#16950, #16960), (#16970, #16980), (#16990, #17000), (#17010, #17020), (#17030, #17040), (#17050, #17060), (#17070, #17080), (#17090, #17100)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#17120 = ADVANCED_FACE ('', (#16920), #17110, .T.);
#17130 = ORIENTED_EDGE ('', *, *, #7870, .F.);
#17140 = ORIENTED_EDGE ('', *, *, #11730, .F.);
#17150 = ORIENTED_EDGE ('', *, *, #8180, .T.);
#17160 = ORIENTED_EDGE ('', *, *, #1460, .T.);
#17170 = EDGE_LOOP ('', (#17130, #17140, #17150, #17160));
#17180 = FACE_OUTER_BOUND ('', #17170, .T.);
#17190 = CARTESIAN_POINT ('', (-0.000818708879895214, -16.0408680395938, 19.751));
#17200 = CARTESIAN_POINT ('', (-0.000818708879895214, -16.0408680395938, -19.751));
#17210 = CARTESIAN_POINT ('', (0.138318708879566, -15.8486220699147, 19.751));
#17220 = CARTESIAN_POINT ('', (0.138318708879566, -15.8486220699147, -19.751));
#17230 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17190, #17200), (#17210, #17220)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.118656788553034, 0.118656788552472), (-19.751, 19.751), .UNSPECIFIED.);
#17240 = ADVANCED_FACE ('', (#17180), #17230, .T.);
#17250 = ORIENTED_EDGE ('', *, *, #8120, .T.);
#17260 = ORIENTED_EDGE ('', *, *, #11670, .F.);
#17270 = ORIENTED_EDGE ('', *, *, #8600, .F.);
#17280 = ORIENTED_EDGE ('', *, *, #1630, .T.);
#17290 = EDGE_LOOP ('', (#17250, #17260, #17270, #17280));
#17300 = FACE_OUTER_BOUND ('', #17290, .T.);
#17310 = CARTESIAN_POINT ('', (0.138318708879585, -10.1513779300853, 19.751));
#17320 = CARTESIAN_POINT ('', (0.138318708879585, -10.1513779300853, -19.751));
#17330 = CARTESIAN_POINT ('', (-0.000818708879882557, -9.95913196040626, 19.751));
#17340 = CARTESIAN_POINT ('', (-0.000818708879882557, -9.95913196040626, -19.751));
#17350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17310, #17320), (#17330, #17340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.118656788552505, 0.118656788553012), (-19.751, 19.751), .UNSPECIFIED.);
#17360 = ADVANCED_FACE ('', (#17300), #17350, .T.);
#17370 = CARTESIAN_POINT ('', (-5.612435565298, -5.212564434702, 19.75));
#17380 = CARTESIAN_POINT ('', (-5.612435565298, -5.212564434702, -19.75));
#17390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17370, #17380), .UNSPECIFIED., .F., .U., (2, 2), (0.083354429311596, 0.916645570688404), .UNSPECIFIED.);
#17400 = EDGE_CURVE ('', #11480, #1870, #17390, .T.);
#17410 = ORIENTED_EDGE ('', *, *, #17400, .T.);
#17420 = ORIENTED_EDGE ('', *, *, #1920, .F.);
#17430 = ORIENTED_EDGE ('', *, *, #8970, .F.);
#17440 = ORIENTED_EDGE ('', *, *, #11590, .F.);
#17450 = EDGE_LOOP ('', (#17410, #17420, #17430, #17440));
#17460 = FACE_OUTER_BOUND ('', #17450, .T.);
#17470 = CARTESIAN_POINT ('', (-5.612435565298, -5.212564434702, -23.7012));
#17480 = CARTESIAN_POINT ('', (-5.612435565298, -5.212564434702, 23.7012));
#17490 = CARTESIAN_POINT ('', (-5.012435565298, -5.212564434702, -23.7012));
#17500 = CARTESIAN_POINT ('', (-5.012435565298, -5.212564434702, 23.7012));
#17510 = CARTESIAN_POINT ('', (-5.012435565298, -5.812564434702, -23.7012));
#17520 = CARTESIAN_POINT ('', (-5.012435565298, -5.812564434702, 23.7012));
#17530 = CARTESIAN_POINT ('', (-5.012435565298, -6.412564434702, -23.7012));
#17540 = CARTESIAN_POINT ('', (-5.012435565298, -6.412564434702, 23.7012));
#17550 = CARTESIAN_POINT ('', (-5.612435565298, -6.412564434702, -23.7012));
#17560 = CARTESIAN_POINT ('', (-5.612435565298, -6.412564434702, 23.7012));
#17570 = CARTESIAN_POINT ('', (-6.212435565298, -6.412564434702, -23.7012));
#17580 = CARTESIAN_POINT ('', (-6.212435565298, -6.412564434702, 23.7012));
#17590 = CARTESIAN_POINT ('', (-6.212435565298, -5.812564434702, -23.7012));
#17600 = CARTESIAN_POINT ('', (-6.212435565298, -5.812564434702, 23.7012));
#17610 = CARTESIAN_POINT ('', (-6.212435565298, -5.212564434702, -23.7012));
#17620 = CARTESIAN_POINT ('', (-6.212435565298, -5.212564434702, 23.7012));
#17630 = CARTESIAN_POINT ('', (-5.612435565298, -5.212564434702, -23.7012));
#17640 = CARTESIAN_POINT ('', (-5.612435565298, -5.212564434702, 23.7012));
#17650 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#17470, #17480), (#17490, #17500), (#17510, #17520), (#17530, #17540), (#17550, #17560), (#17570, #17580), (#17590, #17600), (#17610, #17620), (#17630, #17640)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#17660 = ADVANCED_FACE ('', (#17460), #17650, .T.);
#17670 = ORIENTED_EDGE ('', *, *, #9260, .F.);
#17680 = ORIENTED_EDGE ('', *, *, #11230, .F.);
#17690 = CARTESIAN_POINT ('', (-7.60000000000013, 6.9999999999999, 19.75));
#17700 = CARTESIAN_POINT ('', (-7.60000000000007, 6.9999999999999, -19.75));
#17710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17690, #17700), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17720 = EDGE_CURVE ('', #11140, #2310, #17710, .T.);
#17730 = ORIENTED_EDGE ('', *, *, #17720, .T.);
#17740 = ORIENTED_EDGE ('', *, *, #2350, .T.);
#17750 = EDGE_LOOP ('', (#17670, #17680, #17730, #17740));
#17760 = FACE_OUTER_BOUND ('', #17750, .T.);
#17770 = CARTESIAN_POINT ('', (-7.901, 6.699, 19.751));
#17780 = CARTESIAN_POINT ('', (-7.901, 6.699, -19.751));
#17790 = CARTESIAN_POINT ('', (-7.59900000000009, 7.00099999999992, 19.751));
#17800 = CARTESIAN_POINT ('', (-7.59900000000009, 7.00099999999992, -19.751));
#17810 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17770, #17780), (#17790, #17800)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.213546247918341, 0.213546247918217), (-19.751, 19.751), .UNSPECIFIED.);
#17820 = ADVANCED_FACE ('', (#17760), #17810, .T.);
#17830 = CARTESIAN_POINT ('', (-7.6, -7., -19.75));
#17840 = CARTESIAN_POINT ('', (-7.6, -7., 19.75));
#17850 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17830, #17840), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17860 = EDGE_CURVE ('', #2100, #11270, #17850, .T.);
#17870 = ORIENTED_EDGE ('', *, *, #17860, .T.);
#17880 = ORIENTED_EDGE ('', *, *, #11310, .F.);
#17890 = ORIENTED_EDGE ('', *, *, #9320, .F.);
#17900 = ORIENTED_EDGE ('', *, *, #2210, .T.);
#17910 = EDGE_LOOP ('', (#17870, #17880, #17890, #17900));
#17920 = FACE_OUTER_BOUND ('', #17910, .T.);
#17930 = CARTESIAN_POINT ('', (-7.599, -7.001, 19.751));
#17940 = CARTESIAN_POINT ('', (-7.599, -7.001, -19.751));
#17950 = CARTESIAN_POINT ('', (-7.901, -6.699, 19.751));
#17960 = CARTESIAN_POINT ('', (-7.901, -6.699, -19.751));
#17970 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17930, #17940), (#17950, #17960)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.213546247918337, 0.213546247918337), (-19.751, 19.751), .UNSPECIFIED.);
#17980 = ADVANCED_FACE ('', (#17920), #17970, .T.);
#17990 = ORIENTED_EDGE ('', *, *, #9550, .F.);
#18000 = ORIENTED_EDGE ('', *, *, #2570, .F.);
#18010 = CARTESIAN_POINT ('', (-6.13205080756881, 5.5125644347, 19.75));
#18020 = CARTESIAN_POINT ('', (-6.13205080756881, 5.5125644347, -19.75));
#18030 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18010, #18020), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18040 = EDGE_CURVE ('', #10990, #2450, #18030, .T.);
#18050 = ORIENTED_EDGE ('', *, *, #18040, .F.);
#18060 = ORIENTED_EDGE ('', *, *, #11040, .F.);
#18070 = EDGE_LOOP ('', (#17990, #18000, #18050, #18060));
#18080 = FACE_OUTER_BOUND ('', #18070, .T.);
#18090 = CARTESIAN_POINT ('', (-5.612435565298, 6.4125644347, -23.7012));
#18100 = CARTESIAN_POINT ('', (-5.612435565298, 6.4125644347, 23.7012));
#18110 = CARTESIAN_POINT ('', (-5.012435565298, 6.4125644347, -23.7012));
#18120 = CARTESIAN_POINT ('', (-5.012435565298, 6.4125644347, 23.7012));
#18130 = CARTESIAN_POINT ('', (-5.012435565298, 5.8125644347, -23.7012));
#18140 = CARTESIAN_POINT ('', (-5.012435565298, 5.8125644347, 23.7012));
#18150 = CARTESIAN_POINT ('', (-5.012435565298, 5.2125644347, -23.7012));
#18160 = CARTESIAN_POINT ('', (-5.012435565298, 5.2125644347, 23.7012));
#18170 = CARTESIAN_POINT ('', (-5.612435565298, 5.2125644347, -23.7012));
#18180 = CARTESIAN_POINT ('', (-5.612435565298, 5.2125644347, 23.7012));
#18190 = CARTESIAN_POINT ('', (-6.21243556529801, 5.2125644347, -23.7012));
#18200 = CARTESIAN_POINT ('', (-6.21243556529801, 5.2125644347, 23.7012));
#18210 = CARTESIAN_POINT ('', (-6.212435565298, 5.8125644347, -23.7012));
#18220 = CARTESIAN_POINT ('', (-6.212435565298, 5.8125644347, 23.7012));
#18230 = CARTESIAN_POINT ('', (-6.212435565298, 6.4125644347, -23.7012));
#18240 = CARTESIAN_POINT ('', (-6.212435565298, 6.4125644347, 23.7012));
#18250 = CARTESIAN_POINT ('', (-5.612435565298, 6.4125644347, -23.7012));
#18260 = CARTESIAN_POINT ('', (-5.612435565298, 6.4125644347, 23.7012));
#18270 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#18090, #18100), (#18110, #18120), (#18130, #18140), (#18150, #18160), (#18170, #18180), (#18190, #18200), (#18210, #18220), (#18230, #18240), (#18250, #18260)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#18280 = ADVANCED_FACE ('', (#18080), #18270, .T.);
#18290 = ORIENTED_EDGE ('', *, *, #10040, .F.);
#18300 = ORIENTED_EDGE ('', *, *, #10930, .F.);
#18310 = ORIENTED_EDGE ('', *, *, #10350, .T.);
#18320 = ORIENTED_EDGE ('', *, *, #2850, .T.);
#18330 = EDGE_LOOP ('', (#18290, #18300, #18310, #18320));
#18340 = FACE_OUTER_BOUND ('', #18330, .T.);
#18350 = CARTESIAN_POINT ('', (-0.000818708879897767, 9.95913196041024, 19.751));
#18360 = CARTESIAN_POINT ('', (-0.000818708879897767, 9.95913196041024, -19.751));
#18370 = CARTESIAN_POINT ('', (0.138318708877006, 10.1513779300858, 19.751));
#18380 = CARTESIAN_POINT ('', (0.138318708877006, 10.1513779300858, -19.751));
#18390 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18350, #18360), (#18370, #18380)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.118656788553036, 0.118656788548108), (-19.751, 19.751), .UNSPECIFIED.);
#18400 = ADVANCED_FACE ('', (#18340), #18390, .T.);
#18410 = ORIENTED_EDGE ('', *, *, #10290, .T.);
#18420 = ORIENTED_EDGE ('', *, *, #10870, .F.);
#18430 = ORIENTED_EDGE ('', *, *, #10710, .F.);
#18440 = ORIENTED_EDGE ('', *, *, #3020, .T.);
#18450 = EDGE_LOOP ('', (#18410, #18420, #18430, #18440));
#18460 = FACE_OUTER_BOUND ('', #18450, .T.);
#18470 = CARTESIAN_POINT ('', (0.138318708877032, 15.8486220699142, 19.751));
#18480 = CARTESIAN_POINT ('', (0.138318708877032, 15.8486220699142, -19.751));
#18490 = CARTESIAN_POINT ('', (-0.000818708879850139, 16.0408680395897, 19.751));
#18500 = CARTESIAN_POINT ('', (-0.000818708879850139, 16.0408680395897, -19.751));
#18510 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18470, #18480), (#18490, #18500)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.118656788548154, 0.118656788552954), (-19.751, 19.751), .UNSPECIFIED.);
#18520 = ADVANCED_FACE ('', (#18460), #18510, .T.);
#18530 = ORIENTED_EDGE ('', *, *, #4110, .F.);
#18540 = ORIENTED_EDGE ('', *, *, #11800, .F.);
#18550 = ORIENTED_EDGE ('', *, *, #7130, .F.);
#18560 = ORIENTED_EDGE ('', *, *, #12170, .T.);
#18570 = EDGE_LOOP ('', (#18530, #18540, #18550, #18560));
#18580 = FACE_OUTER_BOUND ('', #18570, .T.);
#18590 = CARTESIAN_POINT ('', (18.2, -25.251, 19.751));
#18600 = CARTESIAN_POINT ('', (18.2, -2.6137615158772, 19.751));
#18610 = CARTESIAN_POINT ('', (18.2, -25.251, 18.249));
#18620 = CARTESIAN_POINT ('', (18.2, -2.6137615158772, 18.249));
#18630 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18590, #18600), (#18610, #18620)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.501, 0.00100000000000122), (-48.676, -26.0387615158772), .UNSPECIFIED.);
#18640 = ADVANCED_FACE ('', (#18580), #18630, .T.);
#18650 = CARTESIAN_POINT ('', (3., 4., 19.807735026958));
#18660 = VERTEX_POINT ('', #18650);
#18670 = CARTESIAN_POINT ('', (3., 3.99999999999999, 19.807735026958));
#18680 = CARTESIAN_POINT ('', (3., 3.90000000004419, 19.750000000064));
#18690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18670, #18680), .UNSPECIFIED., .F., .U., (2, 2), (0.858810250177863, 0.997596157569195), .UNSPECIFIED.);
#18700 = EDGE_CURVE ('', #18660, #11890, #18690, .T.);
#18710 = ORIENTED_EDGE ('', *, *, #18700, .T.);
#18720 = ORIENTED_EDGE ('', *, *, #11960, .F.);
#18730 = ORIENTED_EDGE ('', *, *, #12040, .F.);
#18740 = ORIENTED_EDGE ('', *, *, #18700, .F.);
#18750 = CARTESIAN_POINT ('', (5.30940103299331, 4.0000000155755, 20.1650006120235));
#18760 = VERTEX_POINT ('', #18750);
#18770 = CARTESIAN_POINT ('', (3., 4., 19.807735026958));
#18780 = CARTESIAN_POINT ('', (3.78822341231195, 4., 19.807735026958));
#18790 = CARTESIAN_POINT ('', (4.55487343634818, 4., 19.9471872535782));
#18800 = CARTESIAN_POINT ('', (5.30940100803015, 4., 20.1650005970295));
#18810 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#18770, #18780, #18790, #18800), .UNSPECIFIED., .F., .U., (4, 4), (0.5, 1.), .UNSPECIFIED.);
#18820 = EDGE_CURVE ('', #18660, #18760, #18810, .T.);
#18830 = ORIENTED_EDGE ('', *, *, #18820, .T.);
#18840 = CARTESIAN_POINT ('', (7.61880214586828, 2.98075999438652E-8, 20.1650006124537));
#18850 = VERTEX_POINT ('', #18840);
#18860 = CARTESIAN_POINT ('', (5.30940105877402, 4.0000000311509, 20.1650006272535));
#18870 = CARTESIAN_POINT ('', (5.68648267634351, 3.3468755109203, 19.947292451298));
#18880 = CARTESIAN_POINT ('', (6.0692130416309, 2.6839670726432, 19.8082368658486));
#18890 = CARTESIAN_POINT ('', (6.8545755401468, 1.3236793228545, 19.8072360010795));
#18900 = CARTESIAN_POINT ('', (7.24125035932949, 0.6539388900226, 19.9470209903799));
#18910 = CARTESIAN_POINT ('', (7.61880212865918, 4.30560991304674E-8, 20.165000602518));
#18920 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#18860, #18870, #18880, #18890, #18900, #18910), .UNSPECIFIED., .F., .U., (4, 2, 4), (0., 0.5, 1.), .UNSPECIFIED.);
#18930 = EDGE_CURVE ('', #18760, #18850, #18920, .T.);
#18940 = ORIENTED_EDGE ('', *, *, #18930, .T.);
#18950 = CARTESIAN_POINT ('', (5.30940111212619, -3.99999996988937, 20.1650006120242));
#18960 = VERTEX_POINT ('', #18950);
#18970 = CARTESIAN_POINT ('', (7.61880214255567, 2.40705002596542E-8, 20.1650006353996));
#18980 = CARTESIAN_POINT ('', (7.24172052833585, -0.6531244903582, 19.9472924619561));
#18990 = CARTESIAN_POINT ('', (6.85899018724338, -1.3160329297847, 19.8082368662687));
#19000 = CARTESIAN_POINT ('', (6.07362769525522, -2.676320668267, 19.8072360006635));
#19010 = CARTESIAN_POINT ('', (5.68695287826578, -3.34606109730006, 19.9470209875568));
#19020 = CARTESIAN_POINT ('', (5.30940111152714, -3.99999993977875, 20.1650005967959));
#19030 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#18970, #18980, #18990, #19000, #19010, #19020), .UNSPECIFIED., .F., .U., (4, 2, 4), (0., 0.5, 1.), .UNSPECIFIED.);
#19040 = EDGE_CURVE ('', #18850, #18960, #19030, .T.);
#19050 = ORIENTED_EDGE ('', *, *, #19040, .T.);
#19060 = CARTESIAN_POINT ('', (0.690598964011899, -4.0000000113896, 20.1650006108038));
#19070 = VERTEX_POINT ('', #19060);
#19080 = CARTESIAN_POINT ('', (5.30940110778666, -3.99999997169181, 20.1650006443601));
#19090 = CARTESIAN_POINT ('', (4.55487353970227, -3.99999997169181, 19.9471872937348));
#19100 = CARTESIAN_POINT ('', (3.78822341283271, -3.99999999999999, 19.807735026958));
#19110 = CARTESIAN_POINT ('', (2.21177658716729, -4., 19.807735026958));
#19120 = CARTESIAN_POINT ('', (1.44512656380223, -4., 19.9471872535195));
#19130 = CARTESIAN_POINT ('', (0.69059899163022, -3.99999999999999, 20.1650005971363));
#19140 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#19080, #19090, #19100, #19110, #19120, #19130), .UNSPECIFIED., .F., .U., (4, 2, 4), (0., 0.5, 1.), .UNSPECIFIED.);
#19150 = EDGE_CURVE ('', #18960, #19070, #19140, .T.);
#19160 = ORIENTED_EDGE ('', *, *, #19150, .T.);
#19170 = CARTESIAN_POINT ('', (-1.61880214585802, -2.98160998113417E-8, 20.1650006124565));
#19180 = VERTEX_POINT ('', #19170);
#19190 = CARTESIAN_POINT ('', (0.69059893639358, -4.0000000227792, 20.1650006244714));
#19200 = CARTESIAN_POINT ('', (0.313517319322869, -3.34687550341252, 19.9472924494827));
#19210 = CARTESIAN_POINT ('', (-0.0692130440623987, -2.68396706843, 19.8082368654435));
#19220 = CARTESIAN_POINT ('', (-0.854575541266723, -1.323679320913, 19.8072360014815));
#19230 = CARTESIAN_POINT ('', (-1.24125035990227, -0.653938889028799, 19.9470209907169));
#19240 = CARTESIAN_POINT ('', (-1.61880212864261, -4.30830002784433E-8, 20.1650006025172));
#19250 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#19190, #19200, #19210, #19220, #19230, #19240), .UNSPECIFIED., .F., .U., (4, 2, 4), (0., 0.5, 1.), .UNSPECIFIED.);
#19260 = EDGE_CURVE ('', #19070, #19180, #19250, .T.);
#19270 = ORIENTED_EDGE ('', *, *, #19260, .T.);
#19280 = CARTESIAN_POINT ('', (0.690598887871879, 3.9999999698891, 20.1650006120333));
#19290 = VERTEX_POINT ('', #19280);
#19300 = CARTESIAN_POINT ('', (-1.6188021425345, -2.40681004015642E-8, 20.1650006354159));
#19310 = CARTESIAN_POINT ('', (-1.24172052825321, 0.6531244904671, 19.9472924619325));
#19320 = CARTESIAN_POINT ('', (-0.858990187112492, 1.3160329300114, 19.8082368662247));
#19330 = CARTESIAN_POINT ('', (-0.073627694988047, 2.6763206687298, 19.8072360007094));
#19340 = CARTESIAN_POINT ('', (0.313047122052859, 3.346061097852, 19.9470209876922));
#19350 = CARTESIAN_POINT ('', (0.690598888845339, 3.9999999404239, 20.1650005970197));
#19360 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#19300, #19310, #19320, #19330, #19340, #19350), .UNSPECIFIED., .F., .U., (4, 2, 4), (0., 0.5, 1.), .UNSPECIFIED.);
#19370 = EDGE_CURVE ('', #19180, #19290, #19360, .T.);
#19380 = ORIENTED_EDGE ('', *, *, #19370, .T.);
#19390 = CARTESIAN_POINT ('', (0.690598887271239, 4., 20.1650006272622));
#19400 = CARTESIAN_POINT ('', (1.44512645658927, 4., 19.9471872770872));
#19410 = CARTESIAN_POINT ('', (2.21177658768805, 4., 19.807735026958));
#19420 = CARTESIAN_POINT ('', (3., 4., 19.807735026958));
#19430 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#19390, #19400, #19410, #19420), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.5), .UNSPECIFIED.);
#19440 = EDGE_CURVE ('', #19290, #18660, #19430, .T.);
#19450 = ORIENTED_EDGE ('', *, *, #19440, .T.);
#19460 = EDGE_LOOP ('', (#18710, #18720, #18730, #18740, #18830, #18940, #19050, #19160, #19270, #19380, #19450));
#19470 = FACE_OUTER_BOUND ('', #19460, .T.);
#19480 = CARTESIAN_POINT ('', (3., 3.89826794923664, 19.749000000064));
#19490 = CARTESIAN_POINT ('', (2.99999999999999, 4.61880220113176, 20.1650006443601));
#19500 = CARTESIAN_POINT ('', (-0.898267949236641, 3.89826794923663, 19.749000000064));
#19510 = CARTESIAN_POINT ('', (-1.61880220113177, 4.61880220113176, 20.1650006443601));
#19520 = CARTESIAN_POINT ('', (-0.898267949236638, -3.5527136788005E-15, 19.749000000064));
#19530 = CARTESIAN_POINT ('', (-1.61880220113176, -3.5527136788005E-15, 20.1650006443601));
#19540 = CARTESIAN_POINT ('', (-0.898267949236635, -3.89826794923664, 19.749000000064));
#19550 = CARTESIAN_POINT ('', (-1.61880220113176, -4.61880220113177, 20.1650006443601));
#19560 = CARTESIAN_POINT ('', (3.00000000000001, -3.89826794923664, 19.749000000064));
#19570 = CARTESIAN_POINT ('', (3., -4.61880220113176, 20.1650006443601));
#19580 = CARTESIAN_POINT ('', (6.89826794923664, -3.89826794923664, 19.749000000064));
#19590 = CARTESIAN_POINT ('', (7.61880220113176, -4.61880220113176, 20.1650006443601));
#19600 = CARTESIAN_POINT ('', (6.89826794923664, 3.5527136788005E-15, 19.749000000064));
#19610 = CARTESIAN_POINT ('', (7.61880220113176, 3.5527136788005E-15, 20.1650006443601));
#19620 = CARTESIAN_POINT ('', (6.89826794923664, 3.89826794923664, 19.749000000064));
#19630 = CARTESIAN_POINT ('', (7.61880220113175, 4.61880220113176, 20.1650006443601));
#19640 = CARTESIAN_POINT ('', (3., 3.89826794923664, 19.749000000064));
#19650 = CARTESIAN_POINT ('', (2.99999999999999, 4.61880220113176, 20.1650006443601));
#19660 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#19480, #19490), (#19500, #19510), (#19520, #19530), (#19540, #19550), (#19560, #19570), (#19580, #19590), (#19600, #19610), (#19620, #19630), (#19640, #19650)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#19670 = ADVANCED_FACE ('', (#19470), #19660, .T.);
#19680 = CARTESIAN_POINT ('', (-6.990822131596, -7., 19.75));
#19690 = CARTESIAN_POINT ('', (-6.990822131596, -7., -19.75));
#19700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#19680, #19690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#19710 = EDGE_CURVE ('', #11340, #2030, #19700, .T.);
#19720 = ORIENTED_EDGE ('', *, *, #19710, .T.);
#19730 = ORIENTED_EDGE ('', *, *, #2070, .T.);
#19740 = CARTESIAN_POINT ('', (-6.13205080756878, -5.51256443470197, -19.75));
#19750 = CARTESIAN_POINT ('', (-6.13205080756878, -5.51256443470197, 19.75));
#19760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#19740, #19750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#19770 = EDGE_CURVE ('', #1950, #11410, #19760, .T.);
#19780 = ORIENTED_EDGE ('', *, *, #19770, .T.);
#19790 = ORIENTED_EDGE ('', *, *, #11450, .T.);
#19800 = EDGE_LOOP ('', (#19720, #19730, #19780, #19790));
#19810 = FACE_OUTER_BOUND ('', #19800, .T.);
#19820 = CARTESIAN_POINT ('', (-6.13136779486699, -5.51138142200002, 19.751));
#19830 = CARTESIAN_POINT ('', (-6.13136779486699, -5.51138142200002, -19.751));
#19840 = CARTESIAN_POINT ('', (-6.99150514429789, -7.00118301270189, 19.751));
#19850 = CARTESIAN_POINT ('', (-6.99150514429789, -7.00118301270189, -19.751));
#19860 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#19820, #19830), (#19840, #19850)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.71890867345796, 0.00136602540378528), (-0.00100000000000122, 39.501), .UNSPECIFIED.);
#19870 = ADVANCED_FACE ('', (#19810), #19860, .T.);
#19880 = ORIENTED_EDGE ('', *, *, #11180, .T.);
#19890 = CARTESIAN_POINT ('', (-6.99082213159694, 6.9999999999998, 19.75));
#19900 = CARTESIAN_POINT ('', (-6.99082213159697, 6.9999999999996, -19.75));
#19910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#19890, #19900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#19920 = EDGE_CURVE ('', #11070, #2380, #19910, .T.);
#19930 = ORIENTED_EDGE ('', *, *, #19920, .T.);
#19940 = ORIENTED_EDGE ('', *, *, #2420, .T.);
#19950 = ORIENTED_EDGE ('', *, *, #17720, .F.);
#19960 = EDGE_LOOP ('', (#19880, #19930, #19940, #19950));
#19970 = FACE_OUTER_BOUND ('', #19960, .T.);
#19980 = CARTESIAN_POINT ('', (-6.98982213159694, 7., 19.751));
#19990 = CARTESIAN_POINT ('', (-7.60100000000013, 7., 19.751));
#20000 = CARTESIAN_POINT ('', (-6.98982213159694, 7., -19.751));
#20010 = CARTESIAN_POINT ('', (-7.60100000000013, 7., -19.751));
#20020 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#19980, #19990), (#20000, #20010)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000122, 39.501), (-0.000999999999059753, 0.610177868404131), .UNSPECIFIED.);
#20030 = ADVANCED_FACE ('', (#19970), #20020, .T.);
#20040 = ORIENTED_EDGE ('', *, *, #2140, .T.);
#20050 = ORIENTED_EDGE ('', *, *, #19710, .F.);
#20060 = ORIENTED_EDGE ('', *, *, #11380, .T.);
#20070 = ORIENTED_EDGE ('', *, *, #17860, .F.);
#20080 = EDGE_LOOP ('', (#20040, #20050, #20060, #20070));
#20090 = FACE_OUTER_BOUND ('', #20080, .T.);
#20100 = CARTESIAN_POINT ('', (-6.989822131596, -7., -19.751));
#20110 = CARTESIAN_POINT ('', (-7.601, -7., -19.751));
#20120 = CARTESIAN_POINT ('', (-6.989822131596, -7., 19.751));
#20130 = CARTESIAN_POINT ('', (-7.601, -7., 19.751));
#20140 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#20100, #20110), (#20120, #20130)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-39.501, 0.00100000000000122), (-0.910177868404, -0.298999999999999), .UNSPECIFIED.);
#20150 = ADVANCED_FACE ('', (#20090), #20140, .T.);
#20160 = CARTESIAN_POINT ('', (5.30940108978696, -3.99999999999999, 22.0349993794207));
#20170 = VERTEX_POINT ('', #20160);
#20180 = CARTESIAN_POINT ('', (3., -3.99999999999999, 22.3922649730859));
#20190 = VERTEX_POINT ('', #20180);
#20200 = CARTESIAN_POINT ('', (5.30940108117027, -3.99999999999999, 22.0349993819082));
#20210 = CARTESIAN_POINT ('', (4.55487350146435, -3.99999999999999, 22.2528127328449));
#20220 = CARTESIAN_POINT ('', (3.78822342241739, -3.99999999999999, 22.3922649730859));
#20230 = CARTESIAN_POINT ('', (3., -3.99999999999999, 22.3922649730859));
#20240 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#20200, #20210, #20220, #20230), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.5), .UNSPECIFIED.);
#20250 = EDGE_CURVE ('', #20170, #20190, #20240, .T.);
#20260 = ORIENTED_EDGE ('', *, *, #20250, .T.);
#20270 = CARTESIAN_POINT ('', (0.690598906592089, -3.99999999999999, 22.0349993783755));
#20280 = VERTEX_POINT ('', #20270);
#20290 = CARTESIAN_POINT ('', (3., -3.99999999999999, 22.3922649730859));
#20300 = CARTESIAN_POINT ('', (2.21177657758261, -4., 22.3922649730859));
#20310 = CARTESIAN_POINT ('', (1.44512646898917, -3.99999999999999, 22.2528127263595));
#20320 = CARTESIAN_POINT ('', (0.69059888993543, -3.99999999999999, 22.0349993735671));
#20330 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#20290, #20300, #20310, #20320), .UNSPECIFIED., .F., .U., (4, 4), (0.5, 1.), .UNSPECIFIED.);
#20340 = EDGE_CURVE ('', #20190, #20280, #20330, .T.);
#20350 = ORIENTED_EDGE ('', *, *, #20340, .T.);
#20360 = CARTESIAN_POINT ('', (0.690598906592089, -3.99999999999999, 22.0349993783755));
#20370 = CARTESIAN_POINT ('', (0.690598964011899, -4.0000000113896, 20.1650006108038));
#20380 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#20360, #20370), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#20390 = EDGE_CURVE ('', #20280, #19070, #20380, .T.);
#20400 = ORIENTED_EDGE ('', *, *, #20390, .T.);
#20410 = ORIENTED_EDGE ('', *, *, #19150, .F.);
#20420 = CARTESIAN_POINT ('', (5.30940111212619, -3.99999996988937, 20.1650006120242));
#20430 = CARTESIAN_POINT ('', (5.30940108978696, -3.99999999999999, 22.0349993794207));
#20440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#20420, #20430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#20450 = EDGE_CURVE ('', #18960, #20170, #20440, .T.);
#20460 = ORIENTED_EDGE ('', *, *, #20450, .T.);
#20470 = EDGE_LOOP ('', (#20260, #20350, #20400, #20410, #20460));
#20480 = FACE_OUTER_BOUND ('', #20470, .T.);
#20490 = CARTESIAN_POINT ('', (5.31040111212619, -3.99999999999999, 19.807735026958));
#20500 = CARTESIAN_POINT ('', (0.689598906592091, -3.99999999999999, 19.807735026958));
#20510 = CARTESIAN_POINT ('', (5.31040111212619, -3.99999999999999, 22.3922649730859));
#20520 = CARTESIAN_POINT ('', (0.689598906592091, -3.99999999999999, 22.3922649730859));
#20530 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#20490, #20500), (#20510, #20520)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.642264973042, -0.0577350269140986), (-0.0010000353671904, 4.61980217016691), .UNSPECIFIED.);
#20540 = ADVANCED_FACE ('', (#20480), #20530, .T.);
#20550 = CARTESIAN_POINT ('', (7.61880215191446, -2.77569967011004E-9, 22.034999384107));
#20560 = VERTEX_POINT ('', #20550);
#20570 = CARTESIAN_POINT ('', (7.61880214586828, 2.98075999438652E-8, 20.1650006124537));
#20580 = CARTESIAN_POINT ('', (7.61880215191446, -2.77569967011004E-9, 22.034999384107));
#20590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#20570, #20580), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#20600 = EDGE_CURVE ('', #18850, #20560, #20590, .T.);
#20610 = ORIENTED_EDGE ('', *, *, #20600, .T.);
#20620 = CARTESIAN_POINT ('', (7.61880215031336, -5.54890000614705E-9, 22.0349993850314));
#20630 = CARTESIAN_POINT ('', (7.24172053191547, -0.653124527214301, 22.2527075584644));
#20640 = CARTESIAN_POINT ('', (6.8589901672203, -1.3160329644656, 22.3917631391916));
#20650 = CARTESIAN_POINT ('', (6.07362766772144, -2.6763207159569, 22.3927639940246));
#20660 = CARTESIAN_POINT ('', (5.68695283958118, -3.34606116430377, 22.2529789959633));
#20670 = CARTESIAN_POINT ('', (5.30940107050569, -4.00000001082999, 22.0349993795718));
#20680 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#20620, #20630, #20640, #20650, #20660, #20670), .UNSPECIFIED., .F., .U., (4, 2, 4), (0., 0.5, 1.), .UNSPECIFIED.);
#20690 = EDGE_CURVE ('', #20560, #20170, #20680, .T.);
#20700 = ORIENTED_EDGE ('', *, *, #20690, .T.);
#20710 = ORIENTED_EDGE ('', *, *, #20450, .F.);
#20720 = ORIENTED_EDGE ('', *, *, #19040, .F.);
#20730 = EDGE_LOOP ('', (#20610, #20700, #20710, #20720));
#20740 = FACE_OUTER_BOUND ('', #20730, .T.);
#20750 = CARTESIAN_POINT ('', (7.61948517872532, 0.00118303436367029, 22.3927639940246));
#20760 = CARTESIAN_POINT ('', (7.61948517872532, 0.00118303436367029, 19.8072360006635));
#20770 = CARTESIAN_POINT ('', (5.30871806731364, -4.00118300706035, 22.3927639940246));
#20780 = CARTESIAN_POINT ('', (5.30871806731364, -4.00118300706035, 19.8072360006635));
#20790 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#20750, #20760), (#20770, #20780)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00136605041665305, 4.62016817240655), (0.0572360059753976, 2.6427639993365), .UNSPECIFIED.);
#20800 = ADVANCED_FACE ('', (#20740), #20790, .T.);
#20810 = CARTESIAN_POINT ('', (5.3094010686429, 4.0000000140575, 22.0349993784958));
#20820 = VERTEX_POINT ('', #20810);
#20830 = CARTESIAN_POINT ('', (5.30940103299331, 4.0000000155755, 20.1650006120235));
#20840 = CARTESIAN_POINT ('', (5.3094010686429, 4.0000000140575, 22.0349993784958));
#20850 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#20830, #20840), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#20860 = EDGE_CURVE ('', #18760, #20820, #20850, .T.);
#20870 = ORIENTED_EDGE ('', *, *, #20860, .T.);
#20880 = CARTESIAN_POINT ('', (5.30940107134908, 4.0000000093703, 22.0349993800582));
#20890 = CARTESIAN_POINT ('', (5.6864826916166, 3.3468754844666, 22.2527075557886));
#20900 = CARTESIAN_POINT ('', (6.06921305827215, 2.6839670438197, 22.3917631385997));
#20910 = CARTESIAN_POINT ('', (6.85457556217225, 1.3236792847053, 22.3927639946094));
#20920 = CARTESIAN_POINT ('', (7.24125039078307, 0.6539388355434, 22.2529789962058));
#20930 = CARTESIAN_POINT ('', (7.61880216184564, -1.44246001809734E-8, 22.0349993783732));
#20940 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#20880, #20890, #20900, #20910, #20920, #20930), .UNSPECIFIED., .F., .U., (4, 2, 4), (0., 0.5, 1.), .UNSPECIFIED.);
#20950 = EDGE_CURVE ('', #20820, #20560, #20940, .T.);
#20960 = ORIENTED_EDGE ('', *, *, #20950, .T.);
#20970 = ORIENTED_EDGE ('', *, *, #20600, .F.);
#20980 = ORIENTED_EDGE ('', *, *, #18930, .F.);
#20990 = EDGE_LOOP ('', (#20870, #20960, #20970, #20980));
#21000 = FACE_OUTER_BOUND ('', #20990, .T.);
#21010 = CARTESIAN_POINT ('', (5.3087180463713, 4.00118304333461, 22.3927639946094));
#21020 = CARTESIAN_POINT ('', (5.3087180463713, 4.00118304333461, 19.8072360010795));
#21030 = CARTESIAN_POINT ('', (7.61948516702062, -0.00118301408948973, 22.3927639946094));
#21040 = CARTESIAN_POINT ('', (7.61948516702062, -0.00118301408948973, 19.8072360010795));
#21050 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#21010, #21020), (#21030, #21040)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00136606077540691, 4.62016818052309), (0.0572360053905996, 2.6427639989205), .UNSPECIFIED.);
#21060 = ADVANCED_FACE ('', (#21000), #21050, .T.);
#21070 = CARTESIAN_POINT ('', (0.690598910207309, 4., 22.0349993794191));
#21080 = VERTEX_POINT ('', #21070);
#21090 = CARTESIAN_POINT ('', (0.690598918825959, 4., 22.0349993819071));
#21100 = CARTESIAN_POINT ('', (1.44512649445453, 4., 22.2528127316671));
#21110 = CARTESIAN_POINT ('', (2.21177658184195, 4., 22.3922649730859));
#21120 = CARTESIAN_POINT ('', (3.78822341815805, 4., 22.3922649730859));
#21130 = CARTESIAN_POINT ('', (4.5548734967809, 4., 22.2528127335909));
#21140 = CARTESIAN_POINT ('', (5.30940107260294, 4., 22.0349993843813));
#21150 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#21090, #21100, #21110, #21120, #21130, #21140), .UNSPECIFIED., .F., .U., (4, 2, 4), (0., 0.5, 1.), .UNSPECIFIED.);
#21160 = EDGE_CURVE ('', #21080, #20820, #21150, .T.);
#21170 = ORIENTED_EDGE ('', *, *, #21160, .T.);
#21180 = ORIENTED_EDGE ('', *, *, #20860, .F.);
#21190 = ORIENTED_EDGE ('', *, *, #18820, .F.);
#21200 = ORIENTED_EDGE ('', *, *, #19440, .F.);
#21210 = CARTESIAN_POINT ('', (0.690598887871879, 3.9999999698891, 20.1650006120333));
#21220 = CARTESIAN_POINT ('', (0.690598910207309, 4., 22.0349993794191));
#21230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#21210, #21220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#21240 = EDGE_CURVE ('', #19290, #21080, #21230, .T.);
#21250 = ORIENTED_EDGE ('', *, *, #21240, .T.);
#21260 = EDGE_LOOP ('', (#21170, #21180, #21190, #21200, #21250));
#21270 = FACE_OUTER_BOUND ('', #21260, .T.);
#21280 = CARTESIAN_POINT ('', (5.3104010686429, 4., 22.3922649730859));
#21290 = CARTESIAN_POINT ('', (0.689598887871879, 4., 22.3922649730859));
#21300 = CARTESIAN_POINT ('', (5.3104010686429, 4., 19.807735026958));
#21310 = CARTESIAN_POINT ('', (0.689598887871879, 4., 19.807735026958));
#21320 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#21280, #21290), (#21300, #21310)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0577350269140986, 2.642264973042), (-4.6198021454009, 0.00100003537011983), .UNSPECIFIED.);
#21330 = ADVANCED_FACE ('', (#21270), #21320, .T.);
#21340 = CARTESIAN_POINT ('', (-1.61880215189508, 2.80919998374429E-9, 22.0349993841181));
#21350 = VERTEX_POINT ('', #21340);
#21360 = CARTESIAN_POINT ('', (-1.61880214585802, -2.98160998113417E-8, 20.1650006124565));
#21370 = CARTESIAN_POINT ('', (-1.61880215189508, 2.80919998374429E-9, 22.0349993841181));
#21380 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#21360, #21370), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#21390 = EDGE_CURVE ('', #19180, #21350, #21380, .T.);
#21400 = ORIENTED_EDGE ('', *, *, #21390, .T.);
#21410 = CARTESIAN_POINT ('', (-1.618802150299, 5.57369972398192E-9, 22.0349993850396));
#21420 = CARTESIAN_POINT ('', (-1.24172053190346, 0.6531245272351, 22.2527075584693));
#21430 = CARTESIAN_POINT ('', (-0.858990167210755, 1.3160329644822, 22.3917631391931));
#21440 = CARTESIAN_POINT ('', (-0.073627667717541, 2.6763207159637, 22.3927639940231));
#21450 = CARTESIAN_POINT ('', (0.313047160420769, 3.3460611643072, 22.2529789959621));
#21460 = CARTESIAN_POINT ('', (0.690598929493649, 4.0000000108289, 22.0349993795721));
#21470 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#21410, #21420, #21430, #21440, #21450, #21460), .UNSPECIFIED., .F., .U., (4, 2, 4), (0., 0.5, 1.), .UNSPECIFIED.);
#21480 = EDGE_CURVE ('', #21350, #21080, #21470, .T.);
#21490 = ORIENTED_EDGE ('', *, *, #21480, .T.);
#21500 = ORIENTED_EDGE ('', *, *, #21240, .F.);
#21510 = ORIENTED_EDGE ('', *, *, #19370, .F.);
#21520 = EDGE_LOOP ('', (#21400, #21490, #21500, #21510));
#21530 = FACE_OUTER_BOUND ('', #21520, .T.);
#21540 = CARTESIAN_POINT ('', (-1.61948517872416, -0.00118303436165768, 22.3927639940231));
#21550 = CARTESIAN_POINT ('', (-1.61948517872416, -0.00118303436165768, 19.8072360007094));
#21560 = CARTESIAN_POINT ('', (0.691281932684926, 4.00118300705788, 22.3927639940231));
#21570 = CARTESIAN_POINT ('', (0.691281932684926, 4.00118300705788, 19.8072360007094));
#21580 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#21540, #21550), (#21560, #21570)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00136605041432603, 4.6201681724037), (0.0572360059769004, 2.6427639992906), .UNSPECIFIED.);
#21590 = ADVANCED_FACE ('', (#21530), #21580, .T.);
#21600 = ORIENTED_EDGE ('', *, *, #20390, .F.);
#21610 = CARTESIAN_POINT ('', (0.690598898398709, -3.99999995697015, 22.0349993975252));
#21620 = CARTESIAN_POINT ('', (0.313517282628429, -3.3468754398559, 22.2527075663812));
#21630 = CARTESIAN_POINT ('', (-0.0692130792771287, -2.6839670074363, 22.3917631421494));
#21640 = CARTESIAN_POINT ('', (-0.854575572239435, -1.3236792672667, 22.3927639911003));
#21650 = CARTESIAN_POINT ('', (-1.24125039586065, -0.653938826747, 22.2529789932757));
#21660 = CARTESIAN_POINT ('', (-1.61880216185471, 1.44419995962153E-8, 22.034999378368));
#21670 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#21610, #21620, #21630, #21640, #21650, #21660), .UNSPECIFIED., .F., .U., (4, 2, 4), (0., 0.5, 1.), .UNSPECIFIED.);
#21680 = EDGE_CURVE ('', #20280, #21350, #21670, .T.);
#21690 = ORIENTED_EDGE ('', *, *, #21680, .T.);
#21700 = ORIENTED_EDGE ('', *, *, #21390, .F.);
#21710 = ORIENTED_EDGE ('', *, *, #19260, .F.);
#21720 = EDGE_LOOP ('', (#21600, #21690, #21700, #21710));
#21730 = FACE_OUTER_BOUND ('', #21720, .T.);
#21740 = CARTESIAN_POINT ('', (0.691281951068213, -4.00118303889797, 22.3927639911003));
#21750 = CARTESIAN_POINT ('', (0.691281951068213, -4.00118303889797, 19.8072360014815));
#21760 = CARTESIAN_POINT ('', (-1.61948516702953, 0.00118301410665467, 22.3927639911003));
#21770 = CARTESIAN_POINT ('', (-1.61948516702953, 0.00118301410665467, 19.8072360014815));
#21780 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#21740, #21750), (#21760, #21770)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00136605565242665, 4.62016818054291), (0.0572360088997002, 2.6427639985185), .UNSPECIFIED.);
#21790 = ADVANCED_FACE ('', (#21730), #21780, .T.);
#21800 = ORIENTED_EDGE ('', *, *, #18040, .T.);
#21810 = ORIENTED_EDGE ('', *, *, #2490, .T.);
#21820 = ORIENTED_EDGE ('', *, *, #19920, .F.);
#21830 = ORIENTED_EDGE ('', *, *, #11110, .T.);
#21840 = EDGE_LOOP ('', (#21800, #21810, #21820, #21830));
#21850 = FACE_OUTER_BOUND ('', #21840, .T.);
#21860 = CARTESIAN_POINT ('', (-6.99150514429896, 7.00118301270164, 19.751));
#21870 = CARTESIAN_POINT ('', (-6.99150514429896, 7.00118301270164, -19.751));
#21880 = CARTESIAN_POINT ('', (-6.13136779486706, 5.51138142199802, 19.751));
#21890 = CARTESIAN_POINT ('', (-6.13136779486706, 5.51138142199802, -19.751));
#21900 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#21860, #21870), (#21880, #21890)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.71890867345986, 0.00136602540387898), (-0.00100000000000122, 39.501), .UNSPECIFIED.);
#21910 = ADVANCED_FACE ('', (#21850), #21900, .T.);
#21920 = CARTESIAN_POINT ('', (3., -3.90000000002101, 22.4499999999921));
#21930 = VERTEX_POINT ('', #21920);
#21940 = CARTESIAN_POINT ('', (3., -3.99999999999999, 22.3922649730859));
#21950 = CARTESIAN_POINT ('', (3., -3.90000000002095, 22.4499999999921));
#21960 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#21940, #21950), .UNSPECIFIED., .F., .U., (2, 2), (0.858810244083115, 0.997596157465928), .UNSPECIFIED.);
#21970 = EDGE_CURVE ('', #20190, #21930, #21960, .T.);
#21980 = ORIENTED_EDGE ('', *, *, #21970, .T.);
#21990 = CARTESIAN_POINT ('', (3., 3.900000000021, 22.4499999999921));
#22000 = VERTEX_POINT ('', #21990);
#22010 = CARTESIAN_POINT ('', (3., -3.90000000002101, 22.4499999999921));
#22020 = CARTESIAN_POINT ('', (-0.90000000002101, -3.90000000002101, 22.4499999999921));
#22030 = CARTESIAN_POINT ('', (-0.900000000021011, 0., 22.4499999999921));
#22040 = CARTESIAN_POINT ('', (-0.900000000021012, 3.90000000002101, 22.4499999999921));
#22050 = CARTESIAN_POINT ('', (3., 3.90000000002101, 22.4499999999921));
#22060 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#22010, #22020, #22030, #22040, #22050), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (180., 270., 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#22070 = EDGE_CURVE ('', #21930, #22000, #22060, .T.);
#22080 = ORIENTED_EDGE ('', *, *, #22070, .T.);
#22090 = CARTESIAN_POINT ('', (3., 3.90000000002101, 22.4499999999921));
#22100 = CARTESIAN_POINT ('', (6.90000000002101, 3.90000000002101, 22.4499999999921));
#22110 = CARTESIAN_POINT ('', (6.90000000002101, 0., 22.4499999999921));
#22120 = CARTESIAN_POINT ('', (6.90000000002101, -3.90000000002101, 22.4499999999921));
#22130 = CARTESIAN_POINT ('', (3., -3.90000000002101, 22.4499999999921));
#22140 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#22090, #22100, #22110, #22120, #22130), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 90., 180.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#22150 = EDGE_CURVE ('', #22000, #21930, #22140, .T.);
#22160 = ORIENTED_EDGE ('', *, *, #22150, .T.);
#22170 = ORIENTED_EDGE ('', *, *, #21970, .F.);
#22180 = ORIENTED_EDGE ('', *, *, #20250, .F.);
#22190 = ORIENTED_EDGE ('', *, *, #20690, .F.);
#22200 = ORIENTED_EDGE ('', *, *, #20950, .F.);
#22210 = ORIENTED_EDGE ('', *, *, #21160, .F.);
#22220 = ORIENTED_EDGE ('', *, *, #21480, .F.);
#22230 = ORIENTED_EDGE ('', *, *, #21680, .F.);
#22240 = ORIENTED_EDGE ('', *, *, #20340, .F.);
#22250 = EDGE_LOOP ('', (#21980, #22080, #22160, #22170, #22180, #22190, #22200, #22210, #22220, #22230, #22240));
#22260 = FACE_OUTER_BOUND ('', #22250, .T.);
#22270 = CARTESIAN_POINT ('', (3., -3.89826794921336, 22.4509999999921));
#22280 = CARTESIAN_POINT ('', (3.00000000000001, -4.61880217017, 22.0349993735671));
#22290 = CARTESIAN_POINT ('', (-0.898267949213356, -3.89826794921336, 22.4509999999921));
#22300 = CARTESIAN_POINT ('', (-1.61880217016999, -4.61880217017, 22.034999373567));
#22310 = CARTESIAN_POINT ('', (-0.89826794921336, -3.5527136788005E-15, 22.4509999999921));
#22320 = CARTESIAN_POINT ('', (-1.61880217017, -3.5527136788005E-15, 22.034999373567));
#22330 = CARTESIAN_POINT ('', (-0.898267949213364, 3.89826794921335, 22.4509999999921));
#22340 = CARTESIAN_POINT ('', (-1.61880217017, 4.61880217016999, 22.034999373567));
#22350 = CARTESIAN_POINT ('', (2.99999999999999, 3.89826794921336, 22.4509999999921));
#22360 = CARTESIAN_POINT ('', (3., 4.61880217017, 22.0349993735671));
#22370 = CARTESIAN_POINT ('', (6.89826794921335, 3.89826794921336, 22.4509999999922));
#22380 = CARTESIAN_POINT ('', (7.61880217017, 4.61880217017, 22.0349993735672));
#22390 = CARTESIAN_POINT ('', (6.89826794921335, 3.5527136788005E-15, 22.4509999999922));
#22400 = CARTESIAN_POINT ('', (7.61880217017, 3.5527136788005E-15, 22.0349993735672));
#22410 = CARTESIAN_POINT ('', (6.89826794921336, -3.89826794921335, 22.4509999999922));
#22420 = CARTESIAN_POINT ('', (7.61880217017001, -4.61880217017, 22.0349993735672));
#22430 = CARTESIAN_POINT ('', (3., -3.89826794921336, 22.4509999999921));
#22440 = CARTESIAN_POINT ('', (3.00000000000001, -4.61880217017, 22.0349993735671));
#22450 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#22270, #22280), (#22290, #22300), (#22310, #22320), (#22330, #22340), (#22350, #22360), (#22370, #22380), (#22390, #22400), (#22410, #22420), (#22430, #22440)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#22460 = ADVANCED_FACE ('', (#22260), #22450, .T.);
#22470 = ORIENTED_EDGE ('', *, *, #22150, .F.);
#22480 = ORIENTED_EDGE ('', *, *, #22070, .F.);
#22490 = EDGE_LOOP ('', (#22470, #22480));
#22500 = FACE_OUTER_BOUND ('', #22490, .T.);
#22510 = CARTESIAN_POINT ('', (3., -2.5, 22.45));
#22520 = VERTEX_POINT ('', #22510);
#22530 = CARTESIAN_POINT ('', (3., 2.5, 22.45));
#22540 = VERTEX_POINT ('', #22530);
#22550 = CARTESIAN_POINT ('', (3., -2.5, 22.45));
#22560 = CARTESIAN_POINT ('', (5.5, -2.5, 22.45));
#22570 = CARTESIAN_POINT ('', (5.5, 0., 22.45));
#22580 = CARTESIAN_POINT ('', (5.5, 2.5, 22.45));
#22590 = CARTESIAN_POINT ('', (3., 2.5, 22.45));
#22600 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#22550, #22560, #22570, #22580, #22590), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (180., 270., 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#22610 = EDGE_CURVE ('', #22520, #22540, #22600, .T.);
#22620 = ORIENTED_EDGE ('', *, *, #22610, .F.);
#22630 = CARTESIAN_POINT ('', (3., 2.5, 22.45));
#22640 = CARTESIAN_POINT ('', (0.499999999999999, 2.5, 22.45));
#22650 = CARTESIAN_POINT ('', (0.499999999999999, 0., 22.45));
#22660 = CARTESIAN_POINT ('', (0.499999999999999, -2.5, 22.45));
#22670 = CARTESIAN_POINT ('', (3., -2.5, 22.45));
#22680 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#22630, #22640, #22650, #22660, #22670), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 90., 180.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#22690 = EDGE_CURVE ('', #22540, #22520, #22680, .T.);
#22700 = ORIENTED_EDGE ('', *, *, #22690, .F.);
#22710 = EDGE_LOOP ('', (#22620, #22700));
#22720 = FACE_BOUND ('', #22710, .T.);
#22730 = CARTESIAN_POINT ('', (6.90100000002101, -3.90100000002101, 22.45));
#22740 = CARTESIAN_POINT ('', (-0.901000000021012, -3.90100000002101, 22.45));
#22750 = CARTESIAN_POINT ('', (6.90100000002101, 3.90100000002101, 22.45));
#22760 = CARTESIAN_POINT ('', (-0.901000000021012, 3.90100000002101, 22.45));
#22770 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#22730, #22740), (#22750, #22760)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.90100000002101, 3.90100000002101), (-3.90100000002101, 3.90100000002101), .UNSPECIFIED.);
#22780 = ADVANCED_FACE ('', (#22500, #22720), #22770, .T.);
#22790 = CARTESIAN_POINT ('', (3., -2.5, 22.45));
#22800 = CARTESIAN_POINT ('', (3., -2.5, 23.75));
#22810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#22790, #22800), .UNSPECIFIED., .F., .U., (2, 2), (0.0839733742959569, 0.916026625704045), .UNSPECIFIED.);
#22820 = EDGE_CURVE ('', #22520, #300, #22810, .T.);
#22830 = ORIENTED_EDGE ('', *, *, #22820, .T.);
#22840 = ORIENTED_EDGE ('', *, *, #350, .T.);
#22850 = ORIENTED_EDGE ('', *, *, #510, .T.);
#22860 = ORIENTED_EDGE ('', *, *, #450, .T.);
#22870 = ORIENTED_EDGE ('', *, *, #22820, .F.);
#22880 = ORIENTED_EDGE ('', *, *, #22610, .T.);
#22890 = ORIENTED_EDGE ('', *, *, #22690, .T.);
#22900 = EDGE_LOOP ('', (#22830, #22840, #22850, #22860, #22870, #22880, #22890));
#22910 = FACE_OUTER_BOUND ('', #22900, .T.);
#22920 = CARTESIAN_POINT ('', (3., -2.5, 23.8812));
#22930 = CARTESIAN_POINT ('', (3., -2.5, 22.3188));
#22940 = CARTESIAN_POINT ('', (0.499999999999999, -2.5, 23.8812));
#22950 = CARTESIAN_POINT ('', (0.499999999999999, -2.5, 22.3188));
#22960 = CARTESIAN_POINT ('', (0.499999999999998, 0., 23.8812));
#22970 = CARTESIAN_POINT ('', (0.499999999999998, 0., 22.3188));
#22980 = CARTESIAN_POINT ('', (0.499999999999998, 2.5, 23.8812));
#22990 = CARTESIAN_POINT ('', (0.499999999999998, 2.5, 22.3188));
#23000 = CARTESIAN_POINT ('', (3., 2.5, 23.8812));
#23010 = CARTESIAN_POINT ('', (3., 2.5, 22.3188));
#23020 = CARTESIAN_POINT ('', (5.5, 2.5, 23.8812));
#23030 = CARTESIAN_POINT ('', (5.5, 2.5, 22.3188));
#23040 = CARTESIAN_POINT ('', (5.5, 0., 23.8812));
#23050 = CARTESIAN_POINT ('', (5.5, 0., 22.3188));
#23060 = CARTESIAN_POINT ('', (5.5, -2.5, 23.8812));
#23070 = CARTESIAN_POINT ('', (5.5, -2.5, 22.3188));
#23080 = CARTESIAN_POINT ('', (3., -2.5, 23.8812));
#23090 = CARTESIAN_POINT ('', (3., -2.5, 22.3188));
#23100 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#22920, #22930), (#22940, #22950), (#22960, #22970), (#22980, #22990), (#23000, #23010), (#23020, #23030), (#23040, #23050), (#23060, #23070), (#23080, #23090)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#23110 = ADVANCED_FACE ('', (#22910), #23100, .T.);
#23120 = ORIENTED_EDGE ('', *, *, #260, .F.);
#23130 = ORIENTED_EDGE ('', *, *, #180, .F.);
#23140 = EDGE_LOOP ('', (#23120, #23130));
#23150 = FACE_OUTER_BOUND ('', #23140, .T.);
#23160 = CARTESIAN_POINT ('', (5.00099999998635, -2.00099999998635, 24.25));
#23170 = CARTESIAN_POINT ('', (0.999000000013649, -2.00099999998635, 24.25));
#23180 = CARTESIAN_POINT ('', (5.00099999998635, 2.00099999998635, 24.25));
#23190 = CARTESIAN_POINT ('', (0.999000000013649, 2.00099999998635, 24.25));
#23200 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#23160, #23170), (#23180, #23190)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.00099999998635, 2.00099999998635), (-2.00099999998635, 2.00099999998635), .UNSPECIFIED.);
#23210 = ADVANCED_FACE ('', (#23150), #23200, .T.);
#23220 = ORIENTED_EDGE ('', *, *, #16860, .F.);
#23230 = ORIENTED_EDGE ('', *, *, #15750, .T.);
#23240 = ORIENTED_EDGE ('', *, *, #16730, .T.);
#23250 = ORIENTED_EDGE ('', *, *, #7520, .F.);
#23260 = EDGE_LOOP ('', (#23220, #23230, #23240, #23250));
#23270 = FACE_OUTER_BOUND ('', #23260, .T.);
#23280 = CARTESIAN_POINT ('', (31.4, -25.6612, -15.75));
#23290 = CARTESIAN_POINT ('', (31.4, -20.7388, -15.75));
#23300 = CARTESIAN_POINT ('', (37.4, -25.6612, -15.75));
#23310 = CARTESIAN_POINT ('', (37.4, -20.7388, -15.75));
#23320 = CARTESIAN_POINT ('', (37.4, -25.6612, -9.75));
#23330 = CARTESIAN_POINT ('', (37.4, -20.7388, -9.75));
#23340 = CARTESIAN_POINT ('', (37.4, -25.6612, -3.75));
#23350 = CARTESIAN_POINT ('', (37.4, -20.7388, -3.75));
#23360 = CARTESIAN_POINT ('', (31.4, -25.6612, -3.75));
#23370 = CARTESIAN_POINT ('', (31.4, -20.7388, -3.75));
#23380 = CARTESIAN_POINT ('', (25.4, -25.6612, -3.75));
#23390 = CARTESIAN_POINT ('', (25.4, -20.7388, -3.75));
#23400 = CARTESIAN_POINT ('', (25.4, -25.6612, -9.75));
#23410 = CARTESIAN_POINT ('', (25.4, -20.7388, -9.75));
#23420 = CARTESIAN_POINT ('', (25.4, -25.6612, -15.75));
#23430 = CARTESIAN_POINT ('', (25.4, -20.7388, -15.75));
#23440 = CARTESIAN_POINT ('', (31.4, -25.6612, -15.75));
#23450 = CARTESIAN_POINT ('', (31.4, -20.7388, -15.75));
#23460 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#23280, #23290), (#23300, #23310), (#23320, #23330), (#23340, #23350), (#23360, #23370), (#23380, #23390), (#23400, #23410), (#23420, #23430), (#23440, #23450)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#23470 = ADVANCED_FACE ('', (#23270), #23460, .T.);
#23480 = ORIENTED_EDGE ('', *, *, #17400, .F.);
#23490 = ORIENTED_EDGE ('', *, *, #11530, .F.);
#23500 = ORIENTED_EDGE ('', *, *, #19770, .F.);
#23510 = ORIENTED_EDGE ('', *, *, #2000, .F.);
#23520 = EDGE_LOOP ('', (#23480, #23490, #23500, #23510));
#23530 = FACE_OUTER_BOUND ('', #23520, .T.);
#23540 = CARTESIAN_POINT ('', (-5.612435565298, -5.212564434702, -23.7012));
#23550 = CARTESIAN_POINT ('', (-5.612435565298, -5.212564434702, 23.7012));
#23560 = CARTESIAN_POINT ('', (-5.012435565298, -5.212564434702, -23.7012));
#23570 = CARTESIAN_POINT ('', (-5.012435565298, -5.212564434702, 23.7012));
#23580 = CARTESIAN_POINT ('', (-5.012435565298, -5.812564434702, -23.7012));
#23590 = CARTESIAN_POINT ('', (-5.012435565298, -5.812564434702, 23.7012));
#23600 = CARTESIAN_POINT ('', (-5.012435565298, -6.412564434702, -23.7012));
#23610 = CARTESIAN_POINT ('', (-5.012435565298, -6.412564434702, 23.7012));
#23620 = CARTESIAN_POINT ('', (-5.612435565298, -6.412564434702, -23.7012));
#23630 = CARTESIAN_POINT ('', (-5.612435565298, -6.412564434702, 23.7012));
#23640 = CARTESIAN_POINT ('', (-6.212435565298, -6.412564434702, -23.7012));
#23650 = CARTESIAN_POINT ('', (-6.212435565298, -6.412564434702, 23.7012));
#23660 = CARTESIAN_POINT ('', (-6.212435565298, -5.812564434702, -23.7012));
#23670 = CARTESIAN_POINT ('', (-6.212435565298, -5.812564434702, 23.7012));
#23680 = CARTESIAN_POINT ('', (-6.212435565298, -5.212564434702, -23.7012));
#23690 = CARTESIAN_POINT ('', (-6.212435565298, -5.212564434702, 23.7012));
#23700 = CARTESIAN_POINT ('', (-5.612435565298, -5.212564434702, -23.7012));
#23710 = CARTESIAN_POINT ('', (-5.612435565298, -5.212564434702, 23.7012));
#23720 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#23540, #23550), (#23560, #23570), (#23580, #23590), (#23600, #23610), (#23620, #23630), (#23640, #23650), (#23660, #23670), (#23680, #23690), (#23700, #23710)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#23730 = ADVANCED_FACE ('', (#23530), #23720, .T.);
#23740 = CLOSED_SHELL ('', (#740, #3230, #3510, #3730, #3950, #4470, #5180, #5400, #6340, #6840, #7740, #7960, #8410, #8690, #8910, #9130, #9410, #9690, #9910, #10130, #10580, #10800, #12130, #12540, #12880, #13140, #13300, #13600, #13900, #14160, #14380, #14820, #15130, #15350, #15930, #16040, #16200, #16360, #16660, #16820, #17120, #17240, #17360, #17660, #17820, #17980, #18280, #18400, #18520, #18640, #19670, #19870, #20030, #20150, #20540, #20800, #21060, #21330, #21590, #21790, #21910, #22460, #22780, #23110, #23210, #23470, #23730));
#23750 = MANIFOLD_SOLID_BREP ('NOCUT', #23740);
#23760 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#23770 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#23780 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#23790 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #23760, 'DISTANCE_ACCURACY_VALUE', '');
#23800 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#23790))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#23760, #23770, #23780))
   REPRESENTATION_CONTEXT ('', '3D')
);
#23810 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#23820 = FILL_AREA_STYLE_COLOUR ('', #23810);
#23830 = FILL_AREA_STYLE ('', (#23820));
#23840 = SURFACE_STYLE_FILL_AREA (#23830);
#23850 = SURFACE_SIDE_STYLE ('', (#23840));
#23860 = SURFACE_STYLE_USAGE (.POSITIVE., #23850);
#23870 = PRESENTATION_STYLE_ASSIGNMENT ((#23860));
#23880 = STYLED_ITEM ('', (#23870), #23750);
#23890 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#23750), #23800);
#23900 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#23910 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #23900);
#23920 = MECHANICAL_CONTEXT ('', #23900, 'mechanical');
#23930 = PRODUCT ('NONE', '', '', (#23920));
#23940 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#23950 = PERSON ('', '', $, $, $, $);
#23960 = ORGANIZATION ($, '', '');
#23970 = PERSON_AND_ORGANIZATION (#23950, #23960);
#23980 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#23970, #23940, (#23930));
#23990 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#23930));
#24000 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #23930, .NOT_KNOWN.);
#24010 = APPROVAL_STATUS ('approved');
#24020 = APPROVAL (#24010, '');
#24030 = CALENDAR_DATE (2018, 18, 6);
#24040 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#24050 = LOCAL_TIME (14, 58, 49., #24040);
#24060 = DATE_AND_TIME (#24030, #24050);
#24070 = APPROVAL_DATE_TIME (#24060, #24020);
#24080 = APPROVAL_ROLE ('');
#24090 = PERSON ('', '', $, $, $, $);
#24100 = ORGANIZATION ($, '', '');
#24110 = PERSON_AND_ORGANIZATION (#24090, #24100);
#24120 = APPROVAL_PERSON_ORGANIZATION (#24110, #24020, #24080);
#24130 = CC_DESIGN_APPROVAL (#24020, (#24000));
#24140 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#24150 = PERSON ('', '', $, $, $, $);
#24160 = ORGANIZATION ($, '', '');
#24170 = PERSON_AND_ORGANIZATION (#24150, #24160);
#24180 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#24170, #24140, (#24000));
#24190 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#24200 = PERSON ('', '', $, $, $, $);
#24210 = ORGANIZATION ($, '', '');
#24220 = PERSON_AND_ORGANIZATION (#24200, #24210);
#24230 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#24220, #24190, (#24000));
#24240 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#24250 = SECURITY_CLASSIFICATION ('', '', #24240);
#24260 = APPROVAL_STATUS ('approved');
#24270 = APPROVAL (#24260, '');
#24280 = CALENDAR_DATE (2018, 18, 6);
#24290 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#24300 = LOCAL_TIME (14, 58, 49., #24290);
#24310 = DATE_AND_TIME (#24280, #24300);
#24320 = APPROVAL_DATE_TIME (#24310, #24270);
#24330 = APPROVAL_ROLE ('');
#24340 = PERSON ('', '', $, $, $, $);
#24350 = ORGANIZATION ($, '', '');
#24360 = PERSON_AND_ORGANIZATION (#24340, #24350);
#24370 = APPROVAL_PERSON_ORGANIZATION (#24360, #24270, #24330);
#24380 = CC_DESIGN_APPROVAL (#24270, (#24250));
#24390 = DATE_TIME_ROLE ('classification_date');
#24400 = CALENDAR_DATE (2018, 18, 6);
#24410 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#24420 = LOCAL_TIME (14, 58, 49., #24410);
#24430 = DATE_AND_TIME (#24400, #24420);
#24440 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#24430, #24390, (#24250));
#24450 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#24460 = PERSON ('', '', $, $, $, $);
#24470 = ORGANIZATION ($, '', '');
#24480 = PERSON_AND_ORGANIZATION (#24460, #24470);
#24490 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#24480, #24450, (#24250));
#24500 = CC_DESIGN_SECURITY_CLASSIFICATION (#24250, (#24000));
#24510 = DESIGN_CONTEXT ('', #23900, 'design');
#24520 = PRODUCT_DEFINITION ('', '', #24000, #24510);
#24530 = APPROVAL_STATUS ('approved');
#24540 = APPROVAL (#24530, '');
#24550 = CALENDAR_DATE (2018, 18, 6);
#24560 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#24570 = LOCAL_TIME (14, 58, 49., #24560);
#24580 = DATE_AND_TIME (#24550, #24570);
#24590 = APPROVAL_DATE_TIME (#24580, #24540);
#24600 = APPROVAL_ROLE ('');
#24610 = PERSON ('', '', $, $, $, $);
#24620 = ORGANIZATION ($, '', '');
#24630 = PERSON_AND_ORGANIZATION (#24610, #24620);
#24640 = APPROVAL_PERSON_ORGANIZATION (#24630, #24540, #24600);
#24650 = CC_DESIGN_APPROVAL (#24540, (#24520));
#24660 = DATE_TIME_ROLE ('creation_date');
#24670 = CALENDAR_DATE (2018, 18, 6);
#24680 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#24690 = LOCAL_TIME (14, 58, 49., #24680);
#24700 = DATE_AND_TIME (#24670, #24690);
#24710 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#24700, #24660, (#24520));
#24720 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#24730 = PERSON ('', '', $, $, $, $);
#24740 = ORGANIZATION ($, '', '');
#24750 = PERSON_AND_ORGANIZATION (#24730, #24740);
#24760 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#24750, #24720, (#24520));
#24770 = PRODUCT_DEFINITION_SHAPE ('', '', #24520);
#24780 = SHAPE_DEFINITION_REPRESENTATION (#24770, #23890);
ENDSEC;
END-ISO-10303-21;