ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('HSE 1212UD-L-SE2402-ET12-ACS1-S1.stp', '2018-08-16T10:28:23', ('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.78808643843547E-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.78808643843547E-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, -0.00100000000000073));
#320 = CARTESIAN_POINT ('', (-83.5, 6.001, 12.001));
#330 = CARTESIAN_POINT ('', (-83.5, -6.001, -0.001));
#340 = CARTESIAN_POINT ('', (-83.5, -6.001, 12.001));
#350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#310, #320), (#330, #340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-12.001, 0.000999999999999446), (-0.001, 12.001), .UNSPECIFIED.);
#360 = ADVANCED_FACE ('', (#300), #350, .T.);
#370 = CARTESIAN_POINT ('', (21.5, -4.25000000000001, 12.1317822411696));
#380 = VERTEX_POINT ('', #370);
#390 = CARTESIAN_POINT ('', (21.5, -5.75000000000001, 12.1317822411696));
#400 = VERTEX_POINT ('', #390);
#410 = CARTESIAN_POINT ('', (21.5, -4.25000000000001, 12.1317822411696));
#420 = CARTESIAN_POINT ('', (21.5, -5.75000000000001, 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, .T.);
#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 ('', #400, #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, -3.9, 10.7458363413468));
#690 = VERTEX_POINT ('', #680);
#700 = CARTESIAN_POINT ('', (1.68005023677441, -6., 10.7458363413468));
#710 = CARTESIAN_POINT ('', (1.68005023677441, -3.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, -3.9, 11.5891547811353));
#760 = VERTEX_POINT ('', #750);
#770 = CARTESIAN_POINT ('', (13.7400657923215, -3.9, 11.5891547811353));
#780 = CARTESIAN_POINT ('', (1.68005023677441, -3.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, -4.05000000000001, 11.6003384703989));
#830 = VERTEX_POINT ('', #820);
#840 = CARTESIAN_POINT ('', (13.9000000000001, -4.05000000000001, 11.6003384703989));
#850 = CARTESIAN_POINT ('', (13.8412923042294, -4.00596922817208, 11.5962332283972));
#860 = CARTESIAN_POINT ('', (13.7877657951351, -3.95576748283758, 11.5924902902617));
#870 = CARTESIAN_POINT ('', (13.7400657923215, -3.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, -4.25000000000001, 11.642294557565));
#920 = VERTEX_POINT ('', #910);
#930 = CARTESIAN_POINT ('', (14.5, -4.25000000000001, 11.642294557565));
#940 = CARTESIAN_POINT ('', (14.1666666666667, -4.25000000000001, 11.6189856202505));
#950 = CARTESIAN_POINT ('', (13.9000000000001, -4.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, -4.25000000000001, 12.1317822411696));
#1000 = CARTESIAN_POINT ('', (14.5, -4.25000000000001, 11.642294557565));
#1010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#990, #1000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1020 = EDGE_CURVE ('', #380, #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 ('', (21.5010647205849, -6.00100000000004, 12.1318566936857));
#1070 = CARTESIAN_POINT ('', (21.5010647205849, -3.89900000000001, 12.1318566936857));
#1080 = CARTESIAN_POINT ('', (1.67898551618956, -6.00100000000004, 10.7457618888307));
#1090 = CARTESIAN_POINT ('', (1.67898551618956, -3.899, 10.7457618888307));
#1100 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1060, #1070), (#1080, #1090)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-5.22576239711982, 14.6447203044495), (-2.10100000000003, 0.00099999999999989), .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 ('', (1., -6.001, 12.999));
#1430 = CARTESIAN_POINT ('', (1., 6.00099999999999, 12.999));
#1440 = CARTESIAN_POINT ('', (0.999999999999972, -6.001, 15.501));
#1450 = CARTESIAN_POINT ('', (0.999999999999972, 6.001, 15.501));
#1460 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1420, #1430), (#1440, #1450)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.501, -0.999000000000001), (-12.001, 0.000999999999999446), .UNSPECIFIED.);
#1470 = ADVANCED_FACE ('', (#1410), #1460, .T.);
#1480 = ORIENTED_EDGE ('', *, *, #970, .T.);
#1490 = ORIENTED_EDGE ('', *, *, #890, .T.);
#1500 = CARTESIAN_POINT ('', (13.7400657923215, -3.90000000000001, 6.29626155926668));
#1510 = VERTEX_POINT ('', #1500);
#1520 = CARTESIAN_POINT ('', (13.7400657923215, -3.90000000000001, 6.29626155926668));
#1530 = CARTESIAN_POINT ('', (13.7400657923215, -3.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, -4.25000000000001, 6.34940133569645));
#1580 = VERTEX_POINT ('', #1570);
#1590 = CARTESIAN_POINT ('', (14.5, -4.25000000000001, 6.34940133569645));
#1600 = CARTESIAN_POINT ('', (14.0394338135282, -4.25000000000001, 6.3171954105875));
#1610 = CARTESIAN_POINT ('', (13.7400657923215, -3.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, -4.25000000000001, -4.));
#1660 = VERTEX_POINT ('', #1650);
#1670 = CARTESIAN_POINT ('', (14.5, -4.25000000000001, -4.));
#1680 = CARTESIAN_POINT ('', (14.5, -4.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, -3.25000000000001, -4.));
#1730 = VERTEX_POINT ('', #1720);
#1740 = CARTESIAN_POINT ('', (13.5, -3.25000000000001, -4.));
#1750 = CARTESIAN_POINT ('', (13.5, -4.25000000000001, -4.));
#1760 = CARTESIAN_POINT ('', (14.5, -4.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, -3.25, 16.5));
#1810 = VERTEX_POINT ('', #1800);
#1820 = CARTESIAN_POINT ('', (13.5, -3.25, 16.5));
#1830 = CARTESIAN_POINT ('', (13.5, -3.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, -4.25000000000001, 16.5));
#1880 = VERTEX_POINT ('', #1870);
#1890 = CARTESIAN_POINT ('', (14.5, -4.25000000000001, 16.5));
#1900 = CARTESIAN_POINT ('', (13.5, -4.25000000000001, 16.5));
#1910 = CARTESIAN_POINT ('', (13.5, -3.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, -4.25000000000001, 11.642294557565));
#1960 = CARTESIAN_POINT ('', (14.5, -4.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 ('', (15.5, -3.25000000000001, -6.0512));
#2030 = CARTESIAN_POINT ('', (15.5, -3.25, 18.5512));
#2040 = CARTESIAN_POINT ('', (15.5, -4.25000000000001, -6.0512));
#2050 = CARTESIAN_POINT ('', (15.5, -4.25000000000001, 18.5512));
#2060 = CARTESIAN_POINT ('', (14.5, -4.25, -6.0512));
#2070 = CARTESIAN_POINT ('', (14.5, -4.24999999999999, 18.5512));
#2080 = CARTESIAN_POINT ('', (13.5, -4.24999999999999, -6.0512));
#2090 = CARTESIAN_POINT ('', (13.5, -4.24999999999998, 18.5512));
#2100 = CARTESIAN_POINT ('', (13.5, -3.24999999999999, -6.0512));
#2110 = CARTESIAN_POINT ('', (13.5, -3.24999999999998, 18.5512));
#2120 = CARTESIAN_POINT ('', (13.5, -2.24999999999998, -6.0512));
#2130 = CARTESIAN_POINT ('', (13.5, -2.24999999999998, 18.5512));
#2140 = CARTESIAN_POINT ('', (14.5, -2.25, -6.0512));
#2150 = CARTESIAN_POINT ('', (14.5, -2.24999999999999, 18.5512));
#2160 = CARTESIAN_POINT ('', (15.5, -2.25000000000001, -6.0512));
#2170 = CARTESIAN_POINT ('', (15.5, -2.25000000000001, 18.5512));
#2180 = CARTESIAN_POINT ('', (15.5, -3.25000000000001, -6.0512));
#2190 = CARTESIAN_POINT ('', (15.5, -3.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.250000000000001, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#2210 = ADVANCED_FACE ('', (#2010), #2200, .T.);
#2220 = CARTESIAN_POINT ('', (3.5447104935331, -3.9, 5.5833328665911));
#2230 = VERTEX_POINT ('', #2220);
#2240 = CARTESIAN_POINT ('', (3.5447104935331, -3.9, 5.5833328665911));
#2250 = CARTESIAN_POINT ('', (13.7400657923215, -3.90000000000001, 6.29626155926668));
#2260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2240, #2250), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2270 = EDGE_CURVE ('', #2230, #1510, #2260, .T.);
#2280 = ORIENTED_EDGE ('', *, *, #2270, .F.);
#2290 = CARTESIAN_POINT ('', (3.5447104935331, -6.00000000000001, 5.5833328665911));
#2300 = VERTEX_POINT ('', #2290);
#2310 = CARTESIAN_POINT ('', (3.5447104935331, -6.00000000000001, 5.5833328665911));
#2320 = CARTESIAN_POINT ('', (3.5447104935331, -3.9, 5.5833328665911));
#2330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2310, #2320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2340 = EDGE_CURVE ('', #2300, #2230, #2330, .T.);
#2350 = ORIENTED_EDGE ('', *, *, #2340, .F.);
#2360 = CARTESIAN_POINT ('', (13.5, -6.00000000000001, 6.27947452375295));
#2370 = VERTEX_POINT ('', #2360);
#2380 = CARTESIAN_POINT ('', (3.5447104935331, -6.00000000000001, 5.5833328665911));
#2390 = CARTESIAN_POINT ('', (13.5, -6.00000000000001, 6.27947452375295));
#2400 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2380, #2390), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2410 = EDGE_CURVE ('', #2300, #2370, #2400, .T.);
#2420 = ORIENTED_EDGE ('', *, *, #2410, .T.);
#2430 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, 6.32572676234747));
#2440 = VERTEX_POINT ('', #2430);
#2450 = CARTESIAN_POINT ('', (13.5, -6.00000000000004, 6.27947452375294));
#2460 = CARTESIAN_POINT ('', (13.783473354757, -5.75000000000001, 6.29929691172203));
#2470 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, 6.32572676234747));
#2480 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2450, #2460, #2470), .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 ('')
);
#2490 = EDGE_CURVE ('', #2370, #2440, #2480, .T.);
#2500 = ORIENTED_EDGE ('', *, *, #2490, .T.);
#2510 = CARTESIAN_POINT ('', (26., -5.75000000000001, 7.15355967304675));
#2520 = VERTEX_POINT ('', #2510);
#2530 = CARTESIAN_POINT ('', (26., -5.75000000000001, 7.15355967304675));
#2540 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, 6.32572676234747));
#2550 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2530, #2540), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2560 = EDGE_CURVE ('', #2520, #2440, #2550, .T.);
#2570 = ORIENTED_EDGE ('', *, *, #2560, .F.);
#2580 = CARTESIAN_POINT ('', (26., -4.25000000000001, 7.15355967304674));
#2590 = VERTEX_POINT ('', #2580);
#2600 = CARTESIAN_POINT ('', (26., -4.25000000000001, 7.15355967304674));
#2610 = CARTESIAN_POINT ('', (26., -5.75000000000001, 7.15355967304675));
#2620 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2600, #2610), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2630 = EDGE_CURVE ('', #2590, #2520, #2620, .T.);
#2640 = ORIENTED_EDGE ('', *, *, #2630, .F.);
#2650 = CARTESIAN_POINT ('', (26., -4.25000000000001, 7.15355967304674));
#2660 = CARTESIAN_POINT ('', (14.5, -4.25000000000001, 6.34940133569645));
#2670 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2650, #2660), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2680 = EDGE_CURVE ('', #2590, #1580, #2670, .T.);
#2690 = ORIENTED_EDGE ('', *, *, #2680, .T.);
#2700 = ORIENTED_EDGE ('', *, *, #1630, .T.);
#2710 = EDGE_LOOP ('', (#2280, #2350, #2420, #2500, #2570, #2640, #2690, #2700));
#2720 = FACE_OUTER_BOUND ('', #2710, .T.);
#2730 = CARTESIAN_POINT ('', (3.54364577294825, -6.00100000000004, 5.58325841407499));
#2740 = CARTESIAN_POINT ('', (3.54364577294825, -3.89900000000001, 5.58325841407499));
#2750 = CARTESIAN_POINT ('', (26.0010647205849, -6.00100000000004, 7.15363412556285));
#2760 = CARTESIAN_POINT ('', (26.0010647205849, -3.89900000000001, 7.15363412556285));
#2770 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2730, #2740), (#2750, #2760)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-13.001067320524, 9.51119035534892), (-2.10100000000003, 0.00099999999999989), .UNSPECIFIED.);
#2780 = ADVANCED_FACE ('', (#2720), #2770, .T.);
#2790 = CARTESIAN_POINT ('', (26., -4.25000000000001, -4.));
#2800 = VERTEX_POINT ('', #2790);
#2810 = CARTESIAN_POINT ('', (26., -4.25000000000001, 7.15355967304674));
#2820 = CARTESIAN_POINT ('', (26., -4.25000000000001, -4.));
#2830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2810, #2820), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2840 = EDGE_CURVE ('', #2590, #2800, #2830, .T.);
#2850 = ORIENTED_EDGE ('', *, *, #2840, .F.);
#2860 = ORIENTED_EDGE ('', *, *, #2630, .T.);
#2870 = CARTESIAN_POINT ('', (26., -5.75000000000001, -4.));
#2880 = VERTEX_POINT ('', #2870);
#2890 = CARTESIAN_POINT ('', (26., -5.75000000000001, 7.15355967304675));
#2900 = CARTESIAN_POINT ('', (26., -5.75000000000001, -4.));
#2910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2890, #2900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2920 = EDGE_CURVE ('', #2520, #2880, #2910, .T.);
#2930 = ORIENTED_EDGE ('', *, *, #2920, .T.);
#2940 = CARTESIAN_POINT ('', (26., -5.75000000000001, -4.));
#2950 = CARTESIAN_POINT ('', (26., -4.25000000000001, -4.));
#2960 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2940, #2950), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2970 = EDGE_CURVE ('', #2880, #2800, #2960, .T.);
#2980 = ORIENTED_EDGE ('', *, *, #2970, .T.);
#2990 = EDGE_LOOP ('', (#2850, #2860, #2930, #2980));
#3000 = FACE_OUTER_BOUND ('', #2990, .T.);
#3010 = CARTESIAN_POINT ('', (26., -5.75100000000001, -4.001));
#3020 = CARTESIAN_POINT ('', (26., -5.75100000000001, 7.15455967304675));
#3030 = CARTESIAN_POINT ('', (26., -4.24900000000001, -4.001));
#3040 = CARTESIAN_POINT ('', (26., -4.24900000000001, 7.15455967304675));
#3050 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3010, #3020), (#3030, #3040)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (10.249, 11.751), (-4.00099999999999, 7.15455967304676), .UNSPECIFIED.);
#3060 = ADVANCED_FACE ('', (#3000), #3050, .T.);
#3070 = ORIENTED_EDGE ('', *, *, #1700, .T.);
#3080 = ORIENTED_EDGE ('', *, *, #2680, .F.);
#3090 = ORIENTED_EDGE ('', *, *, #2840, .T.);
#3100 = CARTESIAN_POINT ('', (14.5, -4.25000000000001, -4.));
#3110 = CARTESIAN_POINT ('', (26., -4.25000000000001, -4.));
#3120 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3100, #3110), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3130 = EDGE_CURVE ('', #1660, #2800, #3120, .T.);
#3140 = ORIENTED_EDGE ('', *, *, #3130, .F.);
#3150 = EDGE_LOOP ('', (#3070, #3080, #3090, #3140));
#3160 = FACE_OUTER_BOUND ('', #3150, .T.);
#3170 = CARTESIAN_POINT ('', (26.001, -4.25000000000001, -4.001));
#3180 = CARTESIAN_POINT ('', (26.001, -4.25000000000001, 7.15455967304674));
#3190 = CARTESIAN_POINT ('', (14.499, -4.25000000000001, -4.001));
#3200 = CARTESIAN_POINT ('', (14.499, -4.25000000000001, 7.15455967304674));
#3210 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3170, #3180), (#3190, #3200)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (4.999, 16.501), (-20.501, -9.34544032695326), .UNSPECIFIED.);
#3220 = ADVANCED_FACE ('', (#3160), #3210, .T.);
#3230 = ORIENTED_EDGE ('', *, *, #2560, .T.);
#3240 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, -4.));
#3250 = VERTEX_POINT ('', #3240);
#3260 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, 6.32572676234747));
#3270 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, -4.));
#3280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3260, #3270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3290 = EDGE_CURVE ('', #2440, #3250, #3280, .T.);
#3300 = ORIENTED_EDGE ('', *, *, #3290, .T.);
#3310 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, -4.));
#3320 = CARTESIAN_POINT ('', (26., -5.75000000000001, -4.));
#3330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3310, #3320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3340 = EDGE_CURVE ('', #3250, #2880, #3330, .T.);
#3350 = ORIENTED_EDGE ('', *, *, #3340, .T.);
#3360 = ORIENTED_EDGE ('', *, *, #2920, .F.);
#3370 = EDGE_LOOP ('', (#3230, #3300, #3350, #3360));
#3380 = FACE_OUTER_BOUND ('', #3370, .T.);
#3390 = CARTESIAN_POINT ('', (14.1604378277662, -5.75000000000001, -4.001));
#3400 = CARTESIAN_POINT ('', (14.1604378277662, -5.75000000000001, 7.15455967304675));
#3410 = CARTESIAN_POINT ('', (26.001, -5.75000000000001, -4.001));
#3420 = CARTESIAN_POINT ('', (26.001, -5.75000000000001, 7.15455967304675));
#3430 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3390, #3400), (#3410, #3420)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (4.999, 16.8395621722338), (-0.00100000000000033, 11.1545596730468), .UNSPECIFIED.);
#3440 = ADVANCED_FACE ('', (#3380), #3430, .T.);
#3450 = ORIENTED_EDGE ('', *, *, #3290, .F.);
#3460 = ORIENTED_EDGE ('', *, *, #2490, .F.);
#3470 = CARTESIAN_POINT ('', (13.5, -6.00000000000001, -4.));
#3480 = VERTEX_POINT ('', #3470);
#3490 = CARTESIAN_POINT ('', (13.5, -6.00000000000001, 6.27947452375295));
#3500 = CARTESIAN_POINT ('', (13.5, -6.00000000000001, -4.));
#3510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3490, #3500), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3520 = EDGE_CURVE ('', #2370, #3480, #3510, .T.);
#3530 = ORIENTED_EDGE ('', *, *, #3520, .T.);
#3540 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, -4.));
#3550 = CARTESIAN_POINT ('', (13.7834733547569, -5.75000000000001, -4.));
#3560 = CARTESIAN_POINT ('', (13.5, -6.00000000000004, -4.));
#3570 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3540, #3550, #3560), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (270., 311.409622109273), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.935414346693478, 1.))
   REPRESENTATION_ITEM ('')
);
#3580 = EDGE_CURVE ('', #3250, #3480, #3570, .T.);
#3590 = ORIENTED_EDGE ('', *, *, #3580, .F.);
#3600 = EDGE_LOOP ('', (#3450, #3460, #3530, #3590));
#3610 = FACE_OUTER_BOUND ('', #3600, .T.);
#3620 = CARTESIAN_POINT ('', (15.1614378277662, -6.75000000000001, -5.03377267623475));
#3630 = CARTESIAN_POINT ('', (15.1614378277662, -6.75000000000001, 7.35949943858222));
#3640 = CARTESIAN_POINT ('', (15.1614378277662, -7.75000000000001, -5.03377267623475));
#3650 = CARTESIAN_POINT ('', (15.1614378277662, -7.75000000000001, 7.35949943858222));
#3660 = CARTESIAN_POINT ('', (14.1614378277662, -7.75000000000001, -5.03377267623475));
#3670 = CARTESIAN_POINT ('', (14.1614378277662, -7.75000000000001, 7.35949943858222));
#3680 = CARTESIAN_POINT ('', (13.1614378277662, -7.75000000000002, -5.03377267623475));
#3690 = CARTESIAN_POINT ('', (13.1614378277662, -7.75000000000002, 7.35949943858222));
#3700 = CARTESIAN_POINT ('', (13.1614378277662, -6.75000000000002, -5.03377267623475));
#3710 = CARTESIAN_POINT ('', (13.1614378277662, -6.75000000000002, 7.35949943858222));
#3720 = CARTESIAN_POINT ('', (13.1614378277662, -5.75000000000002, -5.03377267623475));
#3730 = CARTESIAN_POINT ('', (13.1614378277662, -5.75000000000002, 7.35949943858222));
#3740 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, -5.03377267623475));
#3750 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, 7.35949943858222));
#3760 = CARTESIAN_POINT ('', (15.1614378277662, -5.75000000000001, -5.03377267623475));
#3770 = CARTESIAN_POINT ('', (15.1614378277662, -5.75000000000001, 7.35949943858222));
#3780 = CARTESIAN_POINT ('', (15.1614378277662, -6.75000000000001, -5.03377267623475));
#3790 = CARTESIAN_POINT ('', (15.1614378277662, -6.75000000000001, 7.35949943858222));
#3800 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#3620, #3630), (#3640, #3650), (#3660, #3670), (#3680, #3690), (#3700, #3710), (#3720, #3730), (#3740, #3750), (#3760, #3770), (#3780, #3790)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.250000000000001, 0.499999999999999, 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 ('')
);
#3810 = ADVANCED_FACE ('', (#3610), #3800, .T.);
#3820 = CARTESIAN_POINT ('', (0., 5.99999999999999, -0.200000000000011));
#3830 = VERTEX_POINT ('', #3820);
#3840 = CARTESIAN_POINT ('', (0., -6.00000000000001, -0.20000000000001));
#3850 = VERTEX_POINT ('', #3840);
#3860 = CARTESIAN_POINT ('', (0., 5.99999999999999, -0.200000000000011));
#3870 = CARTESIAN_POINT ('', (0., -6.00000000000001, -0.20000000000001));
#3880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3860, #3870), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3890 = EDGE_CURVE ('', #3830, #3850, #3880, .T.);
#3900 = ORIENTED_EDGE ('', *, *, #3890, .T.);
#3910 = CARTESIAN_POINT ('', (0., -6.00000000000001, -1.02258007728804E-14));
#3920 = VERTEX_POINT ('', #3910);
#3930 = CARTESIAN_POINT ('', (0., -6.00000000000001, -0.20000000000001));
#3940 = CARTESIAN_POINT ('', (0., -6.00000000000001, -1.02140518265514E-14));
#3950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3930, #3940), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3960 = EDGE_CURVE ('', #3850, #3920, #3950, .T.);
#3970 = ORIENTED_EDGE ('', *, *, #3960, .T.);
#3980 = CARTESIAN_POINT ('', (0., 5.99999999999999, -7.34788079488412E-16));
#3990 = VERTEX_POINT ('', #3980);
#4000 = CARTESIAN_POINT ('', (0., -6.00000000000001, -1.02258007728804E-14));
#4010 = CARTESIAN_POINT ('', (0., 5.99999999999999, -7.34788079488412E-16));
#4020 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4000, #4010), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4030 = EDGE_CURVE ('', #3920, #3990, #4020, .T.);
#4040 = ORIENTED_EDGE ('', *, *, #4030, .T.);
#4050 = CARTESIAN_POINT ('', (0., 5.99999999999999, -0.200000000000011));
#4060 = CARTESIAN_POINT ('', (0., 5.99999999999999, -7.34788079488412E-16));
#4070 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4050, #4060), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4080 = EDGE_CURVE ('', #3830, #3990, #4070, .T.);
#4090 = ORIENTED_EDGE ('', *, *, #4080, .F.);
#4100 = EDGE_LOOP ('', (#3900, #3970, #4040, #4090));
#4110 = FACE_OUTER_BOUND ('', #4100, .T.);
#4120 = CARTESIAN_POINT ('', (0., -6.00100000000001, -0.20100000000001));
#4130 = CARTESIAN_POINT ('', (0., 6.001, -0.201000000000011));
#4140 = CARTESIAN_POINT ('', (0., -6.00100000000001, 0.001));
#4150 = CARTESIAN_POINT ('', (0., 6.001, 0.000999999999999269));
#4160 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4120, #4130), (#4140, #4150)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.20100000000001, 0.001), (26.3048928759318, 38.3068928759318), .UNSPECIFIED.);
#4170 = ADVANCED_FACE ('', (#4110), #4160, .T.);
#4180 = ORIENTED_EDGE ('', *, *, #270, .F.);
#4190 = CARTESIAN_POINT ('', (0., 5.99999999999999, -7.34788079488412E-16));
#4200 = CARTESIAN_POINT ('', (-83.5, 6., -6.78808643843547E-16));
#4210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4190, #4200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4220 = EDGE_CURVE ('', #3990, #180, #4210, .T.);
#4230 = ORIENTED_EDGE ('', *, *, #4220, .F.);
#4240 = ORIENTED_EDGE ('', *, *, #4030, .F.);
#4250 = CARTESIAN_POINT ('', (0., -6.00000000000001, -1.02258007728804E-14));
#4260 = CARTESIAN_POINT ('', (-83.5, -6., 0.));
#4270 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4250, #4260), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4280 = EDGE_CURVE ('', #3920, #40, #4270, .T.);
#4290 = ORIENTED_EDGE ('', *, *, #4280, .T.);
#4300 = EDGE_LOOP ('', (#4180, #4230, #4240, #4290));
#4310 = FACE_OUTER_BOUND ('', #4300, .T.);
#4320 = CARTESIAN_POINT ('', (0.00100000000000477, -6.001, -1.02258620052203E-14));
#4330 = CARTESIAN_POINT ('', (0.00100000000000477, 6.00099999999999, -1.09607725493887E-14));
#4340 = CARTESIAN_POINT ('', (-83.501, -6.001, 1.83697019873116E-19));
#4350 = CARTESIAN_POINT ('', (-83.501, 6.001, -7.34726847148453E-16));
#4360 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4320, #4330), (#4340, #4350)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000477, 83.501), (-12.001, 0.000999999999999446), .UNSPECIFIED.);
#4370 = ADVANCED_FACE ('', (#4310), #4360, .T.);
#4380 = ORIENTED_EDGE ('', *, *, #150, .F.);
#4390 = CARTESIAN_POINT ('', (0., -6., 12.));
#4400 = VERTEX_POINT ('', #4390);
#4410 = CARTESIAN_POINT ('', (-83.5, -6., 12.));
#4420 = CARTESIAN_POINT ('', (0., -6., 12.));
#4430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4410, #4420), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4440 = EDGE_CURVE ('', #20, #4400, #4430, .T.);
#4450 = ORIENTED_EDGE ('', *, *, #4440, .T.);
#4460 = CARTESIAN_POINT ('', (0., 5.99999999999999, 12.));
#4470 = VERTEX_POINT ('', #4460);
#4480 = CARTESIAN_POINT ('', (0., -6., 12.));
#4490 = CARTESIAN_POINT ('', (0., 5.99999999999999, 12.));
#4500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4480, #4490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4510 = EDGE_CURVE ('', #4400, #4470, #4500, .T.);
#4520 = ORIENTED_EDGE ('', *, *, #4510, .T.);
#4530 = CARTESIAN_POINT ('', (-83.5, 6., 12.));
#4540 = CARTESIAN_POINT ('', (0., 5.99999999999999, 12.));
#4550 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4530, #4540), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4560 = EDGE_CURVE ('', #110, #4470, #4550, .T.);
#4570 = ORIENTED_EDGE ('', *, *, #4560, .F.);
#4580 = EDGE_LOOP ('', (#4380, #4450, #4520, #4570));
#4590 = FACE_OUTER_BOUND ('', #4580, .T.);
#4600 = CARTESIAN_POINT ('', (-83.501, -6.001, 12.));
#4610 = CARTESIAN_POINT ('', (-83.501, 6.001, 12.));
#4620 = CARTESIAN_POINT ('', (0.000999999999990564, -6.001, 12.));
#4630 = CARTESIAN_POINT ('', (0.000999999999990564, 6.00099999999999, 12.));
#4640 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4600, #4610), (#4620, #4630)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-83.501, 0.001), (-12.001, 0.000999999999999446), .UNSPECIFIED.);
#4650 = ADVANCED_FACE ('', (#4590), #4640, .T.);
#4660 = CARTESIAN_POINT ('', (13.5, 3., 16.5));
#4670 = VERTEX_POINT ('', #4660);
#4680 = CARTESIAN_POINT ('', (13.5, -3.25, 16.5));
#4690 = CARTESIAN_POINT ('', (13.5, 3., 16.5));
#4700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4680, #4690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4710 = EDGE_CURVE ('', #1810, #4670, #4700, .T.);
#4720 = ORIENTED_EDGE ('', *, *, #4710, .T.);
#4730 = CARTESIAN_POINT ('', (10.5, 6., 16.5));
#4740 = VERTEX_POINT ('', #4730);
#4750 = CARTESIAN_POINT ('', (13.5, 3., 16.5));
#4760 = CARTESIAN_POINT ('', (10.5, 6., 16.5));
#4770 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4750, #4760), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4780 = EDGE_CURVE ('', #4670, #4740, #4770, .T.);
#4790 = ORIENTED_EDGE ('', *, *, #4780, .T.);
#4800 = CARTESIAN_POINT ('', (2., 6., 16.5));
#4810 = VERTEX_POINT ('', #4800);
#4820 = CARTESIAN_POINT ('', (2., 6., 16.5));
#4830 = CARTESIAN_POINT ('', (10.5, 6., 16.5));
#4840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4820, #4830), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4850 = EDGE_CURVE ('', #4810, #4740, #4840, .T.);
#4860 = ORIENTED_EDGE ('', *, *, #4850, .F.);
#4870 = CARTESIAN_POINT ('', (2., -6., 16.5));
#4880 = VERTEX_POINT ('', #4870);
#4890 = CARTESIAN_POINT ('', (2., 6., 16.5));
#4900 = CARTESIAN_POINT ('', (2., -6., 16.5));
#4910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4890, #4900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4920 = EDGE_CURVE ('', #4810, #4880, #4910, .T.);
#4930 = ORIENTED_EDGE ('', *, *, #4920, .T.);
#4940 = CARTESIAN_POINT ('', (13.5, -6.00000000000001, 16.5));
#4950 = VERTEX_POINT ('', #4940);
#4960 = CARTESIAN_POINT ('', (2., -6., 16.5));
#4970 = CARTESIAN_POINT ('', (13.5, -6.00000000000001, 16.5));
#4980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4960, #4970), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4990 = EDGE_CURVE ('', #4880, #4950, #4980, .T.);
#5000 = ORIENTED_EDGE ('', *, *, #4990, .T.);
#5010 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, 16.5));
#5020 = VERTEX_POINT ('', #5010);
#5030 = CARTESIAN_POINT ('', (13.5, -6.00000000000003, 16.5));
#5040 = CARTESIAN_POINT ('', (13.783473354757, -5.75000000000001, 16.5));
#5050 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, 16.5));
#5060 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5030, #5040, #5050), .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 ('')
);
#5070 = EDGE_CURVE ('', #4950, #5020, #5060, .T.);
#5080 = ORIENTED_EDGE ('', *, *, #5070, .T.);
#5090 = CARTESIAN_POINT ('', (14.6660757107498, -5.75000000000001, 16.5));
#5100 = VERTEX_POINT ('', #5090);
#5110 = CARTESIAN_POINT ('', (14.6660757107498, -5.75000000000001, 16.5));
#5120 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, 16.5));
#5130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5110, #5120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5140 = EDGE_CURVE ('', #5100, #5020, #5130, .T.);
#5150 = ORIENTED_EDGE ('', *, *, #5140, .F.);
#5160 = CARTESIAN_POINT ('', (14.6660757107498, -4.25000000000001, 16.5));
#5170 = VERTEX_POINT ('', #5160);
#5180 = CARTESIAN_POINT ('', (14.6660757107498, -4.25000000000001, 16.5));
#5190 = CARTESIAN_POINT ('', (14.6660757107498, -5.75000000000001, 16.5));
#5200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5180, #5190), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5210 = EDGE_CURVE ('', #5170, #5100, #5200, .T.);
#5220 = ORIENTED_EDGE ('', *, *, #5210, .F.);
#5230 = CARTESIAN_POINT ('', (14.5, -4.25000000000001, 16.5));
#5240 = CARTESIAN_POINT ('', (14.6660757107498, -4.25000000000001, 16.5));
#5250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5230, #5240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5260 = EDGE_CURVE ('', #1880, #5170, #5250, .T.);
#5270 = ORIENTED_EDGE ('', *, *, #5260, .F.);
#5280 = ORIENTED_EDGE ('', *, *, #1930, .T.);
#5290 = EDGE_LOOP ('', (#4720, #4790, #4860, #4930, #5000, #5080, #5150, #5220, #5270, #5280));
#5300 = FACE_OUTER_BOUND ('', #5290, .T.);
#5310 = CARTESIAN_POINT ('', (1.999, -6.00100000000003, 16.5));
#5320 = CARTESIAN_POINT ('', (1.999, 6.001, 16.5));
#5330 = CARTESIAN_POINT ('', (14.6670757107498, -6.00100000000004, 16.5));
#5340 = CARTESIAN_POINT ('', (14.6670757107498, 6.001, 16.5));
#5350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5310, #5320), (#5330, #5340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-13.6670757107498, -0.998999999999995), (-12.001, 0.000999999999999446), .UNSPECIFIED.);
#5360 = ADVANCED_FACE ('', (#5300), #5350, .T.);
#5370 = ORIENTED_EDGE ('', *, *, #220, .F.);
#5380 = ORIENTED_EDGE ('', *, *, #4560, .T.);
#5390 = CARTESIAN_POINT ('', (0., 5.99999999999999, 12.));
#5400 = CARTESIAN_POINT ('', (1., 6., 12.));
#5410 = CARTESIAN_POINT ('', (1., 5.99999999999999, 13.));
#5420 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5390, #5400, #5410), .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 ('')
);
#5430 = EDGE_CURVE ('', #4470, #1290, #5420, .T.);
#5440 = ORIENTED_EDGE ('', *, *, #5430, .T.);
#5450 = ORIENTED_EDGE ('', *, *, #1330, .T.);
#5460 = CARTESIAN_POINT ('', (1., 6., 15.5));
#5470 = CARTESIAN_POINT ('', (2., 6., 16.5));
#5480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5460, #5470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5490 = EDGE_CURVE ('', #1220, #4810, #5480, .T.);
#5500 = ORIENTED_EDGE ('', *, *, #5490, .T.);
#5510 = ORIENTED_EDGE ('', *, *, #4850, .T.);
#5520 = CARTESIAN_POINT ('', (10.5, 5.99999999999999, -4.));
#5530 = VERTEX_POINT ('', #5520);
#5540 = CARTESIAN_POINT ('', (10.5, 6., 16.5));
#5550 = CARTESIAN_POINT ('', (10.5, 5.99999999999999, -4.));
#5560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5540, #5550), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5570 = EDGE_CURVE ('', #4740, #5530, #5560, .T.);
#5580 = ORIENTED_EDGE ('', *, *, #5570, .T.);
#5590 = CARTESIAN_POINT ('', (0., 5.99999999999999, -4.));
#5600 = VERTEX_POINT ('', #5590);
#5610 = CARTESIAN_POINT ('', (10.5, 5.99999999999999, -4.));
#5620 = CARTESIAN_POINT ('', (0., 5.99999999999999, -4.));
#5630 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5610, #5620), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5640 = EDGE_CURVE ('', #5530, #5600, #5630, .T.);
#5650 = ORIENTED_EDGE ('', *, *, #5640, .T.);
#5660 = CARTESIAN_POINT ('', (0., 5.99999999999999, -3.2));
#5670 = VERTEX_POINT ('', #5660);
#5680 = CARTESIAN_POINT ('', (0., 5.99999999999999, -4.));
#5690 = CARTESIAN_POINT ('', (0., 5.99999999999999, -3.2));
#5700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5680, #5690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5710 = EDGE_CURVE ('', #5600, #5670, #5700, .T.);
#5720 = ORIENTED_EDGE ('', *, *, #5710, .T.);
#5730 = CARTESIAN_POINT ('', (0.200000000000003, 5.99999999999999, -3.2));
#5740 = VERTEX_POINT ('', #5730);
#5750 = CARTESIAN_POINT ('', (0.200000000000003, 5.99999999999999, -3.2));
#5760 = CARTESIAN_POINT ('', (0., 5.99999999999999, -3.2));
#5770 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5750, #5760), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5780 = EDGE_CURVE ('', #5740, #5670, #5770, .T.);
#5790 = ORIENTED_EDGE ('', *, *, #5780, .F.);
#5800 = CARTESIAN_POINT ('', (0.200000000000003, 5.99999999999999, -0.200000000000011));
#5810 = VERTEX_POINT ('', #5800);
#5820 = CARTESIAN_POINT ('', (0.200000000000003, 5.99999999999999, -0.200000000000011));
#5830 = CARTESIAN_POINT ('', (0.200000000000003, 5.99999999999999, -3.2));
#5840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5820, #5830), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5850 = EDGE_CURVE ('', #5810, #5740, #5840, .T.);
#5860 = ORIENTED_EDGE ('', *, *, #5850, .F.);
#5870 = CARTESIAN_POINT ('', (0., 5.99999999999999, -0.200000000000011));
#5880 = CARTESIAN_POINT ('', (0.200000000000003, 5.99999999999999, -0.200000000000011));
#5890 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5870, #5880), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5900 = EDGE_CURVE ('', #3830, #5810, #5890, .T.);
#5910 = ORIENTED_EDGE ('', *, *, #5900, .F.);
#5920 = ORIENTED_EDGE ('', *, *, #4080, .T.);
#5930 = ORIENTED_EDGE ('', *, *, #4220, .T.);
#5940 = EDGE_LOOP ('', (#5370, #5380, #5440, #5450, #5500, #5510, #5580, #5650, #5720, #5790, #5860, #5910, #5920, #5930));
#5950 = FACE_OUTER_BOUND ('', #5940, .T.);
#5960 = CARTESIAN_POINT ('', (10.501, 5.99999999999999, -4.001));
#5970 = CARTESIAN_POINT ('', (10.501, 6., 16.501));
#5980 = CARTESIAN_POINT ('', (-83.501, 6., -4.001));
#5990 = CARTESIAN_POINT ('', (-83.501, 6., 16.501));
#6000 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5960, #5970), (#5980, #5990)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-109.501, -15.499), (-4.00099999999999, 16.501), .UNSPECIFIED.);
#6010 = ADVANCED_FACE ('', (#5950), #6000, .T.);
#6020 = ORIENTED_EDGE ('', *, *, #4440, .F.);
#6030 = ORIENTED_EDGE ('', *, *, #80, .T.);
#6040 = ORIENTED_EDGE ('', *, *, #4280, .F.);
#6050 = ORIENTED_EDGE ('', *, *, #3960, .F.);
#6060 = CARTESIAN_POINT ('', (0.200000000000003, -6.00000000000001, -0.20000000000001));
#6070 = VERTEX_POINT ('', #6060);
#6080 = CARTESIAN_POINT ('', (0.200000000000003, -6.00000000000001, -0.20000000000001));
#6090 = CARTESIAN_POINT ('', (0., -6.00000000000001, -0.20000000000001));
#6100 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6080, #6090), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6110 = EDGE_CURVE ('', #6070, #3850, #6100, .T.);
#6120 = ORIENTED_EDGE ('', *, *, #6110, .F.);
#6130 = CARTESIAN_POINT ('', (0.200000000000003, -6.00000000000001, -3.2));
#6140 = VERTEX_POINT ('', #6130);
#6150 = CARTESIAN_POINT ('', (0.200000000000003, -6.00000000000001, -3.2));
#6160 = CARTESIAN_POINT ('', (0.200000000000003, -6.00000000000001, -0.20000000000001));
#6170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6150, #6160), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6180 = EDGE_CURVE ('', #6140, #6070, #6170, .T.);
#6190 = ORIENTED_EDGE ('', *, *, #6180, .F.);
#6200 = CARTESIAN_POINT ('', (0., -6.00000000000001, -3.2));
#6210 = VERTEX_POINT ('', #6200);
#6220 = CARTESIAN_POINT ('', (0., -6.00000000000001, -3.2));
#6230 = CARTESIAN_POINT ('', (0.200000000000003, -6.00000000000001, -3.2));
#6240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6220, #6230), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6250 = EDGE_CURVE ('', #6210, #6140, #6240, .T.);
#6260 = ORIENTED_EDGE ('', *, *, #6250, .F.);
#6270 = CARTESIAN_POINT ('', (0., -6.00000000000001, -4.));
#6280 = VERTEX_POINT ('', #6270);
#6290 = CARTESIAN_POINT ('', (0., -6.00000000000001, -4.));
#6300 = CARTESIAN_POINT ('', (0., -6.00000000000001, -3.2));
#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 ('', (13.5, -6.00000000000001, -4.));
#6350 = CARTESIAN_POINT ('', (0., -6.00000000000001, -4.));
#6360 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6340, #6350), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6370 = EDGE_CURVE ('', #3480, #6280, #6360, .T.);
#6380 = ORIENTED_EDGE ('', *, *, #6370, .F.);
#6390 = ORIENTED_EDGE ('', *, *, #3520, .F.);
#6400 = ORIENTED_EDGE ('', *, *, #2410, .F.);
#6410 = CARTESIAN_POINT ('', (3.4205439702685, -6., 7.35899687605359));
#6420 = VERTEX_POINT ('', #6410);
#6430 = CARTESIAN_POINT ('', (3.4205439702685, -6., 7.35899687605359));
#6440 = CARTESIAN_POINT ('', (3.5447104935331, -6.00000000000001, 5.5833328665911));
#6450 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6430, #6440), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6460 = EDGE_CURVE ('', #6420, #2300, #6450, .T.);
#6470 = ORIENTED_EDGE ('', *, *, #6460, .F.);
#6480 = CARTESIAN_POINT ('', (1.9241978948788, -6., 7.25436216543741));
#6490 = VERTEX_POINT ('', #6480);
#6500 = CARTESIAN_POINT ('', (1.9241978948788, -6., 7.25436216543741));
#6510 = CARTESIAN_POINT ('', (3.4205439702685, -6., 7.35899687605359));
#6520 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6500, #6510), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6530 = EDGE_CURVE ('', #6490, #6420, #6520, .T.);
#6540 = ORIENTED_EDGE ('', *, *, #6530, .F.);
#6550 = CARTESIAN_POINT ('', (1.68005023677441, -6., 10.7458363413468));
#6560 = CARTESIAN_POINT ('', (1.9241978948788, -6., 7.25436216543741));
#6570 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6550, #6560), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6580 = EDGE_CURVE ('', #620, #6490, #6570, .T.);
#6590 = ORIENTED_EDGE ('', *, *, #6580, .F.);
#6600 = ORIENTED_EDGE ('', *, *, #660, .T.);
#6610 = CARTESIAN_POINT ('', (13.5, -6.00000000000001, 16.5));
#6620 = CARTESIAN_POINT ('', (13.5, -6.00000000000001, 11.5723677456215));
#6630 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6610, #6620), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6640 = EDGE_CURVE ('', #4950, #540, #6630, .T.);
#6650 = ORIENTED_EDGE ('', *, *, #6640, .F.);
#6660 = ORIENTED_EDGE ('', *, *, #4990, .F.);
#6670 = CARTESIAN_POINT ('', (2., -6., 16.5));
#6680 = CARTESIAN_POINT ('', (1., -6., 15.5));
#6690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6670, #6680), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6700 = EDGE_CURVE ('', #4880, #1150, #6690, .T.);
#6710 = ORIENTED_EDGE ('', *, *, #6700, .T.);
#6720 = ORIENTED_EDGE ('', *, *, #1190, .F.);
#6730 = CARTESIAN_POINT ('', (1., -6., 13.));
#6740 = CARTESIAN_POINT ('', (1., -6., 12.));
#6750 = CARTESIAN_POINT ('', (0., -6., 12.));
#6760 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6730, #6740, #6750), .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 ('')
);
#6770 = EDGE_CURVE ('', #1130, #4400, #6760, .T.);
#6780 = ORIENTED_EDGE ('', *, *, #6770, .T.);
#6790 = EDGE_LOOP ('', (#6020, #6030, #6040, #6050, #6120, #6190, #6260, #6330, #6380, #6390, #6400, #6470, #6540, #6590, #6600, #6650, #6660, #6710, #6720, #6780));
#6800 = FACE_OUTER_BOUND ('', #6790, .T.);
#6810 = CARTESIAN_POINT ('', (-83.501, -6., -4.001));
#6820 = CARTESIAN_POINT ('', (-83.501, -6., 16.501));
#6830 = CARTESIAN_POINT ('', (13.501, -6.00000000000001, -4.001));
#6840 = CARTESIAN_POINT ('', (13.501, -6.00000000000001, 16.501));
#6850 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6810, #6820), (#6830, #6840)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-109.501, -12.499), (-4.00099999999999, 16.501), .UNSPECIFIED.);
#6860 = ADVANCED_FACE ('', (#6800), #6850, .T.);
#6870 = ORIENTED_EDGE ('', *, *, #5430, .F.);
#6880 = ORIENTED_EDGE ('', *, *, #4510, .F.);
#6890 = ORIENTED_EDGE ('', *, *, #6770, .F.);
#6900 = ORIENTED_EDGE ('', *, *, #1380, .F.);
#6910 = EDGE_LOOP ('', (#6870, #6880, #6890, #6900));
#6920 = FACE_OUTER_BOUND ('', #6910, .T.);
#6930 = CARTESIAN_POINT ('', (-1., -7.2012, 13.));
#6940 = CARTESIAN_POINT ('', (-1., 7.20119999999999, 13.));
#6950 = CARTESIAN_POINT ('', (-1.00000000000001, -7.2012, 12.));
#6960 = CARTESIAN_POINT ('', (-1.00000000000001, 7.20119999999999, 12.));
#6970 = CARTESIAN_POINT ('', (-1.4210854715202E-14, -7.2012, 12.));
#6980 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 7.20119999999999, 12.));
#6990 = CARTESIAN_POINT ('', (0.999999999999986, -7.2012, 12.));
#7000 = CARTESIAN_POINT ('', (0.999999999999986, 7.20119999999999, 12.));
#7010 = CARTESIAN_POINT ('', (1., -7.2012, 13.));
#7020 = CARTESIAN_POINT ('', (1., 7.20119999999999, 13.));
#7030 = CARTESIAN_POINT ('', (1.00000000000001, -7.2012, 14.));
#7040 = CARTESIAN_POINT ('', (1.00000000000001, 7.20119999999999, 14.));
#7050 = CARTESIAN_POINT ('', (1.4210854715202E-14, -7.2012, 14.));
#7060 = CARTESIAN_POINT ('', (1.4210854715202E-14, 7.20119999999999, 14.));
#7070 = CARTESIAN_POINT ('', (-0.999999999999986, -7.2012, 14.));
#7080 = CARTESIAN_POINT ('', (-0.999999999999986, 7.20119999999999, 14.));
#7090 = CARTESIAN_POINT ('', (-1., -7.2012, 13.));
#7100 = CARTESIAN_POINT ('', (-1., 7.20119999999999, 13.));
#7110 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6930, #6940), (#6950, #6960), (#6970, #6980), (#6990, #7000), (#7010, #7020), (#7030, #7040), (#7050, #7060), (#7070, #7080), (#7090, #7100)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.500000000000001, 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 ('')
);
#7120 = ADVANCED_FACE ('', (#6920), #7110, .T.);
#7130 = ORIENTED_EDGE ('', *, *, #5640, .F.);
#7140 = CARTESIAN_POINT ('', (13.5, 2.99999999999999, -4.));
#7150 = VERTEX_POINT ('', #7140);
#7160 = CARTESIAN_POINT ('', (10.5, 5.99999999999999, -4.));
#7170 = CARTESIAN_POINT ('', (13.5, 2.99999999999999, -4.));
#7180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7160, #7170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7190 = EDGE_CURVE ('', #5530, #7150, #7180, .T.);
#7200 = ORIENTED_EDGE ('', *, *, #7190, .T.);
#7210 = CARTESIAN_POINT ('', (13.5, -3.25000000000001, -4.));
#7220 = CARTESIAN_POINT ('', (13.5, 2.99999999999999, -4.));
#7230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7210, #7220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7240 = EDGE_CURVE ('', #1730, #7150, #7230, .T.);
#7250 = ORIENTED_EDGE ('', *, *, #7240, .F.);
#7260 = ORIENTED_EDGE ('', *, *, #1780, .T.);
#7270 = ORIENTED_EDGE ('', *, *, #3130, .T.);
#7280 = ORIENTED_EDGE ('', *, *, #2970, .F.);
#7290 = ORIENTED_EDGE ('', *, *, #3340, .F.);
#7300 = ORIENTED_EDGE ('', *, *, #3580, .T.);
#7310 = ORIENTED_EDGE ('', *, *, #6370, .T.);
#7320 = CARTESIAN_POINT ('', (0., -6.00000000000001, -4.));
#7330 = CARTESIAN_POINT ('', (0., 5.99999999999999, -4.));
#7340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7320, #7330), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7350 = EDGE_CURVE ('', #6280, #5600, #7340, .T.);
#7360 = ORIENTED_EDGE ('', *, *, #7350, .T.);
#7370 = EDGE_LOOP ('', (#7130, #7200, #7250, #7260, #7270, #7280, #7290, #7300, #7310, #7360));
#7380 = FACE_OUTER_BOUND ('', #7370, .T.);
#7390 = CARTESIAN_POINT ('', (26.001, -6.00100000000004, -4.));
#7400 = CARTESIAN_POINT ('', (26.001, 6.00099999999999, -4.));
#7410 = CARTESIAN_POINT ('', (-0.000999999999990564, -6.00100000000004, -4.));
#7420 = CARTESIAN_POINT ('', (-0.000999999999990564, 6.00099999999999, -4.));
#7430 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7390, #7400), (#7410, #7420)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000477, 26.001), (26.3048928759318, 38.3068928759318), .UNSPECIFIED.);
#7440 = ADVANCED_FACE ('', (#7380), #7430, .T.);
#7450 = CARTESIAN_POINT ('', (0., 5.99999999999999, -3.2));
#7460 = CARTESIAN_POINT ('', (0., -6.00000000000001, -3.2));
#7470 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7450, #7460), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7480 = EDGE_CURVE ('', #5670, #6210, #7470, .T.);
#7490 = ORIENTED_EDGE ('', *, *, #7480, .F.);
#7500 = ORIENTED_EDGE ('', *, *, #5710, .F.);
#7510 = ORIENTED_EDGE ('', *, *, #7350, .F.);
#7520 = ORIENTED_EDGE ('', *, *, #6320, .T.);
#7530 = EDGE_LOOP ('', (#7490, #7500, #7510, #7520));
#7540 = FACE_OUTER_BOUND ('', #7530, .T.);
#7550 = CARTESIAN_POINT ('', (0., -6.00100000000001, -4.001));
#7560 = CARTESIAN_POINT ('', (0., 6.00099999999999, -4.001));
#7570 = CARTESIAN_POINT ('', (0., -6.00100000000001, -3.199));
#7580 = CARTESIAN_POINT ('', (0., 6.00099999999999, -3.199));
#7590 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7550, #7560), (#7570, #7580)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-4.001, -3.199), (26.3048928759318, 38.3068928759318), .UNSPECIFIED.);
#7600 = ADVANCED_FACE ('', (#7540), #7590, .T.);
#7610 = ORIENTED_EDGE ('', *, *, #5900, .T.);
#7620 = CARTESIAN_POINT ('', (0.200000000000003, 5.99999999999999, -0.200000000000011));
#7630 = CARTESIAN_POINT ('', (0.200000000000003, -6.00000000000001, -0.20000000000001));
#7640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7620, #7630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7650 = EDGE_CURVE ('', #5810, #6070, #7640, .T.);
#7660 = ORIENTED_EDGE ('', *, *, #7650, .T.);
#7670 = ORIENTED_EDGE ('', *, *, #6110, .T.);
#7680 = ORIENTED_EDGE ('', *, *, #3890, .F.);
#7690 = EDGE_LOOP ('', (#7610, #7660, #7670, #7680));
#7700 = FACE_OUTER_BOUND ('', #7690, .T.);
#7710 = CARTESIAN_POINT ('', (0.201000000000008, -6.001, -0.20000000000001));
#7720 = CARTESIAN_POINT ('', (0.201000000000008, 6.00099999999999, -0.200000000000011));
#7730 = CARTESIAN_POINT ('', (-0.00100000000000477, -6.001, -0.20000000000001));
#7740 = CARTESIAN_POINT ('', (-0.00100000000000477, 6.00099999999999, -0.200000000000011));
#7750 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7710, #7720), (#7730, #7740)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000477, 0.201000000000008), (-15.0076592756746, -3.0056592756746), .UNSPECIFIED.);
#7760 = ADVANCED_FACE ('', (#7700), #7750, .T.);
#7770 = ORIENTED_EDGE ('', *, *, #5850, .T.);
#7780 = CARTESIAN_POINT ('', (0.200000000000003, 5.99999999999999, -3.2));
#7790 = CARTESIAN_POINT ('', (0.200000000000003, -6.00000000000001, -3.2));
#7800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7780, #7790), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7810 = EDGE_CURVE ('', #5740, #6140, #7800, .T.);
#7820 = ORIENTED_EDGE ('', *, *, #7810, .T.);
#7830 = ORIENTED_EDGE ('', *, *, #6180, .T.);
#7840 = ORIENTED_EDGE ('', *, *, #7650, .F.);
#7850 = EDGE_LOOP ('', (#7770, #7820, #7830, #7840));
#7860 = FACE_OUTER_BOUND ('', #7850, .T.);
#7870 = CARTESIAN_POINT ('', (0.200000000000003, 6.00099999999999, -3.201));
#7880 = CARTESIAN_POINT ('', (0.200000000000003, 6.00099999999999, -0.199000000000011));
#7890 = CARTESIAN_POINT ('', (0.200000000000003, -6.001, -3.201));
#7900 = CARTESIAN_POINT ('', (0.200000000000003, -6.001, -0.19900000000001));
#7910 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7870, #7880), (#7890, #7900)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-15.0076592756746, -3.0056592756746), (-3.00099999999999, 0.00100000000000006), .UNSPECIFIED.);
#7920 = ADVANCED_FACE ('', (#7860), #7910, .T.);
#7930 = ORIENTED_EDGE ('', *, *, #5780, .T.);
#7940 = ORIENTED_EDGE ('', *, *, #7480, .T.);
#7950 = ORIENTED_EDGE ('', *, *, #6250, .T.);
#7960 = ORIENTED_EDGE ('', *, *, #7810, .F.);
#7970 = EDGE_LOOP ('', (#7930, #7940, #7950, #7960));
#7980 = FACE_OUTER_BOUND ('', #7970, .T.);
#7990 = CARTESIAN_POINT ('', (-0.00100000000000477, -6.001, -3.2));
#8000 = CARTESIAN_POINT ('', (-0.00100000000000477, 6.00099999999999, -3.2));
#8010 = CARTESIAN_POINT ('', (0.201000000000008, -6.001, -3.2));
#8020 = CARTESIAN_POINT ('', (0.201000000000008, 6.00099999999999, -3.2));
#8030 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7990, #8000), (#8010, #8020)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.201000000000008, 0.00100000000000477), (-15.0076592756746, -3.0056592756746), .UNSPECIFIED.);
#8040 = ADVANCED_FACE ('', (#7980), #8030, .T.);
#8050 = CARTESIAN_POINT ('', (20.5, -4.25000000000001, 13.1317822411696));
#8060 = VERTEX_POINT ('', #8050);
#8070 = CARTESIAN_POINT ('', (21.5, -4.25000000000001, 12.1317822411696));
#8080 = CARTESIAN_POINT ('', (20.5, -4.25000000000001, 13.1317822411696));
#8090 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8070, #8080), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8100 = EDGE_CURVE ('', #380, #8060, #8090, .T.);
#8110 = ORIENTED_EDGE ('', *, *, #8100, .F.);
#8120 = ORIENTED_EDGE ('', *, *, #1020, .T.);
#8130 = ORIENTED_EDGE ('', *, *, #1980, .T.);
#8140 = ORIENTED_EDGE ('', *, *, #5260, .T.);
#8150 = CARTESIAN_POINT ('', (20.5, -4.25000000000001, 13.1317822411696));
#8160 = CARTESIAN_POINT ('', (14.6660757107498, -4.25000000000001, 16.5));
#8170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8150, #8160), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8180 = EDGE_CURVE ('', #8060, #5170, #8170, .T.);
#8190 = ORIENTED_EDGE ('', *, *, #8180, .F.);
#8200 = EDGE_LOOP ('', (#8110, #8120, #8130, #8140, #8190));
#8210 = FACE_OUTER_BOUND ('', #8200, .T.);
#8220 = CARTESIAN_POINT ('', (21.501, -4.25000000000001, 11.641294557565));
#8230 = CARTESIAN_POINT ('', (21.501, -4.25000000000001, 16.501));
#8240 = CARTESIAN_POINT ('', (14.499, -4.25000000000001, 11.641294557565));
#8250 = CARTESIAN_POINT ('', (14.499, -4.25000000000001, 16.501));
#8260 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8220, #8230), (#8240, #8250)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (9.499, 16.501), (-4.858705442435, 0.00100000000000122), .UNSPECIFIED.);
#8270 = ADVANCED_FACE ('', (#8210), #8260, .T.);
#8280 = ORIENTED_EDGE ('', *, *, #7240, .T.);
#8290 = CARTESIAN_POINT ('', (13.5, 2.99999999999999, -4.));
#8300 = CARTESIAN_POINT ('', (13.5, 3., 16.5));
#8310 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8290, #8300), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8320 = EDGE_CURVE ('', #7150, #4670, #8310, .T.);
#8330 = ORIENTED_EDGE ('', *, *, #8320, .T.);
#8340 = ORIENTED_EDGE ('', *, *, #4710, .F.);
#8350 = ORIENTED_EDGE ('', *, *, #1850, .T.);
#8360 = EDGE_LOOP ('', (#8280, #8330, #8340, #8350));
#8370 = FACE_OUTER_BOUND ('', #8360, .T.);
#8380 = CARTESIAN_POINT ('', (13.5, -3.25100000000001, -4.001));
#8390 = CARTESIAN_POINT ('', (13.5, -3.251, 16.501));
#8400 = CARTESIAN_POINT ('', (13.5, 3.00099999999999, -4.001));
#8410 = CARTESIAN_POINT ('', (13.5, 3.001, 16.501));
#8420 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8380, #8390), (#8400, #8410)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-7.251, -0.999), (-0.00100000000000033, 20.501), .UNSPECIFIED.);
#8430 = ADVANCED_FACE ('', (#8370), #8420, .T.);
#8440 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, 16.5));
#8450 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, 11.6186199842161));
#8460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8440, #8450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8470 = EDGE_CURVE ('', #5020, #470, #8460, .T.);
#8480 = ORIENTED_EDGE ('', *, *, #8470, .T.);
#8490 = ORIENTED_EDGE ('', *, *, #510, .F.);
#8500 = CARTESIAN_POINT ('', (20.5, -5.75000000000001, 13.1317822411696));
#8510 = VERTEX_POINT ('', #8500);
#8520 = CARTESIAN_POINT ('', (21.5, -5.75000000000001, 12.1317822411696));
#8530 = CARTESIAN_POINT ('', (20.5, -5.75000000000001, 13.1317822411696));
#8540 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8520, #8530), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8550 = EDGE_CURVE ('', #400, #8510, #8540, .T.);
#8560 = ORIENTED_EDGE ('', *, *, #8550, .T.);
#8570 = CARTESIAN_POINT ('', (20.5, -5.75000000000001, 13.1317822411696));
#8580 = CARTESIAN_POINT ('', (14.6660757107498, -5.75000000000001, 16.5));
#8590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8570, #8580), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8600 = EDGE_CURVE ('', #8510, #5100, #8590, .T.);
#8610 = ORIENTED_EDGE ('', *, *, #8600, .T.);
#8620 = ORIENTED_EDGE ('', *, *, #5140, .T.);
#8630 = EDGE_LOOP ('', (#8480, #8490, #8560, #8610, #8620));
#8640 = FACE_OUTER_BOUND ('', #8630, .T.);
#8650 = CARTESIAN_POINT ('', (14.1604378277662, -5.75000000000001, 11.6176199842161));
#8660 = CARTESIAN_POINT ('', (14.1604378277662, -5.75000000000001, 16.501));
#8670 = CARTESIAN_POINT ('', (21.501, -5.75000000000001, 11.6176199842161));
#8680 = CARTESIAN_POINT ('', (21.501, -5.75000000000001, 16.501));
#8690 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8650, #8660), (#8670, #8680)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (9.499, 16.8395621722338), (15.6176199842161, 20.501), .UNSPECIFIED.);
#8700 = ADVANCED_FACE ('', (#8640), #8690, .T.);
#8710 = ORIENTED_EDGE ('', *, *, #6640, .T.);
#8720 = ORIENTED_EDGE ('', *, *, #590, .F.);
#8730 = ORIENTED_EDGE ('', *, *, #8470, .F.);
#8740 = ORIENTED_EDGE ('', *, *, #5070, .F.);
#8750 = EDGE_LOOP ('', (#8710, #8720, #8730, #8740));
#8760 = FACE_OUTER_BOUND ('', #8750, .T.);
#8770 = CARTESIAN_POINT ('', (15.1614378277662, -6.75000000000001, 11.0784045201837));
#8780 = CARTESIAN_POINT ('', (15.1614378277662, -6.75000000000001, 16.9939632254379));
#8790 = CARTESIAN_POINT ('', (15.1614378277662, -7.75000000000001, 11.0784045201837));
#8800 = CARTESIAN_POINT ('', (15.1614378277662, -7.75, 16.9939632254379));
#8810 = CARTESIAN_POINT ('', (14.1614378277662, -7.75000000000001, 11.0784045201837));
#8820 = CARTESIAN_POINT ('', (14.1614378277662, -7.75000000000001, 16.9939632254379));
#8830 = CARTESIAN_POINT ('', (13.1614378277662, -7.75000000000002, 11.0784045201837));
#8840 = CARTESIAN_POINT ('', (13.1614378277662, -7.75000000000002, 16.9939632254379));
#8850 = CARTESIAN_POINT ('', (13.1614378277662, -6.75000000000002, 11.0784045201837));
#8860 = CARTESIAN_POINT ('', (13.1614378277662, -6.75000000000002, 16.9939632254379));
#8870 = CARTESIAN_POINT ('', (13.1614378277662, -5.75000000000002, 11.0784045201837));
#8880 = CARTESIAN_POINT ('', (13.1614378277662, -5.75000000000002, 16.9939632254379));
#8890 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, 11.0784045201837));
#8900 = CARTESIAN_POINT ('', (14.1614378277662, -5.75000000000001, 16.9939632254379));
#8910 = CARTESIAN_POINT ('', (15.1614378277662, -5.75000000000001, 11.0784045201837));
#8920 = CARTESIAN_POINT ('', (15.1614378277662, -5.75000000000001, 16.9939632254379));
#8930 = CARTESIAN_POINT ('', (15.1614378277662, -6.75000000000001, 11.0784045201837));
#8940 = CARTESIAN_POINT ('', (15.1614378277662, -6.75000000000001, 16.9939632254379));
#8950 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8770, #8780), (#8790, #8800), (#8810, #8820), (#8830, #8840), (#8850, #8860), (#8870, #8880), (#8890, #8900), (#8910, #8920), (#8930, #8940)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.250000000000001, 0.499999999999999, 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 ('')
);
#8960 = ADVANCED_FACE ('', (#8760), #8950, .T.);
#8970 = ORIENTED_EDGE ('', *, *, #2270, .T.);
#8980 = ORIENTED_EDGE ('', *, *, #1550, .T.);
#8990 = ORIENTED_EDGE ('', *, *, #800, .T.);
#9000 = CARTESIAN_POINT ('', (1.9241978948788, -3.9, 7.25436216543741));
#9010 = VERTEX_POINT ('', #9000);
#9020 = CARTESIAN_POINT ('', (1.68005023677441, -3.9, 10.7458363413468));
#9030 = CARTESIAN_POINT ('', (1.9241978948788, -3.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, -3.9, 7.35899687605359));
#9080 = VERTEX_POINT ('', #9070);
#9090 = CARTESIAN_POINT ('', (1.9241978948788, -3.9, 7.25436216543741));
#9100 = CARTESIAN_POINT ('', (3.4205439702685, -3.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, -3.9, 7.35899687605359));
#9150 = CARTESIAN_POINT ('', (3.5447104935331, -3.9, 5.5833328665911));
#9160 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9140, #9150), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9170 = EDGE_CURVE ('', #9080, #2230, #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 ('', (1.6790502367744, -3.9, 5.5823328665911));
#9220 = CARTESIAN_POINT ('', (1.6790502367744, -3.9, 11.5901547811353));
#9230 = CARTESIAN_POINT ('', (13.7410657923215, -3.90000000000001, 5.5823328665911));
#9240 = CARTESIAN_POINT ('', (13.7410657923215, -3.9, 11.5901547811353));
#9250 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9210, #9220), (#9230, #9240)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-17.4039282504526, -5.34191269490549), (-2.29047182162022, 3.71735009292398), .UNSPECIFIED.);
#9260 = ADVANCED_FACE ('', (#9200), #9250, .T.);
#9270 = ORIENTED_EDGE ('', *, *, #6460, .T.);
#9280 = ORIENTED_EDGE ('', *, *, #2340, .T.);
#9290 = ORIENTED_EDGE ('', *, *, #9170, .F.);
#9300 = CARTESIAN_POINT ('', (3.4205439702685, -3.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, #6420, #9320, .T.);
#9340 = ORIENTED_EDGE ('', *, *, #9330, .T.);
#9350 = EDGE_LOOP ('', (#9270, #9280, #9290, #9340));
#9360 = FACE_OUTER_BOUND ('', #9350, .T.);
#9370 = CARTESIAN_POINT ('', (3.42046951775238, -6.001, 7.36006159663844));
#9380 = CARTESIAN_POINT ('', (3.42046951775238, -3.89900000000001, 7.36006159663844));
#9390 = CARTESIAN_POINT ('', (3.54478494604913, -6.001, 5.58226814600624));
#9400 = CARTESIAN_POINT ('', (3.54478494604913, -3.89900000000001, 5.58226814600624));
#9410 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9370, #9380), (#9390, #9400)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.44893267947599, 2.23106732052401), (-2.101, 0.00099999999999989), .UNSPECIFIED.);
#9420 = ADVANCED_FACE ('', (#9360), #9410, .T.);
#9430 = ORIENTED_EDGE ('', *, *, #6530, .T.);
#9440 = ORIENTED_EDGE ('', *, *, #9330, .F.);
#9450 = ORIENTED_EDGE ('', *, *, #9120, .F.);
#9460 = CARTESIAN_POINT ('', (1.9241978948788, -3.9, 7.25436216543741));
#9470 = CARTESIAN_POINT ('', (1.9241978948788, -6., 7.25436216543741));
#9480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9460, #9470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9490 = EDGE_CURVE ('', #9010, #6490, #9480, .T.);
#9500 = ORIENTED_EDGE ('', *, *, #9490, .T.);
#9510 = EDGE_LOOP ('', (#9430, #9440, #9450, #9500));
#9520 = FACE_OUTER_BOUND ('', #9510, .T.);
#9530 = CARTESIAN_POINT ('', (1.92313317429395, -6.001, 7.2542877129213));
#9540 = CARTESIAN_POINT ('', (1.92313317429395, -3.899, 7.2542877129213));
#9550 = CARTESIAN_POINT ('', (3.42160869085339, -6.001, 7.3590713285697));
#9560 = CARTESIAN_POINT ('', (3.42160869085339, -3.899, 7.3590713285697));
#9570 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9530, #9540), (#9550, #9560)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.201067320524061, 1.30106732052393), (-2.101, 0.00099999999999989), .UNSPECIFIED.);
#9580 = ADVANCED_FACE ('', (#9520), #9570, .T.);
#9590 = ORIENTED_EDGE ('', *, *, #6580, .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.6799757842583, -6.001, 10.7469010619317));
#9660 = CARTESIAN_POINT ('', (1.6799757842583, -3.89900000000001, 10.7469010619317));
#9670 = CARTESIAN_POINT ('', (1.92427234739488, -6.001, 7.25329744485256));
#9680 = CARTESIAN_POINT ('', (1.92427234739488, -3.89900000000001, 7.25329744485256));
#9690 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9650, #9660), (#9670, #9680)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.70106732052401, 0.801067320524005), (-2.101, 0.00099999999999989), .UNSPECIFIED.);
#9700 = ADVANCED_FACE ('', (#9640), #9690, .T.);
#9710 = ORIENTED_EDGE ('', *, *, #8180, .T.);
#9720 = ORIENTED_EDGE ('', *, *, #5210, .T.);
#9730 = ORIENTED_EDGE ('', *, *, #8600, .F.);
#9740 = CARTESIAN_POINT ('', (20.5, -4.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 ('', #8060, #8510, #9760, .T.);
#9780 = ORIENTED_EDGE ('', *, *, #9770, .F.);
#9790 = EDGE_LOOP ('', (#9710, #9720, #9730, #9780));
#9800 = FACE_OUTER_BOUND ('', #9790, .T.);
#9810 = CARTESIAN_POINT ('', (14.6648926980479, -5.751, 16.5006830127019));
#9820 = CARTESIAN_POINT ('', (14.6648926980479, -4.24900000000001, 16.5006830127019));
#9830 = CARTESIAN_POINT ('', (20.5011830127019, -5.75100000000001, 13.1310992284677));
#9840 = CARTESIAN_POINT ('', (20.5011830127019, -4.24900000000001, 13.1310992284677));
#9850 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9810, #9820), (#9830, #9840)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00136602540379727, 6.73780154306473), (-1.751, -0.249), .UNSPECIFIED.);
#9860 = ADVANCED_FACE ('', (#9800), #9850, .T.);
#9870 = ORIENTED_EDGE ('', *, *, #440, .F.);
#9880 = ORIENTED_EDGE ('', *, *, #8100, .T.);
#9890 = ORIENTED_EDGE ('', *, *, #9770, .T.);
#9900 = ORIENTED_EDGE ('', *, *, #8550, .F.);
#9910 = EDGE_LOOP ('', (#9870, #9880, #9890, #9900));
#9920 = FACE_OUTER_BOUND ('', #9910, .T.);
#9930 = CARTESIAN_POINT ('', (20.499, -5.75100000000001, 13.1327822411696));
#9940 = CARTESIAN_POINT ('', (20.499, -4.24900000000001, 13.1327822411696));
#9950 = CARTESIAN_POINT ('', (21.501, -5.75100000000001, 12.1307822411696));
#9960 = CARTESIAN_POINT ('', (21.501, -4.24900000000001, 12.1307822411696));
#9970 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9930, #9940), (#9950, #9960)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141421356237004, 1.41562777593548), (-1.751, -0.249), .UNSPECIFIED.);
#9980 = ADVANCED_FACE ('', (#9920), #9970, .T.);
#9990 = ORIENTED_EDGE ('', *, *, #5490, .F.);
#10000 = ORIENTED_EDGE ('', *, *, #1260, .F.);
#10010 = ORIENTED_EDGE ('', *, *, #6700, .F.);
#10020 = ORIENTED_EDGE ('', *, *, #4920, .F.);
#10030 = EDGE_LOOP ('', (#9990, #10000, #10010, #10020));
#10040 = FACE_OUTER_BOUND ('', #10030, .T.);
#10050 = CARTESIAN_POINT ('', (2.00099999999999, -6.001, 16.501));
#10060 = CARTESIAN_POINT ('', (0.998999999999967, -6.001, 15.499));
#10070 = CARTESIAN_POINT ('', (2.00099999999999, 6.00099999999999, 16.501));
#10080 = CARTESIAN_POINT ('', (0.998999999999967, 6.00099999999999, 15.499));
#10090 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10050, #10060), (#10070, #10080)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.000999999999999446, 12.001), (-0.00141421356237004, 1.41562777593548), .UNSPECIFIED.);
#10100 = ADVANCED_FACE ('', (#10040), #10090, .T.);
#10110 = ORIENTED_EDGE ('', *, *, #7190, .F.);
#10120 = ORIENTED_EDGE ('', *, *, #5570, .F.);
#10130 = ORIENTED_EDGE ('', *, *, #4780, .F.);
#10140 = ORIENTED_EDGE ('', *, *, #8320, .F.);
#10150 = EDGE_LOOP ('', (#10110, #10120, #10130, #10140));
#10160 = FACE_OUTER_BOUND ('', #10150, .T.);
#10170 = CARTESIAN_POINT ('', (13.501, 2.99899999999999, 16.501));
#10180 = CARTESIAN_POINT ('', (10.499, 6.00099999999999, 16.501));
#10190 = CARTESIAN_POINT ('', (13.501, 2.99899999999999, -4.001));
#10200 = CARTESIAN_POINT ('', (10.499, 6.00099999999999, -4.001));
#10210 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10170, #10180), (#10190, #10200)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000122, 20.501), (-0.00141421356237714, 4.24405490068166), .UNSPECIFIED.);
#10220 = ADVANCED_FACE ('', (#10160), #10210, .T.);
#10230 = CLOSED_SHELL ('', (#360, #1110, #1470, #2210, #2780, #3060, #3220, #3440, #3810, #4170, #4370, #4650, #5360, #6010, #6860, #7120, #7440, #7600, #7760, #7920, #8040, #8270, #8430, #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, 28, 23., #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, 28, 23., #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, 28, 23., #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, 28, 23., #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, 28, 23., #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, -4.25000000000001, 7.16680482058259));
#11290 = VERTEX_POINT ('', #11280);
#11300 = CARTESIAN_POINT ('', (3.5447104935331, -4.25000000000001, 5.5833328665911));
#11310 = VERTEX_POINT ('', #11300);
#11320 = CARTESIAN_POINT ('', (26.189414434431, -4.25000000000001, 7.16680482058259));
#11330 = CARTESIAN_POINT ('', (3.5447104935331, -4.25000000000001, 5.5833328665911));
#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.343943193294, -4.25000000000001, 8.45443902257176));
#11380 = VERTEX_POINT ('', #11370);
#11390 = CARTESIAN_POINT ('', (3.5447104935331, -4.25000000000001, 5.5833328665911));
#11400 = CARTESIAN_POINT ('', (3.343943193294, -4.25000000000001, 8.45443902257176));
#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.85214642470319, -4.25000000000002, 6.27409121775987));
#11450 = VERTEX_POINT ('', #11440);
#11460 = CARTESIAN_POINT ('', (3.343943193294, -4.25000000000001, 8.45443902257176));
#11470 = CARTESIAN_POINT ('', (5.85214642470319, -4.25000000000002, 6.27409121775987));
#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.55424496322109, -4.25000000000001, 10.5342805958024));
#11520 = VERTEX_POINT ('', #11510);
#11530 = CARTESIAN_POINT ('', (5.85214642470319, -4.25000000000002, 6.27409121775987));
#11540 = CARTESIAN_POINT ('', (5.55424496322109, -4.25000000000001, 10.5342805958024));
#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.9058283305522, -4.25, 10.4889388878687));
#11590 = VERTEX_POINT ('', #11580);
#11600 = CARTESIAN_POINT ('', (5.55424496322109, -4.25000000000001, 10.5342805958024));
#11610 = CARTESIAN_POINT ('', (4.9058283305522, -4.25, 10.4889388878687));
#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.3523733670648, -4.25000000000001, 11.0026301902742));
#11660 = VERTEX_POINT ('', #11650);
#11670 = CARTESIAN_POINT ('', (4.9058283305522, -4.25, 10.4889388878687));
#11680 = CARTESIAN_POINT ('', (5.3523733670648, -4.25000000000001, 11.0026301902742));
#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.645123198161, -4.25000000000002, 12.2817838676428));
#11730 = VERTEX_POINT ('', #11720);
#11740 = CARTESIAN_POINT ('', (5.3523733670648, -4.25000000000001, 11.0026301902742));
#11750 = CARTESIAN_POINT ('', (23.645123198161, -4.25000000000002, 12.2817838676428));
#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, -4.25000000000001, 11.8352388311302));
#11800 = VERTEX_POINT ('', #11790);
#11810 = CARTESIAN_POINT ('', (24.158814500567, -4.25000000000001, 11.8352388311302));
#11820 = CARTESIAN_POINT ('', (23.645123198161, -4.25000000000002, 12.2817838676428));
#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, -4.25000000000001, 11.7898971231965));
#11870 = VERTEX_POINT ('', #11860);
#11880 = CARTESIAN_POINT ('', (23.510397867898, -4.25000000000001, 11.7898971231965));
#11890 = CARTESIAN_POINT ('', (24.158814500567, -4.25000000000001, 11.8352388311302));
#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.80829932938, -4.25000000000002, 7.52970774515401));
#11940 = VERTEX_POINT ('', #11930);
#11950 = CARTESIAN_POINT ('', (23.80829932938, -4.25000000000002, 7.52970774515401));
#11960 = CARTESIAN_POINT ('', (23.510397867898, -4.25000000000001, 11.7898971231965));
#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.988647134192, -4.25000000000002, 10.0379109765633));
#12010 = VERTEX_POINT ('', #12000);
#12020 = CARTESIAN_POINT ('', (25.988647134192, -4.25000000000002, 10.0379109765633));
#12030 = CARTESIAN_POINT ('', (23.80829932938, -4.25000000000002, 7.52970774515401));
#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, -4.25000000000001, 7.16680482058259));
#12080 = CARTESIAN_POINT ('', (25.988647134192, -4.25000000000002, 10.0379109765633));
#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 ('', (26.6566757062546, -4.25000000000002, 5.61493703086245));
#12150 = CARTESIAN_POINT ('', (26.0792394246572, -4.25000000000002, 13.8726605785051));
#12160 = CARTESIAN_POINT ('', (3.45411820306781, -4.25000000000001, 3.99245615572878));
#12170 = CARTESIAN_POINT ('', (2.87668192147036, -4.25000000000001, 12.2501797033714));
#12180 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12140, #12150), (#12160, #12170)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.356870222121984, 22.9023455617101), (-1.5796820164206, 6.69820605050791), .UNSPECIFIED.);
#12190 = ADVANCED_FACE ('', (#12130), #12180, .T.);
#12200 = CARTESIAN_POINT ('', (5.3523733670648, -5.75000000000001, 11.0026301902742));
#12210 = VERTEX_POINT ('', #12200);
#12220 = CARTESIAN_POINT ('', (23.645123198161, -5.75000000000001, 12.2817838676428));
#12230 = VERTEX_POINT ('', #12220);
#12240 = CARTESIAN_POINT ('', (5.3523733670648, -5.75000000000001, 11.0026301902742));
#12250 = CARTESIAN_POINT ('', (23.645123198161, -5.75000000000001, 12.2817838676428));
#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.9058283305522, -5.75000000000001, 10.4889388878687));
#12300 = VERTEX_POINT ('', #12290);
#12310 = CARTESIAN_POINT ('', (5.3523733670648, -5.75000000000001, 11.0026301902742));
#12320 = CARTESIAN_POINT ('', (4.9058283305522, -5.75000000000001, 10.4889388878687));
#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.55424496322109, -5.75000000000001, 10.5342805958024));
#12370 = VERTEX_POINT ('', #12360);
#12380 = CARTESIAN_POINT ('', (5.55424496322109, -5.75000000000001, 10.5342805958024));
#12390 = CARTESIAN_POINT ('', (4.9058283305522, -5.75000000000001, 10.4889388878687));
#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.85214642470319, -5.75000000000001, 6.27409121775987));
#12440 = VERTEX_POINT ('', #12430);
#12450 = CARTESIAN_POINT ('', (5.85214642470319, -5.75000000000001, 6.27409121775987));
#12460 = CARTESIAN_POINT ('', (5.55424496322109, -5.75000000000001, 10.5342805958024));
#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.343943193294, -5.75000000000001, 8.45443902257176));
#12510 = VERTEX_POINT ('', #12500);
#12520 = CARTESIAN_POINT ('', (3.343943193294, -5.75000000000001, 8.45443902257176));
#12530 = CARTESIAN_POINT ('', (5.85214642470319, -5.75000000000001, 6.27409121775987));
#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.5447104935331, -5.75000000000001, 5.5833328665911));
#12580 = VERTEX_POINT ('', #12570);
#12590 = CARTESIAN_POINT ('', (3.5447104935331, -5.75000000000001, 5.5833328665911));
#12600 = CARTESIAN_POINT ('', (3.343943193294, -5.75000000000001, 8.45443902257176));
#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.16680482058259));
#12650 = VERTEX_POINT ('', #12640);
#12660 = CARTESIAN_POINT ('', (26.189414434431, -5.75000000000001, 7.16680482058259));
#12670 = CARTESIAN_POINT ('', (3.5447104935331, -5.75000000000001, 5.5833328665911));
#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.988647134192, -5.75000000000001, 10.0379109765633));
#12720 = VERTEX_POINT ('', #12710);
#12730 = CARTESIAN_POINT ('', (26.189414434431, -5.75000000000001, 7.16680482058259));
#12740 = CARTESIAN_POINT ('', (25.988647134192, -5.75000000000001, 10.0379109765633));
#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.80829932938, -5.75000000000001, 7.52970774515401));
#12790 = VERTEX_POINT ('', #12780);
#12800 = CARTESIAN_POINT ('', (25.988647134192, -5.75000000000001, 10.0379109765633));
#12810 = CARTESIAN_POINT ('', (23.80829932938, -5.75000000000001, 7.52970774515401));
#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.7898971231965));
#12860 = VERTEX_POINT ('', #12850);
#12870 = CARTESIAN_POINT ('', (23.80829932938, -5.75000000000001, 7.52970774515401));
#12880 = CARTESIAN_POINT ('', (23.510397867898, -5.75000000000001, 11.7898971231965));
#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.8352388311302));
#12930 = VERTEX_POINT ('', #12920);
#12940 = CARTESIAN_POINT ('', (23.510397867898, -5.75000000000001, 11.7898971231965));
#12950 = CARTESIAN_POINT ('', (24.158814500567, -5.75000000000001, 11.8352388311302));
#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.645123198161, -5.75000000000001, 12.2817838676428));
#13000 = CARTESIAN_POINT ('', (24.158814500567, -5.75000000000001, 11.8352388311302));
#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 ('', (3.45411820306782, -5.75000000000001, 3.99245615572878));
#13070 = CARTESIAN_POINT ('', (2.87668192147038, -5.75000000000001, 12.2501797033715));
#13080 = CARTESIAN_POINT ('', (26.6566757062546, -5.75000000000001, 5.61493703086245));
#13090 = CARTESIAN_POINT ('', (26.0792394246572, -5.75000000000001, 13.8726605785051));
#13100 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13060, #13070), (#13080, #13090)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.200345561710165, 23.058870222122), (-1.57968201642059, 6.69820605050791), .UNSPECIFIED.);
#13110 = ADVANCED_FACE ('', (#13050), #13100, .T.);
#13120 = ORIENTED_EDGE ('', *, *, #12690, .T.);
#13130 = CARTESIAN_POINT ('', (3.5447104935331, -5.75000000000001, 5.5833328665911));
#13140 = CARTESIAN_POINT ('', (3.5447104935331, -4.25000000000001, 5.5833328665911));
#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.16680482058259));
#13200 = CARTESIAN_POINT ('', (26.189414434431, -4.25000000000001, 7.16680482058259));
#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 ('', (26.1904791550159, -5.75100000000001, 7.16687927309872));
#13270 = CARTESIAN_POINT ('', (26.1904791550159, -4.24900000000001, 7.16687927309872));
#13280 = CARTESIAN_POINT ('', (3.54364577294825, -5.75100000000001, 5.58325841407502));
#13290 = CARTESIAN_POINT ('', (3.54364577294825, -4.249, 5.58325841407502));
#13300 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13260, #13270), (#13280, #13290)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-6.73205242662789E-5, 22.7020673205236), (-1.97064586870965E-15, 1.502), .UNSPECIFIED.);
#13310 = ADVANCED_FACE ('', (#13250), #13300, .T.);
#13320 = ORIENTED_EDGE ('', *, *, #11770, .F.);
#13330 = CARTESIAN_POINT ('', (5.3523733670648, -4.25000000000001, 11.0026301902742));
#13340 = CARTESIAN_POINT ('', (5.3523733670648, -5.75000000000001, 11.0026301902742));
#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.645123198161, -4.25000000000002, 12.2817838676428));
#13400 = CARTESIAN_POINT ('', (23.645123198161, -5.75000000000001, 12.2817838676428));
#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 ('', (5.35130864647994, -5.75100000000001, 11.002555737758));
#13470 = CARTESIAN_POINT ('', (5.35130864647994, -4.249, 11.002555737758));
#13480 = CARTESIAN_POINT ('', (23.6461879187459, -5.75100000000001, 12.2818583201589));
#13490 = CARTESIAN_POINT ('', (23.6461879187459, -4.24900000000001, 12.2818583201589));
#13500 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13460, #13470), (#13480, #13490)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-6.73205239820618E-5, 18.3394861823322), (-1.11022302462516E-15, 1.502), .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.8352388311302));
#13560 = CARTESIAN_POINT ('', (24.158814500567, -4.25000000000001, 11.8352388311302));
#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 ('', (23.6440584775762, -5.75100000000001, 12.2827094151267));
#13630 = CARTESIAN_POINT ('', (23.6440584775762, -4.24900000000001, 12.2827094151267));
#13640 = CARTESIAN_POINT ('', (24.1598792211516, -5.75100000000001, 11.834313283646));
#13650 = CARTESIAN_POINT ('', (24.1598792211516, -4.24900000000001, 11.834313283646));
#13660 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13620, #13630), (#13640, #13650)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (3.4449531511882E-6, 0.683472632429485), (-9.99200722162641E-16, 1.502), .UNSPECIFIED.);
#13670 = ADVANCED_FACE ('', (#13610), #13660, .T.);
#13680 = CARTESIAN_POINT ('', (26.503090018677, -5.78294630396268, 11.9991665444289));
#13690 = VERTEX_POINT ('', #13680);
#13700 = CARTESIAN_POINT ('', (26.503090018677, -4.21705369603735, 11.9991665444289));
#13710 = VERTEX_POINT ('', #13700);
#13720 = CARTESIAN_POINT ('', (26.503090018677, -5.78294630396268, 11.9991665444289));
#13730 = CARTESIAN_POINT ('', (26.503090018677, -4.21705369603735, 11.9991665444289));
#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, -4.0183627029135, 11.9837955355851));
#13780 = VERTEX_POINT ('', #13770);
#13790 = CARTESIAN_POINT ('', (26.503090018677, -4.21705369603735, 11.9991665444289));
#13800 = CARTESIAN_POINT ('', (26.503090018677, -4.09215366666847, 11.9991665444289));
#13810 = CARTESIAN_POINT ('', (26.409763712231, -4.00779618331463, 11.9926405333486));
#13820 = CARTESIAN_POINT ('', (26.283274351172, -4.0183627029135, 11.9837955355851));
#13830 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#13790, #13800, #13810, #13820), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.785115065174206, 0.785115065174206, 1.))
   REPRESENTATION_ITEM ('')
);
#13840 = EDGE_CURVE ('', #13710, #13780, #13830, .T.);
#13850 = ORIENTED_EDGE ('', *, *, #13840, .T.);
#13860 = CARTESIAN_POINT ('', (26.283274351172, -4.0183627029135, 11.9837955355851));
#13870 = CARTESIAN_POINT ('', (23.510397867898, -4.25000000000001, 11.7898971231965));
#13880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13860, #13870), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13890 = EDGE_CURVE ('', #13780, #11870, #13880, .T.);
#13900 = ORIENTED_EDGE ('', *, *, #13890, .T.);
#13910 = ORIENTED_EDGE ('', *, *, #11910, .T.);
#13920 = ORIENTED_EDGE ('', *, *, #13580, .F.);
#13930 = ORIENTED_EDGE ('', *, *, #12970, .F.);
#13940 = CARTESIAN_POINT ('', (26.283274351172, -5.98163729708653, 11.9837955355851));
#13950 = VERTEX_POINT ('', #13940);
#13960 = CARTESIAN_POINT ('', (26.283274351172, -5.98163729708653, 11.9837955355851));
#13970 = CARTESIAN_POINT ('', (23.510397867898, -5.75000000000001, 11.7898971231965));
#13980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13960, #13970), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13990 = EDGE_CURVE ('', #13950, #12860, #13980, .T.);
#14000 = ORIENTED_EDGE ('', *, *, #13990, .F.);
#14010 = CARTESIAN_POINT ('', (26.283274351172, -5.98163729708653, 11.9837955355851));
#14020 = CARTESIAN_POINT ('', (26.409763712231, -5.9922038166854, 11.9926405333486));
#14030 = CARTESIAN_POINT ('', (26.503090018677, -5.90784633333156, 11.9991665444289));
#14040 = CARTESIAN_POINT ('', (26.503090018677, -5.78294630396268, 11.9991665444289));
#14050 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#14010, #14020, #14030, #14040), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.785115065174204, 0.785115065174204, 1.))
   REPRESENTATION_ITEM ('')
);
#14060 = EDGE_CURVE ('', #13950, #13690, #14050, .T.);
#14070 = ORIENTED_EDGE ('', *, *, #14060, .T.);
#14080 = EDGE_LOOP ('', (#13760, #13850, #13900, #13910, #13920, #13930, #14000, #14070));
#14090 = FACE_OUTER_BOUND ('', #14080, .T.);
#14100 = CARTESIAN_POINT ('', (23.5093331473132, -5.9922038166854, 11.7898226706804));
#14110 = CARTESIAN_POINT ('', (23.5093331473132, -4.00779618331462, 11.7898226706804));
#14120 = CARTESIAN_POINT ('', (26.5041547392619, -5.9922038166854, 11.999240996945));
#14130 = CARTESIAN_POINT ('', (26.5041547392619, -4.00779618331463, 11.999240996945));
#14140 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14100, #14110), (#14120, #14130)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-6.7320524252068E-5, 3.00206732052328), (0., 1.98440763337077), .UNSPECIFIED.);
#14150 = ADVANCED_FACE ('', (#14090), #14140, .T.);
#14160 = CARTESIAN_POINT ('', (26.053511730825, -4.04834069241343, 10.112529159277));
#14170 = VERTEX_POINT ('', #14160);
#14180 = CARTESIAN_POINT ('', (23.80829932938, -4.25000000000002, 7.52970774515401));
#14190 = CARTESIAN_POINT ('', (26.053511730825, -4.04834069241343, 10.112529159277));
#14200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14180, #14190), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14210 = EDGE_CURVE ('', #11940, #14170, #14200, .T.);
#14220 = ORIENTED_EDGE ('', *, *, #14210, .T.);
#14230 = CARTESIAN_POINT ('', (26.307284895732, -4.24260112368606, 10.4044617907861));
#14240 = VERTEX_POINT ('', #14230);
#14250 = CARTESIAN_POINT ('', (26.053511730825, -4.04834069241343, 10.112529159277));
#14260 = CARTESIAN_POINT ('', (26.199541383066, -4.03522467784884, 10.2805170577321));
#14270 = CARTESIAN_POINT ('', (26.307284895732, -4.11770109431718, 10.4044617907861));
#14280 = CARTESIAN_POINT ('', (26.307284895732, -4.24260112368606, 10.4044617907861));
#14290 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#14250, #14260, #14270, #14280), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.785115065174203, 0.785115065174203, 1.))
   REPRESENTATION_ITEM ('')
);
#14300 = EDGE_CURVE ('', #14170, #14240, #14290, .T.);
#14310 = ORIENTED_EDGE ('', *, *, #14300, .T.);
#14320 = CARTESIAN_POINT ('', (26.307284895732, -5.75739887631396, 10.4044617907861));
#14330 = VERTEX_POINT ('', #14320);
#14340 = CARTESIAN_POINT ('', (26.307284895732, -5.75739887631396, 10.4044617907861));
#14350 = CARTESIAN_POINT ('', (26.307284895732, -4.24260112368606, 10.4044617907861));
#14360 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14340, #14350), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14370 = EDGE_CURVE ('', #14330, #14240, #14360, .T.);
#14380 = ORIENTED_EDGE ('', *, *, #14370, .F.);
#14390 = CARTESIAN_POINT ('', (26.053511730825, -5.95165930758659, 10.112529159277));
#14400 = VERTEX_POINT ('', #14390);
#14410 = CARTESIAN_POINT ('', (26.307284895732, -5.75739887631396, 10.4044617907861));
#14420 = CARTESIAN_POINT ('', (26.307284895732, -5.88229890568284, 10.4044617907861));
#14430 = CARTESIAN_POINT ('', (26.199541383066, -5.96477532215119, 10.2805170577321));
#14440 = CARTESIAN_POINT ('', (26.053511730825, -5.95165930758659, 10.112529159277));
#14450 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#14410, #14420, #14430, #14440), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.785115065174201, 0.785115065174201, 1.))
   REPRESENTATION_ITEM ('')
);
#14460 = EDGE_CURVE ('', #14330, #14400, #14450, .T.);
#14470 = ORIENTED_EDGE ('', *, *, #14460, .T.);
#14480 = CARTESIAN_POINT ('', (23.80829932938, -5.75000000000001, 7.52970774515401));
#14490 = CARTESIAN_POINT ('', (26.053511730825, -5.95165930758659, 10.112529159277));
#14500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14480, #14490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14510 = EDGE_CURVE ('', #12790, #14400, #14500, .T.);
#14520 = ORIENTED_EDGE ('', *, *, #14510, .F.);
#14530 = ORIENTED_EDGE ('', *, *, #12830, .F.);
#14540 = CARTESIAN_POINT ('', (25.988647134192, -5.75000000000001, 10.0379109765633));
#14550 = CARTESIAN_POINT ('', (25.988647134192, -4.25000000000002, 10.0379109765633));
#14560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14540, #14550), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14570 = EDGE_CURVE ('', #12720, #12010, #14560, .T.);
#14580 = ORIENTED_EDGE ('', *, *, #14570, .T.);
#14590 = ORIENTED_EDGE ('', *, *, #12050, .T.);
#14600 = EDGE_LOOP ('', (#14220, #14310, #14380, #14470, #14520, #14530, #14580, #14590));
#14610 = FACE_OUTER_BOUND ('', #14600, .T.);
#14620 = CARTESIAN_POINT ('', (26.3082104432156, -5.96477532215119, 10.4055265113712));
#14630 = CARTESIAN_POINT ('', (26.3082104432156, -4.03522467784884, 10.4055265113712));
#14640 = CARTESIAN_POINT ('', (23.8073737818961, -5.96477532215119, 7.52864302456918));
#14650 = CARTESIAN_POINT ('', (23.8073737818961, -4.03522467784884, 7.52864302456918));
#14660 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14620, #14630), (#14640, #14650)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (3.44495282433854E-6, 3.81191144531614), (9.99200722162641E-16, 1.92955064430235), .UNSPECIFIED.);
#14670 = ADVANCED_FACE ('', (#14610), #14660, .T.);
#14680 = ORIENTED_EDGE ('', *, *, #12760, .F.);
#14690 = ORIENTED_EDGE ('', *, *, #13220, .T.);
#14700 = ORIENTED_EDGE ('', *, *, #12100, .T.);
#14710 = ORIENTED_EDGE ('', *, *, #14570, .F.);
#14720 = EDGE_LOOP ('', (#14680, #14690, #14700, #14710));
#14730 = FACE_OUTER_BOUND ('', #14720, .T.);
#14740 = CARTESIAN_POINT ('', (26.1894888869474, -5.75100000000001, 7.16574009999776));
#14750 = CARTESIAN_POINT ('', (25.988572681676, -5.75100000000001, 10.0389756971482));
#14760 = CARTESIAN_POINT ('', (26.1894888869474, -4.24900000000001, 7.16574009999776));
#14770 = CARTESIAN_POINT ('', (25.988572681676, -4.24900000000001, 10.0389756971482));
#14780 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14740, #14750), (#14760, #14770)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.99760216648792E-15, 1.502), (-6.73205239856145E-5, 2.88018442511786), .UNSPECIFIED.);
#14790 = ADVANCED_FACE ('', (#14730), #14780, .T.);
#14800 = ORIENTED_EDGE ('', *, *, #14370, .T.);
#14810 = CARTESIAN_POINT ('', (26.307284895732, -4.24260112368606, 10.4044617907861));
#14820 = CARTESIAN_POINT ('', (26.503090018677, -4.21705369603735, 11.9991665444289));
#14830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14810, #14820), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14840 = EDGE_CURVE ('', #14240, #13710, #14830, .T.);
#14850 = ORIENTED_EDGE ('', *, *, #14840, .T.);
#14860 = ORIENTED_EDGE ('', *, *, #13750, .F.);
#14870 = CARTESIAN_POINT ('', (26.503090018677, -5.78294630396268, 11.9991665444289));
#14880 = CARTESIAN_POINT ('', (26.307284895732, -5.75739887631396, 10.4044617907861));
#14890 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14870, #14880), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14900 = EDGE_CURVE ('', #13690, #14330, #14890, .T.);
#14910 = ORIENTED_EDGE ('', *, *, #14900, .T.);
#14920 = EDGE_LOOP ('', (#14800, #14850, #14860, #14910));
#14930 = FACE_OUTER_BOUND ('', #14920, .T.);
#14940 = CARTESIAN_POINT ('', (26.5032258317623, -5.78394630396268, 12.0002726532398));
#14950 = CARTESIAN_POINT ('', (26.5032258317623, -4.21605369603735, 12.0002726532398));
#14960 = CARTESIAN_POINT ('', (26.3071490826472, -5.78394630396268, 10.4033556819752));
#14970 = CARTESIAN_POINT ('', (26.3071490826472, -4.21605369603735, 10.4033556819752));
#14980 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14940, #14950), (#14960, #14970)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (5.80206839231323E-5, 1.60896755967498), (-2.99760216648792E-15, 1.56789260792533), .UNSPECIFIED.);
#14990 = ADVANCED_FACE ('', (#14930), #14980, .T.);
#15000 = ORIENTED_EDGE ('', *, *, #13890, .F.);
#15010 = CARTESIAN_POINT ('', (26.283274351172, -4.0183627029135, 11.9837955355851));
#15020 = CARTESIAN_POINT ('', (26.053511730825, -4.04834069241343, 10.112529159277));
#15030 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15010, #15020), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15040 = EDGE_CURVE ('', #13780, #14170, #15030, .T.);
#15050 = ORIENTED_EDGE ('', *, *, #15040, .T.);
#15060 = ORIENTED_EDGE ('', *, *, #14210, .F.);
#15070 = ORIENTED_EDGE ('', *, *, #11980, .T.);
#15080 = EDGE_LOOP ('', (#15000, #15050, #15060, #15070));
#15090 = FACE_OUTER_BOUND ('', #15080, .T.);
#15100 = CARTESIAN_POINT ('', (26.5944333432685, -4.01826747638738, 7.55039617466693));
#15110 = CARTESIAN_POINT ('', (26.2708471117033, -4.01826747638738, 12.1778948775482));
#15120 = CARTESIAN_POINT ('', (23.5248696031129, -4.27468908488428, 7.33575136826047));
#15130 = CARTESIAN_POINT ('', (23.2012833715477, -4.27468908488427, 11.9632500711417));
#15140 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15100, #15110), (#15120, #15130)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-6.70879825293014E-5, 3.08765796277886), (-0.172712850649003, 4.46608573243546), .UNSPECIFIED.);
#15150 = ADVANCED_FACE ('', (#15090), #15140, .T.);
#15160 = ORIENTED_EDGE ('', *, *, #14510, .T.);
#15170 = CARTESIAN_POINT ('', (26.053511730825, -5.95165930758659, 10.112529159277));
#15180 = CARTESIAN_POINT ('', (26.283274351172, -5.98163729708653, 11.9837955355851));
#15190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15170, #15180), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15200 = EDGE_CURVE ('', #14400, #13950, #15190, .T.);
#15210 = ORIENTED_EDGE ('', *, *, #15200, .T.);
#15220 = ORIENTED_EDGE ('', *, *, #13990, .T.);
#15230 = ORIENTED_EDGE ('', *, *, #12900, .F.);
#15240 = EDGE_LOOP ('', (#15160, #15210, #15220, #15230));
#15250 = FACE_OUTER_BOUND ('', #15240, .T.);
#15260 = CARTESIAN_POINT ('', (23.5248696031129, -5.72531091511571, 7.33575136826047));
#15270 = CARTESIAN_POINT ('', (23.2012833715478, -5.72531091511571, 11.9632500711418));
#15280 = CARTESIAN_POINT ('', (26.5944333432685, -5.9817325236126, 7.55039617466693));
#15290 = CARTESIAN_POINT ('', (26.2708471117034, -5.98173252361261, 12.1778948775482));
#15300 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15260, #15270), (#15280, #15290)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.296216359460004, 2.79150869130139), (-0.172712850648963, 4.4660857324355), .UNSPECIFIED.);
#15310 = ADVANCED_FACE ('', (#15250), #15300, .T.);
#15320 = ORIENTED_EDGE ('', *, *, #11700, .F.);
#15330 = CARTESIAN_POINT ('', (4.9058283305522, -5.75000000000001, 10.4889388878687));
#15340 = CARTESIAN_POINT ('', (4.9058283305522, -4.25, 10.4889388878687));
#15350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15330, #15340), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15360 = EDGE_CURVE ('', #12300, #11590, #15350, .T.);
#15370 = ORIENTED_EDGE ('', *, *, #15360, .F.);
#15380 = ORIENTED_EDGE ('', *, *, #12340, .F.);
#15390 = ORIENTED_EDGE ('', *, *, #13360, .F.);
#15400 = EDGE_LOOP ('', (#15320, #15370, #15380, #15390));
#15410 = FACE_OUTER_BOUND ('', #15400, .T.);
#15420 = CARTESIAN_POINT ('', (5.35329891454867, -4.24900000000001, 11.0036949108591));
#15430 = CARTESIAN_POINT ('', (5.35329891454867, -5.75100000000001, 11.0036949108591));
#15440 = CARTESIAN_POINT ('', (4.90490278306827, -4.24900000000001, 10.4878741672838));
#15450 = CARTESIAN_POINT ('', (4.90490278306827, -5.75100000000001, 10.4878741672838));
#15460 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15420, #15430), (#15440, #15450)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (3.44495313697735E-6, 0.683472632429115), (0., 1.502), .UNSPECIFIED.);
#15470 = ADVANCED_FACE ('', (#15410), #15460, .T.);
#15480 = CARTESIAN_POINT ('', (2.78136847994681, -4.01836270291349, 10.3403821834139));
#15490 = VERTEX_POINT ('', #15480);
#15500 = CARTESIAN_POINT ('', (2.78136847994681, -4.01836270291349, 10.3403821834139));
#15510 = CARTESIAN_POINT ('', (5.55424496322109, -4.25000000000001, 10.5342805958024));
#15520 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15500, #15510), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15530 = EDGE_CURVE ('', #15490, #11520, #15520, .T.);
#15540 = ORIENTED_EDGE ('', *, *, #15530, .F.);
#15550 = CARTESIAN_POINT ('', (2.5615528124417, -4.21705369603733, 10.3250111745701));
#15560 = VERTEX_POINT ('', #15550);
#15570 = CARTESIAN_POINT ('', (2.78136847994681, -4.01836270291349, 10.3403821834139));
#15580 = CARTESIAN_POINT ('', (2.6548791188883, -4.00779618331462, 10.3315371856504));
#15590 = CARTESIAN_POINT ('', (2.5615528124417, -4.09215366666845, 10.3250111745701));
#15600 = CARTESIAN_POINT ('', (2.5615528124417, -4.21705369603733, 10.3250111745701));
#15610 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#15570, #15580, #15590, #15600), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.785115065174204, 0.785115065174204, 1.))
   REPRESENTATION_ITEM ('')
);
#15620 = EDGE_CURVE ('', #15490, #15560, #15610, .T.);
#15630 = ORIENTED_EDGE ('', *, *, #15620, .T.);
#15640 = CARTESIAN_POINT ('', (2.5615528124417, -5.78294630396268, 10.3250111745701));
#15650 = VERTEX_POINT ('', #15640);
#15660 = CARTESIAN_POINT ('', (2.5615528124417, -5.78294630396268, 10.3250111745701));
#15670 = CARTESIAN_POINT ('', (2.5615528124417, -4.21705369603733, 10.3250111745701));
#15680 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15660, #15670), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15690 = EDGE_CURVE ('', #15650, #15560, #15680, .T.);
#15700 = ORIENTED_EDGE ('', *, *, #15690, .F.);
#15710 = CARTESIAN_POINT ('', (2.78136847994681, -5.98163729708653, 10.3403821834139));
#15720 = VERTEX_POINT ('', #15710);
#15730 = CARTESIAN_POINT ('', (2.5615528124417, -5.78294630396268, 10.3250111745701));
#15740 = CARTESIAN_POINT ('', (2.56155281244169, -5.90784633333156, 10.3250111745701));
#15750 = CARTESIAN_POINT ('', (2.6548791188883, -5.9922038166854, 10.3315371856504));
#15760 = CARTESIAN_POINT ('', (2.78136847994681, -5.98163729708653, 10.3403821834139));
#15770 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#15730, #15740, #15750, #15760), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.785115065174206, 0.785115065174206, 1.))
   REPRESENTATION_ITEM ('')
);
#15780 = EDGE_CURVE ('', #15650, #15720, #15770, .T.);
#15790 = ORIENTED_EDGE ('', *, *, #15780, .T.);
#15800 = CARTESIAN_POINT ('', (2.78136847994681, -5.98163729708653, 10.3403821834139));
#15810 = CARTESIAN_POINT ('', (5.55424496322109, -5.75000000000001, 10.5342805958024));
#15820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15800, #15810), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15830 = EDGE_CURVE ('', #15720, #12370, #15820, .T.);
#15840 = ORIENTED_EDGE ('', *, *, #15830, .T.);
#15850 = ORIENTED_EDGE ('', *, *, #12410, .T.);
#15860 = ORIENTED_EDGE ('', *, *, #15360, .T.);
#15870 = ORIENTED_EDGE ('', *, *, #11630, .F.);
#15880 = EDGE_LOOP ('', (#15540, #15630, #15700, #15790, #15840, #15850, #15860, #15870));
#15890 = FACE_OUTER_BOUND ('', #15880, .T.);
#15900 = CARTESIAN_POINT ('', (5.55530968380594, -4.00779618331462, 10.5343550483186));
#15910 = CARTESIAN_POINT ('', (5.55530968380594, -5.9922038166854, 10.5343550483186));
#15920 = CARTESIAN_POINT ('', (2.56048809185683, -4.00779618331462, 10.324936722054));
#15930 = CARTESIAN_POINT ('', (2.56048809185683, -5.9922038166854, 10.324936722054));
#15940 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15900, #15910), (#15920, #15930)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-6.73205239536401E-5, 3.00206732052399), (0., 1.98440763337078), .UNSPECIFIED.);
#15950 = ADVANCED_FACE ('', (#15890), #15940, .T.);
#15960 = CARTESIAN_POINT ('', (2.97739237907111, -5.75739887631397, 8.77307678411141));
#15970 = VERTEX_POINT ('', #15960);
#15980 = CARTESIAN_POINT ('', (2.97739237907111, -4.24260112368605, 8.77307678411141));
#15990 = VERTEX_POINT ('', #15980);
#16000 = CARTESIAN_POINT ('', (2.97739237907111, -5.75739887631397, 8.77307678411141));
#16010 = CARTESIAN_POINT ('', (2.97739237907111, -4.24260112368605, 8.77307678411141));
#16020 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16000, #16010), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16030 = EDGE_CURVE ('', #15970, #15990, #16020, .T.);
#16040 = ORIENTED_EDGE ('', *, *, #16030, .T.);
#16050 = CARTESIAN_POINT ('', (3.2693250105802, -4.04834069241342, 8.51930361920477));
#16060 = VERTEX_POINT ('', #16050);
#16070 = CARTESIAN_POINT ('', (2.97739237907111, -4.24260112368605, 8.77307678411141));
#16080 = CARTESIAN_POINT ('', (2.97739237907111, -4.11770109431717, 8.77307678411141));
#16090 = CARTESIAN_POINT ('', (3.10133711212509, -4.03522467784883, 8.66533327144539));
#16100 = CARTESIAN_POINT ('', (3.2693250105802, -4.04834069241342, 8.51930361920477));
#16110 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#16070, #16080, #16090, #16100), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.785115065174201, 0.785115065174201, 1.))
   REPRESENTATION_ITEM ('')
);
#16120 = EDGE_CURVE ('', #15990, #16060, #16110, .T.);
#16130 = ORIENTED_EDGE ('', *, *, #16120, .T.);
#16140 = CARTESIAN_POINT ('', (5.85214642470319, -4.25000000000002, 6.27409121775987));
#16150 = CARTESIAN_POINT ('', (3.2693250105802, -4.04834069241342, 8.51930361920477));
#16160 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16140, #16150), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16170 = EDGE_CURVE ('', #11450, #16060, #16160, .T.);
#16180 = ORIENTED_EDGE ('', *, *, #16170, .F.);
#16190 = ORIENTED_EDGE ('', *, *, #11490, .F.);
#16200 = CARTESIAN_POINT ('', (3.343943193294, -5.75000000000001, 8.45443902257176));
#16210 = CARTESIAN_POINT ('', (3.343943193294, -4.25000000000001, 8.45443902257176));
#16220 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16200, #16210), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16230 = EDGE_CURVE ('', #12510, #11380, #16220, .T.);
#16240 = ORIENTED_EDGE ('', *, *, #16230, .F.);
#16250 = ORIENTED_EDGE ('', *, *, #12550, .T.);
#16260 = CARTESIAN_POINT ('', (3.2693250105802, -5.95165930758659, 8.51930361920478));
#16270 = VERTEX_POINT ('', #16260);
#16280 = CARTESIAN_POINT ('', (5.85214642470319, -5.75000000000001, 6.27409121775987));
#16290 = CARTESIAN_POINT ('', (3.2693250105802, -5.95165930758659, 8.51930361920478));
#16300 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16280, #16290), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16310 = EDGE_CURVE ('', #12440, #16270, #16300, .T.);
#16320 = ORIENTED_EDGE ('', *, *, #16310, .T.);
#16330 = CARTESIAN_POINT ('', (3.2693250105802, -5.95165930758659, 8.51930361920478));
#16340 = CARTESIAN_POINT ('', (3.10133711212509, -5.96477532215118, 8.6653332714454));
#16350 = CARTESIAN_POINT ('', (2.97739237907109, -5.88229890568285, 8.77307678411141));
#16360 = CARTESIAN_POINT ('', (2.97739237907111, -5.75739887631397, 8.77307678411141));
#16370 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#16330, #16340, #16350, #16360), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.785115065174209, 0.785115065174209, 1.))
   REPRESENTATION_ITEM ('')
);
#16380 = EDGE_CURVE ('', #16270, #15970, #16370, .T.);
#16390 = ORIENTED_EDGE ('', *, *, #16380, .T.);
#16400 = EDGE_LOOP ('', (#16040, #16130, #16180, #16190, #16240, #16250, #16320, #16390));
#16410 = FACE_OUTER_BOUND ('', #16400, .T.);
#16420 = CARTESIAN_POINT ('', (2.97632765848626, -4.03522467784883, 8.77400233159531));
#16430 = CARTESIAN_POINT ('', (2.97632765848626, -5.96477532215118, 8.77400233159531));
#16440 = CARTESIAN_POINT ('', (5.8532111452881, -4.03522467784883, 6.27316567027602));
#16450 = CARTESIAN_POINT ('', (5.8532111452881, -5.96477532215119, 6.27316567027602));
#16460 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16420, #16430), (#16440, #16450)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (3.44495315829363E-6, 3.81191144531618), (0., 1.92955064430236), .UNSPECIFIED.);
#16470 = ADVANCED_FACE ('', (#16410), #16460, .T.);
#16480 = ORIENTED_EDGE ('', *, *, #12620, .T.);
#16490 = ORIENTED_EDGE ('', *, *, #16230, .T.);
#16500 = ORIENTED_EDGE ('', *, *, #11420, .F.);
#16510 = ORIENTED_EDGE ('', *, *, #13160, .F.);
#16520 = EDGE_LOOP ('', (#16480, #16490, #16500, #16510));
#16530 = FACE_OUTER_BOUND ('', #16520, .T.);
#16540 = CARTESIAN_POINT ('', (3.34386874077784, -5.75100000000001, 8.45550374315661));
#16550 = CARTESIAN_POINT ('', (3.54478494604915, -5.75100000000001, 5.58226814600624));
#16560 = CARTESIAN_POINT ('', (3.34386874077784, -4.24900000000001, 8.45550374315661));
#16570 = CARTESIAN_POINT ('', (3.54478494604915, -4.24900000000001, 5.58226814600624));
#16580 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16540, #16550), (#16560, #16570)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.99840144432528E-15, 1.502), (-6.73205240016017E-5, 2.8801844251178), .UNSPECIFIED.);
#16590 = ADVANCED_FACE ('', (#16530), #16580, .T.);
#16600 = ORIENTED_EDGE ('', *, *, #15690, .T.);
#16610 = CARTESIAN_POINT ('', (2.5615528124417, -4.21705369603733, 10.3250111745701));
#16620 = CARTESIAN_POINT ('', (2.97739237907111, -4.24260112368605, 8.77307678411141));
#16630 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16610, #16620), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16640 = EDGE_CURVE ('', #15560, #15990, #16630, .T.);
#16650 = ORIENTED_EDGE ('', *, *, #16640, .T.);
#16660 = ORIENTED_EDGE ('', *, *, #16030, .F.);
#16670 = CARTESIAN_POINT ('', (2.97739237907111, -5.75739887631397, 8.77307678411141));
#16680 = CARTESIAN_POINT ('', (2.5615528124417, -5.78294630396268, 10.3250111745701));
#16690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16670, #16680), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16700 = EDGE_CURVE ('', #15970, #15650, #16690, .T.);
#16710 = ORIENTED_EDGE ('', *, *, #16700, .T.);
#16720 = EDGE_LOOP ('', (#16600, #16650, #16660, #16710));
#16730 = FACE_OUTER_BOUND ('', #16720, .T.);
#16740 = CARTESIAN_POINT ('', (2.56123582514354, -4.21605369603733, 10.326194187272));
#16750 = CARTESIAN_POINT ('', (2.56123582514354, -5.78394630396268, 10.326194187272));
#16760 = CARTESIAN_POINT ('', (2.97770936636923, -4.21605369603733, 8.77189377140952));
#16770 = CARTESIAN_POINT ('', (2.97770936636923, -5.78394630396268, 8.77189377140952));
#16780 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16740, #16750), (#16760, #16770)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-5.23086925561245E-5, 1.60907788905133), (0., 1.56789260792534), .UNSPECIFIED.);
#16790 = ADVANCED_FACE ('', (#16730), #16780, .T.);
#16800 = ORIENTED_EDGE ('', *, *, #16170, .T.);
#16810 = CARTESIAN_POINT ('', (3.2693250105802, -4.04834069241342, 8.51930361920477));
#16820 = CARTESIAN_POINT ('', (2.78136847994681, -4.01836270291349, 10.3403821834139));
#16830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16810, #16820), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16840 = EDGE_CURVE ('', #16060, #15490, #16830, .T.);
#16850 = ORIENTED_EDGE ('', *, *, #16840, .T.);
#16860 = ORIENTED_EDGE ('', *, *, #15530, .T.);
#16870 = ORIENTED_EDGE ('', *, *, #11560, .F.);
#16880 = EDGE_LOOP ('', (#16800, #16850, #16860, #16870));
#16890 = FACE_OUTER_BOUND ('', #16880, .T.);
#16900 = CARTESIAN_POINT ('', (2.4856536520054, -3.994792983782, 10.514672127452));
#16910 = CARTESIAN_POINT ('', (2.79719674018138, -3.994792983782, 6.0593983988615));
#16920 = CARTESIAN_POINT ('', (5.8362251112158, -4.27468908488429, 10.7489669077835));
#16930 = CARTESIAN_POINT ('', (6.14776819939178, -4.27468908488429, 6.29369317919298));
#16940 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16900, #16910), (#16920, #16930)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.282737410879278, 3.08765796277916), (-0.19349340612521, 4.27265964683421), .UNSPECIFIED.);
#16950 = ADVANCED_FACE ('', (#16890), #16940, .T.);
#16960 = ORIENTED_EDGE ('', *, *, #15830, .F.);
#16970 = CARTESIAN_POINT ('', (2.78136847994681, -5.98163729708653, 10.3403821834139));
#16980 = CARTESIAN_POINT ('', (3.2693250105802, -5.95165930758659, 8.51930361920478));
#16990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16970, #16980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17000 = EDGE_CURVE ('', #15720, #16270, #16990, .T.);
#17010 = ORIENTED_EDGE ('', *, *, #17000, .T.);
#17020 = ORIENTED_EDGE ('', *, *, #16310, .F.);
#17030 = ORIENTED_EDGE ('', *, *, #12480, .T.);
#17040 = EDGE_LOOP ('', (#16960, #17010, #17020, #17030));
#17050 = FACE_OUTER_BOUND ('', #17040, .T.);
#17060 = CARTESIAN_POINT ('', (5.8362251112158, -5.72531091511574, 10.7489669077835));
#17070 = CARTESIAN_POINT ('', (6.14776819939178, -5.72531091511573, 6.29369317919298));
#17080 = CARTESIAN_POINT ('', (2.4856536520054, -6.00520701621802, 10.514672127452));
#17090 = CARTESIAN_POINT ('', (2.79719674018138, -6.00520701621802, 6.0593983988615));
#17100 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17060, #17070), (#17080, #17090)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.296216359459706, 3.07417901419873), (-0.193493406125143, 4.27265964683427), .UNSPECIFIED.);
#17110 = ADVANCED_FACE ('', (#17050), #17100, .T.);
#17120 = ORIENTED_EDGE ('', *, *, #13840, .F.);
#17130 = ORIENTED_EDGE ('', *, *, #14840, .F.);
#17140 = ORIENTED_EDGE ('', *, *, #14300, .F.);
#17150 = ORIENTED_EDGE ('', *, *, #15040, .F.);
#17160 = EDGE_LOOP ('', (#17120, #17130, #17140, #17150));
#17170 = FACE_OUTER_BOUND ('', #17160, .T.);
#17180 = CARTESIAN_POINT ('', (26.2445199706727, -4.25079029850274, 9.89328249758305));
#17190 = CARTESIAN_POINT ('', (26.5271867630882, -4.2139097035557, 12.1954187786992));
#17200 = CARTESIAN_POINT ('', (26.2441324568748, -4.0508155770932, 9.89012645096787));
#17210 = CARTESIAN_POINT ('', (26.5267992492904, -4.01393498214616, 12.192262732084));
#17220 = CARTESIAN_POINT ('', (26.0456232265465, -4.05081557709321, 9.91450031964891));
#17230 = CARTESIAN_POINT ('', (26.3282900189621, -4.01393498214617, 12.216636600765));
#17240 = CARTESIAN_POINT ('', (25.8471139962183, -4.05081557709321, 9.93887418832994));
#17250 = CARTESIAN_POINT ('', (26.1297807886338, -4.01393498214617, 12.2410104694461));
#17260 = CARTESIAN_POINT ('', (25.8475015100161, -4.25079029850275, 9.94203023494512));
#17270 = CARTESIAN_POINT ('', (26.1301683024317, -4.21390970355571, 12.2441665160613));
#17280 = CARTESIAN_POINT ('', (25.847889023814, -4.45076501991229, 9.9451862815603));
#17290 = CARTESIAN_POINT ('', (26.1305558162295, -4.41388442496525, 12.2473225626764));
#17300 = CARTESIAN_POINT ('', (26.0463982541422, -4.45076501991228, 9.92081241287927));
#17310 = CARTESIAN_POINT ('', (26.3290650465578, -4.41388442496524, 12.2229486939954));
#17320 = CARTESIAN_POINT ('', (26.2449074844705, -4.45076501991227, 9.89643854419823));
#17330 = CARTESIAN_POINT ('', (26.5275742768861, -4.41388442496523, 12.1985748253144));
#17340 = CARTESIAN_POINT ('', (26.2445199706727, -4.25079029850274, 9.89328249758305));
#17350 = CARTESIAN_POINT ('', (26.5271867630882, -4.2139097035557, 12.1954187786992));
#17360 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#17180, #17190), (#17200, #17210), (#17220, #17230), (#17240, #17250), (#17260, #17270), (#17280, #17290), (#17300, #17310), (#17320, #17330), (#17340, #17350)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.250000000000004, 0.500000000000002, 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 ('')
);
#17370 = ADVANCED_FACE ('', (#17170), #17360, .T.);
#17380 = ORIENTED_EDGE ('', *, *, #14460, .F.);
#17390 = ORIENTED_EDGE ('', *, *, #14900, .F.);
#17400 = ORIENTED_EDGE ('', *, *, #14060, .F.);
#17410 = ORIENTED_EDGE ('', *, *, #15200, .F.);
#17420 = EDGE_LOOP ('', (#17380, #17390, #17400, #17410));
#17430 = FACE_OUTER_BOUND ('', #17420, .T.);
#17440 = CARTESIAN_POINT ('', (26.2445199706727, -5.74920970149722, 9.89328249758306));
#17450 = CARTESIAN_POINT ('', (26.5271867630882, -5.78609029644439, 12.1954187786992));
#17460 = CARTESIAN_POINT ('', (26.2449074844705, -5.54923498008768, 9.89643854419825));
#17470 = CARTESIAN_POINT ('', (26.527574276886, -5.58611557503485, 12.1985748253144));
#17480 = CARTESIAN_POINT ('', (26.0463982541422, -5.5492349800877, 9.92081241287928));
#17490 = CARTESIAN_POINT ('', (26.3290650465577, -5.58611557503487, 12.2229486939954));
#17500 = CARTESIAN_POINT ('', (25.8478890238139, -5.54923498008773, 9.94518628156032));
#17510 = CARTESIAN_POINT ('', (26.1305558162295, -5.5861155750349, 12.2473225626765));
#17520 = CARTESIAN_POINT ('', (25.8475015100161, -5.74920970149726, 9.94203023494512));
#17530 = CARTESIAN_POINT ('', (26.1301683024317, -5.78609029644443, 12.2441665160613));
#17540 = CARTESIAN_POINT ('', (25.8471139962183, -5.9491844229068, 9.93887418832993));
#17550 = CARTESIAN_POINT ('', (26.1297807886338, -5.98606501785397, 12.2410104694461));
#17560 = CARTESIAN_POINT ('', (26.0456232265466, -5.94918442290678, 9.9145003196489));
#17570 = CARTESIAN_POINT ('', (26.3282900189621, -5.98606501785395, 12.216636600765));
#17580 = CARTESIAN_POINT ('', (26.2441324568748, -5.94918442290675, 9.89012645096786));
#17590 = CARTESIAN_POINT ('', (26.5267992492904, -5.98606501785392, 12.192262732084));
#17600 = CARTESIAN_POINT ('', (26.2445199706727, -5.74920970149722, 9.89328249758306));
#17610 = CARTESIAN_POINT ('', (26.5271867630882, -5.78609029644439, 12.1954187786992));
#17620 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#17440, #17450), (#17460, #17470), (#17480, #17490), (#17500, #17510), (#17520, #17530), (#17540, #17550), (#17560, #17570), (#17580, #17590), (#17600, #17610)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.249999999999998, 0.499999999999993, 0.749999999999993, 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 ('')
);
#17630 = ADVANCED_FACE ('', (#17430), #17620, .T.);
#17640 = ORIENTED_EDGE ('', *, *, #15620, .F.);
#17650 = ORIENTED_EDGE ('', *, *, #16840, .F.);
#17660 = ORIENTED_EDGE ('', *, *, #16120, .F.);
#17670 = ORIENTED_EDGE ('', *, *, #16640, .F.);
#17680 = EDGE_LOOP ('', (#17640, #17650, #17660, #17670));
#17690 = FACE_OUTER_BOUND ('', #17680, .T.);
#17700 = CARTESIAN_POINT ('', (3.49747765392979, -4.25081600543437, 8.37757343613274));
#17710 = CARTESIAN_POINT ('', (2.89248765767493, -4.21364797382354, 10.6354268402271));
#17720 = CARTESIAN_POINT ('', (3.49830063326418, -4.05084128402482, 8.37450203544316));
#17730 = CARTESIAN_POINT ('', (2.89331063700932, -4.013673252414, 10.6323554395376));
#17740 = CARTESIAN_POINT ('', (3.30511546800635, -4.05084128402484, 8.32273822642267));
#17750 = CARTESIAN_POINT ('', (2.70012547175149, -4.01367325241402, 10.5805916305171));
#17760 = CARTESIAN_POINT ('', (3.11193030274852, -4.05084128402486, 8.27097441740217));
#17770 = CARTESIAN_POINT ('', (2.50694030649366, -4.01367325241404, 10.5288278214966));
#17780 = CARTESIAN_POINT ('', (3.11110732341413, -4.25081600543441, 8.27404581809174));
#17790 = CARTESIAN_POINT ('', (2.50611732715927, -4.21364797382358, 10.5318992221861));
#17800 = CARTESIAN_POINT ('', (3.11028434407974, -4.45079072684395, 8.27711721878131));
#17810 = CARTESIAN_POINT ('', (2.50529434782489, -4.41362269523313, 10.5349706228757));
#17820 = CARTESIAN_POINT ('', (3.30346950933757, -4.45079072684393, 8.32888102780181));
#17830 = CARTESIAN_POINT ('', (2.69847951308272, -4.41362269523311, 10.5867344318962));
#17840 = CARTESIAN_POINT ('', (3.4966546745954, -4.45079072684391, 8.38064483682231));
#17850 = CARTESIAN_POINT ('', (2.89166467834055, -4.41362269523309, 10.6384982409167));
#17860 = CARTESIAN_POINT ('', (3.49747765392979, -4.25081600543437, 8.37757343613274));
#17870 = CARTESIAN_POINT ('', (2.89248765767493, -4.21364797382354, 10.6354268402271));
#17880 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#17700, #17710), (#17720, #17730), (#17740, #17750), (#17760, #17770), (#17780, #17790), (#17800, #17810), (#17820, #17830), (#17840, #17850), (#17860, #17870)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.249999999999999, 0.499999999999995, 0.749999999999994, 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 ('')
);
#17890 = ADVANCED_FACE ('', (#17690), #17880, .T.);
#17900 = ORIENTED_EDGE ('', *, *, #16380, .F.);
#17910 = ORIENTED_EDGE ('', *, *, #17000, .F.);
#17920 = ORIENTED_EDGE ('', *, *, #15780, .F.);
#17930 = ORIENTED_EDGE ('', *, *, #16700, .F.);
#17940 = EDGE_LOOP ('', (#17900, #17910, #17920, #17930));
#17950 = FACE_OUTER_BOUND ('', #17940, .T.);
#17960 = CARTESIAN_POINT ('', (3.49747765392979, -5.74918399456554, 8.37757343613275));
#17970 = CARTESIAN_POINT ('', (2.89248765767501, -5.78635202617641, 10.6354268402271));
#17980 = CARTESIAN_POINT ('', (3.4966546745954, -5.54920927315599, 8.38064483682232));
#17990 = CARTESIAN_POINT ('', (2.89166467834062, -5.58637730476687, 10.6384982409167));
#18000 = CARTESIAN_POINT ('', (3.30346950933757, -5.54920927315598, 8.32888102780183));
#18010 = CARTESIAN_POINT ('', (2.69847951308279, -5.58637730476686, 10.5867344318962));
#18020 = CARTESIAN_POINT ('', (3.11028434407974, -5.54920927315597, 8.27711721878133));
#18030 = CARTESIAN_POINT ('', (2.50529434782496, -5.58637730476685, 10.5349706228757));
#18040 = CARTESIAN_POINT ('', (3.11110732341413, -5.74918399456551, 8.27404581809176));
#18050 = CARTESIAN_POINT ('', (2.50611732715934, -5.78635202617639, 10.5318992221862));
#18060 = CARTESIAN_POINT ('', (3.11193030274852, -5.94915871597506, 8.27097441740219));
#18070 = CARTESIAN_POINT ('', (2.50694030649373, -5.98632674758593, 10.5288278214966));
#18080 = CARTESIAN_POINT ('', (3.30511546800635, -5.94915871597507, 8.32273822642268));
#18090 = CARTESIAN_POINT ('', (2.70012547175156, -5.98632674758594, 10.5805916305171));
#18100 = CARTESIAN_POINT ('', (3.49830063326418, -5.94915871597508, 8.37450203544318));
#18110 = CARTESIAN_POINT ('', (2.89331063700939, -5.98632674758596, 10.6323554395376));
#18120 = CARTESIAN_POINT ('', (3.49747765392979, -5.74918399456554, 8.37757343613275));
#18130 = CARTESIAN_POINT ('', (2.89248765767501, -5.78635202617641, 10.6354268402271));
#18140 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#17960, #17970), (#17980, #17990), (#18000, #18010), (#18020, #18030), (#18040, #18050), (#18060, #18070), (#18080, #18090), (#18100, #18110), (#18120, #18130)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.250000000000002, 0.500000000000002, 0.749999999999997, 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 ('')
);
#18150 = ADVANCED_FACE ('', (#17950), #18140, .T.);
#18160 = CLOSED_SHELL ('', (#12190, #13110, #13310, #13510, #13670, #14150, #14670, #14790, #14990, #15150, #15310, #15470, #15950, #16470, #16590, #16790, #16950, #17110, #17370, #17630, #17890, #18150));
#18170 = MANIFOLD_SOLID_BREP ('CUT', #18160);
#18180 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#18190 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#18200 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#18210 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #18180, 'DISTANCE_ACCURACY_VALUE', '');
#18220 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#18210))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#18180, #18190, #18200))
   REPRESENTATION_CONTEXT ('', '3D')
);
#18230 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#18240 = FILL_AREA_STYLE_COLOUR ('', #18230);
#18250 = FILL_AREA_STYLE ('', (#18240));
#18260 = SURFACE_STYLE_FILL_AREA (#18250);
#18270 = SURFACE_SIDE_STYLE ('', (#18260));
#18280 = SURFACE_STYLE_USAGE (.POSITIVE., #18270);
#18290 = PRESENTATION_STYLE_ASSIGNMENT ((#18280));
#18300 = STYLED_ITEM ('', (#18290), #18170);
#18310 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#18170), #18220);
#18320 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#18330 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #18320);
#18340 = MECHANICAL_CONTEXT ('', #18320, 'mechanical');
#18350 = PRODUCT ('NONE', '', '', (#18340));
#18360 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#18370 = PERSON ('', '', $, $, $, $);
#18380 = ORGANIZATION ($, '', '');
#18390 = PERSON_AND_ORGANIZATION (#18370, #18380);
#18400 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18390, #18360, (#18350));
#18410 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#18350));
#18420 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #18350, .NOT_KNOWN.);
#18430 = APPROVAL_STATUS ('approved');
#18440 = APPROVAL (#18430, '');
#18450 = CALENDAR_DATE (2018, 16, 8);
#18460 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18470 = LOCAL_TIME (10, 28, 23., #18460);
#18480 = DATE_AND_TIME (#18450, #18470);
#18490 = APPROVAL_DATE_TIME (#18480, #18440);
#18500 = APPROVAL_ROLE ('');
#18510 = PERSON ('', '', $, $, $, $);
#18520 = ORGANIZATION ($, '', '');
#18530 = PERSON_AND_ORGANIZATION (#18510, #18520);
#18540 = APPROVAL_PERSON_ORGANIZATION (#18530, #18440, #18500);
#18550 = CC_DESIGN_APPROVAL (#18440, (#18420));
#18560 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#18570 = PERSON ('', '', $, $, $, $);
#18580 = ORGANIZATION ($, '', '');
#18590 = PERSON_AND_ORGANIZATION (#18570, #18580);
#18600 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18590, #18560, (#18420));
#18610 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#18620 = PERSON ('', '', $, $, $, $);
#18630 = ORGANIZATION ($, '', '');
#18640 = PERSON_AND_ORGANIZATION (#18620, #18630);
#18650 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18640, #18610, (#18420));
#18660 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#18670 = SECURITY_CLASSIFICATION ('', '', #18660);
#18680 = APPROVAL_STATUS ('approved');
#18690 = APPROVAL (#18680, '');
#18700 = CALENDAR_DATE (2018, 16, 8);
#18710 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18720 = LOCAL_TIME (10, 28, 23., #18710);
#18730 = DATE_AND_TIME (#18700, #18720);
#18740 = APPROVAL_DATE_TIME (#18730, #18690);
#18750 = APPROVAL_ROLE ('');
#18760 = PERSON ('', '', $, $, $, $);
#18770 = ORGANIZATION ($, '', '');
#18780 = PERSON_AND_ORGANIZATION (#18760, #18770);
#18790 = APPROVAL_PERSON_ORGANIZATION (#18780, #18690, #18750);
#18800 = CC_DESIGN_APPROVAL (#18690, (#18670));
#18810 = DATE_TIME_ROLE ('classification_date');
#18820 = CALENDAR_DATE (2018, 16, 8);
#18830 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18840 = LOCAL_TIME (10, 28, 23., #18830);
#18850 = DATE_AND_TIME (#18820, #18840);
#18860 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#18850, #18810, (#18670));
#18870 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#18880 = PERSON ('', '', $, $, $, $);
#18890 = ORGANIZATION ($, '', '');
#18900 = PERSON_AND_ORGANIZATION (#18880, #18890);
#18910 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18900, #18870, (#18670));
#18920 = CC_DESIGN_SECURITY_CLASSIFICATION (#18670, (#18420));
#18930 = DESIGN_CONTEXT ('', #18320, 'design');
#18940 = PRODUCT_DEFINITION ('', '', #18420, #18930);
#18950 = APPROVAL_STATUS ('approved');
#18960 = APPROVAL (#18950, '');
#18970 = CALENDAR_DATE (2018, 16, 8);
#18980 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18990 = LOCAL_TIME (10, 28, 23., #18980);
#19000 = DATE_AND_TIME (#18970, #18990);
#19010 = APPROVAL_DATE_TIME (#19000, #18960);
#19020 = APPROVAL_ROLE ('');
#19030 = PERSON ('', '', $, $, $, $);
#19040 = ORGANIZATION ($, '', '');
#19050 = PERSON_AND_ORGANIZATION (#19030, #19040);
#19060 = APPROVAL_PERSON_ORGANIZATION (#19050, #18960, #19020);
#19070 = CC_DESIGN_APPROVAL (#18960, (#18940));
#19080 = DATE_TIME_ROLE ('creation_date');
#19090 = CALENDAR_DATE (2018, 16, 8);
#19100 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19110 = LOCAL_TIME (10, 28, 23., #19100);
#19120 = DATE_AND_TIME (#19090, #19110);
#19130 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#19120, #19080, (#18940));
#19140 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#19150 = PERSON ('', '', $, $, $, $);
#19160 = ORGANIZATION ($, '', '');
#19170 = PERSON_AND_ORGANIZATION (#19150, #19160);
#19180 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19170, #19140, (#18940));
#19190 = PRODUCT_DEFINITION_SHAPE ('', '', #18940);
#19200 = SHAPE_DEFINITION_REPRESENTATION (#19190, #18310);
ENDSEC;
END-ISO-10303-21;