ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('C:\\TDMTemp\\Tools\\SMLIB\\inserts\\test\\step\\16IR-V-ISO0,50 AL100.stp', '2010-02-16T09:57:19', ('Unknown'), ('Unknown'), 'HarmonyWare STEP v1.4.3', 'HarmonyWare Translators', '');
FILE_SCHEMA (('CONFIG_CONTROL_DESIGN'));
ENDSEC;

DATA;
#10 = CARTESIAN_POINT ('', (0.949999999999998, -1.64544826719043, 0.));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (0.949999999999998, -1.64544826719043, -3.97));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (0.949999999999999, -1.64544826719043, -4.44089209850063E-16));
#60 = CARTESIAN_POINT ('', (0.949999999999999, -1.64544826719043, -3.97));
#70 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#50, #60), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#80 = EDGE_CURVE ('', #20, #40, #70, .T.);
#90 = ORIENTED_EDGE ('', *, *, #80, .T.);
#100 = CARTESIAN_POINT ('', (0.950000000000001, -0.602072594217073, -3.97));
#110 = VERTEX_POINT ('', #100);
#120 = CARTESIAN_POINT ('', (0.949999999999999, -1.64544826719043, -3.97));
#130 = CARTESIAN_POINT ('', (0.949999999999999, -0.602072594217072, -3.97));
#140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#120, #130), .UNSPECIFIED., .F., .U., (2, 2), (0.657165008500581, 1.), .UNSPECIFIED.);
#150 = EDGE_CURVE ('', #40, #110, #140, .T.);
#160 = ORIENTED_EDGE ('', *, *, #150, .T.);
#170 = CARTESIAN_POINT ('', (0.949999999999998, -0.602072594217071, -4.44089209850063E-16));
#180 = VERTEX_POINT ('', #170);
#190 = CARTESIAN_POINT ('', (0.949999999999999, -0.602072594217071, -3.97));
#200 = CARTESIAN_POINT ('', (0.949999999999999, -0.602072594217071, 0.));
#210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#190, #200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#220 = EDGE_CURVE ('', #110, #180, #210, .T.);
#230 = ORIENTED_EDGE ('', *, *, #220, .T.);
#240 = CARTESIAN_POINT ('', (0.949999999999999, -0.602072594217071, -4.44089209850063E-16));
#250 = CARTESIAN_POINT ('', (0.949999999999999, -1.64544826719043, -4.44089209850063E-16));
#260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#240, #250), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.342834991499419), .UNSPECIFIED.);
#270 = EDGE_CURVE ('', #180, #20, #260, .T.);
#280 = ORIENTED_EDGE ('', *, *, #270, .T.);
#290 = EDGE_LOOP ('', (#90, #160, #230, #280));
#300 = FACE_OUTER_BOUND ('', #290, .F.);
#310 = CARTESIAN_POINT ('', (0.949999999999999, -0.602072594217071, -3.97));
#320 = CARTESIAN_POINT ('', (0.949999999999999, -1.64544826719043, -3.97));
#330 = CARTESIAN_POINT ('', (0.949999999999999, -0.602072594217071, 0.));
#340 = CARTESIAN_POINT ('', (0.949999999999999, -1.64544826719043, 0.));
#350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#310, #320), (#330, #340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 0.34283499149942), .UNSPECIFIED.);
#360 = ADVANCED_FACE ('', (#300), #350, .F.);
#370 = CARTESIAN_POINT ('', (0.645000196810471, -0.425980875742201, -3.97));
#380 = VERTEX_POINT ('', #370);
#390 = CARTESIAN_POINT ('', (0.950000000000001, -0.602072594217073, -3.97));
#400 = CARTESIAN_POINT ('', (0.645000196810471, -0.425980875742201, -3.97));
#410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#390, #400), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#420 = EDGE_CURVE ('', #110, #380, #410, .T.);
#430 = ORIENTED_EDGE ('', *, *, #420, .T.);
#440 = CARTESIAN_POINT ('', (0.645000196810471, -0.425980875742201, -4.44089209850063E-16));
#450 = VERTEX_POINT ('', #440);
#460 = CARTESIAN_POINT ('', (0.645000196810472, -0.425980875742201, -3.97));
#470 = CARTESIAN_POINT ('', (0.645000196810472, -0.425980875742201, 0.));
#480 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#460, #470), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((2, 2), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1.))
   REPRESENTATION_ITEM ('')
);
#490 = EDGE_CURVE ('', #380, #450, #480, .T.);
#500 = ORIENTED_EDGE ('', *, *, #490, .T.);
#510 = CARTESIAN_POINT ('', (0.645000196810471, -0.425980875742201, -4.44089209850063E-16));
#520 = CARTESIAN_POINT ('', (0.949999999999998, -0.602072594217071, -4.44089209850063E-16));
#530 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#510, #520), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#540 = EDGE_CURVE ('', #450, #180, #530, .T.);
#550 = ORIENTED_EDGE ('', *, *, #540, .T.);
#560 = ORIENTED_EDGE ('', *, *, #220, .F.);
#570 = EDGE_LOOP ('', (#430, #500, #550, #560));
#580 = FACE_OUTER_BOUND ('', #570, .F.);
#590 = CARTESIAN_POINT ('', (0.949999999999999, -0.602072594217071, -3.97));
#600 = CARTESIAN_POINT ('', (0.949999999999999, -0.602072594217071, 0.));
#610 = CARTESIAN_POINT ('', (0.645000196810472, -0.425980875742201, -3.97));
#620 = CARTESIAN_POINT ('', (0.645000196810472, -0.425980875742201, 0.));
#630 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#590, #600), (#610, #620)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#640 = ADVANCED_FACE ('', (#580), #630, .F.);
#650 = CARTESIAN_POINT ('', (0.645000196810395, -0.374019124257842, -3.97));
#660 = VERTEX_POINT ('', #650);
#670 = CARTESIAN_POINT ('', (0.645000196810472, -0.425980875742201, -3.97));
#680 = CARTESIAN_POINT ('', (0.629999999999087, -0.417320659581379, -3.97));
#690 = CARTESIAN_POINT ('', (0.629999999999061, -0.400000000000044, -3.97));
#700 = CARTESIAN_POINT ('', (0.629999999999034, -0.382679340418709, -3.97));
#710 = CARTESIAN_POINT ('', (0.645000196810395, -0.374019124257842, -3.97));
#720 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#670, #680, #690, #700, #710), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.866023509968561, 1., 0.866023509968561, 1.))
   REPRESENTATION_ITEM ('')
);
#730 = EDGE_CURVE ('', #380, #660, #720, .T.);
#740 = ORIENTED_EDGE ('', *, *, #730, .T.);
#750 = CARTESIAN_POINT ('', (0.645000196810395, -0.374019124257842, 0.));
#760 = VERTEX_POINT ('', #750);
#770 = CARTESIAN_POINT ('', (0.645000196810472, -0.374019124257975, -3.97));
#780 = CARTESIAN_POINT ('', (0.645000196810472, -0.374019124257975, 0.));
#790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#770, #780), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#800 = EDGE_CURVE ('', #660, #760, #790, .T.);
#810 = ORIENTED_EDGE ('', *, *, #800, .T.);
#820 = CARTESIAN_POINT ('', (0.645000196810472, -0.425980875742201, 0.));
#830 = CARTESIAN_POINT ('', (0.629999999999087, -0.417320659581379, 0.));
#840 = CARTESIAN_POINT ('', (0.629999999999061, -0.400000000000044, 0.));
#850 = CARTESIAN_POINT ('', (0.629999999999034, -0.382679340418709, 0.));
#860 = CARTESIAN_POINT ('', (0.645000196810395, -0.374019124257842, 0.));
#870 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#820, #830, #840, #850, #860), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.866023509968561, 1., 0.866023509968561, 1.))
   REPRESENTATION_ITEM ('')
);
#880 = EDGE_CURVE ('', #450, #760, #870, .T.);
#890 = ORIENTED_EDGE ('', *, *, #880, .F.);
#900 = ORIENTED_EDGE ('', *, *, #490, .F.);
#910 = EDGE_LOOP ('', (#740, #810, #890, #900));
#920 = FACE_OUTER_BOUND ('', #910, .F.);
#930 = CARTESIAN_POINT ('', (0.645000196810472, -0.425980875742201, -3.97));
#940 = CARTESIAN_POINT ('', (0.645000196810472, -0.425980875742201, 0.));
#950 = CARTESIAN_POINT ('', (0.629999999999087, -0.417320659581377, -3.97));
#960 = CARTESIAN_POINT ('', (0.629999999999087, -0.417320659581377, 0.));
#970 = CARTESIAN_POINT ('', (0.629999999999061, -0.400000000000043, -3.97));
#980 = CARTESIAN_POINT ('', (0.629999999999061, -0.400000000000043, 0.));
#990 = CARTESIAN_POINT ('', (0.629999999999034, -0.382679340418708, -3.97));
#1000 = CARTESIAN_POINT ('', (0.629999999999034, -0.382679340418708, 0.));
#1010 = CARTESIAN_POINT ('', (0.645000196810394, -0.37401912425784, -3.97));
#1020 = CARTESIAN_POINT ('', (0.645000196810394, -0.37401912425784, 0.));
#1030 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#930, #940), (#950, #960), (#970, #980), (#990, #1000), (#1010, #1020)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.5, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.866023509968573, 0.866023509968573), (1., 1.), (0.866023509968573, 0.866023509968573), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#1040 = ADVANCED_FACE ('', (#920), #1030, .F.);
#1050 = CARTESIAN_POINT ('', (1.29282032302997, 2.66453525910038E-15, -3.97));
#1060 = VERTEX_POINT ('', #1050);
#1070 = CARTESIAN_POINT ('', (1.29282032302997, 2.66453525910038E-15, 0.));
#1080 = VERTEX_POINT ('', #1070);
#1090 = CARTESIAN_POINT ('', (1.29282032302997, 2.66453525910038E-15, -3.97));
#1100 = CARTESIAN_POINT ('', (1.29282032302997, 2.66453525910038E-15, -3.10862446895044E-15));
#1110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1090, #1100), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1120 = EDGE_CURVE ('', #1060, #1080, #1110, .T.);
#1130 = ORIENTED_EDGE ('', *, *, #1120, .T.);
#1140 = CARTESIAN_POINT ('', (1.29282032302997, 4.44089209850063E-15, 4.44089209850063E-16));
#1150 = CARTESIAN_POINT ('', (0.645000196810473, -0.374019124257973, 4.44089209850063E-16));
#1160 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1140, #1150), .UNSPECIFIED., .F., .U., (2, 2), (0.727791907947452, 1.), .UNSPECIFIED.);
#1170 = EDGE_CURVE ('', #1080, #760, #1160, .T.);
#1180 = ORIENTED_EDGE ('', *, *, #1170, .T.);
#1190 = ORIENTED_EDGE ('', *, *, #800, .F.);
#1200 = CARTESIAN_POINT ('', (0.645000196810471, -0.374019124257973, -3.97));
#1210 = CARTESIAN_POINT ('', (1.29282032302997, 4.44089209850063E-15, -3.97));
#1220 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1200, #1210), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.272208092052549), .UNSPECIFIED.);
#1230 = EDGE_CURVE ('', #660, #1060, #1220, .T.);
#1240 = ORIENTED_EDGE ('', *, *, #1230, .T.);
#1250 = EDGE_LOOP ('', (#1130, #1180, #1190, #1240));
#1260 = FACE_OUTER_BOUND ('', #1250, .F.);
#1270 = CARTESIAN_POINT ('', (0.645000196810472, -0.374019124257975, -3.97));
#1280 = CARTESIAN_POINT ('', (0.645000196810472, -0.374019124257975, 0.));
#1290 = CARTESIAN_POINT ('', (1.29282032302997, 2.66453525910038E-15, -3.97));
#1300 = CARTESIAN_POINT ('', (1.29282032302997, 2.66453525910038E-15, 0.));
#1310 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1270, #1280), (#1290, #1300)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.272208092052549), (0., 1.), .UNSPECIFIED.);
#1320 = ADVANCED_FACE ('', (#1260), #1310, .F.);
#1330 = CARTESIAN_POINT ('', (14.5977839420936, 4.44089209850063E-15, 0.));
#1340 = VERTEX_POINT ('', #1330);
#1350 = CARTESIAN_POINT ('', (14.5977839420936, 4.44089209850063E-15, -3.97));
#1360 = VERTEX_POINT ('', #1350);
#1370 = CARTESIAN_POINT ('', (14.5977839420936, 4.44089209850063E-15, -4.44089209850063E-16));
#1380 = CARTESIAN_POINT ('', (14.5977839420936, 4.44089209850063E-15, -3.97));
#1390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1370, #1380), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1400 = EDGE_CURVE ('', #1340, #1360, #1390, .T.);
#1410 = ORIENTED_EDGE ('', *, *, #1400, .F.);
#1420 = CARTESIAN_POINT ('', (1.29282032302997, 2.66453525910038E-15, 0.));
#1430 = CARTESIAN_POINT ('', (14.5977839420936, 4.44089209850063E-15, 0.));
#1440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1420, #1430), .UNSPECIFIED., .F., .U., (2, 2), (0.0783632715501492, 0.884833017169524), .UNSPECIFIED.);
#1450 = EDGE_CURVE ('', #1080, #1340, #1440, .T.);
#1460 = ORIENTED_EDGE ('', *, *, #1450, .F.);
#1470 = ORIENTED_EDGE ('', *, *, #1120, .F.);
#1480 = CARTESIAN_POINT ('', (1.29282032302997, 2.66453525910038E-15, -3.97));
#1490 = CARTESIAN_POINT ('', (14.5977839420936, 4.44089209850063E-15, -3.97));
#1500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1480, #1490), .UNSPECIFIED., .F., .U., (2, 2), (0.0783632715501492, 0.884833017169524), .UNSPECIFIED.);
#1510 = EDGE_CURVE ('', #1060, #1360, #1500, .T.);
#1520 = ORIENTED_EDGE ('', *, *, #1510, .T.);
#1530 = EDGE_LOOP ('', (#1410, #1460, #1470, #1520));
#1540 = FACE_OUTER_BOUND ('', #1530, .F.);
#1550 = CARTESIAN_POINT ('', (1.29282032302996, 2.66453525910038E-15, -3.97));
#1560 = CARTESIAN_POINT ('', (1.29282032302996, 2.66453525910038E-15, 0.));
#1570 = CARTESIAN_POINT ('', (14.5977839420936, 4.44089209850063E-15, -3.97));
#1580 = CARTESIAN_POINT ('', (14.5977839420936, 4.44089209850063E-15, 0.));
#1590 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1550, #1560), (#1570, #1580)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0783632715501489, 0.884833017169524), (0., 1.), .UNSPECIFIED.);
#1600 = ADVANCED_FACE ('', (#1540), #1590, .F.);
#1610 = CARTESIAN_POINT ('', (15.5013737805792, -0.521687836486659, -3.97));
#1620 = VERTEX_POINT ('', #1610);
#1630 = CARTESIAN_POINT ('', (15.8063735837692, -0.34559611801271, -3.97));
#1640 = VERTEX_POINT ('', #1630);
#1650 = CARTESIAN_POINT ('', (15.5013737805792, -0.521687836486659, -3.97));
#1660 = CARTESIAN_POINT ('', (15.8063735837692, -0.34559611801271, -3.97));
#1670 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1650, #1660), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1680 = EDGE_CURVE ('', #1620, #1640, #1670, .T.);
#1690 = ORIENTED_EDGE ('', *, *, #1680, .T.);
#1700 = CARTESIAN_POINT ('', (15.8063735837692, -0.345596118012709, 4.44089209850063E-16));
#1710 = VERTEX_POINT ('', #1700);
#1720 = CARTESIAN_POINT ('', (15.8063735837692, -0.345596118012709, -3.97));
#1730 = CARTESIAN_POINT ('', (15.8063735837692, -0.345596118012709, 0.));
#1740 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#1720, #1730), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((2, 2), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1.))
   REPRESENTATION_ITEM ('')
);
#1750 = EDGE_CURVE ('', #1640, #1710, #1740, .T.);
#1760 = ORIENTED_EDGE ('', *, *, #1750, .T.);
#1770 = CARTESIAN_POINT ('', (15.5013737805792, -0.521687836486658, 4.44089209850063E-16));
#1780 = VERTEX_POINT ('', #1770);
#1790 = CARTESIAN_POINT ('', (15.8063735837692, -0.345596118012709, 4.44089209850063E-16));
#1800 = CARTESIAN_POINT ('', (15.5013737805792, -0.521687836486658, 4.44089209850063E-16));
#1810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1790, #1800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1820 = EDGE_CURVE ('', #1710, #1780, #1810, .T.);
#1830 = ORIENTED_EDGE ('', *, *, #1820, .T.);
#1840 = CARTESIAN_POINT ('', (15.5013737805792, -0.521687836486659, -3.97));
#1850 = CARTESIAN_POINT ('', (15.5013737805792, -0.521687836486659, 0.));
#1860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1840, #1850), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1870 = EDGE_CURVE ('', #1620, #1780, #1860, .T.);
#1880 = ORIENTED_EDGE ('', *, *, #1870, .F.);
#1890 = EDGE_LOOP ('', (#1690, #1760, #1830, #1880));
#1900 = FACE_OUTER_BOUND ('', #1890, .F.);
#1910 = CARTESIAN_POINT ('', (15.5013737805792, -0.521687836486659, -3.97));
#1920 = CARTESIAN_POINT ('', (15.5013737805792, -0.521687836486659, 0.));
#1930 = CARTESIAN_POINT ('', (15.8063735837692, -0.345596118012709, -3.97));
#1940 = CARTESIAN_POINT ('', (15.8063735837692, -0.345596118012709, 0.));
#1950 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1910, #1920), (#1930, #1940)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#1960 = ADVANCED_FACE ('', (#1900), #1950, .F.);
#1970 = CARTESIAN_POINT ('', (15.8513737805798, -0.371576993754822, -3.97));
#1980 = VERTEX_POINT ('', #1970);
#1990 = CARTESIAN_POINT ('', (15.8063735837692, -0.345596118012709, -3.97));
#2000 = CARTESIAN_POINT ('', (15.8213736493724, -0.336935674592694, -3.97));
#2010 = CARTESIAN_POINT ('', (15.8363737805802, -0.345596004383339, -3.97));
#2020 = CARTESIAN_POINT ('', (15.8513739117879, -0.354256334173984, -3.97));
#2030 = CARTESIAN_POINT ('', (15.8513737805798, -0.371576993754822, -3.97));
#2040 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1990, #2000, #2010, #2020, #2030), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.866023509968562, 1., 0.866023509968562, 1.))
   REPRESENTATION_ITEM ('')
);
#2050 = EDGE_CURVE ('', #1640, #1980, #2040, .T.);
#2060 = ORIENTED_EDGE ('', *, *, #2050, .T.);
#2070 = CARTESIAN_POINT ('', (15.8513737805798, -0.371576993754822, 0.));
#2080 = VERTEX_POINT ('', #2070);
#2090 = CARTESIAN_POINT ('', (15.8513737805797, -0.371576993754822, -3.97));
#2100 = CARTESIAN_POINT ('', (15.8513737805797, -0.371576993754822, 0.));
#2110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2090, #2100), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2120 = EDGE_CURVE ('', #1980, #2080, #2110, .T.);
#2130 = ORIENTED_EDGE ('', *, *, #2120, .T.);
#2140 = CARTESIAN_POINT ('', (15.8063735837692, -0.345596118012709, 0.));
#2150 = CARTESIAN_POINT ('', (15.8213736493724, -0.336935674592694, 0.));
#2160 = CARTESIAN_POINT ('', (15.8363737805802, -0.345596004383339, 0.));
#2170 = CARTESIAN_POINT ('', (15.8513739117879, -0.354256334173984, 0.));
#2180 = CARTESIAN_POINT ('', (15.8513737805798, -0.371576993754822, 0.));
#2190 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2140, #2150, #2160, #2170, #2180), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.866023509968562, 1., 0.866023509968562, 1.))
   REPRESENTATION_ITEM ('')
);
#2200 = EDGE_CURVE ('', #1710, #2080, #2190, .T.);
#2210 = ORIENTED_EDGE ('', *, *, #2200, .F.);
#2220 = ORIENTED_EDGE ('', *, *, #1750, .F.);
#2230 = EDGE_LOOP ('', (#2060, #2130, #2210, #2220));
#2240 = FACE_OUTER_BOUND ('', #2230, .F.);
#2250 = CARTESIAN_POINT ('', (15.8063735837692, -0.345596118012709, -3.97));
#2260 = CARTESIAN_POINT ('', (15.8063735837692, -0.345596118012709, 0.));
#2270 = CARTESIAN_POINT ('', (15.8213736493724, -0.336935674592695, -3.97));
#2280 = CARTESIAN_POINT ('', (15.8213736493724, -0.336935674592695, 0.));
#2290 = CARTESIAN_POINT ('', (15.8363737805802, -0.345596004383339, -3.97));
#2300 = CARTESIAN_POINT ('', (15.8363737805802, -0.345596004383339, 0.));
#2310 = CARTESIAN_POINT ('', (15.8513739117879, -0.354256334173984, -3.97));
#2320 = CARTESIAN_POINT ('', (15.8513739117879, -0.354256334173984, 0.));
#2330 = CARTESIAN_POINT ('', (15.8513737805798, -0.371576993754822, -3.97));
#2340 = CARTESIAN_POINT ('', (15.8513737805798, -0.371576993754822, 0.));
#2350 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#2250, #2260), (#2270, #2280), (#2290, #2300), (#2310, #2320), (#2330, #2340)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.5, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.866023509968573, 0.866023509968573), (1., 1.), (0.866023509968573, 0.866023509968573), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#2360 = ADVANCED_FACE ('', (#2240), #2350, .F.);
#2370 = CARTESIAN_POINT ('', (15.8513737805786, -1.11961524227277, -3.97));
#2380 = VERTEX_POINT ('', #2370);
#2390 = CARTESIAN_POINT ('', (15.8513737805786, -1.11961524227277, 0.));
#2400 = VERTEX_POINT ('', #2390);
#2410 = CARTESIAN_POINT ('', (15.8513737805786, -1.11961524227277, -3.97));
#2420 = CARTESIAN_POINT ('', (15.8513737805786, -1.11961524227277, -3.10862446895044E-15));
#2430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2410, #2420), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2440 = EDGE_CURVE ('', #2380, #2400, #2430, .T.);
#2450 = ORIENTED_EDGE ('', *, *, #2440, .T.);
#2460 = CARTESIAN_POINT ('', (15.8513737805786, -1.11961524227277, -4.44089209850063E-16));
#2470 = CARTESIAN_POINT ('', (15.8513737805797, -0.371576993754821, -4.44089209850063E-16));
#2480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2460, #2470), .UNSPECIFIED., .F., .U., (2, 2), (0.727791907947437, 1.), .UNSPECIFIED.);
#2490 = EDGE_CURVE ('', #2400, #2080, #2480, .T.);
#2500 = ORIENTED_EDGE ('', *, *, #2490, .T.);
#2510 = ORIENTED_EDGE ('', *, *, #2120, .F.);
#2520 = CARTESIAN_POINT ('', (15.8513737805797, -0.371576993754822, -3.97));
#2530 = CARTESIAN_POINT ('', (15.8513737805786, -1.11961524227277, -3.97));
#2540 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2520, #2530), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.272208092052563), .UNSPECIFIED.);
#2550 = EDGE_CURVE ('', #1980, #2380, #2540, .T.);
#2560 = ORIENTED_EDGE ('', *, *, #2550, .T.);
#2570 = EDGE_LOOP ('', (#2450, #2500, #2510, #2560));
#2580 = FACE_OUTER_BOUND ('', #2570, .F.);
#2590 = CARTESIAN_POINT ('', (15.8513737805797, -0.371576993754822, -3.97));
#2600 = CARTESIAN_POINT ('', (15.8513737805797, -0.371576993754822, 0.));
#2610 = CARTESIAN_POINT ('', (15.8513737805786, -1.11961524227277, -3.97));
#2620 = CARTESIAN_POINT ('', (15.8513737805786, -1.11961524227277, 0.));
#2630 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2590, #2600), (#2610, #2620)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.272208092052563), (0., 1.), .UNSPECIFIED.);
#2640 = ADVANCED_FACE ('', (#2580), #2630, .F.);
#2650 = ORIENTED_EDGE ('', *, *, #1400, .T.);
#2660 = CARTESIAN_POINT ('', (14.5977839420936, 7.99360577730113E-15, -3.97));
#2670 = CARTESIAN_POINT ('', (15.5013737805792, -0.521687836486659, -3.97));
#2680 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2660, #2670), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2690 = EDGE_CURVE ('', #1360, #1620, #2680, .T.);
#2700 = ORIENTED_EDGE ('', *, *, #2690, .T.);
#2710 = ORIENTED_EDGE ('', *, *, #1870, .T.);
#2720 = CARTESIAN_POINT ('', (15.5013737805792, -0.521687836486659, 0.));
#2730 = CARTESIAN_POINT ('', (14.5977839420936, 6.21724893790088E-15, 0.));
#2740 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2720, #2730), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2750 = EDGE_CURVE ('', #1780, #1340, #2740, .T.);
#2760 = ORIENTED_EDGE ('', *, *, #2750, .T.);
#2770 = EDGE_LOOP ('', (#2650, #2700, #2710, #2760));
#2780 = FACE_OUTER_BOUND ('', #2770, .F.);
#2790 = CARTESIAN_POINT ('', (15.5013737805792, -0.521687836486659, -3.97));
#2800 = CARTESIAN_POINT ('', (14.5977839420936, 7.99360577730113E-15, -3.97));
#2810 = CARTESIAN_POINT ('', (15.5013737805792, -0.521687836486659, 0.));
#2820 = CARTESIAN_POINT ('', (14.5977839420936, 7.99360577730113E-15, 0.));
#2830 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2790, #2800), (#2810, #2820)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 0.342834991499412), .UNSPECIFIED.);
#2840 = ADVANCED_FACE ('', (#2780), #2830, .F.);
#2850 = CARTESIAN_POINT ('', (9.19889197104678, -12.6420517328096, -3.97));
#2860 = VERTEX_POINT ('', #2850);
#2870 = CARTESIAN_POINT ('', (8.29530213256117, -13.1637395692963, -3.97));
#2880 = VERTEX_POINT ('', #2870);
#2890 = CARTESIAN_POINT ('', (9.19889197104678, -12.6420517328096, -3.97));
#2900 = CARTESIAN_POINT ('', (8.29530213256117, -13.1637395692962, -3.97));
#2910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2890, #2900), .UNSPECIFIED., .F., .U., (2, 2), (0.657165008500585, 1.), .UNSPECIFIED.);
#2920 = EDGE_CURVE ('', #2860, #2880, #2910, .T.);
#2930 = ORIENTED_EDGE ('', *, *, #2920, .F.);
#2940 = CARTESIAN_POINT ('', (15.8513737805786, -1.11961524227277, -3.97));
#2950 = CARTESIAN_POINT ('', (9.19889197104678, -12.6420517328096, -3.97));
#2960 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2940, #2950), .UNSPECIFIED., .F., .U., (2, 2), (0.0783632715501507, 0.884833017169524), .UNSPECIFIED.);
#2970 = EDGE_CURVE ('', #2380, #2860, #2960, .T.);
#2980 = ORIENTED_EDGE ('', *, *, #2970, .F.);
#2990 = ORIENTED_EDGE ('', *, *, #2550, .F.);
#3000 = ORIENTED_EDGE ('', *, *, #2050, .F.);
#3010 = ORIENTED_EDGE ('', *, *, #1680, .F.);
#3020 = ORIENTED_EDGE ('', *, *, #2690, .F.);
#3030 = ORIENTED_EDGE ('', *, *, #1510, .F.);
#3040 = ORIENTED_EDGE ('', *, *, #1230, .F.);
#3050 = ORIENTED_EDGE ('', *, *, #730, .F.);
#3060 = ORIENTED_EDGE ('', *, *, #420, .F.);
#3070 = ORIENTED_EDGE ('', *, *, #150, .F.);
#3080 = CARTESIAN_POINT ('', (7.60248180953179, -13.1678847577272, -3.97));
#3090 = VERTEX_POINT ('', #3080);
#3100 = CARTESIAN_POINT ('', (7.60248180953179, -13.1678847577272, -3.97));
#3110 = CARTESIAN_POINT ('', (0.949999999999998, -1.64544826719043, -3.97));
#3120 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3100, #3110), .UNSPECIFIED., .F., .U., (2, 2), (0.0783632715501494, 0.884833017169523), .UNSPECIFIED.);
#3130 = EDGE_CURVE ('', #3090, #40, #3120, .T.);
#3140 = ORIENTED_EDGE ('', *, *, #3130, .F.);
#3150 = CARTESIAN_POINT ('', (8.25030193575009, -13.5419038819873, -3.97));
#3160 = VERTEX_POINT ('', #3150);
#3170 = CARTESIAN_POINT ('', (8.25030193575017, -13.5419038819872, -3.97));
#3180 = CARTESIAN_POINT ('', (7.60248180953179, -13.1678847577272, -3.97));
#3190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3170, #3180), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.272208092052553), .UNSPECIFIED.);
#3200 = EDGE_CURVE ('', #3160, #3090, #3190, .T.);
#3210 = ORIENTED_EDGE ('', *, *, #3200, .F.);
#3220 = CARTESIAN_POINT ('', (8.29530213256064, -13.5159230062451, -3.97));
#3230 = VERTEX_POINT ('', #3220);
#3240 = CARTESIAN_POINT ('', (8.29530213256064, -13.5159230062451, -3.97));
#3250 = CARTESIAN_POINT ('', (8.2953022637688, -13.5332436658259, -3.97));
#3260 = CARTESIAN_POINT ('', (8.28030213256107, -13.5419039956166, -3.97));
#3270 = CARTESIAN_POINT ('', (8.26530200135335, -13.5505643254073, -3.97));
#3280 = CARTESIAN_POINT ('', (8.25030193575009, -13.5419038819873, -3.97));
#3290 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3240, #3250, #3260, #3270, #3280), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.866023509968561, 1., 0.866023509968561, 1.))
   REPRESENTATION_ITEM ('')
);
#3300 = EDGE_CURVE ('', #3230, #3160, #3290, .T.);
#3310 = ORIENTED_EDGE ('', *, *, #3300, .F.);
#3320 = CARTESIAN_POINT ('', (8.29530213256117, -13.1637395692963, -3.97));
#3330 = CARTESIAN_POINT ('', (8.29530213256064, -13.5159230062451, -3.97));
#3340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3320, #3330), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3350 = EDGE_CURVE ('', #2880, #3230, #3340, .T.);
#3360 = ORIENTED_EDGE ('', *, *, #3350, .F.);
#3370 = EDGE_LOOP ('', (#2930, #2980, #2990, #3000, #3010, #3020, #3030, #3040, #3050, #3060, #3070, #3140, #3210, #3310, #3360));
#3380 = FACE_OUTER_BOUND ('', #3370, .F.);
#3390 = CARTESIAN_POINT ('', (15.8513739117879, 7.105427357601E-15, -3.97));
#3400 = CARTESIAN_POINT ('', (15.8513739117879, -13.5505643254073, -3.97));
#3410 = CARTESIAN_POINT ('', (0.629999999999036, 7.105427357601E-15, -3.97));
#3420 = CARTESIAN_POINT ('', (0.629999999999036, -13.5505643254073, -3.97));
#3430 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3390, #3400), (#3410, #3420)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.183321866921351, 0.817361685871244), (0.202430149678192, 0.766873110040393), .UNSPECIFIED.);
#3440 = ADVANCED_FACE ('', (#3380), #3430, .F.);
#3450 = CARTESIAN_POINT ('', (8.29530213256117, -13.1637395692962, 8.88178419700125E-16));
#3460 = VERTEX_POINT ('', #3450);
#3470 = CARTESIAN_POINT ('', (9.19889197104678, -12.6420517328096, 0.));
#3480 = VERTEX_POINT ('', #3470);
#3490 = CARTESIAN_POINT ('', (8.29530213256117, -13.1637395692962, 0.));
#3500 = CARTESIAN_POINT ('', (9.19889197104678, -12.6420517328096, 0.));
#3510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3490, #3500), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.342834991499416), .UNSPECIFIED.);
#3520 = EDGE_CURVE ('', #3460, #3480, #3510, .T.);
#3530 = ORIENTED_EDGE ('', *, *, #3520, .F.);
#3540 = CARTESIAN_POINT ('', (8.29530213256064, -13.5159230062451, 8.88178419700125E-16));
#3550 = VERTEX_POINT ('', #3540);
#3560 = CARTESIAN_POINT ('', (8.29530213256064, -13.5159230062451, 8.88178419700125E-16));
#3570 = CARTESIAN_POINT ('', (8.29530213256117, -13.1637395692962, 8.88178419700125E-16));
#3580 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3560, #3570), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3590 = EDGE_CURVE ('', #3550, #3460, #3580, .T.);
#3600 = ORIENTED_EDGE ('', *, *, #3590, .F.);
#3610 = CARTESIAN_POINT ('', (8.25030193575009, -13.5419038819873, 0.));
#3620 = VERTEX_POINT ('', #3610);
#3630 = CARTESIAN_POINT ('', (8.29530213256064, -13.5159230062451, 0.));
#3640 = CARTESIAN_POINT ('', (8.2953022637688, -13.5332436658259, 0.));
#3650 = CARTESIAN_POINT ('', (8.28030213256107, -13.5419039956166, 0.));
#3660 = CARTESIAN_POINT ('', (8.26530200135335, -13.5505643254073, 0.));
#3670 = CARTESIAN_POINT ('', (8.25030193575009, -13.5419038819873, 0.));
#3680 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3630, #3640, #3650, #3660, #3670), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.866023509968561, 1., 0.866023509968561, 1.))
   REPRESENTATION_ITEM ('')
);
#3690 = EDGE_CURVE ('', #3550, #3620, #3680, .T.);
#3700 = ORIENTED_EDGE ('', *, *, #3690, .T.);
#3710 = CARTESIAN_POINT ('', (7.6024818095318, -13.1678847577272, 0.));
#3720 = VERTEX_POINT ('', #3710);
#3730 = CARTESIAN_POINT ('', (7.6024818095318, -13.1678847577272, -4.44089209850063E-16));
#3740 = CARTESIAN_POINT ('', (8.25030193575017, -13.5419038819872, -4.44089209850063E-16));
#3750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3730, #3740), .UNSPECIFIED., .F., .U., (2, 2), (0.727791907947449, 1.), .UNSPECIFIED.);
#3760 = EDGE_CURVE ('', #3720, #3620, #3750, .T.);
#3770 = ORIENTED_EDGE ('', *, *, #3760, .F.);
#3780 = CARTESIAN_POINT ('', (7.6024818095318, -13.1678847577272, 0.));
#3790 = CARTESIAN_POINT ('', (0.949999999999998, -1.64544826719043, 0.));
#3800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3780, #3790), .UNSPECIFIED., .F., .U., (2, 2), (0.078363271550149, 0.884833017169523), .UNSPECIFIED.);
#3810 = EDGE_CURVE ('', #3720, #20, #3800, .T.);
#3820 = ORIENTED_EDGE ('', *, *, #3810, .T.);
#3830 = ORIENTED_EDGE ('', *, *, #270, .F.);
#3840 = ORIENTED_EDGE ('', *, *, #540, .F.);
#3850 = ORIENTED_EDGE ('', *, *, #880, .T.);
#3860 = ORIENTED_EDGE ('', *, *, #1170, .F.);
#3870 = ORIENTED_EDGE ('', *, *, #1450, .T.);
#3880 = ORIENTED_EDGE ('', *, *, #2750, .F.);
#3890 = ORIENTED_EDGE ('', *, *, #1820, .F.);
#3900 = ORIENTED_EDGE ('', *, *, #2200, .T.);
#3910 = ORIENTED_EDGE ('', *, *, #2490, .F.);
#3920 = CARTESIAN_POINT ('', (15.8513737805786, -1.11961524227277, 0.));
#3930 = CARTESIAN_POINT ('', (9.19889197104678, -12.6420517328096, 0.));
#3940 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3920, #3930), .UNSPECIFIED., .F., .U., (2, 2), (0.0783632715501506, 0.884833017169524), .UNSPECIFIED.);
#3950 = EDGE_CURVE ('', #2400, #3480, #3940, .T.);
#3960 = ORIENTED_EDGE ('', *, *, #3950, .T.);
#3970 = EDGE_LOOP ('', (#3530, #3600, #3700, #3770, #3820, #3830, #3840, #3850, #3860, #3870, #3880, #3890, #3900, #3910, #3960));
#3980 = FACE_OUTER_BOUND ('', #3970, .F.);
#3990 = CARTESIAN_POINT ('', (15.8513739117879, 4.44089209850063E-15, 0.));
#4000 = CARTESIAN_POINT ('', (0.629999999999036, 4.44089209850063E-15, 0.));
#4010 = CARTESIAN_POINT ('', (15.8513739117879, -13.5505643254073, 0.));
#4020 = CARTESIAN_POINT ('', (0.629999999999036, -13.5505643254073, 0.));
#4030 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3990, #4000), (#4010, #4020)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.202430149678192, 0.766873110040393), (0.183321866921351, 0.817361685871244), .UNSPECIFIED.);
#4040 = ADVANCED_FACE ('', (#3980), #4030, .F.);
#4050 = CARTESIAN_POINT ('', (9.19889197104678, -12.6420517328096, -4.44089209850063E-16));
#4060 = CARTESIAN_POINT ('', (9.19889197104678, -12.6420517328096, -3.97));
#4070 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4050, #4060), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4080 = EDGE_CURVE ('', #3480, #2860, #4070, .T.);
#4090 = ORIENTED_EDGE ('', *, *, #4080, .F.);
#4100 = ORIENTED_EDGE ('', *, *, #3950, .F.);
#4110 = ORIENTED_EDGE ('', *, *, #2440, .F.);
#4120 = ORIENTED_EDGE ('', *, *, #2970, .T.);
#4130 = EDGE_LOOP ('', (#4090, #4100, #4110, #4120));
#4140 = FACE_OUTER_BOUND ('', #4130, .F.);
#4150 = CARTESIAN_POINT ('', (15.8513737805786, -1.11961524227277, -3.97));
#4160 = CARTESIAN_POINT ('', (15.8513737805786, -1.11961524227277, 0.));
#4170 = CARTESIAN_POINT ('', (9.19889197104678, -12.6420517328096, -3.97));
#4180 = CARTESIAN_POINT ('', (9.19889197104678, -12.6420517328096, 0.));
#4190 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4150, #4160), (#4170, #4180)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0783632715501504, 0.884833017169524), (0., 1.), .UNSPECIFIED.);
#4200 = ADVANCED_FACE ('', (#4140), #4190, .F.);
#4210 = CARTESIAN_POINT ('', (7.6024818095318, -13.1678847577272, -3.97));
#4220 = CARTESIAN_POINT ('', (7.6024818095318, -13.1678847577272, -1.33226762955019E-15));
#4230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4210, #4220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4240 = EDGE_CURVE ('', #3090, #3720, #4230, .T.);
#4250 = ORIENTED_EDGE ('', *, *, #4240, .F.);
#4260 = ORIENTED_EDGE ('', *, *, #3130, .T.);
#4270 = ORIENTED_EDGE ('', *, *, #80, .F.);
#4280 = ORIENTED_EDGE ('', *, *, #3810, .F.);
#4290 = EDGE_LOOP ('', (#4250, #4260, #4270, #4280));
#4300 = FACE_OUTER_BOUND ('', #4290, .F.);
#4310 = CARTESIAN_POINT ('', (7.6024818095318, -13.1678847577272, -3.97));
#4320 = CARTESIAN_POINT ('', (7.6024818095318, -13.1678847577272, 0.));
#4330 = CARTESIAN_POINT ('', (0.949999999999998, -1.64544826719043, -3.97));
#4340 = CARTESIAN_POINT ('', (0.949999999999998, -1.64544826719043, 0.));
#4350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4310, #4320), (#4330, #4340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0783632715501488, 0.884833017169523), (0., 1.), .UNSPECIFIED.);
#4360 = ADVANCED_FACE ('', (#4300), #4350, .F.);
#4370 = ORIENTED_EDGE ('', *, *, #3350, .T.);
#4380 = CARTESIAN_POINT ('', (8.29530213256064, -13.5159230062451, -3.97));
#4390 = CARTESIAN_POINT ('', (8.29530213256064, -13.5159230062451, 0.));
#4400 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#4380, #4390), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((2, 2), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1.))
   REPRESENTATION_ITEM ('')
);
#4410 = EDGE_CURVE ('', #3230, #3550, #4400, .T.);
#4420 = ORIENTED_EDGE ('', *, *, #4410, .T.);
#4430 = ORIENTED_EDGE ('', *, *, #3590, .T.);
#4440 = CARTESIAN_POINT ('', (8.29530213256117, -13.1637395692962, -3.97));
#4450 = CARTESIAN_POINT ('', (8.29530213256117, -13.1637395692962, 0.));
#4460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4440, #4450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4470 = EDGE_CURVE ('', #2880, #3460, #4460, .T.);
#4480 = ORIENTED_EDGE ('', *, *, #4470, .F.);
#4490 = EDGE_LOOP ('', (#4370, #4420, #4430, #4480));
#4500 = FACE_OUTER_BOUND ('', #4490, .F.);
#4510 = CARTESIAN_POINT ('', (8.29530213256117, -13.1637395692962, -3.97));
#4520 = CARTESIAN_POINT ('', (8.29530213256117, -13.1637395692962, 0.));
#4530 = CARTESIAN_POINT ('', (8.29530213256064, -13.5159230062451, -3.97));
#4540 = CARTESIAN_POINT ('', (8.29530213256064, -13.5159230062451, 0.));
#4550 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4510, #4520), (#4530, #4540)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#4560 = ADVANCED_FACE ('', (#4500), #4550, .F.);
#4570 = ORIENTED_EDGE ('', *, *, #3300, .T.);
#4580 = CARTESIAN_POINT ('', (8.25030193575017, -13.5419038819872, -3.97));
#4590 = CARTESIAN_POINT ('', (8.25030193575017, -13.5419038819872, 0.));
#4600 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4580, #4590), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4610 = EDGE_CURVE ('', #3160, #3620, #4600, .T.);
#4620 = ORIENTED_EDGE ('', *, *, #4610, .T.);
#4630 = ORIENTED_EDGE ('', *, *, #3690, .F.);
#4640 = ORIENTED_EDGE ('', *, *, #4410, .F.);
#4650 = EDGE_LOOP ('', (#4570, #4620, #4630, #4640));
#4660 = FACE_OUTER_BOUND ('', #4650, .F.);
#4670 = CARTESIAN_POINT ('', (8.29530213256064, -13.5159230062451, -3.97));
#4680 = CARTESIAN_POINT ('', (8.29530213256064, -13.5159230062451, 0.));
#4690 = CARTESIAN_POINT ('', (8.2953022637688, -13.5332436658259, -3.97));
#4700 = CARTESIAN_POINT ('', (8.2953022637688, -13.5332436658259, 0.));
#4710 = CARTESIAN_POINT ('', (8.28030213256107, -13.5419039956166, -3.97));
#4720 = CARTESIAN_POINT ('', (8.28030213256107, -13.5419039956166, 0.));
#4730 = CARTESIAN_POINT ('', (8.26530200135335, -13.5505643254073, -3.97));
#4740 = CARTESIAN_POINT ('', (8.26530200135335, -13.5505643254073, 0.));
#4750 = CARTESIAN_POINT ('', (8.25030193575009, -13.5419038819873, -3.97));
#4760 = CARTESIAN_POINT ('', (8.25030193575009, -13.5419038819873, 0.));
#4770 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#4670, #4680), (#4690, #4700), (#4710, #4720), (#4730, #4740), (#4750, #4760)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.5, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.866023509968573, 0.866023509968573), (1., 1.), (0.866023509968573, 0.866023509968573), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#4780 = ADVANCED_FACE ('', (#4660), #4770, .F.);
#4790 = ORIENTED_EDGE ('', *, *, #4240, .T.);
#4800 = ORIENTED_EDGE ('', *, *, #3760, .T.);
#4810 = ORIENTED_EDGE ('', *, *, #4610, .F.);
#4820 = ORIENTED_EDGE ('', *, *, #3200, .T.);
#4830 = EDGE_LOOP ('', (#4790, #4800, #4810, #4820));
#4840 = FACE_OUTER_BOUND ('', #4830, .F.);
#4850 = CARTESIAN_POINT ('', (8.25030193575017, -13.5419038819872, -3.97));
#4860 = CARTESIAN_POINT ('', (8.25030193575017, -13.5419038819872, 0.));
#4870 = CARTESIAN_POINT ('', (7.60248180953179, -13.1678847577272, -3.97));
#4880 = CARTESIAN_POINT ('', (7.60248180953179, -13.1678847577272, 0.));
#4890 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4850, #4860), (#4870, #4880)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.272208092052553), (0., 1.), .UNSPECIFIED.);
#4900 = ADVANCED_FACE ('', (#4840), #4890, .F.);
#4910 = ORIENTED_EDGE ('', *, *, #4080, .T.);
#4920 = ORIENTED_EDGE ('', *, *, #2920, .T.);
#4930 = ORIENTED_EDGE ('', *, *, #4470, .T.);
#4940 = ORIENTED_EDGE ('', *, *, #3520, .T.);
#4950 = EDGE_LOOP ('', (#4910, #4920, #4930, #4940));
#4960 = FACE_OUTER_BOUND ('', #4950, .F.);
#4970 = CARTESIAN_POINT ('', (8.29530213256117, -13.1637395692962, -3.97));
#4980 = CARTESIAN_POINT ('', (9.19889197104678, -12.6420517328096, -3.97));
#4990 = CARTESIAN_POINT ('', (8.29530213256117, -13.1637395692962, 0.));
#5000 = CARTESIAN_POINT ('', (9.19889197104678, -12.6420517328096, 0.));
#5010 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4970, #4980), (#4990, #5000)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 0.342834991499416), .UNSPECIFIED.);
#5020 = ADVANCED_FACE ('', (#4960), #5010, .F.);
#5030 = CLOSED_SHELL ('', (#360, #640, #1040, #1320, #1600, #1960, #2360, #2640, #2840, #3440, #4040, #4200, #4360, #4560, #4780, #4900, #5020));
#5040 = MANIFOLD_SOLID_BREP ('', #5030);
#5050 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#5060 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#5070 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#5080 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #5050, 'DISTANCE_ACCURACY_VALUE', '');
#5090 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#5080))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#5050, #5060, #5070))
   REPRESENTATION_CONTEXT ('', '3D')
);
#5100 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#5110 = FILL_AREA_STYLE_COLOUR ('', #5100);
#5120 = FILL_AREA_STYLE ('', (#5110));
#5130 = SURFACE_STYLE_FILL_AREA (#5120);
#5140 = SURFACE_SIDE_STYLE ('', (#5130));
#5150 = SURFACE_STYLE_USAGE (.POSITIVE., #5140);
#5160 = PRESENTATION_STYLE_ASSIGNMENT ((#5150));
#5170 = STYLED_ITEM ('', (#5160), #5040);
#5180 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#5040), #5090);
#5190 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#5200 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #5190);
#5210 = MECHANICAL_CONTEXT ('', #5190, 'mechanical');
#5220 = PRODUCT ('product-name', '', '', (#5210));
#5230 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#5240 = PERSON ('', '', $, $, $, $);
#5250 = ORGANIZATION ($, '', '');
#5260 = PERSON_AND_ORGANIZATION (#5240, #5250);
#5270 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#5260, #5230, (#5220));
#5280 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#5220));
#5290 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #5220, .NOT_KNOWN.);
#5300 = APPROVAL_STATUS ('approved');
#5310 = APPROVAL (#5300, '');
#5320 = CALENDAR_DATE (2010, 16, 2);
#5330 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#5340 = LOCAL_TIME (9, 57, 19., #5330);
#5350 = DATE_AND_TIME (#5320, #5340);
#5360 = APPROVAL_DATE_TIME (#5350, #5310);
#5370 = APPROVAL_ROLE ('');
#5380 = PERSON ('', '', $, $, $, $);
#5390 = ORGANIZATION ($, '', '');
#5400 = PERSON_AND_ORGANIZATION (#5380, #5390);
#5410 = APPROVAL_PERSON_ORGANIZATION (#5400, #5310, #5370);
#5420 = CC_DESIGN_APPROVAL (#5310, (#5290));
#5430 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#5440 = PERSON ('', '', $, $, $, $);
#5450 = ORGANIZATION ($, '', '');
#5460 = PERSON_AND_ORGANIZATION (#5440, #5450);
#5470 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#5460, #5430, (#5290));
#5480 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#5490 = PERSON ('', '', $, $, $, $);
#5500 = ORGANIZATION ($, '', '');
#5510 = PERSON_AND_ORGANIZATION (#5490, #5500);
#5520 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#5510, #5480, (#5290));
#5530 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#5540 = SECURITY_CLASSIFICATION ('', '', #5530);
#5550 = APPROVAL_STATUS ('approved');
#5560 = APPROVAL (#5550, '');
#5570 = CALENDAR_DATE (2010, 16, 2);
#5580 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#5590 = LOCAL_TIME (9, 57, 19., #5580);
#5600 = DATE_AND_TIME (#5570, #5590);
#5610 = APPROVAL_DATE_TIME (#5600, #5560);
#5620 = APPROVAL_ROLE ('');
#5630 = PERSON ('', '', $, $, $, $);
#5640 = ORGANIZATION ($, '', '');
#5650 = PERSON_AND_ORGANIZATION (#5630, #5640);
#5660 = APPROVAL_PERSON_ORGANIZATION (#5650, #5560, #5620);
#5670 = CC_DESIGN_APPROVAL (#5560, (#5540));
#5680 = DATE_TIME_ROLE ('classification_date');
#5690 = CALENDAR_DATE (2010, 16, 2);
#5700 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#5710 = LOCAL_TIME (9, 57, 19., #5700);
#5720 = DATE_AND_TIME (#5690, #5710);
#5730 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#5720, #5680, (#5540));
#5740 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#5750 = PERSON ('', '', $, $, $, $);
#5760 = ORGANIZATION ($, '', '');
#5770 = PERSON_AND_ORGANIZATION (#5750, #5760);
#5780 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#5770, #5740, (#5540));
#5790 = CC_DESIGN_SECURITY_CLASSIFICATION (#5540, (#5290));
#5800 = DESIGN_CONTEXT ('', #5190, 'design');
#5810 = PRODUCT_DEFINITION ('', '', #5290, #5800);
#5820 = APPROVAL_STATUS ('approved');
#5830 = APPROVAL (#5820, '');
#5840 = CALENDAR_DATE (2010, 16, 2);
#5850 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#5860 = LOCAL_TIME (9, 57, 19., #5850);
#5870 = DATE_AND_TIME (#5840, #5860);
#5880 = APPROVAL_DATE_TIME (#5870, #5830);
#5890 = APPROVAL_ROLE ('');
#5900 = PERSON ('', '', $, $, $, $);
#5910 = ORGANIZATION ($, '', '');
#5920 = PERSON_AND_ORGANIZATION (#5900, #5910);
#5930 = APPROVAL_PERSON_ORGANIZATION (#5920, #5830, #5890);
#5940 = CC_DESIGN_APPROVAL (#5830, (#5810));
#5950 = DATE_TIME_ROLE ('creation_date');
#5960 = CALENDAR_DATE (2010, 16, 2);
#5970 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#5980 = LOCAL_TIME (9, 57, 19., #5970);
#5990 = DATE_AND_TIME (#5960, #5980);
#6000 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#5990, #5950, (#5810));
#6010 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#6020 = PERSON ('', '', $, $, $, $);
#6030 = ORGANIZATION ($, '', '');
#6040 = PERSON_AND_ORGANIZATION (#6020, #6030);
#6050 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#6040, #6010, (#5810));
#6060 = PRODUCT_DEFINITION_SHAPE ('', '', #5810);
#6070 = SHAPE_DEFINITION_REPRESENTATION (#6060, #5180);
#6080 = CARTESIAN_POINT ('', (0.949999999999998, -1.64544826719043, 0.));
#6090 = VERTEX_POINT ('', #6080);
#6100 = CARTESIAN_POINT ('', (0.949999999999998, -1.64544826719043, -3.97));
#6110 = VERTEX_POINT ('', #6100);
#6120 = CARTESIAN_POINT ('', (0.949999999999999, -1.64544826719043, -4.44089209850063E-16));
#6130 = CARTESIAN_POINT ('', (0.949999999999999, -1.64544826719043, -3.97));
#6140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6120, #6130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6150 = EDGE_CURVE ('', #6090, #6110, #6140, .T.);
#6160 = ORIENTED_EDGE ('', *, *, #6150, .T.);
#6170 = CARTESIAN_POINT ('', (0.950000000000001, -0.602072594217073, -3.97));
#6180 = VERTEX_POINT ('', #6170);
#6190 = CARTESIAN_POINT ('', (0.949999999999999, -1.64544826719043, -3.97));
#6200 = CARTESIAN_POINT ('', (0.949999999999999, -0.602072594217072, -3.97));
#6210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6190, #6200), .UNSPECIFIED., .F., .U., (2, 2), (0.657165008500581, 1.), .UNSPECIFIED.);
#6220 = EDGE_CURVE ('', #6110, #6180, #6210, .T.);
#6230 = ORIENTED_EDGE ('', *, *, #6220, .T.);
#6240 = CARTESIAN_POINT ('', (0.949999999999998, -0.602072594217071, -4.44089209850063E-16));
#6250 = VERTEX_POINT ('', #6240);
#6260 = CARTESIAN_POINT ('', (0.949999999999999, -0.602072594217071, -3.97));
#6270 = CARTESIAN_POINT ('', (0.949999999999999, -0.602072594217071, 0.));
#6280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6260, #6270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6290 = EDGE_CURVE ('', #6180, #6250, #6280, .T.);
#6300 = ORIENTED_EDGE ('', *, *, #6290, .T.);
#6310 = CARTESIAN_POINT ('', (0.949999999999999, -0.602072594217071, -4.44089209850063E-16));
#6320 = CARTESIAN_POINT ('', (0.949999999999999, -1.64544826719043, -4.44089209850063E-16));
#6330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6310, #6320), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.342834991499419), .UNSPECIFIED.);
#6340 = EDGE_CURVE ('', #6250, #6090, #6330, .T.);
#6350 = ORIENTED_EDGE ('', *, *, #6340, .T.);
#6360 = EDGE_LOOP ('', (#6160, #6230, #6300, #6350));
#6370 = FACE_OUTER_BOUND ('', #6360, .F.);
#6380 = CARTESIAN_POINT ('', (0.949999999999999, -0.602072594217071, -3.97));
#6390 = CARTESIAN_POINT ('', (0.949999999999999, -1.64544826719043, -3.97));
#6400 = CARTESIAN_POINT ('', (0.949999999999999, -0.602072594217071, 0.));
#6410 = CARTESIAN_POINT ('', (0.949999999999999, -1.64544826719043, 0.));
#6420 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6380, #6390), (#6400, #6410)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 0.34283499149942), .UNSPECIFIED.);
#6430 = ADVANCED_FACE ('', (#6370), #6420, .F.);
#6440 = CARTESIAN_POINT ('', (0.645000196810471, -0.425980875742201, -3.97));
#6450 = VERTEX_POINT ('', #6440);
#6460 = CARTESIAN_POINT ('', (0.950000000000001, -0.602072594217073, -3.97));
#6470 = CARTESIAN_POINT ('', (0.645000196810471, -0.425980875742201, -3.97));
#6480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6460, #6470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6490 = EDGE_CURVE ('', #6180, #6450, #6480, .T.);
#6500 = ORIENTED_EDGE ('', *, *, #6490, .T.);
#6510 = CARTESIAN_POINT ('', (0.645000196810471, -0.425980875742201, -4.44089209850063E-16));
#6520 = VERTEX_POINT ('', #6510);
#6530 = CARTESIAN_POINT ('', (0.645000196810472, -0.425980875742201, -3.97));
#6540 = CARTESIAN_POINT ('', (0.645000196810472, -0.425980875742201, 0.));
#6550 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#6530, #6540), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((2, 2), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1.))
   REPRESENTATION_ITEM ('')
);
#6560 = EDGE_CURVE ('', #6450, #6520, #6550, .T.);
#6570 = ORIENTED_EDGE ('', *, *, #6560, .T.);
#6580 = CARTESIAN_POINT ('', (0.645000196810471, -0.425980875742201, -4.44089209850063E-16));
#6590 = CARTESIAN_POINT ('', (0.949999999999998, -0.602072594217071, -4.44089209850063E-16));
#6600 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6580, #6590), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6610 = EDGE_CURVE ('', #6520, #6250, #6600, .T.);
#6620 = ORIENTED_EDGE ('', *, *, #6610, .T.);
#6630 = ORIENTED_EDGE ('', *, *, #6290, .F.);
#6640 = EDGE_LOOP ('', (#6500, #6570, #6620, #6630));
#6650 = FACE_OUTER_BOUND ('', #6640, .F.);
#6660 = CARTESIAN_POINT ('', (0.949999999999999, -0.602072594217071, -3.97));
#6670 = CARTESIAN_POINT ('', (0.949999999999999, -0.602072594217071, 0.));
#6680 = CARTESIAN_POINT ('', (0.645000196810472, -0.425980875742201, -3.97));
#6690 = CARTESIAN_POINT ('', (0.645000196810472, -0.425980875742201, 0.));
#6700 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6660, #6670), (#6680, #6690)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#6710 = ADVANCED_FACE ('', (#6650), #6700, .F.);
#6720 = CARTESIAN_POINT ('', (0.645000196810395, -0.374019124257842, -3.97));
#6730 = VERTEX_POINT ('', #6720);
#6740 = CARTESIAN_POINT ('', (0.645000196810472, -0.425980875742201, -3.97));
#6750 = CARTESIAN_POINT ('', (0.629999999999087, -0.417320659581379, -3.97));
#6760 = CARTESIAN_POINT ('', (0.629999999999061, -0.400000000000044, -3.97));
#6770 = CARTESIAN_POINT ('', (0.629999999999034, -0.382679340418709, -3.97));
#6780 = CARTESIAN_POINT ('', (0.645000196810395, -0.374019124257842, -3.97));
#6790 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6740, #6750, #6760, #6770, #6780), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.866023509968561, 1., 0.866023509968561, 1.))
   REPRESENTATION_ITEM ('')
);
#6800 = EDGE_CURVE ('', #6450, #6730, #6790, .T.);
#6810 = ORIENTED_EDGE ('', *, *, #6800, .T.);
#6820 = CARTESIAN_POINT ('', (0.645000196810395, -0.374019124257842, 0.));
#6830 = VERTEX_POINT ('', #6820);
#6840 = CARTESIAN_POINT ('', (0.645000196810472, -0.374019124257975, -3.97));
#6850 = CARTESIAN_POINT ('', (0.645000196810472, -0.374019124257975, 0.));
#6860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6840, #6850), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6870 = EDGE_CURVE ('', #6730, #6830, #6860, .T.);
#6880 = ORIENTED_EDGE ('', *, *, #6870, .T.);
#6890 = CARTESIAN_POINT ('', (0.645000196810472, -0.425980875742201, 0.));
#6900 = CARTESIAN_POINT ('', (0.629999999999087, -0.417320659581379, 0.));
#6910 = CARTESIAN_POINT ('', (0.629999999999061, -0.400000000000044, 0.));
#6920 = CARTESIAN_POINT ('', (0.629999999999034, -0.382679340418709, 0.));
#6930 = CARTESIAN_POINT ('', (0.645000196810395, -0.374019124257842, 0.));
#6940 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6890, #6900, #6910, #6920, #6930), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.866023509968561, 1., 0.866023509968561, 1.))
   REPRESENTATION_ITEM ('')
);
#6950 = EDGE_CURVE ('', #6520, #6830, #6940, .T.);
#6960 = ORIENTED_EDGE ('', *, *, #6950, .F.);
#6970 = ORIENTED_EDGE ('', *, *, #6560, .F.);
#6980 = EDGE_LOOP ('', (#6810, #6880, #6960, #6970));
#6990 = FACE_OUTER_BOUND ('', #6980, .F.);
#7000 = CARTESIAN_POINT ('', (0.645000196810472, -0.425980875742201, -3.97));
#7010 = CARTESIAN_POINT ('', (0.645000196810472, -0.425980875742201, 0.));
#7020 = CARTESIAN_POINT ('', (0.629999999999087, -0.417320659581377, -3.97));
#7030 = CARTESIAN_POINT ('', (0.629999999999087, -0.417320659581377, 0.));
#7040 = CARTESIAN_POINT ('', (0.629999999999061, -0.400000000000043, -3.97));
#7050 = CARTESIAN_POINT ('', (0.629999999999061, -0.400000000000043, 0.));
#7060 = CARTESIAN_POINT ('', (0.629999999999034, -0.382679340418708, -3.97));
#7070 = CARTESIAN_POINT ('', (0.629999999999034, -0.382679340418708, 0.));
#7080 = CARTESIAN_POINT ('', (0.645000196810394, -0.37401912425784, -3.97));
#7090 = CARTESIAN_POINT ('', (0.645000196810394, -0.37401912425784, 0.));
#7100 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#7000, #7010), (#7020, #7030), (#7040, #7050), (#7060, #7070), (#7080, #7090)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.5, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.866023509968573, 0.866023509968573), (1., 1.), (0.866023509968573, 0.866023509968573), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#7110 = ADVANCED_FACE ('', (#6990), #7100, .F.);
#7120 = CARTESIAN_POINT ('', (1.29282032302997, 2.66453525910038E-15, -3.97));
#7130 = VERTEX_POINT ('', #7120);
#7140 = CARTESIAN_POINT ('', (1.29282032302997, 2.66453525910038E-15, 0.));
#7150 = VERTEX_POINT ('', #7140);
#7160 = CARTESIAN_POINT ('', (1.29282032302997, 2.66453525910038E-15, -3.97));
#7170 = CARTESIAN_POINT ('', (1.29282032302997, 2.66453525910038E-15, -3.10862446895044E-15));
#7180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7160, #7170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7190 = EDGE_CURVE ('', #7130, #7150, #7180, .T.);
#7200 = ORIENTED_EDGE ('', *, *, #7190, .T.);
#7210 = CARTESIAN_POINT ('', (1.29282032302997, 4.44089209850063E-15, 4.44089209850063E-16));
#7220 = CARTESIAN_POINT ('', (0.645000196810473, -0.374019124257973, 4.44089209850063E-16));
#7230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7210, #7220), .UNSPECIFIED., .F., .U., (2, 2), (0.727791907947452, 1.), .UNSPECIFIED.);
#7240 = EDGE_CURVE ('', #7150, #6830, #7230, .T.);
#7250 = ORIENTED_EDGE ('', *, *, #7240, .T.);
#7260 = ORIENTED_EDGE ('', *, *, #6870, .F.);
#7270 = CARTESIAN_POINT ('', (0.645000196810471, -0.374019124257973, -3.97));
#7280 = CARTESIAN_POINT ('', (1.29282032302997, 4.44089209850063E-15, -3.97));
#7290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7270, #7280), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.272208092052549), .UNSPECIFIED.);
#7300 = EDGE_CURVE ('', #6730, #7130, #7290, .T.);
#7310 = ORIENTED_EDGE ('', *, *, #7300, .T.);
#7320 = EDGE_LOOP ('', (#7200, #7250, #7260, #7310));
#7330 = FACE_OUTER_BOUND ('', #7320, .F.);
#7340 = CARTESIAN_POINT ('', (0.645000196810472, -0.374019124257975, -3.97));
#7350 = CARTESIAN_POINT ('', (0.645000196810472, -0.374019124257975, 0.));
#7360 = CARTESIAN_POINT ('', (1.29282032302997, 2.66453525910038E-15, -3.97));
#7370 = CARTESIAN_POINT ('', (1.29282032302997, 2.66453525910038E-15, 0.));
#7380 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7340, #7350), (#7360, #7370)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.272208092052549), (0., 1.), .UNSPECIFIED.);
#7390 = ADVANCED_FACE ('', (#7330), #7380, .F.);
#7400 = CARTESIAN_POINT ('', (14.5977839420936, 4.44089209850063E-15, 0.));
#7410 = VERTEX_POINT ('', #7400);
#7420 = CARTESIAN_POINT ('', (14.5977839420936, 4.44089209850063E-15, -3.97));
#7430 = VERTEX_POINT ('', #7420);
#7440 = CARTESIAN_POINT ('', (14.5977839420936, 4.44089209850063E-15, -4.44089209850063E-16));
#7450 = CARTESIAN_POINT ('', (14.5977839420936, 4.44089209850063E-15, -3.97));
#7460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7440, #7450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7470 = EDGE_CURVE ('', #7410, #7430, #7460, .T.);
#7480 = ORIENTED_EDGE ('', *, *, #7470, .F.);
#7490 = CARTESIAN_POINT ('', (1.29282032302997, 2.66453525910038E-15, 0.));
#7500 = CARTESIAN_POINT ('', (14.5977839420936, 4.44089209850063E-15, 0.));
#7510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7490, #7500), .UNSPECIFIED., .F., .U., (2, 2), (0.0783632715501492, 0.884833017169524), .UNSPECIFIED.);
#7520 = EDGE_CURVE ('', #7150, #7410, #7510, .T.);
#7530 = ORIENTED_EDGE ('', *, *, #7520, .F.);
#7540 = ORIENTED_EDGE ('', *, *, #7190, .F.);
#7550 = CARTESIAN_POINT ('', (1.29282032302997, 2.66453525910038E-15, -3.97));
#7560 = CARTESIAN_POINT ('', (14.5977839420936, 4.44089209850063E-15, -3.97));
#7570 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7550, #7560), .UNSPECIFIED., .F., .U., (2, 2), (0.0783632715501492, 0.884833017169524), .UNSPECIFIED.);
#7580 = EDGE_CURVE ('', #7130, #7430, #7570, .T.);
#7590 = ORIENTED_EDGE ('', *, *, #7580, .T.);
#7600 = EDGE_LOOP ('', (#7480, #7530, #7540, #7590));
#7610 = FACE_OUTER_BOUND ('', #7600, .F.);
#7620 = CARTESIAN_POINT ('', (1.29282032302996, 2.66453525910038E-15, -3.97));
#7630 = CARTESIAN_POINT ('', (1.29282032302996, 2.66453525910038E-15, 0.));
#7640 = CARTESIAN_POINT ('', (14.5977839420936, 4.44089209850063E-15, -3.97));
#7650 = CARTESIAN_POINT ('', (14.5977839420936, 4.44089209850063E-15, 0.));
#7660 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7620, #7630), (#7640, #7650)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0783632715501489, 0.884833017169524), (0., 1.), .UNSPECIFIED.);
#7670 = ADVANCED_FACE ('', (#7610), #7660, .F.);
#7680 = CARTESIAN_POINT ('', (15.5013737805792, -0.521687836486659, -3.97));
#7690 = VERTEX_POINT ('', #7680);
#7700 = CARTESIAN_POINT ('', (15.8063735837692, -0.34559611801271, -3.97));
#7710 = VERTEX_POINT ('', #7700);
#7720 = CARTESIAN_POINT ('', (15.5013737805792, -0.521687836486659, -3.97));
#7730 = CARTESIAN_POINT ('', (15.8063735837692, -0.34559611801271, -3.97));
#7740 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7720, #7730), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7750 = EDGE_CURVE ('', #7690, #7710, #7740, .T.);
#7760 = ORIENTED_EDGE ('', *, *, #7750, .T.);
#7770 = CARTESIAN_POINT ('', (15.8063735837692, -0.345596118012709, 4.44089209850063E-16));
#7780 = VERTEX_POINT ('', #7770);
#7790 = CARTESIAN_POINT ('', (15.8063735837692, -0.345596118012709, -3.97));
#7800 = CARTESIAN_POINT ('', (15.8063735837692, -0.345596118012709, 0.));
#7810 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#7790, #7800), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((2, 2), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1.))
   REPRESENTATION_ITEM ('')
);
#7820 = EDGE_CURVE ('', #7710, #7780, #7810, .T.);
#7830 = ORIENTED_EDGE ('', *, *, #7820, .T.);
#7840 = CARTESIAN_POINT ('', (15.5013737805792, -0.521687836486658, 4.44089209850063E-16));
#7850 = VERTEX_POINT ('', #7840);
#7860 = CARTESIAN_POINT ('', (15.8063735837692, -0.345596118012709, 4.44089209850063E-16));
#7870 = CARTESIAN_POINT ('', (15.5013737805792, -0.521687836486658, 4.44089209850063E-16));
#7880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7860, #7870), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7890 = EDGE_CURVE ('', #7780, #7850, #7880, .T.);
#7900 = ORIENTED_EDGE ('', *, *, #7890, .T.);
#7910 = CARTESIAN_POINT ('', (15.5013737805792, -0.521687836486659, -3.97));
#7920 = CARTESIAN_POINT ('', (15.5013737805792, -0.521687836486659, 0.));
#7930 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7910, #7920), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7940 = EDGE_CURVE ('', #7690, #7850, #7930, .T.);
#7950 = ORIENTED_EDGE ('', *, *, #7940, .F.);
#7960 = EDGE_LOOP ('', (#7760, #7830, #7900, #7950));
#7970 = FACE_OUTER_BOUND ('', #7960, .F.);
#7980 = CARTESIAN_POINT ('', (15.5013737805792, -0.521687836486659, -3.97));
#7990 = CARTESIAN_POINT ('', (15.5013737805792, -0.521687836486659, 0.));
#8000 = CARTESIAN_POINT ('', (15.8063735837692, -0.345596118012709, -3.97));
#8010 = CARTESIAN_POINT ('', (15.8063735837692, -0.345596118012709, 0.));
#8020 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7980, #7990), (#8000, #8010)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#8030 = ADVANCED_FACE ('', (#7970), #8020, .F.);
#8040 = CARTESIAN_POINT ('', (15.8513737805798, -0.371576993754822, -3.97));
#8050 = VERTEX_POINT ('', #8040);
#8060 = CARTESIAN_POINT ('', (15.8063735837692, -0.345596118012709, -3.97));
#8070 = CARTESIAN_POINT ('', (15.8213736493724, -0.336935674592694, -3.97));
#8080 = CARTESIAN_POINT ('', (15.8363737805802, -0.345596004383339, -3.97));
#8090 = CARTESIAN_POINT ('', (15.8513739117879, -0.354256334173984, -3.97));
#8100 = CARTESIAN_POINT ('', (15.8513737805798, -0.371576993754822, -3.97));
#8110 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#8060, #8070, #8080, #8090, #8100), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.866023509968562, 1., 0.866023509968562, 1.))
   REPRESENTATION_ITEM ('')
);
#8120 = EDGE_CURVE ('', #7710, #8050, #8110, .T.);
#8130 = ORIENTED_EDGE ('', *, *, #8120, .T.);
#8140 = CARTESIAN_POINT ('', (15.8513737805798, -0.371576993754822, 0.));
#8150 = VERTEX_POINT ('', #8140);
#8160 = CARTESIAN_POINT ('', (15.8513737805797, -0.371576993754822, -3.97));
#8170 = CARTESIAN_POINT ('', (15.8513737805797, -0.371576993754822, 0.));
#8180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8160, #8170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8190 = EDGE_CURVE ('', #8050, #8150, #8180, .T.);
#8200 = ORIENTED_EDGE ('', *, *, #8190, .T.);
#8210 = CARTESIAN_POINT ('', (15.8063735837692, -0.345596118012709, 0.));
#8220 = CARTESIAN_POINT ('', (15.8213736493724, -0.336935674592694, 0.));
#8230 = CARTESIAN_POINT ('', (15.8363737805802, -0.345596004383339, 0.));
#8240 = CARTESIAN_POINT ('', (15.8513739117879, -0.354256334173984, 0.));
#8250 = CARTESIAN_POINT ('', (15.8513737805798, -0.371576993754822, 0.));
#8260 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#8210, #8220, #8230, #8240, #8250), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.866023509968562, 1., 0.866023509968562, 1.))
   REPRESENTATION_ITEM ('')
);
#8270 = EDGE_CURVE ('', #7780, #8150, #8260, .T.);
#8280 = ORIENTED_EDGE ('', *, *, #8270, .F.);
#8290 = ORIENTED_EDGE ('', *, *, #7820, .F.);
#8300 = EDGE_LOOP ('', (#8130, #8200, #8280, #8290));
#8310 = FACE_OUTER_BOUND ('', #8300, .F.);
#8320 = CARTESIAN_POINT ('', (15.8063735837692, -0.345596118012709, -3.97));
#8330 = CARTESIAN_POINT ('', (15.8063735837692, -0.345596118012709, 0.));
#8340 = CARTESIAN_POINT ('', (15.8213736493724, -0.336935674592695, -3.97));
#8350 = CARTESIAN_POINT ('', (15.8213736493724, -0.336935674592695, 0.));
#8360 = CARTESIAN_POINT ('', (15.8363737805802, -0.345596004383339, -3.97));
#8370 = CARTESIAN_POINT ('', (15.8363737805802, -0.345596004383339, 0.));
#8380 = CARTESIAN_POINT ('', (15.8513739117879, -0.354256334173984, -3.97));
#8390 = CARTESIAN_POINT ('', (15.8513739117879, -0.354256334173984, 0.));
#8400 = CARTESIAN_POINT ('', (15.8513737805798, -0.371576993754822, -3.97));
#8410 = CARTESIAN_POINT ('', (15.8513737805798, -0.371576993754822, 0.));
#8420 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8320, #8330), (#8340, #8350), (#8360, #8370), (#8380, #8390), (#8400, #8410)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.5, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.866023509968573, 0.866023509968573), (1., 1.), (0.866023509968573, 0.866023509968573), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#8430 = ADVANCED_FACE ('', (#8310), #8420, .F.);
#8440 = CARTESIAN_POINT ('', (15.8513737805786, -1.11961524227277, -3.97));
#8450 = VERTEX_POINT ('', #8440);
#8460 = CARTESIAN_POINT ('', (15.8513737805786, -1.11961524227277, 0.));
#8470 = VERTEX_POINT ('', #8460);
#8480 = CARTESIAN_POINT ('', (15.8513737805786, -1.11961524227277, -3.97));
#8490 = CARTESIAN_POINT ('', (15.8513737805786, -1.11961524227277, -3.10862446895044E-15));
#8500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8480, #8490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8510 = EDGE_CURVE ('', #8450, #8470, #8500, .T.);
#8520 = ORIENTED_EDGE ('', *, *, #8510, .T.);
#8530 = CARTESIAN_POINT ('', (15.8513737805786, -1.11961524227277, -4.44089209850063E-16));
#8540 = CARTESIAN_POINT ('', (15.8513737805797, -0.371576993754821, -4.44089209850063E-16));
#8550 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8530, #8540), .UNSPECIFIED., .F., .U., (2, 2), (0.727791907947437, 1.), .UNSPECIFIED.);
#8560 = EDGE_CURVE ('', #8470, #8150, #8550, .T.);
#8570 = ORIENTED_EDGE ('', *, *, #8560, .T.);
#8580 = ORIENTED_EDGE ('', *, *, #8190, .F.);
#8590 = CARTESIAN_POINT ('', (15.8513737805797, -0.371576993754822, -3.97));
#8600 = CARTESIAN_POINT ('', (15.8513737805786, -1.11961524227277, -3.97));
#8610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8590, #8600), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.272208092052563), .UNSPECIFIED.);
#8620 = EDGE_CURVE ('', #8050, #8450, #8610, .T.);
#8630 = ORIENTED_EDGE ('', *, *, #8620, .T.);
#8640 = EDGE_LOOP ('', (#8520, #8570, #8580, #8630));
#8650 = FACE_OUTER_BOUND ('', #8640, .F.);
#8660 = CARTESIAN_POINT ('', (15.8513737805797, -0.371576993754822, -3.97));
#8670 = CARTESIAN_POINT ('', (15.8513737805797, -0.371576993754822, 0.));
#8680 = CARTESIAN_POINT ('', (15.8513737805786, -1.11961524227277, -3.97));
#8690 = CARTESIAN_POINT ('', (15.8513737805786, -1.11961524227277, 0.));
#8700 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8660, #8670), (#8680, #8690)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.272208092052563), (0., 1.), .UNSPECIFIED.);
#8710 = ADVANCED_FACE ('', (#8650), #8700, .F.);
#8720 = ORIENTED_EDGE ('', *, *, #7470, .T.);
#8730 = CARTESIAN_POINT ('', (14.5977839420936, 7.99360577730113E-15, -3.97));
#8740 = CARTESIAN_POINT ('', (15.5013737805792, -0.521687836486659, -3.97));
#8750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8730, #8740), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8760 = EDGE_CURVE ('', #7430, #7690, #8750, .T.);
#8770 = ORIENTED_EDGE ('', *, *, #8760, .T.);
#8780 = ORIENTED_EDGE ('', *, *, #7940, .T.);
#8790 = CARTESIAN_POINT ('', (15.5013737805792, -0.521687836486659, 0.));
#8800 = CARTESIAN_POINT ('', (14.5977839420936, 6.21724893790088E-15, 0.));
#8810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8790, #8800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8820 = EDGE_CURVE ('', #7850, #7410, #8810, .T.);
#8830 = ORIENTED_EDGE ('', *, *, #8820, .T.);
#8840 = EDGE_LOOP ('', (#8720, #8770, #8780, #8830));
#8850 = FACE_OUTER_BOUND ('', #8840, .F.);
#8860 = CARTESIAN_POINT ('', (15.5013737805792, -0.521687836486659, -3.97));
#8870 = CARTESIAN_POINT ('', (14.5977839420936, 7.99360577730113E-15, -3.97));
#8880 = CARTESIAN_POINT ('', (15.5013737805792, -0.521687836486659, 0.));
#8890 = CARTESIAN_POINT ('', (14.5977839420936, 7.99360577730113E-15, 0.));
#8900 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8860, #8870), (#8880, #8890)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 0.342834991499412), .UNSPECIFIED.);
#8910 = ADVANCED_FACE ('', (#8850), #8900, .F.);
#8920 = CARTESIAN_POINT ('', (9.19889197104678, -12.6420517328096, -3.97));
#8930 = VERTEX_POINT ('', #8920);
#8940 = CARTESIAN_POINT ('', (8.29530213256117, -13.1637395692963, -3.97));
#8950 = VERTEX_POINT ('', #8940);
#8960 = CARTESIAN_POINT ('', (9.19889197104678, -12.6420517328096, -3.97));
#8970 = CARTESIAN_POINT ('', (8.29530213256117, -13.1637395692962, -3.97));
#8980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8960, #8970), .UNSPECIFIED., .F., .U., (2, 2), (0.657165008500585, 1.), .UNSPECIFIED.);
#8990 = EDGE_CURVE ('', #8930, #8950, #8980, .T.);
#9000 = ORIENTED_EDGE ('', *, *, #8990, .F.);
#9010 = CARTESIAN_POINT ('', (15.8513737805786, -1.11961524227277, -3.97));
#9020 = CARTESIAN_POINT ('', (9.19889197104678, -12.6420517328096, -3.97));
#9030 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9010, #9020), .UNSPECIFIED., .F., .U., (2, 2), (0.0783632715501507, 0.884833017169524), .UNSPECIFIED.);
#9040 = EDGE_CURVE ('', #8450, #8930, #9030, .T.);
#9050 = ORIENTED_EDGE ('', *, *, #9040, .F.);
#9060 = ORIENTED_EDGE ('', *, *, #8620, .F.);
#9070 = ORIENTED_EDGE ('', *, *, #8120, .F.);
#9080 = ORIENTED_EDGE ('', *, *, #7750, .F.);
#9090 = ORIENTED_EDGE ('', *, *, #8760, .F.);
#9100 = ORIENTED_EDGE ('', *, *, #7580, .F.);
#9110 = ORIENTED_EDGE ('', *, *, #7300, .F.);
#9120 = ORIENTED_EDGE ('', *, *, #6800, .F.);
#9130 = ORIENTED_EDGE ('', *, *, #6490, .F.);
#9140 = ORIENTED_EDGE ('', *, *, #6220, .F.);
#9150 = CARTESIAN_POINT ('', (7.60248180953179, -13.1678847577272, -3.97));
#9160 = VERTEX_POINT ('', #9150);
#9170 = CARTESIAN_POINT ('', (7.60248180953179, -13.1678847577272, -3.97));
#9180 = CARTESIAN_POINT ('', (0.949999999999998, -1.64544826719043, -3.97));
#9190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9170, #9180), .UNSPECIFIED., .F., .U., (2, 2), (0.0783632715501494, 0.884833017169523), .UNSPECIFIED.);
#9200 = EDGE_CURVE ('', #9160, #6110, #9190, .T.);
#9210 = ORIENTED_EDGE ('', *, *, #9200, .F.);
#9220 = CARTESIAN_POINT ('', (8.25030193575009, -13.5419038819873, -3.97));
#9230 = VERTEX_POINT ('', #9220);
#9240 = CARTESIAN_POINT ('', (8.25030193575017, -13.5419038819872, -3.97));
#9250 = CARTESIAN_POINT ('', (7.60248180953179, -13.1678847577272, -3.97));
#9260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9240, #9250), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.272208092052553), .UNSPECIFIED.);
#9270 = EDGE_CURVE ('', #9230, #9160, #9260, .T.);
#9280 = ORIENTED_EDGE ('', *, *, #9270, .F.);
#9290 = CARTESIAN_POINT ('', (8.29530213256064, -13.5159230062451, -3.97));
#9300 = VERTEX_POINT ('', #9290);
#9310 = CARTESIAN_POINT ('', (8.29530213256064, -13.5159230062451, -3.97));
#9320 = CARTESIAN_POINT ('', (8.2953022637688, -13.5332436658259, -3.97));
#9330 = CARTESIAN_POINT ('', (8.28030213256107, -13.5419039956166, -3.97));
#9340 = CARTESIAN_POINT ('', (8.26530200135335, -13.5505643254073, -3.97));
#9350 = CARTESIAN_POINT ('', (8.25030193575009, -13.5419038819873, -3.97));
#9360 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#9310, #9320, #9330, #9340, #9350), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.866023509968561, 1., 0.866023509968561, 1.))
   REPRESENTATION_ITEM ('')
);
#9370 = EDGE_CURVE ('', #9300, #9230, #9360, .T.);
#9380 = ORIENTED_EDGE ('', *, *, #9370, .F.);
#9390 = CARTESIAN_POINT ('', (8.29530213256117, -13.1637395692963, -3.97));
#9400 = CARTESIAN_POINT ('', (8.29530213256064, -13.5159230062451, -3.97));
#9410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9390, #9400), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9420 = EDGE_CURVE ('', #8950, #9300, #9410, .T.);
#9430 = ORIENTED_EDGE ('', *, *, #9420, .F.);
#9440 = EDGE_LOOP ('', (#9000, #9050, #9060, #9070, #9080, #9090, #9100, #9110, #9120, #9130, #9140, #9210, #9280, #9380, #9430));
#9450 = FACE_OUTER_BOUND ('', #9440, .F.);
#9460 = CARTESIAN_POINT ('', (15.8513739117879, 7.105427357601E-15, -3.97));
#9470 = CARTESIAN_POINT ('', (15.8513739117879, -13.5505643254073, -3.97));
#9480 = CARTESIAN_POINT ('', (0.629999999999036, 7.105427357601E-15, -3.97));
#9490 = CARTESIAN_POINT ('', (0.629999999999036, -13.5505643254073, -3.97));
#9500 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9460, #9470), (#9480, #9490)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.183321866921351, 0.817361685871244), (0.202430149678192, 0.766873110040393), .UNSPECIFIED.);
#9510 = ADVANCED_FACE ('', (#9450), #9500, .F.);
#9520 = CARTESIAN_POINT ('', (8.29530213256117, -13.1637395692962, 8.88178419700125E-16));
#9530 = VERTEX_POINT ('', #9520);
#9540 = CARTESIAN_POINT ('', (9.19889197104678, -12.6420517328096, 0.));
#9550 = VERTEX_POINT ('', #9540);
#9560 = CARTESIAN_POINT ('', (8.29530213256117, -13.1637395692962, 0.));
#9570 = CARTESIAN_POINT ('', (9.19889197104678, -12.6420517328096, 0.));
#9580 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9560, #9570), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.342834991499416), .UNSPECIFIED.);
#9590 = EDGE_CURVE ('', #9530, #9550, #9580, .T.);
#9600 = ORIENTED_EDGE ('', *, *, #9590, .F.);
#9610 = CARTESIAN_POINT ('', (8.29530213256064, -13.5159230062451, 8.88178419700125E-16));
#9620 = VERTEX_POINT ('', #9610);
#9630 = CARTESIAN_POINT ('', (8.29530213256064, -13.5159230062451, 8.88178419700125E-16));
#9640 = CARTESIAN_POINT ('', (8.29530213256117, -13.1637395692962, 8.88178419700125E-16));
#9650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9630, #9640), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9660 = EDGE_CURVE ('', #9620, #9530, #9650, .T.);
#9670 = ORIENTED_EDGE ('', *, *, #9660, .F.);
#9680 = CARTESIAN_POINT ('', (8.25030193575009, -13.5419038819873, 0.));
#9690 = VERTEX_POINT ('', #9680);
#9700 = CARTESIAN_POINT ('', (8.29530213256064, -13.5159230062451, 0.));
#9710 = CARTESIAN_POINT ('', (8.2953022637688, -13.5332436658259, 0.));
#9720 = CARTESIAN_POINT ('', (8.28030213256107, -13.5419039956166, 0.));
#9730 = CARTESIAN_POINT ('', (8.26530200135335, -13.5505643254073, 0.));
#9740 = CARTESIAN_POINT ('', (8.25030193575009, -13.5419038819873, 0.));
#9750 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#9700, #9710, #9720, #9730, #9740), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.866023509968561, 1., 0.866023509968561, 1.))
   REPRESENTATION_ITEM ('')
);
#9760 = EDGE_CURVE ('', #9620, #9690, #9750, .T.);
#9770 = ORIENTED_EDGE ('', *, *, #9760, .T.);
#9780 = CARTESIAN_POINT ('', (7.6024818095318, -13.1678847577272, 0.));
#9790 = VERTEX_POINT ('', #9780);
#9800 = CARTESIAN_POINT ('', (7.6024818095318, -13.1678847577272, -4.44089209850063E-16));
#9810 = CARTESIAN_POINT ('', (8.25030193575017, -13.5419038819872, -4.44089209850063E-16));
#9820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9800, #9810), .UNSPECIFIED., .F., .U., (2, 2), (0.727791907947449, 1.), .UNSPECIFIED.);
#9830 = EDGE_CURVE ('', #9790, #9690, #9820, .T.);
#9840 = ORIENTED_EDGE ('', *, *, #9830, .F.);
#9850 = CARTESIAN_POINT ('', (7.6024818095318, -13.1678847577272, 0.));
#9860 = CARTESIAN_POINT ('', (0.949999999999998, -1.64544826719043, 0.));
#9870 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9850, #9860), .UNSPECIFIED., .F., .U., (2, 2), (0.078363271550149, 0.884833017169523), .UNSPECIFIED.);
#9880 = EDGE_CURVE ('', #9790, #6090, #9870, .T.);
#9890 = ORIENTED_EDGE ('', *, *, #9880, .T.);
#9900 = ORIENTED_EDGE ('', *, *, #6340, .F.);
#9910 = ORIENTED_EDGE ('', *, *, #6610, .F.);
#9920 = ORIENTED_EDGE ('', *, *, #6950, .T.);
#9930 = ORIENTED_EDGE ('', *, *, #7240, .F.);
#9940 = ORIENTED_EDGE ('', *, *, #7520, .T.);
#9950 = ORIENTED_EDGE ('', *, *, #8820, .F.);
#9960 = ORIENTED_EDGE ('', *, *, #7890, .F.);
#9970 = ORIENTED_EDGE ('', *, *, #8270, .T.);
#9980 = ORIENTED_EDGE ('', *, *, #8560, .F.);
#9990 = CARTESIAN_POINT ('', (15.8513737805786, -1.11961524227277, 0.));
#10000 = CARTESIAN_POINT ('', (9.19889197104678, -12.6420517328096, 0.));
#10010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9990, #10000), .UNSPECIFIED., .F., .U., (2, 2), (0.0783632715501506, 0.884833017169524), .UNSPECIFIED.);
#10020 = EDGE_CURVE ('', #8470, #9550, #10010, .T.);
#10030 = ORIENTED_EDGE ('', *, *, #10020, .T.);
#10040 = EDGE_LOOP ('', (#9600, #9670, #9770, #9840, #9890, #9900, #9910, #9920, #9930, #9940, #9950, #9960, #9970, #9980, #10030));
#10050 = FACE_OUTER_BOUND ('', #10040, .F.);
#10060 = CARTESIAN_POINT ('', (15.8513739117879, 4.44089209850063E-15, 0.));
#10070 = CARTESIAN_POINT ('', (0.629999999999036, 4.44089209850063E-15, 0.));
#10080 = CARTESIAN_POINT ('', (15.8513739117879, -13.5505643254073, 0.));
#10090 = CARTESIAN_POINT ('', (0.629999999999036, -13.5505643254073, 0.));
#10100 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10060, #10070), (#10080, #10090)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.202430149678192, 0.766873110040393), (0.183321866921351, 0.817361685871244), .UNSPECIFIED.);
#10110 = ADVANCED_FACE ('', (#10050), #10100, .F.);
#10120 = CARTESIAN_POINT ('', (9.19889197104678, -12.6420517328096, -4.44089209850063E-16));
#10130 = CARTESIAN_POINT ('', (9.19889197104678, -12.6420517328096, -3.97));
#10140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10120, #10130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10150 = EDGE_CURVE ('', #9550, #8930, #10140, .T.);
#10160 = ORIENTED_EDGE ('', *, *, #10150, .F.);
#10170 = ORIENTED_EDGE ('', *, *, #10020, .F.);
#10180 = ORIENTED_EDGE ('', *, *, #8510, .F.);
#10190 = ORIENTED_EDGE ('', *, *, #9040, .T.);
#10200 = EDGE_LOOP ('', (#10160, #10170, #10180, #10190));
#10210 = FACE_OUTER_BOUND ('', #10200, .F.);
#10220 = CARTESIAN_POINT ('', (15.8513737805786, -1.11961524227277, -3.97));
#10230 = CARTESIAN_POINT ('', (15.8513737805786, -1.11961524227277, 0.));
#10240 = CARTESIAN_POINT ('', (9.19889197104678, -12.6420517328096, -3.97));
#10250 = CARTESIAN_POINT ('', (9.19889197104678, -12.6420517328096, 0.));
#10260 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10220, #10230), (#10240, #10250)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0783632715501504, 0.884833017169524), (0., 1.), .UNSPECIFIED.);
#10270 = ADVANCED_FACE ('', (#10210), #10260, .F.);
#10280 = CARTESIAN_POINT ('', (7.6024818095318, -13.1678847577272, -3.97));
#10290 = CARTESIAN_POINT ('', (7.6024818095318, -13.1678847577272, -1.33226762955019E-15));
#10300 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10280, #10290), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10310 = EDGE_CURVE ('', #9160, #9790, #10300, .T.);
#10320 = ORIENTED_EDGE ('', *, *, #10310, .F.);
#10330 = ORIENTED_EDGE ('', *, *, #9200, .T.);
#10340 = ORIENTED_EDGE ('', *, *, #6150, .F.);
#10350 = ORIENTED_EDGE ('', *, *, #9880, .F.);
#10360 = EDGE_LOOP ('', (#10320, #10330, #10340, #10350));
#10370 = FACE_OUTER_BOUND ('', #10360, .F.);
#10380 = CARTESIAN_POINT ('', (7.6024818095318, -13.1678847577272, -3.97));
#10390 = CARTESIAN_POINT ('', (7.6024818095318, -13.1678847577272, 0.));
#10400 = CARTESIAN_POINT ('', (0.949999999999998, -1.64544826719043, -3.97));
#10410 = CARTESIAN_POINT ('', (0.949999999999998, -1.64544826719043, 0.));
#10420 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10380, #10390), (#10400, #10410)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0783632715501488, 0.884833017169523), (0., 1.), .UNSPECIFIED.);
#10430 = ADVANCED_FACE ('', (#10370), #10420, .F.);
#10440 = ORIENTED_EDGE ('', *, *, #9420, .T.);
#10450 = CARTESIAN_POINT ('', (8.29530213256064, -13.5159230062451, -3.97));
#10460 = CARTESIAN_POINT ('', (8.29530213256064, -13.5159230062451, 0.));
#10470 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#10450, #10460), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((2, 2), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1.))
   REPRESENTATION_ITEM ('')
);
#10480 = EDGE_CURVE ('', #9300, #9620, #10470, .T.);
#10490 = ORIENTED_EDGE ('', *, *, #10480, .T.);
#10500 = ORIENTED_EDGE ('', *, *, #9660, .T.);
#10510 = CARTESIAN_POINT ('', (8.29530213256117, -13.1637395692962, -3.97));
#10520 = CARTESIAN_POINT ('', (8.29530213256117, -13.1637395692962, 0.));
#10530 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10510, #10520), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10540 = EDGE_CURVE ('', #8950, #9530, #10530, .T.);
#10550 = ORIENTED_EDGE ('', *, *, #10540, .F.);
#10560 = EDGE_LOOP ('', (#10440, #10490, #10500, #10550));
#10570 = FACE_OUTER_BOUND ('', #10560, .F.);
#10580 = CARTESIAN_POINT ('', (8.29530213256117, -13.1637395692962, -3.97));
#10590 = CARTESIAN_POINT ('', (8.29530213256117, -13.1637395692962, 0.));
#10600 = CARTESIAN_POINT ('', (8.29530213256064, -13.5159230062451, -3.97));
#10610 = CARTESIAN_POINT ('', (8.29530213256064, -13.5159230062451, 0.));
#10620 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10580, #10590), (#10600, #10610)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#10630 = ADVANCED_FACE ('', (#10570), #10620, .F.);
#10640 = ORIENTED_EDGE ('', *, *, #9370, .T.);
#10650 = CARTESIAN_POINT ('', (8.25030193575017, -13.5419038819872, -3.97));
#10660 = CARTESIAN_POINT ('', (8.25030193575017, -13.5419038819872, 0.));
#10670 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10650, #10660), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10680 = EDGE_CURVE ('', #9230, #9690, #10670, .T.);
#10690 = ORIENTED_EDGE ('', *, *, #10680, .T.);
#10700 = ORIENTED_EDGE ('', *, *, #9760, .F.);
#10710 = ORIENTED_EDGE ('', *, *, #10480, .F.);
#10720 = EDGE_LOOP ('', (#10640, #10690, #10700, #10710));
#10730 = FACE_OUTER_BOUND ('', #10720, .F.);
#10740 = CARTESIAN_POINT ('', (8.29530213256064, -13.5159230062451, -3.97));
#10750 = CARTESIAN_POINT ('', (8.29530213256064, -13.5159230062451, 0.));
#10760 = CARTESIAN_POINT ('', (8.2953022637688, -13.5332436658259, -3.97));
#10770 = CARTESIAN_POINT ('', (8.2953022637688, -13.5332436658259, 0.));
#10780 = CARTESIAN_POINT ('', (8.28030213256107, -13.5419039956166, -3.97));
#10790 = CARTESIAN_POINT ('', (8.28030213256107, -13.5419039956166, 0.));
#10800 = CARTESIAN_POINT ('', (8.26530200135335, -13.5505643254073, -3.97));
#10810 = CARTESIAN_POINT ('', (8.26530200135335, -13.5505643254073, 0.));
#10820 = CARTESIAN_POINT ('', (8.25030193575009, -13.5419038819873, -3.97));
#10830 = CARTESIAN_POINT ('', (8.25030193575009, -13.5419038819873, 0.));
#10840 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#10740, #10750), (#10760, #10770), (#10780, #10790), (#10800, #10810), (#10820, #10830)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.5, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.866023509968573, 0.866023509968573), (1., 1.), (0.866023509968573, 0.866023509968573), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#10850 = ADVANCED_FACE ('', (#10730), #10840, .F.);
#10860 = ORIENTED_EDGE ('', *, *, #10310, .T.);
#10870 = ORIENTED_EDGE ('', *, *, #9830, .T.);
#10880 = ORIENTED_EDGE ('', *, *, #10680, .F.);
#10890 = ORIENTED_EDGE ('', *, *, #9270, .T.);
#10900 = EDGE_LOOP ('', (#10860, #10870, #10880, #10890));
#10910 = FACE_OUTER_BOUND ('', #10900, .F.);
#10920 = CARTESIAN_POINT ('', (8.25030193575017, -13.5419038819872, -3.97));
#10930 = CARTESIAN_POINT ('', (8.25030193575017, -13.5419038819872, 0.));
#10940 = CARTESIAN_POINT ('', (7.60248180953179, -13.1678847577272, -3.97));
#10950 = CARTESIAN_POINT ('', (7.60248180953179, -13.1678847577272, 0.));
#10960 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10920, #10930), (#10940, #10950)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.272208092052553), (0., 1.), .UNSPECIFIED.);
#10970 = ADVANCED_FACE ('', (#10910), #10960, .F.);
#10980 = ORIENTED_EDGE ('', *, *, #10150, .T.);
#10990 = ORIENTED_EDGE ('', *, *, #8990, .T.);
#11000 = ORIENTED_EDGE ('', *, *, #10540, .T.);
#11010 = ORIENTED_EDGE ('', *, *, #9590, .T.);
#11020 = EDGE_LOOP ('', (#10980, #10990, #11000, #11010));
#11030 = FACE_OUTER_BOUND ('', #11020, .F.);
#11040 = CARTESIAN_POINT ('', (8.29530213256117, -13.1637395692962, -3.97));
#11050 = CARTESIAN_POINT ('', (9.19889197104678, -12.6420517328096, -3.97));
#11060 = CARTESIAN_POINT ('', (8.29530213256117, -13.1637395692962, 0.));
#11070 = CARTESIAN_POINT ('', (9.19889197104678, -12.6420517328096, 0.));
#11080 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11040, #11050), (#11060, #11070)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 0.342834991499416), .UNSPECIFIED.);
#11090 = ADVANCED_FACE ('', (#11030), #11080, .F.);
#11100 = CLOSED_SHELL ('', (#6430, #6710, #7110, #7390, #7670, #8030, #8430, #8710, #8910, #9510, #10110, #10270, #10430, #10630, #10850, #10970, #11090));
#11110 = MANIFOLD_SOLID_BREP ('', #11100);
#11120 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#11130 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#11140 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#11150 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #11120, 'DISTANCE_ACCURACY_VALUE', '');
#11160 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#11150))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#11120, #11130, #11140))
   REPRESENTATION_CONTEXT ('', '3D')
);
#11170 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#11180 = FILL_AREA_STYLE_COLOUR ('', #11170);
#11190 = FILL_AREA_STYLE ('', (#11180));
#11200 = SURFACE_STYLE_FILL_AREA (#11190);
#11210 = SURFACE_SIDE_STYLE ('', (#11200));
#11220 = SURFACE_STYLE_USAGE (.POSITIVE., #11210);
#11230 = PRESENTATION_STYLE_ASSIGNMENT ((#11220));
#11240 = STYLED_ITEM ('', (#11230), #11110);
#11250 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#11110), #11160);
#11260 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#11270 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #11260);
#11280 = MECHANICAL_CONTEXT ('', #11260, 'mechanical');
#11290 = PRODUCT ('product-name', '', '', (#11280));
#11300 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#11310 = PERSON ('', '', $, $, $, $);
#11320 = ORGANIZATION ($, '', '');
#11330 = PERSON_AND_ORGANIZATION (#11310, #11320);
#11340 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#11330, #11300, (#11290));
#11350 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#11290));
#11360 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #11290, .NOT_KNOWN.);
#11370 = APPROVAL_STATUS ('approved');
#11380 = APPROVAL (#11370, '');
#11390 = CALENDAR_DATE (2010, 16, 2);
#11400 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#11410 = LOCAL_TIME (9, 57, 19., #11400);
#11420 = DATE_AND_TIME (#11390, #11410);
#11430 = APPROVAL_DATE_TIME (#11420, #11380);
#11440 = APPROVAL_ROLE ('');
#11450 = PERSON ('', '', $, $, $, $);
#11460 = ORGANIZATION ($, '', '');
#11470 = PERSON_AND_ORGANIZATION (#11450, #11460);
#11480 = APPROVAL_PERSON_ORGANIZATION (#11470, #11380, #11440);
#11490 = CC_DESIGN_APPROVAL (#11380, (#11360));
#11500 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#11510 = PERSON ('', '', $, $, $, $);
#11520 = ORGANIZATION ($, '', '');
#11530 = PERSON_AND_ORGANIZATION (#11510, #11520);
#11540 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#11530, #11500, (#11360));
#11550 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#11560 = PERSON ('', '', $, $, $, $);
#11570 = ORGANIZATION ($, '', '');
#11580 = PERSON_AND_ORGANIZATION (#11560, #11570);
#11590 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#11580, #11550, (#11360));
#11600 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#11610 = SECURITY_CLASSIFICATION ('', '', #11600);
#11620 = APPROVAL_STATUS ('approved');
#11630 = APPROVAL (#11620, '');
#11640 = CALENDAR_DATE (2010, 16, 2);
#11650 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#11660 = LOCAL_TIME (9, 57, 19., #11650);
#11670 = DATE_AND_TIME (#11640, #11660);
#11680 = APPROVAL_DATE_TIME (#11670, #11630);
#11690 = APPROVAL_ROLE ('');
#11700 = PERSON ('', '', $, $, $, $);
#11710 = ORGANIZATION ($, '', '');
#11720 = PERSON_AND_ORGANIZATION (#11700, #11710);
#11730 = APPROVAL_PERSON_ORGANIZATION (#11720, #11630, #11690);
#11740 = CC_DESIGN_APPROVAL (#11630, (#11610));
#11750 = DATE_TIME_ROLE ('classification_date');
#11760 = CALENDAR_DATE (2010, 16, 2);
#11770 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#11780 = LOCAL_TIME (9, 57, 19., #11770);
#11790 = DATE_AND_TIME (#11760, #11780);
#11800 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#11790, #11750, (#11610));
#11810 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#11820 = PERSON ('', '', $, $, $, $);
#11830 = ORGANIZATION ($, '', '');
#11840 = PERSON_AND_ORGANIZATION (#11820, #11830);
#11850 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#11840, #11810, (#11610));
#11860 = CC_DESIGN_SECURITY_CLASSIFICATION (#11610, (#11360));
#11870 = DESIGN_CONTEXT ('', #11260, 'design');
#11880 = PRODUCT_DEFINITION ('', '', #11360, #11870);
#11890 = APPROVAL_STATUS ('approved');
#11900 = APPROVAL (#11890, '');
#11910 = CALENDAR_DATE (2010, 16, 2);
#11920 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#11930 = LOCAL_TIME (9, 57, 19., #11920);
#11940 = DATE_AND_TIME (#11910, #11930);
#11950 = APPROVAL_DATE_TIME (#11940, #11900);
#11960 = APPROVAL_ROLE ('');
#11970 = PERSON ('', '', $, $, $, $);
#11980 = ORGANIZATION ($, '', '');
#11990 = PERSON_AND_ORGANIZATION (#11970, #11980);
#12000 = APPROVAL_PERSON_ORGANIZATION (#11990, #11900, #11960);
#12010 = CC_DESIGN_APPROVAL (#11900, (#11880));
#12020 = DATE_TIME_ROLE ('creation_date');
#12030 = CALENDAR_DATE (2010, 16, 2);
#12040 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#12050 = LOCAL_TIME (9, 57, 19., #12040);
#12060 = DATE_AND_TIME (#12030, #12050);
#12070 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#12060, #12020, (#11880));
#12080 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#12090 = PERSON ('', '', $, $, $, $);
#12100 = ORGANIZATION ($, '', '');
#12110 = PERSON_AND_ORGANIZATION (#12090, #12100);
#12120 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#12110, #12080, (#11880));
#12130 = PRODUCT_DEFINITION_SHAPE ('', '', #11880);
#12140 = SHAPE_DEFINITION_REPRESENTATION (#12130, #11250);
ENDSEC;
END-ISO-10303-21;