ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('HSE 1212UD-L-SE2403-ET12-ACS1-S1.stp', '2018-08-16T10:29:30', ('TDM Systems GmbH'), ('TDM Systems GmbH'), 'HarmonyWare STEP v2.0.2.9', 'TDM', '');
FILE_SCHEMA (('CONFIG_CONTROL_DESIGN'));
ENDSEC;

DATA;
#10 = CARTESIAN_POINT ('', (-83.5, -6., 12.));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (-83.5, -6., 0.));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (-83.5, -6., 12.));
#60 = CARTESIAN_POINT ('', (-83.5, -6., 0.));
#70 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#50, #60), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#80 = EDGE_CURVE ('', #20, #40, #70, .T.);
#90 = ORIENTED_EDGE ('', *, *, #80, .F.);
#100 = CARTESIAN_POINT ('', (-83.5, 6., 12.));
#110 = VERTEX_POINT ('', #100);
#120 = CARTESIAN_POINT ('', (-83.5, -6., 12.));
#130 = CARTESIAN_POINT ('', (-83.5, 6., 12.));
#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 ('', (-83.5, 6., -6.78808643843546E-16));
#180 = VERTEX_POINT ('', #170);
#190 = CARTESIAN_POINT ('', (-83.5, 6., 12.));
#200 = CARTESIAN_POINT ('', (-83.5, 6., -7.34788079488412E-16));
#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 ('', (-83.5, 6., -6.78808643843546E-16));
#250 = CARTESIAN_POINT ('', (-83.5, -6., 0.));
#260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#240, #250), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#270 = EDGE_CURVE ('', #180, #40, #260, .T.);
#280 = ORIENTED_EDGE ('', *, *, #270, .T.);
#290 = EDGE_LOOP ('', (#90, #160, #230, #280));
#300 = FACE_OUTER_BOUND ('', #290, .T.);
#310 = CARTESIAN_POINT ('', (-83.5, -6.001, 12.001));
#320 = CARTESIAN_POINT ('', (-83.5, -6.001, -0.001));
#330 = CARTESIAN_POINT ('', (-83.5, 6.001, 12.001));
#340 = CARTESIAN_POINT ('', (-83.5, 6.001, -0.00100000000000073));
#350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#310, #320), (#330, #340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.000999999999999446, 12.001), (-12.001, 0.001), .UNSPECIFIED.);
#360 = ADVANCED_FACE ('', (#300), #350, .T.);
#370 = CARTESIAN_POINT ('', (21.5, -5.75000000000001, 12.1317822411696));
#380 = VERTEX_POINT ('', #370);
#390 = CARTESIAN_POINT ('', (21.5, -3.25000000000001, 12.1317822411696));
#400 = VERTEX_POINT ('', #390);
#410 = CARTESIAN_POINT ('', (21.5, -5.75000000000001, 12.1317822411696));
#420 = CARTESIAN_POINT ('', (21.5, -3.25000000000001, 12.1317822411696));
#430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#410, #420), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#440 = EDGE_CURVE ('', #380, #400, #430, .T.);
#450 = ORIENTED_EDGE ('', *, *, #440, .F.);
#460 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, 11.6186199842161));
#470 = VERTEX_POINT ('', #460);
#480 = CARTESIAN_POINT ('', (21.5, -5.75000000000001, 12.1317822411696));
#490 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, 11.6186199842161));
#500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#480, #490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#510 = EDGE_CURVE ('', #380, #470, #500, .T.);
#520 = ORIENTED_EDGE ('', *, *, #510, .T.);
#530 = CARTESIAN_POINT ('', (13.5, -6.00000000000001, 11.5723677456215));
#540 = VERTEX_POINT ('', #530);
#550 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, 11.6186199842161));
#560 = CARTESIAN_POINT ('', (13.783473354757, -5.75000000000001, 11.5921901335907));
#570 = CARTESIAN_POINT ('', (13.5, -6.00000000000004, 11.5723677456216));
#580 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#550, #560, #570), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (90., 131.409622109274), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.935414346693477, 1.))
   REPRESENTATION_ITEM ('')
);
#590 = EDGE_CURVE ('', #470, #540, #580, .T.);
#600 = ORIENTED_EDGE ('', *, *, #590, .T.);
#610 = CARTESIAN_POINT ('', (1.68005023677441, -6., 10.7458363413468));
#620 = VERTEX_POINT ('', #610);
#630 = CARTESIAN_POINT ('', (1.68005023677441, -6., 10.7458363413468));
#640 = CARTESIAN_POINT ('', (13.5, -6.00000000000001, 11.5723677456215));
#650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#630, #640), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#660 = EDGE_CURVE ('', #620, #540, #650, .T.);
#670 = ORIENTED_EDGE ('', *, *, #660, .F.);
#680 = CARTESIAN_POINT ('', (1.68005023677441, -2.9, 10.7458363413468));
#690 = VERTEX_POINT ('', #680);
#700 = CARTESIAN_POINT ('', (1.68005023677441, -6., 10.7458363413468));
#710 = CARTESIAN_POINT ('', (1.68005023677441, -2.9, 10.7458363413468));
#720 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#700, #710), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#730 = EDGE_CURVE ('', #620, #690, #720, .T.);
#740 = ORIENTED_EDGE ('', *, *, #730, .T.);
#750 = CARTESIAN_POINT ('', (13.7400657923215, -2.9, 11.5891547811353));
#760 = VERTEX_POINT ('', #750);
#770 = CARTESIAN_POINT ('', (13.7400657923215, -2.9, 11.5891547811353));
#780 = CARTESIAN_POINT ('', (1.68005023677441, -2.9, 10.7458363413468));
#790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#770, #780), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#800 = EDGE_CURVE ('', #760, #690, #790, .T.);
#810 = ORIENTED_EDGE ('', *, *, #800, .F.);
#820 = CARTESIAN_POINT ('', (13.9000000000001, -3.05, 11.6003384703989));
#830 = VERTEX_POINT ('', #820);
#840 = CARTESIAN_POINT ('', (13.9000000000001, -3.05, 11.6003384703989));
#850 = CARTESIAN_POINT ('', (13.8412923042294, -3.00596922817207, 11.5962332283972));
#860 = CARTESIAN_POINT ('', (13.7877657951351, -2.95576748283758, 11.5924902902617));
#870 = CARTESIAN_POINT ('', (13.7400657923215, -2.9, 11.5891547811353));
#880 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#840, #850, #860, #870), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.995981308355955, 0.995981308355955, 1.))
   REPRESENTATION_ITEM ('')
);
#890 = EDGE_CURVE ('', #830, #760, #880, .T.);
#900 = ORIENTED_EDGE ('', *, *, #890, .F.);
#910 = CARTESIAN_POINT ('', (14.5, -3.25000000000001, 11.642294557565));
#920 = VERTEX_POINT ('', #910);
#930 = CARTESIAN_POINT ('', (14.5, -3.25, 11.642294557565));
#940 = CARTESIAN_POINT ('', (14.1666666666667, -3.25, 11.6189856202505));
#950 = CARTESIAN_POINT ('', (13.9000000000001, -3.05000000000006, 11.6003384703989));
#960 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#930, #940, #950), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (90., 126.869897645839), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.948683298050527, 1.))
   REPRESENTATION_ITEM ('')
);
#970 = EDGE_CURVE ('', #920, #830, #960, .T.);
#980 = ORIENTED_EDGE ('', *, *, #970, .F.);
#990 = CARTESIAN_POINT ('', (21.5, -3.25000000000001, 12.1317822411696));
#1000 = CARTESIAN_POINT ('', (14.5, -3.25000000000001, 11.642294557565));
#1010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#990, #1000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1020 = EDGE_CURVE ('', #400, #920, #1010, .T.);
#1030 = ORIENTED_EDGE ('', *, *, #1020, .F.);
#1040 = EDGE_LOOP ('', (#450, #520, #600, #670, #740, #810, #900, #980, #1030));
#1050 = FACE_OUTER_BOUND ('', #1040, .T.);
#1060 = CARTESIAN_POINT ('', (1.67898551618956, -2.899, 10.7457618888307));
#1070 = CARTESIAN_POINT ('', (1.67898551618956, -6.00100000000004, 10.7457618888307));
#1080 = CARTESIAN_POINT ('', (21.5010647205849, -2.89900000000001, 12.1318566936857));
#1090 = CARTESIAN_POINT ('', (21.5010647205849, -6.00100000000004, 12.1318566936857));
#1100 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1060, #1070), (#1080, #1090)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-14.6447203044495, 5.22576239711982), (-0.00099999999999989, 3.10100000000003), .UNSPECIFIED.);
#1110 = ADVANCED_FACE ('', (#1050), #1100, .T.);
#1120 = CARTESIAN_POINT ('', (1., -6., 13.));
#1130 = VERTEX_POINT ('', #1120);
#1140 = CARTESIAN_POINT ('', (1., -6., 15.5));
#1150 = VERTEX_POINT ('', #1140);
#1160 = CARTESIAN_POINT ('', (1., -6., 13.));
#1170 = CARTESIAN_POINT ('', (1., -6., 15.5));
#1180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1160, #1170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1190 = EDGE_CURVE ('', #1130, #1150, #1180, .T.);
#1200 = ORIENTED_EDGE ('', *, *, #1190, .T.);
#1210 = CARTESIAN_POINT ('', (1., 6., 15.5));
#1220 = VERTEX_POINT ('', #1210);
#1230 = CARTESIAN_POINT ('', (1., -6., 15.5));
#1240 = CARTESIAN_POINT ('', (1., 6., 15.5));
#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 ('', (1., 5.99999999999999, 13.));
#1290 = VERTEX_POINT ('', #1280);
#1300 = CARTESIAN_POINT ('', (1., 5.99999999999999, 13.));
#1310 = CARTESIAN_POINT ('', (1., 6., 15.5));
#1320 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1300, #1310), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1330 = EDGE_CURVE ('', #1290, #1220, #1320, .T.);
#1340 = ORIENTED_EDGE ('', *, *, #1330, .F.);
#1350 = CARTESIAN_POINT ('', (1., 5.99999999999999, 13.));
#1360 = CARTESIAN_POINT ('', (1., -6., 13.));
#1370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1350, #1360), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1380 = EDGE_CURVE ('', #1290, #1130, #1370, .T.);
#1390 = ORIENTED_EDGE ('', *, *, #1380, .T.);
#1400 = EDGE_LOOP ('', (#1200, #1270, #1340, #1390));
#1410 = FACE_OUTER_BOUND ('', #1400, .T.);
#1420 = CARTESIAN_POINT ('', (0.999999999999986, 6.001, 15.501));
#1430 = CARTESIAN_POINT ('', (0.999999999999986, -6.001, 15.501));
#1440 = CARTESIAN_POINT ('', (1.00000000000001, 6.00099999999999, 12.999));
#1450 = CARTESIAN_POINT ('', (1.00000000000001, -6.001, 12.999));
#1460 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1420, #1430), (#1440, #1450)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.999000000000001, 3.501), (-0.000999999999999446, 12.001), .UNSPECIFIED.);
#1470 = ADVANCED_FACE ('', (#1410), #1460, .T.);
#1480 = ORIENTED_EDGE ('', *, *, #970, .T.);
#1490 = ORIENTED_EDGE ('', *, *, #890, .T.);
#1500 = CARTESIAN_POINT ('', (13.7400657923215, -2.90000000000001, 6.29626155926668));
#1510 = VERTEX_POINT ('', #1500);
#1520 = CARTESIAN_POINT ('', (13.7400657923215, -2.90000000000001, 6.29626155926668));
#1530 = CARTESIAN_POINT ('', (13.7400657923215, -2.9, 11.5891547811353));
#1540 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1520, #1530), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1550 = EDGE_CURVE ('', #1510, #760, #1540, .T.);
#1560 = ORIENTED_EDGE ('', *, *, #1550, .F.);
#1570 = CARTESIAN_POINT ('', (14.5, -3.25000000000001, 6.34940133569645));
#1580 = VERTEX_POINT ('', #1570);
#1590 = CARTESIAN_POINT ('', (14.5, -3.25000000000001, 6.34940133569645));
#1600 = CARTESIAN_POINT ('', (14.0394338135282, -3.25000000000001, 6.3171954105875));
#1610 = CARTESIAN_POINT ('', (13.7400657923215, -2.90000000000003, 6.29626155926668));
#1620 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1590, #1600, #1610), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (90., 139.458398126493), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.908295106229255, 1.))
   REPRESENTATION_ITEM ('')
);
#1630 = EDGE_CURVE ('', #1580, #1510, #1620, .T.);
#1640 = ORIENTED_EDGE ('', *, *, #1630, .F.);
#1650 = CARTESIAN_POINT ('', (14.5, -3.25000000000001, -4.));
#1660 = VERTEX_POINT ('', #1650);
#1670 = CARTESIAN_POINT ('', (14.5, -3.25000000000001, -4.));
#1680 = CARTESIAN_POINT ('', (14.5, -3.25000000000001, 6.34940133569645));
#1690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1670, #1680), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1700 = EDGE_CURVE ('', #1660, #1580, #1690, .T.);
#1710 = ORIENTED_EDGE ('', *, *, #1700, .F.);
#1720 = CARTESIAN_POINT ('', (13.5, -2.25000000000001, -4.));
#1730 = VERTEX_POINT ('', #1720);
#1740 = CARTESIAN_POINT ('', (13.5, -2.25000000000001, -4.));
#1750 = CARTESIAN_POINT ('', (13.5, -3.25000000000001, -4.));
#1760 = CARTESIAN_POINT ('', (14.5, -3.25000000000001, -4.));
#1770 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1740, #1750, #1760), .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 ('')
);
#1780 = EDGE_CURVE ('', #1730, #1660, #1770, .T.);
#1790 = ORIENTED_EDGE ('', *, *, #1780, .F.);
#1800 = CARTESIAN_POINT ('', (13.5, -2.25, 16.5));
#1810 = VERTEX_POINT ('', #1800);
#1820 = CARTESIAN_POINT ('', (13.5, -2.25, 16.5));
#1830 = CARTESIAN_POINT ('', (13.5, -2.25000000000001, -4.));
#1840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1820, #1830), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1850 = EDGE_CURVE ('', #1810, #1730, #1840, .T.);
#1860 = ORIENTED_EDGE ('', *, *, #1850, .F.);
#1870 = CARTESIAN_POINT ('', (14.5, -3.25000000000001, 16.5));
#1880 = VERTEX_POINT ('', #1870);
#1890 = CARTESIAN_POINT ('', (14.5, -3.25000000000001, 16.5));
#1900 = CARTESIAN_POINT ('', (13.5, -3.25, 16.5));
#1910 = CARTESIAN_POINT ('', (13.5, -2.25000000000001, 16.5));
#1920 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1890, #1900, #1910), .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 ('')
);
#1930 = EDGE_CURVE ('', #1880, #1810, #1920, .T.);
#1940 = ORIENTED_EDGE ('', *, *, #1930, .F.);
#1950 = CARTESIAN_POINT ('', (14.5, -3.25000000000001, 11.642294557565));
#1960 = CARTESIAN_POINT ('', (14.5, -3.25000000000001, 16.5));
#1970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1950, #1960), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1980 = EDGE_CURVE ('', #920, #1880, #1970, .T.);
#1990 = ORIENTED_EDGE ('', *, *, #1980, .F.);
#2000 = EDGE_LOOP ('', (#1480, #1490, #1560, #1640, #1710, #1790, #1860, #1940, #1990));
#2010 = FACE_OUTER_BOUND ('', #2000, .T.);
#2020 = CARTESIAN_POINT ('', (13.5, -2.25000000000001, -6.0512));
#2030 = CARTESIAN_POINT ('', (13.5, -2.25, 18.5512));
#2040 = CARTESIAN_POINT ('', (13.5, -1.25000000000001, -6.0512));
#2050 = CARTESIAN_POINT ('', (13.5, -1.25000000000001, 18.5512));
#2060 = CARTESIAN_POINT ('', (14.5, -1.25000000000002, -6.0512));
#2070 = CARTESIAN_POINT ('', (14.5, -1.25000000000001, 18.5512));
#2080 = CARTESIAN_POINT ('', (15.5, -1.25000000000002, -6.0512));
#2090 = CARTESIAN_POINT ('', (15.5, -1.25000000000002, 18.5512));
#2100 = CARTESIAN_POINT ('', (15.5, -2.25000000000002, -6.0512));
#2110 = CARTESIAN_POINT ('', (15.5, -2.25000000000002, 18.5512));
#2120 = CARTESIAN_POINT ('', (15.5, -3.25000000000002, -6.0512));
#2130 = CARTESIAN_POINT ('', (15.5, -3.25000000000002, 18.5512));
#2140 = CARTESIAN_POINT ('', (14.5, -3.25000000000002, -6.0512));
#2150 = CARTESIAN_POINT ('', (14.5, -3.25000000000001, 18.5512));
#2160 = CARTESIAN_POINT ('', (13.5, -3.25000000000001, -6.0512));
#2170 = CARTESIAN_POINT ('', (13.5, -3.25, 18.5512));
#2180 = CARTESIAN_POINT ('', (13.5, -2.25000000000001, -6.0512));
#2190 = CARTESIAN_POINT ('', (13.5, -2.25, 18.5512));
#2200 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#2020, #2030), (#2040, #2050), (#2060, #2070), (#2080, #2090), (#2100, #2110), (#2120, #2130), (#2140, #2150), (#2160, #2170), (#2180, #2190)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.750000000000001, 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 ('')
);
#2210 = ADVANCED_FACE ('', (#2010), #2200, .T.);
#2220 = CARTESIAN_POINT ('', (26., -3.25000000000001, 7.15355967304674));
#2230 = VERTEX_POINT ('', #2220);
#2240 = CARTESIAN_POINT ('', (26., -3.25000000000001, -4.));
#2250 = VERTEX_POINT ('', #2240);
#2260 = CARTESIAN_POINT ('', (26., -3.25000000000001, 7.15355967304674));
#2270 = CARTESIAN_POINT ('', (26., -3.25000000000001, -4.));
#2280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2260, #2270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2290 = EDGE_CURVE ('', #2230, #2250, #2280, .T.);
#2300 = ORIENTED_EDGE ('', *, *, #2290, .F.);
#2310 = CARTESIAN_POINT ('', (26., -5.75000000000001, 7.15355967304675));
#2320 = VERTEX_POINT ('', #2310);
#2330 = CARTESIAN_POINT ('', (26., -3.25000000000001, 7.15355967304674));
#2340 = CARTESIAN_POINT ('', (26., -5.75000000000001, 7.15355967304675));
#2350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2330, #2340), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2360 = EDGE_CURVE ('', #2230, #2320, #2350, .T.);
#2370 = ORIENTED_EDGE ('', *, *, #2360, .T.);
#2380 = CARTESIAN_POINT ('', (26., -5.75000000000001, -4.));
#2390 = VERTEX_POINT ('', #2380);
#2400 = CARTESIAN_POINT ('', (26., -5.75000000000001, 7.15355967304675));
#2410 = CARTESIAN_POINT ('', (26., -5.75000000000001, -4.));
#2420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2400, #2410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2430 = EDGE_CURVE ('', #2320, #2390, #2420, .T.);
#2440 = ORIENTED_EDGE ('', *, *, #2430, .T.);
#2450 = CARTESIAN_POINT ('', (26., -5.75000000000001, -4.));
#2460 = CARTESIAN_POINT ('', (26., -3.25000000000001, -4.));
#2470 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2450, #2460), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2480 = EDGE_CURVE ('', #2390, #2250, #2470, .T.);
#2490 = ORIENTED_EDGE ('', *, *, #2480, .T.);
#2500 = EDGE_LOOP ('', (#2300, #2370, #2440, #2490));
#2510 = FACE_OUTER_BOUND ('', #2500, .T.);
#2520 = CARTESIAN_POINT ('', (26., -3.24900000000001, 7.15455967304675));
#2530 = CARTESIAN_POINT ('', (26., -3.24900000000001, -4.001));
#2540 = CARTESIAN_POINT ('', (26., -5.75100000000001, 7.15455967304675));
#2550 = CARTESIAN_POINT ('', (26., -5.75100000000001, -4.001));
#2560 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2520, #2530), (#2540, #2550)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-11.751, -9.249), (-7.15455967304676, 4.00099999999999), .UNSPECIFIED.);
#2570 = ADVANCED_FACE ('', (#2510), #2560, .T.);
#2580 = ORIENTED_EDGE ('', *, *, #1700, .T.);
#2590 = CARTESIAN_POINT ('', (26., -3.25000000000001, 7.15355967304674));
#2600 = CARTESIAN_POINT ('', (14.5, -3.25000000000001, 6.34940133569645));
#2610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2590, #2600), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2620 = EDGE_CURVE ('', #2230, #1580, #2610, .T.);
#2630 = ORIENTED_EDGE ('', *, *, #2620, .F.);
#2640 = ORIENTED_EDGE ('', *, *, #2290, .T.);
#2650 = CARTESIAN_POINT ('', (14.5, -3.25000000000001, -4.));
#2660 = CARTESIAN_POINT ('', (26., -3.25000000000001, -4.));
#2670 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2650, #2660), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2680 = EDGE_CURVE ('', #1660, #2250, #2670, .T.);
#2690 = ORIENTED_EDGE ('', *, *, #2680, .F.);
#2700 = EDGE_LOOP ('', (#2580, #2630, #2640, #2690));
#2710 = FACE_OUTER_BOUND ('', #2700, .T.);
#2720 = CARTESIAN_POINT ('', (14.499, -3.25000000000001, 7.15455967304674));
#2730 = CARTESIAN_POINT ('', (14.499, -3.25000000000001, -4.001));
#2740 = CARTESIAN_POINT ('', (26.001, -3.25000000000001, 7.15455967304674));
#2750 = CARTESIAN_POINT ('', (26.001, -3.25000000000001, -4.001));
#2760 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2720, #2730), (#2740, #2750)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-16.501, -4.999), (9.34544032695326, 20.501), .UNSPECIFIED.);
#2770 = ADVANCED_FACE ('', (#2710), #2760, .T.);
#2780 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, 6.32572676234747));
#2790 = VERTEX_POINT ('', #2780);
#2800 = CARTESIAN_POINT ('', (26., -5.75000000000001, 7.15355967304675));
#2810 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, 6.32572676234747));
#2820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2800, #2810), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2830 = EDGE_CURVE ('', #2320, #2790, #2820, .T.);
#2840 = ORIENTED_EDGE ('', *, *, #2830, .T.);
#2850 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, -4.));
#2860 = VERTEX_POINT ('', #2850);
#2870 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, 6.32572676234747));
#2880 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, -4.));
#2890 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2870, #2880), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2900 = EDGE_CURVE ('', #2790, #2860, #2890, .T.);
#2910 = ORIENTED_EDGE ('', *, *, #2900, .T.);
#2920 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, -4.));
#2930 = CARTESIAN_POINT ('', (26., -5.75000000000001, -4.));
#2940 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2920, #2930), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2950 = EDGE_CURVE ('', #2860, #2390, #2940, .T.);
#2960 = ORIENTED_EDGE ('', *, *, #2950, .T.);
#2970 = ORIENTED_EDGE ('', *, *, #2430, .F.);
#2980 = EDGE_LOOP ('', (#2840, #2910, #2960, #2970));
#2990 = FACE_OUTER_BOUND ('', #2980, .T.);
#3000 = CARTESIAN_POINT ('', (26.001, -5.75000000000001, 7.15455967304675));
#3010 = CARTESIAN_POINT ('', (26.001, -5.75000000000001, -4.001));
#3020 = CARTESIAN_POINT ('', (14.1604378277662, -5.75000000000001, 7.15455967304675));
#3030 = CARTESIAN_POINT ('', (14.1604378277662, -5.75000000000001, -4.001));
#3040 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3000, #3010), (#3020, #3030)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-16.8395621722338, -4.999), (-11.1545596730468, 0.00100000000000033), .UNSPECIFIED.);
#3050 = ADVANCED_FACE ('', (#2990), #3040, .T.);
#3060 = ORIENTED_EDGE ('', *, *, #2900, .F.);
#3070 = CARTESIAN_POINT ('', (13.5, -6.00000000000001, 6.27947452375295));
#3080 = VERTEX_POINT ('', #3070);
#3090 = CARTESIAN_POINT ('', (13.5, -6.00000000000004, 6.27947452375294));
#3100 = CARTESIAN_POINT ('', (13.783473354757, -5.75000000000001, 6.29929691172203));
#3110 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, 6.32572676234747));
#3120 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3090, #3100, #3110), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (228.590377890727, 270.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.935414346693477, 1.))
   REPRESENTATION_ITEM ('')
);
#3130 = EDGE_CURVE ('', #3080, #2790, #3120, .T.);
#3140 = ORIENTED_EDGE ('', *, *, #3130, .F.);
#3150 = CARTESIAN_POINT ('', (13.5, -6.00000000000001, -4.));
#3160 = VERTEX_POINT ('', #3150);
#3170 = CARTESIAN_POINT ('', (13.5, -6.00000000000001, 6.27947452375295));
#3180 = CARTESIAN_POINT ('', (13.5, -6.00000000000001, -4.));
#3190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3170, #3180), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3200 = EDGE_CURVE ('', #3080, #3160, #3190, .T.);
#3210 = ORIENTED_EDGE ('', *, *, #3200, .T.);
#3220 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, -4.));
#3230 = CARTESIAN_POINT ('', (13.783473354757, -5.75000000000001, -4.));
#3240 = CARTESIAN_POINT ('', (13.5, -6.00000000000004, -4.));
#3250 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3220, #3230, #3240), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (270., 311.409622109273), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.935414346693477, 1.))
   REPRESENTATION_ITEM ('')
);
#3260 = EDGE_CURVE ('', #2860, #3160, #3250, .T.);
#3270 = ORIENTED_EDGE ('', *, *, #3260, .F.);
#3280 = EDGE_LOOP ('', (#3060, #3140, #3210, #3270));
#3290 = FACE_OUTER_BOUND ('', #3280, .T.);
#3300 = CARTESIAN_POINT ('', (13.1614378277662, -6.75000000000001, -5.03377267623475));
#3310 = CARTESIAN_POINT ('', (13.1614378277662, -6.75000000000001, 7.35949943858222));
#3320 = CARTESIAN_POINT ('', (13.1614378277662, -5.75000000000001, -5.03377267623475));
#3330 = CARTESIAN_POINT ('', (13.1614378277662, -5.75000000000001, 7.35949943858222));
#3340 = CARTESIAN_POINT ('', (14.1614378277662, -5.75, -5.03377267623475));
#3350 = CARTESIAN_POINT ('', (14.1614378277662, -5.74999999999999, 7.35949943858222));
#3360 = CARTESIAN_POINT ('', (15.1614378277662, -5.74999999999999, -5.03377267623475));
#3370 = CARTESIAN_POINT ('', (15.1614378277662, -5.74999999999998, 7.35949943858222));
#3380 = CARTESIAN_POINT ('', (15.1614378277662, -6.74999999999999, -5.03377267623475));
#3390 = CARTESIAN_POINT ('', (15.1614378277662, -6.74999999999998, 7.35949943858222));
#3400 = CARTESIAN_POINT ('', (15.1614378277662, -7.74999999999999, -5.03377267623475));
#3410 = CARTESIAN_POINT ('', (15.1614378277662, -7.74999999999998, 7.35949943858222));
#3420 = CARTESIAN_POINT ('', (14.1614378277662, -7.75, -5.03377267623475));
#3430 = CARTESIAN_POINT ('', (14.1614378277662, -7.74999999999999, 7.35949943858222));
#3440 = CARTESIAN_POINT ('', (13.1614378277662, -7.75000000000001, -5.03377267623475));
#3450 = CARTESIAN_POINT ('', (13.1614378277662, -7.75000000000001, 7.35949943858222));
#3460 = CARTESIAN_POINT ('', (13.1614378277662, -6.75000000000001, -5.03377267623475));
#3470 = CARTESIAN_POINT ('', (13.1614378277662, -6.75000000000001, 7.35949943858222));
#3480 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#3300, #3310), (#3320, #3330), (#3340, #3350), (#3360, #3370), (#3380, #3390), (#3400, #3410), (#3420, #3430), (#3440, #3450), (#3460, #3470)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.249999999999999, 0.5, 0.750000000000001, 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 ('')
);
#3490 = ADVANCED_FACE ('', (#3290), #3480, .T.);
#3500 = CARTESIAN_POINT ('', (0., 5.99999999999999, -0.200000000000011));
#3510 = VERTEX_POINT ('', #3500);
#3520 = CARTESIAN_POINT ('', (0., -6.00000000000001, -0.20000000000001));
#3530 = VERTEX_POINT ('', #3520);
#3540 = CARTESIAN_POINT ('', (0., 5.99999999999999, -0.200000000000011));
#3550 = CARTESIAN_POINT ('', (0., -6.00000000000001, -0.20000000000001));
#3560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3540, #3550), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3570 = EDGE_CURVE ('', #3510, #3530, #3560, .T.);
#3580 = ORIENTED_EDGE ('', *, *, #3570, .T.);
#3590 = CARTESIAN_POINT ('', (0., -6.00000000000001, -1.04083408558608E-14));
#3600 = VERTEX_POINT ('', #3590);
#3610 = CARTESIAN_POINT ('', (0., -6.00000000000001, -0.20000000000001));
#3620 = CARTESIAN_POINT ('', (0., -6.00000000000001, -1.04083408558608E-14));
#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 ('', (0., 5.99999999999999, -7.34788079488412E-16));
#3670 = VERTEX_POINT ('', #3660);
#3680 = CARTESIAN_POINT ('', (0., -6.00000000000001, -1.04083408558608E-14));
#3690 = CARTESIAN_POINT ('', (0., 5.99999999999999, -7.34788079488412E-16));
#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 ('', (0., 5.99999999999999, -0.200000000000011));
#3740 = CARTESIAN_POINT ('', (0., 5.99999999999999, -7.34788079488412E-16));
#3750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3730, #3740), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3760 = EDGE_CURVE ('', #3510, #3670, #3750, .T.);
#3770 = ORIENTED_EDGE ('', *, *, #3760, .F.);
#3780 = EDGE_LOOP ('', (#3580, #3650, #3720, #3770));
#3790 = FACE_OUTER_BOUND ('', #3780, .T.);
#3800 = CARTESIAN_POINT ('', (0., 6.001, 0.000999999999999269));
#3810 = CARTESIAN_POINT ('', (0., -6.00100000000001, 0.001));
#3820 = CARTESIAN_POINT ('', (0., 6.001, -0.201000000000011));
#3830 = CARTESIAN_POINT ('', (0., -6.00100000000001, -0.20100000000001));
#3840 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3800, #3810), (#3820, #3830)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.001, 0.20100000000001), (-38.3068928759318, -26.3048928759318), .UNSPECIFIED.);
#3850 = ADVANCED_FACE ('', (#3790), #3840, .T.);
#3860 = ORIENTED_EDGE ('', *, *, #270, .F.);
#3870 = CARTESIAN_POINT ('', (0., 5.99999999999999, -7.34788079488412E-16));
#3880 = CARTESIAN_POINT ('', (-83.5, 6., -6.78808643843546E-16));
#3890 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3870, #3880), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3900 = EDGE_CURVE ('', #3670, #180, #3890, .T.);
#3910 = ORIENTED_EDGE ('', *, *, #3900, .F.);
#3920 = ORIENTED_EDGE ('', *, *, #3710, .F.);
#3930 = CARTESIAN_POINT ('', (0., -6.00000000000001, -1.04083408558608E-14));
#3940 = CARTESIAN_POINT ('', (-83.5, -6., 0.));
#3950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3930, #3940), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3960 = EDGE_CURVE ('', #3600, #40, #3950, .T.);
#3970 = ORIENTED_EDGE ('', *, *, #3960, .T.);
#3980 = EDGE_LOOP ('', (#3860, #3910, #3920, #3970));
#3990 = FACE_OUTER_BOUND ('', #3980, .T.);
#4000 = CARTESIAN_POINT ('', (-83.501, 6.001, -7.34726847148455E-16));
#4010 = CARTESIAN_POINT ('', (-83.501, -6.001, 1.83697019871539E-19));
#4020 = CARTESIAN_POINT ('', (0.000999999999990564, 6.00099999999999, -1.09607725493887E-14));
#4030 = CARTESIAN_POINT ('', (0.000999999999990564, -6.001, -1.02258620052203E-14));
#4040 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4000, #4010), (#4020, #4030)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-83.501, 0.001), (-0.000999999999999446, 12.001), .UNSPECIFIED.);
#4050 = ADVANCED_FACE ('', (#3990), #4040, .T.);
#4060 = ORIENTED_EDGE ('', *, *, #150, .F.);
#4070 = CARTESIAN_POINT ('', (0., -6., 12.));
#4080 = VERTEX_POINT ('', #4070);
#4090 = CARTESIAN_POINT ('', (-83.5, -6., 12.));
#4100 = CARTESIAN_POINT ('', (0., -6., 12.));
#4110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4090, #4100), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4120 = EDGE_CURVE ('', #20, #4080, #4110, .T.);
#4130 = ORIENTED_EDGE ('', *, *, #4120, .T.);
#4140 = CARTESIAN_POINT ('', (0., 5.99999999999999, 12.));
#4150 = VERTEX_POINT ('', #4140);
#4160 = CARTESIAN_POINT ('', (0., -6., 12.));
#4170 = CARTESIAN_POINT ('', (0., 5.99999999999999, 12.));
#4180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4160, #4170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4190 = EDGE_CURVE ('', #4080, #4150, #4180, .T.);
#4200 = ORIENTED_EDGE ('', *, *, #4190, .T.);
#4210 = CARTESIAN_POINT ('', (-83.5, 6., 12.));
#4220 = CARTESIAN_POINT ('', (0., 5.99999999999999, 12.));
#4230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4210, #4220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4240 = EDGE_CURVE ('', #110, #4150, #4230, .T.);
#4250 = ORIENTED_EDGE ('', *, *, #4240, .F.);
#4260 = EDGE_LOOP ('', (#4060, #4130, #4200, #4250));
#4270 = FACE_OUTER_BOUND ('', #4260, .T.);
#4280 = CARTESIAN_POINT ('', (0.00100000000000477, 6.00099999999999, 12.));
#4290 = CARTESIAN_POINT ('', (0.00100000000000477, -6.001, 12.));
#4300 = CARTESIAN_POINT ('', (-83.501, 6.001, 12.));
#4310 = CARTESIAN_POINT ('', (-83.501, -6.001, 12.));
#4320 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4280, #4290), (#4300, #4310)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000477, 83.501), (-0.000999999999999446, 12.001), .UNSPECIFIED.);
#4330 = ADVANCED_FACE ('', (#4270), #4320, .T.);
#4340 = CARTESIAN_POINT ('', (13.5, 3., 16.5));
#4350 = VERTEX_POINT ('', #4340);
#4360 = CARTESIAN_POINT ('', (13.5, -2.25, 16.5));
#4370 = CARTESIAN_POINT ('', (13.5, 3., 16.5));
#4380 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4360, #4370), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4390 = EDGE_CURVE ('', #1810, #4350, #4380, .T.);
#4400 = ORIENTED_EDGE ('', *, *, #4390, .T.);
#4410 = CARTESIAN_POINT ('', (10.5, 6., 16.5));
#4420 = VERTEX_POINT ('', #4410);
#4430 = CARTESIAN_POINT ('', (13.5, 3., 16.5));
#4440 = CARTESIAN_POINT ('', (10.5, 6., 16.5));
#4450 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4430, #4440), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4460 = EDGE_CURVE ('', #4350, #4420, #4450, .T.);
#4470 = ORIENTED_EDGE ('', *, *, #4460, .T.);
#4480 = CARTESIAN_POINT ('', (2., 6., 16.5));
#4490 = VERTEX_POINT ('', #4480);
#4500 = CARTESIAN_POINT ('', (2., 6., 16.5));
#4510 = CARTESIAN_POINT ('', (10.5, 6., 16.5));
#4520 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4500, #4510), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4530 = EDGE_CURVE ('', #4490, #4420, #4520, .T.);
#4540 = ORIENTED_EDGE ('', *, *, #4530, .F.);
#4550 = CARTESIAN_POINT ('', (2., -6., 16.5));
#4560 = VERTEX_POINT ('', #4550);
#4570 = CARTESIAN_POINT ('', (2., 6., 16.5));
#4580 = CARTESIAN_POINT ('', (2., -6., 16.5));
#4590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4570, #4580), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4600 = EDGE_CURVE ('', #4490, #4560, #4590, .T.);
#4610 = ORIENTED_EDGE ('', *, *, #4600, .T.);
#4620 = CARTESIAN_POINT ('', (13.5, -6.00000000000001, 16.5));
#4630 = VERTEX_POINT ('', #4620);
#4640 = CARTESIAN_POINT ('', (2., -6., 16.5));
#4650 = CARTESIAN_POINT ('', (13.5, -6.00000000000001, 16.5));
#4660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4640, #4650), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4670 = EDGE_CURVE ('', #4560, #4630, #4660, .T.);
#4680 = ORIENTED_EDGE ('', *, *, #4670, .T.);
#4690 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, 16.5));
#4700 = VERTEX_POINT ('', #4690);
#4710 = CARTESIAN_POINT ('', (13.5, -6.00000000000003, 16.5));
#4720 = CARTESIAN_POINT ('', (13.783473354757, -5.75000000000001, 16.5));
#4730 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, 16.5));
#4740 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4710, #4720, #4730), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (48.5903778907266, 90.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.935414346693477, 1.))
   REPRESENTATION_ITEM ('')
);
#4750 = EDGE_CURVE ('', #4630, #4700, #4740, .T.);
#4760 = ORIENTED_EDGE ('', *, *, #4750, .T.);
#4770 = CARTESIAN_POINT ('', (14.6660757107498, -5.75000000000001, 16.5));
#4780 = VERTEX_POINT ('', #4770);
#4790 = CARTESIAN_POINT ('', (14.6660757107498, -5.75000000000001, 16.5));
#4800 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, 16.5));
#4810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4790, #4800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4820 = EDGE_CURVE ('', #4780, #4700, #4810, .T.);
#4830 = ORIENTED_EDGE ('', *, *, #4820, .F.);
#4840 = CARTESIAN_POINT ('', (14.6660757107498, -3.25000000000001, 16.5));
#4850 = VERTEX_POINT ('', #4840);
#4860 = CARTESIAN_POINT ('', (14.6660757107498, -3.25000000000001, 16.5));
#4870 = CARTESIAN_POINT ('', (14.6660757107498, -5.75000000000001, 16.5));
#4880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4860, #4870), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4890 = EDGE_CURVE ('', #4850, #4780, #4880, .T.);
#4900 = ORIENTED_EDGE ('', *, *, #4890, .F.);
#4910 = CARTESIAN_POINT ('', (14.5, -3.25000000000001, 16.5));
#4920 = CARTESIAN_POINT ('', (14.6660757107498, -3.25000000000001, 16.5));
#4930 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4910, #4920), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4940 = EDGE_CURVE ('', #1880, #4850, #4930, .T.);
#4950 = ORIENTED_EDGE ('', *, *, #4940, .F.);
#4960 = ORIENTED_EDGE ('', *, *, #1930, .T.);
#4970 = EDGE_LOOP ('', (#4400, #4470, #4540, #4610, #4680, #4760, #4830, #4900, #4950, #4960));
#4980 = FACE_OUTER_BOUND ('', #4970, .T.);
#4990 = CARTESIAN_POINT ('', (14.6670757107498, 6.001, 16.5));
#5000 = CARTESIAN_POINT ('', (14.6670757107498, -6.00100000000004, 16.5));
#5010 = CARTESIAN_POINT ('', (1.999, 6.001, 16.5));
#5020 = CARTESIAN_POINT ('', (1.999, -6.00100000000003, 16.5));
#5030 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4990, #5000), (#5010, #5020)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.998999999999995, 13.6670757107498), (-0.000999999999999446, 12.001), .UNSPECIFIED.);
#5040 = ADVANCED_FACE ('', (#4980), #5030, .T.);
#5050 = CARTESIAN_POINT ('', (10.5, 5.99999999999999, -4.));
#5060 = VERTEX_POINT ('', #5050);
#5070 = CARTESIAN_POINT ('', (10.5, 6., 16.5));
#5080 = CARTESIAN_POINT ('', (10.5, 5.99999999999999, -4.));
#5090 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5070, #5080), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5100 = EDGE_CURVE ('', #4420, #5060, #5090, .T.);
#5110 = ORIENTED_EDGE ('', *, *, #5100, .T.);
#5120 = CARTESIAN_POINT ('', (0., 5.99999999999999, -4.));
#5130 = VERTEX_POINT ('', #5120);
#5140 = CARTESIAN_POINT ('', (10.5, 5.99999999999999, -4.));
#5150 = CARTESIAN_POINT ('', (0., 5.99999999999999, -4.));
#5160 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5140, #5150), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5170 = EDGE_CURVE ('', #5060, #5130, #5160, .T.);
#5180 = ORIENTED_EDGE ('', *, *, #5170, .T.);
#5190 = CARTESIAN_POINT ('', (0., 5.99999999999999, -3.2));
#5200 = VERTEX_POINT ('', #5190);
#5210 = CARTESIAN_POINT ('', (0., 5.99999999999999, -4.));
#5220 = CARTESIAN_POINT ('', (0., 5.99999999999999, -3.2));
#5230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5210, #5220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5240 = EDGE_CURVE ('', #5130, #5200, #5230, .T.);
#5250 = ORIENTED_EDGE ('', *, *, #5240, .T.);
#5260 = CARTESIAN_POINT ('', (0.200000000000003, 5.99999999999999, -3.2));
#5270 = VERTEX_POINT ('', #5260);
#5280 = CARTESIAN_POINT ('', (0.200000000000003, 5.99999999999999, -3.2));
#5290 = CARTESIAN_POINT ('', (0., 5.99999999999999, -3.2));
#5300 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5280, #5290), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5310 = EDGE_CURVE ('', #5270, #5200, #5300, .T.);
#5320 = ORIENTED_EDGE ('', *, *, #5310, .F.);
#5330 = CARTESIAN_POINT ('', (0.200000000000003, 5.99999999999999, -0.200000000000011));
#5340 = VERTEX_POINT ('', #5330);
#5350 = CARTESIAN_POINT ('', (0.200000000000003, 5.99999999999999, -0.200000000000011));
#5360 = CARTESIAN_POINT ('', (0.200000000000003, 5.99999999999999, -3.2));
#5370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5350, #5360), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5380 = EDGE_CURVE ('', #5340, #5270, #5370, .T.);
#5390 = ORIENTED_EDGE ('', *, *, #5380, .F.);
#5400 = CARTESIAN_POINT ('', (0., 5.99999999999999, -0.200000000000011));
#5410 = CARTESIAN_POINT ('', (0.200000000000003, 5.99999999999999, -0.200000000000011));
#5420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5400, #5410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5430 = EDGE_CURVE ('', #3510, #5340, #5420, .T.);
#5440 = ORIENTED_EDGE ('', *, *, #5430, .F.);
#5450 = ORIENTED_EDGE ('', *, *, #3760, .T.);
#5460 = ORIENTED_EDGE ('', *, *, #3900, .T.);
#5470 = ORIENTED_EDGE ('', *, *, #220, .F.);
#5480 = ORIENTED_EDGE ('', *, *, #4240, .T.);
#5490 = CARTESIAN_POINT ('', (0., 5.99999999999999, 12.));
#5500 = CARTESIAN_POINT ('', (1., 6., 12.));
#5510 = CARTESIAN_POINT ('', (1., 5.99999999999999, 13.));
#5520 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5490, #5500, #5510), .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 ('')
);
#5530 = EDGE_CURVE ('', #4150, #1290, #5520, .T.);
#5540 = ORIENTED_EDGE ('', *, *, #5530, .T.);
#5550 = ORIENTED_EDGE ('', *, *, #1330, .T.);
#5560 = CARTESIAN_POINT ('', (1., 6., 15.5));
#5570 = CARTESIAN_POINT ('', (2., 6., 16.5));
#5580 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5560, #5570), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5590 = EDGE_CURVE ('', #1220, #4490, #5580, .T.);
#5600 = ORIENTED_EDGE ('', *, *, #5590, .T.);
#5610 = ORIENTED_EDGE ('', *, *, #4530, .T.);
#5620 = EDGE_LOOP ('', (#5110, #5180, #5250, #5320, #5390, #5440, #5450, #5460, #5470, #5480, #5540, #5550, #5600, #5610));
#5630 = FACE_OUTER_BOUND ('', #5620, .T.);
#5640 = CARTESIAN_POINT ('', (-83.501, 6., 16.501));
#5650 = CARTESIAN_POINT ('', (-83.501, 6., -4.001));
#5660 = CARTESIAN_POINT ('', (10.501, 6., 16.501));
#5670 = CARTESIAN_POINT ('', (10.501, 5.99999999999999, -4.001));
#5680 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5640, #5650), (#5660, #5670)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (15.499, 109.501), (-16.501, 4.00099999999999), .UNSPECIFIED.);
#5690 = ADVANCED_FACE ('', (#5630), #5680, .T.);
#5700 = ORIENTED_EDGE ('', *, *, #3200, .F.);
#5710 = CARTESIAN_POINT ('', (3.544710493533, -6.00000000000001, 5.5833328665911));
#5720 = VERTEX_POINT ('', #5710);
#5730 = CARTESIAN_POINT ('', (3.544710493533, -6.00000000000001, 5.5833328665911));
#5740 = CARTESIAN_POINT ('', (13.5, -6.00000000000001, 6.27947452375295));
#5750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5730, #5740), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5760 = EDGE_CURVE ('', #5720, #3080, #5750, .T.);
#5770 = ORIENTED_EDGE ('', *, *, #5760, .F.);
#5780 = CARTESIAN_POINT ('', (3.4205439702685, -6., 7.35899687605359));
#5790 = VERTEX_POINT ('', #5780);
#5800 = CARTESIAN_POINT ('', (3.4205439702685, -6., 7.35899687605359));
#5810 = CARTESIAN_POINT ('', (3.544710493533, -6.00000000000001, 5.5833328665911));
#5820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5800, #5810), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5830 = EDGE_CURVE ('', #5790, #5720, #5820, .T.);
#5840 = ORIENTED_EDGE ('', *, *, #5830, .F.);
#5850 = CARTESIAN_POINT ('', (1.9241978948787, -6., 7.25436216543741));
#5860 = VERTEX_POINT ('', #5850);
#5870 = CARTESIAN_POINT ('', (1.9241978948787, -6., 7.25436216543741));
#5880 = CARTESIAN_POINT ('', (3.4205439702685, -6., 7.35899687605359));
#5890 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5870, #5880), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5900 = EDGE_CURVE ('', #5860, #5790, #5890, .T.);
#5910 = ORIENTED_EDGE ('', *, *, #5900, .F.);
#5920 = CARTESIAN_POINT ('', (1.68005023677441, -6., 10.7458363413468));
#5930 = CARTESIAN_POINT ('', (1.9241978948787, -6., 7.25436216543741));
#5940 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5920, #5930), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5950 = EDGE_CURVE ('', #620, #5860, #5940, .T.);
#5960 = ORIENTED_EDGE ('', *, *, #5950, .F.);
#5970 = ORIENTED_EDGE ('', *, *, #660, .T.);
#5980 = CARTESIAN_POINT ('', (13.5, -6.00000000000001, 16.5));
#5990 = CARTESIAN_POINT ('', (13.5, -6.00000000000001, 11.5723677456215));
#6000 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5980, #5990), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6010 = EDGE_CURVE ('', #4630, #540, #6000, .T.);
#6020 = ORIENTED_EDGE ('', *, *, #6010, .F.);
#6030 = ORIENTED_EDGE ('', *, *, #4670, .F.);
#6040 = CARTESIAN_POINT ('', (2., -6., 16.5));
#6050 = CARTESIAN_POINT ('', (1., -6., 15.5));
#6060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6040, #6050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6070 = EDGE_CURVE ('', #4560, #1150, #6060, .T.);
#6080 = ORIENTED_EDGE ('', *, *, #6070, .T.);
#6090 = ORIENTED_EDGE ('', *, *, #1190, .F.);
#6100 = CARTESIAN_POINT ('', (1., -6., 13.));
#6110 = CARTESIAN_POINT ('', (1., -6., 12.));
#6120 = CARTESIAN_POINT ('', (0., -6., 12.));
#6130 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6100, #6110, #6120), .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 ('')
);
#6140 = EDGE_CURVE ('', #1130, #4080, #6130, .T.);
#6150 = ORIENTED_EDGE ('', *, *, #6140, .T.);
#6160 = ORIENTED_EDGE ('', *, *, #4120, .F.);
#6170 = ORIENTED_EDGE ('', *, *, #80, .T.);
#6180 = ORIENTED_EDGE ('', *, *, #3960, .F.);
#6190 = ORIENTED_EDGE ('', *, *, #3640, .F.);
#6200 = CARTESIAN_POINT ('', (0.200000000000003, -6.00000000000001, -0.20000000000001));
#6210 = VERTEX_POINT ('', #6200);
#6220 = CARTESIAN_POINT ('', (0.200000000000003, -6.00000000000001, -0.20000000000001));
#6230 = CARTESIAN_POINT ('', (0., -6.00000000000001, -0.20000000000001));
#6240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6220, #6230), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6250 = EDGE_CURVE ('', #6210, #3530, #6240, .T.);
#6260 = ORIENTED_EDGE ('', *, *, #6250, .F.);
#6270 = CARTESIAN_POINT ('', (0.200000000000003, -6.00000000000001, -3.2));
#6280 = VERTEX_POINT ('', #6270);
#6290 = CARTESIAN_POINT ('', (0.200000000000003, -6.00000000000001, -3.2));
#6300 = CARTESIAN_POINT ('', (0.200000000000003, -6.00000000000001, -0.20000000000001));
#6310 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6290, #6300), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6320 = EDGE_CURVE ('', #6280, #6210, #6310, .T.);
#6330 = ORIENTED_EDGE ('', *, *, #6320, .F.);
#6340 = CARTESIAN_POINT ('', (0., -6.00000000000001, -3.2));
#6350 = VERTEX_POINT ('', #6340);
#6360 = CARTESIAN_POINT ('', (0., -6.00000000000001, -3.2));
#6370 = CARTESIAN_POINT ('', (0.200000000000003, -6.00000000000001, -3.2));
#6380 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6360, #6370), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6390 = EDGE_CURVE ('', #6350, #6280, #6380, .T.);
#6400 = ORIENTED_EDGE ('', *, *, #6390, .F.);
#6410 = CARTESIAN_POINT ('', (0., -6.00000000000001, -4.));
#6420 = VERTEX_POINT ('', #6410);
#6430 = CARTESIAN_POINT ('', (0., -6.00000000000001, -4.));
#6440 = CARTESIAN_POINT ('', (0., -6.00000000000001, -3.2));
#6450 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6430, #6440), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6460 = EDGE_CURVE ('', #6420, #6350, #6450, .T.);
#6470 = ORIENTED_EDGE ('', *, *, #6460, .F.);
#6480 = CARTESIAN_POINT ('', (13.5, -6.00000000000001, -4.));
#6490 = CARTESIAN_POINT ('', (0., -6.00000000000001, -4.));
#6500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6480, #6490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6510 = EDGE_CURVE ('', #3160, #6420, #6500, .T.);
#6520 = ORIENTED_EDGE ('', *, *, #6510, .F.);
#6530 = EDGE_LOOP ('', (#5700, #5770, #5840, #5910, #5960, #5970, #6020, #6030, #6080, #6090, #6150, #6160, #6170, #6180, #6190, #6260, #6330, #6400, #6470, #6520));
#6540 = FACE_OUTER_BOUND ('', #6530, .T.);
#6550 = CARTESIAN_POINT ('', (13.501, -6.00000000000001, 16.501));
#6560 = CARTESIAN_POINT ('', (13.501, -6.00000000000001, -4.001));
#6570 = CARTESIAN_POINT ('', (-83.501, -6., 16.501));
#6580 = CARTESIAN_POINT ('', (-83.501, -6., -4.001));
#6590 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6550, #6560), (#6570, #6580)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (12.499, 109.501), (-16.501, 4.00099999999999), .UNSPECIFIED.);
#6600 = ADVANCED_FACE ('', (#6540), #6590, .T.);
#6610 = ORIENTED_EDGE ('', *, *, #5530, .F.);
#6620 = ORIENTED_EDGE ('', *, *, #4190, .F.);
#6630 = ORIENTED_EDGE ('', *, *, #6140, .F.);
#6640 = ORIENTED_EDGE ('', *, *, #1380, .F.);
#6650 = EDGE_LOOP ('', (#6610, #6620, #6630, #6640));
#6660 = FACE_OUTER_BOUND ('', #6650, .T.);
#6670 = CARTESIAN_POINT ('', (1.00000000000001, -7.2012, 13.));
#6680 = CARTESIAN_POINT ('', (1.00000000000001, 7.20119999999999, 13.));
#6690 = CARTESIAN_POINT ('', (1.00000000000003, -7.2012, 14.));
#6700 = CARTESIAN_POINT ('', (1.00000000000003, 7.20119999999999, 14.));
#6710 = CARTESIAN_POINT ('', (2.8421709430404E-14, -7.2012, 14.));
#6720 = CARTESIAN_POINT ('', (2.8421709430404E-14, 7.20119999999999, 14.));
#6730 = CARTESIAN_POINT ('', (-0.999999999999972, -7.2012, 14.));
#6740 = CARTESIAN_POINT ('', (-0.999999999999972, 7.20119999999999, 14.));
#6750 = CARTESIAN_POINT ('', (-0.999999999999986, -7.2012, 13.));
#6760 = CARTESIAN_POINT ('', (-0.999999999999986, 7.20119999999999, 13.));
#6770 = CARTESIAN_POINT ('', (-1., -7.2012, 12.));
#6780 = CARTESIAN_POINT ('', (-1., 7.20119999999999, 12.));
#6790 = CARTESIAN_POINT ('', (0., -7.2012, 12.));
#6800 = CARTESIAN_POINT ('', (0., 7.20119999999999, 12.));
#6810 = CARTESIAN_POINT ('', (1., -7.2012, 12.));
#6820 = CARTESIAN_POINT ('', (1., 7.20119999999999, 12.));
#6830 = CARTESIAN_POINT ('', (1.00000000000001, -7.2012, 13.));
#6840 = CARTESIAN_POINT ('', (1.00000000000001, 7.20119999999999, 13.));
#6850 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6670, #6680), (#6690, #6700), (#6710, #6720), (#6730, #6740), (#6750, #6760), (#6770, #6780), (#6790, #6800), (#6810, #6820), (#6830, #6840)), .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 ('')
);
#6860 = ADVANCED_FACE ('', (#6660), #6850, .T.);
#6870 = ORIENTED_EDGE ('', *, *, #5170, .F.);
#6880 = CARTESIAN_POINT ('', (13.5, 2.99999999999999, -4.));
#6890 = VERTEX_POINT ('', #6880);
#6900 = CARTESIAN_POINT ('', (10.5, 5.99999999999999, -4.));
#6910 = CARTESIAN_POINT ('', (13.5, 2.99999999999999, -4.));
#6920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6900, #6910), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6930 = EDGE_CURVE ('', #5060, #6890, #6920, .T.);
#6940 = ORIENTED_EDGE ('', *, *, #6930, .T.);
#6950 = CARTESIAN_POINT ('', (13.5, -2.25000000000001, -4.));
#6960 = CARTESIAN_POINT ('', (13.5, 2.99999999999999, -4.));
#6970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6950, #6960), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6980 = EDGE_CURVE ('', #1730, #6890, #6970, .T.);
#6990 = ORIENTED_EDGE ('', *, *, #6980, .F.);
#7000 = ORIENTED_EDGE ('', *, *, #1780, .T.);
#7010 = ORIENTED_EDGE ('', *, *, #2680, .T.);
#7020 = ORIENTED_EDGE ('', *, *, #2480, .F.);
#7030 = ORIENTED_EDGE ('', *, *, #2950, .F.);
#7040 = ORIENTED_EDGE ('', *, *, #3260, .T.);
#7050 = ORIENTED_EDGE ('', *, *, #6510, .T.);
#7060 = CARTESIAN_POINT ('', (0., -6.00000000000001, -4.));
#7070 = CARTESIAN_POINT ('', (0., 5.99999999999999, -4.));
#7080 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7060, #7070), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7090 = EDGE_CURVE ('', #6420, #5130, #7080, .T.);
#7100 = ORIENTED_EDGE ('', *, *, #7090, .T.);
#7110 = EDGE_LOOP ('', (#6870, #6940, #6990, #7000, #7010, #7020, #7030, #7040, #7050, #7100));
#7120 = FACE_OUTER_BOUND ('', #7110, .T.);
#7130 = CARTESIAN_POINT ('', (-0.00100000000000477, 6.001, -4.));
#7140 = CARTESIAN_POINT ('', (-0.00100000000000477, -6.00100000000003, -4.));
#7150 = CARTESIAN_POINT ('', (26.001, 6.00099999999999, -4.));
#7160 = CARTESIAN_POINT ('', (26.001, -6.00100000000003, -4.));
#7170 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7130, #7140), (#7150, #7160)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-26.001, 0.00100000000000477), (-38.3068928759318, -26.3048928759318), .UNSPECIFIED.);
#7180 = ADVANCED_FACE ('', (#7120), #7170, .T.);
#7190 = CARTESIAN_POINT ('', (0., 5.99999999999999, -3.2));
#7200 = CARTESIAN_POINT ('', (0., -6.00000000000001, -3.2));
#7210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7190, #7200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7220 = EDGE_CURVE ('', #5200, #6350, #7210, .T.);
#7230 = ORIENTED_EDGE ('', *, *, #7220, .F.);
#7240 = ORIENTED_EDGE ('', *, *, #5240, .F.);
#7250 = ORIENTED_EDGE ('', *, *, #7090, .F.);
#7260 = ORIENTED_EDGE ('', *, *, #6460, .T.);
#7270 = EDGE_LOOP ('', (#7230, #7240, #7250, #7260));
#7280 = FACE_OUTER_BOUND ('', #7270, .T.);
#7290 = CARTESIAN_POINT ('', (0., 6.00099999999999, -3.199));
#7300 = CARTESIAN_POINT ('', (0., -6.00100000000001, -3.199));
#7310 = CARTESIAN_POINT ('', (0., 6.00099999999999, -4.001));
#7320 = CARTESIAN_POINT ('', (0., -6.00100000000001, -4.001));
#7330 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7290, #7300), (#7310, #7320)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (3.199, 4.001), (-38.3068928759318, -26.3048928759318), .UNSPECIFIED.);
#7340 = ADVANCED_FACE ('', (#7280), #7330, .T.);
#7350 = ORIENTED_EDGE ('', *, *, #5430, .T.);
#7360 = CARTESIAN_POINT ('', (0.200000000000003, 5.99999999999999, -0.200000000000011));
#7370 = CARTESIAN_POINT ('', (0.200000000000003, -6.00000000000001, -0.20000000000001));
#7380 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7360, #7370), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7390 = EDGE_CURVE ('', #5340, #6210, #7380, .T.);
#7400 = ORIENTED_EDGE ('', *, *, #7390, .T.);
#7410 = ORIENTED_EDGE ('', *, *, #6250, .T.);
#7420 = ORIENTED_EDGE ('', *, *, #3570, .F.);
#7430 = EDGE_LOOP ('', (#7350, #7400, #7410, #7420));
#7440 = FACE_OUTER_BOUND ('', #7430, .T.);
#7450 = CARTESIAN_POINT ('', (-0.00100000000000477, 6.00099999999999, -0.200000000000011));
#7460 = CARTESIAN_POINT ('', (-0.00100000000000477, -6.001, -0.20000000000001));
#7470 = CARTESIAN_POINT ('', (0.201000000000008, 6.00099999999999, -0.200000000000011));
#7480 = CARTESIAN_POINT ('', (0.201000000000008, -6.001, -0.20000000000001));
#7490 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7450, #7460), (#7470, #7480)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.201000000000008, 0.00100000000000477), (3.0056592756746, 15.0076592756746), .UNSPECIFIED.);
#7500 = ADVANCED_FACE ('', (#7440), #7490, .T.);
#7510 = ORIENTED_EDGE ('', *, *, #5380, .T.);
#7520 = CARTESIAN_POINT ('', (0.200000000000003, 5.99999999999999, -3.2));
#7530 = CARTESIAN_POINT ('', (0.200000000000003, -6.00000000000001, -3.2));
#7540 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7520, #7530), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7550 = EDGE_CURVE ('', #5270, #6280, #7540, .T.);
#7560 = ORIENTED_EDGE ('', *, *, #7550, .T.);
#7570 = ORIENTED_EDGE ('', *, *, #6320, .T.);
#7580 = ORIENTED_EDGE ('', *, *, #7390, .F.);
#7590 = EDGE_LOOP ('', (#7510, #7560, #7570, #7580));
#7600 = FACE_OUTER_BOUND ('', #7590, .T.);
#7610 = CARTESIAN_POINT ('', (0.200000000000003, -6.001, -0.19900000000001));
#7620 = CARTESIAN_POINT ('', (0.200000000000003, -6.001, -3.201));
#7630 = CARTESIAN_POINT ('', (0.200000000000003, 6.00099999999999, -0.199000000000011));
#7640 = CARTESIAN_POINT ('', (0.200000000000003, 6.00099999999999, -3.201));
#7650 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7610, #7620), (#7630, #7640)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (3.0056592756746, 15.0076592756746), (-0.00100000000000006, 3.00099999999999), .UNSPECIFIED.);
#7660 = ADVANCED_FACE ('', (#7600), #7650, .T.);
#7670 = ORIENTED_EDGE ('', *, *, #5310, .T.);
#7680 = ORIENTED_EDGE ('', *, *, #7220, .T.);
#7690 = ORIENTED_EDGE ('', *, *, #6390, .T.);
#7700 = ORIENTED_EDGE ('', *, *, #7550, .F.);
#7710 = EDGE_LOOP ('', (#7670, #7680, #7690, #7700));
#7720 = FACE_OUTER_BOUND ('', #7710, .T.);
#7730 = CARTESIAN_POINT ('', (0.201000000000008, 6.00099999999999, -3.2));
#7740 = CARTESIAN_POINT ('', (0.201000000000008, -6.001, -3.2));
#7750 = CARTESIAN_POINT ('', (-0.00100000000000477, 6.00099999999999, -3.2));
#7760 = CARTESIAN_POINT ('', (-0.00100000000000477, -6.001, -3.2));
#7770 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7730, #7740), (#7750, #7760)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000477, 0.201000000000008), (3.0056592756746, 15.0076592756746), .UNSPECIFIED.);
#7780 = ADVANCED_FACE ('', (#7720), #7770, .T.);
#7790 = CARTESIAN_POINT ('', (20.5, -3.25000000000001, 13.1317822411696));
#7800 = VERTEX_POINT ('', #7790);
#7810 = CARTESIAN_POINT ('', (21.5, -3.25000000000001, 12.1317822411696));
#7820 = CARTESIAN_POINT ('', (20.5, -3.25000000000001, 13.1317822411696));
#7830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7810, #7820), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7840 = EDGE_CURVE ('', #400, #7800, #7830, .T.);
#7850 = ORIENTED_EDGE ('', *, *, #7840, .F.);
#7860 = ORIENTED_EDGE ('', *, *, #1020, .T.);
#7870 = ORIENTED_EDGE ('', *, *, #1980, .T.);
#7880 = ORIENTED_EDGE ('', *, *, #4940, .T.);
#7890 = CARTESIAN_POINT ('', (20.5, -3.25000000000001, 13.1317822411696));
#7900 = CARTESIAN_POINT ('', (14.6660757107498, -3.25000000000001, 16.5));
#7910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7890, #7900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7920 = EDGE_CURVE ('', #7800, #4850, #7910, .T.);
#7930 = ORIENTED_EDGE ('', *, *, #7920, .F.);
#7940 = EDGE_LOOP ('', (#7850, #7860, #7870, #7880, #7930));
#7950 = FACE_OUTER_BOUND ('', #7940, .T.);
#7960 = CARTESIAN_POINT ('', (14.499, -3.25000000000001, 16.501));
#7970 = CARTESIAN_POINT ('', (14.499, -3.25000000000001, 11.641294557565));
#7980 = CARTESIAN_POINT ('', (21.501, -3.25000000000001, 16.501));
#7990 = CARTESIAN_POINT ('', (21.501, -3.25000000000001, 11.641294557565));
#8000 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7960, #7970), (#7980, #7990)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-16.501, -9.499), (-0.00100000000000122, 4.858705442435), .UNSPECIFIED.);
#8010 = ADVANCED_FACE ('', (#7950), #8000, .T.);
#8020 = ORIENTED_EDGE ('', *, *, #6980, .T.);
#8030 = CARTESIAN_POINT ('', (13.5, 2.99999999999999, -4.));
#8040 = CARTESIAN_POINT ('', (13.5, 3., 16.5));
#8050 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8030, #8040), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8060 = EDGE_CURVE ('', #6890, #4350, #8050, .T.);
#8070 = ORIENTED_EDGE ('', *, *, #8060, .T.);
#8080 = ORIENTED_EDGE ('', *, *, #4390, .F.);
#8090 = ORIENTED_EDGE ('', *, *, #1850, .T.);
#8100 = EDGE_LOOP ('', (#8020, #8070, #8080, #8090));
#8110 = FACE_OUTER_BOUND ('', #8100, .T.);
#8120 = CARTESIAN_POINT ('', (13.5, 3.001, 16.501));
#8130 = CARTESIAN_POINT ('', (13.5, 3.00099999999999, -4.001));
#8140 = CARTESIAN_POINT ('', (13.5, -2.251, 16.501));
#8150 = CARTESIAN_POINT ('', (13.5, -2.25100000000001, -4.001));
#8160 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8120, #8130), (#8140, #8150)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.999000000000001, 6.251), (-20.501, 0.00100000000000033), .UNSPECIFIED.);
#8170 = ADVANCED_FACE ('', (#8110), #8160, .T.);
#8180 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, 16.5));
#8190 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, 11.6186199842161));
#8200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8180, #8190), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8210 = EDGE_CURVE ('', #4700, #470, #8200, .T.);
#8220 = ORIENTED_EDGE ('', *, *, #8210, .T.);
#8230 = ORIENTED_EDGE ('', *, *, #510, .F.);
#8240 = CARTESIAN_POINT ('', (20.5, -5.75000000000001, 13.1317822411696));
#8250 = VERTEX_POINT ('', #8240);
#8260 = CARTESIAN_POINT ('', (21.5, -5.75000000000001, 12.1317822411696));
#8270 = CARTESIAN_POINT ('', (20.5, -5.75000000000001, 13.1317822411696));
#8280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8260, #8270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8290 = EDGE_CURVE ('', #380, #8250, #8280, .T.);
#8300 = ORIENTED_EDGE ('', *, *, #8290, .T.);
#8310 = CARTESIAN_POINT ('', (20.5, -5.75000000000001, 13.1317822411696));
#8320 = CARTESIAN_POINT ('', (14.6660757107498, -5.75000000000001, 16.5));
#8330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8310, #8320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8340 = EDGE_CURVE ('', #8250, #4780, #8330, .T.);
#8350 = ORIENTED_EDGE ('', *, *, #8340, .T.);
#8360 = ORIENTED_EDGE ('', *, *, #4820, .T.);
#8370 = EDGE_LOOP ('', (#8220, #8230, #8300, #8350, #8360));
#8380 = FACE_OUTER_BOUND ('', #8370, .T.);
#8390 = CARTESIAN_POINT ('', (21.501, -5.75000000000001, 16.501));
#8400 = CARTESIAN_POINT ('', (21.501, -5.75000000000001, 11.6176199842161));
#8410 = CARTESIAN_POINT ('', (14.1604378277662, -5.75000000000001, 16.501));
#8420 = CARTESIAN_POINT ('', (14.1604378277662, -5.75000000000001, 11.6176199842161));
#8430 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8390, #8400), (#8410, #8420)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-16.8395621722338, -9.499), (-20.501, -15.6176199842161), .UNSPECIFIED.);
#8440 = ADVANCED_FACE ('', (#8380), #8430, .T.);
#8450 = ORIENTED_EDGE ('', *, *, #6010, .T.);
#8460 = ORIENTED_EDGE ('', *, *, #590, .F.);
#8470 = ORIENTED_EDGE ('', *, *, #8210, .F.);
#8480 = ORIENTED_EDGE ('', *, *, #4750, .F.);
#8490 = EDGE_LOOP ('', (#8450, #8460, #8470, #8480));
#8500 = FACE_OUTER_BOUND ('', #8490, .T.);
#8510 = CARTESIAN_POINT ('', (13.1614378277662, -6.75000000000001, 11.0784045201837));
#8520 = CARTESIAN_POINT ('', (13.1614378277662, -6.75000000000001, 16.9939632254379));
#8530 = CARTESIAN_POINT ('', (13.1614378277662, -5.75000000000001, 11.0784045201837));
#8540 = CARTESIAN_POINT ('', (13.1614378277662, -5.75000000000001, 16.9939632254379));
#8550 = CARTESIAN_POINT ('', (14.1614378277662, -5.74999999999999, 11.0784045201837));
#8560 = CARTESIAN_POINT ('', (14.1614378277662, -5.74999999999999, 16.9939632254379));
#8570 = CARTESIAN_POINT ('', (15.1614378277662, -5.74999999999998, 11.0784045201837));
#8580 = CARTESIAN_POINT ('', (15.1614378277662, -5.74999999999998, 16.9939632254379));
#8590 = CARTESIAN_POINT ('', (15.1614378277662, -6.74999999999998, 11.0784045201837));
#8600 = CARTESIAN_POINT ('', (15.1614378277662, -6.74999999999998, 16.9939632254379));
#8610 = CARTESIAN_POINT ('', (15.1614378277662, -7.74999999999998, 11.0784045201837));
#8620 = CARTESIAN_POINT ('', (15.1614378277662, -7.74999999999998, 16.9939632254379));
#8630 = CARTESIAN_POINT ('', (14.1614378277662, -7.74999999999999, 11.0784045201837));
#8640 = CARTESIAN_POINT ('', (14.1614378277662, -7.74999999999999, 16.9939632254379));
#8650 = CARTESIAN_POINT ('', (13.1614378277662, -7.75000000000001, 11.0784045201837));
#8660 = CARTESIAN_POINT ('', (13.1614378277662, -7.75, 16.9939632254379));
#8670 = CARTESIAN_POINT ('', (13.1614378277662, -6.75000000000001, 11.0784045201837));
#8680 = CARTESIAN_POINT ('', (13.1614378277662, -6.75000000000001, 16.9939632254379));
#8690 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8510, #8520), (#8530, #8540), (#8550, #8560), (#8570, #8580), (#8590, #8600), (#8610, #8620), (#8630, #8640), (#8650, #8660), (#8670, #8680)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.249999999999999, 0.5, 0.750000000000001, 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 ('')
);
#8700 = ADVANCED_FACE ('', (#8500), #8690, .T.);
#8710 = ORIENTED_EDGE ('', *, *, #2620, .T.);
#8720 = ORIENTED_EDGE ('', *, *, #1630, .T.);
#8730 = CARTESIAN_POINT ('', (3.544710493533, -2.9, 5.5833328665911));
#8740 = VERTEX_POINT ('', #8730);
#8750 = CARTESIAN_POINT ('', (3.544710493533, -2.9, 5.5833328665911));
#8760 = CARTESIAN_POINT ('', (13.7400657923215, -2.90000000000001, 6.29626155926668));
#8770 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8750, #8760), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8780 = EDGE_CURVE ('', #8740, #1510, #8770, .T.);
#8790 = ORIENTED_EDGE ('', *, *, #8780, .F.);
#8800 = CARTESIAN_POINT ('', (3.544710493533, -2.9, 5.5833328665911));
#8810 = CARTESIAN_POINT ('', (3.544710493533, -6.00000000000001, 5.5833328665911));
#8820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8800, #8810), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8830 = EDGE_CURVE ('', #8740, #5720, #8820, .T.);
#8840 = ORIENTED_EDGE ('', *, *, #8830, .T.);
#8850 = ORIENTED_EDGE ('', *, *, #5760, .T.);
#8860 = ORIENTED_EDGE ('', *, *, #3130, .T.);
#8870 = ORIENTED_EDGE ('', *, *, #2830, .F.);
#8880 = ORIENTED_EDGE ('', *, *, #2360, .F.);
#8890 = EDGE_LOOP ('', (#8710, #8720, #8790, #8840, #8850, #8860, #8870, #8880));
#8900 = FACE_OUTER_BOUND ('', #8890, .T.);
#8910 = CARTESIAN_POINT ('', (26.0010647205849, -2.89900000000001, 7.15363412556285));
#8920 = CARTESIAN_POINT ('', (26.0010647205849, -6.00100000000004, 7.15363412556285));
#8930 = CARTESIAN_POINT ('', (3.54364577294814, -2.899, 5.58325841407498));
#8940 = CARTESIAN_POINT ('', (3.54364577294814, -6.00100000000004, 5.58325841407498));
#8950 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8910, #8920), (#8930, #8940)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-22.511190355349, 0.00106732052400105), (-0.00099999999999989, 3.10100000000003), .UNSPECIFIED.);
#8960 = ADVANCED_FACE ('', (#8900), #8950, .T.);
#8970 = ORIENTED_EDGE ('', *, *, #8780, .T.);
#8980 = ORIENTED_EDGE ('', *, *, #1550, .T.);
#8990 = ORIENTED_EDGE ('', *, *, #800, .T.);
#9000 = CARTESIAN_POINT ('', (1.9241978948787, -2.9, 7.25436216543741));
#9010 = VERTEX_POINT ('', #9000);
#9020 = CARTESIAN_POINT ('', (1.68005023677441, -2.9, 10.7458363413468));
#9030 = CARTESIAN_POINT ('', (1.9241978948787, -2.9, 7.25436216543741));
#9040 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9020, #9030), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9050 = EDGE_CURVE ('', #690, #9010, #9040, .T.);
#9060 = ORIENTED_EDGE ('', *, *, #9050, .T.);
#9070 = CARTESIAN_POINT ('', (3.4205439702685, -2.9, 7.35899687605359));
#9080 = VERTEX_POINT ('', #9070);
#9090 = CARTESIAN_POINT ('', (1.9241978948787, -2.9, 7.25436216543741));
#9100 = CARTESIAN_POINT ('', (3.4205439702685, -2.9, 7.35899687605359));
#9110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9090, #9100), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9120 = EDGE_CURVE ('', #9010, #9080, #9110, .T.);
#9130 = ORIENTED_EDGE ('', *, *, #9120, .T.);
#9140 = CARTESIAN_POINT ('', (3.4205439702685, -2.9, 7.35899687605359));
#9150 = CARTESIAN_POINT ('', (3.544710493533, -2.9, 5.5833328665911));
#9160 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9140, #9150), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9170 = EDGE_CURVE ('', #9080, #8740, #9160, .T.);
#9180 = ORIENTED_EDGE ('', *, *, #9170, .T.);
#9190 = EDGE_LOOP ('', (#8970, #8980, #8990, #9060, #9130, #9180));
#9200 = FACE_OUTER_BOUND ('', #9190, .T.);
#9210 = CARTESIAN_POINT ('', (13.7410657923215, -2.9, 11.5901547811353));
#9220 = CARTESIAN_POINT ('', (13.7410657923215, -2.90000000000001, 5.5823328665911));
#9230 = CARTESIAN_POINT ('', (1.6790502367744, -2.9, 11.5901547811353));
#9240 = CARTESIAN_POINT ('', (1.6790502367744, -2.9, 5.5823328665911));
#9250 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9210, #9220), (#9230, #9240)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (5.34191269490549, 17.4039282504526), (-3.71735009292398, 2.29047182162022), .UNSPECIFIED.);
#9260 = ADVANCED_FACE ('', (#9200), #9250, .T.);
#9270 = ORIENTED_EDGE ('', *, *, #5830, .T.);
#9280 = ORIENTED_EDGE ('', *, *, #8830, .F.);
#9290 = ORIENTED_EDGE ('', *, *, #9170, .F.);
#9300 = CARTESIAN_POINT ('', (3.4205439702685, -2.9, 7.35899687605359));
#9310 = CARTESIAN_POINT ('', (3.4205439702685, -6., 7.35899687605359));
#9320 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9300, #9310), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9330 = EDGE_CURVE ('', #9080, #5790, #9320, .T.);
#9340 = ORIENTED_EDGE ('', *, *, #9330, .T.);
#9350 = EDGE_LOOP ('', (#9270, #9280, #9290, #9340));
#9360 = FACE_OUTER_BOUND ('', #9350, .T.);
#9370 = CARTESIAN_POINT ('', (3.54478494604913, -2.89900000000001, 5.58226814600625));
#9380 = CARTESIAN_POINT ('', (3.54478494604913, -6.001, 5.58226814600625));
#9390 = CARTESIAN_POINT ('', (3.42046951775239, -2.89900000000001, 7.36006159663844));
#9400 = CARTESIAN_POINT ('', (3.42046951775239, -6.001, 7.36006159663844));
#9410 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9370, #9380), (#9390, #9400)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.23106732052401, -0.448932679475997), (-0.00099999999999989, 3.101), .UNSPECIFIED.);
#9420 = ADVANCED_FACE ('', (#9360), #9410, .T.);
#9430 = ORIENTED_EDGE ('', *, *, #5900, .T.);
#9440 = ORIENTED_EDGE ('', *, *, #9330, .F.);
#9450 = ORIENTED_EDGE ('', *, *, #9120, .F.);
#9460 = CARTESIAN_POINT ('', (1.9241978948787, -2.9, 7.25436216543741));
#9470 = CARTESIAN_POINT ('', (1.9241978948787, -6., 7.25436216543741));
#9480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9460, #9470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9490 = EDGE_CURVE ('', #9010, #5860, #9480, .T.);
#9500 = ORIENTED_EDGE ('', *, *, #9490, .T.);
#9510 = EDGE_LOOP ('', (#9430, #9440, #9450, #9500));
#9520 = FACE_OUTER_BOUND ('', #9510, .T.);
#9530 = CARTESIAN_POINT ('', (3.42160869085338, -2.899, 7.3590713285697));
#9540 = CARTESIAN_POINT ('', (3.42160869085338, -6.001, 7.3590713285697));
#9550 = CARTESIAN_POINT ('', (1.92313317429384, -2.899, 7.2542877129213));
#9560 = CARTESIAN_POINT ('', (1.92313317429384, -6.001, 7.2542877129213));
#9570 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9530, #9540), (#9550, #9560)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.30106732052403, 0.201067320524061), (-0.00099999999999989, 3.101), .UNSPECIFIED.);
#9580 = ADVANCED_FACE ('', (#9520), #9570, .T.);
#9590 = ORIENTED_EDGE ('', *, *, #5950, .T.);
#9600 = ORIENTED_EDGE ('', *, *, #9490, .F.);
#9610 = ORIENTED_EDGE ('', *, *, #9050, .F.);
#9620 = ORIENTED_EDGE ('', *, *, #730, .F.);
#9630 = EDGE_LOOP ('', (#9590, #9600, #9610, #9620));
#9640 = FACE_OUTER_BOUND ('', #9630, .T.);
#9650 = CARTESIAN_POINT ('', (1.92427234739479, -2.899, 7.25329744485256));
#9660 = CARTESIAN_POINT ('', (1.92427234739479, -6.001, 7.25329744485256));
#9670 = CARTESIAN_POINT ('', (1.67997578425822, -2.899, 10.7469010619316));
#9680 = CARTESIAN_POINT ('', (1.67997578425822, -6.001, 10.7469010619316));
#9690 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9650, #9660), (#9670, #9680)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.801067320523997, 2.70106732052401), (-0.00099999999999989, 3.101), .UNSPECIFIED.);
#9700 = ADVANCED_FACE ('', (#9640), #9690, .T.);
#9710 = ORIENTED_EDGE ('', *, *, #7920, .T.);
#9720 = ORIENTED_EDGE ('', *, *, #4890, .T.);
#9730 = ORIENTED_EDGE ('', *, *, #8340, .F.);
#9740 = CARTESIAN_POINT ('', (20.5, -3.25000000000001, 13.1317822411696));
#9750 = CARTESIAN_POINT ('', (20.5, -5.75000000000001, 13.1317822411696));
#9760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9740, #9750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9770 = EDGE_CURVE ('', #7800, #8250, #9760, .T.);
#9780 = ORIENTED_EDGE ('', *, *, #9770, .F.);
#9790 = EDGE_LOOP ('', (#9710, #9720, #9730, #9780));
#9800 = FACE_OUTER_BOUND ('', #9790, .T.);
#9810 = CARTESIAN_POINT ('', (20.5011830127019, -3.24900000000001, 13.1310992284677));
#9820 = CARTESIAN_POINT ('', (20.5011830127019, -5.751, 13.1310992284677));
#9830 = CARTESIAN_POINT ('', (14.6648926980479, -3.24900000000001, 16.5006830127019));
#9840 = CARTESIAN_POINT ('', (14.6648926980479, -5.751, 16.5006830127019));
#9850 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9810, #9820), (#9830, #9840)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-6.73780154306473, 0.00136602540379727), (9.249, 11.751), .UNSPECIFIED.);
#9860 = ADVANCED_FACE ('', (#9800), #9850, .T.);
#9870 = ORIENTED_EDGE ('', *, *, #440, .T.);
#9880 = ORIENTED_EDGE ('', *, *, #7840, .T.);
#9890 = ORIENTED_EDGE ('', *, *, #9770, .T.);
#9900 = ORIENTED_EDGE ('', *, *, #8290, .F.);
#9910 = EDGE_LOOP ('', (#9870, #9880, #9890, #9900));
#9920 = FACE_OUTER_BOUND ('', #9910, .T.);
#9930 = CARTESIAN_POINT ('', (21.501, -3.24900000000001, 12.1307822411696));
#9940 = CARTESIAN_POINT ('', (21.501, -5.751, 12.1307822411696));
#9950 = CARTESIAN_POINT ('', (20.499, -3.24900000000001, 13.1327822411696));
#9960 = CARTESIAN_POINT ('', (20.499, -5.751, 13.1327822411696));
#9970 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9930, #9940), (#9950, #9960)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.41562777593548, 0.00141421356237004), (9.249, 11.751), .UNSPECIFIED.);
#9980 = ADVANCED_FACE ('', (#9920), #9970, .T.);
#9990 = ORIENTED_EDGE ('', *, *, #5590, .F.);
#10000 = ORIENTED_EDGE ('', *, *, #1260, .F.);
#10010 = ORIENTED_EDGE ('', *, *, #6070, .F.);
#10020 = ORIENTED_EDGE ('', *, *, #4600, .F.);
#10030 = EDGE_LOOP ('', (#9990, #10000, #10010, #10020));
#10040 = FACE_OUTER_BOUND ('', #10030, .T.);
#10050 = CARTESIAN_POINT ('', (0.998999999999967, 6.00099999999999, 15.499));
#10060 = CARTESIAN_POINT ('', (2.00099999999999, 6.00099999999999, 16.501));
#10070 = CARTESIAN_POINT ('', (0.998999999999967, -6.001, 15.499));
#10080 = CARTESIAN_POINT ('', (2.00099999999999, -6.001, 16.501));
#10090 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10050, #10060), (#10070, #10080)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-12.001, 0.000999999999999446), (-1.41562777593548, 0.00141421356237004), .UNSPECIFIED.);
#10100 = ADVANCED_FACE ('', (#10040), #10090, .T.);
#10110 = ORIENTED_EDGE ('', *, *, #6930, .F.);
#10120 = ORIENTED_EDGE ('', *, *, #5100, .F.);
#10130 = ORIENTED_EDGE ('', *, *, #4460, .F.);
#10140 = ORIENTED_EDGE ('', *, *, #8060, .F.);
#10150 = EDGE_LOOP ('', (#10110, #10120, #10130, #10140));
#10160 = FACE_OUTER_BOUND ('', #10150, .T.);
#10170 = CARTESIAN_POINT ('', (10.499, 6.00099999999999, -4.001));
#10180 = CARTESIAN_POINT ('', (13.501, 2.99899999999999, -4.001));
#10190 = CARTESIAN_POINT ('', (10.499, 6.00099999999999, 16.501));
#10200 = CARTESIAN_POINT ('', (13.501, 2.99899999999999, 16.501));
#10210 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10170, #10180), (#10190, #10200)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-20.501, 0.00100000000000033), (-4.24405490068166, 0.00141421356237714), .UNSPECIFIED.);
#10220 = ADVANCED_FACE ('', (#10160), #10210, .T.);
#10230 = CLOSED_SHELL ('', (#360, #1110, #1470, #2210, #2570, #2770, #3050, #3490, #3850, #4050, #4330, #5040, #5690, #6600, #6860, #7180, #7340, #7500, #7660, #7780, #8010, #8170, #8440, #8700, #8960, #9260, #9420, #9580, #9700, #9860, #9980, #10100, #10220));
#10240 = MANIFOLD_SOLID_BREP ('NOCUT', #10230);
#10250 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#10260 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#10270 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#10280 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #10250, 'DISTANCE_ACCURACY_VALUE', '');
#10290 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#10280))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#10250, #10260, #10270))
   REPRESENTATION_CONTEXT ('', '3D')
);
#10300 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#10310 = FILL_AREA_STYLE_COLOUR ('', #10300);
#10320 = FILL_AREA_STYLE ('', (#10310));
#10330 = SURFACE_STYLE_FILL_AREA (#10320);
#10340 = SURFACE_SIDE_STYLE ('', (#10330));
#10350 = SURFACE_STYLE_USAGE (.POSITIVE., #10340);
#10360 = PRESENTATION_STYLE_ASSIGNMENT ((#10350));
#10370 = STYLED_ITEM ('', (#10360), #10240);
#10380 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#10240), #10290);
#10390 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#10400 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #10390);
#10410 = MECHANICAL_CONTEXT ('', #10390, 'mechanical');
#10420 = PRODUCT ('NONE', '', '', (#10410));
#10430 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#10440 = PERSON ('', '', $, $, $, $);
#10450 = ORGANIZATION ($, '', '');
#10460 = PERSON_AND_ORGANIZATION (#10440, #10450);
#10470 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10460, #10430, (#10420));
#10480 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#10420));
#10490 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #10420, .NOT_KNOWN.);
#10500 = APPROVAL_STATUS ('approved');
#10510 = APPROVAL (#10500, '');
#10520 = CALENDAR_DATE (2018, 16, 8);
#10530 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10540 = LOCAL_TIME (10, 29, 30., #10530);
#10550 = DATE_AND_TIME (#10520, #10540);
#10560 = APPROVAL_DATE_TIME (#10550, #10510);
#10570 = APPROVAL_ROLE ('');
#10580 = PERSON ('', '', $, $, $, $);
#10590 = ORGANIZATION ($, '', '');
#10600 = PERSON_AND_ORGANIZATION (#10580, #10590);
#10610 = APPROVAL_PERSON_ORGANIZATION (#10600, #10510, #10570);
#10620 = CC_DESIGN_APPROVAL (#10510, (#10490));
#10630 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#10640 = PERSON ('', '', $, $, $, $);
#10650 = ORGANIZATION ($, '', '');
#10660 = PERSON_AND_ORGANIZATION (#10640, #10650);
#10670 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10660, #10630, (#10490));
#10680 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#10690 = PERSON ('', '', $, $, $, $);
#10700 = ORGANIZATION ($, '', '');
#10710 = PERSON_AND_ORGANIZATION (#10690, #10700);
#10720 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10710, #10680, (#10490));
#10730 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#10740 = SECURITY_CLASSIFICATION ('', '', #10730);
#10750 = APPROVAL_STATUS ('approved');
#10760 = APPROVAL (#10750, '');
#10770 = CALENDAR_DATE (2018, 16, 8);
#10780 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10790 = LOCAL_TIME (10, 29, 30., #10780);
#10800 = DATE_AND_TIME (#10770, #10790);
#10810 = APPROVAL_DATE_TIME (#10800, #10760);
#10820 = APPROVAL_ROLE ('');
#10830 = PERSON ('', '', $, $, $, $);
#10840 = ORGANIZATION ($, '', '');
#10850 = PERSON_AND_ORGANIZATION (#10830, #10840);
#10860 = APPROVAL_PERSON_ORGANIZATION (#10850, #10760, #10820);
#10870 = CC_DESIGN_APPROVAL (#10760, (#10740));
#10880 = DATE_TIME_ROLE ('classification_date');
#10890 = CALENDAR_DATE (2018, 16, 8);
#10900 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10910 = LOCAL_TIME (10, 29, 30., #10900);
#10920 = DATE_AND_TIME (#10890, #10910);
#10930 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#10920, #10880, (#10740));
#10940 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#10950 = PERSON ('', '', $, $, $, $);
#10960 = ORGANIZATION ($, '', '');
#10970 = PERSON_AND_ORGANIZATION (#10950, #10960);
#10980 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10970, #10940, (#10740));
#10990 = CC_DESIGN_SECURITY_CLASSIFICATION (#10740, (#10490));
#11000 = DESIGN_CONTEXT ('', #10390, 'design');
#11010 = PRODUCT_DEFINITION ('', '', #10490, #11000);
#11020 = APPROVAL_STATUS ('approved');
#11030 = APPROVAL (#11020, '');
#11040 = CALENDAR_DATE (2018, 16, 8);
#11050 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#11060 = LOCAL_TIME (10, 29, 30., #11050);
#11070 = DATE_AND_TIME (#11040, #11060);
#11080 = APPROVAL_DATE_TIME (#11070, #11030);
#11090 = APPROVAL_ROLE ('');
#11100 = PERSON ('', '', $, $, $, $);
#11110 = ORGANIZATION ($, '', '');
#11120 = PERSON_AND_ORGANIZATION (#11100, #11110);
#11130 = APPROVAL_PERSON_ORGANIZATION (#11120, #11030, #11090);
#11140 = CC_DESIGN_APPROVAL (#11030, (#11010));
#11150 = DATE_TIME_ROLE ('creation_date');
#11160 = CALENDAR_DATE (2018, 16, 8);
#11170 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#11180 = LOCAL_TIME (10, 29, 30., #11170);
#11190 = DATE_AND_TIME (#11160, #11180);
#11200 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#11190, #11150, (#11010));
#11210 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#11220 = PERSON ('', '', $, $, $, $);
#11230 = ORGANIZATION ($, '', '');
#11240 = PERSON_AND_ORGANIZATION (#11220, #11230);
#11250 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#11240, #11210, (#11010));
#11260 = PRODUCT_DEFINITION_SHAPE ('', '', #11010);
#11270 = SHAPE_DEFINITION_REPRESENTATION (#11260, #10380);
#11280 = CARTESIAN_POINT ('', (26.189414434431, -3.25000000000001, 7.16680482058251));
#11290 = VERTEX_POINT ('', #11280);
#11300 = CARTESIAN_POINT ('', (3.544710493533, -3.25, 5.58333286659109));
#11310 = VERTEX_POINT ('', #11300);
#11320 = CARTESIAN_POINT ('', (26.189414434431, -3.25000000000001, 7.16680482058251));
#11330 = CARTESIAN_POINT ('', (3.544710493533, -3.25, 5.58333286659109));
#11340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11320, #11330), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11350 = EDGE_CURVE ('', #11290, #11310, #11340, .T.);
#11360 = ORIENTED_EDGE ('', *, *, #11350, .T.);
#11370 = CARTESIAN_POINT ('', (3.3500161368607, -3.25, 8.36759188342804));
#11380 = VERTEX_POINT ('', #11370);
#11390 = CARTESIAN_POINT ('', (3.544710493533, -3.25, 5.58333286659109));
#11400 = CARTESIAN_POINT ('', (3.3500161368607, -3.25, 8.36759188342804));
#11410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11390, #11400), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11420 = EDGE_CURVE ('', #11310, #11380, #11410, .T.);
#11430 = ORIENTED_EDGE ('', *, *, #11420, .T.);
#11440 = CARTESIAN_POINT ('', (5.85821936827, -3.25, 6.18724407861616));
#11450 = VERTEX_POINT ('', #11440);
#11460 = CARTESIAN_POINT ('', (3.3500161368607, -3.25, 8.36759188342804));
#11470 = CARTESIAN_POINT ('', (5.85821936827, -3.25, 6.18724407861616));
#11480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11460, #11470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11490 = EDGE_CURVE ('', #11380, #11450, #11480, .T.);
#11500 = ORIENTED_EDGE ('', *, *, #11490, .T.);
#11510 = CARTESIAN_POINT ('', (5.55424496322119, -3.25, 10.5342805958013));
#11520 = VERTEX_POINT ('', #11510);
#11530 = CARTESIAN_POINT ('', (5.85821936827, -3.25, 6.18724407861616));
#11540 = CARTESIAN_POINT ('', (5.55424496322119, -3.25, 10.5342805958013));
#11550 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11530, #11540), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11560 = EDGE_CURVE ('', #11450, #11520, #11550, .T.);
#11570 = ORIENTED_EDGE ('', *, *, #11560, .T.);
#11580 = CARTESIAN_POINT ('', (4.9058283305523, -3.25, 10.4889388878676));
#11590 = VERTEX_POINT ('', #11580);
#11600 = CARTESIAN_POINT ('', (5.55424496322119, -3.25, 10.5342805958013));
#11610 = CARTESIAN_POINT ('', (4.9058283305523, -3.25, 10.4889388878676));
#11620 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11600, #11610), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11630 = EDGE_CURVE ('', #11520, #11590, #11620, .T.);
#11640 = ORIENTED_EDGE ('', *, *, #11630, .T.);
#11650 = CARTESIAN_POINT ('', (5.35237336706621, -3.25, 11.0026301902745));
#11660 = VERTEX_POINT ('', #11650);
#11670 = CARTESIAN_POINT ('', (4.9058283305523, -3.25, 10.4889388878676));
#11680 = CARTESIAN_POINT ('', (5.35237336706621, -3.25, 11.0026301902745));
#11690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11670, #11680), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11700 = EDGE_CURVE ('', #11590, #11660, #11690, .T.);
#11710 = ORIENTED_EDGE ('', *, *, #11700, .T.);
#11720 = CARTESIAN_POINT ('', (23.64512319816, -3.25000000000001, 12.2817838676429));
#11730 = VERTEX_POINT ('', #11720);
#11740 = CARTESIAN_POINT ('', (5.35237336706621, -3.25, 11.0026301902745));
#11750 = CARTESIAN_POINT ('', (23.64512319816, -3.25000000000001, 12.2817838676429));
#11760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11740, #11750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11770 = EDGE_CURVE ('', #11660, #11730, #11760, .T.);
#11780 = ORIENTED_EDGE ('', *, *, #11770, .T.);
#11790 = CARTESIAN_POINT ('', (24.158814500567, -3.25000000000001, 11.835238831129));
#11800 = VERTEX_POINT ('', #11790);
#11810 = CARTESIAN_POINT ('', (24.158814500567, -3.25000000000001, 11.835238831129));
#11820 = CARTESIAN_POINT ('', (23.64512319816, -3.25000000000001, 12.2817838676429));
#11830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11810, #11820), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11840 = EDGE_CURVE ('', #11800, #11730, #11830, .T.);
#11850 = ORIENTED_EDGE ('', *, *, #11840, .F.);
#11860 = CARTESIAN_POINT ('', (23.510397867898, -3.25000000000001, 11.7898971231953));
#11870 = VERTEX_POINT ('', #11860);
#11880 = CARTESIAN_POINT ('', (23.510397867898, -3.25000000000001, 11.7898971231953));
#11890 = CARTESIAN_POINT ('', (24.158814500567, -3.25000000000001, 11.835238831129));
#11900 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11880, #11890), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11910 = EDGE_CURVE ('', #11870, #11800, #11900, .T.);
#11920 = ORIENTED_EDGE ('', *, *, #11910, .F.);
#11930 = CARTESIAN_POINT ('', (23.814372272947, -3.25000000000001, 7.44286060601023));
#11940 = VERTEX_POINT ('', #11930);
#11950 = CARTESIAN_POINT ('', (23.814372272947, -3.25000000000001, 7.44286060601023));
#11960 = CARTESIAN_POINT ('', (23.510397867898, -3.25000000000001, 11.7898971231953));
#11970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11950, #11960), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11980 = EDGE_CURVE ('', #11940, #11870, #11970, .T.);
#11990 = ORIENTED_EDGE ('', *, *, #11980, .F.);
#12000 = CARTESIAN_POINT ('', (25.994720077759, -3.25000000000001, 9.95106383741946));
#12010 = VERTEX_POINT ('', #12000);
#12020 = CARTESIAN_POINT ('', (25.994720077759, -3.25000000000001, 9.95106383741946));
#12030 = CARTESIAN_POINT ('', (23.814372272947, -3.25000000000001, 7.44286060601023));
#12040 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12020, #12030), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12050 = EDGE_CURVE ('', #12010, #11940, #12040, .T.);
#12060 = ORIENTED_EDGE ('', *, *, #12050, .F.);
#12070 = CARTESIAN_POINT ('', (26.189414434431, -3.25000000000001, 7.16680482058251));
#12080 = CARTESIAN_POINT ('', (25.994720077759, -3.25000000000001, 9.95106383741946));
#12090 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12070, #12080), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12100 = EDGE_CURVE ('', #11290, #12010, #12090, .T.);
#12110 = ORIENTED_EDGE ('', *, *, #12100, .F.);
#12120 = EDGE_LOOP ('', (#11360, #11430, #11500, #11570, #11640, #11710, #11780, #11850, #11920, #11990, #12060, #12110));
#12130 = FACE_OUTER_BOUND ('', #12120, .T.);
#12140 = CARTESIAN_POINT ('', (2.88275486503709, -3.25, 12.2501797033716));
#12150 = CARTESIAN_POINT ('', (3.46016159589985, -3.25, 3.99287875092291));
#12160 = CARTESIAN_POINT ('', (26.0792689753918, -3.25000000000001, 13.8722379833111));
#12170 = CARTESIAN_POINT ('', (26.6566757062546, -3.25000000000001, 5.61493703086243));
#12180 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12140, #12150), (#12160, #12170)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-22.8962874115287, 0.356870222121984), (-6.69778242337956, 1.57968201642052), .UNSPECIFIED.);
#12190 = ADVANCED_FACE ('', (#12130), #12180, .T.);
#12200 = CARTESIAN_POINT ('', (5.35237336706621, -5.75, 11.0026301902745));
#12210 = VERTEX_POINT ('', #12200);
#12220 = CARTESIAN_POINT ('', (23.64512319816, -5.75000000000001, 12.2817838676429));
#12230 = VERTEX_POINT ('', #12220);
#12240 = CARTESIAN_POINT ('', (5.35237336706621, -5.75, 11.0026301902745));
#12250 = CARTESIAN_POINT ('', (23.64512319816, -5.75000000000001, 12.2817838676429));
#12260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12240, #12250), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12270 = EDGE_CURVE ('', #12210, #12230, #12260, .T.);
#12280 = ORIENTED_EDGE ('', *, *, #12270, .F.);
#12290 = CARTESIAN_POINT ('', (4.9058283305523, -5.75, 10.4889388878676));
#12300 = VERTEX_POINT ('', #12290);
#12310 = CARTESIAN_POINT ('', (5.35237336706621, -5.75, 11.0026301902745));
#12320 = CARTESIAN_POINT ('', (4.9058283305523, -5.75, 10.4889388878676));
#12330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12310, #12320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12340 = EDGE_CURVE ('', #12210, #12300, #12330, .T.);
#12350 = ORIENTED_EDGE ('', *, *, #12340, .T.);
#12360 = CARTESIAN_POINT ('', (5.55424496322119, -5.75, 10.5342805958013));
#12370 = VERTEX_POINT ('', #12360);
#12380 = CARTESIAN_POINT ('', (5.55424496322119, -5.75, 10.5342805958013));
#12390 = CARTESIAN_POINT ('', (4.9058283305523, -5.75, 10.4889388878676));
#12400 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12380, #12390), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12410 = EDGE_CURVE ('', #12370, #12300, #12400, .T.);
#12420 = ORIENTED_EDGE ('', *, *, #12410, .F.);
#12430 = CARTESIAN_POINT ('', (5.85821936827, -5.75000000000001, 6.18724407861616));
#12440 = VERTEX_POINT ('', #12430);
#12450 = CARTESIAN_POINT ('', (5.85821936827, -5.75000000000001, 6.18724407861616));
#12460 = CARTESIAN_POINT ('', (5.55424496322119, -5.75, 10.5342805958013));
#12470 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12450, #12460), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12480 = EDGE_CURVE ('', #12440, #12370, #12470, .T.);
#12490 = ORIENTED_EDGE ('', *, *, #12480, .F.);
#12500 = CARTESIAN_POINT ('', (3.3500161368607, -5.75, 8.36759188342804));
#12510 = VERTEX_POINT ('', #12500);
#12520 = CARTESIAN_POINT ('', (3.3500161368607, -5.75, 8.36759188342804));
#12530 = CARTESIAN_POINT ('', (5.85821936827, -5.75000000000001, 6.18724407861616));
#12540 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12520, #12530), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12550 = EDGE_CURVE ('', #12510, #12440, #12540, .T.);
#12560 = ORIENTED_EDGE ('', *, *, #12550, .F.);
#12570 = CARTESIAN_POINT ('', (3.544710493533, -5.75000000000001, 5.58333286659109));
#12580 = VERTEX_POINT ('', #12570);
#12590 = CARTESIAN_POINT ('', (3.544710493533, -5.75000000000001, 5.58333286659109));
#12600 = CARTESIAN_POINT ('', (3.3500161368607, -5.75, 8.36759188342804));
#12610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12590, #12600), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12620 = EDGE_CURVE ('', #12580, #12510, #12610, .T.);
#12630 = ORIENTED_EDGE ('', *, *, #12620, .F.);
#12640 = CARTESIAN_POINT ('', (26.189414434431, -5.75000000000001, 7.16680482058251));
#12650 = VERTEX_POINT ('', #12640);
#12660 = CARTESIAN_POINT ('', (26.189414434431, -5.75000000000001, 7.16680482058251));
#12670 = CARTESIAN_POINT ('', (3.544710493533, -5.75000000000001, 5.58333286659109));
#12680 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12660, #12670), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12690 = EDGE_CURVE ('', #12650, #12580, #12680, .T.);
#12700 = ORIENTED_EDGE ('', *, *, #12690, .F.);
#12710 = CARTESIAN_POINT ('', (25.994720077759, -5.75000000000001, 9.95106383741946));
#12720 = VERTEX_POINT ('', #12710);
#12730 = CARTESIAN_POINT ('', (26.189414434431, -5.75000000000001, 7.16680482058251));
#12740 = CARTESIAN_POINT ('', (25.994720077759, -5.75000000000001, 9.95106383741946));
#12750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12730, #12740), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12760 = EDGE_CURVE ('', #12650, #12720, #12750, .T.);
#12770 = ORIENTED_EDGE ('', *, *, #12760, .T.);
#12780 = CARTESIAN_POINT ('', (23.814372272947, -5.75000000000001, 7.44286060601023));
#12790 = VERTEX_POINT ('', #12780);
#12800 = CARTESIAN_POINT ('', (25.994720077759, -5.75000000000001, 9.95106383741946));
#12810 = CARTESIAN_POINT ('', (23.814372272947, -5.75000000000001, 7.44286060601023));
#12820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12800, #12810), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12830 = EDGE_CURVE ('', #12720, #12790, #12820, .T.);
#12840 = ORIENTED_EDGE ('', *, *, #12830, .T.);
#12850 = CARTESIAN_POINT ('', (23.510397867898, -5.75000000000001, 11.7898971231953));
#12860 = VERTEX_POINT ('', #12850);
#12870 = CARTESIAN_POINT ('', (23.814372272947, -5.75000000000001, 7.44286060601023));
#12880 = CARTESIAN_POINT ('', (23.510397867898, -5.75000000000001, 11.7898971231953));
#12890 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12870, #12880), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12900 = EDGE_CURVE ('', #12790, #12860, #12890, .T.);
#12910 = ORIENTED_EDGE ('', *, *, #12900, .T.);
#12920 = CARTESIAN_POINT ('', (24.158814500567, -5.75000000000001, 11.835238831129));
#12930 = VERTEX_POINT ('', #12920);
#12940 = CARTESIAN_POINT ('', (23.510397867898, -5.75000000000001, 11.7898971231953));
#12950 = CARTESIAN_POINT ('', (24.158814500567, -5.75000000000001, 11.835238831129));
#12960 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12940, #12950), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12970 = EDGE_CURVE ('', #12860, #12930, #12960, .T.);
#12980 = ORIENTED_EDGE ('', *, *, #12970, .T.);
#12990 = CARTESIAN_POINT ('', (23.64512319816, -5.75000000000001, 12.2817838676429));
#13000 = CARTESIAN_POINT ('', (24.158814500567, -5.75000000000001, 11.835238831129));
#13010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12990, #13000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13020 = EDGE_CURVE ('', #12230, #12930, #13010, .T.);
#13030 = ORIENTED_EDGE ('', *, *, #13020, .F.);
#13040 = EDGE_LOOP ('', (#12280, #12350, #12420, #12490, #12560, #12630, #12700, #12770, #12840, #12910, #12980, #13030));
#13050 = FACE_OUTER_BOUND ('', #13040, .T.);
#13060 = CARTESIAN_POINT ('', (26.0792689753918, -5.75000000000001, 13.8722379833111));
#13070 = CARTESIAN_POINT ('', (26.6566757062546, -5.75000000000001, 5.61493703086243));
#13080 = CARTESIAN_POINT ('', (2.88275486503709, -5.75, 12.2501797033716));
#13090 = CARTESIAN_POINT ('', (3.46016159589985, -5.75000000000001, 3.99287875092291));
#13100 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13060, #13070), (#13080, #13090)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-23.0588702221219, 0.194287411528776), (-6.69778242337956, 1.57968201642052), .UNSPECIFIED.);
#13110 = ADVANCED_FACE ('', (#13050), #13100, .T.);
#13120 = ORIENTED_EDGE ('', *, *, #12690, .T.);
#13130 = CARTESIAN_POINT ('', (3.544710493533, -5.75000000000001, 5.58333286659109));
#13140 = CARTESIAN_POINT ('', (3.544710493533, -3.25, 5.58333286659109));
#13150 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13130, #13140), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13160 = EDGE_CURVE ('', #12580, #11310, #13150, .T.);
#13170 = ORIENTED_EDGE ('', *, *, #13160, .T.);
#13180 = ORIENTED_EDGE ('', *, *, #11350, .F.);
#13190 = CARTESIAN_POINT ('', (26.189414434431, -5.75000000000001, 7.16680482058251));
#13200 = CARTESIAN_POINT ('', (26.189414434431, -3.25000000000001, 7.16680482058251));
#13210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13190, #13200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13220 = EDGE_CURVE ('', #12650, #11290, #13210, .T.);
#13230 = ORIENTED_EDGE ('', *, *, #13220, .F.);
#13240 = EDGE_LOOP ('', (#13120, #13170, #13180, #13230));
#13250 = FACE_OUTER_BOUND ('', #13240, .T.);
#13260 = CARTESIAN_POINT ('', (3.54364577294815, -3.24900000000001, 5.583258414075));
#13270 = CARTESIAN_POINT ('', (3.54364577294815, -5.751, 5.583258414075));
#13280 = CARTESIAN_POINT ('', (26.1904791550159, -3.24900000000001, 7.16687927309863));
#13290 = CARTESIAN_POINT ('', (26.1904791550159, -5.75100000000001, 7.16687927309863));
#13300 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13260, #13270), (#13280, #13290)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-22.7020673205237, 6.73205242804897E-5), (-2.502, 9.99200722162641E-16), .UNSPECIFIED.);
#13310 = ADVANCED_FACE ('', (#13250), #13300, .T.);
#13320 = ORIENTED_EDGE ('', *, *, #11770, .F.);
#13330 = CARTESIAN_POINT ('', (5.35237336706621, -3.25, 11.0026301902745));
#13340 = CARTESIAN_POINT ('', (5.35237336706621, -5.75, 11.0026301902745));
#13350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13330, #13340), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13360 = EDGE_CURVE ('', #11660, #12210, #13350, .T.);
#13370 = ORIENTED_EDGE ('', *, *, #13360, .T.);
#13380 = ORIENTED_EDGE ('', *, *, #12270, .T.);
#13390 = CARTESIAN_POINT ('', (23.64512319816, -3.25000000000001, 12.2817838676429));
#13400 = CARTESIAN_POINT ('', (23.64512319816, -5.75000000000001, 12.2817838676429));
#13410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13390, #13400), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13420 = EDGE_CURVE ('', #11730, #12230, #13410, .T.);
#13430 = ORIENTED_EDGE ('', *, *, #13420, .F.);
#13440 = EDGE_LOOP ('', (#13320, #13370, #13380, #13430));
#13450 = FACE_OUTER_BOUND ('', #13440, .T.);
#13460 = CARTESIAN_POINT ('', (23.6461879187448, -3.24900000000001, 12.281858320159));
#13470 = CARTESIAN_POINT ('', (23.6461879187448, -5.75100000000001, 12.281858320159));
#13480 = CARTESIAN_POINT ('', (5.35130864648137, -3.249, 11.0025557377583));
#13490 = CARTESIAN_POINT ('', (5.35130864648137, -5.751, 11.0025557377583));
#13500 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13460, #13470), (#13480, #13490)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-18.3394861823297, 6.73205239536401E-5), (-2.502, 9.99200722162641E-16), .UNSPECIFIED.);
#13510 = ADVANCED_FACE ('', (#13450), #13500, .T.);
#13520 = ORIENTED_EDGE ('', *, *, #11840, .T.);
#13530 = ORIENTED_EDGE ('', *, *, #13420, .T.);
#13540 = ORIENTED_EDGE ('', *, *, #13020, .T.);
#13550 = CARTESIAN_POINT ('', (24.158814500567, -5.75000000000001, 11.835238831129));
#13560 = CARTESIAN_POINT ('', (24.158814500567, -3.25000000000001, 11.835238831129));
#13570 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13550, #13560), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13580 = EDGE_CURVE ('', #12930, #11800, #13570, .T.);
#13590 = ORIENTED_EDGE ('', *, *, #13580, .T.);
#13600 = EDGE_LOOP ('', (#13520, #13530, #13540, #13590));
#13610 = FACE_OUTER_BOUND ('', #13600, .T.);
#13620 = CARTESIAN_POINT ('', (24.1598792211518, -3.24900000000001, 11.8343132836451));
#13630 = CARTESIAN_POINT ('', (24.1598792211518, -5.75100000000001, 11.8343132836451));
#13640 = CARTESIAN_POINT ('', (23.6440584775751, -3.24900000000001, 12.2827094151268));
#13650 = CARTESIAN_POINT ('', (23.6440584775751, -5.75100000000001, 12.2827094151268));
#13660 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13620, #13630), (#13640, #13650)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.683472632431091, -3.44495313697735E-6), (-2.502, 9.99200722162641E-16), .UNSPECIFIED.);
#13670 = ADVANCED_FACE ('', (#13610), #13660, .T.);
#13680 = CARTESIAN_POINT ('', (26.503090018678, -5.78294630396268, 11.9991665444277));
#13690 = VERTEX_POINT ('', #13680);
#13700 = CARTESIAN_POINT ('', (26.503090018678, -3.21705369603735, 11.9991665444277));
#13710 = VERTEX_POINT ('', #13700);
#13720 = CARTESIAN_POINT ('', (26.503090018678, -5.78294630396268, 11.9991665444277));
#13730 = CARTESIAN_POINT ('', (26.503090018678, -3.21705369603735, 11.9991665444277));
#13740 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13720, #13730), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13750 = EDGE_CURVE ('', #13690, #13710, #13740, .T.);
#13760 = ORIENTED_EDGE ('', *, *, #13750, .T.);
#13770 = CARTESIAN_POINT ('', (26.283274351172, -3.01836270291349, 11.9837955355838));
#13780 = VERTEX_POINT ('', #13770);
#13790 = CARTESIAN_POINT ('', (26.5030900186774, -3.21705369603735, 11.9991665444277));
#13800 = CARTESIAN_POINT ('', (26.5030900186774, -3.12937786331306, 11.9991665444277));
#13810 = CARTESIAN_POINT ('', (26.4375779313372, -3.07016160342152, 11.9945854930162));
#13820 = CARTESIAN_POINT ('', (26.3720658439971, -3.01094534352998, 11.9900044416047));
#13830 = CARTESIAN_POINT ('', (26.283274351172, -3.01836270291351, 11.9837955355838));
#13840 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#13790, #13800, #13810, #13820, #13830), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (175.324076485141, 222.662038242609, 270.000000000076), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.915880067956718, 1., 0.915880067956718, 1.))
   REPRESENTATION_ITEM ('')
);
#13850 = EDGE_CURVE ('', #13710, #13780, #13840, .T.);
#13860 = ORIENTED_EDGE ('', *, *, #13850, .T.);
#13870 = CARTESIAN_POINT ('', (26.283274351172, -3.01836270291349, 11.9837955355838));
#13880 = CARTESIAN_POINT ('', (23.510397867898, -3.25000000000001, 11.7898971231953));
#13890 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13870, #13880), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13900 = EDGE_CURVE ('', #13780, #11870, #13890, .T.);
#13910 = ORIENTED_EDGE ('', *, *, #13900, .T.);
#13920 = ORIENTED_EDGE ('', *, *, #11910, .T.);
#13930 = ORIENTED_EDGE ('', *, *, #13580, .F.);
#13940 = ORIENTED_EDGE ('', *, *, #12970, .F.);
#13950 = CARTESIAN_POINT ('', (26.283274351172, -5.98163729708654, 11.9837955355838));
#13960 = VERTEX_POINT ('', #13950);
#13970 = CARTESIAN_POINT ('', (26.283274351172, -5.98163729708654, 11.9837955355838));
#13980 = CARTESIAN_POINT ('', (23.510397867898, -5.75000000000001, 11.7898971231953));
#13990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13970, #13980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14000 = EDGE_CURVE ('', #13960, #12860, #13990, .T.);
#14010 = ORIENTED_EDGE ('', *, *, #14000, .F.);
#14020 = CARTESIAN_POINT ('', (26.283274351172, -5.98163729708651, 11.9837955355838));
#14030 = CARTESIAN_POINT ('', (26.372065843997, -5.98905465647005, 11.9900044416047));
#14040 = CARTESIAN_POINT ('', (26.4375779313372, -5.92983839657851, 11.9945854930162));
#14050 = CARTESIAN_POINT ('', (26.5030900186774, -5.87062213668695, 11.9991665444277));
#14060 = CARTESIAN_POINT ('', (26.5030900186774, -5.78294630396267, 11.9991665444277));
#14070 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#14020, #14030, #14040, #14050, #14060), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (269.99999999992, 317.33796175739, 364.675923514859), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.915880067956709, 1., 0.915880067956709, 1.))
   REPRESENTATION_ITEM ('')
);
#14080 = EDGE_CURVE ('', #13960, #13690, #14070, .T.);
#14090 = ORIENTED_EDGE ('', *, *, #14080, .T.);
#14100 = EDGE_LOOP ('', (#13760, #13860, #13910, #13920, #13930, #13940, #14010, #14090));
#14110 = FACE_OUTER_BOUND ('', #14100, .T.);
#14120 = CARTESIAN_POINT ('', (26.5041547392628, -3.00994534352998, 11.9992409969438));
#14130 = CARTESIAN_POINT ('', (26.5041547392628, -5.99005465647005, 11.9992409969438));
#14140 = CARTESIAN_POINT ('', (23.5093331473131, -3.00994534352998, 11.7898226706792));
#14150 = CARTESIAN_POINT ('', (23.5093331473131, -5.99005465647005, 11.7898226706792));
#14160 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14120, #14130), (#14140, #14150)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.00206732052426, 6.73205242804897E-5), (-2.99105465647004, -0.0109453435299668), .UNSPECIFIED.);
#14170 = ADVANCED_FACE ('', (#14110), #14160, .T.);
#14180 = CARTESIAN_POINT ('', (26.040095437368, -3.05009116646261, 10.00326221758));
#14190 = VERTEX_POINT ('', #14180);
#14200 = CARTESIAN_POINT ('', (23.814372272947, -3.25000000000001, 7.44286060601023));
#14210 = CARTESIAN_POINT ('', (26.040095437368, -3.05009116646261, 10.00326221758));
#14220 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14200, #14210), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14230 = EDGE_CURVE ('', #11940, #14190, #14220, .T.);
#14240 = ORIENTED_EDGE ('', *, *, #14230, .T.);
#14250 = CARTESIAN_POINT ('', (26.293868602274, -3.24435159773524, 10.2951948490891));
#14260 = VERTEX_POINT ('', #14250);
#14270 = CARTESIAN_POINT ('', (26.0400954373679, -3.0500911664626, 10.0032622175801));
#14280 = CARTESIAN_POINT ('', (26.1426035907071, -3.04088414301528, 10.1211843586642));
#14290 = CARTESIAN_POINT ('', (26.2182360964907, -3.09877995401316, 10.2081896038766));
#14300 = CARTESIAN_POINT ('', (26.2938686022744, -3.15667576501104, 10.2951948490891));
#14310 = CARTESIAN_POINT ('', (26.2938686022744, -3.24435159773523, 10.2951948490891));
#14320 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#14270, #14280, #14290, #14300, #14310), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (85.9384834450021, 133.276445202422, 180.614406959843), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.915880067956882, 1., 0.915880067956882, 1.))
   REPRESENTATION_ITEM ('')
);
#14330 = EDGE_CURVE ('', #14190, #14260, #14320, .T.);
#14340 = ORIENTED_EDGE ('', *, *, #14330, .T.);
#14350 = CARTESIAN_POINT ('', (26.293868602274, -5.75564840226478, 10.2951948490891));
#14360 = VERTEX_POINT ('', #14350);
#14370 = CARTESIAN_POINT ('', (26.293868602274, -5.75564840226478, 10.2951948490891));
#14380 = CARTESIAN_POINT ('', (26.293868602274, -3.24435159773524, 10.2951948490891));
#14390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14370, #14380), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14400 = EDGE_CURVE ('', #14360, #14260, #14390, .T.);
#14410 = ORIENTED_EDGE ('', *, *, #14400, .F.);
#14420 = CARTESIAN_POINT ('', (26.040095437368, -5.94990883353742, 10.00326221758));
#14430 = VERTEX_POINT ('', #14420);
#14440 = CARTESIAN_POINT ('', (26.2938686022744, -5.75564840226478, 10.2951948490891));
#14450 = CARTESIAN_POINT ('', (26.2938686022744, -5.84332423498897, 10.2951948490891));
#14460 = CARTESIAN_POINT ('', (26.2182360964907, -5.90122004598685, 10.2081896038767));
#14470 = CARTESIAN_POINT ('', (26.1426035907071, -5.95911585698473, 10.1211843586642));
#14480 = CARTESIAN_POINT ('', (26.0400954373679, -5.94990883353741, 10.0032622175801));
#14490 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#14440, #14450, #14460, #14470, #14480), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (359.385593040157, 406.723554797577, 454.061516554998), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.915880067956882, 1., 0.915880067956882, 1.))
   REPRESENTATION_ITEM ('')
);
#14500 = EDGE_CURVE ('', #14360, #14430, #14490, .T.);
#14510 = ORIENTED_EDGE ('', *, *, #14500, .T.);
#14520 = CARTESIAN_POINT ('', (23.814372272947, -5.75000000000001, 7.44286060601023));
#14530 = CARTESIAN_POINT ('', (26.040095437368, -5.94990883353742, 10.00326221758));
#14540 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14520, #14530), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14550 = EDGE_CURVE ('', #12790, #14430, #14540, .T.);
#14560 = ORIENTED_EDGE ('', *, *, #14550, .F.);
#14570 = ORIENTED_EDGE ('', *, *, #12830, .F.);
#14580 = CARTESIAN_POINT ('', (25.994720077759, -5.75000000000001, 9.95106383741946));
#14590 = CARTESIAN_POINT ('', (25.994720077759, -3.25000000000001, 9.95106383741946));
#14600 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14580, #14590), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14610 = EDGE_CURVE ('', #12720, #12010, #14600, .T.);
#14620 = ORIENTED_EDGE ('', *, *, #14610, .T.);
#14630 = ORIENTED_EDGE ('', *, *, #12050, .T.);
#14640 = EDGE_LOOP ('', (#14240, #14340, #14410, #14510, #14560, #14570, #14620, #14630));
#14650 = FACE_OUTER_BOUND ('', #14640, .T.);
#14660 = CARTESIAN_POINT ('', (23.813446725463, -3.03988414301528, 7.44179588542545));
#14670 = CARTESIAN_POINT ('', (23.813446725463, -5.96011585698473, 7.44179588542545));
#14680 = CARTESIAN_POINT ('', (26.2947941497583, -3.03988414301528, 10.2962595696739));
#14690 = CARTESIAN_POINT ('', (26.2947941497583, -5.96011585698473, 10.2962595696739));
#14700 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14660, #14670), (#14680, #14690)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.7822049156248, -3.44495317960991E-6), (-2.93381795528684, -0.0135862413173812), .UNSPECIFIED.);
#14710 = ADVANCED_FACE ('', (#14650), #14700, .T.);
#14720 = ORIENTED_EDGE ('', *, *, #12760, .F.);
#14730 = ORIENTED_EDGE ('', *, *, #13220, .T.);
#14740 = ORIENTED_EDGE ('', *, *, #12100, .T.);
#14750 = ORIENTED_EDGE ('', *, *, #14610, .F.);
#14760 = EDGE_LOOP ('', (#14720, #14730, #14740, #14750));
#14770 = FACE_OUTER_BOUND ('', #14760, .T.);
#14780 = CARTESIAN_POINT ('', (25.9946456252428, -3.24900000000001, 9.9521285580043));
#14790 = CARTESIAN_POINT ('', (26.1894888869474, -3.24900000000001, 7.16574009999768));
#14800 = CARTESIAN_POINT ('', (25.9946456252428, -5.75100000000001, 9.9521285580043));
#14810 = CARTESIAN_POINT ('', (26.1894888869474, -5.75100000000001, 7.16574009999768));
#14820 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14780, #14790), (#14800, #14810)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.502, 9.99200722162641E-16), (-2.79312521411165, 6.73205239856145E-5), .UNSPECIFIED.);
#14830 = ADVANCED_FACE ('', (#14770), #14820, .T.);
#14840 = ORIENTED_EDGE ('', *, *, #14400, .T.);
#14850 = CARTESIAN_POINT ('', (26.293868602274, -3.24435159773524, 10.2951948490891));
#14860 = CARTESIAN_POINT ('', (26.503090018678, -3.21705369603735, 11.9991665444277));
#14870 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14850, #14860), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14880 = EDGE_CURVE ('', #14260, #13710, #14870, .T.);
#14890 = ORIENTED_EDGE ('', *, *, #14880, .T.);
#14900 = ORIENTED_EDGE ('', *, *, #13750, .F.);
#14910 = CARTESIAN_POINT ('', (26.503090018678, -5.78294630396268, 11.9991665444277));
#14920 = CARTESIAN_POINT ('', (26.293868602274, -5.75564840226478, 10.2951948490891));
#14930 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14910, #14920), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14940 = EDGE_CURVE ('', #13690, #14360, #14930, .T.);
#14950 = ORIENTED_EDGE ('', *, *, #14940, .T.);
#14960 = EDGE_LOOP ('', (#14840, #14890, #14900, #14950));
#14970 = FACE_OUTER_BOUND ('', #14960, .T.);
#14980 = CARTESIAN_POINT ('', (26.29373278919, -3.21605369603735, 10.2940887402781));
#14990 = CARTESIAN_POINT ('', (26.29373278919, -5.78394630396268, 10.2940887402781));
#15000 = CARTESIAN_POINT ('', (26.5032258317624, -3.21605369603735, 12.0002726532387));
#15010 = CARTESIAN_POINT ('', (26.5032258317624, -5.78394630396268, 12.0002726532387));
#15020 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14980, #14990), (#15000, #15010)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.71905507703131, -5.80206837064168E-5), (-2.78494630396267, -0.21705369603734), .UNSPECIFIED.);
#15030 = ADVANCED_FACE ('', (#14970), #15020, .T.);
#15040 = ORIENTED_EDGE ('', *, *, #13900, .F.);
#15050 = CARTESIAN_POINT ('', (26.283274351172, -3.01836270291349, 11.9837955355838));
#15060 = CARTESIAN_POINT ('', (26.040095437368, -3.05009116646261, 10.00326221758));
#15070 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15050, #15060), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15080 = EDGE_CURVE ('', #13780, #14190, #15070, .T.);
#15090 = ORIENTED_EDGE ('', *, *, #15080, .T.);
#15100 = ORIENTED_EDGE ('', *, *, #14230, .F.);
#15110 = ORIENTED_EDGE ('', *, *, #11980, .T.);
#15120 = EDGE_LOOP ('', (#15040, #15090, #15100, #15110));
#15130 = FACE_OUTER_BOUND ('', #15120, .T.);
#15140 = CARTESIAN_POINT ('', (23.195281657287, -3.27519044903723, 11.962830390396));
#15150 = CARTESIAN_POINT ('', (23.5249112816842, -3.27519044903723, 7.24890714356631));
#15160 = CARTESIAN_POINT ('', (26.2708471117033, -3.0182674763874, 12.1778948775469));
#15170 = CARTESIAN_POINT ('', (26.6004767361005, -3.0182674763874, 7.46397163071721));
#15180 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15140, #15150), (#15160, #15170)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.3148114105001, -0.221049135872704), (-4.55314494344039, 0.172289223520515), .UNSPECIFIED.);
#15190 = ADVANCED_FACE ('', (#15130), #15180, .T.);
#15200 = ORIENTED_EDGE ('', *, *, #14550, .T.);
#15210 = CARTESIAN_POINT ('', (26.040095437368, -5.94990883353742, 10.00326221758));
#15220 = CARTESIAN_POINT ('', (26.283274351172, -5.98163729708654, 11.9837955355838));
#15230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15210, #15220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15240 = EDGE_CURVE ('', #14430, #13960, #15230, .T.);
#15250 = ORIENTED_EDGE ('', *, *, #15240, .T.);
#15260 = ORIENTED_EDGE ('', *, *, #14000, .T.);
#15270 = ORIENTED_EDGE ('', *, *, #12900, .F.);
#15280 = EDGE_LOOP ('', (#15200, #15250, #15260, #15270));
#15290 = FACE_OUTER_BOUND ('', #15280, .T.);
#15300 = CARTESIAN_POINT ('', (26.2708471117034, -5.98173252361258, 12.1778948775469));
#15310 = CARTESIAN_POINT ('', (26.6004767361005, -5.98173252361257, 7.46397163071721));
#15320 = CARTESIAN_POINT ('', (23.195281657287, -5.72480955096274, 11.962830390396));
#15330 = CARTESIAN_POINT ('', (23.5249112816842, -5.72480955096273, 7.24890714356632));
#15340 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15300, #15310), (#15320, #15330)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.79150869130102, 0.30225358332639), (-4.55314494344043, 0.172289223520484), .UNSPECIFIED.);
#15350 = ADVANCED_FACE ('', (#15290), #15340, .T.);
#15360 = ORIENTED_EDGE ('', *, *, #11700, .F.);
#15370 = CARTESIAN_POINT ('', (4.9058283305523, -5.75, 10.4889388878676));
#15380 = CARTESIAN_POINT ('', (4.9058283305523, -3.25, 10.4889388878676));
#15390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15370, #15380), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15400 = EDGE_CURVE ('', #12300, #11590, #15390, .T.);
#15410 = ORIENTED_EDGE ('', *, *, #15400, .F.);
#15420 = ORIENTED_EDGE ('', *, *, #12340, .F.);
#15430 = ORIENTED_EDGE ('', *, *, #13360, .F.);
#15440 = EDGE_LOOP ('', (#15360, #15410, #15420, #15430));
#15450 = FACE_OUTER_BOUND ('', #15440, .T.);
#15460 = CARTESIAN_POINT ('', (4.90490278306842, -5.751, 10.4878741672827));
#15470 = CARTESIAN_POINT ('', (4.90490278306842, -3.24900000000001, 10.4878741672827));
#15480 = CARTESIAN_POINT ('', (5.35329891455007, -5.751, 11.0036949108594));
#15490 = CARTESIAN_POINT ('', (5.35329891455007, -3.249, 11.0036949108594));
#15500 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15460, #15470), (#15480, #15490)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.68347263243102, -3.44495313697735E-6), (-2.502, 0.), .UNSPECIFIED.);
#15510 = ADVANCED_FACE ('', (#15450), #15500, .T.);
#15520 = CARTESIAN_POINT ('', (2.78136847994691, -3.01836270291349, 10.3403821834128));
#15530 = VERTEX_POINT ('', #15520);
#15540 = CARTESIAN_POINT ('', (2.78136847994691, -3.01836270291349, 10.3403821834128));
#15550 = CARTESIAN_POINT ('', (5.55424496322119, -3.25, 10.5342805958013));
#15560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15540, #15550), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15570 = EDGE_CURVE ('', #15530, #11520, #15560, .T.);
#15580 = ORIENTED_EDGE ('', *, *, #15570, .F.);
#15590 = CARTESIAN_POINT ('', (2.5615528124417, -3.21705369603735, 10.3250111745689));
#15600 = VERTEX_POINT ('', #15590);
#15610 = CARTESIAN_POINT ('', (2.78136847994692, -3.0183627029135, 10.3403821834128));
#15620 = CARTESIAN_POINT ('', (2.69257698712192, -3.01094534353009, 10.3341732773918));
#15630 = CARTESIAN_POINT ('', (2.62706489978189, -3.07016160342162, 10.3295922259804));
#15640 = CARTESIAN_POINT ('', (2.56155281244183, -3.12937786331315, 10.3250111745689));
#15650 = CARTESIAN_POINT ('', (2.56155281244183, -3.21705369603735, 10.3250111745689));
#15660 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#15610, #15620, #15630, #15640, #15650), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (90.000000000004, 137.33796175743, 184.675923514855), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.915880067956864, 1., 0.915880067956864, 1.))
   REPRESENTATION_ITEM ('')
);
#15670 = EDGE_CURVE ('', #15530, #15600, #15660, .T.);
#15680 = ORIENTED_EDGE ('', *, *, #15670, .T.);
#15690 = CARTESIAN_POINT ('', (2.5615528124417, -5.78294630396266, 10.3250111745689));
#15700 = VERTEX_POINT ('', #15690);
#15710 = CARTESIAN_POINT ('', (2.5615528124417, -5.78294630396266, 10.3250111745689));
#15720 = CARTESIAN_POINT ('', (2.5615528124417, -3.21705369603735, 10.3250111745689));
#15730 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15710, #15720), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15740 = EDGE_CURVE ('', #15700, #15600, #15730, .T.);
#15750 = ORIENTED_EDGE ('', *, *, #15740, .F.);
#15760 = CARTESIAN_POINT ('', (2.78136847994691, -5.98163729708652, 10.3403821834128));
#15770 = VERTEX_POINT ('', #15760);
#15780 = CARTESIAN_POINT ('', (2.56155281244183, -5.78294630396266, 10.3250111745689));
#15790 = CARTESIAN_POINT ('', (2.56155281244182, -5.87062213668687, 10.3250111745689));
#15800 = CARTESIAN_POINT ('', (2.62706489978189, -5.92983839657839, 10.3295922259804));
#15810 = CARTESIAN_POINT ('', (2.69257698712192, -5.98905465646992, 10.3341732773918));
#15820 = CARTESIAN_POINT ('', (2.78136847994692, -5.98163729708651, 10.3403821834128));
#15830 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#15780, #15790, #15800, #15810, #15820), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (355.324076485145, 402.66203824257, 449.999999999996), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.915880067956863, 1., 0.915880067956863, 1.))
   REPRESENTATION_ITEM ('')
);
#15840 = EDGE_CURVE ('', #15700, #15770, #15830, .T.);
#15850 = ORIENTED_EDGE ('', *, *, #15840, .T.);
#15860 = CARTESIAN_POINT ('', (2.78136847994691, -5.98163729708652, 10.3403821834128));
#15870 = CARTESIAN_POINT ('', (5.55424496322119, -5.75, 10.5342805958013));
#15880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15860, #15870), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15890 = EDGE_CURVE ('', #15770, #12370, #15880, .T.);
#15900 = ORIENTED_EDGE ('', *, *, #15890, .T.);
#15910 = ORIENTED_EDGE ('', *, *, #12410, .T.);
#15920 = ORIENTED_EDGE ('', *, *, #15400, .T.);
#15930 = ORIENTED_EDGE ('', *, *, #11630, .F.);
#15940 = EDGE_LOOP ('', (#15580, #15680, #15750, #15850, #15900, #15910, #15920, #15930));
#15950 = FACE_OUTER_BOUND ('', #15940, .T.);
#15960 = CARTESIAN_POINT ('', (2.56048809185684, -5.99005465646992, 10.3249367220528));
#15970 = CARTESIAN_POINT ('', (2.56048809185684, -3.00994534353009, 10.3249367220528));
#15980 = CARTESIAN_POINT ('', (5.55530968380606, -5.99005465646992, 10.5343550483174));
#15990 = CARTESIAN_POINT ('', (5.55530968380606, -3.00994534353009, 10.5343550483174));
#16000 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15960, #15970), (#15980, #15990)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.00206732052408, 6.73205239678509E-5), (-2.99105465646991, -0.010945343530087), .UNSPECIFIED.);
#16010 = ADVANCED_FACE ('', (#15950), #16000, .T.);
#16020 = CARTESIAN_POINT ('', (3.0058851251911, -5.75564840226476, 8.66674040794375));
#16030 = VERTEX_POINT ('', #16020);
#16040 = CARTESIAN_POINT ('', (3.0058851251911, -3.24435159773524, 8.66674040794375));
#16050 = VERTEX_POINT ('', #16040);
#16060 = CARTESIAN_POINT ('', (3.0058851251911, -5.75564840226476, 8.66674040794375));
#16070 = CARTESIAN_POINT ('', (3.0058851251911, -3.24435159773524, 8.66674040794375));
#16080 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16060, #16070), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16090 = EDGE_CURVE ('', #16030, #16050, #16080, .T.);
#16100 = ORIENTED_EDGE ('', *, *, #16090, .T.);
#16110 = CARTESIAN_POINT ('', (3.2978177567001, -3.0500911664626, 8.41296724303714));
#16120 = VERTEX_POINT ('', #16110);
#16130 = CARTESIAN_POINT ('', (3.00588512519106, -3.24435159773524, 8.66674040794377));
#16140 = CARTESIAN_POINT ('', (3.00588512519104, -3.15667576501104, 8.66674040794377));
#16150 = CARTESIAN_POINT ('', (3.09289037040357, -3.09877995401315, 8.59110790216009));
#16160 = CARTESIAN_POINT ('', (3.17989561561609, -3.04088414301527, 8.51547539637641));
#16170 = CARTESIAN_POINT ('', (3.29781775670011, -3.05009116646261, 8.41296724303715));
#16180 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#16130, #16140, #16150, #16160, #16170), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (179.385593040157, 226.723554797583, 274.06151655501), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.91588006795686, 1., 0.91588006795686, 1.))
   REPRESENTATION_ITEM ('')
);
#16190 = EDGE_CURVE ('', #16050, #16120, #16180, .T.);
#16200 = ORIENTED_EDGE ('', *, *, #16190, .T.);
#16210 = CARTESIAN_POINT ('', (5.85821936827, -3.25, 6.18724407861616));
#16220 = CARTESIAN_POINT ('', (3.2978177567001, -3.0500911664626, 8.41296724303714));
#16230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16210, #16220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16240 = EDGE_CURVE ('', #11450, #16120, #16230, .T.);
#16250 = ORIENTED_EDGE ('', *, *, #16240, .F.);
#16260 = ORIENTED_EDGE ('', *, *, #11490, .F.);
#16270 = CARTESIAN_POINT ('', (3.3500161368607, -5.75, 8.36759188342804));
#16280 = CARTESIAN_POINT ('', (3.3500161368607, -3.25, 8.36759188342804));
#16290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16270, #16280), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16300 = EDGE_CURVE ('', #12510, #11380, #16290, .T.);
#16310 = ORIENTED_EDGE ('', *, *, #16300, .F.);
#16320 = ORIENTED_EDGE ('', *, *, #12550, .T.);
#16330 = CARTESIAN_POINT ('', (3.2978177567001, -5.9499088335374, 8.41296724303714));
#16340 = VERTEX_POINT ('', #16330);
#16350 = CARTESIAN_POINT ('', (5.85821936827, -5.75000000000001, 6.18724407861616));
#16360 = CARTESIAN_POINT ('', (3.2978177567001, -5.9499088335374, 8.41296724303714));
#16370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16350, #16360), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16380 = EDGE_CURVE ('', #12440, #16340, #16370, .T.);
#16390 = ORIENTED_EDGE ('', *, *, #16380, .T.);
#16400 = CARTESIAN_POINT ('', (3.29781775670011, -5.9499088335374, 8.41296724303715));
#16410 = CARTESIAN_POINT ('', (3.17989561561609, -5.95911585698474, 8.5154753963764));
#16420 = CARTESIAN_POINT ('', (3.09289037040358, -5.90122004598686, 8.59110790216008));
#16430 = CARTESIAN_POINT ('', (3.00588512519106, -5.84332423498897, 8.66674040794377));
#16440 = CARTESIAN_POINT ('', (3.00588512519106, -5.75564840226476, 8.66674040794377));
#16450 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#16400, #16410, #16420, #16430, #16440), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (265.93848344499, 313.276445202417, 360.614406959844), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.915880067956858, 1., 0.915880067956858, 1.))
   REPRESENTATION_ITEM ('')
);
#16460 = EDGE_CURVE ('', #16340, #16030, #16450, .T.);
#16470 = ORIENTED_EDGE ('', *, *, #16460, .T.);
#16480 = EDGE_LOOP ('', (#16100, #16200, #16250, #16260, #16310, #16320, #16390, #16470));
#16490 = FACE_OUTER_BOUND ('', #16480, .T.);
#16500 = CARTESIAN_POINT ('', (5.85928408885485, -5.96011585698474, 6.18631853113226));
#16510 = CARTESIAN_POINT ('', (5.85928408885485, -3.03988414301527, 6.18631853113226));
#16520 = CARTESIAN_POINT ('', (3.00482040460622, -5.96011585698474, 8.66766595542768));
#16530 = CARTESIAN_POINT ('', (3.00482040460622, -3.03988414301527, 8.66766595542768));
#16540 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16500, #16510), (#16520, #16530)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.78220491562489, -3.44495309434478E-6), (-2.93381795528683, -0.0135862413173666), .UNSPECIFIED.);
#16550 = ADVANCED_FACE ('', (#16490), #16540, .T.);
#16560 = ORIENTED_EDGE ('', *, *, #12620, .T.);
#16570 = ORIENTED_EDGE ('', *, *, #16300, .T.);
#16580 = ORIENTED_EDGE ('', *, *, #11420, .F.);
#16590 = ORIENTED_EDGE ('', *, *, #13160, .F.);
#16600 = EDGE_LOOP ('', (#16560, #16570, #16580, #16590));
#16610 = FACE_OUTER_BOUND ('', #16600, .T.);
#16620 = CARTESIAN_POINT ('', (3.54478494604921, -3.24900000000001, 5.58226814600624));
#16630 = CARTESIAN_POINT ('', (3.34994168434463, -3.24900000000001, 8.36865660401289));
#16640 = CARTESIAN_POINT ('', (3.54478494604921, -5.751, 5.58226814600624));
#16650 = CARTESIAN_POINT ('', (3.34994168434463, -5.751, 8.36865660401289));
#16660 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16620, #16630), (#16640, #16650)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.502, 9.99200722162641E-16), (-2.79312521411165, 6.73205240060426E-5), .UNSPECIFIED.);
#16670 = ADVANCED_FACE ('', (#16610), #16660, .T.);
#16680 = ORIENTED_EDGE ('', *, *, #15740, .T.);
#16690 = CARTESIAN_POINT ('', (2.5615528124417, -3.21705369603735, 10.3250111745689));
#16700 = CARTESIAN_POINT ('', (3.0058851251911, -3.24435159773524, 8.66674040794375));
#16710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16690, #16700), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16720 = EDGE_CURVE ('', #15600, #16050, #16710, .T.);
#16730 = ORIENTED_EDGE ('', *, *, #16720, .T.);
#16740 = ORIENTED_EDGE ('', *, *, #16090, .F.);
#16750 = CARTESIAN_POINT ('', (3.0058851251911, -5.75564840226476, 8.66674040794375));
#16760 = CARTESIAN_POINT ('', (2.5615528124417, -5.78294630396266, 10.3250111745689));
#16770 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16750, #16760), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16780 = EDGE_CURVE ('', #16030, #15700, #16770, .T.);
#16790 = ORIENTED_EDGE ('', *, *, #16780, .T.);
#16800 = EDGE_LOOP ('', (#16680, #16730, #16740, #16790));
#16810 = FACE_OUTER_BOUND ('', #16800, .T.);
#16820 = CARTESIAN_POINT ('', (3.00620211248911, -5.78394630396267, 8.66555739524183));
#16830 = CARTESIAN_POINT ('', (3.00620211248911, -3.21605369603735, 8.66555739524183));
#16840 = CARTESIAN_POINT ('', (2.56123582514363, -5.78394630396267, 10.3261941872708));
#16850 = CARTESIAN_POINT ('', (2.56123582514363, -3.21605369603735, 10.3261941872708));
#16860 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16820, #16830), (#16840, #16850)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.7191654064076, 5.23086925809935E-5), (-2.78494630396266, -0.21705369603734), .UNSPECIFIED.);
#16870 = ADVANCED_FACE ('', (#16810), #16860, .T.);
#16880 = ORIENTED_EDGE ('', *, *, #16240, .T.);
#16890 = CARTESIAN_POINT ('', (3.2978177567001, -3.0500911664626, 8.41296724303714));
#16900 = CARTESIAN_POINT ('', (2.78136847994691, -3.01836270291349, 10.3403821834128));
#16910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16890, #16900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16920 = EDGE_CURVE ('', #16120, #15530, #16910, .T.);
#16930 = ORIENTED_EDGE ('', *, *, #16920, .T.);
#16940 = ORIENTED_EDGE ('', *, *, #15570, .T.);
#16950 = ORIENTED_EDGE ('', *, *, #11560, .F.);
#16960 = EDGE_LOOP ('', (#16880, #16930, #16940, #16950));
#16970 = FACE_OUTER_BOUND ('', #16960, .T.);
#16980 = CARTESIAN_POINT ('', (6.15984285721932, -3.27519044903722, 6.20726572079372));
#16990 = CARTESIAN_POINT ('', (5.8422268254767, -3.27519044903722, 10.7493865885268));
#17000 = CARTESIAN_POINT ('', (2.79726796948736, -2.99429161962907, 5.97213157897335));
#17010 = CARTESIAN_POINT ('', (2.47965193774475, -2.99429161962907, 10.5142524467064));
#17020 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16980, #16990), (#17000, #17010)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.31481141050023, 0.0676584108903313), (-4.3597188578392, 0.193493406125246), .UNSPECIFIED.);
#17030 = ADVANCED_FACE ('', (#16970), #17020, .T.);
#17040 = ORIENTED_EDGE ('', *, *, #15890, .F.);
#17050 = CARTESIAN_POINT ('', (2.78136847994691, -5.98163729708652, 10.3403821834128));
#17060 = CARTESIAN_POINT ('', (3.2978177567001, -5.9499088335374, 8.41296724303714));
#17070 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17050, #17060), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17080 = EDGE_CURVE ('', #15770, #16340, #17070, .T.);
#17090 = ORIENTED_EDGE ('', *, *, #17080, .T.);
#17100 = ORIENTED_EDGE ('', *, *, #16380, .F.);
#17110 = ORIENTED_EDGE ('', *, *, #12480, .T.);
#17120 = EDGE_LOOP ('', (#17040, #17090, #17100, #17110));
#17130 = FACE_OUTER_BOUND ('', #17120, .T.);
#17140 = CARTESIAN_POINT ('', (2.79726796948736, -6.00570838037094, 5.97213157897335));
#17150 = CARTESIAN_POINT ('', (2.47965193774475, -6.00570838037095, 10.5142524467064));
#17160 = CARTESIAN_POINT ('', (6.1598428572193, -5.72480955096278, 6.20726572079372));
#17170 = CARTESIAN_POINT ('', (5.84222682547669, -5.72480955096279, 10.7493865885268));
#17180 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17140, #17150), (#17160, #17170)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.08021623806476, 0.302253583325808), (-4.35971885783921, 0.193493406125237), .UNSPECIFIED.);
#17190 = ADVANCED_FACE ('', (#17130), #17180, .T.);
#17200 = ORIENTED_EDGE ('', *, *, #15670, .F.);
#17210 = ORIENTED_EDGE ('', *, *, #16920, .F.);
#17220 = ORIENTED_EDGE ('', *, *, #16190, .F.);
#17230 = ORIENTED_EDGE ('', *, *, #16720, .F.);
#17240 = EDGE_LOOP ('', (#17200, #17210, #17220, #17230));
#17250 = FACE_OUTER_BOUND ('', #17240, .T.);
#17260 = CARTESIAN_POINT ('', (2.88964810976292, -3.21347352398607, 10.6460241773045));
#17270 = CARTESIAN_POINT ('', (3.52881879041625, -3.25274147256423, 8.26060672239739));
#17280 = CARTESIAN_POINT ('', (2.88882513042853, -3.4134482453956, 10.6490955779941));
#17290 = CARTESIAN_POINT ('', (3.52799581108187, -3.45271619397376, 8.26367812308696));
#17300 = CARTESIAN_POINT ('', (2.69563996517071, -3.41344824539562, 10.5973317689736));
#17310 = CARTESIAN_POINT ('', (3.33481064582405, -3.45271619397377, 8.21191431406647));
#17320 = CARTESIAN_POINT ('', (2.5024547999129, -3.41344824539564, 10.5455679599531));
#17330 = CARTESIAN_POINT ('', (3.14162548056623, -3.45271619397379, 8.16015050504597));
#17340 = CARTESIAN_POINT ('', (2.50327777924728, -3.21347352398611, 10.5424965592635));
#17350 = CARTESIAN_POINT ('', (3.14244845990062, -3.25274147256426, 8.1570791043564));
#17360 = CARTESIAN_POINT ('', (2.50410075858167, -3.01349880257658, 10.5394251585739));
#17370 = CARTESIAN_POINT ('', (3.14327143923501, -3.05276675115473, 8.15400770366683));
#17380 = CARTESIAN_POINT ('', (2.69728592383949, -3.01349880257656, 10.5911889675944));
#17390 = CARTESIAN_POINT ('', (3.33645660449282, -3.05276675115471, 8.20577151268732));
#17400 = CARTESIAN_POINT ('', (2.8904710890973, -3.01349880257654, 10.6429527766149));
#17410 = CARTESIAN_POINT ('', (3.52964176975064, -3.0527667511547, 8.25753532170782));
#17420 = CARTESIAN_POINT ('', (2.88964810976292, -3.21347352398607, 10.6460241773045));
#17430 = CARTESIAN_POINT ('', (3.52881879041625, -3.25274147256423, 8.26060672239739));
#17440 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#17260, #17270), (#17280, #17290), (#17300, #17310), (#17320, #17330), (#17340, #17350), (#17360, #17370), (#17380, #17390), (#17400, #17410), (#17420, #17430)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.250000000000004, 0.5, 0.749999999999996, 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 ('')
);
#17450 = ADVANCED_FACE ('', (#17250), #17440, .T.);
#17460 = ORIENTED_EDGE ('', *, *, #16460, .F.);
#17470 = ORIENTED_EDGE ('', *, *, #17080, .F.);
#17480 = ORIENTED_EDGE ('', *, *, #15840, .F.);
#17490 = ORIENTED_EDGE ('', *, *, #16780, .F.);
#17500 = EDGE_LOOP ('', (#17460, #17470, #17480, #17490));
#17510 = FACE_OUTER_BOUND ('', #17500, .T.);
#17520 = CARTESIAN_POINT ('', (3.14244845990063, -5.74725852743578, 8.1570791043564));
#17530 = CARTESIAN_POINT ('', (2.50327777924728, -5.78652647601396, 10.5424965592635));
#17540 = CARTESIAN_POINT ('', (3.14327143923504, -5.94723324884531, 8.15400770366683));
#17550 = CARTESIAN_POINT ('', (2.50410075858169, -5.98650119742349, 10.5394251585739));
#17560 = CARTESIAN_POINT ('', (3.33645660449285, -5.94723324884531, 8.20577151268733));
#17570 = CARTESIAN_POINT ('', (2.6972859238395, -5.98650119742349, 10.5911889675944));
#17580 = CARTESIAN_POINT ('', (3.52964176975067, -5.94723324884531, 8.25753532170783));
#17590 = CARTESIAN_POINT ('', (2.89047108909732, -5.98650119742349, 10.6429527766149));
#17600 = CARTESIAN_POINT ('', (3.52881879041627, -5.74725852743577, 8.26060672239739));
#17610 = CARTESIAN_POINT ('', (2.88964810976292, -5.78652647601395, 10.6460241773045));
#17620 = CARTESIAN_POINT ('', (3.52799581108187, -5.54728380602624, 8.26367812308696));
#17630 = CARTESIAN_POINT ('', (2.88882513042851, -5.58655175460442, 10.6490955779941));
#17640 = CARTESIAN_POINT ('', (3.33481064582405, -5.54728380602625, 8.21191431406647));
#17650 = CARTESIAN_POINT ('', (2.6956399651707, -5.58655175460443, 10.5973317689736));
#17660 = CARTESIAN_POINT ('', (3.14162548056623, -5.54728380602625, 8.16015050504597));
#17670 = CARTESIAN_POINT ('', (2.50245479991288, -5.58655175460443, 10.5455679599531));
#17680 = CARTESIAN_POINT ('', (3.14244845990063, -5.74725852743578, 8.1570791043564));
#17690 = CARTESIAN_POINT ('', (2.50327777924728, -5.78652647601396, 10.5424965592635));
#17700 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#17520, #17530), (#17540, #17550), (#17560, #17570), (#17580, #17590), (#17600, #17610), (#17620, #17630), (#17640, #17650), (#17660, #17670), (#17680, #17690)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.249999999999993, 0.5, 0.750000000000002, 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 ('')
);
#17710 = ADVANCED_FACE ('', (#17510), #17700, .T.);
#17720 = ORIENTED_EDGE ('', *, *, #13850, .F.);
#17730 = ORIENTED_EDGE ('', *, *, #14880, .F.);
#17740 = ORIENTED_EDGE ('', *, *, #14330, .F.);
#17750 = ORIENTED_EDGE ('', *, *, #15080, .F.);
#17760 = EDGE_LOOP ('', (#17720, #17730, #17740, #17750));
#17770 = FACE_OUTER_BOUND ('', #17760, .T.);
#17780 = CARTESIAN_POINT ('', (26.5285238124525, -3.21373525371815, 12.2063081719088));
#17790 = CARTESIAN_POINT ('', (26.2297624642322, -3.25271576563256, 9.77309225271268));
#17800 = CARTESIAN_POINT ('', (26.5289113262504, -3.41370997512768, 12.209464218524));
#17810 = CARTESIAN_POINT ('', (26.23014997803, -3.45269048704209, 9.77624829932786));
#17820 = CARTESIAN_POINT ('', (26.3304020959221, -3.41370997512768, 12.233838087205));
#17830 = CARTESIAN_POINT ('', (26.0316407477017, -3.45269048704209, 9.80062216800888));
#17840 = CARTESIAN_POINT ('', (26.1318928655938, -3.41370997512768, 12.258211955886));
#17850 = CARTESIAN_POINT ('', (25.8331315173734, -3.45269048704209, 9.82499603668991));
#17860 = CARTESIAN_POINT ('', (26.131505351796, -3.21373525371815, 12.2550559092708));
#17870 = CARTESIAN_POINT ('', (25.8327440035756, -3.25271576563256, 9.82183999007472));
#17880 = CARTESIAN_POINT ('', (26.1311178379982, -3.01376053230861, 12.2518998626557));
#17890 = CARTESIAN_POINT ('', (25.8323564897778, -3.05274104422303, 9.81868394345954));
#17900 = CARTESIAN_POINT ('', (26.3296270683264, -3.01376053230861, 12.2275259939746));
#17910 = CARTESIAN_POINT ('', (26.0308657201061, -3.05274104422302, 9.79431007477852));
#17920 = CARTESIAN_POINT ('', (26.5281362986547, -3.01376053230861, 12.2031521252936));
#17930 = CARTESIAN_POINT ('', (26.2293749504343, -3.05274104422303, 9.7699362060975));
#17940 = CARTESIAN_POINT ('', (26.5285238124525, -3.21373525371815, 12.2063081719088));
#17950 = CARTESIAN_POINT ('', (26.2297624642322, -3.25271576563256, 9.77309225271268));
#17960 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#17780, #17790), (#17800, #17810), (#17820, #17830), (#17840, #17850), (#17860, #17870), (#17880, #17890), (#17900, #17910), (#17920, #17930), (#17940, #17950)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.250000000000005, 0.500000000000001, 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 ('')
);
#17970 = ADVANCED_FACE ('', (#17770), #17960, .T.);
#17980 = ORIENTED_EDGE ('', *, *, #14500, .F.);
#17990 = ORIENTED_EDGE ('', *, *, #14940, .F.);
#18000 = ORIENTED_EDGE ('', *, *, #14080, .F.);
#18010 = ORIENTED_EDGE ('', *, *, #15240, .F.);
#18020 = EDGE_LOOP ('', (#17980, #17990, #18000, #18010));
#18030 = FACE_OUTER_BOUND ('', #18020, .T.);
#18040 = CARTESIAN_POINT ('', (25.8327440035754, -5.74728423436745, 9.82183999007475));
#18050 = CARTESIAN_POINT ('', (26.1315053517958, -5.78626474628187, 12.2550559092709));
#18060 = CARTESIAN_POINT ('', (25.8323564897776, -5.94725895577699, 9.81868394345957));
#18070 = CARTESIAN_POINT ('', (26.1311178379979, -5.9862394676914, 12.2518998626557));
#18080 = CARTESIAN_POINT ('', (26.0308657201059, -5.94725895577699, 9.79431007477855));
#18090 = CARTESIAN_POINT ('', (26.3296270683262, -5.98623946769141, 12.2275259939747));
#18100 = CARTESIAN_POINT ('', (26.2293749504341, -5.94725895577699, 9.76993620609753));
#18110 = CARTESIAN_POINT ('', (26.5281362986545, -5.98623946769141, 12.2031521252936));
#18120 = CARTESIAN_POINT ('', (26.229762464232, -5.74728423436745, 9.77309225271271));
#18130 = CARTESIAN_POINT ('', (26.5285238124523, -5.78626474628187, 12.2063081719088));
#18140 = CARTESIAN_POINT ('', (26.2301499780298, -5.54730951295792, 9.77624829932789));
#18150 = CARTESIAN_POINT ('', (26.5289113262501, -5.58629002487234, 12.209464218524));
#18160 = CARTESIAN_POINT ('', (26.0316407477015, -5.54730951295792, 9.80062216800892));
#18170 = CARTESIAN_POINT ('', (26.3304020959219, -5.58629002487234, 12.233838087205));
#18180 = CARTESIAN_POINT ('', (25.8331315173733, -5.54730951295792, 9.82499603668994));
#18190 = CARTESIAN_POINT ('', (26.1318928655936, -5.58629002487233, 12.258211955886));
#18200 = CARTESIAN_POINT ('', (25.8327440035754, -5.74728423436745, 9.82183999007475));
#18210 = CARTESIAN_POINT ('', (26.1315053517958, -5.78626474628187, 12.2550559092709));
#18220 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#18040, #18050), (#18060, #18070), (#18080, #18090), (#18100, #18110), (#18120, #18130), (#18140, #18150), (#18160, #18170), (#18180, #18190), (#18200, #18210)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.750000000000006, 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 ('')
);
#18230 = ADVANCED_FACE ('', (#18030), #18220, .T.);
#18240 = CLOSED_SHELL ('', (#12190, #13110, #13310, #13510, #13670, #14170, #14710, #14830, #15030, #15190, #15350, #15510, #16010, #16550, #16670, #16870, #17030, #17190, #17450, #17710, #17970, #18230));
#18250 = MANIFOLD_SOLID_BREP ('CUT', #18240);
#18260 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#18270 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#18280 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#18290 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #18260, 'DISTANCE_ACCURACY_VALUE', '');
#18300 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#18290))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#18260, #18270, #18280))
   REPRESENTATION_CONTEXT ('', '3D')
);
#18310 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#18320 = FILL_AREA_STYLE_COLOUR ('', #18310);
#18330 = FILL_AREA_STYLE ('', (#18320));
#18340 = SURFACE_STYLE_FILL_AREA (#18330);
#18350 = SURFACE_SIDE_STYLE ('', (#18340));
#18360 = SURFACE_STYLE_USAGE (.POSITIVE., #18350);
#18370 = PRESENTATION_STYLE_ASSIGNMENT ((#18360));
#18380 = STYLED_ITEM ('', (#18370), #18250);
#18390 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#18250), #18300);
#18400 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#18410 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #18400);
#18420 = MECHANICAL_CONTEXT ('', #18400, 'mechanical');
#18430 = PRODUCT ('NONE', '', '', (#18420));
#18440 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#18450 = PERSON ('', '', $, $, $, $);
#18460 = ORGANIZATION ($, '', '');
#18470 = PERSON_AND_ORGANIZATION (#18450, #18460);
#18480 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18470, #18440, (#18430));
#18490 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#18430));
#18500 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #18430, .NOT_KNOWN.);
#18510 = APPROVAL_STATUS ('approved');
#18520 = APPROVAL (#18510, '');
#18530 = CALENDAR_DATE (2018, 16, 8);
#18540 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18550 = LOCAL_TIME (10, 29, 30., #18540);
#18560 = DATE_AND_TIME (#18530, #18550);
#18570 = APPROVAL_DATE_TIME (#18560, #18520);
#18580 = APPROVAL_ROLE ('');
#18590 = PERSON ('', '', $, $, $, $);
#18600 = ORGANIZATION ($, '', '');
#18610 = PERSON_AND_ORGANIZATION (#18590, #18600);
#18620 = APPROVAL_PERSON_ORGANIZATION (#18610, #18520, #18580);
#18630 = CC_DESIGN_APPROVAL (#18520, (#18500));
#18640 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#18650 = PERSON ('', '', $, $, $, $);
#18660 = ORGANIZATION ($, '', '');
#18670 = PERSON_AND_ORGANIZATION (#18650, #18660);
#18680 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18670, #18640, (#18500));
#18690 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#18700 = PERSON ('', '', $, $, $, $);
#18710 = ORGANIZATION ($, '', '');
#18720 = PERSON_AND_ORGANIZATION (#18700, #18710);
#18730 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18720, #18690, (#18500));
#18740 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#18750 = SECURITY_CLASSIFICATION ('', '', #18740);
#18760 = APPROVAL_STATUS ('approved');
#18770 = APPROVAL (#18760, '');
#18780 = CALENDAR_DATE (2018, 16, 8);
#18790 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18800 = LOCAL_TIME (10, 29, 30., #18790);
#18810 = DATE_AND_TIME (#18780, #18800);
#18820 = APPROVAL_DATE_TIME (#18810, #18770);
#18830 = APPROVAL_ROLE ('');
#18840 = PERSON ('', '', $, $, $, $);
#18850 = ORGANIZATION ($, '', '');
#18860 = PERSON_AND_ORGANIZATION (#18840, #18850);
#18870 = APPROVAL_PERSON_ORGANIZATION (#18860, #18770, #18830);
#18880 = CC_DESIGN_APPROVAL (#18770, (#18750));
#18890 = DATE_TIME_ROLE ('classification_date');
#18900 = CALENDAR_DATE (2018, 16, 8);
#18910 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18920 = LOCAL_TIME (10, 29, 30., #18910);
#18930 = DATE_AND_TIME (#18900, #18920);
#18940 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#18930, #18890, (#18750));
#18950 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#18960 = PERSON ('', '', $, $, $, $);
#18970 = ORGANIZATION ($, '', '');
#18980 = PERSON_AND_ORGANIZATION (#18960, #18970);
#18990 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18980, #18950, (#18750));
#19000 = CC_DESIGN_SECURITY_CLASSIFICATION (#18750, (#18500));
#19010 = DESIGN_CONTEXT ('', #18400, 'design');
#19020 = PRODUCT_DEFINITION ('', '', #18500, #19010);
#19030 = APPROVAL_STATUS ('approved');
#19040 = APPROVAL (#19030, '');
#19050 = CALENDAR_DATE (2018, 16, 8);
#19060 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19070 = LOCAL_TIME (10, 29, 30., #19060);
#19080 = DATE_AND_TIME (#19050, #19070);
#19090 = APPROVAL_DATE_TIME (#19080, #19040);
#19100 = APPROVAL_ROLE ('');
#19110 = PERSON ('', '', $, $, $, $);
#19120 = ORGANIZATION ($, '', '');
#19130 = PERSON_AND_ORGANIZATION (#19110, #19120);
#19140 = APPROVAL_PERSON_ORGANIZATION (#19130, #19040, #19100);
#19150 = CC_DESIGN_APPROVAL (#19040, (#19020));
#19160 = DATE_TIME_ROLE ('creation_date');
#19170 = CALENDAR_DATE (2018, 16, 8);
#19180 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19190 = LOCAL_TIME (10, 29, 30., #19180);
#19200 = DATE_AND_TIME (#19170, #19190);
#19210 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#19200, #19160, (#19020));
#19220 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#19230 = PERSON ('', '', $, $, $, $);
#19240 = ORGANIZATION ($, '', '');
#19250 = PERSON_AND_ORGANIZATION (#19230, #19240);
#19260 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19250, #19220, (#19020));
#19270 = PRODUCT_DEFINITION_SHAPE ('', '', #19020);
#19280 = SHAPE_DEFINITION_REPRESENTATION (#19270, #18390);
ENDSEC;
END-ISO-10303-21;