ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('C:\\TDMTemp\\Tools\\SMLIB\\turning\\test\\step\\SCLCL 2020 K12.stp', '2011-01-12T09:44:16', ('Unknown'), ('Unknown'), 'HarmonyWare STEP v1.4.4', 'HarmonyWare Translators', '');
FILE_SCHEMA (('CONFIG_CONTROL_DESIGN'));
ENDSEC;

DATA;
#10 = CARTESIAN_POINT ('', (6.8693118140219, -4.14797788758121, 15.570754942748));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (6.8693118140219, -4.14797788758121, 15.56));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (6.8693118140219, -4.14797788758121, 15.570754942748));
#60 = CARTESIAN_POINT ('', (6.8693118140219, -4.14797788758121, 15.56));
#70 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#50, #60), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#80 = EDGE_CURVE ('', #20, #40, #70, .T.);
#90 = ORIENTED_EDGE ('', *, *, #80, .T.);
#100 = CARTESIAN_POINT ('', (7.6614164164435, -13.2017749225179, 15.56));
#110 = VERTEX_POINT ('', #100);
#120 = CARTESIAN_POINT ('', (6.8693118140219, -4.14797788758121, 15.56));
#130 = CARTESIAN_POINT ('', (7.6614164164435, -13.2017749225179, 15.56));
#140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#120, #130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#150 = EDGE_CURVE ('', #40, #110, #140, .T.);
#160 = ORIENTED_EDGE ('', *, *, #150, .T.);
#170 = CARTESIAN_POINT ('', (7.6614164164435, -13.2017749225179, 15.570754942748));
#180 = VERTEX_POINT ('', #170);
#190 = CARTESIAN_POINT ('', (7.6614164164435, -13.2017749225179, 15.56));
#200 = CARTESIAN_POINT ('', (7.6614164164435, -13.2017749225179, 15.570754942748));
#210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#190, #200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#220 = EDGE_CURVE ('', #110, #180, #210, .T.);
#230 = ORIENTED_EDGE ('', *, *, #220, .T.);
#240 = CARTESIAN_POINT ('', (7.6614164164435, -13.2017749225179, 15.570754942748));
#250 = CARTESIAN_POINT ('', (6.8693118140219, -4.14797788758121, 15.570754942748));
#260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#240, #250), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#270 = EDGE_CURVE ('', #180, #20, #260, .T.);
#280 = ORIENTED_EDGE ('', *, *, #270, .T.);
#290 = EDGE_LOOP ('', (#90, #160, #230, #280));
#300 = FACE_OUTER_BOUND ('', #290, .F.);
#310 = CARTESIAN_POINT ('', (6.8693118140219, -4.14797788758121, 15.570754942748));
#320 = CARTESIAN_POINT ('', (7.6614164164435, -13.2017749225179, 15.570754942748));
#330 = CARTESIAN_POINT ('', (6.8693118140219, -4.14797788758121, 15.56));
#340 = CARTESIAN_POINT ('', (7.6614164164435, -13.2017749225179, 15.56));
#350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#310, #320), (#330, #340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.0107549427479992), (0., 9.0883810687606), .UNSPECIFIED.);
#360 = ADVANCED_FACE ('', (#300), #350, .F.);
#370 = CARTESIAN_POINT ('', (11.1630169767188, -8.0874981530039, 11.56));
#380 = VERTEX_POINT ('', #370);
#390 = CARTESIAN_POINT ('', (11.1630169767188, -8.0874981530039, 0.));
#400 = VERTEX_POINT ('', #390);
#410 = CARTESIAN_POINT ('', (11.1630169767188, -8.0874981530039, 11.56));
#420 = CARTESIAN_POINT ('', (11.1630169767188, -8.0874981530039, 0.));
#430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#410, #420), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#440 = EDGE_CURVE ('', #380, #400, #430, .T.);
#450 = ORIENTED_EDGE ('', *, *, #440, .T.);
#460 = CARTESIAN_POINT ('', (14.8369830232812, -8.40892853225731, 0.));
#470 = VERTEX_POINT ('', #460);
#480 = CARTESIAN_POINT ('', (14.8369830232811, -8.4089285322573, 0.));
#490 = CARTESIAN_POINT ('', (14.6762678336544, -10.2459115555385, 0.));
#500 = CARTESIAN_POINT ('', (12.8392848103732, -10.0851963659118, 0.));
#510 = CARTESIAN_POINT ('', (11.0023017870919, -9.92448117628511, 0.));
#520 = CARTESIAN_POINT ('', (11.1630169767187, -8.08749815300389, 0.));
#530 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#480, #490, #500, #510, #520), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (5.00000000000029, 95.0000000000007, 185.000000000001), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186545, 1., 0.707106781186545, 1.))
   REPRESENTATION_ITEM ('')
);
#540 = EDGE_CURVE ('', #470, #400, #530, .T.);
#550 = ORIENTED_EDGE ('', *, *, #540, .F.);
#560 = CARTESIAN_POINT ('', (14.8369830232812, -8.40892853225731, 11.56));
#570 = VERTEX_POINT ('', #560);
#580 = CARTESIAN_POINT ('', (14.8369830232812, -8.40892853225731, 11.56));
#590 = CARTESIAN_POINT ('', (14.8369830232812, -8.40892853225731, 0.));
#600 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#580, #590), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#610 = EDGE_CURVE ('', #570, #470, #600, .T.);
#620 = ORIENTED_EDGE ('', *, *, #610, .F.);
#630 = CARTESIAN_POINT ('', (14.8369830232811, -8.4089285322573, 11.56));
#640 = CARTESIAN_POINT ('', (14.6762678336544, -10.2459115555385, 11.56));
#650 = CARTESIAN_POINT ('', (12.8392848103732, -10.0851963659118, 11.56));
#660 = CARTESIAN_POINT ('', (11.0023017870919, -9.92448117628511, 11.56));
#670 = CARTESIAN_POINT ('', (11.1630169767187, -8.08749815300389, 11.56));
#680 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#630, #640, #650, #660, #670), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (5.00000000000029, 95.0000000000007, 185.000000000001), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186545, 1., 0.707106781186545, 1.))
   REPRESENTATION_ITEM ('')
);
#690 = EDGE_CURVE ('', #570, #380, #680, .T.);
#700 = ORIENTED_EDGE ('', *, *, #690, .T.);
#710 = EDGE_LOOP ('', (#450, #550, #620, #700));
#720 = FACE_OUTER_BOUND ('', #710, .F.);
#730 = CARTESIAN_POINT ('', (11.1630169767217, -8.08749815297041, -2.38919994899334E-13));
#740 = CARTESIAN_POINT ('', (11.163016976721, -8.08749815297037, 11.56));
#750 = CARTESIAN_POINT ('', (11.156, -8.16770256389046, -2.38919994899334E-13));
#760 = CARTESIAN_POINT ('', (11.1559999999993, -8.16770256389042, 11.56));
#770 = CARTESIAN_POINT ('', (11.156, -8.24821334263061, -2.38919994899334E-13));
#780 = CARTESIAN_POINT ('', (11.1559999999993, -8.24821334263056, 11.56));
#790 = CARTESIAN_POINT ('', (11.156, -10.0922133426457, -2.32702745961433E-13));
#800 = CARTESIAN_POINT ('', (11.1559999999993, -10.0922133426456, 11.56));
#810 = CARTESIAN_POINT ('', (13.0000000000151, -10.0922133426457, -1.12798659301916E-13));
#820 = CARTESIAN_POINT ('', (13.0000000000143, -10.0922133426456, 11.5600000000001));
#830 = CARTESIAN_POINT ('', (14.6897146849158, -10.0922133426457, -3.5527136788005E-15));
#840 = CARTESIAN_POINT ('', (14.6897146849151, -10.0922133426456, 11.5600000000002));
#850 = CARTESIAN_POINT ('', (14.8369830233112, -8.40892853225991, 4.44089209850063E-16));
#860 = CARTESIAN_POINT ('', (14.8369830233104, -8.40892853225987, 11.5600000000002));
#870 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#730, #740), (#750, #760), (#770, #780), (#790, #800), (#810, #820), (#830, #840), (#850, #860)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 3), (2, 2), (0.484837734480201, 0.5, 0.75, 0.984837734483076), (0.0834054085221708, 0.916594591477829), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.966627305347291, 0.966627305347291), (0.982236300989608, 0.982236300989608), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.724870480193572, 0.724870480193572), (0.96662730535321, 0.96662730535321)))
   REPRESENTATION_ITEM ('')
);
#880 = ADVANCED_FACE ('', (#720), #870, .F.);
#890 = CARTESIAN_POINT ('', (15.344, -8.24821334263061, 12.06));
#900 = VERTEX_POINT ('', #890);
#910 = CARTESIAN_POINT ('', (14.844, -8.24821334263061, 11.56));
#920 = VERTEX_POINT ('', #910);
#930 = CARTESIAN_POINT ('', (15.344, -8.24821334263061, 12.06));
#940 = CARTESIAN_POINT ('', (14.844, -8.24821334263061, 11.56));
#950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#930, #940), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#960 = EDGE_CURVE ('', #900, #920, #950, .T.);
#970 = ORIENTED_EDGE ('', *, *, #960, .F.);
#980 = CARTESIAN_POINT ('', (15.335080372327, -8.45250640363111, 12.06));
#990 = VERTEX_POINT ('', #980);
#1000 = CARTESIAN_POINT ('', (15.335080372327, -8.45250640363111, 12.06));
#1010 = CARTESIAN_POINT ('', (15.344, -8.35055459280815, 12.06));
#1020 = CARTESIAN_POINT ('', (15.344, -8.24821334263061, 12.06));
#1030 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1000, #1010, #1020), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (174.999999999996, 179.999999999997), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.999048221581857, 1.))
   REPRESENTATION_ITEM ('')
);
#1040 = EDGE_CURVE ('', #990, #900, #1030, .T.);
#1050 = ORIENTED_EDGE ('', *, *, #1040, .F.);
#1060 = CARTESIAN_POINT ('', (14.8369830232812, -8.40892853225731, 11.56));
#1070 = CARTESIAN_POINT ('', (15.335080372327, -8.45250640363111, 12.06));
#1080 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1060, #1070), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1090 = EDGE_CURVE ('', #570, #990, #1080, .T.);
#1100 = ORIENTED_EDGE ('', *, *, #1090, .F.);
#1110 = CARTESIAN_POINT ('', (14.844, -8.24821334263061, 11.56));
#1120 = CARTESIAN_POINT ('', (14.844, -8.32872412135391, 11.56));
#1130 = CARTESIAN_POINT ('', (14.8369830232811, -8.40892853225731, 11.56));
#1140 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1110, #1120, #1130), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 4.99999999999682), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.999048221581859, 1.))
   REPRESENTATION_ITEM ('')
);
#1150 = EDGE_CURVE ('', #920, #570, #1140, .T.);
#1160 = ORIENTED_EDGE ('', *, *, #1150, .F.);
#1170 = EDGE_LOOP ('', (#970, #1050, #1100, #1160));
#1180 = FACE_OUTER_BOUND ('', #1170, .F.);
#1190 = CARTESIAN_POINT ('', (14.8369830232803, -8.40892853226736, 11.56));
#1200 = CARTESIAN_POINT ('', (15.3350803723317, -8.45250640364447, 12.0600000000057));
#1210 = CARTESIAN_POINT ('', (14.844, -8.32872412135896, 11.56));
#1220 = CARTESIAN_POINT ('', (15.3440000000058, -8.35055459281486, 12.0600000000057));
#1230 = CARTESIAN_POINT ('', (14.844, -8.24821334263061, 11.56));
#1240 = CARTESIAN_POINT ('', (15.3440000000058, -8.24821334263059, 12.0600000000057));
#1250 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#1190, #1200), (#1210, #1220), (#1230, #1240)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.984837734482249, 1.), (0.786353944562383, 0.999573560769815), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.966627305351506, 0.966627305351506), (0.982236300992006, 0.982236300992006), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#1260 = ADVANCED_FACE ('', (#1180), #1250, .F.);
#1270 = CARTESIAN_POINT ('', (4.90000000000001, -2.1482133426306, 20.));
#1280 = VERTEX_POINT ('', #1270);
#1290 = CARTESIAN_POINT ('', (4.90000000000001, -2.1482133426306, 11.9));
#1300 = VERTEX_POINT ('', #1290);
#1310 = CARTESIAN_POINT ('', (4.90000000000001, -2.1482133426306, 20.));
#1320 = CARTESIAN_POINT ('', (4.90000000000001, -2.1482133426306, 11.9));
#1330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1310, #1320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1340 = EDGE_CURVE ('', #1280, #1300, #1330, .T.);
#1350 = ORIENTED_EDGE ('', *, *, #1340, .T.);
#1360 = CARTESIAN_POINT ('', (8.90000000000001, -2.1482133426306, 11.9));
#1370 = VERTEX_POINT ('', #1360);
#1380 = CARTESIAN_POINT ('', (8.90000000000001, -2.1482133426306, 11.9));
#1390 = CARTESIAN_POINT ('', (8.90000000000002, -4.1482133426306, 11.9));
#1400 = CARTESIAN_POINT ('', (6.90000000000001, -4.1482133426306, 11.9));
#1410 = CARTESIAN_POINT ('', (4.90000000000001, -4.1482133426306, 11.9));
#1420 = CARTESIAN_POINT ('', (4.90000000000001, -2.1482133426306, 11.9));
#1430 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1380, #1390, #1400, #1410, #1420), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 90., 180.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#1440 = EDGE_CURVE ('', #1370, #1300, #1430, .T.);
#1450 = ORIENTED_EDGE ('', *, *, #1440, .F.);
#1460 = CARTESIAN_POINT ('', (8.90000000000001, -2.1482133426306, 12.06));
#1470 = VERTEX_POINT ('', #1460);
#1480 = CARTESIAN_POINT ('', (8.90000000000001, -2.1482133426306, 12.06));
#1490 = CARTESIAN_POINT ('', (8.90000000000001, -2.1482133426306, 11.9));
#1500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1480, #1490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1510 = EDGE_CURVE ('', #1470, #1370, #1500, .T.);
#1520 = ORIENTED_EDGE ('', *, *, #1510, .F.);
#1530 = CARTESIAN_POINT ('', (6.8693118140219, -4.14797788758121, 12.06));
#1540 = VERTEX_POINT ('', #1530);
#1550 = CARTESIAN_POINT ('', (6.8693118140219, -4.14797788758121, 12.06));
#1560 = CARTESIAN_POINT ('', (8.90000000000003, -4.17914062465052, 12.06));
#1570 = CARTESIAN_POINT ('', (8.90000000000003, -2.1482133426306, 12.06));
#1580 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1550, #1560, #1570), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (89.1208137295259, 180.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.701660853621944, 1.))
   REPRESENTATION_ITEM ('')
);
#1590 = EDGE_CURVE ('', #1540, #1470, #1580, .T.);
#1600 = ORIENTED_EDGE ('', *, *, #1590, .F.);
#1610 = CARTESIAN_POINT ('', (6.8693118140219, -4.14797788758121, 15.56));
#1620 = CARTESIAN_POINT ('', (6.8693118140219, -4.14797788758121, 12.06));
#1630 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1610, #1620), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1640 = EDGE_CURVE ('', #40, #1540, #1630, .T.);
#1650 = ORIENTED_EDGE ('', *, *, #1640, .F.);
#1660 = ORIENTED_EDGE ('', *, *, #80, .F.);
#1670 = CARTESIAN_POINT ('', (6.4222286757832, -4.0903087475364, 19.4357069252703));
#1680 = VERTEX_POINT ('', #1670);
#1690 = CARTESIAN_POINT ('', (6.4222286757832, -4.0903087475364, 19.4357069252703));
#1700 = CARTESIAN_POINT ('', (6.6424998471159, -4.1444972539035, 17.551220269134));
#1710 = CARTESIAN_POINT ('', (6.8693118140219, -4.14797788758121, 15.570754942748));
#1720 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1690, #1700, #1710), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.993629424691029, 1.))
   REPRESENTATION_ITEM ('')
);
#1730 = EDGE_CURVE ('', #1680, #20, #1720, .T.);
#1740 = ORIENTED_EDGE ('', *, *, #1730, .F.);
#1750 = CARTESIAN_POINT ('', (5.83391506359411, -3.8403903157538, 20.));
#1760 = VERTEX_POINT ('', #1750);
#1770 = CARTESIAN_POINT ('', (5.83391506359411, -3.8403903157538, 20.));
#1780 = CARTESIAN_POINT ('', (6.10784355435329, -4.0129674411308, 19.7421549773929));
#1790 = CARTESIAN_POINT ('', (6.4222286757832, -4.0903087475364, 19.4357069252703));
#1800 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1770, #1780, #1790), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.987149553992714, 1.))
   REPRESENTATION_ITEM ('')
);
#1810 = EDGE_CURVE ('', #1760, #1680, #1800, .T.);
#1820 = ORIENTED_EDGE ('', *, *, #1810, .F.);
#1830 = CARTESIAN_POINT ('', (4.90000000000013, -2.1482133426306, 20.));
#1840 = CARTESIAN_POINT ('', (4.90000000000013, -3.25201640629047, 20.));
#1850 = CARTESIAN_POINT ('', (5.83391506359411, -3.84039031575378, 20.));
#1860 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1830, #1840, #1850), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 57.7887464267866), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.875511983985092, 1.))
   REPRESENTATION_ITEM ('')
);
#1870 = EDGE_CURVE ('', #1280, #1760, #1860, .T.);
#1880 = ORIENTED_EDGE ('', *, *, #1870, .F.);
#1890 = EDGE_LOOP ('', (#1350, #1450, #1520, #1600, #1650, #1660, #1740, #1820, #1880));
#1900 = FACE_OUTER_BOUND ('', #1890, .F.);
#1910 = CARTESIAN_POINT ('', (4.90000000079999, -2.14815677261084, 20.));
#1920 = CARTESIAN_POINT ('', (4.90000000000001, -2.14818505757523, 20.));
#1930 = CARTESIAN_POINT ('', (4.90000000000001, -4.14821334263061, 20.));
#1940 = CARTESIAN_POINT ('', (6.90000000000001, -4.1482133426306, 20.));
#1950 = CARTESIAN_POINT ('', (8.90000000000001, -4.14821334263061, 20.));
#1960 = CARTESIAN_POINT ('', (8.90000000000001, -2.1482133426306, 20.));
#1970 = CARTESIAN_POINT ('', (4.90000000079999, -2.14815677261084, 11.9));
#1980 = CARTESIAN_POINT ('', (4.90000000000001, -2.14818505757523, 11.9));
#1990 = CARTESIAN_POINT ('', (4.90000000000001, -4.14821334263061, 11.9));
#2000 = CARTESIAN_POINT ('', (6.90000000000001, -4.1482133426306, 11.9));
#2010 = CARTESIAN_POINT ('', (8.90000000000001, -4.14821334263061, 11.9));
#2020 = CARTESIAN_POINT ('', (8.90000000000001, -2.1482133426306, 11.9));
#2030 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#1910, #1920, #1930, #1940, #1950, #1960), (#1970, #1980, #1990, #2000, #2010, #2020)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 1, 2, 3), (0., 1.), (3.18260337568444E-11, 1.0000131827352E-5, 0.500005000065911, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.999988028324954, 0.999992277679861, 0.707106781186548, 1., 0.707106781186548, 1.), (0.999988028324954, 0.999992277679861, 0.707106781186548, 1., 0.707106781186548, 1.)))
   REPRESENTATION_ITEM ('')
);
#2040 = ADVANCED_FACE ('', (#1900), #2030, .F.);
#2050 = ORIENTED_EDGE ('', *, *, #1340, .F.);
#2060 = CARTESIAN_POINT ('', (8.5921769731231, -1.08212840622461, 20.));
#2070 = VERTEX_POINT ('', #2060);
#2080 = CARTESIAN_POINT ('', (8.59217697312306, -1.08212840622463, 20.));
#2090 = CARTESIAN_POINT ('', (7.79036397521189, 0.190574589082924, 20.));
#2100 = CARTESIAN_POINT ('', (6.3451819876059, -0.226709511480856, 20.));
#2110 = CARTESIAN_POINT ('', (4.89999999999991, -0.643993612044635, 20.));
#2120 = CARTESIAN_POINT ('', (4.89999999999989, -2.1482133426306, 20.));
#2130 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2080, #2090, #2100, #2110, #2120), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (122.211253573211, 196.105626786605, 270.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.799189904277139, 1., 0.799189904277139, 1.))
   REPRESENTATION_ITEM ('')
);
#2140 = EDGE_CURVE ('', #2070, #1280, #2130, .T.);
#2150 = ORIENTED_EDGE ('', *, *, #2140, .F.);
#2160 = CARTESIAN_POINT ('', (8.84209540490581, -1.6704420184138, 19.4357069252702));
#2170 = VERTEX_POINT ('', #2160);
#2180 = CARTESIAN_POINT ('', (8.84209540490581, -1.6704420184138, 19.4357069252702));
#2190 = CARTESIAN_POINT ('', (8.76475409850021, -1.3560568969838, 19.7421549773929));
#2200 = CARTESIAN_POINT ('', (8.5921769731231, -1.08212840622461, 20.));
#2210 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2180, #2190, #2200), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.987149553992713, 1.))
   REPRESENTATION_ITEM ('')
);
#2220 = EDGE_CURVE ('', #2170, #2070, #2210, .T.);
#2230 = ORIENTED_EDGE ('', *, *, #2220, .F.);
#2240 = CARTESIAN_POINT ('', (8.8997645449506, -2.1175251566525, 15.5707549427479));
#2250 = VERTEX_POINT ('', #2240);
#2260 = CARTESIAN_POINT ('', (8.8997645449506, -2.1175251566525, 15.5707549427479));
#2270 = CARTESIAN_POINT ('', (8.8962839112729, -1.89071318974651, 17.5512202691339));
#2280 = CARTESIAN_POINT ('', (8.84209540490581, -1.6704420184138, 19.4357069252703));
#2290 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2260, #2270, #2280), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.993629424691028, 1.))
   REPRESENTATION_ITEM ('')
);
#2300 = EDGE_CURVE ('', #2250, #2170, #2290, .T.);
#2310 = ORIENTED_EDGE ('', *, *, #2300, .F.);
#2320 = CARTESIAN_POINT ('', (8.8997645449506, -2.1175251566525, 12.06));
#2330 = VERTEX_POINT ('', #2320);
#2340 = CARTESIAN_POINT ('', (8.8997645449506, -2.1175251566525, 12.06));
#2350 = CARTESIAN_POINT ('', (8.8997645449506, -2.1175251566525, 15.5707549427479));
#2360 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2340, #2350), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2370 = EDGE_CURVE ('', #2330, #2250, #2360, .T.);
#2380 = ORIENTED_EDGE ('', *, *, #2370, .F.);
#2390 = CARTESIAN_POINT ('', (8.89982223681299, -2.1215483628185, 12.06));
#2400 = VERTEX_POINT ('', #2390);
#2410 = CARTESIAN_POINT ('', (8.89982223681295, -2.1215483628185, 12.06));
#2420 = CARTESIAN_POINT ('', (8.89979541436429, -2.11953673071944, 12.06));
#2430 = CARTESIAN_POINT ('', (8.89976454495057, -2.1175251566525, 12.06));
#2440 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2410, #2420, #2430), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (180.763918034814, 180.879186270373), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.999999494077491, 1.))
   REPRESENTATION_ITEM ('')
);
#2450 = EDGE_CURVE ('', #2400, #2330, #2440, .T.);
#2460 = ORIENTED_EDGE ('', *, *, #2450, .F.);
#2470 = CARTESIAN_POINT ('', (8.89999999999998, -2.1482133426306, 12.06));
#2480 = CARTESIAN_POINT ('', (8.89999999999998, -2.13488026019166, 12.06));
#2490 = CARTESIAN_POINT ('', (8.89982223681295, -2.1215483628185, 12.06));
#2500 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2470, #2480, #2490), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (180., 180.763918034814), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.999977779354748, 1.))
   REPRESENTATION_ITEM ('')
);
#2510 = EDGE_CURVE ('', #1470, #2400, #2500, .T.);
#2520 = ORIENTED_EDGE ('', *, *, #2510, .F.);
#2530 = ORIENTED_EDGE ('', *, *, #1510, .T.);
#2540 = CARTESIAN_POINT ('', (4.90000000000001, -2.1482133426306, 11.9));
#2550 = CARTESIAN_POINT ('', (4.90000000000001, -0.148213342630612, 11.9));
#2560 = CARTESIAN_POINT ('', (6.90000000000001, -0.148213342630605, 11.9));
#2570 = CARTESIAN_POINT ('', (8.90000000000002, -0.148213342630612, 11.9));
#2580 = CARTESIAN_POINT ('', (8.90000000000001, -2.1482133426306, 11.9));
#2590 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2540, #2550, #2560, #2570, #2580), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (180., 270., 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#2600 = EDGE_CURVE ('', #1300, #1370, #2590, .T.);
#2610 = ORIENTED_EDGE ('', *, *, #2600, .F.);
#2620 = EDGE_LOOP ('', (#2050, #2150, #2230, #2310, #2380, #2460, #2520, #2530, #2610));
#2630 = FACE_OUTER_BOUND ('', #2620, .F.);
#2640 = CARTESIAN_POINT ('', (8.90000000000001, -2.1482133426306, 11.9));
#2650 = CARTESIAN_POINT ('', (8.90000000000001, -2.1482133426306, 20.));
#2660 = CARTESIAN_POINT ('', (8.90000000000002, -0.148213342630612, 11.9));
#2670 = CARTESIAN_POINT ('', (8.90000000000002, -0.148213342630598, 20.));
#2680 = CARTESIAN_POINT ('', (6.90000000000001, -0.148213342630605, 11.9));
#2690 = CARTESIAN_POINT ('', (6.90000000000001, -0.148213342630605, 20.));
#2700 = CARTESIAN_POINT ('', (4.90000000000001, -0.148213342630612, 11.9));
#2710 = CARTESIAN_POINT ('', (4.90000000000001, -0.148213342630598, 20.));
#2720 = CARTESIAN_POINT ('', (4.90000000000001, -2.1482133426306, 11.9));
#2730 = CARTESIAN_POINT ('', (4.90000000000001, -2.1482133426306, 20.));
#2740 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#2640, #2650), (#2660, #2670), (#2680, #2690), (#2700, #2710), (#2720, #2730)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.25, 0.5), (0.0834361885954086, 0.916563811404591), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#2750 = ADVANCED_FACE ('', (#2630), #2740, .F.);
#2760 = ORIENTED_EDGE ('', *, *, #2600, .T.);
#2770 = ORIENTED_EDGE ('', *, *, #1440, .T.);
#2780 = EDGE_LOOP ('', (#2760, #2770));
#2790 = FACE_OUTER_BOUND ('', #2780, .F.);
#2800 = CARTESIAN_POINT ('', (4.90000000000001, -0.148213342630605, 11.9));
#2810 = CARTESIAN_POINT ('', (4.90000000000001, -4.1482133426306, 11.9));
#2820 = CARTESIAN_POINT ('', (8.90000000000001, -0.148213342630605, 11.9));
#2830 = CARTESIAN_POINT ('', (8.90000000000001, -4.1482133426306, 11.9));
#2840 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2800, #2810), (#2820, #2830)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 4.), (0., 4.), .UNSPECIFIED.);
#2850 = ADVANCED_FACE ('', (#2790), #2840, .F.);
#2860 = ORIENTED_EDGE ('', *, *, #2140, .T.);
#2870 = ORIENTED_EDGE ('', *, *, #1870, .T.);
#2880 = CARTESIAN_POINT ('', (6.6451513280292, -13.1128632481445, 20.));
#2890 = VERTEX_POINT ('', #2880);
#2900 = CARTESIAN_POINT ('', (5.83391506359411, -3.8403903157538, 20.));
#2910 = CARTESIAN_POINT ('', (6.6451513280292, -13.1128632481445, 20.));
#2920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2900, #2910), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2930 = EDGE_CURVE ('', #1760, #2890, #2920, .T.);
#2940 = ORIENTED_EDGE ('', *, *, #2930, .T.);
#2950 = CARTESIAN_POINT ('', (0.695083358926297, -12.5922997536392, 20.));
#2960 = VERTEX_POINT ('', #2950);
#2970 = CARTESIAN_POINT ('', (6.6451513280292, -13.1128632481445, 20.));
#2980 = CARTESIAN_POINT ('', (0.695083358926297, -12.5922997536392, 20.));
#2990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2970, #2980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3000 = EDGE_CURVE ('', #2890, #2960, #2990, .T.);
#3010 = ORIENTED_EDGE ('', *, *, #3000, .T.);
#3020 = CARTESIAN_POINT ('', (0., -9.99821334263061, 20.));
#3030 = VERTEX_POINT ('', #3020);
#3040 = CARTESIAN_POINT ('', (0.695083358926297, -12.5922997536392, 20.));
#3050 = CARTESIAN_POINT ('', (0., -9.99821334263061, 20.));
#3060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3040, #3050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3070 = EDGE_CURVE ('', #2960, #3030, #3060, .T.);
#3080 = ORIENTED_EDGE ('', *, *, #3070, .T.);
#3090 = CARTESIAN_POINT ('', (-106.25, -9.99821334263061, 20.));
#3100 = VERTEX_POINT ('', #3090);
#3110 = CARTESIAN_POINT ('', (0., -9.99821334263061, 20.));
#3120 = CARTESIAN_POINT ('', (-106.25, -9.99821334263061, 20.));
#3130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3110, #3120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3140 = EDGE_CURVE ('', #3030, #3100, #3130, .T.);
#3150 = ORIENTED_EDGE ('', *, *, #3140, .T.);
#3160 = CARTESIAN_POINT ('', (-106.25, 10.0017866573694, 20.));
#3170 = VERTEX_POINT ('', #3160);
#3180 = CARTESIAN_POINT ('', (-106.25, 10.0017866573694, 20.));
#3190 = CARTESIAN_POINT ('', (-106.25, -9.99821334263061, 20.));
#3200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3180, #3190), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3210 = EDGE_CURVE ('', #3170, #3100, #3200, .T.);
#3220 = ORIENTED_EDGE ('', *, *, #3210, .F.);
#3230 = CARTESIAN_POINT ('', (10.75, 10.0017866573694, 20.));
#3240 = VERTEX_POINT ('', #3230);
#3250 = CARTESIAN_POINT ('', (10.75, 10.0017866573694, 20.));
#3260 = CARTESIAN_POINT ('', (-106.25, 10.0017866573694, 20.));
#3270 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3250, #3260), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3280 = EDGE_CURVE ('', #3240, #3170, #3270, .T.);
#3290 = ORIENTED_EDGE ('', *, *, #3280, .F.);
#3300 = CARTESIAN_POINT ('', (17.4063107444293, 3.3454759129401, 20.));
#3310 = VERTEX_POINT ('', #3300);
#3320 = CARTESIAN_POINT ('', (10.75, 10.0017866573694, 20.));
#3330 = CARTESIAN_POINT ('', (17.4063107444293, 3.3454759129401, 20.));
#3340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3320, #3330), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3350 = EDGE_CURVE ('', #3240, #3310, #3340, .T.);
#3360 = ORIENTED_EDGE ('', *, *, #3350, .T.);
#3370 = CARTESIAN_POINT ('', (17.8646499055139, -1.8933646706598, 20.));
#3380 = VERTEX_POINT ('', #3370);
#3390 = CARTESIAN_POINT ('', (17.4063107444293, 3.3454759129401, 20.));
#3400 = CARTESIAN_POINT ('', (17.8646499055139, -1.8933646706598, 20.));
#3410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3390, #3400), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3420 = EDGE_CURVE ('', #3310, #3380, #3410, .T.);
#3430 = ORIENTED_EDGE ('', *, *, #3420, .T.);
#3440 = CARTESIAN_POINT ('', (17.8646499055139, -1.8933646706598, 20.));
#3450 = CARTESIAN_POINT ('', (8.5921769731231, -1.08212840622461, 20.));
#3460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3440, #3450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3470 = EDGE_CURVE ('', #3380, #2070, #3460, .T.);
#3480 = ORIENTED_EDGE ('', *, *, #3470, .T.);
#3490 = EDGE_LOOP ('', (#2860, #2870, #2940, #3010, #3080, #3150, #3220, #3290, #3360, #3430, #3480));
#3500 = FACE_OUTER_BOUND ('', #3490, .F.);
#3510 = CARTESIAN_POINT ('', (-106.25, 10.0017866573694, 20.));
#3520 = CARTESIAN_POINT ('', (-106.25, -13.1128632481445, 20.));
#3530 = CARTESIAN_POINT ('', (17.8646499055139, 10.0017866573694, 20.));
#3540 = CARTESIAN_POINT ('', (17.8646499055139, -13.1128632481445, 20.));
#3550 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3510, #3520), (#3530, #3540)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 124.114649905514), (0., 23.1146499055139), .UNSPECIFIED.);
#3560 = ADVANCED_FACE ('', (#3500), #3550, .F.);
#3570 = ORIENTED_EDGE ('', *, *, #1810, .T.);
#3580 = CARTESIAN_POINT ('', (7.21596910184979, -13.1628033322929, 19.4357069252703));
#3590 = VERTEX_POINT ('', #3580);
#3600 = CARTESIAN_POINT ('', (6.4222286757832, -4.0903087475364, 19.4357069252703));
#3610 = CARTESIAN_POINT ('', (7.21596910184979, -13.1628033322929, 19.4357069252703));
#3620 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3600, #3610), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3630 = EDGE_CURVE ('', #1680, #3590, #3620, .T.);
#3640 = ORIENTED_EDGE ('', *, *, #3630, .T.);
#3650 = CARTESIAN_POINT ('', (7.21596910184979, -13.1628033322929, 19.4357069252703));
#3660 = CARTESIAN_POINT ('', (6.6451513280292, -13.1128632481445, 20.));
#3670 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3650, #3660), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3680 = EDGE_CURVE ('', #3590, #2890, #3670, .T.);
#3690 = ORIENTED_EDGE ('', *, *, #3680, .T.);
#3700 = ORIENTED_EDGE ('', *, *, #2930, .F.);
#3710 = EDGE_LOOP ('', (#3570, #3640, #3690, #3700));
#3720 = FACE_OUTER_BOUND ('', #3710, .F.);
#3730 = CARTESIAN_POINT ('', (6.39606083280971, -3.79120893369838, 19.4357069252702));
#3740 = CARTESIAN_POINT ('', (5.83391506359405, -3.8403903157538, 20.));
#3750 = CARTESIAN_POINT ('', (7.21596910184971, -13.1628033322929, 19.4357069252702));
#3760 = CARTESIAN_POINT ('', (6.65382333263406, -13.2119847143483, 20.));
#3770 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3730, #3740), (#3750, #3760)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.28994037673635E-14, 9.40739236671929), (-1.62986187944715E-14, 0.79803091943602), .UNSPECIFIED.);
#3780 = ADVANCED_FACE ('', (#3720), #3770, .F.);
#3790 = ORIENTED_EDGE ('', *, *, #1730, .T.);
#3800 = ORIENTED_EDGE ('', *, *, #270, .F.);
#3810 = CARTESIAN_POINT ('', (7.6614164164435, -13.2017749225179, 15.570754942748));
#3820 = CARTESIAN_POINT ('', (7.21596910184979, -13.1628033322929, 19.4357069252703));
#3830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3810, #3820), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3840 = EDGE_CURVE ('', #180, #3590, #3830, .T.);
#3850 = ORIENTED_EDGE ('', *, *, #3840, .T.);
#3860 = ORIENTED_EDGE ('', *, *, #3630, .F.);
#3870 = EDGE_LOOP ('', (#3790, #3800, #3850, #3860));
#3880 = FACE_OUTER_BOUND ('', #3870, .F.);
#3890 = CARTESIAN_POINT ('', (6.86090864475359, -4.05192922333559, 15.570754942748));
#3900 = CARTESIAN_POINT ('', (6.4222286757832, -4.0903087475364, 19.4357069252703));
#3910 = CARTESIAN_POINT ('', (7.6614164164435, -13.2017749225179, 15.570754942748));
#3920 = CARTESIAN_POINT ('', (7.2227364474731, -13.2401544467187, 19.4357069252703));
#3930 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3890, #3900), (#3910, #3920)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.55986334959835E-14, 9.18479662329989), (-2.52510685971874E-16, 3.88995718874345), .UNSPECIFIED.);
#3940 = ADVANCED_FACE ('', (#3880), #3930, .F.);
#3950 = CARTESIAN_POINT ('', (10.75, 10.0017866573694, 0.));
#3960 = VERTEX_POINT ('', #3950);
#3970 = CARTESIAN_POINT ('', (10.75, 10.0017866573694, 0.));
#3980 = CARTESIAN_POINT ('', (10.75, 10.0017866573694, 20.));
#3990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3970, #3980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4000 = EDGE_CURVE ('', #3960, #3240, #3990, .T.);
#4010 = ORIENTED_EDGE ('', *, *, #4000, .F.);
#4020 = CARTESIAN_POINT ('', (17.4063107444293, 3.3454759129401, 0.));
#4030 = VERTEX_POINT ('', #4020);
#4040 = CARTESIAN_POINT ('', (17.4063107444293, 3.3454759129401, 0.));
#4050 = CARTESIAN_POINT ('', (10.75, 10.0017866573694, 0.));
#4060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4040, #4050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4070 = EDGE_CURVE ('', #4030, #3960, #4060, .T.);
#4080 = ORIENTED_EDGE ('', *, *, #4070, .F.);
#4090 = CARTESIAN_POINT ('', (17.4063107444293, 3.3454759129401, 20.));
#4100 = CARTESIAN_POINT ('', (17.4063107444293, 3.3454759129401, 0.));
#4110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4090, #4100), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4120 = EDGE_CURVE ('', #3310, #4030, #4110, .T.);
#4130 = ORIENTED_EDGE ('', *, *, #4120, .F.);
#4140 = ORIENTED_EDGE ('', *, *, #3350, .F.);
#4150 = EDGE_LOOP ('', (#4010, #4080, #4130, #4140));
#4160 = FACE_OUTER_BOUND ('', #4150, .F.);
#4170 = CARTESIAN_POINT ('', (10.75, 10.0017866573694, 20.));
#4180 = CARTESIAN_POINT ('', (17.4063107444293, 3.3454759129401, 20.));
#4190 = CARTESIAN_POINT ('', (10.75, 10.0017866573694, 0.));
#4200 = CARTESIAN_POINT ('', (17.4063107444293, 3.3454759129401, 0.));
#4210 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4170, #4180), (#4190, #4200)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.5527136788005E-15, 20.), (3.76822190084104E-15, 9.41344493014171), .UNSPECIFIED.);
#4220 = ADVANCED_FACE ('', (#4160), #4210, .F.);
#4230 = ORIENTED_EDGE ('', *, *, #4000, .T.);
#4240 = ORIENTED_EDGE ('', *, *, #3280, .T.);
#4250 = CARTESIAN_POINT ('', (-106.25, 10.0017866573694, 0.));
#4260 = VERTEX_POINT ('', #4250);
#4270 = CARTESIAN_POINT ('', (-106.25, 10.0017866573694, 0.));
#4280 = CARTESIAN_POINT ('', (-106.25, 10.0017866573694, 20.));
#4290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4270, #4280), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4300 = EDGE_CURVE ('', #4260, #3170, #4290, .T.);
#4310 = ORIENTED_EDGE ('', *, *, #4300, .F.);
#4320 = CARTESIAN_POINT ('', (10.75, 10.0017866573694, 0.));
#4330 = CARTESIAN_POINT ('', (-106.25, 10.0017866573694, 0.));
#4340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4320, #4330), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4350 = EDGE_CURVE ('', #3960, #4260, #4340, .T.);
#4360 = ORIENTED_EDGE ('', *, *, #4350, .F.);
#4370 = EDGE_LOOP ('', (#4230, #4240, #4310, #4360));
#4380 = FACE_OUTER_BOUND ('', #4370, .F.);
#4390 = CARTESIAN_POINT ('', (-106.25, 10.0017866573694, 20.));
#4400 = CARTESIAN_POINT ('', (10.75, 10.0017866573694, 20.));
#4410 = CARTESIAN_POINT ('', (-106.25, 10.0017866573694, 0.));
#4420 = CARTESIAN_POINT ('', (10.75, 10.0017866573694, 0.));
#4430 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4390, #4400), (#4410, #4420)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.5527136788005E-15, 20.), (-2.8421709430404E-14, 117.), .UNSPECIFIED.);
#4440 = ADVANCED_FACE ('', (#4380), #4430, .F.);
#4450 = CARTESIAN_POINT ('', (18.9003143381324, -13.748527680763, 15.56));
#4460 = VERTEX_POINT ('', #4450);
#4470 = CARTESIAN_POINT ('', (18.9003143381323, -13.748527680763, 12.06));
#4480 = VERTEX_POINT ('', #4470);
#4490 = CARTESIAN_POINT ('', (18.9003143381324, -13.748527680763, 15.56));
#4500 = CARTESIAN_POINT ('', (18.9003143381324, -13.748527680763, 12.06));
#4510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4490, #4500), .UNSPECIFIED., .F., .U., (2, 2), (0.083386882577218, 0.270809236173585), .UNSPECIFIED.);
#4520 = EDGE_CURVE ('', #4460, #4480, #4510, .T.);
#4530 = ORIENTED_EDGE ('', *, *, #4520, .T.);
#4540 = CARTESIAN_POINT ('', (18.9003143381324, -13.748527680763, 0.));
#4550 = VERTEX_POINT ('', #4540);
#4560 = CARTESIAN_POINT ('', (18.9003143381323, -13.748527680763, 12.06));
#4570 = CARTESIAN_POINT ('', (18.9003143381324, -13.748527680763, 0.));
#4580 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4560, #4570), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4590 = EDGE_CURVE ('', #4480, #4550, #4580, .T.);
#4600 = ORIENTED_EDGE ('', *, *, #4590, .T.);
#4610 = CARTESIAN_POINT ('', (18.4654520410333, -14.1470055599997, 0.));
#4620 = VERTEX_POINT ('', #4610);
#4630 = CARTESIAN_POINT ('', (18.9003143381324, -13.748527680763, 0.));
#4640 = CARTESIAN_POINT ('', (18.9003143381324, -13.9245318931198, 0.));
#4650 = CARTESIAN_POINT ('', (18.7705504211787, -14.0434386154871, 0.));
#4660 = CARTESIAN_POINT ('', (18.640786504225, -14.1623453378544, 0.));
#4670 = CARTESIAN_POINT ('', (18.4654520410333, -14.1470055599998, 0.));
#4680 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4630, #4640, #4650, #4660, #4670), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 47.4999999999955, 94.999999999991), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.915311479119463, 1., 0.915311479119463, 1.))
   REPRESENTATION_ITEM ('')
);
#4690 = EDGE_CURVE ('', #4550, #4620, #4680, .T.);
#4700 = ORIENTED_EDGE ('', *, *, #4690, .T.);
#4710 = CARTESIAN_POINT ('', (18.4654520410334, -14.1470055599997, 15.56));
#4720 = VERTEX_POINT ('', #4710);
#4730 = CARTESIAN_POINT ('', (18.4654520410333, -14.1470055599997, 0.));
#4740 = CARTESIAN_POINT ('', (18.4654520410334, -14.1470055599997, 15.56));
#4750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4730, #4740), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4760 = EDGE_CURVE ('', #4620, #4720, #4750, .T.);
#4770 = ORIENTED_EDGE ('', *, *, #4760, .T.);
#4780 = CARTESIAN_POINT ('', (18.4654520410334, -14.1470055599998, 15.56));
#4790 = CARTESIAN_POINT ('', (18.6512653277268, -14.1632621161179, 15.56));
#4800 = CARTESIAN_POINT ('', (18.7831570506071, -14.0313703932377, 15.56));
#4810 = CARTESIAN_POINT ('', (18.9003143381325, -13.9142131057123, 15.56));
#4820 = CARTESIAN_POINT ('', (18.9003143381324, -13.748527680763, 15.56));
#4830 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4780, #4790, #4800, #4810, #4820), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (269.999999999998, 320., 364.883990282681), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.906307787036642, 1., 0.915894392475799, 0.982788595785001))
   REPRESENTATION_ITEM ('')
);
#4840 = EDGE_CURVE ('', #4720, #4460, #4830, .T.);
#4850 = ORIENTED_EDGE ('', *, *, #4840, .T.);
#4860 = EDGE_LOOP ('', (#4530, #4600, #4700, #4770, #4850));
#4870 = FACE_OUTER_BOUND ('', #4860, .F.);
#4880 = CARTESIAN_POINT ('', (18.9003143381324, -13.748527680763, -1.77635683940025E-15));
#4890 = CARTESIAN_POINT ('', (18.9003143381324, -13.748527680763, 15.56));
#4900 = CARTESIAN_POINT ('', (18.9003143381324, -14.1485276807645, -1.77635683940025E-15));
#4910 = CARTESIAN_POINT ('', (18.9003143381324, -14.1485276807645, 15.56));
#4920 = CARTESIAN_POINT ('', (18.5003143381309, -14.1485276807645, -1.77635683940025E-15));
#4930 = CARTESIAN_POINT ('', (18.5003143381309, -14.1485276807645, 15.56));
#4940 = CARTESIAN_POINT ('', (18.4828499609682, -14.1485276807645, -2.66453525910038E-15));
#4950 = CARTESIAN_POINT ('', (18.4828499609682, -14.1485276807645, 15.56));
#4960 = CARTESIAN_POINT ('', (18.4654520410332, -14.1470055600013, -2.66453525910038E-15));
#4970 = CARTESIAN_POINT ('', (18.4654520410332, -14.1470055600013, 15.56));
#4980 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#4880, #4890), (#4900, #4910), (#4920, #4930), (#4940, #4950), (#4960, #4970)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.25, 0.265162265516181), (0.0833868825772179, 0.916613117422782), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.982236300993846, 0.982236300993846), (0.966627305354739, 0.966627305354739)))
   REPRESENTATION_ITEM ('')
);
#4990 = ADVANCED_FACE ('', (#4870), #4980, .F.);
#5000 = CARTESIAN_POINT ('', (8.9396760910269, -2.121016964478, 12.06));
#5010 = VERTEX_POINT ('', #5000);
#5020 = CARTESIAN_POINT ('', (8.9396760910269, -2.121016964478, 12.06));
#5030 = CARTESIAN_POINT ('', (8.89982223681299, -2.1215483628185, 12.06));
#5040 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5020, #5030), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5050 = EDGE_CURVE ('', #5010, #2400, #5040, .T.);
#5060 = ORIENTED_EDGE ('', *, *, #5050, .T.);
#5070 = ORIENTED_EDGE ('', *, *, #2450, .T.);
#5080 = CARTESIAN_POINT ('', (8.8997645449506, -2.1175251566525, 12.06));
#5090 = CARTESIAN_POINT ('', (8.9396760910269, -2.121016964478, 12.06));
#5100 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5080, #5090), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5110 = EDGE_CURVE ('', #2330, #5010, #5100, .T.);
#5120 = ORIENTED_EDGE ('', *, *, #5110, .T.);
#5130 = EDGE_LOOP ('', (#5060, #5070, #5120));
#5140 = FACE_OUTER_BOUND ('', #5130, .F.);
#5150 = CARTESIAN_POINT ('', (8.89976454495057, -2.11752515665255, 12.06));
#5160 = CARTESIAN_POINT ('', (8.89941567197553, -2.12151279300429, 12.06));
#5170 = CARTESIAN_POINT ('', (8.9396760910269, -2.12101696447802, 12.06));
#5180 = CARTESIAN_POINT ('', (8.93932721805186, -2.12500460082975, 12.06));
#5190 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5150, #5160), (#5170, #5180)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (1.84576062939891, 1.88582463109735), (9.34530230977952E-14, 0.00400286847487349), .UNSPECIFIED.);
#5200 = ADVANCED_FACE ('', (#5140), #5190, .F.);
#5210 = ORIENTED_EDGE ('', *, *, #220, .F.);
#5220 = CARTESIAN_POINT ('', (7.6614164164435, -13.2017749225179, 15.56));
#5230 = CARTESIAN_POINT ('', (18.4654520410334, -14.1470055599997, 15.56));
#5240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5220, #5230), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5250 = EDGE_CURVE ('', #110, #4720, #5240, .T.);
#5260 = ORIENTED_EDGE ('', *, *, #5250, .T.);
#5270 = ORIENTED_EDGE ('', *, *, #4760, .F.);
#5280 = CARTESIAN_POINT ('', (0.695083358926297, -12.5922997536392, 0.));
#5290 = VERTEX_POINT ('', #5280);
#5300 = CARTESIAN_POINT ('', (0.695083358926297, -12.5922997536392, 0.));
#5310 = CARTESIAN_POINT ('', (18.4654520410333, -14.1470055599997, 0.));
#5320 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5300, #5310), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5330 = EDGE_CURVE ('', #5290, #4620, #5320, .T.);
#5340 = ORIENTED_EDGE ('', *, *, #5330, .F.);
#5350 = CARTESIAN_POINT ('', (0.695083358926297, -12.5922997536392, 20.));
#5360 = CARTESIAN_POINT ('', (0.695083358926297, -12.5922997536392, 0.));
#5370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5350, #5360), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5380 = EDGE_CURVE ('', #2960, #5290, #5370, .T.);
#5390 = ORIENTED_EDGE ('', *, *, #5380, .F.);
#5400 = ORIENTED_EDGE ('', *, *, #3000, .F.);
#5410 = ORIENTED_EDGE ('', *, *, #3680, .F.);
#5420 = ORIENTED_EDGE ('', *, *, #3840, .F.);
#5430 = EDGE_LOOP ('', (#5210, #5260, #5270, #5340, #5390, #5400, #5410, #5420));
#5440 = FACE_OUTER_BOUND ('', #5430, .F.);
#5450 = CARTESIAN_POINT ('', (0.695083358926297, -12.5922997536392, 0.));
#5460 = CARTESIAN_POINT ('', (18.4654520410334, -14.1470055599997, 0.));
#5470 = CARTESIAN_POINT ('', (0.695083358926297, -12.5922997536392, 20.));
#5480 = CARTESIAN_POINT ('', (18.4654520410334, -14.1470055599997, 20.));
#5490 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5450, #5460), (#5470, #5480)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 20.), (-2.30063693287658E-15, 17.8382486035582), .UNSPECIFIED.);
#5500 = ADVANCED_FACE ('', (#5440), #5490, .F.);
#5510 = CARTESIAN_POINT ('', (18.8987922173691, -13.713665383664, 15.56));
#5520 = VERTEX_POINT ('', #5510);
#5530 = CARTESIAN_POINT ('', (18.8987922173691, -13.7136653836639, 0.));
#5540 = VERTEX_POINT ('', #5530);
#5550 = CARTESIAN_POINT ('', (18.8987922173691, -13.713665383664, 15.56));
#5560 = CARTESIAN_POINT ('', (18.8987922173691, -13.7136653836639, 0.));
#5570 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5550, #5560), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5580 = EDGE_CURVE ('', #5520, #5540, #5570, .T.);
#5590 = ORIENTED_EDGE ('', *, *, #5580, .F.);
#5600 = CARTESIAN_POINT ('', (17.9535615798873, -2.9096297590741, 15.56));
#5610 = VERTEX_POINT ('', #5600);
#5620 = CARTESIAN_POINT ('', (18.8987922173691, -13.713665383664, 15.56));
#5630 = CARTESIAN_POINT ('', (17.9535615798873, -2.9096297590741, 15.56));
#5640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5620, #5630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5650 = EDGE_CURVE ('', #5520, #5610, #5640, .T.);
#5660 = ORIENTED_EDGE ('', *, *, #5650, .T.);
#5670 = CARTESIAN_POINT ('', (17.9535615798873, -2.9096297590741, 15.5707549427479));
#5680 = VERTEX_POINT ('', #5670);
#5690 = CARTESIAN_POINT ('', (17.9535615798873, -2.9096297590741, 15.5707549427479));
#5700 = CARTESIAN_POINT ('', (17.9535615798873, -2.9096297590741, 15.56));
#5710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5690, #5700), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5720 = EDGE_CURVE ('', #5680, #5610, #5710, .T.);
#5730 = ORIENTED_EDGE ('', *, *, #5720, .F.);
#5740 = CARTESIAN_POINT ('', (17.9145899896623, -2.4641824444803, 19.4357069252702));
#5750 = VERTEX_POINT ('', #5740);
#5760 = CARTESIAN_POINT ('', (17.9145899896623, -2.4641824444803, 19.4357069252702));
#5770 = CARTESIAN_POINT ('', (17.9535615798873, -2.9096297590741, 15.5707549427479));
#5780 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5760, #5770), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5790 = EDGE_CURVE ('', #5750, #5680, #5780, .T.);
#5800 = ORIENTED_EDGE ('', *, *, #5790, .F.);
#5810 = CARTESIAN_POINT ('', (17.8646499055139, -1.8933646706598, 20.));
#5820 = CARTESIAN_POINT ('', (17.9145899896623, -2.4641824444803, 19.4357069252702));
#5830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5810, #5820), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5840 = EDGE_CURVE ('', #3380, #5750, #5830, .T.);
#5850 = ORIENTED_EDGE ('', *, *, #5840, .F.);
#5860 = ORIENTED_EDGE ('', *, *, #3420, .F.);
#5870 = ORIENTED_EDGE ('', *, *, #4120, .T.);
#5880 = CARTESIAN_POINT ('', (18.8987922173691, -13.7136653836639, 0.));
#5890 = CARTESIAN_POINT ('', (17.4063107444293, 3.3454759129401, 0.));
#5900 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5880, #5890), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5910 = EDGE_CURVE ('', #5540, #4030, #5900, .T.);
#5920 = ORIENTED_EDGE ('', *, *, #5910, .F.);
#5930 = EDGE_LOOP ('', (#5590, #5660, #5730, #5800, #5850, #5860, #5870, #5920));
#5940 = FACE_OUTER_BOUND ('', #5930, .F.);
#5950 = CARTESIAN_POINT ('', (17.4063107444293, 3.3454759129401, 20.));
#5960 = CARTESIAN_POINT ('', (18.8987922173691, -13.713665383664, 20.));
#5970 = CARTESIAN_POINT ('', (17.4063107444293, 3.3454759129401, 0.));
#5980 = CARTESIAN_POINT ('', (18.8987922173691, -13.713665383664, 0.));
#5990 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5950, #5960), (#5970, #5980)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.5527136788005E-15, 20.), (7.85248755993222E-15, 17.1243044449862), .UNSPECIFIED.);
#6000 = ADVANCED_FACE ('', (#5940), #5990, .F.);
#6010 = ORIENTED_EDGE ('', *, *, #4070, .T.);
#6020 = ORIENTED_EDGE ('', *, *, #4350, .T.);
#6030 = CARTESIAN_POINT ('', (-106.25, -9.99821334263061, 0.));
#6040 = VERTEX_POINT ('', #6030);
#6050 = CARTESIAN_POINT ('', (-106.25, 10.0017866573694, 0.));
#6060 = CARTESIAN_POINT ('', (-106.25, -9.99821334263061, 0.));
#6070 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6050, #6060), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6080 = EDGE_CURVE ('', #4260, #6040, #6070, .T.);
#6090 = ORIENTED_EDGE ('', *, *, #6080, .T.);
#6100 = CARTESIAN_POINT ('', (0., -9.99821334263061, 0.));
#6110 = VERTEX_POINT ('', #6100);
#6120 = CARTESIAN_POINT ('', (-106.25, -9.99821334263061, 0.));
#6130 = CARTESIAN_POINT ('', (0., -9.99821334263061, 0.));
#6140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6120, #6130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6150 = EDGE_CURVE ('', #6040, #6110, #6140, .T.);
#6160 = ORIENTED_EDGE ('', *, *, #6150, .T.);
#6170 = CARTESIAN_POINT ('', (0., -9.99821334263061, 0.));
#6180 = CARTESIAN_POINT ('', (0.695083358926297, -12.5922997536392, 0.));
#6190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6170, #6180), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6200 = EDGE_CURVE ('', #6110, #5290, #6190, .T.);
#6210 = ORIENTED_EDGE ('', *, *, #6200, .T.);
#6220 = ORIENTED_EDGE ('', *, *, #5330, .T.);
#6230 = ORIENTED_EDGE ('', *, *, #4690, .F.);
#6240 = CARTESIAN_POINT ('', (18.8987922173691, -13.7136653836639, 0.));
#6250 = CARTESIAN_POINT ('', (18.9003143381324, -13.7310633035996, 0.));
#6260 = CARTESIAN_POINT ('', (18.9003143381324, -13.748527680763, 0.));
#6270 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6240, #6250, #6260), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (355.000000000003, 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.999048221581859, 1.))
   REPRESENTATION_ITEM ('')
);
#6280 = EDGE_CURVE ('', #5540, #4550, #6270, .T.);
#6290 = ORIENTED_EDGE ('', *, *, #6280, .F.);
#6300 = ORIENTED_EDGE ('', *, *, #5910, .T.);
#6310 = EDGE_LOOP ('', (#6010, #6020, #6090, #6160, #6210, #6220, #6230, #6290, #6300));
#6320 = FACE_OUTER_BOUND ('', #6310, .F.);
#6330 = ORIENTED_EDGE ('', *, *, #540, .T.);
#6340 = CARTESIAN_POINT ('', (13., -6.40421334263061, 0.));
#6350 = VERTEX_POINT ('', #6340);
#6360 = CARTESIAN_POINT ('', (11.1630169767188, -8.0874981530039, 0.));
#6370 = CARTESIAN_POINT ('', (11.3102853151119, -6.4042133426306, 0.));
#6380 = CARTESIAN_POINT ('', (13., -6.4042133426306, 0.));
#6390 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6360, #6370, #6380), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (185.000000000001, 269.76299325795), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.731048438718943, 0.983174348879741))
   REPRESENTATION_ITEM ('')
);
#6400 = EDGE_CURVE ('', #400, #6350, #6390, .T.);
#6410 = ORIENTED_EDGE ('', *, *, #6400, .T.);
#6420 = CARTESIAN_POINT ('', (14.844, -8.24821334263061, 0.));
#6430 = VERTEX_POINT ('', #6420);
#6440 = CARTESIAN_POINT ('', (13., -6.4042133426306, 0.));
#6450 = CARTESIAN_POINT ('', (13.0402362231352, -6.4042133426306, 0.));
#6460 = CARTESIAN_POINT ('', (13.0804341503017, -6.40596842203366, 0.));
#6470 = CARTESIAN_POINT ('', (14.844, -6.48296736991276, 0.));
#6480 = CARTESIAN_POINT ('', (14.844, -8.24821334263061, 0.));
#6490 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6440, #6450, #6460, #6470, #6480), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (269.76299325795, 272.5, 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.983174348879741, 0.991315523340815, 1., 0.722363962059758, 1.))
   REPRESENTATION_ITEM ('')
);
#6500 = EDGE_CURVE ('', #6350, #6430, #6490, .T.);
#6510 = ORIENTED_EDGE ('', *, *, #6500, .T.);
#6520 = CARTESIAN_POINT ('', (14.844, -8.24821334263061, 0.));
#6530 = CARTESIAN_POINT ('', (14.844, -8.32872412135391, 0.));
#6540 = CARTESIAN_POINT ('', (14.8369830232811, -8.40892853225731, 0.));
#6550 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6520, #6530, #6540), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 4.99999999999682), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.999048221581859, 1.))
   REPRESENTATION_ITEM ('')
);
#6560 = EDGE_CURVE ('', #6430, #470, #6550, .T.);
#6570 = ORIENTED_EDGE ('', *, *, #6560, .T.);
#6580 = EDGE_LOOP ('', (#6330, #6410, #6510, #6570));
#6590 = FACE_BOUND ('', #6580, .F.);
#6600 = CARTESIAN_POINT ('', (18.9003143381324, 10.0017866573694, 0.));
#6610 = CARTESIAN_POINT ('', (18.9003143381324, -14.1623453378544, 0.));
#6620 = CARTESIAN_POINT ('', (-106.25, 10.0017866573694, 0.));
#6630 = CARTESIAN_POINT ('', (-106.25, -14.1623453378544, 0.));
#6640 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6600, #6610), (#6620, #6630)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.22044604925031E-15, 125.150314338132), (0., 24.1641319952238), .UNSPECIFIED.);
#6650 = ADVANCED_FACE ('', (#6320, #6590), #6640, .F.);
#6660 = CARTESIAN_POINT ('', (10.6649196276729, -8.0439202816301, 12.06));
#6670 = VERTEX_POINT ('', #6660);
#6680 = CARTESIAN_POINT ('', (11.1630169767188, -8.0874981530039, 11.56));
#6690 = CARTESIAN_POINT ('', (10.6649196276729, -8.0439202816301, 12.06));
#6700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6680, #6690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6710 = EDGE_CURVE ('', #380, #6670, #6700, .T.);
#6720 = ORIENTED_EDGE ('', *, *, #6710, .F.);
#6730 = ORIENTED_EDGE ('', *, *, #690, .F.);
#6740 = ORIENTED_EDGE ('', *, *, #1090, .T.);
#6750 = CARTESIAN_POINT ('', (10.6649196276729, -8.0439202816301, 12.06));
#6760 = CARTESIAN_POINT ('', (10.4606265666724, -10.3790006539572, 12.06));
#6770 = CARTESIAN_POINT ('', (12.7957069389995, -10.5832937149577, 12.06));
#6780 = CARTESIAN_POINT ('', (15.1307873113266, -10.7875867759582, 12.06));
#6790 = CARTESIAN_POINT ('', (15.3350803723271, -8.45250640363111, 12.06));
#6800 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6750, #6760, #6770, #6780, #6790), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (355., 445., 535.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186547, 1., 0.707106781186547, 1.))
   REPRESENTATION_ITEM ('')
);
#6810 = EDGE_CURVE ('', #6670, #990, #6800, .T.);
#6820 = ORIENTED_EDGE ('', *, *, #6810, .F.);
#6830 = EDGE_LOOP ('', (#6720, #6730, #6740, #6820));
#6840 = FACE_OUTER_BOUND ('', #6830, .F.);
#6850 = CARTESIAN_POINT ('', (11.1630169767241, -8.0874981530043, 11.5599999999948));
#6860 = CARTESIAN_POINT ('', (10.6649196276569, -8.0439202816287, 12.0600000000163));
#6870 = CARTESIAN_POINT ('', (11.1560000000053, -8.16770256390749, 11.5599999999948));
#6880 = CARTESIAN_POINT ('', (10.6559999999839, -8.14587209245235, 12.0600000000163));
#6890 = CARTESIAN_POINT ('', (11.1560000000053, -8.24821334263061, 11.5599999999948));
#6900 = CARTESIAN_POINT ('', (10.6559999999839, -8.24821334263061, 12.0600000000163));
#6910 = CARTESIAN_POINT ('', (11.1560000000054, -10.0922133426309, 11.5599999999948));
#6920 = CARTESIAN_POINT ('', (10.6559999999839, -10.5922133426525, 12.0600000000163));
#6930 = CARTESIAN_POINT ('', (13.0000000000057, -10.092213342631, 11.5599999999943));
#6940 = CARTESIAN_POINT ('', (13.0000000000058, -10.5922133426526, 12.0600000000157));
#6950 = CARTESIAN_POINT ('', (14.6897146848938, -10.092213342631, 11.5599999999939));
#6960 = CARTESIAN_POINT ('', (15.1478802719223, -10.5922133426526, 12.0600000000152));
#6970 = CARTESIAN_POINT ('', (14.8369830232872, -8.40892853225771, 11.5599999999939));
#6980 = CARTESIAN_POINT ('', (15.3350803723547, -8.45250640363353, 12.0600000000151));
#6990 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6850, #6860), (#6870, #6880), (#6890, #6900), (#6910, #6920), (#6930, #6940), (#6950, #6960), (#6970, #6980)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 3), (2, 2), (0.484837734483235, 0.5, 0.75, 0.984837734483162), (0.78635394456077, 0.99957356077405), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.966627305353537, 0.966627305353537), (0.982236300993162, 0.982236300993162), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.724870480193472, 0.724870480193472), (0.966627305353385, 0.966627305353385)))
   REPRESENTATION_ITEM ('')
);
#7000 = ADVANCED_FACE ('', (#6840), #6990, .F.);
#7010 = CARTESIAN_POINT ('', (14.844, -8.24821334263061, 11.56));
#7020 = CARTESIAN_POINT ('', (14.844, -8.24821334263061, 0.));
#7030 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7010, #7020), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7040 = EDGE_CURVE ('', #920, #6430, #7030, .T.);
#7050 = ORIENTED_EDGE ('', *, *, #7040, .F.);
#7060 = ORIENTED_EDGE ('', *, *, #1150, .T.);
#7070 = ORIENTED_EDGE ('', *, *, #610, .T.);
#7080 = ORIENTED_EDGE ('', *, *, #6560, .F.);
#7090 = EDGE_LOOP ('', (#7050, #7060, #7070, #7080));
#7100 = FACE_OUTER_BOUND ('', #7090, .F.);
#7110 = CARTESIAN_POINT ('', (14.8369830232803, -8.40892853226737, -8.88178419700125E-16));
#7120 = CARTESIAN_POINT ('', (14.8369830232803, -8.40892853226737, 11.56));
#7130 = CARTESIAN_POINT ('', (14.844, -8.32872412135897, -8.88178419700125E-16));
#7140 = CARTESIAN_POINT ('', (14.844, -8.32872412135897, 11.56));
#7150 = CARTESIAN_POINT ('', (14.844, -8.24821334263061, -8.88178419700125E-16));
#7160 = CARTESIAN_POINT ('', (14.844, -8.24821334263061, 11.56));
#7170 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#7110, #7120), (#7130, #7140), (#7150, #7160)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.984837734482263, 1.), (0.0834054085221703, 0.91659459147783), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.966627305351536, 0.966627305351536), (0.982236300992024, 0.982236300992024), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#7180 = ADVANCED_FACE ('', (#7100), #7170, .F.);
#7190 = ORIENTED_EDGE ('', *, *, #2220, .T.);
#7200 = ORIENTED_EDGE ('', *, *, #3470, .F.);
#7210 = ORIENTED_EDGE ('', *, *, #5840, .T.);
#7220 = CARTESIAN_POINT ('', (17.9145899896623, -2.4641824444803, 19.4357069252702));
#7230 = CARTESIAN_POINT ('', (8.84209540490581, -1.6704420184138, 19.4357069252702));
#7240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7220, #7230), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7250 = EDGE_CURVE ('', #5750, #2170, #7240, .T.);
#7260 = ORIENTED_EDGE ('', *, *, #7250, .T.);
#7270 = EDGE_LOOP ('', (#7190, #7200, #7210, #7260));
#7280 = FACE_OUTER_BOUND ('', #7270, .F.);
#7290 = CARTESIAN_POINT ('', (17.9145899896623, -2.46418244448038, 19.4357069252702));
#7300 = CARTESIAN_POINT ('', (17.9637713717177, -1.9020366752647, 20.));
#7310 = CARTESIAN_POINT ('', (8.54299559106767, -1.64427417544028, 19.4357069252702));
#7320 = CARTESIAN_POINT ('', (8.5921769731231, -1.08212840622461, 20.));
#7330 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7290, #7300), (#7310, #7320)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (8.6699031844777E-15, 9.40739236671937), (3.43058914609174E-14, 0.798030919436085), .UNSPECIFIED.);
#7340 = ADVANCED_FACE ('', (#7280), #7330, .F.);
#7350 = CARTESIAN_POINT ('', (8.9396760910269, -2.121016964478, 15.56));
#7360 = VERTEX_POINT ('', #7350);
#7370 = CARTESIAN_POINT ('', (8.9396760910269, -2.121016964478, 15.56));
#7380 = CARTESIAN_POINT ('', (8.9396760910269, -2.121016964478, 12.06));
#7390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7370, #7380), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7400 = EDGE_CURVE ('', #7360, #5010, #7390, .T.);
#7410 = ORIENTED_EDGE ('', *, *, #7400, .T.);
#7420 = ORIENTED_EDGE ('', *, *, #5110, .F.);
#7430 = ORIENTED_EDGE ('', *, *, #2370, .T.);
#7440 = CARTESIAN_POINT ('', (8.8997645449506, -2.1175251566525, 15.5707549427479));
#7450 = CARTESIAN_POINT ('', (17.9535615798873, -2.9096297590741, 15.5707549427479));
#7460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7440, #7450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7470 = EDGE_CURVE ('', #2250, #5680, #7460, .T.);
#7480 = ORIENTED_EDGE ('', *, *, #7470, .T.);
#7490 = ORIENTED_EDGE ('', *, *, #5720, .T.);
#7500 = CARTESIAN_POINT ('', (17.9535615798873, -2.9096297590741, 15.56));
#7510 = CARTESIAN_POINT ('', (8.9396760910269, -2.121016964478, 15.56));
#7520 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7500, #7510), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7530 = EDGE_CURVE ('', #5610, #7360, #7520, .T.);
#7540 = ORIENTED_EDGE ('', *, *, #7530, .T.);
#7550 = EDGE_LOOP ('', (#7410, #7420, #7430, #7480, #7490, #7540));
#7560 = FACE_OUTER_BOUND ('', #7550, .F.);
#7570 = CARTESIAN_POINT ('', (8.8997645449506, -2.1175251566525, 12.06));
#7580 = CARTESIAN_POINT ('', (17.9535615798873, -2.90962975907411, 12.06));
#7590 = CARTESIAN_POINT ('', (8.8997645449506, -2.1175251566525, 15.5707549427479));
#7600 = CARTESIAN_POINT ('', (17.9535615798873, -2.90962975907411, 15.5707549427479));
#7610 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7570, #7580), (#7590, #7600)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 3.5107549427479), (0., 9.08838106876057), .UNSPECIFIED.);
#7620 = ADVANCED_FACE ('', (#7560), #7610, .F.);
#7630 = ORIENTED_EDGE ('', *, *, #2300, .T.);
#7640 = ORIENTED_EDGE ('', *, *, #7250, .F.);
#7650 = ORIENTED_EDGE ('', *, *, #5790, .T.);
#7660 = ORIENTED_EDGE ('', *, *, #7470, .F.);
#7670 = EDGE_LOOP ('', (#7630, #7640, #7650, #7660));
#7680 = FACE_OUTER_BOUND ('', #7670, .F.);
#7690 = CARTESIAN_POINT ('', (17.9535615798873, -2.909629759074, 15.5707549427479));
#7700 = CARTESIAN_POINT ('', (17.9919411040881, -2.4709497901036, 19.4357069252703));
#7710 = CARTESIAN_POINT ('', (8.80371588070498, -2.10912198738419, 15.5707549427479));
#7720 = CARTESIAN_POINT ('', (8.84209540490581, -1.67044201841379, 19.4357069252703));
#7730 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7690, #7700), (#7710, #7720)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (1.78083142171068E-16, 9.18479662329985), (-1.13189244640611E-14, 3.88995718874354), .UNSPECIFIED.);
#7740 = ADVANCED_FACE ('', (#7680), #7730, .F.);
#7750 = ORIENTED_EDGE ('', *, *, #3140, .F.);
#7760 = CARTESIAN_POINT ('', (0., -9.99821334263061, 0.));
#7770 = CARTESIAN_POINT ('', (0., -9.99821334263061, 20.));
#7780 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7760, #7770), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7790 = EDGE_CURVE ('', #6110, #3030, #7780, .T.);
#7800 = ORIENTED_EDGE ('', *, *, #7790, .F.);
#7810 = ORIENTED_EDGE ('', *, *, #6150, .F.);
#7820 = CARTESIAN_POINT ('', (-106.25, -9.99821334263061, 20.));
#7830 = CARTESIAN_POINT ('', (-106.25, -9.99821334263061, 0.));
#7840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7820, #7830), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7850 = EDGE_CURVE ('', #3100, #6040, #7840, .T.);
#7860 = ORIENTED_EDGE ('', *, *, #7850, .F.);
#7870 = EDGE_LOOP ('', (#7750, #7800, #7810, #7860));
#7880 = FACE_OUTER_BOUND ('', #7870, .F.);
#7890 = CARTESIAN_POINT ('', (-106.25, -9.9982133426306, 0.));
#7900 = CARTESIAN_POINT ('', (0., -9.9982133426306, 0.));
#7910 = CARTESIAN_POINT ('', (-106.25, -9.9982133426306, 20.));
#7920 = CARTESIAN_POINT ('', (0., -9.9982133426306, 20.));
#7930 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7890, #7900), (#7910, #7920)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 20.), (-2.8421709430404E-14, 106.25), .UNSPECIFIED.);
#7940 = ADVANCED_FACE ('', (#7880), #7930, .F.);
#7950 = ORIENTED_EDGE ('', *, *, #5380, .T.);
#7960 = ORIENTED_EDGE ('', *, *, #6200, .F.);
#7970 = ORIENTED_EDGE ('', *, *, #7790, .T.);
#7980 = ORIENTED_EDGE ('', *, *, #3070, .F.);
#7990 = EDGE_LOOP ('', (#7950, #7960, #7970, #7980));
#8000 = FACE_OUTER_BOUND ('', #7990, .F.);
#8010 = CARTESIAN_POINT ('', (0., -9.99821334263061, 0.));
#8020 = CARTESIAN_POINT ('', (0.695083358926311, -12.5922997536392, 0.));
#8030 = CARTESIAN_POINT ('', (0., -9.99821334263061, 20.));
#8040 = CARTESIAN_POINT ('', (0.695083358926311, -12.5922997536392, 20.));
#8050 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8010, #8020), (#8030, #8040)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 20.), (5.94380582965788E-15, 2.68559587124268), .UNSPECIFIED.);
#8060 = ADVANCED_FACE ('', (#8000), #8050, .F.);
#8070 = ORIENTED_EDGE ('', *, *, #7850, .T.);
#8080 = ORIENTED_EDGE ('', *, *, #6080, .F.);
#8090 = ORIENTED_EDGE ('', *, *, #4300, .T.);
#8100 = ORIENTED_EDGE ('', *, *, #3210, .T.);
#8110 = EDGE_LOOP ('', (#8070, #8080, #8090, #8100));
#8120 = FACE_OUTER_BOUND ('', #8110, .F.);
#8130 = CARTESIAN_POINT ('', (-106.25, 10.0017866573694, 0.));
#8140 = CARTESIAN_POINT ('', (-106.25, -9.99821334263061, 0.));
#8150 = CARTESIAN_POINT ('', (-106.25, 10.0017866573694, 20.));
#8160 = CARTESIAN_POINT ('', (-106.25, -9.99821334263061, 20.));
#8170 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8130, #8140), (#8150, #8160)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 20.), (7.105427357601E-15, 20.), .UNSPECIFIED.);
#8180 = ADVANCED_FACE ('', (#8120), #8170, .F.);
#8190 = ORIENTED_EDGE ('', *, *, #960, .T.);
#8200 = CARTESIAN_POINT ('', (13., -6.40421334263061, 11.56));
#8210 = VERTEX_POINT ('', #8200);
#8220 = CARTESIAN_POINT ('', (13., -6.4042133426306, 11.56));
#8230 = CARTESIAN_POINT ('', (13.0402362231352, -6.4042133426306, 11.56));
#8240 = CARTESIAN_POINT ('', (13.0804341503017, -6.40596842203366, 11.56));
#8250 = CARTESIAN_POINT ('', (14.844, -6.48296736991276, 11.56));
#8260 = CARTESIAN_POINT ('', (14.844, -8.24821334263061, 11.56));
#8270 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#8220, #8230, #8240, #8250, #8260), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (269.76299325795, 272.5, 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.983174348879742, 0.991315523340815, 1., 0.722363962059758, 1.))
   REPRESENTATION_ITEM ('')
);
#8280 = EDGE_CURVE ('', #8210, #920, #8270, .T.);
#8290 = ORIENTED_EDGE ('', *, *, #8280, .F.);
#8300 = CARTESIAN_POINT ('', (11.1630169767188, -8.0874981530039, 11.56));
#8310 = CARTESIAN_POINT ('', (11.3102853151119, -6.40421334263059, 11.56));
#8320 = CARTESIAN_POINT ('', (13., -6.4042133426306, 11.56));
#8330 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#8300, #8310, #8320), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (185.000000000001, 269.76299325795), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.731048438718943, 0.983174348879742))
   REPRESENTATION_ITEM ('')
);
#8340 = EDGE_CURVE ('', #380, #8210, #8330, .T.);
#8350 = ORIENTED_EDGE ('', *, *, #8340, .F.);
#8360 = ORIENTED_EDGE ('', *, *, #6710, .T.);
#8370 = CARTESIAN_POINT ('', (15.344, -8.24821334263061, 12.06));
#8380 = CARTESIAN_POINT ('', (15.344, -6.00432149878529, 12.06));
#8390 = CARTESIAN_POINT ('', (13.1022438439843, -5.90644431124267, 12.06));
#8400 = CARTESIAN_POINT ('', (10.8604876879686, -5.80856712370007, 12.06));
#8410 = CARTESIAN_POINT ('', (10.6649196276728, -8.04392028163009, 12.06));
#8420 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#8370, #8380, #8390, #8400, #8410), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (90., 177.5, 265.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.722363962059755, 1., 0.722363962059755, 1.))
   REPRESENTATION_ITEM ('')
);
#8430 = EDGE_CURVE ('', #900, #6670, #8420, .T.);
#8440 = ORIENTED_EDGE ('', *, *, #8430, .F.);
#8450 = EDGE_LOOP ('', (#8190, #8290, #8350, #8360, #8440));
#8460 = FACE_OUTER_BOUND ('', #8450, .F.);
#8470 = CARTESIAN_POINT ('', (14.844, -8.24821334263061, 11.56));
#8480 = CARTESIAN_POINT ('', (15.344000000003, -8.24821334263061, 12.0600000000029));
#8490 = CARTESIAN_POINT ('', (14.844, -6.40421334263063, 11.56));
#8500 = CARTESIAN_POINT ('', (15.344000000003, -5.90421334262766, 12.0600000000029));
#8510 = CARTESIAN_POINT ('', (13., -6.40421334263063, 11.56));
#8520 = CARTESIAN_POINT ('', (13., -5.90421334262765, 12.0600000000029));
#8530 = CARTESIAN_POINT ('', (11.3102853151119, -6.40421334263063, 11.56));
#8540 = CARTESIAN_POINT ('', (10.8521197281005, -5.90421334262765, 12.0600000000029));
#8550 = CARTESIAN_POINT ('', (11.1630169767189, -8.08749815300391, 11.56));
#8560 = CARTESIAN_POINT ('', (10.66491962767, -8.0439202816298, 12.0600000000029));
#8570 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8470, #8480), (#8490, #8500), (#8510, #8520), (#8530, #8540), (#8550, #8560)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.25, 0.484837734483196), (0.786353944562866, 0.999573560768818), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.724870480193432, 0.724870480193432), (0.966627305353456, 0.966627305353456)))
   REPRESENTATION_ITEM ('')
);
#8580 = ADVANCED_FACE ('', (#8460), #8570, .F.);
#8590 = CARTESIAN_POINT ('', (13., -6.4042133426306, 11.56));
#8600 = CARTESIAN_POINT ('', (13., -6.4042133426306, 1.77635683940025E-15));
#8610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8590, #8600), .UNSPECIFIED., .F., .U., (2, 2), (0.0834054085221702, 0.91659459147783), .UNSPECIFIED.);
#8620 = EDGE_CURVE ('', #8210, #6350, #8610, .T.);
#8630 = ORIENTED_EDGE ('', *, *, #8620, .T.);
#8640 = ORIENTED_EDGE ('', *, *, #6400, .F.);
#8650 = ORIENTED_EDGE ('', *, *, #440, .F.);
#8660 = ORIENTED_EDGE ('', *, *, #8340, .T.);
#8670 = EDGE_LOOP ('', (#8630, #8640, #8650, #8660));
#8680 = FACE_OUTER_BOUND ('', #8670, .F.);
#8690 = CARTESIAN_POINT ('', (13., -6.4042133426306, -2.66453525910038E-15));
#8700 = CARTESIAN_POINT ('', (13., -6.4042133426306, 11.56));
#8710 = CARTESIAN_POINT ('', (11.3102853151119, -6.4042133426306, -2.66453525910038E-15));
#8720 = CARTESIAN_POINT ('', (11.3102853151119, -6.4042133426306, 11.56));
#8730 = CARTESIAN_POINT ('', (11.1630169767188, -8.0874981530039, -2.66453525910038E-15));
#8740 = CARTESIAN_POINT ('', (11.1630169767188, -8.0874981530039, 11.56));
#8750 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8690, #8700), (#8710, #8720), (#8730, #8740)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0., 0.234837734483195), (0.0834054085221702, 0.91659459147783), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.724870480193433, 0.724870480193433), (0.966627305353454, 0.966627305353454)))
   REPRESENTATION_ITEM ('')
);
#8760 = ADVANCED_FACE ('', (#8680), #8750, .F.);
#8770 = CARTESIAN_POINT ('', (6.90000000000001, -2.1482133426306, 15.56));
#8780 = VERTEX_POINT ('', #8770);
#8790 = CARTESIAN_POINT ('', (6.90000000000001, -2.1482133426306, 15.56));
#8800 = CARTESIAN_POINT ('', (6.8693118140219, -4.14797788758121, 15.56));
#8810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8790, #8800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8820 = EDGE_CURVE ('', #8780, #40, #8810, .T.);
#8830 = ORIENTED_EDGE ('', *, *, #8820, .F.);
#8840 = CARTESIAN_POINT ('', (8.9396760910269, -2.121016964478, 15.56));
#8850 = CARTESIAN_POINT ('', (6.90000000000001, -2.1482133426306, 15.56));
#8860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8840, #8850), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8870 = EDGE_CURVE ('', #7360, #8780, #8860, .T.);
#8880 = ORIENTED_EDGE ('', *, *, #8870, .F.);
#8890 = ORIENTED_EDGE ('', *, *, #7530, .F.);
#8900 = ORIENTED_EDGE ('', *, *, #5650, .F.);
#8910 = CARTESIAN_POINT ('', (18.9003143381324, -13.748527680763, 15.56));
#8920 = CARTESIAN_POINT ('', (18.9003143381324, -13.7310633035996, 15.56));
#8930 = CARTESIAN_POINT ('', (18.8987922173691, -13.713665383664, 15.56));
#8940 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#8910, #8920, #8930), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (364.883990282681, 370.000000000002), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.982788595785001, 0.990413394560844, 1.))
   REPRESENTATION_ITEM ('')
);
#8950 = EDGE_CURVE ('', #4460, #5520, #8940, .T.);
#8960 = ORIENTED_EDGE ('', *, *, #8950, .F.);
#8970 = ORIENTED_EDGE ('', *, *, #4840, .F.);
#8980 = ORIENTED_EDGE ('', *, *, #5250, .F.);
#8990 = ORIENTED_EDGE ('', *, *, #150, .F.);
#9000 = EDGE_LOOP ('', (#8830, #8880, #8890, #8900, #8960, #8970, #8980, #8990));
#9010 = FACE_OUTER_BOUND ('', #9000, .F.);
#9020 = CARTESIAN_POINT ('', (6.8693118140219, -14.1632621161179, 15.56));
#9030 = CARTESIAN_POINT ('', (18.9003143381325, -14.1632621161179, 15.56));
#9040 = CARTESIAN_POINT ('', (6.8693118140219, -2.121016964478, 15.56));
#9050 = CARTESIAN_POINT ('', (18.9003143381325, -2.121016964478, 15.56));
#9060 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9020, #9030), (#9040, #9050)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00100000000000478, 12.0432451516399), (-11.6310025241106, 0.399999999999987), .UNSPECIFIED.);
#9070 = ADVANCED_FACE ('', (#9010), #9060, .F.);
#9080 = ORIENTED_EDGE ('', *, *, #5050, .F.);
#9090 = ORIENTED_EDGE ('', *, *, #7400, .F.);
#9100 = ORIENTED_EDGE ('', *, *, #8870, .T.);
#9110 = CARTESIAN_POINT ('', (6.90000000000001, -2.1482133426306, 12.06));
#9120 = VERTEX_POINT ('', #9110);
#9130 = CARTESIAN_POINT ('', (6.90000000000001, -2.1482133426306, 15.56));
#9140 = CARTESIAN_POINT ('', (6.90000000000001, -2.1482133426306, 12.06));
#9150 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9130, #9140), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9160 = EDGE_CURVE ('', #8780, #9120, #9150, .T.);
#9170 = ORIENTED_EDGE ('', *, *, #9160, .T.);
#9180 = CARTESIAN_POINT ('', (8.89982223681299, -2.1215483628185, 12.06));
#9190 = CARTESIAN_POINT ('', (6.90000000000001, -2.1482133426306, 12.06));
#9200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9180, #9190), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9210 = EDGE_CURVE ('', #2400, #9120, #9200, .T.);
#9220 = ORIENTED_EDGE ('', *, *, #9210, .F.);
#9230 = EDGE_LOOP ('', (#9080, #9090, #9100, #9170, #9220));
#9240 = FACE_OUTER_BOUND ('', #9230, .F.);
#9250 = CARTESIAN_POINT ('', (6.90000000000001, -2.14821334263062, 12.06));
#9260 = CARTESIAN_POINT ('', (6.90000000000001, -2.14821334263062, 15.56));
#9270 = CARTESIAN_POINT ('', (8.9396760910269, -2.121016964478, 12.06));
#9280 = CARTESIAN_POINT ('', (8.9396760910269, -2.121016964478, 15.56));
#9290 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9250, #9260), (#9270, #9280)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.03985739680287, -9.47330385232738E-17), (-3.5, 0.), .UNSPECIFIED.);
#9300 = ADVANCED_FACE ('', (#9240), #9290, .F.);
#9310 = CARTESIAN_POINT ('', (6.90000000000001, -2.1482133426306, 12.06));
#9320 = CARTESIAN_POINT ('', (6.8693118140219, -4.14797788758121, 12.06));
#9330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9310, #9320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9340 = EDGE_CURVE ('', #9120, #1540, #9330, .T.);
#9350 = ORIENTED_EDGE ('', *, *, #9340, .F.);
#9360 = ORIENTED_EDGE ('', *, *, #9160, .F.);
#9370 = ORIENTED_EDGE ('', *, *, #8820, .T.);
#9380 = ORIENTED_EDGE ('', *, *, #1640, .T.);
#9390 = EDGE_LOOP ('', (#9350, #9360, #9370, #9380));
#9400 = FACE_OUTER_BOUND ('', #9390, .F.);
#9410 = CARTESIAN_POINT ('', (6.86931181402193, -4.14797788758121, 12.06));
#9420 = CARTESIAN_POINT ('', (6.86931181402193, -4.14797788758121, 15.56));
#9430 = CARTESIAN_POINT ('', (6.90000000000001, -2.1482133426306, 12.06));
#9440 = CARTESIAN_POINT ('', (6.90000000000001, -2.1482133426306, 15.56));
#9450 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9410, #9420), (#9430, #9440)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.00000000000003, 0.), (-3.5, 0.), .UNSPECIFIED.);
#9460 = ADVANCED_FACE ('', (#9400), #9450, .F.);
#9470 = ORIENTED_EDGE ('', *, *, #9340, .T.);
#9480 = ORIENTED_EDGE ('', *, *, #1590, .T.);
#9490 = ORIENTED_EDGE ('', *, *, #2510, .T.);
#9500 = ORIENTED_EDGE ('', *, *, #9210, .T.);
#9510 = EDGE_LOOP ('', (#9470, #9480, #9490, #9500));
#9520 = FACE_OUTER_BOUND ('', #9510, .F.);
#9530 = CARTESIAN_POINT ('', (6.8693118140219, -2.1215483628185, 12.06));
#9540 = CARTESIAN_POINT ('', (8.90000000000003, -2.1215483628185, 12.06));
#9550 = CARTESIAN_POINT ('', (6.8693118140219, -4.14980002697232, 12.06));
#9560 = CARTESIAN_POINT ('', (8.90000000000003, -4.14980002697232, 12.06));
#9570 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9530, #9540), (#9550, #9560)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-11.6269793179446, -9.5987276537908), (-11.6310025241106, -9.60031433813245), .UNSPECIFIED.);
#9580 = ADVANCED_FACE ('', (#9520), #9570, .F.);
#9590 = ORIENTED_EDGE ('', *, *, #6810, .T.);
#9600 = ORIENTED_EDGE ('', *, *, #1040, .T.);
#9610 = ORIENTED_EDGE ('', *, *, #8430, .T.);
#9620 = EDGE_LOOP ('', (#9590, #9600, #9610));
#9630 = FACE_OUTER_BOUND ('', #9620, .F.);
#9640 = CARTESIAN_POINT ('', (10.4606265666724, -5.80856712370007, 12.06));
#9650 = CARTESIAN_POINT ('', (15.344, -5.80856712370007, 12.06));
#9660 = CARTESIAN_POINT ('', (10.4606265666724, -10.7875867759582, 12.06));
#9670 = CARTESIAN_POINT ('', (15.344, -10.7875867759582, 12.06));
#9680 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9640, #9650), (#9660, #9670)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-7.93996055706304, -2.9609409048049), (-8.0396877714601, -3.1563143381325), .UNSPECIFIED.);
#9690 = ADVANCED_FACE ('', (#9630), #9680, .F.);
#9700 = ORIENTED_EDGE ('', *, *, #4520, .F.);
#9710 = ORIENTED_EDGE ('', *, *, #8950, .T.);
#9720 = ORIENTED_EDGE ('', *, *, #5580, .T.);
#9730 = ORIENTED_EDGE ('', *, *, #6280, .T.);
#9740 = ORIENTED_EDGE ('', *, *, #4590, .F.);
#9750 = EDGE_LOOP ('', (#9700, #9710, #9720, #9730, #9740));
#9760 = FACE_OUTER_BOUND ('', #9750, .F.);
#9770 = CARTESIAN_POINT ('', (18.8987922173691, -13.7136653836639, -1.77635683940025E-15));
#9780 = CARTESIAN_POINT ('', (18.8987922173691, -13.7136653836639, 15.56));
#9790 = CARTESIAN_POINT ('', (18.9003143381324, -13.7310633035996, -1.77635683940025E-15));
#9800 = CARTESIAN_POINT ('', (18.9003143381324, -13.7310633035996, 15.56));
#9810 = CARTESIAN_POINT ('', (18.9003143381324, -13.748527680763, -1.77635683940025E-15));
#9820 = CARTESIAN_POINT ('', (18.9003143381324, -13.748527680763, 15.56));
#9830 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#9770, #9780), (#9790, #9800), (#9810, #9820)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.984837734483237, 1.), (0.0833868825772179, 0.916613117422782), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.96662730535354, 0.96662730535354), (0.982236300993164, 0.982236300993164), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#9840 = ADVANCED_FACE ('', (#9760), #9830, .F.);
#9850 = ORIENTED_EDGE ('', *, *, #8620, .F.);
#9860 = ORIENTED_EDGE ('', *, *, #8280, .T.);
#9870 = ORIENTED_EDGE ('', *, *, #7040, .T.);
#9880 = ORIENTED_EDGE ('', *, *, #6500, .F.);
#9890 = EDGE_LOOP ('', (#9850, #9860, #9870, #9880));
#9900 = FACE_OUTER_BOUND ('', #9890, .F.);
#9910 = CARTESIAN_POINT ('', (14.843999990964, -8.24839589305954, -2.66453525910038E-15));
#9920 = CARTESIAN_POINT ('', (14.843999990964, -8.24839589305954, 11.56));
#9930 = CARTESIAN_POINT ('', (14.844, -8.2483046178453, -2.66453525910038E-15));
#9940 = CARTESIAN_POINT ('', (14.844, -8.2483046178453, 11.56));
#9950 = CARTESIAN_POINT ('', (14.844, -8.24821334263061, -2.66453525910038E-15));
#9960 = CARTESIAN_POINT ('', (14.844, -8.24821334263061, 11.56));
#9970 = CARTESIAN_POINT ('', (14.844, -6.4042133426306, -2.66453525910038E-15));
#9980 = CARTESIAN_POINT ('', (14.844, -6.4042133426306, 11.56));
#9990 = CARTESIAN_POINT ('', (13., -6.4042133426306, -2.66453525910038E-15));
#10000 = CARTESIAN_POINT ('', (13., -6.4042133426306, 11.56));
#10010 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#9910, #9920), (#9930, #9940), (#9950, #9960), (#9970, #9980), (#9990, #10000)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0.7499825, 0.75, 1.), (0.0834054085221702, 0.91659459147783), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.99995899781972, 0.99995899781972), (0.999979497474683, 0.999979497474683), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#10020 = ADVANCED_FACE ('', (#9900), #10010, .F.);
#10030 = CLOSED_SHELL ('', (#360, #880, #1260, #2040, #2750, #2850, #3560, #3780, #3940, #4220, #4440, #4990, #5200, #5500, #6000, #6650, #7000, #7180, #7340, #7620, #7740, #7940, #8060, #8180, #8580, #8760, #9070, #9300, #9460, #9580, #9690, #9840, #10020));
#10040 = MANIFOLD_SOLID_BREP ('SCLCR_2020_K12_stp', #10030);
#10050 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#10060 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#10070 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#10080 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(0.001), #10050, 'DISTANCE_ACCURACY_VALUE', '');
#10090 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#10080))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#10050, #10060, #10070))
   REPRESENTATION_CONTEXT ('', '3D')
);
#10100 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#10110 = FILL_AREA_STYLE_COLOUR ('', #10100);
#10120 = FILL_AREA_STYLE ('', (#10110));
#10130 = SURFACE_STYLE_FILL_AREA (#10120);
#10140 = SURFACE_SIDE_STYLE ('', (#10130));
#10150 = SURFACE_STYLE_USAGE (.POSITIVE., #10140);
#10160 = PRESENTATION_STYLE_ASSIGNMENT ((#10150));
#10170 = STYLED_ITEM ('', (#10160), #10040);
#10180 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#10040), #10090);
#10190 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#10200 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #10190);
#10210 = MECHANICAL_CONTEXT ('', #10190, 'mechanical');
#10220 = PRODUCT ('SCLCR_2020_K12_stp', '', '', (#10210));
#10230 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#10240 = PERSON ('', '', $, $, $, $);
#10250 = ORGANIZATION ($, '', '');
#10260 = PERSON_AND_ORGANIZATION (#10240, #10250);
#10270 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10260, #10230, (#10220));
#10280 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#10220));
#10290 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #10220, .NOT_KNOWN.);
#10300 = APPROVAL_STATUS ('approved');
#10310 = APPROVAL (#10300, '');
#10320 = CALENDAR_DATE (2011, 12, 1);
#10330 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10340 = LOCAL_TIME (9, 44, 16., #10330);
#10350 = DATE_AND_TIME (#10320, #10340);
#10360 = APPROVAL_DATE_TIME (#10350, #10310);
#10370 = APPROVAL_ROLE ('');
#10380 = PERSON ('', '', $, $, $, $);
#10390 = ORGANIZATION ($, '', '');
#10400 = PERSON_AND_ORGANIZATION (#10380, #10390);
#10410 = APPROVAL_PERSON_ORGANIZATION (#10400, #10310, #10370);
#10420 = CC_DESIGN_APPROVAL (#10310, (#10290));
#10430 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#10440 = PERSON ('', '', $, $, $, $);
#10450 = ORGANIZATION ($, '', '');
#10460 = PERSON_AND_ORGANIZATION (#10440, #10450);
#10470 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10460, #10430, (#10290));
#10480 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#10490 = PERSON ('', '', $, $, $, $);
#10500 = ORGANIZATION ($, '', '');
#10510 = PERSON_AND_ORGANIZATION (#10490, #10500);
#10520 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10510, #10480, (#10290));
#10530 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#10540 = SECURITY_CLASSIFICATION ('', '', #10530);
#10550 = APPROVAL_STATUS ('approved');
#10560 = APPROVAL (#10550, '');
#10570 = CALENDAR_DATE (2011, 12, 1);
#10580 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10590 = LOCAL_TIME (9, 44, 16., #10580);
#10600 = DATE_AND_TIME (#10570, #10590);
#10610 = APPROVAL_DATE_TIME (#10600, #10560);
#10620 = APPROVAL_ROLE ('');
#10630 = PERSON ('', '', $, $, $, $);
#10640 = ORGANIZATION ($, '', '');
#10650 = PERSON_AND_ORGANIZATION (#10630, #10640);
#10660 = APPROVAL_PERSON_ORGANIZATION (#10650, #10560, #10620);
#10670 = CC_DESIGN_APPROVAL (#10560, (#10540));
#10680 = DATE_TIME_ROLE ('classification_date');
#10690 = CALENDAR_DATE (2011, 12, 1);
#10700 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10710 = LOCAL_TIME (9, 44, 16., #10700);
#10720 = DATE_AND_TIME (#10690, #10710);
#10730 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#10720, #10680, (#10540));
#10740 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#10750 = PERSON ('', '', $, $, $, $);
#10760 = ORGANIZATION ($, '', '');
#10770 = PERSON_AND_ORGANIZATION (#10750, #10760);
#10780 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10770, #10740, (#10540));
#10790 = CC_DESIGN_SECURITY_CLASSIFICATION (#10540, (#10290));
#10800 = DESIGN_CONTEXT ('', #10190, 'design');
#10810 = PRODUCT_DEFINITION ('', '', #10290, #10800);
#10820 = APPROVAL_STATUS ('approved');
#10830 = APPROVAL (#10820, '');
#10840 = CALENDAR_DATE (2011, 12, 1);
#10850 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10860 = LOCAL_TIME (9, 44, 16., #10850);
#10870 = DATE_AND_TIME (#10840, #10860);
#10880 = APPROVAL_DATE_TIME (#10870, #10830);
#10890 = APPROVAL_ROLE ('');
#10900 = PERSON ('', '', $, $, $, $);
#10910 = ORGANIZATION ($, '', '');
#10920 = PERSON_AND_ORGANIZATION (#10900, #10910);
#10930 = APPROVAL_PERSON_ORGANIZATION (#10920, #10830, #10890);
#10940 = CC_DESIGN_APPROVAL (#10830, (#10810));
#10950 = DATE_TIME_ROLE ('creation_date');
#10960 = CALENDAR_DATE (2011, 12, 1);
#10970 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10980 = LOCAL_TIME (9, 44, 16., #10970);
#10990 = DATE_AND_TIME (#10960, #10980);
#11000 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#10990, #10950, (#10810));
#11010 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#11020 = PERSON ('', '', $, $, $, $);
#11030 = ORGANIZATION ($, '', '');
#11040 = PERSON_AND_ORGANIZATION (#11020, #11030);
#11050 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#11040, #11010, (#10810));
#11060 = PRODUCT_DEFINITION_SHAPE ('', '', #10810);
#11070 = SHAPE_DEFINITION_REPRESENTATION (#11060, #10180);
#11080 = CARTESIAN_POINT ('', (19.1812139727142, -14.4147252744374, 15.24));
#11090 = VERTEX_POINT ('', #11080);
#11100 = CARTESIAN_POINT ('', (7.94880253862967, -13.432016609896, 15.24));
#11110 = VERTEX_POINT ('', #11100);
#11120 = CARTESIAN_POINT ('', (19.1812139727142, -14.4147252744374, 15.24));
#11130 = CARTESIAN_POINT ('', (7.94880253862967, -13.432016609896, 15.24));
#11140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11120, #11130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11150 = EDGE_CURVE ('', #11090, #11110, #11140, .T.);
#11160 = ORIENTED_EDGE ('', *, *, #11150, .T.);
#11170 = CARTESIAN_POINT ('', (7.89786397171731, -14.014247093932, 20.));
#11180 = VERTEX_POINT ('', #11170);
#11190 = CARTESIAN_POINT ('', (7.94880253862968, -13.432016609896, 15.24));
#11200 = CARTESIAN_POINT ('', (7.89786397171731, -14.014247093932, 20.));
#11210 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#11190, #11200), .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 ('')
);
#11220 = EDGE_CURVE ('', #11110, #11180, #11210, .T.);
#11230 = ORIENTED_EDGE ('', *, *, #11220, .T.);
#11240 = CARTESIAN_POINT ('', (19.1302754058019, -14.9969557584734, 20.));
#11250 = VERTEX_POINT ('', #11240);
#11260 = CARTESIAN_POINT ('', (19.1302754058019, -14.9969557584734, 20.));
#11270 = CARTESIAN_POINT ('', (7.89786397171731, -14.014247093932, 20.));
#11280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11260, #11270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11290 = EDGE_CURVE ('', #11250, #11180, #11280, .T.);
#11300 = ORIENTED_EDGE ('', *, *, #11290, .F.);
#11310 = CARTESIAN_POINT ('', (19.1812139727142, -14.4147252744374, 15.24));
#11320 = CARTESIAN_POINT ('', (19.1302754058019, -14.9969557584734, 20.));
#11330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11310, #11320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11340 = EDGE_CURVE ('', #11090, #11250, #11330, .T.);
#11350 = ORIENTED_EDGE ('', *, *, #11340, .F.);
#11360 = EDGE_LOOP ('', (#11160, #11230, #11300, #11350));
#11370 = FACE_OUTER_BOUND ('', #11360, .F.);
#11380 = CARTESIAN_POINT ('', (19.1812139727142, -14.4147252744374, 15.24));
#11390 = CARTESIAN_POINT ('', (19.1302754058019, -14.9969557584734, 20.));
#11400 = CARTESIAN_POINT ('', (7.94880253862967, -13.432016609896, 15.24));
#11410 = CARTESIAN_POINT ('', (7.89786397171731, -14.014247093932, 20.));
#11420 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11380, #11390), (#11400, #11410)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#11430 = ADVANCED_FACE ('', (#11370), #11420, .F.);
#11440 = CARTESIAN_POINT ('', (7.75286329147807, -13.2360773627444, 15.24));
#11450 = VERTEX_POINT ('', #11440);
#11460 = CARTESIAN_POINT ('', (7.94880253862968, -13.432016609896, 15.24));
#11470 = CARTESIAN_POINT ('', (7.76862664004484, -13.4162532613292, 15.2399999999999));
#11480 = CARTESIAN_POINT ('', (7.75286329147807, -13.2360773627444, 15.24));
#11490 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#11460, #11470, #11480), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.76604444311669, 1.))
   REPRESENTATION_ITEM ('')
);
#11500 = EDGE_CURVE ('', #11110, #11450, #11490, .T.);
#11510 = ORIENTED_EDGE ('', *, *, #11500, .T.);
#11520 = CARTESIAN_POINT ('', (7.17063280744204, -13.2870159296568, 20.));
#11530 = VERTEX_POINT ('', #11520);
#11540 = CARTESIAN_POINT ('', (7.75286329147807, -13.2360773627444, 15.24));
#11550 = CARTESIAN_POINT ('', (7.17063280744204, -13.2870159296568, 20.));
#11560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11540, #11550), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11570 = EDGE_CURVE ('', #11450, #11530, #11560, .T.);
#11580 = ORIENTED_EDGE ('', *, *, #11570, .T.);
#11590 = CARTESIAN_POINT ('', (7.89786397171731, -14.014247093932, 20.));
#11600 = CARTESIAN_POINT ('', (7.22913868871768, -13.9557412126564, 20.));
#11610 = CARTESIAN_POINT ('', (7.17063280744204, -13.2870159296568, 20.));
#11620 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#11590, #11600, #11610), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.766044443118978, 1.))
   REPRESENTATION_ITEM ('')
);
#11630 = EDGE_CURVE ('', #11180, #11530, #11620, .T.);
#11640 = ORIENTED_EDGE ('', *, *, #11630, .F.);
#11650 = ORIENTED_EDGE ('', *, *, #11220, .F.);
#11660 = EDGE_LOOP ('', (#11510, #11580, #11640, #11650));
#11670 = FACE_OUTER_BOUND ('', #11660, .F.);
#11680 = CARTESIAN_POINT ('', (7.94880253862968, -13.432016609896, 15.24));
#11690 = CARTESIAN_POINT ('', (7.89786397171731, -14.014247093932, 20.));
#11700 = CARTESIAN_POINT ('', (7.76862664004484, -13.4162532613292, 15.2399999999999));
#11710 = CARTESIAN_POINT ('', (7.22913868871768, -13.9557412126564, 20.));
#11720 = CARTESIAN_POINT ('', (7.75286329147807, -13.2360773627444, 15.24));
#11730 = CARTESIAN_POINT ('', (7.17063280744204, -13.2870159296568, 20.));
#11740 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#11680, #11690), (#11700, #11710), (#11720, #11730)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.76604444311669, 0.766044443118978), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#11750 = ADVANCED_FACE ('', (#11670), #11740, .F.);
#11760 = CARTESIAN_POINT ('', (6.7701546269367, -2.00366592865983, 15.24));
#11770 = VERTEX_POINT ('', #11760);
#11780 = CARTESIAN_POINT ('', (7.75286329147807, -13.2360773627444, 15.24));
#11790 = CARTESIAN_POINT ('', (6.7701546269367, -2.00366592865982, 15.24));
#11800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11780, #11790), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11810 = EDGE_CURVE ('', #11450, #11770, #11800, .T.);
#11820 = ORIENTED_EDGE ('', *, *, #11810, .T.);
#11830 = CARTESIAN_POINT ('', (6.18792414290068, -2.05460449557219, 20.));
#11840 = VERTEX_POINT ('', #11830);
#11850 = CARTESIAN_POINT ('', (6.7701546269367, -2.00366592865983, 15.24));
#11860 = CARTESIAN_POINT ('', (6.18792414290068, -2.05460449557219, 20.));
#11870 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#11850, #11860), .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 ('')
);
#11880 = EDGE_CURVE ('', #11770, #11840, #11870, .T.);
#11890 = ORIENTED_EDGE ('', *, *, #11880, .T.);
#11900 = CARTESIAN_POINT ('', (7.17063280744204, -13.2870159296568, 20.));
#11910 = CARTESIAN_POINT ('', (6.18792414290068, -2.05460449557219, 20.));
#11920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11900, #11910), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11930 = EDGE_CURVE ('', #11530, #11840, #11920, .T.);
#11940 = ORIENTED_EDGE ('', *, *, #11930, .F.);
#11950 = ORIENTED_EDGE ('', *, *, #11570, .F.);
#11960 = EDGE_LOOP ('', (#11820, #11890, #11940, #11950));
#11970 = FACE_OUTER_BOUND ('', #11960, .F.);
#11980 = CARTESIAN_POINT ('', (7.75286329147807, -13.2360773627444, 15.24));
#11990 = CARTESIAN_POINT ('', (7.17063280744204, -13.2870159296568, 20.));
#12000 = CARTESIAN_POINT ('', (6.7701546269367, -2.00366592865982, 15.24));
#12010 = CARTESIAN_POINT ('', (6.18792414290068, -2.05460449557219, 20.));
#12020 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11980, #11990), (#12000, #12010)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#12030 = ADVANCED_FACE ('', (#11970), #12020, .F.);
#12040 = CARTESIAN_POINT ('', (7.00366592865984, -1.77015462693669, 15.24));
#12050 = VERTEX_POINT ('', #12040);
#12060 = CARTESIAN_POINT ('', (6.7701546269367, -2.00366592865983, 15.24));
#12070 = CARTESIAN_POINT ('', (6.76139455854702, -1.90353788879056, 15.24));
#12080 = CARTESIAN_POINT ('', (6.83246622366874, -1.83246622366949, 15.2399999999999));
#12090 = CARTESIAN_POINT ('', (6.90353788879044, -1.76139455854842, 15.2399999999999));
#12100 = CARTESIAN_POINT ('', (7.00366592865984, -1.77015462693669, 15.24));
#12110 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#12060, #12070, #12080, #12090, #12100), .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.906307787035605, 1., 0.906307787035605, 1.))
   REPRESENTATION_ITEM ('')
);
#12120 = EDGE_CURVE ('', #11770, #12050, #12110, .T.);
#12130 = ORIENTED_EDGE ('', *, *, #12120, .T.);
#12140 = CARTESIAN_POINT ('', (7.0546044955722, -1.18792414290067, 20.));
#12150 = VERTEX_POINT ('', #12140);
#12160 = CARTESIAN_POINT ('', (7.00366592865984, -1.77015462693669, 15.24));
#12170 = CARTESIAN_POINT ('', (7.0546044955722, -1.18792414290067, 20.));
#12180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12160, #12170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12190 = EDGE_CURVE ('', #12050, #12150, #12180, .T.);
#12200 = ORIENTED_EDGE ('', *, *, #12190, .T.);
#12210 = CARTESIAN_POINT ('', (6.18792414290068, -2.05460449557219, 20.));
#12220 = CARTESIAN_POINT ('', (6.15541103066434, -1.68297792218532, 20.));
#12230 = CARTESIAN_POINT ('', (6.41919447642484, -1.41919447642483, 20.));
#12240 = CARTESIAN_POINT ('', (6.68297792218533, -1.15541103066433, 20.));
#12250 = CARTESIAN_POINT ('', (7.0546044955722, -1.18792414290067, 20.));
#12260 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#12210, #12220, #12230, #12240, #12250), .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.90630778703665, 1., 0.90630778703665, 1.))
   REPRESENTATION_ITEM ('')
);
#12270 = EDGE_CURVE ('', #11840, #12150, #12260, .T.);
#12280 = ORIENTED_EDGE ('', *, *, #12270, .F.);
#12290 = ORIENTED_EDGE ('', *, *, #11880, .F.);
#12300 = EDGE_LOOP ('', (#12130, #12200, #12280, #12290));
#12310 = FACE_OUTER_BOUND ('', #12300, .F.);
#12320 = CARTESIAN_POINT ('', (6.7701546269367, -2.00366592865983, 15.24));
#12330 = CARTESIAN_POINT ('', (6.18792414290068, -2.05460449557219, 20.));
#12340 = CARTESIAN_POINT ('', (6.76139455854702, -1.90353788879056, 15.24));
#12350 = CARTESIAN_POINT ('', (6.15541103066434, -1.68297792218532, 20.));
#12360 = CARTESIAN_POINT ('', (6.83246622366874, -1.83246622366949, 15.2399999999999));
#12370 = CARTESIAN_POINT ('', (6.41919447642484, -1.41919447642483, 20.));
#12380 = CARTESIAN_POINT ('', (6.90353788879044, -1.76139455854842, 15.2399999999999));
#12390 = CARTESIAN_POINT ('', (6.68297792218533, -1.15541103066433, 20.));
#12400 = CARTESIAN_POINT ('', (7.00366592865984, -1.77015462693669, 15.24));
#12410 = CARTESIAN_POINT ('', (7.0546044955722, -1.18792414290067, 20.));
#12420 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#12320, #12330), (#12340, #12350), (#12360, #12370), (#12380, #12390), (#12400, #12410)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.5, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.906307787035605, 0.90630778703665), (1., 1.), (0.906307787035605, 0.90630778703665), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#12430 = ADVANCED_FACE ('', (#12310), #12420, .F.);
#12440 = CARTESIAN_POINT ('', (18.2360773627444, -2.75286329147806, 15.24));
#12450 = VERTEX_POINT ('', #12440);
#12460 = CARTESIAN_POINT ('', (7.00366592865984, -1.77015462693669, 15.24));
#12470 = CARTESIAN_POINT ('', (18.2360773627444, -2.75286329147806, 15.24));
#12480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12460, #12470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12490 = EDGE_CURVE ('', #12050, #12450, #12480, .T.);
#12500 = ORIENTED_EDGE ('', *, *, #12490, .T.);
#12510 = CARTESIAN_POINT ('', (18.2870159296568, -2.17063280744203, 20.));
#12520 = VERTEX_POINT ('', #12510);
#12530 = CARTESIAN_POINT ('', (18.2360773627444, -2.75286329147806, 15.24));
#12540 = CARTESIAN_POINT ('', (18.2870159296568, -2.17063280744203, 20.));
#12550 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#12530, #12540), .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 ('')
);
#12560 = EDGE_CURVE ('', #12450, #12520, #12550, .T.);
#12570 = ORIENTED_EDGE ('', *, *, #12560, .T.);
#12580 = CARTESIAN_POINT ('', (7.0546044955722, -1.18792414290067, 20.));
#12590 = CARTESIAN_POINT ('', (18.2870159296568, -2.17063280744203, 20.));
#12600 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12580, #12590), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12610 = EDGE_CURVE ('', #12150, #12520, #12600, .T.);
#12620 = ORIENTED_EDGE ('', *, *, #12610, .F.);
#12630 = ORIENTED_EDGE ('', *, *, #12190, .F.);
#12640 = EDGE_LOOP ('', (#12500, #12570, #12620, #12630));
#12650 = FACE_OUTER_BOUND ('', #12640, .F.);
#12660 = CARTESIAN_POINT ('', (7.00366592865984, -1.77015462693669, 15.24));
#12670 = CARTESIAN_POINT ('', (7.0546044955722, -1.18792414290067, 20.));
#12680 = CARTESIAN_POINT ('', (18.2360773627444, -2.75286329147806, 15.24));
#12690 = CARTESIAN_POINT ('', (18.2870159296568, -2.17063280744203, 20.));
#12700 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12660, #12670), (#12680, #12690)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#12710 = ADVANCED_FACE ('', (#12650), #12700, .F.);
#12720 = CARTESIAN_POINT ('', (18.4320166098959, -2.94880253862968, 15.2399999999999));
#12730 = VERTEX_POINT ('', #12720);
#12740 = CARTESIAN_POINT ('', (18.2360773627444, -2.75286329147806, 15.24));
#12750 = CARTESIAN_POINT ('', (18.4162532613292, -2.76862664004483, 15.2399999999999));
#12760 = CARTESIAN_POINT ('', (18.4320166098959, -2.94880253862968, 15.2399999999999));
#12770 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#12740, #12750, #12760), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.766044443118717, 1.))
   REPRESENTATION_ITEM ('')
);
#12780 = EDGE_CURVE ('', #12450, #12730, #12770, .T.);
#12790 = ORIENTED_EDGE ('', *, *, #12780, .T.);
#12800 = CARTESIAN_POINT ('', (19.014247093932, -2.8978639717173, 20.));
#12810 = VERTEX_POINT ('', #12800);
#12820 = CARTESIAN_POINT ('', (18.432016609896, -2.94880253862967, 15.24));
#12830 = CARTESIAN_POINT ('', (19.014247093932, -2.8978639717173, 20.));
#12840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12820, #12830), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12850 = EDGE_CURVE ('', #12730, #12810, #12840, .T.);
#12860 = ORIENTED_EDGE ('', *, *, #12850, .T.);
#12870 = CARTESIAN_POINT ('', (18.2870159296568, -2.17063280744203, 20.));
#12880 = CARTESIAN_POINT ('', (18.9557412126564, -2.22913868871767, 20.));
#12890 = CARTESIAN_POINT ('', (19.014247093932, -2.8978639717173, 20.));
#12900 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#12870, #12880, #12890), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.766044443118978, 1.))
   REPRESENTATION_ITEM ('')
);
#12910 = EDGE_CURVE ('', #12520, #12810, #12900, .T.);
#12920 = ORIENTED_EDGE ('', *, *, #12910, .F.);
#12930 = ORIENTED_EDGE ('', *, *, #12560, .F.);
#12940 = EDGE_LOOP ('', (#12790, #12860, #12920, #12930));
#12950 = FACE_OUTER_BOUND ('', #12940, .F.);
#12960 = CARTESIAN_POINT ('', (18.2360773627444, -2.75286329147806, 15.24));
#12970 = CARTESIAN_POINT ('', (18.2870159296568, -2.17063280744203, 20.));
#12980 = CARTESIAN_POINT ('', (18.4162532613292, -2.76862664004483, 15.2399999999999));
#12990 = CARTESIAN_POINT ('', (18.9557412126564, -2.22913868871767, 20.));
#13000 = CARTESIAN_POINT ('', (18.4320166098959, -2.94880253862968, 15.2399999999999));
#13010 = CARTESIAN_POINT ('', (19.014247093932, -2.8978639717173, 20.));
#13020 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#12960, #12970), (#12980, #12990), (#13000, #13010)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.766044443118717, 0.766044443118978), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#13030 = ADVANCED_FACE ('', (#12950), #13020, .F.);
#13040 = CARTESIAN_POINT ('', (19.4147252744374, -14.1812139727142, 15.24));
#13050 = VERTEX_POINT ('', #13040);
#13060 = CARTESIAN_POINT ('', (18.432016609896, -2.94880253862967, 15.24));
#13070 = CARTESIAN_POINT ('', (19.4147252744374, -14.1812139727142, 15.24));
#13080 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13060, #13070), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13090 = EDGE_CURVE ('', #12730, #13050, #13080, .T.);
#13100 = ORIENTED_EDGE ('', *, *, #13090, .T.);
#13110 = CARTESIAN_POINT ('', (19.9969557584734, -14.1302754058019, 20.));
#13120 = VERTEX_POINT ('', #13110);
#13130 = CARTESIAN_POINT ('', (19.4147252744374, -14.1812139727142, 15.24));
#13140 = CARTESIAN_POINT ('', (19.9969557584734, -14.1302754058019, 20.));
#13150 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#13130, #13140), .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 ('')
);
#13160 = EDGE_CURVE ('', #13050, #13120, #13150, .T.);
#13170 = ORIENTED_EDGE ('', *, *, #13160, .T.);
#13180 = CARTESIAN_POINT ('', (19.014247093932, -2.8978639717173, 20.));
#13190 = CARTESIAN_POINT ('', (19.9969557584734, -14.1302754058019, 20.));
#13200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13180, #13190), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13210 = EDGE_CURVE ('', #12810, #13120, #13200, .T.);
#13220 = ORIENTED_EDGE ('', *, *, #13210, .F.);
#13230 = ORIENTED_EDGE ('', *, *, #12850, .F.);
#13240 = EDGE_LOOP ('', (#13100, #13170, #13220, #13230));
#13250 = FACE_OUTER_BOUND ('', #13240, .F.);
#13260 = CARTESIAN_POINT ('', (18.432016609896, -2.94880253862967, 15.24));
#13270 = CARTESIAN_POINT ('', (19.014247093932, -2.8978639717173, 20.));
#13280 = CARTESIAN_POINT ('', (19.4147252744374, -14.1812139727142, 15.24));
#13290 = CARTESIAN_POINT ('', (19.9969557584734, -14.1302754058019, 20.));
#13300 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13260, #13270), (#13280, #13290)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#13310 = ADVANCED_FACE ('', (#13250), #13300, .F.);
#13320 = CARTESIAN_POINT ('', (19.4147252744374, -14.1812139727142, 15.24));
#13330 = CARTESIAN_POINT ('', (19.4234853428271, -14.2813420125835, 15.24));
#13340 = CARTESIAN_POINT ('', (19.3524136777054, -14.3524136777046, 15.2399999999999));
#13350 = CARTESIAN_POINT ('', (19.2813420125837, -14.4234853428257, 15.2399999999999));
#13360 = CARTESIAN_POINT ('', (19.1812139727142, -14.4147252744374, 15.24));
#13370 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#13320, #13330, #13340, #13350, #13360), .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.906307787035641, 1., 0.906307787035641, 1.))
   REPRESENTATION_ITEM ('')
);
#13380 = EDGE_CURVE ('', #13050, #11090, #13370, .T.);
#13390 = ORIENTED_EDGE ('', *, *, #13380, .T.);
#13400 = ORIENTED_EDGE ('', *, *, #11340, .T.);
#13410 = CARTESIAN_POINT ('', (19.9969557584734, -14.1302754058019, 20.));
#13420 = CARTESIAN_POINT ('', (20.0294688707097, -14.5019019791887, 20.));
#13430 = CARTESIAN_POINT ('', (19.7656854249492, -14.7656854249492, 20.));
#13440 = CARTESIAN_POINT ('', (19.5019019791888, -15.0294688707097, 20.));
#13450 = CARTESIAN_POINT ('', (19.1302754058019, -14.9969557584734, 20.));
#13460 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#13410, #13420, #13430, #13440, #13450), .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.90630778703665, 1., 0.90630778703665, 1.))
   REPRESENTATION_ITEM ('')
);
#13470 = EDGE_CURVE ('', #13120, #11250, #13460, .T.);
#13480 = ORIENTED_EDGE ('', *, *, #13470, .F.);
#13490 = ORIENTED_EDGE ('', *, *, #13160, .F.);
#13500 = EDGE_LOOP ('', (#13390, #13400, #13480, #13490));
#13510 = FACE_OUTER_BOUND ('', #13500, .F.);
#13520 = CARTESIAN_POINT ('', (19.4147252744374, -14.1812139727142, 15.24));
#13530 = CARTESIAN_POINT ('', (19.9969557584734, -14.1302754058019, 20.));
#13540 = CARTESIAN_POINT ('', (19.4234853428271, -14.2813420125835, 15.24));
#13550 = CARTESIAN_POINT ('', (20.0294688707097, -14.5019019791887, 20.));
#13560 = CARTESIAN_POINT ('', (19.3524136777054, -14.3524136777046, 15.2399999999999));
#13570 = CARTESIAN_POINT ('', (19.7656854249492, -14.7656854249492, 20.));
#13580 = CARTESIAN_POINT ('', (19.2813420125837, -14.4234853428257, 15.2399999999999));
#13590 = CARTESIAN_POINT ('', (19.5019019791888, -15.0294688707097, 20.));
#13600 = CARTESIAN_POINT ('', (19.1812139727142, -14.4147252744374, 15.24));
#13610 = CARTESIAN_POINT ('', (19.1302754058019, -14.9969557584734, 20.));
#13620 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#13520, #13530), (#13540, #13550), (#13560, #13570), (#13580, #13590), (#13600, #13610)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.5, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.906307787035641, 0.90630778703665), (1., 1.), (0.906307787035641, 0.90630778703665), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#13630 = ADVANCED_FACE ('', (#13510), #13620, .F.);
#13640 = ORIENTED_EDGE ('', *, *, #11290, .T.);
#13650 = ORIENTED_EDGE ('', *, *, #11630, .T.);
#13660 = ORIENTED_EDGE ('', *, *, #11930, .T.);
#13670 = ORIENTED_EDGE ('', *, *, #12270, .T.);
#13680 = ORIENTED_EDGE ('', *, *, #12610, .T.);
#13690 = ORIENTED_EDGE ('', *, *, #12910, .T.);
#13700 = ORIENTED_EDGE ('', *, *, #13210, .T.);
#13710 = ORIENTED_EDGE ('', *, *, #13470, .T.);
#13720 = EDGE_LOOP ('', (#13640, #13650, #13660, #13670, #13680, #13690, #13700, #13710));
#13730 = FACE_OUTER_BOUND ('', #13720, .F.);
#13740 = CARTESIAN_POINT ('', (21.0868841929843, -2.41558953984921, 20.));
#13750 = CARTESIAN_POINT ('', (6.20522400857864, -1.1136129792686, 20.));
#13760 = CARTESIAN_POINT ('', (19.9796558927954, -15.0712669221055, 20.));
#13770 = CARTESIAN_POINT ('', (5.09799570838977, -13.7692903615249, 20.));
#13780 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13740, #13750), (#13760, #13770)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.205529717990662, 0.794470282009338), (0.153735905324744, 0.846264094675256), .UNSPECIFIED.);
#13790 = ADVANCED_FACE ('', (#13730), #13780, .F.);
#13800 = ORIENTED_EDGE ('', *, *, #11150, .F.);
#13810 = ORIENTED_EDGE ('', *, *, #13380, .F.);
#13820 = ORIENTED_EDGE ('', *, *, #13090, .F.);
#13830 = ORIENTED_EDGE ('', *, *, #12780, .F.);
#13840 = ORIENTED_EDGE ('', *, *, #12490, .F.);
#13850 = ORIENTED_EDGE ('', *, *, #12120, .F.);
#13860 = ORIENTED_EDGE ('', *, *, #11810, .F.);
#13870 = ORIENTED_EDGE ('', *, *, #11500, .F.);
#13880 = EDGE_LOOP ('', (#13800, #13810, #13820, #13830, #13840, #13850, #13860, #13870));
#13890 = FACE_OUTER_BOUND ('', #13880, .F.);
#13900 = CARTESIAN_POINT ('', (20.4154153057687, -2.94353065548459, 15.2400000000001));
#13910 = CARTESIAN_POINT ('', (19.4100641394046, -14.4347470696688, 15.2399999999999));
#13920 = CARTESIAN_POINT ('', (6.77481576196953, -1.75013283170527, 15.2400000000001));
#13930 = CARTESIAN_POINT ('', (5.7694645956054, -13.2413492458895, 15.2399999999999));
#13940 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13900, #13910), (#13920, #13930)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.152368293853759, 0.847631706146241), (0.207145484703091, 0.792854515296909), .UNSPECIFIED.);
#13950 = ADVANCED_FACE ('', (#13890), #13940, .F.);
#13960 = CLOSED_SHELL ('', (#11430, #11750, #12030, #12430, #12710, #13030, #13310, #13630, #13790, #13950));
#13970 = MANIFOLD_SOLID_BREP ('', #13960);
#13980 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#13990 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#14000 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#14010 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(0.001), #13980, 'DISTANCE_ACCURACY_VALUE', '');
#14020 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#14010))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#13980, #13990, #14000))
   REPRESENTATION_CONTEXT ('', '3D')
);
#14030 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#14040 = FILL_AREA_STYLE_COLOUR ('', #14030);
#14050 = FILL_AREA_STYLE ('', (#14040));
#14060 = SURFACE_STYLE_FILL_AREA (#14050);
#14070 = SURFACE_SIDE_STYLE ('', (#14060));
#14080 = SURFACE_STYLE_USAGE (.POSITIVE., #14070);
#14090 = PRESENTATION_STYLE_ASSIGNMENT ((#14080));
#14100 = STYLED_ITEM ('', (#14090), #13970);
#14110 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#13970), #14020);
#14120 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#14130 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #14120);
#14140 = MECHANICAL_CONTEXT ('', #14120, 'mechanical');
#14150 = PRODUCT ('product-name', '', '', (#14140));
#14160 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#14170 = PERSON ('', '', $, $, $, $);
#14180 = ORGANIZATION ($, '', '');
#14190 = PERSON_AND_ORGANIZATION (#14170, #14180);
#14200 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#14190, #14160, (#14150));
#14210 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#14150));
#14220 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #14150, .NOT_KNOWN.);
#14230 = APPROVAL_STATUS ('approved');
#14240 = APPROVAL (#14230, '');
#14250 = CALENDAR_DATE (2011, 12, 1);
#14260 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#14270 = LOCAL_TIME (9, 44, 16., #14260);
#14280 = DATE_AND_TIME (#14250, #14270);
#14290 = APPROVAL_DATE_TIME (#14280, #14240);
#14300 = APPROVAL_ROLE ('');
#14310 = PERSON ('', '', $, $, $, $);
#14320 = ORGANIZATION ($, '', '');
#14330 = PERSON_AND_ORGANIZATION (#14310, #14320);
#14340 = APPROVAL_PERSON_ORGANIZATION (#14330, #14240, #14300);
#14350 = CC_DESIGN_APPROVAL (#14240, (#14220));
#14360 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#14370 = PERSON ('', '', $, $, $, $);
#14380 = ORGANIZATION ($, '', '');
#14390 = PERSON_AND_ORGANIZATION (#14370, #14380);
#14400 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#14390, #14360, (#14220));
#14410 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#14420 = PERSON ('', '', $, $, $, $);
#14430 = ORGANIZATION ($, '', '');
#14440 = PERSON_AND_ORGANIZATION (#14420, #14430);
#14450 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#14440, #14410, (#14220));
#14460 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#14470 = SECURITY_CLASSIFICATION ('', '', #14460);
#14480 = APPROVAL_STATUS ('approved');
#14490 = APPROVAL (#14480, '');
#14500 = CALENDAR_DATE (2011, 12, 1);
#14510 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#14520 = LOCAL_TIME (9, 44, 16., #14510);
#14530 = DATE_AND_TIME (#14500, #14520);
#14540 = APPROVAL_DATE_TIME (#14530, #14490);
#14550 = APPROVAL_ROLE ('');
#14560 = PERSON ('', '', $, $, $, $);
#14570 = ORGANIZATION ($, '', '');
#14580 = PERSON_AND_ORGANIZATION (#14560, #14570);
#14590 = APPROVAL_PERSON_ORGANIZATION (#14580, #14490, #14550);
#14600 = CC_DESIGN_APPROVAL (#14490, (#14470));
#14610 = DATE_TIME_ROLE ('classification_date');
#14620 = CALENDAR_DATE (2011, 12, 1);
#14630 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#14640 = LOCAL_TIME (9, 44, 16., #14630);
#14650 = DATE_AND_TIME (#14620, #14640);
#14660 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#14650, #14610, (#14470));
#14670 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#14680 = PERSON ('', '', $, $, $, $);
#14690 = ORGANIZATION ($, '', '');
#14700 = PERSON_AND_ORGANIZATION (#14680, #14690);
#14710 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#14700, #14670, (#14470));
#14720 = CC_DESIGN_SECURITY_CLASSIFICATION (#14470, (#14220));
#14730 = DESIGN_CONTEXT ('', #14120, 'design');
#14740 = PRODUCT_DEFINITION ('', '', #14220, #14730);
#14750 = APPROVAL_STATUS ('approved');
#14760 = APPROVAL (#14750, '');
#14770 = CALENDAR_DATE (2011, 12, 1);
#14780 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#14790 = LOCAL_TIME (9, 44, 16., #14780);
#14800 = DATE_AND_TIME (#14770, #14790);
#14810 = APPROVAL_DATE_TIME (#14800, #14760);
#14820 = APPROVAL_ROLE ('');
#14830 = PERSON ('', '', $, $, $, $);
#14840 = ORGANIZATION ($, '', '');
#14850 = PERSON_AND_ORGANIZATION (#14830, #14840);
#14860 = APPROVAL_PERSON_ORGANIZATION (#14850, #14760, #14820);
#14870 = CC_DESIGN_APPROVAL (#14760, (#14740));
#14880 = DATE_TIME_ROLE ('creation_date');
#14890 = CALENDAR_DATE (2011, 12, 1);
#14900 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#14910 = LOCAL_TIME (9, 44, 16., #14900);
#14920 = DATE_AND_TIME (#14890, #14910);
#14930 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#14920, #14880, (#14740));
#14940 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#14950 = PERSON ('', '', $, $, $, $);
#14960 = ORGANIZATION ($, '', '');
#14970 = PERSON_AND_ORGANIZATION (#14950, #14960);
#14980 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#14970, #14940, (#14740));
#14990 = PRODUCT_DEFINITION_SHAPE ('', '', #14740);
#15000 = SHAPE_DEFINITION_REPRESENTATION (#14990, #14110);
ENDSEC;
END-ISO-10303-21;