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

DATA;
#10 = CARTESIAN_POINT ('', (4.78909401914329, -0.2957477251054, 8.03000000000002));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (4.7941244643924, -0.173003966127297, 8.03000000000001));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (4.78909401914318, -0.295747725105393, 8.03000000000001));
#60 = CARTESIAN_POINT ('', (4.79412446439238, -0.234478927759355, 8.03000000000001));
#70 = CARTESIAN_POINT ('', (4.79412446439237, -0.173003966127297, 8.03000000000001));
#80 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#50, #60, #70), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (175.306285597834, 180.000000000012), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.99916124069987, 1.))
   REPRESENTATION_ITEM ('')
);
#90 = EDGE_CURVE ('', #20, #40, #80, .T.);
#100 = ORIENTED_EDGE ('', *, *, #90, .F.);
#110 = CARTESIAN_POINT ('', (3.01346273972639, -1.6465130418739, 8.03000000000002));
#120 = VERTEX_POINT ('', #110);
#130 = CARTESIAN_POINT ('', (3.01346273972639, -1.6465130418739, 8.03000000000002));
#140 = CARTESIAN_POINT ('', (4.78909401914329, -0.2957477251054, 8.03000000000002));
#150 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#130, #140), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#160 = EDGE_CURVE ('', #120, #20, #150, .T.);
#170 = ORIENTED_EDGE ('', *, *, #160, .F.);
#180 = CARTESIAN_POINT ('', (1.79983241725479, -0.0422703520059002, 8.03000000000001));
#190 = VERTEX_POINT ('', #180);
#200 = CARTESIAN_POINT ('', (1.79983241725483, -0.0422703520059073, 8.03));
#210 = CARTESIAN_POINT ('', (1.68167246959528, -1.39284473384598, 8.03000000000002));
#220 = CARTESIAN_POINT ('', (3.01346273972638, -1.64651304187399, 8.03000000000001));
#230 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#200, #210, #220), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (265., 349.215952434772), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.74188250285508, 1.))
   REPRESENTATION_ITEM ('')
);
#240 = EDGE_CURVE ('', #190, #120, #230, .T.);
#250 = ORIENTED_EDGE ('', *, *, #240, .F.);
#260 = CARTESIAN_POINT ('', (4.79412446439238, -0.173003966127297, 8.03000000000001));
#270 = CARTESIAN_POINT ('', (4.79412446439238, 1.26293364725494, 8.03000000000001));
#280 = CARTESIAN_POINT ('', (3.35955354544035, 1.32556836624547, 8.03000000000001));
#290 = CARTESIAN_POINT ('', (1.92498262648833, 1.388203085236, 8.03000000000001));
#300 = CARTESIAN_POINT ('', (1.79983241725479, -0.0422703520059002, 8.03000000000001));
#310 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#260, #270, #280, #290, #300), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (180., 267.500000000002, 355.000000000003), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.722363962059745, 1., 0.722363962059745, 1.))
   REPRESENTATION_ITEM ('')
);
#320 = EDGE_CURVE ('', #40, #190, #310, .T.);
#330 = ORIENTED_EDGE ('', *, *, #320, .F.);
#340 = EDGE_LOOP ('', (#100, #170, #250, #330));
#350 = FACE_OUTER_BOUND ('', #340, .F.);
#360 = CARTESIAN_POINT ('', (1.93590057739917, 1.51299583518585, 8.03000000000002));
#370 = CARTESIAN_POINT ('', (1.66976439324458, -1.5289546693583, 8.03000000000002));
#380 = CARTESIAN_POINT ('', (4.92446332096351, 1.25153047488804, 8.03000000000001));
#390 = CARTESIAN_POINT ('', (4.65832713680892, -1.79042002965611, 8.03000000000002));
#400 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#360, #370), (#380, #390)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (5.46437894932854E-17, 2.99997856773288), (-0.0575287264122456, 2.99604153487416), .UNSPECIFIED.);
#410 = ADVANCED_FACE ('', (#350), #400, .F.);
#420 = CARTESIAN_POINT ('', (12.1850306530111, -9.6331350933453, 8.03000000000001));
#430 = VERTEX_POINT ('', #420);
#440 = CARTESIAN_POINT ('', (12.1850306530111, -9.6331350933456, 1.77635683940025E-15));
#450 = VERTEX_POINT ('', #440);
#460 = CARTESIAN_POINT ('', (12.1850306530111, -9.6331350933453, 8.03000000000001));
#470 = CARTESIAN_POINT ('', (12.1850306530111, -9.6331350933456, 1.77635683940025E-15));
#480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#460, #470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#490 = EDGE_CURVE ('', #430, #450, #480, .T.);
#500 = ORIENTED_EDGE ('', *, *, #490, .F.);
#510 = ORIENTED_EDGE ('', *, *, #490, .T.);
#520 = CARTESIAN_POINT ('', (12.167599504462, -9.6323740329636, 1.77635683940025E-15));
#530 = VERTEX_POINT ('', #520);
#540 = CARTESIAN_POINT ('', (12.1850306530111, -9.63313509334557, 1.77635683940025E-15));
#550 = CARTESIAN_POINT ('', (12.1762984644296, -9.63313509334557, 1.77635683940025E-15));
#560 = CARTESIAN_POINT ('', (12.167599504462, -9.63237403296397, 1.77635683940025E-15));
#570 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#540, #550, #560), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (179.999999999943, 184.999999999834), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.999048221581899, 1.))
   REPRESENTATION_ITEM ('')
);
#580 = EDGE_CURVE ('', #450, #530, #570, .T.);
#590 = ORIENTED_EDGE ('', *, *, #580, .T.);
#600 = CARTESIAN_POINT ('', (12.167599504462, -9.6323740329636, 10.03));
#610 = VERTEX_POINT ('', #600);
#620 = CARTESIAN_POINT ('', (12.167599504462, -9.6323740329636, 1.77635683940025E-15));
#630 = CARTESIAN_POINT ('', (12.167599504462, -9.6323740329636, 10.03));
#640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#620, #630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#650 = EDGE_CURVE ('', #530, #610, #640, .T.);
#660 = ORIENTED_EDGE ('', *, *, #650, .T.);
#670 = CARTESIAN_POINT ('', (12.38426959263, -9.4157039447958, 10.03));
#680 = VERTEX_POINT ('', #670);
#690 = CARTESIAN_POINT ('', (12.38426959263, -9.4157039447958, 10.03));
#700 = CARTESIAN_POINT ('', (12.3923978706891, -9.50861058814253, 10.03));
#710 = CARTESIAN_POINT ('', (12.3264520092489, -9.57455644958264, 10.03));
#720 = CARTESIAN_POINT ('', (12.2605061478087, -9.64050231102274, 10.03));
#730 = CARTESIAN_POINT ('', (12.167599504462, -9.63237403296358, 10.03));
#740 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#690, #700, #710, #720, #730), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (355.000000000008, 405.000000000027, 455.000000000047), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.906307787036579, 1., 0.906307787036579, 1.))
   REPRESENTATION_ITEM ('')
);
#750 = EDGE_CURVE ('', #680, #610, #740, .T.);
#760 = ORIENTED_EDGE ('', *, *, #750, .F.);
#770 = CARTESIAN_POINT ('', (12.3842695926299, -9.4157039447958, 1.77635683940025E-15));
#780 = VERTEX_POINT ('', #770);
#790 = CARTESIAN_POINT ('', (12.38426959263, -9.4157039447958, 10.03));
#800 = CARTESIAN_POINT ('', (12.3842695926299, -9.4157039447958, 1.77635683940025E-15));
#810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#790, #800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#820 = EDGE_CURVE ('', #680, #780, #810, .T.);
#830 = ORIENTED_EDGE ('', *, *, #820, .T.);
#840 = CARTESIAN_POINT ('', (12.3842695926298, -9.41570394479581, 1.77635683940025E-15));
#850 = CARTESIAN_POINT ('', (12.3919394815572, -9.50337117639177, 1.77635683940025E-15));
#860 = CARTESIAN_POINT ('', (12.3324861203734, -9.56825313486872, 1.77635683940025E-15));
#870 = CARTESIAN_POINT ('', (12.2730327591896, -9.63313509334568, 1.77635683940025E-15));
#880 = CARTESIAN_POINT ('', (12.1850306530111, -9.63313509334559, 1.77635683940025E-15));
#890 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#840, #850, #860, #870, #880), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (84.9999999999873, 132.500000000022, 180.000000000057), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.915311479119325, 1., 0.915311479119325, 1.))
   REPRESENTATION_ITEM ('')
);
#900 = EDGE_CURVE ('', #780, #450, #890, .T.);
#910 = ORIENTED_EDGE ('', *, *, #900, .T.);
#920 = EDGE_LOOP ('', (#500, #510, #590, #660, #760, #830, #910));
#930 = FACE_OUTER_BOUND ('', #920, .F.);
#940 = CARTESIAN_POINT ('', (12.3842695926299, -9.4157039447958, 1.77635683940025E-15));
#950 = CARTESIAN_POINT ('', (12.3842695926299, -9.4157039447958, 10.03));
#960 = CARTESIAN_POINT ('', (12.3850306530115, -9.42440290476276, 1.77635683940025E-15));
#970 = CARTESIAN_POINT ('', (12.3850306530115, -9.42440290476276, 10.03));
#980 = CARTESIAN_POINT ('', (12.3850306530115, -9.43313509334359, 1.77635683940025E-15));
#990 = CARTESIAN_POINT ('', (12.3850306530115, -9.4331350933436, 10.03));
#1000 = CARTESIAN_POINT ('', (12.3850306530115, -9.63313509331777, 1.77635683940025E-15));
#1010 = CARTESIAN_POINT ('', (12.3850306530115, -9.63313509331777, 10.03));
#1020 = CARTESIAN_POINT ('', (12.1850306530373, -9.63313509331776, 1.77635683940025E-15));
#1030 = CARTESIAN_POINT ('', (12.1850306530373, -9.63313509331777, 10.03));
#1040 = CARTESIAN_POINT ('', (12.1762984644422, -9.63313509331777, 1.77635683940025E-15));
#1050 = CARTESIAN_POINT ('', (12.1762984644422, -9.63313509331777, 10.03));
#1060 = CARTESIAN_POINT ('', (12.167599504461, -9.63237403293368, 1.77635683940025E-15));
#1070 = CARTESIAN_POINT ('', (12.167599504461, -9.63237403293368, 10.03));
#1080 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#940, #950), (#960, #970), (#980, #990), (#1000, #1010), (#1020, #1030), (#1040, #1050), (#1060, #1070)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 3), (2, 2), (0.234837734482754, 0.25, 0.5, 0.515162265541669), (0.0834164008506114, 0.916583599149389), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.966627305352546, 0.966627305352546), (0.982236300992598, 0.982236300992598), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.982236300963986, 0.982236300963986), (0.966627305302262, 0.966627305302262)))
   REPRESENTATION_ITEM ('')
);
#1090 = ADVANCED_FACE ('', (#930), #1080, .F.);
#1100 = CARTESIAN_POINT ('', (3.6469154606753, -8.8869107736461, 10.03));
#1110 = VERTEX_POINT ('', #1100);
#1120 = CARTESIAN_POINT ('', (12.167599504462, -9.6323740329636, 10.03));
#1130 = CARTESIAN_POINT ('', (3.6469154606753, -8.8869107736461, 10.03));
#1140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1120, #1130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1150 = EDGE_CURVE ('', #610, #1110, #1140, .T.);
#1160 = ORIENTED_EDGE ('', *, *, #1150, .F.);
#1170 = ORIENTED_EDGE ('', *, *, #650, .F.);
#1180 = CARTESIAN_POINT ('', (0.705089520250397, -8.6295343537925, 1.77635683940025E-15));
#1190 = VERTEX_POINT ('', #1180);
#1200 = CARTESIAN_POINT ('', (12.167599504462, -9.6323740329636, 1.77635683940025E-15));
#1210 = CARTESIAN_POINT ('', (0.705089520250397, -8.6295343537925, 1.77635683940025E-15));
#1220 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1200, #1210), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1230 = EDGE_CURVE ('', #530, #1190, #1220, .T.);
#1240 = ORIENTED_EDGE ('', *, *, #1230, .T.);
#1250 = CARTESIAN_POINT ('', (0.705089520250397, -8.6295343537925, 12.));
#1260 = VERTEX_POINT ('', #1250);
#1270 = CARTESIAN_POINT ('', (0.705089520250397, -8.6295343537925, 1.77635683940025E-15));
#1280 = CARTESIAN_POINT ('', (0.705089520250397, -8.6295343537925, 12.));
#1290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1270, #1280), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1300 = EDGE_CURVE ('', #1190, #1260, #1290, .T.);
#1310 = ORIENTED_EDGE ('', *, *, #1300, .T.);
#1320 = CARTESIAN_POINT ('', (2.9469328505086, -8.8256702305913, 12.));
#1330 = VERTEX_POINT ('', #1320);
#1340 = CARTESIAN_POINT ('', (0.705089520250397, -8.6295343537925, 12.));
#1350 = CARTESIAN_POINT ('', (2.9469328505086, -8.8256702305913, 12.));
#1360 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1340, #1350), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1370 = EDGE_CURVE ('', #1260, #1330, #1360, .T.);
#1380 = ORIENTED_EDGE ('', *, *, #1370, .T.);
#1390 = CARTESIAN_POINT ('', (3.4527141540395, -8.8699203608736, 11.5));
#1400 = VERTEX_POINT ('', #1390);
#1410 = CARTESIAN_POINT ('', (2.9469328505086, -8.8256702305913, 12.));
#1420 = CARTESIAN_POINT ('', (3.4527141540395, -8.8699203608736, 11.5));
#1430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1410, #1420), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1440 = EDGE_CURVE ('', #1330, #1400, #1430, .T.);
#1450 = ORIENTED_EDGE ('', *, *, #1440, .T.);
#1460 = CARTESIAN_POINT ('', (3.6469154606753, -8.8869107736461, 9.81500000000002));
#1470 = VERTEX_POINT ('', #1460);
#1480 = CARTESIAN_POINT ('', (3.4527141540395, -8.8699203608736, 11.5));
#1490 = CARTESIAN_POINT ('', (3.6469154606753, -8.8869107736461, 9.81500000000002));
#1500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1480, #1490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1510 = EDGE_CURVE ('', #1400, #1470, #1500, .T.);
#1520 = ORIENTED_EDGE ('', *, *, #1510, .T.);
#1530 = CARTESIAN_POINT ('', (3.6469154606753, -8.8869107736461, 10.03));
#1540 = CARTESIAN_POINT ('', (3.6469154606753, -8.8869107736461, 9.81500000000002));
#1550 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1530, #1540), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1560 = EDGE_CURVE ('', #1110, #1470, #1550, .T.);
#1570 = ORIENTED_EDGE ('', *, *, #1560, .F.);
#1580 = EDGE_LOOP ('', (#1160, #1170, #1240, #1310, #1380, #1450, #1520, #1570));
#1590 = FACE_OUTER_BOUND ('', #1580, .F.);
#1600 = CARTESIAN_POINT ('', (12.167599504462, -9.6323740329636, 12.));
#1610 = CARTESIAN_POINT ('', (0.705089520250397, -8.62953435379251, 12.));
#1620 = CARTESIAN_POINT ('', (12.167599504462, -9.6323740329636, 1.77635683940025E-15));
#1630 = CARTESIAN_POINT ('', (0.705089520250397, -8.62953435379251, 1.77635683940025E-15));
#1640 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1600, #1610), (#1620, #1630)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 12.), (0., 11.5062949101903), .UNSPECIFIED.);
#1650 = ADVANCED_FACE ('', (#1590), #1640, .F.);
#1660 = ORIENTED_EDGE ('', *, *, #900, .F.);
#1670 = CARTESIAN_POINT ('', (11.0354044172065, 6.0018955596663, 0.));
#1680 = VERTEX_POINT ('', #1670);
#1690 = CARTESIAN_POINT ('', (11.0354044172065, 6.0018955596663, 0.));
#1700 = CARTESIAN_POINT ('', (12.3842695926299, -9.4157039447958, 1.77635683940025E-15));
#1710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1690, #1700), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1720 = EDGE_CURVE ('', #1680, #780, #1710, .T.);
#1730 = ORIENTED_EDGE ('', *, *, #1720, .F.);
#1740 = CARTESIAN_POINT ('', (-67.45, 6.0018955596663, 0.));
#1750 = VERTEX_POINT ('', #1740);
#1760 = CARTESIAN_POINT ('', (-67.45, 6.0018955596663, 0.));
#1770 = CARTESIAN_POINT ('', (11.0354044172065, 6.0018955596663, 0.));
#1780 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1760, #1770), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1790 = EDGE_CURVE ('', #1750, #1680, #1780, .T.);
#1800 = ORIENTED_EDGE ('', *, *, #1790, .F.);
#1810 = CARTESIAN_POINT ('', (-67.45, -5.9981044403337, 1.77635683940025E-15));
#1820 = VERTEX_POINT ('', #1810);
#1830 = CARTESIAN_POINT ('', (-67.45, -5.9981044403337, 1.77635683940025E-15));
#1840 = CARTESIAN_POINT ('', (-67.45, 6.0018955596663, 0.));
#1850 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1830, #1840), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1860 = EDGE_CURVE ('', #1820, #1750, #1850, .T.);
#1870 = ORIENTED_EDGE ('', *, *, #1860, .F.);
#1880 = CARTESIAN_POINT ('', (0., -5.9981044403337, 1.77635683940025E-15));
#1890 = VERTEX_POINT ('', #1880);
#1900 = CARTESIAN_POINT ('', (0., -5.9981044403337, 1.77635683940025E-15));
#1910 = CARTESIAN_POINT ('', (-67.45, -5.9981044403337, 1.77635683940025E-15));
#1920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1900, #1910), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1930 = EDGE_CURVE ('', #1890, #1820, #1920, .T.);
#1940 = ORIENTED_EDGE ('', *, *, #1930, .F.);
#1950 = CARTESIAN_POINT ('', (0.705089520250397, -8.6295343537925, 1.77635683940025E-15));
#1960 = CARTESIAN_POINT ('', (0., -5.9981044403337, 1.77635683940025E-15));
#1970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1950, #1960), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1980 = EDGE_CURVE ('', #1190, #1890, #1970, .T.);
#1990 = ORIENTED_EDGE ('', *, *, #1980, .F.);
#2000 = ORIENTED_EDGE ('', *, *, #1230, .F.);
#2010 = ORIENTED_EDGE ('', *, *, #580, .F.);
#2020 = EDGE_LOOP ('', (#1660, #1730, #1800, #1870, #1940, #1990, #2000, #2010));
#2030 = FACE_OUTER_BOUND ('', #2020, .F.);
#2040 = CARTESIAN_POINT ('', (9.1813250054382, -5.1340489344067, -3.68594044175552E-14));
#2050 = VERTEX_POINT ('', #2040);
#2060 = CARTESIAN_POINT ('', (9.18674756065739, -5.0098520009912, -3.68594044175552E-14));
#2070 = VERTEX_POINT ('', #2060);
#2080 = CARTESIAN_POINT ('', (9.18132500543817, -5.1340489344067, -3.68594044175552E-14));
#2090 = CARTESIAN_POINT ('', (9.05980849620833, -6.52298899055289, -3.68594044175552E-14));
#2100 = CARTESIAN_POINT ('', (7.66854810150448, -6.43180096660635, -3.50830475781549E-14));
#2110 = CARTESIAN_POINT ('', (6.27728770680064, -6.3406129426598, -3.37507799486048E-14));
#2120 = CARTESIAN_POINT ('', (6.33810384490322, -4.94769437399576, -3.37507799486048E-14));
#2130 = CARTESIAN_POINT ('', (6.39891998300579, -3.55477580533172, -3.37507799486048E-14));
#2140 = CARTESIAN_POINT ('', (7.79283377183157, -3.5851911124024, -3.5527136788005E-14));
#2150 = CARTESIAN_POINT ('', (9.18674756065732, -3.61560641947308, -3.68594044175552E-14));
#2160 = CARTESIAN_POINT ('', (9.18674756065742, -5.0098520009912, -3.68594044175552E-14));
#2170 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2080, #2090, #2100, #2110, #2120, #2130, #2140, #2150, #2160), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (4.99999999999918, 93.7499999999984, 182.499999999998, 271.249999999997, 359.999999999996), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.714777897334051, 1., 0.714777897334051, 1., 0.714777897334051, 1., 0.714777897334051, 1.))
   REPRESENTATION_ITEM ('')
);
#2180 = EDGE_CURVE ('', #2050, #2070, #2170, .T.);
#2190 = ORIENTED_EDGE ('', *, *, #2180, .T.);
#2200 = CARTESIAN_POINT ('', (9.18674756065744, -5.0098520009912, -3.68594044175552E-14));
#2210 = CARTESIAN_POINT ('', (9.18674756065744, -5.07206884463587, -3.68594044175552E-14));
#2220 = CARTESIAN_POINT ('', (9.18132500543823, -5.1340489344067, -3.68594044175552E-14));
#2230 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2200, #2210, #2220), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 4.99999999994988), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.999048221581877, 1.))
   REPRESENTATION_ITEM ('')
);
#2240 = EDGE_CURVE ('', #2070, #2050, #2230, .T.);
#2250 = ORIENTED_EDGE ('', *, *, #2240, .T.);
#2260 = EDGE_LOOP ('', (#2190, #2250));
#2270 = FACE_BOUND ('', #2260, .F.);
#2280 = CARTESIAN_POINT ('', (-67.45, -9.63313509334568, 1.77635683940025E-15));
#2290 = CARTESIAN_POINT ('', (-67.45, 6.0018955596663, 0.));
#2300 = CARTESIAN_POINT ('', (12.3919394815572, -9.63313509334568, 1.77635683940025E-15));
#2310 = CARTESIAN_POINT ('', (12.3919394815572, 6.0018955596663, 0.));
#2320 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2280, #2290), (#2300, #2310)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-5.99520433297585E-15, 79.8419394815572), (-7.8159700933611E-14, 15.6350306530119), .UNSPECIFIED.);
#2330 = ADVANCED_FACE ('', (#2030, #2270), #2320, .F.);
#2340 = ORIENTED_EDGE ('', *, *, #1860, .T.);
#2350 = CARTESIAN_POINT ('', (-67.95, 5.5018955596663, 0.5));
#2360 = VERTEX_POINT ('', #2350);
#2370 = CARTESIAN_POINT ('', (-67.95, 5.5018955596663, 0.5));
#2380 = CARTESIAN_POINT ('', (-67.45, 6.0018955596663, 0.));
#2390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2370, #2380), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2400 = EDGE_CURVE ('', #2360, #1750, #2390, .T.);
#2410 = ORIENTED_EDGE ('', *, *, #2400, .F.);
#2420 = CARTESIAN_POINT ('', (-67.95, -5.4981044403337, 0.500000000000001));
#2430 = VERTEX_POINT ('', #2420);
#2440 = CARTESIAN_POINT ('', (-67.95, 5.5018955596663, 0.5));
#2450 = CARTESIAN_POINT ('', (-67.95, -5.4981044403337, 0.500000000000001));
#2460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2440, #2450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2470 = EDGE_CURVE ('', #2360, #2430, #2460, .T.);
#2480 = ORIENTED_EDGE ('', *, *, #2470, .T.);
#2490 = CARTESIAN_POINT ('', (-67.95, -5.4981044403337, 0.500000000000001));
#2500 = CARTESIAN_POINT ('', (-67.45, -5.9981044403337, 1.77635683940025E-15));
#2510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2490, #2500), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2520 = EDGE_CURVE ('', #2430, #1820, #2510, .T.);
#2530 = ORIENTED_EDGE ('', *, *, #2520, .T.);
#2540 = EDGE_LOOP ('', (#2340, #2410, #2480, #2530));
#2550 = FACE_OUTER_BOUND ('', #2540, .F.);
#2560 = CARTESIAN_POINT ('', (-67.95, -5.9981044403337, 0.500000000000001));
#2570 = CARTESIAN_POINT ('', (-67.95, 6.0018955596663, 0.500000000000002));
#2580 = CARTESIAN_POINT ('', (-67.45, -5.9981044403337, -4.88498130835069E-15));
#2590 = CARTESIAN_POINT ('', (-67.45, 6.0018955596663, -3.99680288865056E-15));
#2600 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2560, #2570), (#2580, #2590)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.82911809049862E-16, 0.707106781186555), (-7.10245257789024E-15, 12.), .UNSPECIFIED.);
#2610 = ADVANCED_FACE ('', (#2550), #2600, .F.);
#2620 = CARTESIAN_POINT ('', (-67.95, -5.4981044403337, 11.5));
#2630 = VERTEX_POINT ('', #2620);
#2640 = CARTESIAN_POINT ('', (-67.95, -5.4981044403337, 0.500000000000001));
#2650 = CARTESIAN_POINT ('', (-67.95, -5.4981044403337, 11.5));
#2660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2640, #2650), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2670 = EDGE_CURVE ('', #2430, #2630, #2660, .T.);
#2680 = ORIENTED_EDGE ('', *, *, #2670, .T.);
#2690 = CARTESIAN_POINT ('', (-67.45, -5.9981044403337, 12.));
#2700 = VERTEX_POINT ('', #2690);
#2710 = CARTESIAN_POINT ('', (-67.95, -5.4981044403337, 11.5));
#2720 = CARTESIAN_POINT ('', (-67.45, -5.9981044403337, 12.));
#2730 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2710, #2720), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2740 = EDGE_CURVE ('', #2630, #2700, #2730, .T.);
#2750 = ORIENTED_EDGE ('', *, *, #2740, .T.);
#2760 = CARTESIAN_POINT ('', (-67.45, -5.9981044403337, 12.));
#2770 = CARTESIAN_POINT ('', (-67.45, -5.9981044403337, 1.77635683940025E-15));
#2780 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2760, #2770), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2790 = EDGE_CURVE ('', #2700, #1820, #2780, .T.);
#2800 = ORIENTED_EDGE ('', *, *, #2790, .T.);
#2810 = ORIENTED_EDGE ('', *, *, #2520, .F.);
#2820 = EDGE_LOOP ('', (#2680, #2750, #2800, #2810));
#2830 = FACE_OUTER_BOUND ('', #2820, .F.);
#2840 = CARTESIAN_POINT ('', (-67.45, -5.9981044403337, 12.));
#2850 = CARTESIAN_POINT ('', (-67.95, -5.4981044403337, 12.));
#2860 = CARTESIAN_POINT ('', (-67.45, -5.9981044403337, 1.77635683940025E-15));
#2870 = CARTESIAN_POINT ('', (-67.95, -5.4981044403337, 1.77635683940025E-15));
#2880 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2840, #2850), (#2860, #2870)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 12.), (-7.065416064077E-16, 0.707106781186548), .UNSPECIFIED.);
#2890 = ADVANCED_FACE ('', (#2830), #2880, .F.);
#2900 = CARTESIAN_POINT ('', (-67.45, 6.0018955596663, 12.));
#2910 = VERTEX_POINT ('', #2900);
#2920 = CARTESIAN_POINT ('', (-67.45, 6.0018955596663, 0.));
#2930 = CARTESIAN_POINT ('', (-67.45, 6.0018955596663, 12.));
#2940 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2920, #2930), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2950 = EDGE_CURVE ('', #1750, #2910, #2940, .T.);
#2960 = ORIENTED_EDGE ('', *, *, #2950, .T.);
#2970 = CARTESIAN_POINT ('', (-67.95, 5.5018955596663, 11.5));
#2980 = VERTEX_POINT ('', #2970);
#2990 = CARTESIAN_POINT ('', (-67.45, 6.0018955596663, 12.));
#3000 = CARTESIAN_POINT ('', (-67.95, 5.5018955596663, 11.5));
#3010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2990, #3000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3020 = EDGE_CURVE ('', #2910, #2980, #3010, .T.);
#3030 = ORIENTED_EDGE ('', *, *, #3020, .T.);
#3040 = CARTESIAN_POINT ('', (-67.95, 5.5018955596663, 11.5));
#3050 = CARTESIAN_POINT ('', (-67.95, 5.5018955596663, 0.5));
#3060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3040, #3050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3070 = EDGE_CURVE ('', #2980, #2360, #3060, .T.);
#3080 = ORIENTED_EDGE ('', *, *, #3070, .T.);
#3090 = ORIENTED_EDGE ('', *, *, #2400, .T.);
#3100 = EDGE_LOOP ('', (#2960, #3030, #3080, #3090));
#3110 = FACE_OUTER_BOUND ('', #3100, .F.);
#3120 = CARTESIAN_POINT ('', (-67.95, 5.5018955596663, 12.));
#3130 = CARTESIAN_POINT ('', (-67.45, 6.0018955596663, 12.));
#3140 = CARTESIAN_POINT ('', (-67.95, 5.5018955596663, 0.));
#3150 = CARTESIAN_POINT ('', (-67.45, 6.0018955596663, 0.));
#3160 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3120, #3130), (#3140, #3150)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 12.), (-3.43457725337077E-17, 0.707106781186551), .UNSPECIFIED.);
#3170 = ADVANCED_FACE ('', (#3110), #3160, .F.);
#3180 = CARTESIAN_POINT ('', (-67.45, 6.0018955596663, 12.));
#3190 = CARTESIAN_POINT ('', (-67.45, -5.9981044403337, 12.));
#3200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3180, #3190), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3210 = EDGE_CURVE ('', #2910, #2700, #3200, .T.);
#3220 = ORIENTED_EDGE ('', *, *, #3210, .T.);
#3230 = ORIENTED_EDGE ('', *, *, #2740, .F.);
#3240 = CARTESIAN_POINT ('', (-67.95, -5.4981044403337, 11.5));
#3250 = CARTESIAN_POINT ('', (-67.95, 5.5018955596663, 11.5));
#3260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3240, #3250), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3270 = EDGE_CURVE ('', #2630, #2980, #3260, .T.);
#3280 = ORIENTED_EDGE ('', *, *, #3270, .T.);
#3290 = ORIENTED_EDGE ('', *, *, #3020, .F.);
#3300 = EDGE_LOOP ('', (#3220, #3230, #3280, #3290));
#3310 = FACE_OUTER_BOUND ('', #3300, .F.);
#3320 = CARTESIAN_POINT ('', (-67.45, -5.9981044403337, 12.));
#3330 = CARTESIAN_POINT ('', (-67.45, 6.0018955596663, 12.));
#3340 = CARTESIAN_POINT ('', (-67.95, -5.9981044403337, 11.5));
#3350 = CARTESIAN_POINT ('', (-67.95, 6.0018955596663, 11.5));
#3360 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3320, #3330), (#3340, #3350)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.41308321281539E-15, 0.707106781186547), (4.85334345985583E-32, 12.), .UNSPECIFIED.);
#3370 = ADVANCED_FACE ('', (#3310), #3360, .F.);
#3380 = ORIENTED_EDGE ('', *, *, #2950, .F.);
#3390 = ORIENTED_EDGE ('', *, *, #1790, .T.);
#3400 = CARTESIAN_POINT ('', (11.0354044172065, 6.0018955596663, 12.));
#3410 = VERTEX_POINT ('', #3400);
#3420 = CARTESIAN_POINT ('', (11.0354044172065, 6.0018955596663, 12.));
#3430 = CARTESIAN_POINT ('', (11.0354044172065, 6.0018955596663, 0.));
#3440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3420, #3430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3450 = EDGE_CURVE ('', #3410, #1680, #3440, .T.);
#3460 = ORIENTED_EDGE ('', *, *, #3450, .F.);
#3470 = CARTESIAN_POINT ('', (11.0354044172065, 6.0018955596663, 12.));
#3480 = CARTESIAN_POINT ('', (-67.45, 6.0018955596663, 12.));
#3490 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3470, #3480), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3500 = EDGE_CURVE ('', #3410, #2910, #3490, .T.);
#3510 = ORIENTED_EDGE ('', *, *, #3500, .T.);
#3520 = EDGE_LOOP ('', (#3380, #3390, #3460, #3510));
#3530 = FACE_OUTER_BOUND ('', #3520, .F.);
#3540 = CARTESIAN_POINT ('', (11.0354044172065, 6.0018955596663, 0.));
#3550 = CARTESIAN_POINT ('', (-67.45, 6.0018955596663, 0.));
#3560 = CARTESIAN_POINT ('', (11.0354044172065, 6.0018955596663, 12.));
#3570 = CARTESIAN_POINT ('', (-67.45, 6.0018955596663, 12.));
#3580 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3540, #3550), (#3560, #3570)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 12.), (0., 78.4854044172065), .UNSPECIFIED.);
#3590 = ADVANCED_FACE ('', (#3530), #3580, .F.);
#3600 = ORIENTED_EDGE ('', *, *, #2470, .F.);
#3610 = ORIENTED_EDGE ('', *, *, #3070, .F.);
#3620 = ORIENTED_EDGE ('', *, *, #3270, .F.);
#3630 = ORIENTED_EDGE ('', *, *, #2670, .F.);
#3640 = EDGE_LOOP ('', (#3600, #3610, #3620, #3630));
#3650 = FACE_OUTER_BOUND ('', #3640, .F.);
#3660 = CARTESIAN_POINT ('', (-67.95, -5.4981044403337, 11.5));
#3670 = CARTESIAN_POINT ('', (-67.95, 5.5018955596663, 11.5));
#3680 = CARTESIAN_POINT ('', (-67.95, -5.4981044403337, 0.5));
#3690 = CARTESIAN_POINT ('', (-67.95, 5.5018955596663, 0.5));
#3700 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3660, #3670), (#3680, #3690)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 11.), (-5.503563536291E-33, 11.), .UNSPECIFIED.);
#3710 = ADVANCED_FACE ('', (#3650), #3700, .F.);
#3720 = CARTESIAN_POINT ('', (11.6388063333123, -0.8950199010091, 10.03));
#3730 = VERTEX_POINT ('', #3720);
#3740 = CARTESIAN_POINT ('', (11.6388063333123, -0.8950199010091, 9.81499999999994));
#3750 = VERTEX_POINT ('', #3740);
#3760 = CARTESIAN_POINT ('', (11.6388063333123, -0.8950199010091, 10.03));
#3770 = CARTESIAN_POINT ('', (11.6388063333123, -0.8950199010091, 9.81499999999994));
#3780 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3760, #3770), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3790 = EDGE_CURVE ('', #3730, #3750, #3780, .T.);
#3800 = ORIENTED_EDGE ('', *, *, #3790, .T.);
#3810 = CARTESIAN_POINT ('', (11.6218159205397, -0.700818594373303, 11.5));
#3820 = VERTEX_POINT ('', #3810);
#3830 = CARTESIAN_POINT ('', (11.6388063333123, -0.8950199010091, 9.81499999999994));
#3840 = CARTESIAN_POINT ('', (11.6218159205397, -0.700818594373303, 11.5));
#3850 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3830, #3840), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3860 = EDGE_CURVE ('', #3750, #3820, #3850, .T.);
#3870 = ORIENTED_EDGE ('', *, *, #3860, .T.);
#3880 = CARTESIAN_POINT ('', (11.5775657902574, -0.1950372908424, 12.));
#3890 = VERTEX_POINT ('', #3880);
#3900 = CARTESIAN_POINT ('', (11.6218159205397, -0.700818594373303, 11.5));
#3910 = CARTESIAN_POINT ('', (11.5775657902574, -0.1950372908424, 12.));
#3920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3900, #3910), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3930 = EDGE_CURVE ('', #3820, #3890, #3920, .T.);
#3940 = ORIENTED_EDGE ('', *, *, #3930, .T.);
#3950 = CARTESIAN_POINT ('', (11.5775657902574, -0.1950372908424, 12.));
#3960 = CARTESIAN_POINT ('', (11.0354044172065, 6.0018955596663, 12.));
#3970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3950, #3960), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3980 = EDGE_CURVE ('', #3890, #3410, #3970, .T.);
#3990 = ORIENTED_EDGE ('', *, *, #3980, .T.);
#4000 = ORIENTED_EDGE ('', *, *, #3450, .T.);
#4010 = ORIENTED_EDGE ('', *, *, #1720, .T.);
#4020 = ORIENTED_EDGE ('', *, *, #820, .F.);
#4030 = CARTESIAN_POINT ('', (11.6388063333123, -0.8950199010091, 10.03));
#4040 = CARTESIAN_POINT ('', (12.38426959263, -9.4157039447958, 10.03));
#4050 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4030, #4040), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4060 = EDGE_CURVE ('', #3730, #680, #4050, .T.);
#4070 = ORIENTED_EDGE ('', *, *, #4060, .F.);
#4080 = EDGE_LOOP ('', (#3800, #3870, #3940, #3990, #4000, #4010, #4020, #4070));
#4090 = FACE_OUTER_BOUND ('', #4080, .F.);
#4100 = CARTESIAN_POINT ('', (12.3842695926299, -9.41570394479581, 0.));
#4110 = CARTESIAN_POINT ('', (11.0354044172065, 6.0018955596663, 0.));
#4120 = CARTESIAN_POINT ('', (12.3842695926299, -9.41570394479581, 12.));
#4130 = CARTESIAN_POINT ('', (11.0354044172065, 6.0018955596663, 12.));
#4140 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4100, #4110), (#4120, #4130)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 12.), (-1.69868498435784E-14, 15.4764922298775), .UNSPECIFIED.);
#4150 = ADVANCED_FACE ('', (#4090), #4140, .F.);
#4160 = ORIENTED_EDGE ('', *, *, #2790, .F.);
#4170 = CARTESIAN_POINT ('', (0., -5.9981044403337, 12.));
#4180 = VERTEX_POINT ('', #4170);
#4190 = CARTESIAN_POINT ('', (-67.45, -5.9981044403337, 12.));
#4200 = CARTESIAN_POINT ('', (0., -5.9981044403337, 12.));
#4210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4190, #4200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4220 = EDGE_CURVE ('', #2700, #4180, #4210, .T.);
#4230 = ORIENTED_EDGE ('', *, *, #4220, .T.);
#4240 = CARTESIAN_POINT ('', (0., -5.9981044403337, 1.77635683940025E-15));
#4250 = CARTESIAN_POINT ('', (0., -5.9981044403337, 12.));
#4260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4240, #4250), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4270 = EDGE_CURVE ('', #1890, #4180, #4260, .T.);
#4280 = ORIENTED_EDGE ('', *, *, #4270, .F.);
#4290 = ORIENTED_EDGE ('', *, *, #1930, .T.);
#4300 = EDGE_LOOP ('', (#4160, #4230, #4280, #4290));
#4310 = FACE_OUTER_BOUND ('', #4300, .F.);
#4320 = CARTESIAN_POINT ('', (0., -5.9981044403337, 12.));
#4330 = CARTESIAN_POINT ('', (-67.45, -5.9981044403337, 12.));
#4340 = CARTESIAN_POINT ('', (0., -5.9981044403337, 1.77635683940025E-15));
#4350 = CARTESIAN_POINT ('', (-67.45, -5.9981044403337, 1.77635683940025E-15));
#4360 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4320, #4330), (#4340, #4350)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 12.), (0., 67.45), .UNSPECIFIED.);
#4370 = ADVANCED_FACE ('', (#4310), #4360, .F.);
#4380 = CARTESIAN_POINT ('', (0., -5.9981044403337, 12.));
#4390 = CARTESIAN_POINT ('', (0.705089520250397, -8.6295343537925, 12.));
#4400 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4380, #4390), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4410 = EDGE_CURVE ('', #4180, #1260, #4400, .T.);
#4420 = ORIENTED_EDGE ('', *, *, #4410, .T.);
#4430 = ORIENTED_EDGE ('', *, *, #1300, .F.);
#4440 = ORIENTED_EDGE ('', *, *, #1980, .T.);
#4450 = ORIENTED_EDGE ('', *, *, #4270, .T.);
#4460 = EDGE_LOOP ('', (#4420, #4430, #4440, #4450));
#4470 = FACE_OUTER_BOUND ('', #4460, .F.);
#4480 = CARTESIAN_POINT ('', (0.705089520250297, -8.62953435379252, 12.));
#4490 = CARTESIAN_POINT ('', (1.4210854715202E-14, -5.9981044403337, 12.));
#4500 = CARTESIAN_POINT ('', (0.705089520250297, -8.62953435379252, 1.77635683940025E-15));
#4510 = CARTESIAN_POINT ('', (1.4210854715202E-14, -5.9981044403337, 1.77635683940025E-15));
#4520 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4480, #4490), (#4500, #4510)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 12.), (-2.57462789323514E-14, 2.72425670982244), .UNSPECIFIED.);
#4530 = ADVANCED_FACE ('', (#4470), #4520, .F.);
#4540 = ORIENTED_EDGE ('', *, *, #1510, .F.);
#4550 = CARTESIAN_POINT ('', (2.8162269820548, -1.5948386950517, 11.5));
#4560 = VERTEX_POINT ('', #4550);
#4570 = CARTESIAN_POINT ('', (2.8162269820548, -1.5948386950517, 11.5));
#4580 = CARTESIAN_POINT ('', (3.4527141540395, -8.8699203608736, 11.5));
#4590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4570, #4580), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4600 = EDGE_CURVE ('', #4560, #1400, #4590, .T.);
#4610 = ORIENTED_EDGE ('', *, *, #4600, .F.);
#4620 = CARTESIAN_POINT ('', (3.01346273972639, -1.6465130418739, 9.81500000000002));
#4630 = VERTEX_POINT ('', #4620);
#4640 = CARTESIAN_POINT ('', (3.01346273972639, -1.6465130418739, 9.81500000000002));
#4650 = CARTESIAN_POINT ('', (2.9130847885753, -1.6273938865513, 10.6780281614756));
#4660 = CARTESIAN_POINT ('', (2.8162269820548, -1.5948386950517, 11.5));
#4670 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4640, #4650, #4660), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.997687761096527, 1.))
   REPRESENTATION_ITEM ('')
);
#4680 = EDGE_CURVE ('', #4630, #4560, #4670, .T.);
#4690 = ORIENTED_EDGE ('', *, *, #4680, .F.);
#4700 = CARTESIAN_POINT ('', (3.6469154606753, -8.8869107736461, 9.81500000000002));
#4710 = CARTESIAN_POINT ('', (3.01346273972639, -1.6465130418739, 9.81500000000002));
#4720 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4700, #4710), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4730 = EDGE_CURVE ('', #1470, #4630, #4720, .T.);
#4740 = ORIENTED_EDGE ('', *, *, #4730, .F.);
#4750 = EDGE_LOOP ('', (#4540, #4610, #4690, #4740));
#4760 = FACE_OUTER_BOUND ('', #4750, .F.);
#4770 = CARTESIAN_POINT ('', (3.00747793447478, -1.57810640482641, 9.81500000000002));
#4780 = CARTESIAN_POINT ('', (2.81622698205479, -1.59483869505171, 11.5));
#4790 = CARTESIAN_POINT ('', (3.64691546067527, -8.8869107736461, 9.81500000000002));
#4800 = CARTESIAN_POINT ('', (3.45566450825528, -8.90364306387139, 11.5));
#4810 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4770, #4780), (#4790, #4800)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (2.14932238673527E-14, 7.33672281414472), (-8.75636229821738E-16, 1.6959014995977), .UNSPECIFIED.);
#4820 = ADVANCED_FACE ('', (#4760), #4810, .F.);
#4830 = ORIENTED_EDGE ('', *, *, #1440, .F.);
#4840 = CARTESIAN_POINT ('', (2.2871920630899, -1.2847985241313, 12.));
#4850 = VERTEX_POINT ('', #4840);
#4860 = CARTESIAN_POINT ('', (2.2871920630899, -1.2847985241313, 12.));
#4870 = CARTESIAN_POINT ('', (2.9469328505086, -8.8256702305913, 12.));
#4880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4860, #4870), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4890 = EDGE_CURVE ('', #4850, #1330, #4880, .T.);
#4900 = ORIENTED_EDGE ('', *, *, #4890, .F.);
#4910 = CARTESIAN_POINT ('', (2.8162269820548, -1.5948386950517, 11.5));
#4920 = CARTESIAN_POINT ('', (2.51934052574539, -1.4950512252958, 11.7870596626672));
#4930 = CARTESIAN_POINT ('', (2.2871920630899, -1.2847985241313, 12.));
#4940 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4910, #4920, #4930), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.978888096369861, 1.))
   REPRESENTATION_ITEM ('')
);
#4950 = EDGE_CURVE ('', #4560, #4850, #4940, .T.);
#4960 = ORIENTED_EDGE ('', *, *, #4950, .F.);
#4970 = ORIENTED_EDGE ('', *, *, #4600, .T.);
#4980 = EDGE_LOOP ('', (#4830, #4900, #4960, #4970));
#4990 = FACE_OUTER_BOUND ('', #4980, .F.);
#5000 = CARTESIAN_POINT ('', (2.95461680499358, -8.91349823224743, 12.));
#5010 = CARTESIAN_POINT ('', (3.4527141540395, -8.86992036087361, 11.5));
#5020 = CARTESIAN_POINT ('', (2.28719206308989, -1.2847985241313, 12.));
#5030 = CARTESIAN_POINT ('', (2.78528941213581, -1.24122065275747, 11.5));
#5040 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5000, #5010), (#5020, #5030)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.30221960886945E-14, 7.65784010166809), (-3.00870439673417E-14, 0.707106781186569), .UNSPECIFIED.);
#5050 = ADVANCED_FACE ('', (#4990), #5040, .F.);
#5060 = ORIENTED_EDGE ('', *, *, #3210, .F.);
#5070 = ORIENTED_EDGE ('', *, *, #3500, .F.);
#5080 = ORIENTED_EDGE ('', *, *, #3980, .F.);
#5090 = CARTESIAN_POINT ('', (4.6767350970005, 0.408707163729403, 12.));
#5100 = VERTEX_POINT ('', #5090);
#5110 = CARTESIAN_POINT ('', (11.5775657902574, -0.1950372908424, 12.));
#5120 = CARTESIAN_POINT ('', (4.6767350970005, 0.408707163729403, 12.));
#5130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5110, #5120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5140 = EDGE_CURVE ('', #3890, #5100, #5130, .T.);
#5150 = ORIENTED_EDGE ('', *, *, #5140, .T.);
#5160 = CARTESIAN_POINT ('', (1.79983241725479, -0.0422703520059002, 12.));
#5170 = VERTEX_POINT ('', #5160);
#5180 = CARTESIAN_POINT ('', (4.67673509700053, 0.408707163729417, 12.));
#5190 = CARTESIAN_POINT ('', (4.22150873087831, 1.49068889270039, 12.));
#5200 = CARTESIAN_POINT ('', (3.06182430401249, 1.30889907911133, 12.));
#5210 = CARTESIAN_POINT ('', (1.90213987714667, 1.12710926552227, 12.));
#5220 = CARTESIAN_POINT ('', (1.79983241725466, -0.042270352005886, 12.));
#5230 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5180, #5190, #5200, #5210, #5220), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (202.818139284656, 278.909069642327, 354.999999999999), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.787521967677539, 1., 0.787521967677539, 1.))
   REPRESENTATION_ITEM ('')
);
#5240 = EDGE_CURVE ('', #5100, #5170, #5230, .T.);
#5250 = ORIENTED_EDGE ('', *, *, #5240, .T.);
#5260 = CARTESIAN_POINT ('', (1.79983241725479, -0.0422703520059002, 12.));
#5270 = CARTESIAN_POINT ('', (1.73488814618347, -0.784586767115854, 12.));
#5280 = CARTESIAN_POINT ('', (2.28719206308986, -1.28479852413135, 12.));
#5290 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5260, #5270, #5280), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (355., 407.833428066065), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.89558201541954, 1.))
   REPRESENTATION_ITEM ('')
);
#5300 = EDGE_CURVE ('', #5170, #4850, #5290, .T.);
#5310 = ORIENTED_EDGE ('', *, *, #5300, .T.);
#5320 = ORIENTED_EDGE ('', *, *, #4890, .T.);
#5330 = ORIENTED_EDGE ('', *, *, #1370, .F.);
#5340 = ORIENTED_EDGE ('', *, *, #4410, .F.);
#5350 = ORIENTED_EDGE ('', *, *, #4220, .F.);
#5360 = EDGE_LOOP ('', (#5060, #5070, #5080, #5150, #5250, #5310, #5320, #5330, #5340, #5350));
#5370 = FACE_OUTER_BOUND ('', #5360, .F.);
#5380 = CARTESIAN_POINT ('', (11.5775657902574, -8.8256702305913, 12.));
#5390 = CARTESIAN_POINT ('', (11.5775657902574, 6.0018955596663, 12.));
#5400 = CARTESIAN_POINT ('', (-67.45, -8.8256702305913, 12.));
#5410 = CARTESIAN_POINT ('', (-67.45, 6.0018955596663, 12.));
#5420 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5380, #5390), (#5400, #5410)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 79.0275657902574), (0., 14.8275657902576), .UNSPECIFIED.);
#5430 = ADVANCED_FACE ('', (#5370), #5420, .F.);
#5440 = CARTESIAN_POINT ('', (4.7941244643925, -0.173003966127297, 10.8920567335271));
#5450 = VERTEX_POINT ('', #5440);
#5460 = CARTESIAN_POINT ('', (4.7941244643925, -0.173003966127297, 10.8920567335271));
#5470 = CARTESIAN_POINT ('', (4.7941244643924, -0.173003966127297, 8.03000000000001));
#5480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5460, #5470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5490 = EDGE_CURVE ('', #5450, #40, #5480, .T.);
#5500 = ORIENTED_EDGE ('', *, *, #5490, .F.);
#5510 = CARTESIAN_POINT ('', (4.78909401914329, -0.2957477251054, 9.81499999999994));
#5520 = VERTEX_POINT ('', #5510);
#5530 = CARTESIAN_POINT ('', (4.7941244643925, -0.173003966127297, 10.8920567335271));
#5540 = CARTESIAN_POINT ('', (4.7941244643925, -0.234478927759199, 10.3545511041986));
#5550 = CARTESIAN_POINT ('', (4.78909401914329, -0.2957477251054, 9.81500000000001));
#5560 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5530, #5540, #5550), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.999048662162563, 0.998685857663533, 1.))
   REPRESENTATION_ITEM ('')
);
#5570 = EDGE_CURVE ('', #5450, #5520, #5560, .T.);
#5580 = ORIENTED_EDGE ('', *, *, #5570, .T.);
#5590 = CARTESIAN_POINT ('', (4.78909401914329, -0.2957477251054, 9.81499999999994));
#5600 = CARTESIAN_POINT ('', (4.78909401914329, -0.2957477251054, 8.03000000000002));
#5610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5590, #5600), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5620 = EDGE_CURVE ('', #5520, #20, #5610, .T.);
#5630 = ORIENTED_EDGE ('', *, *, #5620, .T.);
#5640 = ORIENTED_EDGE ('', *, *, #90, .T.);
#5650 = EDGE_LOOP ('', (#5500, #5580, #5630, #5640));
#5660 = FACE_OUTER_BOUND ('', #5650, .F.);
#5670 = CARTESIAN_POINT ('', (4.78909401914341, -0.295747725105457, 8.03000000000001));
#5680 = CARTESIAN_POINT ('', (4.7890940191454, -0.295747725105542, 10.8920567335271));
#5690 = CARTESIAN_POINT ('', (4.7941244643925, -0.23447892775912, 8.03000000000001));
#5700 = CARTESIAN_POINT ('', (4.79412446439447, -0.234478927759206, 10.8920567335271));
#5710 = CARTESIAN_POINT ('', (4.7941244643925, -0.173003966126998, 8.03000000000001));
#5720 = CARTESIAN_POINT ('', (4.79412446439447, -0.173003966127084, 10.8920567335271));
#5730 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#5670, #5680), (#5690, #5700), (#5710, #5720)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.985752082972767, 1.), (0.0836242959122445, 0.916375704087754), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.968517717539768, 0.968517717539768), (0.983307526882027, 0.983307526882027), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#5740 = ADVANCED_FACE ('', (#5660), #5730, .F.);
#5750 = CARTESIAN_POINT ('', (9.5992475606575, -5.0098520009912, 8.03000000000001));
#5760 = VERTEX_POINT ('', #5750);
#5770 = CARTESIAN_POINT ('', (9.18674756065739, -5.0098520009912, 7.79184301395929));
#5780 = VERTEX_POINT ('', #5770);
#5790 = CARTESIAN_POINT ('', (9.5992475606575, -5.0098520009912, 8.03000000000001));
#5800 = CARTESIAN_POINT ('', (9.18674756065739, -5.0098520009912, 7.79184301395929));
#5810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5790, #5800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5820 = EDGE_CURVE ('', #5760, #5780, #5810, .T.);
#5830 = ORIENTED_EDGE ('', *, *, #5820, .F.);
#5840 = CARTESIAN_POINT ('', (9.592255318401, -5.1700006782901, 8.03000000000002));
#5850 = VERTEX_POINT ('', #5840);
#5860 = CARTESIAN_POINT ('', (9.5922553184011, -5.17000067829011, 8.03000000000001));
#5870 = CARTESIAN_POINT ('', (9.5992475606575, -5.09007898358567, 8.03000000000001));
#5880 = CARTESIAN_POINT ('', (9.5992475606575, -5.0098520009912, 8.03000000000001));
#5890 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5860, #5870, #5880), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (175.000000000012, 180.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.999048221581862, 1.))
   REPRESENTATION_ITEM ('')
);
#5900 = EDGE_CURVE ('', #5850, #5760, #5890, .T.);
#5910 = ORIENTED_EDGE ('', *, *, #5900, .F.);
#5920 = CARTESIAN_POINT ('', (9.1813250054382, -5.1340489344067, 7.79184301395929));
#5930 = VERTEX_POINT ('', #5920);
#5940 = CARTESIAN_POINT ('', (9.1813250054382, -5.1340489344067, 7.79184301395929));
#5950 = CARTESIAN_POINT ('', (9.592255318401, -5.1700006782901, 8.03000000000002));
#5960 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5940, #5950), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5970 = EDGE_CURVE ('', #5930, #5850, #5960, .T.);
#5980 = ORIENTED_EDGE ('', *, *, #5970, .F.);
#5990 = CARTESIAN_POINT ('', (9.18674756065739, -5.0098520009912, 7.7918430139593));
#6000 = CARTESIAN_POINT ('', (9.18674756065738, -5.07206884463585, 7.79184301395929));
#6010 = CARTESIAN_POINT ('', (9.18132500543818, -5.1340489344067, 7.79184301395929));
#6020 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5990, #6000, #6010), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (1.22847529589457E-11, 4.99999999993622), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.999048221581887, 1.))
   REPRESENTATION_ITEM ('')
);
#6030 = EDGE_CURVE ('', #5780, #5930, #6020, .T.);
#6040 = ORIENTED_EDGE ('', *, *, #6030, .F.);
#6050 = EDGE_LOOP ('', (#5830, #5910, #5980, #6040));
#6060 = FACE_OUTER_BOUND ('', #6050, .F.);
#6070 = CARTESIAN_POINT ('', (9.18132500543751, -5.13404893441446, 7.79184301395928));
#6080 = CARTESIAN_POINT ('', (9.59225531840701, -5.17000067830045, 8.03000000000401));
#6090 = CARTESIAN_POINT ('', (9.18674756065739, -5.07206884464008, 7.79184301395928));
#6100 = CARTESIAN_POINT ('', (9.59924756066427, -5.09007898359114, 8.03000000000401));
#6110 = CARTESIAN_POINT ('', (9.18674756065739, -5.0098520009918, 7.79184301395928));
#6120 = CARTESIAN_POINT ('', (9.59924756066425, -5.0098520009918, 8.03000000000401));
#6130 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6070, #6080), (#6090, #6100), (#6110, #6120)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.984837734482371, 1.), (0.774779886733347, 0.999058275001297), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.966627305351757, 0.966627305351757), (0.982236300992149, 0.982236300992149), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#6140 = ADVANCED_FACE ('', (#6060), #6130, .F.);
#6150 = CARTESIAN_POINT ('', (9.18674756065739, -5.0098520009912, 7.79184301395929));
#6160 = CARTESIAN_POINT ('', (9.18674756065739, -5.0098520009912, -3.64153152077051E-14));
#6170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6150, #6160), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6180 = EDGE_CURVE ('', #5780, #2070, #6170, .T.);
#6190 = ORIENTED_EDGE ('', *, *, #6180, .F.);
#6200 = ORIENTED_EDGE ('', *, *, #6030, .T.);
#6210 = CARTESIAN_POINT ('', (9.1813250054382, -5.1340489344067, 7.79184301395929));
#6220 = CARTESIAN_POINT ('', (9.1813250054382, -5.1340489344067, -3.64153152077051E-14));
#6230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6210, #6220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6240 = EDGE_CURVE ('', #5930, #2050, #6230, .T.);
#6250 = ORIENTED_EDGE ('', *, *, #6240, .T.);
#6260 = ORIENTED_EDGE ('', *, *, #2240, .F.);
#6270 = EDGE_LOOP ('', (#6190, #6200, #6250, #6260));
#6280 = FACE_OUTER_BOUND ('', #6270, .F.);
#6290 = CARTESIAN_POINT ('', (9.18132500543747, -5.13404893441449, -3.86357612569554E-14));
#6300 = CARTESIAN_POINT ('', (9.18132500543749, -5.13404893441449, 7.7918430139593));
#6310 = CARTESIAN_POINT ('', (9.18674756065738, -5.07206884464009, -3.86357612569554E-14));
#6320 = CARTESIAN_POINT ('', (9.18674756065739, -5.07206884464009, 7.7918430139593));
#6330 = CARTESIAN_POINT ('', (9.18674756065738, -5.0098520009918, -3.81916720471054E-14));
#6340 = CARTESIAN_POINT ('', (9.18674756065739, -5.0098520009918, 7.7918430139593));
#6350 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6290, #6300), (#6310, #6320), (#6330, #6340)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.984837734482289, 1.), (0.0834402553398248, 0.916559744660175), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.966627305351589, 0.966627305351589), (0.982236300992054, 0.982236300992054), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#6360 = ADVANCED_FACE ('', (#6280), #6350, .F.);
#6370 = ORIENTED_EDGE ('', *, *, #3930, .F.);
#6380 = CARTESIAN_POINT ('', (4.7925054996966, -0.103331352849999, 11.5));
#6390 = VERTEX_POINT ('', #6380);
#6400 = CARTESIAN_POINT ('', (11.6218159205397, -0.700818594373303, 11.5));
#6410 = CARTESIAN_POINT ('', (4.7925054996966, -0.103331352849999, 11.5));
#6420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6400, #6410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6430 = EDGE_CURVE ('', #3820, #6390, #6420, .T.);
#6440 = ORIENTED_EDGE ('', *, *, #6430, .T.);
#6450 = CARTESIAN_POINT ('', (4.6767350970005, 0.408707163729403, 12.));
#6460 = CARTESIAN_POINT ('', (4.7801225893445, 0.162975839611903, 11.7642145714452));
#6470 = CARTESIAN_POINT ('', (4.7925054996966, -0.103331352849999, 11.5));
#6480 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6450, #6460, #6470), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.984570621099976, 1.))
   REPRESENTATION_ITEM ('')
);
#6490 = EDGE_CURVE ('', #5100, #6390, #6480, .T.);
#6500 = ORIENTED_EDGE ('', *, *, #6490, .F.);
#6510 = ORIENTED_EDGE ('', *, *, #5140, .F.);
#6520 = EDGE_LOOP ('', (#6370, #6440, #6500, #6510));
#6530 = FACE_OUTER_BOUND ('', #6520, .F.);
#6540 = CARTESIAN_POINT ('', (4.6767350970005, 0.40870716372936, 12.));
#6550 = CARTESIAN_POINT ('', (4.63315722562668, -0.0893901853164962, 11.5));
#6560 = CARTESIAN_POINT ('', (11.6653937919135, -0.202721245327446, 12.));
#6570 = CARTESIAN_POINT ('', (11.6218159205397, -0.700818594373303, 11.5));
#6580 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6540, #6550), (#6560, #6570)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (1.47760569215276E-14, 7.01535423577352), (7.32134526109434E-14, 0.707106781186646), .UNSPECIFIED.);
#6590 = ADVANCED_FACE ('', (#6530), #6580, .F.);
#6600 = ORIENTED_EDGE ('', *, *, #3860, .F.);
#6610 = CARTESIAN_POINT ('', (4.78909401914329, -0.2957477251054, 9.81499999999994));
#6620 = CARTESIAN_POINT ('', (11.6388063333123, -0.8950199010091, 9.81499999999994));
#6630 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6610, #6620), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6640 = EDGE_CURVE ('', #5520, #3750, #6630, .T.);
#6650 = ORIENTED_EDGE ('', *, *, #6640, .F.);
#6660 = ORIENTED_EDGE ('', *, *, #5570, .F.);
#6670 = CARTESIAN_POINT ('', (4.7925054996966, -0.103331352849999, 11.5));
#6680 = CARTESIAN_POINT ('', (4.7941244643925, -0.138148849754401, 11.1968120479514));
#6690 = CARTESIAN_POINT ('', (4.7941244643925, -0.173003966127297, 10.8920567335271));
#6700 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6670, #6680, #6690), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.999254482430811, 0.999048662162563))
   REPRESENTATION_ITEM ('')
);
#6710 = EDGE_CURVE ('', #6390, #5450, #6700, .T.);
#6720 = ORIENTED_EDGE ('', *, *, #6710, .F.);
#6730 = ORIENTED_EDGE ('', *, *, #6430, .F.);
#6740 = EDGE_LOOP ('', (#6600, #6650, #6660, #6720, #6730));
#6750 = FACE_OUTER_BOUND ('', #6740, .F.);
#6760 = CARTESIAN_POINT ('', (11.6388063333123, -0.895019901009107, 9.81499999999991));
#6770 = CARTESIAN_POINT ('', (11.6555386235376, -0.703768948589008, 11.5));
#6780 = CARTESIAN_POINT ('', (4.77577320947131, -0.294582305270104, 9.81499999999992));
#6790 = CARTESIAN_POINT ('', (4.79250549969662, -0.103331352850006, 11.5));
#6800 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6760, #6770), (#6780, #6790)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.04129639489174E-28, 6.88924879542868), (-9.12720943043994E-14, 1.69590149959771), .UNSPECIFIED.);
#6810 = ADVANCED_FACE ('', (#6750), #6800, .F.);
#6820 = CARTESIAN_POINT ('', (1.79983241725479, -0.0422703520059002, 12.));
#6830 = CARTESIAN_POINT ('', (1.79983241725479, -0.0422703520059002, 8.03000000000001));
#6840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6820, #6830), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6850 = EDGE_CURVE ('', #5170, #190, #6840, .T.);
#6860 = ORIENTED_EDGE ('', *, *, #6850, .T.);
#6870 = ORIENTED_EDGE ('', *, *, #240, .T.);
#6880 = CARTESIAN_POINT ('', (3.01346273972639, -1.6465130418739, 8.03000000000002));
#6890 = CARTESIAN_POINT ('', (3.01346273972639, -1.6465130418739, 9.81500000000002));
#6900 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6880, #6890), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6910 = EDGE_CURVE ('', #120, #4630, #6900, .T.);
#6920 = ORIENTED_EDGE ('', *, *, #6910, .T.);
#6930 = ORIENTED_EDGE ('', *, *, #4680, .T.);
#6940 = ORIENTED_EDGE ('', *, *, #4950, .T.);
#6950 = ORIENTED_EDGE ('', *, *, #5300, .F.);
#6960 = EDGE_LOOP ('', (#6860, #6870, #6920, #6930, #6940, #6950));
#6970 = FACE_OUTER_BOUND ('', #6960, .F.);
#6980 = CARTESIAN_POINT ('', (1.7998324172549, -0.0422703520059073, 8.02999999999999));
#6990 = CARTESIAN_POINT ('', (1.7998324172549, -0.0422703520059073, 12.));
#7000 = CARTESIAN_POINT ('', (1.79412446439253, -0.10751255176443, 8.02999999999999));
#7010 = CARTESIAN_POINT ('', (1.79412446439253, -0.10751255176443, 12.));
#7020 = CARTESIAN_POINT ('', (1.79412446439251, -0.173003966126998, 8.02999999999999));
#7030 = CARTESIAN_POINT ('', (1.79412446439251, -0.173003966126998, 12.));
#7040 = CARTESIAN_POINT ('', (1.79412446439252, -1.41426365234526, 8.02999999999999));
#7050 = CARTESIAN_POINT ('', (1.79412446439251, -1.41426365234525, 12.));
#7060 = CARTESIAN_POINT ('', (3.01346273972774, -1.64651304186685, 8.02999999999999));
#7070 = CARTESIAN_POINT ('', (3.01346273972774, -1.64651304186685, 12.));
#7080 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6980, #6990), (#7000, #7010), (#7020, #7030), (#7040, #7050), (#7060, #7070)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0.484837734483159, 0.5, 0.717884622421557), (0.0835431352802948, 0.916456864719704), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.96662730535338, 0.96662730535338), (0.982236300993073, 0.982236300993073), (1., 1.), (0.744732286435985, 0.744732286435985), (0.934415847962448, 0.934415847962448)))
   REPRESENTATION_ITEM ('')
);
#7090 = ADVANCED_FACE ('', (#6970), #7080, .F.);
#7100 = ORIENTED_EDGE ('', *, *, #5490, .T.);
#7110 = ORIENTED_EDGE ('', *, *, #320, .T.);
#7120 = ORIENTED_EDGE ('', *, *, #6850, .F.);
#7130 = ORIENTED_EDGE ('', *, *, #5240, .F.);
#7140 = ORIENTED_EDGE ('', *, *, #6490, .T.);
#7150 = ORIENTED_EDGE ('', *, *, #6710, .T.);
#7160 = EDGE_LOOP ('', (#7100, #7110, #7120, #7130, #7140, #7150));
#7170 = FACE_OUTER_BOUND ('', #7160, .F.);
#7180 = CARTESIAN_POINT ('', (4.7941244643925, -0.173003966127297, 8.03000000000001));
#7190 = CARTESIAN_POINT ('', (4.7941244643925, -0.173003966127297, 12.));
#7200 = CARTESIAN_POINT ('', (4.7941244643925, 1.3269960338727, 8.03000000000001));
#7210 = CARTESIAN_POINT ('', (4.79412446439251, 1.3269960338727, 12.));
#7220 = CARTESIAN_POINT ('', (3.2941244643925, 1.3269960338727, 8.03000000000001));
#7230 = CARTESIAN_POINT ('', (3.2941244643925, 1.3269960338727, 12.));
#7240 = CARTESIAN_POINT ('', (1.91962770336626, 1.32699603387271, 8.03000000000001));
#7250 = CARTESIAN_POINT ('', (1.91962770336626, 1.32699603387271, 12.));
#7260 = CARTESIAN_POINT ('', (1.79983241725486, -0.0422703520059073, 8.03000000000001));
#7270 = CARTESIAN_POINT ('', (1.79983241725486, -0.0422703520059073, 12.));
#7280 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#7180, #7190), (#7200, #7210), (#7220, #7230), (#7240, #7250), (#7260, #7270)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.25, 0.484837734483208), (0.0835431352802947, 0.916456864719705), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186547), (1., 1.), (0.724870480193417, 0.724870480193417), (0.966627305353482, 0.966627305353482)))
   REPRESENTATION_ITEM ('')
);
#7290 = ADVANCED_FACE ('', (#7170), #7280, .F.);
#7300 = ORIENTED_EDGE ('', *, *, #5820, .T.);
#7310 = CARTESIAN_POINT ('', (9.18132500543818, -5.1340489344067, 7.79184301395929));
#7320 = CARTESIAN_POINT ('', (9.05980849620835, -6.5229889905529, 7.79184301395929));
#7330 = CARTESIAN_POINT ('', (7.66854810150448, -6.43180096660635, 7.79184301395929));
#7340 = CARTESIAN_POINT ('', (6.27728770680062, -6.3406129426598, 7.79184301395929));
#7350 = CARTESIAN_POINT ('', (6.3381038449032, -4.94769437399576, 7.79184301395929));
#7360 = CARTESIAN_POINT ('', (6.39891998300578, -3.55477580533171, 7.79184301395929));
#7370 = CARTESIAN_POINT ('', (7.79283377183157, -3.58519111240239, 7.79184301395929));
#7380 = CARTESIAN_POINT ('', (9.18674756065734, -3.61560641947307, 7.79184301395929));
#7390 = CARTESIAN_POINT ('', (9.18674756065744, -5.0098520009912, 7.79184301395929));
#7400 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7310, #7320, #7330, #7340, #7350, #7360, #7370, #7380, #7390), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (94.9999999999992, 183.749999999998, 272.499999999998, 361.249999999997, 449.999999999996), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.714777897334051, 1., 0.714777897334051, 1., 0.714777897334051, 1., 0.714777897334051, 1.))
   REPRESENTATION_ITEM ('')
);
#7410 = EDGE_CURVE ('', #5930, #5780, #7400, .T.);
#7420 = ORIENTED_EDGE ('', *, *, #7410, .F.);
#7430 = ORIENTED_EDGE ('', *, *, #5970, .T.);
#7440 = CARTESIAN_POINT ('', (9.59924756065753, -5.0098520009912, 8.03000000000001));
#7450 = CARTESIAN_POINT ('', (9.59924756065753, -3.21200901429689, 8.03000000000001));
#7460 = CARTESIAN_POINT ('', (7.80183241190862, -3.17278927623194, 8.03000000000001));
#7470 = CARTESIAN_POINT ('', (6.00441726315971, -3.13356953816699, 8.03000000000001));
#7480 = CARTESIAN_POINT ('', (5.925996453501, -4.92970137670736, 8.03000000000001));
#7490 = CARTESIAN_POINT ('', (5.84757564384229, -6.72583321524772, 8.03000000000001));
#7500 = CARTESIAN_POINT ('', (7.64156931069715, -6.84341777244206, 8.03000000000001));
#7510 = CARTESIAN_POINT ('', (9.43556297755201, -6.9610023296364, 8.03000000000001));
#7520 = CARTESIAN_POINT ('', (9.5922553184011, -5.17000067829011, 8.03000000000001));
#7530 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7440, #7450, #7460, #7470, #7480, #7490, #7500, #7510, #7520), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (180., 268.749999999999, 357.499999999999, 446.249999999998, 534.999999999997), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.714777897334051, 1., 0.714777897334051, 1., 0.714777897334051, 1., 0.714777897334051, 1.))
   REPRESENTATION_ITEM ('')
);
#7540 = EDGE_CURVE ('', #5760, #5850, #7530, .T.);
#7550 = ORIENTED_EDGE ('', *, *, #7540, .F.);
#7560 = EDGE_LOOP ('', (#7300, #7420, #7430, #7550));
#7570 = FACE_OUTER_BOUND ('', #7560, .F.);
#7580 = CARTESIAN_POINT ('', (9.18674756065735, -5.0098520009912, 7.79184301395925));
#7590 = CARTESIAN_POINT ('', (9.59924756066432, -5.0098520009912, 8.03000000000401));
#7600 = CARTESIAN_POINT ('', (9.18674756065735, -3.58485200099125, 7.79184301395925));
#7610 = CARTESIAN_POINT ('', (9.59924756066432, -3.17235200098428, 8.030000000004));
#7620 = CARTESIAN_POINT ('', (7.7617475606574, -3.58485200099125, 7.79184301395925));
#7630 = CARTESIAN_POINT ('', (7.7617475606574, -3.17235200098428, 8.03000000000401));
#7640 = CARTESIAN_POINT ('', (6.33674756065744, -3.58485200099125, 7.79184301395925));
#7650 = CARTESIAN_POINT ('', (5.92424756065048, -3.17235200098428, 8.03000000000401));
#7660 = CARTESIAN_POINT ('', (6.33674756065744, -5.0098520009912, 7.79184301395925));
#7670 = CARTESIAN_POINT ('', (5.92424756065047, -5.0098520009912, 8.03000000000401));
#7680 = CARTESIAN_POINT ('', (6.33674756065744, -6.43485200099116, 7.79184301395926));
#7690 = CARTESIAN_POINT ('', (5.92424756065048, -6.84735200099813, 8.03000000000401));
#7700 = CARTESIAN_POINT ('', (7.7617475606574, -6.43485200099116, 7.79184301395925));
#7710 = CARTESIAN_POINT ('', (7.7617475606574, -6.84735200099813, 8.03000000000401));
#7720 = CARTESIAN_POINT ('', (9.06751948363213, -6.43485200099116, 7.79184301395925));
#7730 = CARTESIAN_POINT ('', (9.44550609292068, -6.84735200099814, 8.03000000000401));
#7740 = CARTESIAN_POINT ('', (9.1813250054381, -5.13404893440666, 7.79184301395925));
#7750 = CARTESIAN_POINT ('', (9.59225531840789, -5.17000067829071, 8.03000000000401));
#7760 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#7580, #7590), (#7600, #7610), (#7620, #7630), (#7640, #7650), (#7660, #7670), (#7680, #7690), (#7700, #7710), (#7720, #7730), (#7740, #7750)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 0.98483773448319), (0.774779886732751, 0.999058275001295), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.724870480193438, 0.724870480193438), (0.966627305353444, 0.966627305353444)))
   REPRESENTATION_ITEM ('')
);
#7770 = ADVANCED_FACE ('', (#7570), #7760, .F.);
#7780 = ORIENTED_EDGE ('', *, *, #6180, .T.);
#7790 = ORIENTED_EDGE ('', *, *, #2180, .F.);
#7800 = ORIENTED_EDGE ('', *, *, #6240, .F.);
#7810 = ORIENTED_EDGE ('', *, *, #7410, .T.);
#7820 = EDGE_LOOP ('', (#7780, #7790, #7800, #7810));
#7830 = FACE_OUTER_BOUND ('', #7820, .F.);
#7840 = CARTESIAN_POINT ('', (9.18674756065739, -5.0098520009912, -3.73034936274053E-14));
#7850 = CARTESIAN_POINT ('', (9.18674756065741, -5.0098520009912, 7.79184301395929));
#7860 = CARTESIAN_POINT ('', (9.18674756065739, -3.58485200099121, -3.68594044175552E-14));
#7870 = CARTESIAN_POINT ('', (9.18674756065741, -3.58485200099121, 7.79184301395929));
#7880 = CARTESIAN_POINT ('', (7.7617475606574, -3.58485200099121, -3.5527136788005E-14));
#7890 = CARTESIAN_POINT ('', (7.76174756065741, -3.58485200099121, 7.79184301395929));
#7900 = CARTESIAN_POINT ('', (6.3367475606574, -3.58485200099121, -3.37507799486048E-14));
#7910 = CARTESIAN_POINT ('', (6.33674756065741, -3.58485200099121, 7.79184301395929));
#7920 = CARTESIAN_POINT ('', (6.33674756065741, -5.0098520009912, -3.41948691584548E-14));
#7930 = CARTESIAN_POINT ('', (6.33674756065741, -5.0098520009912, 7.79184301395929));
#7940 = CARTESIAN_POINT ('', (6.3367475606574, -6.4348520009912, -3.37507799486048E-14));
#7950 = CARTESIAN_POINT ('', (6.33674756065741, -6.4348520009912, 7.79184301395929));
#7960 = CARTESIAN_POINT ('', (7.7617475606574, -6.43485200099121, -3.5527136788005E-14));
#7970 = CARTESIAN_POINT ('', (7.76174756065741, -6.4348520009912, 7.79184301395929));
#7980 = CARTESIAN_POINT ('', (9.06751948363214, -6.43485200099119, -3.73034936274053E-14));
#7990 = CARTESIAN_POINT ('', (9.06751948363217, -6.4348520009912, 7.79184301395929));
#8000 = CARTESIAN_POINT ('', (9.18132500543811, -5.13404893440669, -3.73034936274053E-14));
#8010 = CARTESIAN_POINT ('', (9.18132500543813, -5.13404893440669, 7.79184301395929));
#8020 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#7840, #7850), (#7860, #7870), (#7880, #7890), (#7900, #7910), (#7920, #7930), (#7940, #7950), (#7960, #7970), (#7980, #7990), (#8000, #8010)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 0.984837734483188), (0.0834402553398253, 0.916559744660175), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.724870480193441, 0.724870480193441), (0.966627305353439, 0.966627305353439)))
   REPRESENTATION_ITEM ('')
);
#8030 = ADVANCED_FACE ('', (#7830), #8020, .F.);
#8040 = ORIENTED_EDGE ('', *, *, #5900, .T.);
#8050 = ORIENTED_EDGE ('', *, *, #7540, .T.);
#8060 = EDGE_LOOP ('', (#8040, #8050));
#8070 = FACE_OUTER_BOUND ('', #8060, .F.);
#8080 = CARTESIAN_POINT ('', (9.59924756065753, -3.13356953816699, 8.03000000000002));
#8090 = CARTESIAN_POINT ('', (9.59924756065753, -6.9610023296364, 8.03000000000002));
#8100 = CARTESIAN_POINT ('', (5.84757564384229, -3.13356953816699, 8.03000000000002));
#8110 = CARTESIAN_POINT ('', (5.84757564384229, -6.9610023296364, 8.03000000000002));
#8120 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8080, #8090), (#8100, #8110)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00100000000000477, 3.75267191681525), (-6.29956555517831, -2.4721327637089), .UNSPECIFIED.);
#8130 = ADVANCED_FACE ('', (#8070), #8120, .F.);
#8140 = ORIENTED_EDGE ('', *, *, #4730, .T.);
#8150 = CARTESIAN_POINT ('', (3.01346273972639, -1.6465130418739, 10.03));
#8160 = VERTEX_POINT ('', #8150);
#8170 = CARTESIAN_POINT ('', (3.01346273972639, -1.6465130418739, 10.03));
#8180 = CARTESIAN_POINT ('', (3.01346273972639, -1.6465130418739, 9.81500000000002));
#8190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8170, #8180), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8200 = EDGE_CURVE ('', #8160, #4630, #8190, .T.);
#8210 = ORIENTED_EDGE ('', *, *, #8200, .F.);
#8220 = CARTESIAN_POINT ('', (3.6469154606753, -8.8869107736461, 10.03));
#8230 = CARTESIAN_POINT ('', (3.01346273972639, -1.6465130418739, 10.03));
#8240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8220, #8230), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8250 = EDGE_CURVE ('', #1110, #8160, #8240, .T.);
#8260 = ORIENTED_EDGE ('', *, *, #8250, .F.);
#8270 = ORIENTED_EDGE ('', *, *, #1560, .T.);
#8280 = EDGE_LOOP ('', (#8140, #8210, #8260, #8270));
#8290 = FACE_OUTER_BOUND ('', #8280, .F.);
#8300 = CARTESIAN_POINT ('', (3.6469154606753, -8.8869107736461, 9.81500000000002));
#8310 = CARTESIAN_POINT ('', (3.6469154606753, -8.8869107736461, 10.03));
#8320 = CARTESIAN_POINT ('', (3.01346273972641, -1.6465130418739, 9.81500000000002));
#8330 = CARTESIAN_POINT ('', (3.01346273972641, -1.6465130418739, 10.03));
#8340 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8300, #8310), (#8320, #8330)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00108335044083372, 7.26913822529763), (-0.214999999999979, 0.), .UNSPECIFIED.);
#8350 = ADVANCED_FACE ('', (#8290), #8340, .F.);
#8360 = ORIENTED_EDGE ('', *, *, #160, .T.);
#8370 = ORIENTED_EDGE ('', *, *, #5620, .F.);
#8380 = CARTESIAN_POINT ('', (4.78909401914329, -0.2957477251054, 10.03));
#8390 = VERTEX_POINT ('', #8380);
#8400 = CARTESIAN_POINT ('', (4.78909401914329, -0.2957477251054, 10.03));
#8410 = CARTESIAN_POINT ('', (4.78909401914329, -0.2957477251054, 9.81499999999994));
#8420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8400, #8410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8430 = EDGE_CURVE ('', #8390, #5520, #8420, .T.);
#8440 = ORIENTED_EDGE ('', *, *, #8430, .F.);
#8450 = CARTESIAN_POINT ('', (3.01346273972639, -1.6465130418739, 10.03));
#8460 = CARTESIAN_POINT ('', (4.78909401914329, -0.2957477251054, 10.03));
#8470 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8450, #8460), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8480 = EDGE_CURVE ('', #8160, #8390, #8470, .T.);
#8490 = ORIENTED_EDGE ('', *, *, #8480, .F.);
#8500 = ORIENTED_EDGE ('', *, *, #8200, .T.);
#8510 = ORIENTED_EDGE ('', *, *, #6910, .F.);
#8520 = EDGE_LOOP ('', (#8360, #8370, #8440, #8490, #8500, #8510));
#8530 = FACE_OUTER_BOUND ('', #8520, .F.);
#8540 = CARTESIAN_POINT ('', (3.01346273972639, -1.6465130418739, 8.03000000000002));
#8550 = CARTESIAN_POINT ('', (3.01346273972639, -1.6465130418739, 10.03));
#8560 = CARTESIAN_POINT ('', (4.78909401914329, -0.295747725105407, 8.03000000000002));
#8570 = CARTESIAN_POINT ('', (4.78909401914329, -0.295747725105407, 10.03));
#8580 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8540, #8550), (#8560, #8570)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00140133297363796, 2.23241755466017), (-1.99999999999998, 0.), .UNSPECIFIED.);
#8590 = ADVANCED_FACE ('', (#8530), #8580, .F.);
#8600 = ORIENTED_EDGE ('', *, *, #6640, .T.);
#8610 = ORIENTED_EDGE ('', *, *, #3790, .F.);
#8620 = CARTESIAN_POINT ('', (4.78909401914329, -0.2957477251054, 10.03));
#8630 = CARTESIAN_POINT ('', (11.6388063333123, -0.8950199010091, 10.03));
#8640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8620, #8630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8650 = EDGE_CURVE ('', #8390, #3730, #8640, .T.);
#8660 = ORIENTED_EDGE ('', *, *, #8650, .F.);
#8670 = ORIENTED_EDGE ('', *, *, #8430, .T.);
#8680 = EDGE_LOOP ('', (#8600, #8610, #8660, #8670));
#8690 = FACE_OUTER_BOUND ('', #8680, .F.);
#8700 = CARTESIAN_POINT ('', (4.78909401914329, -0.2957477251054, 9.81499999999994));
#8710 = CARTESIAN_POINT ('', (4.78909401914329, -0.2957477251054, 10.03));
#8720 = CARTESIAN_POINT ('', (11.6388063333123, -0.895019901009107, 9.81499999999994));
#8730 = CARTESIAN_POINT ('', (11.6388063333123, -0.895019901009107, 10.03));
#8740 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8700, #8710), (#8720, #8730)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00108335044083434, 6.87696045286864), (-0.215000000000058, 0.), .UNSPECIFIED.);
#8750 = ADVANCED_FACE ('', (#8690), #8740, .F.);
#8760 = ORIENTED_EDGE ('', *, *, #8250, .T.);
#8770 = ORIENTED_EDGE ('', *, *, #8480, .T.);
#8780 = ORIENTED_EDGE ('', *, *, #8650, .T.);
#8790 = ORIENTED_EDGE ('', *, *, #4060, .T.);
#8800 = ORIENTED_EDGE ('', *, *, #750, .T.);
#8810 = ORIENTED_EDGE ('', *, *, #1150, .T.);
#8820 = EDGE_LOOP ('', (#8760, #8770, #8780, #8790, #8800, #8810));
#8830 = FACE_OUTER_BOUND ('', #8820, .F.);
#8840 = CARTESIAN_POINT ('', (3.01346273972639, -0.2957477251054, 10.03));
#8850 = CARTESIAN_POINT ('', (3.01346273972639, -9.64050231102274, 10.03));
#8860 = CARTESIAN_POINT ('', (12.3923978706891, -0.2957477251054, 10.03));
#8870 = CARTESIAN_POINT ('', (12.3923978706891, -9.64050231102274, 10.03));
#8880 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8840, #8850), (#8860, #8870)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-9.1715679132853, 0.207367217677387), (-9.1373873682399, 0.207367217677444), .UNSPECIFIED.);
#8890 = ADVANCED_FACE ('', (#8830), #8880, .F.);
#8900 = CLOSED_SHELL ('', (#410, #1090, #1650, #2330, #2610, #2890, #3170, #3370, #3590, #3710, #4150, #4370, #4530, #4820, #5050, #5430, #5740, #6140, #6360, #6590, #6810, #7090, #7290, #7770, #8030, #8130, #8350, #8590, #8750, #8890));
#8910 = MANIFOLD_SOLID_BREP ('SCLCR_1212_F09_stp', #8900);
#8920 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#8930 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#8940 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#8950 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(0.001), #8920, 'DISTANCE_ACCURACY_VALUE', '');
#8960 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#8950))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#8920, #8930, #8940))
   REPRESENTATION_CONTEXT ('', '3D')
);
#8970 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#8980 = FILL_AREA_STYLE_COLOUR ('', #8970);
#8990 = FILL_AREA_STYLE ('', (#8980));
#9000 = SURFACE_STYLE_FILL_AREA (#8990);
#9010 = SURFACE_SIDE_STYLE ('', (#9000));
#9020 = SURFACE_STYLE_USAGE (.POSITIVE., #9010);
#9030 = PRESENTATION_STYLE_ASSIGNMENT ((#9020));
#9040 = STYLED_ITEM ('', (#9030), #8910);
#9050 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#8910), #8960);
#9060 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#9070 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #9060);
#9080 = MECHANICAL_CONTEXT ('', #9060, 'mechanical');
#9090 = PRODUCT ('SCLCR_1212_F09_stp', '', '', (#9080));
#9100 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#9110 = PERSON ('', '', $, $, $, $);
#9120 = ORGANIZATION ($, '', '');
#9130 = PERSON_AND_ORGANIZATION (#9110, #9120);
#9140 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#9130, #9100, (#9090));
#9150 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#9090));
#9160 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #9090, .NOT_KNOWN.);
#9170 = APPROVAL_STATUS ('approved');
#9180 = APPROVAL (#9170, '');
#9190 = CALENDAR_DATE (2011, 12, 1);
#9200 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#9210 = LOCAL_TIME (9, 44, 12., #9200);
#9220 = DATE_AND_TIME (#9190, #9210);
#9230 = APPROVAL_DATE_TIME (#9220, #9180);
#9240 = APPROVAL_ROLE ('');
#9250 = PERSON ('', '', $, $, $, $);
#9260 = ORGANIZATION ($, '', '');
#9270 = PERSON_AND_ORGANIZATION (#9250, #9260);
#9280 = APPROVAL_PERSON_ORGANIZATION (#9270, #9180, #9240);
#9290 = CC_DESIGN_APPROVAL (#9180, (#9160));
#9300 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#9310 = PERSON ('', '', $, $, $, $);
#9320 = ORGANIZATION ($, '', '');
#9330 = PERSON_AND_ORGANIZATION (#9310, #9320);
#9340 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#9330, #9300, (#9160));
#9350 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#9360 = PERSON ('', '', $, $, $, $);
#9370 = ORGANIZATION ($, '', '');
#9380 = PERSON_AND_ORGANIZATION (#9360, #9370);
#9390 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#9380, #9350, (#9160));
#9400 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#9410 = SECURITY_CLASSIFICATION ('', '', #9400);
#9420 = APPROVAL_STATUS ('approved');
#9430 = APPROVAL (#9420, '');
#9440 = CALENDAR_DATE (2011, 12, 1);
#9450 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#9460 = LOCAL_TIME (9, 44, 12., #9450);
#9470 = DATE_AND_TIME (#9440, #9460);
#9480 = APPROVAL_DATE_TIME (#9470, #9430);
#9490 = APPROVAL_ROLE ('');
#9500 = PERSON ('', '', $, $, $, $);
#9510 = ORGANIZATION ($, '', '');
#9520 = PERSON_AND_ORGANIZATION (#9500, #9510);
#9530 = APPROVAL_PERSON_ORGANIZATION (#9520, #9430, #9490);
#9540 = CC_DESIGN_APPROVAL (#9430, (#9410));
#9550 = DATE_TIME_ROLE ('classification_date');
#9560 = CALENDAR_DATE (2011, 12, 1);
#9570 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#9580 = LOCAL_TIME (9, 44, 12., #9570);
#9590 = DATE_AND_TIME (#9560, #9580);
#9600 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#9590, #9550, (#9410));
#9610 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#9620 = PERSON ('', '', $, $, $, $);
#9630 = ORGANIZATION ($, '', '');
#9640 = PERSON_AND_ORGANIZATION (#9620, #9630);
#9650 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#9640, #9610, (#9410));
#9660 = CC_DESIGN_SECURITY_CLASSIFICATION (#9410, (#9160));
#9670 = DESIGN_CONTEXT ('', #9060, 'design');
#9680 = PRODUCT_DEFINITION ('', '', #9160, #9670);
#9690 = APPROVAL_STATUS ('approved');
#9700 = APPROVAL (#9690, '');
#9710 = CALENDAR_DATE (2011, 12, 1);
#9720 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#9730 = LOCAL_TIME (9, 44, 12., #9720);
#9740 = DATE_AND_TIME (#9710, #9730);
#9750 = APPROVAL_DATE_TIME (#9740, #9700);
#9760 = APPROVAL_ROLE ('');
#9770 = PERSON ('', '', $, $, $, $);
#9780 = ORGANIZATION ($, '', '');
#9790 = PERSON_AND_ORGANIZATION (#9770, #9780);
#9800 = APPROVAL_PERSON_ORGANIZATION (#9790, #9700, #9760);
#9810 = CC_DESIGN_APPROVAL (#9700, (#9680));
#9820 = DATE_TIME_ROLE ('creation_date');
#9830 = CALENDAR_DATE (2011, 12, 1);
#9840 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#9850 = LOCAL_TIME (9, 44, 12., #9840);
#9860 = DATE_AND_TIME (#9830, #9850);
#9870 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#9860, #9820, (#9680));
#9880 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#9890 = PERSON ('', '', $, $, $, $);
#9900 = ORGANIZATION ($, '', '');
#9910 = PERSON_AND_ORGANIZATION (#9890, #9900);
#9920 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#9910, #9880, (#9680));
#9930 = PRODUCT_DEFINITION_SHAPE ('', '', #9680);
#9940 = SHAPE_DEFINITION_REPRESENTATION (#9930, #9050);
#9950 = CARTESIAN_POINT ('', (12.1727598828275, -9.51135596401478, 8.03));
#9960 = VERTEX_POINT ('', #9950);
#9970 = CARTESIAN_POINT ('', (4.1580573235793, -8.81016034854835, 8.03));
#9980 = VERTEX_POINT ('', #9970);
#9990 = CARTESIAN_POINT ('', (12.1727598828275, -9.51135596401478, 8.03));
#10000 = CARTESIAN_POINT ('', (4.1580573235793, -8.81016034854835, 8.03));
#10010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9990, #10000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10020 = EDGE_CURVE ('', #9960, #9980, #10010, .T.);
#10030 = ORIENTED_EDGE ('', *, *, #10020, .T.);
#10040 = CARTESIAN_POINT ('', (4.11557284655365, -9.29576014300696, 12.));
#10050 = VERTEX_POINT ('', #10040);
#10060 = CARTESIAN_POINT ('', (4.1580573235793, -8.81016034854835, 8.03));
#10070 = CARTESIAN_POINT ('', (4.11557284655365, -9.29576014300696, 12.));
#10080 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#10060, #10070), .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 ('')
);
#10090 = EDGE_CURVE ('', #9980, #10050, #10080, .T.);
#10100 = ORIENTED_EDGE ('', *, *, #10090, .T.);
#10110 = CARTESIAN_POINT ('', (12.1302754058019, -9.99695575847339, 12.));
#10120 = VERTEX_POINT ('', #10110);
#10130 = CARTESIAN_POINT ('', (12.1302754058019, -9.99695575847339, 12.));
#10140 = CARTESIAN_POINT ('', (4.11557284655365, -9.29576014300696, 12.));
#10150 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10130, #10140), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10160 = EDGE_CURVE ('', #10120, #10050, #10150, .T.);
#10170 = ORIENTED_EDGE ('', *, *, #10160, .F.);
#10180 = CARTESIAN_POINT ('', (12.1727598828275, -9.51135596401478, 8.03));
#10190 = CARTESIAN_POINT ('', (12.1302754058019, -9.99695575847339, 12.));
#10200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10180, #10190), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10210 = EDGE_CURVE ('', #9960, #10120, #10200, .T.);
#10220 = ORIENTED_EDGE ('', *, *, #10210, .F.);
#10230 = EDGE_LOOP ('', (#10030, #10100, #10170, #10220));
#10240 = FACE_OUTER_BOUND ('', #10230, .F.);
#10250 = CARTESIAN_POINT ('', (12.1727598828275, -9.51135596401478, 8.03));
#10260 = CARTESIAN_POINT ('', (12.1302754058019, -9.99695575847339, 12.));
#10270 = CARTESIAN_POINT ('', (4.1580573235793, -8.81016034854835, 8.03));
#10280 = CARTESIAN_POINT ('', (4.11557284655365, -9.29576014300696, 12.));
#10290 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10250, #10260), (#10270, #10280)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#10300 = ADVANCED_FACE ('', (#10240), #10290, .F.);
#10310 = CARTESIAN_POINT ('', (3.873941476737, -8.52604450170605, 8.03));
#10320 = VERTEX_POINT ('', #10310);
#10330 = CARTESIAN_POINT ('', (4.1580573235793, -8.81016034854835, 8.03));
#10340 = CARTESIAN_POINT ('', (3.89679864900965, -8.7873031762757, 8.02999999999992));
#10350 = CARTESIAN_POINT ('', (3.873941476737, -8.52604450170605, 8.03));
#10360 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#10330, #10340, #10350), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.766044443122328, 1.))
   REPRESENTATION_ITEM ('')
);
#10370 = EDGE_CURVE ('', #9980, #10320, #10360, .T.);
#10380 = ORIENTED_EDGE ('', *, *, #10370, .T.);
#10390 = CARTESIAN_POINT ('', (3.38834168227838, -8.56852897873169, 12.));
#10400 = VERTEX_POINT ('', #10390);
#10410 = CARTESIAN_POINT ('', (3.873941476737, -8.52604450170605, 8.03));
#10420 = CARTESIAN_POINT ('', (3.38834168227838, -8.56852897873169, 12.));
#10430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10410, #10420), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10440 = EDGE_CURVE ('', #10320, #10400, #10430, .T.);
#10450 = ORIENTED_EDGE ('', *, *, #10440, .T.);
#10460 = CARTESIAN_POINT ('', (4.11557284655365, -9.29576014300696, 12.));
#10470 = CARTESIAN_POINT ('', (3.44684756355401, -9.23725426173133, 12.));
#10480 = CARTESIAN_POINT ('', (3.38834168227838, -8.56852897873169, 12.));
#10490 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#10460, #10470, #10480), .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 ('')
);
#10500 = EDGE_CURVE ('', #10050, #10400, #10490, .T.);
#10510 = ORIENTED_EDGE ('', *, *, #10500, .F.);
#10520 = ORIENTED_EDGE ('', *, *, #10090, .F.);
#10530 = EDGE_LOOP ('', (#10380, #10450, #10510, #10520));
#10540 = FACE_OUTER_BOUND ('', #10530, .F.);
#10550 = CARTESIAN_POINT ('', (4.1580573235793, -8.81016034854835, 8.03));
#10560 = CARTESIAN_POINT ('', (4.11557284655365, -9.29576014300696, 12.));
#10570 = CARTESIAN_POINT ('', (3.89679864900965, -8.7873031762757, 8.02999999999992));
#10580 = CARTESIAN_POINT ('', (3.44684756355401, -9.23725426173133, 12.));
#10590 = CARTESIAN_POINT ('', (3.873941476737, -8.52604450170605, 8.03));
#10600 = CARTESIAN_POINT ('', (3.38834168227838, -8.56852897873169, 12.));
#10610 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#10550, #10560), (#10570, #10580), (#10590, #10600)), .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.766044443122328, 0.766044443118978), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#10620 = ADVANCED_FACE ('', (#10540), #10610, .F.);
#10630 = CARTESIAN_POINT ('', (3.17274586127057, -0.511341942457818, 8.03));
#10640 = VERTEX_POINT ('', #10630);
#10650 = CARTESIAN_POINT ('', (3.873941476737, -8.52604450170605, 8.03));
#10660 = CARTESIAN_POINT ('', (3.17274586127057, -0.511341942457818, 8.03));
#10670 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10650, #10660), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10680 = EDGE_CURVE ('', #10320, #10640, #10670, .T.);
#10690 = ORIENTED_EDGE ('', *, *, #10680, .T.);
#10700 = CARTESIAN_POINT ('', (2.68714606681195, -0.553826419483467, 12.));
#10710 = VERTEX_POINT ('', #10700);
#10720 = CARTESIAN_POINT ('', (3.17274586127057, -0.511341942457822, 8.03));
#10730 = CARTESIAN_POINT ('', (2.68714606681195, -0.553826419483467, 12.));
#10740 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#10720, #10730), .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 ('')
);
#10750 = EDGE_CURVE ('', #10640, #10710, #10740, .T.);
#10760 = ORIENTED_EDGE ('', *, *, #10750, .T.);
#10770 = CARTESIAN_POINT ('', (3.38834168227838, -8.56852897873169, 12.));
#10780 = CARTESIAN_POINT ('', (2.68714606681195, -0.553826419483467, 12.));
#10790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10770, #10780), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10800 = EDGE_CURVE ('', #10400, #10710, #10790, .T.);
#10810 = ORIENTED_EDGE ('', *, *, #10800, .F.);
#10820 = ORIENTED_EDGE ('', *, *, #10440, .F.);
#10830 = EDGE_LOOP ('', (#10690, #10760, #10810, #10820));
#10840 = FACE_OUTER_BOUND ('', #10830, .F.);
#10850 = CARTESIAN_POINT ('', (3.873941476737, -8.52604450170605, 8.03));
#10860 = CARTESIAN_POINT ('', (3.38834168227838, -8.56852897873169, 12.));
#10870 = CARTESIAN_POINT ('', (3.17274586127057, -0.511341942457818, 8.03));
#10880 = CARTESIAN_POINT ('', (2.68714606681195, -0.553826419483467, 12.));
#10890 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10850, #10860), (#10870, #10880)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#10900 = ADVANCED_FACE ('', (#10840), #10890, .F.);
#10910 = CARTESIAN_POINT ('', (3.51134194245783, -0.17274586127056, 8.03));
#10920 = VERTEX_POINT ('', #10910);
#10930 = CARTESIAN_POINT ('', (3.17274586127057, -0.511341942457822, 8.03));
#10940 = CARTESIAN_POINT ('', (3.16004358602395, -0.366154272025671, 8.03));
#10950 = CARTESIAN_POINT ('', (3.26309892902477, -0.263098929025237, 8.03));
#10960 = CARTESIAN_POINT ('', (3.3661542720256, -0.160043586024802, 8.03));
#10970 = CARTESIAN_POINT ('', (3.51134194245783, -0.17274586127056, 8.03));
#10980 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#10930, #10940, #10950, #10960, #10970), .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.906307787036149, 1., 0.906307787036149, 1.))
   REPRESENTATION_ITEM ('')
);
#10990 = EDGE_CURVE ('', #10640, #10920, #10980, .T.);
#11000 = ORIENTED_EDGE ('', *, *, #10990, .T.);
#11010 = CARTESIAN_POINT ('', (3.55382641948347, 0.312853933188059, 12.));
#11020 = VERTEX_POINT ('', #11010);
#11030 = CARTESIAN_POINT ('', (3.51134194245783, -0.17274586127056, 8.03));
#11040 = CARTESIAN_POINT ('', (3.55382641948347, 0.312853933188055, 12.));
#11050 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11030, #11040), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11060 = EDGE_CURVE ('', #10920, #11020, #11050, .T.);
#11070 = ORIENTED_EDGE ('', *, *, #11060, .T.);
#11080 = CARTESIAN_POINT ('', (2.68714606681195, -0.553826419483467, 12.));
#11090 = CARTESIAN_POINT ('', (2.65463295457561, -0.182199846096591, 12.));
#11100 = CARTESIAN_POINT ('', (2.91841640033611, 0.0815835996639009, 12.));
#11110 = CARTESIAN_POINT ('', (3.18219984609661, 0.345367045424396, 12.));
#11120 = CARTESIAN_POINT ('', (3.55382641948347, 0.312853933188059, 12.));
#11130 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#11080, #11090, #11100, #11110, #11120), .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 ('')
);
#11140 = EDGE_CURVE ('', #10710, #11020, #11130, .T.);
#11150 = ORIENTED_EDGE ('', *, *, #11140, .F.);
#11160 = ORIENTED_EDGE ('', *, *, #10750, .F.);
#11170 = EDGE_LOOP ('', (#11000, #11070, #11150, #11160));
#11180 = FACE_OUTER_BOUND ('', #11170, .F.);
#11190 = CARTESIAN_POINT ('', (3.17274586127057, -0.511341942457822, 8.03));
#11200 = CARTESIAN_POINT ('', (2.68714606681195, -0.553826419483467, 12.));
#11210 = CARTESIAN_POINT ('', (3.16004358602395, -0.366154272025671, 8.03));
#11220 = CARTESIAN_POINT ('', (2.65463295457561, -0.182199846096591, 12.));
#11230 = CARTESIAN_POINT ('', (3.26309892902477, -0.263098929025237, 8.03));
#11240 = CARTESIAN_POINT ('', (2.91841640033611, 0.0815835996639009, 12.));
#11250 = CARTESIAN_POINT ('', (3.3661542720256, -0.160043586024802, 8.03));
#11260 = CARTESIAN_POINT ('', (3.18219984609661, 0.345367045424396, 12.));
#11270 = CARTESIAN_POINT ('', (3.51134194245783, -0.17274586127056, 8.03));
#11280 = CARTESIAN_POINT ('', (3.55382641948347, 0.312853933188059, 12.));
#11290 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#11190, #11200), (#11210, #11220), (#11230, #11240), (#11250, #11260), (#11270, #11280)), .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.906307787036149, 0.90630778703665), (1., 1.), (0.906307787036149, 0.90630778703665), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#11300 = ADVANCED_FACE ('', (#11180), #11290, .F.);
#11310 = CARTESIAN_POINT ('', (11.5260445017061, -0.873941476736988, 8.03));
#11320 = VERTEX_POINT ('', #11310);
#11330 = CARTESIAN_POINT ('', (3.51134194245783, -0.17274586127056, 8.03));
#11340 = CARTESIAN_POINT ('', (11.5260445017061, -0.873941476736988, 8.03));
#11350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11330, #11340), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11360 = EDGE_CURVE ('', #10920, #11320, #11350, .T.);
#11370 = ORIENTED_EDGE ('', *, *, #11360, .T.);
#11380 = CARTESIAN_POINT ('', (11.5685289787317, -0.388341682278373, 12.));
#11390 = VERTEX_POINT ('', #11380);
#11400 = CARTESIAN_POINT ('', (11.5260445017061, -0.873941476736988, 8.03));
#11410 = CARTESIAN_POINT ('', (11.5685289787317, -0.388341682278373, 12.));
#11420 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#11400, #11410), .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 ('')
);
#11430 = EDGE_CURVE ('', #11320, #11390, #11420, .T.);
#11440 = ORIENTED_EDGE ('', *, *, #11430, .T.);
#11450 = CARTESIAN_POINT ('', (3.55382641948347, 0.312853933188055, 12.));
#11460 = CARTESIAN_POINT ('', (11.5685289787317, -0.388341682278373, 12.));
#11470 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11450, #11460), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11480 = EDGE_CURVE ('', #11020, #11390, #11470, .T.);
#11490 = ORIENTED_EDGE ('', *, *, #11480, .F.);
#11500 = ORIENTED_EDGE ('', *, *, #11060, .F.);
#11510 = EDGE_LOOP ('', (#11370, #11440, #11490, #11500));
#11520 = FACE_OUTER_BOUND ('', #11510, .F.);
#11530 = CARTESIAN_POINT ('', (3.51134194245783, -0.17274586127056, 8.03));
#11540 = CARTESIAN_POINT ('', (3.55382641948347, 0.312853933188055, 12.));
#11550 = CARTESIAN_POINT ('', (11.5260445017061, -0.873941476736988, 8.03));
#11560 = CARTESIAN_POINT ('', (11.5685289787317, -0.388341682278373, 12.));
#11570 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11530, #11540), (#11550, #11560)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#11580 = ADVANCED_FACE ('', (#11520), #11570, .F.);
#11590 = CARTESIAN_POINT ('', (11.8101603485481, -1.15805732357931, 8.02999999999991));
#11600 = VERTEX_POINT ('', #11590);
#11610 = CARTESIAN_POINT ('', (11.5260445017061, -0.873941476736988, 8.03));
#11620 = CARTESIAN_POINT ('', (11.7873031762757, -0.896798649009646, 8.02999999999992));
#11630 = CARTESIAN_POINT ('', (11.8101603485481, -1.15805732357931, 8.02999999999991));
#11640 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#11610, #11620, #11630), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.766044443118668, 1.))
   REPRESENTATION_ITEM ('')
);
#11650 = EDGE_CURVE ('', #11320, #11600, #11640, .T.);
#11660 = ORIENTED_EDGE ('', *, *, #11650, .T.);
#11670 = CARTESIAN_POINT ('', (12.295760143007, -1.11557284655364, 12.));
#11680 = VERTEX_POINT ('', #11670);
#11690 = CARTESIAN_POINT ('', (11.8101603485484, -1.15805732357929, 8.03));
#11700 = CARTESIAN_POINT ('', (12.295760143007, -1.11557284655364, 12.));
#11710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11690, #11700), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11720 = EDGE_CURVE ('', #11600, #11680, #11710, .T.);
#11730 = ORIENTED_EDGE ('', *, *, #11720, .T.);
#11740 = CARTESIAN_POINT ('', (11.5685289787317, -0.388341682278373, 12.));
#11750 = CARTESIAN_POINT ('', (12.2372542617313, -0.446847563554009, 12.));
#11760 = CARTESIAN_POINT ('', (12.295760143007, -1.11557284655364, 12.));
#11770 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#11740, #11750, #11760), .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 ('')
);
#11780 = EDGE_CURVE ('', #11390, #11680, #11770, .T.);
#11790 = ORIENTED_EDGE ('', *, *, #11780, .F.);
#11800 = ORIENTED_EDGE ('', *, *, #11430, .F.);
#11810 = EDGE_LOOP ('', (#11660, #11730, #11790, #11800));
#11820 = FACE_OUTER_BOUND ('', #11810, .F.);
#11830 = CARTESIAN_POINT ('', (11.5260445017061, -0.873941476736988, 8.03));
#11840 = CARTESIAN_POINT ('', (11.5685289787317, -0.388341682278373, 12.));
#11850 = CARTESIAN_POINT ('', (11.7873031762757, -0.896798649009646, 8.02999999999992));
#11860 = CARTESIAN_POINT ('', (12.2372542617313, -0.446847563554009, 12.));
#11870 = CARTESIAN_POINT ('', (11.8101603485481, -1.15805732357931, 8.02999999999991));
#11880 = CARTESIAN_POINT ('', (12.295760143007, -1.11557284655364, 12.));
#11890 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#11830, #11840), (#11850, #11860), (#11870, #11880)), .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.766044443118668, 0.766044443118978), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#11900 = ADVANCED_FACE ('', (#11820), #11890, .F.);
#11910 = CARTESIAN_POINT ('', (12.5113559640148, -9.17275988282752, 8.03));
#11920 = VERTEX_POINT ('', #11910);
#11930 = CARTESIAN_POINT ('', (11.8101603485484, -1.15805732357929, 8.03));
#11940 = CARTESIAN_POINT ('', (12.5113559640148, -9.17275988282752, 8.03));
#11950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11930, #11940), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11960 = EDGE_CURVE ('', #11600, #11920, #11950, .T.);
#11970 = ORIENTED_EDGE ('', *, *, #11960, .T.);
#11980 = CARTESIAN_POINT ('', (12.9969557584734, -9.13027540580187, 12.));
#11990 = VERTEX_POINT ('', #11980);
#12000 = CARTESIAN_POINT ('', (12.5113559640148, -9.17275988282752, 8.03));
#12010 = CARTESIAN_POINT ('', (12.9969557584734, -9.13027540580187, 12.));
#12020 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#12000, #12010), .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 ('')
);
#12030 = EDGE_CURVE ('', #11920, #11990, #12020, .T.);
#12040 = ORIENTED_EDGE ('', *, *, #12030, .T.);
#12050 = CARTESIAN_POINT ('', (12.295760143007, -1.11557284655364, 12.));
#12060 = CARTESIAN_POINT ('', (12.9969557584734, -9.13027540580187, 12.));
#12070 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12050, #12060), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12080 = EDGE_CURVE ('', #11680, #11990, #12070, .T.);
#12090 = ORIENTED_EDGE ('', *, *, #12080, .F.);
#12100 = ORIENTED_EDGE ('', *, *, #11720, .F.);
#12110 = EDGE_LOOP ('', (#11970, #12040, #12090, #12100));
#12120 = FACE_OUTER_BOUND ('', #12110, .F.);
#12130 = CARTESIAN_POINT ('', (11.8101603485484, -1.15805732357929, 8.03));
#12140 = CARTESIAN_POINT ('', (12.295760143007, -1.11557284655364, 12.));
#12150 = CARTESIAN_POINT ('', (12.5113559640148, -9.17275988282752, 8.03));
#12160 = CARTESIAN_POINT ('', (12.9969557584734, -9.13027540580187, 12.));
#12170 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12130, #12140), (#12150, #12160)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#12180 = ADVANCED_FACE ('', (#12120), #12170, .F.);
#12190 = CARTESIAN_POINT ('', (12.5113559640148, -9.17275988282752, 8.03));
#12200 = CARTESIAN_POINT ('', (12.5240582392614, -9.3179475532589, 8.03));
#12210 = CARTESIAN_POINT ('', (12.4210028962603, -9.42100289625803, 8.03));
#12220 = CARTESIAN_POINT ('', (12.3179475532593, -9.52405823925717, 8.03));
#12230 = CARTESIAN_POINT ('', (12.1727598828275, -9.51135596401478, 8.03));
#12240 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#12190, #12200, #12210, #12220, #12230), .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.906307787034572, 1., 0.906307787034572, 1.))
   REPRESENTATION_ITEM ('')
);
#12250 = EDGE_CURVE ('', #11920, #9960, #12240, .T.);
#12260 = ORIENTED_EDGE ('', *, *, #12250, .T.);
#12270 = ORIENTED_EDGE ('', *, *, #10210, .T.);
#12280 = CARTESIAN_POINT ('', (12.9969557584734, -9.13027540580187, 12.));
#12290 = CARTESIAN_POINT ('', (13.0294688707097, -9.50190197918874, 12.));
#12300 = CARTESIAN_POINT ('', (12.7656854249492, -9.76568542494924, 12.));
#12310 = CARTESIAN_POINT ('', (12.5019019791888, -10.0294688707097, 12.));
#12320 = CARTESIAN_POINT ('', (12.1302754058019, -9.99695575847339, 12.));
#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 ('', #11990, #10120, #12330, .T.);
#12350 = ORIENTED_EDGE ('', *, *, #12340, .F.);
#12360 = ORIENTED_EDGE ('', *, *, #12030, .F.);
#12370 = EDGE_LOOP ('', (#12260, #12270, #12350, #12360));
#12380 = FACE_OUTER_BOUND ('', #12370, .F.);
#12390 = CARTESIAN_POINT ('', (12.5113559640148, -9.17275988282752, 8.03));
#12400 = CARTESIAN_POINT ('', (12.9969557584734, -9.13027540580187, 12.));
#12410 = CARTESIAN_POINT ('', (12.5240582392614, -9.3179475532589, 8.03));
#12420 = CARTESIAN_POINT ('', (13.0294688707097, -9.50190197918874, 12.));
#12430 = CARTESIAN_POINT ('', (12.4210028962603, -9.42100289625803, 8.03));
#12440 = CARTESIAN_POINT ('', (12.7656854249492, -9.76568542494924, 12.));
#12450 = CARTESIAN_POINT ('', (12.3179475532593, -9.52405823925717, 8.03));
#12460 = CARTESIAN_POINT ('', (12.5019019791888, -10.0294688707097, 12.));
#12470 = CARTESIAN_POINT ('', (12.1727598828275, -9.51135596401478, 8.03));
#12480 = CARTESIAN_POINT ('', (12.1302754058019, -9.99695575847339, 12.));
#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.906307787034572, 0.90630778703665), (1., 1.), (0.906307787034572, 0.90630778703665), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#12500 = ADVANCED_FACE ('', (#12380), #12490, .F.);
#12510 = ORIENTED_EDGE ('', *, *, #10160, .T.);
#12520 = ORIENTED_EDGE ('', *, *, #10500, .T.);
#12530 = ORIENTED_EDGE ('', *, *, #10800, .T.);
#12540 = ORIENTED_EDGE ('', *, *, #11140, .T.);
#12550 = ORIENTED_EDGE ('', *, *, #11480, .T.);
#12560 = ORIENTED_EDGE ('', *, *, #11780, .T.);
#12570 = ORIENTED_EDGE ('', *, *, #12080, .T.);
#12580 = ORIENTED_EDGE ('', *, *, #12340, .T.);
#12590 = EDGE_LOOP ('', (#12510, #12520, #12530, #12540, #12550, #12560, #12570, #12580));
#12600 = FACE_OUTER_BOUND ('', #12590, .F.);
#12610 = CARTESIAN_POINT ('', (13.8096479596812, -0.584414186724224, 12.));
#12620 = CARTESIAN_POINT ('', (2.70444593248991, 0.387165096820123, 12.));
#12630 = CARTESIAN_POINT ('', (12.9796558927954, -10.0712669221055, 12.));
#12640 = CARTESIAN_POINT ('', (1.87445386560415, -9.09968763856111, 12.));
#12650 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12610, #12620), (#12630, #12640)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.204758299325643, 0.795241700674357), (0.154393419578204, 0.845606580421796), .UNSPECIFIED.);
#12660 = ADVANCED_FACE ('', (#12600), #12650, .F.);
#12670 = ORIENTED_EDGE ('', *, *, #10020, .F.);
#12680 = ORIENTED_EDGE ('', *, *, #12250, .F.);
#12690 = ORIENTED_EDGE ('', *, *, #11960, .F.);
#12700 = ORIENTED_EDGE ('', *, *, #11650, .F.);
#12710 = ORIENTED_EDGE ('', *, *, #11360, .F.);
#12720 = ORIENTED_EDGE ('', *, *, #10990, .F.);
#12730 = ORIENTED_EDGE ('', *, *, #10680, .F.);
#12740 = ORIENTED_EDGE ('', *, *, #10370, .F.);
#12750 = EDGE_LOOP ('', (#12670, #12680, #12690, #12700, #12710, #12720, #12730, #12740));
#12760 = FACE_OUTER_BOUND ('', #12750, .F.);
#12770 = CARTESIAN_POINT ('', (13.2496203373605, -1.02473482308398, 8.03000000000018));
#12780 = CARTESIAN_POINT ('', (12.5045972245261, -9.54038796954798, 8.02999999999988));
#12790 = CARTESIAN_POINT ('', (3.17950460075916, -0.143713855737349, 8.03000000000011));
#12800 = CARTESIAN_POINT ('', (2.4344814879247, -8.65936700220135, 8.02999999999981));
#12810 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12770, #12780), (#12790, #12800)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.15291763448559, 0.84708236551441), (0.206494630718865, 0.793505369281135), .UNSPECIFIED.);
#12820 = ADVANCED_FACE ('', (#12760), #12810, .F.);
#12830 = CLOSED_SHELL ('', (#10300, #10620, #10900, #11300, #11580, #11900, #12180, #12500, #12660, #12820));
#12840 = MANIFOLD_SOLID_BREP ('', #12830);
#12850 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#12860 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#12870 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#12880 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(0.001), #12850, 'DISTANCE_ACCURACY_VALUE', '');
#12890 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#12880))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#12850, #12860, #12870))
   REPRESENTATION_CONTEXT ('', '3D')
);
#12900 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#12910 = FILL_AREA_STYLE_COLOUR ('', #12900);
#12920 = FILL_AREA_STYLE ('', (#12910));
#12930 = SURFACE_STYLE_FILL_AREA (#12920);
#12940 = SURFACE_SIDE_STYLE ('', (#12930));
#12950 = SURFACE_STYLE_USAGE (.POSITIVE., #12940);
#12960 = PRESENTATION_STYLE_ASSIGNMENT ((#12950));
#12970 = STYLED_ITEM ('', (#12960), #12840);
#12980 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#12840), #12890);
#12990 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#13000 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #12990);
#13010 = MECHANICAL_CONTEXT ('', #12990, 'mechanical');
#13020 = PRODUCT ('product-name', '', '', (#13010));
#13030 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#13040 = PERSON ('', '', $, $, $, $);
#13050 = ORGANIZATION ($, '', '');
#13060 = PERSON_AND_ORGANIZATION (#13040, #13050);
#13070 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13060, #13030, (#13020));
#13080 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#13020));
#13090 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #13020, .NOT_KNOWN.);
#13100 = APPROVAL_STATUS ('approved');
#13110 = APPROVAL (#13100, '');
#13120 = CALENDAR_DATE (2011, 12, 1);
#13130 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13140 = LOCAL_TIME (9, 44, 12., #13130);
#13150 = DATE_AND_TIME (#13120, #13140);
#13160 = APPROVAL_DATE_TIME (#13150, #13110);
#13170 = APPROVAL_ROLE ('');
#13180 = PERSON ('', '', $, $, $, $);
#13190 = ORGANIZATION ($, '', '');
#13200 = PERSON_AND_ORGANIZATION (#13180, #13190);
#13210 = APPROVAL_PERSON_ORGANIZATION (#13200, #13110, #13170);
#13220 = CC_DESIGN_APPROVAL (#13110, (#13090));
#13230 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#13240 = PERSON ('', '', $, $, $, $);
#13250 = ORGANIZATION ($, '', '');
#13260 = PERSON_AND_ORGANIZATION (#13240, #13250);
#13270 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13260, #13230, (#13090));
#13280 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#13290 = PERSON ('', '', $, $, $, $);
#13300 = ORGANIZATION ($, '', '');
#13310 = PERSON_AND_ORGANIZATION (#13290, #13300);
#13320 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13310, #13280, (#13090));
#13330 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#13340 = SECURITY_CLASSIFICATION ('', '', #13330);
#13350 = APPROVAL_STATUS ('approved');
#13360 = APPROVAL (#13350, '');
#13370 = CALENDAR_DATE (2011, 12, 1);
#13380 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13390 = LOCAL_TIME (9, 44, 12., #13380);
#13400 = DATE_AND_TIME (#13370, #13390);
#13410 = APPROVAL_DATE_TIME (#13400, #13360);
#13420 = APPROVAL_ROLE ('');
#13430 = PERSON ('', '', $, $, $, $);
#13440 = ORGANIZATION ($, '', '');
#13450 = PERSON_AND_ORGANIZATION (#13430, #13440);
#13460 = APPROVAL_PERSON_ORGANIZATION (#13450, #13360, #13420);
#13470 = CC_DESIGN_APPROVAL (#13360, (#13340));
#13480 = DATE_TIME_ROLE ('classification_date');
#13490 = CALENDAR_DATE (2011, 12, 1);
#13500 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13510 = LOCAL_TIME (9, 44, 12., #13500);
#13520 = DATE_AND_TIME (#13490, #13510);
#13530 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#13520, #13480, (#13340));
#13540 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#13550 = PERSON ('', '', $, $, $, $);
#13560 = ORGANIZATION ($, '', '');
#13570 = PERSON_AND_ORGANIZATION (#13550, #13560);
#13580 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13570, #13540, (#13340));
#13590 = CC_DESIGN_SECURITY_CLASSIFICATION (#13340, (#13090));
#13600 = DESIGN_CONTEXT ('', #12990, 'design');
#13610 = PRODUCT_DEFINITION ('', '', #13090, #13600);
#13620 = APPROVAL_STATUS ('approved');
#13630 = APPROVAL (#13620, '');
#13640 = CALENDAR_DATE (2011, 12, 1);
#13650 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13660 = LOCAL_TIME (9, 44, 12., #13650);
#13670 = DATE_AND_TIME (#13640, #13660);
#13680 = APPROVAL_DATE_TIME (#13670, #13630);
#13690 = APPROVAL_ROLE ('');
#13700 = PERSON ('', '', $, $, $, $);
#13710 = ORGANIZATION ($, '', '');
#13720 = PERSON_AND_ORGANIZATION (#13700, #13710);
#13730 = APPROVAL_PERSON_ORGANIZATION (#13720, #13630, #13690);
#13740 = CC_DESIGN_APPROVAL (#13630, (#13610));
#13750 = DATE_TIME_ROLE ('creation_date');
#13760 = CALENDAR_DATE (2011, 12, 1);
#13770 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13780 = LOCAL_TIME (9, 44, 12., #13770);
#13790 = DATE_AND_TIME (#13760, #13780);
#13800 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#13790, #13750, (#13610));
#13810 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#13820 = PERSON ('', '', $, $, $, $);
#13830 = ORGANIZATION ($, '', '');
#13840 = PERSON_AND_ORGANIZATION (#13820, #13830);
#13850 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13840, #13810, (#13610));
#13860 = PRODUCT_DEFINITION_SHAPE ('', '', #13610);
#13870 = SHAPE_DEFINITION_REPRESENTATION (#13860, #12980);
ENDSEC;
END-ISO-10303-21;