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

DATA;
#10 = CARTESIAN_POINT ('', (13., -5.5, -0.100000000000012));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (13.8186091253171, -5.5, 7.90000000000001));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (13., -5.5, -0.100000000000012));
#60 = CARTESIAN_POINT ('', (13., -5.5, 3.94188255625328));
#70 = CARTESIAN_POINT ('', (13.8186091253171, -5.5, 7.90000000000001));
#80 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#50, #60, #70), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 11.6850419558427), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.994805437848628, 1.))
   REPRESENTATION_ITEM ('')
);
#90 = EDGE_CURVE ('', #20, #40, #80, .T.);
#100 = ORIENTED_EDGE ('', *, *, #90, .F.);
#110 = CARTESIAN_POINT ('', (12., -4.5, -0.100000000000012));
#120 = VERTEX_POINT ('', #110);
#130 = CARTESIAN_POINT ('', (13., -5.5, -0.100000000000012));
#140 = CARTESIAN_POINT ('', (12., -5.5, -0.100000000000012));
#150 = CARTESIAN_POINT ('', (12., -4.5, -0.100000000000012));
#160 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#130, #140, #150), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (270., 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#170 = EDGE_CURVE ('', #20, #120, #160, .T.);
#180 = ORIENTED_EDGE ('', *, *, #170, .T.);
#190 = CARTESIAN_POINT ('', (12.7979849377894, -4.5, 7.90000000000001));
#200 = VERTEX_POINT ('', #190);
#210 = CARTESIAN_POINT ('', (12.7979849377894, -4.5, 7.90000000000003));
#220 = CARTESIAN_POINT ('', (12., -4.5, 3.93979874755863));
#230 = CARTESIAN_POINT ('', (12., -4.5, -0.100000000000037));
#240 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#210, #220, #230), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (348.607392298544, 360.000000000001), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.995061975005259, 1.))
   REPRESENTATION_ITEM ('')
);
#250 = EDGE_CURVE ('', #200, #120, #240, .T.);
#260 = ORIENTED_EDGE ('', *, *, #250, .F.);
#270 = CARTESIAN_POINT ('', (13.8186091253171, -5.5, 7.90000000000001));
#280 = CARTESIAN_POINT ('', (13.6851985332175, -5.5, 7.90000000000001));
#290 = CARTESIAN_POINT ('', (13.5543898238354, -5.47467484452755, 7.89999999999999));
#300 = CARTESIAN_POINT ('', (13.3084299748683, -5.37591208186008, 7.89999999999999));
#310 = CARTESIAN_POINT ('', (13.1955433283879, -5.30281910281749, 7.89999999999998));
#320 = CARTESIAN_POINT ('', (12.911396737732, -5.02743107088418, 7.89999999999999));
#330 = CARTESIAN_POINT ('', (12.7979849377894, -4.76698116225372, 7.89999999999999));
#340 = CARTESIAN_POINT ('', (12.7979849377894, -4.5, 7.90000000000001));
#350 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#270, #280, #290, #300, #310, #320, #330, #340), .UNSPECIFIED., .F., .U., (4, 2, 2, 4), (0., 0.000394598713828922, 0.000789197427657844, 0.00157839485531566), .UNSPECIFIED.);
#360 = EDGE_CURVE ('', #40, #200, #350, .T.);
#370 = ORIENTED_EDGE ('', *, *, #360, .F.);
#380 = EDGE_LOOP ('', (#100, #180, #260, #370));
#390 = FACE_OUTER_BOUND ('', #380, .T.);
#400 = CARTESIAN_POINT ('', (12., -4.5, -0.100000000000012));
#410 = CARTESIAN_POINT ('', (12., -3.5, -0.100000000000012));
#420 = CARTESIAN_POINT ('', (13., -3.5, -0.100000000000012));
#430 = CARTESIAN_POINT ('', (14., -3.5, -0.100000000000012));
#440 = CARTESIAN_POINT ('', (14., -4.5, -0.100000000000012));
#450 = CARTESIAN_POINT ('', (14., -5.5, -0.100000000000012));
#460 = CARTESIAN_POINT ('', (13., -5.5, -0.100000000000012));
#470 = CARTESIAN_POINT ('', (12., -5.5, -0.100000000000012));
#480 = CARTESIAN_POINT ('', (12., -4.5, -0.100000000000012));
#490 = CARTESIAN_POINT ('', (12., -4.50000000000001, -40.6));
#500 = CARTESIAN_POINT ('', (12., -3.50000000000001, -40.6));
#510 = CARTESIAN_POINT ('', (13., -3.50000000000001, -39.6));
#520 = CARTESIAN_POINT ('', (14., -3.50000000000001, -38.6));
#530 = CARTESIAN_POINT ('', (14., -4.5, -38.6));
#540 = CARTESIAN_POINT ('', (14., -5.5, -38.6));
#550 = CARTESIAN_POINT ('', (13., -5.50000000000001, -39.6));
#560 = CARTESIAN_POINT ('', (12., -5.50000000000001, -40.6));
#570 = CARTESIAN_POINT ('', (12., -4.50000000000001, -40.6));
#580 = CARTESIAN_POINT ('', (52.5, -4.50000000000001, -40.6));
#590 = CARTESIAN_POINT ('', (52.5, -3.50000000000001, -40.6));
#600 = CARTESIAN_POINT ('', (52.5, -3.50000000000001, -39.6));
#610 = CARTESIAN_POINT ('', (52.5, -3.50000000000001, -38.6));
#620 = CARTESIAN_POINT ('', (52.5, -4.50000000000001, -38.6));
#630 = CARTESIAN_POINT ('', (52.5, -5.50000000000001, -38.6));
#640 = CARTESIAN_POINT ('', (52.5, -5.50000000000001, -39.6));
#650 = CARTESIAN_POINT ('', (52.5, -5.50000000000001, -40.6));
#660 = CARTESIAN_POINT ('', (52.5, -4.50000000000001, -40.6));
#670 = CARTESIAN_POINT ('', (93., -4.50000000000001, -40.6));
#680 = CARTESIAN_POINT ('', (93., -3.50000000000001, -40.6));
#690 = CARTESIAN_POINT ('', (92., -3.50000000000001, -39.6));
#700 = CARTESIAN_POINT ('', (91., -3.50000000000001, -38.6));
#710 = CARTESIAN_POINT ('', (91., -4.50000000000001, -38.6));
#720 = CARTESIAN_POINT ('', (91., -5.50000000000001, -38.6));
#730 = CARTESIAN_POINT ('', (92., -5.50000000000001, -39.6));
#740 = CARTESIAN_POINT ('', (93., -5.50000000000001, -40.6));
#750 = CARTESIAN_POINT ('', (93., -4.50000000000001, -40.6));
#760 = CARTESIAN_POINT ('', (93., -4.50000000000001, -0.100000000000037));
#770 = CARTESIAN_POINT ('', (93., -3.50000000000001, -0.100000000000041));
#780 = CARTESIAN_POINT ('', (92., -3.50000000000001, -0.100000000000037));
#790 = CARTESIAN_POINT ('', (91., -3.50000000000001, -0.100000000000041));
#800 = CARTESIAN_POINT ('', (91., -4.50000000000001, -0.100000000000037));
#810 = CARTESIAN_POINT ('', (91., -5.50000000000001, -0.100000000000041));
#820 = CARTESIAN_POINT ('', (92., -5.50000000000001, -0.100000000000037));
#830 = CARTESIAN_POINT ('', (93., -5.50000000000001, -0.100000000000041));
#840 = CARTESIAN_POINT ('', (93., -4.50000000000001, -0.100000000000037));
#850 = CARTESIAN_POINT ('', (93., -4.5, 40.4));
#860 = CARTESIAN_POINT ('', (93., -3.50000000000001, 40.4));
#870 = CARTESIAN_POINT ('', (92., -3.50000000000001, 39.4));
#880 = CARTESIAN_POINT ('', (91., -3.50000000000001, 38.4));
#890 = CARTESIAN_POINT ('', (91., -4.5, 38.4));
#900 = CARTESIAN_POINT ('', (91., -5.50000000000001, 38.4));
#910 = CARTESIAN_POINT ('', (92., -5.50000000000001, 39.4));
#920 = CARTESIAN_POINT ('', (93., -5.50000000000001, 40.4));
#930 = CARTESIAN_POINT ('', (93., -4.5, 40.4));
#940 = CARTESIAN_POINT ('', (52.5, -4.5, 40.4));
#950 = CARTESIAN_POINT ('', (52.5, -3.5, 40.4));
#960 = CARTESIAN_POINT ('', (52.5, -3.5, 39.4));
#970 = CARTESIAN_POINT ('', (52.5, -3.5, 38.4));
#980 = CARTESIAN_POINT ('', (52.5, -4.5, 38.4));
#990 = CARTESIAN_POINT ('', (52.5, -5.5, 38.4));
#1000 = CARTESIAN_POINT ('', (52.5, -5.5, 39.4));
#1010 = CARTESIAN_POINT ('', (52.5, -5.5, 40.4));
#1020 = CARTESIAN_POINT ('', (52.5, -4.5, 40.4));
#1030 = CARTESIAN_POINT ('', (12., -4.5, 40.4));
#1040 = CARTESIAN_POINT ('', (12., -3.5, 40.4));
#1050 = CARTESIAN_POINT ('', (13., -3.5, 39.4));
#1060 = CARTESIAN_POINT ('', (14., -3.5, 38.4));
#1070 = CARTESIAN_POINT ('', (14., -4.5, 38.4));
#1080 = CARTESIAN_POINT ('', (14., -5.5, 38.4));
#1090 = CARTESIAN_POINT ('', (13., -5.5, 39.4));
#1100 = CARTESIAN_POINT ('', (12., -5.5, 40.4));
#1110 = CARTESIAN_POINT ('', (12., -4.5, 40.4));
#1120 = CARTESIAN_POINT ('', (12., -4.5, -0.100000000000012));
#1130 = CARTESIAN_POINT ('', (12., -3.5, -0.100000000000012));
#1140 = CARTESIAN_POINT ('', (13., -3.5, -0.100000000000012));
#1150 = CARTESIAN_POINT ('', (14., -3.5, -0.100000000000012));
#1160 = CARTESIAN_POINT ('', (14., -4.5, -0.100000000000012));
#1170 = CARTESIAN_POINT ('', (14., -5.5, -0.100000000000012));
#1180 = CARTESIAN_POINT ('', (13., -5.5, -0.100000000000012));
#1190 = CARTESIAN_POINT ('', (12., -5.5, -0.100000000000012));
#1200 = CARTESIAN_POINT ('', (12., -4.5, -0.100000000000012));
#1210 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 2, ((#400, #410, #420, #430, #440, #450, #460, #470, #480), (#490, #500, #510, #520, #530, #540, #550, #560, #570), (#580, #590, #600, #610, #620, #630, #640, #650, #660), (#670, #680, #690, #700, #710, #720, #730, #740, #750), (#760, #770, #780, #790, #800, #810, #820, #830, #840), (#850, #860, #870, #880, #890, #900, #910, #920, #930), (#940, #950, #960, #970, #980, #990, #1000, #1010, #1020), (#1030, #1040, #1050, #1060, #1070, #1080, #1090, #1100, #1110), (#1120, #1130, #1140, #1150, #1160, #1170, #1180, #1190, #1200)), .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 ('')
);
#1220 = ADVANCED_FACE ('', (#390), #1210, .T.);
#1230 = ORIENTED_EDGE ('', *, *, #250, .T.);
#1240 = CARTESIAN_POINT ('', (12., -2.66453525910038E-15, -0.100000000000012));
#1250 = VERTEX_POINT ('', #1240);
#1260 = CARTESIAN_POINT ('', (12., -4.5, -0.100000000000012));
#1270 = CARTESIAN_POINT ('', (12., -2.66453525910038E-15, -0.100000000000012));
#1280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1260, #1270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1290 = EDGE_CURVE ('', #120, #1250, #1280, .T.);
#1300 = ORIENTED_EDGE ('', *, *, #1290, .T.);
#1310 = CARTESIAN_POINT ('', (12.7979849377894, -1.77635683940025E-15, 7.90000000000001));
#1320 = VERTEX_POINT ('', #1310);
#1330 = CARTESIAN_POINT ('', (12.7979849377894, -1.77635683940025E-15, 7.90000000000001));
#1340 = CARTESIAN_POINT ('', (12., -2.66453525910038E-15, 3.93979874755864));
#1350 = CARTESIAN_POINT ('', (12., -2.66453525910038E-15, -0.100000000000009));
#1360 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1330, #1340, #1350), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (168.607392298543, 180.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.995061975005259, 1.))
   REPRESENTATION_ITEM ('')
);
#1370 = EDGE_CURVE ('', #1320, #1250, #1360, .T.);
#1380 = ORIENTED_EDGE ('', *, *, #1370, .F.);
#1390 = CARTESIAN_POINT ('', (12.7979849377894, -4.5, 7.90000000000001));
#1400 = CARTESIAN_POINT ('', (12.7979849377894, -1.77635683940025E-15, 7.90000000000001));
#1410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1390, #1400), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1420 = EDGE_CURVE ('', #200, #1320, #1410, .T.);
#1430 = ORIENTED_EDGE ('', *, *, #1420, .F.);
#1440 = EDGE_LOOP ('', (#1230, #1300, #1380, #1430));
#1450 = FACE_OUTER_BOUND ('', #1440, .T.);
#1460 = CARTESIAN_POINT ('', (12., -4.9512, -0.100000000000012));
#1470 = CARTESIAN_POINT ('', (12., 0.451199999999996, -0.100000000000012));
#1480 = CARTESIAN_POINT ('', (12., -4.95120000000001, -40.6));
#1490 = CARTESIAN_POINT ('', (12., 0.451199999999995, -40.6));
#1500 = CARTESIAN_POINT ('', (52.5, -4.95120000000001, -40.6000000000001));
#1510 = CARTESIAN_POINT ('', (52.5, 0.451199999999993, -40.6000000000001));
#1520 = CARTESIAN_POINT ('', (93., -4.95120000000001, -40.6000000000001));
#1530 = CARTESIAN_POINT ('', (93., 0.451199999999991, -40.6000000000001));
#1540 = CARTESIAN_POINT ('', (93., -4.95120000000001, -0.100000000000058));
#1550 = CARTESIAN_POINT ('', (93., 0.451199999999993, -0.100000000000058));
#1560 = CARTESIAN_POINT ('', (93.0000000000001, -4.9512, 40.3999999999999));
#1570 = CARTESIAN_POINT ('', (93.0000000000001, 0.451199999999995, 40.3999999999999));
#1580 = CARTESIAN_POINT ('', (52.5, -4.9512, 40.4));
#1590 = CARTESIAN_POINT ('', (52.5, 0.451199999999996, 40.4));
#1600 = CARTESIAN_POINT ('', (12., -4.9512, 40.4));
#1610 = CARTESIAN_POINT ('', (12., 0.451199999999998, 40.4));
#1620 = CARTESIAN_POINT ('', (12., -4.9512, -0.100000000000012));
#1630 = CARTESIAN_POINT ('', (12., 0.451199999999996, -0.100000000000012));
#1640 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#1460, #1470), (#1480, #1490), (#1500, #1510), (#1520, #1530), (#1540, #1550), (#1560, #1570), (#1580, #1590), (#1600, #1610), (#1620, #1630)), .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 ('')
);
#1650 = ADVANCED_FACE ('', (#1450), #1640, .T.);
#1660 = CARTESIAN_POINT ('', (44.65, -8.00000000000001, -6.91100603418979));
#1670 = VERTEX_POINT ('', #1660);
#1680 = CARTESIAN_POINT ('', (44.65, -8.00000000000001, -14.0584563549079));
#1690 = VERTEX_POINT ('', #1680);
#1700 = CARTESIAN_POINT ('', (44.65, -8.00000000000001, -6.91100603418979));
#1710 = CARTESIAN_POINT ('', (44.65, -8.00000000000001, -14.0584563549079));
#1720 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1700, #1710), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1730 = EDGE_CURVE ('', #1670, #1690, #1720, .T.);
#1740 = ORIENTED_EDGE ('', *, *, #1730, .T.);
#1750 = CARTESIAN_POINT ('', (44.65, -5.50000000000001, -14.0584563549079));
#1760 = VERTEX_POINT ('', #1750);
#1770 = CARTESIAN_POINT ('', (44.65, -8.00000000000001, -14.0584563549079));
#1780 = CARTESIAN_POINT ('', (44.65, -5.50000000000001, -14.0584563549079));
#1790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1770, #1780), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1800 = EDGE_CURVE ('', #1690, #1760, #1790, .T.);
#1810 = ORIENTED_EDGE ('', *, *, #1800, .T.);
#1820 = CARTESIAN_POINT ('', (44.65, -5.50000000000001, -6.91100603418979));
#1830 = VERTEX_POINT ('', #1820);
#1840 = CARTESIAN_POINT ('', (44.65, -5.50000000000001, -6.91100603418979));
#1850 = CARTESIAN_POINT ('', (44.65, -5.50000000000001, -14.0584563549079));
#1860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1840, #1850), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1870 = EDGE_CURVE ('', #1830, #1760, #1860, .T.);
#1880 = ORIENTED_EDGE ('', *, *, #1870, .F.);
#1890 = CARTESIAN_POINT ('', (44.65, -5.50000000000001, -6.91100603418979));
#1900 = CARTESIAN_POINT ('', (44.65, -8.00000000000001, -6.91100603418979));
#1910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1890, #1900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1920 = EDGE_CURVE ('', #1830, #1670, #1910, .T.);
#1930 = ORIENTED_EDGE ('', *, *, #1920, .T.);
#1940 = EDGE_LOOP ('', (#1740, #1810, #1880, #1930));
#1950 = FACE_OUTER_BOUND ('', #1940, .T.);
#1960 = CARTESIAN_POINT ('', (44.65, -8.001, -14.0594563549079));
#1970 = CARTESIAN_POINT ('', (44.65, -8.001, -6.91000603418979));
#1980 = CARTESIAN_POINT ('', (44.65, -5.49900000000001, -14.0594563549079));
#1990 = CARTESIAN_POINT ('', (44.65, -5.49900000000001, -6.91000603418979));
#2000 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1960, #1970), (#1980, #1990)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (5.499, 8.001), (14.9405436450921, 22.0899939658102), .UNSPECIFIED.);
#2010 = ADVANCED_FACE ('', (#1950), #2000, .T.);
#2020 = CARTESIAN_POINT ('', (22.9225317726659, -5.50000000000001, -26.2805915376456));
#2030 = VERTEX_POINT ('', #2020);
#2040 = CARTESIAN_POINT ('', (14.0278535283168, -5.5, -9.0523151118216));
#2050 = VERTEX_POINT ('', #2040);
#2060 = CARTESIAN_POINT ('', (22.9225317726659, -5.50000000000001, -26.2805915376456));
#2070 = CARTESIAN_POINT ('', (16.2943315984677, -5.5, -18.7923963310988));
#2080 = CARTESIAN_POINT ('', (14.0278535283167, -5.5, -9.05231511182161));
#2090 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2060, #2070, #2080), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (318.48624845743, 346.900612886841), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.969414592189645, 1.))
   REPRESENTATION_ITEM ('')
);
#2100 = EDGE_CURVE ('', #2030, #2050, #2090, .T.);
#2110 = ORIENTED_EDGE ('', *, *, #2100, .T.);
#2120 = CARTESIAN_POINT ('', (14.0278535283168, -5.5, -9.0523151118216));
#2130 = CARTESIAN_POINT ('', (44.65, -5.50000000000001, -6.91100603418979));
#2140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2120, #2130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2150 = EDGE_CURVE ('', #2050, #1830, #2140, .T.);
#2160 = ORIENTED_EDGE ('', *, *, #2150, .T.);
#2170 = ORIENTED_EDGE ('', *, *, #1870, .T.);
#2180 = CARTESIAN_POINT ('', (36.3864817766693, -5.50000000000001, -23.90653388503));
#2190 = VERTEX_POINT ('', #2180);
#2200 = CARTESIAN_POINT ('', (44.65, -5.5, -14.0584563549079));
#2210 = CARTESIAN_POINT ('', (44.65, -5.5, -22.4494526666808));
#2220 = CARTESIAN_POINT ('', (36.3864817766693, -5.5, -23.90653388503));
#2230 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2200, #2210, #2220), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (180., 260.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.766044443118976, 1.))
   REPRESENTATION_ITEM ('')
);
#2240 = EDGE_CURVE ('', #1760, #2190, #2230, .T.);
#2250 = ORIENTED_EDGE ('', *, *, #2240, .T.);
#2260 = CARTESIAN_POINT ('', (22.9225317726659, -5.50000000000001, -26.2805915376456));
#2270 = CARTESIAN_POINT ('', (36.3864817766693, -5.50000000000001, -23.90653388503));
#2280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2260, #2270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2290 = EDGE_CURVE ('', #2030, #2190, #2280, .T.);
#2300 = ORIENTED_EDGE ('', *, *, #2290, .F.);
#2310 = EDGE_LOOP ('', (#2110, #2160, #2170, #2250, #2300));
#2320 = FACE_OUTER_BOUND ('', #2310, .T.);
#2330 = CARTESIAN_POINT ('', (44.651, -5.50000000000001, -26.2815915376456));
#2340 = CARTESIAN_POINT ('', (44.651, -5.50000000000001, -6.91000603418979));
#2350 = CARTESIAN_POINT ('', (14.0268535283167, -5.5, -26.2815915376456));
#2360 = CARTESIAN_POINT ('', (14.0268535283167, -5.5, -6.91000603418979));
#2370 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2330, #2340), (#2350, #2360)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (7.84899999999999, 38.4731464716833), (-26.1815915376456, -6.81000603418978), .UNSPECIFIED.);
#2380 = ADVANCED_FACE ('', (#2320), #2370, .T.);
#2390 = CARTESIAN_POINT ('', (7.5, -8., -29.));
#2400 = VERTEX_POINT ('', #2390);
#2410 = CARTESIAN_POINT ('', (-2.8421709430404E-14, -8., -29.));
#2420 = VERTEX_POINT ('', #2410);
#2430 = CARTESIAN_POINT ('', (7.5, -8., -29.));
#2440 = CARTESIAN_POINT ('', (-2.8421709430404E-14, -8., -29.));
#2450 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2430, #2440), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2460 = EDGE_CURVE ('', #2400, #2420, #2450, .T.);
#2470 = ORIENTED_EDGE ('', *, *, #2460, .T.);
#2480 = CARTESIAN_POINT ('', (0., -3.5527136788005E-15, -29.));
#2490 = VERTEX_POINT ('', #2480);
#2500 = CARTESIAN_POINT ('', (0., -3.5527136788005E-15, -29.));
#2510 = CARTESIAN_POINT ('', (-2.8421709430404E-14, -8., -29.));
#2520 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2500, #2510), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2530 = EDGE_CURVE ('', #2490, #2420, #2520, .T.);
#2540 = ORIENTED_EDGE ('', *, *, #2530, .F.);
#2550 = CARTESIAN_POINT ('', (7.5, -5.32907051820075E-15, -29.));
#2560 = VERTEX_POINT ('', #2550);
#2570 = CARTESIAN_POINT ('', (7.5, -5.32907051820075E-15, -29.));
#2580 = CARTESIAN_POINT ('', (0., -3.5527136788005E-15, -29.));
#2590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2570, #2580), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2600 = EDGE_CURVE ('', #2560, #2490, #2590, .T.);
#2610 = ORIENTED_EDGE ('', *, *, #2600, .F.);
#2620 = CARTESIAN_POINT ('', (7.5, -5.32907051820075E-15, -29.));
#2630 = CARTESIAN_POINT ('', (7.5, -8., -29.));
#2640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2620, #2630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2650 = EDGE_CURVE ('', #2560, #2400, #2640, .T.);
#2660 = ORIENTED_EDGE ('', *, *, #2650, .T.);
#2670 = EDGE_LOOP ('', (#2470, #2540, #2610, #2660));
#2680 = FACE_OUTER_BOUND ('', #2670, .T.);
#2690 = CARTESIAN_POINT ('', (7.501, -8.001, -29.));
#2700 = CARTESIAN_POINT ('', (7.501, 0.000999999999994117, -29.));
#2710 = CARTESIAN_POINT ('', (-0.0010000000000332, -8.001, -29.));
#2720 = CARTESIAN_POINT ('', (-0.0010000000000332, 0.000999999999994117, -29.));
#2730 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2690, #2700), (#2710, #2720)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (64.999, 72.501), (-8.001, 0.000999999999999446), .UNSPECIFIED.);
#2740 = ADVANCED_FACE ('', (#2680), #2730, .T.);
#2750 = CARTESIAN_POINT ('', (-65., -6.5, -21.1080762113533));
#2760 = VERTEX_POINT ('', #2750);
#2770 = CARTESIAN_POINT ('', (-65., 0., -19.3664064605511));
#2780 = VERTEX_POINT ('', #2770);
#2790 = CARTESIAN_POINT ('', (-65., -6.5, -21.1080762113533));
#2800 = CARTESIAN_POINT ('', (-65., 0., -19.3664064605511));
#2810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2790, #2800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2820 = EDGE_CURVE ('', #2760, #2780, #2810, .T.);
#2830 = ORIENTED_EDGE ('', *, *, #2820, .F.);
#2840 = CARTESIAN_POINT ('', (-65., -8., -19.6080762113533));
#2850 = VERTEX_POINT ('', #2840);
#2860 = CARTESIAN_POINT ('', (-65., -8., -19.6080762113533));
#2870 = CARTESIAN_POINT ('', (-65., -6.5, -21.1080762113533));
#2880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2860, #2870), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2890 = EDGE_CURVE ('', #2850, #2760, #2880, .T.);
#2900 = ORIENTED_EDGE ('', *, *, #2890, .F.);
#2910 = CARTESIAN_POINT ('', (-65., -8., 2.58807621135333));
#2920 = VERTEX_POINT ('', #2910);
#2930 = CARTESIAN_POINT ('', (-65., -8., -19.6080762113533));
#2940 = CARTESIAN_POINT ('', (-65., -8., 2.58807621135333));
#2950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2930, #2940), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2960 = EDGE_CURVE ('', #2850, #2920, #2950, .T.);
#2970 = ORIENTED_EDGE ('', *, *, #2960, .T.);
#2980 = CARTESIAN_POINT ('', (-65., -6.5, 4.08807621135332));
#2990 = VERTEX_POINT ('', #2980);
#3000 = CARTESIAN_POINT ('', (-65., -6.5, 4.08807621135332));
#3010 = CARTESIAN_POINT ('', (-65., -8., 2.58807621135333));
#3020 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3000, #3010), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3030 = EDGE_CURVE ('', #2990, #2920, #3020, .T.);
#3040 = ORIENTED_EDGE ('', *, *, #3030, .F.);
#3050 = CARTESIAN_POINT ('', (-65., 1.77635683940025E-15, 2.34640646055107));
#3060 = VERTEX_POINT ('', #3050);
#3070 = CARTESIAN_POINT ('', (-65., 1.77635683940025E-15, 2.34640646055107));
#3080 = CARTESIAN_POINT ('', (-65., -6.5, 4.08807621135332));
#3090 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3070, #3080), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3100 = EDGE_CURVE ('', #3060, #2990, #3090, .T.);
#3110 = ORIENTED_EDGE ('', *, *, #3100, .F.);
#3120 = CARTESIAN_POINT ('', (-65., 0., -19.3664064605511));
#3130 = CARTESIAN_POINT ('', (-65., 1.77635683940025E-15, 2.34640646055107));
#3140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3120, #3130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3150 = EDGE_CURVE ('', #2780, #3060, #3140, .T.);
#3160 = ORIENTED_EDGE ('', *, *, #3150, .F.);
#3170 = EDGE_LOOP ('', (#2830, #2900, #2970, #3040, #3110, #3160));
#3180 = FACE_OUTER_BOUND ('', #3170, .T.);
#3190 = CARTESIAN_POINT ('', (-65., -8.001, -21.1090762113533));
#3200 = CARTESIAN_POINT ('', (-65., 0.000999999999997669, -21.1090762113533));
#3210 = CARTESIAN_POINT ('', (-65., -8.001, 4.08907621135332));
#3220 = CARTESIAN_POINT ('', (-65., 0.000999999999999446, 4.08907621135332));
#3230 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3190, #3200), (#3210, #3220)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (3.81092378864668, 29.0090762113533), (-8.001, 0.000999999999999446), .UNSPECIFIED.);
#3240 = ADVANCED_FACE ('', (#3180), #3230, .T.);
#3250 = CARTESIAN_POINT ('', (0.5, -2.66453525910038E-15, 7.9));
#3260 = VERTEX_POINT ('', #3250);
#3270 = CARTESIAN_POINT ('', (0.5, -2.66453525910038E-15, 7.9));
#3280 = CARTESIAN_POINT ('', (12.7979849377894, -1.77635683940025E-15, 7.90000000000001));
#3290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3270, #3280), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3300 = EDGE_CURVE ('', #3260, #1320, #3290, .T.);
#3310 = ORIENTED_EDGE ('', *, *, #3300, .F.);
#3320 = CARTESIAN_POINT ('', (0.5, -8., 7.9));
#3330 = VERTEX_POINT ('', #3320);
#3340 = CARTESIAN_POINT ('', (0.5, -8., 7.9));
#3350 = CARTESIAN_POINT ('', (0.5, -2.66453525910038E-15, 7.9));
#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 ('', (26.2226226147384, -8., 7.89999999999998));
#3400 = VERTEX_POINT ('', #3390);
#3410 = CARTESIAN_POINT ('', (0.5, -8., 7.9));
#3420 = CARTESIAN_POINT ('', (26.2226226147384, -8., 7.89999999999998));
#3430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3410, #3420), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3440 = EDGE_CURVE ('', #3330, #3400, #3430, .T.);
#3450 = ORIENTED_EDGE ('', *, *, #3440, .T.);
#3460 = CARTESIAN_POINT ('', (26.2226226147384, -5.5, 7.90000000000001));
#3470 = VERTEX_POINT ('', #3460);
#3480 = CARTESIAN_POINT ('', (26.2226226147384, -8., 7.89999999999998));
#3490 = CARTESIAN_POINT ('', (26.2226226147384, -5.5, 7.90000000000001));
#3500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3480, #3490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3510 = EDGE_CURVE ('', #3400, #3470, #3500, .T.);
#3520 = ORIENTED_EDGE ('', *, *, #3510, .T.);
#3530 = CARTESIAN_POINT ('', (13.8186091253171, -5.5, 7.90000000000001));
#3540 = CARTESIAN_POINT ('', (26.2226226147384, -5.5, 7.90000000000001));
#3550 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3530, #3540), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3560 = EDGE_CURVE ('', #40, #3470, #3550, .T.);
#3570 = ORIENTED_EDGE ('', *, *, #3560, .F.);
#3580 = ORIENTED_EDGE ('', *, *, #360, .T.);
#3590 = ORIENTED_EDGE ('', *, *, #1420, .T.);
#3600 = EDGE_LOOP ('', (#3310, #3380, #3450, #3520, #3570, #3580, #3590));
#3610 = FACE_OUTER_BOUND ('', #3600, .T.);
#3620 = CARTESIAN_POINT ('', (0.498999999999995, -8.001, 7.89999999999998));
#3630 = CARTESIAN_POINT ('', (0.498999999999995, 0.000999999999995893, 7.89999999999998));
#3640 = CARTESIAN_POINT ('', (26.2236226147384, -8.001, 7.89999999999997));
#3650 = CARTESIAN_POINT ('', (26.2236226147384, 0.000999999999994117, 7.89999999999997));
#3660 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3620, #3630), (#3640, #3650)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-91.2236226147384, -65.499), (-8.001, 0.000999999999999446), .UNSPECIFIED.);
#3670 = ADVANCED_FACE ('', (#3610), #3660, .T.);
#3680 = CARTESIAN_POINT ('', (-7.5, -1.77635683940025E-15, 2.34640646055107));
#3690 = VERTEX_POINT ('', #3680);
#3700 = CARTESIAN_POINT ('', (-7.5, -1.77635683940025E-15, 2.34640646055107));
#3710 = CARTESIAN_POINT ('', (-65., 1.77635683940025E-15, 2.34640646055107));
#3720 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3700, #3710), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3730 = EDGE_CURVE ('', #3690, #3060, #3720, .T.);
#3740 = ORIENTED_EDGE ('', *, *, #3730, .F.);
#3750 = CARTESIAN_POINT ('', (-7.5, 0., 2.13935122446906));
#3760 = VERTEX_POINT ('', #3750);
#3770 = CARTESIAN_POINT ('', (-7.5, -1.77635683940025E-15, 2.34640646055107));
#3780 = CARTESIAN_POINT ('', (-7.5, 0., 2.13935122446906));
#3790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3770, #3780), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3800 = EDGE_CURVE ('', #3690, #3760, #3790, .T.);
#3810 = ORIENTED_EDGE ('', *, *, #3800, .T.);
#3820 = CARTESIAN_POINT ('', (0.5, -8.88178419700125E-16, 2.13935122446906));
#3830 = VERTEX_POINT ('', #3820);
#3840 = CARTESIAN_POINT ('', (0.5, -8.88178419700125E-16, 2.13935122446906));
#3850 = CARTESIAN_POINT ('', (-7.5, 0., 2.13935122446906));
#3860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3840, #3850), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3870 = EDGE_CURVE ('', #3830, #3760, #3860, .T.);
#3880 = ORIENTED_EDGE ('', *, *, #3870, .F.);
#3890 = CARTESIAN_POINT ('', (0.5, -2.66453525910038E-15, 7.9));
#3900 = CARTESIAN_POINT ('', (0.5, -8.88178419700125E-16, 2.13935122446906));
#3910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3890, #3900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3920 = EDGE_CURVE ('', #3260, #3830, #3910, .T.);
#3930 = ORIENTED_EDGE ('', *, *, #3920, .F.);
#3940 = ORIENTED_EDGE ('', *, *, #3300, .T.);
#3950 = ORIENTED_EDGE ('', *, *, #1370, .T.);
#3960 = CARTESIAN_POINT ('', (21.7726644449221, -5.32907051820075E-15, -26.4833441717619));
#3970 = VERTEX_POINT ('', #3960);
#3980 = CARTESIAN_POINT ('', (12., -2.66453525910038E-15, -0.100000000000009));
#3990 = CARTESIAN_POINT ('', (12., -3.5527136788005E-15, -15.1016202435384));
#4000 = CARTESIAN_POINT ('', (21.7726644449221, -5.32907051820075E-15, -26.4833441717619));
#4010 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3980, #3990, #4000), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (180., 220.650304960471), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.937736541715011, 1.))
   REPRESENTATION_ITEM ('')
);
#4020 = EDGE_CURVE ('', #1250, #3970, #4010, .T.);
#4030 = ORIENTED_EDGE ('', *, *, #4020, .T.);
#4040 = CARTESIAN_POINT ('', (7.5, -5.32907051820075E-15, -29.));
#4050 = CARTESIAN_POINT ('', (21.7726644449221, -5.32907051820075E-15, -26.4833441717619));
#4060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4040, #4050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4070 = EDGE_CURVE ('', #2560, #3970, #4060, .T.);
#4080 = ORIENTED_EDGE ('', *, *, #4070, .F.);
#4090 = ORIENTED_EDGE ('', *, *, #2600, .T.);
#4100 = CARTESIAN_POINT ('', (0., -2.66453525910038E-15, -19.3664064605511));
#4110 = VERTEX_POINT ('', #4100);
#4120 = CARTESIAN_POINT ('', (0., -2.66453525910038E-15, -19.3664064605511));
#4130 = CARTESIAN_POINT ('', (0., -3.5527136788005E-15, -29.));
#4140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4120, #4130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4150 = EDGE_CURVE ('', #4110, #2490, #4140, .T.);
#4160 = ORIENTED_EDGE ('', *, *, #4150, .F.);
#4170 = CARTESIAN_POINT ('', (0., -2.66453525910038E-15, -19.3664064605511));
#4180 = CARTESIAN_POINT ('', (-65., 0., -19.3664064605511));
#4190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4170, #4180), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4200 = EDGE_CURVE ('', #4110, #2780, #4190, .T.);
#4210 = ORIENTED_EDGE ('', *, *, #4200, .T.);
#4220 = ORIENTED_EDGE ('', *, *, #3150, .T.);
#4230 = EDGE_LOOP ('', (#3740, #3810, #3880, #3930, #3940, #3950, #4030, #4080, #4090, #4160, #4210, #4220));
#4240 = FACE_OUTER_BOUND ('', #4230, .T.);
#4250 = CARTESIAN_POINT ('', (21.7736644449221, -7.105427357601E-15, -29.001));
#4260 = CARTESIAN_POINT ('', (21.7736644449221, -4.44089209850063E-15, 7.90100000000001));
#4270 = CARTESIAN_POINT ('', (-65.001, -8.88178419700125E-16, -29.001));
#4280 = CARTESIAN_POINT ('', (-65.001, 1.77635683940025E-15, 7.90100000000001));
#4290 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4250, #4260), (#4270, #4280)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-109.651, -22.8763355550779), (-0.0010000000000003, 36.901), .UNSPECIFIED.);
#4300 = ADVANCED_FACE ('', (#4240), #4290, .T.);
#4310 = CARTESIAN_POINT ('', (39., -8.00000000000001, 0.0919286861684725));
#4320 = VERTEX_POINT ('', #4310);
#4330 = CARTESIAN_POINT ('', (9.20475298970399, -8., -1.99155794833073));
#4340 = VERTEX_POINT ('', #4330);
#4350 = CARTESIAN_POINT ('', (39., -8.00000000000001, 0.0919286861684725));
#4360 = CARTESIAN_POINT ('', (9.20475298970399, -8., -1.99155794833073));
#4370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4350, #4360), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4380 = EDGE_CURVE ('', #4320, #4340, #4370, .T.);
#4390 = ORIENTED_EDGE ('', *, *, #4380, .F.);
#4400 = CARTESIAN_POINT ('', (36.615461869021, -8., 2.47646681714748));
#4410 = VERTEX_POINT ('', #4400);
#4420 = CARTESIAN_POINT ('', (36.615461869021, -8., 2.47646681714748));
#4430 = CARTESIAN_POINT ('', (39., -8.00000000000001, 0.0919286861684725));
#4440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4420, #4430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4450 = EDGE_CURVE ('', #4410, #4320, #4440, .T.);
#4460 = ORIENTED_EDGE ('', *, *, #4450, .F.);
#4470 = CARTESIAN_POINT ('', (35.5799279630883, -8., 3.27105993013697));
#4480 = VERTEX_POINT ('', #4470);
#4490 = CARTESIAN_POINT ('', (36.615461869021, -8., 2.47646681714748));
#4500 = CARTESIAN_POINT ('', (36.1500000000001, -8., 2.94192868616847));
#4510 = CARTESIAN_POINT ('', (35.5799279630883, -8., 3.27105993013697));
#4520 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4490, #4500, #4510), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (44.9999999999996, 60.0000000000002), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.99144486137381, 1.))
   REPRESENTATION_ITEM ('')
);
#4530 = EDGE_CURVE ('', #4410, #4480, #4520, .T.);
#4540 = ORIENTED_EDGE ('', *, *, #4530, .T.);
#4550 = CARTESIAN_POINT ('', (28.7226226147384, -8., 7.23012701892219));
#4560 = VERTEX_POINT ('', #4550);
#4570 = CARTESIAN_POINT ('', (28.7226226147384, -8., 7.23012701892219));
#4580 = CARTESIAN_POINT ('', (35.5799279630883, -8., 3.27105993013697));
#4590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4570, #4580), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4600 = EDGE_CURVE ('', #4560, #4480, #4590, .T.);
#4610 = ORIENTED_EDGE ('', *, *, #4600, .F.);
#4620 = CARTESIAN_POINT ('', (28.7226226147384, -8., 7.23012701892219));
#4630 = CARTESIAN_POINT ('', (27.562368576894, -8., 7.9));
#4640 = CARTESIAN_POINT ('', (26.2226226147384, -8., 7.89999999999999));
#4650 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4620, #4630, #4640), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (60.0000000000002, 90.0000000000003), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.965925826289068, 1.))
   REPRESENTATION_ITEM ('')
);
#4660 = EDGE_CURVE ('', #4560, #3400, #4650, .T.);
#4670 = ORIENTED_EDGE ('', *, *, #4660, .T.);
#4680 = ORIENTED_EDGE ('', *, *, #3440, .F.);
#4690 = CARTESIAN_POINT ('', (0.5, -8., 2.58807621135333));
#4700 = VERTEX_POINT ('', #4690);
#4710 = CARTESIAN_POINT ('', (0.5, -8., 2.58807621135333));
#4720 = CARTESIAN_POINT ('', (0.5, -8., 7.9));
#4730 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4710, #4720), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4740 = EDGE_CURVE ('', #4700, #3330, #4730, .T.);
#4750 = ORIENTED_EDGE ('', *, *, #4740, .F.);
#4760 = CARTESIAN_POINT ('', (0.5, -8., 2.58807621135333));
#4770 = CARTESIAN_POINT ('', (-65., -8., 2.58807621135333));
#4780 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4760, #4770), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4790 = EDGE_CURVE ('', #4700, #2920, #4780, .T.);
#4800 = ORIENTED_EDGE ('', *, *, #4790, .T.);
#4810 = ORIENTED_EDGE ('', *, *, #2960, .F.);
#4820 = CARTESIAN_POINT ('', (0., -8., -19.6080762113533));
#4830 = VERTEX_POINT ('', #4820);
#4840 = CARTESIAN_POINT ('', (0., -8., -19.6080762113533));
#4850 = CARTESIAN_POINT ('', (-65., -8., -19.6080762113533));
#4860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4840, #4850), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4870 = EDGE_CURVE ('', #4830, #2850, #4860, .T.);
#4880 = ORIENTED_EDGE ('', *, *, #4870, .F.);
#4890 = CARTESIAN_POINT ('', (-2.8421709430404E-14, -8., -29.));
#4900 = CARTESIAN_POINT ('', (0., -8., -19.6080762113533));
#4910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4890, #4900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4920 = EDGE_CURVE ('', #2420, #4830, #4910, .T.);
#4930 = ORIENTED_EDGE ('', *, *, #4920, .F.);
#4940 = ORIENTED_EDGE ('', *, *, #2460, .F.);
#4950 = CARTESIAN_POINT ('', (36.3864817766693, -8.00000000000001, -23.90653388503));
#4960 = VERTEX_POINT ('', #4950);
#4970 = CARTESIAN_POINT ('', (36.3864817766693, -8.00000000000001, -23.90653388503));
#4980 = CARTESIAN_POINT ('', (7.5, -8., -29.));
#4990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4970, #4980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5000 = EDGE_CURVE ('', #4960, #2400, #4990, .T.);
#5010 = ORIENTED_EDGE ('', *, *, #5000, .F.);
#5020 = CARTESIAN_POINT ('', (36.3864817766692, -8.00000000000001, -23.90653388503));
#5030 = CARTESIAN_POINT ('', (44.65, -8.00000000000001, -22.4494526666808));
#5040 = CARTESIAN_POINT ('', (44.65, -8.00000000000001, -14.0584563549079));
#5050 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5020, #5030, #5040), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (280., 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.766044443118976, 1.))
   REPRESENTATION_ITEM ('')
);
#5060 = EDGE_CURVE ('', #4960, #1690, #5050, .T.);
#5070 = ORIENTED_EDGE ('', *, *, #5060, .T.);
#5080 = ORIENTED_EDGE ('', *, *, #1730, .F.);
#5090 = CARTESIAN_POINT ('', (11.2159018413253, -8., -9.24894592863207));
#5100 = VERTEX_POINT ('', #5090);
#5110 = CARTESIAN_POINT ('', (44.65, -8.00000000000001, -6.91100603418979));
#5120 = CARTESIAN_POINT ('', (11.2159018413253, -8., -9.24894592863207));
#5130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5110, #5120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5140 = EDGE_CURVE ('', #1670, #5100, #5130, .T.);
#5150 = ORIENTED_EDGE ('', *, *, #5140, .T.);
#5160 = CARTESIAN_POINT ('', (10.9452467231981, -8., -5.37839741362397));
#5170 = VERTEX_POINT ('', #5160);
#5180 = CARTESIAN_POINT ('', (10.9452467231981, -8., -5.37839741362397));
#5190 = CARTESIAN_POINT ('', (11.2159018413253, -8., -9.24894592863207));
#5200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5180, #5190), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5210 = EDGE_CURVE ('', #5170, #5100, #5200, .T.);
#5220 = ORIENTED_EDGE ('', *, *, #5210, .F.);
#5230 = CARTESIAN_POINT ('', (9.44890064780834, -8., -5.48303212424014));
#5240 = VERTEX_POINT ('', #5230);
#5250 = CARTESIAN_POINT ('', (9.44890064780834, -8., -5.48303212424014));
#5260 = CARTESIAN_POINT ('', (10.9452467231981, -8., -5.37839741362397));
#5270 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5250, #5260), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5280 = EDGE_CURVE ('', #5240, #5170, #5270, .T.);
#5290 = ORIENTED_EDGE ('', *, *, #5280, .F.);
#5300 = CARTESIAN_POINT ('', (9.20475298970399, -8., -1.99155794833073));
#5310 = CARTESIAN_POINT ('', (9.44890064780834, -8., -5.48303212424014));
#5320 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5300, #5310), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5330 = EDGE_CURVE ('', #4340, #5240, #5320, .T.);
#5340 = ORIENTED_EDGE ('', *, *, #5330, .F.);
#5350 = EDGE_LOOP ('', (#4390, #4460, #4540, #4610, #4670, #4680, #4750, #4800, #4810, #4880, #4930, #4940, #5010, #5070, #5080, #5150, #5220, #5290, #5340));
#5360 = FACE_OUTER_BOUND ('', #5350, .T.);
#5370 = CARTESIAN_POINT ('', (-65.001, -8., -29.001));
#5380 = CARTESIAN_POINT ('', (-65.001, -8., 7.901));
#5390 = CARTESIAN_POINT ('', (44.651, -8.00000000000001, -29.001));
#5400 = CARTESIAN_POINT ('', (44.651, -8.00000000000001, 7.901));
#5410 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5370, #5380), (#5390, #5400)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-109.651, 0.00100000000001899), (-0.00100000000000004, 36.901), .UNSPECIFIED.);
#5420 = ADVANCED_FACE ('', (#5360), #5410, .T.);
#5430 = CARTESIAN_POINT ('', (39., -5.5, 0.0919286861684725));
#5440 = VERTEX_POINT ('', #5430);
#5450 = CARTESIAN_POINT ('', (13.033391772972, -5.5, -1.72383344413355));
#5460 = VERTEX_POINT ('', #5450);
#5470 = CARTESIAN_POINT ('', (39., -5.5, 0.0919286861684725));
#5480 = CARTESIAN_POINT ('', (13.033391772972, -5.5, -1.72383344413355));
#5490 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5470, #5480), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5500 = EDGE_CURVE ('', #5440, #5460, #5490, .T.);
#5510 = ORIENTED_EDGE ('', *, *, #5500, .T.);
#5520 = CARTESIAN_POINT ('', (13.033391772972, -5.5, -1.72383344413357));
#5530 = CARTESIAN_POINT ('', (13., -5.5, -0.912260048688886));
#5540 = CARTESIAN_POINT ('', (13., -5.5, -0.100000000000023));
#5550 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5520, #5530, #5540), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (357.643923316831, 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.999788637327644, 1.))
   REPRESENTATION_ITEM ('')
);
#5560 = EDGE_CURVE ('', #5460, #20, #5550, .T.);
#5570 = ORIENTED_EDGE ('', *, *, #5560, .T.);
#5580 = ORIENTED_EDGE ('', *, *, #90, .T.);
#5590 = ORIENTED_EDGE ('', *, *, #3560, .T.);
#5600 = CARTESIAN_POINT ('', (28.7226226147384, -5.5, 7.2301270189222));
#5610 = VERTEX_POINT ('', #5600);
#5620 = CARTESIAN_POINT ('', (26.2226226147384, -5.5, 7.89999999999999));
#5630 = CARTESIAN_POINT ('', (27.562368576894, -5.5, 7.89999999999999));
#5640 = CARTESIAN_POINT ('', (28.7226226147384, -5.5, 7.2301270189222));
#5650 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5620, #5630, #5640), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (90., 120.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.965925826289069, 1.))
   REPRESENTATION_ITEM ('')
);
#5660 = EDGE_CURVE ('', #3470, #5610, #5650, .T.);
#5670 = ORIENTED_EDGE ('', *, *, #5660, .T.);
#5680 = CARTESIAN_POINT ('', (35.5799279630882, -5.5, 3.27105993013697));
#5690 = VERTEX_POINT ('', #5680);
#5700 = CARTESIAN_POINT ('', (35.5799279630882, -5.5, 3.27105993013697));
#5710 = CARTESIAN_POINT ('', (28.7226226147384, -5.5, 7.2301270189222));
#5720 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5700, #5710), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5730 = EDGE_CURVE ('', #5690, #5610, #5720, .T.);
#5740 = ORIENTED_EDGE ('', *, *, #5730, .F.);
#5750 = CARTESIAN_POINT ('', (36.615461869021, -5.5, 2.47646681714748));
#5760 = VERTEX_POINT ('', #5750);
#5770 = CARTESIAN_POINT ('', (35.5799279630882, -5.5, 3.27105993013698));
#5780 = CARTESIAN_POINT ('', (36.15, -5.5, 2.94192868616847));
#5790 = CARTESIAN_POINT ('', (36.615461869021, -5.5, 2.47646681714748));
#5800 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5770, #5780, #5790), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (120., 135.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.99144486137381, 1.))
   REPRESENTATION_ITEM ('')
);
#5810 = EDGE_CURVE ('', #5690, #5760, #5800, .T.);
#5820 = ORIENTED_EDGE ('', *, *, #5810, .T.);
#5830 = CARTESIAN_POINT ('', (39., -5.5, 0.0919286861684725));
#5840 = CARTESIAN_POINT ('', (36.615461869021, -5.5, 2.47646681714748));
#5850 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5830, #5840), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5860 = EDGE_CURVE ('', #5440, #5760, #5850, .T.);
#5870 = ORIENTED_EDGE ('', *, *, #5860, .F.);
#5880 = EDGE_LOOP ('', (#5510, #5570, #5580, #5590, #5670, #5740, #5820, #5870));
#5890 = FACE_OUTER_BOUND ('', #5880, .T.);
#5900 = CARTESIAN_POINT ('', (39.001, -5.5, -1.72483344413357));
#5910 = CARTESIAN_POINT ('', (39.001, -5.5, 7.901));
#5920 = CARTESIAN_POINT ('', (12.999, -5.5, -1.72483344413357));
#5930 = CARTESIAN_POINT ('', (12.999, -5.5, 7.901));
#5940 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5900, #5910), (#5920, #5930)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (13.499, 39.501), (-1.62483344413356, 8.00100000000002), .UNSPECIFIED.);
#5950 = ADVANCED_FACE ('', (#5890), #5940, .T.);
#5960 = ORIENTED_EDGE ('', *, *, #1290, .F.);
#5970 = CARTESIAN_POINT ('', (21.7726644449221, -4.50000000000001, -26.4833441717619));
#5980 = VERTEX_POINT ('', #5970);
#5990 = CARTESIAN_POINT ('', (12., -4.5, -0.100000000000012));
#6000 = CARTESIAN_POINT ('', (12., -4.5, -15.1016202435384));
#6010 = CARTESIAN_POINT ('', (21.7726644449221, -4.50000000000001, -26.4833441717619));
#6020 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5990, #6000, #6010), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 40.6503049604709), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.937736541715011, 1.))
   REPRESENTATION_ITEM ('')
);
#6030 = EDGE_CURVE ('', #120, #5980, #6020, .T.);
#6040 = ORIENTED_EDGE ('', *, *, #6030, .T.);
#6050 = CARTESIAN_POINT ('', (21.7726644449221, -4.50000000000001, -26.4833441717619));
#6060 = CARTESIAN_POINT ('', (21.7726644449221, -5.32907051820075E-15, -26.4833441717619));
#6070 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6050, #6060), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6080 = EDGE_CURVE ('', #5980, #3970, #6070, .T.);
#6090 = ORIENTED_EDGE ('', *, *, #6080, .T.);
#6100 = ORIENTED_EDGE ('', *, *, #4020, .F.);
#6110 = EDGE_LOOP ('', (#5960, #6040, #6090, #6100));
#6120 = FACE_OUTER_BOUND ('', #6110, .T.);
#6130 = CARTESIAN_POINT ('', (12., -4.9512, -0.100000000000012));
#6140 = CARTESIAN_POINT ('', (12., 0.451199999999996, -0.100000000000012));
#6150 = CARTESIAN_POINT ('', (12., -4.95120000000001, -40.6));
#6160 = CARTESIAN_POINT ('', (12., 0.451199999999995, -40.6));
#6170 = CARTESIAN_POINT ('', (52.5, -4.95120000000001, -40.6000000000001));
#6180 = CARTESIAN_POINT ('', (52.5, 0.451199999999993, -40.6000000000001));
#6190 = CARTESIAN_POINT ('', (93., -4.95120000000001, -40.6000000000001));
#6200 = CARTESIAN_POINT ('', (93., 0.451199999999991, -40.6000000000001));
#6210 = CARTESIAN_POINT ('', (93., -4.95120000000001, -0.100000000000058));
#6220 = CARTESIAN_POINT ('', (93., 0.451199999999993, -0.100000000000058));
#6230 = CARTESIAN_POINT ('', (93.0000000000001, -4.9512, 40.3999999999999));
#6240 = CARTESIAN_POINT ('', (93.0000000000001, 0.451199999999995, 40.3999999999999));
#6250 = CARTESIAN_POINT ('', (52.5, -4.9512, 40.4));
#6260 = CARTESIAN_POINT ('', (52.5, 0.451199999999996, 40.4));
#6270 = CARTESIAN_POINT ('', (12., -4.9512, 40.4));
#6280 = CARTESIAN_POINT ('', (12., 0.451199999999998, 40.4));
#6290 = CARTESIAN_POINT ('', (12., -4.9512, -0.100000000000012));
#6300 = CARTESIAN_POINT ('', (12., 0.451199999999996, -0.100000000000012));
#6310 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6130, #6140), (#6150, #6160), (#6170, #6180), (#6190, #6200), (#6210, #6220), (#6230, #6240), (#6250, #6260), (#6270, #6280), (#6290, #6300)), .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 ('')
);
#6320 = ADVANCED_FACE ('', (#6120), #6310, .T.);
#6330 = ORIENTED_EDGE ('', *, *, #170, .F.);
#6340 = ORIENTED_EDGE ('', *, *, #5560, .F.);
#6350 = CARTESIAN_POINT ('', (12.1187413021233, -4.9, -1.78779203560262));
#6360 = VERTEX_POINT ('', #6350);
#6370 = CARTESIAN_POINT ('', (13.033391772972, -5.5, -1.72383344413355));
#6380 = CARTESIAN_POINT ('', (12.8387652906652, -5.5, -1.73744305356105));
#6390 = CARTESIAN_POINT ('', (12.6481243583812, -5.44240749784569, -1.75077396618159));
#6400 = CARTESIAN_POINT ('', (12.3261028481892, -5.23134802387638, -1.77329190376656));
#6410 = CARTESIAN_POINT ('', (12.1955319765834, -5.07630985098792, -1.78242230855063));
#6420 = CARTESIAN_POINT ('', (12.1187413021233, -4.9, -1.78779203560262));
#6430 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6370, #6380, #6390, #6400, #6410, #6420), .UNSPECIFIED., .F., .U., (4, 2, 4), (0.000671326168283802, 0.00124829143199888, 0.00182525669571395), .UNSPECIFIED.);
#6440 = EDGE_CURVE ('', #5460, #6360, #6430, .T.);
#6450 = ORIENTED_EDGE ('', *, *, #6440, .T.);
#6460 = CARTESIAN_POINT ('', (13.1021877005108, -4.9, -9.11704397208512));
#6470 = VERTEX_POINT ('', #6460);
#6480 = CARTESIAN_POINT ('', (13.1021877005108, -4.9, -9.11704397208513));
#6490 = CARTESIAN_POINT ('', (12.2737976708007, -4.9, -5.49759229786426));
#6500 = CARTESIAN_POINT ('', (12.1187413021231, -4.9, -1.78779203560266));
#6510 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6480, #6490, #6500), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (167.108649851498, 177.606634594264), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.995806536608122, 1.))
   REPRESENTATION_ITEM ('')
);
#6520 = EDGE_CURVE ('', #6470, #6360, #6510, .T.);
#6530 = ORIENTED_EDGE ('', *, *, #6520, .F.);
#6540 = CARTESIAN_POINT ('', (14.0278535283168, -5.5, -9.0523151118216));
#6550 = CARTESIAN_POINT ('', (13.9297713033036, -5.5, -9.0591736891251));
#6560 = CARTESIAN_POINT ('', (13.8340350060209, -5.48615429018558, -9.06586822318135));
#6570 = CARTESIAN_POINT ('', (13.6471675534945, -5.43128323518323, -9.07893526839252));
#6580 = CARTESIAN_POINT ('', (13.5578348168076, -5.39037242812708, -9.08518202187123));
#6590 = CARTESIAN_POINT ('', (13.3134222450643, -5.23266048303914, -9.10227301381215));
#6600 = CARTESIAN_POINT ('', (13.1803708505861, -5.07741959804595, -9.11157687365266));
#6610 = CARTESIAN_POINT ('', (13.1021877005108, -4.9, -9.11704397208512));
#6620 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6540, #6550, #6560, #6570, #6580, #6590, #6600, #6610), .UNSPECIFIED., .F., .U., (4, 2, 2, 4), (0.00136629440758525, 0.00165713791061726, 0.00194798141364926, 0.00252966841971329), .UNSPECIFIED.);
#6630 = EDGE_CURVE ('', #2050, #6470, #6620, .T.);
#6640 = ORIENTED_EDGE ('', *, *, #6630, .F.);
#6650 = ORIENTED_EDGE ('', *, *, #2100, .F.);
#6660 = CARTESIAN_POINT ('', (22.9225317726659, -5.50000000000001, -26.2805915376456));
#6670 = CARTESIAN_POINT ('', (22.7830601095215, -5.50000000000001, -26.3051841549022));
#6680 = CARTESIAN_POINT ('', (22.6419367531754, -5.47778143927108, -26.3300680102342));
#6690 = CARTESIAN_POINT ('', (22.3771918866193, -5.38958915163255, -26.3767496732121));
#6700 = CARTESIAN_POINT ('', (22.2508114030525, -5.32279436342317, -26.3990339622999));
#6710 = CARTESIAN_POINT ('', (22.0314728728145, -5.1462898156202, -26.4377092630898));
#6720 = CARTESIAN_POINT ('', (21.9376957578138, -5.03503700860829, -26.4542446986374));
#6730 = CARTESIAN_POINT ('', (21.8087885991983, -4.78457709803943, -26.4769745087078));
#6740 = CARTESIAN_POINT ('', (21.7726644449219, -4.64204266092567, -26.483344171762));
#6750 = CARTESIAN_POINT ('', (21.7726644449221, -4.50000000000001, -26.4833441717619));
#6760 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6660, #6670, #6680, #6690, #6700, #6710, #6720, #6730, #6740, #6750), .UNSPECIFIED., .F., .U., (4, 2, 2, 2, 4), (0.00179388535578867, 0.00221922130193452, 0.00264455724808038, 0.00306989319422623, 0.00349522914037208), .UNSPECIFIED.);
#6770 = EDGE_CURVE ('', #2030, #5980, #6760, .T.);
#6780 = ORIENTED_EDGE ('', *, *, #6770, .T.);
#6790 = ORIENTED_EDGE ('', *, *, #6030, .F.);
#6800 = EDGE_LOOP ('', (#6330, #6340, #6450, #6530, #6640, #6650, #6780, #6790));
#6810 = FACE_OUTER_BOUND ('', #6800, .T.);
#6820 = CARTESIAN_POINT ('', (12., -4.5, -0.100000000000012));
#6830 = CARTESIAN_POINT ('', (12., -3.5, -0.100000000000012));
#6840 = CARTESIAN_POINT ('', (13., -3.5, -0.100000000000012));
#6850 = CARTESIAN_POINT ('', (14., -3.5, -0.100000000000012));
#6860 = CARTESIAN_POINT ('', (14., -4.5, -0.100000000000012));
#6870 = CARTESIAN_POINT ('', (14., -5.5, -0.100000000000012));
#6880 = CARTESIAN_POINT ('', (13., -5.5, -0.100000000000012));
#6890 = CARTESIAN_POINT ('', (12., -5.5, -0.100000000000012));
#6900 = CARTESIAN_POINT ('', (12., -4.5, -0.100000000000012));
#6910 = CARTESIAN_POINT ('', (12., -4.50000000000001, -40.6));
#6920 = CARTESIAN_POINT ('', (12., -3.50000000000001, -40.6));
#6930 = CARTESIAN_POINT ('', (13., -3.50000000000001, -39.6));
#6940 = CARTESIAN_POINT ('', (14., -3.50000000000001, -38.6));
#6950 = CARTESIAN_POINT ('', (14., -4.5, -38.6));
#6960 = CARTESIAN_POINT ('', (14., -5.5, -38.6));
#6970 = CARTESIAN_POINT ('', (13., -5.50000000000001, -39.6));
#6980 = CARTESIAN_POINT ('', (12., -5.50000000000001, -40.6));
#6990 = CARTESIAN_POINT ('', (12., -4.50000000000001, -40.6));
#7000 = CARTESIAN_POINT ('', (52.5, -4.50000000000001, -40.6));
#7010 = CARTESIAN_POINT ('', (52.5, -3.50000000000001, -40.6));
#7020 = CARTESIAN_POINT ('', (52.5, -3.50000000000001, -39.6));
#7030 = CARTESIAN_POINT ('', (52.5, -3.50000000000001, -38.6));
#7040 = CARTESIAN_POINT ('', (52.5, -4.50000000000001, -38.6));
#7050 = CARTESIAN_POINT ('', (52.5, -5.50000000000001, -38.6));
#7060 = CARTESIAN_POINT ('', (52.5, -5.50000000000001, -39.6));
#7070 = CARTESIAN_POINT ('', (52.5, -5.50000000000001, -40.6));
#7080 = CARTESIAN_POINT ('', (52.5, -4.50000000000001, -40.6));
#7090 = CARTESIAN_POINT ('', (93., -4.50000000000001, -40.6));
#7100 = CARTESIAN_POINT ('', (93., -3.50000000000001, -40.6));
#7110 = CARTESIAN_POINT ('', (92., -3.50000000000001, -39.6));
#7120 = CARTESIAN_POINT ('', (91., -3.50000000000001, -38.6));
#7130 = CARTESIAN_POINT ('', (91., -4.50000000000001, -38.6));
#7140 = CARTESIAN_POINT ('', (91., -5.50000000000001, -38.6));
#7150 = CARTESIAN_POINT ('', (92., -5.50000000000001, -39.6));
#7160 = CARTESIAN_POINT ('', (93., -5.50000000000001, -40.6));
#7170 = CARTESIAN_POINT ('', (93., -4.50000000000001, -40.6));
#7180 = CARTESIAN_POINT ('', (93., -4.50000000000001, -0.100000000000037));
#7190 = CARTESIAN_POINT ('', (93., -3.50000000000001, -0.100000000000041));
#7200 = CARTESIAN_POINT ('', (92., -3.50000000000001, -0.100000000000037));
#7210 = CARTESIAN_POINT ('', (91., -3.50000000000001, -0.100000000000041));
#7220 = CARTESIAN_POINT ('', (91., -4.50000000000001, -0.100000000000037));
#7230 = CARTESIAN_POINT ('', (91., -5.50000000000001, -0.100000000000041));
#7240 = CARTESIAN_POINT ('', (92., -5.50000000000001, -0.100000000000037));
#7250 = CARTESIAN_POINT ('', (93., -5.50000000000001, -0.100000000000041));
#7260 = CARTESIAN_POINT ('', (93., -4.50000000000001, -0.100000000000037));
#7270 = CARTESIAN_POINT ('', (93., -4.5, 40.4));
#7280 = CARTESIAN_POINT ('', (93., -3.50000000000001, 40.4));
#7290 = CARTESIAN_POINT ('', (92., -3.50000000000001, 39.4));
#7300 = CARTESIAN_POINT ('', (91., -3.50000000000001, 38.4));
#7310 = CARTESIAN_POINT ('', (91., -4.5, 38.4));
#7320 = CARTESIAN_POINT ('', (91., -5.50000000000001, 38.4));
#7330 = CARTESIAN_POINT ('', (92., -5.50000000000001, 39.4));
#7340 = CARTESIAN_POINT ('', (93., -5.50000000000001, 40.4));
#7350 = CARTESIAN_POINT ('', (93., -4.5, 40.4));
#7360 = CARTESIAN_POINT ('', (52.5, -4.5, 40.4));
#7370 = CARTESIAN_POINT ('', (52.5, -3.5, 40.4));
#7380 = CARTESIAN_POINT ('', (52.5, -3.5, 39.4));
#7390 = CARTESIAN_POINT ('', (52.5, -3.5, 38.4));
#7400 = CARTESIAN_POINT ('', (52.5, -4.5, 38.4));
#7410 = CARTESIAN_POINT ('', (52.5, -5.5, 38.4));
#7420 = CARTESIAN_POINT ('', (52.5, -5.5, 39.4));
#7430 = CARTESIAN_POINT ('', (52.5, -5.5, 40.4));
#7440 = CARTESIAN_POINT ('', (52.5, -4.5, 40.4));
#7450 = CARTESIAN_POINT ('', (12., -4.5, 40.4));
#7460 = CARTESIAN_POINT ('', (12., -3.5, 40.4));
#7470 = CARTESIAN_POINT ('', (13., -3.5, 39.4));
#7480 = CARTESIAN_POINT ('', (14., -3.5, 38.4));
#7490 = CARTESIAN_POINT ('', (14., -4.5, 38.4));
#7500 = CARTESIAN_POINT ('', (14., -5.5, 38.4));
#7510 = CARTESIAN_POINT ('', (13., -5.5, 39.4));
#7520 = CARTESIAN_POINT ('', (12., -5.5, 40.4));
#7530 = CARTESIAN_POINT ('', (12., -4.5, 40.4));
#7540 = CARTESIAN_POINT ('', (12., -4.5, -0.100000000000012));
#7550 = CARTESIAN_POINT ('', (12., -3.5, -0.100000000000012));
#7560 = CARTESIAN_POINT ('', (13., -3.5, -0.100000000000012));
#7570 = CARTESIAN_POINT ('', (14., -3.5, -0.100000000000012));
#7580 = CARTESIAN_POINT ('', (14., -4.5, -0.100000000000012));
#7590 = CARTESIAN_POINT ('', (14., -5.5, -0.100000000000012));
#7600 = CARTESIAN_POINT ('', (13., -5.5, -0.100000000000012));
#7610 = CARTESIAN_POINT ('', (12., -5.5, -0.100000000000012));
#7620 = CARTESIAN_POINT ('', (12., -4.5, -0.100000000000012));
#7630 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 2, ((#6820, #6830, #6840, #6850, #6860, #6870, #6880, #6890, #6900), (#6910, #6920, #6930, #6940, #6950, #6960, #6970, #6980, #6990), (#7000, #7010, #7020, #7030, #7040, #7050, #7060, #7070, #7080), (#7090, #7100, #7110, #7120, #7130, #7140, #7150, #7160, #7170), (#7180, #7190, #7200, #7210, #7220, #7230, #7240, #7250, #7260), (#7270, #7280, #7290, #7300, #7310, #7320, #7330, #7340, #7350), (#7360, #7370, #7380, #7390, #7400, #7410, #7420, #7430, #7440), (#7450, #7460, #7470, #7480, #7490, #7500, #7510, #7520, #7530), (#7540, #7550, #7560, #7570, #7580, #7590, #7600, #7610, #7620)), .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 ('')
);
#7640 = ADVANCED_FACE ('', (#6810), #7630, .T.);
#7650 = CARTESIAN_POINT ('', (9.20475298970401, -4.9, -1.99155794833073));
#7660 = VERTEX_POINT ('', #7650);
#7670 = CARTESIAN_POINT ('', (9.20475298970401, -4.9, -1.99155794833073));
#7680 = CARTESIAN_POINT ('', (12.1187413021233, -4.9, -1.78779203560262));
#7690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7670, #7680), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7700 = EDGE_CURVE ('', #7660, #6360, #7690, .T.);
#7710 = ORIENTED_EDGE ('', *, *, #7700, .F.);
#7720 = CARTESIAN_POINT ('', (9.44890064780834, -4.9, -5.48303212424014));
#7730 = VERTEX_POINT ('', #7720);
#7740 = CARTESIAN_POINT ('', (9.20475298970401, -4.9, -1.99155794833073));
#7750 = CARTESIAN_POINT ('', (9.44890064780834, -4.9, -5.48303212424014));
#7760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7740, #7750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7770 = EDGE_CURVE ('', #7660, #7730, #7760, .T.);
#7780 = ORIENTED_EDGE ('', *, *, #7770, .T.);
#7790 = CARTESIAN_POINT ('', (10.9452467231981, -4.9, -5.37839741362397));
#7800 = VERTEX_POINT ('', #7790);
#7810 = CARTESIAN_POINT ('', (9.44890064780834, -4.9, -5.48303212424014));
#7820 = CARTESIAN_POINT ('', (10.9452467231981, -4.9, -5.37839741362397));
#7830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7810, #7820), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7840 = EDGE_CURVE ('', #7730, #7800, #7830, .T.);
#7850 = ORIENTED_EDGE ('', *, *, #7840, .T.);
#7860 = CARTESIAN_POINT ('', (11.2159018413253, -4.9, -9.24894592863207));
#7870 = VERTEX_POINT ('', #7860);
#7880 = CARTESIAN_POINT ('', (10.9452467231981, -4.9, -5.37839741362397));
#7890 = CARTESIAN_POINT ('', (11.2159018413253, -4.9, -9.24894592863207));
#7900 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7880, #7890), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7910 = EDGE_CURVE ('', #7800, #7870, #7900, .T.);
#7920 = ORIENTED_EDGE ('', *, *, #7910, .T.);
#7930 = CARTESIAN_POINT ('', (11.2159018413253, -4.9, -9.24894592863207));
#7940 = CARTESIAN_POINT ('', (13.1021877005108, -4.9, -9.11704397208512));
#7950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7930, #7940), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7960 = EDGE_CURVE ('', #7870, #6470, #7950, .T.);
#7970 = ORIENTED_EDGE ('', *, *, #7960, .T.);
#7980 = ORIENTED_EDGE ('', *, *, #6520, .T.);
#7990 = EDGE_LOOP ('', (#7710, #7780, #7850, #7920, #7970, #7980));
#8000 = FACE_OUTER_BOUND ('', #7990, .T.);
#8010 = CARTESIAN_POINT ('', (9.203752989704, -4.9, -9.24994592863207));
#8020 = CARTESIAN_POINT ('', (9.203752989704, -4.9, -1.78679203560262));
#8030 = CARTESIAN_POINT ('', (13.1031877005108, -4.9, -9.24994592863207));
#8040 = CARTESIAN_POINT ('', (13.1031877005108, -4.9, -1.78679203560262));
#8050 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8010, #8020), (#8030, #8040)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-24.8581897925671, -20.9587550817604), (-2.80148108622852, 4.66167280680093), .UNSPECIFIED.);
#8060 = ADVANCED_FACE ('', (#8000), #8050, .T.);
#8070 = ORIENTED_EDGE ('', *, *, #5140, .F.);
#8080 = ORIENTED_EDGE ('', *, *, #1920, .F.);
#8090 = ORIENTED_EDGE ('', *, *, #2150, .F.);
#8100 = ORIENTED_EDGE ('', *, *, #6630, .T.);
#8110 = ORIENTED_EDGE ('', *, *, #7960, .F.);
#8120 = CARTESIAN_POINT ('', (11.2159018413253, -8., -9.24894592863207));
#8130 = CARTESIAN_POINT ('', (11.2159018413253, -4.9, -9.24894592863207));
#8140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8120, #8130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8150 = EDGE_CURVE ('', #5100, #7870, #8140, .T.);
#8160 = ORIENTED_EDGE ('', *, *, #8150, .F.);
#8170 = EDGE_LOOP ('', (#8070, #8080, #8090, #8100, #8110, #8160));
#8180 = FACE_OUTER_BOUND ('', #8170, .T.);
#8190 = CARTESIAN_POINT ('', (11.2148371207404, -8.001, -9.24902038114818));
#8200 = CARTESIAN_POINT ('', (11.2148371207404, -4.899, -9.24902038114818));
#8210 = CARTESIAN_POINT ('', (44.6510647205849, -8.001, -6.91093158167367));
#8220 = CARTESIAN_POINT ('', (44.6510647205849, -4.89900000000001, -6.91093158167367));
#8230 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8190, #8200), (#8210, #8220)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052402947, 33.5168081393381), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#8240 = ADVANCED_FACE ('', (#8180), #8230, .T.);
#8250 = ORIENTED_EDGE ('', *, *, #5210, .T.);
#8260 = ORIENTED_EDGE ('', *, *, #8150, .T.);
#8270 = ORIENTED_EDGE ('', *, *, #7910, .F.);
#8280 = CARTESIAN_POINT ('', (10.9452467231981, -4.9, -5.37839741362397));
#8290 = CARTESIAN_POINT ('', (10.9452467231981, -8., -5.37839741362397));
#8300 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8280, #8290), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8310 = EDGE_CURVE ('', #7800, #5170, #8300, .T.);
#8320 = ORIENTED_EDGE ('', *, *, #8310, .T.);
#8330 = EDGE_LOOP ('', (#8250, #8260, #8270, #8320));
#8340 = FACE_OUTER_BOUND ('', #8330, .T.);
#8350 = CARTESIAN_POINT ('', (10.945172270682, -8.001, -5.37733269303912));
#8360 = CARTESIAN_POINT ('', (10.945172270682, -4.899, -5.37733269303912));
#8370 = CARTESIAN_POINT ('', (11.2159762938414, -8.001, -9.25001064921693));
#8380 = CARTESIAN_POINT ('', (11.2159762938414, -4.899, -9.25001064921693));
#8390 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8350, #8360), (#8370, #8380)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.448932679475993, 4.33106732052399), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#8400 = ADVANCED_FACE ('', (#8340), #8390, .T.);
#8410 = ORIENTED_EDGE ('', *, *, #5280, .T.);
#8420 = ORIENTED_EDGE ('', *, *, #8310, .F.);
#8430 = ORIENTED_EDGE ('', *, *, #7840, .F.);
#8440 = CARTESIAN_POINT ('', (9.44890064780834, -8., -5.48303212424014));
#8450 = CARTESIAN_POINT ('', (9.44890064780834, -4.9, -5.48303212424014));
#8460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8440, #8450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8470 = EDGE_CURVE ('', #5240, #7730, #8460, .T.);
#8480 = ORIENTED_EDGE ('', *, *, #8470, .F.);
#8490 = EDGE_LOOP ('', (#8410, #8420, #8430, #8480));
#8500 = FACE_OUTER_BOUND ('', #8490, .T.);
#8510 = CARTESIAN_POINT ('', (9.44783592722348, -8.001, -5.48310657675625));
#8520 = CARTESIAN_POINT ('', (9.44783592722348, -4.899, -5.48310657675625));
#8530 = CARTESIAN_POINT ('', (10.946311443783, -8.001, -5.37832296110786));
#8540 = CARTESIAN_POINT ('', (10.946311443783, -4.899, -5.37832296110786));
#8550 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8510, #8520), (#8530, #8540)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.201067320524032, 1.30106732052404), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#8560 = ADVANCED_FACE ('', (#8500), #8550, .T.);
#8570 = ORIENTED_EDGE ('', *, *, #5330, .T.);
#8580 = ORIENTED_EDGE ('', *, *, #8470, .T.);
#8590 = ORIENTED_EDGE ('', *, *, #7770, .F.);
#8600 = CARTESIAN_POINT ('', (9.20475298970399, -8., -1.99155794833073));
#8610 = CARTESIAN_POINT ('', (9.20475298970401, -4.9, -1.99155794833073));
#8620 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8600, #8610), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8630 = EDGE_CURVE ('', #4340, #7660, #8620, .T.);
#8640 = ORIENTED_EDGE ('', *, *, #8630, .F.);
#8650 = EDGE_LOOP ('', (#8570, #8580, #8590, #8640));
#8660 = FACE_OUTER_BOUND ('', #8650, .T.);
#8670 = CARTESIAN_POINT ('', (9.20467853718787, -8.001, -1.99049322774588));
#8680 = CARTESIAN_POINT ('', (9.20467853718787, -4.899, -1.99049322774588));
#8690 = CARTESIAN_POINT ('', (9.44897510032445, -8.001, -5.48409684482499));
#8700 = CARTESIAN_POINT ('', (9.44897510032445, -4.899, -5.48409684482499));
#8710 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8670, #8680), (#8690, #8700)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.70106732052402, 0.801067320524009), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#8720 = ADVANCED_FACE ('', (#8660), #8710, .T.);
#8730 = ORIENTED_EDGE ('', *, *, #5500, .F.);
#8740 = CARTESIAN_POINT ('', (39., -5.5, 0.0919286861684725));
#8750 = CARTESIAN_POINT ('', (39., -8.00000000000001, 0.0919286861684725));
#8760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8740, #8750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8770 = EDGE_CURVE ('', #5440, #4320, #8760, .T.);
#8780 = ORIENTED_EDGE ('', *, *, #8770, .T.);
#8790 = ORIENTED_EDGE ('', *, *, #4380, .T.);
#8800 = ORIENTED_EDGE ('', *, *, #8630, .T.);
#8810 = ORIENTED_EDGE ('', *, *, #7700, .T.);
#8820 = ORIENTED_EDGE ('', *, *, #6440, .F.);
#8830 = EDGE_LOOP ('', (#8730, #8780, #8790, #8800, #8810, #8820));
#8840 = FACE_OUTER_BOUND ('', #8830, .T.);
#8850 = CARTESIAN_POINT ('', (39.0010647205849, -8.001, 0.0920031386845821));
#8860 = CARTESIAN_POINT ('', (39.0010647205849, -4.89900000000001, 0.0920031386845821));
#8870 = CARTESIAN_POINT ('', (9.20368826911913, -8.001, -1.99163240084684));
#8880 = CARTESIAN_POINT ('', (9.20368826911913, -4.899, -1.99163240084684));
#8890 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8850, #8860), (#8870, #8880)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-5.22576239712032, 24.6443762107262), (-3.101, 0.00099999999999989), .UNSPECIFIED.);
#8900 = ADVANCED_FACE ('', (#8840), #8890, .T.);
#8910 = ORIENTED_EDGE ('', *, *, #5860, .T.);
#8920 = CARTESIAN_POINT ('', (36.615461869021, -5.5, 2.47646681714748));
#8930 = CARTESIAN_POINT ('', (36.615461869021, -8., 2.47646681714748));
#8940 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8920, #8930), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8950 = EDGE_CURVE ('', #5760, #4410, #8940, .T.);
#8960 = ORIENTED_EDGE ('', *, *, #8950, .T.);
#8970 = ORIENTED_EDGE ('', *, *, #4450, .T.);
#8980 = ORIENTED_EDGE ('', *, *, #8770, .F.);
#8990 = EDGE_LOOP ('', (#8910, #8960, #8970, #8980));
#9000 = FACE_OUTER_BOUND ('', #8990, .T.);
#9010 = CARTESIAN_POINT ('', (36.614461869021, -8.001, 2.47746681714748));
#9020 = CARTESIAN_POINT ('', (36.614461869021, -5.49900000000001, 2.47746681714748));
#9030 = CARTESIAN_POINT ('', (39.001, -8.001, 0.0909286861684677));
#9040 = CARTESIAN_POINT ('', (39.001, -5.49900000000001, 0.0909286861684677));
#9050 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9010, #9020), (#9030, #9040)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141421356236293, 3.37366037838867), (-3.001, -0.499), .UNSPECIFIED.);
#9060 = ADVANCED_FACE ('', (#9000), #9050, .T.);
#9070 = ORIENTED_EDGE ('', *, *, #4600, .T.);
#9080 = CARTESIAN_POINT ('', (35.5799279630883, -8., 3.27105993013697));
#9090 = CARTESIAN_POINT ('', (35.5799279630882, -5.5, 3.27105993013697));
#9100 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9080, #9090), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9110 = EDGE_CURVE ('', #4480, #5690, #9100, .T.);
#9120 = ORIENTED_EDGE ('', *, *, #9110, .T.);
#9130 = ORIENTED_EDGE ('', *, *, #5730, .T.);
#9140 = CARTESIAN_POINT ('', (28.7226226147384, -5.5, 7.2301270189222));
#9150 = CARTESIAN_POINT ('', (28.7226226147384, -8., 7.23012701892219));
#9160 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9140, #9150), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9170 = EDGE_CURVE ('', #5610, #4560, #9160, .T.);
#9180 = ORIENTED_EDGE ('', *, *, #9170, .T.);
#9190 = EDGE_LOOP ('', (#9070, #9120, #9130, #9180));
#9200 = FACE_OUTER_BOUND ('', #9190, .T.);
#9210 = CARTESIAN_POINT ('', (28.7214396020364, -8.001, 7.23081003162409));
#9220 = CARTESIAN_POINT ('', (28.7214396020364, -5.499, 7.23081003162409));
#9230 = CARTESIAN_POINT ('', (35.5811109757901, -8.001, 3.27037691743507));
#9240 = CARTESIAN_POINT ('', (35.5811109757901, -5.499, 3.27037691743507));
#9250 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9210, #9220), (#9230, #9240)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.656896462533211, 8.57776269091133), (-3.001, -0.499), .UNSPECIFIED.);
#9260 = ADVANCED_FACE ('', (#9200), #9250, .T.);
#9270 = ORIENTED_EDGE ('', *, *, #2290, .T.);
#9280 = CARTESIAN_POINT ('', (36.3864817766693, -5.50000000000001, -23.90653388503));
#9290 = CARTESIAN_POINT ('', (36.3864817766693, -8.00000000000001, -23.90653388503));
#9300 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9280, #9290), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9310 = EDGE_CURVE ('', #2190, #4960, #9300, .T.);
#9320 = ORIENTED_EDGE ('', *, *, #9310, .T.);
#9330 = ORIENTED_EDGE ('', *, *, #5000, .T.);
#9340 = ORIENTED_EDGE ('', *, *, #2650, .F.);
#9350 = ORIENTED_EDGE ('', *, *, #4070, .T.);
#9360 = ORIENTED_EDGE ('', *, *, #6080, .F.);
#9370 = ORIENTED_EDGE ('', *, *, #6770, .F.);
#9380 = EDGE_LOOP ('', (#9270, #9320, #9330, #9340, #9350, #9360, #9370));
#9390 = FACE_OUTER_BOUND ('', #9380, .T.);
#9400 = CARTESIAN_POINT ('', (36.3876226330513, -8.001, -23.9063327212688));
#9410 = CARTESIAN_POINT ('', (36.3876226330513, 0.00099999999999234, -23.9063327212688));
#9420 = CARTESIAN_POINT ('', (7.49885914361795, -8.001, -29.0002011637613));
#9430 = CARTESIAN_POINT ('', (7.49885914361795, 0.000999999999994117, -29.0002011637613));
#9440 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9400, #9410), (#9420, #9430)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00115845593067831, 29.3332607757132), (-45.7240986315554, -37.7220986315554), .UNSPECIFIED.);
#9450 = ADVANCED_FACE ('', (#9390), #9440, .T.);
#9460 = ORIENTED_EDGE ('', *, *, #2240, .F.);
#9470 = ORIENTED_EDGE ('', *, *, #1800, .F.);
#9480 = ORIENTED_EDGE ('', *, *, #5060, .F.);
#9490 = ORIENTED_EDGE ('', *, *, #9310, .F.);
#9500 = EDGE_LOOP ('', (#9460, #9470, #9480, #9490));
#9510 = FACE_OUTER_BOUND ('', #9500, .T.);
#9520 = CARTESIAN_POINT ('', (44.65, -5.2488, -14.0584563549079));
#9530 = CARTESIAN_POINT ('', (44.65, -8.2512, -14.0584563549079));
#9540 = CARTESIAN_POINT ('', (44.65, -5.2488, -4.05845635490794));
#9550 = CARTESIAN_POINT ('', (44.65, -8.2512, -4.05845635490794));
#9560 = CARTESIAN_POINT ('', (34.65, -5.2488, -4.05845635490792));
#9570 = CARTESIAN_POINT ('', (34.65, -8.2512, -4.05845635490792));
#9580 = CARTESIAN_POINT ('', (24.65, -5.2488, -4.05845635490791));
#9590 = CARTESIAN_POINT ('', (24.65, -8.2512, -4.05845635490791));
#9600 = CARTESIAN_POINT ('', (24.65, -5.2488, -14.0584563549079));
#9610 = CARTESIAN_POINT ('', (24.65, -8.2512, -14.0584563549079));
#9620 = CARTESIAN_POINT ('', (24.65, -5.2488, -24.0584563549079));
#9630 = CARTESIAN_POINT ('', (24.65, -8.2512, -24.0584563549079));
#9640 = CARTESIAN_POINT ('', (34.65, -5.2488, -24.0584563549079));
#9650 = CARTESIAN_POINT ('', (34.65, -8.2512, -24.0584563549079));
#9660 = CARTESIAN_POINT ('', (44.65, -5.2488, -24.0584563549079));
#9670 = CARTESIAN_POINT ('', (44.65, -8.2512, -24.0584563549079));
#9680 = CARTESIAN_POINT ('', (44.65, -5.2488, -14.0584563549079));
#9690 = CARTESIAN_POINT ('', (44.65, -8.2512, -14.0584563549079));
#9700 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#9520, #9530), (#9540, #9550), (#9560, #9570), (#9580, #9590), (#9600, #9610), (#9620, #9630), (#9640, #9650), (#9660, #9670), (#9680, #9690)), .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 ('')
);
#9710 = ADVANCED_FACE ('', (#9510), #9700, .T.);
#9720 = ORIENTED_EDGE ('', *, *, #5660, .F.);
#9730 = ORIENTED_EDGE ('', *, *, #3510, .F.);
#9740 = ORIENTED_EDGE ('', *, *, #4660, .F.);
#9750 = ORIENTED_EDGE ('', *, *, #9170, .F.);
#9760 = EDGE_LOOP ('', (#9720, #9730, #9740, #9750));
#9770 = FACE_OUTER_BOUND ('', #9760, .T.);
#9780 = CARTESIAN_POINT ('', (31.2226226147384, -5.2488, 2.89999999999998));
#9790 = CARTESIAN_POINT ('', (31.2226226147384, -8.2512, 2.89999999999998));
#9800 = CARTESIAN_POINT ('', (31.2226226147384, -5.2488, 7.89999999999998));
#9810 = CARTESIAN_POINT ('', (31.2226226147384, -8.2512, 7.89999999999998));
#9820 = CARTESIAN_POINT ('', (26.2226226147384, -5.2488, 7.89999999999998));
#9830 = CARTESIAN_POINT ('', (26.2226226147384, -8.2512, 7.89999999999998));
#9840 = CARTESIAN_POINT ('', (21.2226226147384, -5.2488, 7.89999999999998));
#9850 = CARTESIAN_POINT ('', (21.2226226147384, -8.2512, 7.89999999999998));
#9860 = CARTESIAN_POINT ('', (21.2226226147384, -5.2488, 2.89999999999998));
#9870 = CARTESIAN_POINT ('', (21.2226226147384, -8.2512, 2.89999999999998));
#9880 = CARTESIAN_POINT ('', (21.2226226147384, -5.2488, -2.10000000000002));
#9890 = CARTESIAN_POINT ('', (21.2226226147384, -8.2512, -2.10000000000002));
#9900 = CARTESIAN_POINT ('', (26.2226226147384, -5.2488, -2.10000000000002));
#9910 = CARTESIAN_POINT ('', (26.2226226147384, -8.2512, -2.10000000000002));
#9920 = CARTESIAN_POINT ('', (31.2226226147384, -5.2488, -2.10000000000002));
#9930 = CARTESIAN_POINT ('', (31.2226226147384, -8.2512, -2.10000000000002));
#9940 = CARTESIAN_POINT ('', (31.2226226147384, -5.2488, 2.89999999999998));
#9950 = CARTESIAN_POINT ('', (31.2226226147384, -8.2512, 2.89999999999998));
#9960 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#9780, #9790), (#9800, #9810), (#9820, #9830), (#9840, #9850), (#9860, #9870), (#9880, #9890), (#9900, #9910), (#9920, #9930), (#9940, #9950)), .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 ('')
);
#9970 = ADVANCED_FACE ('', (#9770), #9960, .T.);
#9980 = ORIENTED_EDGE ('', *, *, #5810, .F.);
#9990 = ORIENTED_EDGE ('', *, *, #9110, .F.);
#10000 = ORIENTED_EDGE ('', *, *, #4530, .F.);
#10010 = ORIENTED_EDGE ('', *, *, #8950, .F.);
#10020 = EDGE_LOOP ('', (#9980, #9990, #10000, #10010));
#10030 = FACE_OUTER_BOUND ('', #10020, .T.);
#10040 = CARTESIAN_POINT ('', (38.0799279630883, -5.2488, -1.05906708878524));
#10050 = CARTESIAN_POINT ('', (38.0799279630883, -8.2512, -1.05906708878524));
#10060 = CARTESIAN_POINT ('', (38.0799279630883, -5.2488, 3.94093291121476));
#10070 = CARTESIAN_POINT ('', (38.0799279630883, -8.2512, 3.94093291121476));
#10080 = CARTESIAN_POINT ('', (33.0799279630883, -5.2488, 3.94093291121477));
#10090 = CARTESIAN_POINT ('', (33.0799279630883, -8.2512, 3.94093291121477));
#10100 = CARTESIAN_POINT ('', (28.0799279630883, -5.2488, 3.94093291121477));
#10110 = CARTESIAN_POINT ('', (28.0799279630883, -8.2512, 3.94093291121477));
#10120 = CARTESIAN_POINT ('', (28.0799279630883, -5.2488, -1.05906708878523));
#10130 = CARTESIAN_POINT ('', (28.0799279630883, -8.2512, -1.05906708878523));
#10140 = CARTESIAN_POINT ('', (28.0799279630883, -5.2488, -6.05906708878523));
#10150 = CARTESIAN_POINT ('', (28.0799279630883, -8.2512, -6.05906708878523));
#10160 = CARTESIAN_POINT ('', (33.0799279630883, -5.2488, -6.05906708878523));
#10170 = CARTESIAN_POINT ('', (33.0799279630883, -8.2512, -6.05906708878523));
#10180 = CARTESIAN_POINT ('', (38.0799279630883, -5.2488, -6.05906708878524));
#10190 = CARTESIAN_POINT ('', (38.0799279630883, -8.2512, -6.05906708878524));
#10200 = CARTESIAN_POINT ('', (38.0799279630883, -5.2488, -1.05906708878524));
#10210 = CARTESIAN_POINT ('', (38.0799279630883, -8.2512, -1.05906708878524));
#10220 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#10040, #10050), (#10060, #10070), (#10080, #10090), (#10100, #10110), (#10120, #10130), (#10140, #10150), (#10160, #10170), (#10180, #10190), (#10200, #10210)), .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 ('')
);
#10230 = ADVANCED_FACE ('', (#10030), #10220, .T.);
#10240 = CARTESIAN_POINT ('', (-7.5, -6.5, 4.08807621135332));
#10250 = VERTEX_POINT ('', #10240);
#10260 = CARTESIAN_POINT ('', (-7.5, -6.5, 4.08807621135332));
#10270 = CARTESIAN_POINT ('', (-65., -6.5, 4.08807621135332));
#10280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10260, #10270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10290 = EDGE_CURVE ('', #10250, #2990, #10280, .T.);
#10300 = ORIENTED_EDGE ('', *, *, #10290, .F.);
#10310 = CARTESIAN_POINT ('', (-7.5, -1.77635683940025E-15, 2.34640646055107));
#10320 = CARTESIAN_POINT ('', (-7.5, -6.5, 4.08807621135332));
#10330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10310, #10320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10340 = EDGE_CURVE ('', #3690, #10250, #10330, .T.);
#10350 = ORIENTED_EDGE ('', *, *, #10340, .F.);
#10360 = ORIENTED_EDGE ('', *, *, #3730, .T.);
#10370 = ORIENTED_EDGE ('', *, *, #3100, .T.);
#10380 = EDGE_LOOP ('', (#10300, #10350, #10360, #10370));
#10390 = FACE_OUTER_BOUND ('', #10380, .T.);
#10400 = CARTESIAN_POINT ('', (-65.001, 0.00118301270189392, 2.34608947325297));
#10410 = CARTESIAN_POINT ('', (-7.499, 0.00118301270189036, 2.34608947325297));
#10420 = CARTESIAN_POINT ('', (-65.001, -6.50118301270189, 4.08839319865143));
#10430 = CARTESIAN_POINT ('', (-7.499, -6.50118301270189, 4.08839319865143));
#10440 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10400, #10410), (#10420, #10430)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (1.55168952574373, 8.28343418815204), (-65.001, -7.499), .UNSPECIFIED.);
#10450 = ADVANCED_FACE ('', (#10390), #10440, .T.);
#10460 = CARTESIAN_POINT ('', (0., -6.5, -21.1080762113533));
#10470 = VERTEX_POINT ('', #10460);
#10480 = CARTESIAN_POINT ('', (0., -6.5, -21.1080762113533));
#10490 = CARTESIAN_POINT ('', (0., -2.66453525910038E-15, -19.3664064605511));
#10500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10480, #10490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10510 = EDGE_CURVE ('', #10470, #4110, #10500, .T.);
#10520 = ORIENTED_EDGE ('', *, *, #10510, .F.);
#10530 = CARTESIAN_POINT ('', (0., -6.5, -21.1080762113533));
#10540 = CARTESIAN_POINT ('', (-65., -6.5, -21.1080762113533));
#10550 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10530, #10540), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10560 = EDGE_CURVE ('', #10470, #2760, #10550, .T.);
#10570 = ORIENTED_EDGE ('', *, *, #10560, .T.);
#10580 = ORIENTED_EDGE ('', *, *, #2820, .T.);
#10590 = ORIENTED_EDGE ('', *, *, #4200, .F.);
#10600 = EDGE_LOOP ('', (#10520, #10570, #10580, #10590));
#10610 = FACE_OUTER_BOUND ('', #10600, .T.);
#10620 = CARTESIAN_POINT ('', (-65.001, -6.50118301270189, -21.1083931986514));
#10630 = CARTESIAN_POINT ('', (0.00100000000000477, -6.5011830127019, -21.1083931986514));
#10640 = CARTESIAN_POINT ('', (-65.001, 0.00118301270189214, -19.366089473253));
#10650 = CARTESIAN_POINT ('', (0.00100000000000477, 0.00118301270188859, -19.366089473253));
#10660 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10620, #10630), (#10640, #10650)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00122474487139179, 6.73051991753692), (-65.001, 0.00100000000000477), .UNSPECIFIED.);
#10670 = ADVANCED_FACE ('', (#10610), #10660, .T.);
#10680 = ORIENTED_EDGE ('', *, *, #4920, .T.);
#10690 = CARTESIAN_POINT ('', (0., -8., -19.6080762113533));
#10700 = CARTESIAN_POINT ('', (0., -6.5, -21.1080762113533));
#10710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10690, #10700), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10720 = EDGE_CURVE ('', #4830, #10470, #10710, .T.);
#10730 = ORIENTED_EDGE ('', *, *, #10720, .T.);
#10740 = ORIENTED_EDGE ('', *, *, #10510, .T.);
#10750 = ORIENTED_EDGE ('', *, *, #4150, .T.);
#10760 = ORIENTED_EDGE ('', *, *, #2530, .T.);
#10770 = EDGE_LOOP ('', (#10680, #10730, #10740, #10750, #10760));
#10780 = FACE_OUTER_BOUND ('', #10770, .T.);
#10790 = CARTESIAN_POINT ('', (0., -8.001, -29.001));
#10800 = CARTESIAN_POINT ('', (0., 0.000999999999995893, -29.001));
#10810 = CARTESIAN_POINT ('', (0., -8.001, -19.3654064605511));
#10820 = CARTESIAN_POINT ('', (0., 0.000999999999995893, -19.3654064605511));
#10830 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10790, #10800), (#10810, #10820)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-9.63459353944892, 0.00100000000000778), (-0.001, 8.001), .UNSPECIFIED.);
#10840 = ADVANCED_FACE ('', (#10780), #10830, .T.);
#10850 = ORIENTED_EDGE ('', *, *, #3920, .T.);
#10860 = CARTESIAN_POINT ('', (0.5, -6.66329931618554, 3.92477689516777));
#10870 = VERTEX_POINT ('', #10860);
#10880 = CARTESIAN_POINT ('', (0.5, -6.66329931618554, 3.92477689516777));
#10890 = CARTESIAN_POINT ('', (0.5, -8.88178419700125E-16, 2.13935122446906));
#10900 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10880, #10890), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10910 = EDGE_CURVE ('', #10870, #3830, #10900, .T.);
#10920 = ORIENTED_EDGE ('', *, *, #10910, .F.);
#10930 = CARTESIAN_POINT ('', (0.5, -6.66329931618554, 3.92477689516777));
#10940 = CARTESIAN_POINT ('', (0.5, -8., 2.58807621135333));
#10950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10930, #10940), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10960 = EDGE_CURVE ('', #10870, #4700, #10950, .T.);
#10970 = ORIENTED_EDGE ('', *, *, #10960, .T.);
#10980 = ORIENTED_EDGE ('', *, *, #4740, .T.);
#10990 = ORIENTED_EDGE ('', *, *, #3370, .T.);
#11000 = EDGE_LOOP ('', (#10850, #10920, #10970, #10980, #10990));
#11010 = FACE_OUTER_BOUND ('', #11000, .T.);
#11020 = CARTESIAN_POINT ('', (0.5, 0.000999999999999446, 2.13835122446906));
#11030 = CARTESIAN_POINT ('', (0.5, 0.000999999999999446, 7.90099999999999));
#11040 = CARTESIAN_POINT ('', (0.5, -8.001, 2.13835122446906));
#11050 = CARTESIAN_POINT ('', (0.5, -8.001, 7.90099999999999));
#11060 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11020, #11030), (#11040, #11050)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-8.001, 0.00100000000000122), (-5.76164877553094, 0.000999999999997669), .UNSPECIFIED.);
#11070 = ADVANCED_FACE ('', (#11010), #11060, .T.);
#11080 = CARTESIAN_POINT ('', (-7.5, -6.66329931618554, 3.92477689516777));
#11090 = VERTEX_POINT ('', #11080);
#11100 = CARTESIAN_POINT ('', (-7.5, -6.66329931618554, 3.92477689516777));
#11110 = CARTESIAN_POINT ('', (0.5, -6.66329931618554, 3.92477689516777));
#11120 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11100, #11110), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11130 = EDGE_CURVE ('', #11090, #10870, #11120, .T.);
#11140 = ORIENTED_EDGE ('', *, *, #11130, .F.);
#11150 = CARTESIAN_POINT ('', (-7.5, -6.66329931618554, 3.92477689516777));
#11160 = CARTESIAN_POINT ('', (-7.5, -6.5, 4.08807621135332));
#11170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11150, #11160), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11180 = EDGE_CURVE ('', #11090, #10250, #11170, .T.);
#11190 = ORIENTED_EDGE ('', *, *, #11180, .T.);
#11200 = ORIENTED_EDGE ('', *, *, #10290, .T.);
#11210 = ORIENTED_EDGE ('', *, *, #3030, .T.);
#11220 = ORIENTED_EDGE ('', *, *, #4790, .F.);
#11230 = ORIENTED_EDGE ('', *, *, #10960, .F.);
#11240 = EDGE_LOOP ('', (#11140, #11190, #11200, #11210, #11220, #11230));
#11250 = FACE_OUTER_BOUND ('', #11240, .T.);
#11260 = CARTESIAN_POINT ('', (-65.001, -6.499, 4.08907621135332));
#11270 = CARTESIAN_POINT ('', (0.501000000000005, -6.499, 4.08907621135332));
#11280 = CARTESIAN_POINT ('', (-65.001, -8.001, 2.58707621135333));
#11290 = CARTESIAN_POINT ('', (0.501000000000005, -8.001, 2.58707621135333));
#11300 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11260, #11270), (#11280, #11290)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.12273455712201, 0.00141421356237359), (-67.9232539292609, -2.42125392926093), .UNSPECIFIED.);
#11310 = ADVANCED_FACE ('', (#11250), #11300, .T.);
#11320 = ORIENTED_EDGE ('', *, *, #4870, .T.);
#11330 = ORIENTED_EDGE ('', *, *, #2890, .T.);
#11340 = ORIENTED_EDGE ('', *, *, #10560, .F.);
#11350 = ORIENTED_EDGE ('', *, *, #10720, .F.);
#11360 = EDGE_LOOP ('', (#11320, #11330, #11340, #11350));
#11370 = FACE_OUTER_BOUND ('', #11360, .T.);
#11380 = CARTESIAN_POINT ('', (-65.001, -8.001, -19.6070762113533));
#11390 = CARTESIAN_POINT ('', (0.00100000000000477, -8.001, -19.6070762113533));
#11400 = CARTESIAN_POINT ('', (-65.001, -6.499, -21.1090762113533));
#11410 = CARTESIAN_POINT ('', (0.00100000000000477, -6.499, -21.1090762113533));
#11420 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11380, #11390), (#11400, #11410)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141421356237537, 2.12273455712202), (-67.423253929261, -2.42125392926096), .UNSPECIFIED.);
#11430 = ADVANCED_FACE ('', (#11370), #11420, .T.);
#11440 = ORIENTED_EDGE ('', *, *, #10340, .T.);
#11450 = ORIENTED_EDGE ('', *, *, #11180, .F.);
#11460 = CARTESIAN_POINT ('', (-7.5, 0., 2.13935122446906));
#11470 = CARTESIAN_POINT ('', (-7.5, -6.66329931618554, 3.92477689516777));
#11480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11460, #11470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11490 = EDGE_CURVE ('', #3760, #11090, #11480, .T.);
#11500 = ORIENTED_EDGE ('', *, *, #11490, .F.);
#11510 = ORIENTED_EDGE ('', *, *, #3800, .F.);
#11520 = EDGE_LOOP ('', (#11440, #11450, #11500, #11510));
#11530 = FACE_OUTER_BOUND ('', #11520, .T.);
#11540 = CARTESIAN_POINT ('', (-7.5, -6.66429931618555, 4.08907621135332));
#11550 = CARTESIAN_POINT ('', (-7.5, 0.000999999999999446, 4.08907621135332));
#11560 = CARTESIAN_POINT ('', (-7.5, -6.66429931618555, 2.13835122446906));
#11570 = CARTESIAN_POINT ('', (-7.5, 0.000999999999999446, 2.13835122446906));
#11580 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11540, #11550), (#11560, #11570)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.32515409997735, -1.37442911309309), (5.74161267711866, 12.4069119933042), .UNSPECIFIED.);
#11590 = ADVANCED_FACE ('', (#11530), #11580, .T.);
#11600 = ORIENTED_EDGE ('', *, *, #3870, .T.);
#11610 = ORIENTED_EDGE ('', *, *, #11490, .T.);
#11620 = ORIENTED_EDGE ('', *, *, #11130, .T.);
#11630 = ORIENTED_EDGE ('', *, *, #10910, .T.);
#11640 = EDGE_LOOP ('', (#11600, #11610, #11620, #11630));
#11650 = FACE_OUTER_BOUND ('', #11640, .T.);
#11660 = CARTESIAN_POINT ('', (-7.501, 0.00118301270189392, 2.13903423717095));
#11670 = CARTESIAN_POINT ('', (0.501000000000005, 0.00118301270189392, 2.13903423717095));
#11680 = CARTESIAN_POINT ('', (-7.501, -6.66448232888744, 3.92509388246588));
#11690 = CARTESIAN_POINT ('', (0.501000000000005, -6.66448232888744, 3.92509388246588));
#11700 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11660, #11670), (#11680, #11690)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-12.844769927803, -5.94396537307052), (-8.001, 0.00100000000000477), .UNSPECIFIED.);
#11710 = ADVANCED_FACE ('', (#11650), #11700, .T.);
#11720 = CLOSED_SHELL ('', (#1220, #1650, #2010, #2380, #2740, #3240, #3670, #4300, #5420, #5950, #6320, #7640, #8060, #8240, #8400, #8560, #8720, #8900, #9060, #9260, #9450, #9710, #9970, #10230, #10450, #10670, #10840, #11070, #11310, #11430, #11590, #11710));
#11730 = MANIFOLD_SOLID_BREP ('NOCUT', #11720);
#11740 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#11750 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#11760 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#11770 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #11740, 'DISTANCE_ACCURACY_VALUE', '');
#11780 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#11770))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#11740, #11750, #11760))
   REPRESENTATION_CONTEXT ('', '3D')
);
#11790 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#11800 = FILL_AREA_STYLE_COLOUR ('', #11790);
#11810 = FILL_AREA_STYLE ('', (#11800));
#11820 = SURFACE_STYLE_FILL_AREA (#11810);
#11830 = SURFACE_SIDE_STYLE ('', (#11820));
#11840 = SURFACE_STYLE_USAGE (.POSITIVE., #11830);
#11850 = PRESENTATION_STYLE_ASSIGNMENT ((#11840));
#11860 = STYLED_ITEM ('', (#11850), #11730);
#11870 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#11730), #11780);
#11880 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#11890 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #11880);
#11900 = MECHANICAL_CONTEXT ('', #11880, 'mechanical');
#11910 = PRODUCT ('NONE', '', '', (#11900));
#11920 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#11930 = PERSON ('', '', $, $, $, $);
#11940 = ORGANIZATION ($, '', '');
#11950 = PERSON_AND_ORGANIZATION (#11930, #11940);
#11960 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#11950, #11920, (#11910));
#11970 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#11910));
#11980 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #11910, .NOT_KNOWN.);
#11990 = APPROVAL_STATUS ('approved');
#12000 = APPROVAL (#11990, '');
#12010 = CALENDAR_DATE (2017, 25, 4);
#12020 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#12030 = LOCAL_TIME (11, 39, 26., #12020);
#12040 = DATE_AND_TIME (#12010, #12030);
#12050 = APPROVAL_DATE_TIME (#12040, #12000);
#12060 = APPROVAL_ROLE ('');
#12070 = PERSON ('', '', $, $, $, $);
#12080 = ORGANIZATION ($, '', '');
#12090 = PERSON_AND_ORGANIZATION (#12070, #12080);
#12100 = APPROVAL_PERSON_ORGANIZATION (#12090, #12000, #12060);
#12110 = CC_DESIGN_APPROVAL (#12000, (#11980));
#12120 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#12130 = PERSON ('', '', $, $, $, $);
#12140 = ORGANIZATION ($, '', '');
#12150 = PERSON_AND_ORGANIZATION (#12130, #12140);
#12160 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#12150, #12120, (#11980));
#12170 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#12180 = PERSON ('', '', $, $, $, $);
#12190 = ORGANIZATION ($, '', '');
#12200 = PERSON_AND_ORGANIZATION (#12180, #12190);
#12210 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#12200, #12170, (#11980));
#12220 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#12230 = SECURITY_CLASSIFICATION ('', '', #12220);
#12240 = APPROVAL_STATUS ('approved');
#12250 = APPROVAL (#12240, '');
#12260 = CALENDAR_DATE (2017, 25, 4);
#12270 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#12280 = LOCAL_TIME (11, 39, 26., #12270);
#12290 = DATE_AND_TIME (#12260, #12280);
#12300 = APPROVAL_DATE_TIME (#12290, #12250);
#12310 = APPROVAL_ROLE ('');
#12320 = PERSON ('', '', $, $, $, $);
#12330 = ORGANIZATION ($, '', '');
#12340 = PERSON_AND_ORGANIZATION (#12320, #12330);
#12350 = APPROVAL_PERSON_ORGANIZATION (#12340, #12250, #12310);
#12360 = CC_DESIGN_APPROVAL (#12250, (#12230));
#12370 = DATE_TIME_ROLE ('classification_date');
#12380 = CALENDAR_DATE (2017, 25, 4);
#12390 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#12400 = LOCAL_TIME (11, 39, 26., #12390);
#12410 = DATE_AND_TIME (#12380, #12400);
#12420 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#12410, #12370, (#12230));
#12430 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#12440 = PERSON ('', '', $, $, $, $);
#12450 = ORGANIZATION ($, '', '');
#12460 = PERSON_AND_ORGANIZATION (#12440, #12450);
#12470 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#12460, #12430, (#12230));
#12480 = CC_DESIGN_SECURITY_CLASSIFICATION (#12230, (#11980));
#12490 = DESIGN_CONTEXT ('', #11880, 'design');
#12500 = PRODUCT_DEFINITION ('', '', #11980, #12490);
#12510 = APPROVAL_STATUS ('approved');
#12520 = APPROVAL (#12510, '');
#12530 = CALENDAR_DATE (2017, 25, 4);
#12540 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#12550 = LOCAL_TIME (11, 39, 26., #12540);
#12560 = DATE_AND_TIME (#12530, #12550);
#12570 = APPROVAL_DATE_TIME (#12560, #12520);
#12580 = APPROVAL_ROLE ('');
#12590 = PERSON ('', '', $, $, $, $);
#12600 = ORGANIZATION ($, '', '');
#12610 = PERSON_AND_ORGANIZATION (#12590, #12600);
#12620 = APPROVAL_PERSON_ORGANIZATION (#12610, #12520, #12580);
#12630 = CC_DESIGN_APPROVAL (#12520, (#12500));
#12640 = DATE_TIME_ROLE ('creation_date');
#12650 = CALENDAR_DATE (2017, 25, 4);
#12660 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#12670 = LOCAL_TIME (11, 39, 26., #12660);
#12680 = DATE_AND_TIME (#12650, #12670);
#12690 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#12680, #12640, (#12500));
#12700 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#12710 = PERSON ('', '', $, $, $, $);
#12720 = ORGANIZATION ($, '', '');
#12730 = PERSON_AND_ORGANIZATION (#12710, #12720);
#12740 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#12730, #12700, (#12500));
#12750 = PRODUCT_DEFINITION_SHAPE ('', '', #12500);
#12760 = SHAPE_DEFINITION_REPRESENTATION (#12750, #11870);
#12770 = CARTESIAN_POINT ('', (44.8338103350815, -5.5, -6.8981527634558));
#12780 = VERTEX_POINT ('', #12770);
#12790 = CARTESIAN_POINT ('', (11.2159018413254, -5.5, -9.24894592863243));
#12800 = VERTEX_POINT ('', #12790);
#12810 = CARTESIAN_POINT ('', (44.8338103350815, -5.5, -6.8981527634558));
#12820 = CARTESIAN_POINT ('', (11.2159018413254, -5.5, -9.24894592863244));
#12830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12810, #12820), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12840 = EDGE_CURVE ('', #12780, #12800, #12830, .T.);
#12850 = ORIENTED_EDGE ('', *, *, #12840, .T.);
#12860 = CARTESIAN_POINT ('', (10.8816945371647, -5.5, -4.4695588112746));
#12870 = VERTEX_POINT ('', #12860);
#12880 = CARTESIAN_POINT ('', (11.2159018413254, -5.5, -9.24894592863244));
#12890 = CARTESIAN_POINT ('', (10.8816945371647, -5.5, -4.4695588112746));
#12900 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12880, #12890), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12910 = EDGE_CURVE ('', #12800, #12870, #12900, .T.);
#12920 = ORIENTED_EDGE ('', *, *, #12910, .T.);
#12930 = CARTESIAN_POINT ('', (13.7536042346655, -5.5, -6.96607182351783));
#12940 = VERTEX_POINT ('', #12930);
#12950 = CARTESIAN_POINT ('', (10.8816945371647, -5.5, -4.4695588112746));
#12960 = CARTESIAN_POINT ('', (13.7536042346655, -5.5, -6.96607182351783));
#12970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12950, #12960), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12980 = EDGE_CURVE ('', #12870, #12940, #12970, .T.);
#12990 = ORIENTED_EDGE ('', *, *, #12980, .T.);
#13000 = CARTESIAN_POINT ('', (13.0591524658084, -5.5, -2.02479073373537));
#13010 = VERTEX_POINT ('', #13000);
#13020 = CARTESIAN_POINT ('', (13.7536042346655, -5.5, -6.96607182351783));
#13030 = CARTESIAN_POINT ('', (13.0591524658084, -5.5, -2.02479073373537));
#13040 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13020, #13030), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13050 = EDGE_CURVE ('', #12940, #13010, #13040, .T.);
#13060 = ORIENTED_EDGE ('', *, *, #13050, .T.);
#13070 = CARTESIAN_POINT ('', (12.4211608353141, -5.5, -2.11445461001817));
#13080 = VERTEX_POINT ('', #13070);
#13090 = CARTESIAN_POINT ('', (13.0591524658084, -5.5, -2.02479073373537));
#13100 = CARTESIAN_POINT ('', (12.4211608353141, -5.5, -2.11445461001817));
#13110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13090, #13100), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13120 = EDGE_CURVE ('', #13010, #13080, #13110, .T.);
#13130 = ORIENTED_EDGE ('', *, *, #13120, .T.);
#13140 = CARTESIAN_POINT ('', (12.6978331966703, -5.5, -1.74729798559501));
#13150 = VERTEX_POINT ('', #13140);
#13160 = CARTESIAN_POINT ('', (12.4211608353141, -5.5, -2.11445461001817));
#13170 = CARTESIAN_POINT ('', (12.6978331966703, -5.5, -1.74729798559501));
#13180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13160, #13170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13190 = EDGE_CURVE ('', #13080, #13150, #13180, .T.);
#13200 = ORIENTED_EDGE ('', *, *, #13190, .T.);
#13210 = CARTESIAN_POINT ('', (42.3222734272735, -5.5, 0.324244675341806));
#13220 = VERTEX_POINT ('', #13210);
#13230 = CARTESIAN_POINT ('', (12.6978331966703, -5.5, -1.74729798559501));
#13240 = CARTESIAN_POINT ('', (42.3222734272735, -5.5, 0.324244675341802));
#13250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13230, #13240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13260 = EDGE_CURVE ('', #13150, #13220, #13250, .T.);
#13270 = ORIENTED_EDGE ('', *, *, #13260, .T.);
#13280 = CARTESIAN_POINT ('', (42.6473515581868, -5.5, -0.0008334555715237));
#13290 = VERTEX_POINT ('', #13280);
#13300 = CARTESIAN_POINT ('', (42.6473515581868, -5.5, -0.0008334555715237));
#13310 = CARTESIAN_POINT ('', (42.3222734272735, -5.5, 0.324244675341802));
#13320 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13300, #13310), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13330 = EDGE_CURVE ('', #13290, #13220, #13320, .T.);
#13340 = ORIENTED_EDGE ('', *, *, #13330, .F.);
#13350 = CARTESIAN_POINT ('', (42.0030900186776, -5.5, -0.000833455571516595));
#13360 = VERTEX_POINT ('', #13350);
#13370 = CARTESIAN_POINT ('', (42.0030900186776, -5.5, -0.000833455571516595));
#13380 = CARTESIAN_POINT ('', (42.6473515581868, -5.5, -0.0008334555715237));
#13390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13370, #13380), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13400 = EDGE_CURVE ('', #13360, #13290, #13390, .T.);
#13410 = ORIENTED_EDGE ('', *, *, #13400, .F.);
#13420 = CARTESIAN_POINT ('', (42.0030900186776, -5.5, -4.99067534359868));
#13430 = VERTEX_POINT ('', #13420);
#13440 = CARTESIAN_POINT ('', (42.0030900186776, -5.5, -4.99067534359868));
#13450 = CARTESIAN_POINT ('', (42.0030900186776, -5.5, -0.000833455571516595));
#13460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13440, #13450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13470 = EDGE_CURVE ('', #13430, #13360, #13460, .T.);
#13480 = ORIENTED_EDGE ('', *, *, #13470, .F.);
#13490 = CARTESIAN_POINT ('', (44.4996030309208, -5.5, -2.11876564609797));
#13500 = VERTEX_POINT ('', #13490);
#13510 = CARTESIAN_POINT ('', (44.4996030309208, -5.5, -2.11876564609797));
#13520 = CARTESIAN_POINT ('', (42.0030900186776, -5.5, -4.99067534359868));
#13530 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13510, #13520), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13540 = EDGE_CURVE ('', #13500, #13430, #13530, .T.);
#13550 = ORIENTED_EDGE ('', *, *, #13540, .F.);
#13560 = CARTESIAN_POINT ('', (44.8338103350815, -5.5, -6.8981527634558));
#13570 = CARTESIAN_POINT ('', (44.4996030309208, -5.5, -2.11876564609797));
#13580 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13560, #13570), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13590 = EDGE_CURVE ('', #12780, #13500, #13580, .T.);
#13600 = ORIENTED_EDGE ('', *, *, #13590, .F.);
#13610 = EDGE_LOOP ('', (#12850, #12920, #12990, #13060, #13130, #13200, #13270, #13340, #13410, #13480, #13550, #13600));
#13620 = FACE_OUTER_BOUND ('', #13610, .T.);
#13630 = CARTESIAN_POINT ('', (44.8348776556055, -5.5, -6.89908057103232));
#13640 = CARTESIAN_POINT ('', (44.3199353664264, -5.5, 0.46493724798572));
#13650 = CARTESIAN_POINT ('', (11.2149740337489, -5.5, -9.25001324915644));
#13660 = CARTESIAN_POINT ('', (10.7000317445698, -5.5, -1.8859954301384));
#13670 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13630, #13640), (#13650, #13660)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-34.351, -0.649000000000001), (0.0623540127046325, 7.44435401270464), .UNSPECIFIED.);
#13680 = ADVANCED_FACE ('', (#13620), #13670, .T.);
#13690 = CARTESIAN_POINT ('', (12.6978331966703, -8., -1.74729798559501));
#13700 = VERTEX_POINT ('', #13690);
#13710 = CARTESIAN_POINT ('', (42.3222734272735, -8., 0.324244675341806));
#13720 = VERTEX_POINT ('', #13710);
#13730 = CARTESIAN_POINT ('', (12.6978331966703, -8., -1.74729798559501));
#13740 = CARTESIAN_POINT ('', (42.3222734272735, -8., 0.324244675341802));
#13750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13730, #13740), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13760 = EDGE_CURVE ('', #13700, #13720, #13750, .T.);
#13770 = ORIENTED_EDGE ('', *, *, #13760, .F.);
#13780 = CARTESIAN_POINT ('', (12.4211608353141, -8., -2.11445461001817));
#13790 = VERTEX_POINT ('', #13780);
#13800 = CARTESIAN_POINT ('', (12.6978331966703, -8., -1.74729798559501));
#13810 = CARTESIAN_POINT ('', (12.4211608353141, -8., -2.11445461001817));
#13820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13800, #13810), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13830 = EDGE_CURVE ('', #13700, #13790, #13820, .T.);
#13840 = ORIENTED_EDGE ('', *, *, #13830, .T.);
#13850 = CARTESIAN_POINT ('', (13.0591524658084, -8., -2.02479073373537));
#13860 = VERTEX_POINT ('', #13850);
#13870 = CARTESIAN_POINT ('', (13.0591524658084, -8., -2.02479073373537));
#13880 = CARTESIAN_POINT ('', (12.4211608353141, -8., -2.11445461001817));
#13890 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13870, #13880), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13900 = EDGE_CURVE ('', #13860, #13790, #13890, .T.);
#13910 = ORIENTED_EDGE ('', *, *, #13900, .F.);
#13920 = CARTESIAN_POINT ('', (13.7536042346655, -8., -6.96607182351783));
#13930 = VERTEX_POINT ('', #13920);
#13940 = CARTESIAN_POINT ('', (13.7536042346655, -8., -6.96607182351783));
#13950 = CARTESIAN_POINT ('', (13.0591524658084, -8., -2.02479073373537));
#13960 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13940, #13950), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13970 = EDGE_CURVE ('', #13930, #13860, #13960, .T.);
#13980 = ORIENTED_EDGE ('', *, *, #13970, .F.);
#13990 = CARTESIAN_POINT ('', (10.8816945371647, -8., -4.4695588112746));
#14000 = VERTEX_POINT ('', #13990);
#14010 = CARTESIAN_POINT ('', (10.8816945371647, -8., -4.4695588112746));
#14020 = CARTESIAN_POINT ('', (13.7536042346655, -8., -6.96607182351783));
#14030 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14010, #14020), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14040 = EDGE_CURVE ('', #14000, #13930, #14030, .T.);
#14050 = ORIENTED_EDGE ('', *, *, #14040, .F.);
#14060 = CARTESIAN_POINT ('', (11.2159018413254, -8., -9.24894592863243));
#14070 = VERTEX_POINT ('', #14060);
#14080 = CARTESIAN_POINT ('', (11.2159018413254, -8., -9.24894592863244));
#14090 = CARTESIAN_POINT ('', (10.8816945371647, -8., -4.4695588112746));
#14100 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14080, #14090), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14110 = EDGE_CURVE ('', #14070, #14000, #14100, .T.);
#14120 = ORIENTED_EDGE ('', *, *, #14110, .F.);
#14130 = CARTESIAN_POINT ('', (44.8338103350815, -8., -6.8981527634558));
#14140 = VERTEX_POINT ('', #14130);
#14150 = CARTESIAN_POINT ('', (44.8338103350815, -8., -6.8981527634558));
#14160 = CARTESIAN_POINT ('', (11.2159018413254, -8., -9.24894592863244));
#14170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14150, #14160), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14180 = EDGE_CURVE ('', #14140, #14070, #14170, .T.);
#14190 = ORIENTED_EDGE ('', *, *, #14180, .F.);
#14200 = CARTESIAN_POINT ('', (44.4996030309208, -8.00000000000001, -2.11876564609797));
#14210 = VERTEX_POINT ('', #14200);
#14220 = CARTESIAN_POINT ('', (44.8338103350815, -8., -6.8981527634558));
#14230 = CARTESIAN_POINT ('', (44.4996030309208, -8.00000000000001, -2.11876564609797));
#14240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14220, #14230), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14250 = EDGE_CURVE ('', #14140, #14210, #14240, .T.);
#14260 = ORIENTED_EDGE ('', *, *, #14250, .T.);
#14270 = CARTESIAN_POINT ('', (42.0030900186776, -8., -4.99067534359868));
#14280 = VERTEX_POINT ('', #14270);
#14290 = CARTESIAN_POINT ('', (44.4996030309208, -8.00000000000001, -2.11876564609797));
#14300 = CARTESIAN_POINT ('', (42.0030900186776, -8., -4.99067534359868));
#14310 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14290, #14300), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14320 = EDGE_CURVE ('', #14210, #14280, #14310, .T.);
#14330 = ORIENTED_EDGE ('', *, *, #14320, .T.);
#14340 = CARTESIAN_POINT ('', (42.0030900186776, -8., -0.000833455571516595));
#14350 = VERTEX_POINT ('', #14340);
#14360 = CARTESIAN_POINT ('', (42.0030900186776, -8., -4.99067534359868));
#14370 = CARTESIAN_POINT ('', (42.0030900186776, -8., -0.000833455571516595));
#14380 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14360, #14370), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14390 = EDGE_CURVE ('', #14280, #14350, #14380, .T.);
#14400 = ORIENTED_EDGE ('', *, *, #14390, .T.);
#14410 = CARTESIAN_POINT ('', (42.6473515581868, -8., -0.000833455571520147));
#14420 = VERTEX_POINT ('', #14410);
#14430 = CARTESIAN_POINT ('', (42.0030900186776, -8., -0.000833455571516595));
#14440 = CARTESIAN_POINT ('', (42.6473515581868, -8., -0.000833455571520147));
#14450 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14430, #14440), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14460 = EDGE_CURVE ('', #14350, #14420, #14450, .T.);
#14470 = ORIENTED_EDGE ('', *, *, #14460, .T.);
#14480 = CARTESIAN_POINT ('', (42.3222734272735, -8., 0.324244675341802));
#14490 = CARTESIAN_POINT ('', (42.6473515581868, -8., -0.000833455571520147));
#14500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14480, #14490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14510 = EDGE_CURVE ('', #13720, #14420, #14500, .T.);
#14520 = ORIENTED_EDGE ('', *, *, #14510, .F.);
#14530 = EDGE_LOOP ('', (#13770, #13840, #13910, #13980, #14050, #14120, #14190, #14260, #14330, #14400, #14470, #14520));
#14540 = FACE_OUTER_BOUND ('', #14530, .T.);
#14550 = CARTESIAN_POINT ('', (11.2149740337489, -8., -9.25001324915644));
#14560 = CARTESIAN_POINT ('', (10.7000317445698, -8., -1.8859954301384));
#14570 = CARTESIAN_POINT ('', (44.8348776556055, -8., -6.89908057103232));
#14580 = CARTESIAN_POINT ('', (44.3199353664264, -8., 0.46493724798572));
#14590 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14550, #14560), (#14570, #14580)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.649000000000001, 34.351), (0.0623540127046325, 7.44435401270464), .UNSPECIFIED.);
#14600 = ADVANCED_FACE ('', (#14540), #14590, .T.);
#14610 = ORIENTED_EDGE ('', *, *, #14180, .T.);
#14620 = CARTESIAN_POINT ('', (11.2159018413254, -8., -9.24894592863244));
#14630 = CARTESIAN_POINT ('', (11.2159018413254, -5.5, -9.24894592863244));
#14640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14620, #14630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14650 = EDGE_CURVE ('', #14070, #12800, #14640, .T.);
#14660 = ORIENTED_EDGE ('', *, *, #14650, .T.);
#14670 = ORIENTED_EDGE ('', *, *, #12840, .F.);
#14680 = CARTESIAN_POINT ('', (44.8338103350815, -8., -6.8981527634558));
#14690 = CARTESIAN_POINT ('', (44.8338103350815, -5.5, -6.8981527634558));
#14700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14680, #14690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14710 = EDGE_CURVE ('', #14140, #12780, #14700, .T.);
#14720 = ORIENTED_EDGE ('', *, *, #14710, .F.);
#14730 = EDGE_LOOP ('', (#14610, #14660, #14670, #14720));
#14740 = FACE_OUTER_BOUND ('', #14730, .T.);
#14750 = CARTESIAN_POINT ('', (44.8348078991318, -8.001, -6.89808300698206));
#14760 = CARTESIAN_POINT ('', (44.8348078991318, -5.499, -6.89808300698206));
#14770 = CARTESIAN_POINT ('', (11.2149042772751, -8.001, -9.24901568510618));
#14780 = CARTESIAN_POINT ('', (11.2149042772751, -5.499, -9.24901568510618));
#14790 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14750, #14760), (#14770, #14780)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0979504719474988, 33.7999504719475), (-16.851, -14.349), .UNSPECIFIED.);
#14800 = ADVANCED_FACE ('', (#14740), #14790, .T.);
#14810 = ORIENTED_EDGE ('', *, *, #13260, .F.);
#14820 = CARTESIAN_POINT ('', (12.6978331966703, -5.5, -1.74729798559501));
#14830 = CARTESIAN_POINT ('', (12.6978331966703, -8., -1.74729798559501));
#14840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14820, #14830), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14850 = EDGE_CURVE ('', #13150, #13700, #14840, .T.);
#14860 = ORIENTED_EDGE ('', *, *, #14850, .T.);
#14870 = ORIENTED_EDGE ('', *, *, #13760, .T.);
#14880 = CARTESIAN_POINT ('', (42.3222734272735, -5.5, 0.324244675341802));
#14890 = CARTESIAN_POINT ('', (42.3222734272735, -8., 0.324244675341802));
#14900 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14880, #14890), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14910 = EDGE_CURVE ('', #13220, #13720, #14900, .T.);
#14920 = ORIENTED_EDGE ('', *, *, #14910, .F.);
#14930 = EDGE_LOOP ('', (#14810, #14860, #14870, #14920));
#14940 = FACE_OUTER_BOUND ('', #14930, .T.);
#14950 = CARTESIAN_POINT ('', (12.69683563262, -8.001, -1.74736774206875));
#14960 = CARTESIAN_POINT ('', (12.69683563262, -5.499, -1.74736774206875));
#14970 = CARTESIAN_POINT ('', (42.3232709913238, -8.001, 0.324314431815548));
#14980 = CARTESIAN_POINT ('', (42.3232709913238, -5.499, 0.324314431815548));
#14990 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14950, #14960), (#14970, #14980)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-32.0257697454791, -2.326989651121), (-16.851, -14.349), .UNSPECIFIED.);
#15000 = ADVANCED_FACE ('', (#14940), #14990, .T.);
#15010 = ORIENTED_EDGE ('', *, *, #13330, .T.);
#15020 = ORIENTED_EDGE ('', *, *, #14910, .T.);
#15030 = ORIENTED_EDGE ('', *, *, #14510, .T.);
#15040 = CARTESIAN_POINT ('', (42.6473515581868, -8., -0.000833455571520147));
#15050 = CARTESIAN_POINT ('', (42.6473515581868, -5.5, -0.0008334555715237));
#15060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15040, #15050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15070 = EDGE_CURVE ('', #14420, #13290, #15060, .T.);
#15080 = ORIENTED_EDGE ('', *, *, #15070, .T.);
#15090 = EDGE_LOOP ('', (#15010, #15020, #15030, #15080));
#15100 = FACE_OUTER_BOUND ('', #15090, .T.);
#15110 = CARTESIAN_POINT ('', (42.3212758632232, -8.001, 0.325242239392065));
#15120 = CARTESIAN_POINT ('', (42.3212758632232, -5.499, 0.325242239392065));
#15130 = CARTESIAN_POINT ('', (42.6483491222371, -8.001, -0.00183101962178256));
#15140 = CARTESIAN_POINT ('', (42.6483491222371, -5.499, -0.00183101962178256));
#15150 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15110, #15120), (#15130, #15140)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141076860921352, 0.461140670177732), (2.89781440006741, 5.39981440006741), .UNSPECIFIED.);
#15160 = ADVANCED_FACE ('', (#15100), #15150, .T.);
#15170 = ORIENTED_EDGE ('', *, *, #15070, .F.);
#15180 = ORIENTED_EDGE ('', *, *, #14460, .F.);
#15190 = CARTESIAN_POINT ('', (45.0030900186776, -8.25, -0.000833455571530806));
#15200 = VERTEX_POINT ('', #15190);
#15210 = CARTESIAN_POINT ('', (45.0030900186776, -8.25, -0.000833455571530806));
#15220 = CARTESIAN_POINT ('', (42.0030900186776, -8., -0.000833455571516595));
#15230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15210, #15220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15240 = EDGE_CURVE ('', #15200, #14350, #15230, .T.);
#15250 = ORIENTED_EDGE ('', *, *, #15240, .F.);
#15260 = CARTESIAN_POINT ('', (45.0030900186776, -5.25, -0.000833455571530806));
#15270 = VERTEX_POINT ('', #15260);
#15280 = CARTESIAN_POINT ('', (45.0030900186776, -8.25, -0.000833455571530806));
#15290 = CARTESIAN_POINT ('', (45.0030900186776, -5.25, -0.000833455571530806));
#15300 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15280, #15290), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15310 = EDGE_CURVE ('', #15200, #15270, #15300, .T.);
#15320 = ORIENTED_EDGE ('', *, *, #15310, .T.);
#15330 = CARTESIAN_POINT ('', (45.0030900186776, -5.25, -0.000833455571530806));
#15340 = CARTESIAN_POINT ('', (42.0030900186776, -5.5, -0.000833455571516595));
#15350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15330, #15340), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15360 = EDGE_CURVE ('', #15270, #13360, #15350, .T.);
#15370 = ORIENTED_EDGE ('', *, *, #15360, .T.);
#15380 = ORIENTED_EDGE ('', *, *, #13400, .T.);
#15390 = EDGE_LOOP ('', (#15170, #15180, #15250, #15320, #15370, #15380));
#15400 = FACE_OUTER_BOUND ('', #15390, .T.);
#15410 = CARTESIAN_POINT ('', (42.0020226981536, -8.251, -0.000833455571516595));
#15420 = CARTESIAN_POINT ('', (42.0020226981536, -5.249, -0.000833455571516595));
#15430 = CARTESIAN_POINT ('', (45.0041573392016, -8.251, -0.000833455571530806));
#15440 = CARTESIAN_POINT ('', (45.0041573392016, -5.249, -0.000833455571530806));
#15450 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15410, #15420), (#15430, #15440)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052401171, 3.001067320524), (2.64781440006741, 5.64981440006741), .UNSPECIFIED.);
#15460 = ADVANCED_FACE ('', (#15400), #15450, .T.);
#15470 = CARTESIAN_POINT ('', (44.4996030309208, -8.00000000000001, -2.11876564609797));
#15480 = CARTESIAN_POINT ('', (44.4996030309208, -5.5, -2.11876564609797));
#15490 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15470, #15480), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15500 = EDGE_CURVE ('', #14210, #13500, #15490, .T.);
#15510 = ORIENTED_EDGE ('', *, *, #15500, .T.);
#15520 = ORIENTED_EDGE ('', *, *, #13540, .T.);
#15530 = CARTESIAN_POINT ('', (45.0030900186776, -5.25, -1.53957012193576));
#15540 = VERTEX_POINT ('', #15530);
#15550 = CARTESIAN_POINT ('', (42.0030900186776, -5.5, -4.99067534359868));
#15560 = CARTESIAN_POINT ('', (45.0030900186776, -5.25, -1.53957012193576));
#15570 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15550, #15560), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15580 = EDGE_CURVE ('', #13430, #15540, #15570, .T.);
#15590 = ORIENTED_EDGE ('', *, *, #15580, .T.);
#15600 = CARTESIAN_POINT ('', (45.0030900186776, -8.25, -1.53957012193576));
#15610 = VERTEX_POINT ('', #15600);
#15620 = CARTESIAN_POINT ('', (45.0030900186776, -8.25, -1.53957012193576));
#15630 = CARTESIAN_POINT ('', (45.0030900186776, -5.25, -1.53957012193576));
#15640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15620, #15630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15650 = EDGE_CURVE ('', #15610, #15540, #15640, .T.);
#15660 = ORIENTED_EDGE ('', *, *, #15650, .F.);
#15670 = CARTESIAN_POINT ('', (42.0030900186776, -8., -4.99067534359868));
#15680 = CARTESIAN_POINT ('', (45.0030900186776, -8.25, -1.53957012193576));
#15690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15670, #15680), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15700 = EDGE_CURVE ('', #14280, #15610, #15690, .T.);
#15710 = ORIENTED_EDGE ('', *, *, #15700, .F.);
#15720 = ORIENTED_EDGE ('', *, *, #14320, .F.);
#15730 = EDGE_LOOP ('', (#15510, #15520, #15590, #15660, #15710, #15720));
#15740 = FACE_OUTER_BOUND ('', #15730, .T.);
#15750 = CARTESIAN_POINT ('', (45.0040178262541, -8.251, -1.53850280141176));
#15760 = CARTESIAN_POINT ('', (45.0040178262541, -5.24900000000001, -1.53850280141176));
#15770 = CARTESIAN_POINT ('', (42.002162211101, -8.251, -4.99174266412268));
#15780 = CARTESIAN_POINT ('', (42.002162211101, -5.24900000000001, -4.99174266412268));
#15790 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15750, #15760), (#15770, #15780)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.80673187847533, 0.768855808766778), (32.249, 35.251), .UNSPECIFIED.);
#15800 = ADVANCED_FACE ('', (#15740), #15790, .T.);
#15810 = ORIENTED_EDGE ('', *, *, #14250, .F.);
#15820 = ORIENTED_EDGE ('', *, *, #14710, .T.);
#15830 = ORIENTED_EDGE ('', *, *, #13590, .T.);
#15840 = ORIENTED_EDGE ('', *, *, #15500, .F.);
#15850 = EDGE_LOOP ('', (#15810, #15820, #15830, #15840));
#15860 = FACE_OUTER_BOUND ('', #15850, .T.);
#15870 = CARTESIAN_POINT ('', (44.8338800915552, -8.001, -6.89915032750606));
#15880 = CARTESIAN_POINT ('', (44.4995332744471, -8.001, -2.1177680820477));
#15890 = CARTESIAN_POINT ('', (44.8338800915552, -5.49900000000001, -6.89915032750606));
#15900 = CARTESIAN_POINT ('', (44.4995332744471, -5.49900000000001, -2.1177680820477));
#15910 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15870, #15880), (#15890, #15900)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-35.001, -32.499), (0.207942106411113, 5.001), .UNSPECIFIED.);
#15920 = ADVANCED_FACE ('', (#15860), #15910, .T.);
#15930 = ORIENTED_EDGE ('', *, *, #15650, .T.);
#15940 = CARTESIAN_POINT ('', (45.0030900186776, -5.25, -1.53957012193576));
#15950 = CARTESIAN_POINT ('', (45.0030900186776, -5.25, -0.000833455571530806));
#15960 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15940, #15950), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15970 = EDGE_CURVE ('', #15540, #15270, #15960, .T.);
#15980 = ORIENTED_EDGE ('', *, *, #15970, .T.);
#15990 = ORIENTED_EDGE ('', *, *, #15310, .F.);
#16000 = CARTESIAN_POINT ('', (45.0030900186776, -8.25, -1.53957012193576));
#16010 = CARTESIAN_POINT ('', (45.0030900186776, -8.25, -0.000833455571530806));
#16020 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16000, #16010), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16030 = EDGE_CURVE ('', #15610, #15200, #16020, .T.);
#16040 = ORIENTED_EDGE ('', *, *, #16030, .F.);
#16050 = EDGE_LOOP ('', (#15930, #15980, #15990, #16040));
#16060 = FACE_OUTER_BOUND ('', #16050, .T.);
#16070 = CARTESIAN_POINT ('', (45.0030900186776, -8.251, 0.000233864952470242));
#16080 = CARTESIAN_POINT ('', (45.0030900186776, -5.24900000000001, 0.000233864952470242));
#16090 = CARTESIAN_POINT ('', (45.0030900186776, -8.251, -1.54063744245977));
#16100 = CARTESIAN_POINT ('', (45.0030900186776, -5.24900000000001, -1.54063744245977));
#16110 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16070, #16080), (#16090, #16100)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.53980398688824, 0.0010673205240046), (32.249, 35.251), .UNSPECIFIED.);
#16120 = ADVANCED_FACE ('', (#16060), #16110, .T.);
#16130 = ORIENTED_EDGE ('', *, *, #15580, .F.);
#16140 = ORIENTED_EDGE ('', *, *, #13470, .T.);
#16150 = ORIENTED_EDGE ('', *, *, #15360, .F.);
#16160 = ORIENTED_EDGE ('', *, *, #15970, .F.);
#16170 = EDGE_LOOP ('', (#16130, #16140, #16150, #16160));
#16180 = FACE_OUTER_BOUND ('', #16170, .T.);
#16190 = CARTESIAN_POINT ('', (45.3346778749468, -5.22236767864423, -4.7601634641099));
#16200 = CARTESIAN_POINT ('', (44.9894961803967, -5.25113281985674, 0.210444804603377));
#16210 = CARTESIAN_POINT ('', (42.0021866352217, -5.50007528195466, -4.99319395233351));
#16220 = CARTESIAN_POINT ('', (41.6570049406716, -5.52884042316716, -0.0225856836202354));
#16230 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16190, #16200), (#16210, #16220)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.492130897891766, 2.86002103545232), (2.27575753352009, 7.25841991387482), .UNSPECIFIED.);
#16240 = ADVANCED_FACE ('', (#16180), #16230, .T.);
#16250 = ORIENTED_EDGE ('', *, *, #14390, .F.);
#16260 = ORIENTED_EDGE ('', *, *, #15700, .T.);
#16270 = ORIENTED_EDGE ('', *, *, #16030, .T.);
#16280 = ORIENTED_EDGE ('', *, *, #15240, .T.);
#16290 = EDGE_LOOP ('', (#16250, #16260, #16270, #16280));
#16300 = FACE_OUTER_BOUND ('', #16290, .T.);
#16310 = CARTESIAN_POINT ('', (42.0021866352217, -7.99992471804535, -4.99319395233351));
#16320 = CARTESIAN_POINT ('', (41.6570049406716, -7.97115957683284, -0.0225856836202354));
#16330 = CARTESIAN_POINT ('', (45.3346778749468, -8.27763232135577, -4.7601634641099));
#16340 = CARTESIAN_POINT ('', (44.9894961803967, -8.24886718014327, 0.210444804603377));
#16350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16310, #16320), (#16330, #16340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.492130897891766, 2.86002103545232), (2.27575753352009, 7.25841991387482), .UNSPECIFIED.);
#16360 = ADVANCED_FACE ('', (#16300), #16350, .T.);
#16370 = ORIENTED_EDGE ('', *, *, #13190, .F.);
#16380 = CARTESIAN_POINT ('', (12.4211608353141, -8., -2.11445461001817));
#16390 = CARTESIAN_POINT ('', (12.4211608353141, -5.5, -2.11445461001817));
#16400 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16380, #16390), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16410 = EDGE_CURVE ('', #13790, #13080, #16400, .T.);
#16420 = ORIENTED_EDGE ('', *, *, #16410, .F.);
#16430 = ORIENTED_EDGE ('', *, *, #13830, .F.);
#16440 = ORIENTED_EDGE ('', *, *, #14850, .F.);
#16450 = EDGE_LOOP ('', (#16370, #16420, #16430, #16440));
#16460 = FACE_OUTER_BOUND ('', #16450, .T.);
#16470 = CARTESIAN_POINT ('', (12.6986822184135, -5.499, -1.74617129568723));
#16480 = CARTESIAN_POINT ('', (12.6986822184135, -8.001, -1.74617129568723));
#16490 = CARTESIAN_POINT ('', (12.4203118135709, -5.499, -2.11558129992595));
#16500 = CARTESIAN_POINT ('', (12.4203118135709, -8.001, -2.11558129992595));
#16510 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16470, #16480), (#16490, #16500)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141076860921352, 0.461140670177732), (-5.39981440006741, -2.89781440006741), .UNSPECIFIED.);
#16520 = ADVANCED_FACE ('', (#16460), #16510, .T.);
#16530 = ORIENTED_EDGE ('', *, *, #16410, .T.);
#16540 = ORIENTED_EDGE ('', *, *, #13120, .F.);
#16550 = CARTESIAN_POINT ('', (10.0883482595837, -5.25, -2.44231003661552));
#16560 = VERTEX_POINT ('', #16550);
#16570 = CARTESIAN_POINT ('', (10.0883482595837, -5.25, -2.44231003661552));
#16580 = CARTESIAN_POINT ('', (13.0591524658084, -5.5, -2.02479073373537));
#16590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16570, #16580), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16600 = EDGE_CURVE ('', #16560, #13010, #16590, .T.);
#16610 = ORIENTED_EDGE ('', *, *, #16600, .F.);
#16620 = CARTESIAN_POINT ('', (10.0883482595837, -8.25, -2.44231003661552));
#16630 = VERTEX_POINT ('', #16620);
#16640 = CARTESIAN_POINT ('', (10.0883482595837, -8.25, -2.44231003661552));
#16650 = CARTESIAN_POINT ('', (10.0883482595837, -5.25, -2.44231003661552));
#16660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16640, #16650), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16670 = EDGE_CURVE ('', #16630, #16560, #16660, .T.);
#16680 = ORIENTED_EDGE ('', *, *, #16670, .F.);
#16690 = CARTESIAN_POINT ('', (10.0883482595837, -8.25, -2.44231003661552));
#16700 = CARTESIAN_POINT ('', (13.0591524658084, -8., -2.02479073373537));
#16710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16690, #16700), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16720 = EDGE_CURVE ('', #16630, #13860, #16710, .T.);
#16730 = ORIENTED_EDGE ('', *, *, #16720, .T.);
#16740 = ORIENTED_EDGE ('', *, *, #13900, .T.);
#16750 = EDGE_LOOP ('', (#16530, #16540, #16610, #16680, #16730, #16740));
#16760 = FACE_OUTER_BOUND ('', #16750, .T.);
#16770 = CARTESIAN_POINT ('', (13.0602093992424, -5.249, -2.02464219142833));
#16780 = CARTESIAN_POINT ('', (13.0602093992424, -8.251, -2.02464219142833));
#16790 = CARTESIAN_POINT ('', (10.0872913261497, -5.249, -2.44245857892256));
#16800 = CARTESIAN_POINT ('', (10.0872913261497, -8.251, -2.44245857892256));
#16810 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16770, #16780), (#16790, #16800)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052401526, 3.001067320524), (-5.64981440006741, -2.64781440006741), .UNSPECIFIED.);
#16820 = ADVANCED_FACE ('', (#16760), #16810, .T.);
#16830 = CARTESIAN_POINT ('', (10.8816945371647, -8., -4.4695588112746));
#16840 = CARTESIAN_POINT ('', (10.8816945371647, -5.5, -4.4695588112746));
#16850 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16830, #16840), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16860 = EDGE_CURVE ('', #14000, #12870, #16850, .T.);
#16870 = ORIENTED_EDGE ('', *, *, #16860, .F.);
#16880 = ORIENTED_EDGE ('', *, *, #14040, .T.);
#16890 = CARTESIAN_POINT ('', (10.3024990130025, -8.25, -3.96607182351787));
#16900 = VERTEX_POINT ('', #16890);
#16910 = CARTESIAN_POINT ('', (13.7536042346655, -8., -6.96607182351783));
#16920 = CARTESIAN_POINT ('', (10.3024990130025, -8.25, -3.96607182351787));
#16930 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16910, #16920), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16940 = EDGE_CURVE ('', #13930, #16900, #16930, .T.);
#16950 = ORIENTED_EDGE ('', *, *, #16940, .T.);
#16960 = CARTESIAN_POINT ('', (10.3024990130025, -5.25, -3.96607182351787));
#16970 = VERTEX_POINT ('', #16960);
#16980 = CARTESIAN_POINT ('', (10.3024990130025, -8.25, -3.96607182351787));
#16990 = CARTESIAN_POINT ('', (10.3024990130025, -5.25, -3.96607182351787));
#17000 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16980, #16990), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17010 = EDGE_CURVE ('', #16900, #16970, #17000, .T.);
#17020 = ORIENTED_EDGE ('', *, *, #17010, .T.);
#17030 = CARTESIAN_POINT ('', (13.7536042346655, -5.5, -6.96607182351783));
#17040 = CARTESIAN_POINT ('', (10.3024990130025, -5.25, -3.96607182351787));
#17050 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17030, #17040), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17060 = EDGE_CURVE ('', #12940, #16970, #17050, .T.);
#17070 = ORIENTED_EDGE ('', *, *, #17060, .F.);
#17080 = ORIENTED_EDGE ('', *, *, #12980, .F.);
#17090 = EDGE_LOOP ('', (#16870, #16880, #16950, #17020, #17070, #17080));
#17100 = FACE_OUTER_BOUND ('', #17090, .T.);
#17110 = CARTESIAN_POINT ('', (10.3014316924785, -5.249, -3.96514401594136));
#17120 = CARTESIAN_POINT ('', (10.3014316924785, -8.251, -3.96514401594136));
#17130 = CARTESIAN_POINT ('', (13.7546715551895, -5.249, -6.96699963109435));
#17140 = CARTESIAN_POINT ('', (13.7546715551895, -8.251, -6.96699963109435));
#17150 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17110, #17120), (#17130, #17140)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.80673187847534, 0.768855808766778), (-35.251, -32.249), .UNSPECIFIED.);
#17160 = ADVANCED_FACE ('', (#17100), #17150, .T.);
#17170 = ORIENTED_EDGE ('', *, *, #14110, .T.);
#17180 = ORIENTED_EDGE ('', *, *, #16860, .T.);
#17190 = ORIENTED_EDGE ('', *, *, #12910, .F.);
#17200 = ORIENTED_EDGE ('', *, *, #14650, .F.);
#17210 = EDGE_LOOP ('', (#17170, #17180, #17190, #17200));
#17220 = FACE_OUTER_BOUND ('', #17210, .T.);
#17230 = CARTESIAN_POINT ('', (10.881624780691, -8.001, -4.46856124722434));
#17240 = CARTESIAN_POINT ('', (11.2159715977991, -8.001, -9.2499434926827));
#17250 = CARTESIAN_POINT ('', (10.881624780691, -5.499, -4.46856124722434));
#17260 = CARTESIAN_POINT ('', (11.2159715977991, -5.499, -9.2499434926827));
#17270 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17230, #17240), (#17250, #17260)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-35.001, -32.499), (-5.001, -0.207942106411113), .UNSPECIFIED.);
#17280 = ADVANCED_FACE ('', (#17220), #17270, .T.);
#17290 = ORIENTED_EDGE ('', *, *, #17010, .F.);
#17300 = CARTESIAN_POINT ('', (10.3024990130025, -8.25, -3.96607182351787));
#17310 = CARTESIAN_POINT ('', (10.0883482595837, -8.25, -2.44231003661552));
#17320 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17300, #17310), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17330 = EDGE_CURVE ('', #16900, #16630, #17320, .T.);
#17340 = ORIENTED_EDGE ('', *, *, #17330, .T.);
#17350 = ORIENTED_EDGE ('', *, *, #16670, .T.);
#17360 = CARTESIAN_POINT ('', (10.3024990130025, -5.25, -3.96607182351787));
#17370 = CARTESIAN_POINT ('', (10.0883482595837, -5.25, -2.44231003661552));
#17380 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17360, #17370), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17390 = EDGE_CURVE ('', #16970, #16560, #17380, .T.);
#17400 = ORIENTED_EDGE ('', *, *, #17390, .F.);
#17410 = EDGE_LOOP ('', (#17290, #17340, #17350, #17400));
#17420 = FACE_OUTER_BOUND ('', #17410, .T.);
#17430 = CARTESIAN_POINT ('', (10.0881997172767, -5.249, -2.44125310318148));
#17440 = CARTESIAN_POINT ('', (10.0881997172767, -8.251, -2.44125310318148));
#17450 = CARTESIAN_POINT ('', (10.3026475553096, -5.249, -3.9671287569519));
#17460 = CARTESIAN_POINT ('', (10.3026475553096, -8.251, -3.9671287569519));
#17470 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17430, #17440), (#17450, #17460)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.53980398688824, 0.0010673205240046), (-35.251, -32.249), .UNSPECIFIED.);
#17480 = ADVANCED_FACE ('', (#17420), #17470, .T.);
#17490 = ORIENTED_EDGE ('', *, *, #17060, .T.);
#17500 = ORIENTED_EDGE ('', *, *, #17390, .T.);
#17510 = ORIENTED_EDGE ('', *, *, #16600, .T.);
#17520 = ORIENTED_EDGE ('', *, *, #13050, .F.);
#17530 = EDGE_LOOP ('', (#17490, #17500, #17510, #17520));
#17540 = FACE_OUTER_BOUND ('', #17530, .T.);
#17550 = CARTESIAN_POINT ('', (10.0724055529309, -5.25113281985674, -2.23119602531753));
#17560 = CARTESIAN_POINT ('', (10.4223581093183, -5.22236767864423, -7.2014706828723));
#17570 = CARTESIAN_POINT ('', (13.4048967926559, -5.52884042316716, -1.99816553709392));
#17580 = CARTESIAN_POINT ('', (13.7548493490434, -5.50007528195465, -6.96844019464869));
#17590 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17550, #17560), (#17570, #17580)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.492130897891762, 2.86002103545232), (-7.25841991387482, -2.27575753352009), .UNSPECIFIED.);
#17600 = ADVANCED_FACE ('', (#17540), #17590, .T.);
#17610 = ORIENTED_EDGE ('', *, *, #13970, .T.);
#17620 = ORIENTED_EDGE ('', *, *, #16720, .F.);
#17630 = ORIENTED_EDGE ('', *, *, #17330, .F.);
#17640 = ORIENTED_EDGE ('', *, *, #16940, .F.);
#17650 = EDGE_LOOP ('', (#17610, #17620, #17630, #17640));
#17660 = FACE_OUTER_BOUND ('', #17650, .T.);
#17670 = CARTESIAN_POINT ('', (13.4048967926559, -7.97115957683284, -1.99816553709392));
#17680 = CARTESIAN_POINT ('', (13.7548493490434, -7.99992471804535, -6.96844019464869));
#17690 = CARTESIAN_POINT ('', (10.0724055529309, -8.24886718014326, -2.23119602531753));
#17700 = CARTESIAN_POINT ('', (10.4223581093183, -8.27763232135577, -7.2014706828723));
#17710 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17670, #17680), (#17690, #17700)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.492130897891762, 2.86002103545232), (-7.25841991387482, -2.27575753352009), .UNSPECIFIED.);
#17720 = ADVANCED_FACE ('', (#17660), #17710, .T.);
#17730 = CLOSED_SHELL ('', (#13680, #14600, #14800, #15000, #15160, #15460, #15800, #15920, #16120, #16240, #16360, #16520, #16820, #17160, #17280, #17480, #17600, #17720));
#17740 = MANIFOLD_SOLID_BREP ('CUT', #17730);
#17750 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#17760 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#17770 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#17780 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #17750, 'DISTANCE_ACCURACY_VALUE', '');
#17790 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#17780))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#17750, #17760, #17770))
   REPRESENTATION_CONTEXT ('', '3D')
);
#17800 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#17810 = FILL_AREA_STYLE_COLOUR ('', #17800);
#17820 = FILL_AREA_STYLE ('', (#17810));
#17830 = SURFACE_STYLE_FILL_AREA (#17820);
#17840 = SURFACE_SIDE_STYLE ('', (#17830));
#17850 = SURFACE_STYLE_USAGE (.POSITIVE., #17840);
#17860 = PRESENTATION_STYLE_ASSIGNMENT ((#17850));
#17870 = STYLED_ITEM ('', (#17860), #17740);
#17880 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#17740), #17790);
#17890 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#17900 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #17890);
#17910 = MECHANICAL_CONTEXT ('', #17890, 'mechanical');
#17920 = PRODUCT ('NONE', '', '', (#17910));
#17930 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#17940 = PERSON ('', '', $, $, $, $);
#17950 = ORGANIZATION ($, '', '');
#17960 = PERSON_AND_ORGANIZATION (#17940, #17950);
#17970 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#17960, #17930, (#17920));
#17980 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#17920));
#17990 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #17920, .NOT_KNOWN.);
#18000 = APPROVAL_STATUS ('approved');
#18010 = APPROVAL (#18000, '');
#18020 = CALENDAR_DATE (2017, 25, 4);
#18030 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18040 = LOCAL_TIME (11, 39, 26., #18030);
#18050 = DATE_AND_TIME (#18020, #18040);
#18060 = APPROVAL_DATE_TIME (#18050, #18010);
#18070 = APPROVAL_ROLE ('');
#18080 = PERSON ('', '', $, $, $, $);
#18090 = ORGANIZATION ($, '', '');
#18100 = PERSON_AND_ORGANIZATION (#18080, #18090);
#18110 = APPROVAL_PERSON_ORGANIZATION (#18100, #18010, #18070);
#18120 = CC_DESIGN_APPROVAL (#18010, (#17990));
#18130 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#18140 = PERSON ('', '', $, $, $, $);
#18150 = ORGANIZATION ($, '', '');
#18160 = PERSON_AND_ORGANIZATION (#18140, #18150);
#18170 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18160, #18130, (#17990));
#18180 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#18190 = PERSON ('', '', $, $, $, $);
#18200 = ORGANIZATION ($, '', '');
#18210 = PERSON_AND_ORGANIZATION (#18190, #18200);
#18220 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18210, #18180, (#17990));
#18230 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#18240 = SECURITY_CLASSIFICATION ('', '', #18230);
#18250 = APPROVAL_STATUS ('approved');
#18260 = APPROVAL (#18250, '');
#18270 = CALENDAR_DATE (2017, 25, 4);
#18280 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18290 = LOCAL_TIME (11, 39, 26., #18280);
#18300 = DATE_AND_TIME (#18270, #18290);
#18310 = APPROVAL_DATE_TIME (#18300, #18260);
#18320 = APPROVAL_ROLE ('');
#18330 = PERSON ('', '', $, $, $, $);
#18340 = ORGANIZATION ($, '', '');
#18350 = PERSON_AND_ORGANIZATION (#18330, #18340);
#18360 = APPROVAL_PERSON_ORGANIZATION (#18350, #18260, #18320);
#18370 = CC_DESIGN_APPROVAL (#18260, (#18240));
#18380 = DATE_TIME_ROLE ('classification_date');
#18390 = CALENDAR_DATE (2017, 25, 4);
#18400 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18410 = LOCAL_TIME (11, 39, 26., #18400);
#18420 = DATE_AND_TIME (#18390, #18410);
#18430 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#18420, #18380, (#18240));
#18440 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#18450 = PERSON ('', '', $, $, $, $);
#18460 = ORGANIZATION ($, '', '');
#18470 = PERSON_AND_ORGANIZATION (#18450, #18460);
#18480 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18470, #18440, (#18240));
#18490 = CC_DESIGN_SECURITY_CLASSIFICATION (#18240, (#17990));
#18500 = DESIGN_CONTEXT ('', #17890, 'design');
#18510 = PRODUCT_DEFINITION ('', '', #17990, #18500);
#18520 = APPROVAL_STATUS ('approved');
#18530 = APPROVAL (#18520, '');
#18540 = CALENDAR_DATE (2017, 25, 4);
#18550 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18560 = LOCAL_TIME (11, 39, 26., #18550);
#18570 = DATE_AND_TIME (#18540, #18560);
#18580 = APPROVAL_DATE_TIME (#18570, #18530);
#18590 = APPROVAL_ROLE ('');
#18600 = PERSON ('', '', $, $, $, $);
#18610 = ORGANIZATION ($, '', '');
#18620 = PERSON_AND_ORGANIZATION (#18600, #18610);
#18630 = APPROVAL_PERSON_ORGANIZATION (#18620, #18530, #18590);
#18640 = CC_DESIGN_APPROVAL (#18530, (#18510));
#18650 = DATE_TIME_ROLE ('creation_date');
#18660 = CALENDAR_DATE (2017, 25, 4);
#18670 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18680 = LOCAL_TIME (11, 39, 26., #18670);
#18690 = DATE_AND_TIME (#18660, #18680);
#18700 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#18690, #18650, (#18510));
#18710 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#18720 = PERSON ('', '', $, $, $, $);
#18730 = ORGANIZATION ($, '', '');
#18740 = PERSON_AND_ORGANIZATION (#18720, #18730);
#18750 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18740, #18710, (#18510));
#18760 = PRODUCT_DEFINITION_SHAPE ('', '', #18510);
#18770 = SHAPE_DEFINITION_REPRESENTATION (#18760, #17880);
ENDSEC;
END-ISO-10303-21;