ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('C:\\TDMTemp\\Tools\\SMLIB\\inserts\\I02\\step\\52504 AM5035.stp', '2011-08-25T15:04:33', ('Unknown'), ('Unknown'), 'HarmonyWare STEP v1.4.7', 'HarmonyWare Translators', '');
FILE_SCHEMA (('CONFIG_CONTROL_DESIGN'));
ENDSEC;

DATA;
#10 = CARTESIAN_POINT ('', (-23.086040201319, 2.44975633080764, -0.0523183575024024));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (-23.3615554934028, 2.35263628974531, -0.976353823978476));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (-23.086040201319, 2.44975633080764, -0.0523183575023851));
#60 = CARTESIAN_POINT ('', (-23.2428456389361, 2.45523209734972, -0.000219918954799692));
#70 = CARTESIAN_POINT ('', (-23.3615554934028, 2.3526362897453, -0.976353823978503));
#80 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#50, #60, #70), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.930942920387051, 1.))
   REPRESENTATION_ITEM ('')
);
#90 = EDGE_CURVE ('', #20, #40, #80, .T.);
#100 = ORIENTED_EDGE ('', *, *, #90, .T.);
#110 = CARTESIAN_POINT ('', (-23.5, 2.05, -0.0499999999999917));
#120 = VERTEX_POINT ('', #110);
#130 = CARTESIAN_POINT ('', (-23.3615554934028, 2.35263628974531, -0.976353823978476));
#140 = CARTESIAN_POINT ('', (-23.3699152172888, 2.34541134092126, -0.920417605348183));
#150 = CARTESIAN_POINT ('', (-23.3778633481836, 2.33773592013546, -0.867235419728506));
#160 = CARTESIAN_POINT ('', (-23.5, 2.21978992648384, -0.0499999999999932));
#170 = CARTESIAN_POINT ('', (-23.5, 2.05, -0.0499999999999918));
#180 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#130, #140, #150, #160, #170), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0.464849700040408, 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.98960864476236, 0.994411443507043, 1., 0.920504853452441, 1.))
   REPRESENTATION_ITEM ('')
);
#190 = EDGE_CURVE ('', #40, #120, #180, .T.);
#200 = ORIENTED_EDGE ('', *, *, #190, .T.);
#210 = CARTESIAN_POINT ('', (-23.5, 2.05, 0.));
#220 = VERTEX_POINT ('', #210);
#230 = CARTESIAN_POINT ('', (-23.5, 2.05, 0.));
#240 = CARTESIAN_POINT ('', (-23.5, 2.05, -0.0499999999999917));
#250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#230, #240), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.00999999999999834), .UNSPECIFIED.);
#260 = EDGE_CURVE ('', #220, #120, #250, .T.);
#270 = ORIENTED_EDGE ('', *, *, #260, .F.);
#280 = CARTESIAN_POINT ('', (-23.086040201319, 2.44975633080764, 0.));
#290 = VERTEX_POINT ('', #280);
#300 = CARTESIAN_POINT ('', (-23.086040201319, 2.44975633080764, 0.));
#310 = CARTESIAN_POINT ('', (-23.2557266963672, 2.45568191378708, 0.));
#320 = CARTESIAN_POINT ('', (-23.3778633481836, 2.33773592013546, 0.));
#330 = CARTESIAN_POINT ('', (-23.5, 2.21978992648384, 0.));
#340 = CARTESIAN_POINT ('', (-23.5, 2.05, 0.));
#350 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#300, #310, #320, #330, #340), .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.92050485345244, 1., 0.92050485345244, 1.))
   REPRESENTATION_ITEM ('')
);
#360 = EDGE_CURVE ('', #290, #220, #350, .T.);
#370 = ORIENTED_EDGE ('', *, *, #360, .F.);
#380 = CARTESIAN_POINT ('', (-23.086040201319, 2.44975633080764, 0.));
#390 = CARTESIAN_POINT ('', (-23.086040201319, 2.44975633080764, -0.0523183575024024));
#400 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#380, #390), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0104636715004805), .UNSPECIFIED.);
#410 = EDGE_CURVE ('', #290, #20, #400, .T.);
#420 = ORIENTED_EDGE ('', *, *, #410, .T.);
#430 = EDGE_LOOP ('', (#100, #200, #270, #370, #420));
#440 = FACE_OUTER_BOUND ('', #430, .T.);
#450 = CARTESIAN_POINT ('', (-23.086040201319, 2.44975633080764, 0.));
#460 = CARTESIAN_POINT ('', (-23.2557266963672, 2.45568191378708, 0.));
#470 = CARTESIAN_POINT ('', (-23.3778633481836, 2.33773592013546, 0.));
#480 = CARTESIAN_POINT ('', (-23.5, 2.21978992648384, 0.));
#490 = CARTESIAN_POINT ('', (-23.5, 2.05, 0.));
#500 = CARTESIAN_POINT ('', (-23.086040201319, 2.44975633080764, -0.976353836762776));
#510 = CARTESIAN_POINT ('', (-23.2557266963672, 2.45568191378708, -0.976353836762777));
#520 = CARTESIAN_POINT ('', (-23.3778633481836, 2.33773592013546, -0.976353836762776));
#530 = CARTESIAN_POINT ('', (-23.5, 2.21978992648384, -0.976353836762777));
#540 = CARTESIAN_POINT ('', (-23.5, 2.05, -0.976353836762776));
#550 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#450, #460, #470, #480, #490), (#500, #510, #520, #530, #540)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 3), (0., 0.195270767352555), (0., 0.5, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.92050485345244, 1., 0.92050485345244, 1.), (1., 0.92050485345244, 1., 0.92050485345244, 1.)))
   REPRESENTATION_ITEM ('')
);
#560 = ADVANCED_FACE ('', (#440), #550, .T.);
#570 = CARTESIAN_POINT ('', (0.961555493402822, 2.35263628974531, -0.976353823978481));
#580 = VERTEX_POINT ('', #570);
#590 = CARTESIAN_POINT ('', (0.686040201318999, 2.44975633080764, -0.0523183575024007));
#600 = VERTEX_POINT ('', #590);
#610 = CARTESIAN_POINT ('', (0.961555493402824, 2.35263628974531, -0.976353823978488));
#620 = CARTESIAN_POINT ('', (0.842845638936096, 2.45523209734972, -0.000219918954805076));
#630 = CARTESIAN_POINT ('', (0.686040201318997, 2.44975633080764, -0.0523183575023895));
#640 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#610, #620, #630), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.930942920387052, 1.))
   REPRESENTATION_ITEM ('')
);
#650 = EDGE_CURVE ('', #580, #600, #640, .T.);
#660 = ORIENTED_EDGE ('', *, *, #650, .T.);
#670 = CARTESIAN_POINT ('', (0.686040201318999, 2.44975633080764, 0.));
#680 = VERTEX_POINT ('', #670);
#690 = CARTESIAN_POINT ('', (0.686040201318999, 2.44975633080764, 0.));
#700 = CARTESIAN_POINT ('', (0.686040201318999, 2.44975633080764, -0.0523183575024007));
#710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#690, #700), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0104636715004801), .UNSPECIFIED.);
#720 = EDGE_CURVE ('', #680, #600, #710, .T.);
#730 = ORIENTED_EDGE ('', *, *, #720, .F.);
#740 = CARTESIAN_POINT ('', (1.1, 2.05, 0.));
#750 = VERTEX_POINT ('', #740);
#760 = CARTESIAN_POINT ('', (1.1, 2.05, 0.));
#770 = CARTESIAN_POINT ('', (1.1, 2.21978992648384, 0.));
#780 = CARTESIAN_POINT ('', (0.977863348183598, 2.33773592013546, 0.));
#790 = CARTESIAN_POINT ('', (0.855726696367197, 2.45568191378708, 0.));
#800 = CARTESIAN_POINT ('', (0.686040201318999, 2.44975633080764, 0.));
#810 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#760, #770, #780, #790, #800), .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.92050485345244, 1., 0.92050485345244, 1.))
   REPRESENTATION_ITEM ('')
);
#820 = EDGE_CURVE ('', #750, #680, #810, .T.);
#830 = ORIENTED_EDGE ('', *, *, #820, .F.);
#840 = CARTESIAN_POINT ('', (1.1, 2.05, -0.0500000000000028));
#850 = VERTEX_POINT ('', #840);
#860 = CARTESIAN_POINT ('', (1.1, 2.05, 0.));
#870 = CARTESIAN_POINT ('', (1.1, 2.05, -0.0500000000000028));
#880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#860, #870), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0100000000000006), .UNSPECIFIED.);
#890 = EDGE_CURVE ('', #750, #850, #880, .T.);
#900 = ORIENTED_EDGE ('', *, *, #890, .T.);
#910 = CARTESIAN_POINT ('', (1.1, 2.05, -0.0500000000000029));
#920 = CARTESIAN_POINT ('', (1.1, 2.21978992648384, -0.0500000000000029));
#930 = CARTESIAN_POINT ('', (0.977863348183598, 2.33773592013546, -0.867235419728516));
#940 = CARTESIAN_POINT ('', (0.969915217288803, 2.34541134092126, -0.920417605348191));
#950 = CARTESIAN_POINT ('', (0.961555493402822, 2.35263628974531, -0.976353823978481));
#960 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#910, #920, #930, #940, #950), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 0.535150299959591), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.920504853452441, 1., 0.994411443507043, 0.989608644762361))
   REPRESENTATION_ITEM ('')
);
#970 = EDGE_CURVE ('', #850, #580, #960, .T.);
#980 = ORIENTED_EDGE ('', *, *, #970, .T.);
#990 = EDGE_LOOP ('', (#660, #730, #830, #900, #980));
#1000 = FACE_OUTER_BOUND ('', #990, .T.);
#1010 = CARTESIAN_POINT ('', (1.1, 2.05, 0.));
#1020 = CARTESIAN_POINT ('', (1.1, 2.21978992648384, 0.));
#1030 = CARTESIAN_POINT ('', (0.977863348183598, 2.33773592013546, 0.));
#1040 = CARTESIAN_POINT ('', (0.855726696367197, 2.45568191378708, 0.));
#1050 = CARTESIAN_POINT ('', (0.686040201318999, 2.44975633080764, 0.));
#1060 = CARTESIAN_POINT ('', (1.1, 2.05, -0.976353836762745));
#1070 = CARTESIAN_POINT ('', (1.1, 2.21978992648384, -0.976353836762745));
#1080 = CARTESIAN_POINT ('', (0.977863348183598, 2.33773592013546, -0.976353836762745));
#1090 = CARTESIAN_POINT ('', (0.855726696367197, 2.45568191378708, -0.976353836762745));
#1100 = CARTESIAN_POINT ('', (0.686040201318999, 2.44975633080764, -0.976353836762745));
#1110 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#1010, #1020, #1030, #1040, #1050), (#1060, #1070, #1080, #1090, #1100)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 3), (0., 0.195270767352549), (0., 0.5, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.92050485345244, 1., 0.92050485345244, 1.), (1., 0.92050485345244, 1., 0.92050485345244, 1.)))
   REPRESENTATION_ITEM ('')
);
#1120 = ADVANCED_FACE ('', (#1000), #1110, .T.);
#1130 = CARTESIAN_POINT ('', (0.686040201318999, -2.44975633080764, -0.0523183575024016));
#1140 = VERTEX_POINT ('', #1130);
#1150 = CARTESIAN_POINT ('', (0.961555493402823, -2.35263628974531, -0.976353823978477));
#1160 = VERTEX_POINT ('', #1150);
#1170 = CARTESIAN_POINT ('', (0.686040201319, -2.44975633080764, -0.0523183575023958));
#1180 = CARTESIAN_POINT ('', (0.842845638936097, -2.45523209734972, -0.000219918954821082));
#1190 = CARTESIAN_POINT ('', (0.961555493402823, -2.35263628974531, -0.976353823978484));
#1200 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1170, #1180, #1190), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.930942920387054, 1.))
   REPRESENTATION_ITEM ('')
);
#1210 = EDGE_CURVE ('', #1140, #1160, #1200, .T.);
#1220 = ORIENTED_EDGE ('', *, *, #1210, .T.);
#1230 = CARTESIAN_POINT ('', (1.1, -2.05, -0.0500000000000016));
#1240 = VERTEX_POINT ('', #1230);
#1250 = CARTESIAN_POINT ('', (0.961555493402823, -2.35263628974531, -0.976353823978476));
#1260 = CARTESIAN_POINT ('', (0.969915217288803, -2.34541134092126, -0.920417605348188));
#1270 = CARTESIAN_POINT ('', (0.977863348183599, -2.33773592013546, -0.867235419728513));
#1280 = CARTESIAN_POINT ('', (1.1, -2.21978992648384, -0.0500000000000002));
#1290 = CARTESIAN_POINT ('', (1.1, -2.05, -0.0499999999999998));
#1300 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1250, #1260, #1270, #1280, #1290), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0.46484970004041, 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.989608644762361, 0.994411443507043, 1., 0.92050485345244, 1.))
   REPRESENTATION_ITEM ('')
);
#1310 = EDGE_CURVE ('', #1160, #1240, #1300, .T.);
#1320 = ORIENTED_EDGE ('', *, *, #1310, .T.);
#1330 = CARTESIAN_POINT ('', (1.1, -2.05, 0.));
#1340 = VERTEX_POINT ('', #1330);
#1350 = CARTESIAN_POINT ('', (1.1, -2.05, 0.));
#1360 = CARTESIAN_POINT ('', (1.1, -2.05, -0.0500000000000016));
#1370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1350, #1360), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0100000000000003), .UNSPECIFIED.);
#1380 = EDGE_CURVE ('', #1340, #1240, #1370, .T.);
#1390 = ORIENTED_EDGE ('', *, *, #1380, .F.);
#1400 = CARTESIAN_POINT ('', (0.686040201318999, -2.44975633080764, 0.));
#1410 = VERTEX_POINT ('', #1400);
#1420 = CARTESIAN_POINT ('', (0.686040201318999, -2.44975633080764, 0.));
#1430 = CARTESIAN_POINT ('', (0.855726696367197, -2.45568191378708, 0.));
#1440 = CARTESIAN_POINT ('', (0.977863348183598, -2.33773592013546, 0.));
#1450 = CARTESIAN_POINT ('', (1.1, -2.21978992648384, 0.));
#1460 = CARTESIAN_POINT ('', (1.1, -2.05, 0.));
#1470 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1420, #1430, #1440, #1450, #1460), .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.92050485345244, 1., 0.92050485345244, 1.))
   REPRESENTATION_ITEM ('')
);
#1480 = EDGE_CURVE ('', #1410, #1340, #1470, .T.);
#1490 = ORIENTED_EDGE ('', *, *, #1480, .F.);
#1500 = CARTESIAN_POINT ('', (0.686040201318999, -2.44975633080764, 0.));
#1510 = CARTESIAN_POINT ('', (0.686040201318999, -2.44975633080764, -0.0523183575024016));
#1520 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1500, #1510), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0104636715004803), .UNSPECIFIED.);
#1530 = EDGE_CURVE ('', #1410, #1140, #1520, .T.);
#1540 = ORIENTED_EDGE ('', *, *, #1530, .T.);
#1550 = EDGE_LOOP ('', (#1220, #1320, #1390, #1490, #1540));
#1560 = FACE_OUTER_BOUND ('', #1550, .T.);
#1570 = CARTESIAN_POINT ('', (0.686040201318999, -2.44975633080764, 0.));
#1580 = CARTESIAN_POINT ('', (0.855726696367197, -2.45568191378708, 0.));
#1590 = CARTESIAN_POINT ('', (0.977863348183598, -2.33773592013546, 0.));
#1600 = CARTESIAN_POINT ('', (1.1, -2.21978992648384, 0.));
#1610 = CARTESIAN_POINT ('', (1.1, -2.05, 0.));
#1620 = CARTESIAN_POINT ('', (0.686040201318999, -2.44975633080764, -0.976353836762787));
#1630 = CARTESIAN_POINT ('', (0.855726696367197, -2.45568191378708, -0.976353836762787));
#1640 = CARTESIAN_POINT ('', (0.977863348183599, -2.33773592013546, -0.976353836762787));
#1650 = CARTESIAN_POINT ('', (1.1, -2.21978992648384, -0.976353836762787));
#1660 = CARTESIAN_POINT ('', (1.1, -2.05, -0.976353836762787));
#1670 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#1570, #1580, #1590, #1600, #1610), (#1620, #1630, #1640, #1650, #1660)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 3), (0., 0.195270767352557), (0., 0.5, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.92050485345244, 1., 0.92050485345244, 1.), (1., 0.92050485345244, 1., 0.92050485345244, 1.)))
   REPRESENTATION_ITEM ('')
);
#1680 = ADVANCED_FACE ('', (#1560), #1670, .T.);
#1690 = CARTESIAN_POINT ('', (-23.3615554934028, -2.35263628974531, -0.976353823978474));
#1700 = VERTEX_POINT ('', #1690);
#1710 = CARTESIAN_POINT ('', (-23.086040201319, -2.44975633080764, -0.0523183575024015));
#1720 = VERTEX_POINT ('', #1710);
#1730 = CARTESIAN_POINT ('', (-23.3615554934028, -2.35263628974531, -0.976353823978469));
#1740 = CARTESIAN_POINT ('', (-23.2428456389361, -2.45523209734972, -0.000219918954822866));
#1750 = CARTESIAN_POINT ('', (-23.086040201319, -2.44975633080764, -0.0523183575024015));
#1760 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1730, #1740, #1750), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.930942920387054, 1.))
   REPRESENTATION_ITEM ('')
);
#1770 = EDGE_CURVE ('', #1700, #1720, #1760, .T.);
#1780 = ORIENTED_EDGE ('', *, *, #1770, .T.);
#1790 = CARTESIAN_POINT ('', (-23.086040201319, -2.44975633080764, 0.));
#1800 = VERTEX_POINT ('', #1790);
#1810 = CARTESIAN_POINT ('', (-23.086040201319, -2.44975633080764, 0.));
#1820 = CARTESIAN_POINT ('', (-23.086040201319, -2.44975633080764, -0.0523183575024015));
#1830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1810, #1820), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0104636715004804), .UNSPECIFIED.);
#1840 = EDGE_CURVE ('', #1800, #1720, #1830, .T.);
#1850 = ORIENTED_EDGE ('', *, *, #1840, .F.);
#1860 = CARTESIAN_POINT ('', (-23.5, -2.05, 0.));
#1870 = VERTEX_POINT ('', #1860);
#1880 = CARTESIAN_POINT ('', (-23.5, -2.05, 0.));
#1890 = CARTESIAN_POINT ('', (-23.5, -2.21978992648384, 0.));
#1900 = CARTESIAN_POINT ('', (-23.3778633481836, -2.33773592013546, 0.));
#1910 = CARTESIAN_POINT ('', (-23.2557266963672, -2.45568191378708, 0.));
#1920 = CARTESIAN_POINT ('', (-23.086040201319, -2.44975633080764, 0.));
#1930 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1880, #1890, #1900, #1910, #1920), .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.92050485345244, 1., 0.92050485345244, 1.))
   REPRESENTATION_ITEM ('')
);
#1940 = EDGE_CURVE ('', #1870, #1800, #1930, .T.);
#1950 = ORIENTED_EDGE ('', *, *, #1940, .F.);
#1960 = CARTESIAN_POINT ('', (-23.5, -2.05, -0.05));
#1970 = VERTEX_POINT ('', #1960);
#1980 = CARTESIAN_POINT ('', (-23.5, -2.05, 0.));
#1990 = CARTESIAN_POINT ('', (-23.5, -2.05, -0.05));
#2000 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1980, #1990), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.01), .UNSPECIFIED.);
#2010 = EDGE_CURVE ('', #1870, #1970, #2000, .T.);
#2020 = ORIENTED_EDGE ('', *, *, #2010, .T.);
#2030 = CARTESIAN_POINT ('', (-23.5, -2.05, -0.0499999999999918));
#2040 = CARTESIAN_POINT ('', (-23.5, -2.21978992648384, -0.0499999999999911));
#2050 = CARTESIAN_POINT ('', (-23.3778633481836, -2.33773592013546, -0.867235419728505));
#2060 = CARTESIAN_POINT ('', (-23.3699152172888, -2.34541134092126, -0.920417605348182));
#2070 = CARTESIAN_POINT ('', (-23.3615554934028, -2.35263628974531, -0.976353823978474));
#2080 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2030, #2040, #2050, #2060, #2070), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 0.535150299959592), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.92050485345244, 1., 0.994411443507043, 0.98960864476236))
   REPRESENTATION_ITEM ('')
);
#2090 = EDGE_CURVE ('', #1970, #1700, #2080, .T.);
#2100 = ORIENTED_EDGE ('', *, *, #2090, .T.);
#2110 = EDGE_LOOP ('', (#1780, #1850, #1950, #2020, #2100));
#2120 = FACE_OUTER_BOUND ('', #2110, .T.);
#2130 = CARTESIAN_POINT ('', (-23.5, -2.05, 0.));
#2140 = CARTESIAN_POINT ('', (-23.5, -2.21978992648384, 0.));
#2150 = CARTESIAN_POINT ('', (-23.3778633481836, -2.33773592013546, 0.));
#2160 = CARTESIAN_POINT ('', (-23.2557266963672, -2.45568191378708, 0.));
#2170 = CARTESIAN_POINT ('', (-23.086040201319, -2.44975633080764, 0.));
#2180 = CARTESIAN_POINT ('', (-23.5, -2.05, -0.976353836762747));
#2190 = CARTESIAN_POINT ('', (-23.5, -2.21978992648384, -0.976353836762747));
#2200 = CARTESIAN_POINT ('', (-23.3778633481836, -2.33773592013546, -0.976353836762747));
#2210 = CARTESIAN_POINT ('', (-23.2557266963672, -2.45568191378708, -0.976353836762747));
#2220 = CARTESIAN_POINT ('', (-23.086040201319, -2.44975633080764, -0.976353836762747));
#2230 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#2130, #2140, #2150, #2160, #2170), (#2180, #2190, #2200, #2210, #2220)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 3), (0., 0.195270767352549), (0., 0.5, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.92050485345244, 1., 0.92050485345244, 1.), (1., 0.92050485345244, 1., 0.92050485345244, 1.)))
   REPRESENTATION_ITEM ('')
);
#2240 = ADVANCED_FACE ('', (#2120), #2230, .T.);
#2250 = CARTESIAN_POINT ('', (-23.5, 2.05, 0.));
#2260 = CARTESIAN_POINT ('', (-23.5, -2.05, 0.));
#2270 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2250, #2260), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2280 = EDGE_CURVE ('', #220, #1870, #2270, .T.);
#2290 = ORIENTED_EDGE ('', *, *, #2280, .T.);
#2300 = ORIENTED_EDGE ('', *, *, #1940, .T.);
#2310 = CARTESIAN_POINT ('', (-19.5, -2.32460533262667, 0.));
#2320 = VERTEX_POINT ('', #2310);
#2330 = CARTESIAN_POINT ('', (-23.086040201319, -2.44975633080764, 0.));
#2340 = CARTESIAN_POINT ('', (-19.5, -2.32460533262667, 0.));
#2350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2330, #2340), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2360 = EDGE_CURVE ('', #1800, #2320, #2350, .T.);
#2370 = ORIENTED_EDGE ('', *, *, #2360, .T.);
#2380 = CARTESIAN_POINT ('', (-19.5, -2., 0.));
#2390 = VERTEX_POINT ('', #2380);
#2400 = CARTESIAN_POINT ('', (-19.5, -2.32460533262667, 0.));
#2410 = CARTESIAN_POINT ('', (-19.5, -2., 0.));
#2420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2400, #2410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2430 = EDGE_CURVE ('', #2320, #2390, #2420, .T.);
#2440 = ORIENTED_EDGE ('', *, *, #2430, .T.);
#2450 = CARTESIAN_POINT ('', (-2.9, -2., 0.));
#2460 = VERTEX_POINT ('', #2450);
#2470 = CARTESIAN_POINT ('', (-19.5, -2., 0.));
#2480 = CARTESIAN_POINT ('', (-2.9, -2., 0.));
#2490 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2470, #2480), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2500 = EDGE_CURVE ('', #2390, #2460, #2490, .T.);
#2510 = ORIENTED_EDGE ('', *, *, #2500, .T.);
#2520 = CARTESIAN_POINT ('', (-2.9, -2.32460533262667, 0.));
#2530 = VERTEX_POINT ('', #2520);
#2540 = CARTESIAN_POINT ('', (-2.9, -2., 0.));
#2550 = CARTESIAN_POINT ('', (-2.9, -2.32460533262667, 0.));
#2560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2540, #2550), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2570 = EDGE_CURVE ('', #2460, #2530, #2560, .T.);
#2580 = ORIENTED_EDGE ('', *, *, #2570, .T.);
#2590 = CARTESIAN_POINT ('', (-2.9, -2.32460533262667, 0.));
#2600 = CARTESIAN_POINT ('', (0.686040201318999, -2.44975633080764, 0.));
#2610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2590, #2600), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2620 = EDGE_CURVE ('', #2530, #1410, #2610, .T.);
#2630 = ORIENTED_EDGE ('', *, *, #2620, .T.);
#2640 = ORIENTED_EDGE ('', *, *, #1480, .T.);
#2650 = CARTESIAN_POINT ('', (1.1, -2.05, 0.));
#2660 = CARTESIAN_POINT ('', (1.1, 2.05, 0.));
#2670 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2650, #2660), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2680 = EDGE_CURVE ('', #1340, #750, #2670, .T.);
#2690 = ORIENTED_EDGE ('', *, *, #2680, .T.);
#2700 = ORIENTED_EDGE ('', *, *, #820, .T.);
#2710 = CARTESIAN_POINT ('', (-2.9, 2.32460533262667, 0.));
#2720 = VERTEX_POINT ('', #2710);
#2730 = CARTESIAN_POINT ('', (0.686040201318999, 2.44975633080764, 0.));
#2740 = CARTESIAN_POINT ('', (-2.9, 2.32460533262667, 0.));
#2750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2730, #2740), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2760 = EDGE_CURVE ('', #680, #2720, #2750, .T.);
#2770 = ORIENTED_EDGE ('', *, *, #2760, .T.);
#2780 = CARTESIAN_POINT ('', (-2.9, 2., 0.));
#2790 = VERTEX_POINT ('', #2780);
#2800 = CARTESIAN_POINT ('', (-2.9, 2.32460533262667, 0.));
#2810 = CARTESIAN_POINT ('', (-2.9, 2., 0.));
#2820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2800, #2810), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2830 = EDGE_CURVE ('', #2720, #2790, #2820, .T.);
#2840 = ORIENTED_EDGE ('', *, *, #2830, .T.);
#2850 = CARTESIAN_POINT ('', (-19.5, 2., 0.));
#2860 = VERTEX_POINT ('', #2850);
#2870 = CARTESIAN_POINT ('', (-2.9, 2., 0.));
#2880 = CARTESIAN_POINT ('', (-19.5, 2., 0.));
#2890 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2870, #2880), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2900 = EDGE_CURVE ('', #2790, #2860, #2890, .T.);
#2910 = ORIENTED_EDGE ('', *, *, #2900, .T.);
#2920 = CARTESIAN_POINT ('', (-19.5, 2.32460533262667, 0.));
#2930 = VERTEX_POINT ('', #2920);
#2940 = CARTESIAN_POINT ('', (-19.5, 2., 0.));
#2950 = CARTESIAN_POINT ('', (-19.5, 2.32460533262667, 0.));
#2960 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2940, #2950), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2970 = EDGE_CURVE ('', #2860, #2930, #2960, .T.);
#2980 = ORIENTED_EDGE ('', *, *, #2970, .T.);
#2990 = CARTESIAN_POINT ('', (-19.5, 2.32460533262667, 0.));
#3000 = CARTESIAN_POINT ('', (-23.086040201319, 2.44975633080764, 0.));
#3010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2990, #3000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3020 = EDGE_CURVE ('', #2930, #290, #3010, .T.);
#3030 = ORIENTED_EDGE ('', *, *, #3020, .T.);
#3040 = ORIENTED_EDGE ('', *, *, #360, .T.);
#3050 = EDGE_LOOP ('', (#2290, #2300, #2370, #2440, #2510, #2580, #2630, #2640, #2690, #2700, #2770, #2840, #2910, #2980, #3030, #3040));
#3060 = FACE_OUTER_BOUND ('', #3050, .T.);
#3070 = CARTESIAN_POINT ('', (1.1, -2.45568191378708, 0.));
#3080 = CARTESIAN_POINT ('', (-23.5, -2.45568191378708, 0.));
#3090 = CARTESIAN_POINT ('', (1.1, 2.45568191378708, 0.));
#3100 = CARTESIAN_POINT ('', (-23.5, 2.45568191378708, 0.));
#3110 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3070, #3080), (#3090, #3100)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.411006774823756, 0.588993225176244), (0.0542514429404577, 0.945748557059542), .UNSPECIFIED.);
#3120 = ADVANCED_FACE ('', (#3060), #3110, .T.);
#3130 = CARTESIAN_POINT ('', (1.1, 2.05, -0.0500000000000015));
#3140 = CARTESIAN_POINT ('', (1.1, -2.05, -0.0500000000000015));
#3150 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3130, #3140), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3160 = EDGE_CURVE ('', #850, #1240, #3150, .T.);
#3170 = ORIENTED_EDGE ('', *, *, #3160, .F.);
#3180 = ORIENTED_EDGE ('', *, *, #890, .F.);
#3190 = ORIENTED_EDGE ('', *, *, #2680, .F.);
#3200 = ORIENTED_EDGE ('', *, *, #1380, .T.);
#3210 = EDGE_LOOP ('', (#3170, #3180, #3190, #3200));
#3220 = FACE_OUTER_BOUND ('', #3210, .T.);
#3230 = CARTESIAN_POINT ('', (1.1, -2.05, 0.));
#3240 = CARTESIAN_POINT ('', (1.1, 2.05, 0.));
#3250 = CARTESIAN_POINT ('', (1.1, -2.05, -0.0500000000000028));
#3260 = CARTESIAN_POINT ('', (1.1, 2.05, -0.0500000000000028));
#3270 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3230, #3240), (#3250, #3260)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.0100000000000006), (0., 1.), .UNSPECIFIED.);
#3280 = ADVANCED_FACE ('', (#3220), #3270, .T.);
#3290 = CARTESIAN_POINT ('', (-23.5, -2.05, -0.05));
#3300 = CARTESIAN_POINT ('', (-23.5, 2.05, -0.05));
#3310 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3290, #3300), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3320 = EDGE_CURVE ('', #1970, #120, #3310, .T.);
#3330 = ORIENTED_EDGE ('', *, *, #3320, .F.);
#3340 = ORIENTED_EDGE ('', *, *, #2010, .F.);
#3350 = ORIENTED_EDGE ('', *, *, #2280, .F.);
#3360 = ORIENTED_EDGE ('', *, *, #260, .T.);
#3370 = EDGE_LOOP ('', (#3330, #3340, #3350, #3360));
#3380 = FACE_OUTER_BOUND ('', #3370, .T.);
#3390 = CARTESIAN_POINT ('', (-23.5, 2.05, 0.));
#3400 = CARTESIAN_POINT ('', (-23.5, -2.05, 0.));
#3410 = CARTESIAN_POINT ('', (-23.5, 2.05, -0.05));
#3420 = CARTESIAN_POINT ('', (-23.5, -2.05, -0.05));
#3430 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3390, #3400), (#3410, #3420)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.01), (0., 1.), .UNSPECIFIED.);
#3440 = ADVANCED_FACE ('', (#3380), #3430, .T.);
#3450 = CARTESIAN_POINT ('', (0.360217543321817, 0.0499999999999989, -5.));
#3460 = VERTEX_POINT ('', #3450);
#3470 = CARTESIAN_POINT ('', (-22.7602175433218, 0.0500000000000007, -5.));
#3480 = VERTEX_POINT ('', #3470);
#3490 = CARTESIAN_POINT ('', (0.36021754332182, 0.0499999999999999, -5.));
#3500 = CARTESIAN_POINT ('', (-22.7602175433218, 0.0499999999999999, -5.));
#3510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3490, #3500), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3520 = EDGE_CURVE ('', #3460, #3480, #3510, .T.);
#3530 = ORIENTED_EDGE ('', *, *, #3520, .F.);
#3540 = CARTESIAN_POINT ('', (0.360217543321817, -0.0499999999999989, -5.));
#3550 = VERTEX_POINT ('', #3540);
#3560 = CARTESIAN_POINT ('', (0.360217543321817, -0.0499999999999989, -5.));
#3570 = CARTESIAN_POINT ('', (0.360217543321817, 0.0499999999999989, -5.));
#3580 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3560, #3570), .UNSPECIFIED., .F., .U., (2, 2), (0.497967479674797, 0.502032520325203), .UNSPECIFIED.);
#3590 = EDGE_CURVE ('', #3550, #3460, #3580, .T.);
#3600 = ORIENTED_EDGE ('', *, *, #3590, .F.);
#3610 = CARTESIAN_POINT ('', (-22.7602175433218, -0.0499999999999989, -5.));
#3620 = VERTEX_POINT ('', #3610);
#3630 = CARTESIAN_POINT ('', (-22.7602175433218, -0.0499999999999993, -5.));
#3640 = CARTESIAN_POINT ('', (0.360217543321831, -0.0499999999999993, -5.));
#3650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3630, #3640), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3660 = EDGE_CURVE ('', #3620, #3550, #3650, .T.);
#3670 = ORIENTED_EDGE ('', *, *, #3660, .F.);
#3680 = CARTESIAN_POINT ('', (-22.7602175433218, 0.0500000000000007, -5.));
#3690 = CARTESIAN_POINT ('', (-22.7602175433218, -0.0499999999999989, -5.));
#3700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3680, #3690), .UNSPECIFIED., .F., .U., (2, 2), (0.497967479674797, 0.502032520325203), .UNSPECIFIED.);
#3710 = EDGE_CURVE ('', #3480, #3620, #3700, .T.);
#3720 = ORIENTED_EDGE ('', *, *, #3710, .F.);
#3730 = EDGE_LOOP ('', (#3530, #3600, #3670, #3720));
#3740 = FACE_OUTER_BOUND ('', #3730, .T.);
#3750 = CARTESIAN_POINT ('', (0.360217543321821, -0.0499999999999989, -5.));
#3760 = CARTESIAN_POINT ('', (0.360217543321821, 0.0500000000000043, -5.));
#3770 = CARTESIAN_POINT ('', (-22.7602175433218, -0.0499999999999989, -5.));
#3780 = CARTESIAN_POINT ('', (-22.7602175433218, 0.0500000000000043, -5.));
#3790 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3750, #3760), (#3770, #3780)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0810609520951131, 0.918939047904887), (0.498188013995693, 0.501811986004307), .UNSPECIFIED.);
#3800 = ADVANCED_FACE ('', (#3740), #3790, .T.);
#3810 = CARTESIAN_POINT ('', (-2.9, -2., -3.05));
#3820 = VERTEX_POINT ('', #3810);
#3830 = CARTESIAN_POINT ('', (-19.5, -2., -3.05));
#3840 = VERTEX_POINT ('', #3830);
#3850 = CARTESIAN_POINT ('', (-2.89999999999999, -2., -3.05));
#3860 = CARTESIAN_POINT ('', (-19.5, -2., -3.05));
#3870 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3850, #3860), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3880 = EDGE_CURVE ('', #3820, #3840, #3870, .T.);
#3890 = ORIENTED_EDGE ('', *, *, #3880, .F.);
#3900 = CARTESIAN_POINT ('', (-2.9, -2., 0.));
#3910 = CARTESIAN_POINT ('', (-2.9, -2., -3.05));
#3920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3900, #3910), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.61), .UNSPECIFIED.);
#3930 = EDGE_CURVE ('', #2460, #3820, #3920, .T.);
#3940 = ORIENTED_EDGE ('', *, *, #3930, .F.);
#3950 = ORIENTED_EDGE ('', *, *, #2500, .F.);
#3960 = CARTESIAN_POINT ('', (-19.5, -2., 0.));
#3970 = CARTESIAN_POINT ('', (-19.5, -2., -3.05));
#3980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3960, #3970), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.61), .UNSPECIFIED.);
#3990 = EDGE_CURVE ('', #2390, #3840, #3980, .T.);
#4000 = ORIENTED_EDGE ('', *, *, #3990, .T.);
#4010 = EDGE_LOOP ('', (#3890, #3940, #3950, #4000));
#4020 = FACE_OUTER_BOUND ('', #4010, .T.);
#4030 = CARTESIAN_POINT ('', (-19.5, -2., 0.));
#4040 = CARTESIAN_POINT ('', (-2.9, -2., 0.));
#4050 = CARTESIAN_POINT ('', (-19.5, -2., -3.05));
#4060 = CARTESIAN_POINT ('', (-2.9, -2., -3.05));
#4070 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4030, #4040), (#4050, #4060)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.61), (0., 1.), .UNSPECIFIED.);
#4080 = ADVANCED_FACE ('', (#4020), #4070, .T.);
#4090 = CARTESIAN_POINT ('', (-19.5, 2., -3.05));
#4100 = VERTEX_POINT ('', #4090);
#4110 = CARTESIAN_POINT ('', (-2.9, 2., -3.05));
#4120 = VERTEX_POINT ('', #4110);
#4130 = CARTESIAN_POINT ('', (-19.5, 2., -3.05));
#4140 = CARTESIAN_POINT ('', (-2.9, 2., -3.05));
#4150 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4130, #4140), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4160 = EDGE_CURVE ('', #4100, #4120, #4150, .T.);
#4170 = ORIENTED_EDGE ('', *, *, #4160, .F.);
#4180 = CARTESIAN_POINT ('', (-19.5, 2., 0.));
#4190 = CARTESIAN_POINT ('', (-19.5, 2., -3.05));
#4200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4180, #4190), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.61), .UNSPECIFIED.);
#4210 = EDGE_CURVE ('', #2860, #4100, #4200, .T.);
#4220 = ORIENTED_EDGE ('', *, *, #4210, .F.);
#4230 = ORIENTED_EDGE ('', *, *, #2900, .F.);
#4240 = CARTESIAN_POINT ('', (-2.9, 2., 0.));
#4250 = CARTESIAN_POINT ('', (-2.9, 2., -3.05));
#4260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4240, #4250), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.61), .UNSPECIFIED.);
#4270 = EDGE_CURVE ('', #2790, #4120, #4260, .T.);
#4280 = ORIENTED_EDGE ('', *, *, #4270, .T.);
#4290 = EDGE_LOOP ('', (#4170, #4220, #4230, #4280));
#4300 = FACE_OUTER_BOUND ('', #4290, .T.);
#4310 = CARTESIAN_POINT ('', (-2.9, 2., 0.));
#4320 = CARTESIAN_POINT ('', (-19.5, 2., 0.));
#4330 = CARTESIAN_POINT ('', (-2.9, 2., -3.05));
#4340 = CARTESIAN_POINT ('', (-19.5, 2., -3.05));
#4350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4310, #4320), (#4330, #4340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.61), (0., 1.), .UNSPECIFIED.);
#4360 = ADVANCED_FACE ('', (#4300), #4350, .T.);
#4370 = CARTESIAN_POINT ('', (0.674140287105486, 2.15050612541781, -2.89949387458219));
#4380 = VERTEX_POINT ('', #4370);
#4390 = CARTESIAN_POINT ('', (0.674140287105485, 2.15050612541781, -2.89949387458219));
#4400 = CARTESIAN_POINT ('', (0.360217543321817, 0.049999999999998, -5.));
#4410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4390, #4400), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4420 = EDGE_CURVE ('', #4380, #3460, #4410, .T.);
#4430 = ORIENTED_EDGE ('', *, *, #4420, .F.);
#4440 = CARTESIAN_POINT ('', (0.961555493402823, 2.35263628974531, -0.976353823978481));
#4450 = CARTESIAN_POINT ('', (0.674140287105486, 2.15050612541781, -2.89949387458219));
#4460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4440, #4450), .UNSPECIFIED., .F., .U., (2, 2), (0.325094162244622, 1.), .UNSPECIFIED.);
#4470 = EDGE_CURVE ('', #580, #4380, #4460, .T.);
#4480 = ORIENTED_EDGE ('', *, *, #4470, .F.);
#4490 = ORIENTED_EDGE ('', *, *, #970, .F.);
#4500 = ORIENTED_EDGE ('', *, *, #3160, .T.);
#4510 = ORIENTED_EDGE ('', *, *, #1310, .F.);
#4520 = CARTESIAN_POINT ('', (0.674140287105486, -2.15050612541781, -2.89949387458219));
#4530 = VERTEX_POINT ('', #4520);
#4540 = CARTESIAN_POINT ('', (0.674140287105485, -2.15050612541781, -2.89949387458219));
#4550 = CARTESIAN_POINT ('', (0.961555493402823, -2.35263628974531, -0.976353823978476));
#4560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4540, #4550), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.674905837755378), .UNSPECIFIED.);
#4570 = EDGE_CURVE ('', #4530, #1160, #4560, .T.);
#4580 = ORIENTED_EDGE ('', *, *, #4570, .F.);
#4590 = CARTESIAN_POINT ('', (0.360217543321817, -0.0499999999999972, -5.));
#4600 = CARTESIAN_POINT ('', (0.674140287105486, -2.15050612541781, -2.89949387458219));
#4610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4590, #4600), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4620 = EDGE_CURVE ('', #3550, #4530, #4610, .T.);
#4630 = ORIENTED_EDGE ('', *, *, #4620, .F.);
#4640 = ORIENTED_EDGE ('', *, *, #3590, .T.);
#4650 = EDGE_LOOP ('', (#4430, #4480, #4490, #4500, #4510, #4580, #4630, #4640));
#4660 = FACE_OUTER_BOUND ('', #4650, .T.);
#4670 = CARTESIAN_POINT ('', (0.360217543321817, -2.35263628974531, -5.));
#4680 = CARTESIAN_POINT ('', (1.1, -2.35263628974531, -0.0499999999999998));
#4690 = CARTESIAN_POINT ('', (0.360217543321817, 2.35263628974531, -5.));
#4700 = CARTESIAN_POINT ('', (1.1, 2.35263628974531, -0.0499999999999998));
#4710 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4670, #4680), (#4690, #4700)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.404364378465638, 0.595635621534362), (0.00999999999999983, 1.), .UNSPECIFIED.);
#4720 = ADVANCED_FACE ('', (#4660), #4710, .T.);
#4730 = CARTESIAN_POINT ('', (-2.9, -2.32460533262667, -1.24305056600588));
#4740 = VERTEX_POINT ('', #4730);
#4750 = CARTESIAN_POINT ('', (0.686040201318997, -2.44975633080764, -0.0523183575024015));
#4760 = CARTESIAN_POINT ('', (-2.9, -2.32460533262667, -1.24305056600588));
#4770 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4750, #4760), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4780 = EDGE_CURVE ('', #1140, #4740, #4770, .T.);
#4790 = ORIENTED_EDGE ('', *, *, #4780, .F.);
#4800 = ORIENTED_EDGE ('', *, *, #1530, .F.);
#4810 = ORIENTED_EDGE ('', *, *, #2620, .F.);
#4820 = CARTESIAN_POINT ('', (-2.9, -2.32460533262667, 0.));
#4830 = CARTESIAN_POINT ('', (-2.9, -2.32460533262667, -1.24305056600588));
#4840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4820, #4830), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.248610113201176), .UNSPECIFIED.);
#4850 = EDGE_CURVE ('', #2530, #4740, #4840, .T.);
#4860 = ORIENTED_EDGE ('', *, *, #4850, .T.);
#4870 = EDGE_LOOP ('', (#4790, #4800, #4810, #4860));
#4880 = FACE_OUTER_BOUND ('', #4870, .T.);
#4890 = CARTESIAN_POINT ('', (-2.9, -2.32460533262667, 0.));
#4900 = CARTESIAN_POINT ('', (0.686040201318999, -2.44975633080764, 0.));
#4910 = CARTESIAN_POINT ('', (-2.9, -2.32460533262667, -1.24305056600588));
#4920 = CARTESIAN_POINT ('', (0.686040201318999, -2.44975633080764, -1.24305056600588));
#4930 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4890, #4900), (#4910, #4920)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.248610113201176), (0., 1.), .UNSPECIFIED.);
#4940 = ADVANCED_FACE ('', (#4880), #4930, .T.);
#4950 = CARTESIAN_POINT ('', (-2.9, 2.32460533262667, -1.24305056600588));
#4960 = VERTEX_POINT ('', #4950);
#4970 = CARTESIAN_POINT ('', (-2.9, 2.32460533262667, -1.24305056600588));
#4980 = CARTESIAN_POINT ('', (0.686040201319002, 2.44975633080764, -0.0523183575023995));
#4990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4970, #4980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5000 = EDGE_CURVE ('', #4960, #600, #4990, .T.);
#5010 = ORIENTED_EDGE ('', *, *, #5000, .F.);
#5020 = CARTESIAN_POINT ('', (-2.9, 2.32460533262667, 0.));
#5030 = CARTESIAN_POINT ('', (-2.9, 2.32460533262667, -1.24305056600588));
#5040 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5020, #5030), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.248610113201176), .UNSPECIFIED.);
#5050 = EDGE_CURVE ('', #2720, #4960, #5040, .T.);
#5060 = ORIENTED_EDGE ('', *, *, #5050, .F.);
#5070 = ORIENTED_EDGE ('', *, *, #2760, .F.);
#5080 = ORIENTED_EDGE ('', *, *, #720, .T.);
#5090 = EDGE_LOOP ('', (#5010, #5060, #5070, #5080));
#5100 = FACE_OUTER_BOUND ('', #5090, .T.);
#5110 = CARTESIAN_POINT ('', (0.686040201318999, 2.44975633080764, 0.));
#5120 = CARTESIAN_POINT ('', (-2.9, 2.32460533262667, 0.));
#5130 = CARTESIAN_POINT ('', (0.686040201318999, 2.44975633080764, -1.24305056600588));
#5140 = CARTESIAN_POINT ('', (-2.9, 2.32460533262667, -1.24305056600588));
#5150 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5110, #5120), (#5130, #5140)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.248610113201176), (0., 1.), .UNSPECIFIED.);
#5160 = ADVANCED_FACE ('', (#5100), #5150, .T.);
#5170 = CARTESIAN_POINT ('', (-2.9, -2.15050612541781, -2.89949387458219));
#5180 = VERTEX_POINT ('', #5170);
#5190 = CARTESIAN_POINT ('', (-2.9, -2.32460533262667, -1.24305056600588));
#5200 = CARTESIAN_POINT ('', (-2.9, -2.15050612541781, -2.89949387458219));
#5210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5190, #5200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5220 = EDGE_CURVE ('', #4740, #5180, #5210, .T.);
#5230 = ORIENTED_EDGE ('', *, *, #5220, .F.);
#5240 = ORIENTED_EDGE ('', *, *, #4850, .F.);
#5250 = ORIENTED_EDGE ('', *, *, #2570, .F.);
#5260 = ORIENTED_EDGE ('', *, *, #3930, .T.);
#5270 = CARTESIAN_POINT ('', (-2.9, -2.15050612541781, -2.89949387458219));
#5280 = CARTESIAN_POINT ('', (-2.9, -2., -3.05));
#5290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5270, #5280), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5300 = EDGE_CURVE ('', #5180, #3820, #5290, .T.);
#5310 = ORIENTED_EDGE ('', *, *, #5300, .F.);
#5320 = EDGE_LOOP ('', (#5230, #5240, #5250, #5260, #5310));
#5330 = FACE_OUTER_BOUND ('', #5320, .T.);
#5340 = CARTESIAN_POINT ('', (-2.9, -2., 0.));
#5350 = CARTESIAN_POINT ('', (-2.9, -2.32460533262667, 0.));
#5360 = CARTESIAN_POINT ('', (-2.9, -2., -3.05));
#5370 = CARTESIAN_POINT ('', (-2.9, -2.32460533262667, -3.05));
#5380 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5340, #5350), (#5360, #5370)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.61), (0., 1.), .UNSPECIFIED.);
#5390 = ADVANCED_FACE ('', (#5330), #5380, .T.);
#5400 = CARTESIAN_POINT ('', (-2.9, 2.15050612541781, -2.89949387458219));
#5410 = VERTEX_POINT ('', #5400);
#5420 = CARTESIAN_POINT ('', (-2.9, 2., -3.05));
#5430 = CARTESIAN_POINT ('', (-2.9, 2.15050612541781, -2.89949387458219));
#5440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5420, #5430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5450 = EDGE_CURVE ('', #4120, #5410, #5440, .T.);
#5460 = ORIENTED_EDGE ('', *, *, #5450, .F.);
#5470 = ORIENTED_EDGE ('', *, *, #4270, .F.);
#5480 = ORIENTED_EDGE ('', *, *, #2830, .F.);
#5490 = ORIENTED_EDGE ('', *, *, #5050, .T.);
#5500 = CARTESIAN_POINT ('', (-2.9, 2.15050612541781, -2.89949387458219));
#5510 = CARTESIAN_POINT ('', (-2.9, 2.32460533262667, -1.24305056600587));
#5520 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5500, #5510), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5530 = EDGE_CURVE ('', #5410, #4960, #5520, .T.);
#5540 = ORIENTED_EDGE ('', *, *, #5530, .F.);
#5550 = EDGE_LOOP ('', (#5460, #5470, #5480, #5490, #5540));
#5560 = FACE_OUTER_BOUND ('', #5550, .T.);
#5570 = CARTESIAN_POINT ('', (-2.9, 2.32460533262667, 0.));
#5580 = CARTESIAN_POINT ('', (-2.9, 2., 0.));
#5590 = CARTESIAN_POINT ('', (-2.9, 2.32460533262667, -3.05));
#5600 = CARTESIAN_POINT ('', (-2.9, 2., -3.05));
#5610 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5570, #5580), (#5590, #5600)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.61), (0., 1.), .UNSPECIFIED.);
#5620 = ADVANCED_FACE ('', (#5560), #5610, .T.);
#5630 = CARTESIAN_POINT ('', (-23.0741402871055, 2.15050612541781, -2.89949387458219));
#5640 = VERTEX_POINT ('', #5630);
#5650 = CARTESIAN_POINT ('', (-22.7602175433218, 0.0500000000000025, -5.));
#5660 = CARTESIAN_POINT ('', (-23.0741402871055, 2.15050612541781, -2.89949387458219));
#5670 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5650, #5660), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5680 = EDGE_CURVE ('', #3480, #5640, #5670, .T.);
#5690 = ORIENTED_EDGE ('', *, *, #5680, .F.);
#5700 = ORIENTED_EDGE ('', *, *, #3710, .T.);
#5710 = CARTESIAN_POINT ('', (-23.0741402871055, -2.15050612541781, -2.89949387458219));
#5720 = VERTEX_POINT ('', #5710);
#5730 = CARTESIAN_POINT ('', (-23.0741402871055, -2.15050612541781, -2.89949387458219));
#5740 = CARTESIAN_POINT ('', (-22.7602175433218, -0.050000000000002, -5.));
#5750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5730, #5740), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5760 = EDGE_CURVE ('', #5720, #3620, #5750, .T.);
#5770 = ORIENTED_EDGE ('', *, *, #5760, .F.);
#5780 = CARTESIAN_POINT ('', (-23.3615554934028, -2.35263628974531, -0.976353823978474));
#5790 = CARTESIAN_POINT ('', (-23.0741402871055, -2.15050612541781, -2.89949387458219));
#5800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5780, #5790), .UNSPECIFIED., .F., .U., (2, 2), (0.325094162244621, 1.), .UNSPECIFIED.);
#5810 = EDGE_CURVE ('', #1700, #5720, #5800, .T.);
#5820 = ORIENTED_EDGE ('', *, *, #5810, .F.);
#5830 = ORIENTED_EDGE ('', *, *, #2090, .F.);
#5840 = ORIENTED_EDGE ('', *, *, #3320, .T.);
#5850 = ORIENTED_EDGE ('', *, *, #190, .F.);
#5860 = CARTESIAN_POINT ('', (-23.0741402871055, 2.15050612541781, -2.89949387458219));
#5870 = CARTESIAN_POINT ('', (-23.3615554934028, 2.35263628974531, -0.976353823978476));
#5880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5860, #5870), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.674905837755379), .UNSPECIFIED.);
#5890 = EDGE_CURVE ('', #5640, #40, #5880, .T.);
#5900 = ORIENTED_EDGE ('', *, *, #5890, .F.);
#5910 = EDGE_LOOP ('', (#5690, #5700, #5770, #5820, #5830, #5840, #5850, #5900));
#5920 = FACE_OUTER_BOUND ('', #5910, .T.);
#5930 = CARTESIAN_POINT ('', (-23.5, -2.35263628974531, -0.05));
#5940 = CARTESIAN_POINT ('', (-22.7602175433218, -2.35263628974531, -5.));
#5950 = CARTESIAN_POINT ('', (-23.5, 2.35263628974531, -0.05));
#5960 = CARTESIAN_POINT ('', (-22.7602175433218, 2.35263628974531, -5.));
#5970 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5930, #5940), (#5950, #5960)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.404364378465638, 0.595635621534362), (0., 0.99), .UNSPECIFIED.);
#5980 = ADVANCED_FACE ('', (#5920), #5970, .T.);
#5990 = CARTESIAN_POINT ('', (-19.5, -2.32460533262667, -1.24305056600588));
#6000 = VERTEX_POINT ('', #5990);
#6010 = CARTESIAN_POINT ('', (-19.5, -2.32460533262667, -1.24305056600588));
#6020 = CARTESIAN_POINT ('', (-23.086040201319, -2.44975633080764, -0.0523183575024018));
#6030 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6010, #6020), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6040 = EDGE_CURVE ('', #6000, #1720, #6030, .T.);
#6050 = ORIENTED_EDGE ('', *, *, #6040, .F.);
#6060 = CARTESIAN_POINT ('', (-19.5, -2.32460533262667, 0.));
#6070 = CARTESIAN_POINT ('', (-19.5, -2.32460533262667, -1.24305056600588));
#6080 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6060, #6070), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.248610113201176), .UNSPECIFIED.);
#6090 = EDGE_CURVE ('', #2320, #6000, #6080, .T.);
#6100 = ORIENTED_EDGE ('', *, *, #6090, .F.);
#6110 = ORIENTED_EDGE ('', *, *, #2360, .F.);
#6120 = ORIENTED_EDGE ('', *, *, #1840, .T.);
#6130 = EDGE_LOOP ('', (#6050, #6100, #6110, #6120));
#6140 = FACE_OUTER_BOUND ('', #6130, .T.);
#6150 = CARTESIAN_POINT ('', (-23.086040201319, -2.44975633080764, 0.));
#6160 = CARTESIAN_POINT ('', (-19.5, -2.32460533262667, 0.));
#6170 = CARTESIAN_POINT ('', (-23.086040201319, -2.44975633080764, -1.24305056600588));
#6180 = CARTESIAN_POINT ('', (-19.5, -2.32460533262667, -1.24305056600588));
#6190 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6150, #6160), (#6170, #6180)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.248610113201177), (0., 1.), .UNSPECIFIED.);
#6200 = ADVANCED_FACE ('', (#6140), #6190, .T.);
#6210 = CARTESIAN_POINT ('', (-19.5, 2.32460533262667, -1.24305056600588));
#6220 = VERTEX_POINT ('', #6210);
#6230 = CARTESIAN_POINT ('', (-23.086040201319, 2.44975633080764, -0.0523183575024024));
#6240 = CARTESIAN_POINT ('', (-19.5, 2.32460533262667, -1.24305056600588));
#6250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6230, #6240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6260 = EDGE_CURVE ('', #20, #6220, #6250, .T.);
#6270 = ORIENTED_EDGE ('', *, *, #6260, .F.);
#6280 = ORIENTED_EDGE ('', *, *, #410, .F.);
#6290 = ORIENTED_EDGE ('', *, *, #3020, .F.);
#6300 = CARTESIAN_POINT ('', (-19.5, 2.32460533262667, 0.));
#6310 = CARTESIAN_POINT ('', (-19.5, 2.32460533262667, -1.24305056600588));
#6320 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6300, #6310), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.248610113201176), .UNSPECIFIED.);
#6330 = EDGE_CURVE ('', #2930, #6220, #6320, .T.);
#6340 = ORIENTED_EDGE ('', *, *, #6330, .T.);
#6350 = EDGE_LOOP ('', (#6270, #6280, #6290, #6340));
#6360 = FACE_OUTER_BOUND ('', #6350, .T.);
#6370 = CARTESIAN_POINT ('', (-19.5, 2.32460533262667, 0.));
#6380 = CARTESIAN_POINT ('', (-23.086040201319, 2.44975633080764, 0.));
#6390 = CARTESIAN_POINT ('', (-19.5, 2.32460533262667, -1.24305056600588));
#6400 = CARTESIAN_POINT ('', (-23.086040201319, 2.44975633080764, -1.24305056600588));
#6410 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6370, #6380), (#6390, #6400)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.248610113201176), (0., 1.), .UNSPECIFIED.);
#6420 = ADVANCED_FACE ('', (#6360), #6410, .T.);
#6430 = CARTESIAN_POINT ('', (-19.5, -2.15050612541781, -2.89949387458219));
#6440 = VERTEX_POINT ('', #6430);
#6450 = CARTESIAN_POINT ('', (-19.5, -2.15050612541781, -2.89949387458219));
#6460 = CARTESIAN_POINT ('', (-19.5, -2.32460533262667, -1.24305056600589));
#6470 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6450, #6460), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6480 = EDGE_CURVE ('', #6440, #6000, #6470, .T.);
#6490 = ORIENTED_EDGE ('', *, *, #6480, .F.);
#6500 = CARTESIAN_POINT ('', (-19.5, -2., -3.04999999999999));
#6510 = CARTESIAN_POINT ('', (-19.5, -2.15050612541781, -2.89949387458219));
#6520 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6500, #6510), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6530 = EDGE_CURVE ('', #3840, #6440, #6520, .T.);
#6540 = ORIENTED_EDGE ('', *, *, #6530, .F.);
#6550 = ORIENTED_EDGE ('', *, *, #3990, .F.);
#6560 = ORIENTED_EDGE ('', *, *, #2430, .F.);
#6570 = ORIENTED_EDGE ('', *, *, #6090, .T.);
#6580 = EDGE_LOOP ('', (#6490, #6540, #6550, #6560, #6570));
#6590 = FACE_OUTER_BOUND ('', #6580, .T.);
#6600 = CARTESIAN_POINT ('', (-19.5, -2.32460533262667, 0.));
#6610 = CARTESIAN_POINT ('', (-19.5, -2., 0.));
#6620 = CARTESIAN_POINT ('', (-19.5, -2.32460533262667, -3.05));
#6630 = CARTESIAN_POINT ('', (-19.5, -2., -3.05));
#6640 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6600, #6610), (#6620, #6630)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.61), (0., 1.), .UNSPECIFIED.);
#6650 = ADVANCED_FACE ('', (#6590), #6640, .T.);
#6660 = CARTESIAN_POINT ('', (-19.5, 2.15050612541781, -2.89949387458219));
#6670 = VERTEX_POINT ('', #6660);
#6680 = CARTESIAN_POINT ('', (-19.5, 2.15050612541781, -2.89949387458219));
#6690 = CARTESIAN_POINT ('', (-19.5, 2., -3.05));
#6700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6680, #6690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6710 = EDGE_CURVE ('', #6670, #4100, #6700, .T.);
#6720 = ORIENTED_EDGE ('', *, *, #6710, .F.);
#6730 = CARTESIAN_POINT ('', (-19.5, 2.32460533262667, -1.24305056600588));
#6740 = CARTESIAN_POINT ('', (-19.5, 2.15050612541781, -2.89949387458219));
#6750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6730, #6740), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6760 = EDGE_CURVE ('', #6220, #6670, #6750, .T.);
#6770 = ORIENTED_EDGE ('', *, *, #6760, .F.);
#6780 = ORIENTED_EDGE ('', *, *, #6330, .F.);
#6790 = ORIENTED_EDGE ('', *, *, #2970, .F.);
#6800 = ORIENTED_EDGE ('', *, *, #4210, .T.);
#6810 = EDGE_LOOP ('', (#6720, #6770, #6780, #6790, #6800));
#6820 = FACE_OUTER_BOUND ('', #6810, .T.);
#6830 = CARTESIAN_POINT ('', (-19.5, 2., 0.));
#6840 = CARTESIAN_POINT ('', (-19.5, 2.32460533262667, 0.));
#6850 = CARTESIAN_POINT ('', (-19.5, 2., -3.05));
#6860 = CARTESIAN_POINT ('', (-19.5, 2.32460533262667, -3.05));
#6870 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6830, #6840), (#6850, #6860)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.61), (0., 1.), .UNSPECIFIED.);
#6880 = ADVANCED_FACE ('', (#6820), #6870, .T.);
#6890 = ORIENTED_EDGE ('', *, *, #6530, .T.);
#6900 = CARTESIAN_POINT ('', (-23.0741402871055, -2.15050612541781, -2.89949387458219));
#6910 = CARTESIAN_POINT ('', (-19.5, -2.15050612541781, -2.89949387458219));
#6920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6900, #6910), .UNSPECIFIED., .F., .U., (2, 2), (0.0173113704428666, 0.16260162601626), .UNSPECIFIED.);
#6930 = EDGE_CURVE ('', #5720, #6440, #6920, .T.);
#6940 = ORIENTED_EDGE ('', *, *, #6930, .F.);
#6950 = ORIENTED_EDGE ('', *, *, #5760, .T.);
#6960 = ORIENTED_EDGE ('', *, *, #3660, .T.);
#6970 = ORIENTED_EDGE ('', *, *, #4620, .T.);
#6980 = CARTESIAN_POINT ('', (-2.9, -2.15050612541781, -2.89949387458219));
#6990 = CARTESIAN_POINT ('', (0.674140287105487, -2.15050612541781, -2.89949387458219));
#7000 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6980, #6990), .UNSPECIFIED., .F., .U., (2, 2), (0.83739837398374, 0.982688629557134), .UNSPECIFIED.);
#7010 = EDGE_CURVE ('', #5180, #4530, #7000, .T.);
#7020 = ORIENTED_EDGE ('', *, *, #7010, .F.);
#7030 = ORIENTED_EDGE ('', *, *, #5300, .T.);
#7040 = ORIENTED_EDGE ('', *, *, #3880, .T.);
#7050 = EDGE_LOOP ('', (#6890, #6940, #6950, #6960, #6970, #7020, #7030, #7040));
#7060 = FACE_OUTER_BOUND ('', #7050, .T.);
#7070 = CARTESIAN_POINT ('', (-23.0741402871055, -0.0499999999999971, -5.));
#7080 = CARTESIAN_POINT ('', (-23.0741402871055, -2.15050612541781, -2.89949387458219));
#7090 = CARTESIAN_POINT ('', (0.67414028710548, -0.0499999999999971, -5.));
#7100 = CARTESIAN_POINT ('', (0.67414028710548, -2.15050612541781, -2.89949387458219));
#7110 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7070, #7080), (#7090, #7100)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0173113704428663, 0.982688629557133), (0.0232503406565666, 1.), .UNSPECIFIED.);
#7120 = ADVANCED_FACE ('', (#7060), #7110, .T.);
#7130 = ORIENTED_EDGE ('', *, *, #6480, .T.);
#7140 = ORIENTED_EDGE ('', *, *, #6040, .T.);
#7150 = ORIENTED_EDGE ('', *, *, #1770, .F.);
#7160 = ORIENTED_EDGE ('', *, *, #5810, .T.);
#7170 = ORIENTED_EDGE ('', *, *, #6930, .T.);
#7180 = EDGE_LOOP ('', (#7130, #7140, #7150, #7160, #7170));
#7190 = FACE_OUTER_BOUND ('', #7180, .T.);
#7200 = CARTESIAN_POINT ('', (-23.3615554934028, -2.15050612541781, -2.89949387458219));
#7210 = CARTESIAN_POINT ('', (-23.3615554934028, -2.45, -0.0499999999999994));
#7220 = CARTESIAN_POINT ('', (0.96155549340282, -2.15050612541781, -2.89949387458219));
#7230 = CARTESIAN_POINT ('', (0.96155549340282, -2.45, -0.0499999999999994));
#7240 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7200, #7210), (#7220, #7230)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00562782547142986, 0.99437217452857), (0., 1.), .UNSPECIFIED.);
#7250 = ADVANCED_FACE ('', (#7190), #7240, .T.);
#7260 = ORIENTED_EDGE ('', *, *, #1210, .F.);
#7270 = ORIENTED_EDGE ('', *, *, #4780, .T.);
#7280 = ORIENTED_EDGE ('', *, *, #5220, .T.);
#7290 = ORIENTED_EDGE ('', *, *, #7010, .T.);
#7300 = ORIENTED_EDGE ('', *, *, #4570, .T.);
#7310 = EDGE_LOOP ('', (#7260, #7270, #7280, #7290, #7300));
#7320 = FACE_OUTER_BOUND ('', #7310, .T.);
#7330 = CARTESIAN_POINT ('', (-23.3615554934028, -2.15050612541781, -2.89949387458219));
#7340 = CARTESIAN_POINT ('', (-23.3615554934028, -2.45, -0.0499999999999994));
#7350 = CARTESIAN_POINT ('', (0.96155549340282, -2.15050612541781, -2.89949387458219));
#7360 = CARTESIAN_POINT ('', (0.96155549340282, -2.45, -0.0499999999999994));
#7370 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7330, #7340), (#7350, #7360)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00562782547142986, 0.99437217452857), (0., 1.), .UNSPECIFIED.);
#7380 = ADVANCED_FACE ('', (#7320), #7370, .T.);
#7390 = ORIENTED_EDGE ('', *, *, #6710, .T.);
#7400 = ORIENTED_EDGE ('', *, *, #4160, .T.);
#7410 = ORIENTED_EDGE ('', *, *, #5450, .T.);
#7420 = CARTESIAN_POINT ('', (-2.9, 2.15050612541781, -2.89949387458219));
#7430 = CARTESIAN_POINT ('', (0.674140287105487, 2.15050612541781, -2.89949387458219));
#7440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7420, #7430), .UNSPECIFIED., .F., .U., (2, 2), (0.83739837398374, 0.982688629557134), .UNSPECIFIED.);
#7450 = EDGE_CURVE ('', #5410, #4380, #7440, .T.);
#7460 = ORIENTED_EDGE ('', *, *, #7450, .T.);
#7470 = ORIENTED_EDGE ('', *, *, #4420, .T.);
#7480 = ORIENTED_EDGE ('', *, *, #3520, .T.);
#7490 = ORIENTED_EDGE ('', *, *, #5680, .T.);
#7500 = CARTESIAN_POINT ('', (-23.0741402871055, 2.15050612541781, -2.89949387458219));
#7510 = CARTESIAN_POINT ('', (-19.5, 2.15050612541781, -2.89949387458219));
#7520 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7500, #7510), .UNSPECIFIED., .F., .U., (2, 2), (0.0173113704428664, 0.16260162601626), .UNSPECIFIED.);
#7530 = EDGE_CURVE ('', #5640, #6670, #7520, .T.);
#7540 = ORIENTED_EDGE ('', *, *, #7530, .T.);
#7550 = EDGE_LOOP ('', (#7390, #7400, #7410, #7460, #7470, #7480, #7490, #7540));
#7560 = FACE_OUTER_BOUND ('', #7550, .T.);
#7570 = CARTESIAN_POINT ('', (-23.0741402871055, 2.15050612541781, -2.89949387458219));
#7580 = CARTESIAN_POINT ('', (-23.0741402871055, 0.0499999999999976, -5.));
#7590 = CARTESIAN_POINT ('', (0.674140287105487, 2.15050612541781, -2.89949387458219));
#7600 = CARTESIAN_POINT ('', (0.674140287105487, 0.0499999999999976, -5.));
#7610 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7570, #7580), (#7590, #7600)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0173113704428664, 0.982688629557134), (0., 0.976749659343433), .UNSPECIFIED.);
#7620 = ADVANCED_FACE ('', (#7560), #7610, .T.);
#7630 = ORIENTED_EDGE ('', *, *, #5530, .T.);
#7640 = ORIENTED_EDGE ('', *, *, #5000, .T.);
#7650 = ORIENTED_EDGE ('', *, *, #650, .F.);
#7660 = ORIENTED_EDGE ('', *, *, #4470, .T.);
#7670 = ORIENTED_EDGE ('', *, *, #7450, .F.);
#7680 = EDGE_LOOP ('', (#7630, #7640, #7650, #7660, #7670));
#7690 = FACE_OUTER_BOUND ('', #7680, .T.);
#7700 = CARTESIAN_POINT ('', (-23.3615554934028, 2.45, -0.05));
#7710 = CARTESIAN_POINT ('', (-23.3615554934028, 2.15050612541781, -2.89949387458219));
#7720 = CARTESIAN_POINT ('', (0.96155549340282, 2.45, -0.05));
#7730 = CARTESIAN_POINT ('', (0.96155549340282, 2.15050612541781, -2.89949387458219));
#7740 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7700, #7710), (#7720, #7730)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0056278254714298, 0.99437217452857), (0., 1.), .UNSPECIFIED.);
#7750 = ADVANCED_FACE ('', (#7690), #7740, .T.);
#7760 = ORIENTED_EDGE ('', *, *, #6760, .T.);
#7770 = ORIENTED_EDGE ('', *, *, #7530, .F.);
#7780 = ORIENTED_EDGE ('', *, *, #5890, .T.);
#7790 = ORIENTED_EDGE ('', *, *, #90, .F.);
#7800 = ORIENTED_EDGE ('', *, *, #6260, .T.);
#7810 = EDGE_LOOP ('', (#7760, #7770, #7780, #7790, #7800));
#7820 = FACE_OUTER_BOUND ('', #7810, .T.);
#7830 = CARTESIAN_POINT ('', (-23.3615554934028, 2.45, -0.05));
#7840 = CARTESIAN_POINT ('', (-23.3615554934028, 2.15050612541781, -2.89949387458219));
#7850 = CARTESIAN_POINT ('', (0.96155549340282, 2.45, -0.05));
#7860 = CARTESIAN_POINT ('', (0.96155549340282, 2.15050612541781, -2.89949387458219));
#7870 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7830, #7840), (#7850, #7860)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0056278254714298, 0.99437217452857), (0., 1.), .UNSPECIFIED.);
#7880 = ADVANCED_FACE ('', (#7820), #7870, .T.);
#7890 = CLOSED_SHELL ('', (#560, #1120, #1680, #2240, #3120, #3280, #3440, #3800, #4080, #4360, #4720, #4940, #5160, #5390, #5620, #5980, #6200, #6420, #6650, #6880, #7120, #7250, #7380, #7620, #7750, #7880));
#7900 = MANIFOLD_SOLID_BREP ('', #7890);
#7910 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#7920 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#7930 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#7940 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #7910, 'DISTANCE_ACCURACY_VALUE', '');
#7950 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#7940))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#7910, #7920, #7930))
   REPRESENTATION_CONTEXT ('', '3D')
);
#7960 = COLOUR_RGB ('', 1., 0.75, 0.);
#7970 = FILL_AREA_STYLE_COLOUR ('', #7960);
#7980 = FILL_AREA_STYLE ('', (#7970));
#7990 = SURFACE_STYLE_FILL_AREA (#7980);
#8000 = SURFACE_SIDE_STYLE ('', (#7990));
#8010 = SURFACE_STYLE_USAGE (.POSITIVE., #8000);
#8020 = PRESENTATION_STYLE_ASSIGNMENT ((#8010));
#8030 = STYLED_ITEM ('', (#8020), #7900);
#8040 = COLOUR_RGB ('', 1., 0.75, 0.);
#8050 = FILL_AREA_STYLE_COLOUR ('', #8040);
#8060 = FILL_AREA_STYLE ('', (#8050));
#8070 = SURFACE_STYLE_FILL_AREA (#8060);
#8080 = SURFACE_SIDE_STYLE ('', (#8070));
#8090 = SURFACE_STYLE_USAGE (.POSITIVE., #8080);
#8100 = PRESENTATION_STYLE_ASSIGNMENT ((#8090));
#8110 = OVER_RIDING_STYLED_ITEM ('', (#8100), #560, #8030);
#8120 = COLOUR_RGB ('', 1., 0.75, 0.);
#8130 = FILL_AREA_STYLE_COLOUR ('', #8120);
#8140 = FILL_AREA_STYLE ('', (#8130));
#8150 = SURFACE_STYLE_FILL_AREA (#8140);
#8160 = SURFACE_SIDE_STYLE ('', (#8150));
#8170 = SURFACE_STYLE_USAGE (.POSITIVE., #8160);
#8180 = PRESENTATION_STYLE_ASSIGNMENT ((#8170));
#8190 = OVER_RIDING_STYLED_ITEM ('', (#8180), #1120, #8030);
#8200 = COLOUR_RGB ('', 1., 0.75, 0.);
#8210 = FILL_AREA_STYLE_COLOUR ('', #8200);
#8220 = FILL_AREA_STYLE ('', (#8210));
#8230 = SURFACE_STYLE_FILL_AREA (#8220);
#8240 = SURFACE_SIDE_STYLE ('', (#8230));
#8250 = SURFACE_STYLE_USAGE (.POSITIVE., #8240);
#8260 = PRESENTATION_STYLE_ASSIGNMENT ((#8250));
#8270 = OVER_RIDING_STYLED_ITEM ('', (#8260), #1680, #8030);
#8280 = COLOUR_RGB ('', 1., 0.75, 0.);
#8290 = FILL_AREA_STYLE_COLOUR ('', #8280);
#8300 = FILL_AREA_STYLE ('', (#8290));
#8310 = SURFACE_STYLE_FILL_AREA (#8300);
#8320 = SURFACE_SIDE_STYLE ('', (#8310));
#8330 = SURFACE_STYLE_USAGE (.POSITIVE., #8320);
#8340 = PRESENTATION_STYLE_ASSIGNMENT ((#8330));
#8350 = OVER_RIDING_STYLED_ITEM ('', (#8340), #2240, #8030);
#8360 = COLOUR_RGB ('', 1., 0.75, 0.);
#8370 = FILL_AREA_STYLE_COLOUR ('', #8360);
#8380 = FILL_AREA_STYLE ('', (#8370));
#8390 = SURFACE_STYLE_FILL_AREA (#8380);
#8400 = SURFACE_SIDE_STYLE ('', (#8390));
#8410 = SURFACE_STYLE_USAGE (.POSITIVE., #8400);
#8420 = PRESENTATION_STYLE_ASSIGNMENT ((#8410));
#8430 = OVER_RIDING_STYLED_ITEM ('', (#8420), #3280, #8030);
#8440 = COLOUR_RGB ('', 1., 0.75, 0.);
#8450 = FILL_AREA_STYLE_COLOUR ('', #8440);
#8460 = FILL_AREA_STYLE ('', (#8450));
#8470 = SURFACE_STYLE_FILL_AREA (#8460);
#8480 = SURFACE_SIDE_STYLE ('', (#8470));
#8490 = SURFACE_STYLE_USAGE (.POSITIVE., #8480);
#8500 = PRESENTATION_STYLE_ASSIGNMENT ((#8490));
#8510 = OVER_RIDING_STYLED_ITEM ('', (#8500), #3440, #8030);
#8520 = COLOUR_RGB ('', 1., 0.75, 0.);
#8530 = FILL_AREA_STYLE_COLOUR ('', #8520);
#8540 = FILL_AREA_STYLE ('', (#8530));
#8550 = SURFACE_STYLE_FILL_AREA (#8540);
#8560 = SURFACE_SIDE_STYLE ('', (#8550));
#8570 = SURFACE_STYLE_USAGE (.POSITIVE., #8560);
#8580 = PRESENTATION_STYLE_ASSIGNMENT ((#8570));
#8590 = OVER_RIDING_STYLED_ITEM ('', (#8580), #3800, #8030);
#8600 = COLOUR_RGB ('', 1., 0.75, 0.);
#8610 = FILL_AREA_STYLE_COLOUR ('', #8600);
#8620 = FILL_AREA_STYLE ('', (#8610));
#8630 = SURFACE_STYLE_FILL_AREA (#8620);
#8640 = SURFACE_SIDE_STYLE ('', (#8630));
#8650 = SURFACE_STYLE_USAGE (.POSITIVE., #8640);
#8660 = PRESENTATION_STYLE_ASSIGNMENT ((#8650));
#8670 = OVER_RIDING_STYLED_ITEM ('', (#8660), #4080, #8030);
#8680 = COLOUR_RGB ('', 1., 0.75, 0.);
#8690 = FILL_AREA_STYLE_COLOUR ('', #8680);
#8700 = FILL_AREA_STYLE ('', (#8690));
#8710 = SURFACE_STYLE_FILL_AREA (#8700);
#8720 = SURFACE_SIDE_STYLE ('', (#8710));
#8730 = SURFACE_STYLE_USAGE (.POSITIVE., #8720);
#8740 = PRESENTATION_STYLE_ASSIGNMENT ((#8730));
#8750 = OVER_RIDING_STYLED_ITEM ('', (#8740), #4360, #8030);
#8760 = COLOUR_RGB ('', 1., 0.75, 0.);
#8770 = FILL_AREA_STYLE_COLOUR ('', #8760);
#8780 = FILL_AREA_STYLE ('', (#8770));
#8790 = SURFACE_STYLE_FILL_AREA (#8780);
#8800 = SURFACE_SIDE_STYLE ('', (#8790));
#8810 = SURFACE_STYLE_USAGE (.POSITIVE., #8800);
#8820 = PRESENTATION_STYLE_ASSIGNMENT ((#8810));
#8830 = OVER_RIDING_STYLED_ITEM ('', (#8820), #4720, #8030);
#8840 = COLOUR_RGB ('', 1., 0.75, 0.);
#8850 = FILL_AREA_STYLE_COLOUR ('', #8840);
#8860 = FILL_AREA_STYLE ('', (#8850));
#8870 = SURFACE_STYLE_FILL_AREA (#8860);
#8880 = SURFACE_SIDE_STYLE ('', (#8870));
#8890 = SURFACE_STYLE_USAGE (.POSITIVE., #8880);
#8900 = PRESENTATION_STYLE_ASSIGNMENT ((#8890));
#8910 = OVER_RIDING_STYLED_ITEM ('', (#8900), #4940, #8030);
#8920 = COLOUR_RGB ('', 1., 0.75, 0.);
#8930 = FILL_AREA_STYLE_COLOUR ('', #8920);
#8940 = FILL_AREA_STYLE ('', (#8930));
#8950 = SURFACE_STYLE_FILL_AREA (#8940);
#8960 = SURFACE_SIDE_STYLE ('', (#8950));
#8970 = SURFACE_STYLE_USAGE (.POSITIVE., #8960);
#8980 = PRESENTATION_STYLE_ASSIGNMENT ((#8970));
#8990 = OVER_RIDING_STYLED_ITEM ('', (#8980), #5160, #8030);
#9000 = COLOUR_RGB ('', 1., 0.75, 0.);
#9010 = FILL_AREA_STYLE_COLOUR ('', #9000);
#9020 = FILL_AREA_STYLE ('', (#9010));
#9030 = SURFACE_STYLE_FILL_AREA (#9020);
#9040 = SURFACE_SIDE_STYLE ('', (#9030));
#9050 = SURFACE_STYLE_USAGE (.POSITIVE., #9040);
#9060 = PRESENTATION_STYLE_ASSIGNMENT ((#9050));
#9070 = OVER_RIDING_STYLED_ITEM ('', (#9060), #5390, #8030);
#9080 = COLOUR_RGB ('', 1., 0.75, 0.);
#9090 = FILL_AREA_STYLE_COLOUR ('', #9080);
#9100 = FILL_AREA_STYLE ('', (#9090));
#9110 = SURFACE_STYLE_FILL_AREA (#9100);
#9120 = SURFACE_SIDE_STYLE ('', (#9110));
#9130 = SURFACE_STYLE_USAGE (.POSITIVE., #9120);
#9140 = PRESENTATION_STYLE_ASSIGNMENT ((#9130));
#9150 = OVER_RIDING_STYLED_ITEM ('', (#9140), #5620, #8030);
#9160 = COLOUR_RGB ('', 1., 0.75, 0.);
#9170 = FILL_AREA_STYLE_COLOUR ('', #9160);
#9180 = FILL_AREA_STYLE ('', (#9170));
#9190 = SURFACE_STYLE_FILL_AREA (#9180);
#9200 = SURFACE_SIDE_STYLE ('', (#9190));
#9210 = SURFACE_STYLE_USAGE (.POSITIVE., #9200);
#9220 = PRESENTATION_STYLE_ASSIGNMENT ((#9210));
#9230 = OVER_RIDING_STYLED_ITEM ('', (#9220), #5980, #8030);
#9240 = COLOUR_RGB ('', 1., 0.75, 0.);
#9250 = FILL_AREA_STYLE_COLOUR ('', #9240);
#9260 = FILL_AREA_STYLE ('', (#9250));
#9270 = SURFACE_STYLE_FILL_AREA (#9260);
#9280 = SURFACE_SIDE_STYLE ('', (#9270));
#9290 = SURFACE_STYLE_USAGE (.POSITIVE., #9280);
#9300 = PRESENTATION_STYLE_ASSIGNMENT ((#9290));
#9310 = OVER_RIDING_STYLED_ITEM ('', (#9300), #6200, #8030);
#9320 = COLOUR_RGB ('', 1., 0.75, 0.);
#9330 = FILL_AREA_STYLE_COLOUR ('', #9320);
#9340 = FILL_AREA_STYLE ('', (#9330));
#9350 = SURFACE_STYLE_FILL_AREA (#9340);
#9360 = SURFACE_SIDE_STYLE ('', (#9350));
#9370 = SURFACE_STYLE_USAGE (.POSITIVE., #9360);
#9380 = PRESENTATION_STYLE_ASSIGNMENT ((#9370));
#9390 = OVER_RIDING_STYLED_ITEM ('', (#9380), #6420, #8030);
#9400 = COLOUR_RGB ('', 1., 0.75, 0.);
#9410 = FILL_AREA_STYLE_COLOUR ('', #9400);
#9420 = FILL_AREA_STYLE ('', (#9410));
#9430 = SURFACE_STYLE_FILL_AREA (#9420);
#9440 = SURFACE_SIDE_STYLE ('', (#9430));
#9450 = SURFACE_STYLE_USAGE (.POSITIVE., #9440);
#9460 = PRESENTATION_STYLE_ASSIGNMENT ((#9450));
#9470 = OVER_RIDING_STYLED_ITEM ('', (#9460), #6650, #8030);
#9480 = COLOUR_RGB ('', 1., 0.75, 0.);
#9490 = FILL_AREA_STYLE_COLOUR ('', #9480);
#9500 = FILL_AREA_STYLE ('', (#9490));
#9510 = SURFACE_STYLE_FILL_AREA (#9500);
#9520 = SURFACE_SIDE_STYLE ('', (#9510));
#9530 = SURFACE_STYLE_USAGE (.POSITIVE., #9520);
#9540 = PRESENTATION_STYLE_ASSIGNMENT ((#9530));
#9550 = OVER_RIDING_STYLED_ITEM ('', (#9540), #6880, #8030);
#9560 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#7900), #7950);
#9570 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#9580 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #9570);
#9590 = MECHANICAL_CONTEXT ('', #9570, 'mechanical');
#9600 = PRODUCT ('product-name', '', '', (#9590));
#9610 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#9620 = PERSON ('', '', $, $, $, $);
#9630 = ORGANIZATION ($, '', '');
#9640 = PERSON_AND_ORGANIZATION (#9620, #9630);
#9650 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#9640, #9610, (#9600));
#9660 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#9600));
#9670 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #9600, .NOT_KNOWN.);
#9680 = APPROVAL_STATUS ('approved');
#9690 = APPROVAL (#9680, '');
#9700 = CALENDAR_DATE (2011, 25, 8);
#9710 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#9720 = LOCAL_TIME (15, 4, 33., #9710);
#9730 = DATE_AND_TIME (#9700, #9720);
#9740 = APPROVAL_DATE_TIME (#9730, #9690);
#9750 = APPROVAL_ROLE ('');
#9760 = PERSON ('', '', $, $, $, $);
#9770 = ORGANIZATION ($, '', '');
#9780 = PERSON_AND_ORGANIZATION (#9760, #9770);
#9790 = APPROVAL_PERSON_ORGANIZATION (#9780, #9690, #9750);
#9800 = CC_DESIGN_APPROVAL (#9690, (#9670));
#9810 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#9820 = PERSON ('', '', $, $, $, $);
#9830 = ORGANIZATION ($, '', '');
#9840 = PERSON_AND_ORGANIZATION (#9820, #9830);
#9850 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#9840, #9810, (#9670));
#9860 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#9870 = PERSON ('', '', $, $, $, $);
#9880 = ORGANIZATION ($, '', '');
#9890 = PERSON_AND_ORGANIZATION (#9870, #9880);
#9900 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#9890, #9860, (#9670));
#9910 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#9920 = SECURITY_CLASSIFICATION ('', '', #9910);
#9930 = APPROVAL_STATUS ('approved');
#9940 = APPROVAL (#9930, '');
#9950 = CALENDAR_DATE (2011, 25, 8);
#9960 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#9970 = LOCAL_TIME (15, 4, 33., #9960);
#9980 = DATE_AND_TIME (#9950, #9970);
#9990 = APPROVAL_DATE_TIME (#9980, #9940);
#10000 = APPROVAL_ROLE ('');
#10010 = PERSON ('', '', $, $, $, $);
#10020 = ORGANIZATION ($, '', '');
#10030 = PERSON_AND_ORGANIZATION (#10010, #10020);
#10040 = APPROVAL_PERSON_ORGANIZATION (#10030, #9940, #10000);
#10050 = CC_DESIGN_APPROVAL (#9940, (#9920));
#10060 = DATE_TIME_ROLE ('classification_date');
#10070 = CALENDAR_DATE (2011, 25, 8);
#10080 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10090 = LOCAL_TIME (15, 4, 33., #10080);
#10100 = DATE_AND_TIME (#10070, #10090);
#10110 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#10100, #10060, (#9920));
#10120 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#10130 = PERSON ('', '', $, $, $, $);
#10140 = ORGANIZATION ($, '', '');
#10150 = PERSON_AND_ORGANIZATION (#10130, #10140);
#10160 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10150, #10120, (#9920));
#10170 = CC_DESIGN_SECURITY_CLASSIFICATION (#9920, (#9670));
#10180 = DESIGN_CONTEXT ('', #9570, 'design');
#10190 = PRODUCT_DEFINITION ('', '', #9670, #10180);
#10200 = APPROVAL_STATUS ('approved');
#10210 = APPROVAL (#10200, '');
#10220 = CALENDAR_DATE (2011, 25, 8);
#10230 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10240 = LOCAL_TIME (15, 4, 33., #10230);
#10250 = DATE_AND_TIME (#10220, #10240);
#10260 = APPROVAL_DATE_TIME (#10250, #10210);
#10270 = APPROVAL_ROLE ('');
#10280 = PERSON ('', '', $, $, $, $);
#10290 = ORGANIZATION ($, '', '');
#10300 = PERSON_AND_ORGANIZATION (#10280, #10290);
#10310 = APPROVAL_PERSON_ORGANIZATION (#10300, #10210, #10270);
#10320 = CC_DESIGN_APPROVAL (#10210, (#10190));
#10330 = DATE_TIME_ROLE ('creation_date');
#10340 = CALENDAR_DATE (2011, 25, 8);
#10350 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10360 = LOCAL_TIME (15, 4, 33., #10350);
#10370 = DATE_AND_TIME (#10340, #10360);
#10380 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#10370, #10330, (#10190));
#10390 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#10400 = PERSON ('', '', $, $, $, $);
#10410 = ORGANIZATION ($, '', '');
#10420 = PERSON_AND_ORGANIZATION (#10400, #10410);
#10430 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10420, #10390, (#10190));
#10440 = PRODUCT_DEFINITION_SHAPE ('', '', #10190);
#10450 = SHAPE_DEFINITION_REPRESENTATION (#10440, #9560);
ENDSEC;
END-ISO-10303-21;