ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('SIM117B-1035005WL.stp', '2016-12-15T10:25:22', ('Unknown'), ('TDM'), 'HarmonyWare STEP v2.0.2.9', 'T3D tool generator', '');
FILE_SCHEMA (('CONFIG_CONTROL_DESIGN'));
ENDSEC;

DATA;
#10 = CARTESIAN_POINT ('', (3.93531911957743, -4.1, -4.00353896119724));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (4.35, -4.1, -4.00353896119724));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (3.93531911957743, -4.1, -4.00353896119724));
#60 = DIRECTION ('', (0.41468088042257, 0., 0.));
#70 = VECTOR ('', #60, 0.41468088042257);
#80 = LINE ('', #50, #70);
#90 = EDGE_CURVE ('', #20, #40, #80, .T.);
#100 = ORIENTED_EDGE ('', *, *, #90, .T.);
#110 = CARTESIAN_POINT ('', (4.34999999999995, -4.1, -0.280523422198561));
#120 = VERTEX_POINT ('', #110);
#130 = CARTESIAN_POINT ('', (4.35, -4.1, -0.280523422198561));
#140 = DIRECTION ('', (0., 0., -3.72301553899868));
#150 = VECTOR ('', #140, 3.72301553899868);
#160 = LINE ('', #130, #150);
#170 = EDGE_CURVE ('', #120, #40, #160, .T.);
#180 = ORIENTED_EDGE ('', *, *, #170, .F.);
#190 = CARTESIAN_POINT ('', (3.67312802221966, -4.10075513429934, -0.256692557987726));
#200 = VERTEX_POINT ('', #190);
#210 = CARTESIAN_POINT ('', (-13.9552497150837, -4.10000000585447, -553.282437411994));
#220 = DIRECTION ('', (3.44228248111391E-13, -1., 1.0575311907018E-11));
#230 = DIRECTION ('', (0.033083482728857, 1.05809111634129E-11, 0.999452591757373));
#240 = AXIS2_PLACEMENT_3D ('', #210, #220, #230);
#250 = CIRCLE ('', #240, 553.304797608914);
#260 = EDGE_CURVE ('', #120, #200, #250, .T.);
#270 = ORIENTED_EDGE ('', *, *, #260, .T.);
#280 = CARTESIAN_POINT ('', (3.93531911957742, -4.1, -4.00353896119725));
#290 = DIRECTION ('', (-0.26203564772934, 0., 3.7450016011636));
#300 = VECTOR ('', #290, 3.75415765164423);
#310 = LINE ('', #280, #300);
#320 = EDGE_CURVE ('', #20, #200, #310, .T.);
#330 = ORIENTED_EDGE ('', *, *, #320, .F.);
#340 = EDGE_LOOP ('', (#100, #180, #270, #330));
#350 = FACE_OUTER_BOUND ('', #340, .T.);
#360 = CARTESIAN_POINT ('', (3.67312802221966, -4.1, -4.00353896119725));
#370 = CARTESIAN_POINT ('', (3.67312802221966, -4.1, -0.256692557987726));
#380 = CARTESIAN_POINT ('', (4.35, -4.1, -4.00353896119725));
#390 = CARTESIAN_POINT ('', (4.35, -4.1, -0.256692557987726));
#400 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#360, #370), (#380, #390)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (17.8413042695772, 18.5181762473576), (12.9772001176182, 16.7240465208277), .UNSPECIFIED.);
#410 = ADVANCED_FACE ('', (#350), #400, .T.);
#420 = ORIENTED_EDGE ('', *, *, #170, .T.);
#430 = CARTESIAN_POINT ('', (4.35, -3.98778761738197, -4.01486520608607));
#440 = VERTEX_POINT ('', #430);
#450 = CARTESIAN_POINT ('', (4.35, -3.61903469355957, 0.200000000002524));
#460 = DIRECTION ('', (-1., 0., 0.));
#470 = DIRECTION ('', (0., -0.0871557427476101, -0.99619469809175));
#480 = AXIS2_PLACEMENT_3D ('', #450, #460, #470);
#490 = CIRCLE ('', #480, 4.23096530644293);
#500 = EDGE_CURVE ('', #440, #40, #490, .T.);
#510 = ORIENTED_EDGE ('', *, *, #500, .F.);
#520 = CARTESIAN_POINT ('', (4.35, -0.31376067389157, -4.33630091313028));
#530 = VERTEX_POINT ('', #520);
#540 = CARTESIAN_POINT ('', (4.35, -0.31376067389157, -4.33630091313028));
#550 = DIRECTION ('', (0., -3.6740269434904, 0.32143570704421));
#560 = VECTOR ('', #550, 3.68806112954441);
#570 = LINE ('', #540, #560);
#580 = EDGE_CURVE ('', #530, #440, #570, .T.);
#590 = ORIENTED_EDGE ('', *, *, #580, .F.);
#600 = CARTESIAN_POINT ('', (4.35, 3.6, -0.750000000000001));
#610 = VERTEX_POINT ('', #600);
#620 = CARTESIAN_POINT ('', (4.35, 1.59872115546023E-14, -0.750000000000011));
#630 = DIRECTION ('', (-1., 4.93432455388961E-16, -1.93612543184707E-16));
#640 = DIRECTION ('', (4.93432455388961E-16, 1., 3.14563190310462E-15));
#650 = AXIS2_PLACEMENT_3D ('', #620, #630, #640);
#660 = CIRCLE ('', #650, 3.59999999999998);
#670 = EDGE_CURVE ('', #610, #530, #660, .T.);
#680 = ORIENTED_EDGE ('', *, *, #670, .F.);
#690 = CARTESIAN_POINT ('', (4.35, -1.76660430249423, 2.38673544284641));
#700 = VERTEX_POINT ('', #690);
#710 = CARTESIAN_POINT ('', (4.35, 4.08006961549745E-15, -0.749999999999994));
#720 = DIRECTION ('', (-1., 0., 0.));
#730 = DIRECTION ('', (0., -0.49072341735951, 0.871315400790669));
#740 = AXIS2_PLACEMENT_3D ('', #710, #720, #730);
#750 = CIRCLE ('', #740, 3.59999999999999);
#760 = EDGE_CURVE ('', #700, #610, #750, .T.);
#770 = ORIENTED_EDGE ('', *, *, #760, .F.);
#780 = CARTESIAN_POINT ('', (4.34999999999995, -1.76660430249067, 2.38673544284942));
#790 = CARTESIAN_POINT ('', (4.34999999999995, -1.97541226396454, 2.21058061150422));
#800 = CARTESIAN_POINT ('', (4.34999999999995, -2.31168885610261, 1.89401249416206));
#810 = CARTESIAN_POINT ('', (4.34999999999995, -2.72636580091697, 1.36634738027921));
#820 = CARTESIAN_POINT ('', (4.34999999999995, -2.99851249786647, 0.9207864712021));
#830 = CARTESIAN_POINT ('', (4.34999999999995, -3.20784559786489, 0.50906838078189));
#840 = CARTESIAN_POINT ('', (4.34999999999995, -3.41083739505538, 0.186665002395301));
#850 = CARTESIAN_POINT ('', (4.34999999999995, -3.67363260696153, -0.0572803160550253));
#860 = CARTESIAN_POINT ('', (4.34999999999995, -3.91662564681689, -0.203614975316822));
#870 = CARTESIAN_POINT ('', (4.34999999999995, -4.05055371812564, -0.261701002143722));
#880 = CARTESIAN_POINT ('', (4.34999999999995, -4.1, -0.280523422198561));
#890 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#780, #790, #800, #810, #820, #830, #840, #850, #860, #870, #880), .UNSPECIFIED., .F., .U., (4, 1, 1, 1, 1, 1, 1, 1, 4), (0., 0.165143305551089, 0.279214524691094, 0.406487791382042, 0.480628869551233, 0.557097699800197, 0.638014605870075, 0.694649676288963, 0.726997072327323), .UNSPECIFIED.);
#900 = EDGE_CURVE ('', #700, #120, #890, .T.);
#910 = ORIENTED_EDGE ('', *, *, #900, .T.);
#920 = EDGE_LOOP ('', (#420, #510, #590, #680, #770, #910));
#930 = FACE_OUTER_BOUND ('', #920, .T.);
#940 = CARTESIAN_POINT ('', (4.35, -4.1, -4.35140010178178));
#950 = CARTESIAN_POINT ('', (4.35, -4.1, 2.85116528656389));
#960 = CARTESIAN_POINT ('', (4.35, 3.601, -4.35140010178178));
#970 = CARTESIAN_POINT ('', (4.35, 3.601, 2.85116528656389));
#980 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#940, #950), (#960, #970)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-4.1, 3.601), (-3.60140010178178, 3.6011652865639), .UNSPECIFIED.);
#990 = ADVANCED_FACE ('', (#930), #980, .T.);
#1000 = ORIENTED_EDGE ('', *, *, #90, .F.);
#1010 = CARTESIAN_POINT ('', (3.9400301532854, -3.98778761738197, -4.01486520608607));
#1020 = VERTEX_POINT ('', #1010);
#1030 = CARTESIAN_POINT ('', (3.65921355634571, -3.60857386629439, 0.18781316458085));
#1040 = DIRECTION ('', (-0.996956361193263, 0.0348144832819036, -0.069756473750488));
#1050 = DIRECTION ('', (0.0664012535292399, -0.0896680207015992, -0.993755764558477));
#1060 = AXIS2_PLACEMENT_3D ('', #1030, #1040, #1050);
#1070 = CIRCLE ('', #1060, 4.22908577879736);
#1080 = EDGE_CURVE ('', #1020, #20, #1070, .T.);
#1090 = ORIENTED_EDGE ('', *, *, #1080, .F.);
#1100 = CARTESIAN_POINT ('', (4.35, -3.98778761738197, -4.01486520608607));
#1110 = DIRECTION ('', (-0.4099698467146, 0., 0.));
#1120 = VECTOR ('', #1110, 0.4099698467146);
#1130 = LINE ('', #1100, #1120);
#1140 = EDGE_CURVE ('', #440, #1020, #1130, .T.);
#1150 = ORIENTED_EDGE ('', *, *, #1140, .F.);
#1160 = ORIENTED_EDGE ('', *, *, #500, .T.);
#1170 = EDGE_LOOP ('', (#1000, #1090, #1150, #1160));
#1180 = FACE_OUTER_BOUND ('', #1170, .T.);
#1190 = CARTESIAN_POINT ('', (3.93531911957743, -4.1, -4.00353896119724));
#1200 = CARTESIAN_POINT ('', (4.35000000004011, -4.09999999999974, -4.00353896119483));
#1210 = CARTESIAN_POINT ('', (3.93531911957743, -4.04396929478673, -4.00994994621528));
#1220 = CARTESIAN_POINT ('', (4.35000000004011, -4.04396929478647, -4.00994994621287));
#1230 = CARTESIAN_POINT ('', (3.93531911957743, -3.987787617382, -4.01486520608607));
#1240 = CARTESIAN_POINT ('', (4.35000000004011, -3.98778761738174, -4.01486520608366));
#1250 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#1190, #1200), (#1210, #1220), (#1230, #1240)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.230304343382371, 0.234837734483197), (0.36078602387389, 0.903424370723855), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.999911175215975, 0.999911175215975), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#1260 = ADVANCED_FACE ('', (#1180), #1250, .T.);
#1270 = ORIENTED_EDGE ('', *, *, #320, .T.);
#1280 = CARTESIAN_POINT ('', (3.66387769119192, -3.47580992439274, 0.187414193131826));
#1290 = VERTEX_POINT ('', #1280);
#1300 = CARTESIAN_POINT ('', (3.67312802221966, -4.10075513429934, -0.256692557987726));
#1310 = CARTESIAN_POINT ('', (3.67461363641939, -3.86280233388932, -0.159165964396312));
#1320 = CARTESIAN_POINT ('', (3.67169578567056, -3.64555525068253, -0.00903918404961983));
#1330 = CARTESIAN_POINT ('', (3.66387769119173, -3.47580992439467, 0.187414193133479));
#1340 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#1300, #1310, #1320, #1330), .UNSPECIFIED., .F., .U., (4, 4), (0.820642877354092, 1.), .UNSPECIFIED.);
#1350 = EDGE_CURVE ('', #200, #1290, #1340, .T.);
#1360 = ORIENTED_EDGE ('', *, *, #1350, .T.);
#1370 = CARTESIAN_POINT ('', (3.72513122004885, -3.6, -0.75));
#1380 = VERTEX_POINT ('', #1370);
#1390 = CARTESIAN_POINT ('', (3.72513122004885, -3.6, -0.750000000000001));
#1400 = CARTESIAN_POINT ('', (3.69176044932147, -3.6, -0.273066457220481));
#1410 = CARTESIAN_POINT ('', (3.66387769119186, -3.47580992439381, 0.187414193132111));
#1420 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1390, #1400, #1410), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (296.523143705158, 311.61651634653), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.991338175592985, 1.))
   REPRESENTATION_ITEM ('')
);
#1430 = EDGE_CURVE ('', #1380, #1290, #1420, .T.);
#1440 = ORIENTED_EDGE ('', *, *, #1430, .F.);
#1450 = CARTESIAN_POINT ('', (4.09082067623541, -0.31376067389157, -4.33630091313028));
#1460 = VERTEX_POINT ('', #1450);
#1470 = CARTESIAN_POINT ('', (4.09082067623541, -0.313760673891568, -4.33630091313028));
#1480 = CARTESIAN_POINT ('', (3.95594584974543, -3.6, -4.04879222646272));
#1490 = CARTESIAN_POINT ('', (3.72513122004885, -3.6, -0.750000000000001));
#1500 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1470, #1480, #1490), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (211.523143705158, 296.523143705158), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.737277336810124, 1.))
   REPRESENTATION_ITEM ('')
);
#1510 = EDGE_CURVE ('', #1460, #1380, #1500, .T.);
#1520 = ORIENTED_EDGE ('', *, *, #1510, .F.);
#1530 = CARTESIAN_POINT ('', (4.09082067623541, -0.31376067389157, -4.33630091313028));
#1540 = DIRECTION ('', (-0.15079052295001, -3.6740269434904, 0.32143570704421));
#1550 = VECTOR ('', #1540, 3.69114246231);
#1560 = LINE ('', #1530, #1550);
#1570 = EDGE_CURVE ('', #1460, #1020, #1560, .T.);
#1580 = ORIENTED_EDGE ('', *, *, #1570, .T.);
#1590 = ORIENTED_EDGE ('', *, *, #1080, .T.);
#1600 = EDGE_LOOP ('', (#1270, #1360, #1440, #1520, #1580, #1590));
#1610 = FACE_OUTER_BOUND ('', #1600, .T.);
#1620 = CARTESIAN_POINT ('', (3.77376092642948, -0.313760673891568, 0.195102661066623));
#1630 = CARTESIAN_POINT ('', (3.64216044516853, -4.10075513429934, 0.185894649690074));
#1640 = CARTESIAN_POINT ('', (4.09089517665938, -0.313760673891568, -4.33736566981311));
#1650 = CARTESIAN_POINT ('', (3.95929469539843, -4.10075513429934, -4.34657368118966));
#1660 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1620, #1630), (#1640, #1650)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.948178085174406, 3.59537155173907), (0.313950993453686, 4.10324255221513), .UNSPECIFIED.);
#1670 = ADVANCED_FACE ('', (#1610), #1660, .T.);
#1680 = ORIENTED_EDGE ('', *, *, #260, .F.);
#1690 = ORIENTED_EDGE ('', *, *, #900, .F.);
#1700 = CARTESIAN_POINT ('', (4.35, -1.76660430249422, 2.38673544284642));
#1710 = CARTESIAN_POINT ('', (4.25807688941628, -1.8325830626031, 2.3495763124048));
#1720 = CARTESIAN_POINT ('', (4.12995045490609, -1.92823485441453, 2.29150843591828));
#1730 = CARTESIAN_POINT ('', (3.91549241536956, -2.08801954126087, 2.18419501404791));
#1740 = CARTESIAN_POINT ('', (3.81936059448532, -2.15826680523397, 2.13369389616517));
#1750 = CARTESIAN_POINT ('', (3.46542554332166, -2.40749903380912, 1.93487766353885));
#1760 = CARTESIAN_POINT ('', (3.25758145266542, -2.52822757538676, 1.81761494746788));
#1770 = CARTESIAN_POINT ('', (2.91614229187081, -2.68846706619249, 1.64540773275845));
#1780 = CARTESIAN_POINT ('', (2.79650211198255, -2.73783278568215, 1.58879255097818));
#1790 = CARTESIAN_POINT ('', (2.5455674996259, -2.82870686688785, 1.47803781858052));
#1800 = CARTESIAN_POINT ('', (2.38269367791895, -2.8790540586214, 1.41181428219354));
#1810 = CARTESIAN_POINT ('', (2.17160933887922, -2.93796049022104, 1.33103818589556));
#1820 = CARTESIAN_POINT ('', (2.01045919539972, -2.97840939397864, 1.27306140516164));
#1830 = CARTESIAN_POINT ('', (1.80718585688192, -3.02536466429431, 1.20140531811022));
#1840 = CARTESIAN_POINT ('', (1.73942711110095, -3.040657207982, 1.17731138200324));
#1850 = CARTESIAN_POINT ('', (1.60390768698894, -3.07066721558408, 1.12877363926374));
#1860 = CARTESIAN_POINT ('', (1.56358080634024, -3.07950620893469, 1.11428071862076));
#1870 = CARTESIAN_POINT ('', (1.3731899217634, -3.12029088687182, 1.04521350013379));
#1880 = CARTESIAN_POINT ('', (1.29268196272565, -3.1379898706566, 1.01392404284138));
#1890 = CARTESIAN_POINT ('', (1.16104101115148, -3.1687838595917, 0.95832113976017));
#1900 = CARTESIAN_POINT ('', (1.14959928685639, -3.17004589131952, 0.95660116428433));
#1910 = CARTESIAN_POINT ('', (0.99732573180223, -3.21537928783595, 0.8698873573809));
#1920 = CARTESIAN_POINT ('', (0.939436719418832, -3.23627972754823, 0.82834675974931));
#1930 = CARTESIAN_POINT ('', (0.936371159046434, -3.2922322889678, 0.70753414092652));
#1940 = CARTESIAN_POINT ('', (1.03954084217979, -3.32015478535394, 0.64174839470665));
#1950 = CARTESIAN_POINT ('', (1.15442573380662, -3.34275986837838, 0.58697946635881));
#1960 = CARTESIAN_POINT ('', (1.26324173441727, -3.35697446698625, 0.55083954036945));
#1970 = CARTESIAN_POINT ('', (1.4748048446224, -3.37705880654312, 0.49737147089545));
#1980 = CARTESIAN_POINT ('', (1.55338239957231, -3.38354608767061, 0.47967092606298));
#1990 = CARTESIAN_POINT ('', (1.72665054590183, -3.39609778557442, 0.44452576043391));
#2000 = CARTESIAN_POINT ('', (1.86997889634453, -3.40492839400782, 0.4188835076865));
#2010 = CARTESIAN_POINT ('', (2.35696305112707, -3.43262451869513, 0.33680474758828));
#2020 = CARTESIAN_POINT ('', (2.93689286589919, -3.45548163139478, 0.26278886002907));
#2030 = CARTESIAN_POINT ('', (3.66387769119228, -3.47580992439295, 0.187414193135423));
#2040 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#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), .UNSPECIFIED., .F., .U., (4, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 4), (0., 0.0625, 0.125, 0.25, 0.3125, 0.375, 0.4375, 0.46875, 0.5, 0.53125, 0.5625, 0.59375, 0.625, 0.6875, 0.71875, 0.75, 1.), .UNSPECIFIED.);
#2050 = EDGE_CURVE ('', #700, #1290, #2040, .T.);
#2060 = ORIENTED_EDGE ('', *, *, #2050, .T.);
#2070 = ORIENTED_EDGE ('', *, *, #1350, .F.);
#2080 = EDGE_LOOP ('', (#1680, #1690, #2060, #2070));
#2090 = FACE_OUTER_BOUND ('', #2080, .T.);
#2100 = CARTESIAN_POINT ('', (0.937808140470996, -2.00161754908751, 2.87526697698729));
#2110 = CARTESIAN_POINT ('', (4.35, -1.76660430249067, 2.38673544284942));
#2120 = CARTESIAN_POINT ('', (0.937808140470996, -2.20394566785209, 2.68215585987192));
#2130 = CARTESIAN_POINT ('', (4.35, -1.97541226396454, 2.21058061150421));
#2140 = CARTESIAN_POINT ('', (0.937808140470996, -2.51247118688486, 2.31640490264835));
#2150 = CARTESIAN_POINT ('', (4.35, -2.31168885610261, 1.89401249416206));
#2160 = CARTESIAN_POINT ('', (0.937808140470996, -2.86384870976819, 1.7200328078586));
#2170 = CARTESIAN_POINT ('', (4.35, -2.72636580091697, 1.3663473802792));
#2180 = CARTESIAN_POINT ('', (0.937808140470996, -3.0666343614321, 1.23254202351775));
#2190 = CARTESIAN_POINT ('', (4.35, -2.99851249786647, 0.920786471202096));
#2200 = CARTESIAN_POINT ('', (0.937808140470996, -3.24470507981285, 0.800144228823987));
#2210 = CARTESIAN_POINT ('', (4.35, -3.20784559786489, 0.509068380781887));
#2220 = CARTESIAN_POINT ('', (0.937808140470996, -3.4187828642264, 0.448516801245268));
#2230 = CARTESIAN_POINT ('', (4.35, -3.41083739505538, 0.186665002395298));
#2240 = CARTESIAN_POINT ('', (0.937808140470996, -3.63254487781067, 0.157905116064544));
#2250 = CARTESIAN_POINT ('', (4.35, -3.67363260696153, -0.057280316055028));
#2260 = CARTESIAN_POINT ('', (0.937808140470996, -3.85244763168792, -0.0339054183653324));
#2270 = CARTESIAN_POINT ('', (4.35, -3.91865019591372, -0.204834194198235));
#2280 = CARTESIAN_POINT ('', (0.937808140470996, -3.98341752864885, -0.116662402864553));
#2290 = CARTESIAN_POINT ('', (4.35, -4.05769353901508, -0.264784868454748));
#2300 = CARTESIAN_POINT ('', (0.937808140470996, -4.03555336628522, -0.145019460763834));
#2310 = CARTESIAN_POINT ('', (4.35, -4.11234550356274, -0.285172470653091));
#2320 = CARTESIAN_POINT ('', (0.937808140470996, -4.03834913964859, -0.146527419204266));
#2330 = CARTESIAN_POINT ('', (4.35, -4.11527427647445, -0.286256135253655));
#2340 = B_SPLINE_SURFACE_WITH_KNOTS ('', 3, 1, ((#2100, #2110), (#2120, #2130), (#2140, #2150), (#2160, #2170), (#2180, #2190), (#2200, #2210), (#2220, #2230), (#2240, #2250), (#2260, #2270), (#2280, #2290), (#2300, #2310), (#2320, #2330)), .UNSPECIFIED., .F., .F., .U., (4, 1, 1, 1, 1, 1, 1, 1, 1, 4), (2, 2), (0.0475905693181405, 0.155690939569019, 0.230360275893944, 0.313671477679681, 0.362203133105517, 0.41225850068448, 0.465225513040929, 0.502297994187144, 0.524398722531769, 0.525648975683691), (0.0423509751736189, 0.944040769464256), .UNSPECIFIED.);
#2350 = ADVANCED_FACE ('', (#2090), #2340, .T.);
#2360 = CARTESIAN_POINT ('', (0.37, -3.6, -0.75));
#2370 = VERTEX_POINT ('', #2360);
#2380 = CARTESIAN_POINT ('', (0.25, -3.6, -0.749999999999998));
#2390 = VERTEX_POINT ('', #2380);
#2400 = CARTESIAN_POINT ('', (0.37, -3.6, -0.75));
#2410 = DIRECTION ('', (-0.12, 0., 0.));
#2420 = VECTOR ('', #2410, 0.12);
#2430 = LINE ('', #2400, #2420);
#2440 = EDGE_CURVE ('', #2370, #2390, #2430, .T.);
#2450 = ORIENTED_EDGE ('', *, *, #2440, .T.);
#2460 = CARTESIAN_POINT ('', (0.25, -3.04878159173838, -2.66440089998861));
#2470 = VERTEX_POINT ('', #2460);
#2480 = CARTESIAN_POINT ('', (0.25, 3.59712259978551E-14, -0.749999999999992));
#2490 = DIRECTION ('', (-1., 0., 0.));
#2500 = DIRECTION ('', (0., -0.846883775482885, -0.531778027774611));
#2510 = AXIS2_PLACEMENT_3D ('', #2480, #2490, #2500);
#2520 = CIRCLE ('', #2510, 3.60000000000004);
#2530 = EDGE_CURVE ('', #2470, #2390, #2520, .T.);
#2540 = ORIENTED_EDGE ('', *, *, #2530, .F.);
#2550 = CARTESIAN_POINT ('', (-1.02230506439548, -1.67844886144106, -3.93477776611292));
#2560 = VERTEX_POINT ('', #2550);
#2570 = CARTESIAN_POINT ('', (-1.02230506439548, -1.67844886144106, -3.93477776611292));
#2580 = CARTESIAN_POINT ('', (-0.68080273466987, -2.28728945559545, -3.61390520384784));
#2590 = CARTESIAN_POINT ('', (-0.241810890020705, -2.73643285508242, -3.16183227840318));
#2600 = CARTESIAN_POINT ('', (0.250000000000001, -3.04878159173838, -2.66440089998861));
#2610 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#2570, #2580, #2590, #2600), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#2620 = EDGE_CURVE ('', #2560, #2470, #2610, .T.);
#2630 = ORIENTED_EDGE ('', *, *, #2620, .F.);
#2640 = CARTESIAN_POINT ('', (-0.79839285078846, -1.34954164510534, -4.0874746962526));
#2650 = VERTEX_POINT ('', #2640);
#2660 = CARTESIAN_POINT ('', (-0.79839285078846, -1.34954164510534, -4.0874746962526));
#2670 = CARTESIAN_POINT ('', (-0.82619893202577, -1.34954164510534, -4.0874746962526));
#2680 = CARTESIAN_POINT ('', (-0.85438808234722, -1.35401444727934, -4.08567532946297));
#2690 = CARTESIAN_POINT ('', (-0.880620717074, -1.36254947913826, -4.08218530650684));
#2700 = CARTESIAN_POINT ('', (-0.90684815606486, -1.37108282051614, -4.07869597479799));
#2710 = CARTESIAN_POINT ('', (-0.93184080638247, -1.38390394383866, -4.0734184946628));
#2720 = CARTESIAN_POINT ('', (-0.95357224600107, -1.39987769683272, -4.066676413808));
#2730 = CARTESIAN_POINT ('', (-0.97542165984181, -1.41593816709527, -4.05989773198436));
#2740 = CARTESIAN_POINT ('', (-0.99457460104434, -1.43561935618116, -4.05144755079807));
#2750 = CARTESIAN_POINT ('', (-1.00948833984175, -1.45723635025579, -4.04187822063532));
#2760 = CARTESIAN_POINT ('', (-1.02451368785902, -1.47901511837496, -4.03223727694303));
#2770 = CARTESIAN_POINT ('', (-1.03564888140767, -1.503356709882, -4.02118811379087));
#2780 = CARTESIAN_POINT ('', (-1.04196953526648, -1.52820360865117, -4.00953888310993));
#2790 = CARTESIAN_POINT ('', (-1.04829753851635, -1.55307939835153, -3.99787610719242));
#2800 = CARTESIAN_POINT ('', (-1.0499716213611, -1.57915044988069, -3.98528497329694));
#2810 = CARTESIAN_POINT ('', (-1.04683043032545, -1.60423267905394, -3.97279963873887));
#2820 = CARTESIAN_POINT ('', (-1.0436023206944, -1.63000894819622, -3.95996882766235));
#2830 = CARTESIAN_POINT ('', (-1.03518370492122, -1.65548843491661, -3.94687842260714));
#2840 = CARTESIAN_POINT ('', (-1.02230506439548, -1.67844886144106, -3.93477776611292));
#2850 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#2660, #2670, #2680, #2690, #2700, #2710, #2720, #2730, #2740, #2750, #2760, #2770, #2780, #2790, #2800, #2810, #2820, #2830, #2840), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 4), (0., 0.164615682414381, 0.329173447097873, 0.494626360591087, 0.661350181510223, 0.828287737988114, 1.), .UNSPECIFIED.);
#2860 = EDGE_CURVE ('', #2650, #2560, #2850, .T.);
#2870 = ORIENTED_EDGE ('', *, *, #2860, .F.);
#2880 = CARTESIAN_POINT ('', (0.15, -1.34954164510534, -4.0874746962526));
#2890 = VERTEX_POINT ('', #2880);
#2900 = CARTESIAN_POINT ('', (0.15, -1.34954164510534, -4.0874746962526));
#2910 = DIRECTION ('', (-0.94839285078846, 0., 0.));
#2920 = VECTOR ('', #2910, 0.94839285078846);
#2930 = LINE ('', #2900, #2920);
#2940 = EDGE_CURVE ('', #2890, #2650, #2930, .T.);
#2950 = ORIENTED_EDGE ('', *, *, #2940, .F.);
#2960 = CARTESIAN_POINT ('', (0.25, -1.32440620299884, -4.09752867193967));
#2970 = VERTEX_POINT ('', #2960);
#2980 = CARTESIAN_POINT ('', (0.25, -1.32440620299884, -4.09752867193967));
#2990 = CARTESIAN_POINT ('', (0.23324681941055, -1.33349818847361, -4.09393154607745));
#3000 = CARTESIAN_POINT ('', (0.214855800173008, -1.34034605505914, -4.09118133679583));
#3010 = CARTESIAN_POINT ('', (0.195987840324519, -1.34452276522554, -4.0894997430439));
#3020 = CARTESIAN_POINT ('', (0.18097433305456, -1.34784623363183, -4.08816167468768));
#3030 = CARTESIAN_POINT ('', (0.165435066236291, -1.34954164510534, -4.0874746962526));
#3040 = CARTESIAN_POINT ('', (0.15, -1.34954164510534, -4.0874746962526));
#3050 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#2980, #2990, #3000, #3010, #3020, #3030, #3040), .UNSPECIFIED., .F., .U., (4, 3, 4), (0., 0.558712293753649, 1.), .UNSPECIFIED.);
#3060 = EDGE_CURVE ('', #2970, #2890, #3050, .T.);
#3070 = ORIENTED_EDGE ('', *, *, #3060, .F.);
#3080 = CARTESIAN_POINT ('', (0.25, 3.1823106082871, -2.43312185904152));
#3090 = VERTEX_POINT ('', #3080);
#3100 = CARTESIAN_POINT ('', (0.25, 3.5527136788005E-15, -0.750000000000003));
#3110 = DIRECTION ('', (-1., 0., 0.));
#3120 = DIRECTION ('', (0., 0.883975168968639, -0.467533849733756));
#3130 = AXIS2_PLACEMENT_3D ('', #3100, #3110, #3120);
#3140 = CIRCLE ('', #3130, 3.59999999999999);
#3150 = EDGE_CURVE ('', #3090, #2970, #3140, .T.);
#3160 = ORIENTED_EDGE ('', *, *, #3150, .F.);
#3170 = CARTESIAN_POINT ('', (-0.95156954055463, 3.59999999999842, -0.749997618483249));
#3180 = VERTEX_POINT ('', #3170);
#3190 = CARTESIAN_POINT ('', (-0.95156954055498, 3.59999999999922, -0.749997618483623));
#3200 = CARTESIAN_POINT ('', (-0.619851165480685, 3.60000041978448, -1.38456262492869));
#3210 = CARTESIAN_POINT ('', (-0.208381883428674, 3.43825860105063, -1.94919610633045));
#3220 = CARTESIAN_POINT ('', (0.249999999999975, 3.1823106082871, -2.43312185904154));
#3230 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3190, #3200, #3210, #3220), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#3240 = EDGE_CURVE ('', #3180, #3090, #3230, .T.);
#3250 = ORIENTED_EDGE ('', *, *, #3240, .F.);
#3260 = CARTESIAN_POINT ('', (0.25, 3.6, -0.75));
#3270 = VERTEX_POINT ('', #3260);
#3280 = CARTESIAN_POINT ('', (-0.95156954055463, 3.59999999999842, -0.749997618483249));
#3290 = DIRECTION ('', (1.20156954055463, 1.58006940864652E-12, -2.3815167510266E-6));
#3300 = VECTOR ('', #3290, 1.20156954055699);
#3310 = LINE ('', #3280, #3300);
#3320 = EDGE_CURVE ('', #3180, #3270, #3310, .T.);
#3330 = ORIENTED_EDGE ('', *, *, #3320, .T.);
#3340 = ORIENTED_EDGE ('', *, *, #3320, .F.);
#3350 = CARTESIAN_POINT ('', (-1.02230506439548, 3.59732288158218, -0.611190469904598));
#3360 = VERTEX_POINT ('', #3350);
#3370 = CARTESIAN_POINT ('', (-1.02230506439548, 3.59732288158218, -0.611190469904598));
#3380 = CARTESIAN_POINT ('', (-0.99921875600008, 3.59911680778968, -0.657681022748402));
#3390 = CARTESIAN_POINT ('', (-0.97563086646108, 3.59999993909917, -0.703969150054379));
#3400 = CARTESIAN_POINT ('', (-0.95156954055463, 3.59999999999842, -0.749997618483249));
#3410 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3370, #3380, #3390, #3400), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#3420 = EDGE_CURVE ('', #3360, #3180, #3410, .T.);
#3430 = ORIENTED_EDGE ('', *, *, #3420, .F.);
#3440 = CARTESIAN_POINT ('', (-1.04800667013198, 3.5911495687201, -0.5));
#3450 = VERTEX_POINT ('', #3440);
#3460 = CARTESIAN_POINT ('', (-1.04839285054385, 3.59130818369824, -0.49998894084046));
#3470 = CARTESIAN_POINT ('', (-1.04839408339443, 3.59325132099322, -0.527901327477248));
#3480 = CARTESIAN_POINT ('', (-1.04358717035803, 3.59487807112782, -0.556223790085776));
#3490 = CARTESIAN_POINT ('', (-1.03435075831419, 3.59610615542296, -0.582606693893907));
#3500 = CARTESIAN_POINT ('', (-1.03093500723503, 3.59656031773582, -0.592363451358399));
#3510 = CARTESIAN_POINT ('', (-1.0269044313566, 3.59696548685331, -0.601928395211157));
#3520 = CARTESIAN_POINT ('', (-1.02230506439548, 3.59732288158218, -0.611190469904598));
#3530 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3460, #3470, #3480, #3490, #3500, #3510, #3520), .UNSPECIFIED., .F., .U., (4, 3, 4), (0., 0.732456003212916, 1.), .UNSPECIFIED.);
#3540 = EDGE_CURVE ('', #3450, #3360, #3530, .T.);
#3550 = ORIENTED_EDGE ('', *, *, #3540, .F.);
#3560 = CARTESIAN_POINT ('', (-0.79839285078846, 3.56510869399518, -0.25));
#3570 = VERTEX_POINT ('', #3560);
#3580 = CARTESIAN_POINT ('', (-0.79839285078846, 3.56510869399518, -0.25));
#3590 = CARTESIAN_POINT ('', (-0.82619893202577, 3.56510869399518, -0.25));
#3600 = CARTESIAN_POINT ('', (-0.85438808234722, 3.56578679773163, -0.254773243703602));
#3610 = CARTESIAN_POINT ('', (-0.880620717074, 3.56703186512129, -0.263909809593604));
#3620 = CARTESIAN_POINT ('', (-0.90684815606486, 3.56827668590814, -0.273044565860438));
#3630 = CARTESIAN_POINT ('', (-0.93184080638247, 3.57011681570436, -0.286786724430385));
#3640 = CARTESIAN_POINT ('', (-0.95357224600107, 3.57226487890676, -0.303991440744421));
#3650 = CARTESIAN_POINT ('', (-0.97542165984181, 3.57442460337459, -0.321289556900332));
#3660 = CARTESIAN_POINT ('', (-0.99457460104434, 3.57694712634363, -0.342559057218541));
#3670 = CARTESIAN_POINT ('', (-1.00948833984175, 3.5794683403628, -0.36606458832201));
#3680 = CARTESIAN_POINT ('', (-1.02451368785902, 3.5820084222684, -0.389746026622486));
#3690 = CARTESIAN_POINT ('', (-1.03564888140767, 3.5846103620416, -0.416351044812203));
#3700 = CARTESIAN_POINT ('', (-1.04196953526648, 3.58694528172195, -0.443693705692041));
#3710 = CARTESIAN_POINT ('', (-1.04605117874946, 3.58845308612153, -0.461350580452206));
#3720 = CARTESIAN_POINT ('', (-1.04821504364665, 3.58987438023977, -0.479572626868052));
#3730 = CARTESIAN_POINT ('', (-1.04838234265888, 3.59114956889619, -0.497721079551784));
#3740 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3580, #3590, #3600, #3610, #3620, #3630, #3640, #3650, #3660, #3670, #3680, #3690, #3700, #3710, #3720, #3730), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 4), (0., 0.213060456330473, 0.42604595031233, 0.640190026581644, 0.855979025814246, 0.994239809248799), .UNSPECIFIED.);
#3750 = EDGE_CURVE ('', #3570, #3450, #3740, .T.);
#3760 = ORIENTED_EDGE ('', *, *, #3750, .F.);
#3770 = CARTESIAN_POINT ('', (0.15, 3.56510869399518, -0.25));
#3780 = VERTEX_POINT ('', #3770);
#3790 = CARTESIAN_POINT ('', (0.15, 3.56510869399518, -0.25));
#3800 = DIRECTION ('', (-0.94839285078846, 0., 0.));
#3810 = VECTOR ('', #3800, 0.94839285078846);
#3820 = LINE ('', #3790, #3810);
#3830 = EDGE_CURVE ('', #3780, #3570, #3820, .T.);
#3840 = ORIENTED_EDGE ('', *, *, #3830, .F.);
#3850 = CARTESIAN_POINT ('', (0.25, 3.56124797129597, -0.223205080756888));
#3860 = VERTEX_POINT ('', #3850);
#3870 = CARTESIAN_POINT ('', (0.25, 3.56124797129597, -0.223205080756888));
#3880 = CARTESIAN_POINT ('', (0.231991996758633, 3.56278592865903, -0.233602006275859));
#3890 = CARTESIAN_POINT ('', (0.212071032273097, 3.56387513482785, -0.241263061330774));
#3900 = CARTESIAN_POINT ('', (0.191687211652042, 3.56448985165004, -0.24560719921485));
#3910 = CARTESIAN_POINT ('', (0.178025886321643, 3.56490183754072, -0.248518659338923));
#3920 = CARTESIAN_POINT ('', (0.163974195583869, 3.56510869399613, -0.250000000000696));
#3930 = CARTESIAN_POINT ('', (0.15000000000018, 3.56510869399613, -0.250000000000709));
#3940 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3870, #3880, #3890, #3900, #3910, #3920, #3930), .UNSPECIFIED., .F., .U., (4, 3, 4), (0., 0.600853888075878, 1.), .UNSPECIFIED.);
#3950 = EDGE_CURVE ('', #3860, #3780, #3940, .T.);
#3960 = ORIENTED_EDGE ('', *, *, #3950, .F.);
#3970 = CARTESIAN_POINT ('', (0.25, -0.133529016548726, 2.8475227590301));
#3980 = VERTEX_POINT ('', #3970);
#3990 = CARTESIAN_POINT ('', (0.25, -4.44089209850063E-16, -0.750000000000002));
#4000 = DIRECTION ('', (-1., 0., 0.));
#4010 = DIRECTION ('', (0., -0.0370913934857568, 0.999311877508361));
#4020 = AXIS2_PLACEMENT_3D ('', #3990, #4000, #4010);
#4030 = CIRCLE ('', #4020, 3.6);
#4040 = EDGE_CURVE ('', #3980, #3860, #4030, .T.);
#4050 = ORIENTED_EDGE ('', *, *, #4040, .F.);
#4060 = CARTESIAN_POINT ('', (-1.02230506439548, -1.9188740201411, 2.2959682360175));
#4070 = VERTEX_POINT ('', #4060);
#4080 = CARTESIAN_POINT ('', (-1.02230506439548, -1.9188740201411, 2.2959682360175));
#4090 = CARTESIAN_POINT ('', (-0.680802734669869, -1.33656993276494, 2.66280337627786));
#4100 = CARTESIAN_POINT ('', (-0.241810890020702, -0.720491595223233, 2.82573650745335));
#4110 = CARTESIAN_POINT ('', (0.250000000000003, -0.133529016548722, 2.8475227590301));
#4120 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#4080, #4090, #4100, #4110), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#4130 = EDGE_CURVE ('', #4070, #3980, #4120, .T.);
#4140 = ORIENTED_EDGE ('', *, *, #4130, .F.);
#4150 = CARTESIAN_POINT ('', (-0.79839285078846, -2.21556704888982, 2.08747469625258));
#4160 = VERTEX_POINT ('', #4150);
#4170 = CARTESIAN_POINT ('', (-0.79839285078846, -2.21556704888982, 2.08747469625258));
#4180 = CARTESIAN_POINT ('', (-0.82619893202577, -2.21556704888982, 2.08747469625258));
#4190 = CARTESIAN_POINT ('', (-0.85438808234722, -2.21177235045228, 2.09044857316655));
#4200 = CARTESIAN_POINT ('', (-0.880620717074, -2.20448238598301, 2.09609511610041));
#4210 = CARTESIAN_POINT ('', (-0.90684815606486, -2.19719386539198, 2.1017405406584));
#4220 = CARTESIAN_POINT ('', (-0.93184080638247, -2.18621287186568, 2.11020521909316));
#4230 = CARTESIAN_POINT ('', (-0.95357224600107, -2.17238718207403, 2.1206678545524));
#4240 = CARTESIAN_POINT ('', (-0.97542165984181, -2.15848643627931, 2.13118728888467));
#4250 = CARTESIAN_POINT ('', (-0.99457460104434, -2.14132777016246, 2.14400660801659));
#4260 = CARTESIAN_POINT ('', (-1.00948833984175, -2.12223199010699, 2.15794280895731));
#4270 = CARTESIAN_POINT ('', (-1.02451368785902, -2.10299330389343, 2.17198330356549));
#4280 = CARTESIAN_POINT ('', (-1.03564888140767, -2.08125365215958, 2.18753915860305));
#4290 = CARTESIAN_POINT ('', (-1.04196953526648, -2.05874167307075, 2.20323258880194));
#4300 = CARTESIAN_POINT ('', (-1.04829753851635, -2.03620351799737, 2.21894426666289));
#4310 = CARTESIAN_POINT ('', (-1.0499716213611, -2.01226375041685, 2.23522689264278));
#4320 = CARTESIAN_POINT ('', (-1.04683043032545, -1.98891001892819, 2.25070607301133));
#4330 = CARTESIAN_POINT ('', (-1.0436023206944, -1.96491007601363, 2.26661357136507));
#4340 = CARTESIAN_POINT ('', (-1.03518370492122, -1.94083370932979, 2.28213425161271));
#4350 = CARTESIAN_POINT ('', (-1.02230506439548, -1.9188740201411, 2.2959682360175));
#4360 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#4170, #4180, #4190, #4200, #4210, #4220, #4230, #4240, #4250, #4260, #4270, #4280, #4290, #4300, #4310, #4320, #4330, #4340, #4350), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 4), (0., 0.16461568241438, 0.329173447097872, 0.494626360591084, 0.661350181510219, 0.828287737988108, 1.), .UNSPECIFIED.);
#4370 = EDGE_CURVE ('', #4160, #4070, #4360, .T.);
#4380 = ORIENTED_EDGE ('', *, *, #4370, .F.);
#4390 = CARTESIAN_POINT ('', (0.150000000000001, -2.21556704888982, 2.08747469625258));
#4400 = VERTEX_POINT ('', #4390);
#4410 = CARTESIAN_POINT ('', (0.150000000000001, -2.21556704888982, 2.08747469625258));
#4420 = DIRECTION ('', (-0.948392850788461, 0., 0.));
#4430 = VECTOR ('', #4420, 0.948392850788461);
#4440 = LINE ('', #4410, #4430);
#4450 = EDGE_CURVE ('', #4400, #4160, #4440, .T.);
#4460 = ORIENTED_EDGE ('', *, *, #4450, .F.);
#4470 = CARTESIAN_POINT ('', (0.25, -2.2368417682971, 2.07073375269654));
#4480 = VERTEX_POINT ('', #4470);
#4490 = CARTESIAN_POINT ('', (0.25, -2.2368417682971, 2.07073375269654));
#4500 = CARTESIAN_POINT ('', (0.233246819410551, -2.22918057318242, 2.07680908015742));
#4510 = CARTESIAN_POINT ('', (0.214855800173009, -2.22337488878605, 2.0813644019414));
#4520 = CARTESIAN_POINT ('', (0.195987840324521, -2.21983023079484, 2.08414074217378));
#4530 = CARTESIAN_POINT ('', (0.180974333054562, -2.2170096954032, 2.0863499160642));
#4540 = CARTESIAN_POINT ('', (0.165435066236292, -2.21556704888982, 2.08747469625258));
#4550 = CARTESIAN_POINT ('', (0.150000000000001, -2.21556704888982, 2.08747469625258));
#4560 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#4490, #4500, #4510, #4520, #4530, #4540, #4550), .UNSPECIFIED., .F., .U., (4, 3, 4), (0., 0.558712293753637, 1.), .UNSPECIFIED.);
#4570 = EDGE_CURVE ('', #4480, #4400, #4560, .T.);
#4580 = ORIENTED_EDGE ('', *, *, #4570, .F.);
#4590 = CARTESIAN_POINT ('', (0.25, -9.32587340685131E-15, -0.749999999999996));
#4600 = DIRECTION ('', (-1., 0., 0.));
#4610 = DIRECTION ('', (0., -1., -4.9343245538896E-16));
#4620 = AXIS2_PLACEMENT_3D ('', #4590, #4600, #4610);
#4630 = CIRCLE ('', #4620, 3.59999999999999);
#4640 = EDGE_CURVE ('', #2390, #4480, #4630, .T.);
#4650 = ORIENTED_EDGE ('', *, *, #4640, .F.);
#4660 = ORIENTED_EDGE ('', *, *, #2440, .F.);
#4670 = CARTESIAN_POINT ('', (3.72513122004885, -3.6, -0.75));
#4680 = DIRECTION ('', (-3.35513122004885, 0., 0.));
#4690 = VECTOR ('', #4680, 3.35513122004885);
#4700 = LINE ('', #4670, #4690);
#4710 = EDGE_CURVE ('', #1380, #2370, #4700, .T.);
#4720 = ORIENTED_EDGE ('', *, *, #4710, .F.);
#4730 = ORIENTED_EDGE ('', *, *, #1430, .T.);
#4740 = ORIENTED_EDGE ('', *, *, #2050, .F.);
#4750 = ORIENTED_EDGE ('', *, *, #760, .T.);
#4760 = CARTESIAN_POINT ('', (0.37, 3.6, -0.75));
#4770 = VERTEX_POINT ('', #4760);
#4780 = CARTESIAN_POINT ('', (0.37, 3.6, -0.75));
#4790 = DIRECTION ('', (3.98, 0., -9.99200722162641E-16));
#4800 = VECTOR ('', #4790, 3.98);
#4810 = LINE ('', #4780, #4800);
#4820 = EDGE_CURVE ('', #4770, #610, #4810, .T.);
#4830 = ORIENTED_EDGE ('', *, *, #4820, .F.);
#4840 = ORIENTED_EDGE ('', *, *, #4820, .T.);
#4850 = ORIENTED_EDGE ('', *, *, #670, .T.);
#4860 = CARTESIAN_POINT ('', (4.35, -0.31376067389157, -4.33630091313028));
#4870 = DIRECTION ('', (-0.25917932376459, 0., 0.));
#4880 = VECTOR ('', #4870, 0.25917932376459);
#4890 = LINE ('', #4860, #4880);
#4900 = EDGE_CURVE ('', #530, #1460, #4890, .T.);
#4910 = ORIENTED_EDGE ('', *, *, #4900, .T.);
#4920 = ORIENTED_EDGE ('', *, *, #1510, .T.);
#4930 = ORIENTED_EDGE ('', *, *, #4710, .T.);
#4940 = EDGE_LOOP ('', (#2450, #2540, #2630, #2870, #2950, #3070, #3160, #3250, #3330, #3340, #3430, #3550, #3760, #3840, #3960, #4050, #4140, #4380, #4460, #4580, #4650, #4660, #4720, #4730, #4740, #4750, #4830, #4840, #4850, #4910, #4920, #4930));
#4950 = FACE_OUTER_BOUND ('', #4940, .T.);
#4960 = CARTESIAN_POINT ('', (-1.048767802891, -3.6, -0.75));
#4970 = CARTESIAN_POINT ('', (4.35, -3.6, -0.75));
#4980 = CARTESIAN_POINT ('', (-1.048767802891, -3.6, -4.35));
#4990 = CARTESIAN_POINT ('', (4.35, -3.6, -4.35));
#5000 = CARTESIAN_POINT ('', (-1.048767802891, 3.48552876273869E-16, -4.35));
#5010 = CARTESIAN_POINT ('', (4.35, 3.48552876273869E-16, -4.35));
#5020 = CARTESIAN_POINT ('', (-1.048767802891, 3.6, -4.35));
#5030 = CARTESIAN_POINT ('', (4.35, 3.6, -4.35));
#5040 = CARTESIAN_POINT ('', (-1.048767802891, 3.6, -0.749999999999999));
#5050 = CARTESIAN_POINT ('', (4.35, 3.6, -0.749999999999999));
#5060 = CARTESIAN_POINT ('', (-1.048767802891, 3.6, 2.85));
#5070 = CARTESIAN_POINT ('', (4.35, 3.6, 2.85));
#5080 = CARTESIAN_POINT ('', (-1.048767802891, -1.01969057890224E-16, 2.85));
#5090 = CARTESIAN_POINT ('', (4.35, -1.01969057890224E-16, 2.85));
#5100 = CARTESIAN_POINT ('', (-1.048767802891, -3.6, 2.85));
#5110 = CARTESIAN_POINT ('', (4.35, -3.6, 2.85));
#5120 = CARTESIAN_POINT ('', (-1.048767802891, -3.6, -0.75));
#5130 = CARTESIAN_POINT ('', (4.35, -3.6, -0.75));
#5140 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#4960, #4970), (#4980, #4990), (#5000, #5010), (#5020, #5030), (#5040, #5050), (#5060, #5070), (#5080, #5090), (#5100, #5110), (#5120, #5130)), .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.0837623370062418, 0.916512418491548), .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 ('')
);
#5150 = ADVANCED_FACE ('', (#4950), #5140, .T.);
#5160 = CARTESIAN_POINT ('', (0.250000000000001, -1.47589604682931, 0.059916778284627));
#5170 = VERTEX_POINT ('', #5160);
#5180 = CARTESIAN_POINT ('', (0.25, -3.04878159173838, -2.66440089998861));
#5190 = DIRECTION ('', (9.99200722162641E-16, 1.57288554490907, 2.72431767827324));
#5200 = VECTOR ('', #5190, 3.1457710898182);
#5210 = LINE ('', #5180, #5200);
#5220 = EDGE_CURVE ('', #2470, #5170, #5210, .T.);
#5230 = ORIENTED_EDGE ('', *, *, #5220, .F.);
#5240 = ORIENTED_EDGE ('', *, *, #2530, .T.);
#5250 = ORIENTED_EDGE ('', *, *, #4640, .T.);
#5260 = CARTESIAN_POINT ('', (0.25, -1.23804051080742, 0.34075922806075));
#5270 = VERTEX_POINT ('', #5260);
#5280 = CARTESIAN_POINT ('', (0.25, -2.2368417682971, 2.07073375269654));
#5290 = DIRECTION ('', (0., 0.99880125748968, -1.72997452463579));
#5300 = VECTOR ('', #5290, 1.99760251497934);
#5310 = LINE ('', #5280, #5300);
#5320 = EDGE_CURVE ('', #4480, #5270, #5310, .T.);
#5330 = ORIENTED_EDGE ('', *, *, #5320, .T.);
#5340 = CARTESIAN_POINT ('', (0.25, 1.40000460247113, 0.123205080756888));
#5350 = VERTEX_POINT ('', #5340);
#5360 = CARTESIAN_POINT ('', (0.25, -7.7715611723761E-16, -0.749999999999996));
#5370 = DIRECTION ('', (1., 0., 0.));
#5380 = DIRECTION ('', (0., 0.848487637861293, 0.529215200458719));
#5390 = AXIS2_PLACEMENT_3D ('', #5360, #5370, #5380);
#5400 = CIRCLE ('', #5390, 1.65);
#5410 = EDGE_CURVE ('', #5350, #5270, #5400, .T.);
#5420 = ORIENTED_EDGE ('', *, *, #5410, .F.);
#5430 = CARTESIAN_POINT ('', (0.25, 1.43935652836039, 0.123205080756892));
#5440 = VERTEX_POINT ('', #5430);
#5450 = CARTESIAN_POINT ('', (0.25, 1.43935652836039, 0.123205080756892));
#5460 = DIRECTION ('', (0., -0.0393519258892601, -3.99680288865056E-15));
#5470 = VECTOR ('', #5460, 0.0393519258892601);
#5480 = LINE ('', #5450, #5470);
#5490 = EDGE_CURVE ('', #5440, #5350, #5480, .T.);
#5500 = ORIENTED_EDGE ('', *, *, #5490, .F.);
#5510 = CARTESIAN_POINT ('', (0.25, -0.133529016548726, 2.8475227590301));
#5520 = DIRECTION ('', (0., 1.57288554490912, -2.72431767827321));
#5530 = VECTOR ('', #5520, 3.1457710898182);
#5540 = LINE ('', #5510, #5530);
#5550 = EDGE_CURVE ('', #3980, #5440, #5540, .T.);
#5560 = ORIENTED_EDGE ('', *, *, #5550, .F.);
#5570 = ORIENTED_EDGE ('', *, *, #4040, .T.);
#5580 = CARTESIAN_POINT ('', (0.25, 1.56364545631663, -0.223205080756887));
#5590 = VERTEX_POINT ('', #5580);
#5600 = CARTESIAN_POINT ('', (0.25, 1.56364545631663, -0.223205080756887));
#5610 = DIRECTION ('', (0., 1.99760251497934, -9.99200722162641E-16));
#5620 = VECTOR ('', #5610, 1.99760251497934);
#5630 = LINE ('', #5600, #5620);
#5640 = EDGE_CURVE ('', #5590, #3860, #5630, .T.);
#5650 = ORIENTED_EDGE ('', *, *, #5640, .F.);
#5660 = CARTESIAN_POINT ('', (0.25, 1.65, -0.75));
#5670 = VERTEX_POINT ('', #5660);
#5680 = CARTESIAN_POINT ('', (0.25, 2.22044604925031E-14, -0.749999999999997));
#5690 = DIRECTION ('', (1., 0., 0.));
#5700 = DIRECTION ('', (0., 1., -1.61486985400025E-15));
#5710 = AXIS2_PLACEMENT_3D ('', #5680, #5690, #5700);
#5720 = CIRCLE ('', #5710, 1.64999999999998);
#5730 = EDGE_CURVE ('', #5670, #5590, #5720, .T.);
#5740 = ORIENTED_EDGE ('', *, *, #5730, .F.);
#5750 = CARTESIAN_POINT ('', (0.25, 0.0562154814135489, -2.39904209153358));
#5760 = VERTEX_POINT ('', #5750);
#5770 = CARTESIAN_POINT ('', (0.25, 3.44169137633799E-15, -0.750000000000004));
#5780 = DIRECTION ('', (1., 0., 0.));
#5790 = DIRECTION ('', (0., 0.0340699887354827, -0.999419449414291));
#5800 = AXIS2_PLACEMENT_3D ('', #5770, #5780, #5790);
#5810 = CIRCLE ('', #5800, 1.65);
#5820 = EDGE_CURVE ('', #5760, #5670, #5810, .T.);
#5830 = ORIENTED_EDGE ('', *, *, #5820, .F.);
#5840 = CARTESIAN_POINT ('', (0.250000000000003, 0.036539518468917, -2.43312185904153));
#5850 = VERTEX_POINT ('', #5840);
#5860 = CARTESIAN_POINT ('', (0.250000000000003, 0.036539518468917, -2.43312185904153));
#5870 = DIRECTION ('', (-2.99760216648792E-15, 0.0196759629446319, 0.0340797675079503));
#5880 = VECTOR ('', #5870, 0.0393519258892684);
#5890 = LINE ('', #5860, #5880);
#5900 = EDGE_CURVE ('', #5850, #5760, #5890, .T.);
#5910 = ORIENTED_EDGE ('', *, *, #5900, .F.);
#5920 = CARTESIAN_POINT ('', (0.25, 3.1823106082871, -2.43312185904152));
#5930 = DIRECTION ('', (2.99760216648792E-15, -3.14577108981818, -1.02140518265514E-14));
#5940 = VECTOR ('', #5930, 3.14577108981818);
#5950 = LINE ('', #5920, #5940);
#5960 = EDGE_CURVE ('', #3090, #5850, #5950, .T.);
#5970 = ORIENTED_EDGE ('', *, *, #5960, .F.);
#5980 = ORIENTED_EDGE ('', *, *, #3150, .T.);
#5990 = CARTESIAN_POINT ('', (0.25, -0.325604945509193, -2.36755414730387));
#6000 = VERTEX_POINT ('', #5990);
#6010 = CARTESIAN_POINT ('', (0.25, -0.325604945509193, -2.36755414730387));
#6020 = DIRECTION ('', (0., -0.998801257489647, -1.7299745246358));
#6030 = VECTOR ('', #6020, 1.99760251497933);
#6040 = LINE ('', #6010, #6030);
#6050 = EDGE_CURVE ('', #6000, #2970, #6040, .T.);
#6060 = ORIENTED_EDGE ('', *, *, #6050, .F.);
#6070 = CARTESIAN_POINT ('', (0.25, -1.65, -0.75));
#6080 = VERTEX_POINT ('', #6070);
#6090 = CARTESIAN_POINT ('', (0.25, 4.44089209850063E-16, -0.749999999999999));
#6100 = DIRECTION ('', (1., 0., 0.));
#6110 = DIRECTION ('', (0., -1., -5.38289951333409E-16));
#6120 = AXIS2_PLACEMENT_3D ('', #6090, #6100, #6110);
#6130 = CIRCLE ('', #6120, 1.65);
#6140 = EDGE_CURVE ('', #6080, #6000, #6130, .T.);
#6150 = ORIENTED_EDGE ('', *, *, #6140, .F.);
#6160 = CARTESIAN_POINT ('', (0.25, -1.45622008388468, 0.025837010776689));
#6170 = VERTEX_POINT ('', #6160);
#6180 = CARTESIAN_POINT ('', (0.25, 2.17603712826531E-14, -0.749999999999999));
#6190 = DIRECTION ('', (1., 0., 0.));
#6200 = DIRECTION ('', (0., -0.882557626596777, 0.470204248955561));
#6210 = AXIS2_PLACEMENT_3D ('', #6180, #6190, #6200);
#6220 = CIRCLE ('', #6210, 1.65000000000002);
#6230 = EDGE_CURVE ('', #6170, #6080, #6220, .T.);
#6240 = ORIENTED_EDGE ('', *, *, #6230, .F.);
#6250 = CARTESIAN_POINT ('', (0.250000000000001, -1.47589604682931, 0.059916778284627));
#6260 = DIRECTION ('', (-9.99200722162641E-16, 0.0196759629446301, -0.034079767507938));
#6270 = VECTOR ('', #6260, 0.0393519258892569);
#6280 = LINE ('', #6250, #6270);
#6290 = EDGE_CURVE ('', #5170, #6170, #6280, .T.);
#6300 = ORIENTED_EDGE ('', *, *, #6290, .F.);
#6310 = EDGE_LOOP ('', (#5230, #5240, #5250, #5330, #5420, #5500, #5560, #5570, #5650, #5740, #5830, #5910, #5970, #5980, #6060, #6150, #6240, #6300));
#6320 = FACE_OUTER_BOUND ('', #6310, .T.);
#6330 = CARTESIAN_POINT ('', (0.25, 3.56224797129597, -4.35428602841158));
#6340 = CARTESIAN_POINT ('', (0.25, 3.56224797129597, 2.85494759447731));
#6350 = CARTESIAN_POINT ('', (0.25, -3.6, -4.35428602841158));
#6360 = CARTESIAN_POINT ('', (0.25, -3.6, 2.85494759447731));
#6370 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6330, #6340), (#6350, #6360)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-4.76480088524454, 2.39744708605143), (-3.60428602841158, 3.60494759447731), .UNSPECIFIED.);
#6380 = ADVANCED_FACE ('', (#6320), #6370, .T.);
#6390 = CARTESIAN_POINT ('', (0.150000000000001, -1.21922196156804, 0.36175438313963));
#6400 = VERTEX_POINT ('', #6390);
#6410 = CARTESIAN_POINT ('', (0.25, -1.23804051080742, 0.34075922806075));
#6420 = CARTESIAN_POINT ('', (0.246244583660314, -1.236528036267, 0.34247592658086));
#6430 = CARTESIAN_POINT ('', (0.242409847907002, -1.2350948498572, 0.34409543855518));
#6440 = CARTESIAN_POINT ('', (0.238508441247769, -1.23374758330908, 0.34561256869342));
#6450 = CARTESIAN_POINT ('', (0.218763474751406, -1.22692908547544, 0.35329074386632));
#6460 = CARTESIAN_POINT ('', (0.196902142154441, -1.22226709887428, 0.35840946473545));
#6470 = CARTESIAN_POINT ('', (0.174836161936518, -1.22031608718151, 0.36055330685474));
#6480 = CARTESIAN_POINT ('', (0.16661041790855, -1.21958879011056, 0.36135248714656));
#6490 = CARTESIAN_POINT ('', (0.158296415791286, -1.21922196156804, 0.36175438313963));
#6500 = CARTESIAN_POINT ('', (0.150000000000001, -1.21922196156804, 0.36175438313963));
#6510 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6410, #6420, #6430, #6440, #6450, #6460, #6470, #6480, #6490, #6500), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (0., 0.125166636925879, 0.764726547913045, 1.), .UNSPECIFIED.);
#6520 = EDGE_CURVE ('', #5270, #6400, #6510, .T.);
#6530 = ORIENTED_EDGE ('', *, *, #6520, .F.);
#6540 = ORIENTED_EDGE ('', *, *, #5320, .F.);
#6550 = ORIENTED_EDGE ('', *, *, #4570, .T.);
#6560 = CARTESIAN_POINT ('', (0.150000000000001, -2.21556704888982, 2.08747469625258));
#6570 = DIRECTION ('', (0., 0.99634508732178, -1.72572031311295));
#6580 = VECTOR ('', #6570, 1.99269017464354);
#6590 = LINE ('', #6560, #6580);
#6600 = EDGE_CURVE ('', #4400, #6400, #6590, .T.);
#6610 = ORIENTED_EDGE ('', *, *, #6600, .T.);
#6620 = EDGE_LOOP ('', (#6530, #6540, #6550, #6610));
#6630 = FACE_OUTER_BOUND ('', #6620, .T.);
#6640 = CARTESIAN_POINT ('', (0.150000000000005, -1.21483543005062, 0.354156687682171));
#6650 = CARTESIAN_POINT ('', (0.15, -2.21556704888973, 2.08747469625263));
#6660 = CARTESIAN_POINT ('', (0.203589838486258, -1.21483543005062, 0.354156687682171));
#6670 = CARTESIAN_POINT ('', (0.203589838486253, -2.21556704888973, 2.08747469625263));
#6680 = CARTESIAN_POINT ('', (0.250000000000055, -1.23804051080752, 0.340759228060609));
#6690 = CARTESIAN_POINT ('', (0.25000000000005, -2.23877212964664, 2.07407723663107));
#6700 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6640, #6650), (#6660, #6670), (#6680, #6690)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0., 0.0852703443505263), (0.0877692738130981, 0.911725152112432), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.965925826289058, 0.965925826289058), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#6710 = ADVANCED_FACE ('', (#6630), #6700, .T.);
#6720 = ORIENTED_EDGE ('', *, *, #4450, .T.);
#6730 = CARTESIAN_POINT ('', (-0.79839285078846, -1.21922196156805, 0.36175438313963));
#6740 = VERTEX_POINT ('', #6730);
#6750 = CARTESIAN_POINT ('', (-0.79839285078846, -2.21556704888982, 2.08747469625258));
#6760 = DIRECTION ('', (0., 0.99634508732177, -1.72572031311295));
#6770 = VECTOR ('', #6760, 1.99269017464354);
#6780 = LINE ('', #6750, #6770);
#6790 = EDGE_CURVE ('', #4160, #6740, #6780, .T.);
#6800 = ORIENTED_EDGE ('', *, *, #6790, .T.);
#6810 = CARTESIAN_POINT ('', (0.150000000000001, -1.21922196156804, 0.36175438313963));
#6820 = DIRECTION ('', (-0.948392850788461, -9.99200722162641E-15, 0.));
#6830 = VECTOR ('', #6820, 0.948392850788461);
#6840 = LINE ('', #6810, #6830);
#6850 = EDGE_CURVE ('', #6400, #6740, #6840, .T.);
#6860 = ORIENTED_EDGE ('', *, *, #6850, .F.);
#6870 = ORIENTED_EDGE ('', *, *, #6600, .F.);
#6880 = EDGE_LOOP ('', (#6720, #6800, #6860, #6870));
#6890 = FACE_OUTER_BOUND ('', #6880, .T.);
#6900 = CARTESIAN_POINT ('', (-0.79939285078846, -2.21625006159172, 2.08865770895447));
#6910 = CARTESIAN_POINT ('', (0.151000000000001, -2.21625006159172, 2.08865770895447));
#6920 = CARTESIAN_POINT ('', (-0.79939285078846, -1.21853894886616, 0.360571370437734));
#6930 = CARTESIAN_POINT ('', (0.151000000000001, -1.21853894886616, 0.360571370437734));
#6940 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6900, #6910), (#6920, #6930)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (3.43352528060104, 5.42894750605214), (-0.94939285078846, 0.0010000000000005), .UNSPECIFIED.);
#6950 = ADVANCED_FACE ('', (#6890), #6940, .T.);
#6960 = ORIENTED_EDGE ('', *, *, #4370, .T.);
#6970 = CARTESIAN_POINT ('', (-1.02230506439548, -0.942287988657858, 0.60447161152648));
#6980 = VERTEX_POINT ('', #6970);
#6990 = CARTESIAN_POINT ('', (-1.02230506439548, -1.9188740201411, 2.2959682360175));
#7000 = DIRECTION ('', (0., 0.976586031483242, -1.69149662449102));
#7010 = VECTOR ('', #7000, 1.95317206296647);
#7020 = LINE ('', #6990, #7010);
#7030 = EDGE_CURVE ('', #4070, #6980, #7020, .T.);
#7040 = ORIENTED_EDGE ('', *, *, #7030, .T.);
#7050 = CARTESIAN_POINT ('', (-0.79839285078846, -1.21922196156805, 0.36175438313963));
#7060 = CARTESIAN_POINT ('', (-0.82553165786613, -1.21922196156805, 0.36175438313963));
#7070 = CARTESIAN_POINT ('', (-0.8530432550525, -1.21601004928753, 0.36530347166332));
#7080 = CARTESIAN_POINT ('', (-0.87862138979877, -1.20984236417049, 0.37195430114526));
#7090 = CARTESIAN_POINT ('', (-0.90417504409954, -1.2036805820515, 0.37859876521901));
#7100 = CARTESIAN_POINT ('', (-0.92849466875477, -1.19441222685054, 0.38849118910972));
#7110 = CARTESIAN_POINT ('', (-0.94976319901248, -1.18268690645619, 0.40054408055367));
#7120 = CARTESIAN_POINT ('', (-0.97158173213909, -1.17065837000612, 0.41290865902031));
#7130 = CARTESIAN_POINT ('', (-0.99077916550894, -1.15572491692027, 0.4278551100972));
#7140 = CARTESIAN_POINT ('', (-1.00597366797328, -1.13886737326687, 0.4439351347993));
#7150 = CARTESIAN_POINT ('', (-1.02173391513681, -1.12138216404918, 0.46061387530401));
#7160 = CARTESIAN_POINT ('', (-1.03361427713215, -1.1013352118424, 0.47896047947179));
#7170 = CARTESIAN_POINT ('', (-1.04062779047314, -1.08018127274525, 0.49728040873352));
#7180 = CARTESIAN_POINT ('', (-1.04768917560627, -1.05888294424923, 0.51572538343295));
#7190 = CARTESIAN_POINT ('', (-1.04999870524604, -1.03585013149887, 0.534659735658));
#7200 = CARTESIAN_POINT ('', (-1.04724775972272, -1.01302559484986, 0.55241281634476));
#7210 = CARTESIAN_POINT ('', (-1.04436540447922, -0.989110754540183, 0.57101394267461));
#7220 = CARTESIAN_POINT ('', (-1.03580242274335, -0.964679698106642, 0.58889399537007));
#7230 = CARTESIAN_POINT ('', (-1.02230506439548, -0.942287988657858, 0.60447161152648));
#7240 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#7050, #7060, #7070, #7080, #7090, #7100, #7110, #7120, #7130, #7140, #7150, #7160, #7170, #7180, #7190, #7200, #7210, #7220, #7230), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 4), (0., 0.159201554123479, 0.318133388698891, 0.481178923742517, 0.65044795335674, 0.820976657452707, 1.), .UNSPECIFIED.);
#7250 = EDGE_CURVE ('', #6740, #6980, #7240, .T.);
#7260 = ORIENTED_EDGE ('', *, *, #7250, .F.);
#7270 = ORIENTED_EDGE ('', *, *, #6790, .F.);
#7280 = EDGE_LOOP ('', (#6960, #7040, #7260, #7270));
#7290 = FACE_OUTER_BOUND ('', #7280, .T.);
#7300 = CARTESIAN_POINT ('', (-1.02230506439548, -0.906421839025825, 0.542349618091934));
#7310 = CARTESIAN_POINT ('', (-1.0223050643955, -1.91887402014111, 2.29596823601749));
#7320 = CARTESIAN_POINT ('', (-1.08419803646566, -1.01436178275146, 0.480030462525621));
#7330 = CARTESIAN_POINT ('', (-1.08419803646568, -2.02681396386675, 2.23364908045118));
#7340 = CARTESIAN_POINT ('', (-1.01087534121549, -1.11679187215976, 0.420892422832622));
#7350 = CARTESIAN_POINT ('', (-1.01087534121551, -2.12924405327505, 2.17451104075818));
#7360 = CARTESIAN_POINT ('', (-0.937552645965316, -1.21922196156806, 0.361754383139623));
#7370 = CARTESIAN_POINT ('', (-0.937552645965334, -2.23167414268335, 2.11537300106518));
#7380 = CARTESIAN_POINT ('', (-0.798392850788431, -1.21922196156805, 0.361754383139631));
#7390 = CARTESIAN_POINT ('', (-0.798392850788448, -2.23167414268333, 2.11537300106519));
#7400 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#7300, #7310), (#7320, #7330), (#7340, #7350), (#7360, #7370), (#7380, #7390)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0.174395912679348, 0.337197956339674, 0.5), (0.133681154292517, 0.862761654910919), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.873755023578117, 0.873755023578117), (1., 1.), (0.873755023578117, 0.873755023578117), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#7410 = ADVANCED_FACE ('', (#7290), #7400, .T.);
#7420 = ORIENTED_EDGE ('', *, *, #4130, .T.);
#7430 = ORIENTED_EDGE ('', *, *, #5550, .T.);
#7440 = CARTESIAN_POINT ('', (0.21705945023751, 1.38796165448954, 0.142223316029513));
#7450 = VERTEX_POINT ('', #7440);
#7460 = CARTESIAN_POINT ('', (9.45243212738542, -6.46457764429768, -5.1898215851427));
#7470 = DIRECTION ('', (0.49999999999792, 1.7727208589946E-12, 0.86602540378564));
#7480 = DIRECTION ('', (-0.694874173707005, 0.596824801447439, 0.401185791239211));
#7490 = AXIS2_PLACEMENT_3D ('', #7460, #7470, #7480);
#7500 = CIRCLE ('', #7490, 13.243307170366);
#7510 = EDGE_CURVE ('', #5440, #7450, #7500, .T.);
#7520 = ORIENTED_EDGE ('', *, *, #7510, .T.);
#7530 = CARTESIAN_POINT ('', (-1.02230506439548, -0.942287988657858, 0.60447161152648));
#7540 = CARTESIAN_POINT ('', (-0.91738470337681, -0.768228281666268, 0.72556264792158));
#7550 = CARTESIAN_POINT ('', (-0.79925665305763, -0.573100169996536, 0.81059046062401));
#7560 = CARTESIAN_POINT ('', (-0.678501892452479, -0.374987041737093, 0.85682442056662));
#7570 = CARTESIAN_POINT ('', (-0.558057740033393, -0.177383504644864, 0.90293945644893));
#7580 = CARTESIAN_POINT ('', (-0.431685668909624, 0.0286716289703301, 0.91223266363776));
#7590 = CARTESIAN_POINT ('', (-0.311931512883003, 0.230007624524679, 0.8838899879308));
#7600 = CARTESIAN_POINT ('', (-0.184295464088908, 0.444595007586944, 0.85368187441293));
#7610 = CARTESIAN_POINT ('', (-0.059544262013411, 0.661548115470866, 0.77929874187147));
#7620 = CARTESIAN_POINT ('', (0.037154678367879, 0.859708969765038, 0.65833252014769));
#7630 = CARTESIAN_POINT ('', (0.097467569264685, 0.983305504928049, 0.5828836837462));
#7640 = CARTESIAN_POINT ('', (0.147903549535906, 1.10248333549684, 0.48718490356279));
#7650 = CARTESIAN_POINT ('', (0.179688523581215, 1.20719857291179, 0.37479847330966));
#7660 = CARTESIAN_POINT ('', (0.199743448880413, 1.27326929743247, 0.30388756238184));
#7670 = CARTESIAN_POINT ('', (0.212648894891957, 1.33449535782589, 0.225396629530156));
#7680 = CARTESIAN_POINT ('', (0.21705945023751, 1.38796165448954, 0.142223316029513));
#7690 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#7530, #7540, #7550, #7560, #7570, #7580, #7590, #7600, #7610, #7620, #7630, #7640, #7650, #7660, #7670, #7680), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 4), (0., 0.241839420426896, 0.482725905073853, 0.740663066436568, 0.900114591758739, 1.), .UNSPECIFIED.);
#7700 = EDGE_CURVE ('', #6980, #7450, #7690, .T.);
#7710 = ORIENTED_EDGE ('', *, *, #7700, .F.);
#7720 = ORIENTED_EDGE ('', *, *, #7030, .F.);
#7730 = EDGE_LOOP ('', (#7420, #7430, #7520, #7710, #7720));
#7740 = FACE_OUTER_BOUND ('', #7730, .T.);
#7750 = CARTESIAN_POINT ('', (0.250000000000014, 1.43935652836041, 0.123205080756895));
#7760 = CARTESIAN_POINT ('', (0.250000000000039, -0.342840720880826, 3.21006126555227));
#7770 = CARTESIAN_POINT ('', (-0.522615171664135, 0.732965535021171, -0.284629949400629));
#7780 = CARTESIAN_POINT ('', (-0.52261517166411, -1.04923171422007, 2.80222623539475));
#7790 = CARTESIAN_POINT ('', (-1.02230506439544, -0.138482338584387, -0.787760613811511));
#7800 = CARTESIAN_POINT ('', (-1.02230506439542, -1.92067958782562, 2.29909557098387));
#7810 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#7750, #7760), (#7770, #7780), (#7790, #7800)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.129089497187922, 0.174395912679354), (0.0836150222783028, 0.818631020482994), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.988965353480071, 0.988965353480071), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#7820 = ADVANCED_FACE ('', (#7740), #7810, .T.);
#7830 = CARTESIAN_POINT ('', (1.43530151869015, -2.98891018394871, -0.561129070107718));
#7840 = DIRECTION ('', (0.499999999998931, 3.96128962965037E-12, 0.866025403785056));
#7850 = DIRECTION ('', (-0.257821558396603, 0.954657386379719, 0.148853346138376));
#7860 = AXIS2_PLACEMENT_3D ('', #7830, #7840, #7850);
#7870 = CIRCLE ('', #7860, 4.59737162435318);
#7880 = EDGE_CURVE ('', #5350, #7450, #7870, .T.);
#7890 = ORIENTED_EDGE ('', *, *, #7880, .T.);
#7900 = ORIENTED_EDGE ('', *, *, #7510, .F.);
#7910 = ORIENTED_EDGE ('', *, *, #5490, .T.);
#7920 = EDGE_LOOP ('', (#7890, #7900, #7910));
#7930 = FACE_OUTER_BOUND ('', #7920, .T.);
#7940 = CARTESIAN_POINT ('', (0.217059450237512, 1.43935652836039, 0.142223316029519));
#7950 = CARTESIAN_POINT ('', (0.217059450237512, 1.38796165448953, 0.142223316029519));
#7960 = CARTESIAN_POINT ('', (0.25, 1.43935652836039, 0.123205080756891));
#7970 = CARTESIAN_POINT ('', (0.25, 1.38796165448953, 0.123205080756891));
#7980 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7940, #7950), (#7960, #7970)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.435683586333836, -0.397647115788582), (10.2606434716396, 10.3120383455105), .UNSPECIFIED.);
#7990 = ADVANCED_FACE ('', (#7930), #7980, .T.);
#8000 = ORIENTED_EDGE ('', *, *, #5410, .T.);
#8010 = ORIENTED_EDGE ('', *, *, #6520, .T.);
#8020 = ORIENTED_EDGE ('', *, *, #6850, .T.);
#8030 = ORIENTED_EDGE ('', *, *, #7250, .T.);
#8040 = ORIENTED_EDGE ('', *, *, #7700, .T.);
#8050 = ORIENTED_EDGE ('', *, *, #7880, .F.);
#8060 = EDGE_LOOP ('', (#8000, #8010, #8020, #8030, #8040, #8050));
#8070 = FACE_OUTER_BOUND ('', #8060, .T.);
#8080 = CARTESIAN_POINT ('', (0.249999999999999, 1.40000460247113, 0.123205080756888));
#8090 = CARTESIAN_POINT ('', (-1.04873358645527, 1.40000460247113, 0.12320508075689));
#8100 = CARTESIAN_POINT ('', (0.25, 0.961466193489895, 0.826311148808998));
#8110 = CARTESIAN_POINT ('', (-1.04873358645527, 0.961466193489894, 0.826311148808999));
#8120 = CARTESIAN_POINT ('', (0.25, 0.13561173805903, 0.894417664859085));
#8130 = CARTESIAN_POINT ('', (-1.04873358645527, 0.135611738059029, 0.894417664859087));
#8140 = CARTESIAN_POINT ('', (0.250000000000001, -0.690242717371836, 0.962524180909173));
#8150 = CARTESIAN_POINT ('', (-1.04873358645527, -0.690242717371836, 0.962524180909174));
#8160 = CARTESIAN_POINT ('', (0.250000000000001, -1.23804051080742, 0.340759228060754));
#8170 = CARTESIAN_POINT ('', (-1.04873358645527, -1.23804051080742, 0.340759228060756));
#8180 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8080, #8090), (#8100, #8110), (#8120, #8130), (#8140, #8150), (#8160, #8170)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0.090490019316219, 0.237511596457045, 0.384533173597871), (0.0839738668941838, 0.915856315622714), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.893633323799826, 0.893633323799826), (1., 1.), (0.893633323799826, 0.893633323799826), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#8190 = ADVANCED_FACE ('', (#8070), #8180, .T.);
#8200 = CARTESIAN_POINT ('', (0.15, 1.57241851935164, -0.25));
#8210 = VERTEX_POINT ('', #8200);
#8220 = CARTESIAN_POINT ('', (0.250000000000002, 1.56364545631663, -0.223205080756887));
#8230 = CARTESIAN_POINT ('', (0.248443654682636, 1.56394818155265, -0.22410363714482));
#8240 = CARTESIAN_POINT ('', (0.246873918012462, 1.56424322427078, -0.224981949757121));
#8250 = CARTESIAN_POINT ('', (0.245291673079934, 1.56453049593438, -0.2258394069645));
#8260 = CARTESIAN_POINT ('', (0.225861313239784, 1.56805826314722, -0.236369193942722));
#8270 = CARTESIAN_POINT ('', (0.204164185589144, 1.57044418283679, -0.243818949233899));
#8280 = CARTESIAN_POINT ('', (0.182103521994543, 1.57159150849431, -0.24740659531927));
#8290 = CARTESIAN_POINT ('', (0.171517148446242, 1.57214208204982, -0.249128219034529));
#8300 = CARTESIAN_POINT ('', (0.160739572820236, 1.57241851935164, -0.249999999999998));
#8310 = CARTESIAN_POINT ('', (0.15, 1.57241851935164, -0.25));
#8320 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#8220, #8230, #8240, #8250, #8260, #8270, #8280, #8290, #8300, #8310), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (0., 0.0517149316143277, 0.694977381207253, 1.), .UNSPECIFIED.);
#8330 = EDGE_CURVE ('', #5590, #8210, #8320, .T.);
#8340 = ORIENTED_EDGE ('', *, *, #8330, .F.);
#8350 = ORIENTED_EDGE ('', *, *, #5640, .T.);
#8360 = ORIENTED_EDGE ('', *, *, #3950, .T.);
#8370 = CARTESIAN_POINT ('', (0.15, 3.56510869399518, -0.25));
#8380 = DIRECTION ('', (0., -1.99269017464354, 0.));
#8390 = VECTOR ('', #8380, 1.99269017464354);
#8400 = LINE ('', #8370, #8390);
#8410 = EDGE_CURVE ('', #3780, #8210, #8400, .T.);
#8420 = ORIENTED_EDGE ('', *, *, #8410, .T.);
#8430 = EDGE_LOOP ('', (#8340, #8350, #8360, #8420));
#8440 = FACE_OUTER_BOUND ('', #8430, .T.);
#8450 = CARTESIAN_POINT ('', (0.150000000000001, 1.56364545631662, -0.249999999999918));
#8460 = CARTESIAN_POINT ('', (0.15, 3.56510869399613, -0.249999999999998));
#8470 = CARTESIAN_POINT ('', (0.203589838486226, 1.56364545631662, -0.249999999999918));
#8480 = CARTESIAN_POINT ('', (0.203589838486225, 3.56510869399613, -0.249999999999998));
#8490 = CARTESIAN_POINT ('', (0.250000000000002, 1.56364545631662, -0.223205080756805));
#8500 = CARTESIAN_POINT ('', (0.250000000000001, 3.56510869399613, -0.223205080756885));
#8510 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8450, #8460), (#8470, #8480), (#8490, #8500)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.75, 0.835270344350529), (0.083749279739367, 0.916250720261028), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.965925826289067, 0.965925826289067), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#8520 = ADVANCED_FACE ('', (#8440), #8510, .T.);
#8530 = ORIENTED_EDGE ('', *, *, #3830, .T.);
#8540 = CARTESIAN_POINT ('', (-0.79839285078846, 1.57241851935164, -0.25));
#8550 = VERTEX_POINT ('', #8540);
#8560 = CARTESIAN_POINT ('', (-0.79839285078846, 3.56510869399518, -0.25));
#8570 = DIRECTION ('', (0., -1.99269017464354, 0.));
#8580 = VECTOR ('', #8570, 1.99269017464354);
#8590 = LINE ('', #8560, #8580);
#8600 = EDGE_CURVE ('', #3570, #8550, #8590, .T.);
#8610 = ORIENTED_EDGE ('', *, *, #8600, .T.);
#8620 = CARTESIAN_POINT ('', (0.15, 1.57241851935164, -0.25));
#8630 = DIRECTION ('', (-0.94839285078846, 0., 0.));
#8640 = VECTOR ('', #8630, 0.94839285078846);
#8650 = LINE ('', #8620, #8640);
#8660 = EDGE_CURVE ('', #8210, #8550, #8650, .T.);
#8670 = ORIENTED_EDGE ('', *, *, #8660, .F.);
#8680 = ORIENTED_EDGE ('', *, *, #8410, .F.);
#8690 = EDGE_LOOP ('', (#8530, #8610, #8670, #8680));
#8700 = FACE_OUTER_BOUND ('', #8690, .T.);
#8710 = CARTESIAN_POINT ('', (0.151, 3.56610869399518, -0.25));
#8720 = CARTESIAN_POINT ('', (0.151, 1.57141851935164, -0.25));
#8730 = CARTESIAN_POINT ('', (-0.79939285078846, 3.56610869399518, -0.25));
#8740 = CARTESIAN_POINT ('', (-0.79939285078846, 1.57141851935164, -0.25));
#8750 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8710, #8720), (#8730, #8740)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000021, 0.94939285078846), (3.43389130600482, 5.42858148064836), .UNSPECIFIED.);
#8760 = ADVANCED_FACE ('', (#8700), #8750, .T.);
#8770 = CARTESIAN_POINT ('', (-1.04799838239059, 1.63059711267092, -0.5));
#8780 = VERTEX_POINT ('', #8770);
#8790 = CARTESIAN_POINT ('', (-1.04799838239059, 1.63059711267092, -0.5));
#8800 = DIRECTION ('', (-8.28774138983412E-6, 1.96055245604918, 0.));
#8810 = VECTOR ('', #8800, 1.9605524560667);
#8820 = LINE ('', #8790, #8810);
#8830 = EDGE_CURVE ('', #8780, #3450, #8820, .T.);
#8840 = ORIENTED_EDGE ('', *, *, #8830, .F.);
#8850 = CARTESIAN_POINT ('', (-0.79839285078846, 1.57241851935164, -0.249999999999999));
#8860 = CARTESIAN_POINT ('', (-0.82553165786613, 1.57241851935164, -0.249999999999999));
#8870 = CARTESIAN_POINT ('', (-0.8530432550525, 1.57388616403318, -0.254556141891505));
#8880 = CARTESIAN_POINT ('', (-0.87862138979877, 1.57656210876226, -0.263222928626372));
#8890 = CARTESIAN_POINT ('', (-0.90417504409954, 1.57923549238516, -0.271881420510877));
#8900 = CARTESIAN_POINT ('', (-0.92849466875477, 1.58316840517904, -0.284854263511561));
#8910 = CARTESIAN_POINT ('', (-0.94976319901248, 1.58774385516138, -0.301035134562556));
#8920 = CARTESIAN_POINT ('', (-0.97158173213909, 1.59243762599554, -0.317634441931985));
#8930 = CARTESIAN_POINT ('', (-0.99077916550894, 1.59791490578163, -0.338040417208995));
#8940 = CARTESIAN_POINT ('', (-1.00597366797328, 1.60341184384043, -0.360679490609303));
#8950 = CARTESIAN_POINT ('', (-1.02173391513681, 1.60911345221179, -0.384161496234658));
#8960 = CARTESIAN_POINT ('', (-1.03361427713215, 1.61497860139088, -0.410695968198071));
#8970 = CARTESIAN_POINT ('', (-1.04062779047314, 1.62026715597849, -0.438175781477178));
#8980 = CARTESIAN_POINT ('', (-1.04574646987579, 1.62412690702212, -0.458231400876682));
#8990 = CARTESIAN_POINT ('', (-1.04838843684057, 1.62775163657524, -0.479134831154854));
#9000 = CARTESIAN_POINT ('', (-1.04839284516205, 1.63094251197175, -0.499946960339882));
#9010 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#8850, #8860, #8870, #8880, #8890, #8900, #8910, #8920, #8930, #8940, #8950, #8960, #8970, #8980, #8990, #9000), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 4), (0., 0.20590316049282, 0.411457479495369, 0.622332248617829, 0.841256167815808, 1.), .UNSPECIFIED.);
#9020 = EDGE_CURVE ('', #8550, #8780, #9010, .T.);
#9030 = ORIENTED_EDGE ('', *, *, #9020, .F.);
#9040 = ORIENTED_EDGE ('', *, *, #8600, .F.);
#9050 = ORIENTED_EDGE ('', *, *, #3750, .T.);
#9060 = EDGE_LOOP ('', (#8840, #9030, #9040, #9050));
#9070 = FACE_OUTER_BOUND ('', #9060, .T.);
#9080 = CARTESIAN_POINT ('', (-1.04839285078846, 1.57241851935164, -0.5));
#9090 = CARTESIAN_POINT ('', (-1.04839285078846, 3.5911495687201, -0.500000000000001));
#9100 = CARTESIAN_POINT ('', (-1.04839285078846, 1.57241851935164, -0.249999999999998));
#9110 = CARTESIAN_POINT ('', (-1.04839285078846, 3.5911495687201, -0.249999999999999));
#9120 = CARTESIAN_POINT ('', (-0.798392850788458, 1.57241851935164, -0.249999999999999));
#9130 = CARTESIAN_POINT ('', (-0.798392850788458, 3.5911495687201, -0.25));
#9140 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#9080, #9090), (#9100, #9110), (#9120, #9130)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.5, 0.75), (0.0848060994613321, 0.915209507845998), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186547, 0.707106781186547), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#9150 = ADVANCED_FACE ('', (#9070), #9140, .T.);
#9160 = ORIENTED_EDGE ('', *, *, #5730, .T.);
#9170 = ORIENTED_EDGE ('', *, *, #8330, .T.);
#9180 = ORIENTED_EDGE ('', *, *, #8660, .T.);
#9190 = ORIENTED_EDGE ('', *, *, #9020, .T.);
#9200 = CARTESIAN_POINT ('', (-1.02230506439548, 1.6441508186157, -0.611190469904597));
#9210 = VERTEX_POINT ('', #9200);
#9220 = CARTESIAN_POINT ('', (-1.04839284516208, 1.63094251199328, -0.499946960480312));
#9230 = CARTESIAN_POINT ('', (-1.04839870300935, 1.63518210465976, -0.527599230741013));
#9240 = CARTESIAN_POINT ('', (-1.04368259775607, 1.63873943154078, -0.555752305758766));
#9250 = CARTESIAN_POINT ('', (-1.03454306679619, 1.64143065169847, -0.582055319629521));
#9260 = CARTESIAN_POINT ('', (-1.031088998277, 1.64244773439841, -0.591995918613176));
#9270 = CARTESIAN_POINT ('', (-1.02699398213336, 1.6433536311486, -0.60174806039763));
#9280 = CARTESIAN_POINT ('', (-1.02230506439548, 1.6441508186157, -0.611190469904597));
#9290 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#9220, #9230, #9240, #9250, #9260, #9270, #9280), .UNSPECIFIED., .F., .U., (4, 3, 4), (1.23264452239944E-9, 0.728164018262641, 1.), .UNSPECIFIED.);
#9300 = EDGE_CURVE ('', #8780, #9210, #9290, .T.);
#9310 = ORIENTED_EDGE ('', *, *, #9300, .T.);
#9320 = CARTESIAN_POINT ('', (-0.95156795068742, 1.64999999999974, -0.7500006598398));
#9330 = VERTEX_POINT ('', #9320);
#9340 = CARTESIAN_POINT ('', (-1.02230506439548, 1.6441508186157, -0.611190469904597));
#9350 = CARTESIAN_POINT ('', (-0.99925739849051, 1.6480692730294, -0.657603205597539));
#9360 = CARTESIAN_POINT ('', (-0.97564324679924, 1.65000003684042, -0.703945569564257));
#9370 = CARTESIAN_POINT ('', (-0.95156795068742, 1.64999999999974, -0.7500006598398));
#9380 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#9340, #9350, #9360, #9370), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#9390 = EDGE_CURVE ('', #9210, #9330, #9380, .T.);
#9400 = ORIENTED_EDGE ('', *, *, #9390, .T.);
#9410 = CARTESIAN_POINT ('', (0.25, 1.65, -0.75));
#9420 = DIRECTION ('', (-1.20156795068742, -2.60014232367212E-13, -6.59839800021267E-7));
#9430 = VECTOR ('', #9420, 1.2015679506876);
#9440 = LINE ('', #9410, #9430);
#9450 = EDGE_CURVE ('', #5670, #9330, #9440, .T.);
#9460 = ORIENTED_EDGE ('', *, *, #9450, .F.);
#9470 = EDGE_LOOP ('', (#9160, #9170, #9180, #9190, #9310, #9400, #9460));
#9480 = FACE_OUTER_BOUND ('', #9470, .T.);
#9490 = CARTESIAN_POINT ('', (0.25000000000001, 1.65000000000004, -0.750000000000006));
#9500 = CARTESIAN_POINT ('', (-1.0483943096239, 1.65000000000004, -0.75));
#9510 = CARTESIAN_POINT ('', (0.250000000000011, 1.65000000000004, -0.479524731783139));
#9520 = CARTESIAN_POINT ('', (-1.0483943096239, 1.65000000000004, -0.479524731783133));
#9530 = CARTESIAN_POINT ('', (0.250000000000012, 1.56364545631667, -0.22320508075688));
#9540 = CARTESIAN_POINT ('', (-1.0483943096239, 1.56364545631667, -0.223205080756874));
#9550 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#9490, #9500), (#9510, #9520), (#9530, #9540)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0., 0.0542710411325453), (0.083973089936937, 0.914629423601492), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.986829243820624, 0.986829243820624), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#9560 = ADVANCED_FACE ('', (#9480), #9550, .T.);
#9570 = ORIENTED_EDGE ('', *, *, #8830, .T.);
#9580 = ORIENTED_EDGE ('', *, *, #3540, .T.);
#9590 = CARTESIAN_POINT ('', (-1.02230506439548, 3.59732288158218, -0.611190469904598));
#9600 = DIRECTION ('', (0., -1.95317206296648, 9.99200722162641E-16));
#9610 = VECTOR ('', #9600, 1.95317206296648);
#9620 = LINE ('', #9590, #9610);
#9630 = EDGE_CURVE ('', #3360, #9210, #9620, .T.);
#9640 = ORIENTED_EDGE ('', *, *, #9630, .T.);
#9650 = ORIENTED_EDGE ('', *, *, #9300, .F.);
#9660 = EDGE_LOOP ('', (#9570, #9580, #9640, #9650));
#9670 = FACE_OUTER_BOUND ('', #9660, .T.);
#9680 = CARTESIAN_POINT ('', (-1.02230506439545, 1.63059711267092, -0.611190469904659));
#9690 = CARTESIAN_POINT ('', (-1.02230506439538, 3.59732288158215, -0.611190469904622));
#9700 = CARTESIAN_POINT ('', (-1.04839782802037, 1.63059711267092, -0.558645602818577));
#9710 = CARTESIAN_POINT ('', (-1.0483978280203, 3.59732288158215, -0.55864560281854));
#9720 = CARTESIAN_POINT ('', (-1.04839284988843, 1.63059711267092, -0.499978786423801));
#9730 = CARTESIAN_POINT ('', (-1.04839284988836, 3.59732288158215, -0.499978786423764));
#9740 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#9680, #9690), (#9700, #9710), (#9720, #9730)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.424395912679311, 0.500015), (0.0838200396061953, 0.916182647950812), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.973553057425061, 0.973553057425061), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#9750 = ADVANCED_FACE ('', (#9670), #9740, .T.);
#9760 = ORIENTED_EDGE ('', *, *, #3420, .T.);
#9770 = ORIENTED_EDGE ('', *, *, #3240, .T.);
#9780 = ORIENTED_EDGE ('', *, *, #5960, .T.);
#9790 = CARTESIAN_POINT ('', (0.217059450237506, 0.0787072302855974, -2.39812171028137));
#9800 = VERTEX_POINT ('', #9790);
#9810 = CARTESIAN_POINT ('', (9.45243212772047, -0.612709458910436, 7.06839925764997));
#9820 = DIRECTION ('', (0.499999999999916, 0.750000000000034, -0.433012701892257));
#9830 = DIRECTION ('', (-0.694874173705646, 0.0490246861290862, -0.717458335282851));
#9840 = AXIS2_PLACEMENT_3D ('', #9810, #9820, #9830);
#9850 = CIRCLE ('', #9840, 13.2433071708741);
#9860 = EDGE_CURVE ('', #5850, #9800, #9850, .T.);
#9870 = ORIENTED_EDGE ('', *, *, #9860, .T.);
#9880 = CARTESIAN_POINT ('', (-0.95156795068742, 1.64999999999974, -0.7500006598398));
#9890 = CARTESIAN_POINT ('', (-0.82158722072258, 1.64999980101726, -0.998648660889369));
#9900 = CARTESIAN_POINT ('', (-0.674600563257798, 1.59262572805057, -1.24353308197899));
#9910 = CARTESIAN_POINT ('', (-0.529035437173705, 1.48940770322737, -1.46004555738837));
#9920 = CARTESIAN_POINT ('', (-0.403684346041579, 1.40052314423887, -1.64649182900843));
#9930 = CARTESIAN_POINT ('', (-0.275432187162395, 1.27527217425156, -1.81829974322675));
#9940 = CARTESIAN_POINT ('', (-0.16014075956704, 1.11926449997246, -1.96233121674788));
#9950 = CARTESIAN_POINT ('', (-0.0686480170155422, 0.995460239095648, -2.07663142796942));
#9960 = CARTESIAN_POINT ('', (0.0168353219872919, 0.848907852560602, -2.17626421641005));
#9970 = CARTESIAN_POINT ('', (0.083083326374615, 0.68522916771825, -2.2509866713959));
#9980 = CARTESIAN_POINT ('', (0.134762475809791, 0.557545695717096, -2.30927662221163));
#9990 = CARTESIAN_POINT ('', (0.175533049686205, 0.416277587107563, -2.35345831394215));
#10000 = CARTESIAN_POINT ('', (0.198025888466837, 0.270406626043338, -2.37769169580479));
#10010 = CARTESIAN_POINT ('', (0.207736684103392, 0.207430000192883, -2.38815393319268));
#10020 = CARTESIAN_POINT ('', (0.214181856640002, 0.143143738501018, -2.39504449877492));
#10030 = CARTESIAN_POINT ('', (0.217059450237506, 0.0787072302855974, -2.39812171028137));
#10040 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#9880, #9890, #9900, #9910, #9920, #9930, #9940, #9950, #9960, #9970, #9980, #9990, #10000, #10010, #10020, #10030), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 4), (0., 0.304107143850168, 0.564639549986578, 0.770877277090193, 0.931447013361782, 1.), .UNSPECIFIED.);
#10050 = EDGE_CURVE ('', #9330, #9800, #10040, .T.);
#10060 = ORIENTED_EDGE ('', *, *, #10050, .F.);
#10070 = ORIENTED_EDGE ('', *, *, #9390, .F.);
#10080 = ORIENTED_EDGE ('', *, *, #9630, .F.);
#10090 = EDGE_LOOP ('', (#9760, #9770, #9780, #9870, #10060, #10070, #10080));
#10100 = FACE_OUTER_BOUND ('', #10090, .T.);
#10110 = CARTESIAN_POINT ('', (0.250000000000002, 0.0365395184689179, -2.43312185904153));
#10120 = CARTESIAN_POINT ('', (0.250000000000018, 3.60000005247246, -2.43312185904152));
#10130 = CARTESIAN_POINT ('', (-0.522615171664169, 0.0365395184689183, -1.61745179872643));
#10140 = CARTESIAN_POINT ('', (-0.522615171664153, 3.60000005247246, -1.61745179872642));
#10150 = CARTESIAN_POINT ('', (-1.02230506439548, 0.0365395184689167, -0.611190469904604));
#10160 = CARTESIAN_POINT ('', (-1.02230506439546, 3.60000005247246, -0.611190469904591));
#10170 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#10110, #10120), (#10130, #10140), (#10150, #10160)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.379089497187922, 0.424395912679354), (0.0835671227776293, 0.916666580792974), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.988965353480071, 0.988965353480071), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#10180 = ADVANCED_FACE ('', (#10100), #10170, .T.);
#10190 = CARTESIAN_POINT ('', (1.4353015187707, 1.65802211540772, 1.74403668413289));
#10200 = DIRECTION ('', (0.499999999995599, 0.749999999994183, -0.433012701907376));
#10210 = DIRECTION ('', (-0.257821558403251, -0.348417914004998, -0.901184221578987));
#10220 = AXIS2_PLACEMENT_3D ('', #10190, #10200, #10210);
#10230 = CIRCLE ('', #10220, 4.59737162454702);
#10240 = EDGE_CURVE ('', #5760, #9800, #10230, .T.);
#10250 = ORIENTED_EDGE ('', *, *, #10240, .T.);
#10260 = ORIENTED_EDGE ('', *, *, #9860, .F.);
#10270 = ORIENTED_EDGE ('', *, *, #5900, .T.);
#10280 = EDGE_LOOP ('', (#10250, #10260, #10270));
#10290 = FACE_OUTER_BOUND ('', #10280, .T.);
#10300 = CARTESIAN_POINT ('', (0.207732983172114, 0.0647175296875142, -2.43312185904154));
#10310 = CARTESIAN_POINT ('', (0.217059450237511, 0.0787072302856107, -2.39812171028137));
#10320 = CARTESIAN_POINT ('', (0.24999999999998, 0.0365395184689365, -2.43312185904154));
#10330 = CARTESIAN_POINT ('', (0.259326467065377, 0.050529219067033, -2.39812171028137));
#10340 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10300, #10310), (#10320, #10330)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (2.42719922362087, 2.47799785576546), (9.97894426121098, 10.0177734399813), .UNSPECIFIED.);
#10350 = ADVANCED_FACE ('', (#10290), #10340, .T.);
#10360 = ORIENTED_EDGE ('', *, *, #5820, .T.);
#10370 = ORIENTED_EDGE ('', *, *, #9450, .T.);
#10380 = ORIENTED_EDGE ('', *, *, #10050, .T.);
#10390 = ORIENTED_EDGE ('', *, *, #10240, .F.);
#10400 = EDGE_LOOP ('', (#10360, #10370, #10380, #10390));
#10410 = FACE_OUTER_BOUND ('', #10400, .T.);
#10420 = CARTESIAN_POINT ('', (0.250000000000005, 0.0562154814135463, -2.39904209153358));
#10430 = CARTESIAN_POINT ('', (-0.951567950687601, 0.0562154814135462, -2.39904209153358));
#10440 = CARTESIAN_POINT ('', (0.250000000000005, 1.65, -2.34471032860176));
#10450 = CARTESIAN_POINT ('', (-0.951567950687601, 1.65, -2.34471032860176));
#10460 = CARTESIAN_POINT ('', (0.250000000000004, 1.65, -0.749999999999999));
#10470 = CARTESIAN_POINT ('', (-0.951567950687602, 1.65, -0.75));
#10480 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#10420, #10430), (#10440, #10450), (#10460, #10470)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.755982304639162, 1.), (0.084025719112514, 0.915974280887612), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.719051454603731, 0.719051454603731), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#10490 = ADVANCED_FACE ('', (#10410), #10480, .T.);
#10500 = CARTESIAN_POINT ('', (0.150000000001585, -0.353196557783583, -2.36175438313964));
#10510 = VERTEX_POINT ('', #10500);
#10520 = CARTESIAN_POINT ('', (0.25, -0.325604945509193, -2.36755414730387));
#10530 = CARTESIAN_POINT ('', (0.246244583660311, -0.327847887308459, -2.36710265518934));
#10540 = CARTESIAN_POINT ('', (0.242409847906994, -0.329967019024849, -2.36667123533725));
#10550 = CARTESIAN_POINT ('', (0.238508441247758, -0.331954525539475, -2.36626303335004));
#10560 = CARTESIAN_POINT ('', (0.218763474751394, -0.342013269210729, -2.3641971285969));
#10570 = CARTESIAN_POINT ('', (0.196902142154429, -0.348777204818857, -2.36271909020276));
#10580 = CARTESIAN_POINT ('', (0.174836161936506, -0.351609332402251, -2.36210138557339));
#10590 = CARTESIAN_POINT ('', (0.166610417909587, -0.352665091372508, -2.36187111797978));
#10600 = CARTESIAN_POINT ('', (0.158296415793399, -0.353196557783473, -2.3617543831397));
#10610 = CARTESIAN_POINT ('', (0.150000000003172, -0.353196557783607, -2.36175438313967));
#10620 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#10520, #10530, #10540, #10550, #10560, #10570, #10580, #10590, #10600, #10610), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (0., 0.125166636929733, 0.764726547936118, 1.), .UNSPECIFIED.);
#10630 = EDGE_CURVE ('', #6000, #10510, #10620, .T.);
#10640 = ORIENTED_EDGE ('', *, *, #10630, .F.);
#10650 = ORIENTED_EDGE ('', *, *, #6050, .T.);
#10660 = ORIENTED_EDGE ('', *, *, #3060, .T.);
#10670 = CARTESIAN_POINT ('', (0.15, -1.34954164510534, -4.0874746962526));
#10680 = DIRECTION ('', (1.5850099011061E-12, 0.996345087321757, 1.72572031311296));
#10690 = VECTOR ('', #10680, 1.99269017464354);
#10700 = LINE ('', #10670, #10690);
#10710 = EDGE_CURVE ('', #2890, #10510, #10700, .T.);
#10720 = ORIENTED_EDGE ('', *, *, #10710, .T.);
#10730 = EDGE_LOOP ('', (#10640, #10650, #10660, #10720));
#10740 = FACE_OUTER_BOUND ('', #10730, .T.);
#10750 = CARTESIAN_POINT ('', (0.150000000000003, -0.348810026265832, -2.35415668768245));
#10760 = CARTESIAN_POINT ('', (0.15, -1.34954164510526, -4.08747469625264));
#10770 = CARTESIAN_POINT ('', (0.203589838486204, -0.348810026265832, -2.35415668768245));
#10780 = CARTESIAN_POINT ('', (0.203589838486201, -1.34954164510526, -4.08747469625264));
#10790 = CARTESIAN_POINT ('', (0.249999999999964, -0.325604945508964, -2.367554147304));
#10800 = CARTESIAN_POINT ('', (0.249999999999961, -1.32633656434839, -4.10087215587419));
#10810 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#10750, #10760), (#10770, #10780), (#10790, #10800)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0., 0.0852703443505268), (0.0859716740427127, 0.9125068558014), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.965925826289095, 0.965925826289095), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#10820 = ADVANCED_FACE ('', (#10740), #10810, .T.);
#10830 = ORIENTED_EDGE ('', *, *, #2940, .T.);
#10840 = CARTESIAN_POINT ('', (-0.79839285078846, -0.353196557783583, -2.36175438313964));
#10850 = VERTEX_POINT ('', #10840);
#10860 = CARTESIAN_POINT ('', (-0.79839285078846, -1.34954164510534, -4.0874746962526));
#10870 = DIRECTION ('', (0., 0.996345087321757, 1.72572031311296));
#10880 = VECTOR ('', #10870, 1.99269017464354);
#10890 = LINE ('', #10860, #10880);
#10900 = EDGE_CURVE ('', #2650, #10850, #10890, .T.);
#10910 = ORIENTED_EDGE ('', *, *, #10900, .T.);
#10920 = CARTESIAN_POINT ('', (0.150000000001585, -0.353196557783583, -2.36175438313964));
#10930 = DIRECTION ('', (-0.948392850790045, 0., 0.));
#10940 = VECTOR ('', #10930, 0.948392850790045);
#10950 = LINE ('', #10920, #10940);
#10960 = EDGE_CURVE ('', #10510, #10850, #10950, .T.);
#10970 = ORIENTED_EDGE ('', *, *, #10960, .F.);
#10980 = ORIENTED_EDGE ('', *, *, #10710, .F.);
#10990 = EDGE_LOOP ('', (#10830, #10910, #10970, #10980));
#11000 = FACE_OUTER_BOUND ('', #10990, .T.);
#11010 = CARTESIAN_POINT ('', (-0.79939285078846, -1.35022465780723, -4.08865770895449));
#11020 = CARTESIAN_POINT ('', (0.151000000001585, -1.35022465780723, -4.08865770895449));
#11030 = CARTESIAN_POINT ('', (-0.79939285078846, -0.352513545081691, -2.36057137043775));
#11040 = CARTESIAN_POINT ('', (0.151000000001585, -0.352513545081691, -2.36057137043775));
#11050 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11010, #11020), (#11030, #11040)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (3.43352528060104, 5.42894750605214), (-0.94939285078846, 0.00100000000158461), .UNSPECIFIED.);
#11060 = ADVANCED_FACE ('', (#11000), #11050, .T.);
#11070 = ORIENTED_EDGE ('', *, *, #2860, .T.);
#11080 = CARTESIAN_POINT ('', (-1.02230506439548, -0.701862829957839, -2.24328114162189));
#11090 = VERTEX_POINT ('', #11080);
#11100 = CARTESIAN_POINT ('', (-1.02230506439548, -1.67844886144106, -3.93477776611292));
#11110 = DIRECTION ('', (0., 0.976586031483221, 1.69149662449103));
#11120 = VECTOR ('', #11110, 1.95317206296647);
#11130 = LINE ('', #11100, #11120);
#11140 = EDGE_CURVE ('', #2560, #11090, #11130, .T.);
#11150 = ORIENTED_EDGE ('', *, *, #11140, .T.);
#11160 = CARTESIAN_POINT ('', (-0.79839285078846, -0.353196557783583, -2.36175438313964));
#11170 = CARTESIAN_POINT ('', (-0.82553165786613, -0.353196557783583, -2.36175438313964));
#11180 = CARTESIAN_POINT ('', (-0.8530432550525, -0.357876114745641, -2.36074732977183));
#11190 = CARTESIAN_POINT ('', (-0.87862138979877, -0.366719744591761, -2.3587313725189));
#11200 = CARTESIAN_POINT ('', (-0.90417504409954, -0.375554910333655, -2.35671734470814));
#11210 = CARTESIAN_POINT ('', (-0.92849466875477, -0.388756178328491, -2.35363692559817));
#11220 = CARTESIAN_POINT ('', (-0.94976319901248, -0.405056948705186, -2.34950894599113));
#11230 = CARTESIAN_POINT ('', (-0.97158173213909, -0.421779255989417, -2.34527421708834));
#11240 = CARTESIAN_POINT ('', (-0.99077916550894, -0.442189988861347, -2.33981469288822));
#11250 = CARTESIAN_POINT ('', (-1.00597366797328, -0.464544470573556, -2.33325564419001));
#11260 = CARTESIAN_POINT ('', (-1.02173391513681, -0.487731288162603, -2.32645237906936));
#11270 = CARTESIAN_POINT ('', (-1.03361427713215, -0.513643389548468, -2.31826451127373));
#11280 = CARTESIAN_POINT ('', (-1.04062779047314, -0.540085883233235, -2.30910462725636));
#11290 = CARTESIAN_POINT ('', (-1.04768917560627, -0.566708864143109, -2.29988222107037));
#11300 = CARTESIAN_POINT ('', (-1.04999870524604, -0.594622900549386, -2.28940239622048));
#11310 = CARTESIAN_POINT ('', (-1.04724775972272, -0.621409787744066, -2.2785123079962));
#11320 = CARTESIAN_POINT ('', (-1.04436540447922, -0.649476255839556, -2.2671020119255));
#11330 = CARTESIAN_POINT ('', (-1.03580242274335, -0.677176363911599, -2.25488412276049));
#11340 = CARTESIAN_POINT ('', (-1.02230506439548, -0.701862829957839, -2.24328114162189));
#11350 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#11160, #11170, #11180, #11190, #11200, #11210, #11220, #11230, #11240, #11250, #11260, #11270, #11280, #11290, #11300, #11310, #11320, #11330, #11340), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 4), (0., 0.159201554123479, 0.318133388698892, 0.481178923742518, 0.650447953356741, 0.820976657452708, 1.), .UNSPECIFIED.);
#11360 = EDGE_CURVE ('', #10850, #11090, #11350, .T.);
#11370 = ORIENTED_EDGE ('', *, *, #11360, .F.);
#11380 = ORIENTED_EDGE ('', *, *, #10900, .F.);
#11390 = EDGE_LOOP ('', (#11070, #11150, #11370, #11380));
#11400 = FACE_OUTER_BOUND ('', #11390, .T.);
#11410 = CARTESIAN_POINT ('', (-1.02230506439548, -0.66599668032581, -2.18115914818734));
#11420 = CARTESIAN_POINT ('', (-1.02230506439551, -1.67844886144106, -3.93477776611293));
#11430 = CARTESIAN_POINT ('', (-1.08419803646566, -0.558056736600166, -2.24347830375365));
#11440 = CARTESIAN_POINT ('', (-1.08419803646569, -1.57050891771541, -3.99709692167924));
#11450 = CARTESIAN_POINT ('', (-1.01087534121548, -0.455626647191866, -2.30261634344665));
#11460 = CARTESIAN_POINT ('', (-1.01087534121551, -1.46807882830711, -4.05623496137224));
#11470 = CARTESIAN_POINT ('', (-0.937552645965306, -0.353196557783567, -2.36175438313965));
#11480 = CARTESIAN_POINT ('', (-0.937552645965338, -1.36564873889881, -4.11537300106524));
#11490 = CARTESIAN_POINT ('', (-0.798392850788419, -0.353196557783581, -2.36175438313964));
#11500 = CARTESIAN_POINT ('', (-0.798392850788451, -1.36564873889883, -4.11537300106523));
#11510 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#11410, #11420), (#11430, #11440), (#11450, #11460), (#11470, #11480), (#11490, #11500)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0.17439591267935, 0.337197956339675, 0.5), (0.121627231779931, 0.867456050217694), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.873755023578119, 0.873755023578119), (1., 1.), (0.873755023578119, 0.873755023578119), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#11520 = ADVANCED_FACE ('', (#11400), #11510, .T.);
#11530 = ORIENTED_EDGE ('', *, *, #2620, .T.);
#11540 = ORIENTED_EDGE ('', *, *, #5220, .T.);
#11550 = CARTESIAN_POINT ('', (0.217059450237495, -1.46666888477513, 0.00589839425182502));
#11560 = VERTEX_POINT ('', #11550);
#11570 = CARTESIAN_POINT ('', (9.4524321266171, 7.07728710363143, -4.12857767157654));
#11580 = DIRECTION ('', (0.500000000049494, -0.749999999954077, -0.43301270191461));
#11590 = DIRECTION ('', (-0.694874173669928, -0.645849487629831, 0.316272544010415));
#11600 = AXIS2_PLACEMENT_3D ('', #11570, #11580, #11590);
#11610 = CIRCLE ('', #11600, 13.2433071699669);
#11620 = EDGE_CURVE ('', #5170, #11560, #11610, .T.);
#11630 = ORIENTED_EDGE ('', *, *, #11620, .T.);
#11640 = CARTESIAN_POINT ('', (0.0200674343982201, -1.65005200256461, -0.75));
#11650 = VERTEX_POINT ('', #11640);
#11660 = CARTESIAN_POINT ('', (0.0200325531137841, -1.64999999993119, -0.74998493123563));
#11670 = CARTESIAN_POINT ('', (0.081750210030928, -1.64999869518319, -0.607124956296158));
#11680 = CARTESIAN_POINT ('', (0.134414329761137, -1.63099249771826, -0.457849223883622));
#11690 = CARTESIAN_POINT ('', (0.169477672700744, -1.59071462408086, -0.3116770771049));
#11700 = CARTESIAN_POINT ('', (0.195331920146157, -1.56101539906999, -0.203895829351264));
#11710 = CARTESIAN_POINT ('', (0.211945938676323, -1.51918540289158, -0.095999352381665));
#11720 = CARTESIAN_POINT ('', (0.217059450237503, -1.46666888477513, 0.00589839425182602));
#11730 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#11660, #11670, #11680, #11690, #11700, #11710, #11720), .UNSPECIFIED., .F., .U., (4, 3, 4), (0., 0.576598253343956, 1.), .UNSPECIFIED.);
#11740 = EDGE_CURVE ('', #11650, #11560, #11730, .T.);
#11750 = ORIENTED_EDGE ('', *, *, #11740, .F.);
#11760 = CARTESIAN_POINT ('', (-1.02230506439548, -0.701862829957839, -2.24328114162189));
#11770 = CARTESIAN_POINT ('', (-0.91738470337681, -0.893760597142377, -2.15308653178945));
#11780 = CARTESIAN_POINT ('', (-0.79925665305763, -1.06496089880578, -2.02661453644219));
#11790 = CARTESIAN_POINT ('', (-0.678501892452479, -1.20405724676335, -1.87816051451762));
#11800 = CARTESIAN_POINT ('', (-0.558057740033393, -1.34279580787998, -1.73008834945924));
#11810 = CARTESIAN_POINT ('', (-0.431685668909624, -1.45387152819573, -1.5562859727627));
#11820 = CARTESIAN_POINT ('', (-0.311931512883003, -1.52999404879946, -1.36775254806293));
#11830 = CARTESIAN_POINT ('', (-0.191567923697414, -1.60650395961777, -1.17825967005983));
#11840 = CARTESIAN_POINT ('', (-0.0740255478569409, -1.65000198837543, -0.967704440023395));
#11850 = CARTESIAN_POINT ('', (0.0200325531137851, -1.64999999993119, -0.74998493123563));
#11860 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#11760, #11770, #11780, #11790, #11800, #11810, #11820, #11830, #11840, #11850), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (0., 0.33336408081286, 0.66541458520467, 1.), .UNSPECIFIED.);
#11870 = EDGE_CURVE ('', #11090, #11650, #11860, .T.);
#11880 = ORIENTED_EDGE ('', *, *, #11870, .F.);
#11890 = ORIENTED_EDGE ('', *, *, #11140, .F.);
#11900 = EDGE_LOOP ('', (#11530, #11540, #11630, #11750, #11880, #11890));
#11910 = FACE_OUTER_BOUND ('', #11900, .T.);
#11920 = CARTESIAN_POINT ('', (0.250000000000017, -1.47589604682932, 0.0599167782846401));
#11930 = CARTESIAN_POINT ('', (0.25000000000001, -3.25809329607041, -3.0269394065105));
#11940 = CARTESIAN_POINT ('', (-0.522615171664167, -0.769505053490048, -0.347918251872905));
#11950 = CARTESIAN_POINT ('', (-0.522615171664177, -2.55170230273114, -3.43477443666804));
#11960 = CARTESIAN_POINT ('', (-1.02230506439548, 0.101942820115557, -0.851048916283816));
#11970 = CARTESIAN_POINT ('', (-1.02230506439549, -1.68025442912554, -3.93790510107895));
#11980 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#11920, #11930), (#11940, #11950), (#11960, #11970)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.129089497187922, 0.174395912679354), (0.153150687227326, 0.793901767310816), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.98896535348007, 0.98896535348007), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#11990 = ADVANCED_FACE ('', (#11910), #11980, .T.);
#12000 = CARTESIAN_POINT ('', (1.43530151880401, 1.330888068682, -3.43290761407941));
#12010 = DIRECTION ('', (0.499999999992038, -0.750000000018625, -0.433012701869155));
#12020 = DIRECTION ('', (-0.257821558410081, -0.606239472364167, 0.752330875457477));
#12030 = AXIS2_PLACEMENT_3D ('', #12000, #12010, #12020);
#12040 = CIRCLE ('', #12030, 4.5973716245544);
#12050 = EDGE_CURVE ('', #6170, #11560, #12040, .T.);
#12060 = ORIENTED_EDGE ('', *, *, #12050, .T.);
#12070 = ORIENTED_EDGE ('', *, *, #11620, .F.);
#12080 = ORIENTED_EDGE ('', *, *, #6290, .T.);
#12090 = EDGE_LOOP ('', (#12060, #12070, #12080));
#12100 = FACE_OUTER_BOUND ('', #12090, .T.);
#12110 = CARTESIAN_POINT ('', (0.244686969714845, -1.44825053845689, 0.00589839425182603));
#12120 = CARTESIAN_POINT ('', (0.259081213666781, -1.4698419043848, 0.0599167782846308));
#12130 = CARTESIAN_POINT ('', (0.217059450237493, -1.46666888477513, 0.00589839425182603));
#12140 = CARTESIAN_POINT ('', (0.231453694189428, -1.48826025070304, 0.0599167782846308));
#12150 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12110, #12120), (#12130, #12140)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (3.23697352936918, 3.270177675399), (-9.79719850682499, -9.73727049037945), .UNSPECIFIED.);
#12160 = ADVANCED_FACE ('', (#12100), #12150, .T.);
#12170 = ORIENTED_EDGE ('', *, *, #6230, .T.);
#12180 = CARTESIAN_POINT ('', (0.0200674343982201, -1.65005200256461, -0.75));
#12190 = DIRECTION ('', (0.22993256560178, 5.20025646100208E-5, 0.));
#12200 = VECTOR ('', #12190, 0.229932571482345);
#12210 = LINE ('', #12180, #12200);
#12220 = EDGE_CURVE ('', #11650, #6080, #12210, .T.);
#12230 = ORIENTED_EDGE ('', *, *, #12220, .F.);
#12240 = ORIENTED_EDGE ('', *, *, #11740, .T.);
#12250 = ORIENTED_EDGE ('', *, *, #12050, .F.);
#12260 = EDGE_LOOP ('', (#12170, #12230, #12240, #12250));
#12270 = FACE_OUTER_BOUND ('', #12260, .T.);
#12280 = CARTESIAN_POINT ('', (0.250000000000004, -1.45622008388468, 0.0258370107766879));
#12290 = CARTESIAN_POINT ('', (0.0200674343982201, -1.45622008388468, 0.0258370107766879));
#12300 = CARTESIAN_POINT ('', (0.250000000000004, -1.65, -0.337881401442559));
#12310 = CARTESIAN_POINT ('', (0.0200674343982201, -1.65, -0.337881401442559));
#12320 = CARTESIAN_POINT ('', (0.250000000000004, -1.65, -0.750000000000002));
#12330 = CARTESIAN_POINT ('', (0.0200674343982201, -1.65, -0.750000000000002));
#12340 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#12280, #12290), (#12300, #12310), (#12320, #12330)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.419972802394035, 0.5), (0.0869263317170281, 0.913073668282973), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.970195244937012, 0.970195244937012), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#12350 = ADVANCED_FACE ('', (#12270), #12340, .T.);
#12360 = ORIENTED_EDGE ('', *, *, #6140, .T.);
#12370 = ORIENTED_EDGE ('', *, *, #10630, .T.);
#12380 = ORIENTED_EDGE ('', *, *, #10960, .T.);
#12390 = ORIENTED_EDGE ('', *, *, #11360, .T.);
#12400 = ORIENTED_EDGE ('', *, *, #11870, .T.);
#12410 = ORIENTED_EDGE ('', *, *, #12220, .T.);
#12420 = EDGE_LOOP ('', (#12360, #12370, #12380, #12390, #12400, #12410));
#12430 = FACE_OUTER_BOUND ('', #12420, .T.);
#12440 = CARTESIAN_POINT ('', (0.250000000000001, -1.64999999405979, -0.749859990397108));
#12450 = CARTESIAN_POINT ('', (-1.04873358645527, -1.64999999405979, -0.749859990397107));
#12460 = CARTESIAN_POINT ('', (0.249999999999999, -1.65011463880074, -2.10093747346366));
#12470 = CARTESIAN_POINT ('', (-1.04873358645527, -1.65011463880074, -2.10093747346366));
#12480 = CARTESIAN_POINT ('', (0.249999999999999, -0.325604945509195, -2.36755414730387));
#12490 = CARTESIAN_POINT ('', (-1.04873358645527, -0.325604945509196, -2.36755414730387));
#12500 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#12440, #12450), (#12460, #12470), (#12480, #12490)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.499985, 0.716165672466921), (0.0839738668941842, 0.915856315622714), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.773709617422602, 0.773709617422602), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#12510 = ADVANCED_FACE ('', (#12430), #12500, .T.);
#12520 = ORIENTED_EDGE ('', *, *, #4900, .F.);
#12530 = ORIENTED_EDGE ('', *, *, #580, .T.);
#12540 = ORIENTED_EDGE ('', *, *, #1140, .T.);
#12550 = ORIENTED_EDGE ('', *, *, #1570, .F.);
#12560 = EDGE_LOOP ('', (#12520, #12530, #12540, #12550));
#12570 = FACE_OUTER_BOUND ('', #12560, .T.);
#12580 = CARTESIAN_POINT ('', (3.9390301532854, -3.98886684534731, -4.01477078587374));
#12590 = CARTESIAN_POINT ('', (4.351, -3.98886684534731, -4.01477078587374));
#12600 = CARTESIAN_POINT ('', (3.9390301532854, -0.31268144592623, -4.33639533334261));
#12610 = CARTESIAN_POINT ('', (4.351, -0.31268144592623, -4.33639533334261));
#12620 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12580, #12590), (#12600, #12610)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.0010833504408394, 3.68914447998525), (-0.410969846714599, 0.00100000000000033), .UNSPECIFIED.);
#12630 = ADVANCED_FACE ('', (#12570), #12620, .T.);
#12640 = CLOSED_SHELL ('', (#410, #990, #1260, #1670, #2350, #5150, #6380, #6710, #6950, #7410, #7820, #7990, #8190, #8520, #8760, #9150, #9560, #9750, #10180, #10350, #10490, #10820, #11060, #11520, #11990, #12160, #12350, #12510, #12630));
#12650 = MANIFOLD_SOLID_BREP ('NOCUT', #12640);
#12660 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#12670 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#12680 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#12690 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #12660, 'DISTANCE_ACCURACY_VALUE', '');
#12700 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#12690))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#12660, #12670, #12680))
   REPRESENTATION_CONTEXT ('', '3D')
);
#12710 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#12720 = FILL_AREA_STYLE_COLOUR ('', #12710);
#12730 = FILL_AREA_STYLE ('', (#12720));
#12740 = SURFACE_STYLE_FILL_AREA (#12730);
#12750 = SURFACE_SIDE_STYLE ('', (#12740));
#12760 = SURFACE_STYLE_USAGE (.POSITIVE., #12750);
#12770 = PRESENTATION_STYLE_ASSIGNMENT ((#12760));
#12780 = STYLED_ITEM ('', (#12770), #12650);
#12790 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#12650), #12700);
#12800 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#12810 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #12800);
#12820 = MECHANICAL_CONTEXT ('', #12800, 'mechanical');
#12830 = PRODUCT ('NONE', '', '', (#12820));
#12840 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#12850 = PERSON ('', '', $, $, $, $);
#12860 = ORGANIZATION ($, '', '');
#12870 = PERSON_AND_ORGANIZATION (#12850, #12860);
#12880 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#12870, #12840, (#12830));
#12890 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#12830));
#12900 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #12830, .NOT_KNOWN.);
#12910 = APPROVAL_STATUS ('approved');
#12920 = APPROVAL (#12910, '');
#12930 = CALENDAR_DATE (2016, 15, 12);
#12940 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#12950 = LOCAL_TIME (10, 25, 22., #12940);
#12960 = DATE_AND_TIME (#12930, #12950);
#12970 = APPROVAL_DATE_TIME (#12960, #12920);
#12980 = APPROVAL_ROLE ('');
#12990 = PERSON ('', '', $, $, $, $);
#13000 = ORGANIZATION ($, '', '');
#13010 = PERSON_AND_ORGANIZATION (#12990, #13000);
#13020 = APPROVAL_PERSON_ORGANIZATION (#13010, #12920, #12980);
#13030 = CC_DESIGN_APPROVAL (#12920, (#12900));
#13040 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#13050 = PERSON ('', '', $, $, $, $);
#13060 = ORGANIZATION ($, '', '');
#13070 = PERSON_AND_ORGANIZATION (#13050, #13060);
#13080 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13070, #13040, (#12900));
#13090 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#13100 = PERSON ('', '', $, $, $, $);
#13110 = ORGANIZATION ($, '', '');
#13120 = PERSON_AND_ORGANIZATION (#13100, #13110);
#13130 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13120, #13090, (#12900));
#13140 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#13150 = SECURITY_CLASSIFICATION ('', '', #13140);
#13160 = APPROVAL_STATUS ('approved');
#13170 = APPROVAL (#13160, '');
#13180 = CALENDAR_DATE (2016, 15, 12);
#13190 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13200 = LOCAL_TIME (10, 25, 22., #13190);
#13210 = DATE_AND_TIME (#13180, #13200);
#13220 = APPROVAL_DATE_TIME (#13210, #13170);
#13230 = APPROVAL_ROLE ('');
#13240 = PERSON ('', '', $, $, $, $);
#13250 = ORGANIZATION ($, '', '');
#13260 = PERSON_AND_ORGANIZATION (#13240, #13250);
#13270 = APPROVAL_PERSON_ORGANIZATION (#13260, #13170, #13230);
#13280 = CC_DESIGN_APPROVAL (#13170, (#13150));
#13290 = DATE_TIME_ROLE ('classification_date');
#13300 = CALENDAR_DATE (2016, 15, 12);
#13310 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13320 = LOCAL_TIME (10, 25, 22., #13310);
#13330 = DATE_AND_TIME (#13300, #13320);
#13340 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#13330, #13290, (#13150));
#13350 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#13360 = PERSON ('', '', $, $, $, $);
#13370 = ORGANIZATION ($, '', '');
#13380 = PERSON_AND_ORGANIZATION (#13360, #13370);
#13390 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13380, #13350, (#13150));
#13400 = CC_DESIGN_SECURITY_CLASSIFICATION (#13150, (#12900));
#13410 = DESIGN_CONTEXT ('', #12800, 'design');
#13420 = PRODUCT_DEFINITION ('', '', #12900, #13410);
#13430 = APPROVAL_STATUS ('approved');
#13440 = APPROVAL (#13430, '');
#13450 = CALENDAR_DATE (2016, 15, 12);
#13460 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13470 = LOCAL_TIME (10, 25, 22., #13460);
#13480 = DATE_AND_TIME (#13450, #13470);
#13490 = APPROVAL_DATE_TIME (#13480, #13440);
#13500 = APPROVAL_ROLE ('');
#13510 = PERSON ('', '', $, $, $, $);
#13520 = ORGANIZATION ($, '', '');
#13530 = PERSON_AND_ORGANIZATION (#13510, #13520);
#13540 = APPROVAL_PERSON_ORGANIZATION (#13530, #13440, #13500);
#13550 = CC_DESIGN_APPROVAL (#13440, (#13420));
#13560 = DATE_TIME_ROLE ('creation_date');
#13570 = CALENDAR_DATE (2016, 15, 12);
#13580 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13590 = LOCAL_TIME (10, 25, 22., #13580);
#13600 = DATE_AND_TIME (#13570, #13590);
#13610 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#13600, #13560, (#13420));
#13620 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#13630 = PERSON ('', '', $, $, $, $);
#13640 = ORGANIZATION ($, '', '');
#13650 = PERSON_AND_ORGANIZATION (#13630, #13640);
#13660 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13650, #13620, (#13420));
#13670 = PRODUCT_DEFINITION_SHAPE ('', '', #13420);
#13680 = SHAPE_DEFINITION_REPRESENTATION (#13670, #12790);
#13690 = CARTESIAN_POINT ('', (4.3591196809482, -6.94934897555512, -2.40961188827746));
#13700 = VERTEX_POINT ('', #13690);
#13710 = CARTESIAN_POINT ('', (4.51101572174241, -7.47744179316508, -0.567933368455826));
#13720 = VERTEX_POINT ('', #13710);
#13730 = CARTESIAN_POINT ('', (4.3591196809482, -6.94934897555512, -2.40961188827746));
#13740 = DIRECTION ('', (0.15189604079421, -0.52809281760996, 1.84167851982163));
#13750 = VECTOR ('', #13740, 1.92190899930059);
#13760 = LINE ('', #13730, #13750);
#13770 = EDGE_CURVE ('', #13700, #13720, #13760, .T.);
#13780 = ORIENTED_EDGE ('', *, *, #13770, .F.);
#13790 = CARTESIAN_POINT ('', (4.20163708964796, -5.35, -3.66067695258256));
#13800 = VERTEX_POINT ('', #13790);
#13810 = CARTESIAN_POINT ('', (4.3591196809482, -6.94934897555512, -2.40961188827746));
#13820 = CARTESIAN_POINT ('', (4.2733236046226, -6.30429584071574, -3.23281080044198));
#13830 = CARTESIAN_POINT ('', (4.20163708964796, -5.35, -3.66067695258256));
#13840 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#13810, #13820, #13830), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (276.039345287251, 303.807875069059), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.970782418669028, 1.))
   REPRESENTATION_ITEM ('')
);
#13850 = EDGE_CURVE ('', #13700, #13800, #13840, .T.);
#13860 = ORIENTED_EDGE ('', *, *, #13850, .T.);
#13870 = CARTESIAN_POINT ('', (4.35000000000001, -5.35, -1.53898848676304));
#13880 = VERTEX_POINT ('', #13870);
#13890 = CARTESIAN_POINT ('', (4.20163708964796, -5.35, -3.66067695258256));
#13900 = DIRECTION ('', (0.14836291035205, 0., 2.12168846581952));
#13910 = VECTOR ('', #13900, 2.12686941281305);
#13920 = LINE ('', #13890, #13910);
#13930 = EDGE_CURVE ('', #13800, #13880, #13920, .T.);
#13940 = ORIENTED_EDGE ('', *, *, #13930, .T.);
#13950 = CARTESIAN_POINT ('', (4.35, -5.45, -1.6015790114344));
#13960 = VERTEX_POINT ('', #13950);
#13970 = CARTESIAN_POINT ('', (4.35, -5.45, -1.6015790114344));
#13980 = DIRECTION ('', (1.06581410364015E-14, 0.100000000000001, 0.0625905246713601));
#13990 = VECTOR ('', #13980, 0.117972767105956);
#14000 = LINE ('', #13970, #13990);
#14010 = EDGE_CURVE ('', #13960, #13880, #14000, .T.);
#14020 = ORIENTED_EDGE ('', *, *, #14010, .F.);
#14030 = CARTESIAN_POINT ('', (4.43781748511439, -5.53781748511439, -0.400695889995772));
#14040 = VERTEX_POINT ('', #14030);
#14050 = CARTESIAN_POINT ('', (4.35, -5.45, -1.6015790114344));
#14060 = DIRECTION ('', (0.0878174851143907, -0.0878174851143898, 1.20088312143863));
#14070 = VECTOR ('', #14060, 1.20728790797383);
#14080 = LINE ('', #14050, #14070);
#14090 = EDGE_CURVE ('', #13960, #14040, #14080, .T.);
#14100 = ORIENTED_EDGE ('', *, *, #14090, .T.);
#14110 = CARTESIAN_POINT ('', (4.5552767599168, -7.54961330643174, 0.0198564378350638));
#14120 = VERTEX_POINT ('', #14110);
#14130 = CARTESIAN_POINT ('', (4.43781748511439, -5.53781748511439, -0.400695889995772));
#14140 = CARTESIAN_POINT ('', (4.4713871668182, -6.2279952046685, -0.352612931437516));
#14150 = CARTESIAN_POINT ('', (4.50875332234998, -6.90485998654543, -0.241905230171873));
#14160 = CARTESIAN_POINT ('', (4.55527675991716, -7.5496133064305, 0.0198564378409738));
#14170 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#14130, #14140, #14150, #14160), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#14180 = EDGE_CURVE ('', #14040, #14120, #14170, .T.);
#14190 = ORIENTED_EDGE ('', *, *, #14180, .T.);
#14200 = CARTESIAN_POINT ('', (4.51101572174241, -7.47744179316508, -0.567933368455826));
#14210 = DIRECTION ('', (0.0442610381743895, -0.0721715132666603, 0.58778980629089));
#14220 = VECTOR ('', #14210, 0.593855725919146);
#14230 = LINE ('', #14200, #14220);
#14240 = EDGE_CURVE ('', #13720, #14120, #14230, .T.);
#14250 = ORIENTED_EDGE ('', *, *, #14240, .F.);
#14260 = EDGE_LOOP ('', (#13780, #13860, #13940, #14020, #14100, #14190, #14250));
#14270 = FACE_OUTER_BOUND ('', #14260, .T.);
#14280 = CARTESIAN_POINT ('', (4.20156263713185, -5.34999999999999, -3.66174167316741));
#14290 = CARTESIAN_POINT ('', (4.29736588635432, -7.54961330643174, -3.66844088895936));
#14300 = CARTESIAN_POINT ('', (4.45954796321044, -5.34999999999999, 0.027620374211882));
#14310 = CARTESIAN_POINT ('', (4.55535121243291, -7.54961330643174, 0.0209211584199324));
#14320 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14280, #14290), (#14300, #14310)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (17.874868504047, 21.5732395975306), (-2.5023817129083, -0.300672867514479), .UNSPECIFIED.);
#14330 = ADVANCED_FACE ('', (#14270), #14320, .T.);
#14340 = CARTESIAN_POINT ('', (3.57677391181828, -7.47821243553291, -0.565245819131221));
#14350 = VERTEX_POINT ('', #14340);
#14360 = CARTESIAN_POINT ('', (3.72429148338684, -6.94934897555512, -2.40961188827745));
#14370 = VERTEX_POINT ('', #14360);
#14380 = CARTESIAN_POINT ('', (3.57677391181828, -7.47821243553291, -0.565245819131221));
#14390 = DIRECTION ('', (0.14751757156856, 0.52886345997779, -1.84436606914623));
#14400 = VECTOR ('', #14390, 1.92435552594604);
#14410 = LINE ('', #14380, #14400);
#14420 = EDGE_CURVE ('', #14350, #14370, #14410, .T.);
#14430 = ORIENTED_EDGE ('', *, *, #14420, .T.);
#14440 = CARTESIAN_POINT ('', (4.3591196809482, -6.94934897555512, -2.40961188827746));
#14450 = DIRECTION ('', (-0.63482819756136, 0., 9.76996261670138E-15));
#14460 = VECTOR ('', #14450, 0.63482819756136);
#14470 = LINE ('', #14440, #14460);
#14480 = EDGE_CURVE ('', #13700, #14370, #14470, .T.);
#14490 = ORIENTED_EDGE ('', *, *, #14480, .F.);
#14500 = ORIENTED_EDGE ('', *, *, #13770, .T.);
#14510 = CARTESIAN_POINT ('', (4.48532208378928, -7.56860771954855, -0.25));
#14520 = VERTEX_POINT ('', #14510);
#14530 = CARTESIAN_POINT ('', (4.48532208378928, -7.56860771954855, -0.249999999999996));
#14540 = CARTESIAN_POINT ('', (4.50660356445586, -7.56860771954855, -0.249999999999991));
#14550 = CARTESIAN_POINT ('', (4.51418417831651, -7.54171025619898, -0.343802602187969));
#14560 = CARTESIAN_POINT ('', (4.52176479217716, -7.51481279284941, -0.437605204375947));
#14570 = CARTESIAN_POINT ('', (4.51101572174242, -7.47744179316509, -0.567933368455829));
#14580 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#14530, #14540, #14550, #14560, #14570), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (179.323674716707, 225.320856170605, 271.318037624504), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.920514463774533, 1., 0.920514463774533, 1.))
   REPRESENTATION_ITEM ('')
);
#14590 = EDGE_CURVE ('', #14520, #13720, #14580, .T.);
#14600 = ORIENTED_EDGE ('', *, *, #14590, .F.);
#14610 = CARTESIAN_POINT ('', (3.60301898080688, -7.56860771954855, -0.25));
#14620 = VERTEX_POINT ('', #14610);
#14630 = CARTESIAN_POINT ('', (4.48532208378928, -7.56860771954855, -0.25));
#14640 = DIRECTION ('', (-0.8823031029824, 0., 0.));
#14650 = VECTOR ('', #14640, 0.8823031029824);
#14660 = LINE ('', #14630, #14650);
#14670 = EDGE_CURVE ('', #14520, #14620, #14660, .T.);
#14680 = ORIENTED_EDGE ('', *, *, #14670, .T.);
#14690 = CARTESIAN_POINT ('', (3.57677391181828, -7.47821243553292, -0.565245819131222));
#14700 = CARTESIAN_POINT ('', (3.56641049235451, -7.51536620519259, -0.435675226176947));
#14710 = CARTESIAN_POINT ('', (3.57413947530172, -7.54198696237057, -0.342837613088463));
#14720 = CARTESIAN_POINT ('', (3.58186845824893, -7.56860771954856, -0.249999999999978));
#14730 = CARTESIAN_POINT ('', (3.60301898080688, -7.56860771954855, -0.249999999999996));
#14740 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#14690, #14700, #14710, #14720, #14730), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (89.1740616063187, 134.92053262829, 180.667003650261), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.92136707592363, 1., 0.92136707592363, 1.))
   REPRESENTATION_ITEM ('')
);
#14750 = EDGE_CURVE ('', #14350, #14620, #14740, .T.);
#14760 = ORIENTED_EDGE ('', *, *, #14750, .F.);
#14770 = EDGE_LOOP ('', (#14430, #14490, #14500, #14600, #14680, #14760));
#14780 = FACE_OUTER_BOUND ('', #14770, .T.);
#14790 = CARTESIAN_POINT ('', (3.57089018213403, -7.5689486551326, -0.248811016319782));
#14800 = CARTESIAN_POINT ('', (4.51726768152534, -7.5689486551326, -0.248811016319782));
#14810 = CARTESIAN_POINT ('', (3.57089018213403, -6.94900803997108, -2.41080087195766));
#14820 = CARTESIAN_POINT ('', (4.51726768152534, -6.94900803997108, -2.41080087195766));
#14830 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14790, #14800), (#14810, #14820)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00123689905177926, 2.24787992810681), (-6.67910981786597, -5.73273231847466), .UNSPECIFIED.);
#14840 = ADVANCED_FACE ('', (#14780), #14830, .T.);
#14850 = ORIENTED_EDGE ('', *, *, #14670, .F.);
#14860 = CARTESIAN_POINT ('', (4.50735185631664, -7.60452920006141, 0.0425569815024697));
#14870 = VERTEX_POINT ('', #14860);
#14880 = CARTESIAN_POINT ('', (4.50735185631664, -7.60452920006141, 0.0425569815024697));
#14890 = DIRECTION ('', (-0.0220297725273593, 0.0359214805128607, -0.29255698150247));
#14900 = VECTOR ('', #14890, 0.295576134127367);
#14910 = LINE ('', #14880, #14900);
#14920 = EDGE_CURVE ('', #14870, #14520, #14910, .T.);
#14930 = ORIENTED_EDGE ('', *, *, #14920, .F.);
#14940 = CARTESIAN_POINT ('', (3.58111881820961, -7.60481973738819, 0.0449232181420978));
#14950 = VERTEX_POINT ('', #14940);
#14960 = CARTESIAN_POINT ('', (-36.6098917569995, 1917.3254224962, -15677.255273965));
#14970 = DIRECTION ('', (-2.72757006325626E-11, 0.992546153009219, 0.121869332264521));
#14980 = DIRECTION ('', (0.00254452637183737, -0.121868937735343, 0.992542939827191));
#14990 = AXIS2_PLACEMENT_3D ('', #14960, #14970, #14980);
#15000 = CIRCLE ('', #14990, 15795.0850971857);
#15010 = EDGE_CURVE ('', #14950, #14870, #15000, .T.);
#15020 = ORIENTED_EDGE ('', *, *, #15010, .F.);
#15030 = CARTESIAN_POINT ('', (3.60301898080688, -7.56860771954855, -0.25));
#15040 = DIRECTION ('', (-0.0219001625972703, -0.0362120178396399, 0.294923218142098));
#15050 = VECTOR ('', #15040, 0.297944008090609);
#15060 = LINE ('', #15030, #15050);
#15070 = EDGE_CURVE ('', #14620, #14950, #15060, .T.);
#15080 = ORIENTED_EDGE ('', *, *, #15070, .F.);
#15090 = EDGE_LOOP ('', (#14850, #14930, #15020, #15080));
#15100 = FACE_OUTER_BOUND ('', #15090, .T.);
#15110 = CARTESIAN_POINT ('', (3.58111881820961, -7.6048197373882, 0.0449232181420968));
#15120 = CARTESIAN_POINT ('', (4.50735185631664, -7.6048197373882, 0.0449232181420968));
#15130 = CARTESIAN_POINT ('', (3.58111881820961, -7.56860771954855, -0.25));
#15140 = CARTESIAN_POINT ('', (4.50735185631664, -7.56860771954855, -0.25));
#15150 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15110, #15120), (#15130, #15140)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.206616872695318, 0.503754912729424), (-6.66888118179039, -5.74264814368336), .UNSPECIFIED.);
#15160 = ADVANCED_FACE ('', (#15100), #15150, .T.);
#15170 = CARTESIAN_POINT ('', (3.53306931450338, -7.55047818473041, 0.0233114772103158));
#15180 = VERTEX_POINT ('', #15170);
#15190 = CARTESIAN_POINT ('', (3.58111881820956, -7.60481973738819, 0.0449232181420938));
#15200 = CARTESIAN_POINT ('', (3.5761530459876, -7.6048212773595, 0.0449357602018527));
#15210 = CARTESIAN_POINT ('', (3.5711161272593, -7.60401461877014, 0.0446205953282748));
#15220 = CARTESIAN_POINT ('', (3.56176074716021, -7.60092961854882, 0.0433941927719967));
#15230 = CARTESIAN_POINT ('', (3.55731745957, -7.59861696144111, 0.0424694890534387));
#15240 = CARTESIAN_POINT ('', (3.5494200852647, -7.59282902000091, 0.0401539010498968));
#15250 = CARTESIAN_POINT ('', (3.54589433926098, -7.58925772104921, 0.0387247308841228));
#15260 = CARTESIAN_POINT ('', (3.53984641072793, -7.58102102937681, 0.0354343838950307));
#15270 = CARTESIAN_POINT ('', (3.53738849152541, -7.5761818702575, 0.0335044611882088));
#15280 = CARTESIAN_POINT ('', (3.53384757876839, -7.5655461258187, 0.0292745671285808));
#15290 = CARTESIAN_POINT ('', (3.53292841832523, -7.55957064794129, 0.0269049600117358));
#15300 = CARTESIAN_POINT ('', (3.53296076911375, -7.55366901369918, 0.0245720931799508));
#15310 = CARTESIAN_POINT ('', (3.53296660187582, -7.55260496456911, 0.0241514834265998));
#15320 = CARTESIAN_POINT ('', (3.53300286114195, -7.55154060864284, 0.0237309846810497));
#15330 = CARTESIAN_POINT ('', (3.53306931450338, -7.55047818473041, 0.0233114772103158));
#15340 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#15190, #15200, #15210, #15220, #15230, #15240, #15250, #15260, #15270, #15280, #15290, #15300, #15310, #15320, #15330), .UNSPECIFIED., .F., .U., (4, 2, 2, 2, 2, 3, 4), (0., 0.176619854220486, 0.352919098395161, 0.533971495785543, 0.734104182760058, 0.959761578389117, 1.), .UNSPECIFIED.);
#15350 = EDGE_CURVE ('', #14950, #15180, #15340, .T.);
#15360 = ORIENTED_EDGE ('', *, *, #15350, .T.);
#15370 = CARTESIAN_POINT ('', (3.53306931450338, -7.55047818473041, 0.0233114772103158));
#15380 = DIRECTION ('', (0.0437045973149002, 0.0722657491974994, -0.588557296341537));
#15390 = VECTOR ('', #15380, 0.594585672052727);
#15400 = LINE ('', #15370, #15390);
#15410 = EDGE_CURVE ('', #15180, #14350, #15400, .T.);
#15420 = ORIENTED_EDGE ('', *, *, #15410, .T.);
#15430 = ORIENTED_EDGE ('', *, *, #14750, .T.);
#15440 = ORIENTED_EDGE ('', *, *, #15070, .T.);
#15450 = EDGE_LOOP ('', (#15360, #15420, #15430, #15440));
#15460 = FACE_OUTER_BOUND ('', #15450, .T.);
#15470 = CARTESIAN_POINT ('', (3.57677391181829, -7.47821243553291, -0.565245819131222));
#15480 = CARTESIAN_POINT ('', (3.53125091422995, -7.55348491780136, 0.0477993529565924));
#15490 = CARTESIAN_POINT ('', (3.57622580501293, -7.49913772710136, -0.567855822726679));
#15500 = CARTESIAN_POINT ('', (3.53070280742459, -7.57441020936981, 0.0451893493611351));
#15510 = CARTESIAN_POINT ('', (3.59090713565696, -7.51426552274013, -0.568623088453406));
#15520 = CARTESIAN_POINT ('', (3.54538413806862, -7.58953800500858, 0.0444220836344085));
#15530 = CARTESIAN_POINT ('', (3.605588466301, -7.52939331837891, -0.569390354180133));
#15540 = CARTESIAN_POINT ('', (3.56006546871265, -7.60466580064735, 0.0436548179076818));
#15550 = CARTESIAN_POINT ('', (3.62662596111624, -7.52958050510635, -0.567851153059108));
#15560 = CARTESIAN_POINT ('', (3.58110296352789, -7.6048529873748, 0.0451940190287069));
#15570 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#15470, #15480), (#15490, #15500), (#15510, #15520), (#15530, #15540), (#15550, #15560)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0.245418239474497, 0.372716619737247, 0.500014999999999), (0.0874729094299057, 0.910759801768475), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.921358830135152, 0.921358830135152), (1., 1.), (0.921358830135152, 0.921358830135152), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#15580 = ADVANCED_FACE ('', (#15460), #15570, .T.);
#15590 = CARTESIAN_POINT ('', (3.93531911957743, -4.1, -4.00353896119724));
#15600 = VERTEX_POINT ('', #15590);
#15610 = CARTESIAN_POINT ('', (4.35, -4.1, -4.00353896119724));
#15620 = VERTEX_POINT ('', #15610);
#15630 = CARTESIAN_POINT ('', (3.93531911957743, -4.1, -4.00353896119724));
#15640 = DIRECTION ('', (0.41468088042257, 0., 0.));
#15650 = VECTOR ('', #15640, 0.41468088042257);
#15660 = LINE ('', #15630, #15650);
#15670 = EDGE_CURVE ('', #15600, #15620, #15660, .T.);
#15680 = ORIENTED_EDGE ('', *, *, #15670, .T.);
#15690 = CARTESIAN_POINT ('', (4.35, -5.35, -3.66067695258256));
#15700 = VERTEX_POINT ('', #15690);
#15710 = CARTESIAN_POINT ('', (4.35, -3.61903469355954, 0.200000000000105));
#15720 = DIRECTION ('', (-1., 0., 0.));
#15730 = DIRECTION ('', (0., -0.113677440396006, -0.993517709728927));
#15740 = AXIS2_PLACEMENT_3D ('', #15710, #15720, #15730);
#15750 = CIRCLE ('', #15740, 4.23096530644053);
#15760 = EDGE_CURVE ('', #15620, #15700, #15750, .T.);
#15770 = ORIENTED_EDGE ('', *, *, #15760, .T.);
#15780 = CARTESIAN_POINT ('', (4.20163708964796, -5.35, -3.66067695258256));
#15790 = DIRECTION ('', (0.14836291035204, 0., 0.));
#15800 = VECTOR ('', #15790, 0.14836291035204);
#15810 = LINE ('', #15780, #15800);
#15820 = EDGE_CURVE ('', #13800, #15700, #15810, .T.);
#15830 = ORIENTED_EDGE ('', *, *, #15820, .F.);
#15840 = ORIENTED_EDGE ('', *, *, #13850, .F.);
#15850 = ORIENTED_EDGE ('', *, *, #14480, .T.);
#15860 = CARTESIAN_POINT ('', (3.93531911957743, -4.1, -4.00353896119724));
#15870 = CARTESIAN_POINT ('', (3.8598552052443, -5.8579750833958, -3.80239296671376));
#15880 = CARTESIAN_POINT ('', (3.72429148338685, -6.94934897555513, -2.40961188827746));
#15890 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#15860, #15870, #15880), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (213.089772042088, 258.441132897849), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.994664495253822, 0.920105123813463, 1.))
   REPRESENTATION_ITEM ('')
);
#15900 = EDGE_CURVE ('', #15600, #14370, #15890, .T.);
#15910 = ORIENTED_EDGE ('', *, *, #15900, .F.);
#15920 = EDGE_LOOP ('', (#15680, #15770, #15830, #15840, #15850, #15910));
#15930 = FACE_OUTER_BOUND ('', #15920, .T.);
#15940 = CARTESIAN_POINT ('', (3.72429148338684, -6.94934897555512, -2.40961188827746));
#15950 = CARTESIAN_POINT ('', (4.35911968094822, -6.94934897555512, -2.40961188827746));
#15960 = CARTESIAN_POINT ('', (3.72429148338684, -5.85797508339579, -3.80239296671376));
#15970 = CARTESIAN_POINT ('', (4.35911968094822, -5.85797508339579, -3.80239296671376));
#15980 = CARTESIAN_POINT ('', (3.72429148338684, -4.1, -4.00353896119724));
#15990 = CARTESIAN_POINT ('', (4.35911968094822, -4.1, -4.00353896119724));
#16000 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#15940, #15950), (#15960, #15970), (#15980, #15990)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.106759320433844, 0.230304343382371), (0.0846419018554631, 0.915358098144537), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.922569602766974, 0.922569602766974), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#16010 = ADVANCED_FACE ('', (#15930), #16000, .T.);
#16020 = CARTESIAN_POINT ('', (4.35, -5.45, -0.404953467408004));
#16030 = VERTEX_POINT ('', #16020);
#16040 = CARTESIAN_POINT ('', (4.35, -5.45, -1.6015790114344));
#16050 = DIRECTION ('', (0., 0., 1.1966255440264));
#16060 = VECTOR ('', #16050, 1.1966255440264);
#16070 = LINE ('', #16040, #16060);
#16080 = EDGE_CURVE ('', #13960, #16030, #16070, .T.);
#16090 = ORIENTED_EDGE ('', *, *, #16080, .T.);
#16100 = CARTESIAN_POINT ('', (4.43781748510199, -5.53781748510199, -0.400695889996411));
#16110 = CARTESIAN_POINT ('', (4.40854721097762, -5.50854721097762, -0.402203916411169));
#16120 = CARTESIAN_POINT ('', (4.37927482700552, -5.47927482700551, -0.403633980426987));
#16130 = CARTESIAN_POINT ('', (4.35, -5.45, -0.404953467408004));
#16140 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#16100, #16110, #16120, #16130), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#16150 = EDGE_CURVE ('', #14040, #16030, #16140, .T.);
#16160 = ORIENTED_EDGE ('', *, *, #16150, .F.);
#16170 = ORIENTED_EDGE ('', *, *, #14090, .F.);
#16180 = EDGE_LOOP ('', (#16090, #16160, #16170));
#16190 = FACE_OUTER_BOUND ('', #16180, .T.);
#16200 = CARTESIAN_POINT ('', (4.43781748511439, -5.53781748511439, -1.6025790114344));
#16210 = CARTESIAN_POINT ('', (4.43781748511439, -5.53781748511439, -0.399695889995772));
#16220 = CARTESIAN_POINT ('', (4.35, -5.45, -1.6025790114344));
#16230 = CARTESIAN_POINT ('', (4.35, -5.45, -0.399695889995772));
#16240 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16200, #16210), (#16220, #16230)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.565685424949247, -0.441492746486979), (-1.8025790114344, -0.599695889995772), .UNSPECIFIED.);
#16250 = ADVANCED_FACE ('', (#16190), #16240, .T.);
#16260 = ORIENTED_EDGE ('', *, *, #13930, .F.);
#16270 = ORIENTED_EDGE ('', *, *, #15820, .T.);
#16280 = CARTESIAN_POINT ('', (4.35000000000001, -5.35, -1.53898848676304));
#16290 = DIRECTION ('', (-1.06581410364015E-14, 0., -2.12168846581952));
#16300 = VECTOR ('', #16290, 2.12168846581952);
#16310 = LINE ('', #16280, #16300);
#16320 = EDGE_CURVE ('', #13880, #15700, #16310, .T.);
#16330 = ORIENTED_EDGE ('', *, *, #16320, .F.);
#16340 = EDGE_LOOP ('', (#16260, #16270, #16330));
#16350 = FACE_OUTER_BOUND ('', #16340, .T.);
#16360 = CARTESIAN_POINT ('', (4.20063708964796, -5.35, -3.66167695258256));
#16370 = CARTESIAN_POINT ('', (4.20063708964796, -5.35, -1.53798848676304));
#16380 = CARTESIAN_POINT ('', (4.35100000000001, -5.35, -3.66167695258256));
#16390 = CARTESIAN_POINT ('', (4.35100000000001, -5.35, -1.53798848676304));
#16400 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16360, #16370), (#16380, #16390)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (1.4643222263075, 1.61468513665955), (7.08832304741744, 9.21201151323696), .UNSPECIFIED.);
#16410 = ADVANCED_FACE ('', (#16350), #16400, .T.);
#16420 = ORIENTED_EDGE ('', *, *, #14590, .T.);
#16430 = ORIENTED_EDGE ('', *, *, #14240, .T.);
#16440 = CARTESIAN_POINT ('', (4.55527675991644, -7.54961330643299, 0.0198564378291329));
#16450 = CARTESIAN_POINT ('', (4.55574985120861, -7.55616972610409, 0.0225182610355708));
#16460 = CARTESIAN_POINT ('', (4.55506011374132, -7.5628880026408, 0.0252620043098649));
#16470 = CARTESIAN_POINT ('', (4.55130540867206, -7.57556223596265, 0.0304662953303108));
#16480 = CARTESIAN_POINT ('', (4.54815733056001, -7.58171623890103, 0.0330083186055708));
#16490 = CARTESIAN_POINT ('', (4.54003415230476, -7.59172746817148, 0.0371635838218659));
#16500 = CARTESIAN_POINT ('', (4.5351138788002, -7.59590135844864, 0.0389058030092458));
#16510 = CARTESIAN_POINT ('', (4.52482240257007, -7.60147809059749, 0.0412455941221868));
#16520 = CARTESIAN_POINT ('', (4.51946488565356, -7.6032697520297, 0.0420036975027898));
#16530 = CARTESIAN_POINT ('', (4.51402539257219, -7.60405187833201, 0.0423421817679758));
#16540 = CARTESIAN_POINT ('', (4.51182094075787, -7.60436884899828, 0.0424793585676037));
#16550 = CARTESIAN_POINT ('', (4.50958319267268, -7.60452849211213, 0.0425512157183397));
#16560 = CARTESIAN_POINT ('', (4.50735185631664, -7.60452920006141, 0.0425569815024697));
#16570 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#16440, #16450, #16460, #16470, #16480, #16490, #16500, #16510, #16520, #16530, #16540, #16550, #16560), .UNSPECIFIED., .F., .U., (4, 2, 2, 2, 3, 4), (0., 0.24997014405393, 0.501358319336711, 0.728639223732864, 0.922580782639121, 1.), .UNSPECIFIED.);
#16580 = EDGE_CURVE ('', #14120, #14870, #16570, .T.);
#16590 = ORIENTED_EDGE ('', *, *, #16580, .T.);
#16600 = ORIENTED_EDGE ('', *, *, #14920, .T.);
#16610 = EDGE_LOOP ('', (#16420, #16430, #16590, #16600));
#16620 = FACE_OUTER_BOUND ('', #16610, .T.);
#16630 = CARTESIAN_POINT ('', (4.46118499222611, -7.52925007011543, -0.570542331574192));
#16640 = CARTESIAN_POINT ('', (4.50736949203964, -7.60455795665793, 0.0427911851865479));
#16650 = CARTESIAN_POINT ('', (4.48234825502136, -7.52905730548399, -0.572112273511676));
#16660 = CARTESIAN_POINT ('', (4.52853275483489, -7.60436519202649, 0.0412212432490643));
#16670 = CARTESIAN_POINT ('', (4.49705024154228, -7.51377186622153, -0.571342528798409));
#16680 = CARTESIAN_POINT ('', (4.54323474135581, -7.58907975276403, 0.0419909879623305));
#16690 = CARTESIAN_POINT ('', (4.5117522280632, -7.49848642695907, -0.570572784085143));
#16700 = CARTESIAN_POINT ('', (4.55793672787672, -7.57379431350157, 0.0427607326755969));
#16710 = CARTESIAN_POINT ('', (4.51101572174235, -7.47744179316314, -0.567933368455585));
#16720 = CARTESIAN_POINT ('', (4.55720022155588, -7.55274967970564, 0.0454001483051549));
#16730 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#16630, #16640), (#16650, #16660), (#16670, #16680), (#16690, #16700), (#16710, #16720)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0.499999999999998, 0.628054924676611, 0.756109849353227), (0.0874527211854675, 0.91066042797865), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.920514463770734, 0.920514463770734), (1., 1.), (0.920514463770734, 0.920514463770734), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#16740 = ADVANCED_FACE ('', (#16620), #16730, .T.);
#16750 = CARTESIAN_POINT ('', (4.34999999999995, -4.1, -0.280523422198561));
#16760 = VERTEX_POINT ('', #16750);
#16770 = CARTESIAN_POINT ('', (3.67312802221966, -4.10075513429934, -0.256692557987726));
#16780 = VERTEX_POINT ('', #16770);
#16790 = CARTESIAN_POINT ('', (-13.9552497150837, -4.10000000585447, -553.282437411994));
#16800 = DIRECTION ('', (3.44228248111391E-13, -1., 1.0575311907018E-11));
#16810 = DIRECTION ('', (0.033083482728857, 1.05809111634129E-11, 0.999452591757373));
#16820 = AXIS2_PLACEMENT_3D ('', #16790, #16800, #16810);
#16830 = CIRCLE ('', #16820, 553.304797608914);
#16840 = EDGE_CURVE ('', #16760, #16780, #16830, .T.);
#16850 = ORIENTED_EDGE ('', *, *, #16840, .T.);
#16860 = CARTESIAN_POINT ('', (3.53306931450338, -7.55047818473041, 0.0233114772103158));
#16870 = CARTESIAN_POINT ('', (3.57489568183414, -6.88177863572093, -0.240730449185441));
#16880 = CARTESIAN_POINT ('', (3.60681224561872, -6.17630955054485, -0.344790749694102));
#16890 = CARTESIAN_POINT ('', (3.64911030473437, -5.10247458387058, -0.413376636410706));
#16900 = CARTESIAN_POINT ('', (3.66255530589536, -4.73853478099397, -0.423894703210774));
#16910 = CARTESIAN_POINT ('', (3.6712746376251, -4.29141081867749, -0.325357662717603));
#16920 = CARTESIAN_POINT ('', (3.6725428876002, -4.1944769238076, -0.295105078707309));
#16930 = CARTESIAN_POINT ('', (3.67312802221966, -4.10075513429934, -0.256692557987726));
#16940 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#16860, #16870, #16880, #16890, #16900, #16910, #16920, #16930), .UNSPECIFIED., .F., .U., (4, 2, 2, 4), (0., 0.5, 0.75, 0.820642877354092), .UNSPECIFIED.);
#16950 = EDGE_CURVE ('', #15180, #16780, #16940, .T.);
#16960 = ORIENTED_EDGE ('', *, *, #16950, .F.);
#16970 = ORIENTED_EDGE ('', *, *, #15350, .F.);
#16980 = ORIENTED_EDGE ('', *, *, #15010, .T.);
#16990 = ORIENTED_EDGE ('', *, *, #16580, .F.);
#17000 = ORIENTED_EDGE ('', *, *, #14180, .F.);
#17010 = ORIENTED_EDGE ('', *, *, #16150, .T.);
#17020 = CARTESIAN_POINT ('', (4.34999999999995, -4.1, -0.280523422198561));
#17030 = CARTESIAN_POINT ('', (4.34999999999995, -4.10216381719951, -0.281347109535753));
#17040 = CARTESIAN_POINT ('', (4.34999999999995, -4.5197572292462, -0.439356045634215));
#17050 = CARTESIAN_POINT ('', (4.34999999999995, -4.99110947568284, -0.434508209160218));
#17060 = CARTESIAN_POINT ('', (4.34999999999995, -5.44999999999996, -0.404953467408006));
#17070 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#17020, #17030, #17040, #17050, #17060), .UNSPECIFIED., .F., .U., (4, 1, 4), (0.726997072327323, 0.728412625716861, 1.), .UNSPECIFIED.);
#17080 = EDGE_CURVE ('', #16760, #16030, #17070, .T.);
#17090 = ORIENTED_EDGE ('', *, *, #17080, .F.);
#17100 = EDGE_LOOP ('', (#16850, #16960, #16970, #16980, #16990, #17000, #17010, #17090));
#17110 = FACE_OUTER_BOUND ('', #17100, .T.);
#17120 = CARTESIAN_POINT ('', (3.53294459371949, -4.08175024917508, -0.246529203083858));
#17130 = CARTESIAN_POINT ('', (4.55551330556256, -4.10459034551255, -0.289073961472375));
#17140 = CARTESIAN_POINT ('', (3.53294459371949, -4.08388939242797, -0.247429669714982));
#17150 = CARTESIAN_POINT ('', (4.55551330556256, -4.10676036893051, -0.28987833657398));
#17160 = CARTESIAN_POINT ('', (3.53294459371949, -4.56824902789343, -0.450095723867555));
#17170 = CARTESIAN_POINT ('', (4.55551330556256, -4.59804109889224, -0.470890880814174));
#17180 = CARTESIAN_POINT ('', (3.53294459371949, -5.14021199690383, -0.412211443647338));
#17190 = CARTESIAN_POINT ('', (4.55551330556256, -5.16231158508694, -0.431739559889395));
#17200 = CARTESIAN_POINT ('', (3.53294459371949, -5.90391707448029, -0.357445775607768));
#17210 = CARTESIAN_POINT ('', (4.55551330556256, -5.92007556823515, -0.374213738278088));
#17220 = CARTESIAN_POINT ('', (3.53294459371949, -6.13186074219646, -0.340473095564474));
#17230 = CARTESIAN_POINT ('', (4.55551330556256, -6.14687414347854, -0.356193382417519));
#17240 = CARTESIAN_POINT ('', (3.53294459371949, -6.78035565744583, -0.242991266349681));
#17250 = CARTESIAN_POINT ('', (4.55551330556256, -6.79105742854056, -0.253454128430739));
#17260 = CARTESIAN_POINT ('', (3.53294459371949, -7.20552672816088, -0.116654281195443));
#17270 = CARTESIAN_POINT ('', (4.55551330556256, -7.21184830031786, -0.121191164308403));
#17280 = CARTESIAN_POINT ('', (3.53294459371949, -7.604714069007, 0.044995982263479));
#17290 = CARTESIAN_POINT ('', (4.55551330556256, -7.60709615511626, 0.0435078692361576));
#17300 = B_SPLINE_SURFACE_WITH_KNOTS ('', 3, 1, ((#17120, #17130), (#17140, #17150), (#17160, #17170), (#17180, #17190), (#17200, #17210), (#17220, #17230), (#17240, #17250), (#17260, #17270), (#17280, #17290)), .UNSPECIFIED., .F., .F., .U., (4, 1, 1, 1, 1, 1, 4), (2, 2), (0.523472122176953, 0.524398722531769, 0.733114087730674, 0.733836290363432, 0.821981958975837, 0.824235863649003, 0.994326857298214), (0.728129545376518, 0.998348750329749), .UNSPECIFIED.);
#17310 = ADVANCED_FACE ('', (#17110), #17300, .T.);
#17320 = CARTESIAN_POINT ('', (3.93531911957742, -4.1, -4.00353896119725));
#17330 = DIRECTION ('', (-0.26203564772934, 0., 3.7450016011636));
#17340 = VECTOR ('', #17330, 3.75415765164423);
#17350 = LINE ('', #17320, #17340);
#17360 = EDGE_CURVE ('', #15600, #16780, #17350, .T.);
#17370 = ORIENTED_EDGE ('', *, *, #17360, .F.);
#17380 = ORIENTED_EDGE ('', *, *, #15900, .T.);
#17390 = ORIENTED_EDGE ('', *, *, #14420, .F.);
#17400 = ORIENTED_EDGE ('', *, *, #15410, .F.);
#17410 = ORIENTED_EDGE ('', *, *, #16950, .T.);
#17420 = EDGE_LOOP ('', (#17370, #17380, #17390, #17400, #17410));
#17430 = FACE_OUTER_BOUND ('', #17420, .T.);
#17440 = CARTESIAN_POINT ('', (3.65297563980654, -4.1, 0.0317012550966314));
#17450 = CARTESIAN_POINT ('', (3.53306931450338, -7.55047818473041, 0.0233114772103156));
#17460 = CARTESIAN_POINT ('', (3.93531911957742, -4.1, -4.00353896119724));
#17470 = CARTESIAN_POINT ('', (3.81541279427426, -7.55047818473041, -4.01192873908356));
#17480 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17440, #17450), (#17460, #17470)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.793605866844834, 3.25149999626488), (4.10248695986977, 7.55505812039943), .UNSPECIFIED.);
#17490 = ADVANCED_FACE ('', (#17430), #17480, .T.);
#17500 = CARTESIAN_POINT ('', (4.35, -4.1, -0.280523422198561));
#17510 = DIRECTION ('', (0., 0., -3.72301553899868));
#17520 = VECTOR ('', #17510, 3.72301553899868);
#17530 = LINE ('', #17500, #17520);
#17540 = EDGE_CURVE ('', #16760, #15620, #17530, .T.);
#17550 = ORIENTED_EDGE ('', *, *, #17540, .F.);
#17560 = ORIENTED_EDGE ('', *, *, #17080, .T.);
#17570 = ORIENTED_EDGE ('', *, *, #16080, .F.);
#17580 = ORIENTED_EDGE ('', *, *, #14010, .T.);
#17590 = ORIENTED_EDGE ('', *, *, #16320, .T.);
#17600 = ORIENTED_EDGE ('', *, *, #15760, .F.);
#17610 = EDGE_LOOP ('', (#17550, #17560, #17570, #17580, #17590, #17600));
#17620 = FACE_OUTER_BOUND ('', #17610, .T.);
#17630 = CARTESIAN_POINT ('', (4.35, -5.451, -4.00353896119724));
#17640 = CARTESIAN_POINT ('', (4.35, -5.451, -0.280523422198561));
#17650 = CARTESIAN_POINT ('', (4.35, -4.1, -4.00353896119724));
#17660 = CARTESIAN_POINT ('', (4.35, -4.1, -0.280523422198561));
#17670 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17630, #17640), (#17650, #17660)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-5.451, -4.1), (-3.25353896119724, 0.46947657780144), .UNSPECIFIED.);
#17680 = ADVANCED_FACE ('', (#17620), #17670, .T.);
#17690 = ORIENTED_EDGE ('', *, *, #15670, .F.);
#17700 = ORIENTED_EDGE ('', *, *, #17360, .T.);
#17710 = ORIENTED_EDGE ('', *, *, #16840, .F.);
#17720 = ORIENTED_EDGE ('', *, *, #17540, .T.);
#17730 = EDGE_LOOP ('', (#17690, #17700, #17710, #17720));
#17740 = FACE_OUTER_BOUND ('', #17730, .T.);
#17750 = CARTESIAN_POINT ('', (3.67312802221966, -4.1, -4.00353896119725));
#17760 = CARTESIAN_POINT ('', (4.34999999999999, -4.1, -4.00353896119725));
#17770 = CARTESIAN_POINT ('', (3.67312802221966, -4.1, -0.256692557987726));
#17780 = CARTESIAN_POINT ('', (4.34999999999999, -4.1, -0.256692557987726));
#17790 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17750, #17760), (#17770, #17780)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (12.9772001176182, 16.7240465208277), (17.8413042695772, 18.5181762473576), .UNSPECIFIED.);
#17800 = ADVANCED_FACE ('', (#17740), #17790, .T.);
#17810 = CLOSED_SHELL ('', (#14330, #14840, #15160, #15580, #16010, #16250, #16410, #16740, #17310, #17490, #17680, #17800));
#17820 = MANIFOLD_SOLID_BREP ('CUT', #17810);
#17830 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#17840 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#17850 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#17860 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #17830, 'DISTANCE_ACCURACY_VALUE', '');
#17870 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#17860))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#17830, #17840, #17850))
   REPRESENTATION_CONTEXT ('', '3D')
);
#17880 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#17890 = FILL_AREA_STYLE_COLOUR ('', #17880);
#17900 = FILL_AREA_STYLE ('', (#17890));
#17910 = SURFACE_STYLE_FILL_AREA (#17900);
#17920 = SURFACE_SIDE_STYLE ('', (#17910));
#17930 = SURFACE_STYLE_USAGE (.POSITIVE., #17920);
#17940 = PRESENTATION_STYLE_ASSIGNMENT ((#17930));
#17950 = STYLED_ITEM ('', (#17940), #17820);
#17960 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#17820), #17870);
#17970 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#17980 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #17970);
#17990 = MECHANICAL_CONTEXT ('', #17970, 'mechanical');
#18000 = PRODUCT ('NONE', '', '', (#17990));
#18010 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#18020 = PERSON ('', '', $, $, $, $);
#18030 = ORGANIZATION ($, '', '');
#18040 = PERSON_AND_ORGANIZATION (#18020, #18030);
#18050 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18040, #18010, (#18000));
#18060 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#18000));
#18070 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #18000, .NOT_KNOWN.);
#18080 = APPROVAL_STATUS ('approved');
#18090 = APPROVAL (#18080, '');
#18100 = CALENDAR_DATE (2016, 15, 12);
#18110 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18120 = LOCAL_TIME (10, 25, 22., #18110);
#18130 = DATE_AND_TIME (#18100, #18120);
#18140 = APPROVAL_DATE_TIME (#18130, #18090);
#18150 = APPROVAL_ROLE ('');
#18160 = PERSON ('', '', $, $, $, $);
#18170 = ORGANIZATION ($, '', '');
#18180 = PERSON_AND_ORGANIZATION (#18160, #18170);
#18190 = APPROVAL_PERSON_ORGANIZATION (#18180, #18090, #18150);
#18200 = CC_DESIGN_APPROVAL (#18090, (#18070));
#18210 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#18220 = PERSON ('', '', $, $, $, $);
#18230 = ORGANIZATION ($, '', '');
#18240 = PERSON_AND_ORGANIZATION (#18220, #18230);
#18250 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18240, #18210, (#18070));
#18260 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#18270 = PERSON ('', '', $, $, $, $);
#18280 = ORGANIZATION ($, '', '');
#18290 = PERSON_AND_ORGANIZATION (#18270, #18280);
#18300 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18290, #18260, (#18070));
#18310 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#18320 = SECURITY_CLASSIFICATION ('', '', #18310);
#18330 = APPROVAL_STATUS ('approved');
#18340 = APPROVAL (#18330, '');
#18350 = CALENDAR_DATE (2016, 15, 12);
#18360 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18370 = LOCAL_TIME (10, 25, 22., #18360);
#18380 = DATE_AND_TIME (#18350, #18370);
#18390 = APPROVAL_DATE_TIME (#18380, #18340);
#18400 = APPROVAL_ROLE ('');
#18410 = PERSON ('', '', $, $, $, $);
#18420 = ORGANIZATION ($, '', '');
#18430 = PERSON_AND_ORGANIZATION (#18410, #18420);
#18440 = APPROVAL_PERSON_ORGANIZATION (#18430, #18340, #18400);
#18450 = CC_DESIGN_APPROVAL (#18340, (#18320));
#18460 = DATE_TIME_ROLE ('classification_date');
#18470 = CALENDAR_DATE (2016, 15, 12);
#18480 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18490 = LOCAL_TIME (10, 25, 22., #18480);
#18500 = DATE_AND_TIME (#18470, #18490);
#18510 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#18500, #18460, (#18320));
#18520 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#18530 = PERSON ('', '', $, $, $, $);
#18540 = ORGANIZATION ($, '', '');
#18550 = PERSON_AND_ORGANIZATION (#18530, #18540);
#18560 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18550, #18520, (#18320));
#18570 = CC_DESIGN_SECURITY_CLASSIFICATION (#18320, (#18070));
#18580 = DESIGN_CONTEXT ('', #17970, 'design');
#18590 = PRODUCT_DEFINITION ('', '', #18070, #18580);
#18600 = APPROVAL_STATUS ('approved');
#18610 = APPROVAL (#18600, '');
#18620 = CALENDAR_DATE (2016, 15, 12);
#18630 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18640 = LOCAL_TIME (10, 25, 22., #18630);
#18650 = DATE_AND_TIME (#18620, #18640);
#18660 = APPROVAL_DATE_TIME (#18650, #18610);
#18670 = APPROVAL_ROLE ('');
#18680 = PERSON ('', '', $, $, $, $);
#18690 = ORGANIZATION ($, '', '');
#18700 = PERSON_AND_ORGANIZATION (#18680, #18690);
#18710 = APPROVAL_PERSON_ORGANIZATION (#18700, #18610, #18670);
#18720 = CC_DESIGN_APPROVAL (#18610, (#18590));
#18730 = DATE_TIME_ROLE ('creation_date');
#18740 = CALENDAR_DATE (2016, 15, 12);
#18750 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18760 = LOCAL_TIME (10, 25, 22., #18750);
#18770 = DATE_AND_TIME (#18740, #18760);
#18780 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#18770, #18730, (#18590));
#18790 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#18800 = PERSON ('', '', $, $, $, $);
#18810 = ORGANIZATION ($, '', '');
#18820 = PERSON_AND_ORGANIZATION (#18800, #18810);
#18830 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18820, #18790, (#18590));
#18840 = PRODUCT_DEFINITION_SHAPE ('', '', #18590);
#18850 = SHAPE_DEFINITION_REPRESENTATION (#18840, #17960);
ENDSEC;
END-ISO-10303-21;