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

DATA;
#10 = CARTESIAN_POINT ('', (42., 8.5, 35.));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (42.9692453207738, 8.5, 43.));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (75.4999999999988, 8.5, 35.));
#60 = DIRECTION ('', (0., 1., 0.));
#70 = DIRECTION ('', (-1., 0., 1.27261385509276E-15));
#80 = AXIS2_PLACEMENT_3D ('', #50, #60, #70);
#90 = CIRCLE ('', #80, 33.4999999999988);
#100 = EDGE_CURVE ('', #20, #40, #90, .T.);
#110 = ORIENTED_EDGE ('', *, *, #100, .F.);
#120 = CARTESIAN_POINT ('', (41., 7.5, 35.));
#130 = VERTEX_POINT ('', #120);
#140 = CARTESIAN_POINT ('', (42., 7.5, 35.));
#150 = DIRECTION ('', (0., 0., 1.));
#160 = DIRECTION ('', (0., 1., 0.));
#170 = AXIS2_PLACEMENT_3D ('', #140, #150, #160);
#180 = CIRCLE ('', #170, 1.);
#190 = EDGE_CURVE ('', #20, #130, #180, .T.);
#200 = ORIENTED_EDGE ('', *, *, #190, .T.);
#210 = CARTESIAN_POINT ('', (41.9403516109003, 7.5, 43.));
#220 = VERTEX_POINT ('', #210);
#230 = CARTESIAN_POINT ('', (75.5000000000005, 7.5, 35.0000000000001));
#240 = DIRECTION ('', (0., -1., 0.));
#250 = DIRECTION ('', (-0.972743431568108, 0., 0.231884057971009));
#260 = AXIS2_PLACEMENT_3D ('', #230, #240, #250);
#270 = CIRCLE ('', #260, 34.5000000000005);
#280 = EDGE_CURVE ('', #220, #130, #270, .T.);
#290 = ORIENTED_EDGE ('', *, *, #280, .F.);
#300 = CARTESIAN_POINT ('', (42.9692453207738, 8.5, 43.));
#310 = CARTESIAN_POINT ('', (42.8352868487384, 8.5, 43.));
#320 = CARTESIAN_POINT ('', (42.7039890044762, 8.47493513081509, 43.));
#330 = CARTESIAN_POINT ('', (42.4564742374406, 8.37676925076733, 43.));
#340 = CARTESIAN_POINT ('', (42.3428157292299, 8.3041365316579, 43.));
#350 = CARTESIAN_POINT ('', (42.0556595836316, 8.02917588922468, 43.));
#360 = CARTESIAN_POINT ('', (41.9403516109003, 7.76814434181387, 43.));
#370 = CARTESIAN_POINT ('', (41.9403516109003, 7.5, 43.));
#380 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#300, #310, #320, #330, #340, #350, #360, #370), .UNSPECIFIED., .F., .U., (4, 2, 2, 4), (7.05981306231723E-18, 0.000396237245271027, 0.000792474490542047, 0.00158494898108409), .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 ('', (41., 7.5, 35.));
#440 = CARTESIAN_POINT ('', (41., 6.5, 35.));
#450 = CARTESIAN_POINT ('', (42., 6.5, 35.));
#460 = CARTESIAN_POINT ('', (43., 6.5, 35.));
#470 = CARTESIAN_POINT ('', (43., 7.5, 35.));
#480 = CARTESIAN_POINT ('', (43., 8.5, 35.));
#490 = CARTESIAN_POINT ('', (42., 8.5, 35.));
#500 = CARTESIAN_POINT ('', (41., 8.5, 35.));
#510 = CARTESIAN_POINT ('', (41., 7.5, 35.));
#520 = CARTESIAN_POINT ('', (41., 7.49999999999999, 0.500000000000001));
#530 = CARTESIAN_POINT ('', (41., 6.49999999999999, 0.500000000000001));
#540 = CARTESIAN_POINT ('', (42., 6.49999999999999, 1.5));
#550 = CARTESIAN_POINT ('', (43., 6.5, 2.5));
#560 = CARTESIAN_POINT ('', (43., 7.5, 2.5));
#570 = CARTESIAN_POINT ('', (43., 8.49999999999999, 2.5));
#580 = CARTESIAN_POINT ('', (42., 8.49999999999999, 1.5));
#590 = CARTESIAN_POINT ('', (41., 8.49999999999999, 0.500000000000001));
#600 = CARTESIAN_POINT ('', (41., 7.49999999999999, 0.500000000000001));
#610 = CARTESIAN_POINT ('', (75.5, 7.5, 0.499999999999957));
#620 = CARTESIAN_POINT ('', (75.5, 6.5, 0.499999999999957));
#630 = CARTESIAN_POINT ('', (75.5, 6.5, 1.49999999999996));
#640 = CARTESIAN_POINT ('', (75.5, 6.5, 2.49999999999996));
#650 = CARTESIAN_POINT ('', (75.5, 7.5, 2.49999999999996));
#660 = CARTESIAN_POINT ('', (75.5, 8.5, 2.49999999999996));
#670 = CARTESIAN_POINT ('', (75.5, 8.5, 1.49999999999996));
#680 = CARTESIAN_POINT ('', (75.5, 8.5, 0.499999999999957));
#690 = CARTESIAN_POINT ('', (75.5, 7.5, 0.499999999999957));
#700 = CARTESIAN_POINT ('', (110., 7.50000000000001, 0.49999999999991));
#710 = CARTESIAN_POINT ('', (110., 6.50000000000001, 0.49999999999991));
#720 = CARTESIAN_POINT ('', (109., 6.50000000000001, 1.49999999999991));
#730 = CARTESIAN_POINT ('', (108., 6.50000000000001, 2.49999999999991));
#740 = CARTESIAN_POINT ('', (108., 7.50000000000001, 2.49999999999991));
#750 = CARTESIAN_POINT ('', (108., 8.50000000000001, 2.49999999999991));
#760 = CARTESIAN_POINT ('', (109., 8.50000000000001, 1.49999999999991));
#770 = CARTESIAN_POINT ('', (110., 8.50000000000001, 0.49999999999991));
#780 = CARTESIAN_POINT ('', (110., 7.50000000000001, 0.49999999999991));
#790 = CARTESIAN_POINT ('', (110., 7.50000000000001, 34.9999999999999));
#800 = CARTESIAN_POINT ('', (110., 6.50000000000001, 34.9999999999999));
#810 = CARTESIAN_POINT ('', (109., 6.50000000000001, 34.9999999999999));
#820 = CARTESIAN_POINT ('', (108., 6.50000000000001, 34.9999999999999));
#830 = CARTESIAN_POINT ('', (108., 7.50000000000001, 34.9999999999999));
#840 = CARTESIAN_POINT ('', (108., 8.50000000000001, 34.9999999999999));
#850 = CARTESIAN_POINT ('', (109., 8.50000000000001, 34.9999999999999));
#860 = CARTESIAN_POINT ('', (110., 8.50000000000001, 34.9999999999999));
#870 = CARTESIAN_POINT ('', (110., 7.50000000000001, 34.9999999999999));
#880 = CARTESIAN_POINT ('', (110., 7.50000000000002, 69.4999999999999));
#890 = CARTESIAN_POINT ('', (110., 6.50000000000002, 69.4999999999999));
#900 = CARTESIAN_POINT ('', (109., 6.50000000000002, 68.4999999999999));
#910 = CARTESIAN_POINT ('', (108., 6.50000000000002, 67.4999999999999));
#920 = CARTESIAN_POINT ('', (108., 7.50000000000002, 67.4999999999999));
#930 = CARTESIAN_POINT ('', (108., 8.50000000000002, 67.4999999999999));
#940 = CARTESIAN_POINT ('', (109., 8.50000000000002, 68.4999999999999));
#950 = CARTESIAN_POINT ('', (110., 8.50000000000002, 69.4999999999999));
#960 = CARTESIAN_POINT ('', (110., 7.50000000000002, 69.4999999999999));
#970 = CARTESIAN_POINT ('', (75.5, 7.50000000000001, 69.5));
#980 = CARTESIAN_POINT ('', (75.5, 6.50000000000001, 69.5));
#990 = CARTESIAN_POINT ('', (75.5, 6.50000000000001, 68.5));
#1000 = CARTESIAN_POINT ('', (75.5, 6.50000000000001, 67.5));
#1010 = CARTESIAN_POINT ('', (75.5, 7.50000000000001, 67.5));
#1020 = CARTESIAN_POINT ('', (75.5, 8.50000000000001, 67.5));
#1030 = CARTESIAN_POINT ('', (75.5, 8.50000000000001, 68.5));
#1040 = CARTESIAN_POINT ('', (75.5, 8.50000000000001, 69.5));
#1050 = CARTESIAN_POINT ('', (75.5, 7.50000000000001, 69.5));
#1060 = CARTESIAN_POINT ('', (41.0000000000001, 7.5, 69.5));
#1070 = CARTESIAN_POINT ('', (41.0000000000001, 6.50000000000001, 69.5));
#1080 = CARTESIAN_POINT ('', (42.0000000000001, 6.50000000000001, 68.5));
#1090 = CARTESIAN_POINT ('', (43.0000000000001, 6.5, 67.5));
#1100 = CARTESIAN_POINT ('', (43.0000000000001, 7.5, 67.5));
#1110 = CARTESIAN_POINT ('', (43.0000000000001, 8.50000000000001, 67.5));
#1120 = CARTESIAN_POINT ('', (42.0000000000001, 8.50000000000001, 68.5));
#1130 = CARTESIAN_POINT ('', (41.0000000000001, 8.50000000000001, 69.5));
#1140 = CARTESIAN_POINT ('', (41.0000000000001, 7.5, 69.5));
#1150 = CARTESIAN_POINT ('', (41., 7.5, 35.));
#1160 = CARTESIAN_POINT ('', (41., 6.5, 35.));
#1170 = CARTESIAN_POINT ('', (42., 6.5, 35.));
#1180 = CARTESIAN_POINT ('', (43., 6.5, 35.));
#1190 = CARTESIAN_POINT ('', (43., 7.5, 35.));
#1200 = CARTESIAN_POINT ('', (43., 8.5, 35.));
#1210 = CARTESIAN_POINT ('', (42., 8.5, 35.));
#1220 = CARTESIAN_POINT ('', (41., 8.5, 35.));
#1230 = CARTESIAN_POINT ('', (41., 7.5, 35.));
#1240 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 2, ((#430, #440, #450, #460, #470, #480, #490, #500, #510), (#520, #530, #540, #550, #560, #570, #580, #590, #600), (#610, #620, #630, #640, #650, #660, #670, #680, #690), (#700, #710, #720, #730, #740, #750, #760, #770, #780), (#790, #800, #810, #820, #830, #840, #850, #860, #870), (#880, #890, #900, #910, #920, #930, #940, #950, #960), (#970, #980, #990, #1000, #1010, #1020, #1030, #1040, #1050), (#1060, #1070, #1080, #1090, #1100, #1110, #1120, #1130, #1140), (#1150, #1160, #1170, #1180, #1190, #1200, #1210, #1220, #1230)), .UNSPECIFIED., .T., .T., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.)))
   REPRESENTATION_ITEM ('')
);
#1250 = ADVANCED_FACE ('', (#420), #1240, .F.);
#1260 = ORIENTED_EDGE ('', *, *, #280, .T.);
#1270 = CARTESIAN_POINT ('', (41., 0., 35.));
#1280 = VERTEX_POINT ('', #1270);
#1290 = CARTESIAN_POINT ('', (41., 7.5, 35.));
#1300 = DIRECTION ('', (0., -7.5, 0.));
#1310 = VECTOR ('', #1300, 7.5);
#1320 = LINE ('', #1290, #1310);
#1330 = EDGE_CURVE ('', #130, #1280, #1320, .T.);
#1340 = ORIENTED_EDGE ('', *, *, #1330, .T.);
#1350 = CARTESIAN_POINT ('', (41.9403516109003, 0., 43.));
#1360 = VERTEX_POINT ('', #1350);
#1370 = CARTESIAN_POINT ('', (75.5000000000006, 0., 35.0000000000001));
#1380 = DIRECTION ('', (0., -1., 0.));
#1390 = DIRECTION ('', (-0.972743431568108, 0., 0.231884057971008));
#1400 = AXIS2_PLACEMENT_3D ('', #1370, #1380, #1390);
#1410 = CIRCLE ('', #1400, 34.5000000000006);
#1420 = EDGE_CURVE ('', #1360, #1280, #1410, .T.);
#1430 = ORIENTED_EDGE ('', *, *, #1420, .F.);
#1440 = CARTESIAN_POINT ('', (41.9403516109003, 7.5, 43.));
#1450 = DIRECTION ('', (0., -7.5, 0.));
#1460 = VECTOR ('', #1450, 7.5);
#1470 = LINE ('', #1440, #1460);
#1480 = EDGE_CURVE ('', #220, #1360, #1470, .T.);
#1490 = ORIENTED_EDGE ('', *, *, #1480, .F.);
#1500 = EDGE_LOOP ('', (#1260, #1340, #1430, #1490));
#1510 = FACE_OUTER_BOUND ('', #1500, .F.);
#1520 = CARTESIAN_POINT ('', (41., 8.2512, 35.));
#1530 = CARTESIAN_POINT ('', (41., -0.751199999999999, 35.));
#1540 = CARTESIAN_POINT ('', (41., 8.2512, 0.500000000000001));
#1550 = CARTESIAN_POINT ('', (41., -0.751199999999999, 0.500000000000001));
#1560 = CARTESIAN_POINT ('', (75.5, 8.2512, 0.499999999999943));
#1570 = CARTESIAN_POINT ('', (75.5, -0.751199999999999, 0.499999999999943));
#1580 = CARTESIAN_POINT ('', (110., 8.2512, 0.499999999999882));
#1590 = CARTESIAN_POINT ('', (110., -0.751199999999999, 0.499999999999882));
#1600 = CARTESIAN_POINT ('', (110., 8.2512, 34.9999999999999));
#1610 = CARTESIAN_POINT ('', (110., -0.751199999999999, 34.9999999999999));
#1620 = CARTESIAN_POINT ('', (110., 8.2512, 69.4999999999999));
#1630 = CARTESIAN_POINT ('', (110., -0.751199999999999, 69.4999999999999));
#1640 = CARTESIAN_POINT ('', (75.5000000000001, 8.2512, 69.4999999999999));
#1650 = CARTESIAN_POINT ('', (75.5000000000001, -0.751199999999999, 69.4999999999999));
#1660 = CARTESIAN_POINT ('', (41.0000000000001, 8.2512, 69.5));
#1670 = CARTESIAN_POINT ('', (41.0000000000001, -0.751199999999999, 69.5));
#1680 = CARTESIAN_POINT ('', (41., 8.2512, 35.));
#1690 = CARTESIAN_POINT ('', (41., -0.751199999999999, 35.));
#1700 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#1520, #1530), (#1540, #1550), (#1560, #1570), (#1580, #1590), (#1600, #1610), (#1620, #1630), (#1640, #1650), (#1660, #1670), (#1680, #1690)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#1710 = ADVANCED_FACE ('', (#1510), #1700, .F.);
#1720 = CARTESIAN_POINT ('', (6.73555739531044E-16, 0., -6.73555739531044E-16));
#1730 = VERTEX_POINT ('', #1720);
#1740 = CARTESIAN_POINT ('', (1.53791001119263E-15, -1.77635683940025E-15, 19.7));
#1750 = VERTEX_POINT ('', #1740);
#1760 = CARTESIAN_POINT ('', (6.73555739531044E-16, 0., -6.73555739531044E-16));
#1770 = DIRECTION ('', (8.64354271661586E-16, -1.77635683940025E-15, 19.7));
#1780 = VECTOR ('', #1770, 19.7);
#1790 = LINE ('', #1760, #1780);
#1800 = EDGE_CURVE ('', #1730, #1750, #1790, .T.);
#1810 = ORIENTED_EDGE ('', *, *, #1800, .T.);
#1820 = CARTESIAN_POINT ('', (30., 0., 19.7));
#1830 = VERTEX_POINT ('', #1820);
#1840 = CARTESIAN_POINT ('', (1.53791001119263E-15, -1.77635683940025E-15, 19.7));
#1850 = DIRECTION ('', (30., 1.77635683940025E-15, 0.));
#1860 = VECTOR ('', #1850, 30.);
#1870 = LINE ('', #1840, #1860);
#1880 = EDGE_CURVE ('', #1750, #1830, #1870, .T.);
#1890 = ORIENTED_EDGE ('', *, *, #1880, .T.);
#1900 = CARTESIAN_POINT ('', (30., 0., 27.3));
#1910 = VERTEX_POINT ('', #1900);
#1920 = CARTESIAN_POINT ('', (30., 0., 27.3));
#1930 = DIRECTION ('', (0., 0., -7.6));
#1940 = VECTOR ('', #1930, 7.6);
#1950 = LINE ('', #1920, #1940);
#1960 = EDGE_CURVE ('', #1910, #1830, #1950, .T.);
#1970 = ORIENTED_EDGE ('', *, *, #1960, .F.);
#1980 = CARTESIAN_POINT ('', (1.87136648147831E-15, -1.77635683940025E-15, 27.3));
#1990 = VERTEX_POINT ('', #1980);
#2000 = CARTESIAN_POINT ('', (30., 0., 27.3));
#2010 = DIRECTION ('', (-30., -1.77635683940025E-15, 0.));
#2020 = VECTOR ('', #2010, 30.);
#2030 = LINE ('', #2000, #2020);
#2040 = EDGE_CURVE ('', #1910, #1990, #2030, .T.);
#2050 = ORIENTED_EDGE ('', *, *, #2040, .T.);
#2060 = CARTESIAN_POINT ('', (2.56021734772637E-15, -1.77635683940025E-15, 43.));
#2070 = VERTEX_POINT ('', #2060);
#2080 = CARTESIAN_POINT ('', (1.87136648147831E-15, -1.77635683940025E-15, 27.3));
#2090 = DIRECTION ('', (6.8885086624806E-16, 0., 15.7));
#2100 = VECTOR ('', #2090, 15.7);
#2110 = LINE ('', #2080, #2100);
#2120 = EDGE_CURVE ('', #1990, #2070, #2110, .T.);
#2130 = ORIENTED_EDGE ('', *, *, #2120, .T.);
#2140 = CARTESIAN_POINT ('', (2.56021734772637E-15, -1.77635683940025E-15, 43.));
#2150 = DIRECTION ('', (41.9403516109003, 1.77635683940025E-15, 0.));
#2160 = VECTOR ('', #2150, 41.9403516109003);
#2170 = LINE ('', #2140, #2160);
#2180 = EDGE_CURVE ('', #2070, #1360, #2170, .T.);
#2190 = ORIENTED_EDGE ('', *, *, #2180, .T.);
#2200 = ORIENTED_EDGE ('', *, *, #1420, .T.);
#2210 = CARTESIAN_POINT ('', (58.4379742795643, 3.5527136788005E-15, 5.01438214218035));
#2220 = VERTEX_POINT ('', #2210);
#2230 = CARTESIAN_POINT ('', (75.5, 7.02883373685535E-15, 35.));
#2240 = DIRECTION ('', (2.03734311213198E-16, -1., 0.));
#2250 = DIRECTION ('', (-1., -2.03734311213198E-16, 2.05954416162348E-16));
#2260 = AXIS2_PLACEMENT_3D ('', #2230, #2240, #2250);
#2270 = CIRCLE ('', #2260, 34.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 ('', (28.4379742795643, -1.77635683940025E-15, 5.01438214218036));
#2340 = VECTOR ('', #2330, 28.8766758715919);
#2350 = LINE ('', #2320, #2340);
#2360 = EDGE_CURVE ('', #2310, #2220, #2350, .T.);
#2370 = ORIENTED_EDGE ('', *, *, #2360, .F.);
#2380 = CARTESIAN_POINT ('', (30., 5.32907051820075E-15, -9.15057963323752E-15));
#2390 = DIRECTION ('', (-30., -5.32907051820075E-15, 8.47702389370648E-15));
#2400 = VECTOR ('', #2390, 30.);
#2410 = LINE ('', #2380, #2400);
#2420 = EDGE_CURVE ('', #2310, #1730, #2410, .T.);
#2430 = ORIENTED_EDGE ('', *, *, #2420, .T.);
#2440 = EDGE_LOOP ('', (#1810, #1890, #1970, #2050, #2130, #2190, #2200, #2290, #2370, #2430));
#2450 = FACE_OUTER_BOUND ('', #2440, .F.);
#2460 = CARTESIAN_POINT ('', (58.4389742795643, 5.32907051820075E-15, -0.00100000000000915));
#2470 = CARTESIAN_POINT ('', (58.4389742795643, 3.5527136788005E-15, 43.001));
#2480 = CARTESIAN_POINT ('', (-0.000999999999999446, 1.77635683940025E-15, -0.00100000000000915));
#2490 = CARTESIAN_POINT ('', (-0.000999999999999446, 3.94430452610506E-31, 43.001));
#2500 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2460, #2470), (#2480, #2490)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-67.151, -8.7110257204357), (-0.00100000000000025, 43.001), .UNSPECIFIED.);
#2510 = ADVANCED_FACE ('', (#2450), #2500, .F.);
#2520 = CARTESIAN_POINT ('', (67.15, 11., 28.1889939658102));
#2530 = VERTEX_POINT ('', #2520);
#2540 = CARTESIAN_POINT ('', (67.15, 11., 14.9415436450921));
#2550 = VERTEX_POINT ('', #2540);
#2560 = CARTESIAN_POINT ('', (67.15, 11., 28.1889939658102));
#2570 = DIRECTION ('', (0., 0., -13.2474503207181));
#2580 = VECTOR ('', #2570, 13.2474503207181);
#2590 = LINE ('', #2560, #2580);
#2600 = EDGE_CURVE ('', #2530, #2550, #2590, .T.);
#2610 = ORIENTED_EDGE ('', *, *, #2600, .T.);
#2620 = CARTESIAN_POINT ('', (67.15, 8.5, 14.9415436450921));
#2630 = VERTEX_POINT ('', #2620);
#2640 = CARTESIAN_POINT ('', (67.15, 11., 14.9415436450921));
#2650 = DIRECTION ('', (0., -2.5, 0.));
#2660 = VECTOR ('', #2650, 2.5);
#2670 = LINE ('', #2640, #2660);
#2680 = EDGE_CURVE ('', #2550, #2630, #2670, .T.);
#2690 = ORIENTED_EDGE ('', *, *, #2680, .T.);
#2700 = CARTESIAN_POINT ('', (67.15, 8.5, 28.1889939658102));
#2710 = VERTEX_POINT ('', #2700);
#2720 = CARTESIAN_POINT ('', (67.15, 8.5, 28.1889939658102));
#2730 = DIRECTION ('', (0., 0., -13.2474503207181));
#2740 = VECTOR ('', #2730, 13.2474503207181);
#2750 = LINE ('', #2720, #2740);
#2760 = EDGE_CURVE ('', #2710, #2630, #2750, .T.);
#2770 = ORIENTED_EDGE ('', *, *, #2760, .F.);
#2780 = CARTESIAN_POINT ('', (67.15, 8.5, 28.1889939658102));
#2790 = DIRECTION ('', (0., 2.5, 0.));
#2800 = VECTOR ('', #2790, 2.5);
#2810 = LINE ('', #2780, #2800);
#2820 = EDGE_CURVE ('', #2710, #2530, #2810, .T.);
#2830 = ORIENTED_EDGE ('', *, *, #2820, .T.);
#2840 = EDGE_LOOP ('', (#2610, #2690, #2770, #2830));
#2850 = FACE_OUTER_BOUND ('', #2840, .F.);
#2860 = CARTESIAN_POINT ('', (67.15, 11.001, 14.9405436450921));
#2870 = CARTESIAN_POINT ('', (67.15, 11.001, 28.1899939658102));
#2880 = CARTESIAN_POINT ('', (67.15, 8.49900000000001, 14.9405436450921));
#2890 = CARTESIAN_POINT ('', (67.15, 8.49900000000001, 28.1899939658102));
#2900 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2860, #2870), (#2880, #2890)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (8.499, 11.001), (14.9405436450921, 28.1899939658102), .UNSPECIFIED.);
#2910 = ADVANCED_FACE ('', (#2850), #2900, .F.);
#2920 = CARTESIAN_POINT ('', (43.0944953823681, 8.5, 26.506869218207));
#2930 = VERTEX_POINT ('', #2920);
#2940 = CARTESIAN_POINT ('', (43.0944953823681, 8.5, 26.506869218207));
#2950 = DIRECTION ('', (24.0555046176319, 0., 1.6821247476032));
#2960 = VECTOR ('', #2950, 24.1142457081993);
#2970 = LINE ('', #2940, #2960);
#2980 = EDGE_CURVE ('', #2930, #2710, #2970, .T.);
#2990 = ORIENTED_EDGE ('', *, *, #2980, .T.);
#3000 = ORIENTED_EDGE ('', *, *, #2760, .T.);
#3010 = CARTESIAN_POINT ('', (59.932972922333, 8.5, 5.33659379027444));
#3020 = VERTEX_POINT ('', #3010);
#3030 = CARTESIAN_POINT ('', (57.15, 8.5, 14.9415436450921));
#3040 = DIRECTION ('', (0., 1., 0.));
#3050 = DIRECTION ('', (1., 0., -1.24344978758017E-15));
#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 ('', (75.5, 8.5, 35.));
#3110 = DIRECTION ('', (0., 1., 0.));
#3120 = DIRECTION ('', (-0.464687375452745, 0., -0.885474812230613));
#3130 = AXIS2_PLACEMENT_3D ('', #3100, #3110, #3120);
#3140 = CIRCLE ('', #3130, 33.5);
#3150 = EDGE_CURVE ('', #3020, #2930, #3140, .T.);
#3160 = ORIENTED_EDGE ('', *, *, #3150, .T.);
#3170 = EDGE_LOOP ('', (#2990, #3000, #3090, #3160));
#3180 = FACE_OUTER_BOUND ('', #3170, .F.);
#3190 = CARTESIAN_POINT ('', (67.151, 8.50000000000001, 5.33559379027444));
#3200 = CARTESIAN_POINT ('', (67.151, 8.5, 28.1899939658102));
#3210 = CARTESIAN_POINT ('', (43.0934953823681, 8.5, 5.33559379027444));
#3220 = CARTESIAN_POINT ('', (43.0934953823681, 8.49999999999999, 28.1899939658102));
#3230 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3190, #3200), (#3210, #3220)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (8.34899999999999, 32.4065046176319), (-29.6644062097255, -6.81000603418976), .UNSPECIFIED.);
#3240 = ADVANCED_FACE ('', (#3180), #3230, .F.);
#3250 = ORIENTED_EDGE ('', *, *, #2420, .F.);
#3260 = CARTESIAN_POINT ('', (30., 11., -8.22350325627448E-15));
#3270 = VERTEX_POINT ('', #3260);
#3280 = CARTESIAN_POINT ('', (30., 5.32907051820075E-15, -9.15057963323752E-15));
#3290 = DIRECTION ('', (0., 11., 9.2707637696304E-16));
#3300 = VECTOR ('', #3290, 11.);
#3310 = LINE ('', #3280, #3300);
#3320 = EDGE_CURVE ('', #2310, #3270, #3310, .T.);
#3330 = ORIENTED_EDGE ('', *, *, #3320, .T.);
#3340 = CARTESIAN_POINT ('', (0., 11., 0.));
#3350 = VERTEX_POINT ('', #3340);
#3360 = CARTESIAN_POINT ('', (30., 11., -8.22350325627448E-15));
#3370 = DIRECTION ('', (-30., 0., 8.22350325627448E-15));
#3380 = VECTOR ('', #3370, 30.);
#3390 = LINE ('', #3360, #3380);
#3400 = EDGE_CURVE ('', #3270, #3350, #3390, .T.);
#3410 = ORIENTED_EDGE ('', *, *, #3400, .T.);
#3420 = CARTESIAN_POINT ('', (6.73555739531044E-16, 0., -6.73555739531044E-16));
#3430 = DIRECTION ('', (-6.73555739531044E-16, 11., 6.73555739531044E-16));
#3440 = VECTOR ('', #3430, 11.);
#3450 = LINE ('', #3420, #3440);
#3460 = EDGE_CURVE ('', #1730, #3350, #3450, .T.);
#3470 = ORIENTED_EDGE ('', *, *, #3460, .F.);
#3480 = EDGE_LOOP ('', (#3250, #3330, #3410, #3470));
#3490 = FACE_OUTER_BOUND ('', #3480, .F.);
#3500 = CARTESIAN_POINT ('', (30.001, 11.001, -3.67400162978202E-15));
#3510 = CARTESIAN_POINT ('', (30.001, -0.000999999999997669, -4.34767983399298E-15));
#3520 = CARTESIAN_POINT ('', (-0.00100000000000122, 11.001, 1.83697019871012E-19));
#3530 = CARTESIAN_POINT ('', (-0.00100000000000122, -0.000999999999997669, -6.73494507191088E-16));
#3540 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3500, #3510), (#3520, #3530)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000122, 30.001), (-11.001, 0.000999999999999446), .UNSPECIFIED.);
#3550 = ADVANCED_FACE ('', (#3490), #3540, .F.);
#3560 = CARTESIAN_POINT ('', (1.88666160819533E-15, 11., 43.));
#3570 = VERTEX_POINT ('', #3560);
#3580 = CARTESIAN_POINT ('', (0., 11., 0.));
#3590 = DIRECTION ('', (1.88666160819533E-15, 0., 43.));
#3600 = VECTOR ('', #3590, 43.);
#3610 = LINE ('', #3580, #3600);
#3620 = EDGE_CURVE ('', #3350, #3570, #3610, .T.);
#3630 = ORIENTED_EDGE ('', *, *, #3620, .T.);
#3640 = CARTESIAN_POINT ('', (2.56021734772637E-15, -1.77635683940025E-15, 43.));
#3650 = DIRECTION ('', (-6.7355573953104E-16, 11., 0.));
#3660 = VECTOR ('', #3650, 11.);
#3670 = LINE ('', #3640, #3660);
#3680 = EDGE_CURVE ('', #2070, #3570, #3670, .T.);
#3690 = ORIENTED_EDGE ('', *, *, #3680, .F.);
#3700 = ORIENTED_EDGE ('', *, *, #2120, .F.);
#3710 = CARTESIAN_POINT ('', (-9.61347737330673E-16, -0.300000000000001, 27.));
#3720 = VERTEX_POINT ('', #3710);
#3730 = CARTESIAN_POINT ('', (4.16137239347187E-15, -0.300000000000012, 27.3));
#3740 = DIRECTION ('', (-1., -6.12323399573638E-17, 4.38758513533982E-17));
#3750 = DIRECTION ('', (-6.12323399573654E-17, 1., -3.55271367880034E-14));
#3760 = AXIS2_PLACEMENT_3D ('', #3730, #3740, #3750);
#3770 = CIRCLE ('', #3760, 0.300000000000015);
#3780 = EDGE_CURVE ('', #1990, #3720, #3770, .T.);
#3790 = ORIENTED_EDGE ('', *, *, #3780, .T.);
#3800 = CARTESIAN_POINT ('', (-8.26636589424464E-16, -2.5, 27.));
#3810 = VERTEX_POINT ('', #3800);
#3820 = CARTESIAN_POINT ('', (-8.26636589424464E-16, -2.5, 27.));
#3830 = DIRECTION ('', (-1.34711147906209E-16, 2.2, 0.));
#3840 = VECTOR ('', #3830, 2.2);
#3850 = LINE ('', #3820, #3840);
#3860 = EDGE_CURVE ('', #3810, #3720, #3850, .T.);
#3870 = ORIENTED_EDGE ('', *, *, #3860, .F.);
#3880 = CARTESIAN_POINT ('', (8.26636589424463E-16, -2.5, 20.));
#3890 = VERTEX_POINT ('', #3880);
#3900 = CARTESIAN_POINT ('', (8.26636589424463E-16, -2.5, 20.));
#3910 = DIRECTION ('', (-1.65327317884893E-15, 0., 7.));
#3920 = VECTOR ('', #3910, 7.);
#3930 = LINE ('', #3900, #3920);
#3940 = EDGE_CURVE ('', #3890, #3810, #3930, .T.);
#3950 = ORIENTED_EDGE ('', *, *, #3940, .F.);
#3960 = CARTESIAN_POINT ('', (6.91925441518255E-16, -0.300000000000001, 20.));
#3970 = VERTEX_POINT ('', #3960);
#3980 = CARTESIAN_POINT ('', (8.26636589424463E-16, -2.5, 20.));
#3990 = DIRECTION ('', (-1.34711147906208E-16, 2.2, 0.));
#4000 = VECTOR ('', #3990, 2.2);
#4010 = LINE ('', #3980, #4000);
#4020 = EDGE_CURVE ('', #3890, #3970, #4010, .T.);
#4030 = ORIENTED_EDGE ('', *, *, #4020, .T.);
#4040 = CARTESIAN_POINT ('', (4.16137239347187E-15, -0.299999999999997, 19.7));
#4050 = DIRECTION ('', (-1., -6.12323399573678E-17, 4.38758513533665E-17));
#4060 = DIRECTION ('', (4.38758513533672E-17, -1.18423789293351E-14, 1.));
#4070 = AXIS2_PLACEMENT_3D ('', #4040, #4050, #4060);
#4080 = CIRCLE ('', #4070, 0.299999999999998);
#4090 = EDGE_CURVE ('', #3970, #1750, #4080, .T.);
#4100 = ORIENTED_EDGE ('', *, *, #4090, .T.);
#4110 = ORIENTED_EDGE ('', *, *, #1800, .F.);
#4120 = ORIENTED_EDGE ('', *, *, #3460, .T.);
#4130 = EDGE_LOOP ('', (#3630, #3690, #3700, #3790, #3870, #3950, #4030, #4100, #4110, #4120));
#4140 = FACE_OUTER_BOUND ('', #4130, .F.);
#4150 = CARTESIAN_POINT ('', (-1.05108191311361E-19, 11.001, -0.000999999999997669));
#4160 = CARTESIAN_POINT ('', (8.26653945913067E-16, -2.501, -0.000999999999998496));
#4170 = CARTESIAN_POINT ('', (1.88664425170673E-15, 11.001, 43.001));
#4180 = CARTESIAN_POINT ('', (2.71340330581111E-15, -2.501, 43.001));
#4190 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4150, #4160), (#4170, #4180)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.000999999999997669, 43.001), (-11.001, 2.501), .UNSPECIFIED.);
#4200 = ADVANCED_FACE ('', (#4140), #4190, .F.);
#4210 = CARTESIAN_POINT ('', (48.7226226147383, 11., 43.));
#4220 = VERTEX_POINT ('', #4210);
#4230 = CARTESIAN_POINT ('', (1.88666160819533E-15, 11., 43.));
#4240 = DIRECTION ('', (48.7226226147383, 0., 0.));
#4250 = VECTOR ('', #4240, 48.7226226147383);
#4260 = LINE ('', #4230, #4250);
#4270 = EDGE_CURVE ('', #3570, #4220, #4260, .T.);
#4280 = ORIENTED_EDGE ('', *, *, #4270, .T.);
#4290 = CARTESIAN_POINT ('', (48.7226226147383, 8.5, 43.));
#4300 = VERTEX_POINT ('', #4290);
#4310 = CARTESIAN_POINT ('', (48.7226226147383, 11., 43.));
#4320 = DIRECTION ('', (0., -2.5, 0.));
#4330 = VECTOR ('', #4320, 2.5);
#4340 = LINE ('', #4310, #4330);
#4350 = EDGE_CURVE ('', #4220, #4300, #4340, .T.);
#4360 = ORIENTED_EDGE ('', *, *, #4350, .T.);
#4370 = CARTESIAN_POINT ('', (42.9692453207738, 8.5, 43.));
#4380 = DIRECTION ('', (5.7533772939645, 0., 0.));
#4390 = VECTOR ('', #4380, 5.7533772939645);
#4400 = LINE ('', #4370, #4390);
#4410 = EDGE_CURVE ('', #40, #4300, #4400, .T.);
#4420 = ORIENTED_EDGE ('', *, *, #4410, .F.);
#4430 = ORIENTED_EDGE ('', *, *, #390, .T.);
#4440 = ORIENTED_EDGE ('', *, *, #1480, .T.);
#4450 = ORIENTED_EDGE ('', *, *, #2180, .F.);
#4460 = ORIENTED_EDGE ('', *, *, #3680, .T.);
#4470 = EDGE_LOOP ('', (#4280, #4360, #4420, #4430, #4440, #4450, #4460));
#4480 = FACE_OUTER_BOUND ('', #4470, .F.);
#4490 = CARTESIAN_POINT ('', (-0.000999999999998342, 11.001, 43.));
#4500 = CARTESIAN_POINT ('', (-0.000999999999997669, -0.00100000000000122, 43.));
#4510 = CARTESIAN_POINT ('', (48.7236226147383, 11.001, 43.));
#4520 = CARTESIAN_POINT ('', (48.7236226147383, -0.00100000000000122, 43.));
#4530 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4490, #4500), (#4510, #4520)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-48.7236226147383, 0.001), (-11.001, 0.000999999999999446), .UNSPECIFIED.);
#4540 = ADVANCED_FACE ('', (#4480), #4530, .F.);
#4550 = CARTESIAN_POINT ('', (31.704752989704, 11., 33.1084420516693));
#4560 = VERTEX_POINT ('', #4550);
#4570 = CARTESIAN_POINT ('', (31.9489006478084, 11., 29.6169678757599));
#4580 = VERTEX_POINT ('', #4570);
#4590 = CARTESIAN_POINT ('', (31.704752989704, 11., 33.1084420516693));
#4600 = DIRECTION ('', (0.244147658104399, 0., -3.4914741759094));
#4610 = VECTOR ('', #4600, 3.50000000000001);
#4620 = LINE ('', #4590, #4610);
#4630 = EDGE_CURVE ('', #4560, #4580, #4620, .T.);
#4640 = ORIENTED_EDGE ('', *, *, #4630, .F.);
#4650 = CARTESIAN_POINT ('', (61.5, 11., 35.1919286861685));
#4660 = VERTEX_POINT ('', #4650);
#4670 = CARTESIAN_POINT ('', (61.5, 11., 35.1919286861685));
#4680 = DIRECTION ('', (-29.795247010296, 0., -2.0834866344992));
#4690 = VECTOR ('', #4680, 29.8680039667985);
#4700 = LINE ('', #4670, #4690);
#4710 = EDGE_CURVE ('', #4660, #4560, #4700, .T.);
#4720 = ORIENTED_EDGE ('', *, *, #4710, .F.);
#4730 = CARTESIAN_POINT ('', (59.115461869021, 11., 37.5764668171475));
#4740 = VERTEX_POINT ('', #4730);
#4750 = CARTESIAN_POINT ('', (59.115461869021, 11., 37.5764668171475));
#4760 = DIRECTION ('', (2.384538130979, 0., -2.384538130979));
#4770 = VECTOR ('', #4760, 3.37224616482629);
#4780 = LINE ('', #4750, #4770);
#4790 = EDGE_CURVE ('', #4740, #4660, #4780, .T.);
#4800 = ORIENTED_EDGE ('', *, *, #4790, .F.);
#4810 = CARTESIAN_POINT ('', (58.0799279630882, 11., 38.371059930137));
#4820 = VERTEX_POINT ('', #4810);
#4830 = CARTESIAN_POINT ('', (55.5799279630885, 11., 34.0409329112151));
#4840 = DIRECTION ('', (0., -1., 0.));
#4850 = DIRECTION ('', (0.70710678118656, 0., 0.707106781186535));
#4860 = AXIS2_PLACEMENT_3D ('', #4830, #4840, #4850);
#4870 = CIRCLE ('', #4860, 4.99999999999961);
#4880 = EDGE_CURVE ('', #4740, #4820, #4870, .T.);
#4890 = ORIENTED_EDGE ('', *, *, #4880, .T.);
#4900 = CARTESIAN_POINT ('', (51.2226226147383, 11., 42.3301270189222));
#4910 = VERTEX_POINT ('', #4900);
#4920 = CARTESIAN_POINT ('', (51.2226226147383, 11., 42.3301270189222));
#4930 = DIRECTION ('', (6.8573053483499, 0., -3.9590670887852));
#4940 = VECTOR ('', #4930, 7.91813417757052);
#4950 = LINE ('', #4920, #4940);
#4960 = EDGE_CURVE ('', #4910, #4820, #4950, .T.);
#4970 = ORIENTED_EDGE ('', *, *, #4960, .F.);
#4980 = CARTESIAN_POINT ('', (48.7226226147383, 10.9999999999999, 38.));
#4990 = DIRECTION ('', (3.6247270057664E-15, -1., 1.22653842791459E-14));
#5000 = DIRECTION ('', (0.499999999999999, 1.24344978758018E-14, 0.866025403784439));
#5010 = AXIS2_PLACEMENT_3D ('', #4980, #4990, #5000);
#5020 = CIRCLE ('', #5010, 4.99999999999998);
#5030 = EDGE_CURVE ('', #4910, #4220, #5020, .T.);
#5040 = ORIENTED_EDGE ('', *, *, #5030, .T.);
#5050 = ORIENTED_EDGE ('', *, *, #4270, .F.);
#5060 = ORIENTED_EDGE ('', *, *, #3620, .F.);
#5070 = ORIENTED_EDGE ('', *, *, #3400, .F.);
#5080 = CARTESIAN_POINT ('', (58.8864817766692, 11., 5.09346611496998));
#5090 = VERTEX_POINT ('', #5080);
#5100 = CARTESIAN_POINT ('', (58.8864817766692, 11., 5.09346611496998));
#5110 = DIRECTION ('', (-28.8864817766692, 0., -5.09346611496999));
#5120 = VECTOR ('', #5110, 29.3321023197825);
#5130 = LINE ('', #5100, #5120);
#5140 = EDGE_CURVE ('', #5090, #3270, #5130, .T.);
#5150 = ORIENTED_EDGE ('', *, *, #5140, .F.);
#5160 = CARTESIAN_POINT ('', (57.1499999999999, 11., 14.9415436450921));
#5170 = DIRECTION ('', (0., -1., 0.));
#5180 = DIRECTION ('', (0.173648177666925, 0., -0.984807753012209));
#5190 = AXIS2_PLACEMENT_3D ('', #5160, #5170, #5180);
#5200 = CIRCLE ('', #5190, 10.0000000000001);
#5210 = EDGE_CURVE ('', #5090, #2550, #5200, .T.);
#5220 = ORIENTED_EDGE ('', *, *, #5210, .T.);
#5230 = ORIENTED_EDGE ('', *, *, #2600, .F.);
#5240 = CARTESIAN_POINT ('', (33.7159018413253, 11., 25.851054071368));
#5250 = VERTEX_POINT ('', #5240);
#5260 = CARTESIAN_POINT ('', (67.15, 11., 28.1889939658102));
#5270 = DIRECTION ('', (-33.4340981586747, 0., -2.3379398944422));
#5280 = VECTOR ('', #5270, 33.5157408188141);
#5290 = LINE ('', #5260, #5280);
#5300 = EDGE_CURVE ('', #2530, #5250, #5290, .T.);
#5310 = ORIENTED_EDGE ('', *, *, #5300, .T.);
#5320 = CARTESIAN_POINT ('', (33.4452467231981, 11., 29.7216025863761));
#5330 = VERTEX_POINT ('', #5320);
#5340 = CARTESIAN_POINT ('', (33.4452467231981, 11., 29.7216025863761));
#5350 = DIRECTION ('', (0.270655118127195, 0., -3.8705485150081));
#5360 = VECTOR ('', #5350, 3.87999999999998);
#5370 = LINE ('', #5340, #5360);
#5380 = EDGE_CURVE ('', #5330, #5250, #5370, .T.);
#5390 = ORIENTED_EDGE ('', *, *, #5380, .F.);
#5400 = CARTESIAN_POINT ('', (31.9489006478084, 11., 29.6169678757599));
#5410 = DIRECTION ('', (1.4963460753897, 0., 0.1046347106162));
#5420 = VECTOR ('', #5410, 1.49999999999997);
#5430 = LINE ('', #5400, #5420);
#5440 = EDGE_CURVE ('', #4580, #5330, #5430, .T.);
#5450 = ORIENTED_EDGE ('', *, *, #5440, .F.);
#5460 = EDGE_LOOP ('', (#4640, #4720, #4800, #4890, #4970, #5040, #5050, #5060, #5070, #5150, #5220, #5230, #5310, #5390, #5450));
#5470 = FACE_OUTER_BOUND ('', #5460, .F.);
#5480 = CARTESIAN_POINT ('', (-0.00100000000000477, 11., -0.00100000000000822));
#5490 = CARTESIAN_POINT ('', (-0.00100000000000477, 11., 43.001));
#5500 = CARTESIAN_POINT ('', (67.151, 11., -0.00100000000000822));
#5510 = CARTESIAN_POINT ('', (67.151, 11., 43.001));
#5520 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5480, #5490), (#5500, #5510)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-67.151, 0.00100000000000477), (-0.001, 43.001), .UNSPECIFIED.);
#5530 = ADVANCED_FACE ('', (#5470), #5520, .F.);
#5540 = CARTESIAN_POINT ('', (58.0799279630882, 8.5, 38.371059930137));
#5550 = VERTEX_POINT ('', #5540);
#5560 = CARTESIAN_POINT ('', (51.2226226147383, 8.5, 42.3301270189222));
#5570 = VERTEX_POINT ('', #5560);
#5580 = CARTESIAN_POINT ('', (58.0799279630882, 8.5, 38.371059930137));
#5590 = DIRECTION ('', (-6.8573053483499, 0., 3.9590670887852));
#5600 = VECTOR ('', #5590, 7.91813417757052);
#5610 = LINE ('', #5580, #5600);
#5620 = EDGE_CURVE ('', #5550, #5570, #5610, .T.);
#5630 = ORIENTED_EDGE ('', *, *, #5620, .F.);
#5640 = CARTESIAN_POINT ('', (59.115461869021, 8.5, 37.5764668171475));
#5650 = VERTEX_POINT ('', #5640);
#5660 = CARTESIAN_POINT ('', (55.5799279630885, 8.5, 34.0409329112151));
#5670 = DIRECTION ('', (0., 1., 0.));
#5680 = DIRECTION ('', (0.499999999999983, 0., 0.866025403784448));
#5690 = AXIS2_PLACEMENT_3D ('', #5660, #5670, #5680);
#5700 = CIRCLE ('', #5690, 4.99999999999961);
#5710 = EDGE_CURVE ('', #5550, #5650, #5700, .T.);
#5720 = ORIENTED_EDGE ('', *, *, #5710, .T.);
#5730 = CARTESIAN_POINT ('', (61.5, 8.5, 35.1919286861685));
#5740 = VERTEX_POINT ('', #5730);
#5750 = CARTESIAN_POINT ('', (61.5, 8.5, 35.1919286861685));
#5760 = DIRECTION ('', (-2.384538130979, 0., 2.384538130979));
#5770 = VECTOR ('', #5760, 3.37224616482629);
#5780 = LINE ('', #5750, #5770);
#5790 = EDGE_CURVE ('', #5740, #5650, #5780, .T.);
#5800 = ORIENTED_EDGE ('', *, *, #5790, .F.);
#5810 = CARTESIAN_POINT ('', (42.0204450738615, 8.50000000000011, 33.8297855121051));
#5820 = VERTEX_POINT ('', #5810);
#5830 = CARTESIAN_POINT ('', (42.0204450738615, 8.50000000000011, 33.8297855121051));
#5840 = DIRECTION ('', (19.4795549261385, -1.10134124042816E-13, 1.36214317406341));
#5850 = VECTOR ('', #5840, 19.5271220139347);
#5860 = LINE ('', #5830, #5850);
#5870 = EDGE_CURVE ('', #5820, #5740, #5860, .T.);
#5880 = ORIENTED_EDGE ('', *, *, #5870, .F.);
#5890 = CARTESIAN_POINT ('', (75.5000000001264, 8.49999999997844, 35.0000000000008));
#5900 = DIRECTION ('', (6.43420200192494E-13, 1., 1.40526972777961E-14));
#5910 = DIRECTION ('', (-0.999389699287718, 6.43518406056122E-13, -0.0349317757579494));
#5920 = AXIS2_PLACEMENT_3D ('', #5890, #5900, #5910);
#5930 = CIRCLE ('', #5920, 33.5000000001264);
#5940 = EDGE_CURVE ('', #5820, #20, #5930, .T.);
#5950 = ORIENTED_EDGE ('', *, *, #5940, .T.);
#5960 = ORIENTED_EDGE ('', *, *, #100, .T.);
#5970 = ORIENTED_EDGE ('', *, *, #4410, .T.);
#5980 = CARTESIAN_POINT ('', (48.7226226147384, 8.50000000000006, 38.0000000000001));
#5990 = DIRECTION ('', (3.03560876277424E-15, 1., 1.27897692436822E-14));
#6000 = DIRECTION ('', (-1.13686837721619E-14, -1.27897692436821E-14, 1.));
#6010 = AXIS2_PLACEMENT_3D ('', #5980, #5990, #6000);
#6020 = CIRCLE ('', #6010, 4.99999999999986);
#6030 = EDGE_CURVE ('', #4300, #5570, #6020, .T.);
#6040 = ORIENTED_EDGE ('', *, *, #6030, .T.);
#6050 = EDGE_LOOP ('', (#5630, #5720, #5800, #5880, #5950, #5960, #5970, #6040));
#6060 = FACE_OUTER_BOUND ('', #6050, .F.);
#6070 = CARTESIAN_POINT ('', (61.501, 8.5, 33.8287855121051));
#6080 = CARTESIAN_POINT ('', (61.501, 8.5, 43.001));
#6090 = CARTESIAN_POINT ('', (41.999, 8.5, 33.8287855121051));
#6100 = CARTESIAN_POINT ('', (41.999, 8.5, 43.001));
#6110 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6070, #6080), (#6090, #6100)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (13.999, 33.501), (-1.17121448789489, 8.00100000000003), .UNSPECIFIED.);
#6120 = ADVANCED_FACE ('', (#6060), #6110, .F.);
#6130 = ORIENTED_EDGE ('', *, *, #1330, .F.);
#6140 = CARTESIAN_POINT ('', (58.4379742795643, 7.5, 5.01438214218035));
#6150 = VERTEX_POINT ('', #6140);
#6160 = CARTESIAN_POINT ('', (75.5000000000001, 7.50000000000001, 35.0000000000001));
#6170 = DIRECTION ('', (2.3169871818264E-16, -1., 1.12351115902636E-16));
#6180 = DIRECTION ('', (-1., -2.3169871818264E-16, -1.44168091313643E-15));
#6190 = AXIS2_PLACEMENT_3D ('', #6160, #6170, #6180);
#6200 = CIRCLE ('', #6190, 34.5000000000001);
#6210 = EDGE_CURVE ('', #130, #6150, #6200, .T.);
#6220 = ORIENTED_EDGE ('', *, *, #6210, .T.);
#6230 = CARTESIAN_POINT ('', (58.4379742795643, 7.5, 5.01438214218035));
#6240 = DIRECTION ('', (0., -7.5, 0.));
#6250 = VECTOR ('', #6240, 7.5);
#6260 = LINE ('', #6230, #6250);
#6270 = EDGE_CURVE ('', #6150, #2220, #6260, .T.);
#6280 = ORIENTED_EDGE ('', *, *, #6270, .T.);
#6290 = ORIENTED_EDGE ('', *, *, #2280, .F.);
#6300 = EDGE_LOOP ('', (#6130, #6220, #6280, #6290));
#6310 = FACE_OUTER_BOUND ('', #6300, .F.);
#6320 = CARTESIAN_POINT ('', (41., 8.2512, 35.));
#6330 = CARTESIAN_POINT ('', (41., -0.751199999999999, 35.));
#6340 = CARTESIAN_POINT ('', (41., 8.2512, 0.500000000000001));
#6350 = CARTESIAN_POINT ('', (41., -0.751199999999999, 0.500000000000001));
#6360 = CARTESIAN_POINT ('', (75.5, 8.2512, 0.499999999999943));
#6370 = CARTESIAN_POINT ('', (75.5, -0.751199999999999, 0.499999999999943));
#6380 = CARTESIAN_POINT ('', (110., 8.2512, 0.499999999999882));
#6390 = CARTESIAN_POINT ('', (110., -0.751199999999999, 0.499999999999882));
#6400 = CARTESIAN_POINT ('', (110., 8.2512, 34.9999999999999));
#6410 = CARTESIAN_POINT ('', (110., -0.751199999999999, 34.9999999999999));
#6420 = CARTESIAN_POINT ('', (110., 8.2512, 69.4999999999999));
#6430 = CARTESIAN_POINT ('', (110., -0.751199999999999, 69.4999999999999));
#6440 = CARTESIAN_POINT ('', (75.5000000000001, 8.2512, 69.4999999999999));
#6450 = CARTESIAN_POINT ('', (75.5000000000001, -0.751199999999999, 69.4999999999999));
#6460 = CARTESIAN_POINT ('', (41.0000000000001, 8.2512, 69.5));
#6470 = CARTESIAN_POINT ('', (41.0000000000001, -0.751199999999999, 69.5));
#6480 = CARTESIAN_POINT ('', (41., 8.2512, 35.));
#6490 = CARTESIAN_POINT ('', (41., -0.751199999999999, 35.));
#6500 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6320, #6330), (#6340, #6350), (#6360, #6370), (#6380, #6390), (#6400, #6410), (#6420, #6430), (#6440, #6450), (#6460, #6470), (#6480, #6490)), .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 ('')
);
#6510 = ADVANCED_FACE ('', (#6310), #6500, .F.);
#6520 = ORIENTED_EDGE ('', *, *, #190, .F.);
#6530 = ORIENTED_EDGE ('', *, *, #5940, .F.);
#6540 = CARTESIAN_POINT ('', (41.1056210817517, 7.9, 33.7658147868476));
#6550 = VERTEX_POINT ('', #6540);
#6560 = CARTESIAN_POINT ('', (42.0204450738615, 8.50000000000011, 33.8297855121051));
#6570 = CARTESIAN_POINT ('', (41.8285911114886, 8.5, 33.8163697761578));
#6580 = CARTESIAN_POINT ('', (41.6355103773699, 8.44272450530738, 33.8028682559732));
#6590 = CARTESIAN_POINT ('', (41.3122520163195, 8.23079428148667, 33.7802638293508));
#6600 = CARTESIAN_POINT ('', (41.1834858908705, 8.07874332117652, 33.7712596247119));
#6610 = CARTESIAN_POINT ('', (41.1056210817517, 7.9, 33.7658147868476));
#6620 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6560, #6570, #6580, #6590, #6600, #6610), .UNSPECIFIED., .F., .U., (4, 2, 4), (0.00115437711486205, 0.00173121582048701, 0.00230805452611198), .UNSPECIFIED.);
#6630 = EDGE_CURVE ('', #5820, #6550, #6620, .T.);
#6640 = ORIENTED_EDGE ('', *, *, #6630, .T.);
#6650 = CARTESIAN_POINT ('', (42.1645175266985, 7.9, 26.441838831582));
#6660 = VERTEX_POINT ('', #6650);
#6670 = CARTESIAN_POINT ('', (75.4999999999991, 7.9, 34.9999999999998));
#6680 = DIRECTION ('', (0., 1., 0.));
#6690 = DIRECTION ('', (-0.968589711615952, 0., -0.248664373306125));
#6700 = AXIS2_PLACEMENT_3D ('', #6670, #6680, #6690);
#6710 = CIRCLE ('', #6700, 34.4165151389903);
#6720 = EDGE_CURVE ('', #6660, #6550, #6710, .T.);
#6730 = ORIENTED_EDGE ('', *, *, #6720, .F.);
#6740 = CARTESIAN_POINT ('', (42.1645175266985, 7.9, 26.441838831582));
#6750 = CARTESIAN_POINT ('', (42.244336655959, 8.08032414029018, 26.4474203288233));
#6760 = CARTESIAN_POINT ('', (42.3765280546003, 8.23254999491326, 26.4566640518966));
#6770 = CARTESIAN_POINT ('', (42.7042732364794, 8.44305870844732, 26.4795822275953));
#6780 = CARTESIAN_POINT ('', (42.9004925102674, 8.5, 26.4933032158531));
#6790 = CARTESIAN_POINT ('', (43.0944953823681, 8.5, 26.506869218207));
#6800 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6740, #6750, #6760, #6770, #6780, #6790), .UNSPECIFIED., .F., .U., (4, 2, 4), (2.15649956894317E-7, 0.000583558631653513, 0.00116690161335013), .UNSPECIFIED.);
#6810 = EDGE_CURVE ('', #6660, #2930, #6800, .T.);
#6820 = ORIENTED_EDGE ('', *, *, #6810, .T.);
#6830 = ORIENTED_EDGE ('', *, *, #3150, .F.);
#6840 = CARTESIAN_POINT ('', (58.8864817766692, 8.20293721655576, 5.09346611496996));
#6850 = VERTEX_POINT ('', #6840);
#6860 = CARTESIAN_POINT ('', (59.932972922333, 8.5, 5.33659379027444));
#6870 = CARTESIAN_POINT ('', (59.7507809953503, 8.5, 5.283804842167));
#6880 = CARTESIAN_POINT ('', (59.5712721641206, 8.47510596762612, 5.23740188923742));
#6890 = CARTESIAN_POINT ('', (59.2176201035151, 8.37760986854757, 5.15594845532425));
#6900 = CARTESIAN_POINT ('', (59.0442277697702, 8.30504985003743, 5.12128098965232));
#6910 = CARTESIAN_POINT ('', (58.8864817766692, 8.20293721655576, 5.09346611496996));
#6920 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6860, #6870, #6880, #6890, #6900, #6910), .UNSPECIFIED., .F., .U., (4, 2, 4), (0., 0.000560918123419195, 0.00112183624683839), .UNSPECIFIED.);
#6930 = EDGE_CURVE ('', #3020, #6850, #6920, .T.);
#6940 = ORIENTED_EDGE ('', *, *, #6930, .T.);
#6950 = CARTESIAN_POINT ('', (58.8864817766692, 8.20293721655576, 5.09346611496996));
#6960 = CARTESIAN_POINT ('', (58.7655667101224, 8.12466609454511, 5.07214552636361));
#6970 = CARTESIAN_POINT ('', (58.6556313779023, 8.02792014064068, 5.05276096116006));
#6980 = CARTESIAN_POINT ('', (58.4897385053128, 7.78846936122974, 5.0235095718153));
#6990 = CARTESIAN_POINT ('', (58.4379742795643, 7.64695837959776, 5.01438214218036));
#7000 = CARTESIAN_POINT ('', (58.4379742795643, 7.5, 5.01438214218035));
#7010 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6950, #6960, #6970, #6980, #6990, #7000), .UNSPECIFIED., .F., .U., (4, 2, 4), (0.00339950585566494, 0.00383363858002768, 0.00426777130439042), .UNSPECIFIED.);
#7020 = EDGE_CURVE ('', #6850, #6150, #7010, .T.);
#7030 = ORIENTED_EDGE ('', *, *, #7020, .T.);
#7040 = ORIENTED_EDGE ('', *, *, #6210, .F.);
#7050 = EDGE_LOOP ('', (#6520, #6530, #6640, #6730, #6820, #6830, #6940, #7030, #7040));
#7060 = FACE_OUTER_BOUND ('', #7050, .F.);
#7070 = CARTESIAN_POINT ('', (41., 7.5, 35.));
#7080 = CARTESIAN_POINT ('', (41., 6.5, 35.));
#7090 = CARTESIAN_POINT ('', (42., 6.5, 35.));
#7100 = CARTESIAN_POINT ('', (43., 6.5, 35.));
#7110 = CARTESIAN_POINT ('', (43., 7.5, 35.));
#7120 = CARTESIAN_POINT ('', (43., 8.5, 35.));
#7130 = CARTESIAN_POINT ('', (42., 8.5, 35.));
#7140 = CARTESIAN_POINT ('', (41., 8.5, 35.));
#7150 = CARTESIAN_POINT ('', (41., 7.5, 35.));
#7160 = CARTESIAN_POINT ('', (41., 7.49999999999999, 0.500000000000001));
#7170 = CARTESIAN_POINT ('', (41., 6.49999999999999, 0.500000000000001));
#7180 = CARTESIAN_POINT ('', (42., 6.49999999999999, 1.5));
#7190 = CARTESIAN_POINT ('', (43., 6.5, 2.5));
#7200 = CARTESIAN_POINT ('', (43., 7.5, 2.5));
#7210 = CARTESIAN_POINT ('', (43., 8.49999999999999, 2.5));
#7220 = CARTESIAN_POINT ('', (42., 8.49999999999999, 1.5));
#7230 = CARTESIAN_POINT ('', (41., 8.49999999999999, 0.500000000000001));
#7240 = CARTESIAN_POINT ('', (41., 7.49999999999999, 0.500000000000001));
#7250 = CARTESIAN_POINT ('', (75.5, 7.5, 0.499999999999957));
#7260 = CARTESIAN_POINT ('', (75.5, 6.5, 0.499999999999957));
#7270 = CARTESIAN_POINT ('', (75.5, 6.5, 1.49999999999996));
#7280 = CARTESIAN_POINT ('', (75.5, 6.5, 2.49999999999996));
#7290 = CARTESIAN_POINT ('', (75.5, 7.5, 2.49999999999996));
#7300 = CARTESIAN_POINT ('', (75.5, 8.5, 2.49999999999996));
#7310 = CARTESIAN_POINT ('', (75.5, 8.5, 1.49999999999996));
#7320 = CARTESIAN_POINT ('', (75.5, 8.5, 0.499999999999957));
#7330 = CARTESIAN_POINT ('', (75.5, 7.5, 0.499999999999957));
#7340 = CARTESIAN_POINT ('', (110., 7.50000000000001, 0.49999999999991));
#7350 = CARTESIAN_POINT ('', (110., 6.50000000000001, 0.49999999999991));
#7360 = CARTESIAN_POINT ('', (109., 6.50000000000001, 1.49999999999991));
#7370 = CARTESIAN_POINT ('', (108., 6.50000000000001, 2.49999999999991));
#7380 = CARTESIAN_POINT ('', (108., 7.50000000000001, 2.49999999999991));
#7390 = CARTESIAN_POINT ('', (108., 8.50000000000001, 2.49999999999991));
#7400 = CARTESIAN_POINT ('', (109., 8.50000000000001, 1.49999999999991));
#7410 = CARTESIAN_POINT ('', (110., 8.50000000000001, 0.49999999999991));
#7420 = CARTESIAN_POINT ('', (110., 7.50000000000001, 0.49999999999991));
#7430 = CARTESIAN_POINT ('', (110., 7.50000000000001, 34.9999999999999));
#7440 = CARTESIAN_POINT ('', (110., 6.50000000000001, 34.9999999999999));
#7450 = CARTESIAN_POINT ('', (109., 6.50000000000001, 34.9999999999999));
#7460 = CARTESIAN_POINT ('', (108., 6.50000000000001, 34.9999999999999));
#7470 = CARTESIAN_POINT ('', (108., 7.50000000000001, 34.9999999999999));
#7480 = CARTESIAN_POINT ('', (108., 8.50000000000001, 34.9999999999999));
#7490 = CARTESIAN_POINT ('', (109., 8.50000000000001, 34.9999999999999));
#7500 = CARTESIAN_POINT ('', (110., 8.50000000000001, 34.9999999999999));
#7510 = CARTESIAN_POINT ('', (110., 7.50000000000001, 34.9999999999999));
#7520 = CARTESIAN_POINT ('', (110., 7.50000000000002, 69.4999999999999));
#7530 = CARTESIAN_POINT ('', (110., 6.50000000000002, 69.4999999999999));
#7540 = CARTESIAN_POINT ('', (109., 6.50000000000002, 68.4999999999999));
#7550 = CARTESIAN_POINT ('', (108., 6.50000000000002, 67.4999999999999));
#7560 = CARTESIAN_POINT ('', (108., 7.50000000000002, 67.4999999999999));
#7570 = CARTESIAN_POINT ('', (108., 8.50000000000002, 67.4999999999999));
#7580 = CARTESIAN_POINT ('', (109., 8.50000000000002, 68.4999999999999));
#7590 = CARTESIAN_POINT ('', (110., 8.50000000000002, 69.4999999999999));
#7600 = CARTESIAN_POINT ('', (110., 7.50000000000002, 69.4999999999999));
#7610 = CARTESIAN_POINT ('', (75.5, 7.50000000000001, 69.5));
#7620 = CARTESIAN_POINT ('', (75.5, 6.50000000000001, 69.5));
#7630 = CARTESIAN_POINT ('', (75.5, 6.50000000000001, 68.5));
#7640 = CARTESIAN_POINT ('', (75.5, 6.50000000000001, 67.5));
#7650 = CARTESIAN_POINT ('', (75.5, 7.50000000000001, 67.5));
#7660 = CARTESIAN_POINT ('', (75.5, 8.50000000000001, 67.5));
#7670 = CARTESIAN_POINT ('', (75.5, 8.50000000000001, 68.5));
#7680 = CARTESIAN_POINT ('', (75.5, 8.50000000000001, 69.5));
#7690 = CARTESIAN_POINT ('', (75.5, 7.50000000000001, 69.5));
#7700 = CARTESIAN_POINT ('', (41.0000000000001, 7.5, 69.5));
#7710 = CARTESIAN_POINT ('', (41.0000000000001, 6.50000000000001, 69.5));
#7720 = CARTESIAN_POINT ('', (42.0000000000001, 6.50000000000001, 68.5));
#7730 = CARTESIAN_POINT ('', (43.0000000000001, 6.5, 67.5));
#7740 = CARTESIAN_POINT ('', (43.0000000000001, 7.5, 67.5));
#7750 = CARTESIAN_POINT ('', (43.0000000000001, 8.50000000000001, 67.5));
#7760 = CARTESIAN_POINT ('', (42.0000000000001, 8.50000000000001, 68.5));
#7770 = CARTESIAN_POINT ('', (41.0000000000001, 8.50000000000001, 69.5));
#7780 = CARTESIAN_POINT ('', (41.0000000000001, 7.5, 69.5));
#7790 = CARTESIAN_POINT ('', (41., 7.5, 35.));
#7800 = CARTESIAN_POINT ('', (41., 6.5, 35.));
#7810 = CARTESIAN_POINT ('', (42., 6.5, 35.));
#7820 = CARTESIAN_POINT ('', (43., 6.5, 35.));
#7830 = CARTESIAN_POINT ('', (43., 7.5, 35.));
#7840 = CARTESIAN_POINT ('', (43., 8.5, 35.));
#7850 = CARTESIAN_POINT ('', (42., 8.5, 35.));
#7860 = CARTESIAN_POINT ('', (41., 8.5, 35.));
#7870 = CARTESIAN_POINT ('', (41., 7.5, 35.));
#7880 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 2, ((#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, #7710, #7720, #7730, #7740, #7750, #7760, #7770, #7780), (#7790, #7800, #7810, #7820, #7830, #7840, #7850, #7860, #7870)), .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 ('')
);
#7890 = ADVANCED_FACE ('', (#7060), #7880, .F.);
#7900 = ORIENTED_EDGE ('', *, *, #6720, .T.);
#7910 = CARTESIAN_POINT ('', (31.704752989704, 7.9, 33.1084420516693));
#7920 = VERTEX_POINT ('', #7910);
#7930 = CARTESIAN_POINT ('', (41.1056210817517, 7.9, 33.7658147868476));
#7940 = DIRECTION ('', (-9.4008680920477, 0., -0.657372735178299));
#7950 = VECTOR ('', #7940, 9.42382405380302);
#7960 = LINE ('', #7930, #7950);
#7970 = EDGE_CURVE ('', #6550, #7920, #7960, .T.);
#7980 = ORIENTED_EDGE ('', *, *, #7970, .T.);
#7990 = CARTESIAN_POINT ('', (31.9489006478084, 7.9, 29.6169678757599));
#8000 = VERTEX_POINT ('', #7990);
#8010 = CARTESIAN_POINT ('', (31.704752989704, 7.9, 33.1084420516693));
#8020 = DIRECTION ('', (0.244147658104399, 0., -3.4914741759094));
#8030 = VECTOR ('', #8020, 3.50000000000001);
#8040 = LINE ('', #8010, #8030);
#8050 = EDGE_CURVE ('', #7920, #8000, #8040, .T.);
#8060 = ORIENTED_EDGE ('', *, *, #8050, .T.);
#8070 = CARTESIAN_POINT ('', (33.4452467231981, 7.9, 29.7216025863761));
#8080 = VERTEX_POINT ('', #8070);
#8090 = CARTESIAN_POINT ('', (31.9489006478084, 7.9, 29.6169678757599));
#8100 = DIRECTION ('', (1.4963460753897, 0., 0.1046347106162));
#8110 = VECTOR ('', #8100, 1.49999999999997);
#8120 = LINE ('', #8090, #8110);
#8130 = EDGE_CURVE ('', #8000, #8080, #8120, .T.);
#8140 = ORIENTED_EDGE ('', *, *, #8130, .T.);
#8150 = CARTESIAN_POINT ('', (33.7159018413253, 7.9, 25.851054071368));
#8160 = VERTEX_POINT ('', #8150);
#8170 = CARTESIAN_POINT ('', (33.4452467231981, 7.9, 29.7216025863761));
#8180 = DIRECTION ('', (0.270655118127195, 0., -3.8705485150081));
#8190 = VECTOR ('', #8180, 3.87999999999998);
#8200 = LINE ('', #8170, #8190);
#8210 = EDGE_CURVE ('', #8080, #8160, #8200, .T.);
#8220 = ORIENTED_EDGE ('', *, *, #8210, .T.);
#8230 = CARTESIAN_POINT ('', (33.7159018413253, 7.9, 25.851054071368));
#8240 = DIRECTION ('', (8.44861568537321, 0., 0.590784760214));
#8250 = VECTOR ('', #8240, 8.46924634380387);
#8260 = LINE ('', #8230, #8250);
#8270 = EDGE_CURVE ('', #8160, #6660, #8260, .T.);
#8280 = ORIENTED_EDGE ('', *, *, #8270, .T.);
#8290 = EDGE_LOOP ('', (#7900, #7980, #8060, #8140, #8220, #8280));
#8300 = FACE_OUTER_BOUND ('', #8290, .F.);
#8310 = CARTESIAN_POINT ('', (31.703752989704, 7.9, 25.850054071368));
#8320 = CARTESIAN_POINT ('', (31.703752989704, 7.9, 33.7668147868476));
#8330 = CARTESIAN_POINT ('', (42.1655175266985, 7.9, 25.850054071368));
#8340 = CARTESIAN_POINT ('', (42.1655175266985, 7.9, 33.7668147868476));
#8350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8310, #8320), (#8330, #8340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-24.8581897925672, -14.3964252555726), (-2.8014810862285, 5.11527962925115), .UNSPECIFIED.);
#8360 = ADVANCED_FACE ('', (#8300), #8350, .F.);
#8370 = ORIENTED_EDGE ('', *, *, #5300, .F.);
#8380 = ORIENTED_EDGE ('', *, *, #2820, .F.);
#8390 = ORIENTED_EDGE ('', *, *, #2980, .F.);
#8400 = ORIENTED_EDGE ('', *, *, #6810, .F.);
#8410 = ORIENTED_EDGE ('', *, *, #8270, .F.);
#8420 = CARTESIAN_POINT ('', (33.7159018413253, 11., 25.851054071368));
#8430 = DIRECTION ('', (0., -3.1, 0.));
#8440 = VECTOR ('', #8430, 3.1);
#8450 = LINE ('', #8420, #8440);
#8460 = EDGE_CURVE ('', #5250, #8160, #8450, .T.);
#8470 = ORIENTED_EDGE ('', *, *, #8460, .F.);
#8480 = EDGE_LOOP ('', (#8370, #8380, #8390, #8400, #8410, #8470));
#8490 = FACE_OUTER_BOUND ('', #8480, .F.);
#8500 = CARTESIAN_POINT ('', (33.7148371207404, 11.001, 25.8509796188518));
#8510 = CARTESIAN_POINT ('', (33.7148371207404, 7.899, 25.8509796188518));
#8520 = CARTESIAN_POINT ('', (67.1510647205849, 11.001, 28.1890684183263));
#8530 = CARTESIAN_POINT ('', (67.1510647205849, 7.899, 28.1890684183263));
#8540 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8500, #8510), (#8520, #8530)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052401526, 33.5168081393381), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#8550 = ADVANCED_FACE ('', (#8490), #8540, .F.);
#8560 = ORIENTED_EDGE ('', *, *, #5380, .T.);
#8570 = ORIENTED_EDGE ('', *, *, #8460, .T.);
#8580 = ORIENTED_EDGE ('', *, *, #8210, .F.);
#8590 = CARTESIAN_POINT ('', (33.4452467231981, 7.9, 29.7216025863761));
#8600 = DIRECTION ('', (0., 3.1, 0.));
#8610 = VECTOR ('', #8600, 3.1);
#8620 = LINE ('', #8590, #8610);
#8630 = EDGE_CURVE ('', #8080, #5330, #8620, .T.);
#8640 = ORIENTED_EDGE ('', *, *, #8630, .T.);
#8650 = EDGE_LOOP ('', (#8560, #8570, #8580, #8640));
#8660 = FACE_OUTER_BOUND ('', #8650, .F.);
#8670 = CARTESIAN_POINT ('', (33.445172270682, 11.001, 29.7226673069609));
#8680 = CARTESIAN_POINT ('', (33.445172270682, 7.899, 29.7226673069609));
#8690 = CARTESIAN_POINT ('', (33.7159762938414, 11.001, 25.8499893507831));
#8700 = CARTESIAN_POINT ('', (33.7159762938414, 7.899, 25.8499893507831));
#8710 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8670, #8680), (#8690, #8700)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.448932679475984, 4.33106732052397), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#8720 = ADVANCED_FACE ('', (#8660), #8710, .F.);
#8730 = ORIENTED_EDGE ('', *, *, #5440, .T.);
#8740 = ORIENTED_EDGE ('', *, *, #8630, .F.);
#8750 = ORIENTED_EDGE ('', *, *, #8130, .F.);
#8760 = CARTESIAN_POINT ('', (31.9489006478084, 11., 29.6169678757599));
#8770 = DIRECTION ('', (0., -3.1, 0.));
#8780 = VECTOR ('', #8770, 3.1);
#8790 = LINE ('', #8760, #8780);
#8800 = EDGE_CURVE ('', #4580, #8000, #8790, .T.);
#8810 = ORIENTED_EDGE ('', *, *, #8800, .F.);
#8820 = EDGE_LOOP ('', (#8730, #8740, #8750, #8810));
#8830 = FACE_OUTER_BOUND ('', #8820, .F.);
#8840 = CARTESIAN_POINT ('', (31.9478359272235, 11.001, 29.6168934232438));
#8850 = CARTESIAN_POINT ('', (31.9478359272235, 7.899, 29.6168934232438));
#8860 = CARTESIAN_POINT ('', (33.446311443783, 11.001, 29.7216770388922));
#8870 = CARTESIAN_POINT ('', (33.446311443783, 7.899, 29.7216770388922));
#8880 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8840, #8850), (#8860, #8870)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.201067320523997, 1.30106732052399), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#8890 = ADVANCED_FACE ('', (#8830), #8880, .F.);
#8900 = ORIENTED_EDGE ('', *, *, #4630, .T.);
#8910 = ORIENTED_EDGE ('', *, *, #8800, .T.);
#8920 = ORIENTED_EDGE ('', *, *, #8050, .F.);
#8930 = CARTESIAN_POINT ('', (31.704752989704, 7.9, 33.1084420516693));
#8940 = DIRECTION ('', (0., 3.1, 0.));
#8950 = VECTOR ('', #8940, 3.1);
#8960 = LINE ('', #8930, #8950);
#8970 = EDGE_CURVE ('', #7920, #4560, #8960, .T.);
#8980 = ORIENTED_EDGE ('', *, *, #8970, .T.);
#8990 = EDGE_LOOP ('', (#8900, #8910, #8920, #8980));
#9000 = FACE_OUTER_BOUND ('', #8990, .F.);
#9010 = CARTESIAN_POINT ('', (31.7046785371879, 11.001, 33.1095067722541));
#9020 = CARTESIAN_POINT ('', (31.7046785371879, 7.899, 33.1095067722541));
#9030 = CARTESIAN_POINT ('', (31.9489751003245, 11.001, 29.615903155175));
#9040 = CARTESIAN_POINT ('', (31.9489751003245, 7.899, 29.615903155175));
#9050 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9010, #9020), (#9030, #9040)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.70106732052403, 0.801067320523995), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#9060 = ADVANCED_FACE ('', (#9000), #9050, .F.);
#9070 = ORIENTED_EDGE ('', *, *, #8970, .F.);
#9080 = ORIENTED_EDGE ('', *, *, #7970, .F.);
#9090 = ORIENTED_EDGE ('', *, *, #6630, .F.);
#9100 = ORIENTED_EDGE ('', *, *, #5870, .T.);
#9110 = CARTESIAN_POINT ('', (61.5, 8.5, 35.1919286861685));
#9120 = DIRECTION ('', (0., 2.5, 0.));
#9130 = VECTOR ('', #9120, 2.5);
#9140 = LINE ('', #9110, #9130);
#9150 = EDGE_CURVE ('', #5740, #4660, #9140, .T.);
#9160 = ORIENTED_EDGE ('', *, *, #9150, .T.);
#9170 = ORIENTED_EDGE ('', *, *, #4710, .T.);
#9180 = EDGE_LOOP ('', (#9070, #9080, #9090, #9100, #9160, #9170));
#9190 = FACE_OUTER_BOUND ('', #9180, .F.);
#9200 = CARTESIAN_POINT ('', (61.5010647205848, 11.001, 35.1920031386846));
#9210 = CARTESIAN_POINT ('', (61.5010647205848, 7.899, 35.1920031386846));
#9220 = CARTESIAN_POINT ('', (31.7036882691191, 11.001, 33.1083675991532));
#9230 = CARTESIAN_POINT ('', (31.7036882691191, 7.899, 33.1083675991532));
#9240 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9200, #9210), (#9220, #9230)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-5.22576239712022, 24.6443762107263), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#9250 = ADVANCED_FACE ('', (#9190), #9240, .F.);
#9260 = ORIENTED_EDGE ('', *, *, #5790, .T.);
#9270 = CARTESIAN_POINT ('', (59.115461869021, 8.5, 37.5764668171475));
#9280 = DIRECTION ('', (0., 2.5, 0.));
#9290 = VECTOR ('', #9280, 2.5);
#9300 = LINE ('', #9270, #9290);
#9310 = EDGE_CURVE ('', #5650, #4740, #9300, .T.);
#9320 = ORIENTED_EDGE ('', *, *, #9310, .T.);
#9330 = ORIENTED_EDGE ('', *, *, #4790, .T.);
#9340 = ORIENTED_EDGE ('', *, *, #9150, .F.);
#9350 = EDGE_LOOP ('', (#9260, #9320, #9330, #9340));
#9360 = FACE_OUTER_BOUND ('', #9350, .F.);
#9370 = CARTESIAN_POINT ('', (59.114461869021, 11.001, 37.5774668171475));
#9380 = CARTESIAN_POINT ('', (59.114461869021, 8.499, 37.5774668171475));
#9390 = CARTESIAN_POINT ('', (61.501, 11.001, 35.1909286861685));
#9400 = CARTESIAN_POINT ('', (61.501, 8.499, 35.1909286861685));
#9410 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9370, #9380), (#9390, #9400)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141421356237004, 3.37366037838866), (-3.001, -0.499000000000001), .UNSPECIFIED.);
#9420 = ADVANCED_FACE ('', (#9360), #9410, .F.);
#9430 = ORIENTED_EDGE ('', *, *, #4960, .T.);
#9440 = CARTESIAN_POINT ('', (58.0799279630882, 11., 38.371059930137));
#9450 = DIRECTION ('', (0., -2.5, 0.));
#9460 = VECTOR ('', #9450, 2.5);
#9470 = LINE ('', #9440, #9460);
#9480 = EDGE_CURVE ('', #4820, #5550, #9470, .T.);
#9490 = ORIENTED_EDGE ('', *, *, #9480, .T.);
#9500 = ORIENTED_EDGE ('', *, *, #5620, .T.);
#9510 = CARTESIAN_POINT ('', (51.2226226147383, 8.5, 42.3301270189222));
#9520 = DIRECTION ('', (0., 2.5, 0.));
#9530 = VECTOR ('', #9520, 2.5);
#9540 = LINE ('', #9510, #9530);
#9550 = EDGE_CURVE ('', #5570, #4910, #9540, .T.);
#9560 = ORIENTED_EDGE ('', *, *, #9550, .T.);
#9570 = EDGE_LOOP ('', (#9430, #9490, #9500, #9560));
#9580 = FACE_OUTER_BOUND ('', #9570, .F.);
#9590 = CARTESIAN_POINT ('', (51.2214396020364, 11.001, 42.3308100316241));
#9600 = CARTESIAN_POINT ('', (51.2214396020364, 8.499, 42.3308100316241));
#9610 = CARTESIAN_POINT ('', (58.0811109757901, 11.001, 38.3703769174351));
#9620 = CARTESIAN_POINT ('', (58.0811109757901, 8.499, 38.3703769174351));
#9630 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9590, #9600), (#9610, #9620)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.656896462533215, 8.57776269091131), (-3.001, -0.499000000000001), .UNSPECIFIED.);
#9640 = ADVANCED_FACE ('', (#9580), #9630, .F.);
#9650 = ORIENTED_EDGE ('', *, *, #1960, .T.);
#9660 = CARTESIAN_POINT ('', (30., -0.299999999999999, 20.));
#9670 = VERTEX_POINT ('', #9660);
#9680 = CARTESIAN_POINT ('', (30., -0.299999999999995, 19.7));
#9690 = DIRECTION ('', (1., 0., 0.));
#9700 = DIRECTION ('', (0., 1., 0.));
#9710 = AXIS2_PLACEMENT_3D ('', #9680, #9690, #9700);
#9720 = CIRCLE ('', #9710, 0.3);
#9730 = EDGE_CURVE ('', #1830, #9670, #9720, .T.);
#9740 = ORIENTED_EDGE ('', *, *, #9730, .T.);
#9750 = CARTESIAN_POINT ('', (30., -2.5, 20.));
#9760 = VERTEX_POINT ('', #9750);
#9770 = CARTESIAN_POINT ('', (30., -2.5, 20.));
#9780 = DIRECTION ('', (0., 2.2, 0.));
#9790 = VECTOR ('', #9780, 2.2);
#9800 = LINE ('', #9770, #9790);
#9810 = EDGE_CURVE ('', #9760, #9670, #9800, .T.);
#9820 = ORIENTED_EDGE ('', *, *, #9810, .F.);
#9830 = CARTESIAN_POINT ('', (30., -2.5, 27.));
#9840 = VERTEX_POINT ('', #9830);
#9850 = CARTESIAN_POINT ('', (30., -2.5, 27.));
#9860 = DIRECTION ('', (0., 0., -7.));
#9870 = VECTOR ('', #9860, 7.);
#9880 = LINE ('', #9850, #9870);
#9890 = EDGE_CURVE ('', #9840, #9760, #9880, .T.);
#9900 = ORIENTED_EDGE ('', *, *, #9890, .F.);
#9910 = CARTESIAN_POINT ('', (30., -0.299999999999999, 27.));
#9920 = VERTEX_POINT ('', #9910);
#9930 = CARTESIAN_POINT ('', (30., -2.5, 27.));
#9940 = DIRECTION ('', (0., 2.2, 0.));
#9950 = VECTOR ('', #9940, 2.2);
#9960 = LINE ('', #9930, #9950);
#9970 = EDGE_CURVE ('', #9840, #9920, #9960, .T.);
#9980 = ORIENTED_EDGE ('', *, *, #9970, .T.);
#9990 = CARTESIAN_POINT ('', (30., -0.299999999999996, 27.3));
#10000 = DIRECTION ('', (1., 0., 0.));
#10010 = DIRECTION ('', (0., -1.01770443923972E-14, -1.));
#10020 = AXIS2_PLACEMENT_3D ('', #9990, #10000, #10010);
#10030 = CIRCLE ('', #10020, 0.299999999999999);
#10040 = EDGE_CURVE ('', #9920, #1910, #10030, .T.);
#10050 = ORIENTED_EDGE ('', *, *, #10040, .T.);
#10060 = EDGE_LOOP ('', (#9650, #9740, #9820, #9900, #9980, #10050));
#10070 = FACE_OUTER_BOUND ('', #10060, .F.);
#10080 = CARTESIAN_POINT ('', (30., 0.001000000000003, 27.301));
#10090 = CARTESIAN_POINT ('', (30., -2.501, 27.301));
#10100 = CARTESIAN_POINT ('', (30., 0.001000000000003, 19.699));
#10110 = CARTESIAN_POINT ('', (30., -2.501, 19.699));
#10120 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10080, #10090), (#10100, #10110)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-7.301, 0.301000000000002), (-2.501, 0.000999999999999446), .UNSPECIFIED.);
#10130 = ADVANCED_FACE ('', (#10070), #10120, .F.);
#10140 = ORIENTED_EDGE ('', *, *, #9810, .T.);
#10150 = CARTESIAN_POINT ('', (30., -0.299999999999999, 20.));
#10160 = DIRECTION ('', (-30., -1.99840144432528E-15, 0.));
#10170 = VECTOR ('', #10160, 30.);
#10180 = LINE ('', #10150, #10170);
#10190 = EDGE_CURVE ('', #9670, #3970, #10180, .T.);
#10200 = ORIENTED_EDGE ('', *, *, #10190, .T.);
#10210 = ORIENTED_EDGE ('', *, *, #4020, .F.);
#10220 = CARTESIAN_POINT ('', (30., -2.5, 20.));
#10230 = DIRECTION ('', (-30., 0., 0.));
#10240 = VECTOR ('', #10230, 30.);
#10250 = LINE ('', #10220, #10240);
#10260 = EDGE_CURVE ('', #9760, #3890, #10250, .T.);
#10270 = ORIENTED_EDGE ('', *, *, #10260, .F.);
#10280 = EDGE_LOOP ('', (#10140, #10200, #10210, #10270));
#10290 = FACE_OUTER_BOUND ('', #10280, .F.);
#10300 = CARTESIAN_POINT ('', (30.001, -0.298999999999998, 20.));
#10310 = CARTESIAN_POINT ('', (30.001, -2.501, 20.));
#10320 = CARTESIAN_POINT ('', (-0.000999999999997667, -0.298999999999999, 20.));
#10330 = CARTESIAN_POINT ('', (-0.000999999999997667, -2.501, 20.));
#10340 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10300, #10310), (#10320, #10330)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-30.001, 0.00100000000000122), (-2.201, 0.000999999999999446), .UNSPECIFIED.);
#10350 = ADVANCED_FACE ('', (#10290), #10340, .F.);
#10360 = ORIENTED_EDGE ('', *, *, #3860, .T.);
#10370 = CARTESIAN_POINT ('', (-9.61347737330673E-16, -0.300000000000001, 27.));
#10380 = DIRECTION ('', (30., 1.99840144432528E-15, 0.));
#10390 = VECTOR ('', #10380, 30.);
#10400 = LINE ('', #10370, #10390);
#10410 = EDGE_CURVE ('', #3720, #9920, #10400, .T.);
#10420 = ORIENTED_EDGE ('', *, *, #10410, .T.);
#10430 = ORIENTED_EDGE ('', *, *, #9970, .F.);
#10440 = CARTESIAN_POINT ('', (-8.26636589424464E-16, -2.5, 27.));
#10450 = DIRECTION ('', (30., 0., 0.));
#10460 = VECTOR ('', #10450, 30.);
#10470 = LINE ('', #10440, #10460);
#10480 = EDGE_CURVE ('', #3810, #9840, #10470, .T.);
#10490 = ORIENTED_EDGE ('', *, *, #10480, .F.);
#10500 = EDGE_LOOP ('', (#10360, #10420, #10430, #10490));
#10510 = FACE_OUTER_BOUND ('', #10500, .F.);
#10520 = CARTESIAN_POINT ('', (-0.00100000000000053, -0.298999999999999, 27.));
#10530 = CARTESIAN_POINT ('', (-0.0010000000000004, -2.501, 27.));
#10540 = CARTESIAN_POINT ('', (30.001, -0.298999999999998, 27.));
#10550 = CARTESIAN_POINT ('', (30.001, -2.501, 27.));
#10560 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10520, #10530), (#10540, #10550)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000122, 30.001), (-2.201, 0.000999999999999446), .UNSPECIFIED.);
#10570 = ADVANCED_FACE ('', (#10510), #10560, .F.);
#10580 = ORIENTED_EDGE ('', *, *, #9890, .T.);
#10590 = ORIENTED_EDGE ('', *, *, #10260, .T.);
#10600 = ORIENTED_EDGE ('', *, *, #3940, .T.);
#10610 = ORIENTED_EDGE ('', *, *, #10480, .T.);
#10620 = EDGE_LOOP ('', (#10580, #10590, #10600, #10610));
#10630 = FACE_OUTER_BOUND ('', #10620, .F.);
#10640 = CARTESIAN_POINT ('', (30.001, -2.5, 19.999));
#10650 = CARTESIAN_POINT ('', (30.001, -2.5, 27.001));
#10660 = CARTESIAN_POINT ('', (-0.000999999999990564, -2.5, 19.999));
#10670 = CARTESIAN_POINT ('', (-0.000999999999990564, -2.5, 27.001));
#10680 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10640, #10650), (#10660, #10670)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000122, 30.001), (-0.00100000000000122, 7.001), .UNSPECIFIED.);
#10690 = ADVANCED_FACE ('', (#10630), #10680, .F.);
#10700 = ORIENTED_EDGE ('', *, *, #7020, .F.);
#10710 = CARTESIAN_POINT ('', (58.8864817766692, 8.20293721655576, 5.09346611496996));
#10720 = DIRECTION ('', (0., 2.79706278344424, 1.95399252334028E-14));
#10730 = VECTOR ('', #10720, 2.79706278344424);
#10740 = LINE ('', #10710, #10730);
#10750 = EDGE_CURVE ('', #6850, #5090, #10740, .T.);
#10760 = ORIENTED_EDGE ('', *, *, #10750, .T.);
#10770 = ORIENTED_EDGE ('', *, *, #5140, .T.);
#10780 = ORIENTED_EDGE ('', *, *, #3320, .F.);
#10790 = ORIENTED_EDGE ('', *, *, #2360, .T.);
#10800 = ORIENTED_EDGE ('', *, *, #6270, .F.);
#10810 = EDGE_LOOP ('', (#10700, #10760, #10770, #10780, #10790, #10800));
#10820 = FACE_OUTER_BOUND ('', #10810, .F.);
#10830 = CARTESIAN_POINT ('', (58.8876226330513, 11.001, 5.09366727873125));
#10840 = CARTESIAN_POINT ('', (58.8876226330513, -0.000999999999990564, 5.09366727873125));
#10850 = CARTESIAN_POINT ('', (29.9988591436179, 11.001, -0.000201163761277101));
#10860 = CARTESIAN_POINT ('', (29.9988591436179, -0.000999999999990564, -0.000201163761277101));
#10870 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10830, #10840), (#10850, #10860)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00115845593068187, 29.3332607757132), (-48.7240986315554, -37.7220986315554), .UNSPECIFIED.);
#10880 = ADVANCED_FACE ('', (#10820), #10870, .F.);
#10890 = ORIENTED_EDGE ('', *, *, #3080, .F.);
#10900 = ORIENTED_EDGE ('', *, *, #2680, .F.);
#10910 = ORIENTED_EDGE ('', *, *, #5210, .F.);
#10920 = ORIENTED_EDGE ('', *, *, #10750, .F.);
#10930 = ORIENTED_EDGE ('', *, *, #6930, .F.);
#10940 = EDGE_LOOP ('', (#10890, #10900, #10910, #10920, #10930));
#10950 = FACE_OUTER_BOUND ('', #10940, .F.);
#10960 = CARTESIAN_POINT ('', (67.15, 7.92203093821133, 14.9415436450921));
#10970 = CARTESIAN_POINT ('', (67.15, 11.2809062783444, 14.9415436450921));
#10980 = CARTESIAN_POINT ('', (67.15, 7.92203093821133, 24.9415436450921));
#10990 = CARTESIAN_POINT ('', (67.15, 11.2809062783444, 24.9415436450921));
#11000 = CARTESIAN_POINT ('', (57.15, 7.92203093821133, 24.9415436450921));
#11010 = CARTESIAN_POINT ('', (57.15, 11.2809062783444, 24.9415436450921));
#11020 = CARTESIAN_POINT ('', (47.1499999999999, 7.92203093821132, 24.941543645092));
#11030 = CARTESIAN_POINT ('', (47.1499999999999, 11.2809062783444, 24.941543645092));
#11040 = CARTESIAN_POINT ('', (47.15, 7.92203093821132, 14.941543645092));
#11050 = CARTESIAN_POINT ('', (47.15, 11.2809062783444, 14.941543645092));
#11060 = CARTESIAN_POINT ('', (47.15, 7.92203093821132, 4.94154364509199));
#11070 = CARTESIAN_POINT ('', (47.15, 11.2809062783444, 4.94154364509199));
#11080 = CARTESIAN_POINT ('', (57.1500000000001, 7.92203093821133, 4.94154364509203));
#11090 = CARTESIAN_POINT ('', (57.1500000000001, 11.2809062783444, 4.94154364509203));
#11100 = CARTESIAN_POINT ('', (67.1500000000001, 7.92203093821133, 4.94154364509208));
#11110 = CARTESIAN_POINT ('', (67.1500000000001, 11.2809062783444, 4.94154364509208));
#11120 = CARTESIAN_POINT ('', (67.15, 7.92203093821133, 14.9415436450921));
#11130 = CARTESIAN_POINT ('', (67.15, 11.2809062783444, 14.9415436450921));
#11140 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#10960, #10970), (#10980, #10990), (#11000, #11010), (#11020, #11030), (#11040, #11050), (#11060, #11070), (#11080, #11090), (#11100, #11110), (#11120, #11130)), .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 ('')
);
#11150 = ADVANCED_FACE ('', (#10950), #11140, .F.);
#11160 = ORIENTED_EDGE ('', *, *, #6030, .F.);
#11170 = ORIENTED_EDGE ('', *, *, #4350, .F.);
#11180 = ORIENTED_EDGE ('', *, *, #5030, .F.);
#11190 = ORIENTED_EDGE ('', *, *, #9550, .F.);
#11200 = EDGE_LOOP ('', (#11160, #11170, #11180, #11190));
#11210 = FACE_OUTER_BOUND ('', #11200, .F.);
#11220 = CARTESIAN_POINT ('', (53.7226226147383, 8.2488, 38.));
#11230 = CARTESIAN_POINT ('', (53.7226226147383, 11.2512, 38.));
#11240 = CARTESIAN_POINT ('', (53.7226226147383, 8.2488, 43.));
#11250 = CARTESIAN_POINT ('', (53.7226226147383, 11.2512, 43.));
#11260 = CARTESIAN_POINT ('', (48.7226226147383, 8.2488, 43.));
#11270 = CARTESIAN_POINT ('', (48.7226226147383, 11.2512, 43.));
#11280 = CARTESIAN_POINT ('', (43.7226226147383, 8.2488, 43.));
#11290 = CARTESIAN_POINT ('', (43.7226226147383, 11.2512, 43.));
#11300 = CARTESIAN_POINT ('', (43.7226226147383, 8.2488, 38.));
#11310 = CARTESIAN_POINT ('', (43.7226226147383, 11.2512, 38.));
#11320 = CARTESIAN_POINT ('', (43.7226226147383, 8.2488, 33.));
#11330 = CARTESIAN_POINT ('', (43.7226226147383, 11.2512, 33.));
#11340 = CARTESIAN_POINT ('', (48.7226226147383, 8.2488, 33.));
#11350 = CARTESIAN_POINT ('', (48.7226226147383, 11.2512, 33.));
#11360 = CARTESIAN_POINT ('', (53.7226226147383, 8.2488, 33.));
#11370 = CARTESIAN_POINT ('', (53.7226226147383, 11.2512, 33.));
#11380 = CARTESIAN_POINT ('', (53.7226226147383, 8.2488, 38.));
#11390 = CARTESIAN_POINT ('', (53.7226226147383, 11.2512, 38.));
#11400 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#11220, #11230), (#11240, #11250), (#11260, #11270), (#11280, #11290), (#11300, #11310), (#11320, #11330), (#11340, #11350), (#11360, #11370), (#11380, #11390)), .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 ('')
);
#11410 = ADVANCED_FACE ('', (#11210), #11400, .F.);
#11420 = ORIENTED_EDGE ('', *, *, #5710, .F.);
#11430 = ORIENTED_EDGE ('', *, *, #9480, .F.);
#11440 = ORIENTED_EDGE ('', *, *, #4880, .F.);
#11450 = ORIENTED_EDGE ('', *, *, #9310, .F.);
#11460 = EDGE_LOOP ('', (#11420, #11430, #11440, #11450));
#11470 = FACE_OUTER_BOUND ('', #11460, .F.);
#11480 = CARTESIAN_POINT ('', (60.5799279630883, 8.2488, 34.0409329112148));
#11490 = CARTESIAN_POINT ('', (60.5799279630883, 11.2512, 34.0409329112148));
#11500 = CARTESIAN_POINT ('', (60.5799279630883, 8.2488, 39.0409329112148));
#11510 = CARTESIAN_POINT ('', (60.5799279630883, 11.2512, 39.0409329112148));
#11520 = CARTESIAN_POINT ('', (55.5799279630883, 8.2488, 39.0409329112148));
#11530 = CARTESIAN_POINT ('', (55.5799279630883, 11.2512, 39.0409329112148));
#11540 = CARTESIAN_POINT ('', (50.5799279630883, 8.2488, 39.0409329112148));
#11550 = CARTESIAN_POINT ('', (50.5799279630883, 11.2512, 39.0409329112148));
#11560 = CARTESIAN_POINT ('', (50.5799279630883, 8.2488, 34.0409329112148));
#11570 = CARTESIAN_POINT ('', (50.5799279630883, 11.2512, 34.0409329112148));
#11580 = CARTESIAN_POINT ('', (50.5799279630883, 8.2488, 29.0409329112148));
#11590 = CARTESIAN_POINT ('', (50.5799279630883, 11.2512, 29.0409329112148));
#11600 = CARTESIAN_POINT ('', (55.5799279630883, 8.2488, 29.0409329112148));
#11610 = CARTESIAN_POINT ('', (55.5799279630883, 11.2512, 29.0409329112148));
#11620 = CARTESIAN_POINT ('', (60.5799279630883, 8.2488, 29.0409329112148));
#11630 = CARTESIAN_POINT ('', (60.5799279630883, 11.2512, 29.0409329112148));
#11640 = CARTESIAN_POINT ('', (60.5799279630883, 8.2488, 34.0409329112148));
#11650 = CARTESIAN_POINT ('', (60.5799279630883, 11.2512, 34.0409329112148));
#11660 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#11480, #11490), (#11500, #11510), (#11520, #11530), (#11540, #11550), (#11560, #11570), (#11580, #11590), (#11600, #11610), (#11620, #11630), (#11640, #11650)), .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 ('')
);
#11670 = ADVANCED_FACE ('', (#11470), #11660, .F.);
#11680 = ORIENTED_EDGE ('', *, *, #9730, .F.);
#11690 = ORIENTED_EDGE ('', *, *, #1880, .F.);
#11700 = ORIENTED_EDGE ('', *, *, #4090, .F.);
#11710 = ORIENTED_EDGE ('', *, *, #10190, .F.);
#11720 = EDGE_LOOP ('', (#11680, #11690, #11700, #11710));
#11730 = FACE_OUTER_BOUND ('', #11720, .F.);
#11740 = CARTESIAN_POINT ('', (-3.0012, -0.3, 19.4));
#11750 = CARTESIAN_POINT ('', (33.0012, -0.299999999999999, 19.4));
#11760 = CARTESIAN_POINT ('', (-3.0012, 5.45926661318977E-16, 19.4));
#11770 = CARTESIAN_POINT ('', (33.0012, 1.76717198840665E-15, 19.4));
#11780 = CARTESIAN_POINT ('', (-3.0012, -2.22044604925031E-15, 19.7));
#11790 = CARTESIAN_POINT ('', (33.0012, -9.99200722162641E-16, 19.7));
#11800 = CARTESIAN_POINT ('', (-3.0012, -4.95906318420397E-15, 20.));
#11810 = CARTESIAN_POINT ('', (33.0012, -3.73781785711629E-15, 20.));
#11820 = CARTESIAN_POINT ('', (-3.0012, -0.300000000000006, 20.));
#11830 = CARTESIAN_POINT ('', (33.0012, -0.300000000000004, 20.));
#11840 = CARTESIAN_POINT ('', (-3.0012, -0.600000000000006, 20.));
#11850 = CARTESIAN_POINT ('', (33.0012, -0.600000000000005, 20.));
#11860 = CARTESIAN_POINT ('', (-3.0012, -0.600000000000004, 19.7));
#11870 = CARTESIAN_POINT ('', (33.0012, -0.600000000000002, 19.7));
#11880 = CARTESIAN_POINT ('', (-3.0012, -0.600000000000001, 19.4));
#11890 = CARTESIAN_POINT ('', (33.0012, -0.6, 19.4));
#11900 = CARTESIAN_POINT ('', (-3.0012, -0.3, 19.4));
#11910 = CARTESIAN_POINT ('', (33.0012, -0.299999999999999, 19.4));
#11920 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#11740, #11750), (#11760, #11770), (#11780, #11790), (#11800, #11810), (#11820, #11830), (#11840, #11850), (#11860, #11870), (#11880, #11890), (#11900, #11910)), .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 ('')
);
#11930 = ADVANCED_FACE ('', (#11730), #11920, .F.);
#11940 = ORIENTED_EDGE ('', *, *, #3780, .F.);
#11950 = ORIENTED_EDGE ('', *, *, #2040, .F.);
#11960 = ORIENTED_EDGE ('', *, *, #10040, .F.);
#11970 = ORIENTED_EDGE ('', *, *, #10410, .F.);
#11980 = EDGE_LOOP ('', (#11940, #11950, #11960, #11970));
#11990 = FACE_OUTER_BOUND ('', #11980, .F.);
#12000 = CARTESIAN_POINT ('', (33.0012, 6.66133814775094E-16, 27.3));
#12010 = CARTESIAN_POINT ('', (-3.0012, 6.66133814775094E-16, 27.3));
#12020 = CARTESIAN_POINT ('', (33.0012, 6.66133814775094E-16, 27.));
#12030 = CARTESIAN_POINT ('', (-3.0012, 6.66133814775094E-16, 27.));
#12040 = CARTESIAN_POINT ('', (33.0012, -0.300000000000001, 27.));
#12050 = CARTESIAN_POINT ('', (-3.0012, -0.300000000000001, 27.));
#12060 = CARTESIAN_POINT ('', (33.0012, -0.600000000000002, 27.));
#12070 = CARTESIAN_POINT ('', (-3.0012, -0.600000000000002, 27.));
#12080 = CARTESIAN_POINT ('', (33.0012, -0.600000000000002, 27.3));
#12090 = CARTESIAN_POINT ('', (-3.0012, -0.600000000000002, 27.3));
#12100 = CARTESIAN_POINT ('', (33.0012, -0.600000000000002, 27.6));
#12110 = CARTESIAN_POINT ('', (-3.0012, -0.600000000000002, 27.6));
#12120 = CARTESIAN_POINT ('', (33.0012, -0.300000000000001, 27.6));
#12130 = CARTESIAN_POINT ('', (-3.0012, -0.300000000000001, 27.6));
#12140 = CARTESIAN_POINT ('', (33.0012, 6.01638835185044E-16, 27.6));
#12150 = CARTESIAN_POINT ('', (-3.0012, 6.01638835185044E-16, 27.6));
#12160 = CARTESIAN_POINT ('', (33.0012, 6.66133814775094E-16, 27.3));
#12170 = CARTESIAN_POINT ('', (-3.0012, 6.66133814775094E-16, 27.3));
#12180 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#12000, #12010), (#12020, #12030), (#12040, #12050), (#12060, #12070), (#12080, #12090), (#12100, #12110), (#12120, #12130), (#12140, #12150), (#12160, #12170)), .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 ('')
);
#12190 = ADVANCED_FACE ('', (#11990), #12180, .F.);
#12200 = CLOSED_SHELL ('', (#1250, #1710, #2510, #2910, #3240, #3550, #4200, #4540, #5530, #6120, #6510, #7890, #8360, #8550, #8720, #8890, #9060, #9250, #9420, #9640, #10130, #10350, #10570, #10690, #10880, #11150, #11410, #11670, #11930, #12190));
#12210 = MANIFOLD_SOLID_BREP ('NOCUT', #12200);
#12220 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#12230 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#12240 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#12250 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #12220, 'DISTANCE_ACCURACY_VALUE', '');
#12260 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#12250))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#12220, #12230, #12240))
   REPRESENTATION_CONTEXT ('', '3D')
);
#12270 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#12280 = FILL_AREA_STYLE_COLOUR ('', #12270);
#12290 = FILL_AREA_STYLE ('', (#12280));
#12300 = SURFACE_STYLE_FILL_AREA (#12290);
#12310 = SURFACE_SIDE_STYLE ('', (#12300));
#12320 = SURFACE_STYLE_USAGE (.POSITIVE., #12310);
#12330 = PRESENTATION_STYLE_ASSIGNMENT ((#12320));
#12340 = STYLED_ITEM ('', (#12330), #12210);
#12350 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#12210), #12260);
#12360 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#12370 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #12360);
#12380 = MECHANICAL_CONTEXT ('', #12360, 'mechanical');
#12390 = PRODUCT ('NONE', '', '', (#12380));
#12400 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#12410 = PERSON ('', '', $, $, $, $);
#12420 = ORGANIZATION ($, '', '');
#12430 = PERSON_AND_ORGANIZATION (#12410, #12420);
#12440 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#12430, #12400, (#12390));
#12450 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#12390));
#12460 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #12390, .NOT_KNOWN.);
#12470 = APPROVAL_STATUS ('approved');
#12480 = APPROVAL (#12470, '');
#12490 = CALENDAR_DATE (2017, 25, 1);
#12500 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#12510 = LOCAL_TIME (7, 25, 6., #12500);
#12520 = DATE_AND_TIME (#12490, #12510);
#12530 = APPROVAL_DATE_TIME (#12520, #12480);
#12540 = APPROVAL_ROLE ('');
#12550 = PERSON ('', '', $, $, $, $);
#12560 = ORGANIZATION ($, '', '');
#12570 = PERSON_AND_ORGANIZATION (#12550, #12560);
#12580 = APPROVAL_PERSON_ORGANIZATION (#12570, #12480, #12540);
#12590 = CC_DESIGN_APPROVAL (#12480, (#12460));
#12600 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#12610 = PERSON ('', '', $, $, $, $);
#12620 = ORGANIZATION ($, '', '');
#12630 = PERSON_AND_ORGANIZATION (#12610, #12620);
#12640 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#12630, #12600, (#12460));
#12650 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#12660 = PERSON ('', '', $, $, $, $);
#12670 = ORGANIZATION ($, '', '');
#12680 = PERSON_AND_ORGANIZATION (#12660, #12670);
#12690 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#12680, #12650, (#12460));
#12700 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#12710 = SECURITY_CLASSIFICATION ('', '', #12700);
#12720 = APPROVAL_STATUS ('approved');
#12730 = APPROVAL (#12720, '');
#12740 = CALENDAR_DATE (2017, 25, 1);
#12750 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#12760 = LOCAL_TIME (7, 25, 6., #12750);
#12770 = DATE_AND_TIME (#12740, #12760);
#12780 = APPROVAL_DATE_TIME (#12770, #12730);
#12790 = APPROVAL_ROLE ('');
#12800 = PERSON ('', '', $, $, $, $);
#12810 = ORGANIZATION ($, '', '');
#12820 = PERSON_AND_ORGANIZATION (#12800, #12810);
#12830 = APPROVAL_PERSON_ORGANIZATION (#12820, #12730, #12790);
#12840 = CC_DESIGN_APPROVAL (#12730, (#12710));
#12850 = DATE_TIME_ROLE ('classification_date');
#12860 = CALENDAR_DATE (2017, 25, 1);
#12870 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#12880 = LOCAL_TIME (7, 25, 6., #12870);
#12890 = DATE_AND_TIME (#12860, #12880);
#12900 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#12890, #12850, (#12710));
#12910 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#12920 = PERSON ('', '', $, $, $, $);
#12930 = ORGANIZATION ($, '', '');
#12940 = PERSON_AND_ORGANIZATION (#12920, #12930);
#12950 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#12940, #12910, (#12710));
#12960 = CC_DESIGN_SECURITY_CLASSIFICATION (#12710, (#12460));
#12970 = DESIGN_CONTEXT ('', #12360, 'design');
#12980 = PRODUCT_DEFINITION ('', '', #12460, #12970);
#12990 = APPROVAL_STATUS ('approved');
#13000 = APPROVAL (#12990, '');
#13010 = CALENDAR_DATE (2017, 25, 1);
#13020 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13030 = LOCAL_TIME (7, 25, 6., #13020);
#13040 = DATE_AND_TIME (#13010, #13030);
#13050 = APPROVAL_DATE_TIME (#13040, #13000);
#13060 = APPROVAL_ROLE ('');
#13070 = PERSON ('', '', $, $, $, $);
#13080 = ORGANIZATION ($, '', '');
#13090 = PERSON_AND_ORGANIZATION (#13070, #13080);
#13100 = APPROVAL_PERSON_ORGANIZATION (#13090, #13000, #13060);
#13110 = CC_DESIGN_APPROVAL (#13000, (#12980));
#13120 = DATE_TIME_ROLE ('creation_date');
#13130 = CALENDAR_DATE (2017, 25, 1);
#13140 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13150 = LOCAL_TIME (7, 25, 6., #13140);
#13160 = DATE_AND_TIME (#13130, #13150);
#13170 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#13160, #13120, (#12980));
#13180 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#13190 = PERSON ('', '', $, $, $, $);
#13200 = ORGANIZATION ($, '', '');
#13210 = PERSON_AND_ORGANIZATION (#13190, #13200);
#13220 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13210, #13180, (#12980));
#13230 = PRODUCT_DEFINITION_SHAPE ('', '', #12980);
#13240 = SHAPE_DEFINITION_REPRESENTATION (#13230, #12350);
#13250 = CARTESIAN_POINT ('', (67.3335819414373, 8.5, 28.2051134178243));
#13260 = VERTEX_POINT ('', #13250);
#13270 = CARTESIAN_POINT ('', (33.7156734476812, 8.5, 25.8543202526475));
#13280 = VERTEX_POINT ('', #13270);
#13290 = CARTESIAN_POINT ('', (67.3335819414373, 8.5, 28.2051134178243));
#13300 = DIRECTION ('', (-33.6179084937561, 0., -2.3507931651768));
#13310 = VECTOR ('', #13300, 33.7);
#13320 = LINE ('', #13290, #13310);
#13330 = EDGE_CURVE ('', #13260, #13280, #13320, .T.);
#13340 = ORIENTED_EDGE ('', *, *, #13330, .T.);
#13350 = CARTESIAN_POINT ('', (33.3810818949938, 8.5, 30.6392023799455));
#13360 = VERTEX_POINT ('', #13350);
#13370 = CARTESIAN_POINT ('', (33.7156734476812, 8.5, 25.8543202526475));
#13380 = DIRECTION ('', (-0.334591552687399, 0., 4.784882127298));
#13390 = VECTOR ('', #13380, 4.79656632178328);
#13400 = LINE ('', #13370, #13390);
#13410 = EDGE_CURVE ('', #13280, #13360, #13400, .T.);
#13420 = ORIENTED_EDGE ('', *, *, #13410, .T.);
#13430 = CARTESIAN_POINT ('', (36.2529915924946, 8.5, 28.1426893677023));
#13440 = VERTEX_POINT ('', #13430);
#13450 = CARTESIAN_POINT ('', (33.3810818949938, 8.5, 30.6392023799455));
#13460 = DIRECTION ('', (2.8719096975008, 0., -2.4965130122432));
#13470 = VECTOR ('', #13460, 3.80531766491298);
#13480 = LINE ('', #13450, #13470);
#13490 = EDGE_CURVE ('', #13360, #13440, #13480, .T.);
#13500 = ORIENTED_EDGE ('', *, *, #13490, .T.);
#13510 = CARTESIAN_POINT ('', (35.5585398236375, 8.5, 33.0839704574847));
#13520 = VERTEX_POINT ('', #13510);
#13530 = CARTESIAN_POINT ('', (36.2529915924946, 8.5, 28.1426893677023));
#13540 = DIRECTION ('', (-0.6944517688571, 0., 4.9412810897824));
#13550 = VECTOR ('', #13540, 4.98984188802711);
#13560 = LINE ('', #13530, #13550);
#13570 = EDGE_CURVE ('', #13440, #13520, #13560, .T.);
#13580 = ORIENTED_EDGE ('', *, *, #13570, .T.);
#13590 = CARTESIAN_POINT ('', (34.9205481931432, 8.5, 32.9943065812019));
#13600 = VERTEX_POINT ('', #13590);
#13610 = CARTESIAN_POINT ('', (35.5585398236375, 8.5, 33.0839704574847));
#13620 = DIRECTION ('', (-0.637991630494305, 0., -0.0896638762828061));
#13630 = VECTOR ('', #13620, 0.644261539509259);
#13640 = LINE ('', #13610, #13630);
#13650 = EDGE_CURVE ('', #13520, #13600, #13640, .T.);
#13660 = ORIENTED_EDGE ('', *, *, #13650, .T.);
#13670 = CARTESIAN_POINT ('', (35.1902172093354, 8.5, 33.3521694526913));
#13680 = VERTEX_POINT ('', #13670);
#13690 = CARTESIAN_POINT ('', (34.9205481931432, 8.5, 32.9943065812019));
#13700 = DIRECTION ('', (0.269669016192204, 0., 0.357862871489402));
#13710 = VECTOR ('', #13700, 0.448092862122029);
#13720 = LINE ('', #13690, #13710);
#13730 = EDGE_CURVE ('', #13600, #13680, #13720, .T.);
#13740 = ORIENTED_EDGE ('', *, *, #13730, .T.);
#13750 = CARTESIAN_POINT ('', (64.8298894146081, 8.5, 35.4247772370565));
#13760 = VERTEX_POINT ('', #13750);
#13770 = CARTESIAN_POINT ('', (35.1902172093354, 8.5, 33.3521694526913));
#13780 = DIRECTION ('', (29.6396722052727, 0., 2.0726077843652));
#13790 = VECTOR ('', #13780, 29.7120492639573);
#13800 = LINE ('', #13770, #13790);
#13810 = EDGE_CURVE ('', #13680, #13760, #13800, .T.);
#13820 = ORIENTED_EDGE ('', *, *, #13810, .T.);
#13830 = CARTESIAN_POINT ('', (65.1467389160159, 8.5, 35.1079277356487));
#13840 = VERTEX_POINT ('', #13830);
#13850 = CARTESIAN_POINT ('', (65.1467389160159, 8.5, 35.1079277356487));
#13860 = DIRECTION ('', (-0.316849501407802, 0., 0.316849501407802));
#13870 = VECTOR ('', #13860, 0.448092862122067);
#13880 = LINE ('', #13850, #13870);
#13890 = EDGE_CURVE ('', #13840, #13760, #13880, .T.);
#13900 = ORIENTED_EDGE ('', *, *, #13890, .F.);
#13910 = CARTESIAN_POINT ('', (64.5024773765066, 8.5, 35.1079277356487));
#13920 = VERTEX_POINT ('', #13910);
#13930 = CARTESIAN_POINT ('', (64.5024773765066, 8.5, 35.1079277356487));
#13940 = DIRECTION ('', (0.644261539509301, 0., 0.));
#13950 = VECTOR ('', #13940, 0.644261539509301);
#13960 = LINE ('', #13930, #13950);
#13970 = EDGE_CURVE ('', #13920, #13840, #13960, .T.);
#13980 = ORIENTED_EDGE ('', *, *, #13970, .F.);
#13990 = CARTESIAN_POINT ('', (64.5024773765066, 8.5, 30.1180858476216));
#14000 = VERTEX_POINT ('', #13990);
#14010 = CARTESIAN_POINT ('', (64.5024773765066, 8.5, 30.1180858476216));
#14020 = DIRECTION ('', (0., 0., 4.9898418880271));
#14030 = VECTOR ('', #14020, 4.9898418880271);
#14040 = LINE ('', #14010, #14030);
#14050 = EDGE_CURVE ('', #14000, #13920, #14040, .T.);
#14060 = ORIENTED_EDGE ('', *, *, #14050, .F.);
#14070 = CARTESIAN_POINT ('', (66.9989903887499, 8.5, 32.9899955451223));
#14080 = VERTEX_POINT ('', #14070);
#14090 = CARTESIAN_POINT ('', (66.9989903887499, 8.5, 32.9899955451223));
#14100 = DIRECTION ('', (-2.4965130122433, 0., -2.8719096975007));
#14110 = VECTOR ('', #14100, 3.80531766491296);
#14120 = LINE ('', #14090, #14110);
#14130 = EDGE_CURVE ('', #14080, #14000, #14120, .T.);
#14140 = ORIENTED_EDGE ('', *, *, #14130, .F.);
#14150 = CARTESIAN_POINT ('', (67.3335819414373, 8.5, 28.2051134178243));
#14160 = DIRECTION ('', (-0.334591552687399, 0., 4.784882127298));
#14170 = VECTOR ('', #14160, 4.79656632178328);
#14180 = LINE ('', #14150, #14170);
#14190 = EDGE_CURVE ('', #13260, #14080, #14180, .T.);
#14200 = ORIENTED_EDGE ('', *, *, #14190, .F.);
#14210 = EDGE_LOOP ('', (#13340, #13420, #13500, #13580, #13660, #13740, #13820, #13900, #13980, #14060, #14140, #14200));
#14220 = FACE_OUTER_BOUND ('', #14210, .F.);
#14230 = CARTESIAN_POINT ('', (67.3346492619613, 8.5, 28.2041856102478));
#14240 = CARTESIAN_POINT ('', (66.8199353664263, 8.5, 35.5649372479863));
#14250 = CARTESIAN_POINT ('', (33.7147456401047, 8.5, 25.8532529321235));
#14260 = CARTESIAN_POINT ('', (33.2000317445697, 8.5, 33.214004569862));
#14270 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14230, #14240), (#14250, #14260)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-34.351, -0.649000000000001), (0.0568455845102518, 7.43557142754891), .UNSPECIFIED.);
#14280 = ADVANCED_FACE ('', (#14220), #14270, .F.);
#14290 = CARTESIAN_POINT ('', (35.1902172093354, 11., 33.3521694526913));
#14300 = VERTEX_POINT ('', #14290);
#14310 = CARTESIAN_POINT ('', (64.8298894146081, 11., 35.4247772370565));
#14320 = VERTEX_POINT ('', #14310);
#14330 = CARTESIAN_POINT ('', (35.1902172093354, 11., 33.3521694526913));
#14340 = DIRECTION ('', (29.6396722052727, 0., 2.0726077843652));
#14350 = VECTOR ('', #14340, 29.7120492639573);
#14360 = LINE ('', #14330, #14350);
#14370 = EDGE_CURVE ('', #14300, #14320, #14360, .T.);
#14380 = ORIENTED_EDGE ('', *, *, #14370, .F.);
#14390 = CARTESIAN_POINT ('', (34.9205481931432, 11., 32.9943065812019));
#14400 = VERTEX_POINT ('', #14390);
#14410 = CARTESIAN_POINT ('', (35.1902172093354, 11., 33.3521694526913));
#14420 = DIRECTION ('', (-0.269669016192204, 0., -0.357862871489402));
#14430 = VECTOR ('', #14420, 0.448092862122029);
#14440 = LINE ('', #14410, #14430);
#14450 = EDGE_CURVE ('', #14300, #14400, #14440, .T.);
#14460 = ORIENTED_EDGE ('', *, *, #14450, .T.);
#14470 = CARTESIAN_POINT ('', (35.5585398236375, 11., 33.0839704574847));
#14480 = VERTEX_POINT ('', #14470);
#14490 = CARTESIAN_POINT ('', (35.5585398236375, 11., 33.0839704574847));
#14500 = DIRECTION ('', (-0.637991630494305, 0., -0.0896638762828061));
#14510 = VECTOR ('', #14500, 0.644261539509259);
#14520 = LINE ('', #14490, #14510);
#14530 = EDGE_CURVE ('', #14480, #14400, #14520, .T.);
#14540 = ORIENTED_EDGE ('', *, *, #14530, .F.);
#14550 = CARTESIAN_POINT ('', (36.2529915924946, 11., 28.1426893677023));
#14560 = VERTEX_POINT ('', #14550);
#14570 = CARTESIAN_POINT ('', (36.2529915924946, 11., 28.1426893677023));
#14580 = DIRECTION ('', (-0.6944517688571, 0., 4.9412810897824));
#14590 = VECTOR ('', #14580, 4.98984188802711);
#14600 = LINE ('', #14570, #14590);
#14610 = EDGE_CURVE ('', #14560, #14480, #14600, .T.);
#14620 = ORIENTED_EDGE ('', *, *, #14610, .F.);
#14630 = CARTESIAN_POINT ('', (33.3810818949938, 11., 30.6392023799455));
#14640 = VERTEX_POINT ('', #14630);
#14650 = CARTESIAN_POINT ('', (33.3810818949938, 11., 30.6392023799455));
#14660 = DIRECTION ('', (2.8719096975008, 0., -2.4965130122432));
#14670 = VECTOR ('', #14660, 3.80531766491298);
#14680 = LINE ('', #14650, #14670);
#14690 = EDGE_CURVE ('', #14640, #14560, #14680, .T.);
#14700 = ORIENTED_EDGE ('', *, *, #14690, .F.);
#14710 = CARTESIAN_POINT ('', (33.7156734476812, 11., 25.8543202526475));
#14720 = VERTEX_POINT ('', #14710);
#14730 = CARTESIAN_POINT ('', (33.7156734476812, 11., 25.8543202526475));
#14740 = DIRECTION ('', (-0.334591552687399, 0., 4.784882127298));
#14750 = VECTOR ('', #14740, 4.79656632178328);
#14760 = LINE ('', #14730, #14750);
#14770 = EDGE_CURVE ('', #14720, #14640, #14760, .T.);
#14780 = ORIENTED_EDGE ('', *, *, #14770, .F.);
#14790 = CARTESIAN_POINT ('', (67.3335819414373, 11., 28.2051134178243));
#14800 = VERTEX_POINT ('', #14790);
#14810 = CARTESIAN_POINT ('', (67.3335819414373, 11., 28.2051134178243));
#14820 = DIRECTION ('', (-33.6179084937561, 0., -2.3507931651768));
#14830 = VECTOR ('', #14820, 33.7);
#14840 = LINE ('', #14810, #14830);
#14850 = EDGE_CURVE ('', #14800, #14720, #14840, .T.);
#14860 = ORIENTED_EDGE ('', *, *, #14850, .F.);
#14870 = CARTESIAN_POINT ('', (66.9989903887499, 11., 32.9899955451223));
#14880 = VERTEX_POINT ('', #14870);
#14890 = CARTESIAN_POINT ('', (67.3335819414373, 11., 28.2051134178243));
#14900 = DIRECTION ('', (-0.334591552687399, 0., 4.784882127298));
#14910 = VECTOR ('', #14900, 4.79656632178328);
#14920 = LINE ('', #14890, #14910);
#14930 = EDGE_CURVE ('', #14800, #14880, #14920, .T.);
#14940 = ORIENTED_EDGE ('', *, *, #14930, .T.);
#14950 = CARTESIAN_POINT ('', (64.5024773765066, 11., 30.1180858476216));
#14960 = VERTEX_POINT ('', #14950);
#14970 = CARTESIAN_POINT ('', (66.9989903887499, 11., 32.9899955451223));
#14980 = DIRECTION ('', (-2.4965130122433, 0., -2.8719096975007));
#14990 = VECTOR ('', #14980, 3.80531766491296);
#15000 = LINE ('', #14970, #14990);
#15010 = EDGE_CURVE ('', #14880, #14960, #15000, .T.);
#15020 = ORIENTED_EDGE ('', *, *, #15010, .T.);
#15030 = CARTESIAN_POINT ('', (64.5024773765066, 11., 35.1079277356487));
#15040 = VERTEX_POINT ('', #15030);
#15050 = CARTESIAN_POINT ('', (64.5024773765066, 11., 30.1180858476216));
#15060 = DIRECTION ('', (0., 0., 4.9898418880271));
#15070 = VECTOR ('', #15060, 4.9898418880271);
#15080 = LINE ('', #15050, #15070);
#15090 = EDGE_CURVE ('', #14960, #15040, #15080, .T.);
#15100 = ORIENTED_EDGE ('', *, *, #15090, .T.);
#15110 = CARTESIAN_POINT ('', (65.1467389160159, 11., 35.1079277356487));
#15120 = VERTEX_POINT ('', #15110);
#15130 = CARTESIAN_POINT ('', (64.5024773765066, 11., 35.1079277356487));
#15140 = DIRECTION ('', (0.644261539509301, 0., 0.));
#15150 = VECTOR ('', #15140, 0.644261539509301);
#15160 = LINE ('', #15130, #15150);
#15170 = EDGE_CURVE ('', #15040, #15120, #15160, .T.);
#15180 = ORIENTED_EDGE ('', *, *, #15170, .T.);
#15190 = CARTESIAN_POINT ('', (64.8298894146081, 11., 35.4247772370565));
#15200 = DIRECTION ('', (0.316849501407802, 0., -0.316849501407802));
#15210 = VECTOR ('', #15200, 0.448092862122067);
#15220 = LINE ('', #15190, #15210);
#15230 = EDGE_CURVE ('', #14320, #15120, #15220, .T.);
#15240 = ORIENTED_EDGE ('', *, *, #15230, .F.);
#15250 = EDGE_LOOP ('', (#14380, #14460, #14540, #14620, #14700, #14780, #14860, #14940, #15020, #15100, #15180, #15240));
#15260 = FACE_OUTER_BOUND ('', #15250, .F.);
#15270 = CARTESIAN_POINT ('', (33.7147456401047, 11., 25.8532529321235));
#15280 = CARTESIAN_POINT ('', (33.2000317445697, 11., 33.214004569862));
#15290 = CARTESIAN_POINT ('', (67.3346492619613, 11., 28.2041856102478));
#15300 = CARTESIAN_POINT ('', (66.8199353664263, 11., 35.5649372479863));
#15310 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15270, #15280), (#15290, #15300)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.649000000000001, 34.351), (0.0568455845102518, 7.43557142754891), .UNSPECIFIED.);
#15320 = ADVANCED_FACE ('', (#15260), #15310, .F.);
#15330 = ORIENTED_EDGE ('', *, *, #14850, .T.);
#15340 = CARTESIAN_POINT ('', (33.7156734476812, 11., 25.8543202526475));
#15350 = DIRECTION ('', (0., -2.5, 0.));
#15360 = VECTOR ('', #15350, 2.5);
#15370 = LINE ('', #15340, #15360);
#15380 = EDGE_CURVE ('', #14720, #13280, #15370, .T.);
#15390 = ORIENTED_EDGE ('', *, *, #15380, .T.);
#15400 = ORIENTED_EDGE ('', *, *, #13330, .F.);
#15410 = CARTESIAN_POINT ('', (67.3335819414373, 11., 28.2051134178243));
#15420 = DIRECTION ('', (0., -2.5, 0.));
#15430 = VECTOR ('', #15420, 2.5);
#15440 = LINE ('', #15410, #15430);
#15450 = EDGE_CURVE ('', #14800, #13260, #15440, .T.);
#15460 = ORIENTED_EDGE ('', *, *, #15450, .F.);
#15470 = EDGE_LOOP ('', (#15330, #15390, #15400, #15460));
#15480 = FACE_OUTER_BOUND ('', #15470, .F.);
#15490 = CARTESIAN_POINT ('', (67.3345795054875, 11.001, 28.205183174298));
#15500 = CARTESIAN_POINT ('', (67.3345795054875, 8.499, 28.205183174298));
#15510 = CARTESIAN_POINT ('', (33.7146758836309, 11.001, 25.8542504961738));
#15520 = CARTESIAN_POINT ('', (33.7146758836309, 8.499, 25.8542504961738));
#15530 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15490, #15500), (#15510, #15520)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.000999999999997669, 33.701), (-11.351, -8.849), .UNSPECIFIED.);
#15540 = ADVANCED_FACE ('', (#15480), #15530, .F.);
#15550 = ORIENTED_EDGE ('', *, *, #13810, .F.);
#15560 = CARTESIAN_POINT ('', (35.1902172093354, 8.5, 33.3521694526913));
#15570 = DIRECTION ('', (0., 2.5, 0.));
#15580 = VECTOR ('', #15570, 2.5);
#15590 = LINE ('', #15560, #15580);
#15600 = EDGE_CURVE ('', #13680, #14300, #15590, .T.);
#15610 = ORIENTED_EDGE ('', *, *, #15600, .T.);
#15620 = ORIENTED_EDGE ('', *, *, #14370, .T.);
#15630 = CARTESIAN_POINT ('', (64.8298894146081, 8.5, 35.4247772370565));
#15640 = DIRECTION ('', (0., 2.5, 0.));
#15650 = VECTOR ('', #15640, 2.5);
#15660 = LINE ('', #15630, #15650);
#15670 = EDGE_CURVE ('', #13760, #14320, #15660, .T.);
#15680 = ORIENTED_EDGE ('', *, *, #15670, .F.);
#15690 = EDGE_LOOP ('', (#15550, #15610, #15620, #15680));
#15700 = FACE_OUTER_BOUND ('', #15690, .F.);
#15710 = CARTESIAN_POINT ('', (35.1892196452851, 11.001, 33.3520996962175));
#15720 = CARTESIAN_POINT ('', (35.1892196452851, 8.499, 33.3520996962175));
#15730 = CARTESIAN_POINT ('', (64.8308869786584, 11.001, 35.4248469935302));
#15740 = CARTESIAN_POINT ('', (64.8308869786584, 8.499, 35.4248469935302));
#15750 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15710, #15720), (#15730, #15740)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-31.7070246319787, -1.99297536802133), (-11.351, -8.849), .UNSPECIFIED.);
#15760 = ADVANCED_FACE ('', (#15700), #15750, .F.);
#15770 = ORIENTED_EDGE ('', *, *, #13890, .T.);
#15780 = ORIENTED_EDGE ('', *, *, #15670, .T.);
#15790 = ORIENTED_EDGE ('', *, *, #15230, .T.);
#15800 = CARTESIAN_POINT ('', (65.1467389160159, 11., 35.1079277356487));
#15810 = DIRECTION ('', (0., -2.5, 0.));
#15820 = VECTOR ('', #15810, 2.5);
#15830 = LINE ('', #15800, #15820);
#15840 = EDGE_CURVE ('', #15120, #13840, #15830, .T.);
#15850 = ORIENTED_EDGE ('', *, *, #15840, .T.);
#15860 = EDGE_LOOP ('', (#15770, #15780, #15790, #15850));
#15870 = FACE_OUTER_BOUND ('', #15860, .F.);
#15880 = CARTESIAN_POINT ('', (64.8288918505579, 11.001, 35.4257748011067));
#15890 = CARTESIAN_POINT ('', (64.8288918505579, 8.499, 35.4257748011067));
#15900 = CARTESIAN_POINT ('', (65.1477364800661, 11.001, 35.1069301715985));
#15910 = CARTESIAN_POINT ('', (65.1477364800661, 8.499, 35.1069301715985));
#15920 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15880, #15890), (#15900, #15910)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141076860921352, 0.449503630731197), (2.89781440006741, 5.39981440006741), .UNSPECIFIED.);
#15930 = ADVANCED_FACE ('', (#15870), #15920, .F.);
#15940 = ORIENTED_EDGE ('', *, *, #15840, .F.);
#15950 = ORIENTED_EDGE ('', *, *, #15170, .F.);
#15960 = CARTESIAN_POINT ('', (67.5024773765066, 11.25, 35.1079277356487));
#15970 = VERTEX_POINT ('', #15960);
#15980 = CARTESIAN_POINT ('', (67.5024773765066, 11.25, 35.1079277356487));
#15990 = DIRECTION ('', (-3., -0.25, 0.));
#16000 = VECTOR ('', #15990, 3.01039864469807);
#16010 = LINE ('', #15980, #16000);
#16020 = EDGE_CURVE ('', #15970, #15040, #16010, .T.);
#16030 = ORIENTED_EDGE ('', *, *, #16020, .F.);
#16040 = CARTESIAN_POINT ('', (67.5024773765066, 8.25, 35.1079277356487));
#16050 = VERTEX_POINT ('', #16040);
#16060 = CARTESIAN_POINT ('', (67.5024773765066, 11.25, 35.1079277356487));
#16070 = DIRECTION ('', (0., -3., 0.));
#16080 = VECTOR ('', #16070, 3.);
#16090 = LINE ('', #16060, #16080);
#16100 = EDGE_CURVE ('', #15970, #16050, #16090, .T.);
#16110 = ORIENTED_EDGE ('', *, *, #16100, .T.);
#16120 = CARTESIAN_POINT ('', (67.5024773765066, 8.25, 35.1079277356487));
#16130 = DIRECTION ('', (-3., 0.25, 0.));
#16140 = VECTOR ('', #16130, 3.01039864469807);
#16150 = LINE ('', #16120, #16140);
#16160 = EDGE_CURVE ('', #16050, #13920, #16150, .T.);
#16170 = ORIENTED_EDGE ('', *, *, #16160, .T.);
#16180 = ORIENTED_EDGE ('', *, *, #13970, .T.);
#16190 = EDGE_LOOP ('', (#15940, #15950, #16030, #16110, #16170, #16180));
#16200 = FACE_OUTER_BOUND ('', #16190, .F.);
#16210 = CARTESIAN_POINT ('', (64.5014100559826, 11.251, 35.1079277356487));
#16220 = CARTESIAN_POINT ('', (64.5014100559826, 8.249, 35.1079277356487));
#16230 = CARTESIAN_POINT ('', (67.5035446970306, 11.251, 35.1079277356487));
#16240 = CARTESIAN_POINT ('', (67.5035446970306, 8.249, 35.1079277356487));
#16250 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16210, #16220), (#16230, #16240)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052401171, 3.001067320524), (2.64781440006741, 5.64981440006741), .UNSPECIFIED.);
#16260 = ADVANCED_FACE ('', (#16200), #16250, .F.);
#16270 = CARTESIAN_POINT ('', (66.9989903887499, 11., 32.9899955451223));
#16280 = DIRECTION ('', (0., -2.5, 0.));
#16290 = VECTOR ('', #16280, 2.5);
#16300 = LINE ('', #16270, #16290);
#16310 = EDGE_CURVE ('', #14880, #14080, #16300, .T.);
#16320 = ORIENTED_EDGE ('', *, *, #16310, .T.);
#16330 = ORIENTED_EDGE ('', *, *, #14130, .T.);
#16340 = CARTESIAN_POINT ('', (67.5024773765066, 8.25, 33.5691910692845));
#16350 = VERTEX_POINT ('', #16340);
#16360 = CARTESIAN_POINT ('', (64.5024773765066, 8.5, 30.1180858476216));
#16370 = DIRECTION ('', (3., -0.25, 3.4511052216629));
#16380 = VECTOR ('', #16370, 4.57958810931605);
#16390 = LINE ('', #16360, #16380);
#16400 = EDGE_CURVE ('', #14000, #16350, #16390, .T.);
#16410 = ORIENTED_EDGE ('', *, *, #16400, .T.);
#16420 = CARTESIAN_POINT ('', (67.5024773765066, 11.25, 33.5691910692845));
#16430 = VERTEX_POINT ('', #16420);
#16440 = CARTESIAN_POINT ('', (67.5024773765066, 11.25, 33.5691910692845));
#16450 = DIRECTION ('', (0., -3., 0.));
#16460 = VECTOR ('', #16450, 3.);
#16470 = LINE ('', #16440, #16460);
#16480 = EDGE_CURVE ('', #16430, #16350, #16470, .T.);
#16490 = ORIENTED_EDGE ('', *, *, #16480, .F.);
#16500 = CARTESIAN_POINT ('', (64.5024773765066, 11., 30.1180858476216));
#16510 = DIRECTION ('', (3., 0.25, 3.4511052216629));
#16520 = VECTOR ('', #16510, 4.57958810931605);
#16530 = LINE ('', #16500, #16520);
#16540 = EDGE_CURVE ('', #14960, #16430, #16530, .T.);
#16550 = ORIENTED_EDGE ('', *, *, #16540, .F.);
#16560 = ORIENTED_EDGE ('', *, *, #15010, .F.);
#16570 = EDGE_LOOP ('', (#16320, #16330, #16410, #16490, #16550, #16560));
#16580 = FACE_OUTER_BOUND ('', #16570, .F.);
#16590 = CARTESIAN_POINT ('', (67.5034051840831, 11.251, 33.5702583898085));
#16600 = CARTESIAN_POINT ('', (67.5034051840831, 8.24900000000001, 33.5702583898085));
#16610 = CARTESIAN_POINT ('', (64.5015495689301, 11.251, 30.1170185270975));
#16620 = CARTESIAN_POINT ('', (64.5015495689301, 8.24900000000001, 30.1170185270975));
#16630 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16590, #16600), (#16610, #16620)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.80673187847534, 0.768855808766777), (32.249, 35.251), .UNSPECIFIED.);
#16640 = ADVANCED_FACE ('', (#16580), #16630, .F.);
#16650 = ORIENTED_EDGE ('', *, *, #14930, .F.);
#16660 = ORIENTED_EDGE ('', *, *, #15450, .T.);
#16670 = ORIENTED_EDGE ('', *, *, #14190, .T.);
#16680 = ORIENTED_EDGE ('', *, *, #16310, .F.);
#16690 = EDGE_LOOP ('', (#16650, #16660, #16670, #16680));
#16700 = FACE_OUTER_BOUND ('', #16690, .F.);
#16710 = CARTESIAN_POINT ('', (67.333651697911, 11.001, 28.204115853774));
#16720 = CARTESIAN_POINT ('', (66.9989206322761, 11.001, 32.9909931091725));
#16730 = CARTESIAN_POINT ('', (67.333651697911, 8.49900000000001, 28.204115853774));
#16740 = CARTESIAN_POINT ('', (66.9989206322761, 8.49900000000001, 32.9909931091725));
#16750 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16710, #16720), (#16730, #16740)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-35.001, -32.499), (0.202433678216732, 5.001), .UNSPECIFIED.);
#16760 = ADVANCED_FACE ('', (#16700), #16750, .F.);
#16770 = ORIENTED_EDGE ('', *, *, #16480, .T.);
#16780 = CARTESIAN_POINT ('', (67.5024773765066, 8.25, 33.5691910692845));
#16790 = DIRECTION ('', (0., 0., 1.5387366663642));
#16800 = VECTOR ('', #16790, 1.5387366663642);
#16810 = LINE ('', #16780, #16800);
#16820 = EDGE_CURVE ('', #16350, #16050, #16810, .T.);
#16830 = ORIENTED_EDGE ('', *, *, #16820, .T.);
#16840 = ORIENTED_EDGE ('', *, *, #16100, .F.);
#16850 = CARTESIAN_POINT ('', (67.5024773765066, 11.25, 33.5691910692845));
#16860 = DIRECTION ('', (0., 0., 1.5387366663642));
#16870 = VECTOR ('', #16860, 1.5387366663642);
#16880 = LINE ('', #16850, #16870);
#16890 = EDGE_CURVE ('', #16430, #15970, #16880, .T.);
#16900 = ORIENTED_EDGE ('', *, *, #16890, .F.);
#16910 = EDGE_LOOP ('', (#16770, #16830, #16840, #16900));
#16920 = FACE_OUTER_BOUND ('', #16910, .F.);
#16930 = CARTESIAN_POINT ('', (67.5024773765066, 11.251, 35.1089950561727));
#16940 = CARTESIAN_POINT ('', (67.5024773765066, 8.24900000000001, 35.1089950561727));
#16950 = CARTESIAN_POINT ('', (67.5024773765066, 11.251, 33.5681237487605));
#16960 = CARTESIAN_POINT ('', (67.5024773765066, 8.24900000000001, 33.5681237487605));
#16970 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16930, #16940), (#16950, #16960)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.53980398688824, 0.0010673205240046), (32.249, 35.251), .UNSPECIFIED.);
#16980 = ADVANCED_FACE ('', (#16920), #16970, .F.);
#16990 = ORIENTED_EDGE ('', *, *, #16400, .F.);
#17000 = ORIENTED_EDGE ('', *, *, #14050, .T.);
#17010 = ORIENTED_EDGE ('', *, *, #16160, .F.);
#17020 = ORIENTED_EDGE ('', *, *, #16820, .F.);
#17030 = EDGE_LOOP ('', (#16990, #17000, #17010, #17020));
#17040 = FACE_OUTER_BOUND ('', #17030, .F.);
#17050 = CARTESIAN_POINT ('', (67.8340652327759, 8.22236767864423, 30.3485977271103));
#17060 = CARTESIAN_POINT ('', (67.4888835382258, 8.25113281985674, 35.3192059958236));
#17070 = CARTESIAN_POINT ('', (64.5015739930508, 8.50007528195465, 30.1155672388867));
#17080 = CARTESIAN_POINT ('', (64.1563922985007, 8.52884042316717, 35.0861755076));
#17090 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17050, #17060), (#17070, #17080)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.492130897891766, 2.86002103545232), (2.27575753352009, 7.25841991387482), .UNSPECIFIED.);
#17100 = ADVANCED_FACE ('', (#17040), #17090, .F.);
#17110 = ORIENTED_EDGE ('', *, *, #15090, .F.);
#17120 = ORIENTED_EDGE ('', *, *, #16540, .T.);
#17130 = ORIENTED_EDGE ('', *, *, #16890, .T.);
#17140 = ORIENTED_EDGE ('', *, *, #16020, .T.);
#17150 = EDGE_LOOP ('', (#17110, #17120, #17130, #17140));
#17160 = FACE_OUTER_BOUND ('', #17150, .F.);
#17170 = CARTESIAN_POINT ('', (64.5015739930508, 10.9999247180454, 30.1155672388867));
#17180 = CARTESIAN_POINT ('', (64.1563922985007, 10.9711595768328, 35.0861755076));
#17190 = CARTESIAN_POINT ('', (67.8340652327759, 11.2776323213558, 30.3485977271103));
#17200 = CARTESIAN_POINT ('', (67.4888835382258, 11.2488671801432, 35.3192059958236));
#17210 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17170, #17180), (#17190, #17200)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.492130897891766, 2.86002103545232), (2.27575753352009, 7.25841991387482), .UNSPECIFIED.);
#17220 = ADVANCED_FACE ('', (#17160), #17210, .F.);
#17230 = ORIENTED_EDGE ('', *, *, #13730, .F.);
#17240 = CARTESIAN_POINT ('', (34.9205481931432, 11., 32.9943065812019));
#17250 = DIRECTION ('', (0., -2.5, 0.));
#17260 = VECTOR ('', #17250, 2.5);
#17270 = LINE ('', #17240, #17260);
#17280 = EDGE_CURVE ('', #14400, #13600, #17270, .T.);
#17290 = ORIENTED_EDGE ('', *, *, #17280, .F.);
#17300 = ORIENTED_EDGE ('', *, *, #14450, .F.);
#17310 = ORIENTED_EDGE ('', *, *, #15600, .F.);
#17320 = EDGE_LOOP ('', (#17230, #17290, #17300, #17310));
#17330 = FACE_OUTER_BOUND ('', #17320, .F.);
#17340 = CARTESIAN_POINT ('', (35.1910662310786, 8.499, 33.353296142599));
#17350 = CARTESIAN_POINT ('', (35.1910662310786, 11.001, 33.353296142599));
#17360 = CARTESIAN_POINT ('', (34.9196991714, 8.499, 32.9931798912941));
#17370 = CARTESIAN_POINT ('', (34.9196991714, 11.001, 32.9931798912941));
#17380 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17340, #17350), (#17360, #17370)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141076860921352, 0.449503630731197), (-5.39981440006741, -2.89781440006741), .UNSPECIFIED.);
#17390 = ADVANCED_FACE ('', (#17330), #17380, .F.);
#17400 = ORIENTED_EDGE ('', *, *, #17280, .T.);
#17410 = ORIENTED_EDGE ('', *, *, #13650, .F.);
#17420 = CARTESIAN_POINT ('', (32.5877356174127, 8.25, 32.6664511546046));
#17430 = VERTEX_POINT ('', #17420);
#17440 = CARTESIAN_POINT ('', (32.5877356174127, 8.25, 32.6664511546046));
#17450 = DIRECTION ('', (2.97080420622481, 0.25, 0.417519302880102));
#17460 = VECTOR ('', #17450, 3.01039864469815);
#17470 = LINE ('', #17440, #17460);
#17480 = EDGE_CURVE ('', #17430, #13520, #17470, .T.);
#17490 = ORIENTED_EDGE ('', *, *, #17480, .F.);
#17500 = CARTESIAN_POINT ('', (32.5877356174127, 11.25, 32.6664511546046));
#17510 = VERTEX_POINT ('', #17500);
#17520 = CARTESIAN_POINT ('', (32.5877356174127, 11.25, 32.6664511546046));
#17530 = DIRECTION ('', (0., -3., 0.));
#17540 = VECTOR ('', #17530, 3.);
#17550 = LINE ('', #17520, #17540);
#17560 = EDGE_CURVE ('', #17510, #17430, #17550, .T.);
#17570 = ORIENTED_EDGE ('', *, *, #17560, .F.);
#17580 = CARTESIAN_POINT ('', (32.5877356174127, 11.25, 32.6664511546046));
#17590 = DIRECTION ('', (2.97080420622481, -0.25, 0.417519302880102));
#17600 = VECTOR ('', #17590, 3.01039864469815);
#17610 = LINE ('', #17580, #17600);
#17620 = EDGE_CURVE ('', #17510, #14480, #17610, .T.);
#17630 = ORIENTED_EDGE ('', *, *, #17620, .T.);
#17640 = ORIENTED_EDGE ('', *, *, #14530, .T.);
#17650 = EDGE_LOOP ('', (#17400, #17410, #17490, #17570, #17630, #17640));
#17660 = FACE_OUTER_BOUND ('', #17650, .F.);
#17670 = CARTESIAN_POINT ('', (35.5595967570715, 8.249, 33.0841189997918));
#17680 = CARTESIAN_POINT ('', (35.5595967570715, 11.251, 33.0841189997918));
#17690 = CARTESIAN_POINT ('', (32.5866786839787, 8.249, 32.6663026122975));
#17700 = CARTESIAN_POINT ('', (32.5866786839787, 11.251, 32.6663026122975));
#17710 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17670, #17680), (#17690, #17700)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052401526, 3.001067320524), (-5.64981440006741, -2.64781440006741), .UNSPECIFIED.);
#17720 = ADVANCED_FACE ('', (#17660), #17710, .F.);
#17730 = CARTESIAN_POINT ('', (33.3810818949938, 11., 30.6392023799455));
#17740 = DIRECTION ('', (0., -2.5, 0.));
#17750 = VECTOR ('', #17740, 2.5);
#17760 = LINE ('', #17730, #17750);
#17770 = EDGE_CURVE ('', #14640, #13360, #17760, .T.);
#17780 = ORIENTED_EDGE ('', *, *, #17770, .F.);
#17790 = ORIENTED_EDGE ('', *, *, #14690, .T.);
#17800 = CARTESIAN_POINT ('', (32.8018863708316, 11.25, 31.1426893677022));
#17810 = VERTEX_POINT ('', #17800);
#17820 = CARTESIAN_POINT ('', (36.2529915924946, 11., 28.1426893677023));
#17830 = DIRECTION ('', (-3.451105221663, 0.25, 2.9999999999999));
#17840 = VECTOR ('', #17830, 4.57958810931606);
#17850 = LINE ('', #17820, #17840);
#17860 = EDGE_CURVE ('', #14560, #17810, #17850, .T.);
#17870 = ORIENTED_EDGE ('', *, *, #17860, .T.);
#17880 = CARTESIAN_POINT ('', (32.8018863708316, 8.25, 31.1426893677022));
#17890 = VERTEX_POINT ('', #17880);
#17900 = CARTESIAN_POINT ('', (32.8018863708316, 11.25, 31.1426893677022));
#17910 = DIRECTION ('', (0., -3., 0.));
#17920 = VECTOR ('', #17910, 3.);
#17930 = LINE ('', #17900, #17920);
#17940 = EDGE_CURVE ('', #17810, #17890, #17930, .T.);
#17950 = ORIENTED_EDGE ('', *, *, #17940, .T.);
#17960 = CARTESIAN_POINT ('', (36.2529915924946, 8.5, 28.1426893677023));
#17970 = DIRECTION ('', (-3.451105221663, -0.25, 2.9999999999999));
#17980 = VECTOR ('', #17970, 4.57958810931606);
#17990 = LINE ('', #17960, #17980);
#18000 = EDGE_CURVE ('', #13440, #17890, #17990, .T.);
#18010 = ORIENTED_EDGE ('', *, *, #18000, .F.);
#18020 = ORIENTED_EDGE ('', *, *, #13490, .F.);
#18030 = EDGE_LOOP ('', (#17780, #17790, #17870, #17950, #18010, #18020));
#18040 = FACE_OUTER_BOUND ('', #18030, .F.);
#18050 = CARTESIAN_POINT ('', (32.8008190503076, 8.249, 31.1436171752787));
#18060 = CARTESIAN_POINT ('', (32.8008190503076, 11.251, 31.1436171752787));
#18070 = CARTESIAN_POINT ('', (36.2540589130186, 8.249, 28.1417615601258));
#18080 = CARTESIAN_POINT ('', (36.2540589130186, 11.251, 28.1417615601258));
#18090 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18050, #18060), (#18070, #18080)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.80673187847534, 0.768855808766777), (-35.251, -32.249), .UNSPECIFIED.);
#18100 = ADVANCED_FACE ('', (#18040), #18090, .F.);
#18110 = ORIENTED_EDGE ('', *, *, #14770, .T.);
#18120 = ORIENTED_EDGE ('', *, *, #17770, .T.);
#18130 = ORIENTED_EDGE ('', *, *, #13410, .F.);
#18140 = ORIENTED_EDGE ('', *, *, #15380, .F.);
#18150 = EDGE_LOOP ('', (#18110, #18120, #18130, #18140));
#18160 = FACE_OUTER_BOUND ('', #18150, .F.);
#18170 = CARTESIAN_POINT ('', (33.38101213852, 11.001, 30.6401999439957));
#18180 = CARTESIAN_POINT ('', (33.7157432041549, 11.001, 25.8533226885972));
#18190 = CARTESIAN_POINT ('', (33.38101213852, 8.499, 30.6401999439957));
#18200 = CARTESIAN_POINT ('', (33.7157432041549, 8.499, 25.8533226885972));
#18210 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18170, #18180), (#18190, #18200)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-35.001, -32.499), (-5.001, -0.202433678216732), .UNSPECIFIED.);
#18220 = ADVANCED_FACE ('', (#18160), #18210, .F.);
#18230 = ORIENTED_EDGE ('', *, *, #17940, .F.);
#18240 = CARTESIAN_POINT ('', (32.8018863708316, 11.25, 31.1426893677022));
#18250 = DIRECTION ('', (-0.214150753418906, 0., 1.5237617869024));
#18260 = VECTOR ('', #18250, 1.53873666636429);
#18270 = LINE ('', #18240, #18260);
#18280 = EDGE_CURVE ('', #17810, #17510, #18270, .T.);
#18290 = ORIENTED_EDGE ('', *, *, #18280, .T.);
#18300 = ORIENTED_EDGE ('', *, *, #17560, .T.);
#18310 = CARTESIAN_POINT ('', (32.8018863708316, 8.25, 31.1426893677022));
#18320 = DIRECTION ('', (-0.214150753418906, 0., 1.5237617869024));
#18330 = VECTOR ('', #18320, 1.53873666636429);
#18340 = LINE ('', #18310, #18330);
#18350 = EDGE_CURVE ('', #17890, #17430, #18340, .T.);
#18360 = ORIENTED_EDGE ('', *, *, #18350, .F.);
#18370 = EDGE_LOOP ('', (#18230, #18290, #18300, #18360));
#18380 = FACE_OUTER_BOUND ('', #18370, .F.);
#18390 = CARTESIAN_POINT ('', (32.5875870751057, 8.249, 32.6675080880386));
#18400 = CARTESIAN_POINT ('', (32.5875870751057, 11.251, 32.6675080880386));
#18410 = CARTESIAN_POINT ('', (32.8020349131386, 8.249, 31.1416324342682));
#18420 = CARTESIAN_POINT ('', (32.8020349131386, 11.251, 31.1416324342682));
#18430 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18390, #18400), (#18410, #18420)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.53980398688824, 0.0010673205240046), (-35.251, -32.249), .UNSPECIFIED.);
#18440 = ADVANCED_FACE ('', (#18380), #18430, .F.);
#18450 = ORIENTED_EDGE ('', *, *, #18000, .T.);
#18460 = ORIENTED_EDGE ('', *, *, #18350, .T.);
#18470 = ORIENTED_EDGE ('', *, *, #17480, .T.);
#18480 = ORIENTED_EDGE ('', *, *, #13570, .F.);
#18490 = EDGE_LOOP ('', (#18450, #18460, #18470, #18480));
#18500 = FACE_OUTER_BOUND ('', #18490, .F.);
#18510 = CARTESIAN_POINT ('', (32.5717929107599, 8.25113281985674, 32.8775651659026));
#18520 = CARTESIAN_POINT ('', (32.9217454671474, 8.22236767864423, 27.9072905083478));
#18530 = CARTESIAN_POINT ('', (35.904284150485, 8.52884042316716, 33.1105956541262));
#18540 = CARTESIAN_POINT ('', (36.2542367068725, 8.50007528195465, 28.1403209965714));
#18550 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18510, #18520), (#18530, #18540)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.492130897891762, 2.86002103545232), (-7.25841991387482, -2.27575753352009), .UNSPECIFIED.);
#18560 = ADVANCED_FACE ('', (#18500), #18550, .F.);
#18570 = ORIENTED_EDGE ('', *, *, #14610, .T.);
#18580 = ORIENTED_EDGE ('', *, *, #17620, .F.);
#18590 = ORIENTED_EDGE ('', *, *, #18280, .F.);
#18600 = ORIENTED_EDGE ('', *, *, #17860, .F.);
#18610 = EDGE_LOOP ('', (#18570, #18580, #18590, #18600));
#18620 = FACE_OUTER_BOUND ('', #18610, .F.);
#18630 = CARTESIAN_POINT ('', (35.904284150485, 10.9711595768328, 33.1105956541262));
#18640 = CARTESIAN_POINT ('', (36.2542367068724, 10.9999247180453, 28.1403209965714));
#18650 = CARTESIAN_POINT ('', (32.5717929107599, 11.2488671801433, 32.8775651659026));
#18660 = CARTESIAN_POINT ('', (32.9217454671473, 11.2776323213558, 27.9072905083478));
#18670 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18630, #18640), (#18650, #18660)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.492130897891762, 2.86002103545232), (-7.25841991387482, -2.27575753352009), .UNSPECIFIED.);
#18680 = ADVANCED_FACE ('', (#18620), #18670, .F.);
#18690 = CLOSED_SHELL ('', (#14280, #15320, #15540, #15760, #15930, #16260, #16640, #16760, #16980, #17100, #17220, #17390, #17720, #18100, #18220, #18440, #18560, #18680));
#18700 = MANIFOLD_SOLID_BREP ('CUT', #18690);
#18710 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#18720 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#18730 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#18740 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #18710, 'DISTANCE_ACCURACY_VALUE', '');
#18750 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#18740))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#18710, #18720, #18730))
   REPRESENTATION_CONTEXT ('', '3D')
);
#18760 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#18770 = FILL_AREA_STYLE_COLOUR ('', #18760);
#18780 = FILL_AREA_STYLE ('', (#18770));
#18790 = SURFACE_STYLE_FILL_AREA (#18780);
#18800 = SURFACE_SIDE_STYLE ('', (#18790));
#18810 = SURFACE_STYLE_USAGE (.POSITIVE., #18800);
#18820 = PRESENTATION_STYLE_ASSIGNMENT ((#18810));
#18830 = STYLED_ITEM ('', (#18820), #18700);
#18840 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#18700), #18750);
#18850 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#18860 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #18850);
#18870 = MECHANICAL_CONTEXT ('', #18850, 'mechanical');
#18880 = PRODUCT ('NONE', '', '', (#18870));
#18890 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#18900 = PERSON ('', '', $, $, $, $);
#18910 = ORGANIZATION ($, '', '');
#18920 = PERSON_AND_ORGANIZATION (#18900, #18910);
#18930 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18920, #18890, (#18880));
#18940 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#18880));
#18950 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #18880, .NOT_KNOWN.);
#18960 = APPROVAL_STATUS ('approved');
#18970 = APPROVAL (#18960, '');
#18980 = CALENDAR_DATE (2017, 25, 1);
#18990 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19000 = LOCAL_TIME (7, 25, 6., #18990);
#19010 = DATE_AND_TIME (#18980, #19000);
#19020 = APPROVAL_DATE_TIME (#19010, #18970);
#19030 = APPROVAL_ROLE ('');
#19040 = PERSON ('', '', $, $, $, $);
#19050 = ORGANIZATION ($, '', '');
#19060 = PERSON_AND_ORGANIZATION (#19040, #19050);
#19070 = APPROVAL_PERSON_ORGANIZATION (#19060, #18970, #19030);
#19080 = CC_DESIGN_APPROVAL (#18970, (#18950));
#19090 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#19100 = PERSON ('', '', $, $, $, $);
#19110 = ORGANIZATION ($, '', '');
#19120 = PERSON_AND_ORGANIZATION (#19100, #19110);
#19130 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19120, #19090, (#18950));
#19140 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#19150 = PERSON ('', '', $, $, $, $);
#19160 = ORGANIZATION ($, '', '');
#19170 = PERSON_AND_ORGANIZATION (#19150, #19160);
#19180 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19170, #19140, (#18950));
#19190 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#19200 = SECURITY_CLASSIFICATION ('', '', #19190);
#19210 = APPROVAL_STATUS ('approved');
#19220 = APPROVAL (#19210, '');
#19230 = CALENDAR_DATE (2017, 25, 1);
#19240 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19250 = LOCAL_TIME (7, 25, 6., #19240);
#19260 = DATE_AND_TIME (#19230, #19250);
#19270 = APPROVAL_DATE_TIME (#19260, #19220);
#19280 = APPROVAL_ROLE ('');
#19290 = PERSON ('', '', $, $, $, $);
#19300 = ORGANIZATION ($, '', '');
#19310 = PERSON_AND_ORGANIZATION (#19290, #19300);
#19320 = APPROVAL_PERSON_ORGANIZATION (#19310, #19220, #19280);
#19330 = CC_DESIGN_APPROVAL (#19220, (#19200));
#19340 = DATE_TIME_ROLE ('classification_date');
#19350 = CALENDAR_DATE (2017, 25, 1);
#19360 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19370 = LOCAL_TIME (7, 25, 6., #19360);
#19380 = DATE_AND_TIME (#19350, #19370);
#19390 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#19380, #19340, (#19200));
#19400 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#19410 = PERSON ('', '', $, $, $, $);
#19420 = ORGANIZATION ($, '', '');
#19430 = PERSON_AND_ORGANIZATION (#19410, #19420);
#19440 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19430, #19400, (#19200));
#19450 = CC_DESIGN_SECURITY_CLASSIFICATION (#19200, (#18950));
#19460 = DESIGN_CONTEXT ('', #18850, 'design');
#19470 = PRODUCT_DEFINITION ('', '', #18950, #19460);
#19480 = APPROVAL_STATUS ('approved');
#19490 = APPROVAL (#19480, '');
#19500 = CALENDAR_DATE (2017, 25, 1);
#19510 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19520 = LOCAL_TIME (7, 25, 6., #19510);
#19530 = DATE_AND_TIME (#19500, #19520);
#19540 = APPROVAL_DATE_TIME (#19530, #19490);
#19550 = APPROVAL_ROLE ('');
#19560 = PERSON ('', '', $, $, $, $);
#19570 = ORGANIZATION ($, '', '');
#19580 = PERSON_AND_ORGANIZATION (#19560, #19570);
#19590 = APPROVAL_PERSON_ORGANIZATION (#19580, #19490, #19550);
#19600 = CC_DESIGN_APPROVAL (#19490, (#19470));
#19610 = DATE_TIME_ROLE ('creation_date');
#19620 = CALENDAR_DATE (2017, 25, 1);
#19630 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19640 = LOCAL_TIME (7, 25, 6., #19630);
#19650 = DATE_AND_TIME (#19620, #19640);
#19660 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#19650, #19610, (#19470));
#19670 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#19680 = PERSON ('', '', $, $, $, $);
#19690 = ORGANIZATION ($, '', '');
#19700 = PERSON_AND_ORGANIZATION (#19680, #19690);
#19710 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19700, #19670, (#19470));
#19720 = PRODUCT_DEFINITION_SHAPE ('', '', #19470);
#19730 = SHAPE_DEFINITION_REPRESENTATION (#19720, #18840);
ENDSEC;
END-ISO-10303-21;