ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('C:\\TDMTemp\\Tools\\SMLIB\\drilling\\D02-06\\step\\HM2441-3505-86GW32.stp', '2010-11-08T15:43:28', ('Unknown'), ('Unknown'), 'HarmonyWare STEP v1.4.4', 'HarmonyWare Translators', '');
FILE_SCHEMA (('CONFIG_CONTROL_DESIGN'));
ENDSEC;

DATA;
#10 = CARTESIAN_POINT ('', (128.809542983045, 1.22050000105006, 2.379));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (124.612732907767, 1.22050000000032, 12.0382880738915));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (128.809542977878, 1.2205, 2.379));
#60 = CARTESIAN_POINT ('', (128.805413278874, 1.2205, 2.38942488812953));
#70 = CARTESIAN_POINT ('', (128.801278699473, 1.2205, 2.39984782021431));
#80 = CARTESIAN_POINT ('', (128.797139380726, 1.2205, 2.41026889245686));
#90 = CARTESIAN_POINT ('', (128.77283691362, 1.2205, 2.47145233370481));
#100 = CARTESIAN_POINT ('', (128.74837181921, 1.2205, 2.53257134905131));
#110 = CARTESIAN_POINT ('', (128.723771816298, 1.2205, 2.59363576788167));
#120 = CARTESIAN_POINT ('', (128.699180351953, 1.2205, 2.65467899148826));
#130 = CARTESIAN_POINT ('', (128.674453843212, 1.2205, 2.71566793285031));
#140 = CARTESIAN_POINT ('', (128.649614228095, 1.2205, 2.77661060088978));
#150 = CARTESIAN_POINT ('', (128.624781627765, 1.2205, 2.83753605852351));
#160 = CARTESIAN_POINT ('', (128.599835819707, 1.22049999999954, 2.89841546076674));
#170 = CARTESIAN_POINT ('', (128.574794354511, 1.22049999999954, 2.95925536911541));
#180 = CARTESIAN_POINT ('', (128.549758685621, 1.22049999999954, 3.02008119495331));
#190 = CARTESIAN_POINT ('', (128.524627283358, 1.22049999999974, 3.08086768081561));
#200 = CARTESIAN_POINT ('', (128.499414330803, 1.22049999999974, 3.14162023491091));
#210 = CARTESIAN_POINT ('', (128.474206196581, 1.22049999999974, 3.2023611788616));
#220 = CARTESIAN_POINT ('', (128.448916454208, 1.22049999999985, 3.26306830160694));
#230 = CARTESIAN_POINT ('', (128.423556673969, 1.22049999999985, 3.32374608872204));
#240 = CARTESIAN_POINT ('', (128.385504693538, 1.22049999999985, 3.41479222343271));
#250 = CARTESIAN_POINT ('', (128.347295261863, 1.2205, 3.50577265464415));
#260 = CARTESIAN_POINT ('', (128.308959115104, 1.2205, 3.59669950278135));
#270 = CARTESIAN_POINT ('', (128.270633547495, 1.2205, 3.6876012589646));
#280 = CARTESIAN_POINT ('', (128.232181093524, 1.2205, 3.77844958640233));
#290 = CARTESIAN_POINT ('', (128.193625104681, 1.2205, 3.86925384915483));
#300 = CARTESIAN_POINT ('', (128.155077404286, 1.2205, 3.96003859155595));
#310 = CARTESIAN_POINT ('', (128.116426050175, 1.22049999999954, 4.050779369091));
#320 = CARTESIAN_POINT ('', (128.077689075555, 1.22049999999954, 4.14148351153112));
#330 = CARTESIAN_POINT ('', (128.038958672172, 1.22049999999954, 4.23217226715968));
#340 = CARTESIAN_POINT ('', (128.000142564318, 1.22049999999977, 4.32282445405135));
#350 = CARTESIAN_POINT ('', (127.961254883935, 1.22049999999977, 4.41344588009445));
#360 = CARTESIAN_POINT ('', (127.922372471392, 1.22049999999977, 4.50405503029346));
#370 = CARTESIAN_POINT ('', (127.883418425998, 1.22049999999988, 4.59463346484922));
#380 = CARTESIAN_POINT ('', (127.844403969724, 1.22049999999988, 4.68518583812919));
#390 = CARTESIAN_POINT ('', (127.805393780102, 1.22049999999988, 4.77572830852858));
#400 = CARTESIAN_POINT ('', (127.766323135583, 1.22049999999993, 4.8662447491287));
#410 = CARTESIAN_POINT ('', (127.727201054421, 1.22049999999993, 4.95673892908487));
#420 = CARTESIAN_POINT ('', (127.688082462118, 1.22049999999993, 5.04722503888466));
#430 = CARTESIAN_POINT ('', (127.648912400586, 1.22049999999996, 5.13768891039275));
#440 = CARTESIAN_POINT ('', (127.609698196038, 1.22049999999996, 5.22813362550749));
#450 = CARTESIAN_POINT ('', (127.550868493494, 1.22049999999996, 5.36382006230202));
#460 = CARTESIAN_POINT ('', (127.491939623232, 1.2205, 5.49946353022247));
#470 = CARTESIAN_POINT ('', (127.432930959596, 1.2205, 5.63507223439474));
#480 = CARTESIAN_POINT ('', (127.373929751056, 1.2205, 5.77066380589854));
#490 = CARTESIAN_POINT ('', (127.314848640954, 1.22049999999976, 5.90622062746713));
#500 = CARTESIAN_POINT ('', (127.25570230882, 1.22049999999976, 6.04174895759467));
#510 = CARTESIAN_POINT ('', (127.196561741001, 1.22049999999976, 6.17726407932883));
#520 = CARTESIAN_POINT ('', (127.13735587772, 1.22049999999988, 6.31275071789457));
#530 = CARTESIAN_POINT ('', (127.078096037799, 1.22049999999988, 6.44821372521773));
#540 = CARTESIAN_POINT ('', (127.018840720706, 1.22049999999988, 6.58366639373487));
#550 = CARTESIAN_POINT ('', (126.959531375996, 1.22049999999994, 6.71909543611708));
#560 = CARTESIAN_POINT ('', (126.900176867384, 1.22049999999994, 6.8545046688878));
#570 = CARTESIAN_POINT ('', (126.840825954617, 1.22049999999994, 6.9899056982283));
#580 = CARTESIAN_POINT ('', (126.781429841835, 1.22049999999997, 7.12528692119681));
#590 = CARTESIAN_POINT ('', (126.721995566521, 1.22049999999997, 7.26065137927444));
#600 = CARTESIAN_POINT ('', (126.662564184305, 1.22049999999997, 7.39600924817887));
#610 = CARTESIAN_POINT ('', (126.603094613506, 1.22049999999998, 7.53135035429676));
#620 = CARTESIAN_POINT ('', (126.543592511036, 1.22049999999998, 7.66667715012138));
#630 = CARTESIAN_POINT ('', (126.484092761512, 1.22049999999998, 7.80199859459797));
#640 = CARTESIAN_POINT ('', (126.424560461214, 1.22049999999999, 7.93730573017775));
#650 = CARTESIAN_POINT ('', (126.365000208131, 1.22049999999999, 8.07260055558306));
#660 = CARTESIAN_POINT ('', (126.30544188756, 1.22049999999999, 8.2078909911685));
#670 = CARTESIAN_POINT ('', (126.245855599985, 1.22049999999999, 8.34316911752409));
#680 = CARTESIAN_POINT ('', (126.186245120456, 1.22049999999999, 8.47843657939302));
#690 = CARTESIAN_POINT ('', (126.096824371708, 1.22049999999999, 8.68134918497898));
#700 = CARTESIAN_POINT ('', (126.007349284091, 1.22049999999992, 8.88423784984762));
#710 = CARTESIAN_POINT ('', (125.917829958207, 1.22049999999992, 9.0871069852665));
#720 = CARTESIAN_POINT ('', (125.828314815638, 1.22049999999992, 9.28996664043793));
#730 = CARTESIAN_POINT ('', (125.738755383266, 1.22049999999996, 9.49280675588249));
#740 = CARTESIAN_POINT ('', (125.649159417941, 1.22049999999996, 9.69563072745142));
#750 = CARTESIAN_POINT ('', (125.559566708156, 1.22049999999996, 9.89844732925175));
#760 = CARTESIAN_POINT ('', (125.469937430092, 1.22049999999998, 10.1012477799984));
#770 = CARTESIAN_POINT ('', (125.380277637934, 1.22049999999998, 10.3040347354039));
#780 = CARTESIAN_POINT ('', (125.290620416213, 1.22049999999998, 10.5068158771528));
#790 = CARTESIAN_POINT ('', (125.200932655643, 1.22049999999999, 10.7095835184517));
#800 = CARTESIAN_POINT ('', (125.111219149716, 1.22049999999999, 10.9123397654825));
#810 = CARTESIAN_POINT ('', (125.021507699696, 1.22049999999999, 11.1150913660793));
#820 = CARTESIAN_POINT ('', (124.931770486628, 1.22049999999999, 11.317831568709));
#830 = CARTESIAN_POINT ('', (124.842011354649, 1.22049999999999, 11.5205620647766));
#840 = CARTESIAN_POINT ('', (124.765600459549, 1.22049999999999, 11.6931441556165));
#850 = CARTESIAN_POINT ('', (124.689173659715, 1.2205, 11.8657192052903));
#860 = CARTESIAN_POINT ('', (124.612732907767, 1.2205, 12.0382880738916));
#870 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#50, #60, #70, #80, #90, #100, #110, #120, #130, #140, #150, #160, #170, #180, #190, #200, #210, #220, #230, #240, #250, #260, #270, #280, #290, #300, #310, #320, #330, #340, #350, #360, #370, #380, #390, #400, #410, #420, #430, #440, #450, #460, #470, #480, #490, #500, #510, #520, #530, #540, #550, #560, #570, #580, #590, #600, #610, #620, #630, #640, #650, #660, #670, #680, #690, #700, #710, #720, #730, #740, #750, #760, #770, #780, #790, #800, #810, #820, #830, #840, #850, #860), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.361636368292923, 0.395275500915318, 0.59277540094832, 0.790206749529344, 0.987582342861614, 1.18491224999883, 1.38220444631393, 1.67823850980069, 1.97419088044048, 2.27007962968088, 2.56591818513403, 2.86171666542902, 3.15748279696366, 3.4532225524492, 3.89689550326127, 4.3405124008751, 4.78408606423315, 5.2276258731674, 5.67113881134996, 6.11463016053045, 6.55810397233749, 7.00156339504914, 7.66678994466283, 8.3319854076734, 8.99715670028339, 9.66230892323742, 10.3274459033276, 10.8936692044368), .UNSPECIFIED.);
#880 = EDGE_CURVE ('', #20, #40, #870, .T.);
#890 = ORIENTED_EDGE ('', *, *, #880, .T.);
#900 = CARTESIAN_POINT ('', (124.612732907767, -12.0607782985866, 0.973461263915273));
#910 = VERTEX_POINT ('', #900);
#920 = CARTESIAN_POINT ('', (124.612732907767, 1.22050000000032, 12.0382880738915));
#930 = CARTESIAN_POINT ('', (124.612732907767, 0.61181016461467, 12.1));
#940 = CARTESIAN_POINT ('', (124.612732907767, 7.40911313484149E-16, 12.1));
#950 = CARTESIAN_POINT ('', (124.612732907767, -11.1627222865379, 12.1));
#960 = CARTESIAN_POINT ('', (124.612732907767, -12.0607782985866, 0.973461263915272));
#970 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#920, #930, #940, #950, #960), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (17.6754158913713, 19.0066355542182, 36.94804979827), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.961845287730019, 0.979485837412584, 1., 0.723521895655037, 0.969009731606357))
   REPRESENTATION_ITEM ('')
);
#980 = EDGE_CURVE ('', #40, #910, #970, .T.);
#990 = ORIENTED_EDGE ('', *, *, #980, .T.);
#1000 = CARTESIAN_POINT ('', (124.646017600082, -11.7875692445614, 2.379));
#1010 = VERTEX_POINT ('', #1000);
#1020 = CARTESIAN_POINT ('', (124.646017600082, -11.7875692445614, 2.379));
#1030 = CARTESIAN_POINT ('', (124.646721213388, -11.8296763655769, 2.16237764147869));
#1040 = CARTESIAN_POINT ('', (124.644717649068, -11.8717882754716, 1.94573064630833));
#1050 = CARTESIAN_POINT ('', (124.640018677489, -11.9138860635658, 1.72915630150519));
#1060 = CARTESIAN_POINT ('', (124.635317851155, -11.9560004682838, 1.51249647158266));
#1070 = CARTESIAN_POINT ('', (124.627918900015, -11.9981069621982, 1.2958773392183));
#1080 = CARTESIAN_POINT ('', (124.617864721297, -12.040187210022, 1.07939323128325));
#1090 = CARTESIAN_POINT ('', (124.616224637591, -12.0470515328833, 1.04407935154004));
#1100 = CARTESIAN_POINT ('', (124.614513946214, -12.0539152546904, 1.008768563953));
#1110 = CARTESIAN_POINT ('', (124.612732907767, -12.0607782985866, 0.973461263915256));
#1120 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#1020, #1030, #1040, #1050, #1060, #1070, #1080, #1090, #1100, #1110), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (0., 0.662033804506294, 1.32432892361508, 1.43236553846783), .UNSPECIFIED.);
#1130 = EDGE_CURVE ('', #1010, #910, #1120, .T.);
#1140 = ORIENTED_EDGE ('', *, *, #1130, .F.);
#1150 = CARTESIAN_POINT ('', (124.646017600082, -11.7875692445614, 2.379));
#1160 = CARTESIAN_POINT ('', (124.734654118422, -11.5844743079961, 2.379));
#1170 = CARTESIAN_POINT ('', (124.823215540178, -11.3813465747623, 2.37899999999996));
#1180 = CARTESIAN_POINT ('', (124.911689316115, -11.1781806902905, 2.37899999999996));
#1190 = CARTESIAN_POINT ('', (125.000157216175, -10.9750282988318, 2.37899999999996));
#1200 = CARTESIAN_POINT ('', (125.088537549335, -10.771837743306, 2.37899999999993));
#1210 = CARTESIAN_POINT ('', (125.176814845173, -10.5686024546971, 2.37899999999993));
#1220 = CARTESIAN_POINT ('', (125.265084934389, -10.3653837574426, 2.37899999999993));
#1230 = CARTESIAN_POINT ('', (125.353252095607, -10.1621203091032, 2.37899999999987));
#1240 = CARTESIAN_POINT ('', (125.44129704513, -9.95880396832521, 2.37899999999987));
#1250 = CARTESIAN_POINT ('', (125.529333064835, -9.75550824858322, 2.37899999999987));
#1260 = CARTESIAN_POINT ('', (125.617247026963, -9.55215961058798, 2.37899999999976));
#1270 = CARTESIAN_POINT ('', (125.705014599069, -9.34874785154394, 2.37899999999976));
#1280 = CARTESIAN_POINT ('', (125.792770981326, -9.14536202630473, 2.37899999999976));
#1290 = CARTESIAN_POINT ('', (125.880381195058, -8.94191304207599, 2.37899999999952));
#1300 = CARTESIAN_POINT ('', (125.967814118201, -8.7383879564338, 2.37899999999952));
#1310 = CARTESIAN_POINT ('', (126.055232846109, -8.53489591425221, 2.37899999999952));
#1320 = CARTESIAN_POINT ('', (126.142474608633, -8.33132771330683, 2.379));
#1330 = CARTESIAN_POINT ('', (126.229498994101, -8.12766671666218, 2.379));
#1340 = CARTESIAN_POINT ('', (126.28752646792, -7.99186646840609, 2.379));
#1350 = CARTESIAN_POINT ('', (126.345457143395, -7.85602480411497, 2.37899999999993));
#1360 = CARTESIAN_POINT ('', (126.403275946933, -7.72013558047373, 2.37899999999993));
#1370 = CARTESIAN_POINT ('', (126.461088231334, -7.58426167849611, 2.37899999999993));
#1380 = CARTESIAN_POINT ('', (126.518788759907, -7.44834015321172, 2.37899999999987));
#1390 = CARTESIAN_POINT ('', (126.576359237229, -7.31236361991551, 2.37899999999987));
#1400 = CARTESIAN_POINT ('', (126.633921886024, -7.17640557692864, 2.37899999999987));
#1410 = CARTESIAN_POINT ('', (126.69135464052, -7.04039243892344, 2.37899999999978));
#1420 = CARTESIAN_POINT ('', (126.748635095468, -6.90431526423883, 2.37899999999978));
#1430 = CARTESIAN_POINT ('', (126.805906079936, -6.76826058791155, 2.37899999999978));
#1440 = CARTESIAN_POINT ('', (126.863024979967, -6.63214175460377, 2.37899999999961));
#1450 = CARTESIAN_POINT ('', (126.919964090686, -6.49594785502298, 2.37899999999961));
#1460 = CARTESIAN_POINT ('', (126.976891655397, -6.35978157258949, 2.37899999999961));
#1470 = CARTESIAN_POINT ('', (127.033639730029, -6.22354005454128, 2.379));
#1480 = CARTESIAN_POINT ('', (127.090173696391, -6.08720988640873, 2.379));
#1490 = CARTESIAN_POINT ('', (127.146693472008, -5.95091393888115, 2.379));
#1500 = CARTESIAN_POINT ('', (127.202999562278, -5.81452909813076, 2.379));
#1510 = CARTESIAN_POINT ('', (127.259048219194, -5.67803873800866, 2.379));
#1520 = CARTESIAN_POINT ('', (127.315079288966, -5.54159120630866, 2.379));
#1530 = CARTESIAN_POINT ('', (127.370853533327, -5.40503779840938, 2.379));
#1540 = CARTESIAN_POINT ('', (127.42631499021, -5.26835774687576, 2.379));
#1550 = CARTESIAN_POINT ('', (127.481754467102, -5.13173186316654, 2.379));
#1560 = CARTESIAN_POINT ('', (127.536882046176, -4.99497879928914, 2.379));
#1570 = CARTESIAN_POINT ('', (127.591625203874, -4.85807242842723, 2.379));
#1580 = CARTESIAN_POINT ('', (127.628138424686, -4.76675704290476, 2.379));
#1590 = CARTESIAN_POINT ('', (127.664480448741, -4.67537295591809, 2.37899999999959));
#1600 = CARTESIAN_POINT ('', (127.700624284086, -4.58391073369615, 2.37899999999959));
#1610 = CARTESIAN_POINT ('', (127.736758428266, -4.49247303503115, 2.37899999999959));
#1620 = CARTESIAN_POINT ('', (127.772694745372, -4.40095682745118, 2.379));
#1630 = CARTESIAN_POINT ('', (127.808400634435, -4.30935104925413, 2.379));
#1640 = CARTESIAN_POINT ('', (127.844095137993, -4.21777448130714, 2.379));
#1650 = CARTESIAN_POINT ('', (127.879559696687, -4.12610783437668, 2.379));
#1660 = CARTESIAN_POINT ('', (127.914754678622, -4.03433813007389, 2.379));
#1670 = CARTESIAN_POINT ('', (127.949936256593, -3.94260337614604, 2.379));
#1680 = CARTESIAN_POINT ('', (127.984848909088, -3.8507648638859, 2.379));
#1690 = CARTESIAN_POINT ('', (128.01944414621, -3.75880738417283, 2.379));
#1700 = CARTESIAN_POINT ('', (128.054023587399, -3.66689189157552, 2.379));
#1710 = CARTESIAN_POINT ('', (128.08828649836, -3.57485645135335, 2.379));
#1720 = CARTESIAN_POINT ('', (128.122173185399, -3.48268331007124, 2.379));
#1730 = CARTESIAN_POINT ('', (128.156041269547, -3.39056076939852, 2.379));
#1740 = CARTESIAN_POINT ('', (128.189534341429, -3.29829913716086, 2.379));
#1750 = CARTESIAN_POINT ('', (128.22257850717, -3.20587785858125, 2.379));
#1760 = CARTESIAN_POINT ('', (128.255600831, -3.11351766967832, 2.379));
#1770 = CARTESIAN_POINT ('', (128.288175916219, -3.0209958330808, 2.379));
#1780 = CARTESIAN_POINT ('', (128.320211887358, -2.92828890281955, 2.379));
#1790 = CARTESIAN_POINT ('', (128.352222382618, -2.83565569564218, 2.379));
#1800 = CARTESIAN_POINT ('', (128.383696064269, -2.74283447381992, 2.379));
#1810 = CARTESIAN_POINT ('', (128.414518415113, -2.64979918176782, 2.379));
#1820 = CARTESIAN_POINT ('', (128.445311402244, -2.55685252220127, 2.379));
#1830 = CARTESIAN_POINT ('', (128.475456225247, -2.46368747550196, 2.379));
#1840 = CARTESIAN_POINT ('', (128.504810232088, -2.3702763848145, 2.379));
#1850 = CARTESIAN_POINT ('', (128.534131053979, -2.276970896143, 2.379));
#1860 = CARTESIAN_POINT ('', (128.562665378509, -2.18341292108579, 2.379));
#1870 = CARTESIAN_POINT ('', (128.590236477839, -2.08957551226403, 2.379));
#1880 = CARTESIAN_POINT ('', (128.617771233886, -1.99586179671123, 2.379));
#1890 = CARTESIAN_POINT ('', (128.644348538315, -1.90185898492872, 2.379));
#1900 = CARTESIAN_POINT ('', (128.669752280778, -1.80754528951687, 2.379));
#1910 = CARTESIAN_POINT ('', (128.695118137491, -1.71337224837986, 2.379));
#1920 = CARTESIAN_POINT ('', (128.719317877305, -1.6188738677297, 2.379));
#1930 = CARTESIAN_POINT ('', (128.742093646005, -1.52404110585981, 2.379));
#1940 = CARTESIAN_POINT ('', (128.764832869663, -1.4293605086639, 2.379));
#1950 = CARTESIAN_POINT ('', (128.786157161019, -1.33432419130422, 2.379));
#1960 = CARTESIAN_POINT ('', (128.805771565094, -1.23894723952498, 2.379));
#1970 = CARTESIAN_POINT ('', (128.818888698281, -1.17516390077746, 2.379));
#1980 = CARTESIAN_POINT ('', (128.831242539526, -1.11121767497292, 2.379));
#1990 = CARTESIAN_POINT ('', (128.842738852164, -1.0471223687441, 2.379));
#2000 = CARTESIAN_POINT ('', (128.854228110584, -0.983066391835652, 2.379));
#2010 = CARTESIAN_POINT ('', (128.864862586879, -0.91884994719663, 2.379));
#2020 = CARTESIAN_POINT ('', (128.874548069325, -0.854496527190056, 2.379));
#2030 = CARTESIAN_POINT ('', (128.884228804959, -0.790174646508093, 2.379));
#2040 = CARTESIAN_POINT ('', (128.892963104551, -0.725701919239118, 2.379));
#2050 = CARTESIAN_POINT ('', (128.900662726938, -0.661112935720287, 2.379));
#2060 = CARTESIAN_POINT ('', (128.908360004094, -0.596543625379946, 2.379));
#2070 = CARTESIAN_POINT ('', (128.915024666864, -0.53184167883718, 2.379));
#2080 = CARTESIAN_POINT ('', (128.920581679213, -0.467053072375919, 2.379));
#2090 = CARTESIAN_POINT ('', (128.926138346472, -0.402268489285691, 2.379));
#2100 = CARTESIAN_POINT ('', (128.93058861159, -0.337378607349415, 2.379));
#2110 = CARTESIAN_POINT ('', (128.933878159489, -0.27243942324749, 2.379));
#2120 = CARTESIAN_POINT ('', (128.937168427273, -0.207486027837494, 2.379));
#2130 = CARTESIAN_POINT ('', (128.939298155975, -0.142462994640492, 2.379));
#2140 = CARTESIAN_POINT ('', (128.940240042156, -0.0774331377453669, 2.379));
#2150 = CARTESIAN_POINT ('', (128.940521146129, -0.0580251120997302, 2.379));
#2160 = CARTESIAN_POINT ('', (128.940696681397, -0.0386152692033043, 2.379));
#2170 = CARTESIAN_POINT ('', (128.940766443649, -0.0192053332906421, 2.379));
#2180 = CARTESIAN_POINT ('', (128.940813035675, -0.00624204416615064, 2.379));
#2190 = CARTESIAN_POINT ('', (128.940812453997, 0.00672150033896698, 2.379));
#2200 = CARTESIAN_POINT ('', (128.940764698918, 0.0196847852310937, 2.379));
#2210 = CARTESIAN_POINT ('', (128.940520777333, 0.0858981598660958, 2.379));
#2220 = CARTESIAN_POINT ('', (128.939043263206, 0.152118131340805, 2.379));
#2230 = CARTESIAN_POINT ('', (128.936351936672, 0.218277236834902, 2.379));
#2240 = CARTESIAN_POINT ('', (128.933659191897, 0.28447120598884, 2.379));
#2250 = CARTESIAN_POINT ('', (128.929750775793, 0.350626040774342, 2.379));
#2260 = CARTESIAN_POINT ('', (128.924677012201, 0.416680180309978, 2.379));
#2270 = CARTESIAN_POINT ('', (128.919601921508, 0.482751597078966, 2.379));
#2280 = CARTESIAN_POINT ('', (128.913359823689, 0.548742514337906, 2.379));
#2290 = CARTESIAN_POINT ('', (128.906025382129, 0.614601413709311, 2.379));
#2300 = CARTESIAN_POINT ('', (128.898690943346, 0.680460288140703, 2.379));
#2310 = CARTESIAN_POINT ('', (128.890262738021, 0.746205145028496, 2.379));
#2320 = CARTESIAN_POINT ('', (128.880831574132, 0.811796596310747, 2.379));
#2330 = CARTESIAN_POINT ('', (128.871402559221, 0.877373101969271, 2.379));
#2340 = CARTESIAN_POINT ('', (128.860969376374, 0.942811654832837, 2.379));
#2350 = CARTESIAN_POINT ('', (128.849630696083, 1.00808507013987, 2.379));
#2360 = CARTESIAN_POINT ('', (128.838296580258, 1.07333220917515, 2.379));
#2370 = CARTESIAN_POINT ('', (128.826055928389, 1.13842705568752, 2.379));
#2380 = CARTESIAN_POINT ('', (128.813008297232, 1.20335324959258, 2.379));
#2390 = CARTESIAN_POINT ('', (128.811859440769, 1.20907006336273, 2.379));
#2400 = CARTESIAN_POINT ('', (128.810704314297, 1.21478564892478, 2.379));
#2410 = CARTESIAN_POINT ('', (128.809542983045, 1.22050000105006, 2.379));
#2420 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#1150, #1160, #1170, #1180, #1190, #1200, #1210, #1220, #1230, #1240, #1250, #1260, #1270, #1280, #1290, #1300, #1310, #1320, #1330, #1340, #1350, #1360, #1370, #1380, #1390, #1400, #1410, #1420, #1430, #1440, #1450, #1460, #1470, #1480, #1490, #1500, #1510, #1520, #1530, #1540, #1550, #1560, #1570, #1580, #1590, #1600, #1610, #1620, #1630, #1640, #1650, #1660, #1670, #1680, #1690, #1700, #1710, #1720, #1730, #1740, #1750, #1760, #1770, #1780, #1790, #1800, #1810, #1820, #1830, #1840, #1850, #1860, #1870, #1880, #1890, #1900, #1910, #1920, #1930, #1940, #1950, #1960, #1970, #1980, #1990, #2000, #2010, #2020, #2030, #2040, #2050, #2060, #2070, #2080, #2090, #2100, #2110, #2120, #2130, #2140, #2150, #2160, #2170, #2180, #2190, #2200, #2210, #2220, #2230, #2240, #2250, #2260, #2270, #2280, #2290, #2300, #2310, #2320, #2330, #2340, #2350, #2360, #2370, #2380, #2390, #2400, #2410), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.664782574061777, 1.3295209974039, 1.99420515403444, 2.65882189613303, 3.32335390349965, 3.9877780202977, 4.4308130711668, 4.87379816933297, 5.31672302966768, 5.75957465889807, 6.20233648749334, 6.64498717724208, 7.08749897051081, 7.52983539143482, 7.8248700238848, 8.11982554937198, 8.41468702266262, 8.70943619833687, 9.00405079368339, 9.2985036534326, 9.59276188235355, 9.88678610909115, 10.1805302260183, 10.4739422627749, 10.7669675338008, 11.0595558030019, 11.3516745973326, 11.5470290479176, 11.7422636276693, 11.9374025238228, 12.1324819825594, 12.3275493268659, 12.5226593597612, 12.5808895436022, 12.619779662163, 12.8184211339273, 13.0171672831754, 13.2159654168052, 13.4147634751523, 13.6135162355084, 13.8121889865449, 13.8296823132066), .UNSPECIFIED.);
#2430 = EDGE_CURVE ('', #1010, #20, #2420, .T.);
#2440 = ORIENTED_EDGE ('', *, *, #2430, .T.);
#2450 = EDGE_LOOP ('', (#890, #990, #1140, #2440));
#2460 = FACE_OUTER_BOUND ('', #2450, .T.);
#2470 = CARTESIAN_POINT ('', (124.612732907767, 5.5232228718984, 10.7658724266702));
#2480 = CARTESIAN_POINT ('', (128.940813035675, 1.08591713884177, 2.11667094626709));
#2490 = CARTESIAN_POINT ('', (124.612732907767, 2.92273985890084, 12.1));
#2500 = CARTESIAN_POINT ('', (128.940813035675, 0.574637920425887, 2.37897287231307));
#2510 = CARTESIAN_POINT ('', (124.612732907767, 7.40911313484149E-16, 12.1));
#2520 = CARTESIAN_POINT ('', (128.940813035675, 1.4567007566683E-16, 2.37897287231307));
#2530 = CARTESIAN_POINT ('', (124.612732907767, -12.1, 12.1));
#2540 = CARTESIAN_POINT ('', (128.940813035675, -2.37897287231307, 2.37897287231307));
#2550 = CARTESIAN_POINT ('', (124.612732907767, -12.1, 1.4818226269683E-15));
#2560 = CARTESIAN_POINT ('', (128.940813035675, -2.37897287231307, 2.91340151333659E-16));
#2570 = CARTESIAN_POINT ('', (124.612732907767, -12.1, -12.1));
#2580 = CARTESIAN_POINT ('', (128.940813035675, -2.37897287231307, -2.37897287231307));
#2590 = CARTESIAN_POINT ('', (124.612732907767, -2.22273394045245E-15, -12.1));
#2600 = CARTESIAN_POINT ('', (128.940813035675, -4.37010227000489E-16, -2.37897287231307));
#2610 = CARTESIAN_POINT ('', (124.612732907767, 11.1627222865381, -12.1));
#2620 = CARTESIAN_POINT ('', (128.940813035675, 2.19469533064782, -2.37897287231307));
#2630 = CARTESIAN_POINT ('', (124.612732907767, 12.0607782985866, -0.973461263915127));
#2640 = CARTESIAN_POINT ('', (128.940813035675, 2.37126151994378, -0.191391565215015));
#2650 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#2470, #2480), (#2490, #2500), (#2510, #2520), (#2530, #2540), (#2550, #2560), (#2570, #2580), (#2590, #2600), (#2610, #2620), (#2630, #2640)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0.172367015842066, 0.25, 0.5, 0.75, 0.985988823388446), (0., 0.803390671709663), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.874582038263204, 0.874582038263204), (0.909047301535556, 0.909047301535556), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.723521895655034, 0.723521895655034), (0.969009731606361, 0.969009731606361)))
   REPRESENTATION_ITEM ('')
);
#2660 = ADVANCED_FACE ('', (#2460), #2650, .T.);
#2670 = CARTESIAN_POINT ('', (12.3577997163361, 12.8050921448108, 0.));
#2680 = VERTEX_POINT ('', #2670);
#2690 = CARTESIAN_POINT ('', (14.29, 12.1, 0.));
#2700 = VERTEX_POINT ('', #2690);
#2710 = CARTESIAN_POINT ('', (12.3577997163361, 12.8050921448108, 0.));
#2720 = CARTESIAN_POINT ('', (13.1952499100035, 12.1, 0.));
#2730 = CARTESIAN_POINT ('', (14.29, 12.1, 0.));
#2740 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2710, #2720, #2730), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.939406537411536, 1.))
   REPRESENTATION_ITEM ('')
);
#2750 = EDGE_CURVE ('', #2680, #2700, #2740, .T.);
#2760 = ORIENTED_EDGE ('', *, *, #2750, .F.);
#2770 = CARTESIAN_POINT ('', (12.3577997163361, 12.8050921448108, 0.));
#2780 = CARTESIAN_POINT ('', (12.3577997163361, 12.8050921448108, 12.8050921448108));
#2790 = CARTESIAN_POINT ('', (12.3577997163361, 7.84085755396474E-16, 12.8050921448108));
#2800 = CARTESIAN_POINT ('', (12.3577997163361, -12.8050921448108, 12.8050921448108));
#2810 = CARTESIAN_POINT ('', (12.3577997163361, -12.8050921448108, 1.56817151079295E-15));
#2820 = CARTESIAN_POINT ('', (12.3577997163361, -12.8050921448108, -12.8050921448108));
#2830 = CARTESIAN_POINT ('', (12.3577997163361, -2.35225726618942E-15, -12.8050921448108));
#2840 = CARTESIAN_POINT ('', (12.3577997163361, 12.8050921448108, -12.8050921448108));
#2850 = CARTESIAN_POINT ('', (12.3577997163361, 12.8050921448108, 0.));
#2860 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2770, #2780, #2790, #2800, #2810, #2820, #2830, #2840, #2850), .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 ('')
);
#2870 = EDGE_CURVE ('', #2680, #2680, #2860, .T.);
#2880 = ORIENTED_EDGE ('', *, *, #2870, .T.);
#2890 = ORIENTED_EDGE ('', *, *, #2750, .T.);
#2900 = CARTESIAN_POINT ('', (14.29, 12.1, 0.));
#2910 = CARTESIAN_POINT ('', (14.29, 12.1, 12.1));
#2920 = CARTESIAN_POINT ('', (14.29, 7.40911313484149E-16, 12.1));
#2930 = CARTESIAN_POINT ('', (14.29, -12.1, 12.1));
#2940 = CARTESIAN_POINT ('', (14.29, -12.1, 1.4818226269683E-15));
#2950 = CARTESIAN_POINT ('', (14.29, -12.1, -12.1));
#2960 = CARTESIAN_POINT ('', (14.29, -2.22273394045245E-15, -12.1));
#2970 = CARTESIAN_POINT ('', (14.29, 12.1, -12.1));
#2980 = CARTESIAN_POINT ('', (14.29, 12.1, 0.));
#2990 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2900, #2910, #2920, #2930, #2940, #2950, #2960, #2970, #2980), .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 ('')
);
#3000 = EDGE_CURVE ('', #2700, #2700, #2990, .T.);
#3010 = ORIENTED_EDGE ('', *, *, #3000, .F.);
#3020 = EDGE_LOOP ('', (#2760, #2880, #2890, #3010));
#3030 = FACE_OUTER_BOUND ('', #3020, .T.);
#3040 = CARTESIAN_POINT ('', (12.3577997163361, 12.8050921448108, 0.));
#3050 = CARTESIAN_POINT ('', (13.1952499100035, 12.1, 0.));
#3060 = CARTESIAN_POINT ('', (14.29, 12.1, 0.));
#3070 = CARTESIAN_POINT ('', (12.3577997163361, 12.8050921448108, 12.8050921448108));
#3080 = CARTESIAN_POINT ('', (13.1952499100035, 12.1, 12.1));
#3090 = CARTESIAN_POINT ('', (14.29, 12.1, 12.1));
#3100 = CARTESIAN_POINT ('', (12.3577997163361, 7.84085755396474E-16, 12.8050921448108));
#3110 = CARTESIAN_POINT ('', (13.1952499100035, 7.40911313484149E-16, 12.1));
#3120 = CARTESIAN_POINT ('', (14.29, 7.40911313484149E-16, 12.1));
#3130 = CARTESIAN_POINT ('', (12.3577997163361, -12.8050921448108, 12.8050921448108));
#3140 = CARTESIAN_POINT ('', (13.1952499100035, -12.1, 12.1));
#3150 = CARTESIAN_POINT ('', (14.29, -12.1, 12.1));
#3160 = CARTESIAN_POINT ('', (12.3577997163361, -12.8050921448108, 1.56817151079295E-15));
#3170 = CARTESIAN_POINT ('', (13.1952499100035, -12.1, 1.4818226269683E-15));
#3180 = CARTESIAN_POINT ('', (14.29, -12.1, 1.4818226269683E-15));
#3190 = CARTESIAN_POINT ('', (12.3577997163361, -12.8050921448108, -12.8050921448108));
#3200 = CARTESIAN_POINT ('', (13.1952499100035, -12.1, -12.1));
#3210 = CARTESIAN_POINT ('', (14.29, -12.1, -12.1));
#3220 = CARTESIAN_POINT ('', (12.3577997163361, -2.35225726618942E-15, -12.8050921448108));
#3230 = CARTESIAN_POINT ('', (13.1952499100035, -2.22273394045245E-15, -12.1));
#3240 = CARTESIAN_POINT ('', (14.29, -2.22273394045245E-15, -12.1));
#3250 = CARTESIAN_POINT ('', (12.3577997163361, 12.8050921448108, -12.8050921448108));
#3260 = CARTESIAN_POINT ('', (13.1952499100035, 12.1, -12.1));
#3270 = CARTESIAN_POINT ('', (14.29, 12.1, -12.1));
#3280 = CARTESIAN_POINT ('', (12.3577997163361, 12.8050921448108, 0.));
#3290 = CARTESIAN_POINT ('', (13.1952499100035, 12.1, 0.));
#3300 = CARTESIAN_POINT ('', (14.29, 12.1, 0.));
#3310 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 2, ((#3040, #3050, #3060), (#3070, #3080, #3090), (#3100, #3110, #3120), (#3130, #3140, #3150), (#3160, #3170, #3180), (#3190, #3200, #3210), (#3220, #3230, #3240), (#3250, #3260, #3270), (#3280, #3290, #3300)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (3, 3), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.939406537411536, 1.), (0.707106781186548, 0.664260732894672, 0.707106781186548), (1., 0.939406537411536, 1.), (0.707106781186548, 0.664260732894672, 0.707106781186548), (1., 0.939406537411536, 1.), (0.707106781186548, 0.664260732894672, 0.707106781186548), (1., 0.939406537411536, 1.), (0.707106781186548, 0.664260732894672, 0.707106781186548), (1., 0.939406537411536, 1.)))
   REPRESENTATION_ITEM ('')
);
#3320 = ADVANCED_FACE ('', (#3030), #3310, .T.);
#3330 = CARTESIAN_POINT ('', (5., 19., 0.));
#3340 = VERTEX_POINT ('', #3330);
#3350 = CARTESIAN_POINT ('', (5., 19., 0.));
#3360 = CARTESIAN_POINT ('', (12.3577997163361, 12.8050921448108, 0.));
#3370 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#3350, #3360), .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 ('')
);
#3380 = EDGE_CURVE ('', #3340, #2680, #3370, .T.);
#3390 = ORIENTED_EDGE ('', *, *, #3380, .F.);
#3400 = CARTESIAN_POINT ('', (5., 19., 0.));
#3410 = CARTESIAN_POINT ('', (5., 19., 19.));
#3420 = CARTESIAN_POINT ('', (5., 1.16341445918999E-15, 19.));
#3430 = CARTESIAN_POINT ('', (5., -19., 19.));
#3440 = CARTESIAN_POINT ('', (5., -19., 2.32682891837997E-15));
#3450 = CARTESIAN_POINT ('', (5., -19., -19.));
#3460 = CARTESIAN_POINT ('', (5., -3.49024337756996E-15, -19.));
#3470 = CARTESIAN_POINT ('', (5., 19., -19.));
#3480 = CARTESIAN_POINT ('', (5., 19., 0.));
#3490 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3400, #3410, #3420, #3430, #3440, #3450, #3460, #3470, #3480), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 29.845130209103, 59.6902604182061, 89.5353906273091, 119.380520836412), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#3500 = EDGE_CURVE ('', #3340, #3340, #3490, .T.);
#3510 = ORIENTED_EDGE ('', *, *, #3500, .T.);
#3520 = ORIENTED_EDGE ('', *, *, #3380, .T.);
#3530 = ORIENTED_EDGE ('', *, *, #2870, .F.);
#3540 = EDGE_LOOP ('', (#3390, #3510, #3520, #3530));
#3550 = FACE_OUTER_BOUND ('', #3540, .T.);
#3560 = CARTESIAN_POINT ('', (5., 19., 0.));
#3570 = CARTESIAN_POINT ('', (12.3577997163361, 12.8050921448108, 0.));
#3580 = CARTESIAN_POINT ('', (5., 19., 19.));
#3590 = CARTESIAN_POINT ('', (12.3577997163361, 12.8050921448108, 12.8050921448108));
#3600 = CARTESIAN_POINT ('', (5., 1.16341445918999E-15, 19.));
#3610 = CARTESIAN_POINT ('', (12.3577997163361, 7.84085755396474E-16, 12.8050921448108));
#3620 = CARTESIAN_POINT ('', (5., -19., 19.));
#3630 = CARTESIAN_POINT ('', (12.3577997163361, -12.8050921448108, 12.8050921448108));
#3640 = CARTESIAN_POINT ('', (5., -19., 2.32682891837997E-15));
#3650 = CARTESIAN_POINT ('', (12.3577997163361, -12.8050921448108, 1.56817151079295E-15));
#3660 = CARTESIAN_POINT ('', (5., -19., -19.));
#3670 = CARTESIAN_POINT ('', (12.3577997163361, -12.8050921448108, -12.8050921448108));
#3680 = CARTESIAN_POINT ('', (5., -3.49024337756996E-15, -19.));
#3690 = CARTESIAN_POINT ('', (12.3577997163361, -2.35225726618942E-15, -12.8050921448108));
#3700 = CARTESIAN_POINT ('', (5., 19., -19.));
#3710 = CARTESIAN_POINT ('', (12.3577997163361, 12.8050921448108, -12.8050921448108));
#3720 = CARTESIAN_POINT ('', (5., 19., 0.));
#3730 = CARTESIAN_POINT ('', (12.3577997163361, 12.8050921448108, 0.));
#3740 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#3560, #3570), (#3580, #3590), (#3600, #3610), (#3620, #3630), (#3640, #3650), (#3660, #3670), (#3680, #3690), (#3700, #3710), (#3720, #3730)), .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 ('')
);
#3750 = ADVANCED_FACE ('', (#3550), #3740, .T.);
#3760 = CARTESIAN_POINT ('', (0., 19., 0.));
#3770 = VERTEX_POINT ('', #3760);
#3780 = CARTESIAN_POINT ('', (0., 19., 0.));
#3790 = CARTESIAN_POINT ('', (5., 19., 0.));
#3800 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#3780, #3790), .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 ('')
);
#3810 = EDGE_CURVE ('', #3770, #3340, #3800, .T.);
#3820 = ORIENTED_EDGE ('', *, *, #3810, .F.);
#3830 = CARTESIAN_POINT ('', (0., 19., 0.));
#3840 = CARTESIAN_POINT ('', (0., 19., 19.));
#3850 = CARTESIAN_POINT ('', (0., 1.16341445918999E-15, 19.));
#3860 = CARTESIAN_POINT ('', (0., -19., 19.));
#3870 = CARTESIAN_POINT ('', (0., -19., 2.32682891837997E-15));
#3880 = CARTESIAN_POINT ('', (0., -19., -19.));
#3890 = CARTESIAN_POINT ('', (0., -3.49024337756996E-15, -19.));
#3900 = CARTESIAN_POINT ('', (0., 19., -19.));
#3910 = CARTESIAN_POINT ('', (0., 19., 0.));
#3920 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3830, #3840, #3850, #3860, #3870, #3880, #3890, #3900, #3910), .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 ('')
);
#3930 = EDGE_CURVE ('', #3770, #3770, #3920, .T.);
#3940 = ORIENTED_EDGE ('', *, *, #3930, .T.);
#3950 = ORIENTED_EDGE ('', *, *, #3810, .T.);
#3960 = ORIENTED_EDGE ('', *, *, #3500, .F.);
#3970 = EDGE_LOOP ('', (#3820, #3940, #3950, #3960));
#3980 = FACE_OUTER_BOUND ('', #3970, .T.);
#3990 = CARTESIAN_POINT ('', (0., 19., 0.));
#4000 = CARTESIAN_POINT ('', (5., 19., 0.));
#4010 = CARTESIAN_POINT ('', (0., 19., 19.));
#4020 = CARTESIAN_POINT ('', (5., 19., 19.));
#4030 = CARTESIAN_POINT ('', (0., 1.16341445918999E-15, 19.));
#4040 = CARTESIAN_POINT ('', (5., 1.16341445918999E-15, 19.));
#4050 = CARTESIAN_POINT ('', (0., -19., 19.));
#4060 = CARTESIAN_POINT ('', (5., -19., 19.));
#4070 = CARTESIAN_POINT ('', (0., -19., 2.32682891837997E-15));
#4080 = CARTESIAN_POINT ('', (5., -19., 2.32682891837997E-15));
#4090 = CARTESIAN_POINT ('', (0., -19., -19.));
#4100 = CARTESIAN_POINT ('', (5., -19., -19.));
#4110 = CARTESIAN_POINT ('', (0., -3.49024337756996E-15, -19.));
#4120 = CARTESIAN_POINT ('', (5., -3.49024337756996E-15, -19.));
#4130 = CARTESIAN_POINT ('', (0., 19., -19.));
#4140 = CARTESIAN_POINT ('', (5., 19., -19.));
#4150 = CARTESIAN_POINT ('', (0., 19., 0.));
#4160 = CARTESIAN_POINT ('', (5., 19., 0.));
#4170 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#3990, #4000), (#4010, #4020), (#4030, #4040), (#4050, #4060), (#4070, #4080), (#4090, #4100), (#4110, #4120), (#4130, #4140), (#4150, #4160)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 29.845130209103, 59.6902604182061, 89.5353906273091, 119.380520836412), (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 ('')
);
#4180 = ADVANCED_FACE ('', (#3980), #4170, .T.);
#4190 = ORIENTED_EDGE ('', *, *, #3930, .F.);
#4200 = EDGE_LOOP ('', (#4190));
#4210 = FACE_OUTER_BOUND ('', #4200, .T.);
#4220 = CARTESIAN_POINT ('', (0., 16., 0.));
#4230 = VERTEX_POINT ('', #4220);
#4240 = CARTESIAN_POINT ('', (0., 16., 0.));
#4250 = CARTESIAN_POINT ('', (0., 16., 16.));
#4260 = CARTESIAN_POINT ('', (0., 9.79717439317883E-16, 16.));
#4270 = CARTESIAN_POINT ('', (0., -16., 16.));
#4280 = CARTESIAN_POINT ('', (0., -16., 1.95943487863577E-15));
#4290 = CARTESIAN_POINT ('', (0., -16., -16.));
#4300 = CARTESIAN_POINT ('', (0., -2.93915231795365E-15, -16.));
#4310 = CARTESIAN_POINT ('', (0., 16., -16.));
#4320 = CARTESIAN_POINT ('', (0., 16., 0.));
#4330 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4240, #4250, #4260, #4270, #4280, #4290, #4300, #4310, #4320), .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 ('')
);
#4340 = EDGE_CURVE ('', #4230, #4230, #4330, .T.);
#4350 = ORIENTED_EDGE ('', *, *, #4340, .T.);
#4360 = EDGE_LOOP ('', (#4350));
#4370 = FACE_BOUND ('', #4360, .T.);
#4380 = CARTESIAN_POINT ('', (0., -19., -19.));
#4390 = CARTESIAN_POINT ('', (0., 19., -19.));
#4400 = CARTESIAN_POINT ('', (0., -19., 19.));
#4410 = CARTESIAN_POINT ('', (0., 19., 19.));
#4420 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4380, #4390), (#4400, #4410)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0454545454545454, 0.954545454545455), (0.0454545454545454, 0.954545454545455), .UNSPECIFIED.);
#4430 = ADVANCED_FACE ('', (#4210, #4370), #4420, .T.);
#4440 = CARTESIAN_POINT ('', (-56.4, 16., 0.));
#4450 = VERTEX_POINT ('', #4440);
#4460 = CARTESIAN_POINT ('', (-58., 14.4, 0.));
#4470 = VERTEX_POINT ('', #4460);
#4480 = CARTESIAN_POINT ('', (-56.4, 16., 0.));
#4490 = CARTESIAN_POINT ('', (-58., 14.4, 0.));
#4500 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#4480, #4490), .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 ('')
);
#4510 = EDGE_CURVE ('', #4450, #4470, #4500, .T.);
#4520 = ORIENTED_EDGE ('', *, *, #4510, .T.);
#4530 = CARTESIAN_POINT ('', (-58., 14.4, 0.));
#4540 = CARTESIAN_POINT ('', (-58., 14.4, 14.4));
#4550 = CARTESIAN_POINT ('', (-58., 8.81745695386094E-16, 14.4));
#4560 = CARTESIAN_POINT ('', (-58., -14.4, 14.4));
#4570 = CARTESIAN_POINT ('', (-58., -14.4, 1.76349139077219E-15));
#4580 = CARTESIAN_POINT ('', (-58., -14.4, -14.4));
#4590 = CARTESIAN_POINT ('', (-58., -2.64523708615828E-15, -14.4));
#4600 = CARTESIAN_POINT ('', (-58., 14.4, -14.4));
#4610 = CARTESIAN_POINT ('', (-58., 14.4, 0.));
#4620 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4530, #4540, #4550, #4560, #4570, #4580, #4590, #4600, #4610), .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 ('')
);
#4630 = EDGE_CURVE ('', #4470, #4470, #4620, .T.);
#4640 = ORIENTED_EDGE ('', *, *, #4630, .T.);
#4650 = ORIENTED_EDGE ('', *, *, #4510, .F.);
#4660 = CARTESIAN_POINT ('', (-56.4, 16., 0.));
#4670 = CARTESIAN_POINT ('', (-56.4, 16., 16.));
#4680 = CARTESIAN_POINT ('', (-56.4, 9.79717439317883E-16, 16.));
#4690 = CARTESIAN_POINT ('', (-56.4, -16., 16.));
#4700 = CARTESIAN_POINT ('', (-56.4, -16., 1.95943487863577E-15));
#4710 = CARTESIAN_POINT ('', (-56.4, -16., -16.));
#4720 = CARTESIAN_POINT ('', (-56.4, -2.93915231795365E-15, -16.));
#4730 = CARTESIAN_POINT ('', (-56.4, 16., -16.));
#4740 = CARTESIAN_POINT ('', (-56.4, 16., 0.));
#4750 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4660, #4670, #4680, #4690, #4700, #4710, #4720, #4730, #4740), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 25.1327412287183, 50.2654824574367, 75.398223686155, 100.530964914873), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#4760 = EDGE_CURVE ('', #4450, #4450, #4750, .T.);
#4770 = ORIENTED_EDGE ('', *, *, #4760, .F.);
#4780 = EDGE_LOOP ('', (#4520, #4640, #4650, #4770));
#4790 = FACE_OUTER_BOUND ('', #4780, .T.);
#4800 = CARTESIAN_POINT ('', (-56.4, 16., 0.));
#4810 = CARTESIAN_POINT ('', (-56.4, 16., 16.));
#4820 = CARTESIAN_POINT ('', (-56.4, 9.79717439317883E-16, 16.));
#4830 = CARTESIAN_POINT ('', (-56.4, -16., 16.));
#4840 = CARTESIAN_POINT ('', (-56.4, -16., 1.95943487863577E-15));
#4850 = CARTESIAN_POINT ('', (-56.4, -16., -16.));
#4860 = CARTESIAN_POINT ('', (-56.4, -2.93915231795365E-15, -16.));
#4870 = CARTESIAN_POINT ('', (-56.4, 16., -16.));
#4880 = CARTESIAN_POINT ('', (-56.4, 16., 0.));
#4890 = CARTESIAN_POINT ('', (-58., 14.4, 0.));
#4900 = CARTESIAN_POINT ('', (-58., 14.4, 14.4));
#4910 = CARTESIAN_POINT ('', (-58., 8.81745695386094E-16, 14.4));
#4920 = CARTESIAN_POINT ('', (-58., -14.4, 14.4));
#4930 = CARTESIAN_POINT ('', (-58., -14.4, 1.76349139077219E-15));
#4940 = CARTESIAN_POINT ('', (-58., -14.4, -14.4));
#4950 = CARTESIAN_POINT ('', (-58., -2.64523708615828E-15, -14.4));
#4960 = CARTESIAN_POINT ('', (-58., 14.4, -14.4));
#4970 = CARTESIAN_POINT ('', (-58., 14.4, 0.));
#4980 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#4800, #4810, #4820, #4830, #4840, #4850, #4860, #4870, #4880), (#4890, #4900, #4910, #4920, #4930, #4940, #4950, #4960, #4970)), .UNSPECIFIED., .F., .T., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 2, 2, 3), (0., 1.), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.)))
   REPRESENTATION_ITEM ('')
);
#4990 = ADVANCED_FACE ('', (#4790), #4980, .T.);
#5000 = ORIENTED_EDGE ('', *, *, #4630, .F.);
#5010 = EDGE_LOOP ('', (#5000));
#5020 = FACE_OUTER_BOUND ('', #5010, .T.);
#5030 = CARTESIAN_POINT ('', (-58., -14.4, -14.4));
#5040 = CARTESIAN_POINT ('', (-58., 14.4, -14.4));
#5050 = CARTESIAN_POINT ('', (-58., -14.4, 14.4));
#5060 = CARTESIAN_POINT ('', (-58., 14.4, 14.4));
#5070 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5030, #5040), (#5050, #5060)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0454545454545454, 0.954545454545455), (0.0454545454545454, 0.954545454545454), .UNSPECIFIED.);
#5080 = ADVANCED_FACE ('', (#5020), #5070, .T.);
#5090 = CARTESIAN_POINT ('', (0., 16., 0.));
#5100 = CARTESIAN_POINT ('', (-56.4, 16., 0.));
#5110 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#5090, #5100), .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 ('')
);
#5120 = EDGE_CURVE ('', #4230, #4450, #5110, .T.);
#5130 = ORIENTED_EDGE ('', *, *, #5120, .T.);
#5140 = ORIENTED_EDGE ('', *, *, #4760, .T.);
#5150 = ORIENTED_EDGE ('', *, *, #5120, .F.);
#5160 = ORIENTED_EDGE ('', *, *, #4340, .F.);
#5170 = EDGE_LOOP ('', (#5130, #5140, #5150, #5160));
#5180 = FACE_OUTER_BOUND ('', #5170, .T.);
#5190 = CARTESIAN_POINT ('', (-49., -7.74596669241481, 14.));
#5200 = VERTEX_POINT ('', #5190);
#5210 = CARTESIAN_POINT ('', (-10., -7.74596669241484, 14.));
#5220 = VERTEX_POINT ('', #5210);
#5230 = CARTESIAN_POINT ('', (-49., -7.74596669241483, 14.));
#5240 = CARTESIAN_POINT ('', (-10., -7.74596669241483, 14.));
#5250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5230, #5240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5260 = EDGE_CURVE ('', #5200, #5220, #5250, .T.);
#5270 = ORIENTED_EDGE ('', *, *, #5260, .F.);
#5280 = CARTESIAN_POINT ('', (-49., 7.74596669241483, 14.));
#5290 = VERTEX_POINT ('', #5280);
#5300 = CARTESIAN_POINT ('', (-49., 7.74596669241483, 14.));
#5310 = CARTESIAN_POINT ('', (-53.3611745413091, 7.10512662927921E-15, 18.2857142857143));
#5320 = CARTESIAN_POINT ('', (-49., -7.74596669241481, 14.));
#5330 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5300, #5310, #5320), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.875, 1.))
   REPRESENTATION_ITEM ('')
);
#5340 = EDGE_CURVE ('', #5290, #5200, #5330, .T.);
#5350 = ORIENTED_EDGE ('', *, *, #5340, .F.);
#5360 = CARTESIAN_POINT ('', (-10., 7.74596669241484, 14.));
#5370 = VERTEX_POINT ('', #5360);
#5380 = CARTESIAN_POINT ('', (-49., 7.74596669241483, 14.));
#5390 = CARTESIAN_POINT ('', (-10., 7.74596669241483, 14.));
#5400 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5380, #5390), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#5410 = EDGE_CURVE ('', #5290, #5370, #5400, .T.);
#5420 = ORIENTED_EDGE ('', *, *, #5410, .T.);
#5430 = CARTESIAN_POINT ('', (-7.96478521405574, -1.22124532708767E-15, 16.));
#5440 = VERTEX_POINT ('', #5430);
#5450 = CARTESIAN_POINT ('', (-10., 7.74596669241484, 14.));
#5460 = CARTESIAN_POINT ('', (-7.96478521405575, 4.13118223595459, 16.));
#5470 = CARTESIAN_POINT ('', (-7.96478521405574, 2.69762443018386E-15, 16.));
#5480 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5450, #5460, #5470), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.968245836551854, 1.))
   REPRESENTATION_ITEM ('')
);
#5490 = EDGE_CURVE ('', #5370, #5440, #5480, .T.);
#5500 = ORIENTED_EDGE ('', *, *, #5490, .T.);
#5510 = CARTESIAN_POINT ('', (-7.96478521405574, -1.22124532708767E-15, 16.));
#5520 = CARTESIAN_POINT ('', (-7.96478521405575, -4.13118223595459, 16.));
#5530 = CARTESIAN_POINT ('', (-10., -7.74596669241484, 14.));
#5540 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5510, #5520, #5530), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.968245836551854, 1.))
   REPRESENTATION_ITEM ('')
);
#5550 = EDGE_CURVE ('', #5440, #5220, #5540, .T.);
#5560 = ORIENTED_EDGE ('', *, *, #5550, .T.);
#5570 = EDGE_LOOP ('', (#5270, #5350, #5420, #5500, #5560));
#5580 = FACE_BOUND ('', #5570, .T.);
#5590 = CARTESIAN_POINT ('', (0., 16., 0.));
#5600 = CARTESIAN_POINT ('', (0., 16., 16.));
#5610 = CARTESIAN_POINT ('', (0., 9.79717439317883E-16, 16.));
#5620 = CARTESIAN_POINT ('', (0., -16., 16.));
#5630 = CARTESIAN_POINT ('', (0., -16., 1.95943487863577E-15));
#5640 = CARTESIAN_POINT ('', (0., -16., -16.));
#5650 = CARTESIAN_POINT ('', (0., -2.93915231795365E-15, -16.));
#5660 = CARTESIAN_POINT ('', (0., 16., -16.));
#5670 = CARTESIAN_POINT ('', (0., 16., 0.));
#5680 = CARTESIAN_POINT ('', (-56.4, 16., 0.));
#5690 = CARTESIAN_POINT ('', (-56.4, 16., 16.));
#5700 = CARTESIAN_POINT ('', (-56.4, 9.79717439317883E-16, 16.));
#5710 = CARTESIAN_POINT ('', (-56.4, -16., 16.));
#5720 = CARTESIAN_POINT ('', (-56.4, -16., 1.95943487863577E-15));
#5730 = CARTESIAN_POINT ('', (-56.4, -16., -16.));
#5740 = CARTESIAN_POINT ('', (-56.4, -2.93915231795365E-15, -16.));
#5750 = CARTESIAN_POINT ('', (-56.4, 16., -16.));
#5760 = CARTESIAN_POINT ('', (-56.4, 16., 0.));
#5770 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#5590, #5600, #5610, #5620, #5630, #5640, #5650, #5660, #5670), (#5680, #5690, #5700, #5710, #5720, #5730, #5740, #5750, #5760)), .UNSPECIFIED., .F., .T., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 2, 2, 3), (0., 1.), (0., 25.1327412287183, 50.2654824574367, 75.398223686155, 100.530964914873), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.)))
   REPRESENTATION_ITEM ('')
);
#5780 = ADVANCED_FACE ('', (#5180, #5580), #5770, .T.);
#5790 = ORIENTED_EDGE ('', *, *, #5490, .F.);
#5800 = CARTESIAN_POINT ('', (-10., -7.74596669241484, 14.));
#5810 = CARTESIAN_POINT ('', (-10., 7.74596669241484, 14.));
#5820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5800, #5810), .UNSPECIFIED., .F., .U., (2, 2), (0.257938540862036, 0.742061459137964), .UNSPECIFIED.);
#5830 = EDGE_CURVE ('', #5220, #5370, #5820, .T.);
#5840 = ORIENTED_EDGE ('', *, *, #5830, .F.);
#5850 = ORIENTED_EDGE ('', *, *, #5550, .F.);
#5860 = EDGE_LOOP ('', (#5790, #5840, #5850));
#5870 = FACE_OUTER_BOUND ('', #5860, .T.);
#5880 = CARTESIAN_POINT ('', (-7.96478521405575, -7.74596669241485, 16.));
#5890 = CARTESIAN_POINT ('', (-10., -7.74596669241485, 14.));
#5900 = CARTESIAN_POINT ('', (-7.96478521405575, 7.74596669241483, 16.));
#5910 = CARTESIAN_POINT ('', (-10., 7.74596669241483, 14.));
#5920 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5880, #5890), (#5900, #5910)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.257938540862036, 0.742061459137964), (0., 1.), .UNSPECIFIED.);
#5930 = ADVANCED_FACE ('', (#5870), #5920, .T.);
#5940 = ORIENTED_EDGE ('', *, *, #5260, .T.);
#5950 = ORIENTED_EDGE ('', *, *, #5830, .T.);
#5960 = ORIENTED_EDGE ('', *, *, #5410, .F.);
#5970 = CARTESIAN_POINT ('', (-49., -7.74596669241481, 14.));
#5980 = CARTESIAN_POINT ('', (-49., 7.74596669241483, 14.));
#5990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5970, #5980), .UNSPECIFIED., .F., .U., (2, 2), (0.257938540862037, 0.742061459137963), .UNSPECIFIED.);
#6000 = EDGE_CURVE ('', #5200, #5290, #5990, .T.);
#6010 = ORIENTED_EDGE ('', *, *, #6000, .F.);
#6020 = EDGE_LOOP ('', (#5940, #5950, #5960, #6010));
#6030 = FACE_OUTER_BOUND ('', #6020, .T.);
#6040 = CARTESIAN_POINT ('', (-10., -7.74596669241484, 14.));
#6050 = CARTESIAN_POINT ('', (-49., -7.74596669241484, 14.));
#6060 = CARTESIAN_POINT ('', (-10., 7.74596669241484, 14.));
#6070 = CARTESIAN_POINT ('', (-49., 7.74596669241484, 14.));
#6080 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6040, #6050), (#6060, #6070)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.257938540862036, 0.742061459137964), (0., 1.), .UNSPECIFIED.);
#6090 = ADVANCED_FACE ('', (#6030), #6080, .T.);
#6100 = ORIENTED_EDGE ('', *, *, #5340, .T.);
#6110 = ORIENTED_EDGE ('', *, *, #6000, .T.);
#6120 = EDGE_LOOP ('', (#6100, #6110));
#6130 = FACE_OUTER_BOUND ('', #6120, .T.);
#6140 = CARTESIAN_POINT ('', (-49., -7.74596669241481, 14.));
#6150 = CARTESIAN_POINT ('', (-51.0352147859442, -7.74596669241481, 16.));
#6160 = CARTESIAN_POINT ('', (-49., 7.74596669241483, 14.));
#6170 = CARTESIAN_POINT ('', (-51.0352147859442, 7.74596669241483, 16.));
#6180 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6140, #6150), (#6160, #6170)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.257938540862037, 0.742061459137963), (0., 1.), .UNSPECIFIED.);
#6190 = ADVANCED_FACE ('', (#6130), #6180, .T.);
#6200 = CARTESIAN_POINT ('', (128.809542978595, -1.22050000014577, -2.379));
#6210 = VERTEX_POINT ('', #6200);
#6220 = CARTESIAN_POINT ('', (124.612732907767, -1.22050000000009, -12.0382880738916));
#6230 = VERTEX_POINT ('', #6220);
#6240 = CARTESIAN_POINT ('', (128.809542977878, -1.22050000000002, -2.379));
#6250 = CARTESIAN_POINT ('', (128.805413278874, -1.22050000000002, -2.38942488812955));
#6260 = CARTESIAN_POINT ('', (128.801278699473, -1.22050000000002, -2.39984782021431));
#6270 = CARTESIAN_POINT ('', (128.797139380725, -1.22050000000002, -2.41026889245687));
#6280 = CARTESIAN_POINT ('', (128.77283691362, -1.22050000000002, -2.47145233370482));
#6290 = CARTESIAN_POINT ('', (128.74837181921, -1.22050000000002, -2.53257134905132));
#6300 = CARTESIAN_POINT ('', (128.723771816298, -1.22050000000002, -2.59363576788168));
#6310 = CARTESIAN_POINT ('', (128.699180351953, -1.22050000000002, -2.65467899148827));
#6320 = CARTESIAN_POINT ('', (128.674453843212, -1.22050000000002, -2.71566793285032));
#6330 = CARTESIAN_POINT ('', (128.649614228095, -1.22050000000002, -2.77661060088979));
#6340 = CARTESIAN_POINT ('', (128.624781627765, -1.22050000000002, -2.83753605852351));
#6350 = CARTESIAN_POINT ('', (128.599835819707, -1.22049999999956, -2.89841546076675));
#6360 = CARTESIAN_POINT ('', (128.574794354511, -1.22049999999956, -2.95925536911542));
#6370 = CARTESIAN_POINT ('', (128.549758685621, -1.22049999999956, -3.02008119495332));
#6380 = CARTESIAN_POINT ('', (128.524627283358, -1.22049999999976, -3.08086768081561));
#6390 = CARTESIAN_POINT ('', (128.499414330803, -1.22049999999976, -3.14162023491092));
#6400 = CARTESIAN_POINT ('', (128.474206196581, -1.22049999999977, -3.2023611788616));
#6410 = CARTESIAN_POINT ('', (128.448916454208, -1.22049999999988, -3.26306830160695));
#6420 = CARTESIAN_POINT ('', (128.423556673969, -1.22049999999988, -3.32374608872205));
#6430 = CARTESIAN_POINT ('', (128.385504693538, -1.22049999999988, -3.41479222343272));
#6440 = CARTESIAN_POINT ('', (128.347295261863, -1.22050000000002, -3.50577265464415));
#6450 = CARTESIAN_POINT ('', (128.308959115104, -1.22050000000003, -3.59669950278135));
#6460 = CARTESIAN_POINT ('', (128.270633547495, -1.22050000000003, -3.6876012589646));
#6470 = CARTESIAN_POINT ('', (128.232181093524, -1.22050000000003, -3.77844958640233));
#6480 = CARTESIAN_POINT ('', (128.193625104681, -1.22050000000003, -3.86925384915483));
#6490 = CARTESIAN_POINT ('', (128.155077404286, -1.22050000000003, -3.96003859155595));
#6500 = CARTESIAN_POINT ('', (128.116426050175, -1.22049999999957, -4.050779369091));
#6510 = CARTESIAN_POINT ('', (128.077689075555, -1.22049999999957, -4.14148351153112));
#6520 = CARTESIAN_POINT ('', (128.038958672172, -1.22049999999957, -4.23217226715968));
#6530 = CARTESIAN_POINT ('', (128.000142564318, -1.22049999999979, -4.32282445405135));
#6540 = CARTESIAN_POINT ('', (127.961254883935, -1.2204999999998, -4.41344588009445));
#6550 = CARTESIAN_POINT ('', (127.922372471392, -1.2204999999998, -4.50405503029346));
#6560 = CARTESIAN_POINT ('', (127.883418425998, -1.22049999999991, -4.59463346484923));
#6570 = CARTESIAN_POINT ('', (127.844403969724, -1.22049999999991, -4.68518583812919));
#6580 = CARTESIAN_POINT ('', (127.805393780102, -1.22049999999991, -4.77572830852858));
#6590 = CARTESIAN_POINT ('', (127.766323135583, -1.22049999999997, -4.8662447491287));
#6600 = CARTESIAN_POINT ('', (127.727201054421, -1.22049999999997, -4.95673892908487));
#6610 = CARTESIAN_POINT ('', (127.688082462118, -1.22049999999997, -5.04722503888466));
#6620 = CARTESIAN_POINT ('', (127.648912400586, -1.2205, -5.13768891039274));
#6630 = CARTESIAN_POINT ('', (127.609698196038, -1.2205, -5.22813362550749));
#6640 = CARTESIAN_POINT ('', (127.550868493494, -1.2205, -5.36382006230201));
#6650 = CARTESIAN_POINT ('', (127.491939623232, -1.22050000000004, -5.49946353022246));
#6660 = CARTESIAN_POINT ('', (127.432930959596, -1.22050000000004, -5.63507223439473));
#6670 = CARTESIAN_POINT ('', (127.373929751056, -1.22050000000004, -5.77066380589853));
#6680 = CARTESIAN_POINT ('', (127.314848640954, -1.2204999999998, -5.90622062746712));
#6690 = CARTESIAN_POINT ('', (127.25570230882, -1.22049999999981, -6.04174895759465));
#6700 = CARTESIAN_POINT ('', (127.196561741001, -1.22049999999981, -6.17726407932882));
#6710 = CARTESIAN_POINT ('', (127.13735587772, -1.22049999999993, -6.31275071789456));
#6720 = CARTESIAN_POINT ('', (127.078096037799, -1.22049999999993, -6.44821372521772));
#6730 = CARTESIAN_POINT ('', (127.018840720706, -1.22049999999993, -6.58366639373487));
#6740 = CARTESIAN_POINT ('', (126.959531375996, -1.22049999999999, -6.71909543611708));
#6750 = CARTESIAN_POINT ('', (126.900176867384, -1.22049999999999, -6.8545046688878));
#6760 = CARTESIAN_POINT ('', (126.840825954617, -1.22049999999999, -6.9899056982283));
#6770 = CARTESIAN_POINT ('', (126.781429841835, -1.22050000000002, -7.12528692119682));
#6780 = CARTESIAN_POINT ('', (126.721995566521, -1.22050000000002, -7.26065137927444));
#6790 = CARTESIAN_POINT ('', (126.662564184305, -1.22050000000002, -7.39600924817887));
#6800 = CARTESIAN_POINT ('', (126.603094613506, -1.22050000000003, -7.53135035429675));
#6810 = CARTESIAN_POINT ('', (126.543592511036, -1.22050000000003, -7.66667715012137));
#6820 = CARTESIAN_POINT ('', (126.484092761512, -1.22050000000003, -7.80199859459797));
#6830 = CARTESIAN_POINT ('', (126.424560461214, -1.22050000000004, -7.93730573017775));
#6840 = CARTESIAN_POINT ('', (126.365000208131, -1.22050000000004, -8.07260055558305));
#6850 = CARTESIAN_POINT ('', (126.30544188756, -1.22050000000004, -8.2078909911685));
#6860 = CARTESIAN_POINT ('', (126.245855599985, -1.22050000000005, -8.34316911752409));
#6870 = CARTESIAN_POINT ('', (126.186245120456, -1.22050000000005, -8.47843657939301));
#6880 = CARTESIAN_POINT ('', (126.096824371708, -1.22050000000005, -8.68134918497897));
#6890 = CARTESIAN_POINT ('', (126.007349284091, -1.22049999999998, -8.88423784984761));
#6900 = CARTESIAN_POINT ('', (125.917829958207, -1.22049999999998, -9.08710698526649));
#6910 = CARTESIAN_POINT ('', (125.828314815638, -1.22049999999998, -9.28996664043791));
#6920 = CARTESIAN_POINT ('', (125.738755383266, -1.22050000000003, -9.49280675588248));
#6930 = CARTESIAN_POINT ('', (125.649159417941, -1.22050000000003, -9.69563072745141));
#6940 = CARTESIAN_POINT ('', (125.559566708156, -1.22050000000003, -9.89844732925175));
#6950 = CARTESIAN_POINT ('', (125.469937430092, -1.22050000000004, -10.1012477799984));
#6960 = CARTESIAN_POINT ('', (125.380277637934, -1.22050000000004, -10.3040347354039));
#6970 = CARTESIAN_POINT ('', (125.290620416213, -1.22050000000005, -10.5068158771528));
#6980 = CARTESIAN_POINT ('', (125.200932655643, -1.22050000000006, -10.7095835184517));
#6990 = CARTESIAN_POINT ('', (125.111219149716, -1.22050000000006, -10.9123397654825));
#7000 = CARTESIAN_POINT ('', (125.021507699696, -1.22050000000006, -11.1150913660794));
#7010 = CARTESIAN_POINT ('', (124.931770486628, -1.22050000000008, -11.317831568709));
#7020 = CARTESIAN_POINT ('', (124.842011354649, -1.22050000000008, -11.5205620647766));
#7030 = CARTESIAN_POINT ('', (124.765600459549, -1.22050000000008, -11.6931441556165));
#7040 = CARTESIAN_POINT ('', (124.689173659715, -1.22050000000008, -11.8657192052903));
#7050 = CARTESIAN_POINT ('', (124.612732907767, -1.22050000000008, -12.0382880738916));
#7060 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6240, #6250, #6260, #6270, #6280, #6290, #6300, #6310, #6320, #6330, #6340, #6350, #6360, #6370, #6380, #6390, #6400, #6410, #6420, #6430, #6440, #6450, #6460, #6470, #6480, #6490, #6500, #6510, #6520, #6530, #6540, #6550, #6560, #6570, #6580, #6590, #6600, #6610, #6620, #6630, #6640, #6650, #6660, #6670, #6680, #6690, #6700, #6710, #6720, #6730, #6740, #6750, #6760, #6770, #6780, #6790, #6800, #6810, #6820, #6830, #6840, #6850, #6860, #6870, #6880, #6890, #6900, #6910, #6920, #6930, #6940, #6950, #6960, #6970, #6980, #6990, #7000, #7010, #7020, #7030, #7040, #7050), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.361636368292915, 0.395275500915333, 0.592775400948339, 0.790206749529346, 0.987582342861601, 1.18491224999883, 1.38220444631392, 1.67823850980068, 1.97419088044048, 2.27007962968088, 2.56591818513402, 2.86171666542902, 3.15748279696365, 3.45322255244919, 3.89689550326125, 4.34051240087508, 4.78408606423313, 5.2276258731674, 5.67113881134996, 6.11463016053044, 6.55810397233748, 7.00156339504913, 7.66678994466282, 8.33198540767338, 8.99715670028339, 9.66230892323742, 10.3274459033276, 10.8936692044368), .UNSPECIFIED.);
#7070 = EDGE_CURVE ('', #6210, #6230, #7060, .T.);
#7080 = ORIENTED_EDGE ('', *, *, #7070, .T.);
#7090 = CARTESIAN_POINT ('', (124.612732907767, 12.0607782985866, -0.973461263915147));
#7100 = VERTEX_POINT ('', #7090);
#7110 = CARTESIAN_POINT ('', (124.612732907767, -1.22050000000009, -12.0382880738916));
#7120 = CARTESIAN_POINT ('', (124.612732907767, -0.611810164614553, -12.1));
#7130 = CARTESIAN_POINT ('', (124.612732907767, -2.22273394045245E-15, -12.1));
#7140 = CARTESIAN_POINT ('', (124.612732907767, 11.162722286538, -12.1));
#7150 = CARTESIAN_POINT ('', (124.612732907767, 12.0607782985866, -0.973461263915148));
#7160 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7110, #7120, #7130, #7140, #7150), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (55.6886869998081, 57.0199066626547, 74.9613209067066), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.961845287730026, 0.979485837412588, 1., 0.723521895655035, 0.969009731606361))
   REPRESENTATION_ITEM ('')
);
#7170 = EDGE_CURVE ('', #6230, #7100, #7160, .T.);
#7180 = ORIENTED_EDGE ('', *, *, #7170, .T.);
#7190 = CARTESIAN_POINT ('', (124.646017600082, 11.7875692445614, -2.379));
#7200 = VERTEX_POINT ('', #7190);
#7210 = CARTESIAN_POINT ('', (124.646017600082, 11.7875692445614, -2.379));
#7220 = CARTESIAN_POINT ('', (124.646721213388, 11.8296763655769, -2.16237764147869));
#7230 = CARTESIAN_POINT ('', (124.644717649068, 11.8717882754716, -1.94573064630833));
#7240 = CARTESIAN_POINT ('', (124.640018677489, 11.9138860635657, -1.72915630150519));
#7250 = CARTESIAN_POINT ('', (124.635317851155, 11.9560004682838, -1.51249647158266));
#7260 = CARTESIAN_POINT ('', (124.627918900015, 11.9981069621981, -1.2958773392183));
#7270 = CARTESIAN_POINT ('', (124.617864721297, 12.040187210022, -1.07939323128325));
#7280 = CARTESIAN_POINT ('', (124.616224637591, 12.0470515328833, -1.04407935154));
#7290 = CARTESIAN_POINT ('', (124.614513946214, 12.0539152546904, -1.00876856395292));
#7300 = CARTESIAN_POINT ('', (124.612732907767, 12.0607782985866, -0.973461263915126));
#7310 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#7210, #7220, #7230, #7240, #7250, #7260, #7270, #7280, #7290, #7300), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (0., 0.662033804506298, 1.32432892361509, 1.43236553846796), .UNSPECIFIED.);
#7320 = EDGE_CURVE ('', #7200, #7100, #7310, .T.);
#7330 = ORIENTED_EDGE ('', *, *, #7320, .F.);
#7340 = CARTESIAN_POINT ('', (128.809542978595, -1.22050000014577, -2.379));
#7350 = CARTESIAN_POINT ('', (128.821262110062, -1.16283597556086, -2.379));
#7360 = CARTESIAN_POINT ('', (128.832350578035, -1.10504003612513, -2.379));
#7370 = CARTESIAN_POINT ('', (128.842738852164, -1.04712236874412, -2.379));
#7380 = CARTESIAN_POINT ('', (128.854228110584, -0.983066391835664, -2.379));
#7390 = CARTESIAN_POINT ('', (128.864862586879, -0.918849947196645, -2.379));
#7400 = CARTESIAN_POINT ('', (128.874548069325, -0.85449652719007, -2.379));
#7410 = CARTESIAN_POINT ('', (128.884228804959, -0.79017464650811, -2.379));
#7420 = CARTESIAN_POINT ('', (128.892963104551, -0.72570191923913, -2.379));
#7430 = CARTESIAN_POINT ('', (128.900662726938, -0.661112935720302, -2.379));
#7440 = CARTESIAN_POINT ('', (128.908360004094, -0.59654362537996, -2.379));
#7450 = CARTESIAN_POINT ('', (128.915024666864, -0.531841678837197, -2.379));
#7460 = CARTESIAN_POINT ('', (128.920581679213, -0.467053072375935, -2.379));
#7470 = CARTESIAN_POINT ('', (128.926138346472, -0.402268489285708, -2.379));
#7480 = CARTESIAN_POINT ('', (128.93058861159, -0.337378607349432, -2.379));
#7490 = CARTESIAN_POINT ('', (128.933878159489, -0.272439423247507, -2.379));
#7500 = CARTESIAN_POINT ('', (128.937168427273, -0.207486027837512, -2.379));
#7510 = CARTESIAN_POINT ('', (128.939298155975, -0.142462994640509, -2.379));
#7520 = CARTESIAN_POINT ('', (128.940240042156, -0.0774331377453846, -2.379));
#7530 = CARTESIAN_POINT ('', (128.940521146129, -0.0580251120997485, -2.379));
#7540 = CARTESIAN_POINT ('', (128.940696681397, -0.0386152692033225, -2.379));
#7550 = CARTESIAN_POINT ('', (128.940766443649, -0.019205333290661, -2.379));
#7560 = CARTESIAN_POINT ('', (128.940813035675, -0.00624204416617004, -2.379));
#7570 = CARTESIAN_POINT ('', (128.940812453997, 0.00672150033894683, -2.379));
#7580 = CARTESIAN_POINT ('', (128.940764698918, 0.019684785231073, -2.379));
#7590 = CARTESIAN_POINT ('', (128.940520777333, 0.085898159866075, -2.379));
#7600 = CARTESIAN_POINT ('', (128.939043263206, 0.152118131340785, -2.379));
#7610 = CARTESIAN_POINT ('', (128.936351936672, 0.218277236834881, -2.379));
#7620 = CARTESIAN_POINT ('', (128.933659191897, 0.28447120598882, -2.379));
#7630 = CARTESIAN_POINT ('', (128.929750775793, 0.350626040774322, -2.379));
#7640 = CARTESIAN_POINT ('', (128.924677012201, 0.416680180309959, -2.379));
#7650 = CARTESIAN_POINT ('', (128.919601921508, 0.482751597078945, -2.379));
#7660 = CARTESIAN_POINT ('', (128.913359823689, 0.548742514337888, -2.379));
#7670 = CARTESIAN_POINT ('', (128.906025382129, 0.614601413709292, -2.379));
#7680 = CARTESIAN_POINT ('', (128.898690943346, 0.680460288140685, -2.379));
#7690 = CARTESIAN_POINT ('', (128.890262738021, 0.746205145028476, -2.379));
#7700 = CARTESIAN_POINT ('', (128.880831574132, 0.81179659631073, -2.379));
#7710 = CARTESIAN_POINT ('', (128.871402559221, 0.877373101969256, -2.379));
#7720 = CARTESIAN_POINT ('', (128.860969376374, 0.942811654832819, -2.379));
#7730 = CARTESIAN_POINT ('', (128.849630696083, 1.00808507013985, -2.379));
#7740 = CARTESIAN_POINT ('', (128.838296580258, 1.07333220917513, -2.379));
#7750 = CARTESIAN_POINT ('', (128.826055928389, 1.1384270556875, -2.379));
#7760 = CARTESIAN_POINT ('', (128.813008297232, 1.20335324959257, -2.379));
#7770 = CARTESIAN_POINT ('', (128.799967445744, 1.26824570724781, -2.379));
#7780 = CARTESIAN_POINT ('', (128.786118711149, 1.33297991177319, -2.379));
#7790 = CARTESIAN_POINT ('', (128.771557495983, 1.39754821576958, -2.379));
#7800 = CARTESIAN_POINT ('', (128.757004786805, 1.46207880195481, -2.379));
#7810 = CARTESIAN_POINT ('', (128.741738805601, 1.52645173689916, -2.379));
#7820 = CARTESIAN_POINT ('', (128.725847694099, 1.59066583560863, -2.379));
#7830 = CARTESIAN_POINT ('', (128.701956588102, 1.68720696418874, -2.379));
#7840 = CARTESIAN_POINT ('', (128.676650621713, 1.78340527648464, -2.379));
#7850 = CARTESIAN_POINT ('', (128.650192183734, 1.87927459124697, -2.379));
#7860 = CARTESIAN_POINT ('', (128.623767414555, 1.97502191071751, -2.379));
#7870 = CARTESIAN_POINT ('', (128.596189097138, 2.07045581402918, -2.379));
#7880 = CARTESIAN_POINT ('', (128.567672978763, 2.16560122172065, -2.379));
#7890 = CARTESIAN_POINT ('', (128.539190068873, 2.26063582769827, -2.379));
#7900 = CARTESIAN_POINT ('', (128.509768330641, 2.35539240843323, -2.379));
#7910 = CARTESIAN_POINT ('', (128.479581579185, 2.44989961728865, -2.379));
#7920 = CARTESIAN_POINT ('', (128.449425671778, 2.54431026109675, -2.379));
#7930 = CARTESIAN_POINT ('', (128.418503849279, 2.63847855278392, -2.379));
#7940 = CARTESIAN_POINT ('', (128.386954831704, 2.73243283903963, -2.379));
#7950 = CARTESIAN_POINT ('', (128.355433412256, 2.82630493692424, -2.379));
#7960 = CARTESIAN_POINT ('', (128.323284047335, 2.91996775864108, -2.379));
#7970 = CARTESIAN_POINT ('', (128.290617167996, 3.01344741225355, -2.379));
#7980 = CARTESIAN_POINT ('', (128.257974418557, 3.10685801566379, -2.379));
#7990 = CARTESIAN_POINT ('', (128.224813550379, 3.20008866698815, -2.379));
#8000 = CARTESIAN_POINT ('', (128.191222626135, 3.29316250718433, -2.379));
#8010 = CARTESIAN_POINT ('', (128.15765250765, 3.38617869871616, -2.379));
#8020 = CARTESIAN_POINT ('', (128.123651855514, 3.47904029230963, -2.379));
#8030 = CARTESIAN_POINT ('', (128.089291196772, 3.57176736426278, -2.379));
#8040 = CARTESIAN_POINT ('', (128.054948336411, 3.66444640478181, -2.379));
#8050 = CARTESIAN_POINT ('', (128.020245095735, 3.75699246701448, -2.379));
#8060 = CARTESIAN_POINT ('', (127.985238285171, 3.84942276412227, -2.379));
#8070 = CARTESIAN_POINT ('', (127.950246641096, 3.94181301636347, -2.379));
#8080 = CARTESIAN_POINT ('', (127.914951135892, 4.03408859460569, -2.379));
#8090 = CARTESIAN_POINT ('', (127.879397832826, 4.12626416894846, -2.379));
#8100 = CARTESIAN_POINT ('', (127.843857437794, 4.21840627789557, -2.379));
#8110 = CARTESIAN_POINT ('', (127.808059017989, 4.31044916500075, -2.379));
#8120 = CARTESIAN_POINT ('', (127.772040182355, 4.40240530345768, -2.379));
#8130 = CARTESIAN_POINT ('', (127.736032338908, 4.49433337884831, -2.379));
#8140 = CARTESIAN_POINT ('', (127.699803902451, 4.58617527367579, -2.379));
#8150 = CARTESIAN_POINT ('', (127.663385795347, 4.67794159271342, -2.379));
#8160 = CARTESIAN_POINT ('', (127.626977065496, 4.76968428295592, -2.379));
#8170 = CARTESIAN_POINT ('', (127.590378526122, 4.8613518154093, -2.37899999999958));
#8180 = CARTESIAN_POINT ('', (127.553615778411, 4.95295321934527, -2.37899999999958));
#8190 = CARTESIAN_POINT ('', (127.516861050724, 5.04453463986213, -2.37899999999958));
#8200 = CARTESIAN_POINT ('', (127.479942005326, 5.13605024322397, -2.37899999999974));
#8210 = CARTESIAN_POINT ('', (127.442879980975, 5.22750773576721, -2.37899999999974));
#8220 = CARTESIAN_POINT ('', (127.405824836845, 5.3189482500768, -2.37899999999974));
#8230 = CARTESIAN_POINT ('', (127.368626627158, 5.41033088820639, -2.37899999999985));
#8240 = CARTESIAN_POINT ('', (127.33130325342, 5.50166224720484, -2.37899999999985));
#8250 = CARTESIAN_POINT ('', (127.293985801963, 5.59297911421113, -2.37899999999985));
#8260 = CARTESIAN_POINT ('', (127.256543117488, 5.68424488085553, -2.3789999999999));
#8270 = CARTESIAN_POINT ('', (127.218990311141, 5.77546521366854, -2.3789999999999));
#8280 = CARTESIAN_POINT ('', (127.162640190682, 5.91234650809888, -2.3789999999999));
#8290 = CARTESIAN_POINT ('', (127.106042354541, 6.04912600457735, -2.379));
#8300 = CARTESIAN_POINT ('', (127.049238514111, 6.18581963483531, -2.379));
#8310 = CARTESIAN_POINT ('', (126.99244869228, 6.32247953052552, -2.379));
#8320 = CARTESIAN_POINT ('', (126.935452672823, 6.45905386710752, -2.379));
#8330 = CARTESIAN_POINT ('', (126.878283484349, 6.59555549655946, -2.379));
#8340 = CARTESIAN_POINT ('', (126.821125722005, 6.73202984408988, -2.379));
#8350 = CARTESIAN_POINT ('', (126.763794648083, 6.86843169792886, -2.37899999999957));
#8360 = CARTESIAN_POINT ('', (126.706316719054, 7.00477151238011, -2.37899999999957));
#8370 = CARTESIAN_POINT ('', (126.648848176161, 7.14108906256279, -2.37899999999957));
#8380 = CARTESIAN_POINT ('', (126.591232671812, 7.27734472454657, -2.37899999999976));
#8390 = CARTESIAN_POINT ('', (126.533491623923, 7.41354707143787, -2.37899999999976));
#8400 = CARTESIAN_POINT ('', (126.4757583447, 7.54973109322821, -2.37899999999976));
#8410 = CARTESIAN_POINT ('', (126.417899441704, 7.68586190889509, -2.37899999999986));
#8420 = CARTESIAN_POINT ('', (126.359932423763, 7.82194660366958, -2.37899999999986));
#8430 = CARTESIAN_POINT ('', (126.301971882167, 7.95801609442752, -2.37899999999986));
#8440 = CARTESIAN_POINT ('', (126.243903164443, 8.09403954408647, -2.37899999999992));
#8450 = CARTESIAN_POINT ('', (126.18574071288, 8.23002285161134, -2.37899999999992));
#8460 = CARTESIAN_POINT ('', (126.1275836973, 8.36599344985676, -2.37899999999992));
#8470 = CARTESIAN_POINT ('', (126.069332900746, 8.5019239652506, -2.37899999999995));
#8480 = CARTESIAN_POINT ('', (126.011000335092, 8.63781934351147, -2.37899999999995));
#8490 = CARTESIAN_POINT ('', (125.952672361721, 8.77370402328897, -2.37899999999995));
#8500 = CARTESIAN_POINT ('', (125.894262582585, 8.90955361056696, -2.37899999999997));
#8510 = CARTESIAN_POINT ('', (125.835781064854, 9.04537227923833, -2.37899999999997));
#8520 = CARTESIAN_POINT ('', (125.777303450341, 9.18118188299606, -2.37899999999997));
#8530 = CARTESIAN_POINT ('', (125.718754068452, 9.31696060216481, -2.37899999999998));
#8540 = CARTESIAN_POINT ('', (125.660141416444, 9.4527119811504, -2.37899999999998));
#8550 = CARTESIAN_POINT ('', (125.572208969184, 9.65637024543284, -2.37899999999998));
#8560 = CARTESIAN_POINT ('', (125.48413430428, 9.85996714577324, -2.37899999999972));
#8570 = CARTESIAN_POINT ('', (125.395940874992, 10.0635125287275, -2.37899999999972));
#8580 = CARTESIAN_POINT ('', (125.307756502235, 10.2670370097263, -2.37899999999972));
#8590 = CARTESIAN_POINT ('', (125.219453266718, 10.4705100181452, -2.37899999999985));
#8600 = CARTESIAN_POINT ('', (125.131049779718, 10.6739394197829, -2.37899999999985));
#8610 = CARTESIAN_POINT ('', (125.042653602899, 10.877351999624, -2.37899999999985));
#8620 = CARTESIAN_POINT ('', (124.954157103225, 11.0807210036756, -2.37899999999992));
#8630 = CARTESIAN_POINT ('', (124.865575230819, 11.2840527857341, -2.37899999999992));
#8640 = CARTESIAN_POINT ('', (124.792445309347, 11.4519159935332, -2.37899999999992));
#8650 = CARTESIAN_POINT ('', (124.719257114885, 11.6197538238794, -2.379));
#8660 = CARTESIAN_POINT ('', (124.646017600082, 11.7875692445614, -2.379));
#8670 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#7340, #7350, #7360, #7370, #7380, #7390, #7400, #7410, #7420, #7430, #7440, #7450, #7460, #7470, #7480, #7490, #7500, #7510, #7520, #7530, #7540, #7550, #7560, #7570, #7580, #7590, #7600, #7610, #7620, #7630, #7640, #7650, #7660, #7670, #7680, #7690, #7700, #7710, #7720, #7730, #7740, #7750, #7760, #7770, #7780, #7790, #7800, #7810, #7820, #7830, #7840, #7850, #7860, #7870, #7880, #7890, #7900, #7910, #7920, #7930, #7940, #7950, #7960, #7970, #7980, #7990, #8000, #8010, #8020, #8030, #8040, #8050, #8060, #8070, #8080, #8090, #8100, #8110, #8120, #8130, #8140, #8150, #8160, #8170, #8180, #8190, #8200, #8210, #8220, #8230, #8240, #8250, #8260, #8270, #8280, #8290, #8300, #8310, #8320, #8330, #8340, #8350, #8360, #8370, #8380, #8390, #8400, #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), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (11.3705032653589, 11.5470290479176, 11.7422636276693, 11.9374025238227, 12.1324819825594, 12.3275493268659, 12.5226593597612, 12.5808895436022, 12.619779662163, 12.8184211339272, 13.0171672831754, 13.2159654168051, 13.4147634751523, 13.6135162355084, 13.8121889865449, 14.0107585053856, 14.2092120291149, 14.5075721639852, 14.8055526306393, 15.1031860837359, 15.4005154225874, 15.6975846667162, 15.9944344760204, 16.2911004206105, 16.5876126960459, 16.8839965093332, 17.1802727170899, 17.4764585076217, 17.7725680336433, 18.06861296152, 18.3646029314068, 18.6605459351214, 19.1046252338574, 19.5485949384363, 19.9924759089342, 20.436284393745, 20.8800331671375, 21.3237323628483, 21.7673900895202, 22.2110128888466, 22.6546060795603, 23.3200978037944, 23.9855211890753, 24.6508895497791, 25.2001930883846), .UNSPECIFIED.);
#8680 = EDGE_CURVE ('', #6210, #7200, #8670, .T.);
#8690 = ORIENTED_EDGE ('', *, *, #8680, .F.);
#8700 = EDGE_LOOP ('', (#7080, #7180, #7330, #8690));
#8710 = FACE_OUTER_BOUND ('', #8700, .T.);
#8720 = CARTESIAN_POINT ('', (124.612732907767, 5.5232228718984, 10.7658724266702));
#8730 = CARTESIAN_POINT ('', (128.940813035675, 1.08591713884177, 2.11667094626709));
#8740 = CARTESIAN_POINT ('', (124.612732907767, 2.92273985890084, 12.1));
#8750 = CARTESIAN_POINT ('', (128.940813035675, 0.574637920425887, 2.37897287231307));
#8760 = CARTESIAN_POINT ('', (124.612732907767, 7.40911313484149E-16, 12.1));
#8770 = CARTESIAN_POINT ('', (128.940813035675, 1.4567007566683E-16, 2.37897287231307));
#8780 = CARTESIAN_POINT ('', (124.612732907767, -12.1, 12.1));
#8790 = CARTESIAN_POINT ('', (128.940813035675, -2.37897287231307, 2.37897287231307));
#8800 = CARTESIAN_POINT ('', (124.612732907767, -12.1, 1.4818226269683E-15));
#8810 = CARTESIAN_POINT ('', (128.940813035675, -2.37897287231307, 2.91340151333659E-16));
#8820 = CARTESIAN_POINT ('', (124.612732907767, -12.1, -12.1));
#8830 = CARTESIAN_POINT ('', (128.940813035675, -2.37897287231307, -2.37897287231307));
#8840 = CARTESIAN_POINT ('', (124.612732907767, -2.22273394045245E-15, -12.1));
#8850 = CARTESIAN_POINT ('', (128.940813035675, -4.37010227000489E-16, -2.37897287231307));
#8860 = CARTESIAN_POINT ('', (124.612732907767, 11.1627222865381, -12.1));
#8870 = CARTESIAN_POINT ('', (128.940813035675, 2.19469533064782, -2.37897287231307));
#8880 = CARTESIAN_POINT ('', (124.612732907767, 12.0607782985866, -0.973461263915127));
#8890 = CARTESIAN_POINT ('', (128.940813035675, 2.37126151994378, -0.191391565215015));
#8900 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8720, #8730), (#8740, #8750), (#8760, #8770), (#8780, #8790), (#8800, #8810), (#8820, #8830), (#8840, #8850), (#8860, #8870), (#8880, #8890)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0.172367015842066, 0.25, 0.5, 0.75, 0.985988823388446), (0., 0.803390671709663), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.874582038263204, 0.874582038263204), (0.909047301535556, 0.909047301535556), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.723521895655034, 0.723521895655034), (0.969009731606361, 0.969009731606361)))
   REPRESENTATION_ITEM ('')
);
#8910 = ADVANCED_FACE ('', (#8710), #8900, .T.);
#8920 = ORIENTED_EDGE ('', *, *, #7320, .T.);
#8930 = CARTESIAN_POINT ('', (116.189221701413, 12.0607782985865, -0.973461263915293));
#8940 = VERTEX_POINT ('', #8930);
#8950 = CARTESIAN_POINT ('', (116.189221701413, 12.0607782985865, -0.973461263915293));
#8960 = CARTESIAN_POINT ('', (118.997058770198, 12.0607782985865, -0.973461263915293));
#8970 = CARTESIAN_POINT ('', (121.804895838982, 12.0607782985866, -0.973461263915146));
#8980 = CARTESIAN_POINT ('', (124.612732907767, 12.0607782985866, -0.973461263915146));
#8990 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#8950, #8960, #8970, #8980), .UNSPECIFIED., .F., .U., (4, 4), (0., 8.42351120635325), .UNSPECIFIED.);
#9000 = EDGE_CURVE ('', #8940, #7100, #8990, .T.);
#9010 = ORIENTED_EDGE ('', *, *, #9000, .F.);
#9020 = CARTESIAN_POINT ('', (116.462430755439, 11.7875692445614, -2.379));
#9030 = VERTEX_POINT ('', #9020);
#9040 = CARTESIAN_POINT ('', (116.462430755439, 11.7875692445614, -2.379));
#9050 = CARTESIAN_POINT ('', (116.189221701413, 12.0607782985865, -0.973461263915296));
#9060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9040, #9050), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.590810733957421), .UNSPECIFIED.);
#9070 = EDGE_CURVE ('', #9030, #8940, #9060, .T.);
#9080 = ORIENTED_EDGE ('', *, *, #9070, .F.);
#9090 = CARTESIAN_POINT ('', (116.462430755439, 11.7875692445614, -2.379));
#9100 = CARTESIAN_POINT ('', (124.646017600082, 11.7875692445614, -2.379));
#9110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9090, #9100), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.836492862184692), .UNSPECIFIED.);
#9120 = EDGE_CURVE ('', #9030, #7200, #9110, .T.);
#9130 = ORIENTED_EDGE ('', *, *, #9120, .T.);
#9140 = EDGE_LOOP ('', (#8920, #9010, #9080, #9130));
#9150 = FACE_OUTER_BOUND ('', #9140, .T.);
#9160 = CARTESIAN_POINT ('', (116.462430755439, 11.7875692445614, -2.379));
#9170 = CARTESIAN_POINT ('', (116.189221701413, 12.0607782985866, -0.973461263915105));
#9180 = CARTESIAN_POINT ('', (124.646017600082, 11.7875692445614, -2.379));
#9190 = CARTESIAN_POINT ('', (124.749759907834, 12.0607782985866, -0.973461263915105));
#9200 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9160, #9170), (#9180, #9190)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.836492862184692), (0., 0.590810733957501), .UNSPECIFIED.);
#9210 = ADVANCED_FACE ('', (#9150), #9200, .T.);
#9220 = ORIENTED_EDGE ('', *, *, #1130, .T.);
#9230 = CARTESIAN_POINT ('', (116.189221701413, -12.0607782985866, 0.97346126391513));
#9240 = VERTEX_POINT ('', #9230);
#9250 = CARTESIAN_POINT ('', (116.189221701413, -12.0607782985866, 0.97346126391513));
#9260 = CARTESIAN_POINT ('', (118.997058770198, -12.0607782985866, 0.973461263915128));
#9270 = CARTESIAN_POINT ('', (121.804895838982, -12.0607782985866, 0.973461263915272));
#9280 = CARTESIAN_POINT ('', (124.612732907767, -12.0607782985866, 0.973461263915272));
#9290 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#9250, #9260, #9270, #9280), .UNSPECIFIED., .F., .U., (4, 4), (0., 8.42351120635327), .UNSPECIFIED.);
#9300 = EDGE_CURVE ('', #9240, #910, #9290, .T.);
#9310 = ORIENTED_EDGE ('', *, *, #9300, .F.);
#9320 = CARTESIAN_POINT ('', (116.462430755439, -11.7875692445614, 2.379));
#9330 = VERTEX_POINT ('', #9320);
#9340 = CARTESIAN_POINT ('', (116.462430755439, -11.7875692445614, 2.379));
#9350 = CARTESIAN_POINT ('', (116.189221701413, -12.0607782985866, 0.973461263915129));
#9360 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9340, #9350), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.590810733957491), .UNSPECIFIED.);
#9370 = EDGE_CURVE ('', #9330, #9240, #9360, .T.);
#9380 = ORIENTED_EDGE ('', *, *, #9370, .F.);
#9390 = CARTESIAN_POINT ('', (124.646017600082, -11.7875692445614, 2.379));
#9400 = CARTESIAN_POINT ('', (116.462430755439, -11.7875692445614, 2.379));
#9410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9390, #9400), .UNSPECIFIED., .F., .U., (2, 2), (0.163507137815309, 1.), .UNSPECIFIED.);
#9420 = EDGE_CURVE ('', #1010, #9330, #9410, .T.);
#9430 = ORIENTED_EDGE ('', *, *, #9420, .F.);
#9440 = EDGE_LOOP ('', (#9220, #9310, #9380, #9430));
#9450 = FACE_OUTER_BOUND ('', #9440, .T.);
#9460 = CARTESIAN_POINT ('', (124.646017600082, -11.7875692445614, 2.379));
#9470 = CARTESIAN_POINT ('', (116.462430755439, -11.7875692445614, 2.379));
#9480 = CARTESIAN_POINT ('', (124.749759907834, -12.0607782985866, 0.973461263915125));
#9490 = CARTESIAN_POINT ('', (116.189221701413, -12.0607782985866, 0.973461263915125));
#9500 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9460, #9470), (#9480, #9490)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.590810733957493), (0.163507137815309, 1.), .UNSPECIFIED.);
#9510 = ADVANCED_FACE ('', (#9450), #9500, .T.);
#9520 = CARTESIAN_POINT ('', (18.7084537066889, -12.0983469945278, 0.200000000000094));
#9530 = VERTEX_POINT ('', #9520);
#9540 = CARTESIAN_POINT ('', (116.038876061828, -12.0983469945278, 0.200000000000082));
#9550 = VERTEX_POINT ('', #9540);
#9560 = CARTESIAN_POINT ('', (18.7084537066889, -12.0983469945278, 0.200000000000085));
#9570 = CARTESIAN_POINT ('', (116.038876061828, -12.0983469945278, 0.200000000000085));
#9580 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9560, #9570), .UNSPECIFIED., .F., .U., (2, 2), (0.013304052920579, 0.920118527178067), .UNSPECIFIED.);
#9590 = EDGE_CURVE ('', #9530, #9550, #9580, .T.);
#9600 = ORIENTED_EDGE ('', *, *, #9590, .T.);
#9610 = CARTESIAN_POINT ('', (116.038876061828, -12.0983469945278, 0.200000000000082));
#9620 = CARTESIAN_POINT ('', (116.06844333431, -12.095832429018, 0.352110430389631));
#9630 = CARTESIAN_POINT ('', (116.09801344826, -12.0904463414623, 0.504235478866029));
#9640 = CARTESIAN_POINT ('', (116.127542683751, -12.082196277211, 0.656150225899375));
#9650 = CARTESIAN_POINT ('', (116.148118220936, -12.0764477537238, 0.762002188354404));
#9660 = CARTESIAN_POINT ('', (116.168681317466, -12.0693073283351, 0.867790149190422));
#9670 = CARTESIAN_POINT ('', (116.189221701413, -12.0607782985866, 0.97346126391513));
#9680 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#9610, #9620, #9630, #9640, #9650, #9660, #9670), .UNSPECIFIED., .F., .U., (4, 3, 4), (0.203734741106717, 0.668668249336981, 0.99262708294826), .UNSPECIFIED.);
#9690 = EDGE_CURVE ('', #9550, #9240, #9680, .T.);
#9700 = ORIENTED_EDGE ('', *, *, #9690, .T.);
#9710 = ORIENTED_EDGE ('', *, *, #9300, .T.);
#9720 = ORIENTED_EDGE ('', *, *, #980, .F.);
#9730 = CARTESIAN_POINT ('', (35.16, 1.2205, 12.0382880738916));
#9740 = VERTEX_POINT ('', #9730);
#9750 = CARTESIAN_POINT ('', (35.16, 1.2205, 12.0382880738916));
#9760 = CARTESIAN_POINT ('', (124.612732907767, 1.22049999999998, 12.0382880738916));
#9770 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9750, #9760), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9780 = EDGE_CURVE ('', #9740, #40, #9770, .T.);
#9790 = ORIENTED_EDGE ('', *, *, #9780, .F.);
#9800 = CARTESIAN_POINT ('', (18.7077502982116, 12.1, 0.));
#9810 = VERTEX_POINT ('', #9800);
#9820 = CARTESIAN_POINT ('', (35.16, 1.2205, 12.0382880738916));
#9830 = CARTESIAN_POINT ('', (34.8255314252405, 1.2205, 12.0382880738916));
#9840 = CARTESIAN_POINT ('', (34.4909297512331, 1.22989281816042, 12.0373468623962));
#9850 = CARTESIAN_POINT ('', (34.1569935332231, 1.24865556106198, 12.0354002546583));
#9860 = CARTESIAN_POINT ('', (33.8232104146124, 1.26740970182783, 12.0334545393796));
#9870 = CARTESIAN_POINT ('', (33.4898262654279, 1.29554018225637, 12.0305026677454));
#9880 = CARTESIAN_POINT ('', (33.1576397644939, 1.33297791588969, 12.0263531411542));
#9890 = CARTESIAN_POINT ('', (32.8255992150532, 1.37039920065132, 12.0222054377244));
#9900 = CARTESIAN_POINT ('', (32.4944896686036, 1.41714965600839, 12.0168575674668));
#9910 = CARTESIAN_POINT ('', (32.1651121676102, 1.47311238132485, 12.0099933352183));
#9920 = CARTESIAN_POINT ('', (31.8358710499046, 1.52905193450464, 12.0031319451996));
#9930 = CARTESIAN_POINT ('', (31.5080947838089, 1.59424158612273, 11.9947495573126));
#9940 = CARTESIAN_POINT ('', (31.182590792594, 1.66851307986488, 11.9844092095656));
#9950 = CARTESIAN_POINT ('', (30.8572117403799, 1.7427560657962, 11.9740728307797));
#9960 = CARTESIAN_POINT ('', (30.5338363172123, 1.82613533121546, 11.9617710528174));
#9970 = CARTESIAN_POINT ('', (30.2132845719795, 1.91842478920564, 11.9469513403278));
#9980 = CARTESIAN_POINT ('', (29.892845172976, 2.01068190180149, 11.9321368218166));
#9990 = CARTESIAN_POINT ('', (29.5749578230615, 2.11192139404422, 11.9147930616216));
#10000 = CARTESIAN_POINT ('', (29.2604636620069, 2.22184870174765, 11.8942586295469));
#10010 = CARTESIAN_POINT ('', (28.9460689388044, 2.33174125225456, 11.87373069012));
#10020 = CARTESIAN_POINT ('', (28.634790608508, 2.45041331040284, 11.8499953388297));
#10030 = CARTESIAN_POINT ('', (28.32750102383, 2.57748572430222, 11.822291120634));
#10040 = CARTESIAN_POINT ('', (28.0202985109588, 2.70452213169433, 11.7945947525461));
#10050 = CARTESIAN_POINT ('', (27.7168000250059, 2.84007261634188, 11.7629051173687));
#10060 = CARTESIAN_POINT ('', (27.4179196890665, 2.98365076361715, 11.726373186999));
#10070 = CARTESIAN_POINT ('', (27.119115416022, 3.1271923712871, 11.6898505537427));
#10080 = CARTESIAN_POINT ('', (26.8246335320741, 3.27890077362492, 11.6484504672651));
#10090 = CARTESIAN_POINT ('', (26.535438930022, 3.43815251637841, 11.6012545560436));
#10100 = CARTESIAN_POINT ('', (26.3428660641642, 3.54419724984602, 11.5698270957237));
#10110 = CARTESIAN_POINT ('', (26.1525256343852, 3.65364500815316, 11.5358104734068));
#10120 = CARTESIAN_POINT ('', (25.9647162750373, 3.76626994278836, 11.4989221546217));
#10130 = CARTESIAN_POINT ('', (25.7769263690008, 3.87888321172209, 11.4620376567321));
#10140 = CARTESIAN_POINT ('', (25.5915729160493, 3.99472986388628, 11.4222631314339));
#10150 = CARTESIAN_POINT ('', (25.4089653198336, 4.11354468474312, 11.379312374947));
#10160 = CARTESIAN_POINT ('', (25.2263764364414, 4.23234732997958, 11.3363660198648));
#10170 = CARTESIAN_POINT ('', (25.0464351869614, 4.35418156904721, 11.2902205475193));
#10180 = CARTESIAN_POINT ('', (24.8694605830993, 4.47873744305191, 11.2405921070113));
#10190 = CARTESIAN_POINT ('', (24.6925043414744, 4.60328039359502, 11.1909688157687));
#10200 = CARTESIAN_POINT ('', (24.5184127731549, 4.73061627740681, 11.1378341494825));
#10210 = CARTESIAN_POINT ('', (24.3475121483181, 4.86038530341391, 11.0809139831676));
#10220 = CARTESIAN_POINT ('', (24.1766299189208, 4.99014036131373, 11.0239999436382));
#10230 = CARTESIAN_POINT ('', (24.0088329506738, 5.12240830554449, 10.9632653919679));
#10240 = CARTESIAN_POINT ('', (23.8444510300215, 5.25677523992266, 10.8984546646273));
#10250 = CARTESIAN_POINT ('', (23.6800878944012, 5.39112681928406, 10.833651343646));
#10260 = CARTESIAN_POINT ('', (23.519030681543, 5.52766599439811, 10.7647290553823));
#10270 = CARTESIAN_POINT ('', (23.3616074424019, 5.66592194057168, 10.6914605439738));
#10280 = CARTESIAN_POINT ('', (23.2042036830921, 5.80416077870881, 10.6182010989411));
#10290 = CARTESIAN_POINT ('', (23.0503218604483, 5.94421403046539, 10.5405436450804));
#10300 = CARTESIAN_POINT ('', (22.9002815582774, 6.08555325879399, 10.4583001264251));
#10310 = CARTESIAN_POINT ('', (22.7502616600631, 6.22687326642368, 10.3760677920526));
#10320 = CARTESIAN_POINT ('', (22.6039691427923, 6.36958578287032, 10.2891874290351));
#10330 = CARTESIAN_POINT ('', (22.4617071447871, 6.51310686415237, 10.1975212172435));
#10340 = CARTESIAN_POINT ('', (22.3194666055553, 6.65660629674106, 10.1058688323664));
#10350 = CARTESIAN_POINT ('', (22.1811414235679, 6.80102917716548, 10.0093573913013));
#10360 = CARTESIAN_POINT ('', (22.0470095393826, 6.94574142821711, 9.9079097700953));
#10370 = CARTESIAN_POINT ('', (21.9129001839985, 7.09042937338836, 9.80647918803926));
#10380 = CARTESIAN_POINT ('', (21.782869251577, 7.23552895192895, 9.700027124726));
#10390 = CARTESIAN_POINT ('', (21.6571606638227, 7.38036476201654, 9.58854608267522));
#10400 = CARTESIAN_POINT ('', (21.5314755679837, 7.52517350577046, 9.47708587375321));
#10410 = CARTESIAN_POINT ('', (21.4099996959632, 7.66984672173942, 9.36049874737949));
#10420 = CARTESIAN_POINT ('', (21.2929349314567, 7.81367966807664, 9.2388532862411));
#10430 = CARTESIAN_POINT ('', (21.1758943997981, 7.95748284045129, 9.11723300617214));
#10440 = CARTESIAN_POINT ('', (21.0631551339883, 8.10057817968062, 8.9904436465145));
#10450 = CARTESIAN_POINT ('', (20.9548706720743, 8.24224604133497, 8.85863308835515));
#10460 = CARTESIAN_POINT ('', (20.8466108676337, 8.38388164377623, 8.72685254480062));
#10470 = CARTESIAN_POINT ('', (20.7427007754733, 8.52422433669421, 8.58992749131744));
#10480 = CARTESIAN_POINT ('', (20.6432417767938, 8.6625553443873, 8.44808468858062));
#10490 = CARTESIAN_POINT ('', (20.5438074825225, 8.80085199233707, 8.30627711787439));
#10500 = CARTESIAN_POINT ('', (20.4487252466875, 8.93727144218462, 8.15941655482757));
#10510 = CARTESIAN_POINT ('', (20.3580434825797, 9.07111155180187, 8.00780464389399));
#10520 = CARTESIAN_POINT ('', (20.2673860692003, 9.20491572140206, 7.85623344523032));
#10530 = CARTESIAN_POINT ('', (20.1810372011951, 9.33627274570662, 7.69976469677458));
#10540 = CARTESIAN_POINT ('', (20.0989946344938, 9.46451155206977, 7.53876787550471));
#10550 = CARTESIAN_POINT ('', (20.0169756780513, 9.5927134537927, 7.37781738599614));
#10560 = CARTESIAN_POINT ('', (19.939178946385, 9.71792497162556, 7.21218288086691));
#10570 = CARTESIAN_POINT ('', (19.8655566964499, 9.8395181397243, 7.04229243769675));
#10580 = CARTESIAN_POINT ('', (19.7919569717803, 9.96107410550463, 6.87245397374928));
#10590 = CARTESIAN_POINT ('', (19.7224559155153, 10.0791333805335, 6.69819523954187));
#10600 = CARTESIAN_POINT ('', (19.6569676988409, 10.1931200906704, 6.51999254732524));
#10610 = CARTESIAN_POINT ('', (19.5915006365512, 10.307069980157, 6.34184741917903));
#10620 = CARTESIAN_POINT ('', (19.5299789703959, 10.4170612979402, 6.15958698533183));
#10630 = CARTESIAN_POINT ('', (19.4722876770017, 10.5225760090309, 5.97372531458981));
#10640 = CARTESIAN_POINT ('', (19.4146159439564, 10.628054945147, 5.78792666062045));
#10650 = CARTESIAN_POINT ('', (19.3607153600077, 10.7291624571549, 5.59834970892045));
#10660 = CARTESIAN_POINT ('', (19.3104512656143, 10.8254410893186, 5.40553653411912));
#10670 = CARTESIAN_POINT ('', (19.2602049716055, 10.9216856256391, 5.21279164163148));
#10680 = CARTESIAN_POINT ('', (19.213543822734, 11.0131968370416, 5.0166289164985));
#10690 = CARTESIAN_POINT ('', (19.1703230274418, 11.0995781009221, 4.8176099864492));
#10700 = CARTESIAN_POINT ('', (19.1271181528144, 11.1859275456946, 4.61866436633471));
#10710 = CARTESIAN_POINT ('', (19.0873097056175, 11.2672324341753, 4.41667737453572));
#10720 = CARTESIAN_POINT ('', (19.0507516544844, 11.3431554100584, 4.21222332542633));
#10730 = CARTESIAN_POINT ('', (19.0142075580391, 11.4190494051454, 4.00784731911024));
#10740 = CARTESIAN_POINT ('', (18.9808768323974, 11.4896363988384, 3.80081634323621));
#10750 = CARTESIAN_POINT ('', (18.9506201156027, 11.5546355943997, 3.59171216561611));
#10760 = CARTESIAN_POINT ('', (18.9203753233286, 11.6196091730292, 3.38269039836107));
#10770 = CARTESIAN_POINT ('', (18.8931738940723, 11.6790592246346, 3.17140541807068));
#10780 = CARTESIAN_POINT ('', (18.8688898606702, 11.7327582720376, 2.95844272040795));
#10790 = CARTESIAN_POINT ('', (18.8446156708655, 11.7864355523894, 2.74556634773951));
#10800 = CARTESIAN_POINT ('', (18.8232341237804, 11.8344153989282, 2.53082065563534));
#10810 = CARTESIAN_POINT ('', (18.8046381193725, 11.8765203673216, 2.3147924236522));
#10820 = CARTESIAN_POINT ('', (18.7860498349671, 11.9186078561289, 2.09885387429347));
#10830 = CARTESIAN_POINT ('', (18.7702278070546, 11.9548633297223, 1.88143999433783));
#10840 = CARTESIAN_POINT ('', (18.7570880391908, 11.985156399755, 1.66313741867992));
#10850 = CARTESIAN_POINT ('', (18.7439538309428, 12.015436652375, 1.44492720983116));
#10860 = CARTESIAN_POINT ('', (18.7334877150475, 12.039786670843, 1.22563465295683));
#10870 = CARTESIAN_POINT ('', (18.7256318614809, 12.0581206956074, 1.00584555979812));
#10880 = CARTESIAN_POINT ('', (18.7177793768305, 12.076446857981, 0.786150721325771));
#10890 = CARTESIAN_POINT ('', (18.7125278434225, 12.0887785150788, 0.565765111376816));
#10900 = CARTESIAN_POINT ('', (18.7098475613786, 12.0950728057945, 0.345273547396528));
#10910 = CARTESIAN_POINT ('', (18.7084490247176, 12.0983570856487, 0.230223888216612));
#10920 = CARTESIAN_POINT ('', (18.7077502982116, 12.1, 0.115105023679977));
#10930 = CARTESIAN_POINT ('', (18.7077502982116, 12.1, 1.16459828673873E-31));
#10940 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#9820, #9830, #9840, #9850, #9860, #9870, #9880, #9890, #9900, #9910, #9920, #9930, #9940, #9950, #9960, #9970, #9980, #9990, #10000, #10010, #10020, #10030, #10040, #10050, #10060, #10070, #10080, #10090, #10100, #10110, #10120, #10130, #10140, #10150, #10160, #10170, #10180, #10190, #10200, #10210, #10220, #10230, #10240, #10250, #10260, #10270, #10280, #10290, #10300, #10310, #10320, #10330, #10340, #10350, #10360, #10370, #10380, #10390, #10400, #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, #10900, #10910, #10920, #10930), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 1.00340572427855, 2.00635141815219, 3.00885645167012, 4.01094638418069, 5.01265168203806, 6.01400590455514, 7.01504351542923, 8.01579747805176, 9.01629675599204, 9.68252292990552, 10.3486800960483, 11.0147689973341, 11.6807887876735, 12.3467368888266, 13.0126088875939, 13.678398490177, 14.3440975521391, 15.0096962001779, 15.6751830542184, 16.3405455447522, 17.0057703027401, 17.6708435822841, 18.3357516656978, 19.0004812016796, 19.6650194413988, 20.3293543607869, 20.9934746828444, 21.6573698335732, 22.3210298743466, 22.984445451569, 23.6476077943606, 24.310508777234, 24.9731410514359, 25.6354982384382, 26.2975751730445, 26.9593681815791, 27.304683252619), .UNSPECIFIED.);
#10950 = EDGE_CURVE ('', #9740, #9810, #10940, .T.);
#10960 = ORIENTED_EDGE ('', *, *, #10950, .T.);
#10970 = CARTESIAN_POINT ('', (14.29, 12.1, 0.));
#10980 = CARTESIAN_POINT ('', (18.7077502982116, 12.1, 0.));
#10990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10970, #10980), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0400438801847389), .UNSPECIFIED.);
#11000 = EDGE_CURVE ('', #2700, #9810, #10990, .T.);
#11010 = ORIENTED_EDGE ('', *, *, #11000, .F.);
#11020 = ORIENTED_EDGE ('', *, *, #3000, .T.);
#11030 = ORIENTED_EDGE ('', *, *, #11000, .T.);
#11040 = CARTESIAN_POINT ('', (18.7084537066889, 12.0983469945278, -0.2));
#11050 = VERTEX_POINT ('', #11040);
#11060 = CARTESIAN_POINT ('', (18.7084537066889, 12.0983469945278, -0.2));
#11070 = CARTESIAN_POINT ('', (18.7079847270373, 12.0994489400887, -0.133341401173858));
#11080 = CARTESIAN_POINT ('', (18.7077502982116, 12.1, -0.0666693559545733));
#11090 = CARTESIAN_POINT ('', (18.7077502982116, 12.1, -1.4818226269683E-15));
#11100 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#11060, #11070, #11080, #11090), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.200008067863715), .UNSPECIFIED.);
#11110 = EDGE_CURVE ('', #11050, #9810, #11100, .T.);
#11120 = ORIENTED_EDGE ('', *, *, #11110, .F.);
#11130 = CARTESIAN_POINT ('', (116.038876061828, 12.0983469945278, -0.200000000000001));
#11140 = VERTEX_POINT ('', #11130);
#11150 = CARTESIAN_POINT ('', (18.7084537066889, 12.0983469945278, -0.2));
#11160 = CARTESIAN_POINT ('', (116.038876061828, 12.0983469945278, -0.2));
#11170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11150, #11160), .UNSPECIFIED., .F., .U., (2, 2), (0.013304052920579, 0.920118527178067), .UNSPECIFIED.);
#11180 = EDGE_CURVE ('', #11050, #11140, #11170, .T.);
#11190 = ORIENTED_EDGE ('', *, *, #11180, .T.);
#11200 = CARTESIAN_POINT ('', (116.038876061828, 12.0983469945278, -0.200000000000001));
#11210 = CARTESIAN_POINT ('', (116.06844333431, 12.095832429018, -0.352110430389572));
#11220 = CARTESIAN_POINT ('', (116.09801344826, 12.0904463414623, -0.504235478866002));
#11230 = CARTESIAN_POINT ('', (116.127542683751, 12.082196277211, -0.656150225899369));
#11240 = CARTESIAN_POINT ('', (116.148118220936, 12.0764477537238, -0.762002188354456));
#11250 = CARTESIAN_POINT ('', (116.168681317466, 12.0693073283351, -0.867790149190527));
#11260 = CARTESIAN_POINT ('', (116.189221701413, 12.0607782985865, -0.973461263915293));
#11270 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#11200, #11210, #11220, #11230, #11240, #11250, #11260), .UNSPECIFIED., .F., .U., (4, 3, 4), (0.203734741106645, 0.668668249336972, 0.992627082948428), .UNSPECIFIED.);
#11280 = EDGE_CURVE ('', #11140, #8940, #11270, .T.);
#11290 = ORIENTED_EDGE ('', *, *, #11280, .T.);
#11300 = ORIENTED_EDGE ('', *, *, #9000, .T.);
#11310 = ORIENTED_EDGE ('', *, *, #7170, .F.);
#11320 = CARTESIAN_POINT ('', (35.16, -1.22050000000009, -12.0382880738916));
#11330 = VERTEX_POINT ('', #11320);
#11340 = CARTESIAN_POINT ('', (35.16, -1.22050000000009, -12.0382880738916));
#11350 = CARTESIAN_POINT ('', (124.612732907767, -1.2205000000001, -12.0382880738916));
#11360 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11340, #11350), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11370 = EDGE_CURVE ('', #11330, #6230, #11360, .T.);
#11380 = ORIENTED_EDGE ('', *, *, #11370, .F.);
#11390 = CARTESIAN_POINT ('', (35.16, -1.22050000000009, -12.0382880738916));
#11400 = CARTESIAN_POINT ('', (34.8255314252405, -1.22050000000009, -12.0382880738916));
#11410 = CARTESIAN_POINT ('', (34.4909297512331, -1.2298928181605, -12.0373468623962));
#11420 = CARTESIAN_POINT ('', (34.1569935332231, -1.24865556106206, -12.0354002546583));
#11430 = CARTESIAN_POINT ('', (33.8232104146124, -1.26740970182791, -12.0334545393796));
#11440 = CARTESIAN_POINT ('', (33.4898262654279, -1.29554018225645, -12.0305026677454));
#11450 = CARTESIAN_POINT ('', (33.1576397644939, -1.33297791588976, -12.0263531411542));
#11460 = CARTESIAN_POINT ('', (32.8255992150532, -1.3703992006514, -12.0222054377244));
#11470 = CARTESIAN_POINT ('', (32.4944896686036, -1.41714965600846, -12.0168575674668));
#11480 = CARTESIAN_POINT ('', (32.1651121676102, -1.47311238132493, -12.0099933352183));
#11490 = CARTESIAN_POINT ('', (31.8358710499046, -1.52905193450472, -12.0031319451996));
#11500 = CARTESIAN_POINT ('', (31.5080947838089, -1.5942415861228, -11.9947495573126));
#11510 = CARTESIAN_POINT ('', (31.182590792594, -1.66851307986495, -11.9844092095655));
#11520 = CARTESIAN_POINT ('', (30.8572117403799, -1.74275606579627, -11.9740728307797));
#11530 = CARTESIAN_POINT ('', (30.5338363172123, -1.82613533121554, -11.9617710528174));
#11540 = CARTESIAN_POINT ('', (30.2132845719795, -1.91842478920573, -11.9469513403278));
#11550 = CARTESIAN_POINT ('', (29.892845172976, -2.01068190180158, -11.9321368218166));
#11560 = CARTESIAN_POINT ('', (29.5749578230614, -2.11192139404429, -11.9147930616216));
#11570 = CARTESIAN_POINT ('', (29.2604636620069, -2.22184870174773, -11.8942586295469));
#11580 = CARTESIAN_POINT ('', (28.9460689388044, -2.33174125225464, -11.87373069012));
#11590 = CARTESIAN_POINT ('', (28.634790608508, -2.45041331040293, -11.8499953388297));
#11600 = CARTESIAN_POINT ('', (28.32750102383, -2.57748572430232, -11.822291120634));
#11610 = CARTESIAN_POINT ('', (28.0202985109588, -2.70452213169442, -11.7945947525461));
#11620 = CARTESIAN_POINT ('', (27.7168000250058, -2.84007261634196, -11.7629051173687));
#11630 = CARTESIAN_POINT ('', (27.4179196890665, -2.98365076361724, -11.726373186999));
#11640 = CARTESIAN_POINT ('', (27.119115416022, -3.12719237128719, -11.6898505537427));
#11650 = CARTESIAN_POINT ('', (26.8246335320741, -3.27890077362501, -11.6484504672651));
#11660 = CARTESIAN_POINT ('', (26.535438930022, -3.4381525163785, -11.6012545560435));
#11670 = CARTESIAN_POINT ('', (26.3428660641642, -3.54419724984611, -11.5698270957237));
#11680 = CARTESIAN_POINT ('', (26.1525256343852, -3.65364500815324, -11.5358104734068));
#11690 = CARTESIAN_POINT ('', (25.9647162750373, -3.76626994278845, -11.4989221546216));
#11700 = CARTESIAN_POINT ('', (25.7769263690008, -3.87888321172218, -11.4620376567321));
#11710 = CARTESIAN_POINT ('', (25.5915729160493, -3.99472986388637, -11.4222631314338));
#11720 = CARTESIAN_POINT ('', (25.4089653198336, -4.1135446847432, -11.379312374947));
#11730 = CARTESIAN_POINT ('', (25.2263764364414, -4.23234732997967, -11.3363660198647));
#11740 = CARTESIAN_POINT ('', (25.0464351869613, -4.35418156904731, -11.2902205475192));
#11750 = CARTESIAN_POINT ('', (24.8694605830993, -4.478737443052, -11.2405921070113));
#11760 = CARTESIAN_POINT ('', (24.6925043414744, -4.60328039359511, -11.1909688157687));
#11770 = CARTESIAN_POINT ('', (24.5184127731549, -4.7306162774069, -11.1378341494824));
#11780 = CARTESIAN_POINT ('', (24.3475121483181, -4.860385303414, -11.0809139831675));
#11790 = CARTESIAN_POINT ('', (24.1766299189208, -4.99014036131382, -11.0239999436381));
#11800 = CARTESIAN_POINT ('', (24.0088329506737, -5.12240830554458, -10.9632653919679));
#11810 = CARTESIAN_POINT ('', (23.8444510300215, -5.25677523992276, -10.8984546646273));
#11820 = CARTESIAN_POINT ('', (23.6800878944012, -5.39112681928416, -10.833651343646));
#11830 = CARTESIAN_POINT ('', (23.519030681543, -5.52766599439821, -10.7647290553822));
#11840 = CARTESIAN_POINT ('', (23.3616074424019, -5.66592194057178, -10.6914605439738));
#11850 = CARTESIAN_POINT ('', (23.2042036830921, -5.8041607787089, -10.6182010989411));
#11860 = CARTESIAN_POINT ('', (23.0503218604483, -5.94421403046548, -10.5405436450803));
#11870 = CARTESIAN_POINT ('', (22.9002815582774, -6.08555325879409, -10.458300126425));
#11880 = CARTESIAN_POINT ('', (22.7502616600631, -6.22687326642378, -10.3760677920526));
#11890 = CARTESIAN_POINT ('', (22.6039691427923, -6.36958578287041, -10.289187429035));
#11900 = CARTESIAN_POINT ('', (22.461707144787, -6.51310686415246, -10.1975212172435));
#11910 = CARTESIAN_POINT ('', (22.3194666055553, -6.65660629674115, -10.1058688323664));
#11920 = CARTESIAN_POINT ('', (22.1811414235679, -6.80102917716557, -10.0093573913012));
#11930 = CARTESIAN_POINT ('', (22.0470095393826, -6.94574142821721, -9.90790977009524));
#11940 = CARTESIAN_POINT ('', (21.9129001839985, -7.09042937338845, -9.80647918803919));
#11950 = CARTESIAN_POINT ('', (21.782869251577, -7.23552895192904, -9.70002712472594));
#11960 = CARTESIAN_POINT ('', (21.6571606638227, -7.38036476201664, -9.58854608267515));
#11970 = CARTESIAN_POINT ('', (21.5314755679837, -7.52517350577056, -9.47708587375314));
#11980 = CARTESIAN_POINT ('', (21.4099996959632, -7.66984672173951, -9.36049874737942));
#11990 = CARTESIAN_POINT ('', (21.2929349314567, -7.81367966807673, -9.23885328624102));
#12000 = CARTESIAN_POINT ('', (21.175894399798, -7.95748284045138, -9.11723300617206));
#12010 = CARTESIAN_POINT ('', (21.0631551339883, -8.10057817968071, -8.99044364651442));
#12020 = CARTESIAN_POINT ('', (20.9548706720743, -8.24224604133506, -8.85863308835507));
#12030 = CARTESIAN_POINT ('', (20.8466108676337, -8.38388164377632, -8.72685254480054));
#12040 = CARTESIAN_POINT ('', (20.7427007754733, -8.5242243366943, -8.58992749131735));
#12050 = CARTESIAN_POINT ('', (20.6432417767938, -8.66255534438739, -8.44808468858053));
#12060 = CARTESIAN_POINT ('', (20.5438074825225, -8.80085199233715, -8.3062771178743));
#12070 = CARTESIAN_POINT ('', (20.4487252466875, -8.93727144218471, -8.15941655482748));
#12080 = CARTESIAN_POINT ('', (20.3580434825797, -9.07111155180196, -8.00780464389391));
#12090 = CARTESIAN_POINT ('', (20.2673860692003, -9.20491572140215, -7.85623344523023));
#12100 = CARTESIAN_POINT ('', (20.1810372011951, -9.33627274570671, -7.69976469677449));
#12110 = CARTESIAN_POINT ('', (20.0989946344938, -9.46451155206985, -7.53876787550462));
#12120 = CARTESIAN_POINT ('', (20.0169756780513, -9.59271345379278, -7.37781738599605));
#12130 = CARTESIAN_POINT ('', (19.939178946385, -9.71792497162563, -7.21218288086681));
#12140 = CARTESIAN_POINT ('', (19.8655566964499, -9.83951813972437, -7.04229243769665));
#12150 = CARTESIAN_POINT ('', (19.7919569717803, -9.96107410550471, -6.87245397374918));
#12160 = CARTESIAN_POINT ('', (19.7224559155153, -10.0791333805335, -6.69819523954176));
#12170 = CARTESIAN_POINT ('', (19.6569676988409, -10.1931200906704, -6.51999254732514));
#12180 = CARTESIAN_POINT ('', (19.5915006365512, -10.307069980157, -6.34184741917892));
#12190 = CARTESIAN_POINT ('', (19.5299789703959, -10.4170612979402, -6.15958698533172));
#12200 = CARTESIAN_POINT ('', (19.4722876770017, -10.522576009031, -5.9737253145897));
#12210 = CARTESIAN_POINT ('', (19.4146159439564, -10.6280549451471, -5.78792666062034));
#12220 = CARTESIAN_POINT ('', (19.3607153600077, -10.729162457155, -5.59834970892033));
#12230 = CARTESIAN_POINT ('', (19.3104512656143, -10.8254410893187, -5.40553653411901));
#12240 = CARTESIAN_POINT ('', (19.2602049716055, -10.9216856256392, -5.21279164163136));
#12250 = CARTESIAN_POINT ('', (19.213543822734, -11.0131968370416, -5.01662891649839));
#12260 = CARTESIAN_POINT ('', (19.1703230274418, -11.0995781009221, -4.81760998644908));
#12270 = CARTESIAN_POINT ('', (19.1271181528144, -11.1859275456946, -4.61866436633459));
#12280 = CARTESIAN_POINT ('', (19.0873097056175, -11.2672324341753, -4.4166773745356));
#12290 = CARTESIAN_POINT ('', (19.0507516544844, -11.3431554100585, -4.21222332542621));
#12300 = CARTESIAN_POINT ('', (19.0142075580391, -11.4190494051455, -4.00784731911012));
#12310 = CARTESIAN_POINT ('', (18.9808768323975, -11.4896363988385, -3.80081634323609));
#12320 = CARTESIAN_POINT ('', (18.9506201156027, -11.5546355943997, -3.59171216561599));
#12330 = CARTESIAN_POINT ('', (18.9203753233286, -11.6196091730293, -3.38269039836095));
#12340 = CARTESIAN_POINT ('', (18.8931738940723, -11.6790592246346, -3.17140541807057));
#12350 = CARTESIAN_POINT ('', (18.8688898606702, -11.7327582720377, -2.95844272040783));
#12360 = CARTESIAN_POINT ('', (18.8446156708655, -11.7864355523894, -2.74556634773939));
#12370 = CARTESIAN_POINT ('', (18.8232341237804, -11.8344153989282, -2.53082065563523));
#12380 = CARTESIAN_POINT ('', (18.8046381193725, -11.8765203673216, -2.31479242365208));
#12390 = CARTESIAN_POINT ('', (18.7860498349671, -11.918607856129, -2.09885387429335));
#12400 = CARTESIAN_POINT ('', (18.7702278070546, -11.9548633297223, -1.88143999433771));
#12410 = CARTESIAN_POINT ('', (18.7570880391909, -11.985156399755, -1.66313741867979));
#12420 = CARTESIAN_POINT ('', (18.7439538309429, -12.015436652375, -1.44492720983104));
#12430 = CARTESIAN_POINT ('', (18.7334877150475, -12.039786670843, -1.2256346529567));
#12440 = CARTESIAN_POINT ('', (18.7256318614809, -12.0581206956074, -1.005845559798));
#12450 = CARTESIAN_POINT ('', (18.7177793768305, -12.076446857981, -0.786150721325645));
#12460 = CARTESIAN_POINT ('', (18.7125278434226, -12.0887785150789, -0.56576511137669));
#12470 = CARTESIAN_POINT ('', (18.7098475613786, -12.0950728057945, -0.345273547396403));
#12480 = CARTESIAN_POINT ('', (18.7086533351261, -12.0978772894606, -0.247031343843734));
#12490 = CARTESIAN_POINT ('', (18.7079694225523, -12.0994849955818, -0.148740153113923));
#12500 = CARTESIAN_POINT ('', (18.7077950504153, -12.0998948188717, -0.0504516822585433));
#12510 = CARTESIAN_POINT ('', (18.7077720401558, -12.0999488994171, -0.0374814723035176));
#12520 = CARTESIAN_POINT ('', (18.7077579034114, -12.0999821253503, -0.0245111398492231));
#12530 = CARTESIAN_POINT ('', (18.7077526399037, -12.0999944962735, -0.0115408037043643));
#12540 = CARTESIAN_POINT ('', (18.7077473746695, -12.1000068712546, 0.00143378683197083));
#12550 = CARTESIAN_POINT ('', (18.7077509884778, -12.0999983775799, 0.0144084206966546));
#12560 = CARTESIAN_POINT ('', (18.7077634814, -12.0999690153514, 0.0273829789640806));
#12570 = CARTESIAN_POINT ('', (18.7078188871893, -12.0998387946206, 0.0849248121221182));
#12580 = CARTESIAN_POINT ('', (18.70804893256, -12.0992980785524, 0.142467277245905));
#12590 = CARTESIAN_POINT ('', (18.7084537066889, -12.0983469945278, 0.200000000000094));
#12600 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#11390, #11400, #11410, #11420, #11430, #11440, #11450, #11460, #11470, #11480, #11490, #11500, #11510, #11520, #11530, #11540, #11550, #11560, #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, #11970, #11980, #11990, #12000, #12010, #12020, #12030, #12040, #12050, #12060, #12070, #12080, #12090, #12100, #12110, #12120, #12130, #12140, #12150, #12160, #12170, #12180, #12190, #12200, #12210, #12220, #12230, #12240, #12250, #12260, #12270, #12280, #12290, #12300, #12310, #12320, #12330, #12340, #12350, #12360, #12370, #12380, #12390, #12400, #12410, #12420, #12430, #12440, #12450, #12460, #12470, #12480, #12490, #12500, #12510, #12520, #12530, #12540, #12550, #12560, #12570, #12580, #12590), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 1.00340572427855, 2.0063514181522, 3.00885645167013, 4.0109463841807, 5.01265168203807, 6.01400590455515, 7.01504351542924, 8.01579747805179, 9.01629675599205, 9.68252292990553, 10.3486800960484, 11.0147689973341, 11.6807887876735, 12.3467368888266, 13.012608887594, 13.678398490177, 14.3440975521392, 15.0096962001779, 15.6751830542185, 16.3405455447523, 17.0057703027401, 17.6708435822842, 18.3357516656979, 19.0004812016796, 19.6650194413988, 20.329354360787, 20.9934746828445, 21.6573698335732, 22.3210298743466, 22.9844454515691, 23.6476077943607, 24.3105087772341, 24.973141051436, 25.6354982384382, 26.2975751730445, 26.9593681815791, 27.2542366213531, 27.2931476506905, 27.3320714432091, 27.5046974647524), .UNSPECIFIED.);
#12610 = EDGE_CURVE ('', #11330, #9530, #12600, .T.);
#12620 = ORIENTED_EDGE ('', *, *, #12610, .T.);
#12630 = EDGE_LOOP ('', (#9600, #9700, #9710, #9720, #9790, #10960, #11010, #11020, #11030, #11120, #11190, #11290, #11300, #11310, #11380, #12620));
#12640 = FACE_OUTER_BOUND ('', #12630, .T.);
#12650 = CARTESIAN_POINT ('', (14.29, 12.1, 0.));
#12660 = CARTESIAN_POINT ('', (124.612732907767, 12.1, 0.));
#12670 = CARTESIAN_POINT ('', (14.29, 12.1, 12.1));
#12680 = CARTESIAN_POINT ('', (124.612732907767, 12.1, 12.1));
#12690 = CARTESIAN_POINT ('', (14.29, 7.40911313484149E-16, 12.1));
#12700 = CARTESIAN_POINT ('', (124.612732907767, 7.40911313484149E-16, 12.1));
#12710 = CARTESIAN_POINT ('', (14.29, -12.1, 12.1));
#12720 = CARTESIAN_POINT ('', (124.612732907767, -12.1, 12.1));
#12730 = CARTESIAN_POINT ('', (14.29, -12.1, 1.4818226269683E-15));
#12740 = CARTESIAN_POINT ('', (124.612732907767, -12.1, 1.4818226269683E-15));
#12750 = CARTESIAN_POINT ('', (14.29, -12.1, -12.1));
#12760 = CARTESIAN_POINT ('', (124.612732907767, -12.1, -12.1));
#12770 = CARTESIAN_POINT ('', (14.29, -2.22273394045245E-15, -12.1));
#12780 = CARTESIAN_POINT ('', (124.612732907767, -2.22273394045245E-15, -12.1));
#12790 = CARTESIAN_POINT ('', (14.29, 12.1, -12.1));
#12800 = CARTESIAN_POINT ('', (124.612732907767, 12.1, -12.1));
#12810 = CARTESIAN_POINT ('', (14.29, 12.1, 0.));
#12820 = CARTESIAN_POINT ('', (124.612732907767, 12.1, 0.));
#12830 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#12650, #12660), (#12670, #12680), (#12690, #12700), (#12710, #12720), (#12730, #12740), (#12750, #12760), (#12770, #12780), (#12790, #12800), (#12810, #12820)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 19.0066355542182, 38.0132711084365, 57.0199066626547, 76.026542216873), (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 ('')
);
#12840 = ADVANCED_FACE ('', (#12640), #12830, .T.);
#12850 = CARTESIAN_POINT ('', (116.462430755439, 1.2205, 2.379));
#12860 = VERTEX_POINT ('', #12850);
#12870 = CARTESIAN_POINT ('', (128.809542983045, 1.2205, 2.379));
#12880 = CARTESIAN_POINT ('', (116.462430755439, 1.2205, 2.379));
#12890 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12870, #12880), .UNSPECIFIED., .F., .U., (2, 2), (0.0105197973328852, 1.), .UNSPECIFIED.);
#12900 = EDGE_CURVE ('', #20, #12860, #12890, .T.);
#12910 = ORIENTED_EDGE ('', *, *, #12900, .F.);
#12920 = ORIENTED_EDGE ('', *, *, #2430, .F.);
#12930 = ORIENTED_EDGE ('', *, *, #9420, .T.);
#12940 = CARTESIAN_POINT ('', (116.462430755439, -11.7875692445614, 2.379));
#12950 = CARTESIAN_POINT ('', (116.462430755439, 1.2205, 2.379));
#12960 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12940, #12950), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.551770639674636), .UNSPECIFIED.);
#12970 = EDGE_CURVE ('', #9330, #12860, #12960, .T.);
#12980 = ORIENTED_EDGE ('', *, *, #12970, .T.);
#12990 = EDGE_LOOP ('', (#12910, #12920, #12930, #12980));
#13000 = FACE_OUTER_BOUND ('', #12990, .T.);
#13010 = CARTESIAN_POINT ('', (128.940813035675, 1.2205, 2.379));
#13020 = CARTESIAN_POINT ('', (116.462430755439, 1.2205, 2.379));
#13030 = CARTESIAN_POINT ('', (128.940813035675, -11.7875692445614, 2.379));
#13040 = CARTESIAN_POINT ('', (116.462430755439, -11.7875692445614, 2.379));
#13050 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13010, #13020), (#13030, #13040)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.460315869198907, 0.883268692935775), (0.338639726638139, 0.744369963913809), .UNSPECIFIED.);
#13060 = ADVANCED_FACE ('', (#13000), #13050, .T.);
#13070 = CARTESIAN_POINT ('', (116., -1.2205, 0.));
#13080 = VERTEX_POINT ('', #13070);
#13090 = CARTESIAN_POINT ('', (116.462430755439, -1.22050000000002, -2.379));
#13100 = VERTEX_POINT ('', #13090);
#13110 = CARTESIAN_POINT ('', (116., -1.2205, 0.));
#13120 = CARTESIAN_POINT ('', (116.154143585146, -1.22050000000001, -0.793));
#13130 = CARTESIAN_POINT ('', (116.308287170292, -1.22050000000001, -1.586));
#13140 = CARTESIAN_POINT ('', (116.462430755439, -1.22050000000002, -2.379));
#13150 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#13110, #13120, #13130, #13140), .UNSPECIFIED., .F., .U., (4, 4), (0., 2.42352701729846), .UNSPECIFIED.);
#13160 = EDGE_CURVE ('', #13080, #13100, #13150, .T.);
#13170 = ORIENTED_EDGE ('', *, *, #13160, .T.);
#13180 = CARTESIAN_POINT ('', (116.462430755439, -1.22050000000002, -2.379));
#13190 = CARTESIAN_POINT ('', (116.462430755439, 11.7875692445614, -2.379));
#13200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13180, #13190), .UNSPECIFIED., .F., .U., (2, 2), (0.448229360325364, 1.), .UNSPECIFIED.);
#13210 = EDGE_CURVE ('', #13100, #9030, #13200, .T.);
#13220 = ORIENTED_EDGE ('', *, *, #13210, .T.);
#13230 = ORIENTED_EDGE ('', *, *, #9070, .T.);
#13240 = ORIENTED_EDGE ('', *, *, #11280, .F.);
#13250 = CARTESIAN_POINT ('', (116.038876061828, 1.2205, -0.2));
#13260 = VERTEX_POINT ('', #13250);
#13270 = CARTESIAN_POINT ('', (116.038876061828, 1.2205, -0.2));
#13280 = CARTESIAN_POINT ('', (116.038876061828, 4.84644899817593, -0.2));
#13290 = CARTESIAN_POINT ('', (116.038876061828, 8.47239799635186, -0.2));
#13300 = CARTESIAN_POINT ('', (116.038876061828, 12.0983469945278, -0.2));
#13310 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#13270, #13280, #13290, #13300), .UNSPECIFIED., .F., .U., (4, 4), (0., 10.8778469945278), .UNSPECIFIED.);
#13320 = EDGE_CURVE ('', #13260, #11140, #13310, .T.);
#13330 = ORIENTED_EDGE ('', *, *, #13320, .F.);
#13340 = CARTESIAN_POINT ('', (116., 1.2205, 0.));
#13350 = VERTEX_POINT ('', #13340);
#13360 = CARTESIAN_POINT ('', (116.038876061828, 1.2205, -0.2));
#13370 = CARTESIAN_POINT ('', (116.025917374552, 1.2205, -0.133333333333333));
#13380 = CARTESIAN_POINT ('', (116.012958687276, 1.2205, -0.0666666666666671));
#13390 = CARTESIAN_POINT ('', (116., 1.2205, -1.38777878078145E-17));
#13400 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#13360, #13370, #13380, #13390), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.203743338991044), .UNSPECIFIED.);
#13410 = EDGE_CURVE ('', #13260, #13350, #13400, .T.);
#13420 = ORIENTED_EDGE ('', *, *, #13410, .T.);
#13430 = CARTESIAN_POINT ('', (116., -1.2205, 0.));
#13440 = CARTESIAN_POINT ('', (116., 1.2205, 0.));
#13450 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13430, #13440), .UNSPECIFIED., .F., .U., (2, 2), (0.450183673469388, 0.549816326530613), .UNSPECIFIED.);
#13460 = EDGE_CURVE ('', #13080, #13350, #13450, .T.);
#13470 = ORIENTED_EDGE ('', *, *, #13460, .F.);
#13480 = EDGE_LOOP ('', (#13170, #13220, #13230, #13240, #13330, #13420, #13470));
#13490 = FACE_OUTER_BOUND ('', #13480, .T.);
#13500 = CARTESIAN_POINT ('', (116.462430755439, -1.22050000000002, -2.379));
#13510 = CARTESIAN_POINT ('', (116., -1.26838067202858, 0.));
#13520 = CARTESIAN_POINT ('', (116.462430755439, 11.7875692445614, -2.379));
#13530 = CARTESIAN_POINT ('', (116., 12.25, 0.));
#13540 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13500, #13510), (#13520, #13530)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.448229360325364, 1.), (0., 1.), .UNSPECIFIED.);
#13550 = ADVANCED_FACE ('', (#13490), #13540, .T.);
#13560 = ORIENTED_EDGE ('', *, *, #11110, .T.);
#13570 = ORIENTED_EDGE ('', *, *, #10950, .F.);
#13580 = CARTESIAN_POINT ('', (35.16, 1.2205, -0.2));
#13590 = VERTEX_POINT ('', #13580);
#13600 = CARTESIAN_POINT ('', (35.16, 1.2205, -0.2));
#13610 = CARTESIAN_POINT ('', (35.16, 1.2205, 12.0382880738916));
#13620 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13600, #13610), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.634108190357076), .UNSPECIFIED.);
#13630 = EDGE_CURVE ('', #13590, #9740, #13620, .T.);
#13640 = ORIENTED_EDGE ('', *, *, #13630, .F.);
#13650 = CARTESIAN_POINT ('', (35.16, 1.2205, -0.2));
#13660 = CARTESIAN_POINT ('', (23.3379826728066, 1.22050000000002, -0.2));
#13670 = CARTESIAN_POINT ('', (18.7084537066892, 12.098346994527, -0.2));
#13680 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#13650, #13660, #13670), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 0.734044947681024), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.785003212519953, 0.885641036274665))
   REPRESENTATION_ITEM ('')
);
#13690 = EDGE_CURVE ('', #13590, #11050, #13680, .T.);
#13700 = ORIENTED_EDGE ('', *, *, #13690, .T.);
#13710 = EDGE_LOOP ('', (#13560, #13570, #13640, #13700));
#13720 = FACE_OUTER_BOUND ('', #13710, .T.);
#13730 = CARTESIAN_POINT ('', (35.16, 1.2205, -0.2));
#13740 = CARTESIAN_POINT ('', (35.16, 1.2205, 12.0382880738916));
#13750 = CARTESIAN_POINT ('', (23.3366917123284, 1.22050000000002, -0.2));
#13760 = CARTESIAN_POINT ('', (23.3366917123284, 1.22050000000002, 12.0382880738916));
#13770 = CARTESIAN_POINT ('', (18.7077502982116, 12.1, -0.2));
#13780 = CARTESIAN_POINT ('', (18.7077502982116, 12.1, 12.0382880738916));
#13790 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#13730, #13740), (#13750, #13760), (#13770, #13780)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0., 20.6174583837022), (0., 0.634108190357076), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.784984782977042, 0.784984782977042), (0.885658291959551, 0.885658291959551)))
   REPRESENTATION_ITEM ('')
);
#13800 = ADVANCED_FACE ('', (#13720), #13790, .T.);
#13810 = CARTESIAN_POINT ('', (116., 1.2205, -1.38777878078145E-17));
#13820 = CARTESIAN_POINT ('', (116.154143585146, 1.2205, 0.793));
#13830 = CARTESIAN_POINT ('', (116.308287170292, 1.2205, 1.586));
#13840 = CARTESIAN_POINT ('', (116.462430755439, 1.2205, 2.379));
#13850 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#13810, #13820, #13830, #13840), .UNSPECIFIED., .F., .U., (4, 4), (0., 2.42352701729846), .UNSPECIFIED.);
#13860 = EDGE_CURVE ('', #13350, #12860, #13850, .T.);
#13870 = ORIENTED_EDGE ('', *, *, #13860, .F.);
#13880 = ORIENTED_EDGE ('', *, *, #13410, .F.);
#13890 = CARTESIAN_POINT ('', (116.038876061828, 1.2205, -0.2));
#13900 = CARTESIAN_POINT ('', (35.16, 1.2205, -0.2));
#13910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13890, #13900), .UNSPECIFIED., .F., .U., (2, 2), (0.164819536742797, 1.), .UNSPECIFIED.);
#13920 = EDGE_CURVE ('', #13260, #13590, #13910, .T.);
#13930 = ORIENTED_EDGE ('', *, *, #13920, .T.);
#13940 = ORIENTED_EDGE ('', *, *, #13630, .T.);
#13950 = ORIENTED_EDGE ('', *, *, #9780, .T.);
#13960 = ORIENTED_EDGE ('', *, *, #880, .F.);
#13970 = ORIENTED_EDGE ('', *, *, #12900, .T.);
#13980 = EDGE_LOOP ('', (#13870, #13880, #13930, #13940, #13950, #13960, #13970));
#13990 = FACE_OUTER_BOUND ('', #13980, .T.);
#14000 = CARTESIAN_POINT ('', (128.809542977878, 1.2205, -0.2));
#14010 = CARTESIAN_POINT ('', (128.809542977878, 1.2205, 12.0382880738916));
#14020 = CARTESIAN_POINT ('', (35.16, 1.2205, -0.2));
#14030 = CARTESIAN_POINT ('', (35.16, 1.2205, 12.0382880738916));
#14040 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14000, #14010), (#14020, #14030)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0329456528513196, 1.), (0., 0.634108190357076), .UNSPECIFIED.);
#14050 = ADVANCED_FACE ('', (#13990), #14040, .T.);
#14060 = ORIENTED_EDGE ('', *, *, #13320, .T.);
#14070 = ORIENTED_EDGE ('', *, *, #11180, .F.);
#14080 = ORIENTED_EDGE ('', *, *, #13690, .F.);
#14090 = ORIENTED_EDGE ('', *, *, #13920, .F.);
#14100 = EDGE_LOOP ('', (#14060, #14070, #14080, #14090));
#14110 = FACE_OUTER_BOUND ('', #14100, .T.);
#14120 = CARTESIAN_POINT ('', (116.038876061828, 12.0983469945278, -0.2));
#14130 = CARTESIAN_POINT ('', (116.038876061828, 1.2205, -0.2));
#14140 = CARTESIAN_POINT ('', (18.7084537066889, 12.0983469945278, -0.2));
#14150 = CARTESIAN_POINT ('', (18.7084537066889, 1.2205, -0.2));
#14160 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14120, #14130), (#14140, #14150)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.164819536742797, 1.16988379071986), (0.391602282249067, 1.), .UNSPECIFIED.);
#14170 = ADVANCED_FACE ('', (#14110), #14160, .T.);
#14180 = CARTESIAN_POINT ('', (128.809542978595, -1.22050000000002, -2.379));
#14190 = CARTESIAN_POINT ('', (116.462430755439, -1.22050000000002, -2.379));
#14200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14180, #14190), .UNSPECIFIED., .F., .U., (2, 2), (0.0105197976894713, 1.), .UNSPECIFIED.);
#14210 = EDGE_CURVE ('', #6210, #13100, #14200, .T.);
#14220 = ORIENTED_EDGE ('', *, *, #14210, .F.);
#14230 = ORIENTED_EDGE ('', *, *, #8680, .T.);
#14240 = ORIENTED_EDGE ('', *, *, #9120, .F.);
#14250 = ORIENTED_EDGE ('', *, *, #13210, .F.);
#14260 = EDGE_LOOP ('', (#14220, #14230, #14240, #14250));
#14270 = FACE_OUTER_BOUND ('', #14260, .T.);
#14280 = CARTESIAN_POINT ('', (128.940813035675, 11.7875692445614, -2.379));
#14290 = CARTESIAN_POINT ('', (128.940813035675, -1.22050000000002, -2.379));
#14300 = CARTESIAN_POINT ('', (116.462430755439, 11.7875692445614, -2.379));
#14310 = CARTESIAN_POINT ('', (116.462430755439, -1.22050000000002, -2.379));
#14320 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14280, #14290), (#14300, #14310)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.338639726638139, 0.744369963913809), (0.116731307064225, 0.539684130801093), .UNSPECIFIED.);
#14330 = ADVANCED_FACE ('', (#14270), #14320, .T.);
#14340 = CARTESIAN_POINT ('', (116.038876061828, -1.2205, 0.200000000000009));
#14350 = VERTEX_POINT ('', #14340);
#14360 = CARTESIAN_POINT ('', (116.038876061828, -1.2205, 0.200000000000009));
#14370 = CARTESIAN_POINT ('', (116.038876061828, -4.84644899817594, 0.200000000000034));
#14380 = CARTESIAN_POINT ('', (116.038876061828, -8.47239799635188, 0.200000000000059));
#14390 = CARTESIAN_POINT ('', (116.038876061828, -12.0983469945278, 0.200000000000085));
#14400 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#14360, #14370, #14380, #14390), .UNSPECIFIED., .F., .U., (4, 4), (0., 10.8778469945278), .UNSPECIFIED.);
#14410 = EDGE_CURVE ('', #14350, #9550, #14400, .T.);
#14420 = ORIENTED_EDGE ('', *, *, #14410, .F.);
#14430 = CARTESIAN_POINT ('', (116.038876061828, -1.2205, 0.200000000000009));
#14440 = CARTESIAN_POINT ('', (116.025917374552, -1.2205, 0.133333333333339));
#14450 = CARTESIAN_POINT ('', (116.012958687276, -1.2205, 0.0666666666666698));
#14460 = CARTESIAN_POINT ('', (116., -1.2205, 2.77555756156289E-17));
#14470 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#14430, #14440, #14450, #14460), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.203743338991053), .UNSPECIFIED.);
#14480 = EDGE_CURVE ('', #14350, #13080, #14470, .T.);
#14490 = ORIENTED_EDGE ('', *, *, #14480, .T.);
#14500 = ORIENTED_EDGE ('', *, *, #13460, .T.);
#14510 = ORIENTED_EDGE ('', *, *, #13860, .T.);
#14520 = ORIENTED_EDGE ('', *, *, #12970, .F.);
#14530 = ORIENTED_EDGE ('', *, *, #9370, .T.);
#14540 = ORIENTED_EDGE ('', *, *, #9690, .F.);
#14550 = EDGE_LOOP ('', (#14420, #14490, #14500, #14510, #14520, #14530, #14540));
#14560 = FACE_OUTER_BOUND ('', #14550, .T.);
#14570 = CARTESIAN_POINT ('', (116.462430755439, -11.7875692445614, 2.379));
#14580 = CARTESIAN_POINT ('', (116.462430755439, 1.2205, 2.379));
#14590 = CARTESIAN_POINT ('', (116., -12.25, 0.));
#14600 = CARTESIAN_POINT ('', (116., 1.26838067202857, 0.));
#14610 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14570, #14580), (#14590, #14600)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 0.551770639674636), .UNSPECIFIED.);
#14620 = ADVANCED_FACE ('', (#14560), #14610, .T.);
#14630 = ORIENTED_EDGE ('', *, *, #12610, .F.);
#14640 = CARTESIAN_POINT ('', (35.16, -1.2205, 0.200000000000009));
#14650 = VERTEX_POINT ('', #14640);
#14660 = CARTESIAN_POINT ('', (35.16, -1.2205, 0.200000000000009));
#14670 = CARTESIAN_POINT ('', (35.16, -1.22050000000008, -12.0382880738916));
#14680 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14660, #14670), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.634108190357076), .UNSPECIFIED.);
#14690 = EDGE_CURVE ('', #14650, #11330, #14680, .T.);
#14700 = ORIENTED_EDGE ('', *, *, #14690, .F.);
#14710 = CARTESIAN_POINT ('', (35.16, -1.2205, 0.200000000000009));
#14720 = CARTESIAN_POINT ('', (23.3379826728066, -1.22050000000002, 0.200000000000009));
#14730 = CARTESIAN_POINT ('', (18.7084537066892, -12.098346994527, 0.200000000000085));
#14740 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#14710, #14720, #14730), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 0.734044947681024), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.785003212519953, 0.885641036274665))
   REPRESENTATION_ITEM ('')
);
#14750 = EDGE_CURVE ('', #14650, #9530, #14740, .T.);
#14760 = ORIENTED_EDGE ('', *, *, #14750, .T.);
#14770 = EDGE_LOOP ('', (#14630, #14700, #14760));
#14780 = FACE_OUTER_BOUND ('', #14770, .T.);
#14790 = CARTESIAN_POINT ('', (35.16, -1.2205, 0.200000000000009));
#14800 = CARTESIAN_POINT ('', (35.16, -1.22050000000008, -12.0382880738916));
#14810 = CARTESIAN_POINT ('', (23.3366863459669, -1.22050000000002, 0.200000000000009));
#14820 = CARTESIAN_POINT ('', (23.3366863459669, -1.2205000000001, -12.0382880738916));
#14830 = CARTESIAN_POINT ('', (18.7077473746745, -12.1000068712556, 0.200000000000085));
#14840 = CARTESIAN_POINT ('', (18.7077473746745, -12.1000068712557, -12.0382880738915));
#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., 20.6174657294707), (0., 0.634108190357076), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.784984706369539, 0.784984706369539), (0.885658363697269, 0.885658363697269)))
   REPRESENTATION_ITEM ('')
);
#14860 = ADVANCED_FACE ('', (#14780), #14850, .T.);
#14870 = ORIENTED_EDGE ('', *, *, #14480, .F.);
#14880 = CARTESIAN_POINT ('', (116.038876061828, -1.2205, 0.200000000000009));
#14890 = CARTESIAN_POINT ('', (35.16, -1.2205, 0.200000000000009));
#14900 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14880, #14890), .UNSPECIFIED., .F., .U., (2, 2), (0.164819536742797, 1.), .UNSPECIFIED.);
#14910 = EDGE_CURVE ('', #14350, #14650, #14900, .T.);
#14920 = ORIENTED_EDGE ('', *, *, #14910, .T.);
#14930 = ORIENTED_EDGE ('', *, *, #14690, .T.);
#14940 = ORIENTED_EDGE ('', *, *, #11370, .T.);
#14950 = ORIENTED_EDGE ('', *, *, #7070, .F.);
#14960 = ORIENTED_EDGE ('', *, *, #14210, .T.);
#14970 = ORIENTED_EDGE ('', *, *, #13160, .F.);
#14980 = EDGE_LOOP ('', (#14870, #14920, #14930, #14940, #14950, #14960, #14970));
#14990 = FACE_OUTER_BOUND ('', #14980, .T.);
#15000 = CARTESIAN_POINT ('', (128.809542978595, -1.2205, 0.200000000000009));
#15010 = CARTESIAN_POINT ('', (128.809542978595, -1.22050000000008, -12.0382880738916));
#15020 = CARTESIAN_POINT ('', (35.16, -1.2205, 0.200000000000009));
#15030 = CARTESIAN_POINT ('', (35.16, -1.22050000000008, -12.0382880738916));
#15040 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15000, #15010), (#15020, #15030)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0329456528439136, 1.), (0., 0.634108190357076), .UNSPECIFIED.);
#15050 = ADVANCED_FACE ('', (#14990), #15040, .T.);
#15060 = ORIENTED_EDGE ('', *, *, #14410, .T.);
#15070 = ORIENTED_EDGE ('', *, *, #9590, .F.);
#15080 = ORIENTED_EDGE ('', *, *, #14750, .F.);
#15090 = ORIENTED_EDGE ('', *, *, #14910, .F.);
#15100 = EDGE_LOOP ('', (#15060, #15070, #15080, #15090));
#15110 = FACE_OUTER_BOUND ('', #15100, .T.);
#15120 = CARTESIAN_POINT ('', (116.038876061828, -12.0983469945278, 0.200000000000085));
#15130 = CARTESIAN_POINT ('', (116.038876061828, -1.2205, 0.200000000000009));
#15140 = CARTESIAN_POINT ('', (18.7084537066889, -12.0983469945278, 0.200000000000085));
#15150 = CARTESIAN_POINT ('', (18.7084537066889, -1.2205, 0.200000000000009));
#15160 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15120, #15130), (#15140, #15150)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.164819536742797, 1.16988379071986), (0.391602282249066, 1.), .UNSPECIFIED.);
#15170 = ADVANCED_FACE ('', (#15110), #15160, .T.);
#15180 = CLOSED_SHELL ('', (#2660, #3320, #3750, #4180, #4430, #4990, #5080, #5780, #5930, #6090, #6190, #8910, #9210, #9510, #12840, #13060, #13550, #13800, #14050, #14170, #14330, #14620, #14860, #15050, #15170));
#15190 = MANIFOLD_SOLID_BREP ('', #15180);
#15200 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#15210 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#15220 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#15230 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #15200, 'DISTANCE_ACCURACY_VALUE', '');
#15240 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#15230))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#15200, #15210, #15220))
   REPRESENTATION_CONTEXT ('', '3D')
);
#15250 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#15260 = FILL_AREA_STYLE_COLOUR ('', #15250);
#15270 = FILL_AREA_STYLE ('', (#15260));
#15280 = SURFACE_STYLE_FILL_AREA (#15270);
#15290 = SURFACE_SIDE_STYLE ('', (#15280));
#15300 = SURFACE_STYLE_USAGE (.POSITIVE., #15290);
#15310 = PRESENTATION_STYLE_ASSIGNMENT ((#15300));
#15320 = STYLED_ITEM ('', (#15310), #15190);
#15330 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#15340 = FILL_AREA_STYLE_COLOUR ('', #15330);
#15350 = FILL_AREA_STYLE ('', (#15340));
#15360 = SURFACE_STYLE_FILL_AREA (#15350);
#15370 = SURFACE_SIDE_STYLE ('', (#15360));
#15380 = SURFACE_STYLE_USAGE (.POSITIVE., #15370);
#15390 = PRESENTATION_STYLE_ASSIGNMENT ((#15380));
#15400 = OVER_RIDING_STYLED_ITEM ('', (#15390), #9210, #15320);
#15410 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#15420 = FILL_AREA_STYLE_COLOUR ('', #15410);
#15430 = FILL_AREA_STYLE ('', (#15420));
#15440 = SURFACE_STYLE_FILL_AREA (#15430);
#15450 = SURFACE_SIDE_STYLE ('', (#15440));
#15460 = SURFACE_STYLE_USAGE (.POSITIVE., #15450);
#15470 = PRESENTATION_STYLE_ASSIGNMENT ((#15460));
#15480 = OVER_RIDING_STYLED_ITEM ('', (#15470), #9510, #15320);
#15490 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#15500 = FILL_AREA_STYLE_COLOUR ('', #15490);
#15510 = FILL_AREA_STYLE ('', (#15500));
#15520 = SURFACE_STYLE_FILL_AREA (#15510);
#15530 = SURFACE_SIDE_STYLE ('', (#15520));
#15540 = SURFACE_STYLE_USAGE (.POSITIVE., #15530);
#15550 = PRESENTATION_STYLE_ASSIGNMENT ((#15540));
#15560 = OVER_RIDING_STYLED_ITEM ('', (#15550), #13060, #15320);
#15570 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#15580 = FILL_AREA_STYLE_COLOUR ('', #15570);
#15590 = FILL_AREA_STYLE ('', (#15580));
#15600 = SURFACE_STYLE_FILL_AREA (#15590);
#15610 = SURFACE_SIDE_STYLE ('', (#15600));
#15620 = SURFACE_STYLE_USAGE (.POSITIVE., #15610);
#15630 = PRESENTATION_STYLE_ASSIGNMENT ((#15620));
#15640 = OVER_RIDING_STYLED_ITEM ('', (#15630), #13550, #15320);
#15650 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#15660 = FILL_AREA_STYLE_COLOUR ('', #15650);
#15670 = FILL_AREA_STYLE ('', (#15660));
#15680 = SURFACE_STYLE_FILL_AREA (#15670);
#15690 = SURFACE_SIDE_STYLE ('', (#15680));
#15700 = SURFACE_STYLE_USAGE (.POSITIVE., #15690);
#15710 = PRESENTATION_STYLE_ASSIGNMENT ((#15700));
#15720 = OVER_RIDING_STYLED_ITEM ('', (#15710), #14330, #15320);
#15730 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#15740 = FILL_AREA_STYLE_COLOUR ('', #15730);
#15750 = FILL_AREA_STYLE ('', (#15740));
#15760 = SURFACE_STYLE_FILL_AREA (#15750);
#15770 = SURFACE_SIDE_STYLE ('', (#15760));
#15780 = SURFACE_STYLE_USAGE (.POSITIVE., #15770);
#15790 = PRESENTATION_STYLE_ASSIGNMENT ((#15780));
#15800 = OVER_RIDING_STYLED_ITEM ('', (#15790), #14620, #15320);
#15810 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#15190), #15240);
#15820 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#15830 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #15820);
#15840 = MECHANICAL_CONTEXT ('', #15820, 'mechanical');
#15850 = PRODUCT ('product-name', '', '', (#15840));
#15860 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#15870 = PERSON ('', '', $, $, $, $);
#15880 = ORGANIZATION ($, '', '');
#15890 = PERSON_AND_ORGANIZATION (#15870, #15880);
#15900 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#15890, #15860, (#15850));
#15910 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#15850));
#15920 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #15850, .NOT_KNOWN.);
#15930 = APPROVAL_STATUS ('approved');
#15940 = APPROVAL (#15930, '');
#15950 = CALENDAR_DATE (2010, 8, 11);
#15960 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#15970 = LOCAL_TIME (15, 43, 28., #15960);
#15980 = DATE_AND_TIME (#15950, #15970);
#15990 = APPROVAL_DATE_TIME (#15980, #15940);
#16000 = APPROVAL_ROLE ('');
#16010 = PERSON ('', '', $, $, $, $);
#16020 = ORGANIZATION ($, '', '');
#16030 = PERSON_AND_ORGANIZATION (#16010, #16020);
#16040 = APPROVAL_PERSON_ORGANIZATION (#16030, #15940, #16000);
#16050 = CC_DESIGN_APPROVAL (#15940, (#15920));
#16060 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#16070 = PERSON ('', '', $, $, $, $);
#16080 = ORGANIZATION ($, '', '');
#16090 = PERSON_AND_ORGANIZATION (#16070, #16080);
#16100 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16090, #16060, (#15920));
#16110 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#16120 = PERSON ('', '', $, $, $, $);
#16130 = ORGANIZATION ($, '', '');
#16140 = PERSON_AND_ORGANIZATION (#16120, #16130);
#16150 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16140, #16110, (#15920));
#16160 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#16170 = SECURITY_CLASSIFICATION ('', '', #16160);
#16180 = APPROVAL_STATUS ('approved');
#16190 = APPROVAL (#16180, '');
#16200 = CALENDAR_DATE (2010, 8, 11);
#16210 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16220 = LOCAL_TIME (15, 43, 28., #16210);
#16230 = DATE_AND_TIME (#16200, #16220);
#16240 = APPROVAL_DATE_TIME (#16230, #16190);
#16250 = APPROVAL_ROLE ('');
#16260 = PERSON ('', '', $, $, $, $);
#16270 = ORGANIZATION ($, '', '');
#16280 = PERSON_AND_ORGANIZATION (#16260, #16270);
#16290 = APPROVAL_PERSON_ORGANIZATION (#16280, #16190, #16250);
#16300 = CC_DESIGN_APPROVAL (#16190, (#16170));
#16310 = DATE_TIME_ROLE ('classification_date');
#16320 = CALENDAR_DATE (2010, 8, 11);
#16330 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16340 = LOCAL_TIME (15, 43, 28., #16330);
#16350 = DATE_AND_TIME (#16320, #16340);
#16360 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#16350, #16310, (#16170));
#16370 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#16380 = PERSON ('', '', $, $, $, $);
#16390 = ORGANIZATION ($, '', '');
#16400 = PERSON_AND_ORGANIZATION (#16380, #16390);
#16410 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16400, #16370, (#16170));
#16420 = CC_DESIGN_SECURITY_CLASSIFICATION (#16170, (#15920));
#16430 = DESIGN_CONTEXT ('', #15820, 'design');
#16440 = PRODUCT_DEFINITION ('', '', #15920, #16430);
#16450 = APPROVAL_STATUS ('approved');
#16460 = APPROVAL (#16450, '');
#16470 = CALENDAR_DATE (2010, 8, 11);
#16480 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16490 = LOCAL_TIME (15, 43, 28., #16480);
#16500 = DATE_AND_TIME (#16470, #16490);
#16510 = APPROVAL_DATE_TIME (#16500, #16460);
#16520 = APPROVAL_ROLE ('');
#16530 = PERSON ('', '', $, $, $, $);
#16540 = ORGANIZATION ($, '', '');
#16550 = PERSON_AND_ORGANIZATION (#16530, #16540);
#16560 = APPROVAL_PERSON_ORGANIZATION (#16550, #16460, #16520);
#16570 = CC_DESIGN_APPROVAL (#16460, (#16440));
#16580 = DATE_TIME_ROLE ('creation_date');
#16590 = CALENDAR_DATE (2010, 8, 11);
#16600 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16610 = LOCAL_TIME (15, 43, 28., #16600);
#16620 = DATE_AND_TIME (#16590, #16610);
#16630 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#16620, #16580, (#16440));
#16640 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#16650 = PERSON ('', '', $, $, $, $);
#16660 = ORGANIZATION ($, '', '');
#16670 = PERSON_AND_ORGANIZATION (#16650, #16660);
#16680 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16670, #16640, (#16440));
#16690 = PRODUCT_DEFINITION_SHAPE ('', '', #16440);
#16700 = SHAPE_DEFINITION_REPRESENTATION (#16690, #15810);
#16710 = CARTESIAN_POINT ('', (131.4938065188, -1.94289029309402E-15, 2.379));
#16720 = VERTEX_POINT ('', #16710);
#16730 = CARTESIAN_POINT ('', (126.245642561061, -11.7875692445614, 2.379));
#16740 = VERTEX_POINT ('', #16730);
#16750 = CARTESIAN_POINT ('', (131.4938065188, -1.94289029309402E-15, 2.379));
#16760 = CARTESIAN_POINT ('', (126.245642561061, -11.7875692445614, 2.379));
#16770 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16750, #16760), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16780 = EDGE_CURVE ('', #16720, #16740, #16770, .T.);
#16790 = ORIENTED_EDGE ('', *, *, #16780, .F.);
#16800 = CARTESIAN_POINT ('', (126.245642561061, 11.7875692445614, 2.379));
#16810 = VERTEX_POINT ('', #16800);
#16820 = CARTESIAN_POINT ('', (126.245642561061, 11.7875692445614, 2.379));
#16830 = CARTESIAN_POINT ('', (131.4938065188, 6.16173778666962E-15, 2.379));
#16840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16820, #16830), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16850 = EDGE_CURVE ('', #16810, #16720, #16840, .T.);
#16860 = ORIENTED_EDGE ('', *, *, #16850, .F.);
#16870 = CARTESIAN_POINT ('', (116.462430755439, 11.7875692445614, 2.379));
#16880 = VERTEX_POINT ('', #16870);
#16890 = CARTESIAN_POINT ('', (116.462430755439, 11.7875692445614, 2.379));
#16900 = CARTESIAN_POINT ('', (126.245642561061, 11.7875692445614, 2.379));
#16910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16890, #16900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16920 = EDGE_CURVE ('', #16880, #16810, #16910, .T.);
#16930 = ORIENTED_EDGE ('', *, *, #16920, .F.);
#16940 = CARTESIAN_POINT ('', (116.462430755439, -11.7875692445614, 2.379));
#16950 = VERTEX_POINT ('', #16940);
#16960 = CARTESIAN_POINT ('', (116.462430755439, -11.7875692445614, 2.379));
#16970 = CARTESIAN_POINT ('', (116.462430755439, 11.7875692445614, 2.379));
#16980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16960, #16970), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16990 = EDGE_CURVE ('', #16950, #16880, #16980, .T.);
#17000 = ORIENTED_EDGE ('', *, *, #16990, .F.);
#17010 = CARTESIAN_POINT ('', (126.245642561061, -11.7875692445614, 2.379));
#17020 = CARTESIAN_POINT ('', (116.462430755439, -11.7875692445614, 2.379));
#17030 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17010, #17020), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17040 = EDGE_CURVE ('', #16740, #16950, #17030, .T.);
#17050 = ORIENTED_EDGE ('', *, *, #17040, .F.);
#17060 = EDGE_LOOP ('', (#16790, #16860, #16930, #17000, #17050));
#17070 = FACE_OUTER_BOUND ('', #17060, .T.);
#17080 = CARTESIAN_POINT ('', (131.4938065188, 11.7875692445614, 2.379));
#17090 = CARTESIAN_POINT ('', (131.4938065188, -11.7875692445614, 2.379));
#17100 = CARTESIAN_POINT ('', (116.462430755439, 11.7875692445614, 2.379));
#17110 = CARTESIAN_POINT ('', (116.462430755439, -11.7875692445614, 2.379));
#17120 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17080, #17090), (#17100, #17110)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.255630036086191, 0.744369963913809), (0.116731307064225, 0.883268692935775), .UNSPECIFIED.);
#17130 = ADVANCED_FACE ('', (#17070), #17120, .T.);
#17140 = ORIENTED_EDGE ('', *, *, #16850, .T.);
#17150 = CARTESIAN_POINT ('', (132., 0., 0.));
#17160 = VERTEX_POINT ('', #17150);
#17170 = CARTESIAN_POINT ('', (131.4938065188, 6.16173778666962E-15, 2.379));
#17180 = CARTESIAN_POINT ('', (132., 0., 0.));
#17190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17170, #17180), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17200 = EDGE_CURVE ('', #16720, #17160, #17190, .T.);
#17210 = ORIENTED_EDGE ('', *, *, #17200, .T.);
#17220 = CARTESIAN_POINT ('', (126.54594860497, 12.25, 0.));
#17230 = VERTEX_POINT ('', #17220);
#17240 = CARTESIAN_POINT ('', (126.54594860497, 12.25, 0.));
#17250 = CARTESIAN_POINT ('', (132., 0., 0.));
#17260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17240, #17250), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17270 = EDGE_CURVE ('', #17230, #17160, #17260, .T.);
#17280 = ORIENTED_EDGE ('', *, *, #17270, .F.);
#17290 = CARTESIAN_POINT ('', (126.245642561061, 11.7875692445614, 2.379));
#17300 = CARTESIAN_POINT ('', (126.54594860497, 12.25, 0.));
#17310 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17290, #17300), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17320 = EDGE_CURVE ('', #16810, #17230, #17310, .T.);
#17330 = ORIENTED_EDGE ('', *, *, #17320, .F.);
#17340 = EDGE_LOOP ('', (#17140, #17210, #17280, #17330));
#17350 = FACE_OUTER_BOUND ('', #17340, .T.);
#17360 = CARTESIAN_POINT ('', (126.245642561061, 11.7875692445614, 2.379));
#17370 = CARTESIAN_POINT ('', (126.54594860497, 12.25, 0.));
#17380 = CARTESIAN_POINT ('', (131.4938065188, 6.16173778666962E-15, 2.379));
#17390 = CARTESIAN_POINT ('', (132., 0., 0.));
#17400 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17360, #17370), (#17380, #17390)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#17410 = ADVANCED_FACE ('', (#17350), #17400, .T.);
#17420 = ORIENTED_EDGE ('', *, *, #16780, .T.);
#17430 = CARTESIAN_POINT ('', (126.54594860497, -12.25, 0.));
#17440 = VERTEX_POINT ('', #17430);
#17450 = CARTESIAN_POINT ('', (126.245642561061, -11.7875692445614, 2.379));
#17460 = CARTESIAN_POINT ('', (126.54594860497, -12.25, 0.));
#17470 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17450, #17460), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17480 = EDGE_CURVE ('', #16740, #17440, #17470, .T.);
#17490 = ORIENTED_EDGE ('', *, *, #17480, .T.);
#17500 = CARTESIAN_POINT ('', (132., 0., 0.));
#17510 = CARTESIAN_POINT ('', (126.54594860497, -12.25, 0.));
#17520 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17500, #17510), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17530 = EDGE_CURVE ('', #17160, #17440, #17520, .T.);
#17540 = ORIENTED_EDGE ('', *, *, #17530, .F.);
#17550 = ORIENTED_EDGE ('', *, *, #17200, .F.);
#17560 = EDGE_LOOP ('', (#17420, #17490, #17540, #17550));
#17570 = FACE_OUTER_BOUND ('', #17560, .T.);
#17580 = CARTESIAN_POINT ('', (131.4938065188, -1.94289029309402E-15, 2.379));
#17590 = CARTESIAN_POINT ('', (132., 0., 0.));
#17600 = CARTESIAN_POINT ('', (126.245642561061, -11.7875692445614, 2.379));
#17610 = CARTESIAN_POINT ('', (126.54594860497, -12.25, 0.));
#17620 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17580, #17590), (#17600, #17610)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#17630 = ADVANCED_FACE ('', (#17570), #17620, .T.);
#17640 = ORIENTED_EDGE ('', *, *, #17040, .T.);
#17650 = CARTESIAN_POINT ('', (116., -12.25, 0.));
#17660 = VERTEX_POINT ('', #17650);
#17670 = CARTESIAN_POINT ('', (116.462430755439, -11.7875692445614, 2.379));
#17680 = CARTESIAN_POINT ('', (116., -12.25, 0.));
#17690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17670, #17680), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17700 = EDGE_CURVE ('', #16950, #17660, #17690, .T.);
#17710 = ORIENTED_EDGE ('', *, *, #17700, .T.);
#17720 = CARTESIAN_POINT ('', (126.54594860497, -12.25, 0.));
#17730 = CARTESIAN_POINT ('', (116., -12.25, 0.));
#17740 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17720, #17730), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17750 = EDGE_CURVE ('', #17440, #17660, #17740, .T.);
#17760 = ORIENTED_EDGE ('', *, *, #17750, .F.);
#17770 = ORIENTED_EDGE ('', *, *, #17480, .F.);
#17780 = EDGE_LOOP ('', (#17640, #17710, #17760, #17770));
#17790 = FACE_OUTER_BOUND ('', #17780, .T.);
#17800 = CARTESIAN_POINT ('', (126.245642561061, -11.7875692445614, 2.379));
#17810 = CARTESIAN_POINT ('', (126.54594860497, -12.25, 0.));
#17820 = CARTESIAN_POINT ('', (116.462430755439, -11.7875692445614, 2.379));
#17830 = CARTESIAN_POINT ('', (116., -12.25, 0.));
#17840 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17800, #17810), (#17820, #17830)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#17850 = ADVANCED_FACE ('', (#17790), #17840, .T.);
#17860 = ORIENTED_EDGE ('', *, *, #16990, .T.);
#17870 = CARTESIAN_POINT ('', (116., 12.25, 0.));
#17880 = VERTEX_POINT ('', #17870);
#17890 = CARTESIAN_POINT ('', (116.462430755439, 11.7875692445614, 2.379));
#17900 = CARTESIAN_POINT ('', (116., 12.25, 0.));
#17910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17890, #17900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17920 = EDGE_CURVE ('', #16880, #17880, #17910, .T.);
#17930 = ORIENTED_EDGE ('', *, *, #17920, .T.);
#17940 = CARTESIAN_POINT ('', (116., -12.25, 0.));
#17950 = CARTESIAN_POINT ('', (116., 12.25, 0.));
#17960 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17940, #17950), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17970 = EDGE_CURVE ('', #17660, #17880, #17960, .T.);
#17980 = ORIENTED_EDGE ('', *, *, #17970, .F.);
#17990 = ORIENTED_EDGE ('', *, *, #17700, .F.);
#18000 = EDGE_LOOP ('', (#17860, #17930, #17980, #17990));
#18010 = FACE_OUTER_BOUND ('', #18000, .T.);
#18020 = CARTESIAN_POINT ('', (116.462430755439, -11.7875692445614, 2.379));
#18030 = CARTESIAN_POINT ('', (116., -12.25, 0.));
#18040 = CARTESIAN_POINT ('', (116.462430755439, 11.7875692445614, 2.379));
#18050 = CARTESIAN_POINT ('', (116., 12.25, 0.));
#18060 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18020, #18030), (#18040, #18050)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#18070 = ADVANCED_FACE ('', (#18010), #18060, .T.);
#18080 = ORIENTED_EDGE ('', *, *, #16920, .T.);
#18090 = ORIENTED_EDGE ('', *, *, #17320, .T.);
#18100 = CARTESIAN_POINT ('', (116., 12.25, 0.));
#18110 = CARTESIAN_POINT ('', (126.54594860497, 12.25, 0.));
#18120 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18100, #18110), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18130 = EDGE_CURVE ('', #17880, #17230, #18120, .T.);
#18140 = ORIENTED_EDGE ('', *, *, #18130, .F.);
#18150 = ORIENTED_EDGE ('', *, *, #17920, .F.);
#18160 = EDGE_LOOP ('', (#18080, #18090, #18140, #18150));
#18170 = FACE_OUTER_BOUND ('', #18160, .T.);
#18180 = CARTESIAN_POINT ('', (116.462430755439, 11.7875692445614, 2.379));
#18190 = CARTESIAN_POINT ('', (116., 12.25, 0.));
#18200 = CARTESIAN_POINT ('', (126.245642561061, 11.7875692445614, 2.379));
#18210 = CARTESIAN_POINT ('', (126.54594860497, 12.25, 0.));
#18220 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18180, #18190), (#18200, #18210)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#18230 = ADVANCED_FACE ('', (#18170), #18220, .T.);
#18240 = CARTESIAN_POINT ('', (131.4938065188, -1.94289029309402E-15, -2.379));
#18250 = VERTEX_POINT ('', #18240);
#18260 = CARTESIAN_POINT ('', (126.245642561061, -11.7875692445614, -2.379));
#18270 = VERTEX_POINT ('', #18260);
#18280 = CARTESIAN_POINT ('', (131.4938065188, -1.94289029309402E-15, -2.379));
#18290 = CARTESIAN_POINT ('', (126.245642561061, -11.7875692445614, -2.379));
#18300 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18280, #18290), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18310 = EDGE_CURVE ('', #18250, #18270, #18300, .T.);
#18320 = ORIENTED_EDGE ('', *, *, #18310, .T.);
#18330 = CARTESIAN_POINT ('', (116.462430755439, -11.7875692445614, -2.379));
#18340 = VERTEX_POINT ('', #18330);
#18350 = CARTESIAN_POINT ('', (126.245642561061, -11.7875692445614, -2.379));
#18360 = CARTESIAN_POINT ('', (116.462430755439, -11.7875692445614, -2.379));
#18370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18350, #18360), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18380 = EDGE_CURVE ('', #18270, #18340, #18370, .T.);
#18390 = ORIENTED_EDGE ('', *, *, #18380, .T.);
#18400 = CARTESIAN_POINT ('', (116.462430755439, 11.7875692445614, -2.379));
#18410 = VERTEX_POINT ('', #18400);
#18420 = CARTESIAN_POINT ('', (116.462430755439, -11.7875692445614, -2.379));
#18430 = CARTESIAN_POINT ('', (116.462430755439, 11.7875692445614, -2.379));
#18440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18420, #18430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18450 = EDGE_CURVE ('', #18340, #18410, #18440, .T.);
#18460 = ORIENTED_EDGE ('', *, *, #18450, .T.);
#18470 = CARTESIAN_POINT ('', (126.245642561061, 11.7875692445614, -2.379));
#18480 = VERTEX_POINT ('', #18470);
#18490 = CARTESIAN_POINT ('', (116.462430755439, 11.7875692445614, -2.379));
#18500 = CARTESIAN_POINT ('', (126.245642561061, 11.7875692445614, -2.379));
#18510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18490, #18500), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18520 = EDGE_CURVE ('', #18410, #18480, #18510, .T.);
#18530 = ORIENTED_EDGE ('', *, *, #18520, .T.);
#18540 = CARTESIAN_POINT ('', (126.245642561061, 11.7875692445614, -2.379));
#18550 = CARTESIAN_POINT ('', (131.4938065188, 6.16173778666962E-15, -2.379));
#18560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18540, #18550), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18570 = EDGE_CURVE ('', #18480, #18250, #18560, .T.);
#18580 = ORIENTED_EDGE ('', *, *, #18570, .T.);
#18590 = EDGE_LOOP ('', (#18320, #18390, #18460, #18530, #18580));
#18600 = FACE_OUTER_BOUND ('', #18590, .T.);
#18610 = CARTESIAN_POINT ('', (131.4938065188, 11.7875692445614, -2.379));
#18620 = CARTESIAN_POINT ('', (116.462430755439, 11.7875692445614, -2.379));
#18630 = CARTESIAN_POINT ('', (131.4938065188, -11.7875692445614, -2.379));
#18640 = CARTESIAN_POINT ('', (116.462430755439, -11.7875692445614, -2.379));
#18650 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18610, #18620), (#18630, #18640)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.116731307064225, 0.883268692935775), (0.255630036086191, 0.744369963913809), .UNSPECIFIED.);
#18660 = ADVANCED_FACE ('', (#18600), #18650, .T.);
#18670 = ORIENTED_EDGE ('', *, *, #18570, .F.);
#18680 = CARTESIAN_POINT ('', (126.245642561061, 11.7875692445614, -2.379));
#18690 = CARTESIAN_POINT ('', (126.54594860497, 12.25, 0.));
#18700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18680, #18690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18710 = EDGE_CURVE ('', #18480, #17230, #18700, .T.);
#18720 = ORIENTED_EDGE ('', *, *, #18710, .T.);
#18730 = ORIENTED_EDGE ('', *, *, #17270, .T.);
#18740 = CARTESIAN_POINT ('', (131.4938065188, 6.16173778666962E-15, -2.379));
#18750 = CARTESIAN_POINT ('', (132., 0., 0.));
#18760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18740, #18750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18770 = EDGE_CURVE ('', #18250, #17160, #18760, .T.);
#18780 = ORIENTED_EDGE ('', *, *, #18770, .F.);
#18790 = EDGE_LOOP ('', (#18670, #18720, #18730, #18780));
#18800 = FACE_OUTER_BOUND ('', #18790, .T.);
#18810 = CARTESIAN_POINT ('', (126.245642561061, 11.7875692445614, -2.379));
#18820 = CARTESIAN_POINT ('', (131.4938065188, 6.16173778666962E-15, -2.379));
#18830 = CARTESIAN_POINT ('', (126.54594860497, 12.25, 0.));
#18840 = CARTESIAN_POINT ('', (132., 0., 0.));
#18850 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18810, #18820), (#18830, #18840)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#18860 = ADVANCED_FACE ('', (#18800), #18850, .T.);
#18870 = ORIENTED_EDGE ('', *, *, #18520, .F.);
#18880 = CARTESIAN_POINT ('', (116.462430755439, 11.7875692445614, -2.379));
#18890 = CARTESIAN_POINT ('', (116., 12.25, 0.));
#18900 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18880, #18890), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18910 = EDGE_CURVE ('', #18410, #17880, #18900, .T.);
#18920 = ORIENTED_EDGE ('', *, *, #18910, .T.);
#18930 = ORIENTED_EDGE ('', *, *, #18130, .T.);
#18940 = ORIENTED_EDGE ('', *, *, #18710, .F.);
#18950 = EDGE_LOOP ('', (#18870, #18920, #18930, #18940));
#18960 = FACE_OUTER_BOUND ('', #18950, .T.);
#18970 = CARTESIAN_POINT ('', (116.462430755439, 11.7875692445614, -2.379));
#18980 = CARTESIAN_POINT ('', (126.245642561061, 11.7875692445614, -2.379));
#18990 = CARTESIAN_POINT ('', (116., 12.25, 0.));
#19000 = CARTESIAN_POINT ('', (126.54594860497, 12.25, 0.));
#19010 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#18970, #18980), (#18990, #19000)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#19020 = ADVANCED_FACE ('', (#18960), #19010, .T.);
#19030 = ORIENTED_EDGE ('', *, *, #18310, .F.);
#19040 = ORIENTED_EDGE ('', *, *, #18770, .T.);
#19050 = ORIENTED_EDGE ('', *, *, #17530, .T.);
#19060 = CARTESIAN_POINT ('', (126.245642561061, -11.7875692445614, -2.379));
#19070 = CARTESIAN_POINT ('', (126.54594860497, -12.25, 0.));
#19080 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#19060, #19070), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#19090 = EDGE_CURVE ('', #18270, #17440, #19080, .T.);
#19100 = ORIENTED_EDGE ('', *, *, #19090, .F.);
#19110 = EDGE_LOOP ('', (#19030, #19040, #19050, #19100));
#19120 = FACE_OUTER_BOUND ('', #19110, .T.);
#19130 = CARTESIAN_POINT ('', (131.4938065188, -1.94289029309402E-15, -2.379));
#19140 = CARTESIAN_POINT ('', (126.245642561061, -11.7875692445614, -2.379));
#19150 = CARTESIAN_POINT ('', (132., 0., 0.));
#19160 = CARTESIAN_POINT ('', (126.54594860497, -12.25, 0.));
#19170 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#19130, #19140), (#19150, #19160)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#19180 = ADVANCED_FACE ('', (#19120), #19170, .T.);
#19190 = ORIENTED_EDGE ('', *, *, #18450, .F.);
#19200 = CARTESIAN_POINT ('', (116.462430755439, -11.7875692445614, -2.379));
#19210 = CARTESIAN_POINT ('', (116., -12.25, 0.));
#19220 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#19200, #19210), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#19230 = EDGE_CURVE ('', #18340, #17660, #19220, .T.);
#19240 = ORIENTED_EDGE ('', *, *, #19230, .T.);
#19250 = ORIENTED_EDGE ('', *, *, #17970, .T.);
#19260 = ORIENTED_EDGE ('', *, *, #18910, .F.);
#19270 = EDGE_LOOP ('', (#19190, #19240, #19250, #19260));
#19280 = FACE_OUTER_BOUND ('', #19270, .T.);
#19290 = CARTESIAN_POINT ('', (116.462430755439, -11.7875692445614, -2.379));
#19300 = CARTESIAN_POINT ('', (116.462430755439, 11.7875692445614, -2.379));
#19310 = CARTESIAN_POINT ('', (116., -12.25, 0.));
#19320 = CARTESIAN_POINT ('', (116., 12.25, 0.));
#19330 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#19290, #19300), (#19310, #19320)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#19340 = ADVANCED_FACE ('', (#19280), #19330, .T.);
#19350 = ORIENTED_EDGE ('', *, *, #18380, .F.);
#19360 = ORIENTED_EDGE ('', *, *, #19090, .T.);
#19370 = ORIENTED_EDGE ('', *, *, #17750, .T.);
#19380 = ORIENTED_EDGE ('', *, *, #19230, .F.);
#19390 = EDGE_LOOP ('', (#19350, #19360, #19370, #19380));
#19400 = FACE_OUTER_BOUND ('', #19390, .T.);
#19410 = CARTESIAN_POINT ('', (126.245642561061, -11.7875692445614, -2.379));
#19420 = CARTESIAN_POINT ('', (116.462430755439, -11.7875692445614, -2.379));
#19430 = CARTESIAN_POINT ('', (126.54594860497, -12.25, 0.));
#19440 = CARTESIAN_POINT ('', (116., -12.25, 0.));
#19450 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#19410, #19420), (#19430, #19440)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#19460 = ADVANCED_FACE ('', (#19400), #19450, .T.);
#19470 = CLOSED_SHELL ('', (#17130, #17410, #17630, #17850, #18070, #18230, #18660, #18860, #19020, #19180, #19340, #19460));
#19480 = MANIFOLD_SOLID_BREP ('', #19470);
#19490 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#19500 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#19510 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#19520 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #19490, 'DISTANCE_ACCURACY_VALUE', '');
#19530 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#19520))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#19490, #19500, #19510))
   REPRESENTATION_CONTEXT ('', '3D')
);
#19540 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#19550 = FILL_AREA_STYLE_COLOUR ('', #19540);
#19560 = FILL_AREA_STYLE ('', (#19550));
#19570 = SURFACE_STYLE_FILL_AREA (#19560);
#19580 = SURFACE_SIDE_STYLE ('', (#19570));
#19590 = SURFACE_STYLE_USAGE (.POSITIVE., #19580);
#19600 = PRESENTATION_STYLE_ASSIGNMENT ((#19590));
#19610 = STYLED_ITEM ('', (#19600), #19480);
#19620 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#19480), #19530);
#19630 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#19640 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #19630);
#19650 = MECHANICAL_CONTEXT ('', #19630, 'mechanical');
#19660 = PRODUCT ('product-name', '', '', (#19650));
#19670 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#19680 = PERSON ('', '', $, $, $, $);
#19690 = ORGANIZATION ($, '', '');
#19700 = PERSON_AND_ORGANIZATION (#19680, #19690);
#19710 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19700, #19670, (#19660));
#19720 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#19660));
#19730 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #19660, .NOT_KNOWN.);
#19740 = APPROVAL_STATUS ('approved');
#19750 = APPROVAL (#19740, '');
#19760 = CALENDAR_DATE (2010, 8, 11);
#19770 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#19780 = LOCAL_TIME (15, 43, 28., #19770);
#19790 = DATE_AND_TIME (#19760, #19780);
#19800 = APPROVAL_DATE_TIME (#19790, #19750);
#19810 = APPROVAL_ROLE ('');
#19820 = PERSON ('', '', $, $, $, $);
#19830 = ORGANIZATION ($, '', '');
#19840 = PERSON_AND_ORGANIZATION (#19820, #19830);
#19850 = APPROVAL_PERSON_ORGANIZATION (#19840, #19750, #19810);
#19860 = CC_DESIGN_APPROVAL (#19750, (#19730));
#19870 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#19880 = PERSON ('', '', $, $, $, $);
#19890 = ORGANIZATION ($, '', '');
#19900 = PERSON_AND_ORGANIZATION (#19880, #19890);
#19910 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19900, #19870, (#19730));
#19920 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#19930 = PERSON ('', '', $, $, $, $);
#19940 = ORGANIZATION ($, '', '');
#19950 = PERSON_AND_ORGANIZATION (#19930, #19940);
#19960 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#19950, #19920, (#19730));
#19970 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#19980 = SECURITY_CLASSIFICATION ('', '', #19970);
#19990 = APPROVAL_STATUS ('approved');
#20000 = APPROVAL (#19990, '');
#20010 = CALENDAR_DATE (2010, 8, 11);
#20020 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#20030 = LOCAL_TIME (15, 43, 28., #20020);
#20040 = DATE_AND_TIME (#20010, #20030);
#20050 = APPROVAL_DATE_TIME (#20040, #20000);
#20060 = APPROVAL_ROLE ('');
#20070 = PERSON ('', '', $, $, $, $);
#20080 = ORGANIZATION ($, '', '');
#20090 = PERSON_AND_ORGANIZATION (#20070, #20080);
#20100 = APPROVAL_PERSON_ORGANIZATION (#20090, #20000, #20060);
#20110 = CC_DESIGN_APPROVAL (#20000, (#19980));
#20120 = DATE_TIME_ROLE ('classification_date');
#20130 = CALENDAR_DATE (2010, 8, 11);
#20140 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#20150 = LOCAL_TIME (15, 43, 28., #20140);
#20160 = DATE_AND_TIME (#20130, #20150);
#20170 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#20160, #20120, (#19980));
#20180 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#20190 = PERSON ('', '', $, $, $, $);
#20200 = ORGANIZATION ($, '', '');
#20210 = PERSON_AND_ORGANIZATION (#20190, #20200);
#20220 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#20210, #20180, (#19980));
#20230 = CC_DESIGN_SECURITY_CLASSIFICATION (#19980, (#19730));
#20240 = DESIGN_CONTEXT ('', #19630, 'design');
#20250 = PRODUCT_DEFINITION ('', '', #19730, #20240);
#20260 = APPROVAL_STATUS ('approved');
#20270 = APPROVAL (#20260, '');
#20280 = CALENDAR_DATE (2010, 8, 11);
#20290 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#20300 = LOCAL_TIME (15, 43, 28., #20290);
#20310 = DATE_AND_TIME (#20280, #20300);
#20320 = APPROVAL_DATE_TIME (#20310, #20270);
#20330 = APPROVAL_ROLE ('');
#20340 = PERSON ('', '', $, $, $, $);
#20350 = ORGANIZATION ($, '', '');
#20360 = PERSON_AND_ORGANIZATION (#20340, #20350);
#20370 = APPROVAL_PERSON_ORGANIZATION (#20360, #20270, #20330);
#20380 = CC_DESIGN_APPROVAL (#20270, (#20250));
#20390 = DATE_TIME_ROLE ('creation_date');
#20400 = CALENDAR_DATE (2010, 8, 11);
#20410 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#20420 = LOCAL_TIME (15, 43, 28., #20410);
#20430 = DATE_AND_TIME (#20400, #20420);
#20440 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#20430, #20390, (#20250));
#20450 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#20460 = PERSON ('', '', $, $, $, $);
#20470 = ORGANIZATION ($, '', '');
#20480 = PERSON_AND_ORGANIZATION (#20460, #20470);
#20490 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#20480, #20450, (#20250));
#20500 = PRODUCT_DEFINITION_SHAPE ('', '', #20250);
#20510 = SHAPE_DEFINITION_REPRESENTATION (#20500, #19620);
ENDSEC;
END-ISO-10303-21;