ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('C:\\TDMTemp\\Tools\\SMLIB\\holder-r\\HA100\\step\\20.70.350.stp', '2009-12-14T15:29:22', ('Unknown'), ('Unknown'), 'HarmonyWare STEP v1.4.2', 'HarmonyWare Translators', '');
FILE_SCHEMA (('CONFIG_CONTROL_DESIGN'));
ENDSEC;

DATA;
#10 = CARTESIAN_POINT ('', (65., 8.57512886940357, 0.));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (65., 8.57512886940357, 0.));
#40 = CARTESIAN_POINT ('', (65., 8.57512886940357, 8.57512886940357));
#50 = CARTESIAN_POINT ('', (65., 5.25075206109557E-16, 8.57512886940357));
#60 = CARTESIAN_POINT ('', (65., -8.57512886940357, 8.57512886940357));
#70 = CARTESIAN_POINT ('', (65., -8.57512886940357, 1.05015041221911E-15));
#80 = CARTESIAN_POINT ('', (65., -8.57512886940357, -8.57512886940357));
#90 = CARTESIAN_POINT ('', (65., -1.57522561832867E-15, -8.57512886940357));
#100 = CARTESIAN_POINT ('', (65., 8.57512886940357, -8.57512886940357));
#110 = CARTESIAN_POINT ('', (65., 8.57512886940357, 0.));
#120 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#30, #40, #50, #60, #70, #80, #90, #100, #110), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#130 = EDGE_CURVE ('', #20, #20, #120, .T.);
#140 = ORIENTED_EDGE ('', *, *, #130, .T.);
#150 = EDGE_LOOP ('', (#140));
#160 = FACE_OUTER_BOUND ('', #150, .T.);
#170 = CARTESIAN_POINT ('', (65., 5., 0.));
#180 = VERTEX_POINT ('', #170);
#190 = CARTESIAN_POINT ('', (65., 5., 0.));
#200 = CARTESIAN_POINT ('', (65., 5., 5.));
#210 = CARTESIAN_POINT ('', (65., -2.21194236910111E-16, 5.));
#220 = CARTESIAN_POINT ('', (65., -5., 5.));
#230 = CARTESIAN_POINT ('', (65., -5., 3.90278794648645E-16));
#240 = CARTESIAN_POINT ('', (65., -5., -5.));
#250 = CARTESIAN_POINT ('', (65., -1.22379643113243E-15, -5.));
#260 = CARTESIAN_POINT ('', (65., 5., -5.));
#270 = CARTESIAN_POINT ('', (65., 5., 0.));
#280 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#190, #200, #210, #220, #230, #240, #250, #260, #270), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#290 = EDGE_CURVE ('', #180, #180, #280, .T.);
#300 = ORIENTED_EDGE ('', *, *, #290, .F.);
#310 = EDGE_LOOP ('', (#300));
#320 = FACE_BOUND ('', #310, .T.);
#330 = CARTESIAN_POINT ('', (65., -8.57512886940357, -8.57512886940358));
#340 = CARTESIAN_POINT ('', (65., -8.57512886940357, 8.57512886940357));
#350 = CARTESIAN_POINT ('', (65., 8.57512886940357, -8.57512886940358));
#360 = CARTESIAN_POINT ('', (65., 8.57512886940357, 8.57512886940357));
#370 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#330, #340), (#350, #360)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0454545454545453, 0.954545454545454), (0.0454545454545452, 0.954545454545454), .UNSPECIFIED.);
#380 = ADVANCED_FACE ('', (#160, #320), #370, .T.);
#390 = CARTESIAN_POINT ('', (64.0448625156373, -1.54, 10.1128912495483));
#400 = VERTEX_POINT ('', #390);
#410 = CARTESIAN_POINT ('', (63.6, -1.54, 10.8916665391482));
#420 = VERTEX_POINT ('', #410);
#430 = CARTESIAN_POINT ('', (64.0448625200313, -1.53999999999997, 10.1128912520563));
#440 = CARTESIAN_POINT ('', (64.0340118890574, -1.53999999999997, 10.131901750871));
#450 = CARTESIAN_POINT ('', (64.0231607359491, -1.53999999999997, 10.1509119515687));
#460 = CARTESIAN_POINT ('', (64.0123090702765, -1.53999999999997, 10.1699218595428));
#470 = CARTESIAN_POINT ('', (63.9023850990541, -1.53999999999997, 10.3624862676392));
#480 = CARTESIAN_POINT ('', (63.7924084879798, -1.53999999999998, 10.5550206334719));
#490 = CARTESIAN_POINT ('', (63.6823871915319, -1.53999999999998, 10.7475294515628));
#500 = CARTESIAN_POINT ('', (63.6549275504165, -1.53999999999998, 10.7955767226547));
#510 = CARTESIAN_POINT ('', (63.6274651172201, -1.54, 10.8436223981354));
#520 = CARTESIAN_POINT ('', (63.6, -1.54, 10.8916665391482));
#530 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#430, #440, #450, #460, #470, #480, #490, #500, #510, #520), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (1.930082750514, 1.99575022527504, 2.66094115758956, 2.82696269036803), .UNSPECIFIED.);
#540 = EDGE_CURVE ('', #400, #420, #530, .T.);
#550 = ORIENTED_EDGE ('', *, *, #540, .T.);
#560 = CARTESIAN_POINT ('', (63.6, -8.66245991245126, 6.77951239140212));
#570 = VERTEX_POINT ('', #560);
#580 = CARTESIAN_POINT ('', (63.6, -1.54, 10.8916665391482));
#590 = CARTESIAN_POINT ('', (63.6, -5.92994243732972, 10.2709615874139));
#600 = CARTESIAN_POINT ('', (63.6, -8.66245991245126, 6.77951239140213));
#610 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#580, #590, #600), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (18.9490641247705, 27.1850859323037), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.948847158255079, 0.83622941221607, 0.856702811947658))
   REPRESENTATION_ITEM ('')
);
#620 = EDGE_CURVE ('', #420, #570, #610, .T.);
#630 = ORIENTED_EDGE ('', *, *, #620, .T.);
#640 = CARTESIAN_POINT ('', (64.0448625156373, -7.98802072781817, 6.39012474660218));
#650 = VERTEX_POINT ('', #640);
#660 = CARTESIAN_POINT ('', (64.0448625200352, -7.98802072999206, 6.39012474785726));
#670 = CARTESIAN_POINT ('', (64.0340066777944, -8.00449221191577, 6.39963456237987));
#680 = CARTESIAN_POINT ('', (64.023150312917, -8.0209634354143, 6.40914422770063));
#690 = CARTESIAN_POINT ('', (64.0122934349872, -8.03743440516529, 6.41865374652017));
#700 = CARTESIAN_POINT ('', (63.9023683983462, -8.20420168072017, 6.5149368779538));
#710 = CARTESIAN_POINT ('', (63.7923907212586, -8.37094293861593, 6.61120498808495));
#720 = CARTESIAN_POINT ('', (63.6823683583427, -8.53766207129179, 6.70746032421441));
#730 = CARTESIAN_POINT ('', (63.6549149936804, -8.57926271523574, 6.73147846719391));
#740 = CARTESIAN_POINT ('', (63.6274588382386, -8.62086197798386, 6.75549581273964));
#750 = CARTESIAN_POINT ('', (63.6, -8.66245991245126, 6.77951239140212));
#760 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#660, #670, #680, #690, #700, #710, #720, #730, #740, #750), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (1.93008275051242, 1.9957817635941, 2.66097911286476, 2.82696269036613), .UNSPECIFIED.);
#770 = EDGE_CURVE ('', #650, #570, #760, .T.);
#780 = ORIENTED_EDGE ('', *, *, #770, .F.);
#790 = CARTESIAN_POINT ('', (64.0448625156373, -9.52802072781817, 3.72276650294611));
#800 = VERTEX_POINT ('', #790);
#810 = CARTESIAN_POINT ('', (64.0448625156373, -7.98802072781817, 6.39012474660218));
#820 = CARTESIAN_POINT ('', (64.0640728248404, -8.09792023946972, 6.19947944104373));
#830 = CARTESIAN_POINT ('', (64.0792846938291, -8.20804390468339, 6.00851553895546));
#840 = CARTESIAN_POINT ('', (64.0903594315463, -8.31828035931124, 5.8174191092976));
#850 = CARTESIAN_POINT ('', (64.1014387073799, -8.42856198574054, 5.62624437369269));
#860 = CARTESIAN_POINT ('', (64.1083806533434, -8.53899464365264, 5.43487083868625));
#870 = CARTESIAN_POINT ('', (64.1111197086972, -8.64945973626929, 5.24350070542753));
#880 = CARTESIAN_POINT ('', (64.1138601083826, -8.75997904528422, 5.05203664748076));
#890 = CARTESIAN_POINT ('', (64.1123942922439, -8.87057011891008, 4.86050790631852));
#900 = CARTESIAN_POINT ('', (64.1067362363531, -8.98111363899431, 4.66912183182004));
#910 = CARTESIAN_POINT ('', (64.1010750953796, -9.0917174334731, 4.47763140312912));
#920 = CARTESIAN_POINT ('', (64.0912154696485, -9.20231278279302, 4.28621601363917));
#930 = CARTESIAN_POINT ('', (64.0772498207549, -9.31278643176893, 4.09507636394977));
#940 = CARTESIAN_POINT ('', (64.0681741378209, -9.38457857106051, 3.97086281183257));
#950 = CARTESIAN_POINT ('', (64.0573645391892, -9.45633281736479, 3.84674242285109));
#960 = CARTESIAN_POINT ('', (64.0448625156373, -9.52802072781817, 3.72276650294611));
#970 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#810, #820, #830, #840, #850, #860, #870, #880, #890, #900, #910, #920, #930, #940, #950, #960), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 4), (0., 0.662671216027686, 1.32561397609863, 1.98888210926133, 2.65251189261508, 3.08377674433518), .UNSPECIFIED.);
#980 = EDGE_CURVE ('', #650, #800, #970, .T.);
#990 = ORIENTED_EDGE ('', *, *, #980, .T.);
#1000 = CARTESIAN_POINT ('', (63.6, -10.2024599124513, 4.11215414774605));
#1010 = VERTEX_POINT ('', #1000);
#1020 = CARTESIAN_POINT ('', (64.0448625200389, -9.52802072999392, 3.72276650420228));
#1030 = CARTESIAN_POINT ('', (64.0340015768688, -9.54449995151488, 3.73228078718344));
#1040 = CARTESIAN_POINT ('', (64.0231401105705, -9.56097891436757, 3.74179492082241));
#1050 = CARTESIAN_POINT ('', (64.0122781307414, -9.57745762323619, 3.7513089078236));
#1060 = CARTESIAN_POINT ('', (63.9023520578018, -9.74422646110491, 3.84759294125955));
#1070 = CARTESIAN_POINT ('', (63.7923733438398, -9.91096928102836, 3.94386195322779));
#1080 = CARTESIAN_POINT ('', (63.6823499436092, -10.0776899755126, 4.04011819106774));
#1090 = CARTESIAN_POINT ('', (63.6549027159433, -10.1192813174319, 4.06413096352082));
#1100 = CARTESIAN_POINT ('', (63.6274526987704, -10.160871278785, 4.08814293890364));
#1110 = CARTESIAN_POINT ('', (63.6, -10.2024599124513, 4.11215414774606));
#1120 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#1020, #1030, #1040, #1050, #1060, #1070, #1080, #1090, #1100, #1110), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (1.93008275051086, 1.9958126341558, 2.66101622480784, 2.82696269036426), .UNSPECIFIED.);
#1130 = EDGE_CURVE ('', #800, #1010, #1120, .T.);
#1140 = ORIENTED_EDGE ('', *, *, #1130, .T.);
#1150 = CARTESIAN_POINT ('', (63.6, -10.2024599124513, -4.11215414774604));
#1160 = VERTEX_POINT ('', #1150);
#1170 = CARTESIAN_POINT ('', (63.6, -10.2024599124513, 4.11215414774606));
#1180 = CARTESIAN_POINT ('', (63.6, -11., 2.13341733987399));
#1190 = CARTESIAN_POINT ('', (63.6, -11., 1.34711147906209E-15));
#1200 = CARTESIAN_POINT ('', (63.6, -11., -2.13341733987398));
#1210 = CARTESIAN_POINT ('', (63.6, -10.2024599124513, -4.11215414774604));
#1220 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1170, #1180, #1190, #1200, #1210), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (30.1706765920042, 34.5575191894877, 38.9443617869712), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.889035581716377, 0.925638386149214, 1., 0.925638386149214, 0.889035581716377))
   REPRESENTATION_ITEM ('')
);
#1230 = EDGE_CURVE ('', #1010, #1160, #1220, .T.);
#1240 = ORIENTED_EDGE ('', *, *, #1230, .T.);
#1250 = CARTESIAN_POINT ('', (64.0448625156373, -9.52802072781817, -3.7227665029461));
#1260 = VERTEX_POINT ('', #1250);
#1270 = CARTESIAN_POINT ('', (64.0448625200389, -9.52802072999391, -3.72276650420226));
#1280 = CARTESIAN_POINT ('', (64.0340015768688, -9.54449995151487, -3.73228078718342));
#1290 = CARTESIAN_POINT ('', (64.0231401105705, -9.56097891436756, -3.74179492082239));
#1300 = CARTESIAN_POINT ('', (64.0122781307415, -9.57745762323618, -3.75130890782358));
#1310 = CARTESIAN_POINT ('', (63.9023520578018, -9.7442264611049, -3.84759294125953));
#1320 = CARTESIAN_POINT ('', (63.7923733438398, -9.91096928102835, -3.94386195322777));
#1330 = CARTESIAN_POINT ('', (63.6823499436092, -10.0776899755126, -4.04011819106773));
#1340 = CARTESIAN_POINT ('', (63.6549027159434, -10.1192813174319, -4.06413096352081));
#1350 = CARTESIAN_POINT ('', (63.6274526987704, -10.160871278785, -4.08814293890362));
#1360 = CARTESIAN_POINT ('', (63.6, -10.2024599124513, -4.11215414774605));
#1370 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#1270, #1280, #1290, #1300, #1310, #1320, #1330, #1340, #1350, #1360), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (1.93008275051084, 1.99581263415578, 2.66101622480782, 2.82696269036427), .UNSPECIFIED.);
#1380 = EDGE_CURVE ('', #1260, #1160, #1370, .T.);
#1390 = ORIENTED_EDGE ('', *, *, #1380, .F.);
#1400 = CARTESIAN_POINT ('', (64.0448625156373, -7.98802072781816, -6.39012474660216));
#1410 = VERTEX_POINT ('', #1400);
#1420 = CARTESIAN_POINT ('', (64.0448625156373, -9.52802072781817, -3.7227665029461));
#1430 = CARTESIAN_POINT ('', (64.0641522596288, -9.41741131853448, -3.91405263723798));
#1440 = CARTESIAN_POINT ('', (64.0794103877193, -9.30663662770544, -4.10569527108303));
#1450 = CARTESIAN_POINT ('', (64.0904966258289, -9.19580345344693, -4.29750252753085));
#1460 = CARTESIAN_POINT ('', (64.1015889288423, -9.08490964612865, -4.48941471520456));
#1470 = CARTESIAN_POINT ('', (64.108507992349, -8.97391857458758, -4.68155867778764));
#1480 = CARTESIAN_POINT ('', (64.111187905841, -8.86294758734749, -4.8737279300629));
#1490 = CARTESIAN_POINT ('', (64.1138692934805, -8.75191555799036, -5.06600288940882));
#1500 = CARTESIAN_POINT ('', (64.1123076544751, -8.64086380731501, -5.25837212802219));
#1510 = CARTESIAN_POINT ('', (64.1065180064617, -8.52991381528601, -5.45062597224632));
#1520 = CARTESIAN_POINT ('', (64.1007253436939, -8.41890604997293, -5.64297992585987));
#1530 = CARTESIAN_POINT ('', (64.0906985459948, -8.30796053602523, -5.83528702313775));
#1540 = CARTESIAN_POINT ('', (64.0765324071968, -8.19719588254105, -6.02734647857433));
#1550 = CARTESIAN_POINT ('', (64.0676062318997, -8.12740236097389, -6.1483643784507));
#1560 = CARTESIAN_POINT ('', (64.0570367825176, -8.05766801827654, -6.2693059297465));
#1570 = CARTESIAN_POINT ('', (64.0448625156373, -7.98802072781816, -6.39012474660216));
#1580 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#1420, #1430, #1440, #1450, #1460, #1470, #1480, #1490, #1500, #1510, #1520, #1530, #1540, #1550, #1560, #1570), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 4), (0., 0.665411367019765, 1.33118675796523, 1.99732837381637, 2.66381685935276, 3.08377554677095), .UNSPECIFIED.);
#1590 = EDGE_CURVE ('', #1260, #1410, #1580, .T.);
#1600 = ORIENTED_EDGE ('', *, *, #1590, .T.);
#1610 = CARTESIAN_POINT ('', (63.6, -8.66245991245126, -6.77951239140212));
#1620 = VERTEX_POINT ('', #1610);
#1630 = CARTESIAN_POINT ('', (64.0448625200352, -7.98802072999205, -6.39012474785725));
#1640 = CARTESIAN_POINT ('', (64.0340066777944, -8.00449221191577, -6.39963456237986));
#1650 = CARTESIAN_POINT ('', (64.023150312917, -8.0209634354143, -6.40914422770062));
#1660 = CARTESIAN_POINT ('', (64.0122934349872, -8.0374344051653, -6.41865374652017));
#1670 = CARTESIAN_POINT ('', (63.9023683983462, -8.20420168072017, -6.5149368779538));
#1680 = CARTESIAN_POINT ('', (63.7923907212586, -8.37094293861594, -6.61120498808494));
#1690 = CARTESIAN_POINT ('', (63.6823683583427, -8.5376620712918, -6.70746032421441));
#1700 = CARTESIAN_POINT ('', (63.6549149936804, -8.57926271523574, -6.73147846719391));
#1710 = CARTESIAN_POINT ('', (63.6274588382386, -8.62086197798386, -6.75549581273963));
#1720 = CARTESIAN_POINT ('', (63.6, -8.66245991245126, -6.77951239140212));
#1730 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#1630, #1640, #1650, #1660, #1670, #1680, #1690, #1700, #1710, #1720), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (1.9300827505124, 1.9957817635941, 2.66097911286475, 2.82696269036613), .UNSPECIFIED.);
#1740 = EDGE_CURVE ('', #1410, #1620, #1730, .T.);
#1750 = ORIENTED_EDGE ('', *, *, #1740, .T.);
#1760 = CARTESIAN_POINT ('', (63.6, -1.54000000000001, -10.8916665391482));
#1770 = VERTEX_POINT ('', #1760);
#1780 = CARTESIAN_POINT ('', (63.6, -8.66245991245126, -6.77951239140212));
#1790 = CARTESIAN_POINT ('', (63.6, -5.92994243732973, -10.2709615874139));
#1800 = CARTESIAN_POINT ('', (63.6, -1.54000000000001, -10.8916665391482));
#1810 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1780, #1790, #1800), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (41.9299524466717, 50.165974254205), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.856702811947658, 0.83622941221607, 0.948847158255079))
   REPRESENTATION_ITEM ('')
);
#1820 = EDGE_CURVE ('', #1620, #1770, #1810, .T.);
#1830 = ORIENTED_EDGE ('', *, *, #1820, .T.);
#1840 = CARTESIAN_POINT ('', (64.0448625156373, -1.54, -10.1128912495483));
#1850 = VERTEX_POINT ('', #1840);
#1860 = CARTESIAN_POINT ('', (64.0448625200313, -1.53999999999997, -10.1128912520563));
#1870 = CARTESIAN_POINT ('', (64.0340118890574, -1.53999999999997, -10.131901750871));
#1880 = CARTESIAN_POINT ('', (64.0231607359491, -1.53999999999997, -10.1509119515687));
#1890 = CARTESIAN_POINT ('', (64.0123090702765, -1.53999999999997, -10.1699218595428));
#1900 = CARTESIAN_POINT ('', (63.9023850990541, -1.53999999999997, -10.3624862676392));
#1910 = CARTESIAN_POINT ('', (63.7924084879798, -1.53999999999998, -10.5550206334719));
#1920 = CARTESIAN_POINT ('', (63.6823871915319, -1.53999999999998, -10.7475294515628));
#1930 = CARTESIAN_POINT ('', (63.6549275504165, -1.53999999999998, -10.7955767226547));
#1940 = CARTESIAN_POINT ('', (63.6274651172201, -1.54000000000001, -10.8436223981354));
#1950 = CARTESIAN_POINT ('', (63.6, -1.54000000000001, -10.8916665391482));
#1960 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#1860, #1870, #1880, #1890, #1900, #1910, #1920, #1930, #1940, #1950), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (1.93008275051402, 1.99575022527503, 2.66094115758956, 2.82696269036804), .UNSPECIFIED.);
#1970 = EDGE_CURVE ('', #1850, #1770, #1960, .T.);
#1980 = ORIENTED_EDGE ('', *, *, #1970, .F.);
#1990 = CARTESIAN_POINT ('', (64.0448625156373, 1.54000000000001, -10.1128912495483));
#2000 = VERTEX_POINT ('', #1990);
#2010 = CARTESIAN_POINT ('', (64.0448625156373, -1.54, -10.1128912495483));
#2020 = CARTESIAN_POINT ('', (64.0576497456128, -1.39352271887039, -10.1127934771889));
#2030 = CARTESIAN_POINT ('', (64.0686664194143, -1.24687958806644, -10.1127111718448));
#2040 = CARTESIAN_POINT ('', (64.0778682871109, -1.10013342043733, -10.1126432449423));
#2050 = CARTESIAN_POINT ('', (64.0870708344718, -0.953376413907423, -10.1125753130226));
#2060 = CARTESIAN_POINT ('', (64.0944596038797, -0.806494070901086, -10.1125217489722));
#2070 = CARTESIAN_POINT ('', (64.1000040518949, -0.65955337552083, -10.1124818031672));
#2080 = CARTESIAN_POINT ('', (64.1055491660253, -0.512595026546783, -10.1124418525631));
#2090 = CARTESIAN_POINT ('', (64.1092503178, -0.365555336390832, -10.1124155156997));
#2100 = CARTESIAN_POINT ('', (64.1110919359813, -0.218503935545116, -10.1124024109578));
#2110 = CARTESIAN_POINT ('', (64.111912761528, -0.152961822794527, -10.1123965700582));
#2120 = CARTESIAN_POINT ('', (64.1123644490644, -0.0874140452551476, -10.1123933623568));
#2130 = CARTESIAN_POINT ('', (64.1124466184171, -0.0218668440916989, -10.1123927785403));
#2140 = CARTESIAN_POINT ('', (64.1124628792534, -0.00889543476649312, -10.1123926630064));
#2150 = CARTESIAN_POINT ('', (64.1124646712111, 0.00407600076775097, -10.1123926502752));
#2160 = CARTESIAN_POINT ('', (64.1124519942312, 0.0170474140907566, -10.112392740345));
#2170 = CARTESIAN_POINT ('', (64.1123069207185, 0.165490379124842, -10.1123937710918));
#2180 = CARTESIAN_POINT ('', (64.1102654561618, 0.313943499808421, -10.1124082330331));
#2190 = CARTESIAN_POINT ('', (64.10633638647, 0.462334525604364, -10.1124363414222));
#2200 = CARTESIAN_POINT ('', (64.1024066335088, 0.610751356753051, -10.1124644546994));
#2210 = CARTESIAN_POINT ('', (64.0965880351666, 0.759129913486672, -10.1125062248184));
#2220 = CARTESIAN_POINT ('', (64.0889053350181, 0.907399844678244, -10.1125622586053));
#2230 = CARTESIAN_POINT ('', (64.0812216282926, 1.05568920199644, -10.1126182997335));
#2240 = CARTESIAN_POINT ('', (64.0716722141553, 1.20389319618884, -10.11268861919));
#2250 = CARTESIAN_POINT ('', (64.0602967504256, 1.35194510426777, -10.1127741914816));
#2260 = CARTESIAN_POINT ('', (64.0554784027273, 1.41465600445445, -10.112810437657));
#2270 = CARTESIAN_POINT ('', (64.0503324078899, 1.4773425717085, -10.1128494262392));
#2280 = CARTESIAN_POINT ('', (64.0448625156373, 1.54000000000001, -10.1128912495483));
#2290 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#2010, #2020, #2030, #2040, #2050, #2060, #2070, #2080, #2090, #2100, #2110, #2120, #2130, #2140, #2150, #2160, #2170, #2180, #2190, #2200, #2210, #2220, #2230, #2240, #2250, #2260, #2270, #2280), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.441103219522384, 0.882239019616461, 1.3234278181818, 1.52006957618997, 1.55898383474377, 2.00431294252752, 2.44971949350336, 2.89518440104541, 3.08387163727233), .UNSPECIFIED.);
#2300 = EDGE_CURVE ('', #1850, #2000, #2290, .T.);
#2310 = ORIENTED_EDGE ('', *, *, #2300, .T.);
#2320 = CARTESIAN_POINT ('', (63.6, 1.54, -10.8916665391482));
#2330 = VERTEX_POINT ('', #2320);
#2340 = CARTESIAN_POINT ('', (64.0448625200313, 1.53999999999997, -10.1128912520563));
#2350 = CARTESIAN_POINT ('', (64.0340118890574, 1.53999999999997, -10.131901750871));
#2360 = CARTESIAN_POINT ('', (64.0231607359491, 1.53999999999997, -10.1509119515687));
#2370 = CARTESIAN_POINT ('', (64.0123090702765, 1.53999999999997, -10.1699218595428));
#2380 = CARTESIAN_POINT ('', (63.9023850990541, 1.53999999999997, -10.3624862676392));
#2390 = CARTESIAN_POINT ('', (63.7924084879798, 1.53999999999998, -10.5550206334719));
#2400 = CARTESIAN_POINT ('', (63.6823871915319, 1.53999999999998, -10.7475294515628));
#2410 = CARTESIAN_POINT ('', (63.6549275504165, 1.53999999999998, -10.7955767226547));
#2420 = CARTESIAN_POINT ('', (63.6274651172201, 1.54, -10.8436223981354));
#2430 = CARTESIAN_POINT ('', (63.6, 1.54, -10.8916665391482));
#2440 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#2340, #2350, #2360, #2370, #2380, #2390, #2400, #2410, #2420, #2430), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (1.93008275051401, 1.99575022527502, 2.66094115758955, 2.82696269036803), .UNSPECIFIED.);
#2450 = EDGE_CURVE ('', #2000, #2330, #2440, .T.);
#2460 = ORIENTED_EDGE ('', *, *, #2450, .T.);
#2470 = CARTESIAN_POINT ('', (63.6, 8.66245991245125, -6.77951239140213));
#2480 = VERTEX_POINT ('', #2470);
#2490 = CARTESIAN_POINT ('', (63.6, 1.54, -10.8916665391482));
#2500 = CARTESIAN_POINT ('', (63.6, 5.92994243732972, -10.2709615874139));
#2510 = CARTESIAN_POINT ('', (63.6, 8.66245991245125, -6.77951239140213));
#2520 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2490, #2500, #2510), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (53.5065833142582, 61.7426051217914), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.948847158255079, 0.83622941221607, 0.856702811947658))
   REPRESENTATION_ITEM ('')
);
#2530 = EDGE_CURVE ('', #2330, #2480, #2520, .T.);
#2540 = ORIENTED_EDGE ('', *, *, #2530, .T.);
#2550 = CARTESIAN_POINT ('', (64.0448625156373, 7.98802072781817, -6.39012474660217));
#2560 = VERTEX_POINT ('', #2550);
#2570 = CARTESIAN_POINT ('', (64.0448625200352, 7.98802072999206, -6.39012474785727));
#2580 = CARTESIAN_POINT ('', (64.0340066777944, 8.00449221191577, -6.39963456237987));
#2590 = CARTESIAN_POINT ('', (64.0231503129171, 8.02096343541429, -6.40914422770063));
#2600 = CARTESIAN_POINT ('', (64.0122934349872, 8.03743440516528, -6.41865374652018));
#2610 = CARTESIAN_POINT ('', (63.9023683983462, 8.20420168072016, -6.5149368779538));
#2620 = CARTESIAN_POINT ('', (63.7923907212586, 8.37094293861592, -6.61120498808495));
#2630 = CARTESIAN_POINT ('', (63.6823683583427, 8.53766207129178, -6.70746032421441));
#2640 = CARTESIAN_POINT ('', (63.6549149936804, 8.57926271523573, -6.73147846719391));
#2650 = CARTESIAN_POINT ('', (63.6274588382386, 8.62086197798385, -6.75549581273964));
#2660 = CARTESIAN_POINT ('', (63.6, 8.66245991245125, -6.77951239140213));
#2670 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#2570, #2580, #2590, #2600, #2610, #2620, #2630, #2640, #2650, #2660), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (1.93008275051242, 1.99578176359409, 2.66097911286474, 2.82696269036613), .UNSPECIFIED.);
#2680 = EDGE_CURVE ('', #2560, #2480, #2670, .T.);
#2690 = ORIENTED_EDGE ('', *, *, #2680, .F.);
#2700 = CARTESIAN_POINT ('', (64.0448625156373, 9.52802072781817, -3.72276650294612));
#2710 = VERTEX_POINT ('', #2700);
#2720 = CARTESIAN_POINT ('', (64.0448625156373, 7.98802072781817, -6.39012474660217));
#2730 = CARTESIAN_POINT ('', (64.0640728248404, 8.09792023946971, -6.19947944104373));
#2740 = CARTESIAN_POINT ('', (64.0792846938291, 8.20804390468339, -6.00851553895546));
#2750 = CARTESIAN_POINT ('', (64.0903594315463, 8.31828035931124, -5.81741910929761));
#2760 = CARTESIAN_POINT ('', (64.1014387073799, 8.42856198574054, -5.62624437369269));
#2770 = CARTESIAN_POINT ('', (64.1083806533434, 8.53899464365264, -5.43487083868626));
#2780 = CARTESIAN_POINT ('', (64.1111197086972, 8.64945973626929, -5.24350070542753));
#2790 = CARTESIAN_POINT ('', (64.1138601083826, 8.75997904528422, -5.05203664748077));
#2800 = CARTESIAN_POINT ('', (64.1123942922439, 8.87057011891007, -4.86050790631852));
#2810 = CARTESIAN_POINT ('', (64.1067362363531, 8.9811136389943, -4.66912183182004));
#2820 = CARTESIAN_POINT ('', (64.1010750953796, 9.09171743347309, -4.47763140312912));
#2830 = CARTESIAN_POINT ('', (64.0912154696485, 9.20231278279303, -4.28621601363918));
#2840 = CARTESIAN_POINT ('', (64.0772498207549, 9.31278643176894, -4.09507636394977));
#2850 = CARTESIAN_POINT ('', (64.068174137821, 9.38457857106052, -3.97086281183258));
#2860 = CARTESIAN_POINT ('', (64.0573645391892, 9.45633281736479, -3.84674242285109));
#2870 = CARTESIAN_POINT ('', (64.0448625156373, 9.52802072781817, -3.72276650294612));
#2880 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#2720, #2730, #2740, #2750, #2760, #2770, #2780, #2790, #2800, #2810, #2820, #2830, #2840, #2850, #2860, #2870), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 4), (0., 0.662671216027679, 1.32561397609862, 1.98888210926132, 2.65251189261507, 3.08377674433517), .UNSPECIFIED.);
#2890 = EDGE_CURVE ('', #2560, #2710, #2880, .T.);
#2900 = ORIENTED_EDGE ('', *, *, #2890, .T.);
#2910 = CARTESIAN_POINT ('', (63.6, 10.2024599124513, -4.11215414774605));
#2920 = VERTEX_POINT ('', #2910);
#2930 = CARTESIAN_POINT ('', (64.0448625200389, 9.52802072999392, -3.72276650420228));
#2940 = CARTESIAN_POINT ('', (64.0340015768688, 9.54449995151488, -3.73228078718345));
#2950 = CARTESIAN_POINT ('', (64.0231401105705, 9.56097891436757, -3.74179492082241));
#2960 = CARTESIAN_POINT ('', (64.0122781307414, 9.57745762323619, -3.75130890782361));
#2970 = CARTESIAN_POINT ('', (63.9023520578018, 9.74422646110491, -3.84759294125955));
#2980 = CARTESIAN_POINT ('', (63.7923733438398, 9.91096928102836, -3.94386195322779));
#2990 = CARTESIAN_POINT ('', (63.6823499436092, 10.0776899755126, -4.04011819106775));
#3000 = CARTESIAN_POINT ('', (63.6549027159433, 10.1192813174319, -4.06413096352083));
#3010 = CARTESIAN_POINT ('', (63.6274526987704, 10.160871278785, -4.08814293890364));
#3020 = CARTESIAN_POINT ('', (63.6, 10.2024599124513, -4.11215414774606));
#3030 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#2930, #2940, #2950, #2960, #2970, #2980, #2990, #3000, #3010, #3020), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (1.93008275051086, 1.9958126341558, 2.66101622480784, 2.82696269036426), .UNSPECIFIED.);
#3040 = EDGE_CURVE ('', #2710, #2920, #3030, .T.);
#3050 = ORIENTED_EDGE ('', *, *, #3040, .T.);
#3060 = CARTESIAN_POINT ('', (63.6, 11., 0.));
#3070 = VERTEX_POINT ('', #3060);
#3080 = CARTESIAN_POINT ('', (63.6, 10.2024599124513, -4.11215414774606));
#3090 = CARTESIAN_POINT ('', (63.6, 11., -2.13341733987399));
#3100 = CARTESIAN_POINT ('', (63.6, 11., 0.));
#3110 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3080, #3090, #3100), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (64.728195781492, 69.1150383789755), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.889035581716377, 0.925638386149214, 1.))
   REPRESENTATION_ITEM ('')
);
#3120 = EDGE_CURVE ('', #2920, #3070, #3110, .T.);
#3130 = ORIENTED_EDGE ('', *, *, #3120, .T.);
#3140 = CARTESIAN_POINT ('', (63.6, 11., 0.));
#3150 = CARTESIAN_POINT ('', (65., 8.57512886940357, 0.));
#3160 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#3140, #3150), .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 ('')
);
#3170 = EDGE_CURVE ('', #3070, #20, #3160, .T.);
#3180 = ORIENTED_EDGE ('', *, *, #3170, .T.);
#3190 = ORIENTED_EDGE ('', *, *, #130, .F.);
#3200 = ORIENTED_EDGE ('', *, *, #3170, .F.);
#3210 = CARTESIAN_POINT ('', (63.6, 10.2024599124513, 4.11215414774604));
#3220 = VERTEX_POINT ('', #3210);
#3230 = CARTESIAN_POINT ('', (63.6, 11., 0.));
#3240 = CARTESIAN_POINT ('', (63.6, 11., 2.13341733987398));
#3250 = CARTESIAN_POINT ('', (63.6, 10.2024599124513, 4.11215414774604));
#3260 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3230, #3240, #3250), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 4.38684259748348), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.925638386149214, 0.889035581716377))
   REPRESENTATION_ITEM ('')
);
#3270 = EDGE_CURVE ('', #3070, #3220, #3260, .T.);
#3280 = ORIENTED_EDGE ('', *, *, #3270, .T.);
#3290 = CARTESIAN_POINT ('', (64.0448625156373, 9.52802072781817, 3.7227665029461));
#3300 = VERTEX_POINT ('', #3290);
#3310 = CARTESIAN_POINT ('', (64.0448625200389, 9.52802072999392, 3.72276650420225));
#3320 = CARTESIAN_POINT ('', (64.0340015768688, 9.54449995151488, 3.73228078718342));
#3330 = CARTESIAN_POINT ('', (64.0231401105705, 9.56097891436757, 3.74179492082238));
#3340 = CARTESIAN_POINT ('', (64.0122781307415, 9.57745762323618, 3.75130890782357));
#3350 = CARTESIAN_POINT ('', (63.9023520578018, 9.7442264611049, 3.84759294125952));
#3360 = CARTESIAN_POINT ('', (63.7923733438398, 9.91096928102835, 3.94386195322776));
#3370 = CARTESIAN_POINT ('', (63.6823499436092, 10.0776899755126, 4.04011819106772));
#3380 = CARTESIAN_POINT ('', (63.6549027159433, 10.1192813174319, 4.06413096352081));
#3390 = CARTESIAN_POINT ('', (63.6274526987704, 10.160871278785, 4.08814293890362));
#3400 = CARTESIAN_POINT ('', (63.6, 10.2024599124513, 4.11215414774604));
#3410 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3310, #3320, #3330, #3340, #3350, #3360, #3370, #3380, #3390, #3400), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (1.93008275051086, 1.99581263415578, 2.66101622480781, 2.82696269036428), .UNSPECIFIED.);
#3420 = EDGE_CURVE ('', #3300, #3220, #3410, .T.);
#3430 = ORIENTED_EDGE ('', *, *, #3420, .F.);
#3440 = CARTESIAN_POINT ('', (64.0448625156373, 7.98802072781817, 6.39012474660217));
#3450 = VERTEX_POINT ('', #3440);
#3460 = CARTESIAN_POINT ('', (64.0448625156373, 9.52802072781817, 3.7227665029461));
#3470 = CARTESIAN_POINT ('', (64.0641522596288, 9.41741131853448, 3.91405263723799));
#3480 = CARTESIAN_POINT ('', (64.0794103877193, 9.30663662770545, 4.10569527108304));
#3490 = CARTESIAN_POINT ('', (64.0904966258289, 9.19580345344695, 4.29750252753086));
#3500 = CARTESIAN_POINT ('', (64.1015889288423, 9.08490964612866, 4.48941471520457));
#3510 = CARTESIAN_POINT ('', (64.108507992349, 8.97391857458758, 4.68155867778764));
#3520 = CARTESIAN_POINT ('', (64.111187905841, 8.86294758734749, 4.8737279300629));
#3530 = CARTESIAN_POINT ('', (64.1138692934805, 8.75191555799037, 5.06600288940881));
#3540 = CARTESIAN_POINT ('', (64.1123076544751, 8.64086380731501, 5.25837212802218));
#3550 = CARTESIAN_POINT ('', (64.1065180064617, 8.52991381528602, 5.4506259722463));
#3560 = CARTESIAN_POINT ('', (64.1007253436939, 8.41890604997294, 5.64297992585985));
#3570 = CARTESIAN_POINT ('', (64.0906985459948, 8.30796053602525, 5.83528702313773));
#3580 = CARTESIAN_POINT ('', (64.0765324071968, 8.19719588254107, 6.02734647857431));
#3590 = CARTESIAN_POINT ('', (64.0676062318997, 8.12740236097391, 6.14836437845069));
#3600 = CARTESIAN_POINT ('', (64.0570367825176, 8.05766801827654, 6.2693059297465));
#3610 = CARTESIAN_POINT ('', (64.0448625156373, 7.98802072781817, 6.39012474660217));
#3620 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3460, #3470, #3480, #3490, #3500, #3510, #3520, #3530, #3540, #3550, #3560, #3570, #3580, #3590, #3600, #3610), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 4), (0., 0.665411367019764, 1.33118675796522, 1.99732837381635, 2.66381685935273, 3.08377554677095), .UNSPECIFIED.);
#3630 = EDGE_CURVE ('', #3300, #3450, #3620, .T.);
#3640 = ORIENTED_EDGE ('', *, *, #3630, .T.);
#3650 = CARTESIAN_POINT ('', (63.6, 8.66245991245126, 6.77951239140211));
#3660 = VERTEX_POINT ('', #3650);
#3670 = CARTESIAN_POINT ('', (64.0448625200352, 7.98802072999207, 6.39012474785725));
#3680 = CARTESIAN_POINT ('', (64.0340066777944, 8.00449221191578, 6.39963456237986));
#3690 = CARTESIAN_POINT ('', (64.023150312917, 8.02096343541431, 6.40914422770061));
#3700 = CARTESIAN_POINT ('', (64.0122934349872, 8.03743440516531, 6.41865374652016));
#3710 = CARTESIAN_POINT ('', (63.9023683983462, 8.20420168072018, 6.51493687795379));
#3720 = CARTESIAN_POINT ('', (63.7923907212586, 8.37094293861594, 6.61120498808494));
#3730 = CARTESIAN_POINT ('', (63.6823683583427, 8.5376620712918, 6.7074603242144));
#3740 = CARTESIAN_POINT ('', (63.6549149936804, 8.57926271523575, 6.73147846719391));
#3750 = CARTESIAN_POINT ('', (63.6274588382386, 8.62086197798386, 6.75549581273963));
#3760 = CARTESIAN_POINT ('', (63.6, 8.66245991245126, 6.77951239140212));
#3770 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3670, #3680, #3690, #3700, #3710, #3720, #3730, #3740, #3750, #3760), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (1.93008275051241, 1.9957817635941, 2.66097911286475, 2.82696269036613), .UNSPECIFIED.);
#3780 = EDGE_CURVE ('', #3450, #3660, #3770, .T.);
#3790 = ORIENTED_EDGE ('', *, *, #3780, .T.);
#3800 = CARTESIAN_POINT ('', (63.6, 1.54, 10.8916665391482));
#3810 = VERTEX_POINT ('', #3800);
#3820 = CARTESIAN_POINT ('', (63.6, 8.66245991245126, 6.77951239140211));
#3830 = CARTESIAN_POINT ('', (63.6, 5.92994243732973, 10.2709615874139));
#3840 = CARTESIAN_POINT ('', (63.6, 1.54, 10.8916665391482));
#3850 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3820, #3830, #3840), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (7.372433257184, 15.6084550647173), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.856702811947658, 0.83622941221607, 0.948847158255079))
   REPRESENTATION_ITEM ('')
);
#3860 = EDGE_CURVE ('', #3660, #3810, #3850, .T.);
#3870 = ORIENTED_EDGE ('', *, *, #3860, .T.);
#3880 = CARTESIAN_POINT ('', (64.0448625156373, 1.54, 10.1128912495483));
#3890 = VERTEX_POINT ('', #3880);
#3900 = CARTESIAN_POINT ('', (64.0448625200313, 1.53999999999998, 10.1128912520563));
#3910 = CARTESIAN_POINT ('', (64.0340118890574, 1.53999999999998, 10.131901750871));
#3920 = CARTESIAN_POINT ('', (64.0231607359491, 1.53999999999998, 10.1509119515687));
#3930 = CARTESIAN_POINT ('', (64.0123090702765, 1.53999999999998, 10.1699218595428));
#3940 = CARTESIAN_POINT ('', (63.9023850990541, 1.53999999999998, 10.3624862676392));
#3950 = CARTESIAN_POINT ('', (63.7924084879798, 1.53999999999999, 10.5550206334719));
#3960 = CARTESIAN_POINT ('', (63.6823871915319, 1.53999999999999, 10.7475294515628));
#3970 = CARTESIAN_POINT ('', (63.6549275504165, 1.53999999999998, 10.7955767226547));
#3980 = CARTESIAN_POINT ('', (63.6274651172201, 1.54, 10.8436223981354));
#3990 = CARTESIAN_POINT ('', (63.6, 1.54, 10.8916665391482));
#4000 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3900, #3910, #3920, #3930, #3940, #3950, #3960, #3970, #3980, #3990), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (1.93008275051401, 1.99575022527504, 2.66094115758957, 2.82696269036804), .UNSPECIFIED.);
#4010 = EDGE_CURVE ('', #3890, #3810, #4000, .T.);
#4020 = ORIENTED_EDGE ('', *, *, #4010, .F.);
#4030 = CARTESIAN_POINT ('', (64.0448625156373, 1.54, 10.1128912495483));
#4040 = CARTESIAN_POINT ('', (64.0576497456128, 1.3935227188704, 10.1127934771889));
#4050 = CARTESIAN_POINT ('', (64.0686664194144, 1.24687958806645, 10.1127111718448));
#4060 = CARTESIAN_POINT ('', (64.0778682871109, 1.10013342043733, 10.1126432449423));
#4070 = CARTESIAN_POINT ('', (64.0870708344718, 0.95337641390742, 10.1125753130226));
#4080 = CARTESIAN_POINT ('', (64.0944596038797, 0.806494070901082, 10.1125217489722));
#4090 = CARTESIAN_POINT ('', (64.1000040518949, 0.659553375520824, 10.1124818031672));
#4100 = CARTESIAN_POINT ('', (64.1055491660253, 0.512595026546776, 10.1124418525631));
#4110 = CARTESIAN_POINT ('', (64.1092503178, 0.365555336390825, 10.1124155156997));
#4120 = CARTESIAN_POINT ('', (64.1110919359813, 0.218503935545108, 10.1124024109578));
#4130 = CARTESIAN_POINT ('', (64.111912761528, 0.152961822794517, 10.1123965700582));
#4140 = CARTESIAN_POINT ('', (64.1123644490644, 0.0874140452551351, 10.1123933623568));
#4150 = CARTESIAN_POINT ('', (64.1124466184171, 0.0218668440916841, 10.1123927785403));
#4160 = CARTESIAN_POINT ('', (64.1124628792534, 0.00889543476648212, 10.1123926630064));
#4170 = CARTESIAN_POINT ('', (64.1124646712111, -0.00407600076775809, 10.1123926502752));
#4180 = CARTESIAN_POINT ('', (64.1124519942312, -0.0170474140907599, 10.112392740345));
#4190 = CARTESIAN_POINT ('', (64.1123069207185, -0.165490379124844, 10.1123937710918));
#4200 = CARTESIAN_POINT ('', (64.1102654561618, -0.313943499808423, 10.1124082330331));
#4210 = CARTESIAN_POINT ('', (64.10633638647, -0.462334525604364, 10.1124363414222));
#4220 = CARTESIAN_POINT ('', (64.1024066335088, -0.61075135675305, 10.1124644546994));
#4230 = CARTESIAN_POINT ('', (64.0965880351666, -0.759129913486669, 10.1125062248184));
#4240 = CARTESIAN_POINT ('', (64.0889053350181, -0.907399844678239, 10.1125622586053));
#4250 = CARTESIAN_POINT ('', (64.0812216282926, -1.05568920199643, 10.1126182997335));
#4260 = CARTESIAN_POINT ('', (64.0716722141553, -1.20389319618884, 10.11268861919));
#4270 = CARTESIAN_POINT ('', (64.0602967504256, -1.35194510426777, 10.1127741914816));
#4280 = CARTESIAN_POINT ('', (64.0554784027273, -1.41465600445444, 10.112810437657));
#4290 = CARTESIAN_POINT ('', (64.0503324078899, -1.47734257170849, 10.1128494262392));
#4300 = CARTESIAN_POINT ('', (64.0448625156373, -1.54, 10.1128912495483));
#4310 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#4030, #4040, #4050, #4060, #4070, #4080, #4090, #4100, #4110, #4120, #4130, #4140, #4150, #4160, #4170, #4180, #4190, #4200, #4210, #4220, #4230, #4240, #4250, #4260, #4270, #4280, #4290, #4300), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.44110321952239, 0.882239019616473, 1.32342781818182, 1.52006957618999, 1.55898383474378, 2.00431294252753, 2.44971949350336, 2.89518440104541, 3.08387163727233), .UNSPECIFIED.);
#4320 = EDGE_CURVE ('', #3890, #400, #4310, .T.);
#4330 = ORIENTED_EDGE ('', *, *, #4320, .T.);
#4340 = EDGE_LOOP ('', (#550, #630, #780, #990, #1140, #1240, #1390, #1600, #1750, #1830, #1980, #2310, #2460, #2540, #2690, #2900, #3050, #3130, #3180, #3190, #3200, #3280, #3430, #3640, #3790, #3870, #4020, #4330));
#4350 = FACE_OUTER_BOUND ('', #4340, .T.);
#4360 = CARTESIAN_POINT ('', (63.6, 11., 0.));
#4370 = CARTESIAN_POINT ('', (65., 8.57512886940357, 0.));
#4380 = CARTESIAN_POINT ('', (63.6, 11., 11.));
#4390 = CARTESIAN_POINT ('', (65., 8.57512886940357, 8.57512886940357));
#4400 = CARTESIAN_POINT ('', (63.6, 6.73555739531044E-16, 11.));
#4410 = CARTESIAN_POINT ('', (65., 5.25075206109557E-16, 8.57512886940357));
#4420 = CARTESIAN_POINT ('', (63.6, -11., 11.));
#4430 = CARTESIAN_POINT ('', (65., -8.57512886940357, 8.57512886940357));
#4440 = CARTESIAN_POINT ('', (63.6, -11., 1.34711147906209E-15));
#4450 = CARTESIAN_POINT ('', (65., -8.57512886940357, 1.05015041221911E-15));
#4460 = CARTESIAN_POINT ('', (63.6, -11., -11.));
#4470 = CARTESIAN_POINT ('', (65., -8.57512886940357, -8.57512886940357));
#4480 = CARTESIAN_POINT ('', (63.6, -2.02066721859313E-15, -11.));
#4490 = CARTESIAN_POINT ('', (65., -1.57522561832867E-15, -8.57512886940357));
#4500 = CARTESIAN_POINT ('', (63.6, 11., -11.));
#4510 = CARTESIAN_POINT ('', (65., 8.57512886940357, -8.57512886940357));
#4520 = CARTESIAN_POINT ('', (63.6, 11., 0.));
#4530 = CARTESIAN_POINT ('', (65., 8.57512886940357, 0.));
#4540 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#4360, #4370), (#4380, #4390), (#4400, #4410), (#4420, #4430), (#4440, #4450), (#4460, #4470), (#4480, #4490), (#4500, #4510), (#4520, #4530)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#4550 = ADVANCED_FACE ('', (#4350), #4540, .T.);
#4560 = CARTESIAN_POINT ('', (47.5, 11., 0.));
#4570 = VERTEX_POINT ('', #4560);
#4580 = CARTESIAN_POINT ('', (47.5, 11., 0.));
#4590 = CARTESIAN_POINT ('', (47.5, 11., 11.));
#4600 = CARTESIAN_POINT ('', (47.5, 6.73555739531044E-16, 11.));
#4610 = CARTESIAN_POINT ('', (47.5, -11., 11.));
#4620 = CARTESIAN_POINT ('', (47.5, -11., 1.34711147906209E-15));
#4630 = CARTESIAN_POINT ('', (47.5, -11., -11.));
#4640 = CARTESIAN_POINT ('', (47.5, -2.02066721859313E-15, -11.));
#4650 = CARTESIAN_POINT ('', (47.5, 11., -11.));
#4660 = CARTESIAN_POINT ('', (47.5, 11., 0.));
#4670 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4580, #4590, #4600, #4610, #4620, #4630, #4640, #4650, #4660), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#4680 = EDGE_CURVE ('', #4570, #4570, #4670, .T.);
#4690 = ORIENTED_EDGE ('', *, *, #4680, .F.);
#4700 = EDGE_LOOP ('', (#4690));
#4710 = FACE_OUTER_BOUND ('', #4700, .T.);
#4720 = CARTESIAN_POINT ('', (47.5, 8.8, 0.));
#4730 = VERTEX_POINT ('', #4720);
#4740 = CARTESIAN_POINT ('', (47.5, 8.8, 0.));
#4750 = CARTESIAN_POINT ('', (47.5, 8.8, 8.8));
#4760 = CARTESIAN_POINT ('', (47.5, 5.38844591624836E-16, 8.8));
#4770 = CARTESIAN_POINT ('', (47.5, -8.8, 8.8));
#4780 = CARTESIAN_POINT ('', (47.5, -8.8, 1.07768918324967E-15));
#4790 = CARTESIAN_POINT ('', (47.5, -8.8, -8.8));
#4800 = CARTESIAN_POINT ('', (47.5, -1.61653377487451E-15, -8.8));
#4810 = CARTESIAN_POINT ('', (47.5, 8.8, -8.8));
#4820 = CARTESIAN_POINT ('', (47.5, 8.8, 0.));
#4830 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4740, #4750, #4760, #4770, #4780, #4790, #4800, #4810, #4820), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 13.8230076757951, 27.6460153515902, 41.4690230273853, 55.2920307031804), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#4840 = EDGE_CURVE ('', #4730, #4730, #4830, .T.);
#4850 = ORIENTED_EDGE ('', *, *, #4840, .T.);
#4860 = EDGE_LOOP ('', (#4850));
#4870 = FACE_BOUND ('', #4860, .T.);
#4880 = CARTESIAN_POINT ('', (47.5, -11., -11.));
#4890 = CARTESIAN_POINT ('', (47.5, 11., -11.));
#4900 = CARTESIAN_POINT ('', (47.5, -11., 11.));
#4910 = CARTESIAN_POINT ('', (47.5, 11., 11.));
#4920 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4880, #4890), (#4900, #4910)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0454545454545454, 0.954545454545454), (0.0454545454545454, 0.954545454545454), .UNSPECIFIED.);
#4930 = ADVANCED_FACE ('', (#4710, #4870), #4920, .T.);
#4940 = CARTESIAN_POINT ('', (39., 8.8, 0.));
#4950 = VERTEX_POINT ('', #4940);
#4960 = CARTESIAN_POINT ('', (39., 8.8, 0.));
#4970 = CARTESIAN_POINT ('', (47.5, 8.8, 0.));
#4980 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#4960, #4970), .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 ('')
);
#4990 = EDGE_CURVE ('', #4950, #4730, #4980, .T.);
#5000 = ORIENTED_EDGE ('', *, *, #4990, .F.);
#5010 = CARTESIAN_POINT ('', (39., 8.8, 0.));
#5020 = CARTESIAN_POINT ('', (39., 8.8, 8.8));
#5030 = CARTESIAN_POINT ('', (39., 5.38844591624836E-16, 8.8));
#5040 = CARTESIAN_POINT ('', (39., -8.8, 8.8));
#5050 = CARTESIAN_POINT ('', (39., -8.8, 1.07768918324967E-15));
#5060 = CARTESIAN_POINT ('', (39., -8.8, -8.8));
#5070 = CARTESIAN_POINT ('', (39., -1.61653377487451E-15, -8.8));
#5080 = CARTESIAN_POINT ('', (39., 8.8, -8.8));
#5090 = CARTESIAN_POINT ('', (39., 8.8, 0.));
#5100 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5010, #5020, #5030, #5040, #5050, #5060, #5070, #5080, #5090), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#5110 = EDGE_CURVE ('', #4950, #4950, #5100, .T.);
#5120 = ORIENTED_EDGE ('', *, *, #5110, .T.);
#5130 = ORIENTED_EDGE ('', *, *, #4990, .T.);
#5140 = ORIENTED_EDGE ('', *, *, #4840, .F.);
#5150 = EDGE_LOOP ('', (#5000, #5120, #5130, #5140));
#5160 = FACE_OUTER_BOUND ('', #5150, .T.);
#5170 = CARTESIAN_POINT ('', (39., 8.8, 0.));
#5180 = CARTESIAN_POINT ('', (47.5, 8.8, 0.));
#5190 = CARTESIAN_POINT ('', (39., 8.8, 8.8));
#5200 = CARTESIAN_POINT ('', (47.5, 8.8, 8.8));
#5210 = CARTESIAN_POINT ('', (39., 5.38844591624836E-16, 8.8));
#5220 = CARTESIAN_POINT ('', (47.5, 5.38844591624836E-16, 8.8));
#5230 = CARTESIAN_POINT ('', (39., -8.8, 8.8));
#5240 = CARTESIAN_POINT ('', (47.5, -8.8, 8.8));
#5250 = CARTESIAN_POINT ('', (39., -8.8, 1.07768918324967E-15));
#5260 = CARTESIAN_POINT ('', (47.5, -8.8, 1.07768918324967E-15));
#5270 = CARTESIAN_POINT ('', (39., -8.8, -8.8));
#5280 = CARTESIAN_POINT ('', (47.5, -8.8, -8.8));
#5290 = CARTESIAN_POINT ('', (39., -1.61653377487451E-15, -8.8));
#5300 = CARTESIAN_POINT ('', (47.5, -1.61653377487451E-15, -8.8));
#5310 = CARTESIAN_POINT ('', (39., 8.8, -8.8));
#5320 = CARTESIAN_POINT ('', (47.5, 8.8, -8.8));
#5330 = CARTESIAN_POINT ('', (39., 8.8, 0.));
#5340 = CARTESIAN_POINT ('', (47.5, 8.8, 0.));
#5350 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#5170, #5180), (#5190, #5200), (#5210, #5220), (#5230, #5240), (#5250, #5260), (#5270, #5280), (#5290, #5300), (#5310, #5320), (#5330, #5340)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 13.8230076757951, 27.6460153515902, 41.4690230273853, 55.2920307031804), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#5360 = ADVANCED_FACE ('', (#5160), #5350, .T.);
#5370 = CARTESIAN_POINT ('', (39., 25., 0.));
#5380 = VERTEX_POINT ('', #5370);
#5390 = CARTESIAN_POINT ('', (39., 25., 0.));
#5400 = CARTESIAN_POINT ('', (39., 25., 25.));
#5410 = CARTESIAN_POINT ('', (39., 1.53080849893419E-15, 25.));
#5420 = CARTESIAN_POINT ('', (39., -25., 25.));
#5430 = CARTESIAN_POINT ('', (39., -25., 3.06161699786838E-15));
#5440 = CARTESIAN_POINT ('', (39., -25., -25.));
#5450 = CARTESIAN_POINT ('', (39., -4.59242549680257E-15, -25.));
#5460 = CARTESIAN_POINT ('', (39., 25., -25.));
#5470 = CARTESIAN_POINT ('', (39., 25., 0.));
#5480 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5390, #5400, #5410, #5420, #5430, #5440, #5450, #5460, #5470), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 39.2699081698724, 78.5398163397448, 117.809724509617, 157.07963267949), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#5490 = EDGE_CURVE ('', #5380, #5380, #5480, .T.);
#5500 = ORIENTED_EDGE ('', *, *, #5490, .T.);
#5510 = EDGE_LOOP ('', (#5500));
#5520 = FACE_OUTER_BOUND ('', #5510, .T.);
#5530 = ORIENTED_EDGE ('', *, *, #5110, .F.);
#5540 = EDGE_LOOP ('', (#5530));
#5550 = FACE_BOUND ('', #5540, .T.);
#5560 = CARTESIAN_POINT ('', (39., -25., -25.));
#5570 = CARTESIAN_POINT ('', (39., -25., 25.));
#5580 = CARTESIAN_POINT ('', (39., 25., -25.));
#5590 = CARTESIAN_POINT ('', (39., 25., 25.));
#5600 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5560, #5570), (#5580, #5590)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0454545454545453, 0.954545454545454), (0.0454545454545451, 0.954545454545454), .UNSPECIFIED.);
#5610 = ADVANCED_FACE ('', (#5520, #5550), #5600, .T.);
#5620 = CARTESIAN_POINT ('', (16., 25., 0.));
#5630 = VERTEX_POINT ('', #5620);
#5640 = CARTESIAN_POINT ('', (16., 25., 0.));
#5650 = CARTESIAN_POINT ('', (39., 25., 0.));
#5660 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#5640, #5650), .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 ('')
);
#5670 = EDGE_CURVE ('', #5630, #5380, #5660, .T.);
#5680 = ORIENTED_EDGE ('', *, *, #5670, .F.);
#5690 = CARTESIAN_POINT ('', (16., 25., 0.));
#5700 = CARTESIAN_POINT ('', (16., 25., 25.));
#5710 = CARTESIAN_POINT ('', (16., 1.53080849893419E-15, 25.));
#5720 = CARTESIAN_POINT ('', (16., -25., 25.));
#5730 = CARTESIAN_POINT ('', (16., -25., 2.66453525910038E-15));
#5740 = CARTESIAN_POINT ('', (16., -25., -25.));
#5750 = CARTESIAN_POINT ('', (16., -4.59242549680257E-15, -25.));
#5760 = CARTESIAN_POINT ('', (16., 25., -25.));
#5770 = CARTESIAN_POINT ('', (16., 25., 0.));
#5780 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5690, #5700, #5710, #5720, #5730, #5740, #5750, #5760, #5770), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 39.2699081698724, 78.5398163397448, 117.809724509617, 157.07963267949), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#5790 = EDGE_CURVE ('', #5630, #5630, #5780, .T.);
#5800 = ORIENTED_EDGE ('', *, *, #5790, .T.);
#5810 = ORIENTED_EDGE ('', *, *, #5670, .T.);
#5820 = ORIENTED_EDGE ('', *, *, #5490, .F.);
#5830 = EDGE_LOOP ('', (#5680, #5800, #5810, #5820));
#5840 = FACE_OUTER_BOUND ('', #5830, .T.);
#5850 = CARTESIAN_POINT ('', (16., 25., 0.));
#5860 = CARTESIAN_POINT ('', (39., 25., 0.));
#5870 = CARTESIAN_POINT ('', (16., 25., 25.));
#5880 = CARTESIAN_POINT ('', (39., 25., 25.));
#5890 = CARTESIAN_POINT ('', (16., 1.53080849893419E-15, 25.));
#5900 = CARTESIAN_POINT ('', (39., 1.53080849893419E-15, 25.));
#5910 = CARTESIAN_POINT ('', (16., -25., 25.));
#5920 = CARTESIAN_POINT ('', (39., -25., 25.));
#5930 = CARTESIAN_POINT ('', (16., -25., 3.06161699786838E-15));
#5940 = CARTESIAN_POINT ('', (39., -25., 3.06161699786838E-15));
#5950 = CARTESIAN_POINT ('', (16., -25., -25.));
#5960 = CARTESIAN_POINT ('', (39., -25., -25.));
#5970 = CARTESIAN_POINT ('', (16., -4.59242549680257E-15, -25.));
#5980 = CARTESIAN_POINT ('', (39., -4.59242549680257E-15, -25.));
#5990 = CARTESIAN_POINT ('', (16., 25., -25.));
#6000 = CARTESIAN_POINT ('', (39., 25., -25.));
#6010 = CARTESIAN_POINT ('', (16., 25., 0.));
#6020 = CARTESIAN_POINT ('', (39., 25., 0.));
#6030 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#5850, #5860), (#5870, #5880), (#5890, #5900), (#5910, #5920), (#5930, #5940), (#5950, #5960), (#5970, #5980), (#5990, #6000), (#6010, #6020)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 39.2699081698724, 78.5398163397448, 117.809724509617, 157.07963267949), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#6040 = ADVANCED_FACE ('', (#5840), #6030, .T.);
#6050 = CARTESIAN_POINT ('', (0., 25., 0.));
#6060 = VERTEX_POINT ('', #6050);
#6070 = CARTESIAN_POINT ('', (0., 25., 0.));
#6080 = CARTESIAN_POINT ('', (-8.88178419700125E-16, 25., 25.));
#6090 = CARTESIAN_POINT ('', (0., 1.53080849893419E-15, 25.));
#6100 = CARTESIAN_POINT ('', (-8.88178419700125E-16, -25., 25.));
#6110 = CARTESIAN_POINT ('', (0., -25., 2.66453525910038E-15));
#6120 = CARTESIAN_POINT ('', (-8.88178419700125E-16, -25., -25.));
#6130 = CARTESIAN_POINT ('', (0., -4.59242549680257E-15, -25.));
#6140 = CARTESIAN_POINT ('', (-8.88178419700125E-16, 25., -25.));
#6150 = CARTESIAN_POINT ('', (0., 25., 0.));
#6160 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6070, #6080, #6090, #6100, #6110, #6120, #6130, #6140, #6150), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#6170 = EDGE_CURVE ('', #6060, #6060, #6160, .T.);
#6180 = ORIENTED_EDGE ('', *, *, #6170, .F.);
#6190 = EDGE_LOOP ('', (#6180));
#6200 = FACE_OUTER_BOUND ('', #6190, .T.);
#6210 = CARTESIAN_POINT ('', (0., 10., 0.));
#6220 = VERTEX_POINT ('', #6210);
#6230 = CARTESIAN_POINT ('', (0., 10., 0.));
#6240 = CARTESIAN_POINT ('', (-8.88178419700125E-16, 10., 10.));
#6250 = CARTESIAN_POINT ('', (0., 6.12323399573677E-16, 10.));
#6260 = CARTESIAN_POINT ('', (-8.88178419700125E-16, -10., 10.));
#6270 = CARTESIAN_POINT ('', (0., -10., 8.88178419700125E-16));
#6280 = CARTESIAN_POINT ('', (-8.88178419700125E-16, -10., -10.));
#6290 = CARTESIAN_POINT ('', (0., -1.83697019872103E-15, -10.));
#6300 = CARTESIAN_POINT ('', (-8.88178419700125E-16, 10., -10.));
#6310 = CARTESIAN_POINT ('', (0., 10., 0.));
#6320 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6230, #6240, #6250, #6260, #6270, #6280, #6290, #6300, #6310), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 15.707963267949, 31.4159265358979, 47.1238898038469, 62.8318530717959), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#6330 = EDGE_CURVE ('', #6220, #6220, #6320, .T.);
#6340 = ORIENTED_EDGE ('', *, *, #6330, .T.);
#6350 = EDGE_LOOP ('', (#6340));
#6360 = FACE_BOUND ('', #6350, .T.);
#6370 = CARTESIAN_POINT ('', (0., -25., -25.));
#6380 = CARTESIAN_POINT ('', (0., 25., -25.));
#6390 = CARTESIAN_POINT ('', (0., -25., 25.));
#6400 = CARTESIAN_POINT ('', (0., 25., 25.));
#6410 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6370, #6380), (#6390, #6400)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0454545454545453, 0.954545454545454), (0.0454545454545454, 0.954545454545454), .UNSPECIFIED.);
#6420 = ADVANCED_FACE ('', (#6200, #6360), #6410, .T.);
#6430 = ORIENTED_EDGE ('', *, *, #6170, .T.);
#6440 = CARTESIAN_POINT ('', (0., 25., 0.));
#6450 = CARTESIAN_POINT ('', (16., 25., 0.));
#6460 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#6440, #6450), .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 ('')
);
#6470 = EDGE_CURVE ('', #6060, #5630, #6460, .T.);
#6480 = ORIENTED_EDGE ('', *, *, #6470, .T.);
#6490 = ORIENTED_EDGE ('', *, *, #5790, .F.);
#6500 = ORIENTED_EDGE ('', *, *, #6470, .F.);
#6510 = EDGE_LOOP ('', (#6430, #6480, #6490, #6500));
#6520 = FACE_OUTER_BOUND ('', #6510, .T.);
#6530 = CARTESIAN_POINT ('', (0., 25., 0.));
#6540 = CARTESIAN_POINT ('', (16., 25., 0.));
#6550 = CARTESIAN_POINT ('', (-8.88178419700125E-16, 25., 25.));
#6560 = CARTESIAN_POINT ('', (16., 25., 25.));
#6570 = CARTESIAN_POINT ('', (0., 1.53080849893419E-15, 25.));
#6580 = CARTESIAN_POINT ('', (16., 1.53080849893419E-15, 25.));
#6590 = CARTESIAN_POINT ('', (-8.88178419700125E-16, -25., 25.));
#6600 = CARTESIAN_POINT ('', (16., -25., 25.));
#6610 = CARTESIAN_POINT ('', (0., -25., 2.66453525910038E-15));
#6620 = CARTESIAN_POINT ('', (16., -25., 2.66453525910038E-15));
#6630 = CARTESIAN_POINT ('', (-8.88178419700125E-16, -25., -25.));
#6640 = CARTESIAN_POINT ('', (16., -25., -25.));
#6650 = CARTESIAN_POINT ('', (0., -4.59242549680257E-15, -25.));
#6660 = CARTESIAN_POINT ('', (16., -4.59242549680257E-15, -25.));
#6670 = CARTESIAN_POINT ('', (-8.88178419700125E-16, 25., -25.));
#6680 = CARTESIAN_POINT ('', (16., 25., -25.));
#6690 = CARTESIAN_POINT ('', (0., 25., 0.));
#6700 = CARTESIAN_POINT ('', (16., 25., 0.));
#6710 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6530, #6540), (#6550, #6560), (#6570, #6580), (#6590, #6600), (#6610, #6620), (#6630, #6640), (#6650, #6660), (#6670, #6680), (#6690, #6700)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 39.2699081698724, 78.5398163397448, 117.809724509617, 157.07963267949), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#6720 = ADVANCED_FACE ('', (#6520), #6710, .T.);
#6730 = CARTESIAN_POINT ('', (-40., -6., 8.));
#6740 = VERTEX_POINT ('', #6730);
#6750 = CARTESIAN_POINT ('', (-7., -6., 8.));
#6760 = VERTEX_POINT ('', #6750);
#6770 = CARTESIAN_POINT ('', (-40., -6., 8.));
#6780 = CARTESIAN_POINT ('', (-7., -6., 8.));
#6790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6770, #6780), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6800 = EDGE_CURVE ('', #6740, #6760, #6790, .T.);
#6810 = ORIENTED_EDGE ('', *, *, #6800, .F.);
#6820 = CARTESIAN_POINT ('', (-40., 10., 0.));
#6830 = VERTEX_POINT ('', #6820);
#6840 = CARTESIAN_POINT ('', (-40., -6., 8.));
#6850 = CARTESIAN_POINT ('', (-40., -10., 5.));
#6860 = CARTESIAN_POINT ('', (-40., -10., 8.88178419700125E-16));
#6870 = CARTESIAN_POINT ('', (-40., -10., -10.));
#6880 = CARTESIAN_POINT ('', (-40., -1.83697019872103E-15, -10.));
#6890 = CARTESIAN_POINT ('', (-40., 10., -10.));
#6900 = CARTESIAN_POINT ('', (-40., 10., 0.));
#6910 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6840, #6850, #6860, #6870, #6880, #6890, #6900), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 3), (0.353553390593274, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.857864376269049, 0.82842712474619, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#6920 = EDGE_CURVE ('', #6740, #6830, #6910, .T.);
#6930 = ORIENTED_EDGE ('', *, *, #6920, .T.);
#6940 = CARTESIAN_POINT ('', (-40., 10., 0.));
#6950 = CARTESIAN_POINT ('', (0., 10., 0.));
#6960 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#6940, #6950), .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 ('')
);
#6970 = EDGE_CURVE ('', #6830, #6220, #6960, .T.);
#6980 = ORIENTED_EDGE ('', *, *, #6970, .T.);
#6990 = ORIENTED_EDGE ('', *, *, #6330, .F.);
#7000 = ORIENTED_EDGE ('', *, *, #6970, .F.);
#7010 = CARTESIAN_POINT ('', (-40., 6., 8.));
#7020 = VERTEX_POINT ('', #7010);
#7030 = CARTESIAN_POINT ('', (-40., 10., 0.));
#7040 = CARTESIAN_POINT ('', (-40., 10., 5.));
#7050 = CARTESIAN_POINT ('', (-40., 6., 8.));
#7060 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7030, #7040, #7050), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 0.146446609406726), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.82842712474619, 0.857864376269049))
   REPRESENTATION_ITEM ('')
);
#7070 = EDGE_CURVE ('', #6830, #7020, #7060, .T.);
#7080 = ORIENTED_EDGE ('', *, *, #7070, .T.);
#7090 = CARTESIAN_POINT ('', (-7., 6., 8.));
#7100 = VERTEX_POINT ('', #7090);
#7110 = CARTESIAN_POINT ('', (-40., 6., 8.));
#7120 = CARTESIAN_POINT ('', (-7., 6., 8.));
#7130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7110, #7120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7140 = EDGE_CURVE ('', #7020, #7100, #7130, .T.);
#7150 = ORIENTED_EDGE ('', *, *, #7140, .T.);
#7160 = CARTESIAN_POINT ('', (-7., 6., 8.));
#7170 = CARTESIAN_POINT ('', (-7., -1.77635683940025E-15, 12.5));
#7180 = CARTESIAN_POINT ('', (-7., -6., 8.));
#7190 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7160, #7170, #7180), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.8, 1.))
   REPRESENTATION_ITEM ('')
);
#7200 = EDGE_CURVE ('', #7100, #6760, #7190, .T.);
#7210 = ORIENTED_EDGE ('', *, *, #7200, .T.);
#7220 = EDGE_LOOP ('', (#6810, #6930, #6980, #6990, #7000, #7080, #7150, #7210));
#7230 = FACE_OUTER_BOUND ('', #7220, .T.);
#7240 = CARTESIAN_POINT ('', (-40., 10., 0.));
#7250 = CARTESIAN_POINT ('', (0., 10., 0.));
#7260 = CARTESIAN_POINT ('', (-40., 10., 10.));
#7270 = CARTESIAN_POINT ('', (-8.88178419700125E-16, 10., 10.));
#7280 = CARTESIAN_POINT ('', (-40., 6.12323399573677E-16, 10.));
#7290 = CARTESIAN_POINT ('', (0., 6.12323399573677E-16, 10.));
#7300 = CARTESIAN_POINT ('', (-40., -10., 10.));
#7310 = CARTESIAN_POINT ('', (-8.88178419700125E-16, -10., 10.));
#7320 = CARTESIAN_POINT ('', (-40., -10., 8.88178419700125E-16));
#7330 = CARTESIAN_POINT ('', (0., -10., 8.88178419700125E-16));
#7340 = CARTESIAN_POINT ('', (-40., -10., -10.));
#7350 = CARTESIAN_POINT ('', (-8.88178419700125E-16, -10., -10.));
#7360 = CARTESIAN_POINT ('', (-40., -1.83697019872103E-15, -10.));
#7370 = CARTESIAN_POINT ('', (0., -1.83697019872103E-15, -10.));
#7380 = CARTESIAN_POINT ('', (-40., 10., -10.));
#7390 = CARTESIAN_POINT ('', (-8.88178419700125E-16, 10., -10.));
#7400 = CARTESIAN_POINT ('', (-40., 10., 0.));
#7410 = CARTESIAN_POINT ('', (0., 10., 0.));
#7420 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#7240, #7250), (#7260, #7270), (#7280, #7290), (#7300, #7310), (#7320, #7330), (#7340, #7350), (#7360, #7370), (#7380, #7390), (#7400, #7410)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 15.707963267949, 31.4159265358979, 47.1238898038469, 62.8318530717959), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#7430 = ADVANCED_FACE ('', (#7230), #7420, .T.);
#7440 = CARTESIAN_POINT ('', (-40., 6., 8.));
#7450 = CARTESIAN_POINT ('', (-40., -6., 8.));
#7460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7440, #7450), .UNSPECIFIED., .F., .U., (2, 2), (0.2, 0.799999999999999), .UNSPECIFIED.);
#7470 = EDGE_CURVE ('', #7020, #6740, #7460, .T.);
#7480 = ORIENTED_EDGE ('', *, *, #7470, .F.);
#7490 = ORIENTED_EDGE ('', *, *, #7070, .F.);
#7500 = ORIENTED_EDGE ('', *, *, #6920, .F.);
#7510 = EDGE_LOOP ('', (#7480, #7490, #7500));
#7520 = FACE_OUTER_BOUND ('', #7510, .T.);
#7530 = CARTESIAN_POINT ('', (-40., -10., -10.));
#7540 = CARTESIAN_POINT ('', (-40., 10., -10.));
#7550 = CARTESIAN_POINT ('', (-40., -10., 8.));
#7560 = CARTESIAN_POINT ('', (-40., 10., 8.));
#7570 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7530, #7540), (#7550, #7560)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0454545454545454, 0.863636363636364), (0.0454545454545454, 0.954545454545455), .UNSPECIFIED.);
#7580 = ADVANCED_FACE ('', (#7520), #7570, .T.);
#7590 = ORIENTED_EDGE ('', *, *, #7200, .F.);
#7600 = CARTESIAN_POINT ('', (-7., -6., 8.));
#7610 = CARTESIAN_POINT ('', (-7., 6., 8.));
#7620 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7600, #7610), .UNSPECIFIED., .F., .U., (2, 2), (0.35, 0.65), .UNSPECIFIED.);
#7630 = EDGE_CURVE ('', #6760, #7100, #7620, .T.);
#7640 = ORIENTED_EDGE ('', *, *, #7630, .F.);
#7650 = EDGE_LOOP ('', (#7590, #7640));
#7660 = FACE_OUTER_BOUND ('', #7650, .T.);
#7670 = CARTESIAN_POINT ('', (-7., -6.00000000000001, 10.));
#7680 = CARTESIAN_POINT ('', (-7., -6.00000000000001, 8.));
#7690 = CARTESIAN_POINT ('', (-7., 5.99999999999999, 10.));
#7700 = CARTESIAN_POINT ('', (-7., 5.99999999999999, 8.));
#7710 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7670, #7680), (#7690, #7700)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.35, 0.65), (0.893048140924817, 1.), .UNSPECIFIED.);
#7720 = ADVANCED_FACE ('', (#7660), #7710, .T.);
#7730 = ORIENTED_EDGE ('', *, *, #7470, .T.);
#7740 = ORIENTED_EDGE ('', *, *, #6800, .T.);
#7750 = ORIENTED_EDGE ('', *, *, #7630, .T.);
#7760 = ORIENTED_EDGE ('', *, *, #7140, .F.);
#7770 = EDGE_LOOP ('', (#7730, #7740, #7750, #7760));
#7780 = FACE_OUTER_BOUND ('', #7770, .T.);
#7790 = CARTESIAN_POINT ('', (-7., -6.00000000000001, 8.));
#7800 = CARTESIAN_POINT ('', (-40., -6.00000000000001, 8.));
#7810 = CARTESIAN_POINT ('', (-7., 6., 8.));
#7820 = CARTESIAN_POINT ('', (-40., 6., 8.));
#7830 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7790, #7800), (#7810, #7820)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.35, 0.65), (0., 0.909090853994494), .UNSPECIFIED.);
#7840 = ADVANCED_FACE ('', (#7780), #7830, .T.);
#7850 = ORIENTED_EDGE ('', *, *, #290, .T.);
#7860 = CARTESIAN_POINT ('', (45.5, 5., 0.));
#7870 = VERTEX_POINT ('', #7860);
#7880 = CARTESIAN_POINT ('', (65., 5., 0.));
#7890 = CARTESIAN_POINT ('', (45.5, 5., 0.));
#7900 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7880, #7890), .UNSPECIFIED., .F., .U., (2, 2), (2.56403681958561E-5, 1.), .UNSPECIFIED.);
#7910 = EDGE_CURVE ('', #180, #7870, #7900, .T.);
#7920 = ORIENTED_EDGE ('', *, *, #7910, .T.);
#7930 = CARTESIAN_POINT ('', (45.5, 5., 0.));
#7940 = CARTESIAN_POINT ('', (45.5, 5., 5.));
#7950 = CARTESIAN_POINT ('', (45.5, 3.06161699786838E-16, 5.));
#7960 = CARTESIAN_POINT ('', (45.5, -5., 5.));
#7970 = CARTESIAN_POINT ('', (45.5, -5., 6.12323399573677E-16));
#7980 = CARTESIAN_POINT ('', (45.5, -5., -5.));
#7990 = CARTESIAN_POINT ('', (45.5, -9.18485099360515E-16, -5.));
#8000 = CARTESIAN_POINT ('', (45.5, 5., -5.));
#8010 = CARTESIAN_POINT ('', (45.5, 5., 0.));
#8020 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7930, #7940, #7950, #7960, #7970, #7980, #7990, #8000, #8010), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 7.85398163397448, 15.707963267949, 23.5619449019235, 31.4159265358979), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#8030 = EDGE_CURVE ('', #7870, #7870, #8020, .T.);
#8040 = ORIENTED_EDGE ('', *, *, #8030, .F.);
#8050 = ORIENTED_EDGE ('', *, *, #7910, .F.);
#8060 = EDGE_LOOP ('', (#7850, #7920, #8040, #8050));
#8070 = FACE_OUTER_BOUND ('', #8060, .T.);
#8080 = CARTESIAN_POINT ('', (65., 5., 0.));
#8090 = CARTESIAN_POINT ('', (45.5, 5., 0.));
#8100 = CARTESIAN_POINT ('', (65., 5., 5.));
#8110 = CARTESIAN_POINT ('', (45.5, 5., 5.));
#8120 = CARTESIAN_POINT ('', (65., 3.06161699786838E-16, 5.));
#8130 = CARTESIAN_POINT ('', (45.5, 3.06161699786838E-16, 5.));
#8140 = CARTESIAN_POINT ('', (65., -5., 5.));
#8150 = CARTESIAN_POINT ('', (45.5, -5., 5.));
#8160 = CARTESIAN_POINT ('', (65., -5., 6.12323399573677E-16));
#8170 = CARTESIAN_POINT ('', (45.5, -5., 6.12323399573677E-16));
#8180 = CARTESIAN_POINT ('', (65., -5., -5.));
#8190 = CARTESIAN_POINT ('', (45.5, -5., -5.));
#8200 = CARTESIAN_POINT ('', (65., -9.18485099360515E-16, -5.));
#8210 = CARTESIAN_POINT ('', (45.5, -9.18485099360515E-16, -5.));
#8220 = CARTESIAN_POINT ('', (65., 5., -5.));
#8230 = CARTESIAN_POINT ('', (45.5, 5., -5.));
#8240 = CARTESIAN_POINT ('', (65., 5., 0.));
#8250 = CARTESIAN_POINT ('', (45.5, 5., 0.));
#8260 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8080, #8090), (#8100, #8110), (#8120, #8130), (#8140, #8150), (#8160, #8170), (#8180, #8190), (#8200, #8210), (#8220, #8230), (#8240, #8250)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 7.85398163397448, 15.707963267949, 23.5619449019235, 31.4159265358979), (2.56403681958561E-5, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#8270 = ADVANCED_FACE ('', (#8070), #8260, .T.);
#8280 = ORIENTED_EDGE ('', *, *, #8030, .T.);
#8290 = EDGE_LOOP ('', (#8280));
#8300 = FACE_OUTER_BOUND ('', #8290, .T.);
#8310 = CARTESIAN_POINT ('', (45.5, -5., -5.));
#8320 = CARTESIAN_POINT ('', (45.5, -5., 5.));
#8330 = CARTESIAN_POINT ('', (45.5, 5., -5.));
#8340 = CARTESIAN_POINT ('', (45.5, 5., 5.));
#8350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8310, #8320), (#8330, #8340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0454545454545452, 0.954545454545455), (0.0454545454545452, 0.954545454545455), .UNSPECIFIED.);
#8360 = ADVANCED_FACE ('', (#8300), #8350, .T.);
#8370 = CARTESIAN_POINT ('', (51.040327414771, -8.66245991245126, 6.77951239140212));
#8380 = VERTEX_POINT ('', #8370);
#8390 = CARTESIAN_POINT ('', (51.040327414771, -10.2024599124513, 4.11215414774605));
#8400 = VERTEX_POINT ('', #8390);
#8410 = CARTESIAN_POINT ('', (51.040327414771, -8.66245991245126, 6.77951239140212));
#8420 = CARTESIAN_POINT ('', (50.924947404511, -8.71957794765339, 6.70653034466319));
#8430 = CARTESIAN_POINT ('', (50.813873088252, -8.77942279154756, 6.62818746202831));
#8440 = CARTESIAN_POINT ('', (50.7101050231982, -8.84218905961944, 6.54337012814851));
#8450 = CARTESIAN_POINT ('', (50.6061945527923, -8.90504146452452, 6.45843639581512));
#8460 = CARTESIAN_POINT ('', (50.5090212778101, -8.97119613943147, 6.36650241255012));
#8470 = CARTESIAN_POINT ('', (50.4238836927267, -9.0403007221746, 6.26681441026056));
#8480 = CARTESIAN_POINT ('', (50.3671561701097, -9.08634538948179, 6.20039188489777));
#8490 = CARTESIAN_POINT ('', (50.3155370193686, -9.13393309324252, 6.13017639843311));
#8500 = CARTESIAN_POINT ('', (50.2713369362451, -9.18254857050687, 6.0564677618462));
#8510 = CARTESIAN_POINT ('', (50.2270792258533, -9.23122743175039, 5.98266302527326));
#8520 = CARTESIAN_POINT ('', (50.1900080514734, -9.28129718324536, 5.90479064643895));
#8530 = CARTESIAN_POINT ('', (50.1627035901078, -9.33161077695095, 5.82417722150459));
#8540 = CARTESIAN_POINT ('', (50.1445287648256, -9.36510130301101, 5.77051804493387));
#8550 = CARTESIAN_POINT ('', (50.1305840634679, -9.39886591605219, 5.71537988097204));
#8560 = CARTESIAN_POINT ('', (50.1214432154053, -9.43239806423312, 5.65949350718437));
#8570 = CARTESIAN_POINT ('', (50.1123000895843, -9.46593856810861, 5.60359320737362));
#8580 = CARTESIAN_POINT ('', (50.1079268528501, -9.49941829957879, 5.54665530010009));
#8590 = CARTESIAN_POINT ('', (50.1085244916468, -9.53226908701277, 5.48961255944214));
#8600 = CARTESIAN_POINT ('', (50.1091221171019, -9.5651191410859, 5.43257109220608));
#8610 = CARTESIAN_POINT ('', (50.1146928186782, -9.5975166139109, 5.37511880624939));
#8620 = CARTESIAN_POINT ('', (50.1249824544184, -9.62895105407456, 5.31820473451695));
#8630 = CARTESIAN_POINT ('', (50.1352690354848, -9.66037616232754, 5.26130755880782));
#8640 = CARTESIAN_POINT ('', (50.1503124042928, -9.69100039575241, 5.20465883248204));
#8650 = CARTESIAN_POINT ('', (50.169506329866, -9.72046517060714, 5.14903455678991));
#8660 = CARTESIAN_POINT ('', (50.1886918052198, -9.749916973451, 5.0934347699565));
#8670 = CARTESIAN_POINT ('', (50.2120937505788, -9.77834261456635, 5.03861300637615));
#8680 = CARTESIAN_POINT ('', (50.2389547183664, -9.80555407581154, 4.98508869192334));
#8690 = CARTESIAN_POINT ('', (50.2658040130247, -9.83275371161147, 4.93158763784768));
#8700 = CARTESIAN_POINT ('', (50.2961920537113, -9.85883830569279, 4.8791934824351));
#8710 = CARTESIAN_POINT ('', (50.3293777550832, -9.88375208631177, 4.82819269461538));
#8720 = CARTESIAN_POINT ('', (50.3625518854903, -9.90865718016311, 4.77720968940362));
#8730 = CARTESIAN_POINT ('', (50.3986028787479, -9.93246007084313, 4.72748252736101));
#8740 = CARTESIAN_POINT ('', (50.436890579938, -9.95518527079141, 4.67913306331723));
#8750 = CARTESIAN_POINT ('', (50.5232180798144, -10.0064239096949, 4.57011924891931));
#8760 = CARTESIAN_POINT ('', (50.6212775574015, -10.0524711502091, 4.46753140489689));
#8770 = CARTESIAN_POINT ('', (50.7259139160635, -10.0941739644688, 4.3712300299848));
#8780 = CARTESIAN_POINT ('', (50.8251279478328, -10.1337157106814, 4.27991905746877));
#8790 = CARTESIAN_POINT ('', (50.9307755970244, -10.1695646616513, 4.19376890865688));
#8800 = CARTESIAN_POINT ('', (51.040327414771, -10.2024599124513, 4.11215414774605));
#8810 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#8410, #8420, #8430, #8440, #8450, #8460, #8470, #8480, #8490, #8500, #8510, #8520, #8530, #8540, #8550, #8560, #8570, #8580, #8590, #8600, #8610, #8620, #8630, #8640, #8650, #8660, #8670, #8680, #8690, #8700, #8710, #8720, #8730, #8740, #8750, #8760, #8770, #8780, #8790, #8800), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.443973605896085, 0.888556495753274, 1.18478390125012, 1.48139752267562, 1.67883414937034, 1.87631997422975, 2.07380139041647, 2.27122418049352, 2.46856005422415, 2.66581017053982, 2.86299151102596, 3.30757741243369, 3.72912457166708), .UNSPECIFIED.);
#8820 = EDGE_CURVE ('', #8380, #8400, #8810, .T.);
#8830 = ORIENTED_EDGE ('', *, *, #8820, .T.);
#8840 = CARTESIAN_POINT ('', (51.0403274147709, -10.2024599124513, 4.11215414774606));
#8850 = CARTESIAN_POINT ('', (57.5222631289668, -9.57121149881427, 3.74770270620722));
#8860 = CARTESIAN_POINT ('', (64.0448625156373, -9.52802072781817, 3.72276650294611));
#8870 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#8840, #8850, #8860), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.078476123598828, 0.47124873308446), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.998727020769873, 0.995812678491747, 0.995613897266264))
   REPRESENTATION_ITEM ('')
);
#8880 = EDGE_CURVE ('', #8400, #800, #8870, .T.);
#8890 = ORIENTED_EDGE ('', *, *, #8880, .T.);
#8900 = ORIENTED_EDGE ('', *, *, #980, .F.);
#8910 = CARTESIAN_POINT ('', (51.040327414771, -8.66245991245126, 6.77951239140212));
#8920 = CARTESIAN_POINT ('', (57.5222631289668, -8.03121149881428, 6.41506094986329));
#8930 = CARTESIAN_POINT ('', (64.0448625156373, -7.98802072781818, 6.39012474660218));
#8940 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#8910, #8920, #8930), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0784761235988297, 0.47124873308446), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.998727020769874, 0.995812678491747, 0.995613897266264))
   REPRESENTATION_ITEM ('')
);
#8950 = EDGE_CURVE ('', #8380, #650, #8940, .T.);
#8960 = ORIENTED_EDGE ('', *, *, #8950, .F.);
#8970 = EDGE_LOOP ('', (#8830, #8890, #8900, #8960));
#8980 = FACE_OUTER_BOUND ('', #8970, .T.);
#8990 = CARTESIAN_POINT ('', (50.1079268531384, -10.2963359238803, 4.16635348821508));
#9000 = CARTESIAN_POINT ('', (50.1079268531384, -8.75633592388033, 6.83371173187115));
#9010 = CARTESIAN_POINT ('', (57.0859229669249, -9.57075538894959, 3.74743937105406));
#9020 = CARTESIAN_POINT ('', (57.0859229669249, -8.0307553889496, 6.41479761471014));
#9030 = CARTESIAN_POINT ('', (64.1138601087033, -9.52758034877824, 3.72251224998886));
#9040 = CARTESIAN_POINT ('', (64.1138601087033, -7.98758034877824, 6.38987049364493));
#9050 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8990, #9000), (#9010, #9020), (#9030, #9040)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.0501257182725957, 0.47332573257656), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.999161884406242, 0.999161884406242), (0.995810578876791, 0.995810578876791), (0.995611870874264, 0.995611870874264)))
   REPRESENTATION_ITEM ('')
);
#9060 = ADVANCED_FACE ('', (#8980), #9050, .T.);
#9070 = CARTESIAN_POINT ('', (51.040327414771, -10.2024599124513, 4.11215414774605));
#9080 = CARTESIAN_POINT ('', (63.6, -10.2024599124513, 4.11215414774605));
#9090 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9070, #9080), .UNSPECIFIED., .F., .U., (2, 2), (0.219896112718693, 1.), .UNSPECIFIED.);
#9100 = EDGE_CURVE ('', #8400, #1010, #9090, .T.);
#9110 = ORIENTED_EDGE ('', *, *, #9100, .T.);
#9120 = ORIENTED_EDGE ('', *, *, #1130, .F.);
#9130 = ORIENTED_EDGE ('', *, *, #8880, .F.);
#9140 = EDGE_LOOP ('', (#9110, #9120, #9130));
#9150 = FACE_OUTER_BOUND ('', #9140, .T.);
#9160 = CARTESIAN_POINT ('', (64.0448625156373, -9.52802072781817, 3.72276650294611));
#9170 = CARTESIAN_POINT ('', (64.0448625156373, -10.2024599124513, 4.11215414774605));
#9180 = CARTESIAN_POINT ('', (51.040327414771, -9.52802072781817, 3.72276650294611));
#9190 = CARTESIAN_POINT ('', (51.040327414771, -10.2024599124513, 4.11215414774605));
#9200 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9160, #9170), (#9180, #9190)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.526238169321073, 0.883480136581982), (0.484998679275285, 0.50639207891264), .UNSPECIFIED.);
#9210 = ADVANCED_FACE ('', (#9150), #9200, .T.);
#9220 = CARTESIAN_POINT ('', (51.040327414771, -8.66245991245126, 6.77951239140212));
#9230 = CARTESIAN_POINT ('', (63.6, -8.66245991245126, 6.77951239140212));
#9240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9220, #9230), .UNSPECIFIED., .F., .U., (2, 2), (0.219896112718696, 1.), .UNSPECIFIED.);
#9250 = EDGE_CURVE ('', #8380, #570, #9240, .T.);
#9260 = ORIENTED_EDGE ('', *, *, #9250, .F.);
#9270 = ORIENTED_EDGE ('', *, *, #8950, .T.);
#9280 = ORIENTED_EDGE ('', *, *, #770, .T.);
#9290 = EDGE_LOOP ('', (#9260, #9270, #9280));
#9300 = FACE_OUTER_BOUND ('', #9290, .T.);
#9310 = CARTESIAN_POINT ('', (64.0448625156373, -7.98802072781816, 6.39012474660218));
#9320 = CARTESIAN_POINT ('', (51.040327414771, -7.98802072781816, 6.39012474660218));
#9330 = CARTESIAN_POINT ('', (64.0448625156373, -8.66245991245126, 6.77951239140212));
#9340 = CARTESIAN_POINT ('', (51.040327414771, -8.66245991245126, 6.77951239140212));
#9350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9310, #9320), (#9330, #9340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.484998679275285, 0.50639207891264), (0.526238169321073, 0.883480136581981), .UNSPECIFIED.);
#9360 = ADVANCED_FACE ('', (#9300), #9350, .T.);
#9370 = CARTESIAN_POINT ('', (51.040327414771, -10.2024599124513, -4.11215414774604));
#9380 = VERTEX_POINT ('', #9370);
#9390 = CARTESIAN_POINT ('', (51.040327414771, -8.66245991245125, -6.77951239140211));
#9400 = VERTEX_POINT ('', #9390);
#9410 = CARTESIAN_POINT ('', (51.040327414771, -10.2024599124513, -4.11215414774604));
#9420 = CARTESIAN_POINT ('', (50.9248714644662, -10.1677918209513, -4.19816741501704));
#9430 = CARTESIAN_POINT ('', (50.8137265444221, -10.1298401572931, -4.28922937341438));
#9440 = CARTESIAN_POINT ('', (50.7098997410113, -10.087736049954, -4.38606673301464));
#9450 = CARTESIAN_POINT ('', (50.6058975844682, -10.0455608329702, -4.48306764127258));
#9460 = CARTESIAN_POINT ('', (50.5086470691998, -9.99896459839808, -4.58644256978427));
#9470 = CARTESIAN_POINT ('', (50.4234655703359, -9.94711644065104, -4.69626175975421));
#9480 = CARTESIAN_POINT ('', (50.366708400601, -9.91256956452256, -4.76943523625326));
#9490 = CARTESIAN_POINT ('', (50.3150737318021, -9.87550333184037, -4.84584875302492));
#9500 = CARTESIAN_POINT ('', (50.2708806752664, -9.83592088944413, -4.92490205553334));
#9510 = CARTESIAN_POINT ('', (50.226616608733, -9.79627484544704, -5.00408238195153));
#9520 = CARTESIAN_POINT ('', (50.1895655277618, -9.75379327545296, -5.08650910584757));
#9530 = CARTESIAN_POINT ('', (50.1623167417238, -9.70905691624165, -5.17051388134487));
#9540 = CARTESIAN_POINT ('', (50.144183102841, -9.67928557223627, -5.22641773926973));
#9550 = CARTESIAN_POINT ('', (50.130293132207, -9.64836889309548, -5.2832978136688));
#9560 = CARTESIAN_POINT ('', (50.1212202080485, -9.61668898864242, -5.3403457655598));
#9570 = CARTESIAN_POINT ('', (50.1121441389309, -9.58499810294433, -5.39741349205396));
#9580 = CARTESIAN_POINT ('', (50.1078523053253, -9.55237833769512, -5.45494372380295));
#9590 = CARTESIAN_POINT ('', (50.1085424890848, -9.51935612139617, -5.51197415034223));
#9600 = CARTESIAN_POINT ('', (50.1092326784432, -9.48633363721972, -5.56900503951453));
#9610 = CARTESIAN_POINT ('', (50.1149077711118, -9.45273123820235, -5.62584282108963));
#9620 = CARTESIAN_POINT ('', (50.1253084370594, -9.41911739470436, -5.6815691058703));
#9630 = CARTESIAN_POINT ('', (50.1357055251905, -9.3855151143276, -5.73727622087686));
#9640 = CARTESIAN_POINT ('', (50.1508660651308, -9.35173112617388, -5.79215784076005));
#9650 = CARTESIAN_POINT ('', (50.1701789319991, -9.31825855265038, -5.84551602050338));
#9660 = CARTESIAN_POINT ('', (50.1894812228004, -9.28480430929936, -5.89884498036503));
#9670 = CARTESIAN_POINT ('', (50.2130012942143, -9.25151452456526, -5.95088959435562));
#9680 = CARTESIAN_POINT ('', (50.2399786985342, -9.21874436658281, -6.001229232716));
#9690 = CARTESIAN_POINT ('', (50.2669407056811, -9.1859929119488, -6.05154014006458));
#9700 = CARTESIAN_POINT ('', (50.2974391011213, -9.15364557173889, -6.10032746178088));
#9710 = CARTESIAN_POINT ('', (50.3307317585013, -9.12192155112192, -6.1474016637257));
#9720 = CARTESIAN_POINT ('', (50.3640082150091, -9.09021296804717, -6.19445295842341));
#9730 = CARTESIAN_POINT ('', (50.4001574584394, -9.05904291207901, -6.23991946374073));
#9740 = CARTESIAN_POINT ('', (50.438539541126, -9.02852827567011, -6.28376297893428));
#9750 = CARTESIAN_POINT ('', (50.5251370247391, -8.95968128922706, -6.38268252218879));
#9760 = CARTESIAN_POINT ('', (50.6234617659289, -8.89381423054619, -6.47387747975521));
#9770 = CARTESIAN_POINT ('', (50.7283565579856, -8.83122441980502, -6.55816096531943));
#9780 = CARTESIAN_POINT ('', (50.8268616896103, -8.77244726390873, -6.63731032704187));
#9790 = CARTESIAN_POINT ('', (50.9316726523311, -8.71624866261637, -6.71078430814983));
#9800 = CARTESIAN_POINT ('', (51.040327414771, -8.66245991245125, -6.77951239140211));
#9810 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#9410, #9420, #9430, #9440, #9450, #9460, #9470, #9480, #9490, #9500, #9510, #9520, #9530, #9540, #9550, #9560, #9570, #9580, #9590, #9600, #9610, #9620, #9630, #9640, #9650, #9660, #9670, #9680, #9690, #9700, #9710, #9720, #9730, #9740, #9750, #9760, #9770, #9780, #9790, #9800), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.444265817479859, 0.889281955687236, 1.18580005912369, 1.48279461183709, 1.68043981927986, 1.87815353672892, 2.07586885803925, 2.2735161655198, 2.47105523784378, 2.66848156606382, 2.86581182268833, 3.3110274667675, 3.7291228246162), .UNSPECIFIED.);
#9820 = EDGE_CURVE ('', #9380, #9400, #9810, .T.);
#9830 = ORIENTED_EDGE ('', *, *, #9820, .T.);
#9840 = CARTESIAN_POINT ('', (51.040327414771, -8.66245991245126, -6.77951239140212));
#9850 = CARTESIAN_POINT ('', (57.5222631289668, -8.03121149881428, -6.41506094986328));
#9860 = CARTESIAN_POINT ('', (64.0448625156373, -7.98802072781818, -6.39012474660218));
#9870 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#9840, #9850, #9860), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0784761235988301, 0.471248733084461), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.998727020769874, 0.995812678491747, 0.995613897266263))
   REPRESENTATION_ITEM ('')
);
#9880 = EDGE_CURVE ('', #9400, #1410, #9870, .T.);
#9890 = ORIENTED_EDGE ('', *, *, #9880, .T.);
#9900 = ORIENTED_EDGE ('', *, *, #1590, .F.);
#9910 = CARTESIAN_POINT ('', (51.040327414771, -10.2024599124513, -4.11215414774605));
#9920 = CARTESIAN_POINT ('', (57.5222631289668, -9.57121149881428, -3.74770270620721));
#9930 = CARTESIAN_POINT ('', (64.0448625156373, -9.52802072781818, -3.72276650294611));
#9940 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#9910, #9920, #9930), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0784761235988298, 0.471248733084461), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.998727020769873, 0.995812678491747, 0.995613897266264))
   REPRESENTATION_ITEM ('')
);
#9950 = EDGE_CURVE ('', #9380, #1260, #9940, .T.);
#9960 = ORIENTED_EDGE ('', *, *, #9950, .F.);
#9970 = EDGE_LOOP ('', (#9830, #9890, #9900, #9960));
#9980 = FACE_OUTER_BOUND ('', #9970, .T.);
#9990 = CARTESIAN_POINT ('', (50.1078523056991, -8.75634367543355, -6.83371620723249));
#10000 = CARTESIAN_POINT ('', (50.1078523056991, -10.2963436754336, -4.16635796357641));
#10010 = CARTESIAN_POINT ('', (57.0858898819551, -8.03075514465586, -6.41479747366708));
#10020 = CARTESIAN_POINT ('', (57.0858898819551, -9.57075514465586, -3.74743923001101));
#10030 = CARTESIAN_POINT ('', (64.1138692937875, -7.9875802923514, -6.38987046106687));
#10040 = CARTESIAN_POINT ('', (64.1138692937875, -9.5275802923514, -3.7225122174108));
#10050 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#9990, #10000), (#10010, #10020), (#10030, #10040)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.0501234500961755, 0.473326009069651), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.999161920329546, 0.999161920329546), (0.995810577752233, 0.995810577752233), (0.995611870614618, 0.995611870614618)))
   REPRESENTATION_ITEM ('')
);
#10060 = ADVANCED_FACE ('', (#9980), #10050, .T.);
#10070 = CARTESIAN_POINT ('', (51.040327414771, -8.66245991245126, -6.77951239140212));
#10080 = CARTESIAN_POINT ('', (63.6, -8.66245991245126, -6.77951239140212));
#10090 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10070, #10080), .UNSPECIFIED., .F., .U., (2, 2), (0.219896112718696, 1.), .UNSPECIFIED.);
#10100 = EDGE_CURVE ('', #9400, #1620, #10090, .T.);
#10110 = ORIENTED_EDGE ('', *, *, #10100, .T.);
#10120 = ORIENTED_EDGE ('', *, *, #1740, .F.);
#10130 = ORIENTED_EDGE ('', *, *, #9880, .F.);
#10140 = EDGE_LOOP ('', (#10110, #10120, #10130));
#10150 = FACE_OUTER_BOUND ('', #10140, .T.);
#10160 = CARTESIAN_POINT ('', (64.0448625156373, -7.98802072781816, -6.39012474660216));
#10170 = CARTESIAN_POINT ('', (64.0448625156373, -8.66245991245126, -6.77951239140212));
#10180 = CARTESIAN_POINT ('', (51.040327414771, -7.98802072781816, -6.39012474660216));
#10190 = CARTESIAN_POINT ('', (51.040327414771, -8.66245991245126, -6.77951239140212));
#10200 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10160, #10170), (#10180, #10190)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.526238169321073, 0.883480136581981), (0.484998679275285, 0.50639207891264), .UNSPECIFIED.);
#10210 = ADVANCED_FACE ('', (#10150), #10200, .T.);
#10220 = CARTESIAN_POINT ('', (51.040327414771, -10.2024599124513, -4.11215414774605));
#10230 = CARTESIAN_POINT ('', (63.6, -10.2024599124513, -4.11215414774605));
#10240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10220, #10230), .UNSPECIFIED., .F., .U., (2, 2), (0.219896112718696, 1.), .UNSPECIFIED.);
#10250 = EDGE_CURVE ('', #9380, #1160, #10240, .T.);
#10260 = ORIENTED_EDGE ('', *, *, #10250, .F.);
#10270 = ORIENTED_EDGE ('', *, *, #9950, .T.);
#10280 = ORIENTED_EDGE ('', *, *, #1380, .T.);
#10290 = EDGE_LOOP ('', (#10260, #10270, #10280));
#10300 = FACE_OUTER_BOUND ('', #10290, .T.);
#10310 = CARTESIAN_POINT ('', (64.0448625156373, -9.52802072781816, -3.72276650294609));
#10320 = CARTESIAN_POINT ('', (51.040327414771, -9.52802072781816, -3.72276650294609));
#10330 = CARTESIAN_POINT ('', (64.0448625156373, -10.2024599124513, -4.11215414774605));
#10340 = CARTESIAN_POINT ('', (51.040327414771, -10.2024599124513, -4.11215414774605));
#10350 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10310, #10320), (#10330, #10340)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.484998679275285, 0.50639207891264), (0.526238169321073, 0.883480136581981), .UNSPECIFIED.);
#10360 = ADVANCED_FACE ('', (#10300), #10350, .T.);
#10370 = CARTESIAN_POINT ('', (51.040327414771, -1.53999999999999, -10.8916665391482));
#10380 = VERTEX_POINT ('', #10370);
#10390 = CARTESIAN_POINT ('', (51.040327414771, 1.54, -10.8916665391482));
#10400 = VERTEX_POINT ('', #10390);
#10410 = CARTESIAN_POINT ('', (51.040327414771, -1.53999999999999, -10.8916665391482));
#10420 = CARTESIAN_POINT ('', (50.9635072808008, -1.47890388088188, -10.9003050723886));
#10430 = CARTESIAN_POINT ('', (50.8886594819048, -1.41517407906213, -10.9087944497951));
#10440 = CARTESIAN_POINT ('', (50.8165854152715, -1.34849437167077, -10.9170308660172));
#10450 = CARTESIAN_POINT ('', (50.7444995232661, -1.28180372397328, -10.9252686336087));
#10460 = CARTESIAN_POINT ('', (50.6750544084332, -1.21203864512753, -10.9332687916676));
#10470 = CARTESIAN_POINT ('', (50.6094211013653, -1.13892083099142, -10.9408801904021));
#10480 = CARTESIAN_POINT ('', (50.5437663502055, -1.06577912738232, -10.9484940759767));
#10490 = CARTESIAN_POINT ('', (50.4817385078805, -0.989063308082034, -10.9557407981178));
#10500 = CARTESIAN_POINT ('', (50.4250325692672, -0.90869983953474, -10.9624023189094));
#10510 = CARTESIAN_POINT ('', (50.368292036568, -0.828287344363347, -10.9690679036355));
#10520 = CARTESIAN_POINT ('', (50.3166378465788, -0.743829844133334, -10.9751759701995));
#10530 = CARTESIAN_POINT ('', (50.2723696460025, -0.655836707015763, -10.9804316041643));
#10540 = CARTESIAN_POINT ('', (50.2280581056948, -0.567757422305128, -10.9856923835329));
#10550 = CARTESIAN_POINT ('', (50.1908956859334, -0.475470920193969, -10.9901284564862));
#10560 = CARTESIAN_POINT ('', (50.1634536965713, -0.380680035955769, -10.9934108769856));
#10570 = CARTESIAN_POINT ('', (50.1451830796898, -0.31756916207095, -10.9955962814982));
#10580 = CARTESIAN_POINT ('', (50.1311243038591, -0.253038059196944, -10.9972818169092));
#10590 = CARTESIAN_POINT ('', (50.1218531705188, -0.187965921145152, -10.9983939196815));
#10600 = CARTESIAN_POINT ('', (50.1156773735708, -0.144619299235095, -10.999134726728));
#10610 = CARTESIAN_POINT ('', (50.11160110663, -0.100913903556773, -10.9996241034136));
#10620 = CARTESIAN_POINT ('', (50.1097072838313, -0.0571648391391442, -10.9998514617774));
#10630 = CARTESIAN_POINT ('', (50.1088658607309, -0.0377271845480194, -10.999952476814));
#10640 = CARTESIAN_POINT ('', (50.1084530619854, -0.0182658823399203, -11.0000020408111));
#10650 = CARTESIAN_POINT ('', (50.1084705961883, 0.0011902298358233, -10.9999999356069));
#10660 = CARTESIAN_POINT ('', (50.1085300675875, 0.0671802390257541, -10.9999927953089));
#10670 = CARTESIAN_POINT ('', (50.1135872013138, 0.133343430424085, -10.9993853346224));
#10680 = CARTESIAN_POINT ('', (50.123409368097, 0.198587756440018, -10.9982072585942));
#10690 = CARTESIAN_POINT ('', (50.1332278575732, 0.26380765572603, -10.9970296236243));
#10700 = CARTESIAN_POINT ('', (50.1478468358708, 0.328445195908194, -10.9952772088138));
#10710 = CARTESIAN_POINT ('', (50.166669148473, 0.391628095666065, -10.9930263091966));
#10720 = CARTESIAN_POINT ('', (50.1854790861851, 0.454769455287032, -10.9907768894526));
#10730 = CARTESIAN_POINT ('', (50.2085556768583, 0.516741824019873, -10.9880215186955));
#10740 = CARTESIAN_POINT ('', (50.2351394490221, 0.576982972198502, -10.9848573340668));
#10750 = CARTESIAN_POINT ('', (50.2617039977871, 0.637180558477528, -10.9816954375402));
#10760 = CARTESIAN_POINT ('', (50.2918535652795, 0.695866936140395, -10.9781155281923));
#10770 = CARTESIAN_POINT ('', (50.3248396090674, 0.75275381719262, -10.9742134884784));
#10780 = CARTESIAN_POINT ('', (50.3578043688767, 0.809603992443982, -10.9703139665242));
#10790 = CARTESIAN_POINT ('', (50.3936837972521, 0.864812466886731, -10.9660830809555));
#10800 = CARTESIAN_POINT ('', (50.431829344639, 0.918279088727353, -10.9616040575824));
#10810 = CARTESIAN_POINT ('', (50.4890982997596, 0.998549992578478, -10.9548795771092));
#10820 = CARTESIAN_POINT ('', (50.5516457819003, 1.07516121081648, -10.9475760760078));
#10830 = CARTESIAN_POINT ('', (50.6177880576489, 1.14820094758114, -10.9399101725733));
#10840 = CARTESIAN_POINT ('', (50.6838621827746, 1.22116542682708, -10.9322521678102));
#10850 = CARTESIAN_POINT ('', (50.753709732556, 1.29078090236617, -10.9242108223821));
#10860 = CARTESIAN_POINT ('', (50.8261722781652, 1.35733127288942, -10.9159356820951));
#10870 = CARTESIAN_POINT ('', (50.8952889620701, 1.42080876853269, -10.908042635409));
#10880 = CARTESIAN_POINT ('', (50.966905227563, 1.481606315119, -10.8999229684461));
#10890 = CARTESIAN_POINT ('', (51.040327414771, 1.54, -10.8916665391482));
#10900 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#10410, #10420, #10430, #10440, #10450, #10460, #10470, #10480, #10490, #10500, #10510, #10520, #10530, #10540, #10550, #10560, #10570, #10580, #10590, #10600, #10610, #10620, #10630, #10640, #10650, #10660, #10670, #10680, #10690, #10700, #10710, #10720, #10730, #10740, #10750, #10760, #10770, #10780, #10790, #10800, #10810, #10820, #10830, #10840, #10850, #10860, #10870, #10880, #10890), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.295598100635526, 0.591244700789733, 0.886987896302402, 1.18291151322717, 1.47912484714766, 1.67634088232126, 1.80771275924448, 1.8660811198166, 2.06405122894034, 2.26194722031801, 2.4597131032865, 2.65733597673743, 2.85483133562428, 3.15133652743361, 3.44753621095374, 3.73005926788578), .UNSPECIFIED.);
#10910 = EDGE_CURVE ('', #10380, #10400, #10900, .T.);
#10920 = ORIENTED_EDGE ('', *, *, #10910, .T.);
#10930 = CARTESIAN_POINT ('', (51.040327414771, 1.54, -10.8916665391482));
#10940 = CARTESIAN_POINT ('', (57.5222631289668, 1.54, -10.1627636560705));
#10950 = CARTESIAN_POINT ('', (64.0448625156373, 1.54, -10.1128912495483));
#10960 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#10930, #10940, #10950), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0784761235988302, 0.47124873308446), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.998727020769873, 0.995812678491747, 0.995613897266263))
   REPRESENTATION_ITEM ('')
);
#10970 = EDGE_CURVE ('', #10400, #2000, #10960, .T.);
#10980 = ORIENTED_EDGE ('', *, *, #10970, .T.);
#10990 = ORIENTED_EDGE ('', *, *, #2300, .F.);
#11000 = CARTESIAN_POINT ('', (51.040327414771, -1.54, -10.8916665391482));
#11010 = CARTESIAN_POINT ('', (57.5222631289668, -1.54, -10.1627636560705));
#11020 = CARTESIAN_POINT ('', (64.0448625156373, -1.54, -10.1128912495483));
#11030 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#11000, #11010, #11020), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0784761235988298, 0.47124873308446), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.998727020769873, 0.995812678491747, 0.995613897266263))
   REPRESENTATION_ITEM ('')
);
#11040 = EDGE_CURVE ('', #10380, #1850, #11030, .T.);
#11050 = ORIENTED_EDGE ('', *, *, #11040, .F.);
#11060 = EDGE_LOOP ('', (#10920, #10980, #10990, #11050));
#11070 = FACE_OUTER_BOUND ('', #11060, .T.);
#11080 = CARTESIAN_POINT ('', (50.1084530619856, 1.54, -11.0000020408123));
#11090 = CARTESIAN_POINT ('', (50.1084530619856, -1.54, -11.0000020408123));
#11100 = CARTESIAN_POINT ('', (57.085493839582, 1.54, -10.1623185381662));
#11110 = CARTESIAN_POINT ('', (57.085493839582, -1.54, -10.1623185381662));
#11120 = CARTESIAN_POINT ('', (64.1124646712111, 1.54, -10.1123926502758));
#11130 = CARTESIAN_POINT ('', (64.1124646712111, -1.54, -10.1123926502758));
#11140 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#11080, #11090), (#11100, #11110), (#11120, #11130)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.0501417286679919, 0.473283726554786), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.999161630839276, 0.999161630839276), (0.995810903991641, 0.995810903991641), (0.995611910352074, 0.995611910352074)))
   REPRESENTATION_ITEM ('')
);
#11150 = ADVANCED_FACE ('', (#11070), #11140, .T.);
#11160 = CARTESIAN_POINT ('', (51.040327414771, 1.54, -10.8916665391482));
#11170 = CARTESIAN_POINT ('', (63.6, 1.54, -10.8916665391482));
#11180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11160, #11170), .UNSPECIFIED., .F., .U., (2, 2), (0.219896112718696, 1.), .UNSPECIFIED.);
#11190 = EDGE_CURVE ('', #10400, #2330, #11180, .T.);
#11200 = ORIENTED_EDGE ('', *, *, #11190, .T.);
#11210 = ORIENTED_EDGE ('', *, *, #2450, .F.);
#11220 = ORIENTED_EDGE ('', *, *, #10970, .F.);
#11230 = EDGE_LOOP ('', (#11200, #11210, #11220));
#11240 = FACE_OUTER_BOUND ('', #11230, .T.);
#11250 = CARTESIAN_POINT ('', (64.0448625156373, 1.53999999999999, -10.1128912495483));
#11260 = CARTESIAN_POINT ('', (64.0448625156373, 1.54, -10.8916665391482));
#11270 = CARTESIAN_POINT ('', (51.040327414771, 1.53999999999999, -10.1128912495483));
#11280 = CARTESIAN_POINT ('', (51.040327414771, 1.54, -10.8916665391482));
#11290 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11250, #11260), (#11270, #11280)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.526238169321073, 0.88348013658198), (0.484998679275285, 0.50639207891264), .UNSPECIFIED.);
#11300 = ADVANCED_FACE ('', (#11240), #11290, .T.);
#11310 = CARTESIAN_POINT ('', (51.040327414771, -1.54, -10.8916665391482));
#11320 = CARTESIAN_POINT ('', (63.6, -1.54, -10.8916665391482));
#11330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11310, #11320), .UNSPECIFIED., .F., .U., (2, 2), (0.219896112718696, 1.), .UNSPECIFIED.);
#11340 = EDGE_CURVE ('', #10380, #1770, #11330, .T.);
#11350 = ORIENTED_EDGE ('', *, *, #11340, .F.);
#11360 = ORIENTED_EDGE ('', *, *, #11040, .T.);
#11370 = ORIENTED_EDGE ('', *, *, #1970, .T.);
#11380 = EDGE_LOOP ('', (#11350, #11360, #11370));
#11390 = FACE_OUTER_BOUND ('', #11380, .T.);
#11400 = CARTESIAN_POINT ('', (64.0448625156373, -1.54000000000001, -10.1128912495483));
#11410 = CARTESIAN_POINT ('', (51.040327414771, -1.54000000000001, -10.1128912495483));
#11420 = CARTESIAN_POINT ('', (64.0448625156373, -1.54, -10.8916665391482));
#11430 = CARTESIAN_POINT ('', (51.040327414771, -1.54, -10.8916665391482));
#11440 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11400, #11410), (#11420, #11430)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.484998679275285, 0.50639207891264), (0.526238169321073, 0.883480136581981), .UNSPECIFIED.);
#11450 = ADVANCED_FACE ('', (#11390), #11440, .T.);
#11460 = ORIENTED_EDGE ('', *, *, #2890, .F.);
#11470 = CARTESIAN_POINT ('', (51.040327414771, 8.66245991245125, -6.77951239140213));
#11480 = VERTEX_POINT ('', #11470);
#11490 = CARTESIAN_POINT ('', (51.040327414771, 8.66245991245125, -6.77951239140213));
#11500 = CARTESIAN_POINT ('', (57.5222631289668, 8.03121149881427, -6.41506094986329));
#11510 = CARTESIAN_POINT ('', (64.0448625156373, 7.98802072781817, -6.39012474660219));
#11520 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#11490, #11500, #11510), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0784761235988298, 0.47124873308446), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.998727020769874, 0.995812678491747, 0.995613897266264))
   REPRESENTATION_ITEM ('')
);
#11530 = EDGE_CURVE ('', #11480, #2560, #11520, .T.);
#11540 = ORIENTED_EDGE ('', *, *, #11530, .F.);
#11550 = CARTESIAN_POINT ('', (51.040327414771, 10.2024599124513, -4.11215414774605));
#11560 = VERTEX_POINT ('', #11550);
#11570 = CARTESIAN_POINT ('', (51.040327414771, 8.66245991245125, -6.77951239140213));
#11580 = CARTESIAN_POINT ('', (50.924947404511, 8.71957794765339, -6.7065303446632));
#11590 = CARTESIAN_POINT ('', (50.813873088252, 8.77942279154755, -6.62818746202833));
#11600 = CARTESIAN_POINT ('', (50.7101050231982, 8.84218905961943, -6.54337012814853));
#11610 = CARTESIAN_POINT ('', (50.6061945527923, 8.90504146452451, -6.45843639581515));
#11620 = CARTESIAN_POINT ('', (50.5090212778101, 8.97119613943146, -6.36650241255013));
#11630 = CARTESIAN_POINT ('', (50.4238836927267, 9.0403007221746, -6.26681441026057));
#11640 = CARTESIAN_POINT ('', (50.3671561701097, 9.08634538948178, -6.20039188489779));
#11650 = CARTESIAN_POINT ('', (50.3155370193686, 9.13393309324251, -6.13017639843311));
#11660 = CARTESIAN_POINT ('', (50.2713369362451, 9.18254857050686, -6.0564677618462));
#11670 = CARTESIAN_POINT ('', (50.2270792258534, 9.23122743175038, -5.98266302527326));
#11680 = CARTESIAN_POINT ('', (50.1900080514735, 9.28129718324537, -5.90479064643894));
#11690 = CARTESIAN_POINT ('', (50.1627035901079, 9.33161077695095, -5.82417722150457));
#11700 = CARTESIAN_POINT ('', (50.1445287648257, 9.36510130301101, -5.77051804493386));
#11710 = CARTESIAN_POINT ('', (50.1305840634679, 9.39886591605219, -5.71537988097204));
#11720 = CARTESIAN_POINT ('', (50.1214432154053, 9.43239806423311, -5.65949350718438));
#11730 = CARTESIAN_POINT ('', (50.1123000895843, 9.46593856810861, -5.60359320737362));
#11740 = CARTESIAN_POINT ('', (50.10792685285, 9.4994182995788, -5.54665530010008));
#11750 = CARTESIAN_POINT ('', (50.1085244916468, 9.53226908701277, -5.48961255944213));
#11760 = CARTESIAN_POINT ('', (50.1091221171019, 9.56511914108591, -5.43257109220607));
#11770 = CARTESIAN_POINT ('', (50.1146928186781, 9.59751661391091, -5.37511880624938));
#11780 = CARTESIAN_POINT ('', (50.1249824544183, 9.62895105407457, -5.31820473451695));
#11790 = CARTESIAN_POINT ('', (50.1352690354847, 9.66037616232755, -5.26130755880781));
#11800 = CARTESIAN_POINT ('', (50.1503124042928, 9.6910003957524, -5.20465883248204));
#11810 = CARTESIAN_POINT ('', (50.169506329866, 9.72046517060714, -5.1490345567899));
#11820 = CARTESIAN_POINT ('', (50.1886918052198, 9.749916973451, -5.0934347699565));
#11830 = CARTESIAN_POINT ('', (50.2120937505789, 9.77834261456633, -5.03861300637616));
#11840 = CARTESIAN_POINT ('', (50.2389547183664, 9.80555407581153, -4.98508869192335));
#11850 = CARTESIAN_POINT ('', (50.2658040130247, 9.83275371161146, -4.93158763784769));
#11860 = CARTESIAN_POINT ('', (50.2961920537113, 9.8588383056928, -4.87919348243507));
#11870 = CARTESIAN_POINT ('', (50.3293777550831, 9.88375208631178, -4.82819269461535));
#11880 = CARTESIAN_POINT ('', (50.3625518854903, 9.90865718016312, -4.77720968940359));
#11890 = CARTESIAN_POINT ('', (50.398602878748, 9.93246007084312, -4.72748252736102));
#11900 = CARTESIAN_POINT ('', (50.4368905799381, 9.95518527079141, -4.67913306331723));
#11910 = CARTESIAN_POINT ('', (50.5232180798144, 10.0064239096949, -4.57011924891932));
#11920 = CARTESIAN_POINT ('', (50.6212775574015, 10.0524711502092, -4.46753140489685));
#11930 = CARTESIAN_POINT ('', (50.7259139160634, 10.0941739644688, -4.37123002998477));
#11940 = CARTESIAN_POINT ('', (50.8251279478328, 10.1337157106814, -4.27991905746873));
#11950 = CARTESIAN_POINT ('', (50.9307755970244, 10.1695646616513, -4.19376890865688));
#11960 = CARTESIAN_POINT ('', (51.040327414771, 10.2024599124513, -4.11215414774605));
#11970 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#11570, #11580, #11590, #11600, #11610, #11620, #11630, #11640, #11650, #11660, #11670, #11680, #11690, #11700, #11710, #11720, #11730, #11740, #11750, #11760, #11770, #11780, #11790, #11800, #11810, #11820, #11830, #11840, #11850, #11860, #11870, #11880, #11890, #11900, #11910, #11920, #11930, #11940, #11950, #11960), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.443973605896076, 0.888556495753265, 1.18478390125011, 1.48139752267561, 1.67883414937032, 1.87631997422975, 2.07380139041646, 2.27122418049353, 2.46856005422416, 2.66581017053983, 2.86299151102598, 3.3075774124337, 3.7291245716671), .UNSPECIFIED.);
#11980 = EDGE_CURVE ('', #11480, #11560, #11970, .T.);
#11990 = ORIENTED_EDGE ('', *, *, #11980, .T.);
#12000 = CARTESIAN_POINT ('', (51.040327414771, 10.2024599124513, -4.11215414774606));
#12010 = CARTESIAN_POINT ('', (57.5222631289668, 9.57121149881427, -3.74770270620722));
#12020 = CARTESIAN_POINT ('', (64.0448625156373, 9.52802072781817, -3.72276650294612));
#12030 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#12000, #12010, #12020), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0784761235988291, 0.47124873308446), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.998727020769873, 0.995812678491747, 0.995613897266264))
   REPRESENTATION_ITEM ('')
);
#12040 = EDGE_CURVE ('', #11560, #2710, #12030, .T.);
#12050 = ORIENTED_EDGE ('', *, *, #12040, .T.);
#12060 = EDGE_LOOP ('', (#11460, #11540, #11990, #12050));
#12070 = FACE_OUTER_BOUND ('', #12060, .T.);
#12080 = CARTESIAN_POINT ('', (50.1079268531384, 10.2963359238803, -4.16635348821509));
#12090 = CARTESIAN_POINT ('', (50.1079268531384, 8.75633592388033, -6.83371173187115));
#12100 = CARTESIAN_POINT ('', (57.0859229669249, 9.5707553889496, -3.74743937105407));
#12110 = CARTESIAN_POINT ('', (57.0859229669249, 8.03075538894959, -6.41479761471014));
#12120 = CARTESIAN_POINT ('', (64.1138601087033, 9.52758034877824, -3.72251224998886));
#12130 = CARTESIAN_POINT ('', (64.1138601087033, 7.98758034877824, -6.38987049364493));
#12140 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#12080, #12090), (#12100, #12110), (#12120, #12130)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.0501257182725952, 0.47332573257656), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.999161884406242, 0.999161884406242), (0.995810578876791, 0.995810578876791), (0.995611870874264, 0.995611870874264)))
   REPRESENTATION_ITEM ('')
);
#12150 = ADVANCED_FACE ('', (#12070), #12140, .T.);
#12160 = ORIENTED_EDGE ('', *, *, #2680, .T.);
#12170 = CARTESIAN_POINT ('', (51.040327414771, 8.66245991245126, -6.77951239140213));
#12180 = CARTESIAN_POINT ('', (63.6, 8.66245991245126, -6.77951239140213));
#12190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12170, #12180), .UNSPECIFIED., .F., .U., (2, 2), (0.219896112718696, 1.), .UNSPECIFIED.);
#12200 = EDGE_CURVE ('', #11480, #2480, #12190, .T.);
#12210 = ORIENTED_EDGE ('', *, *, #12200, .F.);
#12220 = ORIENTED_EDGE ('', *, *, #11530, .T.);
#12230 = EDGE_LOOP ('', (#12160, #12210, #12220));
#12240 = FACE_OUTER_BOUND ('', #12230, .T.);
#12250 = CARTESIAN_POINT ('', (64.0448625156373, 7.98802072781816, -6.39012474660218));
#12260 = CARTESIAN_POINT ('', (51.040327414771, 7.98802072781816, -6.39012474660218));
#12270 = CARTESIAN_POINT ('', (64.0448625156373, 8.66245991245125, -6.77951239140213));
#12280 = CARTESIAN_POINT ('', (51.040327414771, 8.66245991245125, -6.77951239140213));
#12290 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12250, #12260), (#12270, #12280)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.484998679275285, 0.50639207891264), (0.526238169321073, 0.883480136581981), .UNSPECIFIED.);
#12300 = ADVANCED_FACE ('', (#12240), #12290, .T.);
#12310 = ORIENTED_EDGE ('', *, *, #3040, .F.);
#12320 = ORIENTED_EDGE ('', *, *, #12040, .F.);
#12330 = CARTESIAN_POINT ('', (51.040327414771, 10.2024599124513, -4.11215414774606));
#12340 = CARTESIAN_POINT ('', (63.6, 10.2024599124513, -4.11215414774606));
#12350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12330, #12340), .UNSPECIFIED., .F., .U., (2, 2), (0.219896112718695, 1.), .UNSPECIFIED.);
#12360 = EDGE_CURVE ('', #11560, #2920, #12350, .T.);
#12370 = ORIENTED_EDGE ('', *, *, #12360, .T.);
#12380 = EDGE_LOOP ('', (#12310, #12320, #12370));
#12390 = FACE_OUTER_BOUND ('', #12380, .T.);
#12400 = CARTESIAN_POINT ('', (64.0448625156373, 9.52802072781817, -3.72276650294612));
#12410 = CARTESIAN_POINT ('', (64.0448625156373, 10.2024599124513, -4.11215414774606));
#12420 = CARTESIAN_POINT ('', (51.040327414771, 9.52802072781817, -3.72276650294612));
#12430 = CARTESIAN_POINT ('', (51.040327414771, 10.2024599124513, -4.11215414774606));
#12440 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12400, #12410), (#12420, #12430)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.526238169321073, 0.883480136581981), (0.484998679275285, 0.50639207891264), .UNSPECIFIED.);
#12450 = ADVANCED_FACE ('', (#12390), #12440, .T.);
#12460 = ORIENTED_EDGE ('', *, *, #3630, .F.);
#12470 = CARTESIAN_POINT ('', (51.040327414771, 10.2024599124513, 4.11215414774604));
#12480 = VERTEX_POINT ('', #12470);
#12490 = CARTESIAN_POINT ('', (51.040327414771, 10.2024599124513, 4.11215414774604));
#12500 = CARTESIAN_POINT ('', (57.5222631289668, 9.57121149881428, 3.74770270620721));
#12510 = CARTESIAN_POINT ('', (64.0448625156373, 9.52802072781818, 3.7227665029461));
#12520 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#12490, #12500, #12510), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0784761235988296, 0.47124873308446), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.998727020769874, 0.995812678491747, 0.995613897266263))
   REPRESENTATION_ITEM ('')
);
#12530 = EDGE_CURVE ('', #12480, #3300, #12520, .T.);
#12540 = ORIENTED_EDGE ('', *, *, #12530, .F.);
#12550 = CARTESIAN_POINT ('', (51.040327414771, 8.66245991245126, 6.77951239140212));
#12560 = VERTEX_POINT ('', #12550);
#12570 = CARTESIAN_POINT ('', (51.040327414771, 10.2024599124513, 4.11215414774604));
#12580 = CARTESIAN_POINT ('', (50.9248714644662, 10.1677918209513, 4.19816741501704));
#12590 = CARTESIAN_POINT ('', (50.8137265444221, 10.1298401572931, 4.28922937341439));
#12600 = CARTESIAN_POINT ('', (50.7098997410113, 10.087736049954, 4.38606673301464));
#12610 = CARTESIAN_POINT ('', (50.6058975844682, 10.0455608329702, 4.48306764127258));
#12620 = CARTESIAN_POINT ('', (50.5086470691998, 9.99896459839807, 4.58644256978429));
#12630 = CARTESIAN_POINT ('', (50.4234655703359, 9.94711644065103, 4.69626175975423));
#12640 = CARTESIAN_POINT ('', (50.3667084006011, 9.91256956452255, 4.76943523625328));
#12650 = CARTESIAN_POINT ('', (50.3150737318021, 9.87550333184037, 4.84584875302493));
#12660 = CARTESIAN_POINT ('', (50.2708806752664, 9.83592088944413, 4.92490205553334));
#12670 = CARTESIAN_POINT ('', (50.226616608733, 9.79627484544705, 5.00408238195153));
#12680 = CARTESIAN_POINT ('', (50.1895655277618, 9.75379327545296, 5.08650910584758));
#12690 = CARTESIAN_POINT ('', (50.1623167417238, 9.70905691624165, 5.17051388134487));
#12700 = CARTESIAN_POINT ('', (50.144183102841, 9.67928557223628, 5.22641773926973));
#12710 = CARTESIAN_POINT ('', (50.130293132207, 9.64836889309549, 5.28329781366879));
#12720 = CARTESIAN_POINT ('', (50.1212202080484, 9.61668898864243, 5.34034576555979));
#12730 = CARTESIAN_POINT ('', (50.1121441389308, 9.58499810294434, 5.39741349205395));
#12740 = CARTESIAN_POINT ('', (50.1078523053253, 9.55237833769513, 5.45494372380294));
#12750 = CARTESIAN_POINT ('', (50.1085424890848, 9.51935612139618, 5.51197415034222));
#12760 = CARTESIAN_POINT ('', (50.1092326784431, 9.48633363721974, 5.56900503951451));
#12770 = CARTESIAN_POINT ('', (50.1149077711118, 9.45273123820237, 5.62584282108962));
#12780 = CARTESIAN_POINT ('', (50.1253084370593, 9.41911739470438, 5.68156910587028));
#12790 = CARTESIAN_POINT ('', (50.1357055251905, 9.38551511432762, 5.73727622087684));
#12800 = CARTESIAN_POINT ('', (50.1508660651308, 9.35173112617391, 5.79215784076002));
#12810 = CARTESIAN_POINT ('', (50.1701789319991, 9.31825855265041, 5.84551602050335));
#12820 = CARTESIAN_POINT ('', (50.1894812228003, 9.28480430929939, 5.898844980365));
#12830 = CARTESIAN_POINT ('', (50.2130012942143, 9.25151452456529, 5.95088959435557));
#12840 = CARTESIAN_POINT ('', (50.2399786985342, 9.21874436658284, 6.00122923271596));
#12850 = CARTESIAN_POINT ('', (50.2669407056811, 9.18599291194883, 6.05154014006454));
#12860 = CARTESIAN_POINT ('', (50.2974391011213, 9.15364557173892, 6.10032746178082));
#12870 = CARTESIAN_POINT ('', (50.3307317585013, 9.12192155112195, 6.14740166372565));
#12880 = CARTESIAN_POINT ('', (50.3640082150091, 9.0902129680472, 6.19445295842336));
#12890 = CARTESIAN_POINT ('', (50.4001574584394, 9.05904291207905, 6.23991946374069));
#12900 = CARTESIAN_POINT ('', (50.438539541126, 9.02852827567015, 6.28376297893424));
#12910 = CARTESIAN_POINT ('', (50.5251370247391, 8.9596812892271, 6.38268252218874));
#12920 = CARTESIAN_POINT ('', (50.6234617659289, 8.89381423054623, 6.47387747975515));
#12930 = CARTESIAN_POINT ('', (50.7283565579856, 8.83122441980506, 6.55816096531938));
#12940 = CARTESIAN_POINT ('', (50.8268616896103, 8.77244726390876, 6.63731032704183));
#12950 = CARTESIAN_POINT ('', (50.931672652331, 8.71624866261638, 6.71078430814983));
#12960 = CARTESIAN_POINT ('', (51.040327414771, 8.66245991245126, 6.77951239140212));
#12970 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#12570, #12580, #12590, #12600, #12610, #12620, #12630, #12640, #12650, #12660, #12670, #12680, #12690, #12700, #12710, #12720, #12730, #12740, #12750, #12760, #12770, #12780, #12790, #12800, #12810, #12820, #12830, #12840, #12850, #12860, #12870, #12880, #12890, #12900, #12910, #12920, #12930, #12940, #12950, #12960), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.444265817479858, 0.889281955687235, 1.18580005912368, 1.48279461183708, 1.68043981927985, 1.8781535367289, 2.07586885803922, 2.27351616551976, 2.47105523784374, 2.66848156606377, 2.86581182268828, 3.31102746676743, 3.72912282461616), .UNSPECIFIED.);
#12980 = EDGE_CURVE ('', #12480, #12560, #12970, .T.);
#12990 = ORIENTED_EDGE ('', *, *, #12980, .T.);
#13000 = CARTESIAN_POINT ('', (51.040327414771, 8.66245991245126, 6.77951239140212));
#13010 = CARTESIAN_POINT ('', (57.5222631289668, 8.03121149881428, 6.41506094986328));
#13020 = CARTESIAN_POINT ('', (64.0448625156373, 7.98802072781818, 6.39012474660217));
#13030 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#13000, #13010, #13020), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0784761235988289, 0.47124873308446), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.998727020769873, 0.995812678491747, 0.995613897266264))
   REPRESENTATION_ITEM ('')
);
#13040 = EDGE_CURVE ('', #12560, #3450, #13030, .T.);
#13050 = ORIENTED_EDGE ('', *, *, #13040, .T.);
#13060 = EDGE_LOOP ('', (#12460, #12540, #12990, #13050));
#13070 = FACE_OUTER_BOUND ('', #13060, .T.);
#13080 = CARTESIAN_POINT ('', (50.1078523056991, 8.75634367543356, 6.83371620723248));
#13090 = CARTESIAN_POINT ('', (50.1078523056991, 10.2963436754336, 4.16635796357641));
#13100 = CARTESIAN_POINT ('', (57.0858898819551, 8.03075514465586, 6.41479747366707));
#13110 = CARTESIAN_POINT ('', (57.0858898819551, 9.57075514465586, 3.747439230011));
#13120 = CARTESIAN_POINT ('', (64.1138692937875, 7.9875802923514, 6.38987046106687));
#13130 = CARTESIAN_POINT ('', (64.1138692937875, 9.5275802923514, 3.7225122174108));
#13140 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#13080, #13090), (#13100, #13110), (#13120, #13130)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.050123450096176, 0.473326009069651), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.999161920329546, 0.999161920329546), (0.995810577752233, 0.995810577752233), (0.995611870614618, 0.995611870614618)))
   REPRESENTATION_ITEM ('')
);
#13150 = ADVANCED_FACE ('', (#13070), #13140, .T.);
#13160 = ORIENTED_EDGE ('', *, *, #3420, .T.);
#13170 = CARTESIAN_POINT ('', (51.040327414771, 10.2024599124513, 4.11215414774604));
#13180 = CARTESIAN_POINT ('', (63.6, 10.2024599124513, 4.11215414774604));
#13190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13170, #13180), .UNSPECIFIED., .F., .U., (2, 2), (0.219896112718696, 1.), .UNSPECIFIED.);
#13200 = EDGE_CURVE ('', #12480, #3220, #13190, .T.);
#13210 = ORIENTED_EDGE ('', *, *, #13200, .F.);
#13220 = ORIENTED_EDGE ('', *, *, #12530, .T.);
#13230 = EDGE_LOOP ('', (#13160, #13210, #13220));
#13240 = FACE_OUTER_BOUND ('', #13230, .T.);
#13250 = CARTESIAN_POINT ('', (64.0448625156373, 9.52802072781817, 3.72276650294609));
#13260 = CARTESIAN_POINT ('', (51.040327414771, 9.52802072781817, 3.72276650294609));
#13270 = CARTESIAN_POINT ('', (64.0448625156373, 10.2024599124513, 4.11215414774604));
#13280 = CARTESIAN_POINT ('', (51.040327414771, 10.2024599124513, 4.11215414774604));
#13290 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13250, #13260), (#13270, #13280)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.484998679275285, 0.50639207891264), (0.526238169321073, 0.883480136581981), .UNSPECIFIED.);
#13300 = ADVANCED_FACE ('', (#13240), #13290, .T.);
#13310 = ORIENTED_EDGE ('', *, *, #3780, .F.);
#13320 = ORIENTED_EDGE ('', *, *, #13040, .F.);
#13330 = CARTESIAN_POINT ('', (51.040327414771, 8.66245991245126, 6.77951239140212));
#13340 = CARTESIAN_POINT ('', (63.6, 8.66245991245126, 6.77951239140212));
#13350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13330, #13340), .UNSPECIFIED., .F., .U., (2, 2), (0.219896112718694, 1.), .UNSPECIFIED.);
#13360 = EDGE_CURVE ('', #12560, #3660, #13350, .T.);
#13370 = ORIENTED_EDGE ('', *, *, #13360, .T.);
#13380 = EDGE_LOOP ('', (#13310, #13320, #13370));
#13390 = FACE_OUTER_BOUND ('', #13380, .T.);
#13400 = CARTESIAN_POINT ('', (64.0448625156373, 7.98802072781817, 6.39012474660216));
#13410 = CARTESIAN_POINT ('', (64.0448625156373, 8.66245991245126, 6.77951239140211));
#13420 = CARTESIAN_POINT ('', (51.040327414771, 7.98802072781817, 6.39012474660216));
#13430 = CARTESIAN_POINT ('', (51.040327414771, 8.66245991245126, 6.77951239140211));
#13440 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13400, #13410), (#13420, #13430)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.526238169321073, 0.883480136581981), (0.484998679275285, 0.50639207891264), .UNSPECIFIED.);
#13450 = ADVANCED_FACE ('', (#13390), #13440, .T.);
#13460 = CARTESIAN_POINT ('', (51.040327414771, -1.54, 10.8916665391482));
#13470 = VERTEX_POINT ('', #13460);
#13480 = CARTESIAN_POINT ('', (51.040327414771, -1.54, 10.8916665391482));
#13490 = CARTESIAN_POINT ('', (63.6, -1.54, 10.8916665391482));
#13500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13480, #13490), .UNSPECIFIED., .F., .U., (2, 2), (0.219896112718693, 1.), .UNSPECIFIED.);
#13510 = EDGE_CURVE ('', #13470, #420, #13500, .T.);
#13520 = ORIENTED_EDGE ('', *, *, #13510, .F.);
#13530 = CARTESIAN_POINT ('', (51.040327414771, 1.54, 10.8916665391482));
#13540 = VERTEX_POINT ('', #13530);
#13550 = CARTESIAN_POINT ('', (51.040327414771, 1.54, 10.8916665391482));
#13560 = CARTESIAN_POINT ('', (50.9635072808008, 1.47890388088189, 10.9003050723886));
#13570 = CARTESIAN_POINT ('', (50.8886594819047, 1.4151740790621, 10.9087944497951));
#13580 = CARTESIAN_POINT ('', (50.8165854152715, 1.34849437167074, 10.9170308660172));
#13590 = CARTESIAN_POINT ('', (50.7444995232661, 1.28180372397325, 10.9252686336087));
#13600 = CARTESIAN_POINT ('', (50.6750544084331, 1.21203864512758, 10.9332687916676));
#13610 = CARTESIAN_POINT ('', (50.6094211013652, 1.13892083099147, 10.9408801904021));
#13620 = CARTESIAN_POINT ('', (50.5437663502054, 1.06577912738237, 10.9484940759767));
#13630 = CARTESIAN_POINT ('', (50.4817385078805, 0.989063308082041, 10.9557407981178));
#13640 = CARTESIAN_POINT ('', (50.4250325692672, 0.908699839534745, 10.9624023189094));
#13650 = CARTESIAN_POINT ('', (50.3682920365679, 0.82828734436335, 10.9690679036355));
#13660 = CARTESIAN_POINT ('', (50.3166378465788, 0.743829844133326, 10.9751759701995));
#13670 = CARTESIAN_POINT ('', (50.2723696460025, 0.655836707015755, 10.9804316041643));
#13680 = CARTESIAN_POINT ('', (50.2280581056948, 0.567757422305121, 10.9856923835329));
#13690 = CARTESIAN_POINT ('', (50.1908956859334, 0.475470920193961, 10.9901284564862));
#13700 = CARTESIAN_POINT ('', (50.1634536965713, 0.380680035955764, 10.9934108769856));
#13710 = CARTESIAN_POINT ('', (50.1451830796897, 0.317569162070947, 10.9955962814982));
#13720 = CARTESIAN_POINT ('', (50.131124303859, 0.253038059196961, 10.9972818169092));
#13730 = CARTESIAN_POINT ('', (50.1218531705187, 0.187965921145172, 10.9983939196816));
#13740 = CARTESIAN_POINT ('', (50.1156773735707, 0.144619299235114, 10.9991347267281));
#13750 = CARTESIAN_POINT ('', (50.11160110663, 0.100913903556786, 10.9996241034137));
#13760 = CARTESIAN_POINT ('', (50.1097072838312, 0.0571648391391554, 10.9998514617774));
#13770 = CARTESIAN_POINT ('', (50.1088658607309, 0.0377271845480301, 10.999952476814));
#13780 = CARTESIAN_POINT ('', (50.1084530619853, 0.018265882339932, 11.0000020408111));
#13790 = CARTESIAN_POINT ('', (50.1084705961882, -0.00119022983581213, 10.999999935607));
#13800 = CARTESIAN_POINT ('', (50.1085300675874, -0.0671802390257435, 10.9999927953089));
#13810 = CARTESIAN_POINT ('', (50.1135872013138, -0.13334343042407, 10.9993853346224));
#13820 = CARTESIAN_POINT ('', (50.123409368097, -0.198587756440004, 10.9982072585942));
#13830 = CARTESIAN_POINT ('', (50.1332278575732, -0.263807655726015, 10.9970296236243));
#13840 = CARTESIAN_POINT ('', (50.1478468358708, -0.328445195908169, 10.9952772088138));
#13850 = CARTESIAN_POINT ('', (50.166669148473, -0.39162809566604, 10.9930263091966));
#13860 = CARTESIAN_POINT ('', (50.1854790861851, -0.454769455287005, 10.9907768894526));
#13870 = CARTESIAN_POINT ('', (50.2085556768584, -0.516741824019829, 10.9880215186955));
#13880 = CARTESIAN_POINT ('', (50.2351394490222, -0.576982972198457, 10.9848573340668));
#13890 = CARTESIAN_POINT ('', (50.2617039977872, -0.637180558477487, 10.9816954375402));
#13900 = CARTESIAN_POINT ('', (50.2918535652795, -0.695866936140359, 10.9781155281923));
#13910 = CARTESIAN_POINT ('', (50.3248396090674, -0.752753817192587, 10.9742134884784));
#13920 = CARTESIAN_POINT ('', (50.3578043688768, -0.809603992443949, 10.9703139665242));
#13930 = CARTESIAN_POINT ('', (50.3936837972521, -0.864812466886694, 10.9660830809555));
#13940 = CARTESIAN_POINT ('', (50.431829344639, -0.918279088727314, 10.9616040575824));
#13950 = CARTESIAN_POINT ('', (50.4890982997596, -0.998549992578437, 10.9548795771092));
#13960 = CARTESIAN_POINT ('', (50.5516457819003, -1.07516121081648, 10.9475760760078));
#13970 = CARTESIAN_POINT ('', (50.6177880576489, -1.14820094758114, 10.9399101725733));
#13980 = CARTESIAN_POINT ('', (50.6838621827746, -1.22116542682708, 10.9322521678102));
#13990 = CARTESIAN_POINT ('', (50.753709732556, -1.29078090236617, 10.9242108223821));
#14000 = CARTESIAN_POINT ('', (50.8261722781652, -1.35733127288941, 10.9159356820951));
#14010 = CARTESIAN_POINT ('', (50.89528896207, -1.42080876853269, 10.908042635409));
#14020 = CARTESIAN_POINT ('', (50.966905227563, -1.481606315119, 10.8999229684461));
#14030 = CARTESIAN_POINT ('', (51.040327414771, -1.54, 10.8916665391482));
#14040 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#13550, #13560, #13570, #13580, #13590, #13600, #13610, #13620, #13630, #13640, #13650, #13660, #13670, #13680, #13690, #13700, #13710, #13720, #13730, #13740, #13750, #13760, #13770, #13780, #13790, #13800, #13810, #13820, #13830, #13840, #13850, #13860, #13870, #13880, #13890, #13900, #13910, #13920, #13930, #13940, #13950, #13960, #13970, #13980, #13990, #14000, #14010, #14020, #14030), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.295598100635543, 0.591244700789726, 0.886987896302404, 1.18291151322718, 1.47912484714765, 1.67634088232125, 1.80771275924447, 1.8660811198166, 2.06405122894034, 2.261947220318, 2.45971310328649, 2.65733597673742, 2.85483133562427, 3.15133652743359, 3.4475362109537, 3.73005926788574), .UNSPECIFIED.);
#14050 = EDGE_CURVE ('', #13540, #13470, #14040, .T.);
#14060 = ORIENTED_EDGE ('', *, *, #14050, .F.);
#14070 = CARTESIAN_POINT ('', (51.040327414771, 1.54, 10.8916665391482));
#14080 = CARTESIAN_POINT ('', (63.6, 1.54, 10.8916665391482));
#14090 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14070, #14080), .UNSPECIFIED., .F., .U., (2, 2), (0.219896112718693, 1.), .UNSPECIFIED.);
#14100 = EDGE_CURVE ('', #13540, #3810, #14090, .T.);
#14110 = ORIENTED_EDGE ('', *, *, #14100, .T.);
#14120 = ORIENTED_EDGE ('', *, *, #3860, .F.);
#14130 = ORIENTED_EDGE ('', *, *, #13360, .F.);
#14140 = ORIENTED_EDGE ('', *, *, #12980, .F.);
#14150 = ORIENTED_EDGE ('', *, *, #13200, .T.);
#14160 = ORIENTED_EDGE ('', *, *, #3270, .F.);
#14170 = CARTESIAN_POINT ('', (47.5, 11., 0.));
#14180 = CARTESIAN_POINT ('', (63.6, 11., 0.));
#14190 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#14170, #14180), .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 ('')
);
#14200 = EDGE_CURVE ('', #4570, #3070, #14190, .T.);
#14210 = ORIENTED_EDGE ('', *, *, #14200, .F.);
#14220 = ORIENTED_EDGE ('', *, *, #4680, .T.);
#14230 = ORIENTED_EDGE ('', *, *, #14200, .T.);
#14240 = ORIENTED_EDGE ('', *, *, #3120, .F.);
#14250 = ORIENTED_EDGE ('', *, *, #12360, .F.);
#14260 = ORIENTED_EDGE ('', *, *, #11980, .F.);
#14270 = ORIENTED_EDGE ('', *, *, #12200, .T.);
#14280 = ORIENTED_EDGE ('', *, *, #2530, .F.);
#14290 = ORIENTED_EDGE ('', *, *, #11190, .F.);
#14300 = ORIENTED_EDGE ('', *, *, #10910, .F.);
#14310 = ORIENTED_EDGE ('', *, *, #11340, .T.);
#14320 = ORIENTED_EDGE ('', *, *, #1820, .F.);
#14330 = ORIENTED_EDGE ('', *, *, #10100, .F.);
#14340 = ORIENTED_EDGE ('', *, *, #9820, .F.);
#14350 = ORIENTED_EDGE ('', *, *, #10250, .T.);
#14360 = ORIENTED_EDGE ('', *, *, #1230, .F.);
#14370 = ORIENTED_EDGE ('', *, *, #9100, .F.);
#14380 = ORIENTED_EDGE ('', *, *, #8820, .F.);
#14390 = ORIENTED_EDGE ('', *, *, #9250, .T.);
#14400 = ORIENTED_EDGE ('', *, *, #620, .F.);
#14410 = EDGE_LOOP ('', (#13520, #14060, #14110, #14120, #14130, #14140, #14150, #14160, #14210, #14220, #14230, #14240, #14250, #14260, #14270, #14280, #14290, #14300, #14310, #14320, #14330, #14340, #14350, #14360, #14370, #14380, #14390, #14400));
#14420 = FACE_OUTER_BOUND ('', #14410, .T.);
#14430 = CARTESIAN_POINT ('', (47.5, 11., 0.));
#14440 = CARTESIAN_POINT ('', (63.6, 11., 0.));
#14450 = CARTESIAN_POINT ('', (47.5, 11., 11.));
#14460 = CARTESIAN_POINT ('', (63.6, 11., 11.));
#14470 = CARTESIAN_POINT ('', (47.5, 6.73555739531044E-16, 11.));
#14480 = CARTESIAN_POINT ('', (63.6, 6.73555739531044E-16, 11.));
#14490 = CARTESIAN_POINT ('', (47.5, -11., 11.));
#14500 = CARTESIAN_POINT ('', (63.6, -11., 11.));
#14510 = CARTESIAN_POINT ('', (47.5, -11., 1.34711147906209E-15));
#14520 = CARTESIAN_POINT ('', (63.6, -11., 1.34711147906209E-15));
#14530 = CARTESIAN_POINT ('', (47.5, -11., -11.));
#14540 = CARTESIAN_POINT ('', (63.6, -11., -11.));
#14550 = CARTESIAN_POINT ('', (47.5, -2.02066721859313E-15, -11.));
#14560 = CARTESIAN_POINT ('', (63.6, -2.02066721859313E-15, -11.));
#14570 = CARTESIAN_POINT ('', (47.5, 11., -11.));
#14580 = CARTESIAN_POINT ('', (63.6, 11., -11.));
#14590 = CARTESIAN_POINT ('', (47.5, 11., 0.));
#14600 = CARTESIAN_POINT ('', (63.6, 11., 0.));
#14610 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#14430, #14440), (#14450, #14460), (#14470, #14480), (#14490, #14500), (#14510, #14520), (#14530, #14540), (#14550, #14560), (#14570, #14580), (#14590, #14600)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 17.2787595947439, 34.5575191894877, 51.8362787842316, 69.1150383789755), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#14620 = ADVANCED_FACE ('', (#14420), #14610, .T.);
#14630 = ORIENTED_EDGE ('', *, *, #4320, .F.);
#14640 = CARTESIAN_POINT ('', (51.040327414771, 1.54, 10.8916665391482));
#14650 = CARTESIAN_POINT ('', (57.5222631289668, 1.54, 10.1627636560705));
#14660 = CARTESIAN_POINT ('', (64.0448625156373, 1.54, 10.1128912495483));
#14670 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#14640, #14650, #14660), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0784761235988283, 0.47124873308446), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.998727020769873, 0.995812678491747, 0.995613897266263))
   REPRESENTATION_ITEM ('')
);
#14680 = EDGE_CURVE ('', #13540, #3890, #14670, .T.);
#14690 = ORIENTED_EDGE ('', *, *, #14680, .F.);
#14700 = ORIENTED_EDGE ('', *, *, #14050, .T.);
#14710 = CARTESIAN_POINT ('', (51.040327414771, -1.54, 10.8916665391482));
#14720 = CARTESIAN_POINT ('', (57.5222631289668, -1.54, 10.1627636560705));
#14730 = CARTESIAN_POINT ('', (64.0448625156373, -1.54, 10.1128912495483));
#14740 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#14710, #14720, #14730), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0784761235988283, 0.47124873308446), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.998727020769873, 0.995812678491747, 0.995613897266263))
   REPRESENTATION_ITEM ('')
);
#14750 = EDGE_CURVE ('', #13470, #400, #14740, .T.);
#14760 = ORIENTED_EDGE ('', *, *, #14750, .T.);
#14770 = EDGE_LOOP ('', (#14630, #14690, #14700, #14760));
#14780 = FACE_OUTER_BOUND ('', #14770, .T.);
#14790 = CARTESIAN_POINT ('', (50.1084530619855, -1.54, 11.0000020408123));
#14800 = CARTESIAN_POINT ('', (50.1084530619855, 1.54, 11.0000020408123));
#14810 = CARTESIAN_POINT ('', (57.085493839582, -1.54, 10.1623185381662));
#14820 = CARTESIAN_POINT ('', (57.085493839582, 1.54, 10.1623185381662));
#14830 = CARTESIAN_POINT ('', (64.1124646712112, -1.54, 10.1123926502758));
#14840 = CARTESIAN_POINT ('', (64.1124646712112, 1.54, 10.1123926502758));
#14850 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#14790, #14800), (#14810, #14820), (#14830, #14840)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.0501417286679891, 0.473283726554786), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.999161630839276, 0.999161630839276), (0.995810903991641, 0.995810903991641), (0.995611910352074, 0.995611910352074)))
   REPRESENTATION_ITEM ('')
);
#14860 = ADVANCED_FACE ('', (#14780), #14850, .T.);
#14870 = ORIENTED_EDGE ('', *, *, #4010, .T.);
#14880 = ORIENTED_EDGE ('', *, *, #14100, .F.);
#14890 = ORIENTED_EDGE ('', *, *, #14680, .T.);
#14900 = EDGE_LOOP ('', (#14870, #14880, #14890));
#14910 = FACE_OUTER_BOUND ('', #14900, .T.);
#14920 = CARTESIAN_POINT ('', (64.0448625156373, 1.54000000000001, 10.1128912495483));
#14930 = CARTESIAN_POINT ('', (51.040327414771, 1.54000000000001, 10.1128912495483));
#14940 = CARTESIAN_POINT ('', (64.0448625156373, 1.54, 10.8916665391482));
#14950 = CARTESIAN_POINT ('', (51.040327414771, 1.54, 10.8916665391482));
#14960 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14920, #14930), (#14940, #14950)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.484998679275285, 0.50639207891264), (0.526238169321073, 0.883480136581982), .UNSPECIFIED.);
#14970 = ADVANCED_FACE ('', (#14910), #14960, .T.);
#14980 = ORIENTED_EDGE ('', *, *, #540, .F.);
#14990 = ORIENTED_EDGE ('', *, *, #14750, .F.);
#15000 = ORIENTED_EDGE ('', *, *, #13510, .T.);
#15010 = EDGE_LOOP ('', (#14980, #14990, #15000));
#15020 = FACE_OUTER_BOUND ('', #15010, .T.);
#15030 = CARTESIAN_POINT ('', (64.0448625156373, -1.53999999999999, 10.1128912495483));
#15040 = CARTESIAN_POINT ('', (64.0448625156373, -1.54, 10.8916665391482));
#15050 = CARTESIAN_POINT ('', (51.040327414771, -1.53999999999999, 10.1128912495483));
#15060 = CARTESIAN_POINT ('', (51.040327414771, -1.54, 10.8916665391482));
#15070 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15030, #15040), (#15050, #15060)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.526238169321073, 0.883480136581982), (0.484998679275285, 0.50639207891264), .UNSPECIFIED.);
#15080 = ADVANCED_FACE ('', (#15020), #15070, .T.);
#15090 = CLOSED_SHELL ('', (#380, #4550, #4930, #5360, #5610, #6040, #6420, #6720, #7430, #7580, #7720, #7840, #8270, #8360, #9060, #9210, #9360, #10060, #10210, #10360, #11150, #11300, #11450, #12150, #12300, #12450, #13150, #13300, #13450, #14620, #14860, #14970, #15080));
#15100 = MANIFOLD_SOLID_BREP ('', #15090);
#15110 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#15120 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#15130 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#15140 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #15110, 'DISTANCE_ACCURACY_VALUE', '');
#15150 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#15140))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#15110, #15120, #15130))
   REPRESENTATION_CONTEXT ('', '3D')
);
#15160 = COLOUR_RGB ('', 0.71764705882353, 0.71764705882353, 0.71764705882353);
#15170 = FILL_AREA_STYLE_COLOUR ('', #15160);
#15180 = FILL_AREA_STYLE ('', (#15170));
#15190 = SURFACE_STYLE_FILL_AREA (#15180);
#15200 = SURFACE_SIDE_STYLE ('', (#15190));
#15210 = SURFACE_STYLE_USAGE (.POSITIVE., #15200);
#15220 = PRESENTATION_STYLE_ASSIGNMENT ((#15210));
#15230 = STYLED_ITEM ('', (#15220), #15100);
#15240 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#15100), #15150);
#15250 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#15260 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #15250);
#15270 = MECHANICAL_CONTEXT ('', #15250, 'mechanical');
#15280 = PRODUCT ('product-name', '', '', (#15270));
#15290 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#15300 = PERSON ('', '', $, $, $, $);
#15310 = ORGANIZATION ($, '', '');
#15320 = PERSON_AND_ORGANIZATION (#15300, #15310);
#15330 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#15320, #15290, (#15280));
#15340 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#15280));
#15350 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #15280, .NOT_KNOWN.);
#15360 = APPROVAL_STATUS ('approved');
#15370 = APPROVAL (#15360, '');
#15380 = CALENDAR_DATE (2009, 14, 12);
#15390 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#15400 = LOCAL_TIME (15, 29, 22., #15390);
#15410 = DATE_AND_TIME (#15380, #15400);
#15420 = APPROVAL_DATE_TIME (#15410, #15370);
#15430 = APPROVAL_ROLE ('');
#15440 = PERSON ('', '', $, $, $, $);
#15450 = ORGANIZATION ($, '', '');
#15460 = PERSON_AND_ORGANIZATION (#15440, #15450);
#15470 = APPROVAL_PERSON_ORGANIZATION (#15460, #15370, #15430);
#15480 = CC_DESIGN_APPROVAL (#15370, (#15350));
#15490 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#15500 = PERSON ('', '', $, $, $, $);
#15510 = ORGANIZATION ($, '', '');
#15520 = PERSON_AND_ORGANIZATION (#15500, #15510);
#15530 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#15520, #15490, (#15350));
#15540 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#15550 = PERSON ('', '', $, $, $, $);
#15560 = ORGANIZATION ($, '', '');
#15570 = PERSON_AND_ORGANIZATION (#15550, #15560);
#15580 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#15570, #15540, (#15350));
#15590 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#15600 = SECURITY_CLASSIFICATION ('', '', #15590);
#15610 = APPROVAL_STATUS ('approved');
#15620 = APPROVAL (#15610, '');
#15630 = CALENDAR_DATE (2009, 14, 12);
#15640 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#15650 = LOCAL_TIME (15, 29, 22., #15640);
#15660 = DATE_AND_TIME (#15630, #15650);
#15670 = APPROVAL_DATE_TIME (#15660, #15620);
#15680 = APPROVAL_ROLE ('');
#15690 = PERSON ('', '', $, $, $, $);
#15700 = ORGANIZATION ($, '', '');
#15710 = PERSON_AND_ORGANIZATION (#15690, #15700);
#15720 = APPROVAL_PERSON_ORGANIZATION (#15710, #15620, #15680);
#15730 = CC_DESIGN_APPROVAL (#15620, (#15600));
#15740 = DATE_TIME_ROLE ('classification_date');
#15750 = CALENDAR_DATE (2009, 14, 12);
#15760 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#15770 = LOCAL_TIME (15, 29, 22., #15760);
#15780 = DATE_AND_TIME (#15750, #15770);
#15790 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#15780, #15740, (#15600));
#15800 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#15810 = PERSON ('', '', $, $, $, $);
#15820 = ORGANIZATION ($, '', '');
#15830 = PERSON_AND_ORGANIZATION (#15810, #15820);
#15840 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#15830, #15800, (#15600));
#15850 = CC_DESIGN_SECURITY_CLASSIFICATION (#15600, (#15350));
#15860 = DESIGN_CONTEXT ('', #15250, 'design');
#15870 = PRODUCT_DEFINITION ('', '', #15350, #15860);
#15880 = APPROVAL_STATUS ('approved');
#15890 = APPROVAL (#15880, '');
#15900 = CALENDAR_DATE (2009, 14, 12);
#15910 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#15920 = LOCAL_TIME (15, 29, 22., #15910);
#15930 = DATE_AND_TIME (#15900, #15920);
#15940 = APPROVAL_DATE_TIME (#15930, #15890);
#15950 = APPROVAL_ROLE ('');
#15960 = PERSON ('', '', $, $, $, $);
#15970 = ORGANIZATION ($, '', '');
#15980 = PERSON_AND_ORGANIZATION (#15960, #15970);
#15990 = APPROVAL_PERSON_ORGANIZATION (#15980, #15890, #15950);
#16000 = CC_DESIGN_APPROVAL (#15890, (#15870));
#16010 = DATE_TIME_ROLE ('creation_date');
#16020 = CALENDAR_DATE (2009, 14, 12);
#16030 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16040 = LOCAL_TIME (15, 29, 22., #16030);
#16050 = DATE_AND_TIME (#16020, #16040);
#16060 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#16050, #16010, (#15870));
#16070 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#16080 = PERSON ('', '', $, $, $, $);
#16090 = ORGANIZATION ($, '', '');
#16100 = PERSON_AND_ORGANIZATION (#16080, #16090);
#16110 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16100, #16070, (#15870));
#16120 = PRODUCT_DEFINITION_SHAPE ('', '', #15870);
#16130 = SHAPE_DEFINITION_REPRESENTATION (#16120, #15240);
ENDSEC;
END-ISO-10303-21;