ISO-10303-21; HEADER; FILE_DESCRIPTION ((), '1'); FILE_NAME ('d:\\arno projekt\\datenanforderungen\\ksa 18.01.17\\ksa\\ksa-a-l\\KSA 2608L-SA24015-32-\X\DCK.stp', '2017-03-06T10:46:57', ('Unknown'), ('TDM'), 'HarmonyWare STEP v2.0.2.9', 'T3D tool generator', ''); FILE_SCHEMA (('CONFIG_CONTROL_DESIGN')); ENDSEC; DATA; #10 = CARTESIAN_POINT ('', (2.4177537113188, 8., -4.605100561936)); #20 = VERTEX_POINT ('', #10); #30 = CARTESIAN_POINT ('', (2.54192023458329, 8., -6.3807645713985)); #40 = VERTEX_POINT ('', #30); #50 = CARTESIAN_POINT ('', (2.4177537113188, 8., -4.605100561936)); #60 = CARTESIAN_POINT ('', (2.54192023458329, 8., -6.3807645713985)); #70 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#50, #60), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #80 = EDGE_CURVE ('', #20, #40, #70, .T.); #90 = ORIENTED_EDGE ('', *, *, #80, .T.); #100 = CARTESIAN_POINT ('', (25., 8.00000000000001, -4.81034265103002)); #110 = VERTEX_POINT ('', #100); #120 = CARTESIAN_POINT ('', (2.54192023458329, 8., -6.3807645713985)); #130 = CARTESIAN_POINT ('', (25., 8.00000000000001, -4.81034265103002)); #140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#120, #130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #150 = EDGE_CURVE ('', #40, #110, #140, .T.); #160 = ORIENTED_EDGE ('', *, *, #150, .T.); #170 = CARTESIAN_POINT ('', (25., 8.00000000000001, -15.1547773178215)); #180 = VERTEX_POINT ('', #170); #190 = CARTESIAN_POINT ('', (25., 8.00000000000001, -4.81034265103002)); #200 = CARTESIAN_POINT ('', (25., 8.00000000000001, -15.1547773178215)); #210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#190, #200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #220 = EDGE_CURVE ('', #110, #180, #210, .T.); #230 = ORIENTED_EDGE ('', *, *, #220, .T.); #240 = CARTESIAN_POINT ('', (22.5209445330009, 8.00000000000001, -18.1092005768581)); #250 = VERTEX_POINT ('', #240); #260 = CARTESIAN_POINT ('', (25., 8.00000000000001, -15.1547773178215)); #270 = CARTESIAN_POINT ('', (25., 8.00000000000001, -17.6720762113532)); #280 = CARTESIAN_POINT ('', (22.5209445330009, 8.00000000000001, -18.1092005768581)); #290 = ( BOUNDED_CURVE () B_SPLINE_CURVE (2, (#260, #270, #280), .UNSPECIFIED., .F., .U.) B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (90., 169.999999999998), .UNSPECIFIED.) CURVE () GEOMETRIC_REPRESENTATION_ITEM () RATIONAL_B_SPLINE_CURVE ((1., 0.766044443118991, 1.)) REPRESENTATION_ITEM ('') ); #300 = EDGE_CURVE ('', #180, #250, #290, .T.); #310 = ORIENTED_EDGE ('', *, *, #300, .T.); #320 = CARTESIAN_POINT ('', (15.368290534018, 8.00000000000001, -19.3704064605511)); #330 = VERTEX_POINT ('', #320); #340 = CARTESIAN_POINT ('', (22.5209445330009, 8.00000000000001, -18.1092005768581)); #350 = CARTESIAN_POINT ('', (15.368290534018, 8.00000000000001, -19.3704064605511)); #360 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#340, #350), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #370 = EDGE_CURVE ('', #250, #330, #360, .T.); #380 = ORIENTED_EDGE ('', *, *, #370, .T.); #390 = CARTESIAN_POINT ('', (-84.5, 8., -19.3704064605511)); #400 = VERTEX_POINT ('', #390); #410 = CARTESIAN_POINT ('', (15.368290534018, 8.00000000000001, -19.3704064605511)); #420 = CARTESIAN_POINT ('', (-84.5, 8., -19.3704064605511)); #430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#410, #420), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #440 = EDGE_CURVE ('', #330, #400, #430, .T.); #450 = ORIENTED_EDGE ('', *, *, #440, .T.); #460 = CARTESIAN_POINT ('', (-84.5, 8., 2.34240646055111)); #470 = VERTEX_POINT ('', #460); #480 = CARTESIAN_POINT ('', (-84.5, 8., -19.3704064605511)); #490 = CARTESIAN_POINT ('', (-84.5, 8., 2.34240646055111)); #500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#480, #490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #510 = EDGE_CURVE ('', #400, #470, #500, .T.); #520 = ORIENTED_EDGE ('', *, *, #510, .T.); #530 = CARTESIAN_POINT ('', (-8.00000000000001, 8., 2.34240646055105)); #540 = VERTEX_POINT ('', #530); #550 = CARTESIAN_POINT ('', (-84.5, 8., 2.34240646055111)); #560 = CARTESIAN_POINT ('', (-8.00000000000001, 8., 2.34240646055105)); #570 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#550, #560), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #580 = EDGE_CURVE ('', #470, #540, #570, .T.); #590 = ORIENTED_EDGE ('', *, *, #580, .T.); #600 = CARTESIAN_POINT ('', (-8., 8., 2.13535122446901)); #610 = VERTEX_POINT ('', #600); #620 = CARTESIAN_POINT ('', (-8., 8., 2.13535122446901)); #630 = CARTESIAN_POINT ('', (-8.00000000000001, 8., 2.34240646055105)); #640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#620, #630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #650 = EDGE_CURVE ('', #610, #540, #640, .T.); #660 = ORIENTED_EDGE ('', *, *, #650, .F.); #670 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8., 2.135351224469)); #680 = VERTEX_POINT ('', #670); #690 = CARTESIAN_POINT ('', (-8., 8., 2.13535122446901)); #700 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8., 2.135351224469)); #710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#690, #700), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #720 = EDGE_CURVE ('', #610, #680, #710, .T.); #730 = ORIENTED_EDGE ('', *, *, #720, .T.); #740 = CARTESIAN_POINT ('', (0., 8., 4.38600000000001)); #750 = VERTEX_POINT ('', #740); #760 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8., 2.135351224469)); #770 = CARTESIAN_POINT ('', (0., 8., 4.38600000000001)); #780 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#760, #770), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #790 = EDGE_CURVE ('', #680, #750, #780, .T.); #800 = ORIENTED_EDGE ('', *, *, #790, .T.); #810 = CARTESIAN_POINT ('', (12.6917353255828, 8., 4.38599999999999)); #820 = VERTEX_POINT ('', #810); #830 = CARTESIAN_POINT ('', (0., 8., 4.38600000000001)); #840 = CARTESIAN_POINT ('', (12.6917353255828, 8., 4.38599999999999)); #850 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#830, #840), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #860 = EDGE_CURVE ('', #750, #820, #850, .T.); #870 = ORIENTED_EDGE ('', *, *, #860, .T.); #880 = CARTESIAN_POINT ('', (18.274913512519, 8., 1.16255057083861)); #890 = VERTEX_POINT ('', #880); #900 = CARTESIAN_POINT ('', (12.6917353255828, 8., 4.38599999999999)); #910 = CARTESIAN_POINT ('', (18.274913512519, 8., 1.16255057083861)); #920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#900, #910), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #930 = EDGE_CURVE ('', #820, #890, #920, .T.); #940 = ORIENTED_EDGE ('', *, *, #930, .T.); #950 = CARTESIAN_POINT ('', (19.35, 8., 0.0874640833577915)); #960 = VERTEX_POINT ('', #950); #970 = CARTESIAN_POINT ('', (18.274913512519, 8., 1.16255057083861)); #980 = CARTESIAN_POINT ('', (19.35, 8., 0.0874640833577915)); #990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#970, #980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #1000 = EDGE_CURVE ('', #890, #960, #990, .T.); #1010 = ORIENTED_EDGE ('', *, *, #1000, .T.); #1020 = CARTESIAN_POINT ('', (0.677259977824605, 8., -1.2182610966428)); #1030 = VERTEX_POINT ('', #1020); #1040 = CARTESIAN_POINT ('', (19.35, 8., 0.0874640833577915)); #1050 = CARTESIAN_POINT ('', (0.677259977824605, 8., -1.2182610966428)); #1060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1040, #1050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #1070 = EDGE_CURVE ('', #960, #1030, #1060, .T.); #1080 = ORIENTED_EDGE ('', *, *, #1070, .T.); #1090 = CARTESIAN_POINT ('', (0.921407635929029, 8., -4.7097352725522)); #1100 = VERTEX_POINT ('', #1090); #1110 = CARTESIAN_POINT ('', (0.677259977824605, 8., -1.2182610966428)); #1120 = CARTESIAN_POINT ('', (0.921407635929029, 8., -4.7097352725522)); #1130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1110, #1120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #1140 = EDGE_CURVE ('', #1030, #1100, #1130, .T.); #1150 = ORIENTED_EDGE ('', *, *, #1140, .T.); #1160 = CARTESIAN_POINT ('', (0.921407635929029, 8., -4.7097352725522)); #1170 = CARTESIAN_POINT ('', (2.4177537113188, 8., -4.605100561936)); #1180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1160, #1170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #1190 = EDGE_CURVE ('', #1100, #20, #1180, .T.); #1200 = ORIENTED_EDGE ('', *, *, #1190, .T.); #1210 = EDGE_LOOP ('', (#90, #160, #230, #310, #380, #450, #520, #590, #660, #730, #800, #870, #940, #1010, #1080, #1150, #1200)); #1220 = FACE_OUTER_BOUND ('', #1210, .T.); #1230 = CARTESIAN_POINT ('', (25.001, 8.00000000000001, -19.3714064605511)); #1240 = CARTESIAN_POINT ('', (25.001, 8.00000000000001, 4.387)); #1250 = CARTESIAN_POINT ('', (-84.501, 8., -19.3714064605511)); #1260 = CARTESIAN_POINT ('', (-84.501, 8., 4.387)); #1270 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1230, #1240), (#1250, #1260)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 109.502), (-3.01980662698043E-14, 23.7584064605511), .UNSPECIFIED.); #1280 = ADVANCED_FACE ('', (#1220), #1270, .T.); #1290 = CARTESIAN_POINT ('', (9.66267942263437, 6.80000000000001, -5.88283258276069)); #1300 = VERTEX_POINT ('', #1290); #1310 = CARTESIAN_POINT ('', (25., 6.8, -4.81034265103002)); #1320 = VERTEX_POINT ('', #1310); #1330 = CARTESIAN_POINT ('', (9.66267942263437, 6.80000000000001, -5.88283258276069)); #1340 = CARTESIAN_POINT ('', (25., 6.8, -4.81034265103002)); #1350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1330, #1340), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #1360 = EDGE_CURVE ('', #1300, #1320, #1350, .T.); #1370 = ORIENTED_EDGE ('', *, *, #1360, .T.); #1380 = CARTESIAN_POINT ('', (25., 6.8, -4.81034265103002)); #1390 = CARTESIAN_POINT ('', (25., 8.00000000000001, -4.81034265103002)); #1400 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1380, #1390), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #1410 = EDGE_CURVE ('', #1320, #110, #1400, .T.); #1420 = ORIENTED_EDGE ('', *, *, #1410, .T.); #1430 = ORIENTED_EDGE ('', *, *, #150, .F.); #1440 = CARTESIAN_POINT ('', (2.54192023458329, 6.6, -6.3807645713985)); #1450 = VERTEX_POINT ('', #1440); #1460 = CARTESIAN_POINT ('', (2.54192023458329, 8., -6.3807645713985)); #1470 = CARTESIAN_POINT ('', (2.54192023458329, 6.6, -6.3807645713985)); #1480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1460, #1470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #1490 = EDGE_CURVE ('', #40, #1450, #1480, .T.); #1500 = ORIENTED_EDGE ('', *, *, #1490, .T.); #1510 = CARTESIAN_POINT ('', (9.06262302727208, 6.60000000000001, -5.92479261347467)); #1520 = VERTEX_POINT ('', #1510); #1530 = CARTESIAN_POINT ('', (2.54192023458329, 6.6, -6.3807645713985)); #1540 = CARTESIAN_POINT ('', (9.06262302727208, 6.60000000000001, -5.92479261347467)); #1550 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1530, #1540), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #1560 = EDGE_CURVE ('', #1450, #1520, #1550, .T.); #1570 = ORIENTED_EDGE ('', *, *, #1560, .T.); #1580 = CARTESIAN_POINT ('', (9.66267942263437, 6.80000000000001, -5.88283258276069)); #1590 = CARTESIAN_POINT ('', (9.44635265752569, 6.80000000000001, -5.89795962378278)); #1600 = CARTESIAN_POINT ('', (9.23584096689233, 6.72991316775712, -5.9126800351856)); #1610 = CARTESIAN_POINT ('', (9.06262302727208, 6.60000000000001, -5.92479261347467)); #1620 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#1580, #1590, #1600, #1610), .UNSPECIFIED., .F., .U., (4, 4), (2.80596884548059E-17, 0.000641342667593423), .UNSPECIFIED.); #1630 = EDGE_CURVE ('', #1300, #1520, #1620, .T.); #1640 = ORIENTED_EDGE ('', *, *, #1630, .F.); #1650 = EDGE_LOOP ('', (#1370, #1420, #1430, #1500, #1570, #1640)); #1660 = FACE_OUTER_BOUND ('', #1650, .T.); #1670 = CARTESIAN_POINT ('', (25.0010647205849, 8.00100000000001, -4.81026819851391)); #1680 = CARTESIAN_POINT ('', (25.0010647205849, 6.599, -4.81026819851391)); #1690 = CARTESIAN_POINT ('', (2.54085551399842, 8.001, -6.3808390239146)); #1700 = CARTESIAN_POINT ('', (2.54085551399842, 6.599, -6.3808390239146)); #1710 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1670, #1680), (#1690, #1700)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (1.4210854715202E-13, 22.5150547483508), (-1.26526393529058E-15, 1.402), .UNSPECIFIED.); #1720 = ADVANCED_FACE ('', (#1660), #1710, .T.); #1730 = ORIENTED_EDGE ('', *, *, #1490, .F.); #1740 = ORIENTED_EDGE ('', *, *, #80, .F.); #1750 = CARTESIAN_POINT ('', (2.41775371131881, 6.6, -4.605100561936)); #1760 = VERTEX_POINT ('', #1750); #1770 = CARTESIAN_POINT ('', (2.4177537113188, 8., -4.605100561936)); #1780 = CARTESIAN_POINT ('', (2.41775371131881, 6.6, -4.605100561936)); #1790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1770, #1780), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #1800 = EDGE_CURVE ('', #20, #1760, #1790, .T.); #1810 = ORIENTED_EDGE ('', *, *, #1800, .T.); #1820 = CARTESIAN_POINT ('', (2.41775371131881, 6.6, -4.605100561936)); #1830 = CARTESIAN_POINT ('', (2.54192023458329, 6.6, -6.3807645713985)); #1840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1820, #1830), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #1850 = EDGE_CURVE ('', #1760, #1450, #1840, .T.); #1860 = ORIENTED_EDGE ('', *, *, #1850, .T.); #1870 = EDGE_LOOP ('', (#1730, #1740, #1810, #1860)); #1880 = FACE_OUTER_BOUND ('', #1870, .T.); #1890 = CARTESIAN_POINT ('', (2.5419946870994, 8.001, -6.38182929198335)); #1900 = CARTESIAN_POINT ('', (2.5419946870994, 6.599, -6.38182929198335)); #1910 = CARTESIAN_POINT ('', (2.41767925880269, 8.001, -4.60403584135114)); #1920 = CARTESIAN_POINT ('', (2.41767925880269, 6.599, -4.60403584135114)); #1930 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1890, #1900), (#1910, #1920)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (4.61852778244065E-14, 1.78213464104807), (-2.45897052719712E-16, 1.402), .UNSPECIFIED.); #1940 = ADVANCED_FACE ('', (#1880), #1930, .T.); #1950 = ORIENTED_EDGE ('', *, *, #1800, .F.); #1960 = ORIENTED_EDGE ('', *, *, #1190, .F.); #1970 = CARTESIAN_POINT ('', (0.921407635929029, 6.6, -4.70973527255219)); #1980 = VERTEX_POINT ('', #1970); #1990 = CARTESIAN_POINT ('', (0.921407635929029, 8., -4.7097352725522)); #2000 = CARTESIAN_POINT ('', (0.921407635929029, 6.6, -4.70973527255219)); #2010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1990, #2000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #2020 = EDGE_CURVE ('', #1100, #1980, #2010, .T.); #2030 = ORIENTED_EDGE ('', *, *, #2020, .T.); #2040 = CARTESIAN_POINT ('', (0.921407635929029, 6.6, -4.70973527255219)); #2050 = CARTESIAN_POINT ('', (2.41775371131881, 6.6, -4.605100561936)); #2060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2040, #2050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #2070 = EDGE_CURVE ('', #1980, #1760, #2060, .T.); #2080 = ORIENTED_EDGE ('', *, *, #2070, .T.); #2090 = EDGE_LOOP ('', (#1950, #1960, #2030, #2080)); #2100 = FACE_OUTER_BOUND ('', #2090, .T.); #2110 = CARTESIAN_POINT ('', (2.41881843190367, 8.001, -4.6050261094199)); #2120 = CARTESIAN_POINT ('', (2.41881843190367, 6.599, -4.6050261094199)); #2130 = CARTESIAN_POINT ('', (0.920342915344165, 8.001, -4.70980972506831)); #2140 = CARTESIAN_POINT ('', (0.920342915344165, 6.599, -4.70980972506831)); #2150 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2110, #2120), (#2130, #2140)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-8.5265128291212E-14, 1.50213464104799), (-2.38524477946811E-16, 1.402), .UNSPECIFIED.); #2160 = ADVANCED_FACE ('', (#2100), #2150, .T.); #2170 = ORIENTED_EDGE ('', *, *, #2020, .F.); #2180 = ORIENTED_EDGE ('', *, *, #1140, .F.); #2190 = CARTESIAN_POINT ('', (0.677259977824605, 6.6, -1.2182610966428)); #2200 = VERTEX_POINT ('', #2190); #2210 = CARTESIAN_POINT ('', (0.677259977824605, 8., -1.2182610966428)); #2220 = CARTESIAN_POINT ('', (0.677259977824605, 6.6, -1.2182610966428)); #2230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2210, #2220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #2240 = EDGE_CURVE ('', #1030, #2200, #2230, .T.); #2250 = ORIENTED_EDGE ('', *, *, #2240, .T.); #2260 = CARTESIAN_POINT ('', (0.677259977824605, 6.6, -1.2182610966428)); #2270 = CARTESIAN_POINT ('', (0.921407635929029, 6.6, -4.70973527255219)); #2280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2260, #2270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #2290 = EDGE_CURVE ('', #2200, #1980, #2280, .T.); #2300 = ORIENTED_EDGE ('', *, *, #2290, .T.); #2310 = EDGE_LOOP ('', (#2170, #2180, #2250, #2300)); #2320 = FACE_OUTER_BOUND ('', #2310, .T.); #2330 = CARTESIAN_POINT ('', (0.921482088445089, 8.001, -4.71079999313705)); #2340 = CARTESIAN_POINT ('', (0.921482088445089, 6.599, -4.71079999313705)); #2350 = CARTESIAN_POINT ('', (0.677185525308474, 8.001, -1.21719637605795)); #2360 = CARTESIAN_POINT ('', (0.677185525308474, 6.599, -1.21719637605795)); #2370 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2330, #2340), (#2350, #2360)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (4.61852778244065E-14, 3.50213464104807), (-3.23525928269675E-16, 1.402), .UNSPECIFIED.); #2380 = ADVANCED_FACE ('', (#2320), #2370, .T.); #2390 = CARTESIAN_POINT ('', (19.35, 6.8, 0.0874640833577915)); #2400 = VERTEX_POINT ('', #2390); #2410 = CARTESIAN_POINT ('', (19.35, 8., 0.0874640833577915)); #2420 = CARTESIAN_POINT ('', (19.35, 6.8, 0.0874640833577915)); #2430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2410, #2420), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #2440 = EDGE_CURVE ('', #960, #2400, #2430, .T.); #2450 = ORIENTED_EDGE ('', *, *, #2440, .T.); #2460 = CARTESIAN_POINT ('', (9.501, 6.79999999999997, -0.601245087473777)); #2470 = VERTEX_POINT ('', #2460); #2480 = CARTESIAN_POINT ('', (19.35, 6.8, 0.0874640833577915)); #2490 = CARTESIAN_POINT ('', (9.501, 6.79999999999997, -0.601245087473777)); #2500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2480, #2490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #2510 = EDGE_CURVE ('', #2400, #2470, #2500, .T.); #2520 = ORIENTED_EDGE ('', *, *, #2510, .T.); #2530 = CARTESIAN_POINT ('', (8.90100000000004, 6.6, -0.64320117463988)); #2540 = VERTEX_POINT ('', #2530); #2550 = CARTESIAN_POINT ('', (8.90100000000004, 6.6, -0.64320117463988)); #2560 = CARTESIAN_POINT ('', (9.0756290670666, 6.73097180029987, -0.630989920707242)); #2570 = CARTESIAN_POINT ('', (9.28271366616681, 6.79999999999994, -0.616509154889566)); #2580 = CARTESIAN_POINT ('', (9.501, 6.79999999999997, -0.601245087473777)); #2590 = ( BOUNDED_CURVE () B_SPLINE_CURVE (3, (#2550, #2560, #2570, #2580), .UNSPECIFIED., .F., .U.) B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (0.927295218001692, 1.57079632679491), .UNSPECIFIED.) CURVE () GEOMETRIC_REPRESENTATION_ITEM () RATIONAL_B_SPLINE_CURVE ((1., 0.965788865367016, 0.965788865367016, 1.)) REPRESENTATION_ITEM ('') ); #2600 = EDGE_CURVE ('', #2540, #2470, #2590, .T.); #2610 = ORIENTED_EDGE ('', *, *, #2600, .F.); #2620 = CARTESIAN_POINT ('', (8.90100000000004, 6.6, -0.64320117463988)); #2630 = CARTESIAN_POINT ('', (0.677259977824605, 6.6, -1.2182610966428)); #2640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2620, #2630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #2650 = EDGE_CURVE ('', #2540, #2200, #2640, .T.); #2660 = ORIENTED_EDGE ('', *, *, #2650, .T.); #2670 = ORIENTED_EDGE ('', *, *, #2240, .F.); #2680 = ORIENTED_EDGE ('', *, *, #1070, .F.); #2690 = EDGE_LOOP ('', (#2450, #2520, #2610, #2660, #2670, #2680)); #2700 = FACE_OUTER_BOUND ('', #2690, .T.); #2710 = CARTESIAN_POINT ('', (0.676195257239726, 8.001, -1.2183355491589)); #2720 = CARTESIAN_POINT ('', (0.676195257239726, 6.599, -1.2183355491589)); #2730 = CARTESIAN_POINT ('', (19.3510647205848, 8.001, 0.0875385358738869)); #2740 = CARTESIAN_POINT ('', (19.3510647205848, 6.599, 0.0875385358738869)); #2750 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2710, #2720), (#2730, #2740)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-7.105427357601E-14, 18.7204715912537), (-1.13927964284777E-15, 1.402), .UNSPECIFIED.); #2760 = ADVANCED_FACE ('', (#2700), #2750, .T.); #2770 = ORIENTED_EDGE ('', *, *, #1000, .F.); #2780 = CARTESIAN_POINT ('', (18.274913512519, 6.8, 1.16255057083862)); #2790 = VERTEX_POINT ('', #2780); #2800 = CARTESIAN_POINT ('', (18.274913512519, 8., 1.16255057083861)); #2810 = CARTESIAN_POINT ('', (18.274913512519, 6.8, 1.16255057083862)); #2820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2800, #2810), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #2830 = EDGE_CURVE ('', #890, #2790, #2820, .T.); #2840 = ORIENTED_EDGE ('', *, *, #2830, .T.); #2850 = CARTESIAN_POINT ('', (18.274913512519, 6.8, 1.16255057083862)); #2860 = CARTESIAN_POINT ('', (19.35, 6.8, 0.0874640833577915)); #2870 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2850, #2860), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #2880 = EDGE_CURVE ('', #2790, #2400, #2870, .T.); #2890 = ORIENTED_EDGE ('', *, *, #2880, .T.); #2900 = ORIENTED_EDGE ('', *, *, #2440, .F.); #2910 = EDGE_LOOP ('', (#2770, #2840, #2890, #2900)); #2920 = FACE_OUTER_BOUND ('', #2910, .T.); #2930 = CARTESIAN_POINT ('', (19.351, 8.001, 0.0864640833577939)); #2940 = CARTESIAN_POINT ('', (19.351, 6.799, 0.0864640833577939)); #2950 = CARTESIAN_POINT ('', (18.273913512519, 8.001, 1.16355057083863)); #2960 = CARTESIAN_POINT ('', (18.273913512519, 6.799, 1.16355057083863)); #2970 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2930, #2940), (#2950, #2960)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-7.105427357601E-15, 1.52323031844432), (-6.49437101318817E-16, 1.202), .UNSPECIFIED.); #2980 = ADVANCED_FACE ('', (#2920), #2970, .T.); #2990 = ORIENTED_EDGE ('', *, *, #930, .F.); #3000 = CARTESIAN_POINT ('', (12.6917353255828, 6.8, 4.38599999999998)); #3010 = VERTEX_POINT ('', #3000); #3020 = CARTESIAN_POINT ('', (12.6917353255828, 8., 4.38599999999999)); #3030 = CARTESIAN_POINT ('', (12.6917353255828, 6.8, 4.38599999999998)); #3040 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3020, #3030), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #3050 = EDGE_CURVE ('', #820, #3010, #3040, .T.); #3060 = ORIENTED_EDGE ('', *, *, #3050, .T.); #3070 = CARTESIAN_POINT ('', (12.6917353255828, 6.8, 4.38599999999998)); #3080 = CARTESIAN_POINT ('', (18.274913512519, 6.8, 1.16255057083862)); #3090 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3070, #3080), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #3100 = EDGE_CURVE ('', #3010, #2790, #3090, .T.); #3110 = ORIENTED_EDGE ('', *, *, #3100, .T.); #3120 = ORIENTED_EDGE ('', *, *, #2830, .F.); #3130 = EDGE_LOOP ('', (#2990, #3060, #3110, #3120)); #3140 = FACE_OUTER_BOUND ('', #3130, .T.); #3150 = CARTESIAN_POINT ('', (18.2760965252209, 8.001, 1.16186755813676)); #3160 = CARTESIAN_POINT ('', (18.2760965252209, 6.799, 1.16186755813676)); #3170 = CARTESIAN_POINT ('', (12.6905523128809, 8.001, 4.38668301270185)); #3180 = CARTESIAN_POINT ('', (12.6905523128809, 6.799, 4.38668301270185)); #3190 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3150, #3160), (#3170, #3180)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (1.13686837721616E-13, 6.44963090913026), (-1.1447006537102E-15, 1.202), .UNSPECIFIED.); #3200 = ADVANCED_FACE ('', (#3140), #3190, .T.); #3210 = CARTESIAN_POINT ('', (0., 0., 4.38600000000001)); #3220 = VERTEX_POINT ('', #3210); #3230 = CARTESIAN_POINT ('', (0., 8., 4.38600000000001)); #3240 = CARTESIAN_POINT ('', (0., 0., 4.38600000000001)); #3250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3230, #3240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #3260 = EDGE_CURVE ('', #750, #3220, #3250, .T.); #3270 = ORIENTED_EDGE ('', *, *, #3260, .T.); #3280 = CARTESIAN_POINT ('', (8.501, 0., 4.38600000000001)); #3290 = VERTEX_POINT ('', #3280); #3300 = CARTESIAN_POINT ('', (0., 0., 4.38600000000001)); #3310 = CARTESIAN_POINT ('', (8.501, 0., 4.38600000000001)); #3320 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3300, #3310), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #3330 = EDGE_CURVE ('', #3220, #3290, #3320, .T.); #3340 = ORIENTED_EDGE ('', *, *, #3330, .T.); #3350 = CARTESIAN_POINT ('', (8.501, 5.79999999999997, 4.38600000000001)); #3360 = VERTEX_POINT ('', #3350); #3370 = CARTESIAN_POINT ('', (8.501, 0., 4.38600000000001)); #3380 = CARTESIAN_POINT ('', (8.501, 5.79999999999997, 4.38600000000001)); #3390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3370, #3380), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #3400 = EDGE_CURVE ('', #3290, #3360, #3390, .T.); #3410 = ORIENTED_EDGE ('', *, *, #3400, .T.); #3420 = CARTESIAN_POINT ('', (9.501, 6.8, 4.386)); #3430 = VERTEX_POINT ('', #3420); #3440 = CARTESIAN_POINT ('', (9.501, 6.79999999999994, 4.386)); #3450 = CARTESIAN_POINT ('', (8.50100000000002, 6.79999999999995, 4.386)); #3460 = CARTESIAN_POINT ('', (8.50099999999999, 5.79999999999997, 4.386)); #3470 = ( BOUNDED_CURVE () B_SPLINE_CURVE (2, (#3440, #3450, #3460), .UNSPECIFIED., .F., .U.) B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (269.999999999993, 359.999999999993), .UNSPECIFIED.) CURVE () GEOMETRIC_REPRESENTATION_ITEM () RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186554, 1.)) REPRESENTATION_ITEM ('') ); #3480 = EDGE_CURVE ('', #3430, #3360, #3470, .T.); #3490 = ORIENTED_EDGE ('', *, *, #3480, .F.); #3500 = CARTESIAN_POINT ('', (9.501, 6.8, 4.386)); #3510 = CARTESIAN_POINT ('', (12.6917353255828, 6.8, 4.38599999999998)); #3520 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3500, #3510), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #3530 = EDGE_CURVE ('', #3430, #3010, #3520, .T.); #3540 = ORIENTED_EDGE ('', *, *, #3530, .T.); #3550 = ORIENTED_EDGE ('', *, *, #3050, .F.); #3560 = ORIENTED_EDGE ('', *, *, #860, .F.); #3570 = EDGE_LOOP ('', (#3270, #3340, #3410, #3490, #3540, #3550, #3560)); #3580 = FACE_OUTER_BOUND ('', #3570, .T.); #3590 = CARTESIAN_POINT ('', (12.6927353255828, 8.001, 4.38600000000001)); #3600 = CARTESIAN_POINT ('', (12.6927353255828, -0.000999999999997669, 4.38600000000001)); #3610 = CARTESIAN_POINT ('', (-0.00100000000000477, 8.001, 4.38600000000001)); #3620 = CARTESIAN_POINT ('', (-0.00100000000000477, -0.000999999999997669, 4.38600000000001)); #3630 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3590, #3600), (#3610, #3620)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (1.4210854715202E-14, 12.6937353255828), (-1.33031606563971E-15, 8.002), .UNSPECIFIED.); #3640 = ADVANCED_FACE ('', (#3580), #3630, .T.); #3650 = CARTESIAN_POINT ('', (1.4210854715202E-14, 0., 2.5840762113533)); #3660 = VERTEX_POINT ('', #3650); #3670 = CARTESIAN_POINT ('', (1.4210854715202E-14, 0., 2.5840762113533)); #3680 = CARTESIAN_POINT ('', (0., 0., 4.38600000000001)); #3690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3670, #3680), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #3700 = EDGE_CURVE ('', #3660, #3220, #3690, .T.); #3710 = ORIENTED_EDGE ('', *, *, #3700, .T.); #3720 = ORIENTED_EDGE ('', *, *, #3260, .F.); #3730 = ORIENTED_EDGE ('', *, *, #790, .F.); #3740 = CARTESIAN_POINT ('', (0., 1.3367006838144, 3.9207768951677)); #3750 = VERTEX_POINT ('', #3740); #3760 = CARTESIAN_POINT ('', (-1.4210854715202E-14, 8., 2.135351224469)); #3770 = CARTESIAN_POINT ('', (0., 1.3367006838144, 3.9207768951677)); #3780 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3760, #3770), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #3790 = EDGE_CURVE ('', #680, #3750, #3780, .T.); #3800 = ORIENTED_EDGE ('', *, *, #3790, .T.); #3810 = CARTESIAN_POINT ('', (0., 1.3367006838144, 3.9207768951677)); #3820 = CARTESIAN_POINT ('', (1.4210854715202E-14, 0., 2.5840762113533)); #3830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3810, #3820), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #3840 = EDGE_CURVE ('', #3750, #3660, #3830, .T.); #3850 = ORIENTED_EDGE ('', *, *, #3840, .T.); #3860 = EDGE_LOOP ('', (#3710, #3720, #3730, #3800, #3850)); #3870 = FACE_OUTER_BOUND ('', #3860, .T.); #3880 = CARTESIAN_POINT ('', (0., 8.001, 2.134351224469)); #3890 = CARTESIAN_POINT ('', (0., 8.001, 4.387)); #3900 = CARTESIAN_POINT ('', (0., -0.000999999999997669, 2.134351224469)); #3910 = CARTESIAN_POINT ('', (0., -0.000999999999997669, 4.387)); #3920 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3880, #3890), (#3900, #3910)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.18698453843713E-15, 8.002), (-7.105427357601E-15, 2.252648775531), .UNSPECIFIED.); #3930 = ADVANCED_FACE ('', (#3870), #3920, .T.); #3940 = CARTESIAN_POINT ('', (-8., 1.33670068401852, 3.92077689537182)); #3950 = VERTEX_POINT ('', #3940); #3960 = CARTESIAN_POINT ('', (-8., 1.33670068401852, 3.92077689537182)); #3970 = CARTESIAN_POINT ('', (0., 1.3367006838144, 3.9207768951677)); #3980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3960, #3970), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #3990 = EDGE_CURVE ('', #3950, #3750, #3980, .T.); #4000 = ORIENTED_EDGE ('', *, *, #3990, .T.); #4010 = ORIENTED_EDGE ('', *, *, #3790, .F.); #4020 = ORIENTED_EDGE ('', *, *, #720, .F.); #4030 = CARTESIAN_POINT ('', (-8., 8., 2.13535122446901)); #4040 = CARTESIAN_POINT ('', (-8., 1.33670068401852, 3.92077689537182)); #4050 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4030, #4040), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #4060 = EDGE_CURVE ('', #610, #3950, #4050, .T.); #4070 = ORIENTED_EDGE ('', *, *, #4060, .T.); #4080 = EDGE_LOOP ('', (#4000, #4010, #4020, #4070)); #4090 = FACE_OUTER_BOUND ('', #4080, .T.); #4100 = CARTESIAN_POINT ('', (-8.001, 8.0011830127019, 2.1350342371709)); #4110 = CARTESIAN_POINT ('', (0.00100000000000477, 8.0011830127019, 2.1350342371709)); #4120 = CARTESIAN_POINT ('', (-8.001, 1.33551767106148, 3.92109388247948)); #4130 = CARTESIAN_POINT ('', (0.00100000000000477, 1.33551767106148, 3.92109388247948)); #4140 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4100, #4110), (#4120, #4130)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.5527136788005E-15, 6.90080455478534), (0., 8.00200000000001), .UNSPECIFIED.); #4150 = ADVANCED_FACE ('', (#4090), #4140, .T.); #4160 = CARTESIAN_POINT ('', (-8., 1.50000000013939, 4.08407621131594)); #4170 = VERTEX_POINT ('', #4160); #4180 = CARTESIAN_POINT ('', (-8., 1.50000000013939, 4.08407621131594)); #4190 = CARTESIAN_POINT ('', (-8.00000000000001, 8., 2.34240646055105)); #4200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4180, #4190), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #4210 = EDGE_CURVE ('', #4170, #540, #4200, .T.); #4220 = ORIENTED_EDGE ('', *, *, #4210, .T.); #4230 = ORIENTED_EDGE ('', *, *, #580, .F.); #4240 = CARTESIAN_POINT ('', (-84.5, 1.50000000000004, 4.08407621135337)); #4250 = VERTEX_POINT ('', #4240); #4260 = CARTESIAN_POINT ('', (-84.5, 8., 2.34240646055111)); #4270 = CARTESIAN_POINT ('', (-84.5, 1.50000000000004, 4.08407621135337)); #4280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4260, #4270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #4290 = EDGE_CURVE ('', #470, #4250, #4280, .T.); #4300 = ORIENTED_EDGE ('', *, *, #4290, .T.); #4310 = CARTESIAN_POINT ('', (-84.5, 1.50000000000004, 4.08407621135337)); #4320 = CARTESIAN_POINT ('', (-8., 1.50000000013939, 4.08407621131594)); #4330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4310, #4320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #4340 = EDGE_CURVE ('', #4250, #4170, #4330, .T.); #4350 = ORIENTED_EDGE ('', *, *, #4340, .T.); #4360 = EDGE_LOOP ('', (#4220, #4230, #4300, #4350)); #4370 = FACE_OUTER_BOUND ('', #4360, .T.); #4380 = CARTESIAN_POINT ('', (-84.501, 8.00118301270191, 2.342089473253)); #4390 = CARTESIAN_POINT ('', (-7.999, 8.00118301270191, 2.342089473253)); #4400 = CARTESIAN_POINT ('', (-84.501, 1.49881698729814, 4.08439319865147)); #4410 = CARTESIAN_POINT ('', (-7.999, 1.49881698729814, 4.08439319865147)); #4420 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4380, #4390), (#4400, #4410)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (1.77635683940025E-15, 6.7317446624083), (4.5701289974609E-15, 76.502), .UNSPECIFIED.); #4430 = ADVANCED_FACE ('', (#4370), #4420, .T.); #4440 = CARTESIAN_POINT ('', (-84.5, 1.5, -21.1120762113533)); #4450 = VERTEX_POINT ('', #4440); #4460 = CARTESIAN_POINT ('', (-84.5, 0., -19.6120762113533)); #4470 = VERTEX_POINT ('', #4460); #4480 = CARTESIAN_POINT ('', (-84.5, 1.5, -21.1120762113533)); #4490 = CARTESIAN_POINT ('', (-84.5, 0., -19.6120762113533)); #4500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4480, #4490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #4510 = EDGE_CURVE ('', #4450, #4470, #4500, .T.); #4520 = ORIENTED_EDGE ('', *, *, #4510, .T.); #4530 = CARTESIAN_POINT ('', (-84.5, 0., 2.5840762113533)); #4540 = VERTEX_POINT ('', #4530); #4550 = CARTESIAN_POINT ('', (-84.5, 0., -19.6120762113533)); #4560 = CARTESIAN_POINT ('', (-84.5, 0., 2.5840762113533)); #4570 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4550, #4560), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #4580 = EDGE_CURVE ('', #4470, #4540, #4570, .T.); #4590 = ORIENTED_EDGE ('', *, *, #4580, .T.); #4600 = CARTESIAN_POINT ('', (-84.5, 0., 2.5840762113533)); #4610 = CARTESIAN_POINT ('', (-84.5, 1.50000000000004, 4.08407621135337)); #4620 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4600, #4610), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #4630 = EDGE_CURVE ('', #4540, #4250, #4620, .T.); #4640 = ORIENTED_EDGE ('', *, *, #4630, .T.); #4650 = ORIENTED_EDGE ('', *, *, #4290, .F.); #4660 = ORIENTED_EDGE ('', *, *, #510, .F.); #4670 = CARTESIAN_POINT ('', (-84.5, 8., -19.3704064605511)); #4680 = CARTESIAN_POINT ('', (-84.5, 1.5, -21.1120762113533)); #4690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4670, #4680), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #4700 = EDGE_CURVE ('', #400, #4450, #4690, .T.); #4710 = ORIENTED_EDGE ('', *, *, #4700, .T.); #4720 = EDGE_LOOP ('', (#4520, #4590, #4640, #4650, #4660, #4710)); #4730 = FACE_OUTER_BOUND ('', #4720, .T.); #4740 = CARTESIAN_POINT ('', (-84.5, 8.001, 4.08507621135337)); #4750 = CARTESIAN_POINT ('', (-84.5, -0.000999999999999446, 4.08507621135337)); #4760 = CARTESIAN_POINT ('', (-84.5, 8.001, -21.1130762113533)); #4770 = CARTESIAN_POINT ('', (-84.5, -0.000999999999997669, -21.1130762113533)); #4780 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4740, #4750), (#4760, #4770)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-6.3948846218409E-14, 25.1981524227066), (-3.99636920778157E-15, 8.002), .UNSPECIFIED.); #4790 = ADVANCED_FACE ('', (#4730), #4780, .T.); #4800 = CARTESIAN_POINT ('', (5.49079054051565, 1.49999999999999, -21.1120762113533)); #4810 = VERTEX_POINT ('', #4800); #4820 = CARTESIAN_POINT ('', (15.368290534018, 8.00000000000001, -19.3704064605511)); #4830 = CARTESIAN_POINT ('', (5.49079054051565, 1.49999999999999, -21.1120762113533)); #4840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4820, #4830), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #4850 = EDGE_CURVE ('', #330, #4810, #4840, .T.); #4860 = ORIENTED_EDGE ('', *, *, #4850, .T.); #4870 = CARTESIAN_POINT ('', (5.49079054051565, 1.49999999999999, -21.1120762113533)); #4880 = CARTESIAN_POINT ('', (-84.5, 1.5, -21.1120762113533)); #4890 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4870, #4880), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #4900 = EDGE_CURVE ('', #4810, #4450, #4890, .T.); #4910 = ORIENTED_EDGE ('', *, *, #4900, .T.); #4920 = ORIENTED_EDGE ('', *, *, #4700, .F.); #4930 = ORIENTED_EDGE ('', *, *, #440, .F.); #4940 = EDGE_LOOP ('', (#4860, #4910, #4920, #4930)); #4950 = FACE_OUTER_BOUND ('', #4940, .T.); #4960 = CARTESIAN_POINT ('', (-84.501, 1.49881698729809, -21.1123931986514)); #4970 = CARTESIAN_POINT ('', (15.369290534018, 1.4988169872981, -21.1123931986514)); #4980 = CARTESIAN_POINT ('', (-84.501, 8.0011830127019, -19.370089473253)); #4990 = CARTESIAN_POINT ('', (15.369290534018, 8.00118301270191, -19.370089473253)); #5000 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4960, #4970), (#4980, #4990)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.82076576038526E-14, 6.7317446624083), (1.10957250332167E-15, 99.870290534018), .UNSPECIFIED.); #5010 = ADVANCED_FACE ('', (#4950), #5000, .T.); #5020 = CARTESIAN_POINT ('', (22.5209445330009, 6.80000000000001, -18.1092005768582)); #5030 = VERTEX_POINT ('', #5020); #5040 = CARTESIAN_POINT ('', (22.5209445330009, 8.00000000000001, -18.1092005768581)); #5050 = CARTESIAN_POINT ('', (22.5209445330009, 6.80000000000001, -18.1092005768582)); #5060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5040, #5050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #5070 = EDGE_CURVE ('', #250, #5030, #5060, .T.); #5080 = ORIENTED_EDGE ('', *, *, #5070, .T.); #5090 = CARTESIAN_POINT ('', (19.845161310853, 6.80000000000001, -18.5810133534499)); #5100 = VERTEX_POINT ('', #5090); #5110 = CARTESIAN_POINT ('', (22.5209445330009, 6.80000000000001, -18.1092005768582)); #5120 = CARTESIAN_POINT ('', (19.845161310853, 6.80000000000001, -18.5810133534499)); #5130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5110, #5120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #5140 = EDGE_CURVE ('', #5030, #5100, #5130, .T.); #5150 = ORIENTED_EDGE ('', *, *, #5140, .T.); #5160 = CARTESIAN_POINT ('', (18.0551395102609, 5.80000000000001, -18.8966424929506)); #5170 = VERTEX_POINT ('', #5160); #5180 = CARTESIAN_POINT ('', (19.845161310853, 6.80000000000001, -18.5810133534499)); #5190 = CARTESIAN_POINT ('', (19.658630833622, 6.80000000000002, -18.6139037093101)); #5200 = CARTESIAN_POINT ('', (19.4741774769359, 6.78629002047314, -18.6464278127761)); #5210 = CARTESIAN_POINT ('', (19.1103347182781, 6.72544556151114, -18.7105831078629)); #5220 = CARTESIAN_POINT ('', (18.9290192418251, 6.67809576375414, -18.7425539183816)); #5230 = CARTESIAN_POINT ('', (18.5833286963076, 6.53402620375782, -18.8035084885321)); #5240 = CARTESIAN_POINT ('', (18.4185353970928, 6.43784552343113, -18.8325659934237)); #5250 = CARTESIAN_POINT ('', (18.2193661163335, 6.23759841461728, -18.8676849113498)); #5260 = CARTESIAN_POINT ('', (18.1616194104196, 6.16137440082225, -18.8778672136495)); #5270 = CARTESIAN_POINT ('', (18.0788381660748, 5.98992477756435, -18.8924637805241)); #5280 = CARTESIAN_POINT ('', (18.0551395102608, 5.89606487990286, -18.8966424929506)); #5290 = CARTESIAN_POINT ('', (18.0551395102609, 5.80000000000001, -18.8966424929506)); #5300 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#5180, #5190, #5200, #5210, #5220, #5230, #5240, #5250, #5260, #5270, #5280, #5290), .UNSPECIFIED., .F., .U., (4, 2, 2, 2, 2, 4), (1.40929601402592E-17, 0.000561616945566073, 0.00112323389113213, 0.00168485083669819, 0.0019656593094812, 0.00224646778226422), .UNSPECIFIED.); #5310 = EDGE_CURVE ('', #5100, #5170, #5300, .T.); #5320 = ORIENTED_EDGE ('', *, *, #5310, .T.); #5330 = CARTESIAN_POINT ('', (18.0551395102609, 7.105427357601E-15, -18.8966424929506)); #5340 = VERTEX_POINT ('', #5330); #5350 = CARTESIAN_POINT ('', (18.0551395102609, 5.80000000000001, -18.8966424929506)); #5360 = CARTESIAN_POINT ('', (18.0551395102609, 7.105427357601E-15, -18.8966424929506)); #5370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5350, #5360), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #5380 = EDGE_CURVE ('', #5170, #5340, #5370, .T.); #5390 = ORIENTED_EDGE ('', *, *, #5380, .T.); #5400 = CARTESIAN_POINT ('', (13.9977132699423, 1.06581410364015E-14, -19.6120762113533)); #5410 = VERTEX_POINT ('', #5400); #5420 = CARTESIAN_POINT ('', (18.0551395102609, 7.105427357601E-15, -18.8966424929506)); #5430 = CARTESIAN_POINT ('', (13.9977132699423, 1.06581410364015E-14, -19.6120762113533)); #5440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5420, #5430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #5450 = EDGE_CURVE ('', #5340, #5410, #5440, .T.); #5460 = ORIENTED_EDGE ('', *, *, #5450, .T.); #5470 = CARTESIAN_POINT ('', (13.9977132699423, 1.06581410364015E-14, -19.6120762113533)); #5480 = CARTESIAN_POINT ('', (5.49079054051565, 1.49999999999999, -21.1120762113533)); #5490 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5470, #5480), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #5500 = EDGE_CURVE ('', #5410, #4810, #5490, .T.); #5510 = ORIENTED_EDGE ('', *, *, #5500, .T.); #5520 = ORIENTED_EDGE ('', *, *, #4850, .F.); #5530 = ORIENTED_EDGE ('', *, *, #370, .F.); #5540 = EDGE_LOOP ('', (#5080, #5150, #5320, #5390, #5460, #5510, #5520, #5530)); #5550 = FACE_OUTER_BOUND ('', #5540, .T.); #5560 = CARTESIAN_POINT ('', (5.48964968413358, 8.001, -21.1122773751146)); #5570 = CARTESIAN_POINT ('', (5.48964968413358, -0.000999999999990564, -21.1122773751146)); #5580 = CARTESIAN_POINT ('', (22.522085389383, 8.00100000000001, -18.1089994130969)); #5590 = CARTESIAN_POINT ('', (22.522085389383, -0.000999999999990564, -18.1089994130969)); #5600 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5560, #5570), (#5580, #5590)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (7.105427357601E-14, 17.2951884803433), (-1.33703811910912E-15, 8.002), .UNSPECIFIED.); #5610 = ADVANCED_FACE ('', (#5550), #5600, .T.); #5620 = CARTESIAN_POINT ('', (25., 6.80000000000001, -15.1547773178215)); #5630 = VERTEX_POINT ('', #5620); #5640 = CARTESIAN_POINT ('', (25., 8.00000000000001, -15.1547773178215)); #5650 = CARTESIAN_POINT ('', (25., 6.80000000000001, -15.1547773178215)); #5660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5640, #5650), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #5670 = EDGE_CURVE ('', #180, #5630, #5660, .T.); #5680 = ORIENTED_EDGE ('', *, *, #5670, .T.); #5690 = CARTESIAN_POINT ('', (25., 6.80000000000001, -15.1547773178215)); #5700 = CARTESIAN_POINT ('', (25., 6.80000000000001, -17.6720762113533)); #5710 = CARTESIAN_POINT ('', (22.5209445330009, 6.80000000000001, -18.1092005768581)); #5720 = ( BOUNDED_CURVE () B_SPLINE_CURVE (2, (#5690, #5700, #5710), .UNSPECIFIED., .F., .U.) B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (90., 169.999999999998), .UNSPECIFIED.) CURVE () GEOMETRIC_REPRESENTATION_ITEM () RATIONAL_B_SPLINE_CURVE ((1., 0.766044443118989, 1.)) REPRESENTATION_ITEM ('') ); #5730 = EDGE_CURVE ('', #5630, #5030, #5720, .T.); #5740 = ORIENTED_EDGE ('', *, *, #5730, .T.); #5750 = ORIENTED_EDGE ('', *, *, #5070, .F.); #5760 = ORIENTED_EDGE ('', *, *, #300, .F.); #5770 = EDGE_LOOP ('', (#5680, #5740, #5750, #5760)); #5780 = FACE_OUTER_BOUND ('', #5770, .T.); #5790 = CARTESIAN_POINT ('', (22., 6.67880000000001, -12.1547773178215)); #5800 = CARTESIAN_POINT ('', (22., 8.12120000000001, -12.1547773178215)); #5810 = CARTESIAN_POINT ('', (25., 6.67880000000001, -12.1547773178215)); #5820 = CARTESIAN_POINT ('', (25., 8.12120000000001, -12.1547773178215)); #5830 = CARTESIAN_POINT ('', (25., 6.67880000000001, -15.1547773178215)); #5840 = CARTESIAN_POINT ('', (25., 8.12120000000001, -15.1547773178215)); #5850 = CARTESIAN_POINT ('', (25.0000000000001, 6.67880000000001, -18.1547773178215)); #5860 = CARTESIAN_POINT ('', (25.0000000000001, 8.12120000000001, -18.1547773178215)); #5870 = CARTESIAN_POINT ('', (22.0000000000001, 6.67880000000001, -18.1547773178215)); #5880 = CARTESIAN_POINT ('', (22.0000000000001, 8.12120000000001, -18.1547773178215)); #5890 = CARTESIAN_POINT ('', (19.0000000000001, 6.67880000000001, -18.1547773178215)); #5900 = CARTESIAN_POINT ('', (19.0000000000001, 8.12120000000001, -18.1547773178215)); #5910 = CARTESIAN_POINT ('', (19., 6.67880000000001, -15.1547773178215)); #5920 = CARTESIAN_POINT ('', (19., 8.12120000000001, -15.1547773178215)); #5930 = CARTESIAN_POINT ('', (19., 6.67880000000001, -12.1547773178215)); #5940 = CARTESIAN_POINT ('', (19., 8.12120000000001, -12.1547773178215)); #5950 = CARTESIAN_POINT ('', (22., 6.67880000000001, -12.1547773178215)); #5960 = CARTESIAN_POINT ('', (22., 8.12120000000001, -12.1547773178215)); #5970 = ( BOUNDED_SURFACE () B_SPLINE_SURFACE (2, 1, ((#5790, #5800), (#5810, #5820), (#5830, #5840), (#5850, #5860), (#5870, #5880), (#5890, #5900), (#5910, #5920), (#5930, #5940), (#5950, #5960)), .UNSPECIFIED., .T., .F., .U.) B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.) SURFACE () GEOMETRIC_REPRESENTATION_ITEM () RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.))) REPRESENTATION_ITEM ('') ); #5980 = ADVANCED_FACE ('', (#5780), #5970, .T.); #5990 = ORIENTED_EDGE ('', *, *, #5670, .F.); #6000 = ORIENTED_EDGE ('', *, *, #220, .F.); #6010 = ORIENTED_EDGE ('', *, *, #1410, .F.); #6020 = CARTESIAN_POINT ('', (25., 6.8, -4.81034265103002)); #6030 = CARTESIAN_POINT ('', (25., 6.80000000000001, -15.1547773178215)); #6040 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6020, #6030), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #6050 = EDGE_CURVE ('', #1320, #5630, #6040, .T.); #6060 = ORIENTED_EDGE ('', *, *, #6050, .T.); #6070 = EDGE_LOOP ('', (#5990, #6000, #6010, #6060)); #6080 = FACE_OUTER_BOUND ('', #6070, .T.); #6090 = CARTESIAN_POINT ('', (25., 6.799, -15.1557773178215)); #6100 = CARTESIAN_POINT ('', (25., 6.799, -4.80934265103001)); #6110 = CARTESIAN_POINT ('', (25., 8.001, -15.1557773178215)); #6120 = CARTESIAN_POINT ('', (25., 8.001, -4.80934265103001)); #6130 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6090, #6100), (#6110, #6120)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-9.32587340685131E-15, 1.202), (0., 10.3464346667915), .UNSPECIFIED.); #6140 = ADVANCED_FACE ('', (#6080), #6130, .T.); #6150 = ORIENTED_EDGE ('', *, *, #1360, .F.); #6160 = CARTESIAN_POINT ('', (9.66267942263437, 6.80000000000001, -5.88283258276069)); #6170 = CARTESIAN_POINT ('', (9.86470471921098, 6.8, -7.29313558890988)); #6180 = CARTESIAN_POINT ('', (10.2547270761593, 6.8, -8.67150177800599)); #6190 = CARTESIAN_POINT ('', (11.3877536065685, 6.8, -11.2851519394425)); #6200 = CARTESIAN_POINT ('', (12.1275723434385, 6.8, -12.5122355002884)); #6210 = CARTESIAN_POINT ('', (13.9095988476289, 6.8, -14.7346886101797)); #6220 = CARTESIAN_POINT ('', (14.9467619301126, 6.8, -15.7233030793552)); #6230 = CARTESIAN_POINT ('', (17.2516868052349, 6.8, -17.3972916117449)); #6240 = CARTESIAN_POINT ('', (18.5117536932905, 6.80000000000001, -18.077136045819)); #6250 = CARTESIAN_POINT ('', (19.845161310853, 6.80000000000001, -18.5810133534499)); #6260 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#6160, #6170, #6180, #6190, #6200, #6210, #6220, #6230, #6240, #6250), .UNSPECIFIED., .F., .U., (4, 2, 2, 2, 4), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.); #6270 = EDGE_CURVE ('', #1300, #5100, #6260, .T.); #6280 = ORIENTED_EDGE ('', *, *, #6270, .T.); #6290 = ORIENTED_EDGE ('', *, *, #5140, .F.); #6300 = ORIENTED_EDGE ('', *, *, #5730, .F.); #6310 = ORIENTED_EDGE ('', *, *, #6050, .F.); #6320 = EDGE_LOOP ('', (#6150, #6280, #6290, #6300, #6310)); #6330 = FACE_OUTER_BOUND ('', #6320, .T.); #6340 = CARTESIAN_POINT ('', (9.66167942263436, 6.8, -18.5820133534499)); #6350 = CARTESIAN_POINT ('', (9.66167942263436, 6.8, -4.80934265103001)); #6360 = CARTESIAN_POINT ('', (25.001, 6.80000000000001, -18.5820133534499)); #6370 = CARTESIAN_POINT ('', (25.001, 6.80000000000001, -4.80934265103001)); #6380 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6340, #6350), (#6360, #6370)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-4.2632564145606E-14, 15.3393205773656), (7.105427357601E-15, 13.7726707024199), .UNSPECIFIED.); #6390 = ADVANCED_FACE ('', (#6330), #6380, .T.); #6400 = ORIENTED_EDGE ('', *, *, #1560, .F.); #6410 = ORIENTED_EDGE ('', *, *, #1850, .F.); #6420 = ORIENTED_EDGE ('', *, *, #2070, .F.); #6430 = ORIENTED_EDGE ('', *, *, #2290, .F.); #6440 = ORIENTED_EDGE ('', *, *, #2650, .F.); #6450 = CARTESIAN_POINT ('', (8.90099999999998, 6.60000000000001, -3.614)); #6460 = VERTEX_POINT ('', #6450); #6470 = CARTESIAN_POINT ('', (8.90100000000004, 6.6, -0.64320117463988)); #6480 = CARTESIAN_POINT ('', (8.90099999999998, 6.60000000000001, -3.614)); #6490 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6470, #6480), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #6500 = EDGE_CURVE ('', #2540, #6460, #6490, .T.); #6510 = ORIENTED_EDGE ('', *, *, #6500, .T.); #6520 = CARTESIAN_POINT ('', (8.90100000000001, 6.60000000000002, -3.614)); #6530 = CARTESIAN_POINT ('', (8.90100000000001, 6.60000000000002, -4.77504848053965)); #6540 = CARTESIAN_POINT ('', (9.0626230272721, 6.60000000000002, -5.92479261347467)); #6550 = ( BOUNDED_CURVE () B_SPLINE_CURVE (2, (#6520, #6530, #6540), .UNSPECIFIED., .F., .U.) B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (90., 98.0018094440783), .UNSPECIFIED.) CURVE () GEOMETRIC_REPRESENTATION_ITEM () RATIONAL_B_SPLINE_CURVE ((1., 0.997562948654344, 1.)) REPRESENTATION_ITEM ('') ); #6560 = EDGE_CURVE ('', #6460, #1520, #6550, .T.); #6570 = ORIENTED_EDGE ('', *, *, #6560, .T.); #6580 = EDGE_LOOP ('', (#6400, #6410, #6420, #6430, #6440, #6510, #6570)); #6590 = FACE_OUTER_BOUND ('', #6580, .T.); #6600 = CARTESIAN_POINT ('', (9.0636230272721, 6.6, -6.3817645713985)); #6610 = CARTESIAN_POINT ('', (9.0636230272721, 6.6, -0.642201174639879)); #6620 = CARTESIAN_POINT ('', (0.6762599778246, 6.6, -6.3817645713985)); #6630 = CARTESIAN_POINT ('', (0.6762599778246, 6.6, -0.642201174639879)); #6640 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6600, #6610), (#6620, #6630)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 8.3873630494475), (0., 5.73956339675862), .UNSPECIFIED.); #6650 = ADVANCED_FACE ('', (#6590), #6640, .T.); #6660 = ORIENTED_EDGE ('', *, *, #2880, .F.); #6670 = ORIENTED_EDGE ('', *, *, #3100, .F.); #6680 = ORIENTED_EDGE ('', *, *, #3530, .F.); #6690 = CARTESIAN_POINT ('', (9.501, 6.8, 4.386)); #6700 = CARTESIAN_POINT ('', (9.501, 6.79999999999997, -0.601245087473777)); #6710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6690, #6700), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #6720 = EDGE_CURVE ('', #3430, #2470, #6710, .T.); #6730 = ORIENTED_EDGE ('', *, *, #6720, .T.); #6740 = ORIENTED_EDGE ('', *, *, #2510, .F.); #6750 = EDGE_LOOP ('', (#6660, #6670, #6680, #6730, #6740)); #6760 = FACE_OUTER_BOUND ('', #6750, .T.); #6770 = CARTESIAN_POINT ('', (9.5, 6.8, -0.602245087473778)); #6780 = CARTESIAN_POINT ('', (9.5, 6.8, 4.387)); #6790 = CARTESIAN_POINT ('', (19.351, 6.8, -0.602245087473778)); #6800 = CARTESIAN_POINT ('', (19.351, 6.8, 4.387)); #6810 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6770, #6780), (#6790, #6800)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 9.851), (1.77635683940025E-14, 4.98924508747379), .UNSPECIFIED.); #6820 = ADVANCED_FACE ('', (#6760), #6810, .T.); #6830 = ORIENTED_EDGE ('', *, *, #5450, .F.); #6840 = CARTESIAN_POINT ('', (8.50100000000002, 3.5527136788005E-15, -3.614)); #6850 = VERTEX_POINT ('', #6840); #6860 = CARTESIAN_POINT ('', (18.0551395102608, 3.5527136788005E-15, -18.8966424929507)); #6870 = CARTESIAN_POINT ('', (8.501, 3.5527136788005E-15, -14.2417675309982)); #6880 = CARTESIAN_POINT ('', (8.501, 3.5527136788005E-15, -3.614)); #6890 = ( BOUNDED_CURVE () B_SPLINE_CURVE (2, (#6860, #6870, #6880), .UNSPECIFIED., .F., .U.) B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (25.9758197046226, 90.0000000000001), .UNSPECIFIED.) CURVE () GEOMETRIC_REPRESENTATION_ITEM () RATIONAL_B_SPLINE_CURVE ((1., 0.847936257484626, 1.)) REPRESENTATION_ITEM ('') ); #6900 = EDGE_CURVE ('', #5340, #6850, #6890, .T.); #6910 = ORIENTED_EDGE ('', *, *, #6900, .T.); #6920 = CARTESIAN_POINT ('', (8.50100000000002, 3.5527136788005E-15, -3.614)); #6930 = CARTESIAN_POINT ('', (8.501, 0., 4.38600000000001)); #6940 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6920, #6930), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #6950 = EDGE_CURVE ('', #6850, #3290, #6940, .T.); #6960 = ORIENTED_EDGE ('', *, *, #6950, .T.); #6970 = ORIENTED_EDGE ('', *, *, #3330, .F.); #6980 = ORIENTED_EDGE ('', *, *, #3700, .F.); #6990 = CARTESIAN_POINT ('', (1.4210854715202E-14, 0., 2.5840762113533)); #7000 = CARTESIAN_POINT ('', (-84.5, 0., 2.5840762113533)); #7010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6990, #7000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #7020 = EDGE_CURVE ('', #3660, #4540, #7010, .T.); #7030 = ORIENTED_EDGE ('', *, *, #7020, .T.); #7040 = ORIENTED_EDGE ('', *, *, #4580, .F.); #7050 = CARTESIAN_POINT ('', (-84.5, 0., -19.6120762113533)); #7060 = CARTESIAN_POINT ('', (13.9977132699423, 1.06581410364015E-14, -19.6120762113533)); #7070 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7050, #7060), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #7080 = EDGE_CURVE ('', #4470, #5410, #7070, .T.); #7090 = ORIENTED_EDGE ('', *, *, #7080, .T.); #7100 = EDGE_LOOP ('', (#6830, #6910, #6960, #6970, #6980, #7030, #7040, #7090)); #7110 = FACE_OUTER_BOUND ('', #7100, .T.); #7120 = CARTESIAN_POINT ('', (-84.501, 0., -19.6130762113533)); #7130 = CARTESIAN_POINT ('', (-84.501, 0., 4.387)); #7140 = CARTESIAN_POINT ('', (18.0561395102609, 9.76996261670138E-15, -19.6130762113533)); #7150 = CARTESIAN_POINT ('', (18.0561395102609, 9.76996261670138E-15, 4.387)); #7160 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7120, #7130), (#7140, #7150)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (4.28975431565615E-15, 102.557139510261), (-1.24344978758018E-14, 24.0000762113533), .UNSPECIFIED.); #7170 = ADVANCED_FACE ('', (#7110), #7160, .T.); #7180 = CARTESIAN_POINT ('', (8.501, 5.8, -3.614)); #7190 = VERTEX_POINT ('', #7180); #7200 = CARTESIAN_POINT ('', (8.501, 5.8, -3.614)); #7210 = CARTESIAN_POINT ('', (8.501, 5.79999999999997, 4.38600000000001)); #7220 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7200, #7210), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #7230 = EDGE_CURVE ('', #7190, #3360, #7220, .T.); #7240 = ORIENTED_EDGE ('', *, *, #7230, .T.); #7250 = ORIENTED_EDGE ('', *, *, #3400, .F.); #7260 = ORIENTED_EDGE ('', *, *, #6950, .F.); #7270 = CARTESIAN_POINT ('', (8.50100000000002, 3.5527136788005E-15, -3.614)); #7280 = CARTESIAN_POINT ('', (8.501, 5.8, -3.614)); #7290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7270, #7280), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #7300 = EDGE_CURVE ('', #6850, #7190, #7290, .T.); #7310 = ORIENTED_EDGE ('', *, *, #7300, .T.); #7320 = EDGE_LOOP ('', (#7240, #7250, #7260, #7310)); #7330 = FACE_OUTER_BOUND ('', #7320, .T.); #7340 = CARTESIAN_POINT ('', (8.501, 5.801, -3.615)); #7350 = CARTESIAN_POINT ('', (8.501, -0.000999999999999446, -3.615)); #7360 = CARTESIAN_POINT ('', (8.501, 5.801, 4.387)); #7370 = CARTESIAN_POINT ('', (8.501, -0.000999999999999446, 4.387)); #7380 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7340, #7350), (#7360, #7370)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-7.105427357601E-15, 8.002), (8.88178419700125E-15, 5.80200000000001), .UNSPECIFIED.); #7390 = ADVANCED_FACE ('', (#7330), #7380, .T.); #7400 = CARTESIAN_POINT ('', (-8., 1.33670068401852, 3.92077689537182)); #7410 = CARTESIAN_POINT ('', (-8., 1.50000000013939, 4.08407621131594)); #7420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7400, #7410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #7430 = EDGE_CURVE ('', #3950, #4170, #7420, .T.); #7440 = ORIENTED_EDGE ('', *, *, #7430, .T.); #7450 = ORIENTED_EDGE ('', *, *, #4340, .F.); #7460 = ORIENTED_EDGE ('', *, *, #4630, .F.); #7470 = ORIENTED_EDGE ('', *, *, #7020, .F.); #7480 = ORIENTED_EDGE ('', *, *, #3840, .F.); #7490 = ORIENTED_EDGE ('', *, *, #3990, .F.); #7500 = EDGE_LOOP ('', (#7440, #7450, #7460, #7470, #7480, #7490)); #7510 = FACE_OUTER_BOUND ('', #7500, .T.); #7520 = CARTESIAN_POINT ('', (-84.501, 1.50100000006972, 4.08507621142303)); #7530 = CARTESIAN_POINT ('', (0.00100000000001899, 1.50100000006972, 4.08507621142303)); #7540 = CARTESIAN_POINT ('', (-84.501, -0.001000000000003, 2.58307621135329)); #7550 = CARTESIAN_POINT ('', (0.00100000000001899, -0.00100000000000122, 2.58307621135329)); #7560 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7520, #7530), (#7540, #7550)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-9.86162262961443E-11, 2.12414877068438), (4.28997115609064E-15, 84.502), .UNSPECIFIED.); #7570 = ADVANCED_FACE ('', (#7510), #7560, .T.); #7580 = ORIENTED_EDGE ('', *, *, #4060, .F.); #7590 = ORIENTED_EDGE ('', *, *, #650, .T.); #7600 = ORIENTED_EDGE ('', *, *, #4210, .F.); #7610 = ORIENTED_EDGE ('', *, *, #7430, .F.); #7620 = EDGE_LOOP ('', (#7580, #7590, #7600, #7610)); #7630 = FACE_OUTER_BOUND ('', #7620, .T.); #7640 = CARTESIAN_POINT ('', (-8., 8.001, 2.13435122446901)); #7650 = CARTESIAN_POINT ('', (-8., 1.33570068401852, 2.13435122446901)); #7660 = CARTESIAN_POINT ('', (-8., 8.001, 4.08507621131594)); #7670 = CARTESIAN_POINT ('', (-8., 1.33570068401852, 4.08507621131594)); #7680 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7640, #7650), (#7660, #7670)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (7.105427357601E-15, 1.95072498684694), (-5.11960265847655E-16, 6.66529931598148), .UNSPECIFIED.); #7690 = ADVANCED_FACE ('', (#7630), #7680, .T.); #7700 = ORIENTED_EDGE ('', *, *, #5500, .F.); #7710 = ORIENTED_EDGE ('', *, *, #7080, .F.); #7720 = ORIENTED_EDGE ('', *, *, #4510, .F.); #7730 = ORIENTED_EDGE ('', *, *, #4900, .F.); #7740 = EDGE_LOOP ('', (#7700, #7710, #7720, #7730)); #7750 = FACE_OUTER_BOUND ('', #7740, .T.); #7760 = CARTESIAN_POINT ('', (-84.501, -0.00100000000000122, -19.6110762113533)); #7770 = CARTESIAN_POINT ('', (13.9987132699423, -0.000999999999994117, -19.6110762113533)); #7780 = CARTESIAN_POINT ('', (-84.501, 1.501, -21.1130762113533)); #7790 = CARTESIAN_POINT ('', (13.9987132699423, 1.501, -21.1130762113533)); #7800 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7760, #7770), (#7780, #7790)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.5527136788005E-15, 2.12414877068439), (9.98767041293647E-16, 98.4997132699423), .UNSPECIFIED.); #7810 = ADVANCED_FACE ('', (#7750), #7800, .T.); #7820 = ORIENTED_EDGE ('', *, *, #5380, .F.); #7830 = CARTESIAN_POINT ('', (18.0551395102608, 5.8, -18.8966424929507)); #7840 = CARTESIAN_POINT ('', (8.50099999999999, 5.8, -14.2417675309982)); #7850 = CARTESIAN_POINT ('', (8.501, 5.8, -3.61399999999999)); #7860 = ( BOUNDED_CURVE () B_SPLINE_CURVE (2, (#7830, #7840, #7850), .UNSPECIFIED., .F., .U.) B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (205.975819704623, 270.), .UNSPECIFIED.) CURVE () GEOMETRIC_REPRESENTATION_ITEM () RATIONAL_B_SPLINE_CURVE ((1., 0.847936257484626, 1.)) REPRESENTATION_ITEM ('') ); #7870 = EDGE_CURVE ('', #5170, #7190, #7860, .T.); #7880 = ORIENTED_EDGE ('', *, *, #7870, .T.); #7890 = ORIENTED_EDGE ('', *, *, #7300, .F.); #7900 = ORIENTED_EDGE ('', *, *, #6900, .F.); #7910 = EDGE_LOOP ('', (#7820, #7880, #7890, #7900)); #7920 = FACE_OUTER_BOUND ('', #7910, .T.); #7930 = CARTESIAN_POINT ('', (25.501, 6.3812, -20.614)); #7940 = CARTESIAN_POINT ('', (25.501, -0.581199999999996, -20.614)); #7950 = CARTESIAN_POINT ('', (8.501, 6.3812, -20.614)); #7960 = CARTESIAN_POINT ('', (8.501, -0.581199999999996, -20.614)); #7970 = CARTESIAN_POINT ('', (8.501, 6.3812, -3.61400000000002)); #7980 = CARTESIAN_POINT ('', (8.501, -0.581199999999996, -3.61400000000002)); #7990 = CARTESIAN_POINT ('', (8.501, 6.3812, 13.386)); #8000 = CARTESIAN_POINT ('', (8.501, -0.581199999999996, 13.386)); #8010 = CARTESIAN_POINT ('', (25.501, 6.3812, 13.386)); #8020 = CARTESIAN_POINT ('', (25.501, -0.581199999999996, 13.386)); #8030 = CARTESIAN_POINT ('', (42.501, 6.3812, 13.386)); #8040 = CARTESIAN_POINT ('', (42.501, -0.581199999999996, 13.386)); #8050 = CARTESIAN_POINT ('', (42.501, 6.3812, -3.61400000000001)); #8060 = CARTESIAN_POINT ('', (42.501, -0.581199999999996, -3.61400000000001)); #8070 = CARTESIAN_POINT ('', (42.501, 6.3812, -20.614)); #8080 = CARTESIAN_POINT ('', (42.501, -0.581199999999996, -20.614)); #8090 = CARTESIAN_POINT ('', (25.501, 6.3812, -20.614)); #8100 = CARTESIAN_POINT ('', (25.501, -0.581199999999996, -20.614)); #8110 = ( BOUNDED_SURFACE () B_SPLINE_SURFACE (2, 1, ((#7930, #7940), (#7950, #7960), (#7970, #7980), (#7990, #8000), (#8010, #8020), (#8030, #8040), (#8050, #8060), (#8070, #8080), (#8090, #8100)), .UNSPECIFIED., .T., .F., .U.) B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.) SURFACE () GEOMETRIC_REPRESENTATION_ITEM () RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.))) REPRESENTATION_ITEM ('') ); #8120 = ADVANCED_FACE ('', (#7920), #8110, .T.); #8130 = ORIENTED_EDGE ('', *, *, #1630, .T.); #8140 = ORIENTED_EDGE ('', *, *, #6560, .F.); #8150 = CARTESIAN_POINT ('', (8.90099999999998, 6.6, -3.614)); #8160 = CARTESIAN_POINT ('', (8.501, 6.3, -3.614)); #8170 = CARTESIAN_POINT ('', (8.501, 5.8, -3.614)); #8180 = ( BOUNDED_CURVE () B_SPLINE_CURVE (2, (#8150, #8160, #8170), .UNSPECIFIED., .F., .U.) B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (216.869897645845, 270.000000000001), .UNSPECIFIED.) CURVE () GEOMETRIC_REPRESENTATION_ITEM () RATIONAL_B_SPLINE_CURVE ((1., 0.894427190999918, 1.)) REPRESENTATION_ITEM ('') ); #8190 = EDGE_CURVE ('', #6460, #7190, #8180, .T.); #8200 = ORIENTED_EDGE ('', *, *, #8190, .T.); #8210 = ORIENTED_EDGE ('', *, *, #7870, .F.); #8220 = ORIENTED_EDGE ('', *, *, #5310, .F.); #8230 = ORIENTED_EDGE ('', *, *, #6270, .F.); #8240 = EDGE_LOOP ('', (#8130, #8140, #8200, #8210, #8220, #8230)); #8250 = FACE_OUTER_BOUND ('', #8240, .T.); #8260 = CARTESIAN_POINT ('', (25.501, 5.80000000000001, 13.386)); #8270 = CARTESIAN_POINT ('', (25.501, 6.80000000000002, 13.386)); #8280 = CARTESIAN_POINT ('', (25.501, 6.80000000000002, 12.386)); #8290 = CARTESIAN_POINT ('', (25.501, 6.80000000000002, 11.386)); #8300 = CARTESIAN_POINT ('', (25.501, 5.80000000000001, 11.386)); #8310 = CARTESIAN_POINT ('', (25.501, 4.80000000000001, 11.386)); #8320 = CARTESIAN_POINT ('', (25.501, 4.80000000000001, 12.386)); #8330 = CARTESIAN_POINT ('', (25.501, 4.80000000000001, 13.386)); #8340 = CARTESIAN_POINT ('', (25.501, 5.80000000000001, 13.386)); #8350 = CARTESIAN_POINT ('', (8.501, 5.80000000000001, 13.386)); #8360 = CARTESIAN_POINT ('', (8.50099999999999, 6.80000000000002, 13.386)); #8370 = CARTESIAN_POINT ('', (9.50099999999999, 6.80000000000002, 12.386)); #8380 = CARTESIAN_POINT ('', (10.501, 6.80000000000002, 11.386)); #8390 = CARTESIAN_POINT ('', (10.501, 5.80000000000001, 11.386)); #8400 = CARTESIAN_POINT ('', (10.501, 4.80000000000001, 11.386)); #8410 = CARTESIAN_POINT ('', (9.50099999999999, 4.80000000000001, 12.386)); #8420 = CARTESIAN_POINT ('', (8.50099999999999, 4.80000000000001, 13.386)); #8430 = CARTESIAN_POINT ('', (8.501, 5.80000000000001, 13.386)); #8440 = CARTESIAN_POINT ('', (8.501, 5.80000000000001, -3.61400000000001)); #8450 = CARTESIAN_POINT ('', (8.50099999999999, 6.80000000000002, -3.61400000000001)); #8460 = CARTESIAN_POINT ('', (9.501, 6.80000000000002, -3.61400000000001)); #8470 = CARTESIAN_POINT ('', (10.501, 6.80000000000002, -3.61400000000001)); #8480 = CARTESIAN_POINT ('', (10.501, 5.80000000000001, -3.61400000000001)); #8490 = CARTESIAN_POINT ('', (10.501, 4.80000000000001, -3.61400000000001)); #8500 = CARTESIAN_POINT ('', (9.501, 4.80000000000001, -3.61400000000001)); #8510 = CARTESIAN_POINT ('', (8.50099999999999, 4.80000000000001, -3.61400000000001)); #8520 = CARTESIAN_POINT ('', (8.501, 5.80000000000001, -3.61400000000001)); #8530 = CARTESIAN_POINT ('', (8.501, 5.80000000000001, -20.614)); #8540 = CARTESIAN_POINT ('', (8.50099999999999, 6.80000000000002, -20.614)); #8550 = CARTESIAN_POINT ('', (9.50099999999999, 6.80000000000002, -19.614)); #8560 = CARTESIAN_POINT ('', (10.501, 6.80000000000002, -18.614)); #8570 = CARTESIAN_POINT ('', (10.501, 5.80000000000001, -18.614)); #8580 = CARTESIAN_POINT ('', (10.501, 4.80000000000001, -18.614)); #8590 = CARTESIAN_POINT ('', (9.50099999999999, 4.80000000000001, -19.614)); #8600 = CARTESIAN_POINT ('', (8.50099999999999, 4.80000000000001, -20.614)); #8610 = CARTESIAN_POINT ('', (8.501, 5.80000000000001, -20.614)); #8620 = CARTESIAN_POINT ('', (25.501, 5.80000000000001, -20.614)); #8630 = CARTESIAN_POINT ('', (25.501, 6.80000000000002, -20.614)); #8640 = CARTESIAN_POINT ('', (25.501, 6.80000000000002, -19.614)); #8650 = CARTESIAN_POINT ('', (25.501, 6.80000000000002, -18.614)); #8660 = CARTESIAN_POINT ('', (25.501, 5.80000000000001, -18.614)); #8670 = CARTESIAN_POINT ('', (25.501, 4.80000000000001, -18.614)); #8680 = CARTESIAN_POINT ('', (25.501, 4.80000000000001, -19.614)); #8690 = CARTESIAN_POINT ('', (25.501, 4.80000000000001, -20.614)); #8700 = CARTESIAN_POINT ('', (25.501, 5.80000000000001, -20.614)); #8710 = CARTESIAN_POINT ('', (42.501, 5.80000000000001, -20.614)); #8720 = CARTESIAN_POINT ('', (42.501, 6.80000000000002, -20.614)); #8730 = CARTESIAN_POINT ('', (41.501, 6.80000000000002, -19.614)); #8740 = CARTESIAN_POINT ('', (40.501, 6.80000000000002, -18.614)); #8750 = CARTESIAN_POINT ('', (40.501, 5.80000000000001, -18.614)); #8760 = CARTESIAN_POINT ('', (40.501, 4.80000000000001, -18.614)); #8770 = CARTESIAN_POINT ('', (41.501, 4.80000000000001, -19.614)); #8780 = CARTESIAN_POINT ('', (42.501, 4.80000000000001, -20.614)); #8790 = CARTESIAN_POINT ('', (42.501, 5.80000000000001, -20.614)); #8800 = CARTESIAN_POINT ('', (42.501, 5.80000000000001, -3.61400000000002)); #8810 = CARTESIAN_POINT ('', (42.501, 6.80000000000002, -3.61400000000002)); #8820 = CARTESIAN_POINT ('', (41.501, 6.80000000000002, -3.61400000000002)); #8830 = CARTESIAN_POINT ('', (40.501, 6.80000000000002, -3.61400000000002)); #8840 = CARTESIAN_POINT ('', (40.501, 5.80000000000001, -3.61400000000002)); #8850 = CARTESIAN_POINT ('', (40.501, 4.80000000000001, -3.61400000000002)); #8860 = CARTESIAN_POINT ('', (41.501, 4.80000000000001, -3.61400000000002)); #8870 = CARTESIAN_POINT ('', (42.501, 4.80000000000001, -3.61400000000002)); #8880 = CARTESIAN_POINT ('', (42.501, 5.80000000000001, -3.61400000000002)); #8890 = CARTESIAN_POINT ('', (42.501, 5.80000000000001, 13.386)); #8900 = CARTESIAN_POINT ('', (42.501, 6.80000000000002, 13.386)); #8910 = CARTESIAN_POINT ('', (41.501, 6.80000000000002, 12.386)); #8920 = CARTESIAN_POINT ('', (40.501, 6.80000000000002, 11.386)); #8930 = CARTESIAN_POINT ('', (40.501, 5.80000000000001, 11.386)); #8940 = CARTESIAN_POINT ('', (40.501, 4.80000000000001, 11.386)); #8950 = CARTESIAN_POINT ('', (41.501, 4.80000000000001, 12.386)); #8960 = CARTESIAN_POINT ('', (42.501, 4.80000000000001, 13.386)); #8970 = CARTESIAN_POINT ('', (42.501, 5.80000000000001, 13.386)); #8980 = CARTESIAN_POINT ('', (25.501, 5.80000000000001, 13.386)); #8990 = CARTESIAN_POINT ('', (25.501, 6.80000000000002, 13.386)); #9000 = CARTESIAN_POINT ('', (25.501, 6.80000000000002, 12.386)); #9010 = CARTESIAN_POINT ('', (25.501, 6.80000000000002, 11.386)); #9020 = CARTESIAN_POINT ('', (25.501, 5.80000000000001, 11.386)); #9030 = CARTESIAN_POINT ('', (25.501, 4.80000000000001, 11.386)); #9040 = CARTESIAN_POINT ('', (25.501, 4.80000000000001, 12.386)); #9050 = CARTESIAN_POINT ('', (25.501, 4.80000000000001, 13.386)); #9060 = CARTESIAN_POINT ('', (25.501, 5.80000000000001, 13.386)); #9070 = ( BOUNDED_SURFACE () B_SPLINE_SURFACE (2, 2, ((#8260, #8270, #8280, #8290, #8300, #8310, #8320, #8330, #8340), (#8350, #8360, #8370, #8380, #8390, #8400, #8410, #8420, #8430), (#8440, #8450, #8460, #8470, #8480, #8490, #8500, #8510, #8520), (#8530, #8540, #8550, #8560, #8570, #8580, #8590, #8600, #8610), (#8620, #8630, #8640, #8650, #8660, #8670, #8680, #8690, #8700), (#8710, #8720, #8730, #8740, #8750, #8760, #8770, #8780, #8790), (#8800, #8810, #8820, #8830, #8840, #8850, #8860, #8870, #8880), (#8890, #8900, #8910, #8920, #8930, #8940, #8950, #8960, #8970), (#8980, #8990, #9000, #9010, #9020, #9030, #9040, #9050, #9060)), .UNSPECIFIED., .T., .T., .U.) B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.) SURFACE () GEOMETRIC_REPRESENTATION_ITEM () RATIONAL_B_SPLINE_SURFACE (((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))) REPRESENTATION_ITEM ('') ); #9080 = ADVANCED_FACE ('', (#8250), #9070, .T.); #9090 = ORIENTED_EDGE ('', *, *, #2600, .T.); #9100 = ORIENTED_EDGE ('', *, *, #6720, .F.); #9110 = ORIENTED_EDGE ('', *, *, #3480, .T.); #9120 = ORIENTED_EDGE ('', *, *, #7230, .F.); #9130 = ORIENTED_EDGE ('', *, *, #8190, .F.); #9140 = ORIENTED_EDGE ('', *, *, #6500, .F.); #9150 = EDGE_LOOP ('', (#9090, #9100, #9110, #9120, #9130, #9140)); #9160 = FACE_OUTER_BOUND ('', #9150, .T.); #9170 = CARTESIAN_POINT ('', (8.50099999999998, 5.79999999999994, 5.1872)); #9180 = CARTESIAN_POINT ('', (8.501, 5.79999999999994, -4.4152)); #9190 = CARTESIAN_POINT ('', (8.50099999999999, 4.79999999999994, 5.1872)); #9200 = CARTESIAN_POINT ('', (8.501, 4.79999999999994, -4.41520000000001)); #9210 = CARTESIAN_POINT ('', (9.50099999999999, 4.79999999999995, 5.1872)); #9220 = CARTESIAN_POINT ('', (9.50100000000002, 4.79999999999995, -4.4152)); #9230 = CARTESIAN_POINT ('', (10.501, 4.79999999999995, 5.1872)); #9240 = CARTESIAN_POINT ('', (10.501, 4.79999999999995, -4.4152)); #9250 = CARTESIAN_POINT ('', (10.501, 5.79999999999995, 5.1872)); #9260 = CARTESIAN_POINT ('', (10.501, 5.79999999999995, -4.4152)); #9270 = CARTESIAN_POINT ('', (10.501, 6.79999999999995, 5.1872)); #9280 = CARTESIAN_POINT ('', (10.501, 6.79999999999995, -4.4152)); #9290 = CARTESIAN_POINT ('', (9.50099999999996, 6.79999999999995, 5.1872)); #9300 = CARTESIAN_POINT ('', (9.50099999999999, 6.79999999999995, -4.4152)); #9310 = CARTESIAN_POINT ('', (8.50099999999996, 6.79999999999994, 5.1872)); #9320 = CARTESIAN_POINT ('', (8.50099999999999, 6.79999999999994, -4.41520000000001)); #9330 = CARTESIAN_POINT ('', (8.50099999999998, 5.79999999999994, 5.1872)); #9340 = CARTESIAN_POINT ('', (8.501, 5.79999999999994, -4.4152)); #9350 = ( BOUNDED_SURFACE () B_SPLINE_SURFACE (2, 1, ((#9170, #9180), (#9190, #9200), (#9210, #9220), (#9230, #9240), (#9250, #9260), (#9270, #9280), (#9290, #9300), (#9310, #9320), (#9330, #9340)), .UNSPECIFIED., .T., .F., .U.) B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.750000000000001, 1.), (0., 1.), .UNSPECIFIED.) SURFACE () GEOMETRIC_REPRESENTATION_ITEM () RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.))) REPRESENTATION_ITEM ('') ); #9360 = ADVANCED_FACE ('', (#9160), #9350, .T.); #9370 = CLOSED_SHELL ('', (#1280, #1720, #1940, #2160, #2380, #2760, #2980, #3200, #3640, #3930, #4150, #4430, #4790, #5010, #5610, #5980, #6140, #6390, #6650, #6820, #7170, #7390, #7570, #7690, #7810, #8120, #9080, #9360)); #9380 = MANIFOLD_SOLID_BREP ('NOCUT', #9370); #9390 = ( LENGTH_UNIT () NAMED_UNIT (*) SI_UNIT (.MILLI., .METRE.) ); #9400 = ( NAMED_UNIT (*) SI_UNIT ($, .STERADIAN.) SOLID_ANGLE_UNIT () ); #9410 = ( NAMED_UNIT (*) SI_UNIT ($, .RADIAN.) PLANE_ANGLE_UNIT () ); #9420 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #9390, 'DISTANCE_ACCURACY_VALUE', ''); #9430 = ( GEOMETRIC_REPRESENTATION_CONTEXT (3) GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#9420)) GLOBAL_UNIT_ASSIGNED_CONTEXT ((#9390, #9400, #9410)) REPRESENTATION_CONTEXT ('', '3D') ); #9440 = COLOUR_RGB ('', 0.75294117647059, 0.75294117647059, 0.75294117647059); #9450 = FILL_AREA_STYLE_COLOUR ('', #9440); #9460 = FILL_AREA_STYLE ('', (#9450)); #9470 = SURFACE_STYLE_FILL_AREA (#9460); #9480 = SURFACE_SIDE_STYLE ('', (#9470)); #9490 = SURFACE_STYLE_USAGE (.POSITIVE., #9480); #9500 = PRESENTATION_STYLE_ASSIGNMENT ((#9490)); #9510 = STYLED_ITEM ('', (#9500), #9380); #9520 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#9380), #9430); #9530 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies'); #9540 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #9530); #9550 = MECHANICAL_CONTEXT ('', #9530, 'mechanical'); #9560 = PRODUCT ('NONE', '', '', (#9550)); #9570 = PERSON_AND_ORGANIZATION_ROLE ('design_owner'); #9580 = PERSON ('', '', $, $, $, $); #9590 = ORGANIZATION ($, '', ''); #9600 = PERSON_AND_ORGANIZATION (#9580, #9590); #9610 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#9600, #9570, (#9560)); #9620 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#9560)); #9630 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #9560, .NOT_KNOWN.); #9640 = APPROVAL_STATUS ('approved'); #9650 = APPROVAL (#9640, ''); #9660 = CALENDAR_DATE (2017, 6, 3); #9670 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.); #9680 = LOCAL_TIME (10, 46, 57., #9670); #9690 = DATE_AND_TIME (#9660, #9680); #9700 = APPROVAL_DATE_TIME (#9690, #9650); #9710 = APPROVAL_ROLE (''); #9720 = PERSON ('', '', $, $, $, $); #9730 = ORGANIZATION ($, '', ''); #9740 = PERSON_AND_ORGANIZATION (#9720, #9730); #9750 = APPROVAL_PERSON_ORGANIZATION (#9740, #9650, #9710); #9760 = CC_DESIGN_APPROVAL (#9650, (#9630)); #9770 = PERSON_AND_ORGANIZATION_ROLE ('creator'); #9780 = PERSON ('', '', $, $, $, $); #9790 = ORGANIZATION ($, '', ''); #9800 = PERSON_AND_ORGANIZATION (#9780, #9790); #9810 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#9800, #9770, (#9630)); #9820 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier'); #9830 = PERSON ('', '', $, $, $, $); #9840 = ORGANIZATION ($, '', ''); #9850 = PERSON_AND_ORGANIZATION (#9830, #9840); #9860 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#9850, #9820, (#9630)); #9870 = SECURITY_CLASSIFICATION_LEVEL ('unclassified'); #9880 = SECURITY_CLASSIFICATION ('', '', #9870); #9890 = APPROVAL_STATUS ('approved'); #9900 = APPROVAL (#9890, ''); #9910 = CALENDAR_DATE (2017, 6, 3); #9920 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.); #9930 = LOCAL_TIME (10, 46, 57., #9920); #9940 = DATE_AND_TIME (#9910, #9930); #9950 = APPROVAL_DATE_TIME (#9940, #9900); #9960 = APPROVAL_ROLE (''); #9970 = PERSON ('', '', $, $, $, $); #9980 = ORGANIZATION ($, '', ''); #9990 = PERSON_AND_ORGANIZATION (#9970, #9980); #10000 = APPROVAL_PERSON_ORGANIZATION (#9990, #9900, #9960); #10010 = CC_DESIGN_APPROVAL (#9900, (#9880)); #10020 = DATE_TIME_ROLE ('classification_date'); #10030 = CALENDAR_DATE (2017, 6, 3); #10040 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.); #10050 = LOCAL_TIME (10, 46, 57., #10040); #10060 = DATE_AND_TIME (#10030, #10050); #10070 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#10060, #10020, (#9880)); #10080 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer'); #10090 = PERSON ('', '', $, $, $, $); #10100 = ORGANIZATION ($, '', ''); #10110 = PERSON_AND_ORGANIZATION (#10090, #10100); #10120 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10110, #10080, (#9880)); #10130 = CC_DESIGN_SECURITY_CLASSIFICATION (#9880, (#9630)); #10140 = DESIGN_CONTEXT ('', #9530, 'design'); #10150 = PRODUCT_DEFINITION ('', '', #9630, #10140); #10160 = APPROVAL_STATUS ('approved'); #10170 = APPROVAL (#10160, ''); #10180 = CALENDAR_DATE (2017, 6, 3); #10190 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.); #10200 = LOCAL_TIME (10, 46, 57., #10190); #10210 = DATE_AND_TIME (#10180, #10200); #10220 = APPROVAL_DATE_TIME (#10210, #10170); #10230 = APPROVAL_ROLE (''); #10240 = PERSON ('', '', $, $, $, $); #10250 = ORGANIZATION ($, '', ''); #10260 = PERSON_AND_ORGANIZATION (#10240, #10250); #10270 = APPROVAL_PERSON_ORGANIZATION (#10260, #10170, #10230); #10280 = CC_DESIGN_APPROVAL (#10170, (#10150)); #10290 = DATE_TIME_ROLE ('creation_date'); #10300 = CALENDAR_DATE (2017, 6, 3); #10310 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.); #10320 = LOCAL_TIME (10, 46, 57., #10310); #10330 = DATE_AND_TIME (#10300, #10320); #10340 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#10330, #10290, (#10150)); #10350 = PERSON_AND_ORGANIZATION_ROLE ('creator'); #10360 = PERSON ('', '', $, $, $, $); #10370 = ORGANIZATION ($, '', ''); #10380 = PERSON_AND_ORGANIZATION (#10360, #10370); #10390 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#10380, #10350, (#10150)); #10400 = PRODUCT_DEFINITION_SHAPE ('', '', #10150); #10410 = SHAPE_DEFINITION_REPRESENTATION (#10400, #9520); #10420 = CARTESIAN_POINT ('', (2.34115293434343, 6.80000000000001, -3.5096584154155)); #10430 = VERTEX_POINT ('', #10420); #10440 = CARTESIAN_POINT ('', (2.54192023458243, 6.8, -6.3807645713952)); #10450 = VERTEX_POINT ('', #10440); #10460 = CARTESIAN_POINT ('', (2.34115293434343, 6.80000000000001, -3.5096584154155)); #10470 = CARTESIAN_POINT ('', (2.54192023458243, 6.8, -6.3807645713952)); #10480 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10460, #10470), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #10490 = EDGE_CURVE ('', #10430, #10450, #10480, .T.); #10500 = ORIENTED_EDGE ('', *, *, #10490, .T.); #10510 = CARTESIAN_POINT ('', (25.1866241754805, 6.80000000000001, -4.79729261740389)); #10520 = VERTEX_POINT ('', #10510); #10530 = CARTESIAN_POINT ('', (2.54192023458243, 6.8, -6.3807645713952)); #10540 = CARTESIAN_POINT ('', (25.1866241754805, 6.80000000000001, -4.79729261740389)); #10550 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10530, #10540), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #10560 = EDGE_CURVE ('', #10450, #10520, #10550, .T.); #10570 = ORIENTED_EDGE ('', *, *, #10560, .T.); #10580 = CARTESIAN_POINT ('', (24.9858568752415, 6.80000000000001, -1.92618646142432)); #10590 = VERTEX_POINT ('', #10580); #10600 = CARTESIAN_POINT ('', (25.1866241754805, 6.80000000000001, -4.79729261740389)); #10610 = CARTESIAN_POINT ('', (24.9858568752415, 6.80000000000001, -1.92618646142432)); #10620 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10600, #10610), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #10630 = EDGE_CURVE ('', #10520, #10590, #10620, .T.); #10640 = ORIENTED_EDGE ('', *, *, #10630, .T.); #10650 = CARTESIAN_POINT ('', (22.5027289371537, 6.80000000000001, -4.78269839248816)); #10660 = VERTEX_POINT ('', #10650); #10670 = CARTESIAN_POINT ('', (24.9858568752415, 6.80000000000001, -1.92618646142432)); #10680 = CARTESIAN_POINT ('', (22.5027289371537, 6.80000000000001, -4.78269839248816)); #10690 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10670, #10680), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #10700 = EDGE_CURVE ('', #10590, #10660, #10690, .T.); #10710 = ORIENTED_EDGE ('', *, *, #10700, .T.); #10720 = CARTESIAN_POINT ('', (22.5027289371535, 6.80000000000001, 0.000330250784391417)); #10730 = VERTEX_POINT ('', #10720); #10740 = CARTESIAN_POINT ('', (22.5027289371537, 6.80000000000001, -4.78269839248816)); #10750 = CARTESIAN_POINT ('', (22.5027289371535, 6.80000000000001, 0.000330250784391417)); #10760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10740, #10750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #10770 = EDGE_CURVE ('', #10660, #10730, #10760, .T.); #10780 = ORIENTED_EDGE ('', *, *, #10770, .T.); #10790 = CARTESIAN_POINT ('', (23.1469904766629, 6.80000000000001, 0.000330250784391417)); #10800 = VERTEX_POINT ('', #10790); #10810 = CARTESIAN_POINT ('', (23.1469904766629, 6.80000000000001, 0.000330250784391417)); #10820 = CARTESIAN_POINT ('', (22.5027289371535, 6.80000000000001, 0.000330250784391417)); #10830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10810, #10820), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #10840 = EDGE_CURVE ('', #10800, #10730, #10830, .T.); #10850 = ORIENTED_EDGE ('', *, *, #10840, .F.); #10860 = CARTESIAN_POINT ('', (22.8125430890211, 6.80000000000001, 0.334777638426172)); #10870 = VERTEX_POINT ('', #10860); #10880 = CARTESIAN_POINT ('', (23.1469904766629, 6.80000000000001, 0.000330250784391417)); #10890 = CARTESIAN_POINT ('', (22.8125430890211, 6.80000000000001, 0.334777638426172)); #10900 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10880, #10890), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #10910 = EDGE_CURVE ('', #10800, #10870, #10900, .T.); #10920 = ORIENTED_EDGE ('', *, *, #10910, .T.); #10930 = CARTESIAN_POINT ('', (4.17865079525787, 6.80000000000001, -0.968231043775172)); #10940 = VERTEX_POINT ('', #10930); #10950 = CARTESIAN_POINT ('', (22.8125430890211, 6.80000000000001, 0.334777638426172)); #10960 = CARTESIAN_POINT ('', (4.17865079525787, 6.80000000000001, -0.968231043775172)); #10970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10950, #10960), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #10980 = EDGE_CURVE ('', #10870, #10940, #10970, .T.); #10990 = ORIENTED_EDGE ('', *, *, #10980, .T.); #11000 = CARTESIAN_POINT ('', (3.89400430664823, 6.80000000000001, -1.34596969247691)); #11010 = VERTEX_POINT ('', #11000); #11020 = CARTESIAN_POINT ('', (4.17865079525787, 6.80000000000001, -0.968231043775172)); #11030 = CARTESIAN_POINT ('', (3.89400430664823, 6.80000000000001, -1.34596969247691)); #11040 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11020, #11030), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #11050 = EDGE_CURVE ('', #10940, #11010, #11040, .T.); #11060 = ORIENTED_EDGE ('', *, *, #11050, .T.); #11070 = CARTESIAN_POINT ('', (4.53199593714258, 6.80000000000001, -1.25630581619413)); #11080 = VERTEX_POINT ('', #11070); #11090 = CARTESIAN_POINT ('', (4.53199593714258, 6.80000000000001, -1.25630581619413)); #11100 = CARTESIAN_POINT ('', (3.89400430664823, 6.80000000000001, -1.34596969247691)); #11110 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11090, #11100), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #11120 = EDGE_CURVE ('', #11080, #11010, #11110, .T.); #11130 = ORIENTED_EDGE ('', *, *, #11120, .F.); #11140 = CARTESIAN_POINT ('', (5.19766486540752, 6.80000000000001, -5.99278635350338)); #11150 = VERTEX_POINT ('', #11140); #11160 = CARTESIAN_POINT ('', (4.53199593714258, 6.80000000000001, -1.25630581619413)); #11170 = CARTESIAN_POINT ('', (5.19766486540752, 6.80000000000001, -5.99278635350338)); #11180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11160, #11170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #11190 = EDGE_CURVE ('', #11080, #11150, #11180, .T.); #11200 = ORIENTED_EDGE ('', *, *, #11190, .T.); #11210 = CARTESIAN_POINT ('', (5.19766486540752, 6.80000000000001, -5.99278635350338)); #11220 = CARTESIAN_POINT ('', (2.34115293434343, 6.80000000000001, -3.5096584154155)); #11230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11210, #11220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #11240 = EDGE_CURVE ('', #11150, #10430, #11230, .T.); #11250 = ORIENTED_EDGE ('', *, *, #11240, .T.); #11260 = EDGE_LOOP ('', (#10500, #10570, #10640, #10710, #10780, #10850, #10920, #10990, #11060, #11130, #11200, #11250)); #11270 = FACE_OUTER_BOUND ('', #11260, .T.); #11280 = CARTESIAN_POINT ('', (1.87270234425803, 6.80000000000001, 0.303090308920386)); #11290 = CARTESIAN_POINT ('', (25.0764491657067, 6.80000000000001, 1.92565434928838)); #11300 = CARTESIAN_POINT ('', (2.45132794411724, 6.80000000000001, -7.9716412822574)); #11310 = CARTESIAN_POINT ('', (25.6550747655659, 6.80000000000001, -6.34907724188941)); #11320 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11280, #11290), (#11300, #11310)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.42807931035419, 6.86685833201831), (-0.200345561710179, 23.0600624445778), .UNSPECIFIED.); #11330 = ADVANCED_FACE ('', (#11270), #11320, .T.); #11340 = CARTESIAN_POINT ('', (2.54192023458243, 8., -6.38076457139521)); #11350 = VERTEX_POINT ('', #11340); #11360 = CARTESIAN_POINT ('', (2.54192023458243, 6.8, -6.3807645713952)); #11370 = CARTESIAN_POINT ('', (2.54192023458243, 8., -6.38076457139521)); #11380 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11360, #11370), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #11390 = EDGE_CURVE ('', #10450, #11350, #11380, .T.); #11400 = ORIENTED_EDGE ('', *, *, #11390, .T.); #11410 = CARTESIAN_POINT ('', (25.1866241754805, 8.00000000000001, -4.7972926174039)); #11420 = VERTEX_POINT ('', #11410); #11430 = CARTESIAN_POINT ('', (2.54192023458243, 8., -6.38076457139521)); #11440 = CARTESIAN_POINT ('', (25.1866241754805, 8.00000000000001, -4.7972926174039)); #11450 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11430, #11440), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #11460 = EDGE_CURVE ('', #11350, #11420, #11450, .T.); #11470 = ORIENTED_EDGE ('', *, *, #11460, .T.); #11480 = CARTESIAN_POINT ('', (25.1866241754805, 8.00000000000001, -4.7972926174039)); #11490 = CARTESIAN_POINT ('', (25.1866241754805, 6.80000000000001, -4.79729261740389)); #11500 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11480, #11490), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #11510 = EDGE_CURVE ('', #11420, #10520, #11500, .T.); #11520 = ORIENTED_EDGE ('', *, *, #11510, .T.); #11530 = ORIENTED_EDGE ('', *, *, #10560, .F.); #11540 = EDGE_LOOP ('', (#11400, #11470, #11520, #11530)); #11550 = FACE_OUTER_BOUND ('', #11540, .T.); #11560 = CARTESIAN_POINT ('', (2.54085551399757, 8.00100000000001, -6.38083902391127)); #11570 = CARTESIAN_POINT ('', (2.54085551399757, 6.79899999999999, -6.38083902391127)); #11580 = CARTESIAN_POINT ('', (25.1876888960654, 8.00100000000002, -4.79721816488775)); #11590 = CARTESIAN_POINT ('', (25.1876888960654, 6.799, -4.79721816488775)); #11600 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11560, #11570), (#11580, #11590)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-6.73205239962726E-5, 22.702067320524), (-6.79317713192518E-15, 1.20200000000001), .UNSPECIFIED.); #11610 = ADVANCED_FACE ('', (#11550), #11600, .T.); #11620 = CARTESIAN_POINT ('', (2.34115293434344, 8.00000000000001, -3.50965841541553)); #11630 = VERTEX_POINT ('', #11620); #11640 = CARTESIAN_POINT ('', (2.34115293434343, 6.80000000000001, -3.5096584154155)); #11650 = CARTESIAN_POINT ('', (2.34115293434344, 8.00000000000001, -3.50965841541553)); #11660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11640, #11650), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #11670 = EDGE_CURVE ('', #10430, #11630, #11660, .T.); #11680 = ORIENTED_EDGE ('', *, *, #11670, .T.); #11690 = CARTESIAN_POINT ('', (2.34115293434344, 8.00000000000001, -3.50965841541553)); #11700 = CARTESIAN_POINT ('', (2.54192023458243, 8., -6.38076457139521)); #11710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11690, #11700), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #11720 = EDGE_CURVE ('', #11630, #11350, #11710, .T.); #11730 = ORIENTED_EDGE ('', *, *, #11720, .T.); #11740 = ORIENTED_EDGE ('', *, *, #11390, .F.); #11750 = ORIENTED_EDGE ('', *, *, #10490, .F.); #11760 = EDGE_LOOP ('', (#11680, #11730, #11740, #11750)); #11770 = FACE_OUTER_BOUND ('', #11760, .T.); #11780 = CARTESIAN_POINT ('', (2.34107848182728, 6.799, -3.50859369483065)); #11790 = CARTESIAN_POINT ('', (2.54199468709852, 6.799, -6.38182929198006)); #11800 = CARTESIAN_POINT ('', (2.34107848182728, 8.00100000000001, -3.50859369483065)); #11810 = CARTESIAN_POINT ('', (2.54199468709852, 8.00100000000001, -6.38182929198006)); #11820 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11780, #11790), (#11800, #11810)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-6.88338275267597E-15, 1.202), (-6.73205240708796E-5, 2.88018442511677), .UNSPECIFIED.); #11830 = ADVANCED_FACE ('', (#11770), #11820, .T.); #11840 = CARTESIAN_POINT ('', (5.19766486540782, 8., -5.99278635350362)); #11850 = VERTEX_POINT ('', #11840); #11860 = CARTESIAN_POINT ('', (5.19766486540782, 8., -5.99278635350362)); #11870 = CARTESIAN_POINT ('', (2.34115293434344, 8.00000000000001, -3.50965841541553)); #11880 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11860, #11870), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #11890 = EDGE_CURVE ('', #11850, #11630, #11880, .T.); #11900 = ORIENTED_EDGE ('', *, *, #11890, .T.); #11910 = ORIENTED_EDGE ('', *, *, #11670, .F.); #11920 = ORIENTED_EDGE ('', *, *, #11240, .F.); #11930 = CARTESIAN_POINT ('', (1.74655964374455, 6.65, -2.99278635350341)); #11940 = VERTEX_POINT ('', #11930); #11950 = CARTESIAN_POINT ('', (5.19766486540752, 6.80000000000001, -5.99278635350338)); #11960 = CARTESIAN_POINT ('', (1.74655964374455, 6.65, -2.99278635350341)); #11970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11950, #11960), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #11980 = EDGE_CURVE ('', #11150, #11940, #11970, .T.); #11990 = ORIENTED_EDGE ('', *, *, #11980, .T.); #12000 = CARTESIAN_POINT ('', (1.74655964374455, 8.15000000000001, -2.99278635350341)); #12010 = VERTEX_POINT ('', #12000); #12020 = CARTESIAN_POINT ('', (1.74655964374455, 6.65, -2.99278635350341)); #12030 = CARTESIAN_POINT ('', (1.74655964374455, 8.15000000000001, -2.99278635350341)); #12040 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12020, #12030), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #12050 = EDGE_CURVE ('', #11940, #12010, #12040, .T.); #12060 = ORIENTED_EDGE ('', *, *, #12050, .T.); #12070 = CARTESIAN_POINT ('', (1.74655964374455, 8.15000000000001, -2.99278635350341)); #12080 = CARTESIAN_POINT ('', (5.19766486540782, 8., -5.99278635350362)); #12090 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12070, #12080), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #12100 = EDGE_CURVE ('', #12010, #11850, #12090, .T.); #12110 = ORIENTED_EDGE ('', *, *, #12100, .T.); #12120 = EDGE_LOOP ('', (#11900, #11910, #11920, #11990, #12060, #12110)); #12130 = FACE_OUTER_BOUND ('', #12120, .T.); #12140 = CARTESIAN_POINT ('', (5.19872958599267, 6.649, -5.99371190098752)); #12150 = CARTESIAN_POINT ('', (5.19872958599267, 8.15100000000001, -5.99371190098752)); #12160 = CARTESIAN_POINT ('', (1.74549492315968, 6.649, -2.99186080601952)); #12170 = CARTESIAN_POINT ('', (1.74549492315968, 8.15100000000001, -2.99186080601952)); #12180 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12140, #12150), (#12160, #12170)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (3.44495280302226E-6, 4.575584242289), (-1.77635683940025E-15, 1.502), .UNSPECIFIED.); #12190 = ADVANCED_FACE ('', (#12130), #12180, .T.); #12200 = CARTESIAN_POINT ('', (1.56119173091784, 6.65000000000001, -1.67382511907431)); #12210 = VERTEX_POINT ('', #12200); #12220 = CARTESIAN_POINT ('', (1.56119173091784, 6.65000000000001, -1.67382511907431)); #12230 = CARTESIAN_POINT ('', (1.74655964374455, 6.65, -2.99278635350341)); #12240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12220, #12230), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #12250 = EDGE_CURVE ('', #12210, #11940, #12240, .T.); #12260 = ORIENTED_EDGE ('', *, *, #12250, .T.); #12270 = ORIENTED_EDGE ('', *, *, #11980, .F.); #12280 = ORIENTED_EDGE ('', *, *, #11190, .F.); #12290 = CARTESIAN_POINT ('', (4.53199593714258, 6.80000000000001, -1.25630581619413)); #12300 = CARTESIAN_POINT ('', (1.56119173091784, 6.65000000000001, -1.67382511907431)); #12310 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12290, #12300), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #12320 = EDGE_CURVE ('', #11080, #12210, #12310, .T.); #12330 = ORIENTED_EDGE ('', *, *, #12320, .T.); #12340 = EDGE_LOOP ('', (#12260, #12270, #12280, #12330)); #12350 = FACE_OUTER_BOUND ('', #12340, .T.); #12360 = CARTESIAN_POINT ('', (5.1792911447403, 6.83382138391164, -1.00171708565174)); #12370 = CARTESIAN_POINT ('', (5.52766536000379, 6.81648891380299, -5.97130717705632)); #12380 = CARTESIAN_POINT ('', (1.23104774016612, 6.63640921368293, -1.27780515971066)); #12390 = CARTESIAN_POINT ('', (1.57942195542961, 6.61907674357429, -6.24739525111525)); #12400 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12360, #12370), (#12380, #12390)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.330057191869926, 3.63274764452504), (-0.207293821743452, 4.77452218097756), .UNSPECIFIED.); #12410 = ADVANCED_FACE ('', (#12350), #12400, .T.); #12420 = CARTESIAN_POINT ('', (3.89400430664818, 8.00000000000001, -1.34596969247689)); #12430 = VERTEX_POINT ('', #12420); #12440 = CARTESIAN_POINT ('', (3.89400430664818, 8.00000000000001, -1.34596969247689)); #12450 = CARTESIAN_POINT ('', (3.89400430664823, 6.80000000000001, -1.34596969247691)); #12460 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12440, #12450), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #12470 = EDGE_CURVE ('', #12430, #11010, #12460, .T.); #12480 = ORIENTED_EDGE ('', *, *, #12470, .T.); #12490 = ORIENTED_EDGE ('', *, *, #11050, .F.); #12500 = CARTESIAN_POINT ('', (4.17865079525784, 8.00000000000001, -0.968231043775179)); #12510 = VERTEX_POINT ('', #12500); #12520 = CARTESIAN_POINT ('', (4.17865079525787, 6.80000000000001, -0.968231043775172)); #12530 = CARTESIAN_POINT ('', (4.17865079525784, 8.00000000000001, -0.968231043775179)); #12540 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12520, #12530), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #12550 = EDGE_CURVE ('', #10940, #12510, #12540, .T.); #12560 = ORIENTED_EDGE ('', *, *, #12550, .T.); #12570 = CARTESIAN_POINT ('', (4.17865079525784, 8.00000000000001, -0.968231043775179)); #12580 = CARTESIAN_POINT ('', (3.89400430664818, 8.00000000000001, -1.34596969247689)); #12590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12570, #12580), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #12600 = EDGE_CURVE ('', #12510, #12430, #12590, .T.); #12610 = ORIENTED_EDGE ('', *, *, #12600, .T.); #12620 = EDGE_LOOP ('', (#12480, #12490, #12560, #12610)); #12630 = FACE_OUTER_BOUND ('', #12620, .T.); #12640 = CARTESIAN_POINT ('', (3.89316149447809, 6.79900000000001, -1.34708814200281)); #12650 = CARTESIAN_POINT ('', (3.89316149447809, 8.00100000000001, -1.34708814200281)); #12660 = CARTESIAN_POINT ('', (4.1794936074279, 6.79900000000001, -0.967112594249282)); #12670 = CARTESIAN_POINT ('', (4.1794936074279, 8.00100000000001, -0.967112594249282)); #12680 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12640, #12650), (#12660, #12670)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (1.03180760220312E-5, 0.475791250645713), (0., 1.202), .UNSPECIFIED.); #12690 = ADVANCED_FACE ('', (#12630), #12680, .T.); #12700 = ORIENTED_EDGE ('', *, *, #12550, .F.); #12710 = ORIENTED_EDGE ('', *, *, #10980, .F.); #12720 = CARTESIAN_POINT ('', (22.8125430890211, 8.00000000000001, 0.334777638426151)); #12730 = VERTEX_POINT ('', #12720); #12740 = CARTESIAN_POINT ('', (22.8125430890211, 6.80000000000001, 0.334777638426172)); #12750 = CARTESIAN_POINT ('', (22.8125430890211, 8.00000000000001, 0.334777638426151)); #12760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12740, #12750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #12770 = EDGE_CURVE ('', #10870, #12730, #12760, .T.); #12780 = ORIENTED_EDGE ('', *, *, #12770, .T.); #12790 = CARTESIAN_POINT ('', (22.8125430890211, 8.00000000000001, 0.334777638426151)); #12800 = CARTESIAN_POINT ('', (4.17865079525784, 8.00000000000001, -0.968231043775179)); #12810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12790, #12800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #12820 = EDGE_CURVE ('', #12730, #12510, #12810, .T.); #12830 = ORIENTED_EDGE ('', *, *, #12820, .T.); #12840 = EDGE_LOOP ('', (#12700, #12710, #12780, #12830)); #12850 = FACE_OUTER_BOUND ('', #12840, .T.); #12860 = CARTESIAN_POINT ('', (22.813607809606, 8.00100000000002, 0.334852090942261)); #12870 = CARTESIAN_POINT ('', (22.813607809606, 6.79900000000001, 0.334852090942261)); #12880 = CARTESIAN_POINT ('', (4.17758607467297, 8.00100000000001, -0.968305496291275)); #12890 = CARTESIAN_POINT ('', (4.17758607467297, 6.799, -0.968305496291275)); #12900 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12860, #12870), (#12880, #12890)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-6.73205240531161E-5, 18.6814616801242), (-6.90896992394663E-15, 1.20200000000001), .UNSPECIFIED.); #12910 = ADVANCED_FACE ('', (#12850), #12900, .T.); #12920 = ORIENTED_EDGE ('', *, *, #12770, .F.); #12930 = ORIENTED_EDGE ('', *, *, #10910, .F.); #12940 = CARTESIAN_POINT ('', (23.1469904766629, 8.00000000000001, 0.000330250784391417)); #12950 = VERTEX_POINT ('', #12940); #12960 = CARTESIAN_POINT ('', (23.1469904766629, 8.00000000000001, 0.000330250784391417)); #12970 = CARTESIAN_POINT ('', (23.1469904766629, 6.80000000000001, 0.000330250784391417)); #12980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12960, #12970), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #12990 = EDGE_CURVE ('', #12950, #10800, #12980, .T.); #13000 = ORIENTED_EDGE ('', *, *, #12990, .F.); #13010 = CARTESIAN_POINT ('', (23.1469904766629, 8.00000000000001, 0.000330250784391417)); #13020 = CARTESIAN_POINT ('', (22.8125430890211, 8.00000000000001, 0.334777638426151)); #13030 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13010, #13020), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #13040 = EDGE_CURVE ('', #12950, #12730, #13030, .T.); #13050 = ORIENTED_EDGE ('', *, *, #13040, .T.); #13060 = EDGE_LOOP ('', (#12920, #12930, #13000, #13050)); #13070 = FACE_OUTER_BOUND ('', #13060, .T.); #13080 = CARTESIAN_POINT ('', (23.1479904766629, 8.00100000000001, -0.000669749215634674)); #13090 = CARTESIAN_POINT ('', (23.1479904766629, 6.79900000000001, -0.000669749215634674)); #13100 = CARTESIAN_POINT ('', (22.8115430890211, 8.00100000000001, 0.335777638426149)); #13110 = CARTESIAN_POINT ('', (22.8115430890211, 6.79900000000001, 0.335777638426149)); #13120 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13080, #13090), (#13100, #13110)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.44495313697735E-6, 0.475805013674858), (3.22008045228195E-16, 1.20200000000001), .UNSPECIFIED.); #13130 = ADVANCED_FACE ('', (#13070), #13120, .T.); #13140 = ORIENTED_EDGE ('', *, *, #10770, .F.); #13150 = CARTESIAN_POINT ('', (25.5027289371536, 6.65, -1.3315931708254)); #13160 = VERTEX_POINT ('', #13150); #13170 = CARTESIAN_POINT ('', (22.5027289371537, 6.80000000000001, -4.78269839248816)); #13180 = CARTESIAN_POINT ('', (25.5027289371536, 6.65, -1.3315931708254)); #13190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13170, #13180), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #13200 = EDGE_CURVE ('', #10660, #13160, #13190, .T.); #13210 = ORIENTED_EDGE ('', *, *, #13200, .T.); #13220 = CARTESIAN_POINT ('', (25.5027289371537, 6.65, 0.000330250784391417)); #13230 = VERTEX_POINT ('', #13220); #13240 = CARTESIAN_POINT ('', (25.5027289371536, 6.65, -1.3315931708254)); #13250 = CARTESIAN_POINT ('', (25.5027289371537, 6.65, 0.000330250784391417)); #13260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13240, #13250), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #13270 = EDGE_CURVE ('', #13160, #13230, #13260, .T.); #13280 = ORIENTED_EDGE ('', *, *, #13270, .T.); #13290 = CARTESIAN_POINT ('', (25.5027289371537, 6.65, 0.000330250784391417)); #13300 = CARTESIAN_POINT ('', (22.5027289371535, 6.80000000000001, 0.000330250784391417)); #13310 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13290, #13300), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #13320 = EDGE_CURVE ('', #13230, #10730, #13310, .T.); #13330 = ORIENTED_EDGE ('', *, *, #13320, .T.); #13340 = EDGE_LOOP ('', (#13140, #13210, #13280, #13330)); #13350 = FACE_OUTER_BOUND ('', #13340, .T.); #13360 = CARTESIAN_POINT ('', (22.5162533932113, 6.79932377719712, -4.99260634627566)); #13370 = CARTESIAN_POINT ('', (22.1695342461042, 6.81665973455247, -0.0218957516647746)); #13380 = CARTESIAN_POINT ('', (25.8359236282029, 6.63334026544754, -4.760472390039)); #13390 = CARTESIAN_POINT ('', (25.4892044810958, 6.65067622280289, 0.210238204571891)); #13400 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13360, #13370), (#13380, #13390)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-6.7236938861015E-5, 3.33184620264808), (-0.208815804470731, 4.77400252633013), .UNSPECIFIED.); #13410 = ADVANCED_FACE ('', (#13350), #13400, .T.); #13420 = ORIENTED_EDGE ('', *, *, #10700, .F.); #13430 = CARTESIAN_POINT ('', (24.9858568752415, 8.00000000000001, -1.92618646142431)); #13440 = VERTEX_POINT ('', #13430); #13450 = CARTESIAN_POINT ('', (24.9858568752415, 6.80000000000001, -1.92618646142432)); #13460 = CARTESIAN_POINT ('', (24.9858568752415, 8.00000000000001, -1.92618646142431)); #13470 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13450, #13460), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #13480 = EDGE_CURVE ('', #10590, #13440, #13470, .T.); #13490 = ORIENTED_EDGE ('', *, *, #13480, .T.); #13500 = CARTESIAN_POINT ('', (22.5027289371534, 8.00000000000001, -4.78269839248846)); #13510 = VERTEX_POINT ('', #13500); #13520 = CARTESIAN_POINT ('', (24.9858568752415, 8.00000000000001, -1.92618646142431)); #13530 = CARTESIAN_POINT ('', (22.5027289371534, 8.00000000000001, -4.78269839248846)); #13540 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13520, #13530), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #13550 = EDGE_CURVE ('', #13440, #13510, #13540, .T.); #13560 = ORIENTED_EDGE ('', *, *, #13550, .T.); #13570 = CARTESIAN_POINT ('', (25.5027289371536, 8.15000000000002, -1.3315931708254)); #13580 = VERTEX_POINT ('', #13570); #13590 = CARTESIAN_POINT ('', (22.5027289371534, 8.00000000000001, -4.78269839248846)); #13600 = CARTESIAN_POINT ('', (25.5027289371536, 8.15000000000002, -1.3315931708254)); #13610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13590, #13600), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #13620 = EDGE_CURVE ('', #13510, #13580, #13610, .T.); #13630 = ORIENTED_EDGE ('', *, *, #13620, .T.); #13640 = CARTESIAN_POINT ('', (25.5027289371536, 8.15000000000002, -1.3315931708254)); #13650 = CARTESIAN_POINT ('', (25.5027289371536, 6.65, -1.3315931708254)); #13660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13640, #13650), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #13670 = EDGE_CURVE ('', #13580, #13160, #13660, .T.); #13680 = ORIENTED_EDGE ('', *, *, #13670, .T.); #13690 = ORIENTED_EDGE ('', *, *, #13200, .F.); #13700 = EDGE_LOOP ('', (#13420, #13490, #13560, #13630, #13680, #13690)); #13710 = FACE_OUTER_BOUND ('', #13700, .T.); #13720 = CARTESIAN_POINT ('', (22.5018033896695, 8.15100000000002, -4.78376311307333)); #13730 = CARTESIAN_POINT ('', (22.5018033896695, 6.649, -4.78376311307333)); #13740 = CARTESIAN_POINT ('', (25.5036544846375, 8.15100000000002, -1.33052845024056)); #13750 = CARTESIAN_POINT ('', (25.5036544846375, 6.649, -1.33052845024056)); #13760 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13720, #13730), (#13740, #13750)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (3.44495293802538E-6, 4.57558424228898), (-2.74780198594726E-15, 1.50200000000001), .UNSPECIFIED.); #13770 = ADVANCED_FACE ('', (#13710), #13760, .T.); #13780 = ORIENTED_EDGE ('', *, *, #11510, .F.); #13790 = CARTESIAN_POINT ('', (25.1866241754805, 8.00000000000001, -4.7972926174039)); #13800 = CARTESIAN_POINT ('', (24.9858568752415, 8.00000000000001, -1.92618646142431)); #13810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13790, #13800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #13820 = EDGE_CURVE ('', #11420, #13440, #13810, .T.); #13830 = ORIENTED_EDGE ('', *, *, #13820, .T.); #13840 = ORIENTED_EDGE ('', *, *, #13480, .F.); #13850 = ORIENTED_EDGE ('', *, *, #10630, .F.); #13860 = EDGE_LOOP ('', (#13780, #13830, #13840, #13850)); #13870 = FACE_OUTER_BOUND ('', #13860, .T.); #13880 = CARTESIAN_POINT ('', (25.1866986279966, 6.79900000000001, -4.79835733798874)); #13890 = CARTESIAN_POINT ('', (24.9857824227254, 6.79900000000001, -1.92512174083946)); #13900 = CARTESIAN_POINT ('', (25.1866986279966, 8.00100000000001, -4.79835733798874)); #13910 = CARTESIAN_POINT ('', (24.9857824227254, 8.00100000000001, -1.92512174083946)); #13920 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13880, #13890), (#13900, #13910)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-9.54791801177635E-15, 1.202), (-6.73205240460106E-5, 2.88018442511667), .UNSPECIFIED.); #13930 = ADVANCED_FACE ('', (#13870), #13920, .T.); #13940 = ORIENTED_EDGE ('', *, *, #12600, .F.); #13950 = ORIENTED_EDGE ('', *, *, #12820, .F.); #13960 = ORIENTED_EDGE ('', *, *, #13040, .F.); #13970 = CARTESIAN_POINT ('', (22.5027289371536, 8.00000000000001, 0.000330250784391417)); #13980 = VERTEX_POINT ('', #13970); #13990 = CARTESIAN_POINT ('', (23.1469904766629, 8.00000000000001, 0.000330250784391417)); #14000 = CARTESIAN_POINT ('', (22.5027289371536, 8.00000000000001, 0.000330250784391417)); #14010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13990, #14000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #14020 = EDGE_CURVE ('', #12950, #13980, #14010, .T.); #14030 = ORIENTED_EDGE ('', *, *, #14020, .T.); #14040 = CARTESIAN_POINT ('', (22.5027289371536, 8.00000000000001, 0.000330250784391417)); #14050 = CARTESIAN_POINT ('', (22.5027289371534, 8.00000000000001, -4.78269839248846)); #14060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14040, #14050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #14070 = EDGE_CURVE ('', #13980, #13510, #14060, .T.); #14080 = ORIENTED_EDGE ('', *, *, #14070, .T.); #14090 = ORIENTED_EDGE ('', *, *, #13550, .F.); #14100 = ORIENTED_EDGE ('', *, *, #13820, .F.); #14110 = ORIENTED_EDGE ('', *, *, #11460, .F.); #14120 = ORIENTED_EDGE ('', *, *, #11720, .F.); #14130 = ORIENTED_EDGE ('', *, *, #11890, .F.); #14140 = CARTESIAN_POINT ('', (4.53199593714248, 8.00000000000001, -1.25630581619412)); #14150 = VERTEX_POINT ('', #14140); #14160 = CARTESIAN_POINT ('', (5.19766486540782, 8., -5.99278635350362)); #14170 = CARTESIAN_POINT ('', (4.53199593714248, 8.00000000000001, -1.25630581619412)); #14180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14160, #14170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #14190 = EDGE_CURVE ('', #11850, #14150, #14180, .T.); #14200 = ORIENTED_EDGE ('', *, *, #14190, .T.); #14210 = CARTESIAN_POINT ('', (4.53199593714248, 8.00000000000001, -1.25630581619412)); #14220 = CARTESIAN_POINT ('', (3.89400430664818, 8.00000000000001, -1.34596969247689)); #14230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14210, #14220), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #14240 = EDGE_CURVE ('', #14150, #12430, #14230, .T.); #14250 = ORIENTED_EDGE ('', *, *, #14240, .T.); #14260 = EDGE_LOOP ('', (#13940, #13950, #13960, #14030, #14080, #14090, #14100, #14110, #14120, #14130, #14200, #14250)); #14270 = FACE_OUTER_BOUND ('', #14260, .T.); #14280 = CARTESIAN_POINT ('', (2.45132794411724, 8.00000000000001, -7.97164128225741)); #14290 = CARTESIAN_POINT ('', (25.6550747655659, 8.00000000000001, -6.34907724188943)); #14300 = CARTESIAN_POINT ('', (1.87270234425802, 8.00000000000001, 0.303090308920358)); #14310 = CARTESIAN_POINT ('', (25.0764491657067, 8.00000000000001, 1.92565434928835)); #14320 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14280, #14290), (#14300, #14310)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.57968201642047, 6.71525562595201), (-0.200345561710179, 23.0600624445777), .UNSPECIFIED.); #14330 = ADVANCED_FACE ('', (#14270), #14320, .T.); #14340 = CARTESIAN_POINT ('', (1.56119173091784, 8.15, -1.67382511907432)); #14350 = VERTEX_POINT ('', #14340); #14360 = CARTESIAN_POINT ('', (1.56119173091784, 8.15, -1.67382511907432)); #14370 = CARTESIAN_POINT ('', (4.53199593714248, 8.00000000000001, -1.25630581619412)); #14380 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14360, #14370), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #14390 = EDGE_CURVE ('', #14350, #14150, #14380, .T.); #14400 = ORIENTED_EDGE ('', *, *, #14390, .T.); #14410 = ORIENTED_EDGE ('', *, *, #14190, .F.); #14420 = ORIENTED_EDGE ('', *, *, #12100, .F.); #14430 = CARTESIAN_POINT ('', (1.74655964374455, 8.15000000000001, -2.99278635350341)); #14440 = CARTESIAN_POINT ('', (1.56119173091784, 8.15, -1.67382511907432)); #14450 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14430, #14440), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #14460 = EDGE_CURVE ('', #12010, #14350, #14450, .T.); #14470 = ORIENTED_EDGE ('', *, *, #14460, .T.); #14480 = EDGE_LOOP ('', (#14400, #14410, #14420, #14470)); #14490 = FACE_OUTER_BOUND ('', #14480, .T.); #14500 = CARTESIAN_POINT ('', (1.23104774016629, 8.16359078631707, -1.27780515971062)); #14510 = CARTESIAN_POINT ('', (1.57942195542962, 8.18092325642572, -6.24739525111538)); #14520 = CARTESIAN_POINT ('', (5.17929114474062, 7.96617861608836, -1.00171708565181)); #14530 = CARTESIAN_POINT ('', (5.52766536000395, 7.98351108619701, -5.97130717705658)); #14540 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14500, #14510), (#14520, #14530)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.300968678815607, 3.66183615757953), (-0.207293821743466, 4.77452218097771), .UNSPECIFIED.); #14550 = ADVANCED_FACE ('', (#14490), #14540, .T.); #14560 = ORIENTED_EDGE ('', *, *, #14460, .F.); #14570 = ORIENTED_EDGE ('', *, *, #12050, .F.); #14580 = ORIENTED_EDGE ('', *, *, #12250, .F.); #14590 = CARTESIAN_POINT ('', (1.56119173091784, 6.65000000000001, -1.67382511907431)); #14600 = CARTESIAN_POINT ('', (1.56119173091784, 8.15, -1.67382511907432)); #14610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14590, #14600), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #14620 = EDGE_CURVE ('', #12210, #14350, #14610, .T.); #14630 = ORIENTED_EDGE ('', *, *, #14620, .T.); #14640 = EDGE_LOOP ('', (#14560, #14570, #14580, #14630)); #14650 = FACE_OUTER_BOUND ('', #14640, .T.); #14660 = CARTESIAN_POINT ('', (1.74671683157445, 6.649, -2.99390480302929)); #14670 = CARTESIAN_POINT ('', (1.74671683157445, 8.15100000000001, -2.99390480302929)); #14680 = CARTESIAN_POINT ('', (1.56103454308787, 6.649, -1.67270666954844)); #14690 = CARTESIAN_POINT ('', (1.56103454308787, 8.15100000000001, -1.67270666954844)); #14700 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14660, #14670), (#14680, #14690)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-6.2120645733188E-5, 1.33412018330336), (-1.77635683940025E-15, 1.502), .UNSPECIFIED.); #14710 = ADVANCED_FACE ('', (#14650), #14700, .T.); #14720 = ORIENTED_EDGE ('', *, *, #11120, .T.); #14730 = ORIENTED_EDGE ('', *, *, #12470, .F.); #14740 = ORIENTED_EDGE ('', *, *, #14240, .F.); #14750 = ORIENTED_EDGE ('', *, *, #14390, .F.); #14760 = ORIENTED_EDGE ('', *, *, #14620, .F.); #14770 = ORIENTED_EDGE ('', *, *, #12320, .F.); #14780 = EDGE_LOOP ('', (#14720, #14730, #14740, #14750, #14760, #14770)); #14790 = FACE_OUTER_BOUND ('', #14780, .T.); #14800 = CARTESIAN_POINT ('', (1.56007328139194, 6.64900000000001, -1.6739823069042)); #14810 = CARTESIAN_POINT ('', (1.56007328139194, 8.151, -1.6739823069042)); #14820 = CARTESIAN_POINT ('', (4.53311438666847, 6.64900000000001, -1.2561486283642)); #14830 = CARTESIAN_POINT ('', (4.53311438666847, 8.151, -1.2561486283642)); #14840 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14800, #14810), (#14820, #14830)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-6.21206456656864E-5, 3.0021967616938), (2.22044604925031E-15, 1.50199999999999), .UNSPECIFIED.); #14850 = ADVANCED_FACE ('', (#14790), #14840, .T.); #14860 = ORIENTED_EDGE ('', *, *, #14020, .F.); #14870 = ORIENTED_EDGE ('', *, *, #12990, .T.); #14880 = ORIENTED_EDGE ('', *, *, #10840, .T.); #14890 = ORIENTED_EDGE ('', *, *, #13320, .F.); #14900 = CARTESIAN_POINT ('', (25.5027289371536, 8.15000000000001, 0.000330250784391417)); #14910 = VERTEX_POINT ('', #14900); #14920 = CARTESIAN_POINT ('', (25.5027289371537, 6.65, 0.000330250784391417)); #14930 = CARTESIAN_POINT ('', (25.5027289371536, 8.15000000000001, 0.000330250784391417)); #14940 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14920, #14930), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #14950 = EDGE_CURVE ('', #13230, #14910, #14940, .T.); #14960 = ORIENTED_EDGE ('', *, *, #14950, .T.); #14970 = CARTESIAN_POINT ('', (25.5027289371536, 8.15000000000001, 0.000330250784391417)); #14980 = CARTESIAN_POINT ('', (22.5027289371536, 8.00000000000001, 0.000330250784391417)); #14990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14970, #14980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #15000 = EDGE_CURVE ('', #14910, #13980, #14990, .T.); #15010 = ORIENTED_EDGE ('', *, *, #15000, .T.); #15020 = EDGE_LOOP ('', (#14860, #14870, #14880, #14890, #14960, #15010)); #15030 = FACE_OUTER_BOUND ('', #15020, .T.); #15040 = CARTESIAN_POINT ('', (25.5037289371537, 8.15100000000002, 0.000330250784391417)); #15050 = CARTESIAN_POINT ('', (25.5037289371537, 6.649, 0.000330250784391417)); #15060 = CARTESIAN_POINT ('', (22.5017289371535, 8.15100000000001, 0.000330250784391417)); #15070 = CARTESIAN_POINT ('', (22.5017289371535, 6.649, 0.000330250784391417)); #15080 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15040, #15050), (#15060, #15070)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (6.73205238825858E-5, 3.00206732052408), (-1.88737914186277E-15, 1.50200000000001), .UNSPECIFIED.); #15090 = ADVANCED_FACE ('', (#15030), #15080, .T.); #15100 = ORIENTED_EDGE ('', *, *, #13270, .F.); #15110 = ORIENTED_EDGE ('', *, *, #13670, .F.); #15120 = CARTESIAN_POINT ('', (25.5027289371536, 8.15000000000002, -1.3315931708254)); #15130 = CARTESIAN_POINT ('', (25.5027289371536, 8.15000000000001, 0.000330250784391417)); #15140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15120, #15130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.); #15150 = EDGE_CURVE ('', #13580, #14910, #15140, .T.); #15160 = ORIENTED_EDGE ('', *, *, #15150, .T.); #15170 = ORIENTED_EDGE ('', *, *, #14950, .F.); #15180 = EDGE_LOOP ('', (#15100, #15110, #15160, #15170)); #15190 = FACE_OUTER_BOUND ('', #15180, .T.); #15200 = CARTESIAN_POINT ('', (25.5027289371536, 8.15100000000002, -1.3325931708254)); #15210 = CARTESIAN_POINT ('', (25.5027289371536, 6.649, -1.3325931708254)); #15220 = CARTESIAN_POINT ('', (25.5027289371536, 8.15100000000002, 0.00133025078438909)); #15230 = CARTESIAN_POINT ('', (25.5027289371536, 6.649, 0.00133025078438909)); #15240 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15200, #15210), (#15220, #15230)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (6.73205240104835E-5, 1.3339907421338), (-2.74780198594726E-15, 1.50200000000001), .UNSPECIFIED.); #15250 = ADVANCED_FACE ('', (#15190), #15240, .T.); #15260 = ORIENTED_EDGE ('', *, *, #13620, .F.); #15270 = ORIENTED_EDGE ('', *, *, #14070, .F.); #15280 = ORIENTED_EDGE ('', *, *, #15000, .F.); #15290 = ORIENTED_EDGE ('', *, *, #15150, .F.); #15300 = EDGE_LOOP ('', (#15260, #15270, #15280, #15290)); #15310 = FACE_OUTER_BOUND ('', #15300, .T.); #15320 = CARTESIAN_POINT ('', (25.8359236282029, 8.16665973455248, -4.7604723900393)); #15330 = CARTESIAN_POINT ('', (25.4892044810958, 8.14932377719712, 0.210238204571898)); #15340 = CARTESIAN_POINT ('', (22.5162533932113, 8.0006762228029, -4.99260634627597)); #15350 = CARTESIAN_POINT ('', (22.1695342461041, 7.98334026544753, -0.0218957516647746)); #15360 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15320, #15330), (#15340, #15350)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-6.72369387899607E-5, 3.33184620264822), (-0.208815804471037, 4.77400252633013), .UNSPECIFIED.); #15370 = ADVANCED_FACE ('', (#15310), #15360, .T.); #15380 = CLOSED_SHELL ('', (#11330, #11610, #11830, #12190, #12410, #12690, #12910, #13130, #13410, #13770, #13930, #14330, #14550, #14710, #14850, #15090, #15250, #15370)); #15390 = MANIFOLD_SOLID_BREP ('CUT', #15380); #15400 = ( LENGTH_UNIT () NAMED_UNIT (*) SI_UNIT (.MILLI., .METRE.) ); #15410 = ( NAMED_UNIT (*) SI_UNIT ($, .STERADIAN.) SOLID_ANGLE_UNIT () ); #15420 = ( NAMED_UNIT (*) SI_UNIT ($, .RADIAN.) PLANE_ANGLE_UNIT () ); #15430 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #15400, 'DISTANCE_ACCURACY_VALUE', ''); #15440 = ( GEOMETRIC_REPRESENTATION_CONTEXT (3) GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#15430)) GLOBAL_UNIT_ASSIGNED_CONTEXT ((#15400, #15410, #15420)) REPRESENTATION_CONTEXT ('', '3D') ); #15450 = COLOUR_RGB ('', 1., 0.74901960784314, 0.); #15460 = FILL_AREA_STYLE_COLOUR ('', #15450); #15470 = FILL_AREA_STYLE ('', (#15460)); #15480 = SURFACE_STYLE_FILL_AREA (#15470); #15490 = SURFACE_SIDE_STYLE ('', (#15480)); #15500 = SURFACE_STYLE_USAGE (.POSITIVE., #15490); #15510 = PRESENTATION_STYLE_ASSIGNMENT ((#15500)); #15520 = STYLED_ITEM ('', (#15510), #15390); #15530 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#15390), #15440); #15540 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies'); #15550 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #15540); #15560 = MECHANICAL_CONTEXT ('', #15540, 'mechanical'); #15570 = PRODUCT ('NONE', '', '', (#15560)); #15580 = PERSON_AND_ORGANIZATION_ROLE ('design_owner'); #15590 = PERSON ('', '', $, $, $, $); #15600 = ORGANIZATION ($, '', ''); #15610 = PERSON_AND_ORGANIZATION (#15590, #15600); #15620 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#15610, #15580, (#15570)); #15630 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#15570)); #15640 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #15570, .NOT_KNOWN.); #15650 = APPROVAL_STATUS ('approved'); #15660 = APPROVAL (#15650, ''); #15670 = CALENDAR_DATE (2017, 6, 3); #15680 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.); #15690 = LOCAL_TIME (10, 46, 57., #15680); #15700 = DATE_AND_TIME (#15670, #15690); #15710 = APPROVAL_DATE_TIME (#15700, #15660); #15720 = APPROVAL_ROLE (''); #15730 = PERSON ('', '', $, $, $, $); #15740 = ORGANIZATION ($, '', ''); #15750 = PERSON_AND_ORGANIZATION (#15730, #15740); #15760 = APPROVAL_PERSON_ORGANIZATION (#15750, #15660, #15720); #15770 = CC_DESIGN_APPROVAL (#15660, (#15640)); #15780 = PERSON_AND_ORGANIZATION_ROLE ('creator'); #15790 = PERSON ('', '', $, $, $, $); #15800 = ORGANIZATION ($, '', ''); #15810 = PERSON_AND_ORGANIZATION (#15790, #15800); #15820 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#15810, #15780, (#15640)); #15830 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier'); #15840 = PERSON ('', '', $, $, $, $); #15850 = ORGANIZATION ($, '', ''); #15860 = PERSON_AND_ORGANIZATION (#15840, #15850); #15870 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#15860, #15830, (#15640)); #15880 = SECURITY_CLASSIFICATION_LEVEL ('unclassified'); #15890 = SECURITY_CLASSIFICATION ('', '', #15880); #15900 = APPROVAL_STATUS ('approved'); #15910 = APPROVAL (#15900, ''); #15920 = CALENDAR_DATE (2017, 6, 3); #15930 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.); #15940 = LOCAL_TIME (10, 46, 57., #15930); #15950 = DATE_AND_TIME (#15920, #15940); #15960 = APPROVAL_DATE_TIME (#15950, #15910); #15970 = APPROVAL_ROLE (''); #15980 = PERSON ('', '', $, $, $, $); #15990 = ORGANIZATION ($, '', ''); #16000 = PERSON_AND_ORGANIZATION (#15980, #15990); #16010 = APPROVAL_PERSON_ORGANIZATION (#16000, #15910, #15970); #16020 = CC_DESIGN_APPROVAL (#15910, (#15890)); #16030 = DATE_TIME_ROLE ('classification_date'); #16040 = CALENDAR_DATE (2017, 6, 3); #16050 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.); #16060 = LOCAL_TIME (10, 46, 57., #16050); #16070 = DATE_AND_TIME (#16040, #16060); #16080 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#16070, #16030, (#15890)); #16090 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer'); #16100 = PERSON ('', '', $, $, $, $); #16110 = ORGANIZATION ($, '', ''); #16120 = PERSON_AND_ORGANIZATION (#16100, #16110); #16130 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16120, #16090, (#15890)); #16140 = CC_DESIGN_SECURITY_CLASSIFICATION (#15890, (#15640)); #16150 = DESIGN_CONTEXT ('', #15540, 'design'); #16160 = PRODUCT_DEFINITION ('', '', #15640, #16150); #16170 = APPROVAL_STATUS ('approved'); #16180 = APPROVAL (#16170, ''); #16190 = CALENDAR_DATE (2017, 6, 3); #16200 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.); #16210 = LOCAL_TIME (10, 46, 57., #16200); #16220 = DATE_AND_TIME (#16190, #16210); #16230 = APPROVAL_DATE_TIME (#16220, #16180); #16240 = APPROVAL_ROLE (''); #16250 = PERSON ('', '', $, $, $, $); #16260 = ORGANIZATION ($, '', ''); #16270 = PERSON_AND_ORGANIZATION (#16250, #16260); #16280 = APPROVAL_PERSON_ORGANIZATION (#16270, #16180, #16240); #16290 = CC_DESIGN_APPROVAL (#16180, (#16160)); #16300 = DATE_TIME_ROLE ('creation_date'); #16310 = CALENDAR_DATE (2017, 6, 3); #16320 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.); #16330 = LOCAL_TIME (10, 46, 57., #16320); #16340 = DATE_AND_TIME (#16310, #16330); #16350 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#16340, #16300, (#16160)); #16360 = PERSON_AND_ORGANIZATION_ROLE ('creator'); #16370 = PERSON ('', '', $, $, $, $); #16380 = ORGANIZATION ($, '', ''); #16390 = PERSON_AND_ORGANIZATION (#16370, #16380); #16400 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16390, #16360, (#16160)); #16410 = PRODUCT_DEFINITION_SHAPE ('', '', #16160); #16420 = SHAPE_DEFINITION_REPRESENTATION (#16410, #15530); ENDSEC; END-ISO-10303-21;