ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('SIM117B-303502WL_mirrored.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 ('', (1.93488901006249, 4.11, -4.00238271605221));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (4.35, 4.11, -4.00238271605221));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (1.93488901006249, 4.11, -4.00238271605221));
#60 = DIRECTION ('', (2.41511098993751, 0., 0.));
#70 = VECTOR ('', #60, 2.41511098993751);
#80 = LINE ('', #50, #70);
#90 = EDGE_CURVE ('', #20, #40, #80, .T.);
#100 = ORIENTED_EDGE ('', *, *, #90, .T.);
#110 = CARTESIAN_POINT ('', (4.34999999999995, 4.11, -0.284294987433754));
#120 = VERTEX_POINT ('', #110);
#130 = CARTESIAN_POINT ('', (4.35, 4.11, -0.284294987433755));
#140 = DIRECTION ('', (0., 0., -3.71808772861846));
#150 = VECTOR ('', #140, 3.71808772861846);
#160 = LINE ('', #130, #150);
#170 = EDGE_CURVE ('', #120, #40, #160, .T.);
#180 = ORIENTED_EDGE ('', *, *, #170, .F.);
#190 = CARTESIAN_POINT ('', (1.66900253676706, 4.11013013945542, -0.202410241215566));
#200 = VERTEX_POINT ('', #190);
#210 = CARTESIAN_POINT ('', (4.34999999999995, 4.11, -0.284294987433754));
#220 = CARTESIAN_POINT ('', (3.45640934205154, 4.11, -0.2550056177247));
#230 = CARTESIAN_POINT ('', (2.56274286669204, 4.11, -0.227877145119899));
#240 = CARTESIAN_POINT ('', (1.66902702544519, 4.11, -0.202695281506191));
#250 = CARTESIAN_POINT ('', (1.66901619367046, 4.11, -0.202694976303731));
#260 = CARTESIAN_POINT ('', (1.66900536189572, 4.11, -0.202694671101555));
#270 = CARTESIAN_POINT ('', (1.66899453012098, 4.11, -0.202694365899664));
#280 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#210, #220, #230, #240, #250, #260, #270), .UNSPECIFIED., .F., .U., (4, 3, 4), (0.200119528057771, 2.88233114915623, 2.8823636573772), .UNSPECIFIED.);
#290 = EDGE_CURVE ('', #120, #200, #280, .T.);
#300 = ORIENTED_EDGE ('', *, *, #290, .T.);
#310 = CARTESIAN_POINT ('', (1.93488901006249, 4.11, -4.00238271605222));
#320 = DIRECTION ('', (-0.2658619846173, 0., 3.79968743454603));
#330 = VECTOR ('', #320, 3.80897718490301);
#340 = LINE ('', #310, #330);
#350 = EDGE_CURVE ('', #20, #200, #340, .T.);
#360 = ORIENTED_EDGE ('', *, *, #350, .F.);
#370 = EDGE_LOOP ('', (#100, #180, #300, #360));
#380 = FACE_OUTER_BOUND ('', #370, .F.);
#390 = CARTESIAN_POINT ('', (1.66900253676706, 4.11, -4.00238271605222));
#400 = CARTESIAN_POINT ('', (1.66900253676706, 4.11, -0.202410241215567));
#410 = CARTESIAN_POINT ('', (4.35, 4.11, -4.00238271605222));
#420 = CARTESIAN_POINT ('', (4.35, 4.11, -0.202410241215567));
#430 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#390, #400), (#410, #420)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (15.8413103995823, 18.5223078628152), (12.9792217387338, 16.7791942135704), .UNSPECIFIED.);
#440 = ADVANCED_FACE ('', (#380), #430, .F.);
#450 = ORIENTED_EDGE ('', *, *, #170, .T.);
#460 = CARTESIAN_POINT ('', (4.35, 3.98778761738197, -4.01486520608607));
#470 = VERTEX_POINT ('', #460);
#480 = CARTESIAN_POINT ('', (4.3499999999948, 3.61903469356115, 0.19999999998626));
#490 = DIRECTION ('', (1., -1.15137535711578E-13, 1.22393368959858E-12));
#500 = DIRECTION ('', (1.22931114983705E-12, 0.0871557427475733, -0.996194698091753));
#510 = AXIS2_PLACEMENT_3D ('', #480, #490, #500);
#520 = CIRCLE ('', #510, 4.23096530642659);
#530 = EDGE_CURVE ('', #470, #40, #520, .T.);
#540 = ORIENTED_EDGE ('', *, *, #530, .F.);
#550 = CARTESIAN_POINT ('', (4.35, 0.31376067389157, -4.33630091313028));
#560 = VERTEX_POINT ('', #550);
#570 = CARTESIAN_POINT ('', (4.35, 0.31376067389157, -4.33630091313028));
#580 = DIRECTION ('', (0., 3.6740269434904, 0.32143570704421));
#590 = VECTOR ('', #580, 3.68806112954441);
#600 = LINE ('', #570, #590);
#610 = EDGE_CURVE ('', #560, #470, #600, .T.);
#620 = ORIENTED_EDGE ('', *, *, #610, .F.);
#630 = CARTESIAN_POINT ('', (4.35, -3.6, -0.750000000000001));
#640 = VERTEX_POINT ('', #630);
#650 = CARTESIAN_POINT ('', (4.35, -1.64313007644523E-14, -0.750000000000011));
#660 = DIRECTION ('', (1., 4.93432455388961E-16, 1.93612543184707E-16));
#670 = DIRECTION ('', (4.93432455388961E-16, -1., 3.14563190310462E-15));
#680 = AXIS2_PLACEMENT_3D ('', #650, #660, #670);
#690 = CIRCLE ('', #680, 3.59999999999998);
#700 = EDGE_CURVE ('', #640, #560, #690, .T.);
#710 = ORIENTED_EDGE ('', *, *, #700, .F.);
#720 = CARTESIAN_POINT ('', (4.35, 1.76660430249422, 2.38673544284641));
#730 = VERTEX_POINT ('', #720);
#740 = CARTESIAN_POINT ('', (4.35, -4.44089209850063E-16, -0.749999999999996));
#750 = DIRECTION ('', (1., 0., 0.));
#760 = DIRECTION ('', (0., 0.490723417359506, 0.871315400790671));
#770 = AXIS2_PLACEMENT_3D ('', #740, #750, #760);
#780 = CIRCLE ('', #770, 3.6);
#790 = EDGE_CURVE ('', #730, #640, #780, .T.);
#800 = ORIENTED_EDGE ('', *, *, #790, .F.);
#810 = CARTESIAN_POINT ('', (4.34999999999995, 1.76660430249067, 2.38673544284942));
#820 = CARTESIAN_POINT ('', (4.34999999999995, 1.97541226396454, 2.21058061150422));
#830 = CARTESIAN_POINT ('', (4.34999999999995, 2.31168885610261, 1.89401249416207));
#840 = CARTESIAN_POINT ('', (4.34999999999995, 2.72636580091697, 1.36634738027921));
#850 = CARTESIAN_POINT ('', (4.34999999999995, 2.99851249786647, 0.9207864712021));
#860 = CARTESIAN_POINT ('', (4.34999999999995, 3.20784559786489, 0.50906838078189));
#870 = CARTESIAN_POINT ('', (4.34999999999995, 3.41083739505537, 0.186665002395301));
#880 = CARTESIAN_POINT ('', (4.34999999999995, 3.67363260696153, -0.0572803160550253));
#890 = CARTESIAN_POINT ('', (4.34999999999995, 3.91865019591372, -0.204834194198233));
#900 = CARTESIAN_POINT ('', (4.34999999999995, 4.05596558836779, -0.264039835977274));
#910 = CARTESIAN_POINT ('', (4.34999999999995, 4.10883151712719, -0.283858368564512));
#920 = CARTESIAN_POINT ('', (4.34999999999995, 4.11, -0.284294987433754));
#930 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#810, #820, #830, #840, #850, #860, #870, #880, #890, #900, #910, #920), .UNSPECIFIED., .F., .U., (4, 1, 1, 1, 1, 1, 1, 1, 1, 4), (0., 0.165143305551088, 0.279214524691094, 0.406487791382043, 0.480628869551234, 0.557097699800198, 0.638014605870076, 0.694649676288963, 0.728412625716862, 0.729175467745962), .UNSPECIFIED.);
#940 = EDGE_CURVE ('', #730, #120, #930, .T.);
#950 = ORIENTED_EDGE ('', *, *, #940, .T.);
#960 = EDGE_LOOP ('', (#450, #540, #620, #710, #800, #950));
#970 = FACE_OUTER_BOUND ('', #960, .F.);
#980 = CARTESIAN_POINT ('', (4.35, 4.11, -4.35140010178178));
#990 = CARTESIAN_POINT ('', (4.35, 4.11, 2.8511652865639));
#1000 = CARTESIAN_POINT ('', (4.35, -3.601, -4.35140010178178));
#1010 = CARTESIAN_POINT ('', (4.35, -3.601, 2.8511652865639));
#1020 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#980, #990), (#1000, #1010)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-4.11, 3.601), (-3.60140010178178, 3.6011652865639), .UNSPECIFIED.);
#1030 = ADVANCED_FACE ('', (#970), #1020, .F.);
#1040 = ORIENTED_EDGE ('', *, *, #90, .F.);
#1050 = CARTESIAN_POINT ('', (1.9400301532854, 3.98778761738197, -4.01486520608607));
#1060 = VERTEX_POINT ('', #1050);
#1070 = CARTESIAN_POINT ('', (1.6592110831848, 3.60857019812099, 0.187850341812646));
#1080 = DIRECTION ('', (0.996956361193473, 0.0348144832822456, 0.0697564737473135));
#1090 = DIRECTION ('', (0.066401250506318, 0.0896680942775275, -0.993755758121599));
#1100 = AXIS2_PLACEMENT_3D ('', #1070, #1080, #1090);
#1110 = CIRCLE ('', #1100, 4.22912321726861);
#1120 = EDGE_CURVE ('', #1060, #20, #1110, .T.);
#1130 = ORIENTED_EDGE ('', *, *, #1120, .F.);
#1140 = CARTESIAN_POINT ('', (4.35, 3.98778761738197, -4.01486520608607));
#1150 = DIRECTION ('', (-2.4099698467146, 0., 0.));
#1160 = VECTOR ('', #1150, 2.4099698467146);
#1170 = LINE ('', #1140, #1160);
#1180 = EDGE_CURVE ('', #470, #1060, #1170, .T.);
#1190 = ORIENTED_EDGE ('', *, *, #1180, .F.);
#1200 = ORIENTED_EDGE ('', *, *, #530, .T.);
#1210 = EDGE_LOOP ('', (#1040, #1130, #1190, #1200));
#1220 = FACE_OUTER_BOUND ('', #1210, .F.);
#1230 = CARTESIAN_POINT ('', (1.93488901006899, 4.1100000000004, -4.00238271605564));
#1240 = CARTESIAN_POINT ('', (4.35000000000649, 4.11000000000001, -4.00238271605269));
#1250 = CARTESIAN_POINT ('', (1.93488901006899, 4.04898442707778, -4.00951117899719));
#1260 = CARTESIAN_POINT ('', (4.35000000000649, 4.04898442707738, -4.00951117899424));
#1270 = CARTESIAN_POINT ('', (1.93488901006899, 3.98778761738249, -4.01486520608949));
#1280 = CARTESIAN_POINT ('', (4.35000000000649, 3.9877876173821, -4.01486520608654));
#1290 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#1230, #1240), (#1250, #1260), (#1270, #1280)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.22990179150538, 0.234837734483197), (0.150205825213081, 0.913468480503217), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.999894611910925, 0.999894611910925), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#1300 = ADVANCED_FACE ('', (#1220), #1290, .F.);
#1310 = ORIENTED_EDGE ('', *, *, #350, .T.);
#1320 = CARTESIAN_POINT ('', (1.64774885612098, 3.39035471244622, 0.4605762775605));
#1330 = VERTEX_POINT ('', #1320);
#1340 = CARTESIAN_POINT ('', (1.66900253676706, 4.11013013945542, -0.202410241215566));
#1350 = CARTESIAN_POINT ('', (1.66988697943798, 3.81106802490687, -0.0657929248719068));
#1360 = CARTESIAN_POINT ('', (1.66170084616678, 3.56254336449261, 0.175238113125641));
#1370 = CARTESIAN_POINT ('', (1.64774885612095, 3.39035471244656, 0.4605762775607));
#1380 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#1340, #1350, #1360, #1370), .UNSPECIFIED., .F., .U., (4, 4), (0.771236242735933, 1.), .UNSPECIFIED.);
#1390 = EDGE_CURVE ('', #200, #1330, #1380, .T.);
#1400 = ORIENTED_EDGE ('', *, *, #1390, .T.);
#1410 = CARTESIAN_POINT ('', (1.72513122004885, 3.6, -0.75));
#1420 = VERTEX_POINT ('', #1410);
#1430 = CARTESIAN_POINT ('', (1.72513122004885, 3.6, -0.750000000000001));
#1440 = CARTESIAN_POINT ('', (1.68150939657549, 3.6, -0.126558875981152));
#1450 = CARTESIAN_POINT ('', (1.64774885612096, 3.39035471244641, 0.460576277560567));
#1460 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1430, #1440, #1450), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (296.523143705158, 316.173000495708), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.985333750031374, 1.))
   REPRESENTATION_ITEM ('')
);
#1470 = EDGE_CURVE ('', #1420, #1330, #1460, .T.);
#1480 = ORIENTED_EDGE ('', *, *, #1470, .F.);
#1490 = CARTESIAN_POINT ('', (2.09082067623541, 0.31376067389157, -4.33630091313028));
#1500 = VERTEX_POINT ('', #1490);
#1510 = CARTESIAN_POINT ('', (2.09082067623541, 0.313760673891568, -4.33630091313028));
#1520 = CARTESIAN_POINT ('', (1.95594584974543, 3.6, -4.04879222646272));
#1530 = CARTESIAN_POINT ('', (1.72513122004885, 3.6, -0.750000000000001));
#1540 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1510, #1520, #1530), .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 ('')
);
#1550 = EDGE_CURVE ('', #1500, #1420, #1540, .T.);
#1560 = ORIENTED_EDGE ('', *, *, #1550, .F.);
#1570 = CARTESIAN_POINT ('', (2.09082067623541, 0.31376067389157, -4.33630091313028));
#1580 = DIRECTION ('', (-0.15079052295001, 3.6740269434904, 0.32143570704421));
#1590 = VECTOR ('', #1580, 3.69114246231);
#1600 = LINE ('', #1570, #1590);
#1610 = EDGE_CURVE ('', #1500, #1060, #1600, .T.);
#1620 = ORIENTED_EDGE ('', *, *, #1610, .T.);
#1630 = ORIENTED_EDGE ('', *, *, #1120, .T.);
#1640 = EDGE_LOOP ('', (#1310, #1400, #1480, #1560, #1620, #1630));
#1650 = FACE_OUTER_BOUND ('', #1640, .F.);
#1660 = CARTESIAN_POINT ('', (1.75466246805024, 0.313760673891569, 0.468056962627502));
#1670 = CARTESIAN_POINT ('', (1.6227361993599, 4.11013013945542, 0.458826156088448));
#1680 = CARTESIAN_POINT ('', (2.09089517665938, 0.313760673891569, -4.33736566981311));
#1690 = CARTESIAN_POINT ('', (1.95896890796904, 4.11013013945542, -4.34659647635216));
#1700 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1660, #1670), (#1680, #1690)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.22179972513194, 3.59537155173907), (0.313950993453686, 4.11262324402038), .UNSPECIFIED.);
#1710 = ADVANCED_FACE ('', (#1650), #1700, .F.);
#1720 = ORIENTED_EDGE ('', *, *, #290, .F.);
#1730 = ORIENTED_EDGE ('', *, *, #940, .F.);
#1740 = CARTESIAN_POINT ('', (4.35, 1.76660430249422, 2.38673544284642));
#1750 = CARTESIAN_POINT ('', (4.24033453543469, 1.84531782005077, 2.34240411771125));
#1760 = CARTESIAN_POINT ('', (4.09473080747526, 1.95645233930113, 2.27761258669297));
#1770 = CARTESIAN_POINT ('', (3.7850655967752, 2.18415179998085, 2.11316663068309));
#1780 = CARTESIAN_POINT ('', (3.69509706777573, 2.2471883549761, 2.06340562084714));
#1790 = CARTESIAN_POINT ('', (3.54166642557792, 2.35059231128254, 1.97762316908546));
#1800 = CARTESIAN_POINT ('', (3.50962666394225, 2.37191635267162, 1.95896682219884));
#1810 = CARTESIAN_POINT ('', (3.10147037963995, 2.61972198686428, 1.73371117321421));
#1820 = CARTESIAN_POINT ('', (2.71366430974818, 2.77843185677978, 1.54443727275645));
#1830 = CARTESIAN_POINT ('', (2.24727593769091, 2.91887978480648, 1.35859329399196));
#1840 = CARTESIAN_POINT ('', (2.02627528884661, 2.97549903848824, 1.27801105089288));
#1850 = CARTESIAN_POINT ('', (1.73772763206311, 3.04097002517268, 1.17720158865099));
#1860 = CARTESIAN_POINT ('', (1.64145297591606, 3.06184324753293, 1.14378519595208));
#1870 = CARTESIAN_POINT ('', (1.44880817268165, 3.1021412813312, 1.07758135443514));
#1880 = CARTESIAN_POINT ('', (1.38585261001745, 3.11546953712697, 1.05484020399245));
#1890 = CARTESIAN_POINT ('', (1.19602574941247, 3.15929327924513, 0.97620052414736));
#1900 = CARTESIAN_POINT ('', (1.14227701643317, 3.17283770201645, 0.95108548811186));
#1910 = CARTESIAN_POINT ('', (1.05383332491927, 3.1980472225883, 0.90320671968422));
#1920 = CARTESIAN_POINT ('', (1.04006641963887, 3.20075720445952, 0.89835999801787));
#1930 = CARTESIAN_POINT ('', (0.947874170506003, 3.24019441653956, 0.81942529872729));
#1940 = CARTESIAN_POINT ('', (0.929822344328309, 3.25847275507539, 0.78092218890436));
#1950 = CARTESIAN_POINT ('', (0.949807288750401, 3.2924970703265, 0.70630263261523));
#1960 = CARTESIAN_POINT ('', (1.02579454087802, 3.31656074870287, 0.65024209500494));
#1970 = CARTESIAN_POINT ('', (1.16644747818147, 3.34740388290404, 0.5762776400501));
#1980 = CARTESIAN_POINT ('', (1.36438872077562, 3.36991110150857, 0.51783090411103));
#1990 = CARTESIAN_POINT ('', (1.64774885612115, 3.39035471244618, 0.46057627756132));
#2000 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#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), .UNSPECIFIED., .F., .U., (4, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 4), (0., 0.125, 0.1875, 0.25, 0.5, 0.625, 0.6875, 0.75, 0.78125, 0.8125, 0.84375, 0.875, 1.), .UNSPECIFIED.);
#2010 = EDGE_CURVE ('', #730, #1330, #2000, .T.);
#2020 = ORIENTED_EDGE ('', *, *, #2010, .T.);
#2030 = ORIENTED_EDGE ('', *, *, #1390, .F.);
#2040 = EDGE_LOOP ('', (#1720, #1730, #2020, #2030));
#2050 = FACE_OUTER_BOUND ('', #2040, .F.);
#2060 = CARTESIAN_POINT ('', (0.937009511449094, 2.00167255431786, 2.87538131858277));
#2070 = CARTESIAN_POINT ('', (4.35, 1.76660430249067, 2.38673544284942));
#2080 = CARTESIAN_POINT ('', (0.937009511449094, 2.20399915646478, 2.68226623282129));
#2090 = CARTESIAN_POINT ('', (4.35, 1.97541226396453, 2.21058061150421));
#2100 = CARTESIAN_POINT ('', (0.937009511449094, 2.51251818031402, 2.31650376427452));
#2110 = CARTESIAN_POINT ('', (4.35, 2.3116888561026, 1.89401249416206));
#2120 = CARTESIAN_POINT ('', (0.937009511449094, 2.8638808878653, 1.7201155885048));
#2130 = CARTESIAN_POINT ('', (4.35, 2.72636580091697, 1.3663473802792));
#2140 = CARTESIAN_POINT ('', (0.937009511449094, 3.06665030546442, 1.23261499040885));
#2150 = CARTESIAN_POINT ('', (4.35, 2.99851249786647, 0.920786471202098));
#2160 = CARTESIAN_POINT ('', (0.937009511449094, 3.2447137068342, 0.800212355596864));
#2170 = CARTESIAN_POINT ('', (4.35, 3.20784559786489, 0.509068380781884));
#2180 = CARTESIAN_POINT ('', (0.937009511449094, 3.41878472387631, 0.448578088082185));
#2190 = CARTESIAN_POINT ('', (4.35, 3.41083739505538, 0.186665002395297));
#2200 = CARTESIAN_POINT ('', (0.937009511449094, 3.63253526116122, 0.157955480562865));
#2210 = CARTESIAN_POINT ('', (4.35, 3.67363260696153, -0.0572803160550282));
#2220 = CARTESIAN_POINT ('', (0.937009511449094, 3.85243213687072, -0.033865412208974));
#2230 = CARTESIAN_POINT ('', (4.35, 3.91865019591372, -0.204834194198235));
#2240 = CARTESIAN_POINT ('', (0.937009511449094, 4.00088971140068, -0.127679877946602));
#2250 = CARTESIAN_POINT ('', (4.35, 4.0762614926556, -0.272790727027221));
#2260 = CARTESIAN_POINT ('', (0.937009511449094, 4.07174807613938, -0.164152810297641));
#2270 = CARTESIAN_POINT ('', (4.35, 4.1502253760207, -0.298930423016989));
#2280 = CARTESIAN_POINT ('', (0.937009511449094, 4.09299283468996, -0.174419256352849));
#2290 = CARTESIAN_POINT ('', (4.35, 4.17230035176078, -0.306260285586393));
#2300 = B_SPLINE_SURFACE_WITH_KNOTS ('', 3, 1, ((#2060, #2070), (#2080, #2090), (#2100, #2110), (#2120, #2130), (#2140, #2150), (#2160, #2170), (#2180, #2190), (#2200, #2210), (#2220, #2230), (#2240, #2250), (#2260, #2270), (#2280, #2290)), .UNSPECIFIED., .F., .F., .U., (4, 1, 1, 1, 1, 1, 1, 1, 1, 4), (2, 2), (0.0471074885844204, 0.15581971622265, 0.230911687409351, 0.314694437758181, 0.363500786525248, 0.4138394717872, 0.467106281986348, 0.504388596562403, 0.526614416929119, 0.535986412919791), (0.0382412603260331, 0.946758310104439), .UNSPECIFIED.);
#2310 = ADVANCED_FACE ('', (#2050), #2300, .F.);
#2320 = CARTESIAN_POINT ('', (0.37, 3.6, -0.75));
#2330 = VERTEX_POINT ('', #2320);
#2340 = CARTESIAN_POINT ('', (0.25, 3.6, -0.749999999999998));
#2350 = VERTEX_POINT ('', #2340);
#2360 = CARTESIAN_POINT ('', (0.37, 3.6, -0.75));
#2370 = DIRECTION ('', (-0.12, 0., 0.));
#2380 = VECTOR ('', #2370, 0.12);
#2390 = LINE ('', #2360, #2380);
#2400 = EDGE_CURVE ('', #2330, #2350, #2390, .T.);
#2410 = ORIENTED_EDGE ('', *, *, #2400, .T.);
#2420 = CARTESIAN_POINT ('', (0.25, 3.04878159173838, -2.66440089998861));
#2430 = VERTEX_POINT ('', #2420);
#2440 = CARTESIAN_POINT ('', (0.25, -3.59712259978551E-14, -0.749999999999992));
#2450 = DIRECTION ('', (1., 0., 0.));
#2460 = DIRECTION ('', (0., 0.846883775482885, -0.531778027774611));
#2470 = AXIS2_PLACEMENT_3D ('', #2440, #2450, #2460);
#2480 = CIRCLE ('', #2470, 3.60000000000004);
#2490 = EDGE_CURVE ('', #2430, #2350, #2480, .T.);
#2500 = ORIENTED_EDGE ('', *, *, #2490, .F.);
#2510 = CARTESIAN_POINT ('', (-1.02230506439548, 1.67844886144106, -3.93477776611292));
#2520 = VERTEX_POINT ('', #2510);
#2530 = CARTESIAN_POINT ('', (-1.02230506439548, 1.67844886144106, -3.93477776611292));
#2540 = CARTESIAN_POINT ('', (-0.68080273466987, 2.28728945559545, -3.61390520384784));
#2550 = CARTESIAN_POINT ('', (-0.241810890020705, 2.73643285508242, -3.16183227840318));
#2560 = CARTESIAN_POINT ('', (0.250000000000001, 3.04878159173838, -2.66440089998861));
#2570 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#2530, #2540, #2550, #2560), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#2580 = EDGE_CURVE ('', #2520, #2430, #2570, .T.);
#2590 = ORIENTED_EDGE ('', *, *, #2580, .F.);
#2600 = CARTESIAN_POINT ('', (-0.79839285078846, 1.34954164510534, -4.0874746962526));
#2610 = VERTEX_POINT ('', #2600);
#2620 = CARTESIAN_POINT ('', (-0.79839285078846, 1.34954164510534, -4.0874746962526));
#2630 = CARTESIAN_POINT ('', (-0.82619893202577, 1.34954164510534, -4.0874746962526));
#2640 = CARTESIAN_POINT ('', (-0.85438808234722, 1.35401444727934, -4.08567532946297));
#2650 = CARTESIAN_POINT ('', (-0.880620717074, 1.36254947913826, -4.08218530650684));
#2660 = CARTESIAN_POINT ('', (-0.90684815606486, 1.37108282051614, -4.07869597479799));
#2670 = CARTESIAN_POINT ('', (-0.93184080638247, 1.38390394383866, -4.0734184946628));
#2680 = CARTESIAN_POINT ('', (-0.95357224600107, 1.39987769683272, -4.066676413808));
#2690 = CARTESIAN_POINT ('', (-0.97542165984181, 1.41593816709527, -4.05989773198436));
#2700 = CARTESIAN_POINT ('', (-0.99457460104434, 1.43561935618116, -4.05144755079807));
#2710 = CARTESIAN_POINT ('', (-1.00948833984175, 1.45723635025579, -4.04187822063532));
#2720 = CARTESIAN_POINT ('', (-1.02451368785902, 1.47901511837496, -4.03223727694303));
#2730 = CARTESIAN_POINT ('', (-1.03564888140767, 1.503356709882, -4.02118811379087));
#2740 = CARTESIAN_POINT ('', (-1.04196953526648, 1.52820360865117, -4.00953888310993));
#2750 = CARTESIAN_POINT ('', (-1.04829753851635, 1.55307939835153, -3.99787610719242));
#2760 = CARTESIAN_POINT ('', (-1.0499716213611, 1.57915044988069, -3.98528497329694));
#2770 = CARTESIAN_POINT ('', (-1.04683043032545, 1.60423267905394, -3.97279963873887));
#2780 = CARTESIAN_POINT ('', (-1.0436023206944, 1.63000894819622, -3.95996882766235));
#2790 = CARTESIAN_POINT ('', (-1.03518370492122, 1.65548843491661, -3.94687842260714));
#2800 = CARTESIAN_POINT ('', (-1.02230506439548, 1.67844886144106, -3.93477776611292));
#2810 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#2620, #2630, #2640, #2650, #2660, #2670, #2680, #2690, #2700, #2710, #2720, #2730, #2740, #2750, #2760, #2770, #2780, #2790, #2800), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 4), (0., 0.164615682414381, 0.329173447097873, 0.494626360591087, 0.661350181510223, 0.828287737988114, 1.), .UNSPECIFIED.);
#2820 = EDGE_CURVE ('', #2610, #2520, #2810, .T.);
#2830 = ORIENTED_EDGE ('', *, *, #2820, .F.);
#2840 = CARTESIAN_POINT ('', (0.15, 1.34954164510534, -4.0874746962526));
#2850 = VERTEX_POINT ('', #2840);
#2860 = CARTESIAN_POINT ('', (0.15, 1.34954164510534, -4.0874746962526));
#2870 = DIRECTION ('', (-0.94839285078846, 0., 0.));
#2880 = VECTOR ('', #2870, 0.94839285078846);
#2890 = LINE ('', #2860, #2880);
#2900 = EDGE_CURVE ('', #2850, #2610, #2890, .T.);
#2910 = ORIENTED_EDGE ('', *, *, #2900, .F.);
#2920 = CARTESIAN_POINT ('', (0.25, 1.32440620299884, -4.09752867193967));
#2930 = VERTEX_POINT ('', #2920);
#2940 = CARTESIAN_POINT ('', (0.25, 1.32440620299884, -4.09752867193967));
#2950 = CARTESIAN_POINT ('', (0.23324681941055, 1.33349818847361, -4.09393154607745));
#2960 = CARTESIAN_POINT ('', (0.214855800173008, 1.34034605505914, -4.09118133679583));
#2970 = CARTESIAN_POINT ('', (0.195987840324519, 1.34452276522554, -4.0894997430439));
#2980 = CARTESIAN_POINT ('', (0.18097433305456, 1.34784623363183, -4.08816167468768));
#2990 = CARTESIAN_POINT ('', (0.165435066236291, 1.34954164510534, -4.0874746962526));
#3000 = CARTESIAN_POINT ('', (0.15, 1.34954164510534, -4.0874746962526));
#3010 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#2940, #2950, #2960, #2970, #2980, #2990, #3000), .UNSPECIFIED., .F., .U., (4, 3, 4), (0., 0.558712293753649, 1.), .UNSPECIFIED.);
#3020 = EDGE_CURVE ('', #2930, #2850, #3010, .T.);
#3030 = ORIENTED_EDGE ('', *, *, #3020, .F.);
#3040 = CARTESIAN_POINT ('', (0.25, -3.1823106082871, -2.43312185904152));
#3050 = VERTEX_POINT ('', #3040);
#3060 = CARTESIAN_POINT ('', (0.25, -3.5527136788005E-15, -0.750000000000003));
#3070 = DIRECTION ('', (1., 0., 0.));
#3080 = DIRECTION ('', (0., -0.883975168968639, -0.467533849733756));
#3090 = AXIS2_PLACEMENT_3D ('', #3060, #3070, #3080);
#3100 = CIRCLE ('', #3090, 3.59999999999999);
#3110 = EDGE_CURVE ('', #3050, #2930, #3100, .T.);
#3120 = ORIENTED_EDGE ('', *, *, #3110, .F.);
#3130 = CARTESIAN_POINT ('', (-0.95156954055463, -3.59999999999842, -0.749997618483249));
#3140 = VERTEX_POINT ('', #3130);
#3150 = CARTESIAN_POINT ('', (-0.95156954055498, -3.59999999999922, -0.749997618483623));
#3160 = CARTESIAN_POINT ('', (-0.619851165480685, -3.60000041978448, -1.38456262492869));
#3170 = CARTESIAN_POINT ('', (-0.208381883428674, -3.43825860105063, -1.94919610633045));
#3180 = CARTESIAN_POINT ('', (0.249999999999975, -3.1823106082871, -2.43312185904154));
#3190 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3150, #3160, #3170, #3180), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#3200 = EDGE_CURVE ('', #3140, #3050, #3190, .T.);
#3210 = ORIENTED_EDGE ('', *, *, #3200, .F.);
#3220 = CARTESIAN_POINT ('', (0.25, -3.6, -0.75));
#3230 = VERTEX_POINT ('', #3220);
#3240 = CARTESIAN_POINT ('', (-0.95156954055463, -3.59999999999842, -0.749997618483249));
#3250 = DIRECTION ('', (1.20156954055463, -1.58006940864652E-12, -2.3815167510266E-6));
#3260 = VECTOR ('', #3250, 1.20156954055699);
#3270 = LINE ('', #3240, #3260);
#3280 = EDGE_CURVE ('', #3140, #3230, #3270, .T.);
#3290 = ORIENTED_EDGE ('', *, *, #3280, .T.);
#3300 = ORIENTED_EDGE ('', *, *, #3280, .F.);
#3310 = CARTESIAN_POINT ('', (-1.02230506439548, -3.59732288158218, -0.611190469904598));
#3320 = VERTEX_POINT ('', #3310);
#3330 = CARTESIAN_POINT ('', (-1.02230506439548, -3.59732288158218, -0.611190469904598));
#3340 = CARTESIAN_POINT ('', (-0.99921875600008, -3.59911680778968, -0.657681022748402));
#3350 = CARTESIAN_POINT ('', (-0.97563086646108, -3.59999993909917, -0.703969150054379));
#3360 = CARTESIAN_POINT ('', (-0.95156954055463, -3.59999999999842, -0.749997618483249));
#3370 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3330, #3340, #3350, #3360), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#3380 = EDGE_CURVE ('', #3320, #3140, #3370, .T.);
#3390 = ORIENTED_EDGE ('', *, *, #3380, .F.);
#3400 = CARTESIAN_POINT ('', (-1.04800667013198, -3.5911495687201, -0.5));
#3410 = VERTEX_POINT ('', #3400);
#3420 = CARTESIAN_POINT ('', (-1.04839285054385, -3.59130818369824, -0.49998894084046));
#3430 = CARTESIAN_POINT ('', (-1.04839408339443, -3.59325132099322, -0.527901327477248));
#3440 = CARTESIAN_POINT ('', (-1.04358717035803, -3.59487807112782, -0.556223790085776));
#3450 = CARTESIAN_POINT ('', (-1.03435075831419, -3.59610615542296, -0.582606693893907));
#3460 = CARTESIAN_POINT ('', (-1.03093500723503, -3.59656031773582, -0.592363451358399));
#3470 = CARTESIAN_POINT ('', (-1.0269044313566, -3.59696548685331, -0.601928395211157));
#3480 = CARTESIAN_POINT ('', (-1.02230506439548, -3.59732288158218, -0.611190469904598));
#3490 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3420, #3430, #3440, #3450, #3460, #3470, #3480), .UNSPECIFIED., .F., .U., (4, 3, 4), (0., 0.732456003212916, 1.), .UNSPECIFIED.);
#3500 = EDGE_CURVE ('', #3410, #3320, #3490, .T.);
#3510 = ORIENTED_EDGE ('', *, *, #3500, .F.);
#3520 = CARTESIAN_POINT ('', (-0.79839285078846, -3.56510869399518, -0.25));
#3530 = VERTEX_POINT ('', #3520);
#3540 = CARTESIAN_POINT ('', (-0.79839285078846, -3.56510869399518, -0.25));
#3550 = CARTESIAN_POINT ('', (-0.82619893202577, -3.56510869399518, -0.25));
#3560 = CARTESIAN_POINT ('', (-0.85438808234722, -3.56578679773163, -0.254773243703602));
#3570 = CARTESIAN_POINT ('', (-0.880620717074, -3.56703186512129, -0.263909809593604));
#3580 = CARTESIAN_POINT ('', (-0.90684815606486, -3.56827668590814, -0.273044565860438));
#3590 = CARTESIAN_POINT ('', (-0.93184080638247, -3.57011681570436, -0.286786724430385));
#3600 = CARTESIAN_POINT ('', (-0.95357224600107, -3.57226487890676, -0.303991440744421));
#3610 = CARTESIAN_POINT ('', (-0.97542165984181, -3.57442460337459, -0.321289556900332));
#3620 = CARTESIAN_POINT ('', (-0.99457460104434, -3.57694712634363, -0.342559057218541));
#3630 = CARTESIAN_POINT ('', (-1.00948833984175, -3.5794683403628, -0.36606458832201));
#3640 = CARTESIAN_POINT ('', (-1.02451368785902, -3.5820084222684, -0.389746026622486));
#3650 = CARTESIAN_POINT ('', (-1.03564888140767, -3.5846103620416, -0.416351044812203));
#3660 = CARTESIAN_POINT ('', (-1.04196953526648, -3.58694528172195, -0.443693705692041));
#3670 = CARTESIAN_POINT ('', (-1.04605117874946, -3.58845308612153, -0.461350580452205));
#3680 = CARTESIAN_POINT ('', (-1.04821504364665, -3.58987438023977, -0.479572626868051));
#3690 = CARTESIAN_POINT ('', (-1.04838234265888, -3.59114956889619, -0.497721079551782));
#3700 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3540, #3550, #3560, #3570, #3580, #3590, #3600, #3610, #3620, #3630, #3640, #3650, #3660, #3670, #3680, #3690), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 4), (0., 0.213060456330473, 0.42604595031233, 0.640190026581644, 0.855979025814246, 0.994239809248793), .UNSPECIFIED.);
#3710 = EDGE_CURVE ('', #3530, #3410, #3700, .T.);
#3720 = ORIENTED_EDGE ('', *, *, #3710, .F.);
#3730 = CARTESIAN_POINT ('', (0.15, -3.56510869399518, -0.25));
#3740 = VERTEX_POINT ('', #3730);
#3750 = CARTESIAN_POINT ('', (0.15, -3.56510869399518, -0.25));
#3760 = DIRECTION ('', (-0.94839285078846, 0., 0.));
#3770 = VECTOR ('', #3760, 0.94839285078846);
#3780 = LINE ('', #3750, #3770);
#3790 = EDGE_CURVE ('', #3740, #3530, #3780, .T.);
#3800 = ORIENTED_EDGE ('', *, *, #3790, .F.);
#3810 = CARTESIAN_POINT ('', (0.25, -3.56124797129597, -0.223205080756888));
#3820 = VERTEX_POINT ('', #3810);
#3830 = CARTESIAN_POINT ('', (0.25, -3.56124797129597, -0.223205080756888));
#3840 = CARTESIAN_POINT ('', (0.231991996758633, -3.56278592865903, -0.233602006275859));
#3850 = CARTESIAN_POINT ('', (0.212071032273097, -3.56387513482785, -0.241263061330774));
#3860 = CARTESIAN_POINT ('', (0.191687211652042, -3.56448985165004, -0.24560719921485));
#3870 = CARTESIAN_POINT ('', (0.178025886321643, -3.56490183754072, -0.248518659338923));
#3880 = CARTESIAN_POINT ('', (0.163974195583869, -3.56510869399613, -0.250000000000696));
#3890 = CARTESIAN_POINT ('', (0.15000000000018, -3.56510869399613, -0.250000000000709));
#3900 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3830, #3840, #3850, #3860, #3870, #3880, #3890), .UNSPECIFIED., .F., .U., (4, 3, 4), (0., 0.600853888075878, 1.), .UNSPECIFIED.);
#3910 = EDGE_CURVE ('', #3820, #3740, #3900, .T.);
#3920 = ORIENTED_EDGE ('', *, *, #3910, .F.);
#3930 = CARTESIAN_POINT ('', (0.25, 0.133529016548726, 2.8475227590301));
#3940 = VERTEX_POINT ('', #3930);
#3950 = CARTESIAN_POINT ('', (0.25, 5.55111512312578E-15, -0.750000000000006));
#3960 = DIRECTION ('', (1., 0., 0.));
#3970 = DIRECTION ('', (0., 0.0370913934857553, 0.999311877508361));
#3980 = AXIS2_PLACEMENT_3D ('', #3950, #3960, #3970);
#3990 = CIRCLE ('', #3980, 3.60000000000001);
#4000 = EDGE_CURVE ('', #3940, #3820, #3990, .T.);
#4010 = ORIENTED_EDGE ('', *, *, #4000, .F.);
#4020 = CARTESIAN_POINT ('', (-1.02230506439548, 1.9188740201411, 2.2959682360175));
#4030 = VERTEX_POINT ('', #4020);
#4040 = CARTESIAN_POINT ('', (-1.02230506439548, 1.9188740201411, 2.2959682360175));
#4050 = CARTESIAN_POINT ('', (-0.680802734669868, 1.33656993276494, 2.66280337627786));
#4060 = CARTESIAN_POINT ('', (-0.241810890020702, 0.720491595223233, 2.82573650745335));
#4070 = CARTESIAN_POINT ('', (0.250000000000003, 0.133529016548722, 2.8475227590301));
#4080 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#4040, #4050, #4060, #4070), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#4090 = EDGE_CURVE ('', #4030, #3940, #4080, .T.);
#4100 = ORIENTED_EDGE ('', *, *, #4090, .F.);
#4110 = CARTESIAN_POINT ('', (-0.79839285078846, 2.21556704888982, 2.08747469625258));
#4120 = VERTEX_POINT ('', #4110);
#4130 = CARTESIAN_POINT ('', (-0.79839285078846, 2.21556704888982, 2.08747469625258));
#4140 = CARTESIAN_POINT ('', (-0.82619893202577, 2.21556704888982, 2.08747469625258));
#4150 = CARTESIAN_POINT ('', (-0.85438808234722, 2.21177235045228, 2.09044857316655));
#4160 = CARTESIAN_POINT ('', (-0.880620717074, 2.20448238598301, 2.09609511610041));
#4170 = CARTESIAN_POINT ('', (-0.90684815606486, 2.19719386539198, 2.1017405406584));
#4180 = CARTESIAN_POINT ('', (-0.93184080638247, 2.18621287186568, 2.11020521909316));
#4190 = CARTESIAN_POINT ('', (-0.95357224600107, 2.17238718207403, 2.1206678545524));
#4200 = CARTESIAN_POINT ('', (-0.97542165984181, 2.15848643627931, 2.13118728888467));
#4210 = CARTESIAN_POINT ('', (-0.99457460104434, 2.14132777016246, 2.14400660801659));
#4220 = CARTESIAN_POINT ('', (-1.00948833984175, 2.12223199010699, 2.15794280895731));
#4230 = CARTESIAN_POINT ('', (-1.02451368785902, 2.10299330389343, 2.17198330356549));
#4240 = CARTESIAN_POINT ('', (-1.03564888140767, 2.08125365215958, 2.18753915860305));
#4250 = CARTESIAN_POINT ('', (-1.04196953526648, 2.05874167307075, 2.20323258880194));
#4260 = CARTESIAN_POINT ('', (-1.04829753851635, 2.03620351799737, 2.21894426666289));
#4270 = CARTESIAN_POINT ('', (-1.0499716213611, 2.01226375041685, 2.23522689264278));
#4280 = CARTESIAN_POINT ('', (-1.04683043032545, 1.98891001892819, 2.25070607301133));
#4290 = CARTESIAN_POINT ('', (-1.0436023206944, 1.96491007601363, 2.26661357136507));
#4300 = CARTESIAN_POINT ('', (-1.03518370492122, 1.94083370932979, 2.28213425161271));
#4310 = CARTESIAN_POINT ('', (-1.02230506439548, 1.9188740201411, 2.2959682360175));
#4320 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#4130, #4140, #4150, #4160, #4170, #4180, #4190, #4200, #4210, #4220, #4230, #4240, #4250, #4260, #4270, #4280, #4290, #4300, #4310), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 4), (0., 0.16461568241438, 0.329173447097872, 0.494626360591084, 0.661350181510219, 0.828287737988108, 1.), .UNSPECIFIED.);
#4330 = EDGE_CURVE ('', #4120, #4030, #4320, .T.);
#4340 = ORIENTED_EDGE ('', *, *, #4330, .F.);
#4350 = CARTESIAN_POINT ('', (0.150000000000001, 2.21556704888982, 2.08747469625258));
#4360 = VERTEX_POINT ('', #4350);
#4370 = CARTESIAN_POINT ('', (0.150000000000001, 2.21556704888982, 2.08747469625258));
#4380 = DIRECTION ('', (-0.948392850788461, 0., 0.));
#4390 = VECTOR ('', #4380, 0.948392850788461);
#4400 = LINE ('', #4370, #4390);
#4410 = EDGE_CURVE ('', #4360, #4120, #4400, .T.);
#4420 = ORIENTED_EDGE ('', *, *, #4410, .F.);
#4430 = CARTESIAN_POINT ('', (0.25, 2.2368417682971, 2.07073375269654));
#4440 = VERTEX_POINT ('', #4430);
#4450 = CARTESIAN_POINT ('', (0.25, 2.2368417682971, 2.07073375269654));
#4460 = CARTESIAN_POINT ('', (0.233246819410551, 2.22918057318242, 2.07680908015742));
#4470 = CARTESIAN_POINT ('', (0.214855800173009, 2.22337488878605, 2.0813644019414));
#4480 = CARTESIAN_POINT ('', (0.195987840324521, 2.21983023079484, 2.08414074217378));
#4490 = CARTESIAN_POINT ('', (0.180974333054562, 2.2170096954032, 2.0863499160642));
#4500 = CARTESIAN_POINT ('', (0.165435066236292, 2.21556704888982, 2.08747469625258));
#4510 = CARTESIAN_POINT ('', (0.150000000000001, 2.21556704888982, 2.08747469625258));
#4520 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#4450, #4460, #4470, #4480, #4490, #4500, #4510), .UNSPECIFIED., .F., .U., (4, 3, 4), (0., 0.558712293753637, 1.), .UNSPECIFIED.);
#4530 = EDGE_CURVE ('', #4440, #4360, #4520, .T.);
#4540 = ORIENTED_EDGE ('', *, *, #4530, .F.);
#4550 = CARTESIAN_POINT ('', (0.25, 9.32587340685131E-15, -0.749999999999996));
#4560 = DIRECTION ('', (1., 0., 0.));
#4570 = DIRECTION ('', (0., 1., -4.9343245538896E-16));
#4580 = AXIS2_PLACEMENT_3D ('', #4550, #4560, #4570);
#4590 = CIRCLE ('', #4580, 3.59999999999999);
#4600 = EDGE_CURVE ('', #2350, #4440, #4590, .T.);
#4610 = ORIENTED_EDGE ('', *, *, #4600, .F.);
#4620 = ORIENTED_EDGE ('', *, *, #2400, .F.);
#4630 = CARTESIAN_POINT ('', (1.72513122004885, 3.6, -0.75));
#4640 = DIRECTION ('', (-1.35513122004885, 0., 0.));
#4650 = VECTOR ('', #4640, 1.35513122004885);
#4660 = LINE ('', #4630, #4650);
#4670 = EDGE_CURVE ('', #1420, #2330, #4660, .T.);
#4680 = ORIENTED_EDGE ('', *, *, #4670, .F.);
#4690 = ORIENTED_EDGE ('', *, *, #1470, .T.);
#4700 = ORIENTED_EDGE ('', *, *, #2010, .F.);
#4710 = ORIENTED_EDGE ('', *, *, #790, .T.);
#4720 = CARTESIAN_POINT ('', (0.37, -3.6, -0.75));
#4730 = VERTEX_POINT ('', #4720);
#4740 = CARTESIAN_POINT ('', (0.37, -3.6, -0.75));
#4750 = DIRECTION ('', (3.98, 0., -9.99200722162641E-16));
#4760 = VECTOR ('', #4750, 3.98);
#4770 = LINE ('', #4740, #4760);
#4780 = EDGE_CURVE ('', #4730, #640, #4770, .T.);
#4790 = ORIENTED_EDGE ('', *, *, #4780, .F.);
#4800 = ORIENTED_EDGE ('', *, *, #4780, .T.);
#4810 = ORIENTED_EDGE ('', *, *, #700, .T.);
#4820 = CARTESIAN_POINT ('', (4.35, 0.31376067389157, -4.33630091313028));
#4830 = DIRECTION ('', (-2.25917932376459, 0., 0.));
#4840 = VECTOR ('', #4830, 2.25917932376459);
#4850 = LINE ('', #4820, #4840);
#4860 = EDGE_CURVE ('', #560, #1500, #4850, .T.);
#4870 = ORIENTED_EDGE ('', *, *, #4860, .T.);
#4880 = ORIENTED_EDGE ('', *, *, #1550, .T.);
#4890 = ORIENTED_EDGE ('', *, *, #4670, .T.);
#4900 = EDGE_LOOP ('', (#2410, #2500, #2590, #2830, #2910, #3030, #3120, #3210, #3290, #3300, #3390, #3510, #3720, #3800, #3920, #4010, #4100, #4340, #4420, #4540, #4610, #4620, #4680, #4690, #4700, #4710, #4790, #4800, #4810, #4870, #4880, #4890));
#4910 = FACE_OUTER_BOUND ('', #4900, .F.);
#4920 = CARTESIAN_POINT ('', (-1.048767802891, 3.6, -0.75));
#4930 = CARTESIAN_POINT ('', (4.35, 3.6, -0.75));
#4940 = CARTESIAN_POINT ('', (-1.048767802891, 3.6, -4.35));
#4950 = CARTESIAN_POINT ('', (4.35, 3.6, -4.35));
#4960 = CARTESIAN_POINT ('', (-1.048767802891, 2.35761574624995E-15, -4.35));
#4970 = CARTESIAN_POINT ('', (4.35, 2.35761574624995E-15, -4.35));
#4980 = CARTESIAN_POINT ('', (-1.048767802891, -3.6, -4.35));
#4990 = CARTESIAN_POINT ('', (4.35, -3.6, -4.35));
#5000 = CARTESIAN_POINT ('', (-1.048767802891, -3.6, -0.750000000000003));
#5010 = CARTESIAN_POINT ('', (4.35, -3.6, -0.750000000000003));
#5020 = CARTESIAN_POINT ('', (-1.048767802891, -3.6, 2.85));
#5030 = CARTESIAN_POINT ('', (4.35, -3.6, 2.85));
#5040 = CARTESIAN_POINT ('', (-1.048767802891, -1.41070981316155E-15, 2.85));
#5050 = CARTESIAN_POINT ('', (4.35, -1.41070981316155E-15, 2.85));
#5060 = CARTESIAN_POINT ('', (-1.048767802891, 3.6, 2.85));
#5070 = CARTESIAN_POINT ('', (4.35, 3.6, 2.85));
#5080 = CARTESIAN_POINT ('', (-1.048767802891, 3.6, -0.75));
#5090 = CARTESIAN_POINT ('', (4.35, 3.6, -0.75));
#5100 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#4920, #4930), (#4940, #4950), (#4960, #4970), (#4980, #4990), (#5000, #5010), (#5020, #5030), (#5040, #5050), (#5060, #5070), (#5080, #5090)), .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 ('')
);
#5110 = ADVANCED_FACE ('', (#4910), #5100, .F.);
#5120 = CARTESIAN_POINT ('', (0.250000000000001, 1.47589604682931, 0.059916778284627));
#5130 = VERTEX_POINT ('', #5120);
#5140 = CARTESIAN_POINT ('', (0.25, 3.04878159173838, -2.66440089998861));
#5150 = DIRECTION ('', (9.99200722162641E-16, -1.57288554490907, 2.72431767827324));
#5160 = VECTOR ('', #5150, 3.1457710898182);
#5170 = LINE ('', #5140, #5160);
#5180 = EDGE_CURVE ('', #2430, #5130, #5170, .T.);
#5190 = ORIENTED_EDGE ('', *, *, #5180, .F.);
#5200 = ORIENTED_EDGE ('', *, *, #2490, .T.);
#5210 = ORIENTED_EDGE ('', *, *, #4600, .T.);
#5220 = CARTESIAN_POINT ('', (0.25, 1.23804051080742, 0.34075922806075));
#5230 = VERTEX_POINT ('', #5220);
#5240 = CARTESIAN_POINT ('', (0.25, 2.2368417682971, 2.07073375269654));
#5250 = DIRECTION ('', (0., -0.99880125748968, -1.72997452463579));
#5260 = VECTOR ('', #5250, 1.99760251497934);
#5270 = LINE ('', #5240, #5260);
#5280 = EDGE_CURVE ('', #4440, #5230, #5270, .T.);
#5290 = ORIENTED_EDGE ('', *, *, #5280, .T.);
#5300 = CARTESIAN_POINT ('', (0.25, -1.40000460247113, 0.123205080756888));
#5310 = VERTEX_POINT ('', #5300);
#5320 = CARTESIAN_POINT ('', (0.25, 7.7715611723761E-16, -0.749999999999996));
#5330 = DIRECTION ('', (-1., 0., 0.));
#5340 = DIRECTION ('', (0., -0.848487637861293, 0.529215200458719));
#5350 = AXIS2_PLACEMENT_3D ('', #5320, #5330, #5340);
#5360 = CIRCLE ('', #5350, 1.65);
#5370 = EDGE_CURVE ('', #5310, #5230, #5360, .T.);
#5380 = ORIENTED_EDGE ('', *, *, #5370, .F.);
#5390 = CARTESIAN_POINT ('', (0.25, -1.43935652836039, 0.123205080756892));
#5400 = VERTEX_POINT ('', #5390);
#5410 = CARTESIAN_POINT ('', (0.25, -1.43935652836039, 0.123205080756892));
#5420 = DIRECTION ('', (0., 0.0393519258892601, -3.99680288865056E-15));
#5430 = VECTOR ('', #5420, 0.0393519258892601);
#5440 = LINE ('', #5410, #5430);
#5450 = EDGE_CURVE ('', #5400, #5310, #5440, .T.);
#5460 = ORIENTED_EDGE ('', *, *, #5450, .F.);
#5470 = CARTESIAN_POINT ('', (0.25, 0.133529016548726, 2.8475227590301));
#5480 = DIRECTION ('', (0., -1.57288554490912, -2.72431767827321));
#5490 = VECTOR ('', #5480, 3.1457710898182);
#5500 = LINE ('', #5470, #5490);
#5510 = EDGE_CURVE ('', #3940, #5400, #5500, .T.);
#5520 = ORIENTED_EDGE ('', *, *, #5510, .F.);
#5530 = ORIENTED_EDGE ('', *, *, #4000, .T.);
#5540 = CARTESIAN_POINT ('', (0.25, -1.56364545631663, -0.223205080756887));
#5550 = VERTEX_POINT ('', #5540);
#5560 = CARTESIAN_POINT ('', (0.25, -1.56364545631663, -0.223205080756887));
#5570 = DIRECTION ('', (0., -1.99760251497934, -9.99200722162641E-16));
#5580 = VECTOR ('', #5570, 1.99760251497934);
#5590 = LINE ('', #5560, #5580);
#5600 = EDGE_CURVE ('', #5550, #3820, #5590, .T.);
#5610 = ORIENTED_EDGE ('', *, *, #5600, .F.);
#5620 = CARTESIAN_POINT ('', (0.25, -1.65, -0.75));
#5630 = VERTEX_POINT ('', #5620);
#5640 = CARTESIAN_POINT ('', (0.25, -2.22044604925031E-14, -0.749999999999997));
#5650 = DIRECTION ('', (-1., 0., 0.));
#5660 = DIRECTION ('', (0., -1., -1.61486985400025E-15));
#5670 = AXIS2_PLACEMENT_3D ('', #5640, #5650, #5660);
#5680 = CIRCLE ('', #5670, 1.64999999999998);
#5690 = EDGE_CURVE ('', #5630, #5550, #5680, .T.);
#5700 = ORIENTED_EDGE ('', *, *, #5690, .F.);
#5710 = CARTESIAN_POINT ('', (0.25, -0.0562154814135489, -2.39904209153358));
#5720 = VERTEX_POINT ('', #5710);
#5730 = CARTESIAN_POINT ('', (0.25, -3.44169137633799E-15, -0.750000000000004));
#5740 = DIRECTION ('', (-1., 0., 0.));
#5750 = DIRECTION ('', (0., -0.0340699887354827, -0.999419449414291));
#5760 = AXIS2_PLACEMENT_3D ('', #5730, #5740, #5750);
#5770 = CIRCLE ('', #5760, 1.65);
#5780 = EDGE_CURVE ('', #5720, #5630, #5770, .T.);
#5790 = ORIENTED_EDGE ('', *, *, #5780, .F.);
#5800 = CARTESIAN_POINT ('', (0.250000000000003, -0.036539518468917, -2.43312185904153));
#5810 = VERTEX_POINT ('', #5800);
#5820 = CARTESIAN_POINT ('', (0.250000000000003, -0.036539518468917, -2.43312185904153));
#5830 = DIRECTION ('', (-2.99760216648792E-15, -0.0196759629446319, 0.0340797675079503));
#5840 = VECTOR ('', #5830, 0.0393519258892684);
#5850 = LINE ('', #5820, #5840);
#5860 = EDGE_CURVE ('', #5810, #5720, #5850, .T.);
#5870 = ORIENTED_EDGE ('', *, *, #5860, .F.);
#5880 = CARTESIAN_POINT ('', (0.25, -3.1823106082871, -2.43312185904152));
#5890 = DIRECTION ('', (2.99760216648792E-15, 3.14577108981818, -1.02140518265514E-14));
#5900 = VECTOR ('', #5890, 3.14577108981818);
#5910 = LINE ('', #5880, #5900);
#5920 = EDGE_CURVE ('', #3050, #5810, #5910, .T.);
#5930 = ORIENTED_EDGE ('', *, *, #5920, .F.);
#5940 = ORIENTED_EDGE ('', *, *, #3110, .T.);
#5950 = CARTESIAN_POINT ('', (0.25, 0.325604945509193, -2.36755414730387));
#5960 = VERTEX_POINT ('', #5950);
#5970 = CARTESIAN_POINT ('', (0.25, 0.325604945509193, -2.36755414730387));
#5980 = DIRECTION ('', (0., 0.998801257489647, -1.7299745246358));
#5990 = VECTOR ('', #5980, 1.99760251497933);
#6000 = LINE ('', #5970, #5990);
#6010 = EDGE_CURVE ('', #5960, #2930, #6000, .T.);
#6020 = ORIENTED_EDGE ('', *, *, #6010, .F.);
#6030 = CARTESIAN_POINT ('', (0.25, 1.65, -0.75));
#6040 = VERTEX_POINT ('', #6030);
#6050 = CARTESIAN_POINT ('', (0.25, -1.77635683940025E-15, -0.749999999999998));
#6060 = DIRECTION ('', (-1., 0., 0.));
#6070 = DIRECTION ('', (0., 1., -1.21115239050017E-15));
#6080 = AXIS2_PLACEMENT_3D ('', #6050, #6060, #6070);
#6090 = CIRCLE ('', #6080, 1.65);
#6100 = EDGE_CURVE ('', #6040, #5960, #6090, .T.);
#6110 = ORIENTED_EDGE ('', *, *, #6100, .F.);
#6120 = CARTESIAN_POINT ('', (0.25, 1.45622008388468, 0.025837010776689));
#6130 = VERTEX_POINT ('', #6120);
#6140 = CARTESIAN_POINT ('', (0.25, -2.17603712826531E-14, -0.749999999999999));
#6150 = DIRECTION ('', (-1., 0., 0.));
#6160 = DIRECTION ('', (0., 0.882557626596777, 0.470204248955561));
#6170 = AXIS2_PLACEMENT_3D ('', #6140, #6150, #6160);
#6180 = CIRCLE ('', #6170, 1.65000000000002);
#6190 = EDGE_CURVE ('', #6130, #6040, #6180, .T.);
#6200 = ORIENTED_EDGE ('', *, *, #6190, .F.);
#6210 = CARTESIAN_POINT ('', (0.250000000000001, 1.47589604682931, 0.059916778284627));
#6220 = DIRECTION ('', (-9.99200722162641E-16, -0.0196759629446301, -0.034079767507938));
#6230 = VECTOR ('', #6220, 0.0393519258892569);
#6240 = LINE ('', #6210, #6230);
#6250 = EDGE_CURVE ('', #5130, #6130, #6240, .T.);
#6260 = ORIENTED_EDGE ('', *, *, #6250, .F.);
#6270 = EDGE_LOOP ('', (#5190, #5200, #5210, #5290, #5380, #5460, #5520, #5530, #5610, #5700, #5790, #5870, #5930, #5940, #6020, #6110, #6200, #6260));
#6280 = FACE_OUTER_BOUND ('', #6270, .F.);
#6290 = CARTESIAN_POINT ('', (0.25, -3.56224797129597, -4.35428602841158));
#6300 = CARTESIAN_POINT ('', (0.25, -3.56224797129597, 2.85494759447731));
#6310 = CARTESIAN_POINT ('', (0.25, 3.6, -4.35428602841158));
#6320 = CARTESIAN_POINT ('', (0.25, 3.6, 2.85494759447731));
#6330 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6290, #6300), (#6310, #6320)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-4.76480088524454, 2.39744708605143), (-3.60428602841158, 3.60494759447731), .UNSPECIFIED.);
#6340 = ADVANCED_FACE ('', (#6280), #6330, .F.);
#6350 = CARTESIAN_POINT ('', (0.150000000000001, 1.21922196156804, 0.36175438313963));
#6360 = VERTEX_POINT ('', #6350);
#6370 = CARTESIAN_POINT ('', (0.25, 1.23804051080742, 0.34075922806075));
#6380 = CARTESIAN_POINT ('', (0.246244583660314, 1.236528036267, 0.34247592658086));
#6390 = CARTESIAN_POINT ('', (0.242409847907002, 1.2350948498572, 0.34409543855518));
#6400 = CARTESIAN_POINT ('', (0.238508441247769, 1.23374758330908, 0.34561256869342));
#6410 = CARTESIAN_POINT ('', (0.218763474751406, 1.22692908547544, 0.35329074386632));
#6420 = CARTESIAN_POINT ('', (0.196902142154441, 1.22226709887428, 0.35840946473545));
#6430 = CARTESIAN_POINT ('', (0.174836161936518, 1.22031608718151, 0.36055330685474));
#6440 = CARTESIAN_POINT ('', (0.16661041790855, 1.21958879011056, 0.36135248714656));
#6450 = CARTESIAN_POINT ('', (0.158296415791286, 1.21922196156804, 0.36175438313963));
#6460 = CARTESIAN_POINT ('', (0.150000000000001, 1.21922196156804, 0.36175438313963));
#6470 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6370, #6380, #6390, #6400, #6410, #6420, #6430, #6440, #6450, #6460), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (0., 0.125166636925879, 0.764726547913045, 1.), .UNSPECIFIED.);
#6480 = EDGE_CURVE ('', #5230, #6360, #6470, .T.);
#6490 = ORIENTED_EDGE ('', *, *, #6480, .F.);
#6500 = ORIENTED_EDGE ('', *, *, #5280, .F.);
#6510 = ORIENTED_EDGE ('', *, *, #4530, .T.);
#6520 = CARTESIAN_POINT ('', (0.150000000000001, 2.21556704888982, 2.08747469625258));
#6530 = DIRECTION ('', (0., -0.99634508732178, -1.72572031311295));
#6540 = VECTOR ('', #6530, 1.99269017464354);
#6550 = LINE ('', #6520, #6540);
#6560 = EDGE_CURVE ('', #4360, #6360, #6550, .T.);
#6570 = ORIENTED_EDGE ('', *, *, #6560, .T.);
#6580 = EDGE_LOOP ('', (#6490, #6500, #6510, #6570));
#6590 = FACE_OUTER_BOUND ('', #6580, .F.);
#6600 = CARTESIAN_POINT ('', (0.150000000000005, 1.21483543005062, 0.354156687682171));
#6610 = CARTESIAN_POINT ('', (0.149999999999997, 2.21556704888969, 2.08747469625265));
#6620 = CARTESIAN_POINT ('', (0.203589838486255, 1.21483543005061, 0.354156687682172));
#6630 = CARTESIAN_POINT ('', (0.203589838486248, 2.21556704888969, 2.08747469625265));
#6640 = CARTESIAN_POINT ('', (0.250000000000051, 1.23804051080752, 0.340759228060611));
#6650 = CARTESIAN_POINT ('', (0.250000000000044, 2.23877212964659, 2.07407723663109));
#6660 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6600, #6610), (#6620, #6630), (#6640, #6650)), .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 ('')
);
#6670 = ADVANCED_FACE ('', (#6590), #6660, .F.);
#6680 = ORIENTED_EDGE ('', *, *, #4410, .T.);
#6690 = CARTESIAN_POINT ('', (-0.79839285078846, 1.21922196156805, 0.36175438313963));
#6700 = VERTEX_POINT ('', #6690);
#6710 = CARTESIAN_POINT ('', (-0.79839285078846, 2.21556704888982, 2.08747469625258));
#6720 = DIRECTION ('', (0., -0.99634508732177, -1.72572031311295));
#6730 = VECTOR ('', #6720, 1.99269017464354);
#6740 = LINE ('', #6710, #6730);
#6750 = EDGE_CURVE ('', #4120, #6700, #6740, .T.);
#6760 = ORIENTED_EDGE ('', *, *, #6750, .T.);
#6770 = CARTESIAN_POINT ('', (0.150000000000001, 1.21922196156804, 0.36175438313963));
#6780 = DIRECTION ('', (-0.948392850788461, 9.99200722162641E-15, 0.));
#6790 = VECTOR ('', #6780, 0.948392850788461);
#6800 = LINE ('', #6770, #6790);
#6810 = EDGE_CURVE ('', #6360, #6700, #6800, .T.);
#6820 = ORIENTED_EDGE ('', *, *, #6810, .F.);
#6830 = ORIENTED_EDGE ('', *, *, #6560, .F.);
#6840 = EDGE_LOOP ('', (#6680, #6760, #6820, #6830));
#6850 = FACE_OUTER_BOUND ('', #6840, .F.);
#6860 = CARTESIAN_POINT ('', (-0.79939285078846, 2.21625006159172, 2.08865770895447));
#6870 = CARTESIAN_POINT ('', (0.151000000000001, 2.21625006159172, 2.08865770895447));
#6880 = CARTESIAN_POINT ('', (-0.79939285078846, 1.21853894886616, 0.360571370437734));
#6890 = CARTESIAN_POINT ('', (0.151000000000001, 1.21853894886616, 0.360571370437734));
#6900 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6860, #6870), (#6880, #6890)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (3.43352528060104, 5.42894750605214), (-0.94939285078846, 0.0010000000000005), .UNSPECIFIED.);
#6910 = ADVANCED_FACE ('', (#6850), #6900, .F.);
#6920 = ORIENTED_EDGE ('', *, *, #4330, .T.);
#6930 = CARTESIAN_POINT ('', (-1.02230506439548, 0.942287988657858, 0.60447161152648));
#6940 = VERTEX_POINT ('', #6930);
#6950 = CARTESIAN_POINT ('', (-1.02230506439548, 1.9188740201411, 2.2959682360175));
#6960 = DIRECTION ('', (0., -0.976586031483242, -1.69149662449102));
#6970 = VECTOR ('', #6960, 1.95317206296647);
#6980 = LINE ('', #6950, #6970);
#6990 = EDGE_CURVE ('', #4030, #6940, #6980, .T.);
#7000 = ORIENTED_EDGE ('', *, *, #6990, .T.);
#7010 = CARTESIAN_POINT ('', (-0.79839285078846, 1.21922196156805, 0.36175438313963));
#7020 = CARTESIAN_POINT ('', (-0.82553165786613, 1.21922196156805, 0.36175438313963));
#7030 = CARTESIAN_POINT ('', (-0.8530432550525, 1.21601004928753, 0.36530347166332));
#7040 = CARTESIAN_POINT ('', (-0.87862138979877, 1.20984236417049, 0.37195430114526));
#7050 = CARTESIAN_POINT ('', (-0.90417504409954, 1.2036805820515, 0.37859876521901));
#7060 = CARTESIAN_POINT ('', (-0.92849466875477, 1.19441222685054, 0.38849118910972));
#7070 = CARTESIAN_POINT ('', (-0.94976319901248, 1.18268690645619, 0.40054408055367));
#7080 = CARTESIAN_POINT ('', (-0.97158173213909, 1.17065837000612, 0.41290865902031));
#7090 = CARTESIAN_POINT ('', (-0.99077916550894, 1.15572491692027, 0.4278551100972));
#7100 = CARTESIAN_POINT ('', (-1.00597366797328, 1.13886737326687, 0.4439351347993));
#7110 = CARTESIAN_POINT ('', (-1.02173391513681, 1.12138216404918, 0.46061387530401));
#7120 = CARTESIAN_POINT ('', (-1.03361427713215, 1.1013352118424, 0.47896047947179));
#7130 = CARTESIAN_POINT ('', (-1.04062779047314, 1.08018127274525, 0.49728040873352));
#7140 = CARTESIAN_POINT ('', (-1.04768917560627, 1.05888294424923, 0.51572538343295));
#7150 = CARTESIAN_POINT ('', (-1.04999870524604, 1.03585013149887, 0.534659735658));
#7160 = CARTESIAN_POINT ('', (-1.04724775972272, 1.01302559484986, 0.55241281634476));
#7170 = CARTESIAN_POINT ('', (-1.04436540447922, 0.989110754540183, 0.57101394267461));
#7180 = CARTESIAN_POINT ('', (-1.03580242274335, 0.964679698106642, 0.58889399537007));
#7190 = CARTESIAN_POINT ('', (-1.02230506439548, 0.942287988657858, 0.60447161152648));
#7200 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#7010, #7020, #7030, #7040, #7050, #7060, #7070, #7080, #7090, #7100, #7110, #7120, #7130, #7140, #7150, #7160, #7170, #7180, #7190), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 4), (0., 0.159201554123479, 0.318133388698891, 0.481178923742517, 0.65044795335674, 0.820976657452707, 1.), .UNSPECIFIED.);
#7210 = EDGE_CURVE ('', #6700, #6940, #7200, .T.);
#7220 = ORIENTED_EDGE ('', *, *, #7210, .F.);
#7230 = ORIENTED_EDGE ('', *, *, #6750, .F.);
#7240 = EDGE_LOOP ('', (#6920, #7000, #7220, #7230));
#7250 = FACE_OUTER_BOUND ('', #7240, .F.);
#7260 = CARTESIAN_POINT ('', (-1.02230506439548, 0.906421839025824, 0.542349618091934));
#7270 = CARTESIAN_POINT ('', (-1.0223050643955, 1.91887402014111, 2.29596823601749));
#7280 = CARTESIAN_POINT ('', (-1.08419803646566, 1.01436178275146, 0.48003046252562));
#7290 = CARTESIAN_POINT ('', (-1.08419803646568, 2.02681396386675, 2.23364908045117));
#7300 = CARTESIAN_POINT ('', (-1.01087534121549, 1.11679187215976, 0.420892422832619));
#7310 = CARTESIAN_POINT ('', (-1.01087534121551, 2.12924405327505, 2.17451104075817));
#7320 = CARTESIAN_POINT ('', (-0.937552645965311, 1.21922196156806, 0.361754383139619));
#7330 = CARTESIAN_POINT ('', (-0.937552645965329, 2.23167414268335, 2.11537300106517));
#7340 = CARTESIAN_POINT ('', (-0.798392850788423, 1.21922196156805, 0.361754383139629));
#7350 = CARTESIAN_POINT ('', (-0.798392850788441, 2.23167414268334, 2.11537300106518));
#7360 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#7260, #7270), (#7280, #7290), (#7300, #7310), (#7320, #7330), (#7340, #7350)), .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.873755023578112, 0.873755023578112), (1., 1.), (0.873755023578112, 0.873755023578112), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#7370 = ADVANCED_FACE ('', (#7250), #7360, .F.);
#7380 = ORIENTED_EDGE ('', *, *, #4090, .T.);
#7390 = ORIENTED_EDGE ('', *, *, #5510, .T.);
#7400 = CARTESIAN_POINT ('', (0.21705945023751, -1.38796165448954, 0.142223316029513));
#7410 = VERTEX_POINT ('', #7400);
#7420 = CARTESIAN_POINT ('', (9.45243212738542, 6.46457764429768, -5.1898215851427));
#7430 = DIRECTION ('', (-0.49999999999792, 1.7727208589946E-12, -0.86602540378564));
#7440 = DIRECTION ('', (-0.694874173707005, -0.596824801447439, 0.401185791239211));
#7450 = AXIS2_PLACEMENT_3D ('', #7420, #7430, #7440);
#7460 = CIRCLE ('', #7450, 13.243307170366);
#7470 = EDGE_CURVE ('', #5400, #7410, #7460, .T.);
#7480 = ORIENTED_EDGE ('', *, *, #7470, .T.);
#7490 = CARTESIAN_POINT ('', (-1.02230506439548, 0.942287988657858, 0.60447161152648));
#7500 = CARTESIAN_POINT ('', (-0.91738470337681, 0.768228281666268, 0.72556264792158));
#7510 = CARTESIAN_POINT ('', (-0.79925665305763, 0.573100169996536, 0.81059046062401));
#7520 = CARTESIAN_POINT ('', (-0.678501892452479, 0.374987041737093, 0.85682442056662));
#7530 = CARTESIAN_POINT ('', (-0.558057740033393, 0.177383504644864, 0.90293945644893));
#7540 = CARTESIAN_POINT ('', (-0.431685668909624, -0.0286716289703301, 0.91223266363776));
#7550 = CARTESIAN_POINT ('', (-0.311931512883003, -0.230007624524679, 0.8838899879308));
#7560 = CARTESIAN_POINT ('', (-0.184295464088908, -0.444595007586943, 0.85368187441293));
#7570 = CARTESIAN_POINT ('', (-0.059544262013411, -0.661548115470866, 0.77929874187147));
#7580 = CARTESIAN_POINT ('', (0.037154678367879, -0.859708969765037, 0.65833252014769));
#7590 = CARTESIAN_POINT ('', (0.097467569264685, -0.983305504928048, 0.5828836837462));
#7600 = CARTESIAN_POINT ('', (0.147903549535906, -1.10248333549684, 0.48718490356279));
#7610 = CARTESIAN_POINT ('', (0.179688523581215, -1.20719857291179, 0.37479847330966));
#7620 = CARTESIAN_POINT ('', (0.199743448880413, -1.27326929743247, 0.30388756238184));
#7630 = CARTESIAN_POINT ('', (0.212648894891957, -1.33449535782589, 0.225396629530156));
#7640 = CARTESIAN_POINT ('', (0.21705945023751, -1.38796165448954, 0.142223316029513));
#7650 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#7490, #7500, #7510, #7520, #7530, #7540, #7550, #7560, #7570, #7580, #7590, #7600, #7610, #7620, #7630, #7640), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 4), (0., 0.241839420426896, 0.482725905073853, 0.740663066436568, 0.900114591758739, 1.), .UNSPECIFIED.);
#7660 = EDGE_CURVE ('', #6940, #7410, #7650, .T.);
#7670 = ORIENTED_EDGE ('', *, *, #7660, .F.);
#7680 = ORIENTED_EDGE ('', *, *, #6990, .F.);
#7690 = EDGE_LOOP ('', (#7380, #7390, #7480, #7670, #7680));
#7700 = FACE_OUTER_BOUND ('', #7690, .F.);
#7710 = CARTESIAN_POINT ('', (0.250000000000031, -1.4393565283604, 0.123205080756886));
#7720 = CARTESIAN_POINT ('', (0.250000000000041, 0.342840720880595, 3.21006126555176));
#7730 = CARTESIAN_POINT ('', (-0.522615171664132, -0.73296553502115, -0.284629949400653));
#7740 = CARTESIAN_POINT ('', (-0.522615171664122, 1.04923171421984, 2.80222623539423));
#7750 = CARTESIAN_POINT ('', (-1.02230506439544, 0.138482338584419, -0.787760613811556));
#7760 = CARTESIAN_POINT ('', (-1.02230506439543, 1.92067958782541, 2.29909557098332));
#7770 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#7710, #7720), (#7730, #7740), (#7750, #7760)), .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 ('')
);
#7780 = ADVANCED_FACE ('', (#7700), #7770, .F.);
#7790 = CARTESIAN_POINT ('', (1.43530151869015, 2.98891018394871, -0.561129070107718));
#7800 = DIRECTION ('', (-0.499999999998931, 3.96128962965037E-12, -0.866025403785056));
#7810 = DIRECTION ('', (-0.257821558396603, -0.954657386379719, 0.148853346138376));
#7820 = AXIS2_PLACEMENT_3D ('', #7790, #7800, #7810);
#7830 = CIRCLE ('', #7820, 4.59737162435318);
#7840 = EDGE_CURVE ('', #5310, #7410, #7830, .T.);
#7850 = ORIENTED_EDGE ('', *, *, #7840, .T.);
#7860 = ORIENTED_EDGE ('', *, *, #7470, .F.);
#7870 = ORIENTED_EDGE ('', *, *, #5450, .T.);
#7880 = EDGE_LOOP ('', (#7850, #7860, #7870));
#7890 = FACE_OUTER_BOUND ('', #7880, .F.);
#7900 = CARTESIAN_POINT ('', (0.217059450237512, -1.43935652836039, 0.142223316029519));
#7910 = CARTESIAN_POINT ('', (0.217059450237512, -1.38796165448953, 0.142223316029519));
#7920 = CARTESIAN_POINT ('', (0.25, -1.43935652836039, 0.123205080756891));
#7930 = CARTESIAN_POINT ('', (0.25, -1.38796165448953, 0.123205080756891));
#7940 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7900, #7910), (#7920, #7930)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.435683586333836, -0.397647115788582), (10.2606434716396, 10.3120383455105), .UNSPECIFIED.);
#7950 = ADVANCED_FACE ('', (#7890), #7940, .F.);
#7960 = ORIENTED_EDGE ('', *, *, #5370, .T.);
#7970 = ORIENTED_EDGE ('', *, *, #6480, .T.);
#7980 = ORIENTED_EDGE ('', *, *, #6810, .T.);
#7990 = ORIENTED_EDGE ('', *, *, #7210, .T.);
#8000 = ORIENTED_EDGE ('', *, *, #7660, .T.);
#8010 = ORIENTED_EDGE ('', *, *, #7840, .F.);
#8020 = EDGE_LOOP ('', (#7960, #7970, #7980, #7990, #8000, #8010));
#8030 = FACE_OUTER_BOUND ('', #8020, .F.);
#8040 = CARTESIAN_POINT ('', (0.25, -1.40000460247113, 0.123205080756889));
#8050 = CARTESIAN_POINT ('', (-1.04873358645527, -1.40000460247113, 0.123205080756889));
#8060 = CARTESIAN_POINT ('', (0.250000000000001, -0.961466193489895, 0.826311148808998));
#8070 = CARTESIAN_POINT ('', (-1.04873358645527, -0.961466193489895, 0.826311148808999));
#8080 = CARTESIAN_POINT ('', (0.250000000000001, -0.135611738059031, 0.894417664859086));
#8090 = CARTESIAN_POINT ('', (-1.04873358645527, -0.13561173805903, 0.894417664859086));
#8100 = CARTESIAN_POINT ('', (0.250000000000002, 0.690242717371834, 0.962524180909173));
#8110 = CARTESIAN_POINT ('', (-1.04873358645527, 0.690242717371835, 0.962524180909174));
#8120 = CARTESIAN_POINT ('', (0.250000000000001, 1.23804051080742, 0.340759228060755));
#8130 = CARTESIAN_POINT ('', (-1.04873358645527, 1.23804051080742, 0.340759228060756));
#8140 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8040, #8050), (#8060, #8070), (#8080, #8090), (#8100, #8110), (#8120, #8130)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0.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 ('')
);
#8150 = ADVANCED_FACE ('', (#8030), #8140, .F.);
#8160 = CARTESIAN_POINT ('', (0.15, -1.57241851935164, -0.25));
#8170 = VERTEX_POINT ('', #8160);
#8180 = CARTESIAN_POINT ('', (0.250000000000002, -1.56364545631663, -0.223205080756887));
#8190 = CARTESIAN_POINT ('', (0.248443654682636, -1.56394818155265, -0.22410363714482));
#8200 = CARTESIAN_POINT ('', (0.246873918012462, -1.56424322427078, -0.224981949757121));
#8210 = CARTESIAN_POINT ('', (0.245291673079934, -1.56453049593438, -0.2258394069645));
#8220 = CARTESIAN_POINT ('', (0.225861313239784, -1.56805826314722, -0.236369193942722));
#8230 = CARTESIAN_POINT ('', (0.204164185589144, -1.57044418283679, -0.243818949233899));
#8240 = CARTESIAN_POINT ('', (0.182103521994543, -1.57159150849431, -0.24740659531927));
#8250 = CARTESIAN_POINT ('', (0.171517148446242, -1.57214208204982, -0.249128219034529));
#8260 = CARTESIAN_POINT ('', (0.160739572820236, -1.57241851935164, -0.249999999999998));
#8270 = CARTESIAN_POINT ('', (0.15, -1.57241851935164, -0.25));
#8280 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#8180, #8190, #8200, #8210, #8220, #8230, #8240, #8250, #8260, #8270), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (0., 0.0517149316143277, 0.694977381207253, 1.), .UNSPECIFIED.);
#8290 = EDGE_CURVE ('', #5550, #8170, #8280, .T.);
#8300 = ORIENTED_EDGE ('', *, *, #8290, .F.);
#8310 = ORIENTED_EDGE ('', *, *, #5600, .T.);
#8320 = ORIENTED_EDGE ('', *, *, #3910, .T.);
#8330 = CARTESIAN_POINT ('', (0.15, -3.56510869399518, -0.25));
#8340 = DIRECTION ('', (0., 1.99269017464354, 0.));
#8350 = VECTOR ('', #8340, 1.99269017464354);
#8360 = LINE ('', #8330, #8350);
#8370 = EDGE_CURVE ('', #3740, #8170, #8360, .T.);
#8380 = ORIENTED_EDGE ('', *, *, #8370, .T.);
#8390 = EDGE_LOOP ('', (#8300, #8310, #8320, #8380));
#8400 = FACE_OUTER_BOUND ('', #8390, .F.);
#8410 = CARTESIAN_POINT ('', (0.150000000000001, -1.56364545631662, -0.249999999999918));
#8420 = CARTESIAN_POINT ('', (0.15, -3.56510869399614, -0.250000000000078));
#8430 = CARTESIAN_POINT ('', (0.203589838486226, -1.56364545631662, -0.249999999999918));
#8440 = CARTESIAN_POINT ('', (0.203589838486225, -3.56510869399614, -0.250000000000078));
#8450 = CARTESIAN_POINT ('', (0.250000000000002, -1.56364545631662, -0.223205080756805));
#8460 = CARTESIAN_POINT ('', (0.250000000000001, -3.56510869399614, -0.223205080756965));
#8470 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8410, #8420), (#8430, #8440), (#8450, #8460)), .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 ('')
);
#8480 = ADVANCED_FACE ('', (#8400), #8470, .F.);
#8490 = ORIENTED_EDGE ('', *, *, #3790, .T.);
#8500 = CARTESIAN_POINT ('', (-0.79839285078846, -1.57241851935164, -0.25));
#8510 = VERTEX_POINT ('', #8500);
#8520 = CARTESIAN_POINT ('', (-0.79839285078846, -3.56510869399518, -0.25));
#8530 = DIRECTION ('', (0., 1.99269017464354, 0.));
#8540 = VECTOR ('', #8530, 1.99269017464354);
#8550 = LINE ('', #8520, #8540);
#8560 = EDGE_CURVE ('', #3530, #8510, #8550, .T.);
#8570 = ORIENTED_EDGE ('', *, *, #8560, .T.);
#8580 = CARTESIAN_POINT ('', (0.15, -1.57241851935164, -0.25));
#8590 = DIRECTION ('', (-0.94839285078846, 0., 0.));
#8600 = VECTOR ('', #8590, 0.94839285078846);
#8610 = LINE ('', #8580, #8600);
#8620 = EDGE_CURVE ('', #8170, #8510, #8610, .T.);
#8630 = ORIENTED_EDGE ('', *, *, #8620, .F.);
#8640 = ORIENTED_EDGE ('', *, *, #8370, .F.);
#8650 = EDGE_LOOP ('', (#8490, #8570, #8630, #8640));
#8660 = FACE_OUTER_BOUND ('', #8650, .F.);
#8670 = CARTESIAN_POINT ('', (0.151, -3.56610869399518, -0.25));
#8680 = CARTESIAN_POINT ('', (0.151, -1.57141851935164, -0.25));
#8690 = CARTESIAN_POINT ('', (-0.79939285078846, -3.56610869399518, -0.25));
#8700 = CARTESIAN_POINT ('', (-0.79939285078846, -1.57141851935164, -0.25));
#8710 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8670, #8680), (#8690, #8700)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00100000000000021, 0.94939285078846), (3.43389130600482, 5.42858148064836), .UNSPECIFIED.);
#8720 = ADVANCED_FACE ('', (#8660), #8710, .F.);
#8730 = CARTESIAN_POINT ('', (-1.04799838239059, -1.63059711267092, -0.5));
#8740 = VERTEX_POINT ('', #8730);
#8750 = CARTESIAN_POINT ('', (-1.04799838239059, -1.63059711267092, -0.5));
#8760 = DIRECTION ('', (-8.28774138983412E-6, -1.96055245604918, 0.));
#8770 = VECTOR ('', #8760, 1.9605524560667);
#8780 = LINE ('', #8750, #8770);
#8790 = EDGE_CURVE ('', #8740, #3410, #8780, .T.);
#8800 = ORIENTED_EDGE ('', *, *, #8790, .F.);
#8810 = CARTESIAN_POINT ('', (-0.79839285078846, -1.57241851935164, -0.249999999999999));
#8820 = CARTESIAN_POINT ('', (-0.82553165786613, -1.57241851935164, -0.249999999999999));
#8830 = CARTESIAN_POINT ('', (-0.8530432550525, -1.57388616403318, -0.254556141891505));
#8840 = CARTESIAN_POINT ('', (-0.87862138979877, -1.57656210876226, -0.263222928626372));
#8850 = CARTESIAN_POINT ('', (-0.90417504409954, -1.57923549238516, -0.271881420510877));
#8860 = CARTESIAN_POINT ('', (-0.92849466875477, -1.58316840517904, -0.284854263511561));
#8870 = CARTESIAN_POINT ('', (-0.94976319901248, -1.58774385516138, -0.301035134562556));
#8880 = CARTESIAN_POINT ('', (-0.97158173213909, -1.59243762599554, -0.317634441931985));
#8890 = CARTESIAN_POINT ('', (-0.99077916550894, -1.59791490578163, -0.338040417208995));
#8900 = CARTESIAN_POINT ('', (-1.00597366797328, -1.60341184384043, -0.360679490609303));
#8910 = CARTESIAN_POINT ('', (-1.02173391513681, -1.60911345221179, -0.384161496234658));
#8920 = CARTESIAN_POINT ('', (-1.03361427713215, -1.61497860139088, -0.410695968198071));
#8930 = CARTESIAN_POINT ('', (-1.04062779047314, -1.62026715597849, -0.438175781477178));
#8940 = CARTESIAN_POINT ('', (-1.04574646987579, -1.62412690702212, -0.458231400876682));
#8950 = CARTESIAN_POINT ('', (-1.04838843684057, -1.62775163657524, -0.479134831154854));
#8960 = CARTESIAN_POINT ('', (-1.04839284516205, -1.63094251197175, -0.499946960339882));
#8970 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#8810, #8820, #8830, #8840, #8850, #8860, #8870, #8880, #8890, #8900, #8910, #8920, #8930, #8940, #8950, #8960), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 4), (0., 0.20590316049282, 0.411457479495369, 0.622332248617829, 0.841256167815808, 1.), .UNSPECIFIED.);
#8980 = EDGE_CURVE ('', #8510, #8740, #8970, .T.);
#8990 = ORIENTED_EDGE ('', *, *, #8980, .F.);
#9000 = ORIENTED_EDGE ('', *, *, #8560, .F.);
#9010 = ORIENTED_EDGE ('', *, *, #3710, .T.);
#9020 = EDGE_LOOP ('', (#8800, #8990, #9000, #9010));
#9030 = FACE_OUTER_BOUND ('', #9020, .F.);
#9040 = CARTESIAN_POINT ('', (-1.04839285078847, -1.57241851935164, -0.5));
#9050 = CARTESIAN_POINT ('', (-1.04839285078846, -3.5911495687201, -0.500000000000001));
#9060 = CARTESIAN_POINT ('', (-1.04839285078847, -1.57241851935164, -0.249999999999999));
#9070 = CARTESIAN_POINT ('', (-1.04839285078846, -3.5911495687201, -0.25));
#9080 = CARTESIAN_POINT ('', (-0.798392850788473, -1.57241851935164, -0.249999999999999));
#9090 = CARTESIAN_POINT ('', (-0.798392850788458, -3.5911495687201, -0.25));
#9100 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#9040, #9050), (#9060, #9070), (#9080, #9090)), .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 ('')
);
#9110 = ADVANCED_FACE ('', (#9030), #9100, .F.);
#9120 = ORIENTED_EDGE ('', *, *, #5690, .T.);
#9130 = ORIENTED_EDGE ('', *, *, #8290, .T.);
#9140 = ORIENTED_EDGE ('', *, *, #8620, .T.);
#9150 = ORIENTED_EDGE ('', *, *, #8980, .T.);
#9160 = CARTESIAN_POINT ('', (-1.02230506439548, -1.6441508186157, -0.611190469904597));
#9170 = VERTEX_POINT ('', #9160);
#9180 = CARTESIAN_POINT ('', (-1.04839284516208, -1.63094251199328, -0.499946960480312));
#9190 = CARTESIAN_POINT ('', (-1.04839870300935, -1.63518210465976, -0.527599230741013));
#9200 = CARTESIAN_POINT ('', (-1.04368259775607, -1.63873943154078, -0.555752305758766));
#9210 = CARTESIAN_POINT ('', (-1.03454306679619, -1.64143065169847, -0.582055319629521));
#9220 = CARTESIAN_POINT ('', (-1.031088998277, -1.64244773439841, -0.591995918613176));
#9230 = CARTESIAN_POINT ('', (-1.02699398213336, -1.6433536311486, -0.60174806039763));
#9240 = CARTESIAN_POINT ('', (-1.02230506439548, -1.6441508186157, -0.611190469904597));
#9250 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#9180, #9190, #9200, #9210, #9220, #9230, #9240), .UNSPECIFIED., .F., .U., (4, 3, 4), (1.23264452239944E-9, 0.728164018262641, 1.), .UNSPECIFIED.);
#9260 = EDGE_CURVE ('', #8740, #9170, #9250, .T.);
#9270 = ORIENTED_EDGE ('', *, *, #9260, .T.);
#9280 = CARTESIAN_POINT ('', (-0.95156795068742, -1.64999999999974, -0.7500006598398));
#9290 = VERTEX_POINT ('', #9280);
#9300 = CARTESIAN_POINT ('', (-1.02230506439548, -1.6441508186157, -0.611190469904597));
#9310 = CARTESIAN_POINT ('', (-0.99925739849051, -1.6480692730294, -0.657603205597539));
#9320 = CARTESIAN_POINT ('', (-0.97564324679924, -1.65000003684042, -0.703945569564257));
#9330 = CARTESIAN_POINT ('', (-0.95156795068742, -1.64999999999974, -0.7500006598398));
#9340 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#9300, #9310, #9320, #9330), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#9350 = EDGE_CURVE ('', #9170, #9290, #9340, .T.);
#9360 = ORIENTED_EDGE ('', *, *, #9350, .T.);
#9370 = CARTESIAN_POINT ('', (0.25, -1.65, -0.75));
#9380 = DIRECTION ('', (-1.20156795068742, 2.60014232367212E-13, -6.59839800021267E-7));
#9390 = VECTOR ('', #9380, 1.2015679506876);
#9400 = LINE ('', #9370, #9390);
#9410 = EDGE_CURVE ('', #5630, #9290, #9400, .T.);
#9420 = ORIENTED_EDGE ('', *, *, #9410, .F.);
#9430 = EDGE_LOOP ('', (#9120, #9130, #9140, #9150, #9270, #9360, #9420));
#9440 = FACE_OUTER_BOUND ('', #9430, .F.);
#9450 = CARTESIAN_POINT ('', (0.25000000000001, -1.65000000000004, -0.750000000000006));
#9460 = CARTESIAN_POINT ('', (-1.04839430962391, -1.65000000000004, -0.75));
#9470 = CARTESIAN_POINT ('', (0.250000000000011, -1.65000000000004, -0.479524731783139));
#9480 = CARTESIAN_POINT ('', (-1.0483943096239, -1.65000000000004, -0.479524731783133));
#9490 = CARTESIAN_POINT ('', (0.250000000000012, -1.56364545631667, -0.22320508075688));
#9500 = CARTESIAN_POINT ('', (-1.0483943096239, -1.56364545631667, -0.223205080756874));
#9510 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#9450, #9460), (#9470, #9480), (#9490, #9500)), .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 ('')
);
#9520 = ADVANCED_FACE ('', (#9440), #9510, .F.);
#9530 = ORIENTED_EDGE ('', *, *, #8790, .T.);
#9540 = ORIENTED_EDGE ('', *, *, #3500, .T.);
#9550 = CARTESIAN_POINT ('', (-1.02230506439548, -3.59732288158218, -0.611190469904598));
#9560 = DIRECTION ('', (0., 1.95317206296648, 9.99200722162641E-16));
#9570 = VECTOR ('', #9560, 1.95317206296648);
#9580 = LINE ('', #9550, #9570);
#9590 = EDGE_CURVE ('', #3320, #9170, #9580, .T.);
#9600 = ORIENTED_EDGE ('', *, *, #9590, .T.);
#9610 = ORIENTED_EDGE ('', *, *, #9260, .F.);
#9620 = EDGE_LOOP ('', (#9530, #9540, #9600, #9610));
#9630 = FACE_OUTER_BOUND ('', #9620, .F.);
#9640 = CARTESIAN_POINT ('', (-1.02230506439553, -1.63059711267093, -0.6111904699047));
#9650 = CARTESIAN_POINT ('', (-1.02230506439538, -3.59732288158215, -0.611190469904625));
#9660 = CARTESIAN_POINT ('', (-1.04839782802045, -1.63059711267093, -0.558645602818616));
#9670 = CARTESIAN_POINT ('', (-1.04839782802031, -3.59732288158215, -0.558645602818541));
#9680 = CARTESIAN_POINT ('', (-1.04839284988851, -1.63059711267093, -0.499978786423839));
#9690 = CARTESIAN_POINT ('', (-1.04839284988836, -3.59732288158215, -0.499978786423764));
#9700 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#9640, #9650), (#9660, #9670), (#9680, #9690)), .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.97355305742506, 0.97355305742506), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#9710 = ADVANCED_FACE ('', (#9630), #9700, .F.);
#9720 = ORIENTED_EDGE ('', *, *, #3380, .T.);
#9730 = ORIENTED_EDGE ('', *, *, #3200, .T.);
#9740 = ORIENTED_EDGE ('', *, *, #5920, .T.);
#9750 = CARTESIAN_POINT ('', (0.217059450237506, -0.0787072302855974, -2.39812171028137));
#9760 = VERTEX_POINT ('', #9750);
#9770 = CARTESIAN_POINT ('', (9.45243212772047, 0.612709458910436, 7.06839925764997));
#9780 = DIRECTION ('', (-0.499999999999916, 0.750000000000034, 0.433012701892257));
#9790 = DIRECTION ('', (-0.694874173705646, -0.0490246861290862, -0.717458335282851));
#9800 = AXIS2_PLACEMENT_3D ('', #9770, #9780, #9790);
#9810 = CIRCLE ('', #9800, 13.2433071708741);
#9820 = EDGE_CURVE ('', #5810, #9760, #9810, .T.);
#9830 = ORIENTED_EDGE ('', *, *, #9820, .T.);
#9840 = CARTESIAN_POINT ('', (-0.95156795068742, -1.64999999999974, -0.7500006598398));
#9850 = CARTESIAN_POINT ('', (-0.82158722072258, -1.64999980101726, -0.998648660889369));
#9860 = CARTESIAN_POINT ('', (-0.674600563257798, -1.59262572805057, -1.24353308197899));
#9870 = CARTESIAN_POINT ('', (-0.529035437173705, -1.48940770322737, -1.46004555738837));
#9880 = CARTESIAN_POINT ('', (-0.403684346041579, -1.40052314423887, -1.64649182900843));
#9890 = CARTESIAN_POINT ('', (-0.275432187162395, -1.27527217425156, -1.81829974322675));
#9900 = CARTESIAN_POINT ('', (-0.16014075956704, -1.11926449997246, -1.96233121674788));
#9910 = CARTESIAN_POINT ('', (-0.0686480170155422, -0.995460239095647, -2.07663142796942));
#9920 = CARTESIAN_POINT ('', (0.0168353219872919, -0.848907852560601, -2.17626421641005));
#9930 = CARTESIAN_POINT ('', (0.083083326374615, -0.68522916771825, -2.2509866713959));
#9940 = CARTESIAN_POINT ('', (0.134762475809791, -0.557545695717097, -2.30927662221163));
#9950 = CARTESIAN_POINT ('', (0.175533049686205, -0.416277587107564, -2.35345831394215));
#9960 = CARTESIAN_POINT ('', (0.198025888466837, -0.270406626043338, -2.37769169580479));
#9970 = CARTESIAN_POINT ('', (0.207736684103392, -0.207430000192883, -2.38815393319268));
#9980 = CARTESIAN_POINT ('', (0.214181856640002, -0.143143738501018, -2.39504449877492));
#9990 = CARTESIAN_POINT ('', (0.217059450237506, -0.0787072302855974, -2.39812171028137));
#10000 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#9840, #9850, #9860, #9870, #9880, #9890, #9900, #9910, #9920, #9930, #9940, #9950, #9960, #9970, #9980, #9990), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 4), (0., 0.304107143850168, 0.564639549986578, 0.770877277090193, 0.931447013361782, 1.), .UNSPECIFIED.);
#10010 = EDGE_CURVE ('', #9290, #9760, #10000, .T.);
#10020 = ORIENTED_EDGE ('', *, *, #10010, .F.);
#10030 = ORIENTED_EDGE ('', *, *, #9350, .F.);
#10040 = ORIENTED_EDGE ('', *, *, #9590, .F.);
#10050 = EDGE_LOOP ('', (#9720, #9730, #9740, #9830, #10020, #10030, #10040));
#10060 = FACE_OUTER_BOUND ('', #10050, .F.);
#10070 = CARTESIAN_POINT ('', (0.250000000000001, -0.0365395184688762, -2.43312185904154));
#10080 = CARTESIAN_POINT ('', (0.249999999999999, -3.60000005247246, -2.43312185904153));
#10090 = CARTESIAN_POINT ('', (-0.52261517166418, -0.0365395184688754, -1.61745179872642));
#10100 = CARTESIAN_POINT ('', (-0.522615171664182, -3.60000005247246, -1.61745179872642));
#10110 = CARTESIAN_POINT ('', (-1.02230506439548, -0.0365395184688746, -0.611190469904602));
#10120 = CARTESIAN_POINT ('', (-1.02230506439549, -3.60000005247246, -0.6111904699046));
#10130 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#10070, #10080), (#10090, #10100), (#10110, #10120)), .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 ('')
);
#10140 = ADVANCED_FACE ('', (#10060), #10130, .F.);
#10150 = CARTESIAN_POINT ('', (1.43530151876391, -1.65802211539722, 1.7440366841479));
#10160 = DIRECTION ('', (-0.499999999996605, 0.749999999995524, 0.433012701903892));
#10170 = DIRECTION ('', (-0.257821558401318, 0.348417914002099, -0.901184221580661));
#10180 = AXIS2_PLACEMENT_3D ('', #10150, #10160, #10170);
#10190 = CIRCLE ('', #10180, 4.59737162455514);
#10200 = EDGE_CURVE ('', #5720, #9760, #10190, .T.);
#10210 = ORIENTED_EDGE ('', *, *, #10200, .T.);
#10220 = ORIENTED_EDGE ('', *, *, #9820, .F.);
#10230 = ORIENTED_EDGE ('', *, *, #5860, .T.);
#10240 = EDGE_LOOP ('', (#10210, #10220, #10230));
#10250 = FACE_OUTER_BOUND ('', #10240, .F.);
#10260 = CARTESIAN_POINT ('', (0.207732983172114, -0.0647175296875151, -2.43312185904154));
#10270 = CARTESIAN_POINT ('', (0.21705945023751, -0.0787072302856107, -2.39812171028137));
#10280 = CARTESIAN_POINT ('', (0.24999999999998, -0.0365395184689374, -2.43312185904154));
#10290 = CARTESIAN_POINT ('', (0.259326467065376, -0.050529219067033, -2.39812171028137));
#10300 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10260, #10270), (#10280, #10290)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (2.42719922362087, 2.47799785576546), (9.97894426121098, 10.0177734399813), .UNSPECIFIED.);
#10310 = ADVANCED_FACE ('', (#10250), #10300, .F.);
#10320 = ORIENTED_EDGE ('', *, *, #5780, .T.);
#10330 = ORIENTED_EDGE ('', *, *, #9410, .T.);
#10340 = ORIENTED_EDGE ('', *, *, #10010, .T.);
#10350 = ORIENTED_EDGE ('', *, *, #10200, .F.);
#10360 = EDGE_LOOP ('', (#10320, #10330, #10340, #10350));
#10370 = FACE_OUTER_BOUND ('', #10360, .F.);
#10380 = CARTESIAN_POINT ('', (0.250000000000005, -0.0562154814135463, -2.39904209153358));
#10390 = CARTESIAN_POINT ('', (-0.951567950687601, -0.0562154814135446, -2.39904209153358));
#10400 = CARTESIAN_POINT ('', (0.250000000000003, -1.65, -2.34471032860176));
#10410 = CARTESIAN_POINT ('', (-0.951567950687604, -1.64999999999999, -2.34471032860176));
#10420 = CARTESIAN_POINT ('', (0.250000000000002, -1.65, -0.750000000000002));
#10430 = CARTESIAN_POINT ('', (-0.951567950687605, -1.65, -0.750000000000003));
#10440 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#10380, #10390), (#10400, #10410), (#10420, #10430)), .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.719051454603732, 0.719051454603732), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#10450 = ADVANCED_FACE ('', (#10370), #10440, .F.);
#10460 = CARTESIAN_POINT ('', (0.150000000001585, 0.353196557783583, -2.36175438313964));
#10470 = VERTEX_POINT ('', #10460);
#10480 = CARTESIAN_POINT ('', (0.25, 0.325604945509193, -2.36755414730387));
#10490 = CARTESIAN_POINT ('', (0.246244583660311, 0.327847887308459, -2.36710265518934));
#10500 = CARTESIAN_POINT ('', (0.242409847906994, 0.329967019024849, -2.36667123533725));
#10510 = CARTESIAN_POINT ('', (0.238508441247758, 0.331954525539475, -2.36626303335004));
#10520 = CARTESIAN_POINT ('', (0.218763474751394, 0.342013269210729, -2.3641971285969));
#10530 = CARTESIAN_POINT ('', (0.196902142154429, 0.348777204818857, -2.36271909020276));
#10540 = CARTESIAN_POINT ('', (0.174836161936506, 0.351609332402251, -2.36210138557339));
#10550 = CARTESIAN_POINT ('', (0.166610417909587, 0.352665091372508, -2.36187111797978));
#10560 = CARTESIAN_POINT ('', (0.158296415793399, 0.353196557783473, -2.3617543831397));
#10570 = CARTESIAN_POINT ('', (0.150000000003172, 0.353196557783607, -2.36175438313967));
#10580 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#10480, #10490, #10500, #10510, #10520, #10530, #10540, #10550, #10560, #10570), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (0., 0.125166636929733, 0.764726547936118, 1.), .UNSPECIFIED.);
#10590 = EDGE_CURVE ('', #5960, #10470, #10580, .T.);
#10600 = ORIENTED_EDGE ('', *, *, #10590, .F.);
#10610 = ORIENTED_EDGE ('', *, *, #6010, .T.);
#10620 = ORIENTED_EDGE ('', *, *, #3020, .T.);
#10630 = CARTESIAN_POINT ('', (0.15, 1.34954164510534, -4.0874746962526));
#10640 = DIRECTION ('', (1.5850099011061E-12, -0.996345087321757, 1.72572031311296));
#10650 = VECTOR ('', #10640, 1.99269017464354);
#10660 = LINE ('', #10630, #10650);
#10670 = EDGE_CURVE ('', #2850, #10470, #10660, .T.);
#10680 = ORIENTED_EDGE ('', *, *, #10670, .T.);
#10690 = EDGE_LOOP ('', (#10600, #10610, #10620, #10680));
#10700 = FACE_OUTER_BOUND ('', #10690, .F.);
#10710 = CARTESIAN_POINT ('', (0.150000000000004, 0.348810026265823, -2.35415668768246));
#10720 = CARTESIAN_POINT ('', (0.149999999999998, 1.34954164510539, -4.08747469625254));
#10730 = CARTESIAN_POINT ('', (0.203589838486201, 0.348810026265824, -2.35415668768246));
#10740 = CARTESIAN_POINT ('', (0.203589838486195, 1.34954164510539, -4.08747469625254));
#10750 = CARTESIAN_POINT ('', (0.249999999999958, 0.325604945508959, -2.367554147304));
#10760 = CARTESIAN_POINT ('', (0.249999999999953, 1.32633656434852, -4.10087215587409));
#10770 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#10710, #10720), (#10730, #10740), (#10750, #10760)), .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.965925826289096, 0.965925826289096), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#10780 = ADVANCED_FACE ('', (#10700), #10770, .F.);
#10790 = ORIENTED_EDGE ('', *, *, #2900, .T.);
#10800 = CARTESIAN_POINT ('', (-0.79839285078846, 0.353196557783583, -2.36175438313964));
#10810 = VERTEX_POINT ('', #10800);
#10820 = CARTESIAN_POINT ('', (-0.79839285078846, 1.34954164510534, -4.0874746962526));
#10830 = DIRECTION ('', (0., -0.996345087321757, 1.72572031311296));
#10840 = VECTOR ('', #10830, 1.99269017464354);
#10850 = LINE ('', #10820, #10840);
#10860 = EDGE_CURVE ('', #2610, #10810, #10850, .T.);
#10870 = ORIENTED_EDGE ('', *, *, #10860, .T.);
#10880 = CARTESIAN_POINT ('', (0.150000000001585, 0.353196557783583, -2.36175438313964));
#10890 = DIRECTION ('', (-0.948392850790045, 0., 0.));
#10900 = VECTOR ('', #10890, 0.948392850790045);
#10910 = LINE ('', #10880, #10900);
#10920 = EDGE_CURVE ('', #10470, #10810, #10910, .T.);
#10930 = ORIENTED_EDGE ('', *, *, #10920, .F.);
#10940 = ORIENTED_EDGE ('', *, *, #10670, .F.);
#10950 = EDGE_LOOP ('', (#10790, #10870, #10930, #10940));
#10960 = FACE_OUTER_BOUND ('', #10950, .F.);
#10970 = CARTESIAN_POINT ('', (-0.79939285078846, 1.35022465780723, -4.08865770895449));
#10980 = CARTESIAN_POINT ('', (0.151000000001585, 1.35022465780723, -4.08865770895449));
#10990 = CARTESIAN_POINT ('', (-0.79939285078846, 0.352513545081691, -2.36057137043775));
#11000 = CARTESIAN_POINT ('', (0.151000000001585, 0.352513545081691, -2.36057137043775));
#11010 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10970, #10980), (#10990, #11000)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (3.43352528060104, 5.42894750605214), (-0.94939285078846, 0.00100000000158461), .UNSPECIFIED.);
#11020 = ADVANCED_FACE ('', (#10960), #11010, .F.);
#11030 = ORIENTED_EDGE ('', *, *, #2820, .T.);
#11040 = CARTESIAN_POINT ('', (-1.02230506439548, 0.701862829957839, -2.24328114162189));
#11050 = VERTEX_POINT ('', #11040);
#11060 = CARTESIAN_POINT ('', (-1.02230506439548, 1.67844886144106, -3.93477776611292));
#11070 = DIRECTION ('', (0., -0.976586031483221, 1.69149662449103));
#11080 = VECTOR ('', #11070, 1.95317206296647);
#11090 = LINE ('', #11060, #11080);
#11100 = EDGE_CURVE ('', #2520, #11050, #11090, .T.);
#11110 = ORIENTED_EDGE ('', *, *, #11100, .T.);
#11120 = CARTESIAN_POINT ('', (-0.79839285078846, 0.353196557783583, -2.36175438313964));
#11130 = CARTESIAN_POINT ('', (-0.82553165786613, 0.353196557783583, -2.36175438313964));
#11140 = CARTESIAN_POINT ('', (-0.8530432550525, 0.357876114745641, -2.36074732977183));
#11150 = CARTESIAN_POINT ('', (-0.87862138979877, 0.366719744591761, -2.3587313725189));
#11160 = CARTESIAN_POINT ('', (-0.90417504409954, 0.375554910333655, -2.35671734470814));
#11170 = CARTESIAN_POINT ('', (-0.92849466875477, 0.388756178328491, -2.35363692559817));
#11180 = CARTESIAN_POINT ('', (-0.94976319901248, 0.405056948705186, -2.34950894599113));
#11190 = CARTESIAN_POINT ('', (-0.97158173213909, 0.421779255989417, -2.34527421708834));
#11200 = CARTESIAN_POINT ('', (-0.99077916550894, 0.442189988861347, -2.33981469288822));
#11210 = CARTESIAN_POINT ('', (-1.00597366797328, 0.464544470573556, -2.33325564419001));
#11220 = CARTESIAN_POINT ('', (-1.02173391513681, 0.487731288162603, -2.32645237906936));
#11230 = CARTESIAN_POINT ('', (-1.03361427713215, 0.513643389548468, -2.31826451127373));
#11240 = CARTESIAN_POINT ('', (-1.04062779047314, 0.540085883233235, -2.30910462725636));
#11250 = CARTESIAN_POINT ('', (-1.04768917560627, 0.566708864143109, -2.29988222107037));
#11260 = CARTESIAN_POINT ('', (-1.04999870524604, 0.594622900549386, -2.28940239622048));
#11270 = CARTESIAN_POINT ('', (-1.04724775972272, 0.621409787744066, -2.2785123079962));
#11280 = CARTESIAN_POINT ('', (-1.04436540447922, 0.649476255839556, -2.2671020119255));
#11290 = CARTESIAN_POINT ('', (-1.03580242274335, 0.677176363911599, -2.25488412276049));
#11300 = CARTESIAN_POINT ('', (-1.02230506439548, 0.701862829957839, -2.24328114162189));
#11310 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#11120, #11130, #11140, #11150, #11160, #11170, #11180, #11190, #11200, #11210, #11220, #11230, #11240, #11250, #11260, #11270, #11280, #11290, #11300), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 4), (0., 0.159201554123479, 0.318133388698892, 0.481178923742518, 0.650447953356741, 0.820976657452708, 1.), .UNSPECIFIED.);
#11320 = EDGE_CURVE ('', #10810, #11050, #11310, .T.);
#11330 = ORIENTED_EDGE ('', *, *, #11320, .F.);
#11340 = ORIENTED_EDGE ('', *, *, #10860, .F.);
#11350 = EDGE_LOOP ('', (#11030, #11110, #11330, #11340));
#11360 = FACE_OUTER_BOUND ('', #11350, .F.);
#11370 = CARTESIAN_POINT ('', (-1.02230506439548, 0.665996680325812, -2.18115914818734));
#11380 = CARTESIAN_POINT ('', (-1.02230506439552, 1.67844886144106, -3.93477776611293));
#11390 = CARTESIAN_POINT ('', (-1.08419803646566, 0.558056736600168, -2.24347830375365));
#11400 = CARTESIAN_POINT ('', (-1.08419803646569, 1.57050891771541, -3.99709692167924));
#11410 = CARTESIAN_POINT ('', (-1.01087534121548, 0.455626647191868, -2.30261634344665));
#11420 = CARTESIAN_POINT ('', (-1.01087534121552, 1.46807882830711, -4.05623496137224));
#11430 = CARTESIAN_POINT ('', (-0.937552645965308, 0.353196557783568, -2.36175438313965));
#11440 = CARTESIAN_POINT ('', (-0.937552645965341, 1.36564873889881, -4.11537300106524));
#11450 = CARTESIAN_POINT ('', (-0.798392850788421, 0.353196557783584, -2.36175438313964));
#11460 = CARTESIAN_POINT ('', (-0.798392850788454, 1.36564873889883, -4.11537300106523));
#11470 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#11370, #11380), (#11390, #11400), (#11410, #11420), (#11430, #11440), (#11450, #11460)), .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.873755023578118, 0.873755023578118), (1., 1.), (0.873755023578118, 0.873755023578118), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#11480 = ADVANCED_FACE ('', (#11360), #11470, .F.);
#11490 = ORIENTED_EDGE ('', *, *, #2580, .T.);
#11500 = ORIENTED_EDGE ('', *, *, #5180, .T.);
#11510 = CARTESIAN_POINT ('', (0.217059450237495, 1.46666888477513, 0.00589839425182502));
#11520 = VERTEX_POINT ('', #11510);
#11530 = CARTESIAN_POINT ('', (9.4524321266171, -7.07728710363143, -4.12857767157654));
#11540 = DIRECTION ('', (-0.500000000049494, -0.749999999954077, 0.43301270191461));
#11550 = DIRECTION ('', (-0.694874173669928, 0.645849487629831, 0.316272544010415));
#11560 = AXIS2_PLACEMENT_3D ('', #11530, #11540, #11550);
#11570 = CIRCLE ('', #11560, 13.2433071699669);
#11580 = EDGE_CURVE ('', #5130, #11520, #11570, .T.);
#11590 = ORIENTED_EDGE ('', *, *, #11580, .T.);
#11600 = CARTESIAN_POINT ('', (0.0200674343982201, 1.65005200256461, -0.75));
#11610 = VERTEX_POINT ('', #11600);
#11620 = CARTESIAN_POINT ('', (0.0200325531137841, 1.64999999993119, -0.74998493123563));
#11630 = CARTESIAN_POINT ('', (0.081750210030928, 1.64999869518319, -0.607124956296158));
#11640 = CARTESIAN_POINT ('', (0.134414329761137, 1.63099249771826, -0.457849223883622));
#11650 = CARTESIAN_POINT ('', (0.169477672700744, 1.59071462408086, -0.3116770771049));
#11660 = CARTESIAN_POINT ('', (0.195331920146157, 1.56101539906999, -0.203895829351264));
#11670 = CARTESIAN_POINT ('', (0.211945938676323, 1.51918540289158, -0.095999352381665));
#11680 = CARTESIAN_POINT ('', (0.217059450237503, 1.46666888477513, 0.00589839425182602));
#11690 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#11620, #11630, #11640, #11650, #11660, #11670, #11680), .UNSPECIFIED., .F., .U., (4, 3, 4), (0., 0.576598253343956, 1.), .UNSPECIFIED.);
#11700 = EDGE_CURVE ('', #11610, #11520, #11690, .T.);
#11710 = ORIENTED_EDGE ('', *, *, #11700, .F.);
#11720 = CARTESIAN_POINT ('', (-1.02230506439548, 0.701862829957839, -2.24328114162189));
#11730 = CARTESIAN_POINT ('', (-0.91738470337681, 0.893760597142377, -2.15308653178945));
#11740 = CARTESIAN_POINT ('', (-0.79925665305763, 1.06496089880578, -2.02661453644219));
#11750 = CARTESIAN_POINT ('', (-0.678501892452479, 1.20405724676335, -1.87816051451762));
#11760 = CARTESIAN_POINT ('', (-0.558057740033393, 1.34279580787998, -1.73008834945924));
#11770 = CARTESIAN_POINT ('', (-0.431685668909624, 1.45387152819573, -1.5562859727627));
#11780 = CARTESIAN_POINT ('', (-0.311931512883003, 1.52999404879946, -1.36775254806293));
#11790 = CARTESIAN_POINT ('', (-0.191567923697414, 1.60650395961777, -1.17825967005983));
#11800 = CARTESIAN_POINT ('', (-0.0740255478569409, 1.65000198837543, -0.967704440023395));
#11810 = CARTESIAN_POINT ('', (0.0200325531137851, 1.64999999993119, -0.74998493123563));
#11820 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#11720, #11730, #11740, #11750, #11760, #11770, #11780, #11790, #11800, #11810), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (0., 0.33336408081286, 0.66541458520467, 1.), .UNSPECIFIED.);
#11830 = EDGE_CURVE ('', #11050, #11610, #11820, .T.);
#11840 = ORIENTED_EDGE ('', *, *, #11830, .F.);
#11850 = ORIENTED_EDGE ('', *, *, #11100, .F.);
#11860 = EDGE_LOOP ('', (#11490, #11500, #11590, #11710, #11840, #11850));
#11870 = FACE_OUTER_BOUND ('', #11860, .F.);
#11880 = CARTESIAN_POINT ('', (0.249999999999983, 1.47589604682937, 0.0599167782846299));
#11890 = CARTESIAN_POINT ('', (0.250000000000004, 3.25809329607055, -3.02693940651067));
#11900 = CARTESIAN_POINT ('', (-0.522615171664187, 0.769505053490108, -0.347918251872912));
#11910 = CARTESIAN_POINT ('', (-0.522615171664166, 2.55170230273129, -3.43477443666821));
#11920 = CARTESIAN_POINT ('', (-1.0223050643955, -0.101942820115481, -0.851048916283817));
#11930 = CARTESIAN_POINT ('', (-1.02230506439548, 1.6802544291257, -3.93790510107911));
#11940 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#11880, #11890), (#11900, #11910), (#11920, #11930)), .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.988965353480071, 0.988965353480071), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#11950 = ADVANCED_FACE ('', (#11870), #11940, .F.);
#11960 = CARTESIAN_POINT ('', (1.43530151880401, -1.330888068682, -3.43290761407941));
#11970 = DIRECTION ('', (-0.499999999992038, -0.750000000018625, 0.433012701869155));
#11980 = DIRECTION ('', (-0.257821558410081, 0.606239472364167, 0.752330875457477));
#11990 = AXIS2_PLACEMENT_3D ('', #11960, #11970, #11980);
#12000 = CIRCLE ('', #11990, 4.5973716245544);
#12010 = EDGE_CURVE ('', #6130, #11520, #12000, .T.);
#12020 = ORIENTED_EDGE ('', *, *, #12010, .T.);
#12030 = ORIENTED_EDGE ('', *, *, #11580, .F.);
#12040 = ORIENTED_EDGE ('', *, *, #6250, .T.);
#12050 = EDGE_LOOP ('', (#12020, #12030, #12040));
#12060 = FACE_OUTER_BOUND ('', #12050, .F.);
#12070 = CARTESIAN_POINT ('', (0.244686969714845, 1.44825053845689, 0.00589839425182426));
#12080 = CARTESIAN_POINT ('', (0.259081213666781, 1.4698419043848, 0.059916778284629));
#12090 = CARTESIAN_POINT ('', (0.217059450237493, 1.46666888477513, 0.00589839425182426));
#12100 = CARTESIAN_POINT ('', (0.231453694189428, 1.48826025070304, 0.059916778284629));
#12110 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12070, #12080), (#12090, #12100)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (3.23697352936918, 3.270177675399), (-9.79719850682499, -9.73727049037945), .UNSPECIFIED.);
#12120 = ADVANCED_FACE ('', (#12060), #12110, .F.);
#12130 = ORIENTED_EDGE ('', *, *, #6190, .T.);
#12140 = CARTESIAN_POINT ('', (0.0200674343982201, 1.65005200256461, -0.75));
#12150 = DIRECTION ('', (0.22993256560178, -5.20025646100208E-5, 0.));
#12160 = VECTOR ('', #12150, 0.229932571482345);
#12170 = LINE ('', #12140, #12160);
#12180 = EDGE_CURVE ('', #11610, #6040, #12170, .T.);
#12190 = ORIENTED_EDGE ('', *, *, #12180, .F.);
#12200 = ORIENTED_EDGE ('', *, *, #11700, .T.);
#12210 = ORIENTED_EDGE ('', *, *, #12010, .F.);
#12220 = EDGE_LOOP ('', (#12130, #12190, #12200, #12210));
#12230 = FACE_OUTER_BOUND ('', #12220, .F.);
#12240 = CARTESIAN_POINT ('', (0.250000000000004, 1.45622008388468, 0.0258370107766881));
#12250 = CARTESIAN_POINT ('', (0.0200674343982201, 1.45622008388468, 0.0258370107766881));
#12260 = CARTESIAN_POINT ('', (0.250000000000004, 1.65, -0.337881401442559));
#12270 = CARTESIAN_POINT ('', (0.0200674343982201, 1.65, -0.337881401442559));
#12280 = CARTESIAN_POINT ('', (0.250000000000004, 1.65, -0.750000000000002));
#12290 = CARTESIAN_POINT ('', (0.0200674343982201, 1.65, -0.750000000000002));
#12300 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#12240, #12250), (#12260, #12270), (#12280, #12290)), .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 ('')
);
#12310 = ADVANCED_FACE ('', (#12230), #12300, .F.);
#12320 = ORIENTED_EDGE ('', *, *, #6100, .T.);
#12330 = ORIENTED_EDGE ('', *, *, #10590, .T.);
#12340 = ORIENTED_EDGE ('', *, *, #10920, .T.);
#12350 = ORIENTED_EDGE ('', *, *, #11320, .T.);
#12360 = ORIENTED_EDGE ('', *, *, #11830, .T.);
#12370 = ORIENTED_EDGE ('', *, *, #12180, .T.);
#12380 = EDGE_LOOP ('', (#12320, #12330, #12340, #12350, #12360, #12370));
#12390 = FACE_OUTER_BOUND ('', #12380, .F.);
#12400 = CARTESIAN_POINT ('', (0.250000000000001, 1.64999999405979, -0.749859990397108));
#12410 = CARTESIAN_POINT ('', (-1.04873358645527, 1.64999999405979, -0.749859990397106));
#12420 = CARTESIAN_POINT ('', (0.249999999999998, 1.65011463880074, -2.10093747346366));
#12430 = CARTESIAN_POINT ('', (-1.04873358645527, 1.65011463880074, -2.10093747346366));
#12440 = CARTESIAN_POINT ('', (0.249999999999998, 0.325604945509197, -2.36755414730387));
#12450 = CARTESIAN_POINT ('', (-1.04873358645527, 0.325604945509198, -2.36755414730387));
#12460 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#12400, #12410), (#12420, #12430), (#12440, #12450)), .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 ('')
);
#12470 = ADVANCED_FACE ('', (#12390), #12460, .F.);
#12480 = ORIENTED_EDGE ('', *, *, #4860, .F.);
#12490 = ORIENTED_EDGE ('', *, *, #610, .T.);
#12500 = ORIENTED_EDGE ('', *, *, #1180, .T.);
#12510 = ORIENTED_EDGE ('', *, *, #1610, .F.);
#12520 = EDGE_LOOP ('', (#12480, #12490, #12500, #12510));
#12530 = FACE_OUTER_BOUND ('', #12520, .F.);
#12540 = CARTESIAN_POINT ('', (1.9390301532854, 3.98886684534731, -4.01477078587374));
#12550 = CARTESIAN_POINT ('', (4.351, 3.98886684534731, -4.01477078587374));
#12560 = CARTESIAN_POINT ('', (1.9390301532854, 0.31268144592623, -4.33639533334261));
#12570 = CARTESIAN_POINT ('', (4.351, 0.31268144592623, -4.33639533334261));
#12580 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12540, #12550), (#12560, #12570)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.0010833504408394, 3.68914447998525), (-2.4109698467146, 0.00100000000000033), .UNSPECIFIED.);
#12590 = ADVANCED_FACE ('', (#12530), #12580, .F.);
#12600 = CLOSED_SHELL ('', (#440, #1030, #1300, #1710, #2310, #5110, #6340, #6670, #6910, #7370, #7780, #7950, #8150, #8480, #8720, #9110, #9520, #9710, #10140, #10310, #10450, #10780, #11020, #11480, #11950, #12120, #12310, #12470, #12590));
#12610 = MANIFOLD_SOLID_BREP ('NOCUT', #12600);
#12620 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#12630 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#12640 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#12650 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #12620, 'DISTANCE_ACCURACY_VALUE', '');
#12660 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#12650))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#12620, #12630, #12640))
   REPRESENTATION_CONTEXT ('', '3D')
);
#12670 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#12680 = FILL_AREA_STYLE_COLOUR ('', #12670);
#12690 = FILL_AREA_STYLE ('', (#12680));
#12700 = SURFACE_STYLE_FILL_AREA (#12690);
#12710 = SURFACE_SIDE_STYLE ('', (#12700));
#12720 = SURFACE_STYLE_USAGE (.POSITIVE., #12710);
#12730 = PRESENTATION_STYLE_ASSIGNMENT ((#12720));
#12740 = STYLED_ITEM ('', (#12730), #12610);
#12750 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#12610), #12660);
#12760 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#12770 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #12760);
#12780 = MECHANICAL_CONTEXT ('', #12760, 'mechanical');
#12790 = PRODUCT ('NONE', '', '', (#12780));
#12800 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#12810 = PERSON ('', '', $, $, $, $);
#12820 = ORGANIZATION ($, '', '');
#12830 = PERSON_AND_ORGANIZATION (#12810, #12820);
#12840 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#12830, #12800, (#12790));
#12850 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#12790));
#12860 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #12790, .NOT_KNOWN.);
#12870 = APPROVAL_STATUS ('approved');
#12880 = APPROVAL (#12870, '');
#12890 = CALENDAR_DATE (2016, 15, 12);
#12900 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#12910 = LOCAL_TIME (10, 25, 22., #12900);
#12920 = DATE_AND_TIME (#12890, #12910);
#12930 = APPROVAL_DATE_TIME (#12920, #12880);
#12940 = APPROVAL_ROLE ('');
#12950 = PERSON ('', '', $, $, $, $);
#12960 = ORGANIZATION ($, '', '');
#12970 = PERSON_AND_ORGANIZATION (#12950, #12960);
#12980 = APPROVAL_PERSON_ORGANIZATION (#12970, #12880, #12940);
#12990 = CC_DESIGN_APPROVAL (#12880, (#12860));
#13000 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#13010 = PERSON ('', '', $, $, $, $);
#13020 = ORGANIZATION ($, '', '');
#13030 = PERSON_AND_ORGANIZATION (#13010, #13020);
#13040 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13030, #13000, (#12860));
#13050 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#13060 = PERSON ('', '', $, $, $, $);
#13070 = ORGANIZATION ($, '', '');
#13080 = PERSON_AND_ORGANIZATION (#13060, #13070);
#13090 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13080, #13050, (#12860));
#13100 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#13110 = SECURITY_CLASSIFICATION ('', '', #13100);
#13120 = APPROVAL_STATUS ('approved');
#13130 = APPROVAL (#13120, '');
#13140 = CALENDAR_DATE (2016, 15, 12);
#13150 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13160 = LOCAL_TIME (10, 25, 22., #13150);
#13170 = DATE_AND_TIME (#13140, #13160);
#13180 = APPROVAL_DATE_TIME (#13170, #13130);
#13190 = APPROVAL_ROLE ('');
#13200 = PERSON ('', '', $, $, $, $);
#13210 = ORGANIZATION ($, '', '');
#13220 = PERSON_AND_ORGANIZATION (#13200, #13210);
#13230 = APPROVAL_PERSON_ORGANIZATION (#13220, #13130, #13190);
#13240 = CC_DESIGN_APPROVAL (#13130, (#13110));
#13250 = DATE_TIME_ROLE ('classification_date');
#13260 = CALENDAR_DATE (2016, 15, 12);
#13270 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13280 = LOCAL_TIME (10, 25, 22., #13270);
#13290 = DATE_AND_TIME (#13260, #13280);
#13300 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#13290, #13250, (#13110));
#13310 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#13320 = PERSON ('', '', $, $, $, $);
#13330 = ORGANIZATION ($, '', '');
#13340 = PERSON_AND_ORGANIZATION (#13320, #13330);
#13350 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13340, #13310, (#13110));
#13360 = CC_DESIGN_SECURITY_CLASSIFICATION (#13110, (#12860));
#13370 = DESIGN_CONTEXT ('', #12760, 'design');
#13380 = PRODUCT_DEFINITION ('', '', #12860, #13370);
#13390 = APPROVAL_STATUS ('approved');
#13400 = APPROVAL (#13390, '');
#13410 = CALENDAR_DATE (2016, 15, 12);
#13420 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13430 = LOCAL_TIME (10, 25, 22., #13420);
#13440 = DATE_AND_TIME (#13410, #13430);
#13450 = APPROVAL_DATE_TIME (#13440, #13400);
#13460 = APPROVAL_ROLE ('');
#13470 = PERSON ('', '', $, $, $, $);
#13480 = ORGANIZATION ($, '', '');
#13490 = PERSON_AND_ORGANIZATION (#13470, #13480);
#13500 = APPROVAL_PERSON_ORGANIZATION (#13490, #13400, #13460);
#13510 = CC_DESIGN_APPROVAL (#13400, (#13380));
#13520 = DATE_TIME_ROLE ('creation_date');
#13530 = CALENDAR_DATE (2016, 15, 12);
#13540 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13550 = LOCAL_TIME (10, 25, 22., #13540);
#13560 = DATE_AND_TIME (#13530, #13550);
#13570 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#13560, #13520, (#13380));
#13580 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#13590 = PERSON ('', '', $, $, $, $);
#13600 = ORGANIZATION ($, '', '');
#13610 = PERSON_AND_ORGANIZATION (#13590, #13600);
#13620 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13610, #13580, (#13380));
#13630 = PRODUCT_DEFINITION_SHAPE ('', '', #13380);
#13640 = SHAPE_DEFINITION_REPRESENTATION (#13630, #12750);
#13650 = CARTESIAN_POINT ('', (4.3591196809482, 6.94934897555512, -2.40961188827746));
#13660 = VERTEX_POINT ('', #13650);
#13670 = CARTESIAN_POINT ('', (4.43234919109924, 7.20394401401469, -1.52173347382331));
#13680 = VERTEX_POINT ('', #13670);
#13690 = CARTESIAN_POINT ('', (4.3591196809482, 6.94934897555512, -2.40961188827746));
#13700 = DIRECTION ('', (0.0732295101510401, 0.25459503845957, 0.88787841445415));
#13710 = VECTOR ('', #13700, 0.926557755144711);
#13720 = LINE ('', #13690, #13710);
#13730 = EDGE_CURVE ('', #13660, #13680, #13720, .T.);
#13740 = ORIENTED_EDGE ('', *, *, #13730, .F.);
#13750 = CARTESIAN_POINT ('', (4.20163708964796, 5.35, -3.66067695258256));
#13760 = VERTEX_POINT ('', #13750);
#13770 = CARTESIAN_POINT ('', (4.3591196809482, 6.94934897555512, -2.40961188827746));
#13780 = CARTESIAN_POINT ('', (4.2733236046226, 6.30429584071574, -3.23281080044198));
#13790 = CARTESIAN_POINT ('', (4.20163708964796, 5.35, -3.66067695258256));
#13800 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#13770, #13780, #13790), .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 ('')
);
#13810 = EDGE_CURVE ('', #13660, #13760, #13800, .T.);
#13820 = ORIENTED_EDGE ('', *, *, #13810, .T.);
#13830 = CARTESIAN_POINT ('', (4.35000000000001, 5.35, -1.53898848676304));
#13840 = VERTEX_POINT ('', #13830);
#13850 = CARTESIAN_POINT ('', (4.20163708964796, 5.35, -3.66067695258256));
#13860 = DIRECTION ('', (0.14836291035205, 0., 2.12168846581952));
#13870 = VECTOR ('', #13860, 2.12686941281305);
#13880 = LINE ('', #13850, #13870);
#13890 = EDGE_CURVE ('', #13760, #13840, #13880, .T.);
#13900 = ORIENTED_EDGE ('', *, *, #13890, .T.);
#13910 = CARTESIAN_POINT ('', (4.35, 5.45, -1.6015790114344));
#13920 = VERTEX_POINT ('', #13910);
#13930 = CARTESIAN_POINT ('', (4.35, 5.45, -1.6015790114344));
#13940 = DIRECTION ('', (1.06581410364015E-14, -0.100000000000001, 0.0625905246713601));
#13950 = VECTOR ('', #13940, 0.117972767105956);
#13960 = LINE ('', #13930, #13950);
#13970 = EDGE_CURVE ('', #13920, #13840, #13960, .T.);
#13980 = ORIENTED_EDGE ('', *, *, #13970, .F.);
#13990 = CARTESIAN_POINT ('', (4.43781748511439, 5.53781748511439, -0.400695889995771));
#14000 = VERTEX_POINT ('', #13990);
#14010 = CARTESIAN_POINT ('', (4.35, 5.45, -1.6015790114344));
#14020 = DIRECTION ('', (0.0878174851143907, 0.0878174851143898, 1.20088312143863));
#14030 = VECTOR ('', #14020, 1.20728790797383);
#14040 = LINE ('', #14010, #14030);
#14050 = EDGE_CURVE ('', #13920, #14000, #14040, .T.);
#14060 = ORIENTED_EDGE ('', *, *, #14050, .T.);
#14070 = CARTESIAN_POINT ('', (4.54360036371699, 7.38534882989478, -0.0443098095868602));
#14080 = VERTEX_POINT ('', #14070);
#14090 = CARTESIAN_POINT ('', (4.43781748511439, 5.5378174851144, -0.400695889995771));
#14100 = CARTESIAN_POINT ('', (4.46848684254967, 6.16836582815907, -0.356767161222578));
#14110 = CARTESIAN_POINT ('', (4.50192974776347, 6.79003191118378, -0.267615398172691));
#14120 = CARTESIAN_POINT ('', (4.54360036371696, 7.38534882989405, -0.0443098095867682));
#14130 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#14090, #14100, #14110, #14120), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#14140 = EDGE_CURVE ('', #14000, #14080, #14130, .T.);
#14150 = ORIENTED_EDGE ('', *, *, #14140, .T.);
#14160 = CARTESIAN_POINT ('', (4.43234919109924, 7.20394401401469, -1.52173347382331));
#14170 = DIRECTION ('', (0.111251172617751, 0.18140481588009, 1.47742366423645));
#14180 = VECTOR ('', #14170, 1.49267049755771);
#14190 = LINE ('', #14160, #14180);
#14200 = EDGE_CURVE ('', #13680, #14080, #14190, .T.);
#14210 = ORIENTED_EDGE ('', *, *, #14200, .F.);
#14220 = EDGE_LOOP ('', (#13740, #13820, #13900, #13980, #14060, #14150, #14210));
#14230 = FACE_OUTER_BOUND ('', #14220, .F.);
#14240 = CARTESIAN_POINT ('', (4.20156263713185, 5.34999999999999, -3.66174167316741));
#14250 = CARTESIAN_POINT ('', (4.29021141491243, 7.38534882989478, -3.6679405995803));
#14260 = CARTESIAN_POINT ('', (4.45502603845252, 5.34999999999999, -0.0370461625891157));
#14270 = CARTESIAN_POINT ('', (4.5436748162331, 7.38534882989478, -0.0432450890020063));
#14280 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14240, #14250), (#14260, #14270)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (17.9396929499402, 21.5732395975306), (-2.50238171290831, -0.465093836381098), .UNSPECIFIED.);
#14290 = ADVANCED_FACE ('', (#14230), #14280, .F.);
#14300 = CARTESIAN_POINT ('', (1.65241664640878, 7.20702658348601, -1.51098327652491));
#14310 = VERTEX_POINT ('', #14300);
#14320 = CARTESIAN_POINT ('', (1.72429148338684, 6.94934897555512, -2.40961188827745));
#14330 = VERTEX_POINT ('', #14320);
#14340 = CARTESIAN_POINT ('', (1.65241664640878, 7.20702658348601, -1.51098327652491));
#14350 = DIRECTION ('', (0.07187483697806, -0.25767760793089, -0.89862861175254));
#14360 = VECTOR ('', #14350, 0.937601793769565);
#14370 = LINE ('', #14340, #14360);
#14380 = EDGE_CURVE ('', #14310, #14330, #14370, .T.);
#14390 = ORIENTED_EDGE ('', *, *, #14380, .T.);
#14400 = CARTESIAN_POINT ('', (4.3591196809482, 6.94934897555512, -2.40961188827746));
#14410 = DIRECTION ('', (-2.63482819756136, 0., 9.76996261670138E-15));
#14420 = VECTOR ('', #14410, 2.63482819756136);
#14430 = LINE ('', #14400, #14420);
#14440 = EDGE_CURVE ('', #13660, #14330, #14430, .T.);
#14450 = ORIENTED_EDGE ('', *, *, #14440, .F.);
#14460 = ORIENTED_EDGE ('', *, *, #13730, .T.);
#14470 = CARTESIAN_POINT ('', (4.3295746392867, 7.56860771954855, -0.25));
#14480 = VERTEX_POINT ('', #14470);
#14490 = CARTESIAN_POINT ('', (4.3295746392867, 7.56860771954855, -0.250000000000004));
#14500 = CARTESIAN_POINT ('', (4.41470056195299, 7.56860771954855, -0.249999999999999));
#14510 = CARTESIAN_POINT ('', (4.4450230173956, 7.46101786615026, -0.625210408751898));
#14520 = CARTESIAN_POINT ('', (4.47534547283821, 7.35342801275198, -1.0004208175038));
#14530 = CARTESIAN_POINT ('', (4.43234919109924, 7.20394401401469, -1.52173347382331));
#14540 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#14490, #14500, #14510, #14520, #14530), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (179.323674716709, 225.320856170605, 271.318037624502), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.920514463774538, 1., 0.920514463774538, 1.))
   REPRESENTATION_ITEM ('')
);
#14550 = EDGE_CURVE ('', #14480, #13680, #14540, .T.);
#14560 = ORIENTED_EDGE ('', *, *, #14550, .F.);
#14570 = CARTESIAN_POINT ('', (1.75739692236314, 7.56860771954855, -0.25));
#14580 = VERTEX_POINT ('', #14570);
#14590 = CARTESIAN_POINT ('', (4.3295746392867, 7.56860771954855, -0.25));
#14600 = DIRECTION ('', (-2.57217771692356, 0., 0.));
#14610 = VECTOR ('', #14600, 2.57217771692356);
#14620 = LINE ('', #14590, #14610);
#14630 = EDGE_CURVE ('', #14480, #14580, #14620, .T.);
#14640 = ORIENTED_EDGE ('', *, *, #14630, .T.);
#14650 = CARTESIAN_POINT ('', (1.65241664640877, 7.207026583486, -1.51098327652491));
#14660 = CARTESIAN_POINT ('', (1.61096296855369, 7.35564166212467, -0.992700904707866));
#14670 = CARTESIAN_POINT ('', (1.64187890034251, 7.46212469083661, -0.621350452353939));
#14680 = CARTESIAN_POINT ('', (1.67279483213134, 7.56860771954854, -0.250000000000014));
#14690 = CARTESIAN_POINT ('', (1.75739692236314, 7.56860771954854, -0.250000000000012));
#14700 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#14650, #14660, #14670, #14680, #14690), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (89.1740616063187, 134.920532628286, 180.667003650253), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.921367075923644, 1., 0.921367075923644, 1.))
   REPRESENTATION_ITEM ('')
);
#14710 = EDGE_CURVE ('', #14310, #14580, #14700, .T.);
#14720 = ORIENTED_EDGE ('', *, *, #14710, .F.);
#14730 = EDGE_LOOP ('', (#14390, #14450, #14460, #14560, #14640, #14720));
#14740 = FACE_OUTER_BOUND ('', #14730, .F.);
#14750 = CARTESIAN_POINT ('', (1.62888172767178, 7.56894865513259, -0.248811016319804));
#14760 = CARTESIAN_POINT ('', (4.45735703023093, 7.56894865513259, -0.248811016319804));
#14770 = CARTESIAN_POINT ('', (1.62888172767178, 6.94900803997108, -2.41080087195766));
#14780 = CARTESIAN_POINT ('', (4.45735703023093, 6.94900803997108, -2.41080087195766));
#14790 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14750, #14760), (#14770, #14780)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00123689905175661, 2.24787992810681), (-8.62111827232822, -5.79264296976907), .UNSPECIFIED.);
#14800 = ADVANCED_FACE ('', (#14740), #14790, .F.);
#14810 = ORIENTED_EDGE ('', *, *, #14630, .F.);
#14820 = CARTESIAN_POINT ('', (4.35163465255807, 7.60457851025266, 0.0429585807824838));
#14830 = VERTEX_POINT ('', #14820);
#14840 = CARTESIAN_POINT ('', (4.35163465255807, 7.60457851025266, 0.0429585807824838));
#14850 = DIRECTION ('', (-0.0220600132713695, -0.03597079070411, -0.292958580782484));
#14860 = VECTOR ('', #14850, 0.295981877863323);
#14870 = LINE ('', #14840, #14860);
#14880 = EDGE_CURVE ('', #14830, #14480, #14870, .T.);
#14890 = ORIENTED_EDGE ('', *, *, #14880, .F.);
#14900 = CARTESIAN_POINT ('', (1.73515820475025, 7.60537953963669, 0.0494824415850169));
#14910 = VERTEX_POINT ('', #14900);
#14920 = CARTESIAN_POINT ('', (-38.2275609874265, -1994.68144218263, -16307.2680285655));
#14930 = DIRECTION ('', (-3.86223279920384E-13, 0.992546151629329, -0.121869343502824));
#14940 = DIRECTION ('', (0.00243232682401912, 0.121868982999747, 0.992543215567377));
#14950 = AXIS2_PLACEMENT_3D ('', #14920, #14930, #14940);
#14960 = CIRCLE ('', #14950, 16429.8312206532);
#14970 = EDGE_CURVE ('', #14910, #14830, #14960, .T.);
#14980 = ORIENTED_EDGE ('', *, *, #14970, .F.);
#14990 = CARTESIAN_POINT ('', (1.75739692236314, 7.56860771954855, -0.25));
#15000 = DIRECTION ('', (-0.02223871761289, 0.0367718200881404, 0.299482441585017));
#15010 = VECTOR ('', #15000, 0.302549929980794);
#15020 = LINE ('', #14990, #15010);
#15030 = EDGE_CURVE ('', #14580, #14910, #15020, .T.);
#15040 = ORIENTED_EDGE ('', *, *, #15030, .F.);
#15050 = EDGE_LOOP ('', (#14810, #14890, #14980, #15040));
#15060 = FACE_OUTER_BOUND ('', #15050, .F.);
#15070 = CARTESIAN_POINT ('', (1.73415820475025, 7.60551535272135, 0.0505885503959542));
#15080 = CARTESIAN_POINT ('', (4.35263465255807, 7.60551535272135, 0.0505885503959541));
#15090 = CARTESIAN_POINT ('', (1.73415820475025, 7.56847190646389, -0.251106108810938));
#15100 = CARTESIAN_POINT ('', (4.35263465255807, 7.56847190646389, -0.251106108810938));
#15110 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15070, #15080), (#15090, #15100)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.200908994785068, 0.504869328224471), (-8.51584179524975, -5.89736534744193), .UNSPECIFIED.);
#15120 = ADVANCED_FACE ('', (#15060), #15110, .F.);
#15130 = CARTESIAN_POINT ('', (1.54232311870539, 7.38906672914746, -0.0283852664590361));
#15140 = VERTEX_POINT ('', #15130);
#15150 = CARTESIAN_POINT ('', (1.73515820475025, 7.60537953963669, 0.0494824415850169));
#15160 = CARTESIAN_POINT ('', (1.71510547799621, 7.6053854862611, 0.0495308729542559));
#15170 = CARTESIAN_POINT ('', (1.69476639136589, 7.60210618984656, 0.0483096392707739));
#15180 = CARTESIAN_POINT ('', (1.67586770723494, 7.59583048022611, 0.0459496735695849));
#15190 = CARTESIAN_POINT ('', (1.65698673080114, 7.58956065082276, 0.0435919191100689));
#15200 = CARTESIAN_POINT ('', (1.63904116962621, 7.58015467086876, 0.0400452576645439));
#15210 = CARTESIAN_POINT ('', (1.62331468929975, 7.5685281692311, 0.0357020659644869));
#15220 = CARTESIAN_POINT ('', (1.60714386527099, 7.55657316670353, 0.0312361595921249));
#15230 = CARTESIAN_POINT ('', (1.59290141025307, 7.54200041341205, 0.0258295442070219));
#15240 = CARTESIAN_POINT ('', (1.58132594913757, 7.52599774074936, 0.0199741942990979));
#15250 = CARTESIAN_POINT ('', (1.56861141668248, 7.50842034155048, 0.0135426547088029));
#15260 = CARTESIAN_POINT ('', (1.55879181599453, 7.48870751113258, 0.00642143137658592));
#15270 = CARTESIAN_POINT ('', (1.55223853454498, 7.46829855410646, -0.000825497283112083));
#15280 = CARTESIAN_POINT ('', (1.54496465759488, 7.44564543852903, -0.00886929453837414));
#15290 = CARTESIAN_POINT ('', (1.54152589897728, 7.42157263432377, -0.0172661983214421));
#15300 = CARTESIAN_POINT ('', (1.54198214004782, 7.39781461574058, -0.0253978649783801));
#15310 = CARTESIAN_POINT ('', (1.54203815283603, 7.39489784005091, -0.0263961909767522));
#15320 = CARTESIAN_POINT ('', (1.54215188011046, 7.3919808552626, -0.0273923319274891));
#15330 = CARTESIAN_POINT ('', (1.54232311870539, 7.38906672914746, -0.0283852664590361));
#15340 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#15150, #15160, #15170, #15180, #15190, #15200, #15210, #15220, #15230, #15240, #15250, #15260, #15270, #15280, #15290, #15300, #15310, #15320, #15330), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 4), (0., 0.180016875756616, 0.359706912402847, 0.544302590689454, 0.747175474014261, 0.972645319088912, 1.), .UNSPECIFIED.);
#15350 = EDGE_CURVE ('', #14910, #15140, #15340, .T.);
#15360 = ORIENTED_EDGE ('', *, *, #15350, .T.);
#15370 = CARTESIAN_POINT ('', (1.54232311870539, 7.38906672914746, -0.0283852664590361));
#15380 = DIRECTION ('', (0.11009352770339, -0.182040145661451, -1.48259801006587));
#15390 = VECTOR ('', #15380, 1.49778371566989);
#15400 = LINE ('', #15370, #15390);
#15410 = EDGE_CURVE ('', #15140, #14310, #15400, .T.);
#15420 = ORIENTED_EDGE ('', *, *, #15410, .T.);
#15430 = ORIENTED_EDGE ('', *, *, #14710, .T.);
#15440 = ORIENTED_EDGE ('', *, *, #15030, .T.);
#15450 = EDGE_LOOP ('', (#15360, #15420, #15430, #15440));
#15460 = FACE_OUTER_BOUND ('', #15450, .F.);
#15470 = CARTESIAN_POINT ('', (1.65241664640877, 7.207026583486, -1.51098327652491));
#15480 = CARTESIAN_POINT ('', (1.53568505852432, 7.40004279165984, 0.061007589056861));
#15490 = CARTESIAN_POINT ('', (1.65022421918735, 7.29072774975983, -1.52142329090674));
#15500 = CARTESIAN_POINT ('', (1.53349263130289, 7.48374395793367, 0.0505675746750301));
#15510 = CARTESIAN_POINT ('', (1.70894954176349, 7.35123893231491, -1.52449235381365));
#15520 = CARTESIAN_POINT ('', (1.59221795387903, 7.54425514048875, 0.0474985117681213));
#15530 = CARTESIAN_POINT ('', (1.76767486433963, 7.41175011486999, -1.52756141672056));
#15540 = CARTESIAN_POINT ('', (1.65094327645518, 7.60476632304383, 0.0444294488612125));
#15550 = CARTESIAN_POINT ('', (1.85182484360061, 7.41249886177973, -1.52140461223646));
#15560 = CARTESIAN_POINT ('', (1.73509325571615, 7.60551506995357, 0.0505862533453119));
#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.245418239474493, 0.372716619737246, 0.500015), (0.0879371437409865, 0.90929902093071), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.921358830135112, 0.921358830135112), (1., 1.), (0.921358830135112, 0.921358830135112), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#15580 = ADVANCED_FACE ('', (#15460), #15570, .F.);
#15590 = CARTESIAN_POINT ('', (1.93488901006249, 4.11, -4.00238271605221));
#15600 = VERTEX_POINT ('', #15590);
#15610 = CARTESIAN_POINT ('', (4.35, 4.11, -4.00238271605221));
#15620 = VERTEX_POINT ('', #15610);
#15630 = CARTESIAN_POINT ('', (1.93488901006249, 4.11, -4.00238271605221));
#15640 = DIRECTION ('', (2.41511098993751, 0., 0.));
#15650 = VECTOR ('', #15640, 2.41511098993751);
#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.35000000000005, 3.61903469355957, 0.199999999999992));
#15720 = DIRECTION ('', (1., 2.0513811069975E-15, -1.09619476384957E-14));
#15730 = DIRECTION ('', (-1.11259376607156E-14, 0.116040967221612, -0.993244428087202));
#15740 = AXIS2_PLACEMENT_3D ('', #15710, #15720, #15730);
#15750 = CIRCLE ('', #15740, 4.23096530644041);
#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 ('', #13760, #15700, #15810, .T.);
#15830 = ORIENTED_EDGE ('', *, *, #15820, .F.);
#15840 = ORIENTED_EDGE ('', *, *, #13810, .F.);
#15850 = ORIENTED_EDGE ('', *, *, #14440, .T.);
#15860 = CARTESIAN_POINT ('', (1.93488901006249, 4.11, -4.00238271605221));
#15870 = CARTESIAN_POINT ('', (1.85940236375846, 5.86162074440422, -3.79774047529227));
#15880 = CARTESIAN_POINT ('', (1.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.229198892532, 258.441132897849), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.994207508969264, 0.920350750201361, 1.))
   REPRESENTATION_ITEM ('')
);
#15900 = EDGE_CURVE ('', #15600, #14330, #15890, .T.);
#15910 = ORIENTED_EDGE ('', *, *, #15900, .F.);
#15920 = EDGE_LOOP ('', (#15680, #15770, #15830, #15840, #15850, #15910));
#15930 = FACE_OUTER_BOUND ('', #15920, .F.);
#15940 = CARTESIAN_POINT ('', (1.72429148338683, 6.94934897555513, -2.40961188827746));
#15950 = CARTESIAN_POINT ('', (4.35911968094819, 6.94934897555513, -2.40961188827747));
#15960 = CARTESIAN_POINT ('', (1.72429148338683, 5.86162074440421, -3.79774047529226));
#15970 = CARTESIAN_POINT ('', (4.35911968094819, 5.86162074440421, -3.79774047529227));
#15980 = CARTESIAN_POINT ('', (1.72429148338683, 4.11, -4.00238271605221));
#15990 = CARTESIAN_POINT ('', (4.35911968094819, 4.11, -4.00238271605222));
#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.22990179150538), (0.0836493695976996, 0.9163506304023), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.923027948299239, 0.923027948299239), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#16010 = ADVANCED_FACE ('', (#15930), #16000, .F.);
#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 ('', #13920, #16030, #16070, .T.);
#16090 = ORIENTED_EDGE ('', *, *, #16080, .T.);
#16100 = CARTESIAN_POINT ('', (4.43781748510204, 5.53781748510204, -0.400695889996408));
#16110 = CARTESIAN_POINT ('', (4.40854721097766, 5.50854721097766, -0.402203916411167));
#16120 = CARTESIAN_POINT ('', (4.37927482700554, 5.47927482700553, -0.403633980426986));
#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 ('', #14000, #16030, #16140, .T.);
#16160 = ORIENTED_EDGE ('', *, *, #16150, .F.);
#16170 = ORIENTED_EDGE ('', *, *, #14050, .F.);
#16180 = EDGE_LOOP ('', (#16090, #16160, #16170));
#16190 = FACE_OUTER_BOUND ('', #16180, .F.);
#16200 = CARTESIAN_POINT ('', (4.43781748511439, 5.53781748511439, -1.6025790114344));
#16210 = CARTESIAN_POINT ('', (4.43781748511439, 5.53781748511439, -0.399695889995771));
#16220 = CARTESIAN_POINT ('', (4.35, 5.45, -1.6025790114344));
#16230 = CARTESIAN_POINT ('', (4.35, 5.45, -0.399695889995771));
#16240 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16200, #16210), (#16220, #16230)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.565685424949248, -0.441492746486979), (-1.8025790114344, -0.599695889995771), .UNSPECIFIED.);
#16250 = ADVANCED_FACE ('', (#16190), #16240, .F.);
#16260 = ORIENTED_EDGE ('', *, *, #13890, .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 ('', #13840, #15700, #16310, .T.);
#16330 = ORIENTED_EDGE ('', *, *, #16320, .F.);
#16340 = EDGE_LOOP ('', (#16260, #16270, #16330));
#16350 = FACE_OUTER_BOUND ('', #16340, .F.);
#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, .F.);
#16420 = ORIENTED_EDGE ('', *, *, #14550, .T.);
#16430 = ORIENTED_EDGE ('', *, *, #14200, .T.);
#16440 = CARTESIAN_POINT ('', (4.54360036371699, 7.38534882989478, -0.0443098095868602));
#16450 = CARTESIAN_POINT ('', (4.54542251359219, 7.4113805221124, -0.0345452250943941));
#16460 = CARTESIAN_POINT ('', (4.54262991222643, 7.43799320390657, -0.0243345192761281));
#16470 = CARTESIAN_POINT ('', (4.5352279854677, 7.46300873705124, -0.0145492792720782));
#16480 = CARTESIAN_POINT ('', (4.52780734879126, 7.48808750218701, -0.0047393050276982));
#16490 = CARTESIAN_POINT ('', (4.51547325918119, 7.51234109332206, 0.00494787135438884));
#16500 = CARTESIAN_POINT ('', (4.49884178892328, 7.5331408450462, 0.0133746399740197));
#16510 = CARTESIAN_POINT ('', (4.48354743623664, 7.55226836256153, 0.0211239230667877));
#16520 = CARTESIAN_POINT ('', (4.46403060673468, 7.56908678725774, 0.0280513094721277));
#16530 = CARTESIAN_POINT ('', (4.44199612183361, 7.5812784817043, 0.0331183204767977));
#16540 = CARTESIAN_POINT ('', (4.42298118861162, 7.59179945629504, 0.0374909607414327));
#16550 = CARTESIAN_POINT ('', (4.40147257339575, 7.59918484219049, 0.0406034554501317));
#16560 = CARTESIAN_POINT ('', (4.37959818721231, 7.60248276907022, 0.0420224276322898));
#16570 = CARTESIAN_POINT ('', (4.37036914315775, 7.60387420068373, 0.0426211075985077));
#16580 = CARTESIAN_POINT ('', (4.36098714770681, 7.60457555434705, 0.0429345068631308));
#16590 = CARTESIAN_POINT ('', (4.35163465255807, 7.60457851025266, 0.0429585807824838));
#16600 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#16440, #16450, #16460, #16470, #16480, #16490, #16500, #16510, #16520, #16530, #16540, #16550, #16560, #16570, #16580, #16590), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 4), (0., 0.246608689354888, 0.494349919505675, 0.72231299640399, 0.918469760080266, 1.), .UNSPECIFIED.);
#16610 = EDGE_CURVE ('', #14080, #14830, #16600, .T.);
#16620 = ORIENTED_EDGE ('', *, *, #16610, .T.);
#16630 = ORIENTED_EDGE ('', *, *, #14880, .T.);
#16640 = EDGE_LOOP ('', (#16420, #16430, #16620, #16630));
#16650 = FACE_OUTER_BOUND ('', #16640, .F.);
#16660 = CARTESIAN_POINT ('', (4.23302627303403, 7.41117712181603, -1.53216932629676));
#16670 = CARTESIAN_POINT ('', (4.35170736515487, 7.60469707453325, 0.0439242093569134));
#16680 = CARTESIAN_POINT ('', (4.31767932421293, 7.41040606329031, -1.53844909404654));
#16690 = CARTESIAN_POINT ('', (4.43636041633377, 7.60392601600753, 0.0376444416071336));
#16700 = CARTESIAN_POINT ('', (4.37648727029623, 7.34926430624304, -1.53537011519376));
#16710 = CARTESIAN_POINT ('', (4.49516836241707, 7.54278425896025, 0.040723420459918));
#16720 = CARTESIAN_POINT ('', (4.43529521637952, 7.28812254919576, -1.53229113634097));
#16730 = CARTESIAN_POINT ('', (4.55397630850036, 7.48164250191297, 0.0438023993127024));
#16740 = CARTESIAN_POINT ('', (4.43234919109922, 7.20394401401399, -1.52173347382321));
#16750 = CARTESIAN_POINT ('', (4.55103028322006, 7.3974639667312, 0.0543600618304679));
#16760 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#16660, #16670), (#16680, #16690), (#16700, #16710), (#16720, #16730), (#16740, #16750)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0.5, 0.628054924673536, 0.756109849347072), (0.0878955178864432, 0.90914758564764), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.920514463774167, 0.920514463774167), (1., 1.), (0.920514463774167, 0.920514463774167), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#16770 = ADVANCED_FACE ('', (#16650), #16760, .F.);
#16780 = CARTESIAN_POINT ('', (4.34999999999995, 4.11, -0.284294987433754));
#16790 = VERTEX_POINT ('', #16780);
#16800 = CARTESIAN_POINT ('', (1.66900253676706, 4.11013013945542, -0.202410241215566));
#16810 = VERTEX_POINT ('', #16800);
#16820 = CARTESIAN_POINT ('', (4.34999999999995, 4.11, -0.284294987433754));
#16830 = CARTESIAN_POINT ('', (3.45640934205154, 4.11, -0.2550056177247));
#16840 = CARTESIAN_POINT ('', (2.56274286669204, 4.11, -0.227877145119899));
#16850 = CARTESIAN_POINT ('', (1.66902702544519, 4.11, -0.202695281506191));
#16860 = CARTESIAN_POINT ('', (1.66901619367046, 4.11, -0.202694976303731));
#16870 = CARTESIAN_POINT ('', (1.66900536189572, 4.11, -0.202694671101555));
#16880 = CARTESIAN_POINT ('', (1.66899453012098, 4.11, -0.202694365899664));
#16890 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#16820, #16830, #16840, #16850, #16860, #16870, #16880), .UNSPECIFIED., .F., .U., (4, 3, 4), (0.200119528057771, 2.88233114915623, 2.8823636573772), .UNSPECIFIED.);
#16900 = EDGE_CURVE ('', #16790, #16810, #16890, .T.);
#16910 = ORIENTED_EDGE ('', *, *, #16900, .T.);
#16920 = CARTESIAN_POINT ('', (1.54232311870539, 7.38906672914746, -0.0283852664590361));
#16930 = CARTESIAN_POINT ('', (1.58288043883873, 6.69886516677028, -0.263558672802394));
#16940 = CARTESIAN_POINT ('', (1.61276854637494, 5.98511970665381, -0.334497745227165));
#16950 = CARTESIAN_POINT ('', (1.65336394480813, 4.90515219375491, -0.375688614337784));
#16960 = CARTESIAN_POINT ('', (1.66568103611611, 4.53153730299295, -0.365257943195619));
#16970 = CARTESIAN_POINT ('', (1.66876016472201, 4.16608978747322, -0.226874950893722));
#16980 = CARTESIAN_POINT ('', (1.66892043355512, 4.13789221039545, -0.215092488292216));
#16990 = CARTESIAN_POINT ('', (1.66900253676706, 4.11013013945542, -0.202410241215566));
#17000 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#16920, #16930, #16940, #16950, #16960, #16970, #16980, #16990), .UNSPECIFIED., .F., .U., (4, 2, 2, 4), (0., 0.5, 0.75, 0.771236242735933), .UNSPECIFIED.);
#17010 = EDGE_CURVE ('', #15140, #16810, #17000, .T.);
#17020 = ORIENTED_EDGE ('', *, *, #17010, .F.);
#17030 = ORIENTED_EDGE ('', *, *, #15350, .F.);
#17040 = ORIENTED_EDGE ('', *, *, #14970, .T.);
#17050 = ORIENTED_EDGE ('', *, *, #16610, .F.);
#17060 = ORIENTED_EDGE ('', *, *, #14140, .F.);
#17070 = ORIENTED_EDGE ('', *, *, #16150, .T.);
#17080 = CARTESIAN_POINT ('', (4.34999999999995, 4.11, -0.284294987433754));
#17090 = CARTESIAN_POINT ('', (4.34999999999995, 4.52483533340204, -0.439303621626736));
#17100 = CARTESIAN_POINT ('', (4.34999999999995, 4.99239841991167, -0.434425194994971));
#17110 = CARTESIAN_POINT ('', (4.34999999999995, 5.44999999999995, -0.404953467408006));
#17120 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#17080, #17090, #17100, #17110), .UNSPECIFIED., .F., .U., (4, 4), (0.729175467745962, 1.), .UNSPECIFIED.);
#17130 = EDGE_CURVE ('', #16790, #16030, #17120, .T.);
#17140 = ORIENTED_EDGE ('', *, *, #17130, .F.);
#17150 = EDGE_LOOP ('', (#16910, #17020, #17030, #17040, #17050, #17060, #17070, #17140));
#17160 = FACE_OUTER_BOUND ('', #17150, .F.);
#17170 = CARTESIAN_POINT ('', (1.54175401951255, 4.04688909776405, -0.168666429622387));
#17180 = CARTESIAN_POINT ('', (4.54451143865459, 4.11437133800743, -0.292303928703759));
#17190 = CARTESIAN_POINT ('', (1.54175401951255, 4.51560818203265, -0.409278343344193));
#17200 = CARTESIAN_POINT ('', (4.54451143865459, 4.60288546468746, -0.470308941021795));
#17210 = CARTESIAN_POINT ('', (1.54175401951255, 5.09847962174896, -0.374102562425757));
#17220 = CARTESIAN_POINT ('', (4.54451143865459, 5.16334545093232, -0.431432977342336));
#17230 = CARTESIAN_POINT ('', (1.54175401951255, 5.87245254785687, -0.324794464423392));
#17240 = CARTESIAN_POINT ('', (4.54451143865459, 5.91990171820859, -0.374033330945573));
#17250 = CARTESIAN_POINT ('', (1.54175401951255, 6.10262598977989, -0.309861864609446));
#17260 = CARTESIAN_POINT ('', (4.54451143865459, 6.14671261355803, -0.356024247080491));
#17270 = CARTESIAN_POINT ('', (1.54175401951255, 6.76151676020157, -0.222351886978428));
#17280 = CARTESIAN_POINT ('', (4.54451143865459, 6.79290379818757, -0.253028916105956));
#17290 = CARTESIAN_POINT ('', (1.54175401951255, 7.19720881637957, -0.10676206493096));
#17300 = CARTESIAN_POINT ('', (4.54451143865459, 7.21565353700103, -0.119924238068286));
#17310 = CARTESIAN_POINT ('', (1.54175401951255, 7.60576566384892, 0.0500747195327285));
#17320 = CARTESIAN_POINT ('', (4.54451143865459, 7.6125988710373, 0.0458295979898642));
#17330 = B_SPLINE_SURFACE_WITH_KNOTS ('', 3, 1, ((#17170, #17180), (#17190, #17200), (#17210, #17220), (#17230, #17240), (#17250, #17260), (#17270, #17280), (#17290, #17300), (#17310, #17320)), .UNSPECIFIED., .F., .F., .U., (4, 1, 1, 1, 1, 4), (2, 2), (0.527116588397969, 0.736511129035107, 0.737237419396843, 0.825882000070125, 0.828148662037474, 1.), (0.199220524164761, 0.998536057211391), .UNSPECIFIED.);
#17340 = ADVANCED_FACE ('', (#17160), #17330, .F.);
#17350 = CARTESIAN_POINT ('', (1.93488901006249, 4.11, -4.00238271605222));
#17360 = DIRECTION ('', (-0.2658619846173, 0., 3.79968743454603));
#17370 = VECTOR ('', #17360, 3.80897718490301);
#17380 = LINE ('', #17350, #17370);
#17390 = EDGE_CURVE ('', #15600, #16810, #17380, .T.);
#17400 = ORIENTED_EDGE ('', *, *, #17390, .F.);
#17410 = ORIENTED_EDGE ('', *, *, #15900, .T.);
#17420 = ORIENTED_EDGE ('', *, *, #14380, .F.);
#17430 = ORIENTED_EDGE ('', *, *, #15410, .F.);
#17440 = ORIENTED_EDGE ('', *, *, #17010, .T.);
#17450 = EDGE_LOOP ('', (#17400, #17410, #17420, #17430, #17440));
#17460 = FACE_OUTER_BOUND ('', #17450, .F.);
#17470 = CARTESIAN_POINT ('', (1.65627278621985, 4.11, -0.0204122725552634));
#17480 = CARTESIAN_POINT ('', (1.54232311870539, 7.38906672914746, -0.0283852664590357));
#17490 = CARTESIAN_POINT ('', (1.93488901006249, 4.11, -4.00238271605221));
#17500 = CARTESIAN_POINT ('', (1.82093934254803, 7.38906672914746, -4.01035570995598));
#17510 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17470, #17480), (#17490, #17500)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.741389302548754, 3.25031654997491), (4.11249302562555, 7.39354875656952), .UNSPECIFIED.);
#17520 = ADVANCED_FACE ('', (#17460), #17510, .F.);
#17530 = CARTESIAN_POINT ('', (4.35, 4.11, -0.284294987433755));
#17540 = DIRECTION ('', (0., 0., -3.71808772861846));
#17550 = VECTOR ('', #17540, 3.71808772861846);
#17560 = LINE ('', #17530, #17550);
#17570 = EDGE_CURVE ('', #16790, #15620, #17560, .T.);
#17580 = ORIENTED_EDGE ('', *, *, #17570, .F.);
#17590 = ORIENTED_EDGE ('', *, *, #17130, .T.);
#17600 = ORIENTED_EDGE ('', *, *, #16080, .F.);
#17610 = ORIENTED_EDGE ('', *, *, #13970, .T.);
#17620 = ORIENTED_EDGE ('', *, *, #16320, .T.);
#17630 = ORIENTED_EDGE ('', *, *, #15760, .F.);
#17640 = EDGE_LOOP ('', (#17580, #17590, #17600, #17610, #17620, #17630));
#17650 = FACE_OUTER_BOUND ('', #17640, .F.);
#17660 = CARTESIAN_POINT ('', (4.35, 5.451, -4.00238271605221));
#17670 = CARTESIAN_POINT ('', (4.35, 5.451, -0.284294987433755));
#17680 = CARTESIAN_POINT ('', (4.35, 4.11, -4.00238271605221));
#17690 = CARTESIAN_POINT ('', (4.35, 4.11, -0.284294987433755));
#17700 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17660, #17670), (#17680, #17690)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-5.451, -4.11), (-3.25238271605221, 0.465705012566246), .UNSPECIFIED.);
#17710 = ADVANCED_FACE ('', (#17650), #17700, .F.);
#17720 = ORIENTED_EDGE ('', *, *, #15670, .F.);
#17730 = ORIENTED_EDGE ('', *, *, #17390, .T.);
#17740 = ORIENTED_EDGE ('', *, *, #16900, .F.);
#17750 = ORIENTED_EDGE ('', *, *, #17570, .T.);
#17760 = EDGE_LOOP ('', (#17720, #17730, #17740, #17750));
#17770 = FACE_OUTER_BOUND ('', #17760, .F.);
#17780 = CARTESIAN_POINT ('', (1.66900253676706, 4.11, -4.00238271605222));
#17790 = CARTESIAN_POINT ('', (4.35, 4.11, -4.00238271605222));
#17800 = CARTESIAN_POINT ('', (1.66900253676706, 4.11, -0.202410241215567));
#17810 = CARTESIAN_POINT ('', (4.35, 4.11, -0.202410241215567));
#17820 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17780, #17790), (#17800, #17810)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (12.9792217387338, 16.7791942135704), (15.8413103995823, 18.5223078628152), .UNSPECIFIED.);
#17830 = ADVANCED_FACE ('', (#17770), #17820, .F.);
#17840 = CLOSED_SHELL ('', (#14290, #14800, #15120, #15580, #16010, #16250, #16410, #16770, #17340, #17520, #17710, #17830));
#17850 = MANIFOLD_SOLID_BREP ('CUT', #17840);
#17860 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#17870 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#17880 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#17890 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #17860, 'DISTANCE_ACCURACY_VALUE', '');
#17900 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#17890))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#17860, #17870, #17880))
   REPRESENTATION_CONTEXT ('', '3D')
);
#17910 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#17920 = FILL_AREA_STYLE_COLOUR ('', #17910);
#17930 = FILL_AREA_STYLE ('', (#17920));
#17940 = SURFACE_STYLE_FILL_AREA (#17930);
#17950 = SURFACE_SIDE_STYLE ('', (#17940));
#17960 = SURFACE_STYLE_USAGE (.POSITIVE., #17950);
#17970 = PRESENTATION_STYLE_ASSIGNMENT ((#17960));
#17980 = STYLED_ITEM ('', (#17970), #17850);
#17990 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#17850), #17900);
#18000 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#18010 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #18000);
#18020 = MECHANICAL_CONTEXT ('', #18000, 'mechanical');
#18030 = PRODUCT ('NONE', '', '', (#18020));
#18040 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#18050 = PERSON ('', '', $, $, $, $);
#18060 = ORGANIZATION ($, '', '');
#18070 = PERSON_AND_ORGANIZATION (#18050, #18060);
#18080 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18070, #18040, (#18030));
#18090 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#18030));
#18100 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #18030, .NOT_KNOWN.);
#18110 = APPROVAL_STATUS ('approved');
#18120 = APPROVAL (#18110, '');
#18130 = CALENDAR_DATE (2016, 15, 12);
#18140 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18150 = LOCAL_TIME (10, 25, 22., #18140);
#18160 = DATE_AND_TIME (#18130, #18150);
#18170 = APPROVAL_DATE_TIME (#18160, #18120);
#18180 = APPROVAL_ROLE ('');
#18190 = PERSON ('', '', $, $, $, $);
#18200 = ORGANIZATION ($, '', '');
#18210 = PERSON_AND_ORGANIZATION (#18190, #18200);
#18220 = APPROVAL_PERSON_ORGANIZATION (#18210, #18120, #18180);
#18230 = CC_DESIGN_APPROVAL (#18120, (#18100));
#18240 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#18250 = PERSON ('', '', $, $, $, $);
#18260 = ORGANIZATION ($, '', '');
#18270 = PERSON_AND_ORGANIZATION (#18250, #18260);
#18280 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18270, #18240, (#18100));
#18290 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#18300 = PERSON ('', '', $, $, $, $);
#18310 = ORGANIZATION ($, '', '');
#18320 = PERSON_AND_ORGANIZATION (#18300, #18310);
#18330 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18320, #18290, (#18100));
#18340 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#18350 = SECURITY_CLASSIFICATION ('', '', #18340);
#18360 = APPROVAL_STATUS ('approved');
#18370 = APPROVAL (#18360, '');
#18380 = CALENDAR_DATE (2016, 15, 12);
#18390 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18400 = LOCAL_TIME (10, 25, 22., #18390);
#18410 = DATE_AND_TIME (#18380, #18400);
#18420 = APPROVAL_DATE_TIME (#18410, #18370);
#18430 = APPROVAL_ROLE ('');
#18440 = PERSON ('', '', $, $, $, $);
#18450 = ORGANIZATION ($, '', '');
#18460 = PERSON_AND_ORGANIZATION (#18440, #18450);
#18470 = APPROVAL_PERSON_ORGANIZATION (#18460, #18370, #18430);
#18480 = CC_DESIGN_APPROVAL (#18370, (#18350));
#18490 = DATE_TIME_ROLE ('classification_date');
#18500 = CALENDAR_DATE (2016, 15, 12);
#18510 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18520 = LOCAL_TIME (10, 25, 22., #18510);
#18530 = DATE_AND_TIME (#18500, #18520);
#18540 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#18530, #18490, (#18350));
#18550 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#18560 = PERSON ('', '', $, $, $, $);
#18570 = ORGANIZATION ($, '', '');
#18580 = PERSON_AND_ORGANIZATION (#18560, #18570);
#18590 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18580, #18550, (#18350));
#18600 = CC_DESIGN_SECURITY_CLASSIFICATION (#18350, (#18100));
#18610 = DESIGN_CONTEXT ('', #18000, 'design');
#18620 = PRODUCT_DEFINITION ('', '', #18100, #18610);
#18630 = APPROVAL_STATUS ('approved');
#18640 = APPROVAL (#18630, '');
#18650 = CALENDAR_DATE (2016, 15, 12);
#18660 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18670 = LOCAL_TIME (10, 25, 22., #18660);
#18680 = DATE_AND_TIME (#18650, #18670);
#18690 = APPROVAL_DATE_TIME (#18680, #18640);
#18700 = APPROVAL_ROLE ('');
#18710 = PERSON ('', '', $, $, $, $);
#18720 = ORGANIZATION ($, '', '');
#18730 = PERSON_AND_ORGANIZATION (#18710, #18720);
#18740 = APPROVAL_PERSON_ORGANIZATION (#18730, #18640, #18700);
#18750 = CC_DESIGN_APPROVAL (#18640, (#18620));
#18760 = DATE_TIME_ROLE ('creation_date');
#18770 = CALENDAR_DATE (2016, 15, 12);
#18780 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#18790 = LOCAL_TIME (10, 25, 22., #18780);
#18800 = DATE_AND_TIME (#18770, #18790);
#18810 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#18800, #18760, (#18620));
#18820 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#18830 = PERSON ('', '', $, $, $, $);
#18840 = ORGANIZATION ($, '', '');
#18850 = PERSON_AND_ORGANIZATION (#18830, #18840);
#18860 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#18850, #18820, (#18620));
#18870 = PRODUCT_DEFINITION_SHAPE ('', '', #18620);
#18880 = SHAPE_DEFINITION_REPRESENTATION (#18870, #17990);
ENDSEC;
END-ISO-10303-21;