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

DATA;
#10 = CARTESIAN_POINT ('', (13., 17.3493515728975, 18.));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (13., -17.3493515728975, 18.));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (13., 17.3493515728975, 18.));
#60 = CARTESIAN_POINT ('', (13., -17.3493515728975, 18.));
#70 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#50, #60), .UNSPECIFIED., .F., .U., (2, 2), (0.15301296854205, 0.84698703145795), .UNSPECIFIED.);
#80 = EDGE_CURVE ('', #20, #40, #70, .T.);
#90 = ORIENTED_EDGE ('', *, *, #80, .T.);
#100 = CARTESIAN_POINT ('', (13., 17.3493515728975, 18.));
#110 = CARTESIAN_POINT ('', (13., 10.0868323098241, 25.));
#120 = CARTESIAN_POINT ('', (13., 1.53080849893419E-15, 25.));
#130 = CARTESIAN_POINT ('', (13., -10.0868323098241, 25.));
#140 = CARTESIAN_POINT ('', (13., -17.3493515728975, 18.));
#150 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#100, #110, #120, #130, #140), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0.127777051004329, 0.25, 0.372222948995672), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.853625672068487, 0.856806908223142, 1., 0.856806908223141, 0.853625672068487))
   REPRESENTATION_ITEM ('')
);
#160 = EDGE_CURVE ('', #20, #40, #150, .T.);
#170 = ORIENTED_EDGE ('', *, *, #160, .F.);
#180 = EDGE_LOOP ('', (#90, #170));
#190 = FACE_OUTER_BOUND ('', #180, .T.);
#200 = CARTESIAN_POINT ('', (13., -17.3493515728975, 18.));
#210 = CARTESIAN_POINT ('', (13., 17.3493515728975, 18.));
#220 = CARTESIAN_POINT ('', (13., -17.3493515728975, 25.));
#230 = CARTESIAN_POINT ('', (13., 17.3493515728975, 25.));
#240 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#200, #210), (#220, #230)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.827272727272727, 0.954545454545454), (0.184557244129137, 0.815442755870863), .UNSPECIFIED.);
#250 = ADVANCED_FACE ('', (#190), #240, .T.);
#260 = CARTESIAN_POINT ('', (13., 25., 0.));
#270 = VERTEX_POINT ('', #260);
#280 = CARTESIAN_POINT ('', (40.2, 25., 0.));
#290 = VERTEX_POINT ('', #280);
#300 = CARTESIAN_POINT ('', (13., 25., 0.));
#310 = CARTESIAN_POINT ('', (40.2, 25., 0.));
#320 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#300, #310), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((2, 2), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1.))
   REPRESENTATION_ITEM ('')
);
#330 = EDGE_CURVE ('', #270, #290, #320, .T.);
#340 = ORIENTED_EDGE ('', *, *, #330, .F.);
#350 = CARTESIAN_POINT ('', (13., 25., 0.));
#360 = CARTESIAN_POINT ('', (13., 25., 10.625900593198));
#370 = CARTESIAN_POINT ('', (13., 17.3493515728975, 18.));
#380 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#350, #360, #370), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 20.0711722366283), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.850299872963406, 0.853625672068487))
   REPRESENTATION_ITEM ('')
);
#390 = EDGE_CURVE ('', #270, #20, #380, .T.);
#400 = ORIENTED_EDGE ('', *, *, #390, .T.);
#410 = ORIENTED_EDGE ('', *, *, #160, .T.);
#420 = CARTESIAN_POINT ('', (13., -17.3493515728975, 18.));
#430 = CARTESIAN_POINT ('', (13., -25., 10.6259005931979));
#440 = CARTESIAN_POINT ('', (13., -25., 2.66453525910038E-15));
#450 = CARTESIAN_POINT ('', (13., -25., -25.));
#460 = CARTESIAN_POINT ('', (13., -4.59242549680257E-15, -25.));
#470 = CARTESIAN_POINT ('', (13., 25., -25.));
#480 = CARTESIAN_POINT ('', (13., 25., 0.));
#490 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#420, #430, #440, #450, #460, #470, #480), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 3), (58.4686441031165, 78.5398163397448, 117.809724509617, 157.07963267949), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.853625672068487, 0.850299872963406, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#500 = EDGE_CURVE ('', #40, #270, #490, .T.);
#510 = ORIENTED_EDGE ('', *, *, #500, .T.);
#520 = ORIENTED_EDGE ('', *, *, #330, .T.);
#530 = CARTESIAN_POINT ('', (40.2, 25., 0.));
#540 = CARTESIAN_POINT ('', (40.2, 25., 25.));
#550 = CARTESIAN_POINT ('', (40.2, 1.53080849893419E-15, 25.));
#560 = CARTESIAN_POINT ('', (40.2, -25., 25.));
#570 = CARTESIAN_POINT ('', (40.2, -25., 3.06161699786838E-15));
#580 = CARTESIAN_POINT ('', (40.2, -25., -25.));
#590 = CARTESIAN_POINT ('', (40.2, -4.59242549680257E-15, -25.));
#600 = CARTESIAN_POINT ('', (40.2, 25., -25.));
#610 = CARTESIAN_POINT ('', (40.2, 25., 0.));
#620 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#530, #540, #550, #560, #570, #580, #590, #600, #610), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 39.2699081698724, 78.5398163397448, 117.809724509617, 157.07963267949), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#630 = EDGE_CURVE ('', #290, #290, #620, .T.);
#640 = ORIENTED_EDGE ('', *, *, #630, .F.);
#650 = EDGE_LOOP ('', (#340, #400, #410, #510, #520, #640));
#660 = FACE_OUTER_BOUND ('', #650, .T.);
#670 = CARTESIAN_POINT ('', (13., 25., 0.));
#680 = CARTESIAN_POINT ('', (40.2, 25., 0.));
#690 = CARTESIAN_POINT ('', (13., 25., 25.));
#700 = CARTESIAN_POINT ('', (40.2, 25., 25.));
#710 = CARTESIAN_POINT ('', (13., 1.53080849893419E-15, 25.));
#720 = CARTESIAN_POINT ('', (40.2, 1.53080849893419E-15, 25.));
#730 = CARTESIAN_POINT ('', (13., -25., 25.));
#740 = CARTESIAN_POINT ('', (40.2, -25., 25.));
#750 = CARTESIAN_POINT ('', (13., -25., 3.06161699786838E-15));
#760 = CARTESIAN_POINT ('', (40.2, -25., 3.06161699786838E-15));
#770 = CARTESIAN_POINT ('', (13., -25., -25.));
#780 = CARTESIAN_POINT ('', (40.2, -25., -25.));
#790 = CARTESIAN_POINT ('', (13., -4.59242549680257E-15, -25.));
#800 = CARTESIAN_POINT ('', (40.2, -4.59242549680257E-15, -25.));
#810 = CARTESIAN_POINT ('', (13., 25., -25.));
#820 = CARTESIAN_POINT ('', (40.2, 25., -25.));
#830 = CARTESIAN_POINT ('', (13., 25., 0.));
#840 = CARTESIAN_POINT ('', (40.2, 25., 0.));
#850 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#670, #680), (#690, #700), (#710, #720), (#730, #740), (#750, #760), (#770, #780), (#790, #800), (#810, #820), (#830, #840)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 39.2699081698724, 78.5398163397448, 117.809724509617, 157.07963267949), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#860 = ADVANCED_FACE ('', (#660), #850, .T.);
#870 = ORIENTED_EDGE ('', *, *, #630, .T.);
#880 = EDGE_LOOP ('', (#870));
#890 = FACE_OUTER_BOUND ('', #880, .T.);
#900 = CARTESIAN_POINT ('', (40.2, 8.8, 0.));
#910 = VERTEX_POINT ('', #900);
#920 = CARTESIAN_POINT ('', (40.2, 8.8, 0.));
#930 = CARTESIAN_POINT ('', (40.2, 8.8, 8.8));
#940 = CARTESIAN_POINT ('', (40.2, 5.38844591624836E-16, 8.8));
#950 = CARTESIAN_POINT ('', (40.2, -8.8, 8.8));
#960 = CARTESIAN_POINT ('', (40.2, -8.8, 1.07768918324967E-15));
#970 = CARTESIAN_POINT ('', (40.2, -8.8, -8.8));
#980 = CARTESIAN_POINT ('', (40.2, -1.61653377487451E-15, -8.8));
#990 = CARTESIAN_POINT ('', (40.2, 8.8, -8.8));
#1000 = CARTESIAN_POINT ('', (40.2, 8.8, 0.));
#1010 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#920, #930, #940, #950, #960, #970, #980, #990, #1000), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#1020 = EDGE_CURVE ('', #910, #910, #1010, .T.);
#1030 = ORIENTED_EDGE ('', *, *, #1020, .F.);
#1040 = EDGE_LOOP ('', (#1030));
#1050 = FACE_BOUND ('', #1040, .T.);
#1060 = CARTESIAN_POINT ('', (40.2, -25., -25.));
#1070 = CARTESIAN_POINT ('', (40.2, -25., 25.));
#1080 = CARTESIAN_POINT ('', (40.2, 25., -25.));
#1090 = CARTESIAN_POINT ('', (40.2, 25., 25.));
#1100 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1060, #1070), (#1080, #1090)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0454545454545453, 0.954545454545454), (0.0454545454545451, 0.954545454545454), .UNSPECIFIED.);
#1110 = ADVANCED_FACE ('', (#890, #1050), #1100, .T.);
#1120 = CARTESIAN_POINT ('', (49.5, 8.8, 0.));
#1130 = VERTEX_POINT ('', #1120);
#1140 = CARTESIAN_POINT ('', (40.2, 8.8, 0.));
#1150 = CARTESIAN_POINT ('', (49.5, 8.8, 0.));
#1160 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#1140, #1150), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((2, 2), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1.))
   REPRESENTATION_ITEM ('')
);
#1170 = EDGE_CURVE ('', #910, #1130, #1160, .T.);
#1180 = ORIENTED_EDGE ('', *, *, #1170, .F.);
#1190 = ORIENTED_EDGE ('', *, *, #1020, .T.);
#1200 = ORIENTED_EDGE ('', *, *, #1170, .T.);
#1210 = CARTESIAN_POINT ('', (49.5, 8.8, 0.));
#1220 = CARTESIAN_POINT ('', (49.5, 8.8, 8.8));
#1230 = CARTESIAN_POINT ('', (49.5, 5.38844591624836E-16, 8.8));
#1240 = CARTESIAN_POINT ('', (49.5, -8.8, 8.8));
#1250 = CARTESIAN_POINT ('', (49.5, -8.8, 1.07768918324967E-15));
#1260 = CARTESIAN_POINT ('', (49.5, -8.8, -8.8));
#1270 = CARTESIAN_POINT ('', (49.5, -1.61653377487451E-15, -8.8));
#1280 = CARTESIAN_POINT ('', (49.5, 8.8, -8.8));
#1290 = CARTESIAN_POINT ('', (49.5, 8.8, 0.));
#1300 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1210, #1220, #1230, #1240, #1250, #1260, #1270, #1280, #1290), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 13.8230076757951, 27.6460153515902, 41.4690230273853, 55.2920307031804), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#1310 = EDGE_CURVE ('', #1130, #1130, #1300, .T.);
#1320 = ORIENTED_EDGE ('', *, *, #1310, .F.);
#1330 = EDGE_LOOP ('', (#1180, #1190, #1200, #1320));
#1340 = FACE_OUTER_BOUND ('', #1330, .T.);
#1350 = CARTESIAN_POINT ('', (40.2, 8.8, 0.));
#1360 = CARTESIAN_POINT ('', (49.5, 8.8, 0.));
#1370 = CARTESIAN_POINT ('', (40.2, 8.8, 8.8));
#1380 = CARTESIAN_POINT ('', (49.5, 8.8, 8.8));
#1390 = CARTESIAN_POINT ('', (40.2, 5.38844591624836E-16, 8.8));
#1400 = CARTESIAN_POINT ('', (49.5, 5.38844591624836E-16, 8.8));
#1410 = CARTESIAN_POINT ('', (40.2, -8.8, 8.8));
#1420 = CARTESIAN_POINT ('', (49.5, -8.8, 8.8));
#1430 = CARTESIAN_POINT ('', (40.2, -8.8, 1.07768918324967E-15));
#1440 = CARTESIAN_POINT ('', (49.5, -8.8, 1.07768918324967E-15));
#1450 = CARTESIAN_POINT ('', (40.2, -8.8, -8.8));
#1460 = CARTESIAN_POINT ('', (49.5, -8.8, -8.8));
#1470 = CARTESIAN_POINT ('', (40.2, -1.61653377487451E-15, -8.8));
#1480 = CARTESIAN_POINT ('', (49.5, -1.61653377487451E-15, -8.8));
#1490 = CARTESIAN_POINT ('', (40.2, 8.8, -8.8));
#1500 = CARTESIAN_POINT ('', (49.5, 8.8, -8.8));
#1510 = CARTESIAN_POINT ('', (40.2, 8.8, 0.));
#1520 = CARTESIAN_POINT ('', (49.5, 8.8, 0.));
#1530 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#1350, #1360), (#1370, #1380), (#1390, #1400), (#1410, #1420), (#1430, #1440), (#1450, #1460), (#1470, #1480), (#1490, #1500), (#1510, #1520)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 13.8230076757951, 27.6460153515902, 41.4690230273853, 55.2920307031804), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#1540 = ADVANCED_FACE ('', (#1340), #1530, .T.);
#1550 = CARTESIAN_POINT ('', (49.5, 11., 0.));
#1560 = VERTEX_POINT ('', #1550);
#1570 = CARTESIAN_POINT ('', (49.5, 11., 0.));
#1580 = CARTESIAN_POINT ('', (49.5, 11., 11.));
#1590 = CARTESIAN_POINT ('', (49.5, 6.73555739531044E-16, 11.));
#1600 = CARTESIAN_POINT ('', (49.5, -11., 11.));
#1610 = CARTESIAN_POINT ('', (49.5, -11., 1.34711147906209E-15));
#1620 = CARTESIAN_POINT ('', (49.5, -11., -11.));
#1630 = CARTESIAN_POINT ('', (49.5, -2.02066721859313E-15, -11.));
#1640 = CARTESIAN_POINT ('', (49.5, 11., -11.));
#1650 = CARTESIAN_POINT ('', (49.5, 11., 0.));
#1660 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1570, #1580, #1590, #1600, #1610, #1620, #1630, #1640, #1650), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#1670 = EDGE_CURVE ('', #1560, #1560, #1660, .T.);
#1680 = ORIENTED_EDGE ('', *, *, #1670, .F.);
#1690 = EDGE_LOOP ('', (#1680));
#1700 = FACE_OUTER_BOUND ('', #1690, .T.);
#1710 = ORIENTED_EDGE ('', *, *, #1310, .T.);
#1720 = EDGE_LOOP ('', (#1710));
#1730 = FACE_BOUND ('', #1720, .T.);
#1740 = CARTESIAN_POINT ('', (49.5, -11., -11.));
#1750 = CARTESIAN_POINT ('', (49.5, 11., -11.));
#1760 = CARTESIAN_POINT ('', (49.5, -11., 11.));
#1770 = CARTESIAN_POINT ('', (49.5, 11., 11.));
#1780 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1740, #1750), (#1760, #1770)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0454545454545454, 0.954545454545454), (0.0454545454545454, 0.954545454545454), .UNSPECIFIED.);
#1790 = ADVANCED_FACE ('', (#1700, #1730), #1780, .T.);
#1800 = CARTESIAN_POINT ('', (66.0448625156373, -1.54, 10.1128912495483));
#1810 = VERTEX_POINT ('', #1800);
#1820 = CARTESIAN_POINT ('', (65.6, -1.54, 10.8916665391482));
#1830 = VERTEX_POINT ('', #1820);
#1840 = CARTESIAN_POINT ('', (66.0448625200314, -1.53999999999997, 10.1128912520563));
#1850 = CARTESIAN_POINT ('', (66.0340118890575, -1.53999999999997, 10.131901750871));
#1860 = CARTESIAN_POINT ('', (66.0231607359491, -1.53999999999997, 10.1509119515687));
#1870 = CARTESIAN_POINT ('', (66.0123090702765, -1.53999999999997, 10.1699218595428));
#1880 = CARTESIAN_POINT ('', (65.9023850990541, -1.53999999999997, 10.3624862676392));
#1890 = CARTESIAN_POINT ('', (65.7924084879798, -1.53999999999998, 10.5550206334719));
#1900 = CARTESIAN_POINT ('', (65.6823871915319, -1.53999999999998, 10.7475294515628));
#1910 = CARTESIAN_POINT ('', (65.6549275504165, -1.53999999999998, 10.7955767226547));
#1920 = CARTESIAN_POINT ('', (65.6274651172201, -1.54, 10.8436223981354));
#1930 = CARTESIAN_POINT ('', (65.6, -1.54, 10.8916665391482));
#1940 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#1840, #1850, #1860, #1870, #1880, #1890, #1900, #1910, #1920, #1930), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (1.93008275051399, 1.99575022527502, 2.66094115758955, 2.82696269036803), .UNSPECIFIED.);
#1950 = EDGE_CURVE ('', #1810, #1830, #1940, .T.);
#1960 = ORIENTED_EDGE ('', *, *, #1950, .T.);
#1970 = CARTESIAN_POINT ('', (65.6, -8.66245991245126, 6.77951239140212));
#1980 = VERTEX_POINT ('', #1970);
#1990 = CARTESIAN_POINT ('', (65.6, -1.54, 10.8916665391482));
#2000 = CARTESIAN_POINT ('', (65.6, -5.92994243732972, 10.2709615874139));
#2010 = CARTESIAN_POINT ('', (65.6, -8.66245991245126, 6.77951239140213));
#2020 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1990, #2000, #2010), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (18.9490641247705, 27.1850859323037), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.948847158255079, 0.83622941221607, 0.856702811947658))
   REPRESENTATION_ITEM ('')
);
#2030 = EDGE_CURVE ('', #1830, #1980, #2020, .T.);
#2040 = ORIENTED_EDGE ('', *, *, #2030, .T.);
#2050 = CARTESIAN_POINT ('', (66.0448625156373, -7.98802072781817, 6.39012474660218));
#2060 = VERTEX_POINT ('', #2050);
#2070 = CARTESIAN_POINT ('', (66.0448625200352, -7.98802072999206, 6.39012474785727));
#2080 = CARTESIAN_POINT ('', (66.0340066777944, -8.00449221191577, 6.39963456237987));
#2090 = CARTESIAN_POINT ('', (66.023150312917, -8.02096343541429, 6.40914422770063));
#2100 = CARTESIAN_POINT ('', (66.0122934349872, -8.03743440516528, 6.41865374652017));
#2110 = CARTESIAN_POINT ('', (65.9023683983462, -8.20420168072016, 6.5149368779538));
#2120 = CARTESIAN_POINT ('', (65.7923907212586, -8.37094293861593, 6.61120498808495));
#2130 = CARTESIAN_POINT ('', (65.6823683583427, -8.53766207129178, 6.70746032421441));
#2140 = CARTESIAN_POINT ('', (65.6549149936804, -8.57926271523573, 6.73147846719391));
#2150 = CARTESIAN_POINT ('', (65.6274588382386, -8.62086197798385, 6.75549581273963));
#2160 = CARTESIAN_POINT ('', (65.6, -8.66245991245126, 6.77951239140212));
#2170 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#2070, #2080, #2090, #2100, #2110, #2120, #2130, #2140, #2150, #2160), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (1.93008275051242, 1.9957817635941, 2.66097911286475, 2.82696269036614), .UNSPECIFIED.);
#2180 = EDGE_CURVE ('', #2060, #1980, #2170, .T.);
#2190 = ORIENTED_EDGE ('', *, *, #2180, .F.);
#2200 = CARTESIAN_POINT ('', (66.0448625156373, -9.52802072781817, 3.72276650294611));
#2210 = VERTEX_POINT ('', #2200);
#2220 = CARTESIAN_POINT ('', (66.0448625156373, -7.98802072781817, 6.39012474660218));
#2230 = CARTESIAN_POINT ('', (66.0640728248404, -8.09792023946971, 6.19947944104373));
#2240 = CARTESIAN_POINT ('', (66.0792846938292, -8.20804390468339, 6.00851553895546));
#2250 = CARTESIAN_POINT ('', (66.0903594315464, -8.31828035931123, 5.81741910929761));
#2260 = CARTESIAN_POINT ('', (66.1014387073799, -8.42856198574053, 5.62624437369269));
#2270 = CARTESIAN_POINT ('', (66.1083806533434, -8.53899464365265, 5.43487083868626));
#2280 = CARTESIAN_POINT ('', (66.1111197086972, -8.64945973626929, 5.24350070542754));
#2290 = CARTESIAN_POINT ('', (66.1138601083826, -8.75997904528422, 5.05203664748078));
#2300 = CARTESIAN_POINT ('', (66.1123942922439, -8.87057011891007, 4.86050790631853));
#2310 = CARTESIAN_POINT ('', (66.1067362363531, -8.9811136389943, 4.66912183182006));
#2320 = CARTESIAN_POINT ('', (66.1010750953796, -9.09171743347309, 4.47763140312913));
#2330 = CARTESIAN_POINT ('', (66.0912154696485, -9.20231278279302, 4.28621601363919));
#2340 = CARTESIAN_POINT ('', (66.0772498207549, -9.31278643176893, 4.09507636394978));
#2350 = CARTESIAN_POINT ('', (66.068174137821, -9.38457857106052, 3.97086281183258));
#2360 = CARTESIAN_POINT ('', (66.0573645391892, -9.45633281736479, 3.84674242285109));
#2370 = CARTESIAN_POINT ('', (66.0448625156373, -9.52802072781817, 3.72276650294611));
#2380 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#2220, #2230, #2240, #2250, #2260, #2270, #2280, #2290, #2300, #2310, #2320, #2330, #2340, #2350, #2360, #2370), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 4), (0., 0.662671216027685, 1.32561397609863, 1.98888210926131, 2.65251189261507, 3.08377674433518), .UNSPECIFIED.);
#2390 = EDGE_CURVE ('', #2060, #2210, #2380, .T.);
#2400 = ORIENTED_EDGE ('', *, *, #2390, .T.);
#2410 = CARTESIAN_POINT ('', (65.6, -10.2024599124513, 4.11215414774605));
#2420 = VERTEX_POINT ('', #2410);
#2430 = CARTESIAN_POINT ('', (66.0448625200389, -9.52802072999392, 3.72276650420228));
#2440 = CARTESIAN_POINT ('', (66.0340015768688, -9.54449995151488, 3.73228078718344));
#2450 = CARTESIAN_POINT ('', (66.0231401105705, -9.56097891436757, 3.7417949208224));
#2460 = CARTESIAN_POINT ('', (66.0122781307414, -9.57745762323618, 3.75130890782359));
#2470 = CARTESIAN_POINT ('', (65.9023520578018, -9.7442264611049, 3.84759294125954));
#2480 = CARTESIAN_POINT ('', (65.7923733438398, -9.91096928102835, 3.94386195322779));
#2490 = CARTESIAN_POINT ('', (65.6823499436092, -10.0776899755126, 4.04011819106774));
#2500 = CARTESIAN_POINT ('', (65.6549027159433, -10.1192813174319, 4.06413096352083));
#2510 = CARTESIAN_POINT ('', (65.6274526987704, -10.160871278785, 4.08814293890363));
#2520 = CARTESIAN_POINT ('', (65.6, -10.2024599124513, 4.11215414774606));
#2530 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#2430, #2440, #2450, #2460, #2470, #2480, #2490, #2500, #2510, #2520), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (1.93008275051086, 1.99581263415579, 2.66101622480783, 2.82696269036427), .UNSPECIFIED.);
#2540 = EDGE_CURVE ('', #2210, #2420, #2530, .T.);
#2550 = ORIENTED_EDGE ('', *, *, #2540, .T.);
#2560 = CARTESIAN_POINT ('', (65.6, -10.2024599124513, -4.11215414774604));
#2570 = VERTEX_POINT ('', #2560);
#2580 = CARTESIAN_POINT ('', (65.6, -10.2024599124513, 4.11215414774606));
#2590 = CARTESIAN_POINT ('', (65.6, -11., 2.13341733987399));
#2600 = CARTESIAN_POINT ('', (65.6, -11., 1.34711147906209E-15));
#2610 = CARTESIAN_POINT ('', (65.6, -11., -2.13341733987398));
#2620 = CARTESIAN_POINT ('', (65.6, -10.2024599124513, -4.11215414774604));
#2630 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2580, #2590, #2600, #2610, #2620), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (30.1706765920042, 34.5575191894877, 38.9443617869712), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.889035581716377, 0.925638386149214, 1., 0.925638386149214, 0.889035581716377))
   REPRESENTATION_ITEM ('')
);
#2640 = EDGE_CURVE ('', #2420, #2570, #2630, .T.);
#2650 = ORIENTED_EDGE ('', *, *, #2640, .T.);
#2660 = CARTESIAN_POINT ('', (66.0448625156373, -9.52802072781817, -3.7227665029461));
#2670 = VERTEX_POINT ('', #2660);
#2680 = CARTESIAN_POINT ('', (66.0448625200389, -9.52802072999391, -3.72276650420226));
#2690 = CARTESIAN_POINT ('', (66.0340015768688, -9.54449995151487, -3.73228078718342));
#2700 = CARTESIAN_POINT ('', (66.0231401105705, -9.56097891436756, -3.74179492082239));
#2710 = CARTESIAN_POINT ('', (66.0122781307414, -9.57745762323618, -3.75130890782358));
#2720 = CARTESIAN_POINT ('', (65.9023520578018, -9.7442264611049, -3.84759294125953));
#2730 = CARTESIAN_POINT ('', (65.7923733438398, -9.91096928102835, -3.94386195322777));
#2740 = CARTESIAN_POINT ('', (65.6823499436092, -10.0776899755126, -4.04011819106773));
#2750 = CARTESIAN_POINT ('', (65.6549027159433, -10.1192813174319, -4.06413096352081));
#2760 = CARTESIAN_POINT ('', (65.6274526987704, -10.160871278785, -4.08814293890362));
#2770 = CARTESIAN_POINT ('', (65.6, -10.2024599124513, -4.11215414774605));
#2780 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#2680, #2690, #2700, #2710, #2720, #2730, #2740, #2750, #2760, #2770), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (1.93008275051086, 1.99581263415579, 2.66101622480783, 2.82696269036428), .UNSPECIFIED.);
#2790 = EDGE_CURVE ('', #2670, #2570, #2780, .T.);
#2800 = ORIENTED_EDGE ('', *, *, #2790, .F.);
#2810 = CARTESIAN_POINT ('', (66.0448625156373, -7.98802072781816, -6.39012474660217));
#2820 = VERTEX_POINT ('', #2810);
#2830 = CARTESIAN_POINT ('', (66.0448625156373, -9.52802072781817, -3.7227665029461));
#2840 = CARTESIAN_POINT ('', (66.0641522596288, -9.41741131853448, -3.91405263723799));
#2850 = CARTESIAN_POINT ('', (66.0794103877193, -9.30663662770544, -4.10569527108303));
#2860 = CARTESIAN_POINT ('', (66.0904966258289, -9.19580345344693, -4.29750252753084));
#2870 = CARTESIAN_POINT ('', (66.1015889288423, -9.08490964612864, -4.48941471520456));
#2880 = CARTESIAN_POINT ('', (66.108507992349, -8.97391857458758, -4.68155867778764));
#2890 = CARTESIAN_POINT ('', (66.111187905841, -8.86294758734749, -4.87372793006291));
#2900 = CARTESIAN_POINT ('', (66.1138692934805, -8.75191555799037, -5.06600288940882));
#2910 = CARTESIAN_POINT ('', (66.1123076544751, -8.64086380731501, -5.25837212802219));
#2920 = CARTESIAN_POINT ('', (66.1065180064617, -8.52991381528601, -5.45062597224632));
#2930 = CARTESIAN_POINT ('', (66.1007253436939, -8.41890604997293, -5.64297992585987));
#2940 = CARTESIAN_POINT ('', (66.0906985459948, -8.30796053602523, -5.83528702313775));
#2950 = CARTESIAN_POINT ('', (66.0765324071968, -8.19719588254106, -6.02734647857433));
#2960 = CARTESIAN_POINT ('', (66.0676062318997, -8.1274023609739, -6.14836437845071));
#2970 = CARTESIAN_POINT ('', (66.0570367825176, -8.05766801827654, -6.2693059297465));
#2980 = CARTESIAN_POINT ('', (66.0448625156373, -7.98802072781816, -6.39012474660217));
#2990 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#2830, #2840, #2850, #2860, #2870, #2880, #2890, #2900, #2910, #2920, #2930, #2940, #2950, #2960, #2970, #2980), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 4), (0., 0.665411367019764, 1.33118675796523, 1.99732837381637, 2.66381685935276, 3.08377554677095), .UNSPECIFIED.);
#3000 = EDGE_CURVE ('', #2670, #2820, #2990, .T.);
#3010 = ORIENTED_EDGE ('', *, *, #3000, .T.);
#3020 = CARTESIAN_POINT ('', (65.6, -8.66245991245126, -6.77951239140212));
#3030 = VERTEX_POINT ('', #3020);
#3040 = CARTESIAN_POINT ('', (66.0448625200352, -7.98802072999205, -6.39012474785725));
#3050 = CARTESIAN_POINT ('', (66.0340066777944, -8.00449221191577, -6.39963456237986));
#3060 = CARTESIAN_POINT ('', (66.023150312917, -8.0209634354143, -6.40914422770062));
#3070 = CARTESIAN_POINT ('', (66.0122934349872, -8.0374344051653, -6.41865374652017));
#3080 = CARTESIAN_POINT ('', (65.9023683983462, -8.20420168072017, -6.5149368779538));
#3090 = CARTESIAN_POINT ('', (65.7923907212586, -8.37094293861595, -6.61120498808494));
#3100 = CARTESIAN_POINT ('', (65.6823683583427, -8.5376620712918, -6.70746032421441));
#3110 = CARTESIAN_POINT ('', (65.6549149936804, -8.57926271523575, -6.73147846719391));
#3120 = CARTESIAN_POINT ('', (65.6274588382386, -8.62086197798386, -6.75549581273963));
#3130 = CARTESIAN_POINT ('', (65.6, -8.66245991245126, -6.77951239140212));
#3140 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3040, #3050, #3060, #3070, #3080, #3090, #3100, #3110, #3120, #3130), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (1.9300827505124, 1.99578176359411, 2.66097911286475, 2.82696269036614), .UNSPECIFIED.);
#3150 = EDGE_CURVE ('', #2820, #3030, #3140, .T.);
#3160 = ORIENTED_EDGE ('', *, *, #3150, .T.);
#3170 = CARTESIAN_POINT ('', (65.6, -1.54000000000001, -10.8916665391482));
#3180 = VERTEX_POINT ('', #3170);
#3190 = CARTESIAN_POINT ('', (65.6, -8.66245991245126, -6.77951239140212));
#3200 = CARTESIAN_POINT ('', (65.6, -5.92994243732973, -10.2709615874139));
#3210 = CARTESIAN_POINT ('', (65.6, -1.54000000000001, -10.8916665391482));
#3220 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3190, #3200, #3210), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (41.9299524466717, 50.165974254205), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.856702811947658, 0.83622941221607, 0.948847158255079))
   REPRESENTATION_ITEM ('')
);
#3230 = EDGE_CURVE ('', #3030, #3180, #3220, .T.);
#3240 = ORIENTED_EDGE ('', *, *, #3230, .T.);
#3250 = CARTESIAN_POINT ('', (66.0448625156373, -1.54, -10.1128912495483));
#3260 = VERTEX_POINT ('', #3250);
#3270 = CARTESIAN_POINT ('', (66.0448625200313, -1.53999999999997, -10.1128912520563));
#3280 = CARTESIAN_POINT ('', (66.0340118890574, -1.53999999999997, -10.131901750871));
#3290 = CARTESIAN_POINT ('', (66.0231607359491, -1.53999999999997, -10.1509119515687));
#3300 = CARTESIAN_POINT ('', (66.0123090702765, -1.53999999999997, -10.1699218595428));
#3310 = CARTESIAN_POINT ('', (65.9023850990541, -1.53999999999997, -10.3624862676392));
#3320 = CARTESIAN_POINT ('', (65.7924084879798, -1.53999999999998, -10.5550206334719));
#3330 = CARTESIAN_POINT ('', (65.6823871915319, -1.53999999999998, -10.7475294515628));
#3340 = CARTESIAN_POINT ('', (65.6549275504165, -1.53999999999998, -10.7955767226547));
#3350 = CARTESIAN_POINT ('', (65.6274651172201, -1.54000000000001, -10.8436223981354));
#3360 = CARTESIAN_POINT ('', (65.6, -1.54000000000001, -10.8916665391482));
#3370 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3270, #3280, #3290, #3300, #3310, #3320, #3330, #3340, #3350, #3360), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (1.93008275051402, 1.99575022527504, 2.66094115758956, 2.82696269036804), .UNSPECIFIED.);
#3380 = EDGE_CURVE ('', #3260, #3180, #3370, .T.);
#3390 = ORIENTED_EDGE ('', *, *, #3380, .F.);
#3400 = CARTESIAN_POINT ('', (66.0448625156373, 1.54000000000001, -10.1128912495483));
#3410 = VERTEX_POINT ('', #3400);
#3420 = CARTESIAN_POINT ('', (66.0448625156373, -1.54, -10.1128912495483));
#3430 = CARTESIAN_POINT ('', (66.0576497456128, -1.39352271887039, -10.1127934771889));
#3440 = CARTESIAN_POINT ('', (66.0686664194143, -1.24687958806644, -10.1127111718448));
#3450 = CARTESIAN_POINT ('', (66.0778682871109, -1.10013342043732, -10.1126432449423));
#3460 = CARTESIAN_POINT ('', (66.0870708344718, -0.953376413907415, -10.1125753130226));
#3470 = CARTESIAN_POINT ('', (66.0944596038797, -0.806494070901077, -10.1125217489722));
#3480 = CARTESIAN_POINT ('', (66.1000040518949, -0.659553375520819, -10.1124818031672));
#3490 = CARTESIAN_POINT ('', (66.1055491660253, -0.512595026546772, -10.1124418525631));
#3500 = CARTESIAN_POINT ('', (66.1092503178, -0.365555336390821, -10.1124155156997));
#3510 = CARTESIAN_POINT ('', (66.1110919359813, -0.218503935545105, -10.1124024109578));
#3520 = CARTESIAN_POINT ('', (66.111912761528, -0.152961822794515, -10.1123965700582));
#3530 = CARTESIAN_POINT ('', (66.1123644490644, -0.0874140452551339, -10.1123933623568));
#3540 = CARTESIAN_POINT ('', (66.1124466184171, -0.021866844091684, -10.1123927785403));
#3550 = CARTESIAN_POINT ('', (66.1124628792534, -0.00889543476648096, -10.1123926630064));
#3560 = CARTESIAN_POINT ('', (66.1124646712111, 0.00407600076776033, -10.1123926502752));
#3570 = CARTESIAN_POINT ('', (66.1124519942312, 0.0170474140907632, -10.112392740345));
#3580 = CARTESIAN_POINT ('', (66.1123069207185, 0.165490379124848, -10.1123937710918));
#3590 = CARTESIAN_POINT ('', (66.1102654561618, 0.313943499808426, -10.1124082330331));
#3600 = CARTESIAN_POINT ('', (66.10633638647, 0.462334525604368, -10.1124363414222));
#3610 = CARTESIAN_POINT ('', (66.1024066335088, 0.610751356753051, -10.1124644546994));
#3620 = CARTESIAN_POINT ('', (66.0965880351665, 0.759129913486667, -10.1125062248184));
#3630 = CARTESIAN_POINT ('', (66.0889053350181, 0.907399844678234, -10.1125622586053));
#3640 = CARTESIAN_POINT ('', (66.0812216282926, 1.05568920199643, -10.1126182997335));
#3650 = CARTESIAN_POINT ('', (66.0716722141553, 1.20389319618884, -10.11268861919));
#3660 = CARTESIAN_POINT ('', (66.0602967504256, 1.35194510426777, -10.1127741914816));
#3670 = CARTESIAN_POINT ('', (66.0554784027273, 1.41465600445445, -10.112810437657));
#3680 = CARTESIAN_POINT ('', (66.0503324078899, 1.4773425717085, -10.1128494262392));
#3690 = CARTESIAN_POINT ('', (66.0448625156373, 1.54000000000001, -10.1128912495483));
#3700 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3420, #3430, #3440, #3450, #3460, #3470, #3480, #3490, #3500, #3510, #3520, #3530, #3540, #3550, #3560, #3570, #3580, #3590, #3600, #3610, #3620, #3630, #3640, #3650, #3660, #3670, #3680, #3690), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.441103219522391, 0.882239019616473, 1.32342781818181, 1.52006957618999, 1.55898383474378, 2.00431294252753, 2.44971949350335, 2.89518440104541, 3.08387163727233), .UNSPECIFIED.);
#3710 = EDGE_CURVE ('', #3260, #3410, #3700, .T.);
#3720 = ORIENTED_EDGE ('', *, *, #3710, .T.);
#3730 = CARTESIAN_POINT ('', (65.6, 1.54, -10.8916665391482));
#3740 = VERTEX_POINT ('', #3730);
#3750 = CARTESIAN_POINT ('', (66.0448625200313, 1.53999999999997, -10.1128912520563));
#3760 = CARTESIAN_POINT ('', (66.0340118890574, 1.53999999999997, -10.131901750871));
#3770 = CARTESIAN_POINT ('', (66.0231607359491, 1.53999999999997, -10.1509119515687));
#3780 = CARTESIAN_POINT ('', (66.0123090702765, 1.53999999999997, -10.1699218595428));
#3790 = CARTESIAN_POINT ('', (65.9023850990541, 1.53999999999997, -10.3624862676392));
#3800 = CARTESIAN_POINT ('', (65.7924084879798, 1.53999999999998, -10.5550206334719));
#3810 = CARTESIAN_POINT ('', (65.6823871915319, 1.53999999999998, -10.7475294515628));
#3820 = CARTESIAN_POINT ('', (65.6549275504165, 1.53999999999998, -10.7955767226547));
#3830 = CARTESIAN_POINT ('', (65.6274651172201, 1.54, -10.8436223981354));
#3840 = CARTESIAN_POINT ('', (65.6, 1.54, -10.8916665391482));
#3850 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3750, #3760, #3770, #3780, #3790, #3800, #3810, #3820, #3830, #3840), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (1.93008275051401, 1.99575022527503, 2.66094115758956, 2.82696269036803), .UNSPECIFIED.);
#3860 = EDGE_CURVE ('', #3410, #3740, #3850, .T.);
#3870 = ORIENTED_EDGE ('', *, *, #3860, .T.);
#3880 = CARTESIAN_POINT ('', (65.6, 8.66245991245125, -6.77951239140213));
#3890 = VERTEX_POINT ('', #3880);
#3900 = CARTESIAN_POINT ('', (65.6, 1.54, -10.8916665391482));
#3910 = CARTESIAN_POINT ('', (65.6, 5.92994243732972, -10.2709615874139));
#3920 = CARTESIAN_POINT ('', (65.6, 8.66245991245125, -6.77951239140213));
#3930 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3900, #3910, #3920), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (53.5065833142582, 61.7426051217914), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.948847158255079, 0.83622941221607, 0.856702811947658))
   REPRESENTATION_ITEM ('')
);
#3940 = EDGE_CURVE ('', #3740, #3890, #3930, .T.);
#3950 = ORIENTED_EDGE ('', *, *, #3940, .T.);
#3960 = CARTESIAN_POINT ('', (66.0448625156373, 7.98802072781816, -6.39012474660218));
#3970 = VERTEX_POINT ('', #3960);
#3980 = CARTESIAN_POINT ('', (66.0448625200352, 7.98802072999206, -6.39012474785727));
#3990 = CARTESIAN_POINT ('', (66.0340066777944, 8.00449221191577, -6.39963456237988));
#4000 = CARTESIAN_POINT ('', (66.0231503129171, 8.0209634354143, -6.40914422770064));
#4010 = CARTESIAN_POINT ('', (66.0122934349872, 8.03743440516529, -6.41865374652018));
#4020 = CARTESIAN_POINT ('', (65.9023683983462, 8.20420168072017, -6.51493687795381));
#4030 = CARTESIAN_POINT ('', (65.7923907212586, 8.37094293861592, -6.61120498808495));
#4040 = CARTESIAN_POINT ('', (65.6823683583427, 8.53766207129178, -6.70746032421441));
#4050 = CARTESIAN_POINT ('', (65.6549149936804, 8.57926271523573, -6.73147846719392));
#4060 = CARTESIAN_POINT ('', (65.6274588382386, 8.62086197798385, -6.75549581273964));
#4070 = CARTESIAN_POINT ('', (65.6, 8.66245991245125, -6.77951239140213));
#4080 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3980, #3990, #4000, #4010, #4020, #4030, #4040, #4050, #4060, #4070), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (1.93008275051242, 1.99578176359409, 2.66097911286475, 2.82696269036614), .UNSPECIFIED.);
#4090 = EDGE_CURVE ('', #3970, #3890, #4080, .T.);
#4100 = ORIENTED_EDGE ('', *, *, #4090, .F.);
#4110 = CARTESIAN_POINT ('', (66.0448625156373, 9.52802072781817, -3.72276650294611));
#4120 = VERTEX_POINT ('', #4110);
#4130 = CARTESIAN_POINT ('', (66.0448625156373, 7.98802072781816, -6.39012474660218));
#4140 = CARTESIAN_POINT ('', (66.0640728248404, 8.09792023946971, -6.19947944104373));
#4150 = CARTESIAN_POINT ('', (66.0792846938291, 8.20804390468339, -6.00851553895546));
#4160 = CARTESIAN_POINT ('', (66.0903594315463, 8.31828035931123, -5.81741910929761));
#4170 = CARTESIAN_POINT ('', (66.1014387073799, 8.42856198574053, -5.62624437369269));
#4180 = CARTESIAN_POINT ('', (66.1083806533434, 8.53899464365264, -5.43487083868626));
#4190 = CARTESIAN_POINT ('', (66.1111197086972, 8.64945973626929, -5.24350070542754));
#4200 = CARTESIAN_POINT ('', (66.1138601083826, 8.75997904528422, -5.05203664748078));
#4210 = CARTESIAN_POINT ('', (66.1123942922439, 8.87057011891007, -4.86050790631853));
#4220 = CARTESIAN_POINT ('', (66.1067362363531, 8.9811136389943, -4.66912183182005));
#4230 = CARTESIAN_POINT ('', (66.1010750953796, 9.09171743347309, -4.47763140312913));
#4240 = CARTESIAN_POINT ('', (66.0912154696485, 9.20231278279303, -4.28621601363919));
#4250 = CARTESIAN_POINT ('', (66.0772498207549, 9.31278643176894, -4.09507636394978));
#4260 = CARTESIAN_POINT ('', (66.068174137821, 9.38457857106052, -3.97086281183258));
#4270 = CARTESIAN_POINT ('', (66.0573645391892, 9.45633281736479, -3.84674242285109));
#4280 = CARTESIAN_POINT ('', (66.0448625156373, 9.52802072781817, -3.72276650294611));
#4290 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#4130, #4140, #4150, #4160, #4170, #4180, #4190, #4200, #4210, #4220, #4230, #4240, #4250, #4260, #4270, #4280), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 4), (0., 0.662671216027687, 1.32561397609863, 1.98888210926132, 2.65251189261508, 3.08377674433518), .UNSPECIFIED.);
#4300 = EDGE_CURVE ('', #3970, #4120, #4290, .T.);
#4310 = ORIENTED_EDGE ('', *, *, #4300, .T.);
#4320 = CARTESIAN_POINT ('', (65.6, 10.2024599124513, -4.11215414774605));
#4330 = VERTEX_POINT ('', #4320);
#4340 = CARTESIAN_POINT ('', (66.0448625200389, 9.52802072999392, -3.72276650420228));
#4350 = CARTESIAN_POINT ('', (66.0340015768688, 9.54449995151488, -3.73228078718344));
#4360 = CARTESIAN_POINT ('', (66.0231401105705, 9.56097891436757, -3.74179492082241));
#4370 = CARTESIAN_POINT ('', (66.0122781307414, 9.57745762323618, -3.7513089078236));
#4380 = CARTESIAN_POINT ('', (65.9023520578018, 9.74422646110491, -3.84759294125954));
#4390 = CARTESIAN_POINT ('', (65.7923733438398, 9.91096928102835, -3.94386195322779));
#4400 = CARTESIAN_POINT ('', (65.6823499436092, 10.0776899755126, -4.04011819106774));
#4410 = CARTESIAN_POINT ('', (65.6549027159433, 10.1192813174319, -4.06413096352083));
#4420 = CARTESIAN_POINT ('', (65.6274526987704, 10.160871278785, -4.08814293890363));
#4430 = CARTESIAN_POINT ('', (65.6, 10.2024599124513, -4.11215414774606));
#4440 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#4340, #4350, #4360, #4370, #4380, #4390, #4400, #4410, #4420, #4430), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (1.93008275051087, 1.99581263415579, 2.66101622480783, 2.82696269036427), .UNSPECIFIED.);
#4450 = EDGE_CURVE ('', #4120, #4330, #4440, .T.);
#4460 = ORIENTED_EDGE ('', *, *, #4450, .T.);
#4470 = CARTESIAN_POINT ('', (65.6, 11., 0.));
#4480 = VERTEX_POINT ('', #4470);
#4490 = CARTESIAN_POINT ('', (65.6, 10.2024599124513, -4.11215414774606));
#4500 = CARTESIAN_POINT ('', (65.6, 11., -2.13341733987399));
#4510 = CARTESIAN_POINT ('', (65.6, 11., 0.));
#4520 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4490, #4500, #4510), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (64.728195781492, 69.1150383789755), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.889035581716377, 0.925638386149214, 1.))
   REPRESENTATION_ITEM ('')
);
#4530 = EDGE_CURVE ('', #4330, #4480, #4520, .T.);
#4540 = ORIENTED_EDGE ('', *, *, #4530, .T.);
#4550 = CARTESIAN_POINT ('', (67., 8.57512886940357, 0.));
#4560 = VERTEX_POINT ('', #4550);
#4570 = CARTESIAN_POINT ('', (65.6, 11., 0.));
#4580 = CARTESIAN_POINT ('', (67., 8.57512886940357, 0.));
#4590 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#4570, #4580), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((2, 2), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1.))
   REPRESENTATION_ITEM ('')
);
#4600 = EDGE_CURVE ('', #4480, #4560, #4590, .T.);
#4610 = ORIENTED_EDGE ('', *, *, #4600, .T.);
#4620 = CARTESIAN_POINT ('', (67., 8.57512886940357, 0.));
#4630 = CARTESIAN_POINT ('', (67., 8.57512886940357, 8.57512886940357));
#4640 = CARTESIAN_POINT ('', (67., 5.25075206109557E-16, 8.57512886940357));
#4650 = CARTESIAN_POINT ('', (67., -8.57512886940357, 8.57512886940357));
#4660 = CARTESIAN_POINT ('', (67., -8.57512886940357, 1.05015041221911E-15));
#4670 = CARTESIAN_POINT ('', (67., -8.57512886940357, -8.57512886940357));
#4680 = CARTESIAN_POINT ('', (67., -1.57522561832867E-15, -8.57512886940357));
#4690 = CARTESIAN_POINT ('', (67., 8.57512886940357, -8.57512886940357));
#4700 = CARTESIAN_POINT ('', (67., 8.57512886940357, 0.));
#4710 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4620, #4630, #4640, #4650, #4660, #4670, #4680, #4690, #4700), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#4720 = EDGE_CURVE ('', #4560, #4560, #4710, .T.);
#4730 = ORIENTED_EDGE ('', *, *, #4720, .F.);
#4740 = ORIENTED_EDGE ('', *, *, #4600, .F.);
#4750 = CARTESIAN_POINT ('', (65.6, 10.2024599124513, 4.11215414774604));
#4760 = VERTEX_POINT ('', #4750);
#4770 = CARTESIAN_POINT ('', (65.6, 11., 0.));
#4780 = CARTESIAN_POINT ('', (65.6, 11., 2.13341733987398));
#4790 = CARTESIAN_POINT ('', (65.6, 10.2024599124513, 4.11215414774604));
#4800 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#4770, #4780, #4790), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 4.38684259748348), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.925638386149214, 0.889035581716377))
   REPRESENTATION_ITEM ('')
);
#4810 = EDGE_CURVE ('', #4480, #4760, #4800, .T.);
#4820 = ORIENTED_EDGE ('', *, *, #4810, .T.);
#4830 = CARTESIAN_POINT ('', (66.0448625156373, 9.52802072781817, 3.7227665029461));
#4840 = VERTEX_POINT ('', #4830);
#4850 = CARTESIAN_POINT ('', (66.0448625200389, 9.52802072999392, 3.72276650420225));
#4860 = CARTESIAN_POINT ('', (66.0340015768688, 9.54449995151488, 3.73228078718342));
#4870 = CARTESIAN_POINT ('', (66.0231401105705, 9.56097891436757, 3.74179492082238));
#4880 = CARTESIAN_POINT ('', (66.0122781307414, 9.57745762323619, 3.75130890782357));
#4890 = CARTESIAN_POINT ('', (65.9023520578018, 9.74422646110491, 3.84759294125953));
#4900 = CARTESIAN_POINT ('', (65.7923733438398, 9.91096928102836, 3.94386195322777));
#4910 = CARTESIAN_POINT ('', (65.6823499436092, 10.0776899755126, 4.04011819106773));
#4920 = CARTESIAN_POINT ('', (65.6549027159433, 10.1192813174319, 4.06413096352081));
#4930 = CARTESIAN_POINT ('', (65.6274526987704, 10.160871278785, 4.08814293890362));
#4940 = CARTESIAN_POINT ('', (65.6, 10.2024599124513, 4.11215414774604));
#4950 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#4850, #4860, #4870, #4880, #4890, #4900, #4910, #4920, #4930, #4940), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (1.93008275051086, 1.99581263415579, 2.66101622480783, 2.82696269036428), .UNSPECIFIED.);
#4960 = EDGE_CURVE ('', #4840, #4760, #4950, .T.);
#4970 = ORIENTED_EDGE ('', *, *, #4960, .F.);
#4980 = CARTESIAN_POINT ('', (66.0448625156373, 7.98802072781817, 6.39012474660217));
#4990 = VERTEX_POINT ('', #4980);
#5000 = CARTESIAN_POINT ('', (66.0448625156373, 9.52802072781817, 3.7227665029461));
#5010 = CARTESIAN_POINT ('', (66.0641522596288, 9.41741131853448, 3.91405263723799));
#5020 = CARTESIAN_POINT ('', (66.0794103877193, 9.30663662770545, 4.10569527108303));
#5030 = CARTESIAN_POINT ('', (66.0904966258289, 9.19580345344694, 4.29750252753085));
#5040 = CARTESIAN_POINT ('', (66.1015889288423, 9.08490964612866, 4.48941471520456));
#5050 = CARTESIAN_POINT ('', (66.108507992349, 8.97391857458759, 4.68155867778763));
#5060 = CARTESIAN_POINT ('', (66.111187905841, 8.8629475873475, 4.87372793006289));
#5070 = CARTESIAN_POINT ('', (66.1138692934805, 8.75191555799037, 5.0660028894088));
#5080 = CARTESIAN_POINT ('', (66.1123076544751, 8.64086380731501, 5.25837212802217));
#5090 = CARTESIAN_POINT ('', (66.1065180064617, 8.52991381528602, 5.4506259722463));
#5100 = CARTESIAN_POINT ('', (66.1007253436939, 8.41890604997294, 5.64297992585985));
#5110 = CARTESIAN_POINT ('', (66.0906985459948, 8.30796053602525, 5.83528702313773));
#5120 = CARTESIAN_POINT ('', (66.0765324071968, 8.19719588254107, 6.02734647857431));
#5130 = CARTESIAN_POINT ('', (66.0676062318997, 8.12740236097391, 6.14836437845069));
#5140 = CARTESIAN_POINT ('', (66.0570367825176, 8.05766801827654, 6.2693059297465));
#5150 = CARTESIAN_POINT ('', (66.0448625156373, 7.98802072781817, 6.39012474660217));
#5160 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#5000, #5010, #5020, #5030, #5040, #5050, #5060, #5070, #5080, #5090, #5100, #5110, #5120, #5130, #5140, #5150), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 4), (0., 0.66541136701976, 1.33118675796521, 1.99732837381634, 2.66381685935273, 3.08377554677095), .UNSPECIFIED.);
#5170 = EDGE_CURVE ('', #4840, #4990, #5160, .T.);
#5180 = ORIENTED_EDGE ('', *, *, #5170, .T.);
#5190 = CARTESIAN_POINT ('', (65.6, 8.66245991245126, 6.77951239140211));
#5200 = VERTEX_POINT ('', #5190);
#5210 = CARTESIAN_POINT ('', (66.0448625200352, 7.98802072999206, 6.39012474785724));
#5220 = CARTESIAN_POINT ('', (66.0340066777944, 8.00449221191577, 6.39963456237985));
#5230 = CARTESIAN_POINT ('', (66.023150312917, 8.0209634354143, 6.40914422770061));
#5240 = CARTESIAN_POINT ('', (66.0122934349872, 8.03743440516529, 6.41865374652016));
#5250 = CARTESIAN_POINT ('', (65.9023683983462, 8.20420168072017, 6.51493687795379));
#5260 = CARTESIAN_POINT ('', (65.7923907212586, 8.37094293861594, 6.61120498808494));
#5270 = CARTESIAN_POINT ('', (65.6823683583427, 8.5376620712918, 6.7074603242144));
#5280 = CARTESIAN_POINT ('', (65.6549149936804, 8.57926271523575, 6.73147846719391));
#5290 = CARTESIAN_POINT ('', (65.6274588382386, 8.62086197798386, 6.75549581273963));
#5300 = CARTESIAN_POINT ('', (65.6, 8.66245991245126, 6.77951239140212));
#5310 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#5210, #5220, #5230, #5240, #5250, #5260, #5270, #5280, #5290, #5300), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (1.9300827505124, 1.99578176359409, 2.66097911286475, 2.82696269036613), .UNSPECIFIED.);
#5320 = EDGE_CURVE ('', #4990, #5200, #5310, .T.);
#5330 = ORIENTED_EDGE ('', *, *, #5320, .T.);
#5340 = CARTESIAN_POINT ('', (65.6, 1.54, 10.8916665391482));
#5350 = VERTEX_POINT ('', #5340);
#5360 = CARTESIAN_POINT ('', (65.6, 8.66245991245126, 6.77951239140211));
#5370 = CARTESIAN_POINT ('', (65.6, 5.92994243732973, 10.2709615874139));
#5380 = CARTESIAN_POINT ('', (65.6, 1.54, 10.8916665391482));
#5390 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5360, #5370, #5380), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (7.372433257184, 15.6084550647173), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.856702811947658, 0.83622941221607, 0.948847158255079))
   REPRESENTATION_ITEM ('')
);
#5400 = EDGE_CURVE ('', #5200, #5350, #5390, .T.);
#5410 = ORIENTED_EDGE ('', *, *, #5400, .T.);
#5420 = CARTESIAN_POINT ('', (66.0448625156373, 1.54, 10.1128912495483));
#5430 = VERTEX_POINT ('', #5420);
#5440 = CARTESIAN_POINT ('', (66.0448625200313, 1.53999999999998, 10.1128912520563));
#5450 = CARTESIAN_POINT ('', (66.0340118890574, 1.53999999999998, 10.131901750871));
#5460 = CARTESIAN_POINT ('', (66.0231607359491, 1.53999999999998, 10.1509119515687));
#5470 = CARTESIAN_POINT ('', (66.0123090702765, 1.53999999999998, 10.1699218595428));
#5480 = CARTESIAN_POINT ('', (65.9023850990541, 1.53999999999998, 10.3624862676392));
#5490 = CARTESIAN_POINT ('', (65.7924084879798, 1.53999999999999, 10.5550206334719));
#5500 = CARTESIAN_POINT ('', (65.6823871915319, 1.53999999999999, 10.7475294515628));
#5510 = CARTESIAN_POINT ('', (65.6549275504165, 1.53999999999999, 10.7955767226547));
#5520 = CARTESIAN_POINT ('', (65.6274651172201, 1.54, 10.8436223981354));
#5530 = CARTESIAN_POINT ('', (65.6, 1.54, 10.8916665391482));
#5540 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#5440, #5450, #5460, #5470, #5480, #5490, #5500, #5510, #5520, #5530), .UNSPECIFIED., .F., .U., (4, 3, 3, 4), (1.93008275051402, 1.99575022527501, 2.66094115758953, 2.82696269036804), .UNSPECIFIED.);
#5550 = EDGE_CURVE ('', #5430, #5350, #5540, .T.);
#5560 = ORIENTED_EDGE ('', *, *, #5550, .F.);
#5570 = CARTESIAN_POINT ('', (66.0448625156373, 1.54, 10.1128912495483));
#5580 = CARTESIAN_POINT ('', (66.0576497456128, 1.3935227188704, 10.1127934771889));
#5590 = CARTESIAN_POINT ('', (66.0686664194143, 1.24687958806644, 10.1127111718448));
#5600 = CARTESIAN_POINT ('', (66.0778682871109, 1.10013342043733, 10.1126432449423));
#5610 = CARTESIAN_POINT ('', (66.0870708344718, 0.953376413907418, 10.1125753130226));
#5620 = CARTESIAN_POINT ('', (66.0944596038797, 0.806494070901079, 10.1125217489722));
#5630 = CARTESIAN_POINT ('', (66.1000040518949, 0.659553375520821, 10.1124818031672));
#5640 = CARTESIAN_POINT ('', (66.1055491660253, 0.512595026546774, 10.1124418525631));
#5650 = CARTESIAN_POINT ('', (66.1092503177999, 0.365555336390822, 10.1124155156997));
#5660 = CARTESIAN_POINT ('', (66.1110919359813, 0.218503935545106, 10.1124024109578));
#5670 = CARTESIAN_POINT ('', (66.1119127615279, 0.152961822794515, 10.1123965700582));
#5680 = CARTESIAN_POINT ('', (66.1123644490644, 0.0874140452551332, 10.1123933623568));
#5690 = CARTESIAN_POINT ('', (66.1124466184171, 0.021866844091682, 10.1123927785403));
#5700 = CARTESIAN_POINT ('', (66.1124628792534, 0.00889543476647949, 10.1123926630064));
#5710 = CARTESIAN_POINT ('', (66.1124646712111, -0.00407600076776115, 10.1123926502752));
#5720 = CARTESIAN_POINT ('', (66.1124519942312, -0.0170474140907635, 10.112392740345));
#5730 = CARTESIAN_POINT ('', (66.1123069207185, -0.165490379124847, 10.1123937710918));
#5740 = CARTESIAN_POINT ('', (66.1102654561618, -0.313943499808425, 10.1124082330331));
#5750 = CARTESIAN_POINT ('', (66.10633638647, -0.462334525604366, 10.1124363414222));
#5760 = CARTESIAN_POINT ('', (66.1024066335088, -0.610751356753052, 10.1124644546994));
#5770 = CARTESIAN_POINT ('', (66.0965880351666, -0.759129913486671, 10.1125062248184));
#5780 = CARTESIAN_POINT ('', (66.0889053350181, -0.907399844678241, 10.1125622586053));
#5790 = CARTESIAN_POINT ('', (66.0812216282926, -1.05568920199643, 10.1126182997335));
#5800 = CARTESIAN_POINT ('', (66.0716722141553, -1.20389319618884, 10.11268861919));
#5810 = CARTESIAN_POINT ('', (66.0602967504256, -1.35194510426777, 10.1127741914816));
#5820 = CARTESIAN_POINT ('', (66.0554784027273, -1.41465600445444, 10.112810437657));
#5830 = CARTESIAN_POINT ('', (66.0503324078899, -1.47734257170849, 10.1128494262392));
#5840 = CARTESIAN_POINT ('', (66.0448625156373, -1.54, 10.1128912495483));
#5850 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#5570, #5580, #5590, #5600, #5610, #5620, #5630, #5640, #5650, #5660, #5670, #5680, #5690, #5700, #5710, #5720, #5730, #5740, #5750, #5760, #5770, #5780, #5790, #5800, #5810, #5820, #5830, #5840), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.441103219522392, 0.882239019616477, 1.32342781818182, 1.52006957619, 1.55898383474378, 2.00431294252753, 2.44971949350336, 2.89518440104541, 3.08387163727233), .UNSPECIFIED.);
#5860 = EDGE_CURVE ('', #5430, #1810, #5850, .T.);
#5870 = ORIENTED_EDGE ('', *, *, #5860, .T.);
#5880 = EDGE_LOOP ('', (#1960, #2040, #2190, #2400, #2550, #2650, #2800, #3010, #3160, #3240, #3390, #3720, #3870, #3950, #4100, #4310, #4460, #4540, #4610, #4730, #4740, #4820, #4970, #5180, #5330, #5410, #5560, #5870));
#5890 = FACE_OUTER_BOUND ('', #5880, .T.);
#5900 = CARTESIAN_POINT ('', (65.6, 11., 0.));
#5910 = CARTESIAN_POINT ('', (67., 8.57512886940357, 0.));
#5920 = CARTESIAN_POINT ('', (65.6, 11., 11.));
#5930 = CARTESIAN_POINT ('', (67., 8.57512886940357, 8.57512886940357));
#5940 = CARTESIAN_POINT ('', (65.6, 6.73555739531044E-16, 11.));
#5950 = CARTESIAN_POINT ('', (67., 5.25075206109557E-16, 8.57512886940357));
#5960 = CARTESIAN_POINT ('', (65.6, -11., 11.));
#5970 = CARTESIAN_POINT ('', (67., -8.57512886940357, 8.57512886940357));
#5980 = CARTESIAN_POINT ('', (65.6, -11., 1.34711147906209E-15));
#5990 = CARTESIAN_POINT ('', (67., -8.57512886940357, 1.05015041221911E-15));
#6000 = CARTESIAN_POINT ('', (65.6, -11., -11.));
#6010 = CARTESIAN_POINT ('', (67., -8.57512886940357, -8.57512886940357));
#6020 = CARTESIAN_POINT ('', (65.6, -2.02066721859313E-15, -11.));
#6030 = CARTESIAN_POINT ('', (67., -1.57522561832867E-15, -8.57512886940357));
#6040 = CARTESIAN_POINT ('', (65.6, 11., -11.));
#6050 = CARTESIAN_POINT ('', (67., 8.57512886940357, -8.57512886940357));
#6060 = CARTESIAN_POINT ('', (65.6, 11., 0.));
#6070 = CARTESIAN_POINT ('', (67., 8.57512886940357, 0.));
#6080 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#5900, #5910), (#5920, #5930), (#5940, #5950), (#5960, #5970), (#5980, #5990), (#6000, #6010), (#6020, #6030), (#6040, #6050), (#6060, #6070)), .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 ('')
);
#6090 = ADVANCED_FACE ('', (#5890), #6080, .T.);
#6100 = ORIENTED_EDGE ('', *, *, #4720, .T.);
#6110 = EDGE_LOOP ('', (#6100));
#6120 = FACE_OUTER_BOUND ('', #6110, .T.);
#6130 = CARTESIAN_POINT ('', (67., 5., 0.));
#6140 = VERTEX_POINT ('', #6130);
#6150 = CARTESIAN_POINT ('', (67., 5., 0.));
#6160 = CARTESIAN_POINT ('', (67., 5., 5.));
#6170 = CARTESIAN_POINT ('', (67., -2.21194236910111E-16, 5.));
#6180 = CARTESIAN_POINT ('', (67., -5., 5.));
#6190 = CARTESIAN_POINT ('', (67., -5., 3.90278794648645E-16));
#6200 = CARTESIAN_POINT ('', (67., -5., -5.));
#6210 = CARTESIAN_POINT ('', (67., -1.22379643113243E-15, -5.));
#6220 = CARTESIAN_POINT ('', (67., 5., -5.));
#6230 = CARTESIAN_POINT ('', (67., 5., 0.));
#6240 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6150, #6160, #6170, #6180, #6190, #6200, #6210, #6220, #6230), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#6250 = EDGE_CURVE ('', #6140, #6140, #6240, .T.);
#6260 = ORIENTED_EDGE ('', *, *, #6250, .F.);
#6270 = EDGE_LOOP ('', (#6260));
#6280 = FACE_BOUND ('', #6270, .T.);
#6290 = CARTESIAN_POINT ('', (67., -8.57512886940357, -8.57512886940358));
#6300 = CARTESIAN_POINT ('', (67., -8.57512886940357, 8.57512886940357));
#6310 = CARTESIAN_POINT ('', (67., 8.57512886940357, -8.57512886940358));
#6320 = CARTESIAN_POINT ('', (67., 8.57512886940357, 8.57512886940357));
#6330 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6290, #6300), (#6310, #6320)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0454545454545453, 0.954545454545454), (0.0454545454545452, 0.954545454545454), .UNSPECIFIED.);
#6340 = ADVANCED_FACE ('', (#6120, #6280), #6330, .T.);
#6350 = CARTESIAN_POINT ('', (0., 17.3493515728975, 18.));
#6360 = VERTEX_POINT ('', #6350);
#6370 = CARTESIAN_POINT ('', (0., 17.3493515728975, 18.));
#6380 = CARTESIAN_POINT ('', (13., 17.3493515728975, 18.));
#6390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6370, #6380), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6400 = EDGE_CURVE ('', #6360, #20, #6390, .T.);
#6410 = ORIENTED_EDGE ('', *, *, #6400, .T.);
#6420 = ORIENTED_EDGE ('', *, *, #390, .F.);
#6430 = CARTESIAN_POINT ('', (0., 25., 0.));
#6440 = VERTEX_POINT ('', #6430);
#6450 = CARTESIAN_POINT ('', (0., 25., 0.));
#6460 = CARTESIAN_POINT ('', (13., 25., 0.));
#6470 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#6450, #6460), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((2, 2), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1.))
   REPRESENTATION_ITEM ('')
);
#6480 = EDGE_CURVE ('', #6440, #270, #6470, .T.);
#6490 = ORIENTED_EDGE ('', *, *, #6480, .F.);
#6500 = CARTESIAN_POINT ('', (0., 25., 0.));
#6510 = CARTESIAN_POINT ('', (-1.88753911935144E-16, 25., 10.625900593198));
#6520 = CARTESIAN_POINT ('', (-1.83841414498742E-16, 17.3493515728975, 18.));
#6530 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6500, #6510, #6520), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 0.127777051004329), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.850299872963406, 0.853625672068487))
   REPRESENTATION_ITEM ('')
);
#6540 = EDGE_CURVE ('', #6440, #6360, #6530, .T.);
#6550 = ORIENTED_EDGE ('', *, *, #6540, .T.);
#6560 = EDGE_LOOP ('', (#6410, #6420, #6490, #6550));
#6570 = FACE_OUTER_BOUND ('', #6560, .T.);
#6580 = CARTESIAN_POINT ('', (0., 25., 0.));
#6590 = CARTESIAN_POINT ('', (13., 25., 0.));
#6600 = CARTESIAN_POINT ('', (-4.44089209850063E-16, 25., 25.));
#6610 = CARTESIAN_POINT ('', (13., 25., 25.));
#6620 = CARTESIAN_POINT ('', (0., 1.53080849893419E-15, 25.));
#6630 = CARTESIAN_POINT ('', (13., 1.53080849893419E-15, 25.));
#6640 = CARTESIAN_POINT ('', (-4.44089209850063E-16, -25., 25.));
#6650 = CARTESIAN_POINT ('', (13., -25., 25.));
#6660 = CARTESIAN_POINT ('', (0., -25., 2.66453525910038E-15));
#6670 = CARTESIAN_POINT ('', (13., -25., 2.66453525910038E-15));
#6680 = CARTESIAN_POINT ('', (-4.44089209850063E-16, -25., -25.));
#6690 = CARTESIAN_POINT ('', (13., -25., -25.));
#6700 = CARTESIAN_POINT ('', (0., -4.59242549680257E-15, -25.));
#6710 = CARTESIAN_POINT ('', (13., -4.59242549680257E-15, -25.));
#6720 = CARTESIAN_POINT ('', (-4.44089209850063E-16, 25., -25.));
#6730 = CARTESIAN_POINT ('', (13., 25., -25.));
#6740 = CARTESIAN_POINT ('', (0., 25., 0.));
#6750 = CARTESIAN_POINT ('', (13., 25., 0.));
#6760 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6580, #6590), (#6600, #6610), (#6620, #6630), (#6640, #6650), (#6660, #6670), (#6680, #6690), (#6700, #6710), (#6720, #6730), (#6740, #6750)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 39.2699081698724, 78.5398163397448, 117.809724509617, 157.07963267949), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#6770 = ADVANCED_FACE ('', (#6570), #6760, .T.);
#6780 = CARTESIAN_POINT ('', (0., -17.3493515728975, 18.));
#6790 = VERTEX_POINT ('', #6780);
#6800 = CARTESIAN_POINT ('', (-1.83841414498742E-16, -17.3493515728975, 18.));
#6810 = CARTESIAN_POINT ('', (-1.88753911935143E-16, -25., 10.6259005931979));
#6820 = CARTESIAN_POINT ('', (0., -25., 2.66453525910038E-15));
#6830 = CARTESIAN_POINT ('', (-4.44089209850063E-16, -25., -25.));
#6840 = CARTESIAN_POINT ('', (0., -4.59242549680257E-15, -25.));
#6850 = CARTESIAN_POINT ('', (-4.44089209850063E-16, 25., -25.));
#6860 = CARTESIAN_POINT ('', (0., 25., 0.));
#6870 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6800, #6810, #6820, #6830, #6840, #6850, #6860), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 3), (0.372222948995672, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.853625672068487, 0.850299872963406, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#6880 = EDGE_CURVE ('', #6790, #6440, #6870, .T.);
#6890 = ORIENTED_EDGE ('', *, *, #6880, .T.);
#6900 = ORIENTED_EDGE ('', *, *, #6480, .T.);
#6910 = ORIENTED_EDGE ('', *, *, #500, .F.);
#6920 = CARTESIAN_POINT ('', (0., -17.3493515728975, 18.));
#6930 = CARTESIAN_POINT ('', (13., -17.3493515728975, 18.));
#6940 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6920, #6930), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#6950 = EDGE_CURVE ('', #6790, #40, #6940, .T.);
#6960 = ORIENTED_EDGE ('', *, *, #6950, .F.);
#6970 = EDGE_LOOP ('', (#6890, #6900, #6910, #6960));
#6980 = FACE_OUTER_BOUND ('', #6970, .T.);
#6990 = CARTESIAN_POINT ('', (0., 25., 0.));
#7000 = CARTESIAN_POINT ('', (13., 25., 0.));
#7010 = CARTESIAN_POINT ('', (-4.44089209850063E-16, 25., 25.));
#7020 = CARTESIAN_POINT ('', (13., 25., 25.));
#7030 = CARTESIAN_POINT ('', (0., 1.53080849893419E-15, 25.));
#7040 = CARTESIAN_POINT ('', (13., 1.53080849893419E-15, 25.));
#7050 = CARTESIAN_POINT ('', (-4.44089209850063E-16, -25., 25.));
#7060 = CARTESIAN_POINT ('', (13., -25., 25.));
#7070 = CARTESIAN_POINT ('', (0., -25., 2.66453525910038E-15));
#7080 = CARTESIAN_POINT ('', (13., -25., 2.66453525910038E-15));
#7090 = CARTESIAN_POINT ('', (-4.44089209850063E-16, -25., -25.));
#7100 = CARTESIAN_POINT ('', (13., -25., -25.));
#7110 = CARTESIAN_POINT ('', (0., -4.59242549680257E-15, -25.));
#7120 = CARTESIAN_POINT ('', (13., -4.59242549680257E-15, -25.));
#7130 = CARTESIAN_POINT ('', (-4.44089209850063E-16, 25., -25.));
#7140 = CARTESIAN_POINT ('', (13., 25., -25.));
#7150 = CARTESIAN_POINT ('', (0., 25., 0.));
#7160 = CARTESIAN_POINT ('', (13., 25., 0.));
#7170 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6990, #7000), (#7010, #7020), (#7030, #7040), (#7050, #7060), (#7070, #7080), (#7090, #7100), (#7110, #7120), (#7130, #7140), (#7150, #7160)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 39.2699081698724, 78.5398163397448, 117.809724509617, 157.07963267949), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#7180 = ADVANCED_FACE ('', (#6980), #7170, .T.);
#7190 = ORIENTED_EDGE ('', *, *, #6540, .F.);
#7200 = ORIENTED_EDGE ('', *, *, #6880, .F.);
#7210 = CARTESIAN_POINT ('', (0., 17.3493515728975, 18.));
#7220 = CARTESIAN_POINT ('', (0., -17.3493515728975, 18.));
#7230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7210, #7220), .UNSPECIFIED., .F., .U., (2, 2), (0.153012968542051, 0.84698703145795), .UNSPECIFIED.);
#7240 = EDGE_CURVE ('', #6360, #6790, #7230, .T.);
#7250 = ORIENTED_EDGE ('', *, *, #7240, .F.);
#7260 = EDGE_LOOP ('', (#7190, #7200, #7250));
#7270 = FACE_OUTER_BOUND ('', #7260, .T.);
#7280 = CARTESIAN_POINT ('', (0., 8., 0.));
#7290 = VERTEX_POINT ('', #7280);
#7300 = CARTESIAN_POINT ('', (0., 8., 0.));
#7310 = CARTESIAN_POINT ('', (-4.44089209850063E-16, 8., 8.));
#7320 = CARTESIAN_POINT ('', (0., 4.89858719658941E-16, 8.));
#7330 = CARTESIAN_POINT ('', (-4.44089209850063E-16, -8., 8.));
#7340 = CARTESIAN_POINT ('', (0., -8., 8.88178419700125E-16));
#7350 = CARTESIAN_POINT ('', (-4.44089209850063E-16, -8., -8.));
#7360 = CARTESIAN_POINT ('', (0., -1.46957615897682E-15, -8.));
#7370 = CARTESIAN_POINT ('', (-4.44089209850063E-16, 8., -8.));
#7380 = CARTESIAN_POINT ('', (0., 8., 0.));
#7390 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7300, #7310, #7320, #7330, #7340, #7350, #7360, #7370, #7380), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 12.5663706143592, 25.1327412287183, 37.6991118430775, 50.2654824574367), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#7400 = EDGE_CURVE ('', #7290, #7290, #7390, .T.);
#7410 = ORIENTED_EDGE ('', *, *, #7400, .T.);
#7420 = EDGE_LOOP ('', (#7410));
#7430 = FACE_BOUND ('', #7420, .T.);
#7440 = CARTESIAN_POINT ('', (0., -25., -25.));
#7450 = CARTESIAN_POINT ('', (0., 25., -25.));
#7460 = CARTESIAN_POINT ('', (0., -25., 18.));
#7470 = CARTESIAN_POINT ('', (0., 25., 18.));
#7480 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7440, #7450), (#7460, #7470)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0454545454545453, 0.827272727272727), (0.0454545454545454, 0.954545454545454), .UNSPECIFIED.);
#7490 = ADVANCED_FACE ('', (#7270, #7430), #7480, .T.);
#7500 = ORIENTED_EDGE ('', *, *, #7240, .T.);
#7510 = ORIENTED_EDGE ('', *, *, #6950, .T.);
#7520 = ORIENTED_EDGE ('', *, *, #80, .F.);
#7530 = ORIENTED_EDGE ('', *, *, #6400, .F.);
#7540 = EDGE_LOOP ('', (#7500, #7510, #7520, #7530));
#7550 = FACE_OUTER_BOUND ('', #7540, .T.);
#7560 = CARTESIAN_POINT ('', (-2.66453525910038E-15, -17.3493515728975, 18.));
#7570 = CARTESIAN_POINT ('', (-2.66453525910038E-15, 17.3493515728975, 18.));
#7580 = CARTESIAN_POINT ('', (13., -17.3493515728975, 18.));
#7590 = CARTESIAN_POINT ('', (13., 17.3493515728975, 18.));
#7600 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7560, #7570), (#7580, #7590)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.00495049504950486, 0.995049504950495), (0.15301296854205, 0.84698703145795), .UNSPECIFIED.);
#7610 = ADVANCED_FACE ('', (#7550), #7600, .T.);
#7620 = CARTESIAN_POINT ('', (-32., -3.87298334620742, 7.));
#7630 = VERTEX_POINT ('', #7620);
#7640 = CARTESIAN_POINT ('', (-3.5, -3.87298334620742, 7.));
#7650 = VERTEX_POINT ('', #7640);
#7660 = CARTESIAN_POINT ('', (-32., -3.87298334620742, 7.));
#7670 = CARTESIAN_POINT ('', (-3.5, -3.87298334620742, 7.));
#7680 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7660, #7670), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7690 = EDGE_CURVE ('', #7630, #7650, #7680, .T.);
#7700 = ORIENTED_EDGE ('', *, *, #7690, .F.);
#7710 = CARTESIAN_POINT ('', (-32., 8., 0.));
#7720 = VERTEX_POINT ('', #7710);
#7730 = CARTESIAN_POINT ('', (-32., -3.87298334620742, 7.));
#7740 = CARTESIAN_POINT ('', (-32., -8., 4.71659046147724));
#7750 = CARTESIAN_POINT ('', (-32., -8., 8.88178419700125E-16));
#7760 = CARTESIAN_POINT ('', (-32., -8., -8.));
#7770 = CARTESIAN_POINT ('', (-32., -1.46957615897682E-15, -8.));
#7780 = CARTESIAN_POINT ('', (-32., 8., -8.));
#7790 = CARTESIAN_POINT ('', (-32., 8., 0.));
#7800 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7730, #7740, #7750, #7760, #7770, #7780, #7790), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 3), (0.332467261973823, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.870508710074775, 0.803723188411529, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#7810 = EDGE_CURVE ('', #7630, #7720, #7800, .T.);
#7820 = ORIENTED_EDGE ('', *, *, #7810, .T.);
#7830 = CARTESIAN_POINT ('', (-32., 8., 0.));
#7840 = CARTESIAN_POINT ('', (0., 8., 0.));
#7850 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#7830, #7840), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((2, 2), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1.))
   REPRESENTATION_ITEM ('')
);
#7860 = EDGE_CURVE ('', #7720, #7290, #7850, .T.);
#7870 = ORIENTED_EDGE ('', *, *, #7860, .T.);
#7880 = ORIENTED_EDGE ('', *, *, #7400, .F.);
#7890 = ORIENTED_EDGE ('', *, *, #7860, .F.);
#7900 = CARTESIAN_POINT ('', (-32., 3.87298334620742, 7.));
#7910 = VERTEX_POINT ('', #7900);
#7920 = CARTESIAN_POINT ('', (-32., 8., 0.));
#7930 = CARTESIAN_POINT ('', (-32., 8., 4.71659046147724));
#7940 = CARTESIAN_POINT ('', (-32., 3.87298334620742, 7.));
#7950 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7920, #7930, #7940), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 0.167532738026177), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.803723188411529, 0.870508710074775))
   REPRESENTATION_ITEM ('')
);
#7960 = EDGE_CURVE ('', #7720, #7910, #7950, .T.);
#7970 = ORIENTED_EDGE ('', *, *, #7960, .T.);
#7980 = CARTESIAN_POINT ('', (-3.5, 3.87298334620742, 7.));
#7990 = VERTEX_POINT ('', #7980);
#8000 = CARTESIAN_POINT ('', (-32., 3.87298334620742, 7.));
#8010 = CARTESIAN_POINT ('', (-3.5, 3.87298334620742, 7.));
#8020 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8000, #8010), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8030 = EDGE_CURVE ('', #7910, #7990, #8020, .T.);
#8040 = ORIENTED_EDGE ('', *, *, #8030, .T.);
#8050 = CARTESIAN_POINT ('', (-3.5, 3.87298334620742, 7.));
#8060 = CARTESIAN_POINT ('', (-3.5, -1.77635683940025E-15, 9.14285714285714));
#8070 = CARTESIAN_POINT ('', (-3.5, -3.87298334620742, 7.));
#8080 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#8050, #8060, #8070), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.875, 1.))
   REPRESENTATION_ITEM ('')
);
#8090 = EDGE_CURVE ('', #7990, #7650, #8080, .T.);
#8100 = ORIENTED_EDGE ('', *, *, #8090, .T.);
#8110 = EDGE_LOOP ('', (#7700, #7820, #7870, #7880, #7890, #7970, #8040, #8100));
#8120 = FACE_OUTER_BOUND ('', #8110, .T.);
#8130 = CARTESIAN_POINT ('', (-32., 8., 0.));
#8140 = CARTESIAN_POINT ('', (0., 8., 0.));
#8150 = CARTESIAN_POINT ('', (-32., 8., 8.));
#8160 = CARTESIAN_POINT ('', (-4.44089209850063E-16, 8., 8.));
#8170 = CARTESIAN_POINT ('', (-32., 4.89858719658941E-16, 8.));
#8180 = CARTESIAN_POINT ('', (0., 4.89858719658941E-16, 8.));
#8190 = CARTESIAN_POINT ('', (-32., -8., 8.));
#8200 = CARTESIAN_POINT ('', (-4.44089209850063E-16, -8., 8.));
#8210 = CARTESIAN_POINT ('', (-32., -8., 8.88178419700125E-16));
#8220 = CARTESIAN_POINT ('', (0., -8., 8.88178419700125E-16));
#8230 = CARTESIAN_POINT ('', (-32., -8., -8.));
#8240 = CARTESIAN_POINT ('', (-4.44089209850063E-16, -8., -8.));
#8250 = CARTESIAN_POINT ('', (-32., -1.46957615897682E-15, -8.));
#8260 = CARTESIAN_POINT ('', (0., -1.46957615897682E-15, -8.));
#8270 = CARTESIAN_POINT ('', (-32., 8., -8.));
#8280 = CARTESIAN_POINT ('', (-4.44089209850063E-16, 8., -8.));
#8290 = CARTESIAN_POINT ('', (-32., 8., 0.));
#8300 = CARTESIAN_POINT ('', (0., 8., 0.));
#8310 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8130, #8140), (#8150, #8160), (#8170, #8180), (#8190, #8200), (#8210, #8220), (#8230, #8240), (#8250, #8260), (#8270, #8280), (#8290, #8300)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 12.5663706143592, 25.1327412287183, 37.6991118430775, 50.2654824574367), (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 ('')
);
#8320 = ADVANCED_FACE ('', (#8120), #8310, .T.);
#8330 = CARTESIAN_POINT ('', (-32., 3.87298334620742, 7.));
#8340 = CARTESIAN_POINT ('', (-32., -3.87298334620742, 7.));
#8350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8330, #8340), .UNSPECIFIED., .F., .U., (2, 2), (0.257938540862036, 0.742061459137964), .UNSPECIFIED.);
#8360 = EDGE_CURVE ('', #7910, #7630, #8350, .T.);
#8370 = ORIENTED_EDGE ('', *, *, #8360, .F.);
#8380 = ORIENTED_EDGE ('', *, *, #7960, .F.);
#8390 = ORIENTED_EDGE ('', *, *, #7810, .F.);
#8400 = EDGE_LOOP ('', (#8370, #8380, #8390));
#8410 = FACE_OUTER_BOUND ('', #8400, .T.);
#8420 = CARTESIAN_POINT ('', (-32., -8., -8.));
#8430 = CARTESIAN_POINT ('', (-32., 8., -8.));
#8440 = CARTESIAN_POINT ('', (-32., -8., 7.));
#8450 = CARTESIAN_POINT ('', (-32., 8., 7.));
#8460 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8420, #8430), (#8440, #8450)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0454545454545454, 0.897727272727273), (0.0454545454545455, 0.954545454545454), .UNSPECIFIED.);
#8470 = ADVANCED_FACE ('', (#8410), #8460, .T.);
#8480 = ORIENTED_EDGE ('', *, *, #8090, .F.);
#8490 = CARTESIAN_POINT ('', (-3.5, -3.87298334620742, 7.));
#8500 = CARTESIAN_POINT ('', (-3.5, 3.87298334620742, 7.));
#8510 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8490, #8500), .UNSPECIFIED., .F., .U., (2, 2), (0.378969270431018, 0.621030729568982), .UNSPECIFIED.);
#8520 = EDGE_CURVE ('', #7650, #7990, #8510, .T.);
#8530 = ORIENTED_EDGE ('', *, *, #8520, .F.);
#8540 = EDGE_LOOP ('', (#8480, #8530));
#8550 = FACE_OUTER_BOUND ('', #8540, .T.);
#8560 = CARTESIAN_POINT ('', (-3.5, -3.87298334620743, 8.));
#8570 = CARTESIAN_POINT ('', (-3.5, -3.87298334620743, 7.));
#8580 = CARTESIAN_POINT ('', (-3.5, 3.87298334620741, 8.));
#8590 = CARTESIAN_POINT ('', (-3.5, 3.87298334620741, 7.));
#8600 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8560, #8570), (#8580, #8590)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.378969270431018, 0.621030729568982), (0.949494955106621, 1.), .UNSPECIFIED.);
#8610 = ADVANCED_FACE ('', (#8550), #8600, .T.);
#8620 = ORIENTED_EDGE ('', *, *, #8360, .T.);
#8630 = ORIENTED_EDGE ('', *, *, #7690, .T.);
#8640 = ORIENTED_EDGE ('', *, *, #8520, .T.);
#8650 = ORIENTED_EDGE ('', *, *, #8030, .F.);
#8660 = EDGE_LOOP ('', (#8620, #8630, #8640, #8650));
#8670 = FACE_OUTER_BOUND ('', #8660, .T.);
#8680 = CARTESIAN_POINT ('', (-3.5, -3.87298334620743, 7.));
#8690 = CARTESIAN_POINT ('', (-32., -3.87298334620743, 7.));
#8700 = CARTESIAN_POINT ('', (-3.5, 3.87298334620742, 7.));
#8710 = CARTESIAN_POINT ('', (-32., 3.87298334620742, 7.));
#8720 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8680, #8690), (#8700, #8710)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.378969270431018, 0.621030729568982), (0., 0.90909084529506), .UNSPECIFIED.);
#8730 = ADVANCED_FACE ('', (#8670), #8720, .T.);
#8740 = ORIENTED_EDGE ('', *, *, #6250, .T.);
#8750 = CARTESIAN_POINT ('', (46.9, 5., 0.));
#8760 = VERTEX_POINT ('', #8750);
#8770 = CARTESIAN_POINT ('', (67., 5., 0.));
#8780 = CARTESIAN_POINT ('', (46.9, 5., 0.));
#8790 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8770, #8780), .UNSPECIFIED., .F., .U., (2, 2), (2.48750031095479E-5, 1.), .UNSPECIFIED.);
#8800 = EDGE_CURVE ('', #6140, #8760, #8790, .T.);
#8810 = ORIENTED_EDGE ('', *, *, #8800, .T.);
#8820 = CARTESIAN_POINT ('', (46.9, 5., 0.));
#8830 = CARTESIAN_POINT ('', (46.9, 5., 5.));
#8840 = CARTESIAN_POINT ('', (46.9, 3.06161699786838E-16, 5.));
#8850 = CARTESIAN_POINT ('', (46.9, -5., 5.));
#8860 = CARTESIAN_POINT ('', (46.9, -5., 6.12323399573677E-16));
#8870 = CARTESIAN_POINT ('', (46.9, -5., -5.));
#8880 = CARTESIAN_POINT ('', (46.9, -9.18485099360515E-16, -5.));
#8890 = CARTESIAN_POINT ('', (46.9, 5., -5.));
#8900 = CARTESIAN_POINT ('', (46.9, 5., 0.));
#8910 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#8820, #8830, #8840, #8850, #8860, #8870, #8880, #8890, #8900), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 7.85398163397448, 15.707963267949, 23.5619449019235, 31.4159265358979), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#8920 = EDGE_CURVE ('', #8760, #8760, #8910, .T.);
#8930 = ORIENTED_EDGE ('', *, *, #8920, .F.);
#8940 = ORIENTED_EDGE ('', *, *, #8800, .F.);
#8950 = EDGE_LOOP ('', (#8740, #8810, #8930, #8940));
#8960 = FACE_OUTER_BOUND ('', #8950, .T.);
#8970 = CARTESIAN_POINT ('', (67., 5., 0.));
#8980 = CARTESIAN_POINT ('', (46.9, 5., 0.));
#8990 = CARTESIAN_POINT ('', (67., 5., 5.));
#9000 = CARTESIAN_POINT ('', (46.9, 5., 5.));
#9010 = CARTESIAN_POINT ('', (67., 3.06161699786838E-16, 5.));
#9020 = CARTESIAN_POINT ('', (46.9, 3.06161699786838E-16, 5.));
#9030 = CARTESIAN_POINT ('', (67., -5., 5.));
#9040 = CARTESIAN_POINT ('', (46.9, -5., 5.));
#9050 = CARTESIAN_POINT ('', (67., -5., 6.12323399573677E-16));
#9060 = CARTESIAN_POINT ('', (46.9, -5., 6.12323399573677E-16));
#9070 = CARTESIAN_POINT ('', (67., -5., -5.));
#9080 = CARTESIAN_POINT ('', (46.9, -5., -5.));
#9090 = CARTESIAN_POINT ('', (67., -9.18485099360515E-16, -5.));
#9100 = CARTESIAN_POINT ('', (46.9, -9.18485099360515E-16, -5.));
#9110 = CARTESIAN_POINT ('', (67., 5., -5.));
#9120 = CARTESIAN_POINT ('', (46.9, 5., -5.));
#9130 = CARTESIAN_POINT ('', (67., 5., 0.));
#9140 = CARTESIAN_POINT ('', (46.9, 5., 0.));
#9150 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#8970, #8980), (#8990, #9000), (#9010, #9020), (#9030, #9040), (#9050, #9060), (#9070, #9080), (#9090, #9100), (#9110, #9120), (#9130, #9140)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 7.85398163397448, 15.707963267949, 23.5619449019235, 31.4159265358979), (2.48750031095479E-5, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#9160 = ADVANCED_FACE ('', (#8960), #9150, .T.);
#9170 = ORIENTED_EDGE ('', *, *, #8920, .T.);
#9180 = EDGE_LOOP ('', (#9170));
#9190 = FACE_OUTER_BOUND ('', #9180, .T.);
#9200 = CARTESIAN_POINT ('', (46.9, -5., -5.));
#9210 = CARTESIAN_POINT ('', (46.9, -5., 5.));
#9220 = CARTESIAN_POINT ('', (46.9, 5., -5.));
#9230 = CARTESIAN_POINT ('', (46.9, 5., 5.));
#9240 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9200, #9210), (#9220, #9230)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0454545454545452, 0.954545454545455), (0.0454545454545452, 0.954545454545455), .UNSPECIFIED.);
#9250 = ADVANCED_FACE ('', (#9190), #9240, .T.);
#9260 = CARTESIAN_POINT ('', (53.040327414771, -8.66245991245126, 6.77951239140212));
#9270 = VERTEX_POINT ('', #9260);
#9280 = CARTESIAN_POINT ('', (53.040327414771, -10.2024599124513, 4.11215414774605));
#9290 = VERTEX_POINT ('', #9280);
#9300 = CARTESIAN_POINT ('', (53.040327414771, -8.66245991245126, 6.77951239140212));
#9310 = CARTESIAN_POINT ('', (52.924947404511, -8.71957794765339, 6.70653034466319));
#9320 = CARTESIAN_POINT ('', (52.813873088252, -8.77942279154756, 6.62818746202832));
#9330 = CARTESIAN_POINT ('', (52.7101050231982, -8.84218905961944, 6.54337012814852));
#9340 = CARTESIAN_POINT ('', (52.6061945527923, -8.90504146452452, 6.45843639581513));
#9350 = CARTESIAN_POINT ('', (52.5090212778102, -8.97119613943149, 6.36650241255009));
#9360 = CARTESIAN_POINT ('', (52.4238836927268, -9.04030072217463, 6.26681441026052));
#9370 = CARTESIAN_POINT ('', (52.3671561701097, -9.08634538948181, 6.20039188489774));
#9380 = CARTESIAN_POINT ('', (52.3155370193685, -9.13393309324253, 6.1301763984331));
#9390 = CARTESIAN_POINT ('', (52.271336936245, -9.18254857050688, 6.05646776184619));
#9400 = CARTESIAN_POINT ('', (52.2270792258533, -9.23122743175039, 5.98266302527325));
#9410 = CARTESIAN_POINT ('', (52.1900080514734, -9.28129718324536, 5.90479064643895));
#9420 = CARTESIAN_POINT ('', (52.1627035901078, -9.33161077695095, 5.82417722150458));
#9430 = CARTESIAN_POINT ('', (52.1445287648256, -9.36510130301101, 5.77051804493387));
#9440 = CARTESIAN_POINT ('', (52.1305840634679, -9.39886591605219, 5.71537988097204));
#9450 = CARTESIAN_POINT ('', (52.1214432154053, -9.43239806423312, 5.65949350718437));
#9460 = CARTESIAN_POINT ('', (52.1123000895842, -9.46593856810861, 5.60359320737362));
#9470 = CARTESIAN_POINT ('', (52.10792685285, -9.4994182995788, 5.54665530010009));
#9480 = CARTESIAN_POINT ('', (52.1085244916468, -9.53226908701277, 5.48961255944214));
#9490 = CARTESIAN_POINT ('', (52.1091221171018, -9.5651191410859, 5.43257109220608));
#9500 = CARTESIAN_POINT ('', (52.1146928186781, -9.5975166139109, 5.37511880624938));
#9510 = CARTESIAN_POINT ('', (52.1249824544183, -9.62895105407456, 5.31820473451694));
#9520 = CARTESIAN_POINT ('', (52.1352690354848, -9.66037616232754, 5.26130755880781));
#9530 = CARTESIAN_POINT ('', (52.1503124042928, -9.6910003957524, 5.20465883248204));
#9540 = CARTESIAN_POINT ('', (52.169506329866, -9.72046517060714, 5.14903455678991));
#9550 = CARTESIAN_POINT ('', (52.1886918052198, -9.749916973451, 5.0934347699565));
#9560 = CARTESIAN_POINT ('', (52.2120937505788, -9.77834261456635, 5.03861300637615));
#9570 = CARTESIAN_POINT ('', (52.2389547183664, -9.80555407581154, 4.98508869192335));
#9580 = CARTESIAN_POINT ('', (52.2658040130247, -9.83275371161147, 4.93158763784768));
#9590 = CARTESIAN_POINT ('', (52.2961920537113, -9.85883830569279, 4.8791934824351));
#9600 = CARTESIAN_POINT ('', (52.3293777550832, -9.88375208631177, 4.82819269461537));
#9610 = CARTESIAN_POINT ('', (52.3625518854903, -9.90865718016311, 4.77720968940362));
#9620 = CARTESIAN_POINT ('', (52.3986028787479, -9.93246007084312, 4.72748252736102));
#9630 = CARTESIAN_POINT ('', (52.436890579938, -9.95518527079141, 4.67913306331723));
#9640 = CARTESIAN_POINT ('', (52.5232180798144, -10.0064239096949, 4.57011924891932));
#9650 = CARTESIAN_POINT ('', (52.6212775574015, -10.0524711502092, 4.46753140489688));
#9660 = CARTESIAN_POINT ('', (52.7259139160635, -10.0941739644688, 4.3712300299848));
#9670 = CARTESIAN_POINT ('', (52.8251279478328, -10.1337157106814, 4.27991905746876));
#9680 = CARTESIAN_POINT ('', (52.9307755970244, -10.1695646616513, 4.19376890865688));
#9690 = CARTESIAN_POINT ('', (53.040327414771, -10.2024599124513, 4.11215414774605));
#9700 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#9300, #9310, #9320, #9330, #9340, #9350, #9360, #9370, #9380, #9390, #9400, #9410, #9420, #9430, #9440, #9450, #9460, #9470, #9480, #9490, #9500, #9510, #9520, #9530, #9540, #9550, #9560, #9570, #9580, #9590, #9600, #9610, #9620, #9630, #9640, #9650, #9660, #9670, #9680, #9690), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.443973605896095, 0.888556495753299, 1.18478390125014, 1.48139752267563, 1.67883414937035, 1.87631997422976, 2.07380139041648, 2.27122418049355, 2.46856005422417, 2.66581017053985, 2.86299151102599, 3.30757741243371, 3.72912457166711), .UNSPECIFIED.);
#9710 = EDGE_CURVE ('', #9270, #9290, #9700, .T.);
#9720 = ORIENTED_EDGE ('', *, *, #9710, .T.);
#9730 = CARTESIAN_POINT ('', (53.040327414771, -10.2024599124513, 4.11215414774605));
#9740 = CARTESIAN_POINT ('', (59.5222631289668, -9.57121149881428, 3.74770270620722));
#9750 = CARTESIAN_POINT ('', (66.0448625156373, -9.52802072781817, 3.72276650294611));
#9760 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#9730, #9740, #9750), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0784761235988282, 0.47124873308446), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.998727020769873, 0.995812678491747, 0.995613897266263))
   REPRESENTATION_ITEM ('')
);
#9770 = EDGE_CURVE ('', #9290, #2210, #9760, .T.);
#9780 = ORIENTED_EDGE ('', *, *, #9770, .T.);
#9790 = ORIENTED_EDGE ('', *, *, #2390, .F.);
#9800 = CARTESIAN_POINT ('', (53.040327414771, -8.66245991245126, 6.77951239140212));
#9810 = CARTESIAN_POINT ('', (59.5222631289668, -8.03121149881428, 6.41506094986329));
#9820 = CARTESIAN_POINT ('', (66.0448625156373, -7.98802072781818, 6.39012474660218));
#9830 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#9800, #9810, #9820), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0784761235988298, 0.47124873308446), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.998727020769874, 0.995812678491747, 0.995613897266264))
   REPRESENTATION_ITEM ('')
);
#9840 = EDGE_CURVE ('', #9270, #2060, #9830, .T.);
#9850 = ORIENTED_EDGE ('', *, *, #9840, .F.);
#9860 = EDGE_LOOP ('', (#9720, #9780, #9790, #9850));
#9870 = FACE_OUTER_BOUND ('', #9860, .T.);
#9880 = CARTESIAN_POINT ('', (52.1079268531384, -10.2963359238803, 4.16635348821508));
#9890 = CARTESIAN_POINT ('', (52.1079268531384, -8.75633592388034, 6.83371173187115));
#9900 = CARTESIAN_POINT ('', (59.0859229669249, -9.5707553889496, 3.74743937105407));
#9910 = CARTESIAN_POINT ('', (59.0859229669249, -8.0307553889496, 6.41479761471014));
#9920 = CARTESIAN_POINT ('', (66.1138601087033, -9.52758034877824, 3.72251224998886));
#9930 = CARTESIAN_POINT ('', (66.1138601087033, -7.98758034877824, 6.38987049364493));
#9940 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#9880, #9890), (#9900, #9910), (#9920, #9930)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.0501257182725942, 0.47332573257656), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.999161884406242, 0.999161884406242), (0.995810578876791, 0.995810578876791), (0.995611870874264, 0.995611870874264)))
   REPRESENTATION_ITEM ('')
);
#9950 = ADVANCED_FACE ('', (#9870), #9940, .T.);
#9960 = CARTESIAN_POINT ('', (53.040327414771, -10.2024599124513, 4.11215414774605));
#9970 = CARTESIAN_POINT ('', (65.6, -10.2024599124513, 4.11215414774605));
#9980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9960, #9970), .UNSPECIFIED., .F., .U., (2, 2), (0.219896112718693, 1.), .UNSPECIFIED.);
#9990 = EDGE_CURVE ('', #9290, #2420, #9980, .T.);
#10000 = ORIENTED_EDGE ('', *, *, #9990, .T.);
#10010 = ORIENTED_EDGE ('', *, *, #2540, .F.);
#10020 = ORIENTED_EDGE ('', *, *, #9770, .F.);
#10030 = EDGE_LOOP ('', (#10000, #10010, #10020));
#10040 = FACE_OUTER_BOUND ('', #10030, .T.);
#10050 = CARTESIAN_POINT ('', (66.0448625156373, -9.52802072781817, 3.72276650294612));
#10060 = CARTESIAN_POINT ('', (66.0448625156373, -10.2024599124513, 4.11215414774605));
#10070 = CARTESIAN_POINT ('', (53.040327414771, -9.52802072781817, 3.72276650294612));
#10080 = CARTESIAN_POINT ('', (53.040327414771, -10.2024599124513, 4.11215414774605));
#10090 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10050, #10060), (#10070, #10080)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.526238169321073, 0.883480136581982), (0.484998679275285, 0.50639207891264), .UNSPECIFIED.);
#10100 = ADVANCED_FACE ('', (#10040), #10090, .T.);
#10110 = CARTESIAN_POINT ('', (53.040327414771, -8.66245991245126, 6.77951239140212));
#10120 = CARTESIAN_POINT ('', (65.6, -8.66245991245126, 6.77951239140212));
#10130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10110, #10120), .UNSPECIFIED., .F., .U., (2, 2), (0.219896112718696, 1.), .UNSPECIFIED.);
#10140 = EDGE_CURVE ('', #9270, #1980, #10130, .T.);
#10150 = ORIENTED_EDGE ('', *, *, #10140, .F.);
#10160 = ORIENTED_EDGE ('', *, *, #9840, .T.);
#10170 = ORIENTED_EDGE ('', *, *, #2180, .T.);
#10180 = EDGE_LOOP ('', (#10150, #10160, #10170));
#10190 = FACE_OUTER_BOUND ('', #10180, .T.);
#10200 = CARTESIAN_POINT ('', (66.0448625156373, -7.98802072781816, 6.39012474660218));
#10210 = CARTESIAN_POINT ('', (53.040327414771, -7.98802072781816, 6.39012474660218));
#10220 = CARTESIAN_POINT ('', (66.0448625156373, -8.66245991245126, 6.77951239140212));
#10230 = CARTESIAN_POINT ('', (53.040327414771, -8.66245991245126, 6.77951239140212));
#10240 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10200, #10210), (#10220, #10230)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.484998679275285, 0.50639207891264), (0.526238169321073, 0.883480136581981), .UNSPECIFIED.);
#10250 = ADVANCED_FACE ('', (#10190), #10240, .T.);
#10260 = CARTESIAN_POINT ('', (53.040327414771, -10.2024599124513, -4.11215414774604));
#10270 = VERTEX_POINT ('', #10260);
#10280 = CARTESIAN_POINT ('', (53.040327414771, -8.66245991245125, -6.77951239140211));
#10290 = VERTEX_POINT ('', #10280);
#10300 = CARTESIAN_POINT ('', (53.040327414771, -10.2024599124513, -4.11215414774604));
#10310 = CARTESIAN_POINT ('', (52.9248714644662, -10.1677918209513, -4.19816741501704));
#10320 = CARTESIAN_POINT ('', (52.8137265444221, -10.1298401572931, -4.28922937341434));
#10330 = CARTESIAN_POINT ('', (52.7098997410113, -10.0877360499541, -4.38606673301459));
#10340 = CARTESIAN_POINT ('', (52.6058975844682, -10.0455608329702, -4.48306764127254));
#10350 = CARTESIAN_POINT ('', (52.5086470691998, -9.99896459839807, -4.58644256978428));
#10360 = CARTESIAN_POINT ('', (52.4234655703359, -9.94711644065103, -4.69626175975423));
#10370 = CARTESIAN_POINT ('', (52.366708400601, -9.91256956452255, -4.76943523625328));
#10380 = CARTESIAN_POINT ('', (52.3150737318021, -9.87550333184036, -4.84584875302493));
#10390 = CARTESIAN_POINT ('', (52.2708806752664, -9.83592088944413, -4.92490205553334));
#10400 = CARTESIAN_POINT ('', (52.226616608733, -9.79627484544704, -5.00408238195154));
#10410 = CARTESIAN_POINT ('', (52.1895655277618, -9.75379327545296, -5.08650910584758));
#10420 = CARTESIAN_POINT ('', (52.1623167417238, -9.70905691624165, -5.17051388134488));
#10430 = CARTESIAN_POINT ('', (52.144183102841, -9.67928557223627, -5.22641773926974));
#10440 = CARTESIAN_POINT ('', (52.130293132207, -9.64836889309547, -5.28329781366881));
#10450 = CARTESIAN_POINT ('', (52.1212202080485, -9.61668898864241, -5.34034576555981));
#10460 = CARTESIAN_POINT ('', (52.1121441389309, -9.58499810294432, -5.39741349205397));
#10470 = CARTESIAN_POINT ('', (52.1078523053252, -9.55237833769512, -5.45494372380296));
#10480 = CARTESIAN_POINT ('', (52.1085424890848, -9.51935612139616, -5.51197415034224));
#10490 = CARTESIAN_POINT ('', (52.1092326784431, -9.48633363721972, -5.56900503951454));
#10500 = CARTESIAN_POINT ('', (52.1149077711118, -9.45273123820235, -5.62584282108964));
#10510 = CARTESIAN_POINT ('', (52.1253084370594, -9.41911739470437, -5.6815691058703));
#10520 = CARTESIAN_POINT ('', (52.1357055251905, -9.38551511432761, -5.73727622087686));
#10530 = CARTESIAN_POINT ('', (52.1508660651308, -9.35173112617388, -5.79215784076004));
#10540 = CARTESIAN_POINT ('', (52.1701789319991, -9.31825855265038, -5.84551602050338));
#10550 = CARTESIAN_POINT ('', (52.1894812228004, -9.28480430929936, -5.89884498036503));
#10560 = CARTESIAN_POINT ('', (52.2130012942143, -9.25151452456526, -5.95088959435561));
#10570 = CARTESIAN_POINT ('', (52.2399786985342, -9.21874436658281, -6.001229232716));
#10580 = CARTESIAN_POINT ('', (52.2669407056811, -9.1859929119488, -6.05154014006458));
#10590 = CARTESIAN_POINT ('', (52.2974391011212, -9.15364557173889, -6.10032746178088));
#10600 = CARTESIAN_POINT ('', (52.3307317585012, -9.12192155112192, -6.14740166372571));
#10610 = CARTESIAN_POINT ('', (52.3640082150091, -9.09021296804716, -6.19445295842341));
#10620 = CARTESIAN_POINT ('', (52.4001574584394, -9.05904291207902, -6.23991946374072));
#10630 = CARTESIAN_POINT ('', (52.438539541126, -9.02852827567012, -6.28376297893428));
#10640 = CARTESIAN_POINT ('', (52.5251370247391, -8.95968128922707, -6.38268252218878));
#10650 = CARTESIAN_POINT ('', (52.6234617659289, -8.8938142305462, -6.4738774797552));
#10660 = CARTESIAN_POINT ('', (52.7283565579856, -8.83122441980503, -6.55816096531943));
#10670 = CARTESIAN_POINT ('', (52.8268616896103, -8.77244726390873, -6.63731032704187));
#10680 = CARTESIAN_POINT ('', (52.9316726523311, -8.71624866261637, -6.71078430814982));
#10690 = CARTESIAN_POINT ('', (53.040327414771, -8.66245991245125, -6.77951239140211));
#10700 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#10300, #10310, #10320, #10330, #10340, #10350, #10360, #10370, #10380, #10390, #10400, #10410, #10420, #10430, #10440, #10450, #10460, #10470, #10480, #10490, #10500, #10510, #10520, #10530, #10540, #10550, #10560, #10570, #10580, #10590, #10600, #10610, #10620, #10630, #10640, #10650, #10660, #10670, #10680, #10690), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.444265817479851, 0.889281955687258, 1.18580005912371, 1.48279461183711, 1.68043981927988, 1.87815353672893, 2.07586885803926, 2.27351616551981, 2.47105523784379, 2.66848156606382, 2.86581182268833, 3.3110274667675, 3.72912282461622), .UNSPECIFIED.);
#10710 = EDGE_CURVE ('', #10270, #10290, #10700, .T.);
#10720 = ORIENTED_EDGE ('', *, *, #10710, .T.);
#10730 = CARTESIAN_POINT ('', (53.040327414771, -8.66245991245126, -6.77951239140212));
#10740 = CARTESIAN_POINT ('', (59.5222631289668, -8.03121149881428, -6.41506094986329));
#10750 = CARTESIAN_POINT ('', (66.0448625156373, -7.98802072781818, -6.39012474660218));
#10760 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#10730, #10740, #10750), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0784761235988301, 0.47124873308446), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.998727020769874, 0.995812678491747, 0.995613897266264))
   REPRESENTATION_ITEM ('')
);
#10770 = EDGE_CURVE ('', #10290, #2820, #10760, .T.);
#10780 = ORIENTED_EDGE ('', *, *, #10770, .T.);
#10790 = ORIENTED_EDGE ('', *, *, #3000, .F.);
#10800 = CARTESIAN_POINT ('', (53.040327414771, -10.2024599124513, -4.11215414774605));
#10810 = CARTESIAN_POINT ('', (59.5222631289668, -9.57121149881428, -3.74770270620721));
#10820 = CARTESIAN_POINT ('', (66.0448625156373, -9.52802072781818, -3.72276650294611));
#10830 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#10800, #10810, #10820), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0784761235988299, 0.47124873308446), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.998727020769874, 0.995812678491747, 0.995613897266264))
   REPRESENTATION_ITEM ('')
);
#10840 = EDGE_CURVE ('', #10270, #2670, #10830, .T.);
#10850 = ORIENTED_EDGE ('', *, *, #10840, .F.);
#10860 = EDGE_LOOP ('', (#10720, #10780, #10790, #10850));
#10870 = FACE_OUTER_BOUND ('', #10860, .T.);
#10880 = CARTESIAN_POINT ('', (52.1078523056991, -8.75634367543356, -6.83371620723249));
#10890 = CARTESIAN_POINT ('', (52.1078523056991, -10.2963436754336, -4.16635796357641));
#10900 = CARTESIAN_POINT ('', (59.0858898819551, -8.03075514465586, -6.41479747366708));
#10910 = CARTESIAN_POINT ('', (59.0858898819551, -9.57075514465586, -3.74743923001101));
#10920 = CARTESIAN_POINT ('', (66.1138692937875, -7.9875802923514, -6.38987046106687));
#10930 = CARTESIAN_POINT ('', (66.1138692937875, -9.5275802923514, -3.7225122174108));
#10940 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#10880, #10890), (#10900, #10910), (#10920, #10930)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.0501234500961749, 0.473326009069651), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.999161920329546, 0.999161920329546), (0.995810577752233, 0.995810577752233), (0.995611870614618, 0.995611870614618)))
   REPRESENTATION_ITEM ('')
);
#10950 = ADVANCED_FACE ('', (#10870), #10940, .T.);
#10960 = CARTESIAN_POINT ('', (53.040327414771, -8.66245991245126, -6.77951239140212));
#10970 = CARTESIAN_POINT ('', (65.6, -8.66245991245126, -6.77951239140212));
#10980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10960, #10970), .UNSPECIFIED., .F., .U., (2, 2), (0.219896112718697, 1.), .UNSPECIFIED.);
#10990 = EDGE_CURVE ('', #10290, #3030, #10980, .T.);
#11000 = ORIENTED_EDGE ('', *, *, #10990, .T.);
#11010 = ORIENTED_EDGE ('', *, *, #3150, .F.);
#11020 = ORIENTED_EDGE ('', *, *, #10770, .F.);
#11030 = EDGE_LOOP ('', (#11000, #11010, #11020));
#11040 = FACE_OUTER_BOUND ('', #11030, .T.);
#11050 = CARTESIAN_POINT ('', (66.0448625156373, -7.98802072781816, -6.39012474660216));
#11060 = CARTESIAN_POINT ('', (66.0448625156373, -8.66245991245126, -6.77951239140212));
#11070 = CARTESIAN_POINT ('', (53.040327414771, -7.98802072781816, -6.39012474660216));
#11080 = CARTESIAN_POINT ('', (53.040327414771, -8.66245991245126, -6.77951239140212));
#11090 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11050, #11060), (#11070, #11080)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.526238169321073, 0.883480136581981), (0.484998679275285, 0.50639207891264), .UNSPECIFIED.);
#11100 = ADVANCED_FACE ('', (#11040), #11090, .T.);
#11110 = CARTESIAN_POINT ('', (53.040327414771, -10.2024599124513, -4.11215414774605));
#11120 = CARTESIAN_POINT ('', (65.6, -10.2024599124513, -4.11215414774605));
#11130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11110, #11120), .UNSPECIFIED., .F., .U., (2, 2), (0.219896112718696, 1.), .UNSPECIFIED.);
#11140 = EDGE_CURVE ('', #10270, #2570, #11130, .T.);
#11150 = ORIENTED_EDGE ('', *, *, #11140, .F.);
#11160 = ORIENTED_EDGE ('', *, *, #10840, .T.);
#11170 = ORIENTED_EDGE ('', *, *, #2790, .T.);
#11180 = EDGE_LOOP ('', (#11150, #11160, #11170));
#11190 = FACE_OUTER_BOUND ('', #11180, .T.);
#11200 = CARTESIAN_POINT ('', (66.0448625156373, -9.52802072781816, -3.72276650294609));
#11210 = CARTESIAN_POINT ('', (53.040327414771, -9.52802072781816, -3.72276650294609));
#11220 = CARTESIAN_POINT ('', (66.0448625156373, -10.2024599124513, -4.11215414774605));
#11230 = CARTESIAN_POINT ('', (53.040327414771, -10.2024599124513, -4.11215414774605));
#11240 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11200, #11210), (#11220, #11230)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.484998679275285, 0.50639207891264), (0.526238169321074, 0.883480136581981), .UNSPECIFIED.);
#11250 = ADVANCED_FACE ('', (#11190), #11240, .T.);
#11260 = CARTESIAN_POINT ('', (53.040327414771, -1.53999999999999, -10.8916665391482));
#11270 = VERTEX_POINT ('', #11260);
#11280 = CARTESIAN_POINT ('', (53.040327414771, 1.54, -10.8916665391482));
#11290 = VERTEX_POINT ('', #11280);
#11300 = CARTESIAN_POINT ('', (53.040327414771, -1.53999999999999, -10.8916665391482));
#11310 = CARTESIAN_POINT ('', (52.9635072808008, -1.47890388088188, -10.9003050723886));
#11320 = CARTESIAN_POINT ('', (52.8886594819047, -1.41517407906213, -10.9087944497951));
#11330 = CARTESIAN_POINT ('', (52.8165854152715, -1.34849437167077, -10.9170308660172));
#11340 = CARTESIAN_POINT ('', (52.7444995232661, -1.28180372397328, -10.9252686336087));
#11350 = CARTESIAN_POINT ('', (52.6750544084331, -1.2120386451276, -10.9332687916676));
#11360 = CARTESIAN_POINT ('', (52.6094211013652, -1.13892083099149, -10.9408801904021));
#11370 = CARTESIAN_POINT ('', (52.5437663502055, -1.06577912738239, -10.9484940759767));
#11380 = CARTESIAN_POINT ('', (52.4817385078806, -0.989063308082046, -10.9557407981178));
#11390 = CARTESIAN_POINT ('', (52.4250325692672, -0.908699839534749, -10.9624023189094));
#11400 = CARTESIAN_POINT ('', (52.368292036568, -0.828287344363354, -10.9690679036355));
#11410 = CARTESIAN_POINT ('', (52.3166378465788, -0.743829844133332, -10.9751759701995));
#11420 = CARTESIAN_POINT ('', (52.2723696460025, -0.655836707015759, -10.9804316041643));
#11430 = CARTESIAN_POINT ('', (52.2280581056948, -0.567757422305127, -10.9856923835329));
#11440 = CARTESIAN_POINT ('', (52.1908956859334, -0.475470920193975, -10.9901284564862));
#11450 = CARTESIAN_POINT ('', (52.1634536965713, -0.380680035955779, -10.9934108769856));
#11460 = CARTESIAN_POINT ('', (52.1451830796898, -0.317569162070961, -10.9955962814982));
#11470 = CARTESIAN_POINT ('', (52.131124303859, -0.253038059196977, -10.9972818169092));
#11480 = CARTESIAN_POINT ('', (52.1218531705187, -0.187965921145187, -10.9983939196816));
#11490 = CARTESIAN_POINT ('', (52.1156773735707, -0.144619299235127, -10.9991347267281));
#11500 = CARTESIAN_POINT ('', (52.11160110663, -0.100913903556803, -10.9996241034137));
#11510 = CARTESIAN_POINT ('', (52.1097072838312, -0.0571648391391704, -10.9998514617774));
#11520 = CARTESIAN_POINT ('', (52.1088658607309, -0.0377271845480447, -10.999952476814));
#11530 = CARTESIAN_POINT ('', (52.1084530619853, -0.018265882339945, -11.0000020408111));
#11540 = CARTESIAN_POINT ('', (52.1084705961882, 0.00119022983579955, -10.999999935607));
#11550 = CARTESIAN_POINT ('', (52.1085300675874, 0.0671802390257315, -10.9999927953089));
#11560 = CARTESIAN_POINT ('', (52.1135872013138, 0.133343430424054, -10.9993853346224));
#11570 = CARTESIAN_POINT ('', (52.123409368097, 0.198587756439989, -10.9982072585942));
#11580 = CARTESIAN_POINT ('', (52.1332278575732, 0.263807655726, -10.9970296236243));
#11590 = CARTESIAN_POINT ('', (52.1478468358708, 0.328445195908171, -10.9952772088138));
#11600 = CARTESIAN_POINT ('', (52.166669148473, 0.391628095666041, -10.9930263091966));
#11610 = CARTESIAN_POINT ('', (52.1854790861851, 0.454769455287002, -10.9907768894526));
#11620 = CARTESIAN_POINT ('', (52.2085556768583, 0.516741824019846, -10.9880215186955));
#11630 = CARTESIAN_POINT ('', (52.2351394490221, 0.576982972198471, -10.9848573340668));
#11640 = CARTESIAN_POINT ('', (52.2617039977871, 0.637180558477499, -10.9816954375402));
#11650 = CARTESIAN_POINT ('', (52.2918535652795, 0.695866936140346, -10.9781155281923));
#11660 = CARTESIAN_POINT ('', (52.3248396090674, 0.752753817192573, -10.9742134884784));
#11670 = CARTESIAN_POINT ('', (52.3578043688767, 0.809603992443938, -10.9703139665242));
#11680 = CARTESIAN_POINT ('', (52.3936837972521, 0.864812466886659, -10.9660830809555));
#11690 = CARTESIAN_POINT ('', (52.431829344639, 0.918279088727282, -10.9616040575824));
#11700 = CARTESIAN_POINT ('', (52.4890982997596, 0.998549992578404, -10.9548795771092));
#11710 = CARTESIAN_POINT ('', (52.5516457819002, 1.0751612108165, -10.9475760760078));
#11720 = CARTESIAN_POINT ('', (52.6177880576488, 1.14820094758116, -10.9399101725733));
#11730 = CARTESIAN_POINT ('', (52.6838621827746, 1.22116542682709, -10.9322521678102));
#11740 = CARTESIAN_POINT ('', (52.753709732556, 1.29078090236615, -10.9242108223821));
#11750 = CARTESIAN_POINT ('', (52.8261722781651, 1.35733127288939, -10.9159356820951));
#11760 = CARTESIAN_POINT ('', (52.89528896207, 1.42080876853268, -10.908042635409));
#11770 = CARTESIAN_POINT ('', (52.966905227563, 1.48160631511899, -10.8999229684461));
#11780 = CARTESIAN_POINT ('', (53.040327414771, 1.54, -10.8916665391482));
#11790 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#11300, #11310, #11320, #11330, #11340, #11350, #11360, #11370, #11380, #11390, #11400, #11410, #11420, #11430, #11440, #11450, #11460, #11470, #11480, #11490, #11500, #11510, #11520, #11530, #11540, #11550, #11560, #11570, #11580, #11590, #11600, #11610, #11620, #11630, #11640, #11650, #11660, #11670, #11680, #11690, #11700, #11710, #11720, #11730, #11740, #11750, #11760, #11770, #11780), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.295598100635527, 0.591244700789709, 0.886987896302391, 1.18291151322717, 1.47912484714764, 1.67634088232124, 1.80771275924447, 1.8660811198166, 2.06405122894034, 2.261947220318, 2.45971310328648, 2.65733597673741, 2.85483133562427, 3.15133652743358, 3.44753621095369, 3.7300592678858), .UNSPECIFIED.);
#11800 = EDGE_CURVE ('', #11270, #11290, #11790, .T.);
#11810 = ORIENTED_EDGE ('', *, *, #11800, .T.);
#11820 = CARTESIAN_POINT ('', (53.040327414771, 1.54, -10.8916665391482));
#11830 = CARTESIAN_POINT ('', (59.5222631289668, 1.54, -10.1627636560705));
#11840 = CARTESIAN_POINT ('', (66.0448625156373, 1.54, -10.1128912495483));
#11850 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#11820, #11830, #11840), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.07847612359883, 0.47124873308446), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.998727020769873, 0.995812678491747, 0.995613897266264))
   REPRESENTATION_ITEM ('')
);
#11860 = EDGE_CURVE ('', #11290, #3410, #11850, .T.);
#11870 = ORIENTED_EDGE ('', *, *, #11860, .T.);
#11880 = ORIENTED_EDGE ('', *, *, #3710, .F.);
#11890 = CARTESIAN_POINT ('', (53.040327414771, -1.54, -10.8916665391482));
#11900 = CARTESIAN_POINT ('', (59.5222631289668, -1.54, -10.1627636560705));
#11910 = CARTESIAN_POINT ('', (66.0448625156373, -1.54, -10.1128912495483));
#11920 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#11890, #11900, #11910), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0784761235988298, 0.47124873308446), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.998727020769873, 0.995812678491747, 0.995613897266264))
   REPRESENTATION_ITEM ('')
);
#11930 = EDGE_CURVE ('', #11270, #3260, #11920, .T.);
#11940 = ORIENTED_EDGE ('', *, *, #11930, .F.);
#11950 = EDGE_LOOP ('', (#11810, #11870, #11880, #11940));
#11960 = FACE_OUTER_BOUND ('', #11950, .T.);
#11970 = CARTESIAN_POINT ('', (52.1084530619855, 1.54, -11.0000020408123));
#11980 = CARTESIAN_POINT ('', (52.1084530619855, -1.54, -11.0000020408123));
#11990 = CARTESIAN_POINT ('', (59.0854938395819, 1.54, -10.1623185381662));
#12000 = CARTESIAN_POINT ('', (59.0854938395819, -1.54, -10.1623185381662));
#12010 = CARTESIAN_POINT ('', (66.1124646712111, 1.54, -10.1123926502758));
#12020 = CARTESIAN_POINT ('', (66.1124646712111, -1.54, -10.1123926502758));
#12030 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#11970, #11980), (#11990, #12000), (#12010, #12020)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.0501417286679891, 0.473283726554786), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.999161630839276, 0.999161630839276), (0.995810903991641, 0.995810903991641), (0.995611910352074, 0.995611910352074)))
   REPRESENTATION_ITEM ('')
);
#12040 = ADVANCED_FACE ('', (#11960), #12030, .T.);
#12050 = CARTESIAN_POINT ('', (53.040327414771, 1.54, -10.8916665391482));
#12060 = CARTESIAN_POINT ('', (65.6, 1.54, -10.8916665391482));
#12070 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12050, #12060), .UNSPECIFIED., .F., .U., (2, 2), (0.219896112718697, 1.), .UNSPECIFIED.);
#12080 = EDGE_CURVE ('', #11290, #3740, #12070, .T.);
#12090 = ORIENTED_EDGE ('', *, *, #12080, .T.);
#12100 = ORIENTED_EDGE ('', *, *, #3860, .F.);
#12110 = ORIENTED_EDGE ('', *, *, #11860, .F.);
#12120 = EDGE_LOOP ('', (#12090, #12100, #12110));
#12130 = FACE_OUTER_BOUND ('', #12120, .T.);
#12140 = CARTESIAN_POINT ('', (66.0448625156373, 1.53999999999999, -10.1128912495483));
#12150 = CARTESIAN_POINT ('', (66.0448625156373, 1.54, -10.8916665391482));
#12160 = CARTESIAN_POINT ('', (53.040327414771, 1.53999999999999, -10.1128912495483));
#12170 = CARTESIAN_POINT ('', (53.040327414771, 1.54, -10.8916665391482));
#12180 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12140, #12150), (#12160, #12170)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.526238169321073, 0.88348013658198), (0.484998679275285, 0.50639207891264), .UNSPECIFIED.);
#12190 = ADVANCED_FACE ('', (#12130), #12180, .T.);
#12200 = CARTESIAN_POINT ('', (53.040327414771, -1.54, -10.8916665391482));
#12210 = CARTESIAN_POINT ('', (65.6, -1.54, -10.8916665391482));
#12220 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12200, #12210), .UNSPECIFIED., .F., .U., (2, 2), (0.219896112718696, 1.), .UNSPECIFIED.);
#12230 = EDGE_CURVE ('', #11270, #3180, #12220, .T.);
#12240 = ORIENTED_EDGE ('', *, *, #12230, .F.);
#12250 = ORIENTED_EDGE ('', *, *, #11930, .T.);
#12260 = ORIENTED_EDGE ('', *, *, #3380, .T.);
#12270 = EDGE_LOOP ('', (#12240, #12250, #12260));
#12280 = FACE_OUTER_BOUND ('', #12270, .T.);
#12290 = CARTESIAN_POINT ('', (66.0448625156373, -1.54000000000001, -10.1128912495483));
#12300 = CARTESIAN_POINT ('', (53.040327414771, -1.54000000000001, -10.1128912495483));
#12310 = CARTESIAN_POINT ('', (66.0448625156373, -1.54, -10.8916665391482));
#12320 = CARTESIAN_POINT ('', (53.040327414771, -1.54, -10.8916665391482));
#12330 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12290, #12300), (#12310, #12320)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.484998679275285, 0.50639207891264), (0.526238169321073, 0.883480136581981), .UNSPECIFIED.);
#12340 = ADVANCED_FACE ('', (#12280), #12330, .T.);
#12350 = CARTESIAN_POINT ('', (53.040327414771, 8.66245991245125, -6.77951239140213));
#12360 = VERTEX_POINT ('', #12350);
#12370 = CARTESIAN_POINT ('', (53.040327414771, 10.2024599124513, -4.11215414774605));
#12380 = VERTEX_POINT ('', #12370);
#12390 = CARTESIAN_POINT ('', (53.040327414771, 8.66245991245125, -6.77951239140213));
#12400 = CARTESIAN_POINT ('', (52.924947404511, 8.71957794765339, -6.70653034466319));
#12410 = CARTESIAN_POINT ('', (52.813873088252, 8.77942279154756, -6.62818746202832));
#12420 = CARTESIAN_POINT ('', (52.7101050231982, 8.84218905961944, -6.54337012814851));
#12430 = CARTESIAN_POINT ('', (52.6061945527923, 8.90504146452452, -6.45843639581513));
#12440 = CARTESIAN_POINT ('', (52.5090212778101, 8.97119613943148, -6.36650241255011));
#12450 = CARTESIAN_POINT ('', (52.4238836927267, 9.04030072217461, -6.26681441026055));
#12460 = CARTESIAN_POINT ('', (52.3671561701097, 9.08634538948179, -6.20039188489777));
#12470 = CARTESIAN_POINT ('', (52.3155370193686, 9.13393309324252, -6.1301763984331));
#12480 = CARTESIAN_POINT ('', (52.2713369362451, 9.18254857050687, -6.0564677618462));
#12490 = CARTESIAN_POINT ('', (52.2270792258534, 9.23122743175039, -5.98266302527326));
#12500 = CARTESIAN_POINT ('', (52.1900080514734, 9.28129718324536, -5.90479064643894));
#12510 = CARTESIAN_POINT ('', (52.1627035901079, 9.33161077695095, -5.82417722150458));
#12520 = CARTESIAN_POINT ('', (52.1445287648257, 9.36510130301101, -5.77051804493387));
#12530 = CARTESIAN_POINT ('', (52.1305840634679, 9.39886591605218, -5.71537988097204));
#12540 = CARTESIAN_POINT ('', (52.1214432154053, 9.43239806423311, -5.65949350718438));
#12550 = CARTESIAN_POINT ('', (52.1123000895842, 9.46593856810861, -5.60359320737362));
#12560 = CARTESIAN_POINT ('', (52.1079268528501, 9.49941829957879, -5.54665530010008));
#12570 = CARTESIAN_POINT ('', (52.1085244916469, 9.53226908701277, -5.48961255944212));
#12580 = CARTESIAN_POINT ('', (52.109122117102, 9.5651191410859, -5.43257109220607));
#12590 = CARTESIAN_POINT ('', (52.1146928186781, 9.5975166139109, -5.37511880624938));
#12600 = CARTESIAN_POINT ('', (52.1249824544184, 9.62895105407456, -5.31820473451694));
#12610 = CARTESIAN_POINT ('', (52.1352690354848, 9.66037616232754, -5.26130755880781));
#12620 = CARTESIAN_POINT ('', (52.1503124042928, 9.6910003957524, -5.20465883248204));
#12630 = CARTESIAN_POINT ('', (52.169506329866, 9.72046517060713, -5.14903455678991));
#12640 = CARTESIAN_POINT ('', (52.1886918052198, 9.749916973451, -5.0934347699565));
#12650 = CARTESIAN_POINT ('', (52.2120937505788, 9.77834261456634, -5.03861300637616));
#12660 = CARTESIAN_POINT ('', (52.2389547183664, 9.80555407581153, -4.98508869192336));
#12670 = CARTESIAN_POINT ('', (52.2658040130247, 9.83275371161146, -4.9315876378477));
#12680 = CARTESIAN_POINT ('', (52.2961920537113, 9.8588383056928, -4.87919348243508));
#12690 = CARTESIAN_POINT ('', (52.3293777550831, 9.88375208631178, -4.82819269461536));
#12700 = CARTESIAN_POINT ('', (52.3625518854902, 9.90865718016312, -4.77720968940361));
#12710 = CARTESIAN_POINT ('', (52.3986028787479, 9.93246007084314, -4.72748252736101));
#12720 = CARTESIAN_POINT ('', (52.436890579938, 9.95518527079142, -4.67913306331722));
#12730 = CARTESIAN_POINT ('', (52.5232180798143, 10.0064239096949, -4.57011924891931));
#12740 = CARTESIAN_POINT ('', (52.6212775574015, 10.0524711502091, -4.46753140489691));
#12750 = CARTESIAN_POINT ('', (52.7259139160635, 10.0941739644688, -4.37123002998483));
#12760 = CARTESIAN_POINT ('', (52.8251279478329, 10.1337157106814, -4.27991905746878));
#12770 = CARTESIAN_POINT ('', (52.9307755970244, 10.1695646616513, -4.19376890865689));
#12780 = CARTESIAN_POINT ('', (53.040327414771, 10.2024599124513, -4.11215414774605));
#12790 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#12390, #12400, #12410, #12420, #12430, #12440, #12450, #12460, #12470, #12480, #12490, #12500, #12510, #12520, #12530, #12540, #12550, #12560, #12570, #12580, #12590, #12600, #12610, #12620, #12630, #12640, #12650, #12660, #12670, #12680, #12690, #12700, #12710, #12720, #12730, #12740, #12750, #12760, #12770, #12780), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.443973605896106, 0.888556495753288, 1.18478390125012, 1.48139752267561, 1.67883414937033, 1.87631997422976, 2.07380139041646, 2.27122418049351, 2.46856005422414, 2.6658101705398, 2.86299151102594, 3.30757741243367, 3.72912457166711), .UNSPECIFIED.);
#12800 = EDGE_CURVE ('', #12360, #12380, #12790, .T.);
#12810 = ORIENTED_EDGE ('', *, *, #12800, .T.);
#12820 = CARTESIAN_POINT ('', (53.040327414771, 10.2024599124513, -4.11215414774606));
#12830 = CARTESIAN_POINT ('', (59.5222631289668, 9.57121149881427, -3.74770270620722));
#12840 = CARTESIAN_POINT ('', (66.0448625156373, 9.52802072781817, -3.72276650294612));
#12850 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#12820, #12830, #12840), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0784761235988296, 0.47124873308446), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.998727020769873, 0.995812678491747, 0.995613897266263))
   REPRESENTATION_ITEM ('')
);
#12860 = EDGE_CURVE ('', #12380, #4120, #12850, .T.);
#12870 = ORIENTED_EDGE ('', *, *, #12860, .T.);
#12880 = ORIENTED_EDGE ('', *, *, #4300, .F.);
#12890 = CARTESIAN_POINT ('', (53.040327414771, 8.66245991245125, -6.77951239140213));
#12900 = CARTESIAN_POINT ('', (59.5222631289668, 8.03121149881427, -6.41506094986329));
#12910 = CARTESIAN_POINT ('', (66.0448625156373, 7.98802072781817, -6.39012474660219));
#12920 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#12890, #12900, #12910), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.07847612359883, 0.47124873308446), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.998727020769874, 0.995812678491747, 0.995613897266264))
   REPRESENTATION_ITEM ('')
);
#12930 = EDGE_CURVE ('', #12360, #3970, #12920, .T.);
#12940 = ORIENTED_EDGE ('', *, *, #12930, .F.);
#12950 = EDGE_LOOP ('', (#12810, #12870, #12880, #12940));
#12960 = FACE_OUTER_BOUND ('', #12950, .T.);
#12970 = CARTESIAN_POINT ('', (52.1079268531385, 10.2963359238803, -4.16635348821508));
#12980 = CARTESIAN_POINT ('', (52.1079268531385, 8.75633592388032, -6.83371173187115));
#12990 = CARTESIAN_POINT ('', (59.0859229669249, 9.5707553889496, -3.74743937105407));
#13000 = CARTESIAN_POINT ('', (59.0859229669249, 8.03075538894959, -6.41479761471014));
#13010 = CARTESIAN_POINT ('', (66.1138601087033, 9.52758034877824, -3.72251224998886));
#13020 = CARTESIAN_POINT ('', (66.1138601087033, 7.98758034877824, -6.38987049364493));
#13030 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#12970, #12980), (#12990, #13000), (#13010, #13020)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.0501257182725979, 0.47332573257656), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.999161884406242, 0.999161884406242), (0.995810578876791, 0.995810578876791), (0.995611870874264, 0.995611870874264)))
   REPRESENTATION_ITEM ('')
);
#13040 = ADVANCED_FACE ('', (#12960), #13030, .T.);
#13050 = CARTESIAN_POINT ('', (53.040327414771, 10.2024599124513, -4.11215414774606));
#13060 = CARTESIAN_POINT ('', (65.6, 10.2024599124513, -4.11215414774606));
#13070 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13050, #13060), .UNSPECIFIED., .F., .U., (2, 2), (0.219896112718695, 1.), .UNSPECIFIED.);
#13080 = EDGE_CURVE ('', #12380, #4330, #13070, .T.);
#13090 = ORIENTED_EDGE ('', *, *, #13080, .T.);
#13100 = ORIENTED_EDGE ('', *, *, #4450, .F.);
#13110 = ORIENTED_EDGE ('', *, *, #12860, .F.);
#13120 = EDGE_LOOP ('', (#13090, #13100, #13110));
#13130 = FACE_OUTER_BOUND ('', #13120, .T.);
#13140 = CARTESIAN_POINT ('', (66.0448625156373, 9.52802072781817, -3.72276650294612));
#13150 = CARTESIAN_POINT ('', (66.0448625156373, 10.2024599124513, -4.11215414774606));
#13160 = CARTESIAN_POINT ('', (53.040327414771, 9.52802072781817, -3.72276650294612));
#13170 = CARTESIAN_POINT ('', (53.040327414771, 10.2024599124513, -4.11215414774606));
#13180 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13140, #13150), (#13160, #13170)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.526238169321073, 0.883480136581981), (0.484998679275285, 0.50639207891264), .UNSPECIFIED.);
#13190 = ADVANCED_FACE ('', (#13130), #13180, .T.);
#13200 = CARTESIAN_POINT ('', (53.040327414771, 8.66245991245126, -6.77951239140213));
#13210 = CARTESIAN_POINT ('', (65.6, 8.66245991245126, -6.77951239140213));
#13220 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13200, #13210), .UNSPECIFIED., .F., .U., (2, 2), (0.219896112718696, 1.), .UNSPECIFIED.);
#13230 = EDGE_CURVE ('', #12360, #3890, #13220, .T.);
#13240 = ORIENTED_EDGE ('', *, *, #13230, .F.);
#13250 = ORIENTED_EDGE ('', *, *, #12930, .T.);
#13260 = ORIENTED_EDGE ('', *, *, #4090, .T.);
#13270 = EDGE_LOOP ('', (#13240, #13250, #13260));
#13280 = FACE_OUTER_BOUND ('', #13270, .T.);
#13290 = CARTESIAN_POINT ('', (66.0448625156373, 7.98802072781816, -6.39012474660218));
#13300 = CARTESIAN_POINT ('', (53.040327414771, 7.98802072781816, -6.39012474660218));
#13310 = CARTESIAN_POINT ('', (66.0448625156373, 8.66245991245125, -6.77951239140213));
#13320 = CARTESIAN_POINT ('', (53.040327414771, 8.66245991245125, -6.77951239140213));
#13330 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13290, #13300), (#13310, #13320)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.484998679275285, 0.50639207891264), (0.526238169321074, 0.883480136581981), .UNSPECIFIED.);
#13340 = ADVANCED_FACE ('', (#13280), #13330, .T.);
#13350 = ORIENTED_EDGE ('', *, *, #5170, .F.);
#13360 = CARTESIAN_POINT ('', (53.040327414771, 10.2024599124513, 4.11215414774604));
#13370 = VERTEX_POINT ('', #13360);
#13380 = CARTESIAN_POINT ('', (53.040327414771, 10.2024599124513, 4.11215414774604));
#13390 = CARTESIAN_POINT ('', (59.5222631289668, 9.57121149881428, 3.74770270620721));
#13400 = CARTESIAN_POINT ('', (66.0448625156373, 9.52802072781818, 3.7227665029461));
#13410 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#13380, #13390, #13400), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0784761235988298, 0.47124873308446), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.998727020769874, 0.995812678491747, 0.995613897266264))
   REPRESENTATION_ITEM ('')
);
#13420 = EDGE_CURVE ('', #13370, #4840, #13410, .T.);
#13430 = ORIENTED_EDGE ('', *, *, #13420, .F.);
#13440 = CARTESIAN_POINT ('', (53.040327414771, 8.66245991245126, 6.77951239140211));
#13450 = VERTEX_POINT ('', #13440);
#13460 = CARTESIAN_POINT ('', (53.040327414771, 10.2024599124513, 4.11215414774604));
#13470 = CARTESIAN_POINT ('', (52.9248714644662, 10.1677918209513, 4.19816741501704));
#13480 = CARTESIAN_POINT ('', (52.8137265444221, 10.1298401572931, 4.28922937341439));
#13490 = CARTESIAN_POINT ('', (52.7098997410113, 10.087736049954, 4.38606673301464));
#13500 = CARTESIAN_POINT ('', (52.6058975844682, 10.0455608329702, 4.48306764127259));
#13510 = CARTESIAN_POINT ('', (52.5086470691998, 9.99896459839807, 4.58644256978429));
#13520 = CARTESIAN_POINT ('', (52.4234655703359, 9.94711644065103, 4.69626175975424));
#13530 = CARTESIAN_POINT ('', (52.366708400601, 9.91256956452255, 4.76943523625329));
#13540 = CARTESIAN_POINT ('', (52.3150737318021, 9.87550333184035, 4.84584875302495));
#13550 = CARTESIAN_POINT ('', (52.2708806752664, 9.83592088944411, 4.92490205553336));
#13560 = CARTESIAN_POINT ('', (52.226616608733, 9.79627484544703, 5.00408238195156));
#13570 = CARTESIAN_POINT ('', (52.1895655277619, 9.75379327545295, 5.0865091058476));
#13580 = CARTESIAN_POINT ('', (52.1623167417238, 9.70905691624164, 5.17051388134489));
#13590 = CARTESIAN_POINT ('', (52.1441831028411, 9.67928557223626, 5.22641773926975));
#13600 = CARTESIAN_POINT ('', (52.130293132207, 9.64836889309548, 5.28329781366881));
#13610 = CARTESIAN_POINT ('', (52.1212202080484, 9.61668898864242, 5.34034576555981));
#13620 = CARTESIAN_POINT ('', (52.1121441389308, 9.58499810294433, 5.39741349205397));
#13630 = CARTESIAN_POINT ('', (52.1078523053253, 9.55237833769512, 5.45494372380296));
#13640 = CARTESIAN_POINT ('', (52.1085424890848, 9.51935612139616, 5.51197415034224));
#13650 = CARTESIAN_POINT ('', (52.1092326784432, 9.48633363721972, 5.56900503951454));
#13660 = CARTESIAN_POINT ('', (52.1149077711118, 9.45273123820235, 5.62584282108964));
#13670 = CARTESIAN_POINT ('', (52.1253084370594, 9.41911739470437, 5.68156910587031));
#13680 = CARTESIAN_POINT ('', (52.1357055251905, 9.38551511432761, 5.73727622087687));
#13690 = CARTESIAN_POINT ('', (52.1508660651309, 9.35173112617388, 5.79215784076004));
#13700 = CARTESIAN_POINT ('', (52.1701789319991, 9.31825855265039, 5.84551602050337));
#13710 = CARTESIAN_POINT ('', (52.1894812228004, 9.28480430929937, 5.89884498036502));
#13720 = CARTESIAN_POINT ('', (52.2130012942142, 9.25151452456526, 5.95088959435562));
#13730 = CARTESIAN_POINT ('', (52.2399786985342, 9.21874436658282, 6.00122923271601));
#13740 = CARTESIAN_POINT ('', (52.2669407056811, 9.1859929119488, 6.05154014006458));
#13750 = CARTESIAN_POINT ('', (52.2974391011213, 9.15364557173891, 6.10032746178083));
#13760 = CARTESIAN_POINT ('', (52.3307317585013, 9.12192155112194, 6.14740166372566));
#13770 = CARTESIAN_POINT ('', (52.3640082150091, 9.09021296804719, 6.19445295842337));
#13780 = CARTESIAN_POINT ('', (52.4001574584394, 9.05904291207902, 6.23991946374073));
#13790 = CARTESIAN_POINT ('', (52.438539541126, 9.02852827567012, 6.28376297893427));
#13800 = CARTESIAN_POINT ('', (52.5251370247391, 8.95968128922707, 6.38268252218878));
#13810 = CARTESIAN_POINT ('', (52.6234617659288, 8.89381423054619, 6.4738774797552));
#13820 = CARTESIAN_POINT ('', (52.7283565579855, 8.83122441980503, 6.55816096531943));
#13830 = CARTESIAN_POINT ('', (52.8268616896103, 8.77244726390873, 6.63731032704187));
#13840 = CARTESIAN_POINT ('', (52.9316726523311, 8.71624866261638, 6.71078430814983));
#13850 = CARTESIAN_POINT ('', (53.040327414771, 8.66245991245126, 6.77951239140211));
#13860 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#13460, #13470, #13480, #13490, #13500, #13510, #13520, #13530, #13540, #13550, #13560, #13570, #13580, #13590, #13600, #13610, #13620, #13630, #13640, #13650, #13660, #13670, #13680, #13690, #13700, #13710, #13720, #13730, #13740, #13750, #13760, #13770, #13780, #13790, #13800, #13810, #13820, #13830, #13840, #13850), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.444265817479861, 0.889281955687259, 1.18580005912371, 1.4827946118371, 1.68043981927987, 1.87815353672892, 2.07586885803924, 2.27351616551979, 2.47105523784376, 2.6684815660638, 2.8658118226883, 3.31102746676746, 3.72912282461617), .UNSPECIFIED.);
#13870 = EDGE_CURVE ('', #13370, #13450, #13860, .T.);
#13880 = ORIENTED_EDGE ('', *, *, #13870, .T.);
#13890 = CARTESIAN_POINT ('', (53.040327414771, 8.66245991245126, 6.77951239140212));
#13900 = CARTESIAN_POINT ('', (59.5222631289668, 8.03121149881428, 6.41506094986328));
#13910 = CARTESIAN_POINT ('', (66.0448625156373, 7.98802072781818, 6.39012474660217));
#13920 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#13890, #13900, #13910), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0784761235988292, 0.47124873308446), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.998727020769874, 0.995812678491747, 0.995613897266264))
   REPRESENTATION_ITEM ('')
);
#13930 = EDGE_CURVE ('', #13450, #4990, #13920, .T.);
#13940 = ORIENTED_EDGE ('', *, *, #13930, .T.);
#13950 = EDGE_LOOP ('', (#13350, #13430, #13880, #13940));
#13960 = FACE_OUTER_BOUND ('', #13950, .T.);
#13970 = CARTESIAN_POINT ('', (52.1078523056991, 8.75634367543356, 6.83371620723248));
#13980 = CARTESIAN_POINT ('', (52.1078523056991, 10.2963436754336, 4.16635796357641));
#13990 = CARTESIAN_POINT ('', (59.0858898819551, 8.03075514465587, 6.41479747366707));
#14000 = CARTESIAN_POINT ('', (59.0858898819551, 9.57075514465586, 3.747439230011));
#14010 = CARTESIAN_POINT ('', (66.1138692937875, 7.9875802923514, 6.38987046106687));
#14020 = CARTESIAN_POINT ('', (66.1138692937875, 9.5275802923514, 3.7225122174108));
#14030 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#13970, #13980), (#13990, #14000), (#14010, #14020)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.0501234500961762, 0.473326009069651), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.999161920329546, 0.999161920329546), (0.995810577752233, 0.995810577752233), (0.995611870614618, 0.995611870614618)))
   REPRESENTATION_ITEM ('')
);
#14040 = ADVANCED_FACE ('', (#13960), #14030, .T.);
#14050 = ORIENTED_EDGE ('', *, *, #4960, .T.);
#14060 = CARTESIAN_POINT ('', (53.040327414771, 10.2024599124513, 4.11215414774604));
#14070 = CARTESIAN_POINT ('', (65.6, 10.2024599124513, 4.11215414774604));
#14080 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14060, #14070), .UNSPECIFIED., .F., .U., (2, 2), (0.219896112718696, 1.), .UNSPECIFIED.);
#14090 = EDGE_CURVE ('', #13370, #4760, #14080, .T.);
#14100 = ORIENTED_EDGE ('', *, *, #14090, .F.);
#14110 = ORIENTED_EDGE ('', *, *, #13420, .T.);
#14120 = EDGE_LOOP ('', (#14050, #14100, #14110));
#14130 = FACE_OUTER_BOUND ('', #14120, .T.);
#14140 = CARTESIAN_POINT ('', (66.0448625156373, 9.52802072781817, 3.72276650294609));
#14150 = CARTESIAN_POINT ('', (53.040327414771, 9.52802072781817, 3.72276650294609));
#14160 = CARTESIAN_POINT ('', (66.0448625156373, 10.2024599124513, 4.11215414774604));
#14170 = CARTESIAN_POINT ('', (53.040327414771, 10.2024599124513, 4.11215414774604));
#14180 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14140, #14150), (#14160, #14170)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.484998679275285, 0.50639207891264), (0.526238169321073, 0.883480136581981), .UNSPECIFIED.);
#14190 = ADVANCED_FACE ('', (#14130), #14180, .T.);
#14200 = ORIENTED_EDGE ('', *, *, #5320, .F.);
#14210 = ORIENTED_EDGE ('', *, *, #13930, .F.);
#14220 = CARTESIAN_POINT ('', (53.040327414771, 8.66245991245126, 6.77951239140212));
#14230 = CARTESIAN_POINT ('', (65.6, 8.66245991245126, 6.77951239140212));
#14240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14220, #14230), .UNSPECIFIED., .F., .U., (2, 2), (0.219896112718695, 1.), .UNSPECIFIED.);
#14250 = EDGE_CURVE ('', #13450, #5200, #14240, .T.);
#14260 = ORIENTED_EDGE ('', *, *, #14250, .T.);
#14270 = EDGE_LOOP ('', (#14200, #14210, #14260));
#14280 = FACE_OUTER_BOUND ('', #14270, .T.);
#14290 = CARTESIAN_POINT ('', (66.0448625156373, 7.98802072781816, 6.39012474660216));
#14300 = CARTESIAN_POINT ('', (66.0448625156373, 8.66245991245126, 6.77951239140211));
#14310 = CARTESIAN_POINT ('', (53.040327414771, 7.98802072781816, 6.39012474660216));
#14320 = CARTESIAN_POINT ('', (53.040327414771, 8.66245991245126, 6.77951239140211));
#14330 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14290, #14300), (#14310, #14320)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.526238169321073, 0.883480136581981), (0.484998679275285, 0.50639207891264), .UNSPECIFIED.);
#14340 = ADVANCED_FACE ('', (#14280), #14330, .T.);
#14350 = CARTESIAN_POINT ('', (53.040327414771, -1.54, 10.8916665391482));
#14360 = VERTEX_POINT ('', #14350);
#14370 = CARTESIAN_POINT ('', (53.040327414771, -1.54, 10.8916665391482));
#14380 = CARTESIAN_POINT ('', (65.6, -1.54, 10.8916665391482));
#14390 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14370, #14380), .UNSPECIFIED., .F., .U., (2, 2), (0.219896112718693, 1.), .UNSPECIFIED.);
#14400 = EDGE_CURVE ('', #14360, #1830, #14390, .T.);
#14410 = ORIENTED_EDGE ('', *, *, #14400, .F.);
#14420 = CARTESIAN_POINT ('', (53.040327414771, 1.54, 10.8916665391482));
#14430 = VERTEX_POINT ('', #14420);
#14440 = CARTESIAN_POINT ('', (53.040327414771, 1.54, 10.8916665391482));
#14450 = CARTESIAN_POINT ('', (52.9635072808008, 1.47890388088189, 10.9003050723886));
#14460 = CARTESIAN_POINT ('', (52.8886594819047, 1.4151740790621, 10.9087944497951));
#14470 = CARTESIAN_POINT ('', (52.8165854152715, 1.34849437167074, 10.9170308660172));
#14480 = CARTESIAN_POINT ('', (52.7444995232661, 1.28180372397325, 10.9252686336087));
#14490 = CARTESIAN_POINT ('', (52.6750544084331, 1.21203864512758, 10.9332687916676));
#14500 = CARTESIAN_POINT ('', (52.6094211013652, 1.13892083099147, 10.9408801904021));
#14510 = CARTESIAN_POINT ('', (52.5437663502054, 1.06577912738237, 10.9484940759767));
#14520 = CARTESIAN_POINT ('', (52.4817385078805, 0.989063308082042, 10.9557407981178));
#14530 = CARTESIAN_POINT ('', (52.4250325692672, 0.908699839534749, 10.9624023189094));
#14540 = CARTESIAN_POINT ('', (52.3682920365679, 0.828287344363354, 10.9690679036355));
#14550 = CARTESIAN_POINT ('', (52.3166378465788, 0.74382984413333, 10.9751759701995));
#14560 = CARTESIAN_POINT ('', (52.2723696460025, 0.655836707015758, 10.9804316041643));
#14570 = CARTESIAN_POINT ('', (52.2280581056948, 0.567757422305127, 10.9856923835329));
#14580 = CARTESIAN_POINT ('', (52.1908956859334, 0.47547092019397, 10.9901284564862));
#14590 = CARTESIAN_POINT ('', (52.1634536965713, 0.380680035955776, 10.9934108769856));
#14600 = CARTESIAN_POINT ('', (52.1451830796897, 0.317569162070958, 10.9955962814982));
#14610 = CARTESIAN_POINT ('', (52.131124303859, 0.253038059196973, 10.9972818169092));
#14620 = CARTESIAN_POINT ('', (52.1218531705187, 0.187965921145183, 10.9983939196816));
#14630 = CARTESIAN_POINT ('', (52.1156773735707, 0.144619299235125, 10.9991347267281));
#14640 = CARTESIAN_POINT ('', (52.11160110663, 0.100913903556796, 10.9996241034137));
#14650 = CARTESIAN_POINT ('', (52.1097072838312, 0.0571648391391657, 10.9998514617774));
#14660 = CARTESIAN_POINT ('', (52.1088658607309, 0.0377271845480413, 10.999952476814));
#14670 = CARTESIAN_POINT ('', (52.1084530619853, 0.0182658823399441, 11.0000020408111));
#14680 = CARTESIAN_POINT ('', (52.1084705961882, -0.00119022983579914, 10.999999935607));
#14690 = CARTESIAN_POINT ('', (52.1085300675874, -0.0671802390257315, 10.9999927953089));
#14700 = CARTESIAN_POINT ('', (52.1135872013138, -0.133343430424058, 10.9993853346224));
#14710 = CARTESIAN_POINT ('', (52.123409368097, -0.198587756439993, 10.9982072585942));
#14720 = CARTESIAN_POINT ('', (52.1332278575732, -0.263807655726005, 10.9970296236243));
#14730 = CARTESIAN_POINT ('', (52.1478468358708, -0.32844519590816, 10.9952772088138));
#14740 = CARTESIAN_POINT ('', (52.166669148473, -0.391628095666031, 10.9930263091966));
#14750 = CARTESIAN_POINT ('', (52.1854790861851, -0.454769455286994, 10.9907768894526));
#14760 = CARTESIAN_POINT ('', (52.2085556768583, -0.516741824019818, 10.9880215186955));
#14770 = CARTESIAN_POINT ('', (52.2351394490221, -0.576982972198444, 10.9848573340669));
#14780 = CARTESIAN_POINT ('', (52.2617039977872, -0.637180558477476, 10.9816954375402));
#14790 = CARTESIAN_POINT ('', (52.2918535652795, -0.695866936140357, 10.9781155281923));
#14800 = CARTESIAN_POINT ('', (52.3248396090674, -0.752753817192588, 10.9742134884784));
#14810 = CARTESIAN_POINT ('', (52.3578043688768, -0.80960399244395, 10.9703139665242));
#14820 = CARTESIAN_POINT ('', (52.3936837972521, -0.864812466886696, 10.9660830809555));
#14830 = CARTESIAN_POINT ('', (52.431829344639, -0.918279088727316, 10.9616040575824));
#14840 = CARTESIAN_POINT ('', (52.4890982997596, -0.998549992578442, 10.9548795771092));
#14850 = CARTESIAN_POINT ('', (52.5516457819003, -1.07516121081648, 10.9475760760078));
#14860 = CARTESIAN_POINT ('', (52.6177880576489, -1.14820094758114, 10.9399101725733));
#14870 = CARTESIAN_POINT ('', (52.6838621827746, -1.22116542682708, 10.9322521678102));
#14880 = CARTESIAN_POINT ('', (52.753709732556, -1.29078090236617, 10.9242108223821));
#14890 = CARTESIAN_POINT ('', (52.8261722781651, -1.35733127288942, 10.9159356820951));
#14900 = CARTESIAN_POINT ('', (52.89528896207, -1.42080876853269, 10.908042635409));
#14910 = CARTESIAN_POINT ('', (52.966905227563, -1.481606315119, 10.8999229684461));
#14920 = CARTESIAN_POINT ('', (53.040327414771, -1.54, 10.8916665391482));
#14930 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#14440, #14450, #14460, #14470, #14480, #14490, #14500, #14510, #14520, #14530, #14540, #14550, #14560, #14570, #14580, #14590, #14600, #14610, #14620, #14630, #14640, #14650, #14660, #14670, #14680, #14690, #14700, #14710, #14720, #14730, #14740, #14750, #14760, #14770, #14780, #14790, #14800, #14810, #14820, #14830, #14840, #14850, #14860, #14870, #14880, #14890, #14900, #14910, #14920), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.295598100635543, 0.59124470078973, 0.8869878963024, 1.18291151322717, 1.47912484714764, 1.67634088232124, 1.80771275924446, 1.86608111981659, 2.06405122894033, 2.261947220318, 2.45971310328648, 2.65733597673742, 2.85483133562427, 3.1513365274336, 3.4475362109537, 3.73005926788575), .UNSPECIFIED.);
#14940 = EDGE_CURVE ('', #14430, #14360, #14930, .T.);
#14950 = ORIENTED_EDGE ('', *, *, #14940, .F.);
#14960 = CARTESIAN_POINT ('', (53.040327414771, 1.54, 10.8916665391482));
#14970 = CARTESIAN_POINT ('', (65.6, 1.54, 10.8916665391482));
#14980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14960, #14970), .UNSPECIFIED., .F., .U., (2, 2), (0.219896112718693, 1.), .UNSPECIFIED.);
#14990 = EDGE_CURVE ('', #14430, #5350, #14980, .T.);
#15000 = ORIENTED_EDGE ('', *, *, #14990, .T.);
#15010 = ORIENTED_EDGE ('', *, *, #5400, .F.);
#15020 = ORIENTED_EDGE ('', *, *, #14250, .F.);
#15030 = ORIENTED_EDGE ('', *, *, #13870, .F.);
#15040 = ORIENTED_EDGE ('', *, *, #14090, .T.);
#15050 = ORIENTED_EDGE ('', *, *, #4810, .F.);
#15060 = CARTESIAN_POINT ('', (49.5, 11., 0.));
#15070 = CARTESIAN_POINT ('', (65.6, 11., 0.));
#15080 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#15060, #15070), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((2, 2), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1.))
   REPRESENTATION_ITEM ('')
);
#15090 = EDGE_CURVE ('', #1560, #4480, #15080, .T.);
#15100 = ORIENTED_EDGE ('', *, *, #15090, .F.);
#15110 = ORIENTED_EDGE ('', *, *, #1670, .T.);
#15120 = ORIENTED_EDGE ('', *, *, #15090, .T.);
#15130 = ORIENTED_EDGE ('', *, *, #4530, .F.);
#15140 = ORIENTED_EDGE ('', *, *, #13080, .F.);
#15150 = ORIENTED_EDGE ('', *, *, #12800, .F.);
#15160 = ORIENTED_EDGE ('', *, *, #13230, .T.);
#15170 = ORIENTED_EDGE ('', *, *, #3940, .F.);
#15180 = ORIENTED_EDGE ('', *, *, #12080, .F.);
#15190 = ORIENTED_EDGE ('', *, *, #11800, .F.);
#15200 = ORIENTED_EDGE ('', *, *, #12230, .T.);
#15210 = ORIENTED_EDGE ('', *, *, #3230, .F.);
#15220 = ORIENTED_EDGE ('', *, *, #10990, .F.);
#15230 = ORIENTED_EDGE ('', *, *, #10710, .F.);
#15240 = ORIENTED_EDGE ('', *, *, #11140, .T.);
#15250 = ORIENTED_EDGE ('', *, *, #2640, .F.);
#15260 = ORIENTED_EDGE ('', *, *, #9990, .F.);
#15270 = ORIENTED_EDGE ('', *, *, #9710, .F.);
#15280 = ORIENTED_EDGE ('', *, *, #10140, .T.);
#15290 = ORIENTED_EDGE ('', *, *, #2030, .F.);
#15300 = EDGE_LOOP ('', (#14410, #14950, #15000, #15010, #15020, #15030, #15040, #15050, #15100, #15110, #15120, #15130, #15140, #15150, #15160, #15170, #15180, #15190, #15200, #15210, #15220, #15230, #15240, #15250, #15260, #15270, #15280, #15290));
#15310 = FACE_OUTER_BOUND ('', #15300, .T.);
#15320 = CARTESIAN_POINT ('', (49.5, 11., 0.));
#15330 = CARTESIAN_POINT ('', (65.6, 11., 0.));
#15340 = CARTESIAN_POINT ('', (49.5, 11., 11.));
#15350 = CARTESIAN_POINT ('', (65.6, 11., 11.));
#15360 = CARTESIAN_POINT ('', (49.5, 6.73555739531044E-16, 11.));
#15370 = CARTESIAN_POINT ('', (65.6, 6.73555739531044E-16, 11.));
#15380 = CARTESIAN_POINT ('', (49.5, -11., 11.));
#15390 = CARTESIAN_POINT ('', (65.6, -11., 11.));
#15400 = CARTESIAN_POINT ('', (49.5, -11., 1.34711147906209E-15));
#15410 = CARTESIAN_POINT ('', (65.6, -11., 1.34711147906209E-15));
#15420 = CARTESIAN_POINT ('', (49.5, -11., -11.));
#15430 = CARTESIAN_POINT ('', (65.6, -11., -11.));
#15440 = CARTESIAN_POINT ('', (49.5, -2.02066721859313E-15, -11.));
#15450 = CARTESIAN_POINT ('', (65.6, -2.02066721859313E-15, -11.));
#15460 = CARTESIAN_POINT ('', (49.5, 11., -11.));
#15470 = CARTESIAN_POINT ('', (65.6, 11., -11.));
#15480 = CARTESIAN_POINT ('', (49.5, 11., 0.));
#15490 = CARTESIAN_POINT ('', (65.6, 11., 0.));
#15500 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#15320, #15330), (#15340, #15350), (#15360, #15370), (#15380, #15390), (#15400, #15410), (#15420, #15430), (#15440, #15450), (#15460, #15470), (#15480, #15490)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 17.2787595947439, 34.5575191894877, 51.8362787842316, 69.1150383789755), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#15510 = ADVANCED_FACE ('', (#15310), #15500, .T.);
#15520 = ORIENTED_EDGE ('', *, *, #5860, .F.);
#15530 = CARTESIAN_POINT ('', (53.040327414771, 1.54, 10.8916665391482));
#15540 = CARTESIAN_POINT ('', (59.5222631289668, 1.54, 10.1627636560705));
#15550 = CARTESIAN_POINT ('', (66.0448625156373, 1.54, 10.1128912495483));
#15560 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#15530, #15540, #15550), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0784761235988286, 0.47124873308446), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.998727020769873, 0.995812678491747, 0.995613897266264))
   REPRESENTATION_ITEM ('')
);
#15570 = EDGE_CURVE ('', #14430, #5430, #15560, .T.);
#15580 = ORIENTED_EDGE ('', *, *, #15570, .F.);
#15590 = ORIENTED_EDGE ('', *, *, #14940, .T.);
#15600 = CARTESIAN_POINT ('', (53.040327414771, -1.54, 10.8916665391482));
#15610 = CARTESIAN_POINT ('', (59.5222631289668, -1.54, 10.1627636560705));
#15620 = CARTESIAN_POINT ('', (66.0448625156373, -1.54, 10.1128912495483));
#15630 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#15600, #15610, #15620), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0784761235988286, 0.471248733084461), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.998727020769873, 0.995812678491747, 0.995613897266263))
   REPRESENTATION_ITEM ('')
);
#15640 = EDGE_CURVE ('', #14360, #1810, #15630, .T.);
#15650 = ORIENTED_EDGE ('', *, *, #15640, .T.);
#15660 = EDGE_LOOP ('', (#15520, #15580, #15590, #15650));
#15670 = FACE_OUTER_BOUND ('', #15660, .T.);
#15680 = CARTESIAN_POINT ('', (52.1084530619855, -1.54, 11.0000020408123));
#15690 = CARTESIAN_POINT ('', (52.1084530619855, 1.54, 11.0000020408123));
#15700 = CARTESIAN_POINT ('', (59.0854938395819, -1.54, 10.1623185381662));
#15710 = CARTESIAN_POINT ('', (59.0854938395819, 1.54, 10.1623185381662));
#15720 = CARTESIAN_POINT ('', (66.1124646712111, -1.54, 10.1123926502758));
#15730 = CARTESIAN_POINT ('', (66.1124646712111, 1.54, 10.1123926502758));
#15740 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#15680, #15690), (#15700, #15710), (#15720, #15730)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 3), (2, 2), (0.0501417286679887, 0.473283726554786), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.999161630839276, 0.999161630839276), (0.995810903991641, 0.995810903991641), (0.995611910352074, 0.995611910352074)))
   REPRESENTATION_ITEM ('')
);
#15750 = ADVANCED_FACE ('', (#15670), #15740, .T.);
#15760 = ORIENTED_EDGE ('', *, *, #5550, .T.);
#15770 = ORIENTED_EDGE ('', *, *, #14990, .F.);
#15780 = ORIENTED_EDGE ('', *, *, #15570, .T.);
#15790 = EDGE_LOOP ('', (#15760, #15770, #15780));
#15800 = FACE_OUTER_BOUND ('', #15790, .T.);
#15810 = CARTESIAN_POINT ('', (66.0448625156373, 1.54000000000001, 10.1128912495483));
#15820 = CARTESIAN_POINT ('', (53.040327414771, 1.54000000000001, 10.1128912495483));
#15830 = CARTESIAN_POINT ('', (66.0448625156373, 1.54, 10.8916665391482));
#15840 = CARTESIAN_POINT ('', (53.040327414771, 1.54, 10.8916665391482));
#15850 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15810, #15820), (#15830, #15840)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.484998679275285, 0.50639207891264), (0.526238169321074, 0.883480136581982), .UNSPECIFIED.);
#15860 = ADVANCED_FACE ('', (#15800), #15850, .T.);
#15870 = ORIENTED_EDGE ('', *, *, #1950, .F.);
#15880 = ORIENTED_EDGE ('', *, *, #15640, .F.);
#15890 = ORIENTED_EDGE ('', *, *, #14400, .T.);
#15900 = EDGE_LOOP ('', (#15870, #15880, #15890));
#15910 = FACE_OUTER_BOUND ('', #15900, .T.);
#15920 = CARTESIAN_POINT ('', (66.0448625156373, -1.53999999999999, 10.1128912495483));
#15930 = CARTESIAN_POINT ('', (66.0448625156373, -1.54, 10.8916665391482));
#15940 = CARTESIAN_POINT ('', (53.040327414771, -1.53999999999999, 10.1128912495483));
#15950 = CARTESIAN_POINT ('', (53.040327414771, -1.54, 10.8916665391482));
#15960 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15920, #15930), (#15940, #15950)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.526238169321073, 0.883480136581982), (0.484998679275285, 0.50639207891264), .UNSPECIFIED.);
#15970 = ADVANCED_FACE ('', (#15910), #15960, .T.);
#15980 = CLOSED_SHELL ('', (#250, #860, #1110, #1540, #1790, #6090, #6340, #6770, #7180, #7490, #7610, #8320, #8470, #8610, #8730, #9160, #9250, #9950, #10100, #10250, #10950, #11100, #11250, #12040, #12190, #12340, #13040, #13190, #13340, #14040, #14190, #14340, #15510, #15750, #15860, #15970));
#15990 = MANIFOLD_SOLID_BREP ('', #15980);
#16000 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#16010 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#16020 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#16030 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #16000, 'DISTANCE_ACCURACY_VALUE', '');
#16040 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#16030))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#16000, #16010, #16020))
   REPRESENTATION_CONTEXT ('', '3D')
);
#16050 = COLOUR_RGB ('', 0.71764705882353, 0.71764705882353, 0.71764705882353);
#16060 = FILL_AREA_STYLE_COLOUR ('', #16050);
#16070 = FILL_AREA_STYLE ('', (#16060));
#16080 = SURFACE_STYLE_FILL_AREA (#16070);
#16090 = SURFACE_SIDE_STYLE ('', (#16080));
#16100 = SURFACE_STYLE_USAGE (.POSITIVE., #16090);
#16110 = PRESENTATION_STYLE_ASSIGNMENT ((#16100));
#16120 = STYLED_ITEM ('', (#16110), #15990);
#16130 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#15990), #16040);
#16140 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#16150 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #16140);
#16160 = MECHANICAL_CONTEXT ('', #16140, 'mechanical');
#16170 = PRODUCT ('product-name', '', '', (#16160));
#16180 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#16190 = PERSON ('', '', $, $, $, $);
#16200 = ORGANIZATION ($, '', '');
#16210 = PERSON_AND_ORGANIZATION (#16190, #16200);
#16220 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16210, #16180, (#16170));
#16230 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#16170));
#16240 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #16170, .NOT_KNOWN.);
#16250 = APPROVAL_STATUS ('approved');
#16260 = APPROVAL (#16250, '');
#16270 = CALENDAR_DATE (2009, 14, 12);
#16280 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16290 = LOCAL_TIME (15, 29, 16., #16280);
#16300 = DATE_AND_TIME (#16270, #16290);
#16310 = APPROVAL_DATE_TIME (#16300, #16260);
#16320 = APPROVAL_ROLE ('');
#16330 = PERSON ('', '', $, $, $, $);
#16340 = ORGANIZATION ($, '', '');
#16350 = PERSON_AND_ORGANIZATION (#16330, #16340);
#16360 = APPROVAL_PERSON_ORGANIZATION (#16350, #16260, #16320);
#16370 = CC_DESIGN_APPROVAL (#16260, (#16240));
#16380 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#16390 = PERSON ('', '', $, $, $, $);
#16400 = ORGANIZATION ($, '', '');
#16410 = PERSON_AND_ORGANIZATION (#16390, #16400);
#16420 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16410, #16380, (#16240));
#16430 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#16440 = PERSON ('', '', $, $, $, $);
#16450 = ORGANIZATION ($, '', '');
#16460 = PERSON_AND_ORGANIZATION (#16440, #16450);
#16470 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16460, #16430, (#16240));
#16480 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#16490 = SECURITY_CLASSIFICATION ('', '', #16480);
#16500 = APPROVAL_STATUS ('approved');
#16510 = APPROVAL (#16500, '');
#16520 = CALENDAR_DATE (2009, 14, 12);
#16530 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16540 = LOCAL_TIME (15, 29, 16., #16530);
#16550 = DATE_AND_TIME (#16520, #16540);
#16560 = APPROVAL_DATE_TIME (#16550, #16510);
#16570 = APPROVAL_ROLE ('');
#16580 = PERSON ('', '', $, $, $, $);
#16590 = ORGANIZATION ($, '', '');
#16600 = PERSON_AND_ORGANIZATION (#16580, #16590);
#16610 = APPROVAL_PERSON_ORGANIZATION (#16600, #16510, #16570);
#16620 = CC_DESIGN_APPROVAL (#16510, (#16490));
#16630 = DATE_TIME_ROLE ('classification_date');
#16640 = CALENDAR_DATE (2009, 14, 12);
#16650 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16660 = LOCAL_TIME (15, 29, 16., #16650);
#16670 = DATE_AND_TIME (#16640, #16660);
#16680 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#16670, #16630, (#16490));
#16690 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#16700 = PERSON ('', '', $, $, $, $);
#16710 = ORGANIZATION ($, '', '');
#16720 = PERSON_AND_ORGANIZATION (#16700, #16710);
#16730 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16720, #16690, (#16490));
#16740 = CC_DESIGN_SECURITY_CLASSIFICATION (#16490, (#16240));
#16750 = DESIGN_CONTEXT ('', #16140, 'design');
#16760 = PRODUCT_DEFINITION ('', '', #16240, #16750);
#16770 = APPROVAL_STATUS ('approved');
#16780 = APPROVAL (#16770, '');
#16790 = CALENDAR_DATE (2009, 14, 12);
#16800 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16810 = LOCAL_TIME (15, 29, 16., #16800);
#16820 = DATE_AND_TIME (#16790, #16810);
#16830 = APPROVAL_DATE_TIME (#16820, #16780);
#16840 = APPROVAL_ROLE ('');
#16850 = PERSON ('', '', $, $, $, $);
#16860 = ORGANIZATION ($, '', '');
#16870 = PERSON_AND_ORGANIZATION (#16850, #16860);
#16880 = APPROVAL_PERSON_ORGANIZATION (#16870, #16780, #16840);
#16890 = CC_DESIGN_APPROVAL (#16780, (#16760));
#16900 = DATE_TIME_ROLE ('creation_date');
#16910 = CALENDAR_DATE (2009, 14, 12);
#16920 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#16930 = LOCAL_TIME (15, 29, 16., #16920);
#16940 = DATE_AND_TIME (#16910, #16930);
#16950 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#16940, #16900, (#16760));
#16960 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#16970 = PERSON ('', '', $, $, $, $);
#16980 = ORGANIZATION ($, '', '');
#16990 = PERSON_AND_ORGANIZATION (#16970, #16980);
#17000 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#16990, #16960, (#16760));
#17010 = PRODUCT_DEFINITION_SHAPE ('', '', #16760);
#17020 = SHAPE_DEFINITION_REPRESENTATION (#17010, #16130);
ENDSEC;
END-ISO-10303-21;