ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
FILE_NAME ('q:\\ahmed kadagan_c\\step links\\testoutput\\2017.4.21_7.19.39\\step\\testoutput\\2017.4.21_7.23.3\\step\\TNMU 3140FL-R20.stp', '2017-04-21T10:28:50', ('Unknown'), ('TDM'), 'HarmonyWare STEP v2.0.2.9', 'T3D tool generator', '');
FILE_SCHEMA (('CONFIG_CONTROL_DESIGN'));
ENDSEC;

DATA;
#10 = CARTESIAN_POINT ('', (2.2, -2.79138438763306, 4.78637487482067E-16));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (-2.2, -2.79138438763306, 4.70433909460945E-16));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (2.2, -2.79138438763306, 4.70433909460945E-16));
#60 = CARTESIAN_POINT ('', (2.2, -2.79138438763306, -2.2));
#70 = CARTESIAN_POINT ('', (2.69422295812418E-16, -2.79138438763306, -2.2));
#80 = CARTESIAN_POINT ('', (-2.2, -2.79138438763306, -2.2));
#90 = CARTESIAN_POINT ('', (-2.2, -2.79138438763306, -6.84106821638913E-17));
#100 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#50, #60, #70, #80, #90), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (180., 270., 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#110 = EDGE_CURVE ('', #20, #40, #100, .T.);
#120 = ORIENTED_EDGE ('', *, *, #110, .F.);
#130 = CARTESIAN_POINT ('', (2.2, 0., 1.28587913910473E-16));
#140 = VERTEX_POINT ('', #130);
#150 = CARTESIAN_POINT ('', (2.2, -2.79138438763306, 4.78637487482067E-16));
#160 = CARTESIAN_POINT ('', (2.2, -1.80411241501588E-16, 1.28587913910473E-16));
#170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#150, #160), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#180 = EDGE_CURVE ('', #20, #140, #170, .T.);
#190 = ORIENTED_EDGE ('', *, *, #180, .T.);
#200 = CARTESIAN_POINT ('', (-2.2, 0., 1.28587913910472E-16));
#210 = VERTEX_POINT ('', #200);
#220 = CARTESIAN_POINT ('', (-2.2, 0., 3.9801020972289E-16));
#230 = CARTESIAN_POINT ('', (-2.2, -2.35922392732846E-16, -2.2));
#240 = CARTESIAN_POINT ('', (-5.38844591624836E-16, -2.35922392732846E-16, -2.2));
#250 = CARTESIAN_POINT ('', (2.2, -2.35922392732846E-16, -2.2));
#260 = CARTESIAN_POINT ('', (2.2, 0., -6.7967897352678E-16));
#270 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#220, #230, #240, #250, #260), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (180., 270., 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#280 = EDGE_CURVE ('', #210, #140, #270, .T.);
#290 = ORIENTED_EDGE ('', *, *, #280, .F.);
#300 = CARTESIAN_POINT ('', (-2.2, -2.79138438763306, 4.70433909460945E-16));
#310 = CARTESIAN_POINT ('', (-2.2, -1.80411241501588E-16, 1.28587913910473E-16));
#320 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#300, #310), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#330 = EDGE_CURVE ('', #40, #210, #320, .T.);
#340 = ORIENTED_EDGE ('', *, *, #330, .F.);
#350 = EDGE_LOOP ('', (#120, #190, #290, #340));
#360 = FACE_OUTER_BOUND ('', #350, .T.);
#370 = CARTESIAN_POINT ('', (-2.2, -3.07172282639637, 3.55022062916966E-16));
#380 = CARTESIAN_POINT ('', (-2.2, 0.280338438763306, 9.42563567395269E-17));
#390 = CARTESIAN_POINT ('', (-2.2, -3.07172282639637, -2.2));
#400 = CARTESIAN_POINT ('', (-2.2, 0.280338438763306, -2.2));
#410 = CARTESIAN_POINT ('', (1.74077627909264E-16, -3.07172282639637, -2.2));
#420 = CARTESIAN_POINT ('', (1.74077627909264E-16, 0.280338438763306, -2.2));
#430 = CARTESIAN_POINT ('', (2.2, -3.07172282639637, -2.2));
#440 = CARTESIAN_POINT ('', (2.2, 0.280338438763306, -2.2));
#450 = CARTESIAN_POINT ('', (2.2, -3.07172282639637, 1.52196679939655E-15));
#460 = CARTESIAN_POINT ('', (2.2, 0.280338438763306, 1.26120109321911E-15));
#470 = CARTESIAN_POINT ('', (2.2, -3.07172282639637, 2.2));
#480 = CARTESIAN_POINT ('', (2.2, 0.280338438763306, 2.2));
#490 = CARTESIAN_POINT ('', (-7.234448127579E-16, -3.07172282639637, 2.2));
#500 = CARTESIAN_POINT ('', (-7.234448127579E-16, 0.280338438763306, 2.2));
#510 = CARTESIAN_POINT ('', (-2.2, -3.07172282639637, 2.2));
#520 = CARTESIAN_POINT ('', (-2.2, 0.280338438763306, 2.2));
#530 = CARTESIAN_POINT ('', (-2.2, -3.07172282639637, 3.55022062916966E-16));
#540 = CARTESIAN_POINT ('', (-2.2, 0.280338438763306, 9.42563567395269E-17));
#550 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#370, #380), (#390, #400), (#410, #420), (#430, #440), (#450, #460), (#470, #480), (#490, #500), (#510, #520), (#530, #540)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#560 = ADVANCED_FACE ('', (#360), #550, .T.);
#570 = CARTESIAN_POINT ('', (-2.2, -2.79138438763306, 4.70433909460945E-16));
#580 = CARTESIAN_POINT ('', (-2.2, -2.79138438763306, 2.2));
#590 = CARTESIAN_POINT ('', (-1.23259516440783E-31, -2.79138438763306, 2.2));
#600 = CARTESIAN_POINT ('', (2.2, -2.79138438763306, 2.2));
#610 = CARTESIAN_POINT ('', (2.2, -2.79138438763306, 4.70433909460945E-16));
#620 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#570, #580, #590, #600, #610), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 90., 180.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#630 = EDGE_CURVE ('', #40, #20, #620, .T.);
#640 = ORIENTED_EDGE ('', *, *, #630, .T.);
#650 = CARTESIAN_POINT ('', (2.33397459621556, -3.29138438763306, 2.54040375584772E-16));
#660 = VERTEX_POINT ('', #650);
#670 = CARTESIAN_POINT ('', (2.2, -2.79138438763306, 4.70433909460945E-16));
#680 = CARTESIAN_POINT ('', (2.2, -3.05933358006418, 5.03248221545433E-16));
#690 = CARTESIAN_POINT ('', (2.33397459621556, -3.29138438763306, 5.39869827439433E-16));
#700 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#670, #680, #690), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 30.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.965925826289068, 1.))
   REPRESENTATION_ITEM ('')
);
#710 = EDGE_CURVE ('', #20, #660, #700, .T.);
#720 = ORIENTED_EDGE ('', *, *, #710, .T.);
#730 = CARTESIAN_POINT ('', (-2.33397459621556, -3.29138438763306, 8.49336518050806E-16));
#740 = VERTEX_POINT ('', #730);
#750 = CARTESIAN_POINT ('', (-2.33397459621556, -3.29138438763306, 8.49336518050806E-16));
#760 = CARTESIAN_POINT ('', (-2.33397459621556, -3.29138438763306, 2.33397459621556));
#770 = CARTESIAN_POINT ('', (5.18246467121744E-16, -3.29138438763306, 2.33397459621556));
#780 = CARTESIAN_POINT ('', (2.33397459621556, -3.29138438763306, 2.33397459621556));
#790 = CARTESIAN_POINT ('', (2.33397459621556, -3.29138438763306, 5.39869827439433E-16));
#800 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#750, #760, #770, #780, #790), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (7.59697012155259E-15, 90., 180.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#810 = EDGE_CURVE ('', #740, #660, #800, .T.);
#820 = ORIENTED_EDGE ('', *, *, #810, .F.);
#830 = CARTESIAN_POINT ('', (-2.2, -2.79138438763306, 4.70433909460945E-16));
#840 = CARTESIAN_POINT ('', (-2.2, -3.05933358006418, 5.03248221545433E-16));
#850 = CARTESIAN_POINT ('', (-2.33397459621556, -3.29138438763306, 5.39869827439434E-16));
#860 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#830, #840, #850), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 30.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.965925826289068, 1.))
   REPRESENTATION_ITEM ('')
);
#870 = EDGE_CURVE ('', #40, #740, #860, .T.);
#880 = ORIENTED_EDGE ('', *, *, #870, .F.);
#890 = EDGE_LOOP ('', (#640, #720, #820, #880));
#900 = FACE_OUTER_BOUND ('', #890, .T.);
#910 = CARTESIAN_POINT ('', (-4.2, -2.79138438763306, 5.9289858937568E-16));
#920 = CARTESIAN_POINT ('', (-4.2, -1.79138438763306, 4.70433909460944E-16));
#930 = CARTESIAN_POINT ('', (-3.2, -1.79138438763306, 4.09201569503577E-16));
#940 = CARTESIAN_POINT ('', (-2.2, -1.79138438763306, 3.47969229546209E-16));
#950 = CARTESIAN_POINT ('', (-2.2, -2.79138438763306, 4.70433909460945E-16));
#960 = CARTESIAN_POINT ('', (-2.2, -3.79138438763306, 5.92898589375679E-16));
#970 = CARTESIAN_POINT ('', (-3.2, -3.79138438763306, 6.54130929333047E-16));
#980 = CARTESIAN_POINT ('', (-4.2, -3.79138438763306, 7.15363269290415E-16));
#990 = CARTESIAN_POINT ('', (-4.2, -2.79138438763306, 5.9289858937568E-16));
#1000 = CARTESIAN_POINT ('', (-4.2, -2.79138438763306, 4.2));
#1010 = CARTESIAN_POINT ('', (-4.2, -1.79138438763306, 4.2));
#1020 = CARTESIAN_POINT ('', (-3.2, -1.79138438763306, 3.2));
#1030 = CARTESIAN_POINT ('', (-2.2, -1.79138438763306, 2.2));
#1040 = CARTESIAN_POINT ('', (-2.2, -2.79138438763306, 2.2));
#1050 = CARTESIAN_POINT ('', (-2.2, -3.79138438763306, 2.2));
#1060 = CARTESIAN_POINT ('', (-3.2, -3.79138438763306, 3.2));
#1070 = CARTESIAN_POINT ('', (-4.2, -3.79138438763306, 4.2));
#1080 = CARTESIAN_POINT ('', (-4.2, -2.79138438763306, 4.2));
#1090 = CARTESIAN_POINT ('', (6.95217317474317E-16, -2.79138438763306, 4.2));
#1100 = CARTESIAN_POINT ('', (6.33984977516949E-16, -1.79138438763306, 4.2));
#1110 = CARTESIAN_POINT ('', (6.3398497751695E-16, -1.79138438763306, 3.2));
#1120 = CARTESIAN_POINT ('', (6.33984977516949E-16, -1.79138438763306, 2.2));
#1130 = CARTESIAN_POINT ('', (6.95217317474317E-16, -2.79138438763306, 2.2));
#1140 = CARTESIAN_POINT ('', (7.56449657431684E-16, -3.79138438763306, 2.2));
#1150 = CARTESIAN_POINT ('', (7.56449657431685E-16, -3.79138438763306, 3.2));
#1160 = CARTESIAN_POINT ('', (7.56449657431685E-16, -3.79138438763306, 4.2));
#1170 = CARTESIAN_POINT ('', (6.95217317474317E-16, -2.79138438763306, 4.2));
#1180 = CARTESIAN_POINT ('', (4.2, -2.79138438763306, 4.2));
#1190 = CARTESIAN_POINT ('', (4.2, -1.79138438763306, 4.2));
#1200 = CARTESIAN_POINT ('', (3.2, -1.79138438763306, 3.2));
#1210 = CARTESIAN_POINT ('', (2.2, -1.79138438763306, 2.2));
#1220 = CARTESIAN_POINT ('', (2.2, -2.79138438763306, 2.2));
#1230 = CARTESIAN_POINT ('', (2.2, -3.79138438763306, 2.2));
#1240 = CARTESIAN_POINT ('', (3.2, -3.79138438763306, 3.2));
#1250 = CARTESIAN_POINT ('', (4.2, -3.79138438763306, 4.2));
#1260 = CARTESIAN_POINT ('', (4.2, -2.79138438763306, 4.2));
#1270 = CARTESIAN_POINT ('', (4.2, -2.79138438763306, 2.57175827820944E-16));
#1280 = CARTESIAN_POINT ('', (4.2, -1.79138438763306, 2.57175827820945E-16));
#1290 = CARTESIAN_POINT ('', (3.2, -1.79138438763306, 1.95943487863576E-16));
#1300 = CARTESIAN_POINT ('', (2.2, -1.79138438763306, 1.34711147906209E-16));
#1310 = CARTESIAN_POINT ('', (2.2, -2.79138438763306, 1.34711147906208E-16));
#1320 = CARTESIAN_POINT ('', (2.2, -3.79138438763306, 1.34711147906209E-16));
#1330 = CARTESIAN_POINT ('', (3.2, -3.79138438763306, 1.95943487863576E-16));
#1340 = CARTESIAN_POINT ('', (4.2, -3.79138438763306, 2.57175827820944E-16));
#1350 = CARTESIAN_POINT ('', (4.2, -2.79138438763306, 2.57175827820944E-16));
#1360 = CARTESIAN_POINT ('', (4.2, -2.79138438763306, -4.2));
#1370 = CARTESIAN_POINT ('', (4.2, -1.79138438763306, -4.2));
#1380 = CARTESIAN_POINT ('', (3.2, -1.79138438763306, -3.2));
#1390 = CARTESIAN_POINT ('', (2.2, -1.79138438763306, -2.2));
#1400 = CARTESIAN_POINT ('', (2.2, -2.79138438763306, -2.2));
#1410 = CARTESIAN_POINT ('', (2.2, -3.79138438763306, -2.2));
#1420 = CARTESIAN_POINT ('', (3.2, -3.79138438763306, -3.2));
#1430 = CARTESIAN_POINT ('', (4.2, -3.79138438763306, -4.2));
#1440 = CARTESIAN_POINT ('', (4.2, -2.79138438763306, -4.2));
#1450 = CARTESIAN_POINT ('', (8.7384621156147E-16, -2.79138438763306, -4.2));
#1460 = CARTESIAN_POINT ('', (9.35078551518838E-16, -1.79138438763306, -4.2));
#1470 = CARTESIAN_POINT ('', (8.12613871604102E-16, -1.79138438763306, -3.2));
#1480 = CARTESIAN_POINT ('', (6.90149191689367E-16, -1.79138438763306, -2.2));
#1490 = CARTESIAN_POINT ('', (6.28916851731999E-16, -2.79138438763306, -2.2));
#1500 = CARTESIAN_POINT ('', (5.67684511774632E-16, -3.79138438763306, -2.2));
#1510 = CARTESIAN_POINT ('', (6.90149191689367E-16, -3.79138438763306, -3.2));
#1520 = CARTESIAN_POINT ('', (8.12613871604102E-16, -3.79138438763306, -4.2));
#1530 = CARTESIAN_POINT ('', (8.7384621156147E-16, -2.79138438763306, -4.2));
#1540 = CARTESIAN_POINT ('', (-4.2, -2.79138438763306, -4.2));
#1550 = CARTESIAN_POINT ('', (-4.2, -1.79138438763306, -4.2));
#1560 = CARTESIAN_POINT ('', (-3.2, -1.79138438763306, -3.2));
#1570 = CARTESIAN_POINT ('', (-2.2, -1.79138438763306, -2.2));
#1580 = CARTESIAN_POINT ('', (-2.2, -2.79138438763306, -2.2));
#1590 = CARTESIAN_POINT ('', (-2.2, -3.79138438763306, -2.2));
#1600 = CARTESIAN_POINT ('', (-3.2, -3.79138438763306, -3.2));
#1610 = CARTESIAN_POINT ('', (-4.2, -3.79138438763306, -4.2));
#1620 = CARTESIAN_POINT ('', (-4.2, -2.79138438763306, -4.2));
#1630 = CARTESIAN_POINT ('', (-4.2, -2.79138438763306, 5.9289858937568E-16));
#1640 = CARTESIAN_POINT ('', (-4.2, -1.79138438763306, 4.70433909460944E-16));
#1650 = CARTESIAN_POINT ('', (-3.2, -1.79138438763306, 4.09201569503577E-16));
#1660 = CARTESIAN_POINT ('', (-2.2, -1.79138438763306, 3.47969229546209E-16));
#1670 = CARTESIAN_POINT ('', (-2.2, -2.79138438763306, 4.70433909460945E-16));
#1680 = CARTESIAN_POINT ('', (-2.2, -3.79138438763306, 5.92898589375679E-16));
#1690 = CARTESIAN_POINT ('', (-3.2, -3.79138438763306, 6.54130929333047E-16));
#1700 = CARTESIAN_POINT ('', (-4.2, -3.79138438763306, 7.15363269290415E-16));
#1710 = CARTESIAN_POINT ('', (-4.2, -2.79138438763306, 5.9289858937568E-16));
#1720 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 2, ((#910, #920, #930, #940, #950, #960, #970, #980, #990), (#1000, #1010, #1020, #1030, #1040, #1050, #1060, #1070, #1080), (#1090, #1100, #1110, #1120, #1130, #1140, #1150, #1160, #1170), (#1180, #1190, #1200, #1210, #1220, #1230, #1240, #1250, #1260), (#1270, #1280, #1290, #1300, #1310, #1320, #1330, #1340, #1350), (#1360, #1370, #1380, #1390, #1400, #1410, #1420, #1430, #1440), (#1450, #1460, #1470, #1480, #1490, #1500, #1510, #1520, #1530), (#1540, #1550, #1560, #1570, #1580, #1590, #1600, #1610, #1620), (#1630, #1640, #1650, #1660, #1670, #1680, #1690, #1700, #1710)), .UNSPECIFIED., .T., .T., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.)))
   REPRESENTATION_ITEM ('')
);
#1730 = ADVANCED_FACE ('', (#900), #1720, .T.);
#1740 = CARTESIAN_POINT ('', (2.33397459621556, -3.29138438763306, 5.39869827439433E-16));
#1750 = CARTESIAN_POINT ('', (2.33397459621556, -3.29138438763306, -2.33397459621556));
#1760 = CARTESIAN_POINT ('', (2.85829451854663E-16, -3.29138438763306, -2.33397459621556));
#1770 = CARTESIAN_POINT ('', (-2.33397459621556, -3.29138438763306, -2.33397459621556));
#1780 = CARTESIAN_POINT ('', (-2.33397459621556, -3.29138438763306, -3.17890762698905E-17));
#1790 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1740, #1750, #1760, #1770, #1780), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (180., 270., 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#1800 = EDGE_CURVE ('', #660, #740, #1790, .T.);
#1810 = ORIENTED_EDGE ('', *, *, #1800, .T.);
#1820 = CARTESIAN_POINT ('', (-2.72, -3.96, 9.78492792518736E-16));
#1830 = VERTEX_POINT ('', #1820);
#1840 = CARTESIAN_POINT ('', (-2.33397459621556, -3.29138438763306, 8.49336518050806E-16));
#1850 = CARTESIAN_POINT ('', (-2.72, -3.96, 9.78492792518736E-16));
#1860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1840, #1850), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1870 = EDGE_CURVE ('', #740, #1830, #1860, .T.);
#1880 = ORIENTED_EDGE ('', *, *, #1870, .T.);
#1890 = CARTESIAN_POINT ('', (2.72, -3.96, 3.12284933782575E-16));
#1900 = VERTEX_POINT ('', #1890);
#1910 = CARTESIAN_POINT ('', (2.72, -3.96, 6.45388863150655E-16));
#1920 = CARTESIAN_POINT ('', (2.72, -3.96, -2.72));
#1930 = CARTESIAN_POINT ('', (3.3310392936808E-16, -3.96, -2.72));
#1940 = CARTESIAN_POINT ('', (-2.72, -3.96, -2.72));
#1950 = CARTESIAN_POINT ('', (-2.72, -3.96, -2.08189955855044E-17));
#1960 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1910, #1920, #1930, #1940, #1950), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (180., 270., 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#1970 = EDGE_CURVE ('', #1900, #1830, #1960, .T.);
#1980 = ORIENTED_EDGE ('', *, *, #1970, .F.);
#1990 = CARTESIAN_POINT ('', (2.33397459621556, -3.29138438763306, 2.54040375584772E-16));
#2000 = CARTESIAN_POINT ('', (2.72, -3.96, 3.12284933782575E-16));
#2010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#1990, #2000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2020 = EDGE_CURVE ('', #660, #1900, #2010, .T.);
#2030 = ORIENTED_EDGE ('', *, *, #2020, .F.);
#2040 = EDGE_LOOP ('', (#1810, #1880, #1980, #2030));
#2050 = FACE_OUTER_BOUND ('', #2040, .T.);
#2060 = CARTESIAN_POINT ('', (2.33339724594637, -3.29038438763306, 1.18101799923319E-16));
#2070 = CARTESIAN_POINT ('', (2.72057735026919, -3.961, 3.12372045954532E-16));
#2080 = CARTESIAN_POINT ('', (2.33339724594637, -3.29038438763306, -2.33339724594637));
#2090 = CARTESIAN_POINT ('', (2.72057735026919, -3.961, -2.72057735026919));
#2100 = CARTESIAN_POINT ('', (-3.61350663570254E-17, -3.29038438763306, -2.33339724594637));
#2110 = CARTESIAN_POINT ('', (-1.35220589237726E-16, -3.961, -2.72057735026919));
#2120 = CARTESIAN_POINT ('', (-2.33339724594637, -3.29038438763306, -2.33339724594637));
#2130 = CARTESIAN_POINT ('', (-2.72057735026919, -3.961, -2.72057735026919));
#2140 = CARTESIAN_POINT ('', (-2.33339724594637, -3.29038438763306, -7.02790992987773E-18));
#2150 = CARTESIAN_POINT ('', (-2.72057735026919, -3.961, 1.6647959019555E-16));
#2160 = CARTESIAN_POINT ('', (-2.33339724594637, -3.29038438763306, 2.33339724594637));
#2170 = CARTESIAN_POINT ('', (-2.72057735026919, -3.961, 2.72057735026919));
#2180 = CARTESIAN_POINT ('', (-4.47023523048969E-16, -3.29038438763306, 2.33339724594637));
#2190 = CARTESIAN_POINT ('', (-6.14287679380703E-16, -3.961, 2.72057735026919));
#2200 = CARTESIAN_POINT ('', (2.33339724594637, -3.29038438763306, 2.33339724594637));
#2210 = CARTESIAN_POINT ('', (2.72057735026919, -3.961, 2.72057735026919));
#2220 = CARTESIAN_POINT ('', (2.33339724594637, -3.29038438763306, 1.18101799923319E-16));
#2230 = CARTESIAN_POINT ('', (2.72057735026919, -3.961, 3.12372045954532E-16));
#2240 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#2060, #2070), (#2080, #2090), (#2100, #2110), (#2120, #2130), (#2140, #2150), (#2160, #2170), (#2180, #2190), (#2200, #2210), (#2220, #2230)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#2250 = ADVANCED_FACE ('', (#2050), #2240, .T.);
#2260 = CARTESIAN_POINT ('', (2.835, -4.36, 7.01416454211647E-16));
#2270 = VERTEX_POINT ('', #2260);
#2280 = CARTESIAN_POINT ('', (-2.835, -4.36, 7.01416454211647E-16));
#2290 = VERTEX_POINT ('', #2280);
#2300 = CARTESIAN_POINT ('', (2.835, -4.36, 7.01416454211647E-16));
#2310 = CARTESIAN_POINT ('', (2.835, -4.36, -2.835));
#2320 = CARTESIAN_POINT ('', (3.47187367558275E-16, -4.36, -2.835));
#2330 = CARTESIAN_POINT ('', (-2.835, -4.36, -2.835));
#2340 = CARTESIAN_POINT ('', (-2.835, -4.36, 7.0417190950976E-18));
#2350 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2300, #2310, #2320, #2330, #2340), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (180., 270., 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#2360 = EDGE_CURVE ('', #2270, #2290, #2350, .T.);
#2370 = ORIENTED_EDGE ('', *, *, #2360, .F.);
#2380 = CARTESIAN_POINT ('', (2.835, -3.96, 6.52430582245753E-16));
#2390 = VERTEX_POINT ('', #2380);
#2400 = CARTESIAN_POINT ('', (2.835, -4.36, 7.01416454211647E-16));
#2410 = CARTESIAN_POINT ('', (2.835, -3.96, 6.52430582245753E-16));
#2420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2400, #2410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2430 = EDGE_CURVE ('', #2270, #2390, #2420, .T.);
#2440 = ORIENTED_EDGE ('', *, *, #2430, .T.);
#2450 = CARTESIAN_POINT ('', (-2.835, -3.96, 6.52430582245753E-16));
#2460 = VERTEX_POINT ('', #2450);
#2470 = CARTESIAN_POINT ('', (2.835, -3.96, 6.52430582245753E-16));
#2480 = CARTESIAN_POINT ('', (2.835, -3.96, -2.835));
#2490 = CARTESIAN_POINT ('', (3.47187367558275E-16, -3.96, -2.835));
#2500 = CARTESIAN_POINT ('', (-2.835, -3.96, -2.835));
#2510 = CARTESIAN_POINT ('', (-2.835, -3.96, -4.19441528707965E-17));
#2520 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2470, #2480, #2490, #2500, #2510), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (180., 270., 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#2530 = EDGE_CURVE ('', #2390, #2460, #2520, .T.);
#2540 = ORIENTED_EDGE ('', *, *, #2530, .T.);
#2550 = CARTESIAN_POINT ('', (-2.835, -4.36, 7.01416454211647E-16));
#2560 = CARTESIAN_POINT ('', (-2.835, -3.96, 6.52430582245753E-16));
#2570 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2550, #2560), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2580 = EDGE_CURVE ('', #2290, #2460, #2570, .T.);
#2590 = ORIENTED_EDGE ('', *, *, #2580, .F.);
#2600 = EDGE_LOOP ('', (#2370, #2440, #2540, #2590));
#2610 = FACE_OUTER_BOUND ('', #2600, .T.);
#2620 = CARTESIAN_POINT ('', (-2.835, -4.4012, 8.43456971922473E-16));
#2630 = CARTESIAN_POINT ('', (-2.835, -3.9188, 6.47385037433265E-16));
#2640 = CARTESIAN_POINT ('', (-2.835, -4.4012, -2.835));
#2650 = CARTESIAN_POINT ('', (-2.835, -3.9188, -2.835));
#2660 = CARTESIAN_POINT ('', (-9.310277395807E-16, -4.4012, -2.835));
#2670 = CARTESIAN_POINT ('', (-9.310277395807E-16, -3.9188, -2.835));
#2680 = CARTESIAN_POINT ('', (2.835, -4.4012, -2.835));
#2690 = CARTESIAN_POINT ('', (2.835, -3.9188, -2.835));
#2700 = CARTESIAN_POINT ('', (2.835, -4.4012, 4.52447000389406E-16));
#2710 = CARTESIAN_POINT ('', (2.835, -3.9188, 2.56375065900198E-16));
#2720 = CARTESIAN_POINT ('', (2.835, -4.4012, 2.835));
#2730 = CARTESIAN_POINT ('', (2.835, -3.9188, 2.835));
#2740 = CARTESIAN_POINT ('', (-1.92830400489358E-16, -4.4012, 2.835));
#2750 = CARTESIAN_POINT ('', (-1.92830400489358E-16, -3.9188, 2.835));
#2760 = CARTESIAN_POINT ('', (-2.835, -4.4012, 2.835));
#2770 = CARTESIAN_POINT ('', (-2.835, -3.9188, 2.835));
#2780 = CARTESIAN_POINT ('', (-2.835, -4.4012, 8.43456971922473E-16));
#2790 = CARTESIAN_POINT ('', (-2.835, -3.9188, 6.47385037433265E-16));
#2800 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#2620, #2630), (#2640, #2650), (#2660, #2670), (#2680, #2690), (#2700, #2710), (#2720, #2730), (#2740, #2750), (#2760, #2770), (#2780, #2790)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#2810 = ADVANCED_FACE ('', (#2610), #2800, .T.);
#2820 = CARTESIAN_POINT ('', (-5.24638118483195, -4.2023013275693, 5.73757351247479));
#2830 = VERTEX_POINT ('', #2820);
#2840 = CARTESIAN_POINT ('', (-5.21218157361397, -4.23683080925248, 5.88415154039849));
#2850 = VERTEX_POINT ('', #2840);
#2860 = CARTESIAN_POINT ('', (-5.24638118483195, -4.2023013275693, 5.73757351247479));
#2870 = CARTESIAN_POINT ('', (-5.23314617046077, -4.21381115479703, 5.78598034942498));
#2880 = CARTESIAN_POINT ('', (-5.22173394273886, -4.22532098202476, 5.83488553044636));
#2890 = CARTESIAN_POINT ('', (-5.21218157361397, -4.23683080925248, 5.88415154039849));
#2900 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#2860, #2870, #2880, #2890), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#2910 = EDGE_CURVE ('', #2830, #2850, #2900, .T.);
#2920 = ORIENTED_EDGE ('', *, *, #2910, .F.);
#2930 = CARTESIAN_POINT ('', (-5.08868251240126, -4.36, 5.73757351247479));
#2940 = VERTEX_POINT ('', #2930);
#2950 = CARTESIAN_POINT ('', (-5.24638118483195, -4.2023013275693, 5.73757351247479));
#2960 = CARTESIAN_POINT ('', (-5.08868251240126, -4.36, 5.73757351247479));
#2970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#2950, #2960), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#2980 = EDGE_CURVE ('', #2830, #2940, #2970, .T.);
#2990 = ORIENTED_EDGE ('', *, *, #2980, .T.);
#3000 = CARTESIAN_POINT ('', (-5.08803507782728, -4.36113113427947, 5.89102335939009));
#3010 = VERTEX_POINT ('', #3000);
#3020 = CARTESIAN_POINT ('', (-5.09378150677461, -4.36, 5.89064008091421));
#3030 = CARTESIAN_POINT ('', (-5.08868251240126, -4.36, 5.81419172622512));
#3040 = CARTESIAN_POINT ('', (-5.08868251240126, -4.36, 5.73757351247479));
#3050 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#3020, #3030, #3040), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (356.184106497809, 360.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.999445607805804, 1.))
   REPRESENTATION_ITEM ('')
);
#3060 = EDGE_CURVE ('', #3010, #2940, #3050, .T.);
#3070 = ORIENTED_EDGE ('', *, *, #3060, .F.);
#3080 = CARTESIAN_POINT ('', (-5.21218157361397, -4.23683080925248, 5.88415154039849));
#3090 = CARTESIAN_POINT ('', (-5.16953281106431, -4.27696520918046, 5.88652347342195));
#3100 = CARTESIAN_POINT ('', (-5.12764255321062, -4.31787472802167, 5.88887774021275));
#3110 = CARTESIAN_POINT ('', (-5.08803507782728, -4.36113113427947, 5.89102335939009));
#3120 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3080, #3090, #3100, #3110), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#3130 = EDGE_CURVE ('', #2850, #3010, #3120, .T.);
#3140 = ORIENTED_EDGE ('', *, *, #3130, .F.);
#3150 = EDGE_LOOP ('', (#2920, #2990, #3070, #3140));
#3160 = FACE_OUTER_BOUND ('', #3150, .T.);
#3170 = CARTESIAN_POINT ('', (-7.27826847481685, -4.20130132756929, 7.87602625119837));
#3180 = CARTESIAN_POINT ('', (-7.2700270124603, -4.36113113427947, 8.03564343514558));
#3190 = CARTESIAN_POINT ('', (-5.31873756616151, -4.20130132756936, 7.77485042651065));
#3200 = CARTESIAN_POINT ('', (-5.16423390224526, -4.36113113427955, 7.92691570158106));
#3210 = CARTESIAN_POINT ('', (-5.24874401450962, -4.20130132756938, 5.81395807041253));
#3220 = CARTESIAN_POINT ('', (-5.08901593136407, -4.36113113427956, 5.81965952353062));
#3230 = CARTESIAN_POINT ('', (-5.17875046285773, -4.20130132756939, 3.85306571431441));
#3240 = CARTESIAN_POINT ('', (-5.01379796048288, -4.36113113427958, 3.71240334548018));
#3250 = CARTESIAN_POINT ('', (-7.12608069154954, -4.20130132756931, 3.61243547951425));
#3260 = CARTESIAN_POINT ('', (-7.10647971445768, -4.3611311342795, 3.45381212432954));
#3270 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#3170, #3180), (#3190, #3200), (#3210, #3220), (#3230, #3240), (#3250, #3260)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.5, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.737277336810125, 0.737277336810125), (1., 1.), (0.737277336810125, 0.737277336810125), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#3280 = ADVANCED_FACE ('', (#3160), #3270, .T.);
#3290 = CARTESIAN_POINT ('', (-5.3192441523211, -0.408432052864664, 7.00937851010985));
#3300 = VERTEX_POINT ('', #3290);
#3310 = CARTESIAN_POINT ('', (-5.17557306907747, -0.429057974536094, 6.26503789398433));
#3320 = VERTEX_POINT ('', #3310);
#3330 = CARTESIAN_POINT ('', (-5.3192441523211, -0.408432052864664, 7.00937851010985));
#3340 = CARTESIAN_POINT ('', (-5.22404912134295, -0.418019979155372, 6.77196933894826));
#3350 = CARTESIAN_POINT ('', (-5.17557306907747, -0.424979370247819, 6.52082141275472));
#3360 = CARTESIAN_POINT ('', (-5.17557306907747, -0.429057974536094, 6.26503789398433));
#3370 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#3330, #3340, #3350, #3360), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (5.64596472349578, 6.02731093081781), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.987917927370428, 0.987917927370428, 1.))
   REPRESENTATION_ITEM ('')
);
#3380 = EDGE_CURVE ('', #3300, #3320, #3370, .T.);
#3390 = ORIENTED_EDGE ('', *, *, #3380, .T.);
#3400 = CARTESIAN_POINT ('', (-5.17557306907747, -4.35057037527116, 6.26503789398433));
#3410 = VERTEX_POINT ('', #3400);
#3420 = CARTESIAN_POINT ('', (-5.17557306907747, -0.429057974536094, 6.26503789398433));
#3430 = CARTESIAN_POINT ('', (-5.17557306907747, -4.35057037527116, 6.26503789398433));
#3440 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3420, #3430), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3450 = EDGE_CURVE ('', #3320, #3410, #3440, .T.);
#3460 = ORIENTED_EDGE ('', *, *, #3450, .T.);
#3470 = CARTESIAN_POINT ('', (-5.17908082708255, -4.38465419032154, 6.38297121825908));
#3480 = VERTEX_POINT ('', #3470);
#3490 = CARTESIAN_POINT ('', (-5.17557306907747, -4.35057037527116, 6.26503789398433));
#3500 = CARTESIAN_POINT ('', (-5.17557306907747, -4.3620975809183, 6.30431848887498));
#3510 = CARTESIAN_POINT ('', (-5.17673113050122, -4.37351903776322, 6.34364752505966));
#3520 = CARTESIAN_POINT ('', (-5.17908082708255, -4.38465419032154, 6.38297121825908));
#3530 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3490, #3500, #3510, #3520), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.000122811133228858), .UNSPECIFIED.);
#3540 = EDGE_CURVE ('', #3410, #3480, #3530, .T.);
#3550 = ORIENTED_EDGE ('', *, *, #3540, .T.);
#3560 = CARTESIAN_POINT ('', (-5.30652181469534, -4.40996827869045, 6.97682958295841));
#3570 = VERTEX_POINT ('', #3560);
#3580 = CARTESIAN_POINT ('', (-5.17908082708255, -4.38465419032154, 6.38297121825908));
#3590 = CARTESIAN_POINT ('', (-5.19109750182386, -4.38960567599025, 6.58671480462214));
#3600 = CARTESIAN_POINT ('', (-5.23391617355922, -4.39893690499063, 6.78617876932462));
#3610 = CARTESIAN_POINT ('', (-5.30652181469534, -4.40996827869045, 6.97682958295841));
#3620 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#3580, #3590, #3600, #3610), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (3.65373902443415, 3.95856505802717), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.99227173528646, 0.99227173528646, 1.))
   REPRESENTATION_ITEM ('')
);
#3630 = EDGE_CURVE ('', #3480, #3570, #3620, .T.);
#3640 = ORIENTED_EDGE ('', *, *, #3630, .T.);
#3650 = CARTESIAN_POINT ('', (-5.59955156186402, -4.35971822281511, 7.49636084463564));
#3660 = VERTEX_POINT ('', #3650);
#3670 = CARTESIAN_POINT ('', (-5.30652181469534, -4.40996827869045, 6.97682958295841));
#3680 = CARTESIAN_POINT ('', (-5.37892401329023, -4.42096874224798, 7.16694618898237));
#3690 = CARTESIAN_POINT ('', (-5.47713422453367, -4.40268342565586, 7.3396737980843));
#3700 = CARTESIAN_POINT ('', (-5.59955156186402, -4.35971822281511, 7.49636084463564));
#3710 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3670, #3680, #3690, #3700), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.000598585192517439), .UNSPECIFIED.);
#3720 = EDGE_CURVE ('', #3570, #3660, #3710, .T.);
#3730 = ORIENTED_EDGE ('', *, *, #3720, .T.);
#3740 = CARTESIAN_POINT ('', (-5.59955156186402, -0.460281777184895, 7.49636084463564));
#3750 = VERTEX_POINT ('', #3740);
#3760 = CARTESIAN_POINT ('', (-5.59955156186402, -0.460281777184895, 7.49636084463564));
#3770 = CARTESIAN_POINT ('', (-5.59955156186402, -4.35971822281511, 7.49636084463564));
#3780 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#3760, #3770), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#3790 = EDGE_CURVE ('', #3750, #3660, #3780, .T.);
#3800 = ORIENTED_EDGE ('', *, *, #3790, .F.);
#3810 = CARTESIAN_POINT ('', (-5.59955156186402, -0.460281777184895, 7.49636084463564));
#3820 = CARTESIAN_POINT ('', (-5.48441179390434, -0.419870806048716, 7.348988662103));
#3830 = CARTESIAN_POINT ('', (-5.39049734320342, -0.401255519224854, 7.18707855197308));
#3840 = CARTESIAN_POINT ('', (-5.3192441523211, -0.408432052864664, 7.00937851010985));
#3850 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#3810, #3820, #3830, #3840), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.000564280455001706), .UNSPECIFIED.);
#3860 = EDGE_CURVE ('', #3750, #3300, #3850, .T.);
#3870 = ORIENTED_EDGE ('', *, *, #3860, .T.);
#3880 = EDGE_LOOP ('', (#3390, #3460, #3550, #3640, #3730, #3800, #3870));
#3890 = FACE_OUTER_BOUND ('', #3880, .T.);
#3900 = CARTESIAN_POINT ('', (-5.17557306907747, 0.000715803077459422, 6.26503789398433));
#3910 = CARTESIAN_POINT ('', (-5.17557306907747, -4.82294006455029, 6.26503789398433));
#3920 = CARTESIAN_POINT ('', (-5.17557306907747, 0.000715803077459304, 4.26503789398432));
#3930 = CARTESIAN_POINT ('', (-5.17557306907747, -4.82294006455029, 4.26503789398432));
#3940 = CARTESIAN_POINT ('', (-7.17557306907748, 0.000715803077459304, 4.26503789398433));
#3950 = CARTESIAN_POINT ('', (-7.17557306907748, -4.82294006455029, 4.26503789398433));
#3960 = CARTESIAN_POINT ('', (-9.17557306907748, 0.000715803077459304, 4.26503789398433));
#3970 = CARTESIAN_POINT ('', (-9.17557306907748, -4.82294006455029, 4.26503789398433));
#3980 = CARTESIAN_POINT ('', (-9.17557306907748, 0.000715803077459422, 6.26503789398434));
#3990 = CARTESIAN_POINT ('', (-9.17557306907748, -4.82294006455029, 6.26503789398434));
#4000 = CARTESIAN_POINT ('', (-9.17557306907748, 0.000715803077459547, 8.26503789398434));
#4010 = CARTESIAN_POINT ('', (-9.17557306907748, -4.82294006455029, 8.26503789398434));
#4020 = CARTESIAN_POINT ('', (-7.17557306907747, 0.000715803077459547, 8.26503789398434));
#4030 = CARTESIAN_POINT ('', (-7.17557306907747, -4.82294006455029, 8.26503789398434));
#4040 = CARTESIAN_POINT ('', (-5.17557306907747, 0.000715803077459547, 8.26503789398434));
#4050 = CARTESIAN_POINT ('', (-5.17557306907747, -4.82294006455029, 8.26503789398434));
#4060 = CARTESIAN_POINT ('', (-5.17557306907747, 0.000715803077459422, 6.26503789398433));
#4070 = CARTESIAN_POINT ('', (-5.17557306907747, -4.82294006455029, 6.26503789398433));
#4080 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#3900, #3910), (#3920, #3930), (#3940, #3950), (#3960, #3970), (#3980, #3990), (#4000, #4010), (#4020, #4030), (#4040, #4050), (#4060, #4070)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#4090 = ADVANCED_FACE ('', (#3890), #4080, .T.);
#4100 = ORIENTED_EDGE ('', *, *, #3450, .F.);
#4110 = CARTESIAN_POINT ('', (-5.17858194019661, -0.430623246500117, 6.15537280760238));
#4120 = VERTEX_POINT ('', #4110);
#4130 = CARTESIAN_POINT ('', (-5.17557306907747, -0.429057974536094, 6.26503789398433));
#4140 = CARTESIAN_POINT ('', (-5.17557306907747, -0.429641229544232, 6.22845993550205));
#4150 = CARTESIAN_POINT ('', (-5.1765762777083, -0.430163117748053, 6.19189573690323));
#4160 = CARTESIAN_POINT ('', (-5.17858194019661, -0.430623246500117, 6.15537280760238));
#4170 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#4130, #4140, #4150, #4160), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (6.02731093081781, 6.08217098790925), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.999749213569696, 0.999749213569696, 1.))
   REPRESENTATION_ITEM ('')
);
#4180 = EDGE_CURVE ('', #3320, #4120, #4170, .T.);
#4190 = ORIENTED_EDGE ('', *, *, #4180, .T.);
#4200 = CARTESIAN_POINT ('', (-5.21267583862706, -0.175209694680144, 5.88517291334291));
#4210 = VERTEX_POINT ('', #4200);
#4220 = CARTESIAN_POINT ('', (-5.17858194019661, -0.430623246500117, 6.15537280760238));
#4230 = CARTESIAN_POINT ('', (-5.18356437413158, -0.34548539589346, 6.06464314425535));
#4240 = CARTESIAN_POINT ('', (-5.19473954016294, -0.260347545286802, 5.97425407877622));
#4250 = CARTESIAN_POINT ('', (-5.21267583862706, -0.175209694680144, 5.88517291334291));
#4260 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#4220, #4230, #4240, #4250), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#4270 = EDGE_CURVE ('', #4120, #4210, #4260, .T.);
#4280 = ORIENTED_EDGE ('', *, *, #4270, .T.);
#4290 = CARTESIAN_POINT ('', (-5.32120535994391, -0.27066493594827, 5.51582470715248));
#4300 = VERTEX_POINT ('', #4290);
#4310 = CARTESIAN_POINT ('', (-5.21267583862706, -0.175209694680144, 5.88517291334291));
#4320 = CARTESIAN_POINT ('', (-5.23642656082714, -0.207028108436186, 5.75884244154312));
#4330 = CARTESIAN_POINT ('', (-5.27305272180864, -0.238846522192228, 5.63500666875838));
#4340 = CARTESIAN_POINT ('', (-5.32120535994391, -0.27066493594827, 5.51582470715248));
#4350 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#4310, #4320, #4330, #4340), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#4360 = EDGE_CURVE ('', #4210, #4300, #4350, .T.);
#4370 = ORIENTED_EDGE ('', *, *, #4360, .T.);
#4380 = CARTESIAN_POINT ('', (-5.32120535994391, -4.13933506405173, 5.51582470715248));
#4390 = VERTEX_POINT ('', #4380);
#4400 = CARTESIAN_POINT ('', (-5.32120535994391, -0.27066493594827, 5.51582470715248));
#4410 = CARTESIAN_POINT ('', (-5.32120535994391, -4.13933506405173, 5.51582470715248));
#4420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4400, #4410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4430 = EDGE_CURVE ('', #4300, #4390, #4420, .T.);
#4440 = ORIENTED_EDGE ('', *, *, #4430, .T.);
#4450 = CARTESIAN_POINT ('', (-5.32120535994391, -4.13933506405173, 5.51582470715248));
#4460 = CARTESIAN_POINT ('', (-5.29185601636019, -4.16077017697167, 5.58846688161293));
#4470 = CARTESIAN_POINT ('', (-5.26693660030047, -4.18174591210049, 5.66239243468076));
#4480 = CARTESIAN_POINT ('', (-5.24638118483195, -4.2023013275693, 5.73757351247479));
#4490 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#4450, #4460, #4470, #4480), .UNSPECIFIED., .F., .U., (4, 4), (2.21915546422581E-7, 0.000242024399504119), .UNSPECIFIED.);
#4500 = EDGE_CURVE ('', #4390, #2830, #4490, .T.);
#4510 = ORIENTED_EDGE ('', *, *, #4500, .T.);
#4520 = ORIENTED_EDGE ('', *, *, #2910, .T.);
#4530 = CARTESIAN_POINT ('', (-5.21218157361397, -4.23683080925248, 5.88415154039849));
#4540 = CARTESIAN_POINT ('', (-5.18784902420508, -4.27474399792537, 6.00955537683851));
#4550 = CARTESIAN_POINT ('', (-5.17557306907747, -4.31265718659827, 6.1372952028782));
#4560 = CARTESIAN_POINT ('', (-5.17557306907747, -4.35057037527116, 6.26503789398433));
#4570 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#4530, #4540, #4550, #4560), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#4580 = EDGE_CURVE ('', #2850, #3410, #4570, .T.);
#4590 = ORIENTED_EDGE ('', *, *, #4580, .T.);
#4600 = EDGE_LOOP ('', (#4100, #4190, #4280, #4370, #4440, #4510, #4520, #4590));
#4610 = FACE_OUTER_BOUND ('', #4600, .T.);
#4620 = CARTESIAN_POINT ('', (-5.17557306907747, 0.242426373378957, 6.26503789398433));
#4630 = CARTESIAN_POINT ('', (-5.17557306907747, -4.76920644333026, 6.26503789398433));
#4640 = CARTESIAN_POINT ('', (-5.17557306907747, 0.242426373378957, 4.26503789398432));
#4650 = CARTESIAN_POINT ('', (-5.17557306907747, -4.76920644333026, 4.26503789398432));
#4660 = CARTESIAN_POINT ('', (-7.17557306907748, 0.242426373378957, 4.26503789398433));
#4670 = CARTESIAN_POINT ('', (-7.17557306907748, -4.76920644333026, 4.26503789398433));
#4680 = CARTESIAN_POINT ('', (-9.17557306907748, 0.242426373378957, 4.26503789398433));
#4690 = CARTESIAN_POINT ('', (-9.17557306907748, -4.76920644333026, 4.26503789398433));
#4700 = CARTESIAN_POINT ('', (-9.17557306907748, 0.242426373378957, 6.26503789398434));
#4710 = CARTESIAN_POINT ('', (-9.17557306907748, -4.76920644333026, 6.26503789398434));
#4720 = CARTESIAN_POINT ('', (-9.17557306907748, 0.242426373378957, 8.26503789398434));
#4730 = CARTESIAN_POINT ('', (-9.17557306907748, -4.76920644333026, 8.26503789398434));
#4740 = CARTESIAN_POINT ('', (-7.17557306907747, 0.242426373378957, 8.26503789398434));
#4750 = CARTESIAN_POINT ('', (-7.17557306907747, -4.76920644333026, 8.26503789398434));
#4760 = CARTESIAN_POINT ('', (-5.17557306907747, 0.242426373378957, 8.26503789398434));
#4770 = CARTESIAN_POINT ('', (-5.17557306907747, -4.76920644333026, 8.26503789398434));
#4780 = CARTESIAN_POINT ('', (-5.17557306907747, 0.242426373378957, 6.26503789398433));
#4790 = CARTESIAN_POINT ('', (-5.17557306907747, -4.76920644333026, 6.26503789398433));
#4800 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#4620, #4630), (#4640, #4650), (#4660, #4670), (#4680, #4690), (#4700, #4710), (#4720, #4730), (#4740, #4750), (#4760, #4770), (#4780, #4790)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#4810 = ADVANCED_FACE ('', (#4610), #4800, .T.);
#4820 = ORIENTED_EDGE ('', *, *, #2980, .F.);
#4830 = ORIENTED_EDGE ('', *, *, #4500, .F.);
#4840 = CARTESIAN_POINT ('', (-5.53431480326769, -4.06, 4.98836032564294));
#4850 = VERTEX_POINT ('', #4840);
#4860 = CARTESIAN_POINT ('', (-5.53431480326769, -4.06, 4.98836032564294));
#4870 = CARTESIAN_POINT ('', (-5.4618968019634, -4.06, 5.16760116862186));
#4880 = CARTESIAN_POINT ('', (-5.39096186762897, -4.08838882687731, 5.34317129204098));
#4890 = CARTESIAN_POINT ('', (-5.32120535994391, -4.13933506405173, 5.51582470715248));
#4900 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#4860, #4870, #4880, #4890), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.000574393907508694), .UNSPECIFIED.);
#4910 = EDGE_CURVE ('', #4850, #4390, #4900, .T.);
#4920 = ORIENTED_EDGE ('', *, *, #4910, .F.);
#4930 = CARTESIAN_POINT ('', (-5.25615964689766, -4.36, 4.87597834761816));
#4940 = VERTEX_POINT ('', #4930);
#4950 = CARTESIAN_POINT ('', (-5.53431480326769, -4.06, 4.98836032564294));
#4960 = CARTESIAN_POINT ('', (-5.25615964689766, -4.36, 4.87597834761816));
#4970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#4950, #4960), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#4980 = EDGE_CURVE ('', #4850, #4940, #4970, .T.);
#4990 = ORIENTED_EDGE ('', *, *, #4980, .T.);
#5000 = CARTESIAN_POINT ('', (-5.08868251240126, -4.36, 5.73757351247479));
#5010 = CARTESIAN_POINT ('', (-5.08868251240126, -4.36, 5.29049880145802));
#5020 = CARTESIAN_POINT ('', (-5.25615964689766, -4.36, 4.87597834761817));
#5030 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5000, #5010, #5020), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (4.64637553465975E-13, 22.0000000000013), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.981627183447663, 1.))
   REPRESENTATION_ITEM ('')
);
#5040 = EDGE_CURVE ('', #2940, #4940, #5030, .T.);
#5050 = ORIENTED_EDGE ('', *, *, #5040, .F.);
#5060 = EDGE_LOOP ('', (#4820, #4830, #4920, #4990, #5050));
#5070 = FACE_OUTER_BOUND ('', #5060, .T.);
#5080 = CARTESIAN_POINT ('', (-6.78878100466157, -4.059, 7.64443459315468));
#5090 = CARTESIAN_POINT ('', (-6.69815056177143, -4.361, 7.93251465636894));
#5100 = CARTESIAN_POINT ('', (-5.04146475191404, -4.05899999999995, 7.09472614027275));
#5110 = CARTESIAN_POINT ('', (-4.68685756648776, -4.36099999999995, 7.29975870335178));
#5120 = CARTESIAN_POINT ('', (-5.43679275234797, -4.05899999999995, 5.30614870489053));
#5130 = CARTESIAN_POINT ('', (-5.14190995718234, -4.36099999999994, 5.2409709700779));
#5140 = CARTESIAN_POINT ('', (-5.8321207527819, -4.05899999999995, 3.51757126950831));
#5150 = CARTESIAN_POINT ('', (-5.59696234787692, -4.36099999999994, 3.18218323680403));
#5160 = CARTESIAN_POINT ('', (-7.64834721654296, -4.05899999999999, 3.75551013270537));
#5170 = CARTESIAN_POINT ('', (-7.68757620136076, -4.36099999999999, 3.45606884171469));
#5180 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#5080, #5090), (#5100, #5110), (#5120, #5130), (#5140, #5150), (#5160, #5170)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.5, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.737277336810124, 0.737277336810124), (1., 1.), (0.737277336810124, 0.737277336810124), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#5190 = ADVANCED_FACE ('', (#5070), #5180, .T.);
#5200 = ORIENTED_EDGE ('', *, *, #2430, .F.);
#5210 = CARTESIAN_POINT ('', (-2.835, -4.36, 7.01416454211647E-16));
#5220 = CARTESIAN_POINT ('', (-2.835, -4.36, 2.835));
#5230 = CARTESIAN_POINT ('', (3.20474742746036E-31, -4.36, 2.835));
#5240 = CARTESIAN_POINT ('', (2.835, -4.36, 2.835));
#5250 = CARTESIAN_POINT ('', (2.835, -4.36, 7.01416454211647E-16));
#5260 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5210, #5220, #5230, #5240, #5250), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 90., 180.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#5270 = EDGE_CURVE ('', #2290, #2270, #5260, .T.);
#5280 = ORIENTED_EDGE ('', *, *, #5270, .F.);
#5290 = ORIENTED_EDGE ('', *, *, #2580, .T.);
#5300 = CARTESIAN_POINT ('', (-2.835, -3.96, 6.52430582245753E-16));
#5310 = CARTESIAN_POINT ('', (-2.835, -3.96, 2.835));
#5320 = CARTESIAN_POINT ('', (3.20474742746036E-31, -3.96, 2.835));
#5330 = CARTESIAN_POINT ('', (2.835, -3.96, 2.835));
#5340 = CARTESIAN_POINT ('', (2.835, -3.96, 6.52430582245753E-16));
#5350 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5300, #5310, #5320, #5330, #5340), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 90., 180.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#5360 = EDGE_CURVE ('', #2460, #2390, #5350, .T.);
#5370 = ORIENTED_EDGE ('', *, *, #5360, .T.);
#5380 = EDGE_LOOP ('', (#5200, #5280, #5290, #5370));
#5390 = FACE_OUTER_BOUND ('', #5380, .T.);
#5400 = CARTESIAN_POINT ('', (-2.835, -4.4012, 8.43456971922473E-16));
#5410 = CARTESIAN_POINT ('', (-2.835, -3.9188, 6.47385037433265E-16));
#5420 = CARTESIAN_POINT ('', (-2.835, -4.4012, -2.835));
#5430 = CARTESIAN_POINT ('', (-2.835, -3.9188, -2.835));
#5440 = CARTESIAN_POINT ('', (-9.310277395807E-16, -4.4012, -2.835));
#5450 = CARTESIAN_POINT ('', (-9.310277395807E-16, -3.9188, -2.835));
#5460 = CARTESIAN_POINT ('', (2.835, -4.4012, -2.835));
#5470 = CARTESIAN_POINT ('', (2.835, -3.9188, -2.835));
#5480 = CARTESIAN_POINT ('', (2.835, -4.4012, 4.52447000389406E-16));
#5490 = CARTESIAN_POINT ('', (2.835, -3.9188, 2.56375065900198E-16));
#5500 = CARTESIAN_POINT ('', (2.835, -4.4012, 2.835));
#5510 = CARTESIAN_POINT ('', (2.835, -3.9188, 2.835));
#5520 = CARTESIAN_POINT ('', (-1.92830400489358E-16, -4.4012, 2.835));
#5530 = CARTESIAN_POINT ('', (-1.92830400489358E-16, -3.9188, 2.835));
#5540 = CARTESIAN_POINT ('', (-2.835, -4.4012, 2.835));
#5550 = CARTESIAN_POINT ('', (-2.835, -3.9188, 2.835));
#5560 = CARTESIAN_POINT ('', (-2.835, -4.4012, 8.43456971922473E-16));
#5570 = CARTESIAN_POINT ('', (-2.835, -3.9188, 6.47385037433265E-16));
#5580 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#5400, #5410), (#5420, #5430), (#5440, #5450), (#5460, #5470), (#5480, #5490), (#5500, #5510), (#5520, #5530), (#5540, #5550), (#5560, #5570)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#5590 = ADVANCED_FACE ('', (#5390), #5580, .T.);
#5600 = ORIENTED_EDGE ('', *, *, #1870, .F.);
#5610 = ORIENTED_EDGE ('', *, *, #810, .T.);
#5620 = ORIENTED_EDGE ('', *, *, #2020, .T.);
#5630 = CARTESIAN_POINT ('', (-2.72, -3.96, 9.78492792518736E-16));
#5640 = CARTESIAN_POINT ('', (-2.72, -3.96, 2.72));
#5650 = CARTESIAN_POINT ('', (6.03961325396085E-16, -3.96, 2.72));
#5660 = CARTESIAN_POINT ('', (2.72, -3.96, 2.72));
#5670 = CARTESIAN_POINT ('', (2.72, -3.96, 6.45388863150655E-16));
#5680 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#5630, #5640, #5650, #5660, #5670), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (7.01670929853488E-15, 90., 180.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#5690 = EDGE_CURVE ('', #1830, #1900, #5680, .T.);
#5700 = ORIENTED_EDGE ('', *, *, #5690, .F.);
#5710 = EDGE_LOOP ('', (#5600, #5610, #5620, #5700));
#5720 = FACE_OUTER_BOUND ('', #5710, .T.);
#5730 = CARTESIAN_POINT ('', (2.33339724594637, -3.29038438763306, 1.18101799923319E-16));
#5740 = CARTESIAN_POINT ('', (2.72057735026919, -3.961, 3.12372045954532E-16));
#5750 = CARTESIAN_POINT ('', (2.33339724594637, -3.29038438763306, -2.33339724594637));
#5760 = CARTESIAN_POINT ('', (2.72057735026919, -3.961, -2.72057735026919));
#5770 = CARTESIAN_POINT ('', (-3.61350663570254E-17, -3.29038438763306, -2.33339724594637));
#5780 = CARTESIAN_POINT ('', (-1.35220589237726E-16, -3.961, -2.72057735026919));
#5790 = CARTESIAN_POINT ('', (-2.33339724594637, -3.29038438763306, -2.33339724594637));
#5800 = CARTESIAN_POINT ('', (-2.72057735026919, -3.961, -2.72057735026919));
#5810 = CARTESIAN_POINT ('', (-2.33339724594637, -3.29038438763306, -7.02790992987773E-18));
#5820 = CARTESIAN_POINT ('', (-2.72057735026919, -3.961, 1.6647959019555E-16));
#5830 = CARTESIAN_POINT ('', (-2.33339724594637, -3.29038438763306, 2.33339724594637));
#5840 = CARTESIAN_POINT ('', (-2.72057735026919, -3.961, 2.72057735026919));
#5850 = CARTESIAN_POINT ('', (-4.47023523048969E-16, -3.29038438763306, 2.33339724594637));
#5860 = CARTESIAN_POINT ('', (-6.14287679380703E-16, -3.961, 2.72057735026919));
#5870 = CARTESIAN_POINT ('', (2.33339724594637, -3.29038438763306, 2.33339724594637));
#5880 = CARTESIAN_POINT ('', (2.72057735026919, -3.961, 2.72057735026919));
#5890 = CARTESIAN_POINT ('', (2.33339724594637, -3.29038438763306, 1.18101799923319E-16));
#5900 = CARTESIAN_POINT ('', (2.72057735026919, -3.961, 3.12372045954532E-16));
#5910 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#5730, #5740), (#5750, #5760), (#5770, #5780), (#5790, #5800), (#5810, #5820), (#5830, #5840), (#5850, #5860), (#5870, #5880), (#5890, #5900)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#5920 = ADVANCED_FACE ('', (#5720), #5910, .T.);
#5930 = ORIENTED_EDGE ('', *, *, #710, .F.);
#5940 = ORIENTED_EDGE ('', *, *, #110, .T.);
#5950 = ORIENTED_EDGE ('', *, *, #870, .T.);
#5960 = ORIENTED_EDGE ('', *, *, #1800, .F.);
#5970 = EDGE_LOOP ('', (#5930, #5940, #5950, #5960));
#5980 = FACE_OUTER_BOUND ('', #5970, .T.);
#5990 = CARTESIAN_POINT ('', (-4.2, -2.79138438763306, 5.9289858937568E-16));
#6000 = CARTESIAN_POINT ('', (-4.2, -1.79138438763306, 4.70433909460944E-16));
#6010 = CARTESIAN_POINT ('', (-3.2, -1.79138438763306, 4.09201569503577E-16));
#6020 = CARTESIAN_POINT ('', (-2.2, -1.79138438763306, 3.47969229546209E-16));
#6030 = CARTESIAN_POINT ('', (-2.2, -2.79138438763306, 4.70433909460945E-16));
#6040 = CARTESIAN_POINT ('', (-2.2, -3.79138438763306, 5.92898589375679E-16));
#6050 = CARTESIAN_POINT ('', (-3.2, -3.79138438763306, 6.54130929333047E-16));
#6060 = CARTESIAN_POINT ('', (-4.2, -3.79138438763306, 7.15363269290415E-16));
#6070 = CARTESIAN_POINT ('', (-4.2, -2.79138438763306, 5.9289858937568E-16));
#6080 = CARTESIAN_POINT ('', (-4.2, -2.79138438763306, 4.2));
#6090 = CARTESIAN_POINT ('', (-4.2, -1.79138438763306, 4.2));
#6100 = CARTESIAN_POINT ('', (-3.2, -1.79138438763306, 3.2));
#6110 = CARTESIAN_POINT ('', (-2.2, -1.79138438763306, 2.2));
#6120 = CARTESIAN_POINT ('', (-2.2, -2.79138438763306, 2.2));
#6130 = CARTESIAN_POINT ('', (-2.2, -3.79138438763306, 2.2));
#6140 = CARTESIAN_POINT ('', (-3.2, -3.79138438763306, 3.2));
#6150 = CARTESIAN_POINT ('', (-4.2, -3.79138438763306, 4.2));
#6160 = CARTESIAN_POINT ('', (-4.2, -2.79138438763306, 4.2));
#6170 = CARTESIAN_POINT ('', (6.95217317474317E-16, -2.79138438763306, 4.2));
#6180 = CARTESIAN_POINT ('', (6.33984977516949E-16, -1.79138438763306, 4.2));
#6190 = CARTESIAN_POINT ('', (6.3398497751695E-16, -1.79138438763306, 3.2));
#6200 = CARTESIAN_POINT ('', (6.33984977516949E-16, -1.79138438763306, 2.2));
#6210 = CARTESIAN_POINT ('', (6.95217317474317E-16, -2.79138438763306, 2.2));
#6220 = CARTESIAN_POINT ('', (7.56449657431684E-16, -3.79138438763306, 2.2));
#6230 = CARTESIAN_POINT ('', (7.56449657431685E-16, -3.79138438763306, 3.2));
#6240 = CARTESIAN_POINT ('', (7.56449657431685E-16, -3.79138438763306, 4.2));
#6250 = CARTESIAN_POINT ('', (6.95217317474317E-16, -2.79138438763306, 4.2));
#6260 = CARTESIAN_POINT ('', (4.2, -2.79138438763306, 4.2));
#6270 = CARTESIAN_POINT ('', (4.2, -1.79138438763306, 4.2));
#6280 = CARTESIAN_POINT ('', (3.2, -1.79138438763306, 3.2));
#6290 = CARTESIAN_POINT ('', (2.2, -1.79138438763306, 2.2));
#6300 = CARTESIAN_POINT ('', (2.2, -2.79138438763306, 2.2));
#6310 = CARTESIAN_POINT ('', (2.2, -3.79138438763306, 2.2));
#6320 = CARTESIAN_POINT ('', (3.2, -3.79138438763306, 3.2));
#6330 = CARTESIAN_POINT ('', (4.2, -3.79138438763306, 4.2));
#6340 = CARTESIAN_POINT ('', (4.2, -2.79138438763306, 4.2));
#6350 = CARTESIAN_POINT ('', (4.2, -2.79138438763306, 2.57175827820944E-16));
#6360 = CARTESIAN_POINT ('', (4.2, -1.79138438763306, 2.57175827820945E-16));
#6370 = CARTESIAN_POINT ('', (3.2, -1.79138438763306, 1.95943487863576E-16));
#6380 = CARTESIAN_POINT ('', (2.2, -1.79138438763306, 1.34711147906209E-16));
#6390 = CARTESIAN_POINT ('', (2.2, -2.79138438763306, 1.34711147906208E-16));
#6400 = CARTESIAN_POINT ('', (2.2, -3.79138438763306, 1.34711147906209E-16));
#6410 = CARTESIAN_POINT ('', (3.2, -3.79138438763306, 1.95943487863576E-16));
#6420 = CARTESIAN_POINT ('', (4.2, -3.79138438763306, 2.57175827820944E-16));
#6430 = CARTESIAN_POINT ('', (4.2, -2.79138438763306, 2.57175827820944E-16));
#6440 = CARTESIAN_POINT ('', (4.2, -2.79138438763306, -4.2));
#6450 = CARTESIAN_POINT ('', (4.2, -1.79138438763306, -4.2));
#6460 = CARTESIAN_POINT ('', (3.2, -1.79138438763306, -3.2));
#6470 = CARTESIAN_POINT ('', (2.2, -1.79138438763306, -2.2));
#6480 = CARTESIAN_POINT ('', (2.2, -2.79138438763306, -2.2));
#6490 = CARTESIAN_POINT ('', (2.2, -3.79138438763306, -2.2));
#6500 = CARTESIAN_POINT ('', (3.2, -3.79138438763306, -3.2));
#6510 = CARTESIAN_POINT ('', (4.2, -3.79138438763306, -4.2));
#6520 = CARTESIAN_POINT ('', (4.2, -2.79138438763306, -4.2));
#6530 = CARTESIAN_POINT ('', (8.7384621156147E-16, -2.79138438763306, -4.2));
#6540 = CARTESIAN_POINT ('', (9.35078551518838E-16, -1.79138438763306, -4.2));
#6550 = CARTESIAN_POINT ('', (8.12613871604102E-16, -1.79138438763306, -3.2));
#6560 = CARTESIAN_POINT ('', (6.90149191689367E-16, -1.79138438763306, -2.2));
#6570 = CARTESIAN_POINT ('', (6.28916851731999E-16, -2.79138438763306, -2.2));
#6580 = CARTESIAN_POINT ('', (5.67684511774632E-16, -3.79138438763306, -2.2));
#6590 = CARTESIAN_POINT ('', (6.90149191689367E-16, -3.79138438763306, -3.2));
#6600 = CARTESIAN_POINT ('', (8.12613871604102E-16, -3.79138438763306, -4.2));
#6610 = CARTESIAN_POINT ('', (8.7384621156147E-16, -2.79138438763306, -4.2));
#6620 = CARTESIAN_POINT ('', (-4.2, -2.79138438763306, -4.2));
#6630 = CARTESIAN_POINT ('', (-4.2, -1.79138438763306, -4.2));
#6640 = CARTESIAN_POINT ('', (-3.2, -1.79138438763306, -3.2));
#6650 = CARTESIAN_POINT ('', (-2.2, -1.79138438763306, -2.2));
#6660 = CARTESIAN_POINT ('', (-2.2, -2.79138438763306, -2.2));
#6670 = CARTESIAN_POINT ('', (-2.2, -3.79138438763306, -2.2));
#6680 = CARTESIAN_POINT ('', (-3.2, -3.79138438763306, -3.2));
#6690 = CARTESIAN_POINT ('', (-4.2, -3.79138438763306, -4.2));
#6700 = CARTESIAN_POINT ('', (-4.2, -2.79138438763306, -4.2));
#6710 = CARTESIAN_POINT ('', (-4.2, -2.79138438763306, 5.9289858937568E-16));
#6720 = CARTESIAN_POINT ('', (-4.2, -1.79138438763306, 4.70433909460944E-16));
#6730 = CARTESIAN_POINT ('', (-3.2, -1.79138438763306, 4.09201569503577E-16));
#6740 = CARTESIAN_POINT ('', (-2.2, -1.79138438763306, 3.47969229546209E-16));
#6750 = CARTESIAN_POINT ('', (-2.2, -2.79138438763306, 4.70433909460945E-16));
#6760 = CARTESIAN_POINT ('', (-2.2, -3.79138438763306, 5.92898589375679E-16));
#6770 = CARTESIAN_POINT ('', (-3.2, -3.79138438763306, 6.54130929333047E-16));
#6780 = CARTESIAN_POINT ('', (-4.2, -3.79138438763306, 7.15363269290415E-16));
#6790 = CARTESIAN_POINT ('', (-4.2, -2.79138438763306, 5.9289858937568E-16));
#6800 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 2, ((#5990, #6000, #6010, #6020, #6030, #6040, #6050, #6060, #6070), (#6080, #6090, #6100, #6110, #6120, #6130, #6140, #6150, #6160), (#6170, #6180, #6190, #6200, #6210, #6220, #6230, #6240, #6250), (#6260, #6270, #6280, #6290, #6300, #6310, #6320, #6330, #6340), (#6350, #6360, #6370, #6380, #6390, #6400, #6410, #6420, #6430), (#6440, #6450, #6460, #6470, #6480, #6490, #6500, #6510, #6520), (#6530, #6540, #6550, #6560, #6570, #6580, #6590, #6600, #6610), (#6620, #6630, #6640, #6650, #6660, #6670, #6680, #6690, #6700), (#6710, #6720, #6730, #6740, #6750, #6760, #6770, #6780, #6790)), .UNSPECIFIED., .T., .T., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.)))
   REPRESENTATION_ITEM ('')
);
#6810 = ADVANCED_FACE ('', (#5980), #6800, .T.);
#6820 = ORIENTED_EDGE ('', *, *, #180, .F.);
#6830 = ORIENTED_EDGE ('', *, *, #630, .F.);
#6840 = ORIENTED_EDGE ('', *, *, #330, .T.);
#6850 = CARTESIAN_POINT ('', (2.2, 0., 1.28587913910473E-16));
#6860 = CARTESIAN_POINT ('', (2.2, 2.28983498828939E-16, 2.2));
#6870 = CARTESIAN_POINT ('', (-2.19075835022651E-16, 2.28983498828939E-16, 2.2));
#6880 = CARTESIAN_POINT ('', (-2.2, 2.28983498828939E-16, 2.2));
#6890 = CARTESIAN_POINT ('', (-2.2, 0., 3.9801020972289E-16));
#6900 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#6850, #6860, #6870, #6880, #6890), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (7.01670929853488E-15, 90., 180.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#6910 = EDGE_CURVE ('', #140, #210, #6900, .T.);
#6920 = ORIENTED_EDGE ('', *, *, #6910, .F.);
#6930 = EDGE_LOOP ('', (#6820, #6830, #6840, #6920));
#6940 = FACE_OUTER_BOUND ('', #6930, .T.);
#6950 = CARTESIAN_POINT ('', (-2.2, -3.07172282639637, 3.55022062916966E-16));
#6960 = CARTESIAN_POINT ('', (-2.2, 0.280338438763306, 9.42563567395269E-17));
#6970 = CARTESIAN_POINT ('', (-2.2, -3.07172282639637, -2.2));
#6980 = CARTESIAN_POINT ('', (-2.2, 0.280338438763306, -2.2));
#6990 = CARTESIAN_POINT ('', (1.74077627909264E-16, -3.07172282639637, -2.2));
#7000 = CARTESIAN_POINT ('', (1.74077627909264E-16, 0.280338438763306, -2.2));
#7010 = CARTESIAN_POINT ('', (2.2, -3.07172282639637, -2.2));
#7020 = CARTESIAN_POINT ('', (2.2, 0.280338438763306, -2.2));
#7030 = CARTESIAN_POINT ('', (2.2, -3.07172282639637, 1.52196679939655E-15));
#7040 = CARTESIAN_POINT ('', (2.2, 0.280338438763306, 1.26120109321911E-15));
#7050 = CARTESIAN_POINT ('', (2.2, -3.07172282639637, 2.2));
#7060 = CARTESIAN_POINT ('', (2.2, 0.280338438763306, 2.2));
#7070 = CARTESIAN_POINT ('', (-7.234448127579E-16, -3.07172282639637, 2.2));
#7080 = CARTESIAN_POINT ('', (-7.234448127579E-16, 0.280338438763306, 2.2));
#7090 = CARTESIAN_POINT ('', (-2.2, -3.07172282639637, 2.2));
#7100 = CARTESIAN_POINT ('', (-2.2, 0.280338438763306, 2.2));
#7110 = CARTESIAN_POINT ('', (-2.2, -3.07172282639637, 3.55022062916966E-16));
#7120 = CARTESIAN_POINT ('', (-2.2, 0.280338438763306, 9.42563567395269E-17));
#7130 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#6950, #6960), (#6970, #6980), (#6990, #7000), (#7010, #7020), (#7030, #7040), (#7050, #7060), (#7070, #7080), (#7090, #7100), (#7110, #7120)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#7140 = ADVANCED_FACE ('', (#6940), #7130, .T.);
#7150 = CARTESIAN_POINT ('', (-4.11941746439395, -4.36, 6.44988664453835));
#7160 = VERTEX_POINT ('', #7150);
#7170 = CARTESIAN_POINT ('', (2.16874339678561, -4.36, 8.10673898164469));
#7180 = VERTEX_POINT ('', #7170);
#7190 = CARTESIAN_POINT ('', (-4.11941746439395, -4.36, 6.44988664453835));
#7200 = CARTESIAN_POINT ('', (2.16874339678561, -4.36, 8.10673898164469));
#7210 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7190, #7200), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7220 = EDGE_CURVE ('', #7160, #7180, #7210, .T.);
#7230 = ORIENTED_EDGE ('', *, *, #7220, .F.);
#7240 = CARTESIAN_POINT ('', (-4.11941746439395, -4.36, 6.44988664453835));
#7250 = CARTESIAN_POINT ('', (-5.08803507782728, -4.36113113427947, 5.89102335939009));
#7260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7240, #7250), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7270 = EDGE_CURVE ('', #7160, #3010, #7260, .T.);
#7280 = ORIENTED_EDGE ('', *, *, #7270, .T.);
#7290 = ORIENTED_EDGE ('', *, *, #3060, .T.);
#7300 = ORIENTED_EDGE ('', *, *, #5040, .T.);
#7310 = CARTESIAN_POINT ('', (-8.10501359834674, -4.36, -2.17518261491624));
#7320 = VERTEX_POINT ('', #7310);
#7330 = CARTESIAN_POINT ('', (-5.25615964689766, -4.36, 4.87597834761816));
#7340 = CARTESIAN_POINT ('', (-8.10501359834674, -4.36, -2.17518261491624));
#7350 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7330, #7340), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7360 = EDGE_CURVE ('', #4940, #7320, #7350, .T.);
#7370 = ORIENTED_EDGE ('', *, *, #7360, .T.);
#7380 = CARTESIAN_POINT ('', (-3.52605695350315, -4.36, -6.79246349522766));
#7390 = VERTEX_POINT ('', #7380);
#7400 = CARTESIAN_POINT ('', (-3.52605695350315, -4.36, -6.79246349522766));
#7410 = CARTESIAN_POINT ('', (-8.10501359834674, -4.36, -2.17518261491624));
#7420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7400, #7410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7430 = EDGE_CURVE ('', #7390, #7320, #7420, .T.);
#7440 = ORIENTED_EDGE ('', *, *, #7430, .F.);
#7450 = CARTESIAN_POINT ('', (-2.55775834460569, -4.36113113427947, -7.35187931243982));
#7460 = VERTEX_POINT ('', #7450);
#7470 = CARTESIAN_POINT ('', (-3.52605695350315, -4.36, -6.79246349522766));
#7480 = CARTESIAN_POINT ('', (-2.55775834460569, -4.36113113427947, -7.35187931243982));
#7490 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7470, #7480), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7500 = EDGE_CURVE ('', #7390, #7460, #7490, .T.);
#7510 = ORIENTED_EDGE ('', *, *, #7500, .T.);
#7520 = CARTESIAN_POINT ('', (-1.59464129389134, -4.36, -6.98995695436911));
#7530 = VERTEX_POINT ('', #7520);
#7540 = CARTESIAN_POINT ('', (-2.55455320123519, -4.36, -7.35666422665131));
#7550 = CARTESIAN_POINT ('', (-2.11661760153619, -4.36, -7.06331594034038));
#7560 = CARTESIAN_POINT ('', (-1.59464129389134, -4.36, -6.98995695436911));
#7570 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7540, #7550, #7560), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (236.184106497808, 262.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.974730220700684, 1.))
   REPRESENTATION_ITEM ('')
);
#7580 = EDGE_CURVE ('', #7460, #7530, #7570, .T.);
#7590 = ORIENTED_EDGE ('', *, *, #7580, .T.);
#7600 = CARTESIAN_POINT ('', (5.93627020156112, -4.36, -5.93155636672846));
#7610 = VERTEX_POINT ('', #7600);
#7620 = CARTESIAN_POINT ('', (-1.59464129389134, -4.36, -6.98995695436911));
#7630 = CARTESIAN_POINT ('', (5.93627020156112, -4.36, -5.93155636672846));
#7640 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7620, #7630), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7650 = EDGE_CURVE ('', #7530, #7610, #7640, .T.);
#7660 = ORIENTED_EDGE ('', *, *, #7650, .T.);
#7670 = CARTESIAN_POINT ('', (7.64547441789716, -4.36, 0.342576850689316));
#7680 = VERTEX_POINT ('', #7670);
#7690 = CARTESIAN_POINT ('', (7.64547441789716, -4.36, 0.342576850689316));
#7700 = CARTESIAN_POINT ('', (5.93627020156112, -4.36, -5.93155636672846));
#7710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7690, #7700), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7720 = EDGE_CURVE ('', #7680, #7610, #7710, .T.);
#7730 = ORIENTED_EDGE ('', *, *, #7720, .F.);
#7740 = CARTESIAN_POINT ('', (7.64579342243299, -4.36113113427947, 1.46085595304979));
#7750 = VERTEX_POINT ('', #7740);
#7760 = CARTESIAN_POINT ('', (7.64547441789716, -4.36, 0.342576850689316));
#7770 = CARTESIAN_POINT ('', (7.64579342243299, -4.36113113427947, 1.46085595304979));
#7780 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7760, #7770), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7790 = EDGE_CURVE ('', #7680, #7750, #7780, .T.);
#7800 = ORIENTED_EDGE ('', *, *, #7790, .T.);
#7810 = CARTESIAN_POINT ('', (6.85080094078901, -4.36, 2.113978606751));
#7820 = VERTEX_POINT ('', #7810);
#7830 = CARTESIAN_POINT ('', (7.64833470800982, -4.36, 1.46602414573716));
#7840 = CARTESIAN_POINT ('', (7.17531984005842, -4.36, 1.6986133571426));
#7850 = CARTESIAN_POINT ('', (6.85080094078901, -4.36, 2.113978606751));
#7860 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#7830, #7840, #7850), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (116.184106497808, 142.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.974730220700684, 1.))
   REPRESENTATION_ITEM ('')
);
#7870 = EDGE_CURVE ('', #7750, #7820, #7860, .T.);
#7880 = ORIENTED_EDGE ('', *, *, #7870, .T.);
#7890 = CARTESIAN_POINT ('', (6.85080094078901, -4.36, 2.113978606751));
#7900 = CARTESIAN_POINT ('', (2.16874339678561, -4.36, 8.10673898164469));
#7910 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#7890, #7900), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#7920 = EDGE_CURVE ('', #7820, #7180, #7910, .T.);
#7930 = ORIENTED_EDGE ('', *, *, #7920, .T.);
#7940 = EDGE_LOOP ('', (#7230, #7280, #7290, #7300, #7370, #7440, #7510, #7590, #7660, #7730, #7800, #7880, #7930));
#7950 = FACE_OUTER_BOUND ('', #7940, .T.);
#7960 = ORIENTED_EDGE ('', *, *, #5270, .T.);
#7970 = ORIENTED_EDGE ('', *, *, #2360, .T.);
#7980 = EDGE_LOOP ('', (#7960, #7970));
#7990 = FACE_BOUND ('', #7980, .T.);
#8000 = CARTESIAN_POINT ('', (-8.10601359834674, -4.36, -7.35766422665131));
#8010 = CARTESIAN_POINT ('', (-8.10601359834674, -4.36, 8.10773898164469));
#8020 = CARTESIAN_POINT ('', (7.64933470800981, -4.36, -7.35766422665131));
#8030 = CARTESIAN_POINT ('', (7.64933470800981, -4.36, 8.10773898164469));
#8040 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8000, #8010), (#8020, #8030)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-8.10601359834674, 7.64933470800982), (-7.35766422665131, 8.10773898164469), .UNSPECIFIED.);
#8050 = ADVANCED_FACE ('', (#7950, #7990), #8040, .T.);
#8060 = CARTESIAN_POINT ('', (1.85155686694764, -0.813763934070979, 8.99999999999999));
#8070 = VERTEX_POINT ('', #8060);
#8080 = CARTESIAN_POINT ('', (2.21849940280844, -0.843618809591127, 8.53033497172925));
#8090 = VERTEX_POINT ('', #8080);
#8100 = CARTESIAN_POINT ('', (1.85155686694764, -0.813763934070979, 8.99999999999999));
#8110 = CARTESIAN_POINT ('', (2.21849940280844, -0.843618809591127, 8.53033497172925));
#8120 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8100, #8110), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8130 = EDGE_CURVE ('', #8070, #8090, #8120, .T.);
#8140 = ORIENTED_EDGE ('', *, *, #8130, .F.);
#8150 = CARTESIAN_POINT ('', (1.85155686694764, -3.99833318021538, 8.99999999999999));
#8160 = VERTEX_POINT ('', #8150);
#8170 = CARTESIAN_POINT ('', (1.85155686694764, -0.813763934070979, 8.99999999999999));
#8180 = CARTESIAN_POINT ('', (1.85155686694764, -3.99833318021538, 8.99999999999999));
#8190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8170, #8180), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8200 = EDGE_CURVE ('', #8070, #8160, #8190, .T.);
#8210 = ORIENTED_EDGE ('', *, *, #8200, .T.);
#8220 = CARTESIAN_POINT ('', (2.21640748768078, -3.95884231195653, 8.53301250099215));
#8230 = VERTEX_POINT ('', #8220);
#8240 = CARTESIAN_POINT ('', (2.21640748768078, -3.95884231195653, 8.53301250099215));
#8250 = CARTESIAN_POINT ('', (1.85155686694764, -3.99833318021538, 8.99999999999999));
#8260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8240, #8250), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8270 = EDGE_CURVE ('', #8230, #8160, #8260, .T.);
#8280 = ORIENTED_EDGE ('', *, *, #8270, .F.);
#8290 = CARTESIAN_POINT ('', (2.28399989727992, -4.06, 8.44649816192597));
#8300 = VERTEX_POINT ('', #8290);
#8310 = CARTESIAN_POINT ('', (2.28399989727992, -4.06, 8.44649816192597));
#8320 = CARTESIAN_POINT ('', (2.21640748768078, -3.95884231195653, 8.53301250099215));
#8330 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8310, #8320), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8340 = EDGE_CURVE ('', #8300, #8230, #8330, .T.);
#8350 = ORIENTED_EDGE ('', *, *, #8340, .F.);
#8360 = CARTESIAN_POINT ('', (7.08720416687103, -4.06, 2.29867704934869));
#8370 = VERTEX_POINT ('', #8360);
#8380 = CARTESIAN_POINT ('', (2.28399989727992, -4.06, 8.44649816192597));
#8390 = CARTESIAN_POINT ('', (7.08720416687103, -4.06, 2.29867704934869));
#8400 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8380, #8390), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8410 = EDGE_CURVE ('', #8300, #8370, #8400, .T.);
#8420 = ORIENTED_EDGE ('', *, *, #8410, .T.);
#8430 = CARTESIAN_POINT ('', (7.43744699918785, -4.13933506405173, 1.85038666688917));
#8440 = VERTEX_POINT ('', #8430);
#8450 = CARTESIAN_POINT ('', (7.08720416687103, -4.06, 2.29867704934869));
#8460 = CARTESIAN_POINT ('', (7.20622228963437, -4.06, 2.14634079903843));
#8470 = CARTESIAN_POINT ('', (7.32280300949367, -4.08838882687731, 1.99712428217947));
#8480 = CARTESIAN_POINT ('', (7.43744699918785, -4.13933506405173, 1.85038666688917));
#8490 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#8450, #8460, #8470, #8480), .UNSPECIFIED., .F., .U., (4, 4), (9.69739903612216E-19, 0.000574393907508695), .UNSPECIFIED.);
#8500 = EDGE_CURVE ('', #8370, #8440, #8490, .T.);
#8510 = ORIENTED_EDGE ('', *, *, #8500, .T.);
#8520 = CARTESIAN_POINT ('', (7.43744699918785, -0.270664935948271, 1.85038666688917));
#8530 = VERTEX_POINT ('', #8520);
#8540 = CARTESIAN_POINT ('', (7.43744699918785, -0.270664935948271, 1.85038666688917));
#8550 = CARTESIAN_POINT ('', (7.43744699918785, -4.13933506405173, 1.85038666688917));
#8560 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8540, #8550), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8570 = EDGE_CURVE ('', #8530, #8440, #8560, .T.);
#8580 = ORIENTED_EDGE ('', *, *, #8570, .F.);
#8590 = CARTESIAN_POINT ('', (7.08720416687103, -0.350000000000002, 2.29867704934869));
#8600 = VERTEX_POINT ('', #8590);
#8610 = CARTESIAN_POINT ('', (7.43744699918785, -0.270664935948271, 1.85038666688917));
#8620 = CARTESIAN_POINT ('', (7.32280300949367, -0.321611173122695, 1.99712428217947));
#8630 = CARTESIAN_POINT ('', (7.20622228963437, -0.350000000000002, 2.14634079903843));
#8640 = CARTESIAN_POINT ('', (7.08720416687103, -0.350000000000002, 2.29867704934869));
#8650 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#8610, #8620, #8630, #8640), .UNSPECIFIED., .F., .U., (4, 4), (2.18527934146084E-19, 0.000574393907508693), .UNSPECIFIED.);
#8660 = EDGE_CURVE ('', #8530, #8600, #8650, .T.);
#8670 = ORIENTED_EDGE ('', *, *, #8660, .T.);
#8680 = CARTESIAN_POINT ('', (2.54832984287727, -0.35, 8.10817125992059));
#8690 = VERTEX_POINT ('', #8680);
#8700 = CARTESIAN_POINT ('', (7.08720416687103, -0.350000000000002, 2.29867704934869));
#8710 = CARTESIAN_POINT ('', (2.54832984287727, -0.35, 8.10817125992059));
#8720 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8700, #8710), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8730 = EDGE_CURVE ('', #8600, #8690, #8720, .T.);
#8740 = ORIENTED_EDGE ('', *, *, #8730, .T.);
#8750 = CARTESIAN_POINT ('', (2.21849940280844, -0.843618809591127, 8.53033497172925));
#8760 = CARTESIAN_POINT ('', (2.54832984287727, -0.35, 8.10817125992059));
#8770 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8750, #8760), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8780 = EDGE_CURVE ('', #8090, #8690, #8770, .T.);
#8790 = ORIENTED_EDGE ('', *, *, #8780, .F.);
#8800 = EDGE_LOOP ('', (#8140, #8210, #8280, #8350, #8420, #8510, #8580, #8670, #8740, #8790));
#8810 = FACE_OUTER_BOUND ('', #8800, .T.);
#8820 = CARTESIAN_POINT ('', (7.43831118610319, -0.26966493594827, 1.84928055807823));
#8830 = CARTESIAN_POINT ('', (7.43831118610319, -4.14033506405173, 1.84928055807823));
#8840 = CARTESIAN_POINT ('', (1.8506926800323, -0.269664935948269, 9.00110610881093));
#8850 = CARTESIAN_POINT ('', (1.8506926800323, -4.14033506405173, 9.00110610881093));
#8860 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8820, #8830), (#8840, #8850)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.570292333211916, 8.50550456168932), (-20.3899810603339, -16.5193109322305), .UNSPECIFIED.);
#8870 = ADVANCED_FACE ('', (#8810), #8860, .T.);
#8880 = CARTESIAN_POINT ('', (-5.12343800502256, -4.37397701610704, 6.17191838521159));
#8890 = VERTEX_POINT ('', #8880);
#8900 = CARTESIAN_POINT ('', (-5.12343800502256, -4.37397701610704, 6.17191838521159));
#8910 = CARTESIAN_POINT ('', (-4.11941746439395, -4.36, 6.44988664453835));
#8920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#8900, #8910), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#8930 = EDGE_CURVE ('', #8890, #7160, #8920, .T.);
#8940 = ORIENTED_EDGE ('', *, *, #8930, .F.);
#8950 = CARTESIAN_POINT ('', (-5.12343800502256, -4.37397701610704, 6.17191838521159));
#8960 = CARTESIAN_POINT ('', (-5.10442135289211, -4.36980774193804, 6.07938197004354));
#8970 = CARTESIAN_POINT ('', (-5.09141817590918, -4.36479793503249, 5.9856548899823));
#8980 = CARTESIAN_POINT ('', (-5.08803507782728, -4.36113113427947, 5.89102335939009));
#8990 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#8950, #8960, #8970, #8980), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.000283618345738254), .UNSPECIFIED.);
#9000 = EDGE_CURVE ('', #8890, #3010, #8990, .T.);
#9010 = ORIENTED_EDGE ('', *, *, #9000, .T.);
#9020 = ORIENTED_EDGE ('', *, *, #7270, .F.);
#9030 = EDGE_LOOP ('', (#8940, #9010, #9020));
#9040 = FACE_OUTER_BOUND ('', #9030, .T.);
#9050 = CARTESIAN_POINT ('', (-5.12483579727503, -4.38874201504676, 6.45020545375179));
#9060 = CARTESIAN_POINT ('', (-4.11838839030868, -4.36005662478306, 6.45162501241955));
#9070 = CARTESIAN_POINT ('', (-5.12483579727503, -4.36101525547224, 5.88992363010814));
#9080 = CARTESIAN_POINT ('', (-4.11838839030868, -4.33232986520854, 5.8913431887759));
#9090 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9050, #9060), (#9070, #9080)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (9.06254196486757, 9.6235094283643), (-9.71123486967468, -8.70437775481146), .UNSPECIFIED.);
#9100 = ADVANCED_FACE ('', (#9040), #9090, .T.);
#9110 = CARTESIAN_POINT ('', (-8.7200070675338, -0.813763934070986, -2.89650471667177));
#9120 = VERTEX_POINT ('', #9110);
#9130 = CARTESIAN_POINT ('', (-8.49673648971261, -0.843618809591134, -2.3438906447519));
#9140 = VERTEX_POINT ('', #9130);
#9150 = CARTESIAN_POINT ('', (-8.7200070675338, -0.813763934070986, -2.89650471667177));
#9160 = CARTESIAN_POINT ('', (-8.49673648971261, -0.843618809591134, -2.3438906447519));
#9170 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9150, #9160), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9180 = EDGE_CURVE ('', #9120, #9140, #9170, .T.);
#9190 = ORIENTED_EDGE ('', *, *, #9180, .F.);
#9200 = CARTESIAN_POINT ('', (-8.7200070675338, -3.99833318021537, -2.89650471667177));
#9210 = VERTEX_POINT ('', #9200);
#9220 = CARTESIAN_POINT ('', (-8.7200070675338, -0.813763934070986, -2.89650471667177));
#9230 = CARTESIAN_POINT ('', (-8.7200070675338, -3.99833318021537, -2.89650471667177));
#9240 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9220, #9230), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9250 = EDGE_CURVE ('', #9120, #9210, #9240, .T.);
#9260 = ORIENTED_EDGE ('', *, *, #9250, .T.);
#9270 = CARTESIAN_POINT ('', (-8.49800934050983, -3.95884231195653, -2.34704106102646));
#9280 = VERTEX_POINT ('', #9270);
#9290 = CARTESIAN_POINT ('', (-8.49800934050983, -3.95884231195653, -2.34704106102646));
#9300 = CARTESIAN_POINT ('', (-8.7200070675338, -3.99833318021537, -2.89650471667177));
#9310 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9290, #9300), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9320 = EDGE_CURVE ('', #9280, #9210, #9310, .T.);
#9330 = ORIENTED_EDGE ('', *, *, #9320, .F.);
#9340 = CARTESIAN_POINT ('', (-8.45688192988646, -4.06, -2.24524714767751));
#9350 = VERTEX_POINT ('', #9340);
#9360 = CARTESIAN_POINT ('', (-8.45688192988646, -4.06, -2.24524714767751));
#9370 = CARTESIAN_POINT ('', (-8.49800934050983, -3.95884231195653, -2.34704106102646));
#9380 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9360, #9370), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9390 = EDGE_CURVE ('', #9350, #9280, #9380, .T.);
#9400 = ORIENTED_EDGE ('', *, *, #9390, .F.);
#9410 = CARTESIAN_POINT ('', (-8.45688192988646, -4.06, -2.24524714767751));
#9420 = CARTESIAN_POINT ('', (-5.53431480326769, -4.06, 4.98836032564294));
#9430 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9410, #9420), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9440 = EDGE_CURVE ('', #9350, #4850, #9430, .T.);
#9450 = ORIENTED_EDGE ('', *, *, #9440, .T.);
#9460 = ORIENTED_EDGE ('', *, *, #4910, .T.);
#9470 = ORIENTED_EDGE ('', *, *, #4430, .F.);
#9480 = CARTESIAN_POINT ('', (-5.53431480326769, -0.350000000000001, 4.98836032564294));
#9490 = VERTEX_POINT ('', #9480);
#9500 = CARTESIAN_POINT ('', (-5.32120535994391, -0.27066493594827, 5.51582470715248));
#9510 = CARTESIAN_POINT ('', (-5.39096186762897, -0.321611173122695, 5.34317129204097));
#9520 = CARTESIAN_POINT ('', (-5.4618968019634, -0.350000000000002, 5.16760116862186));
#9530 = CARTESIAN_POINT ('', (-5.53431480326769, -0.350000000000001, 4.98836032564294));
#9540 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#9500, #9510, #9520, #9530), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.000574393907508694), .UNSPECIFIED.);
#9550 = EDGE_CURVE ('', #4300, #9490, #9540, .T.);
#9560 = ORIENTED_EDGE ('', *, *, #9550, .T.);
#9570 = CARTESIAN_POINT ('', (-8.29604721076478, -0.350000000000002, -1.84716724880656));
#9580 = VERTEX_POINT ('', #9570);
#9590 = CARTESIAN_POINT ('', (-5.53431480326769, -0.350000000000001, 4.98836032564294));
#9600 = CARTESIAN_POINT ('', (-8.29604721076478, -0.350000000000002, -1.84716724880656));
#9610 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9590, #9600), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9620 = EDGE_CURVE ('', #9490, #9580, #9610, .T.);
#9630 = ORIENTED_EDGE ('', *, *, #9620, .T.);
#9640 = CARTESIAN_POINT ('', (-8.49673648971261, -0.843618809591134, -2.3438906447519));
#9650 = CARTESIAN_POINT ('', (-8.29604721076478, -0.350000000000002, -1.84716724880656));
#9660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9640, #9650), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9670 = EDGE_CURVE ('', #9140, #9580, #9660, .T.);
#9680 = ORIENTED_EDGE ('', *, *, #9670, .F.);
#9690 = EDGE_LOOP ('', (#9190, #9260, #9330, #9400, #9450, #9460, #9470, #9560, #9630, #9680));
#9700 = FACE_OUTER_BOUND ('', #9690, .T.);
#9710 = CARTESIAN_POINT ('', (-5.32071770065885, -0.26966493594827, 5.51703170623788));
#9720 = CARTESIAN_POINT ('', (-5.32071770065885, -4.14033506405173, 5.51703170623788));
#9730 = CARTESIAN_POINT ('', (-8.72049472681886, -0.26966493594827, -2.89771171575717));
#9740 = CARTESIAN_POINT ('', (-8.72049472681886, -4.14033506405173, -2.89771171575717));
#9750 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9710, #9720), (#9730, #9740)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.570190451430968, 8.5054026799084), (-23.5531035177663, -19.6824333896628), .UNSPECIFIED.);
#9760 = ADVANCED_FACE ('', (#9700), #9750, .T.);
#9770 = CARTESIAN_POINT ('', (-2.78331910916603, -4.37397701610698, -7.52298665967019));
#9780 = VERTEX_POINT ('', #9770);
#9790 = CARTESIAN_POINT ('', (-2.78331910916603, -4.37397701610698, -7.52298665967019));
#9800 = CARTESIAN_POINT ('', (-3.52605695350315, -4.36, -6.79246349522766));
#9810 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#9790, #9800), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#9820 = EDGE_CURVE ('', #9780, #7390, #9810, .T.);
#9830 = ORIENTED_EDGE ('', *, *, #9820, .F.);
#9840 = CARTESIAN_POINT ('', (-2.78331910916603, -4.37397701610698, -7.52298665967019));
#9850 = CARTESIAN_POINT ('', (-2.71268854892072, -4.36980774193804, -7.4602495482461));
#9860 = CARTESIAN_POINT ('', (-2.6380201050566, -4.36479793503249, -7.40212492661835));
#9870 = CARTESIAN_POINT ('', (-2.55775834460569, -4.36113113427947, -7.35187931243982));
#9880 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#9840, #9850, #9860, #9870), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.00028361834573828), .UNSPECIFIED.);
#9890 = EDGE_CURVE ('', #9780, #7460, #9880, .T.);
#9900 = ORIENTED_EDGE ('', *, *, #9890, .T.);
#9910 = ORIENTED_EDGE ('', *, *, #7500, .F.);
#9920 = EDGE_LOOP ('', (#9830, #9900, #9910));
#9930 = FACE_OUTER_BOUND ('', #9920, .T.);
#9940 = CARTESIAN_POINT ('', (-3.52748407117163, -4.35998886591216, -6.79141455905618));
#9950 = CARTESIAN_POINT ('', (-2.55648760686864, -4.33231388525206, -6.79278411541623));
#9960 = CARTESIAN_POINT ('', (-3.52748407117163, -4.39618983325505, -7.52293689746813));
#9970 = CARTESIAN_POINT ('', (-2.55648760686864, -4.36851485259495, -7.52430645382818));
#9980 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9940, #9950), (#9960, #9970)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (6.02596328725448, 6.75838081956255), (10.4546919449058, 11.4260836856202), .UNSPECIFIED.);
#9990 = ADVANCED_FACE ('', (#9930), #9980, .T.);
#10000 = CARTESIAN_POINT ('', (6.17288203260653, -4.06, -6.20125101424846));
#10010 = VERTEX_POINT ('', #10000);
#10020 = CARTESIAN_POINT ('', (-1.55288936360332, -4.06, -7.28703737499158));
#10030 = VERTEX_POINT ('', #10020);
#10040 = CARTESIAN_POINT ('', (6.17288203260653, -4.06, -6.20125101424846));
#10050 = CARTESIAN_POINT ('', (-1.55288936360332, -4.06, -7.28703737499158));
#10060 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10040, #10050), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10070 = EDGE_CURVE ('', #10010, #10030, #10060, .T.);
#10080 = ORIENTED_EDGE ('', *, *, #10070, .T.);
#10090 = CARTESIAN_POINT ('', (-2.11624163924392, -4.13933506405173, -7.36621137404159));
#10100 = VERTEX_POINT ('', #10090);
#10110 = CARTESIAN_POINT ('', (-1.55288936360332, -4.06, -7.28703737499158));
#10120 = CARTESIAN_POINT ('', (-1.74432548767095, -4.06, -7.31394196766023));
#10130 = CARTESIAN_POINT ('', (-1.93184114186469, -4.08838882687731, -7.34029557422038));
#10140 = CARTESIAN_POINT ('', (-2.11624163924392, -4.13933506405173, -7.36621137404159));
#10150 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#10110, #10120, #10130, #10140), .UNSPECIFIED., .F., .U., (4, 4), (2.16840434497101E-19, 0.000574393907508694), .UNSPECIFIED.);
#10160 = EDGE_CURVE ('', #10030, #10100, #10150, .T.);
#10170 = ORIENTED_EDGE ('', *, *, #10160, .T.);
#10180 = CARTESIAN_POINT ('', (-2.11624163924392, -0.270664935948267, -7.36621137404159));
#10190 = VERTEX_POINT ('', #10180);
#10200 = CARTESIAN_POINT ('', (-2.11624163924392, -0.270664935948267, -7.36621137404159));
#10210 = CARTESIAN_POINT ('', (-2.11624163924392, -4.13933506405173, -7.36621137404159));
#10220 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10200, #10210), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10230 = EDGE_CURVE ('', #10190, #10100, #10220, .T.);
#10240 = ORIENTED_EDGE ('', *, *, #10230, .F.);
#10250 = CARTESIAN_POINT ('', (-1.55288936360332, -0.349999999999998, -7.28703737499158));
#10260 = VERTEX_POINT ('', #10250);
#10270 = CARTESIAN_POINT ('', (-2.11624163924392, -0.270664935948267, -7.36621137404159));
#10280 = CARTESIAN_POINT ('', (-1.93184114186469, -0.321611173122691, -7.34029557422038));
#10290 = CARTESIAN_POINT ('', (-1.74432548767095, -0.349999999999997, -7.31394196766023));
#10300 = CARTESIAN_POINT ('', (-1.55288936360332, -0.349999999999998, -7.28703737499158));
#10310 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#10270, #10280, #10290, #10300), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.000574393907508693), .UNSPECIFIED.);
#10320 = EDGE_CURVE ('', #10190, #10260, #10310, .T.);
#10330 = ORIENTED_EDGE ('', *, *, #10320, .T.);
#10340 = CARTESIAN_POINT ('', (5.74771736788751, -0.349999999999998, -6.26100401111403));
#10350 = VERTEX_POINT ('', #10340);
#10360 = CARTESIAN_POINT ('', (-1.55288936360332, -0.349999999999998, -7.28703737499158));
#10370 = CARTESIAN_POINT ('', (5.74771736788751, -0.349999999999998, -6.26100401111403));
#10380 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10360, #10370), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10390 = EDGE_CURVE ('', #10260, #10350, #10380, .T.);
#10400 = ORIENTED_EDGE ('', *, *, #10390, .T.);
#10410 = CARTESIAN_POINT ('', (6.27823708690417, -0.843618809591133, -6.18644432697736));
#10420 = VERTEX_POINT ('', #10410);
#10430 = CARTESIAN_POINT ('', (6.27823708690417, -0.843618809591133, -6.18644432697736));
#10440 = CARTESIAN_POINT ('', (5.74771736788751, -0.349999999999998, -6.26100401111403));
#10450 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10430, #10440), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10460 = EDGE_CURVE ('', #10420, #10350, #10450, .T.);
#10470 = ORIENTED_EDGE ('', *, *, #10460, .F.);
#10480 = CARTESIAN_POINT ('', (6.86845020058613, -0.813763934070986, -6.1034952833282));
#10490 = VERTEX_POINT ('', #10480);
#10500 = CARTESIAN_POINT ('', (6.86845020058613, -0.813763934070986, -6.1034952833282));
#10510 = CARTESIAN_POINT ('', (6.27823708690417, -0.843618809591133, -6.18644432697736));
#10520 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10500, #10510), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10530 = EDGE_CURVE ('', #10490, #10420, #10520, .T.);
#10540 = ORIENTED_EDGE ('', *, *, #10530, .F.);
#10550 = CARTESIAN_POINT ('', (6.86845020058613, -3.99833318021537, -6.10349528332821));
#10560 = VERTEX_POINT ('', #10550);
#10570 = CARTESIAN_POINT ('', (6.86845020058613, -0.813763934070986, -6.1034952833282));
#10580 = CARTESIAN_POINT ('', (6.86845020058613, -3.99833318021537, -6.10349528332821));
#10590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10570, #10580), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10600 = EDGE_CURVE ('', #10490, #10560, #10590, .T.);
#10610 = ORIENTED_EDGE ('', *, *, #10600, .T.);
#10620 = CARTESIAN_POINT ('', (6.28160185282904, -3.95884231195653, -6.1859714399657));
#10630 = VERTEX_POINT ('', #10620);
#10640 = CARTESIAN_POINT ('', (6.28160185282904, -3.95884231195653, -6.1859714399657));
#10650 = CARTESIAN_POINT ('', (6.86845020058613, -3.99833318021537, -6.10349528332821));
#10660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10640, #10650), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10670 = EDGE_CURVE ('', #10630, #10560, #10660, .T.);
#10680 = ORIENTED_EDGE ('', *, *, #10670, .F.);
#10690 = CARTESIAN_POINT ('', (6.17288203260653, -4.06, -6.20125101424846));
#10700 = CARTESIAN_POINT ('', (6.28160185282904, -3.95884231195653, -6.1859714399657));
#10710 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10690, #10700), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10720 = EDGE_CURVE ('', #10010, #10630, #10710, .T.);
#10730 = ORIENTED_EDGE ('', *, *, #10720, .F.);
#10740 = EDGE_LOOP ('', (#10080, #10170, #10240, #10330, #10400, #10470, #10540, #10610, #10680, #10730));
#10750 = FACE_OUTER_BOUND ('', #10740, .T.);
#10760 = CARTESIAN_POINT ('', (-2.1173600887698, -0.269664935948267, -7.36636856187153));
#10770 = CARTESIAN_POINT ('', (-2.1173600887698, -4.14033506405173, -7.36636856187153));
#10780 = CARTESIAN_POINT ('', (6.86956865011201, -0.269664935948267, -6.10333809549826));
#10790 = CARTESIAN_POINT ('', (6.86956865011201, -4.14033506405173, -6.10333809549826));
#10800 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10760, #10770), (#10780, #10790)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.570018102152686, 8.50523033063012), (-22.8398548268717, -18.9691846987683), .UNSPECIFIED.);
#10810 = ADVANCED_FACE ('', (#10750), #10800, .T.);
#10820 = CARTESIAN_POINT ('', (7.90675711418879, -4.373977016107, 1.3510682744586));
#10830 = VERTEX_POINT ('', #10820);
#10840 = CARTESIAN_POINT ('', (7.90675711418879, -4.373977016107, 1.3510682744586));
#10850 = CARTESIAN_POINT ('', (7.64547441789716, -4.36, 0.342576850689316));
#10860 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#10840, #10850), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#10870 = EDGE_CURVE ('', #10830, #7680, #10860, .T.);
#10880 = ORIENTED_EDGE ('', *, *, #10870, .F.);
#10890 = CARTESIAN_POINT ('', (7.90675711418879, -4.373977016107, 1.3510682744586));
#10900 = CARTESIAN_POINT ('', (7.81710990181285, -4.36980774193804, 1.3808675782026));
#10910 = CARTESIAN_POINT ('', (7.72943828096581, -4.36479793503249, 1.41647003663611));
#10920 = CARTESIAN_POINT ('', (7.64579342243299, -4.36113113427947, 1.46085595304979));
#10930 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#10890, #10900, #10910, #10920), .UNSPECIFIED., .F., .U., (4, 4), (1.85268548447951E-18, 0.000283618345738272), .UNSPECIFIED.);
#10940 = EDGE_CURVE ('', #10830, #7750, #10930, .T.);
#10950 = ORIENTED_EDGE ('', *, *, #10940, .T.);
#10960 = ORIENTED_EDGE ('', *, *, #7790, .F.);
#10970 = EDGE_LOOP ('', (#10880, #10950, #10960));
#10980 = FACE_OUTER_BOUND ('', #10970, .T.);
#10990 = CARTESIAN_POINT ('', (7.64442071570025, -4.35993978844589, 0.341576850689316));
#11000 = CARTESIAN_POINT ('', (7.64442071570025, -4.35993978844589, 1.46185595304979));
#11010 = CARTESIAN_POINT ('', (7.90775651235179, -4.37498754825455, 0.341576850689316));
#11020 = CARTESIAN_POINT ('', (7.90775651235179, -4.37498754825455, 1.46185595304979));
#11030 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#10990, #11000), (#11010, #11020)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.50676504971659, -3.24299966746683), (12.0677739858186, 13.1880530881791), .UNSPECIFIED.);
#11040 = ADVANCED_FACE ('', (#10980), #11030, .T.);
#11050 = CARTESIAN_POINT ('', (7.58034239559917, -0.72698167886484, -4.87046183205387));
#11060 = VERTEX_POINT ('', #11050);
#11070 = CARTESIAN_POINT ('', (7.58034239559917, -0.72698167886484, -4.87046183205387));
#11080 = CARTESIAN_POINT ('', (6.86845020058613, -0.813763934070986, -6.1034952833282));
#11090 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11070, #11080), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11100 = EDGE_CURVE ('', #11060, #10490, #11090, .T.);
#11110 = ORIENTED_EDGE ('', *, *, #11100, .F.);
#11120 = CARTESIAN_POINT ('', (7.53560258686973, -4.08730840655585, -4.94795345389417));
#11130 = VERTEX_POINT ('', #11120);
#11140 = CARTESIAN_POINT ('', (7.53560258686973, -4.08730840655585, -4.94795345389417));
#11150 = CARTESIAN_POINT ('', (9.31087292569459, -4.3240685283211, -1.87309502987945));
#11160 = CARTESIAN_POINT ('', (10.7218085245241, -3.59138354905796, 0.570717113500896));
#11170 = CARTESIAN_POINT ('', (10.7373422073773, -2.42467651222726, 0.597622241431305));
#11180 = CARTESIAN_POINT ('', (10.7528758902305, -1.25796947539655, 0.624527369361715));
#11190 = CARTESIAN_POINT ('', (9.36165613225728, -0.509833037006154, -1.7851359359416));
#11200 = CARTESIAN_POINT ('', (7.58034239559917, -0.72698167886484, -4.87046183205387));
#11210 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#11140, #11150, #11160, #11170, #11180, #11190, #11200), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 3, 4), (4.50804710013636, 6.27461721116581, 8.04118732219527), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.756410527209441, 0.756410527209441, 1., 0.756410527209441, 0.756410527209441, 1.))
   REPRESENTATION_ITEM ('')
);
#11220 = EDGE_CURVE ('', #11130, #11060, #11210, .T.);
#11230 = ORIENTED_EDGE ('', *, *, #11220, .F.);
#11240 = CARTESIAN_POINT ('', (6.86845020058613, -3.99833318021537, -6.10349528332821));
#11250 = CARTESIAN_POINT ('', (7.53560258686973, -4.08730840655585, -4.94795345389417));
#11260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11240, #11250), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11270 = EDGE_CURVE ('', #10560, #11130, #11260, .T.);
#11280 = ORIENTED_EDGE ('', *, *, #11270, .F.);
#11290 = ORIENTED_EDGE ('', *, *, #10600, .F.);
#11300 = EDGE_LOOP ('', (#11110, #11230, #11280, #11290));
#11310 = FACE_OUTER_BOUND ('', #11300, .T.);
#11320 = CARTESIAN_POINT ('', (6.86776718788423, -0.509833037006154, -6.1046782960301));
#11330 = CARTESIAN_POINT ('', (6.86776718788423, -4.3240685283211, -6.1046782960301));
#11340 = CARTESIAN_POINT ('', (10.7528758902305, -0.509833037006152, 0.624527369361715));
#11350 = CARTESIAN_POINT ('', (10.7528758902305, -4.3240685283211, 0.624527369361715));
#11360 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11320, #11330), (#11340, #11350)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-10.2644656242316, -2.49424821953903), (-7.04016696299385, -3.2259314716789), .UNSPECIFIED.);
#11370 = ADVANCED_FACE ('', (#11310), #11360, .T.);
#11380 = CARTESIAN_POINT ('', (-8.00811487252075, -0.72698167886484, -4.1295381679461));
#11390 = VERTEX_POINT ('', #11380);
#11400 = CARTESIAN_POINT ('', (-8.00811487252075, -0.72698167886484, -4.1295381679461));
#11410 = CARTESIAN_POINT ('', (-8.7200070675338, -0.813763934070986, -2.89650471667177));
#11420 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11400, #11410), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11430 = EDGE_CURVE ('', #11390, #9120, #11420, .T.);
#11440 = ORIENTED_EDGE ('', *, *, #11430, .F.);
#11450 = CARTESIAN_POINT ('', (-8.05285468125019, -4.08730840655585, -4.05204654610579));
#11460 = VERTEX_POINT ('', #11450);
#11470 = CARTESIAN_POINT ('', (-8.05285468125019, -4.08730840655585, -4.05204654610579));
#11480 = CARTESIAN_POINT ('', (-6.27758434242531, -4.3240685283211, -7.1269049701205));
#11490 = CARTESIAN_POINT ('', (-4.86664874359579, -3.59138354905797, -9.57071711350084));
#11500 = CARTESIAN_POINT ('', (-4.85111506074258, -2.42467651222726, -9.59762224143125));
#11510 = CARTESIAN_POINT ('', (-4.83558137788938, -1.25796947539655, -9.62452736936166));
#11520 = CARTESIAN_POINT ('', (-6.22680113586261, -0.509833037006154, -7.21486406405836));
#11530 = CARTESIAN_POINT ('', (-8.00811487252075, -0.72698167886484, -4.1295381679461));
#11540 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#11470, #11480, #11490, #11500, #11510, #11520, #11530), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 3, 4), (4.50804710013636, 6.27461721116581, 8.04118732219527), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.75641052720944, 0.75641052720944, 1., 0.75641052720944, 0.75641052720944, 1.))
   REPRESENTATION_ITEM ('')
);
#11550 = EDGE_CURVE ('', #11460, #11390, #11540, .T.);
#11560 = ORIENTED_EDGE ('', *, *, #11550, .F.);
#11570 = CARTESIAN_POINT ('', (-8.7200070675338, -3.99833318021537, -2.89650471667177));
#11580 = CARTESIAN_POINT ('', (-8.05285468125019, -4.08730840655585, -4.05204654610579));
#11590 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11570, #11580), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11600 = EDGE_CURVE ('', #9210, #11460, #11590, .T.);
#11610 = ORIENTED_EDGE ('', *, *, #11600, .F.);
#11620 = ORIENTED_EDGE ('', *, *, #9250, .F.);
#11630 = EDGE_LOOP ('', (#11440, #11560, #11610, #11620));
#11640 = FACE_OUTER_BOUND ('', #11630, .T.);
#11650 = CARTESIAN_POINT ('', (-8.72069008023569, -0.509833037006154, -2.89532170396988));
#11660 = CARTESIAN_POINT ('', (-8.72069008023569, -4.3240685283211, -2.89532170396988));
#11670 = CARTESIAN_POINT ('', (-4.83558137788938, -0.509833037006156, -9.62452736936166));
#11680 = CARTESIAN_POINT ('', (-4.83558137788938, -4.3240685283211, -9.62452736936166));
#11690 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11650, #11660), (#11670, #11680)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-10.2644656242316, -2.49424821953903), (-7.04016696299385, -3.2259314716789), .UNSPECIFIED.);
#11700 = ADVANCED_FACE ('', (#11640), #11690, .T.);
#11710 = CARTESIAN_POINT ('', (0.427772476921648, -0.726981678864838, 9.));
#11720 = VERTEX_POINT ('', #11710);
#11730 = CARTESIAN_POINT ('', (0.427772476921648, -0.726981678864838, 9.));
#11740 = CARTESIAN_POINT ('', (1.85155686694764, -0.813763934070979, 8.99999999999999));
#11750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11730, #11740), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11760 = EDGE_CURVE ('', #11720, #8070, #11750, .T.);
#11770 = ORIENTED_EDGE ('', *, *, #11760, .F.);
#11780 = CARTESIAN_POINT ('', (0.517252094380527, -4.08730840655585, 9.));
#11790 = VERTEX_POINT ('', #11780);
#11800 = CARTESIAN_POINT ('', (0.517252094380527, -4.08730840655585, 9.));
#11810 = CARTESIAN_POINT ('', (-3.03328858326924, -4.3240685283211, 9.00000000000001));
#11820 = CARTESIAN_POINT ('', (-5.85515978092826, -3.59138354905796, 9.00000000000002));
#11830 = CARTESIAN_POINT ('', (-5.88622714663467, -2.42467651222726, 9.00000000000002));
#11840 = CARTESIAN_POINT ('', (-5.91729451234108, -1.25796947539655, 9.00000000000002));
#11850 = CARTESIAN_POINT ('', (-3.13485499639462, -0.509833037006154, 9.00000000000001));
#11860 = CARTESIAN_POINT ('', (0.427772476921648, -0.726981678864838, 9.));
#11870 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#11800, #11810, #11820, #11830, #11840, #11850, #11860), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 3, 4), (4.50804710013636, 6.27461721116581, 8.04118732219527), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.756410527209441, 0.756410527209441, 1., 0.756410527209441, 0.756410527209441, 1.))
   REPRESENTATION_ITEM ('')
);
#11880 = EDGE_CURVE ('', #11790, #11720, #11870, .T.);
#11890 = ORIENTED_EDGE ('', *, *, #11880, .F.);
#11900 = CARTESIAN_POINT ('', (1.85155686694764, -3.99833318021538, 8.99999999999999));
#11910 = CARTESIAN_POINT ('', (0.517252094380526, -4.08730840655585, 9.));
#11920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#11900, #11910), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#11930 = EDGE_CURVE ('', #8160, #11790, #11920, .T.);
#11940 = ORIENTED_EDGE ('', *, *, #11930, .F.);
#11950 = ORIENTED_EDGE ('', *, *, #8200, .F.);
#11960 = EDGE_LOOP ('', (#11770, #11890, #11940, #11950));
#11970 = FACE_OUTER_BOUND ('', #11960, .T.);
#11980 = CARTESIAN_POINT ('', (1.85255686694764, -0.509833037006154, 8.99999999999999));
#11990 = CARTESIAN_POINT ('', (1.85255686694764, -4.3240685283211, 8.99999999999999));
#12000 = CARTESIAN_POINT ('', (-5.91729451234108, -0.509833037006154, 9.00000000000002));
#12010 = CARTESIAN_POINT ('', (-5.91729451234108, -4.3240685283211, 9.00000000000002));
#12020 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#11980, #11990), (#12000, #12010)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-10.2640995988278, -2.49424821953903), (-7.04016696299385, -3.2259314716789), .UNSPECIFIED.);
#12030 = ADVANCED_FACE ('', (#11970), #12020, .T.);
#12040 = ORIENTED_EDGE ('', *, *, #5360, .F.);
#12050 = ORIENTED_EDGE ('', *, *, #2530, .F.);
#12060 = EDGE_LOOP ('', (#12040, #12050));
#12070 = FACE_OUTER_BOUND ('', #12060, .T.);
#12080 = ORIENTED_EDGE ('', *, *, #1970, .T.);
#12090 = ORIENTED_EDGE ('', *, *, #5690, .T.);
#12100 = EDGE_LOOP ('', (#12080, #12090));
#12110 = FACE_BOUND ('', #12100, .T.);
#12120 = CARTESIAN_POINT ('', (-2.836, -3.96, -2.836));
#12130 = CARTESIAN_POINT ('', (-2.836, -3.96, 2.836));
#12140 = CARTESIAN_POINT ('', (2.836, -3.96, -2.836));
#12150 = CARTESIAN_POINT ('', (2.836, -3.96, 2.836));
#12160 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12120, #12130), (#12140, #12150)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-5.556, 0.116), (-2.836, 2.836), .UNSPECIFIED.);
#12170 = ADVANCED_FACE ('', (#12070, #12110), #12160, .T.);
#12180 = CARTESIAN_POINT ('', (2.16874339678561, -4.36, 8.10673898164469));
#12190 = CARTESIAN_POINT ('', (2.28399989727992, -4.06, 8.44649816192597));
#12200 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12180, #12190), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12210 = EDGE_CURVE ('', #7180, #8300, #12200, .T.);
#12220 = ORIENTED_EDGE ('', *, *, #12210, .F.);
#12230 = ORIENTED_EDGE ('', *, *, #7920, .F.);
#12240 = CARTESIAN_POINT ('', (7.08720416687103, -4.06, 2.29867704934869));
#12250 = CARTESIAN_POINT ('', (6.85080094078901, -4.36, 2.113978606751));
#12260 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#12240, #12250), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#12270 = EDGE_CURVE ('', #8370, #7820, #12260, .T.);
#12280 = ORIENTED_EDGE ('', *, *, #12270, .F.);
#12290 = ORIENTED_EDGE ('', *, *, #8410, .F.);
#12300 = EDGE_LOOP ('', (#12220, #12230, #12280, #12290));
#12310 = FACE_OUTER_BOUND ('', #12300, .T.);
#12320 = CARTESIAN_POINT ('', (3.97882280941378, -6.65929276356809, 2.05527246162156));
#12330 = CARTESIAN_POINT ('', (2.05717651807785, -4.22068861693614, 8.47581726953289));
#12340 = CARTESIAN_POINT ('', (7.16115735280689, -4.15157892180018, 2.05527246162156));
#12350 = CARTESIAN_POINT ('', (5.23951106147096, -1.71297477516823, 8.47581726953289));
#12360 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#12320, #12330), (#12340, #12350)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00140437745987576, 4.05024736698552), (-0.270369365274093, 6.86145440451809), .UNSPECIFIED.);
#12370 = ADVANCED_FACE ('', (#12310), #12360, .T.);
#12380 = CARTESIAN_POINT ('', (7.70198338642886, -4.23836815323604, 1.57175332759536));
#12390 = VERTEX_POINT ('', #12380);
#12400 = CARTESIAN_POINT ('', (7.43744699918785, -4.13933506405173, 1.85038666688917));
#12410 = CARTESIAN_POINT ('', (7.51633004666623, -4.17438962257325, 1.74942097034732));
#12420 = CARTESIAN_POINT ('', (7.60428925474924, -4.20832136600963, 1.65665697612068));
#12430 = CARTESIAN_POINT ('', (7.70198338642886, -4.23836815323604, 1.57175332759536));
#12440 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#12400, #12410, #12420, #12430), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.000396786817278174), .UNSPECIFIED.);
#12450 = EDGE_CURVE ('', #8440, #12390, #12440, .T.);
#12460 = ORIENTED_EDGE ('', *, *, #12450, .F.);
#12470 = ORIENTED_EDGE ('', *, *, #8500, .F.);
#12480 = ORIENTED_EDGE ('', *, *, #12270, .T.);
#12490 = ORIENTED_EDGE ('', *, *, #7870, .F.);
#12500 = CARTESIAN_POINT ('', (7.70198338642886, -4.23836815323604, 1.57175332759536));
#12510 = CARTESIAN_POINT ('', (7.68249823225395, -4.27747338893021, 1.53318280105041));
#12520 = CARTESIAN_POINT ('', (7.66366709721338, -4.31812881925332, 1.49597802073443));
#12530 = CARTESIAN_POINT ('', (7.64579342243299, -4.36113113427947, 1.46085595304979));
#12540 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#12500, #12510, #12520, #12530), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#12550 = EDGE_CURVE ('', #12390, #7750, #12540, .T.);
#12560 = ORIENTED_EDGE ('', *, *, #12550, .F.);
#12570 = EDGE_LOOP ('', (#12460, #12470, #12480, #12490, #12560));
#12580 = FACE_OUTER_BOUND ('', #12570, .T.);
#12590 = CARTESIAN_POINT ('', (10.0672931630333, -4.059, 2.10711719158709));
#12600 = CARTESIAN_POINT ('', (10.2795055207326, -4.36113113427947, 1.89206106509756));
#12610 = CARTESIAN_POINT ('', (8.76346128871105, -4.05899999999976, 0.820526381038937));
#12620 = CARTESIAN_POINT ('', (8.7786110135446, -4.36113113427919, 0.411013455677764));
#12630 = CARTESIAN_POINT ('', (7.3681299092048, -4.05899999999973, 2.00726300373614));
#12640 = CARTESIAN_POINT ('', (7.1723876618593, -4.36113113427916, 1.77711480168985));
#12650 = CARTESIAN_POINT ('', (5.97279852969854, -4.05899999999971, 3.19399962643335));
#12660 = CARTESIAN_POINT ('', (5.56616431017399, -4.36113113427914, 3.14321614770194));
#12670 = CARTESIAN_POINT ('', (7.03340811850082, -4.05899999999995, 4.68745226057554));
#12680 = CARTESIAN_POINT ('', (6.78707563889247, -4.36113113427941, 4.86239091208225));
#12690 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#12590, #12600), (#12610, #12620), (#12630, #12640), (#12650, #12660), (#12670, #12680)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.5, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.737277336810123, 0.737277336810123), (1., 1.), (0.737277336810123, 0.737277336810123), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#12700 = ADVANCED_FACE ('', (#12580), #12690, .T.);
#12710 = CARTESIAN_POINT ('', (8.11794695438236, -4.38468797970432, 1.29343747998895));
#12720 = VERTEX_POINT ('', #12710);
#12730 = CARTESIAN_POINT ('', (7.70198338642886, -4.23836815323604, 1.57175332759536));
#12740 = CARTESIAN_POINT ('', (7.82907575225317, -4.28670982089857, 1.46144716531082));
#12750 = CARTESIAN_POINT ('', (7.96737272291491, -4.33673452742143, 1.36881443120563));
#12760 = CARTESIAN_POINT ('', (8.11794695438236, -4.38468797970432, 1.29343747998895));
#12770 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#12730, #12740, #12750, #12760), .UNSPECIFIED., .F., .U., (4, 4), (5.34677684329522E-18, 0.000521424475149741), .UNSPECIFIED.);
#12780 = EDGE_CURVE ('', #12390, #12720, #12770, .T.);
#12790 = ORIENTED_EDGE ('', *, *, #12780, .F.);
#12800 = ORIENTED_EDGE ('', *, *, #12550, .T.);
#12810 = ORIENTED_EDGE ('', *, *, #10940, .F.);
#12820 = CARTESIAN_POINT ('', (8.11794695438236, -4.38468797970432, 1.29343747998895));
#12830 = CARTESIAN_POINT ('', (8.04717352859361, -4.37863971389605, 1.31212147271261));
#12840 = CARTESIAN_POINT ('', (7.97688321728003, -4.37512081263894, 1.33141627605034));
#12850 = CARTESIAN_POINT ('', (7.90675711418879, -4.373977016107, 1.3510682744586));
#12860 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#12820, #12830, #12840, #12850), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#12870 = EDGE_CURVE ('', #12720, #10830, #12860, .T.);
#12880 = ORIENTED_EDGE ('', *, *, #12870, .F.);
#12890 = EDGE_LOOP ('', (#12790, #12800, #12810, #12880));
#12900 = FACE_OUTER_BOUND ('', #12890, .T.);
#12910 = CARTESIAN_POINT ('', (9.88467429608014, -4.48795427875332, 1.59196999251101));
#12920 = CARTESIAN_POINT ('', (9.14396023834606, -4.44562776116851, 1.10632250514894));
#12930 = CARTESIAN_POINT ('', (8.12210123516867, -4.38723581812981, 1.1118435188793));
#12940 = CARTESIAN_POINT ('', (7.38667808878447, -4.34521163833642, 1.60546644487478));
#12950 = CARTESIAN_POINT ('', (9.74023746465598, -4.18844287842613, 1.84475651522696));
#12960 = CARTESIAN_POINT ('', (9.09613828401764, -4.14611636084132, 1.42245435230342));
#12970 = CARTESIAN_POINT ('', (8.20756523777643, -4.08772441780261, 1.42725523380808));
#12980 = CARTESIAN_POINT ('', (7.56806684961625, -4.04570023800923, 1.85649256076067));
#12990 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 3, ((#12910, #12920, #12930, #12940), (#12950, #12960, #12970, #12980)), .UNSPECIFIED., .F., .F., .U., (2, 2), (4, 4), (0., 1.), (0.991327668174764, 2.13945926761639), .UNSPECIFIED.);
#13000 = ADVANCED_FACE ('', (#12900), #12990, .T.);
#13010 = CARTESIAN_POINT ('', (2.43307334238296, -0.0499999999999991, 7.76841207963931));
#13020 = VERTEX_POINT ('', #13010);
#13030 = CARTESIAN_POINT ('', (2.54832984287727, -0.35, 8.10817125992059));
#13040 = CARTESIAN_POINT ('', (2.43307334238296, -0.0499999999999989, 7.76841207963931));
#13050 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13030, #13040), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13060 = EDGE_CURVE ('', #8690, #13020, #13050, .T.);
#13070 = ORIENTED_EDGE ('', *, *, #13060, .F.);
#13080 = ORIENTED_EDGE ('', *, *, #8730, .F.);
#13090 = CARTESIAN_POINT ('', (6.85080094078901, -0.0499999999999997, 2.113978606751));
#13100 = VERTEX_POINT ('', #13090);
#13110 = CARTESIAN_POINT ('', (6.85080094078901, -0.0499999999999997, 2.113978606751));
#13120 = CARTESIAN_POINT ('', (7.08720416687103, -0.350000000000002, 2.29867704934869));
#13130 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13110, #13120), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13140 = EDGE_CURVE ('', #13100, #8600, #13130, .T.);
#13150 = ORIENTED_EDGE ('', *, *, #13140, .F.);
#13160 = CARTESIAN_POINT ('', (2.43307334238296, -0.0499999999999991, 7.76841207963931));
#13170 = CARTESIAN_POINT ('', (6.85080094078901, -0.0499999999999997, 2.113978606751));
#13180 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13160, #13170), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13190 = EDGE_CURVE ('', #13020, #13100, #13180, .T.);
#13200 = ORIENTED_EDGE ('', *, *, #13190, .F.);
#13210 = EDGE_LOOP ('', (#13070, #13080, #13150, #13200));
#13220 = FACE_OUTER_BOUND ('', #13210, .T.);
#13230 = CARTESIAN_POINT ('', (7.16115735280689, -0.258421078199816, 2.05527246162155));
#13240 = CARTESIAN_POINT ('', (5.34077110340644, -2.56852438715663, 8.13749036752751));
#13250 = CARTESIAN_POINT ('', (4.14189271307565, 2.12079192589294, 2.05527246162155));
#13260 = CARTESIAN_POINT ('', (2.3215064636752, -0.189311383063874, 8.13749036752751));
#13270 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#13230, #13240), (#13250, #13260)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00140437745987487, 3.84263171544762), (-0.270369365274095, 6.48564706824518), .UNSPECIFIED.);
#13280 = ADVANCED_FACE ('', (#13220), #13270, .T.);
#13290 = CARTESIAN_POINT ('', (7.49737608903926, 1.87350135405495E-16, 1.48958466359177));
#13300 = VERTEX_POINT ('', #13290);
#13310 = CARTESIAN_POINT ('', (7.69693371038151, -0.170255931993288, 1.57614124284944));
#13320 = VERTEX_POINT ('', #13310);
#13330 = CARTESIAN_POINT ('', (7.49737608903926, 1.87350135405495E-16, 1.48958466359177));
#13340 = CARTESIAN_POINT ('', (7.56398403003358, -0.0571307815002141, 1.51732533733921));
#13350 = CARTESIAN_POINT ('', (7.63054267497405, -0.113931123322305, 1.54613879595198));
#13360 = CARTESIAN_POINT ('', (7.69693371038151, -0.170255931993288, 1.57614124284944));
#13370 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#13330, #13340, #13350, #13360), .UNSPECIFIED., .F., .U., (4, 4), (-8.07281569572488E-5, 0.000195527108261031), .UNSPECIFIED.);
#13380 = EDGE_CURVE ('', #13300, #13320, #13370, .T.);
#13390 = ORIENTED_EDGE ('', *, *, #13380, .F.);
#13400 = CARTESIAN_POINT ('', (6.55393972803709, -8.94492813152681E-14, 2.4939436319355));
#13410 = VERTEX_POINT ('', #13400);
#13420 = CARTESIAN_POINT ('', (6.5539397280371, 3.46944695195361E-16, 2.4939436319355));
#13430 = CARTESIAN_POINT ('', (6.87165864229164, 2.08166817117217E-16, 1.84710619983469));
#13440 = CARTESIAN_POINT ('', (7.49737608903926, 1.87350135405495E-16, 1.48958466359177));
#13450 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#13420, #13430, #13440), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (206.159726118124, 240.257278677107), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.956055511481549, 1.))
   REPRESENTATION_ITEM ('')
);
#13460 = EDGE_CURVE ('', #13410, #13300, #13450, .T.);
#13470 = ORIENTED_EDGE ('', *, *, #13460, .F.);
#13480 = CARTESIAN_POINT ('', (6.85080094078901, -0.0499999999999997, 2.113978606751));
#13490 = CARTESIAN_POINT ('', (6.75034442979615, -0.0499999999999973, 2.24255707739562));
#13500 = CARTESIAN_POINT ('', (6.65146557443371, -0.0325028441736177, 2.3691162409176));
#13510 = CARTESIAN_POINT ('', (6.55393972803709, -8.94492813152681E-14, 2.4939436319355));
#13520 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#13480, #13490, #13500, #13510), .UNSPECIFIED., .F., .U., (4, 4), (0.00197442597797099, 0.0024516264396627), .UNSPECIFIED.);
#13530 = EDGE_CURVE ('', #13100, #13410, #13520, .T.);
#13540 = ORIENTED_EDGE ('', *, *, #13530, .F.);
#13550 = ORIENTED_EDGE ('', *, *, #13140, .T.);
#13560 = ORIENTED_EDGE ('', *, *, #8660, .F.);
#13570 = CARTESIAN_POINT ('', (7.69693371038151, -0.170255931993288, 1.57614124284944));
#13580 = CARTESIAN_POINT ('', (7.6015832679465, -0.202724712232074, 1.6595198375331));
#13590 = CARTESIAN_POINT ('', (7.51511463480673, -0.236150490005037, 1.75097662658656));
#13600 = CARTESIAN_POINT ('', (7.43744699918785, -0.270664935948271, 1.85038666688917));
#13610 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#13570, #13580, #13590, #13600), .UNSPECIFIED., .F., .U., (4, 4), (6.11465890351455E-6, 0.00039678786807685), .UNSPECIFIED.);
#13620 = EDGE_CURVE ('', #13320, #8530, #13610, .T.);
#13630 = ORIENTED_EDGE ('', *, *, #13620, .F.);
#13640 = EDGE_LOOP ('', (#13390, #13470, #13540, #13550, #13560, #13630));
#13650 = FACE_OUTER_BOUND ('', #13640, .T.);
#13660 = CARTESIAN_POINT ('', (7.12300483797653, -0.351000000000002, 4.80425302668621));
#13670 = CARTESIAN_POINT ('', (6.85179036358433, 0.0010000000000006, 5.02863374974449));
#13680 = CARTESIAN_POINT ('', (5.9553670660379, -0.351000000000093, 3.39290065968931));
#13690 = CARTESIAN_POINT ('', (5.47854554025882, 0.000999999999893364, 3.36875910501728));
#13700 = CARTESIAN_POINT ('', (7.25958247390592, -0.351000000000101, 2.10669863816812));
#13710 = CARTESIAN_POINT ('', (7.01241768828168, 0.000999999999883865, 1.85607228530927));
#13720 = CARTESIAN_POINT ('', (8.56379788177394, -0.351000000000109, 0.820496616646925));
#13730 = CARTESIAN_POINT ('', (8.54628983630454, 0.000999999999874372, 0.343385465601261));
#13740 = CARTESIAN_POINT ('', (9.95877537886391, -0.351000000000019, 2.00764919862539));
#13750 = CARTESIAN_POINT ('', (10.1869061923118, 0.000999999999979961, 1.73958142369599));
#13760 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#13660, #13670), (#13680, #13690), (#13700, #13710), (#13720, #13730), (#13740, #13750)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.5, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.737277336810123, 0.737277336810123), (1., 1.), (0.737277336810123, 0.737277336810123), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#13770 = ADVANCED_FACE ('', (#13650), #13760, .T.);
#13780 = CARTESIAN_POINT ('', (-7.94417887922506, -0.0500000000000002, -1.77710271604529));
#13790 = VERTEX_POINT ('', #13780);
#13800 = CARTESIAN_POINT ('', (-8.29604721076478, -0.350000000000002, -1.84716724880656));
#13810 = CARTESIAN_POINT ('', (-7.94417887922506, -0.0500000000000002, -1.77710271604529));
#13820 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13800, #13810), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13830 = EDGE_CURVE ('', #9580, #13790, #13820, .T.);
#13840 = ORIENTED_EDGE ('', *, *, #13830, .F.);
#13850 = ORIENTED_EDGE ('', *, *, #9620, .F.);
#13860 = CARTESIAN_POINT ('', (-5.25615964689765, -0.0499999999999994, 4.87597834761816));
#13870 = VERTEX_POINT ('', #13860);
#13880 = CARTESIAN_POINT ('', (-5.25615964689765, -0.0499999999999994, 4.87597834761816));
#13890 = CARTESIAN_POINT ('', (-5.53431480326769, -0.350000000000001, 4.98836032564294));
#13900 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13880, #13890), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13910 = EDGE_CURVE ('', #13870, #9490, #13900, .T.);
#13920 = ORIENTED_EDGE ('', *, *, #13910, .F.);
#13930 = CARTESIAN_POINT ('', (-7.94417887922506, -0.0500000000000002, -1.77710271604529));
#13940 = CARTESIAN_POINT ('', (-5.25615964689765, -0.0499999999999994, 4.87597834761816));
#13950 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#13930, #13940), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#13960 = EDGE_CURVE ('', #13790, #13870, #13950, .T.);
#13970 = ORIENTED_EDGE ('', *, *, #13960, .F.);
#13980 = EDGE_LOOP ('', (#13840, #13850, #13920, #13970));
#13990 = FACE_OUTER_BOUND ('', #13980, .T.);
#14000 = CARTESIAN_POINT ('', (-6.52153615379609, 1.31683106000065, -1.90464904065836));
#14010 = CARTESIAN_POINT ('', (-5.22487074003436, -0.0816676383697858, 5.03795683039705));
#14020 = CARTESIAN_POINT ('', (-8.30781934719717, -0.339381876604815, -1.90464904065836));
#14030 = CARTESIAN_POINT ('', (-7.01115393343544, -1.73788057497525, 5.03795683039705));
#14040 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14000, #14010), (#14020, #14030)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.409355918290567, 2.02659337067389), (-7.14835209216782, 0.0514337439111072), .UNSPECIFIED.);
#14050 = ADVANCED_FACE ('', (#13990), #14040, .T.);
#14060 = CARTESIAN_POINT ('', (-5.08920054597263, -0.05, 5.78638627791102));
#14070 = VERTEX_POINT ('', #14060);
#14080 = CARTESIAN_POINT ('', (-5.08920054597263, -0.05, 5.78638627791102));
#14090 = CARTESIAN_POINT ('', (-5.13026872415194, -0.0920898178617152, 5.81897262524199));
#14100 = CARTESIAN_POINT ('', (-5.17133690233125, -0.13417963572343, 5.85155897257296));
#14110 = CARTESIAN_POINT ('', (-5.21267583862706, -0.175209694680144, 5.88517291334291));
#14120 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#14080, #14090, #14100, #14110), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#14130 = EDGE_CURVE ('', #14070, #4210, #14120, .T.);
#14140 = ORIENTED_EDGE ('', *, *, #14130, .F.);
#14150 = CARTESIAN_POINT ('', (-5.03870620427775, 7.49400541621981E-16, 5.74812582303818));
#14160 = VERTEX_POINT ('', #14150);
#14170 = CARTESIAN_POINT ('', (-5.08920054597263, -0.05, 5.78638627791102));
#14180 = CARTESIAN_POINT ('', (-5.07228913892757, -0.0333619939732711, 5.7736834191397));
#14190 = CARTESIAN_POINT ('', (-5.05545879628604, -0.01669493137948, 5.76092923481598));
#14200 = CARTESIAN_POINT ('', (-5.03870620427775, 7.49400541621981E-16, 5.74812582303818));
#14210 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#14170, #14180, #14190, #14200), .UNSPECIFIED., .F., .U., (4, 4), (0., 8.042370973861E-5), .UNSPECIFIED.);
#14220 = EDGE_CURVE ('', #14070, #14160, #14210, .T.);
#14230 = ORIENTED_EDGE ('', *, *, #14220, .T.);
#14240 = CARTESIAN_POINT ('', (-5.43678840488109, -8.8630491834607E-14, 4.42890648338448));
#14250 = VERTEX_POINT ('', #14240);
#14260 = CARTESIAN_POINT ('', (-5.03870620427775, 7.49400541621981E-16, 5.74812582303818));
#14270 = CARTESIAN_POINT ('', (-5.03547021369035, 6.03683769639929E-16, 5.02747785044214));
#14280 = CARTESIAN_POINT ('', (-5.43678840488109, 5.68989300120393E-16, 4.42890648338449));
#14290 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#14260, #14270, #14280), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (359.742721322894, 393.840273881877), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.956055511481548, 1.))
   REPRESENTATION_ITEM ('')
);
#14300 = EDGE_CURVE ('', #14160, #14250, #14290, .T.);
#14310 = ORIENTED_EDGE ('', *, *, #14300, .T.);
#14320 = CARTESIAN_POINT ('', (-5.25615964689765, -0.0499999999999994, 4.87597834761816));
#14330 = CARTESIAN_POINT ('', (-5.31728361335923, -0.0499999999999996, 4.72469122180048));
#14340 = CARTESIAN_POINT ('', (-5.37744763636976, -0.0325028441736184, 4.57578003939849));
#14350 = CARTESIAN_POINT ('', (-5.43678840488109, -8.8630491834607E-14, 4.42890648338448));
#14360 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#14320, #14330, #14340, #14350), .UNSPECIFIED., .F., .U., (4, 4), (0.00197442597797099, 0.00245162643966272), .UNSPECIFIED.);
#14370 = EDGE_CURVE ('', #13870, #14250, #14360, .T.);
#14380 = ORIENTED_EDGE ('', *, *, #14370, .F.);
#14390 = ORIENTED_EDGE ('', *, *, #13910, .T.);
#14400 = ORIENTED_EDGE ('', *, *, #9550, .F.);
#14410 = ORIENTED_EDGE ('', *, *, #4360, .F.);
#14420 = EDGE_LOOP ('', (#14140, #14230, #14310, #14380, #14390, #14400, #14410));
#14430 = FACE_OUTER_BOUND ('', #14420, .T.);
#14440 = CARTESIAN_POINT ('', (-7.74770910087443, -0.351000000000001, 3.77107893867874));
#14450 = CARTESIAN_POINT ('', (-7.81092939059056, 0.0010000000000004, 3.4248027555991));
#14460 = CARTESIAN_POINT ('', (-5.945748819369, -0.35100000000001, 3.44209168335965));
#14470 = CARTESIAN_POINT ('', (-5.69166544770949, 0.000999999999990162, 3.0378847779827));
#14480 = CARTESIAN_POINT ('', (-5.46096227314398, -0.35100000000001, 5.20852183337542));
#14490 = CARTESIAN_POINT ('', (-5.12151378679152, 0.000999999999989523, 5.11536215801625));
#14500 = CARTESIAN_POINT ('', (-4.97617572691896, -0.351000000000011, 6.97495198339119));
#14510 = CARTESIAN_POINT ('', (-4.55136212587355, 0.000999999999988899, 7.1928395380498));
#14520 = CARTESIAN_POINT ('', (-6.69363214540376, -0.351000000000002, 7.61184830218324));
#14530 = CARTESIAN_POINT ('', (-6.57124208578239, 0.00099999999999905, 7.94188568386277));
#14540 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#14440, #14450), (#14460, #14470), (#14480, #14490), (#14500, #14510), (#14520, #14530)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.5, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.737277336810124, 0.737277336810124), (1., 1.), (0.737277336810124, 0.737277336810124), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#14550 = ADVANCED_FACE ('', (#14430), #14540, .T.);
#14560 = CARTESIAN_POINT ('', (-8.10501359834674, -4.36, -2.17518261491624));
#14570 = CARTESIAN_POINT ('', (-8.45688192988646, -4.06, -2.24524714767751));
#14580 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14560, #14570), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#14590 = EDGE_CURVE ('', #7320, #9350, #14580, .T.);
#14600 = ORIENTED_EDGE ('', *, *, #14590, .F.);
#14610 = ORIENTED_EDGE ('', *, *, #7360, .F.);
#14620 = ORIENTED_EDGE ('', *, *, #4980, .F.);
#14630 = ORIENTED_EDGE ('', *, *, #9440, .F.);
#14640 = EDGE_LOOP ('', (#14600, #14610, #14620, #14630));
#14650 = FACE_OUTER_BOUND ('', #14640, .T.);
#14660 = CARTESIAN_POINT ('', (-8.46865406631884, -4.07061812339519, -2.30272893952931));
#14670 = CARTESIAN_POINT ('', (-7.09763956139932, -2.59193134712457, 5.03795683039705));
#14680 = CARTESIAN_POINT ('', (-6.59588524495389, -5.80701913790083, -2.30272893952931));
#14690 = CARTESIAN_POINT ('', (-5.22487074003437, -4.32833236163021, 5.03795683039705));
#14700 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#14660, #14670), (#14680, #14690)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.409355918290563, 2.14453357451309), (-7.5611783523287, 0.0514337439111054), .UNSPECIFIED.);
#14710 = ADVANCED_FACE ('', (#14650), #14700, .T.);
#14720 = ORIENTED_EDGE ('', *, *, #4580, .F.);
#14730 = ORIENTED_EDGE ('', *, *, #3130, .T.);
#14740 = ORIENTED_EDGE ('', *, *, #9000, .F.);
#14750 = CARTESIAN_POINT ('', (-5.17908082708255, -4.38465419032154, 6.38297121825908));
#14760 = CARTESIAN_POINT ('', (-5.16069414338444, -4.37868186273666, 6.31269862507136));
#14770 = CARTESIAN_POINT ('', (-5.14214400398795, -4.37516077610279, 6.24234644791077));
#14780 = CARTESIAN_POINT ('', (-5.12343800502256, -4.37397701610704, 6.17191838521159));
#14790 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#14750, #14760, #14770, #14780), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#14800 = EDGE_CURVE ('', #3480, #8890, #14790, .T.);
#14810 = ORIENTED_EDGE ('', *, *, #14800, .F.);
#14820 = ORIENTED_EDGE ('', *, *, #3540, .F.);
#14830 = EDGE_LOOP ('', (#14720, #14730, #14740, #14810, #14820));
#14840 = FACE_OUTER_BOUND ('', #14830, .T.);
#14850 = CARTESIAN_POINT ('', (-6.32102360361706, -4.48795427875332, 7.76439405228503));
#14860 = CARTESIAN_POINT ('', (-5.53008351341039, -4.44562776116851, 7.36574060502809));
#14870 = CARTESIAN_POINT ('', (-5.02393534996682, -4.3872358181298, 6.47802424232543));
#14880 = CARTESIAN_POINT ('', (-5.08371377057722, -4.34521163833642, 5.59431765202789));
#14890 = CARTESIAN_POINT ('', (-6.46772473831132, -4.18844287842612, 7.51291482567159));
#14900 = CARTESIAN_POINT ('', (-5.77995074682726, -4.14611636084132, 7.16625965414381));
#14910 = CARTESIAN_POINT ('', (-5.33982190905026, -4.08772441780261, 6.39433238222846));
#14920 = CARTESIAN_POINT ('', (-5.39180314436364, -4.04570023800923, 5.62589186892625));
#14930 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 3, ((#14850, #14860, #14870, #14880), (#14890, #14900, #14910, #14920)), .UNSPECIFIED., .F., .F., .U., (2, 2), (4, 4), (0., 1.), (0.991327668174764, 2.13945926761639), .UNSPECIFIED.);
#14940 = ADVANCED_FACE ('', (#14840), #14930, .T.);
#14950 = CARTESIAN_POINT ('', (5.51110553684211, -0.0500000000000007, -5.99130936359403));
#14960 = VERTEX_POINT ('', #14950);
#14970 = CARTESIAN_POINT ('', (5.74771736788751, -0.349999999999998, -6.26100401111403));
#14980 = CARTESIAN_POINT ('', (5.51110553684211, -0.0500000000000006, -5.99130936359403));
#14990 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#14970, #14980), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15000 = EDGE_CURVE ('', #10350, #14960, #14990, .T.);
#15010 = ORIENTED_EDGE ('', *, *, #15000, .F.);
#15020 = ORIENTED_EDGE ('', *, *, #10390, .F.);
#15030 = CARTESIAN_POINT ('', (-1.59464129389134, -0.0500000000000009, -6.98995695436911));
#15040 = VERTEX_POINT ('', #15030);
#15050 = CARTESIAN_POINT ('', (-1.59464129389134, -0.0500000000000009, -6.98995695436911));
#15060 = CARTESIAN_POINT ('', (-1.55288936360332, -0.349999999999998, -7.28703737499158));
#15070 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15050, #15060), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15080 = EDGE_CURVE ('', #15040, #10260, #15070, .T.);
#15090 = ORIENTED_EDGE ('', *, *, #15080, .F.);
#15100 = CARTESIAN_POINT ('', (5.51110553684211, -0.0500000000000007, -5.99130936359403));
#15110 = CARTESIAN_POINT ('', (-1.59464129389134, -0.0500000000000009, -6.98995695436911));
#15120 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15100, #15110), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15130 = EDGE_CURVE ('', #14960, #15040, #15120, .T.);
#15140 = ORIENTED_EDGE ('', *, *, #15130, .F.);
#15150 = EDGE_LOOP ('', (#15010, #15020, #15090, #15140));
#15160 = FACE_OUTER_BOUND ('', #15150, .T.);
#15170 = CARTESIAN_POINT ('', (-1.6162417206061, -0.346543502759479, -7.2924505019073));
#15180 = CARTESIAN_POINT ('', (5.76743065908104, -0.865372431738259, -6.77867078040023));
#15190 = CARTESIAN_POINT ('', (-1.6162417206061, 0.451812803417672, -6.48624829123549));
#15200 = CARTESIAN_POINT ('', (5.76743065908104, -0.0670161255611074, -5.97246856972842));
#15210 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15170, #15180), (#15190, #15200)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141419665593556, 1.13319357526568), (-0.0636613737034106, 7.35602668377797), .UNSPECIFIED.);
#15220 = ADVANCED_FACE ('', (#15160), #15210, .T.);
#15230 = CARTESIAN_POINT ('', (-2.46655723979428, -0.050000000000002, -7.30057009672145));
#15240 = VERTEX_POINT ('', #15230);
#15250 = CARTESIAN_POINT ('', (-2.49037133238951, -0.175209685028582, -7.45689614708613));
#15260 = VERTEX_POINT ('', #15250);
#15270 = CARTESIAN_POINT ('', (-2.46655723979428, -0.050000000000002, -7.30057009672145));
#15280 = CARTESIAN_POINT ('', (-2.47424375556494, -0.092089815730007, -7.35242935270102));
#15290 = CARTESIAN_POINT ('', (-2.48193027133561, -0.134179631460012, -7.40428860868059));
#15300 = CARTESIAN_POINT ('', (-2.49037133238951, -0.175209685028582, -7.45689614708613));
#15310 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#15270, #15280, #15290, #15300), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#15320 = EDGE_CURVE ('', #15240, #15260, #15310, .T.);
#15330 = ORIENTED_EDGE ('', *, *, #15320, .F.);
#15340 = CARTESIAN_POINT ('', (-2.45866988476149, -8.46545056276682E-16, -7.2377104866299));
#15350 = VERTEX_POINT ('', #15340);
#15360 = CARTESIAN_POINT ('', (-2.46655723979428, -0.050000000000002, -7.30057009672145));
#15370 = CARTESIAN_POINT ('', (-2.46401194492016, -0.0333619939732736, -7.27957295922104));
#15380 = CARTESIAN_POINT ('', (-2.46138166861203, -0.0166949313794829, -7.25862036277721));
#15390 = CARTESIAN_POINT ('', (-2.45866988476149, -8.46545056276682E-16, -7.2377104866299));
#15400 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#15360, #15370, #15380, #15390), .UNSPECIFIED., .F., .U., (4, 4), (0., 8.04237097386096E-5), .UNSPECIFIED.);
#15410 = EDGE_CURVE ('', #15240, #15350, #15400, .T.);
#15420 = ORIENTED_EDGE ('', *, *, #15410, .T.);
#15430 = CARTESIAN_POINT ('', (-2.07213126462667, -8.32667268468867E-16, -7.05706379341826));
#15440 = VERTEX_POINT ('', #15430);
#15450 = CARTESIAN_POINT ('', (-2.45866988476149, -8.46545056276682E-16, -7.2377104866299));
#15460 = CARTESIAN_POINT ('', (-2.27363415788673, -8.39606162372775E-16, -7.12976933684447));
#15470 = CARTESIAN_POINT ('', (-2.07213126462667, -8.32667268468867E-16, -7.05706379341827));
#15480 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#15450, #15460, #15470), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (239.742721322895, 250.159726118126), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.995870938244245, 1.))
   REPRESENTATION_ITEM ('')
);
#15490 = EDGE_CURVE ('', #15350, #15440, #15480, .T.);
#15500 = ORIENTED_EDGE ('', *, *, #15490, .T.);
#15510 = CARTESIAN_POINT ('', (-1.59464129389134, -0.0500000000000009, -6.98995695436911));
#15520 = CARTESIAN_POINT ('', (-1.75667197196554, -0.049999999999999, -7.01272888111305));
#15530 = CARTESIAN_POINT ('', (-1.9156776933513, -0.032417261318091, -7.03507567791906));
#15540 = CARTESIAN_POINT ('', (-2.07213126462667, -8.32667268468867E-16, -7.05706379341826));
#15550 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#15510, #15520, #15530, #15540), .UNSPECIFIED., .F., .U., (4, 4), (0.000836382562547168, 0.00132000737967381), .UNSPECIFIED.);
#15560 = EDGE_CURVE ('', #15040, #15440, #15550, .T.);
#15570 = ORIENTED_EDGE ('', *, *, #15560, .F.);
#15580 = ORIENTED_EDGE ('', *, *, #15080, .T.);
#15590 = ORIENTED_EDGE ('', *, *, #10320, .F.);
#15600 = CARTESIAN_POINT ('', (-2.49037133238951, -0.175209685028582, -7.45689614708613));
#15610 = CARTESIAN_POINT ('', (-2.36909057065297, -0.20702810200181, -7.41429964757128));
#15620 = CARTESIAN_POINT ('', (-2.24353256488631, -0.238846518975038, -7.38410094698141));
#15630 = CARTESIAN_POINT ('', (-2.11624163924392, -0.270664935948267, -7.36621137404159));
#15640 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#15600, #15610, #15620, #15630), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#15650 = EDGE_CURVE ('', #15260, #10190, #15640, .T.);
#15660 = ORIENTED_EDGE ('', *, *, #15650, .F.);
#15670 = EDGE_LOOP ('', (#15330, #15420, #15500, #15570, #15580, #15590, #15660));
#15680 = FACE_OUTER_BOUND ('', #15670, .T.);
#15690 = CARTESIAN_POINT ('', (0.531073052319066, -0.350999999999999, -8.40981417109038));
#15700 = CARTESIAN_POINT ('', (0.849020479697142, 0.000999999999998988, -8.25877300642439));
#15710 = CARTESIAN_POINT ('', (-0.254918571996072, -0.35100000000007, -6.75527174588878));
#15720 = CARTESIAN_POINT ('', (-0.0753748723613303, 0.000999999999915208, -6.31288544181761));
#15730 = CARTESIAN_POINT ('', (-1.97166864756039, -0.351000000000076, -7.39406956080008));
#15740 = CARTESIAN_POINT ('', (-2.0944241108064, 0.000999999999907783, -7.06416791448218));
#15750 = CARTESIAN_POINT ('', (-3.68841872312471, -0.351000000000083, -8.03286737571139));
#15760 = CARTESIAN_POINT ('', (-4.11347334925147, 0.000999999999900351, -7.81545038714675));
#15770 = CARTESIAN_POINT ('', (-3.20167635470538, -0.351000000000013, -9.79875959696134));
#15780 = CARTESIAN_POINT ('', (-3.54102146923454, 0.000999999999982841, -9.89229511559028));
#15790 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#15690, #15700), (#15710, #15720), (#15730, #15740), (#15750, #15760), (#15770, #15780)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.5, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.737277336810124, 0.737277336810124), (1., 1.), (0.737277336810124, 0.737277336810124), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#15800 = ADVANCED_FACE ('', (#15680), #15790, .T.);
#15810 = CARTESIAN_POINT ('', (5.93627020156112, -4.36, -5.93155636672846));
#15820 = CARTESIAN_POINT ('', (6.17288203260653, -4.06, -6.20125101424846));
#15830 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15810, #15820), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15840 = EDGE_CURVE ('', #7610, #10010, #15830, .T.);
#15850 = ORIENTED_EDGE ('', *, *, #15840, .F.);
#15860 = ORIENTED_EDGE ('', *, *, #7650, .F.);
#15870 = CARTESIAN_POINT ('', (-1.55288936360332, -4.06, -7.28703737499158));
#15880 = CARTESIAN_POINT ('', (-1.59464129389134, -4.36, -6.98995695436911));
#15890 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#15870, #15880), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#15900 = EDGE_CURVE ('', #10030, #7530, #15890, .T.);
#15910 = ORIENTED_EDGE ('', *, *, #15900, .F.);
#15920 = ORIENTED_EDGE ('', *, *, #10070, .F.);
#15930 = EDGE_LOOP ('', (#15850, #15860, #15910, #15920));
#15940 = FACE_OUTER_BOUND ('', #15930, .T.);
#15950 = CARTESIAN_POINT ('', (-1.6162417206061, -4.89168787320579, -6.45607962203254));
#15960 = CARTESIAN_POINT ('', (6.19259532380005, -4.34298387443889, -5.91271557286286));
#15970 = CARTESIAN_POINT ('', (-1.6162417206061, -4.06345649724052, -7.2924505019073));
#15980 = CARTESIAN_POINT ('', (6.19259532380005, -3.51475249847362, -6.74908645273762));
#15990 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#15950, #15960), (#15970, #15980)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00141419665593512, 1.17565141784303), (-0.0636613737034106, 7.7832651937039), .UNSPECIFIED.);
#16000 = ADVANCED_FACE ('', (#15940), #15990, .T.);
#16010 = CARTESIAN_POINT ('', (-2.48973393135955, -4.23683081744504, -7.4559574150876));
#16020 = VERTEX_POINT ('', #16010);
#16030 = CARTESIAN_POINT ('', (-2.11624163924392, -4.13933506405173, -7.36621137404159));
#16040 = CARTESIAN_POINT ('', (-2.24323255992789, -4.17183364851617, -7.38405878403414));
#16050 = CARTESIAN_POINT ('', (-2.36849876493437, -4.20433223298061, -7.41415719469393));
#16060 = CARTESIAN_POINT ('', (-2.48973393135955, -4.23683081744504, -7.4559574150876));
#16070 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#16030, #16040, #16050, #16060), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#16080 = EDGE_CURVE ('', #10100, #16020, #16070, .T.);
#16090 = ORIENTED_EDGE ('', *, *, #16080, .F.);
#16100 = ORIENTED_EDGE ('', *, *, #10160, .F.);
#16110 = ORIENTED_EDGE ('', *, *, #15900, .T.);
#16120 = ORIENTED_EDGE ('', *, *, #7580, .F.);
#16130 = CARTESIAN_POINT ('', (-2.48973393135955, -4.23683081744504, -7.4559574150876));
#16140 = CARTESIAN_POINT ('', (-2.51311246542916, -4.27696521460624, -7.42020847210124));
#16150 = CARTESIAN_POINT ('', (-2.53609644770547, -4.31787473073455, -7.38510758037111));
#16160 = CARTESIAN_POINT ('', (-2.55775834460569, -4.36113113427947, -7.35187931243982));
#16170 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#16130, #16140, #16150, #16160), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#16180 = EDGE_CURVE ('', #16020, #7460, #16170, .T.);
#16190 = ORIENTED_EDGE ('', *, *, #16180, .F.);
#16200 = EDGE_LOOP ('', (#16090, #16100, #16110, #16120, #16190));
#16210 = FACE_OUTER_BOUND ('', #16200, .T.);
#16220 = CARTESIAN_POINT ('', (-3.19489537140389, -4.059, -9.82277472881067));
#16230 = CARTESIAN_POINT ('', (-3.48513958918228, -4.36113113427947, -9.90668847230488));
#16240 = CARTESIAN_POINT ('', (-3.70364355378492, -4.05900000000001, -8.06309613395037));
#16250 = CARTESIAN_POINT ('', (-4.07078055065555, -4.36113113427948, -7.88105005261594));
#16260 = CARTESIAN_POINT ('', (-1.99500139294649, -4.05900000000001, -7.40291779706638));
#16270 = CARTESIAN_POINT ('', (-2.10389226969114, -4.36113113427948, -7.12109161080474));
#16280 = CARTESIAN_POINT ('', (-0.286359232108066, -4.05900000000001, -6.74273946018239));
#16290 = CARTESIAN_POINT ('', (-0.13700398872673, -4.36113113427948, -6.36113316899354));
#16300 = CARTESIAN_POINT ('', (0.520224903508629, -4.059, -8.38734138844861));
#16310 = CARTESIAN_POINT ('', (0.791488190804771, -4.36113113427947, -8.25430210377566));
#16320 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#16220, #16230), (#16240, #16250), (#16260, #16270), (#16280, #16290), (#16300, #16310)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 3), (2, 2), (0., 0.5, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.737277336810124, 0.737277336810124), (1., 1.), (0.737277336810124, 0.737277336810124), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#16330 = ADVANCED_FACE ('', (#16210), #16320, .T.);
#16340 = CARTESIAN_POINT ('', (-2.93827481309014, -4.38465419031963, -7.67670117363217));
#16350 = VERTEX_POINT ('', #16340);
#16360 = CARTESIAN_POINT ('', (-2.48973393135955, -4.23683081744504, -7.4559574150876));
#16370 = CARTESIAN_POINT ('', (-2.64768981300169, -4.28610527506991, -7.51040662643328));
#16380 = CARTESIAN_POINT ('', (-2.7987747814018, -4.33537973269477, -7.58475271491997));
#16390 = CARTESIAN_POINT ('', (-2.93827481309014, -4.38465419031963, -7.67670117363217));
#16400 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#16360, #16370, #16380, #16390), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#16410 = EDGE_CURVE ('', #16020, #16350, #16400, .T.);
#16420 = ORIENTED_EDGE ('', *, *, #16410, .F.);
#16430 = ORIENTED_EDGE ('', *, *, #16180, .T.);
#16440 = ORIENTED_EDGE ('', *, *, #9890, .F.);
#16450 = CARTESIAN_POINT ('', (-2.93827481309014, -4.38465419031963, -7.67670117363217));
#16460 = CARTESIAN_POINT ('', (-2.88661030405073, -4.37868186273649, -7.62564154186564));
#16470 = CARTESIAN_POINT ('', (-2.83495860111825, -4.37516077610271, -7.57440056132561));
#16480 = CARTESIAN_POINT ('', (-2.78331910916603, -4.37397701610698, -7.52298665967019));
#16490 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#16450, #16460, #16470, #16480), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#16500 = EDGE_CURVE ('', #16350, #9780, #16490, .T.);
#16510 = ORIENTED_EDGE ('', *, *, #16500, .F.);
#16520 = EDGE_LOOP ('', (#16420, #16430, #16440, #16510));
#16530 = FACE_OUTER_BOUND ('', #16520, .T.);
#16540 = CARTESIAN_POINT ('', (-3.56365069246306, -4.48795427875332, -9.35636404479595));
#16550 = CARTESIAN_POINT ('', (-3.61387672493565, -4.44562776116851, -8.47206311017696));
#16560 = CARTESIAN_POINT ('', (-3.0981658852018, -4.3872358181298, -7.58986776120467));
#16570 = CARTESIAN_POINT ('', (-2.30296431820722, -4.34521163833642, -7.19978409690261));
#16580 = CARTESIAN_POINT ('', (-3.27251272634463, -4.18844287842612, -9.35767134089847));
#16590 = CARTESIAN_POINT ('', (-3.31618753719036, -4.14611636084132, -8.58871400644716));
#16600 = CARTESIAN_POINT ('', (-2.86774332872615, -4.08772441780261, -7.82158761603648));
#16610 = CARTESIAN_POINT ('', (-2.1762637052526, -4.04570023800923, -7.48238442968687));
#16620 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 3, ((#16540, #16550, #16560, #16570), (#16580, #16590, #16600, #16610)), .UNSPECIFIED., .F., .F., .U., (2, 2), (4, 4), (0., 1.), (0.991327668174765, 2.13945926761639), .UNSPECIFIED.);
#16630 = ADVANCED_FACE ('', (#16530), #16620, .T.);
#16640 = ORIENTED_EDGE ('', *, *, #13960, .T.);
#16650 = ORIENTED_EDGE ('', *, *, #14370, .T.);
#16660 = CARTESIAN_POINT ('', (-7.92385051297885, -2.08166817117217E-16, -1.72678824399785));
#16670 = VERTEX_POINT ('', #16660);
#16680 = CARTESIAN_POINT ('', (-5.43678840488109, -8.8630491834607E-14, 4.42890648338448));
#16690 = CARTESIAN_POINT ('', (-7.92385051297885, -2.08166817117217E-16, -1.72678824399785));
#16700 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16680, #16690), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16710 = EDGE_CURVE ('', #14250, #16670, #16700, .T.);
#16720 = ORIENTED_EDGE ('', *, *, #16710, .T.);
#16730 = CARTESIAN_POINT ('', (-7.94417887922506, -0.0500000000000002, -1.77710271604529));
#16740 = CARTESIAN_POINT ('', (-7.92385051297885, -2.08166817117217E-16, -1.72678824399785));
#16750 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16730, #16740), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16760 = EDGE_CURVE ('', #13790, #16670, #16750, .T.);
#16770 = ORIENTED_EDGE ('', *, *, #16760, .F.);
#16780 = EDGE_LOOP ('', (#16640, #16650, #16720, #16770));
#16790 = FACE_OUTER_BOUND ('', #16780, .T.);
#16800 = CARTESIAN_POINT ('', (-5.25567198761259, 0.00100000000000059, 4.87718534670356));
#16810 = CARTESIAN_POINT ('', (-5.25567198761259, -0.0509999999999994, 4.87718534670356));
#16820 = CARTESIAN_POINT ('', (-7.94466653851012, 0.000999999999999779, -1.77830971513069));
#16830 = CARTESIAN_POINT ('', (-7.94466653851012, -0.0510000000000002, -1.77830971513069));
#16840 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#16800, #16810), (#16820, #16830)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.61441387997667, 5.56376877393071), (-0.001, 0.051), .UNSPECIFIED.);
#16850 = ADVANCED_FACE ('', (#16790), #16840, .T.);
#16860 = ORIENTED_EDGE ('', *, *, #13190, .T.);
#16870 = ORIENTED_EDGE ('', *, *, #13530, .T.);
#16880 = CARTESIAN_POINT ('', (2.46648277023094, 9.71445146547012E-16, 7.72564996202893));
#16890 = VERTEX_POINT ('', #16880);
#16900 = CARTESIAN_POINT ('', (6.55393972803709, -8.94492813152681E-14, 2.4939436319355));
#16910 = CARTESIAN_POINT ('', (2.46648277023094, 9.71445146547012E-16, 7.72564996202893));
#16920 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16900, #16910), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16930 = EDGE_CURVE ('', #13410, #16890, #16920, .T.);
#16940 = ORIENTED_EDGE ('', *, *, #16930, .T.);
#16950 = CARTESIAN_POINT ('', (2.43307334238296, -0.0499999999999991, 7.76841207963931));
#16960 = CARTESIAN_POINT ('', (2.46648277023094, 9.78384040450919E-16, 7.72564996202893));
#16970 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#16950, #16960), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#16980 = EDGE_CURVE ('', #13020, #16890, #16970, .T.);
#16990 = ORIENTED_EDGE ('', *, *, #16980, .F.);
#17000 = EDGE_LOOP ('', (#16860, #16870, #16940, #16990));
#17010 = FACE_OUTER_BOUND ('', #17000, .T.);
#17020 = CARTESIAN_POINT ('', (6.85166512770435, 0.00100000000000022, 2.11287249794006));
#17030 = CARTESIAN_POINT ('', (6.85166512770435, -0.0509999999999997, 2.11287249794006));
#17040 = CARTESIAN_POINT ('', (2.43220915546762, 0.00100000000000097, 7.76951818845025));
#17050 = CARTESIAN_POINT ('', (2.43220915546762, -0.050999999999999, 7.76951818845025));
#17060 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17020, #17030), (#17040, #17050)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-1.61451576175752, 5.56387065571169), (-0.001, 0.051), .UNSPECIFIED.);
#17070 = ADVANCED_FACE ('', (#17010), #17060, .T.);
#17080 = ORIENTED_EDGE ('', *, *, #16930, .F.);
#17090 = ORIENTED_EDGE ('', *, *, #13460, .T.);
#17100 = CARTESIAN_POINT ('', (5.45736774274791, -7.70217223333702E-16, -5.99886171803109));
#17110 = VERTEX_POINT ('', #17100);
#17120 = CARTESIAN_POINT ('', (7.49737608903926, 1.87350135405495E-16, 1.48958466359177));
#17130 = CARTESIAN_POINT ('', (5.45736774274791, -7.70217223333702E-16, -5.99886171803109));
#17140 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17120, #17130), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17150 = EDGE_CURVE ('', #13300, #17110, #17140, .T.);
#17160 = ORIENTED_EDGE ('', *, *, #17150, .T.);
#17170 = CARTESIAN_POINT ('', (-2.07213126462667, -8.32667268468867E-16, -7.05706379341826));
#17180 = CARTESIAN_POINT ('', (5.45736774274791, -7.70217223333702E-16, -5.99886171803109));
#17190 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17170, #17180), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17200 = EDGE_CURVE ('', #15440, #17110, #17190, .T.);
#17210 = ORIENTED_EDGE ('', *, *, #17200, .F.);
#17220 = ORIENTED_EDGE ('', *, *, #15490, .F.);
#17230 = CARTESIAN_POINT ('', (-7.92385051297885, -2.08166817117217E-16, -1.72678824399785));
#17240 = CARTESIAN_POINT ('', (-2.45866988476149, -8.46545056276682E-16, -7.2377104866299));
#17250 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17230, #17240), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17260 = EDGE_CURVE ('', #16670, #15350, #17250, .T.);
#17270 = ORIENTED_EDGE ('', *, *, #17260, .F.);
#17280 = ORIENTED_EDGE ('', *, *, #16710, .F.);
#17290 = ORIENTED_EDGE ('', *, *, #14300, .F.);
#17300 = CARTESIAN_POINT ('', (2.46648277023094, 9.71445146547012E-16, 7.72564996202893));
#17310 = CARTESIAN_POINT ('', (-5.03870620427775, 7.49400541621981E-16, 5.74812582303818));
#17320 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17300, #17310), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17330 = EDGE_CURVE ('', #16890, #14160, #17320, .T.);
#17340 = ORIENTED_EDGE ('', *, *, #17330, .F.);
#17350 = EDGE_LOOP ('', (#17080, #17090, #17160, #17210, #17220, #17270, #17280, #17290, #17340));
#17360 = FACE_OUTER_BOUND ('', #17350, .T.);
#17370 = ORIENTED_EDGE ('', *, *, #280, .T.);
#17380 = ORIENTED_EDGE ('', *, *, #6910, .T.);
#17390 = EDGE_LOOP ('', (#17370, #17380));
#17400 = FACE_BOUND ('', #17390, .T.);
#17410 = CARTESIAN_POINT ('', (7.49837608903926, -8.46545056276682E-16, -7.2387104866299));
#17420 = CARTESIAN_POINT ('', (7.49837608903926, 9.71445146547012E-16, 7.72664996202893));
#17430 = CARTESIAN_POINT ('', (-7.92485051297884, -8.46545056276682E-16, -7.2387104866299));
#17440 = CARTESIAN_POINT ('', (-7.92485051297884, 9.71445146547012E-16, 7.72664996202893));
#17450 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17410, #17420), (#17430, #17440)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-12.5511975342117, 2.87202906780638), (-12.1998602739159, 2.76550017474294), .UNSPECIFIED.);
#17460 = ADVANCED_FACE ('', (#17360, #17400), #17450, .T.);
#17470 = CARTESIAN_POINT ('', (5.51110553684211, -0.0500000000000007, -5.99130936359403));
#17480 = CARTESIAN_POINT ('', (5.45736774274791, -7.70217223333702E-16, -5.99886171803109));
#17490 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17470, #17480), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17500 = EDGE_CURVE ('', #14960, #17110, #17490, .T.);
#17510 = ORIENTED_EDGE ('', *, *, #17500, .F.);
#17520 = ORIENTED_EDGE ('', *, *, #15130, .T.);
#17530 = ORIENTED_EDGE ('', *, *, #15560, .T.);
#17540 = ORIENTED_EDGE ('', *, *, #17200, .T.);
#17550 = EDGE_LOOP ('', (#17510, #17520, #17530, #17540));
#17560 = FACE_OUTER_BOUND ('', #17550, .T.);
#17570 = CARTESIAN_POINT ('', (-2.07324971415255, 0.000999999999999161, -7.0572209812482));
#17580 = CARTESIAN_POINT ('', (-2.07324971415255, -0.0510000000000009, -7.0572209812482));
#17590 = CARTESIAN_POINT ('', (5.51222398636798, 0.000999999999999224, -5.99115217576409));
#17600 = CARTESIAN_POINT ('', (5.51222398636798, -0.0510000000000008, -5.99115217576409));
#17610 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17570, #17580), (#17590, #17600)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.7422240316692, 3.91779646173125), (-0.001, 0.051), .UNSPECIFIED.);
#17620 = ADVANCED_FACE ('', (#17560), #17610, .T.);
#17630 = CARTESIAN_POINT ('', (9.29181470832143, -4.35971822281511, 1.10117348005734));
#17640 = VERTEX_POINT ('', #17630);
#17650 = CARTESIAN_POINT ('', (9.29181470832143, -0.460281777184895, 1.10117348005734));
#17660 = VERTEX_POINT ('', #17650);
#17670 = CARTESIAN_POINT ('', (9.29181470832143, -4.35971822281511, 1.10117348005734));
#17680 = CARTESIAN_POINT ('', (12.0462695920129, -3.75868454995451, 1.48828686856142));
#17690 = CARTESIAN_POINT ('', (12.0462695920129, -1.06131545004549, 1.48828686856142));
#17700 = CARTESIAN_POINT ('', (9.29181470832143, -0.460281777184895, 1.10117348005734));
#17710 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#17670, #17680, #17690, #17700), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (4.93709746339923, 7.62927315095994), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.481881455744135, 0.481881455744135, 1.))
   REPRESENTATION_ITEM ('')
);
#17720 = EDGE_CURVE ('', #17640, #17660, #17710, .T.);
#17730 = ORIENTED_EDGE ('', *, *, #17720, .T.);
#17740 = CARTESIAN_POINT ('', (9.29181470832143, -0.460281777184895, 1.10117348005734));
#17750 = CARTESIAN_POINT ('', (9.29181470832143, -4.35971822281511, 1.10117348005734));
#17760 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#17740, #17750), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#17770 = EDGE_CURVE ('', #17660, #17640, #17760, .T.);
#17780 = ORIENTED_EDGE ('', *, *, #17770, .T.);
#17790 = EDGE_LOOP ('', (#17730, #17780));
#17800 = FACE_OUTER_BOUND ('', #17790, .T.);
#17810 = CARTESIAN_POINT ('', (12.0462695920129, -0.459281777184895, 1.48828686856142));
#17820 = CARTESIAN_POINT ('', (12.0462695920129, -4.36071822281511, 1.48828686856142));
#17830 = CARTESIAN_POINT ('', (9.29069625879555, -0.459281777184895, 1.1010162922274));
#17840 = CARTESIAN_POINT ('', (9.29069625879555, -4.36071822281511, 1.1010162922274));
#17850 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#17810, #17820), (#17830, #17840)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.00112944116970226, 2.7815244888102), (0.70914525095751, 4.61058169658772), .UNSPECIFIED.);
#17860 = ADVANCED_FACE ('', (#17800), #17850, .T.);
#17870 = ORIENTED_EDGE ('', *, *, #17770, .F.);
#17880 = CARTESIAN_POINT ('', (8.72992193065639, -0.408432052864664, 1.10191130978705));
#17890 = VERTEX_POINT ('', #17880);
#17900 = CARTESIAN_POINT ('', (9.29181470832143, -0.460281777184895, 1.10117348005734));
#17910 = CARTESIAN_POINT ('', (9.10661677045717, -0.419870806048716, 1.07514560728473));
#17920 = CARTESIAN_POINT ('', (8.91944127660466, -0.401255519224853, 1.07476836226023));
#17930 = CARTESIAN_POINT ('', (8.72992193065639, -0.408432052864664, 1.10191130978705));
#17940 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#17900, #17910, #17920, #17930), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.000564280455001705), .UNSPECIFIED.);
#17950 = EDGE_CURVE ('', #17660, #17890, #17940, .T.);
#17960 = ORIENTED_EDGE ('', *, *, #17950, .T.);
#17970 = CARTESIAN_POINT ('', (7.9200001912459, -0.430623246500117, 1.40709711198846));
#17980 = VERTEX_POINT ('', #17970);
#17990 = CARTESIAN_POINT ('', (8.72992193065639, -0.408432052864664, 1.10191130978705));
#18000 = CARTESIAN_POINT ('', (8.43974909058633, -0.419420034791798, 1.14346984373155));
#18010 = CARTESIAN_POINT ('', (8.16544290369284, -0.426935800096711, 1.24683088421533));
#18020 = CARTESIAN_POINT ('', (7.9200001912459, -0.430623246500117, 1.40709711198846));
#18030 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#17990, #18000, #18010, #18020), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (5.64596472349578, 6.08217098790925), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.984206430756347, 0.984206430756347, 1.))
   REPRESENTATION_ITEM ('')
);
#18040 = EDGE_CURVE ('', #17890, #17980, #18030, .T.);
#18050 = ORIENTED_EDGE ('', *, *, #18040, .T.);
#18060 = CARTESIAN_POINT ('', (7.9200001912459, -0.430623246500117, 1.40709711198846));
#18070 = CARTESIAN_POINT ('', (7.8417563747628, -0.341457886961816, 1.45818781738893));
#18080 = CARTESIAN_POINT ('', (7.7672791874526, -0.25452673900611, 1.51462808286069));
#18090 = CARTESIAN_POINT ('', (7.69693371038151, -0.170255931993288, 1.57614124284944));
#18100 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#18060, #18070, #18080, #18090), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (1.88328841373008, 2.02334442718676), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.998366027327818, 0.998366027327818, 1.))
   REPRESENTATION_ITEM ('')
);
#18110 = EDGE_CURVE ('', #17980, #13320, #18100, .T.);
#18120 = ORIENTED_EDGE ('', *, *, #18110, .T.);
#18130 = ORIENTED_EDGE ('', *, *, #13620, .T.);
#18140 = ORIENTED_EDGE ('', *, *, #8570, .T.);
#18150 = ORIENTED_EDGE ('', *, *, #12450, .T.);
#18160 = ORIENTED_EDGE ('', *, *, #12780, .T.);
#18170 = CARTESIAN_POINT ('', (8.69537256406444, -4.40996827869045, 1.10716790578334));
#18180 = VERTEX_POINT ('', #18170);
#18190 = CARTESIAN_POINT ('', (8.11794695438236, -4.38468797970432, 1.29343747998895));
#18200 = CARTESIAN_POINT ('', (8.3002324011557, -4.38962593186968, 1.20212913464886));
#18210 = CARTESIAN_POINT ('', (8.49418107062743, -4.39894894215252, 1.13957957747097));
#18220 = CARTESIAN_POINT ('', (8.69537256406444, -4.40996827869045, 1.10716790578334));
#18230 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#18190, #18200, #18210, #18220), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (3.65406907566968, 3.95856505802717), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.992288429504516, 0.992288429504516, 1.))
   REPRESENTATION_ITEM ('')
);
#18240 = EDGE_CURVE ('', #12720, #18180, #18230, .T.);
#18250 = ORIENTED_EDGE ('', *, *, #18240, .T.);
#18260 = CARTESIAN_POINT ('', (8.69537256406444, -4.40996827869045, 1.10716790578334));
#18270 = CARTESIAN_POINT ('', (8.8962194738599, -4.42096874224798, 1.07481174604439));
#18280 = CARTESIAN_POINT ('', (9.09491107689884, -4.40268342565586, 1.07350047934128));
#18290 = CARTESIAN_POINT ('', (9.29181470832143, -4.35971822281511, 1.10117348005734));
#18300 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#18260, #18270, #18280, #18290), .UNSPECIFIED., .F., .U., (4, 4), (1.73472347597681E-18, 0.00059858519251744), .UNSPECIFIED.);
#18310 = EDGE_CURVE ('', #18180, #17640, #18300, .T.);
#18320 = ORIENTED_EDGE ('', *, *, #18310, .T.);
#18330 = EDGE_LOOP ('', (#17870, #17960, #18050, #18120, #18130, #18140, #18150, #18160, #18250, #18320));
#18340 = FACE_OUTER_BOUND ('', #18330, .T.);
#18350 = CARTESIAN_POINT ('', (11.0134685064013, 0.254815349032181, 3.08170961754048));
#18360 = CARTESIAN_POINT ('', (11.0134685064013, -4.84604002327345, 3.08170961754048));
#18370 = CARTESIAN_POINT ('', (11.0134685064013, 0.254815349032181, 1.08170961754048));
#18380 = CARTESIAN_POINT ('', (11.0134685064013, -4.84604002327345, 1.08170961754048));
#18390 = CARTESIAN_POINT ('', (9.0134685064013, 0.254815349032181, 1.08170961754048));
#18400 = CARTESIAN_POINT ('', (9.0134685064013, -4.84604002327345, 1.08170961754048));
#18410 = CARTESIAN_POINT ('', (7.0134685064013, 0.254815349032181, 1.08170961754048));
#18420 = CARTESIAN_POINT ('', (7.0134685064013, -4.84604002327345, 1.08170961754048));
#18430 = CARTESIAN_POINT ('', (7.0134685064013, 0.254815349032181, 3.08170961754048));
#18440 = CARTESIAN_POINT ('', (7.0134685064013, -4.84604002327345, 3.08170961754048));
#18450 = CARTESIAN_POINT ('', (7.0134685064013, 0.254815349032181, 5.08170961754048));
#18460 = CARTESIAN_POINT ('', (7.0134685064013, -4.84604002327345, 5.08170961754048));
#18470 = CARTESIAN_POINT ('', (9.0134685064013, 0.254815349032181, 5.08170961754048));
#18480 = CARTESIAN_POINT ('', (9.0134685064013, -4.84604002327345, 5.08170961754048));
#18490 = CARTESIAN_POINT ('', (11.0134685064013, 0.254815349032181, 5.08170961754048));
#18500 = CARTESIAN_POINT ('', (11.0134685064013, -4.84604002327345, 5.08170961754048));
#18510 = CARTESIAN_POINT ('', (11.0134685064013, 0.254815349032181, 3.08170961754048));
#18520 = CARTESIAN_POINT ('', (11.0134685064013, -4.84604002327345, 3.08170961754048));
#18530 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#18350, #18360), (#18370, #18380), (#18390, #18400), (#18410, #18420), (#18430, #18440), (#18450, #18460), (#18470, #18480), (#18490, #18500), (#18510, #18520)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#18540 = ADVANCED_FACE ('', (#18340), #18530, .T.);
#18550 = ORIENTED_EDGE ('', *, *, #11220, .T.);
#18560 = CARTESIAN_POINT ('', (7.58034239559917, -0.72698167886484, -4.87046183205387));
#18570 = CARTESIAN_POINT ('', (8.72992193065639, -0.408432052864664, 1.10191130978705));
#18580 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18560, #18570), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18590 = EDGE_CURVE ('', #11060, #17890, #18580, .T.);
#18600 = ORIENTED_EDGE ('', *, *, #18590, .T.);
#18610 = ORIENTED_EDGE ('', *, *, #17950, .F.);
#18620 = ORIENTED_EDGE ('', *, *, #17720, .F.);
#18630 = ORIENTED_EDGE ('', *, *, #18310, .F.);
#18640 = CARTESIAN_POINT ('', (7.53560258686973, -4.08730840655585, -4.94795345389417));
#18650 = CARTESIAN_POINT ('', (8.69537256406444, -4.40996827869045, 1.10716790578334));
#18660 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18640, #18650), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18670 = EDGE_CURVE ('', #11130, #18180, #18660, .T.);
#18680 = ORIENTED_EDGE ('', *, *, #18670, .F.);
#18690 = EDGE_LOOP ('', (#18550, #18600, #18610, #18620, #18630, #18680));
#18700 = FACE_OUTER_BOUND ('', #18690, .T.);
#18710 = CARTESIAN_POINT ('', (5.97297707293832, -2.41, -4.64540420373883));
#18720 = CARTESIAN_POINT ('', (6.97358851903437, -2.41, 2.47431618368404));
#18730 = CARTESIAN_POINT ('', (5.97297707293832, -4.08954880925838, -4.64540420373883));
#18740 = CARTESIAN_POINT ('', (6.97358851903437, -4.46582810818768, 2.47431618368404));
#18750 = CARTESIAN_POINT ('', (7.6216678400335, -4.08954880925838, -4.96587722471929));
#18760 = CARTESIAN_POINT ('', (8.99164527452719, -4.46582810818769, 2.08204568769389));
#18770 = CARTESIAN_POINT ('', (9.27035860712869, -4.08954880925839, -5.28635024569976));
#18780 = CARTESIAN_POINT ('', (11.00970203002, -4.46582810818769, 1.68977519170373));
#18790 = CARTESIAN_POINT ('', (9.27035860712869, -2.41, -5.28635024569976));
#18800 = CARTESIAN_POINT ('', (11.00970203002, -2.41, 1.68977519170373));
#18810 = CARTESIAN_POINT ('', (9.27035860712869, -0.730451190741619, -5.28635024569976));
#18820 = CARTESIAN_POINT ('', (11.00970203002, -0.354171891812315, 1.68977519170373));
#18830 = CARTESIAN_POINT ('', (7.62166784003351, -0.730451190741618, -4.9658772247193));
#18840 = CARTESIAN_POINT ('', (8.99164527452719, -0.354171891812313, 2.08204568769389));
#18850 = CARTESIAN_POINT ('', (5.97297707293832, -0.730451190741616, -4.64540420373883));
#18860 = CARTESIAN_POINT ('', (6.97358851903437, -0.354171891812311, 2.47431618368404));
#18870 = CARTESIAN_POINT ('', (5.97297707293832, -2.41, -4.64540420373883));
#18880 = CARTESIAN_POINT ('', (6.97358851903437, -2.41, 2.47431618368404));
#18890 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#18710, #18720), (#18730, #18740), (#18750, #18760), (#18770, #18780), (#18790, #18800), (#18810, #18820), (#18830, #18840), (#18850, #18860), (#18870, #18880)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#18900 = ADVANCED_FACE ('', (#18700), #18890, .T.);
#18910 = ORIENTED_EDGE ('', *, *, #10530, .T.);
#18920 = CARTESIAN_POINT ('', (6.27823708690417, -0.843618809591133, -6.18644432697736));
#18930 = CARTESIAN_POINT ('', (7.9200001912459, -0.430623246500117, 1.40709711198846));
#18940 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#18920, #18930), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#18950 = EDGE_CURVE ('', #10420, #17980, #18940, .T.);
#18960 = ORIENTED_EDGE ('', *, *, #18950, .T.);
#18970 = ORIENTED_EDGE ('', *, *, #18040, .F.);
#18980 = ORIENTED_EDGE ('', *, *, #18590, .F.);
#18990 = ORIENTED_EDGE ('', *, *, #11100, .T.);
#19000 = EDGE_LOOP ('', (#18910, #18960, #18970, #18980, #18990));
#19010 = FACE_OUTER_BOUND ('', #19000, .T.);
#19020 = CARTESIAN_POINT ('', (6.26218274895009, -0.84437508083878, -6.187455249209));
#19030 = CARTESIAN_POINT ('', (8.74537300577561, -0.734627030779431, -6.19237339535542));
#19040 = CARTESIAN_POINT ('', (6.26218274895009, -0.50380159337683, 1.41241572616016));
#19050 = CARTESIAN_POINT ('', (8.74537300577561, -0.394053543317481, 1.40749758001374));
#19060 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#19020, #19030), (#19040, #19050)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.325166633951878, 7.93266485232962), (-2.59157766374245, -0.105958490528957), .UNSPECIFIED.);
#19070 = ADVANCED_FACE ('', (#19010), #19060, .T.);
#19080 = ORIENTED_EDGE ('', *, *, #17150, .F.);
#19090 = ORIENTED_EDGE ('', *, *, #13380, .T.);
#19100 = ORIENTED_EDGE ('', *, *, #18110, .F.);
#19110 = ORIENTED_EDGE ('', *, *, #18950, .F.);
#19120 = ORIENTED_EDGE ('', *, *, #10460, .T.);
#19130 = ORIENTED_EDGE ('', *, *, #15000, .T.);
#19140 = ORIENTED_EDGE ('', *, *, #17500, .T.);
#19150 = EDGE_LOOP ('', (#19080, #19090, #19100, #19110, #19120, #19130, #19140));
#19160 = FACE_OUTER_BOUND ('', #19150, .T.);
#19170 = CARTESIAN_POINT ('', (7.10387135429231, -1.68920931808683, -6.36401683133564));
#19180 = CARTESIAN_POINT ('', (8.15638285566997, -0.601325518195177, 1.62713728249151));
#19190 = CARTESIAN_POINT ('', (5.40825706994456, -0.0487275530729473, -6.36401683133564));
#19200 = CARTESIAN_POINT ('', (6.46076857132222, 1.03915624681871, 1.62713728249151));
#19210 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#19170, #19180), (#19190, #19200)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.735106522678604, 1.62419172523902), (-8.59664852627734, -0.463394829660246), .UNSPECIFIED.);
#19220 = ADVANCED_FACE ('', (#19160), #19210, .T.);
#19230 = ORIENTED_EDGE ('', *, *, #10870, .T.);
#19240 = ORIENTED_EDGE ('', *, *, #7720, .T.);
#19250 = ORIENTED_EDGE ('', *, *, #15840, .T.);
#19260 = ORIENTED_EDGE ('', *, *, #10720, .T.);
#19270 = CARTESIAN_POINT ('', (6.28160185282904, -3.95884231195653, -6.1859714399657));
#19280 = CARTESIAN_POINT ('', (7.90675711418879, -4.373977016107, 1.3510682744586));
#19290 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#19270, #19280), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#19300 = EDGE_CURVE ('', #10630, #10830, #19290, .T.);
#19310 = ORIENTED_EDGE ('', *, *, #19300, .T.);
#19320 = EDGE_LOOP ('', (#19230, #19240, #19250, #19260, #19310));
#19330 = FACE_OUTER_BOUND ('', #19320, .T.);
#19340 = CARTESIAN_POINT ('', (5.88687328792538, -4.32495360235793, -6.24585374201332));
#19350 = CARTESIAN_POINT ('', (6.88763852124649, -5.35935207059297, 1.35241877164691));
#19360 = CARTESIAN_POINT ('', (7.11415873784551, -3.1375730644337, -6.24585374201332));
#19370 = CARTESIAN_POINT ('', (8.11492397116662, -4.17197153266874, 1.35241877164691));
#19380 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#19340, #19350), (#19360, #19370)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.224144598765045, 1.48351523780278), (-8.28330656259139, -0.549920730036814), .UNSPECIFIED.);
#19390 = ADVANCED_FACE ('', (#19330), #19380, .T.);
#19400 = ORIENTED_EDGE ('', *, *, #10670, .T.);
#19410 = ORIENTED_EDGE ('', *, *, #11270, .T.);
#19420 = ORIENTED_EDGE ('', *, *, #18670, .T.);
#19430 = ORIENTED_EDGE ('', *, *, #18240, .F.);
#19440 = ORIENTED_EDGE ('', *, *, #12870, .T.);
#19450 = ORIENTED_EDGE ('', *, *, #19300, .F.);
#19460 = EDGE_LOOP ('', (#19400, #19410, #19420, #19430, #19440, #19450));
#19470 = FACE_OUTER_BOUND ('', #19460, .T.);
#19480 = CARTESIAN_POINT ('', (6.28056260655478, -3.95848089367267, -6.19313856716434));
#19490 = CARTESIAN_POINT ('', (6.2613689301986, -4.27078393437767, 1.357817327572));
#19500 = CARTESIAN_POINT ('', (8.71498658222424, -4.10809693902798, -6.19313856716434));
#19510 = CARTESIAN_POINT ('', (8.69579290586806, -4.42039997973298, 1.357817327572));
#19520 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#19480, #19490), (#19500, #19510)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.121777447444396, 2.56079467869596), (-7.93884934405239, -0.381413501737937), .UNSPECIFIED.);
#19530 = ADVANCED_FACE ('', (#19470), #19520, .T.);
#19540 = CARTESIAN_POINT ('', (-3.69226314645738, -4.3597182228151, -8.59753432469291));
#19550 = VERTEX_POINT ('', #19540);
#19560 = CARTESIAN_POINT ('', (-3.69226314645738, -0.460281777184896, -8.59753432469291));
#19570 = VERTEX_POINT ('', #19560);
#19580 = CARTESIAN_POINT ('', (-3.69226314645738, -4.3597182228151, -8.59753432469291));
#19590 = CARTESIAN_POINT ('', (-4.73424055971352, -3.75868454995451, -11.1765189217999));
#19600 = CARTESIAN_POINT ('', (-4.73424055971352, -1.06131545004549, -11.1765189217999));
#19610 = CARTESIAN_POINT ('', (-3.69226314645738, -0.460281777184896, -8.59753432469291));
#19620 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#19580, #19590, #19600, #19610), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (4.93709746339923, 7.62927315095994), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.481881455744135, 0.481881455744135, 1.))
   REPRESENTATION_ITEM ('')
);
#19630 = EDGE_CURVE ('', #19550, #19570, #19620, .T.);
#19640 = ORIENTED_EDGE ('', *, *, #19630, .T.);
#19650 = CARTESIAN_POINT ('', (-3.69226314645738, -0.460281777184896, -8.59753432469291));
#19660 = CARTESIAN_POINT ('', (-3.69226314645738, -4.3597182228151, -8.59753432469291));
#19670 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#19650, #19660), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#19680 = EDGE_CURVE ('', #19570, #19550, #19670, .T.);
#19690 = ORIENTED_EDGE ('', *, *, #19680, .T.);
#19700 = EDGE_LOOP ('', (#19640, #19690));
#19710 = FACE_OUTER_BOUND ('', #19700, .T.);
#19720 = CARTESIAN_POINT ('', (-4.73424055971352, -0.459281777184897, -11.1765189217999));
#19730 = CARTESIAN_POINT ('', (-4.73424055971352, -4.3607182228151, -11.1765189217999));
#19740 = CARTESIAN_POINT ('', (-3.69177548717232, -0.459281777184895, -8.5963273256075));
#19750 = CARTESIAN_POINT ('', (-3.69177548717232, -4.3607182228151, -8.5963273256075));
#19760 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#19720, #19730), (#19740, #19750)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.0013017904479824, 2.7815244888102), (0.70914525095751, 4.61058169658772), .UNSPECIFIED.);
#19770 = ADVANCED_FACE ('', (#19710), #19760, .T.);
#19780 = ORIENTED_EDGE ('', *, *, #19680, .F.);
#19790 = CARTESIAN_POINT ('', (-3.41067777833526, -0.408432052864666, -8.11128981989684));
#19800 = VERTEX_POINT ('', #19790);
#19810 = CARTESIAN_POINT ('', (-3.69226314645738, -0.460281777184896, -8.59753432469291));
#19820 = CARTESIAN_POINT ('', (-3.62038285828609, -0.418819771333094, -8.41962436842036));
#19830 = CARTESIAN_POINT ('', (-3.52431299973267, -0.401536529893015, -8.25595156812334));
#19840 = CARTESIAN_POINT ('', (-3.41067777833526, -0.408432052864666, -8.11128981989684));
#19850 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#19810, #19820, #19830, #19840), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#19860 = EDGE_CURVE ('', #19570, #19800, #19850, .T.);
#19870 = ORIENTED_EDGE ('', *, *, #19860, .T.);
#19880 = CARTESIAN_POINT ('', (-2.74141825104927, -0.430623246500117, -7.56246991959078));
#19890 = VERTEX_POINT ('', #19880);
#19900 = CARTESIAN_POINT ('', (-3.41067777833526, -0.408432052864666, -8.11128981989684));
#19910 = CARTESIAN_POINT ('', (-3.22960061216026, -0.4194200347918, -7.88077203588014));
#19920 = CARTESIAN_POINT ('', (-3.00293423189297, -0.426935800096711, -7.69489642985703));
#19930 = CARTESIAN_POINT ('', (-2.74141825104927, -0.430623246500117, -7.56246991959078));
#19940 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#19900, #19910, #19920, #19930), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (5.64596472349578, 6.08217098790925), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.984206430756347, 0.984206430756347, 1.))
   REPRESENTATION_ITEM ('')
);
#19950 = EDGE_CURVE ('', #19800, #19890, #19940, .T.);
#19960 = ORIENTED_EDGE ('', *, *, #19950, .T.);
#19970 = CARTESIAN_POINT ('', (-2.74141825104927, -0.430623246500117, -7.56246991959078));
#19980 = CARTESIAN_POINT ('', (-2.66035284088265, -0.345485392676272, -7.52142000234659));
#19990 = CARTESIAN_POINT ('', (-2.57648603108334, -0.260347538852427, -7.48590344733204));
#20000 = CARTESIAN_POINT ('', (-2.49037133238951, -0.175209685028582, -7.45689614708613));
#20010 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#19970, #19980, #19990, #20000), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#20020 = EDGE_CURVE ('', #19890, #15260, #20010, .T.);
#20030 = ORIENTED_EDGE ('', *, *, #20020, .T.);
#20040 = ORIENTED_EDGE ('', *, *, #15650, .T.);
#20050 = ORIENTED_EDGE ('', *, *, #10230, .T.);
#20060 = ORIENTED_EDGE ('', *, *, #16080, .T.);
#20070 = ORIENTED_EDGE ('', *, *, #16410, .T.);
#20080 = CARTESIAN_POINT ('', (-3.38885074936907, -4.40996827869045, -8.08399748874169));
#20090 = VERTEX_POINT ('', #20080);
#20100 = CARTESIAN_POINT ('', (-2.93827481309014, -4.38465419031963, -7.67670117363217));
#20110 = CARTESIAN_POINT ('', (-3.10800847007358, -4.39309221977657, -7.78850417114361));
#20120 = CARTESIAN_POINT ('', (-3.26052554693801, -4.40153024923351, -7.92638382745575));
#20130 = CARTESIAN_POINT ('', (-3.38885074936907, -4.40996827869045, -8.08399748874169));
#20140 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#20100, #20110, #20120, #20130), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#20150 = EDGE_CURVE ('', #16350, #20090, #20140, .T.);
#20160 = ORIENTED_EDGE ('', *, *, #20150, .T.);
#20170 = CARTESIAN_POINT ('', (-3.38885074936907, -4.40996827869045, -8.08399748874169));
#20180 = CARTESIAN_POINT ('', (-3.5121224408908, -4.42052570637731, -8.23540424490159));
#20190 = CARTESIAN_POINT ('', (-3.61588326056634, -4.40377568775219, -8.40848747325856));
#20200 = CARTESIAN_POINT ('', (-3.69226314645738, -4.3597182228151, -8.59753432469291));
#20210 = B_SPLINE_CURVE_WITH_KNOTS ('', 3, (#20170, #20180, #20190, #20200), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.), .UNSPECIFIED.);
#20220 = EDGE_CURVE ('', #20090, #19550, #20210, .T.);
#20230 = ORIENTED_EDGE ('', *, *, #20220, .T.);
#20240 = EDGE_LOOP ('', (#19780, #19870, #19960, #20030, #20040, #20050, #20060, #20070, #20160, #20230));
#20250 = FACE_OUTER_BOUND ('', #20240, .T.);
#20260 = CARTESIAN_POINT ('', (0.162104562676177, 0.24932191710629, -9.34674751152474));
#20270 = CARTESIAN_POINT ('', (0.162104562676177, -4.84505730851218, -9.34674751152474));
#20280 = CARTESIAN_POINT ('', (0.162104562676181, 0.24932191710629, -11.3467475115247));
#20290 = CARTESIAN_POINT ('', (0.162104562676181, -4.84505730851218, -11.3467475115247));
#20300 = CARTESIAN_POINT ('', (-1.8378954373238, 0.24932191710629, -11.3467475115247));
#20310 = CARTESIAN_POINT ('', (-1.8378954373238, -4.84505730851218, -11.3467475115247));
#20320 = CARTESIAN_POINT ('', (-3.83789543732379, 0.24932191710629, -11.3467475115247));
#20330 = CARTESIAN_POINT ('', (-3.83789543732379, -4.84505730851218, -11.3467475115247));
#20340 = CARTESIAN_POINT ('', (-3.83789543732379, 0.24932191710629, -9.34674751152475));
#20350 = CARTESIAN_POINT ('', (-3.83789543732379, -4.84505730851218, -9.34674751152475));
#20360 = CARTESIAN_POINT ('', (-3.8378954373238, 0.24932191710629, -7.34674751152476));
#20370 = CARTESIAN_POINT ('', (-3.8378954373238, -4.84505730851218, -7.34674751152476));
#20380 = CARTESIAN_POINT ('', (-1.83789543732381, 0.24932191710629, -7.34674751152476));
#20390 = CARTESIAN_POINT ('', (-1.83789543732381, -4.84505730851218, -7.34674751152476));
#20400 = CARTESIAN_POINT ('', (0.162104562676173, 0.24932191710629, -7.34674751152476));
#20410 = CARTESIAN_POINT ('', (0.162104562676173, -4.84505730851218, -7.34674751152476));
#20420 = CARTESIAN_POINT ('', (0.162104562676177, 0.24932191710629, -9.34674751152474));
#20430 = CARTESIAN_POINT ('', (0.162104562676177, -4.84505730851218, -9.34674751152474));
#20440 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#20260, #20270), (#20280, #20290), (#20300, #20310), (#20320, #20330), (#20340, #20350), (#20360, #20370), (#20380, #20390), (#20400, #20410), (#20420, #20430)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#20450 = ADVANCED_FACE ('', (#20250), #20440, .T.);
#20460 = CARTESIAN_POINT ('', (-5.59955156186402, -4.35971822281511, 7.49636084463564));
#20470 = CARTESIAN_POINT ('', (-7.31202903229933, -3.7586845499545, 9.68823205323852));
#20480 = CARTESIAN_POINT ('', (-7.31202903229933, -1.0613154500455, 9.68823205323852));
#20490 = CARTESIAN_POINT ('', (-5.59955156186402, -0.460281777184895, 7.49636084463564));
#20500 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#20460, #20470, #20480, #20490), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (4.93709746339923, 7.62927315095994), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.481881455744136, 0.481881455744136, 1.))
   REPRESENTATION_ITEM ('')
);
#20510 = EDGE_CURVE ('', #3660, #3750, #20500, .T.);
#20520 = ORIENTED_EDGE ('', *, *, #20510, .T.);
#20530 = ORIENTED_EDGE ('', *, *, #3790, .T.);
#20540 = EDGE_LOOP ('', (#20520, #20530));
#20550 = FACE_OUTER_BOUND ('', #20540, .T.);
#20560 = CARTESIAN_POINT ('', (-7.31202903229933, -0.459281777184893, 9.68823205323852));
#20570 = CARTESIAN_POINT ('', (-7.31202903229933, -4.3607182228151, 9.68823205323852));
#20580 = CARTESIAN_POINT ('', (-5.59868737494868, -0.459281777184894, 7.4952547358247));
#20590 = CARTESIAN_POINT ('', (-5.59868737494868, -4.3607182228151, 7.4952547358247));
#20600 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#20560, #20570), (#20580, #20590)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.0014036722289319, 2.7815244888102), (0.70914525095751, 4.61058169658772), .UNSPECIFIED.);
#20610 = ADVANCED_FACE ('', (#20550), #20600, .T.);
#20620 = ORIENTED_EDGE ('', *, *, #11550, .T.);
#20630 = CARTESIAN_POINT ('', (-8.00811487252075, -0.72698167886484, -4.1295381679461));
#20640 = CARTESIAN_POINT ('', (-3.41067777833526, -0.408432052864665, -8.11128981989684));
#20650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#20630, #20640), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#20660 = EDGE_CURVE ('', #11390, #19800, #20650, .T.);
#20670 = ORIENTED_EDGE ('', *, *, #20660, .T.);
#20680 = ORIENTED_EDGE ('', *, *, #19860, .F.);
#20690 = ORIENTED_EDGE ('', *, *, #19630, .F.);
#20700 = ORIENTED_EDGE ('', *, *, #20220, .F.);
#20710 = CARTESIAN_POINT ('', (-8.05285468125019, -4.08730840655585, -4.05204654610579));
#20720 = CARTESIAN_POINT ('', (-3.38885074936907, -4.40996827869045, -8.08399748874169));
#20730 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#20710, #20720), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#20740 = EDGE_CURVE ('', #11460, #20090, #20730, .T.);
#20750 = ORIENTED_EDGE ('', *, *, #20740, .F.);
#20760 = EDGE_LOOP ('', (#20620, #20670, #20680, #20690, #20700, #20750));
#20770 = FACE_OUTER_BOUND ('', #20760, .T.);
#20780 = CARTESIAN_POINT ('', (-7.00971465401038, -2.41, -2.84990084605424));
#20790 = CARTESIAN_POINT ('', (-0.542150758632202, -2.40999999999999, -7.90291555602706));
#20800 = CARTESIAN_POINT ('', (-7.00971465401038, -4.08953631878497, -2.84990084605424));
#20810 = CARTESIAN_POINT ('', (-0.542150758632201, -4.5190813972978, -7.90291555602706));
#20820 = CARTESIAN_POINT ('', (-8.11158962046675, -4.08953631878497, -4.11746299617334));
#20830 = CARTESIAN_POINT ('', (-1.92583265220535, -4.5190813972978, -9.49465949203734));
#20840 = CARTESIAN_POINT ('', (-9.21346458692311, -4.08953631878497, -5.38502514629244));
#20850 = CARTESIAN_POINT ('', (-3.30951454577849, -4.5190813972978, -11.0864034280476));
#20860 = CARTESIAN_POINT ('', (-9.21346458692311, -2.41, -5.38502514629244));
#20870 = CARTESIAN_POINT ('', (-3.30951454577849, -2.40999999999999, -11.0864034280476));
#20880 = CARTESIAN_POINT ('', (-9.21346458692311, -0.730463681215028, -5.38502514629244));
#20890 = CARTESIAN_POINT ('', (-3.30951454577849, -0.300918602702193, -11.0864034280476));
#20900 = CARTESIAN_POINT ('', (-8.11158962046675, -0.730463681215028, -4.11746299617334));
#20910 = CARTESIAN_POINT ('', (-1.92583265220535, -0.300918602702193, -9.49465949203733));
#20920 = CARTESIAN_POINT ('', (-7.00971465401038, -0.730463681215028, -2.84990084605424));
#20930 = CARTESIAN_POINT ('', (-0.542150758632203, -0.300918602702193, -7.90291555602706));
#20940 = CARTESIAN_POINT ('', (-7.00971465401038, -2.41, -2.84990084605424));
#20950 = CARTESIAN_POINT ('', (-0.542150758632202, -2.40999999999999, -7.90291555602706));
#20960 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#20780, #20790), (#20800, #20810), (#20820, #20830), (#20840, #20850), (#20860, #20870), (#20880, #20890), (#20900, #20910), (#20920, #20930), (#20940, #20950)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#20970 = ADVANCED_FACE ('', (#20770), #20960, .T.);
#20980 = ORIENTED_EDGE ('', *, *, #9180, .T.);
#20990 = CARTESIAN_POINT ('', (-8.49673648971261, -0.843618809591134, -2.3438906447519));
#21000 = CARTESIAN_POINT ('', (-2.74141825104927, -0.430623246500117, -7.56246991959078));
#21010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#20990, #21000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#21020 = EDGE_CURVE ('', #9140, #19890, #21010, .T.);
#21030 = ORIENTED_EDGE ('', *, *, #21020, .T.);
#21040 = ORIENTED_EDGE ('', *, *, #19950, .F.);
#21050 = ORIENTED_EDGE ('', *, *, #20660, .F.);
#21060 = ORIENTED_EDGE ('', *, *, #11430, .T.);
#21070 = EDGE_LOOP ('', (#20980, #21030, #21040, #21050, #21060));
#21080 = FACE_OUTER_BOUND ('', #21070, .T.);
#21090 = CARTESIAN_POINT ('', (-8.72677985600616, -0.496643711212808, -8.11771019480757));
#21100 = CARTESIAN_POINT ('', (-2.73476885872923, -0.397144118261487, -8.11166473945736));
#21110 = CARTESIAN_POINT ('', (-8.72677985600616, -0.847502979233638, -2.34306588284362));
#21120 = CARTESIAN_POINT ('', (-2.73476885872923, -0.748003386282317, -2.33702042749341));
#21130 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#21090, #21100), (#21110, #21120)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-6.20566244753253, -0.420369096659678), (-5.80203591385237, 0.190804189805963), .UNSPECIFIED.);
#21140 = ADVANCED_FACE ('', (#21080), #21130, .T.);
#21150 = ORIENTED_EDGE ('', *, *, #9670, .T.);
#21160 = ORIENTED_EDGE ('', *, *, #13830, .T.);
#21170 = ORIENTED_EDGE ('', *, *, #16760, .T.);
#21180 = ORIENTED_EDGE ('', *, *, #17260, .T.);
#21190 = ORIENTED_EDGE ('', *, *, #15410, .F.);
#21200 = ORIENTED_EDGE ('', *, *, #15320, .T.);
#21210 = ORIENTED_EDGE ('', *, *, #20020, .F.);
#21220 = ORIENTED_EDGE ('', *, *, #21020, .F.);
#21230 = EDGE_LOOP ('', (#21150, #21160, #21170, #21180, #21190, #21200, #21210, #21220));
#21240 = FACE_OUTER_BOUND ('', #21230, .T.);
#21250 = CARTESIAN_POINT ('', (-2.27658460077852, -0.253335076002429, -7.78010799030339));
#21260 = CARTESIAN_POINT ('', (-4.34439342522738, 2.6509114920077, -1.58182529058928));
#21270 = CARTESIAN_POINT ('', (-6.68429633138579, -3.39160346979836, -7.78010799030339));
#21280 = CARTESIAN_POINT ('', (-8.75210515583465, -0.48735690178823, -1.58182529058928));
#21290 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#21250, #21260), (#21270, #21280)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-6.35244545405416, -0.941655196464104), (-0.731662469314704, 6.41880533970608), .UNSPECIFIED.);
#21300 = ADVANCED_FACE ('', (#21240), #21290, .T.);
#21310 = ORIENTED_EDGE ('', *, *, #9820, .T.);
#21320 = ORIENTED_EDGE ('', *, *, #7430, .T.);
#21330 = ORIENTED_EDGE ('', *, *, #14590, .T.);
#21340 = ORIENTED_EDGE ('', *, *, #9390, .T.);
#21350 = CARTESIAN_POINT ('', (-8.49800934050983, -3.95884231195653, -2.34704106102646));
#21360 = CARTESIAN_POINT ('', (-2.78331910916603, -4.37397701610698, -7.52298665967019));
#21370 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#21350, #21360), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#21380 = EDGE_CURVE ('', #9280, #9780, #21370, .T.);
#21390 = ORIENTED_EDGE ('', *, *, #21380, .T.);
#21400 = EDGE_LOOP ('', (#21310, #21320, #21330, #21340, #21390));
#21410 = FACE_OUTER_BOUND ('', #21400, .T.);
#21420 = CARTESIAN_POINT ('', (-6.72329975247608, -1.46385040329727, -7.67016055230207));
#21430 = CARTESIAN_POINT ('', (-8.59143800795279, -4.0876587809807, -2.07039286938699));
#21440 = CARTESIAN_POINT ('', (-2.73262932903393, -4.30518750186004, -7.67016055230207));
#21450 = CARTESIAN_POINT ('', (-4.60076758451064, -6.92899587954347, -2.07039286938699));
#21460 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#21420, #21430), (#21440, #21450)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.348471125799769, 5.24731251292439), (0.260783386188638, 6.72079182635319), .UNSPECIFIED.);
#21470 = ADVANCED_FACE ('', (#21410), #21460, .T.);
#21480 = ORIENTED_EDGE ('', *, *, #9320, .T.);
#21490 = ORIENTED_EDGE ('', *, *, #11600, .T.);
#21500 = ORIENTED_EDGE ('', *, *, #20740, .T.);
#21510 = ORIENTED_EDGE ('', *, *, #20150, .F.);
#21520 = ORIENTED_EDGE ('', *, *, #16500, .T.);
#21530 = ORIENTED_EDGE ('', *, *, #21380, .F.);
#21540 = EDGE_LOOP ('', (#21480, #21490, #21500, #21510, #21520, #21530));
#21550 = FACE_OUTER_BOUND ('', #21540, .T.);
#21560 = CARTESIAN_POINT ('', (-8.72321185006428, -3.95759315960041, -2.34605949392438));
#21570 = CARTESIAN_POINT ('', (-2.78012473742439, -3.9884728281844, -2.34377494085949));
#21580 = CARTESIAN_POINT ('', (-8.72321185006428, -4.38233051108354, -8.08711618051391));
#21590 = CARTESIAN_POINT ('', (-2.78012473742439, -4.41321017966753, -8.08483162744902));
#21600 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#21560, #21570), (#21580, #21590)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.420922971052775, 6.17766976906112), (-5.82103954700765, 0.122128227970685), .UNSPECIFIED.);
#21610 = ADVANCED_FACE ('', (#21550), #21600, .T.);
#21620 = ORIENTED_EDGE ('', *, *, #11880, .T.);
#21630 = CARTESIAN_POINT ('', (0.427772476921648, -0.726981678864838, 9.));
#21640 = CARTESIAN_POINT ('', (-5.3192441523211, -0.408432052864664, 7.00937851010985));
#21650 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#21630, #21640), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#21660 = EDGE_CURVE ('', #11720, #3300, #21650, .T.);
#21670 = ORIENTED_EDGE ('', *, *, #21660, .T.);
#21680 = ORIENTED_EDGE ('', *, *, #3860, .F.);
#21690 = ORIENTED_EDGE ('', *, *, #20510, .F.);
#21700 = ORIENTED_EDGE ('', *, *, #3720, .F.);
#21710 = CARTESIAN_POINT ('', (0.517252094380527, -4.08730840655585, 9.));
#21720 = CARTESIAN_POINT ('', (-5.30652181469534, -4.40996827869045, 6.97682958295841));
#21730 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#21710, #21720), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#21740 = EDGE_CURVE ('', #11790, #3570, #21730, .T.);
#21750 = ORIENTED_EDGE ('', *, *, #21740, .F.);
#21760 = EDGE_LOOP ('', (#21620, #21670, #21680, #21690, #21700, #21750));
#21770 = FACE_OUTER_BOUND ('', #21760, .T.);
#21780 = CARTESIAN_POINT ('', (1.24437472267449, -2.41, 7.57941881762058));
#21790 = CARTESIAN_POINT ('', (-6.44950854422631, -2.41000000000001, 4.47088819927843));
#21800 = CARTESIAN_POINT ('', (1.24437472267449, -4.07781787700464, 7.57941881762059));
#21810 = CARTESIAN_POINT ('', (-6.44950854422632, -4.51210794365275, 4.47088819927844));
#21820 = CARTESIAN_POINT ('', (0.701386334487444, -4.07781787700463, 9.1563716010451));
#21830 = CARTESIAN_POINT ('', (-7.13388794791106, -4.51210794365274, 6.45847030791699));
#21840 = CARTESIAN_POINT ('', (0.1583979463004, -4.07781787700463, 10.7333243844696));
#21850 = CARTESIAN_POINT ('', (-7.8182673515958, -4.51210794365273, 8.44605241655554));
#21860 = CARTESIAN_POINT ('', (0.158397946300402, -2.40999999999998, 10.7333243844696));
#21870 = CARTESIAN_POINT ('', (-7.81826735159579, -2.40999999999999, 8.44605241655553));
#21880 = CARTESIAN_POINT ('', (0.158397946300403, -0.742182122995339, 10.7333243844696));
#21890 = CARTESIAN_POINT ('', (-7.81826735159579, -0.307892056347244, 8.44605241655552));
#21900 = CARTESIAN_POINT ('', (0.701386334487448, -0.742182122995347, 9.15637160104508));
#21910 = CARTESIAN_POINT ('', (-7.13388794791105, -0.307892056347254, 6.45847030791697));
#21920 = CARTESIAN_POINT ('', (1.24437472267449, -0.742182122995355, 7.57941881762057));
#21930 = CARTESIAN_POINT ('', (-6.44950854422631, -0.307892056347264, 4.47088819927841));
#21940 = CARTESIAN_POINT ('', (1.24437472267449, -2.41, 7.57941881762058));
#21950 = CARTESIAN_POINT ('', (-6.44950854422631, -2.41000000000001, 4.47088819927843));
#21960 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#21780, #21790), (#21800, #21810), (#21820, #21830), (#21840, #21850), (#21860, #21870), (#21880, #21890), (#21900, #21910), (#21920, #21930), (#21940, #21950)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   SURFACE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.)))
   REPRESENTATION_ITEM ('')
);
#21970 = ADVANCED_FACE ('', (#21770), #21960, .T.);
#21980 = ORIENTED_EDGE ('', *, *, #8130, .T.);
#21990 = CARTESIAN_POINT ('', (2.21849940280844, -0.843618809591127, 8.53033497172925));
#22000 = CARTESIAN_POINT ('', (-5.17858194019661, -0.430623246500117, 6.15537280760238));
#22010 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#21990, #22000), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#22020 = EDGE_CURVE ('', #8090, #4120, #22010, .T.);
#22030 = ORIENTED_EDGE ('', *, *, #22020, .T.);
#22040 = ORIENTED_EDGE ('', *, *, #4180, .F.);
#22050 = ORIENTED_EDGE ('', *, *, #3380, .F.);
#22060 = ORIENTED_EDGE ('', *, *, #21660, .F.);
#22070 = ORIENTED_EDGE ('', *, *, #11760, .T.);
#22080 = EDGE_LOOP ('', (#21980, #22030, #22040, #22050, #22060, #22070));
#22090 = FACE_OUTER_BOUND ('', #22080, .T.);
#22100 = CARTESIAN_POINT ('', (2.2172492558468, -0.881535620656187, 6.14766064270574));
#22110 = CARTESIAN_POINT ('', (2.22001877190146, -0.836097832514134, 9.00780950098874));
#22120 = CARTESIAN_POINT ('', (-5.32113558879474, -0.422057316207405, 6.14766064270574));
#22130 = CARTESIAN_POINT ('', (-5.31836607274008, -0.376619528065352, 9.00780950098874));
#22140 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#22100, #22110), (#22120, #22130)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.606299840037636, 8.15867472335615), (-0.651745880253885, 2.20876521994271), .UNSPECIFIED.);
#22150 = ADVANCED_FACE ('', (#22090), #22140, .T.);
#22160 = ORIENTED_EDGE ('', *, *, #8780, .T.);
#22170 = ORIENTED_EDGE ('', *, *, #13060, .T.);
#22180 = ORIENTED_EDGE ('', *, *, #16980, .T.);
#22190 = ORIENTED_EDGE ('', *, *, #17330, .T.);
#22200 = ORIENTED_EDGE ('', *, *, #14220, .F.);
#22210 = ORIENTED_EDGE ('', *, *, #14130, .T.);
#22220 = ORIENTED_EDGE ('', *, *, #4270, .F.);
#22230 = ORIENTED_EDGE ('', *, *, #22020, .F.);
#22240 = EDGE_LOOP ('', (#22160, #22170, #22180, #22190, #22200, #22210, #22220, #22230));
#22250 = FACE_OUTER_BOUND ('', #22240, .T.);
#22260 = CARTESIAN_POINT ('', (-5.3147373823852, -0.0353637716193207, 5.71186575307705));
#22270 = CARTESIAN_POINT ('', (2.64628584199485, 1.01295364881869, 6.72836497579445));
#22280 = CARTESIAN_POINT ('', (-5.3147373823852, -1.83658913725268, 7.56947261270694));
#22290 = CARTESIAN_POINT ('', (2.64628584199485, -0.788271716814669, 8.58597183542434));
#22300 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#22260, #22270), (#22280, #22290)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-3.48834127990396, -0.900849045568747), (0.0134521050469916, 8.10728499576678), .UNSPECIFIED.);
#22310 = ADVANCED_FACE ('', (#22250), #22300, .T.);
#22320 = ORIENTED_EDGE ('', *, *, #8930, .T.);
#22330 = ORIENTED_EDGE ('', *, *, #7220, .T.);
#22340 = ORIENTED_EDGE ('', *, *, #12210, .T.);
#22350 = ORIENTED_EDGE ('', *, *, #8340, .T.);
#22360 = CARTESIAN_POINT ('', (2.21640748768078, -3.95884231195653, 8.53301250099215));
#22370 = CARTESIAN_POINT ('', (-5.12343800502256, -4.37397701610704, 6.17191838521159));
#22380 = B_SPLINE_CURVE_WITH_KNOTS ('', 1, (#22360, #22370), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#22390 = EDGE_CURVE ('', #8230, #8890, #22380, .T.);
#22400 = ORIENTED_EDGE ('', *, *, #22390, .T.);
#22410 = EDGE_LOOP ('', (#22320, #22330, #22340, #22350, #22400));
#22420 = FACE_OUTER_BOUND ('', #22410, .T.);
#22430 = CARTESIAN_POINT ('', (-5.17741987887119, -2.98422958959471, 7.58995056305827));
#22440 = CARTESIAN_POINT ('', (2.33590444660673, -3.97359346328351, 8.5492855783718));
#22450 = CARTESIAN_POINT ('', (-5.17741987887119, -4.36735660224097, 6.16352926372928));
#22460 = CARTESIAN_POINT ('', (2.33590444660673, -5.35672047592977, 7.12286427904281));
#22470 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#22430, #22440), (#22450, #22460)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.138583810323735, 2.12547033357845), (0.482143586591067, 8.12080884735393), .UNSPECIFIED.);
#22480 = ADVANCED_FACE ('', (#22420), #22470, .T.);
#22490 = ORIENTED_EDGE ('', *, *, #8270, .T.);
#22500 = ORIENTED_EDGE ('', *, *, #11930, .T.);
#22510 = ORIENTED_EDGE ('', *, *, #21740, .T.);
#22520 = ORIENTED_EDGE ('', *, *, #3630, .F.);
#22530 = ORIENTED_EDGE ('', *, *, #14800, .T.);
#22540 = ORIENTED_EDGE ('', *, *, #22390, .F.);
#22550 = EDGE_LOOP ('', (#22490, #22500, #22510, #22520, #22530, #22540));
#22560 = FACE_OUTER_BOUND ('', #22550, .T.);
#22570 = CARTESIAN_POINT ('', (-5.30935048196132, -4.38354492096734, 6.15716230653521));
#22580 = CARTESIAN_POINT ('', (-5.30319047578587, -4.47592260829671, 9.01511033327744));
#22590 = CARTESIAN_POINT ('', (2.21234855336332, -3.88197669765554, 6.15716230653521));
#22600 = CARTESIAN_POINT ('', (2.21850855953877, -3.97435438498491, 9.01511033327744));
#22610 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#22570, #22580), (#22590, #22600)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-8.14583178696471, -0.607428304751797), (-0.608907460960486, 2.25053977694271), .UNSPECIFIED.);
#22620 = ADVANCED_FACE ('', (#22560), #22610, .T.);
#22630 = CLOSED_SHELL ('', (#560, #1730, #2250, #2810, #3280, #4090, #4810, #5190, #5590, #5920, #6810, #7140, #8050, #8870, #9100, #9760, #9990, #10810, #11040, #11370, #11700, #12030, #12170, #12370, #12700, #13000, #13280, #13770, #14050, #14550, #14710, #14940, #15220, #15800, #16000, #16330, #16630, #16850, #17070, #17460, #17620, #17860, #18540, #18900, #19070, #19220, #19390, #19530, #19770, #20450, #20610, #20970, #21140, #21300, #21470, #21610, #21970, #22150, #22310, #22480, #22620));
#22640 = MANIFOLD_SOLID_BREP ('CUT', #22630);
#22650 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#22660 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#22670 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .RADIAN.)
   PLANE_ANGLE_UNIT ()
);
#22680 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE(1.E-6), #22650, 'DISTANCE_ACCURACY_VALUE', '');
#22690 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#22680))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#22650, #22660, #22670))
   REPRESENTATION_CONTEXT ('', '3D')
);
#22700 = COLOUR_RGB ('', 1., 0.74901960784314, 0.);
#22710 = FILL_AREA_STYLE_COLOUR ('', #22700);
#22720 = FILL_AREA_STYLE ('', (#22710));
#22730 = SURFACE_STYLE_FILL_AREA (#22720);
#22740 = SURFACE_SIDE_STYLE ('', (#22730));
#22750 = SURFACE_STYLE_USAGE (.POSITIVE., #22740);
#22760 = PRESENTATION_STYLE_ASSIGNMENT ((#22750));
#22770 = STYLED_ITEM ('', (#22760), #22640);
#22780 = ADVANCED_BREP_SHAPE_REPRESENTATION ('', (#22640), #22690);
#22790 = APPLICATION_CONTEXT ('configuration controlled 3D designs of mechanical parts and assemblies');
#22800 = APPLICATION_PROTOCOL_DEFINITION ('International Standard', 'config_control_design', 1997, #22790);
#22810 = MECHANICAL_CONTEXT ('', #22790, 'mechanical');
#22820 = PRODUCT ('NONE', '', '', (#22810));
#22830 = PERSON_AND_ORGANIZATION_ROLE ('design_owner');
#22840 = PERSON ('', '', $, $, $, $);
#22850 = ORGANIZATION ($, '', '');
#22860 = PERSON_AND_ORGANIZATION (#22840, #22850);
#22870 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#22860, #22830, (#22820));
#22880 = PRODUCT_RELATED_PRODUCT_CATEGORY ('detail', $, (#22820));
#22890 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ('', '', #22820, .NOT_KNOWN.);
#22900 = APPROVAL_STATUS ('approved');
#22910 = APPROVAL (#22900, '');
#22920 = CALENDAR_DATE (2017, 21, 4);
#22930 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#22940 = LOCAL_TIME (10, 28, 50., #22930);
#22950 = DATE_AND_TIME (#22920, #22940);
#22960 = APPROVAL_DATE_TIME (#22950, #22910);
#22970 = APPROVAL_ROLE ('');
#22980 = PERSON ('', '', $, $, $, $);
#22990 = ORGANIZATION ($, '', '');
#23000 = PERSON_AND_ORGANIZATION (#22980, #22990);
#23010 = APPROVAL_PERSON_ORGANIZATION (#23000, #22910, #22970);
#23020 = CC_DESIGN_APPROVAL (#22910, (#22890));
#23030 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#23040 = PERSON ('', '', $, $, $, $);
#23050 = ORGANIZATION ($, '', '');
#23060 = PERSON_AND_ORGANIZATION (#23040, #23050);
#23070 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#23060, #23030, (#22890));
#23080 = PERSON_AND_ORGANIZATION_ROLE ('part_supplier');
#23090 = PERSON ('', '', $, $, $, $);
#23100 = ORGANIZATION ($, '', '');
#23110 = PERSON_AND_ORGANIZATION (#23090, #23100);
#23120 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#23110, #23080, (#22890));
#23130 = SECURITY_CLASSIFICATION_LEVEL ('unclassified');
#23140 = SECURITY_CLASSIFICATION ('', '', #23130);
#23150 = APPROVAL_STATUS ('approved');
#23160 = APPROVAL (#23150, '');
#23170 = CALENDAR_DATE (2017, 21, 4);
#23180 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#23190 = LOCAL_TIME (10, 28, 50., #23180);
#23200 = DATE_AND_TIME (#23170, #23190);
#23210 = APPROVAL_DATE_TIME (#23200, #23160);
#23220 = APPROVAL_ROLE ('');
#23230 = PERSON ('', '', $, $, $, $);
#23240 = ORGANIZATION ($, '', '');
#23250 = PERSON_AND_ORGANIZATION (#23230, #23240);
#23260 = APPROVAL_PERSON_ORGANIZATION (#23250, #23160, #23220);
#23270 = CC_DESIGN_APPROVAL (#23160, (#23140));
#23280 = DATE_TIME_ROLE ('classification_date');
#23290 = CALENDAR_DATE (2017, 21, 4);
#23300 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#23310 = LOCAL_TIME (10, 28, 50., #23300);
#23320 = DATE_AND_TIME (#23290, #23310);
#23330 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#23320, #23280, (#23140));
#23340 = PERSON_AND_ORGANIZATION_ROLE ('classification_officer');
#23350 = PERSON ('', '', $, $, $, $);
#23360 = ORGANIZATION ($, '', '');
#23370 = PERSON_AND_ORGANIZATION (#23350, #23360);
#23380 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#23370, #23340, (#23140));
#23390 = CC_DESIGN_SECURITY_CLASSIFICATION (#23140, (#22890));
#23400 = DESIGN_CONTEXT ('', #22790, 'design');
#23410 = PRODUCT_DEFINITION ('', '', #22890, #23400);
#23420 = APPROVAL_STATUS ('approved');
#23430 = APPROVAL (#23420, '');
#23440 = CALENDAR_DATE (2017, 21, 4);
#23450 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#23460 = LOCAL_TIME (10, 28, 50., #23450);
#23470 = DATE_AND_TIME (#23440, #23460);
#23480 = APPROVAL_DATE_TIME (#23470, #23430);
#23490 = APPROVAL_ROLE ('');
#23500 = PERSON ('', '', $, $, $, $);
#23510 = ORGANIZATION ($, '', '');
#23520 = PERSON_AND_ORGANIZATION (#23500, #23510);
#23530 = APPROVAL_PERSON_ORGANIZATION (#23520, #23430, #23490);
#23540 = CC_DESIGN_APPROVAL (#23430, (#23410));
#23550 = DATE_TIME_ROLE ('creation_date');
#23560 = CALENDAR_DATE (2017, 21, 4);
#23570 = COORDINATED_UNIVERSAL_TIME_OFFSET (0, $, .AHEAD.);
#23580 = LOCAL_TIME (10, 28, 50., #23570);
#23590 = DATE_AND_TIME (#23560, #23580);
#23600 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT (#23590, #23550, (#23410));
#23610 = PERSON_AND_ORGANIZATION_ROLE ('creator');
#23620 = PERSON ('', '', $, $, $, $);
#23630 = ORGANIZATION ($, '', '');
#23640 = PERSON_AND_ORGANIZATION (#23620, #23630);
#23650 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT (#23640, #23610, (#23410));
#23660 = PRODUCT_DEFINITION_SHAPE ('', '', #23410);
#23670 = SHAPE_DEFINITION_REPRESENTATION (#23660, #22780);
ENDSEC;
END-ISO-10303-21;