ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('C:\\TDMTemp\\Tools\\SMLIB\\grooving\\test\\step\\KT3R.stp', '2010-04-07T06:19:58', ('Unknown'), ('Unknown'), 'HarmonyWare STEP v1.4.3', 'HarmonyWare Translators', '');
FILE_SCHEMA (('CONFIG_CONTROL_DESIGN'));
ENDSEC;

DATA;
#10 = CARTESIAN_POINT ('', (-6., -11., -5.7));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (-5.5, -11., -5.7));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (-6., -11., -5.7));
#60 = CARTESIAN_POINT ('', (-5.5, -11., -5.7));
#70 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#50, #60), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0416666666666665), .UNSPECIFIED.);
#80 = EDGE_CURVE ('', #20, #40, #70, .T.);
#90 = ORIENTED_EDGE ('', *, *, #80, .F.);
#100 = CARTESIAN_POINT ('', (-6., -11., 0.));
#110 = VERTEX_POINT ('', #100);
#120 = CARTESIAN_POINT ('', (-6., -11., 0.));
#130 = CARTESIAN_POINT ('', (-6., -11., -5.7));
#140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#120, #130), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.7125), .UNSPECIFIED.);
#150 = EDGE_CURVE ('', #110, #20, #140, .T.);
#160 = ORIENTED_EDGE ('', *, *, #150, .F.);
#170 = CARTESIAN_POINT ('', (6., -11., 0.));
#180 = VERTEX_POINT ('', #170);
#190 = CARTESIAN_POINT ('', (-6., -11., 0.));
#200 = CARTESIAN_POINT ('', (6., -11., 0.));
#210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#190, #200), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.48), .UNSPECIFIED.);
#220 = EDGE_CURVE ('', #110, #180, #210, .T.);
#230 = ORIENTED_EDGE ('', *, *, #220, .T.);
#240 = CARTESIAN_POINT ('', (6., -11., -5.7));
#250 = VERTEX_POINT ('', #240);
#260 = CARTESIAN_POINT ('', (6., -11., -5.7));
#270 = CARTESIAN_POINT ('', (6., -11., 0.));
#280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#260, #270), .UNSPECIFIED., .F., .U., (2, 2), (0.2875, 1.), .UNSPECIFIED.);
#290 = EDGE_CURVE ('', #250, #180, #280, .T.);
#300 = ORIENTED_EDGE ('', *, *, #290, .F.);
#310 = CARTESIAN_POINT ('', (-2.5, -11., -5.7));
#320 = VERTEX_POINT ('', #310);
#330 = CARTESIAN_POINT ('', (-2.5, -11., -5.7));
#340 = CARTESIAN_POINT ('', (6., -11., -5.7));
#350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#330, #340), .UNSPECIFIED., .F., .U., (2, 2), (0.291666666666667, 1.), .UNSPECIFIED.);
#360 = EDGE_CURVE ('', #320, #250, #350, .T.);
#370 = ORIENTED_EDGE ('', *, *, #360, .F.);
#380 = CARTESIAN_POINT ('', (-5.5, -11., -5.7));
#390 = CARTESIAN_POINT ('', (-2.5, -11., -5.7));
#400 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#380, #390), .UNSPECIFIED., .F., .U., (2, 2), (0.0416666666666665, 0.291666666666667), .UNSPECIFIED.);
#410 = EDGE_CURVE ('', #40, #320, #400, .T.);
#420 = ORIENTED_EDGE ('', *, *, #410, .F.);
#430 = EDGE_LOOP ('', (#90, #160, #230, #300, #370, #420));
#440 = FACE_OUTER_BOUND ('', #430, .F.);
#450 = CARTESIAN_POINT ('', (-6., -11., 0.));
#460 = CARTESIAN_POINT ('', (-6., -11., -5.7));
#470 = CARTESIAN_POINT ('', (6., -11., 0.));
#480 = CARTESIAN_POINT ('', (6., -11., -5.7));
#490 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#450, #460), (#470, #480)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.48), (0., 0.7125), .UNSPECIFIED.);
#500 = ADVANCED_FACE ('', (#440), #490, .F.);
#510 = CARTESIAN_POINT ('', (7.24595542819295, 11.675350449526, -2.03958E-15));
#520 = VERTEX_POINT ('', #510);
#530 = CARTESIAN_POINT ('', (7.24595542819295, 12.7, 0.));
#540 = VERTEX_POINT ('', #530);
#550 = CARTESIAN_POINT ('', (7.24595542819295, 11.675350449526, 0.));
#560 = CARTESIAN_POINT ('', (7.24595542819295, 12.7, 0.));
#570 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#550, #560), .UNSPECIFIED., .F., .U., (2, 2), (0.573062687302487, 1.), .UNSPECIFIED.);
#580 = EDGE_CURVE ('', #520, #540, #570, .T.);
#590 = ORIENTED_EDGE ('', *, *, #580, .F.);
#600 = CARTESIAN_POINT ('', (6., 11.675350449526, -2.03958E-15));
#610 = VERTEX_POINT ('', #600);
#620 = CARTESIAN_POINT ('', (7.24595542819295, 11.675350449526, -2.03958E-15));
#630 = CARTESIAN_POINT ('', (6., 11.675350449526, -2.03958E-15));
#640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#620, #630), .UNSPECIFIED., .F., .U., (2, 2), (0.904157274754388, 1.), .UNSPECIFIED.);
#650 = EDGE_CURVE ('', #520, #610, #640, .T.);
#660 = ORIENTED_EDGE ('', *, *, #650, .T.);
#670 = CARTESIAN_POINT ('', (6., -11., 0.));
#680 = CARTESIAN_POINT ('', (6., 11.675350449526, -2.03958E-15));
#690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#670, #680), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#700 = EDGE_CURVE ('', #180, #610, #690, .T.);
#710 = ORIENTED_EDGE ('', *, *, #700, .F.);
#720 = ORIENTED_EDGE ('', *, *, #220, .F.);
#730 = CARTESIAN_POINT ('', (-6., 12.7, 0.));
#740 = VERTEX_POINT ('', #730);
#750 = CARTESIAN_POINT ('', (-6., -11., 0.));
#760 = CARTESIAN_POINT ('', (-6., 12.7, 0.));
#770 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#750, #760), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#780 = EDGE_CURVE ('', #110, #740, #770, .T.);
#790 = ORIENTED_EDGE ('', *, *, #780, .T.);
#800 = CARTESIAN_POINT ('', (-6., 12.7, 0.));
#810 = CARTESIAN_POINT ('', (7.24595542819295, 12.7, 0.));
#820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#800, #810), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.529838217127718), .UNSPECIFIED.);
#830 = EDGE_CURVE ('', #740, #540, #820, .T.);
#840 = ORIENTED_EDGE ('', *, *, #830, .T.);
#850 = EDGE_LOOP ('', (#590, #660, #710, #720, #790, #840));
#860 = FACE_OUTER_BOUND ('', #850, .F.);
#870 = CARTESIAN_POINT ('', (1.23259516440783E-32, -2.75, 0.));
#880 = VERTEX_POINT ('', #870);
#890 = CARTESIAN_POINT ('', (1.23259516440783E-32, -2.75, 0.));
#900 = CARTESIAN_POINT ('', (-2.75, -2.75, 0.));
#910 = CARTESIAN_POINT ('', (-2.75, -5.84722569117195E-16, 0.));
#920 = CARTESIAN_POINT ('', (-2.75, 2.75, 0.));
#930 = CARTESIAN_POINT ('', (-4.47800172228038E-16, 2.75, 0.));
#940 = CARTESIAN_POINT ('', (2.75, 2.75, 0.));
#950 = CARTESIAN_POINT ('', (2.75, 1.99855472876365E-16, 0.));
#960 = CARTESIAN_POINT ('', (2.75, -2.75, 0.));
#970 = CARTESIAN_POINT ('', (1.23259516440783E-32, -2.75, 0.));
#980 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#890, #900, #910, #920, #930, #940, #950, #960, #970), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#990 = EDGE_CURVE ('', #880, #880, #980, .T.);
#1000 = ORIENTED_EDGE ('', *, *, #990, .F.);
#1010 = EDGE_LOOP ('', (#1000));
#1020 = FACE_BOUND ('', #1010, .F.);
#1030 = CARTESIAN_POINT ('', (7.24595542819295, 12.7, 0.));
#1040 = CARTESIAN_POINT ('', (-6., 12.7, 0.));
#1050 = CARTESIAN_POINT ('', (7.24595542819295, -11., 0.));
#1060 = CARTESIAN_POINT ('', (-6., -11., 0.));
#1070 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1030, #1040), (#1050, #1060)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.18727901608087, 0.81272098391913), (0.480314268737189, 0.829874455610896), .UNSPECIFIED.);
#1080 = ADVANCED_FACE ('', (#860, #1020), #1070, .F.);
#1090 = CARTESIAN_POINT ('', (14.6963534547344, 10.755483472928, -5.21682486084698));
#1100 = VERTEX_POINT ('', #1090);
#1110 = CARTESIAN_POINT ('', (14.6963534547344, 10.755483472928, -5.21682486084699));
#1120 = CARTESIAN_POINT ('', (7.24595542819296, 11.675350449526, -2.66453525910038E-15));
#1130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1110, #1120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1140 = EDGE_CURVE ('', #1100, #520, #1130, .T.);
#1150 = ORIENTED_EDGE ('', *, *, #1140, .T.);
#1160 = ORIENTED_EDGE ('', *, *, #580, .T.);
#1170 = CARTESIAN_POINT ('', (14.6963534547344, 12.7000000000004, -5.21682486084695));
#1180 = VERTEX_POINT ('', #1170);
#1190 = CARTESIAN_POINT ('', (7.24595542819295, 12.7, 1.77635683940025E-15));
#1200 = CARTESIAN_POINT ('', (14.6963534547344, 12.7, -5.21682486084699));
#1210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1190, #1200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1220 = EDGE_CURVE ('', #540, #1180, #1210, .T.);
#1230 = ORIENTED_EDGE ('', *, *, #1220, .T.);
#1240 = CARTESIAN_POINT ('', (14.6963534547344, 12.7, -5.21682486084699));
#1250 = CARTESIAN_POINT ('', (14.6963534547344, 10.755483472928, -5.21682486084699));
#1260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1240, #1250), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.810215219613335), .UNSPECIFIED.);
#1270 = EDGE_CURVE ('', #1180, #1100, #1260, .T.);
#1280 = ORIENTED_EDGE ('', *, *, #1270, .T.);
#1290 = EDGE_LOOP ('', (#1150, #1160, #1230, #1280));
#1300 = FACE_OUTER_BOUND ('', #1290, .F.);
#1310 = CARTESIAN_POINT ('', (14.6963534547344, 12.7, -5.21682486084699));
#1320 = CARTESIAN_POINT ('', (7.24595542819295, 12.7, 2.66453525910038E-15));
#1330 = CARTESIAN_POINT ('', (14.6963534547344, 10.755483472928, -5.21682486084699));
#1340 = CARTESIAN_POINT ('', (7.24595542819295, 10.755483472928, 2.66453525910038E-15));
#1350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1310, #1320), (#1330, #1340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.810215219613335), (0., 0.424571148276067), .UNSPECIFIED.);
#1360 = ADVANCED_FACE ('', (#1300), #1350, .F.);
#1370 = CARTESIAN_POINT ('', (19., 10.3881634903542, -7.29999999999999));
#1380 = VERTEX_POINT ('', #1370);
#1390 = CARTESIAN_POINT ('', (14.6963534547344, 10.755483472928, -5.21682486084698));
#1400 = CARTESIAN_POINT ('', (16.6800219873423, 10.5105688832427, -6.6058045206884));
#1410 = CARTESIAN_POINT ('', (19., 10.3881634903542, -7.29999999999999));
#1420 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1390, #1400, #1410), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.987217755869178, 1.))
   REPRESENTATION_ITEM ('')
);
#1430 = EDGE_CURVE ('', #1100, #1380, #1420, .T.);
#1440 = ORIENTED_EDGE ('', *, *, #1430, .F.);
#1450 = ORIENTED_EDGE ('', *, *, #1270, .F.);
#1460 = CARTESIAN_POINT ('', (19., 12.7, -7.29999999999995));
#1470 = VERTEX_POINT ('', #1460);
#1480 = CARTESIAN_POINT ('', (14.6963534547344, 12.7000000000004, -5.21682486084695));
#1490 = CARTESIAN_POINT ('', (16.6800219873423, 12.7000000000004, -6.60580452068837));
#1500 = CARTESIAN_POINT ('', (19., 12.7000000000004, -7.29999999999996));
#1510 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1480, #1490, #1500), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.987217755869178, 1.))
   REPRESENTATION_ITEM ('')
);
#1520 = EDGE_CURVE ('', #1180, #1470, #1510, .T.);
#1530 = ORIENTED_EDGE ('', *, *, #1520, .T.);
#1540 = CARTESIAN_POINT ('', (19., 10.3881634903542, -7.29999999999999));
#1550 = CARTESIAN_POINT ('', (19., 12.7, -7.29999999999996));
#1560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1540, #1550), .UNSPECIFIED., .F., .U., (2, 2), (0.0367347876475986, 1.), .UNSPECIFIED.);
#1570 = EDGE_CURVE ('', #1380, #1470, #1560, .T.);
#1580 = ORIENTED_EDGE ('', *, *, #1570, .F.);
#1590 = EDGE_LOOP ('', (#1440, #1450, #1530, #1580));
#1600 = FACE_OUTER_BOUND ('', #1590, .F.);
#1610 = CARTESIAN_POINT ('', (14.6963534547344, 12.7, -5.21682486084699));
#1620 = CARTESIAN_POINT ('', (14.6963534547344, 10.3881634903542, -5.21682486084699));
#1630 = CARTESIAN_POINT ('', (16.6800219873423, 12.7, -6.60580452068841));
#1640 = CARTESIAN_POINT ('', (16.6800219873423, 10.3881634903542, -6.60580452068841));
#1650 = CARTESIAN_POINT ('', (19., 12.7, -7.3));
#1660 = CARTESIAN_POINT ('', (19., 10.3881634903542, -7.3));
#1670 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#1610, #1620), (#1630, #1640), (#1650, #1660)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0., 1.), (0., 0.963265212352406), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.987217755869178, 0.987217755869178), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#1680 = ADVANCED_FACE ('', (#1600), #1670, .F.);
#1690 = CARTESIAN_POINT ('', (6., 12.7, -7.11869886932046));
#1700 = VERTEX_POINT ('', #1690);
#1710 = CARTESIAN_POINT ('', (6.00000000000001, 12.7, -5.7));
#1720 = VERTEX_POINT ('', #1710);
#1730 = CARTESIAN_POINT ('', (6.00000000000001, 12.7, -7.11869886932046));
#1740 = CARTESIAN_POINT ('', (6., 12.7, -5.7));
#1750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1730, #1740), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1760 = EDGE_CURVE ('', #1700, #1720, #1750, .T.);
#1770 = ORIENTED_EDGE ('', *, *, #1760, .F.);
#1780 = CARTESIAN_POINT ('', (19., 12.7, -7.8));
#1790 = VERTEX_POINT ('', #1780);
#1800 = CARTESIAN_POINT ('', (19., 12.7, -7.8));
#1810 = CARTESIAN_POINT ('', (6., 12.7, -7.11869886932046));
#1820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1800, #1810), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1830 = EDGE_CURVE ('', #1790, #1700, #1820, .T.);
#1840 = ORIENTED_EDGE ('', *, *, #1830, .F.);
#1850 = CARTESIAN_POINT ('', (19., 12.7, -7.29999999999995));
#1860 = CARTESIAN_POINT ('', (19., 12.7, -7.8));
#1870 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1850, #1860), .UNSPECIFIED., .F., .U., (2, 2), (0.912499999999994, 0.975), .UNSPECIFIED.);
#1880 = EDGE_CURVE ('', #1470, #1790, #1870, .T.);
#1890 = ORIENTED_EDGE ('', *, *, #1880, .F.);
#1900 = ORIENTED_EDGE ('', *, *, #1520, .F.);
#1910 = ORIENTED_EDGE ('', *, *, #1220, .F.);
#1920 = ORIENTED_EDGE ('', *, *, #830, .F.);
#1930 = CARTESIAN_POINT ('', (-6., 12.7, -5.7));
#1940 = VERTEX_POINT ('', #1930);
#1950 = CARTESIAN_POINT ('', (-6., 12.7, 0.));
#1960 = CARTESIAN_POINT ('', (-6., 12.7, -5.7));
#1970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1950, #1960), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.7125), .UNSPECIFIED.);
#1980 = EDGE_CURVE ('', #740, #1940, #1970, .T.);
#1990 = ORIENTED_EDGE ('', *, *, #1980, .T.);
#2000 = CARTESIAN_POINT ('', (6.00000000000001, 12.7, -5.7));
#2010 = CARTESIAN_POINT ('', (-6., 12.7, -5.7));
#2020 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2000, #2010), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2030 = EDGE_CURVE ('', #1720, #1940, #2020, .T.);
#2040 = ORIENTED_EDGE ('', *, *, #2030, .F.);
#2050 = EDGE_LOOP ('', (#1770, #1840, #1890, #1900, #1910, #1920, #1990, #2040));
#2060 = FACE_OUTER_BOUND ('', #2050, .F.);
#2070 = CARTESIAN_POINT ('', (-6., 12.7, 0.));
#2080 = CARTESIAN_POINT ('', (19., 12.7, 0.));
#2090 = CARTESIAN_POINT ('', (-6., 12.7, -7.8));
#2100 = CARTESIAN_POINT ('', (19., 12.7, -7.8));
#2110 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2070, #2080), (#2090, #2100)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.975), (0., 1.), .UNSPECIFIED.);
#2120 = ADVANCED_FACE ('', (#2060), #2110, .F.);
#2130 = CARTESIAN_POINT ('', (19., 10.3, -7.8));
#2140 = VERTEX_POINT ('', #2130);
#2150 = CARTESIAN_POINT ('', (19., 10.3, -7.8));
#2160 = CARTESIAN_POINT ('', (19., 12.7, -7.8));
#2170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2150, #2160), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2180 = EDGE_CURVE ('', #2140, #1790, #2170, .T.);
#2190 = ORIENTED_EDGE ('', *, *, #2180, .F.);
#2200 = CARTESIAN_POINT ('', (19., 10.3881634903542, -7.29999999999999));
#2210 = CARTESIAN_POINT ('', (19., 10.3, -7.80000000000001));
#2220 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2200, #2210), .UNSPECIFIED., .F., .U., (2, 2), (0.912499999999999, 0.975000000000001), .UNSPECIFIED.);
#2230 = EDGE_CURVE ('', #1380, #2140, #2220, .T.);
#2240 = ORIENTED_EDGE ('', *, *, #2230, .F.);
#2250 = ORIENTED_EDGE ('', *, *, #1570, .T.);
#2260 = ORIENTED_EDGE ('', *, *, #1880, .T.);
#2270 = EDGE_LOOP ('', (#2190, #2240, #2250, #2260));
#2280 = FACE_OUTER_BOUND ('', #2270, .F.);
#2290 = CARTESIAN_POINT ('', (19., 10.3, -7.29999999999995));
#2300 = CARTESIAN_POINT ('', (19., 10.3, -7.8));
#2310 = CARTESIAN_POINT ('', (19., 12.7, -7.29999999999995));
#2320 = CARTESIAN_POINT ('', (19., 12.7, -7.8));
#2330 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2290, #2300), (#2310, #2320)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.89873417721519, 1.), (0.912499999999994, 0.975000000000001), .UNSPECIFIED.);
#2340 = ADVANCED_FACE ('', (#2280), #2330, .F.);
#2350 = CARTESIAN_POINT ('', (6., 10.420131771326, -7.11869886932046));
#2360 = VERTEX_POINT ('', #2350);
#2370 = CARTESIAN_POINT ('', (6.00000000000001, 10.420131771326, -7.11869886932046));
#2380 = CARTESIAN_POINT ('', (19., 10.3, -7.8));
#2390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2370, #2380), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2400 = EDGE_CURVE ('', #2360, #2140, #2390, .T.);
#2410 = ORIENTED_EDGE ('', *, *, #2400, .F.);
#2420 = CARTESIAN_POINT ('', (6., 10.6702866594878, -5.7));
#2430 = VERTEX_POINT ('', #2420);
#2440 = CARTESIAN_POINT ('', (6., 10.6702866594878, -5.7));
#2450 = CARTESIAN_POINT ('', (6., 10.420131771326, -7.11869886932046));
#2460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2440, #2450), .UNSPECIFIED., .F., .U., (2, 2), (0.7125, 0.889837358665058), .UNSPECIFIED.);
#2470 = EDGE_CURVE ('', #2430, #2360, #2460, .T.);
#2480 = ORIENTED_EDGE ('', *, *, #2470, .F.);
#2490 = CARTESIAN_POINT ('', (6., 11.675350449526, -2.03958E-15));
#2500 = CARTESIAN_POINT ('', (6., 10.6702866594878, -5.7));
#2510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2490, #2500), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.7125), .UNSPECIFIED.);
#2520 = EDGE_CURVE ('', #610, #2430, #2510, .T.);
#2530 = ORIENTED_EDGE ('', *, *, #2520, .F.);
#2540 = ORIENTED_EDGE ('', *, *, #650, .F.);
#2550 = ORIENTED_EDGE ('', *, *, #1140, .F.);
#2560 = ORIENTED_EDGE ('', *, *, #1430, .T.);
#2570 = ORIENTED_EDGE ('', *, *, #2230, .T.);
#2580 = EDGE_LOOP ('', (#2410, #2480, #2530, #2540, #2550, #2560, #2570));
#2590 = FACE_OUTER_BOUND ('', #2580, .F.);
#2600 = CARTESIAN_POINT ('', (19., 11.675350449526, -2.03958E-15));
#2610 = CARTESIAN_POINT ('', (6., 11.675350449526, -2.03958E-15));
#2620 = CARTESIAN_POINT ('', (19., 10.3, -7.8));
#2630 = CARTESIAN_POINT ('', (6., 10.3, -7.8));
#2640 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2600, #2610), (#2620, #2630)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.975000000000001), (0., 1.), .UNSPECIFIED.);
#2650 = ADVANCED_FACE ('', (#2590), #2640, .F.);
#2660 = ORIENTED_EDGE ('', *, *, #2520, .T.);
#2670 = CARTESIAN_POINT ('', (6., -11., -5.7));
#2680 = CARTESIAN_POINT ('', (6., 10.6702866594878, -5.7));
#2690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2670, #2680), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.01738435021069), .UNSPECIFIED.);
#2700 = EDGE_CURVE ('', #250, #2430, #2690, .T.);
#2710 = ORIENTED_EDGE ('', *, *, #2700, .F.);
#2720 = ORIENTED_EDGE ('', *, *, #290, .T.);
#2730 = ORIENTED_EDGE ('', *, *, #700, .T.);
#2740 = EDGE_LOOP ('', (#2660, #2710, #2720, #2730));
#2750 = FACE_OUTER_BOUND ('', #2740, .F.);
#2760 = CARTESIAN_POINT ('', (6., 11.675350449526, -5.70000000000001));
#2770 = CARTESIAN_POINT ('', (6., 11.675350449526, -3.5527136788005E-15));
#2780 = CARTESIAN_POINT ('', (6., -11., -5.70000000000001));
#2790 = CARTESIAN_POINT ('', (6., -11., -3.5527136788005E-15));
#2800 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2760, #2770), (#2780, #2790)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0713498498031487, 0.928650150196851), (0.435727100936613, 0.651230350737379), .UNSPECIFIED.);
#2810 = ADVANCED_FACE ('', (#2750), #2800, .F.);
#2820 = CARTESIAN_POINT ('', (-6., 12.7, -5.7));
#2830 = CARTESIAN_POINT ('', (-6., -11., -5.7));
#2840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2820, #2830), .UNSPECIFIED., .F., .U., (2, 2), (-0.112676056338028, 1.), .UNSPECIFIED.);
#2850 = EDGE_CURVE ('', #1940, #20, #2840, .T.);
#2860 = ORIENTED_EDGE ('', *, *, #2850, .F.);
#2870 = ORIENTED_EDGE ('', *, *, #1980, .F.);
#2880 = ORIENTED_EDGE ('', *, *, #780, .F.);
#2890 = ORIENTED_EDGE ('', *, *, #150, .T.);
#2900 = EDGE_LOOP ('', (#2860, #2870, #2880, #2890));
#2910 = FACE_OUTER_BOUND ('', #2900, .F.);
#2920 = CARTESIAN_POINT ('', (-6., -11., 0.));
#2930 = CARTESIAN_POINT ('', (-6., 12.7, 0.));
#2940 = CARTESIAN_POINT ('', (-6., -11., -5.7));
#2950 = CARTESIAN_POINT ('', (-6., 12.7, -5.7));
#2960 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2920, #2930), (#2940, #2950)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.7125), (0., 1.), .UNSPECIFIED.);
#2970 = ADVANCED_FACE ('', (#2910), #2960, .F.);
#2980 = ORIENTED_EDGE ('', *, *, #2470, .T.);
#2990 = CARTESIAN_POINT ('', (6.00000000000001, 12.7, -7.11869886932046));
#3000 = CARTESIAN_POINT ('', (6.00000000000001, 10.420131771326, -7.11869886932046));
#3010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2990, #3000), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0942094309369431), .UNSPECIFIED.);
#3020 = EDGE_CURVE ('', #1700, #2360, #3010, .T.);
#3030 = ORIENTED_EDGE ('', *, *, #3020, .F.);
#3040 = ORIENTED_EDGE ('', *, *, #1760, .T.);
#3050 = CARTESIAN_POINT ('', (6.00000000000001, 12.7, -5.7));
#3060 = CARTESIAN_POINT ('', (6.00000000000001, 10.6702866594878, -5.7));
#3070 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3050, #3060), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0838724520872826), .UNSPECIFIED.);
#3080 = EDGE_CURVE ('', #1720, #2430, #3070, .T.);
#3090 = ORIENTED_EDGE ('', *, *, #3080, .T.);
#3100 = EDGE_LOOP ('', (#2980, #3030, #3040, #3090));
#3110 = FACE_OUTER_BOUND ('', #3100, .F.);
#3120 = CARTESIAN_POINT ('', (6.00000000000001, 12.7, -7.11869886932046));
#3130 = CARTESIAN_POINT ('', (6.00000000000001, 10.420131771326, -7.11869886932046));
#3140 = CARTESIAN_POINT ('', (6.00000000000001, 12.7, -5.7));
#3150 = CARTESIAN_POINT ('', (6.00000000000001, 10.420131771326, -5.7));
#3160 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3120, #3130), (#3140, #3150)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 0.0942094309369431), .UNSPECIFIED.);
#3170 = ADVANCED_FACE ('', (#3110), #3160, .F.);
#3180 = ORIENTED_EDGE ('', *, *, #2400, .T.);
#3190 = ORIENTED_EDGE ('', *, *, #2180, .T.);
#3200 = ORIENTED_EDGE ('', *, *, #1830, .T.);
#3210 = ORIENTED_EDGE ('', *, *, #3020, .T.);
#3220 = EDGE_LOOP ('', (#3180, #3190, #3200, #3210));
#3230 = FACE_OUTER_BOUND ('', #3220, .F.);
#3240 = CARTESIAN_POINT ('', (19., 12.7, -7.8));
#3250 = CARTESIAN_POINT ('', (19., 10.3, -7.8));
#3260 = CARTESIAN_POINT ('', (6.00000000000001, 12.7, -7.11869886932046));
#3270 = CARTESIAN_POINT ('', (6.00000000000001, 10.3, -7.11869886932046));
#3280 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3240, #3250), (#3260, #3270)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 0.0991735537190088), .UNSPECIFIED.);
#3290 = ADVANCED_FACE ('', (#3230), #3280, .F.);
#3300 = CARTESIAN_POINT ('', (-2.5, 1.14564392373896, -5.7));
#3310 = VERTEX_POINT ('', #3300);
#3320 = CARTESIAN_POINT ('', (1.23259516440783E-32, -2.75, -5.7));
#3330 = VERTEX_POINT ('', #3320);
#3340 = CARTESIAN_POINT ('', (-2.5, 1.14564392373896, -5.7));
#3350 = CARTESIAN_POINT ('', (-1.76479168388714, 2.75, -5.7));
#3360 = CARTESIAN_POINT ('', (-4.47800172228038E-16, 2.75, -5.7));
#3370 = CARTESIAN_POINT ('', (2.75, 2.75, -5.7));
#3380 = CARTESIAN_POINT ('', (2.75, 1.99855472876365E-16, -5.7));
#3390 = CARTESIAN_POINT ('', (2.75, -2.75, -5.7));
#3400 = CARTESIAN_POINT ('', (1.23259516440783E-32, -2.75, -5.7));
#3410 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3340, #3350, #3360, #3370, #3380, #3390, #3400), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 3), (0.320756114053581, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.881131270969548, 0.790002725170088, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#3420 = EDGE_CURVE ('', #3310, #3330, #3410, .T.);
#3430 = ORIENTED_EDGE ('', *, *, #3420, .T.);
#3440 = CARTESIAN_POINT ('', (-2.5, -1.14564392373897, -5.7));
#3450 = VERTEX_POINT ('', #3440);
#3460 = CARTESIAN_POINT ('', (1.23259516440783E-32, -2.75, -5.7));
#3470 = CARTESIAN_POINT ('', (-1.76479168388714, -2.75, -5.7));
#3480 = CARTESIAN_POINT ('', (-2.5, -1.14564392373897, -5.7));
#3490 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3460, #3470, #3480), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 0.179243885946419), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.790002725170088, 0.881131270969548))
   REPRESENTATION_ITEM ('')
);
#3500 = EDGE_CURVE ('', #3330, #3450, #3490, .T.);
#3510 = ORIENTED_EDGE ('', *, *, #3500, .T.);
#3520 = CARTESIAN_POINT ('', (-2.5, -11., -5.7));
#3530 = CARTESIAN_POINT ('', (-2.5, -1.14564392373897, -5.7));
#3540 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3520, #3530), .UNSPECIFIED., .F., .U., (2, 2), (0.0263157894736842, 0.544966109276896), .UNSPECIFIED.);
#3550 = EDGE_CURVE ('', #320, #3450, #3540, .T.);
#3560 = ORIENTED_EDGE ('', *, *, #3550, .F.);
#3570 = ORIENTED_EDGE ('', *, *, #360, .T.);
#3580 = ORIENTED_EDGE ('', *, *, #2700, .T.);
#3590 = ORIENTED_EDGE ('', *, *, #3080, .F.);
#3600 = ORIENTED_EDGE ('', *, *, #2030, .T.);
#3610 = ORIENTED_EDGE ('', *, *, #2850, .T.);
#3620 = ORIENTED_EDGE ('', *, *, #80, .T.);
#3630 = CARTESIAN_POINT ('', (-5.5, 7.5, -5.7));
#3640 = VERTEX_POINT ('', #3630);
#3650 = CARTESIAN_POINT ('', (-5.5, -11., -5.7));
#3660 = CARTESIAN_POINT ('', (-5.5, 7.5, -5.7));
#3670 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3650, #3660), .UNSPECIFIED., .F., .U., (2, 2), (0.0263157894736842, 1.), .UNSPECIFIED.);
#3680 = EDGE_CURVE ('', #40, #3640, #3670, .T.);
#3690 = ORIENTED_EDGE ('', *, *, #3680, .T.);
#3700 = CARTESIAN_POINT ('', (-2.5, 7.5, -5.7));
#3710 = VERTEX_POINT ('', #3700);
#3720 = CARTESIAN_POINT ('', (-5.5, 7.5, -5.7));
#3730 = CARTESIAN_POINT ('', (-2.5, 7.5, -5.7));
#3740 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3720, #3730), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3750 = EDGE_CURVE ('', #3640, #3710, #3740, .T.);
#3760 = ORIENTED_EDGE ('', *, *, #3750, .T.);
#3770 = CARTESIAN_POINT ('', (-2.5, 1.14564392373896, -5.7));
#3780 = CARTESIAN_POINT ('', (-2.5, 7.5, -5.7));
#3790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3770, #3780), .UNSPECIFIED., .F., .U., (2, 2), (0.665560206512577, 1.), .UNSPECIFIED.);
#3800 = EDGE_CURVE ('', #3310, #3710, #3790, .T.);
#3810 = ORIENTED_EDGE ('', *, *, #3800, .F.);
#3820 = EDGE_LOOP ('', (#3430, #3510, #3560, #3570, #3580, #3590, #3600, #3610, #3620, #3690, #3760, #3810));
#3830 = FACE_OUTER_BOUND ('', #3820, .F.);
#3840 = CARTESIAN_POINT ('', (6.00000000000001, -11., -5.7));
#3850 = CARTESIAN_POINT ('', (-6., -11., -5.7));
#3860 = CARTESIAN_POINT ('', (6.00000000000001, 12.7, -5.7));
#3870 = CARTESIAN_POINT ('', (-6., 12.7, -5.7));
#3880 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3840, #3850), (#3860, #3870)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (1.66794069427254E-16, 1.11267605633803), (0.52, 1.), .UNSPECIFIED.);
#3890 = ADVANCED_FACE ('', (#3830), #3880, .F.);
#3900 = ORIENTED_EDGE ('', *, *, #410, .T.);
#3910 = CARTESIAN_POINT ('', (-2.5, -11.5, -5.7));
#3920 = VERTEX_POINT ('', #3910);
#3930 = CARTESIAN_POINT ('', (-2.5, -11.5, -5.7));
#3940 = CARTESIAN_POINT ('', (-2.5, -11., -5.7));
#3950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3930, #3940), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0263157894736842), .UNSPECIFIED.);
#3960 = EDGE_CURVE ('', #3920, #320, #3950, .T.);
#3970 = ORIENTED_EDGE ('', *, *, #3960, .F.);
#3980 = CARTESIAN_POINT ('', (-5.5, -11.5, -5.7));
#3990 = VERTEX_POINT ('', #3980);
#4000 = CARTESIAN_POINT ('', (-5.5, -11.5, -5.7));
#4010 = CARTESIAN_POINT ('', (-2.5, -11.5, -5.7));
#4020 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4000, #4010), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4030 = EDGE_CURVE ('', #3990, #3920, #4020, .T.);
#4040 = ORIENTED_EDGE ('', *, *, #4030, .F.);
#4050 = CARTESIAN_POINT ('', (-5.5, -11.5, -5.7));
#4060 = CARTESIAN_POINT ('', (-5.5, -11., -5.7));
#4070 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4050, #4060), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0263157894736842), .UNSPECIFIED.);
#4080 = EDGE_CURVE ('', #3990, #40, #4070, .T.);
#4090 = ORIENTED_EDGE ('', *, *, #4080, .T.);
#4100 = EDGE_LOOP ('', (#3900, #3970, #4040, #4090));
#4110 = FACE_OUTER_BOUND ('', #4100, .F.);
#4120 = CARTESIAN_POINT ('', (-5.5, -11.5, -5.7));
#4130 = CARTESIAN_POINT ('', (-2.5, -11.5, -5.7));
#4140 = CARTESIAN_POINT ('', (-5.5, -11., -5.7));
#4150 = CARTESIAN_POINT ('', (-2.5, -11., -5.7));
#4160 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4120, #4130), (#4140, #4150)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.0263157894736843), (0., 1.), .UNSPECIFIED.);
#4170 = ADVANCED_FACE ('', (#4110), #4160, .F.);
#4180 = CARTESIAN_POINT ('', (-5.5, -11.5, -6.5));
#4190 = VERTEX_POINT ('', #4180);
#4200 = CARTESIAN_POINT ('', (-5.5, -11.5, -6.5));
#4210 = CARTESIAN_POINT ('', (-5.5, -11.5, -5.7));
#4220 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4200, #4210), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4230 = EDGE_CURVE ('', #4190, #3990, #4220, .T.);
#4240 = ORIENTED_EDGE ('', *, *, #4230, .F.);
#4250 = CARTESIAN_POINT ('', (-5.5, 7.5, -6.5));
#4260 = VERTEX_POINT ('', #4250);
#4270 = CARTESIAN_POINT ('', (-5.5, -11.5, -6.5));
#4280 = CARTESIAN_POINT ('', (-5.5, 7.5, -6.5));
#4290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4270, #4280), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4300 = EDGE_CURVE ('', #4190, #4260, #4290, .T.);
#4310 = ORIENTED_EDGE ('', *, *, #4300, .T.);
#4320 = CARTESIAN_POINT ('', (-5.5, 7.5, -6.5));
#4330 = CARTESIAN_POINT ('', (-5.5, 7.5, -5.7));
#4340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4320, #4330), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4350 = EDGE_CURVE ('', #4260, #3640, #4340, .T.);
#4360 = ORIENTED_EDGE ('', *, *, #4350, .T.);
#4370 = ORIENTED_EDGE ('', *, *, #3680, .F.);
#4380 = ORIENTED_EDGE ('', *, *, #4080, .F.);
#4390 = EDGE_LOOP ('', (#4240, #4310, #4360, #4370, #4380));
#4400 = FACE_OUTER_BOUND ('', #4390, .F.);
#4410 = CARTESIAN_POINT ('', (-5.5, -11.5, -6.5));
#4420 = CARTESIAN_POINT ('', (-5.5, -11.5, -5.7));
#4430 = CARTESIAN_POINT ('', (-5.5, 7.5, -6.5));
#4440 = CARTESIAN_POINT ('', (-5.5, 7.5, -5.7));
#4450 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4410, #4420), (#4430, #4440)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#4460 = ADVANCED_FACE ('', (#4400), #4450, .F.);
#4470 = ORIENTED_EDGE ('', *, *, #4350, .F.);
#4480 = CARTESIAN_POINT ('', (-2.5, 7.5, -6.5));
#4490 = VERTEX_POINT ('', #4480);
#4500 = CARTESIAN_POINT ('', (-5.5, 7.5, -6.5));
#4510 = CARTESIAN_POINT ('', (-5.5, 7.5, -8.));
#4520 = CARTESIAN_POINT ('', (-4., 7.5, -8.));
#4530 = CARTESIAN_POINT ('', (-2.5, 7.5, -8.));
#4540 = CARTESIAN_POINT ('', (-2.5, 7.5, -6.5));
#4550 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4500, #4510, #4520, #4530, #4540), .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.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#4560 = EDGE_CURVE ('', #4260, #4490, #4550, .T.);
#4570 = ORIENTED_EDGE ('', *, *, #4560, .T.);
#4580 = CARTESIAN_POINT ('', (-2.5, 7.5, -5.7));
#4590 = CARTESIAN_POINT ('', (-2.5, 7.5, -6.5));
#4600 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4580, #4590), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4610 = EDGE_CURVE ('', #3710, #4490, #4600, .T.);
#4620 = ORIENTED_EDGE ('', *, *, #4610, .F.);
#4630 = ORIENTED_EDGE ('', *, *, #3750, .F.);
#4640 = EDGE_LOOP ('', (#4470, #4570, #4620, #4630));
#4650 = FACE_OUTER_BOUND ('', #4640, .F.);
#4660 = CARTESIAN_POINT ('', (-2.5, 7.5, -8.));
#4670 = CARTESIAN_POINT ('', (-5.5, 7.5, -8.));
#4680 = CARTESIAN_POINT ('', (-2.5, 7.5, -5.7));
#4690 = CARTESIAN_POINT ('', (-5.5, 7.5, -5.7));
#4700 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4660, #4670), (#4680, #4690)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.223440207428575, 0.776559792571425), (0.139269835776402, 0.860730164223598), .UNSPECIFIED.);
#4710 = ADVANCED_FACE ('', (#4650), #4700, .F.);
#4720 = ORIENTED_EDGE ('', *, *, #4230, .T.);
#4730 = ORIENTED_EDGE ('', *, *, #4030, .T.);
#4740 = CARTESIAN_POINT ('', (-2.5, -11.5, -6.5));
#4750 = VERTEX_POINT ('', #4740);
#4760 = CARTESIAN_POINT ('', (-2.5, -11.5, -5.7));
#4770 = CARTESIAN_POINT ('', (-2.5, -11.5, -6.5));
#4780 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4760, #4770), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4790 = EDGE_CURVE ('', #3920, #4750, #4780, .T.);
#4800 = ORIENTED_EDGE ('', *, *, #4790, .T.);
#4810 = CARTESIAN_POINT ('', (-5.5, -11.5, -6.5));
#4820 = CARTESIAN_POINT ('', (-5.5, -11.5, -8.));
#4830 = CARTESIAN_POINT ('', (-4., -11.5, -8.));
#4840 = CARTESIAN_POINT ('', (-2.5, -11.5, -8.));
#4850 = CARTESIAN_POINT ('', (-2.5, -11.5, -6.5));
#4860 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4810, #4820, #4830, #4840, #4850), .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.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#4870 = EDGE_CURVE ('', #4190, #4750, #4860, .T.);
#4880 = ORIENTED_EDGE ('', *, *, #4870, .F.);
#4890 = EDGE_LOOP ('', (#4720, #4730, #4800, #4880));
#4900 = FACE_OUTER_BOUND ('', #4890, .F.);
#4910 = CARTESIAN_POINT ('', (-2.5, -11.5, -8.));
#4920 = CARTESIAN_POINT ('', (-2.5, -11.5, -5.7));
#4930 = CARTESIAN_POINT ('', (-5.5, -11.5, -8.));
#4940 = CARTESIAN_POINT ('', (-5.5, -11.5, -5.7));
#4950 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4910, #4920), (#4930, #4940)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.139269835776402, 0.860730164223598), (0.223440207428575, 0.776559792571425), .UNSPECIFIED.);
#4960 = ADVANCED_FACE ('', (#4900), #4950, .F.);
#4970 = CARTESIAN_POINT ('', (-2.5, 1.14564392373896, -6.5));
#4980 = VERTEX_POINT ('', #4970);
#4990 = CARTESIAN_POINT ('', (-2.5, -1.14564392373897, -6.5));
#5000 = VERTEX_POINT ('', #4990);
#5010 = CARTESIAN_POINT ('', (-2.5, 1.14564392373897, -6.50000000000001));
#5020 = CARTESIAN_POINT ('', (-2.5, 1.14564392373897, -6.52943199771656));
#5030 = CARTESIAN_POINT ('', (-2.50087404267913, 1.14374215554963, -6.55893597041115));
#5040 = CARTESIAN_POINT ('', (-2.50258803204035, 1.13997944801141, -6.58807609330106));
#5050 = CARTESIAN_POINT ('', (-2.50430079758479, 1.13621942710868, -6.6171954096607));
#5060 = CARTESIAN_POINT ('', (-2.50685979101768, 1.13058375413279, -6.64609118606852));
#5070 = CARTESIAN_POINT ('', (-2.51016877101991, 1.12318864889048, -6.67436430011795));
#5080 = CARTESIAN_POINT ('', (-2.5134745132344, 1.1158007796487, -6.70260974934566));
#5090 = CARTESIAN_POINT ('', (-2.51754253741373, 1.10662457862713, -6.73036226735985));
#5100 = CARTESIAN_POINT ('', (-2.52223021963016, 1.09583516971504, -6.75728675874526));
#5110 = CARTESIAN_POINT ('', (-2.52691263361581, 1.08505788643212, -6.78418099116092));
#5120 = CARTESIAN_POINT ('', (-2.53223135891244, 1.07262771786372, -6.81036139509968));
#5130 = CARTESIAN_POINT ('', (-2.53801763097827, 1.05875705657316, -6.83557048837699));
#5140 = CARTESIAN_POINT ('', (-2.54379721975867, 1.04490241623484, -6.86075046453645));
#5150 = CARTESIAN_POINT ('', (-2.55006337672787, 1.0295608756575, -6.88505533440909));
#5160 = CARTESIAN_POINT ('', (-2.55664047117211, 1.01296075993339, -6.9083053643313));
#5170 = CARTESIAN_POINT ('', (-2.5632103315876, 0.996378902380201, -6.93152982196069));
#5180 = CARTESIAN_POINT ('', (-2.57011064847072, 0.978489153976928, -6.9537775395001));
#5190 = CARTESIAN_POINT ('', (-2.57717367237708, 0.959518557614398, -6.97493709206911));
#5200 = CARTESIAN_POINT ('', (-2.58422967861952, 0.94056681001575, -6.99607562097589));
#5210 = CARTESIAN_POINT ('', (-2.59146697359996, 0.920485007297482, -7.01618756693815));
#5220 = CARTESIAN_POINT ('', (-2.59873479820681, 0.899487325418757, -7.03521568945938));
#5230 = CARTESIAN_POINT ('', (-2.60599632336343, 0.878507843463566, -7.05422731918979));
#5240 = CARTESIAN_POINT ('', (-2.61330513330685, 0.856565388038237, -7.07220266967247));
#5250 = CARTESIAN_POINT ('', (-2.62053159653265, 0.833854994332967, -7.08912386120003));
#5260 = CARTESIAN_POINT ('', (-2.63137206238, 0.799786980748854, -7.11450745385375));
#5270 = CARTESIAN_POINT ('', (-2.64206170688228, 0.763869958063634, -7.13760688915177));
#5280 = CARTESIAN_POINT ('', (-2.65225272203109, 0.726674272613704, -7.15846584932507));
#5290 = CARTESIAN_POINT ('', (-2.66242872306672, 0.689533386437743, -7.17929407862571));
#5300 = CARTESIAN_POINT ('', (-2.67214519148899, 0.650984323874552, -7.19796777836538));
#5310 = CARTESIAN_POINT ('', (-2.68115157208631, 0.611495091966509, -7.21458996927578));
#5320 = CARTESIAN_POINT ('', (-2.69014767714479, 0.572050914021205, -7.23119319563474));
#5330 = CARTESIAN_POINT ('', (-2.69846295058096, 0.531552573972724, -7.24580089576333));
#5340 = CARTESIAN_POINT ('', (-2.70592361284496, 0.490384952305938, -7.25852903979198));
#5350 = CARTESIAN_POINT ('', (-2.71337760163257, 0.44925415460214, -7.27124579864252));
#5360 = CARTESIAN_POINT ('', (-2.71999804468852, 0.407352718860405, -7.28211928473223));
#5370 = CARTESIAN_POINT ('', (-2.72566914681605, 0.365003701481305, -7.29125272613967));
#5380 = CARTESIAN_POINT ('', (-2.73133620556071, 0.322684878108207, -7.30037965558528));
#5390 = CARTESIAN_POINT ('', (-2.73606838369151, 0.279826378146839, -7.30778960352078));
#5400 = CARTESIAN_POINT ('', (-2.7397935945467, 0.236708806935621, -7.31355996438766));
#5410 = CARTESIAN_POINT ('', (-2.74351666690028, 0.193615987879067, -7.31932701271025));
#5420 = CARTESIAN_POINT ('', (-2.74624181241227, 0.150178100146041, -7.32346816465145));
#5430 = CARTESIAN_POINT ('', (-2.74793118338051, 0.106649947984117, -7.32602886054245));
#5440 = CARTESIAN_POINT ('', (-2.74905823132132, 0.0776105509635576, -7.32773720470442));
#5450 = CARTESIAN_POINT ('', (-2.7497263730561, 0.0485000287334634, -7.32874362482569));
#5460 = CARTESIAN_POINT ('', (-2.74993163375126, 0.0193909693966496, -7.32905312236562));
#5470 = CARTESIAN_POINT ('', (-2.75002305590777, 0.00642593010046899, -7.32919097112675));
#5480 = CARTESIAN_POINT ('', (-2.75002278151496, -0.00654228720945763, -7.32919055768746));
#5490 = CARTESIAN_POINT ('', (-2.74993081089473, -0.0195073138041793, -7.32905188163932));
#5500 = CARTESIAN_POINT ('', (-2.74961846431063, -0.0635385681286223, -7.3285809161307));
#5510 = CARTESIAN_POINT ('', (-2.74824496809378, -0.107587670954505, -7.32651602258959));
#5520 = CARTESIAN_POINT ('', (-2.74582911052551, -0.151401769443721, -7.32283374991231));
#5530 = CARTESIAN_POINT ('', (-2.74341408876854, -0.195200709622503, -7.31915275118644));
#5540 = CARTESIAN_POINT ('', (-2.73995240929015, -0.238850811121737, -7.31384811727017));
#5550 = CARTESIAN_POINT ('', (-2.73549429939765, -0.282083211061893, -7.30686140888268));
#5560 = CARTESIAN_POINT ('', (-2.73103782350221, -0.325299765359689, -7.29987726128021));
#5570 = CARTESIAN_POINT ('', (-2.72557579320179, -0.368189327869713, -7.29119729523938));
#5580 = CARTESIAN_POINT ('', (-2.71919649452923, -0.410451488168741, -7.28073195167982));
#5590 = CARTESIAN_POINT ('', (-2.7128196534183, -0.452697367389135, -7.27027063979021));
#5600 = CARTESIAN_POINT ('', (-2.70551066647593, -0.4944142545396, -7.25800028343193));
#5610 = CARTESIAN_POINT ('', (-2.69740706620474, -0.53525238830735, -7.24380887923354));
#5620 = CARTESIAN_POINT ('', (-2.68930678963742, -0.576073772252966, -7.22962329566098));
#5630 = CARTESIAN_POINT ('', (-2.6803898719238, -0.616126110811796, -7.21347875069444));
#5640 = CARTESIAN_POINT ('', (-2.67085902198439, -0.654990140906385, -7.19525841279319));
#5650 = CARTESIAN_POINT ('', (-2.66133249258545, -0.693836553095354, -7.17704633456528));
#5660 = CARTESIAN_POINT ('', (-2.65116106338396, -0.73161947234198, -7.15669918919907));
#5670 = CARTESIAN_POINT ('', (-2.64063205376103, -0.767829640382415, -7.13412836771275));
#5680 = CARTESIAN_POINT ('', (-2.63010865540473, -0.804020510795154, -7.11156957498336));
#5690 = CARTESIAN_POINT ('', (-2.61918599114355, -0.83878167680174, -7.08669552959687));
#5700 = CARTESIAN_POINT ('', (-2.60825397849458, -0.871499388219646, -7.05950246793362));
#5710 = CARTESIAN_POINT ('', (-2.59732933300601, -0.904195050941118, -7.03232773186637));
#5720 = CARTESIAN_POINT ('', (-2.58634219027924, -0.935008947287425, -7.00269485471849));
#5730 = CARTESIAN_POINT ('', (-2.57578964789611, -0.963227745546822, -6.97077050986665));
#5740 = CARTESIAN_POINT ('', (-2.56524661436382, -0.991421115967739, -6.93887493190547));
#5750 = CARTESIAN_POINT ('', (-2.55507558816991, -1.01719412076324, -6.90448329354908));
#5760 = CARTESIAN_POINT ('', (-2.54585161642502, -1.03977860487034, -6.86803869164294));
#5770 = CARTESIAN_POINT ('', (-2.53971572838897, -1.05480205351759, -6.84379533932152));
#5780 = CARTESIAN_POINT ('', (-2.53397439319449, -1.06847894976485, -6.81854875560855));
#5790 = CARTESIAN_POINT ('', (-2.52879870945109, -1.08059108226863, -6.79251796985347));
#5800 = CARTESIAN_POINT ('', (-2.52362691266541, -1.0926941185159, -6.76650673331523));
#5810 = CARTESIAN_POINT ('', (-2.51900102962043, -1.10328059874455, -6.73961013404497));
#5820 = CARTESIAN_POINT ('', (-2.51507445316257, -1.11216028298488, -6.712122889735));
#5830 = CARTESIAN_POINT ('', (-2.5111510240393, -1.12103284974319, -6.68465767773632));
#5840 = CARTESIAN_POINT ('', (-2.50791016800757, -1.1282383074279, -6.65648405854951));
#5850 = CARTESIAN_POINT ('', (-2.50546827288734, -1.13363518539032, -6.62796451325898));
#5860 = CARTESIAN_POINT ('', (-2.50302830345635, -1.13902780735103, -6.59946745860742));
#5870 = CARTESIAN_POINT ('', (-2.50137573524946, -1.14263868009708, -6.57049362723787));
#5880 = CARTESIAN_POINT ('', (-2.50057287611416, -1.14439297937472, -6.54145238419452));
#5890 = CARTESIAN_POINT ('', (-2.50019151598685, -1.14522627598487, -6.52765772002814));
#5900 = CARTESIAN_POINT ('', (-2.5, -1.14564392373897, -6.51382507064179));
#5910 = CARTESIAN_POINT ('', (-2.5, -1.14564392373897, -6.50000000000001));
#5920 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#5010, #5020, #5030, #5040, #5050, #5060, #5070, #5080, #5090, #5100, #5110, #5120, #5130, #5140, #5150, #5160, #5170, #5180, #5190, #5200, #5210, #5220, #5230, #5240, #5250, #5260, #5270, #5280, #5290, #5300, #5310, #5320, #5330, #5340, #5350, #5360, #5370, #5380, #5390, #5400, #5410, #5420, #5430, #5440, #5450, #5460, #5470, #5480, #5490, #5500, #5510, #5520, #5530, #5540, #5550, #5560, #5570, #5580, #5590, #5600, #5610, #5620, #5630, #5640, #5650, #5660, #5670, #5680, #5690, #5700, #5710, #5720, #5730, #5740, #5750, #5760, #5770, #5780, #5790, #5800, #5810, #5820, #5830, #5840, #5850, #5860, #5870, #5880, #5890, #5900, #5910), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.0882959931496649, 0.176528941498175, 0.264675555218588, 0.352723105759707, 0.440668959231552, 0.528518082629306, 0.616279921086068, 0.703965691205462, 0.835503701789035, 0.966847921415612, 1.09804228810023, 1.2291193029363, 1.36010286247122, 1.49101122933565, 1.57834551415776, 1.61724379738708, 1.74934843976026, 1.88140737805078, 2.0134179137842, 2.14537759376634, 2.27728315028678, 2.40912891116484, 2.54090440696144, 2.67259109832221, 2.80415912736834, 2.89167963563497, 2.97913441567467, 3.0665190966198, 3.15383486562085, 3.19531007754621), .UNSPECIFIED.);
#5930 = EDGE_CURVE ('', #4980, #5000, #5920, .T.);
#5940 = ORIENTED_EDGE ('', *, *, #5930, .F.);
#5950 = CARTESIAN_POINT ('', (-2.5, 1.14564392373896, -6.5));
#5960 = CARTESIAN_POINT ('', (-2.5, 7.5, -6.5));
#5970 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#5950, #5960), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((2, 2), (0.665560206512577, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1.))
   REPRESENTATION_ITEM ('')
);
#5980 = EDGE_CURVE ('', #4980, #4490, #5970, .T.);
#5990 = ORIENTED_EDGE ('', *, *, #5980, .T.);
#6000 = ORIENTED_EDGE ('', *, *, #4560, .F.);
#6010 = ORIENTED_EDGE ('', *, *, #4300, .F.);
#6020 = ORIENTED_EDGE ('', *, *, #4870, .T.);
#6030 = CARTESIAN_POINT ('', (-2.5, -11.5, -6.5));
#6040 = CARTESIAN_POINT ('', (-2.5, -1.14564392373897, -6.5));
#6050 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#6030, #6040), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((2, 2), (0., 0.544966109276896), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1.))
   REPRESENTATION_ITEM ('')
);
#6060 = EDGE_CURVE ('', #4750, #5000, #6050, .T.);
#6070 = ORIENTED_EDGE ('', *, *, #6060, .T.);
#6080 = EDGE_LOOP ('', (#5940, #5990, #6000, #6010, #6020, #6070));
#6090 = FACE_OUTER_BOUND ('', #6080, .F.);
#6100 = CARTESIAN_POINT ('', (-5.5, -11.5, -6.5));
#6110 = CARTESIAN_POINT ('', (-5.5, 7.5, -6.5));
#6120 = CARTESIAN_POINT ('', (-5.5, -11.5, -8.));
#6130 = CARTESIAN_POINT ('', (-5.5, 7.5, -8.));
#6140 = CARTESIAN_POINT ('', (-4., -11.5, -8.));
#6150 = CARTESIAN_POINT ('', (-4., 7.5, -8.));
#6160 = CARTESIAN_POINT ('', (-2.5, -11.5, -8.));
#6170 = CARTESIAN_POINT ('', (-2.5, 7.5, -8.));
#6180 = CARTESIAN_POINT ('', (-2.5, -11.5, -6.5));
#6190 = CARTESIAN_POINT ('', (-2.5, 7.5, -6.5));
#6200 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6100, #6110), (#6120, #6130), (#6140, #6150), (#6160, #6170), (#6180, #6190)), .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.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#6210 = ADVANCED_FACE ('', (#6090), #6200, .F.);
#6220 = ORIENTED_EDGE ('', *, *, #5930, .T.);
#6230 = CARTESIAN_POINT ('', (-2.5, -1.14564392373897, -6.5));
#6240 = CARTESIAN_POINT ('', (-2.5, -1.14564392373897, -5.7));
#6250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6230, #6240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6260 = EDGE_CURVE ('', #5000, #3450, #6250, .T.);
#6270 = ORIENTED_EDGE ('', *, *, #6260, .T.);
#6280 = ORIENTED_EDGE ('', *, *, #3500, .F.);
#6290 = CARTESIAN_POINT ('', (0., -2.75, 0.));
#6300 = CARTESIAN_POINT ('', (0., -2.75, -5.7));
#6310 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6290, #6300), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.235537190082645), .UNSPECIFIED.);
#6320 = EDGE_CURVE ('', #880, #3330, #6310, .T.);
#6330 = ORIENTED_EDGE ('', *, *, #6320, .F.);
#6340 = ORIENTED_EDGE ('', *, *, #990, .T.);
#6350 = ORIENTED_EDGE ('', *, *, #6320, .T.);
#6360 = ORIENTED_EDGE ('', *, *, #3420, .F.);
#6370 = CARTESIAN_POINT ('', (-2.5, 1.14564392373896, -6.5));
#6380 = CARTESIAN_POINT ('', (-2.5, 1.14564392373896, -5.7));
#6390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6370, #6380), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6400 = EDGE_CURVE ('', #4980, #3310, #6390, .T.);
#6410 = ORIENTED_EDGE ('', *, *, #6400, .F.);
#6420 = EDGE_LOOP ('', (#6220, #6270, #6280, #6330, #6340, #6350, #6360, #6410));
#6430 = FACE_OUTER_BOUND ('', #6420, .F.);
#6440 = CARTESIAN_POINT ('', (0., -2.75, 0.));
#6450 = CARTESIAN_POINT ('', (0., -2.75, -7.32915640557664));
#6460 = CARTESIAN_POINT ('', (-2.75, -2.75, 0.));
#6470 = CARTESIAN_POINT ('', (-2.75, -2.75, -7.32915640557664));
#6480 = CARTESIAN_POINT ('', (-2.75, -1.68388934882761E-16, 0.));
#6490 = CARTESIAN_POINT ('', (-2.75, -1.68388934882761E-16, -7.32915640557664));
#6500 = CARTESIAN_POINT ('', (-2.75, 2.75, 0.));
#6510 = CARTESIAN_POINT ('', (-2.75, 2.75, -7.32915640557664));
#6520 = CARTESIAN_POINT ('', (-3.36777869765522E-16, 2.75, 0.));
#6530 = CARTESIAN_POINT ('', (-3.36777869765522E-16, 2.75, -7.32915640557664));
#6540 = CARTESIAN_POINT ('', (2.75, 2.75, 0.));
#6550 = CARTESIAN_POINT ('', (2.75, 2.75, -7.32915640557664));
#6560 = CARTESIAN_POINT ('', (2.75, 5.05166804648283E-16, 0.));
#6570 = CARTESIAN_POINT ('', (2.75, 5.05166804648283E-16, -7.32915640557664));
#6580 = CARTESIAN_POINT ('', (2.75, -2.75, 0.));
#6590 = CARTESIAN_POINT ('', (2.75, -2.75, -7.32915640557664));
#6600 = CARTESIAN_POINT ('', (0., -2.75, 0.));
#6610 = CARTESIAN_POINT ('', (0., -2.75, -7.32915640557664));
#6620 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6440, #6450), (#6460, #6470), (#6480, #6490), (#6500, #6510), (#6520, #6530), (#6540, #6550), (#6560, #6570), (#6580, #6590), (#6600, #6610)), .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., 0.302857702709779), .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 ('')
);
#6630 = ADVANCED_FACE ('', (#6430), #6620, .F.);
#6640 = ORIENTED_EDGE ('', *, *, #6400, .T.);
#6650 = ORIENTED_EDGE ('', *, *, #3800, .T.);
#6660 = ORIENTED_EDGE ('', *, *, #4610, .T.);
#6670 = ORIENTED_EDGE ('', *, *, #5980, .F.);
#6680 = EDGE_LOOP ('', (#6640, #6650, #6660, #6670));
#6690 = FACE_OUTER_BOUND ('', #6680, .F.);
#6700 = CARTESIAN_POINT ('', (-2.5, -11.5, -5.7));
#6710 = CARTESIAN_POINT ('', (-2.5, -11.5, -6.5));
#6720 = CARTESIAN_POINT ('', (-2.5, 7.5, -5.7));
#6730 = CARTESIAN_POINT ('', (-2.5, 7.5, -6.5));
#6740 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6700, #6710), (#6720, #6730)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#6750 = ADVANCED_FACE ('', (#6690), #6740, .F.);
#6760 = ORIENTED_EDGE ('', *, *, #6260, .F.);
#6770 = ORIENTED_EDGE ('', *, *, #6060, .F.);
#6780 = ORIENTED_EDGE ('', *, *, #4790, .F.);
#6790 = ORIENTED_EDGE ('', *, *, #3960, .T.);
#6800 = ORIENTED_EDGE ('', *, *, #3550, .T.);
#6810 = EDGE_LOOP ('', (#6760, #6770, #6780, #6790, #6800));
#6820 = FACE_OUTER_BOUND ('', #6810, .F.);
#6830 = CARTESIAN_POINT ('', (-2.5, -11.5, -5.7));
#6840 = CARTESIAN_POINT ('', (-2.5, -11.5, -6.5));
#6850 = CARTESIAN_POINT ('', (-2.5, 7.5, -5.7));
#6860 = CARTESIAN_POINT ('', (-2.5, 7.5, -6.5));
#6870 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6830, #6840), (#6850, #6860)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#6880 = ADVANCED_FACE ('', (#6820), #6870, .F.);
#6890 = CLOSED_SHELL ('', (#500, #1080, #1360, #1680, #2120, #2340, #2650, #2810, #2970, #3170, #3290, #3890, #4170, #4460, #4710, #4960, #6210, #6630, #6750, #6880));
#6900 = MANIFOLD_SOLID_BREP ('', #6890);
#6910 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#6920 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#6930 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#6940 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #6910, 'DISTANCE_ACCURACY_VALUE', '');
#6950 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#6940))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#6910, #6920, #6930))
   REPRESENTATION_CONTEXT ('', '3D')
);
#6960 = COLOUR_RGB ('', 0.71764705882353, 0.71764705882353, 0.71764705882353);
#6970 = FILL_AREA_STYLE_COLOUR ('', #6960);
#6980 = FILL_AREA_STYLE ('', (#6970));
#6990 = SURFACE_STYLE_FILL_AREA (#6980);
#7000 = SURFACE_SIDE_STYLE ('', (#6990));
#7010 = SURFACE_STYLE_USAGE (.POSITIVE., #7000);
#7020 = PRESENTATION_STYLE_ASSIGNMENT ((#7010));
#7030 = STYLED_ITEM ('', (#7020), #6900);
#7040 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#6900), #6950);
#7050 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#7060 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #7050);
#7070 = MECHANICAL_CONTEXT ('', #7050, 'mechanical');
#7080 = PRODUCT ('product-name', '', '', (#7070));
#7090 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#7100 = PERSON ('', '', $, $, $, $);
#7110 = ORGANIZATION ($, '', '');
#7120 = PERSON_AND_ORGANIZATION (#7100, #7110);
#7130 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#7120, #7090, (#7080));
#7140 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#7080));
#7150 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #7080, .NOT_KNOWN.);
#7160 = APPROVAL_STATUS ('approved');
#7170 = APPROVAL (#7160, '');
#7180 = CALENDAR_DATE (2010, 7, 4);
#7190 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#7200 = LOCAL_TIME (6, 19, 58., #7190);
#7210 = DATE_AND_TIME (#7180, #7200);
#7220 = APPROVAL_DATE_TIME (#7210, #7170);
#7230 = APPROVAL_ROLE ('');
#7240 = PERSON ('', '', $, $, $, $);
#7250 = ORGANIZATION ($, '', '');
#7260 = PERSON_AND_ORGANIZATION (#7240, #7250);
#7270 = APPROVAL_PERSON_ORGANIZATION (#7260, #7170, #7230);
#7280 = CC_DESIGN_APPROVAL (#7170, (#7150));
#7290 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#7300 = PERSON ('', '', $, $, $, $);
#7310 = ORGANIZATION ($, '', '');
#7320 = PERSON_AND_ORGANIZATION (#7300, #7310);
#7330 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#7320, #7290, (#7150));
#7340 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#7350 = PERSON ('', '', $, $, $, $);
#7360 = ORGANIZATION ($, '', '');
#7370 = PERSON_AND_ORGANIZATION (#7350, #7360);
#7380 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#7370, #7340, (#7150));
#7390 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#7400 = SECURITY_CLASSIFICATION ('', '', #7390);
#7410 = APPROVAL_STATUS ('approved');
#7420 = APPROVAL (#7410, '');
#7430 = CALENDAR_DATE (2010, 7, 4);
#7440 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#7450 = LOCAL_TIME (6, 19, 58., #7440);
#7460 = DATE_AND_TIME (#7430, #7450);
#7470 = APPROVAL_DATE_TIME (#7460, #7420);
#7480 = APPROVAL_ROLE ('');
#7490 = PERSON ('', '', $, $, $, $);
#7500 = ORGANIZATION ($, '', '');
#7510 = PERSON_AND_ORGANIZATION (#7490, #7500);
#7520 = APPROVAL_PERSON_ORGANIZATION (#7510, #7420, #7480);
#7530 = CC_DESIGN_APPROVAL (#7420, (#7400));
#7540 = DATE_TIME_ROLE ('classification_date');
#7550 = CALENDAR_DATE (2010, 7, 4);
#7560 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#7570 = LOCAL_TIME (6, 19, 58., #7560);
#7580 = DATE_AND_TIME (#7550, #7570);
#7590 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#7580, #7540, (#7400));
#7600 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#7610 = PERSON ('', '', $, $, $, $);
#7620 = ORGANIZATION ($, '', '');
#7630 = PERSON_AND_ORGANIZATION (#7610, #7620);
#7640 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#7630, #7600, (#7400));
#7650 = CC_DESIGN_SECURITY_CLASSIFICATION (#7400, (#7150));
#7660 = DESIGN_CONTEXT ('', #7050, 'design');
#7670 = PRODUCT_DEFINITION ('', '', #7150, #7660);
#7680 = APPROVAL_STATUS ('approved');
#7690 = APPROVAL (#7680, '');
#7700 = CALENDAR_DATE (2010, 7, 4);
#7710 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#7720 = LOCAL_TIME (6, 19, 58., #7710);
#7730 = DATE_AND_TIME (#7700, #7720);
#7740 = APPROVAL_DATE_TIME (#7730, #7690);
#7750 = APPROVAL_ROLE ('');
#7760 = PERSON ('', '', $, $, $, $);
#7770 = ORGANIZATION ($, '', '');
#7780 = PERSON_AND_ORGANIZATION (#7760, #7770);
#7790 = APPROVAL_PERSON_ORGANIZATION (#7780, #7690, #7750);
#7800 = CC_DESIGN_APPROVAL (#7690, (#7670));
#7810 = DATE_TIME_ROLE ('creation_date');
#7820 = CALENDAR_DATE (2010, 7, 4);
#7830 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#7840 = LOCAL_TIME (6, 19, 58., #7830);
#7850 = DATE_AND_TIME (#7820, #7840);
#7860 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#7850, #7810, (#7670));
#7870 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#7880 = PERSON ('', '', $, $, $, $);
#7890 = ORGANIZATION ($, '', '');
#7900 = PERSON_AND_ORGANIZATION (#7880, #7890);
#7910 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#7900, #7870, (#7670));
#7920 = PRODUCT_DEFINITION_SHAPE ('', '', #7670);
#7930 = SHAPE_DEFINITION_REPRESENTATION (#7920, #7040);
ENDSEC;
END-ISO-10303-21;