ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('MSA-SL-SA3503-65_mirrored.stp', '2017-01-25T07:25:07', ('Unknown'), ('TDM'), 'HarmonyWare STEP v2.0.2.9', 'T3D tool generator', '');
FILE_SCHEMA (('CONFIG_CONTROL_DESIGN'));
ENDSEC;

DATA;
#10 = CARTESIAN_POINT ('', (35.5, 8.5, 35.));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (36.3186091253171, 8.5, 43.));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (75.0000000000008, 8.50000000000042, 35.));
#60 = DIRECTION ('', (-1.06581410364013E-14, 1., 9.80121747262542E-16));
#70 = DIRECTION ('', (-1., -1.06581410364013E-14, 0.));
#80 = AXIS2_PLACEMENT_3D ('', #50, #60, #70);
#90 = CIRCLE ('', #80, 39.5000000000008);
#100 = EDGE_CURVE ('', #20, #40, #90, .T.);
#110 = ORIENTED_EDGE ('', *, *, #100, .F.);
#120 = CARTESIAN_POINT ('', (34.5, 7.5, 35.));
#130 = VERTEX_POINT ('', #120);
#140 = CARTESIAN_POINT ('', (35.5, 7.49999999999999, 35.));
#150 = DIRECTION ('', (0., 0., 1.));
#160 = DIRECTION ('', (-7.10542735760091E-15, 1., 0.));
#170 = AXIS2_PLACEMENT_3D ('', #140, #150, #160);
#180 = CIRCLE ('', #170, 1.00000000000001);
#190 = EDGE_CURVE ('', #20, #130, #180, .T.);
#200 = ORIENTED_EDGE ('', *, *, #190, .T.);
#210 = CARTESIAN_POINT ('', (35.2979849377894, 7.5, 43.));
#220 = VERTEX_POINT ('', #210);
#230 = CARTESIAN_POINT ('', (75.0000000000023, 7.5, 35.0000000000001));
#240 = DIRECTION ('', (0., -1., 0.));
#250 = DIRECTION ('', (-0.980296668202735, 0., 0.197530864197516));
#260 = AXIS2_PLACEMENT_3D ('', #230, #240, #250);
#270 = CIRCLE ('', #260, 40.5000000000023);
#280 = EDGE_CURVE ('', #220, #130, #270, .T.);
#290 = ORIENTED_EDGE ('', *, *, #280, .F.);
#300 = CARTESIAN_POINT ('', (36.3186091253171, 8.5, 43.));
#310 = CARTESIAN_POINT ('', (36.1851985332175, 8.5, 43.));
#320 = CARTESIAN_POINT ('', (36.0543898238354, 8.47467484452754, 43.));
#330 = CARTESIAN_POINT ('', (35.8084299748682, 8.37591208186008, 43.));
#340 = CARTESIAN_POINT ('', (35.6955433283878, 8.30281910281749, 43.));
#350 = CARTESIAN_POINT ('', (35.4113967377319, 8.02743107088417, 43.));
#360 = CARTESIAN_POINT ('', (35.2979849377894, 7.76698116225372, 43.));
#370 = CARTESIAN_POINT ('', (35.2979849377894, 7.5, 43.));
#380 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#300, #310, #320, #330, #340, #350, #360, #370), .UNSPECIFIED., .F., .U., (4, 2, 2, 4), (7.05981306231723E-18, 0.000394598713828923, 0.00078919742765784, 0.00157839485531566), .UNSPECIFIED.);
#390 = EDGE_CURVE ('', #40, #220, #380, .T.);
#400 = ORIENTED_EDGE ('', *, *, #390, .F.);
#410 = EDGE_LOOP ('', (#110, #200, #290, #400));
#420 = FACE_OUTER_BOUND ('', #410, .F.);
#430 = CARTESIAN_POINT ('', (34.5, 7.5, 35.));
#440 = CARTESIAN_POINT ('', (34.5, 6.5, 35.));
#450 = CARTESIAN_POINT ('', (35.5, 6.5, 35.));
#460 = CARTESIAN_POINT ('', (36.5, 6.5, 35.));
#470 = CARTESIAN_POINT ('', (36.5, 7.5, 35.));
#480 = CARTESIAN_POINT ('', (36.5, 8.5, 35.));
#490 = CARTESIAN_POINT ('', (35.5, 8.5, 35.));
#500 = CARTESIAN_POINT ('', (34.5, 8.5, 35.));
#510 = CARTESIAN_POINT ('', (34.5, 7.5, 35.));
#520 = CARTESIAN_POINT ('', (34.5, 7.49999999999999, -5.49999999999998));
#530 = CARTESIAN_POINT ('', (34.5, 6.49999999999999, -5.49999999999998));
#540 = CARTESIAN_POINT ('', (35.5, 6.49999999999999, -4.49999999999998));
#550 = CARTESIAN_POINT ('', (36.5, 6.5, -3.49999999999998));
#560 = CARTESIAN_POINT ('', (36.5, 7.5, -3.49999999999998));
#570 = CARTESIAN_POINT ('', (36.5, 8.49999999999999, -3.49999999999998));
#580 = CARTESIAN_POINT ('', (35.5, 8.49999999999999, -4.49999999999998));
#590 = CARTESIAN_POINT ('', (34.5, 8.49999999999999, -5.49999999999998));
#600 = CARTESIAN_POINT ('', (34.5, 7.49999999999999, -5.49999999999998));
#610 = CARTESIAN_POINT ('', (75., 7.5, -5.49999999999998));
#620 = CARTESIAN_POINT ('', (75., 6.5, -5.49999999999998));
#630 = CARTESIAN_POINT ('', (75., 6.5, -4.49999999999998));
#640 = CARTESIAN_POINT ('', (75., 6.5, -3.49999999999998));
#650 = CARTESIAN_POINT ('', (75., 7.5, -3.49999999999998));
#660 = CARTESIAN_POINT ('', (75., 8.5, -3.49999999999998));
#670 = CARTESIAN_POINT ('', (75., 8.5, -4.49999999999998));
#680 = CARTESIAN_POINT ('', (75., 8.5, -5.49999999999998));
#690 = CARTESIAN_POINT ('', (75., 7.5, -5.49999999999998));
#700 = CARTESIAN_POINT ('', (115.5, 7.50000000000001, -5.49999999999998));
#710 = CARTESIAN_POINT ('', (115.5, 6.50000000000001, -5.49999999999998));
#720 = CARTESIAN_POINT ('', (114.5, 6.50000000000001, -4.49999999999998));
#730 = CARTESIAN_POINT ('', (113.5, 6.50000000000001, -3.49999999999998));
#740 = CARTESIAN_POINT ('', (113.5, 7.50000000000001, -3.49999999999998));
#750 = CARTESIAN_POINT ('', (113.5, 8.50000000000001, -3.49999999999998));
#760 = CARTESIAN_POINT ('', (114.5, 8.50000000000001, -4.49999999999998));
#770 = CARTESIAN_POINT ('', (115.5, 8.50000000000001, -5.49999999999998));
#780 = CARTESIAN_POINT ('', (115.5, 7.50000000000001, -5.49999999999998));
#790 = CARTESIAN_POINT ('', (115.5, 7.50000000000001, 35.));
#800 = CARTESIAN_POINT ('', (115.5, 6.50000000000001, 35.));
#810 = CARTESIAN_POINT ('', (114.5, 6.50000000000001, 35.));
#820 = CARTESIAN_POINT ('', (113.5, 6.50000000000001, 35.));
#830 = CARTESIAN_POINT ('', (113.5, 7.50000000000001, 35.));
#840 = CARTESIAN_POINT ('', (113.5, 8.50000000000001, 35.));
#850 = CARTESIAN_POINT ('', (114.5, 8.50000000000001, 35.));
#860 = CARTESIAN_POINT ('', (115.5, 8.50000000000001, 35.));
#870 = CARTESIAN_POINT ('', (115.5, 7.50000000000001, 35.));
#880 = CARTESIAN_POINT ('', (115.5, 7.50000000000002, 75.5));
#890 = CARTESIAN_POINT ('', (115.5, 6.50000000000002, 75.5));
#900 = CARTESIAN_POINT ('', (114.5, 6.50000000000002, 74.5));
#910 = CARTESIAN_POINT ('', (113.5, 6.50000000000002, 73.5));
#920 = CARTESIAN_POINT ('', (113.5, 7.50000000000002, 73.5));
#930 = CARTESIAN_POINT ('', (113.5, 8.50000000000002, 73.5));
#940 = CARTESIAN_POINT ('', (114.5, 8.50000000000002, 74.5));
#950 = CARTESIAN_POINT ('', (115.5, 8.50000000000002, 75.5));
#960 = CARTESIAN_POINT ('', (115.5, 7.50000000000002, 75.5));
#970 = CARTESIAN_POINT ('', (75., 7.50000000000001, 75.5));
#980 = CARTESIAN_POINT ('', (75., 6.50000000000001, 75.5));
#990 = CARTESIAN_POINT ('', (75., 6.50000000000001, 74.5));
#1000 = CARTESIAN_POINT ('', (75., 6.50000000000001, 73.5));
#1010 = CARTESIAN_POINT ('', (75., 7.50000000000001, 73.5));
#1020 = CARTESIAN_POINT ('', (75., 8.50000000000001, 73.5));
#1030 = CARTESIAN_POINT ('', (75., 8.50000000000001, 74.5));
#1040 = CARTESIAN_POINT ('', (75., 8.50000000000001, 75.5));
#1050 = CARTESIAN_POINT ('', (75., 7.50000000000001, 75.5));
#1060 = CARTESIAN_POINT ('', (34.5, 7.5, 75.5));
#1070 = CARTESIAN_POINT ('', (34.5, 6.50000000000001, 75.5));
#1080 = CARTESIAN_POINT ('', (35.5, 6.50000000000001, 74.5));
#1090 = CARTESIAN_POINT ('', (36.5, 6.5, 73.5));
#1100 = CARTESIAN_POINT ('', (36.5, 7.5, 73.5));
#1110 = CARTESIAN_POINT ('', (36.5, 8.50000000000001, 73.5));
#1120 = CARTESIAN_POINT ('', (35.5, 8.50000000000001, 74.5));
#1130 = CARTESIAN_POINT ('', (34.5, 8.50000000000001, 75.5));
#1140 = CARTESIAN_POINT ('', (34.5, 7.5, 75.5));
#1150 = CARTESIAN_POINT ('', (34.5, 7.5, 35.));
#1160 = CARTESIAN_POINT ('', (34.5, 6.5, 35.));
#1170 = CARTESIAN_POINT ('', (35.5, 6.5, 35.));
#1180 = CARTESIAN_POINT ('', (36.5, 6.5, 35.));
#1190 = CARTESIAN_POINT ('', (36.5, 7.5, 35.));
#1200 = CARTESIAN_POINT ('', (36.5, 8.5, 35.));
#1210 = CARTESIAN_POINT ('', (35.5, 8.5, 35.));
#1220 = CARTESIAN_POINT ('', (34.5, 8.5, 35.));
#1230 = CARTESIAN_POINT ('', (34.5, 7.5, 35.));
#1240 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 2, ((#430, #440, #450, #460, #470, #480, #490, #500, #510), (#520, #530, #540, #550, #560, #570, #580, #590, #600), (#610, #620, #630, #640, #650, #660, #670, #680, #690), (#700, #710, #720, #730, #740, #750, #760, #770, #780), (#790, #800, #810, #820, #830, #840, #850, #860, #870), (#880, #890, #900, #910, #920, #930, #940, #950, #960), (#970, #980, #990, #1000, #1010, #1020, #1030, #1040, #1050), (#1060, #1070, #1080, #1090, #1100, #1110, #1120, #1130, #1140), (#1150, #1160, #1170, #1180, #1190, #1200, #1210, #1220, #1230)), .UNSPECIFIED., .T., .T., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.)))
   REPRESENTATION_ITEM ('')
);
#1250 = ADVANCED_FACE ('', (#420), #1240, .F.);
#1260 = ORIENTED_EDGE ('', *, *, #280, .T.);
#1270 = CARTESIAN_POINT ('', (34.5, 0., 35.));
#1280 = VERTEX_POINT ('', #1270);
#1290 = CARTESIAN_POINT ('', (34.5, 7.5, 35.));
#1300 = DIRECTION ('', (0., -7.5, 0.));
#1310 = VECTOR ('', #1300, 7.5);
#1320 = LINE ('', #1290, #1310);
#1330 = EDGE_CURVE ('', #130, #1280, #1320, .T.);
#1340 = ORIENTED_EDGE ('', *, *, #1330, .T.);
#1350 = CARTESIAN_POINT ('', (35.2979849377894, 0., 43.));
#1360 = VERTEX_POINT ('', #1350);
#1370 = CARTESIAN_POINT ('', (74.9999999999972, 0., 35.0000000000001));
#1380 = DIRECTION ('', (0., -1., 0.));
#1390 = DIRECTION ('', (-0.98029666820273, 0., 0.197530864197541));
#1400 = AXIS2_PLACEMENT_3D ('', #1370, #1380, #1390);
#1410 = CIRCLE ('', #1400, 40.4999999999972);
#1420 = EDGE_CURVE ('', #1360, #1280, #1410, .T.);
#1430 = ORIENTED_EDGE ('', *, *, #1420, .F.);
#1440 = CARTESIAN_POINT ('', (35.2979849377894, 7.5, 43.));
#1450 = DIRECTION ('', (0., -7.5, 0.));
#1460 = VECTOR ('', #1450, 7.5);
#1470 = LINE ('', #1440, #1460);
#1480 = EDGE_CURVE ('', #220, #1360, #1470, .T.);
#1490 = ORIENTED_EDGE ('', *, *, #1480, .F.);
#1500 = EDGE_LOOP ('', (#1260, #1340, #1430, #1490));
#1510 = FACE_OUTER_BOUND ('', #1500, .F.);
#1520 = CARTESIAN_POINT ('', (34.5, 8.2512, 35.));
#1530 = CARTESIAN_POINT ('', (34.5, -0.751199999999999, 35.));
#1540 = CARTESIAN_POINT ('', (34.5, 8.2512, -5.50000000000001));
#1550 = CARTESIAN_POINT ('', (34.5, -0.751199999999999, -5.50000000000001));
#1560 = CARTESIAN_POINT ('', (75., 8.2512, -5.50000000000001));
#1570 = CARTESIAN_POINT ('', (75., -0.751199999999997, -5.50000000000001));
#1580 = CARTESIAN_POINT ('', (115.5, 8.25120000000001, -5.50000000000001));
#1590 = CARTESIAN_POINT ('', (115.5, -0.751199999999996, -5.50000000000001));
#1600 = CARTESIAN_POINT ('', (115.5, 8.25120000000001, 35.));
#1610 = CARTESIAN_POINT ('', (115.5, -0.751199999999995, 35.));
#1620 = CARTESIAN_POINT ('', (115.5, 8.25120000000001, 75.5));
#1630 = CARTESIAN_POINT ('', (115.5, -0.751199999999996, 75.5));
#1640 = CARTESIAN_POINT ('', (75., 8.2512, 75.5));
#1650 = CARTESIAN_POINT ('', (75., -0.751199999999997, 75.5));
#1660 = CARTESIAN_POINT ('', (34.5, 8.2512, 75.5));
#1670 = CARTESIAN_POINT ('', (34.5, -0.751199999999999, 75.5));
#1680 = CARTESIAN_POINT ('', (34.5, 8.2512, 35.));
#1690 = CARTESIAN_POINT ('', (34.5, -0.751199999999999, 35.));
#1700 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#1520, #1530), (#1540, #1550), (#1560, #1570), (#1580, #1590), (#1600, #1610), (#1620, #1630), (#1640, #1650), (#1660, #1670), (#1680, #1690)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#1710 = ADVANCED_FACE ('', (#1510), #1700, .F.);
#1720 = CARTESIAN_POINT ('', (6.73555739531044E-16, 0., -6.73555739531044E-16));
#1730 = VERTEX_POINT ('', #1720);
#1740 = CARTESIAN_POINT ('', (1.53791001119263E-15, -1.77635683940025E-15, 19.7));
#1750 = VERTEX_POINT ('', #1740);
#1760 = CARTESIAN_POINT ('', (6.73555739531044E-16, 0., -6.73555739531044E-16));
#1770 = DIRECTION ('', (8.64354271661586E-16, -1.77635683940025E-15, 19.7));
#1780 = VECTOR ('', #1770, 19.7);
#1790 = LINE ('', #1760, #1780);
#1800 = EDGE_CURVE ('', #1730, #1750, #1790, .T.);
#1810 = ORIENTED_EDGE ('', *, *, #1800, .T.);
#1820 = CARTESIAN_POINT ('', (30., 0., 19.7));
#1830 = VERTEX_POINT ('', #1820);
#1840 = CARTESIAN_POINT ('', (1.53791001119263E-15, -1.77635683940025E-15, 19.7));
#1850 = DIRECTION ('', (30., 1.77635683940025E-15, 0.));
#1860 = VECTOR ('', #1850, 30.);
#1870 = LINE ('', #1840, #1860);
#1880 = EDGE_CURVE ('', #1750, #1830, #1870, .T.);
#1890 = ORIENTED_EDGE ('', *, *, #1880, .T.);
#1900 = CARTESIAN_POINT ('', (30., 0., 27.3));
#1910 = VERTEX_POINT ('', #1900);
#1920 = CARTESIAN_POINT ('', (30., 0., 27.3));
#1930 = DIRECTION ('', (0., 0., -7.6));
#1940 = VECTOR ('', #1930, 7.6);
#1950 = LINE ('', #1920, #1940);
#1960 = EDGE_CURVE ('', #1910, #1830, #1950, .T.);
#1970 = ORIENTED_EDGE ('', *, *, #1960, .F.);
#1980 = CARTESIAN_POINT ('', (1.87136648147831E-15, -1.77635683940025E-15, 27.3));
#1990 = VERTEX_POINT ('', #1980);
#2000 = CARTESIAN_POINT ('', (30., 0., 27.3));
#2010 = DIRECTION ('', (-30., -1.77635683940025E-15, 0.));
#2020 = VECTOR ('', #2010, 30.);
#2030 = LINE ('', #2000, #2020);
#2040 = EDGE_CURVE ('', #1910, #1990, #2030, .T.);
#2050 = ORIENTED_EDGE ('', *, *, #2040, .T.);
#2060 = CARTESIAN_POINT ('', (2.56021734772637E-15, -1.77635683940025E-15, 43.));
#2070 = VERTEX_POINT ('', #2060);
#2080 = CARTESIAN_POINT ('', (1.87136648147831E-15, -1.77635683940025E-15, 27.3));
#2090 = DIRECTION ('', (6.8885086624806E-16, 0., 15.7));
#2100 = VECTOR ('', #2090, 15.7);
#2110 = LINE ('', #2080, #2100);
#2120 = EDGE_CURVE ('', #1990, #2070, #2110, .T.);
#2130 = ORIENTED_EDGE ('', *, *, #2120, .T.);
#2140 = CARTESIAN_POINT ('', (2.56021734772637E-15, -1.77635683940025E-15, 43.));
#2150 = DIRECTION ('', (35.2979849377894, 1.77635683940025E-15, 0.));
#2160 = VECTOR ('', #2150, 35.2979849377894);
#2170 = LINE ('', #2140, #2160);
#2180 = EDGE_CURVE ('', #2070, #1360, #2170, .T.);
#2190 = ORIENTED_EDGE ('', *, *, #2180, .T.);
#2200 = ORIENTED_EDGE ('', *, *, #1420, .T.);
#2210 = CARTESIAN_POINT ('', (49.5989241773848, 3.5527136788005E-15, 3.45581912533225));
#2220 = VERTEX_POINT ('', #2210);
#2230 = CARTESIAN_POINT ('', (75., -5.97676685246354E-15, 35.));
#2240 = DIRECTION ('', (-1.47574490184285E-16, -1., -1.83264537430158E-16));
#2250 = DIRECTION ('', (-1., 1.47574490184285E-16, 1.75442650804963E-16));
#2260 = AXIS2_PLACEMENT_3D ('', #2230, #2240, #2250);
#2270 = CIRCLE ('', #2260, 40.5);
#2280 = EDGE_CURVE ('', #1280, #2220, #2270, .T.);
#2290 = ORIENTED_EDGE ('', *, *, #2280, .T.);
#2300 = CARTESIAN_POINT ('', (30., 5.32907051820075E-15, -9.15057963323752E-15));
#2310 = VERTEX_POINT ('', #2300);
#2320 = CARTESIAN_POINT ('', (30., 5.32907051820075E-15, -9.15057963323752E-15));
#2330 = DIRECTION ('', (19.5989241773848, -1.77635683940025E-15, 3.45581912533226));
#2340 = VECTOR ('', #2330, 19.9012691740474);
#2350 = LINE ('', #2320, #2340);
#2360 = EDGE_CURVE ('', #2310, #2220, #2350, .T.);
#2370 = ORIENTED_EDGE ('', *, *, #2360, .F.);
#2380 = CARTESIAN_POINT ('', (30., 5.32907051820075E-15, -9.15057963323752E-15));
#2390 = DIRECTION ('', (-30., -5.32907051820075E-15, 8.47702389370648E-15));
#2400 = VECTOR ('', #2390, 30.);
#2410 = LINE ('', #2380, #2400);
#2420 = EDGE_CURVE ('', #2310, #1730, #2410, .T.);
#2430 = ORIENTED_EDGE ('', *, *, #2420, .T.);
#2440 = EDGE_LOOP ('', (#1810, #1890, #1970, #2050, #2130, #2190, #2200, #2290, #2370, #2430));
#2450 = FACE_OUTER_BOUND ('', #2440, .F.);
#2460 = CARTESIAN_POINT ('', (49.5999241773848, 3.5527136788005E-15, -0.00100000000000915));
#2470 = CARTESIAN_POINT ('', (49.5999241773848, 1.77635683940025E-15, 43.001));
#2480 = CARTESIAN_POINT ('', (-0.00100000000000833, -1.11138796706404E-30, -0.00100000000000915));
#2490 = CARTESIAN_POINT ('', (-0.00100000000000833, -1.77635683940025E-15, 43.001));
#2500 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2460, #2470), (#2480, #2490)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-67.151, -17.5500758226152), (-0.00100000000000025, 43.001), .UNSPECIFIED.);
#2510 = ADVANCED_FACE ('', (#2450), #2500, .F.);
#2520 = CARTESIAN_POINT ('', (67.15, 11., 28.1889939658102));
#2530 = VERTEX_POINT ('', #2520);
#2540 = CARTESIAN_POINT ('', (67.15, 11., 14.9415436450921));
#2550 = VERTEX_POINT ('', #2540);
#2560 = CARTESIAN_POINT ('', (67.15, 11., 28.1889939658102));
#2570 = DIRECTION ('', (0., 0., -13.2474503207181));
#2580 = VECTOR ('', #2570, 13.2474503207181);
#2590 = LINE ('', #2560, #2580);
#2600 = EDGE_CURVE ('', #2530, #2550, #2590, .T.);
#2610 = ORIENTED_EDGE ('', *, *, #2600, .T.);
#2620 = CARTESIAN_POINT ('', (67.15, 8.5, 14.9415436450921));
#2630 = VERTEX_POINT ('', #2620);
#2640 = CARTESIAN_POINT ('', (67.15, 11., 14.9415436450921));
#2650 = DIRECTION ('', (0., -2.5, 0.));
#2660 = VECTOR ('', #2650, 2.5);
#2670 = LINE ('', #2640, #2660);
#2680 = EDGE_CURVE ('', #2550, #2630, #2670, .T.);
#2690 = ORIENTED_EDGE ('', *, *, #2680, .T.);
#2700 = CARTESIAN_POINT ('', (67.15, 8.5, 28.1889939658102));
#2710 = VERTEX_POINT ('', #2700);
#2720 = CARTESIAN_POINT ('', (67.15, 8.5, 28.1889939658102));
#2730 = DIRECTION ('', (0., 0., -13.2474503207181));
#2740 = VECTOR ('', #2730, 13.2474503207181);
#2750 = LINE ('', #2720, #2740);
#2760 = EDGE_CURVE ('', #2710, #2630, #2750, .T.);
#2770 = ORIENTED_EDGE ('', *, *, #2760, .F.);
#2780 = CARTESIAN_POINT ('', (67.15, 8.5, 28.1889939658102));
#2790 = DIRECTION ('', (0., 2.5, 0.));
#2800 = VECTOR ('', #2790, 2.5);
#2810 = LINE ('', #2780, #2800);
#2820 = EDGE_CURVE ('', #2710, #2530, #2810, .T.);
#2830 = ORIENTED_EDGE ('', *, *, #2820, .T.);
#2840 = EDGE_LOOP ('', (#2610, #2690, #2770, #2830));
#2850 = FACE_OUTER_BOUND ('', #2840, .F.);
#2860 = CARTESIAN_POINT ('', (67.15, 11.001, 14.9405436450921));
#2870 = CARTESIAN_POINT ('', (67.15, 11.001, 28.1899939658102));
#2880 = CARTESIAN_POINT ('', (67.15, 8.49900000000001, 14.9405436450921));
#2890 = CARTESIAN_POINT ('', (67.15, 8.49900000000001, 28.1899939658102));
#2900 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2860, #2870), (#2880, #2890)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (8.499, 11.001), (14.9405436450921, 28.1899939658102), .UNSPECIFIED.);
#2910 = ADVANCED_FACE ('', (#2850), #2900, .F.);
#2920 = CARTESIAN_POINT ('', (36.5278535283167, 8.5, 26.0476848881784));
#2930 = VERTEX_POINT ('', #2920);
#2940 = CARTESIAN_POINT ('', (67.15, 8.5, 28.1889939658102));
#2950 = DIRECTION ('', (-30.6221464716833, 0., -2.1413090776318));
#2960 = VECTOR ('', #2950, 30.6969226323939);
#2970 = LINE ('', #2940, #2960);
#2980 = EDGE_CURVE ('', #2710, #2930, #2970, .T.);
#2990 = ORIENTED_EDGE ('', *, *, #2980, .F.);
#3000 = ORIENTED_EDGE ('', *, *, #2760, .T.);
#3010 = CARTESIAN_POINT ('', (58.8864817766692, 8.5, 5.09346611496997));
#3020 = VERTEX_POINT ('', #3010);
#3030 = CARTESIAN_POINT ('', (57.15, 8.5, 14.9415436450921));
#3040 = DIRECTION ('', (0., 1., 0.));
#3050 = DIRECTION ('', (1., 0., 0.));
#3060 = AXIS2_PLACEMENT_3D ('', #3030, #3040, #3050);
#3070 = CIRCLE ('', #3060, 10.);
#3080 = EDGE_CURVE ('', #2630, #3020, #3070, .T.);
#3090 = ORIENTED_EDGE ('', *, *, #3080, .T.);
#3100 = CARTESIAN_POINT ('', (50.9198331651291, 8.5000000000027, 3.68873101893187));
#3110 = VERTEX_POINT ('', #3100);
#3120 = CARTESIAN_POINT ('', (50.9198331651291, 8.5000000000027, 3.68873101893187));
#3130 = DIRECTION ('', (7.9666486115401, -2.70006239588838E-12, 1.4047350960381));
#3140 = VECTOR ('', #3130, 8.08954700770043);
#3150 = LINE ('', #3120, #3140);
#3160 = EDGE_CURVE ('', #3110, #3020, #3150, .T.);
#3170 = ORIENTED_EDGE ('', *, *, #3160, .F.);
#3180 = CARTESIAN_POINT ('', (75.0000000000002, 8.5, 35.0000000000002));
#3190 = DIRECTION ('', (0., 1., 0.));
#3200 = DIRECTION ('', (-0.609624476832173, 0., -0.792690353951087));
#3210 = AXIS2_PLACEMENT_3D ('', #3180, #3190, #3200);
#3220 = CIRCLE ('', #3210, 39.5000000000003);
#3230 = EDGE_CURVE ('', #3110, #2930, #3220, .T.);
#3240 = ORIENTED_EDGE ('', *, *, #3230, .T.);
#3250 = EDGE_LOOP ('', (#2990, #3000, #3090, #3170, #3240));
#3260 = FACE_OUTER_BOUND ('', #3250, .F.);
#3270 = CARTESIAN_POINT ('', (67.151, 8.50000000000001, 3.68773101893187));
#3280 = CARTESIAN_POINT ('', (67.151, 8.5, 28.1899939658102));
#3290 = CARTESIAN_POINT ('', (36.5268535283167, 8.5, 3.68773101893187));
#3300 = CARTESIAN_POINT ('', (36.5268535283167, 8.49999999999999, 28.1899939658102));
#3310 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3270, #3280), (#3290, #3300)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (7.84899999999999, 38.4731464716833), (-31.3122689810681, -6.81000603418977), .UNSPECIFIED.);
#3320 = ADVANCED_FACE ('', (#3260), #3310, .F.);
#3330 = ORIENTED_EDGE ('', *, *, #2420, .F.);
#3340 = CARTESIAN_POINT ('', (30., 11., -8.22350325627448E-15));
#3350 = VERTEX_POINT ('', #3340);
#3360 = CARTESIAN_POINT ('', (30., 5.32907051820075E-15, -9.15057963323752E-15));
#3370 = DIRECTION ('', (0., 11., 9.2707637696304E-16));
#3380 = VECTOR ('', #3370, 11.);
#3390 = LINE ('', #3360, #3380);
#3400 = EDGE_CURVE ('', #2310, #3350, #3390, .T.);
#3410 = ORIENTED_EDGE ('', *, *, #3400, .T.);
#3420 = CARTESIAN_POINT ('', (0., 11., 0.));
#3430 = VERTEX_POINT ('', #3420);
#3440 = CARTESIAN_POINT ('', (30., 11., -8.22350325627448E-15));
#3450 = DIRECTION ('', (-30., 0., 8.22350325627448E-15));
#3460 = VECTOR ('', #3450, 30.);
#3470 = LINE ('', #3440, #3460);
#3480 = EDGE_CURVE ('', #3350, #3430, #3470, .T.);
#3490 = ORIENTED_EDGE ('', *, *, #3480, .T.);
#3500 = CARTESIAN_POINT ('', (6.73555739531044E-16, 0., -6.73555739531044E-16));
#3510 = DIRECTION ('', (-6.73555739531044E-16, 11., 6.73555739531044E-16));
#3520 = VECTOR ('', #3510, 11.);
#3530 = LINE ('', #3500, #3520);
#3540 = EDGE_CURVE ('', #1730, #3430, #3530, .T.);
#3550 = ORIENTED_EDGE ('', *, *, #3540, .F.);
#3560 = EDGE_LOOP ('', (#3330, #3410, #3490, #3550));
#3570 = FACE_OUTER_BOUND ('', #3560, .F.);
#3580 = CARTESIAN_POINT ('', (30.001, 11.001, -3.67400162978202E-15));
#3590 = CARTESIAN_POINT ('', (30.001, -0.000999999999997669, -4.34767983399298E-15));
#3600 = CARTESIAN_POINT ('', (-0.00100000000000122, 11.001, 1.83697019871012E-19));
#3610 = CARTESIAN_POINT ('', (-0.00100000000000122, -0.000999999999997669, -6.73494507191088E-16));
#3620 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3580, #3590), (#3600, #3610)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000122, 30.001), (-11.001, 0.000999999999999446), .UNSPECIFIED.);
#3630 = ADVANCED_FACE ('', (#3570), #3620, .F.);
#3640 = CARTESIAN_POINT ('', (1.88666160819533E-15, 11., 43.));
#3650 = VERTEX_POINT ('', #3640);
#3660 = CARTESIAN_POINT ('', (0., 11., 0.));
#3670 = DIRECTION ('', (1.88666160819533E-15, 0., 43.));
#3680 = VECTOR ('', #3670, 43.);
#3690 = LINE ('', #3660, #3680);
#3700 = EDGE_CURVE ('', #3430, #3650, #3690, .T.);
#3710 = ORIENTED_EDGE ('', *, *, #3700, .T.);
#3720 = CARTESIAN_POINT ('', (2.56021734772637E-15, -1.77635683940025E-15, 43.));
#3730 = DIRECTION ('', (-6.7355573953104E-16, 11., 0.));
#3740 = VECTOR ('', #3730, 11.);
#3750 = LINE ('', #3720, #3740);
#3760 = EDGE_CURVE ('', #2070, #3650, #3750, .T.);
#3770 = ORIENTED_EDGE ('', *, *, #3760, .F.);
#3780 = ORIENTED_EDGE ('', *, *, #2120, .F.);
#3790 = CARTESIAN_POINT ('', (-9.61347737330673E-16, -0.300000000000001, 27.));
#3800 = VERTEX_POINT ('', #3790);
#3810 = CARTESIAN_POINT ('', (4.16137239347187E-15, -0.300000000000012, 27.3));
#3820 = DIRECTION ('', (-1., -6.12323399573638E-17, 4.38758513533982E-17));
#3830 = DIRECTION ('', (-6.12323399573654E-17, 1., -3.55271367880034E-14));
#3840 = AXIS2_PLACEMENT_3D ('', #3810, #3820, #3830);
#3850 = CIRCLE ('', #3840, 0.300000000000015);
#3860 = EDGE_CURVE ('', #1990, #3800, #3850, .T.);
#3870 = ORIENTED_EDGE ('', *, *, #3860, .T.);
#3880 = CARTESIAN_POINT ('', (-8.26636589424464E-16, -2.5, 27.));
#3890 = VERTEX_POINT ('', #3880);
#3900 = CARTESIAN_POINT ('', (-8.26636589424464E-16, -2.5, 27.));
#3910 = DIRECTION ('', (-1.34711147906209E-16, 2.2, 0.));
#3920 = VECTOR ('', #3910, 2.2);
#3930 = LINE ('', #3900, #3920);
#3940 = EDGE_CURVE ('', #3890, #3800, #3930, .T.);
#3950 = ORIENTED_EDGE ('', *, *, #3940, .F.);
#3960 = CARTESIAN_POINT ('', (8.26636589424463E-16, -2.5, 20.));
#3970 = VERTEX_POINT ('', #3960);
#3980 = CARTESIAN_POINT ('', (8.26636589424463E-16, -2.5, 20.));
#3990 = DIRECTION ('', (-1.65327317884893E-15, 0., 7.));
#4000 = VECTOR ('', #3990, 7.);
#4010 = LINE ('', #3980, #4000);
#4020 = EDGE_CURVE ('', #3970, #3890, #4010, .T.);
#4030 = ORIENTED_EDGE ('', *, *, #4020, .F.);
#4040 = CARTESIAN_POINT ('', (6.91925441518255E-16, -0.300000000000001, 20.));
#4050 = VERTEX_POINT ('', #4040);
#4060 = CARTESIAN_POINT ('', (8.26636589424463E-16, -2.5, 20.));
#4070 = DIRECTION ('', (-1.34711147906208E-16, 2.2, 0.));
#4080 = VECTOR ('', #4070, 2.2);
#4090 = LINE ('', #4060, #4080);
#4100 = EDGE_CURVE ('', #3970, #4050, #4090, .T.);
#4110 = ORIENTED_EDGE ('', *, *, #4100, .T.);
#4120 = CARTESIAN_POINT ('', (4.16137239347187E-15, -0.299999999999997, 19.7));
#4130 = DIRECTION ('', (-1., -6.12323399573678E-17, 4.38758513533665E-17));
#4140 = DIRECTION ('', (4.38758513533672E-17, -1.18423789293351E-14, 1.));
#4150 = AXIS2_PLACEMENT_3D ('', #4120, #4130, #4140);
#4160 = CIRCLE ('', #4150, 0.299999999999998);
#4170 = EDGE_CURVE ('', #4050, #1750, #4160, .T.);
#4180 = ORIENTED_EDGE ('', *, *, #4170, .T.);
#4190 = ORIENTED_EDGE ('', *, *, #1800, .F.);
#4200 = ORIENTED_EDGE ('', *, *, #3540, .T.);
#4210 = EDGE_LOOP ('', (#3710, #3770, #3780, #3870, #3950, #4030, #4110, #4180, #4190, #4200));
#4220 = FACE_OUTER_BOUND ('', #4210, .F.);
#4230 = CARTESIAN_POINT ('', (-1.05108191311361E-19, 11.001, -0.000999999999997669));
#4240 = CARTESIAN_POINT ('', (8.26653945913067E-16, -2.501, -0.000999999999998496));
#4250 = CARTESIAN_POINT ('', (1.88664425170673E-15, 11.001, 43.001));
#4260 = CARTESIAN_POINT ('', (2.71340330581111E-15, -2.501, 43.001));
#4270 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4230, #4240), (#4250, #4260)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.000999999999997669, 43.001), (-11.001, 2.501), .UNSPECIFIED.);
#4280 = ADVANCED_FACE ('', (#4220), #4270, .F.);
#4290 = CARTESIAN_POINT ('', (48.7226226147383, 11., 43.));
#4300 = VERTEX_POINT ('', #4290);
#4310 = CARTESIAN_POINT ('', (1.88666160819533E-15, 11., 43.));
#4320 = DIRECTION ('', (48.7226226147383, 0., 0.));
#4330 = VECTOR ('', #4320, 48.7226226147383);
#4340 = LINE ('', #4310, #4330);
#4350 = EDGE_CURVE ('', #3650, #4300, #4340, .T.);
#4360 = ORIENTED_EDGE ('', *, *, #4350, .T.);
#4370 = CARTESIAN_POINT ('', (48.7226226147383, 8.5, 43.));
#4380 = VERTEX_POINT ('', #4370);
#4390 = CARTESIAN_POINT ('', (48.7226226147383, 11., 43.));
#4400 = DIRECTION ('', (0., -2.5, 0.));
#4410 = VECTOR ('', #4400, 2.5);
#4420 = LINE ('', #4390, #4410);
#4430 = EDGE_CURVE ('', #4300, #4380, #4420, .T.);
#4440 = ORIENTED_EDGE ('', *, *, #4430, .T.);
#4450 = CARTESIAN_POINT ('', (36.3186091253171, 8.5, 43.));
#4460 = DIRECTION ('', (12.4040134894212, 0., 0.));
#4470 = VECTOR ('', #4460, 12.4040134894212);
#4480 = LINE ('', #4450, #4470);
#4490 = EDGE_CURVE ('', #40, #4380, #4480, .T.);
#4500 = ORIENTED_EDGE ('', *, *, #4490, .F.);
#4510 = ORIENTED_EDGE ('', *, *, #390, .T.);
#4520 = ORIENTED_EDGE ('', *, *, #1480, .T.);
#4530 = ORIENTED_EDGE ('', *, *, #2180, .F.);
#4540 = ORIENTED_EDGE ('', *, *, #3760, .T.);
#4550 = EDGE_LOOP ('', (#4360, #4440, #4500, #4510, #4520, #4530, #4540));
#4560 = FACE_OUTER_BOUND ('', #4550, .F.);
#4570 = CARTESIAN_POINT ('', (-0.000999999999998342, 11.001, 43.));
#4580 = CARTESIAN_POINT ('', (-0.000999999999997669, -0.00100000000000122, 43.));
#4590 = CARTESIAN_POINT ('', (48.7236226147383, 11.001, 43.));
#4600 = CARTESIAN_POINT ('', (48.7236226147383, -0.00100000000000122, 43.));
#4610 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4570, #4580), (#4590, #4600)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-48.7236226147383, 0.001), (-11.001, 0.000999999999999446), .UNSPECIFIED.);
#4620 = ADVANCED_FACE ('', (#4560), #4610, .F.);
#4630 = CARTESIAN_POINT ('', (33.7159018413253, 11., 25.851054071368));
#4640 = VERTEX_POINT ('', #4630);
#4650 = CARTESIAN_POINT ('', (33.7159018413253, 11., 25.851054071368));
#4660 = DIRECTION ('', (33.4340981586747, 0., 2.3379398944422));
#4670 = VECTOR ('', #4660, 33.5157408188141);
#4680 = LINE ('', #4650, #4670);
#4690 = EDGE_CURVE ('', #4640, #2530, #4680, .T.);
#4700 = ORIENTED_EDGE ('', *, *, #4690, .F.);
#4710 = CARTESIAN_POINT ('', (33.4452467231981, 11., 29.7216025863761));
#4720 = VERTEX_POINT ('', #4710);
#4730 = CARTESIAN_POINT ('', (33.4452467231981, 11., 29.7216025863761));
#4740 = DIRECTION ('', (0.270655118127195, 0., -3.8705485150081));
#4750 = VECTOR ('', #4740, 3.87999999999998);
#4760 = LINE ('', #4730, #4750);
#4770 = EDGE_CURVE ('', #4720, #4640, #4760, .T.);
#4780 = ORIENTED_EDGE ('', *, *, #4770, .F.);
#4790 = CARTESIAN_POINT ('', (31.9489006478084, 11., 29.6169678757599));
#4800 = VERTEX_POINT ('', #4790);
#4810 = CARTESIAN_POINT ('', (31.9489006478084, 11., 29.6169678757599));
#4820 = DIRECTION ('', (1.4963460753897, 0., 0.1046347106162));
#4830 = VECTOR ('', #4820, 1.49999999999997);
#4840 = LINE ('', #4810, #4830);
#4850 = EDGE_CURVE ('', #4800, #4720, #4840, .T.);
#4860 = ORIENTED_EDGE ('', *, *, #4850, .F.);
#4870 = CARTESIAN_POINT ('', (31.704752989704, 11., 33.1084420516693));
#4880 = VERTEX_POINT ('', #4870);
#4890 = CARTESIAN_POINT ('', (31.704752989704, 11., 33.1084420516693));
#4900 = DIRECTION ('', (0.244147658104399, 0., -3.4914741759094));
#4910 = VECTOR ('', #4900, 3.50000000000001);
#4920 = LINE ('', #4890, #4910);
#4930 = EDGE_CURVE ('', #4880, #4800, #4920, .T.);
#4940 = ORIENTED_EDGE ('', *, *, #4930, .F.);
#4950 = CARTESIAN_POINT ('', (61.5, 11., 35.1919286861685));
#4960 = VERTEX_POINT ('', #4950);
#4970 = CARTESIAN_POINT ('', (61.5, 11., 35.1919286861685));
#4980 = DIRECTION ('', (-29.795247010296, 0., -2.0834866344992));
#4990 = VECTOR ('', #4980, 29.8680039667985);
#5000 = LINE ('', #4970, #4990);
#5010 = EDGE_CURVE ('', #4960, #4880, #5000, .T.);
#5020 = ORIENTED_EDGE ('', *, *, #5010, .F.);
#5030 = CARTESIAN_POINT ('', (59.115461869021, 11., 37.5764668171475));
#5040 = VERTEX_POINT ('', #5030);
#5050 = CARTESIAN_POINT ('', (59.115461869021, 11., 37.5764668171475));
#5060 = DIRECTION ('', (2.384538130979, 0., -2.384538130979));
#5070 = VECTOR ('', #5060, 3.37224616482629);
#5080 = LINE ('', #5050, #5070);
#5090 = EDGE_CURVE ('', #5040, #4960, #5080, .T.);
#5100 = ORIENTED_EDGE ('', *, *, #5090, .F.);
#5110 = CARTESIAN_POINT ('', (58.0799279630882, 11., 38.371059930137));
#5120 = VERTEX_POINT ('', #5110);
#5130 = CARTESIAN_POINT ('', (55.5799279630885, 11., 34.0409329112151));
#5140 = DIRECTION ('', (0., -1., 0.));
#5150 = DIRECTION ('', (0.70710678118656, 0., 0.707106781186535));
#5160 = AXIS2_PLACEMENT_3D ('', #5130, #5140, #5150);
#5170 = CIRCLE ('', #5160, 4.99999999999961);
#5180 = EDGE_CURVE ('', #5040, #5120, #5170, .T.);
#5190 = ORIENTED_EDGE ('', *, *, #5180, .T.);
#5200 = CARTESIAN_POINT ('', (51.2226226147383, 11., 42.3301270189222));
#5210 = VERTEX_POINT ('', #5200);
#5220 = CARTESIAN_POINT ('', (51.2226226147383, 11., 42.3301270189222));
#5230 = DIRECTION ('', (6.8573053483499, 0., -3.9590670887852));
#5240 = VECTOR ('', #5230, 7.91813417757052);
#5250 = LINE ('', #5220, #5240);
#5260 = EDGE_CURVE ('', #5210, #5120, #5250, .T.);
#5270 = ORIENTED_EDGE ('', *, *, #5260, .F.);
#5280 = CARTESIAN_POINT ('', (48.7226226147383, 10.9999999999999, 38.));
#5290 = DIRECTION ('', (3.6247270057664E-15, -1., 1.22653842791459E-14));
#5300 = DIRECTION ('', (0.499999999999999, 1.24344978758018E-14, 0.866025403784439));
#5310 = AXIS2_PLACEMENT_3D ('', #5280, #5290, #5300);
#5320 = CIRCLE ('', #5310, 4.99999999999998);
#5330 = EDGE_CURVE ('', #5210, #4300, #5320, .T.);
#5340 = ORIENTED_EDGE ('', *, *, #5330, .T.);
#5350 = ORIENTED_EDGE ('', *, *, #4350, .F.);
#5360 = ORIENTED_EDGE ('', *, *, #3700, .F.);
#5370 = ORIENTED_EDGE ('', *, *, #3480, .F.);
#5380 = CARTESIAN_POINT ('', (58.8864817766692, 11., 5.09346611496997));
#5390 = VERTEX_POINT ('', #5380);
#5400 = CARTESIAN_POINT ('', (58.8864817766692, 11., 5.09346611496997));
#5410 = DIRECTION ('', (-28.8864817766692, 0., -5.09346611496998));
#5420 = VECTOR ('', #5410, 29.3321023197825);
#5430 = LINE ('', #5400, #5420);
#5440 = EDGE_CURVE ('', #5390, #3350, #5430, .T.);
#5450 = ORIENTED_EDGE ('', *, *, #5440, .F.);
#5460 = CARTESIAN_POINT ('', (57.1499999999999, 11., 14.9415436450921));
#5470 = DIRECTION ('', (0., -1., 0.));
#5480 = DIRECTION ('', (0.173648177666925, 0., -0.984807753012209));
#5490 = AXIS2_PLACEMENT_3D ('', #5460, #5470, #5480);
#5500 = CIRCLE ('', #5490, 10.0000000000001);
#5510 = EDGE_CURVE ('', #5390, #2550, #5500, .T.);
#5520 = ORIENTED_EDGE ('', *, *, #5510, .T.);
#5530 = ORIENTED_EDGE ('', *, *, #2600, .F.);
#5540 = EDGE_LOOP ('', (#4700, #4780, #4860, #4940, #5020, #5100, #5190, #5270, #5340, #5350, #5360, #5370, #5450, #5520, #5530));
#5550 = FACE_OUTER_BOUND ('', #5540, .F.);
#5560 = CARTESIAN_POINT ('', (-0.00100000000000477, 11., -0.00100000000000822));
#5570 = CARTESIAN_POINT ('', (-0.00100000000000477, 11., 43.001));
#5580 = CARTESIAN_POINT ('', (67.151, 11., -0.00100000000000822));
#5590 = CARTESIAN_POINT ('', (67.151, 11., 43.001));
#5600 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5560, #5570), (#5580, #5590)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-67.151, 0.00100000000000477), (-0.001, 43.001), .UNSPECIFIED.);
#5610 = ADVANCED_FACE ('', (#5550), #5600, .F.);
#5620 = CARTESIAN_POINT ('', (58.0799279630882, 8.5, 38.371059930137));
#5630 = VERTEX_POINT ('', #5620);
#5640 = CARTESIAN_POINT ('', (51.2226226147383, 8.5, 42.3301270189222));
#5650 = VERTEX_POINT ('', #5640);
#5660 = CARTESIAN_POINT ('', (58.0799279630882, 8.5, 38.371059930137));
#5670 = DIRECTION ('', (-6.8573053483499, 0., 3.9590670887852));
#5680 = VECTOR ('', #5670, 7.91813417757052);
#5690 = LINE ('', #5660, #5680);
#5700 = EDGE_CURVE ('', #5630, #5650, #5690, .T.);
#5710 = ORIENTED_EDGE ('', *, *, #5700, .F.);
#5720 = CARTESIAN_POINT ('', (59.115461869021, 8.5, 37.5764668171475));
#5730 = VERTEX_POINT ('', #5720);
#5740 = CARTESIAN_POINT ('', (55.5799279630885, 8.5, 34.0409329112151));
#5750 = DIRECTION ('', (0., 1., 0.));
#5760 = DIRECTION ('', (0.499999999999983, 0., 0.866025403784448));
#5770 = AXIS2_PLACEMENT_3D ('', #5740, #5750, #5760);
#5780 = CIRCLE ('', #5770, 4.99999999999961);
#5790 = EDGE_CURVE ('', #5630, #5730, #5780, .T.);
#5800 = ORIENTED_EDGE ('', *, *, #5790, .T.);
#5810 = CARTESIAN_POINT ('', (61.5, 8.5, 35.1919286861685));
#5820 = VERTEX_POINT ('', #5810);
#5830 = CARTESIAN_POINT ('', (61.5, 8.5, 35.1919286861685));
#5840 = DIRECTION ('', (-2.384538130979, 0., 2.384538130979));
#5850 = VECTOR ('', #5840, 3.37224616482629);
#5860 = LINE ('', #5830, #5850);
#5870 = EDGE_CURVE ('', #5820, #5730, #5860, .T.);
#5880 = ORIENTED_EDGE ('', *, *, #5870, .F.);
#5890 = CARTESIAN_POINT ('', (35.533391772972, 8.5, 33.3761665558665));
#5900 = VERTEX_POINT ('', #5890);
#5910 = CARTESIAN_POINT ('', (61.5, 8.5, 35.1919286861685));
#5920 = DIRECTION ('', (-25.966608227028, 0., -1.81576213030201));
#5930 = VECTOR ('', #5920, 26.0300160378321);
#5940 = LINE ('', #5910, #5930);
#5950 = EDGE_CURVE ('', #5820, #5900, #5940, .T.);
#5960 = ORIENTED_EDGE ('', *, *, #5950, .T.);
#5970 = CARTESIAN_POINT ('', (75.0000000000199, 8.5, 35.0000000000004));
#5980 = DIRECTION ('', (0., 1., 0.));
#5990 = DIRECTION ('', (-0.999154638658937, 0., -0.0411097074464062));
#6000 = AXIS2_PLACEMENT_3D ('', #5970, #5980, #5990);
#6010 = CIRCLE ('', #6000, 39.5000000000199);
#6020 = EDGE_CURVE ('', #5900, #20, #6010, .T.);
#6030 = ORIENTED_EDGE ('', *, *, #6020, .T.);
#6040 = ORIENTED_EDGE ('', *, *, #100, .T.);
#6050 = ORIENTED_EDGE ('', *, *, #4490, .T.);
#6060 = CARTESIAN_POINT ('', (48.7226226147384, 8.50000000000006, 38.0000000000001));
#6070 = DIRECTION ('', (3.03560876277424E-15, 1., 1.27897692436822E-14));
#6080 = DIRECTION ('', (-1.13686837721619E-14, -1.27897692436821E-14, 1.));
#6090 = AXIS2_PLACEMENT_3D ('', #6060, #6070, #6080);
#6100 = CIRCLE ('', #6090, 4.99999999999986);
#6110 = EDGE_CURVE ('', #4380, #5650, #6100, .T.);
#6120 = ORIENTED_EDGE ('', *, *, #6110, .T.);
#6130 = EDGE_LOOP ('', (#5710, #5800, #5880, #5960, #6030, #6040, #6050, #6120));
#6140 = FACE_OUTER_BOUND ('', #6130, .F.);
#6150 = CARTESIAN_POINT ('', (61.501, 8.5, 33.3751665558665));
#6160 = CARTESIAN_POINT ('', (61.501, 8.5, 43.001));
#6170 = CARTESIAN_POINT ('', (35.499, 8.5, 33.3751665558665));
#6180 = CARTESIAN_POINT ('', (35.499, 8.5, 43.001));
#6190 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6150, #6160), (#6170, #6180)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (13.499, 39.501), (-1.62483344413349, 8.00100000000003), .UNSPECIFIED.);
#6200 = ADVANCED_FACE ('', (#6140), #6190, .F.);
#6210 = ORIENTED_EDGE ('', *, *, #1330, .F.);
#6220 = CARTESIAN_POINT ('', (49.5989241773848, 7.5, 3.45581912533225));
#6230 = VERTEX_POINT ('', #6220);
#6240 = CARTESIAN_POINT ('', (75., 7.50000000000001, 35.));
#6250 = DIRECTION ('', (2.63163976207445E-16, -1., 1.09665907493795E-16));
#6260 = DIRECTION ('', (-1., -2.63163976207445E-16, 1.75442650804963E-16));
#6270 = AXIS2_PLACEMENT_3D ('', #6240, #6250, #6260);
#6280 = CIRCLE ('', #6270, 40.5);
#6290 = EDGE_CURVE ('', #130, #6230, #6280, .T.);
#6300 = ORIENTED_EDGE ('', *, *, #6290, .T.);
#6310 = CARTESIAN_POINT ('', (49.5989241773848, 7.5, 3.45581912533225));
#6320 = DIRECTION ('', (0., -7.5, 0.));
#6330 = VECTOR ('', #6320, 7.5);
#6340 = LINE ('', #6310, #6330);
#6350 = EDGE_CURVE ('', #6230, #2220, #6340, .T.);
#6360 = ORIENTED_EDGE ('', *, *, #6350, .T.);
#6370 = ORIENTED_EDGE ('', *, *, #2280, .F.);
#6380 = EDGE_LOOP ('', (#6210, #6300, #6360, #6370));
#6390 = FACE_OUTER_BOUND ('', #6380, .F.);
#6400 = CARTESIAN_POINT ('', (34.5, 8.2512, 35.));
#6410 = CARTESIAN_POINT ('', (34.5, -0.751199999999999, 35.));
#6420 = CARTESIAN_POINT ('', (34.5, 8.2512, -5.50000000000001));
#6430 = CARTESIAN_POINT ('', (34.5, -0.751199999999999, -5.50000000000001));
#6440 = CARTESIAN_POINT ('', (75., 8.2512, -5.50000000000001));
#6450 = CARTESIAN_POINT ('', (75., -0.751199999999997, -5.50000000000001));
#6460 = CARTESIAN_POINT ('', (115.5, 8.25120000000001, -5.50000000000001));
#6470 = CARTESIAN_POINT ('', (115.5, -0.751199999999996, -5.50000000000001));
#6480 = CARTESIAN_POINT ('', (115.5, 8.25120000000001, 35.));
#6490 = CARTESIAN_POINT ('', (115.5, -0.751199999999995, 35.));
#6500 = CARTESIAN_POINT ('', (115.5, 8.25120000000001, 75.5));
#6510 = CARTESIAN_POINT ('', (115.5, -0.751199999999996, 75.5));
#6520 = CARTESIAN_POINT ('', (75., 8.2512, 75.5));
#6530 = CARTESIAN_POINT ('', (75., -0.751199999999997, 75.5));
#6540 = CARTESIAN_POINT ('', (34.5, 8.2512, 75.5));
#6550 = CARTESIAN_POINT ('', (34.5, -0.751199999999999, 75.5));
#6560 = CARTESIAN_POINT ('', (34.5, 8.2512, 35.));
#6570 = CARTESIAN_POINT ('', (34.5, -0.751199999999999, 35.));
#6580 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6400, #6410), (#6420, #6430), (#6440, #6450), (#6460, #6470), (#6480, #6490), (#6500, #6510), (#6520, #6530), (#6540, #6550), (#6560, #6570)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#6590 = ADVANCED_FACE ('', (#6390), #6580, .F.);
#6600 = ORIENTED_EDGE ('', *, *, #190, .F.);
#6610 = ORIENTED_EDGE ('', *, *, #6020, .F.);
#6620 = CARTESIAN_POINT ('', (34.6187413021231, 7.9, 33.3122079643974));
#6630 = VERTEX_POINT ('', #6620);
#6640 = CARTESIAN_POINT ('', (35.533391772972, 8.5, 33.3761665558665));
#6650 = CARTESIAN_POINT ('', (35.3387657180548, 8.5, 33.362556976325));
#6660 = CARTESIAN_POINT ('', (35.1481244519757, 8.44240794681805, 33.3492260403632));
#6670 = CARTESIAN_POINT ('', (34.8260999439871, 8.23134573277113, 33.3267078931519));
#6680 = CARTESIAN_POINT ('', (34.6955315187356, 8.07630879977868, 33.3175776594336));
#6690 = CARTESIAN_POINT ('', (34.6187413021231, 7.9, 33.3122079643974));
#6700 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6640, #6650, #6660, #6670, #6680, #6690), .UNSPECIFIED., .F., .U., (4, 2, 4), (0.0010071683365006, 0.00158414009399527, 0.00216111185148993), .UNSPECIFIED.);
#6710 = EDGE_CURVE ('', #5900, #6630, #6700, .T.);
#6720 = ORIENTED_EDGE ('', *, *, #6710, .T.);
#6730 = CARTESIAN_POINT ('', (35.6021877005107, 7.9, 25.9829560279149));
#6740 = VERTEX_POINT ('', #6730);
#6750 = CARTESIAN_POINT ('', (75.0000000000003, 7.89999999999987, 34.9999999999998));
#6760 = DIRECTION ('', (3.1787211115653E-15, 1., 5.90833315944444E-16));
#6770 = DIRECTION ('', (-0.974794886793219, 3.23041774499652E-15, -0.223102955340793));
#6780 = AXIS2_PLACEMENT_3D ('', #6750, #6760, #6770);
#6790 = CIRCLE ('', #6780, 40.4165151389915);
#6800 = EDGE_CURVE ('', #6740, #6630, #6790, .T.);
#6810 = ORIENTED_EDGE ('', *, *, #6800, .F.);
#6820 = CARTESIAN_POINT ('', (36.5278535283167, 8.5, 26.0476848881784));
#6830 = CARTESIAN_POINT ('', (36.4297709347727, 8.5, 26.0408262851048));
#6840 = CARTESIAN_POINT ('', (36.3341379090876, 8.48615411062579, 26.0341389725021));
#6850 = CARTESIAN_POINT ('', (36.1476498746569, 8.43145516254137, 26.0210984587887));
#6860 = CARTESIAN_POINT ('', (36.0579768619174, 8.39044430516768, 26.0148279108905));
#6870 = CARTESIAN_POINT ('', (35.81357462672, 8.23279831794472, 25.9977376417513));
#6880 = CARTESIAN_POINT ('', (35.6804010240777, 8.07748807020081, 25.9884252362835));
#6890 = CARTESIAN_POINT ('', (35.6021877005107, 7.9, 25.9829560279149));
#6900 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6820, #6830, #6840, #6850, #6860, #6870, #6880, #6890), .UNSPECIFIED., .F., .U., (4, 2, 2, 4), (0.0010029637686458, 0.0012933603521083, 0.00158375693557081, 0.00216455010249583), .UNSPECIFIED.);
#6910 = EDGE_CURVE ('', #2930, #6740, #6900, .T.);
#6920 = ORIENTED_EDGE ('', *, *, #6910, .F.);
#6930 = ORIENTED_EDGE ('', *, *, #3230, .F.);
#6940 = CARTESIAN_POINT ('', (50.9198331651291, 8.5000000000027, 3.68873101893187));
#6950 = CARTESIAN_POINT ('', (50.7685062794729, 8.49999999999998, 3.6620480060841));
#6960 = CARTESIAN_POINT ('', (50.6156836274046, 8.48051403011943, 3.63510124926105));
#6970 = CARTESIAN_POINT ('', (50.3253094636816, 8.40183468189396, 3.58390044969602));
#6980 = CARTESIAN_POINT ('', (50.1829173585222, 8.34138626093376, 3.55879287971654));
#6990 = CARTESIAN_POINT ('', (49.9278344744099, 8.17472305937668, 3.5138148849306));
#7000 = CARTESIAN_POINT ('', (49.8133518432412, 8.06688374105639, 3.49362850823307));
#7010 = CARTESIAN_POINT ('', (49.6483010854922, 7.80797042574628, 3.46452560645555));
#7020 = CARTESIAN_POINT ('', (49.5989241773848, 7.65545772344393, 3.45581912533225));
#7030 = CARTESIAN_POINT ('', (49.5989241773848, 7.5, 3.45581912533225));
#7040 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6940, #6950, #6960, #6970, #6980, #6990, #7000, #7010, #7020, #7030), .UNSPECIFIED., .F., .U., (4, 2, 2, 2, 4), (0.0020461212105065, 0.00250793071943631, 0.00296974022836613, 0.00343154973729594, 0.00389335924622575), .UNSPECIFIED.);
#7050 = EDGE_CURVE ('', #3110, #6230, #7040, .T.);
#7060 = ORIENTED_EDGE ('', *, *, #7050, .T.);
#7070 = ORIENTED_EDGE ('', *, *, #6290, .F.);
#7080 = EDGE_LOOP ('', (#6600, #6610, #6720, #6810, #6920, #6930, #7060, #7070));
#7090 = FACE_OUTER_BOUND ('', #7080, .F.);
#7100 = CARTESIAN_POINT ('', (34.5, 7.5, 35.));
#7110 = CARTESIAN_POINT ('', (34.5, 6.5, 35.));
#7120 = CARTESIAN_POINT ('', (35.5, 6.5, 35.));
#7130 = CARTESIAN_POINT ('', (36.5, 6.5, 35.));
#7140 = CARTESIAN_POINT ('', (36.5, 7.5, 35.));
#7150 = CARTESIAN_POINT ('', (36.5, 8.5, 35.));
#7160 = CARTESIAN_POINT ('', (35.5, 8.5, 35.));
#7170 = CARTESIAN_POINT ('', (34.5, 8.5, 35.));
#7180 = CARTESIAN_POINT ('', (34.5, 7.5, 35.));
#7190 = CARTESIAN_POINT ('', (34.5, 7.49999999999999, -5.49999999999998));
#7200 = CARTESIAN_POINT ('', (34.5, 6.49999999999999, -5.49999999999998));
#7210 = CARTESIAN_POINT ('', (35.5, 6.49999999999999, -4.49999999999998));
#7220 = CARTESIAN_POINT ('', (36.5, 6.5, -3.49999999999998));
#7230 = CARTESIAN_POINT ('', (36.5, 7.5, -3.49999999999998));
#7240 = CARTESIAN_POINT ('', (36.5, 8.49999999999999, -3.49999999999998));
#7250 = CARTESIAN_POINT ('', (35.5, 8.49999999999999, -4.49999999999998));
#7260 = CARTESIAN_POINT ('', (34.5, 8.49999999999999, -5.49999999999998));
#7270 = CARTESIAN_POINT ('', (34.5, 7.49999999999999, -5.49999999999998));
#7280 = CARTESIAN_POINT ('', (75., 7.5, -5.49999999999998));
#7290 = CARTESIAN_POINT ('', (75., 6.5, -5.49999999999998));
#7300 = CARTESIAN_POINT ('', (75., 6.5, -4.49999999999998));
#7310 = CARTESIAN_POINT ('', (75., 6.5, -3.49999999999998));
#7320 = CARTESIAN_POINT ('', (75., 7.5, -3.49999999999998));
#7330 = CARTESIAN_POINT ('', (75., 8.5, -3.49999999999998));
#7340 = CARTESIAN_POINT ('', (75., 8.5, -4.49999999999998));
#7350 = CARTESIAN_POINT ('', (75., 8.5, -5.49999999999998));
#7360 = CARTESIAN_POINT ('', (75., 7.5, -5.49999999999998));
#7370 = CARTESIAN_POINT ('', (115.5, 7.50000000000001, -5.49999999999998));
#7380 = CARTESIAN_POINT ('', (115.5, 6.50000000000001, -5.49999999999998));
#7390 = CARTESIAN_POINT ('', (114.5, 6.50000000000001, -4.49999999999998));
#7400 = CARTESIAN_POINT ('', (113.5, 6.50000000000001, -3.49999999999998));
#7410 = CARTESIAN_POINT ('', (113.5, 7.50000000000001, -3.49999999999998));
#7420 = CARTESIAN_POINT ('', (113.5, 8.50000000000001, -3.49999999999998));
#7430 = CARTESIAN_POINT ('', (114.5, 8.50000000000001, -4.49999999999998));
#7440 = CARTESIAN_POINT ('', (115.5, 8.50000000000001, -5.49999999999998));
#7450 = CARTESIAN_POINT ('', (115.5, 7.50000000000001, -5.49999999999998));
#7460 = CARTESIAN_POINT ('', (115.5, 7.50000000000001, 35.));
#7470 = CARTESIAN_POINT ('', (115.5, 6.50000000000001, 35.));
#7480 = CARTESIAN_POINT ('', (114.5, 6.50000000000001, 35.));
#7490 = CARTESIAN_POINT ('', (113.5, 6.50000000000001, 35.));
#7500 = CARTESIAN_POINT ('', (113.5, 7.50000000000001, 35.));
#7510 = CARTESIAN_POINT ('', (113.5, 8.50000000000001, 35.));
#7520 = CARTESIAN_POINT ('', (114.5, 8.50000000000001, 35.));
#7530 = CARTESIAN_POINT ('', (115.5, 8.50000000000001, 35.));
#7540 = CARTESIAN_POINT ('', (115.5, 7.50000000000001, 35.));
#7550 = CARTESIAN_POINT ('', (115.5, 7.50000000000002, 75.5));
#7560 = CARTESIAN_POINT ('', (115.5, 6.50000000000002, 75.5));
#7570 = CARTESIAN_POINT ('', (114.5, 6.50000000000002, 74.5));
#7580 = CARTESIAN_POINT ('', (113.5, 6.50000000000002, 73.5));
#7590 = CARTESIAN_POINT ('', (113.5, 7.50000000000002, 73.5));
#7600 = CARTESIAN_POINT ('', (113.5, 8.50000000000002, 73.5));
#7610 = CARTESIAN_POINT ('', (114.5, 8.50000000000002, 74.5));
#7620 = CARTESIAN_POINT ('', (115.5, 8.50000000000002, 75.5));
#7630 = CARTESIAN_POINT ('', (115.5, 7.50000000000002, 75.5));
#7640 = CARTESIAN_POINT ('', (75., 7.50000000000001, 75.5));
#7650 = CARTESIAN_POINT ('', (75., 6.50000000000001, 75.5));
#7660 = CARTESIAN_POINT ('', (75., 6.50000000000001, 74.5));
#7670 = CARTESIAN_POINT ('', (75., 6.50000000000001, 73.5));
#7680 = CARTESIAN_POINT ('', (75., 7.50000000000001, 73.5));
#7690 = CARTESIAN_POINT ('', (75., 8.50000000000001, 73.5));
#7700 = CARTESIAN_POINT ('', (75., 8.50000000000001, 74.5));
#7710 = CARTESIAN_POINT ('', (75., 8.50000000000001, 75.5));
#7720 = CARTESIAN_POINT ('', (75., 7.50000000000001, 75.5));
#7730 = CARTESIAN_POINT ('', (34.5, 7.5, 75.5));
#7740 = CARTESIAN_POINT ('', (34.5, 6.50000000000001, 75.5));
#7750 = CARTESIAN_POINT ('', (35.5, 6.50000000000001, 74.5));
#7760 = CARTESIAN_POINT ('', (36.5, 6.5, 73.5));
#7770 = CARTESIAN_POINT ('', (36.5, 7.5, 73.5));
#7780 = CARTESIAN_POINT ('', (36.5, 8.50000000000001, 73.5));
#7790 = CARTESIAN_POINT ('', (35.5, 8.50000000000001, 74.5));
#7800 = CARTESIAN_POINT ('', (34.5, 8.50000000000001, 75.5));
#7810 = CARTESIAN_POINT ('', (34.5, 7.5, 75.5));
#7820 = CARTESIAN_POINT ('', (34.5, 7.5, 35.));
#7830 = CARTESIAN_POINT ('', (34.5, 6.5, 35.));
#7840 = CARTESIAN_POINT ('', (35.5, 6.5, 35.));
#7850 = CARTESIAN_POINT ('', (36.5, 6.5, 35.));
#7860 = CARTESIAN_POINT ('', (36.5, 7.5, 35.));
#7870 = CARTESIAN_POINT ('', (36.5, 8.5, 35.));
#7880 = CARTESIAN_POINT ('', (35.5, 8.5, 35.));
#7890 = CARTESIAN_POINT ('', (34.5, 8.5, 35.));
#7900 = CARTESIAN_POINT ('', (34.5, 7.5, 35.));
#7910 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 2, ((#7100, #7110, #7120, #7130, #7140, #7150, #7160, #7170, #7180), (#7190, #7200, #7210, #7220, #7230, #7240, #7250, #7260, #7270), (#7280, #7290, #7300, #7310, #7320, #7330, #7340, #7350, #7360), (#7370, #7380, #7390, #7400, #7410, #7420, #7430, #7440, #7450), (#7460, #7470, #7480, #7490, #7500, #7510, #7520, #7530, #7540), (#7550, #7560, #7570, #7580, #7590, #7600, #7610, #7620, #7630), (#7640, #7650, #7660, #7670, #7680, #7690, #7700, #7710, #7720), (#7730, #7740, #7750, #7760, #7770, #7780, #7790, #7800, #7810), (#7820, #7830, #7840, #7850, #7860, #7870, #7880, #7890, #7900)), .UNSPECIFIED., .T., .T., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.)))
   REPRESENTATION_ITEM ('')
);
#7920 = ADVANCED_FACE ('', (#7090), #7910, .F.);
#7930 = ORIENTED_EDGE ('', *, *, #6800, .T.);
#7940 = CARTESIAN_POINT ('', (31.704752989704, 7.9, 33.1084420516693));
#7950 = VERTEX_POINT ('', #7940);
#7960 = CARTESIAN_POINT ('', (31.704752989704, 7.9, 33.1084420516693));
#7970 = DIRECTION ('', (2.9139883124191, 0., 0.203765912728102));
#7980 = VECTOR ('', #7970, 2.92110397488775);
#7990 = LINE ('', #7960, #7980);
#8000 = EDGE_CURVE ('', #7950, #6630, #7990, .T.);
#8010 = ORIENTED_EDGE ('', *, *, #8000, .F.);
#8020 = CARTESIAN_POINT ('', (31.9489006478084, 7.9, 29.6169678757599));
#8030 = VERTEX_POINT ('', #8020);
#8040 = CARTESIAN_POINT ('', (31.704752989704, 7.9, 33.1084420516693));
#8050 = DIRECTION ('', (0.244147658104399, 0., -3.4914741759094));
#8060 = VECTOR ('', #8050, 3.50000000000001);
#8070 = LINE ('', #8040, #8060);
#8080 = EDGE_CURVE ('', #7950, #8030, #8070, .T.);
#8090 = ORIENTED_EDGE ('', *, *, #8080, .T.);
#8100 = CARTESIAN_POINT ('', (33.4452467231981, 7.9, 29.7216025863761));
#8110 = VERTEX_POINT ('', #8100);
#8120 = CARTESIAN_POINT ('', (31.9489006478084, 7.9, 29.6169678757599));
#8130 = DIRECTION ('', (1.4963460753897, 0., 0.1046347106162));
#8140 = VECTOR ('', #8130, 1.49999999999997);
#8150 = LINE ('', #8120, #8140);
#8160 = EDGE_CURVE ('', #8030, #8110, #8150, .T.);
#8170 = ORIENTED_EDGE ('', *, *, #8160, .T.);
#8180 = CARTESIAN_POINT ('', (33.7159018413253, 7.9, 25.851054071368));
#8190 = VERTEX_POINT ('', #8180);
#8200 = CARTESIAN_POINT ('', (33.4452467231981, 7.9, 29.7216025863761));
#8210 = DIRECTION ('', (0.270655118127195, 0., -3.8705485150081));
#8220 = VECTOR ('', #8210, 3.87999999999998);
#8230 = LINE ('', #8200, #8220);
#8240 = EDGE_CURVE ('', #8110, #8190, #8230, .T.);
#8250 = ORIENTED_EDGE ('', *, *, #8240, .T.);
#8260 = CARTESIAN_POINT ('', (33.7159018413253, 7.9, 25.851054071368));
#8270 = DIRECTION ('', (1.8862858591854, 0., 0.131901956546898));
#8280 = VECTOR ('', #8270, 1.89089197700548);
#8290 = LINE ('', #8260, #8280);
#8300 = EDGE_CURVE ('', #8190, #6740, #8290, .T.);
#8310 = ORIENTED_EDGE ('', *, *, #8300, .T.);
#8320 = EDGE_LOOP ('', (#7930, #8010, #8090, #8170, #8250, #8310));
#8330 = FACE_OUTER_BOUND ('', #8320, .F.);
#8340 = CARTESIAN_POINT ('', (31.703752989704, 7.9, 25.850054071368));
#8350 = CARTESIAN_POINT ('', (31.703752989704, 7.9, 33.3132079643974));
#8360 = CARTESIAN_POINT ('', (35.6031877005107, 7.9, 25.850054071368));
#8370 = CARTESIAN_POINT ('', (35.6031877005107, 7.9, 33.3132079643974));
#8380 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8340, #8350), (#8360, #8370)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-24.8581897925671, -20.9587550817603), (-2.80148108622847, 4.66167280680097), .UNSPECIFIED.);
#8390 = ADVANCED_FACE ('', (#8330), #8380, .F.);
#8400 = ORIENTED_EDGE ('', *, *, #8300, .F.);
#8410 = CARTESIAN_POINT ('', (33.7159018413253, 11., 25.851054071368));
#8420 = DIRECTION ('', (0., -3.1, 0.));
#8430 = VECTOR ('', #8420, 3.1);
#8440 = LINE ('', #8410, #8430);
#8450 = EDGE_CURVE ('', #4640, #8190, #8440, .T.);
#8460 = ORIENTED_EDGE ('', *, *, #8450, .F.);
#8470 = ORIENTED_EDGE ('', *, *, #4690, .T.);
#8480 = ORIENTED_EDGE ('', *, *, #2820, .F.);
#8490 = ORIENTED_EDGE ('', *, *, #2980, .T.);
#8500 = ORIENTED_EDGE ('', *, *, #6910, .T.);
#8510 = EDGE_LOOP ('', (#8400, #8460, #8470, #8480, #8490, #8500));
#8520 = FACE_OUTER_BOUND ('', #8510, .F.);
#8530 = CARTESIAN_POINT ('', (33.7148371207404, 11.001, 25.8509796188519));
#8540 = CARTESIAN_POINT ('', (33.7148371207404, 7.899, 25.8509796188519));
#8550 = CARTESIAN_POINT ('', (67.1510647205848, 11.001, 28.1890684183263));
#8560 = CARTESIAN_POINT ('', (67.1510647205848, 7.899, 28.1890684183263));
#8570 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8530, #8540), (#8550, #8560)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-20.181067320524, 13.3368081393381), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#8580 = ADVANCED_FACE ('', (#8520), #8570, .F.);
#8590 = ORIENTED_EDGE ('', *, *, #4770, .T.);
#8600 = ORIENTED_EDGE ('', *, *, #8450, .T.);
#8610 = ORIENTED_EDGE ('', *, *, #8240, .F.);
#8620 = CARTESIAN_POINT ('', (33.4452467231981, 7.9, 29.7216025863761));
#8630 = DIRECTION ('', (0., 3.1, 0.));
#8640 = VECTOR ('', #8630, 3.1);
#8650 = LINE ('', #8620, #8640);
#8660 = EDGE_CURVE ('', #8110, #4720, #8650, .T.);
#8670 = ORIENTED_EDGE ('', *, *, #8660, .T.);
#8680 = EDGE_LOOP ('', (#8590, #8600, #8610, #8670));
#8690 = FACE_OUTER_BOUND ('', #8680, .F.);
#8700 = CARTESIAN_POINT ('', (33.445172270682, 11.001, 29.7226673069609));
#8710 = CARTESIAN_POINT ('', (33.445172270682, 7.899, 29.7226673069609));
#8720 = CARTESIAN_POINT ('', (33.7159762938414, 11.001, 25.8499893507831));
#8730 = CARTESIAN_POINT ('', (33.7159762938414, 7.899, 25.8499893507831));
#8740 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8700, #8710), (#8720, #8730)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.448932679476005, 4.33106732052399), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#8750 = ADVANCED_FACE ('', (#8690), #8740, .F.);
#8760 = ORIENTED_EDGE ('', *, *, #4850, .T.);
#8770 = ORIENTED_EDGE ('', *, *, #8660, .F.);
#8780 = ORIENTED_EDGE ('', *, *, #8160, .F.);
#8790 = CARTESIAN_POINT ('', (31.9489006478084, 11., 29.6169678757599));
#8800 = DIRECTION ('', (0., -3.1, 0.));
#8810 = VECTOR ('', #8800, 3.1);
#8820 = LINE ('', #8790, #8810);
#8830 = EDGE_CURVE ('', #4800, #8030, #8820, .T.);
#8840 = ORIENTED_EDGE ('', *, *, #8830, .F.);
#8850 = EDGE_LOOP ('', (#8760, #8770, #8780, #8840));
#8860 = FACE_OUTER_BOUND ('', #8850, .F.);
#8870 = CARTESIAN_POINT ('', (31.9478359272235, 11.001, 29.6168934232438));
#8880 = CARTESIAN_POINT ('', (31.9478359272235, 7.899, 29.6168934232438));
#8890 = CARTESIAN_POINT ('', (33.4463114437829, 11.001, 29.7216770388922));
#8900 = CARTESIAN_POINT ('', (33.4463114437829, 7.899, 29.7216770388922));
#8910 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8870, #8880), (#8890, #8900)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.201067320523997, 1.30106732052398), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#8920 = ADVANCED_FACE ('', (#8860), #8910, .F.);
#8930 = ORIENTED_EDGE ('', *, *, #4930, .T.);
#8940 = ORIENTED_EDGE ('', *, *, #8830, .T.);
#8950 = ORIENTED_EDGE ('', *, *, #8080, .F.);
#8960 = CARTESIAN_POINT ('', (31.704752989704, 11., 33.1084420516693));
#8970 = DIRECTION ('', (0., -3.1, 0.));
#8980 = VECTOR ('', #8970, 3.1);
#8990 = LINE ('', #8960, #8980);
#9000 = EDGE_CURVE ('', #4880, #7950, #8990, .T.);
#9010 = ORIENTED_EDGE ('', *, *, #9000, .F.);
#9020 = EDGE_LOOP ('', (#8930, #8940, #8950, #9010));
#9030 = FACE_OUTER_BOUND ('', #9020, .F.);
#9040 = CARTESIAN_POINT ('', (31.7046785371878, 11.001, 33.1095067722542));
#9050 = CARTESIAN_POINT ('', (31.7046785371878, 7.899, 33.1095067722542));
#9060 = CARTESIAN_POINT ('', (31.9489751003245, 11.001, 29.615903155175));
#9070 = CARTESIAN_POINT ('', (31.9489751003245, 7.899, 29.615903155175));
#9080 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9040, #9050), (#9060, #9070)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.70106732052403, 0.801067320524016), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#9090 = ADVANCED_FACE ('', (#9030), #9080, .F.);
#9100 = ORIENTED_EDGE ('', *, *, #5010, .T.);
#9110 = ORIENTED_EDGE ('', *, *, #9000, .T.);
#9120 = ORIENTED_EDGE ('', *, *, #8000, .T.);
#9130 = ORIENTED_EDGE ('', *, *, #6710, .F.);
#9140 = ORIENTED_EDGE ('', *, *, #5950, .F.);
#9150 = CARTESIAN_POINT ('', (61.5, 8.5, 35.1919286861685));
#9160 = DIRECTION ('', (0., 2.5, 0.));
#9170 = VECTOR ('', #9160, 2.5);
#9180 = LINE ('', #9150, #9170);
#9190 = EDGE_CURVE ('', #5820, #4960, #9180, .T.);
#9200 = ORIENTED_EDGE ('', *, *, #9190, .T.);
#9210 = EDGE_LOOP ('', (#9100, #9110, #9120, #9130, #9140, #9200));
#9220 = FACE_OUTER_BOUND ('', #9210, .F.);
#9230 = CARTESIAN_POINT ('', (61.5010647205848, 11.001, 35.1920031386846));
#9240 = CARTESIAN_POINT ('', (61.5010647205848, 7.899, 35.1920031386846));
#9250 = CARTESIAN_POINT ('', (31.7036882691191, 11.001, 33.1083675991532));
#9260 = CARTESIAN_POINT ('', (31.7036882691191, 7.899, 33.1083675991532));
#9270 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9230, #9240), (#9250, #9260)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-5.22576239712021, 24.6443762107263), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#9280 = ADVANCED_FACE ('', (#9220), #9270, .F.);
#9290 = ORIENTED_EDGE ('', *, *, #5870, .T.);
#9300 = CARTESIAN_POINT ('', (59.115461869021, 8.5, 37.5764668171475));
#9310 = DIRECTION ('', (0., 2.5, 0.));
#9320 = VECTOR ('', #9310, 2.5);
#9330 = LINE ('', #9300, #9320);
#9340 = EDGE_CURVE ('', #5730, #5040, #9330, .T.);
#9350 = ORIENTED_EDGE ('', *, *, #9340, .T.);
#9360 = ORIENTED_EDGE ('', *, *, #5090, .T.);
#9370 = ORIENTED_EDGE ('', *, *, #9190, .F.);
#9380 = EDGE_LOOP ('', (#9290, #9350, #9360, #9370));
#9390 = FACE_OUTER_BOUND ('', #9380, .F.);
#9400 = CARTESIAN_POINT ('', (59.114461869021, 11.001, 37.5774668171475));
#9410 = CARTESIAN_POINT ('', (59.114461869021, 8.499, 37.5774668171475));
#9420 = CARTESIAN_POINT ('', (61.501, 11.001, 35.1909286861685));
#9430 = CARTESIAN_POINT ('', (61.501, 8.499, 35.1909286861685));
#9440 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9400, #9410), (#9420, #9430)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141421356237004, 3.37366037838865), (-3.001, -0.499000000000001), .UNSPECIFIED.);
#9450 = ADVANCED_FACE ('', (#9390), #9440, .F.);
#9460 = ORIENTED_EDGE ('', *, *, #5260, .T.);
#9470 = CARTESIAN_POINT ('', (58.0799279630882, 11., 38.371059930137));
#9480 = DIRECTION ('', (0., -2.5, 0.));
#9490 = VECTOR ('', #9480, 2.5);
#9500 = LINE ('', #9470, #9490);
#9510 = EDGE_CURVE ('', #5120, #5630, #9500, .T.);
#9520 = ORIENTED_EDGE ('', *, *, #9510, .T.);
#9530 = ORIENTED_EDGE ('', *, *, #5700, .T.);
#9540 = CARTESIAN_POINT ('', (51.2226226147383, 8.5, 42.3301270189222));
#9550 = DIRECTION ('', (0., 2.5, 0.));
#9560 = VECTOR ('', #9550, 2.5);
#9570 = LINE ('', #9540, #9560);
#9580 = EDGE_CURVE ('', #5650, #5210, #9570, .T.);
#9590 = ORIENTED_EDGE ('', *, *, #9580, .T.);
#9600 = EDGE_LOOP ('', (#9460, #9520, #9530, #9590));
#9610 = FACE_OUTER_BOUND ('', #9600, .F.);
#9620 = CARTESIAN_POINT ('', (51.2214396020364, 11.001, 42.3308100316241));
#9630 = CARTESIAN_POINT ('', (51.2214396020364, 8.499, 42.3308100316241));
#9640 = CARTESIAN_POINT ('', (58.0811109757901, 11.001, 38.3703769174351));
#9650 = CARTESIAN_POINT ('', (58.0811109757901, 8.499, 38.3703769174351));
#9660 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9620, #9630), (#9640, #9650)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.656896462533215, 8.57776269091131), (-3.001, -0.499000000000001), .UNSPECIFIED.);
#9670 = ADVANCED_FACE ('', (#9610), #9660, .F.);
#9680 = ORIENTED_EDGE ('', *, *, #1960, .T.);
#9690 = CARTESIAN_POINT ('', (30., -0.299999999999999, 20.));
#9700 = VERTEX_POINT ('', #9690);
#9710 = CARTESIAN_POINT ('', (30., -0.299999999999995, 19.7));
#9720 = DIRECTION ('', (1., 0., 0.));
#9730 = DIRECTION ('', (0., 1., 0.));
#9740 = AXIS2_PLACEMENT_3D ('', #9710, #9720, #9730);
#9750 = CIRCLE ('', #9740, 0.3);
#9760 = EDGE_CURVE ('', #1830, #9700, #9750, .T.);
#9770 = ORIENTED_EDGE ('', *, *, #9760, .T.);
#9780 = CARTESIAN_POINT ('', (30., -2.5, 20.));
#9790 = VERTEX_POINT ('', #9780);
#9800 = CARTESIAN_POINT ('', (30., -2.5, 20.));
#9810 = DIRECTION ('', (0., 2.2, 0.));
#9820 = VECTOR ('', #9810, 2.2);
#9830 = LINE ('', #9800, #9820);
#9840 = EDGE_CURVE ('', #9790, #9700, #9830, .T.);
#9850 = ORIENTED_EDGE ('', *, *, #9840, .F.);
#9860 = CARTESIAN_POINT ('', (30., -2.5, 27.));
#9870 = VERTEX_POINT ('', #9860);
#9880 = CARTESIAN_POINT ('', (30., -2.5, 27.));
#9890 = DIRECTION ('', (0., 0., -7.));
#9900 = VECTOR ('', #9890, 7.);
#9910 = LINE ('', #9880, #9900);
#9920 = EDGE_CURVE ('', #9870, #9790, #9910, .T.);
#9930 = ORIENTED_EDGE ('', *, *, #9920, .F.);
#9940 = CARTESIAN_POINT ('', (30., -0.299999999999999, 27.));
#9950 = VERTEX_POINT ('', #9940);
#9960 = CARTESIAN_POINT ('', (30., -2.5, 27.));
#9970 = DIRECTION ('', (0., 2.2, 0.));
#9980 = VECTOR ('', #9970, 2.2);
#9990 = LINE ('', #9960, #9980);
#10000 = EDGE_CURVE ('', #9870, #9950, #9990, .T.);
#10010 = ORIENTED_EDGE ('', *, *, #10000, .T.);
#10020 = CARTESIAN_POINT ('', (30., -0.299999999999996, 27.3));
#10030 = DIRECTION ('', (1., 0., 0.));
#10040 = DIRECTION ('', (0., -1.01770443923972E-14, -1.));
#10050 = AXIS2_PLACEMENT_3D ('', #10020, #10030, #10040);
#10060 = CIRCLE ('', #10050, 0.299999999999999);
#10070 = EDGE_CURVE ('', #9950, #1910, #10060, .T.);
#10080 = ORIENTED_EDGE ('', *, *, #10070, .T.);
#10090 = EDGE_LOOP ('', (#9680, #9770, #9850, #9930, #10010, #10080));
#10100 = FACE_OUTER_BOUND ('', #10090, .F.);
#10110 = CARTESIAN_POINT ('', (30., 0.001000000000003, 27.301));
#10120 = CARTESIAN_POINT ('', (30., -2.501, 27.301));
#10130 = CARTESIAN_POINT ('', (30., 0.001000000000003, 19.699));
#10140 = CARTESIAN_POINT ('', (30., -2.501, 19.699));
#10150 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10110, #10120), (#10130, #10140)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-7.301, 0.301000000000002), (-2.501, 0.000999999999999446), .UNSPECIFIED.);
#10160 = ADVANCED_FACE ('', (#10100), #10150, .F.);
#10170 = ORIENTED_EDGE ('', *, *, #9840, .T.);
#10180 = CARTESIAN_POINT ('', (30., -0.299999999999999, 20.));
#10190 = DIRECTION ('', (-30., -1.99840144432528E-15, 0.));
#10200 = VECTOR ('', #10190, 30.);
#10210 = LINE ('', #10180, #10200);
#10220 = EDGE_CURVE ('', #9700, #4050, #10210, .T.);
#10230 = ORIENTED_EDGE ('', *, *, #10220, .T.);
#10240 = ORIENTED_EDGE ('', *, *, #4100, .F.);
#10250 = CARTESIAN_POINT ('', (30., -2.5, 20.));
#10260 = DIRECTION ('', (-30., 0., 0.));
#10270 = VECTOR ('', #10260, 30.);
#10280 = LINE ('', #10250, #10270);
#10290 = EDGE_CURVE ('', #9790, #3970, #10280, .T.);
#10300 = ORIENTED_EDGE ('', *, *, #10290, .F.);
#10310 = EDGE_LOOP ('', (#10170, #10230, #10240, #10300));
#10320 = FACE_OUTER_BOUND ('', #10310, .F.);
#10330 = CARTESIAN_POINT ('', (30.001, -0.298999999999998, 20.));
#10340 = CARTESIAN_POINT ('', (30.001, -2.501, 20.));
#10350 = CARTESIAN_POINT ('', (-0.000999999999997667, -0.298999999999999, 20.));
#10360 = CARTESIAN_POINT ('', (-0.000999999999997667, -2.501, 20.));
#10370 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10330, #10340), (#10350, #10360)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-30.001, 0.00100000000000122), (-2.201, 0.000999999999999446), .UNSPECIFIED.);
#10380 = ADVANCED_FACE ('', (#10320), #10370, .F.);
#10390 = ORIENTED_EDGE ('', *, *, #3940, .T.);
#10400 = CARTESIAN_POINT ('', (-9.61347737330673E-16, -0.300000000000001, 27.));
#10410 = DIRECTION ('', (30., 1.99840144432528E-15, 0.));
#10420 = VECTOR ('', #10410, 30.);
#10430 = LINE ('', #10400, #10420);
#10440 = EDGE_CURVE ('', #3800, #9950, #10430, .T.);
#10450 = ORIENTED_EDGE ('', *, *, #10440, .T.);
#10460 = ORIENTED_EDGE ('', *, *, #10000, .F.);
#10470 = CARTESIAN_POINT ('', (-8.26636589424464E-16, -2.5, 27.));
#10480 = DIRECTION ('', (30., 0., 0.));
#10490 = VECTOR ('', #10480, 30.);
#10500 = LINE ('', #10470, #10490);
#10510 = EDGE_CURVE ('', #3890, #9870, #10500, .T.);
#10520 = ORIENTED_EDGE ('', *, *, #10510, .F.);
#10530 = EDGE_LOOP ('', (#10390, #10450, #10460, #10520));
#10540 = FACE_OUTER_BOUND ('', #10530, .F.);
#10550 = CARTESIAN_POINT ('', (-0.00100000000000053, -0.298999999999999, 27.));
#10560 = CARTESIAN_POINT ('', (-0.0010000000000004, -2.501, 27.));
#10570 = CARTESIAN_POINT ('', (30.001, -0.298999999999998, 27.));
#10580 = CARTESIAN_POINT ('', (30.001, -2.501, 27.));
#10590 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10550, #10560), (#10570, #10580)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000122, 30.001), (-2.201, 0.000999999999999446), .UNSPECIFIED.);
#10600 = ADVANCED_FACE ('', (#10540), #10590, .F.);
#10610 = ORIENTED_EDGE ('', *, *, #9920, .T.);
#10620 = ORIENTED_EDGE ('', *, *, #10290, .T.);
#10630 = ORIENTED_EDGE ('', *, *, #4020, .T.);
#10640 = ORIENTED_EDGE ('', *, *, #10510, .T.);
#10650 = EDGE_LOOP ('', (#10610, #10620, #10630, #10640));
#10660 = FACE_OUTER_BOUND ('', #10650, .F.);
#10670 = CARTESIAN_POINT ('', (30.001, -2.5, 19.999));
#10680 = CARTESIAN_POINT ('', (30.001, -2.5, 27.001));
#10690 = CARTESIAN_POINT ('', (-0.000999999999990564, -2.5, 19.999));
#10700 = CARTESIAN_POINT ('', (-0.000999999999990564, -2.5, 27.001));
#10710 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10670, #10680), (#10690, #10700)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000122, 30.001), (-0.00100000000000122, 7.001), .UNSPECIFIED.);
#10720 = ADVANCED_FACE ('', (#10660), #10710, .F.);
#10730 = ORIENTED_EDGE ('', *, *, #3160, .T.);
#10740 = CARTESIAN_POINT ('', (58.8864817766692, 8.5, 5.09346611496997));
#10750 = DIRECTION ('', (0., 2.5, 0.));
#10760 = VECTOR ('', #10750, 2.5);
#10770 = LINE ('', #10740, #10760);
#10780 = EDGE_CURVE ('', #3020, #5390, #10770, .T.);
#10790 = ORIENTED_EDGE ('', *, *, #10780, .T.);
#10800 = ORIENTED_EDGE ('', *, *, #5440, .T.);
#10810 = ORIENTED_EDGE ('', *, *, #3400, .F.);
#10820 = ORIENTED_EDGE ('', *, *, #2360, .T.);
#10830 = ORIENTED_EDGE ('', *, *, #6350, .F.);
#10840 = ORIENTED_EDGE ('', *, *, #7050, .F.);
#10850 = EDGE_LOOP ('', (#10730, #10790, #10800, #10810, #10820, #10830, #10840));
#10860 = FACE_OUTER_BOUND ('', #10850, .F.);
#10870 = CARTESIAN_POINT ('', (58.8876226330513, 11.001, 5.09366727873124));
#10880 = CARTESIAN_POINT ('', (58.8876226330513, -0.000999999999990564, 5.09366727873124));
#10890 = CARTESIAN_POINT ('', (29.9988591436179, 11.001, -0.000201163761277101));
#10900 = CARTESIAN_POINT ('', (29.9988591436179, -0.000999999999990564, -0.000201163761277101));
#10910 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10870, #10880), (#10890, #10900)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00115845593068187, 29.3332607757132), (-48.7240986315554, -37.7220986315554), .UNSPECIFIED.);
#10920 = ADVANCED_FACE ('', (#10860), #10910, .F.);
#10930 = ORIENTED_EDGE ('', *, *, #3080, .F.);
#10940 = ORIENTED_EDGE ('', *, *, #2680, .F.);
#10950 = ORIENTED_EDGE ('', *, *, #5510, .F.);
#10960 = ORIENTED_EDGE ('', *, *, #10780, .F.);
#10970 = EDGE_LOOP ('', (#10930, #10940, #10950, #10960));
#10980 = FACE_OUTER_BOUND ('', #10970, .F.);
#10990 = CARTESIAN_POINT ('', (67.15, 8.2488, 14.9415436450921));
#11000 = CARTESIAN_POINT ('', (67.15, 11.2512, 14.9415436450921));
#11010 = CARTESIAN_POINT ('', (67.15, 8.2488, 24.9415436450921));
#11020 = CARTESIAN_POINT ('', (67.15, 11.2512, 24.9415436450921));
#11030 = CARTESIAN_POINT ('', (57.15, 8.2488, 24.9415436450921));
#11040 = CARTESIAN_POINT ('', (57.15, 11.2512, 24.9415436450921));
#11050 = CARTESIAN_POINT ('', (47.1499999999999, 8.2488, 24.941543645092));
#11060 = CARTESIAN_POINT ('', (47.1499999999999, 11.2512, 24.941543645092));
#11070 = CARTESIAN_POINT ('', (47.15, 8.2488, 14.941543645092));
#11080 = CARTESIAN_POINT ('', (47.15, 11.2512, 14.941543645092));
#11090 = CARTESIAN_POINT ('', (47.15, 8.2488, 4.94154364509201));
#11100 = CARTESIAN_POINT ('', (47.15, 11.2512, 4.94154364509201));
#11110 = CARTESIAN_POINT ('', (57.15, 8.2488, 4.94154364509204));
#11120 = CARTESIAN_POINT ('', (57.15, 11.2512, 4.94154364509204));
#11130 = CARTESIAN_POINT ('', (67.1500000000001, 8.2488, 4.94154364509208));
#11140 = CARTESIAN_POINT ('', (67.1500000000001, 11.2512, 4.94154364509208));
#11150 = CARTESIAN_POINT ('', (67.15, 8.2488, 14.9415436450921));
#11160 = CARTESIAN_POINT ('', (67.15, 11.2512, 14.9415436450921));
#11170 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#10990, #11000), (#11010, #11020), (#11030, #11040), (#11050, #11060), (#11070, #11080), (#11090, #11100), (#11110, #11120), (#11130, #11140), (#11150, #11160)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#11180 = ADVANCED_FACE ('', (#10980), #11170, .F.);
#11190 = ORIENTED_EDGE ('', *, *, #6110, .F.);
#11200 = ORIENTED_EDGE ('', *, *, #4430, .F.);
#11210 = ORIENTED_EDGE ('', *, *, #5330, .F.);
#11220 = ORIENTED_EDGE ('', *, *, #9580, .F.);
#11230 = EDGE_LOOP ('', (#11190, #11200, #11210, #11220));
#11240 = FACE_OUTER_BOUND ('', #11230, .F.);
#11250 = CARTESIAN_POINT ('', (53.7226226147383, 8.2488, 38.));
#11260 = CARTESIAN_POINT ('', (53.7226226147383, 11.2512, 38.));
#11270 = CARTESIAN_POINT ('', (53.7226226147383, 8.2488, 43.));
#11280 = CARTESIAN_POINT ('', (53.7226226147383, 11.2512, 43.));
#11290 = CARTESIAN_POINT ('', (48.7226226147383, 8.2488, 43.));
#11300 = CARTESIAN_POINT ('', (48.7226226147383, 11.2512, 43.));
#11310 = CARTESIAN_POINT ('', (43.7226226147383, 8.2488, 43.));
#11320 = CARTESIAN_POINT ('', (43.7226226147383, 11.2512, 43.));
#11330 = CARTESIAN_POINT ('', (43.7226226147383, 8.2488, 38.));
#11340 = CARTESIAN_POINT ('', (43.7226226147383, 11.2512, 38.));
#11350 = CARTESIAN_POINT ('', (43.7226226147383, 8.2488, 33.));
#11360 = CARTESIAN_POINT ('', (43.7226226147383, 11.2512, 33.));
#11370 = CARTESIAN_POINT ('', (48.7226226147383, 8.2488, 33.));
#11380 = CARTESIAN_POINT ('', (48.7226226147383, 11.2512, 33.));
#11390 = CARTESIAN_POINT ('', (53.7226226147383, 8.2488, 33.));
#11400 = CARTESIAN_POINT ('', (53.7226226147383, 11.2512, 33.));
#11410 = CARTESIAN_POINT ('', (53.7226226147383, 8.2488, 38.));
#11420 = CARTESIAN_POINT ('', (53.7226226147383, 11.2512, 38.));
#11430 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#11250, #11260), (#11270, #11280), (#11290, #11300), (#11310, #11320), (#11330, #11340), (#11350, #11360), (#11370, #11380), (#11390, #11400), (#11410, #11420)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#11440 = ADVANCED_FACE ('', (#11240), #11430, .F.);
#11450 = ORIENTED_EDGE ('', *, *, #5790, .F.);
#11460 = ORIENTED_EDGE ('', *, *, #9510, .F.);
#11470 = ORIENTED_EDGE ('', *, *, #5180, .F.);
#11480 = ORIENTED_EDGE ('', *, *, #9340, .F.);
#11490 = EDGE_LOOP ('', (#11450, #11460, #11470, #11480));
#11500 = FACE_OUTER_BOUND ('', #11490, .F.);
#11510 = CARTESIAN_POINT ('', (60.5799279630883, 8.2488, 34.0409329112148));
#11520 = CARTESIAN_POINT ('', (60.5799279630883, 11.2512, 34.0409329112148));
#11530 = CARTESIAN_POINT ('', (60.5799279630883, 8.2488, 39.0409329112148));
#11540 = CARTESIAN_POINT ('', (60.5799279630883, 11.2512, 39.0409329112148));
#11550 = CARTESIAN_POINT ('', (55.5799279630883, 8.2488, 39.0409329112148));
#11560 = CARTESIAN_POINT ('', (55.5799279630883, 11.2512, 39.0409329112148));
#11570 = CARTESIAN_POINT ('', (50.5799279630883, 8.2488, 39.0409329112148));
#11580 = CARTESIAN_POINT ('', (50.5799279630883, 11.2512, 39.0409329112148));
#11590 = CARTESIAN_POINT ('', (50.5799279630883, 8.2488, 34.0409329112148));
#11600 = CARTESIAN_POINT ('', (50.5799279630883, 11.2512, 34.0409329112148));
#11610 = CARTESIAN_POINT ('', (50.5799279630883, 8.2488, 29.0409329112148));
#11620 = CARTESIAN_POINT ('', (50.5799279630883, 11.2512, 29.0409329112148));
#11630 = CARTESIAN_POINT ('', (55.5799279630883, 8.2488, 29.0409329112148));
#11640 = CARTESIAN_POINT ('', (55.5799279630883, 11.2512, 29.0409329112148));
#11650 = CARTESIAN_POINT ('', (60.5799279630883, 8.2488, 29.0409329112148));
#11660 = CARTESIAN_POINT ('', (60.5799279630883, 11.2512, 29.0409329112148));
#11670 = CARTESIAN_POINT ('', (60.5799279630883, 8.2488, 34.0409329112148));
#11680 = CARTESIAN_POINT ('', (60.5799279630883, 11.2512, 34.0409329112148));
#11690 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#11510, #11520), (#11530, #11540), (#11550, #11560), (#11570, #11580), (#11590, #11600), (#11610, #11620), (#11630, #11640), (#11650, #11660), (#11670, #11680)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#11700 = ADVANCED_FACE ('', (#11500), #11690, .F.);
#11710 = ORIENTED_EDGE ('', *, *, #9760, .F.);
#11720 = ORIENTED_EDGE ('', *, *, #1880, .F.);
#11730 = ORIENTED_EDGE ('', *, *, #4170, .F.);
#11740 = ORIENTED_EDGE ('', *, *, #10220, .F.);
#11750 = EDGE_LOOP ('', (#11710, #11720, #11730, #11740));
#11760 = FACE_OUTER_BOUND ('', #11750, .F.);
#11770 = CARTESIAN_POINT ('', (-3.0012, -0.3, 19.4));
#11780 = CARTESIAN_POINT ('', (33.0012, -0.299999999999999, 19.4));
#11790 = CARTESIAN_POINT ('', (-3.0012, 5.45926661318977E-16, 19.4));
#11800 = CARTESIAN_POINT ('', (33.0012, 1.76717198840665E-15, 19.4));
#11810 = CARTESIAN_POINT ('', (-3.0012, -2.22044604925031E-15, 19.7));
#11820 = CARTESIAN_POINT ('', (33.0012, -9.99200722162641E-16, 19.7));
#11830 = CARTESIAN_POINT ('', (-3.0012, -4.95906318420397E-15, 20.));
#11840 = CARTESIAN_POINT ('', (33.0012, -3.73781785711629E-15, 20.));
#11850 = CARTESIAN_POINT ('', (-3.0012, -0.300000000000006, 20.));
#11860 = CARTESIAN_POINT ('', (33.0012, -0.300000000000004, 20.));
#11870 = CARTESIAN_POINT ('', (-3.0012, -0.600000000000006, 20.));
#11880 = CARTESIAN_POINT ('', (33.0012, -0.600000000000005, 20.));
#11890 = CARTESIAN_POINT ('', (-3.0012, -0.600000000000004, 19.7));
#11900 = CARTESIAN_POINT ('', (33.0012, -0.600000000000002, 19.7));
#11910 = CARTESIAN_POINT ('', (-3.0012, -0.600000000000001, 19.4));
#11920 = CARTESIAN_POINT ('', (33.0012, -0.6, 19.4));
#11930 = CARTESIAN_POINT ('', (-3.0012, -0.3, 19.4));
#11940 = CARTESIAN_POINT ('', (33.0012, -0.299999999999999, 19.4));
#11950 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#11770, #11780), (#11790, #11800), (#11810, #11820), (#11830, #11840), (#11850, #11860), (#11870, #11880), (#11890, #11900), (#11910, #11920), (#11930, #11940)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.499999999999999, 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 ('')
);
#11960 = ADVANCED_FACE ('', (#11760), #11950, .F.);
#11970 = ORIENTED_EDGE ('', *, *, #3860, .F.);
#11980 = ORIENTED_EDGE ('', *, *, #2040, .F.);
#11990 = ORIENTED_EDGE ('', *, *, #10070, .F.);
#12000 = ORIENTED_EDGE ('', *, *, #10440, .F.);
#12010 = EDGE_LOOP ('', (#11970, #11980, #11990, #12000));
#12020 = FACE_OUTER_BOUND ('', #12010, .F.);
#12030 = CARTESIAN_POINT ('', (33.0012, 6.66133814775094E-16, 27.3));
#12040 = CARTESIAN_POINT ('', (-3.0012, 6.66133814775094E-16, 27.3));
#12050 = CARTESIAN_POINT ('', (33.0012, 6.66133814775094E-16, 27.));
#12060 = CARTESIAN_POINT ('', (-3.0012, 6.66133814775094E-16, 27.));
#12070 = CARTESIAN_POINT ('', (33.0012, -0.300000000000001, 27.));
#12080 = CARTESIAN_POINT ('', (-3.0012, -0.300000000000001, 27.));
#12090 = CARTESIAN_POINT ('', (33.0012, -0.600000000000002, 27.));
#12100 = CARTESIAN_POINT ('', (-3.0012, -0.600000000000002, 27.));
#12110 = CARTESIAN_POINT ('', (33.0012, -0.600000000000002, 27.3));
#12120 = CARTESIAN_POINT ('', (-3.0012, -0.600000000000002, 27.3));
#12130 = CARTESIAN_POINT ('', (33.0012, -0.600000000000002, 27.6));
#12140 = CARTESIAN_POINT ('', (-3.0012, -0.600000000000002, 27.6));
#12150 = CARTESIAN_POINT ('', (33.0012, -0.300000000000001, 27.6));
#12160 = CARTESIAN_POINT ('', (-3.0012, -0.300000000000001, 27.6));
#12170 = CARTESIAN_POINT ('', (33.0012, 6.01638835185044E-16, 27.6));
#12180 = CARTESIAN_POINT ('', (-3.0012, 6.01638835185044E-16, 27.6));
#12190 = CARTESIAN_POINT ('', (33.0012, 6.66133814775094E-16, 27.3));
#12200 = CARTESIAN_POINT ('', (-3.0012, 6.66133814775094E-16, 27.3));
#12210 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#12030, #12040), (#12050, #12060), (#12070, #12080), (#12090, #12100), (#12110, #12120), (#12130, #12140), (#12150, #12160), (#12170, #12180), (#12190, #12200)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.499999999999999, 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 ('')
);
#12220 = ADVANCED_FACE ('', (#12020), #12210, .F.);
#12230 = CLOSED_SHELL ('', (#1250, #1710, #2510, #2910, #3320, #3630, #4280, #4620, #5610, #6200, #6590, #7920, #8390, #8580, #8750, #8920, #9090, #9280, #9450, #9670, #10160, #10380, #10600, #10720, #10920, #11180, #11440, #11700, #11960, #12220));
#12240 = MANIFOLD_SOLID_BREP ('NOCUT', #12230);
#12250 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#12260 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#12270 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#12280 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #12250, 'DISTANCE_ACCURACY_VALUE', '');
#12290 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#12280))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#12250, #12260, #12270))
   REPRESENTATION_CONTEXT ('', '3D')
);
#12300 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#12310 = FILL_AREA_STYLE_COLOUR ('', #12300);
#12320 = FILL_AREA_STYLE ('', (#12310));
#12330 = SURFACE_STYLE_FILL_AREA (#12320);
#12340 = SURFACE_SIDE_STYLE ('', (#12330));
#12350 = SURFACE_STYLE_USAGE (.POSITIVE., #12340);
#12360 = PRESENTATION_STYLE_ASSIGNMENT ((#12350));
#12370 = STYLED_ITEM ('', (#12360), #12240);
#12380 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#12240), #12290);
#12390 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#12400 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #12390);
#12410 = MECHANICAL_CONTEXT ('', #12390, 'mechanical');
#12420 = PRODUCT ('NONE', '', '', (#12410));
#12430 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#12440 = PERSON ('', '', $, $, $, $);
#12450 = ORGANIZATION ($, '', '');
#12460 = PERSON_AND_ORGANIZATION (#12440, #12450);
#12470 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#12460, #12430, (#12420));
#12480 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#12420));
#12490 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #12420, .NOT_KNOWN.);
#12500 = APPROVAL_STATUS ('approved');
#12510 = APPROVAL (#12500, '');
#12520 = CALENDAR_DATE (2017, 25, 1);
#12530 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#12540 = LOCAL_TIME (7, 25, 7., #12530);
#12550 = DATE_AND_TIME (#12520, #12540);
#12560 = APPROVAL_DATE_TIME (#12550, #12510);
#12570 = APPROVAL_ROLE ('');
#12580 = PERSON ('', '', $, $, $, $);
#12590 = ORGANIZATION ($, '', '');
#12600 = PERSON_AND_ORGANIZATION (#12580, #12590);
#12610 = APPROVAL_PERSON_ORGANIZATION (#12600, #12510, #12570);
#12620 = CC_DESIGN_APPROVAL (#12510, (#12490));
#12630 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#12640 = PERSON ('', '', $, $, $, $);
#12650 = ORGANIZATION ($, '', '');
#12660 = PERSON_AND_ORGANIZATION (#12640, #12650);
#12670 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#12660, #12630, (#12490));
#12680 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#12690 = PERSON ('', '', $, $, $, $);
#12700 = ORGANIZATION ($, '', '');
#12710 = PERSON_AND_ORGANIZATION (#12690, #12700);
#12720 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#12710, #12680, (#12490));
#12730 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#12740 = SECURITY_CLASSIFICATION ('', '', #12730);
#12750 = APPROVAL_STATUS ('approved');
#12760 = APPROVAL (#12750, '');
#12770 = CALENDAR_DATE (2017, 25, 1);
#12780 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#12790 = LOCAL_TIME (7, 25, 7., #12780);
#12800 = DATE_AND_TIME (#12770, #12790);
#12810 = APPROVAL_DATE_TIME (#12800, #12760);
#12820 = APPROVAL_ROLE ('');
#12830 = PERSON ('', '', $, $, $, $);
#12840 = ORGANIZATION ($, '', '');
#12850 = PERSON_AND_ORGANIZATION (#12830, #12840);
#12860 = APPROVAL_PERSON_ORGANIZATION (#12850, #12760, #12820);
#12870 = CC_DESIGN_APPROVAL (#12760, (#12740));
#12880 = DATE_TIME_ROLE ('classification_date');
#12890 = CALENDAR_DATE (2017, 25, 1);
#12900 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#12910 = LOCAL_TIME (7, 25, 7., #12900);
#12920 = DATE_AND_TIME (#12890, #12910);
#12930 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#12920, #12880, (#12740));
#12940 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#12950 = PERSON ('', '', $, $, $, $);
#12960 = ORGANIZATION ($, '', '');
#12970 = PERSON_AND_ORGANIZATION (#12950, #12960);
#12980 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#12970, #12940, (#12740));
#12990 = CC_DESIGN_SECURITY_CLASSIFICATION (#12740, (#12490));
#13000 = DESIGN_CONTEXT ('', #12390, 'design');
#13010 = PRODUCT_DEFINITION ('', '', #12490, #13000);
#13020 = APPROVAL_STATUS ('approved');
#13030 = APPROVAL (#13020, '');
#13040 = CALENDAR_DATE (2017, 25, 1);
#13050 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13060 = LOCAL_TIME (7, 25, 7., #13050);
#13070 = DATE_AND_TIME (#13040, #13060);
#13080 = APPROVAL_DATE_TIME (#13070, #13030);
#13090 = APPROVAL_ROLE ('');
#13100 = PERSON ('', '', $, $, $, $);
#13110 = ORGANIZATION ($, '', '');
#13120 = PERSON_AND_ORGANIZATION (#13100, #13110);
#13130 = APPROVAL_PERSON_ORGANIZATION (#13120, #13030, #13090);
#13140 = CC_DESIGN_APPROVAL (#13030, (#13010));
#13150 = DATE_TIME_ROLE ('creation_date');
#13160 = CALENDAR_DATE (2017, 25, 1);
#13170 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13180 = LOCAL_TIME (7, 25, 7., #13170);
#13190 = DATE_AND_TIME (#13160, #13180);
#13200 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#13190, #13150, (#13010));
#13210 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#13220 = PERSON ('', '', $, $, $, $);
#13230 = ORGANIZATION ($, '', '');
#13240 = PERSON_AND_ORGANIZATION (#13220, #13230);
#13250 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13240, #13210, (#13010));
#13260 = PRODUCT_DEFINITION_SHAPE ('', '', #13010);
#13270 = SHAPE_DEFINITION_REPRESENTATION (#13260, #12380);
#13280 = CARTESIAN_POINT ('', (67.3338103350814, 8.5, 28.2018472365447));
#13290 = VERTEX_POINT ('', #13280);
#13300 = CARTESIAN_POINT ('', (33.7159018413253, 8.5, 25.8510540713679));
#13310 = VERTEX_POINT ('', #13300);
#13320 = CARTESIAN_POINT ('', (67.3338103350814, 8.5, 28.2018472365447));
#13330 = DIRECTION ('', (-33.6179084937561, 0., -2.3507931651768));
#13340 = VECTOR ('', #13330, 33.7);
#13350 = LINE ('', #13320, #13340);
#13360 = EDGE_CURVE ('', #13290, #13310, #13350, .T.);
#13370 = ORIENTED_EDGE ('', *, *, #13360, .T.);
#13380 = CARTESIAN_POINT ('', (33.3813102886379, 8.5, 30.6359361986659));
#13390 = VERTEX_POINT ('', #13380);
#13400 = CARTESIAN_POINT ('', (33.7159018413253, 8.5, 25.8510540713679));
#13410 = DIRECTION ('', (-0.334591552687399, 0., 4.784882127298));
#13420 = VECTOR ('', #13410, 4.79656632178328);
#13430 = LINE ('', #13400, #13420);
#13440 = EDGE_CURVE ('', #13310, #13390, #13430, .T.);
#13450 = ORIENTED_EDGE ('', *, *, #13440, .T.);
#13460 = CARTESIAN_POINT ('', (36.2532199861386, 8.5, 28.1394231864227));
#13470 = VERTEX_POINT ('', #13460);
#13480 = CARTESIAN_POINT ('', (33.3813102886379, 8.5, 30.6359361986659));
#13490 = DIRECTION ('', (2.8719096975007, 0., -2.4965130122432));
#13500 = VECTOR ('', #13490, 3.8053176649129);
#13510 = LINE ('', #13480, #13500);
#13520 = EDGE_CURVE ('', #13390, #13470, #13510, .T.);
#13530 = ORIENTED_EDGE ('', *, *, #13520, .T.);
#13540 = CARTESIAN_POINT ('', (35.5587682172815, 8.5, 33.0807042762052));
#13550 = VERTEX_POINT ('', #13540);
#13560 = CARTESIAN_POINT ('', (36.2532199861386, 8.5, 28.1394231864227));
#13570 = DIRECTION ('', (-0.694451768857107, 0., 4.9412810897825));
#13580 = VECTOR ('', #13570, 4.98984188802721);
#13590 = LINE ('', #13560, #13580);
#13600 = EDGE_CURVE ('', #13470, #13550, #13590, .T.);
#13610 = ORIENTED_EDGE ('', *, *, #13600, .T.);
#13620 = CARTESIAN_POINT ('', (34.9207765867872, 8.5, 32.9910403999224));
#13630 = VERTEX_POINT ('', #13620);
#13640 = CARTESIAN_POINT ('', (35.5587682172815, 8.5, 33.0807042762052));
#13650 = DIRECTION ('', (-0.637991630494298, 0., -0.0896638762828061));
#13660 = VECTOR ('', #13650, 0.644261539509252);
#13670 = LINE ('', #13640, #13660);
#13680 = EDGE_CURVE ('', #13550, #13630, #13670, .T.);
#13690 = ORIENTED_EDGE ('', *, *, #13680, .T.);
#13700 = CARTESIAN_POINT ('', (35.193056457405, 8.5, 33.3523679922571));
#13710 = VERTEX_POINT ('', #13700);
#13720 = CARTESIAN_POINT ('', (34.9207765867872, 8.5, 32.9910403999224));
#13730 = DIRECTION ('', (0.272279870617801, 0., 0.361327592334703));
#13740 = VECTOR ('', #13730, 0.452431162638075);
#13750 = LINE ('', #13720, #13740);
#13760 = EDGE_CURVE ('', #13630, #13710, #13750, .T.);
#13770 = ORIENTED_EDGE ('', *, *, #13760, .T.);
#13780 = CARTESIAN_POINT ('', (64.8270501665385, 8.5, 35.4245786974906));
#13790 = VERTEX_POINT ('', #13780);
#13800 = CARTESIAN_POINT ('', (35.193056457405, 8.5, 33.3523679922571));
#13810 = DIRECTION ('', (29.6339937091335, 0., 2.0722107052335));
#13820 = VECTOR ('', #13810, 29.7063569015093);
#13830 = LINE ('', #13800, #13820);
#13840 = EDGE_CURVE ('', #13710, #13790, #13830, .T.);
#13850 = ORIENTED_EDGE ('', *, *, #13840, .T.);
#13860 = CARTESIAN_POINT ('', (65.1469673096599, 8.5, 35.1046615543692));
#13870 = VERTEX_POINT ('', #13860);
#13880 = CARTESIAN_POINT ('', (65.1469673096599, 8.5, 35.1046615543692));
#13890 = DIRECTION ('', (-0.319917143121401, 0., 0.319917143121401));
#13900 = VECTOR ('', #13890, 0.45243116263794);
#13910 = LINE ('', #13880, #13900);
#13920 = EDGE_CURVE ('', #13870, #13790, #13910, .T.);
#13930 = ORIENTED_EDGE ('', *, *, #13920, .F.);
#13940 = CARTESIAN_POINT ('', (64.5027057701507, 8.5, 35.1046615543692));
#13950 = VERTEX_POINT ('', #13940);
#13960 = CARTESIAN_POINT ('', (64.5027057701507, 8.5, 35.1046615543692));
#13970 = DIRECTION ('', (0.644261539509202, 0., 0.));
#13980 = VECTOR ('', #13970, 0.644261539509202);
#13990 = LINE ('', #13960, #13980);
#14000 = EDGE_CURVE ('', #13950, #13870, #13990, .T.);
#14010 = ORIENTED_EDGE ('', *, *, #14000, .F.);
#14020 = CARTESIAN_POINT ('', (64.5027057701507, 8.5, 30.114819666342));
#14030 = VERTEX_POINT ('', #14020);
#14040 = CARTESIAN_POINT ('', (64.5027057701507, 8.5, 30.114819666342));
#14050 = DIRECTION ('', (0., 0., 4.9898418880272));
#14060 = VECTOR ('', #14050, 4.9898418880272);
#14070 = LINE ('', #14040, #14060);
#14080 = EDGE_CURVE ('', #14030, #13950, #14070, .T.);
#14090 = ORIENTED_EDGE ('', *, *, #14080, .F.);
#14100 = CARTESIAN_POINT ('', (66.999218782394, 8.5, 32.9867293638427));
#14110 = VERTEX_POINT ('', #14100);
#14120 = CARTESIAN_POINT ('', (66.999218782394, 8.5, 32.9867293638427));
#14130 = DIRECTION ('', (-2.4965130122433, 0., -2.8719096975007));
#14140 = VECTOR ('', #14130, 3.80531766491296);
#14150 = LINE ('', #14120, #14140);
#14160 = EDGE_CURVE ('', #14110, #14030, #14150, .T.);
#14170 = ORIENTED_EDGE ('', *, *, #14160, .F.);
#14180 = CARTESIAN_POINT ('', (67.3338103350814, 8.5, 28.2018472365447));
#14190 = DIRECTION ('', (-0.334591552687399, 0., 4.784882127298));
#14200 = VECTOR ('', #14190, 4.79656632178328);
#14210 = LINE ('', #14180, #14200);
#14220 = EDGE_CURVE ('', #13290, #14110, #14210, .T.);
#14230 = ORIENTED_EDGE ('', *, *, #14220, .F.);
#14240 = EDGE_LOOP ('', (#13370, #13450, #13530, #13610, #13690, #13770, #13850, #13930, #14010, #14090, #14170, #14230));
#14250 = FACE_OUTER_BOUND ('', #14240, .F.);
#14260 = CARTESIAN_POINT ('', (67.3348776556054, 8.5, 28.2009194289682));
#14270 = CARTESIAN_POINT ('', (66.8199353664263, 8.5, 35.5649372479863));
#14280 = CARTESIAN_POINT ('', (33.7149740337488, 8.5, 25.8499867508439));
#14290 = CARTESIAN_POINT ('', (33.2000317445697, 8.5, 33.214004569862));
#14300 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14260, #14270), (#14280, #14290)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-34.351, -0.649000000000001), (0.0568455845102518, 7.43884558451026), .UNSPECIFIED.);
#14310 = ADVANCED_FACE ('', (#14250), #14300, .F.);
#14320 = CARTESIAN_POINT ('', (35.193056457405, 11., 33.3523679922571));
#14330 = VERTEX_POINT ('', #14320);
#14340 = CARTESIAN_POINT ('', (64.8270501665385, 11., 35.4245786974906));
#14350 = VERTEX_POINT ('', #14340);
#14360 = CARTESIAN_POINT ('', (35.193056457405, 11., 33.3523679922571));
#14370 = DIRECTION ('', (29.6339937091335, 0., 2.0722107052335));
#14380 = VECTOR ('', #14370, 29.7063569015093);
#14390 = LINE ('', #14360, #14380);
#14400 = EDGE_CURVE ('', #14330, #14350, #14390, .T.);
#14410 = ORIENTED_EDGE ('', *, *, #14400, .F.);
#14420 = CARTESIAN_POINT ('', (34.9207765867872, 11., 32.9910403999224));
#14430 = VERTEX_POINT ('', #14420);
#14440 = CARTESIAN_POINT ('', (35.193056457405, 11., 33.3523679922571));
#14450 = DIRECTION ('', (-0.272279870617801, 0., -0.361327592334703));
#14460 = VECTOR ('', #14450, 0.452431162638075);
#14470 = LINE ('', #14440, #14460);
#14480 = EDGE_CURVE ('', #14330, #14430, #14470, .T.);
#14490 = ORIENTED_EDGE ('', *, *, #14480, .T.);
#14500 = CARTESIAN_POINT ('', (35.5587682172815, 11., 33.0807042762052));
#14510 = VERTEX_POINT ('', #14500);
#14520 = CARTESIAN_POINT ('', (35.5587682172815, 11., 33.0807042762052));
#14530 = DIRECTION ('', (-0.637991630494298, 0., -0.0896638762828061));
#14540 = VECTOR ('', #14530, 0.644261539509252);
#14550 = LINE ('', #14520, #14540);
#14560 = EDGE_CURVE ('', #14510, #14430, #14550, .T.);
#14570 = ORIENTED_EDGE ('', *, *, #14560, .F.);
#14580 = CARTESIAN_POINT ('', (36.2532199861386, 11., 28.1394231864227));
#14590 = VERTEX_POINT ('', #14580);
#14600 = CARTESIAN_POINT ('', (36.2532199861386, 11., 28.1394231864227));
#14610 = DIRECTION ('', (-0.694451768857107, 0., 4.9412810897825));
#14620 = VECTOR ('', #14610, 4.98984188802721);
#14630 = LINE ('', #14600, #14620);
#14640 = EDGE_CURVE ('', #14590, #14510, #14630, .T.);
#14650 = ORIENTED_EDGE ('', *, *, #14640, .F.);
#14660 = CARTESIAN_POINT ('', (33.3813102886379, 11., 30.6359361986659));
#14670 = VERTEX_POINT ('', #14660);
#14680 = CARTESIAN_POINT ('', (33.3813102886379, 11., 30.6359361986659));
#14690 = DIRECTION ('', (2.8719096975007, 0., -2.4965130122432));
#14700 = VECTOR ('', #14690, 3.8053176649129);
#14710 = LINE ('', #14680, #14700);
#14720 = EDGE_CURVE ('', #14670, #14590, #14710, .T.);
#14730 = ORIENTED_EDGE ('', *, *, #14720, .F.);
#14740 = CARTESIAN_POINT ('', (33.7159018413253, 11., 25.8510540713679));
#14750 = VERTEX_POINT ('', #14740);
#14760 = CARTESIAN_POINT ('', (33.7159018413253, 11., 25.8510540713679));
#14770 = DIRECTION ('', (-0.334591552687399, 0., 4.784882127298));
#14780 = VECTOR ('', #14770, 4.79656632178328);
#14790 = LINE ('', #14760, #14780);
#14800 = EDGE_CURVE ('', #14750, #14670, #14790, .T.);
#14810 = ORIENTED_EDGE ('', *, *, #14800, .F.);
#14820 = CARTESIAN_POINT ('', (67.3338103350814, 11., 28.2018472365447));
#14830 = VERTEX_POINT ('', #14820);
#14840 = CARTESIAN_POINT ('', (67.3338103350814, 11., 28.2018472365447));
#14850 = DIRECTION ('', (-33.6179084937561, 0., -2.3507931651768));
#14860 = VECTOR ('', #14850, 33.7);
#14870 = LINE ('', #14840, #14860);
#14880 = EDGE_CURVE ('', #14830, #14750, #14870, .T.);
#14890 = ORIENTED_EDGE ('', *, *, #14880, .F.);
#14900 = CARTESIAN_POINT ('', (66.999218782394, 11., 32.9867293638427));
#14910 = VERTEX_POINT ('', #14900);
#14920 = CARTESIAN_POINT ('', (67.3338103350814, 11., 28.2018472365447));
#14930 = DIRECTION ('', (-0.334591552687399, 0., 4.784882127298));
#14940 = VECTOR ('', #14930, 4.79656632178328);
#14950 = LINE ('', #14920, #14940);
#14960 = EDGE_CURVE ('', #14830, #14910, #14950, .T.);
#14970 = ORIENTED_EDGE ('', *, *, #14960, .T.);
#14980 = CARTESIAN_POINT ('', (64.5027057701507, 11., 30.114819666342));
#14990 = VERTEX_POINT ('', #14980);
#15000 = CARTESIAN_POINT ('', (66.999218782394, 11., 32.9867293638427));
#15010 = DIRECTION ('', (-2.4965130122433, 0., -2.8719096975007));
#15020 = VECTOR ('', #15010, 3.80531766491296);
#15030 = LINE ('', #15000, #15020);
#15040 = EDGE_CURVE ('', #14910, #14990, #15030, .T.);
#15050 = ORIENTED_EDGE ('', *, *, #15040, .T.);
#15060 = CARTESIAN_POINT ('', (64.5027057701507, 11., 35.1046615543692));
#15070 = VERTEX_POINT ('', #15060);
#15080 = CARTESIAN_POINT ('', (64.5027057701507, 11., 30.114819666342));
#15090 = DIRECTION ('', (0., 0., 4.9898418880272));
#15100 = VECTOR ('', #15090, 4.9898418880272);
#15110 = LINE ('', #15080, #15100);
#15120 = EDGE_CURVE ('', #14990, #15070, #15110, .T.);
#15130 = ORIENTED_EDGE ('', *, *, #15120, .T.);
#15140 = CARTESIAN_POINT ('', (65.1469673096599, 11., 35.1046615543692));
#15150 = VERTEX_POINT ('', #15140);
#15160 = CARTESIAN_POINT ('', (64.5027057701507, 11., 35.1046615543692));
#15170 = DIRECTION ('', (0.644261539509202, 0., 0.));
#15180 = VECTOR ('', #15170, 0.644261539509202);
#15190 = LINE ('', #15160, #15180);
#15200 = EDGE_CURVE ('', #15070, #15150, #15190, .T.);
#15210 = ORIENTED_EDGE ('', *, *, #15200, .T.);
#15220 = CARTESIAN_POINT ('', (64.8270501665385, 11., 35.4245786974906));
#15230 = DIRECTION ('', (0.319917143121401, 0., -0.319917143121401));
#15240 = VECTOR ('', #15230, 0.45243116263794);
#15250 = LINE ('', #15220, #15240);
#15260 = EDGE_CURVE ('', #14350, #15150, #15250, .T.);
#15270 = ORIENTED_EDGE ('', *, *, #15260, .F.);
#15280 = EDGE_LOOP ('', (#14410, #14490, #14570, #14650, #14730, #14810, #14890, #14970, #15050, #15130, #15210, #15270));
#15290 = FACE_OUTER_BOUND ('', #15280, .F.);
#15300 = CARTESIAN_POINT ('', (33.7149740337487, 11., 25.8499867508439));
#15310 = CARTESIAN_POINT ('', (33.2000317445697, 11., 33.214004569862));
#15320 = CARTESIAN_POINT ('', (67.3348776556054, 11., 28.2009194289682));
#15330 = CARTESIAN_POINT ('', (66.8199353664264, 11., 35.5649372479863));
#15340 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15300, #15310), (#15320, #15330)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.649000000000001, 34.351), (0.0568455845102518, 7.43884558451026), .UNSPECIFIED.);
#15350 = ADVANCED_FACE ('', (#15290), #15340, .F.);
#15360 = ORIENTED_EDGE ('', *, *, #14880, .T.);
#15370 = CARTESIAN_POINT ('', (33.7159018413253, 11., 25.8510540713679));
#15380 = DIRECTION ('', (0., -2.5, 0.));
#15390 = VECTOR ('', #15380, 2.5);
#15400 = LINE ('', #15370, #15390);
#15410 = EDGE_CURVE ('', #14750, #13310, #15400, .T.);
#15420 = ORIENTED_EDGE ('', *, *, #15410, .T.);
#15430 = ORIENTED_EDGE ('', *, *, #13360, .F.);
#15440 = CARTESIAN_POINT ('', (67.3338103350814, 11., 28.2018472365447));
#15450 = DIRECTION ('', (0., -2.5, 0.));
#15460 = VECTOR ('', #15450, 2.5);
#15470 = LINE ('', #15440, #15460);
#15480 = EDGE_CURVE ('', #14830, #13290, #15470, .T.);
#15490 = ORIENTED_EDGE ('', *, *, #15480, .F.);
#15500 = EDGE_LOOP ('', (#15360, #15420, #15430, #15490));
#15510 = FACE_OUTER_BOUND ('', #15500, .F.);
#15520 = CARTESIAN_POINT ('', (67.3348078991316, 11.001, 28.2019169930185));
#15530 = CARTESIAN_POINT ('', (67.3348078991316, 8.499, 28.2019169930185));
#15540 = CARTESIAN_POINT ('', (33.714904277275, 11.001, 25.8509843148942));
#15550 = CARTESIAN_POINT ('', (33.714904277275, 8.499, 25.8509843148942));
#15560 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15520, #15530), (#15540, #15550)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.000999999999997669, 33.701), (-11.351, -8.849), .UNSPECIFIED.);
#15570 = ADVANCED_FACE ('', (#15510), #15560, .F.);
#15580 = ORIENTED_EDGE ('', *, *, #13840, .F.);
#15590 = CARTESIAN_POINT ('', (35.193056457405, 8.5, 33.3523679922571));
#15600 = DIRECTION ('', (0., 2.5, 0.));
#15610 = VECTOR ('', #15600, 2.5);
#15620 = LINE ('', #15590, #15610);
#15630 = EDGE_CURVE ('', #13710, #14330, #15620, .T.);
#15640 = ORIENTED_EDGE ('', *, *, #15630, .T.);
#15650 = ORIENTED_EDGE ('', *, *, #14400, .T.);
#15660 = CARTESIAN_POINT ('', (64.8270501665385, 8.5, 35.4245786974906));
#15670 = DIRECTION ('', (0., 2.5, 0.));
#15680 = VECTOR ('', #15670, 2.5);
#15690 = LINE ('', #15660, #15680);
#15700 = EDGE_CURVE ('', #13790, #14350, #15690, .T.);
#15710 = ORIENTED_EDGE ('', *, *, #15700, .F.);
#15720 = EDGE_LOOP ('', (#15580, #15640, #15650, #15710));
#15730 = FACE_OUTER_BOUND ('', #15720, .F.);
#15740 = CARTESIAN_POINT ('', (35.1920588933547, 11.001, 33.3522982357833));
#15750 = CARTESIAN_POINT ('', (35.1920588933547, 8.499, 33.3522982357833));
#15760 = CARTESIAN_POINT ('', (64.8280477305887, 11.001, 35.4246484539644));
#15770 = CARTESIAN_POINT ('', (64.8280477305887, 8.499, 35.4246484539644));
#15780 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15740, #15750), (#15760, #15770)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-31.7041784507546, -1.99582154924536), (-11.351, -8.849), .UNSPECIFIED.);
#15790 = ADVANCED_FACE ('', (#15730), #15780, .F.);
#15800 = ORIENTED_EDGE ('', *, *, #13920, .T.);
#15810 = ORIENTED_EDGE ('', *, *, #15700, .T.);
#15820 = ORIENTED_EDGE ('', *, *, #15260, .T.);
#15830 = CARTESIAN_POINT ('', (65.1469673096599, 11., 35.1046615543692));
#15840 = DIRECTION ('', (0., -2.5, 0.));
#15850 = VECTOR ('', #15840, 2.5);
#15860 = LINE ('', #15830, #15850);
#15870 = EDGE_CURVE ('', #15150, #13870, #15860, .T.);
#15880 = ORIENTED_EDGE ('', *, *, #15870, .T.);
#15890 = EDGE_LOOP ('', (#15800, #15810, #15820, #15880));
#15900 = FACE_OUTER_BOUND ('', #15890, .F.);
#15910 = CARTESIAN_POINT ('', (64.8260526024882, 11.001, 35.4255762615409));
#15920 = CARTESIAN_POINT ('', (64.8260526024882, 8.499, 35.4255762615409));
#15930 = CARTESIAN_POINT ('', (65.1479648737102, 11.001, 35.1036639903189));
#15940 = CARTESIAN_POINT ('', (65.1479648737102, 8.499, 35.1036639903189));
#15950 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15910, #15920), (#15930, #15940)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141076860921352, 0.453841931247243), (2.89781440006741, 5.39981440006741), .UNSPECIFIED.);
#15960 = ADVANCED_FACE ('', (#15900), #15950, .F.);
#15970 = ORIENTED_EDGE ('', *, *, #15870, .F.);
#15980 = ORIENTED_EDGE ('', *, *, #15200, .F.);
#15990 = CARTESIAN_POINT ('', (67.5027057701507, 11.25, 35.1046615543692));
#16000 = VERTEX_POINT ('', #15990);
#16010 = CARTESIAN_POINT ('', (67.5027057701507, 11.25, 35.1046615543692));
#16020 = DIRECTION ('', (-3., -0.25, 0.));
#16030 = VECTOR ('', #16020, 3.01039864469807);
#16040 = LINE ('', #16010, #16030);
#16050 = EDGE_CURVE ('', #16000, #15070, #16040, .T.);
#16060 = ORIENTED_EDGE ('', *, *, #16050, .F.);
#16070 = CARTESIAN_POINT ('', (67.5027057701507, 8.25, 35.1046615543692));
#16080 = VERTEX_POINT ('', #16070);
#16090 = CARTESIAN_POINT ('', (67.5027057701507, 11.25, 35.1046615543692));
#16100 = DIRECTION ('', (0., -3., 0.));
#16110 = VECTOR ('', #16100, 3.);
#16120 = LINE ('', #16090, #16110);
#16130 = EDGE_CURVE ('', #16000, #16080, #16120, .T.);
#16140 = ORIENTED_EDGE ('', *, *, #16130, .T.);
#16150 = CARTESIAN_POINT ('', (67.5027057701507, 8.25, 35.1046615543692));
#16160 = DIRECTION ('', (-3., 0.25, 0.));
#16170 = VECTOR ('', #16160, 3.01039864469807);
#16180 = LINE ('', #16150, #16170);
#16190 = EDGE_CURVE ('', #16080, #13950, #16180, .T.);
#16200 = ORIENTED_EDGE ('', *, *, #16190, .T.);
#16210 = ORIENTED_EDGE ('', *, *, #14000, .T.);
#16220 = EDGE_LOOP ('', (#15970, #15980, #16060, #16140, #16200, #16210));
#16230 = FACE_OUTER_BOUND ('', #16220, .F.);
#16240 = CARTESIAN_POINT ('', (64.5016384496267, 11.251, 35.1046615543692));
#16250 = CARTESIAN_POINT ('', (64.5016384496267, 8.249, 35.1046615543692));
#16260 = CARTESIAN_POINT ('', (67.5037730906747, 11.251, 35.1046615543692));
#16270 = CARTESIAN_POINT ('', (67.5037730906747, 8.249, 35.1046615543692));
#16280 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16240, #16250), (#16260, #16270)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052401171, 3.001067320524), (2.64781440006741, 5.64981440006741), .UNSPECIFIED.);
#16290 = ADVANCED_FACE ('', (#16230), #16280, .F.);
#16300 = CARTESIAN_POINT ('', (66.999218782394, 11., 32.9867293638427));
#16310 = DIRECTION ('', (0., -2.5, 0.));
#16320 = VECTOR ('', #16310, 2.5);
#16330 = LINE ('', #16300, #16320);
#16340 = EDGE_CURVE ('', #14910, #14110, #16330, .T.);
#16350 = ORIENTED_EDGE ('', *, *, #16340, .T.);
#16360 = ORIENTED_EDGE ('', *, *, #14160, .T.);
#16370 = CARTESIAN_POINT ('', (67.5027057701507, 8.25, 33.5659248880049));
#16380 = VERTEX_POINT ('', #16370);
#16390 = CARTESIAN_POINT ('', (64.5027057701507, 8.5, 30.114819666342));
#16400 = DIRECTION ('', (3., -0.25, 3.4511052216629));
#16410 = VECTOR ('', #16400, 4.57958810931605);
#16420 = LINE ('', #16390, #16410);
#16430 = EDGE_CURVE ('', #14030, #16380, #16420, .T.);
#16440 = ORIENTED_EDGE ('', *, *, #16430, .T.);
#16450 = CARTESIAN_POINT ('', (67.5027057701507, 11.25, 33.5659248880049));
#16460 = VERTEX_POINT ('', #16450);
#16470 = CARTESIAN_POINT ('', (67.5027057701507, 11.25, 33.5659248880049));
#16480 = DIRECTION ('', (0., -3., 0.));
#16490 = VECTOR ('', #16480, 3.);
#16500 = LINE ('', #16470, #16490);
#16510 = EDGE_CURVE ('', #16460, #16380, #16500, .T.);
#16520 = ORIENTED_EDGE ('', *, *, #16510, .F.);
#16530 = CARTESIAN_POINT ('', (64.5027057701507, 11., 30.114819666342));
#16540 = DIRECTION ('', (3., 0.25, 3.4511052216629));
#16550 = VECTOR ('', #16540, 4.57958810931605);
#16560 = LINE ('', #16530, #16550);
#16570 = EDGE_CURVE ('', #14990, #16460, #16560, .T.);
#16580 = ORIENTED_EDGE ('', *, *, #16570, .F.);
#16590 = ORIENTED_EDGE ('', *, *, #15040, .F.);
#16600 = EDGE_LOOP ('', (#16350, #16360, #16440, #16520, #16580, #16590));
#16610 = FACE_OUTER_BOUND ('', #16600, .F.);
#16620 = CARTESIAN_POINT ('', (67.5036335777272, 11.251, 33.5669922085289));
#16630 = CARTESIAN_POINT ('', (67.5036335777272, 8.249, 33.5669922085289));
#16640 = CARTESIAN_POINT ('', (64.5017779625742, 11.251, 30.113752345818));
#16650 = CARTESIAN_POINT ('', (64.5017779625742, 8.249, 30.113752345818));
#16660 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16620, #16630), (#16640, #16650)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.80673187847534, 0.768855808766777), (32.249, 35.251), .UNSPECIFIED.);
#16670 = ADVANCED_FACE ('', (#16610), #16660, .F.);
#16680 = ORIENTED_EDGE ('', *, *, #14960, .F.);
#16690 = ORIENTED_EDGE ('', *, *, #15480, .T.);
#16700 = ORIENTED_EDGE ('', *, *, #14220, .T.);
#16710 = ORIENTED_EDGE ('', *, *, #16340, .F.);
#16720 = EDGE_LOOP ('', (#16680, #16690, #16700, #16710));
#16730 = FACE_OUTER_BOUND ('', #16720, .F.);
#16740 = CARTESIAN_POINT ('', (67.3338800915551, 11.001, 28.2008496724945));
#16750 = CARTESIAN_POINT ('', (66.9991490259202, 11.001, 32.987726927893));
#16760 = CARTESIAN_POINT ('', (67.3338800915551, 8.499, 28.2008496724945));
#16770 = CARTESIAN_POINT ('', (66.9991490259202, 8.499, 32.987726927893));
#16780 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16740, #16750), (#16760, #16770)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-35.001, -32.499), (0.202433678216732, 5.001), .UNSPECIFIED.);
#16790 = ADVANCED_FACE ('', (#16730), #16780, .F.);
#16800 = ORIENTED_EDGE ('', *, *, #16510, .T.);
#16810 = CARTESIAN_POINT ('', (67.5027057701507, 8.25, 33.5659248880049));
#16820 = DIRECTION ('', (0., 0., 1.5387366663643));
#16830 = VECTOR ('', #16820, 1.5387366663643);
#16840 = LINE ('', #16810, #16830);
#16850 = EDGE_CURVE ('', #16380, #16080, #16840, .T.);
#16860 = ORIENTED_EDGE ('', *, *, #16850, .T.);
#16870 = ORIENTED_EDGE ('', *, *, #16130, .F.);
#16880 = CARTESIAN_POINT ('', (67.5027057701507, 11.25, 33.5659248880049));
#16890 = DIRECTION ('', (0., 0., 1.5387366663643));
#16900 = VECTOR ('', #16890, 1.5387366663643);
#16910 = LINE ('', #16880, #16900);
#16920 = EDGE_CURVE ('', #16460, #16000, #16910, .T.);
#16930 = ORIENTED_EDGE ('', *, *, #16920, .F.);
#16940 = EDGE_LOOP ('', (#16800, #16860, #16870, #16930));
#16950 = FACE_OUTER_BOUND ('', #16940, .F.);
#16960 = CARTESIAN_POINT ('', (67.5027057701507, 11.251, 35.1057288748932));
#16970 = CARTESIAN_POINT ('', (67.5027057701507, 8.249, 35.1057288748932));
#16980 = CARTESIAN_POINT ('', (67.5027057701507, 11.251, 33.5648575674809));
#16990 = CARTESIAN_POINT ('', (67.5027057701507, 8.249, 33.5648575674809));
#17000 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16960, #16970), (#16980, #16990)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.53980398688824, 0.0010673205240046), (32.249, 35.251), .UNSPECIFIED.);
#17010 = ADVANCED_FACE ('', (#16950), #17000, .F.);
#17020 = ORIENTED_EDGE ('', *, *, #16430, .F.);
#17030 = ORIENTED_EDGE ('', *, *, #14080, .T.);
#17040 = ORIENTED_EDGE ('', *, *, #16190, .F.);
#17050 = ORIENTED_EDGE ('', *, *, #16850, .F.);
#17060 = EDGE_LOOP ('', (#17020, #17030, #17040, #17050));
#17070 = FACE_OUTER_BOUND ('', #17060, .F.);
#17080 = CARTESIAN_POINT ('', (67.8342936264199, 8.22236767864423, 30.3453315458308));
#17090 = CARTESIAN_POINT ('', (67.4891119318698, 8.25113281985674, 35.3159398145441));
#17100 = CARTESIAN_POINT ('', (64.5018023866949, 8.50007528195465, 30.1123010576072));
#17110 = CARTESIAN_POINT ('', (64.1566206921448, 8.52884042316716, 35.0829093263205));
#17120 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17080, #17090), (#17100, #17110)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.492130897891766, 2.86002103545232), (2.27575753352009, 7.25841991387482), .UNSPECIFIED.);
#17130 = ADVANCED_FACE ('', (#17070), #17120, .F.);
#17140 = ORIENTED_EDGE ('', *, *, #15120, .F.);
#17150 = ORIENTED_EDGE ('', *, *, #16570, .T.);
#17160 = ORIENTED_EDGE ('', *, *, #16920, .T.);
#17170 = ORIENTED_EDGE ('', *, *, #16050, .T.);
#17180 = EDGE_LOOP ('', (#17140, #17150, #17160, #17170));
#17190 = FACE_OUTER_BOUND ('', #17180, .F.);
#17200 = CARTESIAN_POINT ('', (64.5018023866948, 10.9999247180453, 30.1123010576072));
#17210 = CARTESIAN_POINT ('', (64.1566206921448, 10.9711595768328, 35.0829093263204));
#17220 = CARTESIAN_POINT ('', (67.8342936264199, 11.2776323213558, 30.3453315458308));
#17230 = CARTESIAN_POINT ('', (67.4891119318699, 11.2488671801433, 35.315939814544));
#17240 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17200, #17210), (#17220, #17230)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.492130897891766, 2.86002103545232), (2.27575753352009, 7.25841991387482), .UNSPECIFIED.);
#17250 = ADVANCED_FACE ('', (#17190), #17240, .F.);
#17260 = ORIENTED_EDGE ('', *, *, #13760, .F.);
#17270 = CARTESIAN_POINT ('', (34.9207765867872, 11., 32.9910403999224));
#17280 = DIRECTION ('', (0., -2.5, 0.));
#17290 = VECTOR ('', #17280, 2.5);
#17300 = LINE ('', #17270, #17290);
#17310 = EDGE_CURVE ('', #14430, #13630, #17300, .T.);
#17320 = ORIENTED_EDGE ('', *, *, #17310, .F.);
#17330 = ORIENTED_EDGE ('', *, *, #14480, .F.);
#17340 = ORIENTED_EDGE ('', *, *, #15630, .F.);
#17350 = EDGE_LOOP ('', (#17260, #17320, #17330, #17340));
#17360 = FACE_OUTER_BOUND ('', #17350, .F.);
#17370 = CARTESIAN_POINT ('', (35.1939054791482, 8.499, 33.3534946821649));
#17380 = CARTESIAN_POINT ('', (35.1939054791482, 11.001, 33.3534946821649));
#17390 = CARTESIAN_POINT ('', (34.919927565044, 8.499, 32.9899137100146));
#17400 = CARTESIAN_POINT ('', (34.919927565044, 11.001, 32.9899137100146));
#17410 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17370, #17380), (#17390, #17400)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141076860921352, 0.453841931247243), (-5.39981440006741, -2.89781440006741), .UNSPECIFIED.);
#17420 = ADVANCED_FACE ('', (#17360), #17410, .F.);
#17430 = ORIENTED_EDGE ('', *, *, #17310, .T.);
#17440 = ORIENTED_EDGE ('', *, *, #13680, .F.);
#17450 = CARTESIAN_POINT ('', (32.5879640110568, 8.25, 32.663184973325));
#17460 = VERTEX_POINT ('', #17450);
#17470 = CARTESIAN_POINT ('', (32.5879640110568, 8.25, 32.663184973325));
#17480 = DIRECTION ('', (2.9708042062247, 0.25, 0.417519302880201));
#17490 = VECTOR ('', #17480, 3.01039864469806);
#17500 = LINE ('', #17470, #17490);
#17510 = EDGE_CURVE ('', #17460, #13550, #17500, .T.);
#17520 = ORIENTED_EDGE ('', *, *, #17510, .F.);
#17530 = CARTESIAN_POINT ('', (32.5879640110568, 11.25, 32.663184973325));
#17540 = VERTEX_POINT ('', #17530);
#17550 = CARTESIAN_POINT ('', (32.5879640110568, 11.25, 32.663184973325));
#17560 = DIRECTION ('', (0., -3., 0.));
#17570 = VECTOR ('', #17560, 3.);
#17580 = LINE ('', #17550, #17570);
#17590 = EDGE_CURVE ('', #17540, #17460, #17580, .T.);
#17600 = ORIENTED_EDGE ('', *, *, #17590, .F.);
#17610 = CARTESIAN_POINT ('', (32.5879640110568, 11.25, 32.663184973325));
#17620 = DIRECTION ('', (2.9708042062247, -0.25, 0.417519302880201));
#17630 = VECTOR ('', #17620, 3.01039864469806);
#17640 = LINE ('', #17610, #17630);
#17650 = EDGE_CURVE ('', #17540, #14510, #17640, .T.);
#17660 = ORIENTED_EDGE ('', *, *, #17650, .T.);
#17670 = ORIENTED_EDGE ('', *, *, #14560, .T.);
#17680 = EDGE_LOOP ('', (#17430, #17440, #17520, #17600, #17660, #17670));
#17690 = FACE_OUTER_BOUND ('', #17680, .F.);
#17700 = CARTESIAN_POINT ('', (35.5598251507156, 8.249, 33.0808528185122));
#17710 = CARTESIAN_POINT ('', (35.5598251507156, 11.251, 33.0808528185122));
#17720 = CARTESIAN_POINT ('', (32.5869070776228, 8.249, 32.663036431018));
#17730 = CARTESIAN_POINT ('', (32.5869070776228, 11.251, 32.663036431018));
#17740 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17700, #17710), (#17720, #17730)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052401526, 3.001067320524), (-5.64981440006741, -2.64781440006741), .UNSPECIFIED.);
#17750 = ADVANCED_FACE ('', (#17690), #17740, .F.);
#17760 = CARTESIAN_POINT ('', (33.3813102886379, 11., 30.6359361986659));
#17770 = DIRECTION ('', (0., -2.5, 0.));
#17780 = VECTOR ('', #17770, 2.5);
#17790 = LINE ('', #17760, #17780);
#17800 = EDGE_CURVE ('', #14670, #13390, #17790, .T.);
#17810 = ORIENTED_EDGE ('', *, *, #17800, .F.);
#17820 = ORIENTED_EDGE ('', *, *, #14720, .T.);
#17830 = CARTESIAN_POINT ('', (32.8021147644757, 11.25, 31.1394231864227));
#17840 = VERTEX_POINT ('', #17830);
#17850 = CARTESIAN_POINT ('', (36.2532199861386, 11., 28.1394231864227));
#17860 = DIRECTION ('', (-3.45110522166291, 0.25, 3.));
#17870 = VECTOR ('', #17860, 4.57958810931605);
#17880 = LINE ('', #17850, #17870);
#17890 = EDGE_CURVE ('', #14590, #17840, #17880, .T.);
#17900 = ORIENTED_EDGE ('', *, *, #17890, .T.);
#17910 = CARTESIAN_POINT ('', (32.8021147644757, 8.25, 31.1394231864227));
#17920 = VERTEX_POINT ('', #17910);
#17930 = CARTESIAN_POINT ('', (32.8021147644757, 11.25, 31.1394231864227));
#17940 = DIRECTION ('', (0., -3., 0.));
#17950 = VECTOR ('', #17940, 3.);
#17960 = LINE ('', #17930, #17950);
#17970 = EDGE_CURVE ('', #17840, #17920, #17960, .T.);
#17980 = ORIENTED_EDGE ('', *, *, #17970, .T.);
#17990 = CARTESIAN_POINT ('', (36.2532199861386, 8.5, 28.1394231864227));
#18000 = DIRECTION ('', (-3.45110522166291, -0.25, 3.));
#18010 = VECTOR ('', #18000, 4.57958810931605);
#18020 = LINE ('', #17990, #18010);
#18030 = EDGE_CURVE ('', #13470, #17920, #18020, .T.);
#18040 = ORIENTED_EDGE ('', *, *, #18030, .F.);
#18050 = ORIENTED_EDGE ('', *, *, #13520, .F.);
#18060 = EDGE_LOOP ('', (#17810, #17820, #17900, #17980, #18040, #18050));
#18070 = FACE_OUTER_BOUND ('', #18060, .F.);
#18080 = CARTESIAN_POINT ('', (32.8010474439517, 8.249, 31.1403509939992));
#18090 = CARTESIAN_POINT ('', (32.8010474439517, 11.251, 31.1403509939992));
#18100 = CARTESIAN_POINT ('', (36.2542873066626, 8.249, 28.1384953788462));
#18110 = CARTESIAN_POINT ('', (36.2542873066626, 11.251, 28.1384953788462));
#18120 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18080, #18090), (#18100, #18110)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.80673187847534, 0.768855808766777), (-35.251, -32.249), .UNSPECIFIED.);
#18130 = ADVANCED_FACE ('', (#18070), #18120, .F.);
#18140 = ORIENTED_EDGE ('', *, *, #14800, .T.);
#18150 = ORIENTED_EDGE ('', *, *, #17800, .T.);
#18160 = ORIENTED_EDGE ('', *, *, #13440, .F.);
#18170 = ORIENTED_EDGE ('', *, *, #15410, .F.);
#18180 = EDGE_LOOP ('', (#18140, #18150, #18160, #18170));
#18190 = FACE_OUTER_BOUND ('', #18180, .F.);
#18200 = CARTESIAN_POINT ('', (33.3812405321641, 11.001, 30.6369337627162));
#18210 = CARTESIAN_POINT ('', (33.715971597799, 11.001, 25.8500565073177));
#18220 = CARTESIAN_POINT ('', (33.3812405321641, 8.499, 30.6369337627162));
#18230 = CARTESIAN_POINT ('', (33.715971597799, 8.499, 25.8500565073177));
#18240 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18200, #18210), (#18220, #18230)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-35.001, -32.499), (-5.001, -0.202433678216732), .UNSPECIFIED.);
#18250 = ADVANCED_FACE ('', (#18190), #18240, .F.);
#18260 = ORIENTED_EDGE ('', *, *, #17970, .F.);
#18270 = CARTESIAN_POINT ('', (32.8021147644757, 11.25, 31.1394231864227));
#18280 = DIRECTION ('', (-0.214150753418899, 0., 1.5237617869023));
#18290 = VECTOR ('', #18280, 1.53873666636419);
#18300 = LINE ('', #18270, #18290);
#18310 = EDGE_CURVE ('', #17840, #17540, #18300, .T.);
#18320 = ORIENTED_EDGE ('', *, *, #18310, .T.);
#18330 = ORIENTED_EDGE ('', *, *, #17590, .T.);
#18340 = CARTESIAN_POINT ('', (32.8021147644757, 8.25, 31.1394231864227));
#18350 = DIRECTION ('', (-0.214150753418899, 0., 1.5237617869023));
#18360 = VECTOR ('', #18350, 1.53873666636419);
#18370 = LINE ('', #18340, #18360);
#18380 = EDGE_CURVE ('', #17920, #17460, #18370, .T.);
#18390 = ORIENTED_EDGE ('', *, *, #18380, .F.);
#18400 = EDGE_LOOP ('', (#18260, #18320, #18330, #18390));
#18410 = FACE_OUTER_BOUND ('', #18400, .F.);
#18420 = CARTESIAN_POINT ('', (32.5878154687498, 8.249, 32.664241906759));
#18430 = CARTESIAN_POINT ('', (32.5878154687498, 11.251, 32.664241906759));
#18440 = CARTESIAN_POINT ('', (32.8022633067827, 8.249, 31.1383662529886));
#18450 = CARTESIAN_POINT ('', (32.8022633067827, 11.251, 31.1383662529886));
#18460 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18420, #18430), (#18440, #18450)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.53980398688824, 0.0010673205240046), (-35.251, -32.249), .UNSPECIFIED.);
#18470 = ADVANCED_FACE ('', (#18410), #18460, .F.);
#18480 = ORIENTED_EDGE ('', *, *, #18030, .T.);
#18490 = ORIENTED_EDGE ('', *, *, #18380, .T.);
#18500 = ORIENTED_EDGE ('', *, *, #17510, .T.);
#18510 = ORIENTED_EDGE ('', *, *, #13600, .F.);
#18520 = EDGE_LOOP ('', (#18480, #18490, #18500, #18510));
#18530 = FACE_OUTER_BOUND ('', #18520, .F.);
#18540 = CARTESIAN_POINT ('', (32.572021304404, 8.25113281985674, 32.874298984623));
#18550 = CARTESIAN_POINT ('', (32.9219738607914, 8.22236767864423, 27.9040243270682));
#18560 = CARTESIAN_POINT ('', (35.9045125441291, 8.52884042316716, 33.1073294728466));
#18570 = CARTESIAN_POINT ('', (36.2544651005165, 8.50007528195465, 28.1370548152918));
#18580 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18540, #18550), (#18560, #18570)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.492130897891762, 2.86002103545232), (-7.25841991387482, -2.27575753352009), .UNSPECIFIED.);
#18590 = ADVANCED_FACE ('', (#18530), #18580, .F.);
#18600 = ORIENTED_EDGE ('', *, *, #14640, .T.);
#18610 = ORIENTED_EDGE ('', *, *, #17650, .F.);
#18620 = ORIENTED_EDGE ('', *, *, #18310, .F.);
#18630 = ORIENTED_EDGE ('', *, *, #17890, .F.);
#18640 = EDGE_LOOP ('', (#18600, #18610, #18620, #18630));
#18650 = FACE_OUTER_BOUND ('', #18640, .F.);
#18660 = CARTESIAN_POINT ('', (35.9045125441291, 10.9711595768328, 33.1073294728466));
#18670 = CARTESIAN_POINT ('', (36.2544651005165, 10.9999247180453, 28.1370548152919));
#18680 = CARTESIAN_POINT ('', (32.572021304404, 11.2488671801433, 32.874298984623));
#18690 = CARTESIAN_POINT ('', (32.9219738607914, 11.2776323213558, 27.9040243270683));
#18700 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18660, #18670), (#18680, #18690)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.492130897891762, 2.86002103545232), (-7.25841991387482, -2.27575753352009), .UNSPECIFIED.);
#18710 = ADVANCED_FACE ('', (#18650), #18700, .F.);
#18720 = CLOSED_SHELL ('', (#14310, #15350, #15570, #15790, #15960, #16290, #16670, #16790, #17010, #17130, #17250, #17420, #17750, #18130, #18250, #18470, #18590, #18710));
#18730 = MANIFOLD_SOLID_BREP ('CUT', #18720);
#18740 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#18750 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#18760 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#18770 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #18740, 'DISTANCE_ACCURACY_VALUE', '');
#18780 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#18770))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#18740, #18750, #18760))
   REPRESENTATION_CONTEXT ('', '3D')
);
#18790 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#18800 = FILL_AREA_STYLE_COLOUR ('', #18790);
#18810 = FILL_AREA_STYLE ('', (#18800));
#18820 = SURFACE_STYLE_FILL_AREA (#18810);
#18830 = SURFACE_SIDE_STYLE ('', (#18820));
#18840 = SURFACE_STYLE_USAGE (.POSITIVE., #18830);
#18850 = PRESENTATION_STYLE_ASSIGNMENT ((#18840));
#18860 = STYLED_ITEM ('', (#18850), #18730);
#18870 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#18730), #18780);
#18880 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#18890 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #18880);
#18900 = MECHANICAL_CONTEXT ('', #18880, 'mechanical');
#18910 = PRODUCT ('NONE', '', '', (#18900));
#18920 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#18930 = PERSON ('', '', $, $, $, $);
#18940 = ORGANIZATION ($, '', '');
#18950 = PERSON_AND_ORGANIZATION (#18930, #18940);
#18960 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18950, #18920, (#18910));
#18970 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#18910));
#18980 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #18910, .NOT_KNOWN.);
#18990 = APPROVAL_STATUS ('approved');
#19000 = APPROVAL (#18990, '');
#19010 = CALENDAR_DATE (2017, 25, 1);
#19020 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19030 = LOCAL_TIME (7, 25, 7., #19020);
#19040 = DATE_AND_TIME (#19010, #19030);
#19050 = APPROVAL_DATE_TIME (#19040, #19000);
#19060 = APPROVAL_ROLE ('');
#19070 = PERSON ('', '', $, $, $, $);
#19080 = ORGANIZATION ($, '', '');
#19090 = PERSON_AND_ORGANIZATION (#19070, #19080);
#19100 = APPROVAL_PERSON_ORGANIZATION (#19090, #19000, #19060);
#19110 = CC_DESIGN_APPROVAL (#19000, (#18980));
#19120 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#19130 = PERSON ('', '', $, $, $, $);
#19140 = ORGANIZATION ($, '', '');
#19150 = PERSON_AND_ORGANIZATION (#19130, #19140);
#19160 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19150, #19120, (#18980));
#19170 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#19180 = PERSON ('', '', $, $, $, $);
#19190 = ORGANIZATION ($, '', '');
#19200 = PERSON_AND_ORGANIZATION (#19180, #19190);
#19210 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19200, #19170, (#18980));
#19220 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#19230 = SECURITY_CLASSIFICATION ('', '', #19220);
#19240 = APPROVAL_STATUS ('approved');
#19250 = APPROVAL (#19240, '');
#19260 = CALENDAR_DATE (2017, 25, 1);
#19270 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19280 = LOCAL_TIME (7, 25, 7., #19270);
#19290 = DATE_AND_TIME (#19260, #19280);
#19300 = APPROVAL_DATE_TIME (#19290, #19250);
#19310 = APPROVAL_ROLE ('');
#19320 = PERSON ('', '', $, $, $, $);
#19330 = ORGANIZATION ($, '', '');
#19340 = PERSON_AND_ORGANIZATION (#19320, #19330);
#19350 = APPROVAL_PERSON_ORGANIZATION (#19340, #19250, #19310);
#19360 = CC_DESIGN_APPROVAL (#19250, (#19230));
#19370 = DATE_TIME_ROLE ('classification_date');
#19380 = CALENDAR_DATE (2017, 25, 1);
#19390 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19400 = LOCAL_TIME (7, 25, 7., #19390);
#19410 = DATE_AND_TIME (#19380, #19400);
#19420 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#19410, #19370, (#19230));
#19430 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#19440 = PERSON ('', '', $, $, $, $);
#19450 = ORGANIZATION ($, '', '');
#19460 = PERSON_AND_ORGANIZATION (#19440, #19450);
#19470 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19460, #19430, (#19230));
#19480 = CC_DESIGN_SECURITY_CLASSIFICATION (#19230, (#18980));
#19490 = DESIGN_CONTEXT ('', #18880, 'design');
#19500 = PRODUCT_DEFINITION ('', '', #18980, #19490);
#19510 = APPROVAL_STATUS ('approved');
#19520 = APPROVAL (#19510, '');
#19530 = CALENDAR_DATE (2017, 25, 1);
#19540 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19550 = LOCAL_TIME (7, 25, 7., #19540);
#19560 = DATE_AND_TIME (#19530, #19550);
#19570 = APPROVAL_DATE_TIME (#19560, #19520);
#19580 = APPROVAL_ROLE ('');
#19590 = PERSON ('', '', $, $, $, $);
#19600 = ORGANIZATION ($, '', '');
#19610 = PERSON_AND_ORGANIZATION (#19590, #19600);
#19620 = APPROVAL_PERSON_ORGANIZATION (#19610, #19520, #19580);
#19630 = CC_DESIGN_APPROVAL (#19520, (#19500));
#19640 = DATE_TIME_ROLE ('creation_date');
#19650 = CALENDAR_DATE (2017, 25, 1);
#19660 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19670 = LOCAL_TIME (7, 25, 7., #19660);
#19680 = DATE_AND_TIME (#19650, #19670);
#19690 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#19680, #19640, (#19500));
#19700 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#19710 = PERSON ('', '', $, $, $, $);
#19720 = ORGANIZATION ($, '', '');
#19730 = PERSON_AND_ORGANIZATION (#19710, #19720);
#19740 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19730, #19700, (#19500));
#19750 = PRODUCT_DEFINITION_SHAPE ('', '', #19500);
#19760 = SHAPE_DEFINITION_REPRESENTATION (#19750, #18870);
ENDSEC;
END-ISO-10303-21;