ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('q:\\engin oezkan\\lieferung_ksa\\comp\\step\\nacharbeit\\KSA 260895R-SA2402-S1-36.stp', '2017-04-25T13:08:17', ('Unknown'), ('TDM'), 'HarmonyWare STEP v2.0.2.9', 'T3D tool generator', '');
FILE_SCHEMA (('CONFIG_CONTROL_DESIGN'));
ENDSEC;

DATA;
#10 = CARTESIAN_POINT ('', (18.9745129601354, 4.75000000000006, -20.6491651245989));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (9.5, 4.75000000000005, -0.110000000000109));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (18.9745129601354, 4.75000000000007, -20.6491651245989));
#60 = CARTESIAN_POINT ('', (9.50000000000001, 4.75000000000006, -12.5648319453006));
#70 = CARTESIAN_POINT ('', (9.5, 4.75000000000005, -0.110000000000137));
#80 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#50, #60, #70), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (310.473185978796, 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.908045184059576, 1.))
   REPRESENTATION_ITEM ('')
);
#90 = EDGE_CURVE ('', #20, #40, #80, .T.);
#100 = ORIENTED_EDGE ('', *, *, #90, .T.);
#110 = CARTESIAN_POINT ('', (8.5, 3.75000000000005, -0.110000000000109));
#120 = VERTEX_POINT ('', #110);
#130 = CARTESIAN_POINT ('', (9.5, 4.75000000000004, -0.110000000000109));
#140 = CARTESIAN_POINT ('', (8.50000000000001, 4.75000000000004, -0.110000000000109));
#150 = CARTESIAN_POINT ('', (8.5, 3.75000000000005, -0.110000000000109));
#160 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#130, #140, #150), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (180., 269.999999999999), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186551, 1.))
   REPRESENTATION_ITEM ('')
);
#170 = EDGE_CURVE ('', #40, #120, #160, .T.);
#180 = ORIENTED_EDGE ('', *, *, #170, .T.);
#190 = CARTESIAN_POINT ('', (17.1847779036474, 3.75000000000004, -20.3812159321678));
#200 = VERTEX_POINT ('', #190);
#210 = CARTESIAN_POINT ('', (8.5, 3.75000000000005, -0.110000000000109));
#220 = CARTESIAN_POINT ('', (8.5, 3.75000000000006, -12.1060135650395));
#230 = CARTESIAN_POINT ('', (17.1847779036474, 3.75000000000007, -20.3812159321678));
#240 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#210, #220, #230), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (4.36190356314997E-14, 46.3833972022567), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.919192406567859, 1.))
   REPRESENTATION_ITEM ('')
);
#250 = EDGE_CURVE ('', #120, #200, #240, .T.);
#260 = ORIENTED_EDGE ('', *, *, #250, .T.);
#270 = CARTESIAN_POINT ('', (17.1847779036474, 3.75000000000004, -20.3812159321678));
#280 = CARTESIAN_POINT ('', (17.2157450463596, 3.86012060519575, -20.4107226594));
#290 = CARTESIAN_POINT ('', (17.2721755421402, 3.96471076802949, -20.4387475090676));
#300 = CARTESIAN_POINT ('', (17.3417932120997, 4.05690249878732, -20.4634502088729));
#310 = CARTESIAN_POINT ('', (17.4331935879406, 4.17794014405179, -20.4958821481753));
#320 = CARTESIAN_POINT ('', (17.5498608162163, 4.2825282642595, -20.5239064505229));
#330 = CARTESIAN_POINT ('', (17.6762466096504, 4.369368177308, -20.547175135095));
#340 = CARTESIAN_POINT ('', (17.8590297124027, 4.49495878617676, -20.5808270373183));
#350 = CARTESIAN_POINT ('', (18.0680878931137, 4.5881753107702, -20.6058043298044));
#360 = CARTESIAN_POINT ('', (18.2828113838779, 4.65084102249477, -20.6225955566541));
#370 = CARTESIAN_POINT ('', (18.5059418364974, 4.71596025360947, -20.640044202043));
#380 = CARTESIAN_POINT ('', (18.7414203425494, 4.75000000000007, -20.6491651245989));
#390 = CARTESIAN_POINT ('', (18.9745129601354, 4.75000000000006, -20.6491651245989));
#400 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#270, #280, #290, #300, #310, #320, #330, #340, #350, #360, #370, #380, #390), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 4), (0., 0.161411078821094, 0.37335033368512, 0.680857363009928, 1.), .UNSPECIFIED.);
#410 = EDGE_CURVE ('', #200, #20, #400, .T.);
#420 = ORIENTED_EDGE ('', *, *, #410, .T.);
#430 = EDGE_LOOP ('', (#100, #180, #260, #420));
#440 = FACE_OUTER_BOUND ('', #430, .T.);
#450 = CARTESIAN_POINT ('', (64.5, 3.75000000000005, -0.110000000000123));
#460 = CARTESIAN_POINT ('', (64.5, 2.75000000000005, -0.110000000000123));
#470 = CARTESIAN_POINT ('', (63.5, 2.75000000000005, -0.110000000000123));
#480 = CARTESIAN_POINT ('', (62.5, 2.75000000000005, -0.110000000000123));
#490 = CARTESIAN_POINT ('', (62.5, 3.75000000000005, -0.110000000000123));
#500 = CARTESIAN_POINT ('', (62.5, 4.75000000000006, -0.110000000000123));
#510 = CARTESIAN_POINT ('', (63.5, 4.75000000000006, -0.110000000000123));
#520 = CARTESIAN_POINT ('', (64.5, 4.75000000000006, -0.110000000000123));
#530 = CARTESIAN_POINT ('', (64.5, 3.75000000000005, -0.110000000000123));
#540 = CARTESIAN_POINT ('', (64.5, 3.75000000000007, -28.1100000000001));
#550 = CARTESIAN_POINT ('', (64.5, 2.75000000000007, -28.1100000000001));
#560 = CARTESIAN_POINT ('', (63.5, 2.75000000000007, -27.1100000000001));
#570 = CARTESIAN_POINT ('', (62.5, 2.75000000000007, -26.1100000000001));
#580 = CARTESIAN_POINT ('', (62.5, 3.75000000000007, -26.1100000000001));
#590 = CARTESIAN_POINT ('', (62.5, 4.75000000000008, -26.1100000000001));
#600 = CARTESIAN_POINT ('', (63.5, 4.75000000000008, -27.1100000000001));
#610 = CARTESIAN_POINT ('', (64.5, 4.75000000000008, -28.1100000000001));
#620 = CARTESIAN_POINT ('', (64.5, 3.75000000000007, -28.1100000000001));
#630 = CARTESIAN_POINT ('', (36.5, 3.75000000000007, -28.1100000000001));
#640 = CARTESIAN_POINT ('', (36.5, 2.75000000000007, -28.1100000000001));
#650 = CARTESIAN_POINT ('', (36.5, 2.75000000000007, -27.1100000000001));
#660 = CARTESIAN_POINT ('', (36.5, 2.75000000000007, -26.1100000000001));
#670 = CARTESIAN_POINT ('', (36.5, 3.75000000000007, -26.1100000000001));
#680 = CARTESIAN_POINT ('', (36.5, 4.75000000000008, -26.1100000000001));
#690 = CARTESIAN_POINT ('', (36.5, 4.75000000000008, -27.1100000000001));
#700 = CARTESIAN_POINT ('', (36.5, 4.75000000000008, -28.1100000000001));
#710 = CARTESIAN_POINT ('', (36.5, 3.75000000000007, -28.1100000000001));
#720 = CARTESIAN_POINT ('', (8.50000000000001, 3.75000000000007, -28.1100000000001));
#730 = CARTESIAN_POINT ('', (8.50000000000001, 2.75000000000007, -28.1100000000001));
#740 = CARTESIAN_POINT ('', (9.50000000000001, 2.75000000000007, -27.1100000000001));
#750 = CARTESIAN_POINT ('', (10.5, 2.75000000000007, -26.1100000000001));
#760 = CARTESIAN_POINT ('', (10.5, 3.75000000000007, -26.1100000000001));
#770 = CARTESIAN_POINT ('', (10.5, 4.75000000000008, -26.1100000000001));
#780 = CARTESIAN_POINT ('', (9.5, 4.75000000000008, -27.1100000000001));
#790 = CARTESIAN_POINT ('', (8.5, 4.75000000000009, -28.1100000000001));
#800 = CARTESIAN_POINT ('', (8.50000000000001, 3.75000000000007, -28.1100000000001));
#810 = CARTESIAN_POINT ('', (8.50000000000001, 3.75000000000005, -0.110000000000105));
#820 = CARTESIAN_POINT ('', (8.50000000000001, 2.75000000000005, -0.110000000000106));
#830 = CARTESIAN_POINT ('', (9.50000000000001, 2.75000000000005, -0.110000000000106));
#840 = CARTESIAN_POINT ('', (10.5, 2.75000000000005, -0.110000000000106));
#850 = CARTESIAN_POINT ('', (10.5, 3.75000000000005, -0.110000000000105));
#860 = CARTESIAN_POINT ('', (10.5, 4.75000000000006, -0.110000000000103));
#870 = CARTESIAN_POINT ('', (9.50000000000001, 4.75000000000006, -0.110000000000103));
#880 = CARTESIAN_POINT ('', (8.50000000000001, 4.75000000000006, -0.110000000000103));
#890 = CARTESIAN_POINT ('', (8.50000000000001, 3.75000000000005, -0.110000000000105));
#900 = CARTESIAN_POINT ('', (8.50000000000002, 3.75000000000003, 27.8899999999999));
#910 = CARTESIAN_POINT ('', (8.50000000000002, 2.75000000000003, 27.8899999999999));
#920 = CARTESIAN_POINT ('', (9.50000000000002, 2.75000000000003, 26.8899999999999));
#930 = CARTESIAN_POINT ('', (10.5, 2.75000000000003, 25.8899999999999));
#940 = CARTESIAN_POINT ('', (10.5, 3.75000000000003, 25.8899999999999));
#950 = CARTESIAN_POINT ('', (10.5, 4.75000000000004, 25.8899999999999));
#960 = CARTESIAN_POINT ('', (9.50000000000002, 4.75000000000004, 26.8899999999999));
#970 = CARTESIAN_POINT ('', (8.50000000000002, 4.75000000000004, 27.8899999999999));
#980 = CARTESIAN_POINT ('', (8.50000000000002, 3.75000000000003, 27.8899999999999));
#990 = CARTESIAN_POINT ('', (36.5, 3.75000000000003, 27.8899999999999));
#1000 = CARTESIAN_POINT ('', (36.5, 2.75000000000003, 27.8899999999999));
#1010 = CARTESIAN_POINT ('', (36.5, 2.75000000000003, 26.8899999999999));
#1020 = CARTESIAN_POINT ('', (36.5, 2.75000000000003, 25.8899999999999));
#1030 = CARTESIAN_POINT ('', (36.5, 3.75000000000003, 25.8899999999999));
#1040 = CARTESIAN_POINT ('', (36.5, 4.75000000000004, 25.8899999999999));
#1050 = CARTESIAN_POINT ('', (36.5, 4.75000000000004, 26.8899999999999));
#1060 = CARTESIAN_POINT ('', (36.5, 4.75000000000004, 27.8899999999999));
#1070 = CARTESIAN_POINT ('', (36.5, 3.75000000000003, 27.8899999999999));
#1080 = CARTESIAN_POINT ('', (64.5, 3.75000000000003, 27.8899999999999));
#1090 = CARTESIAN_POINT ('', (64.5, 2.75000000000003, 27.8899999999999));
#1100 = CARTESIAN_POINT ('', (63.5, 2.75000000000003, 26.8899999999999));
#1110 = CARTESIAN_POINT ('', (62.5, 2.75000000000003, 25.8899999999999));
#1120 = CARTESIAN_POINT ('', (62.5, 3.75000000000003, 25.8899999999999));
#1130 = CARTESIAN_POINT ('', (62.5, 4.75000000000004, 25.8899999999999));
#1140 = CARTESIAN_POINT ('', (63.5, 4.75000000000004, 26.8899999999999));
#1150 = CARTESIAN_POINT ('', (64.5, 4.75000000000004, 27.8899999999999));
#1160 = CARTESIAN_POINT ('', (64.5, 3.75000000000003, 27.8899999999999));
#1170 = CARTESIAN_POINT ('', (64.5, 3.75000000000005, -0.110000000000123));
#1180 = CARTESIAN_POINT ('', (64.5, 2.75000000000005, -0.110000000000123));
#1190 = CARTESIAN_POINT ('', (63.5, 2.75000000000005, -0.110000000000123));
#1200 = CARTESIAN_POINT ('', (62.5, 2.75000000000005, -0.110000000000123));
#1210 = CARTESIAN_POINT ('', (62.5, 3.75000000000005, -0.110000000000123));
#1220 = CARTESIAN_POINT ('', (62.5, 4.75000000000006, -0.110000000000123));
#1230 = CARTESIAN_POINT ('', (63.5, 4.75000000000006, -0.110000000000123));
#1240 = CARTESIAN_POINT ('', (64.5, 4.75000000000006, -0.110000000000123));
#1250 = CARTESIAN_POINT ('', (64.5, 3.75000000000005, -0.110000000000123));
#1260 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 2, ((#450, #460, #470, #480, #490, #500, #510, #520, #530), (#540, #550, #560, #570, #580, #590, #600, #610, #620), (#630, #640, #650, #660, #670, #680, #690, #700, #710), (#720, #730, #740, #750, #760, #770, #780, #790, #800), (#810, #820, #830, #840, #850, #860, #870, #880, #890), (#900, #910, #920, #930, #940, #950, #960, #970, #980), (#990, #1000, #1010, #1020, #1030, #1040, #1050, #1060, #1070), (#1080, #1090, #1100, #1110, #1120, #1130, #1140, #1150, #1160), (#1170, #1180, #1190, #1200, #1210, #1220, #1230, #1240, #1250)), .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 ('')
);
#1270 = ADVANCED_FACE ('', (#440), #1260, .T.);
#1280 = ORIENTED_EDGE ('', *, *, #250, .F.);
#1290 = CARTESIAN_POINT ('', (8.4999999999999, 4.79616346638068E-14, -0.110000000000109));
#1300 = VERTEX_POINT ('', #1290);
#1310 = CARTESIAN_POINT ('', (8.5, 3.75000000000005, -0.110000000000109));
#1320 = CARTESIAN_POINT ('', (8.4999999999999, 4.79616346638068E-14, -0.110000000000109));
#1330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1310, #1320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1340 = EDGE_CURVE ('', #120, #1300, #1330, .T.);
#1350 = ORIENTED_EDGE ('', *, *, #1340, .T.);
#1360 = CARTESIAN_POINT ('', (16.1823824699638, 3.10862446895044E-14, -19.3764064605511));
#1370 = VERTEX_POINT ('', #1360);
#1380 = CARTESIAN_POINT ('', (16.1823824699637, 6.66133814775094E-14, -19.3764064605512));
#1390 = CARTESIAN_POINT ('', (8.4999999999999, 6.03961325396085E-14, -11.2748588749246));
#1400 = CARTESIAN_POINT ('', (8.4999999999999, 4.9737991503207E-14, -0.110000000000109));
#1410 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1380, #1390, #1400), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (316.521214839205, 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.928878139882001, 1.))
   REPRESENTATION_ITEM ('')
);
#1420 = EDGE_CURVE ('', #1370, #1300, #1410, .T.);
#1430 = ORIENTED_EDGE ('', *, *, #1420, .F.);
#1440 = CARTESIAN_POINT ('', (16.1823824699638, 3.10862446895044E-14, -19.3764064605511));
#1450 = CARTESIAN_POINT ('', (16.5079877764326, 1.28147779117309, -19.7197773998144));
#1460 = CARTESIAN_POINT ('', (16.8421911587032, 2.53174554120551, -20.0547856337583));
#1470 = CARTESIAN_POINT ('', (17.1847779036474, 3.75000000000002, -20.3812159321678));
#1480 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#1440, #1450, #1460, #1470), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.999785845845875, 0.999785845845875, 1.))
   REPRESENTATION_ITEM ('')
);
#1490 = EDGE_CURVE ('', #1370, #200, #1480, .T.);
#1500 = ORIENTED_EDGE ('', *, *, #1490, .T.);
#1510 = EDGE_LOOP ('', (#1280, #1350, #1430, #1500));
#1520 = FACE_OUTER_BOUND ('', #1510, .T.);
#1530 = CARTESIAN_POINT ('', (64.5, 4.12620000000007, -0.110000000000115));
#1540 = CARTESIAN_POINT ('', (64.5, -0.376199999999971, -0.110000000000137));
#1550 = CARTESIAN_POINT ('', (64.5, 4.12620000000021, -28.1100000000001));
#1560 = CARTESIAN_POINT ('', (64.5, -0.376199999999833, -28.1100000000001));
#1570 = CARTESIAN_POINT ('', (36.5, 4.12620000000021, -28.1100000000001));
#1580 = CARTESIAN_POINT ('', (36.5, -0.376199999999836, -28.1100000000001));
#1590 = CARTESIAN_POINT ('', (8.5, 4.1262000000002, -28.1100000000001));
#1600 = CARTESIAN_POINT ('', (8.5, -0.37619999999984, -28.1100000000001));
#1610 = CARTESIAN_POINT ('', (8.5, 4.12620000000006, -0.110000000000115));
#1620 = CARTESIAN_POINT ('', (8.5, -0.376199999999978, -0.110000000000137));
#1630 = CARTESIAN_POINT ('', (8.5, 4.12619999999993, 27.8899999999999));
#1640 = CARTESIAN_POINT ('', (8.5, -0.376200000000116, 27.8899999999999));
#1650 = CARTESIAN_POINT ('', (36.5, 4.12619999999993, 27.8899999999999));
#1660 = CARTESIAN_POINT ('', (36.5, -0.376200000000112, 27.8899999999999));
#1670 = CARTESIAN_POINT ('', (64.5, 4.12619999999993, 27.8899999999999));
#1680 = CARTESIAN_POINT ('', (64.5, -0.376200000000109, 27.8899999999999));
#1690 = CARTESIAN_POINT ('', (64.5, 4.12620000000007, -0.110000000000115));
#1700 = CARTESIAN_POINT ('', (64.5, -0.376199999999971, -0.110000000000137));
#1710 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#1530, #1540), (#1550, #1560), (#1570, #1580), (#1590, #1600), (#1610, #1620), (#1630, #1640), (#1650, #1660), (#1670, #1680), (#1690, #1700)), .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 ('')
);
#1720 = ADVANCED_FACE ('', (#1520), #1710, .T.);
#1730 = CARTESIAN_POINT ('', (17.501, 5.50000000000004, -0.110000000000109));
#1740 = VERTEX_POINT ('', #1730);
#1750 = CARTESIAN_POINT ('', (17.501, 4.75000000000004, -0.110000000000109));
#1760 = VERTEX_POINT ('', #1750);
#1770 = CARTESIAN_POINT ('', (17.501, 5.50000000000004, -0.110000000000109));
#1780 = CARTESIAN_POINT ('', (17.501, 4.75000000000004, -0.110000000000109));
#1790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1770, #1780), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1800 = EDGE_CURVE ('', #1740, #1760, #1790, .T.);
#1810 = ORIENTED_EDGE ('', *, *, #1800, .T.);
#1820 = CARTESIAN_POINT ('', (31.5637563399199, 4.75000000000003, -18.4573056616224));
#1830 = VERTEX_POINT ('', #1820);
#1840 = CARTESIAN_POINT ('', (17.501, 4.75000000000005, -0.110000000000109));
#1850 = CARTESIAN_POINT ('', (17.501, 4.75000000000006, -14.6730304190863));
#1860 = CARTESIAN_POINT ('', (31.5637563399199, 4.75000000000007, -18.4573056616224));
#1870 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1840, #1850, #1860), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (4.28537893923505E-14, 74.9385456496402), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.793679699084555, 1.))
   REPRESENTATION_ITEM ('')
);
#1880 = EDGE_CURVE ('', #1760, #1830, #1870, .T.);
#1890 = ORIENTED_EDGE ('', *, *, #1880, .T.);
#1900 = CARTESIAN_POINT ('', (31.5637563399199, 5.50000000000005, -18.4573056616224));
#1910 = VERTEX_POINT ('', #1900);
#1920 = CARTESIAN_POINT ('', (31.5637563399199, 5.50000000000005, -18.4573056616224));
#1930 = CARTESIAN_POINT ('', (31.5637563399199, 4.75000000000003, -18.4573056616224));
#1940 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1920, #1930), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1950 = EDGE_CURVE ('', #1910, #1830, #1940, .T.);
#1960 = ORIENTED_EDGE ('', *, *, #1950, .F.);
#1970 = CARTESIAN_POINT ('', (17.501, 5.50000000000005, -0.110000000000109));
#1980 = CARTESIAN_POINT ('', (17.501, 5.50000000000006, -14.6730304190863));
#1990 = CARTESIAN_POINT ('', (31.5637563399199, 5.50000000000007, -18.4573056616224));
#2000 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1970, #1980, #1990), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (4.28537893923505E-14, 74.9385456496402), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.793679699084555, 1.))
   REPRESENTATION_ITEM ('')
);
#2010 = EDGE_CURVE ('', #1740, #1910, #2000, .T.);
#2020 = ORIENTED_EDGE ('', *, *, #2010, .F.);
#2030 = EDGE_LOOP ('', (#1810, #1890, #1960, #2020));
#2040 = FACE_OUTER_BOUND ('', #2030, .T.);
#2050 = CARTESIAN_POINT ('', (55.5009999999999, 5.57620000000007, -0.110000000000109));
#2060 = CARTESIAN_POINT ('', (55.5009999999999, 4.67380000000001, -0.110000000000109));
#2070 = CARTESIAN_POINT ('', (55.5009999999999, 5.57620000000007, -19.1100000000001));
#2080 = CARTESIAN_POINT ('', (55.5009999999999, 4.67380000000001, -19.1100000000001));
#2090 = CARTESIAN_POINT ('', (36.5009999999999, 5.57620000000007, -19.1100000000001));
#2100 = CARTESIAN_POINT ('', (36.5009999999999, 4.67380000000001, -19.1100000000001));
#2110 = CARTESIAN_POINT ('', (17.5009999999999, 5.57620000000007, -19.1100000000001));
#2120 = CARTESIAN_POINT ('', (17.5009999999999, 4.67380000000001, -19.1100000000001));
#2130 = CARTESIAN_POINT ('', (17.5009999999999, 5.57620000000007, -0.110000000000112));
#2140 = CARTESIAN_POINT ('', (17.5009999999999, 4.67380000000001, -0.110000000000112));
#2150 = CARTESIAN_POINT ('', (17.5009999999999, 5.57620000000007, 18.8899999999999));
#2160 = CARTESIAN_POINT ('', (17.5009999999999, 4.67380000000001, 18.8899999999999));
#2170 = CARTESIAN_POINT ('', (36.5009999999999, 5.57620000000007, 18.8899999999999));
#2180 = CARTESIAN_POINT ('', (36.5009999999999, 4.67380000000001, 18.8899999999999));
#2190 = CARTESIAN_POINT ('', (55.5009999999999, 5.57620000000007, 18.8899999999999));
#2200 = CARTESIAN_POINT ('', (55.5009999999999, 4.67380000000001, 18.8899999999999));
#2210 = CARTESIAN_POINT ('', (55.5009999999999, 5.57620000000007, -0.110000000000109));
#2220 = CARTESIAN_POINT ('', (55.5009999999999, 4.67380000000001, -0.110000000000109));
#2230 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#2050, #2060), (#2070, #2080), (#2090, #2100), (#2110, #2120), (#2130, #2140), (#2150, #2160), (#2170, #2180), (#2190, #2200), (#2210, #2220)), .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 ('')
);
#2240 = ADVANCED_FACE ('', (#2040), #2230, .T.);
#2250 = CARTESIAN_POINT ('', (17.501, 4.75000000000005, 4.3799999999999));
#2260 = VERTEX_POINT ('', #2250);
#2270 = CARTESIAN_POINT ('', (17.501, 4.75000000000005, 4.3799999999999));
#2280 = CARTESIAN_POINT ('', (17.501, 4.75000000000004, -0.110000000000109));
#2290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2270, #2280), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2300 = EDGE_CURVE ('', #2260, #1760, #2290, .T.);
#2310 = ORIENTED_EDGE ('', *, *, #2300, .T.);
#2320 = ORIENTED_EDGE ('', *, *, #1800, .F.);
#2330 = CARTESIAN_POINT ('', (17.501, 5.50000000000004, 4.3799999999999));
#2340 = VERTEX_POINT ('', #2330);
#2350 = CARTESIAN_POINT ('', (17.501, 5.50000000000004, 4.3799999999999));
#2360 = CARTESIAN_POINT ('', (17.501, 5.50000000000004, -0.110000000000109));
#2370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2350, #2360), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2380 = EDGE_CURVE ('', #2340, #1740, #2370, .T.);
#2390 = ORIENTED_EDGE ('', *, *, #2380, .F.);
#2400 = CARTESIAN_POINT ('', (17.501, 5.50000000000004, 4.3799999999999));
#2410 = CARTESIAN_POINT ('', (17.501, 4.75000000000005, 4.3799999999999));
#2420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2400, #2410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2430 = EDGE_CURVE ('', #2340, #2260, #2420, .T.);
#2440 = ORIENTED_EDGE ('', *, *, #2430, .T.);
#2450 = EDGE_LOOP ('', (#2310, #2320, #2390, #2440));
#2460 = FACE_OUTER_BOUND ('', #2450, .T.);
#2470 = CARTESIAN_POINT ('', (17.501, 5.50100000000004, -0.111000000000113));
#2480 = CARTESIAN_POINT ('', (17.501, 4.74900000000003, -0.111000000000113));
#2490 = CARTESIAN_POINT ('', (17.501, 5.50100000000004, 4.38099999999988));
#2500 = CARTESIAN_POINT ('', (17.501, 4.74900000000003, 4.38099999999988));
#2510 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2470, #2480), (#2490, #2500)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.000999999999883983, 4.49100000000011), (20.0350999419524, 20.7870999419524), .UNSPECIFIED.);
#2520 = ADVANCED_FACE ('', (#2460), #2510, .T.);
#2530 = CARTESIAN_POINT ('', (19.1331036163844, 4.75000000000003, -20.649165124599));
#2540 = VERTEX_POINT ('', #2530);
#2550 = CARTESIAN_POINT ('', (31.5637563399199, 4.75000000000003, -18.4573056616224));
#2560 = CARTESIAN_POINT ('', (19.1331036163844, 4.75000000000003, -20.649165124599));
#2570 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2550, #2560), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2580 = EDGE_CURVE ('', #1830, #2540, #2570, .T.);
#2590 = ORIENTED_EDGE ('', *, *, #2580, .T.);
#2600 = CARTESIAN_POINT ('', (16.4737766950567, 6.50000000000003, -21.1180762113534));
#2610 = VERTEX_POINT ('', #2600);
#2620 = CARTESIAN_POINT ('', (19.1331036163844, 4.75000000000003, -20.649165124599));
#2630 = CARTESIAN_POINT ('', (16.4737766950567, 6.50000000000003, -21.1180762113534));
#2640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2620, #2630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2650 = EDGE_CURVE ('', #2540, #2610, #2640, .T.);
#2660 = ORIENTED_EDGE ('', *, *, #2650, .T.);
#2670 = CARTESIAN_POINT ('', (24.9806994244829, 8.00000000000003, -19.6180762113534));
#2680 = VERTEX_POINT ('', #2670);
#2690 = CARTESIAN_POINT ('', (16.4737766950567, 6.50000000000003, -21.1180762113534));
#2700 = CARTESIAN_POINT ('', (24.9806994244829, 8.00000000000003, -19.6180762113534));
#2710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2690, #2700), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2720 = EDGE_CURVE ('', #2610, #2680, #2710, .T.);
#2730 = ORIENTED_EDGE ('', *, *, #2720, .T.);
#2740 = CARTESIAN_POINT ('', (33.5209445330008, 8.00000000000003, -18.1122005768582));
#2750 = VERTEX_POINT ('', #2740);
#2760 = CARTESIAN_POINT ('', (33.5209445330008, 8.00000000000003, -18.1122005768582));
#2770 = CARTESIAN_POINT ('', (24.9806994244829, 8.00000000000003, -19.6180762113534));
#2780 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2760, #2770), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2790 = EDGE_CURVE ('', #2750, #2680, #2780, .T.);
#2800 = ORIENTED_EDGE ('', *, *, #2790, .F.);
#2810 = CARTESIAN_POINT ('', (33.5209445330009, 6.46896693634617, -18.1122005768582));
#2820 = VERTEX_POINT ('', #2810);
#2830 = CARTESIAN_POINT ('', (33.5209445330009, 6.46896693634617, -18.1122005768582));
#2840 = CARTESIAN_POINT ('', (33.5209445330008, 8.00000000000003, -18.1122005768582));
#2850 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2830, #2840), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2860 = EDGE_CURVE ('', #2820, #2750, #2850, .T.);
#2870 = ORIENTED_EDGE ('', *, *, #2860, .F.);
#2880 = CARTESIAN_POINT ('', (33.5209445330009, 6.46896693634617, -18.1122005768582));
#2890 = CARTESIAN_POINT ('', (33.1692095214271, 6.43870317552743, -18.1742209494584));
#2900 = CARTESIAN_POINT ('', (32.8159088615644, 6.38519172409478, -18.2365173880944));
#2910 = CARTESIAN_POINT ('', (32.4784117877366, 6.28014771283761, -18.2960272281203));
#2920 = CARTESIAN_POINT ('', (32.3568018515864, 6.24229732392292, -18.3174703409859));
#2930 = CARTESIAN_POINT ('', (32.2368288402696, 6.19730012135163, -18.3386248198379));
#2940 = CARTESIAN_POINT ('', (32.1219990493155, 6.14175203591272, -18.3588724101722));
#2950 = CARTESIAN_POINT ('', (31.974617485956, 6.0704572647075, -18.3848597562515));
#2960 = CARTESIAN_POINT ('', (31.8301117634491, 5.98034730033799, -18.4103400139962));
#2970 = CARTESIAN_POINT ('', (31.7194942667435, 5.85843363393549, -18.4298448632038));
#2980 = CARTESIAN_POINT ('', (31.6788771370521, 5.81366871566406, -18.4370067590473));
#2990 = CARTESIAN_POINT ('', (31.6426451908063, 5.76373337406429, -18.4433954287341));
#3000 = CARTESIAN_POINT ('', (31.6154760165109, 5.70947632434912, -18.4481860872059));
#3010 = CARTESIAN_POINT ('', (31.5880416865756, 5.654689756785, -18.4530234997712));
#3020 = CARTESIAN_POINT ('', (31.5695884848236, 5.59364740904727, -18.4562772971205));
#3030 = CARTESIAN_POINT ('', (31.5649743213898, 5.53236398100042, -18.4570908986273));
#3040 = CARTESIAN_POINT ('', (31.5641638421099, 5.52159952730394, -18.4572338079916));
#3050 = CARTESIAN_POINT ('', (31.5637563399199, 5.51079586787313, -18.4573056616224));
#3060 = CARTESIAN_POINT ('', (31.5637563399199, 5.50000000000005, -18.4573056616224));
#3070 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#2880, #2890, #2900, #2910, #2920, #2930, #2940, #2950, #2960, #2970, #2980, #2990, #3000, #3010, #3020, #3030, #3040, #3050, #3060), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 4), (0., 0.456346299302795, 0.619956572940562, 0.83204817752322, 0.908668921704091, 0.986591244774722, 1.), .UNSPECIFIED.);
#3080 = EDGE_CURVE ('', #2820, #1910, #3070, .T.);
#3090 = ORIENTED_EDGE ('', *, *, #3080, .T.);
#3100 = ORIENTED_EDGE ('', *, *, #1950, .T.);
#3110 = EDGE_LOOP ('', (#2590, #2660, #2730, #2800, #2870, #3090, #3100));
#3120 = FACE_OUTER_BOUND ('', #3110, .T.);
#3130 = CARTESIAN_POINT ('', (16.4726358386746, 8.00100000000003, -21.1182773751147));
#3140 = CARTESIAN_POINT ('', (16.4726358386746, 4.74900000000003, -21.1182773751147));
#3150 = CARTESIAN_POINT ('', (33.522085389383, 8.00100000000004, -18.1119994130969));
#3160 = CARTESIAN_POINT ('', (33.522085389383, 4.74900000000004, -18.1119994130969));
#3170 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3130, #3140), (#3150, #3160)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (2.51614043760104, 19.8286052293937), (-12.001, -8.74900000000002), .UNSPECIFIED.);
#3180 = ADVANCED_FACE ('', (#3120), #3170, .T.);
#3190 = CARTESIAN_POINT ('', (-58.5, 7.105427357601E-15, -19.3764064605511));
#3200 = VERTEX_POINT ('', #3190);
#3210 = CARTESIAN_POINT ('', (16.1823824699638, 3.10862446895044E-14, -19.3764064605511));
#3220 = CARTESIAN_POINT ('', (-58.5, 7.105427357601E-15, -19.3764064605511));
#3230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3210, #3220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3240 = EDGE_CURVE ('', #1370, #3200, #3230, .T.);
#3250 = ORIENTED_EDGE ('', *, *, #3240, .F.);
#3260 = ORIENTED_EDGE ('', *, *, #1420, .T.);
#3270 = CARTESIAN_POINT ('', (8.86234633692639, 2.57571741713036E-14, 4.3799999999999));
#3280 = VERTEX_POINT ('', #3270);
#3290 = CARTESIAN_POINT ('', (8.4999999999999, 4.9737991503207E-14, -0.11000000000008));
#3300 = CARTESIAN_POINT ('', (8.4999999999999, 4.79616346638068E-14, 2.14962080934113));
#3310 = CARTESIAN_POINT ('', (8.86234633692641, 4.35207425653061E-14, 4.37999999999993));
#3320 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3290, #3300, #3310), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 9.22762667031298), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.996759514475654, 1.))
   REPRESENTATION_ITEM ('')
);
#3330 = EDGE_CURVE ('', #1300, #3280, #3320, .T.);
#3340 = ORIENTED_EDGE ('', *, *, #3330, .T.);
#3350 = CARTESIAN_POINT ('', (0., 2.30926389122033E-14, 4.3799999999999));
#3360 = VERTEX_POINT ('', #3350);
#3370 = CARTESIAN_POINT ('', (0., 2.30926389122033E-14, 4.3799999999999));
#3380 = CARTESIAN_POINT ('', (8.86234633692639, 2.57571741713036E-14, 4.3799999999999));
#3390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3370, #3380), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3400 = EDGE_CURVE ('', #3360, #3280, #3390, .T.);
#3410 = ORIENTED_EDGE ('', *, *, #3400, .F.);
#3420 = CARTESIAN_POINT ('', (0., 2.57571741713036E-14, 2.12935122446909));
#3430 = VERTEX_POINT ('', #3420);
#3440 = CARTESIAN_POINT ('', (0., 2.30926389122033E-14, 4.3799999999999));
#3450 = CARTESIAN_POINT ('', (0., 2.57571741713036E-14, 2.12935122446909));
#3460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3440, #3450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3470 = EDGE_CURVE ('', #3360, #3430, #3460, .T.);
#3480 = ORIENTED_EDGE ('', *, *, #3470, .T.);
#3490 = CARTESIAN_POINT ('', (-8., 2.30926389122033E-14, 2.12935122446909));
#3500 = VERTEX_POINT ('', #3490);
#3510 = CARTESIAN_POINT ('', (-8., 2.30926389122033E-14, 2.12935122446909));
#3520 = CARTESIAN_POINT ('', (0., 2.57571741713036E-14, 2.12935122446909));
#3530 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3510, #3520), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3540 = EDGE_CURVE ('', #3500, #3430, #3530, .T.);
#3550 = ORIENTED_EDGE ('', *, *, #3540, .F.);
#3560 = CARTESIAN_POINT ('', (-8., 2.66453525910038E-15, 2.33640646055109));
#3570 = VERTEX_POINT ('', #3560);
#3580 = CARTESIAN_POINT ('', (-8., 2.30926389122033E-14, 2.12935122446909));
#3590 = CARTESIAN_POINT ('', (-8., 2.66453525910038E-15, 2.33640646055109));
#3600 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3580, #3590), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3610 = EDGE_CURVE ('', #3500, #3570, #3600, .T.);
#3620 = ORIENTED_EDGE ('', *, *, #3610, .T.);
#3630 = CARTESIAN_POINT ('', (-58.5000000000001, 1.50990331349021E-14, 2.33640646055101));
#3640 = VERTEX_POINT ('', #3630);
#3650 = CARTESIAN_POINT ('', (-8., 2.66453525910038E-15, 2.33640646055109));
#3660 = CARTESIAN_POINT ('', (-58.5000000000001, 1.50990331349021E-14, 2.33640646055101));
#3670 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3650, #3660), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3680 = EDGE_CURVE ('', #3570, #3640, #3670, .T.);
#3690 = ORIENTED_EDGE ('', *, *, #3680, .T.);
#3700 = CARTESIAN_POINT ('', (-58.5, 7.105427357601E-15, -19.3764064605511));
#3710 = CARTESIAN_POINT ('', (-58.5000000000001, 1.50990331349021E-14, 2.33640646055101));
#3720 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3700, #3710), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3730 = EDGE_CURVE ('', #3200, #3640, #3720, .T.);
#3740 = ORIENTED_EDGE ('', *, *, #3730, .F.);
#3750 = EDGE_LOOP ('', (#3250, #3260, #3340, #3410, #3480, #3550, #3620, #3690, #3740));
#3760 = FACE_OUTER_BOUND ('', #3750, .T.);
#3770 = CARTESIAN_POINT ('', (-58.5010000000001, -7.105427357601E-15, -19.3774064605512));
#3780 = CARTESIAN_POINT ('', (-58.5010000000001, -3.19744231092045E-14, 4.38099999999998));
#3790 = CARTESIAN_POINT ('', (16.1833824699638, 7.105427357601E-15, -19.3774064605513));
#3800 = CARTESIAN_POINT ('', (16.1833824699638, -1.77635683940025E-14, 4.38099999999988));
#3810 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3770, #3780), (#3790, #3800)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (19.8166175300362, 94.5010000000001), (13.1425935394488, 36.901), .UNSPECIFIED.);
#3820 = ADVANCED_FACE ('', (#3760), #3810, .T.);
#3830 = CARTESIAN_POINT ('', (-8., 6.50000000000001, 4.07807621135341));
#3840 = VERTEX_POINT ('', #3830);
#3850 = CARTESIAN_POINT ('', (-8., 6.66329931618551, 3.91477689516781));
#3860 = VERTEX_POINT ('', #3850);
#3870 = CARTESIAN_POINT ('', (-8., 6.50000000000001, 4.07807621135341));
#3880 = CARTESIAN_POINT ('', (-8., 6.66329931618551, 3.91477689516781));
#3890 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3870, #3880), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3900 = EDGE_CURVE ('', #3840, #3860, #3890, .T.);
#3910 = ORIENTED_EDGE ('', *, *, #3900, .T.);
#3920 = CARTESIAN_POINT ('', (0., 6.66329931618551, 3.91477689516781));
#3930 = VERTEX_POINT ('', #3920);
#3940 = CARTESIAN_POINT ('', (0., 6.66329931618551, 3.91477689516781));
#3950 = CARTESIAN_POINT ('', (-8., 6.66329931618551, 3.91477689516781));
#3960 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3940, #3950), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3970 = EDGE_CURVE ('', #3930, #3860, #3960, .T.);
#3980 = ORIENTED_EDGE ('', *, *, #3970, .F.);
#3990 = CARTESIAN_POINT ('', (0., 8.00000000000004, 2.5780762113533));
#4000 = VERTEX_POINT ('', #3990);
#4010 = CARTESIAN_POINT ('', (0., 6.66329931618551, 3.91477689516781));
#4020 = CARTESIAN_POINT ('', (0., 8.00000000000004, 2.5780762113533));
#4030 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4010, #4020), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4040 = EDGE_CURVE ('', #3930, #4000, #4030, .T.);
#4050 = ORIENTED_EDGE ('', *, *, #4040, .T.);
#4060 = CARTESIAN_POINT ('', (-58.5000000000001, 8.00000000000002, 2.5780762113533));
#4070 = VERTEX_POINT ('', #4060);
#4080 = CARTESIAN_POINT ('', (0., 8.00000000000004, 2.5780762113533));
#4090 = CARTESIAN_POINT ('', (-58.5000000000001, 8.00000000000002, 2.5780762113533));
#4100 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4080, #4090), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4110 = EDGE_CURVE ('', #4000, #4070, #4100, .T.);
#4120 = ORIENTED_EDGE ('', *, *, #4110, .T.);
#4130 = CARTESIAN_POINT ('', (-58.5, 6.50000000000003, 4.0780762113533));
#4140 = VERTEX_POINT ('', #4130);
#4150 = CARTESIAN_POINT ('', (-58.5, 6.50000000000003, 4.0780762113533));
#4160 = CARTESIAN_POINT ('', (-58.5000000000001, 8.00000000000002, 2.5780762113533));
#4170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4150, #4160), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4180 = EDGE_CURVE ('', #4140, #4070, #4170, .T.);
#4190 = ORIENTED_EDGE ('', *, *, #4180, .F.);
#4200 = CARTESIAN_POINT ('', (-8., 6.50000000000001, 4.07807621135341));
#4210 = CARTESIAN_POINT ('', (-58.5, 6.50000000000003, 4.0780762113533));
#4220 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4200, #4210), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4230 = EDGE_CURVE ('', #3840, #4140, #4220, .T.);
#4240 = ORIENTED_EDGE ('', *, *, #4230, .F.);
#4250 = EDGE_LOOP ('', (#3910, #3980, #4050, #4120, #4190, #4240));
#4260 = FACE_OUTER_BOUND ('', #4250, .T.);
#4270 = CARTESIAN_POINT ('', (-58.5010000000001, 8.00099999999998, 2.57707621135321));
#4280 = CARTESIAN_POINT ('', (0.000999999999990786, 8.00099999999999, 2.57707621135325));
#4290 = CARTESIAN_POINT ('', (-58.5010000000001, 6.49899999999989, 4.07907621135329));
#4300 = CARTESIAN_POINT ('', (0.000999999999990786, 6.4989999999999, 4.07907621135333));
#4310 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4270, #4280), (#4290, #4300)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.12273455712221, 0.00141421356230254), (-58.0010000000001, 0.500999999999998), .UNSPECIFIED.);
#4320 = ADVANCED_FACE ('', (#4260), #4310, .T.);
#4330 = CARTESIAN_POINT ('', (-8., 6.50000000000001, 4.07807621135341));
#4340 = CARTESIAN_POINT ('', (-8., 2.66453525910038E-15, 2.33640646055109));
#4350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4330, #4340), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4360 = EDGE_CURVE ('', #3840, #3570, #4350, .T.);
#4370 = ORIENTED_EDGE ('', *, *, #4360, .F.);
#4380 = ORIENTED_EDGE ('', *, *, #4230, .T.);
#4390 = CARTESIAN_POINT ('', (-58.5000000000001, 1.50990331349021E-14, 2.33640646055101));
#4400 = CARTESIAN_POINT ('', (-58.5, 6.50000000000003, 4.0780762113533));
#4410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4390, #4400), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4420 = EDGE_CURVE ('', #3640, #4140, #4410, .T.);
#4430 = ORIENTED_EDGE ('', *, *, #4420, .F.);
#4440 = ORIENTED_EDGE ('', *, *, #3680, .F.);
#4450 = EDGE_LOOP ('', (#4370, #4380, #4430, #4440));
#4460 = FACE_OUTER_BOUND ('', #4450, .T.);
#4470 = CARTESIAN_POINT ('', (-58.5010000000001, 6.50118301270199, 4.07839319865127));
#4480 = CARTESIAN_POINT ('', (-7.99900000000001, 6.50118301270199, 4.0783931986513));
#4490 = CARTESIAN_POINT ('', (-58.5010000000001, -0.00118301270187887, 2.33608947325279));
#4500 = CARTESIAN_POINT ('', (-7.99900000000001, -0.00118301270187887, 2.33608947325282));
#4510 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4470, #4480), (#4490, #4500)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-6.73051991753694, 0.00122474487145041), (-58.0010000000001, -7.499), .UNSPECIFIED.);
#4520 = ADVANCED_FACE ('', (#4460), #4510, .T.);
#4530 = CARTESIAN_POINT ('', (9.8759525992008, 4.75000000000004, 4.3799999999999));
#4540 = VERTEX_POINT ('', #4530);
#4550 = CARTESIAN_POINT ('', (9.8759525992008, 4.75000000000004, 4.3799999999999));
#4560 = CARTESIAN_POINT ('', (17.501, 4.75000000000005, 4.3799999999999));
#4570 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4550, #4560), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4580 = EDGE_CURVE ('', #4540, #2260, #4570, .T.);
#4590 = ORIENTED_EDGE ('', *, *, #4580, .T.);
#4600 = ORIENTED_EDGE ('', *, *, #2430, .F.);
#4610 = CARTESIAN_POINT ('', (18.501, 6.50000000000005, 4.3799999999999));
#4620 = VERTEX_POINT ('', #4610);
#4630 = CARTESIAN_POINT ('', (18.501, 6.50000000000004, 4.3799999999999));
#4640 = CARTESIAN_POINT ('', (17.501, 6.50000000000004, 4.3799999999999));
#4650 = CARTESIAN_POINT ('', (17.501, 5.50000000000004, 4.3799999999999));
#4660 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4630, #4640, #4650), .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 ('')
);
#4670 = EDGE_CURVE ('', #4620, #2340, #4660, .T.);
#4680 = ORIENTED_EDGE ('', *, *, #4670, .F.);
#4690 = CARTESIAN_POINT ('', (23.6222841136183, 6.50000000000005, 4.3799999999999));
#4700 = VERTEX_POINT ('', #4690);
#4710 = CARTESIAN_POINT ('', (18.501, 6.50000000000005, 4.3799999999999));
#4720 = CARTESIAN_POINT ('', (23.6222841136183, 6.50000000000005, 4.3799999999999));
#4730 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4710, #4720), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4740 = EDGE_CURVE ('', #4620, #4700, #4730, .T.);
#4750 = ORIENTED_EDGE ('', *, *, #4740, .T.);
#4760 = CARTESIAN_POINT ('', (23.6222841136182, 8.00000000000004, 4.3799999999999));
#4770 = VERTEX_POINT ('', #4760);
#4780 = CARTESIAN_POINT ('', (23.6222841136183, 6.50000000000005, 4.3799999999999));
#4790 = CARTESIAN_POINT ('', (23.6222841136182, 8.00000000000004, 4.3799999999999));
#4800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4780, #4790), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4810 = EDGE_CURVE ('', #4700, #4770, #4800, .T.);
#4820 = ORIENTED_EDGE ('', *, *, #4810, .T.);
#4830 = CARTESIAN_POINT ('', (0., 8.00000000000004, 4.3799999999999));
#4840 = VERTEX_POINT ('', #4830);
#4850 = CARTESIAN_POINT ('', (0., 8.00000000000004, 4.3799999999999));
#4860 = CARTESIAN_POINT ('', (23.6222841136182, 8.00000000000004, 4.3799999999999));
#4870 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4850, #4860), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4880 = EDGE_CURVE ('', #4840, #4770, #4870, .T.);
#4890 = ORIENTED_EDGE ('', *, *, #4880, .F.);
#4900 = CARTESIAN_POINT ('', (0., 8.00000000000004, 4.3799999999999));
#4910 = CARTESIAN_POINT ('', (0., 2.30926389122033E-14, 4.3799999999999));
#4920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4900, #4910), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4930 = EDGE_CURVE ('', #4840, #3360, #4920, .T.);
#4940 = ORIENTED_EDGE ('', *, *, #4930, .T.);
#4950 = ORIENTED_EDGE ('', *, *, #3400, .T.);
#4960 = CARTESIAN_POINT ('', (8.86234633692651, 3.75000000000005, 4.3799999999999));
#4970 = VERTEX_POINT ('', #4960);
#4980 = CARTESIAN_POINT ('', (8.86234633692651, 3.75000000000005, 4.3799999999999));
#4990 = CARTESIAN_POINT ('', (8.86234633692639, 2.57571741713036E-14, 4.3799999999999));
#5000 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4980, #4990), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5010 = EDGE_CURVE ('', #4970, #3280, #5000, .T.);
#5020 = ORIENTED_EDGE ('', *, *, #5010, .F.);
#5030 = CARTESIAN_POINT ('', (9.8759525992008, 4.75000000000004, 4.3799999999999));
#5040 = CARTESIAN_POINT ('', (9.7613165586326, 4.75000000000004, 4.3799999999999));
#5050 = CARTESIAN_POINT ('', (9.6450968934934, 4.73030368973455, 4.3799999999999));
#5060 = CARTESIAN_POINT ('', (9.5368966750388, 4.69243372111115, 4.3799999999999));
#5070 = CARTESIAN_POINT ('', (9.42867037645991, 4.65455462447026, 4.3799999999999));
#5080 = CARTESIAN_POINT ('', (9.3254634708251, 4.59741827543277, 4.3799999999999));
#5090 = CARTESIAN_POINT ('', (9.23605572233841, 4.5256268262418, 4.3799999999999));
#5100 = CARTESIAN_POINT ('', (9.1472659590215, 4.45433159859395, 4.3799999999999));
#5110 = CARTESIAN_POINT ('', (9.06960761820579, 4.36656352123236, 4.3799999999999));
#5120 = CARTESIAN_POINT ('', (9.0098685235325, 4.2696208983937, 4.3799999999999));
#5130 = CARTESIAN_POINT ('', (8.9509056244808, 4.17393786008352, 4.3799999999999));
#5140 = CARTESIAN_POINT ('', (8.9077575512183, 4.06662949670675, 4.3799999999999));
#5150 = CARTESIAN_POINT ('', (8.8842312741473, 3.95672780621917, 4.3799999999999));
#5160 = CARTESIAN_POINT ('', (8.8697262944802, 3.88896860313366, 4.3799999999999));
#5170 = CARTESIAN_POINT ('', (8.86234633692651, 3.81929432904598, 4.3799999999999));
#5180 = CARTESIAN_POINT ('', (8.86234633692651, 3.75000000000005, 4.3799999999999));
#5190 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#5030, #5040, #5050, #5060, #5070, #5080, #5090, #5100, #5110, #5120, #5130, #5140, #5150, #5160, #5170, #5180), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 4), (0., 0.218648939781059, 0.437391643998347, 0.654634825774354, 0.869021036617079, 1.), .UNSPECIFIED.);
#5200 = EDGE_CURVE ('', #4540, #4970, #5190, .T.);
#5210 = ORIENTED_EDGE ('', *, *, #5200, .F.);
#5220 = EDGE_LOOP ('', (#4590, #4600, #4680, #4750, #4820, #4890, #4940, #4950, #5020, #5210));
#5230 = FACE_OUTER_BOUND ('', #5220, .T.);
#5240 = CARTESIAN_POINT ('', (23.6222841136183, 8.00000000000004, 4.37999999999982));
#5250 = CARTESIAN_POINT ('', (23.6222841136183, 2.93098878501041E-14, 4.37999999999982));
#5260 = CARTESIAN_POINT ('', (0., 8.00000000000004, 4.37999999999984));
#5270 = CARTESIAN_POINT ('', (0., 2.93098878501041E-14, 4.37999999999984));
#5280 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5240, #5250), (#5260, #5270)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (58.5000000000001, 82.1222841136184), (-8.00000000000001, 1.15463194561017E-14), .UNSPECIFIED.);
#5290 = ADVANCED_FACE ('', (#5230), #5280, .T.);
#5300 = CARTESIAN_POINT ('', (18.5137098208328, 6.50000000000004, -0.786307630032904));
#5310 = VERTEX_POINT ('', #5300);
#5320 = CARTESIAN_POINT ('', (17.7152615215756, 6.10000000000002, -0.842140574101701));
#5330 = VERTEX_POINT ('', #5320);
#5340 = CARTESIAN_POINT ('', (18.5137098208328, 6.50000000000004, -0.786307630032904));
#5350 = CARTESIAN_POINT ('', (18.4019613764783, 6.50000000000003, -0.794121842486201));
#5360 = CARTESIAN_POINT ('', (18.2886717565164, 6.48066312469886, -0.802043824436491));
#5370 = CARTESIAN_POINT ('', (18.1832216477337, 6.44358646746294, -0.809417614362697));
#5380 = CARTESIAN_POINT ('', (18.0777705757277, 6.40650947155404, -0.81679147164409));
#5390 = CARTESIAN_POINT ('', (17.9772500912695, 6.35066865896562, -0.823820548657305));
#5400 = CARTESIAN_POINT ('', (17.8899925835753, 6.28068363676429, -0.829922187988497));
#5410 = CARTESIAN_POINT ('', (17.8246538532887, 6.2282786046868, -0.8344911170939));
#5420 = CARTESIAN_POINT ('', (17.7654838606737, 6.16709467544778, -0.838628686040191));
#5430 = CARTESIAN_POINT ('', (17.7152615215756, 6.10000000000002, -0.842140574101701));
#5440 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#5340, #5350, #5360, #5370, #5380, #5390, #5400, #5410, #5420, #5430), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (0., 0.364417320090693, 0.728840528169106, 1.), .UNSPECIFIED.);
#5450 = EDGE_CURVE ('', #5310, #5330, #5440, .T.);
#5460 = ORIENTED_EDGE ('', *, *, #5450, .T.);
#5470 = CARTESIAN_POINT ('', (11.6800502367743, 6.10000000000004, -1.2641636586533));
#5480 = VERTEX_POINT ('', #5470);
#5490 = CARTESIAN_POINT ('', (17.7152615215756, 6.10000000000002, -0.842140574101701));
#5500 = CARTESIAN_POINT ('', (11.6800502367743, 6.10000000000004, -1.2641636586533));
#5510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5490, #5500), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5520 = EDGE_CURVE ('', #5330, #5480, #5510, .T.);
#5530 = ORIENTED_EDGE ('', *, *, #5520, .T.);
#5540 = CARTESIAN_POINT ('', (11.6800502367743, 7.99999999999999, -1.2641636586532));
#5550 = VERTEX_POINT ('', #5540);
#5560 = CARTESIAN_POINT ('', (11.6800502367743, 6.10000000000004, -1.2641636586533));
#5570 = CARTESIAN_POINT ('', (11.6800502367743, 7.99999999999999, -1.2641636586532));
#5580 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5560, #5570), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5590 = EDGE_CURVE ('', #5480, #5550, #5580, .T.);
#5600 = ORIENTED_EDGE ('', *, *, #5590, .T.);
#5610 = CARTESIAN_POINT ('', (30.35, 8., 0.0413664074344995));
#5620 = VERTEX_POINT ('', #5610);
#5630 = CARTESIAN_POINT ('', (11.6800502367743, 7.99999999999999, -1.2641636586532));
#5640 = CARTESIAN_POINT ('', (30.35, 8., 0.0413664074344997));
#5650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5630, #5640), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5660 = EDGE_CURVE ('', #5550, #5620, #5650, .T.);
#5670 = ORIENTED_EDGE ('', *, *, #5660, .T.);
#5680 = CARTESIAN_POINT ('', (30.35, 6.50000000000004, 0.0413664074344995));
#5690 = VERTEX_POINT ('', #5680);
#5700 = CARTESIAN_POINT ('', (30.35, 6.50000000000004, 0.0413664074344995));
#5710 = CARTESIAN_POINT ('', (30.35, 8., 0.0413664074344995));
#5720 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5700, #5710), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5730 = EDGE_CURVE ('', #5690, #5620, #5720, .T.);
#5740 = ORIENTED_EDGE ('', *, *, #5730, .F.);
#5750 = CARTESIAN_POINT ('', (30.35, 6.50000000000004, 0.0413664074344995));
#5760 = CARTESIAN_POINT ('', (18.5137098208328, 6.50000000000004, -0.786307630032904));
#5770 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5750, #5760), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5780 = EDGE_CURVE ('', #5690, #5310, #5770, .T.);
#5790 = ORIENTED_EDGE ('', *, *, #5780, .T.);
#5800 = EDGE_LOOP ('', (#5460, #5530, #5600, #5670, #5740, #5790));
#5810 = FACE_OUTER_BOUND ('', #5800, .T.);
#5820 = CARTESIAN_POINT ('', (11.6789855161894, 8.00099999999999, -1.26423811116939));
#5830 = CARTESIAN_POINT ('', (11.6789855161894, 6.09900000000001, -1.26423811116939));
#5840 = CARTESIAN_POINT ('', (30.3510647205848, 8.001, 0.0414408599505593));
#5850 = CARTESIAN_POINT ('', (30.3510647205848, 6.09900000000002, 0.0414408599505593));
#5860 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5820, #5830), (#5840, #5850)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-13.4919121216563, 5.22576239711982), (-1.90099999999996, 0.00100000000002165), .UNSPECIFIED.);
#5870 = ADVANCED_FACE ('', (#5810), #5860, .T.);
#5880 = CARTESIAN_POINT ('', (36., 8., -4.8564403269534));
#5890 = VERTEX_POINT ('', #5880);
#5900 = CARTESIAN_POINT ('', (36., 8.00000000000004, -15.1577773178216));
#5910 = VERTEX_POINT ('', #5900);
#5920 = CARTESIAN_POINT ('', (36., 8., -4.8564403269534));
#5930 = CARTESIAN_POINT ('', (36., 8.00000000000004, -15.1577773178216));
#5940 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5920, #5930), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5950 = EDGE_CURVE ('', #5890, #5910, #5940, .T.);
#5960 = ORIENTED_EDGE ('', *, *, #5950, .F.);
#5970 = CARTESIAN_POINT ('', (36., 6.50000000000004, -4.8564403269534));
#5980 = VERTEX_POINT ('', #5970);
#5990 = CARTESIAN_POINT ('', (36., 6.50000000000004, -4.8564403269534));
#6000 = CARTESIAN_POINT ('', (36., 8., -4.8564403269534));
#6010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5990, #6000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6020 = EDGE_CURVE ('', #5980, #5890, #6010, .T.);
#6030 = ORIENTED_EDGE ('', *, *, #6020, .F.);
#6040 = CARTESIAN_POINT ('', (36., 6.50000000000003, -15.1577773178216));
#6050 = VERTEX_POINT ('', #6040);
#6060 = CARTESIAN_POINT ('', (36., 6.50000000000004, -4.8564403269534));
#6070 = CARTESIAN_POINT ('', (36., 6.50000000000003, -15.1577773178216));
#6080 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6060, #6070), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6090 = EDGE_CURVE ('', #5980, #6050, #6080, .T.);
#6100 = ORIENTED_EDGE ('', *, *, #6090, .T.);
#6110 = CARTESIAN_POINT ('', (36., 8.00000000000004, -15.1577773178216));
#6120 = CARTESIAN_POINT ('', (36., 6.50000000000003, -15.1577773178216));
#6130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6110, #6120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6140 = EDGE_CURVE ('', #5910, #6050, #6130, .T.);
#6150 = ORIENTED_EDGE ('', *, *, #6140, .F.);
#6160 = EDGE_LOOP ('', (#5960, #6030, #6100, #6150));
#6170 = FACE_OUTER_BOUND ('', #6160, .T.);
#6180 = CARTESIAN_POINT ('', (36., 6.49900000000003, -15.1587773178216));
#6190 = CARTESIAN_POINT ('', (36., 6.49900000000002, -4.85544032695339));
#6200 = CARTESIAN_POINT ('', (36., 8.00100000000005, -15.1587773178216));
#6210 = CARTESIAN_POINT ('', (36., 8.00100000000004, -4.85544032695339));
#6220 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6180, #6190), (#6200, #6210)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-8.00100000000004, -6.49900000000002), (17.3612226821785, 27.6645596730467), .UNSPECIFIED.);
#6230 = ADVANCED_FACE ('', (#6170), #6220, .T.);
#6240 = CARTESIAN_POINT ('', (19.4956001778492, 6.50000000000004, -6.0105403895573));
#6250 = VERTEX_POINT ('', #6240);
#6260 = CARTESIAN_POINT ('', (36., 6.50000000000004, -4.8564403269534));
#6270 = CARTESIAN_POINT ('', (19.4956001778492, 6.50000000000004, -6.0105403895573));
#6280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6260, #6270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6290 = EDGE_CURVE ('', #5980, #6250, #6280, .T.);
#6300 = ORIENTED_EDGE ('', *, *, #6290, .T.);
#6310 = CARTESIAN_POINT ('', (34.0994069855246, 6.50000000000004, -17.9490681088679));
#6320 = VERTEX_POINT ('', #6310);
#6330 = CARTESIAN_POINT ('', (34.0994069855246, 6.50000000000006, -17.9490681088679));
#6340 = CARTESIAN_POINT ('', (23.1254136988134, 6.50000000000006, -16.4716890519897));
#6350 = CARTESIAN_POINT ('', (19.4956001778492, 6.50000000000005, -6.01054038955732));
#6360 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6330, #6340, #6350), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (277.667372097178, 340.864228265345), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.851741309432588, 1.))
   REPRESENTATION_ITEM ('')
);
#6370 = EDGE_CURVE ('', #6320, #6250, #6360, .T.);
#6380 = ORIENTED_EDGE ('', *, *, #6370, .F.);
#6390 = CARTESIAN_POINT ('', (36., 6.50000000000003, -15.1577773178216));
#6400 = CARTESIAN_POINT ('', (36., 6.50000000000004, -17.200480665576));
#6410 = CARTESIAN_POINT ('', (34.0994069855246, 6.50000000000004, -17.9490681088679));
#6420 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6390, #6400, #6410), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (180., 248.501984828333), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.826580000718279, 1.))
   REPRESENTATION_ITEM ('')
);
#6430 = EDGE_CURVE ('', #6050, #6320, #6420, .T.);
#6440 = ORIENTED_EDGE ('', *, *, #6430, .F.);
#6450 = ORIENTED_EDGE ('', *, *, #6090, .F.);
#6460 = EDGE_LOOP ('', (#6300, #6380, #6440, #6450));
#6470 = FACE_OUTER_BOUND ('', #6460, .T.);
#6480 = CARTESIAN_POINT ('', (19.4946001778492, 6.50000000000006, -17.9500681088679));
#6490 = CARTESIAN_POINT ('', (19.4946001778492, 6.50000000000004, -4.85544032695338));
#6500 = CARTESIAN_POINT ('', (36.001, 6.50000000000006, -17.9500681088679));
#6510 = CARTESIAN_POINT ('', (36.001, 6.50000000000004, -4.85544032695338));
#6520 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6480, #6490), (#6500, #6510)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-17.0063998221507, -0.499999999999886), (-17.8400681088678, -4.74544032695329), .UNSPECIFIED.);
#6530 = ADVANCED_FACE ('', (#6470), #6520, .T.);
#6540 = ORIENTED_EDGE ('', *, *, #3730, .T.);
#6550 = ORIENTED_EDGE ('', *, *, #4420, .T.);
#6560 = ORIENTED_EDGE ('', *, *, #4180, .T.);
#6570 = CARTESIAN_POINT ('', (-58.5000000000001, 8.00000000000001, -19.6180762113534));
#6580 = VERTEX_POINT ('', #6570);
#6590 = CARTESIAN_POINT ('', (-58.5000000000001, 8.00000000000001, -19.6180762113534));
#6600 = CARTESIAN_POINT ('', (-58.5000000000001, 8.00000000000002, 2.5780762113533));
#6610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6590, #6600), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6620 = EDGE_CURVE ('', #6580, #4070, #6610, .T.);
#6630 = ORIENTED_EDGE ('', *, *, #6620, .F.);
#6640 = CARTESIAN_POINT ('', (-58.4999999999999, 6.50000000000001, -21.1180762113533));
#6650 = VERTEX_POINT ('', #6640);
#6660 = CARTESIAN_POINT ('', (-58.5000000000001, 8.00000000000001, -19.6180762113534));
#6670 = CARTESIAN_POINT ('', (-58.4999999999999, 6.50000000000001, -21.1180762113533));
#6680 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6660, #6670), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6690 = EDGE_CURVE ('', #6580, #6650, #6680, .T.);
#6700 = ORIENTED_EDGE ('', *, *, #6690, .T.);
#6710 = CARTESIAN_POINT ('', (-58.4999999999999, 6.50000000000001, -21.1180762113533));
#6720 = CARTESIAN_POINT ('', (-58.5, 7.105427357601E-15, -19.3764064605511));
#6730 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6710, #6720), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6740 = EDGE_CURVE ('', #6650, #3200, #6730, .T.);
#6750 = ORIENTED_EDGE ('', *, *, #6740, .T.);
#6760 = EDGE_LOOP ('', (#6540, #6550, #6560, #6630, #6700, #6750));
#6770 = FACE_OUTER_BOUND ('', #6760, .T.);
#6780 = CARTESIAN_POINT ('', (-58.5000000000001, 8.00000000000002, 4.0780762113533));
#6790 = CARTESIAN_POINT ('', (-58.5000000000001, 1.49261688508653E-14, 4.07807621135331));
#6800 = CARTESIAN_POINT ('', (-58.5000000000001, 8.00000000000001, -21.1180762113533));
#6810 = CARTESIAN_POINT ('', (-58.5000000000001, 6.5341642853692E-15, -21.1180762113533));
#6820 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6780, #6790), (#6800, #6810)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-25.4980762113532, -0.301923788646597), (-8.00000000000001, 2.44818073418331E-15), .UNSPECIFIED.);
#6830 = ADVANCED_FACE ('', (#6770), #6820, .T.);
#6840 = CARTESIAN_POINT ('', (13.4205439702685, 8.00000000000004, -4.65100312394649));
#6850 = VERTEX_POINT ('', #6840);
#6860 = CARTESIAN_POINT ('', (13.5447104935329, 8., -6.426667133409));
#6870 = VERTEX_POINT ('', #6860);
#6880 = CARTESIAN_POINT ('', (13.4205439702685, 8.00000000000004, -4.65100312394649));
#6890 = CARTESIAN_POINT ('', (13.5447104935329, 8., -6.426667133409));
#6900 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6880, #6890), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6910 = EDGE_CURVE ('', #6850, #6870, #6900, .T.);
#6920 = ORIENTED_EDGE ('', *, *, #6910, .T.);
#6930 = CARTESIAN_POINT ('', (36., 8., -4.8564403269534));
#6940 = CARTESIAN_POINT ('', (13.5447104935329, 8., -6.426667133409));
#6950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6930, #6940), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6960 = EDGE_CURVE ('', #5890, #6870, #6950, .T.);
#6970 = ORIENTED_EDGE ('', *, *, #6960, .F.);
#6980 = ORIENTED_EDGE ('', *, *, #5950, .T.);
#6990 = CARTESIAN_POINT ('', (33.5209445330008, 8.00000000000004, -18.1122005768582));
#7000 = CARTESIAN_POINT ('', (36., 8.00000000000004, -17.6750762113534));
#7010 = CARTESIAN_POINT ('', (36., 8.00000000000003, -15.1577773178216));
#7020 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6990, #7000, #7010), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (280., 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.766044443118979, 1.))
   REPRESENTATION_ITEM ('')
);
#7030 = EDGE_CURVE ('', #2750, #5910, #7020, .T.);
#7040 = ORIENTED_EDGE ('', *, *, #7030, .F.);
#7050 = ORIENTED_EDGE ('', *, *, #2790, .T.);
#7060 = CARTESIAN_POINT ('', (24.9806994244829, 8.00000000000003, -19.6180762113534));
#7070 = CARTESIAN_POINT ('', (-58.5000000000001, 8.00000000000001, -19.6180762113534));
#7080 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7060, #7070), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7090 = EDGE_CURVE ('', #2680, #6580, #7080, .T.);
#7100 = ORIENTED_EDGE ('', *, *, #7090, .T.);
#7110 = ORIENTED_EDGE ('', *, *, #6620, .T.);
#7120 = ORIENTED_EDGE ('', *, *, #4110, .F.);
#7130 = CARTESIAN_POINT ('', (0., 8.00000000000004, 2.5780762113533));
#7140 = CARTESIAN_POINT ('', (0., 8.00000000000004, 4.3799999999999));
#7150 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7130, #7140), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7160 = EDGE_CURVE ('', #4000, #4840, #7150, .T.);
#7170 = ORIENTED_EDGE ('', *, *, #7160, .T.);
#7180 = ORIENTED_EDGE ('', *, *, #4880, .T.);
#7190 = CARTESIAN_POINT ('', (29.2749135125191, 8.00000000000005, 1.1164528949152));
#7200 = VERTEX_POINT ('', #7190);
#7210 = CARTESIAN_POINT ('', (23.6222841136182, 8.00000000000004, 4.3799999999999));
#7220 = CARTESIAN_POINT ('', (29.2749135125191, 8.00000000000005, 1.1164528949152));
#7230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7210, #7220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7240 = EDGE_CURVE ('', #4770, #7200, #7230, .T.);
#7250 = ORIENTED_EDGE ('', *, *, #7240, .T.);
#7260 = CARTESIAN_POINT ('', (29.2749135125191, 8.00000000000005, 1.1164528949152));
#7270 = CARTESIAN_POINT ('', (30.35, 8., 0.0413664074344997));
#7280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7260, #7270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7290 = EDGE_CURVE ('', #7200, #5620, #7280, .T.);
#7300 = ORIENTED_EDGE ('', *, *, #7290, .T.);
#7310 = ORIENTED_EDGE ('', *, *, #5660, .F.);
#7320 = CARTESIAN_POINT ('', (11.9241978948787, 8., -4.7556378345627));
#7330 = VERTEX_POINT ('', #7320);
#7340 = CARTESIAN_POINT ('', (11.6800502367743, 7.99999999999999, -1.2641636586532));
#7350 = CARTESIAN_POINT ('', (11.9241978948787, 8., -4.7556378345627));
#7360 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7340, #7350), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7370 = EDGE_CURVE ('', #5550, #7330, #7360, .T.);
#7380 = ORIENTED_EDGE ('', *, *, #7370, .T.);
#7390 = CARTESIAN_POINT ('', (11.9241978948787, 8., -4.7556378345627));
#7400 = CARTESIAN_POINT ('', (13.4205439702685, 8.00000000000004, -4.65100312394649));
#7410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7390, #7400), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7420 = EDGE_CURVE ('', #7330, #6850, #7410, .T.);
#7430 = ORIENTED_EDGE ('', *, *, #7420, .T.);
#7440 = EDGE_LOOP ('', (#6920, #6970, #6980, #7040, #7050, #7100, #7110, #7120, #7170, #7180, #7250, #7300, #7310, #7380, #7430));
#7450 = FACE_OUTER_BOUND ('', #7440, .T.);
#7460 = CARTESIAN_POINT ('', (36.001, 8.00000000000002, -19.6190762113535));
#7470 = CARTESIAN_POINT ('', (36.001, 7.99999999999999, 4.38099999999991));
#7480 = CARTESIAN_POINT ('', (-58.5010000000001, 7.99999999999999, -19.6190762113534));
#7490 = CARTESIAN_POINT ('', (-58.5010000000001, 7.99999999999996, 4.38100000000001));
#7500 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7460, #7470), (#7480, #7490)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.000999999999990564, 94.5010000000001), (12.9009237886466, 36.901), .UNSPECIFIED.);
#7510 = ADVANCED_FACE ('', (#7450), #7500, .T.);
#7520 = CARTESIAN_POINT ('', (18.5009999999999, 6.50000000000005, -0.110000000000109));
#7530 = VERTEX_POINT ('', #7520);
#7540 = CARTESIAN_POINT ('', (18.5137098208329, 6.50000000000004, -0.786307630032904));
#7550 = CARTESIAN_POINT ('', (18.5009999999999, 6.50000000000004, -0.448273242580522));
#7560 = CARTESIAN_POINT ('', (18.5009999999999, 6.50000000000004, -0.110000000000109));
#7570 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7540, #7550, #7560), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (357.846739122063, 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.999823459127314, 1.))
   REPRESENTATION_ITEM ('')
);
#7580 = EDGE_CURVE ('', #5310, #7530, #7570, .T.);
#7590 = ORIENTED_EDGE ('', *, *, #7580, .F.);
#7600 = ORIENTED_EDGE ('', *, *, #5780, .F.);
#7610 = CARTESIAN_POINT ('', (29.2749135125191, 6.50000000000005, 1.1164528949152));
#7620 = VERTEX_POINT ('', #7610);
#7630 = CARTESIAN_POINT ('', (30.35, 6.50000000000004, 0.0413664074344995));
#7640 = CARTESIAN_POINT ('', (29.2749135125191, 6.50000000000005, 1.1164528949152));
#7650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7630, #7640), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7660 = EDGE_CURVE ('', #5690, #7620, #7650, .T.);
#7670 = ORIENTED_EDGE ('', *, *, #7660, .T.);
#7680 = CARTESIAN_POINT ('', (29.2749135125191, 6.50000000000005, 1.1164528949152));
#7690 = CARTESIAN_POINT ('', (23.6222841136183, 6.50000000000005, 4.3799999999999));
#7700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7680, #7690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7710 = EDGE_CURVE ('', #7620, #4700, #7700, .T.);
#7720 = ORIENTED_EDGE ('', *, *, #7710, .T.);
#7730 = ORIENTED_EDGE ('', *, *, #4740, .F.);
#7740 = CARTESIAN_POINT ('', (18.5009999999999, 6.50000000000005, -0.110000000000109));
#7750 = CARTESIAN_POINT ('', (18.501, 6.50000000000005, 4.3799999999999));
#7760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7740, #7750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7770 = EDGE_CURVE ('', #7530, #4620, #7760, .T.);
#7780 = ORIENTED_EDGE ('', *, *, #7770, .F.);
#7790 = EDGE_LOOP ('', (#7590, #7600, #7670, #7720, #7730, #7780));
#7800 = FACE_OUTER_BOUND ('', #7790, .T.);
#7810 = CARTESIAN_POINT ('', (18.4999999999999, 6.50000000000004, -0.787307630032909));
#7820 = CARTESIAN_POINT ('', (18.4999999999999, 6.50000000000003, 4.38099999999991));
#7830 = CARTESIAN_POINT ('', (30.351, 6.50000000000004, -0.787307630032909));
#7840 = CARTESIAN_POINT ('', (30.351, 6.50000000000003, 4.38099999999991));
#7850 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7810, #7820), (#7830, #7840)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-18.001, -6.14999999999991), (-0.677307630032814, 4.491), .UNSPECIFIED.);
#7860 = ADVANCED_FACE ('', (#7800), #7850, .T.);
#7870 = ORIENTED_EDGE ('', *, *, #4670, .T.);
#7880 = ORIENTED_EDGE ('', *, *, #2380, .T.);
#7890 = CARTESIAN_POINT ('', (17.501, 5.50000000000004, -0.110000000000109));
#7900 = CARTESIAN_POINT ('', (17.501, 6.49999999999994, -0.110000000000109));
#7910 = CARTESIAN_POINT ('', (18.5009999999999, 6.50000000000004, -0.110000000000109));
#7920 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7890, #7900, #7910), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (180., 269.999999999994), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186583, 1.))
   REPRESENTATION_ITEM ('')
);
#7930 = EDGE_CURVE ('', #1740, #7530, #7920, .T.);
#7940 = ORIENTED_EDGE ('', *, *, #7930, .T.);
#7950 = ORIENTED_EDGE ('', *, *, #7770, .T.);
#7960 = EDGE_LOOP ('', (#7870, #7880, #7940, #7950));
#7970 = FACE_OUTER_BOUND ('', #7960, .T.);
#7980 = CARTESIAN_POINT ('', (19.501, 5.50000000000004, 4.83019999999991));
#7990 = CARTESIAN_POINT ('', (19.501, 5.50000000000004, -0.56020000000009));
#8000 = CARTESIAN_POINT ('', (19.501, 6.50000000000004, 4.83019999999991));
#8010 = CARTESIAN_POINT ('', (19.501, 6.50000000000004, -0.56020000000009));
#8020 = CARTESIAN_POINT ('', (18.501, 6.50000000000004, 4.8301999999999));
#8030 = CARTESIAN_POINT ('', (18.501, 6.50000000000004, -0.560200000000098));
#8040 = CARTESIAN_POINT ('', (17.501, 6.50000000000004, 4.83019999999989));
#8050 = CARTESIAN_POINT ('', (17.501, 6.50000000000004, -0.560200000000105));
#8060 = CARTESIAN_POINT ('', (17.501, 5.50000000000004, 4.83019999999989));
#8070 = CARTESIAN_POINT ('', (17.501, 5.50000000000004, -0.560200000000104));
#8080 = CARTESIAN_POINT ('', (17.501, 4.50000000000004, 4.83019999999989));
#8090 = CARTESIAN_POINT ('', (17.501, 4.50000000000004, -0.560200000000104));
#8100 = CARTESIAN_POINT ('', (18.501, 4.50000000000004, 4.8301999999999));
#8110 = CARTESIAN_POINT ('', (18.501, 4.50000000000004, -0.560200000000097));
#8120 = CARTESIAN_POINT ('', (19.501, 4.50000000000004, 4.83019999999991));
#8130 = CARTESIAN_POINT ('', (19.501, 4.50000000000004, -0.56020000000009));
#8140 = CARTESIAN_POINT ('', (19.501, 5.50000000000004, 4.83019999999991));
#8150 = CARTESIAN_POINT ('', (19.501, 5.50000000000004, -0.56020000000009));
#8160 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#7980, #7990), (#8000, #8010), (#8020, #8030), (#8040, #8050), (#8060, #8070), (#8080, #8090), (#8100, #8110), (#8120, #8130), (#8140, #8150)), .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 ('')
);
#8170 = ADVANCED_FACE ('', (#7970), #8160, .T.);
#8180 = CARTESIAN_POINT ('', (18.6701525124757, 6.10000000000004, -6.0682613132231));
#8190 = VERTEX_POINT ('', #8180);
#8200 = CARTESIAN_POINT ('', (19.4956001778492, 6.50000000000004, -6.0105403895573));
#8210 = CARTESIAN_POINT ('', (19.4738281688391, 6.50000000000004, -6.012062836737));
#8220 = CARTESIAN_POINT ('', (19.4520460139821, 6.49933362902035, -6.0135859933834));
#8230 = CARTESIAN_POINT ('', (19.4303145692577, 6.49800197012403, -6.0151056040319));
#8240 = CARTESIAN_POINT ('', (19.3148019178942, 6.49092358892222, -6.0231830354809));
#8250 = CARTESIAN_POINT ('', (19.1989223781122, 6.46447164616229, -6.0312861222673));
#8260 = CARTESIAN_POINT ('', (19.0918704374112, 6.42039936710881, -6.0387719231929));
#8270 = CARTESIAN_POINT ('', (18.9881184783229, 6.37768565950718, -6.04602696692479));
#8280 = CARTESIAN_POINT ('', (18.8899881893753, 6.31729763075374, -6.052888905186));
#8290 = CARTESIAN_POINT ('', (18.8053920019003, 6.24347312992598, -6.0588044468787));
#8300 = CARTESIAN_POINT ('', (18.755885852157, 6.20027062988683, -6.0622662541019));
#8310 = CARTESIAN_POINT ('', (18.7103468564472, 6.15201743814577, -6.065450650891));
#8320 = CARTESIAN_POINT ('', (18.6701525124757, 6.10000000000004, -6.0682613132231));
#8330 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#8200, #8210, #8220, #8230, #8240, #8250, #8260, #8270, #8280, #8290, #8300, #8310, #8320), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 4), (0., 0.0682678628475725, 0.435895456408816, 0.792052741201543, 1.), .UNSPECIFIED.);
#8340 = EDGE_CURVE ('', #6250, #8190, #8330, .T.);
#8350 = ORIENTED_EDGE ('', *, *, #8340, .T.);
#8360 = CARTESIAN_POINT ('', (18.6701525124757, 6.10000000000005, -6.06826131322311));
#8370 = CARTESIAN_POINT ('', (17.8197566550602, 6.10000000000004, -3.52334459331591));
#8380 = CARTESIAN_POINT ('', (17.7152615215755, 6.10000000000004, -0.842140574101701));
#8390 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#8360, #8370, #8380), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (161.52270737924, 177.768128967982), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.989967729776038, 1.))
   REPRESENTATION_ITEM ('')
);
#8400 = EDGE_CURVE ('', #8190, #5330, #8390, .T.);
#8410 = ORIENTED_EDGE ('', *, *, #8400, .T.);
#8420 = ORIENTED_EDGE ('', *, *, #5450, .F.);
#8430 = ORIENTED_EDGE ('', *, *, #7580, .T.);
#8440 = ORIENTED_EDGE ('', *, *, #7930, .F.);
#8450 = ORIENTED_EDGE ('', *, *, #2010, .T.);
#8460 = ORIENTED_EDGE ('', *, *, #3080, .F.);
#8470 = CARTESIAN_POINT ('', (34.0994069855246, 6.50000000000004, -17.9490681088679));
#8480 = CARTESIAN_POINT ('', (33.9127547325578, 6.50000000000005, -18.0225849174475));
#8490 = CARTESIAN_POINT ('', (33.7177999388379, 6.48590464434252, -18.0774896575108));
#8500 = CARTESIAN_POINT ('', (33.5209445330011, 6.46896693634619, -18.1122005768581));
#8510 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#8470, #8480, #8490, #8500), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#8520 = EDGE_CURVE ('', #6320, #2820, #8510, .T.);
#8530 = ORIENTED_EDGE ('', *, *, #8520, .F.);
#8540 = ORIENTED_EDGE ('', *, *, #6370, .T.);
#8550 = EDGE_LOOP ('', (#8350, #8410, #8420, #8430, #8440, #8450, #8460, #8530, #8540));
#8560 = FACE_OUTER_BOUND ('', #8550, .T.);
#8570 = CARTESIAN_POINT ('', (55.501, 5.50000000000006, -0.110000000000109));
#8580 = CARTESIAN_POINT ('', (55.501, 4.50000000000005, -0.110000000000109));
#8590 = CARTESIAN_POINT ('', (54.501, 4.50000000000006, -0.110000000000109));
#8600 = CARTESIAN_POINT ('', (53.501, 4.50000000000005, -0.110000000000109));
#8610 = CARTESIAN_POINT ('', (53.501, 5.50000000000005, -0.110000000000109));
#8620 = CARTESIAN_POINT ('', (53.501, 6.50000000000005, -0.110000000000109));
#8630 = CARTESIAN_POINT ('', (54.501, 6.50000000000005, -0.110000000000109));
#8640 = CARTESIAN_POINT ('', (55.501, 6.50000000000005, -0.110000000000109));
#8650 = CARTESIAN_POINT ('', (55.501, 5.50000000000006, -0.110000000000109));
#8660 = CARTESIAN_POINT ('', (55.501, 5.50000000000009, -19.1100000000001));
#8670 = CARTESIAN_POINT ('', (55.501, 4.50000000000008, -19.1100000000001));
#8680 = CARTESIAN_POINT ('', (54.501, 4.50000000000009, -18.1100000000001));
#8690 = CARTESIAN_POINT ('', (53.501, 4.50000000000007, -17.1100000000001));
#8700 = CARTESIAN_POINT ('', (53.501, 5.50000000000007, -17.1100000000001));
#8710 = CARTESIAN_POINT ('', (53.501, 6.50000000000007, -17.1100000000001));
#8720 = CARTESIAN_POINT ('', (54.501, 6.50000000000007, -18.1100000000001));
#8730 = CARTESIAN_POINT ('', (55.501, 6.50000000000008, -19.1100000000001));
#8740 = CARTESIAN_POINT ('', (55.501, 5.50000000000009, -19.1100000000001));
#8750 = CARTESIAN_POINT ('', (36.501, 5.50000000000008, -19.1100000000001));
#8760 = CARTESIAN_POINT ('', (36.501, 4.50000000000007, -19.1100000000001));
#8770 = CARTESIAN_POINT ('', (36.501, 4.50000000000008, -18.1100000000001));
#8780 = CARTESIAN_POINT ('', (36.501, 4.50000000000007, -17.1100000000001));
#8790 = CARTESIAN_POINT ('', (36.501, 5.50000000000007, -17.1100000000001));
#8800 = CARTESIAN_POINT ('', (36.501, 6.50000000000007, -17.1100000000001));
#8810 = CARTESIAN_POINT ('', (36.501, 6.50000000000007, -18.1100000000001));
#8820 = CARTESIAN_POINT ('', (36.501, 6.50000000000007, -19.1100000000001));
#8830 = CARTESIAN_POINT ('', (36.501, 5.50000000000008, -19.1100000000001));
#8840 = CARTESIAN_POINT ('', (17.501, 5.50000000000007, -19.1100000000001));
#8850 = CARTESIAN_POINT ('', (17.501, 4.50000000000006, -19.1100000000001));
#8860 = CARTESIAN_POINT ('', (18.501, 4.50000000000007, -18.1100000000001));
#8870 = CARTESIAN_POINT ('', (19.501, 4.50000000000006, -17.1100000000001));
#8880 = CARTESIAN_POINT ('', (19.501, 5.50000000000006, -17.1100000000001));
#8890 = CARTESIAN_POINT ('', (19.501, 6.50000000000006, -17.1100000000001));
#8900 = CARTESIAN_POINT ('', (18.501, 6.50000000000006, -18.1100000000001));
#8910 = CARTESIAN_POINT ('', (17.501, 6.50000000000006, -19.1100000000001));
#8920 = CARTESIAN_POINT ('', (17.501, 5.50000000000007, -19.1100000000001));
#8930 = CARTESIAN_POINT ('', (17.501, 5.50000000000005, -0.110000000000118));
#8940 = CARTESIAN_POINT ('', (17.501, 4.50000000000004, -0.110000000000121));
#8950 = CARTESIAN_POINT ('', (18.501, 4.50000000000005, -0.11000000000012));
#8960 = CARTESIAN_POINT ('', (19.501, 4.50000000000004, -0.11000000000012));
#8970 = CARTESIAN_POINT ('', (19.501, 5.50000000000004, -0.110000000000118));
#8980 = CARTESIAN_POINT ('', (19.501, 6.50000000000004, -0.110000000000115));
#8990 = CARTESIAN_POINT ('', (18.501, 6.50000000000004, -0.110000000000115));
#9000 = CARTESIAN_POINT ('', (17.501, 6.50000000000004, -0.110000000000115));
#9010 = CARTESIAN_POINT ('', (17.501, 5.50000000000005, -0.110000000000118));
#9020 = CARTESIAN_POINT ('', (17.501, 5.50000000000002, 18.8899999999999));
#9030 = CARTESIAN_POINT ('', (17.501, 4.50000000000001, 18.8899999999999));
#9040 = CARTESIAN_POINT ('', (18.501, 4.50000000000002, 17.8899999999999));
#9050 = CARTESIAN_POINT ('', (19.501, 4.50000000000002, 16.8899999999999));
#9060 = CARTESIAN_POINT ('', (19.501, 5.50000000000002, 16.8899999999999));
#9070 = CARTESIAN_POINT ('', (19.501, 6.50000000000002, 16.8899999999999));
#9080 = CARTESIAN_POINT ('', (18.501, 6.50000000000001, 17.8899999999999));
#9090 = CARTESIAN_POINT ('', (17.501, 6.50000000000001, 18.8899999999999));
#9100 = CARTESIAN_POINT ('', (17.501, 5.50000000000002, 18.8899999999999));
#9110 = CARTESIAN_POINT ('', (36.501, 5.50000000000003, 18.8899999999999));
#9120 = CARTESIAN_POINT ('', (36.501, 4.50000000000002, 18.8899999999999));
#9130 = CARTESIAN_POINT ('', (36.501, 4.50000000000003, 17.8899999999999));
#9140 = CARTESIAN_POINT ('', (36.501, 4.50000000000002, 16.8899999999999));
#9150 = CARTESIAN_POINT ('', (36.501, 5.50000000000002, 16.8899999999999));
#9160 = CARTESIAN_POINT ('', (36.501, 6.50000000000002, 16.8899999999999));
#9170 = CARTESIAN_POINT ('', (36.501, 6.50000000000002, 17.8899999999999));
#9180 = CARTESIAN_POINT ('', (36.501, 6.50000000000002, 18.8899999999999));
#9190 = CARTESIAN_POINT ('', (36.501, 5.50000000000003, 18.8899999999999));
#9200 = CARTESIAN_POINT ('', (55.501, 5.50000000000003, 18.8899999999999));
#9210 = CARTESIAN_POINT ('', (55.501, 4.50000000000002, 18.8899999999999));
#9220 = CARTESIAN_POINT ('', (54.501, 4.50000000000004, 17.8899999999999));
#9230 = CARTESIAN_POINT ('', (53.501, 4.50000000000003, 16.8899999999999));
#9240 = CARTESIAN_POINT ('', (53.501, 5.50000000000003, 16.8899999999999));
#9250 = CARTESIAN_POINT ('', (53.501, 6.50000000000003, 16.8899999999999));
#9260 = CARTESIAN_POINT ('', (54.501, 6.50000000000002, 17.8899999999999));
#9270 = CARTESIAN_POINT ('', (55.501, 6.50000000000002, 18.8899999999999));
#9280 = CARTESIAN_POINT ('', (55.501, 5.50000000000003, 18.8899999999999));
#9290 = CARTESIAN_POINT ('', (55.501, 5.50000000000006, -0.110000000000109));
#9300 = CARTESIAN_POINT ('', (55.501, 4.50000000000005, -0.110000000000109));
#9310 = CARTESIAN_POINT ('', (54.501, 4.50000000000006, -0.110000000000109));
#9320 = CARTESIAN_POINT ('', (53.501, 4.50000000000005, -0.110000000000109));
#9330 = CARTESIAN_POINT ('', (53.501, 5.50000000000005, -0.110000000000109));
#9340 = CARTESIAN_POINT ('', (53.501, 6.50000000000005, -0.110000000000109));
#9350 = CARTESIAN_POINT ('', (54.501, 6.50000000000005, -0.110000000000109));
#9360 = CARTESIAN_POINT ('', (55.501, 6.50000000000005, -0.110000000000109));
#9370 = CARTESIAN_POINT ('', (55.501, 5.50000000000006, -0.110000000000109));
#9380 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 2, ((#8570, #8580, #8590, #8600, #8610, #8620, #8630, #8640, #8650), (#8660, #8670, #8680, #8690, #8700, #8710, #8720, #8730, #8740), (#8750, #8760, #8770, #8780, #8790, #8800, #8810, #8820, #8830), (#8840, #8850, #8860, #8870, #8880, #8890, #8900, #8910, #8920), (#8930, #8940, #8950, #8960, #8970, #8980, #8990, #9000, #9010), (#9020, #9030, #9040, #9050, #9060, #9070, #9080, #9090, #9100), (#9110, #9120, #9130, #9140, #9150, #9160, #9170, #9180, #9190), (#9200, #9210, #9220, #9230, #9240, #9250, #9260, #9270, #9280), (#9290, #9300, #9310, #9320, #9330, #9340, #9350, #9360, #9370)), .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 ('')
);
#9390 = ADVANCED_FACE ('', (#8560), #9380, .T.);
#9400 = ORIENTED_EDGE ('', *, *, #5520, .F.);
#9410 = ORIENTED_EDGE ('', *, *, #8400, .F.);
#9420 = CARTESIAN_POINT ('', (13.5447104935329, 6.10000000000004, -6.426667133409));
#9430 = VERTEX_POINT ('', #9420);
#9440 = CARTESIAN_POINT ('', (13.5447104935329, 6.10000000000004, -6.426667133409));
#9450 = CARTESIAN_POINT ('', (18.6701525124757, 6.10000000000004, -6.0682613132231));
#9460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9440, #9450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9470 = EDGE_CURVE ('', #9430, #8190, #9460, .T.);
#9480 = ORIENTED_EDGE ('', *, *, #9470, .F.);
#9490 = CARTESIAN_POINT ('', (13.4205439702684, 6.10000000000004, -4.65100312394649));
#9500 = VERTEX_POINT ('', #9490);
#9510 = CARTESIAN_POINT ('', (13.4205439702684, 6.10000000000004, -4.65100312394649));
#9520 = CARTESIAN_POINT ('', (13.5447104935329, 6.10000000000004, -6.426667133409));
#9530 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9510, #9520), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9540 = EDGE_CURVE ('', #9500, #9430, #9530, .T.);
#9550 = ORIENTED_EDGE ('', *, *, #9540, .F.);
#9560 = CARTESIAN_POINT ('', (11.9241978948787, 6.10000000000004, -4.7556378345627));
#9570 = VERTEX_POINT ('', #9560);
#9580 = CARTESIAN_POINT ('', (11.9241978948787, 6.10000000000004, -4.7556378345627));
#9590 = CARTESIAN_POINT ('', (13.4205439702684, 6.10000000000004, -4.65100312394649));
#9600 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9580, #9590), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9610 = EDGE_CURVE ('', #9570, #9500, #9600, .T.);
#9620 = ORIENTED_EDGE ('', *, *, #9610, .F.);
#9630 = CARTESIAN_POINT ('', (11.6800502367743, 6.10000000000004, -1.2641636586533));
#9640 = CARTESIAN_POINT ('', (11.9241978948787, 6.10000000000004, -4.7556378345627));
#9650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9630, #9640), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9660 = EDGE_CURVE ('', #5480, #9570, #9650, .T.);
#9670 = ORIENTED_EDGE ('', *, *, #9660, .F.);
#9680 = EDGE_LOOP ('', (#9400, #9410, #9480, #9550, #9620, #9670));
#9690 = FACE_OUTER_BOUND ('', #9680, .T.);
#9700 = CARTESIAN_POINT ('', (18.6711525124757, 6.10000000000004, -6.42766713340901));
#9710 = CARTESIAN_POINT ('', (18.6711525124757, 6.10000000000004, -0.841140574101709));
#9720 = CARTESIAN_POINT ('', (11.6790502367743, 6.10000000000004, -6.427667133409));
#9730 = CARTESIAN_POINT ('', (11.6790502367743, 6.10000000000004, -0.8411405741017));
#9740 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9700, #9710), (#9720, #9730)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (10.4317772557567, 17.4238795314581), (-2.29186695109512, 3.2946596082122), .UNSPECIFIED.);
#9750 = ADVANCED_FACE ('', (#9690), #9740, .T.);
#9760 = ORIENTED_EDGE ('', *, *, #6960, .T.);
#9770 = CARTESIAN_POINT ('', (13.5447104935329, 8., -6.426667133409));
#9780 = CARTESIAN_POINT ('', (13.5447104935329, 6.10000000000004, -6.426667133409));
#9790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9770, #9780), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9800 = EDGE_CURVE ('', #6870, #9430, #9790, .T.);
#9810 = ORIENTED_EDGE ('', *, *, #9800, .T.);
#9820 = ORIENTED_EDGE ('', *, *, #9470, .T.);
#9830 = ORIENTED_EDGE ('', *, *, #8340, .F.);
#9840 = ORIENTED_EDGE ('', *, *, #6290, .F.);
#9850 = ORIENTED_EDGE ('', *, *, #6020, .T.);
#9860 = EDGE_LOOP ('', (#9760, #9810, #9820, #9830, #9840, #9850));
#9870 = FACE_OUTER_BOUND ('', #9860, .T.);
#9880 = CARTESIAN_POINT ('', (36.0010647205849, 8.001, -4.85636587443725));
#9890 = CARTESIAN_POINT ('', (36.0010647205849, 6.09900000000004, -4.85636587443725));
#9900 = CARTESIAN_POINT ('', (13.5436457729481, 8.001, -6.42674158592508));
#9910 = CARTESIAN_POINT ('', (13.5436457729481, 6.09900000000004, -6.42674158592508));
#9920 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9880, #9890), (#9900, #9910)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-9.53119035534903, 12.9810673205241), (-1.90099999999996, 0.00100000000000122), .UNSPECIFIED.);
#9930 = ADVANCED_FACE ('', (#9870), #9920, .T.);
#9940 = ORIENTED_EDGE ('', *, *, #9540, .T.);
#9950 = ORIENTED_EDGE ('', *, *, #9800, .F.);
#9960 = ORIENTED_EDGE ('', *, *, #6910, .F.);
#9970 = CARTESIAN_POINT ('', (13.4205439702684, 6.10000000000004, -4.65100312394649));
#9980 = CARTESIAN_POINT ('', (13.4205439702685, 8.00000000000004, -4.65100312394649));
#9990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9970, #9980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10000 = EDGE_CURVE ('', #9500, #6850, #9990, .T.);
#10010 = ORIENTED_EDGE ('', *, *, #10000, .F.);
#10020 = EDGE_LOOP ('', (#9940, #9950, #9960, #10010));
#10030 = FACE_OUTER_BOUND ('', #10020, .T.);
#10040 = CARTESIAN_POINT ('', (13.5447849460491, 8.00100000000004, -6.42773185399385));
#10050 = CARTESIAN_POINT ('', (13.5447849460491, 6.09900000000004, -6.42773185399385));
#10060 = CARTESIAN_POINT ('', (13.4204695177523, 8.00100000000004, -4.64993840336164));
#10070 = CARTESIAN_POINT ('', (13.4204695177523, 6.09900000000004, -4.64993840336164));
#10080 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10040, #10050), (#10060, #10070)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.231067320524, -0.448932679475973), (-1.901, 0.00100000000000167), .UNSPECIFIED.);
#10090 = ADVANCED_FACE ('', (#10030), #10080, .T.);
#10100 = ORIENTED_EDGE ('', *, *, #7420, .F.);
#10110 = CARTESIAN_POINT ('', (11.9241978948787, 6.10000000000004, -4.7556378345627));
#10120 = CARTESIAN_POINT ('', (11.9241978948787, 8., -4.7556378345627));
#10130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10110, #10120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10140 = EDGE_CURVE ('', #9570, #7330, #10130, .T.);
#10150 = ORIENTED_EDGE ('', *, *, #10140, .F.);
#10160 = ORIENTED_EDGE ('', *, *, #9610, .T.);
#10170 = ORIENTED_EDGE ('', *, *, #10000, .T.);
#10180 = EDGE_LOOP ('', (#10100, #10150, #10160, #10170));
#10190 = FACE_OUTER_BOUND ('', #10180, .T.);
#10200 = CARTESIAN_POINT ('', (13.4216086908534, 8.00100000000004, -4.65092867143036));
#10210 = CARTESIAN_POINT ('', (13.4216086908534, 6.09900000000004, -4.65092867143036));
#10220 = CARTESIAN_POINT ('', (11.9231331742939, 8.00100000000004, -4.75571228707876));
#10230 = CARTESIAN_POINT ('', (11.9231331742939, 6.09900000000004, -4.75571228707876));
#10240 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10200, #10210), (#10220, #10230)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.30106732052403, 0.201067320524061), (-1.901, 0.00099999999999989), .UNSPECIFIED.);
#10250 = ADVANCED_FACE ('', (#10190), #10240, .T.);
#10260 = ORIENTED_EDGE ('', *, *, #7370, .F.);
#10270 = ORIENTED_EDGE ('', *, *, #5590, .F.);
#10280 = ORIENTED_EDGE ('', *, *, #9660, .T.);
#10290 = ORIENTED_EDGE ('', *, *, #10140, .T.);
#10300 = EDGE_LOOP ('', (#10260, #10270, #10280, #10290));
#10310 = FACE_OUTER_BOUND ('', #10300, .T.);
#10320 = CARTESIAN_POINT ('', (11.9242723473948, 8.001, -4.75670255514755));
#10330 = CARTESIAN_POINT ('', (11.9242723473948, 6.09900000000004, -4.75670255514755));
#10340 = CARTESIAN_POINT ('', (11.6799757842582, 8.001, -1.26309893806835));
#10350 = CARTESIAN_POINT ('', (11.6799757842582, 6.09900000000004, -1.26309893806835));
#10360 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10320, #10330), (#10340, #10350)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.801067320524048, 2.70106732052407), (-1.90099999999996, 0.00100000000000056), .UNSPECIFIED.);
#10370 = ADVANCED_FACE ('', (#10310), #10360, .T.);
#10380 = ORIENTED_EDGE ('', *, *, #5730, .T.);
#10390 = ORIENTED_EDGE ('', *, *, #7290, .F.);
#10400 = CARTESIAN_POINT ('', (29.2749135125191, 6.50000000000005, 1.1164528949152));
#10410 = CARTESIAN_POINT ('', (29.2749135125191, 8.00000000000005, 1.1164528949152));
#10420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10400, #10410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10430 = EDGE_CURVE ('', #7620, #7200, #10420, .T.);
#10440 = ORIENTED_EDGE ('', *, *, #10430, .F.);
#10450 = ORIENTED_EDGE ('', *, *, #7660, .F.);
#10460 = EDGE_LOOP ('', (#10380, #10390, #10440, #10450));
#10470 = FACE_OUTER_BOUND ('', #10460, .T.);
#10480 = CARTESIAN_POINT ('', (30.351, 8.00100000000005, 0.0403664074344379));
#10490 = CARTESIAN_POINT ('', (30.351, 6.49900000000004, 0.0403664074344379));
#10500 = CARTESIAN_POINT ('', (29.2739135125192, 8.00100000000005, 1.11745289491525));
#10510 = CARTESIAN_POINT ('', (29.2739135125192, 6.49900000000004, 1.11745289491525));
#10520 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10480, #10490), (#10500, #10510)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.52181610488184, 0.00141421356231319), (-3.001, -1.49899999999999), .UNSPECIFIED.);
#10530 = ADVANCED_FACE ('', (#10470), #10520, .T.);
#10540 = ORIENTED_EDGE ('', *, *, #7710, .F.);
#10550 = ORIENTED_EDGE ('', *, *, #10430, .T.);
#10560 = ORIENTED_EDGE ('', *, *, #7240, .F.);
#10570 = ORIENTED_EDGE ('', *, *, #4810, .F.);
#10580 = EDGE_LOOP ('', (#10540, #10550, #10560, #10570));
#10590 = FACE_OUTER_BOUND ('', #10580, .T.);
#10600 = CARTESIAN_POINT ('', (29.276096525221, 8.00100000000005, 1.11576988221335));
#10610 = CARTESIAN_POINT ('', (29.276096525221, 6.49900000000005, 1.11576988221335));
#10620 = CARTESIAN_POINT ('', (23.6211011009163, 8.00100000000005, 4.38068301270183));
#10630 = CARTESIAN_POINT ('', (23.6211011009163, 6.49900000000005, 4.38068301270183));
#10640 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10600, #10610), (#10620, #10630)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-6.52846023557317, 0.00136602540369068), (-3.00100000000001, -1.49900000000001), .UNSPECIFIED.);
#10650 = ADVANCED_FACE ('', (#10590), #10640, .T.);
#10660 = ORIENTED_EDGE ('', *, *, #3240, .T.);
#10670 = ORIENTED_EDGE ('', *, *, #6740, .F.);
#10680 = CARTESIAN_POINT ('', (16.4737766950567, 6.50000000000003, -21.1180762113534));
#10690 = CARTESIAN_POINT ('', (-58.4999999999999, 6.50000000000001, -21.1180762113533));
#10700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10680, #10690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10710 = EDGE_CURVE ('', #2610, #6650, #10700, .T.);
#10720 = ORIENTED_EDGE ('', *, *, #10710, .F.);
#10730 = ORIENTED_EDGE ('', *, *, #2650, .F.);
#10740 = CARTESIAN_POINT ('', (19.1331036163844, 4.75000000000003, -20.649165124599));
#10750 = CARTESIAN_POINT ('', (18.9745129601354, 4.75000000000006, -20.6491651245989));
#10760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10740, #10750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10770 = EDGE_CURVE ('', #2540, #20, #10760, .T.);
#10780 = ORIENTED_EDGE ('', *, *, #10770, .T.);
#10790 = ORIENTED_EDGE ('', *, *, #410, .F.);
#10800 = ORIENTED_EDGE ('', *, *, #1490, .F.);
#10810 = EDGE_LOOP ('', (#10660, #10670, #10720, #10730, #10780, #10790, #10800));
#10820 = FACE_OUTER_BOUND ('', #10810, .T.);
#10830 = CARTESIAN_POINT ('', (-58.501, -0.00118301270189389, -19.376089473253));
#10840 = CARTESIAN_POINT ('', (19.1341036163844, -0.00118301270188323, -19.376089473253));
#10850 = CARTESIAN_POINT ('', (-58.501, 6.50118301270193, -21.1183931986515));
#10860 = CARTESIAN_POINT ('', (19.1341036163844, 6.50118301270194, -21.1183931986515));
#10870 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10830, #10840), (#10850, #10860)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-6.73051991753694, 0.00122474487141844), (-58.001, 19.6341036163844), .UNSPECIFIED.);
#10880 = ADVANCED_FACE ('', (#10820), #10870, .T.);
#10890 = ORIENTED_EDGE ('', *, *, #10710, .T.);
#10900 = ORIENTED_EDGE ('', *, *, #6690, .F.);
#10910 = ORIENTED_EDGE ('', *, *, #7090, .F.);
#10920 = ORIENTED_EDGE ('', *, *, #2720, .F.);
#10930 = EDGE_LOOP ('', (#10890, #10900, #10910, #10920));
#10940 = FACE_OUTER_BOUND ('', #10930, .T.);
#10950 = CARTESIAN_POINT ('', (-58.5010000000001, 6.49900000000001, -21.1190762113535));
#10960 = CARTESIAN_POINT ('', (24.9816994244829, 6.49900000000002, -21.1190762113534));
#10970 = CARTESIAN_POINT ('', (-58.5010000000001, 8.00100000000005, -19.6170762113534));
#10980 = CARTESIAN_POINT ('', (24.9816994244829, 8.00100000000006, -19.6170762113533));
#10990 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10950, #10960), (#10970, #10980)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.12273455712204, 0.00141421356239402), (-58.0010000000001, 25.4816994244829), .UNSPECIFIED.);
#11000 = ADVANCED_FACE ('', (#10940), #10990, .T.);
#11010 = CARTESIAN_POINT ('', (0., 2.57571741713036E-14, 2.12935122446909));
#11020 = CARTESIAN_POINT ('', (0., 6.66329931618551, 3.91477689516781));
#11030 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11010, #11020), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11040 = EDGE_CURVE ('', #3430, #3930, #11030, .T.);
#11050 = ORIENTED_EDGE ('', *, *, #11040, .F.);
#11060 = ORIENTED_EDGE ('', *, *, #3470, .F.);
#11070 = ORIENTED_EDGE ('', *, *, #4930, .F.);
#11080 = ORIENTED_EDGE ('', *, *, #7160, .F.);
#11090 = ORIENTED_EDGE ('', *, *, #4040, .F.);
#11100 = EDGE_LOOP ('', (#11050, #11060, #11070, #11080, #11090));
#11110 = FACE_OUTER_BOUND ('', #11100, .T.);
#11120 = CARTESIAN_POINT ('', (0., 8.00100000000004, 2.1283512244691));
#11130 = CARTESIAN_POINT ('', (0., 8.00100000000004, 4.38099999999991));
#11140 = CARTESIAN_POINT ('', (0., -0.000999999999971024, 2.12835122446909));
#11150 = CARTESIAN_POINT ('', (0., -0.000999999999971024, 4.3809999999999));
#11160 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11120, #11130), (#11140, #11150)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.001, 8.00100000000002), (-2.2516487755308, 0.00100000000000477), .UNSPECIFIED.);
#11170 = ADVANCED_FACE ('', (#11110), #11160, .T.);
#11180 = ORIENTED_EDGE ('', *, *, #6430, .T.);
#11190 = ORIENTED_EDGE ('', *, *, #8520, .T.);
#11200 = ORIENTED_EDGE ('', *, *, #2860, .T.);
#11210 = ORIENTED_EDGE ('', *, *, #7030, .T.);
#11220 = ORIENTED_EDGE ('', *, *, #6140, .T.);
#11230 = EDGE_LOOP ('', (#11180, #11190, #11200, #11210, #11220));
#11240 = FACE_OUTER_BOUND ('', #11230, .T.);
#11250 = CARTESIAN_POINT ('', (30., 6.31466362998078, -15.1577773178216));
#11260 = CARTESIAN_POINT ('', (30., 8.15430330636542, -15.1577773178216));
#11270 = CARTESIAN_POINT ('', (30., 6.31466362998078, -12.1577773178216));
#11280 = CARTESIAN_POINT ('', (30., 8.15430330636542, -12.1577773178216));
#11290 = CARTESIAN_POINT ('', (33., 6.31466362998078, -12.1577773178216));
#11300 = CARTESIAN_POINT ('', (33., 8.15430330636542, -12.1577773178216));
#11310 = CARTESIAN_POINT ('', (36., 6.31466362998079, -12.1577773178216));
#11320 = CARTESIAN_POINT ('', (36., 8.15430330636542, -12.1577773178216));
#11330 = CARTESIAN_POINT ('', (36., 6.31466362998079, -15.1577773178216));
#11340 = CARTESIAN_POINT ('', (36., 8.15430330636542, -15.1577773178216));
#11350 = CARTESIAN_POINT ('', (36., 6.31466362998079, -18.1577773178216));
#11360 = CARTESIAN_POINT ('', (36., 8.15430330636542, -18.1577773178216));
#11370 = CARTESIAN_POINT ('', (33., 6.31466362998078, -18.1577773178216));
#11380 = CARTESIAN_POINT ('', (33., 8.15430330636542, -18.1577773178216));
#11390 = CARTESIAN_POINT ('', (30., 6.31466362998078, -18.1577773178216));
#11400 = CARTESIAN_POINT ('', (30., 8.15430330636542, -18.1577773178216));
#11410 = CARTESIAN_POINT ('', (30., 6.31466362998078, -15.1577773178216));
#11420 = CARTESIAN_POINT ('', (30., 8.15430330636542, -15.1577773178216));
#11430 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#11250, #11260), (#11270, #11280), (#11290, #11300), (#11310, #11320), (#11330, #11340), (#11350, #11360), (#11370, #11380), (#11390, #11400), (#11410, #11420)), .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 ('')
);
#11440 = ADVANCED_FACE ('', (#11240), #11430, .T.);
#11450 = ORIENTED_EDGE ('', *, *, #3610, .F.);
#11460 = CARTESIAN_POINT ('', (-8., 6.66329931618551, 3.91477689516781));
#11470 = CARTESIAN_POINT ('', (-8., 2.30926389122033E-14, 2.12935122446909));
#11480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11460, #11470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11490 = EDGE_CURVE ('', #3860, #3500, #11480, .T.);
#11500 = ORIENTED_EDGE ('', *, *, #11490, .F.);
#11510 = ORIENTED_EDGE ('', *, *, #3900, .F.);
#11520 = ORIENTED_EDGE ('', *, *, #4360, .T.);
#11530 = EDGE_LOOP ('', (#11450, #11500, #11510, #11520));
#11540 = FACE_OUTER_BOUND ('', #11530, .T.);
#11550 = CARTESIAN_POINT ('', (-8., 6.66429931618551, 2.12835122446909));
#11560 = CARTESIAN_POINT ('', (-8., -0.000999999999999002, 2.1283512244691));
#11570 = CARTESIAN_POINT ('', (-8., 6.66429931618551, 4.0790762113534));
#11580 = CARTESIAN_POINT ('', (-8., -0.000999999999999002, 4.07907621135341));
#11590 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11550, #11560), (#11570, #11580)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.749896630233302, 2.70062161711761), (-9.46668369144851, -2.801384375263), .UNSPECIFIED.);
#11600 = ADVANCED_FACE ('', (#11540), #11590, .T.);
#11610 = ORIENTED_EDGE ('', *, *, #11490, .T.);
#11620 = ORIENTED_EDGE ('', *, *, #3540, .T.);
#11630 = ORIENTED_EDGE ('', *, *, #11040, .T.);
#11640 = ORIENTED_EDGE ('', *, *, #3970, .T.);
#11650 = EDGE_LOOP ('', (#11610, #11620, #11630, #11640));
#11660 = FACE_OUTER_BOUND ('', #11650, .T.);
#11670 = CARTESIAN_POINT ('', (-8.001, 6.66448232888741, 3.91509388246592));
#11680 = CARTESIAN_POINT ('', (0.000999999999995892, 6.66448232888741, 3.91509388246592));
#11690 = CARTESIAN_POINT ('', (-8.001, -0.00118301270186727, 2.12903423717099));
#11700 = CARTESIAN_POINT ('', (0.000999999999995892, -0.00118301270186727, 2.12903423717099));
#11710 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11670, #11680), (#11690, #11700)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (2.9000170471918, 9.8008216019242), (-8.001, 0.000999999999997669), .UNSPECIFIED.);
#11720 = ADVANCED_FACE ('', (#11660), #11710, .T.);
#11730 = ORIENTED_EDGE ('', *, *, #1340, .F.);
#11740 = CARTESIAN_POINT ('', (8.86234633692651, 3.75000000000004, 4.37999999999994));
#11750 = CARTESIAN_POINT ('', (8.5, 3.75000000000005, 2.14962080934113));
#11760 = CARTESIAN_POINT ('', (8.5, 3.75000000000005, -0.110000000000109));
#11770 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#11740, #11750, #11760), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (350.772373329688, 360.000000000001), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.996759514475654, 1.))
   REPRESENTATION_ITEM ('')
);
#11780 = EDGE_CURVE ('', #4970, #120, #11770, .T.);
#11790 = ORIENTED_EDGE ('', *, *, #11780, .F.);
#11800 = ORIENTED_EDGE ('', *, *, #5010, .T.);
#11810 = ORIENTED_EDGE ('', *, *, #3330, .F.);
#11820 = EDGE_LOOP ('', (#11730, #11790, #11800, #11810));
#11830 = FACE_OUTER_BOUND ('', #11820, .T.);
#11840 = CARTESIAN_POINT ('', (64.5, 4.12620000000006, -0.110000000000115));
#11850 = CARTESIAN_POINT ('', (64.5, -0.376199999999972, -0.110000000000137));
#11860 = CARTESIAN_POINT ('', (64.5, 4.1262000000002, -28.1100000000001));
#11870 = CARTESIAN_POINT ('', (64.5, -0.376199999999834, -28.1100000000001));
#11880 = CARTESIAN_POINT ('', (36.5, 4.12620000000019, -28.1100000000001));
#11890 = CARTESIAN_POINT ('', (36.5, -0.376199999999838, -28.1100000000001));
#11900 = CARTESIAN_POINT ('', (8.5, 4.12620000000019, -28.1100000000001));
#11910 = CARTESIAN_POINT ('', (8.5, -0.376199999999841, -28.1100000000001));
#11920 = CARTESIAN_POINT ('', (8.5, 4.12620000000005, -0.110000000000115));
#11930 = CARTESIAN_POINT ('', (8.5, -0.376199999999979, -0.110000000000137));
#11940 = CARTESIAN_POINT ('', (8.5, 4.12619999999991, 27.8899999999999));
#11950 = CARTESIAN_POINT ('', (8.5, -0.376200000000117, 27.8899999999999));
#11960 = CARTESIAN_POINT ('', (36.5, 4.12619999999992, 27.8899999999999));
#11970 = CARTESIAN_POINT ('', (36.5, -0.376200000000114, 27.8899999999999));
#11980 = CARTESIAN_POINT ('', (64.5, 4.12619999999992, 27.8899999999999));
#11990 = CARTESIAN_POINT ('', (64.5, -0.37620000000011, 27.8899999999999));
#12000 = CARTESIAN_POINT ('', (64.5, 4.12620000000006, -0.110000000000115));
#12010 = CARTESIAN_POINT ('', (64.5, -0.376199999999972, -0.110000000000137));
#12020 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#11840, #11850), (#11860, #11870), (#11880, #11890), (#11900, #11910), (#11920, #11930), (#11940, #11950), (#11960, #11970), (#11980, #11990), (#12000, #12010)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#12030 = ADVANCED_FACE ('', (#11830), #12020, .T.);
#12040 = ORIENTED_EDGE ('', *, *, #90, .F.);
#12050 = ORIENTED_EDGE ('', *, *, #10770, .F.);
#12060 = ORIENTED_EDGE ('', *, *, #2580, .F.);
#12070 = ORIENTED_EDGE ('', *, *, #1880, .F.);
#12080 = ORIENTED_EDGE ('', *, *, #2300, .F.);
#12090 = ORIENTED_EDGE ('', *, *, #4580, .F.);
#12100 = CARTESIAN_POINT ('', (9.5, 4.75000000000005, -0.11000000000008));
#12110 = CARTESIAN_POINT ('', (9.5, 4.75000000000005, 2.15073946067321));
#12120 = CARTESIAN_POINT ('', (9.87595259920084, 4.75000000000004, 4.37999999999991));
#12130 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#12100, #12110, #12120), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 9.57254723316844), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.996512877402803, 1.))
   REPRESENTATION_ITEM ('')
);
#12140 = EDGE_CURVE ('', #40, #4540, #12130, .T.);
#12150 = ORIENTED_EDGE ('', *, *, #12140, .F.);
#12160 = EDGE_LOOP ('', (#12040, #12050, #12060, #12070, #12080, #12090, #12150));
#12170 = FACE_OUTER_BOUND ('', #12160, .T.);
#12180 = CARTESIAN_POINT ('', (9.49899999999997, 4.75000000000006, -20.650165124599));
#12190 = CARTESIAN_POINT ('', (9.49899999999998, 4.75000000000004, 4.38099999999993));
#12200 = CARTESIAN_POINT ('', (31.5647563399199, 4.75000000000007, -20.650165124599));
#12210 = CARTESIAN_POINT ('', (31.5647563399199, 4.75000000000005, 4.38099999999993));
#12220 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12180, #12190), (#12200, #12210)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-27.001, -4.93524366008008), (-20.5401651245989, 4.49100000000001), .UNSPECIFIED.);
#12230 = ADVANCED_FACE ('', (#12170), #12220, .T.);
#12240 = ORIENTED_EDGE ('', *, *, #170, .F.);
#12250 = ORIENTED_EDGE ('', *, *, #12140, .T.);
#12260 = ORIENTED_EDGE ('', *, *, #5200, .T.);
#12270 = ORIENTED_EDGE ('', *, *, #11780, .T.);
#12280 = EDGE_LOOP ('', (#12240, #12250, #12260, #12270));
#12290 = FACE_OUTER_BOUND ('', #12280, .T.);
#12300 = CARTESIAN_POINT ('', (64.5, 3.75000000000005, -0.110000000000123));
#12310 = CARTESIAN_POINT ('', (64.5, 2.75000000000005, -0.110000000000123));
#12320 = CARTESIAN_POINT ('', (63.5, 2.75000000000005, -0.110000000000123));
#12330 = CARTESIAN_POINT ('', (62.5, 2.75000000000005, -0.110000000000123));
#12340 = CARTESIAN_POINT ('', (62.5, 3.75000000000005, -0.110000000000123));
#12350 = CARTESIAN_POINT ('', (62.5, 4.75000000000006, -0.110000000000123));
#12360 = CARTESIAN_POINT ('', (63.5, 4.75000000000006, -0.110000000000123));
#12370 = CARTESIAN_POINT ('', (64.5, 4.75000000000006, -0.110000000000123));
#12380 = CARTESIAN_POINT ('', (64.5, 3.75000000000005, -0.110000000000123));
#12390 = CARTESIAN_POINT ('', (64.5, 3.75000000000007, -28.1100000000001));
#12400 = CARTESIAN_POINT ('', (64.5, 2.75000000000007, -28.1100000000001));
#12410 = CARTESIAN_POINT ('', (63.5, 2.75000000000007, -27.1100000000001));
#12420 = CARTESIAN_POINT ('', (62.5, 2.75000000000007, -26.1100000000001));
#12430 = CARTESIAN_POINT ('', (62.5, 3.75000000000007, -26.1100000000001));
#12440 = CARTESIAN_POINT ('', (62.5, 4.75000000000008, -26.1100000000001));
#12450 = CARTESIAN_POINT ('', (63.5, 4.75000000000008, -27.1100000000001));
#12460 = CARTESIAN_POINT ('', (64.5, 4.75000000000008, -28.1100000000001));
#12470 = CARTESIAN_POINT ('', (64.5, 3.75000000000007, -28.1100000000001));
#12480 = CARTESIAN_POINT ('', (36.5, 3.75000000000007, -28.1100000000001));
#12490 = CARTESIAN_POINT ('', (36.5, 2.75000000000007, -28.1100000000001));
#12500 = CARTESIAN_POINT ('', (36.5, 2.75000000000007, -27.1100000000001));
#12510 = CARTESIAN_POINT ('', (36.5, 2.75000000000007, -26.1100000000001));
#12520 = CARTESIAN_POINT ('', (36.5, 3.75000000000007, -26.1100000000001));
#12530 = CARTESIAN_POINT ('', (36.5, 4.75000000000008, -26.1100000000001));
#12540 = CARTESIAN_POINT ('', (36.5, 4.75000000000008, -27.1100000000001));
#12550 = CARTESIAN_POINT ('', (36.5, 4.75000000000008, -28.1100000000001));
#12560 = CARTESIAN_POINT ('', (36.5, 3.75000000000007, -28.1100000000001));
#12570 = CARTESIAN_POINT ('', (8.50000000000001, 3.75000000000007, -28.1100000000001));
#12580 = CARTESIAN_POINT ('', (8.50000000000001, 2.75000000000007, -28.1100000000001));
#12590 = CARTESIAN_POINT ('', (9.50000000000001, 2.75000000000007, -27.1100000000001));
#12600 = CARTESIAN_POINT ('', (10.5, 2.75000000000007, -26.1100000000001));
#12610 = CARTESIAN_POINT ('', (10.5, 3.75000000000007, -26.1100000000001));
#12620 = CARTESIAN_POINT ('', (10.5, 4.75000000000008, -26.1100000000001));
#12630 = CARTESIAN_POINT ('', (9.5, 4.75000000000008, -27.1100000000001));
#12640 = CARTESIAN_POINT ('', (8.5, 4.75000000000009, -28.1100000000001));
#12650 = CARTESIAN_POINT ('', (8.50000000000001, 3.75000000000007, -28.1100000000001));
#12660 = CARTESIAN_POINT ('', (8.50000000000001, 3.75000000000005, -0.110000000000105));
#12670 = CARTESIAN_POINT ('', (8.50000000000001, 2.75000000000005, -0.110000000000106));
#12680 = CARTESIAN_POINT ('', (9.50000000000001, 2.75000000000005, -0.110000000000106));
#12690 = CARTESIAN_POINT ('', (10.5, 2.75000000000005, -0.110000000000106));
#12700 = CARTESIAN_POINT ('', (10.5, 3.75000000000005, -0.110000000000105));
#12710 = CARTESIAN_POINT ('', (10.5, 4.75000000000006, -0.110000000000103));
#12720 = CARTESIAN_POINT ('', (9.50000000000001, 4.75000000000006, -0.110000000000103));
#12730 = CARTESIAN_POINT ('', (8.50000000000001, 4.75000000000006, -0.110000000000103));
#12740 = CARTESIAN_POINT ('', (8.50000000000001, 3.75000000000005, -0.110000000000105));
#12750 = CARTESIAN_POINT ('', (8.50000000000002, 3.75000000000003, 27.8899999999999));
#12760 = CARTESIAN_POINT ('', (8.50000000000002, 2.75000000000003, 27.8899999999999));
#12770 = CARTESIAN_POINT ('', (9.50000000000002, 2.75000000000003, 26.8899999999999));
#12780 = CARTESIAN_POINT ('', (10.5, 2.75000000000003, 25.8899999999999));
#12790 = CARTESIAN_POINT ('', (10.5, 3.75000000000003, 25.8899999999999));
#12800 = CARTESIAN_POINT ('', (10.5, 4.75000000000004, 25.8899999999999));
#12810 = CARTESIAN_POINT ('', (9.50000000000002, 4.75000000000004, 26.8899999999999));
#12820 = CARTESIAN_POINT ('', (8.50000000000002, 4.75000000000004, 27.8899999999999));
#12830 = CARTESIAN_POINT ('', (8.50000000000002, 3.75000000000003, 27.8899999999999));
#12840 = CARTESIAN_POINT ('', (36.5, 3.75000000000003, 27.8899999999999));
#12850 = CARTESIAN_POINT ('', (36.5, 2.75000000000003, 27.8899999999999));
#12860 = CARTESIAN_POINT ('', (36.5, 2.75000000000003, 26.8899999999999));
#12870 = CARTESIAN_POINT ('', (36.5, 2.75000000000003, 25.8899999999999));
#12880 = CARTESIAN_POINT ('', (36.5, 3.75000000000003, 25.8899999999999));
#12890 = CARTESIAN_POINT ('', (36.5, 4.75000000000004, 25.8899999999999));
#12900 = CARTESIAN_POINT ('', (36.5, 4.75000000000004, 26.8899999999999));
#12910 = CARTESIAN_POINT ('', (36.5, 4.75000000000004, 27.8899999999999));
#12920 = CARTESIAN_POINT ('', (36.5, 3.75000000000003, 27.8899999999999));
#12930 = CARTESIAN_POINT ('', (64.5, 3.75000000000003, 27.8899999999999));
#12940 = CARTESIAN_POINT ('', (64.5, 2.75000000000003, 27.8899999999999));
#12950 = CARTESIAN_POINT ('', (63.5, 2.75000000000003, 26.8899999999999));
#12960 = CARTESIAN_POINT ('', (62.5, 2.75000000000003, 25.8899999999999));
#12970 = CARTESIAN_POINT ('', (62.5, 3.75000000000003, 25.8899999999999));
#12980 = CARTESIAN_POINT ('', (62.5, 4.75000000000004, 25.8899999999999));
#12990 = CARTESIAN_POINT ('', (63.5, 4.75000000000004, 26.8899999999999));
#13000 = CARTESIAN_POINT ('', (64.5, 4.75000000000004, 27.8899999999999));
#13010 = CARTESIAN_POINT ('', (64.5, 3.75000000000003, 27.8899999999999));
#13020 = CARTESIAN_POINT ('', (64.5, 3.75000000000005, -0.110000000000123));
#13030 = CARTESIAN_POINT ('', (64.5, 2.75000000000005, -0.110000000000123));
#13040 = CARTESIAN_POINT ('', (63.5, 2.75000000000005, -0.110000000000123));
#13050 = CARTESIAN_POINT ('', (62.5, 2.75000000000005, -0.110000000000123));
#13060 = CARTESIAN_POINT ('', (62.5, 3.75000000000005, -0.110000000000123));
#13070 = CARTESIAN_POINT ('', (62.5, 4.75000000000006, -0.110000000000123));
#13080 = CARTESIAN_POINT ('', (63.5, 4.75000000000006, -0.110000000000123));
#13090 = CARTESIAN_POINT ('', (64.5, 4.75000000000006, -0.110000000000123));
#13100 = CARTESIAN_POINT ('', (64.5, 3.75000000000005, -0.110000000000123));
#13110 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 2, ((#12300, #12310, #12320, #12330, #12340, #12350, #12360, #12370, #12380), (#12390, #12400, #12410, #12420, #12430, #12440, #12450, #12460, #12470), (#12480, #12490, #12500, #12510, #12520, #12530, #12540, #12550, #12560), (#12570, #12580, #12590, #12600, #12610, #12620, #12630, #12640, #12650), (#12660, #12670, #12680, #12690, #12700, #12710, #12720, #12730, #12740), (#12750, #12760, #12770, #12780, #12790, #12800, #12810, #12820, #12830), (#12840, #12850, #12860, #12870, #12880, #12890, #12900, #12910, #12920), (#12930, #12940, #12950, #12960, #12970, #12980, #12990, #13000, #13010), (#13020, #13030, #13040, #13050, #13060, #13070, #13080, #13090, #13100)), .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 ('')
);
#13120 = ADVANCED_FACE ('', (#12290), #13110, .T.);
#13130 = CLOSED_SHELL ('', (#1270, #1720, #2240, #2520, #3180, #3820, #4320, #4520, #5290, #5870, #6230, #6530, #6830, #7510, #7860, #8170, #9390, #9750, #9930, #10090, #10250, #10370, #10530, #10650, #10880, #11000, #11170, #11440, #11600, #11720, #12030, #12230, #13120));
#13140 = MANIFOLD_SOLID_BREP ('NOCUT', #13130);
#13150 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#13160 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#13170 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#13180 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #13150, 'DISTANCE_ACCURACY_VALUE', '');
#13190 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#13180))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#13150, #13160, #13170))
   REPRESENTATION_CONTEXT ('', '3D')
);
#13200 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#13210 = FILL_AREA_STYLE_COLOUR ('', #13200);
#13220 = FILL_AREA_STYLE ('', (#13210));
#13230 = SURFACE_STYLE_FILL_AREA (#13220);
#13240 = SURFACE_SIDE_STYLE ('', (#13230));
#13250 = SURFACE_STYLE_USAGE (.POSITIVE., #13240);
#13260 = PRESENTATION_STYLE_ASSIGNMENT ((#13250));
#13270 = STYLED_ITEM ('', (#13260), #13140);
#13280 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#13140), #13190);
#13290 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#13300 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #13290);
#13310 = MECHANICAL_CONTEXT ('', #13290, 'mechanical');
#13320 = PRODUCT ('NONE', '', '', (#13310));
#13330 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#13340 = PERSON ('', '', $, $, $, $);
#13350 = ORGANIZATION ($, '', '');
#13360 = PERSON_AND_ORGANIZATION (#13340, #13350);
#13370 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13360, #13330, (#13320));
#13380 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#13320));
#13390 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #13320, .NOT_KNOWN.);
#13400 = APPROVAL_STATUS ('approved');
#13410 = APPROVAL (#13400, '');
#13420 = CALENDAR_DATE (2017, 25, 4);
#13430 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13440 = LOCAL_TIME (13, 8, 17., #13430);
#13450 = DATE_AND_TIME (#13420, #13440);
#13460 = APPROVAL_DATE_TIME (#13450, #13410);
#13470 = APPROVAL_ROLE ('');
#13480 = PERSON ('', '', $, $, $, $);
#13490 = ORGANIZATION ($, '', '');
#13500 = PERSON_AND_ORGANIZATION (#13480, #13490);
#13510 = APPROVAL_PERSON_ORGANIZATION (#13500, #13410, #13470);
#13520 = CC_DESIGN_APPROVAL (#13410, (#13390));
#13530 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#13540 = PERSON ('', '', $, $, $, $);
#13550 = ORGANIZATION ($, '', '');
#13560 = PERSON_AND_ORGANIZATION (#13540, #13550);
#13570 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13560, #13530, (#13390));
#13580 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#13590 = PERSON ('', '', $, $, $, $);
#13600 = ORGANIZATION ($, '', '');
#13610 = PERSON_AND_ORGANIZATION (#13590, #13600);
#13620 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13610, #13580, (#13390));
#13630 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#13640 = SECURITY_CLASSIFICATION ('', '', #13630);
#13650 = APPROVAL_STATUS ('approved');
#13660 = APPROVAL (#13650, '');
#13670 = CALENDAR_DATE (2017, 25, 4);
#13680 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13690 = LOCAL_TIME (13, 8, 17., #13680);
#13700 = DATE_AND_TIME (#13670, #13690);
#13710 = APPROVAL_DATE_TIME (#13700, #13660);
#13720 = APPROVAL_ROLE ('');
#13730 = PERSON ('', '', $, $, $, $);
#13740 = ORGANIZATION ($, '', '');
#13750 = PERSON_AND_ORGANIZATION (#13730, #13740);
#13760 = APPROVAL_PERSON_ORGANIZATION (#13750, #13660, #13720);
#13770 = CC_DESIGN_APPROVAL (#13660, (#13640));
#13780 = DATE_TIME_ROLE ('classification_date');
#13790 = CALENDAR_DATE (2017, 25, 4);
#13800 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13810 = LOCAL_TIME (13, 8, 17., #13800);
#13820 = DATE_AND_TIME (#13790, #13810);
#13830 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#13820, #13780, (#13640));
#13840 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#13850 = PERSON ('', '', $, $, $, $);
#13860 = ORGANIZATION ($, '', '');
#13870 = PERSON_AND_ORGANIZATION (#13850, #13860);
#13880 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13870, #13840, (#13640));
#13890 = CC_DESIGN_SECURITY_CLASSIFICATION (#13640, (#13390));
#13900 = DESIGN_CONTEXT ('', #13290, 'design');
#13910 = PRODUCT_DEFINITION ('', '', #13390, #13900);
#13920 = APPROVAL_STATUS ('approved');
#13930 = APPROVAL (#13920, '');
#13940 = CALENDAR_DATE (2017, 25, 4);
#13950 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13960 = LOCAL_TIME (13, 8, 17., #13950);
#13970 = DATE_AND_TIME (#13940, #13960);
#13980 = APPROVAL_DATE_TIME (#13970, #13930);
#13990 = APPROVAL_ROLE ('');
#14000 = PERSON ('', '', $, $, $, $);
#14010 = ORGANIZATION ($, '', '');
#14020 = PERSON_AND_ORGANIZATION (#14000, #14010);
#14030 = APPROVAL_PERSON_ORGANIZATION (#14020, #13930, #13990);
#14040 = CC_DESIGN_APPROVAL (#13930, (#13910));
#14050 = DATE_TIME_ROLE ('creation_date');
#14060 = CALENDAR_DATE (2017, 25, 4);
#14070 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#14080 = LOCAL_TIME (13, 8, 17., #14070);
#14090 = DATE_AND_TIME (#14060, #14080);
#14100 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#14090, #14050, (#13910));
#14110 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#14120 = PERSON ('', '', $, $, $, $);
#14130 = ORGANIZATION ($, '', '');
#14140 = PERSON_AND_ORGANIZATION (#14120, #14130);
#14150 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#14140, #14110, (#13910));
#14160 = PRODUCT_DEFINITION_SHAPE ('', '', #13910);
#14170 = SHAPE_DEFINITION_REPRESENTATION (#14160, #13280);
#14180 = CARTESIAN_POINT ('', (36.1892000096711, 8.00000000000004, -4.84012876249103));
#14190 = VERTEX_POINT ('', #14180);
#14200 = CARTESIAN_POINT ('', (13.5444960687731, 8.00000000000003, -6.42360071648251));
#14210 = VERTEX_POINT ('', #14200);
#14220 = CARTESIAN_POINT ('', (36.1892000096711, 8.00000000000004, -4.84012876249103));
#14230 = CARTESIAN_POINT ('', (13.5444960687731, 8.00000000000003, -6.42360071648251));
#14240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14220, #14230), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14250 = EDGE_CURVE ('', #14190, #14210, #14240, .T.);
#14260 = ORIENTED_EDGE ('', *, *, #14250, .T.);
#14270 = CARTESIAN_POINT ('', (13.343728768534, 8.00000000000003, -3.55249456050184));
#14280 = VERTEX_POINT ('', #14270);
#14290 = CARTESIAN_POINT ('', (13.5444960687731, 8.00000000000003, -6.42360071648251));
#14300 = CARTESIAN_POINT ('', (13.343728768534, 8.00000000000003, -3.55249456050184));
#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 ('', (16.2030351485652, 8.00000000000003, -6.03805167601635));
#14350 = VERTEX_POINT ('', #14340);
#14360 = CARTESIAN_POINT ('', (13.343728768534, 8.00000000000003, -3.55249456050184));
#14370 = CARTESIAN_POINT ('', (16.2030351485653, 8.00000000000003, -6.03805167601635));
#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 ('', (15.5321425939064, 8.00000000000003, -1.26440310562338));
#14420 = VERTEX_POINT ('', #14410);
#14430 = CARTESIAN_POINT ('', (16.2030351485653, 8.00000000000003, -6.03805167601635));
#14440 = CARTESIAN_POINT ('', (15.5321425939064, 8.00000000000003, -1.26440310562338));
#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 ('', (14.8941509634121, 8.00000000000003, -1.35406698190617));
#14490 = VERTEX_POINT ('', #14480);
#14500 = CARTESIAN_POINT ('', (15.5321425939064, 8.00000000000003, -1.26440310562338));
#14510 = CARTESIAN_POINT ('', (14.8941509634121, 8.00000000000003, -1.35406698190617));
#14520 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14500, #14510), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14530 = EDGE_CURVE ('', #14420, #14490, #14520, .T.);
#14540 = ORIENTED_EDGE ('', *, *, #14530, .T.);
#14550 = CARTESIAN_POINT ('', (15.1469009430101, 8.00000000000003, -1.01865643031604));
#14560 = VERTEX_POINT ('', #14550);
#14570 = CARTESIAN_POINT ('', (14.8941509634121, 8.00000000000003, -1.35406698190617));
#14580 = CARTESIAN_POINT ('', (15.1469009430101, 8.00000000000003, -1.01865643031604));
#14590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14570, #14580), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14600 = EDGE_CURVE ('', #14490, #14560, #14590, .T.);
#14610 = ORIENTED_EDGE ('', *, *, #14600, .T.);
#14620 = CARTESIAN_POINT ('', (33.8501667726963, 8.00000000000004, 0.289203322085759));
#14630 = VERTEX_POINT ('', #14620);
#14640 = CARTESIAN_POINT ('', (15.1469009430101, 8.00000000000003, -1.01865643031604));
#14650 = CARTESIAN_POINT ('', (33.8501667726963, 8.00000000000004, 0.289203322085759));
#14660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14640, #14650), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14670 = EDGE_CURVE ('', #14560, #14630, #14660, .T.);
#14680 = ORIENTED_EDGE ('', *, *, #14670, .T.);
#14690 = CARTESIAN_POINT ('', (34.1471371334268, 8.00000000000004, -0.00776703864469663));
#14700 = VERTEX_POINT ('', #14690);
#14710 = CARTESIAN_POINT ('', (34.1471371334268, 8.00000000000004, -0.00776703864471084));
#14720 = CARTESIAN_POINT ('', (33.8501667726963, 8.00000000000004, 0.289203322085759));
#14730 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14710, #14720), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14740 = EDGE_CURVE ('', #14700, #14630, #14730, .T.);
#14750 = ORIENTED_EDGE ('', *, *, #14740, .F.);
#14760 = CARTESIAN_POINT ('', (33.5028755939175, 8.00000000000004, -0.00776703864471084));
#14770 = VERTEX_POINT ('', #14760);
#14780 = CARTESIAN_POINT ('', (33.5028755939175, 8.00000000000004, -0.00776703864471084));
#14790 = CARTESIAN_POINT ('', (34.1471371334268, 8.00000000000004, -0.00776703864471084));
#14800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14780, #14790), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14810 = EDGE_CURVE ('', #14770, #14700, #14800, .T.);
#14820 = ORIENTED_EDGE ('', *, *, #14810, .F.);
#14830 = CARTESIAN_POINT ('', (33.5028755939175, 8.00000000000004, -4.8283289865416));
#14840 = VERTEX_POINT ('', #14830);
#14850 = CARTESIAN_POINT ('', (33.5028755939175, 8.00000000000004, -4.8283289865416));
#14860 = CARTESIAN_POINT ('', (33.5028755939175, 8.00000000000004, -0.00776703864471084));
#14870 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14850, #14860), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14880 = EDGE_CURVE ('', #14840, #14770, #14870, .T.);
#14890 = ORIENTED_EDGE ('', *, *, #14880, .F.);
#14900 = CARTESIAN_POINT ('', (35.988432709432, 8.00000000000004, -1.96902260651037));
#14910 = VERTEX_POINT ('', #14900);
#14920 = CARTESIAN_POINT ('', (35.988432709432, 8.00000000000004, -1.96902260651037));
#14930 = CARTESIAN_POINT ('', (33.5028755939175, 8.00000000000004, -4.8283289865416));
#14940 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14920, #14930), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14950 = EDGE_CURVE ('', #14910, #14840, #14940, .T.);
#14960 = ORIENTED_EDGE ('', *, *, #14950, .F.);
#14970 = CARTESIAN_POINT ('', (36.1892000096711, 8.00000000000004, -4.84012876249103));
#14980 = CARTESIAN_POINT ('', (35.988432709432, 8.00000000000004, -1.96902260651037));
#14990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14970, #14980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15000 = EDGE_CURVE ('', #14190, #14910, #14990, .T.);
#15010 = ORIENTED_EDGE ('', *, *, #15000, .F.);
#15020 = EDGE_LOOP ('', (#14260, #14330, #14400, #14470, #14540, #14610, #14680, #14750, #14820, #14890, #14960, #15010));
#15030 = FACE_OUTER_BOUND ('', #15020, .T.);
#15040 = CARTESIAN_POINT ('', (13.1751145668802, 8.00000000000003, -1.15553472353435));
#15050 = CARTESIAN_POINT ('', (13.5435682611966, 8.00000000000003, -6.42466803700651));
#15060 = CARTESIAN_POINT ('', (35.8218136358787, 8.00000000000004, 0.428076743404593));
#15070 = CARTESIAN_POINT ('', (36.1902673301951, 8.00000000000004, -4.84105657006757));
#15080 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15040, #15050), (#15060, #15070)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.649000000000001, 23.351), (-5.34828736026604, -0.0662873602662799), .UNSPECIFIED.);
#15090 = ADVANCED_FACE ('', (#15030), #15080, .T.);
#15100 = CARTESIAN_POINT ('', (15.1469009430101, 6.50000000000003, -1.01865643031604));
#15110 = VERTEX_POINT ('', #15100);
#15120 = CARTESIAN_POINT ('', (33.8501667726963, 6.50000000000004, 0.289203322085759));
#15130 = VERTEX_POINT ('', #15120);
#15140 = CARTESIAN_POINT ('', (15.1469009430101, 6.50000000000003, -1.01865643031604));
#15150 = CARTESIAN_POINT ('', (33.8501667726963, 6.50000000000004, 0.289203322085759));
#15160 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15140, #15150), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15170 = EDGE_CURVE ('', #15110, #15130, #15160, .T.);
#15180 = ORIENTED_EDGE ('', *, *, #15170, .F.);
#15190 = CARTESIAN_POINT ('', (14.8941509634121, 6.50000000000003, -1.35406698190617));
#15200 = VERTEX_POINT ('', #15190);
#15210 = CARTESIAN_POINT ('', (15.1469009430101, 6.50000000000003, -1.01865643031604));
#15220 = CARTESIAN_POINT ('', (14.8941509634121, 6.50000000000003, -1.35406698190617));
#15230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15210, #15220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15240 = EDGE_CURVE ('', #15110, #15200, #15230, .T.);
#15250 = ORIENTED_EDGE ('', *, *, #15240, .T.);
#15260 = CARTESIAN_POINT ('', (15.5321425939064, 6.50000000000003, -1.26440310562338));
#15270 = VERTEX_POINT ('', #15260);
#15280 = CARTESIAN_POINT ('', (15.5321425939064, 6.50000000000003, -1.26440310562338));
#15290 = CARTESIAN_POINT ('', (14.8941509634121, 6.50000000000003, -1.35406698190617));
#15300 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15280, #15290), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15310 = EDGE_CURVE ('', #15270, #15200, #15300, .T.);
#15320 = ORIENTED_EDGE ('', *, *, #15310, .F.);
#15330 = CARTESIAN_POINT ('', (16.2030351485652, 6.50000000000003, -6.03805167601635));
#15340 = VERTEX_POINT ('', #15330);
#15350 = CARTESIAN_POINT ('', (16.2030351485653, 6.50000000000003, -6.03805167601635));
#15360 = CARTESIAN_POINT ('', (15.5321425939064, 6.50000000000003, -1.26440310562338));
#15370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15350, #15360), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15380 = EDGE_CURVE ('', #15340, #15270, #15370, .T.);
#15390 = ORIENTED_EDGE ('', *, *, #15380, .F.);
#15400 = CARTESIAN_POINT ('', (13.343728768534, 6.50000000000003, -3.55249456050184));
#15410 = VERTEX_POINT ('', #15400);
#15420 = CARTESIAN_POINT ('', (13.343728768534, 6.50000000000003, -3.55249456050184));
#15430 = CARTESIAN_POINT ('', (16.2030351485653, 6.50000000000003, -6.03805167601635));
#15440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15420, #15430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15450 = EDGE_CURVE ('', #15410, #15340, #15440, .T.);
#15460 = ORIENTED_EDGE ('', *, *, #15450, .F.);
#15470 = CARTESIAN_POINT ('', (13.5444960687731, 6.50000000000003, -6.42360071648251));
#15480 = VERTEX_POINT ('', #15470);
#15490 = CARTESIAN_POINT ('', (13.5444960687731, 6.50000000000003, -6.42360071648251));
#15500 = CARTESIAN_POINT ('', (13.343728768534, 6.50000000000003, -3.55249456050184));
#15510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15490, #15500), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15520 = EDGE_CURVE ('', #15480, #15410, #15510, .T.);
#15530 = ORIENTED_EDGE ('', *, *, #15520, .F.);
#15540 = CARTESIAN_POINT ('', (36.1892000096711, 6.50000000000004, -4.84012876249103));
#15550 = VERTEX_POINT ('', #15540);
#15560 = CARTESIAN_POINT ('', (36.1892000096711, 6.50000000000004, -4.84012876249103));
#15570 = CARTESIAN_POINT ('', (13.5444960687731, 6.50000000000003, -6.42360071648251));
#15580 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15560, #15570), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15590 = EDGE_CURVE ('', #15550, #15480, #15580, .T.);
#15600 = ORIENTED_EDGE ('', *, *, #15590, .F.);
#15610 = CARTESIAN_POINT ('', (35.988432709432, 6.50000000000004, -1.96902260651037));
#15620 = VERTEX_POINT ('', #15610);
#15630 = CARTESIAN_POINT ('', (36.1892000096711, 6.50000000000004, -4.84012876249103));
#15640 = CARTESIAN_POINT ('', (35.988432709432, 6.50000000000004, -1.96902260651037));
#15650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15630, #15640), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15660 = EDGE_CURVE ('', #15550, #15620, #15650, .T.);
#15670 = ORIENTED_EDGE ('', *, *, #15660, .T.);
#15680 = CARTESIAN_POINT ('', (33.5028755939175, 6.50000000000004, -4.8283289865416));
#15690 = VERTEX_POINT ('', #15680);
#15700 = CARTESIAN_POINT ('', (35.988432709432, 6.50000000000004, -1.96902260651037));
#15710 = CARTESIAN_POINT ('', (33.5028755939175, 6.50000000000004, -4.8283289865416));
#15720 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15700, #15710), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15730 = EDGE_CURVE ('', #15620, #15690, #15720, .T.);
#15740 = ORIENTED_EDGE ('', *, *, #15730, .T.);
#15750 = CARTESIAN_POINT ('', (33.5028755939175, 6.50000000000004, -0.00776703864471084));
#15760 = VERTEX_POINT ('', #15750);
#15770 = CARTESIAN_POINT ('', (33.5028755939175, 6.50000000000004, -4.8283289865416));
#15780 = CARTESIAN_POINT ('', (33.5028755939175, 6.50000000000004, -0.00776703864471084));
#15790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15770, #15780), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15800 = EDGE_CURVE ('', #15690, #15760, #15790, .T.);
#15810 = ORIENTED_EDGE ('', *, *, #15800, .T.);
#15820 = CARTESIAN_POINT ('', (34.1471371334268, 6.50000000000004, -0.00776703864469663));
#15830 = VERTEX_POINT ('', #15820);
#15840 = CARTESIAN_POINT ('', (33.5028755939175, 6.50000000000004, -0.00776703864471084));
#15850 = CARTESIAN_POINT ('', (34.1471371334268, 6.50000000000004, -0.00776703864471084));
#15860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15840, #15850), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15870 = EDGE_CURVE ('', #15760, #15830, #15860, .T.);
#15880 = ORIENTED_EDGE ('', *, *, #15870, .T.);
#15890 = CARTESIAN_POINT ('', (33.8501667726963, 6.50000000000004, 0.289203322085759));
#15900 = CARTESIAN_POINT ('', (34.1471371334268, 6.50000000000004, -0.0077670386447109));
#15910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15890, #15900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15920 = EDGE_CURVE ('', #15130, #15830, #15910, .T.);
#15930 = ORIENTED_EDGE ('', *, *, #15920, .F.);
#15940 = EDGE_LOOP ('', (#15180, #15250, #15320, #15390, #15460, #15530, #15600, #15670, #15740, #15810, #15880, #15930));
#15950 = FACE_OUTER_BOUND ('', #15940, .T.);
#15960 = CARTESIAN_POINT ('', (35.8218136358787, 6.50000000000004, 0.428076743404593));
#15970 = CARTESIAN_POINT ('', (36.1902673301951, 6.50000000000004, -4.84105657006755));
#15980 = CARTESIAN_POINT ('', (13.1751145668802, 6.50000000000003, -1.15553472353435));
#15990 = CARTESIAN_POINT ('', (13.5435682611966, 6.50000000000003, -6.42466803700649));
#16000 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15960, #15970), (#15980, #15990)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-23.351, -0.649000000000001), (-5.34828736026604, -0.0662873602662799), .UNSPECIFIED.);
#16010 = ADVANCED_FACE ('', (#15950), #16000, .T.);
#16020 = ORIENTED_EDGE ('', *, *, #15590, .T.);
#16030 = CARTESIAN_POINT ('', (13.5444960687731, 6.50000000000003, -6.42360071648251));
#16040 = CARTESIAN_POINT ('', (13.5444960687731, 8.00000000000003, -6.42360071648251));
#16050 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16030, #16040), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16060 = EDGE_CURVE ('', #15480, #14210, #16050, .T.);
#16070 = ORIENTED_EDGE ('', *, *, #16060, .T.);
#16080 = ORIENTED_EDGE ('', *, *, #14250, .F.);
#16090 = CARTESIAN_POINT ('', (36.1892000096711, 6.50000000000004, -4.84012876249103));
#16100 = CARTESIAN_POINT ('', (36.1892000096711, 8.00000000000004, -4.84012876249103));
#16110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16090, #16100), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16120 = EDGE_CURVE ('', #15550, #14190, #16110, .T.);
#16130 = ORIENTED_EDGE ('', *, *, #16120, .F.);
#16140 = EDGE_LOOP ('', (#16020, #16070, #16080, #16130));
#16150 = FACE_OUTER_BOUND ('', #16140, .T.);
#16160 = CARTESIAN_POINT ('', (13.5434985047228, 8.00100000000003, -6.42367047295625));
#16170 = CARTESIAN_POINT ('', (13.5434985047228, 6.49900000000003, -6.42367047295625));
#16180 = CARTESIAN_POINT ('', (36.1901975737214, 8.00100000000004, -4.84005900601729));
#16190 = CARTESIAN_POINT ('', (36.1901975737214, 6.49900000000004, -4.84005900601729));
#16200 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16160, #16170), (#16180, #16190)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-23.4869089098962, -0.784908909896197), (5.849, 7.351), .UNSPECIFIED.);
#16210 = ADVANCED_FACE ('', (#16150), #16200, .T.);
#16220 = ORIENTED_EDGE ('', *, *, #14670, .F.);
#16230 = CARTESIAN_POINT ('', (15.1469009430101, 8.00000000000003, -1.01865643031604));
#16240 = CARTESIAN_POINT ('', (15.1469009430101, 6.50000000000003, -1.01865643031604));
#16250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16230, #16240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16260 = EDGE_CURVE ('', #14560, #15110, #16250, .T.);
#16270 = ORIENTED_EDGE ('', *, *, #16260, .T.);
#16280 = ORIENTED_EDGE ('', *, *, #15170, .T.);
#16290 = CARTESIAN_POINT ('', (33.8501667726963, 8.00000000000004, 0.289203322085759));
#16300 = CARTESIAN_POINT ('', (33.8501667726963, 6.50000000000004, 0.289203322085759));
#16310 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16290, #16300), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16320 = EDGE_CURVE ('', #14630, #15130, #16310, .T.);
#16330 = ORIENTED_EDGE ('', *, *, #16320, .F.);
#16340 = EDGE_LOOP ('', (#16220, #16270, #16280, #16330));
#16350 = FACE_OUTER_BOUND ('', #16340, .T.);
#16360 = CARTESIAN_POINT ('', (33.8511643367466, 8.00100000000004, 0.289273078559508));
#16370 = CARTESIAN_POINT ('', (33.8511643367466, 6.49900000000004, 0.289273078559508));
#16380 = CARTESIAN_POINT ('', (15.1459033789598, 8.00100000000003, -1.01872618678977));
#16390 = CARTESIAN_POINT ('', (15.1459033789598, 6.49900000000003, -1.01872618678977));
#16400 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16360, #16370), (#16380, #16390)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (2.76044026058253, 21.5113775592099), (5.849, 7.351), .UNSPECIFIED.);
#16410 = ADVANCED_FACE ('', (#16350), #16400, .T.);
#16420 = ORIENTED_EDGE ('', *, *, #14740, .T.);
#16430 = ORIENTED_EDGE ('', *, *, #16320, .T.);
#16440 = ORIENTED_EDGE ('', *, *, #15920, .T.);
#16450 = CARTESIAN_POINT ('', (34.1471371334268, 6.50000000000004, -0.00776703864471084));
#16460 = CARTESIAN_POINT ('', (34.1471371334268, 8.00000000000004, -0.00776703864471084));
#16470 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16450, #16460), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16480 = EDGE_CURVE ('', #15830, #14700, #16470, .T.);
#16490 = ORIENTED_EDGE ('', *, *, #16480, .T.);
#16500 = EDGE_LOOP ('', (#16420, #16430, #16440, #16490));
#16510 = FACE_OUTER_BOUND ('', #16500, .T.);
#16520 = CARTESIAN_POINT ('', (34.148134697477, 8.00100000000004, -0.0087646026949626));
#16530 = CARTESIAN_POINT ('', (34.148134697477, 6.49900000000004, -0.0087646026949626));
#16540 = CARTESIAN_POINT ('', (33.849169208646, 8.00100000000004, 0.290200886136025));
#16550 = CARTESIAN_POINT ('', (33.849169208646, 6.49900000000004, 0.290200886136025));
#16560 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16520, #16530), (#16540, #16550)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.421390280377074, 0.00141076860921263), (-4.27430748765417, -2.77230748765417), .UNSPECIFIED.);
#16570 = ADVANCED_FACE ('', (#16510), #16560, .T.);
#16580 = ORIENTED_EDGE ('', *, *, #16480, .F.);
#16590 = ORIENTED_EDGE ('', *, *, #15870, .F.);
#16600 = CARTESIAN_POINT ('', (36.5028755939175, 6.25000000000004, -0.00776703864469663));
#16610 = VERTEX_POINT ('', #16600);
#16620 = CARTESIAN_POINT ('', (36.5028755939175, 6.25000000000004, -0.00776703864469663));
#16630 = CARTESIAN_POINT ('', (33.5028755939175, 6.50000000000004, -0.00776703864471084));
#16640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16620, #16630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16650 = EDGE_CURVE ('', #16610, #15760, #16640, .T.);
#16660 = ORIENTED_EDGE ('', *, *, #16650, .F.);
#16670 = CARTESIAN_POINT ('', (36.5028755939175, 8.25000000000004, -0.00776703864469663));
#16680 = VERTEX_POINT ('', #16670);
#16690 = CARTESIAN_POINT ('', (36.5028755939175, 6.25000000000004, -0.00776703864469663));
#16700 = CARTESIAN_POINT ('', (36.5028755939175, 8.25000000000004, -0.00776703864469663));
#16710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16690, #16700), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16720 = EDGE_CURVE ('', #16610, #16680, #16710, .T.);
#16730 = ORIENTED_EDGE ('', *, *, #16720, .T.);
#16740 = CARTESIAN_POINT ('', (36.5028755939175, 8.25000000000004, -0.00776703864469663));
#16750 = CARTESIAN_POINT ('', (33.5028755939175, 8.00000000000004, -0.00776703864471084));
#16760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16740, #16750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16770 = EDGE_CURVE ('', #16680, #14770, #16760, .T.);
#16780 = ORIENTED_EDGE ('', *, *, #16770, .T.);
#16790 = ORIENTED_EDGE ('', *, *, #14810, .T.);
#16800 = EDGE_LOOP ('', (#16580, #16590, #16660, #16730, #16780, #16790));
#16810 = FACE_OUTER_BOUND ('', #16800, .T.);
#16820 = CARTESIAN_POINT ('', (36.5039429144415, 8.25100000000004, -0.00776703864471084));
#16830 = CARTESIAN_POINT ('', (36.5039429144415, 6.24900000000004, -0.00776703864471084));
#16840 = CARTESIAN_POINT ('', (33.5018082733935, 8.25100000000004, -0.00776703864469663));
#16850 = CARTESIAN_POINT ('', (33.5018082733935, 6.24900000000004, -0.00776703864469663));
#16860 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16820, #16830), (#16840, #16850)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.001067320524, 0.00106732052400282), (-4.52430748765417, -2.52230748765417), .UNSPECIFIED.);
#16870 = ADVANCED_FACE ('', (#16810), #16860, .T.);
#16880 = CARTESIAN_POINT ('', (35.988432709432, 6.50000000000004, -1.96902260651037));
#16890 = CARTESIAN_POINT ('', (35.988432709432, 8.00000000000004, -1.96902260651037));
#16900 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16880, #16890), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16910 = EDGE_CURVE ('', #15620, #14910, #16900, .T.);
#16920 = ORIENTED_EDGE ('', *, *, #16910, .T.);
#16930 = ORIENTED_EDGE ('', *, *, #14950, .T.);
#16940 = CARTESIAN_POINT ('', (36.5028755939176, 8.25000000000004, -1.37722376487866));
#16950 = VERTEX_POINT ('', #16940);
#16960 = CARTESIAN_POINT ('', (33.5028755939175, 8.00000000000004, -4.8283289865416));
#16970 = CARTESIAN_POINT ('', (36.5028755939176, 8.25000000000004, -1.37722376487866));
#16980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16960, #16970), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16990 = EDGE_CURVE ('', #14840, #16950, #16980, .T.);
#17000 = ORIENTED_EDGE ('', *, *, #16990, .T.);
#17010 = CARTESIAN_POINT ('', (36.5028755939176, 6.25000000000004, -1.37722376487866));
#17020 = VERTEX_POINT ('', #17010);
#17030 = CARTESIAN_POINT ('', (36.5028755939176, 6.25000000000004, -1.37722376487866));
#17040 = CARTESIAN_POINT ('', (36.5028755939176, 8.25000000000004, -1.37722376487866));
#17050 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17030, #17040), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17060 = EDGE_CURVE ('', #17020, #16950, #17050, .T.);
#17070 = ORIENTED_EDGE ('', *, *, #17060, .F.);
#17080 = CARTESIAN_POINT ('', (33.5028755939175, 6.50000000000004, -4.8283289865416));
#17090 = CARTESIAN_POINT ('', (36.5028755939176, 6.25000000000004, -1.37722376487865));
#17100 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17080, #17090), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17110 = EDGE_CURVE ('', #15690, #17020, #17100, .T.);
#17120 = ORIENTED_EDGE ('', *, *, #17110, .F.);
#17130 = ORIENTED_EDGE ('', *, *, #15730, .F.);
#17140 = EDGE_LOOP ('', (#16920, #16930, #17000, #17070, #17120, #17130));
#17150 = FACE_OUTER_BOUND ('', #17140, .T.);
#17160 = CARTESIAN_POINT ('', (33.501947786341, 8.25100000000004, -4.8293963070656));
#17170 = CARTESIAN_POINT ('', (33.501947786341, 6.24900000000005, -4.8293963070656));
#17180 = CARTESIAN_POINT ('', (36.5038034014941, 8.25100000000004, -1.37615644435463));
#17190 = CARTESIAN_POINT ('', (36.5038034014941, 6.24900000000005, -1.37615644435463));
#17200 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17160, #17170), (#17180, #17190)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.785555368173217, 3.79003231906894), (-35.251, -33.249), .UNSPECIFIED.);
#17210 = ADVANCED_FACE ('', (#17150), #17200, .T.);
#17220 = ORIENTED_EDGE ('', *, *, #15660, .F.);
#17230 = ORIENTED_EDGE ('', *, *, #16120, .T.);
#17240 = ORIENTED_EDGE ('', *, *, #15000, .T.);
#17250 = ORIENTED_EDGE ('', *, *, #16910, .F.);
#17260 = EDGE_LOOP ('', (#17220, #17230, #17240, #17250));
#17270 = FACE_OUTER_BOUND ('', #17260, .T.);
#17280 = CARTESIAN_POINT ('', (35.9883629529583, 8.00100000000004, -1.96802504246012));
#17290 = CARTESIAN_POINT ('', (36.1892697661449, 8.00100000000004, -4.8411263265413));
#17300 = CARTESIAN_POINT ('', (35.9883629529583, 6.49900000000004, -1.96802504246012));
#17310 = CARTESIAN_POINT ('', (36.1892697661449, 6.49900000000004, -4.8411263265413));
#17320 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17280, #17290), (#17300, #17310)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (33.499, 35.001), (-3.001, -0.12088289540621), .UNSPECIFIED.);
#17330 = ADVANCED_FACE ('', (#17270), #17320, .T.);
#17340 = ORIENTED_EDGE ('', *, *, #17060, .T.);
#17350 = CARTESIAN_POINT ('', (36.5028755939176, 8.25000000000004, -1.37722376487866));
#17360 = CARTESIAN_POINT ('', (36.5028755939175, 8.25000000000004, -0.00776703864469663));
#17370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17350, #17360), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17380 = EDGE_CURVE ('', #16950, #16680, #17370, .T.);
#17390 = ORIENTED_EDGE ('', *, *, #17380, .T.);
#17400 = ORIENTED_EDGE ('', *, *, #16720, .F.);
#17410 = CARTESIAN_POINT ('', (36.5028755939176, 6.25000000000004, -1.37722376487866));
#17420 = CARTESIAN_POINT ('', (36.5028755939175, 6.25000000000004, -0.00776703864469663));
#17430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17410, #17420), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17440 = EDGE_CURVE ('', #17020, #16610, #17430, .T.);
#17450 = ORIENTED_EDGE ('', *, *, #17440, .F.);
#17460 = EDGE_LOOP ('', (#17340, #17390, #17400, #17450));
#17470 = FACE_OUTER_BOUND ('', #17460, .T.);
#17480 = CARTESIAN_POINT ('', (36.5028755939175, 8.25100000000004, -1.37829108540266));
#17490 = CARTESIAN_POINT ('', (36.5028755939175, 6.24900000000005, -1.37829108540266));
#17500 = CARTESIAN_POINT ('', (36.5028755939175, 8.25100000000004, -0.00669971812070957));
#17510 = CARTESIAN_POINT ('', (36.5028755939175, 6.24900000000005, -0.00669971812070957));
#17520 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17480, #17490), (#17500, #17510)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052400371, 1.37052404675796), (-35.251, -33.249), .UNSPECIFIED.);
#17530 = ADVANCED_FACE ('', (#17470), #17520, .T.);
#17540 = ORIENTED_EDGE ('', *, *, #16990, .F.);
#17550 = ORIENTED_EDGE ('', *, *, #14880, .T.);
#17560 = ORIENTED_EDGE ('', *, *, #16770, .F.);
#17570 = ORIENTED_EDGE ('', *, *, #17380, .F.);
#17580 = EDGE_LOOP ('', (#17540, #17550, #17560, #17570));
#17590 = FACE_OUTER_BOUND ('', #17580, .T.);
#17600 = CARTESIAN_POINT ('', (33.1684892769326, 7.97213447358462, -0.0287012096315307));
#17610 = CARTESIAN_POINT ('', (33.5019722104617, 7.99992471804538, -4.83084759527643));
#17620 = CARTESIAN_POINT ('', (36.4892817556367, 8.2488671801433, 0.203511221530197));
#17630 = CARTESIAN_POINT ('', (36.8227646891658, 8.27665742460406, -4.5986351641147));
#17640 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17600, #17610), (#17620, #17630)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.86002103545234, 0.48036311770773), (-7.08954949763784, -2.27575753352009), .UNSPECIFIED.);
#17650 = ADVANCED_FACE ('', (#17590), #17640, .T.);
#17660 = ORIENTED_EDGE ('', *, *, #15800, .F.);
#17670 = ORIENTED_EDGE ('', *, *, #17110, .T.);
#17680 = ORIENTED_EDGE ('', *, *, #17440, .T.);
#17690 = ORIENTED_EDGE ('', *, *, #16650, .T.);
#17700 = EDGE_LOOP ('', (#17660, #17670, #17680, #17690));
#17710 = FACE_OUTER_BOUND ('', #17700, .T.);
#17720 = CARTESIAN_POINT ('', (36.4892817556367, 6.25113281985678, 0.203511221530197));
#17730 = CARTESIAN_POINT ('', (36.8227646891658, 6.22334257539602, -4.59863516411469));
#17740 = CARTESIAN_POINT ('', (33.1684892769326, 6.52786552641545, -0.0287012096315307));
#17750 = CARTESIAN_POINT ('', (33.5019722104617, 6.50007528195469, -4.83084759527642));
#17760 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17720, #17730), (#17740, #17750)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.86002103545234, 0.48036311770773), (-7.08954949763784, -2.27575753352009), .UNSPECIFIED.);
#17770 = ADVANCED_FACE ('', (#17710), #17760, .T.);
#17780 = ORIENTED_EDGE ('', *, *, #14600, .F.);
#17790 = CARTESIAN_POINT ('', (14.8941509634121, 6.50000000000003, -1.35406698190617));
#17800 = CARTESIAN_POINT ('', (14.8941509634121, 8.00000000000003, -1.35406698190617));
#17810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17790, #17800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17820 = EDGE_CURVE ('', #15200, #14490, #17810, .T.);
#17830 = ORIENTED_EDGE ('', *, *, #17820, .F.);
#17840 = ORIENTED_EDGE ('', *, *, #15240, .F.);
#17850 = ORIENTED_EDGE ('', *, *, #16260, .F.);
#17860 = EDGE_LOOP ('', (#17780, #17830, #17840, #17850));
#17870 = FACE_OUTER_BOUND ('', #17860, .T.);
#17880 = CARTESIAN_POINT ('', (14.8933019416689, 6.49900000000003, -1.35519367181395));
#17890 = CARTESIAN_POINT ('', (14.8933019416689, 8.00100000000003, -1.35519367181395));
#17900 = CARTESIAN_POINT ('', (15.1477499647533, 6.49900000000003, -1.01752974040826));
#17910 = CARTESIAN_POINT ('', (15.1477499647533, 8.00100000000003, -1.01752974040826));
#17920 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17880, #17890), (#17900, #17910)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.421390280377081, 0.00141076860921263), (2.77230748765417, 4.27430748765417), .UNSPECIFIED.);
#17930 = ADVANCED_FACE ('', (#17870), #17920, .T.);
#17940 = ORIENTED_EDGE ('', *, *, #17820, .T.);
#17950 = ORIENTED_EDGE ('', *, *, #14530, .F.);
#17960 = CARTESIAN_POINT ('', (12.5613383876817, 8.25000000000003, -1.68192240850352));
#17970 = VERTEX_POINT ('', #17960);
#17980 = CARTESIAN_POINT ('', (12.5613383876817, 8.25000000000003, -1.68192240850352));
#17990 = CARTESIAN_POINT ('', (15.5321425939064, 8.00000000000003, -1.26440310562338));
#18000 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17980, #17990), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18010 = EDGE_CURVE ('', #17970, #14420, #18000, .T.);
#18020 = ORIENTED_EDGE ('', *, *, #18010, .F.);
#18030 = CARTESIAN_POINT ('', (12.5613383876817, 6.25000000000003, -1.68192240850352));
#18040 = VERTEX_POINT ('', #18030);
#18050 = CARTESIAN_POINT ('', (12.5613383876817, 6.25000000000003, -1.68192240850352));
#18060 = CARTESIAN_POINT ('', (12.5613383876817, 8.25000000000003, -1.68192240850352));
#18070 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18050, #18060), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18080 = EDGE_CURVE ('', #18040, #17970, #18070, .T.);
#18090 = ORIENTED_EDGE ('', *, *, #18080, .F.);
#18100 = CARTESIAN_POINT ('', (12.5613383876817, 6.25000000000003, -1.68192240850352));
#18110 = CARTESIAN_POINT ('', (15.5321425939064, 6.50000000000003, -1.26440310562338));
#18120 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18100, #18110), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18130 = EDGE_CURVE ('', #18040, #15270, #18120, .T.);
#18140 = ORIENTED_EDGE ('', *, *, #18130, .T.);
#18150 = ORIENTED_EDGE ('', *, *, #15310, .T.);
#18160 = EDGE_LOOP ('', (#17940, #17950, #18020, #18090, #18140, #18150));
#18170 = FACE_OUTER_BOUND ('', #18160, .T.);
#18180 = CARTESIAN_POINT ('', (12.5602814542477, 6.24900000000003, -1.68207095081056));
#18190 = CARTESIAN_POINT ('', (12.5602814542477, 8.25100000000003, -1.68207095081056));
#18200 = CARTESIAN_POINT ('', (15.5331995273405, 6.24900000000003, -1.26425456331632));
#18210 = CARTESIAN_POINT ('', (15.5331995273405, 8.25100000000003, -1.26425456331632));
#18220 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18180, #18190), (#18200, #18210)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.001067320524, 0.00106732052400282), (2.52230748765417, 4.52430748765417), .UNSPECIFIED.);
#18230 = ADVANCED_FACE ('', (#18170), #18220, .T.);
#18240 = CARTESIAN_POINT ('', (13.343728768534, 6.50000000000003, -3.55249456050184));
#18250 = CARTESIAN_POINT ('', (13.343728768534, 8.00000000000003, -3.55249456050184));
#18260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18240, #18250), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18270 = EDGE_CURVE ('', #15410, #14280, #18260, .T.);
#18280 = ORIENTED_EDGE ('', *, *, #18270, .F.);
#18290 = ORIENTED_EDGE ('', *, *, #15450, .T.);
#18300 = CARTESIAN_POINT ('', (12.7519299269023, 6.25000000000003, -3.03805167601639));
#18310 = VERTEX_POINT ('', #18300);
#18320 = CARTESIAN_POINT ('', (16.2030351485653, 6.50000000000003, -6.03805167601635));
#18330 = CARTESIAN_POINT ('', (12.7519299269023, 6.25000000000003, -3.03805167601638));
#18340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18320, #18330), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18350 = EDGE_CURVE ('', #15340, #18310, #18340, .T.);
#18360 = ORIENTED_EDGE ('', *, *, #18350, .T.);
#18370 = CARTESIAN_POINT ('', (12.7519299269023, 8.25000000000003, -3.03805167601639));
#18380 = VERTEX_POINT ('', #18370);
#18390 = CARTESIAN_POINT ('', (12.7519299269023, 6.25000000000003, -3.03805167601638));
#18400 = CARTESIAN_POINT ('', (12.7519299269023, 8.25000000000003, -3.03805167601639));
#18410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18390, #18400), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18420 = EDGE_CURVE ('', #18310, #18380, #18410, .T.);
#18430 = ORIENTED_EDGE ('', *, *, #18420, .T.);
#18440 = CARTESIAN_POINT ('', (16.2030351485653, 8.00000000000003, -6.03805167601635));
#18450 = CARTESIAN_POINT ('', (12.7519299269023, 8.25000000000003, -3.03805167601639));
#18460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18440, #18450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18470 = EDGE_CURVE ('', #14350, #18380, #18460, .T.);
#18480 = ORIENTED_EDGE ('', *, *, #18470, .F.);
#18490 = ORIENTED_EDGE ('', *, *, #14390, .F.);
#18500 = EDGE_LOOP ('', (#18280, #18290, #18360, #18430, #18480, #18490));
#18510 = FACE_OUTER_BOUND ('', #18500, .T.);
#18520 = CARTESIAN_POINT ('', (16.2041024690893, 6.24900000000004, -6.03897948359285));
#18530 = CARTESIAN_POINT ('', (16.2041024690893, 8.25100000000003, -6.03897948359285));
#18540 = CARTESIAN_POINT ('', (12.7508626063783, 6.24900000000004, -3.03712386843984));
#18550 = CARTESIAN_POINT ('', (12.7508626063783, 8.25100000000003, -3.03712386843984));
#18560 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18520, #18530), (#18540, #18550)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.785555368173219, 3.79003231906893), (33.249, 35.251), .UNSPECIFIED.);
#18570 = ADVANCED_FACE ('', (#18510), #18560, .T.);
#18580 = ORIENTED_EDGE ('', *, *, #15520, .T.);
#18590 = ORIENTED_EDGE ('', *, *, #18270, .T.);
#18600 = ORIENTED_EDGE ('', *, *, #14320, .F.);
#18610 = ORIENTED_EDGE ('', *, *, #16060, .F.);
#18620 = EDGE_LOOP ('', (#18580, #18590, #18600, #18610));
#18630 = FACE_OUTER_BOUND ('', #18620, .T.);
#18640 = CARTESIAN_POINT ('', (13.5445658252468, 8.00100000000003, -6.42459828053277));
#18650 = CARTESIAN_POINT ('', (13.3436590120603, 8.00100000000003, -3.55149699645159));
#18660 = CARTESIAN_POINT ('', (13.5445658252468, 6.49900000000005, -6.42459828053277));
#18670 = CARTESIAN_POINT ('', (13.3436590120603, 6.49900000000005, -3.55149699645159));
#18680 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18640, #18650), (#18660, #18670)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (33.499, 35.001), (0.12088289540621, 3.001), .UNSPECIFIED.);
#18690 = ADVANCED_FACE ('', (#18630), #18680, .T.);
#18700 = ORIENTED_EDGE ('', *, *, #18420, .F.);
#18710 = CARTESIAN_POINT ('', (12.7519299269023, 6.25000000000003, -3.03805167601638));
#18720 = CARTESIAN_POINT ('', (12.5613383876817, 6.25000000000003, -1.68192240850352));
#18730 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18710, #18720), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18740 = EDGE_CURVE ('', #18310, #18040, #18730, .T.);
#18750 = ORIENTED_EDGE ('', *, *, #18740, .T.);
#18760 = ORIENTED_EDGE ('', *, *, #18080, .T.);
#18770 = CARTESIAN_POINT ('', (12.7519299269023, 8.25000000000003, -3.03805167601639));
#18780 = CARTESIAN_POINT ('', (12.5613383876817, 8.25000000000003, -1.68192240850352));
#18790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18770, #18780), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18800 = EDGE_CURVE ('', #18380, #17970, #18790, .T.);
#18810 = ORIENTED_EDGE ('', *, *, #18800, .F.);
#18820 = EDGE_LOOP ('', (#18700, #18750, #18760, #18810));
#18830 = FACE_OUTER_BOUND ('', #18820, .T.);
#18840 = CARTESIAN_POINT ('', (12.7520784692093, 6.24900000000004, -3.03910860945042));
#18850 = CARTESIAN_POINT ('', (12.7520784692093, 8.25100000000003, -3.03910860945042));
#18860 = CARTESIAN_POINT ('', (12.5611898453747, 6.24900000000003, -1.68086547506949));
#18870 = CARTESIAN_POINT ('', (12.5611898453747, 8.25100000000002, -1.68086547506949));
#18880 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18840, #18850), (#18860, #18870)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052400371, 1.37052404675796), (33.249, 35.251), .UNSPECIFIED.);
#18890 = ADVANCED_FACE ('', (#18830), #18880, .T.);
#18900 = ORIENTED_EDGE ('', *, *, #18470, .T.);
#18910 = ORIENTED_EDGE ('', *, *, #18800, .T.);
#18920 = ORIENTED_EDGE ('', *, *, #18010, .T.);
#18930 = ORIENTED_EDGE ('', *, *, #14460, .F.);
#18940 = EDGE_LOOP ('', (#18900, #18910, #18920, #18930));
#18950 = FACE_OUTER_BOUND ('', #18940, .T.);
#18960 = CARTESIAN_POINT ('', (16.2042802629431, 7.99992471804538, -6.0404200471472));
#18970 = CARTESIAN_POINT ('', (15.866188159733, 7.97213447358462, -1.23859596604381));
#18980 = CARTESIAN_POINT ('', (12.8834877842391, 8.27665742460405, -6.27263247830893));
#18990 = CARTESIAN_POINT ('', (12.545395681029, 8.24886718014329, -1.47080839720554));
#19000 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18960, #18970), (#18980, #18990)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.86002103545233, 0.48036311770773), (2.27575753352009, 7.08954949763784), .UNSPECIFIED.);
#19010 = ADVANCED_FACE ('', (#18950), #19000, .T.);
#19020 = ORIENTED_EDGE ('', *, *, #15380, .T.);
#19030 = ORIENTED_EDGE ('', *, *, #18130, .F.);
#19040 = ORIENTED_EDGE ('', *, *, #18740, .F.);
#19050 = ORIENTED_EDGE ('', *, *, #18350, .F.);
#19060 = EDGE_LOOP ('', (#19020, #19030, #19040, #19050));
#19070 = FACE_OUTER_BOUND ('', #19060, .T.);
#19080 = CARTESIAN_POINT ('', (12.8834877842391, 6.22334257539602, -6.27263247830893));
#19090 = CARTESIAN_POINT ('', (12.5453956810289, 6.25113281985677, -1.47080839720554));
#19100 = CARTESIAN_POINT ('', (16.2042802629431, 6.50007528195469, -6.0404200471472));
#19110 = CARTESIAN_POINT ('', (15.8661881597329, 6.52786552641544, -1.23859596604381));
#19120 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#19080, #19090), (#19100, #19110)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.86002103545233, 0.48036311770773), (2.27575753352009, 7.08954949763784), .UNSPECIFIED.);
#19130 = ADVANCED_FACE ('', (#19070), #19120, .T.);
#19140 = CLOSED_SHELL ('', (#15090, #16010, #16210, #16410, #16570, #16870, #17210, #17330, #17530, #17650, #17770, #17930, #18230, #18570, #18690, #18890, #19010, #19130));
#19150 = MANIFOLD_SOLID_BREP ('CUT', #19140);
#19160 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#19170 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#19180 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#19190 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #19160, 'DISTANCE_ACCURACY_VALUE', '');
#19200 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#19190))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#19160, #19170, #19180))
   REPRESENTATION_CONTEXT ('', '3D')
);
#19210 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#19220 = FILL_AREA_STYLE_COLOUR ('', #19210);
#19230 = FILL_AREA_STYLE ('', (#19220));
#19240 = SURFACE_STYLE_FILL_AREA (#19230);
#19250 = SURFACE_SIDE_STYLE ('', (#19240));
#19260 = SURFACE_STYLE_USAGE (.POSITIVE., #19250);
#19270 = PRESENTATION_STYLE_ASSIGNMENT ((#19260));
#19280 = STYLED_ITEM ('', (#19270), #19150);
#19290 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#19150), #19200);
#19300 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#19310 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #19300);
#19320 = MECHANICAL_CONTEXT ('', #19300, 'mechanical');
#19330 = PRODUCT ('NONE', '', '', (#19320));
#19340 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#19350 = PERSON ('', '', $, $, $, $);
#19360 = ORGANIZATION ($, '', '');
#19370 = PERSON_AND_ORGANIZATION (#19350, #19360);
#19380 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19370, #19340, (#19330));
#19390 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#19330));
#19400 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #19330, .NOT_KNOWN.);
#19410 = APPROVAL_STATUS ('approved');
#19420 = APPROVAL (#19410, '');
#19430 = CALENDAR_DATE (2017, 25, 4);
#19440 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19450 = LOCAL_TIME (13, 8, 17., #19440);
#19460 = DATE_AND_TIME (#19430, #19450);
#19470 = APPROVAL_DATE_TIME (#19460, #19420);
#19480 = APPROVAL_ROLE ('');
#19490 = PERSON ('', '', $, $, $, $);
#19500 = ORGANIZATION ($, '', '');
#19510 = PERSON_AND_ORGANIZATION (#19490, #19500);
#19520 = APPROVAL_PERSON_ORGANIZATION (#19510, #19420, #19480);
#19530 = CC_DESIGN_APPROVAL (#19420, (#19400));
#19540 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#19550 = PERSON ('', '', $, $, $, $);
#19560 = ORGANIZATION ($, '', '');
#19570 = PERSON_AND_ORGANIZATION (#19550, #19560);
#19580 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19570, #19540, (#19400));
#19590 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#19600 = PERSON ('', '', $, $, $, $);
#19610 = ORGANIZATION ($, '', '');
#19620 = PERSON_AND_ORGANIZATION (#19600, #19610);
#19630 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19620, #19590, (#19400));
#19640 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#19650 = SECURITY_CLASSIFICATION ('', '', #19640);
#19660 = APPROVAL_STATUS ('approved');
#19670 = APPROVAL (#19660, '');
#19680 = CALENDAR_DATE (2017, 25, 4);
#19690 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19700 = LOCAL_TIME (13, 8, 17., #19690);
#19710 = DATE_AND_TIME (#19680, #19700);
#19720 = APPROVAL_DATE_TIME (#19710, #19670);
#19730 = APPROVAL_ROLE ('');
#19740 = PERSON ('', '', $, $, $, $);
#19750 = ORGANIZATION ($, '', '');
#19760 = PERSON_AND_ORGANIZATION (#19740, #19750);
#19770 = APPROVAL_PERSON_ORGANIZATION (#19760, #19670, #19730);
#19780 = CC_DESIGN_APPROVAL (#19670, (#19650));
#19790 = DATE_TIME_ROLE ('classification_date');
#19800 = CALENDAR_DATE (2017, 25, 4);
#19810 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19820 = LOCAL_TIME (13, 8, 17., #19810);
#19830 = DATE_AND_TIME (#19800, #19820);
#19840 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#19830, #19790, (#19650));
#19850 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#19860 = PERSON ('', '', $, $, $, $);
#19870 = ORGANIZATION ($, '', '');
#19880 = PERSON_AND_ORGANIZATION (#19860, #19870);
#19890 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19880, #19850, (#19650));
#19900 = CC_DESIGN_SECURITY_CLASSIFICATION (#19650, (#19400));
#19910 = DESIGN_CONTEXT ('', #19300, 'design');
#19920 = PRODUCT_DEFINITION ('', '', #19400, #19910);
#19930 = APPROVAL_STATUS ('approved');
#19940 = APPROVAL (#19930, '');
#19950 = CALENDAR_DATE (2017, 25, 4);
#19960 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19970 = LOCAL_TIME (13, 8, 17., #19960);
#19980 = DATE_AND_TIME (#19950, #19970);
#19990 = APPROVAL_DATE_TIME (#19980, #19940);
#20000 = APPROVAL_ROLE ('');
#20010 = PERSON ('', '', $, $, $, $);
#20020 = ORGANIZATION ($, '', '');
#20030 = PERSON_AND_ORGANIZATION (#20010, #20020);
#20040 = APPROVAL_PERSON_ORGANIZATION (#20030, #19940, #20000);
#20050 = CC_DESIGN_APPROVAL (#19940, (#19920));
#20060 = DATE_TIME_ROLE ('creation_date');
#20070 = CALENDAR_DATE (2017, 25, 4);
#20080 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#20090 = LOCAL_TIME (13, 8, 17., #20080);
#20100 = DATE_AND_TIME (#20070, #20090);
#20110 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#20100, #20060, (#19920));
#20120 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#20130 = PERSON ('', '', $, $, $, $);
#20140 = ORGANIZATION ($, '', '');
#20150 = PERSON_AND_ORGANIZATION (#20130, #20140);
#20160 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#20150, #20120, (#19920));
#20170 = PRODUCT_DEFINITION_SHAPE ('', '', #19920);
#20180 = SHAPE_DEFINITION_REPRESENTATION (#20170, #19290);
ENDSEC;
END-ISO-10303-21;