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

DATA;
#10 = CARTESIAN_POINT ('', (5.1535092585126, 1.86035012729259, 8.05999999999998));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (8.37224404765311, 0.908868062738193, 8.05999999999998));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (5.15350925851263, 1.86035012729259, 8.05999999999998));
#60 = CARTESIAN_POINT ('', (5.15350925851263, 3.10812263107108, 8.05999999999998));
#70 = CARTESIAN_POINT ('', (6.33315034743126, 3.51479586908968, 8.05999999999998));
#80 = CARTESIAN_POINT ('', (7.51279143634989, 3.92146910710828, 8.05999999999998));
#90 = CARTESIAN_POINT ('', (8.28172721571288, 2.93878198070381, 8.05999999999998));
#100 = CARTESIAN_POINT ('', (9.05066299507588, 1.95609485429934, 8.05999999999998));
#110 = CARTESIAN_POINT ('', (8.37224404765334, 0.908868062738037, 8.05999999999998));
#120 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#50, #60, #70, #80, #90, #100, #110), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 3), (180., 250.978715488977, 321.957430977955, 392.936146466932), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.814223365471925, 1., 0.814223365471925, 1., 0.814223365471925, 1.))
   REPRESENTATION_ITEM ('')
);
#130 = EDGE_CURVE ('', #20, #40, #120, .T.);
#140 = ORIENTED_EDGE ('', *, *, #130, .T.);
#150 = CARTESIAN_POINT ('', (6.77498354286091, 0.115076183060197, 8.05999999999998));
#160 = VERTEX_POINT ('', #150);
#170 = CARTESIAN_POINT ('', (6.77498354286091, 0.115076183060197, 8.05999999999998));
#180 = CARTESIAN_POINT ('', (8.37224404765311, 0.908868062738193, 8.05999999999998));
#190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#170, #180), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#200 = EDGE_CURVE ('', #160, #40, #190, .T.);
#210 = ORIENTED_EDGE ('', *, *, #200, .F.);
#220 = CARTESIAN_POINT ('', (6.77498354286092, 0.11507618306031, 8.05999999999998));
#230 = CARTESIAN_POINT ('', (5.15350925851273, 0.234485026294081, 8.05999999999998));
#240 = CARTESIAN_POINT ('', (5.15350925851273, 1.86035012729259, 8.05999999999998));
#250 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#220, #230, #240), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (94.2117813136446, 180.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.732612880751742, 1.))
   REPRESENTATION_ITEM ('')
);
#260 = EDGE_CURVE ('', #160, #20, #250, .T.);
#270 = ORIENTED_EDGE ('', *, *, #260, .T.);
#280 = EDGE_LOOP ('', (#140, #210, #270));
#290 = FACE_OUTER_BOUND ('', #280, .F.);
#300 = CARTESIAN_POINT ('', (8.8683393040812, 4.04006417840145, 8.05999999999997));
#310 = CARTESIAN_POINT ('', (4.9833733780595, 3.70017370169014, 8.05999999999997));
#320 = CARTESIAN_POINT ('', (9.19322142158002, 0.326644583157005, 8.05999999999997));
#330 = CARTESIAN_POINT ('', (5.30825549555832, -0.0132458935543056, 8.05999999999997));
#340 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#300, #310), (#320, #330)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.116596119070976, 3.84420037389953), (8.75267212885166, 12.6524779935723), .UNSPECIFIED.);
#350 = ADVANCED_FACE ('', (#290), #340, .F.);
#360 = CARTESIAN_POINT ('', (18.44151336845, -11.1930225637909, 8.05999999999998));
#370 = VERTEX_POINT ('', #360);
#380 = CARTESIAN_POINT ('', (18.44151336845, -11.1930225637905, 2.35028254174641E-15));
#390 = VERTEX_POINT ('', #380);
#400 = CARTESIAN_POINT ('', (18.44151336845, -11.1930225637909, 8.05999999999998));
#410 = CARTESIAN_POINT ('', (18.44151336845, -11.1930225637905, 1.77635683940025E-15));
#420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#400, #410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#430 = EDGE_CURVE ('', #370, #390, #420, .T.);
#440 = ORIENTED_EDGE ('', *, *, #430, .F.);
#450 = ORIENTED_EDGE ('', *, *, #430, .T.);
#460 = CARTESIAN_POINT ('', (18.3979354970754, -11.1911199128368, 3.46027253420641E-15));
#470 = VERTEX_POINT ('', #460);
#480 = CARTESIAN_POINT ('', (18.44151336845, -11.1930225637904, 2.35028254174641E-15));
#490 = CARTESIAN_POINT ('', (18.4196828969953, -11.1930225637904, 2.35028254174641E-15));
#500 = CARTESIAN_POINT ('', (18.3979354970755, -11.1911199128362, 2.35004953420631E-15));
#510 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#480, #490, #500), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (180.000000000116, 185.000000000105), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.999048221581862, 1.))
   REPRESENTATION_ITEM ('')
);
#520 = EDGE_CURVE ('', #390, #470, #510, .T.);
#530 = ORIENTED_EDGE ('', *, *, #520, .T.);
#540 = CARTESIAN_POINT ('', (18.397935497076, -11.1911199128363, 11.5600000000001));
#550 = VERTEX_POINT ('', #540);
#560 = CARTESIAN_POINT ('', (18.3979354970754, -11.1911199128368, 3.46027253420641E-15));
#570 = CARTESIAN_POINT ('', (18.397935497076, -11.1911199128363, 11.5600000000001));
#580 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#560, #570), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#590 = EDGE_CURVE ('', #470, #550, #580, .T.);
#600 = ORIENTED_EDGE ('', *, *, #590, .T.);
#610 = CARTESIAN_POINT ('', (18.939610717495, -10.6494446924171, 11.5600000000001));
#620 = VERTEX_POINT ('', #610);
#630 = CARTESIAN_POINT ('', (18.9396107174952, -10.6494446924171, 11.5600000000001));
#640 = CARTESIAN_POINT ('', (18.9599314126429, -10.8817113007837, 11.5600000000001));
#650 = CARTESIAN_POINT ('', (18.7950667590427, -11.0465759543838, 11.5600000000001));
#660 = CARTESIAN_POINT ('', (18.6302021054426, -11.211440607984, 11.5600000000001));
#670 = CARTESIAN_POINT ('', (18.397935497076, -11.1911199128363, 11.5600000000001));
#680 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#630, #640, #650, #660, #670), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (349.999999999998, 399.999999999999, 450.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.906307787036646, 1., 0.906307787036646, 1.))
   REPRESENTATION_ITEM ('')
);
#690 = EDGE_CURVE ('', #620, #550, #680, .T.);
#700 = ORIENTED_EDGE ('', *, *, #690, .F.);
#710 = CARTESIAN_POINT ('', (18.939610717495, -10.6494446924171, 3.39393645171997E-15));
#720 = VERTEX_POINT ('', #710);
#730 = CARTESIAN_POINT ('', (18.939610717495, -10.6494446924171, 11.5600000000001));
#740 = CARTESIAN_POINT ('', (18.939610717495, -10.6494446924171, 3.5527136788005E-15));
#750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#730, #740), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#760 = EDGE_CURVE ('', #620, #720, #750, .T.);
#770 = ORIENTED_EDGE ('', *, *, #760, .T.);
#780 = CARTESIAN_POINT ('', (18.939610717495, -10.6494446924171, 2.28371345171996E-15));
#790 = CARTESIAN_POINT ('', (18.9587854398136, -10.8686127714064, 2.31055380036091E-15));
#800 = CARTESIAN_POINT ('', (18.8101520368547, -11.0308176675985, 2.33041817105368E-15));
#810 = CARTESIAN_POINT ('', (18.6615186338958, -11.1930225637907, 2.35028254174644E-15));
#820 = CARTESIAN_POINT ('', (18.44151336845, -11.1930225637907, 2.35028254174644E-15));
#830 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#780, #790, #800, #810, #820), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (84.9999999999266, 132.499999999963, 180.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.915311479119318, 1., 0.915311479119318, 1.))
   REPRESENTATION_ITEM ('')
);
#840 = EDGE_CURVE ('', #720, #390, #830, .T.);
#850 = ORIENTED_EDGE ('', *, *, #840, .T.);
#860 = EDGE_LOOP ('', (#440, #450, #530, #600, #700, #770, #850));
#870 = FACE_OUTER_BOUND ('', #860, .F.);
#880 = CARTESIAN_POINT ('', (18.9396107174948, -10.6494446924171, 2.06739602043199E-15));
#890 = CARTESIAN_POINT ('', (18.9396107174948, -10.6494446924171, 11.5600000000001));
#900 = CARTESIAN_POINT ('', (18.941513368449, -10.6711920923367, 2.03454244391764E-15));
#910 = CARTESIAN_POINT ('', (18.941513368449, -10.6711920923367, 11.5600000000001));
#920 = CARTESIAN_POINT ('', (18.941513368449, -10.693022563791, 2.22044604925031E-15));
#930 = CARTESIAN_POINT ('', (18.941513368449, -10.693022563791, 11.5600000000001));
#940 = CARTESIAN_POINT ('', (18.941513368449, -11.1930225637652, 2.51214793389404E-15));
#950 = CARTESIAN_POINT ('', (18.941513368449, -11.1930225637652, 11.5600000000001));
#960 = CARTESIAN_POINT ('', (18.4415133684748, -11.1930225637652, 2.44249065417534E-15));
#970 = CARTESIAN_POINT ('', (18.4415133684748, -11.1930225637652, 11.5600000000001));
#980 = CARTESIAN_POINT ('', (18.4196828970047, -11.1930225637652, 2.48666298704246E-15));
#990 = CARTESIAN_POINT ('', (18.4196828970047, -11.1930225637652, 11.5600000000001));
#1000 = CARTESIAN_POINT ('', (18.3979354970695, -11.1911199128082, 2.29710668942168E-15));
#1010 = CARTESIAN_POINT ('', (18.3979354970695, -11.1911199128082, 11.5600000000001));
#1020 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#880, #890), (#900, #910), (#920, #930), (#940, #950), (#960, #970), (#980, #990), (#1000, #1010)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 3), (2, 2), (0.234837734482409, 0.25, 0.5, 0.515162265528383), (0.0834054085221704, 0.91659459147783), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.966627305351837, 0.966627305351837), (0.982236300992195, 0.982236300992195), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.98223630097955, 0.98223630097955), (0.966627305329615, 0.966627305329615)))
   REPRESENTATION_ITEM ('')
);
#1030 = ADVANCED_FACE ('', (#870), #1020, .F.);
#1040 = CARTESIAN_POINT ('', (7.68212586892241, -10.2536080498714, 11.415));
#1050 = VERTEX_POINT ('', #1040);
#1060 = CARTESIAN_POINT ('', (7.2574185603451, -10.2164509750543, 15.1));
#1070 = VERTEX_POINT ('', #1060);
#1080 = CARTESIAN_POINT ('', (7.68212586892241, -10.2536080498714, 11.415));
#1090 = CARTESIAN_POINT ('', (7.2574185603451, -10.2164509750543, 15.1));
#1100 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1080, #1090), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1110 = EDGE_CURVE ('', #1050, #1070, #1100, .T.);
#1120 = ORIENTED_EDGE ('', *, *, #1110, .F.);
#1130 = CARTESIAN_POINT ('', (7.68212586892241, -10.2536080498714, 11.56));
#1140 = VERTEX_POINT ('', #1130);
#1150 = CARTESIAN_POINT ('', (7.68212586892241, -10.2536080498714, 11.56));
#1160 = CARTESIAN_POINT ('', (7.68212586892241, -10.2536080498714, 11.415));
#1170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1150, #1160), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1180 = EDGE_CURVE ('', #1140, #1050, #1170, .T.);
#1190 = ORIENTED_EDGE ('', *, *, #1180, .F.);
#1200 = CARTESIAN_POINT ('', (18.397935497076, -11.1911199128363, 11.5600000000001));
#1210 = CARTESIAN_POINT ('', (7.68212586892241, -10.2536080498714, 11.56));
#1220 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1200, #1210), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1230 = EDGE_CURVE ('', #550, #1140, #1220, .T.);
#1240 = ORIENTED_EDGE ('', *, *, #1230, .F.);
#1250 = ORIENTED_EDGE ('', *, *, #590, .F.);
#1260 = CARTESIAN_POINT ('', (0.433522565063711, -9.61943743438721, 2.15757394255549E-15));
#1270 = VERTEX_POINT ('', #1260);
#1280 = CARTESIAN_POINT ('', (0.433522565063711, -9.61943743438721, 2.15757394255549E-15));
#1290 = CARTESIAN_POINT ('', (18.3979354970754, -11.1911199128368, 3.46027253420641E-15));
#1300 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1280, #1290), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1310 = EDGE_CURVE ('', #1270, #470, #1300, .T.);
#1320 = ORIENTED_EDGE ('', *, *, #1310, .F.);
#1330 = CARTESIAN_POINT ('', (0.433522565063711, -9.61943743438721, 16.));
#1340 = VERTEX_POINT ('', #1330);
#1350 = CARTESIAN_POINT ('', (0.433522565063711, -9.61943743438721, 2.15757394255549E-15));
#1360 = CARTESIAN_POINT ('', (0.433522565063711, -9.61943743438721, 16.));
#1370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1350, #1360), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1380 = EDGE_CURVE ('', #1270, #1340, #1370, .T.);
#1390 = ORIENTED_EDGE ('', *, *, #1380, .T.);
#1400 = CARTESIAN_POINT ('', (6.3470122139894, -10.1368007405461, 16.));
#1410 = VERTEX_POINT ('', #1400);
#1420 = CARTESIAN_POINT ('', (6.3470122139894, -10.1368007405461, 16.));
#1430 = CARTESIAN_POINT ('', (0.433522565063711, -9.61943743438721, 16.));
#1440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1420, #1430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1450 = EDGE_CURVE ('', #1410, #1340, #1440, .T.);
#1460 = ORIENTED_EDGE ('', *, *, #1450, .F.);
#1470 = CARTESIAN_POINT ('', (7.2574185603451, -10.2164509750543, 15.1));
#1480 = CARTESIAN_POINT ('', (6.3470122139894, -10.1368007405461, 16.));
#1490 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1470, #1480), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1500 = EDGE_CURVE ('', #1070, #1410, #1490, .T.);
#1510 = ORIENTED_EDGE ('', *, *, #1500, .F.);
#1520 = EDGE_LOOP ('', (#1120, #1190, #1240, #1250, #1320, #1390, #1460, #1510));
#1530 = FACE_OUTER_BOUND ('', #1520, .F.);
#1540 = CARTESIAN_POINT ('', (18.397935497076, -11.1911199128369, 16.));
#1550 = CARTESIAN_POINT ('', (0.433522565063711, -9.61943743438719, 16.));
#1560 = CARTESIAN_POINT ('', (18.397935497076, -11.1911199128369, 1.77635683940025E-15));
#1570 = CARTESIAN_POINT ('', (0.433522565063711, -9.61943743438719, 1.77635683940025E-15));
#1580 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1540, #1550), (#1560, #1570)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 16.), (-5.49996607630554E-13, 18.0330340709736), .UNSPECIFIED.);
#1590 = ADVANCED_FACE ('', (#1530), #1580, .F.);
#1600 = ORIENTED_EDGE ('', *, *, #840, .F.);
#1610 = CARTESIAN_POINT ('', (17.3081277633384, 7.99849080465829, 0.));
#1620 = VERTEX_POINT ('', #1610);
#1630 = CARTESIAN_POINT ('', (18.939610717495, -10.6494446924171, 3.39393645171997E-15));
#1640 = CARTESIAN_POINT ('', (17.3081277633384, 7.99849080465829, -7.88860905221012E-31));
#1650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1630, #1640), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1660 = EDGE_CURVE ('', #720, #1620, #1650, .T.);
#1670 = ORIENTED_EDGE ('', *, *, #1660, .T.);
#1680 = CARTESIAN_POINT ('', (-80.6, 7.99849080465829, 0.));
#1690 = VERTEX_POINT ('', #1680);
#1700 = CARTESIAN_POINT ('', (-80.6, 7.99849080465829, 0.));
#1710 = CARTESIAN_POINT ('', (17.3081277633384, 7.99849080465829, 0.));
#1720 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1700, #1710), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1730 = EDGE_CURVE ('', #1690, #1620, #1720, .T.);
#1740 = ORIENTED_EDGE ('', *, *, #1730, .F.);
#1750 = CARTESIAN_POINT ('', (-80.6, -8.00150919534171, 1.95943487863577E-15));
#1760 = VERTEX_POINT ('', #1750);
#1770 = CARTESIAN_POINT ('', (-80.6, -8.00150919534171, 1.95943487863577E-15));
#1780 = CARTESIAN_POINT ('', (-80.6, 7.99849080465829, 0.));
#1790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1770, #1780), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1800 = EDGE_CURVE ('', #1760, #1690, #1790, .T.);
#1810 = ORIENTED_EDGE ('', *, *, #1800, .F.);
#1820 = CARTESIAN_POINT ('', (0., -8.00150919534171, 1.95943487863577E-15));
#1830 = VERTEX_POINT ('', #1820);
#1840 = CARTESIAN_POINT ('', (-80.6, -8.00150919534171, 1.95943487863577E-15));
#1850 = CARTESIAN_POINT ('', (0., -8.00150919534171, 1.95943487863577E-15));
#1860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1840, #1850), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1870 = EDGE_CURVE ('', #1760, #1830, #1860, .T.);
#1880 = ORIENTED_EDGE ('', *, *, #1870, .T.);
#1890 = CARTESIAN_POINT ('', (0., -8.00150919534171, 1.95943487863577E-15));
#1900 = CARTESIAN_POINT ('', (0.433522565063711, -9.61943743438721, 2.15757394255549E-15));
#1910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1890, #1900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1920 = EDGE_CURVE ('', #1830, #1270, #1910, .T.);
#1930 = ORIENTED_EDGE ('', *, *, #1920, .T.);
#1940 = ORIENTED_EDGE ('', *, *, #1310, .T.);
#1950 = ORIENTED_EDGE ('', *, *, #520, .F.);
#1960 = EDGE_LOOP ('', (#1600, #1670, #1740, #1810, #1880, #1930, #1940, #1950));
#1970 = FACE_OUTER_BOUND ('', #1960, .F.);
#1980 = CARTESIAN_POINT ('', (13.2323138035872, -7.7186952706423, -7.00262183812798E-15));
#1990 = VERTEX_POINT ('', #1980);
#2000 = CARTESIAN_POINT ('', (13.0180414100445, -7.7280506053838, -7.00130259210197E-15));
#2010 = VERTEX_POINT ('', #2000);
#2020 = CARTESIAN_POINT ('', (13.2323138035872, -7.71869527064236, -7.00262195702798E-15));
#2030 = CARTESIAN_POINT ('', (13.1253818381839, -7.72805060538369, -7.00147625893812E-15));
#2040 = CARTESIAN_POINT ('', (13.0180414100445, -7.7280506053838, -7.00130259210198E-15));
#2050 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2020, #2030, #2040), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (175., 180.102531733087), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.990902613363763, 0.98375974058014))
   REPRESENTATION_ITEM ('')
);
#2060 = EDGE_CURVE ('', #1990, #2010, #2050, .T.);
#2070 = ORIENTED_EDGE ('', *, *, #2060, .T.);
#2080 = CARTESIAN_POINT ('', (10.559541410042, -5.2695506053837, -7.25293993112527E-15));
#2090 = VERTEX_POINT ('', #2080);
#2100 = CARTESIAN_POINT ('', (13.0180414100445, -7.7280506053838, -7.00130259210198E-15));
#2110 = CARTESIAN_POINT ('', (12.0619830477825, -7.72805060538476, -6.99975577853112E-15));
#2120 = CARTESIAN_POINT ('', (11.357102884619, -7.08214693793146, -7.06577119190886E-15));
#2130 = CARTESIAN_POINT ('', (10.5595414100421, -6.3513164955813, -7.14046665532216E-15));
#2140 = CARTESIAN_POINT ('', (10.5595414100421, -5.2695506053837, -7.25293993112528E-15));
#2150 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2100, #2110, #2120, #2130, #2140), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (180.102531733087, 222.500000000001, 270.000000000002), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.98375974058014, 0.92440886575568, 1., 0.915311479119444, 1.))
   REPRESENTATION_ITEM ('')
);
#2160 = EDGE_CURVE ('', #2010, #2090, #2150, .T.);
#2170 = ORIENTED_EDGE ('', *, *, #2160, .T.);
#2180 = CARTESIAN_POINT ('', (12.8037690164969, -2.8204059401251, -7.51121315421952E-15));
#2190 = VERTEX_POINT ('', #2180);
#2200 = CARTESIAN_POINT ('', (10.5595414100421, -5.2695506053837, -7.25293993112527E-15));
#2210 = CARTESIAN_POINT ('', (10.559541410042, -3.01675041406189, -7.48716789074559E-15));
#2220 = CARTESIAN_POINT ('', (12.8037690164969, -2.82040594012507, -7.51121315421952E-15));
#2230 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2200, #2210, #2220), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (269.999999999998, 354.999999999998), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.737277336810122, 1.))
   REPRESENTATION_ITEM ('')
);
#2240 = EDGE_CURVE ('', #2090, #2190, #2230, .T.);
#2250 = ORIENTED_EDGE ('', *, *, #2240, .T.);
#2260 = CARTESIAN_POINT ('', (12.8037690164969, -2.82040594012508, -7.51121315421952E-15));
#2270 = CARTESIAN_POINT ('', (15.2529136817555, -2.60613354657998, -7.53745395465908E-15));
#2280 = CARTESIAN_POINT ('', (15.4671860753006, -5.05527821183854, -7.28315835606332E-15));
#2290 = CARTESIAN_POINT ('', (15.6814584688458, -7.50442287709711, -7.02886275746756E-15));
#2300 = CARTESIAN_POINT ('', (13.2323138035872, -7.71869527064231, -7.002621957028E-15));
#2310 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2260, #2270, #2280, #2290, #2300), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (355., 444.999999999999, 534.999999999998), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186555, 1., 0.707106781186555, 1.))
   REPRESENTATION_ITEM ('')
);
#2320 = EDGE_CURVE ('', #2190, #1990, #2310, .T.);
#2330 = ORIENTED_EDGE ('', *, *, #2320, .T.);
#2340 = EDGE_LOOP ('', (#2070, #2170, #2250, #2330));
#2350 = FACE_BOUND ('', #2340, .F.);
#2360 = CARTESIAN_POINT ('', (-80.6, -11.1930225637907, 2.35028254174647E-15));
#2370 = CARTESIAN_POINT ('', (-80.6, 7.99849080465829, -8.67746995743113E-30));
#2380 = CARTESIAN_POINT ('', (18.9587854398136, -11.1930225637907, 2.35028254174647E-15));
#2390 = CARTESIAN_POINT ('', (18.9587854398136, 7.99849080465829, -8.67746995743113E-30));
#2400 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2360, #2370), (#2380, #2390)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.99840144432528E-15, 99.5587854398136), (-1.70530256582424E-13, 19.1915133684488), .UNSPECIFIED.);
#2410 = ADVANCED_FACE ('', (#1970, #2350), #2400, .F.);
#2420 = ORIENTED_EDGE ('', *, *, #1800, .T.);
#2430 = CARTESIAN_POINT ('', (-81.1, 7.49849080465829, 0.5));
#2440 = VERTEX_POINT ('', #2430);
#2450 = CARTESIAN_POINT ('', (-81.1, 7.49849080465829, 0.5));
#2460 = CARTESIAN_POINT ('', (-80.6, 7.99849080465829, 0.));
#2470 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2450, #2460), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2480 = EDGE_CURVE ('', #2440, #1690, #2470, .T.);
#2490 = ORIENTED_EDGE ('', *, *, #2480, .F.);
#2500 = CARTESIAN_POINT ('', (-81.1, -7.50150919534171, 0.500000000000002));
#2510 = VERTEX_POINT ('', #2500);
#2520 = CARTESIAN_POINT ('', (-81.1, 7.49849080465829, 0.5));
#2530 = CARTESIAN_POINT ('', (-81.1, -7.50150919534171, 0.500000000000002));
#2540 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2520, #2530), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2550 = EDGE_CURVE ('', #2440, #2510, #2540, .T.);
#2560 = ORIENTED_EDGE ('', *, *, #2550, .T.);
#2570 = CARTESIAN_POINT ('', (-81.1, -7.50150919534171, 0.500000000000002));
#2580 = CARTESIAN_POINT ('', (-80.6, -8.00150919534171, 1.99840144432528E-15));
#2590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2570, #2580), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2600 = EDGE_CURVE ('', #2510, #1760, #2590, .T.);
#2610 = ORIENTED_EDGE ('', *, *, #2600, .T.);
#2620 = EDGE_LOOP ('', (#2420, #2490, #2560, #2610));
#2630 = FACE_OUTER_BOUND ('', #2620, .F.);
#2640 = CARTESIAN_POINT ('', (-81.1, -8.00150919534171, 0.500000000000002));
#2650 = CARTESIAN_POINT ('', (-81.1, 7.99849080465829, 0.500000000000004));
#2660 = CARTESIAN_POINT ('', (-80.6, -8.00150919534171, -5.21804821573824E-15));
#2670 = CARTESIAN_POINT ('', (-80.6, 7.99849080465829, -3.33066907387547E-15));
#2680 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2640, #2650), (#2660, #2670)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-2.38213657608839E-19, 0.707106781186557), (-1.42098857095104E-14, 16.), .UNSPECIFIED.);
#2690 = ADVANCED_FACE ('', (#2630), #2680, .F.);
#2700 = CARTESIAN_POINT ('', (-80.6, -8.00150919534171, 16.));
#2710 = VERTEX_POINT ('', #2700);
#2720 = CARTESIAN_POINT ('', (-80.6, -8.00150919534171, 16.));
#2730 = CARTESIAN_POINT ('', (-80.6, -8.00150919534171, 1.77635683940025E-15));
#2740 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2720, #2730), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2750 = EDGE_CURVE ('', #2710, #1760, #2740, .T.);
#2760 = ORIENTED_EDGE ('', *, *, #2750, .T.);
#2770 = ORIENTED_EDGE ('', *, *, #2600, .F.);
#2780 = CARTESIAN_POINT ('', (-81.1, -7.50150919534171, 15.5));
#2790 = VERTEX_POINT ('', #2780);
#2800 = CARTESIAN_POINT ('', (-81.1, -7.50150919534171, 0.500000000000002));
#2810 = CARTESIAN_POINT ('', (-81.1, -7.50150919534171, 15.5));
#2820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2800, #2810), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2830 = EDGE_CURVE ('', #2510, #2790, #2820, .T.);
#2840 = ORIENTED_EDGE ('', *, *, #2830, .T.);
#2850 = CARTESIAN_POINT ('', (-81.1, -7.50150919534171, 15.5));
#2860 = CARTESIAN_POINT ('', (-80.6, -8.00150919534171, 16.));
#2870 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2850, #2860), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2880 = EDGE_CURVE ('', #2790, #2710, #2870, .T.);
#2890 = ORIENTED_EDGE ('', *, *, #2880, .T.);
#2900 = EDGE_LOOP ('', (#2760, #2770, #2840, #2890));
#2910 = FACE_OUTER_BOUND ('', #2900, .F.);
#2920 = CARTESIAN_POINT ('', (-80.6, -8.00150919534171, 16.));
#2930 = CARTESIAN_POINT ('', (-81.1, -7.50150919534171, 16.));
#2940 = CARTESIAN_POINT ('', (-80.6, -8.00150919534171, 1.77635683940025E-15));
#2950 = CARTESIAN_POINT ('', (-81.1, -7.50150919534171, 1.77635683940025E-15));
#2960 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2920, #2930), (#2940, #2950)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 16.), (-3.57196034350556E-15, 0.707106781186544), .UNSPECIFIED.);
#2970 = ADVANCED_FACE ('', (#2910), #2960, .F.);
#2980 = CARTESIAN_POINT ('', (-80.6, 7.99849080465829, 16.));
#2990 = VERTEX_POINT ('', #2980);
#3000 = CARTESIAN_POINT ('', (-80.6, 7.99849080465829, 0.));
#3010 = CARTESIAN_POINT ('', (-80.6, 7.99849080465829, 16.));
#3020 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3000, #3010), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3030 = EDGE_CURVE ('', #1690, #2990, #3020, .T.);
#3040 = ORIENTED_EDGE ('', *, *, #3030, .T.);
#3050 = CARTESIAN_POINT ('', (-81.1, 7.49849080465829, 15.5));
#3060 = VERTEX_POINT ('', #3050);
#3070 = CARTESIAN_POINT ('', (-80.6, 7.99849080465829, 16.));
#3080 = CARTESIAN_POINT ('', (-81.1, 7.49849080465829, 15.5));
#3090 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3070, #3080), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3100 = EDGE_CURVE ('', #2990, #3060, #3090, .T.);
#3110 = ORIENTED_EDGE ('', *, *, #3100, .T.);
#3120 = CARTESIAN_POINT ('', (-81.1, 7.49849080465829, 15.5));
#3130 = CARTESIAN_POINT ('', (-81.1, 7.49849080465829, 0.5));
#3140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3120, #3130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3150 = EDGE_CURVE ('', #3060, #2440, #3140, .T.);
#3160 = ORIENTED_EDGE ('', *, *, #3150, .T.);
#3170 = ORIENTED_EDGE ('', *, *, #2480, .T.);
#3180 = EDGE_LOOP ('', (#3040, #3110, #3160, #3170));
#3190 = FACE_OUTER_BOUND ('', #3180, .F.);
#3200 = CARTESIAN_POINT ('', (-81.1, 7.49849080465829, 16.));
#3210 = CARTESIAN_POINT ('', (-80.6, 7.99849080465829, 16.));
#3220 = CARTESIAN_POINT ('', (-81.1, 7.49849080465829, 0.));
#3230 = CARTESIAN_POINT ('', (-80.6, 7.99849080465829, 0.));
#3240 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3200, #3210), (#3220, #3230)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 16.), (4.24722276421291E-17, 0.707106781186547), .UNSPECIFIED.);
#3250 = ADVANCED_FACE ('', (#3190), #3240, .F.);
#3260 = CARTESIAN_POINT ('', (-80.6, 7.99849080465829, 16.));
#3270 = CARTESIAN_POINT ('', (-80.6, -8.00150919534171, 16.));
#3280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3260, #3270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3290 = EDGE_CURVE ('', #2990, #2710, #3280, .T.);
#3300 = ORIENTED_EDGE ('', *, *, #3290, .T.);
#3310 = ORIENTED_EDGE ('', *, *, #2880, .F.);
#3320 = CARTESIAN_POINT ('', (-81.1, -7.50150919534171, 15.5));
#3330 = CARTESIAN_POINT ('', (-81.1, 7.49849080465829, 15.5));
#3340 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3320, #3330), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3350 = EDGE_CURVE ('', #2790, #3060, #3340, .T.);
#3360 = ORIENTED_EDGE ('', *, *, #3350, .T.);
#3370 = ORIENTED_EDGE ('', *, *, #3100, .F.);
#3380 = EDGE_LOOP ('', (#3300, #3310, #3360, #3370));
#3390 = FACE_OUTER_BOUND ('', #3380, .F.);
#3400 = CARTESIAN_POINT ('', (-80.6, -8.00150919534171, 16.));
#3410 = CARTESIAN_POINT ('', (-80.6, 7.99849080465829, 16.));
#3420 = CARTESIAN_POINT ('', (-81.1, -8.00150919534171, 15.5));
#3430 = CARTESIAN_POINT ('', (-81.1, 7.99849080465829, 15.5));
#3440 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3400, #3410), (#3420, #3430)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-7.065416064077E-16, 0.70710678118655), (-2.77333911991762E-31, 16.), .UNSPECIFIED.);
#3450 = ADVANCED_FACE ('', (#3390), #3440, .F.);
#3460 = ORIENTED_EDGE ('', *, *, #3030, .F.);
#3470 = ORIENTED_EDGE ('', *, *, #1730, .T.);
#3480 = CARTESIAN_POINT ('', (17.3081277633384, 7.99849080465829, 16.));
#3490 = VERTEX_POINT ('', #3480);
#3500 = CARTESIAN_POINT ('', (17.3081277633384, 7.99849080465829, 0.));
#3510 = CARTESIAN_POINT ('', (17.3081277633384, 7.99849080465829, 16.));
#3520 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3500, #3510), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3530 = EDGE_CURVE ('', #1620, #3490, #3520, .T.);
#3540 = ORIENTED_EDGE ('', *, *, #3530, .T.);
#3550 = CARTESIAN_POINT ('', (17.3081277633384, 7.99849080465829, 16.));
#3560 = CARTESIAN_POINT ('', (-80.6, 7.99849080465829, 16.));
#3570 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3550, #3560), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3580 = EDGE_CURVE ('', #3490, #2990, #3570, .T.);
#3590 = ORIENTED_EDGE ('', *, *, #3580, .T.);
#3600 = EDGE_LOOP ('', (#3460, #3470, #3540, #3590));
#3610 = FACE_OUTER_BOUND ('', #3600, .F.);
#3620 = CARTESIAN_POINT ('', (17.3081277633384, 7.99849080465829, 0.));
#3630 = CARTESIAN_POINT ('', (-80.6, 7.99849080465829, 0.));
#3640 = CARTESIAN_POINT ('', (17.3081277633384, 7.99849080465829, 16.));
#3650 = CARTESIAN_POINT ('', (-80.6, 7.99849080465829, 16.));
#3660 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3620, #3630), (#3640, #3650)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (2.16840434497101E-19, 16.), (0., 97.9081277633384), .UNSPECIFIED.);
#3670 = ADVANCED_FACE ('', (#3610), #3660, .F.);
#3680 = ORIENTED_EDGE ('', *, *, #2550, .F.);
#3690 = ORIENTED_EDGE ('', *, *, #3150, .F.);
#3700 = ORIENTED_EDGE ('', *, *, #3350, .F.);
#3710 = ORIENTED_EDGE ('', *, *, #2830, .F.);
#3720 = EDGE_LOOP ('', (#3680, #3690, #3700, #3710));
#3730 = FACE_OUTER_BOUND ('', #3720, .F.);
#3740 = CARTESIAN_POINT ('', (-81.1, -7.50150919534171, 15.5));
#3750 = CARTESIAN_POINT ('', (-81.1, 7.49849080465829, 15.5));
#3760 = CARTESIAN_POINT ('', (-81.1, -7.50150919534171, 0.5));
#3770 = CARTESIAN_POINT ('', (-81.1, 7.49849080465829, 0.5));
#3780 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3740, #3750), (#3760, #3770)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 15.), (-8.22564585656004E-33, 15.), .UNSPECIFIED.);
#3790 = ADVANCED_FACE ('', (#3730), #3780, .F.);
#3800 = CARTESIAN_POINT ('', (0., -8.00150919534171, 16.));
#3810 = VERTEX_POINT ('', #3800);
#3820 = CARTESIAN_POINT ('', (0.433522565063711, -9.61943743438721, 16.));
#3830 = CARTESIAN_POINT ('', (0., -8.00150919534171, 16.));
#3840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3820, #3830), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3850 = EDGE_CURVE ('', #1340, #3810, #3840, .T.);
#3860 = ORIENTED_EDGE ('', *, *, #3850, .F.);
#3870 = ORIENTED_EDGE ('', *, *, #1380, .F.);
#3880 = ORIENTED_EDGE ('', *, *, #1920, .F.);
#3890 = CARTESIAN_POINT ('', (0., -8.00150919534171, 1.95943487863577E-15));
#3900 = CARTESIAN_POINT ('', (0., -8.00150919534171, 16.));
#3910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3890, #3900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3920 = EDGE_CURVE ('', #1830, #3810, #3910, .T.);
#3930 = ORIENTED_EDGE ('', *, *, #3920, .T.);
#3940 = EDGE_LOOP ('', (#3860, #3870, #3880, #3930));
#3950 = FACE_OUTER_BOUND ('', #3940, .F.);
#3960 = CARTESIAN_POINT ('', (0.433522565063711, -9.61943743438721, 16.));
#3970 = CARTESIAN_POINT ('', (1.4210854715202E-14, -8.00150919534171, 16.));
#3980 = CARTESIAN_POINT ('', (0.433522565063711, -9.61943743438721, 1.77635683940025E-15));
#3990 = CARTESIAN_POINT ('', (1.4210854715202E-14, -8.00150919534171, 1.77635683940025E-15));
#4000 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3960, #3970), (#3980, #3990)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 16.), (0., 1.67500256749662), .UNSPECIFIED.);
#4010 = ADVANCED_FACE ('', (#3950), #4000, .F.);
#4020 = ORIENTED_EDGE ('', *, *, #2750, .F.);
#4030 = CARTESIAN_POINT ('', (0., -8.00150919534171, 16.));
#4040 = CARTESIAN_POINT ('', (-80.6, -8.00150919534171, 16.));
#4050 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4030, #4040), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4060 = EDGE_CURVE ('', #3810, #2710, #4050, .T.);
#4070 = ORIENTED_EDGE ('', *, *, #4060, .F.);
#4080 = ORIENTED_EDGE ('', *, *, #3920, .F.);
#4090 = ORIENTED_EDGE ('', *, *, #1870, .F.);
#4100 = EDGE_LOOP ('', (#4020, #4070, #4080, #4090));
#4110 = FACE_OUTER_BOUND ('', #4100, .F.);
#4120 = CARTESIAN_POINT ('', (0., -8.00150919534171, 16.));
#4130 = CARTESIAN_POINT ('', (-80.6, -8.00150919534171, 16.));
#4140 = CARTESIAN_POINT ('', (0., -8.00150919534171, 1.77635683940025E-15));
#4150 = CARTESIAN_POINT ('', (-80.6, -8.00150919534171, 1.77635683940025E-15));
#4160 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4120, #4130), (#4140, #4150)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 16.), (0., 80.6), .UNSPECIFIED.);
#4170 = ADVANCED_FACE ('', (#4110), #4160, .F.);
#4180 = ORIENTED_EDGE ('', *, *, #760, .F.);
#4190 = CARTESIAN_POINT ('', (18.0020988545298, 0.0663649357358906, 11.56));
#4200 = VERTEX_POINT ('', #4190);
#4210 = CARTESIAN_POINT ('', (18.0020988545298, 0.0663649357358906, 11.56));
#4220 = CARTESIAN_POINT ('', (18.939610717495, -10.6494446924171, 11.5600000000001));
#4230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4210, #4220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4240 = EDGE_CURVE ('', #4200, #620, #4230, .T.);
#4250 = ORIENTED_EDGE ('', *, *, #4240, .F.);
#4260 = CARTESIAN_POINT ('', (18.0020988545298, 0.0663649357358906, 11.415));
#4270 = VERTEX_POINT ('', #4260);
#4280 = CARTESIAN_POINT ('', (18.0020988545298, 0.0663649357358906, 11.56));
#4290 = CARTESIAN_POINT ('', (18.0020988545298, 0.0663649357358906, 11.415));
#4300 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4280, #4290), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4310 = EDGE_CURVE ('', #4200, #4270, #4300, .T.);
#4320 = ORIENTED_EDGE ('', *, *, #4310, .T.);
#4330 = CARTESIAN_POINT ('', (17.9649417797127, 0.491072244313202, 15.1));
#4340 = VERTEX_POINT ('', #4330);
#4350 = CARTESIAN_POINT ('', (17.9649417797127, 0.491072244313202, 15.1));
#4360 = CARTESIAN_POINT ('', (18.0020988545298, 0.0663649357358906, 11.415));
#4370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4350, #4360), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4380 = EDGE_CURVE ('', #4340, #4270, #4370, .T.);
#4390 = ORIENTED_EDGE ('', *, *, #4380, .F.);
#4400 = CARTESIAN_POINT ('', (17.8852915452045, 1.4014785906689, 16.));
#4410 = VERTEX_POINT ('', #4400);
#4420 = CARTESIAN_POINT ('', (17.8852915452045, 1.4014785906689, 16.));
#4430 = CARTESIAN_POINT ('', (17.9649417797127, 0.491072244313202, 15.1));
#4440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4420, #4430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4450 = EDGE_CURVE ('', #4410, #4340, #4440, .T.);
#4460 = ORIENTED_EDGE ('', *, *, #4450, .F.);
#4470 = CARTESIAN_POINT ('', (17.3081277633384, 7.99849080465829, 16.));
#4480 = CARTESIAN_POINT ('', (17.8852915452045, 1.4014785906689, 16.));
#4490 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4470, #4480), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4500 = EDGE_CURVE ('', #3490, #4410, #4490, .T.);
#4510 = ORIENTED_EDGE ('', *, *, #4500, .F.);
#4520 = ORIENTED_EDGE ('', *, *, #3530, .F.);
#4530 = ORIENTED_EDGE ('', *, *, #1660, .F.);
#4540 = EDGE_LOOP ('', (#4180, #4250, #4320, #4390, #4460, #4510, #4520, #4530));
#4550 = FACE_OUTER_BOUND ('', #4540, .F.);
#4560 = CARTESIAN_POINT ('', (18.939610717495, -10.6494446924171, -3.94430452610506E-31));
#4570 = CARTESIAN_POINT ('', (17.3081277633384, 7.99849080465829, -3.94430452610506E-31));
#4580 = CARTESIAN_POINT ('', (18.939610717495, -10.6494446924171, 16.));
#4590 = CARTESIAN_POINT ('', (17.3081277633384, 7.99849080465829, 16.));
#4600 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4560, #4570), (#4580, #4590)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (2.16840434496706E-19, 16.), (0., 18.719167581193), .UNSPECIFIED.);
#4610 = ADVANCED_FACE ('', (#4550), #4600, .F.);
#4620 = ORIENTED_EDGE ('', *, *, #1110, .T.);
#4630 = CARTESIAN_POINT ('', (6.3459621957854, 0.201542943547494, 15.1));
#4640 = VERTEX_POINT ('', #4630);
#4650 = CARTESIAN_POINT ('', (7.2574185603451, -10.2164509750543, 15.1));
#4660 = CARTESIAN_POINT ('', (6.3459621957854, 0.201542943547494, 15.1));
#4670 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4650, #4660), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4680 = EDGE_CURVE ('', #1070, #4640, #4670, .T.);
#4690 = ORIENTED_EDGE ('', *, *, #4680, .T.);
#4700 = CARTESIAN_POINT ('', (6.77498354286091, 0.115076183060197, 11.415));
#4710 = VERTEX_POINT ('', #4700);
#4720 = CARTESIAN_POINT ('', (6.3459621957854, 0.201542943547494, 15.1));
#4730 = CARTESIAN_POINT ('', (6.5550241028768, 0.131274467880601, 13.3258218897312));
#4740 = CARTESIAN_POINT ('', (6.77498354286091, 0.115076183060197, 11.415));
#4750 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4720, #4730, #4740), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.992151411382822, 1.))
   REPRESENTATION_ITEM ('')
);
#4760 = EDGE_CURVE ('', #4640, #4710, #4750, .T.);
#4770 = ORIENTED_EDGE ('', *, *, #4760, .T.);
#4780 = CARTESIAN_POINT ('', (6.77498354286091, 0.115076183060197, 11.415));
#4790 = CARTESIAN_POINT ('', (7.68212586892241, -10.2536080498714, 11.415));
#4800 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4780, #4790), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4810 = EDGE_CURVE ('', #4710, #1050, #4800, .T.);
#4820 = ORIENTED_EDGE ('', *, *, #4810, .T.);
#4830 = EDGE_LOOP ('', (#4620, #4690, #4770, #4820));
#4840 = FACE_OUTER_BOUND ('', #4830, .F.);
#4850 = CARTESIAN_POINT ('', (7.26387081867449, -10.2902006252306, 15.1));
#4860 = CARTESIAN_POINT ('', (7.68212586892241, -10.2536080498714, 11.415));
#4870 = CARTESIAN_POINT ('', (6.3459621957854, 0.201542943547494, 15.1));
#4880 = CARTESIAN_POINT ('', (6.76421724603333, 0.23813551890666, 11.415));
#4890 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4850, #4860), (#4870, #4880)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (3.55618312575246E-14, 10.5318203247573), (2.77624263818883E-15, 3.70884096499559), .UNSPECIFIED.);
#4900 = ADVANCED_FACE ('', (#4840), #4890, .F.);
#4910 = ORIENTED_EDGE ('', *, *, #1500, .T.);
#4920 = CARTESIAN_POINT ('', (5.3713800372151, 1.0147260682415, 16.));
#4930 = VERTEX_POINT ('', #4920);
#4940 = CARTESIAN_POINT ('', (5.3713800372151, 1.0147260682415, 16.));
#4950 = CARTESIAN_POINT ('', (6.3470122139894, -10.1368007405461, 16.));
#4960 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4940, #4950), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4970 = EDGE_CURVE ('', #4930, #1410, #4960, .T.);
#4980 = ORIENTED_EDGE ('', *, *, #4970, .F.);
#4990 = CARTESIAN_POINT ('', (5.3713800372151, 1.0147260682415, 16.));
#5000 = CARTESIAN_POINT ('', (5.70044881208351, 0.418508540610802, 15.7241472126284));
#5010 = CARTESIAN_POINT ('', (6.3459621957854, 0.201542943547494, 15.1));
#5020 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4990, #5000, #5010), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.931924619090014, 1.))
   REPRESENTATION_ITEM ('')
);
#5030 = EDGE_CURVE ('', #4930, #4640, #5020, .T.);
#5040 = ORIENTED_EDGE ('', *, *, #5030, .T.);
#5050 = ORIENTED_EDGE ('', *, *, #4680, .F.);
#5060 = EDGE_LOOP ('', (#4910, #4980, #5040, #5050));
#5070 = FACE_OUTER_BOUND ('', #5060, .F.);
#5080 = CARTESIAN_POINT ('', (6.2679552654977, 1.0931662367144, 15.1));
#5090 = CARTESIAN_POINT ('', (5.3713800372151, 1.0147260682415, 16.));
#5100 = CARTESIAN_POINT ('', (7.2574185603451, -10.2164509750543, 15.1));
#5110 = CARTESIAN_POINT ('', (6.3608433320625, -10.2948911435272, 16.));
#5120 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5080, #5090), (#5100, #5110)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (3.02535774210356E-15, 11.3528181121951), (-3.77475828372554E-15, 1.27279220613581), .UNSPECIFIED.);
#5130 = ADVANCED_FACE ('', (#5070), #5120, .F.);
#5140 = ORIENTED_EDGE ('', *, *, #3290, .F.);
#5150 = ORIENTED_EDGE ('', *, *, #3580, .F.);
#5160 = ORIENTED_EDGE ('', *, *, #4500, .T.);
#5170 = CARTESIAN_POINT ('', (8.6177564277051, 2.21228285227849, 16.));
#5180 = VERTEX_POINT ('', #5170);
#5190 = CARTESIAN_POINT ('', (17.8852915452045, 1.4014785906689, 16.));
#5200 = CARTESIAN_POINT ('', (8.6177564277051, 2.21228285227849, 16.));
#5210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5190, #5200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5220 = EDGE_CURVE ('', #4410, #5180, #5210, .T.);
#5230 = ORIENTED_EDGE ('', *, *, #5220, .T.);
#5240 = CARTESIAN_POINT ('', (5.27641783206801, 2.50461210039839, 16.));
#5250 = VERTEX_POINT ('', #5240);
#5260 = CARTESIAN_POINT ('', (8.61775642770502, 2.21228285227848, 16.));
#5270 = CARTESIAN_POINT ('', (8.3554412621799, 3.49000725246202, 16.));
#5280 = CARTESIAN_POINT ('', (7.05603180832105, 3.60369084895312, 16.));
#5290 = CARTESIAN_POINT ('', (5.75662235446219, 3.71737444544422, 16.));
#5300 = CARTESIAN_POINT ('', (5.27641783206788, 2.50461210039845, 16.));
#5310 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5260, #5270, #5280, #5290, #5300), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (191.601549599021, 264.999999999999, 338.398450400976), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.801783725737286, 1., 0.801783725737286, 1.))
   REPRESENTATION_ITEM ('')
);
#5320 = EDGE_CURVE ('', #5180, #5250, #5310, .T.);
#5330 = ORIENTED_EDGE ('', *, *, #5320, .T.);
#5340 = CARTESIAN_POINT ('', (5.2407589569314, 2.5077318477269, 16.));
#5350 = VERTEX_POINT ('', #5340);
#5360 = CARTESIAN_POINT ('', (5.27641783206801, 2.50461210039839, 16.));
#5370 = CARTESIAN_POINT ('', (5.2407589569314, 2.5077318477269, 16.));
#5380 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5360, #5370), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5390 = EDGE_CURVE ('', #5250, #5350, #5380, .T.);
#5400 = ORIENTED_EDGE ('', *, *, #5390, .T.);
#5410 = CARTESIAN_POINT ('', (5.2478154459167, 2.4270758095511, 16.));
#5420 = VERTEX_POINT ('', #5410);
#5430 = CARTESIAN_POINT ('', (5.2407589569314, 2.5077318477269, 16.));
#5440 = CARTESIAN_POINT ('', (5.2478154459167, 2.4270758095511, 16.));
#5450 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5430, #5440), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5460 = EDGE_CURVE ('', #5350, #5420, #5450, .T.);
#5470 = ORIENTED_EDGE ('', *, *, #5460, .T.);
#5480 = CARTESIAN_POINT ('', (5.1535092585127, 1.86035012729259, 16.));
#5490 = VERTEX_POINT ('', #5480);
#5500 = CARTESIAN_POINT ('', (5.24781544591669, 2.42707580955111, 16.));
#5510 = CARTESIAN_POINT ('', (5.15350925851267, 2.15155949564046, 16.));
#5520 = CARTESIAN_POINT ('', (5.15350925851264, 1.86035012729259, 16.));
#5530 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5500, #5510, #5520), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (341.104491813843, 359.999999999993), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.986435692291927, 1.))
   REPRESENTATION_ITEM ('')
);
#5540 = EDGE_CURVE ('', #5420, #5490, #5530, .T.);
#5550 = ORIENTED_EDGE ('', *, *, #5540, .T.);
#5560 = CARTESIAN_POINT ('', (5.15350925851268, 1.86035012729259, 16.));
#5570 = CARTESIAN_POINT ('', (5.15350925851268, 1.40947144349892, 16.));
#5580 = CARTESIAN_POINT ('', (5.3713800372151, 1.0147260682415, 16.));
#5590 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5560, #5570, #5580), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 28.8955081861645), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.968375550127645, 1.))
   REPRESENTATION_ITEM ('')
);
#5600 = EDGE_CURVE ('', #5490, #4930, #5590, .T.);
#5610 = ORIENTED_EDGE ('', *, *, #5600, .T.);
#5620 = ORIENTED_EDGE ('', *, *, #4970, .T.);
#5630 = ORIENTED_EDGE ('', *, *, #1450, .T.);
#5640 = ORIENTED_EDGE ('', *, *, #3850, .T.);
#5650 = ORIENTED_EDGE ('', *, *, #4060, .T.);
#5660 = EDGE_LOOP ('', (#5140, #5150, #5160, #5230, #5330, #5400, #5470, #5550, #5610, #5620, #5630, #5640, #5650));
#5670 = FACE_OUTER_BOUND ('', #5660, .F.);
#5680 = CARTESIAN_POINT ('', (17.8852915452045, -10.1368007405461, 16.));
#5690 = CARTESIAN_POINT ('', (17.8852915452045, 7.99849080465829, 16.));
#5700 = CARTESIAN_POINT ('', (-80.6, -10.1368007405461, 16.));
#5710 = CARTESIAN_POINT ('', (-80.6, 7.99849080465829, 16.));
#5720 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5680, #5690), (#5700, #5710)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.4210854715202E-14, 98.4852915452045), (-1.4210854715202E-14, 18.1352915452044), .UNSPECIFIED.);
#5730 = ADVANCED_FACE ('', (#5670), #5720, .F.);
#5740 = CARTESIAN_POINT ('', (5.1535092585126, 1.86035012729259, 8.05999999999998));
#5750 = CARTESIAN_POINT ('', (5.1535092585127, 1.86035012729259, 16.));
#5760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5740, #5750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5770 = EDGE_CURVE ('', #20, #5490, #5760, .T.);
#5780 = ORIENTED_EDGE ('', *, *, #5770, .F.);
#5790 = ORIENTED_EDGE ('', *, *, #260, .F.);
#5800 = CARTESIAN_POINT ('', (6.77498354286091, 0.115076183060197, 11.415));
#5810 = CARTESIAN_POINT ('', (6.77498354286091, 0.115076183060197, 8.05999999999998));
#5820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5800, #5810), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5830 = EDGE_CURVE ('', #4710, #160, #5820, .T.);
#5840 = ORIENTED_EDGE ('', *, *, #5830, .F.);
#5850 = ORIENTED_EDGE ('', *, *, #4760, .F.);
#5860 = ORIENTED_EDGE ('', *, *, #5030, .F.);
#5870 = ORIENTED_EDGE ('', *, *, #5600, .F.);
#5880 = EDGE_LOOP ('', (#5780, #5790, #5840, #5850, #5860, #5870));
#5890 = FACE_OUTER_BOUND ('', #5880, .F.);
#5900 = CARTESIAN_POINT ('', (6.77498354286138, 0.11507618305987, 15.9999999999999));
#5910 = CARTESIAN_POINT ('', (6.77498354286088, 0.11507618305987, 8.05999999999988));
#5920 = CARTESIAN_POINT ('', (5.15350925851213, 0.234485026293083, 16.));
#5930 = CARTESIAN_POINT ('', (5.15350925851165, 0.234485026293083, 8.05999999999998));
#5940 = CARTESIAN_POINT ('', (5.15350925851213, 1.86035012729259, 16.));
#5950 = CARTESIAN_POINT ('', (5.15350925851165, 1.86035012729259, 8.05999999999998));
#5960 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#5900, #5910), (#5920, #5930), (#5940, #5950)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.762805568885207, 1.), (0.0834382607235886, 0.916561739276421), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.971531626161388, 0.971531626161388), (0.72210943834465, 0.72210943834465), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#5970 = ADVANCED_FACE ('', (#5890), #5960, .F.);
#5980 = CARTESIAN_POINT ('', (5.26732744419141, 2.48116336046689, 15.9758482100961));
#5990 = VERTEX_POINT ('', #5980);
#6000 = CARTESIAN_POINT ('', (5.26732744419151, 2.48116336046689, 15.9758482100961));
#6010 = CARTESIAN_POINT ('', (5.25712709911041, 2.45427988210399, 15.9883527893089));
#6020 = CARTESIAN_POINT ('', (5.2478154459168, 2.4270758095511, 16.));
#6030 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6000, #6010, #6020), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.999865044720445, 1.))
   REPRESENTATION_ITEM ('')
);
#6040 = EDGE_CURVE ('', #5990, #5420, #6030, .T.);
#6050 = ORIENTED_EDGE ('', *, *, #6040, .T.);
#6060 = ORIENTED_EDGE ('', *, *, #5460, .F.);
#6070 = CARTESIAN_POINT ('', (5.26732744419141, 2.48116336046689, 15.9758482100961));
#6080 = CARTESIAN_POINT ('', (5.2407589569314, 2.5077318477269, 16.));
#6090 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6070, #6080), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6100 = EDGE_CURVE ('', #5990, #5350, #6090, .T.);
#6110 = ORIENTED_EDGE ('', *, *, #6100, .F.);
#6120 = EDGE_LOOP ('', (#6050, #6060, #6110));
#6130 = FACE_OUTER_BOUND ('', #6120, .F.);
#6140 = CARTESIAN_POINT ('', (5.26481884198321, 2.50983681491464, 15.9758482100961));
#6150 = CARTESIAN_POINT ('', (5.24075895693139, 2.50773184772689, 16.));
#6160 = CARTESIAN_POINT ('', (5.27187533096841, 2.42918077673882, 15.9758482100961));
#6170 = CARTESIAN_POINT ('', (5.24781544591659, 2.42707580955107, 16.));
#6180 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6140, #6150), (#6160, #6170)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (5.14488625313913E-14, 0.0809641311385886), (-2.16591067997399E-14, 0.034155788837754), .UNSPECIFIED.);
#6190 = ADVANCED_FACE ('', (#6130), #6180, .F.);
#6200 = ORIENTED_EDGE ('', *, *, #4380, .T.);
#6210 = CARTESIAN_POINT ('', (8.37224404765311, 0.908868062738193, 11.4149999999998));
#6220 = VERTEX_POINT ('', #6210);
#6230 = CARTESIAN_POINT ('', (18.0020988545298, 0.0663649357358906, 11.415));
#6240 = CARTESIAN_POINT ('', (8.37224404765311, 0.908868062738193, 11.4149999999998));
#6250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6230, #6240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6260 = EDGE_CURVE ('', #4270, #6220, #6250, .T.);
#6270 = ORIENTED_EDGE ('', *, *, #6260, .T.);
#6280 = CARTESIAN_POINT ('', (8.5658364769242, 1.3133874055936, 15.1));
#6290 = VERTEX_POINT ('', #6280);
#6300 = CARTESIAN_POINT ('', (8.37224404765311, 0.908868062738193, 11.415));
#6310 = CARTESIAN_POINT ('', (8.4951713159614, 1.0986220919778, 13.1681461693217));
#6320 = CARTESIAN_POINT ('', (8.5658364769242, 1.3133874055936, 15.1));
#6330 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6300, #6310, #6320), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.991757297193991, 1.))
   REPRESENTATION_ITEM ('')
);
#6340 = EDGE_CURVE ('', #6220, #6290, #6330, .T.);
#6350 = ORIENTED_EDGE ('', *, *, #6340, .T.);
#6360 = CARTESIAN_POINT ('', (8.5658364769242, 1.3133874055936, 15.1));
#6370 = CARTESIAN_POINT ('', (17.9649417797127, 0.491072244313202, 15.1));
#6380 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6360, #6370), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6390 = EDGE_CURVE ('', #6290, #4340, #6380, .T.);
#6400 = ORIENTED_EDGE ('', *, *, #6390, .T.);
#6410 = EDGE_LOOP ('', (#6200, #6270, #6350, #6400));
#6420 = FACE_OUTER_BOUND ('', #6410, .F.);
#6430 = CARTESIAN_POINT ('', (8.40883662301226, 1.3271231129861, 15.1));
#6440 = CARTESIAN_POINT ('', (8.37224404765311, 0.908868062738165, 11.4149999999998));
#6450 = CARTESIAN_POINT ('', (18.038691429889, 0.484619985983798, 15.1));
#6460 = CARTESIAN_POINT ('', (18.0020988545298, 0.0663649357358622, 11.4149999999998));
#6470 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6430, #6440), (#6450, #6460)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.7546354914042E-14, 9.66663928780495), (-1.81842388369269E-15, 3.70884096499577), .UNSPECIFIED.);
#6480 = ADVANCED_FACE ('', (#6420), #6470, .F.);
#6490 = ORIENTED_EDGE ('', *, *, #4450, .T.);
#6500 = ORIENTED_EDGE ('', *, *, #6390, .F.);
#6510 = CARTESIAN_POINT ('', (8.5658364769242, 1.3133874055936, 15.1));
#6520 = CARTESIAN_POINT ('', (8.711446270639, 1.75592418873579, 15.5535435267993));
#6530 = CARTESIAN_POINT ('', (8.617756427705, 2.21228285227849, 16.));
#6540 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6510, #6520, #6530), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.966343467676811, 1.))
   REPRESENTATION_ITEM ('')
);
#6550 = EDGE_CURVE ('', #6290, #5180, #6540, .T.);
#6560 = ORIENTED_EDGE ('', *, *, #6550, .T.);
#6570 = ORIENTED_EDGE ('', *, *, #5220, .F.);
#6580 = EDGE_LOOP ('', (#6490, #6500, #6560, #6570));
#6590 = FACE_OUTER_BOUND ('', #6580, .F.);
#6600 = CARTESIAN_POINT ('', (17.9649417797127, 0.491072244313173, 15.1));
#6610 = CARTESIAN_POINT ('', (18.0433819481856, 1.3876474725958, 16.));
#6620 = CARTESIAN_POINT ('', (8.53931625923211, 1.31570762399586, 15.1));
#6630 = CARTESIAN_POINT ('', (8.617756427705, 2.21228285227849, 16.));
#6640 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6600, #6610), (#6620, #6630)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 9.46162987871324), (-3.76365605347928E-14, 1.27279220613581), .UNSPECIFIED.);
#6650 = ADVANCED_FACE ('', (#6590), #6640, .F.);
#6660 = CARTESIAN_POINT ('', (13.279508638285, -8.25813469965891, 6.85999999999998));
#6670 = VERTEX_POINT ('', #6660);
#6680 = CARTESIAN_POINT ('', (12.7565741817991, -2.2809665111085, 6.85999999999998));
#6690 = VERTEX_POINT ('', #6680);
#6700 = CARTESIAN_POINT ('', (13.279508638285, -8.25813469965891, 6.85999999999998));
#6710 = CARTESIAN_POINT ('', (16.2680927325604, -7.996667471416, 6.85999999999998));
#6720 = CARTESIAN_POINT ('', (16.0066255043174, -5.00808337714064, 6.85999999999998));
#6730 = CARTESIAN_POINT ('', (15.7451582760744, -2.01949928286527, 6.85999999999998));
#6740 = CARTESIAN_POINT ('', (12.7565741817991, -2.28096651110829, 6.85999999999998));
#6750 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6700, #6710, #6720, #6730, #6740), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (94.9999999999986, 185., 275.000000000001), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186541, 1., 0.707106781186541, 1.))
   REPRESENTATION_ITEM ('')
);
#6760 = EDGE_CURVE ('', #6670, #6690, #6750, .T.);
#6770 = ORIENTED_EDGE ('', *, *, #6760, .F.);
#6780 = CARTESIAN_POINT ('', (10.018041410042, -5.2695506053837, 6.85999999999998));
#6790 = VERTEX_POINT ('', #6780);
#6800 = CARTESIAN_POINT ('', (10.0180414100419, -5.2695506053837, 6.85999999999998));
#6810 = CARTESIAN_POINT ('', (10.0180414100423, -6.58958219806321, 6.85999999999998));
#6820 = CARTESIAN_POINT ('', (10.991270787194, -7.48138261582544, 6.85999999999984));
#6830 = CARTESIAN_POINT ('', (11.9645001643457, -8.37318303358767, 6.8599999999997));
#6840 = CARTESIAN_POINT ('', (13.2795086382877, -8.25813469969015, 6.8599999999995));
#6850 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6800, #6810, #6820, #6830, #6840), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (1.32989593079624E-11, 47.4999999997267, 94.9999999994401), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.915311479120454, 1., 0.915311479120454, 1.))
   REPRESENTATION_ITEM ('')
);
#6860 = EDGE_CURVE ('', #6790, #6670, #6850, .T.);
#6870 = ORIENTED_EDGE ('', *, *, #6860, .F.);
#6880 = CARTESIAN_POINT ('', (12.7565741817991, -2.2809665111086, 6.85999999999998));
#6890 = CARTESIAN_POINT ('', (10.0180414100421, -2.5205570833314, 6.85999999999998));
#6900 = CARTESIAN_POINT ('', (10.018041410042, -5.2695506053837, 6.85999999999998));
#6910 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6880, #6890, #6900), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (274.999999999996, 359.999999999998), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.737277336810114, 1.))
   REPRESENTATION_ITEM ('')
);
#6920 = EDGE_CURVE ('', #6690, #6790, #6910, .T.);
#6930 = ORIENTED_EDGE ('', *, *, #6920, .F.);
#6940 = EDGE_LOOP ('', (#6770, #6870, #6930));
#6950 = FACE_OUTER_BOUND ('', #6940, .F.);
#6960 = CARTESIAN_POINT ('', (13.2323138035871, -7.7186952706423, 6.85999999999998));
#6970 = VERTEX_POINT ('', #6960);
#6980 = CARTESIAN_POINT ('', (13.0180414100446, -7.7280506053838, 6.85999999999998));
#6990 = VERTEX_POINT ('', #6980);
#7000 = CARTESIAN_POINT ('', (13.2323138035871, -7.71869527064236, 6.85999999999998));
#7010 = CARTESIAN_POINT ('', (13.1253818381839, -7.72805060538368, 6.85999999999998));
#7020 = CARTESIAN_POINT ('', (13.0180414100446, -7.72805060538379, 6.85999999999998));
#7030 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7000, #7010, #7020), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (85.0000000000026, 90.102531733086), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.99090261336377, 0.98375974058015))
   REPRESENTATION_ITEM ('')
);
#7040 = EDGE_CURVE ('', #6970, #6990, #7030, .T.);
#7050 = ORIENTED_EDGE ('', *, *, #7040, .F.);
#7060 = CARTESIAN_POINT ('', (12.803769016497, -2.8204059401251, 6.85999999999998));
#7070 = VERTEX_POINT ('', #7060);
#7080 = CARTESIAN_POINT ('', (12.803769016497, -2.82040594012507, 6.85999999999998));
#7090 = CARTESIAN_POINT ('', (15.2529136817556, -2.60613354658007, 6.85999999999998));
#7100 = CARTESIAN_POINT ('', (15.4671860753006, -5.05527821183864, 6.85999999999998));
#7110 = CARTESIAN_POINT ('', (15.6814584688457, -7.50442287709721, 6.85999999999998));
#7120 = CARTESIAN_POINT ('', (13.2323138035871, -7.71869527064231, 6.85999999999998));
#7130 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7080, #7090, #7100, #7110, #7120), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (265.000000000003, 355.000000000002, 445.000000000001), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186555, 1., 0.707106781186555, 1.))
   REPRESENTATION_ITEM ('')
);
#7140 = EDGE_CURVE ('', #7070, #6970, #7130, .T.);
#7150 = ORIENTED_EDGE ('', *, *, #7140, .F.);
#7160 = CARTESIAN_POINT ('', (10.5595414100421, -5.2695506053837, 6.85999999999998));
#7170 = VERTEX_POINT ('', #7160);
#7180 = CARTESIAN_POINT ('', (10.5595414100421, -5.2695506053837, 6.85999999999998));
#7190 = CARTESIAN_POINT ('', (10.5595414100421, -3.01675041406183, 6.85999999999998));
#7200 = CARTESIAN_POINT ('', (12.803769016497, -2.82040594012513, 6.85999999999998));
#7210 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7180, #7190, #7200), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (270., 355.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.737277336810121, 1.))
   REPRESENTATION_ITEM ('')
);
#7220 = EDGE_CURVE ('', #7170, #7070, #7210, .T.);
#7230 = ORIENTED_EDGE ('', *, *, #7220, .F.);
#7240 = CARTESIAN_POINT ('', (13.0180414100446, -7.72805060538379, 6.85999999999998));
#7250 = CARTESIAN_POINT ('', (12.0619830477825, -7.72805060538476, 6.85999999999998));
#7260 = CARTESIAN_POINT ('', (11.3571028846189, -7.08214693793141, 6.85999999999998));
#7270 = CARTESIAN_POINT ('', (10.5595414100421, -6.35131649558129, 6.85999999999998));
#7280 = CARTESIAN_POINT ('', (10.5595414100421, -5.2695506053837, 6.85999999999998));
#7290 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7240, #7250, #7260, #7270, #7280), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (90.102531733086, 132.500000000002, 180.000000000002), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.98375974058015, 0.924408865755678, 1., 0.915311479119448, 1.))
   REPRESENTATION_ITEM ('')
);
#7300 = EDGE_CURVE ('', #6990, #7170, #7290, .T.);
#7310 = ORIENTED_EDGE ('', *, *, #7300, .F.);
#7320 = EDGE_LOOP ('', (#7050, #7150, #7230, #7310));
#7330 = FACE_BOUND ('', #7320, .F.);
#7340 = CARTESIAN_POINT ('', (15.7451582760744, -2.01949928286527, 6.85999999999998));
#7350 = CARTESIAN_POINT ('', (9.66475201201513, -2.55146590060252, 6.85999999999998));
#7360 = CARTESIAN_POINT ('', (16.2680927325621, -7.99666747143429, 6.85999999999998));
#7370 = CARTESIAN_POINT ('', (10.1876864685027, -8.52863408917155, 6.85999999999998));
#7380 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7340, #7350), (#7360, #7370)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.37852108433015E-13, 6.00000000001848), (-5.48559103457351E-14, 6.10363242818552), .UNSPECIFIED.);
#7390 = ADVANCED_FACE ('', (#6950, #7330), #7380, .F.);
#7400 = CARTESIAN_POINT ('', (10.018041410042, -5.2695506053837, 8.06000000000006));
#7410 = VERTEX_POINT ('', #7400);
#7420 = CARTESIAN_POINT ('', (10.018041410042, -5.2695506053837, 6.85999999999998));
#7430 = CARTESIAN_POINT ('', (10.018041410042, -5.2695506053837, 8.06000000000006));
#7440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7420, #7430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7450 = EDGE_CURVE ('', #6790, #7410, #7440, .T.);
#7460 = ORIENTED_EDGE ('', *, *, #7450, .F.);
#7470 = ORIENTED_EDGE ('', *, *, #6860, .T.);
#7480 = ORIENTED_EDGE ('', *, *, #6760, .T.);
#7490 = CARTESIAN_POINT ('', (12.7565741817991, -2.2809665111085, 8.05999999999998));
#7500 = VERTEX_POINT ('', #7490);
#7510 = CARTESIAN_POINT ('', (12.7565741817991, -2.2809665111085, 6.85999999999998));
#7520 = CARTESIAN_POINT ('', (12.7565741817991, -2.2809665111085, 8.05999999999998));
#7530 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7510, #7520), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7540 = EDGE_CURVE ('', #6690, #7500, #7530, .T.);
#7550 = ORIENTED_EDGE ('', *, *, #7540, .T.);
#7560 = CARTESIAN_POINT ('', (10.018041410042, -5.2695506053837, 8.05999999999998));
#7570 = CARTESIAN_POINT ('', (10.0180414100421, -7.32177135178233, 8.05999999999998));
#7580 = CARTESIAN_POINT ('', (11.930727295191, -8.0655742132321, 8.05999999999998));
#7590 = CARTESIAN_POINT ('', (13.84341318034, -8.80937707468188, 8.05999999999998));
#7600 = CARTESIAN_POINT ('', (15.2298734204726, -7.29632122823058, 8.05999999999998));
#7610 = CARTESIAN_POINT ('', (16.6163336606052, -5.78326538177929, 8.05999999999998));
#7620 = CARTESIAN_POINT ('', (15.7086596346402, -3.94268453472652, 8.05999999999998));
#7630 = CARTESIAN_POINT ('', (14.8009856086753, -2.10210368767375, 8.05999999999998));
#7640 = CARTESIAN_POINT ('', (12.7565741817991, -2.28096651110829, 8.05999999999998));
#7650 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7560, #7570, #7580, #7590, #7600, #7610, #7620, #7630, #7640), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (1.89985132972748E-12, 68.7500000000016, 137.500000000001, 206.250000000001, 275.000000000001), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.825359933084865, 1., 0.825359933084865, 1., 0.825359933084865, 1., 0.825359933084865, 1.))
   REPRESENTATION_ITEM ('')
);
#7660 = EDGE_CURVE ('', #7410, #7500, #7650, .T.);
#7670 = ORIENTED_EDGE ('', *, *, #7660, .F.);
#7680 = EDGE_LOOP ('', (#7460, #7470, #7480, #7550, #7670));
#7690 = FACE_OUTER_BOUND ('', #7680, .F.);
#7700 = CARTESIAN_POINT ('', (12.7565741817447, -2.28096651111315, 8.06000000000006));
#7710 = CARTESIAN_POINT ('', (12.7565741817447, -2.28096651111315, 6.85999999999951));
#7720 = CARTESIAN_POINT ('', (12.8870585812891, -2.26955060538366, 8.06000000000006));
#7730 = CARTESIAN_POINT ('', (12.8870585812891, -2.26955060538364, 6.85999999999951));
#7740 = CARTESIAN_POINT ('', (13.018041410042, -2.26955060538366, 8.06000000000006));
#7750 = CARTESIAN_POINT ('', (13.018041410042, -2.26955060538366, 6.85999999999951));
#7760 = CARTESIAN_POINT ('', (16.0180414100475, -2.26955060538366, 8.06000000000006));
#7770 = CARTESIAN_POINT ('', (16.0180414100475, -2.26955060538366, 6.85999999999951));
#7780 = CARTESIAN_POINT ('', (16.0180414100475, -5.2695506053892, 8.06000000000006));
#7790 = CARTESIAN_POINT ('', (16.0180414100475, -5.2695506053892, 6.85999999999951));
#7800 = CARTESIAN_POINT ('', (16.0180414100475, -8.26955060539474, 8.06000000000006));
#7810 = CARTESIAN_POINT ('', (16.0180414100475, -8.26955060539474, 6.85999999999951));
#7820 = CARTESIAN_POINT ('', (13.018041410042, -8.26955060539474, 8.06000000000006));
#7830 = CARTESIAN_POINT ('', (13.018041410042, -8.26955060539474, 6.85999999999951));
#7840 = CARTESIAN_POINT ('', (10.0180414100365, -8.26955060539474, 8.06000000000006));
#7850 = CARTESIAN_POINT ('', (10.0180414100365, -8.26955060539474, 6.85999999999951));
#7860 = CARTESIAN_POINT ('', (10.0180414100365, -5.2695506053892, 8.06000000000006));
#7870 = CARTESIAN_POINT ('', (10.0180414100365, -5.2695506053892, 6.85999999999951));
#7880 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#7700, #7710), (#7720, #7730), (#7740, #7750), (#7760, #7770), (#7780, #7790), (#7800, #7810), (#7820, #7830), (#7840, #7850), (#7860, #7870)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0.234837734480116, 0.25, 0.5, 0.75, 1.), (0.0840266222961722, 0.915973377703817), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.966627305347115, 0.966627305347115), (0.982236300989508, 0.982236300989508), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#7890 = ADVANCED_FACE ('', (#7690), #7880, .F.);
#7900 = CARTESIAN_POINT ('', (13.0180414100445, -7.72805060548095, -7.105427357601E-15));
#7910 = CARTESIAN_POINT ('', (13.0180414100446, -7.72805060548349, 6.85999999999998));
#7920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7900, #7910), .UNSPECIFIED., .F., .U., (2, 2), (0.0834547750900998, 0.916545224910127), .UNSPECIFIED.);
#7930 = EDGE_CURVE ('', #2010, #6990, #7920, .T.);
#7940 = ORIENTED_EDGE ('', *, *, #7930, .T.);
#7950 = ORIENTED_EDGE ('', *, *, #7300, .T.);
#7960 = CARTESIAN_POINT ('', (10.559541410042, -5.2695506053837, -7.25293993112527E-15));
#7970 = CARTESIAN_POINT ('', (10.5595414100421, -5.2695506053837, 6.85999999999998));
#7980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7960, #7970), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7990 = EDGE_CURVE ('', #2090, #7170, #7980, .T.);
#8000 = ORIENTED_EDGE ('', *, *, #7990, .F.);
#8010 = ORIENTED_EDGE ('', *, *, #2160, .F.);
#8020 = EDGE_LOOP ('', (#7940, #7950, #8000, #8010));
#8030 = FACE_OUTER_BOUND ('', #8020, .F.);
#8040 = CARTESIAN_POINT ('', (13.0180414100446, -7.72805060548349, 6.85999999999998));
#8050 = CARTESIAN_POINT ('', (13.0180414100445, -7.72805060548095, -1.82964754458226E-12));
#8060 = CARTESIAN_POINT ('', (10.5595414099947, -7.72805060548348, 6.86));
#8070 = CARTESIAN_POINT ('', (10.5595414099947, -7.72805060548095, -1.80992408174772E-12));
#8080 = CARTESIAN_POINT ('', (10.5595414099947, -5.26955060543361, 6.86000000000091));
#8090 = CARTESIAN_POINT ('', (10.5595414099947, -5.26955060543106, -8.99280649946377E-13));
#8100 = CARTESIAN_POINT ('', (10.5595414099947, -5.26946368305958, 6.86000000000091));
#8110 = CARTESIAN_POINT ('', (10.5595414099947, -5.26946368305703, -8.99248449871125E-13));
#8120 = CARTESIAN_POINT ('', (10.5595414161411, -5.26937676068577, 6.86000000000091));
#8130 = CARTESIAN_POINT ('', (10.5595414161411, -5.26937676068322, -8.99216249845704E-13));
#8140 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8040, #8050), (#8060, #8070), (#8080, #8090), (#8100, #8110), (#8120, #8130)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.25, 0.2500125), (0.0834547750898733, 0.916545224910122), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.999985355339059, 0.999985355339059), (0.999970712142585, 0.999970712142585)))
   REPRESENTATION_ITEM ('')
);
#8150 = ADVANCED_FACE ('', (#8030), #8140, .F.);
#8160 = CARTESIAN_POINT ('', (5.27641783206801, 2.50461210039839, 16.));
#8170 = CARTESIAN_POINT ('', (5.27178839090861, 2.492920390606, 15.9879492983105));
#8180 = CARTESIAN_POINT ('', (5.26732744419141, 2.48116336046689, 15.9758482100961));
#8190 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#8160, #8170, #8180), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.999974184215502, 1.))
   REPRESENTATION_ITEM ('')
);
#8200 = EDGE_CURVE ('', #5250, #5990, #8190, .T.);
#8210 = ORIENTED_EDGE ('', *, *, #8200, .T.);
#8220 = ORIENTED_EDGE ('', *, *, #6100, .T.);
#8230 = ORIENTED_EDGE ('', *, *, #5390, .F.);
#8240 = EDGE_LOOP ('', (#8210, #8220, #8230));
#8250 = FACE_OUTER_BOUND ('', #8240, .F.);
#8260 = CARTESIAN_POINT ('', (5.27431286488019, 2.48055221534662, 15.9758482100961));
#8270 = CARTESIAN_POINT ('', (5.27641783206802, 2.50461210039839, 16.));
#8280 = CARTESIAN_POINT ('', (5.2386539897436, 2.48367196267523, 15.9758482100961));
#8290 = CARTESIAN_POINT ('', (5.24075895693143, 2.507731847727, 16.));
#8300 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8260, #8270), (#8280, #8290)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (8.72609276503234E-15, 0.0357950862466114), (3.94642001369542E-14, 0.0341557888377619), .UNSPECIFIED.);
#8310 = ADVANCED_FACE ('', (#8250), #8300, .F.);
#8320 = ORIENTED_EDGE ('', *, *, #5770, .T.);
#8330 = ORIENTED_EDGE ('', *, *, #5540, .F.);
#8340 = ORIENTED_EDGE ('', *, *, #6040, .F.);
#8350 = ORIENTED_EDGE ('', *, *, #8200, .F.);
#8360 = ORIENTED_EDGE ('', *, *, #5320, .F.);
#8370 = ORIENTED_EDGE ('', *, *, #6550, .F.);
#8380 = ORIENTED_EDGE ('', *, *, #6340, .F.);
#8390 = CARTESIAN_POINT ('', (8.37224404765311, 0.908868062738193, 8.05999999999998));
#8400 = CARTESIAN_POINT ('', (8.37224404765311, 0.908868062738193, 11.4149999999998));
#8410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8390, #8400), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8420 = EDGE_CURVE ('', #40, #6220, #8410, .T.);
#8430 = ORIENTED_EDGE ('', *, *, #8420, .F.);
#8440 = ORIENTED_EDGE ('', *, *, #130, .F.);
#8450 = EDGE_LOOP ('', (#8320, #8330, #8340, #8350, #8360, #8370, #8380, #8430, #8440));
#8460 = FACE_OUTER_BOUND ('', #8450, .F.);
#8470 = CARTESIAN_POINT ('', (5.15350925851209, 1.86035012729259, 16.0000000000002));
#8480 = CARTESIAN_POINT ('', (5.15350925851163, 1.86035012729259, 8.05999999999998));
#8490 = CARTESIAN_POINT ('', (5.15350925851206, 3.61035012729292, 16.0000000000002));
#8500 = CARTESIAN_POINT ('', (5.15350925851163, 3.6103501272929, 8.05999999999998));
#8510 = CARTESIAN_POINT ('', (6.9035092585124, 3.6103501272929, 16.0000000000001));
#8520 = CARTESIAN_POINT ('', (6.90350925851195, 3.61035012729289, 8.05999999999988));
#8530 = CARTESIAN_POINT ('', (8.6535092585127, 3.61035012729292, 16.));
#8540 = CARTESIAN_POINT ('', (8.65350925851226, 3.6103501272929, 8.05999999999978));
#8550 = CARTESIAN_POINT ('', (8.65350925851271, 1.86035012729259, 16.));
#8560 = CARTESIAN_POINT ('', (8.65350925851226, 1.86035012729259, 8.05999999999978));
#8570 = CARTESIAN_POINT ('', (8.65350925851271, 1.34303704558491, 16.));
#8580 = CARTESIAN_POINT ('', (8.65350925851226, 1.34303704558491, 8.05999999999978));
#8590 = CARTESIAN_POINT ('', (8.37224404765321, 0.908868062738279, 16.));
#8600 = CARTESIAN_POINT ('', (8.37224404765277, 0.908868062738279, 8.05999999999979));
#8610 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8470, #8480), (#8490, #8500), (#8510, #8520), (#8530, #8540), (#8550, #8560), (#8570, #8580), (#8590, #8600)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.593111965436067), (0.0834382607235818, 0.916561739276421), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.890912546933534, 0.890912546933534), (0.863083871142535, 0.863083871142535)))
   REPRESENTATION_ITEM ('')
);
#8620 = ADVANCED_FACE ('', (#8460), #8610, .F.);
#8630 = ORIENTED_EDGE ('', *, *, #7450, .T.);
#8640 = CARTESIAN_POINT ('', (12.7565741817991, -2.2809665111086, 8.05999999999998));
#8650 = CARTESIAN_POINT ('', (10.0180414100421, -2.5205570833314, 8.05999999999998));
#8660 = CARTESIAN_POINT ('', (10.018041410042, -5.2695506053837, 8.05999999999998));
#8670 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#8640, #8650, #8660), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (274.999999999996, 359.999999999998), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.737277336810114, 1.))
   REPRESENTATION_ITEM ('')
);
#8680 = EDGE_CURVE ('', #7500, #7410, #8670, .T.);
#8690 = ORIENTED_EDGE ('', *, *, #8680, .F.);
#8700 = ORIENTED_EDGE ('', *, *, #7540, .F.);
#8710 = ORIENTED_EDGE ('', *, *, #6920, .T.);
#8720 = EDGE_LOOP ('', (#8630, #8690, #8700, #8710));
#8730 = FACE_OUTER_BOUND ('', #8720, .F.);
#8740 = CARTESIAN_POINT ('', (10.018041410042, -5.2695506053837, 8.06000000000006));
#8750 = CARTESIAN_POINT ('', (10.018041410042, -5.2695506053837, 6.85999999999998));
#8760 = CARTESIAN_POINT ('', (10.018041410042, -2.52055708333137, 8.06000000000006));
#8770 = CARTESIAN_POINT ('', (10.018041410042, -2.52055708333137, 6.85999999999998));
#8780 = CARTESIAN_POINT ('', (12.7565741817991, -2.28096651110847, 8.06000000000006));
#8790 = CARTESIAN_POINT ('', (12.7565741817991, -2.28096651110849, 6.85999999999998));
#8800 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8740, #8750), (#8760, #8770), (#8780, #8790)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0., 0.234837734483202), (0.0840266222961724, 0.915973377703827), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.724870480193424, 0.724870480193424), (0.966627305353469, 0.966627305353469)))
   REPRESENTATION_ITEM ('')
);
#8810 = ADVANCED_FACE ('', (#8730), #8800, .F.);
#8820 = ORIENTED_EDGE ('', *, *, #7990, .T.);
#8830 = ORIENTED_EDGE ('', *, *, #7220, .T.);
#8840 = CARTESIAN_POINT ('', (12.8037690164969, -2.8204059401251, -7.51121315421952E-15));
#8850 = CARTESIAN_POINT ('', (12.803769016497, -2.8204059401251, 6.85999999999998));
#8860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8840, #8850), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8870 = EDGE_CURVE ('', #2190, #7070, #8860, .T.);
#8880 = ORIENTED_EDGE ('', *, *, #8870, .F.);
#8890 = ORIENTED_EDGE ('', *, *, #2240, .F.);
#8900 = EDGE_LOOP ('', (#8820, #8830, #8880, #8890));
#8910 = FACE_OUTER_BOUND ('', #8900, .F.);
#8920 = CARTESIAN_POINT ('', (10.5595414100421, -5.2695506053837, 6.85999999999998));
#8930 = CARTESIAN_POINT ('', (10.5595414100421, -5.2695506053837, -6.99440505513849E-15));
#8940 = CARTESIAN_POINT ('', (10.5595414100421, -3.01675041406192, 6.85999999999998));
#8950 = CARTESIAN_POINT ('', (10.5595414100421, -3.01675041406192, -6.81568996748708E-15));
#8960 = CARTESIAN_POINT ('', (12.8037690164969, -2.82040594012514, 6.85999999999998));
#8970 = CARTESIAN_POINT ('', (12.8037690164969, -2.82040594012514, -8.61415008511892E-15));
#8980 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8920, #8930), (#8940, #8950), (#8960, #8970)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0., 0.234837734483192), (0.083454775089867, 0.916545224910133), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.724870480193436, 0.724870480193436), (0.966627305353448, 0.966627305353448)))
   REPRESENTATION_ITEM ('')
);
#8990 = ADVANCED_FACE ('', (#8910), #8980, .F.);
#9000 = ORIENTED_EDGE ('', *, *, #8680, .T.);
#9010 = ORIENTED_EDGE ('', *, *, #7660, .T.);
#9020 = EDGE_LOOP ('', (#9000, #9010));
#9030 = FACE_OUTER_BOUND ('', #9020, .F.);
#9040 = CARTESIAN_POINT ('', (10.018041410042, -2.10210368767375, 8.06000000000005));
#9050 = CARTESIAN_POINT ('', (16.6163336606052, -2.10210368767375, 8.06000000000005));
#9060 = CARTESIAN_POINT ('', (10.018041410042, -8.80937707468188, 8.06000000000006));
#9070 = CARTESIAN_POINT ('', (16.6163336606052, -8.80937707468188, 8.06000000000006));
#9080 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9040, #9050), (#9060, #9070)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00100000000001899, 6.70827338700815), (-8.42347195840783, -1.82517970784463), .UNSPECIFIED.);
#9090 = ADVANCED_FACE ('', (#9030), #9080, .F.);
#9100 = ORIENTED_EDGE ('', *, *, #4810, .F.);
#9110 = CARTESIAN_POINT ('', (6.77498354286081, 0.115076183060296, 11.56));
#9120 = VERTEX_POINT ('', #9110);
#9130 = CARTESIAN_POINT ('', (6.77498354286081, 0.115076183060296, 11.56));
#9140 = CARTESIAN_POINT ('', (6.77498354286091, 0.115076183060197, 11.415));
#9150 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9130, #9140), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9160 = EDGE_CURVE ('', #9120, #4710, #9150, .T.);
#9170 = ORIENTED_EDGE ('', *, *, #9160, .F.);
#9180 = CARTESIAN_POINT ('', (7.68212586892241, -10.2536080498714, 11.56));
#9190 = CARTESIAN_POINT ('', (6.77498354286081, 0.115076183060296, 11.56));
#9200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9180, #9190), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9210 = EDGE_CURVE ('', #1140, #9120, #9200, .T.);
#9220 = ORIENTED_EDGE ('', *, *, #9210, .F.);
#9230 = ORIENTED_EDGE ('', *, *, #1180, .T.);
#9240 = EDGE_LOOP ('', (#9100, #9170, #9220, #9230));
#9250 = FACE_OUTER_BOUND ('', #9240, .F.);
#9260 = CARTESIAN_POINT ('', (7.68212586892241, -10.2536080498714, 11.415));
#9270 = CARTESIAN_POINT ('', (7.68212586892241, -10.2536080498714, 11.56));
#9280 = CARTESIAN_POINT ('', (6.77498354286085, 0.115076183060296, 11.415));
#9290 = CARTESIAN_POINT ('', (6.77498354286085, 0.115076183060296, 11.56));
#9300 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9260, #9270), (#9280, #9290)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00108335044083372, 10.4093742726806), (-0.145000000000001, 0.), .UNSPECIFIED.);
#9310 = ADVANCED_FACE ('', (#9250), #9300, .F.);
#9320 = ORIENTED_EDGE ('', *, *, #200, .T.);
#9330 = ORIENTED_EDGE ('', *, *, #8420, .T.);
#9340 = CARTESIAN_POINT ('', (8.37224404765311, 0.908868062738193, 11.56));
#9350 = VERTEX_POINT ('', #9340);
#9360 = CARTESIAN_POINT ('', (8.37224404765311, 0.908868062738193, 11.56));
#9370 = CARTESIAN_POINT ('', (8.37224404765311, 0.908868062738193, 11.4149999999998));
#9380 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9360, #9370), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9390 = EDGE_CURVE ('', #9350, #6220, #9380, .T.);
#9400 = ORIENTED_EDGE ('', *, *, #9390, .F.);
#9410 = CARTESIAN_POINT ('', (6.77498354286081, 0.115076183060296, 11.56));
#9420 = CARTESIAN_POINT ('', (8.37224404765311, 0.908868062738193, 11.56));
#9430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9410, #9420), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9440 = EDGE_CURVE ('', #9120, #9350, #9430, .T.);
#9450 = ORIENTED_EDGE ('', *, *, #9440, .F.);
#9460 = ORIENTED_EDGE ('', *, *, #9160, .T.);
#9470 = ORIENTED_EDGE ('', *, *, #5830, .T.);
#9480 = EDGE_LOOP ('', (#9320, #9330, #9400, #9450, #9460, #9470));
#9490 = FACE_OUTER_BOUND ('', #9480, .F.);
#9500 = CARTESIAN_POINT ('', (6.77498354286081, 0.115076183060296, 8.05999999999998));
#9510 = CARTESIAN_POINT ('', (6.77498354286081, 0.115076183060296, 11.56));
#9520 = CARTESIAN_POINT ('', (8.3722440476531, 0.908868062738236, 8.05999999999998));
#9530 = CARTESIAN_POINT ('', (8.3722440476531, 0.908868062738236, 11.56));
#9540 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9500, #9510), (#9520, #9530)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0013405517774312, 1.78497354889648), (-3.50000000000002, 0.), .UNSPECIFIED.);
#9550 = ADVANCED_FACE ('', (#9490), #9540, .F.);
#9560 = ORIENTED_EDGE ('', *, *, #6260, .F.);
#9570 = ORIENTED_EDGE ('', *, *, #4310, .F.);
#9580 = CARTESIAN_POINT ('', (8.37224404765311, 0.908868062738193, 11.56));
#9590 = CARTESIAN_POINT ('', (18.0020988545298, 0.0663649357358906, 11.56));
#9600 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9580, #9590), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9610 = EDGE_CURVE ('', #9350, #4200, #9600, .T.);
#9620 = ORIENTED_EDGE ('', *, *, #9610, .F.);
#9630 = ORIENTED_EDGE ('', *, *, #9390, .T.);
#9640 = EDGE_LOOP ('', (#9560, #9570, #9620, #9630));
#9650 = FACE_OUTER_BOUND ('', #9640, .F.);
#9660 = CARTESIAN_POINT ('', (8.37224404765311, 0.908868062738193, 11.4149999999998));
#9670 = CARTESIAN_POINT ('', (8.37224404765311, 0.908868062738193, 11.56));
#9680 = CARTESIAN_POINT ('', (18.0020988545298, 0.0663649357358764, 11.4149999999998));
#9690 = CARTESIAN_POINT ('', (18.0020988545298, 0.0663649357358764, 11.56));
#9700 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9660, #9670), (#9680, #9690)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00108335044084911, 9.66772263824583), (-0.1450000000002, 0.), .UNSPECIFIED.);
#9710 = ADVANCED_FACE ('', (#9650), #9700, .F.);
#9720 = ORIENTED_EDGE ('', *, *, #9210, .T.);
#9730 = ORIENTED_EDGE ('', *, *, #9440, .T.);
#9740 = ORIENTED_EDGE ('', *, *, #9610, .T.);
#9750 = ORIENTED_EDGE ('', *, *, #4240, .T.);
#9760 = ORIENTED_EDGE ('', *, *, #690, .T.);
#9770 = ORIENTED_EDGE ('', *, *, #1230, .T.);
#9780 = EDGE_LOOP ('', (#9720, #9730, #9740, #9750, #9760, #9770));
#9790 = FACE_OUTER_BOUND ('', #9780, .F.);
#9800 = CARTESIAN_POINT ('', (6.77498354286081, -11.211440607984, 11.5600000000001));
#9810 = CARTESIAN_POINT ('', (18.9599314126429, -11.211440607984, 11.5600000000001));
#9820 = CARTESIAN_POINT ('', (6.77498354286081, 0.908868062738193, 11.5600000000001));
#9830 = CARTESIAN_POINT ('', (18.9599314126429, 0.908868062738193, 11.5600000000001));
#9840 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9800, #9810), (#9820, #9830)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.51841804419307, 11.6018906265291), (-11.666529825589, 0.518418044193069), .UNSPECIFIED.);
#9850 = ADVANCED_FACE ('', (#9790), #9840, .F.);
#9860 = ORIENTED_EDGE ('', *, *, #7930, .F.);
#9870 = ORIENTED_EDGE ('', *, *, #2060, .F.);
#9880 = ORIENTED_EDGE ('', *, *, #2320, .F.);
#9890 = ORIENTED_EDGE ('', *, *, #8870, .T.);
#9900 = ORIENTED_EDGE ('', *, *, #7140, .T.);
#9910 = ORIENTED_EDGE ('', *, *, #7040, .T.);
#9920 = EDGE_LOOP ('', (#9860, #9870, #9880, #9890, #9900, #9910));
#9930 = FACE_OUTER_BOUND ('', #9920, .F.);
#9940 = CARTESIAN_POINT ('', (12.8037690164968, -2.82040594012522, 6.8600000000018));
#9950 = CARTESIAN_POINT ('', (12.8037690164967, -2.82040594012267, -1.01690001270186E-14));
#9960 = CARTESIAN_POINT ('', (12.9107009819027, -2.81105060538373, 6.8600000000018));
#9970 = CARTESIAN_POINT ('', (12.9107009819026, -2.81105060538118, -7.56886973248681E-15));
#9980 = CARTESIAN_POINT ('', (13.0180414100446, -2.81105060538373, 6.8600000000018));
#9990 = CARTESIAN_POINT ('', (13.0180414100445, -2.81105060538118, -8.43769498715119E-15));
#10000 = CARTESIAN_POINT ('', (15.4765414100945, -2.81105060538373, 6.86000000000178));
#10010 = CARTESIAN_POINT ('', (15.4765414100944, -2.81105060538117, -2.81831596333738E-14));
#10020 = CARTESIAN_POINT ('', (15.4765414100945, -5.26955060543361, 6.86000000000087));
#10030 = CARTESIAN_POINT ('', (15.4765414100944, -5.26955060543106, -9.38915611925495E-13));
#10040 = CARTESIAN_POINT ('', (15.4765414100945, -7.72805060548348, 6.85999999999996));
#10050 = CARTESIAN_POINT ('', (15.4765414100944, -7.72805060548095, -1.84964742095242E-12));
#10060 = CARTESIAN_POINT ('', (13.0180414100446, -7.72805060548349, 6.85999999999998));
#10070 = CARTESIAN_POINT ('', (13.0180414100445, -7.72805060548095, -1.82964754458226E-12));
#10080 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#9940, #9950), (#9960, #9970), (#9980, #9990), (#10000, #10010), (#10020, #10030), (#10040, #10050), (#10060, #10070)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 3), (2, 2), (0.484837734483312, 0.5, 0.75, 1.), (0.0834547750898733, 0.916545224910122), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.966627305353696, 0.966627305353696), (0.982236300993253, 0.982236300993253), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#10090 = ADVANCED_FACE ('', (#9930), #10080, .F.);
#10100 = CLOSED_SHELL ('', (#350, #1030, #1590, #2410, #2690, #2970, #3250, #3450, #3670, #3790, #4010, #4170, #4610, #4900, #5130, #5730, #5970, #6190, #6480, #6650, #7390, #7890, #8150, #8310, #8620, #8810, #8990, #9090, #9310, #9550, #9710, #9850, #10090));
#10110 = MANIFOLD_SOLID_BREP ('SCLCR_1616_H12_stp', #10100);
#10120 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#10130 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#10140 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#10150 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(0.001), #10120, 'DISTANCE_ACCURACY_VALUE', '');
#10160 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#10150))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#10120, #10130, #10140))
   REPRESENTATION_CONTEXT ('', '3D')
);
#10170 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#10180 = FILL_AREA_STYLE_COLOUR ('', #10170);
#10190 = FILL_AREA_STYLE ('', (#10180));
#10200 = SURFACE_STYLE_FILL_AREA (#10190);
#10210 = SURFACE_SIDE_STYLE ('', (#10200));
#10220 = SURFACE_STYLE_USAGE (.POSITIVE., #10210);
#10230 = PRESENTATION_STYLE_ASSIGNMENT ((#10220));
#10240 = STYLED_ITEM ('', (#10230), #10110);
#10250 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#10110), #10160);
#10260 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#10270 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #10260);
#10280 = MECHANICAL_CONTEXT ('', #10260, 'mechanical');
#10290 = PRODUCT ('SCLCR_1616_H12_stp', '', '', (#10280));
#10300 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#10310 = PERSON ('', '', $, $, $, $);
#10320 = ORGANIZATION ($, '', '');
#10330 = PERSON_AND_ORGANIZATION (#10310, #10320);
#10340 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10330, #10300, (#10290));
#10350 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#10290));
#10360 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #10290, .NOT_KNOWN.);
#10370 = APPROVAL_STATUS ('approved');
#10380 = APPROVAL (#10370, '');
#10390 = CALENDAR_DATE (2011, 12, 1);
#10400 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10410 = LOCAL_TIME (9, 44, 14., #10400);
#10420 = DATE_AND_TIME (#10390, #10410);
#10430 = APPROVAL_DATE_TIME (#10420, #10380);
#10440 = APPROVAL_ROLE ('');
#10450 = PERSON ('', '', $, $, $, $);
#10460 = ORGANIZATION ($, '', '');
#10470 = PERSON_AND_ORGANIZATION (#10450, #10460);
#10480 = APPROVAL_PERSON_ORGANIZATION (#10470, #10380, #10440);
#10490 = CC_DESIGN_APPROVAL (#10380, (#10360));
#10500 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#10510 = PERSON ('', '', $, $, $, $);
#10520 = ORGANIZATION ($, '', '');
#10530 = PERSON_AND_ORGANIZATION (#10510, #10520);
#10540 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10530, #10500, (#10360));
#10550 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#10560 = PERSON ('', '', $, $, $, $);
#10570 = ORGANIZATION ($, '', '');
#10580 = PERSON_AND_ORGANIZATION (#10560, #10570);
#10590 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10580, #10550, (#10360));
#10600 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#10610 = SECURITY_CLASSIFICATION ('', '', #10600);
#10620 = APPROVAL_STATUS ('approved');
#10630 = APPROVAL (#10620, '');
#10640 = CALENDAR_DATE (2011, 12, 1);
#10650 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10660 = LOCAL_TIME (9, 44, 14., #10650);
#10670 = DATE_AND_TIME (#10640, #10660);
#10680 = APPROVAL_DATE_TIME (#10670, #10630);
#10690 = APPROVAL_ROLE ('');
#10700 = PERSON ('', '', $, $, $, $);
#10710 = ORGANIZATION ($, '', '');
#10720 = PERSON_AND_ORGANIZATION (#10700, #10710);
#10730 = APPROVAL_PERSON_ORGANIZATION (#10720, #10630, #10690);
#10740 = CC_DESIGN_APPROVAL (#10630, (#10610));
#10750 = DATE_TIME_ROLE ('classification_date');
#10760 = CALENDAR_DATE (2011, 12, 1);
#10770 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10780 = LOCAL_TIME (9, 44, 14., #10770);
#10790 = DATE_AND_TIME (#10760, #10780);
#10800 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#10790, #10750, (#10610));
#10810 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#10820 = PERSON ('', '', $, $, $, $);
#10830 = ORGANIZATION ($, '', '');
#10840 = PERSON_AND_ORGANIZATION (#10820, #10830);
#10850 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10840, #10810, (#10610));
#10860 = CC_DESIGN_SECURITY_CLASSIFICATION (#10610, (#10360));
#10870 = DESIGN_CONTEXT ('', #10260, 'design');
#10880 = PRODUCT_DEFINITION ('', '', #10360, #10870);
#10890 = APPROVAL_STATUS ('approved');
#10900 = APPROVAL (#10890, '');
#10910 = CALENDAR_DATE (2011, 12, 1);
#10920 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#10930 = LOCAL_TIME (9, 44, 14., #10920);
#10940 = DATE_AND_TIME (#10910, #10930);
#10950 = APPROVAL_DATE_TIME (#10940, #10900);
#10960 = APPROVAL_ROLE ('');
#10970 = PERSON ('', '', $, $, $, $);
#10980 = ORGANIZATION ($, '', '');
#10990 = PERSON_AND_ORGANIZATION (#10970, #10980);
#11000 = APPROVAL_PERSON_ORGANIZATION (#10990, #10900, #10960);
#11010 = CC_DESIGN_APPROVAL (#10900, (#10880));
#11020 = DATE_TIME_ROLE ('creation_date');
#11030 = CALENDAR_DATE (2011, 12, 1);
#11040 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#11050 = LOCAL_TIME (9, 44, 14., #11040);
#11060 = DATE_AND_TIME (#11030, #11050);
#11070 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#11060, #11020, (#10880));
#11080 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#11090 = PERSON ('', '', $, $, $, $);
#11100 = ORGANIZATION ($, '', '');
#11110 = PERSON_AND_ORGANIZATION (#11090, #11100);
#11120 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#11110, #11080, (#10880));
#11130 = PRODUCT_DEFINITION_SHAPE ('', '', #10880);
#11140 = SHAPE_DEFINITION_REPRESENTATION (#11130, #10250);
#11150 = CARTESIAN_POINT ('', (19.1812139727142, -11.4147252744374, 11.24));
#11160 = VERTEX_POINT ('', #11150);
#11170 = CARTESIAN_POINT ('', (7.94880253862967, -10.432016609896, 11.24));
#11180 = VERTEX_POINT ('', #11170);
#11190 = CARTESIAN_POINT ('', (19.1812139727142, -11.4147252744374, 11.24));
#11200 = CARTESIAN_POINT ('', (7.94880253862967, -10.432016609896, 11.24));
#11210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11190, #11200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11220 = EDGE_CURVE ('', #11160, #11180, #11210, .T.);
#11230 = ORIENTED_EDGE ('', *, *, #11220, .T.);
#11240 = CARTESIAN_POINT ('', (7.89786397171731, -11.014247093932, 16.));
#11250 = VERTEX_POINT ('', #11240);
#11260 = CARTESIAN_POINT ('', (7.94880253862968, -10.432016609896, 11.24));
#11270 = CARTESIAN_POINT ('', (7.89786397171731, -11.014247093932, 16.));
#11280 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#11260, #11270), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((2, 2), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1.))
   REPRESENTATION_ITEM ('')
);
#11290 = EDGE_CURVE ('', #11180, #11250, #11280, .T.);
#11300 = ORIENTED_EDGE ('', *, *, #11290, .T.);
#11310 = CARTESIAN_POINT ('', (19.1302754058019, -11.9969557584734, 16.));
#11320 = VERTEX_POINT ('', #11310);
#11330 = CARTESIAN_POINT ('', (19.1302754058019, -11.9969557584734, 16.));
#11340 = CARTESIAN_POINT ('', (7.89786397171731, -11.014247093932, 16.));
#11350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11330, #11340), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11360 = EDGE_CURVE ('', #11320, #11250, #11350, .T.);
#11370 = ORIENTED_EDGE ('', *, *, #11360, .F.);
#11380 = CARTESIAN_POINT ('', (19.1812139727142, -11.4147252744374, 11.24));
#11390 = CARTESIAN_POINT ('', (19.1302754058019, -11.9969557584734, 16.));
#11400 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11380, #11390), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11410 = EDGE_CURVE ('', #11160, #11320, #11400, .T.);
#11420 = ORIENTED_EDGE ('', *, *, #11410, .F.);
#11430 = EDGE_LOOP ('', (#11230, #11300, #11370, #11420));
#11440 = FACE_OUTER_BOUND ('', #11430, .F.);
#11450 = CARTESIAN_POINT ('', (19.1812139727142, -11.4147252744374, 11.24));
#11460 = CARTESIAN_POINT ('', (19.1302754058019, -11.9969557584734, 16.));
#11470 = CARTESIAN_POINT ('', (7.94880253862967, -10.432016609896, 11.24));
#11480 = CARTESIAN_POINT ('', (7.89786397171731, -11.014247093932, 16.));
#11490 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11450, #11460), (#11470, #11480)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#11500 = ADVANCED_FACE ('', (#11440), #11490, .F.);
#11510 = CARTESIAN_POINT ('', (7.75286329147807, -10.2360773627444, 11.24));
#11520 = VERTEX_POINT ('', #11510);
#11530 = CARTESIAN_POINT ('', (7.94880253862968, -10.432016609896, 11.24));
#11540 = CARTESIAN_POINT ('', (7.76862664004484, -10.4162532613292, 11.2399999999999));
#11550 = CARTESIAN_POINT ('', (7.75286329147807, -10.2360773627444, 11.24));
#11560 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#11530, #11540, #11550), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.76604444311669, 1.))
   REPRESENTATION_ITEM ('')
);
#11570 = EDGE_CURVE ('', #11180, #11520, #11560, .T.);
#11580 = ORIENTED_EDGE ('', *, *, #11570, .T.);
#11590 = CARTESIAN_POINT ('', (7.17063280744204, -10.2870159296568, 16.));
#11600 = VERTEX_POINT ('', #11590);
#11610 = CARTESIAN_POINT ('', (7.75286329147807, -10.2360773627444, 11.24));
#11620 = CARTESIAN_POINT ('', (7.17063280744204, -10.2870159296568, 16.));
#11630 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11610, #11620), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11640 = EDGE_CURVE ('', #11520, #11600, #11630, .T.);
#11650 = ORIENTED_EDGE ('', *, *, #11640, .T.);
#11660 = CARTESIAN_POINT ('', (7.89786397171731, -11.014247093932, 16.));
#11670 = CARTESIAN_POINT ('', (7.22913868871768, -10.9557412126564, 16.));
#11680 = CARTESIAN_POINT ('', (7.17063280744204, -10.2870159296568, 16.));
#11690 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#11660, #11670, #11680), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.766044443118978, 1.))
   REPRESENTATION_ITEM ('')
);
#11700 = EDGE_CURVE ('', #11250, #11600, #11690, .T.);
#11710 = ORIENTED_EDGE ('', *, *, #11700, .F.);
#11720 = ORIENTED_EDGE ('', *, *, #11290, .F.);
#11730 = EDGE_LOOP ('', (#11580, #11650, #11710, #11720));
#11740 = FACE_OUTER_BOUND ('', #11730, .F.);
#11750 = CARTESIAN_POINT ('', (7.94880253862968, -10.432016609896, 11.24));
#11760 = CARTESIAN_POINT ('', (7.89786397171731, -11.014247093932, 16.));
#11770 = CARTESIAN_POINT ('', (7.76862664004484, -10.4162532613292, 11.2399999999999));
#11780 = CARTESIAN_POINT ('', (7.22913868871768, -10.9557412126564, 16.));
#11790 = CARTESIAN_POINT ('', (7.75286329147807, -10.2360773627444, 11.24));
#11800 = CARTESIAN_POINT ('', (7.17063280744204, -10.2870159296568, 16.));
#11810 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#11750, #11760), (#11770, #11780), (#11790, #11800)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.76604444311669, 0.766044443118978), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#11820 = ADVANCED_FACE ('', (#11740), #11810, .F.);
#11830 = CARTESIAN_POINT ('', (6.7701546269367, 0.996334071340172, 11.24));
#11840 = VERTEX_POINT ('', #11830);
#11850 = CARTESIAN_POINT ('', (7.75286329147807, -10.2360773627444, 11.24));
#11860 = CARTESIAN_POINT ('', (6.7701546269367, 0.996334071340176, 11.24));
#11870 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11850, #11860), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11880 = EDGE_CURVE ('', #11520, #11840, #11870, .T.);
#11890 = ORIENTED_EDGE ('', *, *, #11880, .T.);
#11900 = CARTESIAN_POINT ('', (6.18792414290068, 0.945395504427811, 16.));
#11910 = VERTEX_POINT ('', #11900);
#11920 = CARTESIAN_POINT ('', (6.7701546269367, 0.996334071340172, 11.24));
#11930 = CARTESIAN_POINT ('', (6.18792414290068, 0.945395504427808, 16.));
#11940 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#11920, #11930), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((2, 2), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1.))
   REPRESENTATION_ITEM ('')
);
#11950 = EDGE_CURVE ('', #11840, #11910, #11940, .T.);
#11960 = ORIENTED_EDGE ('', *, *, #11950, .T.);
#11970 = CARTESIAN_POINT ('', (7.17063280744204, -10.2870159296568, 16.));
#11980 = CARTESIAN_POINT ('', (6.18792414290068, 0.945395504427811, 16.));
#11990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11970, #11980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12000 = EDGE_CURVE ('', #11600, #11910, #11990, .T.);
#12010 = ORIENTED_EDGE ('', *, *, #12000, .F.);
#12020 = ORIENTED_EDGE ('', *, *, #11640, .F.);
#12030 = EDGE_LOOP ('', (#11890, #11960, #12010, #12020));
#12040 = FACE_OUTER_BOUND ('', #12030, .F.);
#12050 = CARTESIAN_POINT ('', (7.75286329147807, -10.2360773627444, 11.24));
#12060 = CARTESIAN_POINT ('', (7.17063280744204, -10.2870159296568, 16.));
#12070 = CARTESIAN_POINT ('', (6.7701546269367, 0.996334071340176, 11.24));
#12080 = CARTESIAN_POINT ('', (6.18792414290068, 0.945395504427811, 16.));
#12090 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12050, #12060), (#12070, #12080)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#12100 = ADVANCED_FACE ('', (#12040), #12090, .F.);
#12110 = CARTESIAN_POINT ('', (7.00366592865984, 1.22984537306331, 11.24));
#12120 = VERTEX_POINT ('', #12110);
#12130 = CARTESIAN_POINT ('', (6.7701546269367, 0.996334071340172, 11.24));
#12140 = CARTESIAN_POINT ('', (6.76139455854702, 1.09646211120944, 11.24));
#12150 = CARTESIAN_POINT ('', (6.83246622366874, 1.16753377633051, 11.2399999999999));
#12160 = CARTESIAN_POINT ('', (6.90353788879044, 1.23860544145158, 11.2399999999999));
#12170 = CARTESIAN_POINT ('', (7.00366592865984, 1.22984537306331, 11.24));
#12180 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#12130, #12140, #12150, #12160, #12170), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.906307787035605, 1., 0.906307787035605, 1.))
   REPRESENTATION_ITEM ('')
);
#12190 = EDGE_CURVE ('', #11840, #12120, #12180, .T.);
#12200 = ORIENTED_EDGE ('', *, *, #12190, .T.);
#12210 = CARTESIAN_POINT ('', (7.0546044955722, 1.81207585709933, 16.));
#12220 = VERTEX_POINT ('', #12210);
#12230 = CARTESIAN_POINT ('', (7.00366592865984, 1.22984537306331, 11.24));
#12240 = CARTESIAN_POINT ('', (7.0546044955722, 1.81207585709933, 16.));
#12250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12230, #12240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12260 = EDGE_CURVE ('', #12120, #12220, #12250, .T.);
#12270 = ORIENTED_EDGE ('', *, *, #12260, .T.);
#12280 = CARTESIAN_POINT ('', (6.18792414290068, 0.945395504427808, 16.));
#12290 = CARTESIAN_POINT ('', (6.15541103066434, 1.31702207781468, 16.));
#12300 = CARTESIAN_POINT ('', (6.41919447642484, 1.58080552357517, 16.));
#12310 = CARTESIAN_POINT ('', (6.68297792218533, 1.84458896933567, 16.));
#12320 = CARTESIAN_POINT ('', (7.0546044955722, 1.81207585709933, 16.));
#12330 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#12280, #12290, #12300, #12310, #12320), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.90630778703665, 1., 0.90630778703665, 1.))
   REPRESENTATION_ITEM ('')
);
#12340 = EDGE_CURVE ('', #11910, #12220, #12330, .T.);
#12350 = ORIENTED_EDGE ('', *, *, #12340, .F.);
#12360 = ORIENTED_EDGE ('', *, *, #11950, .F.);
#12370 = EDGE_LOOP ('', (#12200, #12270, #12350, #12360));
#12380 = FACE_OUTER_BOUND ('', #12370, .F.);
#12390 = CARTESIAN_POINT ('', (6.7701546269367, 0.996334071340172, 11.24));
#12400 = CARTESIAN_POINT ('', (6.18792414290068, 0.945395504427808, 16.));
#12410 = CARTESIAN_POINT ('', (6.76139455854702, 1.09646211120944, 11.24));
#12420 = CARTESIAN_POINT ('', (6.15541103066434, 1.31702207781468, 16.));
#12430 = CARTESIAN_POINT ('', (6.83246622366874, 1.16753377633051, 11.2399999999999));
#12440 = CARTESIAN_POINT ('', (6.41919447642484, 1.58080552357517, 16.));
#12450 = CARTESIAN_POINT ('', (6.90353788879044, 1.23860544145158, 11.2399999999999));
#12460 = CARTESIAN_POINT ('', (6.68297792218533, 1.84458896933567, 16.));
#12470 = CARTESIAN_POINT ('', (7.00366592865984, 1.22984537306331, 11.24));
#12480 = CARTESIAN_POINT ('', (7.0546044955722, 1.81207585709933, 16.));
#12490 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#12390, #12400), (#12410, #12420), (#12430, #12440), (#12450, #12460), (#12470, #12480)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.5, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.906307787035605, 0.90630778703665), (1., 1.), (0.906307787035605, 0.90630778703665), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#12500 = ADVANCED_FACE ('', (#12380), #12490, .F.);
#12510 = CARTESIAN_POINT ('', (18.2360773627444, 0.247136708521943, 11.24));
#12520 = VERTEX_POINT ('', #12510);
#12530 = CARTESIAN_POINT ('', (7.00366592865984, 1.22984537306331, 11.24));
#12540 = CARTESIAN_POINT ('', (18.2360773627444, 0.247136708521943, 11.24));
#12550 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12530, #12540), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12560 = EDGE_CURVE ('', #12120, #12520, #12550, .T.);
#12570 = ORIENTED_EDGE ('', *, *, #12560, .T.);
#12580 = CARTESIAN_POINT ('', (18.2870159296568, 0.829367192557967, 16.));
#12590 = VERTEX_POINT ('', #12580);
#12600 = CARTESIAN_POINT ('', (18.2360773627444, 0.247136708521943, 11.24));
#12610 = CARTESIAN_POINT ('', (18.2870159296568, 0.829367192557967, 16.));
#12620 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#12600, #12610), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((2, 2), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1.))
   REPRESENTATION_ITEM ('')
);
#12630 = EDGE_CURVE ('', #12520, #12590, #12620, .T.);
#12640 = ORIENTED_EDGE ('', *, *, #12630, .T.);
#12650 = CARTESIAN_POINT ('', (7.0546044955722, 1.81207585709933, 16.));
#12660 = CARTESIAN_POINT ('', (18.2870159296568, 0.829367192557967, 16.));
#12670 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12650, #12660), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12680 = EDGE_CURVE ('', #12220, #12590, #12670, .T.);
#12690 = ORIENTED_EDGE ('', *, *, #12680, .F.);
#12700 = ORIENTED_EDGE ('', *, *, #12260, .F.);
#12710 = EDGE_LOOP ('', (#12570, #12640, #12690, #12700));
#12720 = FACE_OUTER_BOUND ('', #12710, .F.);
#12730 = CARTESIAN_POINT ('', (7.00366592865984, 1.22984537306331, 11.24));
#12740 = CARTESIAN_POINT ('', (7.0546044955722, 1.81207585709933, 16.));
#12750 = CARTESIAN_POINT ('', (18.2360773627444, 0.247136708521943, 11.24));
#12760 = CARTESIAN_POINT ('', (18.2870159296568, 0.829367192557967, 16.));
#12770 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12730, #12740), (#12750, #12760)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#12780 = ADVANCED_FACE ('', (#12720), #12770, .F.);
#12790 = CARTESIAN_POINT ('', (18.4320166098959, 0.0511974613703217, 11.2399999999999));
#12800 = VERTEX_POINT ('', #12790);
#12810 = CARTESIAN_POINT ('', (18.2360773627444, 0.247136708521943, 11.24));
#12820 = CARTESIAN_POINT ('', (18.4162532613292, 0.231373359955171, 11.2399999999999));
#12830 = CARTESIAN_POINT ('', (18.4320166098959, 0.0511974613703217, 11.2399999999999));
#12840 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#12810, #12820, #12830), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.766044443118717, 1.))
   REPRESENTATION_ITEM ('')
);
#12850 = EDGE_CURVE ('', #12520, #12800, #12840, .T.);
#12860 = ORIENTED_EDGE ('', *, *, #12850, .T.);
#12870 = CARTESIAN_POINT ('', (19.014247093932, 0.102136028282697, 16.));
#12880 = VERTEX_POINT ('', #12870);
#12890 = CARTESIAN_POINT ('', (18.432016609896, 0.0511974613703323, 11.24));
#12900 = CARTESIAN_POINT ('', (19.014247093932, 0.102136028282697, 16.));
#12910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12890, #12900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12920 = EDGE_CURVE ('', #12800, #12880, #12910, .T.);
#12930 = ORIENTED_EDGE ('', *, *, #12920, .T.);
#12940 = CARTESIAN_POINT ('', (18.2870159296568, 0.829367192557967, 16.));
#12950 = CARTESIAN_POINT ('', (18.9557412126564, 0.770861311282331, 16.));
#12960 = CARTESIAN_POINT ('', (19.014247093932, 0.102136028282697, 16.));
#12970 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#12940, #12950, #12960), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.766044443118978, 1.))
   REPRESENTATION_ITEM ('')
);
#12980 = EDGE_CURVE ('', #12590, #12880, #12970, .T.);
#12990 = ORIENTED_EDGE ('', *, *, #12980, .F.);
#13000 = ORIENTED_EDGE ('', *, *, #12630, .F.);
#13010 = EDGE_LOOP ('', (#12860, #12930, #12990, #13000));
#13020 = FACE_OUTER_BOUND ('', #13010, .F.);
#13030 = CARTESIAN_POINT ('', (18.2360773627444, 0.247136708521943, 11.24));
#13040 = CARTESIAN_POINT ('', (18.2870159296568, 0.829367192557967, 16.));
#13050 = CARTESIAN_POINT ('', (18.4162532613292, 0.231373359955171, 11.2399999999999));
#13060 = CARTESIAN_POINT ('', (18.9557412126564, 0.770861311282331, 16.));
#13070 = CARTESIAN_POINT ('', (18.4320166098959, 0.0511974613703217, 11.2399999999999));
#13080 = CARTESIAN_POINT ('', (19.014247093932, 0.102136028282697, 16.));
#13090 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#13030, #13040), (#13050, #13060), (#13070, #13080)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.766044443118717, 0.766044443118978), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#13100 = ADVANCED_FACE ('', (#13020), #13090, .F.);
#13110 = CARTESIAN_POINT ('', (19.4147252744374, -11.1812139727142, 11.24));
#13120 = VERTEX_POINT ('', #13110);
#13130 = CARTESIAN_POINT ('', (18.432016609896, 0.0511974613703323, 11.24));
#13140 = CARTESIAN_POINT ('', (19.4147252744374, -11.1812139727142, 11.24));
#13150 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13130, #13140), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13160 = EDGE_CURVE ('', #12800, #13120, #13150, .T.);
#13170 = ORIENTED_EDGE ('', *, *, #13160, .T.);
#13180 = CARTESIAN_POINT ('', (19.9969557584734, -11.1302754058019, 16.));
#13190 = VERTEX_POINT ('', #13180);
#13200 = CARTESIAN_POINT ('', (19.4147252744374, -11.1812139727142, 11.24));
#13210 = CARTESIAN_POINT ('', (19.9969557584734, -11.1302754058019, 16.));
#13220 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#13200, #13210), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((2, 2), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1.))
   REPRESENTATION_ITEM ('')
);
#13230 = EDGE_CURVE ('', #13120, #13190, #13220, .T.);
#13240 = ORIENTED_EDGE ('', *, *, #13230, .T.);
#13250 = CARTESIAN_POINT ('', (19.014247093932, 0.102136028282697, 16.));
#13260 = CARTESIAN_POINT ('', (19.9969557584734, -11.1302754058019, 16.));
#13270 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13250, #13260), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13280 = EDGE_CURVE ('', #12880, #13190, #13270, .T.);
#13290 = ORIENTED_EDGE ('', *, *, #13280, .F.);
#13300 = ORIENTED_EDGE ('', *, *, #12920, .F.);
#13310 = EDGE_LOOP ('', (#13170, #13240, #13290, #13300));
#13320 = FACE_OUTER_BOUND ('', #13310, .F.);
#13330 = CARTESIAN_POINT ('', (18.432016609896, 0.0511974613703323, 11.24));
#13340 = CARTESIAN_POINT ('', (19.014247093932, 0.102136028282697, 16.));
#13350 = CARTESIAN_POINT ('', (19.4147252744374, -11.1812139727142, 11.24));
#13360 = CARTESIAN_POINT ('', (19.9969557584734, -11.1302754058019, 16.));
#13370 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13330, #13340), (#13350, #13360)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#13380 = ADVANCED_FACE ('', (#13320), #13370, .F.);
#13390 = CARTESIAN_POINT ('', (19.4147252744374, -11.1812139727142, 11.24));
#13400 = CARTESIAN_POINT ('', (19.4234853428271, -11.2813420125835, 11.24));
#13410 = CARTESIAN_POINT ('', (19.3524136777054, -11.3524136777046, 11.2399999999999));
#13420 = CARTESIAN_POINT ('', (19.2813420125837, -11.4234853428257, 11.2399999999999));
#13430 = CARTESIAN_POINT ('', (19.1812139727142, -11.4147252744374, 11.24));
#13440 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#13390, #13400, #13410, #13420, #13430), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.906307787035641, 1., 0.906307787035641, 1.))
   REPRESENTATION_ITEM ('')
);
#13450 = EDGE_CURVE ('', #13120, #11160, #13440, .T.);
#13460 = ORIENTED_EDGE ('', *, *, #13450, .T.);
#13470 = ORIENTED_EDGE ('', *, *, #11410, .T.);
#13480 = CARTESIAN_POINT ('', (19.9969557584734, -11.1302754058019, 16.));
#13490 = CARTESIAN_POINT ('', (20.0294688707097, -11.5019019791887, 16.));
#13500 = CARTESIAN_POINT ('', (19.7656854249492, -11.7656854249492, 16.));
#13510 = CARTESIAN_POINT ('', (19.5019019791888, -12.0294688707097, 16.));
#13520 = CARTESIAN_POINT ('', (19.1302754058019, -11.9969557584734, 16.));
#13530 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#13480, #13490, #13500, #13510, #13520), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.90630778703665, 1., 0.90630778703665, 1.))
   REPRESENTATION_ITEM ('')
);
#13540 = EDGE_CURVE ('', #13190, #11320, #13530, .T.);
#13550 = ORIENTED_EDGE ('', *, *, #13540, .F.);
#13560 = ORIENTED_EDGE ('', *, *, #13230, .F.);
#13570 = EDGE_LOOP ('', (#13460, #13470, #13550, #13560));
#13580 = FACE_OUTER_BOUND ('', #13570, .F.);
#13590 = CARTESIAN_POINT ('', (19.4147252744374, -11.1812139727142, 11.24));
#13600 = CARTESIAN_POINT ('', (19.9969557584734, -11.1302754058019, 16.));
#13610 = CARTESIAN_POINT ('', (19.4234853428271, -11.2813420125835, 11.24));
#13620 = CARTESIAN_POINT ('', (20.0294688707097, -11.5019019791887, 16.));
#13630 = CARTESIAN_POINT ('', (19.3524136777054, -11.3524136777046, 11.2399999999999));
#13640 = CARTESIAN_POINT ('', (19.7656854249492, -11.7656854249492, 16.));
#13650 = CARTESIAN_POINT ('', (19.2813420125837, -11.4234853428257, 11.2399999999999));
#13660 = CARTESIAN_POINT ('', (19.5019019791888, -12.0294688707097, 16.));
#13670 = CARTESIAN_POINT ('', (19.1812139727142, -11.4147252744374, 11.24));
#13680 = CARTESIAN_POINT ('', (19.1302754058019, -11.9969557584734, 16.));
#13690 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#13590, #13600), (#13610, #13620), (#13630, #13640), (#13650, #13660), (#13670, #13680)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.5, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.906307787035641, 0.90630778703665), (1., 1.), (0.906307787035641, 0.90630778703665), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#13700 = ADVANCED_FACE ('', (#13580), #13690, .F.);
#13710 = ORIENTED_EDGE ('', *, *, #11360, .T.);
#13720 = ORIENTED_EDGE ('', *, *, #11700, .T.);
#13730 = ORIENTED_EDGE ('', *, *, #12000, .T.);
#13740 = ORIENTED_EDGE ('', *, *, #12340, .T.);
#13750 = ORIENTED_EDGE ('', *, *, #12680, .T.);
#13760 = ORIENTED_EDGE ('', *, *, #12980, .T.);
#13770 = ORIENTED_EDGE ('', *, *, #13280, .T.);
#13780 = ORIENTED_EDGE ('', *, *, #13540, .T.);
#13790 = EDGE_LOOP ('', (#13710, #13720, #13730, #13740, #13750, #13760, #13770, #13780));
#13800 = FACE_OUTER_BOUND ('', #13790, .F.);
#13810 = CARTESIAN_POINT ('', (21.0868841929843, 0.584410460150792, 16.));
#13820 = CARTESIAN_POINT ('', (6.20522400857864, 1.8863870207314, 16.));
#13830 = CARTESIAN_POINT ('', (19.9796558927954, -12.0712669221055, 16.));
#13840 = CARTESIAN_POINT ('', (5.09799570838977, -10.7692903615249, 16.));
#13850 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13810, #13820), (#13830, #13840)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.205529717990662, 0.794470282009338), (0.153735905324744, 0.846264094675256), .UNSPECIFIED.);
#13860 = ADVANCED_FACE ('', (#13800), #13850, .F.);
#13870 = ORIENTED_EDGE ('', *, *, #11220, .F.);
#13880 = ORIENTED_EDGE ('', *, *, #13450, .F.);
#13890 = ORIENTED_EDGE ('', *, *, #13160, .F.);
#13900 = ORIENTED_EDGE ('', *, *, #12850, .F.);
#13910 = ORIENTED_EDGE ('', *, *, #12560, .F.);
#13920 = ORIENTED_EDGE ('', *, *, #12190, .F.);
#13930 = ORIENTED_EDGE ('', *, *, #11880, .F.);
#13940 = ORIENTED_EDGE ('', *, *, #11570, .F.);
#13950 = EDGE_LOOP ('', (#13870, #13880, #13890, #13900, #13910, #13920, #13930, #13940));
#13960 = FACE_OUTER_BOUND ('', #13950, .F.);
#13970 = CARTESIAN_POINT ('', (20.4154153057687, 0.0564693445154099, 11.2400000000001));
#13980 = CARTESIAN_POINT ('', (19.4100641394046, -11.4347470696688, 11.2399999999999));
#13990 = CARTESIAN_POINT ('', (6.77481576196953, 1.24986716829473, 11.2400000000001));
#14000 = CARTESIAN_POINT ('', (5.7694645956054, -10.2413492458895, 11.2399999999999));
#14010 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13970, #13980), (#13990, #14000)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.152368293853759, 0.847631706146241), (0.207145484703091, 0.792854515296909), .UNSPECIFIED.);
#14020 = ADVANCED_FACE ('', (#13960), #14010, .F.);
#14030 = CLOSED_SHELL ('', (#11500, #11820, #12100, #12500, #12780, #13100, #13380, #13700, #13860, #14020));
#14040 = MANIFOLD_SOLID_BREP ('', #14030);
#14050 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#14060 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#14070 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#14080 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(0.001), #14050, 'DISTANCE_ACCURACY_VALUE', '');
#14090 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#14080))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#14050, #14060, #14070))
   REPRESENTATION_CONTEXT ('', '3D')
);
#14100 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#14110 = FILL_AREA_STYLE_COLOUR ('', #14100);
#14120 = FILL_AREA_STYLE ('', (#14110));
#14130 = SURFACE_STYLE_FILL_AREA (#14120);
#14140 = SURFACE_SIDE_STYLE ('', (#14130));
#14150 = SURFACE_STYLE_USAGE (.POSITIVE., #14140);
#14160 = PRESENTATION_STYLE_ASSIGNMENT ((#14150));
#14170 = STYLED_ITEM ('', (#14160), #14040);
#14180 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#14040), #14090);
#14190 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#14200 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #14190);
#14210 = MECHANICAL_CONTEXT ('', #14190, 'mechanical');
#14220 = PRODUCT ('product-name', '', '', (#14210));
#14230 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#14240 = PERSON ('', '', $, $, $, $);
#14250 = ORGANIZATION ($, '', '');
#14260 = PERSON_AND_ORGANIZATION (#14240, #14250);
#14270 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#14260, #14230, (#14220));
#14280 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#14220));
#14290 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #14220, .NOT_KNOWN.);
#14300 = APPROVAL_STATUS ('approved');
#14310 = APPROVAL (#14300, '');
#14320 = CALENDAR_DATE (2011, 12, 1);
#14330 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#14340 = LOCAL_TIME (9, 44, 14., #14330);
#14350 = DATE_AND_TIME (#14320, #14340);
#14360 = APPROVAL_DATE_TIME (#14350, #14310);
#14370 = APPROVAL_ROLE ('');
#14380 = PERSON ('', '', $, $, $, $);
#14390 = ORGANIZATION ($, '', '');
#14400 = PERSON_AND_ORGANIZATION (#14380, #14390);
#14410 = APPROVAL_PERSON_ORGANIZATION (#14400, #14310, #14370);
#14420 = CC_DESIGN_APPROVAL (#14310, (#14290));
#14430 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#14440 = PERSON ('', '', $, $, $, $);
#14450 = ORGANIZATION ($, '', '');
#14460 = PERSON_AND_ORGANIZATION (#14440, #14450);
#14470 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#14460, #14430, (#14290));
#14480 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#14490 = PERSON ('', '', $, $, $, $);
#14500 = ORGANIZATION ($, '', '');
#14510 = PERSON_AND_ORGANIZATION (#14490, #14500);
#14520 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#14510, #14480, (#14290));
#14530 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#14540 = SECURITY_CLASSIFICATION ('', '', #14530);
#14550 = APPROVAL_STATUS ('approved');
#14560 = APPROVAL (#14550, '');
#14570 = CALENDAR_DATE (2011, 12, 1);
#14580 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#14590 = LOCAL_TIME (9, 44, 14., #14580);
#14600 = DATE_AND_TIME (#14570, #14590);
#14610 = APPROVAL_DATE_TIME (#14600, #14560);
#14620 = APPROVAL_ROLE ('');
#14630 = PERSON ('', '', $, $, $, $);
#14640 = ORGANIZATION ($, '', '');
#14650 = PERSON_AND_ORGANIZATION (#14630, #14640);
#14660 = APPROVAL_PERSON_ORGANIZATION (#14650, #14560, #14620);
#14670 = CC_DESIGN_APPROVAL (#14560, (#14540));
#14680 = DATE_TIME_ROLE ('classification_date');
#14690 = CALENDAR_DATE (2011, 12, 1);
#14700 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#14710 = LOCAL_TIME (9, 44, 14., #14700);
#14720 = DATE_AND_TIME (#14690, #14710);
#14730 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#14720, #14680, (#14540));
#14740 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#14750 = PERSON ('', '', $, $, $, $);
#14760 = ORGANIZATION ($, '', '');
#14770 = PERSON_AND_ORGANIZATION (#14750, #14760);
#14780 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#14770, #14740, (#14540));
#14790 = CC_DESIGN_SECURITY_CLASSIFICATION (#14540, (#14290));
#14800 = DESIGN_CONTEXT ('', #14190, 'design');
#14810 = PRODUCT_DEFINITION ('', '', #14290, #14800);
#14820 = APPROVAL_STATUS ('approved');
#14830 = APPROVAL (#14820, '');
#14840 = CALENDAR_DATE (2011, 12, 1);
#14850 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#14860 = LOCAL_TIME (9, 44, 14., #14850);
#14870 = DATE_AND_TIME (#14840, #14860);
#14880 = APPROVAL_DATE_TIME (#14870, #14830);
#14890 = APPROVAL_ROLE ('');
#14900 = PERSON ('', '', $, $, $, $);
#14910 = ORGANIZATION ($, '', '');
#14920 = PERSON_AND_ORGANIZATION (#14900, #14910);
#14930 = APPROVAL_PERSON_ORGANIZATION (#14920, #14830, #14890);
#14940 = CC_DESIGN_APPROVAL (#14830, (#14810));
#14950 = DATE_TIME_ROLE ('creation_date');
#14960 = CALENDAR_DATE (2011, 12, 1);
#14970 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#14980 = LOCAL_TIME (9, 44, 14., #14970);
#14990 = DATE_AND_TIME (#14960, #14980);
#15000 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#14990, #14950, (#14810));
#15010 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#15020 = PERSON ('', '', $, $, $, $);
#15030 = ORGANIZATION ($, '', '');
#15040 = PERSON_AND_ORGANIZATION (#15020, #15030);
#15050 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#15040, #15010, (#14810));
#15060 = PRODUCT_DEFINITION_SHAPE ('', '', #14810);
#15070 = SHAPE_DEFINITION_REPRESENTATION (#15060, #14180);
ENDSEC;
END-ISO-10303-21;