ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('q:\\ahmed kadagan_c\\arno\\hsa\\hsa-acs1-s\\HSA 1616L-2403-44-ACS1-S1.stp', '2017-02-17T11:05:44', ('Unknown'), ('TDM'), 'HarmonyWare STEP v2.0.2.9', 'T3D tool generator', '');
FILE_SCHEMA (('CONFIG_CONTROL_DESIGN'));
ENDSEC;

DATA;
#10 = CARTESIAN_POINT ('', (39., -8.00000000000001, 16.161855429226));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (39., -5.50000000000001, 16.161855429226));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (39., -8.00000000000001, 16.161855429226));
#60 = CARTESIAN_POINT ('', (39., -5.50000000000001, 16.161855429226));
#70 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#50, #60), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#80 = EDGE_CURVE ('', #20, #40, #70, .T.);
#90 = ORIENTED_EDGE ('', *, *, #80, .F.);
#100 = CARTESIAN_POINT ('', (20.1800502367744, -8., 14.8458363413468));
#110 = VERTEX_POINT ('', #100);
#120 = CARTESIAN_POINT ('', (39., -8.00000000000001, 16.161855429226));
#130 = CARTESIAN_POINT ('', (20.1800502367744, -8., 14.8458363413468));
#140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#120, #130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#150 = EDGE_CURVE ('', #20, #110, #140, .T.);
#160 = ORIENTED_EDGE ('', *, *, #150, .T.);
#170 = CARTESIAN_POINT ('', (20.1800502367743, -4.9, 14.8458363413468));
#180 = VERTEX_POINT ('', #170);
#190 = CARTESIAN_POINT ('', (20.1800502367744, -8., 14.8458363413468));
#200 = CARTESIAN_POINT ('', (20.1800502367743, -4.9, 14.8458363413468));
#210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#190, #200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#220 = EDGE_CURVE ('', #110, #180, #210, .T.);
#230 = ORIENTED_EDGE ('', *, *, #220, .T.);
#240 = CARTESIAN_POINT ('', (22.1000442978732, -4.9, 14.9800954049899));
#250 = VERTEX_POINT ('', #240);
#260 = CARTESIAN_POINT ('', (20.1800502367743, -4.9, 14.8458363413468));
#270 = CARTESIAN_POINT ('', (22.1000442978732, -4.9, 14.9800954049899));
#280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#260, #270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#290 = EDGE_CURVE ('', #180, #250, #280, .T.);
#300 = ORIENTED_EDGE ('', *, *, #290, .T.);
#310 = CARTESIAN_POINT ('', (23.0149839118596, -5.5, 15.0440742153168));
#320 = VERTEX_POINT ('', #310);
#330 = CARTESIAN_POINT ('', (23.0149839118596, -5.5, 15.0440742153168));
#340 = CARTESIAN_POINT ('', (22.8203175675619, -5.50000000000001, 15.0304618184673));
#350 = CARTESIAN_POINT ('', (22.6296330438339, -5.44242342792032, 15.0171278576361));
#360 = CARTESIAN_POINT ('', (22.3075088468974, -5.23138521364075, 14.9946027394944));
#370 = CARTESIAN_POINT ('', (22.1768713367399, -5.07633968721282, 14.9854676748889));
#380 = CARTESIAN_POINT ('', (22.1000442978732, -4.9, 14.9800954049899));
#390 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#330, #340, #350, #360, #370, #380), .UNSPECIFIED., .F., .U., (4, 2, 4), (0.0010070541605786, 0.00158412611360214, 0.00216119806662569), .UNSPECIFIED.);
#400 = EDGE_CURVE ('', #320, #250, #390, .T.);
#410 = ORIENTED_EDGE ('', *, *, #400, .F.);
#420 = CARTESIAN_POINT ('', (39., -5.50000000000001, 16.161855429226));
#430 = CARTESIAN_POINT ('', (23.0149839118596, -5.5, 15.0440742153168));
#440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#420, #430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#450 = EDGE_CURVE ('', #40, #320, #440, .T.);
#460 = ORIENTED_EDGE ('', *, *, #450, .F.);
#470 = EDGE_LOOP ('', (#90, #160, #230, #300, #410, #460));
#480 = FACE_OUTER_BOUND ('', #470, .T.);
#490 = CARTESIAN_POINT ('', (39.0010647205849, -8.001, 16.1619298817422));
#500 = CARTESIAN_POINT ('', (39.0010647205849, -4.89900000000001, 16.1619298817422));
#510 = CARTESIAN_POINT ('', (20.1789855161895, -8.001, 14.8457618888307));
#520 = CARTESIAN_POINT ('', (20.1789855161895, -4.89900000000001, 14.8457618888307));
#530 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#490, #500), (#510, #520)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-5.22576239712036, 13.6422784063679), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#540 = ADVANCED_FACE ('', (#480), #530, .T.);
#550 = CARTESIAN_POINT ('', (22., 7.99999999999999, 16.));
#560 = VERTEX_POINT ('', #550);
#570 = CARTESIAN_POINT ('', (22., 7.99999999999999, 24.));
#580 = VERTEX_POINT ('', #570);
#590 = CARTESIAN_POINT ('', (22., 7.99999999999999, 16.));
#600 = CARTESIAN_POINT ('', (22., 7.99999999999999, 24.));
#610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#590, #600), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#620 = EDGE_CURVE ('', #560, #580, #610, .T.);
#630 = ORIENTED_EDGE ('', *, *, #620, .F.);
#640 = CARTESIAN_POINT ('', (29.1638129527241, 7.99999999999999, -4.));
#650 = VERTEX_POINT ('', #640);
#660 = CARTESIAN_POINT ('', (29.1638129527241, 7.99999999999999, -4.));
#670 = CARTESIAN_POINT ('', (22., 7.99999999999999, 4.71699459945956));
#680 = CARTESIAN_POINT ('', (22., 7.99999999999999, 16.));
#690 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#660, #670, #680), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (320.585901643846, 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.941429064396301, 1.))
   REPRESENTATION_ITEM ('')
);
#700 = EDGE_CURVE ('', #650, #560, #690, .T.);
#710 = ORIENTED_EDGE ('', *, *, #700, .F.);
#720 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 7.99999999999999, -4.));
#730 = VERTEX_POINT ('', #720);
#740 = CARTESIAN_POINT ('', (29.1638129527241, 7.99999999999999, -4.));
#750 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 7.99999999999999, -4.));
#760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#740, #750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#770 = EDGE_CURVE ('', #650, #730, #760, .T.);
#780 = ORIENTED_EDGE ('', *, *, #770, .T.);
#790 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 7.99999999999999, -3.2));
#800 = VERTEX_POINT ('', #790);
#810 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 7.99999999999999, -4.));
#820 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 7.99999999999999, -3.2));
#830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#810, #820), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#840 = EDGE_CURVE ('', #730, #800, #830, .T.);
#850 = ORIENTED_EDGE ('', *, *, #840, .T.);
#860 = CARTESIAN_POINT ('', (0.199999999999989, 7.99999999999999, -3.2));
#870 = VERTEX_POINT ('', #860);
#880 = CARTESIAN_POINT ('', (0.199999999999989, 7.99999999999999, -3.2));
#890 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 7.99999999999999, -3.2));
#900 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#880, #890), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#910 = EDGE_CURVE ('', #870, #800, #900, .T.);
#920 = ORIENTED_EDGE ('', *, *, #910, .F.);
#930 = CARTESIAN_POINT ('', (0.199999999999989, 7.99999999999999, -0.200000000000011));
#940 = VERTEX_POINT ('', #930);
#950 = CARTESIAN_POINT ('', (0.199999999999989, 7.99999999999999, -0.200000000000011));
#960 = CARTESIAN_POINT ('', (0.199999999999989, 7.99999999999999, -3.2));
#970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#950, #960), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#980 = EDGE_CURVE ('', #940, #870, #970, .T.);
#990 = ORIENTED_EDGE ('', *, *, #980, .F.);
#1000 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 7.99999999999999, -0.200000000000011));
#1010 = VERTEX_POINT ('', #1000);
#1020 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 7.99999999999999, -0.200000000000011));
#1030 = CARTESIAN_POINT ('', (0.199999999999989, 7.99999999999999, -0.200000000000011));
#1040 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1020, #1030), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1050 = EDGE_CURVE ('', #1010, #940, #1040, .T.);
#1060 = ORIENTED_EDGE ('', *, *, #1050, .F.);
#1070 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 7.99999999999999, -4.89858719658941E-16));
#1080 = VERTEX_POINT ('', #1070);
#1090 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 7.99999999999999, -0.200000000000011));
#1100 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 7.99999999999999, -4.89858719658941E-16));
#1110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1090, #1100), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1120 = EDGE_CURVE ('', #1010, #1080, #1110, .T.);
#1130 = ORIENTED_EDGE ('', *, *, #1120, .T.);
#1140 = CARTESIAN_POINT ('', (-80., 8., -4.89858719658941E-16));
#1150 = VERTEX_POINT ('', #1140);
#1160 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 7.99999999999999, -4.89858719658941E-16));
#1170 = CARTESIAN_POINT ('', (-80., 8., -4.89858719658941E-16));
#1180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1160, #1170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1190 = EDGE_CURVE ('', #1080, #1150, #1180, .T.);
#1200 = ORIENTED_EDGE ('', *, *, #1190, .T.);
#1210 = CARTESIAN_POINT ('', (-80., 8., 16.));
#1220 = VERTEX_POINT ('', #1210);
#1230 = CARTESIAN_POINT ('', (-80., 8., -4.89858719658941E-16));
#1240 = CARTESIAN_POINT ('', (-80., 8., 16.));
#1250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1230, #1240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1260 = EDGE_CURVE ('', #1150, #1220, #1250, .T.);
#1270 = ORIENTED_EDGE ('', *, *, #1260, .T.);
#1280 = CARTESIAN_POINT ('', (0.999999999999986, 8., 16.));
#1290 = VERTEX_POINT ('', #1280);
#1300 = CARTESIAN_POINT ('', (-80., 8., 16.));
#1310 = CARTESIAN_POINT ('', (0.999999999999986, 8., 16.));
#1320 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1300, #1310), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1330 = EDGE_CURVE ('', #1220, #1290, #1320, .T.);
#1340 = ORIENTED_EDGE ('', *, *, #1330, .T.);
#1350 = CARTESIAN_POINT ('', (1.99999999999999, 8., 17.));
#1360 = VERTEX_POINT ('', #1350);
#1370 = CARTESIAN_POINT ('', (0.999999999999986, 8., 16.));
#1380 = CARTESIAN_POINT ('', (1.99999999999999, 7.99999999999999, 16.));
#1390 = CARTESIAN_POINT ('', (1.99999999999999, 8., 17.));
#1400 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1370, #1380, #1390), .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 ('')
);
#1410 = EDGE_CURVE ('', #1290, #1360, #1400, .T.);
#1420 = ORIENTED_EDGE ('', *, *, #1410, .T.);
#1430 = CARTESIAN_POINT ('', (1.99999999999999, 8., 24.));
#1440 = VERTEX_POINT ('', #1430);
#1450 = CARTESIAN_POINT ('', (1.99999999999999, 8., 17.));
#1460 = CARTESIAN_POINT ('', (1.99999999999999, 8., 24.));
#1470 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1450, #1460), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1480 = EDGE_CURVE ('', #1360, #1440, #1470, .T.);
#1490 = ORIENTED_EDGE ('', *, *, #1480, .T.);
#1500 = CARTESIAN_POINT ('', (1.99999999999999, 8., 24.));
#1510 = CARTESIAN_POINT ('', (22., 7.99999999999999, 24.));
#1520 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1500, #1510), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1530 = EDGE_CURVE ('', #1440, #580, #1520, .T.);
#1540 = ORIENTED_EDGE ('', *, *, #1530, .T.);
#1550 = EDGE_LOOP ('', (#630, #710, #780, #850, #920, #990, #1060, #1130, #1200, #1270, #1340, #1420, #1490, #1540));
#1560 = FACE_OUTER_BOUND ('', #1550, .T.);
#1570 = CARTESIAN_POINT ('', (29.1648129527241, 7.99999999999999, -4.001));
#1580 = CARTESIAN_POINT ('', (29.1648129527241, 7.99999999999999, 24.001));
#1590 = CARTESIAN_POINT ('', (-80.001, 8., -4.001));
#1600 = CARTESIAN_POINT ('', (-80.001, 8., 24.001));
#1610 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1570, #1580), (#1590, #1600)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-124.501, -15.3351870472759), (-4.00099999999999, 24.001), .UNSPECIFIED.);
#1620 = ADVANCED_FACE ('', (#1560), #1610, .T.);
#1630 = CARTESIAN_POINT ('', (22., -4.5, 16.));
#1640 = VERTEX_POINT ('', #1630);
#1650 = CARTESIAN_POINT ('', (29.1638129527241, -4.50000000000001, -4.));
#1660 = VERTEX_POINT ('', #1650);
#1670 = CARTESIAN_POINT ('', (22., -4.5, 16.));
#1680 = CARTESIAN_POINT ('', (22., -4.50000000000001, 4.71699459945956));
#1690 = CARTESIAN_POINT ('', (29.1638129527241, -4.50000000000001, -4.));
#1700 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1670, #1680, #1690), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 39.4140983561544), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.941429064396301, 1.))
   REPRESENTATION_ITEM ('')
);
#1710 = EDGE_CURVE ('', #1640, #1660, #1700, .T.);
#1720 = ORIENTED_EDGE ('', *, *, #1710, .T.);
#1730 = CARTESIAN_POINT ('', (29.1638129527241, -4.50000000000001, -4.));
#1740 = CARTESIAN_POINT ('', (29.1638129527241, 7.99999999999999, -4.));
#1750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1730, #1740), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1760 = EDGE_CURVE ('', #1660, #650, #1750, .T.);
#1770 = ORIENTED_EDGE ('', *, *, #1760, .T.);
#1780 = ORIENTED_EDGE ('', *, *, #700, .T.);
#1790 = CARTESIAN_POINT ('', (22., -4.5, 16.));
#1800 = CARTESIAN_POINT ('', (22., 7.99999999999999, 16.));
#1810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1790, #1800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1820 = EDGE_CURVE ('', #1640, #560, #1810, .T.);
#1830 = ORIENTED_EDGE ('', *, *, #1820, .F.);
#1840 = EDGE_LOOP ('', (#1720, #1770, #1780, #1830));
#1850 = FACE_OUTER_BOUND ('', #1840, .T.);
#1860 = CARTESIAN_POINT ('', (22., -5.75120000000001, 16.));
#1870 = CARTESIAN_POINT ('', (22., 9.2512, 16.));
#1880 = CARTESIAN_POINT ('', (22., -5.75120000000001, -15.5));
#1890 = CARTESIAN_POINT ('', (22., 9.25119999999999, -15.5));
#1900 = CARTESIAN_POINT ('', (53.5, -5.75120000000001, -15.5));
#1910 = CARTESIAN_POINT ('', (53.5, 9.25119999999999, -15.5));
#1920 = CARTESIAN_POINT ('', (85., -5.75120000000001, -15.5));
#1930 = CARTESIAN_POINT ('', (85., 9.25119999999999, -15.5));
#1940 = CARTESIAN_POINT ('', (85., -5.75120000000001, 16.));
#1950 = CARTESIAN_POINT ('', (85., 9.25119999999999, 16.));
#1960 = CARTESIAN_POINT ('', (85., -5.75120000000001, 47.5));
#1970 = CARTESIAN_POINT ('', (85., 9.25119999999999, 47.5));
#1980 = CARTESIAN_POINT ('', (53.5, -5.75120000000001, 47.5));
#1990 = CARTESIAN_POINT ('', (53.5, 9.2512, 47.5));
#2000 = CARTESIAN_POINT ('', (22., -5.75120000000001, 47.5));
#2010 = CARTESIAN_POINT ('', (22., 9.2512, 47.5));
#2020 = CARTESIAN_POINT ('', (22., -5.75120000000001, 16.));
#2030 = CARTESIAN_POINT ('', (22., 9.2512, 16.));
#2040 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#1860, #1870), (#1880, #1890), (#1900, #1910), (#1920, #1930), (#1940, #1950), (#1960, #1970), (#1980, #1990), (#2000, #2010), (#2020, #2030)), .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 ('')
);
#2050 = ADVANCED_FACE ('', (#1850), #2040, .T.);
#2060 = CARTESIAN_POINT ('', (22.7154666797702, -4.9, 9.73023670828604));
#2070 = VERTEX_POINT ('', #2060);
#2080 = CARTESIAN_POINT ('', (22.7154666797702, -4.9, 9.73023670828604));
#2090 = CARTESIAN_POINT ('', (22.1861486478822, -4.9, 12.3291878698382));
#2100 = CARTESIAN_POINT ('', (22.100044297873, -4.9, 14.9800954049899));
#2110 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2080, #2090, #2100), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (168.48824208032, 178.13962504043), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.996455237849996, 1.))
   REPRESENTATION_ITEM ('')
);
#2120 = EDGE_CURVE ('', #2070, #250, #2110, .T.);
#2130 = ORIENTED_EDGE ('', *, *, #2120, .F.);
#2140 = CARTESIAN_POINT ('', (23.6379045206529, -5.5, 9.79473984571501));
#2150 = VERTEX_POINT ('', #2140);
#2160 = CARTESIAN_POINT ('', (23.6379045206529, -5.5, 9.79473984571501));
#2170 = CARTESIAN_POINT ('', (23.5400423510501, -5.5, 9.78789665618481));
#2180 = CARTESIAN_POINT ('', (23.4446350344608, -5.48611976669055, 9.78122512669963));
#2190 = CARTESIAN_POINT ('', (23.2586068519717, -5.43129574395185, 9.76821676896653));
#2200 = CARTESIAN_POINT ('', (23.1692429180932, -5.3902235585045, 9.76196783396767));
#2210 = CARTESIAN_POINT ('', (22.9257256699527, -5.2324285983907, 9.74493944915196));
#2220 = CARTESIAN_POINT ('', (22.79327055323, -5.07717274105804, 9.73567728511393));
#2230 = CARTESIAN_POINT ('', (22.7154666797702, -4.9, 9.73023670828604));
#2240 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#2160, #2170, #2180, #2190, #2200, #2210, #2220, #2230), .UNSPECIFIED., .F., .U., (4, 2, 2, 4), (0.000666842222145833, 0.000956608031573893, 0.00124637384100195, 0.00182590545985811), .UNSPECIFIED.);
#2250 = EDGE_CURVE ('', #2150, #2070, #2240, .T.);
#2260 = ORIENTED_EDGE ('', *, *, #2250, .F.);
#2270 = CARTESIAN_POINT ('', (30.4728421206611, -5.5, -4.));
#2280 = VERTEX_POINT ('', #2270);
#2290 = CARTESIAN_POINT ('', (30.4728421206611, -5.50000000000001, -4.00000000000004));
#2300 = CARTESIAN_POINT ('', (25.2563798075475, -5.50000000000001, 2.00601506278433));
#2310 = CARTESIAN_POINT ('', (23.6379045206529, -5.5, 9.79473984571499));
#2320 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2290, #2300, #2310), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (319.024389657405, 348.261153997689), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.967628249420372, 1.))
   REPRESENTATION_ITEM ('')
);
#2330 = EDGE_CURVE ('', #2280, #2150, #2320, .T.);
#2340 = ORIENTED_EDGE ('', *, *, #2330, .F.);
#2350 = CARTESIAN_POINT ('', (29.1638129527241, -4.50000000000001, -4.));
#2360 = CARTESIAN_POINT ('', (29.1638129527241, -4.6538081400177, -4.));
#2370 = CARTESIAN_POINT ('', (29.2109283019704, -4.80327395338943, -4.));
#2380 = CARTESIAN_POINT ('', (29.3311802420541, -4.99669428761422, -4.));
#2390 = CARTESIAN_POINT ('', (29.3798926112026, -5.05686436864172, -4.));
#2400 = CARTESIAN_POINT ('', (29.4870621178019, -5.16383581122022, -4.));
#2410 = CARTESIAN_POINT ('', (29.5459220113974, -5.21144077531159, -4.));
#2420 = CARTESIAN_POINT ('', (29.7364174308575, -5.33874232087221, -4.));
#2430 = CARTESIAN_POINT ('', (29.875450364402, -5.39921227200122, -4.));
#2440 = CARTESIAN_POINT ('', (30.1688038771446, -5.48040523067176, -4.));
#2450 = CARTESIAN_POINT ('', (30.3201293677699, -5.50000000000001, -4.));
#2460 = CARTESIAN_POINT ('', (30.4728421206611, -5.5, -4.));
#2470 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#2350, #2360, #2370, #2380, #2390, #2400, #2410, #2420, #2430, #2440, #2450, #2460), .UNSPECIFIED., .F., .U., (4, 2, 2, 2, 2, 4), (0., 0.00045395022693616, 0.00068092534040425, 0.000907900453872341, 0.00136185068080849, 0.00181580090774463), .UNSPECIFIED.);
#2480 = EDGE_CURVE ('', #1660, #2280, #2470, .T.);
#2490 = ORIENTED_EDGE ('', *, *, #2480, .F.);
#2500 = ORIENTED_EDGE ('', *, *, #1710, .F.);
#2510 = CARTESIAN_POINT ('', (23., -5.5, 16.));
#2520 = VERTEX_POINT ('', #2510);
#2530 = CARTESIAN_POINT ('', (23., -5.50000000000001, 16.));
#2540 = CARTESIAN_POINT ('', (22., -5.50000000000001, 16.));
#2550 = CARTESIAN_POINT ('', (22., -4.50000000000001, 16.));
#2560 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2530, #2540, #2550), .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 ('')
);
#2570 = EDGE_CURVE ('', #2520, #1640, #2560, .T.);
#2580 = ORIENTED_EDGE ('', *, *, #2570, .F.);
#2590 = CARTESIAN_POINT ('', (23.0149839118596, -5.5, 15.0440742153167));
#2600 = CARTESIAN_POINT ('', (23., -5.5, 15.521919673011));
#2610 = CARTESIAN_POINT ('', (23., -5.5, 15.9999999999999));
#2620 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2590, #2600, #2610), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (358.203951347689, 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.999877173507157, 1.))
   REPRESENTATION_ITEM ('')
);
#2630 = EDGE_CURVE ('', #320, #2520, #2620, .T.);
#2640 = ORIENTED_EDGE ('', *, *, #2630, .F.);
#2650 = ORIENTED_EDGE ('', *, *, #400, .T.);
#2660 = EDGE_LOOP ('', (#2130, #2260, #2340, #2490, #2500, #2580, #2640, #2650));
#2670 = FACE_OUTER_BOUND ('', #2660, .T.);
#2680 = CARTESIAN_POINT ('', (22., -4.5, 16.));
#2690 = CARTESIAN_POINT ('', (22., -3.50000000000001, 16.));
#2700 = CARTESIAN_POINT ('', (23., -3.50000000000001, 16.));
#2710 = CARTESIAN_POINT ('', (24., -3.50000000000001, 16.));
#2720 = CARTESIAN_POINT ('', (24., -4.5, 16.));
#2730 = CARTESIAN_POINT ('', (24., -5.5, 16.));
#2740 = CARTESIAN_POINT ('', (23., -5.5, 16.));
#2750 = CARTESIAN_POINT ('', (22., -5.5, 16.));
#2760 = CARTESIAN_POINT ('', (22., -4.5, 16.));
#2770 = CARTESIAN_POINT ('', (22., -4.50000000000001, -15.5));
#2780 = CARTESIAN_POINT ('', (22., -3.50000000000001, -15.5));
#2790 = CARTESIAN_POINT ('', (23., -3.50000000000001, -14.5));
#2800 = CARTESIAN_POINT ('', (24., -3.50000000000001, -13.5));
#2810 = CARTESIAN_POINT ('', (24., -4.50000000000001, -13.5));
#2820 = CARTESIAN_POINT ('', (24., -5.50000000000001, -13.5));
#2830 = CARTESIAN_POINT ('', (23., -5.50000000000001, -14.5));
#2840 = CARTESIAN_POINT ('', (22., -5.50000000000001, -15.5));
#2850 = CARTESIAN_POINT ('', (22., -4.50000000000001, -15.5));
#2860 = CARTESIAN_POINT ('', (53.5, -4.50000000000001, -15.5));
#2870 = CARTESIAN_POINT ('', (53.5, -3.50000000000001, -15.5));
#2880 = CARTESIAN_POINT ('', (53.5, -3.50000000000001, -14.5));
#2890 = CARTESIAN_POINT ('', (53.5, -3.50000000000001, -13.5));
#2900 = CARTESIAN_POINT ('', (53.5, -4.50000000000001, -13.5));
#2910 = CARTESIAN_POINT ('', (53.5, -5.50000000000001, -13.5));
#2920 = CARTESIAN_POINT ('', (53.5, -5.50000000000001, -14.5));
#2930 = CARTESIAN_POINT ('', (53.5, -5.50000000000001, -15.5));
#2940 = CARTESIAN_POINT ('', (53.5, -4.50000000000001, -15.5));
#2950 = CARTESIAN_POINT ('', (84.9999999999999, -4.50000000000001, -15.5));
#2960 = CARTESIAN_POINT ('', (84.9999999999999, -3.50000000000001, -15.5));
#2970 = CARTESIAN_POINT ('', (83.9999999999999, -3.50000000000001, -14.5));
#2980 = CARTESIAN_POINT ('', (82.9999999999999, -3.50000000000001, -13.5));
#2990 = CARTESIAN_POINT ('', (82.9999999999999, -4.50000000000001, -13.5));
#3000 = CARTESIAN_POINT ('', (82.9999999999999, -5.50000000000001, -13.5));
#3010 = CARTESIAN_POINT ('', (83.9999999999999, -5.50000000000001, -14.5));
#3020 = CARTESIAN_POINT ('', (84.9999999999999, -5.50000000000001, -15.5));
#3030 = CARTESIAN_POINT ('', (84.9999999999999, -4.50000000000001, -15.5));
#3040 = CARTESIAN_POINT ('', (84.9999999999999, -4.50000000000001, 16.));
#3050 = CARTESIAN_POINT ('', (84.9999999999999, -3.50000000000001, 16.));
#3060 = CARTESIAN_POINT ('', (83.9999999999999, -3.50000000000001, 16.));
#3070 = CARTESIAN_POINT ('', (82.9999999999999, -3.50000000000001, 16.));
#3080 = CARTESIAN_POINT ('', (82.9999999999999, -4.50000000000001, 16.));
#3090 = CARTESIAN_POINT ('', (82.9999999999999, -5.50000000000001, 16.));
#3100 = CARTESIAN_POINT ('', (83.9999999999999, -5.50000000000001, 16.));
#3110 = CARTESIAN_POINT ('', (84.9999999999999, -5.50000000000001, 16.));
#3120 = CARTESIAN_POINT ('', (84.9999999999999, -4.50000000000001, 16.));
#3130 = CARTESIAN_POINT ('', (84.9999999999999, -4.50000000000001, 47.5));
#3140 = CARTESIAN_POINT ('', (84.9999999999999, -3.50000000000001, 47.5));
#3150 = CARTESIAN_POINT ('', (83.9999999999999, -3.50000000000001, 46.5));
#3160 = CARTESIAN_POINT ('', (82.9999999999999, -3.50000000000001, 45.4999999999999));
#3170 = CARTESIAN_POINT ('', (82.9999999999999, -4.50000000000001, 45.5));
#3180 = CARTESIAN_POINT ('', (82.9999999999999, -5.50000000000001, 45.4999999999999));
#3190 = CARTESIAN_POINT ('', (83.9999999999999, -5.50000000000001, 46.5));
#3200 = CARTESIAN_POINT ('', (84.9999999999999, -5.50000000000001, 47.5));
#3210 = CARTESIAN_POINT ('', (84.9999999999999, -4.50000000000001, 47.5));
#3220 = CARTESIAN_POINT ('', (53.5, -4.5, 47.5));
#3230 = CARTESIAN_POINT ('', (53.5, -3.5, 47.5));
#3240 = CARTESIAN_POINT ('', (53.5, -3.50000000000001, 46.5));
#3250 = CARTESIAN_POINT ('', (53.5, -3.50000000000001, 45.4999999999999));
#3260 = CARTESIAN_POINT ('', (53.5, -4.5, 45.5));
#3270 = CARTESIAN_POINT ('', (53.5, -5.5, 45.4999999999999));
#3280 = CARTESIAN_POINT ('', (53.5, -5.5, 46.5));
#3290 = CARTESIAN_POINT ('', (53.5, -5.5, 47.5));
#3300 = CARTESIAN_POINT ('', (53.5, -4.5, 47.5));
#3310 = CARTESIAN_POINT ('', (22., -4.5, 47.5));
#3320 = CARTESIAN_POINT ('', (22., -3.5, 47.5));
#3330 = CARTESIAN_POINT ('', (23., -3.5, 46.5));
#3340 = CARTESIAN_POINT ('', (24., -3.5, 45.5));
#3350 = CARTESIAN_POINT ('', (24., -4.5, 45.5));
#3360 = CARTESIAN_POINT ('', (24., -5.5, 45.5));
#3370 = CARTESIAN_POINT ('', (23., -5.5, 46.5));
#3380 = CARTESIAN_POINT ('', (22., -5.5, 47.5));
#3390 = CARTESIAN_POINT ('', (22., -4.5, 47.5));
#3400 = CARTESIAN_POINT ('', (22., -4.5, 16.));
#3410 = CARTESIAN_POINT ('', (22., -3.50000000000001, 16.));
#3420 = CARTESIAN_POINT ('', (23., -3.50000000000001, 16.));
#3430 = CARTESIAN_POINT ('', (24., -3.50000000000001, 16.));
#3440 = CARTESIAN_POINT ('', (24., -4.5, 16.));
#3450 = CARTESIAN_POINT ('', (24., -5.5, 16.));
#3460 = CARTESIAN_POINT ('', (23., -5.5, 16.));
#3470 = CARTESIAN_POINT ('', (22., -5.5, 16.));
#3480 = CARTESIAN_POINT ('', (22., -4.5, 16.));
#3490 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 2, ((#2680, #2690, #2700, #2710, #2720, #2730, #2740, #2750, #2760), (#2770, #2780, #2790, #2800, #2810, #2820, #2830, #2840, #2850), (#2860, #2870, #2880, #2890, #2900, #2910, #2920, #2930, #2940), (#2950, #2960, #2970, #2980, #2990, #3000, #3010, #3020, #3030), (#3040, #3050, #3060, #3070, #3080, #3090, #3100, #3110, #3120), (#3130, #3140, #3150, #3160, #3170, #3180, #3190, #3200, #3210), (#3220, #3230, #3240, #3250, #3260, #3270, #3280, #3290, #3300), (#3310, #3320, #3330, #3340, #3350, #3360, #3370, #3380, #3390), (#3400, #3410, #3420, #3430, #3440, #3450, #3460, #3470, #3480)), .UNSPECIFIED., .T., .T., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.)))
   REPRESENTATION_ITEM ('')
);
#3500 = ADVANCED_FACE ('', (#2670), #3490, .T.);
#3510 = ORIENTED_EDGE ('', *, *, #290, .F.);
#3520 = CARTESIAN_POINT ('', (20.4241978948788, -4.9, 11.3543621654374));
#3530 = VERTEX_POINT ('', #3520);
#3540 = CARTESIAN_POINT ('', (20.1800502367743, -4.9, 14.8458363413468));
#3550 = CARTESIAN_POINT ('', (20.4241978948788, -4.9, 11.3543621654374));
#3560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3540, #3550), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3570 = EDGE_CURVE ('', #180, #3530, #3560, .T.);
#3580 = ORIENTED_EDGE ('', *, *, #3570, .T.);
#3590 = CARTESIAN_POINT ('', (21.9205439702685, -4.9, 11.4589968760536));
#3600 = VERTEX_POINT ('', #3590);
#3610 = CARTESIAN_POINT ('', (20.4241978948788, -4.9, 11.3543621654374));
#3620 = CARTESIAN_POINT ('', (21.9205439702685, -4.9, 11.4589968760536));
#3630 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3610, #3620), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3640 = EDGE_CURVE ('', #3530, #3600, #3630, .T.);
#3650 = ORIENTED_EDGE ('', *, *, #3640, .T.);
#3660 = CARTESIAN_POINT ('', (22.044710493533, -4.9, 9.68333286659109));
#3670 = VERTEX_POINT ('', #3660);
#3680 = CARTESIAN_POINT ('', (21.9205439702685, -4.9, 11.4589968760536));
#3690 = CARTESIAN_POINT ('', (22.044710493533, -4.9, 9.68333286659109));
#3700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3680, #3690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3710 = EDGE_CURVE ('', #3600, #3670, #3700, .T.);
#3720 = ORIENTED_EDGE ('', *, *, #3710, .T.);
#3730 = CARTESIAN_POINT ('', (22.044710493533, -4.9, 9.68333286659109));
#3740 = CARTESIAN_POINT ('', (22.7154666797702, -4.9, 9.73023670828604));
#3750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3730, #3740), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3760 = EDGE_CURVE ('', #3670, #2070, #3750, .T.);
#3770 = ORIENTED_EDGE ('', *, *, #3760, .T.);
#3780 = ORIENTED_EDGE ('', *, *, #2120, .T.);
#3790 = EDGE_LOOP ('', (#3510, #3580, #3650, #3720, #3770, #3780));
#3800 = FACE_OUTER_BOUND ('', #3790, .T.);
#3810 = CARTESIAN_POINT ('', (20.1790502367743, -4.90000000000001, 9.68233286659109));
#3820 = CARTESIAN_POINT ('', (20.1790502367743, -4.90000000000001, 14.9810954049899));
#3830 = CARTESIAN_POINT ('', (22.7164666797702, -4.90000000000001, 9.68233286659109));
#3840 = CARTESIAN_POINT ('', (22.7164666797702, -4.90000000000001, 14.9810954049899));
#3850 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3810, #3820), (#3830, #3840)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-17.4238795314581, -14.8864630884622), (-2.2918669510951, 3.00689558730369), .UNSPECIFIED.);
#3860 = ADVANCED_FACE ('', (#3800), #3850, .T.);
#3870 = CARTESIAN_POINT ('', (20.4241978948788, -8.00000000000001, 11.3543621654374));
#3880 = VERTEX_POINT ('', #3870);
#3890 = CARTESIAN_POINT ('', (20.1800502367744, -8., 14.8458363413468));
#3900 = CARTESIAN_POINT ('', (20.4241978948788, -8.00000000000001, 11.3543621654374));
#3910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3890, #3900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3920 = EDGE_CURVE ('', #110, #3880, #3910, .T.);
#3930 = ORIENTED_EDGE ('', *, *, #3920, .T.);
#3940 = CARTESIAN_POINT ('', (20.4241978948788, -8.00000000000001, 11.3543621654374));
#3950 = CARTESIAN_POINT ('', (20.4241978948788, -4.9, 11.3543621654374));
#3960 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3940, #3950), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3970 = EDGE_CURVE ('', #3880, #3530, #3960, .T.);
#3980 = ORIENTED_EDGE ('', *, *, #3970, .T.);
#3990 = ORIENTED_EDGE ('', *, *, #3570, .F.);
#4000 = ORIENTED_EDGE ('', *, *, #220, .F.);
#4010 = EDGE_LOOP ('', (#3930, #3980, #3990, #4000));
#4020 = FACE_OUTER_BOUND ('', #4010, .T.);
#4030 = CARTESIAN_POINT ('', (20.1799757842582, -8.001, 14.8469010619316));
#4040 = CARTESIAN_POINT ('', (20.1799757842582, -4.89900000000001, 14.8469010619316));
#4050 = CARTESIAN_POINT ('', (20.4242723473949, -8.00100000000001, 11.3532974448525));
#4060 = CARTESIAN_POINT ('', (20.4242723473949, -4.89900000000001, 11.3532974448525));
#4070 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4030, #4040), (#4050, #4060)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.701067320524, 0.801067320524013), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#4080 = ADVANCED_FACE ('', (#4020), #4070, .T.);
#4090 = CARTESIAN_POINT ('', (44.5, -5.50000000000001, 11.2535596730467));
#4100 = VERTEX_POINT ('', #4090);
#4110 = CARTESIAN_POINT ('', (44.5, -5.50000000000001, -4.));
#4120 = VERTEX_POINT ('', #4110);
#4130 = CARTESIAN_POINT ('', (44.5, -5.50000000000001, 11.2535596730467));
#4140 = CARTESIAN_POINT ('', (44.5, -5.50000000000001, -4.));
#4150 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4130, #4140), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4160 = EDGE_CURVE ('', #4100, #4120, #4150, .T.);
#4170 = ORIENTED_EDGE ('', *, *, #4160, .F.);
#4180 = CARTESIAN_POINT ('', (44.5, -8.00000000000001, 11.2535596730467));
#4190 = VERTEX_POINT ('', #4180);
#4200 = CARTESIAN_POINT ('', (44.5, -5.50000000000001, 11.2535596730467));
#4210 = CARTESIAN_POINT ('', (44.5, -8.00000000000001, 11.2535596730467));
#4220 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4200, #4210), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4230 = EDGE_CURVE ('', #4100, #4190, #4220, .T.);
#4240 = ORIENTED_EDGE ('', *, *, #4230, .T.);
#4250 = CARTESIAN_POINT ('', (44.5, -8.00000000000001, -4.));
#4260 = VERTEX_POINT ('', #4250);
#4270 = CARTESIAN_POINT ('', (44.5, -8.00000000000001, 11.2535596730467));
#4280 = CARTESIAN_POINT ('', (44.5, -8.00000000000001, -4.));
#4290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4270, #4280), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4300 = EDGE_CURVE ('', #4190, #4260, #4290, .T.);
#4310 = ORIENTED_EDGE ('', *, *, #4300, .T.);
#4320 = CARTESIAN_POINT ('', (44.5, -8.00000000000001, -4.));
#4330 = CARTESIAN_POINT ('', (44.5, -5.50000000000001, -4.));
#4340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4320, #4330), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4350 = EDGE_CURVE ('', #4260, #4120, #4340, .T.);
#4360 = ORIENTED_EDGE ('', *, *, #4350, .T.);
#4370 = EDGE_LOOP ('', (#4170, #4240, #4310, #4360));
#4380 = FACE_OUTER_BOUND ('', #4370, .T.);
#4390 = CARTESIAN_POINT ('', (44.5, -8.00100000000001, -4.001));
#4400 = CARTESIAN_POINT ('', (44.5, -8.00100000000001, 11.2545596730467));
#4410 = CARTESIAN_POINT ('', (44.5, -5.49900000000001, -4.001));
#4420 = CARTESIAN_POINT ('', (44.5, -5.49900000000001, 11.2545596730467));
#4430 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4390, #4400), (#4410, #4420)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (13.499, 16.001), (-4.00099999999999, 11.2545596730467), .UNSPECIFIED.);
#4440 = ADVANCED_FACE ('', (#4380), #4430, .T.);
#4450 = ORIENTED_EDGE ('', *, *, #2330, .T.);
#4460 = CARTESIAN_POINT ('', (23.6379045206529, -5.5, 9.79473984571501));
#4470 = CARTESIAN_POINT ('', (44.5, -5.50000000000001, 11.2535596730467));
#4480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4460, #4470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4490 = EDGE_CURVE ('', #2150, #4100, #4480, .T.);
#4500 = ORIENTED_EDGE ('', *, *, #4490, .T.);
#4510 = ORIENTED_EDGE ('', *, *, #4160, .T.);
#4520 = CARTESIAN_POINT ('', (30.4728421206611, -5.5, -4.));
#4530 = CARTESIAN_POINT ('', (44.5, -5.50000000000001, -4.));
#4540 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4520, #4530), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4550 = EDGE_CURVE ('', #2280, #4120, #4540, .T.);
#4560 = ORIENTED_EDGE ('', *, *, #4550, .F.);
#4570 = EDGE_LOOP ('', (#4450, #4500, #4510, #4560));
#4580 = FACE_OUTER_BOUND ('', #4570, .T.);
#4590 = CARTESIAN_POINT ('', (44.501, -5.50000000000001, -4.00100000000004));
#4600 = CARTESIAN_POINT ('', (44.501, -5.50000000000001, 11.2545596730467));
#4610 = CARTESIAN_POINT ('', (23.6369045206529, -5.50000000000001, -4.00100000000004));
#4620 = CARTESIAN_POINT ('', (23.6369045206529, -5.5, 11.2545596730467));
#4630 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4590, #4600), (#4610, #4620)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (8.999, 29.8630954793471), (-20.001, -4.74544032695326), .UNSPECIFIED.);
#4640 = ADVANCED_FACE ('', (#4580), #4630, .T.);
#4650 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -8.00000000000001, -0.20000000000001));
#4660 = VERTEX_POINT ('', #4650);
#4670 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 7.99999999999999, -0.200000000000011));
#4680 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -8.00000000000001, -0.20000000000001));
#4690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4670, #4680), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4700 = EDGE_CURVE ('', #1010, #4660, #4690, .T.);
#4710 = ORIENTED_EDGE ('', *, *, #4700, .T.);
#4720 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -8.00000000000001, -9.30731567351988E-15));
#4730 = VERTEX_POINT ('', #4720);
#4740 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -8.00000000000001, -0.20000000000001));
#4750 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -8.00000000000001, -9.30785947265806E-15));
#4760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4740, #4750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4770 = EDGE_CURVE ('', #4660, #4730, #4760, .T.);
#4780 = ORIENTED_EDGE ('', *, *, #4770, .T.);
#4790 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -8.00000000000001, -9.30731567351988E-15));
#4800 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 7.99999999999999, -4.89858719658941E-16));
#4810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4790, #4800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4820 = EDGE_CURVE ('', #4730, #1080, #4810, .T.);
#4830 = ORIENTED_EDGE ('', *, *, #4820, .T.);
#4840 = ORIENTED_EDGE ('', *, *, #1120, .F.);
#4850 = EDGE_LOOP ('', (#4710, #4780, #4830, #4840));
#4860 = FACE_OUTER_BOUND ('', #4850, .T.);
#4870 = CARTESIAN_POINT ('', (-2.8421709430404E-14, 8.00099999999999, -0.201000000000011));
#4880 = CARTESIAN_POINT ('', (-2.8421709430404E-14, 8.00099999999999, 0.00099999999999951));
#4890 = CARTESIAN_POINT ('', (-2.8421709430404E-14, -8.00100000000001, -0.20100000000001));
#4900 = CARTESIAN_POINT ('', (-2.8421709430404E-14, -8.00100000000001, 0.00100000000000049));
#4910 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4870, #4880), (#4890, #4900)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-60.6804136040302, -44.6784136040302), (-0.20100000000001, 0.001), .UNSPECIFIED.);
#4920 = ADVANCED_FACE ('', (#4860), #4910, .T.);
#4930 = ORIENTED_EDGE ('', *, *, #4820, .F.);
#4940 = CARTESIAN_POINT ('', (-80., -8., 4.89858719658941E-16));
#4950 = VERTEX_POINT ('', #4940);
#4960 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -8.00000000000001, -9.30731567351988E-15));
#4970 = CARTESIAN_POINT ('', (-80., -8., 4.89858719658941E-16));
#4980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4960, #4970), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4990 = EDGE_CURVE ('', #4730, #4950, #4980, .T.);
#5000 = ORIENTED_EDGE ('', *, *, #4990, .T.);
#5010 = CARTESIAN_POINT ('', (-80., 8., -4.89858719658941E-16));
#5020 = CARTESIAN_POINT ('', (-80., -8., 4.89858719658941E-16));
#5030 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5010, #5020), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5040 = EDGE_CURVE ('', #1150, #4950, #5030, .T.);
#5050 = ORIENTED_EDGE ('', *, *, #5040, .F.);
#5060 = ORIENTED_EDGE ('', *, *, #1190, .F.);
#5070 = EDGE_LOOP ('', (#4930, #5000, #5050, #5060));
#5080 = FACE_OUTER_BOUND ('', #5070, .T.);
#5090 = CARTESIAN_POINT ('', (0.000999999999990564, -8.00100000000001, -9.30737690585984E-15));
#5100 = CARTESIAN_POINT ('', (0.000999999999990564, 8.001, -1.02872168098576E-14));
#5110 = CARTESIAN_POINT ('', (-80.001, -8.001, 4.90042416678813E-16));
#5120 = CARTESIAN_POINT ('', (-80.001, 8.001, -4.89797487318984E-16));
#5130 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5090, #5100), (#5110, #5120)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000477, 80.001), (-16.001, 0.00100000000000122), .UNSPECIFIED.);
#5140 = ADVANCED_FACE ('', (#5080), #5130, .T.);
#5150 = CARTESIAN_POINT ('', (-80., -8., 16.));
#5160 = VERTEX_POINT ('', #5150);
#5170 = CARTESIAN_POINT ('', (-80., -8., 4.89858719658941E-16));
#5180 = CARTESIAN_POINT ('', (-80., -8., 16.));
#5190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5170, #5180), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5200 = EDGE_CURVE ('', #4950, #5160, #5190, .T.);
#5210 = ORIENTED_EDGE ('', *, *, #5200, .T.);
#5220 = CARTESIAN_POINT ('', (-80., 8., 16.));
#5230 = CARTESIAN_POINT ('', (-80., -8., 16.));
#5240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5220, #5230), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5250 = EDGE_CURVE ('', #1220, #5160, #5240, .T.);
#5260 = ORIENTED_EDGE ('', *, *, #5250, .F.);
#5270 = ORIENTED_EDGE ('', *, *, #1260, .F.);
#5280 = ORIENTED_EDGE ('', *, *, #5040, .T.);
#5290 = EDGE_LOOP ('', (#5210, #5260, #5270, #5280));
#5300 = FACE_OUTER_BOUND ('', #5290, .T.);
#5310 = CARTESIAN_POINT ('', (-80., 8.001, -0.00100000000000049));
#5320 = CARTESIAN_POINT ('', (-80., 8.001, 16.001));
#5330 = CARTESIAN_POINT ('', (-80., -8.001, -0.00099999999999951));
#5340 = CARTESIAN_POINT ('', (-80., -8.001, 16.001));
#5350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5310, #5320), (#5330, #5340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-16.001, 0.00100000000000122), (-0.001, 16.001), .UNSPECIFIED.);
#5360 = ADVANCED_FACE ('', (#5300), #5350, .T.);
#5370 = CARTESIAN_POINT ('', (0.999999999999986, -8., 16.));
#5380 = VERTEX_POINT ('', #5370);
#5390 = CARTESIAN_POINT ('', (-80., -8., 16.));
#5400 = CARTESIAN_POINT ('', (0.999999999999986, -8., 16.));
#5410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5390, #5400), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5420 = EDGE_CURVE ('', #5160, #5380, #5410, .T.);
#5430 = ORIENTED_EDGE ('', *, *, #5420, .T.);
#5440 = CARTESIAN_POINT ('', (0.999999999999986, -8., 16.));
#5450 = CARTESIAN_POINT ('', (0.999999999999986, 8., 16.));
#5460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5440, #5450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5470 = EDGE_CURVE ('', #5380, #1290, #5460, .T.);
#5480 = ORIENTED_EDGE ('', *, *, #5470, .T.);
#5490 = ORIENTED_EDGE ('', *, *, #1330, .F.);
#5500 = ORIENTED_EDGE ('', *, *, #5250, .T.);
#5510 = EDGE_LOOP ('', (#5430, #5480, #5490, #5500));
#5520 = FACE_OUTER_BOUND ('', #5510, .T.);
#5530 = CARTESIAN_POINT ('', (-80.001, -8.001, 16.));
#5540 = CARTESIAN_POINT ('', (-80.001, 8.001, 16.));
#5550 = CARTESIAN_POINT ('', (1.00099999999998, -8.001, 16.));
#5560 = CARTESIAN_POINT ('', (1.00099999999998, 8.001, 16.));
#5570 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5530, #5540), (#5550, #5560)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-81.001, 0.001), (-16.001, 0.00100000000000122), .UNSPECIFIED.);
#5580 = ADVANCED_FACE ('', (#5520), #5570, .T.);
#5590 = ORIENTED_EDGE ('', *, *, #1480, .F.);
#5600 = CARTESIAN_POINT ('', (1.99999999999999, -8., 17.));
#5610 = VERTEX_POINT ('', #5600);
#5620 = CARTESIAN_POINT ('', (1.99999999999999, 8., 17.));
#5630 = CARTESIAN_POINT ('', (1.99999999999999, -8., 17.));
#5640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5620, #5630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5650 = EDGE_CURVE ('', #1360, #5610, #5640, .T.);
#5660 = ORIENTED_EDGE ('', *, *, #5650, .T.);
#5670 = CARTESIAN_POINT ('', (1.99999999999999, -8., 24.));
#5680 = VERTEX_POINT ('', #5670);
#5690 = CARTESIAN_POINT ('', (1.99999999999999, -8., 17.));
#5700 = CARTESIAN_POINT ('', (1.99999999999999, -8., 24.));
#5710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5690, #5700), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5720 = EDGE_CURVE ('', #5610, #5680, #5710, .T.);
#5730 = ORIENTED_EDGE ('', *, *, #5720, .T.);
#5740 = CARTESIAN_POINT ('', (1.99999999999999, 8., 24.));
#5750 = CARTESIAN_POINT ('', (1.99999999999999, -8., 24.));
#5760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5740, #5750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5770 = EDGE_CURVE ('', #1440, #5680, #5760, .T.);
#5780 = ORIENTED_EDGE ('', *, *, #5770, .F.);
#5790 = EDGE_LOOP ('', (#5590, #5660, #5730, #5780));
#5800 = FACE_OUTER_BOUND ('', #5790, .T.);
#5810 = CARTESIAN_POINT ('', (1.99999999999999, 8.001, 16.999));
#5820 = CARTESIAN_POINT ('', (1.99999999999999, 8.001, 24.001));
#5830 = CARTESIAN_POINT ('', (1.99999999999999, -8.001, 16.999));
#5840 = CARTESIAN_POINT ('', (1.99999999999999, -8.001, 24.001));
#5850 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5810, #5820), (#5830, #5840)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-16.001, 0.00100000000000122), (0.998999999999999, 8.00100000000001), .UNSPECIFIED.);
#5860 = ADVANCED_FACE ('', (#5800), #5850, .T.);
#5870 = CARTESIAN_POINT ('', (27.5102801679206, -8.00000000000001, 24.));
#5880 = VERTEX_POINT ('', #5870);
#5890 = CARTESIAN_POINT ('', (1.99999999999999, -8., 24.));
#5900 = CARTESIAN_POINT ('', (27.5102801679206, -8.00000000000001, 24.));
#5910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5890, #5900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5920 = EDGE_CURVE ('', #5680, #5880, #5910, .T.);
#5930 = ORIENTED_EDGE ('', *, *, #5920, .T.);
#5940 = CARTESIAN_POINT ('', (27.5102801679206, -5.5, 24.));
#5950 = VERTEX_POINT ('', #5940);
#5960 = CARTESIAN_POINT ('', (27.5102801679206, -5.5, 24.));
#5970 = CARTESIAN_POINT ('', (27.5102801679206, -8.00000000000001, 24.));
#5980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5960, #5970), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5990 = EDGE_CURVE ('', #5950, #5880, #5980, .T.);
#6000 = ORIENTED_EDGE ('', *, *, #5990, .F.);
#6010 = CARTESIAN_POINT ('', (23., -5.5, 24.));
#6020 = VERTEX_POINT ('', #6010);
#6030 = CARTESIAN_POINT ('', (23., -5.5, 24.));
#6040 = CARTESIAN_POINT ('', (27.5102801679206, -5.5, 24.));
#6050 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6030, #6040), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6060 = EDGE_CURVE ('', #6020, #5950, #6050, .T.);
#6070 = ORIENTED_EDGE ('', *, *, #6060, .F.);
#6080 = CARTESIAN_POINT ('', (22., -4.5, 24.));
#6090 = VERTEX_POINT ('', #6080);
#6100 = CARTESIAN_POINT ('', (23., -5.50000000000001, 24.));
#6110 = CARTESIAN_POINT ('', (22., -5.50000000000001, 24.));
#6120 = CARTESIAN_POINT ('', (22., -4.5, 24.));
#6130 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6100, #6110, #6120), .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 ('')
);
#6140 = EDGE_CURVE ('', #6020, #6090, #6130, .T.);
#6150 = ORIENTED_EDGE ('', *, *, #6140, .T.);
#6160 = CARTESIAN_POINT ('', (22., -4.5, 24.));
#6170 = CARTESIAN_POINT ('', (22., 7.99999999999999, 24.));
#6180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6160, #6170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6190 = EDGE_CURVE ('', #6090, #580, #6180, .T.);
#6200 = ORIENTED_EDGE ('', *, *, #6190, .T.);
#6210 = ORIENTED_EDGE ('', *, *, #1530, .F.);
#6220 = ORIENTED_EDGE ('', *, *, #5770, .T.);
#6230 = EDGE_LOOP ('', (#5930, #6000, #6070, #6150, #6200, #6210, #6220));
#6240 = FACE_OUTER_BOUND ('', #6230, .T.);
#6250 = CARTESIAN_POINT ('', (1.99899999999998, -8.001, 24.));
#6260 = CARTESIAN_POINT ('', (1.99899999999998, 8.001, 24.));
#6270 = CARTESIAN_POINT ('', (27.5112801679206, -8.00100000000001, 24.));
#6280 = CARTESIAN_POINT ('', (27.5112801679206, 8.001, 24.));
#6290 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6250, #6260), (#6270, #6280)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-25.5112801679206, 0.00100000000000477), (-16.001, 0.00100000000000122), .UNSPECIFIED.);
#6300 = ADVANCED_FACE ('', (#6240), #6290, .T.);
#6310 = CARTESIAN_POINT ('', (22.044710493533, -8.00000000000001, 9.68333286659109));
#6320 = VERTEX_POINT ('', #6310);
#6330 = CARTESIAN_POINT ('', (44.5, -8.00000000000001, 11.2535596730467));
#6340 = CARTESIAN_POINT ('', (22.044710493533, -8.00000000000001, 9.68333286659109));
#6350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6330, #6340), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6360 = EDGE_CURVE ('', #4190, #6320, #6350, .T.);
#6370 = ORIENTED_EDGE ('', *, *, #6360, .T.);
#6380 = CARTESIAN_POINT ('', (21.9205439702685, -8.00000000000001, 11.4589968760536));
#6390 = VERTEX_POINT ('', #6380);
#6400 = CARTESIAN_POINT ('', (21.9205439702685, -8.00000000000001, 11.4589968760536));
#6410 = CARTESIAN_POINT ('', (22.044710493533, -8.00000000000001, 9.68333286659109));
#6420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6400, #6410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6430 = EDGE_CURVE ('', #6390, #6320, #6420, .T.);
#6440 = ORIENTED_EDGE ('', *, *, #6430, .F.);
#6450 = CARTESIAN_POINT ('', (20.4241978948788, -8.00000000000001, 11.3543621654374));
#6460 = CARTESIAN_POINT ('', (21.9205439702685, -8.00000000000001, 11.4589968760536));
#6470 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6450, #6460), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6480 = EDGE_CURVE ('', #3880, #6390, #6470, .T.);
#6490 = ORIENTED_EDGE ('', *, *, #6480, .F.);
#6500 = ORIENTED_EDGE ('', *, *, #3920, .F.);
#6510 = ORIENTED_EDGE ('', *, *, #150, .F.);
#6520 = CARTESIAN_POINT ('', (36.15, -8.00000000000001, 19.011855429226));
#6530 = VERTEX_POINT ('', #6520);
#6540 = CARTESIAN_POINT ('', (36.15, -8.00000000000001, 19.011855429226));
#6550 = CARTESIAN_POINT ('', (39., -8.00000000000001, 16.161855429226));
#6560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6540, #6550), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6570 = EDGE_CURVE ('', #6530, #20, #6560, .T.);
#6580 = ORIENTED_EDGE ('', *, *, #6570, .F.);
#6590 = CARTESIAN_POINT ('', (27.5102801679206, -8.00000000000001, 24.));
#6600 = CARTESIAN_POINT ('', (36.15, -8.00000000000001, 19.011855429226));
#6610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6590, #6600), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6620 = EDGE_CURVE ('', #5880, #6530, #6610, .T.);
#6630 = ORIENTED_EDGE ('', *, *, #6620, .F.);
#6640 = ORIENTED_EDGE ('', *, *, #5920, .F.);
#6650 = ORIENTED_EDGE ('', *, *, #5720, .F.);
#6660 = CARTESIAN_POINT ('', (1.99999999999999, -8., 17.));
#6670 = CARTESIAN_POINT ('', (1.99999999999999, -8., 16.));
#6680 = CARTESIAN_POINT ('', (0.999999999999986, -8., 16.));
#6690 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6660, #6670, #6680), .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 ('')
);
#6700 = EDGE_CURVE ('', #5610, #5380, #6690, .T.);
#6710 = ORIENTED_EDGE ('', *, *, #6700, .T.);
#6720 = ORIENTED_EDGE ('', *, *, #5420, .F.);
#6730 = ORIENTED_EDGE ('', *, *, #5200, .F.);
#6740 = ORIENTED_EDGE ('', *, *, #4990, .F.);
#6750 = ORIENTED_EDGE ('', *, *, #4770, .F.);
#6760 = CARTESIAN_POINT ('', (0.199999999999989, -8.00000000000001, -0.20000000000001));
#6770 = VERTEX_POINT ('', #6760);
#6780 = CARTESIAN_POINT ('', (0.199999999999989, -8.00000000000001, -0.20000000000001));
#6790 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -8.00000000000001, -0.20000000000001));
#6800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6780, #6790), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6810 = EDGE_CURVE ('', #6770, #4660, #6800, .T.);
#6820 = ORIENTED_EDGE ('', *, *, #6810, .F.);
#6830 = CARTESIAN_POINT ('', (0.199999999999989, -8.00000000000001, -3.2));
#6840 = VERTEX_POINT ('', #6830);
#6850 = CARTESIAN_POINT ('', (0.199999999999989, -8.00000000000001, -3.2));
#6860 = CARTESIAN_POINT ('', (0.199999999999989, -8.00000000000001, -0.20000000000001));
#6870 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6850, #6860), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6880 = EDGE_CURVE ('', #6840, #6770, #6870, .T.);
#6890 = ORIENTED_EDGE ('', *, *, #6880, .F.);
#6900 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -8.00000000000001, -3.2));
#6910 = VERTEX_POINT ('', #6900);
#6920 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -8.00000000000001, -3.2));
#6930 = CARTESIAN_POINT ('', (0.199999999999989, -8.00000000000001, -3.2));
#6940 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6920, #6930), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6950 = EDGE_CURVE ('', #6910, #6840, #6940, .T.);
#6960 = ORIENTED_EDGE ('', *, *, #6950, .F.);
#6970 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -8.00000000000001, -4.));
#6980 = VERTEX_POINT ('', #6970);
#6990 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -8.00000000000001, -4.));
#7000 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -8.00000000000001, -3.2));
#7010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6990, #7000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7020 = EDGE_CURVE ('', #6980, #6910, #7010, .T.);
#7030 = ORIENTED_EDGE ('', *, *, #7020, .F.);
#7040 = CARTESIAN_POINT ('', (44.5, -8.00000000000001, -4.));
#7050 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -8.00000000000001, -4.));
#7060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7040, #7050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7070 = EDGE_CURVE ('', #4260, #6980, #7060, .T.);
#7080 = ORIENTED_EDGE ('', *, *, #7070, .F.);
#7090 = ORIENTED_EDGE ('', *, *, #4300, .F.);
#7100 = EDGE_LOOP ('', (#6370, #6440, #6490, #6500, #6510, #6580, #6630, #6640, #6650, #6710, #6720, #6730, #6740, #6750, #6820, #6890, #6960, #7030, #7080, #7090));
#7110 = FACE_OUTER_BOUND ('', #7100, .T.);
#7120 = CARTESIAN_POINT ('', (-80.001, -8., -4.001));
#7130 = CARTESIAN_POINT ('', (-80.001, -8., 24.001));
#7140 = CARTESIAN_POINT ('', (44.501, -8.00000000000001, -4.001));
#7150 = CARTESIAN_POINT ('', (44.501, -8.00000000000001, 24.001));
#7160 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7120, #7130), (#7140, #7150)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-124.501, 0.00100000000000477), (-4.00099999999999, 24.001), .UNSPECIFIED.);
#7170 = ADVANCED_FACE ('', (#7110), #7160, .T.);
#7180 = ORIENTED_EDGE ('', *, *, #1760, .F.);
#7190 = ORIENTED_EDGE ('', *, *, #2480, .T.);
#7200 = ORIENTED_EDGE ('', *, *, #4550, .T.);
#7210 = ORIENTED_EDGE ('', *, *, #4350, .F.);
#7220 = ORIENTED_EDGE ('', *, *, #7070, .T.);
#7230 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -8.00000000000001, -4.));
#7240 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 7.99999999999999, -4.));
#7250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7230, #7240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7260 = EDGE_CURVE ('', #6980, #730, #7250, .T.);
#7270 = ORIENTED_EDGE ('', *, *, #7260, .T.);
#7280 = ORIENTED_EDGE ('', *, *, #770, .F.);
#7290 = EDGE_LOOP ('', (#7180, #7190, #7200, #7210, #7220, #7270, #7280));
#7300 = FACE_OUTER_BOUND ('', #7290, .T.);
#7310 = CARTESIAN_POINT ('', (44.501, -8.001, -4.));
#7320 = CARTESIAN_POINT ('', (44.501, 8.001, -4.));
#7330 = CARTESIAN_POINT ('', (-0.00100000000001899, -8.001, -4.));
#7340 = CARTESIAN_POINT ('', (-0.00100000000001899, 8.001, -4.));
#7350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7310, #7320), (#7330, #7340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000477, 44.501), (44.6784136040302, 60.6804136040302), .UNSPECIFIED.);
#7360 = ADVANCED_FACE ('', (#7300), #7350, .T.);
#7370 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 7.99999999999999, -3.2));
#7380 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -8.00000000000001, -3.2));
#7390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7370, #7380), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7400 = EDGE_CURVE ('', #800, #6910, #7390, .T.);
#7410 = ORIENTED_EDGE ('', *, *, #7400, .F.);
#7420 = ORIENTED_EDGE ('', *, *, #840, .F.);
#7430 = ORIENTED_EDGE ('', *, *, #7260, .F.);
#7440 = ORIENTED_EDGE ('', *, *, #7020, .T.);
#7450 = EDGE_LOOP ('', (#7410, #7420, #7430, #7440));
#7460 = FACE_OUTER_BOUND ('', #7450, .T.);
#7470 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8.001, -4.001));
#7480 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8.001, -3.199));
#7490 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -8.001, -4.001));
#7500 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -8.001, -3.199));
#7510 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7470, #7480), (#7490, #7500)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-60.6804136040302, -44.6784136040302), (-4.001, -3.199), .UNSPECIFIED.);
#7520 = ADVANCED_FACE ('', (#7460), #7510, .T.);
#7530 = ORIENTED_EDGE ('', *, *, #1050, .T.);
#7540 = CARTESIAN_POINT ('', (0.199999999999989, 7.99999999999999, -0.200000000000011));
#7550 = CARTESIAN_POINT ('', (0.199999999999989, -8.00000000000001, -0.20000000000001));
#7560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7540, #7550), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7570 = EDGE_CURVE ('', #940, #6770, #7560, .T.);
#7580 = ORIENTED_EDGE ('', *, *, #7570, .T.);
#7590 = ORIENTED_EDGE ('', *, *, #6810, .T.);
#7600 = ORIENTED_EDGE ('', *, *, #4700, .F.);
#7610 = EDGE_LOOP ('', (#7530, #7580, #7590, #7600));
#7620 = FACE_OUTER_BOUND ('', #7610, .T.);
#7630 = CARTESIAN_POINT ('', (0.200999999999993, -8.00100000000001, -0.20000000000001));
#7640 = CARTESIAN_POINT ('', (0.200999999999993, 8.001, -0.200000000000011));
#7650 = CARTESIAN_POINT ('', (-0.00100000000001899, -8.00100000000001, -0.20000000000001));
#7660 = CARTESIAN_POINT ('', (-0.00100000000001899, 8.001, -0.200000000000011));
#7670 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7630, #7640), (#7650, #7660)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000477, 0.201000000000008), (-19.0076592756746, -3.00565927567457), .UNSPECIFIED.);
#7680 = ADVANCED_FACE ('', (#7620), #7670, .T.);
#7690 = ORIENTED_EDGE ('', *, *, #980, .T.);
#7700 = CARTESIAN_POINT ('', (0.199999999999989, 7.99999999999999, -3.2));
#7710 = CARTESIAN_POINT ('', (0.199999999999989, -8.00000000000001, -3.2));
#7720 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7700, #7710), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7730 = EDGE_CURVE ('', #870, #6840, #7720, .T.);
#7740 = ORIENTED_EDGE ('', *, *, #7730, .T.);
#7750 = ORIENTED_EDGE ('', *, *, #6880, .T.);
#7760 = ORIENTED_EDGE ('', *, *, #7570, .F.);
#7770 = EDGE_LOOP ('', (#7690, #7740, #7750, #7760));
#7780 = FACE_OUTER_BOUND ('', #7770, .T.);
#7790 = CARTESIAN_POINT ('', (0.199999999999989, 8.001, -3.201));
#7800 = CARTESIAN_POINT ('', (0.199999999999989, 8.001, -0.199000000000011));
#7810 = CARTESIAN_POINT ('', (0.199999999999989, -8.00100000000001, -3.201));
#7820 = CARTESIAN_POINT ('', (0.199999999999989, -8.00100000000001, -0.19900000000001));
#7830 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7790, #7800), (#7810, #7820)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-19.0076592756746, -3.00565927567457), (-3.00099999999999, 0.001), .UNSPECIFIED.);
#7840 = ADVANCED_FACE ('', (#7780), #7830, .T.);
#7850 = ORIENTED_EDGE ('', *, *, #910, .T.);
#7860 = ORIENTED_EDGE ('', *, *, #7400, .T.);
#7870 = ORIENTED_EDGE ('', *, *, #6950, .T.);
#7880 = ORIENTED_EDGE ('', *, *, #7730, .F.);
#7890 = EDGE_LOOP ('', (#7850, #7860, #7870, #7880));
#7900 = FACE_OUTER_BOUND ('', #7890, .T.);
#7910 = CARTESIAN_POINT ('', (-0.00100000000001899, -8.00100000000001, -3.2));
#7920 = CARTESIAN_POINT ('', (-0.00100000000001899, 8.001, -3.2));
#7930 = CARTESIAN_POINT ('', (0.200999999999993, -8.00100000000001, -3.2));
#7940 = CARTESIAN_POINT ('', (0.200999999999993, 8.001, -3.2));
#7950 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7910, #7920), (#7930, #7940)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.201000000000008, 0.00100000000000477), (-19.0076592756746, -3.00565927567457), .UNSPECIFIED.);
#7960 = ADVANCED_FACE ('', (#7900), #7950, .T.);
#7970 = CARTESIAN_POINT ('', (36.15, -5.50000000000001, 19.011855429226));
#7980 = VERTEX_POINT ('', #7970);
#7990 = CARTESIAN_POINT ('', (39., -5.50000000000001, 16.161855429226));
#8000 = CARTESIAN_POINT ('', (36.15, -5.50000000000001, 19.011855429226));
#8010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7990, #8000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8020 = EDGE_CURVE ('', #40, #7980, #8010, .T.);
#8030 = ORIENTED_EDGE ('', *, *, #8020, .F.);
#8040 = ORIENTED_EDGE ('', *, *, #450, .T.);
#8050 = ORIENTED_EDGE ('', *, *, #2630, .T.);
#8060 = CARTESIAN_POINT ('', (23., -5.5, 16.));
#8070 = CARTESIAN_POINT ('', (23., -5.5, 24.));
#8080 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8060, #8070), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8090 = EDGE_CURVE ('', #2520, #6020, #8080, .T.);
#8100 = ORIENTED_EDGE ('', *, *, #8090, .T.);
#8110 = ORIENTED_EDGE ('', *, *, #6060, .T.);
#8120 = CARTESIAN_POINT ('', (36.15, -5.50000000000001, 19.011855429226));
#8130 = CARTESIAN_POINT ('', (27.5102801679206, -5.5, 24.));
#8140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8120, #8130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8150 = EDGE_CURVE ('', #7980, #5950, #8140, .T.);
#8160 = ORIENTED_EDGE ('', *, *, #8150, .F.);
#8170 = EDGE_LOOP ('', (#8030, #8040, #8050, #8100, #8110, #8160));
#8180 = FACE_OUTER_BOUND ('', #8170, .T.);
#8190 = CARTESIAN_POINT ('', (39.001, -5.50000000000001, 15.0430742153167));
#8200 = CARTESIAN_POINT ('', (39.001, -5.50000000000001, 24.001));
#8210 = CARTESIAN_POINT ('', (22.999, -5.5, 15.0430742153167));
#8220 = CARTESIAN_POINT ('', (22.999, -5.5, 24.001));
#8230 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8190, #8200), (#8210, #8220)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (14.499, 30.501), (-0.956925784683238, 8.00100000000002), .UNSPECIFIED.);
#8240 = ADVANCED_FACE ('', (#8180), #8230, .T.);
#8250 = ORIENTED_EDGE ('', *, *, #6190, .F.);
#8260 = CARTESIAN_POINT ('', (22., -4.5, 24.));
#8270 = CARTESIAN_POINT ('', (22., -4.5, 16.));
#8280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8260, #8270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8290 = EDGE_CURVE ('', #6090, #1640, #8280, .T.);
#8300 = ORIENTED_EDGE ('', *, *, #8290, .T.);
#8310 = ORIENTED_EDGE ('', *, *, #1820, .T.);
#8320 = ORIENTED_EDGE ('', *, *, #620, .T.);
#8330 = EDGE_LOOP ('', (#8250, #8300, #8310, #8320));
#8340 = FACE_OUTER_BOUND ('', #8330, .T.);
#8350 = CARTESIAN_POINT ('', (22., -4.50100000000001, 15.999));
#8360 = CARTESIAN_POINT ('', (22., -4.50100000000001, 24.001));
#8370 = CARTESIAN_POINT ('', (22., 8.001, 15.999));
#8380 = CARTESIAN_POINT ('', (22., 8.001, 24.001));
#8390 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8350, #8360), (#8370, #8380)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-13.501, -0.999), (-8.00100000000001, 0.00100000000000122), .UNSPECIFIED.);
#8400 = ADVANCED_FACE ('', (#8340), #8390, .T.);
#8410 = ORIENTED_EDGE ('', *, *, #2570, .T.);
#8420 = ORIENTED_EDGE ('', *, *, #8290, .F.);
#8430 = ORIENTED_EDGE ('', *, *, #6140, .F.);
#8440 = ORIENTED_EDGE ('', *, *, #8090, .F.);
#8450 = EDGE_LOOP ('', (#8410, #8420, #8430, #8440));
#8460 = FACE_OUTER_BOUND ('', #8450, .T.);
#8470 = CARTESIAN_POINT ('', (24., -4.5, 15.1988));
#8480 = CARTESIAN_POINT ('', (24., -4.5, 24.8012));
#8490 = CARTESIAN_POINT ('', (24., -5.5, 15.1988));
#8500 = CARTESIAN_POINT ('', (24., -5.5, 24.8012));
#8510 = CARTESIAN_POINT ('', (23., -5.50000000000002, 15.1988));
#8520 = CARTESIAN_POINT ('', (23., -5.50000000000001, 24.8012));
#8530 = CARTESIAN_POINT ('', (22., -5.50000000000003, 15.1988));
#8540 = CARTESIAN_POINT ('', (22., -5.50000000000002, 24.8012));
#8550 = CARTESIAN_POINT ('', (22., -4.50000000000003, 15.1988));
#8560 = CARTESIAN_POINT ('', (22., -4.50000000000002, 24.8012));
#8570 = CARTESIAN_POINT ('', (22., -3.50000000000003, 15.1988));
#8580 = CARTESIAN_POINT ('', (22., -3.50000000000003, 24.8012));
#8590 = CARTESIAN_POINT ('', (23., -3.50000000000002, 15.1988));
#8600 = CARTESIAN_POINT ('', (23., -3.50000000000001, 24.8012));
#8610 = CARTESIAN_POINT ('', (24., -3.5, 15.1988));
#8620 = CARTESIAN_POINT ('', (24., -3.5, 24.8012));
#8630 = CARTESIAN_POINT ('', (24., -4.5, 15.1988));
#8640 = CARTESIAN_POINT ('', (24., -4.5, 24.8012));
#8650 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8470, #8480), (#8490, #8500), (#8510, #8520), (#8530, #8540), (#8550, #8560), (#8570, #8580), (#8590, #8600), (#8610, #8620), (#8630, #8640)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.749999999999999, 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 ('')
);
#8660 = ADVANCED_FACE ('', (#8460), #8650, .T.);
#8670 = ORIENTED_EDGE ('', *, *, #6360, .F.);
#8680 = ORIENTED_EDGE ('', *, *, #4230, .F.);
#8690 = ORIENTED_EDGE ('', *, *, #4490, .F.);
#8700 = ORIENTED_EDGE ('', *, *, #2250, .T.);
#8710 = ORIENTED_EDGE ('', *, *, #3760, .F.);
#8720 = CARTESIAN_POINT ('', (22.044710493533, -8.00000000000001, 9.68333286659109));
#8730 = CARTESIAN_POINT ('', (22.044710493533, -4.9, 9.68333286659109));
#8740 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8720, #8730), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8750 = EDGE_CURVE ('', #6320, #3670, #8740, .T.);
#8760 = ORIENTED_EDGE ('', *, *, #8750, .F.);
#8770 = EDGE_LOOP ('', (#8670, #8680, #8690, #8700, #8710, #8760));
#8780 = FACE_OUTER_BOUND ('', #8770, .T.);
#8790 = CARTESIAN_POINT ('', (22.0436457729482, -8.00100000000001, 9.68325841407498));
#8800 = CARTESIAN_POINT ('', (22.0436457729482, -4.89900000000001, 9.68325841407498));
#8810 = CARTESIAN_POINT ('', (44.5010647205849, -8.00100000000001, 11.2536341255628));
#8820 = CARTESIAN_POINT ('', (44.5010647205849, -4.89900000000001, 11.2536341255628));
#8830 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8790, #8800), (#8810, #8820)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052401526, 22.5111903553489), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#8840 = ADVANCED_FACE ('', (#8780), #8830, .T.);
#8850 = ORIENTED_EDGE ('', *, *, #6430, .T.);
#8860 = ORIENTED_EDGE ('', *, *, #8750, .T.);
#8870 = ORIENTED_EDGE ('', *, *, #3710, .F.);
#8880 = CARTESIAN_POINT ('', (21.9205439702685, -4.9, 11.4589968760536));
#8890 = CARTESIAN_POINT ('', (21.9205439702685, -8.00000000000001, 11.4589968760536));
#8900 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8880, #8890), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8910 = EDGE_CURVE ('', #3600, #6390, #8900, .T.);
#8920 = ORIENTED_EDGE ('', *, *, #8910, .T.);
#8930 = EDGE_LOOP ('', (#8850, #8860, #8870, #8920));
#8940 = FACE_OUTER_BOUND ('', #8930, .T.);
#8950 = CARTESIAN_POINT ('', (21.9204695177524, -8.00100000000001, 11.4600615966384));
#8960 = CARTESIAN_POINT ('', (21.9204695177524, -4.89900000000001, 11.4600615966384));
#8970 = CARTESIAN_POINT ('', (22.0447849460491, -8.00100000000001, 9.68226814600624));
#8980 = CARTESIAN_POINT ('', (22.0447849460491, -4.89900000000001, 9.68226814600624));
#8990 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8950, #8960), (#8970, #8980)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.448932679476, 2.23106732052399), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#9000 = ADVANCED_FACE ('', (#8940), #8990, .T.);
#9010 = ORIENTED_EDGE ('', *, *, #6480, .T.);
#9020 = ORIENTED_EDGE ('', *, *, #8910, .F.);
#9030 = ORIENTED_EDGE ('', *, *, #3640, .F.);
#9040 = ORIENTED_EDGE ('', *, *, #3970, .F.);
#9050 = EDGE_LOOP ('', (#9010, #9020, #9030, #9040));
#9060 = FACE_OUTER_BOUND ('', #9050, .T.);
#9070 = CARTESIAN_POINT ('', (20.4231331742939, -8.00100000000001, 11.3542877129213));
#9080 = CARTESIAN_POINT ('', (20.4231331742939, -4.89900000000001, 11.3542877129213));
#9090 = CARTESIAN_POINT ('', (21.9216086908534, -8.00100000000001, 11.4590713285697));
#9100 = CARTESIAN_POINT ('', (21.9216086908534, -4.89900000000001, 11.4590713285697));
#9110 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9070, #9080), (#9090, #9100)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.201067320524004, 1.30106732052403), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#9120 = ADVANCED_FACE ('', (#9060), #9110, .T.);
#9130 = ORIENTED_EDGE ('', *, *, #1410, .F.);
#9140 = ORIENTED_EDGE ('', *, *, #5470, .F.);
#9150 = ORIENTED_EDGE ('', *, *, #6700, .F.);
#9160 = ORIENTED_EDGE ('', *, *, #5650, .F.);
#9170 = EDGE_LOOP ('', (#9130, #9140, #9150, #9160));
#9180 = FACE_OUTER_BOUND ('', #9170, .T.);
#9190 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -9.60120000000001, 17.));
#9200 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 9.6012, 17.));
#9210 = CARTESIAN_POINT ('', (-2.8421709430404E-14, -9.60120000000001, 16.));
#9220 = CARTESIAN_POINT ('', (-2.8421709430404E-14, 9.6012, 16.));
#9230 = CARTESIAN_POINT ('', (0.999999999999972, -9.60120000000001, 16.));
#9240 = CARTESIAN_POINT ('', (0.999999999999972, 9.6012, 16.));
#9250 = CARTESIAN_POINT ('', (1.99999999999997, -9.60120000000001, 16.));
#9260 = CARTESIAN_POINT ('', (1.99999999999997, 9.6012, 16.));
#9270 = CARTESIAN_POINT ('', (1.99999999999999, -9.60120000000001, 17.));
#9280 = CARTESIAN_POINT ('', (1.99999999999999, 9.6012, 17.));
#9290 = CARTESIAN_POINT ('', (2., -9.60120000000001, 18.));
#9300 = CARTESIAN_POINT ('', (2., 9.6012, 18.));
#9310 = CARTESIAN_POINT ('', (1., -9.60120000000001, 18.));
#9320 = CARTESIAN_POINT ('', (1., 9.6012, 18.));
#9330 = CARTESIAN_POINT ('', (0., -9.60120000000001, 18.));
#9340 = CARTESIAN_POINT ('', (0., 9.6012, 18.));
#9350 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -9.60120000000001, 17.));
#9360 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 9.6012, 17.));
#9370 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#9190, #9200), (#9210, #9220), (#9230, #9240), (#9250, #9260), (#9270, #9280), (#9290, #9300), (#9310, #9320), (#9330, #9340), (#9350, #9360)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.249999999999998, 0.5, 0.749999999999999, 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 ('')
);
#9380 = ADVANCED_FACE ('', (#9180), #9370, .T.);
#9390 = ORIENTED_EDGE ('', *, *, #80, .T.);
#9400 = ORIENTED_EDGE ('', *, *, #8020, .T.);
#9410 = CARTESIAN_POINT ('', (36.15, -5.50000000000001, 19.011855429226));
#9420 = CARTESIAN_POINT ('', (36.15, -8.00000000000001, 19.011855429226));
#9430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9410, #9420), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9440 = EDGE_CURVE ('', #7980, #6530, #9430, .T.);
#9450 = ORIENTED_EDGE ('', *, *, #9440, .T.);
#9460 = ORIENTED_EDGE ('', *, *, #6570, .T.);
#9470 = EDGE_LOOP ('', (#9390, #9400, #9450, #9460));
#9480 = FACE_OUTER_BOUND ('', #9470, .T.);
#9490 = CARTESIAN_POINT ('', (36.149, -8.001, 19.012855429226));
#9500 = CARTESIAN_POINT ('', (36.149, -5.49900000000001, 19.012855429226));
#9510 = CARTESIAN_POINT ('', (39.001, -8.001, 16.160855429226));
#9520 = CARTESIAN_POINT ('', (39.001, -5.49900000000001, 16.160855429226));
#9530 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9490, #9500), (#9510, #9520)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141421356237004, 4.03192286632567), (-3.001, -0.499), .UNSPECIFIED.);
#9540 = ADVANCED_FACE ('', (#9480), #9530, .T.);
#9550 = ORIENTED_EDGE ('', *, *, #8150, .T.);
#9560 = ORIENTED_EDGE ('', *, *, #5990, .T.);
#9570 = ORIENTED_EDGE ('', *, *, #6620, .T.);
#9580 = ORIENTED_EDGE ('', *, *, #9440, .F.);
#9590 = EDGE_LOOP ('', (#9550, #9560, #9570, #9580));
#9600 = FACE_OUTER_BOUND ('', #9590, .T.);
#9610 = CARTESIAN_POINT ('', (27.5090971552187, -8.001, 24.0006830127019));
#9620 = CARTESIAN_POINT ('', (27.5090971552187, -5.49900000000001, 24.0006830127019));
#9630 = CARTESIAN_POINT ('', (36.1511830127019, -8.001, 19.0111724165241));
#9640 = CARTESIAN_POINT ('', (36.1511830127019, -5.49900000000001, 19.0111724165241));
#9650 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9610, #9620), (#9630, #9640)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00136602540378306, 9.97765516695181), (-3.001, -0.499), .UNSPECIFIED.);
#9660 = ADVANCED_FACE ('', (#9600), #9650, .T.);
#9670 = CLOSED_SHELL ('', (#540, #1620, #2050, #3500, #3860, #4080, #4440, #4640, #4920, #5140, #5360, #5580, #5860, #6300, #7170, #7360, #7520, #7680, #7840, #7960, #8240, #8400, #8660, #8840, #9000, #9120, #9380, #9540, #9660));
#9680 = MANIFOLD_SOLID_BREP ('NOCUT', #9670);
#9690 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#9700 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#9710 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#9720 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #9690, 'DISTANCE_ACCURACY_VALUE', '');
#9730 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#9720))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#9690, #9700, #9710))
   REPRESENTATION_CONTEXT ('', '3D')
);
#9740 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#9750 = FILL_AREA_STYLE_COLOUR ('', #9740);
#9760 = FILL_AREA_STYLE ('', (#9750));
#9770 = SURFACE_STYLE_FILL_AREA (#9760);
#9780 = SURFACE_SIDE_STYLE ('', (#9770));
#9790 = SURFACE_STYLE_USAGE (.POSITIVE., #9780);
#9800 = PRESENTATION_STYLE_ASSIGNMENT ((#9790));
#9810 = STYLED_ITEM ('', (#9800), #9680);
#9820 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#9680), #9730);
#9830 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#9840 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #9830);
#9850 = MECHANICAL_CONTEXT ('', #9830, 'mechanical');
#9860 = PRODUCT ('NONE', '', '', (#9850));
#9870 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#9880 = PERSON ('', '', $, $, $, $);
#9890 = ORGANIZATION ($, '', '');
#9900 = PERSON_AND_ORGANIZATION (#9880, #9890);
#9910 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#9900, #9870, (#9860));
#9920 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#9860));
#9930 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #9860, .NOT_KNOWN.);
#9940 = APPROVAL_STATUS ('approved');
#9950 = APPROVAL (#9940, '');
#9960 = CALENDAR_DATE (2017, 17, 2);
#9970 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#9980 = LOCAL_TIME (11, 5, 44., #9970);
#9990 = DATE_AND_TIME (#9960, #9980);
#10000 = APPROVAL_DATE_TIME (#9990, #9950);
#10010 = APPROVAL_ROLE ('');
#10020 = PERSON ('', '', $, $, $, $);
#10030 = ORGANIZATION ($, '', '');
#10040 = PERSON_AND_ORGANIZATION (#10020, #10030);
#10050 = APPROVAL_PERSON_ORGANIZATION (#10040, #9950, #10010);
#10060 = CC_DESIGN_APPROVAL (#9950, (#9930));
#10070 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#10080 = PERSON ('', '', $, $, $, $);
#10090 = ORGANIZATION ($, '', '');
#10100 = PERSON_AND_ORGANIZATION (#10080, #10090);
#10110 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10100, #10070, (#9930));
#10120 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#10130 = PERSON ('', '', $, $, $, $);
#10140 = ORGANIZATION ($, '', '');
#10150 = PERSON_AND_ORGANIZATION (#10130, #10140);
#10160 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10150, #10120, (#9930));
#10170 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#10180 = SECURITY_CLASSIFICATION ('', '', #10170);
#10190 = APPROVAL_STATUS ('approved');
#10200 = APPROVAL (#10190, '');
#10210 = CALENDAR_DATE (2017, 17, 2);
#10220 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10230 = LOCAL_TIME (11, 5, 44., #10220);
#10240 = DATE_AND_TIME (#10210, #10230);
#10250 = APPROVAL_DATE_TIME (#10240, #10200);
#10260 = APPROVAL_ROLE ('');
#10270 = PERSON ('', '', $, $, $, $);
#10280 = ORGANIZATION ($, '', '');
#10290 = PERSON_AND_ORGANIZATION (#10270, #10280);
#10300 = APPROVAL_PERSON_ORGANIZATION (#10290, #10200, #10260);
#10310 = CC_DESIGN_APPROVAL (#10200, (#10180));
#10320 = DATE_TIME_ROLE ('classification_date');
#10330 = CALENDAR_DATE (2017, 17, 2);
#10340 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10350 = LOCAL_TIME (11, 5, 44., #10340);
#10360 = DATE_AND_TIME (#10330, #10350);
#10370 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#10360, #10320, (#10180));
#10380 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#10390 = PERSON ('', '', $, $, $, $);
#10400 = ORGANIZATION ($, '', '');
#10410 = PERSON_AND_ORGANIZATION (#10390, #10400);
#10420 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10410, #10380, (#10180));
#10430 = CC_DESIGN_SECURITY_CLASSIFICATION (#10180, (#9930));
#10440 = DESIGN_CONTEXT ('', #9830, 'design');
#10450 = PRODUCT_DEFINITION ('', '', #9930, #10440);
#10460 = APPROVAL_STATUS ('approved');
#10470 = APPROVAL (#10460, '');
#10480 = CALENDAR_DATE (2017, 17, 2);
#10490 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10500 = LOCAL_TIME (11, 5, 44., #10490);
#10510 = DATE_AND_TIME (#10480, #10500);
#10520 = APPROVAL_DATE_TIME (#10510, #10470);
#10530 = APPROVAL_ROLE ('');
#10540 = PERSON ('', '', $, $, $, $);
#10550 = ORGANIZATION ($, '', '');
#10560 = PERSON_AND_ORGANIZATION (#10540, #10550);
#10570 = APPROVAL_PERSON_ORGANIZATION (#10560, #10470, #10530);
#10580 = CC_DESIGN_APPROVAL (#10470, (#10450));
#10590 = DATE_TIME_ROLE ('creation_date');
#10600 = CALENDAR_DATE (2017, 17, 2);
#10610 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10620 = LOCAL_TIME (11, 5, 44., #10610);
#10630 = DATE_AND_TIME (#10600, #10620);
#10640 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#10630, #10590, (#10450));
#10650 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#10660 = PERSON ('', '', $, $, $, $);
#10670 = ORGANIZATION ($, '', '');
#10680 = PERSON_AND_ORGANIZATION (#10660, #10670);
#10690 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10680, #10650, (#10450));
#10700 = PRODUCT_DEFINITION_SHAPE ('', '', #10450);
#10710 = SHAPE_DEFINITION_REPRESENTATION (#10700, #9820);
#10720 = CARTESIAN_POINT ('', (44.6894144344311, -5.50000000000043, 11.2668048205826));
#10730 = VERTEX_POINT ('', #10720);
#10740 = CARTESIAN_POINT ('', (22.044710493533, -5.50000000000035, 9.68333286659109));
#10750 = VERTEX_POINT ('', #10740);
#10760 = CARTESIAN_POINT ('', (44.6894144344311, -5.50000000000043, 11.2668048205826));
#10770 = CARTESIAN_POINT ('', (22.044710493533, -5.50000000000035, 9.68333286659109));
#10780 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10760, #10770), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10790 = EDGE_CURVE ('', #10730, #10750, #10780, .T.);
#10800 = ORIENTED_EDGE ('', *, *, #10790, .T.);
#10810 = CARTESIAN_POINT ('', (21.8500161368607, -5.50000000000035, 12.467591883428));
#10820 = VERTEX_POINT ('', #10810);
#10830 = CARTESIAN_POINT ('', (22.044710493533, -5.50000000000035, 9.68333286659109));
#10840 = CARTESIAN_POINT ('', (21.8500161368607, -5.50000000000035, 12.467591883428));
#10850 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10830, #10840), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10860 = EDGE_CURVE ('', #10750, #10820, #10850, .T.);
#10870 = ORIENTED_EDGE ('', *, *, #10860, .T.);
#10880 = CARTESIAN_POINT ('', (24.7163086393098, -5.50000000000036, 9.97596182434689));
#10890 = VERTEX_POINT ('', #10880);
#10900 = CARTESIAN_POINT ('', (21.8500161368607, -5.50000000000035, 12.467591883428));
#10910 = CARTESIAN_POINT ('', (24.7163086393098, -5.50000000000036, 9.97596182434689));
#10920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10900, #10910), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10930 = EDGE_CURVE ('', #10820, #10890, #10920, .T.);
#10940 = ORIENTED_EDGE ('', *, *, #10930, .T.);
#10950 = CARTESIAN_POINT ('', (24.0323570186664, -5.50000000000036, 14.8425304774491));
#10960 = VERTEX_POINT ('', #10950);
#10970 = CARTESIAN_POINT ('', (24.7163086393098, -5.50000000000036, 9.97596182434689));
#10980 = CARTESIAN_POINT ('', (24.0323570186664, -5.50000000000036, 14.8425304774491));
#10990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10970, #10980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11000 = EDGE_CURVE ('', #10890, #10960, #10990, .T.);
#11010 = ORIENTED_EDGE ('', *, *, #11000, .T.);
#11020 = CARTESIAN_POINT ('', (23.3943653881721, -5.50000000000036, 14.7528666011663));
#11030 = VERTEX_POINT ('', #11020);
#11040 = CARTESIAN_POINT ('', (24.0323570186664, -5.50000000000036, 14.8425304774491));
#11050 = CARTESIAN_POINT ('', (23.3943653881721, -5.50000000000036, 14.7528666011663));
#11060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11040, #11050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11070 = EDGE_CURVE ('', #10960, #11030, #11060, .T.);
#11080 = ORIENTED_EDGE ('', *, *, #11070, .T.);
#11090 = CARTESIAN_POINT ('', (23.6471153677712, -5.50000000000036, 15.0882771527579));
#11100 = VERTEX_POINT ('', #11090);
#11110 = CARTESIAN_POINT ('', (23.3943653881721, -5.50000000000036, 14.7528666011663));
#11120 = CARTESIAN_POINT ('', (23.6471153677712, -5.50000000000036, 15.0882771527579));
#11130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11110, #11120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11140 = EDGE_CURVE ('', #11030, #11100, #11130, .T.);
#11150 = ORIENTED_EDGE ('', *, *, #11140, .T.);
#11160 = CARTESIAN_POINT ('', (42.350381197455, -5.50000000000042, 16.3961369051596));
#11170 = VERTEX_POINT ('', #11160);
#11180 = CARTESIAN_POINT ('', (23.6471153677712, -5.50000000000036, 15.0882771527579));
#11190 = CARTESIAN_POINT ('', (42.350381197455, -5.50000000000042, 16.3961369051596));
#11200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11180, #11190), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11210 = EDGE_CURVE ('', #11100, #11170, #11200, .T.);
#11220 = ORIENTED_EDGE ('', *, *, #11210, .T.);
#11230 = CARTESIAN_POINT ('', (42.6473515581867, -5.50000000000042, 16.0991665444278));
#11240 = VERTEX_POINT ('', #11230);
#11250 = CARTESIAN_POINT ('', (42.6473515581868, -5.50000000000042, 16.0991665444278));
#11260 = CARTESIAN_POINT ('', (42.350381197455, -5.50000000000042, 16.3961369051596));
#11270 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11250, #11260), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11280 = EDGE_CURVE ('', #11240, #11170, #11270, .T.);
#11290 = ORIENTED_EDGE ('', *, *, #11280, .F.);
#11300 = CARTESIAN_POINT ('', (42.0030900186775, -5.50000000000042, 16.0991665444278));
#11310 = VERTEX_POINT ('', #11300);
#11320 = CARTESIAN_POINT ('', (42.0030900186775, -5.50000000000042, 16.0991665444278));
#11330 = CARTESIAN_POINT ('', (42.6473515581868, -5.50000000000042, 16.0991665444278));
#11340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11320, #11330), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11350 = EDGE_CURVE ('', #11310, #11240, #11340, .T.);
#11360 = ORIENTED_EDGE ('', *, *, #11350, .F.);
#11370 = CARTESIAN_POINT ('', (42.0030900186775, -5.50000000000042, 11.1847713349704));
#11380 = VERTEX_POINT ('', #11370);
#11390 = CARTESIAN_POINT ('', (42.0030900186775, -5.50000000000042, 11.1847713349704));
#11400 = CARTESIAN_POINT ('', (42.0030900186775, -5.50000000000042, 16.0991665444278));
#11410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11390, #11400), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11420 = EDGE_CURVE ('', #11380, #11310, #11410, .T.);
#11430 = ORIENTED_EDGE ('', *, *, #11420, .F.);
#11440 = CARTESIAN_POINT ('', (44.4947200777587, -5.50000000000043, 14.0510638374196));
#11450 = VERTEX_POINT ('', #11440);
#11460 = CARTESIAN_POINT ('', (44.4947200777587, -5.50000000000043, 14.0510638374196));
#11470 = CARTESIAN_POINT ('', (42.0030900186775, -5.50000000000042, 11.1847713349704));
#11480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11460, #11470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11490 = EDGE_CURVE ('', #11450, #11380, #11480, .T.);
#11500 = ORIENTED_EDGE ('', *, *, #11490, .F.);
#11510 = CARTESIAN_POINT ('', (44.6894144344311, -5.50000000000043, 11.2668048205826));
#11520 = CARTESIAN_POINT ('', (44.4947200777587, -5.50000000000043, 14.0510638374196));
#11530 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11510, #11520), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11540 = EDGE_CURVE ('', #10730, #11450, #11530, .T.);
#11550 = ORIENTED_EDGE ('', *, *, #11540, .F.);
#11560 = EDGE_LOOP ('', (#10800, #10870, #10940, #11010, #11080, #11150, #11220, #11290, #11360, #11430, #11500, #11550));
#11570 = FACE_OUTER_BOUND ('', #11560, .T.);
#11580 = CARTESIAN_POINT ('', (44.6904817549551, -5.50000000000043, 11.2658770130061));
#11590 = CARTESIAN_POINT ('', (44.3220280606386, -5.50000000000043, 16.5350103264785));
#11600 = CARTESIAN_POINT ('', (22.0437826859565, -5.50000000000035, 9.68226554606708));
#11610 = CARTESIAN_POINT ('', (21.6753289916401, -5.50000000000035, 14.9513988595395));
#11620 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11580, #11590), (#11600, #11610)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-23.351, -0.648999999999999), (0.0623540127058697, 5.34435401270588), .UNSPECIFIED.);
#11630 = ADVANCED_FACE ('', (#11570), #11620, .T.);
#11640 = CARTESIAN_POINT ('', (23.6471153677712, -8.00000000000036, 15.0882771527579));
#11650 = VERTEX_POINT ('', #11640);
#11660 = CARTESIAN_POINT ('', (42.350381197455, -8.00000000000042, 16.3961369051596));
#11670 = VERTEX_POINT ('', #11660);
#11680 = CARTESIAN_POINT ('', (23.6471153677712, -8.00000000000036, 15.0882771527579));
#11690 = CARTESIAN_POINT ('', (42.350381197455, -8.00000000000042, 16.3961369051596));
#11700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11680, #11690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11710 = EDGE_CURVE ('', #11650, #11670, #11700, .T.);
#11720 = ORIENTED_EDGE ('', *, *, #11710, .F.);
#11730 = CARTESIAN_POINT ('', (23.3943653881721, -8.00000000000036, 14.7528666011663));
#11740 = VERTEX_POINT ('', #11730);
#11750 = CARTESIAN_POINT ('', (23.6471153677712, -8.00000000000036, 15.0882771527579));
#11760 = CARTESIAN_POINT ('', (23.3943653881721, -8.00000000000036, 14.7528666011663));
#11770 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11750, #11760), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11780 = EDGE_CURVE ('', #11650, #11740, #11770, .T.);
#11790 = ORIENTED_EDGE ('', *, *, #11780, .T.);
#11800 = CARTESIAN_POINT ('', (24.0323570186664, -8.00000000000036, 14.8425304774491));
#11810 = VERTEX_POINT ('', #11800);
#11820 = CARTESIAN_POINT ('', (24.0323570186664, -8.00000000000036, 14.8425304774491));
#11830 = CARTESIAN_POINT ('', (23.3943653881721, -8.00000000000036, 14.7528666011663));
#11840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11820, #11830), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11850 = EDGE_CURVE ('', #11810, #11740, #11840, .T.);
#11860 = ORIENTED_EDGE ('', *, *, #11850, .F.);
#11870 = CARTESIAN_POINT ('', (24.7163086393098, -8.00000000000036, 9.97596182434689));
#11880 = VERTEX_POINT ('', #11870);
#11890 = CARTESIAN_POINT ('', (24.7163086393098, -8.00000000000036, 9.97596182434689));
#11900 = CARTESIAN_POINT ('', (24.0323570186664, -8.00000000000036, 14.8425304774491));
#11910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11890, #11900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11920 = EDGE_CURVE ('', #11880, #11810, #11910, .T.);
#11930 = ORIENTED_EDGE ('', *, *, #11920, .F.);
#11940 = CARTESIAN_POINT ('', (21.8500161368607, -8.00000000000035, 12.467591883428));
#11950 = VERTEX_POINT ('', #11940);
#11960 = CARTESIAN_POINT ('', (21.8500161368607, -8.00000000000035, 12.467591883428));
#11970 = CARTESIAN_POINT ('', (24.7163086393098, -8.00000000000036, 9.97596182434689));
#11980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11960, #11970), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11990 = EDGE_CURVE ('', #11950, #11880, #11980, .T.);
#12000 = ORIENTED_EDGE ('', *, *, #11990, .F.);
#12010 = CARTESIAN_POINT ('', (22.044710493533, -8.00000000000035, 9.68333286659109));
#12020 = VERTEX_POINT ('', #12010);
#12030 = CARTESIAN_POINT ('', (22.044710493533, -8.00000000000035, 9.68333286659109));
#12040 = CARTESIAN_POINT ('', (21.8500161368607, -8.00000000000035, 12.467591883428));
#12050 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12030, #12040), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12060 = EDGE_CURVE ('', #12020, #11950, #12050, .T.);
#12070 = ORIENTED_EDGE ('', *, *, #12060, .F.);
#12080 = CARTESIAN_POINT ('', (44.689414434431, -8.00000000000043, 11.2668048205826));
#12090 = VERTEX_POINT ('', #12080);
#12100 = CARTESIAN_POINT ('', (44.689414434431, -8.00000000000043, 11.2668048205826));
#12110 = CARTESIAN_POINT ('', (22.044710493533, -8.00000000000035, 9.68333286659109));
#12120 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12100, #12110), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12130 = EDGE_CURVE ('', #12090, #12020, #12120, .T.);
#12140 = ORIENTED_EDGE ('', *, *, #12130, .F.);
#12150 = CARTESIAN_POINT ('', (44.4947200777587, -8.00000000000043, 14.0510638374196));
#12160 = VERTEX_POINT ('', #12150);
#12170 = CARTESIAN_POINT ('', (44.689414434431, -8.00000000000043, 11.2668048205826));
#12180 = CARTESIAN_POINT ('', (44.4947200777587, -8.00000000000043, 14.0510638374196));
#12190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12170, #12180), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12200 = EDGE_CURVE ('', #12090, #12160, #12190, .T.);
#12210 = ORIENTED_EDGE ('', *, *, #12200, .T.);
#12220 = CARTESIAN_POINT ('', (42.0030900186775, -8.00000000000042, 11.1847713349704));
#12230 = VERTEX_POINT ('', #12220);
#12240 = CARTESIAN_POINT ('', (44.4947200777587, -8.00000000000043, 14.0510638374196));
#12250 = CARTESIAN_POINT ('', (42.0030900186775, -8.00000000000042, 11.1847713349704));
#12260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12240, #12250), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12270 = EDGE_CURVE ('', #12160, #12230, #12260, .T.);
#12280 = ORIENTED_EDGE ('', *, *, #12270, .T.);
#12290 = CARTESIAN_POINT ('', (42.0030900186775, -8.00000000000042, 16.0991665444278));
#12300 = VERTEX_POINT ('', #12290);
#12310 = CARTESIAN_POINT ('', (42.0030900186775, -8.00000000000042, 11.1847713349704));
#12320 = CARTESIAN_POINT ('', (42.0030900186775, -8.00000000000042, 16.0991665444278));
#12330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12310, #12320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12340 = EDGE_CURVE ('', #12230, #12300, #12330, .T.);
#12350 = ORIENTED_EDGE ('', *, *, #12340, .T.);
#12360 = CARTESIAN_POINT ('', (42.6473515581867, -8.00000000000042, 16.0991665444278));
#12370 = VERTEX_POINT ('', #12360);
#12380 = CARTESIAN_POINT ('', (42.0030900186775, -8.00000000000042, 16.0991665444278));
#12390 = CARTESIAN_POINT ('', (42.6473515581867, -8.00000000000042, 16.0991665444278));
#12400 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12380, #12390), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12410 = EDGE_CURVE ('', #12300, #12370, #12400, .T.);
#12420 = ORIENTED_EDGE ('', *, *, #12410, .T.);
#12430 = CARTESIAN_POINT ('', (42.350381197455, -8.00000000000042, 16.3961369051596));
#12440 = CARTESIAN_POINT ('', (42.6473515581867, -8.00000000000042, 16.0991665444278));
#12450 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12430, #12440), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12460 = EDGE_CURVE ('', #11670, #12370, #12450, .T.);
#12470 = ORIENTED_EDGE ('', *, *, #12460, .F.);
#12480 = EDGE_LOOP ('', (#11720, #11790, #11860, #11930, #12000, #12070, #12140, #12210, #12280, #12350, #12420, #12470));
#12490 = FACE_OUTER_BOUND ('', #12480, .T.);
#12500 = CARTESIAN_POINT ('', (22.0437826859565, -8.00000000000035, 9.68226554606708));
#12510 = CARTESIAN_POINT ('', (21.6753289916401, -8.00000000000035, 14.9513988595395));
#12520 = CARTESIAN_POINT ('', (44.6904817549551, -8.00000000000043, 11.2658770130061));
#12530 = CARTESIAN_POINT ('', (44.3220280606386, -8.00000000000043, 16.5350103264785));
#12540 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12500, #12510), (#12520, #12530)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.649000000000001, 23.351), (0.0623540127058697, 5.34435401270588), .UNSPECIFIED.);
#12550 = ADVANCED_FACE ('', (#12490), #12540, .T.);
#12560 = ORIENTED_EDGE ('', *, *, #12130, .T.);
#12570 = CARTESIAN_POINT ('', (22.044710493533, -8.00000000000035, 9.68333286659109));
#12580 = CARTESIAN_POINT ('', (22.044710493533, -5.50000000000035, 9.68333286659109));
#12590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12570, #12580), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12600 = EDGE_CURVE ('', #12020, #10750, #12590, .T.);
#12610 = ORIENTED_EDGE ('', *, *, #12600, .T.);
#12620 = ORIENTED_EDGE ('', *, *, #10790, .F.);
#12630 = CARTESIAN_POINT ('', (44.689414434431, -8.00000000000043, 11.2668048205826));
#12640 = CARTESIAN_POINT ('', (44.6894144344311, -5.50000000000043, 11.2668048205826));
#12650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12630, #12640), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12660 = EDGE_CURVE ('', #12090, #10730, #12650, .T.);
#12670 = ORIENTED_EDGE ('', *, *, #12660, .F.);
#12680 = EDGE_LOOP ('', (#12560, #12610, #12620, #12670));
#12690 = FACE_OUTER_BOUND ('', #12680, .T.);
#12700 = CARTESIAN_POINT ('', (44.6904119984813, -8.00100000000043, 11.2668745770564));
#12710 = CARTESIAN_POINT ('', (44.6904119984813, -5.49900000000043, 11.2668745770564));
#12720 = CARTESIAN_POINT ('', (22.0437129294828, -8.00100000000035, 9.68326311011734));
#12730 = CARTESIAN_POINT ('', (22.0437129294828, -5.49900000000035, 9.68326311011734));
#12740 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12700, #12710), (#12720, #12730)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.782373658028796, 23.4843736580288), (-7.351, -4.849), .UNSPECIFIED.);
#12750 = ADVANCED_FACE ('', (#12690), #12740, .T.);
#12760 = ORIENTED_EDGE ('', *, *, #11210, .F.);
#12770 = CARTESIAN_POINT ('', (23.6471153677712, -5.50000000000036, 15.0882771527579));
#12780 = CARTESIAN_POINT ('', (23.6471153677712, -8.00000000000036, 15.0882771527579));
#12790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12770, #12780), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12800 = EDGE_CURVE ('', #11100, #11650, #12790, .T.);
#12810 = ORIENTED_EDGE ('', *, *, #12800, .T.);
#12820 = ORIENTED_EDGE ('', *, *, #11710, .T.);
#12830 = CARTESIAN_POINT ('', (42.350381197455, -5.50000000000042, 16.3961369051596));
#12840 = CARTESIAN_POINT ('', (42.350381197455, -8.00000000000042, 16.3961369051596));
#12850 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12830, #12840), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12860 = EDGE_CURVE ('', #11170, #11670, #12850, .T.);
#12870 = ORIENTED_EDGE ('', *, *, #12860, .F.);
#12880 = EDGE_LOOP ('', (#12760, #12810, #12820, #12870));
#12890 = FACE_OUTER_BOUND ('', #12880, .T.);
#12900 = CARTESIAN_POINT ('', (23.6461178037209, -8.00100000000036, 15.0882073962841));
#12910 = CARTESIAN_POINT ('', (23.6461178037209, -5.49900000000036, 15.0882073962841));
#12920 = CARTESIAN_POINT ('', (42.3513787615052, -8.00100000000042, 16.3962066616333));
#12930 = CARTESIAN_POINT ('', (42.3513787615052, -5.49900000000042, 16.3962066616333));
#12940 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12900, #12910), (#12920, #12930)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-21.1821187022452, -2.43118140362023), (-7.351, -4.849), .UNSPECIFIED.);
#12950 = ADVANCED_FACE ('', (#12890), #12940, .T.);
#12960 = ORIENTED_EDGE ('', *, *, #11280, .T.);
#12970 = ORIENTED_EDGE ('', *, *, #12860, .T.);
#12980 = ORIENTED_EDGE ('', *, *, #12460, .T.);
#12990 = CARTESIAN_POINT ('', (42.6473515581867, -8.00000000000042, 16.0991665444278));
#13000 = CARTESIAN_POINT ('', (42.6473515581868, -5.50000000000042, 16.0991665444278));
#13010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12990, #13000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13020 = EDGE_CURVE ('', #12370, #11240, #13010, .T.);
#13030 = ORIENTED_EDGE ('', *, *, #13020, .T.);
#13040 = EDGE_LOOP ('', (#12960, #12970, #12980, #13030));
#13050 = FACE_OUTER_BOUND ('', #13040, .T.);
#13060 = CARTESIAN_POINT ('', (42.3493836334047, -8.00100000000042, 16.3971344692098));
#13070 = CARTESIAN_POINT ('', (42.3493836334047, -5.49900000000042, 16.3971344692098));
#13080 = CARTESIAN_POINT ('', (42.648349122237, -8.00100000000042, 16.0981689803775));
#13090 = CARTESIAN_POINT ('', (42.648349122237, -5.49900000000042, 16.0981689803775));
#13100 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13060, #13070), (#13080, #13090)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141076860921263, 0.421390280378901), (2.86537329040166, 5.36737329040166), .UNSPECIFIED.);
#13110 = ADVANCED_FACE ('', (#13050), #13100, .T.);
#13120 = ORIENTED_EDGE ('', *, *, #13020, .F.);
#13130 = ORIENTED_EDGE ('', *, *, #12410, .F.);
#13140 = CARTESIAN_POINT ('', (45.0030900186775, -8.25000000000043, 16.0991665444278));
#13150 = VERTEX_POINT ('', #13140);
#13160 = CARTESIAN_POINT ('', (45.0030900186775, -8.25000000000043, 16.0991665444278));
#13170 = CARTESIAN_POINT ('', (42.0030900186775, -8.00000000000042, 16.0991665444278));
#13180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13160, #13170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13190 = EDGE_CURVE ('', #13150, #12300, #13180, .T.);
#13200 = ORIENTED_EDGE ('', *, *, #13190, .F.);
#13210 = CARTESIAN_POINT ('', (45.0030900186775, -5.25000000000043, 16.0991665444278));
#13220 = VERTEX_POINT ('', #13210);
#13230 = CARTESIAN_POINT ('', (45.0030900186775, -8.25000000000043, 16.0991665444278));
#13240 = CARTESIAN_POINT ('', (45.0030900186775, -5.25000000000043, 16.0991665444278));
#13250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13230, #13240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13260 = EDGE_CURVE ('', #13150, #13220, #13250, .T.);
#13270 = ORIENTED_EDGE ('', *, *, #13260, .T.);
#13280 = CARTESIAN_POINT ('', (45.0030900186775, -5.25000000000043, 16.0991665444278));
#13290 = CARTESIAN_POINT ('', (42.0030900186775, -5.50000000000042, 16.0991665444278));
#13300 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13280, #13290), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13310 = EDGE_CURVE ('', #13220, #11310, #13300, .T.);
#13320 = ORIENTED_EDGE ('', *, *, #13310, .T.);
#13330 = ORIENTED_EDGE ('', *, *, #11350, .T.);
#13340 = EDGE_LOOP ('', (#13120, #13130, #13200, #13270, #13320, #13330));
#13350 = FACE_OUTER_BOUND ('', #13340, .T.);
#13360 = CARTESIAN_POINT ('', (42.0020226981535, -8.25100000000042, 16.0991665444278));
#13370 = CARTESIAN_POINT ('', (42.0020226981535, -5.24900000000042, 16.0991665444278));
#13380 = CARTESIAN_POINT ('', (45.0041573392015, -8.25100000000043, 16.0991665444278));
#13390 = CARTESIAN_POINT ('', (45.0041573392015, -5.24900000000043, 16.0991665444278));
#13400 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13360, #13370), (#13380, #13390)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052400638, 3.001067320524), (2.61537329040166, 5.61737329040166), .UNSPECIFIED.);
#13410 = ADVANCED_FACE ('', (#13350), #13400, .T.);
#13420 = CARTESIAN_POINT ('', (44.4947200777587, -8.00000000000043, 14.0510638374196));
#13430 = CARTESIAN_POINT ('', (44.4947200777587, -5.50000000000043, 14.0510638374196));
#13440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13420, #13430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13450 = EDGE_CURVE ('', #12160, #11450, #13440, .T.);
#13460 = ORIENTED_EDGE ('', *, *, #13450, .T.);
#13470 = ORIENTED_EDGE ('', *, *, #11490, .T.);
#13480 = CARTESIAN_POINT ('', (45.0030900186775, -5.25000000000043, 14.6358765566334));
#13490 = VERTEX_POINT ('', #13480);
#13500 = CARTESIAN_POINT ('', (42.0030900186775, -5.50000000000042, 11.1847713349704));
#13510 = CARTESIAN_POINT ('', (45.0030900186775, -5.25000000000043, 14.6358765566334));
#13520 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13500, #13510), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13530 = EDGE_CURVE ('', #11380, #13490, #13520, .T.);
#13540 = ORIENTED_EDGE ('', *, *, #13530, .T.);
#13550 = CARTESIAN_POINT ('', (45.0030900186775, -8.25000000000043, 14.6358765566334));
#13560 = VERTEX_POINT ('', #13550);
#13570 = CARTESIAN_POINT ('', (45.0030900186775, -8.25000000000043, 14.6358765566334));
#13580 = CARTESIAN_POINT ('', (45.0030900186775, -5.25000000000043, 14.6358765566334));
#13590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13570, #13580), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13600 = EDGE_CURVE ('', #13560, #13490, #13590, .T.);
#13610 = ORIENTED_EDGE ('', *, *, #13600, .F.);
#13620 = CARTESIAN_POINT ('', (42.0030900186775, -8.00000000000042, 11.1847713349704));
#13630 = CARTESIAN_POINT ('', (45.0030900186775, -8.25000000000043, 14.6358765566334));
#13640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13620, #13630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13650 = EDGE_CURVE ('', #12230, #13560, #13640, .T.);
#13660 = ORIENTED_EDGE ('', *, *, #13650, .F.);
#13670 = ORIENTED_EDGE ('', *, *, #12270, .F.);
#13680 = EDGE_LOOP ('', (#13460, #13470, #13540, #13610, #13660, #13670));
#13690 = FACE_OUTER_BOUND ('', #13680, .T.);
#13700 = CARTESIAN_POINT ('', (45.004017826254, -8.25100000000043, 14.6369438771574));
#13710 = CARTESIAN_POINT ('', (45.004017826254, -5.24900000000043, 14.6369438771574));
#13720 = CARTESIAN_POINT ('', (42.002162211101, -8.25100000000042, 11.1837040144464));
#13730 = CARTESIAN_POINT ('', (42.002162211101, -5.24900000000042, 11.1837040144464));
#13740 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13700, #13710), (#13720, #13730)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.7992890220458, 0.776298665196321), (32.249, 35.251), .UNSPECIFIED.);
#13750 = ADVANCED_FACE ('', (#13690), #13740, .T.);
#13760 = ORIENTED_EDGE ('', *, *, #12200, .F.);
#13770 = ORIENTED_EDGE ('', *, *, #12660, .T.);
#13780 = ORIENTED_EDGE ('', *, *, #11540, .T.);
#13790 = ORIENTED_EDGE ('', *, *, #13450, .F.);
#13800 = EDGE_LOOP ('', (#13760, #13770, #13780, #13790));
#13810 = FACE_OUTER_BOUND ('', #13800, .T.);
#13820 = CARTESIAN_POINT ('', (44.6894841909048, -8.00100000000043, 11.2658072565323));
#13830 = CARTESIAN_POINT ('', (44.4946503212849, -8.00100000000043, 14.0520614014698));
#13840 = CARTESIAN_POINT ('', (44.6894841909048, -5.49900000000043, 11.2658072565323));
#13850 = CARTESIAN_POINT ('', (44.494650321285, -5.49900000000043, 14.0520614014698));
#13860 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13820, #13830), (#13840, #13850)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-35.001, -32.499), (0.207942106412351, 3.001), .UNSPECIFIED.);
#13870 = ADVANCED_FACE ('', (#13810), #13860, .T.);
#13880 = ORIENTED_EDGE ('', *, *, #13600, .T.);
#13890 = CARTESIAN_POINT ('', (45.0030900186775, -5.25000000000043, 14.6358765566334));
#13900 = CARTESIAN_POINT ('', (45.0030900186775, -5.25000000000043, 16.0991665444278));
#13910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13890, #13900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13920 = EDGE_CURVE ('', #13490, #13220, #13910, .T.);
#13930 = ORIENTED_EDGE ('', *, *, #13920, .T.);
#13940 = ORIENTED_EDGE ('', *, *, #13260, .F.);
#13950 = CARTESIAN_POINT ('', (45.0030900186775, -8.25000000000043, 14.6358765566334));
#13960 = CARTESIAN_POINT ('', (45.0030900186775, -8.25000000000043, 16.0991665444278));
#13970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13950, #13960), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13980 = EDGE_CURVE ('', #13560, #13150, #13970, .T.);
#13990 = ORIENTED_EDGE ('', *, *, #13980, .F.);
#14000 = EDGE_LOOP ('', (#13880, #13930, #13940, #13990));
#14010 = FACE_OUTER_BOUND ('', #14000, .T.);
#14020 = CARTESIAN_POINT ('', (45.0030900186775, -8.25100000000043, 16.1002338649518));
#14030 = CARTESIAN_POINT ('', (45.0030900186775, -5.24900000000043, 16.1002338649518));
#14040 = CARTESIAN_POINT ('', (45.0030900186775, -8.25100000000043, 14.6348092361094));
#14050 = CARTESIAN_POINT ('', (45.0030900186775, -5.24900000000043, 14.6348092361094));
#14060 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14020, #14030), (#14040, #14050)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.46435730831845, 0.00106732052400416), (32.249, 35.251), .UNSPECIFIED.);
#14070 = ADVANCED_FACE ('', (#14010), #14060, .T.);
#14080 = ORIENTED_EDGE ('', *, *, #13530, .F.);
#14090 = ORIENTED_EDGE ('', *, *, #11420, .T.);
#14100 = ORIENTED_EDGE ('', *, *, #13310, .F.);
#14110 = ORIENTED_EDGE ('', *, *, #13920, .F.);
#14120 = EDGE_LOOP ('', (#14080, #14090, #14100, #14110));
#14130 = FACE_OUTER_BOUND ('', #14120, .T.);
#14140 = CARTESIAN_POINT ('', (45.3294638332727, -5.2228021821175, 11.4149186131476));
#14150 = CARTESIAN_POINT ('', (44.9894961803966, -5.25113281985717, 16.3104448046027));
#14160 = CARTESIAN_POINT ('', (42.0021866352217, -5.50007528195507, 11.1822527262356));
#14170 = CARTESIAN_POINT ('', (41.6622189823456, -5.52840591969474, 16.0777789176907));
#14180 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14140, #14150), (#14160, #14170)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.486886094943818, 2.86002103545232), (2.27575753352009, 7.18315575673978), .UNSPECIFIED.);
#14190 = ADVANCED_FACE ('', (#14130), #14180, .T.);
#14200 = ORIENTED_EDGE ('', *, *, #12340, .F.);
#14210 = ORIENTED_EDGE ('', *, *, #13650, .T.);
#14220 = ORIENTED_EDGE ('', *, *, #13980, .T.);
#14230 = ORIENTED_EDGE ('', *, *, #13190, .T.);
#14240 = EDGE_LOOP ('', (#14200, #14210, #14220, #14230));
#14250 = FACE_OUTER_BOUND ('', #14240, .T.);
#14260 = CARTESIAN_POINT ('', (42.0021866352217, -7.99992471804577, 11.1822527262356));
#14270 = CARTESIAN_POINT ('', (41.6622189823456, -7.97159408030609, 16.0777789176907));
#14280 = CARTESIAN_POINT ('', (45.3294638332727, -8.27719781788337, 11.4149186131476));
#14290 = CARTESIAN_POINT ('', (44.9894961803966, -8.24886718014369, 16.3104448046027));
#14300 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14260, #14270), (#14280, #14290)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.486886094943818, 2.86002103545232), (2.27575753352009, 7.18315575673978), .UNSPECIFIED.);
#14310 = ADVANCED_FACE ('', (#14250), #14300, .T.);
#14320 = ORIENTED_EDGE ('', *, *, #11140, .F.);
#14330 = CARTESIAN_POINT ('', (23.3943653881721, -8.00000000000036, 14.7528666011663));
#14340 = CARTESIAN_POINT ('', (23.3943653881721, -5.50000000000036, 14.7528666011663));
#14350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14330, #14340), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14360 = EDGE_CURVE ('', #11740, #11030, #14350, .T.);
#14370 = ORIENTED_EDGE ('', *, *, #14360, .F.);
#14380 = ORIENTED_EDGE ('', *, *, #11780, .F.);
#14390 = ORIENTED_EDGE ('', *, *, #12800, .F.);
#14400 = EDGE_LOOP ('', (#14320, #14370, #14380, #14390));
#14410 = FACE_OUTER_BOUND ('', #14400, .T.);
#14420 = CARTESIAN_POINT ('', (23.6479643895144, -5.49900000000036, 15.0894038426657));
#14430 = CARTESIAN_POINT ('', (23.6479643895144, -8.00100000000036, 15.0894038426657));
#14440 = CARTESIAN_POINT ('', (23.3935163664289, -5.49900000000036, 14.7517399112585));
#14450 = CARTESIAN_POINT ('', (23.3935163664289, -8.00100000000036, 14.7517399112585));
#14460 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14420, #14430), (#14440, #14450)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141076860921352, 0.421390280378901), (-5.36737329040166, -2.86537329040166), .UNSPECIFIED.);
#14470 = ADVANCED_FACE ('', (#14410), #14460, .T.);
#14480 = ORIENTED_EDGE ('', *, *, #14360, .T.);
#14490 = ORIENTED_EDGE ('', *, *, #11070, .F.);
#14500 = CARTESIAN_POINT ('', (21.0615528124417, -5.25000000000035, 14.4250111745689));
#14510 = VERTEX_POINT ('', #14500);
#14520 = CARTESIAN_POINT ('', (21.0615528124417, -5.25000000000035, 14.4250111745689));
#14530 = CARTESIAN_POINT ('', (24.0323570186664, -5.50000000000036, 14.8425304774491));
#14540 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14520, #14530), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14550 = EDGE_CURVE ('', #14510, #10960, #14540, .T.);
#14560 = ORIENTED_EDGE ('', *, *, #14550, .F.);
#14570 = CARTESIAN_POINT ('', (21.0615528124417, -8.25000000000035, 14.4250111745689));
#14580 = VERTEX_POINT ('', #14570);
#14590 = CARTESIAN_POINT ('', (21.0615528124417, -8.25000000000035, 14.4250111745689));
#14600 = CARTESIAN_POINT ('', (21.0615528124417, -5.25000000000035, 14.4250111745689));
#14610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14590, #14600), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14620 = EDGE_CURVE ('', #14580, #14510, #14610, .T.);
#14630 = ORIENTED_EDGE ('', *, *, #14620, .F.);
#14640 = CARTESIAN_POINT ('', (21.0615528124417, -8.25000000000035, 14.4250111745689));
#14650 = CARTESIAN_POINT ('', (24.0323570186664, -8.00000000000036, 14.8425304774491));
#14660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14640, #14650), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14670 = EDGE_CURVE ('', #14580, #11810, #14660, .T.);
#14680 = ORIENTED_EDGE ('', *, *, #14670, .T.);
#14690 = ORIENTED_EDGE ('', *, *, #11850, .T.);
#14700 = EDGE_LOOP ('', (#14480, #14490, #14560, #14630, #14680, #14690));
#14710 = FACE_OUTER_BOUND ('', #14700, .T.);
#14720 = CARTESIAN_POINT ('', (24.0334139521004, -5.24900000000036, 14.8426790197561));
#14730 = CARTESIAN_POINT ('', (24.0334139521004, -8.25100000000036, 14.8426790197561));
#14740 = CARTESIAN_POINT ('', (21.0604958790077, -5.24900000000035, 14.4248626322619));
#14750 = CARTESIAN_POINT ('', (21.0604958790077, -8.25100000000035, 14.4248626322619));
#14760 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14720, #14730), (#14740, #14750)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052400815, 3.001067320524), (-5.61737329040166, -2.61537329040166), .UNSPECIFIED.);
#14770 = ADVANCED_FACE ('', (#14710), #14760, .T.);
#14780 = CARTESIAN_POINT ('', (21.8500161368607, -8.00000000000035, 12.467591883428));
#14790 = CARTESIAN_POINT ('', (21.8500161368607, -5.50000000000035, 12.467591883428));
#14800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14780, #14790), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14810 = EDGE_CURVE ('', #11950, #10820, #14800, .T.);
#14820 = ORIENTED_EDGE ('', *, *, #14810, .F.);
#14830 = ORIENTED_EDGE ('', *, *, #11990, .T.);
#14840 = CARTESIAN_POINT ('', (21.2652034176468, -8.25000000000035, 12.9759618243468));
#14850 = VERTEX_POINT ('', #14840);
#14860 = CARTESIAN_POINT ('', (24.7163086393098, -8.00000000000036, 9.97596182434689));
#14870 = CARTESIAN_POINT ('', (21.2652034176468, -8.25000000000035, 12.9759618243468));
#14880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14860, #14870), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14890 = EDGE_CURVE ('', #11880, #14850, #14880, .T.);
#14900 = ORIENTED_EDGE ('', *, *, #14890, .T.);
#14910 = CARTESIAN_POINT ('', (21.2652034176468, -5.25000000000035, 12.9759618243468));
#14920 = VERTEX_POINT ('', #14910);
#14930 = CARTESIAN_POINT ('', (21.2652034176468, -8.25000000000035, 12.9759618243468));
#14940 = CARTESIAN_POINT ('', (21.2652034176469, -5.25000000000035, 12.9759618243468));
#14950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14930, #14940), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14960 = EDGE_CURVE ('', #14850, #14920, #14950, .T.);
#14970 = ORIENTED_EDGE ('', *, *, #14960, .T.);
#14980 = CARTESIAN_POINT ('', (24.7163086393098, -5.50000000000036, 9.97596182434689));
#14990 = CARTESIAN_POINT ('', (21.2652034176469, -5.25000000000035, 12.9759618243468));
#15000 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14980, #14990), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15010 = EDGE_CURVE ('', #10890, #14920, #15000, .T.);
#15020 = ORIENTED_EDGE ('', *, *, #15010, .F.);
#15030 = ORIENTED_EDGE ('', *, *, #10930, .F.);
#15040 = EDGE_LOOP ('', (#14820, #14830, #14900, #14970, #15020, #15030));
#15050 = FACE_OUTER_BOUND ('', #15040, .T.);
#15060 = CARTESIAN_POINT ('', (21.2641360971228, -5.24900000000035, 12.9768896319234));
#15070 = CARTESIAN_POINT ('', (21.2641360971228, -8.25100000000035, 12.9768896319234));
#15080 = CARTESIAN_POINT ('', (24.7173759598338, -5.24900000000036, 9.97503401677038));
#15090 = CARTESIAN_POINT ('', (24.7173759598338, -8.25100000000036, 9.97503401677038));
#15100 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15060, #15070), (#15080, #15090)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.7992890220458, 0.77629866519632), (-35.251, -32.249), .UNSPECIFIED.);
#15110 = ADVANCED_FACE ('', (#15050), #15100, .T.);
#15120 = ORIENTED_EDGE ('', *, *, #12060, .T.);
#15130 = ORIENTED_EDGE ('', *, *, #14810, .T.);
#15140 = ORIENTED_EDGE ('', *, *, #10860, .F.);
#15150 = ORIENTED_EDGE ('', *, *, #12600, .F.);
#15160 = EDGE_LOOP ('', (#15120, #15130, #15140, #15150));
#15170 = FACE_OUTER_BOUND ('', #15160, .T.);
#15180 = CARTESIAN_POINT ('', (21.8499463803869, -8.00100000000035, 12.4685894474783));
#15190 = CARTESIAN_POINT ('', (22.0447802500068, -8.00100000000035, 9.68233530254083));
#15200 = CARTESIAN_POINT ('', (21.8499463803869, -5.49900000000035, 12.4685894474783));
#15210 = CARTESIAN_POINT ('', (22.0447802500068, -5.49900000000035, 9.68233530254083));
#15220 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15180, #15190), (#15200, #15210)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-35.001, -32.499), (-3.001, -0.207942106412351), .UNSPECIFIED.);
#15230 = ADVANCED_FACE ('', (#15170), #15220, .T.);
#15240 = ORIENTED_EDGE ('', *, *, #14960, .F.);
#15250 = CARTESIAN_POINT ('', (21.2652034176468, -8.25000000000035, 12.9759618243468));
#15260 = CARTESIAN_POINT ('', (21.0615528124417, -8.25000000000035, 14.4250111745689));
#15270 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15250, #15260), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15280 = EDGE_CURVE ('', #14850, #14580, #15270, .T.);
#15290 = ORIENTED_EDGE ('', *, *, #15280, .T.);
#15300 = ORIENTED_EDGE ('', *, *, #14620, .T.);
#15310 = CARTESIAN_POINT ('', (21.2652034176469, -5.25000000000035, 12.9759618243468));
#15320 = CARTESIAN_POINT ('', (21.0615528124417, -5.25000000000035, 14.4250111745689));
#15330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15310, #15320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15340 = EDGE_CURVE ('', #14920, #14510, #15330, .T.);
#15350 = ORIENTED_EDGE ('', *, *, #15340, .F.);
#15360 = EDGE_LOOP ('', (#15240, #15290, #15300, #15350));
#15370 = FACE_OUTER_BOUND ('', #15360, .T.);
#15380 = CARTESIAN_POINT ('', (21.0614042701347, -5.24900000000035, 14.426068108003));
#15390 = CARTESIAN_POINT ('', (21.0614042701346, -8.25100000000035, 14.426068108003));
#15400 = CARTESIAN_POINT ('', (21.2653519599539, -5.24900000000035, 12.9749048909128));
#15410 = CARTESIAN_POINT ('', (21.2653519599539, -8.25100000000035, 12.9749048909128));
#15420 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15380, #15390), (#15400, #15410)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.46435730831845, 0.00106732052400371), (-35.251, -32.249), .UNSPECIFIED.);
#15430 = ADVANCED_FACE ('', (#15370), #15420, .T.);
#15440 = ORIENTED_EDGE ('', *, *, #15010, .T.);
#15450 = ORIENTED_EDGE ('', *, *, #15340, .T.);
#15460 = ORIENTED_EDGE ('', *, *, #14550, .T.);
#15470 = ORIENTED_EDGE ('', *, *, #11000, .F.);
#15480 = EDGE_LOOP ('', (#15440, #15450, #15460, #15470));
#15490 = FACE_OUTER_BOUND ('', #15480, .T.);
#15500 = CARTESIAN_POINT ('', (21.0456101057889, -5.25113281985709, 14.6361251858669));
#15510 = CARTESIAN_POINT ('', (21.3902765556367, -5.22280218211741, 9.74092756630401));
#15520 = CARTESIAN_POINT ('', (24.3728873038399, -5.52840591969469, 14.8687910727789));
#15530 = CARTESIAN_POINT ('', (24.7175537536877, -5.50007528195501, 9.97359345321604));
#15540 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15500, #15510), (#15520, #15530)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.486886094943818, 2.86002103545232), (-7.18315575673978, -2.27575753352009), .UNSPECIFIED.);
#15550 = ADVANCED_FACE ('', (#15490), #15540, .T.);
#15560 = ORIENTED_EDGE ('', *, *, #11920, .T.);
#15570 = ORIENTED_EDGE ('', *, *, #14670, .F.);
#15580 = ORIENTED_EDGE ('', *, *, #15280, .F.);
#15590 = ORIENTED_EDGE ('', *, *, #14890, .F.);
#15600 = EDGE_LOOP ('', (#15560, #15570, #15580, #15590));
#15610 = FACE_OUTER_BOUND ('', #15600, .T.);
#15620 = CARTESIAN_POINT ('', (24.3728873038399, -7.97159408030604, 14.8687910727789));
#15630 = CARTESIAN_POINT ('', (24.7175537536877, -7.99992471804571, 9.97359345321604));
#15640 = CARTESIAN_POINT ('', (21.0456101057889, -8.24886718014361, 14.6361251858669));
#15650 = CARTESIAN_POINT ('', (21.3902765556366, -8.27719781788328, 9.74092756630401));
#15660 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15620, #15630), (#15640, #15650)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.486886094943818, 2.86002103545232), (-7.18315575673978, -2.27575753352009), .UNSPECIFIED.);
#15670 = ADVANCED_FACE ('', (#15610), #15660, .T.);
#15680 = CLOSED_SHELL ('', (#11630, #12550, #12750, #12950, #13110, #13410, #13750, #13870, #14070, #14190, #14310, #14470, #14770, #15110, #15230, #15430, #15550, #15670));
#15690 = MANIFOLD_SOLID_BREP ('CUT', #15680);
#15700 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#15710 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#15720 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#15730 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #15700, 'DISTANCE_ACCURACY_VALUE', '');
#15740 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#15730))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#15700, #15710, #15720))
   REPRESENTATION_CONTEXT ('', '3D')
);
#15750 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#15760 = FILL_AREA_STYLE_COLOUR ('', #15750);
#15770 = FILL_AREA_STYLE ('', (#15760));
#15780 = SURFACE_STYLE_FILL_AREA (#15770);
#15790 = SURFACE_SIDE_STYLE ('', (#15780));
#15800 = SURFACE_STYLE_USAGE (.POSITIVE., #15790);
#15810 = PRESENTATION_STYLE_ASSIGNMENT ((#15800));
#15820 = STYLED_ITEM ('', (#15810), #15690);
#15830 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#15690), #15740);
#15840 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#15850 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #15840);
#15860 = MECHANICAL_CONTEXT ('', #15840, 'mechanical');
#15870 = PRODUCT ('NONE', '', '', (#15860));
#15880 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#15890 = PERSON ('', '', $, $, $, $);
#15900 = ORGANIZATION ($, '', '');
#15910 = PERSON_AND_ORGANIZATION (#15890, #15900);
#15920 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#15910, #15880, (#15870));
#15930 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#15870));
#15940 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #15870, .NOT_KNOWN.);
#15950 = APPROVAL_STATUS ('approved');
#15960 = APPROVAL (#15950, '');
#15970 = CALENDAR_DATE (2017, 17, 2);
#15980 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#15990 = LOCAL_TIME (11, 5, 44., #15980);
#16000 = DATE_AND_TIME (#15970, #15990);
#16010 = APPROVAL_DATE_TIME (#16000, #15960);
#16020 = APPROVAL_ROLE ('');
#16030 = PERSON ('', '', $, $, $, $);
#16040 = ORGANIZATION ($, '', '');
#16050 = PERSON_AND_ORGANIZATION (#16030, #16040);
#16060 = APPROVAL_PERSON_ORGANIZATION (#16050, #15960, #16020);
#16070 = CC_DESIGN_APPROVAL (#15960, (#15940));
#16080 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#16090 = PERSON ('', '', $, $, $, $);
#16100 = ORGANIZATION ($, '', '');
#16110 = PERSON_AND_ORGANIZATION (#16090, #16100);
#16120 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16110, #16080, (#15940));
#16130 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#16140 = PERSON ('', '', $, $, $, $);
#16150 = ORGANIZATION ($, '', '');
#16160 = PERSON_AND_ORGANIZATION (#16140, #16150);
#16170 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16160, #16130, (#15940));
#16180 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#16190 = SECURITY_CLASSIFICATION ('', '', #16180);
#16200 = APPROVAL_STATUS ('approved');
#16210 = APPROVAL (#16200, '');
#16220 = CALENDAR_DATE (2017, 17, 2);
#16230 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16240 = LOCAL_TIME (11, 5, 44., #16230);
#16250 = DATE_AND_TIME (#16220, #16240);
#16260 = APPROVAL_DATE_TIME (#16250, #16210);
#16270 = APPROVAL_ROLE ('');
#16280 = PERSON ('', '', $, $, $, $);
#16290 = ORGANIZATION ($, '', '');
#16300 = PERSON_AND_ORGANIZATION (#16280, #16290);
#16310 = APPROVAL_PERSON_ORGANIZATION (#16300, #16210, #16270);
#16320 = CC_DESIGN_APPROVAL (#16210, (#16190));
#16330 = DATE_TIME_ROLE ('classification_date');
#16340 = CALENDAR_DATE (2017, 17, 2);
#16350 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16360 = LOCAL_TIME (11, 5, 44., #16350);
#16370 = DATE_AND_TIME (#16340, #16360);
#16380 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#16370, #16330, (#16190));
#16390 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#16400 = PERSON ('', '', $, $, $, $);
#16410 = ORGANIZATION ($, '', '');
#16420 = PERSON_AND_ORGANIZATION (#16400, #16410);
#16430 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16420, #16390, (#16190));
#16440 = CC_DESIGN_SECURITY_CLASSIFICATION (#16190, (#15940));
#16450 = DESIGN_CONTEXT ('', #15840, 'design');
#16460 = PRODUCT_DEFINITION ('', '', #15940, #16450);
#16470 = APPROVAL_STATUS ('approved');
#16480 = APPROVAL (#16470, '');
#16490 = CALENDAR_DATE (2017, 17, 2);
#16500 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16510 = LOCAL_TIME (11, 5, 44., #16500);
#16520 = DATE_AND_TIME (#16490, #16510);
#16530 = APPROVAL_DATE_TIME (#16520, #16480);
#16540 = APPROVAL_ROLE ('');
#16550 = PERSON ('', '', $, $, $, $);
#16560 = ORGANIZATION ($, '', '');
#16570 = PERSON_AND_ORGANIZATION (#16550, #16560);
#16580 = APPROVAL_PERSON_ORGANIZATION (#16570, #16480, #16540);
#16590 = CC_DESIGN_APPROVAL (#16480, (#16460));
#16600 = DATE_TIME_ROLE ('creation_date');
#16610 = CALENDAR_DATE (2017, 17, 2);
#16620 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16630 = LOCAL_TIME (11, 5, 44., #16620);
#16640 = DATE_AND_TIME (#16610, #16630);
#16650 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#16640, #16600, (#16460));
#16660 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#16670 = PERSON ('', '', $, $, $, $);
#16680 = ORGANIZATION ($, '', '');
#16690 = PERSON_AND_ORGANIZATION (#16670, #16680);
#16700 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16690, #16660, (#16460));
#16710 = PRODUCT_DEFINITION_SHAPE ('', '', #16460);
#16720 = SHAPE_DEFINITION_REPRESENTATION (#16710, #15830);
ENDSEC;
END-ISO-10303-21;