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

DATA;
#10 = CARTESIAN_POINT ('', (6.73555739531044E-16, 0., -6.73555739531044E-16));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (1.53791001119263E-15, -1.77635683940025E-15, 19.7));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (6.73555739531044E-16, 0., -6.73555739531044E-16));
#60 = DIRECTION ('', (8.64354271661586E-16, -1.77635683940025E-15, 19.7));
#70 = VECTOR ('', #60, 19.7);
#80 = LINE ('', #50, #70);
#90 = EDGE_CURVE ('', #20, #40, #80, .T.);
#100 = ORIENTED_EDGE ('', *, *, #90, .T.);
#110 = CARTESIAN_POINT ('', (30., 0., 19.7));
#120 = VERTEX_POINT ('', #110);
#130 = CARTESIAN_POINT ('', (1.53791001119263E-15, -1.77635683940025E-15, 19.7));
#140 = DIRECTION ('', (30., 1.77635683940025E-15, 0.));
#150 = VECTOR ('', #140, 30.);
#160 = LINE ('', #130, #150);
#170 = EDGE_CURVE ('', #40, #120, #160, .T.);
#180 = ORIENTED_EDGE ('', *, *, #170, .T.);
#190 = CARTESIAN_POINT ('', (30., 0., 27.3));
#200 = VERTEX_POINT ('', #190);
#210 = CARTESIAN_POINT ('', (30., 0., 27.3));
#220 = DIRECTION ('', (0., 0., -7.6));
#230 = VECTOR ('', #220, 7.6);
#240 = LINE ('', #210, #230);
#250 = EDGE_CURVE ('', #200, #120, #240, .T.);
#260 = ORIENTED_EDGE ('', *, *, #250, .F.);
#270 = CARTESIAN_POINT ('', (1.87136648147831E-15, -1.77635683940025E-15, 27.3));
#280 = VERTEX_POINT ('', #270);
#290 = CARTESIAN_POINT ('', (30., 0., 27.3));
#300 = DIRECTION ('', (-30., -1.77635683940025E-15, 0.));
#310 = VECTOR ('', #300, 30.);
#320 = LINE ('', #290, #310);
#330 = EDGE_CURVE ('', #200, #280, #320, .T.);
#340 = ORIENTED_EDGE ('', *, *, #330, .T.);
#350 = CARTESIAN_POINT ('', (2.56021734772637E-15, -1.77635683940025E-15, 43.));
#360 = VERTEX_POINT ('', #350);
#370 = CARTESIAN_POINT ('', (1.87136648147831E-15, -1.77635683940025E-15, 27.3));
#380 = DIRECTION ('', (6.8885086624806E-16, 0., 15.7));
#390 = VECTOR ('', #380, 15.7);
#400 = LINE ('', #370, #390);
#410 = EDGE_CURVE ('', #280, #360, #400, .T.);
#420 = ORIENTED_EDGE ('', *, *, #410, .T.);
#430 = CARTESIAN_POINT ('', (35.5, 0., 43.));
#440 = VERTEX_POINT ('', #430);
#450 = CARTESIAN_POINT ('', (2.56021734772637E-15, -1.77635683940025E-15, 43.));
#460 = DIRECTION ('', (35.5, 1.77635683940025E-15, 0.));
#470 = VECTOR ('', #460, 35.5);
#480 = LINE ('', #450, #470);
#490 = EDGE_CURVE ('', #360, #440, #480, .T.);
#500 = ORIENTED_EDGE ('', *, *, #490, .T.);
#510 = CARTESIAN_POINT ('', (35.5, 0., 35.));
#520 = VERTEX_POINT ('', #510);
#530 = CARTESIAN_POINT ('', (35.5, 0., 35.));
#540 = DIRECTION ('', (0., 0., 8.));
#550 = VECTOR ('', #540, 8.);
#560 = LINE ('', #530, #550);
#570 = EDGE_CURVE ('', #520, #440, #560, .T.);
#580 = ORIENTED_EDGE ('', *, *, #570, .F.);
#590 = CARTESIAN_POINT ('', (51.4987230433217, 3.5527136788005E-15, 12.0222218196395));
#600 = VERTEX_POINT ('', #590);
#610 = CARTESIAN_POINT ('', (60., 5.44052702799588E-15, 35.));
#620 = DIRECTION ('', (2.22062327673302E-16, -1., 0.));
#630 = DIRECTION ('', (-1., -2.22062327673302E-16, 1.16006977266955E-15));
#640 = AXIS2_PLACEMENT_3D ('', #610, #620, #630);
#650 = CIRCLE ('', #640, 24.5);
#660 = EDGE_CURVE ('', #520, #600, #650, .T.);
#670 = ORIENTED_EDGE ('', *, *, #660, .T.);
#680 = CARTESIAN_POINT ('', (43.2364817766692, 1.77635683940025E-15, 2.3339488668826));
#690 = VERTEX_POINT ('', #680);
#700 = CARTESIAN_POINT ('', (41.4999999999999, -1.24486455148806E-15, 12.1820263970047));
#710 = DIRECTION ('', (-4.76258101942393E-16, 1., 2.22805706917199E-16));
#720 = DIRECTION ('', (0.999872304332174, 4.79757823028854E-16, -0.0159804577365219));
#730 = AXIS2_PLACEMENT_3D ('', #700, #710, #720);
#740 = CIRCLE ('', #730, 10.);
#750 = EDGE_CURVE ('', #600, #690, #740, .T.);
#760 = ORIENTED_EDGE ('', *, *, #750, .T.);
#770 = CARTESIAN_POINT ('', (30., 1.77635683940025E-15, -9.15057963323752E-15));
#780 = VERTEX_POINT ('', #770);
#790 = CARTESIAN_POINT ('', (30., 1.77635683940025E-15, -9.15057963323752E-15));
#800 = DIRECTION ('', (13.2364817766692, 0., 2.33394886688261));
#810 = VECTOR ('', #800, 13.4406758437706);
#820 = LINE ('', #790, #810);
#830 = EDGE_CURVE ('', #780, #690, #820, .T.);
#840 = ORIENTED_EDGE ('', *, *, #830, .F.);
#850 = CARTESIAN_POINT ('', (30., 1.77635683940025E-15, -9.15057963323752E-15));
#860 = DIRECTION ('', (-30., -1.77635683940025E-15, 8.47702389370648E-15));
#870 = VECTOR ('', #860, 30.);
#880 = LINE ('', #850, #870);
#890 = EDGE_CURVE ('', #780, #20, #880, .T.);
#900 = ORIENTED_EDGE ('', *, *, #890, .T.);
#910 = EDGE_LOOP ('', (#100, #180, #260, #340, #420, #500, #580, #670, #760, #840, #900));
#920 = FACE_OUTER_BOUND ('', #910, .F.);
#930 = CARTESIAN_POINT ('', (51.4997230433217, 3.5527136788005E-15, -0.00100000000000915));
#940 = CARTESIAN_POINT ('', (51.4997230433217, 1.77635683940025E-15, 43.001));
#950 = CARTESIAN_POINT ('', (-0.000999999999997669, 2.3455419310206E-31, -0.00100000000000915));
#960 = CARTESIAN_POINT ('', (-0.000999999999997669, -1.77635683940025E-15, 43.001));
#970 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#930, #940), (#950, #960)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-51.501, -0.000276956678270324), (-0.00100000000000217, 43.001), .UNSPECIFIED.);
#980 = ADVANCED_FACE ('', (#920), #970, .F.);
#990 = CARTESIAN_POINT ('', (46., 11., 35.1623200320368));
#1000 = VERTEX_POINT ('', #990);
#1010 = CARTESIAN_POINT ('', (27.1803824090508, 11., 33.8463241719058));
#1020 = VERTEX_POINT ('', #1010);
#1030 = CARTESIAN_POINT ('', (46., 11., 35.1623200320368));
#1040 = DIRECTION ('', (-18.8196175909492, 0., -1.315995860131));
#1050 = VECTOR ('', #1040, 18.8655731790329);
#1060 = LINE ('', #1030, #1050);
#1070 = EDGE_CURVE ('', #1000, #1020, #1060, .T.);
#1080 = ORIENTED_EDGE ('', *, *, #1070, .T.);
#1090 = CARTESIAN_POINT ('', (27.1803824090508, 7.9, 33.8463241719058));
#1100 = VERTEX_POINT ('', #1090);
#1110 = CARTESIAN_POINT ('', (27.1803824090508, 7.9, 33.8463241719058));
#1120 = DIRECTION ('', (0., 3.1, 0.));
#1130 = VECTOR ('', #1120, 3.1);
#1140 = LINE ('', #1110, #1130);
#1150 = EDGE_CURVE ('', #1100, #1020, #1140, .T.);
#1160 = ORIENTED_EDGE ('', *, *, #1150, .F.);
#1170 = CARTESIAN_POINT ('', (35.5900370616517, 7.9, 34.434384511308));
#1180 = VERTEX_POINT ('', #1170);
#1190 = CARTESIAN_POINT ('', (35.5900370616517, 7.9, 34.434384511308));
#1200 = DIRECTION ('', (-8.4096546526009, 0., -0.588060339402197));
#1210 = VECTOR ('', #1200, 8.4301901721604);
#1220 = LINE ('', #1190, #1210);
#1230 = EDGE_CURVE ('', #1180, #1100, #1220, .T.);
#1240 = ORIENTED_EDGE ('', *, *, #1230, .F.);
#1250 = CARTESIAN_POINT ('', (36.5053540754712, 8.5, 34.4983897120021));
#1260 = VERTEX_POINT ('', #1250);
#1270 = CARTESIAN_POINT ('', (36.5053540754712, 8.5, 34.4983897120021));
#1280 = CARTESIAN_POINT ('', (36.3106338786179, 8.5, 34.4847735494151));
#1290 = CARTESIAN_POINT ('', (36.1198937532647, 8.44244308108535, 34.4714357005395));
#1300 = CARTESIAN_POINT ('', (35.7976470219772, 8.23144347665741, 34.4489020139613));
#1310 = CARTESIAN_POINT ('', (35.6669131023333, 8.07638320202038, 34.4397602077478));
#1320 = CARTESIAN_POINT ('', (35.5900370616517, 7.9, 34.434384511308));
#1330 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#1270, #1280, #1290, #1300, #1310, #1320), .UNSPECIFIED., .F., .U., (4, 2, 4), (0.000670943618028656, 0.00124812895148474, 0.00182531428494082), .UNSPECIFIED.);
#1340 = EDGE_CURVE ('', #1260, #1180, #1330, .T.);
#1350 = ORIENTED_EDGE ('', *, *, #1340, .F.);
#1360 = CARTESIAN_POINT ('', (46., 8.5, 35.1623200320368));
#1370 = VERTEX_POINT ('', #1360);
#1380 = CARTESIAN_POINT ('', (46., 8.5, 35.1623200320368));
#1390 = DIRECTION ('', (-9.4946459245288, 0., -0.663930320034702));
#1400 = VECTOR ('', #1390, 9.51783088219331);
#1410 = LINE ('', #1380, #1400);
#1420 = EDGE_CURVE ('', #1370, #1260, #1410, .T.);
#1430 = ORIENTED_EDGE ('', *, *, #1420, .F.);
#1440 = CARTESIAN_POINT ('', (46., 8.5, 35.1623200320368));
#1450 = DIRECTION ('', (0., 2.5, 0.));
#1460 = VECTOR ('', #1450, 2.5);
#1470 = LINE ('', #1440, #1460);
#1480 = EDGE_CURVE ('', #1370, #1000, #1470, .T.);
#1490 = ORIENTED_EDGE ('', *, *, #1480, .T.);
#1500 = EDGE_LOOP ('', (#1080, #1160, #1240, #1350, #1430, #1490));
#1510 = FACE_OUTER_BOUND ('', #1500, .F.);
#1520 = CARTESIAN_POINT ('', (46.0010647205848, 11.001, 35.1623944845529));
#1530 = CARTESIAN_POINT ('', (46.0010647205848, 7.899, 35.1623944845529));
#1540 = CARTESIAN_POINT ('', (27.1793176884659, 11.001, 33.8462497193897));
#1550 = CARTESIAN_POINT ('', (27.1793176884659, 7.899, 33.8462497193897));
#1560 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1520, #1530), (#1540, #1550)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-5.2257623971202, 13.6419454229608), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#1570 = ADVANCED_FACE ('', (#1510), #1560, .F.);
#1580 = CARTESIAN_POINT ('', (51.5, 11., 30.2540242758574));
#1590 = VERTEX_POINT ('', #1580);
#1600 = CARTESIAN_POINT ('', (51.5, 11., 12.1820263970047));
#1610 = VERTEX_POINT ('', #1600);
#1620 = CARTESIAN_POINT ('', (51.5, 11., 30.2540242758574));
#1630 = DIRECTION ('', (0., 0., -18.0719978788527));
#1640 = VECTOR ('', #1630, 18.0719978788527);
#1650 = LINE ('', #1620, #1640);
#1660 = EDGE_CURVE ('', #1590, #1610, #1650, .T.);
#1670 = ORIENTED_EDGE ('', *, *, #1660, .T.);
#1680 = CARTESIAN_POINT ('', (51.5, 8.02719929435198, 12.1820263970038));
#1690 = VERTEX_POINT ('', #1680);
#1700 = CARTESIAN_POINT ('', (51.5, 11., 12.1820263970047));
#1710 = DIRECTION ('', (0., -2.97280070564802, -9.00612917575927E-13));
#1720 = VECTOR ('', #1710, 2.97280070564802);
#1730 = LINE ('', #1700, #1720);
#1740 = EDGE_CURVE ('', #1610, #1690, #1730, .T.);
#1750 = ORIENTED_EDGE ('', *, *, #1740, .T.);
#1760 = CARTESIAN_POINT ('', (51.5, 8.5, 13.0910976997934));
#1770 = VERTEX_POINT ('', #1760);
#1780 = CARTESIAN_POINT ('', (51.5, 8.02719929435198, 12.1820263970038));
#1790 = CARTESIAN_POINT ('', (51.5, 8.17518521814126, 12.2800037263805));
#1800 = CARTESIAN_POINT ('', (51.5, 8.29660588405214, 12.4193425576415));
#1810 = CARTESIAN_POINT ('', (51.5, 8.45795686112197, 12.7347314030676));
#1820 = CARTESIAN_POINT ('', (51.5, 8.5, 12.9119898367543));
#1830 = CARTESIAN_POINT ('', (51.5, 8.5, 13.0910976997934));
#1840 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#1780, #1790, #1800, #1810, #1820, #1830), .UNSPECIFIED., .F., .U., (4, 2, 4), (0.000556447457284869, 0.00108686455803367, 0.00161728165878247), .UNSPECIFIED.);
#1850 = EDGE_CURVE ('', #1690, #1770, #1840, .T.);
#1860 = ORIENTED_EDGE ('', *, *, #1850, .T.);
#1870 = CARTESIAN_POINT ('', (51.5, 8.5, 30.2540242758574));
#1880 = VERTEX_POINT ('', #1870);
#1890 = CARTESIAN_POINT ('', (51.5, 8.5, 30.2540242758574));
#1900 = DIRECTION ('', (0., 0., -17.162926576064));
#1910 = VECTOR ('', #1900, 17.162926576064);
#1920 = LINE ('', #1890, #1910);
#1930 = EDGE_CURVE ('', #1880, #1770, #1920, .T.);
#1940 = ORIENTED_EDGE ('', *, *, #1930, .F.);
#1950 = CARTESIAN_POINT ('', (51.5, 8.5, 30.2540242758574));
#1960 = DIRECTION ('', (0., 2.5, 0.));
#1970 = VECTOR ('', #1960, 2.5);
#1980 = LINE ('', #1950, #1970);
#1990 = EDGE_CURVE ('', #1880, #1590, #1980, .T.);
#2000 = ORIENTED_EDGE ('', *, *, #1990, .T.);
#2010 = EDGE_LOOP ('', (#1670, #1750, #1860, #1940, #2000));
#2020 = FACE_OUTER_BOUND ('', #2010, .F.);
#2030 = CARTESIAN_POINT ('', (51.5, 11.001, 12.1810263970038));
#2040 = CARTESIAN_POINT ('', (51.5, 11.001, 30.2550242758574));
#2050 = CARTESIAN_POINT ('', (51.5, 8.02619929435198, 12.1810263970038));
#2060 = CARTESIAN_POINT ('', (51.5, 8.02619929435198, 30.2550242758574));
#2070 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2030, #2040), (#2050, #2060)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (8.02619929435198, 11.001), (12.1810263970038, 30.2550242758574), .UNSPECIFIED.);
#2080 = ADVANCED_FACE ('', (#2020), #2070, .F.);
#2090 = CARTESIAN_POINT ('', (37.2130565963728, 8.5, 29.2549838712245));
#2100 = VERTEX_POINT ('', #2090);
#2110 = CARTESIAN_POINT ('', (37.2130565963728, 8.5, 29.2549838712245));
#2120 = DIRECTION ('', (14.2869434036272, 0., 0.9990404046329));
#2130 = VECTOR ('', #2120, 14.3218306633103);
#2140 = LINE ('', #2110, #2130);
#2150 = EDGE_CURVE ('', #2100, #1880, #2140, .T.);
#2160 = ORIENTED_EDGE ('', *, *, #2150, .T.);
#2170 = ORIENTED_EDGE ('', *, *, #1930, .T.);
#2180 = CARTESIAN_POINT ('', (60.0000000000001, 8.49999999999998, 35.));
#2190 = DIRECTION ('', (5.53687320575361E-16, 1., 5.14898883345935E-16));
#2200 = DIRECTION ('', (-0.361702127659577, 6.80306874663923E-16, -0.93229371490241));
#2210 = AXIS2_PLACEMENT_3D ('', #2180, #2190, #2200);
#2220 = CIRCLE ('', #2210, 23.5000000000001);
#2230 = EDGE_CURVE ('', #1770, #2100, #2220, .T.);
#2240 = ORIENTED_EDGE ('', *, *, #2230, .T.);
#2250 = EDGE_LOOP ('', (#2160, #2170, #2240));
#2260 = FACE_OUTER_BOUND ('', #2250, .F.);
#2270 = CARTESIAN_POINT ('', (51.501, 8.5, 13.0900976997933));
#2280 = CARTESIAN_POINT ('', (51.501, 8.5, 30.2550242758574));
#2290 = CARTESIAN_POINT ('', (37.2120565963728, 8.5, 13.0900976997933));
#2300 = CARTESIAN_POINT ('', (37.2120565963728, 8.5, 30.2550242758574));
#2310 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2270, #2280), (#2290, #2300)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (8.499, 22.7879434036272), (-21.9099023002066, -4.74497572414257), .UNSPECIFIED.);
#2320 = ADVANCED_FACE ('', (#2260), #2310, .F.);
#2330 = ORIENTED_EDGE ('', *, *, #890, .F.);
#2340 = CARTESIAN_POINT ('', (30., 11., -8.22350325627448E-15));
#2350 = VERTEX_POINT ('', #2340);
#2360 = CARTESIAN_POINT ('', (30., 1.77635683940025E-15, -9.15057963323752E-15));
#2370 = DIRECTION ('', (0., 11., 9.2707637696304E-16));
#2380 = VECTOR ('', #2370, 11.);
#2390 = LINE ('', #2360, #2380);
#2400 = EDGE_CURVE ('', #780, #2350, #2390, .T.);
#2410 = ORIENTED_EDGE ('', *, *, #2400, .T.);
#2420 = CARTESIAN_POINT ('', (0., 11., 0.));
#2430 = VERTEX_POINT ('', #2420);
#2440 = CARTESIAN_POINT ('', (30., 11., -8.22350325627448E-15));
#2450 = DIRECTION ('', (-30., 0., 8.22350325627448E-15));
#2460 = VECTOR ('', #2450, 30.);
#2470 = LINE ('', #2440, #2460);
#2480 = EDGE_CURVE ('', #2350, #2430, #2470, .T.);
#2490 = ORIENTED_EDGE ('', *, *, #2480, .T.);
#2500 = CARTESIAN_POINT ('', (6.73555739531044E-16, 0., -6.73555739531044E-16));
#2510 = DIRECTION ('', (-6.73555739531044E-16, 11., 6.73555739531044E-16));
#2520 = VECTOR ('', #2510, 11.);
#2530 = LINE ('', #2500, #2520);
#2540 = EDGE_CURVE ('', #20, #2430, #2530, .T.);
#2550 = ORIENTED_EDGE ('', *, *, #2540, .F.);
#2560 = EDGE_LOOP ('', (#2330, #2410, #2490, #2550));
#2570 = FACE_OUTER_BOUND ('', #2560, .F.);
#2580 = CARTESIAN_POINT ('', (30.001, 11.001, -3.67400162978202E-15));
#2590 = CARTESIAN_POINT ('', (30.001, -0.000999999999997669, -4.34767983399298E-15));
#2600 = CARTESIAN_POINT ('', (-0.00100000000000122, 11.001, 1.83697019871012E-19));
#2610 = CARTESIAN_POINT ('', (-0.00100000000000122, -0.000999999999997669, -6.73494507191088E-16));
#2620 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2580, #2590), (#2600, #2610)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000122, 30.001), (-11.001, 0.000999999999999446), .UNSPECIFIED.);
#2630 = ADVANCED_FACE ('', (#2570), #2620, .F.);
#2640 = CARTESIAN_POINT ('', (1.88666160819533E-15, 11., 43.));
#2650 = VERTEX_POINT ('', #2640);
#2660 = CARTESIAN_POINT ('', (0., 11., 0.));
#2670 = DIRECTION ('', (1.88666160819533E-15, 0., 43.));
#2680 = VECTOR ('', #2670, 43.);
#2690 = LINE ('', #2660, #2680);
#2700 = EDGE_CURVE ('', #2430, #2650, #2690, .T.);
#2710 = ORIENTED_EDGE ('', *, *, #2700, .T.);
#2720 = CARTESIAN_POINT ('', (2.56021734772637E-15, -1.77635683940025E-15, 43.));
#2730 = DIRECTION ('', (-6.7355573953104E-16, 11., 0.));
#2740 = VECTOR ('', #2730, 11.);
#2750 = LINE ('', #2720, #2740);
#2760 = EDGE_CURVE ('', #360, #2650, #2750, .T.);
#2770 = ORIENTED_EDGE ('', *, *, #2760, .F.);
#2780 = ORIENTED_EDGE ('', *, *, #410, .F.);
#2790 = CARTESIAN_POINT ('', (-9.61347737330673E-16, -0.300000000000001, 27.));
#2800 = VERTEX_POINT ('', #2790);
#2810 = CARTESIAN_POINT ('', (4.16137239347187E-15, -0.300000000000012, 27.3));
#2820 = DIRECTION ('', (-1., -6.12323399573638E-17, 4.38758513533982E-17));
#2830 = DIRECTION ('', (-6.12323399573654E-17, 1., -3.55271367880034E-14));
#2840 = AXIS2_PLACEMENT_3D ('', #2810, #2820, #2830);
#2850 = CIRCLE ('', #2840, 0.300000000000015);
#2860 = EDGE_CURVE ('', #280, #2800, #2850, .T.);
#2870 = ORIENTED_EDGE ('', *, *, #2860, .T.);
#2880 = CARTESIAN_POINT ('', (-8.26636589424464E-16, -2.5, 27.));
#2890 = VERTEX_POINT ('', #2880);
#2900 = CARTESIAN_POINT ('', (-8.26636589424464E-16, -2.5, 27.));
#2910 = DIRECTION ('', (-1.34711147906209E-16, 2.2, 0.));
#2920 = VECTOR ('', #2910, 2.2);
#2930 = LINE ('', #2900, #2920);
#2940 = EDGE_CURVE ('', #2890, #2800, #2930, .T.);
#2950 = ORIENTED_EDGE ('', *, *, #2940, .F.);
#2960 = CARTESIAN_POINT ('', (8.26636589424463E-16, -2.5, 20.));
#2970 = VERTEX_POINT ('', #2960);
#2980 = CARTESIAN_POINT ('', (8.26636589424463E-16, -2.5, 20.));
#2990 = DIRECTION ('', (-1.65327317884893E-15, 0., 7.));
#3000 = VECTOR ('', #2990, 7.);
#3010 = LINE ('', #2980, #3000);
#3020 = EDGE_CURVE ('', #2970, #2890, #3010, .T.);
#3030 = ORIENTED_EDGE ('', *, *, #3020, .F.);
#3040 = CARTESIAN_POINT ('', (6.91925441518255E-16, -0.300000000000001, 20.));
#3050 = VERTEX_POINT ('', #3040);
#3060 = CARTESIAN_POINT ('', (8.26636589424463E-16, -2.5, 20.));
#3070 = DIRECTION ('', (-1.34711147906208E-16, 2.2, 0.));
#3080 = VECTOR ('', #3070, 2.2);
#3090 = LINE ('', #3060, #3080);
#3100 = EDGE_CURVE ('', #2970, #3050, #3090, .T.);
#3110 = ORIENTED_EDGE ('', *, *, #3100, .T.);
#3120 = CARTESIAN_POINT ('', (4.16137239347187E-15, -0.299999999999997, 19.7));
#3130 = DIRECTION ('', (-1., -6.12323399573678E-17, 4.38758513533665E-17));
#3140 = DIRECTION ('', (4.38758513533672E-17, -1.18423789293351E-14, 1.));
#3150 = AXIS2_PLACEMENT_3D ('', #3120, #3130, #3140);
#3160 = CIRCLE ('', #3150, 0.299999999999998);
#3170 = EDGE_CURVE ('', #3050, #40, #3160, .T.);
#3180 = ORIENTED_EDGE ('', *, *, #3170, .T.);
#3190 = ORIENTED_EDGE ('', *, *, #90, .F.);
#3200 = ORIENTED_EDGE ('', *, *, #2540, .T.);
#3210 = EDGE_LOOP ('', (#2710, #2770, #2780, #2870, #2950, #3030, #3110, #3180, #3190, #3200));
#3220 = FACE_OUTER_BOUND ('', #3210, .F.);
#3230 = CARTESIAN_POINT ('', (-1.05108191311361E-19, 11.001, -0.000999999999997669));
#3240 = CARTESIAN_POINT ('', (8.26653945913067E-16, -2.501, -0.000999999999998496));
#3250 = CARTESIAN_POINT ('', (1.88664425170673E-15, 11.001, 43.001));
#3260 = CARTESIAN_POINT ('', (2.71340330581111E-15, -2.501, 43.001));
#3270 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3230, #3240), (#3250, #3260)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.000999999999997669, 43.001), (-11.001, 2.501), .UNSPECIFIED.);
#3280 = ADVANCED_FACE ('', (#3220), #3270, .F.);
#3290 = CARTESIAN_POINT ('', (34.5110848835941, 11., 43.));
#3300 = VERTEX_POINT ('', #3290);
#3310 = CARTESIAN_POINT ('', (1.88666160819533E-15, 11., 43.));
#3320 = DIRECTION ('', (34.5110848835941, 0., 0.));
#3330 = VECTOR ('', #3320, 34.5110848835941);
#3340 = LINE ('', #3310, #3330);
#3350 = EDGE_CURVE ('', #2650, #3300, #3340, .T.);
#3360 = ORIENTED_EDGE ('', *, *, #3350, .T.);
#3370 = CARTESIAN_POINT ('', (34.5110848835941, 8., 43.));
#3380 = VERTEX_POINT ('', #3370);
#3390 = CARTESIAN_POINT ('', (34.5110848835941, 8., 43.));
#3400 = DIRECTION ('', (0., 3., 0.));
#3410 = VECTOR ('', #3400, 3.);
#3420 = LINE ('', #3390, #3410);
#3430 = EDGE_CURVE ('', #3380, #3300, #3420, .T.);
#3440 = ORIENTED_EDGE ('', *, *, #3430, .F.);
#3450 = CARTESIAN_POINT ('', (35.5000153170303, 7.50553478328189, 43.));
#3460 = VERTEX_POINT ('', #3450);
#3470 = CARTESIAN_POINT ('', (35.5000153170303, 7.50553478328189, 43.));
#3480 = DIRECTION ('', (-0.988930433436195, 0.49446521671811, 0.));
#3490 = VECTOR ('', #3480, 1.10565783709084);
#3500 = LINE ('', #3470, #3490);
#3510 = EDGE_CURVE ('', #3460, #3380, #3500, .T.);
#3520 = ORIENTED_EDGE ('', *, *, #3510, .F.);
#3530 = CARTESIAN_POINT ('', (35.5, 7.5, 43.));
#3540 = VERTEX_POINT ('', #3530);
#3550 = CARTESIAN_POINT ('', (36.4999999998645, 7.50000000000059, 42.9999999988546));
#3560 = DIRECTION ('', (1.14540103073271E-9, -2.06035349062553E-12, 1.));
#3570 = DIRECTION ('', (-0.999984682969705, 0.00553478328205191, 1.14539489020048E-9));
#3580 = AXIS2_PLACEMENT_3D ('', #3550, #3560, #3570);
#3590 = CIRCLE ('', #3580, 0.999999999864506);
#3600 = EDGE_CURVE ('', #3460, #3540, #3590, .T.);
#3610 = ORIENTED_EDGE ('', *, *, #3600, .T.);
#3620 = CARTESIAN_POINT ('', (35.5, 7.5, 43.));
#3630 = DIRECTION ('', (0., -7.5, 0.));
#3640 = VECTOR ('', #3630, 7.5);
#3650 = LINE ('', #3620, #3640);
#3660 = EDGE_CURVE ('', #3540, #440, #3650, .T.);
#3670 = ORIENTED_EDGE ('', *, *, #3660, .T.);
#3680 = ORIENTED_EDGE ('', *, *, #490, .F.);
#3690 = ORIENTED_EDGE ('', *, *, #2760, .T.);
#3700 = EDGE_LOOP ('', (#3360, #3440, #3520, #3610, #3670, #3680, #3690));
#3710 = FACE_OUTER_BOUND ('', #3700, .F.);
#3720 = CARTESIAN_POINT ('', (-0.000999999999998342, 11.001, 43.));
#3730 = CARTESIAN_POINT ('', (-0.000999999999997669, -0.00100000000000122, 43.));
#3740 = CARTESIAN_POINT ('', (35.5010153170303, 11.001, 43.));
#3750 = CARTESIAN_POINT ('', (35.5010153170303, -0.00100000000000122, 43.));
#3760 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3720, #3730), (#3740, #3750)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-35.5010153170303, 0.001), (-11.001, 0.000999999999999446), .UNSPECIFIED.);
#3770 = ADVANCED_FACE ('', (#3710), #3760, .F.);
#3780 = CARTESIAN_POINT ('', (29.0450426658094, 11., 28.6838206971501));
#3790 = VERTEX_POINT ('', #3780);
#3800 = CARTESIAN_POINT ('', (51.5, 11., 30.2540242758574));
#3810 = DIRECTION ('', (-22.4549573341906, 0., -1.5702035787073));
#3820 = VECTOR ('', #3810, 22.5097900514177);
#3830 = LINE ('', #3800, #3820);
#3840 = EDGE_CURVE ('', #1590, #3790, #3830, .T.);
#3850 = ORIENTED_EDGE ('', *, *, #3840, .T.);
#3860 = CARTESIAN_POINT ('', (28.9208761425449, 11., 30.4594847066126));
#3870 = VERTEX_POINT ('', #3860);
#3880 = CARTESIAN_POINT ('', (28.9208761425449, 11., 30.4594847066126));
#3890 = DIRECTION ('', (0.124166523264503, 0., -1.7756640094625));
#3900 = VECTOR ('', #3890, 1.78000000000001);
#3910 = LINE ('', #3880, #3900);
#3920 = EDGE_CURVE ('', #3870, #3790, #3910, .T.);
#3930 = ORIENTED_EDGE ('', *, *, #3920, .F.);
#3940 = CARTESIAN_POINT ('', (27.4245300671552, 11., 30.3548499959964));
#3950 = VERTEX_POINT ('', #3940);
#3960 = CARTESIAN_POINT ('', (27.4245300671552, 11., 30.3548499959964));
#3970 = DIRECTION ('', (1.4963460753897, 0., 0.1046347106162));
#3980 = VECTOR ('', #3970, 1.49999999999996);
#3990 = LINE ('', #3960, #3980);
#4000 = EDGE_CURVE ('', #3950, #3870, #3990, .T.);
#4010 = ORIENTED_EDGE ('', *, *, #4000, .F.);
#4020 = CARTESIAN_POINT ('', (27.1803824090508, 11., 33.8463241719058));
#4030 = DIRECTION ('', (0.244147658104399, 0., -3.4914741759094));
#4040 = VECTOR ('', #4030, 3.50000000000001);
#4050 = LINE ('', #4020, #4040);
#4060 = EDGE_CURVE ('', #1020, #3950, #4050, .T.);
#4070 = ORIENTED_EDGE ('', *, *, #4060, .F.);
#4080 = ORIENTED_EDGE ('', *, *, #1070, .F.);
#4090 = CARTESIAN_POINT ('', (43.615461869021, 11., 37.5468581630158));
#4100 = VERTEX_POINT ('', #4090);
#4110 = CARTESIAN_POINT ('', (43.615461869021, 11., 37.5468581630158));
#4120 = DIRECTION ('', (2.384538130979, 0., -2.384538130979));
#4130 = VECTOR ('', #4120, 3.37224616482629);
#4140 = LINE ('', #4110, #4130);
#4150 = EDGE_CURVE ('', #4100, #1000, #4140, .T.);
#4160 = ORIENTED_EDGE ('', *, *, #4150, .F.);
#4170 = CARTESIAN_POINT ('', (42.5799279630882, 11., 38.3414512760053));
#4180 = VERTEX_POINT ('', #4170);
#4190 = CARTESIAN_POINT ('', (40.0799279630885, 11., 34.0113242570835));
#4200 = DIRECTION ('', (0., -1., 0.));
#4210 = DIRECTION ('', (0.707106781186558, 0., 0.707106781186537));
#4220 = AXIS2_PLACEMENT_3D ('', #4190, #4200, #4210);
#4230 = CIRCLE ('', #4220, 4.99999999999952);
#4240 = EDGE_CURVE ('', #4100, #4180, #4230, .T.);
#4250 = ORIENTED_EDGE ('', *, *, #4240, .T.);
#4260 = CARTESIAN_POINT ('', (34.5110848835941, 11., 43.));
#4270 = DIRECTION ('', (8.0688430794941, 0., -4.6585487239947));
#4280 = VECTOR ('', #4270, 9.3170974479895);
#4290 = LINE ('', #4260, #4280);
#4300 = EDGE_CURVE ('', #3300, #4180, #4290, .T.);
#4310 = ORIENTED_EDGE ('', *, *, #4300, .F.);
#4320 = ORIENTED_EDGE ('', *, *, #3350, .F.);
#4330 = ORIENTED_EDGE ('', *, *, #2700, .F.);
#4340 = ORIENTED_EDGE ('', *, *, #2480, .F.);
#4350 = CARTESIAN_POINT ('', (43.2364817766692, 11., 2.33394886688261));
#4360 = VERTEX_POINT ('', #4350);
#4370 = CARTESIAN_POINT ('', (43.2364817766692, 11., 2.33394886688261));
#4380 = DIRECTION ('', (-13.2364817766692, 0., -2.33394886688262));
#4390 = VECTOR ('', #4380, 13.4406758437706);
#4400 = LINE ('', #4370, #4390);
#4410 = EDGE_CURVE ('', #4360, #2350, #4400, .T.);
#4420 = ORIENTED_EDGE ('', *, *, #4410, .F.);
#4430 = CARTESIAN_POINT ('', (41.4999999999999, 11., 12.1820263970048));
#4440 = DIRECTION ('', (0., -1., 0.));
#4450 = DIRECTION ('', (0.173648177666925, 0., -0.984807753012209));
#4460 = AXIS2_PLACEMENT_3D ('', #4430, #4440, #4450);
#4470 = CIRCLE ('', #4460, 10.0000000000001);
#4480 = EDGE_CURVE ('', #4360, #1610, #4470, .T.);
#4490 = ORIENTED_EDGE ('', *, *, #4480, .T.);
#4500 = ORIENTED_EDGE ('', *, *, #1660, .F.);
#4510 = EDGE_LOOP ('', (#3850, #3930, #4010, #4070, #4080, #4160, #4250, #4310, #4320, #4330, #4340, #4420, #4490, #4500));
#4520 = FACE_OUTER_BOUND ('', #4510, .F.);
#4530 = CARTESIAN_POINT ('', (-0.000999999999997669, 11., -0.00100000000000844));
#4540 = CARTESIAN_POINT ('', (-0.000999999999997669, 11., 43.001));
#4550 = CARTESIAN_POINT ('', (51.501, 11., -0.00100000000000844));
#4560 = CARTESIAN_POINT ('', (51.501, 11., 43.001));
#4570 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4530, #4540), (#4550, #4560)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-51.501, 0.000999999999997669), (-0.00100000000000213, 43.001), .UNSPECIFIED.);
#4580 = ADVANCED_FACE ('', (#4520), #4570, .F.);
#4590 = CARTESIAN_POINT ('', (42.5799279630882, 8.5, 38.3414512760053));
#4600 = VERTEX_POINT ('', #4590);
#4610 = CARTESIAN_POINT ('', (36.5, 8.5, 41.8516993221477));
#4620 = VERTEX_POINT ('', #4610);
#4630 = CARTESIAN_POINT ('', (42.5799279630882, 8.5, 38.3414512760053));
#4640 = DIRECTION ('', (-6.0799279630882, 0., 3.5102480461424));
#4650 = VECTOR ('', #4640, 7.02049609228496);
#4660 = LINE ('', #4630, #4650);
#4670 = EDGE_CURVE ('', #4600, #4620, #4660, .T.);
#4680 = ORIENTED_EDGE ('', *, *, #4670, .F.);
#4690 = CARTESIAN_POINT ('', (43.615461869021, 8.5, 37.5468581630158));
#4700 = VERTEX_POINT ('', #4690);
#4710 = CARTESIAN_POINT ('', (40.0799279630882, 8.5, 34.011324257083));
#4720 = DIRECTION ('', (0., 1., 0.));
#4730 = DIRECTION ('', (0.499999999999998, 0., 0.86602540378444));
#4740 = AXIS2_PLACEMENT_3D ('', #4710, #4720, #4730);
#4750 = CIRCLE ('', #4740, 5.0000000000001);
#4760 = EDGE_CURVE ('', #4600, #4700, #4750, .T.);
#4770 = ORIENTED_EDGE ('', *, *, #4760, .T.);
#4780 = CARTESIAN_POINT ('', (46., 8.5, 35.1623200320368));
#4790 = DIRECTION ('', (-2.384538130979, 0., 2.384538130979));
#4800 = VECTOR ('', #4790, 3.37224616482629);
#4810 = LINE ('', #4780, #4800);
#4820 = EDGE_CURVE ('', #1370, #4700, #4810, .T.);
#4830 = ORIENTED_EDGE ('', *, *, #4820, .F.);
#4840 = ORIENTED_EDGE ('', *, *, #1420, .T.);
#4850 = CARTESIAN_POINT ('', (36.5, 8.5, 35.));
#4860 = VERTEX_POINT ('', #4850);
#4870 = CARTESIAN_POINT ('', (59.9999999999491, 8.5, 35.0000000000011));
#4880 = DIRECTION ('', (0., 1., 0.));
#4890 = DIRECTION ('', (-0.999772167001221, 0., -0.0213451186383007));
#4900 = AXIS2_PLACEMENT_3D ('', #4870, #4880, #4890);
#4910 = CIRCLE ('', #4900, 23.4999999999491);
#4920 = EDGE_CURVE ('', #1260, #4860, #4910, .T.);
#4930 = ORIENTED_EDGE ('', *, *, #4920, .T.);
#4940 = CARTESIAN_POINT ('', (36.5, 8.5, 35.));
#4950 = DIRECTION ('', (0., 0., 6.8516993221477));
#4960 = VECTOR ('', #4950, 6.8516993221477);
#4970 = LINE ('', #4940, #4960);
#4980 = EDGE_CURVE ('', #4860, #4620, #4970, .T.);
#4990 = ORIENTED_EDGE ('', *, *, #4980, .T.);
#5000 = EDGE_LOOP ('', (#4680, #4770, #4830, #4840, #4930, #4990));
#5010 = FACE_OUTER_BOUND ('', #5000, .F.);
#5020 = CARTESIAN_POINT ('', (46.001, 8.5, 34.4973897120021));
#5030 = CARTESIAN_POINT ('', (46.001, 8.5, 41.8526993221477));
#5040 = CARTESIAN_POINT ('', (36.499, 8.5, 34.4973897120021));
#5050 = CARTESIAN_POINT ('', (36.499, 8.5, 41.8526993221477));
#5060 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5020, #5030), (#5040, #5050)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (13.999, 23.501), (-0.502610287997918, 6.85269932214774), .UNSPECIFIED.);
#5070 = ADVANCED_FACE ('', (#5010), #5060, .F.);
#5080 = CARTESIAN_POINT ('', (35.5, 7.5, 35.));
#5090 = VERTEX_POINT ('', #5080);
#5100 = CARTESIAN_POINT ('', (51.4987230433217, 7.5, 12.0222218196395));
#5110 = VERTEX_POINT ('', #5100);
#5120 = CARTESIAN_POINT ('', (60., 7.5, 35.));
#5130 = DIRECTION ('', (0., -1., 0.));
#5140 = DIRECTION ('', (-1., 0., 1.45008721583694E-15));
#5150 = AXIS2_PLACEMENT_3D ('', #5120, #5130, #5140);
#5160 = CIRCLE ('', #5150, 24.5);
#5170 = EDGE_CURVE ('', #5090, #5110, #5160, .T.);
#5180 = ORIENTED_EDGE ('', *, *, #5170, .T.);
#5190 = CARTESIAN_POINT ('', (51.4987230433217, 7.5, 12.0222218196395));
#5200 = DIRECTION ('', (0., -7.5, 0.));
#5210 = VECTOR ('', #5200, 7.5);
#5220 = LINE ('', #5190, #5210);
#5230 = EDGE_CURVE ('', #5110, #600, #5220, .T.);
#5240 = ORIENTED_EDGE ('', *, *, #5230, .T.);
#5250 = ORIENTED_EDGE ('', *, *, #660, .F.);
#5260 = CARTESIAN_POINT ('', (35.5, 7.5, 35.));
#5270 = DIRECTION ('', (0., -7.5, 0.));
#5280 = VECTOR ('', #5270, 7.5);
#5290 = LINE ('', #5260, #5280);
#5300 = EDGE_CURVE ('', #5090, #520, #5290, .T.);
#5310 = ORIENTED_EDGE ('', *, *, #5300, .F.);
#5320 = EDGE_LOOP ('', (#5180, #5240, #5250, #5310));
#5330 = FACE_OUTER_BOUND ('', #5320, .F.);
#5340 = CARTESIAN_POINT ('', (35.5, 8.2512, 35.));
#5350 = CARTESIAN_POINT ('', (35.5, -0.751199999999999, 35.));
#5360 = CARTESIAN_POINT ('', (35.5, 8.2512, 10.5));
#5370 = CARTESIAN_POINT ('', (35.5, -0.751199999999999, 10.5));
#5380 = CARTESIAN_POINT ('', (60., 8.2512, 10.5));
#5390 = CARTESIAN_POINT ('', (60., -0.751199999999999, 10.5));
#5400 = CARTESIAN_POINT ('', (84.5, 8.2512, 10.5000000000001));
#5410 = CARTESIAN_POINT ('', (84.5, -0.751199999999999, 10.5000000000001));
#5420 = CARTESIAN_POINT ('', (84.5, 8.2512, 35.0000000000001));
#5430 = CARTESIAN_POINT ('', (84.5, -0.751199999999999, 35.0000000000001));
#5440 = CARTESIAN_POINT ('', (84.5, 8.2512, 59.5));
#5450 = CARTESIAN_POINT ('', (84.5, -0.751199999999999, 59.5));
#5460 = CARTESIAN_POINT ('', (60., 8.2512, 59.5));
#5470 = CARTESIAN_POINT ('', (60., -0.751199999999999, 59.5));
#5480 = CARTESIAN_POINT ('', (35.5, 8.2512, 59.5));
#5490 = CARTESIAN_POINT ('', (35.5, -0.751199999999999, 59.5));
#5500 = CARTESIAN_POINT ('', (35.5, 8.2512, 35.));
#5510 = CARTESIAN_POINT ('', (35.5, -0.751199999999999, 35.));
#5520 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#5340, #5350), (#5360, #5370), (#5380, #5390), (#5400, #5410), (#5420, #5430), (#5440, #5450), (#5460, #5470), (#5480, #5490), (#5500, #5510)), .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 ('')
);
#5530 = ADVANCED_FACE ('', (#5330), #5520, .F.);
#5540 = ORIENTED_EDGE ('', *, *, #3660, .F.);
#5550 = CARTESIAN_POINT ('', (35.5, 7.5, 43.));
#5560 = DIRECTION ('', (0., 0., -8.));
#5570 = VECTOR ('', #5560, 8.);
#5580 = LINE ('', #5550, #5570);
#5590 = EDGE_CURVE ('', #3540, #5090, #5580, .T.);
#5600 = ORIENTED_EDGE ('', *, *, #5590, .T.);
#5610 = ORIENTED_EDGE ('', *, *, #5300, .T.);
#5620 = ORIENTED_EDGE ('', *, *, #570, .T.);
#5630 = EDGE_LOOP ('', (#5540, #5600, #5610, #5620));
#5640 = FACE_OUTER_BOUND ('', #5630, .F.);
#5650 = CARTESIAN_POINT ('', (35.5, 7.501, 34.999));
#5660 = CARTESIAN_POINT ('', (35.5, 7.501, 43.001));
#5670 = CARTESIAN_POINT ('', (35.5, -0.000999999999997669, 34.999));
#5680 = CARTESIAN_POINT ('', (35.5, -0.000999999999997669, 43.001));
#5690 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5650, #5660), (#5670, #5680)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-26.3895438199983, -18.8875438199983), (-8.00100000000001, 0.000999999999997669), .UNSPECIFIED.);
#5700 = ADVANCED_FACE ('', (#5640), #5690, .F.);
#5710 = CARTESIAN_POINT ('', (36.2847946399073, 7.9, 29.1900734719605));
#5720 = VERTEX_POINT ('', #5710);
#5730 = CARTESIAN_POINT ('', (36.2847946399073, 7.9, 29.1900734719605));
#5740 = CARTESIAN_POINT ('', (36.3643847715255, 8.08016028341422, 29.1956389561267));
#5750 = CARTESIAN_POINT ('', (36.496210086322, 8.23238009494539, 29.2048570801238));
#5760 = CARTESIAN_POINT ('', (36.8233107538159, 8.44297536536719, 29.2277301869863));
#5770 = CARTESIAN_POINT ('', (37.0192859130405, 8.5, 29.241434105091));
#5780 = CARTESIAN_POINT ('', (37.2130565963728, 8.5, 29.2549838712245));
#5790 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#5730, #5740, #5750, #5760, #5770, #5780), .UNSPECIFIED., .F., .U., (4, 2, 4), (2.1558554542507E-7, 0.000582854299045224, 0.00116549301254502), .UNSPECIFIED.);
#5800 = EDGE_CURVE ('', #5720, #2100, #5790, .T.);
#5810 = ORIENTED_EDGE ('', *, *, #5800, .T.);
#5820 = ORIENTED_EDGE ('', *, *, #2230, .F.);
#5830 = ORIENTED_EDGE ('', *, *, #1850, .F.);
#5840 = CARTESIAN_POINT ('', (51.5, 8.02719929435198, 12.1820263970038));
#5850 = CARTESIAN_POINT ('', (51.5, 7.87072077631985, 12.0784263591831));
#5860 = CARTESIAN_POINT ('', (51.4987230433217, 7.68772968529225, 12.0222218196395));
#5870 = CARTESIAN_POINT ('', (51.4987230433217, 7.5, 12.0222218196395));
#5880 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#5840, #5850, #5860, #5870), .UNSPECIFIED., .F., .U., (4, 4), (3.63057202857077E-16, 0.000555212744702193), .UNSPECIFIED.);
#5890 = EDGE_CURVE ('', #1690, #5110, #5880, .T.);
#5900 = ORIENTED_EDGE ('', *, *, #5890, .T.);
#5910 = ORIENTED_EDGE ('', *, *, #5170, .F.);
#5920 = CARTESIAN_POINT ('', (36.5, 7.5, 35.));
#5930 = DIRECTION ('', (0., 0., 1.));
#5940 = DIRECTION ('', (0., 1., 0.));
#5950 = AXIS2_PLACEMENT_3D ('', #5920, #5930, #5940);
#5960 = CIRCLE ('', #5950, 1.);
#5970 = EDGE_CURVE ('', #4860, #5090, #5960, .T.);
#5980 = ORIENTED_EDGE ('', *, *, #5970, .F.);
#5990 = ORIENTED_EDGE ('', *, *, #4920, .F.);
#6000 = ORIENTED_EDGE ('', *, *, #1340, .T.);
#6010 = CARTESIAN_POINT ('', (59.9999999999965, 7.89999999999991, 34.9999999999994));
#6020 = DIRECTION ('', (3.77145704511304E-15, 1., 3.51381190045954E-16));
#6030 = DIRECTION ('', (-0.971277236947765, 3.74674177327771E-15, -0.23795068604044));
#6040 = AXIS2_PLACEMENT_3D ('', #6010, #6020, #6030);
#6050 = CIRCLE ('', #6040, 24.4165151389877);
#6060 = EDGE_CURVE ('', #5720, #1180, #6050, .T.);
#6070 = ORIENTED_EDGE ('', *, *, #6060, .F.);
#6080 = EDGE_LOOP ('', (#5810, #5820, #5830, #5900, #5910, #5980, #5990, #6000, #6070));
#6090 = FACE_OUTER_BOUND ('', #6080, .F.);
#6100 = CARTESIAN_POINT ('', (35.5, 7.5, 35.));
#6110 = CARTESIAN_POINT ('', (35.5, 6.5, 35.));
#6120 = CARTESIAN_POINT ('', (36.5, 6.5, 35.));
#6130 = CARTESIAN_POINT ('', (37.5, 6.5, 35.));
#6140 = CARTESIAN_POINT ('', (37.5, 7.5, 35.));
#6150 = CARTESIAN_POINT ('', (37.5, 8.5, 35.));
#6160 = CARTESIAN_POINT ('', (36.5, 8.5, 35.));
#6170 = CARTESIAN_POINT ('', (35.5, 8.5, 35.));
#6180 = CARTESIAN_POINT ('', (35.5, 7.5, 35.));
#6190 = CARTESIAN_POINT ('', (35.5, 7.5, 10.5));
#6200 = CARTESIAN_POINT ('', (35.5, 6.5, 10.5));
#6210 = CARTESIAN_POINT ('', (36.5, 6.5, 11.5));
#6220 = CARTESIAN_POINT ('', (37.5, 6.5, 12.5));
#6230 = CARTESIAN_POINT ('', (37.5, 7.5, 12.5));
#6240 = CARTESIAN_POINT ('', (37.5, 8.5, 12.5));
#6250 = CARTESIAN_POINT ('', (36.5, 8.5, 11.5));
#6260 = CARTESIAN_POINT ('', (35.5, 8.5, 10.5));
#6270 = CARTESIAN_POINT ('', (35.5, 7.5, 10.5));
#6280 = CARTESIAN_POINT ('', (60., 7.5, 10.5));
#6290 = CARTESIAN_POINT ('', (60., 6.5, 10.5));
#6300 = CARTESIAN_POINT ('', (60., 6.5, 11.5));
#6310 = CARTESIAN_POINT ('', (60., 6.5, 12.5));
#6320 = CARTESIAN_POINT ('', (60., 7.5, 12.5));
#6330 = CARTESIAN_POINT ('', (60., 8.5, 12.5));
#6340 = CARTESIAN_POINT ('', (60., 8.5, 11.5));
#6350 = CARTESIAN_POINT ('', (60., 8.5, 10.5));
#6360 = CARTESIAN_POINT ('', (60., 7.5, 10.5));
#6370 = CARTESIAN_POINT ('', (84.5, 7.5, 10.5));
#6380 = CARTESIAN_POINT ('', (84.5, 6.5, 10.5));
#6390 = CARTESIAN_POINT ('', (83.5, 6.5, 11.5));
#6400 = CARTESIAN_POINT ('', (82.5, 6.5, 12.5));
#6410 = CARTESIAN_POINT ('', (82.5, 7.5, 12.5));
#6420 = CARTESIAN_POINT ('', (82.5, 8.5, 12.5));
#6430 = CARTESIAN_POINT ('', (83.5, 8.5, 11.5));
#6440 = CARTESIAN_POINT ('', (84.5, 8.5, 10.5));
#6450 = CARTESIAN_POINT ('', (84.5, 7.5, 10.5));
#6460 = CARTESIAN_POINT ('', (84.5, 7.5, 35.));
#6470 = CARTESIAN_POINT ('', (84.5, 6.5, 35.));
#6480 = CARTESIAN_POINT ('', (83.5, 6.5, 35.));
#6490 = CARTESIAN_POINT ('', (82.5, 6.5, 35.));
#6500 = CARTESIAN_POINT ('', (82.5, 7.5, 35.));
#6510 = CARTESIAN_POINT ('', (82.5, 8.5, 35.));
#6520 = CARTESIAN_POINT ('', (83.5, 8.5, 35.));
#6530 = CARTESIAN_POINT ('', (84.5, 8.5, 35.));
#6540 = CARTESIAN_POINT ('', (84.5, 7.5, 35.));
#6550 = CARTESIAN_POINT ('', (84.5, 7.5, 59.5));
#6560 = CARTESIAN_POINT ('', (84.5, 6.5, 59.5));
#6570 = CARTESIAN_POINT ('', (83.5, 6.5, 58.5000000000001));
#6580 = CARTESIAN_POINT ('', (82.5, 6.5, 57.5));
#6590 = CARTESIAN_POINT ('', (82.5, 7.5, 57.5));
#6600 = CARTESIAN_POINT ('', (82.5, 8.5, 57.5));
#6610 = CARTESIAN_POINT ('', (83.5, 8.5, 58.5000000000001));
#6620 = CARTESIAN_POINT ('', (84.5, 8.5, 59.5));
#6630 = CARTESIAN_POINT ('', (84.5, 7.5, 59.5));
#6640 = CARTESIAN_POINT ('', (60., 7.5, 59.5));
#6650 = CARTESIAN_POINT ('', (60., 6.5, 59.5));
#6660 = CARTESIAN_POINT ('', (60., 6.5, 58.5));
#6670 = CARTESIAN_POINT ('', (60., 6.5, 57.5));
#6680 = CARTESIAN_POINT ('', (60., 7.5, 57.5));
#6690 = CARTESIAN_POINT ('', (60., 8.5, 57.5));
#6700 = CARTESIAN_POINT ('', (60., 8.5, 58.5));
#6710 = CARTESIAN_POINT ('', (60., 8.5, 59.5));
#6720 = CARTESIAN_POINT ('', (60., 7.5, 59.5));
#6730 = CARTESIAN_POINT ('', (35.5, 7.5, 59.5));
#6740 = CARTESIAN_POINT ('', (35.5, 6.5, 59.5));
#6750 = CARTESIAN_POINT ('', (36.5, 6.5, 58.5));
#6760 = CARTESIAN_POINT ('', (37.5, 6.5, 57.5));
#6770 = CARTESIAN_POINT ('', (37.5, 7.5, 57.5));
#6780 = CARTESIAN_POINT ('', (37.5, 8.5, 57.5));
#6790 = CARTESIAN_POINT ('', (36.5, 8.5, 58.5));
#6800 = CARTESIAN_POINT ('', (35.5, 8.5, 59.5));
#6810 = CARTESIAN_POINT ('', (35.5, 7.5, 59.5));
#6820 = CARTESIAN_POINT ('', (35.5, 7.5, 35.));
#6830 = CARTESIAN_POINT ('', (35.5, 6.5, 35.));
#6840 = CARTESIAN_POINT ('', (36.5, 6.5, 35.));
#6850 = CARTESIAN_POINT ('', (37.5, 6.5, 35.));
#6860 = CARTESIAN_POINT ('', (37.5, 7.5, 35.));
#6870 = CARTESIAN_POINT ('', (37.5, 8.5, 35.));
#6880 = CARTESIAN_POINT ('', (36.5, 8.5, 35.));
#6890 = CARTESIAN_POINT ('', (35.5, 8.5, 35.));
#6900 = CARTESIAN_POINT ('', (35.5, 7.5, 35.));
#6910 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 2, ((#6100, #6110, #6120, #6130, #6140, #6150, #6160, #6170, #6180), (#6190, #6200, #6210, #6220, #6230, #6240, #6250, #6260, #6270), (#6280, #6290, #6300, #6310, #6320, #6330, #6340, #6350, #6360), (#6370, #6380, #6390, #6400, #6410, #6420, #6430, #6440, #6450), (#6460, #6470, #6480, #6490, #6500, #6510, #6520, #6530, #6540), (#6550, #6560, #6570, #6580, #6590, #6600, #6610, #6620, #6630), (#6640, #6650, #6660, #6670, #6680, #6690, #6700, #6710, #6720), (#6730, #6740, #6750, #6760, #6770, #6780, #6790, #6800, #6810), (#6820, #6830, #6840, #6850, #6860, #6870, #6880, #6890, #6900)), .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 ('')
);
#6920 = ADVANCED_FACE ('', (#6090), #6910, .F.);
#6930 = CARTESIAN_POINT ('', (35.6339745962156, 8., 42.3516993221477));
#6940 = VERTEX_POINT ('', #6930);
#6950 = CARTESIAN_POINT ('', (35.6339745962156, 8., 42.3516993221477));
#6960 = CARTESIAN_POINT ('', (35.5466507706793, 7.84875069745988, 42.5767634074003));
#6970 = CARTESIAN_POINT ('', (35.5009819539297, 7.68017975927109, 42.797779264126));
#6980 = CARTESIAN_POINT ('', (35.5000153170303, 7.50553478328189, 43.));
#6990 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#6950, #6960, #6970, #6980), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (1.5108451601974, 2.02890912425482), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.977758922605247, 0.977758922605247, 1.))
   REPRESENTATION_ITEM ('')
);
#7000 = EDGE_CURVE ('', #6940, #3460, #6990, .T.);
#7010 = ORIENTED_EDGE ('', *, *, #7000, .F.);
#7020 = CARTESIAN_POINT ('', (35.6339745962156, 8., 42.3516993221477));
#7030 = CARTESIAN_POINT ('', (35.8169872981078, 8.31698729810778, 42.2460368894451));
#7040 = CARTESIAN_POINT ('', (36.1339745962156, 8.5, 42.0630241875529));
#7050 = CARTESIAN_POINT ('', (36.5, 8.5, 41.8516993221477));
#7060 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#7020, #7030, #7040, #7050), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (3.66519142918809, 4.71238898038469), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.910683602522959, 0.910683602522959, 1.))
   REPRESENTATION_ITEM ('')
);
#7070 = EDGE_CURVE ('', #6940, #4620, #7060, .T.);
#7080 = ORIENTED_EDGE ('', *, *, #7070, .T.);
#7090 = ORIENTED_EDGE ('', *, *, #4980, .F.);
#7100 = ORIENTED_EDGE ('', *, *, #5970, .T.);
#7110 = ORIENTED_EDGE ('', *, *, #5590, .F.);
#7120 = ORIENTED_EDGE ('', *, *, #3600, .F.);
#7130 = EDGE_LOOP ('', (#7010, #7080, #7090, #7100, #7110, #7120));
#7140 = FACE_OUTER_BOUND ('', #7130, .F.);
#7150 = CARTESIAN_POINT ('', (35.5, 7.5, 43.8012));
#7160 = CARTESIAN_POINT ('', (35.5, 7.5, 34.1988));
#7170 = CARTESIAN_POINT ('', (35.5, 8.5, 43.8012));
#7180 = CARTESIAN_POINT ('', (35.5, 8.5, 34.1988));
#7190 = CARTESIAN_POINT ('', (36.5, 8.5, 43.8012));
#7200 = CARTESIAN_POINT ('', (36.5, 8.5, 34.1988));
#7210 = CARTESIAN_POINT ('', (37.5, 8.5, 43.8012));
#7220 = CARTESIAN_POINT ('', (37.5, 8.5, 34.1988));
#7230 = CARTESIAN_POINT ('', (37.5, 7.5, 43.8012));
#7240 = CARTESIAN_POINT ('', (37.5, 7.5, 34.1988));
#7250 = CARTESIAN_POINT ('', (37.5, 6.5, 43.8012));
#7260 = CARTESIAN_POINT ('', (37.5, 6.5, 34.1988));
#7270 = CARTESIAN_POINT ('', (36.5, 6.5, 43.8012));
#7280 = CARTESIAN_POINT ('', (36.5, 6.5, 34.1988));
#7290 = CARTESIAN_POINT ('', (35.5, 6.5, 43.8012));
#7300 = CARTESIAN_POINT ('', (35.5, 6.5, 34.1988));
#7310 = CARTESIAN_POINT ('', (35.5, 7.5, 43.8012));
#7320 = CARTESIAN_POINT ('', (35.5, 7.5, 34.1988));
#7330 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#7150, #7160), (#7170, #7180), (#7190, #7200), (#7210, #7220), (#7230, #7240), (#7250, #7260), (#7270, #7280), (#7290, #7300), (#7310, #7320)), .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 ('')
);
#7340 = ADVANCED_FACE ('', (#7140), #7330, .F.);
#7350 = ORIENTED_EDGE ('', *, *, #6060, .T.);
#7360 = ORIENTED_EDGE ('', *, *, #1230, .T.);
#7370 = CARTESIAN_POINT ('', (27.4245300671552, 7.9, 30.3548499959964));
#7380 = VERTEX_POINT ('', #7370);
#7390 = CARTESIAN_POINT ('', (27.1803824090508, 7.9, 33.8463241719058));
#7400 = DIRECTION ('', (0.244147658104399, 0., -3.4914741759094));
#7410 = VECTOR ('', #7400, 3.50000000000001);
#7420 = LINE ('', #7390, #7410);
#7430 = EDGE_CURVE ('', #1100, #7380, #7420, .T.);
#7440 = ORIENTED_EDGE ('', *, *, #7430, .T.);
#7450 = CARTESIAN_POINT ('', (28.9208761425449, 7.9, 30.4594847066126));
#7460 = VERTEX_POINT ('', #7450);
#7470 = CARTESIAN_POINT ('', (27.4245300671552, 7.9, 30.3548499959964));
#7480 = DIRECTION ('', (1.4963460753897, 0., 0.1046347106162));
#7490 = VECTOR ('', #7480, 1.49999999999996);
#7500 = LINE ('', #7470, #7490);
#7510 = EDGE_CURVE ('', #7380, #7460, #7500, .T.);
#7520 = ORIENTED_EDGE ('', *, *, #7510, .T.);
#7530 = CARTESIAN_POINT ('', (29.0450426658095, 7.9, 28.6838206971501));
#7540 = VERTEX_POINT ('', #7530);
#7550 = CARTESIAN_POINT ('', (28.9208761425449, 7.9, 30.4594847066126));
#7560 = DIRECTION ('', (0.124166523264602, 0., -1.7756640094625));
#7570 = VECTOR ('', #7560, 1.78000000000002);
#7580 = LINE ('', #7550, #7570);
#7590 = EDGE_CURVE ('', #7460, #7540, #7580, .T.);
#7600 = ORIENTED_EDGE ('', *, *, #7590, .T.);
#7610 = CARTESIAN_POINT ('', (29.0450426658095, 7.9, 28.6838206971501));
#7620 = DIRECTION ('', (7.2397519740978, 0., 0.506252774810399));
#7630 = VECTOR ('', #7620, 7.25743071055151);
#7640 = LINE ('', #7610, #7630);
#7650 = EDGE_CURVE ('', #7540, #5720, #7640, .T.);
#7660 = ORIENTED_EDGE ('', *, *, #7650, .T.);
#7670 = EDGE_LOOP ('', (#7350, #7360, #7440, #7520, #7600, #7660));
#7680 = FACE_OUTER_BOUND ('', #7670, .F.);
#7690 = CARTESIAN_POINT ('', (27.1793824090508, 7.9, 28.6828206971501));
#7700 = CARTESIAN_POINT ('', (27.1793824090508, 7.9, 34.4353845113081));
#7710 = CARTESIAN_POINT ('', (36.2857946399073, 7.9, 28.6828206971501));
#7720 = CARTESIAN_POINT ('', (36.2857946399073, 7.9, 34.4353845113081));
#7730 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7690, #7700), (#7710, #7720)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-17.4235473591817, -8.31713512832511), (-2.29184372334678, 3.46072009081116), .UNSPECIFIED.);
#7740 = ADVANCED_FACE ('', (#7680), #7730, .F.);
#7750 = ORIENTED_EDGE ('', *, *, #3840, .F.);
#7760 = ORIENTED_EDGE ('', *, *, #1990, .F.);
#7770 = ORIENTED_EDGE ('', *, *, #2150, .F.);
#7780 = ORIENTED_EDGE ('', *, *, #5800, .F.);
#7790 = ORIENTED_EDGE ('', *, *, #7650, .F.);
#7800 = CARTESIAN_POINT ('', (29.0450426658094, 11., 28.6838206971501));
#7810 = DIRECTION ('', (9.9475983006414E-14, -3.1, 0.));
#7820 = VECTOR ('', #7810, 3.1);
#7830 = LINE ('', #7800, #7820);
#7840 = EDGE_CURVE ('', #3790, #7540, #7830, .T.);
#7850 = ORIENTED_EDGE ('', *, *, #7840, .F.);
#7860 = EDGE_LOOP ('', (#7750, #7760, #7770, #7780, #7790, #7850));
#7870 = FACE_OUTER_BOUND ('', #7860, .F.);
#7880 = CARTESIAN_POINT ('', (29.0439779452246, 11.001, 28.683746244634));
#7890 = CARTESIAN_POINT ('', (29.0439779452246, 7.899, 28.683746244634));
#7900 = CARTESIAN_POINT ('', (51.5010647205849, 11.001, 30.2540987283735));
#7910 = CARTESIAN_POINT ('', (51.5010647205849, 7.899, 30.2540987283735));
#7920 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7880, #7890), (#7900, #7910)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052400815, 22.5108573719417), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#7930 = ADVANCED_FACE ('', (#7870), #7920, .F.);
#7940 = ORIENTED_EDGE ('', *, *, #3920, .T.);
#7950 = ORIENTED_EDGE ('', *, *, #7840, .T.);
#7960 = ORIENTED_EDGE ('', *, *, #7590, .F.);
#7970 = CARTESIAN_POINT ('', (28.9208761425449, 7.9, 30.4594847066126));
#7980 = DIRECTION ('', (0., 3.1, 0.));
#7990 = VECTOR ('', #7980, 3.1);
#8000 = LINE ('', #7970, #7990);
#8010 = EDGE_CURVE ('', #7460, #3870, #8000, .T.);
#8020 = ORIENTED_EDGE ('', *, *, #8010, .T.);
#8030 = EDGE_LOOP ('', (#7940, #7950, #7960, #8020));
#8040 = FACE_OUTER_BOUND ('', #8030, .F.);
#8050 = CARTESIAN_POINT ('', (28.9208016900288, 11.001, 30.4605494271974));
#8060 = CARTESIAN_POINT ('', (28.9208016900288, 7.899, 30.4605494271974));
#8070 = CARTESIAN_POINT ('', (29.0451171183256, 11.001, 28.6827559765653));
#8080 = CARTESIAN_POINT ('', (29.0451171183256, 7.899, 28.6827559765653));
#8090 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8050, #8060), (#8070, #8080)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.448932679475991, 2.23106732052399), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#8100 = ADVANCED_FACE ('', (#8040), #8090, .F.);
#8110 = ORIENTED_EDGE ('', *, *, #4000, .T.);
#8120 = ORIENTED_EDGE ('', *, *, #8010, .F.);
#8130 = ORIENTED_EDGE ('', *, *, #7510, .F.);
#8140 = CARTESIAN_POINT ('', (27.4245300671552, 11., 30.3548499959964));
#8150 = DIRECTION ('', (0., -3.1, 0.));
#8160 = VECTOR ('', #8150, 3.1);
#8170 = LINE ('', #8140, #8160);
#8180 = EDGE_CURVE ('', #3950, #7380, #8170, .T.);
#8190 = ORIENTED_EDGE ('', *, *, #8180, .F.);
#8200 = EDGE_LOOP ('', (#8110, #8120, #8130, #8190));
#8210 = FACE_OUTER_BOUND ('', #8200, .F.);
#8220 = CARTESIAN_POINT ('', (27.4234653465703, 11.001, 30.3547755434803));
#8230 = CARTESIAN_POINT ('', (27.4234653465703, 7.899, 30.3547755434803));
#8240 = CARTESIAN_POINT ('', (28.9219408631298, 11.001, 30.4595591591287));
#8250 = CARTESIAN_POINT ('', (28.9219408631298, 7.899, 30.4595591591287));
#8260 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8220, #8230), (#8240, #8250)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.201067320524004, 1.30106732052401), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#8270 = ADVANCED_FACE ('', (#8210), #8260, .F.);
#8280 = ORIENTED_EDGE ('', *, *, #4060, .T.);
#8290 = ORIENTED_EDGE ('', *, *, #8180, .T.);
#8300 = ORIENTED_EDGE ('', *, *, #7430, .F.);
#8310 = ORIENTED_EDGE ('', *, *, #1150, .T.);
#8320 = EDGE_LOOP ('', (#8280, #8290, #8300, #8310));
#8330 = FACE_OUTER_BOUND ('', #8320, .F.);
#8340 = CARTESIAN_POINT ('', (27.1803079565347, 11.001, 33.8473888924907));
#8350 = CARTESIAN_POINT ('', (27.1803079565347, 7.899, 33.8473888924907));
#8360 = CARTESIAN_POINT ('', (27.4246045196713, 11.001, 30.3537852754116));
#8370 = CARTESIAN_POINT ('', (27.4246045196713, 7.899, 30.3537852754116));
#8380 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8340, #8350), (#8360, #8370)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.70106732052402, 0.801067320524016), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#8390 = ADVANCED_FACE ('', (#8330), #8380, .F.);
#8400 = ORIENTED_EDGE ('', *, *, #7000, .T.);
#8410 = ORIENTED_EDGE ('', *, *, #3510, .T.);
#8420 = CARTESIAN_POINT ('', (34.5110848835941, 8., 43.));
#8430 = DIRECTION ('', (1.1228897126215, 0., -0.648300677852298));
#8440 = VECTOR ('', #8430, 1.29660135570458);
#8450 = LINE ('', #8420, #8440);
#8460 = EDGE_CURVE ('', #3380, #6940, #8450, .T.);
#8470 = ORIENTED_EDGE ('', *, *, #8460, .T.);
#8480 = EDGE_LOOP ('', (#8400, #8410, #8470));
#8490 = FACE_OUTER_BOUND ('', #8480, .F.);
#8500 = CARTESIAN_POINT ('', (34.5097433772431, 7.7875461801332, 43.2460950592338));
#8510 = CARTESIAN_POINT ('', (35.758932406746, 7.43063502884666, 42.9370009353257));
#8520 = CARTESIAN_POINT ('', (34.5097433772431, 8.32213236279428, 42.6288081063049));
#8530 = CARTESIAN_POINT ('', (35.758932406746, 7.96522121150774, 42.3197139823968));
#8540 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8500, #8510), (#8520, #8530)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-4.09544571303845, -3.27885183053116), (-9.23682286176022, -7.90138361612693), .UNSPECIFIED.);
#8550 = ADVANCED_FACE ('', (#8490), #8540, .F.);
#8560 = ORIENTED_EDGE ('', *, *, #4820, .T.);
#8570 = CARTESIAN_POINT ('', (43.615461869021, 8.5, 37.5468581630158));
#8580 = DIRECTION ('', (0., 2.5, 0.));
#8590 = VECTOR ('', #8580, 2.5);
#8600 = LINE ('', #8570, #8590);
#8610 = EDGE_CURVE ('', #4700, #4100, #8600, .T.);
#8620 = ORIENTED_EDGE ('', *, *, #8610, .T.);
#8630 = ORIENTED_EDGE ('', *, *, #4150, .T.);
#8640 = ORIENTED_EDGE ('', *, *, #1480, .F.);
#8650 = EDGE_LOOP ('', (#8560, #8620, #8630, #8640));
#8660 = FACE_OUTER_BOUND ('', #8650, .F.);
#8670 = CARTESIAN_POINT ('', (43.614461869021, 11.001, 37.5478581630158));
#8680 = CARTESIAN_POINT ('', (43.614461869021, 8.499, 37.5478581630158));
#8690 = CARTESIAN_POINT ('', (46.001, 11.001, 35.1613200320368));
#8700 = CARTESIAN_POINT ('', (46.001, 8.499, 35.1613200320368));
#8710 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8670, #8680), (#8690, #8700)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141421356237004, 3.37366037838866), (-3.001, -0.499000000000001), .UNSPECIFIED.);
#8720 = ADVANCED_FACE ('', (#8660), #8710, .F.);
#8730 = ORIENTED_EDGE ('', *, *, #4300, .T.);
#8740 = CARTESIAN_POINT ('', (42.5799279630882, 11., 38.3414512760053));
#8750 = DIRECTION ('', (0., -2.5, 0.));
#8760 = VECTOR ('', #8750, 2.5);
#8770 = LINE ('', #8740, #8760);
#8780 = EDGE_CURVE ('', #4180, #4600, #8770, .T.);
#8790 = ORIENTED_EDGE ('', *, *, #8780, .T.);
#8800 = ORIENTED_EDGE ('', *, *, #4670, .T.);
#8810 = ORIENTED_EDGE ('', *, *, #7070, .F.);
#8820 = ORIENTED_EDGE ('', *, *, #8460, .F.);
#8830 = ORIENTED_EDGE ('', *, *, #3430, .T.);
#8840 = EDGE_LOOP ('', (#8730, #8790, #8800, #8810, #8820, #8830));
#8850 = FACE_OUTER_BOUND ('', #8840, .F.);
#8860 = CARTESIAN_POINT ('', (34.5099018708922, 11.001, 43.0006830127019));
#8870 = CARTESIAN_POINT ('', (34.5099018708922, 7.999, 43.0006830127019));
#8880 = CARTESIAN_POINT ('', (42.5811109757901, 11.001, 38.3407682633034));
#8890 = CARTESIAN_POINT ('', (42.5811109757901, 7.999, 38.3407682633034));
#8900 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8860, #8870), (#8880, #8890)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.656896462533215, 9.97672596133037), (-3.001, 0.00099999999999989), .UNSPECIFIED.);
#8910 = ADVANCED_FACE ('', (#8850), #8900, .F.);
#8920 = ORIENTED_EDGE ('', *, *, #250, .T.);
#8930 = CARTESIAN_POINT ('', (30., -0.299999999999999, 20.));
#8940 = VERTEX_POINT ('', #8930);
#8950 = CARTESIAN_POINT ('', (30., -0.299999999999995, 19.7));
#8960 = DIRECTION ('', (1., 0., 0.));
#8970 = DIRECTION ('', (0., 1., 0.));
#8980 = AXIS2_PLACEMENT_3D ('', #8950, #8960, #8970);
#8990 = CIRCLE ('', #8980, 0.3);
#9000 = EDGE_CURVE ('', #120, #8940, #8990, .T.);
#9010 = ORIENTED_EDGE ('', *, *, #9000, .T.);
#9020 = CARTESIAN_POINT ('', (30., -2.5, 20.));
#9030 = VERTEX_POINT ('', #9020);
#9040 = CARTESIAN_POINT ('', (30., -2.5, 20.));
#9050 = DIRECTION ('', (0., 2.2, 0.));
#9060 = VECTOR ('', #9050, 2.2);
#9070 = LINE ('', #9040, #9060);
#9080 = EDGE_CURVE ('', #9030, #8940, #9070, .T.);
#9090 = ORIENTED_EDGE ('', *, *, #9080, .F.);
#9100 = CARTESIAN_POINT ('', (30., -2.5, 27.));
#9110 = VERTEX_POINT ('', #9100);
#9120 = CARTESIAN_POINT ('', (30., -2.5, 27.));
#9130 = DIRECTION ('', (0., 0., -7.));
#9140 = VECTOR ('', #9130, 7.);
#9150 = LINE ('', #9120, #9140);
#9160 = EDGE_CURVE ('', #9110, #9030, #9150, .T.);
#9170 = ORIENTED_EDGE ('', *, *, #9160, .F.);
#9180 = CARTESIAN_POINT ('', (30., -0.299999999999999, 27.));
#9190 = VERTEX_POINT ('', #9180);
#9200 = CARTESIAN_POINT ('', (30., -2.5, 27.));
#9210 = DIRECTION ('', (0., 2.2, 0.));
#9220 = VECTOR ('', #9210, 2.2);
#9230 = LINE ('', #9200, #9220);
#9240 = EDGE_CURVE ('', #9110, #9190, #9230, .T.);
#9250 = ORIENTED_EDGE ('', *, *, #9240, .T.);
#9260 = CARTESIAN_POINT ('', (30., -0.299999999999996, 27.3));
#9270 = DIRECTION ('', (1., 0., 0.));
#9280 = DIRECTION ('', (0., -1.01770443923972E-14, -1.));
#9290 = AXIS2_PLACEMENT_3D ('', #9260, #9270, #9280);
#9300 = CIRCLE ('', #9290, 0.299999999999999);
#9310 = EDGE_CURVE ('', #9190, #200, #9300, .T.);
#9320 = ORIENTED_EDGE ('', *, *, #9310, .T.);
#9330 = EDGE_LOOP ('', (#8920, #9010, #9090, #9170, #9250, #9320));
#9340 = FACE_OUTER_BOUND ('', #9330, .F.);
#9350 = CARTESIAN_POINT ('', (30., 0.001000000000003, 27.301));
#9360 = CARTESIAN_POINT ('', (30., -2.501, 27.301));
#9370 = CARTESIAN_POINT ('', (30., 0.001000000000003, 19.699));
#9380 = CARTESIAN_POINT ('', (30., -2.501, 19.699));
#9390 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9350, #9360), (#9370, #9380)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-7.301, 0.301000000000002), (-2.501, 0.000999999999999446), .UNSPECIFIED.);
#9400 = ADVANCED_FACE ('', (#9340), #9390, .F.);
#9410 = ORIENTED_EDGE ('', *, *, #9080, .T.);
#9420 = CARTESIAN_POINT ('', (30., -0.299999999999999, 20.));
#9430 = DIRECTION ('', (-30., -1.99840144432528E-15, 0.));
#9440 = VECTOR ('', #9430, 30.);
#9450 = LINE ('', #9420, #9440);
#9460 = EDGE_CURVE ('', #8940, #3050, #9450, .T.);
#9470 = ORIENTED_EDGE ('', *, *, #9460, .T.);
#9480 = ORIENTED_EDGE ('', *, *, #3100, .F.);
#9490 = CARTESIAN_POINT ('', (30., -2.5, 20.));
#9500 = DIRECTION ('', (-30., 0., 0.));
#9510 = VECTOR ('', #9500, 30.);
#9520 = LINE ('', #9490, #9510);
#9530 = EDGE_CURVE ('', #9030, #2970, #9520, .T.);
#9540 = ORIENTED_EDGE ('', *, *, #9530, .F.);
#9550 = EDGE_LOOP ('', (#9410, #9470, #9480, #9540));
#9560 = FACE_OUTER_BOUND ('', #9550, .F.);
#9570 = CARTESIAN_POINT ('', (30.001, -0.298999999999998, 20.));
#9580 = CARTESIAN_POINT ('', (30.001, -2.501, 20.));
#9590 = CARTESIAN_POINT ('', (-0.000999999999997667, -0.298999999999999, 20.));
#9600 = CARTESIAN_POINT ('', (-0.000999999999997667, -2.501, 20.));
#9610 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9570, #9580), (#9590, #9600)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-30.001, 0.00100000000000122), (-2.201, 0.000999999999999446), .UNSPECIFIED.);
#9620 = ADVANCED_FACE ('', (#9560), #9610, .F.);
#9630 = ORIENTED_EDGE ('', *, *, #2940, .T.);
#9640 = CARTESIAN_POINT ('', (-9.61347737330673E-16, -0.300000000000001, 27.));
#9650 = DIRECTION ('', (30., 1.99840144432528E-15, 0.));
#9660 = VECTOR ('', #9650, 30.);
#9670 = LINE ('', #9640, #9660);
#9680 = EDGE_CURVE ('', #2800, #9190, #9670, .T.);
#9690 = ORIENTED_EDGE ('', *, *, #9680, .T.);
#9700 = ORIENTED_EDGE ('', *, *, #9240, .F.);
#9710 = CARTESIAN_POINT ('', (-8.26636589424464E-16, -2.5, 27.));
#9720 = DIRECTION ('', (30., 0., 0.));
#9730 = VECTOR ('', #9720, 30.);
#9740 = LINE ('', #9710, #9730);
#9750 = EDGE_CURVE ('', #2890, #9110, #9740, .T.);
#9760 = ORIENTED_EDGE ('', *, *, #9750, .F.);
#9770 = EDGE_LOOP ('', (#9630, #9690, #9700, #9760));
#9780 = FACE_OUTER_BOUND ('', #9770, .F.);
#9790 = CARTESIAN_POINT ('', (-0.00100000000000053, -0.298999999999999, 27.));
#9800 = CARTESIAN_POINT ('', (-0.0010000000000004, -2.501, 27.));
#9810 = CARTESIAN_POINT ('', (30.001, -0.298999999999998, 27.));
#9820 = CARTESIAN_POINT ('', (30.001, -2.501, 27.));
#9830 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9790, #9800), (#9810, #9820)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000122, 30.001), (-2.201, 0.000999999999999446), .UNSPECIFIED.);
#9840 = ADVANCED_FACE ('', (#9780), #9830, .F.);
#9850 = ORIENTED_EDGE ('', *, *, #9160, .T.);
#9860 = ORIENTED_EDGE ('', *, *, #9530, .T.);
#9870 = ORIENTED_EDGE ('', *, *, #3020, .T.);
#9880 = ORIENTED_EDGE ('', *, *, #9750, .T.);
#9890 = EDGE_LOOP ('', (#9850, #9860, #9870, #9880));
#9900 = FACE_OUTER_BOUND ('', #9890, .F.);
#9910 = CARTESIAN_POINT ('', (30.001, -2.5, 19.999));
#9920 = CARTESIAN_POINT ('', (30.001, -2.5, 27.001));
#9930 = CARTESIAN_POINT ('', (-0.000999999999990564, -2.5, 19.999));
#9940 = CARTESIAN_POINT ('', (-0.000999999999990564, -2.5, 27.001));
#9950 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9910, #9920), (#9930, #9940)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000122, 30.001), (-0.00100000000000122, 7.001), .UNSPECIFIED.);
#9960 = ADVANCED_FACE ('', (#9900), #9950, .F.);
#9970 = ORIENTED_EDGE ('', *, *, #830, .T.);
#9980 = CARTESIAN_POINT ('', (43.2364817766692, 1.77635683940025E-15, 2.3339488668826));
#9990 = DIRECTION ('', (0., 11., 1.02140518265514E-14));
#10000 = VECTOR ('', #9990, 11.);
#10010 = LINE ('', #9980, #10000);
#10020 = EDGE_CURVE ('', #690, #4360, #10010, .T.);
#10030 = ORIENTED_EDGE ('', *, *, #10020, .T.);
#10040 = ORIENTED_EDGE ('', *, *, #4410, .T.);
#10050 = ORIENTED_EDGE ('', *, *, #2400, .F.);
#10060 = EDGE_LOOP ('', (#9970, #10030, #10040, #10050));
#10070 = FACE_OUTER_BOUND ('', #10060, .F.);
#10080 = CARTESIAN_POINT ('', (43.2376226330513, 11.001, 2.33415003064387));
#10090 = CARTESIAN_POINT ('', (43.2376226330513, -0.000999999999994117, 2.33415003064387));
#10100 = CARTESIAN_POINT ('', (29.9988591436179, 11.001, -0.000201163761278433));
#10110 = CARTESIAN_POINT ('', (29.9988591436179, -0.000999999999994117, -0.000201163761278433));
#10120 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10080, #10090), (#10100, #10110)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00115845593068187, 13.4418342997013), (-32.8326721555435, -21.8306721555435), .UNSPECIFIED.);
#10130 = ADVANCED_FACE ('', (#10070), #10120, .F.);
#10140 = ORIENTED_EDGE ('', *, *, #5890, .F.);
#10150 = ORIENTED_EDGE ('', *, *, #1740, .F.);
#10160 = ORIENTED_EDGE ('', *, *, #4480, .F.);
#10170 = ORIENTED_EDGE ('', *, *, #10020, .F.);
#10180 = ORIENTED_EDGE ('', *, *, #750, .F.);
#10190 = ORIENTED_EDGE ('', *, *, #5230, .F.);
#10200 = EDGE_LOOP ('', (#10140, #10150, #10160, #10170, #10180, #10190));
#10210 = FACE_OUTER_BOUND ('', #10200, .F.);
#10220 = CARTESIAN_POINT ('', (51.5, -1.1012, 12.1820263970047));
#10230 = CARTESIAN_POINT ('', (51.5, 12.1012, 12.1820263970047));
#10240 = CARTESIAN_POINT ('', (51.5, -1.1012, 22.1820263970047));
#10250 = CARTESIAN_POINT ('', (51.5, 12.1012, 22.1820263970047));
#10260 = CARTESIAN_POINT ('', (41.5, -1.1012, 22.1820263970047));
#10270 = CARTESIAN_POINT ('', (41.5, 12.1012, 22.1820263970047));
#10280 = CARTESIAN_POINT ('', (31.5, -1.1012, 22.1820263970047));
#10290 = CARTESIAN_POINT ('', (31.5, 12.1012, 22.1820263970047));
#10300 = CARTESIAN_POINT ('', (31.5, -1.1012, 12.1820263970047));
#10310 = CARTESIAN_POINT ('', (31.5, 12.1012, 12.1820263970047));
#10320 = CARTESIAN_POINT ('', (31.5, -1.1012, 2.18202639700469));
#10330 = CARTESIAN_POINT ('', (31.5, 12.1012, 2.18202639700469));
#10340 = CARTESIAN_POINT ('', (41.5, -1.1012, 2.18202639700469));
#10350 = CARTESIAN_POINT ('', (41.5, 12.1012, 2.18202639700469));
#10360 = CARTESIAN_POINT ('', (51.5, -1.1012, 2.18202639700469));
#10370 = CARTESIAN_POINT ('', (51.5, 12.1012, 2.18202639700469));
#10380 = CARTESIAN_POINT ('', (51.5, -1.1012, 12.1820263970047));
#10390 = CARTESIAN_POINT ('', (51.5, 12.1012, 12.1820263970047));
#10400 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#10220, #10230), (#10240, #10250), (#10260, #10270), (#10280, #10290), (#10300, #10310), (#10320, #10330), (#10340, #10350), (#10360, #10370), (#10380, #10390)), .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 ('')
);
#10410 = ADVANCED_FACE ('', (#10210), #10400, .F.);
#10420 = ORIENTED_EDGE ('', *, *, #4760, .F.);
#10430 = ORIENTED_EDGE ('', *, *, #8780, .F.);
#10440 = ORIENTED_EDGE ('', *, *, #4240, .F.);
#10450 = ORIENTED_EDGE ('', *, *, #8610, .F.);
#10460 = EDGE_LOOP ('', (#10420, #10430, #10440, #10450));
#10470 = FACE_OUTER_BOUND ('', #10460, .F.);
#10480 = CARTESIAN_POINT ('', (45.0799279630883, 8.2488, 34.011324257083));
#10490 = CARTESIAN_POINT ('', (45.0799279630883, 11.2512, 34.011324257083));
#10500 = CARTESIAN_POINT ('', (45.0799279630883, 8.2488, 39.011324257083));
#10510 = CARTESIAN_POINT ('', (45.0799279630883, 11.2512, 39.011324257083));
#10520 = CARTESIAN_POINT ('', (40.0799279630883, 8.2488, 39.011324257083));
#10530 = CARTESIAN_POINT ('', (40.0799279630883, 11.2512, 39.011324257083));
#10540 = CARTESIAN_POINT ('', (35.0799279630883, 8.2488, 39.011324257083));
#10550 = CARTESIAN_POINT ('', (35.0799279630883, 11.2512, 39.011324257083));
#10560 = CARTESIAN_POINT ('', (35.0799279630883, 8.2488, 34.011324257083));
#10570 = CARTESIAN_POINT ('', (35.0799279630883, 11.2512, 34.011324257083));
#10580 = CARTESIAN_POINT ('', (35.0799279630883, 8.2488, 29.011324257083));
#10590 = CARTESIAN_POINT ('', (35.0799279630883, 11.2512, 29.011324257083));
#10600 = CARTESIAN_POINT ('', (40.0799279630883, 8.2488, 29.011324257083));
#10610 = CARTESIAN_POINT ('', (40.0799279630883, 11.2512, 29.011324257083));
#10620 = CARTESIAN_POINT ('', (45.0799279630883, 8.2488, 29.011324257083));
#10630 = CARTESIAN_POINT ('', (45.0799279630883, 11.2512, 29.011324257083));
#10640 = CARTESIAN_POINT ('', (45.0799279630883, 8.2488, 34.011324257083));
#10650 = CARTESIAN_POINT ('', (45.0799279630883, 11.2512, 34.011324257083));
#10660 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#10480, #10490), (#10500, #10510), (#10520, #10530), (#10540, #10550), (#10560, #10570), (#10580, #10590), (#10600, #10610), (#10620, #10630), (#10640, #10650)), .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 ('')
);
#10670 = ADVANCED_FACE ('', (#10470), #10660, .F.);
#10680 = ORIENTED_EDGE ('', *, *, #9000, .F.);
#10690 = ORIENTED_EDGE ('', *, *, #170, .F.);
#10700 = ORIENTED_EDGE ('', *, *, #3170, .F.);
#10710 = ORIENTED_EDGE ('', *, *, #9460, .F.);
#10720 = EDGE_LOOP ('', (#10680, #10690, #10700, #10710));
#10730 = FACE_OUTER_BOUND ('', #10720, .F.);
#10740 = CARTESIAN_POINT ('', (-3.0012, -0.3, 19.4));
#10750 = CARTESIAN_POINT ('', (33.0012, -0.299999999999999, 19.4));
#10760 = CARTESIAN_POINT ('', (-3.0012, 5.45926661318977E-16, 19.4));
#10770 = CARTESIAN_POINT ('', (33.0012, 1.76717198840665E-15, 19.4));
#10780 = CARTESIAN_POINT ('', (-3.0012, -2.22044604925031E-15, 19.7));
#10790 = CARTESIAN_POINT ('', (33.0012, -9.99200722162641E-16, 19.7));
#10800 = CARTESIAN_POINT ('', (-3.0012, -4.95906318420397E-15, 20.));
#10810 = CARTESIAN_POINT ('', (33.0012, -3.73781785711629E-15, 20.));
#10820 = CARTESIAN_POINT ('', (-3.0012, -0.300000000000006, 20.));
#10830 = CARTESIAN_POINT ('', (33.0012, -0.300000000000004, 20.));
#10840 = CARTESIAN_POINT ('', (-3.0012, -0.600000000000006, 20.));
#10850 = CARTESIAN_POINT ('', (33.0012, -0.600000000000005, 20.));
#10860 = CARTESIAN_POINT ('', (-3.0012, -0.600000000000004, 19.7));
#10870 = CARTESIAN_POINT ('', (33.0012, -0.600000000000002, 19.7));
#10880 = CARTESIAN_POINT ('', (-3.0012, -0.600000000000001, 19.4));
#10890 = CARTESIAN_POINT ('', (33.0012, -0.6, 19.4));
#10900 = CARTESIAN_POINT ('', (-3.0012, -0.3, 19.4));
#10910 = CARTESIAN_POINT ('', (33.0012, -0.299999999999999, 19.4));
#10920 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#10740, #10750), (#10760, #10770), (#10780, #10790), (#10800, #10810), (#10820, #10830), (#10840, #10850), (#10860, #10870), (#10880, #10890), (#10900, #10910)), .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 ('')
);
#10930 = ADVANCED_FACE ('', (#10730), #10920, .F.);
#10940 = ORIENTED_EDGE ('', *, *, #2860, .F.);
#10950 = ORIENTED_EDGE ('', *, *, #330, .F.);
#10960 = ORIENTED_EDGE ('', *, *, #9310, .F.);
#10970 = ORIENTED_EDGE ('', *, *, #9680, .F.);
#10980 = EDGE_LOOP ('', (#10940, #10950, #10960, #10970));
#10990 = FACE_OUTER_BOUND ('', #10980, .F.);
#11000 = CARTESIAN_POINT ('', (33.0012, 6.66133814775094E-16, 27.3));
#11010 = CARTESIAN_POINT ('', (-3.0012, 6.66133814775094E-16, 27.3));
#11020 = CARTESIAN_POINT ('', (33.0012, 6.66133814775094E-16, 27.));
#11030 = CARTESIAN_POINT ('', (-3.0012, 6.66133814775094E-16, 27.));
#11040 = CARTESIAN_POINT ('', (33.0012, -0.300000000000001, 27.));
#11050 = CARTESIAN_POINT ('', (-3.0012, -0.300000000000001, 27.));
#11060 = CARTESIAN_POINT ('', (33.0012, -0.600000000000002, 27.));
#11070 = CARTESIAN_POINT ('', (-3.0012, -0.600000000000002, 27.));
#11080 = CARTESIAN_POINT ('', (33.0012, -0.600000000000002, 27.3));
#11090 = CARTESIAN_POINT ('', (-3.0012, -0.600000000000002, 27.3));
#11100 = CARTESIAN_POINT ('', (33.0012, -0.600000000000002, 27.6));
#11110 = CARTESIAN_POINT ('', (-3.0012, -0.600000000000002, 27.6));
#11120 = CARTESIAN_POINT ('', (33.0012, -0.300000000000001, 27.6));
#11130 = CARTESIAN_POINT ('', (-3.0012, -0.300000000000001, 27.6));
#11140 = CARTESIAN_POINT ('', (33.0012, 6.01638835185044E-16, 27.6));
#11150 = CARTESIAN_POINT ('', (-3.0012, 6.01638835185044E-16, 27.6));
#11160 = CARTESIAN_POINT ('', (33.0012, 6.66133814775094E-16, 27.3));
#11170 = CARTESIAN_POINT ('', (-3.0012, 6.66133814775094E-16, 27.3));
#11180 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#11000, #11010), (#11020, #11030), (#11040, #11050), (#11060, #11070), (#11080, #11090), (#11100, #11110), (#11120, #11130), (#11140, #11150), (#11160, #11170)), .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 ('')
);
#11190 = ADVANCED_FACE ('', (#10990), #11180, .F.);
#11200 = CLOSED_SHELL ('', (#980, #1570, #2080, #2320, #2630, #3280, #3770, #4580, #5070, #5530, #5700, #6920, #7340, #7740, #7930, #8100, #8270, #8390, #8550, #8720, #8910, #9400, #9620, #9840, #9960, #10130, #10410, #10670, #10930, #11190));
#11210 = MANIFOLD_SOLID_BREP ('NOCUT', #11200);
#11220 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#11230 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#11240 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#11250 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #11220, 'DISTANCE_ACCURACY_VALUE', '');
#11260 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#11250))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#11220, #11230, #11240))
   REPRESENTATION_CONTEXT ('', '3D')
);
#11270 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#11280 = FILL_AREA_STYLE_COLOUR ('', #11270);
#11290 = FILL_AREA_STYLE ('', (#11280));
#11300 = SURFACE_STYLE_FILL_AREA (#11290);
#11310 = SURFACE_SIDE_STYLE ('', (#11300));
#11320 = SURFACE_STYLE_USAGE (.POSITIVE., #11310);
#11330 = PRESENTATION_STYLE_ASSIGNMENT ((#11320));
#11340 = STYLED_ITEM ('', (#11330), #11210);
#11350 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#11210), #11260);
#11360 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#11370 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #11360);
#11380 = MECHANICAL_CONTEXT ('', #11360, 'mechanical');
#11390 = PRODUCT ('NONE', '', '', (#11380));
#11400 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#11410 = PERSON ('', '', $, $, $, $);
#11420 = ORGANIZATION ($, '', '');
#11430 = PERSON_AND_ORGANIZATION (#11410, #11420);
#11440 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#11430, #11400, (#11390));
#11450 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#11390));
#11460 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #11390, .NOT_KNOWN.);
#11470 = APPROVAL_STATUS ('approved');
#11480 = APPROVAL (#11470, '');
#11490 = CALENDAR_DATE (2017, 25, 1);
#11500 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#11510 = LOCAL_TIME (7, 25, 0., #11500);
#11520 = DATE_AND_TIME (#11490, #11510);
#11530 = APPROVAL_DATE_TIME (#11520, #11480);
#11540 = APPROVAL_ROLE ('');
#11550 = PERSON ('', '', $, $, $, $);
#11560 = ORGANIZATION ($, '', '');
#11570 = PERSON_AND_ORGANIZATION (#11550, #11560);
#11580 = APPROVAL_PERSON_ORGANIZATION (#11570, #11480, #11540);
#11590 = CC_DESIGN_APPROVAL (#11480, (#11460));
#11600 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#11610 = PERSON ('', '', $, $, $, $);
#11620 = ORGANIZATION ($, '', '');
#11630 = PERSON_AND_ORGANIZATION (#11610, #11620);
#11640 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#11630, #11600, (#11460));
#11650 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#11660 = PERSON ('', '', $, $, $, $);
#11670 = ORGANIZATION ($, '', '');
#11680 = PERSON_AND_ORGANIZATION (#11660, #11670);
#11690 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#11680, #11650, (#11460));
#11700 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#11710 = SECURITY_CLASSIFICATION ('', '', #11700);
#11720 = APPROVAL_STATUS ('approved');
#11730 = APPROVAL (#11720, '');
#11740 = CALENDAR_DATE (2017, 25, 1);
#11750 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#11760 = LOCAL_TIME (7, 25, 0., #11750);
#11770 = DATE_AND_TIME (#11740, #11760);
#11780 = APPROVAL_DATE_TIME (#11770, #11730);
#11790 = APPROVAL_ROLE ('');
#11800 = PERSON ('', '', $, $, $, $);
#11810 = ORGANIZATION ($, '', '');
#11820 = PERSON_AND_ORGANIZATION (#11800, #11810);
#11830 = APPROVAL_PERSON_ORGANIZATION (#11820, #11730, #11790);
#11840 = CC_DESIGN_APPROVAL (#11730, (#11710));
#11850 = DATE_TIME_ROLE ('classification_date');
#11860 = CALENDAR_DATE (2017, 25, 1);
#11870 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#11880 = LOCAL_TIME (7, 25, 0., #11870);
#11890 = DATE_AND_TIME (#11860, #11880);
#11900 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#11890, #11850, (#11710));
#11910 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#11920 = PERSON ('', '', $, $, $, $);
#11930 = ORGANIZATION ($, '', '');
#11940 = PERSON_AND_ORGANIZATION (#11920, #11930);
#11950 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#11940, #11910, (#11710));
#11960 = CC_DESIGN_SECURITY_CLASSIFICATION (#11710, (#11460));
#11970 = DESIGN_CONTEXT ('', #11360, 'design');
#11980 = PRODUCT_DEFINITION ('', '', #11460, #11970);
#11990 = APPROVAL_STATUS ('approved');
#12000 = APPROVAL (#11990, '');
#12010 = CALENDAR_DATE (2017, 25, 1);
#12020 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#12030 = LOCAL_TIME (7, 25, 0., #12020);
#12040 = DATE_AND_TIME (#12010, #12030);
#12050 = APPROVAL_DATE_TIME (#12040, #12000);
#12060 = APPROVAL_ROLE ('');
#12070 = PERSON ('', '', $, $, $, $);
#12080 = ORGANIZATION ($, '', '');
#12090 = PERSON_AND_ORGANIZATION (#12070, #12080);
#12100 = APPROVAL_PERSON_ORGANIZATION (#12090, #12000, #12060);
#12110 = CC_DESIGN_APPROVAL (#12000, (#11980));
#12120 = DATE_TIME_ROLE ('creation_date');
#12130 = CALENDAR_DATE (2017, 25, 1);
#12140 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#12150 = LOCAL_TIME (7, 25, 0., #12140);
#12160 = DATE_AND_TIME (#12130, #12150);
#12170 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#12160, #12120, (#11980));
#12180 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#12190 = PERSON ('', '', $, $, $, $);
#12200 = ORGANIZATION ($, '', '');
#12210 = PERSON_AND_ORGANIZATION (#12190, #12200);
#12220 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#12210, #12180, (#11980));
#12230 = PRODUCT_DEFINITION_SHAPE ('', '', #11980);
#12240 = SHAPE_DEFINITION_REPRESENTATION (#12230, #11350);
#12250 = CARTESIAN_POINT ('', (51.689323573513, 8.5, 30.273342307672));
#12260 = VERTEX_POINT ('', #12250);
#12270 = CARTESIAN_POINT ('', (29.0446196326149, 8.5, 28.6898703536805));
#12280 = VERTEX_POINT ('', #12270);
#12290 = CARTESIAN_POINT ('', (51.689323573513, 8.5, 30.273342307672));
#12300 = DIRECTION ('', (-22.6447039408981, 0., -1.5834719539915));
#12310 = VECTOR ('', #12300, 22.7000000000001);
#12320 = LINE ('', #12290, #12310);
#12330 = EDGE_CURVE ('', #12260, #12280, #12320, .T.);
#12340 = ORIENTED_EDGE ('', *, *, #12330, .T.);
#12350 = CARTESIAN_POINT ('', (28.8503241406818, 8.5, 31.4684253390002));
#12360 = VERTEX_POINT ('', #12350);
#12370 = CARTESIAN_POINT ('', (29.0446196326149, 8.5, 28.6898703536805));
#12380 = DIRECTION ('', (-0.194295491933101, 0., 2.7785549853197));
#12390 = VECTOR ('', #12380, 2.78533993340678);
#12400 = LINE ('', #12370, #12390);
#12410 = EDGE_CURVE ('', #12280, #12360, #12400, .T.);
#12420 = ORIENTED_EDGE ('', *, *, #12410, .T.);
#12430 = CARTESIAN_POINT ('', (31.716616643131, 8.5, 28.9767952799191));
#12440 = VERTEX_POINT ('', #12430);
#12450 = CARTESIAN_POINT ('', (28.8503241406818, 8.5, 31.4684253390002));
#12460 = DIRECTION ('', (2.8662925024492, 0., -2.4916300590811));
#12470 = VECTOR ('', #12460, 3.79787480848342);
#12480 = LINE ('', #12450, #12470);
#12490 = EDGE_CURVE ('', #12360, #12440, #12480, .T.);
#12500 = ORIENTED_EDGE ('', *, *, #12490, .T.);
#12510 = CARTESIAN_POINT ('', (31.0326650224875, 8.5, 33.8433639330213));
#12520 = VERTEX_POINT ('', #12510);
#12530 = CARTESIAN_POINT ('', (31.716616643131, 8.5, 28.9767952799191));
#12540 = DIRECTION ('', (-0.683951620643501, 0., 4.8665686531022));
#12550 = VECTOR ('', #12540, 4.9143952094574);
#12560 = LINE ('', #12530, #12550);
#12570 = EDGE_CURVE ('', #12440, #12520, #12560, .T.);
#12580 = ORIENTED_EDGE ('', *, *, #12570, .T.);
#12590 = CARTESIAN_POINT ('', (30.3946733919933, 8.5, 33.7537000567385));
#12600 = VERTEX_POINT ('', #12590);
#12610 = CARTESIAN_POINT ('', (31.0326650224875, 8.5, 33.8433639330213));
#12620 = DIRECTION ('', (-0.637991630494199, 0., -0.089663876282799));
#12630 = VECTOR ('', #12620, 0.644261539509152);
#12640 = LINE ('', #12610, #12630);
#12650 = EDGE_CURVE ('', #12520, #12600, #12640, .T.);
#12660 = ORIENTED_EDGE ('', *, *, #12650, .T.);
#12670 = CARTESIAN_POINT ('', (30.6471470928074, 8.5, 34.0887439739992));
#12680 = VERTEX_POINT ('', #12670);
#12690 = CARTESIAN_POINT ('', (30.3946733919933, 8.5, 33.7537000567385));
#12700 = DIRECTION ('', (0.2524737008141, 0., 0.335043917260698));
#12710 = VECTOR ('', #12700, 0.419520435850462);
#12720 = LINE ('', #12690, #12710);
#12730 = EDGE_CURVE ('', #12600, #12680, #12720, .T.);
#12740 = ORIENTED_EDGE ('', *, *, #12730, .T.);
#12750 = CARTESIAN_POINT ('', (49.3510138169716, 8.5, 35.3966457450362));
#12760 = VERTEX_POINT ('', #12750);
#12770 = CARTESIAN_POINT ('', (30.6471470928074, 8.5, 34.0887439739992));
#12780 = DIRECTION ('', (18.7038667241642, 0., 1.307901771037));
#12790 = VECTOR ('', #12780, 18.7495396604284);
#12800 = LINE ('', #12770, #12790);
#12810 = EDGE_CURVE ('', #12680, #12760, #12800, .T.);
#12820 = ORIENTED_EDGE ('', *, *, #12810, .T.);
#12830 = CARTESIAN_POINT ('', (49.6476595620079, 8.5, 35.1));
#12840 = VERTEX_POINT ('', #12830);
#12850 = CARTESIAN_POINT ('', (49.6476595620079, 8.5, 35.1));
#12860 = DIRECTION ('', (-0.296645745036301, 0., 0.296645745036201));
#12870 = VECTOR ('', #12860, 0.419520435850538);
#12880 = LINE ('', #12850, #12870);
#12890 = EDGE_CURVE ('', #12840, #12760, #12880, .T.);
#12900 = ORIENTED_EDGE ('', *, *, #12890, .F.);
#12910 = CARTESIAN_POINT ('', (49.0033980224986, 8.5, 35.1));
#12920 = VERTEX_POINT ('', #12910);
#12930 = CARTESIAN_POINT ('', (49.0033980224986, 8.5, 35.1));
#12940 = DIRECTION ('', (0.644261539509301, 0., 0.));
#12950 = VECTOR ('', #12940, 0.644261539509301);
#12960 = LINE ('', #12930, #12950);
#12970 = EDGE_CURVE ('', #12920, #12840, #12960, .T.);
#12980 = ORIENTED_EDGE ('', *, *, #12970, .F.);
#12990 = CARTESIAN_POINT ('', (49.0033980224986, 8.5, 30.1856047905426));
#13000 = VERTEX_POINT ('', #12990);
#13010 = CARTESIAN_POINT ('', (49.0033980224986, 8.5, 30.1856047905426));
#13020 = DIRECTION ('', (0., 0., 4.9143952094574));
#13030 = VECTOR ('', #13020, 4.9143952094574);
#13040 = LINE ('', #13010, #13030);
#13050 = EDGE_CURVE ('', #13000, #12920, #13040, .T.);
#13060 = ORIENTED_EDGE ('', *, *, #13050, .F.);
#13070 = CARTESIAN_POINT ('', (51.4950280815798, 8.5, 33.0518972929917));
#13080 = VERTEX_POINT ('', #13070);
#13090 = CARTESIAN_POINT ('', (51.4950280815798, 8.5, 33.0518972929917));
#13100 = DIRECTION ('', (-2.4916300590812, 0., -2.8662925024491));
#13110 = VECTOR ('', #13100, 3.7978748084834);
#13120 = LINE ('', #13090, #13110);
#13130 = EDGE_CURVE ('', #13080, #13000, #13120, .T.);
#13140 = ORIENTED_EDGE ('', *, *, #13130, .F.);
#13150 = CARTESIAN_POINT ('', (51.689323573513, 8.5, 30.273342307672));
#13160 = DIRECTION ('', (-0.194295491933204, 0., 2.7785549853197));
#13170 = VECTOR ('', #13160, 2.78533993340678);
#13180 = LINE ('', #13150, #13170);
#13190 = EDGE_CURVE ('', #12260, #13080, #13180, .T.);
#13200 = ORIENTED_EDGE ('', *, *, #13190, .F.);
#13210 = EDGE_LOOP ('', (#12340, #12420, #12500, #12580, #12660, #12740, #12820, #12900, #12980, #13060, #13140, #13200));
#13220 = FACE_OUTER_BOUND ('', #13210, .F.);
#13230 = CARTESIAN_POINT ('', (51.690390894037, 8.5, 30.2724145000955));
#13240 = CARTESIAN_POINT ('', (51.322360232915, 8.5, 35.5354981570375));
#13250 = CARTESIAN_POINT ('', (29.0436918250384, 8.5, 28.6888030331565));
#13260 = CARTESIAN_POINT ('', (28.6756611639164, 8.5, 33.9518866900985));
#13270 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13230, #13240), (#13250, #13260)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-23.351, -0.648999999999999), (0.0680719728867327, 5.34400754371164), .UNSPECIFIED.);
#13280 = ADVANCED_FACE ('', (#13220), #13270, .F.);
#13290 = CARTESIAN_POINT ('', (30.6471470928074, 11., 34.0887439739992));
#13300 = VERTEX_POINT ('', #13290);
#13310 = CARTESIAN_POINT ('', (49.3510138169716, 11., 35.3966457450362));
#13320 = VERTEX_POINT ('', #13310);
#13330 = CARTESIAN_POINT ('', (30.6471470928074, 11., 34.0887439739992));
#13340 = DIRECTION ('', (18.7038667241642, 0., 1.307901771037));
#13350 = VECTOR ('', #13340, 18.7495396604284);
#13360 = LINE ('', #13330, #13350);
#13370 = EDGE_CURVE ('', #13300, #13320, #13360, .T.);
#13380 = ORIENTED_EDGE ('', *, *, #13370, .F.);
#13390 = CARTESIAN_POINT ('', (30.3946733919933, 11., 33.7537000567385));
#13400 = VERTEX_POINT ('', #13390);
#13410 = CARTESIAN_POINT ('', (30.6471470928074, 11., 34.0887439739992));
#13420 = DIRECTION ('', (-0.2524737008141, 0., -0.335043917260698));
#13430 = VECTOR ('', #13420, 0.419520435850462);
#13440 = LINE ('', #13410, #13430);
#13450 = EDGE_CURVE ('', #13300, #13400, #13440, .T.);
#13460 = ORIENTED_EDGE ('', *, *, #13450, .T.);
#13470 = CARTESIAN_POINT ('', (31.0326650224875, 11., 33.8433639330213));
#13480 = VERTEX_POINT ('', #13470);
#13490 = CARTESIAN_POINT ('', (31.0326650224875, 11., 33.8433639330213));
#13500 = DIRECTION ('', (-0.637991630494199, 0., -0.089663876282799));
#13510 = VECTOR ('', #13500, 0.644261539509152);
#13520 = LINE ('', #13490, #13510);
#13530 = EDGE_CURVE ('', #13480, #13400, #13520, .T.);
#13540 = ORIENTED_EDGE ('', *, *, #13530, .F.);
#13550 = CARTESIAN_POINT ('', (31.716616643131, 11., 28.9767952799191));
#13560 = VERTEX_POINT ('', #13550);
#13570 = CARTESIAN_POINT ('', (31.716616643131, 11., 28.9767952799191));
#13580 = DIRECTION ('', (-0.683951620643501, 0., 4.8665686531022));
#13590 = VECTOR ('', #13580, 4.9143952094574);
#13600 = LINE ('', #13570, #13590);
#13610 = EDGE_CURVE ('', #13560, #13480, #13600, .T.);
#13620 = ORIENTED_EDGE ('', *, *, #13610, .F.);
#13630 = CARTESIAN_POINT ('', (28.8503241406818, 11., 31.4684253390002));
#13640 = VERTEX_POINT ('', #13630);
#13650 = CARTESIAN_POINT ('', (28.8503241406818, 11., 31.4684253390002));
#13660 = DIRECTION ('', (2.8662925024492, 0., -2.4916300590811));
#13670 = VECTOR ('', #13660, 3.79787480848342);
#13680 = LINE ('', #13650, #13670);
#13690 = EDGE_CURVE ('', #13640, #13560, #13680, .T.);
#13700 = ORIENTED_EDGE ('', *, *, #13690, .F.);
#13710 = CARTESIAN_POINT ('', (29.0446196326149, 11., 28.6898703536805));
#13720 = VERTEX_POINT ('', #13710);
#13730 = CARTESIAN_POINT ('', (29.0446196326149, 11., 28.6898703536805));
#13740 = DIRECTION ('', (-0.194295491933101, 0., 2.7785549853197));
#13750 = VECTOR ('', #13740, 2.78533993340678);
#13760 = LINE ('', #13730, #13750);
#13770 = EDGE_CURVE ('', #13720, #13640, #13760, .T.);
#13780 = ORIENTED_EDGE ('', *, *, #13770, .F.);
#13790 = CARTESIAN_POINT ('', (51.689323573513, 11., 30.273342307672));
#13800 = VERTEX_POINT ('', #13790);
#13810 = CARTESIAN_POINT ('', (51.689323573513, 11., 30.273342307672));
#13820 = DIRECTION ('', (-22.6447039408981, 0., -1.5834719539915));
#13830 = VECTOR ('', #13820, 22.7000000000001);
#13840 = LINE ('', #13810, #13830);
#13850 = EDGE_CURVE ('', #13800, #13720, #13840, .T.);
#13860 = ORIENTED_EDGE ('', *, *, #13850, .F.);
#13870 = CARTESIAN_POINT ('', (51.4950280815798, 11., 33.0518972929917));
#13880 = VERTEX_POINT ('', #13870);
#13890 = CARTESIAN_POINT ('', (51.689323573513, 11., 30.273342307672));
#13900 = DIRECTION ('', (-0.194295491933204, 0., 2.7785549853197));
#13910 = VECTOR ('', #13900, 2.78533993340678);
#13920 = LINE ('', #13890, #13910);
#13930 = EDGE_CURVE ('', #13800, #13880, #13920, .T.);
#13940 = ORIENTED_EDGE ('', *, *, #13930, .T.);
#13950 = CARTESIAN_POINT ('', (49.0033980224986, 11., 30.1856047905426));
#13960 = VERTEX_POINT ('', #13950);
#13970 = CARTESIAN_POINT ('', (51.4950280815798, 11., 33.0518972929917));
#13980 = DIRECTION ('', (-2.4916300590812, 0., -2.8662925024491));
#13990 = VECTOR ('', #13980, 3.7978748084834);
#14000 = LINE ('', #13970, #13990);
#14010 = EDGE_CURVE ('', #13880, #13960, #14000, .T.);
#14020 = ORIENTED_EDGE ('', *, *, #14010, .T.);
#14030 = CARTESIAN_POINT ('', (49.0033980224986, 11., 35.1));
#14040 = VERTEX_POINT ('', #14030);
#14050 = CARTESIAN_POINT ('', (49.0033980224986, 11., 30.1856047905426));
#14060 = DIRECTION ('', (0., 0., 4.9143952094574));
#14070 = VECTOR ('', #14060, 4.9143952094574);
#14080 = LINE ('', #14050, #14070);
#14090 = EDGE_CURVE ('', #13960, #14040, #14080, .T.);
#14100 = ORIENTED_EDGE ('', *, *, #14090, .T.);
#14110 = CARTESIAN_POINT ('', (49.6476595620079, 11., 35.1));
#14120 = VERTEX_POINT ('', #14110);
#14130 = CARTESIAN_POINT ('', (49.0033980224986, 11., 35.1));
#14140 = DIRECTION ('', (0.644261539509301, 0., 0.));
#14150 = VECTOR ('', #14140, 0.644261539509301);
#14160 = LINE ('', #14130, #14150);
#14170 = EDGE_CURVE ('', #14040, #14120, #14160, .T.);
#14180 = ORIENTED_EDGE ('', *, *, #14170, .T.);
#14190 = CARTESIAN_POINT ('', (49.3510138169716, 11., 35.3966457450362));
#14200 = DIRECTION ('', (0.296645745036301, 0., -0.296645745036201));
#14210 = VECTOR ('', #14200, 0.419520435850538);
#14220 = LINE ('', #14190, #14210);
#14230 = EDGE_CURVE ('', #13320, #14120, #14220, .T.);
#14240 = ORIENTED_EDGE ('', *, *, #14230, .F.);
#14250 = EDGE_LOOP ('', (#13380, #13460, #13540, #13620, #13700, #13780, #13860, #13940, #14020, #14100, #14180, #14240));
#14260 = FACE_OUTER_BOUND ('', #14250, .F.);
#14270 = CARTESIAN_POINT ('', (29.0436918250384, 11., 28.6888030331565));
#14280 = CARTESIAN_POINT ('', (28.6756611639165, 11., 33.9518866900985));
#14290 = CARTESIAN_POINT ('', (51.690390894037, 11., 30.2724145000955));
#14300 = CARTESIAN_POINT ('', (51.3223602329151, 11., 35.5354981570375));
#14310 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14270, #14280), (#14290, #14300)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.648999999999997, 23.351), (0.0680719728867327, 5.34400754371165), .UNSPECIFIED.);
#14320 = ADVANCED_FACE ('', (#14260), #14310, .F.);
#14330 = ORIENTED_EDGE ('', *, *, #12810, .F.);
#14340 = CARTESIAN_POINT ('', (30.6471470928074, 8.5, 34.0887439739992));
#14350 = DIRECTION ('', (0., 2.5, 0.));
#14360 = VECTOR ('', #14350, 2.5);
#14370 = LINE ('', #14340, #14360);
#14380 = EDGE_CURVE ('', #12680, #13300, #14370, .T.);
#14390 = ORIENTED_EDGE ('', *, *, #14380, .T.);
#14400 = ORIENTED_EDGE ('', *, *, #13370, .T.);
#14410 = CARTESIAN_POINT ('', (49.3510138169716, 8.5, 35.3966457450362));
#14420 = DIRECTION ('', (0., 2.5, 0.));
#14430 = VECTOR ('', #14420, 2.5);
#14440 = LINE ('', #14410, #14430);
#14450 = EDGE_CURVE ('', #12760, #13320, #14440, .T.);
#14460 = ORIENTED_EDGE ('', *, *, #14450, .F.);
#14470 = EDGE_LOOP ('', (#14330, #14390, #14400, #14460));
#14480 = FACE_OUTER_BOUND ('', #14470, .F.);
#14490 = CARTESIAN_POINT ('', (30.6461495287571, 11.001, 34.0886742175255));
#14500 = CARTESIAN_POINT ('', (30.6461495287571, 8.499, 34.0886742175255));
#14510 = CARTESIAN_POINT ('', (49.3520113810219, 11.001, 35.39671550151));
#14520 = CARTESIAN_POINT ('', (49.3520113810219, 8.499, 35.39671550151));
#14530 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14490, #14500), (#14510, #14520)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-19.5937699747846, -0.84223031435619), (-11.351, -8.849), .UNSPECIFIED.);
#14540 = ADVANCED_FACE ('', (#14480), #14530, .F.);
#14550 = ORIENTED_EDGE ('', *, *, #13850, .T.);
#14560 = CARTESIAN_POINT ('', (29.0446196326149, 11., 28.6898703536805));
#14570 = DIRECTION ('', (0., -2.5, 0.));
#14580 = VECTOR ('', #14570, 2.5);
#14590 = LINE ('', #14560, #14580);
#14600 = EDGE_CURVE ('', #13720, #12280, #14590, .T.);
#14610 = ORIENTED_EDGE ('', *, *, #14600, .T.);
#14620 = ORIENTED_EDGE ('', *, *, #12330, .F.);
#14630 = CARTESIAN_POINT ('', (51.689323573513, 11., 30.273342307672));
#14640 = DIRECTION ('', (0., -2.5, 0.));
#14650 = VECTOR ('', #14640, 2.5);
#14660 = LINE ('', #14630, #14650);
#14670 = EDGE_CURVE ('', #13800, #12260, #14660, .T.);
#14680 = ORIENTED_EDGE ('', *, *, #14670, .F.);
#14690 = EDGE_LOOP ('', (#14550, #14610, #14620, #14680));
#14700 = FACE_OUTER_BOUND ('', #14690, .F.);
#14710 = CARTESIAN_POINT ('', (51.6903211375632, 11.001, 30.2734120641458));
#14720 = CARTESIAN_POINT ('', (51.6903211375632, 8.499, 30.2734120641458));
#14730 = CARTESIAN_POINT ('', (29.0436220685647, 11.001, 28.6898005972068));
#14740 = CARTESIAN_POINT ('', (29.0436220685647, 8.499, 28.6898005972068));
#14750 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14710, #14720), (#14730, #14740)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000833, 22.701), (-11.351, -8.849), .UNSPECIFIED.);
#14760 = ADVANCED_FACE ('', (#14700), #14750, .F.);
#14770 = ORIENTED_EDGE ('', *, *, #12890, .T.);
#14780 = ORIENTED_EDGE ('', *, *, #14450, .T.);
#14790 = ORIENTED_EDGE ('', *, *, #14230, .T.);
#14800 = CARTESIAN_POINT ('', (49.6476595620079, 11., 35.1));
#14810 = DIRECTION ('', (0., -2.5, 0.));
#14820 = VECTOR ('', #14810, 2.5);
#14830 = LINE ('', #14800, #14820);
#14840 = EDGE_CURVE ('', #14120, #12840, #14830, .T.);
#14850 = ORIENTED_EDGE ('', *, *, #14840, .T.);
#14860 = EDGE_LOOP ('', (#14770, #14780, #14790, #14850));
#14870 = FACE_OUTER_BOUND ('', #14860, .F.);
#14880 = CARTESIAN_POINT ('', (49.3500162529214, 11.001, 35.3976433090865));
#14890 = CARTESIAN_POINT ('', (49.3500162529214, 8.499, 35.3976433090865));
#14900 = CARTESIAN_POINT ('', (49.6486571260581, 11.001, 35.0990024359497));
#14910 = CARTESIAN_POINT ('', (49.6486571260581, 8.499, 35.0990024359497));
#14920 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14880, #14890), (#14900, #14910)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141076860921263, 0.420931204459756), (2.86537329040166, 5.36737329040166), .UNSPECIFIED.);
#14930 = ADVANCED_FACE ('', (#14870), #14920, .F.);
#14940 = ORIENTED_EDGE ('', *, *, #14840, .F.);
#14950 = ORIENTED_EDGE ('', *, *, #14170, .F.);
#14960 = CARTESIAN_POINT ('', (52.0033980224986, 11.25, 35.1));
#14970 = VERTEX_POINT ('', #14960);
#14980 = CARTESIAN_POINT ('', (52.0033980224986, 11.25, 35.1));
#14990 = DIRECTION ('', (-3., -0.25, 0.));
#15000 = VECTOR ('', #14990, 3.01039864469807);
#15010 = LINE ('', #14980, #15000);
#15020 = EDGE_CURVE ('', #14970, #14040, #15010, .T.);
#15030 = ORIENTED_EDGE ('', *, *, #15020, .F.);
#15040 = CARTESIAN_POINT ('', (52.0033980224986, 8.25, 35.1));
#15050 = VERTEX_POINT ('', #15040);
#15060 = CARTESIAN_POINT ('', (52.0033980224986, 11.25, 35.1));
#15070 = DIRECTION ('', (0., -3., 0.));
#15080 = VECTOR ('', #15070, 3.);
#15090 = LINE ('', #15060, #15080);
#15100 = EDGE_CURVE ('', #14970, #15050, #15090, .T.);
#15110 = ORIENTED_EDGE ('', *, *, #15100, .T.);
#15120 = CARTESIAN_POINT ('', (52.0033980224986, 8.25, 35.1));
#15130 = DIRECTION ('', (-3., 0.25, 0.));
#15140 = VECTOR ('', #15130, 3.01039864469807);
#15150 = LINE ('', #15120, #15140);
#15160 = EDGE_CURVE ('', #15050, #12920, #15150, .T.);
#15170 = ORIENTED_EDGE ('', *, *, #15160, .T.);
#15180 = ORIENTED_EDGE ('', *, *, #12970, .T.);
#15190 = EDGE_LOOP ('', (#14940, #14950, #15030, #15110, #15170, #15180));
#15200 = FACE_OUTER_BOUND ('', #15190, .F.);
#15210 = CARTESIAN_POINT ('', (49.0023307019746, 11.251, 35.1));
#15220 = CARTESIAN_POINT ('', (49.0023307019746, 8.249, 35.1));
#15230 = CARTESIAN_POINT ('', (52.0044653430226, 11.251, 35.1));
#15240 = CARTESIAN_POINT ('', (52.0044653430226, 8.249, 35.1));
#15250 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15210, #15220), (#15230, #15240)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052400638, 3.001067320524), (2.61537329040166, 5.61737329040166), .UNSPECIFIED.);
#15260 = ADVANCED_FACE ('', (#15200), #15250, .F.);
#15270 = CARTESIAN_POINT ('', (51.4950280815798, 11., 33.0518972929917));
#15280 = DIRECTION ('', (0., -2.5, 0.));
#15290 = VECTOR ('', #15280, 2.5);
#15300 = LINE ('', #15270, #15290);
#15310 = EDGE_CURVE ('', #13880, #13080, #15300, .T.);
#15320 = ORIENTED_EDGE ('', *, *, #15310, .T.);
#15330 = ORIENTED_EDGE ('', *, *, #13130, .T.);
#15340 = CARTESIAN_POINT ('', (52.0033980224986, 8.25, 33.6367100122055));
#15350 = VERTEX_POINT ('', #15340);
#15360 = CARTESIAN_POINT ('', (49.0033980224986, 8.5, 30.1856047905426));
#15370 = DIRECTION ('', (3., -0.25, 3.4511052216629));
#15380 = VECTOR ('', #15370, 4.57958810931605);
#15390 = LINE ('', #15360, #15380);
#15400 = EDGE_CURVE ('', #13000, #15350, #15390, .T.);
#15410 = ORIENTED_EDGE ('', *, *, #15400, .T.);
#15420 = CARTESIAN_POINT ('', (52.0033980224986, 11.25, 33.6367100122055));
#15430 = VERTEX_POINT ('', #15420);
#15440 = CARTESIAN_POINT ('', (52.0033980224986, 11.25, 33.6367100122055));
#15450 = DIRECTION ('', (0., -3., 0.));
#15460 = VECTOR ('', #15450, 3.);
#15470 = LINE ('', #15440, #15460);
#15480 = EDGE_CURVE ('', #15430, #15350, #15470, .T.);
#15490 = ORIENTED_EDGE ('', *, *, #15480, .F.);
#15500 = CARTESIAN_POINT ('', (49.0033980224986, 11., 30.1856047905426));
#15510 = DIRECTION ('', (3., 0.25, 3.4511052216629));
#15520 = VECTOR ('', #15510, 4.57958810931605);
#15530 = LINE ('', #15500, #15520);
#15540 = EDGE_CURVE ('', #13960, #15430, #15530, .T.);
#15550 = ORIENTED_EDGE ('', *, *, #15540, .F.);
#15560 = ORIENTED_EDGE ('', *, *, #14010, .F.);
#15570 = EDGE_LOOP ('', (#15320, #15330, #15410, #15490, #15550, #15560));
#15580 = FACE_OUTER_BOUND ('', #15570, .F.);
#15590 = CARTESIAN_POINT ('', (52.0043258300752, 11.251, 33.6377773327295));
#15600 = CARTESIAN_POINT ('', (52.0043258300752, 8.249, 33.6377773327295));
#15610 = CARTESIAN_POINT ('', (49.0024702149221, 11.251, 30.1845374700186));
#15620 = CARTESIAN_POINT ('', (49.0024702149221, 8.249, 30.1845374700186));
#15630 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15590, #15600), (#15610, #15620)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.79928902204581, 0.776298665196319), (32.249, 35.251), .UNSPECIFIED.);
#15640 = ADVANCED_FACE ('', (#15580), #15630, .F.);
#15650 = ORIENTED_EDGE ('', *, *, #13930, .F.);
#15660 = ORIENTED_EDGE ('', *, *, #14670, .T.);
#15670 = ORIENTED_EDGE ('', *, *, #13190, .T.);
#15680 = ORIENTED_EDGE ('', *, *, #15310, .F.);
#15690 = EDGE_LOOP ('', (#15650, #15660, #15670, #15680));
#15700 = FACE_OUTER_BOUND ('', #15690, .F.);
#15710 = CARTESIAN_POINT ('', (51.6893933299867, 11.001, 30.2723447436218));
#15720 = CARTESIAN_POINT ('', (51.4949583251061, 11.001, 33.052894857042));
#15730 = CARTESIAN_POINT ('', (51.6893933299867, 8.499, 30.2723447436218));
#15740 = CARTESIAN_POINT ('', (51.4949583251061, 8.499, 33.052894857042));
#15750 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15710, #15720), (#15730, #15740)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-35.001, -32.499), (0.213660066593214, 3.001), .UNSPECIFIED.);
#15760 = ADVANCED_FACE ('', (#15700), #15750, .F.);
#15770 = ORIENTED_EDGE ('', *, *, #15480, .T.);
#15780 = CARTESIAN_POINT ('', (52.0033980224986, 8.25, 33.6367100122055));
#15790 = DIRECTION ('', (0., 0., 1.4632899877945));
#15800 = VECTOR ('', #15790, 1.4632899877945);
#15810 = LINE ('', #15780, #15800);
#15820 = EDGE_CURVE ('', #15350, #15050, #15810, .T.);
#15830 = ORIENTED_EDGE ('', *, *, #15820, .T.);
#15840 = ORIENTED_EDGE ('', *, *, #15100, .F.);
#15850 = CARTESIAN_POINT ('', (52.0033980224986, 11.25, 33.6367100122055));
#15860 = DIRECTION ('', (0., 0., 1.4632899877945));
#15870 = VECTOR ('', #15860, 1.4632899877945);
#15880 = LINE ('', #15850, #15870);
#15890 = EDGE_CURVE ('', #15430, #14970, #15880, .T.);
#15900 = ORIENTED_EDGE ('', *, *, #15890, .F.);
#15910 = EDGE_LOOP ('', (#15770, #15830, #15840, #15900));
#15920 = FACE_OUTER_BOUND ('', #15910, .F.);
#15930 = CARTESIAN_POINT ('', (52.0033980224986, 11.251, 35.101067320524));
#15940 = CARTESIAN_POINT ('', (52.0033980224986, 8.249, 35.101067320524));
#15950 = CARTESIAN_POINT ('', (52.0033980224986, 11.251, 33.6356426916815));
#15960 = CARTESIAN_POINT ('', (52.0033980224986, 8.249, 33.6356426916815));
#15970 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15930, #15940), (#15950, #15960)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.46435730831845, 0.00106732052400371), (32.249, 35.251), .UNSPECIFIED.);
#15980 = ADVANCED_FACE ('', (#15920), #15970, .F.);
#15990 = ORIENTED_EDGE ('', *, *, #15400, .F.);
#16000 = ORIENTED_EDGE ('', *, *, #13050, .T.);
#16010 = ORIENTED_EDGE ('', *, *, #15160, .F.);
#16020 = ORIENTED_EDGE ('', *, *, #15820, .F.);
#16030 = EDGE_LOOP ('', (#15990, #16000, #16010, #16020));
#16040 = FACE_OUTER_BOUND ('', #16030, .F.);
#16050 = CARTESIAN_POINT ('', (52.3297718370939, 8.22280218211707, 30.4157520687198));
#16060 = CARTESIAN_POINT ('', (51.9898041842178, 8.25113281985674, 35.3112782601749));
#16070 = CARTESIAN_POINT ('', (49.0024946390428, 8.50007528195465, 30.1830861818078));
#16080 = CARTESIAN_POINT ('', (48.6625269861667, 8.52840591969432, 35.0786123732629));
#16090 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16050, #16060), (#16070, #16080)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.486886094943818, 2.86002103545232), (2.27575753352009, 7.18315575673977), .UNSPECIFIED.);
#16100 = ADVANCED_FACE ('', (#16040), #16090, .F.);
#16110 = ORIENTED_EDGE ('', *, *, #14090, .F.);
#16120 = ORIENTED_EDGE ('', *, *, #15540, .T.);
#16130 = ORIENTED_EDGE ('', *, *, #15890, .T.);
#16140 = ORIENTED_EDGE ('', *, *, #15020, .T.);
#16150 = EDGE_LOOP ('', (#16110, #16120, #16130, #16140));
#16160 = FACE_OUTER_BOUND ('', #16150, .F.);
#16170 = CARTESIAN_POINT ('', (49.0024946390428, 10.9999247180453, 30.1830861818078));
#16180 = CARTESIAN_POINT ('', (48.6625269861667, 10.9715940803057, 35.0786123732629));
#16190 = CARTESIAN_POINT ('', (52.3297718370939, 11.2771978178829, 30.4157520687198));
#16200 = CARTESIAN_POINT ('', (51.9898041842178, 11.2488671801433, 35.3112782601749));
#16210 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16170, #16180), (#16190, #16200)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.486886094943818, 2.86002103545232), (2.27575753352009, 7.18315575673977), .UNSPECIFIED.);
#16220 = ADVANCED_FACE ('', (#16160), #16210, .F.);
#16230 = ORIENTED_EDGE ('', *, *, #12730, .F.);
#16240 = CARTESIAN_POINT ('', (30.3946733919933, 11., 33.7537000567385));
#16250 = DIRECTION ('', (0., -2.5, 0.));
#16260 = VECTOR ('', #16250, 2.5);
#16270 = LINE ('', #16240, #16260);
#16280 = EDGE_CURVE ('', #13400, #12600, #16270, .T.);
#16290 = ORIENTED_EDGE ('', *, *, #16280, .F.);
#16300 = ORIENTED_EDGE ('', *, *, #13450, .F.);
#16310 = ORIENTED_EDGE ('', *, *, #14380, .F.);
#16320 = EDGE_LOOP ('', (#16230, #16290, #16300, #16310));
#16330 = FACE_OUTER_BOUND ('', #16320, .F.);
#16340 = CARTESIAN_POINT ('', (30.6479961145506, 8.499, 34.089870663907));
#16350 = CARTESIAN_POINT ('', (30.6479961145506, 11.001, 34.089870663907));
#16360 = CARTESIAN_POINT ('', (30.39382437025, 8.499, 33.7525733668307));
#16370 = CARTESIAN_POINT ('', (30.39382437025, 11.001, 33.7525733668307));
#16380 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16340, #16350), (#16360, #16370)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141076860921263, 0.420931204459755), (-5.36737329040166, -2.86537329040166), .UNSPECIFIED.);
#16390 = ADVANCED_FACE ('', (#16330), #16380, .F.);
#16400 = ORIENTED_EDGE ('', *, *, #16280, .T.);
#16410 = ORIENTED_EDGE ('', *, *, #12650, .F.);
#16420 = CARTESIAN_POINT ('', (28.0618608162628, 8.25, 33.4258446301411));
#16430 = VERTEX_POINT ('', #16420);
#16440 = CARTESIAN_POINT ('', (28.0618608162628, 8.25, 33.4258446301411));
#16450 = DIRECTION ('', (2.9708042062247, 0.25, 0.417519302880201));
#16460 = VECTOR ('', #16450, 3.01039864469806);
#16470 = LINE ('', #16440, #16460);
#16480 = EDGE_CURVE ('', #16430, #12520, #16470, .T.);
#16490 = ORIENTED_EDGE ('', *, *, #16480, .F.);
#16500 = CARTESIAN_POINT ('', (28.0618608162628, 11.25, 33.4258446301411));
#16510 = VERTEX_POINT ('', #16500);
#16520 = CARTESIAN_POINT ('', (28.0618608162628, 11.25, 33.4258446301411));
#16530 = DIRECTION ('', (0., -3., 0.));
#16540 = VECTOR ('', #16530, 3.);
#16550 = LINE ('', #16520, #16540);
#16560 = EDGE_CURVE ('', #16510, #16430, #16550, .T.);
#16570 = ORIENTED_EDGE ('', *, *, #16560, .F.);
#16580 = CARTESIAN_POINT ('', (28.0618608162628, 11.25, 33.4258446301411));
#16590 = DIRECTION ('', (2.9708042062247, -0.25, 0.417519302880201));
#16600 = VECTOR ('', #16590, 3.01039864469806);
#16610 = LINE ('', #16580, #16600);
#16620 = EDGE_CURVE ('', #16510, #13480, #16610, .T.);
#16630 = ORIENTED_EDGE ('', *, *, #16620, .T.);
#16640 = ORIENTED_EDGE ('', *, *, #13530, .T.);
#16650 = EDGE_LOOP ('', (#16400, #16410, #16490, #16570, #16630, #16640));
#16660 = FACE_OUTER_BOUND ('', #16650, .F.);
#16670 = CARTESIAN_POINT ('', (31.0337219559216, 8.249, 33.8435124753283));
#16680 = CARTESIAN_POINT ('', (31.0337219559216, 11.251, 33.8435124753283));
#16690 = CARTESIAN_POINT ('', (28.0608038828288, 8.249, 33.4256960878341));
#16700 = CARTESIAN_POINT ('', (28.0608038828288, 11.251, 33.4256960878341));
#16710 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16670, #16680), (#16690, #16700)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052400815, 3.001067320524), (-5.61737329040166, -2.61537329040166), .UNSPECIFIED.);
#16720 = ADVANCED_FACE ('', (#16660), #16710, .F.);
#16730 = CARTESIAN_POINT ('', (28.8503241406818, 11., 31.4684253390002));
#16740 = DIRECTION ('', (0., -2.5, 0.));
#16750 = VECTOR ('', #16740, 2.5);
#16760 = LINE ('', #16730, #16750);
#16770 = EDGE_CURVE ('', #13640, #12360, #16760, .T.);
#16780 = ORIENTED_EDGE ('', *, *, #16770, .F.);
#16790 = ORIENTED_EDGE ('', *, *, #13690, .T.);
#16800 = CARTESIAN_POINT ('', (28.265511421468, 11.25, 31.976795279919));
#16810 = VERTEX_POINT ('', #16800);
#16820 = CARTESIAN_POINT ('', (31.716616643131, 11., 28.9767952799191));
#16830 = DIRECTION ('', (-3.451105221663, 0.25, 2.9999999999999));
#16840 = VECTOR ('', #16830, 4.57958810931606);
#16850 = LINE ('', #16820, #16840);
#16860 = EDGE_CURVE ('', #13560, #16810, #16850, .T.);
#16870 = ORIENTED_EDGE ('', *, *, #16860, .T.);
#16880 = CARTESIAN_POINT ('', (28.265511421468, 8.25, 31.976795279919));
#16890 = VERTEX_POINT ('', #16880);
#16900 = CARTESIAN_POINT ('', (28.265511421468, 11.25, 31.976795279919));
#16910 = DIRECTION ('', (0., -3., 0.));
#16920 = VECTOR ('', #16910, 3.);
#16930 = LINE ('', #16900, #16920);
#16940 = EDGE_CURVE ('', #16810, #16890, #16930, .T.);
#16950 = ORIENTED_EDGE ('', *, *, #16940, .T.);
#16960 = CARTESIAN_POINT ('', (31.716616643131, 8.5, 28.9767952799191));
#16970 = DIRECTION ('', (-3.451105221663, -0.25, 2.9999999999999));
#16980 = VECTOR ('', #16970, 4.57958810931606);
#16990 = LINE ('', #16960, #16980);
#17000 = EDGE_CURVE ('', #12440, #16890, #16990, .T.);
#17010 = ORIENTED_EDGE ('', *, *, #17000, .F.);
#17020 = ORIENTED_EDGE ('', *, *, #12490, .F.);
#17030 = EDGE_LOOP ('', (#16780, #16790, #16870, #16950, #17010, #17020));
#17040 = FACE_OUTER_BOUND ('', #17030, .F.);
#17050 = CARTESIAN_POINT ('', (28.264444100944, 8.249, 31.9777230874956));
#17060 = CARTESIAN_POINT ('', (28.264444100944, 11.251, 31.9777230874956));
#17070 = CARTESIAN_POINT ('', (31.717683963655, 8.249, 28.9758674723426));
#17080 = CARTESIAN_POINT ('', (31.717683963655, 11.251, 28.9758674723426));
#17090 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17050, #17060), (#17070, #17080)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.79928902204581, 0.776298665196318), (-35.251, -32.249), .UNSPECIFIED.);
#17100 = ADVANCED_FACE ('', (#17040), #17090, .F.);
#17110 = ORIENTED_EDGE ('', *, *, #13770, .T.);
#17120 = ORIENTED_EDGE ('', *, *, #16770, .T.);
#17130 = ORIENTED_EDGE ('', *, *, #12410, .F.);
#17140 = ORIENTED_EDGE ('', *, *, #14600, .F.);
#17150 = EDGE_LOOP ('', (#17110, #17120, #17130, #17140));
#17160 = FACE_OUTER_BOUND ('', #17150, .F.);
#17170 = CARTESIAN_POINT ('', (28.850254384208, 11.001, 31.4694229030505));
#17180 = CARTESIAN_POINT ('', (29.0446893890887, 11.001, 28.6888727896303));
#17190 = CARTESIAN_POINT ('', (28.850254384208, 8.499, 31.4694229030505));
#17200 = CARTESIAN_POINT ('', (29.0446893890887, 8.499, 28.6888727896303));
#17210 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17170, #17180), (#17190, #17200)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-35.001, -32.499), (-3.001, -0.213660066593214), .UNSPECIFIED.);
#17220 = ADVANCED_FACE ('', (#17160), #17210, .F.);
#17230 = ORIENTED_EDGE ('', *, *, #16940, .F.);
#17240 = CARTESIAN_POINT ('', (28.265511421468, 11.25, 31.976795279919));
#17250 = DIRECTION ('', (-0.203650605205198, 0., 1.4490493502221));
#17260 = VECTOR ('', #17250, 1.46328998779447);
#17270 = LINE ('', #17240, #17260);
#17280 = EDGE_CURVE ('', #16810, #16510, #17270, .T.);
#17290 = ORIENTED_EDGE ('', *, *, #17280, .T.);
#17300 = ORIENTED_EDGE ('', *, *, #16560, .T.);
#17310 = CARTESIAN_POINT ('', (28.265511421468, 8.25, 31.976795279919));
#17320 = DIRECTION ('', (-0.203650605205198, 0., 1.4490493502221));
#17330 = VECTOR ('', #17320, 1.46328998779447);
#17340 = LINE ('', #17310, #17330);
#17350 = EDGE_CURVE ('', #16890, #16430, #17340, .T.);
#17360 = ORIENTED_EDGE ('', *, *, #17350, .F.);
#17370 = EDGE_LOOP ('', (#17230, #17290, #17300, #17360));
#17380 = FACE_OUTER_BOUND ('', #17370, .F.);
#17390 = CARTESIAN_POINT ('', (28.0617122739558, 8.249, 33.4269015635752));
#17400 = CARTESIAN_POINT ('', (28.0617122739558, 11.251, 33.4269015635752));
#17410 = CARTESIAN_POINT ('', (28.265659963775, 8.249, 31.975738346485));
#17420 = CARTESIAN_POINT ('', (28.265659963775, 11.251, 31.975738346485));
#17430 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17390, #17400), (#17410, #17420)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.46435730831845, 0.00106732052400327), (-35.251, -32.249), .UNSPECIFIED.);
#17440 = ADVANCED_FACE ('', (#17380), #17430, .F.);
#17450 = ORIENTED_EDGE ('', *, *, #17000, .T.);
#17460 = ORIENTED_EDGE ('', *, *, #17350, .T.);
#17470 = ORIENTED_EDGE ('', *, *, #16480, .T.);
#17480 = ORIENTED_EDGE ('', *, *, #12570, .F.);
#17490 = EDGE_LOOP ('', (#17450, #17460, #17470, #17480));
#17500 = FACE_OUTER_BOUND ('', #17490, .F.);
#17510 = CARTESIAN_POINT ('', (28.04591810961, 8.25113281985674, 33.6369586414391));
#17520 = CARTESIAN_POINT ('', (28.3905845594578, 8.22280218211706, 28.7417610218762));
#17530 = CARTESIAN_POINT ('', (31.3731953076611, 8.52840591969433, 33.8696245283511));
#17540 = CARTESIAN_POINT ('', (31.7178617575089, 8.50007528195465, 28.9744269087882));
#17550 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17510, #17520), (#17530, #17540)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.486886094943818, 2.86002103545233), (-7.18315575673977, -2.27575753352009), .UNSPECIFIED.);
#17560 = ADVANCED_FACE ('', (#17500), #17550, .F.);
#17570 = ORIENTED_EDGE ('', *, *, #13610, .T.);
#17580 = ORIENTED_EDGE ('', *, *, #16620, .F.);
#17590 = ORIENTED_EDGE ('', *, *, #17280, .F.);
#17600 = ORIENTED_EDGE ('', *, *, #16860, .F.);
#17610 = EDGE_LOOP ('', (#17570, #17580, #17590, #17600));
#17620 = FACE_OUTER_BOUND ('', #17610, .F.);
#17630 = CARTESIAN_POINT ('', (31.3731953076611, 10.9715940803057, 33.8696245283511));
#17640 = CARTESIAN_POINT ('', (31.7178617575088, 10.9999247180453, 28.9744269087882));
#17650 = CARTESIAN_POINT ('', (28.04591810961, 11.2488671801433, 33.6369586414391));
#17660 = CARTESIAN_POINT ('', (28.3905845594577, 11.2771978178829, 28.7417610218762));
#17670 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17630, #17640), (#17650, #17660)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.486886094943818, 2.86002103545233), (-7.18315575673977, -2.27575753352009), .UNSPECIFIED.);
#17680 = ADVANCED_FACE ('', (#17620), #17670, .F.);
#17690 = CLOSED_SHELL ('', (#13280, #14320, #14540, #14760, #14930, #15260, #15640, #15760, #15980, #16100, #16220, #16390, #16720, #17100, #17220, #17440, #17560, #17680));
#17700 = MANIFOLD_SOLID_BREP ('CUT', #17690);
#17710 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#17720 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#17730 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#17740 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #17710, 'DISTANCE_ACCURACY_VALUE', '');
#17750 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#17740))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#17710, #17720, #17730))
   REPRESENTATION_CONTEXT ('', '3D')
);
#17760 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#17770 = FILL_AREA_STYLE_COLOUR ('', #17760);
#17780 = FILL_AREA_STYLE ('', (#17770));
#17790 = SURFACE_STYLE_FILL_AREA (#17780);
#17800 = SURFACE_SIDE_STYLE ('', (#17790));
#17810 = SURFACE_STYLE_USAGE (.POSITIVE., #17800);
#17820 = PRESENTATION_STYLE_ASSIGNMENT ((#17810));
#17830 = STYLED_ITEM ('', (#17820), #17700);
#17840 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#17700), #17750);
#17850 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#17860 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #17850);
#17870 = MECHANICAL_CONTEXT ('', #17850, 'mechanical');
#17880 = PRODUCT ('NONE', '', '', (#17870));
#17890 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#17900 = PERSON ('', '', $, $, $, $);
#17910 = ORGANIZATION ($, '', '');
#17920 = PERSON_AND_ORGANIZATION (#17900, #17910);
#17930 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#17920, #17890, (#17880));
#17940 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#17880));
#17950 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #17880, .NOT_KNOWN.);
#17960 = APPROVAL_STATUS ('approved');
#17970 = APPROVAL (#17960, '');
#17980 = CALENDAR_DATE (2017, 25, 1);
#17990 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18000 = LOCAL_TIME (7, 25, 0., #17990);
#18010 = DATE_AND_TIME (#17980, #18000);
#18020 = APPROVAL_DATE_TIME (#18010, #17970);
#18030 = APPROVAL_ROLE ('');
#18040 = PERSON ('', '', $, $, $, $);
#18050 = ORGANIZATION ($, '', '');
#18060 = PERSON_AND_ORGANIZATION (#18040, #18050);
#18070 = APPROVAL_PERSON_ORGANIZATION (#18060, #17970, #18030);
#18080 = CC_DESIGN_APPROVAL (#17970, (#17950));
#18090 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#18100 = PERSON ('', '', $, $, $, $);
#18110 = ORGANIZATION ($, '', '');
#18120 = PERSON_AND_ORGANIZATION (#18100, #18110);
#18130 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18120, #18090, (#17950));
#18140 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#18150 = PERSON ('', '', $, $, $, $);
#18160 = ORGANIZATION ($, '', '');
#18170 = PERSON_AND_ORGANIZATION (#18150, #18160);
#18180 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18170, #18140, (#17950));
#18190 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#18200 = SECURITY_CLASSIFICATION ('', '', #18190);
#18210 = APPROVAL_STATUS ('approved');
#18220 = APPROVAL (#18210, '');
#18230 = CALENDAR_DATE (2017, 25, 1);
#18240 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18250 = LOCAL_TIME (7, 25, 0., #18240);
#18260 = DATE_AND_TIME (#18230, #18250);
#18270 = APPROVAL_DATE_TIME (#18260, #18220);
#18280 = APPROVAL_ROLE ('');
#18290 = PERSON ('', '', $, $, $, $);
#18300 = ORGANIZATION ($, '', '');
#18310 = PERSON_AND_ORGANIZATION (#18290, #18300);
#18320 = APPROVAL_PERSON_ORGANIZATION (#18310, #18220, #18280);
#18330 = CC_DESIGN_APPROVAL (#18220, (#18200));
#18340 = DATE_TIME_ROLE ('classification_date');
#18350 = CALENDAR_DATE (2017, 25, 1);
#18360 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18370 = LOCAL_TIME (7, 25, 0., #18360);
#18380 = DATE_AND_TIME (#18350, #18370);
#18390 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#18380, #18340, (#18200));
#18400 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#18410 = PERSON ('', '', $, $, $, $);
#18420 = ORGANIZATION ($, '', '');
#18430 = PERSON_AND_ORGANIZATION (#18410, #18420);
#18440 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18430, #18400, (#18200));
#18450 = CC_DESIGN_SECURITY_CLASSIFICATION (#18200, (#17950));
#18460 = DESIGN_CONTEXT ('', #17850, 'design');
#18470 = PRODUCT_DEFINITION ('', '', #17950, #18460);
#18480 = APPROVAL_STATUS ('approved');
#18490 = APPROVAL (#18480, '');
#18500 = CALENDAR_DATE (2017, 25, 1);
#18510 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18520 = LOCAL_TIME (7, 25, 0., #18510);
#18530 = DATE_AND_TIME (#18500, #18520);
#18540 = APPROVAL_DATE_TIME (#18530, #18490);
#18550 = APPROVAL_ROLE ('');
#18560 = PERSON ('', '', $, $, $, $);
#18570 = ORGANIZATION ($, '', '');
#18580 = PERSON_AND_ORGANIZATION (#18560, #18570);
#18590 = APPROVAL_PERSON_ORGANIZATION (#18580, #18490, #18550);
#18600 = CC_DESIGN_APPROVAL (#18490, (#18470));
#18610 = DATE_TIME_ROLE ('creation_date');
#18620 = CALENDAR_DATE (2017, 25, 1);
#18630 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18640 = LOCAL_TIME (7, 25, 0., #18630);
#18650 = DATE_AND_TIME (#18620, #18640);
#18660 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#18650, #18610, (#18470));
#18670 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#18680 = PERSON ('', '', $, $, $, $);
#18690 = ORGANIZATION ($, '', '');
#18700 = PERSON_AND_ORGANIZATION (#18680, #18690);
#18710 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18700, #18670, (#18470));
#18720 = PRODUCT_DEFINITION_SHAPE ('', '', #18470);
#18730 = SHAPE_DEFINITION_REPRESENTATION (#18720, #17840);
ENDSEC;
END-ISO-10303-21;