ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('q:\\ahmed kadagan_c\\arno\\hsa\\hsa-a\\HSA-1212L-SA24015-20.stp', '2017-02-13T13:33:43', ('Unknown'), ('TDM'), 'HarmonyWare STEP v2.0.2.9', 'T3D tool generator', '');
FILE_SCHEMA (('CONFIG_CONTROL_DESIGN'));
ENDSEC;

DATA;
#10 = CARTESIAN_POINT ('', (19., -4.65, 7.29365734896998));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (19., -4.65000000000001, 2.01250782228089));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (19., -4.65, 7.29365734896998));
#60 = CARTESIAN_POINT ('', (19., -4.65000000000001, 2.01250782228089));
#70 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#50, #60), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#80 = EDGE_CURVE ('', #20, #40, #70, .T.);
#90 = ORIENTED_EDGE ('', *, *, #80, .F.);
#100 = CARTESIAN_POINT ('', (19., -5.85000000000001, 7.29365734896998));
#110 = VERTEX_POINT ('', #100);
#120 = CARTESIAN_POINT ('', (19., -4.65, 7.29365734896998));
#130 = CARTESIAN_POINT ('', (19., -5.85000000000001, 7.29365734896998));
#140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#120, #130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#150 = EDGE_CURVE ('', #20, #110, #140, .T.);
#160 = ORIENTED_EDGE ('', *, *, #150, .T.);
#170 = CARTESIAN_POINT ('', (19., -5.85000000000001, 1.53872470145908));
#180 = VERTEX_POINT ('', #170);
#190 = CARTESIAN_POINT ('', (19., -5.85000000000001, 1.53872470145908));
#200 = CARTESIAN_POINT ('', (19., -5.85000000000001, 7.29365734896998));
#210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#190, #200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#220 = EDGE_CURVE ('', #180, #110, #210, .T.);
#230 = ORIENTED_EDGE ('', *, *, #220, .F.);
#240 = CARTESIAN_POINT ('', (19., -6.00000000000001, 1.01136951208202));
#250 = VERTEX_POINT ('', #240);
#260 = CARTESIAN_POINT ('', (19., -5.85000000000001, 1.53872470145908));
#270 = CARTESIAN_POINT ('', (19., -5.85000000000001, 1.35224042702675));
#280 = CARTESIAN_POINT ('', (19., -5.90183595072942, 1.16992782352851));
#290 = CARTESIAN_POINT ('', (19., -6.00000000000001, 1.01136951208202));
#300 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#260, #270, #280, #290), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.000551517413735454), .UNSPECIFIED.);
#310 = EDGE_CURVE ('', #180, #250, #300, .T.);
#320 = ORIENTED_EDGE ('', *, *, #310, .T.);
#330 = CARTESIAN_POINT ('', (19., -6.00000000000001, -1.30424884109193E-14));
#340 = VERTEX_POINT ('', #330);
#350 = CARTESIAN_POINT ('', (19., -6.00000000000001, 1.01136951208202));
#360 = CARTESIAN_POINT ('', (19., -6.00000000000001, -1.29552822557577E-14));
#370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#350, #360), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#380 = EDGE_CURVE ('', #250, #340, #370, .T.);
#390 = ORIENTED_EDGE ('', *, *, #380, .T.);
#400 = CARTESIAN_POINT ('', (19., 5.99999999999999, -1.37772764904077E-14));
#410 = VERTEX_POINT ('', #400);
#420 = CARTESIAN_POINT ('', (19., 5.99999999999999, -1.37772764904077E-14));
#430 = CARTESIAN_POINT ('', (19., -6.00000000000001, -1.30424884109193E-14));
#440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#420, #430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#450 = EDGE_CURVE ('', #410, #340, #440, .T.);
#460 = ORIENTED_EDGE ('', *, *, #450, .F.);
#470 = CARTESIAN_POINT ('', (19., 5.99999999999999, 1.01136951208202));
#480 = VERTEX_POINT ('', #470);
#490 = CARTESIAN_POINT ('', (19., 5.99999999999999, 1.01136951208202));
#500 = CARTESIAN_POINT ('', (19., 5.99999999999999, -1.36900703352461E-14));
#510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#490, #500), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#520 = EDGE_CURVE ('', #480, #410, #510, .T.);
#530 = ORIENTED_EDGE ('', *, *, #520, .F.);
#540 = CARTESIAN_POINT ('', (19., -3.65000000000001, 1.01136951208202));
#550 = VERTEX_POINT ('', #540);
#560 = CARTESIAN_POINT ('', (19., 5.99999999999999, 1.01136951208202));
#570 = CARTESIAN_POINT ('', (19., -3.65000000000001, 1.01136951208202));
#580 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#560, #570), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#590 = EDGE_CURVE ('', #480, #550, #580, .T.);
#600 = ORIENTED_EDGE ('', *, *, #590, .T.);
#610 = CARTESIAN_POINT ('', (19., -3.65000000000001, 1.01136951208202));
#620 = CARTESIAN_POINT ('', (19., -3.7821312036157, 1.01136951208202));
#630 = CARTESIAN_POINT ('', (19., -3.91178805986116, 1.03741158027606));
#640 = CARTESIAN_POINT ('', (19., -4.1539520483333, 1.1378818049568));
#650 = CARTESIAN_POINT ('', (19., -4.2648545768528, 1.21223158220497));
#660 = CARTESIAN_POINT ('', (19., -4.5414910406398, 1.48913880007244));
#670 = CARTESIAN_POINT ('', (19., -4.65000000000001, 1.74825394673749));
#680 = CARTESIAN_POINT ('', (19., -4.65000000000001, 2.01250782228089));
#690 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#610, #620, #630, #640, #650, #660, #670, #680), .UNSPECIFIED., .F., .U., (4, 2, 2, 4), (0., 0.000390765212002166, 0.000781530424004332, 0.00156306084800866), .UNSPECIFIED.);
#700 = EDGE_CURVE ('', #550, #40, #690, .T.);
#710 = ORIENTED_EDGE ('', *, *, #700, .T.);
#720 = EDGE_LOOP ('', (#90, #160, #230, #320, #390, #460, #530, #600, #710));
#730 = FACE_OUTER_BOUND ('', #720, .T.);
#740 = CARTESIAN_POINT ('', (19., -6.00100000000001, -0.00100000000001304));
#750 = CARTESIAN_POINT ('', (19., -6.00100000000001, 7.29465734896998));
#760 = CARTESIAN_POINT ('', (19., 6.00099999999999, -0.00100000000001378));
#770 = CARTESIAN_POINT ('', (19., 6.00099999999999, 7.29465734896998));
#780 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#740, #750), (#760, #770)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.000999999999999446, 12.001), (-0.001, 7.29465734896999), .UNSPECIFIED.);
#790 = ADVANCED_FACE ('', (#730), #780, .T.);
#800 = CARTESIAN_POINT ('', (10.998770882938, -4.65000000000001, 6.73415690518431));
#810 = VERTEX_POINT ('', #800);
#820 = CARTESIAN_POINT ('', (19., -4.65000000000001, 2.01250782228089));
#830 = CARTESIAN_POINT ('', (13.7610006735586, -4.65, 2.27478584128795));
#840 = CARTESIAN_POINT ('', (10.998770882938, -4.65000000000001, 6.7341569051843));
#850 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#820, #830, #840), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (272.865983982599, 328.22504045306), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.88555965715783, 1.))
   REPRESENTATION_ITEM ('')
);
#860 = EDGE_CURVE ('', #40, #810, #850, .T.);
#870 = ORIENTED_EDGE ('', *, *, #860, .T.);
#880 = CARTESIAN_POINT ('', (19., -4.65, 7.29365734896998));
#890 = CARTESIAN_POINT ('', (10.998770882938, -4.65000000000001, 6.73415690518431));
#900 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#880, #890), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#910 = EDGE_CURVE ('', #20, #810, #900, .T.);
#920 = ORIENTED_EDGE ('', *, *, #910, .F.);
#930 = ORIENTED_EDGE ('', *, *, #80, .T.);
#940 = EDGE_LOOP ('', (#870, #920, #930));
#950 = FACE_OUTER_BOUND ('', #940, .T.);
#960 = CARTESIAN_POINT ('', (19.001, -4.65000000000001, 2.01150782228089));
#970 = CARTESIAN_POINT ('', (19.001, -4.65, 7.29465734896998));
#980 = CARTESIAN_POINT ('', (10.997770882938, -4.65000000000001, 2.01150782228089));
#990 = CARTESIAN_POINT ('', (10.997770882938, -4.65, 7.29465734896998));
#1000 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#960, #970), (#980, #990)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.498999999999981, 8.50222911706197), (-9.9884921777191, -4.70534265103001), .UNSPECIFIED.);
#1010 = ADVANCED_FACE ('', (#950), #1000, .T.);
#1020 = ORIENTED_EDGE ('', *, *, #220, .T.);
#1030 = CARTESIAN_POINT ('', (10.4685375622573, -5.85000000000001, 6.69707937948288));
#1040 = VERTEX_POINT ('', #1030);
#1050 = CARTESIAN_POINT ('', (19., -5.85000000000001, 7.29365734896998));
#1060 = CARTESIAN_POINT ('', (10.4685375622573, -5.85000000000001, 6.69707937948288));
#1070 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1050, #1060), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1080 = EDGE_CURVE ('', #110, #1040, #1070, .T.);
#1090 = ORIENTED_EDGE ('', *, *, #1080, .T.);
#1100 = CARTESIAN_POINT ('', (10.4685375622573, -5.85000000000001, 6.69707937948289));
#1110 = CARTESIAN_POINT ('', (13.3384377028397, -5.85000000000001, 1.8093208828802));
#1120 = CARTESIAN_POINT ('', (19., -5.85000000000001, 1.53872470145908));
#1130 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1100, #1110, #1120), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (210.419785256567, 267.263612279776), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.879466599906774, 1.))
   REPRESENTATION_ITEM ('')
);
#1140 = EDGE_CURVE ('', #1040, #180, #1130, .T.);
#1150 = ORIENTED_EDGE ('', *, *, #1140, .T.);
#1160 = EDGE_LOOP ('', (#1020, #1090, #1150));
#1170 = FACE_OUTER_BOUND ('', #1160, .T.);
#1180 = CARTESIAN_POINT ('', (10.4675375622573, -5.85000000000001, 1.53772470145908));
#1190 = CARTESIAN_POINT ('', (10.4675375622573, -5.85000000000001, 7.29465734896998));
#1200 = CARTESIAN_POINT ('', (19.001, -5.85000000000001, 1.53772470145908));
#1210 = CARTESIAN_POINT ('', (19.001, -5.85000000000001, 7.29465734896998));
#1220 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1180, #1190), (#1200, #1210)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-9.03246243774267, -0.498999999999995), (-10.4622752985409, -4.70534265103001), .UNSPECIFIED.);
#1230 = ADVANCED_FACE ('', (#1170), #1220, .T.);
#1240 = ORIENTED_EDGE ('', *, *, #1140, .F.);
#1250 = CARTESIAN_POINT ('', (9.88518159075983, -6.00000000000001, 6.65628715616786));
#1260 = VERTEX_POINT ('', #1250);
#1270 = CARTESIAN_POINT ('', (10.4685375622573, -5.85000000000001, 6.69707937948288));
#1280 = CARTESIAN_POINT ('', (10.2644844549311, -5.84999999999996, 6.6828105962204));
#1290 = CARTESIAN_POINT ('', (10.0621612158409, -5.90040377639975, 6.66866277712873));
#1300 = CARTESIAN_POINT ('', (9.88518159075983, -6.00000000000001, 6.65628715616786));
#1310 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#1270, #1280, #1290, #1300), .UNSPECIFIED., .F., .U., (4, 4), (0.000638495333802171, 0.00124930657837359), .UNSPECIFIED.);
#1320 = EDGE_CURVE ('', #1040, #1260, #1310, .T.);
#1330 = ORIENTED_EDGE ('', *, *, #1320, .T.);
#1340 = CARTESIAN_POINT ('', (9.88518159075983, -6.00000000000001, 6.65628715616786));
#1350 = CARTESIAN_POINT ('', (12.8674218739388, -6.00000000000001, 1.29041147881319));
#1360 = CARTESIAN_POINT ('', (19., -6.00000000000001, 1.01136951208202));
#1370 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1340, #1350, #1360), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (209.064380159868, 267.394748734943), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.873218363437197, 1.))
   REPRESENTATION_ITEM ('')
);
#1380 = EDGE_CURVE ('', #1260, #250, #1370, .T.);
#1390 = ORIENTED_EDGE ('', *, *, #1380, .T.);
#1400 = ORIENTED_EDGE ('', *, *, #310, .F.);
#1410 = EDGE_LOOP ('', (#1240, #1330, #1390, #1400));
#1420 = FACE_OUTER_BOUND ('', #1410, .T.);
#1430 = CARTESIAN_POINT ('', (8.02678268764262, -6.85000000000001, 12.));
#1440 = CARTESIAN_POINT ('', (8.02678268764262, -5.85, 12.));
#1450 = CARTESIAN_POINT ('', (9.02678268764262, -5.85000000000001, 12.));
#1460 = CARTESIAN_POINT ('', (10.0267826876426, -5.85, 12.));
#1470 = CARTESIAN_POINT ('', (10.0267826876426, -6.85000000000001, 12.));
#1480 = CARTESIAN_POINT ('', (10.0267826876426, -7.85, 12.));
#1490 = CARTESIAN_POINT ('', (9.02678268764262, -7.85000000000001, 12.));
#1500 = CARTESIAN_POINT ('', (8.02678268764262, -7.85, 12.));
#1510 = CARTESIAN_POINT ('', (8.02678268764262, -6.85000000000001, 12.));
#1520 = CARTESIAN_POINT ('', (8.02678268764262, -6.85000000000001, 0.526782687642597));
#1530 = CARTESIAN_POINT ('', (8.02678268764262, -5.85000000000001, 0.526782687642597));
#1540 = CARTESIAN_POINT ('', (9.02678268764262, -5.85000000000001, 1.5267826876426));
#1550 = CARTESIAN_POINT ('', (10.0267826876426, -5.85000000000001, 2.5267826876426));
#1560 = CARTESIAN_POINT ('', (10.0267826876426, -6.85000000000001, 2.5267826876426));
#1570 = CARTESIAN_POINT ('', (10.0267826876426, -7.85000000000001, 2.5267826876426));
#1580 = CARTESIAN_POINT ('', (9.02678268764262, -7.85000000000001, 1.5267826876426));
#1590 = CARTESIAN_POINT ('', (8.02678268764262, -7.85000000000001, 0.526782687642597));
#1600 = CARTESIAN_POINT ('', (8.02678268764262, -6.85000000000001, 0.526782687642597));
#1610 = CARTESIAN_POINT ('', (19.5, -6.85000000000001, 0.526782687642597));
#1620 = CARTESIAN_POINT ('', (19.5, -5.85000000000001, 0.526782687642596));
#1630 = CARTESIAN_POINT ('', (19.5, -5.85000000000001, 1.5267826876426));
#1640 = CARTESIAN_POINT ('', (19.5, -5.85000000000001, 2.5267826876426));
#1650 = CARTESIAN_POINT ('', (19.5, -6.85000000000001, 2.5267826876426));
#1660 = CARTESIAN_POINT ('', (19.5, -7.85000000000001, 2.5267826876426));
#1670 = CARTESIAN_POINT ('', (19.5, -7.85000000000001, 1.5267826876426));
#1680 = CARTESIAN_POINT ('', (19.5, -7.85000000000001, 0.526782687642597));
#1690 = CARTESIAN_POINT ('', (19.5, -6.85000000000001, 0.526782687642597));
#1700 = CARTESIAN_POINT ('', (30.9732173123574, -6.85000000000001, 0.526782687642595));
#1710 = CARTESIAN_POINT ('', (30.9732173123574, -5.85000000000001, 0.526782687642595));
#1720 = CARTESIAN_POINT ('', (29.9732173123574, -5.85000000000001, 1.52678268764259));
#1730 = CARTESIAN_POINT ('', (28.9732173123574, -5.85000000000001, 2.5267826876426));
#1740 = CARTESIAN_POINT ('', (28.9732173123574, -6.85000000000001, 2.5267826876426));
#1750 = CARTESIAN_POINT ('', (28.9732173123574, -7.85000000000001, 2.5267826876426));
#1760 = CARTESIAN_POINT ('', (29.9732173123574, -7.85000000000001, 1.52678268764259));
#1770 = CARTESIAN_POINT ('', (30.9732173123574, -7.85000000000001, 0.526782687642595));
#1780 = CARTESIAN_POINT ('', (30.9732173123574, -6.85000000000001, 0.526782687642595));
#1790 = CARTESIAN_POINT ('', (30.9732173123574, -6.85000000000001, 12.));
#1800 = CARTESIAN_POINT ('', (30.9732173123574, -5.85000000000001, 12.));
#1810 = CARTESIAN_POINT ('', (29.9732173123574, -5.85000000000001, 12.));
#1820 = CARTESIAN_POINT ('', (28.9732173123574, -5.85000000000001, 12.));
#1830 = CARTESIAN_POINT ('', (28.9732173123574, -6.85000000000001, 12.));
#1840 = CARTESIAN_POINT ('', (28.9732173123574, -7.85000000000001, 12.));
#1850 = CARTESIAN_POINT ('', (29.9732173123574, -7.85000000000001, 12.));
#1860 = CARTESIAN_POINT ('', (30.9732173123574, -7.85000000000001, 12.));
#1870 = CARTESIAN_POINT ('', (30.9732173123574, -6.85000000000001, 12.));
#1880 = CARTESIAN_POINT ('', (30.9732173123574, -6.85000000000001, 23.4732173123574));
#1890 = CARTESIAN_POINT ('', (30.9732173123574, -5.85000000000001, 23.4732173123574));
#1900 = CARTESIAN_POINT ('', (29.9732173123574, -5.85000000000001, 22.4732173123574));
#1910 = CARTESIAN_POINT ('', (28.9732173123574, -5.85000000000001, 21.4732173123574));
#1920 = CARTESIAN_POINT ('', (28.9732173123574, -6.85000000000001, 21.4732173123574));
#1930 = CARTESIAN_POINT ('', (28.9732173123574, -7.85000000000001, 21.4732173123574));
#1940 = CARTESIAN_POINT ('', (29.9732173123574, -7.85000000000001, 22.4732173123574));
#1950 = CARTESIAN_POINT ('', (30.9732173123574, -7.85000000000001, 23.4732173123574));
#1960 = CARTESIAN_POINT ('', (30.9732173123574, -6.85000000000001, 23.4732173123574));
#1970 = CARTESIAN_POINT ('', (19.5, -6.85000000000001, 23.4732173123574));
#1980 = CARTESIAN_POINT ('', (19.5, -5.85000000000001, 23.4732173123574));
#1990 = CARTESIAN_POINT ('', (19.5, -5.85000000000001, 22.4732173123574));
#2000 = CARTESIAN_POINT ('', (19.5, -5.85000000000001, 21.4732173123574));
#2010 = CARTESIAN_POINT ('', (19.5, -6.85000000000001, 21.4732173123574));
#2020 = CARTESIAN_POINT ('', (19.5, -7.85000000000001, 21.4732173123574));
#2030 = CARTESIAN_POINT ('', (19.5, -7.85000000000001, 22.4732173123574));
#2040 = CARTESIAN_POINT ('', (19.5, -7.85000000000001, 23.4732173123574));
#2050 = CARTESIAN_POINT ('', (19.5, -6.85000000000001, 23.4732173123574));
#2060 = CARTESIAN_POINT ('', (8.02678268764262, -6.85000000000001, 23.4732173123574));
#2070 = CARTESIAN_POINT ('', (8.02678268764262, -5.85000000000001, 23.4732173123574));
#2080 = CARTESIAN_POINT ('', (9.02678268764262, -5.85, 22.4732173123574));
#2090 = CARTESIAN_POINT ('', (10.0267826876426, -5.85000000000001, 21.4732173123574));
#2100 = CARTESIAN_POINT ('', (10.0267826876426, -6.85000000000001, 21.4732173123574));
#2110 = CARTESIAN_POINT ('', (10.0267826876426, -7.85000000000001, 21.4732173123574));
#2120 = CARTESIAN_POINT ('', (9.02678268764262, -7.85000000000001, 22.4732173123574));
#2130 = CARTESIAN_POINT ('', (8.02678268764262, -7.85000000000001, 23.4732173123574));
#2140 = CARTESIAN_POINT ('', (8.02678268764262, -6.85000000000001, 23.4732173123574));
#2150 = CARTESIAN_POINT ('', (8.02678268764262, -6.85000000000001, 12.));
#2160 = CARTESIAN_POINT ('', (8.02678268764262, -5.85, 12.));
#2170 = CARTESIAN_POINT ('', (9.02678268764262, -5.85000000000001, 12.));
#2180 = CARTESIAN_POINT ('', (10.0267826876426, -5.85, 12.));
#2190 = CARTESIAN_POINT ('', (10.0267826876426, -6.85000000000001, 12.));
#2200 = CARTESIAN_POINT ('', (10.0267826876426, -7.85, 12.));
#2210 = CARTESIAN_POINT ('', (9.02678268764262, -7.85000000000001, 12.));
#2220 = CARTESIAN_POINT ('', (8.02678268764262, -7.85, 12.));
#2230 = CARTESIAN_POINT ('', (8.02678268764262, -6.85000000000001, 12.));
#2240 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 2, ((#1430, #1440, #1450, #1460, #1470, #1480, #1490, #1500, #1510), (#1520, #1530, #1540, #1550, #1560, #1570, #1580, #1590, #1600), (#1610, #1620, #1630, #1640, #1650, #1660, #1670, #1680, #1690), (#1700, #1710, #1720, #1730, #1740, #1750, #1760, #1770, #1780), (#1790, #1800, #1810, #1820, #1830, #1840, #1850, #1860, #1870), (#1880, #1890, #1900, #1910, #1920, #1930, #1940, #1950, #1960), (#1970, #1980, #1990, #2000, #2010, #2020, #2030, #2040, #2050), (#2060, #2070, #2080, #2090, #2100, #2110, #2120, #2130, #2140), (#2150, #2160, #2170, #2180, #2190, #2200, #2210, #2220, #2230)), .UNSPECIFIED., .T., .T., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.)))
   REPRESENTATION_ITEM ('')
);
#2250 = ADVANCED_FACE ('', (#1420), #2240, .T.);
#2260 = CARTESIAN_POINT ('', (-90.5, -6., 3.67394039744206E-16));
#2270 = VERTEX_POINT ('', #2260);
#2280 = CARTESIAN_POINT ('', (19., -6.00000000000001, -1.30424884109193E-14));
#2290 = CARTESIAN_POINT ('', (-90.5, -6., 3.67394039744206E-16));
#2300 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2280, #2290), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2310 = EDGE_CURVE ('', #340, #2270, #2300, .T.);
#2320 = ORIENTED_EDGE ('', *, *, #2310, .T.);
#2330 = CARTESIAN_POINT ('', (-90.5, 6., -3.67394039744206E-16));
#2340 = VERTEX_POINT ('', #2330);
#2350 = CARTESIAN_POINT ('', (-90.5, 6., -3.67394039744206E-16));
#2360 = CARTESIAN_POINT ('', (-90.5, -6., 3.67394039744206E-16));
#2370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2350, #2360), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2380 = EDGE_CURVE ('', #2340, #2270, #2370, .T.);
#2390 = ORIENTED_EDGE ('', *, *, #2380, .F.);
#2400 = CARTESIAN_POINT ('', (19., 5.99999999999999, -1.37772764904077E-14));
#2410 = CARTESIAN_POINT ('', (-90.5, 6., -3.67394039744206E-16));
#2420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2400, #2410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2430 = EDGE_CURVE ('', #410, #2340, #2420, .T.);
#2440 = ORIENTED_EDGE ('', *, *, #2430, .F.);
#2450 = ORIENTED_EDGE ('', *, *, #450, .T.);
#2460 = EDGE_LOOP ('', (#2320, #2390, #2440, #2450));
#2470 = FACE_OUTER_BOUND ('', #2460, .T.);
#2480 = CARTESIAN_POINT ('', (19.001, -6.00100000000001, -1.30425496432593E-14));
#2490 = CARTESIAN_POINT ('', (19.001, 6.00099999999999, -1.37774601874276E-14));
#2500 = CARTESIAN_POINT ('', (-90.501, -6.001, 3.67577736764081E-16));
#2510 = CARTESIAN_POINT ('', (-90.501, 6.001, -3.67332807404246E-16));
#2520 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2480, #2490), (#2500, #2510)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000477, 109.501), (-12.001, 0.000999999999999446), .UNSPECIFIED.);
#2530 = ADVANCED_FACE ('', (#2470), #2520, .T.);
#2540 = CARTESIAN_POINT ('', (-90.5, -6., 12.));
#2550 = VERTEX_POINT ('', #2540);
#2560 = CARTESIAN_POINT ('', (-90.5, -6., 3.67394039744206E-16));
#2570 = CARTESIAN_POINT ('', (-90.5, -6., 12.));
#2580 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2560, #2570), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2590 = EDGE_CURVE ('', #2270, #2550, #2580, .T.);
#2600 = ORIENTED_EDGE ('', *, *, #2590, .T.);
#2610 = CARTESIAN_POINT ('', (-90.5, 6., 12.));
#2620 = VERTEX_POINT ('', #2610);
#2630 = CARTESIAN_POINT ('', (-90.5, 6., 12.));
#2640 = CARTESIAN_POINT ('', (-90.5, -6., 12.));
#2650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2630, #2640), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2660 = EDGE_CURVE ('', #2620, #2550, #2650, .T.);
#2670 = ORIENTED_EDGE ('', *, *, #2660, .F.);
#2680 = CARTESIAN_POINT ('', (-90.5, 6., -3.67394039744206E-16));
#2690 = CARTESIAN_POINT ('', (-90.5, 6., 12.));
#2700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2680, #2690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2710 = EDGE_CURVE ('', #2340, #2620, #2700, .T.);
#2720 = ORIENTED_EDGE ('', *, *, #2710, .F.);
#2730 = ORIENTED_EDGE ('', *, *, #2380, .T.);
#2740 = EDGE_LOOP ('', (#2600, #2670, #2720, #2730));
#2750 = FACE_OUTER_BOUND ('', #2740, .T.);
#2760 = CARTESIAN_POINT ('', (-90.5, 6.001, -0.00100000000000037));
#2770 = CARTESIAN_POINT ('', (-90.5, 6.001, 12.001));
#2780 = CARTESIAN_POINT ('', (-90.5, -6.001, -0.000999999999999632));
#2790 = CARTESIAN_POINT ('', (-90.5, -6.001, 12.001));
#2800 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2760, #2770), (#2780, #2790)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-12.001, 0.000999999999999446), (-0.001, 12.001), .UNSPECIFIED.);
#2810 = ADVANCED_FACE ('', (#2750), #2800, .T.);
#2820 = CARTESIAN_POINT ('', (0.00267301202104875, -6., 12.));
#2830 = VERTEX_POINT ('', #2820);
#2840 = CARTESIAN_POINT ('', (-90.5, -6., 12.));
#2850 = CARTESIAN_POINT ('', (0.00267301202104875, -6., 12.));
#2860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2840, #2850), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2870 = EDGE_CURVE ('', #2550, #2830, #2860, .T.);
#2880 = ORIENTED_EDGE ('', *, *, #2870, .T.);
#2890 = CARTESIAN_POINT ('', (0.00267301202104875, 6., 12.));
#2900 = VERTEX_POINT ('', #2890);
#2910 = CARTESIAN_POINT ('', (0.00267301202104875, -6., 12.));
#2920 = CARTESIAN_POINT ('', (0.00267301202104875, 6., 12.));
#2930 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2910, #2920), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2940 = EDGE_CURVE ('', #2830, #2900, #2930, .T.);
#2950 = ORIENTED_EDGE ('', *, *, #2940, .T.);
#2960 = CARTESIAN_POINT ('', (-90.5, 6., 12.));
#2970 = CARTESIAN_POINT ('', (0.00267301202104875, 6., 12.));
#2980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2960, #2970), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2990 = EDGE_CURVE ('', #2620, #2900, #2980, .T.);
#3000 = ORIENTED_EDGE ('', *, *, #2990, .F.);
#3010 = ORIENTED_EDGE ('', *, *, #2660, .T.);
#3020 = EDGE_LOOP ('', (#2880, #2950, #3000, #3010));
#3030 = FACE_OUTER_BOUND ('', #3020, .T.);
#3040 = CARTESIAN_POINT ('', (-90.501, -6.001, 12.));
#3050 = CARTESIAN_POINT ('', (-90.501, 6.001, 12.));
#3060 = CARTESIAN_POINT ('', (0.00367301202103931, -6.001, 12.));
#3070 = CARTESIAN_POINT ('', (0.00367301202103931, 6.001, 12.));
#3080 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3040, #3050), (#3060, #3070)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-90.5036730120211, 0.001), (-12.001, 0.000999999999999446), .UNSPECIFIED.);
#3090 = ADVANCED_FACE ('', (#3030), #3080, .T.);
#3100 = CARTESIAN_POINT ('', (0.968598838310115, 6., 12.7411809548975));
#3110 = VERTEX_POINT ('', #3100);
#3120 = CARTESIAN_POINT ('', (1.97577136594003, 6., 16.5));
#3130 = VERTEX_POINT ('', #3120);
#3140 = CARTESIAN_POINT ('', (0.968598838310115, 6., 12.7411809548975));
#3150 = CARTESIAN_POINT ('', (1.97577136594003, 6., 16.5));
#3160 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3140, #3150), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3170 = EDGE_CURVE ('', #3110, #3130, #3160, .T.);
#3180 = ORIENTED_EDGE ('', *, *, #3170, .F.);
#3190 = CARTESIAN_POINT ('', (0.968598838310115, -6., 12.7411809548975));
#3200 = VERTEX_POINT ('', #3190);
#3210 = CARTESIAN_POINT ('', (0.968598838310115, 6., 12.7411809548975));
#3220 = CARTESIAN_POINT ('', (0.968598838310115, -6., 12.7411809548975));
#3230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3210, #3220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3240 = EDGE_CURVE ('', #3110, #3200, #3230, .T.);
#3250 = ORIENTED_EDGE ('', *, *, #3240, .T.);
#3260 = CARTESIAN_POINT ('', (1.97577136594003, -6., 16.5));
#3270 = VERTEX_POINT ('', #3260);
#3280 = CARTESIAN_POINT ('', (0.968598838310115, -6., 12.7411809548975));
#3290 = CARTESIAN_POINT ('', (1.97577136594003, -6., 16.5));
#3300 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3280, #3290), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3310 = EDGE_CURVE ('', #3200, #3270, #3300, .T.);
#3320 = ORIENTED_EDGE ('', *, *, #3310, .T.);
#3330 = CARTESIAN_POINT ('', (1.97577136594003, 6., 16.5));
#3340 = CARTESIAN_POINT ('', (1.97577136594003, -6., 16.5));
#3350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3330, #3340), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3360 = EDGE_CURVE ('', #3130, #3270, #3350, .T.);
#3370 = ORIENTED_EDGE ('', *, *, #3360, .F.);
#3380 = EDGE_LOOP ('', (#3180, #3250, #3320, #3370));
#3390 = FACE_OUTER_BOUND ('', #3380, .T.);
#3400 = CARTESIAN_POINT ('', (0.968281851012009, -6.001, 12.7399979421956));
#3410 = CARTESIAN_POINT ('', (0.968281851012009, 6.001, 12.7399979421956));
#3420 = CARTESIAN_POINT ('', (1.97608835323817, -6.001, 16.5011830127019));
#3430 = CARTESIAN_POINT ('', (1.97608835323817, 6.001, 16.5011830127019));
#3440 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3400, #3410), (#3420, #3430)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-4.65996755671677, -0.766102243107575), (-12.001, 0.000999999999999446), .UNSPECIFIED.);
#3450 = ADVANCED_FACE ('', (#3390), #3440, .T.);
#3460 = CARTESIAN_POINT ('', (7.90873200347117, -6.00000000000001, 16.5));
#3470 = VERTEX_POINT ('', #3460);
#3480 = CARTESIAN_POINT ('', (1.97577136594003, -6., 16.5));
#3490 = CARTESIAN_POINT ('', (7.90873200347117, -6.00000000000001, 16.5));
#3500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3480, #3490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3510 = EDGE_CURVE ('', #3270, #3470, #3500, .T.);
#3520 = ORIENTED_EDGE ('', *, *, #3510, .T.);
#3530 = CARTESIAN_POINT ('', (7.90873200347117, -4.65, 16.5));
#3540 = VERTEX_POINT ('', #3530);
#3550 = CARTESIAN_POINT ('', (7.90873200347117, -4.65, 16.5));
#3560 = CARTESIAN_POINT ('', (7.90873200347117, -6.00000000000001, 16.5));
#3570 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3550, #3560), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3580 = EDGE_CURVE ('', #3540, #3470, #3570, .T.);
#3590 = ORIENTED_EDGE ('', *, *, #3580, .F.);
#3600 = CARTESIAN_POINT ('', (4.47577136594009, -4.65, 16.5));
#3610 = VERTEX_POINT ('', #3600);
#3620 = CARTESIAN_POINT ('', (4.47577136594009, -4.65, 16.5));
#3630 = CARTESIAN_POINT ('', (7.90873200347117, -4.65, 16.5));
#3640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3620, #3630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3650 = EDGE_CURVE ('', #3610, #3540, #3640, .T.);
#3660 = ORIENTED_EDGE ('', *, *, #3650, .F.);
#3670 = CARTESIAN_POINT ('', (2.47577136594003, -3.65, 16.5));
#3680 = VERTEX_POINT ('', #3670);
#3690 = CARTESIAN_POINT ('', (4.47577136594009, -4.65, 16.5));
#3700 = CARTESIAN_POINT ('', (3.30419849068625, -4.65000000000001, 16.5));
#3710 = CARTESIAN_POINT ('', (2.47577136594003, -4.23578643762691, 16.5));
#3720 = CARTESIAN_POINT ('', (2.47577136594003, -3.65, 16.5));
#3730 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#3690, #3700, #3710, #3720), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (1.57079632679489, 3.14159265358979), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.804737854124363, 0.804737854124363, 1.))
   REPRESENTATION_ITEM ('')
);
#3740 = EDGE_CURVE ('', #3610, #3680, #3730, .T.);
#3750 = ORIENTED_EDGE ('', *, *, #3740, .T.);
#3760 = CARTESIAN_POINT ('', (2.47577136594003, 6., 16.5));
#3770 = VERTEX_POINT ('', #3760);
#3780 = CARTESIAN_POINT ('', (2.47577136594003, -3.65, 16.5));
#3790 = CARTESIAN_POINT ('', (2.47577136594003, 6., 16.5));
#3800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3780, #3790), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3810 = EDGE_CURVE ('', #3680, #3770, #3800, .T.);
#3820 = ORIENTED_EDGE ('', *, *, #3810, .T.);
#3830 = CARTESIAN_POINT ('', (1.97577136594003, 6., 16.5));
#3840 = CARTESIAN_POINT ('', (2.47577136594003, 6., 16.5));
#3850 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3830, #3840), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3860 = EDGE_CURVE ('', #3130, #3770, #3850, .T.);
#3870 = ORIENTED_EDGE ('', *, *, #3860, .F.);
#3880 = ORIENTED_EDGE ('', *, *, #3360, .T.);
#3890 = EDGE_LOOP ('', (#3520, #3590, #3660, #3750, #3820, #3870, #3880));
#3900 = FACE_OUTER_BOUND ('', #3890, .T.);
#3910 = CARTESIAN_POINT ('', (1.97477136594003, -6.001, 16.5));
#3920 = CARTESIAN_POINT ('', (1.97477136594003, 6.001, 16.5));
#3930 = CARTESIAN_POINT ('', (7.90973200347116, -6.001, 16.5));
#3940 = CARTESIAN_POINT ('', (7.90973200347116, 6.001, 16.5));
#3950 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3910, #3920), (#3930, #3940)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-5.93396063753114, 0.00100000000000477), (-12.001, 0.000999999999999446), .UNSPECIFIED.);
#3960 = ADVANCED_FACE ('', (#3900), #3950, .T.);
#3970 = ORIENTED_EDGE ('', *, *, #3860, .T.);
#3980 = CARTESIAN_POINT ('', (8.49999999999999, 6., 13.0219099764657));
#3990 = VERTEX_POINT ('', #3980);
#4000 = CARTESIAN_POINT ('', (8.49999999999999, 6., 13.0219099764657));
#4010 = CARTESIAN_POINT ('', (2.47577136594003, 6., 16.5));
#4020 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4000, #4010), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4030 = EDGE_CURVE ('', #3990, #3770, #4020, .T.);
#4040 = ORIENTED_EDGE ('', *, *, #4030, .F.);
#4050 = CARTESIAN_POINT ('', (8.49999999999999, 6., 12.));
#4060 = VERTEX_POINT ('', #4050);
#4070 = CARTESIAN_POINT ('', (8.49999999999999, 6., 12.));
#4080 = CARTESIAN_POINT ('', (8.49999999999999, 6., 13.0219099764657));
#4090 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4070, #4080), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4100 = EDGE_CURVE ('', #4060, #3990, #4090, .T.);
#4110 = ORIENTED_EDGE ('', *, *, #4100, .F.);
#4120 = CARTESIAN_POINT ('', (8.49999999999999, 6., 12.));
#4130 = CARTESIAN_POINT ('', (8.49999999999999, 5.99999999999999, 1.48913605503497));
#4140 = CARTESIAN_POINT ('', (19., 5.99999999999999, 1.01136951208202));
#4150 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4120, #4130, #4140), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (180., 267.394748734943), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.722998805481221, 1.))
   REPRESENTATION_ITEM ('')
);
#4160 = EDGE_CURVE ('', #4060, #480, #4150, .T.);
#4170 = ORIENTED_EDGE ('', *, *, #4160, .T.);
#4180 = ORIENTED_EDGE ('', *, *, #520, .T.);
#4190 = ORIENTED_EDGE ('', *, *, #2430, .T.);
#4200 = ORIENTED_EDGE ('', *, *, #2710, .T.);
#4210 = ORIENTED_EDGE ('', *, *, #2990, .T.);
#4220 = CARTESIAN_POINT ('', (0.00267301202104875, 6., 12.));
#4230 = CARTESIAN_POINT ('', (0.770000000000024, 6., 12.));
#4240 = CARTESIAN_POINT ('', (0.968598838310115, 6., 12.7411809548975));
#4250 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4220, #4230, #4240), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (270., 345.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.793353340291233, 1.))
   REPRESENTATION_ITEM ('')
);
#4260 = EDGE_CURVE ('', #2900, #3110, #4250, .T.);
#4270 = ORIENTED_EDGE ('', *, *, #4260, .T.);
#4280 = ORIENTED_EDGE ('', *, *, #3170, .T.);
#4290 = EDGE_LOOP ('', (#3970, #4040, #4110, #4170, #4180, #4190, #4200, #4210, #4270, #4280));
#4300 = FACE_OUTER_BOUND ('', #4290, .T.);
#4310 = CARTESIAN_POINT ('', (19.001, 5.99999999999999, -0.00100000000001378));
#4320 = CARTESIAN_POINT ('', (19.001, 5.99999999999999, 16.501));
#4330 = CARTESIAN_POINT ('', (-90.501, 6., -0.00100000000001378));
#4340 = CARTESIAN_POINT ('', (-90.501, 6., 16.501));
#4350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4310, #4320), (#4330, #4340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-109.501, 0.00100000000000477), (-0.001, 16.501), .UNSPECIFIED.);
#4360 = ADVANCED_FACE ('', (#4300), #4350, .T.);
#4370 = CARTESIAN_POINT ('', (-3.45807976541676, -6.00000000000001, 5.72323542860148));
#4380 = VERTEX_POINT ('', #4370);
#4390 = CARTESIAN_POINT ('', (-3.45807976541676, -6.00000000000001, 5.72323542860148));
#4400 = CARTESIAN_POINT ('', (9.88518159075983, -6.00000000000001, 6.65628715616786));
#4410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4390, #4400), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4420 = EDGE_CURVE ('', #4380, #1260, #4410, .T.);
#4430 = ORIENTED_EDGE ('', *, *, #4420, .F.);
#4440 = CARTESIAN_POINT ('', (-3.58224628868126, -6., 7.49889943806397));
#4450 = VERTEX_POINT ('', #4440);
#4460 = CARTESIAN_POINT ('', (-3.58224628868126, -6., 7.49889943806397));
#4470 = CARTESIAN_POINT ('', (-3.45807976541676, -6.00000000000001, 5.72323542860148));
#4480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4460, #4470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4490 = EDGE_CURVE ('', #4450, #4380, #4480, .T.);
#4500 = ORIENTED_EDGE ('', *, *, #4490, .F.);
#4510 = CARTESIAN_POINT ('', (-5.07859236407106, -6., 7.39426472744779));
#4520 = VERTEX_POINT ('', #4510);
#4530 = CARTESIAN_POINT ('', (-5.07859236407106, -6., 7.39426472744779));
#4540 = CARTESIAN_POINT ('', (-3.58224628868126, -6., 7.49889943806397));
#4550 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4530, #4540), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4560 = EDGE_CURVE ('', #4520, #4450, #4550, .T.);
#4570 = ORIENTED_EDGE ('', *, *, #4560, .F.);
#4580 = CARTESIAN_POINT ('', (-5.32274002217542, -6., 10.8857389033572));
#4590 = VERTEX_POINT ('', #4580);
#4600 = CARTESIAN_POINT ('', (-5.32274002217542, -6., 10.8857389033572));
#4610 = CARTESIAN_POINT ('', (-5.07859236407106, -6., 7.39426472744779));
#4620 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4600, #4610), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4630 = EDGE_CURVE ('', #4590, #4520, #4620, .T.);
#4640 = ORIENTED_EDGE ('', *, *, #4630, .F.);
#4650 = CARTESIAN_POINT ('', (8.49999999999999, -6.00000000000001, 11.8523190454318));
#4660 = VERTEX_POINT ('', #4650);
#4670 = CARTESIAN_POINT ('', (8.49999999999999, -6.00000000000001, 11.8523190454318));
#4680 = CARTESIAN_POINT ('', (-5.32274002217542, -6., 10.8857389033572));
#4690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4670, #4680), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4700 = EDGE_CURVE ('', #4660, #4590, #4690, .T.);
#4710 = ORIENTED_EDGE ('', *, *, #4700, .F.);
#4720 = CARTESIAN_POINT ('', (8.5, -6.00000000000001, 16.1586312630409));
#4730 = VERTEX_POINT ('', #4720);
#4740 = CARTESIAN_POINT ('', (8.5, -6.00000000000001, 16.1586312630409));
#4750 = CARTESIAN_POINT ('', (8.49999999999999, -6.00000000000001, 11.8523190454318));
#4760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4740, #4750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4770 = EDGE_CURVE ('', #4730, #4660, #4760, .T.);
#4780 = ORIENTED_EDGE ('', *, *, #4770, .F.);
#4790 = CARTESIAN_POINT ('', (7.90873200347117, -6.00000000000001, 16.5));
#4800 = CARTESIAN_POINT ('', (8.5, -6.00000000000001, 16.1586312630409));
#4810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4790, #4800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4820 = EDGE_CURVE ('', #3470, #4730, #4810, .T.);
#4830 = ORIENTED_EDGE ('', *, *, #4820, .F.);
#4840 = ORIENTED_EDGE ('', *, *, #3510, .F.);
#4850 = ORIENTED_EDGE ('', *, *, #3310, .F.);
#4860 = CARTESIAN_POINT ('', (0.968598838310115, -6., 12.7411809548975));
#4870 = CARTESIAN_POINT ('', (0.77000000000001, -6., 12.));
#4880 = CARTESIAN_POINT ('', (0.00267301202104875, -6., 12.));
#4890 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4860, #4870, #4880), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (14.9999999999997, 90.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.793353340291234, 1.))
   REPRESENTATION_ITEM ('')
);
#4900 = EDGE_CURVE ('', #3200, #2830, #4890, .T.);
#4910 = ORIENTED_EDGE ('', *, *, #4900, .T.);
#4920 = ORIENTED_EDGE ('', *, *, #2870, .F.);
#4930 = ORIENTED_EDGE ('', *, *, #2590, .F.);
#4940 = ORIENTED_EDGE ('', *, *, #2310, .F.);
#4950 = ORIENTED_EDGE ('', *, *, #380, .F.);
#4960 = ORIENTED_EDGE ('', *, *, #1380, .F.);
#4970 = EDGE_LOOP ('', (#4430, #4500, #4570, #4640, #4710, #4780, #4830, #4840, #4850, #4910, #4920, #4930, #4940, #4950, #4960));
#4980 = FACE_OUTER_BOUND ('', #4970, .T.);
#4990 = CARTESIAN_POINT ('', (-90.501, -6., -0.00100000000001304));
#5000 = CARTESIAN_POINT ('', (-90.501, -6., 16.501));
#5010 = CARTESIAN_POINT ('', (19.001, -6.00000000000001, -0.00100000000001304));
#5020 = CARTESIAN_POINT ('', (19.001, -6.00000000000001, 16.501));
#5030 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4990, #5000), (#5010, #5020)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-109.501, 0.00100000000000477), (-0.001, 16.501), .UNSPECIFIED.);
#5040 = ADVANCED_FACE ('', (#4980), #5030, .T.);
#5050 = CARTESIAN_POINT ('', (14.5, -4.65, 12.2718799170928));
#5060 = VERTEX_POINT ('', #5050);
#5070 = CARTESIAN_POINT ('', (13.5, -4.65, 13.2718799170928));
#5080 = VERTEX_POINT ('', #5070);
#5090 = CARTESIAN_POINT ('', (14.5, -4.65, 12.2718799170928));
#5100 = CARTESIAN_POINT ('', (13.5, -4.65, 13.2718799170928));
#5110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5090, #5100), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5120 = EDGE_CURVE ('', #5060, #5080, #5110, .T.);
#5130 = ORIENTED_EDGE ('', *, *, #5120, .F.);
#5140 = CARTESIAN_POINT ('', (9.50030212565235, -4.65, 11.922266984059));
#5150 = VERTEX_POINT ('', #5140);
#5160 = CARTESIAN_POINT ('', (14.5, -4.65, 12.2718799170928));
#5170 = CARTESIAN_POINT ('', (9.50030212565235, -4.65, 11.922266984059));
#5180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5160, #5170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5190 = EDGE_CURVE ('', #5060, #5150, #5180, .T.);
#5200 = ORIENTED_EDGE ('', *, *, #5190, .T.);
#5210 = CARTESIAN_POINT ('', (9.49999999999999, -4.65, 12.));
#5220 = VERTEX_POINT ('', #5210);
#5230 = CARTESIAN_POINT ('', (9.49999999999999, -4.65, 12.));
#5240 = CARTESIAN_POINT ('', (9.49999999999999, -4.65, 11.9611329048933));
#5250 = CARTESIAN_POINT ('', (9.50030212565235, -4.65, 11.922266984059));
#5260 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5230, #5240, #5250), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (1.01777749806832E-14, 0.445381859609614), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.999992446830166, 1.))
   REPRESENTATION_ITEM ('')
);
#5270 = EDGE_CURVE ('', #5220, #5150, #5260, .T.);
#5280 = ORIENTED_EDGE ('', *, *, #5270, .F.);
#5290 = CARTESIAN_POINT ('', (9.49999999999999, -4.65, 13.5992602456553));
#5300 = VERTEX_POINT ('', #5290);
#5310 = CARTESIAN_POINT ('', (9.49999999999999, -4.65, 12.));
#5320 = CARTESIAN_POINT ('', (9.49999999999999, -4.65, 13.5992602456553));
#5330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5310, #5320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5340 = EDGE_CURVE ('', #5220, #5300, #5330, .T.);
#5350 = ORIENTED_EDGE ('', *, *, #5340, .T.);
#5360 = CARTESIAN_POINT ('', (9.49999999999999, -4.65, 13.5992602456553));
#5370 = CARTESIAN_POINT ('', (4.47577136594009, -4.65, 16.5));
#5380 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5360, #5370), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5390 = EDGE_CURVE ('', #5300, #3610, #5380, .T.);
#5400 = ORIENTED_EDGE ('', *, *, #5390, .T.);
#5410 = ORIENTED_EDGE ('', *, *, #3650, .T.);
#5420 = CARTESIAN_POINT ('', (13.5, -4.65, 13.2718799170928));
#5430 = CARTESIAN_POINT ('', (7.90873200347117, -4.65, 16.5));
#5440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5420, #5430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5450 = EDGE_CURVE ('', #5080, #3540, #5440, .T.);
#5460 = ORIENTED_EDGE ('', *, *, #5450, .F.);
#5470 = EDGE_LOOP ('', (#5130, #5200, #5280, #5350, #5400, #5410, #5460));
#5480 = FACE_OUTER_BOUND ('', #5470, .T.);
#5490 = CARTESIAN_POINT ('', (14.501, -4.65, 11.921266984059));
#5500 = CARTESIAN_POINT ('', (14.501, -4.65, 16.501));
#5510 = CARTESIAN_POINT ('', (4.47477136594009, -4.65, 11.921266984059));
#5520 = CARTESIAN_POINT ('', (4.47477136594009, -4.65, 16.501));
#5530 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5490, #5500), (#5510, #5520)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (4.99900000000001, 15.0252286340599), (-0.0787330159410295, 4.501), .UNSPECIFIED.);
#5540 = ADVANCED_FACE ('', (#5480), #5530, .T.);
#5550 = CARTESIAN_POINT ('', (8.49999999999999, -3.65, 12.));
#5560 = VERTEX_POINT ('', #5550);
#5570 = CARTESIAN_POINT ('', (8.49999999999999, -3.65, 12.));
#5580 = CARTESIAN_POINT ('', (8.49999999999999, 6., 12.));
#5590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5570, #5580), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5600 = EDGE_CURVE ('', #5560, #4060, #5590, .T.);
#5610 = ORIENTED_EDGE ('', *, *, #5600, .F.);
#5620 = CARTESIAN_POINT ('', (8.49999999999999, -3.65, 12.));
#5630 = CARTESIAN_POINT ('', (8.49999999999999, -3.65000000000001, 1.48913605503498));
#5640 = CARTESIAN_POINT ('', (19., -3.65000000000001, 1.01136951208202));
#5650 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5620, #5630, #5640), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 87.3947487349427), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.722998805481221, 1.))
   REPRESENTATION_ITEM ('')
);
#5660 = EDGE_CURVE ('', #5560, #550, #5650, .T.);
#5670 = ORIENTED_EDGE ('', *, *, #5660, .T.);
#5680 = ORIENTED_EDGE ('', *, *, #590, .F.);
#5690 = ORIENTED_EDGE ('', *, *, #4160, .F.);
#5700 = EDGE_LOOP ('', (#5610, #5670, #5680, #5690));
#5710 = FACE_OUTER_BOUND ('', #5700, .T.);
#5720 = CARTESIAN_POINT ('', (8.5, -4.6162, 12.));
#5730 = CARTESIAN_POINT ('', (8.5, 6.9662, 12.));
#5740 = CARTESIAN_POINT ('', (8.50000000000001, -4.61620000000001, 0.999999999999974));
#5750 = CARTESIAN_POINT ('', (8.50000000000001, 6.9662, 0.999999999999973));
#5760 = CARTESIAN_POINT ('', (19.5, -4.61620000000001, 0.999999999999972));
#5770 = CARTESIAN_POINT ('', (19.5, 6.96619999999999, 0.999999999999971));
#5780 = CARTESIAN_POINT ('', (30.5, -4.61620000000001, 0.999999999999969));
#5790 = CARTESIAN_POINT ('', (30.5, 6.96619999999999, 0.999999999999968));
#5800 = CARTESIAN_POINT ('', (30.5, -4.61620000000001, 12.));
#5810 = CARTESIAN_POINT ('', (30.5, 6.96619999999999, 12.));
#5820 = CARTESIAN_POINT ('', (30.5, -4.6162, 23.));
#5830 = CARTESIAN_POINT ('', (30.5, 6.9662, 23.));
#5840 = CARTESIAN_POINT ('', (19.5, -4.6162, 23.));
#5850 = CARTESIAN_POINT ('', (19.5, 6.9662, 23.));
#5860 = CARTESIAN_POINT ('', (8.50000000000001, -4.6162, 23.));
#5870 = CARTESIAN_POINT ('', (8.50000000000001, 6.9662, 23.));
#5880 = CARTESIAN_POINT ('', (8.5, -4.6162, 12.));
#5890 = CARTESIAN_POINT ('', (8.5, 6.9662, 12.));
#5900 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#5720, #5730), (#5740, #5750), (#5760, #5770), (#5780, #5790), (#5800, #5810), (#5820, #5830), (#5840, #5850), (#5860, #5870), (#5880, #5890)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#5910 = ADVANCED_FACE ('', (#5710), #5900, .T.);
#5920 = CARTESIAN_POINT ('', (8.49999999999999, -3.65, 13.0219099764657));
#5930 = VERTEX_POINT ('', #5920);
#5940 = CARTESIAN_POINT ('', (8.49999999999999, 6., 13.0219099764657));
#5950 = CARTESIAN_POINT ('', (8.49999999999999, -3.65, 13.0219099764657));
#5960 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5940, #5950), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5970 = EDGE_CURVE ('', #3990, #5930, #5960, .T.);
#5980 = ORIENTED_EDGE ('', *, *, #5970, .T.);
#5990 = CARTESIAN_POINT ('', (8.49999999999999, -3.65, 13.0219099764657));
#6000 = CARTESIAN_POINT ('', (8.49999999999999, -3.65, 12.));
#6010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5990, #6000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6020 = EDGE_CURVE ('', #5930, #5560, #6010, .T.);
#6030 = ORIENTED_EDGE ('', *, *, #6020, .T.);
#6040 = ORIENTED_EDGE ('', *, *, #5600, .T.);
#6050 = ORIENTED_EDGE ('', *, *, #4100, .T.);
#6060 = EDGE_LOOP ('', (#5980, #6030, #6040, #6050));
#6070 = FACE_OUTER_BOUND ('', #6060, .T.);
#6080 = CARTESIAN_POINT ('', (8.49999999999999, -3.651, 13.0229099764657));
#6090 = CARTESIAN_POINT ('', (8.49999999999999, 6.001, 13.0229099764657));
#6100 = CARTESIAN_POINT ('', (8.49999999999999, -3.651, 11.999));
#6110 = CARTESIAN_POINT ('', (8.49999999999999, 6.001, 11.999));
#6120 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6080, #6090), (#6100, #6110)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-4.501, -3.47709002353431), (0.999, 10.651), .UNSPECIFIED.);
#6130 = ADVANCED_FACE ('', (#6070), #6120, .T.);
#6140 = CARTESIAN_POINT ('', (9.02678268764265, -5.85000000000001, 15.854493136526));
#6150 = VERTEX_POINT ('', #6140);
#6160 = CARTESIAN_POINT ('', (9.02678268764264, -5.85000000000001, 11.8891552793657));
#6170 = VERTEX_POINT ('', #6160);
#6180 = CARTESIAN_POINT ('', (9.02678268764265, -5.85000000000001, 15.854493136526));
#6190 = CARTESIAN_POINT ('', (9.02678268764264, -5.85000000000001, 11.8891552793657));
#6200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6180, #6190), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6210 = EDGE_CURVE ('', #6150, #6170, #6200, .T.);
#6220 = ORIENTED_EDGE ('', *, *, #6210, .T.);
#6230 = CARTESIAN_POINT ('', (14.5, -5.85000000000001, 12.2718799170928));
#6240 = VERTEX_POINT ('', #6230);
#6250 = CARTESIAN_POINT ('', (14.5, -5.85000000000001, 12.2718799170928));
#6260 = CARTESIAN_POINT ('', (9.02678268764264, -5.85000000000001, 11.8891552793657));
#6270 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6250, #6260), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6280 = EDGE_CURVE ('', #6240, #6170, #6270, .T.);
#6290 = ORIENTED_EDGE ('', *, *, #6280, .F.);
#6300 = CARTESIAN_POINT ('', (13.5, -5.85000000000001, 13.2718799170928));
#6310 = VERTEX_POINT ('', #6300);
#6320 = CARTESIAN_POINT ('', (13.5, -5.85000000000001, 13.2718799170928));
#6330 = CARTESIAN_POINT ('', (14.5, -5.85000000000001, 12.2718799170928));
#6340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6320, #6330), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6350 = EDGE_CURVE ('', #6310, #6240, #6340, .T.);
#6360 = ORIENTED_EDGE ('', *, *, #6350, .F.);
#6370 = CARTESIAN_POINT ('', (9.02678268764265, -5.85000000000001, 15.854493136526));
#6380 = CARTESIAN_POINT ('', (13.5, -5.85000000000001, 13.2718799170928));
#6390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6370, #6380), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6400 = EDGE_CURVE ('', #6150, #6310, #6390, .T.);
#6410 = ORIENTED_EDGE ('', *, *, #6400, .F.);
#6420 = EDGE_LOOP ('', (#6220, #6290, #6360, #6410));
#6430 = FACE_OUTER_BOUND ('', #6420, .T.);
#6440 = CARTESIAN_POINT ('', (9.02578268764263, -5.85000000000001, 11.8881552793657));
#6450 = CARTESIAN_POINT ('', (9.02578268764263, -5.85000000000001, 15.855493136526));
#6460 = CARTESIAN_POINT ('', (14.501, -5.85000000000001, 11.8881552793657));
#6470 = CARTESIAN_POINT ('', (14.501, -5.85000000000001, 15.855493136526));
#6480 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6440, #6450), (#6460, #6470)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-10.4742173123574, -4.99900000000001), (-0.11184472063433, 3.85549313652597), .UNSPECIFIED.);
#6490 = ADVANCED_FACE ('', (#6430), #6480, .T.);
#6500 = ORIENTED_EDGE ('', *, *, #3810, .F.);
#6510 = CARTESIAN_POINT ('', (2.47577136594003, -3.65, 16.5));
#6520 = CARTESIAN_POINT ('', (8.49999999999999, -3.65, 13.0219099764657));
#6530 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6510, #6520), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6540 = EDGE_CURVE ('', #3680, #5930, #6530, .T.);
#6550 = ORIENTED_EDGE ('', *, *, #6540, .T.);
#6560 = ORIENTED_EDGE ('', *, *, #5970, .F.);
#6570 = ORIENTED_EDGE ('', *, *, #4030, .T.);
#6580 = EDGE_LOOP ('', (#6500, #6550, #6560, #6570));
#6590 = FACE_OUTER_BOUND ('', #6580, .T.);
#6600 = CARTESIAN_POINT ('', (2.47458835323813, -3.651, 16.5006830127019));
#6610 = CARTESIAN_POINT ('', (2.47458835323813, 6.001, 16.5006830127019));
#6620 = CARTESIAN_POINT ('', (8.50118301270189, -3.65100000000001, 13.0212269637638));
#6630 = CARTESIAN_POINT ('', (8.50118301270189, 6.001, 13.0212269637638));
#6640 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6600, #6610), (#6620, #6630)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-6.9575460724725, 0.00136602540379727), (20.0795357000508, 29.7315357000508), .UNSPECIFIED.);
#6650 = ADVANCED_FACE ('', (#6590), #6640, .T.);
#6660 = CARTESIAN_POINT ('', (9.92016250940151, -3.90000000000001, 6.65873326028733));
#6670 = VERTEX_POINT ('', #6660);
#6680 = CARTESIAN_POINT ('', (8.53271785820272, -3.90000000000001, 11.8546069009495));
#6690 = VERTEX_POINT ('', #6680);
#6700 = CARTESIAN_POINT ('', (9.92016250940151, -3.90000000000001, 6.65873326028733));
#6710 = CARTESIAN_POINT ('', (8.56948428505018, -3.90000000000001, 9.08124434650055));
#6720 = CARTESIAN_POINT ('', (8.53271785820272, -3.90000000000001, 11.8546069009495));
#6730 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6700, #6710, #6720), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (150.858018496431, 179.240475181278), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.96948289369802, 1.))
   REPRESENTATION_ITEM ('')
);
#6740 = EDGE_CURVE ('', #6670, #6690, #6730, .T.);
#6750 = ORIENTED_EDGE ('', *, *, #6740, .F.);
#6760 = CARTESIAN_POINT ('', (10.998770882938, -4.65000000000001, 6.73415690518431));
#6770 = CARTESIAN_POINT ('', (10.7626098199525, -4.65, 6.71764291494454));
#6780 = CARTESIAN_POINT ('', (10.5272919332512, -4.58334035469809, 6.70118788533423));
#6790 = CARTESIAN_POINT ('', (10.2351144279257, -4.3883495981456, 6.68075684386521));
#6800 = CARTESIAN_POINT ('', (10.147396511653, -4.30689023463388, 6.67462300962993));
#6810 = CARTESIAN_POINT ('', (10.0064772012102, -4.11991056488311, 6.6647689715094));
#6820 = CARTESIAN_POINT ('', (9.95219074496885, -4.012566742831, 6.66097289269273));
#6830 = CARTESIAN_POINT ('', (9.92016250940151, -3.90000000000001, 6.65873326028733));
#6840 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6760, #6770, #6780, #6790, #6800, #6810, #6820, #6830), .UNSPECIFIED., .F., .U., (4, 2, 2, 4), (0.000623507230169178, 0.00133048687139425, 0.00168397669200679, 0.00203746651261933), .UNSPECIFIED.);
#6850 = EDGE_CURVE ('', #810, #6670, #6840, .T.);
#6860 = ORIENTED_EDGE ('', *, *, #6850, .F.);
#6870 = ORIENTED_EDGE ('', *, *, #860, .F.);
#6880 = ORIENTED_EDGE ('', *, *, #700, .F.);
#6890 = ORIENTED_EDGE ('', *, *, #5660, .F.);
#6900 = CARTESIAN_POINT ('', (9.49999999999999, -4.65000000000001, 12.));
#6910 = CARTESIAN_POINT ('', (8.49999999999999, -4.65000000000001, 12.));
#6920 = CARTESIAN_POINT ('', (8.49999999999999, -3.65000000000001, 12.));
#6930 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6900, #6910, #6920), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (270., 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#6940 = EDGE_CURVE ('', #5220, #5560, #6930, .T.);
#6950 = ORIENTED_EDGE ('', *, *, #6940, .F.);
#6960 = ORIENTED_EDGE ('', *, *, #5270, .T.);
#6970 = CARTESIAN_POINT ('', (8.53271785820272, -3.90000000000001, 11.8546069009495));
#6980 = CARTESIAN_POINT ('', (8.58790383375535, -4.11391370342641, 11.8584658802839));
#6990 = CARTESIAN_POINT ('', (8.71387377405891, -4.30546894159071, 11.86727455661));
#7000 = CARTESIAN_POINT ('', (9.06341400587402, -4.57618417432704, 11.8917167906669));
#7010 = CARTESIAN_POINT ('', (9.27877835474365, -4.65, 11.9067765329896));
#7020 = CARTESIAN_POINT ('', (9.50030212565235, -4.65, 11.922266984059));
#7030 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6970, #6980, #6990, #7000, #7010, #7020), .UNSPECIFIED., .F., .U., (4, 2, 4), (0.000703358598920584, 0.00136013121847411, 0.00201690383802764), .UNSPECIFIED.);
#7040 = EDGE_CURVE ('', #6690, #5150, #7030, .T.);
#7050 = ORIENTED_EDGE ('', *, *, #7040, .F.);
#7060 = EDGE_LOOP ('', (#6750, #6860, #6870, #6880, #6890, #6950, #6960, #7050));
#7070 = FACE_OUTER_BOUND ('', #7060, .T.);
#7080 = CARTESIAN_POINT ('', (8.49999999999999, -3.65, 12.));
#7090 = CARTESIAN_POINT ('', (8.49999999999999, -2.65, 12.));
#7100 = CARTESIAN_POINT ('', (9.49999999999999, -2.65, 12.));
#7110 = CARTESIAN_POINT ('', (10.5, -2.65, 12.));
#7120 = CARTESIAN_POINT ('', (10.5, -3.65, 12.));
#7130 = CARTESIAN_POINT ('', (10.5, -4.65, 12.));
#7140 = CARTESIAN_POINT ('', (9.49999999999999, -4.65, 12.));
#7150 = CARTESIAN_POINT ('', (8.49999999999999, -4.65, 12.));
#7160 = CARTESIAN_POINT ('', (8.49999999999999, -3.65, 12.));
#7170 = CARTESIAN_POINT ('', (8.49999999999999, -3.65000000000001, 0.99999999999996));
#7180 = CARTESIAN_POINT ('', (8.49999999999999, -2.65000000000001, 0.99999999999996));
#7190 = CARTESIAN_POINT ('', (9.49999999999997, -2.65000000000001, 1.99999999999996));
#7200 = CARTESIAN_POINT ('', (10.5, -2.65000000000001, 2.99999999999996));
#7210 = CARTESIAN_POINT ('', (10.5, -3.65000000000001, 2.99999999999996));
#7220 = CARTESIAN_POINT ('', (10.5, -4.65000000000001, 2.99999999999996));
#7230 = CARTESIAN_POINT ('', (9.49999999999997, -4.65000000000001, 1.99999999999996));
#7240 = CARTESIAN_POINT ('', (8.49999999999999, -4.65000000000001, 0.99999999999996));
#7250 = CARTESIAN_POINT ('', (8.49999999999999, -3.65000000000001, 0.99999999999996));
#7260 = CARTESIAN_POINT ('', (19.5, -3.65000000000001, 0.999999999999965));
#7270 = CARTESIAN_POINT ('', (19.5, -2.65000000000001, 0.999999999999964));
#7280 = CARTESIAN_POINT ('', (19.5, -2.65000000000001, 1.99999999999996));
#7290 = CARTESIAN_POINT ('', (19.5, -2.65000000000001, 2.99999999999996));
#7300 = CARTESIAN_POINT ('', (19.5, -3.65000000000001, 2.99999999999996));
#7310 = CARTESIAN_POINT ('', (19.5, -4.65000000000001, 2.99999999999996));
#7320 = CARTESIAN_POINT ('', (19.5, -4.65000000000001, 1.99999999999996));
#7330 = CARTESIAN_POINT ('', (19.5, -4.65000000000001, 0.999999999999965));
#7340 = CARTESIAN_POINT ('', (19.5, -3.65000000000001, 0.999999999999965));
#7350 = CARTESIAN_POINT ('', (30.5, -3.65000000000001, 0.999999999999969));
#7360 = CARTESIAN_POINT ('', (30.5, -2.65000000000001, 0.999999999999969));
#7370 = CARTESIAN_POINT ('', (29.5, -2.65000000000001, 1.99999999999997));
#7380 = CARTESIAN_POINT ('', (28.5, -2.65000000000001, 2.99999999999997));
#7390 = CARTESIAN_POINT ('', (28.5, -3.65000000000001, 2.99999999999997));
#7400 = CARTESIAN_POINT ('', (28.5, -4.65000000000001, 2.99999999999997));
#7410 = CARTESIAN_POINT ('', (29.5, -4.65000000000001, 1.99999999999997));
#7420 = CARTESIAN_POINT ('', (30.5, -4.65000000000001, 0.999999999999969));
#7430 = CARTESIAN_POINT ('', (30.5, -3.65000000000001, 0.999999999999969));
#7440 = CARTESIAN_POINT ('', (30.5, -3.65000000000001, 12.));
#7450 = CARTESIAN_POINT ('', (30.5, -2.65000000000001, 12.));
#7460 = CARTESIAN_POINT ('', (29.5, -2.65000000000001, 12.));
#7470 = CARTESIAN_POINT ('', (28.5, -2.65000000000001, 12.));
#7480 = CARTESIAN_POINT ('', (28.5, -3.65000000000001, 12.));
#7490 = CARTESIAN_POINT ('', (28.5, -4.65000000000001, 12.));
#7500 = CARTESIAN_POINT ('', (29.5, -4.65000000000001, 12.));
#7510 = CARTESIAN_POINT ('', (30.5, -4.65000000000001, 12.));
#7520 = CARTESIAN_POINT ('', (30.5, -3.65000000000001, 12.));
#7530 = CARTESIAN_POINT ('', (30.5, -3.65000000000001, 23.));
#7540 = CARTESIAN_POINT ('', (30.5, -2.65000000000001, 23.));
#7550 = CARTESIAN_POINT ('', (29.5, -2.65000000000001, 22.));
#7560 = CARTESIAN_POINT ('', (28.5, -2.65000000000001, 21.));
#7570 = CARTESIAN_POINT ('', (28.5, -3.65000000000001, 21.));
#7580 = CARTESIAN_POINT ('', (28.5, -4.65000000000001, 21.));
#7590 = CARTESIAN_POINT ('', (29.5, -4.65, 22.));
#7600 = CARTESIAN_POINT ('', (30.5, -4.65, 23.));
#7610 = CARTESIAN_POINT ('', (30.5, -3.65000000000001, 23.));
#7620 = CARTESIAN_POINT ('', (19.5, -3.65, 23.));
#7630 = CARTESIAN_POINT ('', (19.5, -2.65, 23.));
#7640 = CARTESIAN_POINT ('', (19.5, -2.65, 22.));
#7650 = CARTESIAN_POINT ('', (19.5, -2.65, 21.));
#7660 = CARTESIAN_POINT ('', (19.5, -3.65, 21.));
#7670 = CARTESIAN_POINT ('', (19.5, -4.65, 21.));
#7680 = CARTESIAN_POINT ('', (19.5, -4.65, 22.));
#7690 = CARTESIAN_POINT ('', (19.5, -4.65, 23.));
#7700 = CARTESIAN_POINT ('', (19.5, -3.65, 23.));
#7710 = CARTESIAN_POINT ('', (8.49999999999999, -3.65, 23.));
#7720 = CARTESIAN_POINT ('', (8.49999999999999, -2.65, 23.));
#7730 = CARTESIAN_POINT ('', (9.49999999999997, -2.65, 22.));
#7740 = CARTESIAN_POINT ('', (10.5, -2.65, 21.));
#7750 = CARTESIAN_POINT ('', (10.5, -3.65, 21.));
#7760 = CARTESIAN_POINT ('', (10.5, -4.65, 21.));
#7770 = CARTESIAN_POINT ('', (9.49999999999997, -4.65, 22.));
#7780 = CARTESIAN_POINT ('', (8.49999999999999, -4.65, 23.));
#7790 = CARTESIAN_POINT ('', (8.49999999999999, -3.65, 23.));
#7800 = CARTESIAN_POINT ('', (8.49999999999999, -3.65, 12.));
#7810 = CARTESIAN_POINT ('', (8.49999999999999, -2.65, 12.));
#7820 = CARTESIAN_POINT ('', (9.49999999999999, -2.65, 12.));
#7830 = CARTESIAN_POINT ('', (10.5, -2.65, 12.));
#7840 = CARTESIAN_POINT ('', (10.5, -3.65, 12.));
#7850 = CARTESIAN_POINT ('', (10.5, -4.65, 12.));
#7860 = CARTESIAN_POINT ('', (9.49999999999999, -4.65, 12.));
#7870 = CARTESIAN_POINT ('', (8.49999999999999, -4.65, 12.));
#7880 = CARTESIAN_POINT ('', (8.49999999999999, -3.65, 12.));
#7890 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 2, ((#7080, #7090, #7100, #7110, #7120, #7130, #7140, #7150, #7160), (#7170, #7180, #7190, #7200, #7210, #7220, #7230, #7240, #7250), (#7260, #7270, #7280, #7290, #7300, #7310, #7320, #7330, #7340), (#7350, #7360, #7370, #7380, #7390, #7400, #7410, #7420, #7430), (#7440, #7450, #7460, #7470, #7480, #7490, #7500, #7510, #7520), (#7530, #7540, #7550, #7560, #7570, #7580, #7590, #7600, #7610), (#7620, #7630, #7640, #7650, #7660, #7670, #7680, #7690, #7700), (#7710, #7720, #7730, #7740, #7750, #7760, #7770, #7780, #7790), (#7800, #7810, #7820, #7830, #7840, #7850, #7860, #7870, #7880)), .UNSPECIFIED., .T., .T., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.)))
   REPRESENTATION_ITEM ('')
);
#7900 = ADVANCED_FACE ('', (#7070), #7890, .T.);
#7910 = ORIENTED_EDGE ('', *, *, #3740, .F.);
#7920 = ORIENTED_EDGE ('', *, *, #5390, .F.);
#7930 = CARTESIAN_POINT ('', (8.49999999999999, -3.65, 13.0219099764657));
#7940 = CARTESIAN_POINT ('', (8.49999999999999, -4.23578643762691, 13.0219099764657));
#7950 = CARTESIAN_POINT ('', (8.91421356237308, -4.65, 13.2610562882038));
#7960 = CARTESIAN_POINT ('', (9.49999999999999, -4.65, 13.5992602456553));
#7970 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#7930, #7940, #7950, #7960), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (3.14159265358979, 4.71238898038469), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.804737854124365, 0.804737854124365, 1.))
   REPRESENTATION_ITEM ('')
);
#7980 = EDGE_CURVE ('', #5930, #5300, #7970, .T.);
#7990 = ORIENTED_EDGE ('', *, *, #7980, .F.);
#8000 = ORIENTED_EDGE ('', *, *, #6540, .F.);
#8010 = EDGE_LOOP ('', (#7910, #7920, #7990, #8000));
#8020 = FACE_OUTER_BOUND ('', #8010, .T.);
#8030 = CARTESIAN_POINT ('', (1.79692888729183, -3.65000000000002, 16.8919298877851));
#8040 = CARTESIAN_POINT ('', (9.92884247864828, -3.65, 12.1969673867885));
#8050 = CARTESIAN_POINT ('', (1.79692888729184, -4.65000000000003, 16.8919298877851));
#8060 = CARTESIAN_POINT ('', (9.92884247864828, -4.65000000000001, 12.1969673867885));
#8070 = CARTESIAN_POINT ('', (2.29692888729184, -4.65000000000002, 17.7579552915695));
#8080 = CARTESIAN_POINT ('', (10.4288424786483, -4.65000000000001, 13.062992790573));
#8090 = CARTESIAN_POINT ('', (2.79692888729187, -4.65000000000001, 18.623980695354));
#8100 = CARTESIAN_POINT ('', (10.9288424786483, -4.65, 13.9290181943574));
#8110 = CARTESIAN_POINT ('', (2.79692888729186, -3.65, 18.623980695354));
#8120 = CARTESIAN_POINT ('', (10.9288424786483, -3.64999999999999, 13.9290181943574));
#8130 = CARTESIAN_POINT ('', (2.79692888729187, -2.64999999999999, 18.6239806953539));
#8140 = CARTESIAN_POINT ('', (10.9288424786483, -2.64999999999998, 13.9290181943574));
#8150 = CARTESIAN_POINT ('', (2.29692888729184, -2.65, 17.7579552915695));
#8160 = CARTESIAN_POINT ('', (10.4288424786483, -2.64999999999999, 13.062992790573));
#8170 = CARTESIAN_POINT ('', (1.79692888729184, -2.65, 16.8919298877851));
#8180 = CARTESIAN_POINT ('', (9.92884247864828, -2.65, 12.1969673867885));
#8190 = CARTESIAN_POINT ('', (1.79692888729183, -3.65000000000002, 16.8919298877851));
#8200 = CARTESIAN_POINT ('', (9.92884247864828, -3.65, 12.1969673867885));
#8210 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8030, #8040), (#8050, #8060), (#8070, #8080), (#8090, #8100), (#8110, #8120), (#8130, #8140), (#8150, #8160), (#8170, #8180), (#8190, #8200)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.249999999999999, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#8220 = ADVANCED_FACE ('', (#8020), #8210, .T.);
#8230 = ORIENTED_EDGE ('', *, *, #6940, .T.);
#8240 = ORIENTED_EDGE ('', *, *, #6020, .F.);
#8250 = ORIENTED_EDGE ('', *, *, #7980, .T.);
#8260 = ORIENTED_EDGE ('', *, *, #5340, .F.);
#8270 = EDGE_LOOP ('', (#8230, #8240, #8250, #8260));
#8280 = FACE_OUTER_BOUND ('', #8270, .T.);
#8290 = CARTESIAN_POINT ('', (10.5, -3.65, 11.8388739754344));
#8300 = CARTESIAN_POINT ('', (10.5, -3.65, 13.7603862702208));
#8310 = CARTESIAN_POINT ('', (10.5, -4.65, 11.8388739754344));
#8320 = CARTESIAN_POINT ('', (10.5, -4.65, 13.7603862702208));
#8330 = CARTESIAN_POINT ('', (9.49999999999999, -4.65000000000001, 11.8388739754344));
#8340 = CARTESIAN_POINT ('', (9.5, -4.65000000000001, 13.7603862702208));
#8350 = CARTESIAN_POINT ('', (8.49999999999999, -4.65000000000002, 11.8388739754345));
#8360 = CARTESIAN_POINT ('', (8.50000000000001, -4.65000000000002, 13.7603862702209));
#8370 = CARTESIAN_POINT ('', (8.49999999999999, -3.65000000000002, 11.8388739754345));
#8380 = CARTESIAN_POINT ('', (8.5, -3.65000000000002, 13.7603862702209));
#8390 = CARTESIAN_POINT ('', (8.49999999999999, -2.65000000000002, 11.8388739754345));
#8400 = CARTESIAN_POINT ('', (8.50000000000001, -2.65000000000002, 13.7603862702209));
#8410 = CARTESIAN_POINT ('', (9.49999999999999, -2.65000000000001, 11.8388739754344));
#8420 = CARTESIAN_POINT ('', (9.5, -2.65000000000001, 13.7603862702208));
#8430 = CARTESIAN_POINT ('', (10.5, -2.65, 11.8388739754344));
#8440 = CARTESIAN_POINT ('', (10.5, -2.65, 13.7603862702208));
#8450 = CARTESIAN_POINT ('', (10.5, -3.65, 11.8388739754344));
#8460 = CARTESIAN_POINT ('', (10.5, -3.65, 13.7603862702208));
#8470 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8290, #8300), (#8310, #8320), (#8330, #8340), (#8350, #8360), (#8370, #8380), (#8390, #8400), (#8410, #8420), (#8430, #8440), (#8450, #8460)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.250000000000001, 0.500000000000001, 0.750000000000001, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#8480 = ADVANCED_FACE ('', (#8280), #8470, .T.);
#8490 = ORIENTED_EDGE ('', *, *, #4770, .T.);
#8500 = CARTESIAN_POINT ('', (9.02678268764264, -5.85000000000001, 11.8891552793657));
#8510 = CARTESIAN_POINT ('', (8.83943349587223, -5.85000000000001, 11.876054547665));
#8520 = CARTESIAN_POINT ('', (8.65924681300484, -5.90130768923151, 11.8634546673774));
#8530 = CARTESIAN_POINT ('', (8.49999999999999, -6.00000000000001, 11.8523190454318));
#8540 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#8500, #8510, #8520, #8530), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (1.5707963267949, 2.12560735977497), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.974512802055711, 0.974512802055711, 1.))
   REPRESENTATION_ITEM ('')
);
#8550 = EDGE_CURVE ('', #6170, #4660, #8540, .T.);
#8560 = ORIENTED_EDGE ('', *, *, #8550, .F.);
#8570 = ORIENTED_EDGE ('', *, *, #6210, .F.);
#8580 = CARTESIAN_POINT ('', (9.02678268764265, -5.85000000000001, 15.854493136526));
#8590 = CARTESIAN_POINT ('', (8.83943349587224, -5.85000000000001, 15.9626592428271));
#8600 = CARTESIAN_POINT ('', (8.65924681300486, -5.90130768923151, 16.0666900726849));
#8610 = CARTESIAN_POINT ('', (8.5, -6.00000000000001, 16.1586312630409));
#8620 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#8580, #8590, #8600, #8610), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (4.71238898038469, 5.26720001336477), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.974512802055711, 0.974512802055711, 1.))
   REPRESENTATION_ITEM ('')
);
#8630 = EDGE_CURVE ('', #6150, #4730, #8620, .T.);
#8640 = ORIENTED_EDGE ('', *, *, #8630, .T.);
#8650 = EDGE_LOOP ('', (#8490, #8560, #8570, #8640));
#8660 = FACE_OUTER_BOUND ('', #8650, .T.);
#8670 = CARTESIAN_POINT ('', (10.0267826876426, -6.85000000000002, 11.4204878236709));
#8680 = CARTESIAN_POINT ('', (10.0267826876426, -6.85000000000001, 16.5904624848018));
#8690 = CARTESIAN_POINT ('', (10.0267826876426, -7.85000000000002, 11.4204878236709));
#8700 = CARTESIAN_POINT ('', (10.0267826876426, -7.85000000000001, 16.5904624848018));
#8710 = CARTESIAN_POINT ('', (9.02678268764261, -7.85000000000001, 11.4204878236709));
#8720 = CARTESIAN_POINT ('', (9.02678268764262, -7.84999999999999, 16.5904624848018));
#8730 = CARTESIAN_POINT ('', (8.02678268764261, -7.85, 11.4204878236709));
#8740 = CARTESIAN_POINT ('', (8.02678268764262, -7.84999999999998, 16.5904624848018));
#8750 = CARTESIAN_POINT ('', (8.02678268764262, -6.85, 11.4204878236709));
#8760 = CARTESIAN_POINT ('', (8.02678268764264, -6.84999999999998, 16.5904624848018));
#8770 = CARTESIAN_POINT ('', (8.02678268764262, -5.85, 11.4204878236709));
#8780 = CARTESIAN_POINT ('', (8.02678268764265, -5.84999999999998, 16.5904624848018));
#8790 = CARTESIAN_POINT ('', (9.02678268764264, -5.85000000000001, 11.4204878236709));
#8800 = CARTESIAN_POINT ('', (9.02678268764265, -5.84999999999999, 16.5904624848018));
#8810 = CARTESIAN_POINT ('', (10.0267826876427, -5.85000000000002, 11.4204878236709));
#8820 = CARTESIAN_POINT ('', (10.0267826876427, -5.85, 16.5904624848018));
#8830 = CARTESIAN_POINT ('', (10.0267826876426, -6.85000000000002, 11.4204878236709));
#8840 = CARTESIAN_POINT ('', (10.0267826876426, -6.85000000000001, 16.5904624848018));
#8850 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8670, #8680), (#8690, #8700), (#8710, #8720), (#8730, #8740), (#8750, #8760), (#8770, #8780), (#8790, #8800), (#8810, #8820), (#8830, #8840)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.250000000000001, 0.5, 0.749999999999999, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#8860 = ADVANCED_FACE ('', (#8660), #8850, .T.);
#8870 = ORIENTED_EDGE ('', *, *, #6740, .T.);
#8880 = CARTESIAN_POINT ('', (-5.32274002217542, -3.9, 10.8857389033572));
#8890 = VERTEX_POINT ('', #8880);
#8900 = CARTESIAN_POINT ('', (8.53271785820272, -3.90000000000001, 11.8546069009495));
#8910 = CARTESIAN_POINT ('', (-5.32274002217542, -3.9, 10.8857389033572));
#8920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8900, #8910), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8930 = EDGE_CURVE ('', #6690, #8890, #8920, .T.);
#8940 = ORIENTED_EDGE ('', *, *, #8930, .T.);
#8950 = CARTESIAN_POINT ('', (-5.07859236407106, -3.9, 7.39426472744778));
#8960 = VERTEX_POINT ('', #8950);
#8970 = CARTESIAN_POINT ('', (-5.32274002217542, -3.9, 10.8857389033572));
#8980 = CARTESIAN_POINT ('', (-5.07859236407106, -3.9, 7.39426472744778));
#8990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8970, #8980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9000 = EDGE_CURVE ('', #8890, #8960, #8990, .T.);
#9010 = ORIENTED_EDGE ('', *, *, #9000, .T.);
#9020 = CARTESIAN_POINT ('', (-3.58224628868126, -3.9, 7.49889943806397));
#9030 = VERTEX_POINT ('', #9020);
#9040 = CARTESIAN_POINT ('', (-5.07859236407106, -3.9, 7.39426472744778));
#9050 = CARTESIAN_POINT ('', (-3.58224628868126, -3.9, 7.49889943806397));
#9060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9040, #9050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9070 = EDGE_CURVE ('', #8960, #9030, #9060, .T.);
#9080 = ORIENTED_EDGE ('', *, *, #9070, .T.);
#9090 = CARTESIAN_POINT ('', (-3.45807976541674, -3.9, 5.72323542860148));
#9100 = VERTEX_POINT ('', #9090);
#9110 = CARTESIAN_POINT ('', (-3.58224628868126, -3.9, 7.49889943806397));
#9120 = CARTESIAN_POINT ('', (-3.45807976541674, -3.9, 5.72323542860148));
#9130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9110, #9120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9140 = EDGE_CURVE ('', #9030, #9100, #9130, .T.);
#9150 = ORIENTED_EDGE ('', *, *, #9140, .T.);
#9160 = CARTESIAN_POINT ('', (-3.45807976541674, -3.9, 5.72323542860148));
#9170 = CARTESIAN_POINT ('', (9.92016250940151, -3.90000000000001, 6.65873326028733));
#9180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9160, #9170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9190 = EDGE_CURVE ('', #9100, #6670, #9180, .T.);
#9200 = ORIENTED_EDGE ('', *, *, #9190, .T.);
#9210 = EDGE_LOOP ('', (#8870, #8940, #9010, #9080, #9150, #9200));
#9220 = FACE_OUTER_BOUND ('', #9210, .T.);
#9230 = CARTESIAN_POINT ('', (-5.32374002217544, -3.90000000000001, 5.72223542860148));
#9240 = CARTESIAN_POINT ('', (-5.32374002217544, -3.9, 11.8556069009495));
#9250 = CARTESIAN_POINT ('', (9.9211625094015, -3.90000000000001, 5.72223542860148));
#9260 = CARTESIAN_POINT ('', (9.9211625094015, -3.90000000000001, 11.8556069009495));
#9270 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9230, #9240), (#9250, #9260)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-17.4067185094027, -2.16181597782575), (-2.29066693553307, 3.84270453681496), .UNSPECIFIED.);
#9280 = ADVANCED_FACE ('', (#9220), #9270, .T.);
#9290 = ORIENTED_EDGE ('', *, *, #150, .F.);
#9300 = ORIENTED_EDGE ('', *, *, #910, .T.);
#9310 = ORIENTED_EDGE ('', *, *, #6850, .T.);
#9320 = ORIENTED_EDGE ('', *, *, #9190, .F.);
#9330 = CARTESIAN_POINT ('', (-3.45807976541676, -6.00000000000001, 5.72323542860148));
#9340 = CARTESIAN_POINT ('', (-3.45807976541674, -3.9, 5.72323542860148));
#9350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9330, #9340), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9360 = EDGE_CURVE ('', #4380, #9100, #9350, .T.);
#9370 = ORIENTED_EDGE ('', *, *, #9360, .F.);
#9380 = ORIENTED_EDGE ('', *, *, #4420, .T.);
#9390 = ORIENTED_EDGE ('', *, *, #1320, .F.);
#9400 = ORIENTED_EDGE ('', *, *, #1080, .F.);
#9410 = EDGE_LOOP ('', (#9290, #9300, #9310, #9320, #9370, #9380, #9390, #9400));
#9420 = FACE_OUTER_BOUND ('', #9410, .T.);
#9430 = CARTESIAN_POINT ('', (-3.45914448600161, -6.00100000000001, 5.72316097608537));
#9440 = CARTESIAN_POINT ('', (-3.45914448600161, -3.899, 5.72316097608537));
#9450 = CARTESIAN_POINT ('', (19.0010647205849, -6.00100000000001, 7.29373180148609));
#9460 = CARTESIAN_POINT ('', (19.0010647205849, -3.89900000000001, 7.29373180148609));
#9470 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9430, #9440), (#9450, #9460)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-13.001067320524, 9.51398742782672), (-2.101, 0.00099999999999989), .UNSPECIFIED.);
#9480 = ADVANCED_FACE ('', (#9420), #9470, .T.);
#9490 = ORIENTED_EDGE ('', *, *, #9360, .T.);
#9500 = ORIENTED_EDGE ('', *, *, #9140, .F.);
#9510 = CARTESIAN_POINT ('', (-3.58224628868126, -3.9, 7.49889943806397));
#9520 = CARTESIAN_POINT ('', (-3.58224628868126, -6., 7.49889943806397));
#9530 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9510, #9520), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9540 = EDGE_CURVE ('', #9030, #4450, #9530, .T.);
#9550 = ORIENTED_EDGE ('', *, *, #9540, .T.);
#9560 = ORIENTED_EDGE ('', *, *, #4490, .T.);
#9570 = EDGE_LOOP ('', (#9490, #9500, #9550, #9560));
#9580 = FACE_OUTER_BOUND ('', #9570, .T.);
#9590 = CARTESIAN_POINT ('', (-3.58232074119736, -6.001, 7.49996415864882));
#9600 = CARTESIAN_POINT ('', (-3.58232074119736, -3.899, 7.49996415864882));
#9610 = CARTESIAN_POINT ('', (-3.45800531290062, -6.00100000000001, 5.72217070801663));
#9620 = CARTESIAN_POINT ('', (-3.45800531290062, -3.899, 5.72217070801663));
#9630 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9590, #9600), (#9610, #9620)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.448932679475997, 2.231067320524), (-2.101, 0.00099999999999989), .UNSPECIFIED.);
#9640 = ADVANCED_FACE ('', (#9580), #9630, .T.);
#9650 = ORIENTED_EDGE ('', *, *, #4560, .T.);
#9660 = ORIENTED_EDGE ('', *, *, #9540, .F.);
#9670 = ORIENTED_EDGE ('', *, *, #9070, .F.);
#9680 = CARTESIAN_POINT ('', (-5.07859236407106, -6., 7.39426472744779));
#9690 = CARTESIAN_POINT ('', (-5.07859236407106, -3.9, 7.39426472744778));
#9700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9680, #9690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9710 = EDGE_CURVE ('', #4520, #8960, #9700, .T.);
#9720 = ORIENTED_EDGE ('', *, *, #9710, .F.);
#9730 = EDGE_LOOP ('', (#9650, #9660, #9670, #9720));
#9740 = FACE_OUTER_BOUND ('', #9730, .T.);
#9750 = CARTESIAN_POINT ('', (-5.07965708465592, -6.001, 7.39419027493168));
#9760 = CARTESIAN_POINT ('', (-5.07965708465592, -3.899, 7.39419027493168));
#9770 = CARTESIAN_POINT ('', (-3.5811815680964, -6.001, 7.49897389058008));
#9780 = CARTESIAN_POINT ('', (-3.5811815680964, -3.899, 7.49897389058008));
#9790 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9750, #9760), (#9770, #9780)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.201067320524032, 1.30106732052406), (-2.101, 0.00099999999999989), .UNSPECIFIED.);
#9800 = ADVANCED_FACE ('', (#9740), #9790, .T.);
#9810 = ORIENTED_EDGE ('', *, *, #4630, .T.);
#9820 = ORIENTED_EDGE ('', *, *, #9710, .T.);
#9830 = ORIENTED_EDGE ('', *, *, #9000, .F.);
#9840 = CARTESIAN_POINT ('', (-5.32274002217542, -6., 10.8857389033572));
#9850 = CARTESIAN_POINT ('', (-5.32274002217542, -3.9, 10.8857389033572));
#9860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9840, #9850), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9870 = EDGE_CURVE ('', #4590, #8890, #9860, .T.);
#9880 = ORIENTED_EDGE ('', *, *, #9870, .F.);
#9890 = EDGE_LOOP ('', (#9810, #9820, #9830, #9880));
#9900 = FACE_OUTER_BOUND ('', #9890, .T.);
#9910 = CARTESIAN_POINT ('', (-5.32281447469153, -6.001, 10.886803623942));
#9920 = CARTESIAN_POINT ('', (-5.32281447469153, -3.899, 10.886803623942));
#9930 = CARTESIAN_POINT ('', (-5.07851791155495, -6.001, 7.39320000686293));
#9940 = CARTESIAN_POINT ('', (-5.07851791155495, -3.899, 7.39320000686293));
#9950 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9910, #9920), (#9930, #9940)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.70106732052401, 0.801067320523996), (-2.101, 0.00099999999999989), .UNSPECIFIED.);
#9960 = ADVANCED_FACE ('', (#9900), #9950, .T.);
#9970 = ORIENTED_EDGE ('', *, *, #4700, .T.);
#9980 = ORIENTED_EDGE ('', *, *, #9870, .T.);
#9990 = ORIENTED_EDGE ('', *, *, #8930, .F.);
#10000 = ORIENTED_EDGE ('', *, *, #7040, .T.);
#10010 = ORIENTED_EDGE ('', *, *, #5190, .F.);
#10020 = CARTESIAN_POINT ('', (14.5, -4.65, 12.2718799170928));
#10030 = CARTESIAN_POINT ('', (14.5, -5.85000000000001, 12.2718799170928));
#10040 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10020, #10030), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10050 = EDGE_CURVE ('', #5060, #6240, #10040, .T.);
#10060 = ORIENTED_EDGE ('', *, *, #10050, .T.);
#10070 = ORIENTED_EDGE ('', *, *, #6280, .T.);
#10080 = ORIENTED_EDGE ('', *, *, #8550, .T.);
#10090 = EDGE_LOOP ('', (#9970, #9980, #9990, #10000, #10010, #10060, #10070, #10080));
#10100 = FACE_OUTER_BOUND ('', #10090, .T.);
#10110 = CARTESIAN_POINT ('', (14.5010647205849, -6.00100000000001, 12.2719543696089));
#10120 = CARTESIAN_POINT ('', (14.5010647205849, -3.89900000000001, 12.2719543696089));
#10130 = CARTESIAN_POINT ('', (-5.32380474276029, -6.001, 10.8856644508411));
#10140 = CARTESIAN_POINT ('', (-5.32380474276029, -3.899, 10.8856644508411));
#10150 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10110, #10120), (#10130, #10140)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-5.22576239712035, 14.6475173769268), (-2.101, 0.00099999999999989), .UNSPECIFIED.);
#10160 = ADVANCED_FACE ('', (#10100), #10150, .T.);
#10170 = ORIENTED_EDGE ('', *, *, #10050, .F.);
#10180 = ORIENTED_EDGE ('', *, *, #5120, .T.);
#10190 = CARTESIAN_POINT ('', (13.5, -4.65, 13.2718799170928));
#10200 = CARTESIAN_POINT ('', (13.5, -5.85000000000001, 13.2718799170928));
#10210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10190, #10200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10220 = EDGE_CURVE ('', #5080, #6310, #10210, .T.);
#10230 = ORIENTED_EDGE ('', *, *, #10220, .T.);
#10240 = ORIENTED_EDGE ('', *, *, #6350, .T.);
#10250 = EDGE_LOOP ('', (#10170, #10180, #10230, #10240));
#10260 = FACE_OUTER_BOUND ('', #10250, .T.);
#10270 = CARTESIAN_POINT ('', (13.499, -5.85100000000001, 13.2728799170928));
#10280 = CARTESIAN_POINT ('', (13.499, -4.64900000000001, 13.2728799170928));
#10290 = CARTESIAN_POINT ('', (14.501, -5.85100000000001, 12.2708799170928));
#10300 = CARTESIAN_POINT ('', (14.501, -4.64900000000001, 12.2708799170928));
#10310 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10270, #10280), (#10290, #10300)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141421356238425, 1.41562777593548), (-1.851, -0.649), .UNSPECIFIED.);
#10320 = ADVANCED_FACE ('', (#10260), #10310, .T.);
#10330 = ORIENTED_EDGE ('', *, *, #5450, .T.);
#10340 = ORIENTED_EDGE ('', *, *, #3580, .T.);
#10350 = ORIENTED_EDGE ('', *, *, #4820, .T.);
#10360 = ORIENTED_EDGE ('', *, *, #8630, .F.);
#10370 = ORIENTED_EDGE ('', *, *, #6400, .T.);
#10380 = ORIENTED_EDGE ('', *, *, #10220, .F.);
#10390 = EDGE_LOOP ('', (#10330, #10340, #10350, #10360, #10370, #10380));
#10400 = FACE_OUTER_BOUND ('', #10390, .T.);
#10410 = CARTESIAN_POINT ('', (7.90754899076924, -6.001, 16.5006830127019));
#10420 = CARTESIAN_POINT ('', (7.90754899076924, -4.64900000000001, 16.5006830127019));
#10430 = CARTESIAN_POINT ('', (13.5011830127018, -6.00100000000001, 13.2711969043909));
#10440 = CARTESIAN_POINT ('', (13.5011830127018, -4.64900000000001, 13.2711969043909));
#10450 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10410, #10420), (#10430, #10440)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00136602540379727, 6.45760619121825), (-2.001, -0.649), .UNSPECIFIED.);
#10460 = ADVANCED_FACE ('', (#10400), #10450, .T.);
#10470 = ORIENTED_EDGE ('', *, *, #4260, .F.);
#10480 = ORIENTED_EDGE ('', *, *, #2940, .F.);
#10490 = ORIENTED_EDGE ('', *, *, #4900, .F.);
#10500 = ORIENTED_EDGE ('', *, *, #3240, .F.);
#10510 = EDGE_LOOP ('', (#10470, #10480, #10490, #10500));
#10520 = FACE_OUTER_BOUND ('', #10510, .T.);
#10530 = CARTESIAN_POINT ('', (-0.997326987978937, -7.2012, 13.));
#10540 = CARTESIAN_POINT ('', (-0.997326987978937, 7.2012, 13.));
#10550 = CARTESIAN_POINT ('', (-0.997326987978923, -7.2012, 12.));
#10560 = CARTESIAN_POINT ('', (-0.997326987978923, 7.20119999999999, 12.));
#10570 = CARTESIAN_POINT ('', (0.00267301202107717, -7.2012, 12.));
#10580 = CARTESIAN_POINT ('', (0.00267301202107717, 7.2012, 12.));
#10590 = CARTESIAN_POINT ('', (1.00267301202108, -7.2012, 12.));
#10600 = CARTESIAN_POINT ('', (1.00267301202108, 7.20119999999999, 12.));
#10610 = CARTESIAN_POINT ('', (1.00267301202106, -7.2012, 13.));
#10620 = CARTESIAN_POINT ('', (1.00267301202106, 7.2012, 13.));
#10630 = CARTESIAN_POINT ('', (1.00267301202105, -7.2012, 14.));
#10640 = CARTESIAN_POINT ('', (1.00267301202105, 7.20119999999999, 14.));
#10650 = CARTESIAN_POINT ('', (0.00267301202104875, -7.2012, 14.));
#10660 = CARTESIAN_POINT ('', (0.00267301202104875, 7.2012, 14.));
#10670 = CARTESIAN_POINT ('', (-0.997326987978951, -7.2012, 14.));
#10680 = CARTESIAN_POINT ('', (-0.997326987978951, 7.20119999999999, 14.));
#10690 = CARTESIAN_POINT ('', (-0.997326987978937, -7.2012, 13.));
#10700 = CARTESIAN_POINT ('', (-0.997326987978937, 7.2012, 13.));
#10710 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#10530, #10540), (#10550, #10560), (#10570, #10580), (#10590, #10600), (#10610, #10620), (#10630, #10640), (#10650, #10660), (#10670, #10680), (#10690, #10700)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.249999999999999, 0.500000000000001, 0.750000000000001, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#10720 = ADVANCED_FACE ('', (#10520), #10710, .T.);
#10730 = CLOSED_SHELL ('', (#790, #1010, #1230, #2250, #2530, #2810, #3090, #3450, #3960, #4360, #5040, #5540, #5910, #6130, #6490, #6650, #7900, #8220, #8480, #8860, #9280, #9480, #9640, #9800, #9960, #10160, #10320, #10460, #10720));
#10740 = MANIFOLD_SOLID_BREP ('NOCUT', #10730);
#10750 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#10760 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#10770 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#10780 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #10750, 'DISTANCE_ACCURACY_VALUE', '');
#10790 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#10780))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#10750, #10760, #10770))
   REPRESENTATION_CONTEXT ('', '3D')
);
#10800 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#10810 = FILL_AREA_STYLE_COLOUR ('', #10800);
#10820 = FILL_AREA_STYLE ('', (#10810));
#10830 = SURFACE_STYLE_FILL_AREA (#10820);
#10840 = SURFACE_SIDE_STYLE ('', (#10830));
#10850 = SURFACE_STYLE_USAGE (.POSITIVE., #10840);
#10860 = PRESENTATION_STYLE_ASSIGNMENT ((#10850));
#10870 = STYLED_ITEM ('', (#10860), #10740);
#10880 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#10740), #10790);
#10890 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#10900 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #10890);
#10910 = MECHANICAL_CONTEXT ('', #10890, 'mechanical');
#10920 = PRODUCT ('NONE', '', '', (#10910));
#10930 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#10940 = PERSON ('', '', $, $, $, $);
#10950 = ORGANIZATION ($, '', '');
#10960 = PERSON_AND_ORGANIZATION (#10940, #10950);
#10970 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10960, #10930, (#10920));
#10980 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#10920));
#10990 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #10920, .NOT_KNOWN.);
#11000 = APPROVAL_STATUS ('approved');
#11010 = APPROVAL (#11000, '');
#11020 = CALENDAR_DATE (2017, 13, 2);
#11030 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#11040 = LOCAL_TIME (13, 33, 43., #11030);
#11050 = DATE_AND_TIME (#11020, #11040);
#11060 = APPROVAL_DATE_TIME (#11050, #11010);
#11070 = APPROVAL_ROLE ('');
#11080 = PERSON ('', '', $, $, $, $);
#11090 = ORGANIZATION ($, '', '');
#11100 = PERSON_AND_ORGANIZATION (#11080, #11090);
#11110 = APPROVAL_PERSON_ORGANIZATION (#11100, #11010, #11070);
#11120 = CC_DESIGN_APPROVAL (#11010, (#10990));
#11130 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#11140 = PERSON ('', '', $, $, $, $);
#11150 = ORGANIZATION ($, '', '');
#11160 = PERSON_AND_ORGANIZATION (#11140, #11150);
#11170 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#11160, #11130, (#10990));
#11180 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#11190 = PERSON ('', '', $, $, $, $);
#11200 = ORGANIZATION ($, '', '');
#11210 = PERSON_AND_ORGANIZATION (#11190, #11200);
#11220 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#11210, #11180, (#10990));
#11230 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#11240 = SECURITY_CLASSIFICATION ('', '', #11230);
#11250 = APPROVAL_STATUS ('approved');
#11260 = APPROVAL (#11250, '');
#11270 = CALENDAR_DATE (2017, 13, 2);
#11280 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#11290 = LOCAL_TIME (13, 33, 43., #11280);
#11300 = DATE_AND_TIME (#11270, #11290);
#11310 = APPROVAL_DATE_TIME (#11300, #11260);
#11320 = APPROVAL_ROLE ('');
#11330 = PERSON ('', '', $, $, $, $);
#11340 = ORGANIZATION ($, '', '');
#11350 = PERSON_AND_ORGANIZATION (#11330, #11340);
#11360 = APPROVAL_PERSON_ORGANIZATION (#11350, #11260, #11320);
#11370 = CC_DESIGN_APPROVAL (#11260, (#11240));
#11380 = DATE_TIME_ROLE ('classification_date');
#11390 = CALENDAR_DATE (2017, 13, 2);
#11400 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#11410 = LOCAL_TIME (13, 33, 43., #11400);
#11420 = DATE_AND_TIME (#11390, #11410);
#11430 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#11420, #11380, (#11240));
#11440 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#11450 = PERSON ('', '', $, $, $, $);
#11460 = ORGANIZATION ($, '', '');
#11470 = PERSON_AND_ORGANIZATION (#11450, #11460);
#11480 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#11470, #11440, (#11240));
#11490 = CC_DESIGN_SECURITY_CLASSIFICATION (#11240, (#10990));
#11500 = DESIGN_CONTEXT ('', #10890, 'design');
#11510 = PRODUCT_DEFINITION ('', '', #10990, #11500);
#11520 = APPROVAL_STATUS ('approved');
#11530 = APPROVAL (#11520, '');
#11540 = CALENDAR_DATE (2017, 13, 2);
#11550 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#11560 = LOCAL_TIME (13, 33, 43., #11550);
#11570 = DATE_AND_TIME (#11540, #11560);
#11580 = APPROVAL_DATE_TIME (#11570, #11530);
#11590 = APPROVAL_ROLE ('');
#11600 = PERSON ('', '', $, $, $, $);
#11610 = ORGANIZATION ($, '', '');
#11620 = PERSON_AND_ORGANIZATION (#11600, #11610);
#11630 = APPROVAL_PERSON_ORGANIZATION (#11620, #11530, #11590);
#11640 = CC_DESIGN_APPROVAL (#11530, (#11510));
#11650 = DATE_TIME_ROLE ('creation_date');
#11660 = CALENDAR_DATE (2017, 13, 2);
#11670 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#11680 = LOCAL_TIME (13, 33, 43., #11670);
#11690 = DATE_AND_TIME (#11660, #11680);
#11700 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#11690, #11650, (#11510));
#11710 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#11720 = PERSON ('', '', $, $, $, $);
#11730 = ORGANIZATION ($, '', '');
#11740 = PERSON_AND_ORGANIZATION (#11720, #11730);
#11750 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#11740, #11710, (#11510));
#11760 = PRODUCT_DEFINITION_SHAPE ('', '', #11510);
#11770 = SHAPE_DEFINITION_REPRESENTATION (#11760, #10880);
#11780 = CARTESIAN_POINT ('', (19.1869852570044, -4.65, 7.30154367623982));
#11790 = VERTEX_POINT ('', #11780);
#11800 = CARTESIAN_POINT ('', (-3.45771868389366, -4.65, 5.71807172224833));
#11810 = VERTEX_POINT ('', #11800);
#11820 = CARTESIAN_POINT ('', (19.1869852570044, -4.65, 7.30154367623982));
#11830 = CARTESIAN_POINT ('', (-3.45771868389367, -4.65, 5.71807172224833));
#11840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11820, #11830), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11850 = EDGE_CURVE ('', #11790, #11810, #11840, .T.);
#11860 = ORIENTED_EDGE ('', *, *, #11850, .T.);
#11870 = CARTESIAN_POINT ('', (-3.65848598413268, -4.65, 8.58917787822795));
#11880 = VERTEX_POINT ('', #11870);
#11890 = CARTESIAN_POINT ('', (-3.45771868389366, -4.65, 5.71807172224833));
#11900 = CARTESIAN_POINT ('', (-3.65848598413268, -4.65, 8.58917787822795));
#11910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11890, #11900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11920 = EDGE_CURVE ('', #11810, #11880, #11910, .T.);
#11930 = ORIENTED_EDGE ('', *, *, #11920, .T.);
#11940 = CARTESIAN_POINT ('', (-0.801974053068605, -4.65000000000001, 6.10604994014011));
#11950 = VERTEX_POINT ('', #11940);
#11960 = CARTESIAN_POINT ('', (-3.65848598413268, -4.65, 8.58917787822795));
#11970 = CARTESIAN_POINT ('', (-0.801974053068605, -4.65000000000001, 6.10604994014011));
#11980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11960, #11970), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11990 = EDGE_CURVE ('', #11880, #11950, #11980, .T.);
#12000 = ORIENTED_EDGE ('', *, *, #11990, .T.);
#12010 = CARTESIAN_POINT ('', (-1.46764298133361, -4.65, 10.8425304774494));
#12020 = VERTEX_POINT ('', #12010);
#12030 = CARTESIAN_POINT ('', (-0.801974053068605, -4.65000000000001, 6.10604994014011));
#12040 = CARTESIAN_POINT ('', (-1.46764298133361, -4.65, 10.8425304774494));
#12050 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12030, #12040), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12060 = EDGE_CURVE ('', #11950, #12020, #12050, .T.);
#12070 = ORIENTED_EDGE ('', *, *, #12060, .T.);
#12080 = CARTESIAN_POINT ('', (-2.10563461182791, -4.65, 10.7528666011666));
#12090 = VERTEX_POINT ('', #12080);
#12100 = CARTESIAN_POINT ('', (-1.46764298133361, -4.65, 10.8425304774494));
#12110 = CARTESIAN_POINT ('', (-2.10563461182791, -4.65, 10.7528666011666));
#12120 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12100, #12110), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12130 = EDGE_CURVE ('', #12020, #12090, #12120, .T.);
#12140 = ORIENTED_EDGE ('', *, *, #12130, .T.);
#12150 = CARTESIAN_POINT ('', (-1.82098812321811, -4.65, 11.1306052498686));
#12160 = VERTEX_POINT ('', #12150);
#12170 = CARTESIAN_POINT ('', (-2.10563461182791, -4.65, 10.7528666011666));
#12180 = CARTESIAN_POINT ('', (-1.82098812321811, -4.65, 11.1306052498686));
#12190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12170, #12180), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12200 = EDGE_CURVE ('', #12090, #12160, #12190, .T.);
#12210 = ORIENTED_EDGE ('', *, *, #12200, .T.);
#12220 = CARTESIAN_POINT ('', (16.8129041705447, -4.65000000000001, 12.4336139320701));
#12230 = VERTEX_POINT ('', #12220);
#12240 = CARTESIAN_POINT ('', (16.8129041705447, -4.65000000000001, 12.4336139320701));
#12250 = CARTESIAN_POINT ('', (-1.82098812321811, -4.65, 11.1306052498686));
#12260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12240, #12250), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12270 = EDGE_CURVE ('', #12230, #12160, #12260, .T.);
#12280 = ORIENTED_EDGE ('', *, *, #12270, .F.);
#12290 = CARTESIAN_POINT ('', (17.1473515581867, -4.65000000000001, 12.0991665444281));
#12300 = VERTEX_POINT ('', #12290);
#12310 = CARTESIAN_POINT ('', (17.1473515581867, -4.65000000000001, 12.0991665444281));
#12320 = CARTESIAN_POINT ('', (16.8129041705447, -4.65000000000001, 12.4336139320701));
#12330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12310, #12320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12340 = EDGE_CURVE ('', #12300, #12230, #12330, .T.);
#12350 = ORIENTED_EDGE ('', *, *, #12340, .F.);
#12360 = CARTESIAN_POINT ('', (16.5030900186775, -4.65000000000001, 12.0991665444281));
#12370 = VERTEX_POINT ('', #12360);
#12380 = CARTESIAN_POINT ('', (16.5030900186775, -4.65000000000001, 12.0991665444281));
#12390 = CARTESIAN_POINT ('', (17.1473515581867, -4.65000000000001, 12.0991665444281));
#12400 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12380, #12390), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12410 = EDGE_CURVE ('', #12370, #12300, #12400, .T.);
#12420 = ORIENTED_EDGE ('', *, *, #12410, .F.);
#12430 = CARTESIAN_POINT ('', (16.5030900186775, -4.65000000000001, 7.31613790115538));
#12440 = VERTEX_POINT ('', #12430);
#12450 = CARTESIAN_POINT ('', (16.5030900186775, -4.65000000000001, 7.31613790115538));
#12460 = CARTESIAN_POINT ('', (16.5030900186775, -4.65000000000001, 12.0991665444281));
#12470 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12450, #12460), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12480 = EDGE_CURVE ('', #12440, #12370, #12470, .T.);
#12490 = ORIENTED_EDGE ('', *, *, #12480, .F.);
#12500 = CARTESIAN_POINT ('', (18.9862179567653, -4.65000000000001, 10.1726498322194));
#12510 = VERTEX_POINT ('', #12500);
#12520 = CARTESIAN_POINT ('', (18.9862179567653, -4.65000000000001, 10.1726498322194));
#12530 = CARTESIAN_POINT ('', (16.5030900186775, -4.65000000000001, 7.31613790115538));
#12540 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12520, #12530), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12550 = EDGE_CURVE ('', #12510, #12440, #12540, .T.);
#12560 = ORIENTED_EDGE ('', *, *, #12550, .F.);
#12570 = CARTESIAN_POINT ('', (19.1869852570044, -4.65, 7.30154367623982));
#12580 = CARTESIAN_POINT ('', (18.9862179567653, -4.65000000000001, 10.1726498322194));
#12590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12570, #12580), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12600 = EDGE_CURVE ('', #11790, #12510, #12590, .T.);
#12610 = ORIENTED_EDGE ('', *, *, #12600, .F.);
#12620 = EDGE_LOOP ('', (#11860, #11930, #12000, #12070, #12140, #12210, #12280, #12350, #12420, #12490, #12560, #12610));
#12630 = FACE_OUTER_BOUND ('', #12620, .T.);
#12640 = CARTESIAN_POINT ('', (19.1880525775284, -4.65000000000001, 7.30061586866331));
#12650 = CARTESIAN_POINT ('', (18.8192378016888, -4.65000000000001, 12.5749128884891));
#12660 = CARTESIAN_POINT ('', (-3.45864649147018, -4.65000000000001, 5.71700440172433));
#12670 = CARTESIAN_POINT ('', (-3.82746126730973, -4.65, 10.9913014215501));
#12680 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12640, #12650), (#12660, #12670)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-23.351, -0.648999999999999), (0.084485871980633, 5.37166218757869), .UNSPECIFIED.);
#12690 = ADVANCED_FACE ('', (#12630), #12680, .T.);
#12700 = CARTESIAN_POINT ('', (-1.82098812321811, -5.85000000000001, 11.1306052498686));
#12710 = VERTEX_POINT ('', #12700);
#12720 = CARTESIAN_POINT ('', (16.8129041705447, -5.85000000000001, 12.4336139320701));
#12730 = VERTEX_POINT ('', #12720);
#12740 = CARTESIAN_POINT ('', (-1.82098812321811, -5.85000000000001, 11.1306052498686));
#12750 = CARTESIAN_POINT ('', (16.8129041705447, -5.85000000000001, 12.4336139320701));
#12760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12740, #12750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12770 = EDGE_CURVE ('', #12710, #12730, #12760, .T.);
#12780 = ORIENTED_EDGE ('', *, *, #12770, .F.);
#12790 = CARTESIAN_POINT ('', (-2.10563461182791, -5.85000000000001, 10.7528666011666));
#12800 = VERTEX_POINT ('', #12790);
#12810 = CARTESIAN_POINT ('', (-1.82098812321811, -5.85000000000001, 11.1306052498686));
#12820 = CARTESIAN_POINT ('', (-2.10563461182791, -5.85000000000001, 10.7528666011666));
#12830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12810, #12820), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12840 = EDGE_CURVE ('', #12710, #12800, #12830, .T.);
#12850 = ORIENTED_EDGE ('', *, *, #12840, .T.);
#12860 = CARTESIAN_POINT ('', (-1.46764298133361, -5.85000000000001, 10.8425304774494));
#12870 = VERTEX_POINT ('', #12860);
#12880 = CARTESIAN_POINT ('', (-1.46764298133361, -5.85000000000001, 10.8425304774494));
#12890 = CARTESIAN_POINT ('', (-2.10563461182791, -5.85000000000001, 10.7528666011666));
#12900 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12880, #12890), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12910 = EDGE_CURVE ('', #12870, #12800, #12900, .T.);
#12920 = ORIENTED_EDGE ('', *, *, #12910, .F.);
#12930 = CARTESIAN_POINT ('', (-0.801974053068605, -5.85000000000001, 6.10604994014011));
#12940 = VERTEX_POINT ('', #12930);
#12950 = CARTESIAN_POINT ('', (-0.801974053068605, -5.85000000000001, 6.10604994014011));
#12960 = CARTESIAN_POINT ('', (-1.46764298133361, -5.85000000000001, 10.8425304774494));
#12970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12950, #12960), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12980 = EDGE_CURVE ('', #12940, #12870, #12970, .T.);
#12990 = ORIENTED_EDGE ('', *, *, #12980, .F.);
#13000 = CARTESIAN_POINT ('', (-3.6584859841327, -5.85000000000001, 8.58917787822795));
#13010 = VERTEX_POINT ('', #13000);
#13020 = CARTESIAN_POINT ('', (-3.6584859841327, -5.85000000000001, 8.58917787822796));
#13030 = CARTESIAN_POINT ('', (-0.801974053068605, -5.85000000000001, 6.10604994014011));
#13040 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13020, #13030), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13050 = EDGE_CURVE ('', #13010, #12940, #13040, .T.);
#13060 = ORIENTED_EDGE ('', *, *, #13050, .F.);
#13070 = CARTESIAN_POINT ('', (-3.45771868389366, -5.85000000000001, 5.71807172224833));
#13080 = VERTEX_POINT ('', #13070);
#13090 = CARTESIAN_POINT ('', (-3.45771868389366, -5.85000000000001, 5.71807172224833));
#13100 = CARTESIAN_POINT ('', (-3.6584859841327, -5.85000000000001, 8.58917787822796));
#13110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13090, #13100), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13120 = EDGE_CURVE ('', #13080, #13010, #13110, .T.);
#13130 = ORIENTED_EDGE ('', *, *, #13120, .F.);
#13140 = CARTESIAN_POINT ('', (19.1869852570044, -5.85000000000001, 7.30154367623982));
#13150 = VERTEX_POINT ('', #13140);
#13160 = CARTESIAN_POINT ('', (19.1869852570044, -5.85000000000001, 7.30154367623982));
#13170 = CARTESIAN_POINT ('', (-3.45771868389367, -5.85000000000001, 5.71807172224833));
#13180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13160, #13170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13190 = EDGE_CURVE ('', #13150, #13080, #13180, .T.);
#13200 = ORIENTED_EDGE ('', *, *, #13190, .F.);
#13210 = CARTESIAN_POINT ('', (18.9862179567653, -5.85000000000001, 10.1726498322194));
#13220 = VERTEX_POINT ('', #13210);
#13230 = CARTESIAN_POINT ('', (19.1869852570044, -5.85000000000001, 7.30154367623982));
#13240 = CARTESIAN_POINT ('', (18.9862179567653, -5.85000000000001, 10.1726498322194));
#13250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13230, #13240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13260 = EDGE_CURVE ('', #13150, #13220, #13250, .T.);
#13270 = ORIENTED_EDGE ('', *, *, #13260, .T.);
#13280 = CARTESIAN_POINT ('', (16.5030900186775, -5.85000000000001, 7.31613790115538));
#13290 = VERTEX_POINT ('', #13280);
#13300 = CARTESIAN_POINT ('', (18.9862179567653, -5.85000000000001, 10.1726498322194));
#13310 = CARTESIAN_POINT ('', (16.5030900186775, -5.85000000000001, 7.31613790115538));
#13320 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13300, #13310), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13330 = EDGE_CURVE ('', #13220, #13290, #13320, .T.);
#13340 = ORIENTED_EDGE ('', *, *, #13330, .T.);
#13350 = CARTESIAN_POINT ('', (16.5030900186775, -5.85000000000001, 12.0991665444281));
#13360 = VERTEX_POINT ('', #13350);
#13370 = CARTESIAN_POINT ('', (16.5030900186775, -5.85000000000001, 7.31613790115538));
#13380 = CARTESIAN_POINT ('', (16.5030900186775, -5.85000000000001, 12.0991665444281));
#13390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13370, #13380), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13400 = EDGE_CURVE ('', #13290, #13360, #13390, .T.);
#13410 = ORIENTED_EDGE ('', *, *, #13400, .T.);
#13420 = CARTESIAN_POINT ('', (17.1473515581867, -5.85000000000001, 12.0991665444281));
#13430 = VERTEX_POINT ('', #13420);
#13440 = CARTESIAN_POINT ('', (16.5030900186775, -5.85000000000001, 12.0991665444281));
#13450 = CARTESIAN_POINT ('', (17.1473515581867, -5.85000000000001, 12.0991665444281));
#13460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13440, #13450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13470 = EDGE_CURVE ('', #13360, #13430, #13460, .T.);
#13480 = ORIENTED_EDGE ('', *, *, #13470, .T.);
#13490 = CARTESIAN_POINT ('', (16.8129041705447, -5.85000000000001, 12.4336139320701));
#13500 = CARTESIAN_POINT ('', (17.1473515581867, -5.85000000000001, 12.0991665444281));
#13510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13490, #13500), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13520 = EDGE_CURVE ('', #12730, #13430, #13510, .T.);
#13530 = ORIENTED_EDGE ('', *, *, #13520, .F.);
#13540 = EDGE_LOOP ('', (#12780, #12850, #12920, #12990, #13060, #13130, #13200, #13270, #13340, #13410, #13480, #13530));
#13550 = FACE_OUTER_BOUND ('', #13540, .T.);
#13560 = CARTESIAN_POINT ('', (-3.45864649147018, -5.85000000000001, 5.71700440172433));
#13570 = CARTESIAN_POINT ('', (-3.82746126730973, -5.85000000000001, 10.9913014215501));
#13580 = CARTESIAN_POINT ('', (19.1880525775284, -5.85000000000001, 7.30061586866331));
#13590 = CARTESIAN_POINT ('', (18.8192378016888, -5.85000000000001, 12.5749128884891));
#13600 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13560, #13570), (#13580, #13590)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.648999999999997, 23.351), (0.084485871980633, 5.37166218757869), .UNSPECIFIED.);
#13610 = ADVANCED_FACE ('', (#13550), #13600, .T.);
#13620 = ORIENTED_EDGE ('', *, *, #13190, .T.);
#13630 = CARTESIAN_POINT ('', (-3.45771868389366, -5.85000000000001, 5.71807172224833));
#13640 = CARTESIAN_POINT ('', (-3.45771868389366, -4.65, 5.71807172224833));
#13650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13630, #13640), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13660 = EDGE_CURVE ('', #13080, #11810, #13650, .T.);
#13670 = ORIENTED_EDGE ('', *, *, #13660, .T.);
#13680 = ORIENTED_EDGE ('', *, *, #11850, .F.);
#13690 = CARTESIAN_POINT ('', (19.1869852570044, -5.85000000000001, 7.30154367623982));
#13700 = CARTESIAN_POINT ('', (19.1869852570044, -4.65, 7.30154367623982));
#13710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13690, #13700), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13720 = EDGE_CURVE ('', #13150, #11790, #13710, .T.);
#13730 = ORIENTED_EDGE ('', *, *, #13720, .F.);
#13740 = EDGE_LOOP ('', (#13620, #13670, #13680, #13730));
#13750 = FACE_OUTER_BOUND ('', #13740, .T.);
#13760 = CARTESIAN_POINT ('', (19.1879828210546, -5.85100000000001, 7.30161343271357));
#13770 = CARTESIAN_POINT ('', (19.1879828210546, -4.649, 7.30161343271357));
#13780 = CARTESIAN_POINT ('', (-3.45871624794393, -5.85100000000001, 5.71800196577459));
#13790 = CARTESIAN_POINT ('', (-3.45871624794393, -4.649, 5.71800196577459));
#13800 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13760, #13770), (#13780, #13790)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00609604587969415, 22.7080960458797), (-7.351, -6.149), .UNSPECIFIED.);
#13810 = ADVANCED_FACE ('', (#13750), #13800, .T.);
#13820 = ORIENTED_EDGE ('', *, *, #12270, .T.);
#13830 = CARTESIAN_POINT ('', (-1.82098812321811, -4.65, 11.1306052498686));
#13840 = CARTESIAN_POINT ('', (-1.82098812321811, -5.85000000000001, 11.1306052498686));
#13850 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13830, #13840), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13860 = EDGE_CURVE ('', #12160, #12710, #13850, .T.);
#13870 = ORIENTED_EDGE ('', *, *, #13860, .T.);
#13880 = ORIENTED_EDGE ('', *, *, #12770, .T.);
#13890 = CARTESIAN_POINT ('', (16.8129041705447, -4.65000000000001, 12.4336139320701));
#13900 = CARTESIAN_POINT ('', (16.8129041705447, -5.85000000000001, 12.4336139320701));
#13910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13890, #13900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13920 = EDGE_CURVE ('', #12230, #12730, #13910, .T.);
#13930 = ORIENTED_EDGE ('', *, *, #13920, .F.);
#13940 = EDGE_LOOP ('', (#13820, #13870, #13880, #13930));
#13950 = FACE_OUTER_BOUND ('', #13940, .T.);
#13960 = CARTESIAN_POINT ('', (-1.82198568726838, -5.85100000000001, 11.1305354933949));
#13970 = CARTESIAN_POINT ('', (-1.82198568726838, -4.64900000000001, 11.1305354933949));
#13980 = CARTESIAN_POINT ('', (16.813901734595, -5.85100000000001, 12.4336836885438));
#13990 = CARTESIAN_POINT ('', (16.813901734595, -4.64900000000001, 12.4336836885438));
#14000 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13960, #13970), (#13980, #13990)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-21.1873521692576, -2.50595780965787), (-7.351, -6.149), .UNSPECIFIED.);
#14010 = ADVANCED_FACE ('', (#13950), #14000, .T.);
#14020 = ORIENTED_EDGE ('', *, *, #12340, .T.);
#14030 = ORIENTED_EDGE ('', *, *, #13920, .T.);
#14040 = ORIENTED_EDGE ('', *, *, #13520, .T.);
#14050 = CARTESIAN_POINT ('', (17.1473515581867, -5.85000000000001, 12.0991665444281));
#14060 = CARTESIAN_POINT ('', (17.1473515581867, -4.65000000000001, 12.0991665444281));
#14070 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14050, #14060), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14080 = EDGE_CURVE ('', #13430, #12300, #14070, .T.);
#14090 = ORIENTED_EDGE ('', *, *, #14080, .T.);
#14100 = EDGE_LOOP ('', (#14020, #14030, #14040, #14090));
#14110 = FACE_OUTER_BOUND ('', #14100, .T.);
#14120 = CARTESIAN_POINT ('', (16.8119066064944, -5.85100000000001, 12.4346114961204));
#14130 = CARTESIAN_POINT ('', (16.8119066064944, -4.64900000000001, 12.4346114961204));
#14140 = CARTESIAN_POINT ('', (17.148349122237, -5.85100000000001, 12.0981689803778));
#14150 = CARTESIAN_POINT ('', (17.148349122237, -4.64900000000001, 12.0981689803778));
#14160 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14120, #14130), (#14140, #14150)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141076860921263, 0.474390800112801), (2.7355565213596, 3.9375565213596), .UNSPECIFIED.);
#14170 = ADVANCED_FACE ('', (#14110), #14160, .T.);
#14180 = ORIENTED_EDGE ('', *, *, #14080, .F.);
#14190 = ORIENTED_EDGE ('', *, *, #13470, .F.);
#14200 = CARTESIAN_POINT ('', (19.5030900186775, -6.00000000000001, 12.0991665444281));
#14210 = VERTEX_POINT ('', #14200);
#14220 = CARTESIAN_POINT ('', (19.5030900186775, -6.00000000000001, 12.0991665444281));
#14230 = CARTESIAN_POINT ('', (16.5030900186775, -5.85000000000001, 12.0991665444281));
#14240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14220, #14230), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14250 = EDGE_CURVE ('', #14210, #13360, #14240, .T.);
#14260 = ORIENTED_EDGE ('', *, *, #14250, .F.);
#14270 = CARTESIAN_POINT ('', (19.5030900186775, -4.50000000000001, 12.0991665444281));
#14280 = VERTEX_POINT ('', #14270);
#14290 = CARTESIAN_POINT ('', (19.5030900186775, -6.00000000000001, 12.0991665444281));
#14300 = CARTESIAN_POINT ('', (19.5030900186775, -4.50000000000001, 12.0991665444281));
#14310 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14290, #14300), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14320 = EDGE_CURVE ('', #14210, #14280, #14310, .T.);
#14330 = ORIENTED_EDGE ('', *, *, #14320, .T.);
#14340 = CARTESIAN_POINT ('', (19.5030900186775, -4.50000000000001, 12.0991665444281));
#14350 = CARTESIAN_POINT ('', (16.5030900186775, -4.65000000000001, 12.0991665444281));
#14360 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14340, #14350), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14370 = EDGE_CURVE ('', #14280, #12370, #14360, .T.);
#14380 = ORIENTED_EDGE ('', *, *, #14370, .T.);
#14390 = ORIENTED_EDGE ('', *, *, #12410, .T.);
#14400 = EDGE_LOOP ('', (#14180, #14190, #14260, #14330, #14380, #14390));
#14410 = FACE_OUTER_BOUND ('', #14400, .T.);
#14420 = CARTESIAN_POINT ('', (16.5020226981535, -6.00100000000001, 12.0991665444281));
#14430 = CARTESIAN_POINT ('', (16.5020226981535, -4.49900000000001, 12.0991665444281));
#14440 = CARTESIAN_POINT ('', (19.5041573392015, -6.00100000000001, 12.0991665444281));
#14450 = CARTESIAN_POINT ('', (19.5041573392015, -4.49900000000001, 12.0991665444281));
#14460 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14420, #14430), (#14440, #14450)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052400638, 3.001067320524), (2.5855565213596, 4.0875565213596), .UNSPECIFIED.);
#14470 = ADVANCED_FACE ('', (#14410), #14460, .T.);
#14480 = CARTESIAN_POINT ('', (18.9862179567653, -5.85000000000001, 10.1726498322194));
#14490 = CARTESIAN_POINT ('', (18.9862179567653, -4.65000000000001, 10.1726498322194));
#14500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14480, #14490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14510 = EDGE_CURVE ('', #13220, #12510, #14500, .T.);
#14520 = ORIENTED_EDGE ('', *, *, #14510, .T.);
#14530 = ORIENTED_EDGE ('', *, *, #12550, .T.);
#14540 = CARTESIAN_POINT ('', (19.5030900186775, -4.50000000000001, 10.7672431228183));
#14550 = VERTEX_POINT ('', #14540);
#14560 = CARTESIAN_POINT ('', (16.5030900186775, -4.65000000000001, 7.31613790115538));
#14570 = CARTESIAN_POINT ('', (19.5030900186775, -4.50000000000001, 10.7672431228183));
#14580 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14560, #14570), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14590 = EDGE_CURVE ('', #12440, #14550, #14580, .T.);
#14600 = ORIENTED_EDGE ('', *, *, #14590, .T.);
#14610 = CARTESIAN_POINT ('', (19.5030900186775, -6.00000000000001, 10.7672431228183));
#14620 = VERTEX_POINT ('', #14610);
#14630 = CARTESIAN_POINT ('', (19.5030900186775, -6.00000000000001, 10.7672431228183));
#14640 = CARTESIAN_POINT ('', (19.5030900186775, -4.50000000000001, 10.7672431228183));
#14650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14630, #14640), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14660 = EDGE_CURVE ('', #14620, #14550, #14650, .T.);
#14670 = ORIENTED_EDGE ('', *, *, #14660, .F.);
#14680 = CARTESIAN_POINT ('', (16.5030900186775, -5.85000000000001, 7.31613790115538));
#14690 = CARTESIAN_POINT ('', (19.5030900186775, -6.00000000000001, 10.7672431228183));
#14700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14680, #14690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14710 = EDGE_CURVE ('', #13290, #14620, #14700, .T.);
#14720 = ORIENTED_EDGE ('', *, *, #14710, .F.);
#14730 = ORIENTED_EDGE ('', *, *, #13330, .F.);
#14740 = EDGE_LOOP ('', (#14520, #14530, #14600, #14670, #14720, #14730));
#14750 = FACE_OUTER_BOUND ('', #14740, .T.);
#14760 = CARTESIAN_POINT ('', (19.504017826254, -6.001, 10.7683104433423));
#14770 = CARTESIAN_POINT ('', (19.504017826254, -4.49900000000001, 10.7683104433423));
#14780 = CARTESIAN_POINT ('', (16.502162211101, -6.001, 7.31507058063138));
#14790 = CARTESIAN_POINT ('', (16.502162211101, -4.49900000000001, 7.31507058063138));
#14800 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14760, #14770), (#14780, #14790)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.7863296378782, 0.789258049363931), (33.649, 35.151), .UNSPECIFIED.);
#14810 = ADVANCED_FACE ('', (#14750), #14800, .T.);
#14820 = ORIENTED_EDGE ('', *, *, #13260, .F.);
#14830 = ORIENTED_EDGE ('', *, *, #13720, .T.);
#14840 = ORIENTED_EDGE ('', *, *, #12600, .T.);
#14850 = ORIENTED_EDGE ('', *, *, #14510, .F.);
#14860 = EDGE_LOOP ('', (#14820, #14830, #14840, #14850));
#14870 = FACE_OUTER_BOUND ('', #14860, .T.);
#14880 = CARTESIAN_POINT ('', (19.1870550134781, -5.85100000000001, 7.30054611218956));
#14890 = CARTESIAN_POINT ('', (18.9861482002916, -5.85100000000001, 10.1736473962697));
#14900 = CARTESIAN_POINT ('', (19.1870550134781, -4.64900000000001, 7.30054611218956));
#14910 = CARTESIAN_POINT ('', (18.9861482002916, -4.64900000000001, 10.1736473962697));
#14920 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14880, #14890), (#14900, #14910)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-35.001, -33.799), (0.120882895407253, 3.001), .UNSPECIFIED.);
#14930 = ADVANCED_FACE ('', (#14870), #14920, .T.);
#14940 = ORIENTED_EDGE ('', *, *, #14660, .T.);
#14950 = CARTESIAN_POINT ('', (19.5030900186775, -4.50000000000001, 10.7672431228183));
#14960 = CARTESIAN_POINT ('', (19.5030900186775, -4.50000000000001, 12.0991665444281));
#14970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14950, #14960), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14980 = EDGE_CURVE ('', #14550, #14280, #14970, .T.);
#14990 = ORIENTED_EDGE ('', *, *, #14980, .T.);
#15000 = ORIENTED_EDGE ('', *, *, #14320, .F.);
#15010 = CARTESIAN_POINT ('', (19.5030900186775, -6.00000000000001, 10.7672431228183));
#15020 = CARTESIAN_POINT ('', (19.5030900186775, -6.00000000000001, 12.0991665444281));
#15030 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15010, #15020), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15040 = EDGE_CURVE ('', #14620, #14210, #15030, .T.);
#15050 = ORIENTED_EDGE ('', *, *, #15040, .F.);
#15060 = EDGE_LOOP ('', (#14940, #14990, #15000, #15050));
#15070 = FACE_OUTER_BOUND ('', #15060, .T.);
#15080 = CARTESIAN_POINT ('', (19.5030900186775, -6.001, 12.1002338649521));
#15090 = CARTESIAN_POINT ('', (19.5030900186775, -4.49900000000001, 12.1002338649521));
#15100 = CARTESIAN_POINT ('', (19.5030900186775, -6.001, 10.7661758022943));
#15110 = CARTESIAN_POINT ('', (19.5030900186775, -4.49900000000001, 10.7661758022943));
#15120 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15080, #15090), (#15100, #15110)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.33299074213376, 0.00106732052400282), (33.649, 35.151), .UNSPECIFIED.);
#15130 = ADVANCED_FACE ('', (#15070), #15120, .T.);
#15140 = ORIENTED_EDGE ('', *, *, #14590, .F.);
#15150 = ORIENTED_EDGE ('', *, *, #12480, .T.);
#15160 = ORIENTED_EDGE ('', *, *, #14370, .F.);
#15170 = ORIENTED_EDGE ('', *, *, #14980, .F.);
#15180 = EDGE_LOOP ('', (#15140, #15150, #15160, #15170));
#15190 = FACE_OUTER_BOUND ('', #15180, .T.);
#15200 = CARTESIAN_POINT ('', (19.8216877023354, -4.48407011581711, 7.54666762275347));
#15210 = CARTESIAN_POINT ('', (19.4894670971067, -4.50068114607855, 12.30952106173));
#15220 = CARTESIAN_POINT ('', (16.5021514470936, -4.6500469285792, 7.31454303529353));
#15230 = CARTESIAN_POINT ('', (16.1699308418648, -4.66665795884064, 12.0773964742701));
#15240 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15200, #15210), (#15220, #15230)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.478188607856911, 2.85359035785238), (2.26828312041245, 7.04273799380225), .UNSPECIFIED.);
#15250 = ADVANCED_FACE ('', (#15190), #15240, .T.);
#15260 = ORIENTED_EDGE ('', *, *, #13400, .F.);
#15270 = ORIENTED_EDGE ('', *, *, #14710, .T.);
#15280 = ORIENTED_EDGE ('', *, *, #15040, .T.);
#15290 = ORIENTED_EDGE ('', *, *, #14250, .T.);
#15300 = EDGE_LOOP ('', (#15260, #15270, #15280, #15290));
#15310 = FACE_OUTER_BOUND ('', #15300, .T.);
#15320 = CARTESIAN_POINT ('', (16.5021514470936, -5.84995307142081, 7.31454303529353));
#15330 = CARTESIAN_POINT ('', (16.1699308418648, -5.83334204115937, 12.0773964742701));
#15340 = CARTESIAN_POINT ('', (19.8216877023354, -6.0159298841829, 7.54666762275347));
#15350 = CARTESIAN_POINT ('', (19.4894670971067, -5.99931885392146, 12.30952106173));
#15360 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15320, #15330), (#15340, #15350)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.478188607856911, 2.85359035785238), (2.26828312041245, 7.04273799380225), .UNSPECIFIED.);
#15370 = ADVANCED_FACE ('', (#15310), #15360, .T.);
#15380 = ORIENTED_EDGE ('', *, *, #12200, .F.);
#15390 = CARTESIAN_POINT ('', (-2.10563461182791, -5.85000000000001, 10.7528666011666));
#15400 = CARTESIAN_POINT ('', (-2.10563461182791, -4.65, 10.7528666011666));
#15410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15390, #15400), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15420 = EDGE_CURVE ('', #12800, #12090, #15410, .T.);
#15430 = ORIENTED_EDGE ('', *, *, #15420, .F.);
#15440 = ORIENTED_EDGE ('', *, *, #12840, .F.);
#15450 = ORIENTED_EDGE ('', *, *, #13860, .F.);
#15460 = EDGE_LOOP ('', (#15380, #15430, #15440, #15450));
#15470 = FACE_OUTER_BOUND ('', #15460, .T.);
#15480 = CARTESIAN_POINT ('', (-1.82013910147489, -4.64900000000001, 11.1317319397764));
#15490 = CARTESIAN_POINT ('', (-1.82013910147489, -5.85100000000001, 11.1317319397764));
#15500 = CARTESIAN_POINT ('', (-2.10648363357113, -4.64900000000001, 10.7517399112588));
#15510 = CARTESIAN_POINT ('', (-2.10648363357113, -5.85100000000001, 10.7517399112588));
#15520 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15480, #15490), (#15500, #15510)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141076860921352, 0.474390800112802), (-3.9375565213596, -2.7355565213596), .UNSPECIFIED.);
#15530 = ADVANCED_FACE ('', (#15470), #15520, .T.);
#15540 = ORIENTED_EDGE ('', *, *, #15420, .T.);
#15550 = ORIENTED_EDGE ('', *, *, #12130, .F.);
#15560 = CARTESIAN_POINT ('', (-4.43844718755834, -4.50000000000001, 10.4250111745692));
#15570 = VERTEX_POINT ('', #15560);
#15580 = CARTESIAN_POINT ('', (-4.43844718755834, -4.50000000000001, 10.4250111745692));
#15590 = CARTESIAN_POINT ('', (-1.46764298133361, -4.65, 10.8425304774494));
#15600 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15580, #15590), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15610 = EDGE_CURVE ('', #15570, #12020, #15600, .T.);
#15620 = ORIENTED_EDGE ('', *, *, #15610, .F.);
#15630 = CARTESIAN_POINT ('', (-4.43844718755834, -6.00000000000001, 10.4250111745692));
#15640 = VERTEX_POINT ('', #15630);
#15650 = CARTESIAN_POINT ('', (-4.43844718755834, -6.00000000000001, 10.4250111745692));
#15660 = CARTESIAN_POINT ('', (-4.43844718755834, -4.50000000000001, 10.4250111745692));
#15670 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15650, #15660), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15680 = EDGE_CURVE ('', #15640, #15570, #15670, .T.);
#15690 = ORIENTED_EDGE ('', *, *, #15680, .F.);
#15700 = CARTESIAN_POINT ('', (-4.43844718755834, -6.00000000000001, 10.4250111745692));
#15710 = CARTESIAN_POINT ('', (-1.46764298133361, -5.85000000000001, 10.8425304774494));
#15720 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15700, #15710), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15730 = EDGE_CURVE ('', #15640, #12870, #15720, .T.);
#15740 = ORIENTED_EDGE ('', *, *, #15730, .T.);
#15750 = ORIENTED_EDGE ('', *, *, #12910, .T.);
#15760 = EDGE_LOOP ('', (#15540, #15550, #15620, #15690, #15740, #15750));
#15770 = FACE_OUTER_BOUND ('', #15760, .T.);
#15780 = CARTESIAN_POINT ('', (-1.46658604789958, -4.49900000000001, 10.8426790197564));
#15790 = CARTESIAN_POINT ('', (-1.46658604789958, -6.001, 10.8426790197564));
#15800 = CARTESIAN_POINT ('', (-4.43950412099237, -4.49900000000001, 10.4248626322622));
#15810 = CARTESIAN_POINT ('', (-4.43950412099237, -6.001, 10.4248626322622));
#15820 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15780, #15790), (#15800, #15810)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00106732052400815, 3.001067320524), (-4.0875565213596, -2.5855565213596), .UNSPECIFIED.);
#15830 = ADVANCED_FACE ('', (#15770), #15820, .T.);
#15840 = CARTESIAN_POINT ('', (-3.6584859841327, -5.85000000000001, 8.58917787822796));
#15850 = CARTESIAN_POINT ('', (-3.65848598413268, -4.65, 8.58917787822795));
#15860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15840, #15850), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15870 = EDGE_CURVE ('', #13010, #11880, #15860, .T.);
#15880 = ORIENTED_EDGE ('', *, *, #15870, .F.);
#15890 = ORIENTED_EDGE ('', *, *, #13050, .T.);
#15900 = CARTESIAN_POINT ('', (-4.25307927473158, -6., 9.10604994014008));
#15910 = VERTEX_POINT ('', #15900);
#15920 = CARTESIAN_POINT ('', (-0.801974053068605, -5.85000000000001, 6.10604994014011));
#15930 = CARTESIAN_POINT ('', (-4.25307927473158, -6., 9.10604994014008));
#15940 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15920, #15930), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15950 = EDGE_CURVE ('', #12940, #15910, #15940, .T.);
#15960 = ORIENTED_EDGE ('', *, *, #15950, .T.);
#15970 = CARTESIAN_POINT ('', (-4.25307927473158, -4.50000000000001, 9.10604994014008));
#15980 = VERTEX_POINT ('', #15970);
#15990 = CARTESIAN_POINT ('', (-4.25307927473158, -6., 9.10604994014008));
#16000 = CARTESIAN_POINT ('', (-4.25307927473158, -4.50000000000001, 9.10604994014008));
#16010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15990, #16000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16020 = EDGE_CURVE ('', #15910, #15980, #16010, .T.);
#16030 = ORIENTED_EDGE ('', *, *, #16020, .T.);
#16040 = CARTESIAN_POINT ('', (-0.801974053068605, -4.65000000000001, 6.10604994014011));
#16050 = CARTESIAN_POINT ('', (-4.25307927473158, -4.50000000000001, 9.10604994014008));
#16060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16040, #16050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16070 = EDGE_CURVE ('', #11950, #15980, #16060, .T.);
#16080 = ORIENTED_EDGE ('', *, *, #16070, .F.);
#16090 = ORIENTED_EDGE ('', *, *, #11990, .F.);
#16100 = EDGE_LOOP ('', (#15880, #15890, #15960, #16030, #16080, #16090));
#16110 = FACE_OUTER_BOUND ('', #16100, .T.);
#16120 = CARTESIAN_POINT ('', (-4.25414659525559, -4.49900000000001, 9.1069777477166));
#16130 = CARTESIAN_POINT ('', (-4.25414659525559, -6.001, 9.1069777477166));
#16140 = CARTESIAN_POINT ('', (-0.80090673254459, -4.49900000000001, 6.1051221325636));
#16150 = CARTESIAN_POINT ('', (-0.80090673254459, -6.001, 6.1051221325636));
#16160 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16120, #16130), (#16140, #16150)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.7863296378782, 0.789258049363932), (-35.151, -33.649), .UNSPECIFIED.);
#16170 = ADVANCED_FACE ('', (#16110), #16160, .T.);
#16180 = ORIENTED_EDGE ('', *, *, #13120, .T.);
#16190 = ORIENTED_EDGE ('', *, *, #15870, .T.);
#16200 = ORIENTED_EDGE ('', *, *, #11920, .F.);
#16210 = ORIENTED_EDGE ('', *, *, #13660, .F.);
#16220 = EDGE_LOOP ('', (#16180, #16190, #16200, #16210));
#16230 = FACE_OUTER_BOUND ('', #16220, .T.);
#16240 = CARTESIAN_POINT ('', (-3.65855574060643, -5.851, 8.59017544227821));
#16250 = CARTESIAN_POINT ('', (-3.45764892741992, -5.85100000000001, 5.71707415819807));
#16260 = CARTESIAN_POINT ('', (-3.65855574060643, -4.64900000000001, 8.59017544227821));
#16270 = CARTESIAN_POINT ('', (-3.45764892741992, -4.64900000000001, 5.71707415819807));
#16280 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16240, #16250), (#16260, #16270)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-35.001, -33.799), (-3.001, -0.120882895407253), .UNSPECIFIED.);
#16290 = ADVANCED_FACE ('', (#16230), #16280, .T.);
#16300 = ORIENTED_EDGE ('', *, *, #16020, .F.);
#16310 = CARTESIAN_POINT ('', (-4.25307927473158, -6., 9.10604994014008));
#16320 = CARTESIAN_POINT ('', (-4.43844718755834, -6.00000000000001, 10.4250111745692));
#16330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16310, #16320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16340 = EDGE_CURVE ('', #15910, #15640, #16330, .T.);
#16350 = ORIENTED_EDGE ('', *, *, #16340, .T.);
#16360 = ORIENTED_EDGE ('', *, *, #15680, .T.);
#16370 = CARTESIAN_POINT ('', (-4.25307927473158, -4.50000000000001, 9.10604994014008));
#16380 = CARTESIAN_POINT ('', (-4.43844718755834, -4.50000000000001, 10.4250111745692));
#16390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16370, #16380), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16400 = EDGE_CURVE ('', #15980, #15570, #16390, .T.);
#16410 = ORIENTED_EDGE ('', *, *, #16400, .F.);
#16420 = EDGE_LOOP ('', (#16300, #16350, #16360, #16410));
#16430 = FACE_OUTER_BOUND ('', #16420, .T.);
#16440 = CARTESIAN_POINT ('', (-4.43859572986537, -4.49900000000001, 10.4260681080033));
#16450 = CARTESIAN_POINT ('', (-4.43859572986537, -6.001, 10.4260681080033));
#16460 = CARTESIAN_POINT ('', (-4.25293073242453, -4.49900000000001, 9.10499300670605));
#16470 = CARTESIAN_POINT ('', (-4.25293073242453, -6.001, 9.10499300670605));
#16480 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16440, #16450), (#16460, #16470)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.33299074213376, 0.00106732052400282), (-35.151, -33.649), .UNSPECIFIED.);
#16490 = ADVANCED_FACE ('', (#16430), #16480, .T.);
#16500 = ORIENTED_EDGE ('', *, *, #16070, .T.);
#16510 = ORIENTED_EDGE ('', *, *, #16400, .T.);
#16520 = ORIENTED_EDGE ('', *, *, #15610, .T.);
#16530 = ORIENTED_EDGE ('', *, *, #12060, .F.);
#16540 = EDGE_LOOP ('', (#16500, #16510, #16520, #16530));
#16550 = FACE_OUTER_BOUND ('', #16540, .T.);
#16560 = CARTESIAN_POINT ('', (-4.45423253379764, -4.50068114607855, 10.635214480408));
#16570 = CARTESIAN_POINT ('', (-4.12035890841301, -4.48407011581711, 5.87247663186107));
#16580 = CARTESIAN_POINT ('', (-1.13469627855582, -4.66665795884064, 10.867339067868));
#16590 = CARTESIAN_POINT ('', (-0.800822653171196, -4.6500469285792, 6.104601219321));
#16600 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16560, #16570), (#16580, #16590)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.478188607856914, 2.85359035785238), (-7.04273799380225, -2.26828312041245), .UNSPECIFIED.);
#16610 = ADVANCED_FACE ('', (#16550), #16600, .T.);
#16620 = ORIENTED_EDGE ('', *, *, #12980, .T.);
#16630 = ORIENTED_EDGE ('', *, *, #15730, .F.);
#16640 = ORIENTED_EDGE ('', *, *, #16340, .F.);
#16650 = ORIENTED_EDGE ('', *, *, #15950, .F.);
#16660 = EDGE_LOOP ('', (#16620, #16630, #16640, #16650));
#16670 = FACE_OUTER_BOUND ('', #16660, .T.);
#16680 = CARTESIAN_POINT ('', (-1.13469627855582, -5.83334204115937, 10.867339067868));
#16690 = CARTESIAN_POINT ('', (-0.800822653171196, -5.84995307142081, 6.104601219321));
#16700 = CARTESIAN_POINT ('', (-4.45423253379764, -5.99931885392146, 10.635214480408));
#16710 = CARTESIAN_POINT ('', (-4.12035890841301, -6.0159298841829, 5.87247663186107));
#16720 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16680, #16690), (#16700, #16710)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.478188607856914, 2.85359035785238), (-7.04273799380225, -2.26828312041245), .UNSPECIFIED.);
#16730 = ADVANCED_FACE ('', (#16670), #16720, .T.);
#16740 = CLOSED_SHELL ('', (#12690, #13610, #13810, #14010, #14170, #14470, #14810, #14930, #15130, #15250, #15370, #15530, #15830, #16170, #16290, #16490, #16610, #16730));
#16750 = MANIFOLD_SOLID_BREP ('CUT', #16740);
#16760 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#16770 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#16780 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#16790 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #16760, 'DISTANCE_ACCURACY_VALUE', '');
#16800 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#16790))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#16760, #16770, #16780))
   REPRESENTATION_CONTEXT ('', '3D')
);
#16810 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#16820 = FILL_AREA_STYLE_COLOUR ('', #16810);
#16830 = FILL_AREA_STYLE ('', (#16820));
#16840 = SURFACE_STYLE_FILL_AREA (#16830);
#16850 = SURFACE_SIDE_STYLE ('', (#16840));
#16860 = SURFACE_STYLE_USAGE (.POSITIVE., #16850);
#16870 = PRESENTATION_STYLE_ASSIGNMENT ((#16860));
#16880 = STYLED_ITEM ('', (#16870), #16750);
#16890 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#16750), #16800);
#16900 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#16910 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #16900);
#16920 = MECHANICAL_CONTEXT ('', #16900, 'mechanical');
#16930 = PRODUCT ('NONE', '', '', (#16920));
#16940 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#16950 = PERSON ('', '', $, $, $, $);
#16960 = ORGANIZATION ($, '', '');
#16970 = PERSON_AND_ORGANIZATION (#16950, #16960);
#16980 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16970, #16940, (#16930));
#16990 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#16930));
#17000 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #16930, .NOT_KNOWN.);
#17010 = APPROVAL_STATUS ('approved');
#17020 = APPROVAL (#17010, '');
#17030 = CALENDAR_DATE (2017, 13, 2);
#17040 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#17050 = LOCAL_TIME (13, 33, 43., #17040);
#17060 = DATE_AND_TIME (#17030, #17050);
#17070 = APPROVAL_DATE_TIME (#17060, #17020);
#17080 = APPROVAL_ROLE ('');
#17090 = PERSON ('', '', $, $, $, $);
#17100 = ORGANIZATION ($, '', '');
#17110 = PERSON_AND_ORGANIZATION (#17090, #17100);
#17120 = APPROVAL_PERSON_ORGANIZATION (#17110, #17020, #17080);
#17130 = CC_DESIGN_APPROVAL (#17020, (#17000));
#17140 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#17150 = PERSON ('', '', $, $, $, $);
#17160 = ORGANIZATION ($, '', '');
#17170 = PERSON_AND_ORGANIZATION (#17150, #17160);
#17180 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#17170, #17140, (#17000));
#17190 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#17200 = PERSON ('', '', $, $, $, $);
#17210 = ORGANIZATION ($, '', '');
#17220 = PERSON_AND_ORGANIZATION (#17200, #17210);
#17230 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#17220, #17190, (#17000));
#17240 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#17250 = SECURITY_CLASSIFICATION ('', '', #17240);
#17260 = APPROVAL_STATUS ('approved');
#17270 = APPROVAL (#17260, '');
#17280 = CALENDAR_DATE (2017, 13, 2);
#17290 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#17300 = LOCAL_TIME (13, 33, 43., #17290);
#17310 = DATE_AND_TIME (#17280, #17300);
#17320 = APPROVAL_DATE_TIME (#17310, #17270);
#17330 = APPROVAL_ROLE ('');
#17340 = PERSON ('', '', $, $, $, $);
#17350 = ORGANIZATION ($, '', '');
#17360 = PERSON_AND_ORGANIZATION (#17340, #17350);
#17370 = APPROVAL_PERSON_ORGANIZATION (#17360, #17270, #17330);
#17380 = CC_DESIGN_APPROVAL (#17270, (#17250));
#17390 = DATE_TIME_ROLE ('classification_date');
#17400 = CALENDAR_DATE (2017, 13, 2);
#17410 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#17420 = LOCAL_TIME (13, 33, 43., #17410);
#17430 = DATE_AND_TIME (#17400, #17420);
#17440 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#17430, #17390, (#17250));
#17450 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#17460 = PERSON ('', '', $, $, $, $);
#17470 = ORGANIZATION ($, '', '');
#17480 = PERSON_AND_ORGANIZATION (#17460, #17470);
#17490 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#17480, #17450, (#17250));
#17500 = CC_DESIGN_SECURITY_CLASSIFICATION (#17250, (#17000));
#17510 = DESIGN_CONTEXT ('', #16900, 'design');
#17520 = PRODUCT_DEFINITION ('', '', #17000, #17510);
#17530 = APPROVAL_STATUS ('approved');
#17540 = APPROVAL (#17530, '');
#17550 = CALENDAR_DATE (2017, 13, 2);
#17560 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#17570 = LOCAL_TIME (13, 33, 43., #17560);
#17580 = DATE_AND_TIME (#17550, #17570);
#17590 = APPROVAL_DATE_TIME (#17580, #17540);
#17600 = APPROVAL_ROLE ('');
#17610 = PERSON ('', '', $, $, $, $);
#17620 = ORGANIZATION ($, '', '');
#17630 = PERSON_AND_ORGANIZATION (#17610, #17620);
#17640 = APPROVAL_PERSON_ORGANIZATION (#17630, #17540, #17600);
#17650 = CC_DESIGN_APPROVAL (#17540, (#17520));
#17660 = DATE_TIME_ROLE ('creation_date');
#17670 = CALENDAR_DATE (2017, 13, 2);
#17680 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#17690 = LOCAL_TIME (13, 33, 43., #17680);
#17700 = DATE_AND_TIME (#17670, #17690);
#17710 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#17700, #17660, (#17520));
#17720 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#17730 = PERSON ('', '', $, $, $, $);
#17740 = ORGANIZATION ($, '', '');
#17750 = PERSON_AND_ORGANIZATION (#17730, #17740);
#17760 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#17750, #17720, (#17520));
#17770 = PRODUCT_DEFINITION_SHAPE ('', '', #17520);
#17780 = SHAPE_DEFINITION_REPRESENTATION (#17770, #16890);
ENDSEC;
END-ISO-10303-21;