ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('C:\\TDMTemp\\Tools\\SMLIB\\grooving\\P01-57\\step\\KA3R.stp', '2010-06-14T09:57:55', ('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.00000000000001, -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.0416666666666675), .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.705882352941177), .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.0416666666666675, 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.705882352941177), (0., 0.7125), .UNSPECIFIED.);
#500 = ADVANCED_FACE ('', (#440), #490, .F.);
#510 = CARTESIAN_POINT ('', (6., 4.7, -1.41216807525325E-15));
#520 = VERTEX_POINT ('', #510);
#530 = CARTESIAN_POINT ('', (1.99703858699498, 4.7, 0.));
#540 = VERTEX_POINT ('', #530);
#550 = CARTESIAN_POINT ('', (6., 4.7, 0.));
#560 = CARTESIAN_POINT ('', (1.99703858699498, 4.7, 0.));
#570 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#550, #560), .UNSPECIFIED., .F., .U., (2, 2), (0.302823042087023, 0.545260832575653), .UNSPECIFIED.);
#580 = EDGE_CURVE ('', #520, #540, #570, .T.);
#590 = ORIENTED_EDGE ('', *, *, #580, .F.);
#600 = CARTESIAN_POINT ('', (6., -11., 0.));
#610 = CARTESIAN_POINT ('', (6., 4.7, -1.41216807525325E-15));
#620 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#600, #610), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.692381801769605), .UNSPECIFIED.);
#630 = EDGE_CURVE ('', #180, #520, #620, .T.);
#640 = ORIENTED_EDGE ('', *, *, #630, .F.);
#650 = ORIENTED_EDGE ('', *, *, #220, .F.);
#660 = CARTESIAN_POINT ('', (-6., 12.7, 0.));
#670 = VERTEX_POINT ('', #660);
#680 = CARTESIAN_POINT ('', (-6., -11., 0.));
#690 = CARTESIAN_POINT ('', (-6., 12.7, 0.));
#700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#680, #690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#710 = EDGE_CURVE ('', #110, #670, #700, .T.);
#720 = ORIENTED_EDGE ('', *, *, #710, .T.);
#730 = CARTESIAN_POINT ('', (1.99703858699498, 12.7, 0.));
#740 = VERTEX_POINT ('', #730);
#750 = CARTESIAN_POINT ('', (-6., 12.7, 0.));
#760 = CARTESIAN_POINT ('', (1.99703858699498, 12.7, 0.));
#770 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#750, #760), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.470414034529117), .UNSPECIFIED.);
#780 = EDGE_CURVE ('', #670, #740, #770, .T.);
#790 = ORIENTED_EDGE ('', *, *, #780, .T.);
#800 = CARTESIAN_POINT ('', (1.99703858699498, 4.7, 0.));
#810 = CARTESIAN_POINT ('', (1.99703858699498, 12.7, 0.));
#820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#800, #810), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#830 = EDGE_CURVE ('', #540, #740, #820, .T.);
#840 = ORIENTED_EDGE ('', *, *, #830, .F.);
#850 = EDGE_LOOP ('', (#590, #640, #650, #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 ('', (6., 12.7, 0.));
#1040 = CARTESIAN_POINT ('', (-6., 12.7, 0.));
#1050 = CARTESIAN_POINT ('', (6., -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.130648385811221, 0.869351614188779), (0.390908805935804, 0.764935757013048), .UNSPECIFIED.);
#1080 = ADVANCED_FACE ('', (#860, #1020), #1070, .F.);
#1090 = CARTESIAN_POINT ('', (6., 10.8221797734833, -4.83857134407189));
#1100 = VERTEX_POINT ('', #1090);
#1110 = CARTESIAN_POINT ('', (11., 10.363477713055, -7.44));
#1120 = VERTEX_POINT ('', #1110);
#1130 = CARTESIAN_POINT ('', (6., 10.8221797734833, -4.83857134407189));
#1140 = CARTESIAN_POINT ('', (8.25119738779838, 10.5085085115728, -6.61748946908155));
#1150 = CARTESIAN_POINT ('', (11., 10.363477713055, -7.44));
#1160 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1130, #1140, #1150), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.982192880439884, 1.))
   REPRESENTATION_ITEM ('')
);
#1170 = EDGE_CURVE ('', #1100, #1120, #1160, .T.);
#1180 = ORIENTED_EDGE ('', *, *, #1170, .F.);
#1190 = CARTESIAN_POINT ('', (6., 4.7, -4.83857134407189));
#1200 = VERTEX_POINT ('', #1190);
#1210 = CARTESIAN_POINT ('', (6., 4.7, -4.83857134407189));
#1220 = CARTESIAN_POINT ('', (6., 10.8221797734833, -4.83857134407189));
#1230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1210, #1220), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.877687768920536), .UNSPECIFIED.);
#1240 = EDGE_CURVE ('', #1200, #1100, #1230, .T.);
#1250 = ORIENTED_EDGE ('', *, *, #1240, .F.);
#1260 = CARTESIAN_POINT ('', (1.99703858699499, 4.7, -1.4450011866906E-14));
#1270 = CARTESIAN_POINT ('', (3.48062758400223, 4.7, -2.84773869707291));
#1280 = CARTESIAN_POINT ('', (6., 4.7, -4.83857134407188));
#1290 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1260, #1270, #1280), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0534269355127706, 0.551221629486911), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.991132543666975, 0.952153835672289, 0.956624667205926))
   REPRESENTATION_ITEM ('')
);
#1300 = EDGE_CURVE ('', #540, #1200, #1290, .T.);
#1310 = ORIENTED_EDGE ('', *, *, #1300, .F.);
#1320 = ORIENTED_EDGE ('', *, *, #830, .T.);
#1330 = CARTESIAN_POINT ('', (11., 12.7, -7.44));
#1340 = VERTEX_POINT ('', #1330);
#1350 = CARTESIAN_POINT ('', (1.99703858699499, 12.7, -1.46549439250521E-14));
#1360 = CARTESIAN_POINT ('', (4.92623839424197, 12.7, -5.62257853043043));
#1370 = CARTESIAN_POINT ('', (11., 12.7, -7.44));
#1380 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1350, #1360, #1370), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.921106270739426, 1.))
   REPRESENTATION_ITEM ('')
);
#1390 = EDGE_CURVE ('', #740, #1340, #1380, .T.);
#1400 = ORIENTED_EDGE ('', *, *, #1390, .T.);
#1410 = CARTESIAN_POINT ('', (11., 10.363477713055, -7.44));
#1420 = CARTESIAN_POINT ('', (11., 12.7, -7.44));
#1430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1410, #1420), .UNSPECIFIED., .F., .U., (2, 2), (0.0264490471062702, 1.), .UNSPECIFIED.);
#1440 = EDGE_CURVE ('', #1120, #1340, #1430, .T.);
#1450 = ORIENTED_EDGE ('', *, *, #1440, .F.);
#1460 = EDGE_LOOP ('', (#1180, #1250, #1310, #1320, #1400, #1450));
#1470 = FACE_OUTER_BOUND ('', #1460, .F.);
#1480 = CARTESIAN_POINT ('', (1.99703858699499, 12.7, -1.19856687578213E-14));
#1490 = CARTESIAN_POINT ('', (1.99703858699499, 4.7, -1.19856687578213E-14));
#1500 = CARTESIAN_POINT ('', (4.92623839424196, 12.7, -5.62257853043044));
#1510 = CARTESIAN_POINT ('', (4.92623839424196, 4.7, -5.62257853043044));
#1520 = CARTESIAN_POINT ('', (11., 12.7, -7.44));
#1530 = CARTESIAN_POINT ('', (11., 4.7, -7.44));
#1540 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#1480, #1490), (#1500, #1510), (#1520, #1530)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.0534269355127704, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.991132543666976, 0.991132543666976), (0.917013242029342, 0.917013242029342), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#1550 = ADVANCED_FACE ('', (#1470), #1540, .F.);
#1560 = CARTESIAN_POINT ('', (6., 4.70000000000001, -4.83857134407189));
#1570 = CARTESIAN_POINT ('', (6., 4.7, -3.5527136788005E-15));
#1580 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1560, #1570), .UNSPECIFIED., .F., .U., (2, 2), (0.379670340503605, 1.), .UNSPECIFIED.);
#1590 = EDGE_CURVE ('', #1200, #520, #1580, .T.);
#1600 = ORIENTED_EDGE ('', *, *, #1590, .T.);
#1610 = ORIENTED_EDGE ('', *, *, #580, .T.);
#1620 = ORIENTED_EDGE ('', *, *, #1300, .T.);
#1630 = EDGE_LOOP ('', (#1600, #1610, #1620));
#1640 = FACE_OUTER_BOUND ('', #1630, .F.);
#1650 = CARTESIAN_POINT ('', (1.99703858699498, 4.70000000000001, -4.83857134407189));
#1660 = CARTESIAN_POINT ('', (1.99703858699498, 4.7, -1.77635683940025E-15));
#1670 = CARTESIAN_POINT ('', (6., 4.70000000000001, -4.83857134407189));
#1680 = CARTESIAN_POINT ('', (6., 4.7, -1.77635683940025E-15));
#1690 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1650, #1660), (#1670, #1680)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.361465508065744, 0.554175759108475), (0.279327100051276, 0.512265218159259), .UNSPECIFIED.);
#1700 = ADVANCED_FACE ('', (#1640), #1690, .F.);
#1710 = CARTESIAN_POINT ('', (-6., 12.7, -5.7));
#1720 = VERTEX_POINT ('', #1710);
#1730 = CARTESIAN_POINT ('', (-6., 12.7, -5.7));
#1740 = CARTESIAN_POINT ('', (-6., -11., -5.7));
#1750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1730, #1740), .UNSPECIFIED., .F., .U., (2, 2), (-0.112676056338028, 1.), .UNSPECIFIED.);
#1760 = EDGE_CURVE ('', #1720, #20, #1750, .T.);
#1770 = ORIENTED_EDGE ('', *, *, #1760, .F.);
#1780 = CARTESIAN_POINT ('', (-6., 12.7, 0.));
#1790 = CARTESIAN_POINT ('', (-6., 12.7, -5.7));
#1800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1780, #1790), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.7125), .UNSPECIFIED.);
#1810 = EDGE_CURVE ('', #670, #1720, #1800, .T.);
#1820 = ORIENTED_EDGE ('', *, *, #1810, .F.);
#1830 = ORIENTED_EDGE ('', *, *, #710, .F.);
#1840 = ORIENTED_EDGE ('', *, *, #150, .T.);
#1850 = EDGE_LOOP ('', (#1770, #1820, #1830, #1840));
#1860 = FACE_OUTER_BOUND ('', #1850, .F.);
#1870 = CARTESIAN_POINT ('', (-6., -11., 0.));
#1880 = CARTESIAN_POINT ('', (-6., 12.7, 0.));
#1890 = CARTESIAN_POINT ('', (-6., -11., -5.7));
#1900 = CARTESIAN_POINT ('', (-6., 12.7, -5.7));
#1910 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1870, #1880), (#1890, #1900)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.7125), (0., 1.), .UNSPECIFIED.);
#1920 = ADVANCED_FACE ('', (#1860), #1910, .F.);
#1930 = CARTESIAN_POINT ('', (6., 10.3, -7.62539615254126));
#1940 = VERTEX_POINT ('', #1930);
#1950 = CARTESIAN_POINT ('', (6., 10.3307873692425, -7.62539615254126));
#1960 = VERTEX_POINT ('', #1950);
#1970 = CARTESIAN_POINT ('', (6., 10.3, -7.62539615254126));
#1980 = CARTESIAN_POINT ('', (6., 10.3307873692425, -7.62539615254126));
#1990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1970, #1980), .UNSPECIFIED., .F., .U., (2, 2), (0.976071145096245, 0.977481974333382), .UNSPECIFIED.);
#2000 = EDGE_CURVE ('', #1940, #1960, #1990, .T.);
#2010 = ORIENTED_EDGE ('', *, *, #2000, .F.);
#2020 = CARTESIAN_POINT ('', (6., 10.3, -5.7));
#2030 = VERTEX_POINT ('', #2020);
#2040 = CARTESIAN_POINT ('', (6., 10.3, -5.7));
#2050 = CARTESIAN_POINT ('', (6., 10.3, -7.62539615254126));
#2060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2040, #2050), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.83712876197446), .UNSPECIFIED.);
#2070 = EDGE_CURVE ('', #2030, #1940, #2060, .T.);
#2080 = ORIENTED_EDGE ('', *, *, #2070, .F.);
#2090 = CARTESIAN_POINT ('', (6., -11., -5.7));
#2100 = CARTESIAN_POINT ('', (6., 10.3, -5.7));
#2110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2090, #2100), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2120 = EDGE_CURVE ('', #250, #2030, #2110, .T.);
#2130 = ORIENTED_EDGE ('', *, *, #2120, .F.);
#2140 = ORIENTED_EDGE ('', *, *, #290, .T.);
#2150 = ORIENTED_EDGE ('', *, *, #630, .T.);
#2160 = ORIENTED_EDGE ('', *, *, #1590, .F.);
#2170 = ORIENTED_EDGE ('', *, *, #1240, .T.);
#2180 = CARTESIAN_POINT ('', (6., 10.8221797734833, -4.83857134407189));
#2190 = CARTESIAN_POINT ('', (6., 10.3307873692425, -7.62539615254126));
#2200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2180, #2190), .UNSPECIFIED., .F., .U., (2, 2), (0.604821418008986, 0.953174519067658), .UNSPECIFIED.);
#2210 = EDGE_CURVE ('', #1100, #1960, #2200, .T.);
#2220 = ORIENTED_EDGE ('', *, *, #2210, .T.);
#2230 = EDGE_LOOP ('', (#2010, #2080, #2130, #2140, #2150, #2160, #2170, #2220));
#2240 = FACE_OUTER_BOUND ('', #2230, .F.);
#2250 = CARTESIAN_POINT ('', (6., 10.8221797734833, -7.62539615254126));
#2260 = CARTESIAN_POINT ('', (6., 10.8221797734833, -3.5527136788005E-15));
#2270 = CARTESIAN_POINT ('', (6., -11., -7.62539615254126));
#2280 = CARTESIAN_POINT ('', (6., -11., -3.5527136788005E-15));
#2290 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2250, #2260), (#2270, #2280)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.103606174947343, 0.928650150196851), (0.36293251707231, 0.651230350737379), .UNSPECIFIED.);
#2300 = ADVANCED_FACE ('', (#2240), #2290, .F.);
#2310 = CARTESIAN_POINT ('', (11., 10.3, -7.8));
#2320 = VERTEX_POINT ('', #2310);
#2330 = CARTESIAN_POINT ('', (6., 10.3307873692425, -7.62539615254126));
#2340 = CARTESIAN_POINT ('', (11., 10.3, -7.8));
#2350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2330, #2340), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2360 = EDGE_CURVE ('', #1960, #2320, #2350, .T.);
#2370 = ORIENTED_EDGE ('', *, *, #2360, .F.);
#2380 = ORIENTED_EDGE ('', *, *, #2210, .F.);
#2390 = ORIENTED_EDGE ('', *, *, #1170, .T.);
#2400 = CARTESIAN_POINT ('', (11., 10.363477713055, -7.44));
#2410 = CARTESIAN_POINT ('', (11., 10.3, -7.80000000000001));
#2420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2400, #2410), .UNSPECIFIED., .F., .U., (2, 2), (0.929999999999999, 0.975), .UNSPECIFIED.);
#2430 = EDGE_CURVE ('', #1120, #2320, #2420, .T.);
#2440 = ORIENTED_EDGE ('', *, *, #2430, .T.);
#2450 = EDGE_LOOP ('', (#2370, #2380, #2390, #2440));
#2460 = FACE_OUTER_BOUND ('', #2450, .F.);
#2470 = CARTESIAN_POINT ('', (11., 10.8221797734833, -4.83857134407188));
#2480 = CARTESIAN_POINT ('', (6., 10.8221797734833, -4.83857134407188));
#2490 = CARTESIAN_POINT ('', (11., 10.3, -7.8));
#2500 = CARTESIAN_POINT ('', (6., 10.3, -7.8));
#2510 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2470, #2480), (#2490, #2500)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.604821418008985, 0.975000000000001), (0., 1.), .UNSPECIFIED.);
#2520 = ADVANCED_FACE ('', (#2460), #2510, .F.);
#2530 = CARTESIAN_POINT ('', (11., 12.7, -7.8));
#2540 = VERTEX_POINT ('', #2530);
#2550 = CARTESIAN_POINT ('', (11., 10.3, -7.8));
#2560 = CARTESIAN_POINT ('', (11., 12.7, -7.8));
#2570 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2550, #2560), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2580 = EDGE_CURVE ('', #2320, #2540, #2570, .T.);
#2590 = ORIENTED_EDGE ('', *, *, #2580, .F.);
#2600 = ORIENTED_EDGE ('', *, *, #2430, .F.);
#2610 = ORIENTED_EDGE ('', *, *, #1440, .T.);
#2620 = CARTESIAN_POINT ('', (11., 12.7, -7.44));
#2630 = CARTESIAN_POINT ('', (11., 12.7, -7.8));
#2640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2620, #2630), .UNSPECIFIED., .F., .U., (2, 2), (0.93, 0.975), .UNSPECIFIED.);
#2650 = EDGE_CURVE ('', #1340, #2540, #2640, .T.);
#2660 = ORIENTED_EDGE ('', *, *, #2650, .T.);
#2670 = EDGE_LOOP ('', (#2590, #2600, #2610, #2660));
#2680 = FACE_OUTER_BOUND ('', #2670, .F.);
#2690 = CARTESIAN_POINT ('', (11., 10.3, -7.44));
#2700 = CARTESIAN_POINT ('', (11., 10.3, -7.8));
#2710 = CARTESIAN_POINT ('', (11., 12.7, -7.44));
#2720 = CARTESIAN_POINT ('', (11., 12.7, -7.8));
#2730 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2690, #2700), (#2710, #2720)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.89873417721519, 1.), (0.929999999999999, 0.975), .UNSPECIFIED.);
#2740 = ADVANCED_FACE ('', (#2680), #2730, .F.);
#2750 = CARTESIAN_POINT ('', (1., 10.3, -5.7));
#2760 = VERTEX_POINT ('', #2750);
#2770 = CARTESIAN_POINT ('', (1., 10.3, -7.45079230508252));
#2780 = VERTEX_POINT ('', #2770);
#2790 = CARTESIAN_POINT ('', (1., 10.3, -5.7));
#2800 = CARTESIAN_POINT ('', (1., 10.3, -7.45079230508252));
#2810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2790, #2800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2820 = EDGE_CURVE ('', #2760, #2780, #2810, .T.);
#2830 = ORIENTED_EDGE ('', *, *, #2820, .F.);
#2840 = CARTESIAN_POINT ('', (6., 10.3, -5.7));
#2850 = CARTESIAN_POINT ('', (1., 10.3, -5.7));
#2860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2840, #2850), .UNSPECIFIED., .F., .U., (2, 2), (0.2, 0.4), .UNSPECIFIED.);
#2870 = EDGE_CURVE ('', #2030, #2760, #2860, .T.);
#2880 = ORIENTED_EDGE ('', *, *, #2870, .F.);
#2890 = ORIENTED_EDGE ('', *, *, #2070, .T.);
#2900 = CARTESIAN_POINT ('', (1., 10.3, -7.45079230508252));
#2910 = CARTESIAN_POINT ('', (6., 10.3, -7.62539615254126));
#2920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2900, #2910), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.499999999999999), .UNSPECIFIED.);
#2930 = EDGE_CURVE ('', #2780, #1940, #2920, .T.);
#2940 = ORIENTED_EDGE ('', *, *, #2930, .F.);
#2950 = EDGE_LOOP ('', (#2830, #2880, #2890, #2940));
#2960 = FACE_OUTER_BOUND ('', #2950, .F.);
#2970 = CARTESIAN_POINT ('', (6., 10.3, -5.7));
#2980 = CARTESIAN_POINT ('', (1., 10.3, -5.7));
#2990 = CARTESIAN_POINT ('', (6., 10.3, -7.62539615254126));
#3000 = CARTESIAN_POINT ('', (1., 10.3, -7.62539615254126));
#3010 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2970, #2980), (#2990, #3000)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.83712876197446), (0.2, 0.4), .UNSPECIFIED.);
#3020 = ADVANCED_FACE ('', (#2960), #3010, .F.);
#3030 = CARTESIAN_POINT ('', (1., 12.7, -7.45079230508252));
#3040 = VERTEX_POINT ('', #3030);
#3050 = CARTESIAN_POINT ('', (1., 12.7, -5.7));
#3060 = VERTEX_POINT ('', #3050);
#3070 = CARTESIAN_POINT ('', (1., 12.7, -7.45079230508252));
#3080 = CARTESIAN_POINT ('', (1., 12.7, -5.7));
#3090 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3070, #3080), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3100 = EDGE_CURVE ('', #3040, #3060, #3090, .T.);
#3110 = ORIENTED_EDGE ('', *, *, #3100, .F.);
#3120 = CARTESIAN_POINT ('', (11., 12.7, -7.8));
#3130 = CARTESIAN_POINT ('', (1., 12.7, -7.45079230508252));
#3140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3120, #3130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3150 = EDGE_CURVE ('', #2540, #3040, #3140, .T.);
#3160 = ORIENTED_EDGE ('', *, *, #3150, .F.);
#3170 = ORIENTED_EDGE ('', *, *, #2650, .F.);
#3180 = ORIENTED_EDGE ('', *, *, #1390, .F.);
#3190 = ORIENTED_EDGE ('', *, *, #780, .F.);
#3200 = ORIENTED_EDGE ('', *, *, #1810, .T.);
#3210 = CARTESIAN_POINT ('', (1., 12.7, -5.7));
#3220 = CARTESIAN_POINT ('', (-6., 12.7, -5.7));
#3230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3210, #3220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3240 = EDGE_CURVE ('', #3060, #1720, #3230, .T.);
#3250 = ORIENTED_EDGE ('', *, *, #3240, .F.);
#3260 = EDGE_LOOP ('', (#3110, #3160, #3170, #3180, #3190, #3200, #3250));
#3270 = FACE_OUTER_BOUND ('', #3260, .F.);
#3280 = CARTESIAN_POINT ('', (-6., 12.7, 0.));
#3290 = CARTESIAN_POINT ('', (11., 12.7, 0.));
#3300 = CARTESIAN_POINT ('', (-6., 12.7, -7.8));
#3310 = CARTESIAN_POINT ('', (11., 12.7, -7.8));
#3320 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3280, #3290), (#3300, #3310)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.975), (0., 1.), .UNSPECIFIED.);
#3330 = ADVANCED_FACE ('', (#3270), #3320, .F.);
#3340 = ORIENTED_EDGE ('', *, *, #2820, .T.);
#3350 = CARTESIAN_POINT ('', (1., 12.7, -7.45079230508252));
#3360 = CARTESIAN_POINT ('', (1., 10.3, -7.45079230508252));
#3370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3350, #3360), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0991735537190084), .UNSPECIFIED.);
#3380 = EDGE_CURVE ('', #3040, #2780, #3370, .T.);
#3390 = ORIENTED_EDGE ('', *, *, #3380, .F.);
#3400 = ORIENTED_EDGE ('', *, *, #3100, .T.);
#3410 = CARTESIAN_POINT ('', (1., 12.7, -5.7));
#3420 = CARTESIAN_POINT ('', (1., 10.3, -5.7));
#3430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3410, #3420), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0991735537190084), .UNSPECIFIED.);
#3440 = EDGE_CURVE ('', #3060, #2760, #3430, .T.);
#3450 = ORIENTED_EDGE ('', *, *, #3440, .T.);
#3460 = EDGE_LOOP ('', (#3340, #3390, #3400, #3450));
#3470 = FACE_OUTER_BOUND ('', #3460, .F.);
#3480 = CARTESIAN_POINT ('', (1., 12.7, -7.45079230508252));
#3490 = CARTESIAN_POINT ('', (1., 10.3, -7.45079230508252));
#3500 = CARTESIAN_POINT ('', (1., 12.7, -5.7));
#3510 = CARTESIAN_POINT ('', (1., 10.3, -5.7));
#3520 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3480, #3490), (#3500, #3510)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 0.0991735537190084), .UNSPECIFIED.);
#3530 = ADVANCED_FACE ('', (#3470), #3520, .F.);
#3540 = ORIENTED_EDGE ('', *, *, #2930, .T.);
#3550 = ORIENTED_EDGE ('', *, *, #2000, .T.);
#3560 = ORIENTED_EDGE ('', *, *, #2360, .T.);
#3570 = ORIENTED_EDGE ('', *, *, #2580, .T.);
#3580 = ORIENTED_EDGE ('', *, *, #3150, .T.);
#3590 = ORIENTED_EDGE ('', *, *, #3380, .T.);
#3600 = EDGE_LOOP ('', (#3540, #3550, #3560, #3570, #3580, #3590));
#3610 = FACE_OUTER_BOUND ('', #3600, .F.);
#3620 = CARTESIAN_POINT ('', (11., 12.7, -7.8));
#3630 = CARTESIAN_POINT ('', (11., 10.3, -7.8));
#3640 = CARTESIAN_POINT ('', (1., 12.7, -7.45079230508252));
#3650 = CARTESIAN_POINT ('', (1., 10.3, -7.45079230508252));
#3660 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3620, #3630), (#3640, #3650)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 0.0991735537190086), .UNSPECIFIED.);
#3670 = ADVANCED_FACE ('', (#3610), #3660, .F.);
#3680 = CARTESIAN_POINT ('', (-2.5, 1.14564392373896, -5.7));
#3690 = VERTEX_POINT ('', #3680);
#3700 = CARTESIAN_POINT ('', (1.23259516440783E-32, -2.75, -5.7));
#3710 = VERTEX_POINT ('', #3700);
#3720 = CARTESIAN_POINT ('', (-2.5, 1.14564392373896, -5.7));
#3730 = CARTESIAN_POINT ('', (-1.76479168388714, 2.75, -5.7));
#3740 = CARTESIAN_POINT ('', (-4.47800172228038E-16, 2.75, -5.7));
#3750 = CARTESIAN_POINT ('', (2.75, 2.75, -5.7));
#3760 = CARTESIAN_POINT ('', (2.75, 1.99855472876365E-16, -5.7));
#3770 = CARTESIAN_POINT ('', (2.75, -2.75, -5.7));
#3780 = CARTESIAN_POINT ('', (1.23259516440783E-32, -2.75, -5.7));
#3790 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3720, #3730, #3740, #3750, #3760, #3770, #3780), .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 ('')
);
#3800 = EDGE_CURVE ('', #3690, #3710, #3790, .T.);
#3810 = ORIENTED_EDGE ('', *, *, #3800, .T.);
#3820 = CARTESIAN_POINT ('', (-2.5, -1.14564392373897, -5.7));
#3830 = VERTEX_POINT ('', #3820);
#3840 = CARTESIAN_POINT ('', (1.23259516440783E-32, -2.75, -5.7));
#3850 = CARTESIAN_POINT ('', (-1.76479168388714, -2.75, -5.7));
#3860 = CARTESIAN_POINT ('', (-2.5, -1.14564392373897, -5.7));
#3870 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3840, #3850, #3860), .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 ('')
);
#3880 = EDGE_CURVE ('', #3710, #3830, #3870, .T.);
#3890 = ORIENTED_EDGE ('', *, *, #3880, .T.);
#3900 = CARTESIAN_POINT ('', (-2.5, -11., -5.7));
#3910 = CARTESIAN_POINT ('', (-2.5, -1.14564392373897, -5.7));
#3920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3900, #3910), .UNSPECIFIED., .F., .U., (2, 2), (0.0267379679144385, 0.553708881083478), .UNSPECIFIED.);
#3930 = EDGE_CURVE ('', #320, #3830, #3920, .T.);
#3940 = ORIENTED_EDGE ('', *, *, #3930, .F.);
#3950 = ORIENTED_EDGE ('', *, *, #360, .T.);
#3960 = ORIENTED_EDGE ('', *, *, #2120, .T.);
#3970 = ORIENTED_EDGE ('', *, *, #2870, .T.);
#3980 = ORIENTED_EDGE ('', *, *, #3440, .F.);
#3990 = ORIENTED_EDGE ('', *, *, #3240, .T.);
#4000 = ORIENTED_EDGE ('', *, *, #1760, .T.);
#4010 = ORIENTED_EDGE ('', *, *, #80, .T.);
#4020 = CARTESIAN_POINT ('', (-5.5, 7.2, -5.7));
#4030 = VERTEX_POINT ('', #4020);
#4040 = CARTESIAN_POINT ('', (-5.5, -11., -5.7));
#4050 = CARTESIAN_POINT ('', (-5.5, 7.2, -5.7));
#4060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4040, #4050), .UNSPECIFIED., .F., .U., (2, 2), (0.0267379679144385, 1.), .UNSPECIFIED.);
#4070 = EDGE_CURVE ('', #40, #4030, #4060, .T.);
#4080 = ORIENTED_EDGE ('', *, *, #4070, .T.);
#4090 = CARTESIAN_POINT ('', (-2.5, 7.2, -5.7));
#4100 = VERTEX_POINT ('', #4090);
#4110 = CARTESIAN_POINT ('', (-5.5, 7.2, -5.7));
#4120 = CARTESIAN_POINT ('', (-2.5, 7.2, -5.7));
#4130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4110, #4120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4140 = EDGE_CURVE ('', #4030, #4100, #4130, .T.);
#4150 = ORIENTED_EDGE ('', *, *, #4140, .T.);
#4160 = CARTESIAN_POINT ('', (-2.5, 1.14564392373896, -5.7));
#4170 = CARTESIAN_POINT ('', (-2.5, 7.2, -5.7));
#4180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4160, #4170), .UNSPECIFIED., .F., .U., (2, 2), (0.676237642980693, 1.), .UNSPECIFIED.);
#4190 = EDGE_CURVE ('', #3690, #4100, #4180, .T.);
#4200 = ORIENTED_EDGE ('', *, *, #4190, .F.);
#4210 = EDGE_LOOP ('', (#3810, #3890, #3940, #3950, #3960, #3970, #3980, #3990, #4000, #4010, #4080, #4150, #4200));
#4220 = FACE_OUTER_BOUND ('', #4210, .F.);
#4230 = CARTESIAN_POINT ('', (6., -11., -5.7));
#4240 = CARTESIAN_POINT ('', (-6.00000000000001, -11., -5.7));
#4250 = CARTESIAN_POINT ('', (6., 12.7, -5.7));
#4260 = CARTESIAN_POINT ('', (-6.00000000000001, 12.7, -5.7));
#4270 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4230, #4240), (#4250, #4260)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (1.66794069427254E-16, 1.11267605633803), (0.2, 0.68), .UNSPECIFIED.);
#4280 = ADVANCED_FACE ('', (#4220), #4270, .F.);
#4290 = ORIENTED_EDGE ('', *, *, #410, .T.);
#4300 = CARTESIAN_POINT ('', (-2.5, -11.5, -5.7));
#4310 = VERTEX_POINT ('', #4300);
#4320 = CARTESIAN_POINT ('', (-2.5, -11.5, -5.7));
#4330 = CARTESIAN_POINT ('', (-2.5, -11., -5.7));
#4340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4320, #4330), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0267379679144385), .UNSPECIFIED.);
#4350 = EDGE_CURVE ('', #4310, #320, #4340, .T.);
#4360 = ORIENTED_EDGE ('', *, *, #4350, .F.);
#4370 = CARTESIAN_POINT ('', (-5.5, -11.5, -5.7));
#4380 = VERTEX_POINT ('', #4370);
#4390 = CARTESIAN_POINT ('', (-5.5, -11.5, -5.7));
#4400 = CARTESIAN_POINT ('', (-2.5, -11.5, -5.7));
#4410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4390, #4400), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4420 = EDGE_CURVE ('', #4380, #4310, #4410, .T.);
#4430 = ORIENTED_EDGE ('', *, *, #4420, .F.);
#4440 = CARTESIAN_POINT ('', (-5.5, -11.5, -5.7));
#4450 = CARTESIAN_POINT ('', (-5.5, -11., -5.7));
#4460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4440, #4450), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0267379679144385), .UNSPECIFIED.);
#4470 = EDGE_CURVE ('', #4380, #40, #4460, .T.);
#4480 = ORIENTED_EDGE ('', *, *, #4470, .T.);
#4490 = EDGE_LOOP ('', (#4290, #4360, #4430, #4480));
#4500 = FACE_OUTER_BOUND ('', #4490, .F.);
#4510 = CARTESIAN_POINT ('', (-5.5, -11.5, -5.7));
#4520 = CARTESIAN_POINT ('', (-2.5, -11.5, -5.7));
#4530 = CARTESIAN_POINT ('', (-5.5, -11., -5.7));
#4540 = CARTESIAN_POINT ('', (-2.5, -11., -5.7));
#4550 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4510, #4520), (#4530, #4540)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.0267379679144385), (0., 1.), .UNSPECIFIED.);
#4560 = ADVANCED_FACE ('', (#4500), #4550, .F.);
#4570 = CARTESIAN_POINT ('', (-5.5, -11.5, -6.5));
#4580 = VERTEX_POINT ('', #4570);
#4590 = CARTESIAN_POINT ('', (-5.5, -11.5, -6.5));
#4600 = CARTESIAN_POINT ('', (-5.5, -11.5, -5.7));
#4610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4590, #4600), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4620 = EDGE_CURVE ('', #4580, #4380, #4610, .T.);
#4630 = ORIENTED_EDGE ('', *, *, #4620, .F.);
#4640 = CARTESIAN_POINT ('', (-5.5, 7.2, -6.5));
#4650 = VERTEX_POINT ('', #4640);
#4660 = CARTESIAN_POINT ('', (-5.5, -11.5, -6.5));
#4670 = CARTESIAN_POINT ('', (-5.5, 7.2, -6.5));
#4680 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4660, #4670), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4690 = EDGE_CURVE ('', #4580, #4650, #4680, .T.);
#4700 = ORIENTED_EDGE ('', *, *, #4690, .T.);
#4710 = CARTESIAN_POINT ('', (-5.5, 7.2, -6.5));
#4720 = CARTESIAN_POINT ('', (-5.5, 7.2, -5.7));
#4730 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4710, #4720), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4740 = EDGE_CURVE ('', #4650, #4030, #4730, .T.);
#4750 = ORIENTED_EDGE ('', *, *, #4740, .T.);
#4760 = ORIENTED_EDGE ('', *, *, #4070, .F.);
#4770 = ORIENTED_EDGE ('', *, *, #4470, .F.);
#4780 = EDGE_LOOP ('', (#4630, #4700, #4750, #4760, #4770));
#4790 = FACE_OUTER_BOUND ('', #4780, .F.);
#4800 = CARTESIAN_POINT ('', (-5.5, -11.5, -6.5));
#4810 = CARTESIAN_POINT ('', (-5.5, -11.5, -5.7));
#4820 = CARTESIAN_POINT ('', (-5.5, 7.2, -6.5));
#4830 = CARTESIAN_POINT ('', (-5.5, 7.2, -5.7));
#4840 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4800, #4810), (#4820, #4830)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#4850 = ADVANCED_FACE ('', (#4790), #4840, .F.);
#4860 = ORIENTED_EDGE ('', *, *, #4740, .F.);
#4870 = CARTESIAN_POINT ('', (-2.5, 7.2, -6.5));
#4880 = VERTEX_POINT ('', #4870);
#4890 = CARTESIAN_POINT ('', (-5.5, 7.2, -6.5));
#4900 = CARTESIAN_POINT ('', (-5.5, 7.2, -8.));
#4910 = CARTESIAN_POINT ('', (-4., 7.2, -8.));
#4920 = CARTESIAN_POINT ('', (-2.5, 7.2, -8.));
#4930 = CARTESIAN_POINT ('', (-2.5, 7.2, -6.5));
#4940 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4890, #4900, #4910, #4920, #4930), .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 ('')
);
#4950 = EDGE_CURVE ('', #4650, #4880, #4940, .T.);
#4960 = ORIENTED_EDGE ('', *, *, #4950, .T.);
#4970 = CARTESIAN_POINT ('', (-2.5, 7.2, -5.7));
#4980 = CARTESIAN_POINT ('', (-2.5, 7.2, -6.5));
#4990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4970, #4980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5000 = EDGE_CURVE ('', #4100, #4880, #4990, .T.);
#5010 = ORIENTED_EDGE ('', *, *, #5000, .F.);
#5020 = ORIENTED_EDGE ('', *, *, #4140, .F.);
#5030 = EDGE_LOOP ('', (#4860, #4960, #5010, #5020));
#5040 = FACE_OUTER_BOUND ('', #5030, .F.);
#5050 = CARTESIAN_POINT ('', (-2.5, 7.2, -8.));
#5060 = CARTESIAN_POINT ('', (-5.5, 7.2, -8.));
#5070 = CARTESIAN_POINT ('', (-2.5, 7.2, -5.7));
#5080 = CARTESIAN_POINT ('', (-5.5, 7.2, -5.7));
#5090 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5050, #5060), (#5070, #5080)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.223440207428575, 0.776559792571425), (0.139269835776402, 0.860730164223598), .UNSPECIFIED.);
#5100 = ADVANCED_FACE ('', (#5040), #5090, .F.);
#5110 = ORIENTED_EDGE ('', *, *, #4620, .T.);
#5120 = ORIENTED_EDGE ('', *, *, #4420, .T.);
#5130 = CARTESIAN_POINT ('', (-2.5, -11.5, -6.5));
#5140 = VERTEX_POINT ('', #5130);
#5150 = CARTESIAN_POINT ('', (-2.5, -11.5, -5.7));
#5160 = CARTESIAN_POINT ('', (-2.5, -11.5, -6.5));
#5170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5150, #5160), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5180 = EDGE_CURVE ('', #4310, #5140, #5170, .T.);
#5190 = ORIENTED_EDGE ('', *, *, #5180, .T.);
#5200 = CARTESIAN_POINT ('', (-5.5, -11.5, -6.5));
#5210 = CARTESIAN_POINT ('', (-5.5, -11.5, -8.));
#5220 = CARTESIAN_POINT ('', (-4., -11.5, -8.));
#5230 = CARTESIAN_POINT ('', (-2.5, -11.5, -8.));
#5240 = CARTESIAN_POINT ('', (-2.5, -11.5, -6.5));
#5250 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5200, #5210, #5220, #5230, #5240), .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 ('')
);
#5260 = EDGE_CURVE ('', #4580, #5140, #5250, .T.);
#5270 = ORIENTED_EDGE ('', *, *, #5260, .F.);
#5280 = EDGE_LOOP ('', (#5110, #5120, #5190, #5270));
#5290 = FACE_OUTER_BOUND ('', #5280, .F.);
#5300 = CARTESIAN_POINT ('', (-2.5, -11.5, -8.));
#5310 = CARTESIAN_POINT ('', (-2.5, -11.5, -5.7));
#5320 = CARTESIAN_POINT ('', (-5.5, -11.5, -8.));
#5330 = CARTESIAN_POINT ('', (-5.5, -11.5, -5.7));
#5340 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5300, #5310), (#5320, #5330)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.139269835776402, 0.860730164223598), (0.223440207428575, 0.776559792571425), .UNSPECIFIED.);
#5350 = ADVANCED_FACE ('', (#5290), #5340, .F.);
#5360 = CARTESIAN_POINT ('', (-2.5, 1.14564392373897, -6.5));
#5370 = VERTEX_POINT ('', #5360);
#5380 = CARTESIAN_POINT ('', (-2.5, -1.14564392373897, -6.5));
#5390 = VERTEX_POINT ('', #5380);
#5400 = CARTESIAN_POINT ('', (-2.5, 1.14564392373897, -6.50000000000001));
#5410 = CARTESIAN_POINT ('', (-2.5, 1.14564392373897, -6.52943199771657));
#5420 = CARTESIAN_POINT ('', (-2.50087404267913, 1.14374215554963, -6.55893597041116));
#5430 = CARTESIAN_POINT ('', (-2.50258803204035, 1.13997944801141, -6.58807609330107));
#5440 = CARTESIAN_POINT ('', (-2.50430079758479, 1.13621942710868, -6.61719540966072));
#5450 = CARTESIAN_POINT ('', (-2.50685979101768, 1.13058375413279, -6.64609118606853));
#5460 = CARTESIAN_POINT ('', (-2.51016877101991, 1.12318864889047, -6.67436430011797));
#5470 = CARTESIAN_POINT ('', (-2.5134745132344, 1.11580077964869, -6.70260974934568));
#5480 = CARTESIAN_POINT ('', (-2.51754253741373, 1.10662457862712, -6.73036226735987));
#5490 = CARTESIAN_POINT ('', (-2.52223021963016, 1.09583516971503, -6.75728675874528));
#5500 = CARTESIAN_POINT ('', (-2.52691263361581, 1.08505788643211, -6.78418099116095));
#5510 = CARTESIAN_POINT ('', (-2.53223135891244, 1.07262771786371, -6.81036139509971));
#5520 = CARTESIAN_POINT ('', (-2.53801763097827, 1.05875705657315, -6.83557048837702));
#5530 = CARTESIAN_POINT ('', (-2.54379721975868, 1.04490241623483, -6.86075046453648));
#5540 = CARTESIAN_POINT ('', (-2.55006337672788, 1.02956087565748, -6.88505533440912));
#5550 = CARTESIAN_POINT ('', (-2.55664047117212, 1.01296075993337, -6.90830536433133));
#5560 = CARTESIAN_POINT ('', (-2.56321033158761, 0.996378902380176, -6.93152982196072));
#5570 = CARTESIAN_POINT ('', (-2.57011064847073, 0.978489153976901, -6.95377753950013));
#5580 = CARTESIAN_POINT ('', (-2.57717367237709, 0.95951855761437, -6.97493709206914));
#5590 = CARTESIAN_POINT ('', (-2.58422967861953, 0.940566810015719, -6.99607562097592));
#5600 = CARTESIAN_POINT ('', (-2.59146697359997, 0.920485007297448, -7.01618756693818));
#5610 = CARTESIAN_POINT ('', (-2.59873479820683, 0.899487325418721, -7.03521568945941));
#5620 = CARTESIAN_POINT ('', (-2.60599632336344, 0.878507843463529, -7.05422731918982));
#5630 = CARTESIAN_POINT ('', (-2.61330513330686, 0.856565388038197, -7.0722026696725));
#5640 = CARTESIAN_POINT ('', (-2.62053159653266, 0.833854994332926, -7.08912386120005));
#5650 = CARTESIAN_POINT ('', (-2.63137206238002, 0.79978698074881, -7.11450745385377));
#5660 = CARTESIAN_POINT ('', (-2.64206170688229, 0.763869958063588, -7.13760688915179));
#5670 = CARTESIAN_POINT ('', (-2.65225272203111, 0.726674272613656, -7.1584658493251));
#5680 = CARTESIAN_POINT ('', (-2.66242872306674, 0.689533386437693, -7.17929407862573));
#5690 = CARTESIAN_POINT ('', (-2.67214519148901, 0.6509843238745, -7.19796777836541));
#5700 = CARTESIAN_POINT ('', (-2.68115157208632, 0.611495091966454, -7.21458996927581));
#5710 = CARTESIAN_POINT ('', (-2.6901476771448, 0.572050914021148, -7.23119319563476));
#5720 = CARTESIAN_POINT ('', (-2.69846295058097, 0.531552573972665, -7.24580089576335));
#5730 = CARTESIAN_POINT ('', (-2.70592361284497, 0.490384952305877, -7.25852903979199));
#5740 = CARTESIAN_POINT ('', (-2.71337760163258, 0.449254154602077, -7.27124579864253));
#5750 = CARTESIAN_POINT ('', (-2.71999804468853, 0.407352718860342, -7.28211928473224));
#5760 = CARTESIAN_POINT ('', (-2.72566914681606, 0.365003701481239, -7.29125272613969));
#5770 = CARTESIAN_POINT ('', (-2.73133620556072, 0.32268487810814, -7.3003796555853));
#5780 = CARTESIAN_POINT ('', (-2.73606838369152, 0.27982637814677, -7.30778960352079));
#5790 = CARTESIAN_POINT ('', (-2.7397935945467, 0.236708806935552, -7.31355996438767));
#5800 = CARTESIAN_POINT ('', (-2.74351666690028, 0.193615987878997, -7.31932701271026));
#5810 = CARTESIAN_POINT ('', (-2.74624181241227, 0.15017810014597, -7.32346816465146));
#5820 = CARTESIAN_POINT ('', (-2.74793118338051, 0.106649947984046, -7.32602886054245));
#5830 = CARTESIAN_POINT ('', (-2.74905823132132, 0.077610550963487, -7.32773720470442));
#5840 = CARTESIAN_POINT ('', (-2.74972637305611, 0.0485000287333936, -7.32874362482569));
#5850 = CARTESIAN_POINT ('', (-2.74993163375126, 0.0193909693965805, -7.32905312236562));
#5860 = CARTESIAN_POINT ('', (-2.75002305590777, 0.00642593010039977, -7.32919097112675));
#5870 = CARTESIAN_POINT ('', (-2.75002278151496, -0.006542287209527, -7.32919055768746));
#5880 = CARTESIAN_POINT ('', (-2.74993081089473, -0.0195073138042488, -7.32905188163932));
#5890 = CARTESIAN_POINT ('', (-2.74961846431063, -0.0635385681286909, -7.3285809161307));
#5900 = CARTESIAN_POINT ('', (-2.74824496809378, -0.107587670954573, -7.32651602258958));
#5910 = CARTESIAN_POINT ('', (-2.74582911052551, -0.151401769443787, -7.3228337499123));
#5920 = CARTESIAN_POINT ('', (-2.74341408876854, -0.195200709622569, -7.31915275118643));
#5930 = CARTESIAN_POINT ('', (-2.73995240929014, -0.238850811121802, -7.31384811727015));
#5940 = CARTESIAN_POINT ('', (-2.73549429939764, -0.282083211061958, -7.30686140888266));
#5950 = CARTESIAN_POINT ('', (-2.73103782350221, -0.325299765359752, -7.2998772612802));
#5960 = CARTESIAN_POINT ('', (-2.72557579320178, -0.368189327869774, -7.29119729523936));
#5970 = CARTESIAN_POINT ('', (-2.71919649452922, -0.4104514881688, -7.28073195167981));
#5980 = CARTESIAN_POINT ('', (-2.71281965341829, -0.452697367389192, -7.27027063979019));
#5990 = CARTESIAN_POINT ('', (-2.70551066647592, -0.494414254539657, -7.25800028343191));
#6000 = CARTESIAN_POINT ('', (-2.69740706620473, -0.535252388307405, -7.24380887923352));
#6010 = CARTESIAN_POINT ('', (-2.68930678963741, -0.576073772253018, -7.22962329566096));
#6020 = CARTESIAN_POINT ('', (-2.68038987192379, -0.616126110811846, -7.21347875069443));
#6030 = CARTESIAN_POINT ('', (-2.67085902198438, -0.654990140906432, -7.19525841279317));
#6040 = CARTESIAN_POINT ('', (-2.66133249258544, -0.693836553095399, -7.17704633456526));
#6050 = CARTESIAN_POINT ('', (-2.65116106338395, -0.731619472342023, -7.15669918919905));
#6060 = CARTESIAN_POINT ('', (-2.64063205376102, -0.767829640382456, -7.13412836771272));
#6070 = CARTESIAN_POINT ('', (-2.63010865540472, -0.804020510795193, -7.11156957498334));
#6080 = CARTESIAN_POINT ('', (-2.61918599114354, -0.838781676801777, -7.08669552959685));
#6090 = CARTESIAN_POINT ('', (-2.60825397849456, -0.87149938821968, -7.05950246793359));
#6100 = CARTESIAN_POINT ('', (-2.597329333006, -0.904195050941148, -7.03232773186634));
#6110 = CARTESIAN_POINT ('', (-2.58634219027923, -0.935008947287452, -7.00269485471847));
#6120 = CARTESIAN_POINT ('', (-2.57578964789611, -0.963227745546846, -6.97077050986662));
#6130 = CARTESIAN_POINT ('', (-2.56524661436381, -0.99142111596776, -6.93887493190545));
#6140 = CARTESIAN_POINT ('', (-2.55507558816991, -1.01719412076326, -6.90448329354905));
#6150 = CARTESIAN_POINT ('', (-2.54585161642501, -1.03977860487036, -6.86803869164292));
#6160 = CARTESIAN_POINT ('', (-2.53971572838897, -1.0548020535176, -6.8437953393215));
#6170 = CARTESIAN_POINT ('', (-2.53397439319449, -1.06847894976486, -6.81854875560853));
#6180 = CARTESIAN_POINT ('', (-2.52879870945109, -1.08059108226864, -6.79251796985346));
#6190 = CARTESIAN_POINT ('', (-2.52362691266541, -1.09269411851591, -6.76650673331521));
#6200 = CARTESIAN_POINT ('', (-2.51900102962042, -1.10328059874455, -6.73961013404495));
#6210 = CARTESIAN_POINT ('', (-2.51507445316257, -1.11216028298488, -6.71212288973498));
#6220 = CARTESIAN_POINT ('', (-2.5111510240393, -1.12103284974319, -6.68465767773631));
#6230 = CARTESIAN_POINT ('', (-2.50791016800757, -1.1282383074279, -6.6564840585495));
#6240 = CARTESIAN_POINT ('', (-2.50546827288734, -1.13363518539032, -6.62796451325897));
#6250 = CARTESIAN_POINT ('', (-2.50302830345634, -1.13902780735103, -6.59946745860741));
#6260 = CARTESIAN_POINT ('', (-2.50137573524945, -1.14263868009708, -6.57049362723786));
#6270 = CARTESIAN_POINT ('', (-2.50057287611416, -1.14439297937472, -6.54145238419451));
#6280 = CARTESIAN_POINT ('', (-2.50019151598685, -1.14522627598487, -6.52765772002813));
#6290 = CARTESIAN_POINT ('', (-2.5, -1.14564392373897, -6.51382507064179));
#6300 = CARTESIAN_POINT ('', (-2.5, -1.14564392373897, -6.50000000000001));
#6310 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#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, #5920, #5930, #5940, #5950, #5960, #5970, #5980, #5990, #6000, #6010, #6020, #6030, #6040, #6050, #6060, #6070, #6080, #6090, #6100, #6110, #6120, #6130, #6140, #6150, #6160, #6170, #6180, #6190, #6200, #6210, #6220, #6230, #6240, #6250, #6260, #6270, #6280, #6290, #6300), .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.0882959931496738, 0.17652894149819, 0.264675555218612, 0.352723105759737, 0.440668959231591, 0.528518082629352, 0.616279921086119, 0.703965691205513, 0.835503701789089, 0.966847921415672, 1.09804228810029, 1.22911930293637, 1.36010286247129, 1.49101122933572, 1.57834551415783, 1.61724379738715, 1.74934843976032, 1.88140737805084, 2.01341791378426, 2.1453775937664, 2.27728315028684, 2.40912891116489, 2.54090440696149, 2.67259109832225, 2.80415912736837, 2.89167963563499, 2.97913441567469, 3.06651909661981, 3.15383486562085, 3.19531007754621), .UNSPECIFIED.);
#6320 = EDGE_CURVE ('', #5370, #5390, #6310, .T.);
#6330 = ORIENTED_EDGE ('', *, *, #6320, .F.);
#6340 = CARTESIAN_POINT ('', (-2.5, 1.14564392373896, -6.5));
#6350 = CARTESIAN_POINT ('', (-2.5, 7.2, -6.5));
#6360 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#6340, #6350), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((2, 2), (0.676237642980693, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1.))
   REPRESENTATION_ITEM ('')
);
#6370 = EDGE_CURVE ('', #5370, #4880, #6360, .T.);
#6380 = ORIENTED_EDGE ('', *, *, #6370, .T.);
#6390 = ORIENTED_EDGE ('', *, *, #4950, .F.);
#6400 = ORIENTED_EDGE ('', *, *, #4690, .F.);
#6410 = ORIENTED_EDGE ('', *, *, #5260, .T.);
#6420 = CARTESIAN_POINT ('', (-2.5, -11.5, -6.5));
#6430 = CARTESIAN_POINT ('', (-2.5, -1.14564392373897, -6.5));
#6440 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#6420, #6430), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((2, 2), (0., 0.553708881083478), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1.))
   REPRESENTATION_ITEM ('')
);
#6450 = EDGE_CURVE ('', #5140, #5390, #6440, .T.);
#6460 = ORIENTED_EDGE ('', *, *, #6450, .T.);
#6470 = EDGE_LOOP ('', (#6330, #6380, #6390, #6400, #6410, #6460));
#6480 = FACE_OUTER_BOUND ('', #6470, .F.);
#6490 = CARTESIAN_POINT ('', (-5.5, -11.5, -6.5));
#6500 = CARTESIAN_POINT ('', (-5.5, 7.2, -6.5));
#6510 = CARTESIAN_POINT ('', (-5.5, -11.5, -8.));
#6520 = CARTESIAN_POINT ('', (-5.5, 7.2, -8.));
#6530 = CARTESIAN_POINT ('', (-4., -11.5, -8.));
#6540 = CARTESIAN_POINT ('', (-4., 7.2, -8.));
#6550 = CARTESIAN_POINT ('', (-2.5, -11.5, -8.));
#6560 = CARTESIAN_POINT ('', (-2.5, 7.2, -8.));
#6570 = CARTESIAN_POINT ('', (-2.5, -11.5, -6.5));
#6580 = CARTESIAN_POINT ('', (-2.5, 7.2, -6.5));
#6590 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6490, #6500), (#6510, #6520), (#6530, #6540), (#6550, #6560), (#6570, #6580)), .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 ('')
);
#6600 = ADVANCED_FACE ('', (#6480), #6590, .F.);
#6610 = ORIENTED_EDGE ('', *, *, #3800, .F.);
#6620 = CARTESIAN_POINT ('', (-2.5, 1.14564392373896, -6.5));
#6630 = CARTESIAN_POINT ('', (-2.5, 1.14564392373896, -5.7));
#6640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6620, #6630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6650 = EDGE_CURVE ('', #5370, #3690, #6640, .T.);
#6660 = ORIENTED_EDGE ('', *, *, #6650, .F.);
#6670 = ORIENTED_EDGE ('', *, *, #6320, .T.);
#6680 = CARTESIAN_POINT ('', (-2.5, -1.14564392373897, -6.5));
#6690 = CARTESIAN_POINT ('', (-2.5, -1.14564392373897, -5.7));
#6700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6680, #6690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6710 = EDGE_CURVE ('', #5390, #3830, #6700, .T.);
#6720 = ORIENTED_EDGE ('', *, *, #6710, .T.);
#6730 = ORIENTED_EDGE ('', *, *, #3880, .F.);
#6740 = CARTESIAN_POINT ('', (0., -2.75, 0.));
#6750 = CARTESIAN_POINT ('', (0., -2.75, -5.7));
#6760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6740, #6750), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.235537190082645), .UNSPECIFIED.);
#6770 = EDGE_CURVE ('', #880, #3710, #6760, .T.);
#6780 = ORIENTED_EDGE ('', *, *, #6770, .F.);
#6790 = ORIENTED_EDGE ('', *, *, #990, .T.);
#6800 = ORIENTED_EDGE ('', *, *, #6770, .T.);
#6810 = EDGE_LOOP ('', (#6610, #6660, #6670, #6720, #6730, #6780, #6790, #6800));
#6820 = FACE_OUTER_BOUND ('', #6810, .F.);
#6830 = CARTESIAN_POINT ('', (0., -2.75, 0.));
#6840 = CARTESIAN_POINT ('', (0., -2.75, -7.32915640557665));
#6850 = CARTESIAN_POINT ('', (-2.75, -2.75, 0.));
#6860 = CARTESIAN_POINT ('', (-2.75, -2.75, -7.32915640557665));
#6870 = CARTESIAN_POINT ('', (-2.75, -1.68388934882761E-16, 0.));
#6880 = CARTESIAN_POINT ('', (-2.75, -1.68388934882761E-16, -7.32915640557665));
#6890 = CARTESIAN_POINT ('', (-2.75, 2.75, 0.));
#6900 = CARTESIAN_POINT ('', (-2.75, 2.75, -7.32915640557665));
#6910 = CARTESIAN_POINT ('', (-3.36777869765522E-16, 2.75, 0.));
#6920 = CARTESIAN_POINT ('', (-3.36777869765522E-16, 2.75, -7.32915640557665));
#6930 = CARTESIAN_POINT ('', (2.75, 2.75, 0.));
#6940 = CARTESIAN_POINT ('', (2.75, 2.75, -7.32915640557665));
#6950 = CARTESIAN_POINT ('', (2.75, 5.05166804648283E-16, 0.));
#6960 = CARTESIAN_POINT ('', (2.75, 5.05166804648283E-16, -7.32915640557665));
#6970 = CARTESIAN_POINT ('', (2.75, -2.75, 0.));
#6980 = CARTESIAN_POINT ('', (2.75, -2.75, -7.32915640557665));
#6990 = CARTESIAN_POINT ('', (0., -2.75, 0.));
#7000 = CARTESIAN_POINT ('', (0., -2.75, -7.32915640557665));
#7010 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6830, #6840), (#6850, #6860), (#6870, #6880), (#6890, #6900), (#6910, #6920), (#6930, #6940), (#6950, #6960), (#6970, #6980), (#6990, #7000)), .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 ('')
);
#7020 = ADVANCED_FACE ('', (#6820), #7010, .F.);
#7030 = ORIENTED_EDGE ('', *, *, #6650, .T.);
#7040 = ORIENTED_EDGE ('', *, *, #4190, .T.);
#7050 = ORIENTED_EDGE ('', *, *, #5000, .T.);
#7060 = ORIENTED_EDGE ('', *, *, #6370, .F.);
#7070 = EDGE_LOOP ('', (#7030, #7040, #7050, #7060));
#7080 = FACE_OUTER_BOUND ('', #7070, .F.);
#7090 = CARTESIAN_POINT ('', (-2.5, -11.5, -5.7));
#7100 = CARTESIAN_POINT ('', (-2.5, -11.5, -6.5));
#7110 = CARTESIAN_POINT ('', (-2.5, 7.2, -5.7));
#7120 = CARTESIAN_POINT ('', (-2.5, 7.2, -6.5));
#7130 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7090, #7100), (#7110, #7120)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#7140 = ADVANCED_FACE ('', (#7080), #7130, .F.);
#7150 = ORIENTED_EDGE ('', *, *, #6710, .F.);
#7160 = ORIENTED_EDGE ('', *, *, #6450, .F.);
#7170 = ORIENTED_EDGE ('', *, *, #5180, .F.);
#7180 = ORIENTED_EDGE ('', *, *, #4350, .T.);
#7190 = ORIENTED_EDGE ('', *, *, #3930, .T.);
#7200 = EDGE_LOOP ('', (#7150, #7160, #7170, #7180, #7190));
#7210 = FACE_OUTER_BOUND ('', #7200, .F.);
#7220 = CARTESIAN_POINT ('', (-2.5, -11.5, -5.7));
#7230 = CARTESIAN_POINT ('', (-2.5, -11.5, -6.5));
#7240 = CARTESIAN_POINT ('', (-2.5, 7.2, -5.7));
#7250 = CARTESIAN_POINT ('', (-2.5, 7.2, -6.5));
#7260 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7220, #7230), (#7240, #7250)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#7270 = ADVANCED_FACE ('', (#7210), #7260, .F.);
#7280 = CLOSED_SHELL ('', (#500, #1080, #1550, #1700, #1920, #2300, #2520, #2740, #3020, #3330, #3530, #3670, #4280, #4560, #4850, #5100, #5350, #6600, #7020, #7140, #7270));
#7290 = MANIFOLD_SOLID_BREP ('', #7280);
#7300 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#7310 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#7320 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#7330 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #7300, 'DISTANCE_ACCURACY_VALUE', '');
#7340 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#7330))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#7300, #7310, #7320))
   REPRESENTATION_CONTEXT ('', '3D')
);
#7350 = COLOUR_RGB ('', 0.71764705882353, 0.71764705882353, 0.71764705882353);
#7360 = FILL_AREA_STYLE_COLOUR ('', #7350);
#7370 = FILL_AREA_STYLE ('', (#7360));
#7380 = SURFACE_STYLE_FILL_AREA (#7370);
#7390 = SURFACE_SIDE_STYLE ('', (#7380));
#7400 = SURFACE_STYLE_USAGE (.POSITIVE., #7390);
#7410 = PRESENTATION_STYLE_ASSIGNMENT ((#7400));
#7420 = STYLED_ITEM ('', (#7410), #7290);
#7430 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#7290), #7340);
#7440 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#7450 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #7440);
#7460 = MECHANICAL_CONTEXT ('', #7440, 'mechanical');
#7470 = PRODUCT ('product-name', '', '', (#7460));
#7480 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#7490 = PERSON ('', '', $, $, $, $);
#7500 = ORGANIZATION ($, '', '');
#7510 = PERSON_AND_ORGANIZATION (#7490, #7500);
#7520 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#7510, #7480, (#7470));
#7530 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#7470));
#7540 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #7470, .NOT_KNOWN.);
#7550 = APPROVAL_STATUS ('approved');
#7560 = APPROVAL (#7550, '');
#7570 = CALENDAR_DATE (2010, 14, 6);
#7580 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#7590 = LOCAL_TIME (9, 57, 55., #7580);
#7600 = DATE_AND_TIME (#7570, #7590);
#7610 = APPROVAL_DATE_TIME (#7600, #7560);
#7620 = APPROVAL_ROLE ('');
#7630 = PERSON ('', '', $, $, $, $);
#7640 = ORGANIZATION ($, '', '');
#7650 = PERSON_AND_ORGANIZATION (#7630, #7640);
#7660 = APPROVAL_PERSON_ORGANIZATION (#7650, #7560, #7620);
#7670 = CC_DESIGN_APPROVAL (#7560, (#7540));
#7680 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#7690 = PERSON ('', '', $, $, $, $);
#7700 = ORGANIZATION ($, '', '');
#7710 = PERSON_AND_ORGANIZATION (#7690, #7700);
#7720 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#7710, #7680, (#7540));
#7730 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#7740 = PERSON ('', '', $, $, $, $);
#7750 = ORGANIZATION ($, '', '');
#7760 = PERSON_AND_ORGANIZATION (#7740, #7750);
#7770 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#7760, #7730, (#7540));
#7780 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#7790 = SECURITY_CLASSIFICATION ('', '', #7780);
#7800 = APPROVAL_STATUS ('approved');
#7810 = APPROVAL (#7800, '');
#7820 = CALENDAR_DATE (2010, 14, 6);
#7830 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#7840 = LOCAL_TIME (9, 57, 55., #7830);
#7850 = DATE_AND_TIME (#7820, #7840);
#7860 = APPROVAL_DATE_TIME (#7850, #7810);
#7870 = APPROVAL_ROLE ('');
#7880 = PERSON ('', '', $, $, $, $);
#7890 = ORGANIZATION ($, '', '');
#7900 = PERSON_AND_ORGANIZATION (#7880, #7890);
#7910 = APPROVAL_PERSON_ORGANIZATION (#7900, #7810, #7870);
#7920 = CC_DESIGN_APPROVAL (#7810, (#7790));
#7930 = DATE_TIME_ROLE ('classification_date');
#7940 = CALENDAR_DATE (2010, 14, 6);
#7950 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#7960 = LOCAL_TIME (9, 57, 55., #7950);
#7970 = DATE_AND_TIME (#7940, #7960);
#7980 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#7970, #7930, (#7790));
#7990 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#8000 = PERSON ('', '', $, $, $, $);
#8010 = ORGANIZATION ($, '', '');
#8020 = PERSON_AND_ORGANIZATION (#8000, #8010);
#8030 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#8020, #7990, (#7790));
#8040 = CC_DESIGN_SECURITY_CLASSIFICATION (#7790, (#7540));
#8050 = DESIGN_CONTEXT ('', #7440, 'design');
#8060 = PRODUCT_DEFINITION ('', '', #7540, #8050);
#8070 = APPROVAL_STATUS ('approved');
#8080 = APPROVAL (#8070, '');
#8090 = CALENDAR_DATE (2010, 14, 6);
#8100 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#8110 = LOCAL_TIME (9, 57, 55., #8100);
#8120 = DATE_AND_TIME (#8090, #8110);
#8130 = APPROVAL_DATE_TIME (#8120, #8080);
#8140 = APPROVAL_ROLE ('');
#8150 = PERSON ('', '', $, $, $, $);
#8160 = ORGANIZATION ($, '', '');
#8170 = PERSON_AND_ORGANIZATION (#8150, #8160);
#8180 = APPROVAL_PERSON_ORGANIZATION (#8170, #8080, #8140);
#8190 = CC_DESIGN_APPROVAL (#8080, (#8060));
#8200 = DATE_TIME_ROLE ('creation_date');
#8210 = CALENDAR_DATE (2010, 14, 6);
#8220 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#8230 = LOCAL_TIME (9, 57, 55., #8220);
#8240 = DATE_AND_TIME (#8210, #8230);
#8250 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#8240, #8200, (#8060));
#8260 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#8270 = PERSON ('', '', $, $, $, $);
#8280 = ORGANIZATION ($, '', '');
#8290 = PERSON_AND_ORGANIZATION (#8270, #8280);
#8300 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#8290, #8260, (#8060));
#8310 = PRODUCT_DEFINITION_SHAPE ('', '', #8060);
#8320 = SHAPE_DEFINITION_REPRESENTATION (#8310, #7430);
ENDSEC;
END-ISO-10303-21;