ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('C:\\TDMTemp\\Tools\\SMLIB\\grooving\\T06T08\\step\\12525R.stp', '2010-12-08T10:45:29', ('Unknown'), ('Unknown'), 'HarmonyWare STEP v1.4.4', 'HarmonyWare Translators', '');
FILE_SCHEMA (('CONFIG_CONTROL_DESIGN'));
ENDSEC;

DATA;
#10 = CARTESIAN_POINT ('', (0., 12.5, -2.35419E-15));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (0., 12.5, 25.));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (0., 12.5, 0.));
#60 = CARTESIAN_POINT ('', (0., 12.5, 25.));
#70 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#50, #60), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#80 = EDGE_CURVE ('', #20, #40, #70, .T.);
#90 = ORIENTED_EDGE ('', *, *, #80, .F.);
#100 = CARTESIAN_POINT ('', (0., 22.5, -3.46945E-15));
#110 = VERTEX_POINT ('', #100);
#120 = CARTESIAN_POINT ('', (0., 12.5, -2.35419E-15));
#130 = CARTESIAN_POINT ('', (0., 22.5, -3.46945E-15));
#140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#120, #130), .UNSPECIFIED., .F., .U., (2, 2), (0.714285714285714, 1.), .UNSPECIFIED.);
#150 = EDGE_CURVE ('', #20, #110, #140, .T.);
#160 = ORIENTED_EDGE ('', *, *, #150, .T.);
#170 = CARTESIAN_POINT ('', (0., 22.5, 25.));
#180 = VERTEX_POINT ('', #170);
#190 = CARTESIAN_POINT ('', (0., 22.5, 25.));
#200 = CARTESIAN_POINT ('', (0., 22.5, -3.5527136788005E-15));
#210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#190, #200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#220 = EDGE_CURVE ('', #180, #110, #210, .T.);
#230 = ORIENTED_EDGE ('', *, *, #220, .F.);
#240 = CARTESIAN_POINT ('', (0., 12.5, 25.));
#250 = CARTESIAN_POINT ('', (0., 22.5, 25.));
#260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#240, #250), .UNSPECIFIED., .F., .U., (2, 2), (0.714285714285714, 1.), .UNSPECIFIED.);
#270 = EDGE_CURVE ('', #40, #180, #260, .T.);
#280 = ORIENTED_EDGE ('', *, *, #270, .F.);
#290 = EDGE_LOOP ('', (#90, #160, #230, #280));
#300 = FACE_OUTER_BOUND ('', #290, .F.);
#310 = CARTESIAN_POINT ('', (0., 22.5, 25.));
#320 = CARTESIAN_POINT ('', (0., 22.5, 0.));
#330 = CARTESIAN_POINT ('', (0., 12.5, 25.));
#340 = CARTESIAN_POINT ('', (0., 12.5, 0.));
#350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#310, #320), (#330, #340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.130121149451484, 0.341480492622065), (0.235800821036774, 0.764199178963226), .UNSPECIFIED.);
#360 = ADVANCED_FACE ('', (#300), #350, .F.);
#370 = ORIENTED_EDGE ('', *, *, #80, .T.);
#380 = CARTESIAN_POINT ('', (-130., 12.5, 25.));
#390 = VERTEX_POINT ('', #380);
#400 = CARTESIAN_POINT ('', (0., 12.5, 25.));
#410 = CARTESIAN_POINT ('', (-130., 12.5, 25.));
#420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#400, #410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#430 = EDGE_CURVE ('', #40, #390, #420, .T.);
#440 = ORIENTED_EDGE ('', *, *, #430, .T.);
#450 = CARTESIAN_POINT ('', (-130., 12.5, -2.01026552980815E-15));
#460 = VERTEX_POINT ('', #450);
#470 = CARTESIAN_POINT ('', (-130., 12.5, -2.01026552980815E-15));
#480 = CARTESIAN_POINT ('', (-130., 12.5, 25.));
#490 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#470, #480), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#500 = EDGE_CURVE ('', #460, #390, #490, .T.);
#510 = ORIENTED_EDGE ('', *, *, #500, .F.);
#520 = CARTESIAN_POINT ('', (0., 12.5, -2.01026552980815E-15));
#530 = CARTESIAN_POINT ('', (-130., 12.5, -2.01026552980815E-15));
#540 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#520, #530), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#550 = EDGE_CURVE ('', #20, #460, #540, .T.);
#560 = ORIENTED_EDGE ('', *, *, #550, .F.);
#570 = EDGE_LOOP ('', (#370, #440, #510, #560));
#580 = FACE_OUTER_BOUND ('', #570, .F.);
#590 = CARTESIAN_POINT ('', (0., 12.5, -2.01026552980815E-15));
#600 = CARTESIAN_POINT ('', (-130., 12.5, -2.01026552980815E-15));
#610 = CARTESIAN_POINT ('', (0., 12.5, 25.));
#620 = CARTESIAN_POINT ('', (-130., 12.5, 25.));
#630 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#590, #600), (#610, #620)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#640 = ADVANCED_FACE ('', (#580), #630, .F.);
#650 = CARTESIAN_POINT ('', (-130., -12.5, 2.75545529808155E-16));
#660 = VERTEX_POINT ('', #650);
#670 = CARTESIAN_POINT ('', (-130., -12.5, 2.75545529808155E-16));
#680 = CARTESIAN_POINT ('', (-130., 12.5, -2.01026552980815E-15));
#690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#670, #680), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#700 = EDGE_CURVE ('', #660, #460, #690, .T.);
#710 = ORIENTED_EDGE ('', *, *, #700, .T.);
#720 = ORIENTED_EDGE ('', *, *, #500, .T.);
#730 = CARTESIAN_POINT ('', (-130., -12.5, 25.));
#740 = VERTEX_POINT ('', #730);
#750 = CARTESIAN_POINT ('', (-130., -12.5, 25.));
#760 = CARTESIAN_POINT ('', (-130., 12.5, 25.));
#770 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#750, #760), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#780 = EDGE_CURVE ('', #740, #390, #770, .T.);
#790 = ORIENTED_EDGE ('', *, *, #780, .F.);
#800 = CARTESIAN_POINT ('', (-130., -12.5, 2.75545529808155E-16));
#810 = CARTESIAN_POINT ('', (-130., -12.5, 25.));
#820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#800, #810), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#830 = EDGE_CURVE ('', #660, #740, #820, .T.);
#840 = ORIENTED_EDGE ('', *, *, #830, .F.);
#850 = EDGE_LOOP ('', (#710, #720, #790, #840));
#860 = FACE_OUTER_BOUND ('', #850, .F.);
#870 = CARTESIAN_POINT ('', (-130., 12.5, -8.88178419700125E-16));
#880 = CARTESIAN_POINT ('', (-130., -12.5, -8.88178419700125E-16));
#890 = CARTESIAN_POINT ('', (-130., 12.5, 25.));
#900 = CARTESIAN_POINT ('', (-130., -12.5, 25.));
#910 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#870, #880), (#890, #900)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.178587826733387, 0.821412173266613), (0.178587826733387, 0.821412173266613), .UNSPECIFIED.);
#920 = ADVANCED_FACE ('', (#860), #910, .F.);
#930 = CARTESIAN_POINT ('', (11., 22.5, 10.));
#940 = VERTEX_POINT ('', #930);
#950 = CARTESIAN_POINT ('', (20., 22.5, 10.));
#960 = VERTEX_POINT ('', #950);
#970 = CARTESIAN_POINT ('', (11., 22.5, 10.));
#980 = CARTESIAN_POINT ('', (20., 22.5, 10.));
#990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#970, #980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1000 = EDGE_CURVE ('', #940, #960, #990, .T.);
#1010 = ORIENTED_EDGE ('', *, *, #1000, .F.);
#1020 = CARTESIAN_POINT ('', (11., 22.5, 17.01));
#1030 = VERTEX_POINT ('', #1020);
#1040 = CARTESIAN_POINT ('', (11., 22.5, 17.01));
#1050 = CARTESIAN_POINT ('', (11., 22.5, 10.));
#1060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1040, #1050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1070 = EDGE_CURVE ('', #1030, #940, #1060, .T.);
#1080 = ORIENTED_EDGE ('', *, *, #1070, .F.);
#1090 = CARTESIAN_POINT ('', (20., 22.5, 17.01));
#1100 = VERTEX_POINT ('', #1090);
#1110 = CARTESIAN_POINT ('', (20., 22.5, 17.01));
#1120 = CARTESIAN_POINT ('', (11., 22.5, 17.01));
#1130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1110, #1120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1140 = EDGE_CURVE ('', #1100, #1030, #1130, .T.);
#1150 = ORIENTED_EDGE ('', *, *, #1140, .F.);
#1160 = CARTESIAN_POINT ('', (20., 22.5, 25.));
#1170 = VERTEX_POINT ('', #1160);
#1180 = CARTESIAN_POINT ('', (20., 22.5, 25.));
#1190 = CARTESIAN_POINT ('', (20., 22.5, 17.01));
#1200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1180, #1190), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.3196), .UNSPECIFIED.);
#1210 = EDGE_CURVE ('', #1170, #1100, #1200, .T.);
#1220 = ORIENTED_EDGE ('', *, *, #1210, .F.);
#1230 = CARTESIAN_POINT ('', (0., 22.5, 25.));
#1240 = CARTESIAN_POINT ('', (20., 22.5, 25.));
#1250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1230, #1240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1260 = EDGE_CURVE ('', #180, #1170, #1250, .T.);
#1270 = ORIENTED_EDGE ('', *, *, #1260, .F.);
#1280 = ORIENTED_EDGE ('', *, *, #220, .T.);
#1290 = CARTESIAN_POINT ('', (20., 22.5, -3.46945E-15));
#1300 = VERTEX_POINT ('', #1290);
#1310 = CARTESIAN_POINT ('', (0., 22.5, -3.46945E-15));
#1320 = CARTESIAN_POINT ('', (20., 22.5, -3.46945E-15));
#1330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1310, #1320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1340 = EDGE_CURVE ('', #110, #1300, #1330, .T.);
#1350 = ORIENTED_EDGE ('', *, *, #1340, .T.);
#1360 = CARTESIAN_POINT ('', (20., 22.5, 10.));
#1370 = CARTESIAN_POINT ('', (20., 22.5, -3.5527136788005E-15));
#1380 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1360, #1370), .UNSPECIFIED., .F., .U., (2, 2), (0.6, 1.), .UNSPECIFIED.);
#1390 = EDGE_CURVE ('', #960, #1300, #1380, .T.);
#1400 = ORIENTED_EDGE ('', *, *, #1390, .F.);
#1410 = EDGE_LOOP ('', (#1010, #1080, #1150, #1220, #1270, #1280, #1350, #1400));
#1420 = FACE_OUTER_BOUND ('', #1410, .F.);
#1430 = CARTESIAN_POINT ('', (0., 22.5, 25.));
#1440 = CARTESIAN_POINT ('', (20., 22.5, 25.));
#1450 = CARTESIAN_POINT ('', (0., 22.5, -3.5527136788005E-15));
#1460 = CARTESIAN_POINT ('', (20., 22.5, -3.5527136788005E-15));
#1470 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1430, #1440), (#1450, #1460)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#1480 = ADVANCED_FACE ('', (#1420), #1470, .F.);
#1490 = CARTESIAN_POINT ('', (11., -12.5, 10.));
#1500 = VERTEX_POINT ('', #1490);
#1510 = CARTESIAN_POINT ('', (11., -12.5, 17.01));
#1520 = VERTEX_POINT ('', #1510);
#1530 = CARTESIAN_POINT ('', (11., -12.5, 10.));
#1540 = CARTESIAN_POINT ('', (11., -12.5, 17.01));
#1550 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1530, #1540), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1560 = EDGE_CURVE ('', #1500, #1520, #1550, .T.);
#1570 = ORIENTED_EDGE ('', *, *, #1560, .T.);
#1580 = CARTESIAN_POINT ('', (11., -12.5, 17.01));
#1590 = CARTESIAN_POINT ('', (11., 22.5, 17.01));
#1600 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1580, #1590), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1610 = EDGE_CURVE ('', #1520, #1030, #1600, .T.);
#1620 = ORIENTED_EDGE ('', *, *, #1610, .T.);
#1630 = ORIENTED_EDGE ('', *, *, #1070, .T.);
#1640 = CARTESIAN_POINT ('', (11., -12.5, 10.));
#1650 = CARTESIAN_POINT ('', (11., 22.5, 10.));
#1660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1640, #1650), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1670 = EDGE_CURVE ('', #1500, #940, #1660, .T.);
#1680 = ORIENTED_EDGE ('', *, *, #1670, .F.);
#1690 = EDGE_LOOP ('', (#1570, #1620, #1630, #1680));
#1700 = FACE_OUTER_BOUND ('', #1690, .F.);
#1710 = CARTESIAN_POINT ('', (11., -12.5, 10.));
#1720 = CARTESIAN_POINT ('', (11., 22.5, 10.));
#1730 = CARTESIAN_POINT ('', (11., -12.5, 17.01));
#1740 = CARTESIAN_POINT ('', (11., 22.5, 17.01));
#1750 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1710, #1720), (#1730, #1740)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#1760 = ADVANCED_FACE ('', (#1700), #1750, .F.);
#1770 = CARTESIAN_POINT ('', (14., -12.5, 25.));
#1780 = VERTEX_POINT ('', #1770);
#1790 = CARTESIAN_POINT ('', (14., 17.5, 25.));
#1800 = VERTEX_POINT ('', #1790);
#1810 = CARTESIAN_POINT ('', (14., -12.5, 25.));
#1820 = CARTESIAN_POINT ('', (14., 17.5, 25.));
#1830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1810, #1820), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1840 = EDGE_CURVE ('', #1780, #1800, #1830, .T.);
#1850 = ORIENTED_EDGE ('', *, *, #1840, .F.);
#1860 = CARTESIAN_POINT ('', (0., -12.5, 25.));
#1870 = VERTEX_POINT ('', #1860);
#1880 = CARTESIAN_POINT ('', (0., -12.5, 25.));
#1890 = CARTESIAN_POINT ('', (14., -12.5, 25.));
#1900 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1880, #1890), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.7), .UNSPECIFIED.);
#1910 = EDGE_CURVE ('', #1870, #1780, #1900, .T.);
#1920 = ORIENTED_EDGE ('', *, *, #1910, .F.);
#1930 = CARTESIAN_POINT ('', (0., -12.5, 25.));
#1940 = CARTESIAN_POINT ('', (-130., -12.5, 25.));
#1950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1930, #1940), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1960 = EDGE_CURVE ('', #1870, #740, #1950, .T.);
#1970 = ORIENTED_EDGE ('', *, *, #1960, .T.);
#1980 = ORIENTED_EDGE ('', *, *, #780, .T.);
#1990 = ORIENTED_EDGE ('', *, *, #430, .F.);
#2000 = ORIENTED_EDGE ('', *, *, #270, .T.);
#2010 = ORIENTED_EDGE ('', *, *, #1260, .T.);
#2020 = CARTESIAN_POINT ('', (20., 17.5, 25.));
#2030 = VERTEX_POINT ('', #2020);
#2040 = CARTESIAN_POINT ('', (20., 17.5, 25.));
#2050 = CARTESIAN_POINT ('', (20., 22.5, 25.));
#2060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2040, #2050), .UNSPECIFIED., .F., .U., (2, 2), (0.857142857142857, 1.), .UNSPECIFIED.);
#2070 = EDGE_CURVE ('', #2030, #1170, #2060, .T.);
#2080 = ORIENTED_EDGE ('', *, *, #2070, .F.);
#2090 = CARTESIAN_POINT ('', (14., 17.5, 25.));
#2100 = CARTESIAN_POINT ('', (20., 17.5, 25.));
#2110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2090, #2100), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2120 = EDGE_CURVE ('', #1800, #2030, #2110, .T.);
#2130 = ORIENTED_EDGE ('', *, *, #2120, .F.);
#2140 = EDGE_LOOP ('', (#1850, #1920, #1970, #1980, #1990, #2000, #2010, #2080, #2130));
#2150 = FACE_OUTER_BOUND ('', #2140, .F.);
#2160 = CARTESIAN_POINT ('', (7., -8.6, 25.));
#2170 = VERTEX_POINT ('', #2160);
#2180 = CARTESIAN_POINT ('', (7., -8.6, 25.));
#2190 = CARTESIAN_POINT ('', (9.1, -8.6, 25.));
#2200 = CARTESIAN_POINT ('', (9.1, -6.5, 25.));
#2210 = CARTESIAN_POINT ('', (9.1, -4.4, 25.));
#2220 = CARTESIAN_POINT ('', (7., -4.4, 25.));
#2230 = CARTESIAN_POINT ('', (4.9, -4.4, 25.));
#2240 = CARTESIAN_POINT ('', (4.9, -6.5, 25.));
#2250 = CARTESIAN_POINT ('', (4.9, -8.6, 25.));
#2260 = CARTESIAN_POINT ('', (7., -8.6, 25.));
#2270 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2180, #2190, #2200, #2210, #2220, #2230, #2240, #2250, #2260), .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 ('')
);
#2280 = EDGE_CURVE ('', #2170, #2170, #2270, .T.);
#2290 = ORIENTED_EDGE ('', *, *, #2280, .T.);
#2300 = EDGE_LOOP ('', (#2290));
#2310 = FACE_BOUND ('', #2300, .F.);
#2320 = CARTESIAN_POINT ('', (-130., -12.5, 25.));
#2330 = CARTESIAN_POINT ('', (20., -12.5, 25.));
#2340 = CARTESIAN_POINT ('', (-130., 22.5, 25.));
#2350 = CARTESIAN_POINT ('', (20., 22.5, 25.));
#2360 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2320, #2330), (#2340, #2350)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-5.07530525542929E-17, 1.), (-6.5, 1.), .UNSPECIFIED.);
#2370 = ADVANCED_FACE ('', (#2150, #2310), #2360, .F.);
#2380 = CARTESIAN_POINT ('', (14., 17.5, -2.91182E-15));
#2390 = VERTEX_POINT ('', #2380);
#2400 = CARTESIAN_POINT ('', (14., -12.5, 0.));
#2410 = VERTEX_POINT ('', #2400);
#2420 = CARTESIAN_POINT ('', (14., 17.5, -2.91182E-15));
#2430 = CARTESIAN_POINT ('', (14., -12.5, 4.3396E-16));
#2440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2420, #2430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2450 = EDGE_CURVE ('', #2390, #2410, #2440, .T.);
#2460 = ORIENTED_EDGE ('', *, *, #2450, .F.);
#2470 = CARTESIAN_POINT ('', (20., 17.5, -2.91182E-15));
#2480 = VERTEX_POINT ('', #2470);
#2490 = CARTESIAN_POINT ('', (20., 17.5, -2.91182E-15));
#2500 = CARTESIAN_POINT ('', (14., 17.5, -2.91182E-15));
#2510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2490, #2500), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2520 = EDGE_CURVE ('', #2480, #2390, #2510, .T.);
#2530 = ORIENTED_EDGE ('', *, *, #2520, .F.);
#2540 = CARTESIAN_POINT ('', (20., 17.5, -2.91182E-15));
#2550 = CARTESIAN_POINT ('', (20., 22.5, -3.46945E-15));
#2560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2540, #2550), .UNSPECIFIED., .F., .U., (2, 2), (0.857142857142857, 1.), .UNSPECIFIED.);
#2570 = EDGE_CURVE ('', #2480, #1300, #2560, .T.);
#2580 = ORIENTED_EDGE ('', *, *, #2570, .T.);
#2590 = ORIENTED_EDGE ('', *, *, #1340, .F.);
#2600 = ORIENTED_EDGE ('', *, *, #150, .F.);
#2610 = ORIENTED_EDGE ('', *, *, #550, .T.);
#2620 = ORIENTED_EDGE ('', *, *, #700, .F.);
#2630 = CARTESIAN_POINT ('', (0., -12.5, 0.));
#2640 = VERTEX_POINT ('', #2630);
#2650 = CARTESIAN_POINT ('', (0., -12.5, 2.75545529808155E-16));
#2660 = CARTESIAN_POINT ('', (-130., -12.5, 2.75545529808155E-16));
#2670 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2650, #2660), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2680 = EDGE_CURVE ('', #2640, #660, #2670, .T.);
#2690 = ORIENTED_EDGE ('', *, *, #2680, .F.);
#2700 = CARTESIAN_POINT ('', (0., -12.5, 0.));
#2710 = CARTESIAN_POINT ('', (14., -12.5, 0.));
#2720 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2700, #2710), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.7), .UNSPECIFIED.);
#2730 = EDGE_CURVE ('', #2640, #2410, #2720, .T.);
#2740 = ORIENTED_EDGE ('', *, *, #2730, .T.);
#2750 = EDGE_LOOP ('', (#2460, #2530, #2580, #2590, #2600, #2610, #2620, #2690, #2740));
#2760 = FACE_OUTER_BOUND ('', #2750, .F.);
#2770 = CARTESIAN_POINT ('', (-130., -12.5, 4.3396E-16));
#2780 = CARTESIAN_POINT ('', (-130., 22.5, -3.46945E-15));
#2790 = CARTESIAN_POINT ('', (20., -12.5, 4.3396E-16));
#2800 = CARTESIAN_POINT ('', (20., 22.5, -3.46945E-15));
#2810 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2770, #2780), (#2790, #2800)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-6.5, 1.), (-5.07530525542929E-17, 1.), .UNSPECIFIED.);
#2820 = ADVANCED_FACE ('', (#2760), #2810, .F.);
#2830 = CARTESIAN_POINT ('', (14., -12.5, 17.01));
#2840 = VERTEX_POINT ('', #2830);
#2850 = CARTESIAN_POINT ('', (14., -12.5, 17.01));
#2860 = CARTESIAN_POINT ('', (14., -12.5, 25.));
#2870 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2850, #2860), .UNSPECIFIED., .F., .U., (2, 2), (0.6804, 1.), .UNSPECIFIED.);
#2880 = EDGE_CURVE ('', #2840, #1780, #2870, .T.);
#2890 = ORIENTED_EDGE ('', *, *, #2880, .F.);
#2900 = CARTESIAN_POINT ('', (11., -12.5, 17.01));
#2910 = CARTESIAN_POINT ('', (14., -12.5, 17.01));
#2920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2900, #2910), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.333333333333333), .UNSPECIFIED.);
#2930 = EDGE_CURVE ('', #1520, #2840, #2920, .T.);
#2940 = ORIENTED_EDGE ('', *, *, #2930, .F.);
#2950 = ORIENTED_EDGE ('', *, *, #1560, .F.);
#2960 = CARTESIAN_POINT ('', (14., -12.5, 10.));
#2970 = VERTEX_POINT ('', #2960);
#2980 = CARTESIAN_POINT ('', (14., -12.5, 10.));
#2990 = CARTESIAN_POINT ('', (11., -12.5, 10.));
#3000 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2980, #2990), .UNSPECIFIED., .F., .U., (2, 2), (0.666666666666667, 1.), .UNSPECIFIED.);
#3010 = EDGE_CURVE ('', #2970, #1500, #3000, .T.);
#3020 = ORIENTED_EDGE ('', *, *, #3010, .F.);
#3030 = CARTESIAN_POINT ('', (14., -12.5, 2.44249065417534E-15));
#3040 = CARTESIAN_POINT ('', (14., -12.5, 10.));
#3050 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3030, #3040), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.4), .UNSPECIFIED.);
#3060 = EDGE_CURVE ('', #2410, #2970, #3050, .T.);
#3070 = ORIENTED_EDGE ('', *, *, #3060, .F.);
#3080 = ORIENTED_EDGE ('', *, *, #2730, .F.);
#3090 = ORIENTED_EDGE ('', *, *, #2680, .T.);
#3100 = ORIENTED_EDGE ('', *, *, #830, .T.);
#3110 = ORIENTED_EDGE ('', *, *, #1960, .F.);
#3120 = ORIENTED_EDGE ('', *, *, #1910, .T.);
#3130 = EDGE_LOOP ('', (#2890, #2940, #2950, #3020, #3070, #3080, #3090, #3100, #3110, #3120));
#3140 = FACE_OUTER_BOUND ('', #3130, .F.);
#3150 = CARTESIAN_POINT ('', (-130., -12.5, 25.));
#3160 = CARTESIAN_POINT ('', (-130., -12.5, 0.));
#3170 = CARTESIAN_POINT ('', (14., -12.5, 25.));
#3180 = CARTESIAN_POINT ('', (14., -12.5, 0.));
#3190 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3150, #3160), (#3170, #3180)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-6.5, 0.7), (0., 1.), .UNSPECIFIED.);
#3200 = ADVANCED_FACE ('', (#3140), #3190, .F.);
#3210 = CARTESIAN_POINT ('', (14., 17.5, 17.01));
#3220 = VERTEX_POINT ('', #3210);
#3230 = CARTESIAN_POINT ('', (14., 17.5, 17.01));
#3240 = CARTESIAN_POINT ('', (14., -12.5, 17.01));
#3250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3230, #3240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3260 = EDGE_CURVE ('', #3220, #2840, #3250, .T.);
#3270 = ORIENTED_EDGE ('', *, *, #3260, .F.);
#3280 = CARTESIAN_POINT ('', (20., 17.5, 17.01));
#3290 = VERTEX_POINT ('', #3280);
#3300 = CARTESIAN_POINT ('', (20., 17.5, 17.01));
#3310 = CARTESIAN_POINT ('', (14., 17.5, 17.01));
#3320 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3300, #3310), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3330 = EDGE_CURVE ('', #3290, #3220, #3320, .T.);
#3340 = ORIENTED_EDGE ('', *, *, #3330, .F.);
#3350 = CARTESIAN_POINT ('', (20., 17.5, 17.01));
#3360 = CARTESIAN_POINT ('', (20., 22.5, 17.01));
#3370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3350, #3360), .UNSPECIFIED., .F., .U., (2, 2), (0.857142857142857, 1.), .UNSPECIFIED.);
#3380 = EDGE_CURVE ('', #3290, #1100, #3370, .T.);
#3390 = ORIENTED_EDGE ('', *, *, #3380, .T.);
#3400 = ORIENTED_EDGE ('', *, *, #1140, .T.);
#3410 = ORIENTED_EDGE ('', *, *, #1610, .F.);
#3420 = ORIENTED_EDGE ('', *, *, #2930, .T.);
#3430 = EDGE_LOOP ('', (#3270, #3340, #3390, #3400, #3410, #3420));
#3440 = FACE_OUTER_BOUND ('', #3430, .F.);
#3450 = CARTESIAN_POINT ('', (20., -12.5, 17.01));
#3460 = CARTESIAN_POINT ('', (11., -12.5, 17.01));
#3470 = CARTESIAN_POINT ('', (20., 22.5, 17.01));
#3480 = CARTESIAN_POINT ('', (11., 22.5, 17.01));
#3490 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3450, #3460), (#3470, #3480)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#3500 = ADVANCED_FACE ('', (#3440), #3490, .F.);
#3510 = CARTESIAN_POINT ('', (14., 17.5, 10.));
#3520 = VERTEX_POINT ('', #3510);
#3530 = CARTESIAN_POINT ('', (14., -12.5, 10.));
#3540 = CARTESIAN_POINT ('', (14., 17.5, 10.));
#3550 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3530, #3540), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3560 = EDGE_CURVE ('', #2970, #3520, #3550, .T.);
#3570 = ORIENTED_EDGE ('', *, *, #3560, .F.);
#3580 = ORIENTED_EDGE ('', *, *, #3010, .T.);
#3590 = ORIENTED_EDGE ('', *, *, #1670, .T.);
#3600 = ORIENTED_EDGE ('', *, *, #1000, .T.);
#3610 = CARTESIAN_POINT ('', (20., 17.5, 10.));
#3620 = VERTEX_POINT ('', #3610);
#3630 = CARTESIAN_POINT ('', (20., 22.5, 10.));
#3640 = CARTESIAN_POINT ('', (20., 17.5, 10.));
#3650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3630, #3640), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.142857142857143), .UNSPECIFIED.);
#3660 = EDGE_CURVE ('', #960, #3620, #3650, .T.);
#3670 = ORIENTED_EDGE ('', *, *, #3660, .T.);
#3680 = CARTESIAN_POINT ('', (14., 17.5, 10.));
#3690 = CARTESIAN_POINT ('', (20., 17.5, 10.));
#3700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3680, #3690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3710 = EDGE_CURVE ('', #3520, #3620, #3700, .T.);
#3720 = ORIENTED_EDGE ('', *, *, #3710, .F.);
#3730 = EDGE_LOOP ('', (#3570, #3580, #3590, #3600, #3670, #3720));
#3740 = FACE_OUTER_BOUND ('', #3730, .F.);
#3750 = CARTESIAN_POINT ('', (20., -12.5, 10.));
#3760 = CARTESIAN_POINT ('', (20., 22.5, 10.));
#3770 = CARTESIAN_POINT ('', (11., -12.5, 10.));
#3780 = CARTESIAN_POINT ('', (11., 22.5, 10.));
#3790 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3750, #3760), (#3770, #3780)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#3800 = ADVANCED_FACE ('', (#3740), #3790, .F.);
#3810 = ORIENTED_EDGE ('', *, *, #2280, .F.);
#3820 = CARTESIAN_POINT ('', (7., -8.6, 20.));
#3830 = VERTEX_POINT ('', #3820);
#3840 = CARTESIAN_POINT ('', (7., -8.6, 25.));
#3850 = CARTESIAN_POINT ('', (7., -8.6, 20.));
#3860 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#3840, #3850), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((2, 2), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1.))
   REPRESENTATION_ITEM ('')
);
#3870 = EDGE_CURVE ('', #2170, #3830, #3860, .T.);
#3880 = ORIENTED_EDGE ('', *, *, #3870, .T.);
#3890 = CARTESIAN_POINT ('', (7., -8.6, 20.));
#3900 = CARTESIAN_POINT ('', (9.1, -8.6, 20.));
#3910 = CARTESIAN_POINT ('', (9.1, -6.5, 20.));
#3920 = CARTESIAN_POINT ('', (9.1, -4.4, 20.));
#3930 = CARTESIAN_POINT ('', (7., -4.4, 20.));
#3940 = CARTESIAN_POINT ('', (4.9, -4.4, 20.));
#3950 = CARTESIAN_POINT ('', (4.9, -6.5, 20.));
#3960 = CARTESIAN_POINT ('', (4.9, -8.6, 20.));
#3970 = CARTESIAN_POINT ('', (7., -8.6, 20.));
#3980 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3890, #3900, #3910, #3920, #3930, #3940, #3950, #3960, #3970), .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 ('')
);
#3990 = EDGE_CURVE ('', #3830, #3830, #3980, .T.);
#4000 = ORIENTED_EDGE ('', *, *, #3990, .T.);
#4010 = ORIENTED_EDGE ('', *, *, #3870, .F.);
#4020 = EDGE_LOOP ('', (#3810, #3880, #4000, #4010));
#4030 = FACE_OUTER_BOUND ('', #4020, .F.);
#4040 = CARTESIAN_POINT ('', (7., -8.6, 25.));
#4050 = CARTESIAN_POINT ('', (9.1, -8.6, 25.));
#4060 = CARTESIAN_POINT ('', (9.1, -6.5, 25.));
#4070 = CARTESIAN_POINT ('', (9.1, -4.4, 25.));
#4080 = CARTESIAN_POINT ('', (7., -4.4, 25.));
#4090 = CARTESIAN_POINT ('', (4.9, -4.4, 25.));
#4100 = CARTESIAN_POINT ('', (4.9, -6.5, 25.));
#4110 = CARTESIAN_POINT ('', (4.9, -8.6, 25.));
#4120 = CARTESIAN_POINT ('', (7., -8.6, 25.));
#4130 = CARTESIAN_POINT ('', (7., -8.6, 20.));
#4140 = CARTESIAN_POINT ('', (9.1, -8.6, 20.));
#4150 = CARTESIAN_POINT ('', (9.1, -6.5, 20.));
#4160 = CARTESIAN_POINT ('', (9.1, -4.4, 20.));
#4170 = CARTESIAN_POINT ('', (7., -4.4, 20.));
#4180 = CARTESIAN_POINT ('', (4.9, -4.4, 20.));
#4190 = CARTESIAN_POINT ('', (4.9, -6.5, 20.));
#4200 = CARTESIAN_POINT ('', (4.9, -8.6, 20.));
#4210 = CARTESIAN_POINT ('', (7., -8.6, 20.));
#4220 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#4040, #4050, #4060, #4070, #4080, #4090, #4100, #4110, #4120), (#4130, #4140, #4150, #4160, #4170, #4180, #4190, #4200, #4210)), .UNSPECIFIED., .F., .T., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 2, 2, 3), (0., 1.), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.)))
   REPRESENTATION_ITEM ('')
);
#4230 = ADVANCED_FACE ('', (#4030), #4220, .F.);
#4240 = ORIENTED_EDGE ('', *, *, #3990, .F.);
#4250 = EDGE_LOOP ('', (#4240));
#4260 = FACE_OUTER_BOUND ('', #4250, .F.);
#4270 = CARTESIAN_POINT ('', (4.9, -4.4, 20.));
#4280 = CARTESIAN_POINT ('', (4.9, -8.6, 20.));
#4290 = CARTESIAN_POINT ('', (9.1, -4.4, 20.));
#4300 = CARTESIAN_POINT ('', (9.1, -8.6, 20.));
#4310 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4270, #4280), (#4290, #4300)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.178587826733387, 0.821412173266612), (0.178587826733387, 0.821412173266613), .UNSPECIFIED.);
#4320 = ADVANCED_FACE ('', (#4260), #4310, .F.);
#4330 = CARTESIAN_POINT ('', (20., 17.5, 25.));
#4340 = CARTESIAN_POINT ('', (20., 17.5, 17.01));
#4350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4330, #4340), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.3196), .UNSPECIFIED.);
#4360 = EDGE_CURVE ('', #2030, #3290, #4350, .T.);
#4370 = ORIENTED_EDGE ('', *, *, #4360, .F.);
#4380 = ORIENTED_EDGE ('', *, *, #2070, .T.);
#4390 = ORIENTED_EDGE ('', *, *, #1210, .T.);
#4400 = ORIENTED_EDGE ('', *, *, #3380, .F.);
#4410 = EDGE_LOOP ('', (#4370, #4380, #4390, #4400));
#4420 = FACE_OUTER_BOUND ('', #4410, .F.);
#4430 = CARTESIAN_POINT ('', (20., 22.5, 25.));
#4440 = CARTESIAN_POINT ('', (20., 17.5, 25.));
#4450 = CARTESIAN_POINT ('', (20., 22.5, 0.));
#4460 = CARTESIAN_POINT ('', (20., 17.5, 0.));
#4470 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4430, #4440), (#4450, #4460)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.235800821036774, 0.764199178963226), (0.130121149451484, 0.235800821036774), .UNSPECIFIED.);
#4480 = ADVANCED_FACE ('', (#4420), #4470, .F.);
#4490 = CARTESIAN_POINT ('', (20., 17.5, 10.));
#4500 = CARTESIAN_POINT ('', (20., 17.5, 0.));
#4510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4490, #4500), .UNSPECIFIED., .F., .U., (2, 2), (0.6, 1.), .UNSPECIFIED.);
#4520 = EDGE_CURVE ('', #3620, #2480, #4510, .T.);
#4530 = ORIENTED_EDGE ('', *, *, #4520, .F.);
#4540 = ORIENTED_EDGE ('', *, *, #3660, .F.);
#4550 = ORIENTED_EDGE ('', *, *, #1390, .T.);
#4560 = ORIENTED_EDGE ('', *, *, #2570, .F.);
#4570 = EDGE_LOOP ('', (#4530, #4540, #4550, #4560));
#4580 = FACE_OUTER_BOUND ('', #4570, .F.);
#4590 = CARTESIAN_POINT ('', (20., 22.5, 25.));
#4600 = CARTESIAN_POINT ('', (20., 17.5, 25.));
#4610 = CARTESIAN_POINT ('', (20., 22.5, 0.));
#4620 = CARTESIAN_POINT ('', (20., 17.5, 0.));
#4630 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4590, #4600), (#4610, #4620)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.235800821036774, 0.764199178963226), (0.130121149451484, 0.235800821036774), .UNSPECIFIED.);
#4640 = ADVANCED_FACE ('', (#4580), #4630, .F.);
#4650 = ORIENTED_EDGE ('', *, *, #3330, .T.);
#4660 = CARTESIAN_POINT ('', (14., 17.5, 25.));
#4670 = CARTESIAN_POINT ('', (14., 17.5, 17.01));
#4680 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4660, #4670), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.3196), .UNSPECIFIED.);
#4690 = EDGE_CURVE ('', #1800, #3220, #4680, .T.);
#4700 = ORIENTED_EDGE ('', *, *, #4690, .F.);
#4710 = ORIENTED_EDGE ('', *, *, #2120, .T.);
#4720 = ORIENTED_EDGE ('', *, *, #4360, .T.);
#4730 = EDGE_LOOP ('', (#4650, #4700, #4710, #4720));
#4740 = FACE_OUTER_BOUND ('', #4730, .F.);
#4750 = CARTESIAN_POINT ('', (20., 17.5, 25.));
#4760 = CARTESIAN_POINT ('', (14., 17.5, 25.));
#4770 = CARTESIAN_POINT ('', (20., 17.5, 0.));
#4780 = CARTESIAN_POINT ('', (14., 17.5, 0.));
#4790 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4750, #4760), (#4770, #4780)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#4800 = ADVANCED_FACE ('', (#4740), #4790, .F.);
#4810 = ORIENTED_EDGE ('', *, *, #3710, .T.);
#4820 = ORIENTED_EDGE ('', *, *, #4520, .T.);
#4830 = ORIENTED_EDGE ('', *, *, #2520, .T.);
#4840 = CARTESIAN_POINT ('', (14., 17.5, 10.));
#4850 = CARTESIAN_POINT ('', (14., 17.5, 0.));
#4860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4840, #4850), .UNSPECIFIED., .F., .U., (2, 2), (0.6, 1.), .UNSPECIFIED.);
#4870 = EDGE_CURVE ('', #3520, #2390, #4860, .T.);
#4880 = ORIENTED_EDGE ('', *, *, #4870, .F.);
#4890 = EDGE_LOOP ('', (#4810, #4820, #4830, #4880));
#4900 = FACE_OUTER_BOUND ('', #4890, .F.);
#4910 = CARTESIAN_POINT ('', (20., 17.5, 25.));
#4920 = CARTESIAN_POINT ('', (14., 17.5, 25.));
#4930 = CARTESIAN_POINT ('', (20., 17.5, 0.));
#4940 = CARTESIAN_POINT ('', (14., 17.5, 0.));
#4950 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4910, #4920), (#4930, #4940)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#4960 = ADVANCED_FACE ('', (#4900), #4950, .F.);
#4970 = ORIENTED_EDGE ('', *, *, #3260, .T.);
#4980 = ORIENTED_EDGE ('', *, *, #2880, .T.);
#4990 = ORIENTED_EDGE ('', *, *, #1840, .T.);
#5000 = ORIENTED_EDGE ('', *, *, #4690, .T.);
#5010 = EDGE_LOOP ('', (#4970, #4980, #4990, #5000));
#5020 = FACE_OUTER_BOUND ('', #5010, .F.);
#5030 = CARTESIAN_POINT ('', (14., -12.5, 25.));
#5040 = CARTESIAN_POINT ('', (14., -12.5, 0.));
#5050 = CARTESIAN_POINT ('', (14., 17.5, 25.));
#5060 = CARTESIAN_POINT ('', (14., 17.5, 0.));
#5070 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5030, #5040), (#5050, #5060)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#5080 = ADVANCED_FACE ('', (#5020), #5070, .F.);
#5090 = ORIENTED_EDGE ('', *, *, #3560, .T.);
#5100 = ORIENTED_EDGE ('', *, *, #4870, .T.);
#5110 = ORIENTED_EDGE ('', *, *, #2450, .T.);
#5120 = ORIENTED_EDGE ('', *, *, #3060, .T.);
#5130 = EDGE_LOOP ('', (#5090, #5100, #5110, #5120));
#5140 = FACE_OUTER_BOUND ('', #5130, .F.);
#5150 = CARTESIAN_POINT ('', (14., -12.5, 25.));
#5160 = CARTESIAN_POINT ('', (14., -12.5, 0.));
#5170 = CARTESIAN_POINT ('', (14., 17.5, 25.));
#5180 = CARTESIAN_POINT ('', (14., 17.5, 0.));
#5190 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5150, #5160), (#5170, #5180)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#5200 = ADVANCED_FACE ('', (#5140), #5190, .F.);
#5210 = CLOSED_SHELL ('', (#360, #640, #920, #1480, #1760, #2370, #2820, #3200, #3500, #3800, #4230, #4320, #4480, #4640, #4800, #4960, #5080, #5200));
#5220 = MANIFOLD_SOLID_BREP ('', #5210);
#5230 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#5240 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#5250 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#5260 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #5230, 'DISTANCE_ACCURACY_VALUE', '');
#5270 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#5260))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#5230, #5240, #5250))
   REPRESENTATION_CONTEXT ('', '3D')
);
#5280 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#5290 = FILL_AREA_STYLE_COLOUR ('', #5280);
#5300 = FILL_AREA_STYLE ('', (#5290));
#5310 = SURFACE_STYLE_FILL_AREA (#5300);
#5320 = SURFACE_SIDE_STYLE ('', (#5310));
#5330 = SURFACE_STYLE_USAGE (.POSITIVE., #5320);
#5340 = PRESENTATION_STYLE_ASSIGNMENT ((#5330));
#5350 = STYLED_ITEM ('', (#5340), #5220);
#5360 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#5220), #5270);
#5370 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#5380 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #5370);
#5390 = MECHANICAL_CONTEXT ('', #5370, 'mechanical');
#5400 = PRODUCT ('product-name', '', '', (#5390));
#5410 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#5420 = PERSON ('', '', $, $, $, $);
#5430 = ORGANIZATION ($, '', '');
#5440 = PERSON_AND_ORGANIZATION (#5420, #5430);
#5450 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#5440, #5410, (#5400));
#5460 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#5400));
#5470 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #5400, .NOT_KNOWN.);
#5480 = APPROVAL_STATUS ('approved');
#5490 = APPROVAL (#5480, '');
#5500 = CALENDAR_DATE (2010, 8, 12);
#5510 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#5520 = LOCAL_TIME (10, 45, 29., #5510);
#5530 = DATE_AND_TIME (#5500, #5520);
#5540 = APPROVAL_DATE_TIME (#5530, #5490);
#5550 = APPROVAL_ROLE ('');
#5560 = PERSON ('', '', $, $, $, $);
#5570 = ORGANIZATION ($, '', '');
#5580 = PERSON_AND_ORGANIZATION (#5560, #5570);
#5590 = APPROVAL_PERSON_ORGANIZATION (#5580, #5490, #5550);
#5600 = CC_DESIGN_APPROVAL (#5490, (#5470));
#5610 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#5620 = PERSON ('', '', $, $, $, $);
#5630 = ORGANIZATION ($, '', '');
#5640 = PERSON_AND_ORGANIZATION (#5620, #5630);
#5650 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#5640, #5610, (#5470));
#5660 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#5670 = PERSON ('', '', $, $, $, $);
#5680 = ORGANIZATION ($, '', '');
#5690 = PERSON_AND_ORGANIZATION (#5670, #5680);
#5700 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#5690, #5660, (#5470));
#5710 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#5720 = SECURITY_CLASSIFICATION ('', '', #5710);
#5730 = APPROVAL_STATUS ('approved');
#5740 = APPROVAL (#5730, '');
#5750 = CALENDAR_DATE (2010, 8, 12);
#5760 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#5770 = LOCAL_TIME (10, 45, 29., #5760);
#5780 = DATE_AND_TIME (#5750, #5770);
#5790 = APPROVAL_DATE_TIME (#5780, #5740);
#5800 = APPROVAL_ROLE ('');
#5810 = PERSON ('', '', $, $, $, $);
#5820 = ORGANIZATION ($, '', '');
#5830 = PERSON_AND_ORGANIZATION (#5810, #5820);
#5840 = APPROVAL_PERSON_ORGANIZATION (#5830, #5740, #5800);
#5850 = CC_DESIGN_APPROVAL (#5740, (#5720));
#5860 = DATE_TIME_ROLE ('classification_date');
#5870 = CALENDAR_DATE (2010, 8, 12);
#5880 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#5890 = LOCAL_TIME (10, 45, 29., #5880);
#5900 = DATE_AND_TIME (#5870, #5890);
#5910 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#5900, #5860, (#5720));
#5920 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#5930 = PERSON ('', '', $, $, $, $);
#5940 = ORGANIZATION ($, '', '');
#5950 = PERSON_AND_ORGANIZATION (#5930, #5940);
#5960 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#5950, #5920, (#5720));
#5970 = CC_DESIGN_SECURITY_CLASSIFICATION (#5720, (#5470));
#5980 = DESIGN_CONTEXT ('', #5370, 'design');
#5990 = PRODUCT_DEFINITION ('', '', #5470, #5980);
#6000 = APPROVAL_STATUS ('approved');
#6010 = APPROVAL (#6000, '');
#6020 = CALENDAR_DATE (2010, 8, 12);
#6030 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#6040 = LOCAL_TIME (10, 45, 29., #6030);
#6050 = DATE_AND_TIME (#6020, #6040);
#6060 = APPROVAL_DATE_TIME (#6050, #6010);
#6070 = APPROVAL_ROLE ('');
#6080 = PERSON ('', '', $, $, $, $);
#6090 = ORGANIZATION ($, '', '');
#6100 = PERSON_AND_ORGANIZATION (#6080, #6090);
#6110 = APPROVAL_PERSON_ORGANIZATION (#6100, #6010, #6070);
#6120 = CC_DESIGN_APPROVAL (#6010, (#5990));
#6130 = DATE_TIME_ROLE ('creation_date');
#6140 = CALENDAR_DATE (2010, 8, 12);
#6150 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#6160 = LOCAL_TIME (10, 45, 29., #6150);
#6170 = DATE_AND_TIME (#6140, #6160);
#6180 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#6170, #6130, (#5990));
#6190 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#6200 = PERSON ('', '', $, $, $, $);
#6210 = ORGANIZATION ($, '', '');
#6220 = PERSON_AND_ORGANIZATION (#6200, #6210);
#6230 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#6220, #6190, (#5990));
#6240 = PRODUCT_DEFINITION_SHAPE ('', '', #5990);
#6250 = SHAPE_DEFINITION_REPRESENTATION (#6240, #5360);
ENDSEC;
END-ISO-10303-21;