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

DATA;
#10 = CARTESIAN_POINT ('', (35.5, 9.5, 35.));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (36.3186091253171, 9.5, 43.));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (75.0000000000008, 9.49999999999979, 35.));
#60 = DIRECTION ('', (5.30658498858798E-15, 1., -7.34405591653592E-16));
#70 = DIRECTION ('', (-1., 5.30658498858798E-15, 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, 8.5, 35.));
#130 = VERTEX_POINT ('', #120);
#140 = CARTESIAN_POINT ('', (35.5, 8.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, 8.5, 43.));
#220 = VERTEX_POINT ('', #210);
#230 = CARTESIAN_POINT ('', (74.9999999999972, 8.5, 35.0000000000001));
#240 = DIRECTION ('', (0., -1., 0.));
#250 = DIRECTION ('', (-0.98029666820273, 0., 0.197530864197541));
#260 = AXIS2_PLACEMENT_3D ('', #230, #240, #250);
#270 = CIRCLE ('', #260, 40.4999999999972);
#280 = EDGE_CURVE ('', #220, #130, #270, .T.);
#290 = ORIENTED_EDGE ('', *, *, #280, .F.);
#300 = CARTESIAN_POINT ('', (36.3186091253171, 9.5, 43.));
#310 = CARTESIAN_POINT ('', (36.1851985332175, 9.5, 43.));
#320 = CARTESIAN_POINT ('', (36.0543898238354, 9.47467484452754, 43.));
#330 = CARTESIAN_POINT ('', (35.8084299748682, 9.37591208186008, 43.));
#340 = CARTESIAN_POINT ('', (35.6955433283878, 9.30281910281749, 43.));
#350 = CARTESIAN_POINT ('', (35.4113967377319, 9.02743107088417, 43.));
#360 = CARTESIAN_POINT ('', (35.2979849377894, 8.76698116225372, 43.));
#370 = CARTESIAN_POINT ('', (35.2979849377894, 8.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.02308642695668E-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, 8.5, 35.));
#440 = CARTESIAN_POINT ('', (34.5, 7.5, 35.));
#450 = CARTESIAN_POINT ('', (35.5, 7.5, 35.));
#460 = CARTESIAN_POINT ('', (36.5, 7.5, 35.));
#470 = CARTESIAN_POINT ('', (36.5, 8.5, 35.));
#480 = CARTESIAN_POINT ('', (36.5, 9.5, 35.));
#490 = CARTESIAN_POINT ('', (35.5, 9.5, 35.));
#500 = CARTESIAN_POINT ('', (34.5, 9.5, 35.));
#510 = CARTESIAN_POINT ('', (34.5, 8.5, 35.));
#520 = CARTESIAN_POINT ('', (34.5, 8.5, -5.49999999999998));
#530 = CARTESIAN_POINT ('', (34.5, 7.5, -5.49999999999998));
#540 = CARTESIAN_POINT ('', (35.5, 7.5, -4.49999999999998));
#550 = CARTESIAN_POINT ('', (36.5, 7.5, -3.49999999999998));
#560 = CARTESIAN_POINT ('', (36.5, 8.5, -3.49999999999998));
#570 = CARTESIAN_POINT ('', (36.5, 9.5, -3.49999999999998));
#580 = CARTESIAN_POINT ('', (35.5, 9.5, -4.49999999999998));
#590 = CARTESIAN_POINT ('', (34.5, 9.5, -5.49999999999998));
#600 = CARTESIAN_POINT ('', (34.5, 8.5, -5.49999999999998));
#610 = CARTESIAN_POINT ('', (75., 8.5, -5.49999999999998));
#620 = CARTESIAN_POINT ('', (75., 7.5, -5.49999999999998));
#630 = CARTESIAN_POINT ('', (75., 7.5, -4.49999999999998));
#640 = CARTESIAN_POINT ('', (75., 7.5, -3.49999999999998));
#650 = CARTESIAN_POINT ('', (75., 8.5, -3.49999999999998));
#660 = CARTESIAN_POINT ('', (75., 9.5, -3.49999999999998));
#670 = CARTESIAN_POINT ('', (75., 9.5, -4.49999999999998));
#680 = CARTESIAN_POINT ('', (75., 9.5, -5.49999999999998));
#690 = CARTESIAN_POINT ('', (75., 8.5, -5.49999999999998));
#700 = CARTESIAN_POINT ('', (115.5, 8.5, -5.49999999999998));
#710 = CARTESIAN_POINT ('', (115.5, 7.5, -5.49999999999998));
#720 = CARTESIAN_POINT ('', (114.5, 7.5, -4.49999999999998));
#730 = CARTESIAN_POINT ('', (113.5, 7.5, -3.49999999999998));
#740 = CARTESIAN_POINT ('', (113.5, 8.5, -3.49999999999998));
#750 = CARTESIAN_POINT ('', (113.5, 9.5, -3.49999999999998));
#760 = CARTESIAN_POINT ('', (114.5, 9.5, -4.49999999999998));
#770 = CARTESIAN_POINT ('', (115.5, 9.5, -5.49999999999998));
#780 = CARTESIAN_POINT ('', (115.5, 8.5, -5.49999999999998));
#790 = CARTESIAN_POINT ('', (115.5, 8.5, 35.));
#800 = CARTESIAN_POINT ('', (115.5, 7.5, 35.));
#810 = CARTESIAN_POINT ('', (114.5, 7.5, 35.));
#820 = CARTESIAN_POINT ('', (113.5, 7.5, 35.));
#830 = CARTESIAN_POINT ('', (113.5, 8.5, 35.));
#840 = CARTESIAN_POINT ('', (113.5, 9.5, 35.));
#850 = CARTESIAN_POINT ('', (114.5, 9.5, 35.));
#860 = CARTESIAN_POINT ('', (115.5, 9.5, 35.));
#870 = CARTESIAN_POINT ('', (115.5, 8.5, 35.));
#880 = CARTESIAN_POINT ('', (115.5, 8.5, 75.5));
#890 = CARTESIAN_POINT ('', (115.5, 7.5, 75.5));
#900 = CARTESIAN_POINT ('', (114.5, 7.5, 74.5));
#910 = CARTESIAN_POINT ('', (113.5, 7.5, 73.5));
#920 = CARTESIAN_POINT ('', (113.5, 8.5, 73.5));
#930 = CARTESIAN_POINT ('', (113.5, 9.5, 73.5));
#940 = CARTESIAN_POINT ('', (114.5, 9.5, 74.5));
#950 = CARTESIAN_POINT ('', (115.5, 9.5, 75.5));
#960 = CARTESIAN_POINT ('', (115.5, 8.5, 75.5));
#970 = CARTESIAN_POINT ('', (75., 8.5, 75.5));
#980 = CARTESIAN_POINT ('', (75., 7.5, 75.5));
#990 = CARTESIAN_POINT ('', (75., 7.5, 74.5));
#1000 = CARTESIAN_POINT ('', (75., 7.5, 73.5));
#1010 = CARTESIAN_POINT ('', (75., 8.5, 73.5));
#1020 = CARTESIAN_POINT ('', (75., 9.5, 73.5));
#1030 = CARTESIAN_POINT ('', (75., 9.5, 74.5));
#1040 = CARTESIAN_POINT ('', (75., 9.5, 75.5));
#1050 = CARTESIAN_POINT ('', (75., 8.5, 75.5));
#1060 = CARTESIAN_POINT ('', (34.5, 8.5, 75.5));
#1070 = CARTESIAN_POINT ('', (34.5, 7.5, 75.5));
#1080 = CARTESIAN_POINT ('', (35.5, 7.5, 74.5));
#1090 = CARTESIAN_POINT ('', (36.5, 7.5, 73.5));
#1100 = CARTESIAN_POINT ('', (36.5, 8.5, 73.5));
#1110 = CARTESIAN_POINT ('', (36.5, 9.5, 73.5));
#1120 = CARTESIAN_POINT ('', (35.5, 9.5, 74.5));
#1130 = CARTESIAN_POINT ('', (34.5, 9.5, 75.5));
#1140 = CARTESIAN_POINT ('', (34.5, 8.5, 75.5));
#1150 = CARTESIAN_POINT ('', (34.5, 8.5, 35.));
#1160 = CARTESIAN_POINT ('', (34.5, 7.5, 35.));
#1170 = CARTESIAN_POINT ('', (35.5, 7.5, 35.));
#1180 = CARTESIAN_POINT ('', (36.5, 7.5, 35.));
#1190 = CARTESIAN_POINT ('', (36.5, 8.5, 35.));
#1200 = CARTESIAN_POINT ('', (36.5, 9.5, 35.));
#1210 = CARTESIAN_POINT ('', (35.5, 9.5, 35.));
#1220 = CARTESIAN_POINT ('', (34.5, 9.5, 35.));
#1230 = CARTESIAN_POINT ('', (34.5, 8.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, 8.5, 35.));
#1300 = DIRECTION ('', (0., -8.5, 0.));
#1310 = VECTOR ('', #1300, 8.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, 8.5, 43.));
#1450 = DIRECTION ('', (0., -8.5, 0.));
#1460 = VECTOR ('', #1450, 8.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, 9.3512, 35.));
#1530 = CARTESIAN_POINT ('', (34.5, -0.851199999999999, 35.));
#1540 = CARTESIAN_POINT ('', (34.5, 9.3512, -5.5));
#1550 = CARTESIAN_POINT ('', (34.5, -0.851199999999999, -5.5));
#1560 = CARTESIAN_POINT ('', (75., 9.35120000000001, -5.5));
#1570 = CARTESIAN_POINT ('', (75., -0.851199999999997, -5.5));
#1580 = CARTESIAN_POINT ('', (115.5, 9.35120000000001, -5.50000000000001));
#1590 = CARTESIAN_POINT ('', (115.5, -0.851199999999995, -5.50000000000001));
#1600 = CARTESIAN_POINT ('', (115.5, 9.35120000000001, 35.));
#1610 = CARTESIAN_POINT ('', (115.5, -0.851199999999995, 35.));
#1620 = CARTESIAN_POINT ('', (115.5, 9.35120000000001, 75.5));
#1630 = CARTESIAN_POINT ('', (115.5, -0.851199999999995, 75.5));
#1640 = CARTESIAN_POINT ('', (75., 9.35120000000001, 75.5));
#1650 = CARTESIAN_POINT ('', (75., -0.851199999999997, 75.5));
#1660 = CARTESIAN_POINT ('', (34.5, 9.3512, 75.5));
#1670 = CARTESIAN_POINT ('', (34.5, -0.851199999999999, 75.5));
#1680 = CARTESIAN_POINT ('', (34.5, 9.3512, 35.));
#1690 = CARTESIAN_POINT ('', (34.5, -0.851199999999999, 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 ('', (0.500000000000014, 0., -7.34788079488414E-16));
#1730 = VERTEX_POINT ('', #1720);
#1740 = CARTESIAN_POINT ('', (0.500000000000015, -1.77635683940025E-15, 19.7));
#1750 = VERTEX_POINT ('', #1740);
#1760 = CARTESIAN_POINT ('', (0.500000000000014, 0., -7.34788079488414E-16));
#1770 = DIRECTION ('', (9.99200722162641E-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 ('', (0.500000000000015, -1.77635683940025E-15, 19.7));
#1850 = DIRECTION ('', (29.5, 1.77635683940025E-15, 0.));
#1860 = VECTOR ('', #1850, 29.5);
#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 ('', (0.500000000000016, -1.77635683940025E-15, 27.3));
#1990 = VERTEX_POINT ('', #1980);
#2000 = CARTESIAN_POINT ('', (30., 0., 27.3));
#2010 = DIRECTION ('', (-29.5, -1.77635683940025E-15, 0.));
#2020 = VECTOR ('', #2010, 29.5);
#2030 = LINE ('', #2000, #2020);
#2040 = EDGE_CURVE ('', #1910, #1990, #2030, .T.);
#2050 = ORIENTED_EDGE ('', *, *, #2040, .T.);
#2060 = CARTESIAN_POINT ('', (0.500000000000016, -1.77635683940025E-15, 43.));
#2070 = VERTEX_POINT ('', #2060);
#2080 = CARTESIAN_POINT ('', (0.500000000000016, -1.77635683940025E-15, 27.3));
#2090 = DIRECTION ('', (0., 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 ('', (0.500000000000016, -1.77635683940025E-15, 43.));
#2150 = DIRECTION ('', (34.7979849377894, 1.77635683940025E-15, 0.));
#2160 = VECTOR ('', #2150, 34.7979849377894);
#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., 9.52948053126403E-15, 35.));
#2240 = DIRECTION ('', (2.35295815586766E-16, -1., -9.97916137851792E-32));
#2250 = DIRECTION ('', (-1., -2.35295815586766E-16, 0.));
#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 ('', (-29.5, -5.32907051820075E-15, 8.41579155374911E-15));
#2400 = VECTOR ('', #2390, 29.5);
#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.499000000000013, -1.25311835537771E-31, -0.00100000000000915));
#2490 = CARTESIAN_POINT ('', (0.499000000000013, -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), (-66.651, -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, 9.5, 14.9415436450921));
#2630 = VERTEX_POINT ('', #2620);
#2640 = CARTESIAN_POINT ('', (67.15, 11., 14.9415436450921));
#2650 = DIRECTION ('', (0., -1.5, 0.));
#2660 = VECTOR ('', #2650, 1.5);
#2670 = LINE ('', #2640, #2660);
#2680 = EDGE_CURVE ('', #2550, #2630, #2670, .T.);
#2690 = ORIENTED_EDGE ('', *, *, #2680, .T.);
#2700 = CARTESIAN_POINT ('', (67.15, 9.5, 28.1889939658102));
#2710 = VERTEX_POINT ('', #2700);
#2720 = CARTESIAN_POINT ('', (67.15, 9.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, 9.5, 28.1889939658102));
#2790 = DIRECTION ('', (0., 1.5, 0.));
#2800 = VECTOR ('', #2790, 1.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, 9.499, 14.9405436450921));
#2890 = CARTESIAN_POINT ('', (67.15, 9.499, 28.1899939658102));
#2900 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2860, #2870), (#2880, #2890)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (9.499, 11.001), (14.9405436450921, 28.1899939658102), .UNSPECIFIED.);
#2910 = ADVANCED_FACE ('', (#2850), #2900, .F.);
#2920 = CARTESIAN_POINT ('', (36.5278535283167, 9.5, 26.0476848881784));
#2930 = VERTEX_POINT ('', #2920);
#2940 = CARTESIAN_POINT ('', (67.15, 9.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, 9.5, 5.09346611496997));
#3020 = VERTEX_POINT ('', #3010);
#3030 = CARTESIAN_POINT ('', (57.15, 9.50000000000001, 14.9415436450921));
#3040 = DIRECTION ('', (8.88178419700122E-16, 1., -5.90584353948566E-16));
#3050 = DIRECTION ('', (1., -8.88178419700122E-16, 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, 9.5000000000027, 3.68873101893187));
#3110 = VERTEX_POINT ('', #3100);
#3120 = CARTESIAN_POINT ('', (50.9198331651291, 9.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.0000000000003, 9.50000000000002, 35.0000000000002));
#3190 = DIRECTION ('', (-3.29604798204703E-16, 1., -3.13836844798616E-16));
#3200 = DIRECTION ('', (-0.609624476832174, -4.49710592253224E-16, -0.792690353951086));
#3210 = AXIS2_PLACEMENT_3D ('', #3180, #3190, #3200);
#3220 = CIRCLE ('', #3210, 39.5000000000004);
#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, 9.5, 3.68773101893187));
#3280 = CARTESIAN_POINT ('', (67.151, 9.5, 28.1899939658102));
#3290 = CARTESIAN_POINT ('', (36.5268535283167, 9.5, 3.68773101893187));
#3300 = CARTESIAN_POINT ('', (36.5268535283167, 9.5, 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.42939569552359E-16, 0.500000000000016, -6.42939569552359E-16));
#3510 = VERTEX_POINT ('', #3500);
#3520 = CARTESIAN_POINT ('', (6.42939569552359E-16, 0.500000000000016, -6.42939569552359E-16));
#3530 = DIRECTION ('', (-6.42939569552359E-16, 10.5, 6.42939569552359E-16));
#3540 = VECTOR ('', #3530, 10.5);
#3550 = LINE ('', #3520, #3540);
#3560 = EDGE_CURVE ('', #3510, #3430, #3550, .T.);
#3570 = ORIENTED_EDGE ('', *, *, #3560, .F.);
#3580 = CARTESIAN_POINT ('', (6.42939569552359E-16, 0.500000000000016, -6.42939569552359E-16));
#3590 = DIRECTION ('', (0.500000000000013, -0.500000000000016, -9.1848509936055E-17));
#3600 = VECTOR ('', #3590, 0.707106781186568);
#3610 = LINE ('', #3580, #3600);
#3620 = EDGE_CURVE ('', #3510, #1730, #3610, .T.);
#3630 = ORIENTED_EDGE ('', *, *, #3620, .T.);
#3640 = EDGE_LOOP ('', (#3330, #3410, #3490, #3570, #3630));
#3650 = FACE_OUTER_BOUND ('', #3640, .F.);
#3660 = CARTESIAN_POINT ('', (30.001, 11.001, -3.67400162978202E-15));
#3670 = CARTESIAN_POINT ('', (30.001, -0.000999999999997669, -4.34767983399298E-15));
#3680 = CARTESIAN_POINT ('', (-0.00100000000000122, 11.001, 1.83697019871012E-19));
#3690 = CARTESIAN_POINT ('', (-0.00100000000000122, -0.000999999999997669, -6.73494507191088E-16));
#3700 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3660, #3670), (#3680, #3690)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000122, 30.001), (-11.001, 0.000999999999999446), .UNSPECIFIED.);
#3710 = ADVANCED_FACE ('', (#3650), #3700, .F.);
#3720 = CARTESIAN_POINT ('', (2.52960117774769E-15, 0.500000000000014, 43.));
#3730 = VERTEX_POINT ('', #3720);
#3740 = CARTESIAN_POINT ('', (1.88666160819533E-15, 11., 43.));
#3750 = VERTEX_POINT ('', #3740);
#3760 = CARTESIAN_POINT ('', (2.52960117774769E-15, 0.500000000000014, 43.));
#3770 = DIRECTION ('', (-6.4293956955236E-16, 10.5, 0.));
#3780 = VECTOR ('', #3770, 10.5);
#3790 = LINE ('', #3760, #3780);
#3800 = EDGE_CURVE ('', #3730, #3750, #3790, .T.);
#3810 = ORIENTED_EDGE ('', *, *, #3800, .F.);
#3820 = CARTESIAN_POINT ('', (2.52960117774769E-15, 0.500000000000014, 43.));
#3830 = DIRECTION ('', (-1.88666160819533E-15, 1.99840144432528E-15, -43.));
#3840 = VECTOR ('', #3830, 43.);
#3850 = LINE ('', #3820, #3840);
#3860 = EDGE_CURVE ('', #3730, #3510, #3850, .T.);
#3870 = ORIENTED_EDGE ('', *, *, #3860, .T.);
#3880 = ORIENTED_EDGE ('', *, *, #3560, .T.);
#3890 = CARTESIAN_POINT ('', (0., 11., 0.));
#3900 = DIRECTION ('', (1.88666160819533E-15, 0., 43.));
#3910 = VECTOR ('', #3900, 43.);
#3920 = LINE ('', #3890, #3910);
#3930 = EDGE_CURVE ('', #3430, #3750, #3920, .T.);
#3940 = ORIENTED_EDGE ('', *, *, #3930, .T.);
#3950 = EDGE_LOOP ('', (#3810, #3870, #3880, #3940));
#3960 = FACE_OUTER_BOUND ('', #3950, .F.);
#3970 = CARTESIAN_POINT ('', (-1.05108191311361E-19, 11.001, -0.000999999999997669));
#3980 = CARTESIAN_POINT ('', (6.42956926040963E-16, 0.499000000000017, -0.000999999999998312));
#3990 = CARTESIAN_POINT ('', (1.88664425170673E-15, 11.001, 43.001));
#4000 = CARTESIAN_POINT ('', (2.529706285939E-15, 0.499000000000017, 43.001));
#4010 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3970, #3980), (#3990, #4000)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.000999999999997669, 43.001), (-11.001, -0.499000000000017), .UNSPECIFIED.);
#4020 = ADVANCED_FACE ('', (#3960), #4010, .F.);
#4030 = CARTESIAN_POINT ('', (48.7226226147383, 11., 43.));
#4040 = VERTEX_POINT ('', #4030);
#4050 = CARTESIAN_POINT ('', (1.88666160819533E-15, 11., 43.));
#4060 = DIRECTION ('', (48.7226226147383, 0., 0.));
#4070 = VECTOR ('', #4060, 48.7226226147383);
#4080 = LINE ('', #4050, #4070);
#4090 = EDGE_CURVE ('', #3750, #4040, #4080, .T.);
#4100 = ORIENTED_EDGE ('', *, *, #4090, .T.);
#4110 = CARTESIAN_POINT ('', (48.7226226147383, 9.5, 43.));
#4120 = VERTEX_POINT ('', #4110);
#4130 = CARTESIAN_POINT ('', (48.7226226147383, 11., 43.));
#4140 = DIRECTION ('', (0., -1.5, 0.));
#4150 = VECTOR ('', #4140, 1.5);
#4160 = LINE ('', #4130, #4150);
#4170 = EDGE_CURVE ('', #4040, #4120, #4160, .T.);
#4180 = ORIENTED_EDGE ('', *, *, #4170, .T.);
#4190 = CARTESIAN_POINT ('', (36.3186091253171, 9.5, 43.));
#4200 = DIRECTION ('', (12.4040134894212, 0., 0.));
#4210 = VECTOR ('', #4200, 12.4040134894212);
#4220 = LINE ('', #4190, #4210);
#4230 = EDGE_CURVE ('', #40, #4120, #4220, .T.);
#4240 = ORIENTED_EDGE ('', *, *, #4230, .F.);
#4250 = ORIENTED_EDGE ('', *, *, #390, .T.);
#4260 = ORIENTED_EDGE ('', *, *, #1480, .T.);
#4270 = ORIENTED_EDGE ('', *, *, #2180, .F.);
#4280 = CARTESIAN_POINT ('', (0.500000000000016, -1.77635683940025E-15, 43.));
#4290 = DIRECTION ('', (-0.500000000000014, 0.500000000000016, 0.));
#4300 = VECTOR ('', #4290, 0.707106781186568);
#4310 = LINE ('', #4280, #4300);
#4320 = EDGE_CURVE ('', #2070, #3730, #4310, .T.);
#4330 = ORIENTED_EDGE ('', *, *, #4320, .T.);
#4340 = ORIENTED_EDGE ('', *, *, #3800, .T.);
#4350 = EDGE_LOOP ('', (#4100, #4180, #4240, #4250, #4260, #4270, #4330, #4340));
#4360 = FACE_OUTER_BOUND ('', #4350, .F.);
#4370 = CARTESIAN_POINT ('', (-0.000999999999998342, 11.001, 43.));
#4380 = CARTESIAN_POINT ('', (-0.000999999999997669, -0.000999999999999446, 43.));
#4390 = CARTESIAN_POINT ('', (48.7236226147383, 11.001, 43.));
#4400 = CARTESIAN_POINT ('', (48.7236226147383, -0.000999999999999446, 43.));
#4410 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4370, #4380), (#4390, #4400)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-48.7236226147383, 0.001), (-11.001, 0.000999999999999446), .UNSPECIFIED.);
#4420 = ADVANCED_FACE ('', (#4360), #4410, .F.);
#4430 = CARTESIAN_POINT ('', (33.7159018413253, 11., 25.851054071368));
#4440 = VERTEX_POINT ('', #4430);
#4450 = CARTESIAN_POINT ('', (33.7159018413253, 11., 25.851054071368));
#4460 = DIRECTION ('', (33.4340981586747, 0., 2.3379398944422));
#4470 = VECTOR ('', #4460, 33.5157408188141);
#4480 = LINE ('', #4450, #4470);
#4490 = EDGE_CURVE ('', #4440, #2530, #4480, .T.);
#4500 = ORIENTED_EDGE ('', *, *, #4490, .F.);
#4510 = CARTESIAN_POINT ('', (33.4452467231981, 11., 29.7216025863761));
#4520 = VERTEX_POINT ('', #4510);
#4530 = CARTESIAN_POINT ('', (33.4452467231981, 11., 29.7216025863761));
#4540 = DIRECTION ('', (0.270655118127195, 0., -3.8705485150081));
#4550 = VECTOR ('', #4540, 3.87999999999998);
#4560 = LINE ('', #4530, #4550);
#4570 = EDGE_CURVE ('', #4520, #4440, #4560, .T.);
#4580 = ORIENTED_EDGE ('', *, *, #4570, .F.);
#4590 = CARTESIAN_POINT ('', (31.9489006478084, 11., 29.6169678757599));
#4600 = VERTEX_POINT ('', #4590);
#4610 = CARTESIAN_POINT ('', (31.9489006478084, 11., 29.6169678757599));
#4620 = DIRECTION ('', (1.4963460753897, 0., 0.1046347106162));
#4630 = VECTOR ('', #4620, 1.49999999999997);
#4640 = LINE ('', #4610, #4630);
#4650 = EDGE_CURVE ('', #4600, #4520, #4640, .T.);
#4660 = ORIENTED_EDGE ('', *, *, #4650, .F.);
#4670 = CARTESIAN_POINT ('', (31.704752989704, 11., 33.1084420516693));
#4680 = VERTEX_POINT ('', #4670);
#4690 = CARTESIAN_POINT ('', (31.704752989704, 11., 33.1084420516693));
#4700 = DIRECTION ('', (0.244147658104399, 0., -3.4914741759094));
#4710 = VECTOR ('', #4700, 3.50000000000001);
#4720 = LINE ('', #4690, #4710);
#4730 = EDGE_CURVE ('', #4680, #4600, #4720, .T.);
#4740 = ORIENTED_EDGE ('', *, *, #4730, .F.);
#4750 = CARTESIAN_POINT ('', (61.5, 11., 35.1919286861685));
#4760 = VERTEX_POINT ('', #4750);
#4770 = CARTESIAN_POINT ('', (61.5, 11., 35.1919286861685));
#4780 = DIRECTION ('', (-29.795247010296, 0., -2.0834866344992));
#4790 = VECTOR ('', #4780, 29.8680039667985);
#4800 = LINE ('', #4770, #4790);
#4810 = EDGE_CURVE ('', #4760, #4680, #4800, .T.);
#4820 = ORIENTED_EDGE ('', *, *, #4810, .F.);
#4830 = CARTESIAN_POINT ('', (59.115461869021, 11., 37.5764668171475));
#4840 = VERTEX_POINT ('', #4830);
#4850 = CARTESIAN_POINT ('', (59.115461869021, 11., 37.5764668171475));
#4860 = DIRECTION ('', (2.384538130979, 0., -2.384538130979));
#4870 = VECTOR ('', #4860, 3.37224616482629);
#4880 = LINE ('', #4850, #4870);
#4890 = EDGE_CURVE ('', #4840, #4760, #4880, .T.);
#4900 = ORIENTED_EDGE ('', *, *, #4890, .F.);
#4910 = CARTESIAN_POINT ('', (58.0799279630882, 11., 38.371059930137));
#4920 = VERTEX_POINT ('', #4910);
#4930 = CARTESIAN_POINT ('', (55.5799279630885, 11., 34.0409329112151));
#4940 = DIRECTION ('', (0., -1., 0.));
#4950 = DIRECTION ('', (0.70710678118656, 0., 0.707106781186535));
#4960 = AXIS2_PLACEMENT_3D ('', #4930, #4940, #4950);
#4970 = CIRCLE ('', #4960, 4.99999999999961);
#4980 = EDGE_CURVE ('', #4840, #4920, #4970, .T.);
#4990 = ORIENTED_EDGE ('', *, *, #4980, .T.);
#5000 = CARTESIAN_POINT ('', (51.2226226147383, 11., 42.3301270189222));
#5010 = VERTEX_POINT ('', #5000);
#5020 = CARTESIAN_POINT ('', (51.2226226147383, 11., 42.3301270189222));
#5030 = DIRECTION ('', (6.8573053483499, 0., -3.9590670887852));
#5040 = VECTOR ('', #5030, 7.91813417757052);
#5050 = LINE ('', #5020, #5040);
#5060 = EDGE_CURVE ('', #5010, #4920, #5050, .T.);
#5070 = ORIENTED_EDGE ('', *, *, #5060, .F.);
#5080 = CARTESIAN_POINT ('', (48.7226226147383, 10.9999999999999, 38.));
#5090 = DIRECTION ('', (3.6247270057664E-15, -1., 1.22653842791459E-14));
#5100 = DIRECTION ('', (0.499999999999999, 1.24344978758018E-14, 0.866025403784439));
#5110 = AXIS2_PLACEMENT_3D ('', #5080, #5090, #5100);
#5120 = CIRCLE ('', #5110, 4.99999999999998);
#5130 = EDGE_CURVE ('', #5010, #4040, #5120, .T.);
#5140 = ORIENTED_EDGE ('', *, *, #5130, .T.);
#5150 = ORIENTED_EDGE ('', *, *, #4090, .F.);
#5160 = ORIENTED_EDGE ('', *, *, #3930, .F.);
#5170 = ORIENTED_EDGE ('', *, *, #3480, .F.);
#5180 = CARTESIAN_POINT ('', (58.8864817766692, 11., 5.09346611496997));
#5190 = VERTEX_POINT ('', #5180);
#5200 = CARTESIAN_POINT ('', (58.8864817766692, 11., 5.09346611496997));
#5210 = DIRECTION ('', (-28.8864817766692, 0., -5.09346611496998));
#5220 = VECTOR ('', #5210, 29.3321023197825);
#5230 = LINE ('', #5200, #5220);
#5240 = EDGE_CURVE ('', #5190, #3350, #5230, .T.);
#5250 = ORIENTED_EDGE ('', *, *, #5240, .F.);
#5260 = CARTESIAN_POINT ('', (57.1499999999999, 11., 14.9415436450921));
#5270 = DIRECTION ('', (0., -1., 0.));
#5280 = DIRECTION ('', (0.173648177666925, 0., -0.984807753012209));
#5290 = AXIS2_PLACEMENT_3D ('', #5260, #5270, #5280);
#5300 = CIRCLE ('', #5290, 10.0000000000001);
#5310 = EDGE_CURVE ('', #5190, #2550, #5300, .T.);
#5320 = ORIENTED_EDGE ('', *, *, #5310, .T.);
#5330 = ORIENTED_EDGE ('', *, *, #2600, .F.);
#5340 = EDGE_LOOP ('', (#4500, #4580, #4660, #4740, #4820, #4900, #4990, #5070, #5140, #5150, #5160, #5170, #5250, #5320, #5330));
#5350 = FACE_OUTER_BOUND ('', #5340, .F.);
#5360 = CARTESIAN_POINT ('', (-0.00100000000000477, 11., -0.00100000000000822));
#5370 = CARTESIAN_POINT ('', (-0.00100000000000477, 11., 43.001));
#5380 = CARTESIAN_POINT ('', (67.151, 11., -0.00100000000000822));
#5390 = CARTESIAN_POINT ('', (67.151, 11., 43.001));
#5400 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5360, #5370), (#5380, #5390)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-67.151, 0.00100000000000477), (-0.001, 43.001), .UNSPECIFIED.);
#5410 = ADVANCED_FACE ('', (#5350), #5400, .F.);
#5420 = CARTESIAN_POINT ('', (58.0799279630882, 9.5, 38.371059930137));
#5430 = VERTEX_POINT ('', #5420);
#5440 = CARTESIAN_POINT ('', (51.2226226147383, 9.5, 42.3301270189222));
#5450 = VERTEX_POINT ('', #5440);
#5460 = CARTESIAN_POINT ('', (58.0799279630882, 9.5, 38.371059930137));
#5470 = DIRECTION ('', (-6.8573053483499, 0., 3.9590670887852));
#5480 = VECTOR ('', #5470, 7.91813417757052);
#5490 = LINE ('', #5460, #5480);
#5500 = EDGE_CURVE ('', #5430, #5450, #5490, .T.);
#5510 = ORIENTED_EDGE ('', *, *, #5500, .F.);
#5520 = CARTESIAN_POINT ('', (59.115461869021, 9.5, 37.5764668171475));
#5530 = VERTEX_POINT ('', #5520);
#5540 = CARTESIAN_POINT ('', (55.5799279630885, 9.5, 34.0409329112151));
#5550 = DIRECTION ('', (0., 1., 0.));
#5560 = DIRECTION ('', (0.499999999999983, 0., 0.866025403784448));
#5570 = AXIS2_PLACEMENT_3D ('', #5540, #5550, #5560);
#5580 = CIRCLE ('', #5570, 4.99999999999961);
#5590 = EDGE_CURVE ('', #5430, #5530, #5580, .T.);
#5600 = ORIENTED_EDGE ('', *, *, #5590, .T.);
#5610 = CARTESIAN_POINT ('', (61.5, 9.5, 35.1919286861685));
#5620 = VERTEX_POINT ('', #5610);
#5630 = CARTESIAN_POINT ('', (61.5, 9.5, 35.1919286861685));
#5640 = DIRECTION ('', (-2.384538130979, 0., 2.384538130979));
#5650 = VECTOR ('', #5640, 3.37224616482629);
#5660 = LINE ('', #5630, #5650);
#5670 = EDGE_CURVE ('', #5620, #5530, #5660, .T.);
#5680 = ORIENTED_EDGE ('', *, *, #5670, .F.);
#5690 = CARTESIAN_POINT ('', (35.533391772972, 9.5, 33.3761665558665));
#5700 = VERTEX_POINT ('', #5690);
#5710 = CARTESIAN_POINT ('', (61.5, 9.5, 35.1919286861685));
#5720 = DIRECTION ('', (-25.966608227028, 0., -1.81576213030201));
#5730 = VECTOR ('', #5720, 26.0300160378321);
#5740 = LINE ('', #5710, #5730);
#5750 = EDGE_CURVE ('', #5620, #5700, #5740, .T.);
#5760 = ORIENTED_EDGE ('', *, *, #5750, .T.);
#5770 = CARTESIAN_POINT ('', (75.0000000000199, 9.5, 35.0000000000004));
#5780 = DIRECTION ('', (0., 1., 0.));
#5790 = DIRECTION ('', (-0.999154638658937, 0., -0.0411097074464062));
#5800 = AXIS2_PLACEMENT_3D ('', #5770, #5780, #5790);
#5810 = CIRCLE ('', #5800, 39.5000000000199);
#5820 = EDGE_CURVE ('', #5700, #20, #5810, .T.);
#5830 = ORIENTED_EDGE ('', *, *, #5820, .T.);
#5840 = ORIENTED_EDGE ('', *, *, #100, .T.);
#5850 = ORIENTED_EDGE ('', *, *, #4230, .T.);
#5860 = CARTESIAN_POINT ('', (48.7226226147383, 9.5, 37.9999999999999));
#5870 = DIRECTION ('', (0., 1., 0.));
#5880 = DIRECTION ('', (-1.42108547152018E-15, 0., 1.));
#5890 = AXIS2_PLACEMENT_3D ('', #5860, #5870, #5880);
#5900 = CIRCLE ('', #5890, 5.00000000000005);
#5910 = EDGE_CURVE ('', #4120, #5450, #5900, .T.);
#5920 = ORIENTED_EDGE ('', *, *, #5910, .T.);
#5930 = EDGE_LOOP ('', (#5510, #5600, #5680, #5760, #5830, #5840, #5850, #5920));
#5940 = FACE_OUTER_BOUND ('', #5930, .F.);
#5950 = CARTESIAN_POINT ('', (61.501, 9.5, 33.3751665558665));
#5960 = CARTESIAN_POINT ('', (61.501, 9.5, 43.001));
#5970 = CARTESIAN_POINT ('', (35.499, 9.5, 33.3751665558665));
#5980 = CARTESIAN_POINT ('', (35.499, 9.5, 43.001));
#5990 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5950, #5960), (#5970, #5980)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (13.499, 39.501), (-1.62483344413352, 8.00100000000002), .UNSPECIFIED.);
#6000 = ADVANCED_FACE ('', (#5940), #5990, .F.);
#6010 = ORIENTED_EDGE ('', *, *, #1330, .F.);
#6020 = CARTESIAN_POINT ('', (49.5989241773848, 8.5, 3.45581912533225));
#6030 = VERTEX_POINT ('', #6020);
#6040 = CARTESIAN_POINT ('', (75., 8.5, 35.));
#6050 = DIRECTION ('', (0., -1., 0.));
#6060 = DIRECTION ('', (-1., 0., 0.));
#6070 = AXIS2_PLACEMENT_3D ('', #6040, #6050, #6060);
#6080 = CIRCLE ('', #6070, 40.5);
#6090 = EDGE_CURVE ('', #130, #6030, #6080, .T.);
#6100 = ORIENTED_EDGE ('', *, *, #6090, .T.);
#6110 = CARTESIAN_POINT ('', (49.5989241773848, 8.5, 3.45581912533225));
#6120 = DIRECTION ('', (0., -8.5, 0.));
#6130 = VECTOR ('', #6120, 8.5);
#6140 = LINE ('', #6110, #6130);
#6150 = EDGE_CURVE ('', #6030, #2220, #6140, .T.);
#6160 = ORIENTED_EDGE ('', *, *, #6150, .T.);
#6170 = ORIENTED_EDGE ('', *, *, #2280, .F.);
#6180 = EDGE_LOOP ('', (#6010, #6100, #6160, #6170));
#6190 = FACE_OUTER_BOUND ('', #6180, .F.);
#6200 = CARTESIAN_POINT ('', (34.5, 9.3512, 35.));
#6210 = CARTESIAN_POINT ('', (34.5, -0.851199999999999, 35.));
#6220 = CARTESIAN_POINT ('', (34.5, 9.3512, -5.5));
#6230 = CARTESIAN_POINT ('', (34.5, -0.851199999999999, -5.5));
#6240 = CARTESIAN_POINT ('', (75., 9.35120000000001, -5.5));
#6250 = CARTESIAN_POINT ('', (75., -0.851199999999997, -5.5));
#6260 = CARTESIAN_POINT ('', (115.5, 9.35120000000001, -5.50000000000001));
#6270 = CARTESIAN_POINT ('', (115.5, -0.851199999999995, -5.50000000000001));
#6280 = CARTESIAN_POINT ('', (115.5, 9.35120000000001, 35.));
#6290 = CARTESIAN_POINT ('', (115.5, -0.851199999999995, 35.));
#6300 = CARTESIAN_POINT ('', (115.5, 9.35120000000001, 75.5));
#6310 = CARTESIAN_POINT ('', (115.5, -0.851199999999995, 75.5));
#6320 = CARTESIAN_POINT ('', (75., 9.35120000000001, 75.5));
#6330 = CARTESIAN_POINT ('', (75., -0.851199999999997, 75.5));
#6340 = CARTESIAN_POINT ('', (34.5, 9.3512, 75.5));
#6350 = CARTESIAN_POINT ('', (34.5, -0.851199999999999, 75.5));
#6360 = CARTESIAN_POINT ('', (34.5, 9.3512, 35.));
#6370 = CARTESIAN_POINT ('', (34.5, -0.851199999999999, 35.));
#6380 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6200, #6210), (#6220, #6230), (#6240, #6250), (#6260, #6270), (#6280, #6290), (#6300, #6310), (#6320, #6330), (#6340, #6350), (#6360, #6370)), .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 ('')
);
#6390 = ADVANCED_FACE ('', (#6190), #6380, .F.);
#6400 = ORIENTED_EDGE ('', *, *, #190, .F.);
#6410 = ORIENTED_EDGE ('', *, *, #5820, .F.);
#6420 = CARTESIAN_POINT ('', (34.6187413021231, 8.9, 33.3122079643974));
#6430 = VERTEX_POINT ('', #6420);
#6440 = CARTESIAN_POINT ('', (35.533391772972, 9.5, 33.3761665558665));
#6450 = CARTESIAN_POINT ('', (35.3387652906651, 9.5, 33.362556946439));
#6460 = CARTESIAN_POINT ('', (35.1481243583812, 9.44240749784569, 33.3492260338184));
#6470 = CARTESIAN_POINT ('', (34.8261028481891, 9.23134802387636, 33.3267080962334));
#6480 = CARTESIAN_POINT ('', (34.6955319765834, 9.07630985098788, 33.3175776914494));
#6490 = CARTESIAN_POINT ('', (34.6187413021231, 8.9, 33.3122079643974));
#6500 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6440, #6450, #6460, #6470, #6480, #6490), .UNSPECIFIED., .F., .U., (4, 2, 4), (0.000671326168283796, 0.0012482914319989, 0.00182525669571401), .UNSPECIFIED.);
#6510 = EDGE_CURVE ('', #5700, #6430, #6500, .T.);
#6520 = ORIENTED_EDGE ('', *, *, #6510, .T.);
#6530 = CARTESIAN_POINT ('', (35.6021877005107, 8.9, 25.9829560279149));
#6540 = VERTEX_POINT ('', #6530);
#6550 = CARTESIAN_POINT ('', (74.9999999999984, 8.89999999999974, 34.9999999999995));
#6560 = DIRECTION ('', (6.3574422231309E-15, 1., 1.18166663188895E-15));
#6570 = DIRECTION ('', (-0.974794886793218, 6.46083548999334E-15, -0.223102955340797));
#6580 = AXIS2_PLACEMENT_3D ('', #6550, #6560, #6570);
#6590 = CIRCLE ('', #6580, 40.4165151389895);
#6600 = EDGE_CURVE ('', #6540, #6430, #6590, .T.);
#6610 = ORIENTED_EDGE ('', *, *, #6600, .F.);
#6620 = CARTESIAN_POINT ('', (36.5278535283167, 9.5, 26.0476848881784));
#6630 = CARTESIAN_POINT ('', (36.4297628080888, 9.5, 26.0408257168317));
#6640 = CARTESIAN_POINT ('', (36.3341594045656, 9.48615187300436, 26.0341404756123));
#6650 = CARTESIAN_POINT ('', (36.1477931736232, 9.43150572859689, 26.0211084792286));
#6660 = CARTESIAN_POINT ('', (36.058009221855, 9.39045909826887, 26.0148301737178));
#6670 = CARTESIAN_POINT ('', (35.8136441991659, 9.2328553488754, 25.9977425067306));
#6680 = CARTESIAN_POINT ('', (35.6804215032756, 9.07753454327163, 25.9884266683285));
#6690 = CARTESIAN_POINT ('', (35.6021877005107, 8.9, 25.9829560279149));
#6700 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6620, #6630, #6640, #6650, #6660, #6670, #6680, #6690), .UNSPECIFIED., .F., .U., (4, 2, 2, 4), (0.000664978581976019, 0.000955275157729095, 0.00124557173348217, 0.00182616488498831), .UNSPECIFIED.);
#6710 = EDGE_CURVE ('', #2930, #6540, #6700, .T.);
#6720 = ORIENTED_EDGE ('', *, *, #6710, .F.);
#6730 = ORIENTED_EDGE ('', *, *, #3230, .F.);
#6740 = CARTESIAN_POINT ('', (50.9198331651291, 9.5000000000027, 3.68873101893187));
#6750 = CARTESIAN_POINT ('', (50.7685062794729, 9.49999999999998, 3.66204800608411));
#6760 = CARTESIAN_POINT ('', (50.6156836274047, 9.48051403011943, 3.63510124926105));
#6770 = CARTESIAN_POINT ('', (50.3253094636816, 9.40183468189396, 3.58390044969603));
#6780 = CARTESIAN_POINT ('', (50.1829173585222, 9.34138626093377, 3.55879287971654));
#6790 = CARTESIAN_POINT ('', (49.9278344744099, 9.17472305937668, 3.51381488493061));
#6800 = CARTESIAN_POINT ('', (49.8133518432412, 9.06688374105639, 3.49362850823307));
#6810 = CARTESIAN_POINT ('', (49.6483010854922, 8.80797042574627, 3.46452560645555));
#6820 = CARTESIAN_POINT ('', (49.5989241773848, 8.65545772344393, 3.45581912533225));
#6830 = CARTESIAN_POINT ('', (49.5989241773848, 8.5, 3.45581912533225));
#6840 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6740, #6750, #6760, #6770, #6780, #6790, #6800, #6810, #6820, #6830), .UNSPECIFIED., .F., .U., (4, 2, 2, 2, 4), (0.0020461212105065, 0.00250793071943631, 0.00296974022836613, 0.00343154973729594, 0.00389335924622575), .UNSPECIFIED.);
#6850 = EDGE_CURVE ('', #3110, #6030, #6840, .T.);
#6860 = ORIENTED_EDGE ('', *, *, #6850, .T.);
#6870 = ORIENTED_EDGE ('', *, *, #6090, .F.);
#6880 = EDGE_LOOP ('', (#6400, #6410, #6520, #6610, #6720, #6730, #6860, #6870));
#6890 = FACE_OUTER_BOUND ('', #6880, .F.);
#6900 = CARTESIAN_POINT ('', (34.5, 8.5, 35.));
#6910 = CARTESIAN_POINT ('', (34.5, 7.5, 35.));
#6920 = CARTESIAN_POINT ('', (35.5, 7.5, 35.));
#6930 = CARTESIAN_POINT ('', (36.5, 7.5, 35.));
#6940 = CARTESIAN_POINT ('', (36.5, 8.5, 35.));
#6950 = CARTESIAN_POINT ('', (36.5, 9.5, 35.));
#6960 = CARTESIAN_POINT ('', (35.5, 9.5, 35.));
#6970 = CARTESIAN_POINT ('', (34.5, 9.5, 35.));
#6980 = CARTESIAN_POINT ('', (34.5, 8.5, 35.));
#6990 = CARTESIAN_POINT ('', (34.5, 8.5, -5.49999999999998));
#7000 = CARTESIAN_POINT ('', (34.5, 7.5, -5.49999999999998));
#7010 = CARTESIAN_POINT ('', (35.5, 7.5, -4.49999999999998));
#7020 = CARTESIAN_POINT ('', (36.5, 7.5, -3.49999999999998));
#7030 = CARTESIAN_POINT ('', (36.5, 8.5, -3.49999999999998));
#7040 = CARTESIAN_POINT ('', (36.5, 9.5, -3.49999999999998));
#7050 = CARTESIAN_POINT ('', (35.5, 9.5, -4.49999999999998));
#7060 = CARTESIAN_POINT ('', (34.5, 9.5, -5.49999999999998));
#7070 = CARTESIAN_POINT ('', (34.5, 8.5, -5.49999999999998));
#7080 = CARTESIAN_POINT ('', (75., 8.5, -5.49999999999998));
#7090 = CARTESIAN_POINT ('', (75., 7.5, -5.49999999999998));
#7100 = CARTESIAN_POINT ('', (75., 7.5, -4.49999999999998));
#7110 = CARTESIAN_POINT ('', (75., 7.5, -3.49999999999998));
#7120 = CARTESIAN_POINT ('', (75., 8.5, -3.49999999999998));
#7130 = CARTESIAN_POINT ('', (75., 9.5, -3.49999999999998));
#7140 = CARTESIAN_POINT ('', (75., 9.5, -4.49999999999998));
#7150 = CARTESIAN_POINT ('', (75., 9.5, -5.49999999999998));
#7160 = CARTESIAN_POINT ('', (75., 8.5, -5.49999999999998));
#7170 = CARTESIAN_POINT ('', (115.5, 8.5, -5.49999999999998));
#7180 = CARTESIAN_POINT ('', (115.5, 7.5, -5.49999999999998));
#7190 = CARTESIAN_POINT ('', (114.5, 7.5, -4.49999999999998));
#7200 = CARTESIAN_POINT ('', (113.5, 7.5, -3.49999999999998));
#7210 = CARTESIAN_POINT ('', (113.5, 8.5, -3.49999999999998));
#7220 = CARTESIAN_POINT ('', (113.5, 9.5, -3.49999999999998));
#7230 = CARTESIAN_POINT ('', (114.5, 9.5, -4.49999999999998));
#7240 = CARTESIAN_POINT ('', (115.5, 9.5, -5.49999999999998));
#7250 = CARTESIAN_POINT ('', (115.5, 8.5, -5.49999999999998));
#7260 = CARTESIAN_POINT ('', (115.5, 8.5, 35.));
#7270 = CARTESIAN_POINT ('', (115.5, 7.5, 35.));
#7280 = CARTESIAN_POINT ('', (114.5, 7.5, 35.));
#7290 = CARTESIAN_POINT ('', (113.5, 7.5, 35.));
#7300 = CARTESIAN_POINT ('', (113.5, 8.5, 35.));
#7310 = CARTESIAN_POINT ('', (113.5, 9.5, 35.));
#7320 = CARTESIAN_POINT ('', (114.5, 9.5, 35.));
#7330 = CARTESIAN_POINT ('', (115.5, 9.5, 35.));
#7340 = CARTESIAN_POINT ('', (115.5, 8.5, 35.));
#7350 = CARTESIAN_POINT ('', (115.5, 8.5, 75.5));
#7360 = CARTESIAN_POINT ('', (115.5, 7.5, 75.5));
#7370 = CARTESIAN_POINT ('', (114.5, 7.5, 74.5));
#7380 = CARTESIAN_POINT ('', (113.5, 7.5, 73.5));
#7390 = CARTESIAN_POINT ('', (113.5, 8.5, 73.5));
#7400 = CARTESIAN_POINT ('', (113.5, 9.5, 73.5));
#7410 = CARTESIAN_POINT ('', (114.5, 9.5, 74.5));
#7420 = CARTESIAN_POINT ('', (115.5, 9.5, 75.5));
#7430 = CARTESIAN_POINT ('', (115.5, 8.5, 75.5));
#7440 = CARTESIAN_POINT ('', (75., 8.5, 75.5));
#7450 = CARTESIAN_POINT ('', (75., 7.5, 75.5));
#7460 = CARTESIAN_POINT ('', (75., 7.5, 74.5));
#7470 = CARTESIAN_POINT ('', (75., 7.5, 73.5));
#7480 = CARTESIAN_POINT ('', (75., 8.5, 73.5));
#7490 = CARTESIAN_POINT ('', (75., 9.5, 73.5));
#7500 = CARTESIAN_POINT ('', (75., 9.5, 74.5));
#7510 = CARTESIAN_POINT ('', (75., 9.5, 75.5));
#7520 = CARTESIAN_POINT ('', (75., 8.5, 75.5));
#7530 = CARTESIAN_POINT ('', (34.5, 8.5, 75.5));
#7540 = CARTESIAN_POINT ('', (34.5, 7.5, 75.5));
#7550 = CARTESIAN_POINT ('', (35.5, 7.5, 74.5));
#7560 = CARTESIAN_POINT ('', (36.5, 7.5, 73.5));
#7570 = CARTESIAN_POINT ('', (36.5, 8.5, 73.5));
#7580 = CARTESIAN_POINT ('', (36.5, 9.5, 73.5));
#7590 = CARTESIAN_POINT ('', (35.5, 9.5, 74.5));
#7600 = CARTESIAN_POINT ('', (34.5, 9.5, 75.5));
#7610 = CARTESIAN_POINT ('', (34.5, 8.5, 75.5));
#7620 = CARTESIAN_POINT ('', (34.5, 8.5, 35.));
#7630 = CARTESIAN_POINT ('', (34.5, 7.5, 35.));
#7640 = CARTESIAN_POINT ('', (35.5, 7.5, 35.));
#7650 = CARTESIAN_POINT ('', (36.5, 7.5, 35.));
#7660 = CARTESIAN_POINT ('', (36.5, 8.5, 35.));
#7670 = CARTESIAN_POINT ('', (36.5, 9.5, 35.));
#7680 = CARTESIAN_POINT ('', (35.5, 9.5, 35.));
#7690 = CARTESIAN_POINT ('', (34.5, 9.5, 35.));
#7700 = CARTESIAN_POINT ('', (34.5, 8.5, 35.));
#7710 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 2, ((#6900, #6910, #6920, #6930, #6940, #6950, #6960, #6970, #6980), (#6990, #7000, #7010, #7020, #7030, #7040, #7050, #7060, #7070), (#7080, #7090, #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)), .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 ('')
);
#7720 = ADVANCED_FACE ('', (#6890), #7710, .F.);
#7730 = ORIENTED_EDGE ('', *, *, #6600, .T.);
#7740 = CARTESIAN_POINT ('', (31.704752989704, 8.9, 33.1084420516693));
#7750 = VERTEX_POINT ('', #7740);
#7760 = CARTESIAN_POINT ('', (31.704752989704, 8.9, 33.1084420516693));
#7770 = DIRECTION ('', (2.9139883124191, 0., 0.203765912728102));
#7780 = VECTOR ('', #7770, 2.92110397488775);
#7790 = LINE ('', #7760, #7780);
#7800 = EDGE_CURVE ('', #7750, #6430, #7790, .T.);
#7810 = ORIENTED_EDGE ('', *, *, #7800, .F.);
#7820 = CARTESIAN_POINT ('', (31.9489006478084, 8.9, 29.6169678757599));
#7830 = VERTEX_POINT ('', #7820);
#7840 = CARTESIAN_POINT ('', (31.704752989704, 8.9, 33.1084420516693));
#7850 = DIRECTION ('', (0.244147658104399, 0., -3.4914741759094));
#7860 = VECTOR ('', #7850, 3.50000000000001);
#7870 = LINE ('', #7840, #7860);
#7880 = EDGE_CURVE ('', #7750, #7830, #7870, .T.);
#7890 = ORIENTED_EDGE ('', *, *, #7880, .T.);
#7900 = CARTESIAN_POINT ('', (33.4452467231981, 8.9, 29.7216025863761));
#7910 = VERTEX_POINT ('', #7900);
#7920 = CARTESIAN_POINT ('', (31.9489006478084, 8.9, 29.6169678757599));
#7930 = DIRECTION ('', (1.4963460753897, 0., 0.1046347106162));
#7940 = VECTOR ('', #7930, 1.49999999999997);
#7950 = LINE ('', #7920, #7940);
#7960 = EDGE_CURVE ('', #7830, #7910, #7950, .T.);
#7970 = ORIENTED_EDGE ('', *, *, #7960, .T.);
#7980 = CARTESIAN_POINT ('', (33.7159018413253, 8.9, 25.851054071368));
#7990 = VERTEX_POINT ('', #7980);
#8000 = CARTESIAN_POINT ('', (33.4452467231981, 8.9, 29.7216025863761));
#8010 = DIRECTION ('', (0.270655118127195, 0., -3.8705485150081));
#8020 = VECTOR ('', #8010, 3.87999999999998);
#8030 = LINE ('', #8000, #8020);
#8040 = EDGE_CURVE ('', #7910, #7990, #8030, .T.);
#8050 = ORIENTED_EDGE ('', *, *, #8040, .T.);
#8060 = CARTESIAN_POINT ('', (33.7159018413253, 8.9, 25.851054071368));
#8070 = DIRECTION ('', (1.8862858591854, 0., 0.131901956546898));
#8080 = VECTOR ('', #8070, 1.89089197700548);
#8090 = LINE ('', #8060, #8080);
#8100 = EDGE_CURVE ('', #7990, #6540, #8090, .T.);
#8110 = ORIENTED_EDGE ('', *, *, #8100, .T.);
#8120 = EDGE_LOOP ('', (#7730, #7810, #7890, #7970, #8050, #8110));
#8130 = FACE_OUTER_BOUND ('', #8120, .F.);
#8140 = CARTESIAN_POINT ('', (31.703752989704, 8.9, 25.850054071368));
#8150 = CARTESIAN_POINT ('', (31.703752989704, 8.9, 33.3132079643974));
#8160 = CARTESIAN_POINT ('', (35.6031877005107, 8.9, 25.850054071368));
#8170 = CARTESIAN_POINT ('', (35.6031877005107, 8.9, 33.3132079643974));
#8180 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8140, #8150), (#8160, #8170)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-24.8581897925671, -20.9587550817604), (-2.8014810862285, 4.66167280680093), .UNSPECIFIED.);
#8190 = ADVANCED_FACE ('', (#8130), #8180, .F.);
#8200 = ORIENTED_EDGE ('', *, *, #8100, .F.);
#8210 = CARTESIAN_POINT ('', (33.7159018413253, 11., 25.851054071368));
#8220 = DIRECTION ('', (0., -2.1, 0.));
#8230 = VECTOR ('', #8220, 2.1);
#8240 = LINE ('', #8210, #8230);
#8250 = EDGE_CURVE ('', #4440, #7990, #8240, .T.);
#8260 = ORIENTED_EDGE ('', *, *, #8250, .F.);
#8270 = ORIENTED_EDGE ('', *, *, #4490, .T.);
#8280 = ORIENTED_EDGE ('', *, *, #2820, .F.);
#8290 = ORIENTED_EDGE ('', *, *, #2980, .T.);
#8300 = ORIENTED_EDGE ('', *, *, #6710, .T.);
#8310 = EDGE_LOOP ('', (#8200, #8260, #8270, #8280, #8290, #8300));
#8320 = FACE_OUTER_BOUND ('', #8310, .F.);
#8330 = CARTESIAN_POINT ('', (33.7148371207404, 11.001, 25.8509796188519));
#8340 = CARTESIAN_POINT ('', (33.7148371207404, 8.899, 25.8509796188519));
#8350 = CARTESIAN_POINT ('', (67.1510647205849, 11.001, 28.1890684183263));
#8360 = CARTESIAN_POINT ('', (67.1510647205849, 8.899, 28.1890684183263));
#8370 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8330, #8340), (#8350, #8360)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-20.181067320524, 13.3368081393381), (-2.101, 0.00099999999999989), .UNSPECIFIED.);
#8380 = ADVANCED_FACE ('', (#8320), #8370, .F.);
#8390 = ORIENTED_EDGE ('', *, *, #4570, .T.);
#8400 = ORIENTED_EDGE ('', *, *, #8250, .T.);
#8410 = ORIENTED_EDGE ('', *, *, #8040, .F.);
#8420 = CARTESIAN_POINT ('', (33.4452467231981, 8.9, 29.7216025863761));
#8430 = DIRECTION ('', (0., 2.1, 0.));
#8440 = VECTOR ('', #8430, 2.1);
#8450 = LINE ('', #8420, #8440);
#8460 = EDGE_CURVE ('', #7910, #4520, #8450, .T.);
#8470 = ORIENTED_EDGE ('', *, *, #8460, .T.);
#8480 = EDGE_LOOP ('', (#8390, #8400, #8410, #8470));
#8490 = FACE_OUTER_BOUND ('', #8480, .F.);
#8500 = CARTESIAN_POINT ('', (33.445172270682, 11.001, 29.7226673069609));
#8510 = CARTESIAN_POINT ('', (33.445172270682, 8.899, 29.7226673069609));
#8520 = CARTESIAN_POINT ('', (33.7159762938414, 11.001, 25.8499893507831));
#8530 = CARTESIAN_POINT ('', (33.7159762938414, 8.899, 25.8499893507831));
#8540 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8500, #8510), (#8520, #8530)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.448932679475991, 4.33106732052398), (-2.101, 0.00099999999999989), .UNSPECIFIED.);
#8550 = ADVANCED_FACE ('', (#8490), #8540, .F.);
#8560 = ORIENTED_EDGE ('', *, *, #4650, .T.);
#8570 = ORIENTED_EDGE ('', *, *, #8460, .F.);
#8580 = ORIENTED_EDGE ('', *, *, #7960, .F.);
#8590 = CARTESIAN_POINT ('', (31.9489006478084, 11., 29.6169678757599));
#8600 = DIRECTION ('', (0., -2.1, 0.));
#8610 = VECTOR ('', #8600, 2.1);
#8620 = LINE ('', #8590, #8610);
#8630 = EDGE_CURVE ('', #4600, #7830, #8620, .T.);
#8640 = ORIENTED_EDGE ('', *, *, #8630, .F.);
#8650 = EDGE_LOOP ('', (#8560, #8570, #8580, #8640));
#8660 = FACE_OUTER_BOUND ('', #8650, .F.);
#8670 = CARTESIAN_POINT ('', (31.9478359272235, 11.001, 29.6168934232438));
#8680 = CARTESIAN_POINT ('', (31.9478359272235, 8.899, 29.6168934232438));
#8690 = CARTESIAN_POINT ('', (33.446311443783, 11.001, 29.7216770388922));
#8700 = CARTESIAN_POINT ('', (33.446311443783, 8.899, 29.7216770388922));
#8710 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8670, #8680), (#8690, #8700)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.201067320523997, 1.30106732052401), (-2.101, 0.00099999999999989), .UNSPECIFIED.);
#8720 = ADVANCED_FACE ('', (#8660), #8710, .F.);
#8730 = ORIENTED_EDGE ('', *, *, #4730, .T.);
#8740 = ORIENTED_EDGE ('', *, *, #8630, .T.);
#8750 = ORIENTED_EDGE ('', *, *, #7880, .F.);
#8760 = CARTESIAN_POINT ('', (31.704752989704, 11., 33.1084420516693));
#8770 = DIRECTION ('', (0., -2.1, 0.));
#8780 = VECTOR ('', #8770, 2.1);
#8790 = LINE ('', #8760, #8780);
#8800 = EDGE_CURVE ('', #4680, #7750, #8790, .T.);
#8810 = ORIENTED_EDGE ('', *, *, #8800, .F.);
#8820 = EDGE_LOOP ('', (#8730, #8740, #8750, #8810));
#8830 = FACE_OUTER_BOUND ('', #8820, .F.);
#8840 = CARTESIAN_POINT ('', (31.7046785371879, 11.001, 33.1095067722541));
#8850 = CARTESIAN_POINT ('', (31.7046785371879, 8.899, 33.1095067722541));
#8860 = CARTESIAN_POINT ('', (31.9489751003245, 11.001, 29.615903155175));
#8870 = CARTESIAN_POINT ('', (31.9489751003245, 8.899, 29.615903155175));
#8880 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8840, #8850), (#8860, #8870)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.70106732052403, 0.80106732052398), (-2.101, 0.00099999999999989), .UNSPECIFIED.);
#8890 = ADVANCED_FACE ('', (#8830), #8880, .F.);
#8900 = ORIENTED_EDGE ('', *, *, #4810, .T.);
#8910 = ORIENTED_EDGE ('', *, *, #8800, .T.);
#8920 = ORIENTED_EDGE ('', *, *, #7800, .T.);
#8930 = ORIENTED_EDGE ('', *, *, #6510, .F.);
#8940 = ORIENTED_EDGE ('', *, *, #5750, .F.);
#8950 = CARTESIAN_POINT ('', (61.5, 9.5, 35.1919286861685));
#8960 = DIRECTION ('', (0., 1.5, 0.));
#8970 = VECTOR ('', #8960, 1.5);
#8980 = LINE ('', #8950, #8970);
#8990 = EDGE_CURVE ('', #5620, #4760, #8980, .T.);
#9000 = ORIENTED_EDGE ('', *, *, #8990, .T.);
#9010 = EDGE_LOOP ('', (#8900, #8910, #8920, #8930, #8940, #9000));
#9020 = FACE_OUTER_BOUND ('', #9010, .F.);
#9030 = CARTESIAN_POINT ('', (61.5010647205848, 11.001, 35.1920031386846));
#9040 = CARTESIAN_POINT ('', (61.5010647205848, 8.899, 35.1920031386846));
#9050 = CARTESIAN_POINT ('', (31.7036882691191, 11.001, 33.1083675991532));
#9060 = CARTESIAN_POINT ('', (31.7036882691191, 8.899, 33.1083675991532));
#9070 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9030, #9040), (#9050, #9060)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-5.22576239712021, 24.6443762107263), (-2.101, 0.00099999999999989), .UNSPECIFIED.);
#9080 = ADVANCED_FACE ('', (#9020), #9070, .F.);
#9090 = ORIENTED_EDGE ('', *, *, #5670, .T.);
#9100 = CARTESIAN_POINT ('', (59.115461869021, 9.5, 37.5764668171475));
#9110 = DIRECTION ('', (0., 1.5, 0.));
#9120 = VECTOR ('', #9110, 1.5);
#9130 = LINE ('', #9100, #9120);
#9140 = EDGE_CURVE ('', #5530, #4840, #9130, .T.);
#9150 = ORIENTED_EDGE ('', *, *, #9140, .T.);
#9160 = ORIENTED_EDGE ('', *, *, #4890, .T.);
#9170 = ORIENTED_EDGE ('', *, *, #8990, .F.);
#9180 = EDGE_LOOP ('', (#9090, #9150, #9160, #9170));
#9190 = FACE_OUTER_BOUND ('', #9180, .F.);
#9200 = CARTESIAN_POINT ('', (59.114461869021, 11.001, 37.5774668171475));
#9210 = CARTESIAN_POINT ('', (59.114461869021, 9.499, 37.5774668171475));
#9220 = CARTESIAN_POINT ('', (61.501, 11.001, 35.1909286861685));
#9230 = CARTESIAN_POINT ('', (61.501, 9.499, 35.1909286861685));
#9240 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9200, #9210), (#9220, #9230)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141421356237004, 3.37366037838865), (-2.001, -0.499), .UNSPECIFIED.);
#9250 = ADVANCED_FACE ('', (#9190), #9240, .F.);
#9260 = ORIENTED_EDGE ('', *, *, #5060, .T.);
#9270 = CARTESIAN_POINT ('', (58.0799279630882, 11., 38.371059930137));
#9280 = DIRECTION ('', (0., -1.5, 0.));
#9290 = VECTOR ('', #9280, 1.5);
#9300 = LINE ('', #9270, #9290);
#9310 = EDGE_CURVE ('', #4920, #5430, #9300, .T.);
#9320 = ORIENTED_EDGE ('', *, *, #9310, .T.);
#9330 = ORIENTED_EDGE ('', *, *, #5500, .T.);
#9340 = CARTESIAN_POINT ('', (51.2226226147383, 9.5, 42.3301270189222));
#9350 = DIRECTION ('', (0., 1.5, 0.));
#9360 = VECTOR ('', #9350, 1.5);
#9370 = LINE ('', #9340, #9360);
#9380 = EDGE_CURVE ('', #5450, #5010, #9370, .T.);
#9390 = ORIENTED_EDGE ('', *, *, #9380, .T.);
#9400 = EDGE_LOOP ('', (#9260, #9320, #9330, #9390));
#9410 = FACE_OUTER_BOUND ('', #9400, .F.);
#9420 = CARTESIAN_POINT ('', (51.2214396020364, 11.001, 42.3308100316241));
#9430 = CARTESIAN_POINT ('', (51.2214396020364, 9.499, 42.3308100316241));
#9440 = CARTESIAN_POINT ('', (58.0811109757901, 11.001, 38.3703769174351));
#9450 = CARTESIAN_POINT ('', (58.0811109757901, 9.499, 38.3703769174351));
#9460 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9420, #9430), (#9440, #9450)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.656896462533211, 8.57776269091136), (-2.001, -0.499000000000001), .UNSPECIFIED.);
#9470 = ADVANCED_FACE ('', (#9410), #9460, .F.);
#9480 = ORIENTED_EDGE ('', *, *, #1960, .T.);
#9490 = CARTESIAN_POINT ('', (30., -0.299999999999999, 20.));
#9500 = VERTEX_POINT ('', #9490);
#9510 = CARTESIAN_POINT ('', (30., -0.299999999999995, 19.7));
#9520 = DIRECTION ('', (1., 0., 0.));
#9530 = DIRECTION ('', (0., 1., 0.));
#9540 = AXIS2_PLACEMENT_3D ('', #9510, #9520, #9530);
#9550 = CIRCLE ('', #9540, 0.3);
#9560 = EDGE_CURVE ('', #1830, #9500, #9550, .T.);
#9570 = ORIENTED_EDGE ('', *, *, #9560, .T.);
#9580 = CARTESIAN_POINT ('', (30., -2.5, 20.));
#9590 = VERTEX_POINT ('', #9580);
#9600 = CARTESIAN_POINT ('', (30., -2.5, 20.));
#9610 = DIRECTION ('', (0., 2.2, 0.));
#9620 = VECTOR ('', #9610, 2.2);
#9630 = LINE ('', #9600, #9620);
#9640 = EDGE_CURVE ('', #9590, #9500, #9630, .T.);
#9650 = ORIENTED_EDGE ('', *, *, #9640, .F.);
#9660 = CARTESIAN_POINT ('', (30., -2.5, 27.));
#9670 = VERTEX_POINT ('', #9660);
#9680 = CARTESIAN_POINT ('', (30., -2.5, 27.));
#9690 = DIRECTION ('', (0., 0., -7.));
#9700 = VECTOR ('', #9690, 7.);
#9710 = LINE ('', #9680, #9700);
#9720 = EDGE_CURVE ('', #9670, #9590, #9710, .T.);
#9730 = ORIENTED_EDGE ('', *, *, #9720, .F.);
#9740 = CARTESIAN_POINT ('', (30., -0.299999999999999, 27.));
#9750 = VERTEX_POINT ('', #9740);
#9760 = CARTESIAN_POINT ('', (30., -2.5, 27.));
#9770 = DIRECTION ('', (0., 2.2, 0.));
#9780 = VECTOR ('', #9770, 2.2);
#9790 = LINE ('', #9760, #9780);
#9800 = EDGE_CURVE ('', #9670, #9750, #9790, .T.);
#9810 = ORIENTED_EDGE ('', *, *, #9800, .T.);
#9820 = CARTESIAN_POINT ('', (30., -0.299999999999996, 27.3));
#9830 = DIRECTION ('', (1., 0., 0.));
#9840 = DIRECTION ('', (0., -1.01770443923972E-14, -1.));
#9850 = AXIS2_PLACEMENT_3D ('', #9820, #9830, #9840);
#9860 = CIRCLE ('', #9850, 0.299999999999999);
#9870 = EDGE_CURVE ('', #9750, #1910, #9860, .T.);
#9880 = ORIENTED_EDGE ('', *, *, #9870, .T.);
#9890 = EDGE_LOOP ('', (#9480, #9570, #9650, #9730, #9810, #9880));
#9900 = FACE_OUTER_BOUND ('', #9890, .F.);
#9910 = CARTESIAN_POINT ('', (30., 0.001000000000003, 27.301));
#9920 = CARTESIAN_POINT ('', (30., -2.501, 27.301));
#9930 = CARTESIAN_POINT ('', (30., 0.001000000000003, 19.699));
#9940 = CARTESIAN_POINT ('', (30., -2.501, 19.699));
#9950 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9910, #9920), (#9930, #9940)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-7.301, 0.301000000000002), (-2.501, 0.000999999999999446), .UNSPECIFIED.);
#9960 = ADVANCED_FACE ('', (#9900), #9950, .F.);
#9970 = ORIENTED_EDGE ('', *, *, #9640, .T.);
#9980 = CARTESIAN_POINT ('', (0.800000000000013, -0.300000000000001, 20.));
#9990 = VERTEX_POINT ('', #9980);
#10000 = CARTESIAN_POINT ('', (30., -0.299999999999999, 20.));
#10010 = DIRECTION ('', (-29.2, -1.99840144432528E-15, 0.));
#10020 = VECTOR ('', #10010, 29.2);
#10030 = LINE ('', #10000, #10020);
#10040 = EDGE_CURVE ('', #9500, #9990, #10030, .T.);
#10050 = ORIENTED_EDGE ('', *, *, #10040, .T.);
#10060 = CARTESIAN_POINT ('', (3., -2.5, 20.));
#10070 = VERTEX_POINT ('', #10060);
#10080 = CARTESIAN_POINT ('', (0.800000000000013, -0.300000000000001, 20.));
#10090 = DIRECTION ('', (2.19999999999999, -2.2, 0.));
#10100 = VECTOR ('', #10090, 3.1112698372208);
#10110 = LINE ('', #10080, #10100);
#10120 = EDGE_CURVE ('', #9990, #10070, #10110, .T.);
#10130 = ORIENTED_EDGE ('', *, *, #10120, .T.);
#10140 = CARTESIAN_POINT ('', (30., -2.5, 20.));
#10150 = DIRECTION ('', (-27., 0., 0.));
#10160 = VECTOR ('', #10150, 27.);
#10170 = LINE ('', #10140, #10160);
#10180 = EDGE_CURVE ('', #9590, #10070, #10170, .T.);
#10190 = ORIENTED_EDGE ('', *, *, #10180, .F.);
#10200 = EDGE_LOOP ('', (#9970, #10050, #10130, #10190));
#10210 = FACE_OUTER_BOUND ('', #10200, .F.);
#10220 = CARTESIAN_POINT ('', (30.001, -0.298999999999999, 20.));
#10230 = CARTESIAN_POINT ('', (30.001, -2.501, 20.));
#10240 = CARTESIAN_POINT ('', (0.799000000000014, -0.299000000000001, 20.));
#10250 = CARTESIAN_POINT ('', (0.799000000000014, -2.501, 20.));
#10260 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10220, #10230), (#10240, #10250)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-29.201, 0.00100000000000122), (-2.201, 0.000999999999999446), .UNSPECIFIED.);
#10270 = ADVANCED_FACE ('', (#10210), #10260, .F.);
#10280 = CARTESIAN_POINT ('', (3.00000000000001, -2.5, 27.));
#10290 = VERTEX_POINT ('', #10280);
#10300 = CARTESIAN_POINT ('', (0.800000000000013, -0.300000000000001, 27.));
#10310 = VERTEX_POINT ('', #10300);
#10320 = CARTESIAN_POINT ('', (3.00000000000001, -2.5, 27.));
#10330 = DIRECTION ('', (-2.2, 2.2, 0.));
#10340 = VECTOR ('', #10330, 3.11126983722081);
#10350 = LINE ('', #10320, #10340);
#10360 = EDGE_CURVE ('', #10290, #10310, #10350, .T.);
#10370 = ORIENTED_EDGE ('', *, *, #10360, .T.);
#10380 = CARTESIAN_POINT ('', (0.800000000000013, -0.300000000000001, 27.));
#10390 = DIRECTION ('', (29.2, 1.99840144432528E-15, 0.));
#10400 = VECTOR ('', #10390, 29.2);
#10410 = LINE ('', #10380, #10400);
#10420 = EDGE_CURVE ('', #10310, #9750, #10410, .T.);
#10430 = ORIENTED_EDGE ('', *, *, #10420, .T.);
#10440 = ORIENTED_EDGE ('', *, *, #9800, .F.);
#10450 = CARTESIAN_POINT ('', (3.00000000000001, -2.5, 27.));
#10460 = DIRECTION ('', (27., 0., 0.));
#10470 = VECTOR ('', #10460, 27.);
#10480 = LINE ('', #10450, #10470);
#10490 = EDGE_CURVE ('', #10290, #9670, #10480, .T.);
#10500 = ORIENTED_EDGE ('', *, *, #10490, .F.);
#10510 = EDGE_LOOP ('', (#10370, #10430, #10440, #10500));
#10520 = FACE_OUTER_BOUND ('', #10510, .F.);
#10530 = CARTESIAN_POINT ('', (0.799000000000014, -0.299000000000001, 27.));
#10540 = CARTESIAN_POINT ('', (0.799000000000014, -2.501, 27.));
#10550 = CARTESIAN_POINT ('', (30.001, -0.298999999999999, 27.));
#10560 = CARTESIAN_POINT ('', (30.001, -2.501, 27.));
#10570 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10530, #10540), (#10550, #10560)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000122, 29.201), (-2.201, 0.000999999999999446), .UNSPECIFIED.);
#10580 = ADVANCED_FACE ('', (#10520), #10570, .F.);
#10590 = ORIENTED_EDGE ('', *, *, #10180, .T.);
#10600 = CARTESIAN_POINT ('', (3., -2.5, 20.));
#10610 = DIRECTION ('', (1.02140518265514E-14, 0., 7.));
#10620 = VECTOR ('', #10610, 7.);
#10630 = LINE ('', #10600, #10620);
#10640 = EDGE_CURVE ('', #10070, #10290, #10630, .T.);
#10650 = ORIENTED_EDGE ('', *, *, #10640, .T.);
#10660 = ORIENTED_EDGE ('', *, *, #10490, .T.);
#10670 = ORIENTED_EDGE ('', *, *, #9720, .T.);
#10680 = EDGE_LOOP ('', (#10590, #10650, #10660, #10670));
#10690 = FACE_OUTER_BOUND ('', #10680, .F.);
#10700 = CARTESIAN_POINT ('', (30.001, -2.5, 19.999));
#10710 = CARTESIAN_POINT ('', (30.001, -2.5, 27.001));
#10720 = CARTESIAN_POINT ('', (2.999, -2.5, 19.999));
#10730 = CARTESIAN_POINT ('', (2.999, -2.5, 27.001));
#10740 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10700, #10710), (#10720, #10730)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000122, 27.001), (-0.00100000000000122, 7.001), .UNSPECIFIED.);
#10750 = ADVANCED_FACE ('', (#10690), #10740, .F.);
#10760 = ORIENTED_EDGE ('', *, *, #3620, .F.);
#10770 = ORIENTED_EDGE ('', *, *, #3860, .F.);
#10780 = ORIENTED_EDGE ('', *, *, #4320, .F.);
#10790 = ORIENTED_EDGE ('', *, *, #2120, .F.);
#10800 = CARTESIAN_POINT ('', (0.500000000000016, -1.77635683940025E-15, 27.3));
#10810 = CARTESIAN_POINT ('', (0.500000000000018, -1.77635683940025E-15, 27.1242640687119));
#10820 = CARTESIAN_POINT ('', (0.624264068711945, -0.124264068711931, 27.));
#10830 = CARTESIAN_POINT ('', (0.800000000000013, -0.300000000000001, 27.));
#10840 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#10800, #10810, #10820, #10830), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (0., 1.57079632679489), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.804737854124366, 0.804737854124366, 1.))
   REPRESENTATION_ITEM ('')
);
#10850 = EDGE_CURVE ('', #1990, #10310, #10840, .T.);
#10860 = ORIENTED_EDGE ('', *, *, #10850, .T.);
#10870 = ORIENTED_EDGE ('', *, *, #10360, .F.);
#10880 = ORIENTED_EDGE ('', *, *, #10640, .F.);
#10890 = ORIENTED_EDGE ('', *, *, #10120, .F.);
#10900 = CARTESIAN_POINT ('', (0.800000000000013, -0.300000000000001, 20.));
#10910 = CARTESIAN_POINT ('', (0.624264068711945, -0.124264068711925, 20.));
#10920 = CARTESIAN_POINT ('', (0.500000000000018, -1.77635683940025E-15, 19.8757359312881));
#10930 = CARTESIAN_POINT ('', (0.500000000000015, -1.77635683940025E-15, 19.7));
#10940 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#10900, #10910, #10920, #10930), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (1.5707963267949, 3.14159265358979), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.804737854124366, 0.804737854124366, 1.))
   REPRESENTATION_ITEM ('')
);
#10950 = EDGE_CURVE ('', #9990, #1750, #10940, .T.);
#10960 = ORIENTED_EDGE ('', *, *, #10950, .T.);
#10970 = ORIENTED_EDGE ('', *, *, #1800, .F.);
#10980 = EDGE_LOOP ('', (#10760, #10770, #10780, #10790, #10860, #10870, #10880, #10890, #10960, #10970));
#10990 = FACE_OUTER_BOUND ('', #10980, .F.);
#11000 = CARTESIAN_POINT ('', (3.00100000000001, -2.501, -0.00100000000000122));
#11010 = CARTESIAN_POINT ('', (3.00100000000001, -2.501, 43.001));
#11020 = CARTESIAN_POINT ('', (-0.00099999999999989, 0.501000000000016, -0.00100000000000122));
#11030 = CARTESIAN_POINT ('', (-0.00099999999999989, 0.501000000000016, 43.001));
#11040 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11000, #11010), (#11020, #11030)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141421356237714, 4.24405490068167), (-20.001, 23.001), .UNSPECIFIED.);
#11050 = ADVANCED_FACE ('', (#10990), #11040, .F.);
#11060 = ORIENTED_EDGE ('', *, *, #3160, .T.);
#11070 = CARTESIAN_POINT ('', (58.8864817766692, 9.5, 5.09346611496997));
#11080 = DIRECTION ('', (0., 1.5, 0.));
#11090 = VECTOR ('', #11080, 1.5);
#11100 = LINE ('', #11070, #11090);
#11110 = EDGE_CURVE ('', #3020, #5190, #11100, .T.);
#11120 = ORIENTED_EDGE ('', *, *, #11110, .T.);
#11130 = ORIENTED_EDGE ('', *, *, #5240, .T.);
#11140 = ORIENTED_EDGE ('', *, *, #3400, .F.);
#11150 = ORIENTED_EDGE ('', *, *, #2360, .T.);
#11160 = ORIENTED_EDGE ('', *, *, #6150, .F.);
#11170 = ORIENTED_EDGE ('', *, *, #6850, .F.);
#11180 = EDGE_LOOP ('', (#11060, #11120, #11130, #11140, #11150, #11160, #11170));
#11190 = FACE_OUTER_BOUND ('', #11180, .F.);
#11200 = CARTESIAN_POINT ('', (58.8876226330513, 11.001, 5.09366727873124));
#11210 = CARTESIAN_POINT ('', (58.8876226330513, -0.000999999999990564, 5.09366727873124));
#11220 = CARTESIAN_POINT ('', (29.9988591436179, 11.001, -0.000201163761277101));
#11230 = CARTESIAN_POINT ('', (29.9988591436179, -0.000999999999990564, -0.000201163761277101));
#11240 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11200, #11210), (#11220, #11230)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00115845593068187, 29.3332607757132), (-48.7240986315554, -37.7220986315554), .UNSPECIFIED.);
#11250 = ADVANCED_FACE ('', (#11190), #11240, .F.);
#11260 = ORIENTED_EDGE ('', *, *, #3080, .F.);
#11270 = ORIENTED_EDGE ('', *, *, #2680, .F.);
#11280 = ORIENTED_EDGE ('', *, *, #5310, .F.);
#11290 = ORIENTED_EDGE ('', *, *, #11110, .F.);
#11300 = EDGE_LOOP ('', (#11260, #11270, #11280, #11290));
#11310 = FACE_OUTER_BOUND ('', #11300, .F.);
#11320 = CARTESIAN_POINT ('', (67.15, 9.34880000000001, 14.9415436450921));
#11330 = CARTESIAN_POINT ('', (67.15, 11.1512, 14.9415436450921));
#11340 = CARTESIAN_POINT ('', (67.15, 9.34880000000001, 24.9415436450921));
#11350 = CARTESIAN_POINT ('', (67.15, 11.1512, 24.9415436450921));
#11360 = CARTESIAN_POINT ('', (57.15, 9.34880000000001, 24.9415436450921));
#11370 = CARTESIAN_POINT ('', (57.15, 11.1512, 24.9415436450921));
#11380 = CARTESIAN_POINT ('', (47.1499999999999, 9.34880000000001, 24.941543645092));
#11390 = CARTESIAN_POINT ('', (47.1499999999999, 11.1512, 24.941543645092));
#11400 = CARTESIAN_POINT ('', (47.15, 9.34880000000001, 14.941543645092));
#11410 = CARTESIAN_POINT ('', (47.15, 11.1512, 14.941543645092));
#11420 = CARTESIAN_POINT ('', (47.15, 9.34880000000001, 4.94154364509201));
#11430 = CARTESIAN_POINT ('', (47.15, 11.1512, 4.94154364509201));
#11440 = CARTESIAN_POINT ('', (57.15, 9.34880000000001, 4.94154364509204));
#11450 = CARTESIAN_POINT ('', (57.15, 11.1512, 4.94154364509204));
#11460 = CARTESIAN_POINT ('', (67.1500000000001, 9.34880000000001, 4.94154364509208));
#11470 = CARTESIAN_POINT ('', (67.1500000000001, 11.1512, 4.94154364509208));
#11480 = CARTESIAN_POINT ('', (67.15, 9.34880000000001, 14.9415436450921));
#11490 = CARTESIAN_POINT ('', (67.15, 11.1512, 14.9415436450921));
#11500 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#11320, #11330), (#11340, #11350), (#11360, #11370), (#11380, #11390), (#11400, #11410), (#11420, #11430), (#11440, #11450), (#11460, #11470), (#11480, #11490)), .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 ('')
);
#11510 = ADVANCED_FACE ('', (#11310), #11500, .F.);
#11520 = ORIENTED_EDGE ('', *, *, #5910, .F.);
#11530 = ORIENTED_EDGE ('', *, *, #4170, .F.);
#11540 = ORIENTED_EDGE ('', *, *, #5130, .F.);
#11550 = ORIENTED_EDGE ('', *, *, #9380, .F.);
#11560 = EDGE_LOOP ('', (#11520, #11530, #11540, #11550));
#11570 = FACE_OUTER_BOUND ('', #11560, .F.);
#11580 = CARTESIAN_POINT ('', (53.7226226147383, 9.3488, 38.));
#11590 = CARTESIAN_POINT ('', (53.7226226147383, 11.1512, 38.));
#11600 = CARTESIAN_POINT ('', (53.7226226147383, 9.3488, 43.));
#11610 = CARTESIAN_POINT ('', (53.7226226147383, 11.1512, 43.));
#11620 = CARTESIAN_POINT ('', (48.7226226147383, 9.3488, 43.));
#11630 = CARTESIAN_POINT ('', (48.7226226147383, 11.1512, 43.));
#11640 = CARTESIAN_POINT ('', (43.7226226147383, 9.3488, 43.));
#11650 = CARTESIAN_POINT ('', (43.7226226147383, 11.1512, 43.));
#11660 = CARTESIAN_POINT ('', (43.7226226147383, 9.3488, 38.));
#11670 = CARTESIAN_POINT ('', (43.7226226147383, 11.1512, 38.));
#11680 = CARTESIAN_POINT ('', (43.7226226147383, 9.3488, 33.));
#11690 = CARTESIAN_POINT ('', (43.7226226147383, 11.1512, 33.));
#11700 = CARTESIAN_POINT ('', (48.7226226147383, 9.3488, 33.));
#11710 = CARTESIAN_POINT ('', (48.7226226147383, 11.1512, 33.));
#11720 = CARTESIAN_POINT ('', (53.7226226147383, 9.3488, 33.));
#11730 = CARTESIAN_POINT ('', (53.7226226147383, 11.1512, 33.));
#11740 = CARTESIAN_POINT ('', (53.7226226147383, 9.3488, 38.));
#11750 = CARTESIAN_POINT ('', (53.7226226147383, 11.1512, 38.));
#11760 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#11580, #11590), (#11600, #11610), (#11620, #11630), (#11640, #11650), (#11660, #11670), (#11680, #11690), (#11700, #11710), (#11720, #11730), (#11740, #11750)), .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 ('')
);
#11770 = ADVANCED_FACE ('', (#11570), #11760, .F.);
#11780 = ORIENTED_EDGE ('', *, *, #5590, .F.);
#11790 = ORIENTED_EDGE ('', *, *, #9310, .F.);
#11800 = ORIENTED_EDGE ('', *, *, #4980, .F.);
#11810 = ORIENTED_EDGE ('', *, *, #9140, .F.);
#11820 = EDGE_LOOP ('', (#11780, #11790, #11800, #11810));
#11830 = FACE_OUTER_BOUND ('', #11820, .F.);
#11840 = CARTESIAN_POINT ('', (60.5799279630883, 9.3488, 34.0409329112147));
#11850 = CARTESIAN_POINT ('', (60.5799279630883, 11.1512, 34.0409329112147));
#11860 = CARTESIAN_POINT ('', (60.5799279630883, 9.3488, 39.0409329112147));
#11870 = CARTESIAN_POINT ('', (60.5799279630883, 11.1512, 39.0409329112147));
#11880 = CARTESIAN_POINT ('', (55.5799279630883, 9.3488, 39.0409329112147));
#11890 = CARTESIAN_POINT ('', (55.5799279630883, 11.1512, 39.0409329112147));
#11900 = CARTESIAN_POINT ('', (50.5799279630883, 9.3488, 39.0409329112147));
#11910 = CARTESIAN_POINT ('', (50.5799279630883, 11.1512, 39.0409329112147));
#11920 = CARTESIAN_POINT ('', (50.5799279630883, 9.3488, 34.0409329112147));
#11930 = CARTESIAN_POINT ('', (50.5799279630883, 11.1512, 34.0409329112147));
#11940 = CARTESIAN_POINT ('', (50.5799279630883, 9.3488, 29.0409329112147));
#11950 = CARTESIAN_POINT ('', (50.5799279630883, 11.1512, 29.0409329112147));
#11960 = CARTESIAN_POINT ('', (55.5799279630883, 9.3488, 29.0409329112147));
#11970 = CARTESIAN_POINT ('', (55.5799279630883, 11.1512, 29.0409329112147));
#11980 = CARTESIAN_POINT ('', (60.5799279630883, 9.3488, 29.0409329112147));
#11990 = CARTESIAN_POINT ('', (60.5799279630883, 11.1512, 29.0409329112147));
#12000 = CARTESIAN_POINT ('', (60.5799279630883, 9.3488, 34.0409329112147));
#12010 = CARTESIAN_POINT ('', (60.5799279630883, 11.1512, 34.0409329112147));
#12020 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#11840, #11850), (#11860, #11870), (#11880, #11890), (#11900, #11910), (#11920, #11930), (#11940, #11950), (#11960, #11970), (#11980, #11990), (#12000, #12010)), .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 ('')
);
#12030 = ADVANCED_FACE ('', (#11830), #12020, .F.);
#12040 = ORIENTED_EDGE ('', *, *, #9560, .F.);
#12050 = ORIENTED_EDGE ('', *, *, #1880, .F.);
#12060 = ORIENTED_EDGE ('', *, *, #10950, .F.);
#12070 = ORIENTED_EDGE ('', *, *, #10040, .F.);
#12080 = EDGE_LOOP ('', (#12040, #12050, #12060, #12070));
#12090 = FACE_OUTER_BOUND ('', #12080, .F.);
#12100 = CARTESIAN_POINT ('', (-2.45119999999998, -0.3, 19.4));
#12110 = CARTESIAN_POINT ('', (32.9512, -0.299999999999999, 19.4));
#12120 = CARTESIAN_POINT ('', (-2.45119999999998, 5.45926661318977E-16, 19.4));
#12130 = CARTESIAN_POINT ('', (32.9512, 1.76717198840665E-15, 19.4));
#12140 = CARTESIAN_POINT ('', (-2.45119999999998, -2.22044604925031E-15, 19.7));
#12150 = CARTESIAN_POINT ('', (32.9512, -9.99200722162641E-16, 19.7));
#12160 = CARTESIAN_POINT ('', (-2.45119999999998, -4.95906318420397E-15, 20.));
#12170 = CARTESIAN_POINT ('', (32.9512, -3.73781785711629E-15, 20.));
#12180 = CARTESIAN_POINT ('', (-2.45119999999998, -0.300000000000006, 20.));
#12190 = CARTESIAN_POINT ('', (32.9512, -0.300000000000004, 20.));
#12200 = CARTESIAN_POINT ('', (-2.45119999999998, -0.600000000000006, 20.));
#12210 = CARTESIAN_POINT ('', (32.9512, -0.600000000000005, 20.));
#12220 = CARTESIAN_POINT ('', (-2.45119999999998, -0.600000000000004, 19.7));
#12230 = CARTESIAN_POINT ('', (32.9512, -0.600000000000002, 19.7));
#12240 = CARTESIAN_POINT ('', (-2.45119999999998, -0.600000000000001, 19.4));
#12250 = CARTESIAN_POINT ('', (32.9512, -0.6, 19.4));
#12260 = CARTESIAN_POINT ('', (-2.45119999999998, -0.3, 19.4));
#12270 = CARTESIAN_POINT ('', (32.9512, -0.299999999999999, 19.4));
#12280 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#12100, #12110), (#12120, #12130), (#12140, #12150), (#12160, #12170), (#12180, #12190), (#12200, #12210), (#12220, #12230), (#12240, #12250), (#12260, #12270)), .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 ('')
);
#12290 = ADVANCED_FACE ('', (#12090), #12280, .F.);
#12300 = ORIENTED_EDGE ('', *, *, #10850, .F.);
#12310 = ORIENTED_EDGE ('', *, *, #2040, .F.);
#12320 = ORIENTED_EDGE ('', *, *, #9870, .F.);
#12330 = ORIENTED_EDGE ('', *, *, #10420, .F.);
#12340 = EDGE_LOOP ('', (#12300, #12310, #12320, #12330));
#12350 = FACE_OUTER_BOUND ('', #12340, .F.);
#12360 = CARTESIAN_POINT ('', (32.9512, 6.66133814775094E-16, 27.3));
#12370 = CARTESIAN_POINT ('', (-2.45119999999999, 6.66133814775094E-16, 27.3));
#12380 = CARTESIAN_POINT ('', (32.9512, 6.66133814775094E-16, 27.));
#12390 = CARTESIAN_POINT ('', (-2.45119999999999, 6.66133814775094E-16, 27.));
#12400 = CARTESIAN_POINT ('', (32.9512, -0.300000000000001, 27.));
#12410 = CARTESIAN_POINT ('', (-2.45119999999999, -0.300000000000001, 27.));
#12420 = CARTESIAN_POINT ('', (32.9512, -0.600000000000002, 27.));
#12430 = CARTESIAN_POINT ('', (-2.45119999999999, -0.600000000000002, 27.));
#12440 = CARTESIAN_POINT ('', (32.9512, -0.600000000000002, 27.3));
#12450 = CARTESIAN_POINT ('', (-2.45119999999999, -0.600000000000002, 27.3));
#12460 = CARTESIAN_POINT ('', (32.9512, -0.600000000000002, 27.6));
#12470 = CARTESIAN_POINT ('', (-2.45119999999999, -0.600000000000002, 27.6));
#12480 = CARTESIAN_POINT ('', (32.9512, -0.300000000000001, 27.6));
#12490 = CARTESIAN_POINT ('', (-2.45119999999999, -0.300000000000001, 27.6));
#12500 = CARTESIAN_POINT ('', (32.9512, 6.01638835185044E-16, 27.6));
#12510 = CARTESIAN_POINT ('', (-2.45119999999999, 6.01638835185044E-16, 27.6));
#12520 = CARTESIAN_POINT ('', (32.9512, 6.66133814775094E-16, 27.3));
#12530 = CARTESIAN_POINT ('', (-2.45119999999999, 6.66133814775094E-16, 27.3));
#12540 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#12360, #12370), (#12380, #12390), (#12400, #12410), (#12420, #12430), (#12440, #12450), (#12460, #12470), (#12480, #12490), (#12500, #12510), (#12520, #12530)), .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 ('')
);
#12550 = ADVANCED_FACE ('', (#12350), #12540, .F.);
#12560 = CLOSED_SHELL ('', (#1250, #1710, #2510, #2910, #3320, #3710, #4020, #4420, #5410, #6000, #6390, #7720, #8190, #8380, #8550, #8720, #8890, #9080, #9250, #9470, #9960, #10270, #10580, #10750, #11050, #11250, #11510, #11770, #12030, #12290, #12550));
#12570 = MANIFOLD_SOLID_BREP ('NOCUT', #12560);
#12580 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#12590 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#12600 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#12610 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #12580, 'DISTANCE_ACCURACY_VALUE', '');
#12620 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#12610))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#12580, #12590, #12600))
   REPRESENTATION_CONTEXT ('', '3D')
);
#12630 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#12640 = FILL_AREA_STYLE_COLOUR ('', #12630);
#12650 = FILL_AREA_STYLE ('', (#12640));
#12660 = SURFACE_STYLE_FILL_AREA (#12650);
#12670 = SURFACE_SIDE_STYLE ('', (#12660));
#12680 = SURFACE_STYLE_USAGE (.POSITIVE., #12670);
#12690 = PRESENTATION_STYLE_ASSIGNMENT ((#12680));
#12700 = STYLED_ITEM ('', (#12690), #12570);
#12710 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#12570), #12620);
#12720 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#12730 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #12720);
#12740 = MECHANICAL_CONTEXT ('', #12720, 'mechanical');
#12750 = PRODUCT ('NONE', '', '', (#12740));
#12760 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#12770 = PERSON ('', '', $, $, $, $);
#12780 = ORGANIZATION ($, '', '');
#12790 = PERSON_AND_ORGANIZATION (#12770, #12780);
#12800 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#12790, #12760, (#12750));
#12810 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#12750));
#12820 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #12750, .NOT_KNOWN.);
#12830 = APPROVAL_STATUS ('approved');
#12840 = APPROVAL (#12830, '');
#12850 = CALENDAR_DATE (2017, 25, 1);
#12860 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#12870 = LOCAL_TIME (7, 25, 4., #12860);
#12880 = DATE_AND_TIME (#12850, #12870);
#12890 = APPROVAL_DATE_TIME (#12880, #12840);
#12900 = APPROVAL_ROLE ('');
#12910 = PERSON ('', '', $, $, $, $);
#12920 = ORGANIZATION ($, '', '');
#12930 = PERSON_AND_ORGANIZATION (#12910, #12920);
#12940 = APPROVAL_PERSON_ORGANIZATION (#12930, #12840, #12900);
#12950 = CC_DESIGN_APPROVAL (#12840, (#12820));
#12960 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#12970 = PERSON ('', '', $, $, $, $);
#12980 = ORGANIZATION ($, '', '');
#12990 = PERSON_AND_ORGANIZATION (#12970, #12980);
#13000 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#12990, #12960, (#12820));
#13010 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#13020 = PERSON ('', '', $, $, $, $);
#13030 = ORGANIZATION ($, '', '');
#13040 = PERSON_AND_ORGANIZATION (#13020, #13030);
#13050 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13040, #13010, (#12820));
#13060 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#13070 = SECURITY_CLASSIFICATION ('', '', #13060);
#13080 = APPROVAL_STATUS ('approved');
#13090 = APPROVAL (#13080, '');
#13100 = CALENDAR_DATE (2017, 25, 1);
#13110 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13120 = LOCAL_TIME (7, 25, 4., #13110);
#13130 = DATE_AND_TIME (#13100, #13120);
#13140 = APPROVAL_DATE_TIME (#13130, #13090);
#13150 = APPROVAL_ROLE ('');
#13160 = PERSON ('', '', $, $, $, $);
#13170 = ORGANIZATION ($, '', '');
#13180 = PERSON_AND_ORGANIZATION (#13160, #13170);
#13190 = APPROVAL_PERSON_ORGANIZATION (#13180, #13090, #13150);
#13200 = CC_DESIGN_APPROVAL (#13090, (#13070));
#13210 = DATE_TIME_ROLE ('classification_date');
#13220 = CALENDAR_DATE (2017, 25, 1);
#13230 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13240 = LOCAL_TIME (7, 25, 4., #13230);
#13250 = DATE_AND_TIME (#13220, #13240);
#13260 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#13250, #13210, (#13070));
#13270 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#13280 = PERSON ('', '', $, $, $, $);
#13290 = ORGANIZATION ($, '', '');
#13300 = PERSON_AND_ORGANIZATION (#13280, #13290);
#13310 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13300, #13270, (#13070));
#13320 = CC_DESIGN_SECURITY_CLASSIFICATION (#13070, (#12820));
#13330 = DESIGN_CONTEXT ('', #12720, 'design');
#13340 = PRODUCT_DEFINITION ('', '', #12820, #13330);
#13350 = APPROVAL_STATUS ('approved');
#13360 = APPROVAL (#13350, '');
#13370 = CALENDAR_DATE (2017, 25, 1);
#13380 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13390 = LOCAL_TIME (7, 25, 4., #13380);
#13400 = DATE_AND_TIME (#13370, #13390);
#13410 = APPROVAL_DATE_TIME (#13400, #13360);
#13420 = APPROVAL_ROLE ('');
#13430 = PERSON ('', '', $, $, $, $);
#13440 = ORGANIZATION ($, '', '');
#13450 = PERSON_AND_ORGANIZATION (#13430, #13440);
#13460 = APPROVAL_PERSON_ORGANIZATION (#13450, #13360, #13420);
#13470 = CC_DESIGN_APPROVAL (#13360, (#13340));
#13480 = DATE_TIME_ROLE ('creation_date');
#13490 = CALENDAR_DATE (2017, 25, 1);
#13500 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13510 = LOCAL_TIME (7, 25, 4., #13500);
#13520 = DATE_AND_TIME (#13490, #13510);
#13530 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#13520, #13480, (#13340));
#13540 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#13550 = PERSON ('', '', $, $, $, $);
#13560 = ORGANIZATION ($, '', '');
#13570 = PERSON_AND_ORGANIZATION (#13550, #13560);
#13580 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13570, #13540, (#13340));
#13590 = PRODUCT_DEFINITION_SHAPE ('', '', #13340);
#13600 = SHAPE_DEFINITION_REPRESENTATION (#13590, #12710);
#13610 = CARTESIAN_POINT ('', (67.3338103350814, 9.5, 28.2018472365447));
#13620 = VERTEX_POINT ('', #13610);
#13630 = CARTESIAN_POINT ('', (33.7159018413253, 9.5, 25.851054071368));
#13640 = VERTEX_POINT ('', #13630);
#13650 = CARTESIAN_POINT ('', (67.3338103350814, 9.5, 28.2018472365447));
#13660 = DIRECTION ('', (-33.6179084937561, 0., -2.3507931651767));
#13670 = VECTOR ('', #13660, 33.7);
#13680 = LINE ('', #13650, #13670);
#13690 = EDGE_CURVE ('', #13620, #13640, #13680, .T.);
#13700 = ORIENTED_EDGE ('', *, *, #13690, .T.);
#13710 = CARTESIAN_POINT ('', (33.3753152725126, 9.5, 30.7216689234778));
#13720 = VERTEX_POINT ('', #13710);
#13730 = CARTESIAN_POINT ('', (33.7159018413253, 9.5, 25.851054071368));
#13740 = DIRECTION ('', (-0.340586568812697, 0., 4.8706148521098));
#13750 = VECTOR ('', #13740, 4.88250839717129);
#13760 = LINE ('', #13730, #13750);
#13770 = EDGE_CURVE ('', #13640, #13720, #13760, .T.);
#13780 = ORIENTED_EDGE ('', *, *, #13770, .T.);
#13790 = CARTESIAN_POINT ('', (36.2402388475954, 9.5, 28.2312288548012));
#13800 = VERTEX_POINT ('', #13790);
#13810 = CARTESIAN_POINT ('', (33.3753152725126, 9.5, 30.7216689234778));
#13820 = DIRECTION ('', (2.8649235750828, 0., -2.4904400686766));
#13830 = VECTOR ('', #13820, 3.79606096193609);
#13840 = LINE ('', #13810, #13830);
#13850 = EDGE_CURVE ('', #13720, #13800, #13840, .T.);
#13860 = ORIENTED_EDGE ('', *, *, #13850, .T.);
#13870 = CARTESIAN_POINT ('', (35.5588461447229, 9.5, 33.0795898618744));
#13880 = VERTEX_POINT ('', #13870);
#13890 = CARTESIAN_POINT ('', (36.2402388475954, 9.5, 28.2312288548012));
#13900 = DIRECTION ('', (-0.6813927028725, 0., 4.8483610070732));
#13910 = VECTOR ('', #13900, 4.89600862646664);
#13920 = LINE ('', #13890, #13910);
#13930 = EDGE_CURVE ('', #13800, #13880, #13920, .T.);
#13940 = ORIENTED_EDGE ('', *, *, #13930, .T.);
#13950 = CARTESIAN_POINT ('', (34.9208545142286, 9.5, 32.9899259855916));
#13960 = VERTEX_POINT ('', #13950);
#13970 = CARTESIAN_POINT ('', (35.5588461447229, 9.5, 33.0795898618744));
#13980 = DIRECTION ('', (-0.637991630494298, 0., -0.0896638762828061));
#13990 = VECTOR ('', #13980, 0.644261539509252);
#14000 = LINE ('', #13970, #13990);
#14010 = EDGE_CURVE ('', #13880, #13960, #14000, .T.);
#14020 = ORIENTED_EDGE ('', *, *, #14010, .T.);
#14030 = CARTESIAN_POINT ('', (35.1940252030031, 9.5, 33.3524357335483));
#14040 = VERTEX_POINT ('', #14030);
#14050 = CARTESIAN_POINT ('', (34.9208545142286, 9.5, 32.9899259855916));
#14060 = DIRECTION ('', (0.273170688774499, 0., 0.3625097479567));
#14070 = VECTOR ('', #14060, 0.453911381845801);
#14080 = LINE ('', #14050, #14070);
#14090 = EDGE_CURVE ('', #13960, #14040, #14080, .T.);
#14100 = ORIENTED_EDGE ('', *, *, #14090, .T.);
#14110 = CARTESIAN_POINT ('', (64.8260814209403, 9.5, 35.4245109561994));
#14120 = VERTEX_POINT ('', #14110);
#14130 = CARTESIAN_POINT ('', (35.1940252030031, 9.5, 33.3524357335483));
#14140 = DIRECTION ('', (29.6320562179372, 0., 2.0720752226511));
#14150 = VECTOR ('', #14140, 29.704414679157);
#14160 = LINE ('', #14130, #14150);
#14170 = EDGE_CURVE ('', #14040, #14120, #14160, .T.);
#14180 = ORIENTED_EDGE ('', *, *, #14170, .T.);
#14190 = CARTESIAN_POINT ('', (65.1470452371013, 9.5, 35.1035471400384));
#14200 = VERTEX_POINT ('', #14190);
#14210 = CARTESIAN_POINT ('', (65.1470452371013, 9.5, 35.1035471400384));
#14220 = DIRECTION ('', (-0.320963816160997, 0., 0.320963816160997));
#14230 = VECTOR ('', #14220, 0.453911381845907);
#14240 = LINE ('', #14210, #14230);
#14250 = EDGE_CURVE ('', #14200, #14120, #14240, .T.);
#14260 = ORIENTED_EDGE ('', *, *, #14250, .F.);
#14270 = CARTESIAN_POINT ('', (64.5027836975921, 9.5, 35.1035471400384));
#14280 = VERTEX_POINT ('', #14270);
#14290 = CARTESIAN_POINT ('', (64.5027836975921, 9.5, 35.1035471400384));
#14300 = DIRECTION ('', (0.644261539509202, 0., 0.));
#14310 = VECTOR ('', #14300, 0.644261539509202);
#14320 = LINE ('', #14290, #14310);
#14330 = EDGE_CURVE ('', #14280, #14200, #14320, .T.);
#14340 = ORIENTED_EDGE ('', *, *, #14330, .F.);
#14350 = CARTESIAN_POINT ('', (64.5027836975921, 9.5, 30.2075385135717));
#14360 = VERTEX_POINT ('', #14350);
#14370 = CARTESIAN_POINT ('', (64.5027836975921, 9.5, 30.2075385135717));
#14380 = DIRECTION ('', (0., 0., 4.8960086264667));
#14390 = VECTOR ('', #14380, 4.8960086264667);
#14400 = LINE ('', #14370, #14390);
#14410 = EDGE_CURVE ('', #14360, #14280, #14400, .T.);
#14420 = ORIENTED_EDGE ('', *, *, #14410, .F.);
#14430 = CARTESIAN_POINT ('', (66.9932237662687, 9.5, 33.0724620886546));
#14440 = VERTEX_POINT ('', #14430);
#14450 = CARTESIAN_POINT ('', (66.9932237662687, 9.5, 33.0724620886546));
#14460 = DIRECTION ('', (-2.49044006867661, 0., -2.86492357508291));
#14470 = VECTOR ('', #14460, 3.79606096193617);
#14480 = LINE ('', #14450, #14470);
#14490 = EDGE_CURVE ('', #14440, #14360, #14480, .T.);
#14500 = ORIENTED_EDGE ('', *, *, #14490, .F.);
#14510 = CARTESIAN_POINT ('', (67.3338103350814, 9.5, 28.2018472365447));
#14520 = DIRECTION ('', (-0.340586568812697, 0., 4.8706148521099));
#14530 = VECTOR ('', #14520, 4.88250839717139);
#14540 = LINE ('', #14510, #14530);
#14550 = EDGE_CURVE ('', #13620, #14440, #14540, .T.);
#14560 = ORIENTED_EDGE ('', *, *, #14550, .F.);
#14570 = EDGE_LOOP ('', (#13700, #13780, #13860, #13940, #14020, #14100, #14180, #14260, #14340, #14420, #14500, #14560));
#14580 = FACE_OUTER_BOUND ('', #14570, .F.);
#14590 = CARTESIAN_POINT ('', (67.3348776556054, 9.5, 28.2009194289682));
#14600 = CARTESIAN_POINT ('', (66.8199353664263, 9.5, 35.5649372479863));
#14610 = CARTESIAN_POINT ('', (33.7149740337488, 9.5, 25.8499867508439));
#14620 = CARTESIAN_POINT ('', (33.2000317445697, 9.5, 33.214004569862));
#14630 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14590, #14600), (#14610, #14620)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-34.351, -0.649000000000001), (0.0618960676887688, 7.44389606768876), .UNSPECIFIED.);
#14640 = ADVANCED_FACE ('', (#14580), #14630, .F.);
#14650 = CARTESIAN_POINT ('', (35.1940252030031, 11., 33.3524357335483));
#14660 = VERTEX_POINT ('', #14650);
#14670 = CARTESIAN_POINT ('', (64.8260814209403, 11., 35.4245109561994));
#14680 = VERTEX_POINT ('', #14670);
#14690 = CARTESIAN_POINT ('', (35.1940252030032, 11., 33.3524357335483));
#14700 = DIRECTION ('', (29.6320562179371, 0., 2.0720752226511));
#14710 = VECTOR ('', #14700, 29.7044146791569);
#14720 = LINE ('', #14690, #14710);
#14730 = EDGE_CURVE ('', #14660, #14680, #14720, .T.);
#14740 = ORIENTED_EDGE ('', *, *, #14730, .F.);
#14750 = CARTESIAN_POINT ('', (34.9208545142286, 11., 32.9899259855916));
#14760 = VERTEX_POINT ('', #14750);
#14770 = CARTESIAN_POINT ('', (35.1940252030032, 11., 33.3524357335483));
#14780 = DIRECTION ('', (-0.273170688774599, 0., -0.3625097479567));
#14790 = VECTOR ('', #14780, 0.453911381845861);
#14800 = LINE ('', #14770, #14790);
#14810 = EDGE_CURVE ('', #14660, #14760, #14800, .T.);
#14820 = ORIENTED_EDGE ('', *, *, #14810, .T.);
#14830 = CARTESIAN_POINT ('', (35.5588461447229, 11., 33.0795898618744));
#14840 = VERTEX_POINT ('', #14830);
#14850 = CARTESIAN_POINT ('', (35.5588461447229, 11., 33.0795898618744));
#14860 = DIRECTION ('', (-0.637991630494298, 0., -0.0896638762828061));
#14870 = VECTOR ('', #14860, 0.644261539509252);
#14880 = LINE ('', #14850, #14870);
#14890 = EDGE_CURVE ('', #14840, #14760, #14880, .T.);
#14900 = ORIENTED_EDGE ('', *, *, #14890, .F.);
#14910 = CARTESIAN_POINT ('', (36.2402388475954, 11., 28.2312288548012));
#14920 = VERTEX_POINT ('', #14910);
#14930 = CARTESIAN_POINT ('', (36.2402388475954, 11., 28.2312288548012));
#14940 = DIRECTION ('', (-0.6813927028725, 0., 4.8483610070732));
#14950 = VECTOR ('', #14940, 4.89600862646664);
#14960 = LINE ('', #14930, #14950);
#14970 = EDGE_CURVE ('', #14920, #14840, #14960, .T.);
#14980 = ORIENTED_EDGE ('', *, *, #14970, .F.);
#14990 = CARTESIAN_POINT ('', (33.3753152725126, 11., 30.7216689234778));
#15000 = VERTEX_POINT ('', #14990);
#15010 = CARTESIAN_POINT ('', (33.3753152725126, 11., 30.7216689234778));
#15020 = DIRECTION ('', (2.8649235750828, 0., -2.4904400686766));
#15030 = VECTOR ('', #15020, 3.79606096193609);
#15040 = LINE ('', #15010, #15030);
#15050 = EDGE_CURVE ('', #15000, #14920, #15040, .T.);
#15060 = ORIENTED_EDGE ('', *, *, #15050, .F.);
#15070 = CARTESIAN_POINT ('', (33.7159018413253, 11., 25.851054071368));
#15080 = VERTEX_POINT ('', #15070);
#15090 = CARTESIAN_POINT ('', (33.7159018413253, 11., 25.851054071368));
#15100 = DIRECTION ('', (-0.340586568812697, 0., 4.8706148521098));
#15110 = VECTOR ('', #15100, 4.88250839717129);
#15120 = LINE ('', #15090, #15110);
#15130 = EDGE_CURVE ('', #15080, #15000, #15120, .T.);
#15140 = ORIENTED_EDGE ('', *, *, #15130, .F.);
#15150 = CARTESIAN_POINT ('', (67.3338103350814, 11., 28.2018472365447));
#15160 = VERTEX_POINT ('', #15150);
#15170 = CARTESIAN_POINT ('', (67.3338103350814, 11., 28.2018472365447));
#15180 = DIRECTION ('', (-33.6179084937561, 0., -2.3507931651767));
#15190 = VECTOR ('', #15180, 33.7);
#15200 = LINE ('', #15170, #15190);
#15210 = EDGE_CURVE ('', #15160, #15080, #15200, .T.);
#15220 = ORIENTED_EDGE ('', *, *, #15210, .F.);
#15230 = CARTESIAN_POINT ('', (66.9932237662687, 11., 33.0724620886546));
#15240 = VERTEX_POINT ('', #15230);
#15250 = CARTESIAN_POINT ('', (67.3338103350814, 11., 28.2018472365447));
#15260 = DIRECTION ('', (-0.340586568812697, 0., 4.8706148521099));
#15270 = VECTOR ('', #15260, 4.88250839717139);
#15280 = LINE ('', #15250, #15270);
#15290 = EDGE_CURVE ('', #15160, #15240, #15280, .T.);
#15300 = ORIENTED_EDGE ('', *, *, #15290, .T.);
#15310 = CARTESIAN_POINT ('', (64.5027836975921, 11., 30.2075385135717));
#15320 = VERTEX_POINT ('', #15310);
#15330 = CARTESIAN_POINT ('', (66.9932237662687, 11., 33.0724620886546));
#15340 = DIRECTION ('', (-2.49044006867661, 0., -2.86492357508291));
#15350 = VECTOR ('', #15340, 3.79606096193617);
#15360 = LINE ('', #15330, #15350);
#15370 = EDGE_CURVE ('', #15240, #15320, #15360, .T.);
#15380 = ORIENTED_EDGE ('', *, *, #15370, .T.);
#15390 = CARTESIAN_POINT ('', (64.5027836975921, 11., 35.1035471400384));
#15400 = VERTEX_POINT ('', #15390);
#15410 = CARTESIAN_POINT ('', (64.5027836975921, 11., 30.2075385135717));
#15420 = DIRECTION ('', (0., 0., 4.8960086264667));
#15430 = VECTOR ('', #15420, 4.8960086264667);
#15440 = LINE ('', #15410, #15430);
#15450 = EDGE_CURVE ('', #15320, #15400, #15440, .T.);
#15460 = ORIENTED_EDGE ('', *, *, #15450, .T.);
#15470 = CARTESIAN_POINT ('', (65.1470452371013, 11., 35.1035471400384));
#15480 = VERTEX_POINT ('', #15470);
#15490 = CARTESIAN_POINT ('', (64.5027836975921, 11., 35.1035471400384));
#15500 = DIRECTION ('', (0.644261539509202, 0., 0.));
#15510 = VECTOR ('', #15500, 0.644261539509202);
#15520 = LINE ('', #15490, #15510);
#15530 = EDGE_CURVE ('', #15400, #15480, #15520, .T.);
#15540 = ORIENTED_EDGE ('', *, *, #15530, .T.);
#15550 = CARTESIAN_POINT ('', (64.8260814209403, 11., 35.4245109561994));
#15560 = DIRECTION ('', (0.320963816160997, 0., -0.320963816160997));
#15570 = VECTOR ('', #15560, 0.453911381845907);
#15580 = LINE ('', #15550, #15570);
#15590 = EDGE_CURVE ('', #14680, #15480, #15580, .T.);
#15600 = ORIENTED_EDGE ('', *, *, #15590, .F.);
#15610 = EDGE_LOOP ('', (#14740, #14820, #14900, #14980, #15060, #15140, #15220, #15300, #15380, #15460, #15540, #15600));
#15620 = FACE_OUTER_BOUND ('', #15610, .F.);
#15630 = CARTESIAN_POINT ('', (33.7149740337488, 11., 25.8499867508439));
#15640 = CARTESIAN_POINT ('', (33.2000317445697, 11., 33.214004569862));
#15650 = CARTESIAN_POINT ('', (67.3348776556054, 11., 28.2009194289682));
#15660 = CARTESIAN_POINT ('', (66.8199353664263, 11., 35.5649372479863));
#15670 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15630, #15640), (#15650, #15660)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.649000000000001, 34.351), (0.0618960676887688, 7.44389606768876), .UNSPECIFIED.);
#15680 = ADVANCED_FACE ('', (#15620), #15670, .F.);
#15690 = ORIENTED_EDGE ('', *, *, #14170, .F.);
#15700 = CARTESIAN_POINT ('', (35.1940252030031, 9.5, 33.3524357335483));
#15710 = DIRECTION ('', (9.9475983006414E-14, 1.5, 0.));
#15720 = VECTOR ('', #15710, 1.5);
#15730 = LINE ('', #15700, #15720);
#15740 = EDGE_CURVE ('', #14040, #14660, #15730, .T.);
#15750 = ORIENTED_EDGE ('', *, *, #15740, .T.);
#15760 = ORIENTED_EDGE ('', *, *, #14730, .T.);
#15770 = CARTESIAN_POINT ('', (64.8260814209403, 9.5, 35.4245109561994));
#15780 = DIRECTION ('', (0., 1.5, 0.));
#15790 = VECTOR ('', #15780, 1.5);
#15800 = LINE ('', #15770, #15790);
#15810 = EDGE_CURVE ('', #14120, #14680, #15800, .T.);
#15820 = ORIENTED_EDGE ('', *, *, #15810, .F.);
#15830 = EDGE_LOOP ('', (#15690, #15750, #15760, #15820));
#15840 = FACE_OUTER_BOUND ('', #15830, .F.);
#15850 = CARTESIAN_POINT ('', (35.1930276389529, 11.001, 33.3523659770746));
#15860 = CARTESIAN_POINT ('', (35.1930276389529, 9.499, 33.3523659770746));
#15870 = CARTESIAN_POINT ('', (64.8270789849906, 11.001, 35.4245807126731));
#15880 = CARTESIAN_POINT ('', (64.8270789849906, 9.499, 35.4245807126731));
#15890 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15850, #15860), (#15870, #15880)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-30.2241696660088, -0.517754986851825), (-10.001, -8.499), .UNSPECIFIED.);
#15900 = ADVANCED_FACE ('', (#15840), #15890, .F.);
#15910 = ORIENTED_EDGE ('', *, *, #15210, .T.);
#15920 = CARTESIAN_POINT ('', (33.7159018413253, 11., 25.851054071368));
#15930 = DIRECTION ('', (0., -1.5, 0.));
#15940 = VECTOR ('', #15930, 1.5);
#15950 = LINE ('', #15920, #15940);
#15960 = EDGE_CURVE ('', #15080, #13640, #15950, .T.);
#15970 = ORIENTED_EDGE ('', *, *, #15960, .T.);
#15980 = ORIENTED_EDGE ('', *, *, #13690, .F.);
#15990 = CARTESIAN_POINT ('', (67.3338103350814, 11., 28.2018472365447));
#16000 = DIRECTION ('', (0., -1.5, 0.));
#16010 = VECTOR ('', #16000, 1.5);
#16020 = LINE ('', #15990, #16010);
#16030 = EDGE_CURVE ('', #15160, #13620, #16020, .T.);
#16040 = ORIENTED_EDGE ('', *, *, #16030, .F.);
#16050 = EDGE_LOOP ('', (#15910, #15970, #15980, #16040));
#16060 = FACE_OUTER_BOUND ('', #16050, .F.);
#16070 = CARTESIAN_POINT ('', (67.3348078991316, 11.001, 28.2019169930185));
#16080 = CARTESIAN_POINT ('', (67.3348078991316, 9.499, 28.2019169930185));
#16090 = CARTESIAN_POINT ('', (33.714904277275, 11.001, 25.8509843148942));
#16100 = CARTESIAN_POINT ('', (33.714904277275, 9.499, 25.8509843148942));
#16110 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16070, #16080), (#16090, #16100)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.000999999999997669, 33.701), (-10.001, -8.499), .UNSPECIFIED.);
#16120 = ADVANCED_FACE ('', (#16060), #16110, .F.);
#16130 = ORIENTED_EDGE ('', *, *, #14250, .T.);
#16140 = ORIENTED_EDGE ('', *, *, #15810, .T.);
#16150 = ORIENTED_EDGE ('', *, *, #15590, .T.);
#16160 = CARTESIAN_POINT ('', (65.1470452371013, 11., 35.1035471400384));
#16170 = DIRECTION ('', (0., -1.5, 0.));
#16180 = VECTOR ('', #16170, 1.5);
#16190 = LINE ('', #16160, #16180);
#16200 = EDGE_CURVE ('', #15480, #14200, #16190, .T.);
#16210 = ORIENTED_EDGE ('', *, *, #16200, .T.);
#16220 = EDGE_LOOP ('', (#16130, #16140, #16150, #16210));
#16230 = FACE_OUTER_BOUND ('', #16220, .F.);
#16240 = CARTESIAN_POINT ('', (64.8250838568901, 11.001, 35.4255085202496));
#16250 = CARTESIAN_POINT ('', (64.8250838568901, 9.499, 35.4255085202496));
#16260 = CARTESIAN_POINT ('', (65.1480428011515, 11.001, 35.1025495759881));
#16270 = CARTESIAN_POINT ('', (65.1480428011515, 9.499, 35.1025495759881));
#16280 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16240, #16250), (#16260, #16270)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141076860921352, 0.455322150455058), (2.80419031933474, 4.30619031933474), .UNSPECIFIED.);
#16290 = ADVANCED_FACE ('', (#16230), #16280, .F.);
#16300 = ORIENTED_EDGE ('', *, *, #16200, .F.);
#16310 = ORIENTED_EDGE ('', *, *, #15530, .F.);
#16320 = CARTESIAN_POINT ('', (67.5027836975921, 11.25, 35.1035471400384));
#16330 = VERTEX_POINT ('', #16320);
#16340 = CARTESIAN_POINT ('', (67.5027836975921, 11.25, 35.1035471400384));
#16350 = DIRECTION ('', (-3., -0.25, 0.));
#16360 = VECTOR ('', #16350, 3.01039864469807);
#16370 = LINE ('', #16340, #16360);
#16380 = EDGE_CURVE ('', #16330, #15400, #16370, .T.);
#16390 = ORIENTED_EDGE ('', *, *, #16380, .F.);
#16400 = CARTESIAN_POINT ('', (67.5027836975921, 9.25, 35.1035471400384));
#16410 = VERTEX_POINT ('', #16400);
#16420 = CARTESIAN_POINT ('', (67.5027836975921, 11.25, 35.1035471400384));
#16430 = DIRECTION ('', (0., -2., 0.));
#16440 = VECTOR ('', #16430, 2.);
#16450 = LINE ('', #16420, #16440);
#16460 = EDGE_CURVE ('', #16330, #16410, #16450, .T.);
#16470 = ORIENTED_EDGE ('', *, *, #16460, .T.);
#16480 = CARTESIAN_POINT ('', (67.5027836975921, 9.25, 35.1035471400384));
#16490 = DIRECTION ('', (-3., 0.25, 0.));
#16500 = VECTOR ('', #16490, 3.01039864469807);
#16510 = LINE ('', #16480, #16500);
#16520 = EDGE_CURVE ('', #16410, #14280, #16510, .T.);
#16530 = ORIENTED_EDGE ('', *, *, #16520, .T.);
#16540 = ORIENTED_EDGE ('', *, *, #14330, .T.);
#16550 = EDGE_LOOP ('', (#16300, #16310, #16390, #16470, #16530, #16540));
#16560 = FACE_OUTER_BOUND ('', #16550, .F.);
#16570 = CARTESIAN_POINT ('', (64.5017163770681, 11.251, 35.1035471400384));
#16580 = CARTESIAN_POINT ('', (64.5017163770681, 9.249, 35.1035471400384));
#16590 = CARTESIAN_POINT ('', (67.5038510181161, 11.251, 35.1035471400384));
#16600 = CARTESIAN_POINT ('', (67.5038510181161, 9.249, 35.1035471400384));
#16610 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16570, #16580), (#16590, #16600)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052401526, 3.001067320524), (2.55419031933474, 4.55619031933474), .UNSPECIFIED.);
#16620 = ADVANCED_FACE ('', (#16560), #16610, .F.);
#16630 = CARTESIAN_POINT ('', (66.9932237662687, 11., 33.0724620886546));
#16640 = DIRECTION ('', (0., -1.5, 0.));
#16650 = VECTOR ('', #16640, 1.5);
#16660 = LINE ('', #16630, #16650);
#16670 = EDGE_CURVE ('', #15240, #14440, #16660, .T.);
#16680 = ORIENTED_EDGE ('', *, *, #16670, .T.);
#16690 = ORIENTED_EDGE ('', *, *, #14490, .T.);
#16700 = CARTESIAN_POINT ('', (67.5027836975921, 9.25, 33.6586437352347));
#16710 = VERTEX_POINT ('', #16700);
#16720 = CARTESIAN_POINT ('', (64.5027836975921, 9.5, 30.2075385135717));
#16730 = DIRECTION ('', (3., -0.25, 3.451105221663));
#16740 = VECTOR ('', #16730, 4.57958810931612);
#16750 = LINE ('', #16720, #16740);
#16760 = EDGE_CURVE ('', #14360, #16710, #16750, .T.);
#16770 = ORIENTED_EDGE ('', *, *, #16760, .T.);
#16780 = CARTESIAN_POINT ('', (67.5027836975921, 11.25, 33.6586437352347));
#16790 = VERTEX_POINT ('', #16780);
#16800 = CARTESIAN_POINT ('', (67.5027836975921, 11.25, 33.6586437352347));
#16810 = DIRECTION ('', (0., -2., 0.));
#16820 = VECTOR ('', #16810, 2.);
#16830 = LINE ('', #16800, #16820);
#16840 = EDGE_CURVE ('', #16790, #16710, #16830, .T.);
#16850 = ORIENTED_EDGE ('', *, *, #16840, .F.);
#16860 = CARTESIAN_POINT ('', (64.5027836975921, 11., 30.2075385135717));
#16870 = DIRECTION ('', (3., 0.25, 3.451105221663));
#16880 = VECTOR ('', #16870, 4.57958810931612);
#16890 = LINE ('', #16860, #16880);
#16900 = EDGE_CURVE ('', #15320, #16790, #16890, .T.);
#16910 = ORIENTED_EDGE ('', *, *, #16900, .F.);
#16920 = ORIENTED_EDGE ('', *, *, #15370, .F.);
#16930 = EDGE_LOOP ('', (#16680, #16690, #16770, #16850, #16910, #16920));
#16940 = FACE_OUTER_BOUND ('', #16930, .F.);
#16950 = CARTESIAN_POINT ('', (67.5037115051686, 11.251, 33.6597110557587));
#16960 = CARTESIAN_POINT ('', (67.5037115051686, 9.249, 33.6597110557587));
#16970 = CARTESIAN_POINT ('', (64.5018558900155, 11.251, 30.2064711930477));
#16980 = CARTESIAN_POINT ('', (64.5018558900155, 9.249, 30.2064711930477));
#16990 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16950, #16960), (#16970, #16980)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.79747517549849, 0.77811251174365), (33.249, 35.251), .UNSPECIFIED.);
#17000 = ADVANCED_FACE ('', (#16940), #16990, .F.);
#17010 = ORIENTED_EDGE ('', *, *, #15290, .F.);
#17020 = ORIENTED_EDGE ('', *, *, #16030, .T.);
#17030 = ORIENTED_EDGE ('', *, *, #14550, .T.);
#17040 = ORIENTED_EDGE ('', *, *, #16670, .F.);
#17050 = EDGE_LOOP ('', (#17010, #17020, #17030, #17040));
#17060 = FACE_OUTER_BOUND ('', #17050, .F.);
#17070 = CARTESIAN_POINT ('', (67.3338800915551, 11.001, 28.2008496724945));
#17080 = CARTESIAN_POINT ('', (66.9931540097949, 11.001, 33.0734596527048));
#17090 = CARTESIAN_POINT ('', (67.3338800915551, 9.499, 28.2008496724945));
#17100 = CARTESIAN_POINT ('', (66.9931540097949, 9.499, 33.0734596527048));
#17110 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17070, #17080), (#17090, #17100)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-35.001, -33.499), (0.1164916028287, 5.001), .UNSPECIFIED.);
#17120 = ADVANCED_FACE ('', (#17060), #17110, .F.);
#17130 = ORIENTED_EDGE ('', *, *, #16840, .T.);
#17140 = CARTESIAN_POINT ('', (67.5027836975921, 9.25, 33.6586437352347));
#17150 = DIRECTION ('', (0., 0., 1.4449034048037));
#17160 = VECTOR ('', #17150, 1.4449034048037);
#17170 = LINE ('', #17140, #17160);
#17180 = EDGE_CURVE ('', #16710, #16410, #17170, .T.);
#17190 = ORIENTED_EDGE ('', *, *, #17180, .T.);
#17200 = ORIENTED_EDGE ('', *, *, #16460, .F.);
#17210 = CARTESIAN_POINT ('', (67.5027836975921, 11.25, 33.6586437352347));
#17220 = DIRECTION ('', (0., 0., 1.4449034048037));
#17230 = VECTOR ('', #17220, 1.4449034048037);
#17240 = LINE ('', #17210, #17230);
#17250 = EDGE_CURVE ('', #16790, #16330, #17240, .T.);
#17260 = ORIENTED_EDGE ('', *, *, #17250, .F.);
#17270 = EDGE_LOOP ('', (#17130, #17190, #17200, #17260));
#17280 = FACE_OUTER_BOUND ('', #17270, .F.);
#17290 = CARTESIAN_POINT ('', (67.502783697592, 11.251, 35.1046144605624));
#17300 = CARTESIAN_POINT ('', (67.502783697592, 9.249, 35.1046144605624));
#17310 = CARTESIAN_POINT ('', (67.502783697592, 11.251, 33.6575764147107));
#17320 = CARTESIAN_POINT ('', (67.502783697592, 9.249, 33.6575764147107));
#17330 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17290, #17300), (#17310, #17320)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.44597072532774, 0.00106732052400549), (33.249, 35.251), .UNSPECIFIED.);
#17340 = ADVANCED_FACE ('', (#17280), #17330, .F.);
#17350 = ORIENTED_EDGE ('', *, *, #16760, .F.);
#17360 = ORIENTED_EDGE ('', *, *, #14410, .T.);
#17370 = ORIENTED_EDGE ('', *, *, #16520, .F.);
#17380 = ORIENTED_EDGE ('', *, *, #17180, .F.);
#17390 = EDGE_LOOP ('', (#17350, #17360, #17370, #17380));
#17400 = FACE_OUTER_BOUND ('', #17390, .F.);
#17410 = CARTESIAN_POINT ('', (67.8278868345143, 9.22290807192315, 30.4375969373102));
#17420 = CARTESIAN_POINT ('', (67.4891898593112, 9.25113281985674, 35.3148254002133));
#17430 = CARTESIAN_POINT ('', (64.5018803141362, 9.50007528195464, 30.2050199048369));
#17440 = CARTESIAN_POINT ('', (64.1631833389331, 9.52830002988823, 35.08224836774));
#17450 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17410, #17420), (#17430, #17440)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.485607920655699, 2.86002103545233), (2.27575753352009, 7.1648136547729), .UNSPECIFIED.);
#17460 = ADVANCED_FACE ('', (#17400), #17450, .F.);
#17470 = ORIENTED_EDGE ('', *, *, #15450, .F.);
#17480 = ORIENTED_EDGE ('', *, *, #16900, .T.);
#17490 = ORIENTED_EDGE ('', *, *, #17250, .T.);
#17500 = ORIENTED_EDGE ('', *, *, #16380, .T.);
#17510 = EDGE_LOOP ('', (#17470, #17480, #17490, #17500));
#17520 = FACE_OUTER_BOUND ('', #17510, .F.);
#17530 = CARTESIAN_POINT ('', (64.5018803141362, 10.9999247180453, 30.2050199048369));
#17540 = CARTESIAN_POINT ('', (64.1631833389331, 10.9716999701118, 35.08224836774));
#17550 = CARTESIAN_POINT ('', (67.8278868345143, 11.2770919280769, 30.4375969373102));
#17560 = CARTESIAN_POINT ('', (67.4891898593112, 11.2488671801434, 35.3148254002133));
#17570 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17530, #17540), (#17550, #17560)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.485607920655699, 2.86002103545233), (2.27575753352009, 7.1648136547729), .UNSPECIFIED.);
#17580 = ADVANCED_FACE ('', (#17520), #17570, .F.);
#17590 = ORIENTED_EDGE ('', *, *, #14090, .F.);
#17600 = CARTESIAN_POINT ('', (34.9208545142286, 11., 32.9899259855916));
#17610 = DIRECTION ('', (0., -1.5, 0.));
#17620 = VECTOR ('', #17610, 1.5);
#17630 = LINE ('', #17600, #17620);
#17640 = EDGE_CURVE ('', #14760, #13960, #17630, .T.);
#17650 = ORIENTED_EDGE ('', *, *, #17640, .F.);
#17660 = ORIENTED_EDGE ('', *, *, #14810, .F.);
#17670 = ORIENTED_EDGE ('', *, *, #15740, .F.);
#17680 = EDGE_LOOP ('', (#17590, #17650, #17660, #17670));
#17690 = FACE_OUTER_BOUND ('', #17680, .F.);
#17700 = CARTESIAN_POINT ('', (35.1948742247464, 9.499, 33.3535624234561));
#17710 = CARTESIAN_POINT ('', (35.1948742247464, 11.001, 33.3535624234561));
#17720 = CARTESIAN_POINT ('', (34.9200054924854, 9.499, 32.9887992956838));
#17730 = CARTESIAN_POINT ('', (34.9200054924854, 11.001, 32.9887992956838));
#17740 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17700, #17710), (#17720, #17730)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141076860921352, 0.455322150455058), (-4.30619031933474, -2.80419031933474), .UNSPECIFIED.);
#17750 = ADVANCED_FACE ('', (#17690), #17740, .F.);
#17760 = ORIENTED_EDGE ('', *, *, #17640, .T.);
#17770 = ORIENTED_EDGE ('', *, *, #14010, .F.);
#17780 = CARTESIAN_POINT ('', (32.5880419384982, 9.25, 32.6620705589943));
#17790 = VERTEX_POINT ('', #17780);
#17800 = CARTESIAN_POINT ('', (32.5880419384982, 9.25, 32.6620705589943));
#17810 = DIRECTION ('', (2.9708042062247, 0.25, 0.417519302880102));
#17820 = VECTOR ('', #17810, 3.01039864469805);
#17830 = LINE ('', #17800, #17820);
#17840 = EDGE_CURVE ('', #17790, #13880, #17830, .T.);
#17850 = ORIENTED_EDGE ('', *, *, #17840, .F.);
#17860 = CARTESIAN_POINT ('', (32.5880419384982, 11.25, 32.6620705589943));
#17870 = VERTEX_POINT ('', #17860);
#17880 = CARTESIAN_POINT ('', (32.5880419384982, 11.25, 32.6620705589943));
#17890 = DIRECTION ('', (0., -2., 0.));
#17900 = VECTOR ('', #17890, 2.);
#17910 = LINE ('', #17880, #17900);
#17920 = EDGE_CURVE ('', #17870, #17790, #17910, .T.);
#17930 = ORIENTED_EDGE ('', *, *, #17920, .F.);
#17940 = CARTESIAN_POINT ('', (32.5880419384982, 11.25, 32.6620705589943));
#17950 = DIRECTION ('', (2.9708042062247, -0.25, 0.417519302880102));
#17960 = VECTOR ('', #17950, 3.01039864469805);
#17970 = LINE ('', #17940, #17960);
#17980 = EDGE_CURVE ('', #17870, #14840, #17970, .T.);
#17990 = ORIENTED_EDGE ('', *, *, #17980, .T.);
#18000 = ORIENTED_EDGE ('', *, *, #14890, .T.);
#18010 = EDGE_LOOP ('', (#17760, #17770, #17850, #17930, #17990, #18000));
#18020 = FACE_OUTER_BOUND ('', #18010, .F.);
#18030 = CARTESIAN_POINT ('', (35.5599030781569, 9.249, 33.0797384041815));
#18040 = CARTESIAN_POINT ('', (35.5599030781569, 11.251, 33.0797384041815));
#18050 = CARTESIAN_POINT ('', (32.5869850050641, 9.249, 32.6619220166872));
#18060 = CARTESIAN_POINT ('', (32.5869850050641, 11.251, 32.6619220166872));
#18070 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18030, #18040), (#18050, #18060)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052401526, 3.001067320524), (-4.55619031933474, -2.55419031933474), .UNSPECIFIED.);
#18080 = ADVANCED_FACE ('', (#18020), #18070, .F.);
#18090 = CARTESIAN_POINT ('', (33.3753152725126, 11., 30.7216689234778));
#18100 = DIRECTION ('', (0., -1.5, 0.));
#18110 = VECTOR ('', #18100, 1.5);
#18120 = LINE ('', #18090, #18110);
#18130 = EDGE_CURVE ('', #15000, #13720, #18120, .T.);
#18140 = ORIENTED_EDGE ('', *, *, #18130, .F.);
#18150 = ORIENTED_EDGE ('', *, *, #15050, .T.);
#18160 = CARTESIAN_POINT ('', (32.7891336259324, 11.25, 31.2312288548011));
#18170 = VERTEX_POINT ('', #18160);
#18180 = CARTESIAN_POINT ('', (36.2402388475954, 11., 28.2312288548012));
#18190 = DIRECTION ('', (-3.451105221663, 0.25, 2.9999999999999));
#18200 = VECTOR ('', #18190, 4.57958810931606);
#18210 = LINE ('', #18180, #18200);
#18220 = EDGE_CURVE ('', #14920, #18170, #18210, .T.);
#18230 = ORIENTED_EDGE ('', *, *, #18220, .T.);
#18240 = CARTESIAN_POINT ('', (32.7891336259324, 9.25, 31.2312288548011));
#18250 = VERTEX_POINT ('', #18240);
#18260 = CARTESIAN_POINT ('', (32.7891336259324, 11.25, 31.2312288548011));
#18270 = DIRECTION ('', (0., -2., 0.));
#18280 = VECTOR ('', #18270, 2.);
#18290 = LINE ('', #18260, #18280);
#18300 = EDGE_CURVE ('', #18170, #18250, #18290, .T.);
#18310 = ORIENTED_EDGE ('', *, *, #18300, .T.);
#18320 = CARTESIAN_POINT ('', (36.2402388475954, 9.5, 28.2312288548012));
#18330 = DIRECTION ('', (-3.451105221663, -0.25, 2.9999999999999));
#18340 = VECTOR ('', #18330, 4.57958810931606);
#18350 = LINE ('', #18320, #18340);
#18360 = EDGE_CURVE ('', #13800, #18250, #18350, .T.);
#18370 = ORIENTED_EDGE ('', *, *, #18360, .F.);
#18380 = ORIENTED_EDGE ('', *, *, #13850, .F.);
#18390 = EDGE_LOOP ('', (#18140, #18150, #18230, #18310, #18370, #18380));
#18400 = FACE_OUTER_BOUND ('', #18390, .F.);
#18410 = CARTESIAN_POINT ('', (32.7880663054084, 9.249, 31.2321566623777));
#18420 = CARTESIAN_POINT ('', (32.7880663054084, 11.251, 31.2321566623777));
#18430 = CARTESIAN_POINT ('', (36.2413061681194, 9.249, 28.2303010472247));
#18440 = CARTESIAN_POINT ('', (36.2413061681194, 11.251, 28.2303010472247));
#18450 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18410, #18420), (#18430, #18440)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.79747517549849, 0.77811251174365), (-35.251, -33.249), .UNSPECIFIED.);
#18460 = ADVANCED_FACE ('', (#18400), #18450, .F.);
#18470 = ORIENTED_EDGE ('', *, *, #15130, .T.);
#18480 = ORIENTED_EDGE ('', *, *, #18130, .T.);
#18490 = ORIENTED_EDGE ('', *, *, #13770, .F.);
#18500 = ORIENTED_EDGE ('', *, *, #15960, .F.);
#18510 = EDGE_LOOP ('', (#18470, #18480, #18490, #18500));
#18520 = FACE_OUTER_BOUND ('', #18510, .F.);
#18530 = CARTESIAN_POINT ('', (33.3752455160388, 11.001, 30.722666487528));
#18540 = CARTESIAN_POINT ('', (33.715971597799, 11.001, 25.8500565073177));
#18550 = CARTESIAN_POINT ('', (33.3752455160388, 9.499, 30.722666487528));
#18560 = CARTESIAN_POINT ('', (33.715971597799, 9.499, 25.8500565073177));
#18570 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18530, #18540), (#18550, #18560)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-35.001, -33.499), (-5.001, -0.1164916028287), .UNSPECIFIED.);
#18580 = ADVANCED_FACE ('', (#18520), #18570, .F.);
#18590 = ORIENTED_EDGE ('', *, *, #18300, .F.);
#18600 = CARTESIAN_POINT ('', (32.7891336259324, 11.25, 31.2312288548011));
#18610 = DIRECTION ('', (-0.2010916874342, 0., 1.4308417041932));
#18620 = VECTOR ('', #18610, 1.44490340480381);
#18630 = LINE ('', #18600, #18620);
#18640 = EDGE_CURVE ('', #18170, #17870, #18630, .T.);
#18650 = ORIENTED_EDGE ('', *, *, #18640, .T.);
#18660 = ORIENTED_EDGE ('', *, *, #17920, .T.);
#18670 = CARTESIAN_POINT ('', (32.7891336259324, 9.25, 31.2312288548011));
#18680 = DIRECTION ('', (-0.2010916874342, 0., 1.4308417041932));
#18690 = VECTOR ('', #18680, 1.44490340480381);
#18700 = LINE ('', #18670, #18690);
#18710 = EDGE_CURVE ('', #18250, #17790, #18700, .T.);
#18720 = ORIENTED_EDGE ('', *, *, #18710, .F.);
#18730 = EDGE_LOOP ('', (#18590, #18650, #18660, #18720));
#18740 = FACE_OUTER_BOUND ('', #18730, .F.);
#18750 = CARTESIAN_POINT ('', (32.5878933961911, 9.249, 32.6631274924283));
#18760 = CARTESIAN_POINT ('', (32.5878933961911, 11.251, 32.6631274924283));
#18770 = CARTESIAN_POINT ('', (32.7892821682395, 9.249, 31.2301719213671));
#18780 = CARTESIAN_POINT ('', (32.7892821682395, 11.251, 31.2301719213671));
#18790 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18750, #18760), (#18770, #18780)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.44597072532774, 0.00106732052400638), (-35.251, -33.249), .UNSPECIFIED.);
#18800 = ADVANCED_FACE ('', (#18740), #18790, .F.);
#18810 = ORIENTED_EDGE ('', *, *, #18360, .T.);
#18820 = ORIENTED_EDGE ('', *, *, #18710, .T.);
#18830 = ORIENTED_EDGE ('', *, *, #17840, .T.);
#18840 = ORIENTED_EDGE ('', *, *, #13930, .F.);
#18850 = EDGE_LOOP ('', (#18810, #18820, #18830, #18840));
#18860 = FACE_OUTER_BOUND ('', #18850, .F.);
#18870 = CARTESIAN_POINT ('', (32.5720992318453, 9.25113281985674, 32.8731845702922));
#18880 = CARTESIAN_POINT ('', (32.9154774415952, 9.22290807192314, 27.996283451197));
#18890 = CARTESIAN_POINT ('', (35.8981057522235, 9.52830002988825, 33.1057616027656));
#18900 = CARTESIAN_POINT ('', (36.2414839619734, 9.50007528195465, 28.2288604836704));
#18910 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18870, #18880), (#18890, #18900)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.485607920655696, 2.86002103545233), (-7.1648136547729, -2.27575753352009), .UNSPECIFIED.);
#18920 = ADVANCED_FACE ('', (#18860), #18910, .F.);
#18930 = ORIENTED_EDGE ('', *, *, #14970, .T.);
#18940 = ORIENTED_EDGE ('', *, *, #17980, .F.);
#18950 = ORIENTED_EDGE ('', *, *, #18640, .F.);
#18960 = ORIENTED_EDGE ('', *, *, #18220, .F.);
#18970 = EDGE_LOOP ('', (#18930, #18940, #18950, #18960));
#18980 = FACE_OUTER_BOUND ('', #18970, .F.);
#18990 = CARTESIAN_POINT ('', (35.8981057522235, 10.9716999701118, 33.1057616027656));
#19000 = CARTESIAN_POINT ('', (36.2414839619733, 10.9999247180453, 28.2288604836703));
#19010 = CARTESIAN_POINT ('', (32.5720992318453, 11.2488671801433, 32.8731845702922));
#19020 = CARTESIAN_POINT ('', (32.9154774415951, 11.2770919280768, 27.9962834511969));
#19030 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18990, #19000), (#19010, #19020)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.485607920655696, 2.86002103545233), (-7.1648136547729, -2.27575753352009), .UNSPECIFIED.);
#19040 = ADVANCED_FACE ('', (#18980), #19030, .F.);
#19050 = CLOSED_SHELL ('', (#14640, #15680, #15900, #16120, #16290, #16620, #17000, #17120, #17340, #17460, #17580, #17750, #18080, #18460, #18580, #18800, #18920, #19040));
#19060 = MANIFOLD_SOLID_BREP ('CUT', #19050);
#19070 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#19080 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#19090 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#19100 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #19070, 'DISTANCE_ACCURACY_VALUE', '');
#19110 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#19100))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#19070, #19080, #19090))
   REPRESENTATION_CONTEXT ('', '3D')
);
#19120 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#19130 = FILL_AREA_STYLE_COLOUR ('', #19120);
#19140 = FILL_AREA_STYLE ('', (#19130));
#19150 = SURFACE_STYLE_FILL_AREA (#19140);
#19160 = SURFACE_SIDE_STYLE ('', (#19150));
#19170 = SURFACE_STYLE_USAGE (.POSITIVE., #19160);
#19180 = PRESENTATION_STYLE_ASSIGNMENT ((#19170));
#19190 = STYLED_ITEM ('', (#19180), #19060);
#19200 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#19060), #19110);
#19210 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#19220 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #19210);
#19230 = MECHANICAL_CONTEXT ('', #19210, 'mechanical');
#19240 = PRODUCT ('NONE', '', '', (#19230));
#19250 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#19260 = PERSON ('', '', $, $, $, $);
#19270 = ORGANIZATION ($, '', '');
#19280 = PERSON_AND_ORGANIZATION (#19260, #19270);
#19290 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19280, #19250, (#19240));
#19300 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#19240));
#19310 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #19240, .NOT_KNOWN.);
#19320 = APPROVAL_STATUS ('approved');
#19330 = APPROVAL (#19320, '');
#19340 = CALENDAR_DATE (2017, 25, 1);
#19350 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19360 = LOCAL_TIME (7, 25, 4., #19350);
#19370 = DATE_AND_TIME (#19340, #19360);
#19380 = APPROVAL_DATE_TIME (#19370, #19330);
#19390 = APPROVAL_ROLE ('');
#19400 = PERSON ('', '', $, $, $, $);
#19410 = ORGANIZATION ($, '', '');
#19420 = PERSON_AND_ORGANIZATION (#19400, #19410);
#19430 = APPROVAL_PERSON_ORGANIZATION (#19420, #19330, #19390);
#19440 = CC_DESIGN_APPROVAL (#19330, (#19310));
#19450 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#19460 = PERSON ('', '', $, $, $, $);
#19470 = ORGANIZATION ($, '', '');
#19480 = PERSON_AND_ORGANIZATION (#19460, #19470);
#19490 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19480, #19450, (#19310));
#19500 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#19510 = PERSON ('', '', $, $, $, $);
#19520 = ORGANIZATION ($, '', '');
#19530 = PERSON_AND_ORGANIZATION (#19510, #19520);
#19540 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19530, #19500, (#19310));
#19550 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#19560 = SECURITY_CLASSIFICATION ('', '', #19550);
#19570 = APPROVAL_STATUS ('approved');
#19580 = APPROVAL (#19570, '');
#19590 = CALENDAR_DATE (2017, 25, 1);
#19600 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19610 = LOCAL_TIME (7, 25, 4., #19600);
#19620 = DATE_AND_TIME (#19590, #19610);
#19630 = APPROVAL_DATE_TIME (#19620, #19580);
#19640 = APPROVAL_ROLE ('');
#19650 = PERSON ('', '', $, $, $, $);
#19660 = ORGANIZATION ($, '', '');
#19670 = PERSON_AND_ORGANIZATION (#19650, #19660);
#19680 = APPROVAL_PERSON_ORGANIZATION (#19670, #19580, #19640);
#19690 = CC_DESIGN_APPROVAL (#19580, (#19560));
#19700 = DATE_TIME_ROLE ('classification_date');
#19710 = CALENDAR_DATE (2017, 25, 1);
#19720 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19730 = LOCAL_TIME (7, 25, 4., #19720);
#19740 = DATE_AND_TIME (#19710, #19730);
#19750 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#19740, #19700, (#19560));
#19760 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#19770 = PERSON ('', '', $, $, $, $);
#19780 = ORGANIZATION ($, '', '');
#19790 = PERSON_AND_ORGANIZATION (#19770, #19780);
#19800 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19790, #19760, (#19560));
#19810 = CC_DESIGN_SECURITY_CLASSIFICATION (#19560, (#19310));
#19820 = DESIGN_CONTEXT ('', #19210, 'design');
#19830 = PRODUCT_DEFINITION ('', '', #19310, #19820);
#19840 = APPROVAL_STATUS ('approved');
#19850 = APPROVAL (#19840, '');
#19860 = CALENDAR_DATE (2017, 25, 1);
#19870 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19880 = LOCAL_TIME (7, 25, 4., #19870);
#19890 = DATE_AND_TIME (#19860, #19880);
#19900 = APPROVAL_DATE_TIME (#19890, #19850);
#19910 = APPROVAL_ROLE ('');
#19920 = PERSON ('', '', $, $, $, $);
#19930 = ORGANIZATION ($, '', '');
#19940 = PERSON_AND_ORGANIZATION (#19920, #19930);
#19950 = APPROVAL_PERSON_ORGANIZATION (#19940, #19850, #19910);
#19960 = CC_DESIGN_APPROVAL (#19850, (#19830));
#19970 = DATE_TIME_ROLE ('creation_date');
#19980 = CALENDAR_DATE (2017, 25, 1);
#19990 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#20000 = LOCAL_TIME (7, 25, 4., #19990);
#20010 = DATE_AND_TIME (#19980, #20000);
#20020 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#20010, #19970, (#19830));
#20030 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#20040 = PERSON ('', '', $, $, $, $);
#20050 = ORGANIZATION ($, '', '');
#20060 = PERSON_AND_ORGANIZATION (#20040, #20050);
#20070 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#20060, #20030, (#19830));
#20080 = PRODUCT_DEFINITION_SHAPE ('', '', #19830);
#20090 = SHAPE_DEFINITION_REPRESENTATION (#20080, #19200);
ENDSEC;
END-ISO-10303-21;