ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('C:\\TDMTemp\\Tools\\SMLIB\\inserts\\I02\\step\\LOMX 150302EN AP40.stp', '2010-12-08T13:46:10', ('Unknown'), ('Unknown'), 'HarmonyWare STEP v1.4.4', 'HarmonyWare Translators', '');
FILE_SCHEMA (('CONFIG_CONTROL_DESIGN'));
ENDSEC;

DATA;
#10 = CARTESIAN_POINT ('', (-11.9326982792097, 0.149999999999957, -7.40057815990343));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (-12.6410019133273, 1.27499999999996, -6.42568184369993));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (-11.9326982792097, 0.149999999999957, -7.40057815990343));
#60 = CARTESIAN_POINT ('', (-12.6410019133273, 1.27499999999995, -6.42568184369993));
#70 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#50, #60), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.837059941151826), .UNSPECIFIED.);
#80 = EDGE_CURVE ('', #20, #40, #70, .T.);
#90 = ORIENTED_EDGE ('', *, *, #80, .F.);
#100 = CARTESIAN_POINT ('', (-11.9326982792097, -0.150000000000043, -7.40057815990343));
#110 = VERTEX_POINT ('', #100);
#120 = CARTESIAN_POINT ('', (-11.9326982792097, -0.150000000000043, -7.40057815990343));
#130 = CARTESIAN_POINT ('', (-11.9326982792097, 0.149999999999957, -7.40057815990343));
#140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#120, #130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#150 = EDGE_CURVE ('', #110, #20, #140, .T.);
#160 = ORIENTED_EDGE ('', *, *, #150, .F.);
#170 = CARTESIAN_POINT ('', (-12.6410019133273, -1.27500000000004, -6.42568184369992));
#180 = VERTEX_POINT ('', #170);
#190 = CARTESIAN_POINT ('', (-12.6410019133273, -1.27500000000005, -6.42568184369992));
#200 = CARTESIAN_POINT ('', (-11.9326982792097, -0.150000000000042, -7.40057815990343));
#210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#190, #200), .UNSPECIFIED., .F., .U., (2, 2), (0.162940098205552, 1.), .UNSPECIFIED.);
#220 = EDGE_CURVE ('', #180, #110, #210, .T.);
#230 = ORIENTED_EDGE ('', *, *, #220, .F.);
#240 = CARTESIAN_POINT ('', (-12.9563139134297, -1.27500000000005, -5.99169210745139));
#250 = VERTEX_POINT ('', #240);
#260 = CARTESIAN_POINT ('', (-12.6410019133273, -1.27500000000004, -6.42568184369992));
#270 = CARTESIAN_POINT ('', (-12.9563139134297, -1.27500000000005, -5.99169210745139));
#280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#260, #270), .UNSPECIFIED., .F., .U., (2, 2), (0.466707455432713, 0.557705269201663), .UNSPECIFIED.);
#290 = EDGE_CURVE ('', #180, #250, #280, .T.);
#300 = ORIENTED_EDGE ('', *, *, #290, .T.);
#310 = CARTESIAN_POINT ('', (-14.1454875180825, -1.49398983583889, -4.35493505770573));
#320 = VERTEX_POINT ('', #310);
#330 = CARTESIAN_POINT ('', (-12.9563139134297, -1.27500000000005, -5.99169210745139));
#340 = CARTESIAN_POINT ('', (-14.1454875180825, -1.49398983583889, -4.35493505770573));
#350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#330, #340), .UNSPECIFIED., .F., .U., (2, 2), (0.568657316420778, 0.908485638018834), .UNSPECIFIED.);
#360 = EDGE_CURVE ('', #250, #320, #350, .T.);
#370 = ORIENTED_EDGE ('', *, *, #360, .T.);
#380 = CARTESIAN_POINT ('', (-14.488887394336, -1.35012172425227, -3.88228567653782));
#390 = VERTEX_POINT ('', #380);
#400 = CARTESIAN_POINT ('', (-14.4888873943346, -1.3501218757713, -3.88228567654033));
#410 = CARTESIAN_POINT ('', (-14.4888873943346, -1.4350168390131, -3.88228567654033));
#420 = CARTESIAN_POINT ('', (-14.1454875180825, -1.49398983583889, -4.35493505770573));
#430 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#400, #410, #420), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 0.499999889192811), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.920504837235899, 0.999999964765458))
   REPRESENTATION_ITEM ('')
);
#440 = EDGE_CURVE ('', #390, #320, #430, .T.);
#450 = ORIENTED_EDGE ('', *, *, #440, .F.);
#460 = CARTESIAN_POINT ('', (-14.4888873943366, 1.35012172425217, -3.88228567653813));
#470 = VERTEX_POINT ('', #460);
#480 = CARTESIAN_POINT ('', (-14.488887394336, -1.35012172425227, -3.88228567653782));
#490 = CARTESIAN_POINT ('', (-14.488887394336, 1.35012172425217, -3.88228567653783));
#500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#480, #490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#510 = EDGE_CURVE ('', #390, #470, #500, .T.);
#520 = ORIENTED_EDGE ('', *, *, #510, .T.);
#530 = CARTESIAN_POINT ('', (-14.1454875229273, 1.49398977264629, -4.35493505103743));
#540 = VERTEX_POINT ('', #530);
#550 = CARTESIAN_POINT ('', (-14.1454875229273, 1.49398977264629, -4.35493505103743));
#560 = CARTESIAN_POINT ('', (-14.4888873943381, 1.43501677594551, -3.88228567653545));
#570 = CARTESIAN_POINT ('', (-14.4888873943381, 1.35012181340986, -3.88228567653545));
#580 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#550, #560, #570), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.500000142613707, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.999999954651599, 0.920504833750336, 1.))
   REPRESENTATION_ITEM ('')
);
#590 = EDGE_CURVE ('', #540, #470, #580, .T.);
#600 = ORIENTED_EDGE ('', *, *, #590, .F.);
#610 = CARTESIAN_POINT ('', (-12.9563142471825, 1.27499999999995, -5.99169164808012));
#620 = VERTEX_POINT ('', #610);
#630 = CARTESIAN_POINT ('', (-14.1454875229273, 1.49398977264629, -4.35493505103743));
#640 = CARTESIAN_POINT ('', (-12.9563142471825, 1.27499999999995, -5.99169164808012));
#650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#630, #640), .UNSPECIFIED., .F., .U., (2, 2), (0.091514334885312, 0.431342572109438), .UNSPECIFIED.);
#660 = EDGE_CURVE ('', #540, #620, #650, .T.);
#670 = ORIENTED_EDGE ('', *, *, #660, .T.);
#680 = CARTESIAN_POINT ('', (-12.9563142471825, 1.27499999999995, -5.99169164808012));
#690 = CARTESIAN_POINT ('', (-12.6410019133273, 1.27499999999996, -6.42568184369993));
#700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#680, #690), .UNSPECIFIED., .F., .U., (2, 2), (0.442294634478589, 0.533292544567287), .UNSPECIFIED.);
#710 = EDGE_CURVE ('', #620, #40, #700, .T.);
#720 = ORIENTED_EDGE ('', *, *, #710, .T.);
#730 = EDGE_LOOP ('', (#90, #160, #230, #300, #370, #450, #520, #600, #670, #720));
#740 = FACE_OUTER_BOUND ('', #730, .T.);
#750 = CARTESIAN_POINT ('', (-14.4888873943372, -1.4939898358389, -3.88228567653675));
#760 = CARTESIAN_POINT ('', (-11.9326982792097, -1.49398983583889, -7.40057815990343));
#770 = CARTESIAN_POINT ('', (-14.4888873943372, 1.49398977264629, -3.88228567653675));
#780 = CARTESIAN_POINT ('', (-11.9326982792097, 1.4939897726463, -7.40057815990343));
#790 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#750, #760), (#770, #780)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.385199945428009, 0.524088297889324), (0.273206329094746, 0.475351091309155), .UNSPECIFIED.);
#800 = ADVANCED_FACE ('', (#740), #790, .T.);
#810 = CARTESIAN_POINT ('', (-8.48620023155617, 1.27499999999999, -1.40492167267813));
#820 = VERTEX_POINT ('', #810);
#830 = CARTESIAN_POINT ('', (-7.34797131520901, 1.275, -1.55477250775333));
#840 = VERTEX_POINT ('', #830);
#850 = CARTESIAN_POINT ('', (-8.48620023155617, 1.27499999999999, -1.40492167267813));
#860 = CARTESIAN_POINT ('', (-7.94812090927435, 1.275, -1.71558210682101));
#870 = CARTESIAN_POINT ('', (-7.34797131520901, 1.275, -1.55477250775333));
#880 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#850, #860, #870), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.923879481150517, 1.))
   REPRESENTATION_ITEM ('')
);
#890 = EDGE_CURVE ('', #820, #840, #880, .T.);
#900 = ORIENTED_EDGE ('', *, *, #890, .F.);
#910 = CARTESIAN_POINT ('', (-8.48620023155615, -1.27500000000001, -1.40492167267813));
#920 = VERTEX_POINT ('', #910);
#930 = CARTESIAN_POINT ('', (-8.48620023155617, 1.27499999999999, -1.40492167267813));
#940 = CARTESIAN_POINT ('', (-8.48620023155615, -1.27500000000001, -1.40492167267813));
#950 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#930, #940), .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 ('')
);
#960 = EDGE_CURVE ('', #820, #920, #950, .T.);
#970 = ORIENTED_EDGE ('', *, *, #960, .T.);
#980 = CARTESIAN_POINT ('', (-7.34797131520902, -1.275, -1.55477250775328));
#990 = VERTEX_POINT ('', #980);
#1000 = CARTESIAN_POINT ('', (-8.48620023155615, -1.27500000000001, -1.40492167267813));
#1010 = CARTESIAN_POINT ('', (-7.94812090927434, -1.275, -1.715582106821));
#1020 = CARTESIAN_POINT ('', (-7.34797131520899, -1.275, -1.55477250775333));
#1030 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1000, #1010, #1020), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.923879481150517, 1.))
   REPRESENTATION_ITEM ('')
);
#1040 = EDGE_CURVE ('', #920, #990, #1030, .T.);
#1050 = ORIENTED_EDGE ('', *, *, #1040, .T.);
#1060 = CARTESIAN_POINT ('', (-7.34797131520901, -1.275, -1.55477250775333));
#1070 = CARTESIAN_POINT ('', (-7.34797131520901, 1.275, -1.55477250775333));
#1080 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#1060, #1070), .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 ('')
);
#1090 = EDGE_CURVE ('', #990, #840, #1080, .T.);
#1100 = ORIENTED_EDGE ('', *, *, #1090, .T.);
#1110 = EDGE_LOOP ('', (#900, #970, #1050, #1100));
#1120 = FACE_OUTER_BOUND ('', #1110, .T.);
#1130 = CARTESIAN_POINT ('', (-8.48620023155617, 1.27499999999999, -1.40492167267813));
#1140 = CARTESIAN_POINT ('', (-7.94812090927435, 1.275, -1.71558210682101));
#1150 = CARTESIAN_POINT ('', (-7.34797131520901, 1.275, -1.55477250775333));
#1160 = CARTESIAN_POINT ('', (-8.48620023155615, -1.27500000000001, -1.40492167267813));
#1170 = CARTESIAN_POINT ('', (-7.94812090927434, -1.275, -1.715582106821));
#1180 = CARTESIAN_POINT ('', (-7.34797131520899, -1.275, -1.55477250775333));
#1190 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#1130, #1140, #1150), (#1160, #1170, #1180)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 3), (0., 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.923879481150517, 1.), (1., 0.923879481150517, 1.)))
   REPRESENTATION_ITEM ('')
);
#1200 = ADVANCED_FACE ('', (#1120), #1190, .T.);
#1210 = CARTESIAN_POINT ('', (-9.34208365118249, 1.27499999999999, -0.910777149961943));
#1220 = VERTEX_POINT ('', #1210);
#1230 = CARTESIAN_POINT ('', (-9.34208365118248, 1.27499999999999, -0.910777149961944));
#1240 = CARTESIAN_POINT ('', (-8.48620023155617, 1.27499999999999, -1.40492167267813));
#1250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1230, #1240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1260 = EDGE_CURVE ('', #1220, #820, #1250, .T.);
#1270 = ORIENTED_EDGE ('', *, *, #1260, .F.);
#1280 = CARTESIAN_POINT ('', (-9.34208365118247, -1.27500000000001, -0.910777149961939));
#1290 = VERTEX_POINT ('', #1280);
#1300 = CARTESIAN_POINT ('', (-9.34208365118248, 1.27499999999999, -0.910777149961944));
#1310 = CARTESIAN_POINT ('', (-9.34208365118247, -1.27500000000001, -0.910777149961938));
#1320 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1300, #1310), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1330 = EDGE_CURVE ('', #1220, #1290, #1320, .T.);
#1340 = ORIENTED_EDGE ('', *, *, #1330, .T.);
#1350 = CARTESIAN_POINT ('', (-9.34208365118247, -1.27500000000001, -0.910777149961938));
#1360 = CARTESIAN_POINT ('', (-8.48620023155615, -1.27500000000001, -1.40492167267813));
#1370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1350, #1360), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1380 = EDGE_CURVE ('', #1290, #920, #1370, .T.);
#1390 = ORIENTED_EDGE ('', *, *, #1380, .T.);
#1400 = ORIENTED_EDGE ('', *, *, #960, .F.);
#1410 = EDGE_LOOP ('', (#1270, #1340, #1390, #1400));
#1420 = FACE_OUTER_BOUND ('', #1410, .T.);
#1430 = CARTESIAN_POINT ('', (-9.34208365118248, 1.27499999999999, -0.910777149961944));
#1440 = CARTESIAN_POINT ('', (-8.48620023155617, 1.27499999999999, -1.40492167267813));
#1450 = CARTESIAN_POINT ('', (-9.34208365118247, -1.27500000000001, -0.910777149961938));
#1460 = CARTESIAN_POINT ('', (-8.48620023155615, -1.27500000000001, -1.40492167267813));
#1470 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1430, #1440), (#1450, #1460)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#1480 = ADVANCED_FACE ('', (#1420), #1470, .T.);
#1490 = ORIENTED_EDGE ('', *, *, #510, .F.);
#1500 = CARTESIAN_POINT ('', (-14.3096374834789, -1.55000003875753, -3.77879569225223));
#1510 = VERTEX_POINT ('', #1500);
#1520 = CARTESIAN_POINT ('', (-14.488887394336, -1.35012172425227, -3.88228567653782));
#1530 = CARTESIAN_POINT ('', (-14.4888874500354, -1.43501675263769, -3.88228570869585));
#1540 = CARTESIAN_POINT ('', (-14.4360006983512, -1.49398980727258, -3.85175152837447));
#1550 = CARTESIAN_POINT ('', (-14.3831139466671, -1.55296286190747, -3.82121734805309));
#1560 = CARTESIAN_POINT ('', (-14.3096374834789, -1.55000003875757, -3.77879569225223));
#1570 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1520, #1530, #1540, #1550, #1560), .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.920504745614568, 1., 0.920504745614568, 1.))
   REPRESENTATION_ITEM ('')
);
#1580 = EDGE_CURVE ('', #390, #1510, #1570, .T.);
#1590 = ORIENTED_EDGE ('', *, *, #1580, .T.);
#1600 = CARTESIAN_POINT ('', (-9.8036899598622, -1.36830657557902, -1.17728567653781));
#1610 = VERTEX_POINT ('', #1600);
#1620 = CARTESIAN_POINT ('', (-14.3096374834789, -1.55000003875753, -3.77879569225223));
#1630 = CARTESIAN_POINT ('', (-9.8036899598622, -1.36830657557902, -1.17728567653781));
#1640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1620, #1630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1650 = EDGE_CURVE ('', #1510, #1610, #1640, .T.);
#1660 = ORIENTED_EDGE ('', *, *, #1650, .T.);
#1670 = CARTESIAN_POINT ('', (-9.8036899598622, -1.27500000000002, -1.17728567653781));
#1680 = VERTEX_POINT ('', #1670);
#1690 = CARTESIAN_POINT ('', (-9.8036899598622, -1.27500000000002, -1.17728567653781));
#1700 = CARTESIAN_POINT ('', (-9.8036899598622, -1.36830657557902, -1.17728567653781));
#1710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1690, #1700), .UNSPECIFIED., .F., .U., (2, 2), (0.965904360453899, 1.), .UNSPECIFIED.);
#1720 = EDGE_CURVE ('', #1680, #1610, #1710, .T.);
#1730 = ORIENTED_EDGE ('', *, *, #1720, .F.);
#1740 = CARTESIAN_POINT ('', (-9.8036899598622, -1.27500000000002, -1.17728567653781));
#1750 = CARTESIAN_POINT ('', (-9.34208365118247, -1.27500000000001, -0.910777149961938));
#1760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1740, #1750), .UNSPECIFIED., .F., .U., (2, 2), (0.910312043801208, 1.), .UNSPECIFIED.);
#1770 = EDGE_CURVE ('', #1680, #1290, #1760, .T.);
#1780 = ORIENTED_EDGE ('', *, *, #1770, .T.);
#1790 = ORIENTED_EDGE ('', *, *, #1330, .F.);
#1800 = CARTESIAN_POINT ('', (-9.80368995986222, 1.27499999999998, -1.17728567653782));
#1810 = VERTEX_POINT ('', #1800);
#1820 = CARTESIAN_POINT ('', (-9.80368995986222, 1.27499999999998, -1.17728567653782));
#1830 = CARTESIAN_POINT ('', (-9.34208365118248, 1.27499999999999, -0.910777149961944));
#1840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1820, #1830), .UNSPECIFIED., .F., .U., (2, 2), (0.910312043801208, 1.), .UNSPECIFIED.);
#1850 = EDGE_CURVE ('', #1810, #1220, #1840, .T.);
#1860 = ORIENTED_EDGE ('', *, *, #1850, .F.);
#1870 = CARTESIAN_POINT ('', (-9.80368995986222, 1.36830657557899, -1.17728567653782));
#1880 = VERTEX_POINT ('', #1870);
#1890 = CARTESIAN_POINT ('', (-9.80368995986222, 1.36830657557899, -1.17728567653782));
#1900 = CARTESIAN_POINT ('', (-9.80368995986222, 1.27499999999998, -1.17728567653782));
#1910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1890, #1900), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0340956395461005), .UNSPECIFIED.);
#1920 = EDGE_CURVE ('', #1880, #1810, #1910, .T.);
#1930 = ORIENTED_EDGE ('', *, *, #1920, .F.);
#1940 = CARTESIAN_POINT ('', (-14.3096371076747, 1.54999996124247, -3.77879547528158));
#1950 = VERTEX_POINT ('', #1940);
#1960 = CARTESIAN_POINT ('', (-14.3096371076747, 1.54999996124247, -3.77879547528158));
#1970 = CARTESIAN_POINT ('', (-9.80368995986222, 1.36830657557899, -1.17728567653782));
#1980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1960, #1970), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1990 = EDGE_CURVE ('', #1950, #1880, #1980, .T.);
#2000 = ORIENTED_EDGE ('', *, *, #1990, .F.);
#2010 = CARTESIAN_POINT ('', (-14.3096371076747, 1.54999996124247, -3.77879547528158));
#2020 = CARTESIAN_POINT ('', (-14.3831136602468, 1.5529629724188, -3.82121718268825));
#2030 = CARTESIAN_POINT ('', (-14.4360005436792, 1.49398991738371, -3.8517514390745));
#2040 = CARTESIAN_POINT ('', (-14.4888874271115, 1.43501686234862, -3.88228569546076));
#2050 = CARTESIAN_POINT ('', (-14.4888873943366, 1.35012172425217, -3.88228567653813));
#2060 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2010, #2020, #2030, #2040, #2050), .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.920504564000358, 1., 0.920504564000358, 1.))
   REPRESENTATION_ITEM ('')
);
#2070 = EDGE_CURVE ('', #1950, #470, #2060, .T.);
#2080 = ORIENTED_EDGE ('', *, *, #2070, .T.);
#2090 = EDGE_LOOP ('', (#1490, #1590, #1660, #1730, #1780, #1790, #1860, #1930, #2000, #2080));
#2100 = FACE_OUTER_BOUND ('', #2090, .T.);
#2110 = CARTESIAN_POINT ('', (-14.4888874500354, 1.5529629724188, -3.88228570869586));
#2120 = CARTESIAN_POINT ('', (-9.34208365118249, 1.55296297241884, -0.910777149961944));
#2130 = CARTESIAN_POINT ('', (-14.4888874500354, -1.55296286190747, -3.88228570869585));
#2140 = CARTESIAN_POINT ('', (-9.34208365118247, -1.55296286190743, -0.910777149961937));
#2150 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2110, #2120), (#2130, #2140)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.27368644072969, 0.72631355927031), (0.105799869180212, 0.971876799797114), .UNSPECIFIED.);
#2160 = ADVANCED_FACE ('', (#2100), #2150, .T.);
#2170 = ORIENTED_EDGE ('', *, *, #440, .T.);
#2180 = CARTESIAN_POINT ('', (-14.1454875180825, -1.49398983583889, -4.35493505770573));
#2190 = CARTESIAN_POINT ('', (-14.3831139511302, -1.5529628326649, -3.82121735062919));
#2200 = CARTESIAN_POINT ('', (-14.3096375434346, -1.55000004117517, -3.77879572686705));
#2210 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2180, #2190, #2200), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.500000242363678, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.999999922933021, 0.920504817981932, 1.))
   REPRESENTATION_ITEM ('')
);
#2220 = EDGE_CURVE ('', #320, #1510, #2210, .T.);
#2230 = ORIENTED_EDGE ('', *, *, #2220, .T.);
#2240 = ORIENTED_EDGE ('', *, *, #1580, .F.);
#2250 = EDGE_LOOP ('', (#2170, #2230, #2240));
#2260 = FACE_OUTER_BOUND ('', #2250, .T.);
#2270 = CARTESIAN_POINT ('', (-14.488887394336, -1.35012172425227, -3.88228567653782));
#2280 = CARTESIAN_POINT ('', (-14.4888874500354, -1.43501675263769, -3.88228570869585));
#2290 = CARTESIAN_POINT ('', (-14.4360006983512, -1.49398980727258, -3.85175152837447));
#2300 = CARTESIAN_POINT ('', (-14.3831139466671, -1.55296286190747, -3.82121734805309));
#2310 = CARTESIAN_POINT ('', (-14.3096374834789, -1.55000003875757, -3.77879569225223));
#2320 = CARTESIAN_POINT ('', (-14.1983742396854, -1.35012172425227, -4.38546922065975));
#2330 = CARTESIAN_POINT ('', (-14.1983742953848, -1.43501675263768, -4.38546925281778));
#2340 = CARTESIAN_POINT ('', (-14.1454875437007, -1.49398980727258, -4.3549350724964));
#2350 = CARTESIAN_POINT ('', (-14.0926007920166, -1.55296286190747, -4.32440089217502));
#2360 = CARTESIAN_POINT ('', (-14.0191243288283, -1.55000003875757, -4.28197923637416));
#2370 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#2270, #2280, #2290, #2300, #2310), (#2320, #2330, #2340, #2350, #2360)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 3), (0., 0.0974876357887874), (0., 0.5, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.920504745614568, 1., 0.920504745614568, 1.), (1., 0.920504745614568, 1., 0.920504745614568, 1.)))
   REPRESENTATION_ITEM ('')
);
#2380 = ADVANCED_FACE ('', (#2260), #2370, .T.);
#2390 = ORIENTED_EDGE ('', *, *, #360, .F.);
#2400 = CARTESIAN_POINT ('', (-9.36008397434455, -1.27500000000001, -1.94563378199604));
#2410 = VERTEX_POINT ('', #2400);
#2420 = CARTESIAN_POINT ('', (-9.36008397434455, -1.27500000000001, -1.94563378199604));
#2430 = CARTESIAN_POINT ('', (-12.9563139134297, -1.27500000000005, -5.99169210745139));
#2440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2420, #2430), .UNSPECIFIED., .F., .U., (2, 2), (0.00342829602358357, 0.948818335992896), .UNSPECIFIED.);
#2450 = EDGE_CURVE ('', #2410, #250, #2440, .T.);
#2460 = ORIENTED_EDGE ('', *, *, #2450, .F.);
#2470 = CARTESIAN_POINT ('', (-9.36008397434455, -1.27500000000001, -1.94563378199605));
#2480 = CARTESIAN_POINT ('', (-9.8036899598622, -1.36830657557902, -1.17728567653781));
#2490 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2470, #2480), .UNSPECIFIED., .F., .U., (2, 2), (0.851138931034345, 1.), .UNSPECIFIED.);
#2500 = EDGE_CURVE ('', #2410, #1610, #2490, .T.);
#2510 = ORIENTED_EDGE ('', *, *, #2500, .T.);
#2520 = ORIENTED_EDGE ('', *, *, #1650, .F.);
#2530 = ORIENTED_EDGE ('', *, *, #2220, .F.);
#2540 = EDGE_LOOP ('', (#2390, #2460, #2510, #2520, #2530));
#2550 = FACE_OUTER_BOUND ('', #2540, .T.);
#2560 = CARTESIAN_POINT ('', (-9.80087159376963, -1.36819293051481, -1.17565849211494));
#2570 = CARTESIAN_POINT ('', (-8.51256578531976, -1.09581460499543, -3.42609292947623));
#2580 = CARTESIAN_POINT ('', (-14.4341549527672, -1.55502096057316, -3.85068588666398));
#2590 = CARTESIAN_POINT ('', (-13.1458491443173, -1.28264263505379, -6.10112032402527));
#2600 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2560, #2570), (#2580, #2590)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.435902926281409, 0.746144243033751), (0.224560143754226, 0.37566533520845), .UNSPECIFIED.);
#2610 = ADVANCED_FACE ('', (#2550), #2600, .T.);
#2620 = CARTESIAN_POINT ('', (-0.328617686256931, -1.275, -3.12658843315472));
#2630 = VERTEX_POINT ('', #2620);
#2640 = CARTESIAN_POINT ('', (-0.328617686256921, -1.27499999999996, -3.12658843315472));
#2650 = CARTESIAN_POINT ('', (-12.6410019133273, -1.27500000000004, -6.42568184369992));
#2660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2640, #2650), .UNSPECIFIED., .F., .U., (2, 2), (-0.990973770429596, 0.990973770429597), .UNSPECIFIED.);
#2670 = EDGE_CURVE ('', #2630, #180, #2660, .T.);
#2680 = ORIENTED_EDGE ('', *, *, #2670, .F.);
#2690 = CARTESIAN_POINT ('', (-0.27254429282171, -1.275, -2.59308573182701));
#2700 = VERTEX_POINT ('', #2690);
#2710 = CARTESIAN_POINT ('', (-0.27254429282171, -1.275, -2.59308573182701));
#2720 = CARTESIAN_POINT ('', (-0.328617686256931, -1.275, -3.12658843315472));
#2730 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2710, #2720), .UNSPECIFIED., .F., .U., (2, 2), (0.442294634478589, 0.533292544567287), .UNSPECIFIED.);
#2740 = EDGE_CURVE ('', #2700, #2630, #2730, .T.);
#2750 = ORIENTED_EDGE ('', *, *, #2740, .F.);
#2760 = CARTESIAN_POINT ('', (-5.41, -1.275, -0.88721197140618));
#2770 = VERTEX_POINT ('', #2760);
#2780 = CARTESIAN_POINT ('', (-0.27254429282171, -1.275, -2.59308573182701));
#2790 = CARTESIAN_POINT ('', (-5.41, -1.275, -0.887211971406181));
#2800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2780, #2790), .UNSPECIFIED., .F., .U., (2, 2), (0.0511816489823743, 0.996571705135689), .UNSPECIFIED.);
#2810 = EDGE_CURVE ('', #2700, #2770, #2800, .T.);
#2820 = ORIENTED_EDGE ('', *, *, #2810, .T.);
#2830 = CARTESIAN_POINT ('', (-5.41, -1.275, 0.));
#2840 = VERTEX_POINT ('', #2830);
#2850 = CARTESIAN_POINT ('', (-5.41, -1.275, -0.88721197140618));
#2860 = CARTESIAN_POINT ('', (-5.41, -1.275, -1.77635683940025E-15));
#2870 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2850, #2860), .UNSPECIFIED., .F., .U., (2, 2), (0.848670990788397, 1.), .UNSPECIFIED.);
#2880 = EDGE_CURVE ('', #2770, #2840, #2870, .T.);
#2890 = ORIENTED_EDGE ('', *, *, #2880, .T.);
#2900 = CARTESIAN_POINT ('', (-5.94301705315175, -1.275, 0.));
#2910 = VERTEX_POINT ('', #2900);
#2920 = CARTESIAN_POINT ('', (-5.41, -1.275, 0.));
#2930 = CARTESIAN_POINT ('', (-5.94301705315175, -1.275, 0.));
#2940 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2920, #2930), .UNSPECIFIED., .F., .U., (2, 2), (0.910312043801208, 1.), .UNSPECIFIED.);
#2950 = EDGE_CURVE ('', #2840, #2910, #2940, .T.);
#2960 = ORIENTED_EDGE ('', *, *, #2950, .T.);
#2970 = CARTESIAN_POINT ('', (-6.43716157586794, -1.275, -0.855883419626311));
#2980 = VERTEX_POINT ('', #2970);
#2990 = CARTESIAN_POINT ('', (-5.94301705315175, -1.275, 0.));
#3000 = CARTESIAN_POINT ('', (-6.43716157586794, -1.275, -0.855883419626311));
#3010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2990, #3000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3020 = EDGE_CURVE ('', #2910, #2980, #3010, .T.);
#3030 = ORIENTED_EDGE ('', *, *, #3020, .T.);
#3040 = CARTESIAN_POINT ('', (-6.43716157586794, -1.275, -0.855883419626312));
#3050 = CARTESIAN_POINT ('', (-6.74782172114366, -1.275, -1.39396290868566));
#3060 = CARTESIAN_POINT ('', (-7.34797131520901, -1.275, -1.55477250775333));
#3070 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3040, #3050, #3060), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.923879481150517, 1.))
   REPRESENTATION_ITEM ('')
);
#3080 = EDGE_CURVE ('', #2980, #990, #3070, .T.);
#3090 = ORIENTED_EDGE ('', *, *, #3080, .T.);
#3100 = ORIENTED_EDGE ('', *, *, #1040, .F.);
#3110 = ORIENTED_EDGE ('', *, *, #1380, .F.);
#3120 = ORIENTED_EDGE ('', *, *, #1770, .F.);
#3130 = CARTESIAN_POINT ('', (-9.8036899598622, -1.27500000000002, -1.17728567653781));
#3140 = CARTESIAN_POINT ('', (-9.36008397434455, -1.27500000000001, -1.94563378199604));
#3150 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3130, #3140), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.148861068965654), .UNSPECIFIED.);
#3160 = EDGE_CURVE ('', #1680, #2410, #3150, .T.);
#3170 = ORIENTED_EDGE ('', *, *, #3160, .T.);
#3180 = ORIENTED_EDGE ('', *, *, #2450, .T.);
#3190 = ORIENTED_EDGE ('', *, *, #290, .F.);
#3200 = EDGE_LOOP ('', (#2680, #2750, #2820, #2890, #2960, #3030, #3090, #3100, #3110, #3120, #3170, #3180, #3190));
#3210 = FACE_OUTER_BOUND ('', #3200, .T.);
#3220 = CARTESIAN_POINT ('', (-11.040016139845, -1.27500000000004, -9.31081721373116));
#3230 = CARTESIAN_POINT ('', (-14.252857061695, -1.27500000000005, -3.7460135004506));
#3240 = CARTESIAN_POINT ('', (-0.0555491950118043, -1.27499999999995, -2.96893226622714));
#3250 = CARTESIAN_POINT ('', (-3.26839011686178, -1.27499999999996, 2.59587144705342));
#3260 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3220, #3230), (#3240, #3250)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.244735940918018, 1.37048944731136), (0.189863572306825, 0.760177755423647), .UNSPECIFIED.);
#3270 = ADVANCED_FACE ('', (#3210), #3260, .T.);
#3280 = ORIENTED_EDGE ('', *, *, #3160, .F.);
#3290 = ORIENTED_EDGE ('', *, *, #1720, .T.);
#3300 = ORIENTED_EDGE ('', *, *, #2500, .F.);
#3310 = EDGE_LOOP ('', (#3280, #3290, #3300));
#3320 = FACE_OUTER_BOUND ('', #3310, .T.);
#3330 = CARTESIAN_POINT ('', (-9.8036899598622, -1.27500000000002, -1.17728567653781));
#3340 = CARTESIAN_POINT ('', (-9.36008397415911, -1.27500000000001, -1.94563378231724));
#3350 = CARTESIAN_POINT ('', (-9.8036899598622, -1.36830657557902, -1.17728567653781));
#3360 = CARTESIAN_POINT ('', (-9.36008397415911, -1.36830657557902, -1.94563378231724));
#3370 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3330, #3340), (#3350, #3360)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.965904360453899, 1.), (0., 0.148861069027883), .UNSPECIFIED.);
#3380 = ADVANCED_FACE ('', (#3320), #3370, .T.);
#3390 = CARTESIAN_POINT ('', (-9.36008397415912, 1.27499999999999, -1.94563378231724));
#3400 = VERTEX_POINT ('', #3390);
#3410 = CARTESIAN_POINT ('', (-9.36008397415913, 1.27499999999999, -1.94563378231724));
#3420 = CARTESIAN_POINT ('', (-9.80368995986222, 1.27499999999998, -1.17728567653782));
#3430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3410, #3420), .UNSPECIFIED., .F., .U., (2, 2), (0.848670990788397, 1.), .UNSPECIFIED.);
#3440 = EDGE_CURVE ('', #3400, #1810, #3430, .T.);
#3450 = ORIENTED_EDGE ('', *, *, #3440, .F.);
#3460 = CARTESIAN_POINT ('', (-9.80368995986222, 1.36830657557899, -1.17728567653782));
#3470 = CARTESIAN_POINT ('', (-9.36008397415913, 1.27499999999999, -1.94563378231724));
#3480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3460, #3470), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.148861069027883), .UNSPECIFIED.);
#3490 = EDGE_CURVE ('', #1880, #3400, #3480, .T.);
#3500 = ORIENTED_EDGE ('', *, *, #3490, .F.);
#3510 = ORIENTED_EDGE ('', *, *, #1920, .T.);
#3520 = EDGE_LOOP ('', (#3450, #3500, #3510));
#3530 = FACE_OUTER_BOUND ('', #3520, .T.);
#3540 = CARTESIAN_POINT ('', (-9.80368995986222, 1.36830657557899, -1.17728567653782));
#3550 = CARTESIAN_POINT ('', (-9.36008397415913, 1.36830657557899, -1.94563378231724));
#3560 = CARTESIAN_POINT ('', (-9.80368995986222, 1.27499999999998, -1.17728567653782));
#3570 = CARTESIAN_POINT ('', (-9.36008397415913, 1.27499999999999, -1.94563378231724));
#3580 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3540, #3550), (#3560, #3570)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.0340956395461005), (0., 0.148861069027883), .UNSPECIFIED.);
#3590 = ADVANCED_FACE ('', (#3530), #3580, .T.);
#3600 = ORIENTED_EDGE ('', *, *, #660, .F.);
#3610 = CARTESIAN_POINT ('', (-14.3096371076644, 1.5499999612421, -3.77879547527504));
#3620 = CARTESIAN_POINT ('', (-14.3831146817774, 1.55296297242372, -3.82121541332783));
#3630 = CARTESIAN_POINT ('', (-14.145488106151, 1.493989917388, -4.35493374109523));
#3640 = CARTESIAN_POINT ('', (-14.1454878145394, 1.49398984501718, -4.35493439606604));
#3650 = CARTESIAN_POINT ('', (-14.1454875229273, 1.49398977264629, -4.35493505103743));
#3660 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3610, #3620, #3630, #3640, #3650), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 0.500000666582395), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.9205045639944, 1., 0.999999894019484, 0.99999978803925))
   REPRESENTATION_ITEM ('')
);
#3670 = EDGE_CURVE ('', #1950, #540, #3660, .T.);
#3680 = ORIENTED_EDGE ('', *, *, #3670, .F.);
#3690 = ORIENTED_EDGE ('', *, *, #1990, .T.);
#3700 = ORIENTED_EDGE ('', *, *, #3490, .T.);
#3710 = CARTESIAN_POINT ('', (-12.9563142471825, 1.27499999999995, -5.99169164808012));
#3720 = CARTESIAN_POINT ('', (-9.36008397415913, 1.27499999999999, -1.94563378231724));
#3730 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3710, #3720), .UNSPECIFIED., .F., .U., (2, 2), (0.0511816489823743, 0.996571705135689), .UNSPECIFIED.);
#3740 = EDGE_CURVE ('', #620, #3400, #3730, .T.);
#3750 = ORIENTED_EDGE ('', *, *, #3740, .F.);
#3760 = EDGE_LOOP ('', (#3600, #3680, #3690, #3700, #3750));
#3770 = FACE_OUTER_BOUND ('', #3760, .T.);
#3780 = CARTESIAN_POINT ('', (-14.4341559692198, 1.55502111115013, -3.85068411437248));
#3790 = CARTESIAN_POINT ('', (-13.1458494234563, 1.28264263022837, -6.10111983312274));
#3800 = CARTESIAN_POINT ('', (-9.80087260978237, 1.3681931451978, -1.17565671956944));
#3810 = CARTESIAN_POINT ('', (-8.51256606401886, 1.09581466427604, -3.4260924383197));
#3820 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3780, #3790), (#3800, #3810)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.253855850086417, 0.564096951652488), (0.224560136702825, 0.37566530954604), .UNSPECIFIED.);
#3830 = ADVANCED_FACE ('', (#3770), #3820, .T.);
#3840 = ORIENTED_EDGE ('', *, *, #590, .T.);
#3850 = ORIENTED_EDGE ('', *, *, #2070, .F.);
#3860 = ORIENTED_EDGE ('', *, *, #3670, .T.);
#3870 = EDGE_LOOP ('', (#3840, #3850, #3860));
#3880 = FACE_OUTER_BOUND ('', #3870, .T.);
#3890 = CARTESIAN_POINT ('', (-14.3096371076747, 1.54999996124247, -3.77879547528158));
#3900 = CARTESIAN_POINT ('', (-14.3831136602468, 1.5529629724188, -3.82121718268825));
#3910 = CARTESIAN_POINT ('', (-14.4360005436792, 1.49398991738371, -3.8517514390745));
#3920 = CARTESIAN_POINT ('', (-14.4888874271115, 1.43501686234862, -3.88228569546076));
#3930 = CARTESIAN_POINT ('', (-14.4888873943366, 1.35012172425217, -3.88228567653813));
#3940 = CARTESIAN_POINT ('', (-14.019123957118, 1.54999996124247, -4.28197901231274));
#3950 = CARTESIAN_POINT ('', (-14.0926005096901, 1.5529629724188, -4.3244007197194));
#3960 = CARTESIAN_POINT ('', (-14.1454873931225, 1.49398991738371, -4.35493497610566));
#3970 = CARTESIAN_POINT ('', (-14.1983742765548, 1.43501686234862, -4.38546923249191));
#3980 = CARTESIAN_POINT ('', (-14.1983742437798, 1.35012172425217, -4.38546921356929));
#3990 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#3890, #3900, #3910, #3920, #3930), (#3940, #3950, #3960, #3970, #3980)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 3), (0., 0.0974876344150086), (0., 0.5, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.920504564000358, 1., 0.920504564000358, 1.), (1., 0.920504564000358, 1., 0.920504564000358, 1.)))
   REPRESENTATION_ITEM ('')
);
#4000 = ADVANCED_FACE ('', (#3880), #3990, .T.);
#4010 = ORIENTED_EDGE ('', *, *, #3080, .F.);
#4020 = CARTESIAN_POINT ('', (-6.43716157586794, 1.275, -0.855883419626312));
#4030 = VERTEX_POINT ('', #4020);
#4040 = CARTESIAN_POINT ('', (-6.43716157586794, -1.275, -0.855883419626312));
#4050 = CARTESIAN_POINT ('', (-6.43716157586794, 1.275, -0.855883419626312));
#4060 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#4040, #4050), .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 ('')
);
#4070 = EDGE_CURVE ('', #2980, #4030, #4060, .T.);
#4080 = ORIENTED_EDGE ('', *, *, #4070, .T.);
#4090 = CARTESIAN_POINT ('', (-6.43716157586794, 1.275, -0.855883419626312));
#4100 = CARTESIAN_POINT ('', (-6.74782172114366, 1.275, -1.39396290868566));
#4110 = CARTESIAN_POINT ('', (-7.34797131520901, 1.275, -1.55477250775333));
#4120 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4090, #4100, #4110), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.923879481150517, 1.))
   REPRESENTATION_ITEM ('')
);
#4130 = EDGE_CURVE ('', #4030, #840, #4120, .T.);
#4140 = ORIENTED_EDGE ('', *, *, #4130, .T.);
#4150 = ORIENTED_EDGE ('', *, *, #1090, .F.);
#4160 = EDGE_LOOP ('', (#4010, #4080, #4140, #4150));
#4170 = FACE_OUTER_BOUND ('', #4160, .T.);
#4180 = CARTESIAN_POINT ('', (-6.43716157586794, -1.275, -0.855883419626312));
#4190 = CARTESIAN_POINT ('', (-6.74782172114366, -1.275, -1.39396290868566));
#4200 = CARTESIAN_POINT ('', (-7.34797131520901, -1.275, -1.55477250775333));
#4210 = CARTESIAN_POINT ('', (-6.43716157586794, 1.275, -0.855883419626312));
#4220 = CARTESIAN_POINT ('', (-6.74782172114366, 1.275, -1.39396290868566));
#4230 = CARTESIAN_POINT ('', (-7.34797131520901, 1.275, -1.55477250775333));
#4240 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#4180, #4190, #4200), (#4210, #4220, #4230)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 3), (0., 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.923879481150517, 1.), (1., 0.923879481150517, 1.)))
   REPRESENTATION_ITEM ('')
);
#4250 = ADVANCED_FACE ('', (#4170), #4240, .T.);
#4260 = ORIENTED_EDGE ('', *, *, #3020, .F.);
#4270 = CARTESIAN_POINT ('', (-5.94301705315175, 1.275, 0.));
#4280 = VERTEX_POINT ('', #4270);
#4290 = CARTESIAN_POINT ('', (-5.94301705315175, -1.275, 0.));
#4300 = CARTESIAN_POINT ('', (-5.94301705315175, 1.275, 0.));
#4310 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4290, #4300), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4320 = EDGE_CURVE ('', #2910, #4280, #4310, .T.);
#4330 = ORIENTED_EDGE ('', *, *, #4320, .T.);
#4340 = CARTESIAN_POINT ('', (-5.94301705315175, 1.275, 0.));
#4350 = CARTESIAN_POINT ('', (-6.43716157586794, 1.275, -0.855883419626311));
#4360 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4340, #4350), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4370 = EDGE_CURVE ('', #4280, #4030, #4360, .T.);
#4380 = ORIENTED_EDGE ('', *, *, #4370, .T.);
#4390 = ORIENTED_EDGE ('', *, *, #4070, .F.);
#4400 = EDGE_LOOP ('', (#4260, #4330, #4380, #4390));
#4410 = FACE_OUTER_BOUND ('', #4400, .T.);
#4420 = CARTESIAN_POINT ('', (-5.94301705315175, -1.275, 0.));
#4430 = CARTESIAN_POINT ('', (-6.43716157586794, -1.275, -0.855883419626311));
#4440 = CARTESIAN_POINT ('', (-5.94301705315175, 1.275, 0.));
#4450 = CARTESIAN_POINT ('', (-6.43716157586794, 1.275, -0.855883419626311));
#4460 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4420, #4430), (#4440, #4450)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#4470 = ADVANCED_FACE ('', (#4410), #4460, .T.);
#4480 = CARTESIAN_POINT ('', (-0.0610683250464585, -1.49398977264634, -0.581026301103839));
#4490 = VERTEX_POINT ('', #4480);
#4500 = CARTESIAN_POINT ('', (6.13731288012787E-13, -1.35012172425222, 0.));
#4510 = VERTEX_POINT ('', #4500);
#4520 = CARTESIAN_POINT ('', (-0.0610683250464587, -1.49398977264634, -0.581026301103839));
#4530 = CARTESIAN_POINT ('', (6.31430501144162E-13, -1.43501677594556, 3.10569210856123E-12));
#4540 = CARTESIAN_POINT ('', (6.31605878709252E-13, -1.35012181340991, 3.10620518827759E-12));
#4550 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4520, #4530, #4540), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.500000142613707, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.999999954651599, 0.920504833750336, 1.))
   REPRESENTATION_ITEM ('')
);
#4560 = EDGE_CURVE ('', #4490, #4510, #4550, .T.);
#4570 = ORIENTED_EDGE ('', *, *, #4560, .T.);
#4580 = CARTESIAN_POINT ('', (-0.20698040251249, -1.54999996124253, 0.));
#4590 = VERTEX_POINT ('', #4580);
#4600 = CARTESIAN_POINT ('', (-0.20698040251249, -1.54999996124253, 0.));
#4610 = CARTESIAN_POINT ('', (-0.12213698769916, -1.55296297241885, 0.));
#4620 = CARTESIAN_POINT ('', (-0.0610684749266476, -1.49398991738376, 0.));
#4630 = CARTESIAN_POINT ('', (3.78458643059735E-8, -1.43501686234868, 0.));
#4640 = CARTESIAN_POINT ('', (6.13731288012787E-13, -1.35012172425222, 0.));
#4650 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4600, #4610, #4620, #4630, #4640), .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.920504564000358, 1., 0.920504564000358, 1.))
   REPRESENTATION_ITEM ('')
);
#4660 = EDGE_CURVE ('', #4590, #4510, #4650, .T.);
#4670 = ORIENTED_EDGE ('', *, *, #4660, .F.);
#4680 = CARTESIAN_POINT ('', (-0.206980402524681, -1.54999996124215, 5.08061266043878E-13));
#4690 = CARTESIAN_POINT ('', (-0.122136987707935, -1.55296297242378, 2.04307636256279E-6));
#4700 = CARTESIAN_POINT ('', (-0.061068474931036, -1.49398991738805, -0.581024875048778));
#4710 = CARTESIAN_POINT ('', (-0.0610683999887096, -1.49398984501723, -0.58102558807595));
#4720 = CARTESIAN_POINT ('', (-0.0610683250464585, -1.49398977264634, -0.581026301103839));
#4730 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4680, #4690, #4700, #4710, #4720), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 0.500000666582395), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.9205045639944, 1., 0.999999894019484, 0.99999978803925))
   REPRESENTATION_ITEM ('')
);
#4740 = EDGE_CURVE ('', #4590, #4490, #4730, .T.);
#4750 = ORIENTED_EDGE ('', *, *, #4740, .T.);
#4760 = EDGE_LOOP ('', (#4570, #4670, #4750));
#4770 = FACE_OUTER_BOUND ('', #4760, .T.);
#4780 = CARTESIAN_POINT ('', (-0.20698040251249, -1.54999996124253, 0.));
#4790 = CARTESIAN_POINT ('', (-0.12213698769916, -1.55296297241885, 0.));
#4800 = CARTESIAN_POINT ('', (-0.0610684749266476, -1.49398991738376, 0.));
#4810 = CARTESIAN_POINT ('', (3.78458643059735E-8, -1.43501686234868, 0.));
#4820 = CARTESIAN_POINT ('', (6.13731288012787E-13, -1.35012172425222, 0.));
#4830 = CARTESIAN_POINT ('', (-0.20698040251249, -1.54999996124253, -0.581026301113451));
#4840 = CARTESIAN_POINT ('', (-0.12213698769916, -1.55296297241885, -0.581026301113451));
#4850 = CARTESIAN_POINT ('', (-0.0610684749266476, -1.49398991738376, -0.581026301113451));
#4860 = CARTESIAN_POINT ('', (3.78458643059735E-8, -1.43501686234868, -0.581026301113451));
#4870 = CARTESIAN_POINT ('', (6.13731288012787E-13, -1.35012172425222, -0.581026301113451));
#4880 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#4780, #4790, #4800, #4810, #4820), (#4830, #4840, #4850, #4860, #4870)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 3), (0., 0.0974876344150086), (0., 0.5, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.920504564000358, 1., 0.920504564000358, 1.), (1., 0.920504564000358, 1., 0.920504564000358, 1.)))
   REPRESENTATION_ITEM ('')
);
#4890 = ADVANCED_FACE ('', (#4770), #4880, .T.);
#4900 = CARTESIAN_POINT ('', (-8.26711124032393E-17, 1.35012172425222, 0.));
#4910 = VERTEX_POINT ('', #4900);
#4920 = CARTESIAN_POINT ('', (-0.0610683259080293, 1.49398983583884, -0.581026309301172));
#4930 = VERTEX_POINT ('', #4920);
#4940 = CARTESIAN_POINT ('', (4.41603777055121E-15, 1.35012187577124, -2.89255185837705E-12));
#4950 = CARTESIAN_POINT ('', (4.54476468840017E-15, 1.43501683901304, -2.89232563790681E-12));
#4960 = CARTESIAN_POINT ('', (-0.0610683259080295, 1.49398983583884, -0.581026309301172));
#4970 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4940, #4950, #4960), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 0.499999889192811), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.920504837235899, 0.999999964765458))
   REPRESENTATION_ITEM ('')
);
#4980 = EDGE_CURVE ('', #4910, #4930, #4970, .T.);
#4990 = ORIENTED_EDGE ('', *, *, #4980, .T.);
#5000 = CARTESIAN_POINT ('', (-0.206979968571181, 1.55000003875748, 0.));
#5010 = VERTEX_POINT ('', #5000);
#5020 = CARTESIAN_POINT ('', (-0.0610683259080293, 1.49398983583884, -0.581026309301172));
#5030 = CARTESIAN_POINT ('', (-0.122136651816285, 1.55296283266485, 5.64745704432292E-13));
#5040 = CARTESIAN_POINT ('', (-0.206979899340555, 1.55000004117512, 5.6488147492928E-13));
#5050 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5020, #5030, #5040), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.500000242363678, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.999999922933021, 0.920504817981932, 1.))
   REPRESENTATION_ITEM ('')
);
#5060 = EDGE_CURVE ('', #4930, #5010, #5050, .T.);
#5070 = ORIENTED_EDGE ('', *, *, #5060, .T.);
#5080 = CARTESIAN_POINT ('', (-8.32667268468867E-17, 1.35012172425222, 0.));
#5090 = CARTESIAN_POINT ('', (6.43160595427159E-8, 1.43501675263763, 0.));
#5100 = CARTESIAN_POINT ('', (-0.0610682963267009, 1.49398980727253, 0.));
#5110 = CARTESIAN_POINT ('', (-0.122136656969461, 1.55296286190742, 0.));
#5120 = CARTESIAN_POINT ('', (-0.206979968571183, 1.55000003875752, 0.));
#5130 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5080, #5090, #5100, #5110, #5120), .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.920504745614568, 1., 0.920504745614568, 1.))
   REPRESENTATION_ITEM ('')
);
#5140 = EDGE_CURVE ('', #4910, #5010, #5130, .T.);
#5150 = ORIENTED_EDGE ('', *, *, #5140, .F.);
#5160 = EDGE_LOOP ('', (#4990, #5070, #5150));
#5170 = FACE_OUTER_BOUND ('', #5160, .T.);
#5180 = CARTESIAN_POINT ('', (-8.32667268468867E-17, 1.35012172425222, 0.));
#5190 = CARTESIAN_POINT ('', (6.43160595427159E-8, 1.43501675263763, 0.));
#5200 = CARTESIAN_POINT ('', (-0.0610682963267009, 1.49398980727253, 0.));
#5210 = CARTESIAN_POINT ('', (-0.122136656969461, 1.55296286190742, 0.));
#5220 = CARTESIAN_POINT ('', (-0.206979968571183, 1.55000003875752, 0.));
#5230 = CARTESIAN_POINT ('', (-8.32667268468867E-17, 1.35012172425222, -0.581026309301173));
#5240 = CARTESIAN_POINT ('', (6.43160595427158E-8, 1.43501675263763, -0.581026309301173));
#5250 = CARTESIAN_POINT ('', (-0.0610682963267009, 1.49398980727253, -0.581026309301173));
#5260 = CARTESIAN_POINT ('', (-0.122136656969461, 1.55296286190742, -0.581026309301173));
#5270 = CARTESIAN_POINT ('', (-0.206979968571183, 1.55000003875752, -0.581026309301173));
#5280 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#5180, #5190, #5200, #5210, #5220), (#5230, #5240, #5250, #5260, #5270)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 3), (0., 0.0974876357887874), (0., 0.5, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.920504745614568, 1., 0.920504745614568, 1.), (1., 0.920504745614568, 1., 0.920504745614568, 1.)))
   REPRESENTATION_ITEM ('')
);
#5290 = ADVANCED_FACE ('', (#5170), #5280, .T.);
#5300 = CARTESIAN_POINT ('', (-8.26711124032393E-17, 1.35012172425222, 0.));
#5310 = CARTESIAN_POINT ('', (8.26711124032393E-17, -1.35012172425222, 0.));
#5320 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5300, #5310), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5330 = EDGE_CURVE ('', #4910, #4510, #5320, .T.);
#5340 = ORIENTED_EDGE ('', *, *, #5330, .F.);
#5350 = ORIENTED_EDGE ('', *, *, #5140, .T.);
#5360 = CARTESIAN_POINT ('', (-5.41, 1.368306575579, 0.));
#5370 = VERTEX_POINT ('', #5360);
#5380 = CARTESIAN_POINT ('', (-0.206979968571181, 1.55000003875748, 0.));
#5390 = CARTESIAN_POINT ('', (-5.41, 1.368306575579, 0.));
#5400 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5380, #5390), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5410 = EDGE_CURVE ('', #5010, #5370, #5400, .T.);
#5420 = ORIENTED_EDGE ('', *, *, #5410, .T.);
#5430 = CARTESIAN_POINT ('', (-5.41, 1.275, 0.));
#5440 = VERTEX_POINT ('', #5430);
#5450 = CARTESIAN_POINT ('', (-5.41, 1.275, 0.));
#5460 = CARTESIAN_POINT ('', (-5.41, 1.368306575579, 0.));
#5470 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5450, #5460), .UNSPECIFIED., .F., .U., (2, 2), (0.965904360453899, 1.), .UNSPECIFIED.);
#5480 = EDGE_CURVE ('', #5440, #5370, #5470, .T.);
#5490 = ORIENTED_EDGE ('', *, *, #5480, .F.);
#5500 = CARTESIAN_POINT ('', (-5.41, 1.275, 0.));
#5510 = CARTESIAN_POINT ('', (-5.94301705315175, 1.275, 0.));
#5520 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5500, #5510), .UNSPECIFIED., .F., .U., (2, 2), (0.910312043801208, 1.), .UNSPECIFIED.);
#5530 = EDGE_CURVE ('', #5440, #4280, #5520, .T.);
#5540 = ORIENTED_EDGE ('', *, *, #5530, .T.);
#5550 = ORIENTED_EDGE ('', *, *, #4320, .F.);
#5560 = ORIENTED_EDGE ('', *, *, #2950, .F.);
#5570 = CARTESIAN_POINT ('', (-5.41, -1.368306575579, 0.));
#5580 = VERTEX_POINT ('', #5570);
#5590 = CARTESIAN_POINT ('', (-5.41, -1.368306575579, 0.));
#5600 = CARTESIAN_POINT ('', (-5.41, -1.275, 0.));
#5610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5590, #5600), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0340956395461005), .UNSPECIFIED.);
#5620 = EDGE_CURVE ('', #5580, #2840, #5610, .T.);
#5630 = ORIENTED_EDGE ('', *, *, #5620, .F.);
#5640 = CARTESIAN_POINT ('', (-0.20698040251249, -1.54999996124253, 0.));
#5650 = CARTESIAN_POINT ('', (-5.41, -1.368306575579, 0.));
#5660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5640, #5650), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5670 = EDGE_CURVE ('', #4590, #5580, #5660, .T.);
#5680 = ORIENTED_EDGE ('', *, *, #5670, .F.);
#5690 = ORIENTED_EDGE ('', *, *, #4660, .T.);
#5700 = EDGE_LOOP ('', (#5340, #5350, #5420, #5490, #5540, #5550, #5560, #5630, #5680, #5690));
#5710 = FACE_OUTER_BOUND ('', #5700, .T.);
#5720 = CARTESIAN_POINT ('', (6.43160595892311E-8, -1.55296297241885, 0.));
#5730 = CARTESIAN_POINT ('', (-5.94301705315175, -1.55296297241885, 0.));
#5740 = CARTESIAN_POINT ('', (6.43160595892311E-8, 1.55296286190742, 0.));
#5750 = CARTESIAN_POINT ('', (-5.94301705315175, 1.55296286190742, 0.));
#5760 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5720, #5730), (#5740, #5750)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.27368644072969, 0.72631355927031), (0.105799869180212, 0.971876799797114), .UNSPECIFIED.);
#5770 = ADVANCED_FACE ('', (#5710), #5760, .T.);
#5780 = CARTESIAN_POINT ('', (-5.41, 1.275, -0.8872119710353));
#5790 = VERTEX_POINT ('', #5780);
#5800 = CARTESIAN_POINT ('', (-5.41, 1.275, -1.77635683940025E-15));
#5810 = CARTESIAN_POINT ('', (-5.41, 1.275, -0.8872119710353));
#5820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5800, #5810), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.148861068965654), .UNSPECIFIED.);
#5830 = EDGE_CURVE ('', #5440, #5790, #5820, .T.);
#5840 = ORIENTED_EDGE ('', *, *, #5830, .F.);
#5850 = ORIENTED_EDGE ('', *, *, #5480, .T.);
#5860 = CARTESIAN_POINT ('', (-5.41, 1.275, -0.887211971035301));
#5870 = CARTESIAN_POINT ('', (-5.41, 1.368306575579, 7.105427357601E-15));
#5880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5860, #5870), .UNSPECIFIED., .F., .U., (2, 2), (0.851138931034345, 1.), .UNSPECIFIED.);
#5890 = EDGE_CURVE ('', #5790, #5370, #5880, .T.);
#5900 = ORIENTED_EDGE ('', *, *, #5890, .F.);
#5910 = EDGE_LOOP ('', (#5840, #5850, #5900));
#5920 = FACE_OUTER_BOUND ('', #5910, .T.);
#5930 = CARTESIAN_POINT ('', (-5.41, -1.368306575579, 0.));
#5940 = CARTESIAN_POINT ('', (-5.41, -1.368306575579, -0.88721197140618));
#5950 = CARTESIAN_POINT ('', (-5.41, 1.368306575579, 0.));
#5960 = CARTESIAN_POINT ('', (-5.41, 1.368306575579, -0.88721197140618));
#5970 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5930, #5940), (#5950, #5960)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 0.148861069027883), .UNSPECIFIED.);
#5980 = ADVANCED_FACE ('', (#5920), #5970, .T.);
#5990 = ORIENTED_EDGE ('', *, *, #2880, .F.);
#6000 = CARTESIAN_POINT ('', (-5.41, -1.368306575579, 0.));
#6010 = CARTESIAN_POINT ('', (-5.41, -1.275, -0.88721197140618));
#6020 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6000, #6010), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.148861069027883), .UNSPECIFIED.);
#6030 = EDGE_CURVE ('', #5580, #2770, #6020, .T.);
#6040 = ORIENTED_EDGE ('', *, *, #6030, .F.);
#6050 = ORIENTED_EDGE ('', *, *, #5620, .T.);
#6060 = EDGE_LOOP ('', (#5990, #6040, #6050));
#6070 = FACE_OUTER_BOUND ('', #6060, .T.);
#6080 = CARTESIAN_POINT ('', (-5.41, -1.368306575579, 0.));
#6090 = CARTESIAN_POINT ('', (-5.41, -1.368306575579, -0.88721197140618));
#6100 = CARTESIAN_POINT ('', (-5.41, 1.368306575579, 0.));
#6110 = CARTESIAN_POINT ('', (-5.41, 1.368306575579, -0.88721197140618));
#6120 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6080, #6090), (#6100, #6110)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 0.148861069027883), .UNSPECIFIED.);
#6130 = ADVANCED_FACE ('', (#6070), #6120, .T.);
#6140 = CARTESIAN_POINT ('', (-0.272544352174445, 1.275, -2.59308629653059));
#6150 = VERTEX_POINT ('', #6140);
#6160 = CARTESIAN_POINT ('', (-0.272544352174444, 1.275, -2.59308629653059));
#6170 = CARTESIAN_POINT ('', (-0.0610683259080292, 1.49398983583884, -0.581026309301172));
#6180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6160, #6170), .UNSPECIFIED., .F., .U., (2, 2), (0.568657316420778, 0.908485638018834), .UNSPECIFIED.);
#6190 = EDGE_CURVE ('', #6150, #4930, #6180, .T.);
#6200 = ORIENTED_EDGE ('', *, *, #6190, .F.);
#6210 = CARTESIAN_POINT ('', (-5.41, 1.275, -0.887211971035296));
#6220 = CARTESIAN_POINT ('', (-0.272544352174445, 1.275, -2.59308629653059));
#6230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6210, #6220), .UNSPECIFIED., .F., .U., (2, 2), (0.00342829602358357, 0.948818335992896), .UNSPECIFIED.);
#6240 = EDGE_CURVE ('', #5790, #6150, #6230, .T.);
#6250 = ORIENTED_EDGE ('', *, *, #6240, .F.);
#6260 = ORIENTED_EDGE ('', *, *, #5890, .T.);
#6270 = ORIENTED_EDGE ('', *, *, #5410, .F.);
#6280 = ORIENTED_EDGE ('', *, *, #5060, .F.);
#6290 = EDGE_LOOP ('', (#6200, #6250, #6260, #6270, #6280));
#6300 = FACE_OUTER_BOUND ('', #6290, .T.);
#6310 = CARTESIAN_POINT ('', (-5.41325436884477, 1.36819293051479, 5.6754601018838E-13));
#6320 = CARTESIAN_POINT ('', (-5.40374270812476, 1.09581460499542, -2.59308629653059));
#6330 = CARTESIAN_POINT ('', (-0.0631995797466961, 1.55502096057311, 5.6754601018838E-13));
#6340 = CARTESIAN_POINT ('', (-0.053687919026686, 1.28264263505374, -2.59308629653059));
#6350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6310, #6320), (#6330, #6340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.435902926281409, 0.746144243033751), (0.224560143754226, 0.37566533520845), .UNSPECIFIED.);
#6360 = ADVANCED_FACE ('', (#6300), #6350, .T.);
#6370 = CARTESIAN_POINT ('', (-0.0610683250464588, -1.49398977264634, -0.581026301103839));
#6380 = CARTESIAN_POINT ('', (-0.27254429282171, -1.275, -2.59308573182701));
#6390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6370, #6380), .UNSPECIFIED., .F., .U., (2, 2), (0.091514334885312, 0.431342572109438), .UNSPECIFIED.);
#6400 = EDGE_CURVE ('', #4490, #2700, #6390, .T.);
#6410 = ORIENTED_EDGE ('', *, *, #6400, .F.);
#6420 = ORIENTED_EDGE ('', *, *, #4740, .F.);
#6430 = ORIENTED_EDGE ('', *, *, #5670, .T.);
#6440 = ORIENTED_EDGE ('', *, *, #6030, .T.);
#6450 = ORIENTED_EDGE ('', *, *, #2810, .F.);
#6460 = EDGE_LOOP ('', (#6410, #6420, #6430, #6440, #6450));
#6470 = FACE_OUTER_BOUND ('', #6460, .T.);
#6480 = CARTESIAN_POINT ('', (-0.0631995856186278, -1.55502111115018, 2.04307636275658E-6));
#6490 = CARTESIAN_POINT ('', (-0.05368792273647, -1.28264263022842, -2.59308573182701));
#6500 = CARTESIAN_POINT ('', (-5.41325437522469, -1.36819314519782, 2.04307636275658E-6));
#6510 = CARTESIAN_POINT ('', (-5.40374271234253, -1.09581466427606, -2.59308573182701));
#6520 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6480, #6490), (#6500, #6510)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.253855850086417, 0.564096951652488), (0.224560136702825, 0.37566530954604), .UNSPECIFIED.);
#6530 = ADVANCED_FACE ('', (#6470), #6520, .T.);
#6540 = CARTESIAN_POINT ('', (-6.19363837405178, -0.149999999999999, -5.86280169300252));
#6550 = VERTEX_POINT ('', #6540);
#6560 = CARTESIAN_POINT ('', (-0.454578468893864, -0.149999999999999, -4.32502522610162));
#6570 = VERTEX_POINT ('', #6560);
#6580 = CARTESIAN_POINT ('', (-6.19363837405177, -0.149999999999999, -5.86280169300252));
#6590 = CARTESIAN_POINT ('', (-0.454578468893864, -0.149999999999999, -4.32502522610162));
#6600 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6580, #6590), .UNSPECIFIED., .F., .U., (2, 2), (-1.38777878078145E-17, 0.36009163743979), .UNSPECIFIED.);
#6610 = EDGE_CURVE ('', #6550, #6570, #6600, .T.);
#6620 = ORIENTED_EDGE ('', *, *, #6610, .F.);
#6630 = CARTESIAN_POINT ('', (-6.19363837405177, -0.150000000000001, -5.86280169300252));
#6640 = CARTESIAN_POINT ('', (-11.9326982792097, -0.150000000000043, -7.40057815990343));
#6650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6630, #6640), .UNSPECIFIED., .F., .U., (2, 2), (-6.93889390390723E-18, 0.36009163743979), .UNSPECIFIED.);
#6660 = EDGE_CURVE ('', #6550, #110, #6650, .T.);
#6670 = ORIENTED_EDGE ('', *, *, #6660, .T.);
#6680 = ORIENTED_EDGE ('', *, *, #150, .T.);
#6690 = CARTESIAN_POINT ('', (-6.19363837405178, 0.150000000000001, -5.86280169300252));
#6700 = VERTEX_POINT ('', #6690);
#6710 = CARTESIAN_POINT ('', (-6.19363837405177, 0.149999999999999, -5.86280169300252));
#6720 = CARTESIAN_POINT ('', (-11.9326982792097, 0.149999999999957, -7.40057815990342));
#6730 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6710, #6720), .UNSPECIFIED., .F., .U., (2, 2), (-1.38777878078145E-17, 0.36009163743979), .UNSPECIFIED.);
#6740 = EDGE_CURVE ('', #6700, #20, #6730, .T.);
#6750 = ORIENTED_EDGE ('', *, *, #6740, .F.);
#6760 = CARTESIAN_POINT ('', (-0.454578468893863, 0.150000000000001, -4.32502522610162));
#6770 = VERTEX_POINT ('', #6760);
#6780 = CARTESIAN_POINT ('', (-6.19363837405177, 0.150000000000001, -5.86280169300252));
#6790 = CARTESIAN_POINT ('', (-0.454578468893861, 0.150000000000001, -4.32502522610162));
#6800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6780, #6790), .UNSPECIFIED., .F., .U., (2, 2), (-6.93889390390723E-18, 0.36009163743979), .UNSPECIFIED.);
#6810 = EDGE_CURVE ('', #6700, #6770, #6800, .T.);
#6820 = ORIENTED_EDGE ('', *, *, #6810, .T.);
#6830 = CARTESIAN_POINT ('', (-0.454578468893863, 0.150000000000001, -4.32502522610162));
#6840 = CARTESIAN_POINT ('', (-0.454578468893864, -0.149999999999999, -4.32502522610162));
#6850 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6830, #6840), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6860 = EDGE_CURVE ('', #6770, #6570, #6850, .T.);
#6870 = ORIENTED_EDGE ('', *, *, #6860, .T.);
#6880 = EDGE_LOOP ('', (#6620, #6670, #6680, #6750, #6820, #6870));
#6890 = FACE_OUTER_BOUND ('', #6880, .T.);
#6900 = CARTESIAN_POINT ('', (-11.9326982792097, -0.150000000000043, -7.40057815990342));
#6910 = CARTESIAN_POINT ('', (-0.454578468893859, -0.150000000000043, -4.32502522610162));
#6920 = CARTESIAN_POINT ('', (-11.9326982792097, 0.150000000000001, -7.40057815990342));
#6930 = CARTESIAN_POINT ('', (-0.454578468893859, 0.150000000000001, -4.32502522610162));
#6940 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6900, #6910), (#6920, #6930)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.441176470588219, 0.558823529411765), (-0.792201602367538, 0.792201602367539), .UNSPECIFIED.);
#6950 = ADVANCED_FACE ('', (#6890), #6940, .T.);
#6960 = CARTESIAN_POINT ('', (-0.328617686256928, 1.275, -3.12658843315472));
#6970 = VERTEX_POINT ('', #6960);
#6980 = CARTESIAN_POINT ('', (-12.6410019133273, 1.275, -6.42568184369993));
#6990 = CARTESIAN_POINT ('', (-0.328617686256928, 1.275, -3.12658843315472));
#7000 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6980, #6990), .UNSPECIFIED., .F., .U., (2, 2), (-0.990973770429596, 0.990973770429597), .UNSPECIFIED.);
#7010 = EDGE_CURVE ('', #40, #6970, #7000, .T.);
#7020 = ORIENTED_EDGE ('', *, *, #7010, .F.);
#7030 = ORIENTED_EDGE ('', *, *, #710, .F.);
#7040 = ORIENTED_EDGE ('', *, *, #3740, .T.);
#7050 = ORIENTED_EDGE ('', *, *, #3440, .T.);
#7060 = ORIENTED_EDGE ('', *, *, #1850, .T.);
#7070 = ORIENTED_EDGE ('', *, *, #1260, .T.);
#7080 = ORIENTED_EDGE ('', *, *, #890, .T.);
#7090 = ORIENTED_EDGE ('', *, *, #4130, .F.);
#7100 = ORIENTED_EDGE ('', *, *, #4370, .F.);
#7110 = ORIENTED_EDGE ('', *, *, #5530, .F.);
#7120 = ORIENTED_EDGE ('', *, *, #5830, .T.);
#7130 = ORIENTED_EDGE ('', *, *, #6240, .T.);
#7140 = CARTESIAN_POINT ('', (-0.328617686256928, 1.275, -3.12658843315472));
#7150 = CARTESIAN_POINT ('', (-0.272544352174445, 1.275, -2.59308629653059));
#7160 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7140, #7150), .UNSPECIFIED., .F., .U., (2, 2), (0.466707455432713, 0.557705269201663), .UNSPECIFIED.);
#7170 = EDGE_CURVE ('', #6970, #6150, #7160, .T.);
#7180 = ORIENTED_EDGE ('', *, *, #7170, .F.);
#7190 = EDGE_LOOP ('', (#7020, #7030, #7040, #7050, #7060, #7070, #7080, #7090, #7100, #7110, #7120, #7130, #7180));
#7200 = FACE_OUTER_BOUND ('', #7190, .T.);
#7210 = CARTESIAN_POINT ('', (-0.272544352174445, 1.275, -6.42568184369993));
#7220 = CARTESIAN_POINT ('', (-0.272544352174445, 1.275, 0.));
#7230 = CARTESIAN_POINT ('', (-12.9563142471825, 1.275, -6.42568184369993));
#7240 = CARTESIAN_POINT ('', (-12.9563142471825, 1.275, 0.));
#7250 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7210, #7220), (#7230, #7240)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.244735940918018, 1.37048944731136), (0.189863572306825, 0.760177755423647), .UNSPECIFIED.);
#7260 = ADVANCED_FACE ('', (#7200), #7250, .T.);
#7270 = CARTESIAN_POINT ('', (-0.454578468893864, -0.149999999999999, -4.32502522610162));
#7280 = CARTESIAN_POINT ('', (-0.328617686256931, -1.275, -3.12658843315472));
#7290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7270, #7280), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.837059941151826), .UNSPECIFIED.);
#7300 = EDGE_CURVE ('', #6570, #2630, #7290, .T.);
#7310 = ORIENTED_EDGE ('', *, *, #7300, .F.);
#7320 = ORIENTED_EDGE ('', *, *, #6860, .F.);
#7330 = CARTESIAN_POINT ('', (-0.328617686256928, 1.275, -3.12658843315472));
#7340 = CARTESIAN_POINT ('', (-0.454578468893863, 0.15, -4.32502522610162));
#7350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7330, #7340), .UNSPECIFIED., .F., .U., (2, 2), (0.162940098205552, 1.), .UNSPECIFIED.);
#7360 = EDGE_CURVE ('', #6970, #6770, #7350, .T.);
#7370 = ORIENTED_EDGE ('', *, *, #7360, .F.);
#7380 = ORIENTED_EDGE ('', *, *, #7170, .T.);
#7390 = ORIENTED_EDGE ('', *, *, #6190, .T.);
#7400 = ORIENTED_EDGE ('', *, *, #4980, .F.);
#7410 = ORIENTED_EDGE ('', *, *, #5330, .T.);
#7420 = ORIENTED_EDGE ('', *, *, #4560, .F.);
#7430 = ORIENTED_EDGE ('', *, *, #6400, .T.);
#7440 = ORIENTED_EDGE ('', *, *, #2740, .T.);
#7450 = EDGE_LOOP ('', (#7310, #7320, #7370, #7380, #7390, #7400, #7410, #7420, #7430, #7440));
#7460 = FACE_OUTER_BOUND ('', #7450, .T.);
#7470 = CARTESIAN_POINT ('', (4.66848781854878E-13, 1.49398983583885, 1.50635059981141E-12));
#7480 = CARTESIAN_POINT ('', (-0.454578468893862, 1.49398983583885, -4.32502522610162));
#7490 = CARTESIAN_POINT ('', (4.63296068176078E-13, -1.49398977264634, 1.50635059981141E-12));
#7500 = CARTESIAN_POINT ('', (-0.454578468893866, -1.49398977264634, -4.32502522610162));
#7510 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7470, #7480), (#7490, #7500)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.385199945428009, 0.524088297889324), (0.273206329094746, 0.475351091309155), .UNSPECIFIED.);
#7520 = ADVANCED_FACE ('', (#7460), #7510, .T.);
#7530 = ORIENTED_EDGE ('', *, *, #7300, .T.);
#7540 = ORIENTED_EDGE ('', *, *, #2670, .T.);
#7550 = ORIENTED_EDGE ('', *, *, #220, .T.);
#7560 = ORIENTED_EDGE ('', *, *, #6660, .F.);
#7570 = ORIENTED_EDGE ('', *, *, #6610, .T.);
#7580 = EDGE_LOOP ('', (#7530, #7540, #7550, #7560, #7570));
#7590 = FACE_OUTER_BOUND ('', #7580, .T.);
#7600 = CARTESIAN_POINT ('', (-12.3498304875869, -0.149999999999999, -7.51234839827513));
#7610 = CARTESIAN_POINT ('', (-12.6410019133273, -1.27500000000002, -6.4256818436999));
#7620 = CARTESIAN_POINT ('', (-0.0374462605165986, -0.149999999999999, -4.21325498772992));
#7630 = CARTESIAN_POINT ('', (-0.328617686256941, -1.27500000000002, -3.12658843315469));
#7640 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7600, #7610), (#7620, #7630)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.386264185283114, 0.386264185283114), (0., 0.723472668810305), .UNSPECIFIED.);
#7650 = ADVANCED_FACE ('', (#7590), #7640, .T.);
#7660 = ORIENTED_EDGE ('', *, *, #6810, .F.);
#7670 = ORIENTED_EDGE ('', *, *, #6740, .T.);
#7680 = ORIENTED_EDGE ('', *, *, #80, .T.);
#7690 = ORIENTED_EDGE ('', *, *, #7010, .T.);
#7700 = ORIENTED_EDGE ('', *, *, #7360, .T.);
#7710 = EDGE_LOOP ('', (#7660, #7670, #7680, #7690, #7700));
#7720 = FACE_OUTER_BOUND ('', #7710, .T.);
#7730 = CARTESIAN_POINT ('', (-12.6410019133273, 1.275, -6.42568184369993));
#7740 = CARTESIAN_POINT ('', (-12.3498304875869, 0.149999999999977, -7.51234839827515));
#7750 = CARTESIAN_POINT ('', (-0.328617686256931, 1.275, -3.12658843315472));
#7760 = CARTESIAN_POINT ('', (-0.0374462605165879, 0.149999999999977, -4.21325498772994));
#7770 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7730, #7740), (#7750, #7760)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.386264185283114, 0.386264185283114), (0.27652733118971, 1.00000000000002), .UNSPECIFIED.);
#7780 = ADVANCED_FACE ('', (#7720), #7770, .T.);
#7790 = CLOSED_SHELL ('', (#800, #1200, #1480, #2160, #2380, #2610, #3270, #3380, #3590, #3830, #4000, #4250, #4470, #4890, #5290, #5770, #5980, #6130, #6360, #6530, #6950, #7260, #7520, #7650, #7780));
#7800 = MANIFOLD_SOLID_BREP ('', #7790);
#7810 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#7820 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#7830 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#7840 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #7810, 'DISTANCE_ACCURACY_VALUE', '');
#7850 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#7840))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#7810, #7820, #7830))
   REPRESENTATION_CONTEXT ('', '3D')
);
#7860 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#7870 = FILL_AREA_STYLE_COLOUR ('', #7860);
#7880 = FILL_AREA_STYLE ('', (#7870));
#7890 = SURFACE_STYLE_FILL_AREA (#7880);
#7900 = SURFACE_SIDE_STYLE ('', (#7890));
#7910 = SURFACE_STYLE_USAGE (.POSITIVE., #7900);
#7920 = PRESENTATION_STYLE_ASSIGNMENT ((#7910));
#7930 = STYLED_ITEM ('', (#7920), #7800);
#7940 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#7800), #7850);
#7950 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#7960 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #7950);
#7970 = MECHANICAL_CONTEXT ('', #7950, 'mechanical');
#7980 = PRODUCT ('product-name', '', '', (#7970));
#7990 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#8000 = PERSON ('', '', $, $, $, $);
#8010 = ORGANIZATION ($, '', '');
#8020 = PERSON_AND_ORGANIZATION (#8000, #8010);
#8030 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#8020, #7990, (#7980));
#8040 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#7980));
#8050 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #7980, .NOT_KNOWN.);
#8060 = APPROVAL_STATUS ('approved');
#8070 = APPROVAL (#8060, '');
#8080 = CALENDAR_DATE (2010, 8, 12);
#8090 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#8100 = LOCAL_TIME (13, 46, 10., #8090);
#8110 = DATE_AND_TIME (#8080, #8100);
#8120 = APPROVAL_DATE_TIME (#8110, #8070);
#8130 = APPROVAL_ROLE ('');
#8140 = PERSON ('', '', $, $, $, $);
#8150 = ORGANIZATION ($, '', '');
#8160 = PERSON_AND_ORGANIZATION (#8140, #8150);
#8170 = APPROVAL_PERSON_ORGANIZATION (#8160, #8070, #8130);
#8180 = CC_DESIGN_APPROVAL (#8070, (#8050));
#8190 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#8200 = PERSON ('', '', $, $, $, $);
#8210 = ORGANIZATION ($, '', '');
#8220 = PERSON_AND_ORGANIZATION (#8200, #8210);
#8230 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#8220, #8190, (#8050));
#8240 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#8250 = PERSON ('', '', $, $, $, $);
#8260 = ORGANIZATION ($, '', '');
#8270 = PERSON_AND_ORGANIZATION (#8250, #8260);
#8280 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#8270, #8240, (#8050));
#8290 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#8300 = SECURITY_CLASSIFICATION ('', '', #8290);
#8310 = APPROVAL_STATUS ('approved');
#8320 = APPROVAL (#8310, '');
#8330 = CALENDAR_DATE (2010, 8, 12);
#8340 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#8350 = LOCAL_TIME (13, 46, 10., #8340);
#8360 = DATE_AND_TIME (#8330, #8350);
#8370 = APPROVAL_DATE_TIME (#8360, #8320);
#8380 = APPROVAL_ROLE ('');
#8390 = PERSON ('', '', $, $, $, $);
#8400 = ORGANIZATION ($, '', '');
#8410 = PERSON_AND_ORGANIZATION (#8390, #8400);
#8420 = APPROVAL_PERSON_ORGANIZATION (#8410, #8320, #8380);
#8430 = CC_DESIGN_APPROVAL (#8320, (#8300));
#8440 = DATE_TIME_ROLE ('classification_date');
#8450 = CALENDAR_DATE (2010, 8, 12);
#8460 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#8470 = LOCAL_TIME (13, 46, 10., #8460);
#8480 = DATE_AND_TIME (#8450, #8470);
#8490 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#8480, #8440, (#8300));
#8500 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#8510 = PERSON ('', '', $, $, $, $);
#8520 = ORGANIZATION ($, '', '');
#8530 = PERSON_AND_ORGANIZATION (#8510, #8520);
#8540 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#8530, #8500, (#8300));
#8550 = CC_DESIGN_SECURITY_CLASSIFICATION (#8300, (#8050));
#8560 = DESIGN_CONTEXT ('', #7950, 'design');
#8570 = PRODUCT_DEFINITION ('', '', #8050, #8560);
#8580 = APPROVAL_STATUS ('approved');
#8590 = APPROVAL (#8580, '');
#8600 = CALENDAR_DATE (2010, 8, 12);
#8610 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#8620 = LOCAL_TIME (13, 46, 10., #8610);
#8630 = DATE_AND_TIME (#8600, #8620);
#8640 = APPROVAL_DATE_TIME (#8630, #8590);
#8650 = APPROVAL_ROLE ('');
#8660 = PERSON ('', '', $, $, $, $);
#8670 = ORGANIZATION ($, '', '');
#8680 = PERSON_AND_ORGANIZATION (#8660, #8670);
#8690 = APPROVAL_PERSON_ORGANIZATION (#8680, #8590, #8650);
#8700 = CC_DESIGN_APPROVAL (#8590, (#8570));
#8710 = DATE_TIME_ROLE ('creation_date');
#8720 = CALENDAR_DATE (2010, 8, 12);
#8730 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#8740 = LOCAL_TIME (13, 46, 10., #8730);
#8750 = DATE_AND_TIME (#8720, #8740);
#8760 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#8750, #8710, (#8570));
#8770 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#8780 = PERSON ('', '', $, $, $, $);
#8790 = ORGANIZATION ($, '', '');
#8800 = PERSON_AND_ORGANIZATION (#8780, #8790);
#8810 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#8800, #8770, (#8570));
#8820 = PRODUCT_DEFINITION_SHAPE ('', '', #8570);
#8830 = SHAPE_DEFINITION_REPRESENTATION (#8820, #7940);
ENDSEC;
END-ISO-10303-21;