ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('q:\\engin oezkan\\lieferung_ksa\\comp\\step\\nacharbeit\\KSA 320895R-SA2403-44-\X\DCK.stp', '2017-04-25T11:33:43', ('Unknown'), ('TDM'), 'HarmonyWare STEP v2.0.2.9', 'T3D tool generator', '');
FILE_SCHEMA (('CONFIG_CONTROL_DESIGN'));
ENDSEC;

DATA;
#10 = CARTESIAN_POINT ('', (-8.00000000000001, -1.77635683940025E-15, 4.74935122446915));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (0., -1.77635683940025E-15, 4.74935122446915));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (-8.00000000000001, -1.77635683940025E-15, 4.74935122446915));
#60 = CARTESIAN_POINT ('', (0., -1.77635683940025E-15, 4.74935122446915));
#70 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#50, #60), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#80 = EDGE_CURVE ('', #20, #40, #70, .T.);
#90 = ORIENTED_EDGE ('', *, *, #80, .T.);
#100 = CARTESIAN_POINT ('', (0., 0., 7.));
#110 = VERTEX_POINT ('', #100);
#120 = CARTESIAN_POINT ('', (0., 0., 7.));
#130 = CARTESIAN_POINT ('', (0., -1.77635683940025E-15, 4.74935122446915));
#140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#120, #130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#150 = EDGE_CURVE ('', #110, #40, #140, .T.);
#160 = ORIENTED_EDGE ('', *, *, #150, .F.);
#170 = CARTESIAN_POINT ('', (8.50000000000001, -1.77635683940025E-15, 7.00000000000001));
#180 = VERTEX_POINT ('', #170);
#190 = CARTESIAN_POINT ('', (0., 0., 7.));
#200 = CARTESIAN_POINT ('', (8.50000000000001, -1.77635683940025E-15, 7.00000000000001));
#210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#190, #200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#220 = EDGE_CURVE ('', #110, #180, #210, .T.);
#230 = ORIENTED_EDGE ('', *, *, #220, .T.);
#240 = CARTESIAN_POINT ('', (8.50000000000001, -3.5527136788005E-15, -1.00000000000001));
#250 = VERTEX_POINT ('', #240);
#260 = CARTESIAN_POINT ('', (8.50000000000001, -3.5527136788005E-15, -1.00000000000001));
#270 = CARTESIAN_POINT ('', (8.50000000000001, -1.77635683940025E-15, 7.00000000000001));
#280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#260, #270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#290 = EDGE_CURVE ('', #250, #180, #280, .T.);
#300 = ORIENTED_EDGE ('', *, *, #290, .F.);
#310 = CARTESIAN_POINT ('', (17.2204306905663, -5.32907051820075E-15, -22.7564064605511));
#320 = VERTEX_POINT ('', #310);
#330 = CARTESIAN_POINT ('', (8.50000000000001, -3.5527136788005E-15, -1.00000000000001));
#340 = CARTESIAN_POINT ('', (8.50000000000001, -3.5527136788005E-15, -13.6258703270192));
#350 = CARTESIAN_POINT ('', (17.2204306905663, -5.32907051820075E-15, -22.7564064605511));
#360 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#330, #340, #350), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (180., 223.683926835205), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.928213588151513, 1.))
   REPRESENTATION_ITEM ('')
);
#370 = EDGE_CURVE ('', #250, #320, #360, .T.);
#380 = ORIENTED_EDGE ('', *, *, #370, .T.);
#390 = CARTESIAN_POINT ('', (-63.5, 0., -22.7564064605511));
#400 = VERTEX_POINT ('', #390);
#410 = CARTESIAN_POINT ('', (17.2204306905663, -5.32907051820075E-15, -22.7564064605511));
#420 = CARTESIAN_POINT ('', (-63.5, 0., -22.7564064605511));
#430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#410, #420), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#440 = EDGE_CURVE ('', #320, #400, #430, .T.);
#450 = ORIENTED_EDGE ('', *, *, #440, .T.);
#460 = CARTESIAN_POINT ('', (-63.5, 0., 4.95640646055107));
#470 = VERTEX_POINT ('', #460);
#480 = CARTESIAN_POINT ('', (-63.5, 0., -22.7564064605511));
#490 = CARTESIAN_POINT ('', (-63.5, 0., 4.95640646055107));
#500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#480, #490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#510 = EDGE_CURVE ('', #400, #470, #500, .T.);
#520 = ORIENTED_EDGE ('', *, *, #510, .T.);
#530 = CARTESIAN_POINT ('', (-8.00000000000001, 2.48689957516035E-14, 4.95640646055116));
#540 = VERTEX_POINT ('', #530);
#550 = CARTESIAN_POINT ('', (-8.00000000000001, 2.48689957516035E-14, 4.95640646055116));
#560 = CARTESIAN_POINT ('', (-63.5, 0., 4.95640646055107));
#570 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#550, #560), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#580 = EDGE_CURVE ('', #540, #470, #570, .T.);
#590 = ORIENTED_EDGE ('', *, *, #580, .F.);
#600 = CARTESIAN_POINT ('', (-8.00000000000001, -1.77635683940025E-15, 4.74935122446915));
#610 = CARTESIAN_POINT ('', (-8.00000000000001, 2.48689957516035E-14, 4.95640646055116));
#620 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#600, #610), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#630 = EDGE_CURVE ('', #20, #540, #620, .T.);
#640 = ORIENTED_EDGE ('', *, *, #630, .F.);
#650 = EDGE_LOOP ('', (#90, #160, #230, #300, #380, #450, #520, #590, #640));
#660 = FACE_OUTER_BOUND ('', #650, .T.);
#670 = CARTESIAN_POINT ('', (17.2214306905664, -5.32907051820075E-15, -22.7574064605511));
#680 = CARTESIAN_POINT ('', (17.2214306905664, -3.5527136788005E-15, 7.001));
#690 = CARTESIAN_POINT ('', (-63.501, 0., -22.7574064605511));
#700 = CARTESIAN_POINT ('', (-63.501, 0., 7.001));
#710 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#670, #680), (#690, #700)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-94.501, -13.7785693094336), (7.14259353944893, 36.901), .UNSPECIFIED.);
#720 = ADVANCED_FACE ('', (#660), #710, .T.);
#730 = CARTESIAN_POINT ('', (-8., -6.49999999999998, 6.69807621135342));
#740 = VERTEX_POINT ('', #730);
#750 = CARTESIAN_POINT ('', (-8., -6.66329931618547, 6.53477689516785));
#760 = VERTEX_POINT ('', #750);
#770 = CARTESIAN_POINT ('', (-8., -6.49999999999998, 6.69807621135342));
#780 = CARTESIAN_POINT ('', (-8., -6.66329931618547, 6.53477689516785));
#790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#770, #780), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#800 = EDGE_CURVE ('', #740, #760, #790, .T.);
#810 = ORIENTED_EDGE ('', *, *, #800, .F.);
#820 = CARTESIAN_POINT ('', (-63.5, -6.5, 6.69807621135332));
#830 = VERTEX_POINT ('', #820);
#840 = CARTESIAN_POINT ('', (-8., -6.49999999999998, 6.69807621135342));
#850 = CARTESIAN_POINT ('', (-63.5, -6.5, 6.69807621135332));
#860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#840, #850), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#870 = EDGE_CURVE ('', #740, #830, #860, .T.);
#880 = ORIENTED_EDGE ('', *, *, #870, .T.);
#890 = CARTESIAN_POINT ('', (-63.5, -8., 5.19807621135335));
#900 = VERTEX_POINT ('', #890);
#910 = CARTESIAN_POINT ('', (-63.5, -6.5, 6.69807621135332));
#920 = CARTESIAN_POINT ('', (-63.5, -8., 5.19807621135335));
#930 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#910, #920), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#940 = EDGE_CURVE ('', #830, #900, #930, .T.);
#950 = ORIENTED_EDGE ('', *, *, #940, .T.);
#960 = CARTESIAN_POINT ('', (0., -8., 5.19807621135335));
#970 = VERTEX_POINT ('', #960);
#980 = CARTESIAN_POINT ('', (0., -8., 5.19807621135335));
#990 = CARTESIAN_POINT ('', (-63.5, -8., 5.19807621135335));
#1000 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#980, #990), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1010 = EDGE_CURVE ('', #970, #900, #1000, .T.);
#1020 = ORIENTED_EDGE ('', *, *, #1010, .F.);
#1030 = CARTESIAN_POINT ('', (0., -6.66329931618547, 6.53477689516785));
#1040 = VERTEX_POINT ('', #1030);
#1050 = CARTESIAN_POINT ('', (0., -6.66329931618547, 6.53477689516785));
#1060 = CARTESIAN_POINT ('', (0., -8., 5.19807621135335));
#1070 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1050, #1060), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1080 = EDGE_CURVE ('', #1040, #970, #1070, .T.);
#1090 = ORIENTED_EDGE ('', *, *, #1080, .F.);
#1100 = CARTESIAN_POINT ('', (0., -6.66329931618547, 6.53477689516785));
#1110 = CARTESIAN_POINT ('', (-8., -6.66329931618547, 6.53477689516785));
#1120 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1100, #1110), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1130 = EDGE_CURVE ('', #1040, #760, #1120, .T.);
#1140 = ORIENTED_EDGE ('', *, *, #1130, .T.);
#1150 = EDGE_LOOP ('', (#810, #880, #950, #1020, #1090, #1140));
#1160 = FACE_OUTER_BOUND ('', #1150, .T.);
#1170 = CARTESIAN_POINT ('', (-63.501, -6.49899999999994, 6.69907621135338));
#1180 = CARTESIAN_POINT ('', (0.000999999999997669, -6.49899999999994, 6.69907621135338));
#1190 = CARTESIAN_POINT ('', (-63.501, -8.001, 5.19707621135334));
#1200 = CARTESIAN_POINT ('', (0.000999999999997669, -8.001, 5.19707621135334));
#1210 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1170, #1180), (#1190, #1200)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141421356237004, 2.12273455712208), (-63.001, 0.500999999999998), .UNSPECIFIED.);
#1220 = ADVANCED_FACE ('', (#1160), #1210, .T.);
#1230 = CARTESIAN_POINT ('', (-8., -6.49999999999998, 6.69807621135342));
#1240 = CARTESIAN_POINT ('', (-8.00000000000001, 2.48689957516035E-14, 4.95640646055116));
#1250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1230, #1240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1260 = EDGE_CURVE ('', #740, #540, #1250, .T.);
#1270 = ORIENTED_EDGE ('', *, *, #1260, .T.);
#1280 = ORIENTED_EDGE ('', *, *, #580, .T.);
#1290 = CARTESIAN_POINT ('', (-63.5, 0., 4.95640646055107));
#1300 = CARTESIAN_POINT ('', (-63.5, -6.5, 6.69807621135332));
#1310 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1290, #1300), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1320 = EDGE_CURVE ('', #470, #830, #1310, .T.);
#1330 = ORIENTED_EDGE ('', *, *, #1320, .T.);
#1340 = ORIENTED_EDGE ('', *, *, #870, .F.);
#1350 = EDGE_LOOP ('', (#1270, #1280, #1330, #1340));
#1360 = FACE_OUTER_BOUND ('', #1350, .T.);
#1370 = CARTESIAN_POINT ('', (-63.501, 0.00118301270191878, 4.95608947325295));
#1380 = CARTESIAN_POINT ('', (-7.999, 0.00118301270191523, 4.95608947325295));
#1390 = CARTESIAN_POINT ('', (-63.501, -6.50118301270191, 6.69839319865142));
#1400 = CARTESIAN_POINT ('', (-7.999, -6.50118301270192, 6.69839319865142));
#1410 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1370, #1380), (#1390, #1400)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00122474487141488, 6.73051991753694), (-63.001, -7.499), .UNSPECIFIED.);
#1420 = ADVANCED_FACE ('', (#1360), #1410, .T.);
#1430 = CARTESIAN_POINT ('', (0., -8., 7.));
#1440 = VERTEX_POINT ('', #1430);
#1450 = CARTESIAN_POINT ('', (0., -8., 7.));
#1460 = CARTESIAN_POINT ('', (0., 0., 7.));
#1470 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1450, #1460), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1480 = EDGE_CURVE ('', #1440, #110, #1470, .T.);
#1490 = ORIENTED_EDGE ('', *, *, #1480, .F.);
#1500 = CARTESIAN_POINT ('', (14.3787596350746, -8., 7.));
#1510 = VERTEX_POINT ('', #1500);
#1520 = CARTESIAN_POINT ('', (0., -8., 7.));
#1530 = CARTESIAN_POINT ('', (14.3787596350746, -8., 7.));
#1540 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1520, #1530), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1550 = EDGE_CURVE ('', #1440, #1510, #1540, .T.);
#1560 = ORIENTED_EDGE ('', *, *, #1550, .T.);
#1570 = CARTESIAN_POINT ('', (14.3787596350746, -5.5, 7.));
#1580 = VERTEX_POINT ('', #1570);
#1590 = CARTESIAN_POINT ('', (14.3787596350746, -5.5, 7.));
#1600 = CARTESIAN_POINT ('', (14.3787596350746, -8., 7.));
#1610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1590, #1600), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1620 = EDGE_CURVE ('', #1580, #1510, #1610, .T.);
#1630 = ORIENTED_EDGE ('', *, *, #1620, .F.);
#1640 = CARTESIAN_POINT ('', (9.50000000000001, -5.5, 7.00000000000001));
#1650 = VERTEX_POINT ('', #1640);
#1660 = CARTESIAN_POINT ('', (9.50000000000001, -5.5, 7.00000000000001));
#1670 = CARTESIAN_POINT ('', (14.3787596350746, -5.5, 7.));
#1680 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1660, #1670), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1690 = EDGE_CURVE ('', #1650, #1580, #1680, .T.);
#1700 = ORIENTED_EDGE ('', *, *, #1690, .F.);
#1710 = CARTESIAN_POINT ('', (8.50000000000001, -4.50000000000001, 7.00000000000001));
#1720 = VERTEX_POINT ('', #1710);
#1730 = CARTESIAN_POINT ('', (9.50000000000001, -5.5, 6.99999999999999));
#1740 = CARTESIAN_POINT ('', (8.50000000000003, -5.5, 6.99999999999999));
#1750 = CARTESIAN_POINT ('', (8.50000000000001, -4.50000000000001, 6.99999999999999));
#1760 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1730, #1740, #1750), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (270., 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.70710678118655, 1.))
   REPRESENTATION_ITEM ('')
);
#1770 = EDGE_CURVE ('', #1650, #1720, #1760, .T.);
#1780 = ORIENTED_EDGE ('', *, *, #1770, .T.);
#1790 = CARTESIAN_POINT ('', (8.50000000000001, -4.50000000000001, 7.00000000000001));
#1800 = CARTESIAN_POINT ('', (8.50000000000001, -1.77635683940025E-15, 7.00000000000001));
#1810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1790, #1800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1820 = EDGE_CURVE ('', #1720, #180, #1810, .T.);
#1830 = ORIENTED_EDGE ('', *, *, #1820, .T.);
#1840 = ORIENTED_EDGE ('', *, *, #220, .F.);
#1850 = EDGE_LOOP ('', (#1490, #1560, #1630, #1700, #1780, #1830, #1840));
#1860 = FACE_OUTER_BOUND ('', #1850, .T.);
#1870 = CARTESIAN_POINT ('', (-0.00100000000000477, -8.001, 6.99999999999999));
#1880 = CARTESIAN_POINT ('', (-0.00100000000000477, 0.000999999999997669, 6.99999999999999));
#1890 = CARTESIAN_POINT ('', (14.3797596350746, -8.001, 6.99999999999998));
#1900 = CARTESIAN_POINT ('', (14.3797596350746, 0.000999999999994117, 6.99999999999998));
#1910 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1870, #1880), (#1890, #1900)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-77.8797596350746, -63.499), (-8.001, 0.000999999999999446), .UNSPECIFIED.);
#1920 = ADVANCED_FACE ('', (#1860), #1910, .T.);
#1930 = CARTESIAN_POINT ('', (31., -8., -4.68644032695326));
#1940 = VERTEX_POINT ('', #1930);
#1950 = CARTESIAN_POINT ('', (31., -8.00000000000001, -18.5377773178215));
#1960 = VERTEX_POINT ('', #1950);
#1970 = CARTESIAN_POINT ('', (31., -8., -4.68644032695326));
#1980 = CARTESIAN_POINT ('', (31., -8.00000000000001, -18.5377773178215));
#1990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1970, #1980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2000 = EDGE_CURVE ('', #1940, #1960, #1990, .T.);
#2010 = ORIENTED_EDGE ('', *, *, #2000, .T.);
#2020 = CARTESIAN_POINT ('', (31., -5.5, -18.5377773178215));
#2030 = VERTEX_POINT ('', #2020);
#2040 = CARTESIAN_POINT ('', (31., -8.00000000000001, -18.5377773178215));
#2050 = CARTESIAN_POINT ('', (31., -5.5, -18.5377773178215));
#2060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2040, #2050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2070 = EDGE_CURVE ('', #1960, #2030, #2060, .T.);
#2080 = ORIENTED_EDGE ('', *, *, #2070, .T.);
#2090 = CARTESIAN_POINT ('', (31., -5.5, -4.68644032695326));
#2100 = VERTEX_POINT ('', #2090);
#2110 = CARTESIAN_POINT ('', (31., -5.5, -4.68644032695326));
#2120 = CARTESIAN_POINT ('', (31., -5.5, -18.5377773178215));
#2130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2110, #2120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2140 = EDGE_CURVE ('', #2100, #2030, #2130, .T.);
#2150 = ORIENTED_EDGE ('', *, *, #2140, .F.);
#2160 = CARTESIAN_POINT ('', (31., -5.5, -4.68644032695326));
#2170 = CARTESIAN_POINT ('', (31., -8., -4.68644032695326));
#2180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2160, #2170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2190 = EDGE_CURVE ('', #2100, #1940, #2180, .T.);
#2200 = ORIENTED_EDGE ('', *, *, #2190, .T.);
#2210 = EDGE_LOOP ('', (#2010, #2080, #2150, #2200));
#2220 = FACE_OUTER_BOUND ('', #2210, .T.);
#2230 = CARTESIAN_POINT ('', (31., -8.001, -18.5387773178215));
#2240 = CARTESIAN_POINT ('', (31., -8.001, -4.68544032695326));
#2250 = CARTESIAN_POINT ('', (31., -5.499, -18.5387773178215));
#2260 = CARTESIAN_POINT ('', (31., -5.499, -4.68544032695326));
#2270 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2230, #2240), (#2250, #2260)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (5.499, 8.001), (11.3612226821785, 25.2145596730467), .UNSPECIFIED.);
#2280 = ADVANCED_FACE ('', (#2220), #2270, .T.);
#2290 = CARTESIAN_POINT ('', (9.93950531475211, -5.5, -6.15913357824574));
#2300 = VERTEX_POINT ('', #2290);
#2310 = CARTESIAN_POINT ('', (9.93950531475211, -5.5, -6.15913357824574));
#2320 = CARTESIAN_POINT ('', (31., -5.5, -4.68644032695326));
#2330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2310, #2320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2340 = EDGE_CURVE ('', #2300, #2100, #2330, .T.);
#2350 = ORIENTED_EDGE ('', *, *, #2340, .T.);
#2360 = ORIENTED_EDGE ('', *, *, #2140, .T.);
#2370 = CARTESIAN_POINT ('', (28.5209445330008, -5.50000000000001, -21.4922005768581));
#2380 = VERTEX_POINT ('', #2370);
#2390 = CARTESIAN_POINT ('', (31., -5.5, -18.5377773178215));
#2400 = CARTESIAN_POINT ('', (31., -5.50000000000001, -21.0550762113533));
#2410 = CARTESIAN_POINT ('', (28.5209445330008, -5.50000000000001, -21.4922005768581));
#2420 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2390, #2400, #2410), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (180., 260.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.766044443118979, 1.))
   REPRESENTATION_ITEM ('')
);
#2430 = EDGE_CURVE ('', #2030, #2380, #2420, .T.);
#2440 = ORIENTED_EDGE ('', *, *, #2430, .T.);
#2450 = CARTESIAN_POINT ('', (19.0462767725224, -5.5, -23.1628401362792));
#2460 = VERTEX_POINT ('', #2450);
#2470 = CARTESIAN_POINT ('', (19.0462767725224, -5.5, -23.1628401362792));
#2480 = CARTESIAN_POINT ('', (28.5209445330008, -5.50000000000001, -21.4922005768581));
#2490 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2470, #2480), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2500 = EDGE_CURVE ('', #2460, #2380, #2490, .T.);
#2510 = ORIENTED_EDGE ('', *, *, #2500, .F.);
#2520 = CARTESIAN_POINT ('', (19.0462767725224, -5.5, -23.1628401362792));
#2530 = CARTESIAN_POINT ('', (11.6591120645462, -5.5, -16.1786899201999));
#2540 = CARTESIAN_POINT ('', (9.93950531475211, -5.5, -6.15913357824576));
#2550 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2520, #2530, #2540), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (313.393676608632, 350.261486400354), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.948689059551676, 1.))
   REPRESENTATION_ITEM ('')
);
#2560 = EDGE_CURVE ('', #2460, #2300, #2550, .T.);
#2570 = ORIENTED_EDGE ('', *, *, #2560, .T.);
#2580 = EDGE_LOOP ('', (#2350, #2360, #2440, #2510, #2570));
#2590 = FACE_OUTER_BOUND ('', #2580, .T.);
#2600 = CARTESIAN_POINT ('', (31.001, -5.50000000000001, -23.1638401362792));
#2610 = CARTESIAN_POINT ('', (31.001, -5.5, -4.68544032695327));
#2620 = CARTESIAN_POINT ('', (9.93850531475212, -5.5, -23.1638401362792));
#2630 = CARTESIAN_POINT ('', (9.93850531475212, -5.5, -4.68544032695327));
#2640 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2600, #2610), (#2620, #2630)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (8.99900000000001, 30.0614946852479), (-22.1638401362791, -3.68544032695325), .UNSPECIFIED.);
#2650 = ADVANCED_FACE ('', (#2590), #2640, .T.);
#2660 = ORIENTED_EDGE ('', *, *, #510, .F.);
#2670 = CARTESIAN_POINT ('', (-63.5, -6.5, -24.4980762113533));
#2680 = VERTEX_POINT ('', #2670);
#2690 = CARTESIAN_POINT ('', (-63.5, -6.5, -24.4980762113533));
#2700 = CARTESIAN_POINT ('', (-63.5, 0., -22.7564064605511));
#2710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2690, #2700), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2720 = EDGE_CURVE ('', #2680, #400, #2710, .T.);
#2730 = ORIENTED_EDGE ('', *, *, #2720, .F.);
#2740 = CARTESIAN_POINT ('', (-63.5, -8., -22.9980762113533));
#2750 = VERTEX_POINT ('', #2740);
#2760 = CARTESIAN_POINT ('', (-63.5, -8., -22.9980762113533));
#2770 = CARTESIAN_POINT ('', (-63.5, -6.5, -24.4980762113533));
#2780 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2760, #2770), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2790 = EDGE_CURVE ('', #2750, #2680, #2780, .T.);
#2800 = ORIENTED_EDGE ('', *, *, #2790, .F.);
#2810 = CARTESIAN_POINT ('', (-63.5, -8., -22.9980762113533));
#2820 = CARTESIAN_POINT ('', (-63.5, -8., 5.19807621135335));
#2830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2810, #2820), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2840 = EDGE_CURVE ('', #2750, #900, #2830, .T.);
#2850 = ORIENTED_EDGE ('', *, *, #2840, .T.);
#2860 = ORIENTED_EDGE ('', *, *, #940, .F.);
#2870 = ORIENTED_EDGE ('', *, *, #1320, .F.);
#2880 = EDGE_LOOP ('', (#2660, #2730, #2800, #2850, #2860, #2870));
#2890 = FACE_OUTER_BOUND ('', #2880, .T.);
#2900 = CARTESIAN_POINT ('', (-63.5, -8., -24.4980762113533));
#2910 = CARTESIAN_POINT ('', (-63.5, -1.77635683940025E-15, -24.4980762113533));
#2920 = CARTESIAN_POINT ('', (-63.5, -8., 6.69807621135331));
#2930 = CARTESIAN_POINT ('', (-63.5, 0., 6.69807621135331));
#2940 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2900, #2910), (#2920, #2930)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.301923788646687, 31.4980762113533), (-8., 1.77635683940025E-15), .UNSPECIFIED.);
#2950 = ADVANCED_FACE ('', (#2890), #2940, .T.);
#2960 = CARTESIAN_POINT ('', (25.35, -8., 0.211366407434532));
#2970 = VERTEX_POINT ('', #2960);
#2980 = CARTESIAN_POINT ('', (6.68005023677433, -8., -1.0941636586532));
#2990 = VERTEX_POINT ('', #2980);
#3000 = CARTESIAN_POINT ('', (25.35, -8., 0.211366407434532));
#3010 = CARTESIAN_POINT ('', (6.68005023677433, -8., -1.0941636586532));
#3020 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3000, #3010), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3030 = EDGE_CURVE ('', #2970, #2990, #3020, .T.);
#3040 = ORIENTED_EDGE ('', *, *, #3030, .F.);
#3050 = CARTESIAN_POINT ('', (24.2749135125192, -8., 1.28645289491532));
#3060 = VERTEX_POINT ('', #3050);
#3070 = CARTESIAN_POINT ('', (24.2749135125192, -8., 1.28645289491532));
#3080 = CARTESIAN_POINT ('', (25.35, -8., 0.211366407434532));
#3090 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3070, #3080), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3100 = EDGE_CURVE ('', #3060, #2970, #3090, .T.);
#3110 = ORIENTED_EDGE ('', *, *, #3100, .F.);
#3120 = CARTESIAN_POINT ('', (14.3787596350746, -8., 7.));
#3130 = CARTESIAN_POINT ('', (24.2749135125192, -8., 1.28645289491532));
#3140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3120, #3130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3150 = EDGE_CURVE ('', #1510, #3060, #3140, .T.);
#3160 = ORIENTED_EDGE ('', *, *, #3150, .F.);
#3170 = ORIENTED_EDGE ('', *, *, #1550, .F.);
#3180 = CARTESIAN_POINT ('', (0., -8., 5.19807621135335));
#3190 = CARTESIAN_POINT ('', (0., -8., 7.));
#3200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3180, #3190), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3210 = EDGE_CURVE ('', #970, #1440, #3200, .T.);
#3220 = ORIENTED_EDGE ('', *, *, #3210, .F.);
#3230 = ORIENTED_EDGE ('', *, *, #1010, .T.);
#3240 = ORIENTED_EDGE ('', *, *, #2840, .F.);
#3250 = CARTESIAN_POINT ('', (19.9806994244829, -8., -22.9980762113533));
#3260 = VERTEX_POINT ('', #3250);
#3270 = CARTESIAN_POINT ('', (19.9806994244829, -8., -22.9980762113533));
#3280 = CARTESIAN_POINT ('', (-63.5, -8., -22.9980762113533));
#3290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3270, #3280), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3300 = EDGE_CURVE ('', #3260, #2750, #3290, .T.);
#3310 = ORIENTED_EDGE ('', *, *, #3300, .F.);
#3320 = CARTESIAN_POINT ('', (28.5209445330008, -8.00000000000001, -21.4922005768581));
#3330 = VERTEX_POINT ('', #3320);
#3340 = CARTESIAN_POINT ('', (28.5209445330008, -8.00000000000001, -21.4922005768581));
#3350 = CARTESIAN_POINT ('', (19.9806994244829, -8., -22.9980762113533));
#3360 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3340, #3350), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3370 = EDGE_CURVE ('', #3330, #3260, #3360, .T.);
#3380 = ORIENTED_EDGE ('', *, *, #3370, .F.);
#3390 = CARTESIAN_POINT ('', (28.5209445330008, -8.00000000000001, -21.4922005768581));
#3400 = CARTESIAN_POINT ('', (31., -8.00000000000001, -21.0550762113533));
#3410 = CARTESIAN_POINT ('', (31., -8.00000000000001, -18.5377773178215));
#3420 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3390, #3400, #3410), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (280., 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.766044443118979, 1.))
   REPRESENTATION_ITEM ('')
);
#3430 = EDGE_CURVE ('', #3330, #1960, #3420, .T.);
#3440 = ORIENTED_EDGE ('', *, *, #3430, .T.);
#3450 = ORIENTED_EDGE ('', *, *, #2000, .F.);
#3460 = CARTESIAN_POINT ('', (8.54471049353306, -8., -6.2566671334089));
#3470 = VERTEX_POINT ('', #3460);
#3480 = CARTESIAN_POINT ('', (31., -8., -4.68644032695326));
#3490 = CARTESIAN_POINT ('', (8.54471049353306, -8., -6.2566671334089));
#3500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3480, #3490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3510 = EDGE_CURVE ('', #1940, #3470, #3500, .T.);
#3520 = ORIENTED_EDGE ('', *, *, #3510, .T.);
#3530 = CARTESIAN_POINT ('', (8.42054397026853, -8., -4.48100312394643));
#3540 = VERTEX_POINT ('', #3530);
#3550 = CARTESIAN_POINT ('', (8.42054397026853, -8., -4.48100312394643));
#3560 = CARTESIAN_POINT ('', (8.54471049353306, -8., -6.2566671334089));
#3570 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3550, #3560), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3580 = EDGE_CURVE ('', #3540, #3470, #3570, .T.);
#3590 = ORIENTED_EDGE ('', *, *, #3580, .F.);
#3600 = CARTESIAN_POINT ('', (6.92419789487879, -8., -4.58563783456261));
#3610 = VERTEX_POINT ('', #3600);
#3620 = CARTESIAN_POINT ('', (6.92419789487879, -8., -4.58563783456261));
#3630 = CARTESIAN_POINT ('', (8.42054397026853, -8., -4.48100312394643));
#3640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3620, #3630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3650 = EDGE_CURVE ('', #3610, #3540, #3640, .T.);
#3660 = ORIENTED_EDGE ('', *, *, #3650, .F.);
#3670 = CARTESIAN_POINT ('', (6.68005023677433, -8., -1.0941636586532));
#3680 = CARTESIAN_POINT ('', (6.92419789487879, -8., -4.58563783456261));
#3690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3670, #3680), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3700 = EDGE_CURVE ('', #2990, #3610, #3690, .T.);
#3710 = ORIENTED_EDGE ('', *, *, #3700, .F.);
#3720 = EDGE_LOOP ('', (#3040, #3110, #3160, #3170, #3220, #3230, #3240, #3310, #3380, #3440, #3450, #3520, #3590, #3660, #3710));
#3730 = FACE_OUTER_BOUND ('', #3720, .T.);
#3740 = CARTESIAN_POINT ('', (-63.501, -8., -22.9990762113533));
#3750 = CARTESIAN_POINT ('', (-63.501, -8., 7.001));
#3760 = CARTESIAN_POINT ('', (31.001, -8.00000000000001, -22.9990762113533));
#3770 = CARTESIAN_POINT ('', (31.001, -8., 7.001));
#3780 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3740, #3750), (#3760, #3770)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-94.501, 0.00100000000000477), (6.90092378864666, 36.901), .UNSPECIFIED.);
#3790 = ADVANCED_FACE ('', (#3730), #3780, .T.);
#3800 = CARTESIAN_POINT ('', (25.35, -5.5, 0.211366407434529));
#3810 = VERTEX_POINT ('', #3800);
#3820 = CARTESIAN_POINT ('', (9.50000000000001, -5.5, -0.896973561870002));
#3830 = VERTEX_POINT ('', #3820);
#3840 = CARTESIAN_POINT ('', (25.35, -5.5, 0.211366407434529));
#3850 = CARTESIAN_POINT ('', (9.50000000000001, -5.5, -0.896973561870002));
#3860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3840, #3850), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3870 = EDGE_CURVE ('', #3810, #3830, #3860, .T.);
#3880 = ORIENTED_EDGE ('', *, *, #3870, .T.);
#3890 = CARTESIAN_POINT ('', (9.50000000000001, -5.5, -0.896973561870002));
#3900 = CARTESIAN_POINT ('', (9.50000000000001, -5.5, 7.00000000000001));
#3910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3890, #3900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3920 = EDGE_CURVE ('', #3830, #1650, #3910, .T.);
#3930 = ORIENTED_EDGE ('', *, *, #3920, .T.);
#3940 = ORIENTED_EDGE ('', *, *, #1690, .T.);
#3950 = CARTESIAN_POINT ('', (24.2749135125192, -5.5, 1.28645289491532));
#3960 = VERTEX_POINT ('', #3950);
#3970 = CARTESIAN_POINT ('', (24.2749135125192, -5.5, 1.28645289491532));
#3980 = CARTESIAN_POINT ('', (14.3787596350746, -5.5, 7.));
#3990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3970, #3980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4000 = EDGE_CURVE ('', #3960, #1580, #3990, .T.);
#4010 = ORIENTED_EDGE ('', *, *, #4000, .F.);
#4020 = CARTESIAN_POINT ('', (25.35, -5.5, 0.211366407434529));
#4030 = CARTESIAN_POINT ('', (24.2749135125192, -5.5, 1.28645289491532));
#4040 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4020, #4030), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4050 = EDGE_CURVE ('', #3810, #3960, #4040, .T.);
#4060 = ORIENTED_EDGE ('', *, *, #4050, .F.);
#4070 = EDGE_LOOP ('', (#3880, #3930, #3940, #4010, #4060));
#4080 = FACE_OUTER_BOUND ('', #4070, .T.);
#4090 = CARTESIAN_POINT ('', (25.351, -5.5, -0.897973561870003));
#4100 = CARTESIAN_POINT ('', (25.351, -5.5, 7.001));
#4110 = CARTESIAN_POINT ('', (9.49900000000001, -5.5, -0.897973561870003));
#4120 = CARTESIAN_POINT ('', (9.49900000000001, -5.5, 7.001));
#4130 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4090, #4100), (#4110, #4120)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (14.649, 30.501), (0.102026438130007, 8.00100000000002), .UNSPECIFIED.);
#4140 = ADVANCED_FACE ('', (#4080), #4130, .T.);
#4150 = CARTESIAN_POINT ('', (8.50000000000001, -4.50000000000001, -1.00000000000001));
#4160 = VERTEX_POINT ('', #4150);
#4170 = CARTESIAN_POINT ('', (17.8300491905825, -4.50000000000001, -23.377293873657));
#4180 = VERTEX_POINT ('', #4170);
#4190 = CARTESIAN_POINT ('', (8.50000000000001, -4.5, -1.00000000000001));
#4200 = CARTESIAN_POINT ('', (8.50000000000001, -4.5, -14.1336948588466));
#4210 = CARTESIAN_POINT ('', (17.8300491905825, -4.5, -23.377293873657));
#4220 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4190, #4200, #4210), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 45.2666785968365), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.922986446867919, 1.))
   REPRESENTATION_ITEM ('')
);
#4230 = EDGE_CURVE ('', #4160, #4180, #4220, .T.);
#4240 = ORIENTED_EDGE ('', *, *, #4230, .T.);
#4250 = CARTESIAN_POINT ('', (17.8300491905824, -2.31718337149134, -23.377293873657));
#4260 = VERTEX_POINT ('', #4250);
#4270 = CARTESIAN_POINT ('', (17.8300491905825, -4.50000000000001, -23.377293873657));
#4280 = CARTESIAN_POINT ('', (17.8300491905824, -2.31718337149134, -23.377293873657));
#4290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4270, #4280), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4300 = EDGE_CURVE ('', #4180, #4260, #4290, .T.);
#4310 = ORIENTED_EDGE ('', *, *, #4300, .T.);
#4320 = CARTESIAN_POINT ('', (17.8300491905824, -2.31718337149134, -23.377293873657));
#4330 = CARTESIAN_POINT ('', (17.6239908050197, -1.55528858014486, -23.1731447795982));
#4340 = CARTESIAN_POINT ('', (17.4207717155455, -0.782845002912772, -22.9661691468803));
#4350 = CARTESIAN_POINT ('', (17.2204306905663, -5.32907051820075E-15, -22.7564064605511));
#4360 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#4320, #4330, #4340, #4350), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (3.92233639742785, 3.94996062691005), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.999936409506423, 0.999936409506423, 1.))
   REPRESENTATION_ITEM ('')
);
#4370 = EDGE_CURVE ('', #4260, #320, #4360, .T.);
#4380 = ORIENTED_EDGE ('', *, *, #4370, .T.);
#4390 = ORIENTED_EDGE ('', *, *, #370, .F.);
#4400 = CARTESIAN_POINT ('', (8.50000000000001, -4.50000000000001, -1.00000000000001));
#4410 = CARTESIAN_POINT ('', (8.50000000000001, -3.5527136788005E-15, -1.00000000000001));
#4420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4400, #4410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4430 = EDGE_CURVE ('', #4160, #250, #4420, .T.);
#4440 = ORIENTED_EDGE ('', *, *, #4430, .F.);
#4450 = EDGE_LOOP ('', (#4240, #4310, #4380, #4390, #4440));
#4460 = FACE_OUTER_BOUND ('', #4450, .T.);
#4470 = CARTESIAN_POINT ('', (8.50000000000001, -4.95120000000001, -1.00000000000001));
#4480 = CARTESIAN_POINT ('', (8.50000000000001, 0.4512, -1.00000000000001));
#4490 = CARTESIAN_POINT ('', (8.50000000000003, -4.95120000000001, -32.5));
#4500 = CARTESIAN_POINT ('', (8.50000000000003, 0.451199999999996, -32.5));
#4510 = CARTESIAN_POINT ('', (40., -4.95120000000001, -32.5));
#4520 = CARTESIAN_POINT ('', (40., 0.451199999999993, -32.5));
#4530 = CARTESIAN_POINT ('', (71.5, -4.95120000000002, -32.5));
#4540 = CARTESIAN_POINT ('', (71.5, 0.451199999999993, -32.5));
#4550 = CARTESIAN_POINT ('', (71.5, -4.95120000000001, -0.999999999999986));
#4560 = CARTESIAN_POINT ('', (71.5, 0.451199999999993, -0.999999999999986));
#4570 = CARTESIAN_POINT ('', (71.5, -4.95120000000001, 30.5));
#4580 = CARTESIAN_POINT ('', (71.5, 0.451199999999993, 30.5));
#4590 = CARTESIAN_POINT ('', (40., -4.95120000000001, 30.5));
#4600 = CARTESIAN_POINT ('', (40., 0.451199999999996, 30.5));
#4610 = CARTESIAN_POINT ('', (8.50000000000001, -4.95120000000001, 30.5));
#4620 = CARTESIAN_POINT ('', (8.50000000000001, 0.4512, 30.5));
#4630 = CARTESIAN_POINT ('', (8.50000000000001, -4.95120000000001, -1.00000000000001));
#4640 = CARTESIAN_POINT ('', (8.50000000000001, 0.4512, -1.00000000000001));
#4650 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#4470, #4480), (#4490, #4500), (#4510, #4520), (#4530, #4540), (#4550, #4560), (#4570, #4580), (#4590, #4600), (#4610, #4620), (#4630, #4640)), .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 ('')
);
#4660 = ADVANCED_FACE ('', (#4460), #4650, .T.);
#4670 = ORIENTED_EDGE ('', *, *, #1820, .F.);
#4680 = CARTESIAN_POINT ('', (8.50000000000001, -4.50000000000001, 7.00000000000001));
#4690 = CARTESIAN_POINT ('', (8.50000000000001, -4.50000000000001, -1.00000000000001));
#4700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4680, #4690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4710 = EDGE_CURVE ('', #1720, #4160, #4700, .T.);
#4720 = ORIENTED_EDGE ('', *, *, #4710, .T.);
#4730 = ORIENTED_EDGE ('', *, *, #4430, .T.);
#4740 = ORIENTED_EDGE ('', *, *, #290, .T.);
#4750 = EDGE_LOOP ('', (#4670, #4720, #4730, #4740));
#4760 = FACE_OUTER_BOUND ('', #4750, .T.);
#4770 = CARTESIAN_POINT ('', (8.50000000000001, -4.50100000000001, -1.00100000000001));
#4780 = CARTESIAN_POINT ('', (8.50000000000001, -4.50100000000001, 7.001));
#4790 = CARTESIAN_POINT ('', (8.50000000000001, 0.00100000000000477, -1.00100000000001));
#4800 = CARTESIAN_POINT ('', (8.50000000000001, 0.00100000000000477, 7.001));
#4810 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4770, #4780), (#4790, #4800)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-29.3809078725191, -24.8789078725191), (-8.00100000000002, 0.000999999999997669), .UNSPECIFIED.);
#4820 = ADVANCED_FACE ('', (#4760), #4810, .T.);
#4830 = ORIENTED_EDGE ('', *, *, #3920, .F.);
#4840 = CARTESIAN_POINT ('', (8.70000000000002, -5.1, -0.952915011424807));
#4850 = VERTEX_POINT ('', #4840);
#4860 = CARTESIAN_POINT ('', (8.70000000000002, -5.1, -0.952915011424807));
#4870 = CARTESIAN_POINT ('', (8.89242894790914, -5.35657193054549, -0.939459068571875));
#4880 = CARTESIAN_POINT ('', (9.17928508681815, -5.5, -0.91940013329155));
#4890 = CARTESIAN_POINT ('', (9.50000000000001, -5.5, -0.896973561870002));
#4900 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#4860, #4870, #4880, #4890), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (0.643501108793287, 1.5707963267949), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.929618127333278, 0.929618127333278, 1.))
   REPRESENTATION_ITEM ('')
);
#4910 = EDGE_CURVE ('', #4850, #3830, #4900, .T.);
#4920 = ORIENTED_EDGE ('', *, *, #4910, .F.);
#4930 = CARTESIAN_POINT ('', (8.70000000000002, -5.1, -1.00000000000001));
#4940 = VERTEX_POINT ('', #4930);
#4950 = CARTESIAN_POINT ('', (8.70000000000002, -5.1, -1.00000000000001));
#4960 = CARTESIAN_POINT ('', (8.70000000000002, -5.1, -0.952915011424807));
#4970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4950, #4960), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4980 = EDGE_CURVE ('', #4940, #4850, #4970, .T.);
#4990 = ORIENTED_EDGE ('', *, *, #4980, .F.);
#5000 = CARTESIAN_POINT ('', (8.50000000000001, -4.50000000000001, -1.00000000000001));
#5010 = CARTESIAN_POINT ('', (8.50000000000001, -4.83333333333334, -1.00000000000001));
#5020 = CARTESIAN_POINT ('', (8.70000000000002, -5.10000000000001, -1.00000000000001));
#5030 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5000, #5010, #5020), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (180., 216.869897645844), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.948683298050515, 1.))
   REPRESENTATION_ITEM ('')
);
#5040 = EDGE_CURVE ('', #4160, #4940, #5030, .T.);
#5050 = ORIENTED_EDGE ('', *, *, #5040, .F.);
#5060 = ORIENTED_EDGE ('', *, *, #4710, .F.);
#5070 = ORIENTED_EDGE ('', *, *, #1770, .F.);
#5080 = EDGE_LOOP ('', (#4830, #4920, #4990, #5050, #5060, #5070));
#5090 = FACE_OUTER_BOUND ('', #5080, .T.);
#5100 = CARTESIAN_POINT ('', (8.50000000000003, -4.5, 7.80120000000001));
#5110 = CARTESIAN_POINT ('', (8.50000000000003, -4.5, -1.80120000000001));
#5120 = CARTESIAN_POINT ('', (8.50000000000004, -5.5, 7.80120000000001));
#5130 = CARTESIAN_POINT ('', (8.50000000000004, -5.5, -1.80120000000001));
#5140 = CARTESIAN_POINT ('', (9.50000000000004, -5.49999999999999, 7.80120000000001));
#5150 = CARTESIAN_POINT ('', (9.50000000000004, -5.49999999999999, -1.80120000000001));
#5160 = CARTESIAN_POINT ('', (10.5, -5.49999999999998, 7.80120000000001));
#5170 = CARTESIAN_POINT ('', (10.5, -5.49999999999998, -1.80120000000001));
#5180 = CARTESIAN_POINT ('', (10.5, -4.49999999999998, 7.80120000000001));
#5190 = CARTESIAN_POINT ('', (10.5, -4.49999999999998, -1.80120000000001));
#5200 = CARTESIAN_POINT ('', (10.5, -3.49999999999998, 7.80120000000001));
#5210 = CARTESIAN_POINT ('', (10.5, -3.49999999999998, -1.80120000000001));
#5220 = CARTESIAN_POINT ('', (9.50000000000001, -3.49999999999999, 7.80120000000001));
#5230 = CARTESIAN_POINT ('', (9.50000000000001, -3.49999999999999, -1.80120000000001));
#5240 = CARTESIAN_POINT ('', (8.50000000000001, -3.5, 7.80120000000001));
#5250 = CARTESIAN_POINT ('', (8.50000000000001, -3.5, -1.80120000000001));
#5260 = CARTESIAN_POINT ('', (8.50000000000003, -4.5, 7.80120000000001));
#5270 = CARTESIAN_POINT ('', (8.50000000000003, -4.5, -1.80120000000001));
#5280 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#5100, #5110), (#5120, #5130), (#5140, #5150), (#5160, #5170), (#5180, #5190), (#5200, #5210), (#5220, #5230), (#5240, #5250), (#5260, #5270)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.750000000000001, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#5290 = ADVANCED_FACE ('', (#5090), #5280, .T.);
#5300 = CARTESIAN_POINT ('', (9.13753804997815, -5.1, -6.21521259235444));
#5310 = VERTEX_POINT ('', #5300);
#5320 = CARTESIAN_POINT ('', (9.13753804997815, -5.1, -6.21521259235444));
#5330 = CARTESIAN_POINT ('', (8.70000000000002, -5.1, -3.62596025028634));
#5340 = CARTESIAN_POINT ('', (8.70000000000002, -5.1, -1.00000000000001));
#5350 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5320, #5330, #5340), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (170.408631254893, 180.000000000001), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.996499159197588, 1.))
   REPRESENTATION_ITEM ('')
);
#5360 = EDGE_CURVE ('', #5310, #4940, #5350, .T.);
#5370 = ORIENTED_EDGE ('', *, *, #5360, .F.);
#5380 = CARTESIAN_POINT ('', (9.93950531475211, -5.5, -6.15913357824574));
#5390 = CARTESIAN_POINT ('', (9.86135946485346, -5.5, -6.16459806839578));
#5400 = CARTESIAN_POINT ('', (9.78477541296186, -5.49101024067497, -6.16995334699027));
#5410 = CARTESIAN_POINT ('', (9.63461197421312, -5.45573577390054, -6.18045379753243));
#5420 = CARTESIAN_POINT ('', (9.56038174242367, -5.42893719039789, -6.1856444809913));
#5430 = CARTESIAN_POINT ('', (9.35314577070596, -5.32561101412899, -6.20013583181353));
#5440 = CARTESIAN_POINT ('', (9.23055479143862, -5.22373364370849, -6.20870822816673));
#5450 = CARTESIAN_POINT ('', (9.13753804997815, -5.1, -6.21521259235444));
#5460 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#5380, #5390, #5400, #5410, #5420, #5430, #5440, #5450), .UNSPECIFIED., .F., .U., (4, 2, 2, 4), (0.0010031700590751, 0.00123468053453811, 0.00146619101000111, 0.00192921196092713), .UNSPECIFIED.);
#5470 = EDGE_CURVE ('', #2300, #5310, #5460, .T.);
#5480 = ORIENTED_EDGE ('', *, *, #5470, .F.);
#5490 = ORIENTED_EDGE ('', *, *, #2560, .F.);
#5500 = CARTESIAN_POINT ('', (19.0462767725224, -5.5, -23.1628401362792));
#5510 = CARTESIAN_POINT ('', (18.902501834928, -5.50000000000001, -23.1881915369267));
#5520 = CARTESIAN_POINT ('', (18.7565616971966, -5.47901688020409, -23.2139247207771));
#5530 = CARTESIAN_POINT ('', (18.4820792690636, -5.39514625860671, -23.2623233785873));
#5540 = CARTESIAN_POINT ('', (18.349145217836, -5.33102018278717, -23.2857632384736));
#5550 = CARTESIAN_POINT ('', (18.1157704414813, -5.15861439184023, -23.3269135081617));
#5560 = CARTESIAN_POINT ('', (18.0138720923179, -5.04867708251263, -23.3448809364089));
#5570 = CARTESIAN_POINT ('', (17.9066391719186, -4.85756350566671, -23.3637889934955));
#5580 = CARTESIAN_POINT ('', (17.8779771876844, -4.78828198477662, -23.3688428746366));
#5590 = CARTESIAN_POINT ('', (17.8399727004338, -4.64705172416198, -23.3755440911269));
#5600 = CARTESIAN_POINT ('', (17.8300491905825, -4.57435613476106, -23.377293873657));
#5610 = CARTESIAN_POINT ('', (17.8300491905825, -4.50000000000001, -23.377293873657));
#5620 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#5500, #5510, #5520, #5530, #5540, #5550, #5560, #5570, #5580, #5590, #5600, #5610), .UNSPECIFIED., .F., .U., (4, 2, 2, 2, 2, 4), (0.00185923232798663, 0.00229799821583056, 0.00273676410367449, 0.00317552999151842, 0.00339491293544038, 0.00361429587936235), .UNSPECIFIED.);
#5630 = EDGE_CURVE ('', #2460, #4180, #5620, .T.);
#5640 = ORIENTED_EDGE ('', *, *, #5630, .T.);
#5650 = ORIENTED_EDGE ('', *, *, #4230, .F.);
#5660 = ORIENTED_EDGE ('', *, *, #5040, .T.);
#5670 = EDGE_LOOP ('', (#5370, #5480, #5490, #5640, #5650, #5660));
#5680 = FACE_OUTER_BOUND ('', #5670, .T.);
#5690 = CARTESIAN_POINT ('', (8.50000000000003, -4.5, -1.00000000000001));
#5700 = CARTESIAN_POINT ('', (8.50000000000003, -3.5, -1.00000000000001));
#5710 = CARTESIAN_POINT ('', (9.50000000000003, -3.5, -1.00000000000001));
#5720 = CARTESIAN_POINT ('', (10.5, -3.5, -1.00000000000001));
#5730 = CARTESIAN_POINT ('', (10.5, -4.5, -1.00000000000001));
#5740 = CARTESIAN_POINT ('', (10.5, -5.5, -1.00000000000001));
#5750 = CARTESIAN_POINT ('', (9.50000000000003, -5.5, -1.00000000000001));
#5760 = CARTESIAN_POINT ('', (8.50000000000003, -5.5, -1.00000000000001));
#5770 = CARTESIAN_POINT ('', (8.50000000000003, -4.5, -1.00000000000001));
#5780 = CARTESIAN_POINT ('', (8.50000000000001, -4.5, -32.5));
#5790 = CARTESIAN_POINT ('', (8.50000000000001, -3.5, -32.5));
#5800 = CARTESIAN_POINT ('', (9.50000000000001, -3.5, -31.5));
#5810 = CARTESIAN_POINT ('', (10.5, -3.5, -30.5));
#5820 = CARTESIAN_POINT ('', (10.5, -4.5, -30.5));
#5830 = CARTESIAN_POINT ('', (10.5, -5.5, -30.5));
#5840 = CARTESIAN_POINT ('', (9.50000000000001, -5.5, -31.5));
#5850 = CARTESIAN_POINT ('', (8.50000000000001, -5.5, -32.5));
#5860 = CARTESIAN_POINT ('', (8.50000000000001, -4.5, -32.5));
#5870 = CARTESIAN_POINT ('', (40., -4.50000000000001, -32.5));
#5880 = CARTESIAN_POINT ('', (40., -3.50000000000001, -32.5));
#5890 = CARTESIAN_POINT ('', (40., -3.50000000000001, -31.5));
#5900 = CARTESIAN_POINT ('', (40., -3.50000000000001, -30.5));
#5910 = CARTESIAN_POINT ('', (40., -4.50000000000001, -30.5));
#5920 = CARTESIAN_POINT ('', (40., -5.50000000000001, -30.5));
#5930 = CARTESIAN_POINT ('', (40., -5.50000000000001, -31.5));
#5940 = CARTESIAN_POINT ('', (40., -5.50000000000001, -32.5));
#5950 = CARTESIAN_POINT ('', (40., -4.50000000000001, -32.5));
#5960 = CARTESIAN_POINT ('', (71.5, -4.50000000000001, -32.5));
#5970 = CARTESIAN_POINT ('', (71.5, -3.50000000000001, -32.5));
#5980 = CARTESIAN_POINT ('', (70.5, -3.50000000000001, -31.5));
#5990 = CARTESIAN_POINT ('', (69.5, -3.50000000000001, -30.5));
#6000 = CARTESIAN_POINT ('', (69.5, -4.50000000000001, -30.5));
#6010 = CARTESIAN_POINT ('', (69.5, -5.50000000000001, -30.5));
#6020 = CARTESIAN_POINT ('', (70.5, -5.50000000000001, -31.5));
#6030 = CARTESIAN_POINT ('', (71.5, -5.50000000000001, -32.5));
#6040 = CARTESIAN_POINT ('', (71.5, -4.50000000000001, -32.5));
#6050 = CARTESIAN_POINT ('', (71.5, -4.50000000000001, -1.00000000000004));
#6060 = CARTESIAN_POINT ('', (71.5, -3.50000000000001, -1.00000000000004));
#6070 = CARTESIAN_POINT ('', (70.5, -3.50000000000001, -1.00000000000004));
#6080 = CARTESIAN_POINT ('', (69.5, -3.50000000000001, -1.00000000000004));
#6090 = CARTESIAN_POINT ('', (69.5, -4.50000000000001, -1.00000000000004));
#6100 = CARTESIAN_POINT ('', (69.5, -5.50000000000001, -1.00000000000004));
#6110 = CARTESIAN_POINT ('', (70.5, -5.50000000000001, -1.00000000000004));
#6120 = CARTESIAN_POINT ('', (71.5, -5.50000000000001, -1.00000000000004));
#6130 = CARTESIAN_POINT ('', (71.5, -4.50000000000001, -1.00000000000004));
#6140 = CARTESIAN_POINT ('', (71.5000000000001, -4.5, 30.5));
#6150 = CARTESIAN_POINT ('', (71.5000000000001, -3.5, 30.5));
#6160 = CARTESIAN_POINT ('', (70.5000000000001, -3.5, 29.5));
#6170 = CARTESIAN_POINT ('', (69.5000000000001, -3.5, 28.5));
#6180 = CARTESIAN_POINT ('', (69.5000000000001, -4.5, 28.5));
#6190 = CARTESIAN_POINT ('', (69.5000000000001, -5.5, 28.5));
#6200 = CARTESIAN_POINT ('', (70.5000000000001, -5.5, 29.5));
#6210 = CARTESIAN_POINT ('', (71.5000000000001, -5.5, 30.5));
#6220 = CARTESIAN_POINT ('', (71.5000000000001, -4.5, 30.5));
#6230 = CARTESIAN_POINT ('', (40., -4.5, 30.5));
#6240 = CARTESIAN_POINT ('', (40., -3.5, 30.5));
#6250 = CARTESIAN_POINT ('', (40., -3.5, 29.5));
#6260 = CARTESIAN_POINT ('', (40., -3.5, 28.5));
#6270 = CARTESIAN_POINT ('', (40., -4.5, 28.5));
#6280 = CARTESIAN_POINT ('', (40., -5.5, 28.5));
#6290 = CARTESIAN_POINT ('', (40., -5.5, 29.5));
#6300 = CARTESIAN_POINT ('', (40., -5.5, 30.5));
#6310 = CARTESIAN_POINT ('', (40., -4.5, 30.5));
#6320 = CARTESIAN_POINT ('', (8.50000000000006, -4.5, 30.5));
#6330 = CARTESIAN_POINT ('', (8.50000000000006, -3.5, 30.5));
#6340 = CARTESIAN_POINT ('', (9.50000000000006, -3.5, 29.5));
#6350 = CARTESIAN_POINT ('', (10.5000000000001, -3.5, 28.5));
#6360 = CARTESIAN_POINT ('', (10.5000000000001, -4.5, 28.5));
#6370 = CARTESIAN_POINT ('', (10.5000000000001, -5.5, 28.5));
#6380 = CARTESIAN_POINT ('', (9.50000000000006, -5.5, 29.5));
#6390 = CARTESIAN_POINT ('', (8.50000000000006, -5.5, 30.5));
#6400 = CARTESIAN_POINT ('', (8.50000000000006, -4.5, 30.5));
#6410 = CARTESIAN_POINT ('', (8.50000000000003, -4.5, -1.00000000000001));
#6420 = CARTESIAN_POINT ('', (8.50000000000003, -3.5, -1.00000000000001));
#6430 = CARTESIAN_POINT ('', (9.50000000000003, -3.5, -1.00000000000001));
#6440 = CARTESIAN_POINT ('', (10.5, -3.5, -1.00000000000001));
#6450 = CARTESIAN_POINT ('', (10.5, -4.5, -1.00000000000001));
#6460 = CARTESIAN_POINT ('', (10.5, -5.5, -1.00000000000001));
#6470 = CARTESIAN_POINT ('', (9.50000000000003, -5.5, -1.00000000000001));
#6480 = CARTESIAN_POINT ('', (8.50000000000003, -5.5, -1.00000000000001));
#6490 = CARTESIAN_POINT ('', (8.50000000000003, -4.5, -1.00000000000001));
#6500 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 2, ((#5690, #5700, #5710, #5720, #5730, #5740, #5750, #5760, #5770), (#5780, #5790, #5800, #5810, #5820, #5830, #5840, #5850, #5860), (#5870, #5880, #5890, #5900, #5910, #5920, #5930, #5940, #5950), (#5960, #5970, #5980, #5990, #6000, #6010, #6020, #6030, #6040), (#6050, #6060, #6070, #6080, #6090, #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)), .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 ('')
);
#6510 = ADVANCED_FACE ('', (#5680), #6500, .T.);
#6520 = CARTESIAN_POINT ('', (6.68005023677433, -5.1, -1.09416365865321));
#6530 = VERTEX_POINT ('', #6520);
#6540 = CARTESIAN_POINT ('', (6.68005023677433, -5.1, -1.09416365865321));
#6550 = CARTESIAN_POINT ('', (8.70000000000002, -5.1, -0.952915011424807));
#6560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6540, #6550), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6570 = EDGE_CURVE ('', #6530, #4850, #6560, .T.);
#6580 = ORIENTED_EDGE ('', *, *, #6570, .F.);
#6590 = CARTESIAN_POINT ('', (6.9241978948788, -5.1, -4.58563783456261));
#6600 = VERTEX_POINT ('', #6590);
#6610 = CARTESIAN_POINT ('', (6.68005023677433, -5.1, -1.09416365865321));
#6620 = CARTESIAN_POINT ('', (6.9241978948788, -5.1, -4.58563783456261));
#6630 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6610, #6620), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6640 = EDGE_CURVE ('', #6530, #6600, #6630, .T.);
#6650 = ORIENTED_EDGE ('', *, *, #6640, .T.);
#6660 = CARTESIAN_POINT ('', (8.42054397026853, -5.1, -4.48100312394643));
#6670 = VERTEX_POINT ('', #6660);
#6680 = CARTESIAN_POINT ('', (6.9241978948788, -5.1, -4.58563783456261));
#6690 = CARTESIAN_POINT ('', (8.42054397026853, -5.1, -4.48100312394643));
#6700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6680, #6690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6710 = EDGE_CURVE ('', #6600, #6670, #6700, .T.);
#6720 = ORIENTED_EDGE ('', *, *, #6710, .T.);
#6730 = CARTESIAN_POINT ('', (8.54471049353305, -5.1, -6.2566671334089));
#6740 = VERTEX_POINT ('', #6730);
#6750 = CARTESIAN_POINT ('', (8.42054397026853, -5.1, -4.48100312394643));
#6760 = CARTESIAN_POINT ('', (8.54471049353305, -5.1, -6.2566671334089));
#6770 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6750, #6760), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6780 = EDGE_CURVE ('', #6670, #6740, #6770, .T.);
#6790 = ORIENTED_EDGE ('', *, *, #6780, .T.);
#6800 = CARTESIAN_POINT ('', (8.54471049353305, -5.1, -6.2566671334089));
#6810 = CARTESIAN_POINT ('', (9.13753804997815, -5.1, -6.21521259235444));
#6820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6800, #6810), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6830 = EDGE_CURVE ('', #6740, #5310, #6820, .T.);
#6840 = ORIENTED_EDGE ('', *, *, #6830, .T.);
#6850 = ORIENTED_EDGE ('', *, *, #5360, .T.);
#6860 = ORIENTED_EDGE ('', *, *, #4980, .T.);
#6870 = EDGE_LOOP ('', (#6580, #6650, #6720, #6790, #6840, #6850, #6860));
#6880 = FACE_OUTER_BOUND ('', #6870, .T.);
#6890 = CARTESIAN_POINT ('', (6.67905023677433, -5.1, -6.2576671334089));
#6900 = CARTESIAN_POINT ('', (6.67905023677433, -5.1, -0.951915011424806));
#6910 = CARTESIAN_POINT ('', (9.13853804997815, -5.1, -6.2576671334089));
#6920 = CARTESIAN_POINT ('', (9.13853804997815, -5.1, -0.951915011424806));
#6930 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6890, #6900), (#6910, #6920)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-17.4238795314581, -14.9643917182543), (-2.2918669510951, 3.01388517088899), .UNSPECIFIED.);
#6940 = ADVANCED_FACE ('', (#6880), #6930, .T.);
#6950 = ORIENTED_EDGE ('', *, *, #2340, .F.);
#6960 = ORIENTED_EDGE ('', *, *, #5470, .T.);
#6970 = ORIENTED_EDGE ('', *, *, #6830, .F.);
#6980 = CARTESIAN_POINT ('', (8.54471049353306, -8., -6.2566671334089));
#6990 = CARTESIAN_POINT ('', (8.54471049353305, -5.1, -6.2566671334089));
#7000 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6980, #6990), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7010 = EDGE_CURVE ('', #3470, #6740, #7000, .T.);
#7020 = ORIENTED_EDGE ('', *, *, #7010, .F.);
#7030 = ORIENTED_EDGE ('', *, *, #3510, .F.);
#7040 = ORIENTED_EDGE ('', *, *, #2190, .F.);
#7050 = EDGE_LOOP ('', (#6950, #6960, #6970, #7020, #7030, #7040));
#7060 = FACE_OUTER_BOUND ('', #7050, .T.);
#7070 = CARTESIAN_POINT ('', (8.54364577294818, -8.001, -6.25674158592501));
#7080 = CARTESIAN_POINT ('', (8.54364577294818, -5.099, -6.25674158592501));
#7090 = CARTESIAN_POINT ('', (31.0010647205849, -8.001, -4.68636587443716));
#7100 = CARTESIAN_POINT ('', (31.0010647205849, -5.099, -4.68636587443716));
#7110 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7070, #7080), (#7090, #7100)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-12.981067320524, 9.53119035534898), (-2.901, 0.00099999999999989), .UNSPECIFIED.);
#7120 = ADVANCED_FACE ('', (#7060), #7110, .T.);
#7130 = ORIENTED_EDGE ('', *, *, #3580, .T.);
#7140 = ORIENTED_EDGE ('', *, *, #7010, .T.);
#7150 = ORIENTED_EDGE ('', *, *, #6780, .F.);
#7160 = CARTESIAN_POINT ('', (8.42054397026853, -5.1, -4.48100312394643));
#7170 = CARTESIAN_POINT ('', (8.42054397026853, -8., -4.48100312394643));
#7180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7160, #7170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7190 = EDGE_CURVE ('', #6670, #3540, #7180, .T.);
#7200 = ORIENTED_EDGE ('', *, *, #7190, .T.);
#7210 = EDGE_LOOP ('', (#7130, #7140, #7150, #7200));
#7220 = FACE_OUTER_BOUND ('', #7210, .T.);
#7230 = CARTESIAN_POINT ('', (8.42046951775239, -8.001, -4.47993840336159));
#7240 = CARTESIAN_POINT ('', (8.42046951775239, -5.099, -4.47993840336159));
#7250 = CARTESIAN_POINT ('', (8.54478494604915, -8.001, -6.25773185399376));
#7260 = CARTESIAN_POINT ('', (8.54478494604915, -5.099, -6.25773185399376));
#7270 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7230, #7240), (#7250, #7260)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.448932679475995, 2.23106732052398), (-2.901, 0.00099999999999989), .UNSPECIFIED.);
#7280 = ADVANCED_FACE ('', (#7220), #7270, .T.);
#7290 = ORIENTED_EDGE ('', *, *, #3650, .T.);
#7300 = ORIENTED_EDGE ('', *, *, #7190, .F.);
#7310 = ORIENTED_EDGE ('', *, *, #6710, .F.);
#7320 = CARTESIAN_POINT ('', (6.92419789487879, -8., -4.58563783456261));
#7330 = CARTESIAN_POINT ('', (6.9241978948788, -5.1, -4.58563783456261));
#7340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7320, #7330), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7350 = EDGE_CURVE ('', #3610, #6600, #7340, .T.);
#7360 = ORIENTED_EDGE ('', *, *, #7350, .F.);
#7370 = EDGE_LOOP ('', (#7290, #7300, #7310, #7360));
#7380 = FACE_OUTER_BOUND ('', #7370, .T.);
#7390 = CARTESIAN_POINT ('', (6.92313317429394, -8.001, -4.58571228707872));
#7400 = CARTESIAN_POINT ('', (6.92313317429394, -5.099, -4.58571228707872));
#7410 = CARTESIAN_POINT ('', (8.42160869085339, -8.001, -4.48092867143032));
#7420 = CARTESIAN_POINT ('', (8.42160869085339, -5.099, -4.48092867143032));
#7430 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7390, #7400), (#7410, #7420)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.201067320524018, 1.301067320524), (-2.901, 0.00099999999999989), .UNSPECIFIED.);
#7440 = ADVANCED_FACE ('', (#7380), #7430, .T.);
#7450 = ORIENTED_EDGE ('', *, *, #3700, .T.);
#7460 = ORIENTED_EDGE ('', *, *, #7350, .T.);
#7470 = ORIENTED_EDGE ('', *, *, #6640, .F.);
#7480 = CARTESIAN_POINT ('', (6.68005023677433, -8., -1.0941636586532));
#7490 = CARTESIAN_POINT ('', (6.68005023677433, -5.1, -1.09416365865321));
#7500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7480, #7490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7510 = EDGE_CURVE ('', #2990, #6530, #7500, .T.);
#7520 = ORIENTED_EDGE ('', *, *, #7510, .F.);
#7530 = EDGE_LOOP ('', (#7450, #7460, #7470, #7520));
#7540 = FACE_OUTER_BOUND ('', #7530, .T.);
#7550 = CARTESIAN_POINT ('', (6.67997578425822, -8.001, -1.09309893806835));
#7560 = CARTESIAN_POINT ('', (6.67997578425822, -5.099, -1.09309893806835));
#7570 = CARTESIAN_POINT ('', (6.9242723473949, -8.001, -4.58670255514746));
#7580 = CARTESIAN_POINT ('', (6.9242723473949, -5.099, -4.58670255514746));
#7590 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7550, #7560), (#7570, #7580)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.70106732052402, 0.801067320524012), (-2.901, 0.00099999999999989), .UNSPECIFIED.);
#7600 = ADVANCED_FACE ('', (#7540), #7590, .T.);
#7610 = ORIENTED_EDGE ('', *, *, #3870, .F.);
#7620 = CARTESIAN_POINT ('', (25.35, -5.5, 0.211366407434529));
#7630 = CARTESIAN_POINT ('', (25.35, -8., 0.211366407434532));
#7640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7620, #7630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7650 = EDGE_CURVE ('', #3810, #2970, #7640, .T.);
#7660 = ORIENTED_EDGE ('', *, *, #7650, .T.);
#7670 = ORIENTED_EDGE ('', *, *, #3030, .T.);
#7680 = ORIENTED_EDGE ('', *, *, #7510, .T.);
#7690 = ORIENTED_EDGE ('', *, *, #6570, .T.);
#7700 = ORIENTED_EDGE ('', *, *, #4910, .T.);
#7710 = EDGE_LOOP ('', (#7610, #7660, #7670, #7680, #7690, #7700));
#7720 = FACE_OUTER_BOUND ('', #7710, .T.);
#7730 = CARTESIAN_POINT ('', (25.3510647205849, -8.001, 0.211440859950642));
#7740 = CARTESIAN_POINT ('', (25.3510647205849, -5.099, 0.211440859950642));
#7750 = CARTESIAN_POINT ('', (6.67898551618948, -8.001, -1.09423811116932));
#7760 = CARTESIAN_POINT ('', (6.67898551618948, -5.099, -1.09423811116932));
#7770 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7730, #7740), (#7750, #7760)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-5.22576239712006, 13.491912121656), (-2.901, 0.00099999999999989), .UNSPECIFIED.);
#7780 = ADVANCED_FACE ('', (#7720), #7770, .T.);
#7790 = ORIENTED_EDGE ('', *, *, #7650, .F.);
#7800 = ORIENTED_EDGE ('', *, *, #4050, .T.);
#7810 = CARTESIAN_POINT ('', (24.2749135125192, -5.5, 1.28645289491532));
#7820 = CARTESIAN_POINT ('', (24.2749135125192, -8., 1.28645289491532));
#7830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7810, #7820), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7840 = EDGE_CURVE ('', #3960, #3060, #7830, .T.);
#7850 = ORIENTED_EDGE ('', *, *, #7840, .T.);
#7860 = ORIENTED_EDGE ('', *, *, #3100, .T.);
#7870 = EDGE_LOOP ('', (#7790, #7800, #7850, #7860));
#7880 = FACE_OUTER_BOUND ('', #7870, .T.);
#7890 = CARTESIAN_POINT ('', (24.2739135125192, -8.001, 1.28745289491532));
#7900 = CARTESIAN_POINT ('', (24.2739135125192, -5.499, 1.28745289491532));
#7910 = CARTESIAN_POINT ('', (25.351, -8.001, 0.210366407434517));
#7920 = CARTESIAN_POINT ('', (25.351, -5.499, 0.210366407434517));
#7930 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7890, #7900), (#7910, #7920)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141421356238425, 1.52181610488175), (-3.001, -0.499), .UNSPECIFIED.);
#7940 = ADVANCED_FACE ('', (#7880), #7930, .T.);
#7950 = ORIENTED_EDGE ('', *, *, #4000, .T.);
#7960 = ORIENTED_EDGE ('', *, *, #1620, .T.);
#7970 = ORIENTED_EDGE ('', *, *, #3150, .T.);
#7980 = ORIENTED_EDGE ('', *, *, #7840, .F.);
#7990 = EDGE_LOOP ('', (#7950, #7960, #7970, #7980));
#8000 = FACE_OUTER_BOUND ('', #7990, .T.);
#8010 = CARTESIAN_POINT ('', (14.3775766223727, -8.001, 7.00068301270188));
#8020 = CARTESIAN_POINT ('', (14.3775766223727, -5.499, 7.00068301270188));
#8030 = CARTESIAN_POINT ('', (24.2760965252211, -8.001, 1.28576988221343));
#8040 = CARTESIAN_POINT ('', (24.2760965252211, -5.499, 1.28576988221343));
#8050 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8010, #8020), (#8030, #8040)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00136602540378306, 11.428460235573), (-3.001, -0.499), .UNSPECIFIED.);
#8060 = ADVANCED_FACE ('', (#8000), #8050, .T.);
#8070 = ORIENTED_EDGE ('', *, *, #4370, .F.);
#8080 = CARTESIAN_POINT ('', (11.4737766950567, -6.50000000000001, -24.4980762113533));
#8090 = VERTEX_POINT ('', #8080);
#8100 = CARTESIAN_POINT ('', (17.8300491905824, -2.31718337149134, -23.377293873657));
#8110 = CARTESIAN_POINT ('', (11.4737766950567, -6.50000000000001, -24.4980762113533));
#8120 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8100, #8110), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8130 = EDGE_CURVE ('', #4260, #8090, #8120, .T.);
#8140 = ORIENTED_EDGE ('', *, *, #8130, .T.);
#8150 = CARTESIAN_POINT ('', (11.4737766950567, -6.50000000000001, -24.4980762113533));
#8160 = CARTESIAN_POINT ('', (-63.5, -6.5, -24.4980762113533));
#8170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8150, #8160), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8180 = EDGE_CURVE ('', #8090, #2680, #8170, .T.);
#8190 = ORIENTED_EDGE ('', *, *, #8180, .T.);
#8200 = ORIENTED_EDGE ('', *, *, #2720, .T.);
#8210 = ORIENTED_EDGE ('', *, *, #440, .F.);
#8220 = EDGE_LOOP ('', (#8070, #8140, #8190, #8200, #8210));
#8230 = FACE_OUTER_BOUND ('', #8220, .T.);
#8240 = CARTESIAN_POINT ('', (-63.501, -6.50118301270189, -24.4983931986514));
#8250 = CARTESIAN_POINT ('', (17.8310491905824, -6.5011830127019, -24.4983931986514));
#8260 = CARTESIAN_POINT ('', (-63.501, 0.00118301270189392, -22.756089473253));
#8270 = CARTESIAN_POINT ('', (17.8310491905824, 0.00118301270188681, -22.756089473253));
#8280 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8240, #8250), (#8260, #8270)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00122474487139179, 6.73051991753692), (-63.001, 18.3310491905824), .UNSPECIFIED.);
#8290 = ADVANCED_FACE ('', (#8230), #8280, .T.);
#8300 = ORIENTED_EDGE ('', *, *, #8180, .F.);
#8310 = CARTESIAN_POINT ('', (11.4737766950567, -6.50000000000001, -24.4980762113533));
#8320 = CARTESIAN_POINT ('', (19.9806994244829, -8., -22.9980762113533));
#8330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8310, #8320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8340 = EDGE_CURVE ('', #8090, #3260, #8330, .T.);
#8350 = ORIENTED_EDGE ('', *, *, #8340, .T.);
#8360 = ORIENTED_EDGE ('', *, *, #3300, .T.);
#8370 = ORIENTED_EDGE ('', *, *, #2790, .T.);
#8380 = EDGE_LOOP ('', (#8300, #8350, #8360, #8370));
#8390 = FACE_OUTER_BOUND ('', #8380, .T.);
#8400 = CARTESIAN_POINT ('', (-63.501, -8.001, -22.9970762113533));
#8410 = CARTESIAN_POINT ('', (19.9816994244829, -8.001, -22.9970762113533));
#8420 = CARTESIAN_POINT ('', (-63.501, -6.499, -24.4990762113533));
#8430 = CARTESIAN_POINT ('', (19.9816994244829, -6.49900000000001, -24.4990762113533));
#8440 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8400, #8410), (#8420, #8430)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.0014142135623727, 2.122734557122), (-63.001, 20.4816994244829), .UNSPECIFIED.);
#8450 = ADVANCED_FACE ('', (#8390), #8440, .T.);
#8460 = CARTESIAN_POINT ('', (0., -1.77635683940025E-15, 4.74935122446915));
#8470 = CARTESIAN_POINT ('', (0., -6.66329931618547, 6.53477689516785));
#8480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8460, #8470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8490 = EDGE_CURVE ('', #40, #1040, #8480, .T.);
#8500 = ORIENTED_EDGE ('', *, *, #8490, .T.);
#8510 = ORIENTED_EDGE ('', *, *, #1080, .T.);
#8520 = ORIENTED_EDGE ('', *, *, #3210, .T.);
#8530 = ORIENTED_EDGE ('', *, *, #1480, .T.);
#8540 = ORIENTED_EDGE ('', *, *, #150, .T.);
#8550 = EDGE_LOOP ('', (#8500, #8510, #8520, #8530, #8540));
#8560 = FACE_OUTER_BOUND ('', #8550, .T.);
#8570 = CARTESIAN_POINT ('', (0., 0.000999999999997669, 4.74835122446915));
#8580 = CARTESIAN_POINT ('', (0., 0.000999999999997669, 7.001));
#8590 = CARTESIAN_POINT ('', (0., -8.001, 4.74835122446915));
#8600 = CARTESIAN_POINT ('', (0., -8.001, 7.001));
#8610 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8570, #8580), (#8590, #8600)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-8.001, 0.001), (-2.25164877553085, 0.000999999999997669), .UNSPECIFIED.);
#8620 = ADVANCED_FACE ('', (#8560), #8610, .T.);
#8630 = ORIENTED_EDGE ('', *, *, #2500, .T.);
#8640 = CARTESIAN_POINT ('', (28.5209445330008, -5.50000000000001, -21.4922005768581));
#8650 = CARTESIAN_POINT ('', (28.5209445330008, -8.00000000000001, -21.4922005768581));
#8660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8640, #8650), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8670 = EDGE_CURVE ('', #2380, #3330, #8660, .T.);
#8680 = ORIENTED_EDGE ('', *, *, #8670, .T.);
#8690 = ORIENTED_EDGE ('', *, *, #3370, .T.);
#8700 = ORIENTED_EDGE ('', *, *, #8340, .F.);
#8710 = ORIENTED_EDGE ('', *, *, #8130, .F.);
#8720 = ORIENTED_EDGE ('', *, *, #4300, .F.);
#8730 = ORIENTED_EDGE ('', *, *, #5630, .F.);
#8740 = EDGE_LOOP ('', (#8630, #8680, #8690, #8700, #8710, #8720, #8730));
#8750 = FACE_OUTER_BOUND ('', #8740, .T.);
#8760 = CARTESIAN_POINT ('', (28.5220853893829, -8.001, -21.4919994130968));
#8770 = CARTESIAN_POINT ('', (28.5220853893829, -2.31618337149134, -21.4919994130968));
#8780 = CARTESIAN_POINT ('', (11.4726358386747, -8.001, -24.4982773751146));
#8790 = CARTESIAN_POINT ('', (11.4726358386747, -2.31618337149134, -24.4982773751146));
#8800 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8760, #8770), (#8780, #8790)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-19.8286052293937, -2.51614043760115), (-12.001, -6.31618337149133), .UNSPECIFIED.);
#8810 = ADVANCED_FACE ('', (#8750), #8800, .T.);
#8820 = ORIENTED_EDGE ('', *, *, #2430, .F.);
#8830 = ORIENTED_EDGE ('', *, *, #2070, .F.);
#8840 = ORIENTED_EDGE ('', *, *, #3430, .F.);
#8850 = ORIENTED_EDGE ('', *, *, #8670, .F.);
#8860 = EDGE_LOOP ('', (#8820, #8830, #8840, #8850));
#8870 = FACE_OUTER_BOUND ('', #8860, .T.);
#8880 = CARTESIAN_POINT ('', (31., -5.2488, -18.5377773178215));
#8890 = CARTESIAN_POINT ('', (31., -8.2512, -18.5377773178215));
#8900 = CARTESIAN_POINT ('', (31., -5.2488, -15.5377773178215));
#8910 = CARTESIAN_POINT ('', (31., -8.2512, -15.5377773178215));
#8920 = CARTESIAN_POINT ('', (28., -5.2488, -15.5377773178215));
#8930 = CARTESIAN_POINT ('', (28., -8.2512, -15.5377773178215));
#8940 = CARTESIAN_POINT ('', (25., -5.2488, -15.5377773178215));
#8950 = CARTESIAN_POINT ('', (25., -8.2512, -15.5377773178215));
#8960 = CARTESIAN_POINT ('', (25., -5.2488, -18.5377773178215));
#8970 = CARTESIAN_POINT ('', (25., -8.2512, -18.5377773178215));
#8980 = CARTESIAN_POINT ('', (25., -5.2488, -21.5377773178215));
#8990 = CARTESIAN_POINT ('', (25., -8.2512, -21.5377773178215));
#9000 = CARTESIAN_POINT ('', (28., -5.2488, -21.5377773178215));
#9010 = CARTESIAN_POINT ('', (28., -8.2512, -21.5377773178215));
#9020 = CARTESIAN_POINT ('', (31., -5.2488, -21.5377773178215));
#9030 = CARTESIAN_POINT ('', (31., -8.2512, -21.5377773178215));
#9040 = CARTESIAN_POINT ('', (31., -5.2488, -18.5377773178215));
#9050 = CARTESIAN_POINT ('', (31., -8.2512, -18.5377773178215));
#9060 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8880, #8890), (#8900, #8910), (#8920, #8930), (#8940, #8950), (#8960, #8970), (#8980, #8990), (#9000, #9010), (#9020, #9030), (#9040, #9050)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.250000000000001, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#9070 = ADVANCED_FACE ('', (#8870), #9060, .T.);
#9080 = ORIENTED_EDGE ('', *, *, #630, .T.);
#9090 = ORIENTED_EDGE ('', *, *, #1260, .F.);
#9100 = ORIENTED_EDGE ('', *, *, #800, .T.);
#9110 = CARTESIAN_POINT ('', (-8., -6.66329931618547, 6.53477689516785));
#9120 = CARTESIAN_POINT ('', (-8.00000000000001, -1.77635683940025E-15, 4.74935122446915));
#9130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9110, #9120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9140 = EDGE_CURVE ('', #760, #20, #9130, .T.);
#9150 = ORIENTED_EDGE ('', *, *, #9140, .T.);
#9160 = EDGE_LOOP ('', (#9080, #9090, #9100, #9150));
#9170 = FACE_OUTER_BOUND ('', #9160, .T.);
#9180 = CARTESIAN_POINT ('', (-8., -6.66429931618547, 4.74835122446915));
#9190 = CARTESIAN_POINT ('', (-8., -6.66429931618547, 6.69907621135341));
#9200 = CARTESIAN_POINT ('', (-8., 0.00100000000002609, 4.74835122446915));
#9210 = CARTESIAN_POINT ('', (-8., 0.00100000000002609, 6.69907621135341));
#9220 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9180, #9190), (#9200, #9210)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-10.9666836914485, -4.301384375263), (1.15182041887997, 3.10254540576423), .UNSPECIFIED.);
#9230 = ADVANCED_FACE ('', (#9170), #9220, .T.);
#9240 = ORIENTED_EDGE ('', *, *, #9140, .F.);
#9250 = ORIENTED_EDGE ('', *, *, #1130, .F.);
#9260 = ORIENTED_EDGE ('', *, *, #8490, .F.);
#9270 = ORIENTED_EDGE ('', *, *, #80, .F.);
#9280 = EDGE_LOOP ('', (#9240, #9250, #9260, #9270));
#9290 = FACE_OUTER_BOUND ('', #9280, .T.);
#9300 = CARTESIAN_POINT ('', (-8.00100000000001, 0.00118301270188681, 4.74903423717105));
#9310 = CARTESIAN_POINT ('', (0.000999999999990564, 0.00118301270188681, 4.74903423717105));
#9320 = CARTESIAN_POINT ('', (-8.00100000000001, -6.66448232888736, 6.53509388246596));
#9330 = CARTESIAN_POINT ('', (0.000999999999990564, -6.66448232888736, 6.53509388246596));
#9340 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9300, #9310), (#9320, #9330)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-11.3537358725393, -4.45293131780692), (-8.001, 0.000999999999997669), .UNSPECIFIED.);
#9350 = ADVANCED_FACE ('', (#9290), #9340, .T.);
#9360 = CLOSED_SHELL ('', (#720, #1220, #1420, #1920, #2280, #2650, #2950, #3790, #4140, #4660, #4820, #5290, #6510, #6940, #7120, #7280, #7440, #7600, #7780, #7940, #8060, #8290, #8450, #8620, #8810, #9070, #9230, #9350));
#9370 = MANIFOLD_SOLID_BREP ('NOCUT', #9360);
#9380 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#9390 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#9400 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#9410 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #9380, 'DISTANCE_ACCURACY_VALUE', '');
#9420 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#9410))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#9380, #9390, #9400))
   REPRESENTATION_CONTEXT ('', '3D')
);
#9430 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#9440 = FILL_AREA_STYLE_COLOUR ('', #9430);
#9450 = FILL_AREA_STYLE ('', (#9440));
#9460 = SURFACE_STYLE_FILL_AREA (#9450);
#9470 = SURFACE_SIDE_STYLE ('', (#9460));
#9480 = SURFACE_STYLE_USAGE (.POSITIVE., #9470);
#9490 = PRESENTATION_STYLE_ASSIGNMENT ((#9480));
#9500 = STYLED_ITEM ('', (#9490), #9370);
#9510 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#9370), #9420);
#9520 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#9530 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #9520);
#9540 = MECHANICAL_CONTEXT ('', #9520, 'mechanical');
#9550 = PRODUCT ('NONE', '', '', (#9540));
#9560 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#9570 = PERSON ('', '', $, $, $, $);
#9580 = ORGANIZATION ($, '', '');
#9590 = PERSON_AND_ORGANIZATION (#9570, #9580);
#9600 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#9590, #9560, (#9550));
#9610 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#9550));
#9620 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #9550, .NOT_KNOWN.);
#9630 = APPROVAL_STATUS ('approved');
#9640 = APPROVAL (#9630, '');
#9650 = CALENDAR_DATE (2017, 25, 4);
#9660 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#9670 = LOCAL_TIME (11, 33, 43., #9660);
#9680 = DATE_AND_TIME (#9650, #9670);
#9690 = APPROVAL_DATE_TIME (#9680, #9640);
#9700 = APPROVAL_ROLE ('');
#9710 = PERSON ('', '', $, $, $, $);
#9720 = ORGANIZATION ($, '', '');
#9730 = PERSON_AND_ORGANIZATION (#9710, #9720);
#9740 = APPROVAL_PERSON_ORGANIZATION (#9730, #9640, #9700);
#9750 = CC_DESIGN_APPROVAL (#9640, (#9620));
#9760 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#9770 = PERSON ('', '', $, $, $, $);
#9780 = ORGANIZATION ($, '', '');
#9790 = PERSON_AND_ORGANIZATION (#9770, #9780);
#9800 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#9790, #9760, (#9620));
#9810 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#9820 = PERSON ('', '', $, $, $, $);
#9830 = ORGANIZATION ($, '', '');
#9840 = PERSON_AND_ORGANIZATION (#9820, #9830);
#9850 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#9840, #9810, (#9620));
#9860 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#9870 = SECURITY_CLASSIFICATION ('', '', #9860);
#9880 = APPROVAL_STATUS ('approved');
#9890 = APPROVAL (#9880, '');
#9900 = CALENDAR_DATE (2017, 25, 4);
#9910 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#9920 = LOCAL_TIME (11, 33, 43., #9910);
#9930 = DATE_AND_TIME (#9900, #9920);
#9940 = APPROVAL_DATE_TIME (#9930, #9890);
#9950 = APPROVAL_ROLE ('');
#9960 = PERSON ('', '', $, $, $, $);
#9970 = ORGANIZATION ($, '', '');
#9980 = PERSON_AND_ORGANIZATION (#9960, #9970);
#9990 = APPROVAL_PERSON_ORGANIZATION (#9980, #9890, #9950);
#10000 = CC_DESIGN_APPROVAL (#9890, (#9870));
#10010 = DATE_TIME_ROLE ('classification_date');
#10020 = CALENDAR_DATE (2017, 25, 4);
#10030 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10040 = LOCAL_TIME (11, 33, 43., #10030);
#10050 = DATE_AND_TIME (#10020, #10040);
#10060 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#10050, #10010, (#9870));
#10070 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#10080 = PERSON ('', '', $, $, $, $);
#10090 = ORGANIZATION ($, '', '');
#10100 = PERSON_AND_ORGANIZATION (#10080, #10090);
#10110 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10100, #10070, (#9870));
#10120 = CC_DESIGN_SECURITY_CLASSIFICATION (#9870, (#9620));
#10130 = DESIGN_CONTEXT ('', #9520, 'design');
#10140 = PRODUCT_DEFINITION ('', '', #9620, #10130);
#10150 = APPROVAL_STATUS ('approved');
#10160 = APPROVAL (#10150, '');
#10170 = CALENDAR_DATE (2017, 25, 4);
#10180 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10190 = LOCAL_TIME (11, 33, 43., #10180);
#10200 = DATE_AND_TIME (#10170, #10190);
#10210 = APPROVAL_DATE_TIME (#10200, #10160);
#10220 = APPROVAL_ROLE ('');
#10230 = PERSON ('', '', $, $, $, $);
#10240 = ORGANIZATION ($, '', '');
#10250 = PERSON_AND_ORGANIZATION (#10230, #10240);
#10260 = APPROVAL_PERSON_ORGANIZATION (#10250, #10160, #10220);
#10270 = CC_DESIGN_APPROVAL (#10160, (#10140));
#10280 = DATE_TIME_ROLE ('creation_date');
#10290 = CALENDAR_DATE (2017, 25, 4);
#10300 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10310 = LOCAL_TIME (11, 33, 43., #10300);
#10320 = DATE_AND_TIME (#10290, #10310);
#10330 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#10320, #10280, (#10140));
#10340 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#10350 = PERSON ('', '', $, $, $, $);
#10360 = ORGANIZATION ($, '', '');
#10370 = PERSON_AND_ORGANIZATION (#10350, #10360);
#10380 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10370, #10340, (#10140));
#10390 = PRODUCT_DEFINITION_SHAPE ('', '', #10140);
#10400 = SHAPE_DEFINITION_REPRESENTATION (#10390, #9510);
#10410 = CARTESIAN_POINT ('', (31.1894144344311, -5.5, -4.67319517941743));
#10420 = VERTEX_POINT ('', #10410);
#10430 = CARTESIAN_POINT ('', (8.54471049353302, -5.5, -6.25666713340889));
#10440 = VERTEX_POINT ('', #10430);
#10450 = CARTESIAN_POINT ('', (31.1894144344311, -5.5, -4.67319517941743));
#10460 = CARTESIAN_POINT ('', (8.54471049353303, -5.5, -6.2566671334089));
#10470 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10450, #10460), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10480 = EDGE_CURVE ('', #10420, #10440, #10470, .T.);
#10490 = ORIENTED_EDGE ('', *, *, #10480, .T.);
#10500 = CARTESIAN_POINT ('', (8.35001613686066, -5.5, -3.47240811657194));
#10510 = VERTEX_POINT ('', #10500);
#10520 = CARTESIAN_POINT ('', (8.54471049353303, -5.5, -6.2566671334089));
#10530 = CARTESIAN_POINT ('', (8.35001613686067, -5.5, -3.47240811657194));
#10540 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10520, #10530), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10550 = EDGE_CURVE ('', #10440, #10510, #10540, .T.);
#10560 = ORIENTED_EDGE ('', *, *, #10550, .T.);
#10570 = CARTESIAN_POINT ('', (11.2163086393098, -5.5, -5.96403817565309));
#10580 = VERTEX_POINT ('', #10570);
#10590 = CARTESIAN_POINT ('', (8.35001613686067, -5.5, -3.47240811657194));
#10600 = CARTESIAN_POINT ('', (11.2163086393098, -5.5, -5.96403817565309));
#10610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10590, #10600), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10620 = EDGE_CURVE ('', #10510, #10580, #10610, .T.);
#10630 = ORIENTED_EDGE ('', *, *, #10620, .T.);
#10640 = CARTESIAN_POINT ('', (10.5323570186664, -5.5, -1.0974695225509));
#10650 = VERTEX_POINT ('', #10640);
#10660 = CARTESIAN_POINT ('', (11.2163086393098, -5.5, -5.96403817565309));
#10670 = CARTESIAN_POINT ('', (10.5323570186664, -5.5, -1.0974695225509));
#10680 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10660, #10670), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10690 = EDGE_CURVE ('', #10580, #10650, #10680, .T.);
#10700 = ORIENTED_EDGE ('', *, *, #10690, .T.);
#10710 = CARTESIAN_POINT ('', (9.89436538817213, -5.5, -1.18713339883369));
#10720 = VERTEX_POINT ('', #10710);
#10730 = CARTESIAN_POINT ('', (10.5323570186664, -5.5, -1.0974695225509));
#10740 = CARTESIAN_POINT ('', (9.89436538817213, -5.5, -1.18713339883369));
#10750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10730, #10740), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10760 = EDGE_CURVE ('', #10650, #10720, #10750, .T.);
#10770 = ORIENTED_EDGE ('', *, *, #10760, .T.);
#10780 = CARTESIAN_POINT ('', (10.1471153677712, -5.5, -0.851722847242097));
#10790 = VERTEX_POINT ('', #10780);
#10800 = CARTESIAN_POINT ('', (9.89436538817213, -5.5, -1.18713339883369));
#10810 = CARTESIAN_POINT ('', (10.1471153677712, -5.5, -0.851722847242097));
#10820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10800, #10810), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10830 = EDGE_CURVE ('', #10720, #10790, #10820, .T.);
#10840 = ORIENTED_EDGE ('', *, *, #10830, .T.);
#10850 = CARTESIAN_POINT ('', (28.850381197455, -5.5, 0.456136905159539));
#10860 = VERTEX_POINT ('', #10850);
#10870 = CARTESIAN_POINT ('', (10.1471153677712, -5.5, -0.851722847242097));
#10880 = CARTESIAN_POINT ('', (28.850381197455, -5.5, 0.456136905159539));
#10890 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10870, #10880), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10900 = EDGE_CURVE ('', #10790, #10860, #10890, .T.);
#10910 = ORIENTED_EDGE ('', *, *, #10900, .T.);
#10920 = CARTESIAN_POINT ('', (29.1473515581868, -5.5, 0.159166544427773));
#10930 = VERTEX_POINT ('', #10920);
#10940 = CARTESIAN_POINT ('', (29.1473515581868, -5.5, 0.159166544427773));
#10950 = CARTESIAN_POINT ('', (28.850381197455, -5.5, 0.456136905159539));
#10960 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10940, #10950), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10970 = EDGE_CURVE ('', #10930, #10860, #10960, .T.);
#10980 = ORIENTED_EDGE ('', *, *, #10970, .F.);
#10990 = CARTESIAN_POINT ('', (28.5030900186775, -5.5, 0.159166544427773));
#11000 = VERTEX_POINT ('', #10990);
#11010 = CARTESIAN_POINT ('', (28.5030900186775, -5.5, 0.159166544427773));
#11020 = CARTESIAN_POINT ('', (29.1473515581868, -5.5, 0.159166544427773));
#11030 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11010, #11020), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11040 = EDGE_CURVE ('', #11000, #10930, #11030, .T.);
#11050 = ORIENTED_EDGE ('', *, *, #11040, .F.);
#11060 = CARTESIAN_POINT ('', (28.5030900186775, -5.5, -4.75522866502961));
#11070 = VERTEX_POINT ('', #11060);
#11080 = CARTESIAN_POINT ('', (28.5030900186775, -5.5, -4.75522866502961));
#11090 = CARTESIAN_POINT ('', (28.5030900186775, -5.5, 0.159166544427773));
#11100 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11080, #11090), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11110 = EDGE_CURVE ('', #11070, #11000, #11100, .T.);
#11120 = ORIENTED_EDGE ('', *, *, #11110, .F.);
#11130 = CARTESIAN_POINT ('', (30.9947200777587, -5.5, -1.88893616258048));
#11140 = VERTEX_POINT ('', #11130);
#11150 = CARTESIAN_POINT ('', (30.9947200777587, -5.5, -1.88893616258048));
#11160 = CARTESIAN_POINT ('', (28.5030900186775, -5.5, -4.75522866502961));
#11170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11150, #11160), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11180 = EDGE_CURVE ('', #11140, #11070, #11170, .T.);
#11190 = ORIENTED_EDGE ('', *, *, #11180, .F.);
#11200 = CARTESIAN_POINT ('', (31.1894144344311, -5.5, -4.67319517941743));
#11210 = CARTESIAN_POINT ('', (30.9947200777587, -5.5, -1.88893616258048));
#11220 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11200, #11210), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11230 = EDGE_CURVE ('', #10420, #11140, #11220, .T.);
#11240 = ORIENTED_EDGE ('', *, *, #11230, .F.);
#11250 = EDGE_LOOP ('', (#10490, #10560, #10630, #10700, #10770, #10840, #10910, #10980, #11050, #11120, #11190, #11240));
#11260 = FACE_OUTER_BOUND ('', #11250, .T.);
#11270 = CARTESIAN_POINT ('', (31.1904817549551, -5.5, -4.67412298699394));
#11280 = CARTESIAN_POINT ('', (30.8220280606386, -5.50000000000001, 0.595010326478459));
#11290 = CARTESIAN_POINT ('', (8.54378268595651, -5.5, -6.2577344539329));
#11300 = CARTESIAN_POINT ('', (8.17532899164009, -5.5, -0.988601140460499));
#11310 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11270, #11280), (#11290, #11300)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-23.351, -0.648999999999999), (0.0623540127058697, 5.34435401270588), .UNSPECIFIED.);
#11320 = ADVANCED_FACE ('', (#11260), #11310, .T.);
#11330 = CARTESIAN_POINT ('', (10.1471153677712, -8., -0.851722847242097));
#11340 = VERTEX_POINT ('', #11330);
#11350 = CARTESIAN_POINT ('', (28.850381197455, -8., 0.456136905159539));
#11360 = VERTEX_POINT ('', #11350);
#11370 = CARTESIAN_POINT ('', (10.1471153677712, -8., -0.851722847242097));
#11380 = CARTESIAN_POINT ('', (28.850381197455, -8., 0.456136905159539));
#11390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11370, #11380), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11400 = EDGE_CURVE ('', #11340, #11360, #11390, .T.);
#11410 = ORIENTED_EDGE ('', *, *, #11400, .F.);
#11420 = CARTESIAN_POINT ('', (9.89436538817213, -8., -1.18713339883369));
#11430 = VERTEX_POINT ('', #11420);
#11440 = CARTESIAN_POINT ('', (10.1471153677712, -8., -0.851722847242097));
#11450 = CARTESIAN_POINT ('', (9.89436538817213, -8., -1.18713339883369));
#11460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11440, #11450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11470 = EDGE_CURVE ('', #11340, #11430, #11460, .T.);
#11480 = ORIENTED_EDGE ('', *, *, #11470, .T.);
#11490 = CARTESIAN_POINT ('', (10.5323570186664, -8., -1.0974695225509));
#11500 = VERTEX_POINT ('', #11490);
#11510 = CARTESIAN_POINT ('', (10.5323570186664, -8., -1.0974695225509));
#11520 = CARTESIAN_POINT ('', (9.89436538817213, -8., -1.18713339883369));
#11530 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11510, #11520), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11540 = EDGE_CURVE ('', #11500, #11430, #11530, .T.);
#11550 = ORIENTED_EDGE ('', *, *, #11540, .F.);
#11560 = CARTESIAN_POINT ('', (11.2163086393098, -8., -5.96403817565309));
#11570 = VERTEX_POINT ('', #11560);
#11580 = CARTESIAN_POINT ('', (11.2163086393098, -8., -5.96403817565309));
#11590 = CARTESIAN_POINT ('', (10.5323570186664, -8., -1.0974695225509));
#11600 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11580, #11590), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11610 = EDGE_CURVE ('', #11570, #11500, #11600, .T.);
#11620 = ORIENTED_EDGE ('', *, *, #11610, .F.);
#11630 = CARTESIAN_POINT ('', (8.35001613686066, -8., -3.47240811657194));
#11640 = VERTEX_POINT ('', #11630);
#11650 = CARTESIAN_POINT ('', (8.35001613686066, -8., -3.47240811657194));
#11660 = CARTESIAN_POINT ('', (11.2163086393098, -8., -5.96403817565309));
#11670 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11650, #11660), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11680 = EDGE_CURVE ('', #11640, #11570, #11670, .T.);
#11690 = ORIENTED_EDGE ('', *, *, #11680, .F.);
#11700 = CARTESIAN_POINT ('', (8.54471049353303, -8., -6.25666713340889));
#11710 = VERTEX_POINT ('', #11700);
#11720 = CARTESIAN_POINT ('', (8.54471049353303, -8., -6.25666713340889));
#11730 = CARTESIAN_POINT ('', (8.35001613686066, -8., -3.47240811657194));
#11740 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11720, #11730), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11750 = EDGE_CURVE ('', #11710, #11640, #11740, .T.);
#11760 = ORIENTED_EDGE ('', *, *, #11750, .F.);
#11770 = CARTESIAN_POINT ('', (31.1894144344311, -8., -4.67319517941743));
#11780 = VERTEX_POINT ('', #11770);
#11790 = CARTESIAN_POINT ('', (31.1894144344311, -8., -4.67319517941743));
#11800 = CARTESIAN_POINT ('', (8.54471049353303, -8., -6.25666713340889));
#11810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11790, #11800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11820 = EDGE_CURVE ('', #11780, #11710, #11810, .T.);
#11830 = ORIENTED_EDGE ('', *, *, #11820, .F.);
#11840 = CARTESIAN_POINT ('', (30.9947200777587, -8.00000000000001, -1.88893616258047));
#11850 = VERTEX_POINT ('', #11840);
#11860 = CARTESIAN_POINT ('', (31.1894144344311, -8., -4.67319517941743));
#11870 = CARTESIAN_POINT ('', (30.9947200777587, -8.00000000000001, -1.88893616258047));
#11880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11860, #11870), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11890 = EDGE_CURVE ('', #11780, #11850, #11880, .T.);
#11900 = ORIENTED_EDGE ('', *, *, #11890, .T.);
#11910 = CARTESIAN_POINT ('', (28.5030900186775, -8., -4.75522866502961));
#11920 = VERTEX_POINT ('', #11910);
#11930 = CARTESIAN_POINT ('', (30.9947200777587, -8.00000000000001, -1.88893616258047));
#11940 = CARTESIAN_POINT ('', (28.5030900186775, -8., -4.75522866502961));
#11950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11930, #11940), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11960 = EDGE_CURVE ('', #11850, #11920, #11950, .T.);
#11970 = ORIENTED_EDGE ('', *, *, #11960, .T.);
#11980 = CARTESIAN_POINT ('', (28.5030900186775, -8., 0.159166544427773));
#11990 = VERTEX_POINT ('', #11980);
#12000 = CARTESIAN_POINT ('', (28.5030900186775, -8., -4.75522866502961));
#12010 = CARTESIAN_POINT ('', (28.5030900186775, -8., 0.159166544427773));
#12020 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12000, #12010), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12030 = EDGE_CURVE ('', #11920, #11990, #12020, .T.);
#12040 = ORIENTED_EDGE ('', *, *, #12030, .T.);
#12050 = CARTESIAN_POINT ('', (29.1473515581868, -8., 0.159166544427773));
#12060 = VERTEX_POINT ('', #12050);
#12070 = CARTESIAN_POINT ('', (28.5030900186775, -8., 0.159166544427773));
#12080 = CARTESIAN_POINT ('', (29.1473515581868, -8., 0.159166544427773));
#12090 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12070, #12080), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12100 = EDGE_CURVE ('', #11990, #12060, #12090, .T.);
#12110 = ORIENTED_EDGE ('', *, *, #12100, .T.);
#12120 = CARTESIAN_POINT ('', (28.850381197455, -8., 0.456136905159539));
#12130 = CARTESIAN_POINT ('', (29.1473515581868, -8., 0.159166544427773));
#12140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12120, #12130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12150 = EDGE_CURVE ('', #11360, #12060, #12140, .T.);
#12160 = ORIENTED_EDGE ('', *, *, #12150, .F.);
#12170 = EDGE_LOOP ('', (#11410, #11480, #11550, #11620, #11690, #11760, #11830, #11900, #11970, #12040, #12110, #12160));
#12180 = FACE_OUTER_BOUND ('', #12170, .T.);
#12190 = CARTESIAN_POINT ('', (8.54378268595651, -8., -6.2577344539329));
#12200 = CARTESIAN_POINT ('', (8.17532899164009, -8., -0.988601140460499));
#12210 = CARTESIAN_POINT ('', (31.1904817549551, -8., -4.67412298699394));
#12220 = CARTESIAN_POINT ('', (30.8220280606386, -8., 0.595010326478459));
#12230 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12190, #12200), (#12210, #12220)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.648999999999997, 23.351), (0.0623540127058697, 5.34435401270588), .UNSPECIFIED.);
#12240 = ADVANCED_FACE ('', (#12180), #12230, .T.);
#12250 = ORIENTED_EDGE ('', *, *, #11820, .T.);
#12260 = CARTESIAN_POINT ('', (8.54471049353303, -8., -6.25666713340889));
#12270 = CARTESIAN_POINT ('', (8.54471049353303, -5.5, -6.2566671334089));
#12280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12260, #12270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12290 = EDGE_CURVE ('', #11710, #10440, #12280, .T.);
#12300 = ORIENTED_EDGE ('', *, *, #12290, .T.);
#12310 = ORIENTED_EDGE ('', *, *, #10480, .F.);
#12320 = CARTESIAN_POINT ('', (31.1894144344311, -8., -4.67319517941743));
#12330 = CARTESIAN_POINT ('', (31.1894144344311, -5.5, -4.67319517941743));
#12340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12320, #12330), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12350 = EDGE_CURVE ('', #11780, #10420, #12340, .T.);
#12360 = ORIENTED_EDGE ('', *, *, #12350, .F.);
#12370 = EDGE_LOOP ('', (#12250, #12300, #12310, #12360));
#12380 = FACE_OUTER_BOUND ('', #12370, .T.);
#12390 = CARTESIAN_POINT ('', (31.1904119984813, -8.001, -4.67312542294368));
#12400 = CARTESIAN_POINT ('', (31.1904119984813, -5.499, -4.67312542294368));
#12410 = CARTESIAN_POINT ('', (8.54371292948277, -8.001, -6.25673688988264));
#12420 = CARTESIAN_POINT ('', (8.54371292948277, -5.499, -6.25673688988264));
#12430 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12390, #12400), (#12410, #12420)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.782373658028796, 23.4843736580288), (-7.351, -4.849), .UNSPECIFIED.);
#12440 = ADVANCED_FACE ('', (#12380), #12430, .T.);
#12450 = ORIENTED_EDGE ('', *, *, #10900, .F.);
#12460 = CARTESIAN_POINT ('', (10.1471153677712, -5.5, -0.851722847242097));
#12470 = CARTESIAN_POINT ('', (10.1471153677712, -8., -0.851722847242097));
#12480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12460, #12470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12490 = EDGE_CURVE ('', #10790, #11340, #12480, .T.);
#12500 = ORIENTED_EDGE ('', *, *, #12490, .T.);
#12510 = ORIENTED_EDGE ('', *, *, #11400, .T.);
#12520 = CARTESIAN_POINT ('', (28.850381197455, -5.5, 0.456136905159539));
#12530 = CARTESIAN_POINT ('', (28.850381197455, -8., 0.456136905159539));
#12540 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12520, #12530), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12550 = EDGE_CURVE ('', #10860, #11360, #12540, .T.);
#12560 = ORIENTED_EDGE ('', *, *, #12550, .F.);
#12570 = EDGE_LOOP ('', (#12450, #12500, #12510, #12560));
#12580 = FACE_OUTER_BOUND ('', #12570, .T.);
#12590 = CARTESIAN_POINT ('', (10.1461178037209, -8.001, -0.851792603715843));
#12600 = CARTESIAN_POINT ('', (10.146117803721, -5.499, -0.851792603715843));
#12610 = CARTESIAN_POINT ('', (28.8513787615053, -8.001, 0.456206661633281));
#12620 = CARTESIAN_POINT ('', (28.8513787615053, -5.499, 0.456206661633281));
#12630 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12590, #12600), (#12610, #12620)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-21.1821187022452, -2.43118140362023), (-7.351, -4.849), .UNSPECIFIED.);
#12640 = ADVANCED_FACE ('', (#12580), #12630, .T.);
#12650 = ORIENTED_EDGE ('', *, *, #10970, .T.);
#12660 = ORIENTED_EDGE ('', *, *, #12550, .T.);
#12670 = ORIENTED_EDGE ('', *, *, #12150, .T.);
#12680 = CARTESIAN_POINT ('', (29.1473515581868, -8., 0.159166544427773));
#12690 = CARTESIAN_POINT ('', (29.1473515581868, -5.5, 0.159166544427773));
#12700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12680, #12690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12710 = EDGE_CURVE ('', #12060, #10930, #12700, .T.);
#12720 = ORIENTED_EDGE ('', *, *, #12710, .T.);
#12730 = EDGE_LOOP ('', (#12650, #12660, #12670, #12720));
#12740 = FACE_OUTER_BOUND ('', #12730, .T.);
#12750 = CARTESIAN_POINT ('', (28.8493836334047, -8.001, 0.457134469209798));
#12760 = CARTESIAN_POINT ('', (28.8493836334047, -5.499, 0.457134469209798));
#12770 = CARTESIAN_POINT ('', (29.148349122237, -8.001, 0.158168980377514));
#12780 = CARTESIAN_POINT ('', (29.148349122237, -5.499, 0.158168980377514));
#12790 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12750, #12760), (#12770, #12780)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141076860921441, 0.421390280378902), (2.86537329040166, 5.36737329040167), .UNSPECIFIED.);
#12800 = ADVANCED_FACE ('', (#12740), #12790, .T.);
#12810 = ORIENTED_EDGE ('', *, *, #12710, .F.);
#12820 = ORIENTED_EDGE ('', *, *, #12100, .F.);
#12830 = CARTESIAN_POINT ('', (31.5030900186775, -8.25, 0.159166544427769));
#12840 = VERTEX_POINT ('', #12830);
#12850 = CARTESIAN_POINT ('', (31.5030900186775, -8.25, 0.159166544427769));
#12860 = CARTESIAN_POINT ('', (28.5030900186775, -8., 0.159166544427773));
#12870 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12850, #12860), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12880 = EDGE_CURVE ('', #12840, #11990, #12870, .T.);
#12890 = ORIENTED_EDGE ('', *, *, #12880, .F.);
#12900 = CARTESIAN_POINT ('', (31.5030900186775, -5.25000000000001, 0.159166544427769));
#12910 = VERTEX_POINT ('', #12900);
#12920 = CARTESIAN_POINT ('', (31.5030900186775, -8.25, 0.159166544427769));
#12930 = CARTESIAN_POINT ('', (31.5030900186775, -5.25000000000001, 0.159166544427769));
#12940 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12920, #12930), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12950 = EDGE_CURVE ('', #12840, #12910, #12940, .T.);
#12960 = ORIENTED_EDGE ('', *, *, #12950, .T.);
#12970 = CARTESIAN_POINT ('', (31.5030900186775, -5.25000000000001, 0.159166544427769));
#12980 = CARTESIAN_POINT ('', (28.5030900186775, -5.5, 0.159166544427773));
#12990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12970, #12980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13000 = EDGE_CURVE ('', #12910, #11000, #12990, .T.);
#13010 = ORIENTED_EDGE ('', *, *, #13000, .T.);
#13020 = ORIENTED_EDGE ('', *, *, #11040, .T.);
#13030 = EDGE_LOOP ('', (#12810, #12820, #12890, #12960, #13010, #13020));
#13040 = FACE_OUTER_BOUND ('', #13030, .T.);
#13050 = CARTESIAN_POINT ('', (28.5020226981535, -8.251, 0.159166544427773));
#13060 = CARTESIAN_POINT ('', (28.5020226981535, -5.249, 0.159166544427777));
#13070 = CARTESIAN_POINT ('', (31.5041573392015, -8.251, 0.159166544427769));
#13080 = CARTESIAN_POINT ('', (31.5041573392015, -5.24900000000001, 0.159166544427773));
#13090 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13050, #13060), (#13070, #13080)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052400815, 3.001067320524), (2.61537329040166, 5.61737329040166), .UNSPECIFIED.);
#13100 = ADVANCED_FACE ('', (#13040), #13090, .T.);
#13110 = CARTESIAN_POINT ('', (30.9947200777587, -8.00000000000001, -1.88893616258047));
#13120 = CARTESIAN_POINT ('', (30.9947200777587, -5.5, -1.88893616258048));
#13130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13110, #13120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13140 = EDGE_CURVE ('', #11850, #11140, #13130, .T.);
#13150 = ORIENTED_EDGE ('', *, *, #13140, .T.);
#13160 = ORIENTED_EDGE ('', *, *, #11180, .T.);
#13170 = CARTESIAN_POINT ('', (31.5030900186775, -5.25, -1.30412344336667));
#13180 = VERTEX_POINT ('', #13170);
#13190 = CARTESIAN_POINT ('', (28.5030900186775, -5.5, -4.75522866502961));
#13200 = CARTESIAN_POINT ('', (31.5030900186775, -5.25, -1.30412344336667));
#13210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13190, #13200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13220 = EDGE_CURVE ('', #11070, #13180, #13210, .T.);
#13230 = ORIENTED_EDGE ('', *, *, #13220, .T.);
#13240 = CARTESIAN_POINT ('', (31.5030900186775, -8.25, -1.30412344336667));
#13250 = VERTEX_POINT ('', #13240);
#13260 = CARTESIAN_POINT ('', (31.5030900186775, -8.25, -1.30412344336667));
#13270 = CARTESIAN_POINT ('', (31.5030900186775, -5.25, -1.30412344336667));
#13280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13260, #13270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13290 = EDGE_CURVE ('', #13250, #13180, #13280, .T.);
#13300 = ORIENTED_EDGE ('', *, *, #13290, .F.);
#13310 = CARTESIAN_POINT ('', (28.5030900186775, -8., -4.75522866502961));
#13320 = CARTESIAN_POINT ('', (31.5030900186775, -8.25, -1.30412344336667));
#13330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13310, #13320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13340 = EDGE_CURVE ('', #11920, #13250, #13330, .T.);
#13350 = ORIENTED_EDGE ('', *, *, #13340, .F.);
#13360 = ORIENTED_EDGE ('', *, *, #11960, .F.);
#13370 = EDGE_LOOP ('', (#13150, #13160, #13230, #13300, #13350, #13360));
#13380 = FACE_OUTER_BOUND ('', #13370, .T.);
#13390 = CARTESIAN_POINT ('', (31.504017826254, -8.251, -1.30305612284267));
#13400 = CARTESIAN_POINT ('', (31.504017826254, -5.24900000000001, -1.30305612284267));
#13410 = CARTESIAN_POINT ('', (28.502162211101, -8.251, -4.75629598555361));
#13420 = CARTESIAN_POINT ('', (28.502162211101, -5.24900000000001, -4.75629598555361));
#13430 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13390, #13400), (#13410, #13420)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.7992890220458, 0.776298665196322), (32.249, 35.251), .UNSPECIFIED.);
#13440 = ADVANCED_FACE ('', (#13380), #13430, .T.);
#13450 = ORIENTED_EDGE ('', *, *, #11890, .F.);
#13460 = ORIENTED_EDGE ('', *, *, #12350, .T.);
#13470 = ORIENTED_EDGE ('', *, *, #11230, .T.);
#13480 = ORIENTED_EDGE ('', *, *, #13140, .F.);
#13490 = EDGE_LOOP ('', (#13450, #13460, #13470, #13480));
#13500 = FACE_OUTER_BOUND ('', #13490, .T.);
#13510 = CARTESIAN_POINT ('', (31.1894841909048, -8.001, -4.67419274346769));
#13520 = CARTESIAN_POINT ('', (30.994650321285, -8.001, -1.88793859853022));
#13530 = CARTESIAN_POINT ('', (31.1894841909048, -5.49900000000001, -4.67419274346769));
#13540 = CARTESIAN_POINT ('', (30.994650321285, -5.49900000000001, -1.88793859853021));
#13550 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13510, #13520), (#13530, #13540)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-35.001, -32.499), (0.207942106412351, 3.001), .UNSPECIFIED.);
#13560 = ADVANCED_FACE ('', (#13500), #13550, .T.);
#13570 = ORIENTED_EDGE ('', *, *, #13290, .T.);
#13580 = CARTESIAN_POINT ('', (31.5030900186775, -5.25, -1.30412344336667));
#13590 = CARTESIAN_POINT ('', (31.5030900186775, -5.25000000000001, 0.159166544427769));
#13600 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13580, #13590), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13610 = EDGE_CURVE ('', #13180, #12910, #13600, .T.);
#13620 = ORIENTED_EDGE ('', *, *, #13610, .T.);
#13630 = ORIENTED_EDGE ('', *, *, #12950, .F.);
#13640 = CARTESIAN_POINT ('', (31.5030900186775, -8.25, -1.30412344336667));
#13650 = CARTESIAN_POINT ('', (31.5030900186775, -8.25, 0.159166544427769));
#13660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13640, #13650), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13670 = EDGE_CURVE ('', #13250, #12840, #13660, .T.);
#13680 = ORIENTED_EDGE ('', *, *, #13670, .F.);
#13690 = EDGE_LOOP ('', (#13570, #13620, #13630, #13680));
#13700 = FACE_OUTER_BOUND ('', #13690, .T.);
#13710 = CARTESIAN_POINT ('', (31.5030900186775, -8.251, 0.160233864951774));
#13720 = CARTESIAN_POINT ('', (31.5030900186775, -5.24900000000001, 0.160233864951774));
#13730 = CARTESIAN_POINT ('', (31.5030900186775, -8.251, -1.30519076389068));
#13740 = CARTESIAN_POINT ('', (31.5030900186775, -5.24900000000001, -1.30519076389068));
#13750 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13710, #13720), (#13730, #13740)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.46435730831845, 0.00106732052400282), (32.249, 35.251), .UNSPECIFIED.);
#13760 = ADVANCED_FACE ('', (#13700), #13750, .T.);
#13770 = ORIENTED_EDGE ('', *, *, #13220, .F.);
#13780 = ORIENTED_EDGE ('', *, *, #11110, .T.);
#13790 = ORIENTED_EDGE ('', *, *, #13000, .F.);
#13800 = ORIENTED_EDGE ('', *, *, #13610, .F.);
#13810 = EDGE_LOOP ('', (#13770, #13780, #13790, #13800));
#13820 = FACE_OUTER_BOUND ('', #13810, .T.);
#13830 = CARTESIAN_POINT ('', (31.8294638332727, -5.22280218211707, -4.52508138685242));
#13840 = CARTESIAN_POINT ('', (31.4894961803967, -5.25113281985674, 0.37044480460268));
#13850 = CARTESIAN_POINT ('', (28.5021866352217, -5.50007528195466, -4.75774727376444));
#13860 = CARTESIAN_POINT ('', (28.1622189823456, -5.52840591969433, 0.13777891769066));
#13870 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13830, #13840), (#13850, #13860)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.486886094943817, 2.86002103545232), (2.27575753352009, 7.18315575673977), .UNSPECIFIED.);
#13880 = ADVANCED_FACE ('', (#13820), #13870, .T.);
#13890 = ORIENTED_EDGE ('', *, *, #12030, .F.);
#13900 = ORIENTED_EDGE ('', *, *, #13340, .T.);
#13910 = ORIENTED_EDGE ('', *, *, #13670, .T.);
#13920 = ORIENTED_EDGE ('', *, *, #12880, .T.);
#13930 = EDGE_LOOP ('', (#13890, #13900, #13910, #13920));
#13940 = FACE_OUTER_BOUND ('', #13930, .T.);
#13950 = CARTESIAN_POINT ('', (28.5021866352217, -7.99992471804535, -4.75774727376444));
#13960 = CARTESIAN_POINT ('', (28.1622189823456, -7.97159408030568, 0.13777891769066));
#13970 = CARTESIAN_POINT ('', (31.8294638332727, -8.27719781788294, -4.52508138685242));
#13980 = CARTESIAN_POINT ('', (31.4894961803967, -8.24886718014327, 0.37044480460268));
#13990 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13950, #13960), (#13970, #13980)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.486886094943817, 2.86002103545232), (2.27575753352009, 7.18315575673977), .UNSPECIFIED.);
#14000 = ADVANCED_FACE ('', (#13940), #13990, .T.);
#14010 = ORIENTED_EDGE ('', *, *, #10830, .F.);
#14020 = CARTESIAN_POINT ('', (9.89436538817213, -8., -1.18713339883369));
#14030 = CARTESIAN_POINT ('', (9.89436538817213, -5.5, -1.18713339883369));
#14040 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14020, #14030), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14050 = EDGE_CURVE ('', #11430, #10720, #14040, .T.);
#14060 = ORIENTED_EDGE ('', *, *, #14050, .F.);
#14070 = ORIENTED_EDGE ('', *, *, #11470, .F.);
#14080 = ORIENTED_EDGE ('', *, *, #12490, .F.);
#14090 = EDGE_LOOP ('', (#14010, #14060, #14070, #14080));
#14100 = FACE_OUTER_BOUND ('', #14090, .T.);
#14110 = CARTESIAN_POINT ('', (10.1479643895144, -5.499, -0.850596157334323));
#14120 = CARTESIAN_POINT ('', (10.1479643895144, -8.001, -0.850596157334323));
#14130 = CARTESIAN_POINT ('', (9.89351636642893, -5.499, -1.18826008874147));
#14140 = CARTESIAN_POINT ('', (9.89351636642893, -8.001, -1.18826008874147));
#14150 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14110, #14120), (#14130, #14140)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141076860921441, 0.421390280378902), (-5.36737329040167, -2.86537329040166), .UNSPECIFIED.);
#14160 = ADVANCED_FACE ('', (#14100), #14150, .T.);
#14170 = ORIENTED_EDGE ('', *, *, #14050, .T.);
#14180 = ORIENTED_EDGE ('', *, *, #10760, .F.);
#14190 = CARTESIAN_POINT ('', (7.5615528124417, -5.25, -1.51498882543105));
#14200 = VERTEX_POINT ('', #14190);
#14210 = CARTESIAN_POINT ('', (7.56155281244172, -5.25, -1.51498882543105));
#14220 = CARTESIAN_POINT ('', (10.5323570186664, -5.5, -1.0974695225509));
#14230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14210, #14220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14240 = EDGE_CURVE ('', #14200, #10650, #14230, .T.);
#14250 = ORIENTED_EDGE ('', *, *, #14240, .F.);
#14260 = CARTESIAN_POINT ('', (7.5615528124417, -8.25, -1.51498882543105));
#14270 = VERTEX_POINT ('', #14260);
#14280 = CARTESIAN_POINT ('', (7.5615528124417, -8.25, -1.51498882543105));
#14290 = CARTESIAN_POINT ('', (7.56155281244172, -5.25, -1.51498882543105));
#14300 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14280, #14290), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14310 = EDGE_CURVE ('', #14270, #14200, #14300, .T.);
#14320 = ORIENTED_EDGE ('', *, *, #14310, .F.);
#14330 = CARTESIAN_POINT ('', (7.5615528124417, -8.25, -1.51498882543105));
#14340 = CARTESIAN_POINT ('', (10.5323570186664, -8., -1.0974695225509));
#14350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14330, #14340), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14360 = EDGE_CURVE ('', #14270, #11500, #14350, .T.);
#14370 = ORIENTED_EDGE ('', *, *, #14360, .T.);
#14380 = ORIENTED_EDGE ('', *, *, #11540, .T.);
#14390 = EDGE_LOOP ('', (#14170, #14180, #14250, #14320, #14370, #14380));
#14400 = FACE_OUTER_BOUND ('', #14390, .T.);
#14410 = CARTESIAN_POINT ('', (10.5334139521005, -5.249, -1.09732098024385));
#14420 = CARTESIAN_POINT ('', (10.5334139521005, -8.251, -1.09732098024385));
#14430 = CARTESIAN_POINT ('', (7.56049587900768, -5.249, -1.5151373677381));
#14440 = CARTESIAN_POINT ('', (7.56049587900768, -8.251, -1.5151373677381));
#14450 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14410, #14420), (#14430, #14440)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052400638, 3.001067320524), (-5.61737329040166, -2.61537329040166), .UNSPECIFIED.);
#14460 = ADVANCED_FACE ('', (#14400), #14450, .T.);
#14470 = CARTESIAN_POINT ('', (8.35001613686066, -8., -3.47240811657194));
#14480 = CARTESIAN_POINT ('', (8.35001613686067, -5.5, -3.47240811657194));
#14490 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14470, #14480), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14500 = EDGE_CURVE ('', #11640, #10510, #14490, .T.);
#14510 = ORIENTED_EDGE ('', *, *, #14500, .F.);
#14520 = ORIENTED_EDGE ('', *, *, #11680, .T.);
#14530 = CARTESIAN_POINT ('', (7.76520341764686, -8.25, -2.96403817565314));
#14540 = VERTEX_POINT ('', #14530);
#14550 = CARTESIAN_POINT ('', (11.2163086393098, -8., -5.96403817565309));
#14560 = CARTESIAN_POINT ('', (7.76520341764686, -8.25, -2.96403817565313));
#14570 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14550, #14560), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14580 = EDGE_CURVE ('', #11570, #14540, #14570, .T.);
#14590 = ORIENTED_EDGE ('', *, *, #14580, .T.);
#14600 = CARTESIAN_POINT ('', (7.76520341764686, -5.25, -2.96403817565314));
#14610 = VERTEX_POINT ('', #14600);
#14620 = CARTESIAN_POINT ('', (7.76520341764686, -8.25, -2.96403817565313));
#14630 = CARTESIAN_POINT ('', (7.76520341764686, -5.25, -2.96403817565313));
#14640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14620, #14630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14650 = EDGE_CURVE ('', #14540, #14610, #14640, .T.);
#14660 = ORIENTED_EDGE ('', *, *, #14650, .T.);
#14670 = CARTESIAN_POINT ('', (11.2163086393098, -5.5, -5.96403817565309));
#14680 = CARTESIAN_POINT ('', (7.76520341764686, -5.25, -2.96403817565313));
#14690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14670, #14680), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14700 = EDGE_CURVE ('', #10580, #14610, #14690, .T.);
#14710 = ORIENTED_EDGE ('', *, *, #14700, .F.);
#14720 = ORIENTED_EDGE ('', *, *, #10620, .F.);
#14730 = EDGE_LOOP ('', (#14510, #14520, #14590, #14660, #14710, #14720));
#14740 = FACE_OUTER_BOUND ('', #14730, .T.);
#14750 = CARTESIAN_POINT ('', (7.76413609712286, -5.249, -2.96311036807662));
#14760 = CARTESIAN_POINT ('', (7.76413609712286, -8.25099999999999, -2.96311036807662));
#14770 = CARTESIAN_POINT ('', (11.2173759598338, -5.249, -5.96496598322961));
#14780 = CARTESIAN_POINT ('', (11.2173759598338, -8.25099999999999, -5.96496598322961));
#14790 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14750, #14760), (#14770, #14780)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.7992890220458, 0.776298665196324), (-35.251, -32.249), .UNSPECIFIED.);
#14800 = ADVANCED_FACE ('', (#14740), #14790, .T.);
#14810 = ORIENTED_EDGE ('', *, *, #11750, .T.);
#14820 = ORIENTED_EDGE ('', *, *, #14500, .T.);
#14830 = ORIENTED_EDGE ('', *, *, #10550, .F.);
#14840 = ORIENTED_EDGE ('', *, *, #12290, .F.);
#14850 = EDGE_LOOP ('', (#14810, #14820, #14830, #14840));
#14860 = FACE_OUTER_BOUND ('', #14850, .T.);
#14870 = CARTESIAN_POINT ('', (8.34994638038692, -8.00099999999999, -3.47141055252168));
#14880 = CARTESIAN_POINT ('', (8.54478025000677, -8.00099999999999, -6.25766469745916));
#14890 = CARTESIAN_POINT ('', (8.34994638038692, -5.499, -3.47141055252168));
#14900 = CARTESIAN_POINT ('', (8.54478025000677, -5.499, -6.25766469745916));
#14910 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14870, #14880), (#14890, #14900)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-35.001, -32.499), (-3.001, -0.207942106412351), .UNSPECIFIED.);
#14920 = ADVANCED_FACE ('', (#14860), #14910, .T.);
#14930 = ORIENTED_EDGE ('', *, *, #14650, .F.);
#14940 = CARTESIAN_POINT ('', (7.76520341764686, -8.25, -2.96403817565313));
#14950 = CARTESIAN_POINT ('', (7.5615528124417, -8.25, -1.51498882543105));
#14960 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14940, #14950), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14970 = EDGE_CURVE ('', #14540, #14270, #14960, .T.);
#14980 = ORIENTED_EDGE ('', *, *, #14970, .T.);
#14990 = ORIENTED_EDGE ('', *, *, #14310, .T.);
#15000 = CARTESIAN_POINT ('', (7.76520341764686, -5.25, -2.96403817565313));
#15010 = CARTESIAN_POINT ('', (7.56155281244172, -5.25, -1.51498882543105));
#15020 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15000, #15010), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15030 = EDGE_CURVE ('', #14610, #14200, #15020, .T.);
#15040 = ORIENTED_EDGE ('', *, *, #15030, .F.);
#15050 = EDGE_LOOP ('', (#14930, #14980, #14990, #15040));
#15060 = FACE_OUTER_BOUND ('', #15050, .T.);
#15070 = CARTESIAN_POINT ('', (7.56140427013467, -5.249, -1.51393189199702));
#15080 = CARTESIAN_POINT ('', (7.56140427013467, -8.25099999999999, -1.51393189199702));
#15090 = CARTESIAN_POINT ('', (7.7653519599539, -5.249, -2.96509510908717));
#15100 = CARTESIAN_POINT ('', (7.7653519599539, -8.25099999999999, -2.96509510908717));
#15110 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15070, #15080), (#15090, #15100)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.46435730831845, 0.00106732052400282), (-35.251, -32.249), .UNSPECIFIED.);
#15120 = ADVANCED_FACE ('', (#15060), #15110, .T.);
#15130 = ORIENTED_EDGE ('', *, *, #14700, .T.);
#15140 = ORIENTED_EDGE ('', *, *, #15030, .T.);
#15150 = ORIENTED_EDGE ('', *, *, #14240, .T.);
#15160 = ORIENTED_EDGE ('', *, *, #10690, .F.);
#15170 = EDGE_LOOP ('', (#15130, #15140, #15150, #15160));
#15180 = FACE_OUTER_BOUND ('', #15170, .T.);
#15190 = CARTESIAN_POINT ('', (7.5456101057889, -5.25113281985674, -1.30387481413307));
#15200 = CARTESIAN_POINT ('', (7.89027655563666, -5.22280218211706, -6.19907243369597));
#15210 = CARTESIAN_POINT ('', (10.8728873038399, -5.52840591969432, -1.07120892722105));
#15220 = CARTESIAN_POINT ('', (11.2175537536877, -5.50007528195465, -5.96640654678395));
#15230 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15190, #15200), (#15210, #15220)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.486886094943817, 2.86002103545233), (-7.18315575673977, -2.27575753352009), .UNSPECIFIED.);
#15240 = ADVANCED_FACE ('', (#15180), #15230, .T.);
#15250 = ORIENTED_EDGE ('', *, *, #11610, .T.);
#15260 = ORIENTED_EDGE ('', *, *, #14360, .F.);
#15270 = ORIENTED_EDGE ('', *, *, #14970, .F.);
#15280 = ORIENTED_EDGE ('', *, *, #14580, .F.);
#15290 = EDGE_LOOP ('', (#15250, #15260, #15270, #15280));
#15300 = FACE_OUTER_BOUND ('', #15290, .T.);
#15310 = CARTESIAN_POINT ('', (10.8728873038399, -7.97159408030567, -1.07120892722105));
#15320 = CARTESIAN_POINT ('', (11.2175537536877, -7.99992471804534, -5.96640654678395));
#15330 = CARTESIAN_POINT ('', (7.5456101057889, -8.24886718014326, -1.30387481413307));
#15340 = CARTESIAN_POINT ('', (7.89027655563666, -8.27719781788293, -6.19907243369597));
#15350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15310, #15320), (#15330, #15340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.486886094943817, 2.86002103545233), (-7.18315575673977, -2.27575753352009), .UNSPECIFIED.);
#15360 = ADVANCED_FACE ('', (#15300), #15350, .T.);
#15370 = CLOSED_SHELL ('', (#11320, #12240, #12440, #12640, #12800, #13100, #13440, #13560, #13760, #13880, #14000, #14160, #14460, #14800, #14920, #15120, #15240, #15360));
#15380 = MANIFOLD_SOLID_BREP ('CUT', #15370);
#15390 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#15400 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#15410 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#15420 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #15390, 'DISTANCE_ACCURACY_VALUE', '');
#15430 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#15420))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#15390, #15400, #15410))
   REPRESENTATION_CONTEXT ('', '3D')
);
#15440 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#15450 = FILL_AREA_STYLE_COLOUR ('', #15440);
#15460 = FILL_AREA_STYLE ('', (#15450));
#15470 = SURFACE_STYLE_FILL_AREA (#15460);
#15480 = SURFACE_SIDE_STYLE ('', (#15470));
#15490 = SURFACE_STYLE_USAGE (.POSITIVE., #15480);
#15500 = PRESENTATION_STYLE_ASSIGNMENT ((#15490));
#15510 = STYLED_ITEM ('', (#15500), #15380);
#15520 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#15380), #15430);
#15530 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#15540 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #15530);
#15550 = MECHANICAL_CONTEXT ('', #15530, 'mechanical');
#15560 = PRODUCT ('NONE', '', '', (#15550));
#15570 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#15580 = PERSON ('', '', $, $, $, $);
#15590 = ORGANIZATION ($, '', '');
#15600 = PERSON_AND_ORGANIZATION (#15580, #15590);
#15610 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#15600, #15570, (#15560));
#15620 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#15560));
#15630 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #15560, .NOT_KNOWN.);
#15640 = APPROVAL_STATUS ('approved');
#15650 = APPROVAL (#15640, '');
#15660 = CALENDAR_DATE (2017, 25, 4);
#15670 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#15680 = LOCAL_TIME (11, 33, 43., #15670);
#15690 = DATE_AND_TIME (#15660, #15680);
#15700 = APPROVAL_DATE_TIME (#15690, #15650);
#15710 = APPROVAL_ROLE ('');
#15720 = PERSON ('', '', $, $, $, $);
#15730 = ORGANIZATION ($, '', '');
#15740 = PERSON_AND_ORGANIZATION (#15720, #15730);
#15750 = APPROVAL_PERSON_ORGANIZATION (#15740, #15650, #15710);
#15760 = CC_DESIGN_APPROVAL (#15650, (#15630));
#15770 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#15780 = PERSON ('', '', $, $, $, $);
#15790 = ORGANIZATION ($, '', '');
#15800 = PERSON_AND_ORGANIZATION (#15780, #15790);
#15810 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#15800, #15770, (#15630));
#15820 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#15830 = PERSON ('', '', $, $, $, $);
#15840 = ORGANIZATION ($, '', '');
#15850 = PERSON_AND_ORGANIZATION (#15830, #15840);
#15860 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#15850, #15820, (#15630));
#15870 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#15880 = SECURITY_CLASSIFICATION ('', '', #15870);
#15890 = APPROVAL_STATUS ('approved');
#15900 = APPROVAL (#15890, '');
#15910 = CALENDAR_DATE (2017, 25, 4);
#15920 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#15930 = LOCAL_TIME (11, 33, 43., #15920);
#15940 = DATE_AND_TIME (#15910, #15930);
#15950 = APPROVAL_DATE_TIME (#15940, #15900);
#15960 = APPROVAL_ROLE ('');
#15970 = PERSON ('', '', $, $, $, $);
#15980 = ORGANIZATION ($, '', '');
#15990 = PERSON_AND_ORGANIZATION (#15970, #15980);
#16000 = APPROVAL_PERSON_ORGANIZATION (#15990, #15900, #15960);
#16010 = CC_DESIGN_APPROVAL (#15900, (#15880));
#16020 = DATE_TIME_ROLE ('classification_date');
#16030 = CALENDAR_DATE (2017, 25, 4);
#16040 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16050 = LOCAL_TIME (11, 33, 43., #16040);
#16060 = DATE_AND_TIME (#16030, #16050);
#16070 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#16060, #16020, (#15880));
#16080 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#16090 = PERSON ('', '', $, $, $, $);
#16100 = ORGANIZATION ($, '', '');
#16110 = PERSON_AND_ORGANIZATION (#16090, #16100);
#16120 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16110, #16080, (#15880));
#16130 = CC_DESIGN_SECURITY_CLASSIFICATION (#15880, (#15630));
#16140 = DESIGN_CONTEXT ('', #15530, 'design');
#16150 = PRODUCT_DEFINITION ('', '', #15630, #16140);
#16160 = APPROVAL_STATUS ('approved');
#16170 = APPROVAL (#16160, '');
#16180 = CALENDAR_DATE (2017, 25, 4);
#16190 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16200 = LOCAL_TIME (11, 33, 43., #16190);
#16210 = DATE_AND_TIME (#16180, #16200);
#16220 = APPROVAL_DATE_TIME (#16210, #16170);
#16230 = APPROVAL_ROLE ('');
#16240 = PERSON ('', '', $, $, $, $);
#16250 = ORGANIZATION ($, '', '');
#16260 = PERSON_AND_ORGANIZATION (#16240, #16250);
#16270 = APPROVAL_PERSON_ORGANIZATION (#16260, #16170, #16230);
#16280 = CC_DESIGN_APPROVAL (#16170, (#16150));
#16290 = DATE_TIME_ROLE ('creation_date');
#16300 = CALENDAR_DATE (2017, 25, 4);
#16310 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16320 = LOCAL_TIME (11, 33, 43., #16310);
#16330 = DATE_AND_TIME (#16300, #16320);
#16340 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#16330, #16290, (#16150));
#16350 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#16360 = PERSON ('', '', $, $, $, $);
#16370 = ORGANIZATION ($, '', '');
#16380 = PERSON_AND_ORGANIZATION (#16360, #16370);
#16390 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16380, #16350, (#16150));
#16400 = PRODUCT_DEFINITION_SHAPE ('', '', #16150);
#16410 = SHAPE_DEFINITION_REPRESENTATION (#16400, #15520);
ENDSEC;
END-ISO-10303-21;