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

DATA;
#10 = CARTESIAN_POINT ('', (45., 11.5751288694036, 0.));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (45., 11.5751288694036, 0.));
#40 = CARTESIAN_POINT ('', (45., 11.5751288694036, 11.5751288694036));
#50 = CARTESIAN_POINT ('', (45., 7.0877222598166E-16, 11.5751288694036));
#60 = CARTESIAN_POINT ('', (45., -11.5751288694036, 11.5751288694036));
#70 = CARTESIAN_POINT ('', (45., -11.5751288694036, 1.41754445196332E-15));
#80 = CARTESIAN_POINT ('', (45., -11.5751288694036, -11.5751288694036));
#90 = CARTESIAN_POINT ('', (45., -2.12631667794498E-15, -11.5751288694036));
#100 = CARTESIAN_POINT ('', (45., 11.5751288694036, -11.5751288694036));
#110 = CARTESIAN_POINT ('', (45., 11.5751288694036, 0.));
#120 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#30, #40, #50, #60, #70, #80, #90, #100, #110), .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 ('')
);
#130 = EDGE_CURVE ('', #20, #20, #120, .T.);
#140 = ORIENTED_EDGE ('', *, *, #130, .T.);
#150 = EDGE_LOOP ('', (#140));
#160 = FACE_OUTER_BOUND ('', #150, .T.);
#170 = CARTESIAN_POINT ('', (45., 5., 0.));
#180 = VERTEX_POINT ('', #170);
#190 = CARTESIAN_POINT ('', (45., 5., 0.));
#200 = CARTESIAN_POINT ('', (45., 5., 5.));
#210 = CARTESIAN_POINT ('', (45., -2.21194236910111E-16, 5.));
#220 = CARTESIAN_POINT ('', (45., -5., 5.));
#230 = CARTESIAN_POINT ('', (45., -5., 3.90278794648645E-16));
#240 = CARTESIAN_POINT ('', (45., -5., -5.));
#250 = CARTESIAN_POINT ('', (45., -1.22379643113243E-15, -5.));
#260 = CARTESIAN_POINT ('', (45., 5., -5.));
#270 = CARTESIAN_POINT ('', (45., 5., 0.));
#280 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#190, #200, #210, #220, #230, #240, #250, #260, #270), .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 ('')
);
#290 = EDGE_CURVE ('', #180, #180, #280, .T.);
#300 = ORIENTED_EDGE ('', *, *, #290, .F.);
#310 = EDGE_LOOP ('', (#300));
#320 = FACE_BOUND ('', #310, .T.);
#330 = CARTESIAN_POINT ('', (45., -11.5751288694036, -11.5751288694036));
#340 = CARTESIAN_POINT ('', (45., -11.5751288694036, 11.5751288694036));
#350 = CARTESIAN_POINT ('', (45., 11.5751288694036, -11.5751288694036));
#360 = CARTESIAN_POINT ('', (45., 11.5751288694036, 11.5751288694036));
#370 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#330, #340), (#350, #360)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0454545454545453, 0.954545454545454), (0.0454545454545451, 0.954545454545455), .UNSPECIFIED.);
#380 = ADVANCED_FACE ('', (#160, #320), #370, .T.);
#390 = CARTESIAN_POINT ('', (17.5, 14., 0.));
#400 = VERTEX_POINT ('', #390);
#410 = CARTESIAN_POINT ('', (17.5, 14., 0.));
#420 = CARTESIAN_POINT ('', (17.5, 14., 14.));
#430 = CARTESIAN_POINT ('', (17.5, 8.57252759403147E-16, 14.));
#440 = CARTESIAN_POINT ('', (17.5, -14., 14.));
#450 = CARTESIAN_POINT ('', (17.5, -14., 1.71450551880629E-15));
#460 = CARTESIAN_POINT ('', (17.5, -14., -14.));
#470 = CARTESIAN_POINT ('', (17.5, -2.57175827820944E-15, -14.));
#480 = CARTESIAN_POINT ('', (17.5, 14., -14.));
#490 = CARTESIAN_POINT ('', (17.5, 14., 0.));
#500 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#410, #420, #430, #440, #450, #460, #470, #480, #490), .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 ('')
);
#510 = EDGE_CURVE ('', #400, #400, #500, .T.);
#520 = ORIENTED_EDGE ('', *, *, #510, .F.);
#530 = EDGE_LOOP ('', (#520));
#540 = FACE_OUTER_BOUND ('', #530, .T.);
#550 = CARTESIAN_POINT ('', (17.5, 9.8, 0.));
#560 = VERTEX_POINT ('', #550);
#570 = CARTESIAN_POINT ('', (17.5, 9.8, 0.));
#580 = CARTESIAN_POINT ('', (17.5, 9.8, 9.8));
#590 = CARTESIAN_POINT ('', (17.5, 6.00076931582203E-16, 9.8));
#600 = CARTESIAN_POINT ('', (17.5, -9.8, 9.8));
#610 = CARTESIAN_POINT ('', (17.5, -9.8, 1.20015386316441E-15));
#620 = CARTESIAN_POINT ('', (17.5, -9.8, -9.8));
#630 = CARTESIAN_POINT ('', (17.5, -1.80023079474661E-15, -9.8));
#640 = CARTESIAN_POINT ('', (17.5, 9.8, -9.8));
#650 = CARTESIAN_POINT ('', (17.5, 9.8, 0.));
#660 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#570, #580, #590, #600, #610, #620, #630, #640, #650), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 15.39380400259, 30.78760800518, 46.18141200777, 61.5752160103599), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#670 = EDGE_CURVE ('', #560, #560, #660, .T.);
#680 = ORIENTED_EDGE ('', *, *, #670, .T.);
#690 = EDGE_LOOP ('', (#680));
#700 = FACE_BOUND ('', #690, .T.);
#710 = CARTESIAN_POINT ('', (17.5, -14., -14.));
#720 = CARTESIAN_POINT ('', (17.5, 14., -14.));
#730 = CARTESIAN_POINT ('', (17.5, -14., 14.));
#740 = CARTESIAN_POINT ('', (17.5, 14., 14.));
#750 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#710, #720), (#730, #740)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0454545454545454, 0.954545454545454), (0.0454545454545455, 0.954545454545454), .UNSPECIFIED.);
#760 = ADVANCED_FACE ('', (#540, #700), #750, .T.);
#770 = CARTESIAN_POINT ('', (3., 9.8, 0.));
#780 = VERTEX_POINT ('', #770);
#790 = CARTESIAN_POINT ('', (3., 9.8, 0.));
#800 = CARTESIAN_POINT ('', (17.5, 9.8, 0.));
#810 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#790, #800), .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 ('')
);
#820 = EDGE_CURVE ('', #780, #560, #810, .T.);
#830 = ORIENTED_EDGE ('', *, *, #820, .F.);
#840 = CARTESIAN_POINT ('', (3., 9.8, 0.));
#850 = CARTESIAN_POINT ('', (3., 9.8, 9.8));
#860 = CARTESIAN_POINT ('', (3., 6.00076931582203E-16, 9.8));
#870 = CARTESIAN_POINT ('', (3., -9.8, 9.8));
#880 = CARTESIAN_POINT ('', (3., -9.8, 1.20015386316441E-15));
#890 = CARTESIAN_POINT ('', (3., -9.8, -9.8));
#900 = CARTESIAN_POINT ('', (3., -1.80023079474661E-15, -9.8));
#910 = CARTESIAN_POINT ('', (3., 9.8, -9.8));
#920 = CARTESIAN_POINT ('', (3., 9.8, 0.));
#930 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#840, #850, #860, #870, #880, #890, #900, #910, #920), .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 ('')
);
#940 = EDGE_CURVE ('', #780, #780, #930, .T.);
#950 = ORIENTED_EDGE ('', *, *, #940, .T.);
#960 = ORIENTED_EDGE ('', *, *, #820, .T.);
#970 = ORIENTED_EDGE ('', *, *, #670, .F.);
#980 = EDGE_LOOP ('', (#830, #950, #960, #970));
#990 = FACE_OUTER_BOUND ('', #980, .T.);
#1000 = CARTESIAN_POINT ('', (3., 9.8, 0.));
#1010 = CARTESIAN_POINT ('', (17.5, 9.8, 0.));
#1020 = CARTESIAN_POINT ('', (3., 9.8, 9.8));
#1030 = CARTESIAN_POINT ('', (17.5, 9.8, 9.8));
#1040 = CARTESIAN_POINT ('', (3., 6.00076931582203E-16, 9.8));
#1050 = CARTESIAN_POINT ('', (17.5, 6.00076931582203E-16, 9.8));
#1060 = CARTESIAN_POINT ('', (3., -9.8, 9.8));
#1070 = CARTESIAN_POINT ('', (17.5, -9.8, 9.8));
#1080 = CARTESIAN_POINT ('', (3., -9.8, 1.20015386316441E-15));
#1090 = CARTESIAN_POINT ('', (17.5, -9.8, 1.20015386316441E-15));
#1100 = CARTESIAN_POINT ('', (3., -9.8, -9.8));
#1110 = CARTESIAN_POINT ('', (17.5, -9.8, -9.8));
#1120 = CARTESIAN_POINT ('', (3., -1.80023079474661E-15, -9.8));
#1130 = CARTESIAN_POINT ('', (17.5, -1.80023079474661E-15, -9.8));
#1140 = CARTESIAN_POINT ('', (3., 9.8, -9.8));
#1150 = CARTESIAN_POINT ('', (17.5, 9.8, -9.8));
#1160 = CARTESIAN_POINT ('', (3., 9.8, 0.));
#1170 = CARTESIAN_POINT ('', (17.5, 9.8, 0.));
#1180 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#1000, #1010), (#1020, #1030), (#1040, #1050), (#1060, #1070), (#1080, #1090), (#1100, #1110), (#1120, #1130), (#1140, #1150), (#1160, #1170)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 15.39380400259, 30.78760800518, 46.18141200777, 61.5752160103599), (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 ('')
);
#1190 = ADVANCED_FACE ('', (#990), #1180, .T.);
#1200 = CARTESIAN_POINT ('', (3., 16.8, 0.));
#1210 = VERTEX_POINT ('', #1200);
#1220 = CARTESIAN_POINT ('', (3., 16.8, 0.));
#1230 = CARTESIAN_POINT ('', (3., 16.8, 16.8));
#1240 = CARTESIAN_POINT ('', (3., 1.02870331128378E-15, 16.8));
#1250 = CARTESIAN_POINT ('', (3., -16.8, 16.8));
#1260 = CARTESIAN_POINT ('', (3., -16.8, 2.05740662256755E-15));
#1270 = CARTESIAN_POINT ('', (3., -16.8, -16.8));
#1280 = CARTESIAN_POINT ('', (3., -3.08610993385133E-15, -16.8));
#1290 = CARTESIAN_POINT ('', (3., 16.8, -16.8));
#1300 = CARTESIAN_POINT ('', (3., 16.8, 0.));
#1310 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1220, #1230, #1240, #1250, #1260, #1270, #1280, #1290, #1300), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 26.3893782901543, 52.7787565803085, 79.1681348704628, 105.557513160617), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#1320 = EDGE_CURVE ('', #1210, #1210, #1310, .T.);
#1330 = ORIENTED_EDGE ('', *, *, #1320, .T.);
#1340 = EDGE_LOOP ('', (#1330));
#1350 = FACE_OUTER_BOUND ('', #1340, .T.);
#1360 = ORIENTED_EDGE ('', *, *, #940, .F.);
#1370 = EDGE_LOOP ('', (#1360));
#1380 = FACE_BOUND ('', #1370, .T.);
#1390 = CARTESIAN_POINT ('', (3., -16.8, -16.8));
#1400 = CARTESIAN_POINT ('', (3., -16.8, 16.8));
#1410 = CARTESIAN_POINT ('', (3., 16.8, -16.8));
#1420 = CARTESIAN_POINT ('', (3., 16.8, 16.8));
#1430 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1390, #1400), (#1410, #1420)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0454545454545454, 0.954545454545454), (0.0454545454545452, 0.954545454545455), .UNSPECIFIED.);
#1440 = ADVANCED_FACE ('', (#1350, #1380), #1430, .T.);
#1450 = CARTESIAN_POINT ('', (0., 16.8, 0.));
#1460 = VERTEX_POINT ('', #1450);
#1470 = CARTESIAN_POINT ('', (0., 16.8, 0.));
#1480 = CARTESIAN_POINT ('', (3., 16.8, 0.));
#1490 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#1470, #1480), .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 ('')
);
#1500 = EDGE_CURVE ('', #1460, #1210, #1490, .T.);
#1510 = ORIENTED_EDGE ('', *, *, #1500, .F.);
#1520 = CARTESIAN_POINT ('', (0., 16.8, 0.));
#1530 = CARTESIAN_POINT ('', (0., 16.8, 16.8));
#1540 = CARTESIAN_POINT ('', (0., 1.02870331128378E-15, 16.8));
#1550 = CARTESIAN_POINT ('', (0., -16.8, 16.8));
#1560 = CARTESIAN_POINT ('', (0., -16.8, 2.05740662256755E-15));
#1570 = CARTESIAN_POINT ('', (0., -16.8, -16.8));
#1580 = CARTESIAN_POINT ('', (0., -3.08610993385133E-15, -16.8));
#1590 = CARTESIAN_POINT ('', (0., 16.8, -16.8));
#1600 = CARTESIAN_POINT ('', (0., 16.8, 0.));
#1610 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1520, #1530, #1540, #1550, #1560, #1570, #1580, #1590, #1600), .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 ('')
);
#1620 = EDGE_CURVE ('', #1460, #1460, #1610, .T.);
#1630 = ORIENTED_EDGE ('', *, *, #1620, .T.);
#1640 = ORIENTED_EDGE ('', *, *, #1500, .T.);
#1650 = ORIENTED_EDGE ('', *, *, #1320, .F.);
#1660 = EDGE_LOOP ('', (#1510, #1630, #1640, #1650));
#1670 = FACE_OUTER_BOUND ('', #1660, .T.);
#1680 = CARTESIAN_POINT ('', (0., 16.8, 0.));
#1690 = CARTESIAN_POINT ('', (3., 16.8, 0.));
#1700 = CARTESIAN_POINT ('', (0., 16.8, 16.8));
#1710 = CARTESIAN_POINT ('', (3., 16.8, 16.8));
#1720 = CARTESIAN_POINT ('', (0., 1.02870331128378E-15, 16.8));
#1730 = CARTESIAN_POINT ('', (3., 1.02870331128378E-15, 16.8));
#1740 = CARTESIAN_POINT ('', (0., -16.8, 16.8));
#1750 = CARTESIAN_POINT ('', (3., -16.8, 16.8));
#1760 = CARTESIAN_POINT ('', (0., -16.8, 2.05740662256755E-15));
#1770 = CARTESIAN_POINT ('', (3., -16.8, 2.05740662256755E-15));
#1780 = CARTESIAN_POINT ('', (0., -16.8, -16.8));
#1790 = CARTESIAN_POINT ('', (3., -16.8, -16.8));
#1800 = CARTESIAN_POINT ('', (0., -3.08610993385133E-15, -16.8));
#1810 = CARTESIAN_POINT ('', (3., -3.08610993385133E-15, -16.8));
#1820 = CARTESIAN_POINT ('', (0., 16.8, -16.8));
#1830 = CARTESIAN_POINT ('', (3., 16.8, -16.8));
#1840 = CARTESIAN_POINT ('', (0., 16.8, 0.));
#1850 = CARTESIAN_POINT ('', (3., 16.8, 0.));
#1860 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#1680, #1690), (#1700, #1710), (#1720, #1730), (#1740, #1750), (#1760, #1770), (#1780, #1790), (#1800, #1810), (#1820, #1830), (#1840, #1850)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 26.3893782901543, 52.7787565803085, 79.1681348704628, 105.557513160617), (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 ('')
);
#1870 = ADVANCED_FACE ('', (#1670), #1860, .T.);
#1880 = ORIENTED_EDGE ('', *, *, #1620, .F.);
#1890 = EDGE_LOOP ('', (#1880));
#1900 = FACE_OUTER_BOUND ('', #1890, .T.);
#1910 = CARTESIAN_POINT ('', (0., 12.5, 0.));
#1920 = VERTEX_POINT ('', #1910);
#1930 = CARTESIAN_POINT ('', (0., 12.5, 0.));
#1940 = CARTESIAN_POINT ('', (0., 12.5, 12.5));
#1950 = CARTESIAN_POINT ('', (0., 7.65404249467096E-16, 12.5));
#1960 = CARTESIAN_POINT ('', (0., -12.5, 12.5));
#1970 = CARTESIAN_POINT ('', (0., -12.5, 1.53080849893419E-15));
#1980 = CARTESIAN_POINT ('', (0., -12.5, -12.5));
#1990 = CARTESIAN_POINT ('', (0., -2.29621274840129E-15, -12.5));
#2000 = CARTESIAN_POINT ('', (0., 12.5, -12.5));
#2010 = CARTESIAN_POINT ('', (0., 12.5, 0.));
#2020 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1930, #1940, #1950, #1960, #1970, #1980, #1990, #2000, #2010), .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 ('')
);
#2030 = EDGE_CURVE ('', #1920, #1920, #2020, .T.);
#2040 = ORIENTED_EDGE ('', *, *, #2030, .T.);
#2050 = EDGE_LOOP ('', (#2040));
#2060 = FACE_BOUND ('', #2050, .T.);
#2070 = CARTESIAN_POINT ('', (0., -16.8, -16.8));
#2080 = CARTESIAN_POINT ('', (0., 16.8, -16.8));
#2090 = CARTESIAN_POINT ('', (0., -16.8, 16.8));
#2100 = CARTESIAN_POINT ('', (0., 16.8, 16.8));
#2110 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2070, #2080), (#2090, #2100)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0454545454545454, 0.954545454545455), (0.0454545454545454, 0.954545454545454), .UNSPECIFIED.);
#2120 = ADVANCED_FACE ('', (#1900, #2060), #2110, .T.);
#2130 = CARTESIAN_POINT ('', (-56., 4.03887360535088, 10.5));
#2140 = VERTEX_POINT ('', #2130);
#2150 = CARTESIAN_POINT ('', (-54.75, 6.78232998312527, 10.5));
#2160 = VERTEX_POINT ('', #2150);
#2170 = CARTESIAN_POINT ('', (-56., 4.03887360535088, 10.5));
#2180 = CARTESIAN_POINT ('', (-55.924654810613, 4.24874236169936, 10.5));
#2190 = CARTESIAN_POINT ('', (-55.8447642462257, 4.45702333417583, 10.5));
#2200 = CARTESIAN_POINT ('', (-55.7608971184585, 4.66363431484991, 10.5));
#2210 = CARTESIAN_POINT ('', (-55.677067790189, 4.87015217451824, 10.5));
#2220 = CARTESIAN_POINT ('', (-55.5892349089108, 5.07508041138476, 10.5));
#2230 = CARTESIAN_POINT ('', (-55.497915934478, 5.27839747301175, 10.5));
#2240 = CARTESIAN_POINT ('', (-55.4066382041939, 5.48162270663485, 10.5));
#2250 = CARTESIAN_POINT ('', (-55.3118506189165, 5.68329995693931, 10.5));
#2260 = CARTESIAN_POINT ('', (-55.2140130899544, 5.88344974473227, 10.5));
#2270 = CARTESIAN_POINT ('', (-55.1162181682305, 6.08351236934991, 10.5));
#2280 = CARTESIAN_POINT ('', (-55.0153528593436, 6.2820968874647, 10.5));
#2290 = CARTESIAN_POINT ('', (-54.9118196439885, 6.47925107535352, 10.5));
#2300 = CARTESIAN_POINT ('', (-54.8585738555067, 6.58064491452495, 10.5));
#2310 = CARTESIAN_POINT ('', (-54.804617579687, 6.68166844825666, 10.5));
#2320 = CARTESIAN_POINT ('', (-54.75, 6.78232998312527, 10.5));
#2330 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#2170, #2180, #2190, #2200, #2210, #2220, #2230, #2240, #2250, #2260, #2270, #2280, #2290, #2300, #2310, #2320), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 4), (0., 0.668951516998935, 1.33760153289731, 2.00594955349944, 2.67400651540823, 3.01757953751075), .UNSPECIFIED.);
#2340 = EDGE_CURVE ('', #2140, #2160, #2330, .T.);
#2350 = ORIENTED_EDGE ('', *, *, #2340, .T.);
#2360 = CARTESIAN_POINT ('', (-54.75, 12.5, 0.));
#2370 = VERTEX_POINT ('', #2360);
#2380 = CARTESIAN_POINT ('', (-54.75, 12.5, 0.));
#2390 = CARTESIAN_POINT ('', (-54.75, 12.5, 6.80675002008897));
#2400 = CARTESIAN_POINT ('', (-54.75, 6.78232998312527, 10.5));
#2410 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2380, #2390, #2400), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 12.3379091339758), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.815956283674202, 0.863205662191848))
   REPRESENTATION_ITEM ('')
);
#2420 = EDGE_CURVE ('', #2370, #2160, #2410, .T.);
#2430 = ORIENTED_EDGE ('', *, *, #2420, .F.);
#2440 = CARTESIAN_POINT ('', (-56., 11.25, 0.));
#2450 = VERTEX_POINT ('', #2440);
#2460 = CARTESIAN_POINT ('', (-54.75, 12.5, 0.));
#2470 = CARTESIAN_POINT ('', (-56., 11.25, 0.));
#2480 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#2460, #2470), .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 ('')
);
#2490 = EDGE_CURVE ('', #2370, #2450, #2480, .T.);
#2500 = ORIENTED_EDGE ('', *, *, #2490, .T.);
#2510 = CARTESIAN_POINT ('', (-56., 11.25, 0.));
#2520 = CARTESIAN_POINT ('', (-56., 11.25, 7.72620685140977));
#2530 = CARTESIAN_POINT ('', (-56., 4.03887360535088, 10.5));
#2540 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2510, #2520, #2530), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 0.189035984882067), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.778530567665281, 0.89198667343189))
   REPRESENTATION_ITEM ('')
);
#2550 = EDGE_CURVE ('', #2450, #2140, #2540, .T.);
#2560 = ORIENTED_EDGE ('', *, *, #2550, .T.);
#2570 = EDGE_LOOP ('', (#2350, #2430, #2500, #2560));
#2580 = FACE_OUTER_BOUND ('', #2570, .T.);
#2590 = CARTESIAN_POINT ('', (-54.75, 12.5, 0.));
#2600 = CARTESIAN_POINT ('', (-54.75, 12.5, 12.5));
#2610 = CARTESIAN_POINT ('', (-54.75, 7.65404249467096E-16, 12.5));
#2620 = CARTESIAN_POINT ('', (-54.75, -12.5, 12.5));
#2630 = CARTESIAN_POINT ('', (-54.75, -12.5, 1.53080849893419E-15));
#2640 = CARTESIAN_POINT ('', (-54.75, -12.5, -12.5));
#2650 = CARTESIAN_POINT ('', (-54.75, -2.29621274840129E-15, -12.5));
#2660 = CARTESIAN_POINT ('', (-54.75, 12.5, -12.5));
#2670 = CARTESIAN_POINT ('', (-54.75, 12.5, 0.));
#2680 = CARTESIAN_POINT ('', (-56., 11.25, 0.));
#2690 = CARTESIAN_POINT ('', (-56., 11.25, 11.25));
#2700 = CARTESIAN_POINT ('', (-56., 6.88863824520386E-16, 11.25));
#2710 = CARTESIAN_POINT ('', (-56., -11.25, 11.25));
#2720 = CARTESIAN_POINT ('', (-56., -11.25, 1.37772764904077E-15));
#2730 = CARTESIAN_POINT ('', (-56., -11.25, -11.25));
#2740 = CARTESIAN_POINT ('', (-56., -2.06659147356116E-15, -11.25));
#2750 = CARTESIAN_POINT ('', (-56., 11.25, -11.25));
#2760 = CARTESIAN_POINT ('', (-56., 11.25, 0.));
#2770 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#2590, #2600, #2610, #2620, #2630, #2640, #2650, #2660, #2670), (#2680, #2690, #2700, #2710, #2720, #2730, #2740, #2750, #2760)), .UNSPECIFIED., .F., .T., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 2, 2, 3), (0., 1.), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.)))
   REPRESENTATION_ITEM ('')
);
#2780 = ADVANCED_FACE ('', (#2580), #2770, .T.);
#2790 = ORIENTED_EDGE ('', *, *, #290, .T.);
#2800 = CARTESIAN_POINT ('', (17.5, 5., 0.));
#2810 = VERTEX_POINT ('', #2800);
#2820 = CARTESIAN_POINT ('', (45., 5., 0.));
#2830 = CARTESIAN_POINT ('', (17.5, 5., 0.));
#2840 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2820, #2830), .UNSPECIFIED., .F., .U., (2, 2), (1.81814876093478E-5, 1.), .UNSPECIFIED.);
#2850 = EDGE_CURVE ('', #180, #2810, #2840, .T.);
#2860 = ORIENTED_EDGE ('', *, *, #2850, .T.);
#2870 = CARTESIAN_POINT ('', (17.5, 5., 0.));
#2880 = CARTESIAN_POINT ('', (17.5, 5., 5.));
#2890 = CARTESIAN_POINT ('', (17.5, 3.06161699786838E-16, 5.));
#2900 = CARTESIAN_POINT ('', (17.5, -5., 5.));
#2910 = CARTESIAN_POINT ('', (17.5, -5., 6.12323399573677E-16));
#2920 = CARTESIAN_POINT ('', (17.5, -5., -5.));
#2930 = CARTESIAN_POINT ('', (17.5, -9.18485099360515E-16, -5.));
#2940 = CARTESIAN_POINT ('', (17.5, 5., -5.));
#2950 = CARTESIAN_POINT ('', (17.5, 5., 0.));
#2960 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2870, #2880, #2890, #2900, #2910, #2920, #2930, #2940, #2950), .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 ('')
);
#2970 = EDGE_CURVE ('', #2810, #2810, #2960, .T.);
#2980 = ORIENTED_EDGE ('', *, *, #2970, .F.);
#2990 = ORIENTED_EDGE ('', *, *, #2850, .F.);
#3000 = EDGE_LOOP ('', (#2790, #2860, #2980, #2990));
#3010 = FACE_OUTER_BOUND ('', #3000, .T.);
#3020 = CARTESIAN_POINT ('', (45., 5., 0.));
#3030 = CARTESIAN_POINT ('', (17.5, 5., 0.));
#3040 = CARTESIAN_POINT ('', (45., 5., 5.));
#3050 = CARTESIAN_POINT ('', (17.5, 5., 5.));
#3060 = CARTESIAN_POINT ('', (45., 3.06161699786838E-16, 5.));
#3070 = CARTESIAN_POINT ('', (17.5, 3.06161699786838E-16, 5.));
#3080 = CARTESIAN_POINT ('', (45., -5., 5.));
#3090 = CARTESIAN_POINT ('', (17.5, -5., 5.));
#3100 = CARTESIAN_POINT ('', (45., -5., 6.12323399573677E-16));
#3110 = CARTESIAN_POINT ('', (17.5, -5., 6.12323399573677E-16));
#3120 = CARTESIAN_POINT ('', (45., -5., -5.));
#3130 = CARTESIAN_POINT ('', (17.5, -5., -5.));
#3140 = CARTESIAN_POINT ('', (45., -9.18485099360515E-16, -5.));
#3150 = CARTESIAN_POINT ('', (17.5, -9.18485099360515E-16, -5.));
#3160 = CARTESIAN_POINT ('', (45., 5., -5.));
#3170 = CARTESIAN_POINT ('', (17.5, 5., -5.));
#3180 = CARTESIAN_POINT ('', (45., 5., 0.));
#3190 = CARTESIAN_POINT ('', (17.5, 5., 0.));
#3200 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#3020, #3030), (#3040, #3050), (#3060, #3070), (#3080, #3090), (#3100, #3110), (#3120, #3130), (#3140, #3150), (#3160, #3170), (#3180, #3190)), .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), (1.81814876093478E-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 ('')
);
#3210 = ADVANCED_FACE ('', (#3010), #3200, .T.);
#3220 = ORIENTED_EDGE ('', *, *, #2970, .T.);
#3230 = EDGE_LOOP ('', (#3220));
#3240 = FACE_OUTER_BOUND ('', #3230, .T.);
#3250 = CARTESIAN_POINT ('', (17.5, -5., -5.));
#3260 = CARTESIAN_POINT ('', (17.5, -5., 5.));
#3270 = CARTESIAN_POINT ('', (17.5, 5., -5.));
#3280 = CARTESIAN_POINT ('', (17.5, 5., 5.));
#3290 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3250, #3260), (#3270, #3280)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0454545454545452, 0.954545454545455), (0.0454545454545452, 0.954545454545455), .UNSPECIFIED.);
#3300 = ADVANCED_FACE ('', (#3240), #3290, .T.);
#3310 = CARTESIAN_POINT ('', (43.6829037686548, -12., 6.92820323027551));
#3320 = VERTEX_POINT ('', #3310);
#3330 = CARTESIAN_POINT ('', (24.925, -12., 6.92820323027551));
#3340 = VERTEX_POINT ('', #3330);
#3350 = CARTESIAN_POINT ('', (43.6829037686548, -12., 6.92820323027552));
#3360 = CARTESIAN_POINT ('', (24.925, -12., 6.92820323027552));
#3370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3350, #3360), .UNSPECIFIED., .F., .U., (2, 2), (0.0540672165746355, 1.), .UNSPECIFIED.);
#3380 = EDGE_CURVE ('', #3320, #3340, #3370, .T.);
#3390 = ORIENTED_EDGE ('', *, *, #3380, .F.);
#3400 = CARTESIAN_POINT ('', (43.6829037686548, 1.5186933667036E-15, 13.856406460551));
#3410 = VERTEX_POINT ('', #3400);
#3420 = CARTESIAN_POINT ('', (43.6829037686548, -12., 6.92820323027551));
#3430 = CARTESIAN_POINT ('', (43.7169368051945, -11.8979008903808, 6.98715017869817));
#3440 = CARTESIAN_POINT ('', (43.7503699740644, -11.7956469306258, 7.04618652988842));
#3450 = CARTESIAN_POINT ('', (43.7831697434326, -11.693245537988, 7.10530800149324));
#3460 = CARTESIAN_POINT ('', (43.8422286759258, -11.5088626276351, 7.21176152441949));
#3470 = CARTESIAN_POINT ('', (43.8992421081391, -11.3239775284581, 7.31850498619849));
#3480 = CARTESIAN_POINT ('', (43.9540180284678, -11.1386056733269, 7.42552947665864));
#3490 = CARTESIAN_POINT ('', (44.0087888637247, -10.9532510270202, 7.53254403159937));
#3500 = CARTESIAN_POINT ('', (44.0613283330221, -10.767389318525, 7.63985133903109));
#3510 = CARTESIAN_POINT ('', (44.1114368358073, -10.5810480142873, 7.74743554119388));
#3520 = CARTESIAN_POINT ('', (44.1615422837102, -10.3947180704119, 7.85501318444844));
#3530 = CARTESIAN_POINT ('', (44.2092231009026, -10.2078846872701, 7.96288148849895));
#3540 = CARTESIAN_POINT ('', (44.2542762232622, -10.0205896605315, 8.07101632260437));
#3550 = CARTESIAN_POINT ('', (44.2993284166052, -9.83329849590436, 8.17914892691869));
#3560 = CARTESIAN_POINT ('', (44.3417592122753, -9.64551799011618, 8.28756405248407));
#3570 = CARTESIAN_POINT ('', (44.3813676453694, -9.45730631549946, 8.39622811348866));
#3580 = CARTESIAN_POINT ('', (44.420977187574, -9.26908937060281, 8.50489521729079));
#3590 = CARTESIAN_POINT ('', (44.4577703322862, -9.08040950169472, 8.61382959039554));
#3600 = CARTESIAN_POINT ('', (44.4915551764408, -8.89134273187369, 8.72298734084652));
#3610 = CARTESIAN_POINT ('', (44.5253428517791, -8.70226011818033, 8.83215423876146));
#3620 = CARTESIAN_POINT ('', (44.5561275157439, -8.5127547581103, 8.94156520941077));
#3630 = CARTESIAN_POINT ('', (44.5837344201915, -8.32292105674301, 9.05116574799644));
#3640 = CARTESIAN_POINT ('', (44.6113453164348, -8.13305990654117, 9.16078213417412));
#3650 = CARTESIAN_POINT ('', (44.6357827011705, -7.94283067156147, 9.27061103419739));
#3660 = CARTESIAN_POINT ('', (44.6568976539778, -7.75234537914906, 9.38058776904836));
#3670 = CARTESIAN_POINT ('', (44.67801697973, -7.56182063688886, 9.49058728027957));
#3680 = CARTESIAN_POINT ('', (44.695816735414, -7.37099665018994, 9.60075956036803));
#3690 = CARTESIAN_POINT ('', (44.7101822578393, -7.18000078458659, 9.71103107478823));
#3700 = CARTESIAN_POINT ('', (44.7245516181066, -6.98895389320456, 9.82133204895548));
#3710 = CARTESIAN_POINT ('', (44.735487944373, -6.79768921609674, 9.93175876177015));
#3720 = CARTESIAN_POINT ('', (44.74291801717, -6.60634562695334, 10.0422310344698));
#3730 = CARTESIAN_POINT ('', (44.750350468944, -6.41494077299996, 10.152738678424));
#3740 = CARTESIAN_POINT ('', (44.7542760403272, -6.22340934042804, 10.2633194025774));
#3750 = CARTESIAN_POINT ('', (44.7546679055802, -6.03189658901795, 10.3738893411573));
#3760 = CARTESIAN_POINT ('', (44.7550599126394, -5.84031453393773, 10.4844992922297));
#3770 = CARTESIAN_POINT ('', (44.7519157389117, -5.64870285653699, 10.5951263457572));
#3780 = CARTESIAN_POINT ('', (44.7452569084347, -5.4572073107313, 10.7056863506767));
#3790 = CARTESIAN_POINT ('', (44.7385954881122, -5.26563728579871, 10.8162893561402));
#3800 = CARTESIAN_POINT ('', (44.7284152148917, -5.07413563379834, 10.9268528864728));
#3810 = CARTESIAN_POINT ('', (44.7147846036113, -4.88284263818612, 11.0372959489836));
#3820 = CARTESIAN_POINT ('', (44.7011485449869, -4.69147319414868, 11.1477831490133));
#3830 = CARTESIAN_POINT ('', (44.6840564854359, -4.50026631823019, 11.2581764902955));
#3840 = CARTESIAN_POINT ('', (44.6636194638444, -4.30935150268761, 11.3684012104413));
#3850 = CARTESIAN_POINT ('', (44.6431743878092, -4.11836144562147, 11.478669371301));
#3860 = CARTESIAN_POINT ('', (44.6193775645276, -3.92761999711764, 11.5887939979406));
#3870 = CARTESIAN_POINT ('', (44.5923756616181, -3.73724175340754, 11.6987089281945));
#3880 = CARTESIAN_POINT ('', (44.5653636557941, -3.54679227860143, 11.8086649837408));
#3890 = CARTESIAN_POINT ('', (44.5351390483406, -3.35666592685134, 11.9184344841038));
#3900 = CARTESIAN_POINT ('', (44.5018757817752, -3.16695982489108, 12.0279613531374));
#3910 = CARTESIAN_POINT ('', (44.4686011118822, -2.97718868780165, 12.1375257702204));
#3920 = CARTESIAN_POINT ('', (44.4322799038561, -2.78780155710838, 12.2468684811072));
#3930 = CARTESIAN_POINT ('', (44.393104590739, -2.59887707921783, 12.3559440792739));
#3940 = CARTESIAN_POINT ('', (44.3539173778549, -2.40989521423642, 12.4650528098928));
#3950 = CARTESIAN_POINT ('', (44.3118681609117, -2.22134380594479, 12.5739130162261));
#3960 = CARTESIAN_POINT ('', (44.2671595318127, -2.03328337045893, 12.6824897592778));
#3970 = CARTESIAN_POINT ('', (44.2224392508323, -1.84517392300554, 12.7910947994021));
#3980 = CARTESIAN_POINT ('', (44.1750519104101, -1.65752728475366, 12.8994326365093));
#3990 = CARTESIAN_POINT ('', (44.1252030012213, -1.47038721272486, 13.0074780074713));
#4000 = CARTESIAN_POINT ('', (44.0753432945929, -1.28320660553413, 13.11554678142));
#4010 = CARTESIAN_POINT ('', (44.0230148212241, -1.09650824714463, 13.2233371288934));
#4020 = CARTESIAN_POINT ('', (43.9684201089359, -0.910321149015591, 13.3308323001179));
#4030 = CARTESIAN_POINT ('', (43.9138158861508, -0.724101616760319, 13.4383461971938));
#4040 = CARTESIAN_POINT ('', (43.8569388021652, -0.538372571860214, 13.5455769112632));
#4050 = CARTESIAN_POINT ('', (43.7979840345637, -0.353150592641691, 13.6525148708249));
#4060 = CARTESIAN_POINT ('', (43.7717903186885, -0.270856113418502, 13.7000276105572));
#4070 = CARTESIAN_POINT ('', (43.7451855352512, -0.188658996377709, 13.7474841382073));
#4080 = CARTESIAN_POINT ('', (43.7181861646714, -0.106560032527068, 13.7948839970867));
#4090 = CARTESIAN_POINT ('', (43.7064989346143, -0.071021815992244, 13.8154019959696));
#4100 = CARTESIAN_POINT ('', (43.6947376989652, -0.0355017907914909, 13.8359094920808));
#4110 = CARTESIAN_POINT ('', (43.6829037686565, 4.10792168510643E-13, 13.8564064605513));
#4120 = 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, #3700, #3710, #3720, #3730, #3740, #3750, #3760, #3770, #3780, #3790, #3800, #3810, #3820, #3830, #3840, #3850, #3860, #3870, #3880, #3890, #3900, #3910, #3920, #3930, #3940, #3950, #3960, #3970, #3980, #3990, #4000, #4010, #4020, #4030, #4040, #4050, #4060, #4070, #4080, #4090, #4100, #4110), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.294793356788669, 0.662916931699844, 1.3257565119362, 1.98853455807416, 2.65127219771851, 3.31399617140131, 3.97673870259849, 4.63953677188979, 5.3024306778761, 5.96546187038657, 6.62867019596101, 7.29209086903154, 7.95575161743462, 8.61967048606125, 9.28385468354541, 9.94830064296143, 10.612995208589, 11.2779176450995, 11.9430420563075, 12.6083398110258, 13.2737816714502, 13.9393394530395, 14.2350480469112, 14.3630515630011), .UNSPECIFIED.);
#4130 = EDGE_CURVE ('', #3320, #3410, #4120, .T.);
#4140 = ORIENTED_EDGE ('', *, *, #4130, .T.);
#4150 = CARTESIAN_POINT ('', (24.925, -4.44089209850063E-16, 13.856406460551));
#4160 = VERTEX_POINT ('', #4150);
#4170 = CARTESIAN_POINT ('', (43.6829037686548, 0., 13.856406460551));
#4180 = CARTESIAN_POINT ('', (24.925, 0., 13.856406460551));
#4190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4170, #4180), .UNSPECIFIED., .F., .U., (2, 2), (0.0541027736492696, 1.), .UNSPECIFIED.);
#4200 = EDGE_CURVE ('', #3410, #4160, #4190, .T.);
#4210 = ORIENTED_EDGE ('', *, *, #4200, .T.);
#4220 = CARTESIAN_POINT ('', (24.925, -12., 6.92820323027551));
#4230 = CARTESIAN_POINT ('', (24.925, 1.77635683940025E-15, 13.856406460551));
#4240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4220, #4230), .UNSPECIFIED., .F., .U., (2, 2), (0.0632868532588534, 0.936713146741146), .UNSPECIFIED.);
#4250 = EDGE_CURVE ('', #3340, #4160, #4240, .T.);
#4260 = ORIENTED_EDGE ('', *, *, #4250, .F.);
#4270 = EDGE_LOOP ('', (#3390, #4140, #4210, #4260));
#4280 = FACE_OUTER_BOUND ('', #4270, .T.);
#4290 = CARTESIAN_POINT ('', (44.7550599126394, 4.13891143580258E-13, 13.8564064605513));
#4300 = CARTESIAN_POINT ('', (44.7550599126394, -12., 6.92820323027551));
#4310 = CARTESIAN_POINT ('', (24.925, 4.13891143580258E-13, 13.8564064605513));
#4320 = CARTESIAN_POINT ('', (24.925, -12., 6.92820323027551));
#4330 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4290, #4300), (#4310, #4320)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.15207378736248, 0.85662884787067), (0.253843373765661, 0.746156626234322), .UNSPECIFIED.);
#4340 = ADVANCED_FACE ('', (#4280), #4330, .T.);
#4350 = CARTESIAN_POINT ('', (43.6829037686548, -12., -6.9282032302755));
#4360 = VERTEX_POINT ('', #4350);
#4370 = CARTESIAN_POINT ('', (24.925, -12., -6.9282032302755));
#4380 = VERTEX_POINT ('', #4370);
#4390 = CARTESIAN_POINT ('', (43.6829037686548, -12., -6.9282032302755));
#4400 = CARTESIAN_POINT ('', (24.925, -12., -6.9282032302755));
#4410 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4390, #4400), .UNSPECIFIED., .F., .U., (2, 2), (0.0540502380537502, 1.), .UNSPECIFIED.);
#4420 = EDGE_CURVE ('', #4360, #4380, #4410, .T.);
#4430 = ORIENTED_EDGE ('', *, *, #4420, .F.);
#4440 = CARTESIAN_POINT ('', (43.6829037686548, -12., -6.9282032302755));
#4450 = CARTESIAN_POINT ('', (43.7471812082519, -12., -6.70553964795024));
#4460 = CARTESIAN_POINT ('', (43.8093211063026, -12., -6.48223171884699));
#4470 = CARTESIAN_POINT ('', (43.8691007558265, -12., -6.25831866956698));
#4480 = CARTESIAN_POINT ('', (43.9259734362782, -12., -6.04529408006098));
#4490 = CARTESIAN_POINT ('', (43.980718680834, -12., -5.83168815591545));
#4500 = CARTESIAN_POINT ('', (44.033141507008, -12., -5.61752507596959));
#4510 = CARTESIAN_POINT ('', (44.0855488441356, -12., -5.40342527345632));
#4520 = CARTESIAN_POINT ('', (44.1356409957058, -12., -5.18874332391251));
#4530 = CARTESIAN_POINT ('', (44.1832174205388, -12., -4.97351846888609));
#4540 = CARTESIAN_POINT ('', (44.2307809798213, -12., -4.7583518146653));
#4550 = CARTESIAN_POINT ('', (44.2758362656493, -12., -4.54261305116929));
#4560 = CARTESIAN_POINT ('', (44.3181819585933, -12., -4.32635897941737));
#4570 = CARTESIAN_POINT ('', (44.3605178093427, -12., -4.11015517050187));
#4580 = CARTESIAN_POINT ('', (44.400151466858, -12., -3.89340232648841));
#4590 = CARTESIAN_POINT ('', (44.436887019539, -12., -3.67617684359686));
#4600 = CARTESIAN_POINT ('', (44.473615943332, -12., -3.45899055879329));
#4610 = CARTESIAN_POINT ('', (44.5074537587026, -12., -3.24129323325326));
#4620 = CARTESIAN_POINT ('', (44.538217406832, -12., -3.02318203660455));
#4630 = CARTESIAN_POINT ('', (44.5689775321252, -12., -2.80509581651321));
#4640 = CARTESIAN_POINT ('', (44.5966696770941, -12., -2.58655272063745));
#4650 = CARTESIAN_POINT ('', (44.6211319401438, -12., -2.36767060079147));
#4660 = CARTESIAN_POINT ('', (44.645593320888, -12., -2.1487963755911));
#4670 = CARTESIAN_POINT ('', (44.6668297700344, -12., -1.92953587054148));
#4680 = CARTESIAN_POINT ('', (44.6847090334952, -12., -1.71002592192165));
#4690 = CARTESIAN_POINT ('', (44.7025892229195, -12., -1.49050460492539));
#4700 = CARTESIAN_POINT ('', (44.7171155427362, -12., -1.27068299746618));
#4710 = CARTESIAN_POINT ('', (44.7281931640521, -12., -1.05071346299468));
#4720 = CARTESIAN_POINT ('', (44.739272384785, -12., -0.830712168724221));
#4730 = CARTESIAN_POINT ('', (44.746904277464, -12., -0.610509467057339));
#4740 = CARTESIAN_POINT ('', (44.7510375160057, -12., -0.390268156327755));
#4750 = CARTESIAN_POINT ('', (44.752881289454, -12., -0.292021932011782));
#4760 = CARTESIAN_POINT ('', (44.7540296873214, -12., -0.193760186127161));
#4770 = CARTESIAN_POINT ('', (44.7544811533063, -12., -0.0954976995346811));
#4780 = CARTESIAN_POINT ('', (44.7546151758885, -12., -0.0663274128979145));
#4790 = CARTESIAN_POINT ('', (44.7546877957129, -12., -0.0371567795036777));
#4800 = CARTESIAN_POINT ('', (44.7546990040907, -12., -0.00798618713917588));
#4810 = CARTESIAN_POINT ('', (44.7547039898411, -12., 0.00498957924047134));
#4820 = CARTESIAN_POINT ('', (44.7546968244551, -12., 0.0179653559783208));
#4830 = CARTESIAN_POINT ('', (44.7546775081024, -12., 0.0309411089381843));
#4840 = CARTESIAN_POINT ('', (44.7543456665416, -12., 0.253855557853454));
#4850 = CARTESIAN_POINT ('', (44.750423093569, -12., 0.476793171248311));
#4860 = CARTESIAN_POINT ('', (44.7429370262373, -12., 0.699582130691825));
#4870 = CARTESIAN_POINT ('', (44.7354489941303, -12., 0.92242956278842));
#4880 = CARTESIAN_POINT ('', (44.7243939378999, -12., 1.14518461632774));
#4890 = CARTESIAN_POINT ('', (44.7098471403075, -12., 1.36768279451509));
#4900 = CARTESIAN_POINT ('', (44.6952977916741, -12., 1.59021999173703));
#4910 = CARTESIAN_POINT ('', (44.677252355508, -12., 1.81255450535193));
#4920 = CARTESIAN_POINT ('', (44.655829118148, -12., 2.03453543379866));
#4930 = CARTESIAN_POINT ('', (44.6344040547035, -12., 2.25653528356608));
#4940 = CARTESIAN_POINT ('', (44.6095962486886, -12., 2.47823254473742));
#4950 = CARTESIAN_POINT ('', (44.5815595010443, -12., 2.69949462332724));
#4960 = CARTESIAN_POINT ('', (44.5535228036615, -12., 2.92075630525978));
#4970 = CARTESIAN_POINT ('', (44.5222518528371, -12., 3.14162977003428));
#4980 = CARTESIAN_POINT ('', (44.4879270992539, -12., 3.36200354248282));
#4990 = CARTESIAN_POINT ('', (44.4536051131355, -12., 3.58235954709371));
#5000 = CARTESIAN_POINT ('', (44.4162238520777, -12., 3.80225826791427));
#5010 = CARTESIAN_POINT ('', (44.3759812703757, -12., 4.021610272959));
#5020 = CARTESIAN_POINT ('', (44.3357446341937, -12., 4.24092987049708));
#5030 = CARTESIAN_POINT ('', (44.2926412277026, -12., 4.45974037904605));
#5040 = CARTESIAN_POINT ('', (44.2468779868187, -12., 4.67797373703541));
#5050 = CARTESIAN_POINT ('', (44.2011239600646, -12., 4.89616315516276));
#5060 = CARTESIAN_POINT ('', (44.1527048202726, -12., 5.11380830113722));
#5070 = CARTESIAN_POINT ('', (44.1018291900228, -12., 5.33086065287211));
#5080 = CARTESIAN_POINT ('', (44.0509658292117, -12., 5.54786065910222));
#5090 = CARTESIAN_POINT ('', (43.9976409817882, -12., 5.7642962316167));
#5100 = CARTESIAN_POINT ('', (43.9420591773582, -12., 5.98013586466208));
#5110 = CARTESIAN_POINT ('', (43.886492274141, -12., 6.19591763214614));
#5120 = CARTESIAN_POINT ('', (43.8286637757617, -12., 6.41112766502729));
#5130 = CARTESIAN_POINT ('', (43.768769885184, -12., 6.62574866535848));
#5140 = CARTESIAN_POINT ('', (43.7405995150579, -12., 6.72669306816559));
#5150 = CARTESIAN_POINT ('', (43.7119710604593, -12., 6.82751148327154));
#5160 = CARTESIAN_POINT ('', (43.6829038470913, -12., 6.92820325291818));
#5170 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#4440, #4450, #4460, #4470, #4480, #4490, #4500, #4510, #4520, #4530, #4540, #4550, #4560, #4570, #4580, #4590, #4600, #4610, #4620, #4630, #4640, #4650, #4660, #4670, #4680, #4690, #4700, #4710, #4720, #4730, #4740, #4750, #4760, #4770, #4780, #4790, #4800, #4810, #4820, #4830, #4840, #4850, #4860, #4870, #4880, #4890, #4900, #4910, #4920, #4930, #4940, #4950, #4960, #4970, #4980, #4990, #5000, #5010, #5020, #5030, #5040, #5050, #5060, #5070, #5080, #5090, #5100, #5110, #5120, #5130, #5140, #5150, #5160), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.294789923469985, 0.990056736438735, 1.65151406510297, 2.31277595708625, 2.97385903154943, 3.63478845382858, 4.29559861215536, 4.95633309915906, 5.61704375477527, 6.27778862846451, 6.93862890229364, 7.2334194734384, 7.32093125699189, 7.35985855900439, 8.02860264674362, 8.69752225144356, 9.36655916315882, 10.0356531025748, 10.7047458425039, 11.3737846362167, 12.0427245847917, 12.711529846675, 13.380173815908, 14.0486385249281, 14.3630428504392), .UNSPECIFIED.);
#5180 = EDGE_CURVE ('', #4360, #3320, #5170, .T.);
#5190 = ORIENTED_EDGE ('', *, *, #5180, .T.);
#5200 = ORIENTED_EDGE ('', *, *, #3380, .T.);
#5210 = CARTESIAN_POINT ('', (24.925, -12., -6.9282032302755));
#5220 = CARTESIAN_POINT ('', (24.925, -12., 6.92820323027552));
#5230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5210, #5220), .UNSPECIFIED., .F., .U., (2, 2), (0.0632868532588536, 0.936713146741147), .UNSPECIFIED.);
#5240 = EDGE_CURVE ('', #4380, #3340, #5230, .T.);
#5250 = ORIENTED_EDGE ('', *, *, #5240, .F.);
#5260 = EDGE_LOOP ('', (#4430, #5190, #5200, #5250));
#5270 = FACE_OUTER_BOUND ('', #5260, .T.);
#5280 = CARTESIAN_POINT ('', (44.7547039898411, -12., 6.92820323027552));
#5290 = CARTESIAN_POINT ('', (44.7547039898411, -12., -6.9282032302755));
#5300 = CARTESIAN_POINT ('', (24.925, -12., 6.92820323027552));
#5310 = CARTESIAN_POINT ('', (24.925, -12., -6.9282032302755));
#5320 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5280, #5290), (#5300, #5310)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.152086433174436, 0.85662884787067), (0.253843373765678, 0.746156626234322), .UNSPECIFIED.);
#5330 = ADVANCED_FACE ('', (#5270), #5320, .T.);
#5340 = CARTESIAN_POINT ('', (43.6829037686548, -1.12405735050865E-14, -13.856406460551));
#5350 = VERTEX_POINT ('', #5340);
#5360 = CARTESIAN_POINT ('', (24.925, -8.21565038222616E-15, -13.856406460551));
#5370 = VERTEX_POINT ('', #5360);
#5380 = CARTESIAN_POINT ('', (43.6829037686548, -7.105427357601E-15, -13.856406460551));
#5390 = CARTESIAN_POINT ('', (24.925, -7.105427357601E-15, -13.856406460551));
#5400 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#5380, #5390), .UNSPECIFIED., .F., .U., (2, 2), (0.0541027736492711, 1.), .UNSPECIFIED.);
#5410 = EDGE_CURVE ('', #5350, #5370, #5400, .T.);
#5420 = ORIENTED_EDGE ('', *, *, #5410, .F.);
#5430 = CARTESIAN_POINT ('', (43.6829037686548, -1.12405575028018E-14, -13.856406460551));
#5440 = CARTESIAN_POINT ('', (43.7442992864763, -0.184186552983148, -13.7500663046051));
#5450 = CARTESIAN_POINT ('', (43.8037411813647, -0.368871467911148, -13.6434384192562));
#5460 = CARTESIAN_POINT ('', (43.8610419104755, -0.554044933256519, -13.5365284691922));
#5470 = CARTESIAN_POINT ('', (43.9183562396083, -0.739262348534888, -13.4295931446227));
#5480 = CARTESIAN_POINT ('', (43.9735339323754, -0.924987280261471, -13.3223648052951));
#5490 = CARTESIAN_POINT ('', (44.0263778782888, -1.11119906345626, -13.2148553821413));
#5500 = CARTESIAN_POINT ('', (44.0792285049599, -1.29743438834152, -13.1073323671862));
#5510 = CARTESIAN_POINT ('', (44.12975072037, -1.48417877043104, -12.9995154479171));
#5520 = CARTESIAN_POINT ('', (44.1777413260293, -1.67139833168494, -12.8914241838296));
#5530 = CARTESIAN_POINT ('', (44.2257399771459, -1.85864927964393, -12.7833147986195));
#5540 = CARTESIAN_POINT ('', (44.271212344763, -2.04640135431495, -12.6749160877673));
#5550 = CARTESIAN_POINT ('', (44.3139539558727, -2.23460519700449, -12.5662565485279));
#5560 = CARTESIAN_POINT ('', (44.356704632386, -2.42284895732282, -12.4575739628349));
#5570 = CARTESIAN_POINT ('', (44.3967296314693, -2.61157444653179, -12.3486132508371));
#5580 = CARTESIAN_POINT ('', (44.4338295024875, -2.80071494519181, -12.2394129330211));
#5590 = CARTESIAN_POINT ('', (44.4709389353724, -2.98990419162882, -12.1301844706629));
#5600 = CARTESIAN_POINT ('', (44.5051277900209, -3.17954255062896, -12.0206967130455));
#5610 = CARTESIAN_POINT ('', (44.5362092879008, -3.36954481072431, -11.9109988570328));
#5620 = CARTESIAN_POINT ('', (44.5673001629687, -3.55960439389053, -11.8012679055297));
#5630 = CARTESIAN_POINT ('', (44.5952873978159, -3.75006605202262, -11.6913048159369));
#5640 = CARTESIAN_POINT ('', (44.6200054896173, -3.9408260818794, -11.5811694613485));
#5650 = CARTESIAN_POINT ('', (44.6447319972308, -4.13165106013887, -11.4709966087822));
#5660 = CARTESIAN_POINT ('', (44.6661919524461, -4.32281633506363, -11.3606272858447));
#5670 = CARTESIAN_POINT ('', (44.684249987654, -4.5142011646221, -11.2501312029803));
#5680 = CARTESIAN_POINT ('', (44.7023147086681, -4.70565685249164, -11.139594210051));
#5690 = CARTESIAN_POINT ('', (44.7169787328478, -4.89737717914681, -11.0289044278472));
#5700 = CARTESIAN_POINT ('', (44.7281449923439, -5.08922742546731, -10.91813963649));
#5710 = CARTESIAN_POINT ('', (44.7393155780845, -5.2811520020559, -10.8073319305325));
#5720 = CARTESIAN_POINT ('', (44.7469881017873, -5.47325388973854, -10.6964218539673));
#5730 = CARTESIAN_POINT ('', (44.7511102041483, -5.66538896147753, -10.585492618578));
#5740 = CARTESIAN_POINT ('', (44.7552339117356, -5.85759885432772, -10.4745201852));
#5750 = CARTESIAN_POINT ('', (44.7558053413189, -6.04989057165784, -10.3635005104365));
#5760 = CARTESIAN_POINT ('', (44.7528205470001, -6.24211625902775, -10.2525189580883));
#5770 = CARTESIAN_POINT ('', (44.74983463329, -6.43441403704655, -10.1414957841846));
#5780 = CARTESIAN_POINT ('', (44.7432891621608, -6.62669450050047, -10.0304826068493));
#5790 = CARTESIAN_POINT ('', (44.733229005768, -6.81881221736046, -9.91956339130405));
#5800 = CARTESIAN_POINT ('', (44.7231653790965, -7.01099620575608, -9.8086059138699));
#5810 = CARTESIAN_POINT ('', (44.7095824470554, -7.20306506038155, -9.69771490894934));
#5820 = CARTESIAN_POINT ('', (44.6925709270936, -7.39488163675968, -9.58696955694239));
#5830 = CARTESIAN_POINT ('', (44.6755542759304, -7.58675607095941, -9.47619080070657));
#5840 = CARTESIAN_POINT ('', (44.6551033987449, -7.77842366823975, -9.36553146182185));
#5850 = CARTESIAN_POINT ('', (44.6313489746354, -7.96976046243651, -9.25506311218646));
#5860 = CARTESIAN_POINT ('', (44.6075886394369, -8.16114486918847, -9.14456727342952));
#5870 = CARTESIAN_POINT ('', (44.5805184106177, -8.35224087307042, -9.03423794414721));
#5880 = CARTESIAN_POINT ('', (44.550301015058, -8.54294113014562, -8.92413709939032));
#5890 = CARTESIAN_POINT ('', (44.5200778479596, -8.73367781107163, -8.81401522531335));
#5900 = CARTESIAN_POINT ('', (44.4867007719616, -8.92405748858869, -8.70409946725064));
#5910 = CARTESIAN_POINT ('', (44.450355683398, -9.11399125921873, -8.59444115364919));
#5920 = CARTESIAN_POINT ('', (44.414005781452, -9.30395018383524, -8.48476831738687));
#5930 = CARTESIAN_POINT ('', (44.3746810159343, -9.49349794047891, -8.37533286906436));
#5940 = CARTESIAN_POINT ('', (44.3325816214514, -9.68256435819556, -8.26617532190093));
#5950 = CARTESIAN_POINT ('', (44.2904789935069, -9.87164529723777, -8.15700939084628));
#5960 = CARTESIAN_POINT ('', (44.24559501667, -10.0602755310572, -8.04810367457331));
#5970 = CARTESIAN_POINT ('', (44.1981362638723, -10.2484026823569, -7.93948841312858));
#5980 = CARTESIAN_POINT ('', (44.1506762406541, -10.4365348696209, -7.83087024416849));
#5990 = CARTESIAN_POINT ('', (44.1006350361737, -10.6241906042417, -7.72252715527019));
#6000 = CARTESIAN_POINT ('', (44.0482188748877, -10.8113335169171, -7.61448014426008));
#6010 = CARTESIAN_POINT ('', (43.995803557012, -10.9984734183407, -7.50643487179707));
#6020 = CARTESIAN_POINT ('', (43.9410073180228, -11.185123371907, -7.39867247086136));
#6030 = CARTESIAN_POINT ('', (43.8840308531089, -11.3712607639061, -7.29120599748437));
#6040 = CARTESIAN_POINT ('', (43.8270573025517, -11.5573886349434, -7.18374502103733));
#6050 = CARTESIAN_POINT ('', (43.7678980774412, -11.7430234024594, -7.07656873804101));
#6060 = CARTESIAN_POINT ('', (43.7067446388625, -11.9281538056531, -6.96968364992193));
#6070 = CARTESIAN_POINT ('', (43.6988310277493, -11.9521107580364, -6.9558520970145));
#6080 = CARTESIAN_POINT ('', (43.6908839412341, -11.9760594928526, -6.94202528852159));
#6090 = CARTESIAN_POINT ('', (43.6829037748389, -12.000000001546, -6.9282032293829));
#6100 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#5430, #5440, #5450, #5460, #5470, #5480, #5490, #5500, #5510, #5520, #5530, #5540, #5550, #5560, #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, #5850, #5860, #5870, #5880, #5890, #5900, #5910, #5920, #5930, #5940, #5950, #5960, #5970, #5980, #5990, #6000, #6010, #6020, #6030, #6040, #6050, #6060, #6070, #6080, #6090), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.294796643378458, 0.958890694869502, 1.62314236553677, 2.28747801374268, 2.95192503549809, 3.61651298503259, 4.28127222091445, 4.94623201252008, 5.61141820415487, 6.27685067429669, 6.94254095893109, 7.60849047623112, 8.2746897454425, 8.94111882192689, 9.60774891406561, 10.2745448915072, 10.9414682273361, 11.6084798875347, 12.2755427778438, 12.942623524719, 13.6096935378285, 14.2767294301837, 14.3630477595093), .UNSPECIFIED.);
#6110 = EDGE_CURVE ('', #5350, #4360, #6100, .T.);
#6120 = ORIENTED_EDGE ('', *, *, #6110, .T.);
#6130 = ORIENTED_EDGE ('', *, *, #4420, .T.);
#6140 = CARTESIAN_POINT ('', (24.925, -8.10462807976364E-15, -13.856406460551));
#6150 = CARTESIAN_POINT ('', (24.925, -12., -6.9282032302755));
#6160 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6140, #6150), .UNSPECIFIED., .F., .U., (2, 2), (0.0632868532588534, 0.936713146741147), .UNSPECIFIED.);
#6170 = EDGE_CURVE ('', #5370, #4380, #6160, .T.);
#6180 = ORIENTED_EDGE ('', *, *, #6170, .F.);
#6190 = EDGE_LOOP ('', (#5420, #6120, #6130, #6180));
#6200 = FACE_OUTER_BOUND ('', #6190, .T.);
#6210 = CARTESIAN_POINT ('', (44.7558053413189, -12., -6.9282032302755));
#6220 = CARTESIAN_POINT ('', (44.7558053413189, -1.06581410364015E-14, -13.856406460551));
#6230 = CARTESIAN_POINT ('', (24.925, -12., -6.9282032302755));
#6240 = CARTESIAN_POINT ('', (24.925, -1.06581410364015E-14, -13.856406460551));
#6250 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6210, #6220), (#6230, #6240)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.152047302543438, 0.856628847870669), (0.253843373765678, 0.746156626234322), .UNSPECIFIED.);
#6260 = ADVANCED_FACE ('', (#6200), #6250, .T.);
#6270 = CARTESIAN_POINT ('', (24.925, 12.2449979983984, -6.78675356994929));
#6280 = VERTEX_POINT ('', #6270);
#6290 = CARTESIAN_POINT ('', (24.925, 14., 0.));
#6300 = VERTEX_POINT ('', #6290);
#6310 = CARTESIAN_POINT ('', (24.925, 12.2449979983984, -6.78675356994929));
#6320 = CARTESIAN_POINT ('', (24.925, 14., -3.62029175940834));
#6330 = CARTESIAN_POINT ('', (24.925, 14., -3.42901103761259E-15));
#6340 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6310, #6320, #6330), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0653328617556657, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.9955574506657, 0.966000652543626, 1.))
   REPRESENTATION_ITEM ('')
);
#6350 = EDGE_CURVE ('', #6280, #6300, #6340, .T.);
#6360 = ORIENTED_EDGE ('', *, *, #6350, .F.);
#6370 = CARTESIAN_POINT ('', (24.925, 0.244997998398381, -13.9978561208773));
#6380 = VERTEX_POINT ('', #6370);
#6390 = CARTESIAN_POINT ('', (24.925, 0.244997998398382, -13.9978561208773));
#6400 = CARTESIAN_POINT ('', (24.925, 8.32666399786451, -13.856406460551));
#6410 = CARTESIAN_POINT ('', (24.925, 12.2449979983984, -6.78675356994929));
#6420 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6390, #6400, #6410), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0338161581897693, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.99066496410427, 0.861973736884253, 1.))
   REPRESENTATION_ITEM ('')
);
#6430 = EDGE_CURVE ('', #6380, #6280, #6420, .T.);
#6440 = ORIENTED_EDGE ('', *, *, #6430, .F.);
#6450 = CARTESIAN_POINT ('', (24.925, -12., -7.21110255092798));
#6460 = VERTEX_POINT ('', #6450);
#6470 = CARTESIAN_POINT ('', (24.925, -12., -7.21110255092797));
#6480 = CARTESIAN_POINT ('', (24.925, -7.83666800106774, -14.1393057812035));
#6490 = CARTESIAN_POINT ('', (24.925, 0.244997998398381, -13.9978561208773));
#6500 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6470, #6480, #6490), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0338161581897693, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.99066496410427, 0.861973736884253, 1.))
   REPRESENTATION_ITEM ('')
);
#6510 = EDGE_CURVE ('', #6460, #6380, #6500, .T.);
#6520 = ORIENTED_EDGE ('', *, *, #6510, .F.);
#6530 = CARTESIAN_POINT ('', (24.925, -12.2449979983984, 6.78675356994927));
#6540 = VERTEX_POINT ('', #6530);
#6550 = CARTESIAN_POINT ('', (24.925, -12.2449979983984, 6.78675356994928));
#6560 = CARTESIAN_POINT ('', (24.925, -16.1633319989323, -0.282899320652468));
#6570 = CARTESIAN_POINT ('', (24.925, -12., -7.21110255092798));
#6580 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6550, #6560, #6570), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0338161581897692, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.99066496410427, 0.861973736884252, 1.))
   REPRESENTATION_ITEM ('')
);
#6590 = EDGE_CURVE ('', #6540, #6460, #6580, .T.);
#6600 = ORIENTED_EDGE ('', *, *, #6590, .F.);
#6610 = CARTESIAN_POINT ('', (24.925, -0.244997998398399, 13.9978561208773));
#6620 = VERTEX_POINT ('', #6610);
#6630 = CARTESIAN_POINT ('', (24.925, -0.24499799839841, 13.9978561208773));
#6640 = CARTESIAN_POINT ('', (24.925, -8.32666399786454, 13.856406460551));
#6650 = CARTESIAN_POINT ('', (24.925, -12.2449979983984, 6.78675356994927));
#6660 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6630, #6640, #6650), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0338161581897693, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.99066496410427, 0.861973736884253, 1.))
   REPRESENTATION_ITEM ('')
);
#6670 = EDGE_CURVE ('', #6620, #6540, #6660, .T.);
#6680 = ORIENTED_EDGE ('', *, *, #6670, .F.);
#6690 = CARTESIAN_POINT ('', (24.925, 12.2449979983984, 6.78675356994928));
#6700 = VERTEX_POINT ('', #6690);
#6710 = CARTESIAN_POINT ('', (24.925, 12.2449979983984, 6.78675356994928));
#6720 = CARTESIAN_POINT ('', (24.925, 8.16666666666666, 14.1450815951458));
#6730 = CARTESIAN_POINT ('', (24.925, -0.244997998398399, 13.9978561208773));
#6740 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6710, #6720, #6730), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.857142857142857, 1.))
   REPRESENTATION_ITEM ('')
);
#6750 = EDGE_CURVE ('', #6700, #6620, #6740, .T.);
#6760 = ORIENTED_EDGE ('', *, *, #6750, .F.);
#6770 = CARTESIAN_POINT ('', (24.925, 14., 9.86076131526265E-32));
#6780 = CARTESIAN_POINT ('', (24.925, 14., 3.62029175940833));
#6790 = CARTESIAN_POINT ('', (24.925, 12.2449979983984, 6.78675356994927));
#6800 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6770, #6780, #6790), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 0.934667138244331), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.966000652543626, 0.995557450665699))
   REPRESENTATION_ITEM ('')
);
#6810 = EDGE_CURVE ('', #6300, #6700, #6800, .T.);
#6820 = ORIENTED_EDGE ('', *, *, #6810, .F.);
#6830 = CARTESIAN_POINT ('', (17.5, 14., 0.));
#6840 = CARTESIAN_POINT ('', (24.925, 14., 0.));
#6850 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#6830, #6840), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.28448275862069), .UNSPECIFIED.);
#6860 = EDGE_CURVE ('', #400, #6300, #6850, .T.);
#6870 = ORIENTED_EDGE ('', *, *, #6860, .F.);
#6880 = ORIENTED_EDGE ('', *, *, #510, .T.);
#6890 = ORIENTED_EDGE ('', *, *, #6860, .T.);
#6900 = EDGE_LOOP ('', (#6360, #6440, #6520, #6600, #6680, #6760, #6820, #6870, #6880, #6890));
#6910 = FACE_OUTER_BOUND ('', #6900, .T.);
#6920 = CARTESIAN_POINT ('', (17.5, 14., 0.));
#6930 = CARTESIAN_POINT ('', (24.925, 14., 0.));
#6940 = CARTESIAN_POINT ('', (17.5, 14., 14.));
#6950 = CARTESIAN_POINT ('', (24.925, 14., 14.));
#6960 = CARTESIAN_POINT ('', (17.5, 8.57252759403147E-16, 14.));
#6970 = CARTESIAN_POINT ('', (24.925, 8.57252759403147E-16, 14.));
#6980 = CARTESIAN_POINT ('', (17.5, -14., 14.));
#6990 = CARTESIAN_POINT ('', (24.925, -14., 14.));
#7000 = CARTESIAN_POINT ('', (17.5, -14., 1.71450551880629E-15));
#7010 = CARTESIAN_POINT ('', (24.925, -14., 1.71450551880629E-15));
#7020 = CARTESIAN_POINT ('', (17.5, -14., -14.));
#7030 = CARTESIAN_POINT ('', (24.925, -14., -14.));
#7040 = CARTESIAN_POINT ('', (17.5, -2.57175827820944E-15, -14.));
#7050 = CARTESIAN_POINT ('', (24.925, -2.57175827820944E-15, -14.));
#7060 = CARTESIAN_POINT ('', (17.5, 14., -14.));
#7070 = CARTESIAN_POINT ('', (24.925, 14., -14.));
#7080 = CARTESIAN_POINT ('', (17.5, 14., 0.));
#7090 = CARTESIAN_POINT ('', (24.925, 14., 0.));
#7100 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6920, #6930), (#6940, #6950), (#6960, #6970), (#6980, #6990), (#7000, #7010), (#7020, #7030), (#7040, #7050), (#7060, #7070), (#7080, #7090)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 21.9911485751286, 43.9822971502571, 65.9734457253857, 87.9645943005142), (0., 0.28448275862069), .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 ('')
);
#7110 = ADVANCED_FACE ('', (#6910), #7100, .T.);
#7120 = CARTESIAN_POINT ('', (43.6829037686548, 12., -6.92820323027552));
#7130 = VERTEX_POINT ('', #7120);
#7140 = CARTESIAN_POINT ('', (24.925, 12., -6.92820323027552));
#7150 = VERTEX_POINT ('', #7140);
#7160 = CARTESIAN_POINT ('', (43.6829037686548, 12., -6.92820323027552));
#7170 = CARTESIAN_POINT ('', (24.925, 12., -6.92820323027552));
#7180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7160, #7170), .UNSPECIFIED., .F., .U., (2, 2), (0.0540672165746348, 1.), .UNSPECIFIED.);
#7190 = EDGE_CURVE ('', #7130, #7150, #7180, .T.);
#7200 = ORIENTED_EDGE ('', *, *, #7190, .F.);
#7210 = CARTESIAN_POINT ('', (43.6829037686548, 12., -6.92820323027552));
#7220 = CARTESIAN_POINT ('', (43.7169368051945, 11.8979008903808, -6.98715017869817));
#7230 = CARTESIAN_POINT ('', (43.7503699740644, 11.7956469306258, -7.04618652988842));
#7240 = CARTESIAN_POINT ('', (43.7831697434326, 11.693245537988, -7.10530800149325));
#7250 = CARTESIAN_POINT ('', (43.8422286759258, 11.5088626276351, -7.21176152441949));
#7260 = CARTESIAN_POINT ('', (43.8992421081391, 11.323977528458, -7.3185049861985));
#7270 = CARTESIAN_POINT ('', (43.9540180284678, 11.1386056733269, -7.42552947665865));
#7280 = CARTESIAN_POINT ('', (44.0087888637247, 10.9532510270202, -7.53254403159938));
#7290 = CARTESIAN_POINT ('', (44.0613283330221, 10.767389318525, -7.63985133903111));
#7300 = CARTESIAN_POINT ('', (44.1114368358073, 10.5810480142873, -7.74743554119389));
#7310 = CARTESIAN_POINT ('', (44.1615422837102, 10.3947180704119, -7.85501318444845));
#7320 = CARTESIAN_POINT ('', (44.2092231009026, 10.2078846872701, -7.96288148849896));
#7330 = CARTESIAN_POINT ('', (44.2542762232622, 10.0205896605315, -8.07101632260438));
#7340 = CARTESIAN_POINT ('', (44.2993284166052, 9.83329849590436, -8.1791489269187));
#7350 = CARTESIAN_POINT ('', (44.3417592122753, 9.64551799011617, -8.28756405248407));
#7360 = CARTESIAN_POINT ('', (44.3813676453694, 9.45730631549946, -8.39622811348866));
#7370 = CARTESIAN_POINT ('', (44.420977187574, 9.2690893706028, -8.5048952172908));
#7380 = CARTESIAN_POINT ('', (44.4577703322863, 9.08040950169471, -8.61382959039554));
#7390 = CARTESIAN_POINT ('', (44.4915551764408, 8.89134273187368, -8.72298734084653));
#7400 = CARTESIAN_POINT ('', (44.5253428517791, 8.70226011818032, -8.83215423876147));
#7410 = CARTESIAN_POINT ('', (44.5561275157439, 8.51275475811029, -8.94156520941078));
#7420 = CARTESIAN_POINT ('', (44.5837344201915, 8.322921056743, -9.05116574799644));
#7430 = CARTESIAN_POINT ('', (44.6113453164348, 8.13305990654117, -9.16078213417413));
#7440 = CARTESIAN_POINT ('', (44.6357827011705, 7.94283067156147, -9.27061103419739));
#7450 = CARTESIAN_POINT ('', (44.6568976539778, 7.75234537914906, -9.38058776904835));
#7460 = CARTESIAN_POINT ('', (44.67801697973, 7.56182063688885, -9.49058728027957));
#7470 = CARTESIAN_POINT ('', (44.695816735414, 7.37099665018994, -9.60075956036803));
#7480 = CARTESIAN_POINT ('', (44.7101822578393, 7.18000078458658, -9.71103107478823));
#7490 = CARTESIAN_POINT ('', (44.7245516181066, 6.98895389320456, -9.82133204895548));
#7500 = CARTESIAN_POINT ('', (44.735487944373, 6.79768921609674, -9.93175876177015));
#7510 = CARTESIAN_POINT ('', (44.74291801717, 6.60634562695334, -10.0422310344698));
#7520 = CARTESIAN_POINT ('', (44.750350468944, 6.41494077299995, -10.152738678424));
#7530 = CARTESIAN_POINT ('', (44.7542760403272, 6.22340934042804, -10.2633194025774));
#7540 = CARTESIAN_POINT ('', (44.7546679055802, 6.03189658901795, -10.3738893411573));
#7550 = CARTESIAN_POINT ('', (44.7550599126394, 5.84031453393772, -10.4844992922297));
#7560 = CARTESIAN_POINT ('', (44.7519157389117, 5.64870285653699, -10.5951263457572));
#7570 = CARTESIAN_POINT ('', (44.7452569084347, 5.45720731073129, -10.7056863506767));
#7580 = CARTESIAN_POINT ('', (44.7385954881122, 5.26563728579871, -10.8162893561402));
#7590 = CARTESIAN_POINT ('', (44.7284152148917, 5.07413563379834, -10.9268528864728));
#7600 = CARTESIAN_POINT ('', (44.7147846036113, 4.88284263818612, -11.0372959489836));
#7610 = CARTESIAN_POINT ('', (44.7011485449869, 4.69147319414868, -11.1477831490133));
#7620 = CARTESIAN_POINT ('', (44.6840564854359, 4.5002663182302, -11.2581764902955));
#7630 = CARTESIAN_POINT ('', (44.6636194638444, 4.30935150268762, -11.3684012104413));
#7640 = CARTESIAN_POINT ('', (44.6431743878092, 4.11836144562148, -11.478669371301));
#7650 = CARTESIAN_POINT ('', (44.6193775645276, 3.92761999711764, -11.5887939979406));
#7660 = CARTESIAN_POINT ('', (44.5923756616181, 3.73724175340754, -11.6987089281945));
#7670 = CARTESIAN_POINT ('', (44.5653636557941, 3.54679227860143, -11.8086649837408));
#7680 = CARTESIAN_POINT ('', (44.5351390483406, 3.35666592685135, -11.9184344841037));
#7690 = CARTESIAN_POINT ('', (44.5018757817752, 3.16695982489109, -12.0279613531374));
#7700 = CARTESIAN_POINT ('', (44.4686011118822, 2.97718868780165, -12.1375257702204));
#7710 = CARTESIAN_POINT ('', (44.4322799038561, 2.78780155710837, -12.2468684811072));
#7720 = CARTESIAN_POINT ('', (44.3931045907389, 2.59887707921783, -12.3559440792739));
#7730 = CARTESIAN_POINT ('', (44.3539173778549, 2.40989521423641, -12.4650528098928));
#7740 = CARTESIAN_POINT ('', (44.3118681609117, 2.2213438059448, -12.5739130162261));
#7750 = CARTESIAN_POINT ('', (44.2671595318127, 2.03328337045893, -12.6824897592778));
#7760 = CARTESIAN_POINT ('', (44.2224392508323, 1.84517392300555, -12.7910947994021));
#7770 = CARTESIAN_POINT ('', (44.1750519104101, 1.65752728475368, -12.8994326365093));
#7780 = CARTESIAN_POINT ('', (44.1252030012213, 1.47038721272487, -13.0074780074713));
#7790 = CARTESIAN_POINT ('', (44.0753432945929, 1.28320660553414, -13.11554678142));
#7800 = CARTESIAN_POINT ('', (44.0230148212241, 1.09650824714464, -13.2233371288934));
#7810 = CARTESIAN_POINT ('', (43.9684201089358, 0.910321149015602, -13.3308323001178));
#7820 = CARTESIAN_POINT ('', (43.9138158861508, 0.72410161676033, -13.4383461971938));
#7830 = CARTESIAN_POINT ('', (43.8569388021652, 0.538372571860227, -13.5455769112632));
#7840 = CARTESIAN_POINT ('', (43.7979840345637, 0.353150592641703, -13.6525148708248));
#7850 = CARTESIAN_POINT ('', (43.7717903186885, 0.270856113418514, -13.7000276105572));
#7860 = CARTESIAN_POINT ('', (43.7451855352512, 0.188658996377717, -13.7474841382073));
#7870 = CARTESIAN_POINT ('', (43.7181861646714, 0.106560032527075, -13.7948839970866));
#7880 = CARTESIAN_POINT ('', (43.7064989346143, 0.0710218159922447, -13.8154019959695));
#7890 = CARTESIAN_POINT ('', (43.6947376989652, 0.0355017907914882, -13.8359094920808));
#7900 = CARTESIAN_POINT ('', (43.6829037686565, -4.19686421032628E-13, -13.8564064605513));
#7910 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#7210, #7220, #7230, #7240, #7250, #7260, #7270, #7280, #7290, #7300, #7310, #7320, #7330, #7340, #7350, #7360, #7370, #7380, #7390, #7400, #7410, #7420, #7430, #7440, #7450, #7460, #7470, #7480, #7490, #7500, #7510, #7520, #7530, #7540, #7550, #7560, #7570, #7580, #7590, #7600, #7610, #7620, #7630, #7640, #7650, #7660, #7670, #7680, #7690, #7700, #7710, #7720, #7730, #7740, #7750, #7760, #7770, #7780, #7790, #7800, #7810, #7820, #7830, #7840, #7850, #7860, #7870, #7880, #7890, #7900), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.294793356788661, 0.662916931699839, 1.3257565119362, 1.98853455807416, 2.65127219771851, 3.3139961714013, 3.97673870259849, 4.63953677188978, 5.30243067787609, 5.96546187038656, 6.628670195961, 7.29209086903153, 7.95575161743461, 8.61967048606123, 9.28385468354539, 9.94830064296141, 10.612995208589, 11.2779176450995, 11.9430420563075, 12.6083398110258, 13.2737816714502, 13.9393394530395, 14.2350480469111, 14.3630515630011), .UNSPECIFIED.);
#7920 = EDGE_CURVE ('', #7130, #5350, #7910, .T.);
#7930 = ORIENTED_EDGE ('', *, *, #7920, .T.);
#7940 = ORIENTED_EDGE ('', *, *, #5410, .T.);
#7950 = CARTESIAN_POINT ('', (24.925, 12., -6.92820323027552));
#7960 = CARTESIAN_POINT ('', (24.925, -8.88178419700125E-15, -13.856406460551));
#7970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7950, #7960), .UNSPECIFIED., .F., .U., (2, 2), (0.063286853258853, 0.936713146741147), .UNSPECIFIED.);
#7980 = EDGE_CURVE ('', #7150, #5370, #7970, .T.);
#7990 = ORIENTED_EDGE ('', *, *, #7980, .F.);
#8000 = EDGE_LOOP ('', (#7200, #7930, #7940, #7990));
#8010 = FACE_OUTER_BOUND ('', #8000, .T.);
#8020 = CARTESIAN_POINT ('', (44.7550599126394, -4.2366110619696E-13, -13.8564064605513));
#8030 = CARTESIAN_POINT ('', (44.7550599126394, 12., -6.92820323027552));
#8040 = CARTESIAN_POINT ('', (24.925, -4.2366110619696E-13, -13.8564064605513));
#8050 = CARTESIAN_POINT ('', (24.925, 12., -6.92820323027552));
#8060 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8020, #8030), (#8040, #8050)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.15207378736248, 0.856628847870669), (0.253843373765661, 0.746156626234322), .UNSPECIFIED.);
#8070 = ADVANCED_FACE ('', (#8010), #8060, .T.);
#8080 = CARTESIAN_POINT ('', (43.6829037745169, 12.0000000025123, 6.92820322882502));
#8090 = VERTEX_POINT ('', #8080);
#8100 = CARTESIAN_POINT ('', (44.7547005383793, 12., 0.));
#8110 = VERTEX_POINT ('', #8100);
#8120 = CARTESIAN_POINT ('', (43.6829037694922, 12., 6.92820322737453));
#8130 = CARTESIAN_POINT ('', (43.7471812087916, 12., 6.70553964601066));
#8140 = CARTESIAN_POINT ('', (43.8093211065622, 12., 6.48223171787457));
#8150 = CARTESIAN_POINT ('', (43.8691007558265, 12., 6.25831866956698));
#8160 = CARTESIAN_POINT ('', (43.9259734362782, 12., 6.04529408006098));
#8170 = CARTESIAN_POINT ('', (43.980718680834, 12., 5.83168815591545));
#8180 = CARTESIAN_POINT ('', (44.033141507008, 12., 5.61752507596959));
#8190 = CARTESIAN_POINT ('', (44.0855488441356, 12., 5.40342527345632));
#8200 = CARTESIAN_POINT ('', (44.1356409957058, 12., 5.18874332391251));
#8210 = CARTESIAN_POINT ('', (44.1832174205388, 12., 4.97351846888609));
#8220 = CARTESIAN_POINT ('', (44.2307809798213, 12., 4.7583518146653));
#8230 = CARTESIAN_POINT ('', (44.2758362656493, 12., 4.54261305116928));
#8240 = CARTESIAN_POINT ('', (44.3181819585933, 12., 4.32635897941737));
#8250 = CARTESIAN_POINT ('', (44.3605178093427, 12., 4.11015517050186));
#8260 = CARTESIAN_POINT ('', (44.400151466858, 12., 3.8934023264884));
#8270 = CARTESIAN_POINT ('', (44.436887019539, 12., 3.67617684359685));
#8280 = CARTESIAN_POINT ('', (44.473615943332, 12., 3.45899055879328));
#8290 = CARTESIAN_POINT ('', (44.5074537587026, 12., 3.24129323325325));
#8300 = CARTESIAN_POINT ('', (44.538217406832, 12., 3.02318203660455));
#8310 = CARTESIAN_POINT ('', (44.5689775321252, 12., 2.8050958165132));
#8320 = CARTESIAN_POINT ('', (44.5966696770941, 12., 2.58655272063744));
#8330 = CARTESIAN_POINT ('', (44.6211319401438, 12., 2.36767060079146));
#8340 = CARTESIAN_POINT ('', (44.645593320888, 12., 2.14879637559108));
#8350 = CARTESIAN_POINT ('', (44.6668297700344, 12., 1.92953587054146));
#8360 = CARTESIAN_POINT ('', (44.6847090334952, 12., 1.71002592192164));
#8370 = CARTESIAN_POINT ('', (44.7025892229195, 12., 1.49050460492537));
#8380 = CARTESIAN_POINT ('', (44.7171155427362, 12., 1.27068299746617));
#8390 = CARTESIAN_POINT ('', (44.7281931640521, 12., 1.05071346299467));
#8400 = CARTESIAN_POINT ('', (44.739272384785, 12., 0.830712168724207));
#8410 = CARTESIAN_POINT ('', (44.746904277464, 12., 0.610509467057326));
#8420 = CARTESIAN_POINT ('', (44.7510375160057, 12., 0.390268156327742));
#8430 = CARTESIAN_POINT ('', (44.7534785634112, 12., 0.260195944262271));
#8440 = CARTESIAN_POINT ('', (44.7547005383793, 12., 0.130095115450352));
#8450 = CARTESIAN_POINT ('', (44.7547005383793, 12., 3.89053014599301E-17));
#8460 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#8120, #8130, #8140, #8150, #8160, #8170, #8180, #8190, #8200, #8210, #8220, #8230, #8240, #8250, #8260, #8270, #8280, #8290, #8300, #8310, #8320, #8330, #8340, #8350, #8360, #8370, #8380, #8390, #8400, #8410, #8420, #8430, #8440, #8450), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.294789926489422, 0.99005673643874, 1.65151406510297, 2.31277595708626, 2.97385903154944, 3.63478845382859, 4.29559861215537, 4.95633309915908, 5.61704375477529, 6.27778862846453, 6.93862890229366, 7.32891424864471), .UNSPECIFIED.);
#8470 = EDGE_CURVE ('', #8090, #8110, #8460, .T.);
#8480 = ORIENTED_EDGE ('', *, *, #8470, .F.);
#8490 = CARTESIAN_POINT ('', (43.6829037686548, 1.51867586431834E-15, 13.856406460551));
#8500 = CARTESIAN_POINT ('', (43.7442992864763, 0.184186552983137, 13.7500663046051));
#8510 = CARTESIAN_POINT ('', (43.8037411813647, 0.368871467911134, 13.6434384192562));
#8520 = CARTESIAN_POINT ('', (43.8610419104755, 0.554044933256503, 13.5365284691922));
#8530 = CARTESIAN_POINT ('', (43.9183562396083, 0.739262348534872, 13.4295931446227));
#8540 = CARTESIAN_POINT ('', (43.9735339323754, 0.924987280261458, 13.3223648052951));
#8550 = CARTESIAN_POINT ('', (44.0263778782888, 1.11119906345625, 13.2148553821413));
#8560 = CARTESIAN_POINT ('', (44.0792285049599, 1.2974343883415, 13.1073323671862));
#8570 = CARTESIAN_POINT ('', (44.12975072037, 1.48417877043102, 12.9995154479171));
#8580 = CARTESIAN_POINT ('', (44.1777413260293, 1.67139833168492, 12.8914241838296));
#8590 = CARTESIAN_POINT ('', (44.225739977146, 1.85864927964391, 12.7833147986195));
#8600 = CARTESIAN_POINT ('', (44.271212344763, 2.04640135431494, 12.6749160877673));
#8610 = CARTESIAN_POINT ('', (44.3139539558727, 2.23460519700448, 12.5662565485279));
#8620 = CARTESIAN_POINT ('', (44.356704632386, 2.42284895732281, 12.4575739628349));
#8630 = CARTESIAN_POINT ('', (44.3967296314693, 2.61157444653178, 12.3486132508371));
#8640 = CARTESIAN_POINT ('', (44.4338295024875, 2.8007149451918, 12.2394129330211));
#8650 = CARTESIAN_POINT ('', (44.4709389353725, 2.98990419162881, 12.1301844706629));
#8660 = CARTESIAN_POINT ('', (44.5051277900209, 3.17954255062894, 12.0206967130455));
#8670 = CARTESIAN_POINT ('', (44.5362092879008, 3.36954481072428, 11.9109988570328));
#8680 = CARTESIAN_POINT ('', (44.5673001629687, 3.55960439389051, 11.8012679055298));
#8690 = CARTESIAN_POINT ('', (44.595287397816, 3.7500660520226, 11.6913048159369));
#8700 = CARTESIAN_POINT ('', (44.6200054896173, 3.94082608187938, 11.5811694613485));
#8710 = CARTESIAN_POINT ('', (44.6447319972308, 4.13165106013884, 11.4709966087823));
#8720 = CARTESIAN_POINT ('', (44.6661919524461, 4.32281633506361, 11.3606272858447));
#8730 = CARTESIAN_POINT ('', (44.684249987654, 4.51420116462207, 11.2501312029803));
#8740 = CARTESIAN_POINT ('', (44.7023147086681, 4.70565685249161, 11.139594210051));
#8750 = CARTESIAN_POINT ('', (44.7169787328478, 4.89737717914679, 11.0289044278473));
#8760 = CARTESIAN_POINT ('', (44.7281449923439, 5.08922742546729, 10.91813963649));
#8770 = CARTESIAN_POINT ('', (44.7393155780845, 5.28115200205588, 10.8073319305325));
#8780 = CARTESIAN_POINT ('', (44.7469881017873, 5.47325388973853, 10.6964218539673));
#8790 = CARTESIAN_POINT ('', (44.7511102041483, 5.66538896147752, 10.585492618578));
#8800 = CARTESIAN_POINT ('', (44.7552339117356, 5.8575988543277, 10.4745201852001));
#8810 = CARTESIAN_POINT ('', (44.7558053413189, 6.04989057165783, 10.3635005104365));
#8820 = CARTESIAN_POINT ('', (44.7528205470001, 6.24211625902773, 10.2525189580884));
#8830 = CARTESIAN_POINT ('', (44.74983463329, 6.43441403704654, 10.1414957841846));
#8840 = CARTESIAN_POINT ('', (44.7432891621608, 6.62669450050045, 10.0304826068493));
#8850 = CARTESIAN_POINT ('', (44.733229005768, 6.81881221736044, 9.91956339130405));
#8860 = CARTESIAN_POINT ('', (44.7231653790965, 7.01099620575607, 9.8086059138699));
#8870 = CARTESIAN_POINT ('', (44.7095824470554, 7.20306506038153, 9.69771490894935));
#8880 = CARTESIAN_POINT ('', (44.6925709270936, 7.39488163675967, 9.5869695569424));
#8890 = CARTESIAN_POINT ('', (44.6755542759304, 7.5867560709594, 9.47619080070658));
#8900 = CARTESIAN_POINT ('', (44.6551033987449, 7.77842366823974, 9.36553146182185));
#8910 = CARTESIAN_POINT ('', (44.6313489746354, 7.9697604624365, 9.25506311218647));
#8920 = CARTESIAN_POINT ('', (44.6075886394369, 8.16114486918846, 9.14456727342953));
#8930 = CARTESIAN_POINT ('', (44.5805184106177, 8.35224087307042, 9.03423794414722));
#8940 = CARTESIAN_POINT ('', (44.550301015058, 8.54294113014561, 8.92413709939032));
#8950 = CARTESIAN_POINT ('', (44.5200778479596, 8.73367781107163, 8.81401522531335));
#8960 = CARTESIAN_POINT ('', (44.4867007719616, 8.92405748858868, 8.70409946725065));
#8970 = CARTESIAN_POINT ('', (44.450355683398, 9.11399125921873, 8.59444115364919));
#8980 = CARTESIAN_POINT ('', (44.414005781452, 9.30395018383524, 8.48476831738687));
#8990 = CARTESIAN_POINT ('', (44.3746810159343, 9.49349794047891, 8.37533286906436));
#9000 = CARTESIAN_POINT ('', (44.3325816214514, 9.68256435819555, 8.26617532190094));
#9010 = CARTESIAN_POINT ('', (44.2904789935069, 9.87164529723777, 8.15700939084629));
#9020 = CARTESIAN_POINT ('', (44.24559501667, 10.0602755310572, 8.04810367457332));
#9030 = CARTESIAN_POINT ('', (44.1981362638723, 10.2484026823569, 7.93948841312858));
#9040 = CARTESIAN_POINT ('', (44.1506762406541, 10.4365348696209, 7.8308702441685));
#9050 = CARTESIAN_POINT ('', (44.1006350361737, 10.6241906042417, 7.7225271552702));
#9060 = CARTESIAN_POINT ('', (44.0482188748877, 10.8113335169171, 7.61448014426008));
#9070 = CARTESIAN_POINT ('', (43.995803557012, 10.9984734183407, 7.50643487179708));
#9080 = CARTESIAN_POINT ('', (43.9410073180228, 11.185123371907, 7.39867247086136));
#9090 = CARTESIAN_POINT ('', (43.8840308531089, 11.3712607639061, 7.29120599748438));
#9100 = CARTESIAN_POINT ('', (43.8270573025517, 11.5573886349434, 7.18374502103733));
#9110 = CARTESIAN_POINT ('', (43.7678980774412, 11.7430234024594, 7.07656873804102));
#9120 = CARTESIAN_POINT ('', (43.7067446388625, 11.9281538056531, 6.96968364992193));
#9130 = CARTESIAN_POINT ('', (43.6988310276428, 11.9521107583587, 6.95585209682841));
#9140 = CARTESIAN_POINT ('', (43.6908839410203, 11.976059493497, 6.94202528814954));
#9150 = CARTESIAN_POINT ('', (43.6829037745169, 12.0000000025123, 6.92820322882502));
#9160 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#8490, #8500, #8510, #8520, #8530, #8540, #8550, #8560, #8570, #8580, #8590, #8600, #8610, #8620, #8630, #8640, #8650, #8660, #8670, #8680, #8690, #8700, #8710, #8720, #8730, #8740, #8750, #8760, #8770, #8780, #8790, #8800, #8810, #8820, #8830, #8840, #8850, #8860, #8870, #8880, #8890, #8900, #8910, #8920, #8930, #8940, #8950, #8960, #8970, #8980, #8990, #9000, #9010, #9020, #9030, #9040, #9050, #9060, #9070, #9080, #9090, #9100, #9110, #9120, #9130, #9140, #9150), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.294796643378448, 0.958890694869486, 1.62314236553676, 2.28747801374266, 2.95192503549808, 3.61651298503257, 4.28127222091442, 4.94623201252006, 5.61141820415483, 6.27685067429667, 6.94254095893107, 7.60849047623109, 8.27468974544248, 8.94111882192687, 9.6077489140656, 10.2745448915072, 10.9414682273361, 11.6084798875347, 12.2755427778438, 12.942623524719, 13.6096935378285, 14.2767294301837, 14.3630477606706), .UNSPECIFIED.);
#9170 = EDGE_CURVE ('', #3410, #8090, #9160, .T.);
#9180 = ORIENTED_EDGE ('', *, *, #9170, .F.);
#9190 = ORIENTED_EDGE ('', *, *, #4130, .F.);
#9200 = ORIENTED_EDGE ('', *, *, #5180, .F.);
#9210 = ORIENTED_EDGE ('', *, *, #6110, .F.);
#9220 = ORIENTED_EDGE ('', *, *, #7920, .F.);
#9230 = CARTESIAN_POINT ('', (44.7547005383793, 12., -1.43067085751689E-15));
#9240 = CARTESIAN_POINT ('', (44.7547005383793, 12., -0.222911548334313));
#9250 = CARTESIAN_POINT ('', (44.7511098936032, 12., -0.445851638791025));
#9260 = CARTESIAN_POINT ('', (44.743953547197, 12., -0.668648283933887));
#9270 = CARTESIAN_POINT ('', (44.7367952949971, 12., -0.89150426164636));
#9280 = CARTESIAN_POINT ('', (44.7260678541897, 12., -1.11427313531312));
#9290 = CARTESIAN_POINT ('', (44.7118443730016, 12., -1.33678992110608));
#9300 = CARTESIAN_POINT ('', (44.6976183384957, 12., -1.55934665183777));
#9310 = CARTESIAN_POINT ('', (44.6798919504485, 12., -1.78170560925481));
#9320 = CARTESIAN_POINT ('', (44.6587816554952, 12., -2.00371514485796));
#9330 = CARTESIAN_POINT ('', (44.6376694735942, 12., -2.22574452482514));
#9340 = CARTESIAN_POINT ('', (44.6131684659427, 12., -2.44747564817173));
#9350 = CARTESIAN_POINT ('', (44.5854309793984, 12., -2.66877499664216));
#9360 = CARTESIAN_POINT ('', (44.5576934349538, 12., -2.89007480706209));
#9370 = CARTESIAN_POINT ('', (44.5267141121412, 12., -3.11099000857856));
#9380 = CARTESIAN_POINT ('', (44.4926724319454, 12., -3.33140811462515));
#9390 = CARTESIAN_POINT ('', (44.4586333803142, 12., -3.55180920085291));
#9400 = CARTESIAN_POINT ('', (44.4215265022607, 12., -3.77175581816558));
#9410 = CARTESIAN_POINT ('', (44.3815491377515, 12., -3.99115751864491));
#9420 = CARTESIAN_POINT ('', (44.3415775670404, 12., -4.21052742190208));
#9430 = CARTESIAN_POINT ('', (44.298730055609, 12., -4.42939025741748));
#9440 = CARTESIAN_POINT ('', (44.2532132957191, 12., -4.64767700802159));
#9450 = CARTESIAN_POINT ('', (44.2077056014105, 12., -4.86592028241441));
#9460 = CARTESIAN_POINT ('', (44.1595233693388, 12., -5.08362056620763));
#9470 = CARTESIAN_POINT ('', (44.1088752836818, 12., -5.30072848517484));
#9480 = CARTESIAN_POINT ('', (44.0582393341836, 12., -5.51778438132325));
#9490 = CARTESIAN_POINT ('', (44.0051325199417, 12., -5.73427647500921));
#9500 = CARTESIAN_POINT ('', (43.9497596649401, 12., -5.95017253417505));
#9510 = CARTESIAN_POINT ('', (43.894401600703, 12., -6.16601092487178));
#9520 = CARTESIAN_POINT ('', (43.8367728397994, 12., -6.38127766897735));
#9530 = CARTESIAN_POINT ('', (43.7770700429446, 12., -6.59595487368793));
#9540 = CARTESIAN_POINT ('', (43.7462277144436, 12., -6.70685662734418));
#9550 = CARTESIAN_POINT ('', (43.7148304390817, 12., -6.81760639023369));
#9560 = CARTESIAN_POINT ('', (43.682903862666, 12., -6.92820325741423));
#9570 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#9230, #9240, #9250, #9260, #9270, #9280, #9290, #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), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.668734645002935, 1.33764737951369, 2.00668019340674, 2.67577280892351, 3.34486682113215, 4.01390916853396, 4.68285455366012, 5.35166670481388, 6.02031859698899, 6.68879188409302, 7.03412365749736), .UNSPECIFIED.);
#9580 = EDGE_CURVE ('', #8110, #7130, #9570, .T.);
#9590 = ORIENTED_EDGE ('', *, *, #9580, .F.);
#9600 = CARTESIAN_POINT ('', (44.7547005383793, 12., 0.));
#9610 = CARTESIAN_POINT ('', (45., 11.5751288694036, 0.));
#9620 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9600, #9610), .UNSPECIFIED., .F., .U., (2, 2), (0.824786098842322, 1.), .UNSPECIFIED.);
#9630 = EDGE_CURVE ('', #8110, #20, #9620, .T.);
#9640 = ORIENTED_EDGE ('', *, *, #9630, .T.);
#9650 = ORIENTED_EDGE ('', *, *, #130, .F.);
#9660 = ORIENTED_EDGE ('', *, *, #9630, .F.);
#9670 = EDGE_LOOP ('', (#8480, #9180, #9190, #9200, #9210, #9220, #9590, #9640, #9650, #9660));
#9680 = FACE_OUTER_BOUND ('', #9670, .T.);
#9690 = CARTESIAN_POINT ('', (43.6829037686548, 13.856406460551, 0.));
#9700 = CARTESIAN_POINT ('', (45., 11.5751288694036, 0.));
#9710 = CARTESIAN_POINT ('', (43.6829037686548, 13.856406460551, 13.856406460551));
#9720 = CARTESIAN_POINT ('', (45., 11.5751288694036, 11.5751288694036));
#9730 = CARTESIAN_POINT ('', (43.6829037686548, 8.48460190979926E-16, 13.856406460551));
#9740 = CARTESIAN_POINT ('', (45., 7.0877222598166E-16, 11.5751288694036));
#9750 = CARTESIAN_POINT ('', (43.6829037686548, -13.856406460551, 13.856406460551));
#9760 = CARTESIAN_POINT ('', (45., -11.5751288694036, 11.5751288694036));
#9770 = CARTESIAN_POINT ('', (43.6829037686548, -13.856406460551, 1.69692038195985E-15));
#9780 = CARTESIAN_POINT ('', (45., -11.5751288694036, 1.41754445196332E-15));
#9790 = CARTESIAN_POINT ('', (43.6829037686548, -13.856406460551, -13.856406460551));
#9800 = CARTESIAN_POINT ('', (45., -11.5751288694036, -11.5751288694036));
#9810 = CARTESIAN_POINT ('', (43.6829037686548, -2.54538057293978E-15, -13.856406460551));
#9820 = CARTESIAN_POINT ('', (45., -2.12631667794498E-15, -11.5751288694036));
#9830 = CARTESIAN_POINT ('', (43.6829037686548, 13.856406460551, -13.856406460551));
#9840 = CARTESIAN_POINT ('', (45., 11.5751288694036, -11.5751288694036));
#9850 = CARTESIAN_POINT ('', (43.6829037686548, 13.856406460551, 0.));
#9860 = CARTESIAN_POINT ('', (45., 11.5751288694036, 0.));
#9870 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#9690, #9700), (#9710, #9720), (#9730, #9740), (#9750, #9760), (#9770, #9780), (#9790, #9800), (#9810, #9820), (#9830, #9840), (#9850, #9860)), .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.059216977610541, 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 ('')
);
#9880 = ADVANCED_FACE ('', (#9680), #9870, .T.);
#9890 = CARTESIAN_POINT ('', (24.925, 12., 6.92820323027551));
#9900 = VERTEX_POINT ('', #9890);
#9910 = CARTESIAN_POINT ('', (24.925, 12., 6.92820323027551));
#9920 = CARTESIAN_POINT ('', (43.6829037745169, 12., 6.92820323027551));
#9930 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9910, #9920), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.945897226646333), .UNSPECIFIED.);
#9940 = EDGE_CURVE ('', #9900, #8090, #9930, .T.);
#9950 = ORIENTED_EDGE ('', *, *, #9940, .F.);
#9960 = CARTESIAN_POINT ('', (24.925, -4.44089209850063E-16, 13.856406460551));
#9970 = CARTESIAN_POINT ('', (24.925, 12., 6.92820323027551));
#9980 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9960, #9970), .UNSPECIFIED., .F., .U., (2, 2), (0.0632868532588531, 0.936713146741147), .UNSPECIFIED.);
#9990 = EDGE_CURVE ('', #4160, #9900, #9980, .T.);
#10000 = ORIENTED_EDGE ('', *, *, #9990, .F.);
#10010 = ORIENTED_EDGE ('', *, *, #4200, .F.);
#10020 = ORIENTED_EDGE ('', *, *, #9170, .T.);
#10030 = EDGE_LOOP ('', (#9950, #10000, #10010, #10020));
#10040 = FACE_OUTER_BOUND ('', #10030, .T.);
#10050 = CARTESIAN_POINT ('', (44.7558053413189, 12.0000000025123, 6.92820322882502));
#10060 = CARTESIAN_POINT ('', (44.7558053413189, 0., 13.856406460551));
#10070 = CARTESIAN_POINT ('', (24.925, 12.0000000025123, 6.92820322882502));
#10080 = CARTESIAN_POINT ('', (24.925, 0., 13.856406460551));
#10090 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10050, #10060), (#10070, #10080)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.152047302543438, 0.85662884787067), (0.253843373662607, 0.746156626234322), .UNSPECIFIED.);
#10100 = ADVANCED_FACE ('', (#10040), #10090, .T.);
#10110 = ORIENTED_EDGE ('', *, *, #6810, .T.);
#10120 = ORIENTED_EDGE ('', *, *, #6750, .T.);
#10130 = ORIENTED_EDGE ('', *, *, #6670, .T.);
#10140 = ORIENTED_EDGE ('', *, *, #6590, .T.);
#10150 = ORIENTED_EDGE ('', *, *, #6510, .T.);
#10160 = ORIENTED_EDGE ('', *, *, #6430, .T.);
#10170 = ORIENTED_EDGE ('', *, *, #6350, .T.);
#10180 = EDGE_LOOP ('', (#10110, #10120, #10130, #10140, #10150, #10160, #10170));
#10190 = FACE_OUTER_BOUND ('', #10180, .T.);
#10200 = ORIENTED_EDGE ('', *, *, #9990, .T.);
#10210 = CARTESIAN_POINT ('', (24.925, 12., 6.92820323027551));
#10220 = CARTESIAN_POINT ('', (24.925, 12., -6.92820323027552));
#10230 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10210, #10220), .UNSPECIFIED., .F., .U., (2, 2), (0.0632868532588533, 0.936713146741147), .UNSPECIFIED.);
#10240 = EDGE_CURVE ('', #9900, #7150, #10230, .T.);
#10250 = ORIENTED_EDGE ('', *, *, #10240, .T.);
#10260 = ORIENTED_EDGE ('', *, *, #7980, .T.);
#10270 = ORIENTED_EDGE ('', *, *, #6170, .T.);
#10280 = ORIENTED_EDGE ('', *, *, #5240, .T.);
#10290 = ORIENTED_EDGE ('', *, *, #4250, .T.);
#10300 = EDGE_LOOP ('', (#10200, #10250, #10260, #10270, #10280, #10290));
#10310 = FACE_BOUND ('', #10300, .T.);
#10320 = CARTESIAN_POINT ('', (24.925, -19.1795997024248, -5.09336477413184));
#10330 = CARTESIAN_POINT ('', (24.925, -5.17920813424909, 19.1560247478073));
#10340 = CARTESIAN_POINT ('', (24.925, 5.17881656607342, -19.1567029637822));
#10350 = CARTESIAN_POINT ('', (24.925, 19.1792081342491, 5.09268655815695));
#10360 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10320, #10330), (#10340, #10350)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.386470051520549, 1.38647005152055), (-11.8185377892506, 0.909090909090909), .UNSPECIFIED.);
#10370 = ADVANCED_FACE ('', (#10190, #10310), #10360, .T.);
#10380 = ORIENTED_EDGE ('', *, *, #9940, .T.);
#10390 = ORIENTED_EDGE ('', *, *, #8470, .T.);
#10400 = ORIENTED_EDGE ('', *, *, #9580, .T.);
#10410 = ORIENTED_EDGE ('', *, *, #7190, .T.);
#10420 = ORIENTED_EDGE ('', *, *, #10240, .F.);
#10430 = EDGE_LOOP ('', (#10380, #10390, #10400, #10410, #10420));
#10440 = FACE_OUTER_BOUND ('', #10430, .T.);
#10450 = CARTESIAN_POINT ('', (44.7547005383793, 12., -6.92820323027552));
#10460 = CARTESIAN_POINT ('', (44.7547005383793, 12., 6.9282032302755));
#10470 = CARTESIAN_POINT ('', (24.925, 12., -6.92820323027552));
#10480 = CARTESIAN_POINT ('', (24.925, 12., 6.9282032302755));
#10490 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10450, #10460), (#10470, #10480)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.152086555803662, 0.856628847870669), (0.253843373765678, 0.746156626234322), .UNSPECIFIED.);
#10500 = ADVANCED_FACE ('', (#10440), #10490, .T.);
#10510 = CARTESIAN_POINT ('', (-54.75, -6.78232998312528, 10.5));
#10520 = VERTEX_POINT ('', #10510);
#10530 = CARTESIAN_POINT ('', (-39., -6.78232998312527, 10.5));
#10540 = VERTEX_POINT ('', #10530);
#10550 = CARTESIAN_POINT ('', (-54.75, -6.78232998312527, 10.5));
#10560 = CARTESIAN_POINT ('', (-39., -6.78232998312527, 10.5));
#10570 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10550, #10560), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10580 = EDGE_CURVE ('', #10520, #10540, #10570, .T.);
#10590 = ORIENTED_EDGE ('', *, *, #10580, .F.);
#10600 = CARTESIAN_POINT ('', (-54.75, -6.78232998312528, 10.5));
#10610 = CARTESIAN_POINT ('', (-54.75, -12.5, 6.80675002008896));
#10620 = CARTESIAN_POINT ('', (-54.75, -12.5, 1.53080849893419E-15));
#10630 = CARTESIAN_POINT ('', (-54.75, -12.5, -12.5));
#10640 = CARTESIAN_POINT ('', (-54.75, -2.29621274840129E-15, -12.5));
#10650 = CARTESIAN_POINT ('', (-54.75, 12.5, -12.5));
#10660 = CARTESIAN_POINT ('', (-54.75, 12.5, 0.));
#10670 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#10600, #10610, #10620, #10630, #10640, #10650, #10660), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 3), (26.9319990358966, 39.2699081698724, 58.9048622548086, 78.5398163397448), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.863205662191848, 0.815956283674202, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#10680 = EDGE_CURVE ('', #10520, #2370, #10670, .T.);
#10690 = ORIENTED_EDGE ('', *, *, #10680, .T.);
#10700 = CARTESIAN_POINT ('', (0., 12.5, 0.));
#10710 = CARTESIAN_POINT ('', (-54.75, 12.5, 0.));
#10720 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (1, (#10700, #10710), .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 ('')
);
#10730 = EDGE_CURVE ('', #1920, #2370, #10720, .T.);
#10740 = ORIENTED_EDGE ('', *, *, #10730, .F.);
#10750 = ORIENTED_EDGE ('', *, *, #2030, .F.);
#10760 = ORIENTED_EDGE ('', *, *, #10730, .T.);
#10770 = ORIENTED_EDGE ('', *, *, #2420, .T.);
#10780 = CARTESIAN_POINT ('', (-39., 6.78232998312526, 10.5));
#10790 = VERTEX_POINT ('', #10780);
#10800 = CARTESIAN_POINT ('', (-54.75, 6.78232998312527, 10.5));
#10810 = CARTESIAN_POINT ('', (-39., 6.78232998312527, 10.5));
#10820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10800, #10810), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10830 = EDGE_CURVE ('', #2160, #10790, #10820, .T.);
#10840 = ORIENTED_EDGE ('', *, *, #10830, .T.);
#10850 = CARTESIAN_POINT ('', (-39., 6.78232998312526, 10.5));
#10860 = CARTESIAN_POINT ('', (-34.6190476190476, -2.98365428705478E-15, 14.8809523809524));
#10870 = CARTESIAN_POINT ('', (-39., -6.78232998312527, 10.5));
#10880 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#10850, #10860, #10870), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.84, 1.))
   REPRESENTATION_ITEM ('')
);
#10890 = EDGE_CURVE ('', #10790, #10540, #10880, .T.);
#10900 = ORIENTED_EDGE ('', *, *, #10890, .T.);
#10910 = EDGE_LOOP ('', (#10590, #10690, #10740, #10750, #10760, #10770, #10840, #10900));
#10920 = FACE_OUTER_BOUND ('', #10910, .T.);
#10930 = CARTESIAN_POINT ('', (-30., 6.78232998312527, 10.5));
#10940 = VERTEX_POINT ('', #10930);
#10950 = CARTESIAN_POINT ('', (-30., -6.78232998312527, 10.5));
#10960 = VERTEX_POINT ('', #10950);
#10970 = CARTESIAN_POINT ('', (-30., 6.78232998312526, 10.5));
#10980 = CARTESIAN_POINT ('', (-34.3809523809524, -4.7150635316074E-16, 14.8809523809524));
#10990 = CARTESIAN_POINT ('', (-30., -6.78232998312527, 10.5));
#11000 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#10970, #10980, #10990), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.84, 1.))
   REPRESENTATION_ITEM ('')
);
#11010 = EDGE_CURVE ('', #10940, #10960, #11000, .T.);
#11020 = ORIENTED_EDGE ('', *, *, #11010, .F.);
#11030 = CARTESIAN_POINT ('', (-18., 6.78232998312526, 10.5));
#11040 = VERTEX_POINT ('', #11030);
#11050 = CARTESIAN_POINT ('', (-30., 6.78232998312527, 10.5));
#11060 = CARTESIAN_POINT ('', (-18., 6.78232998312527, 10.5));
#11070 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11050, #11060), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11080 = EDGE_CURVE ('', #10940, #11040, #11070, .T.);
#11090 = ORIENTED_EDGE ('', *, *, #11080, .T.);
#11100 = CARTESIAN_POINT ('', (-16., -1.60982338570648E-15, 12.5));
#11110 = VERTEX_POINT ('', #11100);
#11120 = CARTESIAN_POINT ('', (-18., 6.78232998312526, 10.5));
#11130 = CARTESIAN_POINT ('', (-16., 3.68604890387242, 12.5));
#11140 = CARTESIAN_POINT ('', (-16., 1.45179361216191E-15, 12.5));
#11150 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#11120, #11130, #11140), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.959166304662544, 1.))
   REPRESENTATION_ITEM ('')
);
#11160 = EDGE_CURVE ('', #11040, #11110, #11150, .T.);
#11170 = ORIENTED_EDGE ('', *, *, #11160, .T.);
#11180 = CARTESIAN_POINT ('', (-18., -6.78232998312528, 10.5));
#11190 = VERTEX_POINT ('', #11180);
#11200 = CARTESIAN_POINT ('', (-16., -1.60982338570648E-15, 12.5));
#11210 = CARTESIAN_POINT ('', (-16., -3.68604890387243, 12.5));
#11220 = CARTESIAN_POINT ('', (-18., -6.78232998312528, 10.5));
#11230 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#11200, #11210, #11220), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.959166304662544, 1.))
   REPRESENTATION_ITEM ('')
);
#11240 = EDGE_CURVE ('', #11110, #11190, #11230, .T.);
#11250 = ORIENTED_EDGE ('', *, *, #11240, .T.);
#11260 = CARTESIAN_POINT ('', (-30., -6.78232998312527, 10.5));
#11270 = CARTESIAN_POINT ('', (-18., -6.78232998312527, 10.5));
#11280 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11260, #11270), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11290 = EDGE_CURVE ('', #10960, #11190, #11280, .T.);
#11300 = ORIENTED_EDGE ('', *, *, #11290, .F.);
#11310 = EDGE_LOOP ('', (#11020, #11090, #11170, #11250, #11300));
#11320 = FACE_BOUND ('', #11310, .T.);
#11330 = CARTESIAN_POINT ('', (0., 12.5, 0.));
#11340 = CARTESIAN_POINT ('', (0., 12.5, 12.5));
#11350 = CARTESIAN_POINT ('', (0., 7.65404249467096E-16, 12.5));
#11360 = CARTESIAN_POINT ('', (0., -12.5, 12.5));
#11370 = CARTESIAN_POINT ('', (0., -12.5, 1.53080849893419E-15));
#11380 = CARTESIAN_POINT ('', (0., -12.5, -12.5));
#11390 = CARTESIAN_POINT ('', (0., -2.29621274840129E-15, -12.5));
#11400 = CARTESIAN_POINT ('', (0., 12.5, -12.5));
#11410 = CARTESIAN_POINT ('', (0., 12.5, 0.));
#11420 = CARTESIAN_POINT ('', (-54.75, 12.5, 0.));
#11430 = CARTESIAN_POINT ('', (-54.75, 12.5, 12.5));
#11440 = CARTESIAN_POINT ('', (-54.75, 7.65404249467096E-16, 12.5));
#11450 = CARTESIAN_POINT ('', (-54.75, -12.5, 12.5));
#11460 = CARTESIAN_POINT ('', (-54.75, -12.5, 1.53080849893419E-15));
#11470 = CARTESIAN_POINT ('', (-54.75, -12.5, -12.5));
#11480 = CARTESIAN_POINT ('', (-54.75, -2.29621274840129E-15, -12.5));
#11490 = CARTESIAN_POINT ('', (-54.75, 12.5, -12.5));
#11500 = CARTESIAN_POINT ('', (-54.75, 12.5, 0.));
#11510 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#11330, #11340, #11350, #11360, #11370, #11380, #11390, #11400, #11410), (#11420, #11430, #11440, #11450, #11460, #11470, #11480, #11490, #11500)), .UNSPECIFIED., .F., .T., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 2, 2, 3), (0., 1.), (0., 19.6349540849362, 39.2699081698724, 58.9048622548086, 78.5398163397448), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.)))
   REPRESENTATION_ITEM ('')
);
#11520 = ADVANCED_FACE ('', (#10920, #11320), #11510, .T.);
#11530 = CARTESIAN_POINT ('', (-56., -4.03887360535089, 10.5));
#11540 = VERTEX_POINT ('', #11530);
#11550 = CARTESIAN_POINT ('', (-56., -4.03887360535089, 10.5));
#11560 = CARTESIAN_POINT ('', (-55.924654810613, -4.24874236169937, 10.5));
#11570 = CARTESIAN_POINT ('', (-55.8447642462257, -4.45702333417583, 10.5));
#11580 = CARTESIAN_POINT ('', (-55.7608971184585, -4.66363431484991, 10.5));
#11590 = CARTESIAN_POINT ('', (-55.677067790189, -4.87015217451824, 10.5));
#11600 = CARTESIAN_POINT ('', (-55.5892349089108, -5.07508041138476, 10.5));
#11610 = CARTESIAN_POINT ('', (-55.497915934478, -5.27839747301175, 10.5));
#11620 = CARTESIAN_POINT ('', (-55.4066382041939, -5.48162270663485, 10.5));
#11630 = CARTESIAN_POINT ('', (-55.3118506189165, -5.6832999569393, 10.5));
#11640 = CARTESIAN_POINT ('', (-55.2140130899544, -5.88344974473227, 10.5));
#11650 = CARTESIAN_POINT ('', (-55.1162181682305, -6.0835123693499, 10.5));
#11660 = CARTESIAN_POINT ('', (-55.0153528593436, -6.28209688746469, 10.5));
#11670 = CARTESIAN_POINT ('', (-54.9118196439885, -6.47925107535351, 10.5));
#11680 = CARTESIAN_POINT ('', (-54.8585738555067, -6.58064491452494, 10.5));
#11690 = CARTESIAN_POINT ('', (-54.8046175796869, -6.68166844825666, 10.5));
#11700 = CARTESIAN_POINT ('', (-54.75, -6.78232998312527, 10.5));
#11710 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#11550, #11560, #11570, #11580, #11590, #11600, #11610, #11620, #11630, #11640, #11650, #11660, #11670, #11680, #11690, #11700), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 4), (0., 0.668951516998933, 1.33760153289731, 2.00594955349943, 2.67400651540822, 3.01757953751076), .UNSPECIFIED.);
#11720 = EDGE_CURVE ('', #11540, #10520, #11710, .T.);
#11730 = ORIENTED_EDGE ('', *, *, #11720, .F.);
#11740 = CARTESIAN_POINT ('', (-56., -4.03887360535089, 10.5));
#11750 = CARTESIAN_POINT ('', (-56., -11.25, 7.72620685140977));
#11760 = CARTESIAN_POINT ('', (-56., -11.25, 1.37772764904077E-15));
#11770 = CARTESIAN_POINT ('', (-56., -11.25, -11.25));
#11780 = CARTESIAN_POINT ('', (-56., -2.06659147356116E-15, -11.25));
#11790 = CARTESIAN_POINT ('', (-56., 11.25, -11.25));
#11800 = CARTESIAN_POINT ('', (-56., 11.25, 0.));
#11810 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#11740, #11750, #11760, #11770, #11780, #11790, #11800), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 3), (0.310964015117933, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.891986673431889, 0.778530567665281, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#11820 = EDGE_CURVE ('', #11540, #2450, #11810, .T.);
#11830 = ORIENTED_EDGE ('', *, *, #11820, .T.);
#11840 = ORIENTED_EDGE ('', *, *, #2490, .F.);
#11850 = ORIENTED_EDGE ('', *, *, #10680, .F.);
#11860 = EDGE_LOOP ('', (#11730, #11830, #11840, #11850));
#11870 = FACE_OUTER_BOUND ('', #11860, .T.);
#11880 = CARTESIAN_POINT ('', (-54.75, 12.5, 0.));
#11890 = CARTESIAN_POINT ('', (-54.75, 12.5, 12.5));
#11900 = CARTESIAN_POINT ('', (-54.75, 7.65404249467096E-16, 12.5));
#11910 = CARTESIAN_POINT ('', (-54.75, -12.5, 12.5));
#11920 = CARTESIAN_POINT ('', (-54.75, -12.5, 1.53080849893419E-15));
#11930 = CARTESIAN_POINT ('', (-54.75, -12.5, -12.5));
#11940 = CARTESIAN_POINT ('', (-54.75, -2.29621274840129E-15, -12.5));
#11950 = CARTESIAN_POINT ('', (-54.75, 12.5, -12.5));
#11960 = CARTESIAN_POINT ('', (-54.75, 12.5, 0.));
#11970 = CARTESIAN_POINT ('', (-56., 11.25, 0.));
#11980 = CARTESIAN_POINT ('', (-56., 11.25, 11.25));
#11990 = CARTESIAN_POINT ('', (-56., 6.88863824520386E-16, 11.25));
#12000 = CARTESIAN_POINT ('', (-56., -11.25, 11.25));
#12010 = CARTESIAN_POINT ('', (-56., -11.25, 1.37772764904077E-15));
#12020 = CARTESIAN_POINT ('', (-56., -11.25, -11.25));
#12030 = CARTESIAN_POINT ('', (-56., -2.06659147356116E-15, -11.25));
#12040 = CARTESIAN_POINT ('', (-56., 11.25, -11.25));
#12050 = CARTESIAN_POINT ('', (-56., 11.25, 0.));
#12060 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#11880, #11890, #11900, #11910, #11920, #11930, #11940, #11950, #11960), (#11970, #11980, #11990, #12000, #12010, #12020, #12030, #12040, #12050)), .UNSPECIFIED., .F., .T., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 2, 2, 3), (0., 1.), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.)))
   REPRESENTATION_ITEM ('')
);
#12070 = ADVANCED_FACE ('', (#11870), #12060, .T.);
#12080 = CARTESIAN_POINT ('', (-56., 4.03887360535088, 10.5));
#12090 = CARTESIAN_POINT ('', (-56., -4.03887360535089, 10.5));
#12100 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12080, #12090), .UNSPECIFIED., .F., .U., (2, 2), (0.32049450642885, 0.67950549357115), .UNSPECIFIED.);
#12110 = EDGE_CURVE ('', #2140, #11540, #12100, .T.);
#12120 = ORIENTED_EDGE ('', *, *, #12110, .F.);
#12130 = ORIENTED_EDGE ('', *, *, #2550, .F.);
#12140 = ORIENTED_EDGE ('', *, *, #11820, .F.);
#12150 = EDGE_LOOP ('', (#12120, #12130, #12140));
#12160 = FACE_OUTER_BOUND ('', #12150, .T.);
#12170 = CARTESIAN_POINT ('', (-56., -11.25, -11.25));
#12180 = CARTESIAN_POINT ('', (-56., 11.25, -11.25));
#12190 = CARTESIAN_POINT ('', (-56., -11.25, 10.5));
#12200 = CARTESIAN_POINT ('', (-56., 11.25, 10.5));
#12210 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12170, #12180), (#12190, #12200)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0454545454545454, 0.924242424242424), (0.0454545454545454, 0.954545454545454), .UNSPECIFIED.);
#12220 = ADVANCED_FACE ('', (#12160), #12210, .T.);
#12230 = ORIENTED_EDGE ('', *, *, #11160, .F.);
#12240 = CARTESIAN_POINT ('', (-18., -6.78232998312528, 10.5));
#12250 = CARTESIAN_POINT ('', (-18., 6.78232998312526, 10.5));
#12260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12240, #12250), .UNSPECIFIED., .F., .U., (2, 2), (0.228706800674989, 0.771293199325011), .UNSPECIFIED.);
#12270 = EDGE_CURVE ('', #11190, #11040, #12260, .T.);
#12280 = ORIENTED_EDGE ('', *, *, #12270, .F.);
#12290 = ORIENTED_EDGE ('', *, *, #11240, .F.);
#12300 = EDGE_LOOP ('', (#12230, #12280, #12290));
#12310 = FACE_OUTER_BOUND ('', #12300, .T.);
#12320 = CARTESIAN_POINT ('', (-16., -6.78232998312528, 12.5));
#12330 = CARTESIAN_POINT ('', (-18., -6.78232998312528, 10.5));
#12340 = CARTESIAN_POINT ('', (-16., 6.78232998312526, 12.5));
#12350 = CARTESIAN_POINT ('', (-18., 6.78232998312526, 10.5));
#12360 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12320, #12330), (#12340, #12350)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.228706800674989, 0.77129319932501), (0.499999999999999, 1.), .UNSPECIFIED.);
#12370 = ADVANCED_FACE ('', (#12310), #12360, .T.);
#12380 = ORIENTED_EDGE ('', *, *, #11290, .T.);
#12390 = ORIENTED_EDGE ('', *, *, #12270, .T.);
#12400 = ORIENTED_EDGE ('', *, *, #11080, .F.);
#12410 = CARTESIAN_POINT ('', (-30., -6.78232998312527, 10.5));
#12420 = CARTESIAN_POINT ('', (-30., 6.78232998312527, 10.5));
#12430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12410, #12420), .UNSPECIFIED., .F., .U., (2, 2), (0.228706800674989, 0.771293199325011), .UNSPECIFIED.);
#12440 = EDGE_CURVE ('', #10960, #10940, #12430, .T.);
#12450 = ORIENTED_EDGE ('', *, *, #12440, .F.);
#12460 = EDGE_LOOP ('', (#12380, #12390, #12400, #12450));
#12470 = FACE_OUTER_BOUND ('', #12460, .T.);
#12480 = CARTESIAN_POINT ('', (-18., -6.78232998312528, 10.5));
#12490 = CARTESIAN_POINT ('', (-30., -6.78232998312528, 10.5));
#12500 = CARTESIAN_POINT ('', (-18., 6.78232998312527, 10.5));
#12510 = CARTESIAN_POINT ('', (-30., 6.78232998312527, 10.5));
#12520 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12480, #12490), (#12500, #12510)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.228706800674989, 0.771293199325011), (0., 1.), .UNSPECIFIED.);
#12530 = ADVANCED_FACE ('', (#12470), #12520, .T.);
#12540 = ORIENTED_EDGE ('', *, *, #11010, .T.);
#12550 = ORIENTED_EDGE ('', *, *, #12440, .T.);
#12560 = EDGE_LOOP ('', (#12540, #12550));
#12570 = FACE_OUTER_BOUND ('', #12560, .T.);
#12580 = CARTESIAN_POINT ('', (-30., -6.78232998312527, 10.5));
#12590 = CARTESIAN_POINT ('', (-32., -6.78232998312527, 12.5));
#12600 = CARTESIAN_POINT ('', (-30., 6.78232998312527, 10.5));
#12610 = CARTESIAN_POINT ('', (-32., 6.78232998312527, 12.5));
#12620 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12580, #12590), (#12600, #12610)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.228706800674989, 0.771293199325011), (0., 0.666666666666667), .UNSPECIFIED.);
#12630 = ADVANCED_FACE ('', (#12570), #12620, .T.);
#12640 = ORIENTED_EDGE ('', *, *, #10890, .F.);
#12650 = CARTESIAN_POINT ('', (-39., -6.78232998312527, 10.5));
#12660 = CARTESIAN_POINT ('', (-39., 6.78232998312526, 10.5));
#12670 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12650, #12660), .UNSPECIFIED., .F., .U., (2, 2), (0.228706800674989, 0.771293199325011), .UNSPECIFIED.);
#12680 = EDGE_CURVE ('', #10540, #10790, #12670, .T.);
#12690 = ORIENTED_EDGE ('', *, *, #12680, .F.);
#12700 = EDGE_LOOP ('', (#12640, #12690));
#12710 = FACE_OUTER_BOUND ('', #12700, .T.);
#12720 = CARTESIAN_POINT ('', (-37., -6.78232998312528, 12.5));
#12730 = CARTESIAN_POINT ('', (-39., -6.78232998312528, 10.5));
#12740 = CARTESIAN_POINT ('', (-37., 6.78232998312526, 12.5));
#12750 = CARTESIAN_POINT ('', (-39., 6.78232998312526, 10.5));
#12760 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12720, #12730), (#12740, #12750)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.228706800674989, 0.77129319932501), (0.333333333333333, 1.), .UNSPECIFIED.);
#12770 = ADVANCED_FACE ('', (#12710), #12760, .T.);
#12780 = ORIENTED_EDGE ('', *, *, #2340, .F.);
#12790 = ORIENTED_EDGE ('', *, *, #12110, .T.);
#12800 = ORIENTED_EDGE ('', *, *, #11720, .T.);
#12810 = ORIENTED_EDGE ('', *, *, #10580, .T.);
#12820 = ORIENTED_EDGE ('', *, *, #12680, .T.);
#12830 = ORIENTED_EDGE ('', *, *, #10830, .F.);
#12840 = EDGE_LOOP ('', (#12780, #12790, #12800, #12810, #12820, #12830));
#12850 = FACE_OUTER_BOUND ('', #12840, .T.);
#12860 = CARTESIAN_POINT ('', (-39., -6.78232998312528, 10.5));
#12870 = CARTESIAN_POINT ('', (-56., -6.78232998312528, 10.5));
#12880 = CARTESIAN_POINT ('', (-39., 6.78232998312527, 10.5));
#12890 = CARTESIAN_POINT ('', (-56., 6.78232998312527, 10.5));
#12900 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12860, #12870), (#12880, #12890)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.228706800674989, 0.771293199325011), (0., 1.), .UNSPECIFIED.);
#12910 = ADVANCED_FACE ('', (#12850), #12900, .T.);
#12920 = CLOSED_SHELL ('', (#380, #760, #1190, #1440, #1870, #2120, #2780, #3210, #3300, #4340, #5330, #6260, #7110, #8070, #9880, #10100, #10370, #10500, #11520, #12070, #12220, #12370, #12530, #12630, #12770, #12910));
#12930 = MANIFOLD_SOLID_BREP ('', #12920);
#12940 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#12950 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#12960 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#12970 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #12940, 'DISTANCE_ACCURACY_VALUE', '');
#12980 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#12970))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#12940, #12950, #12960))
   REPRESENTATION_CONTEXT ('', '3D')
);
#12990 = COLOUR_RGB ('', 0.71764705882353, 0.71764705882353, 0.71764705882353);
#13000 = FILL_AREA_STYLE_COLOUR ('', #12990);
#13010 = FILL_AREA_STYLE ('', (#13000));
#13020 = SURFACE_STYLE_FILL_AREA (#13010);
#13030 = SURFACE_SIDE_STYLE ('', (#13020));
#13040 = SURFACE_STYLE_USAGE (.POSITIVE., #13030);
#13050 = PRESENTATION_STYLE_ASSIGNMENT ((#13040));
#13060 = STYLED_ITEM ('', (#13050), #12930);
#13070 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#12930), #12980);
#13080 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#13090 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #13080);
#13100 = MECHANICAL_CONTEXT ('', #13080, 'mechanical');
#13110 = PRODUCT ('product-name', '', '', (#13100));
#13120 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#13130 = PERSON ('', '', $, $, $, $);
#13140 = ORGANIZATION ($, '', '');
#13150 = PERSON_AND_ORGANIZATION (#13130, #13140);
#13160 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13150, #13120, (#13110));
#13170 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#13110));
#13180 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #13110, .NOT_KNOWN.);
#13190 = APPROVAL_STATUS ('approved');
#13200 = APPROVAL (#13190, '');
#13210 = CALENDAR_DATE (2009, 14, 12);
#13220 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13230 = LOCAL_TIME (15, 25, 0., #13220);
#13240 = DATE_AND_TIME (#13210, #13230);
#13250 = APPROVAL_DATE_TIME (#13240, #13200);
#13260 = APPROVAL_ROLE ('');
#13270 = PERSON ('', '', $, $, $, $);
#13280 = ORGANIZATION ($, '', '');
#13290 = PERSON_AND_ORGANIZATION (#13270, #13280);
#13300 = APPROVAL_PERSON_ORGANIZATION (#13290, #13200, #13260);
#13310 = CC_DESIGN_APPROVAL (#13200, (#13180));
#13320 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#13330 = PERSON ('', '', $, $, $, $);
#13340 = ORGANIZATION ($, '', '');
#13350 = PERSON_AND_ORGANIZATION (#13330, #13340);
#13360 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13350, #13320, (#13180));
#13370 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#13380 = PERSON ('', '', $, $, $, $);
#13390 = ORGANIZATION ($, '', '');
#13400 = PERSON_AND_ORGANIZATION (#13380, #13390);
#13410 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13400, #13370, (#13180));
#13420 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#13430 = SECURITY_CLASSIFICATION ('', '', #13420);
#13440 = APPROVAL_STATUS ('approved');
#13450 = APPROVAL (#13440, '');
#13460 = CALENDAR_DATE (2009, 14, 12);
#13470 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13480 = LOCAL_TIME (15, 25, 0., #13470);
#13490 = DATE_AND_TIME (#13460, #13480);
#13500 = APPROVAL_DATE_TIME (#13490, #13450);
#13510 = APPROVAL_ROLE ('');
#13520 = PERSON ('', '', $, $, $, $);
#13530 = ORGANIZATION ($, '', '');
#13540 = PERSON_AND_ORGANIZATION (#13520, #13530);
#13550 = APPROVAL_PERSON_ORGANIZATION (#13540, #13450, #13510);
#13560 = CC_DESIGN_APPROVAL (#13450, (#13430));
#13570 = DATE_TIME_ROLE ('classification_date');
#13580 = CALENDAR_DATE (2009, 14, 12);
#13590 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13600 = LOCAL_TIME (15, 25, 0., #13590);
#13610 = DATE_AND_TIME (#13580, #13600);
#13620 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#13610, #13570, (#13430));
#13630 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#13640 = PERSON ('', '', $, $, $, $);
#13650 = ORGANIZATION ($, '', '');
#13660 = PERSON_AND_ORGANIZATION (#13640, #13650);
#13670 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13660, #13630, (#13430));
#13680 = CC_DESIGN_SECURITY_CLASSIFICATION (#13430, (#13180));
#13690 = DESIGN_CONTEXT ('', #13080, 'design');
#13700 = PRODUCT_DEFINITION ('', '', #13180, #13690);
#13710 = APPROVAL_STATUS ('approved');
#13720 = APPROVAL (#13710, '');
#13730 = CALENDAR_DATE (2009, 14, 12);
#13740 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13750 = LOCAL_TIME (15, 25, 0., #13740);
#13760 = DATE_AND_TIME (#13730, #13750);
#13770 = APPROVAL_DATE_TIME (#13760, #13720);
#13780 = APPROVAL_ROLE ('');
#13790 = PERSON ('', '', $, $, $, $);
#13800 = ORGANIZATION ($, '', '');
#13810 = PERSON_AND_ORGANIZATION (#13790, #13800);
#13820 = APPROVAL_PERSON_ORGANIZATION (#13810, #13720, #13780);
#13830 = CC_DESIGN_APPROVAL (#13720, (#13700));
#13840 = DATE_TIME_ROLE ('creation_date');
#13850 = CALENDAR_DATE (2009, 14, 12);
#13860 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#13870 = LOCAL_TIME (15, 25, 0., #13860);
#13880 = DATE_AND_TIME (#13850, #13870);
#13890 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#13880, #13840, (#13700));
#13900 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#13910 = PERSON ('', '', $, $, $, $);
#13920 = ORGANIZATION ($, '', '');
#13930 = PERSON_AND_ORGANIZATION (#13910, #13920);
#13940 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#13930, #13900, (#13700));
#13950 = PRODUCT_DEFINITION_SHAPE ('', '', #13700);
#13960 = SHAPE_DEFINITION_REPRESENTATION (#13950, #13070);
ENDSEC;
END-ISO-10303-21;