ISO-10303-21;
HEADER;
FILE_DESCRIPTION(('STEP'), '1');
FILE_NAME('AF61330-035 TIALN.stp', '2020-06-05T14:59:44', ('TDM Systems GmbH'), ('TDM Systems GmbH'), 'HarmonyWare STEP v2.1.2-dev Express v3.0.0.0', 'TDM', 'Unknown');
FILE_SCHEMA(('AUTOMOTIVE_DESIGN'));
ENDSEC;

DATA;
#1 = MANIFOLD_SOLID_BREP('NOCUT', #2);
#2 = CLOSED_SHELL('', (#3, #69, #125, #134, #337, #357, #367, #377, #499, #540, #659, #700, #825, #866, #928));
#3 = ADVANCED_FACE('', (#4), #41, .T.);
#4 = FACE_OUTER_BOUND('', #5, .T.);
#5 = EDGE_LOOP('', (#6, #16, #28, #29));
#6 = ORIENTED_EDGE('', *, *, #7, .F.);
#7 = EDGE_CURVE('', #8, #10, #12, .T.);
#8 = VERTEX_POINT('', #9);
#9 = CARTESIAN_POINT('', (1.51, 3., 0.));
#10 = VERTEX_POINT('', #11);
#11 = CARTESIAN_POINT('', (7., 1.75, 0.));
#12 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#13, #14, #15), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.975120952355011, 1.))
   REPRESENTATION_ITEM ('')
);
#13 = CARTESIAN_POINT('', (1.51, 3., 0.));
#14 = CARTESIAN_POINT('', (4.11291924602596, 1.75098132854602, 0.));
#15 = CARTESIAN_POINT('', (7., 1.75, 0.));
#16 = ORIENTED_EDGE('', *, *, #17, .T.);
#17 = EDGE_CURVE('', #8, #8, #18, .T.);
#18 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#19, #20, #21, #22, #23, #24, #25, #26, #27), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#19 = CARTESIAN_POINT('', (1.51, 3., 0.));
#20 = CARTESIAN_POINT('', (1.51, 3., 3.));
#21 = CARTESIAN_POINT('', (1.51, 1.83697019872103E-16, 3.));
#22 = CARTESIAN_POINT('', (1.51, -3., 3.));
#23 = CARTESIAN_POINT('', (1.51, -3., 3.67394039744206E-16));
#24 = CARTESIAN_POINT('', (1.51, -3., -3.));
#25 = CARTESIAN_POINT('', (1.51, -5.51091059616309E-16, -3.));
#26 = CARTESIAN_POINT('', (1.51, 3., -3.));
#27 = CARTESIAN_POINT('', (1.51, 3., 0.));
#28 = ORIENTED_EDGE('', *, *, #7, .T.);
#29 = ORIENTED_EDGE('', *, *, #30, .F.);
#30 = EDGE_CURVE('', #10, #10, #31, .T.);
#31 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#32, #33, #34, #35, #36, #37, #38, #39, #40), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#32 = CARTESIAN_POINT('', (7., 1.75, 0.));
#33 = CARTESIAN_POINT('', (7., 1.75, 1.75));
#34 = CARTESIAN_POINT('', (7., 1.07156594925393E-16, 1.75));
#35 = CARTESIAN_POINT('', (7., -1.75, 1.75));
#36 = CARTESIAN_POINT('', (7., -1.75, 2.14313189850787E-16));
#37 = CARTESIAN_POINT('', (7., -1.75, -1.75));
#38 = CARTESIAN_POINT('', (7., -3.2146978477618E-16, -1.75));
#39 = CARTESIAN_POINT('', (7., 1.75, -1.75));
#40 = CARTESIAN_POINT('', (7., 1.75, 0.));
#41 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 2, ((#42, #43, #44), (#45, #46, #47), (#48, #49, #50), (#51, #52, #53), (#54, #55, #56), (#57, #58, #59), (#60, #61, #62), (#63, #64, #65), (#66, #67, #68)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (3, 3), (0., 0.25, 0.5, 0.75, 1.), (0., 1.), .UNSPECIFIED.)
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.975120952355011, 1.), (0.707106781186548, 0.689514637887312, 0.707106781186548), (1., 0.975120952355011, 1.), (0.707106781186548, 0.689514637887312, 0.707106781186548), (1., 0.975120952355011, 1.), (0.707106781186548, 0.689514637887312, 0.707106781186548), (1., 0.975120952355011, 1.), (0.707106781186548, 0.689514637887312, 0.707106781186548), (1., 0.975120952355011, 1.)))
   REPRESENTATION_ITEM ('')
   SURFACE ()
);
#42 = CARTESIAN_POINT('', (1.51, 3., 0.));
#43 = CARTESIAN_POINT('', (4.11291924602596, 1.75098132854602, 0.));
#44 = CARTESIAN_POINT('', (7., 1.75, 0.));
#45 = CARTESIAN_POINT('', (1.51, 3., 3.));
#46 = CARTESIAN_POINT('', (4.11291924602596, 1.75098132854602, 1.75098132854602));
#47 = CARTESIAN_POINT('', (7., 1.75, 1.75));
#48 = CARTESIAN_POINT('', (1.51, 1.83697019872103E-16, 3.));
#49 = CARTESIAN_POINT('', (4.11291924602596, 1.07216683968533E-16, 1.75098132854602));
#50 = CARTESIAN_POINT('', (7., 1.07156594925393E-16, 1.75));
#51 = CARTESIAN_POINT('', (1.51, -3., 3.));
#52 = CARTESIAN_POINT('', (4.11291924602596, -1.75098132854602, 1.75098132854602));
#53 = CARTESIAN_POINT('', (7., -1.75, 1.75));
#54 = CARTESIAN_POINT('', (1.51, -3., 3.67394039744206E-16));
#55 = CARTESIAN_POINT('', (4.11291924602596, -1.75098132854602, 2.14433367937066E-16));
#56 = CARTESIAN_POINT('', (7., -1.75, 2.14313189850787E-16));
#57 = CARTESIAN_POINT('', (1.51, -3., -3.));
#58 = CARTESIAN_POINT('', (4.11291924602596, -1.75098132854602, -1.75098132854602));
#59 = CARTESIAN_POINT('', (7., -1.75, -1.75));
#60 = CARTESIAN_POINT('', (1.51, -5.51091059616309E-16, -3.));
#61 = CARTESIAN_POINT('', (4.11291924602596, -3.21650051905599E-16, -1.75098132854602));
#62 = CARTESIAN_POINT('', (7., -3.2146978477618E-16, -1.75));
#63 = CARTESIAN_POINT('', (1.51, 3., -3.));
#64 = CARTESIAN_POINT('', (4.11291924602596, 1.75098132854602, -1.75098132854602));
#65 = CARTESIAN_POINT('', (7., 1.75, -1.75));
#66 = CARTESIAN_POINT('', (1.51, 3., 0.));
#67 = CARTESIAN_POINT('', (4.11291924602596, 1.75098132854602, 0.));
#68 = CARTESIAN_POINT('', (7., 1.75, 0.));
#69 = ADVANCED_FACE('', (#70), #106, .T.);
#70 = FACE_OUTER_BOUND('', #71, .T.);
#71 = EDGE_LOOP('', (#72, #81, #93, #94));
#72 = ORIENTED_EDGE('', *, *, #73, .T.);
#73 = EDGE_CURVE('', #74, #76, #78, .T.);
#74 = VERTEX_POINT('', #75);
#75 = CARTESIAN_POINT('', (-37.7, 3., 0.));
#76 = VERTEX_POINT('', #77);
#77 = CARTESIAN_POINT('', (-38., 2.7, 0.));
#78 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#79, #80), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#79 = CARTESIAN_POINT('', (-37.7, 3., 0.));
#80 = CARTESIAN_POINT('', (-38., 2.7, 0.));
#81 = ORIENTED_EDGE('', *, *, #82, .T.);
#82 = EDGE_CURVE('', #76, #76, #83, .T.);
#83 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#84, #85, #86, #87, #88, #89, #90, #91, #92), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#84 = CARTESIAN_POINT('', (-38., 2.7, 0.));
#85 = CARTESIAN_POINT('', (-38., 2.7, 2.7));
#86 = CARTESIAN_POINT('', (-38., 1.65327317884893E-16, 2.7));
#87 = CARTESIAN_POINT('', (-38., -2.7, 2.7));
#88 = CARTESIAN_POINT('', (-38., -2.7, 3.30654635769785E-16));
#89 = CARTESIAN_POINT('', (-38., -2.7, -2.7));
#90 = CARTESIAN_POINT('', (-38., -4.95981953654678E-16, -2.7));
#91 = CARTESIAN_POINT('', (-38., 2.7, -2.7));
#92 = CARTESIAN_POINT('', (-38., 2.7, 0.));
#93 = ORIENTED_EDGE('', *, *, #73, .F.);
#94 = ORIENTED_EDGE('', *, *, #95, .F.);
#95 = EDGE_CURVE('', #74, #74, #96, .T.);
#96 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#97, #98, #99, #100, #101, #102, #103, #104, #105), .UNSPECIFIED., .T., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 2, 2, 3), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.))
   REPRESENTATION_ITEM ('')
);
#97 = CARTESIAN_POINT('', (-37.7, 3., 0.));
#98 = CARTESIAN_POINT('', (-37.7, 3., 3.));
#99 = CARTESIAN_POINT('', (-37.7, 1.83697019872103E-16, 3.));
#100 = CARTESIAN_POINT('', (-37.7, -3., 3.));
#101 = CARTESIAN_POINT('', (-37.7, -3., 3.67394039744206E-16));
#102 = CARTESIAN_POINT('', (-37.7, -3., -3.));
#103 = CARTESIAN_POINT('', (-37.7, -5.51091059616309E-16, -3.));
#104 = CARTESIAN_POINT('', (-37.7, 3., -3.));
#105 = CARTESIAN_POINT('', (-37.7, 3., 0.));
#106 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#107, #108, #109, #110, #111, #112, #113, #114, #115), (#116, #117, #118, #119, #120, #121, #122, #123, #124)), .UNSPECIFIED., .F., .T., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 2, 2, 3), (0., 1.), (0., 0.25, 0.5, 0.75, 1.), .UNSPECIFIED.)
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.)))
   REPRESENTATION_ITEM ('')
   SURFACE ()
);
#107 = CARTESIAN_POINT('', (-37.7, 3., 0.));
#108 = CARTESIAN_POINT('', (-37.7, 3., 3.));
#109 = CARTESIAN_POINT('', (-37.7, 1.83697019872103E-16, 3.));
#110 = CARTESIAN_POINT('', (-37.7, -3., 3.));
#111 = CARTESIAN_POINT('', (-37.7, -3., 3.67394039744206E-16));
#112 = CARTESIAN_POINT('', (-37.7, -3., -3.));
#113 = CARTESIAN_POINT('', (-37.7, -5.51091059616309E-16, -3.));
#114 = CARTESIAN_POINT('', (-37.7, 3., -3.));
#115 = CARTESIAN_POINT('', (-37.7, 3., 0.));
#116 = CARTESIAN_POINT('', (-38., 2.7, 0.));
#117 = CARTESIAN_POINT('', (-38., 2.7, 2.7));
#118 = CARTESIAN_POINT('', (-38., 1.65327317884893E-16, 2.7));
#119 = CARTESIAN_POINT('', (-38., -2.7, 2.7));
#120 = CARTESIAN_POINT('', (-38., -2.7, 3.30654635769785E-16));
#121 = CARTESIAN_POINT('', (-38., -2.7, -2.7));
#122 = CARTESIAN_POINT('', (-38., -4.95981953654678E-16, -2.7));
#123 = CARTESIAN_POINT('', (-38., 2.7, -2.7));
#124 = CARTESIAN_POINT('', (-38., 2.7, 0.));
#125 = ADVANCED_FACE('', (#126), #129, .T.);
#126 = FACE_OUTER_BOUND('', #127, .T.);
#127 = EDGE_LOOP('', (#128));
#128 = ORIENTED_EDGE('', *, *, #82, .F.);
#129 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#130, #131), (#132, #133)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.178587826733387, 0.821412173266612), (0.178587826733388, 0.821412173266612), .UNSPECIFIED.);
#130 = CARTESIAN_POINT('', (-38., -2.7, -2.7));
#131 = CARTESIAN_POINT('', (-38., 2.7, -2.7));
#132 = CARTESIAN_POINT('', (-38., -2.7, 2.7));
#133 = CARTESIAN_POINT('', (-38., 2.7, 2.7));
#134 = ADVANCED_FACE('', (#135, #145), #318, .T.);
#135 = FACE_OUTER_BOUND('', #136, .T.);
#136 = EDGE_LOOP('', (#137, #142, #143, #144));
#137 = ORIENTED_EDGE('', *, *, #138, .T.);
#138 = EDGE_CURVE('', #8, #74, #139, .T.);
#139 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#140, #141), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#140 = CARTESIAN_POINT('', (1.51, 3., 0.));
#141 = CARTESIAN_POINT('', (-37.7, 3., 0.));
#142 = ORIENTED_EDGE('', *, *, #95, .T.);
#143 = ORIENTED_EDGE('', *, *, #138, .F.);
#144 = ORIENTED_EDGE('', *, *, #17, .F.);
#145 = FACE_BOUND('', #146, .T.);
#146 = EDGE_LOOP('', (#147, #227, #236, #311));
#147 = ORIENTED_EDGE('', *, *, #148, .F.);
#148 = EDGE_CURVE('', #149, #151, #153, .T.);
#149 = VERTEX_POINT('', #150);
#150 = CARTESIAN_POINT('', (-22.1, 2.14242852856285, 2.1));
#151 = VERTEX_POINT('', #152);
#152 = CARTESIAN_POINT('', (-22.1, -2.14242852856286, 2.1));
#153 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#154, #155, #156, #157, #158, #159, #160, #161, #162, #163, #164, #165, #166, #167, #168, #169, #170, #171, #172, #173, #174, #175, #176, #177, #178, #179, #180, #181, #182, #183, #184, #185, #186, #187, #188, #189, #190, #191, #192, #193, #194, #195, #196, #197, #198, #199, #200, #201, #202, #203, #204, #205, #206, #207, #208, #209, #210, #211, #212, #213, #214, #215, #216, #217, #218, #219, #220, #221, #222, #223, #224, #225, #226), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.226532141220102, 0.522486989651006, 0.81871261700036, 1.01613164123477, 1.21365653787484, 1.41130126070876, 1.60907935009336, 1.8070024900134, 2.00507870652317, 2.20331049885992, 2.40169339368014, 2.59896230886552, 2.79623122405091, 2.99461411887113, 3.19284591120788, 3.39092212771765, 3.5888452676377, 3.78662335702229, 3.98426807985621, 4.18179297649628, 4.37921200073069, 4.67543762808004, 4.97139247651094, 5.19792461773105), .UNSPECIFIED.);
#154 = CARTESIAN_POINT('', (-22.1, 2.14242852856285, 2.1));
#155 = CARTESIAN_POINT('', (-22.1443910605307, 2.09966946167759, 2.14362297369034));
#156 = CARTESIAN_POINT('', (-22.1879327048471, 2.05511554936735, 2.1864112283916));
#157 = CARTESIAN_POINT('', (-22.2304519593262, 2.0087677833036, 2.22819478339795));
#158 = CARTESIAN_POINT('', (-22.28600160207, 1.94821634893922, 2.28278326528933));
#159 = CARTESIAN_POINT('', (-22.3398867673544, 1.88451279376245, 2.33573606973674));
#160 = CARTESIAN_POINT('', (-22.3916620900936, 1.81770907332824, 2.38661553768947));
#161 = CARTESIAN_POINT('', (-22.4434847837948, 1.75084423195188, 2.43754155695695));
#162 = CARTESIAN_POINT('', (-22.4932917074447, 1.6807436866328, 2.48648668451198));
#163 = CARTESIAN_POINT('', (-22.5405631112933, 1.60754910566601, 2.53294016369761));
#164 = CARTESIAN_POINT('', (-22.5720670513996, 1.55876871187291, 2.56389899941746));
#165 = CARTESIAN_POINT('', (-22.6024827940229, 1.5085561938224, 2.59378846644904));
#166 = CARTESIAN_POINT('', (-22.6316388562751, 1.45698599487322, 2.6224400490275));
#167 = CARTESIAN_POINT('', (-22.6608105544188, 1.40538813971895, 2.65110699695378));
#168 = CARTESIAN_POINT('', (-22.688754374985, 1.35237136818211, 2.67856731294511));
#169 = CARTESIAN_POINT('', (-22.7152864890327, 1.29804490816719, 2.70464034880449));
#170 = CARTESIAN_POINT('', (-22.7418346984805, 1.24368549163368, 2.7307292015695));
#171 = CARTESIAN_POINT('', (-22.7670035033823, 1.18794354651529, 2.75546251726231));
#172 = CARTESIAN_POINT('', (-22.7906007083979, 1.13097137564117, 2.77865142604832));
#173 = CARTESIAN_POINT('', (-22.8142138363169, 1.07396076113039, 2.80185598222798));
#174 = CARTESIAN_POINT('', (-22.8362871648124, 1.01563414958426, 2.82354738172838));
#175 = CARTESIAN_POINT('', (-22.856626750296, 0.95619479969747, 2.84353503671602));
#176 = CARTESIAN_POINT('', (-22.8769812528403, 0.896711856966021, 2.86353735065839));
#177 = CARTESIAN_POINT('', (-22.8956319638943, 0.836016614422422, 2.88186535336629));
#178 = CARTESIAN_POINT('', (-22.912392760104, 0.774369168024391, 2.89833614192924));
#179 = CARTESIAN_POINT('', (-22.9291665193535, 0.712674042608822, 2.91481966923584));
#180 = CARTESIAN_POINT('', (-22.9440768284582, 0.649913305064561, 2.92947198918526));
#181 = CARTESIAN_POINT('', (-22.9569576145729, 0.586405693294025, 2.94212990244693));
#182 = CARTESIAN_POINT('', (-22.969848517697, 0.522848200475704, 2.95479775766609));
#183 = CARTESIAN_POINT('', (-22.9807311001951, 0.458417641638558, 2.96549204170255));
#184 = CARTESIAN_POINT('', (-22.989473025953, 0.393487032405312, 2.97408270821927));
#185 = CARTESIAN_POINT('', (-22.9982216152571, 0.328506929716991, 2.98267992298453));
#186 = CARTESIAN_POINT('', (-23.0048438183574, 0.262890170542842, 2.98918754384691));
#187 = CARTESIAN_POINT('', (-23.0092539889197, 0.197052250671389, 2.99352140638837));
#188 = CARTESIAN_POINT('', (-23.0136393950475, 0.131584030526332, 2.99783093298788));
#189 = CARTESIAN_POINT('', (-23.0158466536749, 0.0657563050617961, 3.));
#190 = CARTESIAN_POINT('', (-23.0158466536749, 9.18485099360515E-17, 3.));
#191 = CARTESIAN_POINT('', (-23.0158466536749, -0.0657563050617959, 3.));
#192 = CARTESIAN_POINT('', (-23.0136393950475, -0.131584030526332, 2.99783093298788));
#193 = CARTESIAN_POINT('', (-23.0092539889197, -0.197052250671389, 2.99352140638837));
#194 = CARTESIAN_POINT('', (-23.0048438183574, -0.262890170542841, 2.98918754384691));
#195 = CARTESIAN_POINT('', (-22.9982216152571, -0.328506929716991, 2.98267992298454));
#196 = CARTESIAN_POINT('', (-22.989473025953, -0.393487032405312, 2.97408270821927));
#197 = CARTESIAN_POINT('', (-22.9807311001951, -0.458417641638557, 2.96549204170255));
#198 = CARTESIAN_POINT('', (-22.969848517697, -0.522848200475704, 2.95479775766609));
#199 = CARTESIAN_POINT('', (-22.9569576145729, -0.586405693294025, 2.94212990244693));
#200 = CARTESIAN_POINT('', (-22.9440768284582, -0.649913305064562, 2.92947198918526));
#201 = CARTESIAN_POINT('', (-22.9291665193535, -0.712674042608822, 2.91481966923584));
#202 = CARTESIAN_POINT('', (-22.912392760104, -0.774369168024392, 2.89833614192924));
#203 = CARTESIAN_POINT('', (-22.8956319638943, -0.836016614422423, 2.88186535336629));
#204 = CARTESIAN_POINT('', (-22.8769812528403, -0.896711856966023, 2.86353735065839));
#205 = CARTESIAN_POINT('', (-22.856626750296, -0.956194799697472, 2.84353503671602));
#206 = CARTESIAN_POINT('', (-22.8362871648124, -1.01563414958426, 2.82354738172838));
#207 = CARTESIAN_POINT('', (-22.8142138363169, -1.07396076113039, 2.80185598222798));
#208 = CARTESIAN_POINT('', (-22.7906007083979, -1.13097137564117, 2.77865142604832));
#209 = CARTESIAN_POINT('', (-22.7670035033823, -1.18794354651529, 2.75546251726231));
#210 = CARTESIAN_POINT('', (-22.7418346984805, -1.24368549163368, 2.7307292015695));
#211 = CARTESIAN_POINT('', (-22.7152864890327, -1.29804490816719, 2.70464034880449));
#212 = CARTESIAN_POINT('', (-22.688754374985, -1.35237136818211, 2.67856731294511));
#213 = CARTESIAN_POINT('', (-22.6608105544188, -1.40538813971895, 2.65110699695378));
#214 = CARTESIAN_POINT('', (-22.6316388562751, -1.45698599487322, 2.6224400490275));
#215 = CARTESIAN_POINT('', (-22.6024827940229, -1.5085561938224, 2.59378846644903));
#216 = CARTESIAN_POINT('', (-22.5720670513996, -1.5587687118729, 2.56389899941746));
#217 = CARTESIAN_POINT('', (-22.5405631112933, -1.60754910566601, 2.53294016369761));
#218 = CARTESIAN_POINT('', (-22.4932917074447, -1.6807436866328, 2.48648668451198));
#219 = CARTESIAN_POINT('', (-22.4434847837948, -1.75084423195188, 2.43754155695696));
#220 = CARTESIAN_POINT('', (-22.3916620900936, -1.81770907332823, 2.38661553768947));
#221 = CARTESIAN_POINT('', (-22.3398867673544, -1.88451279376244, 2.33573606973675));
#222 = CARTESIAN_POINT('', (-22.28600160207, -1.94821634893922, 2.28278326528933));
#223 = CARTESIAN_POINT('', (-22.2304519593263, -2.00876778330359, 2.22819478339795));
#224 = CARTESIAN_POINT('', (-22.1879327048471, -2.05511554936735, 2.1864112283916));
#225 = CARTESIAN_POINT('', (-22.1443910605307, -2.09966946167759, 2.14362297369034));
#226 = CARTESIAN_POINT('', (-22.1, -2.14242852856286, 2.1));
#227 = ORIENTED_EDGE('', *, *, #228, .T.);
#228 = EDGE_CURVE('', #149, #229, #231, .T.);
#229 = VERTEX_POINT('', #230);
#230 = CARTESIAN_POINT('', (-17.9, 2.14242852856285, 2.1));
#231 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#232, #233, #234, #235), .UNSPECIFIED., .F., .U., (4, 4), (0., 4.2), .UNSPECIFIED.);
#232 = CARTESIAN_POINT('', (-22.1, 2.14242852856285, 2.1));
#233 = CARTESIAN_POINT('', (-20.7, 2.14242852856285, 2.1));
#234 = CARTESIAN_POINT('', (-19.3, 2.14242852856285, 2.1));
#235 = CARTESIAN_POINT('', (-17.9, 2.14242852856285, 2.1));
#236 = ORIENTED_EDGE('', *, *, #237, .T.);
#237 = EDGE_CURVE('', #229, #238, #240, .T.);
#238 = VERTEX_POINT('', #239);
#239 = CARTESIAN_POINT('', (-17.9, -2.14242852856286, 2.1));
#240 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#241, #242, #243, #244, #245, #246, #247, #248, #249, #250, #251, #252, #253, #254, #255, #256, #257, #258, #259, #260, #261, #262, #263, #264, #265, #266, #267, #268, #269, #270, #271, #272, #273, #274, #275, #276, #277, #278, #279, #280, #281, #282, #283, #284, #285, #286, #287, #288, #289, #290, #291, #292, #293, #294, #295, #296, #297, #298, #299, #300, #301, #302, #303, #304, #305, #306, #307, #308, #309, #310), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.295660747419765, 0.591176839852674, 0.886518626925896, 1.18164841836716, 1.47652016794506, 1.67307726230278, 1.86952243409267, 2.06584587187348, 2.26204020012183, 2.39294997035299, 2.59879551853109, 2.79606443371648, 2.9944473285367, 3.19267912087344, 3.39075533738321, 3.58867847730326, 3.78645656668785, 3.98410128952177, 4.18162618616185, 4.37904521039626, 4.67527083774561, 4.97122568617652, 5.19775782739662), .UNSPECIFIED.);
#241 = CARTESIAN_POINT('', (-17.9, 2.14242852856285, 2.1));
#242 = CARTESIAN_POINT('', (-17.842062552075, 2.08662109388194, 2.15693497150777));
#243 = CARTESIAN_POINT('', (-17.7855599336343, 2.02774367313634, 2.2124599400083));
#244 = CARTESIAN_POINT('', (-17.730884358349, 1.96580397010841, 2.26618947820047));
#245 = CARTESIAN_POINT('', (-17.6762355336374, 1.90389457170158, 2.31989272867703));
#246 = CARTESIAN_POINT('', (-17.6233219026752, 1.8388216153995, 2.37189080900499));
#247 = CARTESIAN_POINT('', (-17.5726034280961, 1.77065397516674, 2.42173171516323));
#248 = CARTESIAN_POINT('', (-17.5219148689842, 1.70252654250763, 2.47154322347377));
#249 = CARTESIAN_POINT('', (-17.4733196408778, 1.63117078258686, 2.51929762113425));
#250 = CARTESIAN_POINT('', (-17.427349676221, 1.55675381487312, 2.56447217958794));
#251 = CARTESIAN_POINT('', (-17.3814127086956, 1.48239026348173, 2.60961431185107));
#252 = CARTESIAN_POINT('', (-17.3379901670859, 1.40478985624159, 2.6522855246488));
#253 = CARTESIAN_POINT('', (-17.2976799896436, 1.32426732289553, 2.69189822569708));
#254 = CARTESIAN_POINT('', (-17.2574050567397, 1.24381519309784, 2.73147629203384));
#255 = CARTESIAN_POINT('', (-17.2201259164747, 1.16021288035591, 2.76811040114363));
#256 = CARTESIAN_POINT('', (-17.1864819262082, 1.07398043712975, 2.80117225829876));
#257 = CARTESIAN_POINT('', (-17.1640553459107, 1.01649918128153, 2.82321079737816));
#258 = CARTESIAN_POINT('', (-17.143202475893, 0.957748596561569, 2.84370285567261));
#259 = CARTESIAN_POINT('', (-17.1241122190455, 0.897945836518631, 2.86246279882885));
#260 = CARTESIAN_POINT('', (-17.1050328324775, 0.838177129067326, 2.88121205979111));
#261 = CARTESIAN_POINT('', (-17.0876830554032, 0.777257254947388, 2.89826163823775));
#262 = CARTESIAN_POINT('', (-17.0722398653129, 0.715458762567489, 2.91343761887321));
#263 = CARTESIAN_POINT('', (-17.0568062451267, 0.653698565749476, 2.92860419519017));
#264 = CARTESIAN_POINT('', (-17.0432495457113, 0.590947680355502, 2.94192632660258));
#265 = CARTESIAN_POINT('', (-17.0317225554071, 0.5275334952627, 2.9532538684265));
#266 = CARTESIAN_POINT('', (-17.0202031456768, 0.46416101367652, 2.96457396084119));
#267 = CARTESIAN_POINT('', (-17.010688957187, 0.400001379736571, 2.97392352783085));
#268 = CARTESIAN_POINT('', (-17.0032957482596, 0.335429955765132, 2.98118881400952));
#269 = CARTESIAN_POINT('', (-16.9983626633401, 0.292344967778632, 2.9860365430586));
#270 = CARTESIAN_POINT('', (-16.9943668527801, 0.249027925527355, 2.98996321515988));
#271 = CARTESIAN_POINT('', (-16.9913310181474, 0.205599414331941, 2.99294652154467));
#272 = CARTESIAN_POINT('', (-16.9865574016096, 0.137311419648323, 2.99763754145157));
#273 = CARTESIAN_POINT('', (-16.9841533463251, 0.0686151827260384, 3.));
#274 = CARTESIAN_POINT('', (-16.9841533463251, 4.08865139858661E-15, 3.));
#275 = CARTESIAN_POINT('', (-16.9841533463251, -0.0657563050617906, 3.));
#276 = CARTESIAN_POINT('', (-16.9863606049525, -0.131584030526325, 2.99783093298788));
#277 = CARTESIAN_POINT('', (-16.9907460110803, -0.197052250671381, 2.99352140638837));
#278 = CARTESIAN_POINT('', (-16.9951561816426, -0.262890170542834, 2.98918754384691));
#279 = CARTESIAN_POINT('', (-17.0017783847429, -0.328506929716982, 2.98267992298454));
#280 = CARTESIAN_POINT('', (-17.010526974047, -0.393487032405303, 2.97408270821927));
#281 = CARTESIAN_POINT('', (-17.0192688998049, -0.458417641638548, 2.96549204170255));
#282 = CARTESIAN_POINT('', (-17.030151482303, -0.522848200475697, 2.95479775766609));
#283 = CARTESIAN_POINT('', (-17.0430423854271, -0.586405693294017, 2.94212990244693));
#284 = CARTESIAN_POINT('', (-17.0559231715418, -0.649913305064554, 2.92947198918526));
#285 = CARTESIAN_POINT('', (-17.0708334806465, -0.712674042608814, 2.91481966923585));
#286 = CARTESIAN_POINT('', (-17.087607239896, -0.774369168024384, 2.89833614192924));
#287 = CARTESIAN_POINT('', (-17.1043680361057, -0.836016614422415, 2.88186535336629));
#288 = CARTESIAN_POINT('', (-17.1230187471597, -0.896711856966013, 2.86353735065839));
#289 = CARTESIAN_POINT('', (-17.143373249704, -0.956194799697462, 2.84353503671602));
#290 = CARTESIAN_POINT('', (-17.1637128351876, -1.01563414958425, 2.82354738172838));
#291 = CARTESIAN_POINT('', (-17.1857861636831, -1.07396076113038, 2.80185598222798));
#292 = CARTESIAN_POINT('', (-17.2093992916021, -1.13097137564117, 2.77865142604833));
#293 = CARTESIAN_POINT('', (-17.2329964966177, -1.18794354651528, 2.75546251726231));
#294 = CARTESIAN_POINT('', (-17.2581653015195, -1.24368549163367, 2.73072920156951));
#295 = CARTESIAN_POINT('', (-17.2847135109673, -1.29804490816719, 2.7046403488045));
#296 = CARTESIAN_POINT('', (-17.311245625015, -1.3523713681821, 2.67856731294511));
#297 = CARTESIAN_POINT('', (-17.3391894455812, -1.40538813971894, 2.65110699695379));
#298 = CARTESIAN_POINT('', (-17.3683611437249, -1.45698599487321, 2.6224400490275));
#299 = CARTESIAN_POINT('', (-17.3975172059771, -1.5085561938224, 2.59378846644904));
#300 = CARTESIAN_POINT('', (-17.4279329486004, -1.5587687118729, 2.56389899941747));
#301 = CARTESIAN_POINT('', (-17.4594368887067, -1.60754910566601, 2.53294016369761));
#302 = CARTESIAN_POINT('', (-17.5067082925553, -1.6807436866328, 2.48648668451198));
#303 = CARTESIAN_POINT('', (-17.5565152162052, -1.75084423195188, 2.43754155695696));
#304 = CARTESIAN_POINT('', (-17.6083379099064, -1.81770907332823, 2.38661553768947));
#305 = CARTESIAN_POINT('', (-17.6601132326456, -1.88451279376244, 2.33573606973675));
#306 = CARTESIAN_POINT('', (-17.71399839793, -1.94821634893922, 2.28278326528933));
#307 = CARTESIAN_POINT('', (-17.7695480406737, -2.0087677833036, 2.22819478339795));
#308 = CARTESIAN_POINT('', (-17.8120672951529, -2.05511554936735, 2.1864112283916));
#309 = CARTESIAN_POINT('', (-17.8556089394693, -2.09966946167759, 2.14362297369034));
#310 = CARTESIAN_POINT('', (-17.9, -2.14242852856286, 2.1));
#311 = ORIENTED_EDGE('', *, *, #312, .F.);
#312 = EDGE_CURVE('', #151, #238, #313, .T.);
#313 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#314, #315, #316, #317), .UNSPECIFIED., .F., .U., (4, 4), (0., 4.2), .UNSPECIFIED.);
#314 = CARTESIAN_POINT('', (-22.1, -2.14242852856286, 2.1));
#315 = CARTESIAN_POINT('', (-20.7, -2.14242852856286, 2.1));
#316 = CARTESIAN_POINT('', (-19.3, -2.14242852856286, 2.1));
#317 = CARTESIAN_POINT('', (-17.9, -2.14242852856286, 2.1));
#318 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#319, #320, #321, #322, #323, #324, #325, #326, #327), (#328, #329, #330, #331, #332, #333, #334, #335, #336)), .UNSPECIFIED., .F., .T., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 2, 2, 3), (0., 1.), (0., 4.71238898038469, 9.42477796076938, 14.1371669411541, 18.8495559215388), .UNSPECIFIED.)
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.), (1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1., 0.707106781186548, 1.)))
   REPRESENTATION_ITEM ('')
   SURFACE ()
);
#319 = CARTESIAN_POINT('', (1.51, 3., 0.));
#320 = CARTESIAN_POINT('', (1.51, 3., 3.));
#321 = CARTESIAN_POINT('', (1.51, 1.83697019872103E-16, 3.));
#322 = CARTESIAN_POINT('', (1.51, -3., 3.));
#323 = CARTESIAN_POINT('', (1.51, -3., 3.67394039744206E-16));
#324 = CARTESIAN_POINT('', (1.51, -3., -3.));
#325 = CARTESIAN_POINT('', (1.51, -5.51091059616309E-16, -3.));
#326 = CARTESIAN_POINT('', (1.51, 3., -3.));
#327 = CARTESIAN_POINT('', (1.51, 3., 0.));
#328 = CARTESIAN_POINT('', (-37.7, 3., 0.));
#329 = CARTESIAN_POINT('', (-37.7, 3., 3.));
#330 = CARTESIAN_POINT('', (-37.7, 1.83697019872103E-16, 3.));
#331 = CARTESIAN_POINT('', (-37.7, -3., 3.));
#332 = CARTESIAN_POINT('', (-37.7, -3., 3.67394039744206E-16));
#333 = CARTESIAN_POINT('', (-37.7, -3., -3.));
#334 = CARTESIAN_POINT('', (-37.7, -5.51091059616309E-16, -3.));
#335 = CARTESIAN_POINT('', (-37.7, 3., -3.));
#336 = CARTESIAN_POINT('', (-37.7, 3., 0.));
#337 = ADVANCED_FACE('', (#338), #352, .T.);
#338 = FACE_OUTER_BOUND('', #339, .T.);
#339 = EDGE_LOOP('', (#340, #341, #346, #347));
#340 = ORIENTED_EDGE('', *, *, #312, .T.);
#341 = ORIENTED_EDGE('', *, *, #342, .T.);
#342 = EDGE_CURVE('', #238, #229, #343, .T.);
#343 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#344, #345), .UNSPECIFIED., .F., .U., (2, 2), (0.142928578572857, 0.857071421427142), .UNSPECIFIED.);
#344 = CARTESIAN_POINT('', (-17.9, -2.14242852856286, 2.1));
#345 = CARTESIAN_POINT('', (-17.9, 2.14242852856285, 2.1));
#346 = ORIENTED_EDGE('', *, *, #228, .F.);
#347 = ORIENTED_EDGE('', *, *, #348, .F.);
#348 = EDGE_CURVE('', #151, #149, #349, .T.);
#349 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#350, #351), .UNSPECIFIED., .F., .U., (2, 2), (0.142928578572857, 0.857071421427142), .UNSPECIFIED.);
#350 = CARTESIAN_POINT('', (-22.1, -2.14242852856286, 2.1));
#351 = CARTESIAN_POINT('', (-22.1, 2.14242852856285, 2.1));
#352 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#353, #354), (#355, #356)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.142928578572857, 0.857071421427142), (0., 1.), .UNSPECIFIED.);
#353 = CARTESIAN_POINT('', (-17.9, -2.14242852856286, 2.1));
#354 = CARTESIAN_POINT('', (-22.1, -2.14242852856286, 2.1));
#355 = CARTESIAN_POINT('', (-17.9, 2.14242852856285, 2.1));
#356 = CARTESIAN_POINT('', (-22.1, 2.14242852856285, 2.1));
#357 = ADVANCED_FACE('', (#358), #362, .T.);
#358 = FACE_OUTER_BOUND('', #359, .T.);
#359 = EDGE_LOOP('', (#360, #361));
#360 = ORIENTED_EDGE('', *, *, #342, .F.);
#361 = ORIENTED_EDGE('', *, *, #237, .F.);
#362 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#363, #364), (#365, #366)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.142928578572857, 0.857071421427142), (0., 1.), .UNSPECIFIED.);
#363 = CARTESIAN_POINT('', (-16.9841533463251, -2.14242852856286, 3.));
#364 = CARTESIAN_POINT('', (-17.9, -2.14242852856286, 2.1));
#365 = CARTESIAN_POINT('', (-16.9841533463251, 2.14242852856285, 3.));
#366 = CARTESIAN_POINT('', (-17.9, 2.14242852856285, 2.1));
#367 = ADVANCED_FACE('', (#368), #372, .T.);
#368 = FACE_OUTER_BOUND('', #369, .T.);
#369 = EDGE_LOOP('', (#370, #371));
#370 = ORIENTED_EDGE('', *, *, #148, .T.);
#371 = ORIENTED_EDGE('', *, *, #348, .T.);
#372 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#373, #374), (#375, #376)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.142928578572857, 0.857071421427142), (0., 1.), .UNSPECIFIED.);
#373 = CARTESIAN_POINT('', (-22.1, -2.14242852856286, 2.1));
#374 = CARTESIAN_POINT('', (-23.0158466536749, -2.14242852856286, 3.));
#375 = CARTESIAN_POINT('', (-22.1, 2.14242852856285, 2.1));
#376 = CARTESIAN_POINT('', (-23.0158466536749, 2.14242852856285, 3.));
#377 = ADVANCED_FACE('', (#378), #490, .T.);
#378 = FACE_OUTER_BOUND('', #379, .T.);
#379 = EDGE_LOOP('', (#380, #391, #400, #430, #438));
#380 = ORIENTED_EDGE('', *, *, #381, .T.);
#381 = EDGE_CURVE('', #382, #384, #386, .T.);
#382 = VERTEX_POINT('', #383);
#383 = CARTESIAN_POINT('', (8., -0.821546463306086, -1.54517358527424));
#384 = VERTEX_POINT('', #385);
#385 = CARTESIAN_POINT('', (8., -1.25378245452024, 0.354615384220638));
#386 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#387, #388, #389, #390), .UNSPECIFIED., .F., .U., (4, 4), (0.513957679381896, 2.46229699292954), .UNSPECIFIED.);
#387 = CARTESIAN_POINT('', (8., -0.821546463306086, -1.54517358527424));
#388 = CARTESIAN_POINT('', (8., -0.965625127044135, -0.911910595442618));
#389 = CARTESIAN_POINT('', (8., -1.10970379078218, -0.27864760561099));
#390 = CARTESIAN_POINT('', (8., -1.25378245452023, 0.354615384220637));
#391 = ORIENTED_EDGE('', *, *, #392, .T.);
#392 = EDGE_CURVE('', #384, #393, #395, .T.);
#393 = VERTEX_POINT('', #394);
#394 = CARTESIAN_POINT('', (7.6431359487255, -1.6170033486437, 0.669178728349208));
#395 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#396, #397, #398, #399), .UNSPECIFIED., .F., .U., (4, 4), (4.05, 4.4068640512745), .UNSPECIFIED.);
#396 = CARTESIAN_POINT('', (8., -1.25378245452024, 0.354615384220638));
#397 = CARTESIAN_POINT('', (7.88104531624184, -1.34781990454705, 0.433799367769007));
#398 = CARTESIAN_POINT('', (7.76209063248367, -1.47055806028365, 0.534958304284739));
#399 = CARTESIAN_POINT('', (7.6431359487255, -1.6170033486437, 0.669178728349208));
#400 = ORIENTED_EDGE('', *, *, #401, .F.);
#401 = EDGE_CURVE('', #402, #393, #404, .T.);
#402 = VERTEX_POINT('', #403);
#403 = CARTESIAN_POINT('', (7.5, -1.74699313176268, -0.10254266221441));
#404 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#405, #406, #407, #408, #409, #410, #411, #412, #413, #414, #415, #416, #417, #418, #419, #420, #421, #422, #423, #424, #425, #426, #427, #428, #429), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.0871736398540225, 0.104451604582785, 0.236575735686078, 0.368149453448578, 0.49912331094256, 0.62945368486947, 0.759113607782683, 0.807292109749617), .UNSPECIFIED.);
#405 = CARTESIAN_POINT('', (7.5, -1.74699313176268, -0.102542662214363));
#406 = CARTESIAN_POINT('', (7.5000301018608, -1.74869580077394, -0.0735347253800656));
#407 = CARTESIAN_POINT('', (7.50051059282136, -1.74967588230621, -0.0444719411877328));
#408 = CARTESIAN_POINT('', (7.50146647547846, -1.74993196633688, -0.0154309168156203));
#409 = CARTESIAN_POINT('', (7.50165593305831, -1.74998272263037, -0.00967493604403923));
#410 = CARTESIAN_POINT('', (7.50186408556072, -1.7500050736937, -0.00391921904766408));
#411 = CARTESIAN_POINT('', (7.50209113923637, -1.74999903728315, 0.00183562197610261));
#412 = CARTESIAN_POINT('', (7.50382741258105, -1.74995287701419, 0.0458427363462931));
#413 = CARTESIAN_POINT('', (7.50667090084007, -1.74824193107114, 0.0898519855028247));
#414 = CARTESIAN_POINT('', (7.51072232490256, -1.74489447746304, 0.133578675390083));
#415 = CARTESIAN_POINT('', (7.51475687121656, -1.74156096894664, 0.177123205112792));
#416 = CARTESIAN_POINT('', (7.5199978630594, -1.73659676302684, 0.220481538525945));
#417 = CARTESIAN_POINT('', (7.52656213953797, -1.73007107891029, 0.263351593726335));
#418 = CARTESIAN_POINT('', (7.53309648869733, -1.72357514616576, 0.306026199233115));
#419 = CARTESIAN_POINT('', (7.54095686851474, -1.71551624380412, 0.3483146840814));
#420 = CARTESIAN_POINT('', (7.55027968535327, -1.70601377277255, 0.389893584341106));
#421 = CARTESIAN_POINT('', (7.55955669855168, -1.69655798803452, 0.431268204605048));
#422 = CARTESIAN_POINT('', (7.57030462747838, -1.68564822197973, 0.472042572281093));
#423 = CARTESIAN_POINT('', (7.58268266172134, -1.67346797634822, 0.511864173523598));
#424 = CARTESIAN_POINT('', (7.5949970203578, -1.66135038885069, 0.551480922803237));
#425 = CARTESIAN_POINT('', (7.60895873343769, -1.64794032197634, 0.590263736254342));
#426 = CARTESIAN_POINT('', (7.62475059990244, -1.63350711979552, 0.627817242179092));
#427 = CARTESIAN_POINT('', (7.6306184768257, -1.62814408977024, 0.641771219772245));
#428 = CARTESIAN_POINT('', (7.63674354346816, -1.62263685368887, 0.655565927857003));
#429 = CARTESIAN_POINT('', (7.6431359487255, -1.6170033486437, 0.669178728349208));
#430 = ORIENTED_EDGE('', *, *, #431, .T.);
#431 = EDGE_CURVE('', #402, #432, #434, .T.);
#432 = VERTEX_POINT('', #433);
#433 = CARTESIAN_POINT('', (7.5, -1.74664161834764, -0.108365386798281));
#434 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#435, #436, #437), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (5.61041337698843, 5.61673943877006), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.976982801159414, 0.976363995200662, 0.975748291588529))
   REPRESENTATION_ITEM ('')
);
#435 = CARTESIAN_POINT('', (7.5, -1.74699313176268, -0.10254266221441));
#436 = CARTESIAN_POINT('', (7.5, -1.74682222732565, -0.105454317434191));
#437 = CARTESIAN_POINT('', (7.5, -1.74664161834764, -0.108365386798281));
#438 = ORIENTED_EDGE('', *, *, #439, .F.);
#439 = EDGE_CURVE('', #382, #432, #440, .T.);
#440 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#441, #442, #443, #444, #445, #446, #447, #448, #449, #450, #451, #452, #453, #454, #455, #456, #457, #458, #459, #460, #461, #462, #463, #464, #465, #466, #467, #468, #469, #470, #471, #472, #473, #474, #475, #476, #477, #478, #479, #480, #481, #482, #483, #484, #485, #486, #487, #488, #489), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (4.7836262155811, 4.86046737654319, 4.9489087282645, 5.03736683414933, 5.12583103301261, 5.25921230208255, 5.39253866477113, 5.52576865703554, 5.65886420213371, 5.79178953644503, 5.92451022464835, 6.05699229563872, 6.18920150756568, 6.32110274845187, 6.45265959177194, 6.54014534381497, 6.65800967535785), .UNSPECIFIED.);
#441 = CARTESIAN_POINT('', (8., -0.821546463306086, -1.54517358527424));
#442 = CARTESIAN_POINT('', (7.98680567691278, -0.840930773878132, -1.53486722749939));
#443 = CARTESIAN_POINT('', (7.97390725568605, -0.860286436107136, -1.52410772257572));
#444 = CARTESIAN_POINT('', (7.96129930165992, -0.879561485198295, -1.51290171318453));
#445 = CARTESIAN_POINT('', (7.94678801002209, -0.901746358185285, -1.50000400828849));
#446 = CARTESIAN_POINT('', (7.9326518114623, -0.923839123832497, -1.48650622630044));
#447 = CARTESIAN_POINT('', (7.91888193807548, -0.945771414294646, -1.47241856545743));
#448 = CARTESIAN_POINT('', (7.90510945614973, -0.967707859568697, -1.45832823587442));
#449 = CARTESIAN_POINT('', (7.89169542314465, -0.989496645896394, -1.44363957408967));
#450 = CARTESIAN_POINT('', (7.87863425321834, -1.01107349308625, -1.42836633661635));
#451 = CARTESIAN_POINT('', (7.86557218364099, -1.03265182648546, -1.41309204712518));
#452 = CARTESIAN_POINT('', (7.85285537775724, -1.0540309086192, -1.39722412797535));
#453 = CARTESIAN_POINT('', (7.84048097140101, -1.0751497592907, -1.3807798503373));
#454 = CARTESIAN_POINT('', (7.82182354788969, -1.10699155676424, -1.35598610723576));
#455 = CARTESIAN_POINT('', (7.80392331631187, -1.13827685559896, -1.32985286683094));
#456 = CARTESIAN_POINT('', (7.78678033510397, -1.16880826268934, -1.30245431592402));
#457 = CARTESIAN_POINT('', (7.76964441080196, -1.19932710153013, -1.27506704362688));
#458 = CARTESIAN_POINT('', (7.75324153575523, -1.22913495214694, -1.24637760717963));
#459 = CARTESIAN_POINT('', (7.73758165575329, -1.25804660884903, -1.21647800225218));
#460 = CARTESIAN_POINT('', (7.7219330949627, -1.28693736774394, -1.18660000923667));
#461 = CARTESIAN_POINT('', (7.70700429090499, -1.31497430791008, -1.15547108879836));
#462 = CARTESIAN_POINT('', (7.692813436156, -1.34198355077863, -1.12320084999949));
#463 = CARTESIAN_POINT('', (7.6786369019078, -1.36896553765096, -1.09096317625663));
#464 = CARTESIAN_POINT('', (7.66517611521846, -1.3949613861052, -1.05753922313036));
#465 = CARTESIAN_POINT('', (7.65245636036599, -1.41980859399912, -1.02305598889125));
#466 = CARTESIAN_POINT('', (7.63975287232005, -1.44462402575204, -0.988616853937572));
#467 = CARTESIAN_POINT('', (7.62776935900643, -1.46833117548531, -0.953069064142438));
#468 = CARTESIAN_POINT('', (7.61653742459802, -1.49077958426929, -0.916556725536325));
#469 = CARTESIAN_POINT('', (7.60532278239109, -1.51319343245193, -0.880100599750951));
#470 = CARTESIAN_POINT('', (7.59483993650333, -1.53438725768225, -0.842626007035431));
#471 = CARTESIAN_POINT('', (7.58512635697055, -1.55422375327271, -0.804293805000944));
#472 = CARTESIAN_POINT('', (7.57543024138636, -1.57402458502389, -0.766030520053462));
#473 = CARTESIAN_POINT('', (7.56648502992219, -1.59250469410217, -0.726851102143585));
#474 = CARTESIAN_POINT('', (7.55833388609881, -1.6095413737182, -0.686932723262869));
#475 = CARTESIAN_POINT('', (7.55019953030911, -1.62654296471877, -0.647096559970967));
#476 = CARTESIAN_POINT('', (7.54284245972297, -1.64213513852002, -0.606458305931019));
#477 = CARTESIAN_POINT('', (7.5363116288735, -1.656211519514, -0.565210936402632));
#478 = CARTESIAN_POINT('', (7.52979601108479, -1.67025511067705, -0.524059649402363));
#479 = CARTESIAN_POINT('', (7.52409160338213, -1.68281384042907, -0.482231558115658));
#480 = CARTESIAN_POINT('', (7.51925352862085, -1.69379966355133, -0.439934881264718));
#481 = CARTESIAN_POINT('', (7.51442808619843, -1.70475680240405, -0.397748642135707));
#482 = CARTESIAN_POINT('', (7.51045588868146, -1.71416840117354, -0.355021647067954));
#483 = CARTESIAN_POINT('', (7.50739891476101, -1.72196703670245, -0.311976801237159));
#484 = CARTESIAN_POINT('', (7.5053660166186, -1.72715315607821, -0.283351831117424));
#485 = CARTESIAN_POINT('', (7.50373575515045, -1.73163197759488, -0.254557761398078));
#486 = CARTESIAN_POINT('', (7.50252839966506, -1.73538920941752, -0.225664112871877));
#487 = CARTESIAN_POINT('', (7.50090180168885, -1.74045110357613, -0.186737424927305));
#488 = CARTESIAN_POINT('', (7.50004065170442, -1.7442087789114, -0.147578079482052));
#489 = CARTESIAN_POINT('', (7.5, -1.74664161834763, -0.108365386798436));
#490 = B_SPLINE_SURFACE_WITH_KNOTS('', 3, 1, ((#491, #492), (#493, #494), (#495, #496), (#497, #498)), .UNSPECIFIED., .F., .F., .U., (4, 4), (2, 2), (4.04999999999993, 4.55), (0., 0.716032382992882), .UNSPECIFIED.);
#491 = CARTESIAN_POINT('', (8.00000000000007, -1.25378245452018, 0.35461538422059));
#492 = CARTESIAN_POINT('', (8.00000000000007, -0.821546463306007, -1.54517358527418));
#493 = CARTESIAN_POINT('', (7.83333333333338, -1.38553774016884, 0.46555957048084));
#494 = CARTESIAN_POINT('', (7.83333333333338, -1.00460001958949, -1.68662762286509));
#495 = CARTESIAN_POINT('', (7.6666666666667, -1.57363434109315, 0.619641990546955));
#496 = CARTESIAN_POINT('', (7.6666666666667, -1.26028136755273, -1.88979251043616));
#497 = CARTESIAN_POINT('', (7.5, -1.80433775205862, 0.847355452796471));
#498 = CARTESIAN_POINT('', (7.5, -1.62471905592583, -2.12797963525075));
#499 = ADVANCED_FACE('', (#500), #531, .T.);
#500 = FACE_OUTER_BOUND('', #501, .T.);
#501 = EDGE_LOOP('', (#502, #511, #530));
#502 = ORIENTED_EDGE('', *, *, #503, .T.);
#503 = EDGE_CURVE('', #384, #504, #506, .T.);
#504 = VERTEX_POINT('', #505);
#505 = CARTESIAN_POINT('', (8., -1.68394104491095, 0.476279914823422));
#506 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#507, #508, #509, #510), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.447033187687141), .UNSPECIFIED.);
#507 = CARTESIAN_POINT('', (8., -1.25378245452023, 0.354615384220637));
#508 = CARTESIAN_POINT('', (8., -1.39716865131714, 0.395170227754899));
#509 = CARTESIAN_POINT('', (8., -1.54055484811405, 0.43572507128916));
#510 = CARTESIAN_POINT('', (8., -1.68394104491095, 0.476279914823422));
#511 = ORIENTED_EDGE('', *, *, #512, .F.);
#512 = EDGE_CURVE('', #393, #504, #513, .T.);
#513 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#514, #515, #516, #517, #518, #519, #520, #521, #522, #523, #524, #525, #526, #527, #528, #529), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 4), (0., 0.087543310682135, 0.175084615619048, 0.262624675782132, 0.350164101870409, 0.411202829562686), .UNSPECIFIED.);
#514 = CARTESIAN_POINT('', (7.6431359487255, -1.6170033486437, 0.669178728349208));
#515 = CARTESIAN_POINT('', (7.66846793597032, -1.62254239499594, 0.655794177824171));
#516 = CARTESIAN_POINT('', (7.6937949324932, -1.62791897865479, 0.642331734078495));
#517 = CARTESIAN_POINT('', (7.71911842230592, -1.63312912953693, 0.628799845943003));
#518 = CARTESIAN_POINT('', (7.74444133192046, -1.6383391610469, 0.61526826784285));
#519 = CARTESIAN_POINT('', (7.76976169647922, -1.64338296837538, 0.601666724354047));
#520 = CARTESIAN_POINT('', (7.795081053587, -1.6482570624227, 0.588003959318048));
#521 = CARTESIAN_POINT('', (7.82040005067188, -1.65313108716393, 0.574341388556653));
#522 = CARTESIAN_POINT('', (7.84571899999807, -1.65783559151686, 0.56061706432812));
#523 = CARTESIAN_POINT('', (7.87103958953411, -1.66236753677249, 0.546840171060023));
#524 = CARTESIAN_POINT('', (7.8963599956667, -1.6668994492021, 0.533063377581451));
#525 = CARTESIAN_POINT('', (7.92168299945928, -1.67125897907342, 0.519233473837948));
#526 = CARTESIAN_POINT('', (7.94701056839517, -1.67544351562863, 0.505360293194841));
#527 = CARTESIAN_POINT('', (7.96467075481022, -1.67836127278932, 0.495686922768053));
#528 = CARTESIAN_POINT('', (7.98233377839827, -1.68119405967053, 0.485992189164911));
#529 = CARTESIAN_POINT('', (8., -1.68394104491095, 0.476279914823422));
#530 = ORIENTED_EDGE('', *, *, #392, .F.);
#531 = B_SPLINE_SURFACE_WITH_KNOTS('', 3, 1, ((#532, #533), (#534, #535), (#536, #537), (#538, #539)), .UNSPECIFIED., .F., .F., .U., (4, 4), (2, 2), (4.04999999999996, 4.4068640512745), (0.588293561927069, 1.), .UNSPECIFIED.);
#532 = CARTESIAN_POINT('', (8.00000000000005, -1.6839410449109, 0.476279914823382));
#533 = CARTESIAN_POINT('', (8.00000000000005, -1.2537824545202, 0.354615384220607));
#534 = CARTESIAN_POINT('', (7.88104531624187, -1.81024168126773, 0.582631028221027));
#535 = CARTESIAN_POINT('', (7.88104531624187, -1.34781990454702, 0.43379936776898));
#536 = CARTESIAN_POINT('', (7.76209063248369, -1.9750899110993, 0.718496452596886));
#537 = CARTESIAN_POINT('', (7.76209063248369, -1.47055806028363, 0.534958304284721));
#538 = CARTESIAN_POINT('', (7.6431359487255, -2.17177892282878, 0.898766387251564));
#539 = CARTESIAN_POINT('', (7.6431359487255, -1.6170033486437, 0.669178728349209));
#540 = ADVANCED_FACE('', (#541), #650, .T.);
#541 = FACE_OUTER_BOUND('', #542, .T.);
#542 = EDGE_LOOP('', (#543, #554, #563, #587, #595));
#543 = ORIENTED_EDGE('', *, *, #544, .T.);
#544 = EDGE_CURVE('', #545, #547, #549, .T.);
#545 = VERTEX_POINT('', #546);
#546 = CARTESIAN_POINT('', (8., -0.927386346451135, 1.48406690024945));
#547 = VERTEX_POINT('', #548);
#548 = CARTESIAN_POINT('', (8., 0.933997158567971, 0.908499764323413));
#549 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#550, #551, #552, #553), .UNSPECIFIED., .F., .U., (4, 4), (0.513867106585731, 2.46220642013338), .UNSPECIFIED.);
#550 = CARTESIAN_POINT('', (8., -0.927386346451134, 1.48406690024945));
#551 = CARTESIAN_POINT('', (8., -0.306925178111433, 1.29221118827411));
#552 = CARTESIAN_POINT('', (8., 0.313535990228267, 1.10035547629876));
#553 = CARTESIAN_POINT('', (8., 0.933997158567969, 0.90849976432341));
#554 = ORIENTED_EDGE('', *, *, #555, .T.);
#555 = EDGE_CURVE('', #547, #556, #558, .T.);
#556 = VERTEX_POINT('', #557);
#557 = CARTESIAN_POINT('', (7.64313594872551, 1.38802745274443, 1.06577661375535));
#558 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#559, #560, #561, #562), .UNSPECIFIED., .F., .U., (4, 4), (4.05, 4.4068640512745), .UNSPECIFIED.);
#559 = CARTESIAN_POINT('', (8., 0.933997158567971, 0.908499764323413));
#560 = CARTESIAN_POINT('', (7.88104531624183, 1.04959122490712, 0.950346593179563));
#561 = CARTESIAN_POINT('', (7.76209063248367, 1.19856651161785, 1.00606148580324));
#562 = CARTESIAN_POINT('', (7.6431359487255, 1.38802745274443, 1.06577661375535));
#563 = ORIENTED_EDGE('', *, *, #564, .T.);
#564 = EDGE_CURVE('', #556, #565, #567, .T.);
#565 = VERTEX_POINT('', #566);
#566 = CARTESIAN_POINT('', (7.5, 0.784692015432094, 1.56421176345056));
#567 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#568, #569, #570, #571, #572, #573, #574, #575, #576, #577, #578, #579, #580, #581, #582, #583, #584, #585, #586), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 4), (0., 0.135002599829177, 0.269220416405397, 0.402676623593522, 0.535429072043035, 0.667545932118396, 0.807228737251572), .UNSPECIFIED.);
#568 = CARTESIAN_POINT('', (7.64313594872551, 1.38802745274443, 1.06577661375535));
#569 = CARTESIAN_POINT('', (7.6252235750802, 1.36288592950933, 1.0985199898097));
#570 = CARTESIAN_POINT('', (7.60939213020497, 1.33598200791723, 1.1311419438978));
#571 = CARTESIAN_POINT('', (7.59542591124032, 1.30754989601329, 1.16310501221327));
#572 = CARTESIAN_POINT('', (7.58154087926588, 1.27928306274321, 1.19488227610158));
#573 = CARTESIAN_POINT('', (7.56945611664553, 1.24941935912609, 1.22610900791538));
#574 = CARTESIAN_POINT('', (7.55898863242057, 1.21819092289238, 1.25638802739544));
#575 = CARTESIAN_POINT('', (7.54858054518521, 1.18713969018365, 1.28649523074791));
#576 = CARTESIAN_POINT('', (7.53974366018769, 1.15465672924635, 1.31574760982586));
#577 = CARTESIAN_POINT('', (7.53232639182294, 1.12097409343298, 1.34384414343781));
#578 = CARTESIAN_POINT('', (7.52494823716851, 1.0874690773032, 1.37179251473142));
#579 = CARTESIAN_POINT('', (7.51895720681222, 1.05269690012375, 1.39866543645557));
#580 = CARTESIAN_POINT('', (7.51422771801204, 1.0168898112219, 1.42423141091365));
#581 = CARTESIAN_POINT('', (7.50952087292301, 0.981254158475729, 1.44967498133075));
#582 = CARTESIAN_POINT('', (7.50605326752273, 0.944514918809302, 1.47388111896074));
#583 = CARTESIAN_POINT('', (7.50371987286902, 0.906903914785316, 1.49667140326361));
#584 = CARTESIAN_POINT('', (7.50125285154769, 0.867139038879631, 1.52076682030117));
#585 = CARTESIAN_POINT('', (7.50004823375935, 0.826309800143797, 1.54333406381511));
#586 = CARTESIAN_POINT('', (7.5, 0.784692015438484, 1.56421176344736));
#587 = ORIENTED_EDGE('', *, *, #588, .T.);
#588 = EDGE_CURVE('', #565, #589, #591, .T.);
#589 = VERTEX_POINT('', #590);
#590 = CARTESIAN_POINT('', (7.5, 0.779473631315463, 1.56681870619542));
#591 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#592, #593, #594), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (1.91066735430564, 1.91634365147585), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.875843407523626, 0.876079364082346, 0.876317818418336))
   REPRESENTATION_ITEM ('')
);
#592 = CARTESIAN_POINT('', (7.5, 0.784692015432094, 1.56421176345056));
#593 = CARTESIAN_POINT('', (7.5, 0.782084995826066, 1.56551958347642));
#594 = CARTESIAN_POINT('', (7.5, 0.779473631315463, 1.56681870619542));
#595 = ORIENTED_EDGE('', *, *, #596, .T.);
#596 = EDGE_CURVE('', #589, #545, #597, .T.);
#597 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#598, #599, #600, #601, #602, #603, #604, #605, #606, #607, #608, #609, #610, #611, #612, #613, #614, #615, #616, #617, #618, #619, #620, #621, #622, #623, #624, #625, #626, #627, #628, #629, #630, #631, #632, #633, #634, #635, #636, #637, #638, #639, #640, #641, #642, #643, #644, #645, #646, #647, #648, #649), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.130994338849439, 0.26154735426902, 0.391710177166964, 0.521528933374101, 0.651045616215423, 0.780299027667214, 0.80615539396439, 0.823418337415326, 0.954238808598539, 1.08482450933557, 1.21521268742176, 1.34544115250981, 1.47554939436395, 1.60557984144276, 1.73557924923597, 1.8656001465874, 1.87434881273556), .UNSPECIFIED.);
#598 = CARTESIAN_POINT('', (7.5, 0.779473631315718, 1.56681870619529));
#599 = CARTESIAN_POINT('', (7.50004518027697, 0.740379484526077, 1.5862675782574));
#600 = CARTESIAN_POINT('', (7.50110387033821, 0.70052036712481, 1.60426738411245));
#601 = CARTESIAN_POINT('', (7.5031009920886, 0.660123584676301, 1.62072109042676));
#602 = CARTESIAN_POINT('', (7.50509138548242, 0.619862900067913, 1.6371193637646));
#603 = CARTESIAN_POINT('', (7.50801764774145, 0.57899376223695, 1.65201258889002));
#604 = CARTESIAN_POINT('', (7.51181464643161, 0.537739442662286, 1.66533368782513));
#605 = CARTESIAN_POINT('', (7.51560029677804, 0.496608422629432, 1.67861497310165));
#606 = CARTESIAN_POINT('', (7.52025822781639, 0.455021847499638, 1.69035725394975));
#607 = CARTESIAN_POINT('', (7.52573150960639, 0.413197806056564, 1.70051979496566));
#608 = CARTESIAN_POINT('', (7.53119032356362, 0.371484320448214, 1.71065547276686));
#609 = CARTESIAN_POINT('', (7.53746946679174, 0.329463965717713, 1.71923714040799));
#610 = CARTESIAN_POINT('', (7.54451899381258, 0.287348610756905, 1.72624759982341));
#611 = CARTESIAN_POINT('', (7.55155211739206, 0.245331253399811, 1.73324174670331));
#612 = CARTESIAN_POINT('', (7.55936350977826, 0.203150975262139, 1.7386835509184));
#613 = CARTESIAN_POINT('', (7.567909400777, 0.161012522288543, 1.74257710522843));
#614 = CARTESIAN_POINT('', (7.57643792035649, 0.118959725068505, 1.74646274502558));
#615 = CARTESIAN_POINT('', (7.58571131285419, 0.0768827710387132, 1.74881265631966));
#616 = CARTESIAN_POINT('', (7.59569150375709, 0.0349785280392983, 1.74965039438632));
#617 = CARTESIAN_POINT('', (7.59768798082336, 0.0265958366717837, 1.74981797883975));
#618 = CARTESIAN_POINT('', (7.59971310394446, 0.0182184945416393, 1.74992518501643));
#619 = CARTESIAN_POINT('', (7.60176659405176, 0.00984804178926671, 1.74997229008716));
#620 = CARTESIAN_POINT('', (7.60313760199588, 0.00425952827340112, 1.75000373967923));
#621 = CARTESIAN_POINT('', (7.60452130048276, -0.00132610166464329, 1.75000840109791));
#622 = CARTESIAN_POINT('', (7.60591760857467, -0.00690839270457621, 1.74998636397837));
#623 = CARTESIAN_POINT('', (7.61649898382043, -0.0492116039849369, 1.74981936427929));
#624 = CARTESIAN_POINT('', (7.62781365738368, -0.0913585461409656, 1.7481163544731));
#625 = CARTESIAN_POINT('', (7.6398295779196, -0.133155669570104, 1.7449268086832));
#626 = CARTESIAN_POINT('', (7.6518239346819, -0.174877783872398, 1.74174298685288));
#627 = CARTESIAN_POINT('', (7.66453469880752, -0.216312902683928, 1.73707336465811));
#628 = CARTESIAN_POINT('', (7.67793582059771, -0.257277224182248, 1.7309848150452));
#629 = CARTESIAN_POINT('', (7.69131667198245, -0.298179583449437, 1.72490547491275));
#630 = CARTESIAN_POINT('', (7.7054047933995, -0.338670783919056, 1.71740291868688));
#631 = CARTESIAN_POINT('', (7.72018056949674, -0.378576916302091, 1.70856065693999));
#632 = CARTESIAN_POINT('', (7.73493824668705, -0.418434167504782, 1.69972922611469));
#633 = CARTESIAN_POINT('', (7.75040212037812, -0.457762602616948, 1.68954926345664));
#634 = CARTESIAN_POINT('', (7.76655977114807, -0.496398090580811, 1.67812065587303));
#635 = CARTESIAN_POINT('', (7.78270250563205, -0.534997911355451, 1.66670259885655));
#636 = CARTESIAN_POINT('', (7.79955914795582, -0.572957522353115, 1.65402297507615));
#637 = CARTESIAN_POINT('', (7.81712563780776, -0.610122120637302, 1.64019846296387));
#638 = CARTESIAN_POINT('', (7.83468162424262, -0.647264497334813, 1.62638221685226));
#639 = CARTESIAN_POINT('', (7.85296924370106, -0.683661040947493, 1.61140444306092));
#640 = CARTESIAN_POINT('', (7.87199447529435, -0.719165353063423, 1.59540001095436));
#641 = CARTESIAN_POINT('', (7.89101516541593, -0.754661190022123, 1.57939939923102));
#642 = CARTESIAN_POINT('', (7.91079712880194, -0.789310484043861, 1.56235205386856));
#643 = CARTESIAN_POINT('', (7.9313587488924, -0.82297359488398, 1.54441395426347));
#644 = CARTESIAN_POINT('', (7.95192376792243, -0.856642270406222, 1.52647288939998));
#645 = CARTESIAN_POINT('', (7.9732944520513, -0.889367187292038, 1.50761768551314));
#646 = CARTESIAN_POINT('', (7.99550485555527, -0.921012633937507, 1.48803082230426));
#647 = CARTESIAN_POINT('', (7.99699931843954, -0.923141948943404, 1.48671288856749));
#648 = CARTESIAN_POINT('', (7.9984977748085, -0.925266646014577, 1.48539149096912));
#649 = CARTESIAN_POINT('', (8., -0.927386346451135, 1.48406690024945));
#650 = B_SPLINE_SURFACE_WITH_KNOTS('', 3, 1, ((#651, #652), (#653, #654), (#655, #656), (#657, #658)), .UNSPECIFIED., .F., .F., .U., (4, 4), (2, 2), (4.05, 4.55), (0., 0.716032382992882), .UNSPECIFIED.);
#651 = CARTESIAN_POINT('', (8., 0.933997158567968, 0.908499764323412));
#652 = CARTESIAN_POINT('', (8., -0.927386346451136, 1.48406690024945));
#653 = CARTESIAN_POINT('', (7.83333333333334, 1.09595528509586, 0.967131095647903));
#654 = CARTESIAN_POINT('', (7.83333333333334, -0.958362358330991, 1.71332294903948));
#655 = CARTESIAN_POINT('', (7.66666666666667, 1.32344287561184, 1.05298632038079));
#656 = CARTESIAN_POINT('', (7.66666666666667, -1.00646763814292, 2.036331935435));
#657 = CARTESIAN_POINT('', (7.5, 1.63600022418632, 1.13892460389184));
#658 = CARTESIAN_POINT('', (7.5, -1.03052489490018, 2.47103779406981));
#659 = ADVANCED_FACE('', (#660), #691, .T.);
#660 = FACE_OUTER_BOUND('', #661, .T.);
#661 = EDGE_LOOP('', (#662, #671, #690));
#662 = ORIENTED_EDGE('', *, *, #663, .T.);
#663 = EDGE_CURVE('', #547, #664, #666, .T.);
#664 = VERTEX_POINT('', #665);
#665 = CARTESIAN_POINT('', (8., 1.25444102800485, 1.22019576595648));
#666 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#667, #668, #669, #670), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.447033187687138), .UNSPECIFIED.);
#667 = CARTESIAN_POINT('', (8., 0.93399715856797, 0.908499764323415));
#668 = CARTESIAN_POINT('', (8., 1.0408117817136, 1.01239843153444));
#669 = CARTESIAN_POINT('', (8., 1.14762640485922, 1.11629709874546));
#670 = CARTESIAN_POINT('', (8., 1.25444102800485, 1.22019576595649));
#671 = ORIENTED_EDGE('', *, *, #672, .F.);
#672 = EDGE_CURVE('', #556, #664, #673, .T.);
#673 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#674, #675, #676, #677, #678, #679, #680, #681, #682, #683, #684, #685, #686, #687, #688, #689), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 4), (0., 0.0875786822423414, 0.175155520324418, 0.26273122394613, 0.350306349427097, 0.411202827664893), .UNSPECIFIED.);
#674 = CARTESIAN_POINT('', (7.64313594872551, 1.38802745274443, 1.06577661375535));
#675 = CARTESIAN_POINT('', (7.66847817126877, 1.37920205071584, 1.0772704860538));
#676 = CARTESIAN_POINT('', (7.69381539925016, 1.37022783955236, 1.08866252596945));
#677 = CARTESIAN_POINT('', (7.71914911848571, 1.36111015767407, 1.09994506166284));
#678 = CARTESIAN_POINT('', (7.74448230426451, 1.35199266778847, 1.11122735977782));
#679 = CARTESIAN_POINT('', (7.76981294410429, 1.34273135931972, 1.12240059494973));
#680 = CARTESIAN_POINT('', (7.79514257754365, 1.33333206753822, 1.13345736473599));
#681 = CARTESIAN_POINT('', (7.82047188286584, 1.32393289751407, 1.14451399129412));
#682 = CARTESIAN_POINT('', (7.84580114264143, 1.31439537915219, 1.15545458570983));
#683 = CARTESIAN_POINT('', (7.87113204711751, 1.30472595560398, 1.16627191545251));
#684 = CARTESIAN_POINT('', (7.89646278436881, 1.29505659588954, 1.17708917378339));
#685 = CARTESIAN_POINT('', (7.92179612493388, 1.28525494988002, 1.18778359129674));
#686 = CARTESIAN_POINT('', (7.94713403921048, 1.27532823822363, 1.19834798151013));
#687 = CARTESIAN_POINT('', (7.96475308042638, 1.26842557291729, 1.20569406471803));
#688 = CARTESIAN_POINT('', (7.98237494915134, 1.26146221075404, 1.21297753102121));
#689 = CARTESIAN_POINT('', (8., 1.25444102800485, 1.22019576595648));
#690 = ORIENTED_EDGE('', *, *, #555, .F.);
#691 = B_SPLINE_SURFACE_WITH_KNOTS('', 3, 1, ((#692, #693), (#694, #695), (#696, #697), (#698, #699)), .UNSPECIFIED., .F., .F., .U., (4, 4), (2, 2), (4.04999999999997, 4.40686405127454), (0.588293561927072, 1.), .UNSPECIFIED.);
#692 = CARTESIAN_POINT('', (8.00000000000003, 1.25444102800481, 1.22019576595647));
#693 = CARTESIAN_POINT('', (8.00000000000003, 0.933997158567939, 0.908499764323401));
#694 = CARTESIAN_POINT('', (7.88104531624184, 1.40969411210636, 1.27639976885681));
#695 = CARTESIAN_POINT('', (7.88104531624184, 1.0495912249071, 0.950346593179558));
#696 = CARTESIAN_POINT('', (7.76209063248365, 1.60978113602761, 1.35122981147192));
#697 = CARTESIAN_POINT('', (7.76209063248365, 1.19856651161787, 1.00606148580324));
#698 = CARTESIAN_POINT('', (7.64313594872546, 1.86424398484189, 1.43143252494757));
#699 = CARTESIAN_POINT('', (7.64313594872546, 1.3880274527445, 1.06577661375537));
#700 = ADVANCED_FACE('', (#701), #816, .T.);
#701 = FACE_OUTER_BOUND('', #702, .T.);
#702 = EDGE_LOOP('', (#703, #714, #723, #750, #758, #806));
#703 = ORIENTED_EDGE('', *, *, #704, .T.);
#704 = EDGE_CURVE('', #705, #707, #709, .T.);
#705 = VERTEX_POINT('', #706);
#706 = CARTESIAN_POINT('', (8., 1.74893280975722, 0.0611066850247927));
#707 = VERTEX_POINT('', #708);
#708 = CARTESIAN_POINT('', (8., 0.319785295952265, -1.26311514854405));
#709 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#710, #711, #712, #713), .UNSPECIFIED., .F., .U., (4, 4), (0.513961076076105, 2.46230038962375), .UNSPECIFIED.);
#710 = CARTESIAN_POINT('', (8., 1.74893280975722, 0.0611066850247918));
#711 = CARTESIAN_POINT('', (8., 1.27255030515557, -0.380300592831488));
#712 = CARTESIAN_POINT('', (8., 0.796167800553917, -0.821707870687767));
#713 = CARTESIAN_POINT('', (8., 0.319785295952265, -1.26311514854405));
#714 = ORIENTED_EDGE('', *, *, #715, .T.);
#715 = EDGE_CURVE('', #707, #716, #718, .T.);
#716 = VERTEX_POINT('', #717);
#717 = CARTESIAN_POINT('', (7.64313594872551, 0.22897589589927, -1.73495534210455));
#718 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#719, #720, #721, #722), .UNSPECIFIED., .F., .U., (4, 4), (4.05000000000001, 4.4068640512745), .UNSPECIFIED.);
#719 = CARTESIAN_POINT('', (8., 0.319785295952265, -1.26311514854405));
#720 = CARTESIAN_POINT('', (7.88104531624183, 0.298228679639938, -1.38414596094857));
#721 = CARTESIAN_POINT('', (7.76209063248367, 0.271991548665793, -1.54101979008798));
#722 = CARTESIAN_POINT('', (7.6431359487255, 0.228975895899269, -1.73495534210455));
#723 = ORIENTED_EDGE('', *, *, #724, .F.);
#724 = EDGE_CURVE('', #725, #716, #727, .T.);
#725 = VERTEX_POINT('', #726);
#726 = CARTESIAN_POINT('', (7.5, 0.962301116330814, -1.46166910123614));
#727 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#728, #729, #730, #731, #732, #733, #734, #735, #736, #737, #738, #739, #740, #741, #742, #743, #744, #745, #746, #747, #748, #749), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 4), (0., 0.131147979129521, 0.261815211535313, 0.391959091607966, 0.521541198659299, 0.650534335661089, 0.778935698311094, 0.807268007623594), .UNSPECIFIED.);
#728 = CARTESIAN_POINT('', (7.5, 0.962301116330783, -1.46166910123616));
#729 = CARTESIAN_POINT('', (7.5000452866052, 0.925787812345103, -1.4857079162844));
#730 = CARTESIAN_POINT('', (7.50110996384528, 0.888335090605097, -1.50839886633206));
#731 = CARTESIAN_POINT('', (7.5032813448661, 0.850171718448799, -1.5296104239805));
#732 = CARTESIAN_POINT('', (7.50544476629564, 0.812148241060629, -1.55074422681402));
#733 = CARTESIAN_POINT('', (7.50871107080967, 0.773341695056564, -1.57045208382503));
#734 = CARTESIAN_POINT('', (7.51318074012932, 0.734011167101226, -1.58862443849095));
#735 = CARTESIAN_POINT('', (7.51763250739485, 0.694838166960552, -1.60672400869486));
#736 = CARTESIAN_POINT('', (7.52328737827424, 0.6550613506978, -1.6233385100927));
#737 = CARTESIAN_POINT('', (7.53026198115514, 0.614975262122348, -1.63838500572288));
#738 = CARTESIAN_POINT('', (7.53720647778954, 0.575062207292927, -1.65336655234964));
#739 = CARTESIAN_POINT('', (7.54547495166306, 0.534751413785348, -1.66682692701324));
#740 = CARTESIAN_POINT('', (7.55520354646488, 0.494381471064811, -1.67871586668733));
#741 = CARTESIAN_POINT('', (7.56488792334885, 0.454195015769391, -1.69055076935316));
#742 = CARTESIAN_POINT('', (7.57604294370539, 0.413850250148357, -1.7008566475873));
#743 = CARTESIAN_POINT('', (7.58882723391545, 0.373744222963158, -1.70962430253014));
#744 = CARTESIAN_POINT('', (7.60155287437694, 0.333822187878562, -1.71835173460964));
#745 = CARTESIAN_POINT('', (7.61592813466673, 0.294025669363629, -1.7255776265739));
#746 = CARTESIAN_POINT('', (7.63213428485753, 0.254834295996512, -1.73134614724611));
#747 = CARTESIAN_POINT('', (7.63571024114409, 0.246186552002973, -1.73261899598064));
#748 = CARTESIAN_POINT('', (7.63937676992982, 0.237565112268279, -1.73382175470582));
#749 = CARTESIAN_POINT('', (7.64313594872551, 0.22897589589927, -1.73495534210455));
#750 = ORIENTED_EDGE('', *, *, #751, .T.);
#751 = EDGE_CURVE('', #725, #752, #754, .T.);
#752 = VERTEX_POINT('', #753);
#753 = CARTESIAN_POINT('', (7.5, 0.967167987031944, -1.45845331939715));
#754 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#755, #756, #757), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (9.28288303120143, 9.28846989423219), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.862422599248065, 0.862276104454272, 0.862132029349252))
   REPRESENTATION_ITEM ('')
);
#755 = CARTESIAN_POINT('', (7.5, 0.962301116330814, -1.46166910123614));
#756 = CARTESIAN_POINT('', (7.5, 0.964737231499578, -1.46006526604223));
#757 = CARTESIAN_POINT('', (7.5, 0.967167987031944, -1.45845331939715));
#758 = ORIENTED_EDGE('', *, *, #759, .F.);
#759 = EDGE_CURVE('', #760, #752, #762, .T.);
#760 = VERTEX_POINT('', #761);
#761 = CARTESIAN_POINT('', (7.96428746235042, 1.75, 0.));
#762 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#763, #764, #765, #766, #767, #768, #769, #770, #771, #772, #773, #774, #775, #776, #777, #778, #779, #780, #781, #782, #783, #784, #785, #786, #787, #788, #789, #790, #791, #792, #793, #794, #795, #796, #797, #798, #799, #800, #801, #802, #803, #804, #805), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.133811107217312, 0.267690397132081, 0.401582489476235, 0.535438450712039, 0.669214675309337, 0.802871593827285, 0.936372421627265, 1.06968202816589, 1.2027659469864, 1.33558952433261, 1.46811720276915, 1.60031194881185, 1.68808738946417, 1.8035651883931), .UNSPECIFIED.);
#763 = CARTESIAN_POINT('', (7.96428746235042, 1.75, 5.20417042793042E-18));
#764 = CARTESIAN_POINT('', (7.94225316471594, 1.75, -0.0387811809523341));
#765 = CARTESIAN_POINT('', (7.92107497952117, 1.74870763899134, -0.0780829626403733));
#766 = CARTESIAN_POINT('', (7.90072468352932, 1.7460385184105, -0.117683865618357));
#767 = CARTESIAN_POINT('', (7.88036401815855, 1.74336803779427, -0.157304947013835));
#768 = CARTESIAN_POINT('', (7.86080500923374, 1.73931602266137, -0.197278936668731));
#769 = CARTESIAN_POINT('', (7.84203501423337, 1.73382384767833, -0.237391796871551));
#770 = CARTESIAN_POINT('', (7.82326322432106, 1.72833114749695, -0.277508492933228));
#771 = CARTESIAN_POINT('', (7.80525522491768, 1.72139063034792, -0.317818857755031));
#772 = CARTESIAN_POINT('', (7.78801078928225, 1.71296687486275, -0.358112392445367));
#773 = CARTESIAN_POINT('', (7.77077100709993, 1.70454539254859, -0.398395053826889));
#774 = CARTESIAN_POINT('', (7.75427048570509, 1.69462976357257, -0.438717086745839));
#775 = CARTESIAN_POINT('', (7.73851908979003, 1.68320643254238, -0.478869612157596));
#776 = CARTESIAN_POINT('', (7.72277707682176, 1.67178990627462, -0.518998219117204));
#777 = CARTESIAN_POINT('', (7.70776083321825, 1.65885109683995, -0.559015023126994));
#778 = CARTESIAN_POINT('', (7.69348863744927, 1.64439771100414, -0.598712091112522));
#779 = CARTESIAN_POINT('', (7.67922917009841, 1.62995721517778, -0.638373755934615));
#780 = CARTESIAN_POINT('', (7.66569142654176, 1.61398346814715, -0.677774796991592));
#781 = CARTESIAN_POINT('', (7.65290091849863, 1.59650527740076, -0.716708378094965));
#782 = CARTESIAN_POINT('', (7.6401253478011, 1.57904749849218, -0.755596490765466));
#783 = CARTESIAN_POINT('', (7.62807583865556, 1.56006211534042, -0.79407743519217));
#784 = CARTESIAN_POINT('', (7.61678434821579, 1.53959914159693, -0.831946202103232));
#785 = CARTESIAN_POINT('', (7.6055090312566, 1.51916547820092, -0.869760727302883));
#786 = CARTESIAN_POINT('', (7.59497184786779, 1.49722622908349, -0.907024225354002));
#787 = CARTESIAN_POINT('', (7.58521073861703, 1.4738528809136, -0.943534676322332));
#788 = CARTESIAN_POINT('', (7.57546615452548, 1.45051910286735, -0.979983316588641));
#789 = CARTESIAN_POINT('', (7.56647920228401, 1.42571809625875, -1.0157405337724));
#790 = CARTESIAN_POINT('', (7.55829363288596, 1.39954319032887, -1.05060880369626));
#791 = CARTESIAN_POINT('', (7.55012407626559, 1.37341948828342, -1.08540886359987));
#792 = CARTESIAN_POINT('', (7.54273907020746, 1.34588337229122, -1.11938164581062));
#793 = CARTESIAN_POINT('', (7.5361882805193, 1.31705046459386, -1.15233592051671));
#794 = CARTESIAN_POINT('', (7.52965208441133, 1.28828178966392, -1.18521678104325));
#795 = CARTESIAN_POINT('', (7.52393506266504, 1.2581722157665, -1.21714039503757));
#796 = CARTESIAN_POINT('', (7.51909318836371, 1.22686020398085, -1.24792389186523));
#797 = CARTESIAN_POINT('', (7.51426347768602, 1.19562685337121, -1.27863005523765));
#798 = CARTESIAN_POINT('', (7.51029585823574, 1.16314118758227, -1.3082564876556));
#799 = CARTESIAN_POINT('', (7.50725332288816, 1.12956520660919, -1.33663100518353));
#800 = CARTESIAN_POINT('', (7.50523312247303, 1.10727123038495, -1.35547128328737));
#801 = CARTESIAN_POINT('', (7.50361866363897, 1.08447457879604, -1.37377928896585));
#802 = CARTESIAN_POINT('', (7.50243046353826, 1.06122897436864, -1.39150747894566));
#803 = CARTESIAN_POINT('', (7.50086726167567, 1.03064694351697, -1.41483077237087));
#804 = CARTESIAN_POINT('', (7.50003982858332, 0.999247775414647, -1.43717972500653));
#805 = CARTESIAN_POINT('', (7.5, 0.967167987032133, -1.45845331939703));
#806 = ORIENTED_EDGE('', *, *, #807, .F.);
#807 = EDGE_CURVE('', #705, #760, #808, .T.);
#808 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#809, #810, #811, #812, #813, #814, #815), .UNSPECIFIED., .F., .U., (4, 3, 4), (4.78365096802638, 4.83682976025519, 4.85443495742089), .UNSPECIFIED.);
#809 = CARTESIAN_POINT('', (8., 1.74893280975722, 0.0611066850247927));
#810 = CARTESIAN_POINT('', (7.99086871987266, 1.74946333537557, 0.0459225253870012));
#811 = CARTESIAN_POINT('', (7.98187835134294, 1.7497991600317, 0.0306402544001085));
#812 = CARTESIAN_POINT('', (7.97302991640994, 1.74993328215307, 0.0152809689807012));
#813 = CARTESIAN_POINT('', (7.97010058245792, 1.74997768418426, 0.0101961741442659));
#814 = CARTESIAN_POINT('', (7.96718646051529, 1.75, 0.00510234427606805));
#815 = CARTESIAN_POINT('', (7.96428746235042, 1.75, 5.20417042793042E-18));
#816 = B_SPLINE_SURFACE_WITH_KNOTS('', 3, 1, ((#817, #818), (#819, #820), (#821, #822), (#823, #824)), .UNSPECIFIED., .F., .F., .U., (4, 4), (2, 2), (4.05, 4.55), (0., 0.716032382992881), .UNSPECIFIED.);
#817 = CARTESIAN_POINT('', (8., 0.319785295952266, -1.26311514854405));
#818 = CARTESIAN_POINT('', (8., 1.74893280975722, 0.0611066850247924));
#819 = CARTESIAN_POINT('', (7.83333333333334, 0.289582455073029, -1.43269066612879));
#820 = CARTESIAN_POINT('', (7.83333333333334, 1.96296237792056, -0.0266953261743384));
#821 = CARTESIAN_POINT('', (7.66666666666667, 0.250191465481341, -1.67262831092777));
#822 = CARTESIAN_POINT('', (7.66666666666667, 2.2667490056957, -0.146539424998812));
#823 = CARTESIAN_POINT('', (7.5, 0.168337527872301, -1.98628005668831));
#824 = CARTESIAN_POINT('', (7.5, 2.655243950826, -0.343058158819065));
#825 = ADVANCED_FACE('', (#826), #857, .T.);
#826 = FACE_OUTER_BOUND('', #827, .T.);
#827 = EDGE_LOOP('', (#828, #837, #856));
#828 = ORIENTED_EDGE('', *, *, #829, .T.);
#829 = EDGE_CURVE('', #707, #830, #832, .T.);
#830 = VERTEX_POINT('', #831);
#831 = CARTESIAN_POINT('', (8., 0.429500016906102, -1.69647568077991));
#832 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#833, #834, #835, #836), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.447033187687137), .UNSPECIFIED.);
#833 = CARTESIAN_POINT('', (8., 0.319785295952265, -1.26311514854405));
#834 = CARTESIAN_POINT('', (8., 0.356356869603544, -1.40756865928934));
#835 = CARTESIAN_POINT('', (8., 0.392928443254822, -1.55202217003462));
#836 = CARTESIAN_POINT('', (8., 0.429500016906101, -1.69647568077991));
#837 = ORIENTED_EDGE('', *, *, #838, .F.);
#838 = EDGE_CURVE('', #716, #830, #839, .T.);
#839 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#840, #841, #842, #843, #844, #845, #846, #847, #848, #849, #850, #851, #852, #853, #854, #855), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 4), (0., 0.087615561158015, 0.175229199612454, 0.262841571744246, 0.35045317849593, 0.41120282571612), .UNSPECIFIED.);
#840 = CARTESIAN_POINT('', (7.64313594872551, 0.22897589589927, -1.73495534210455));
#841 = CARTESIAN_POINT('', (7.66848884274343, 0.243348632046853, -1.73305845746663));
#842 = CARTESIAN_POINT('', (7.69383673819451, 0.257707571832889, -1.73098163264111));
#843 = CARTESIAN_POINT('', (7.71918112277745, 0.272043390275238, -1.72872565602746));
#844 = CARTESIAN_POINT('', (7.74452495118364, 0.286378894121309, -1.72646972892069));
#845 = CARTESIAN_POINT('', (7.76986623274413, 0.300691833466524, -1.72403456960747));
#846 = CARTESIAN_POINT('', (7.79520650900236, 0.31497286815586, -1.72142153243349));
#847 = CARTESIAN_POINT('', (7.82054641900521, 0.329253696434438, -1.71880853302701));
#848 = CARTESIAN_POINT('', (7.84588628576259, 0.343503178576235, -1.71601755664987));
#849 = CARTESIAN_POINT('', (7.87122780186981, 0.357711817268555, -1.71305057011941));
#850 = CARTESIAN_POINT('', (7.896569096594, 0.371920331834462, -1.71008360950849));
#851 = CARTESIAN_POINT('', (7.92191300046311, 0.386088561457517, -1.70694052119828));
#852 = CARTESIAN_POINT('', (7.94726148686277, 0.400206659162265, -1.70362396964887));
#853 = CARTESIAN_POINT('', (7.96483805763278, 0.409996109290883, -1.70132428192388));
#854 = CARTESIAN_POINT('', (7.98241744592991, 0.419761787865641, -1.6989411269899));
#855 = CARTESIAN_POINT('', (8., 0.429500016906102, -1.69647568077991));
#856 = ORIENTED_EDGE('', *, *, #715, .F.);
#857 = B_SPLINE_SURFACE_WITH_KNOTS('', 3, 1, ((#858, #859), (#860, #861), (#862, #863), (#864, #865)), .UNSPECIFIED., .F., .F., .U., (4, 4), (2, 2), (4.05, 4.40686405127453), (0.588293561927072, 1.), .UNSPECIFIED.);
#858 = CARTESIAN_POINT('', (8., 0.429500016906102, -1.69647568077991));
#859 = CARTESIAN_POINT('', (8., 0.319785295952265, -1.26311514854405));
#860 = CARTESIAN_POINT('', (7.88104531624182, 0.400547569161395, -1.85903079707789));
#861 = CARTESIAN_POINT('', (7.88104531624182, 0.298228679639936, -1.38414596094858));
#862 = CARTESIAN_POINT('', (7.76209063248365, 0.365308775071731, -2.06972626406886));
#863 = CARTESIAN_POINT('', (7.76209063248365, 0.271991548665788, -1.541019790088));
#864 = CARTESIAN_POINT('', (7.64313594872547, 0.307534937986959, -2.33019891219918));
#865 = CARTESIAN_POINT('', (7.64313594872547, 0.228975895899258, -1.73495534210461));
#866 = ADVANCED_FACE('', (#867), #909, .T.);
#867 = FACE_OUTER_BOUND('', #868, .T.);
#868 = EDGE_LOOP('', (#869, #877, #878, #879, #880, #881, #887, #888, #889, #890, #891, #897, #898, #903, #904, #905, #906, #907, #908));
#869 = ORIENTED_EDGE('', *, *, #870, .F.);
#870 = EDGE_CURVE('', #382, #830, #871, .T.);
#871 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#872, #873, #874, #875, #876), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (7.36817503188181, 8.24668071567321, 8.70736387244468), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.872620447675771, 0.906395664021811, 1., 0.950914442807214, 0.918281242788739))
   REPRESENTATION_ITEM ('')
);
#872 = CARTESIAN_POINT('', (8., -0.821546463306086, -1.54517358527424));
#873 = CARTESIAN_POINT('', (8., -0.436306699352834, -1.75));
#874 = CARTESIAN_POINT('', (8., -3.2146978477618E-16, -1.75));
#875 = CARTESIAN_POINT('', (8., 0.218085110473083, -1.75));
#876 = CARTESIAN_POINT('', (8., 0.429500016906103, -1.69647568077991));
#877 = ORIENTED_EDGE('', *, *, #439, .T.);
#878 = ORIENTED_EDGE('', *, *, #431, .F.);
#879 = ORIENTED_EDGE('', *, *, #401, .T.);
#880 = ORIENTED_EDGE('', *, *, #512, .T.);
#881 = ORIENTED_EDGE('', *, *, #882, .F.);
#882 = EDGE_CURVE('', #545, #504, #883, .T.);
#883 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#884, #885, #886), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (3.74530959689136, 4.98789031290979), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.864631808453996, 0.828217236361221, 0.911496746706088))
   REPRESENTATION_ITEM ('')
);
#884 = CARTESIAN_POINT('', (8., -0.927386346451135, 1.48406690024945));
#885 = CARTESIAN_POINT('', (8., -1.50013081063447, 1.1261616090528));
#886 = CARTESIAN_POINT('', (8., -1.68394104491095, 0.476279914823422));
#887 = ORIENTED_EDGE('', *, *, #596, .F.);
#888 = ORIENTED_EDGE('', *, *, #588, .F.);
#889 = ORIENTED_EDGE('', *, *, #564, .F.);
#890 = ORIENTED_EDGE('', *, *, #672, .T.);
#891 = ORIENTED_EDGE('', *, *, #892, .F.);
#892 = EDGE_CURVE('', #705, #664, #893, .T.);
#893 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#894, #895, #896), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0674055529117842, 1.35148837333275), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.98598816555337, 0.855879631059886, 0.853594251422389))
   REPRESENTATION_ITEM ('')
);
#894 = CARTESIAN_POINT('', (8., 1.74893280975722, 0.0611066850247929));
#895 = CARTESIAN_POINT('', (8., 1.72534996752372, 0.736070586482794));
#896 = CARTESIAN_POINT('', (8., 1.25444102800485, 1.22019576595648));
#897 = ORIENTED_EDGE('', *, *, #807, .T.);
#898 = ORIENTED_EDGE('', *, *, #899, .F.);
#899 = EDGE_CURVE('', #10, #760, #900, .T.);
#900 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#901, #902), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.192857492470083), .UNSPECIFIED.);
#901 = CARTESIAN_POINT('', (7., 1.75, 0.));
#902 = CARTESIAN_POINT('', (7.96428746235042, 1.75, 0.));
#903 = ORIENTED_EDGE('', *, *, #30, .T.);
#904 = ORIENTED_EDGE('', *, *, #899, .T.);
#905 = ORIENTED_EDGE('', *, *, #759, .T.);
#906 = ORIENTED_EDGE('', *, *, #751, .F.);
#907 = ORIENTED_EDGE('', *, *, #724, .T.);
#908 = ORIENTED_EDGE('', *, *, #838, .T.);
#909 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#910, #911), (#912, #913), (#914, #915), (#916, #917), (#918, #919), (#920, #921), (#922, #923), (#924, #925), (#926, #927)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 2.74889357189107, 5.49778714378214, 8.24668071567321, 10.9955742875643), (0., 0.2), .UNSPECIFIED.)
   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 ('')
   SURFACE ()
);
#910 = CARTESIAN_POINT('', (7., 1.75, 0.));
#911 = CARTESIAN_POINT('', (8., 1.75, 0.));
#912 = CARTESIAN_POINT('', (7., 1.75, 1.75));
#913 = CARTESIAN_POINT('', (8., 1.75, 1.75));
#914 = CARTESIAN_POINT('', (7., 1.07156594925393E-16, 1.75));
#915 = CARTESIAN_POINT('', (8., 1.07156594925393E-16, 1.75));
#916 = CARTESIAN_POINT('', (7., -1.75, 1.75));
#917 = CARTESIAN_POINT('', (8., -1.75, 1.75));
#918 = CARTESIAN_POINT('', (7., -1.75, 2.14313189850787E-16));
#919 = CARTESIAN_POINT('', (8., -1.75, 2.14313189850787E-16));
#920 = CARTESIAN_POINT('', (7., -1.75, -1.75));
#921 = CARTESIAN_POINT('', (8., -1.75, -1.75));
#922 = CARTESIAN_POINT('', (7., -3.2146978477618E-16, -1.75));
#923 = CARTESIAN_POINT('', (8., -3.2146978477618E-16, -1.75));
#924 = CARTESIAN_POINT('', (7., 1.75, -1.75));
#925 = CARTESIAN_POINT('', (8., 1.75, -1.75));
#926 = CARTESIAN_POINT('', (7., 1.75, 0.));
#927 = CARTESIAN_POINT('', (8., 1.75, 0.));
#928 = ADVANCED_FACE('', (#929), #940, .T.);
#929 = FACE_OUTER_BOUND('', #930, .T.);
#930 = EDGE_LOOP('', (#931, #932, #933, #934, #935, #936, #937, #938, #939));
#931 = ORIENTED_EDGE('', *, *, #503, .F.);
#932 = ORIENTED_EDGE('', *, *, #381, .F.);
#933 = ORIENTED_EDGE('', *, *, #870, .T.);
#934 = ORIENTED_EDGE('', *, *, #829, .F.);
#935 = ORIENTED_EDGE('', *, *, #704, .F.);
#936 = ORIENTED_EDGE('', *, *, #892, .T.);
#937 = ORIENTED_EDGE('', *, *, #663, .F.);
#938 = ORIENTED_EDGE('', *, *, #544, .F.);
#939 = ORIENTED_EDGE('', *, *, #882, .T.);
#940 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#941, #942), (#943, #944)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (51.4859675486436, 54.9188414033118), (46.7108318696027, 49.9448987698522), .UNSPECIFIED.);
#941 = CARTESIAN_POINT('', (8., 1.74893280975724, 1.48406690024947));
#942 = CARTESIAN_POINT('', (8., 1.74893280975724, -1.74999999999999));
#943 = CARTESIAN_POINT('', (8., -1.68394104491095, 1.48406690024947));
#944 = CARTESIAN_POINT('', (8., -1.68394104491095, -1.74999999999999));
#945 = DRAUGHTING_MODEL('', (#953, #2039), #2040);
#946 = PRESENTATION_STYLE_ASSIGNMENT((#947));
#947 = SURFACE_STYLE_USAGE(.POSITIVE., #948);
#948 = SURFACE_SIDE_STYLE('', (#949));
#949 = SURFACE_STYLE_FILL_AREA(#950);
#950 = FILL_AREA_STYLE('', (#951));
#951 = FILL_AREA_STYLE_COLOUR('', #952);
#952 = COLOUR_RGB('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#953 = STYLED_ITEM('', (#946), #1);
#954 = MANIFOLD_SOLID_BREP('CUT', #955);
#955 = CLOSED_SHELL('', (#956, #1044, #1259, #1325, #1466, #1580, #1646, #1784, #1903, #1969, #2015));
#956 = ADVANCED_FACE('', (#957), #1039, .T.);
#957 = FACE_OUTER_BOUND('', #958, .T.);
#958 = EDGE_LOOP('', (#959, #970, #978, #987, #996, #1004, #1013, #1022, #1032));
#959 = ORIENTED_EDGE('', *, *, #960, .T.);
#960 = EDGE_CURVE('', #961, #963, #965, .T.);
#961 = VERTEX_POINT('', #962);
#962 = CARTESIAN_POINT('', (8., -1.25378245452024, 0.354615384220638));
#963 = VERTEX_POINT('', #964);
#964 = CARTESIAN_POINT('', (8., -1.68394104491095, 0.476279914823422));
#965 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#966, #967, #968, #969), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.447033187687141), .UNSPECIFIED.);
#966 = CARTESIAN_POINT('', (8., -1.25378245452023, 0.354615384220637));
#967 = CARTESIAN_POINT('', (8., -1.39716865131714, 0.395170227754899));
#968 = CARTESIAN_POINT('', (8., -1.54055484811405, 0.43572507128916));
#969 = CARTESIAN_POINT('', (8., -1.68394104491095, 0.476279914823422));
#970 = ORIENTED_EDGE('', *, *, #971, .F.);
#971 = EDGE_CURVE('', #972, #963, #974, .T.);
#972 = VERTEX_POINT('', #973);
#973 = CARTESIAN_POINT('', (8., -0.927386346451135, 1.48406690024945));
#974 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#975, #976, #977), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (3.74530959689136, 4.98789031290979), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.864631808453996, 0.828217236361221, 0.911496746706088))
   REPRESENTATION_ITEM ('')
);
#975 = CARTESIAN_POINT('', (8., -0.927386346451135, 1.48406690024945));
#976 = CARTESIAN_POINT('', (8., -1.50013081063447, 1.1261616090528));
#977 = CARTESIAN_POINT('', (8., -1.68394104491095, 0.476279914823422));
#978 = ORIENTED_EDGE('', *, *, #979, .T.);
#979 = EDGE_CURVE('', #972, #980, #982, .T.);
#980 = VERTEX_POINT('', #981);
#981 = CARTESIAN_POINT('', (8., 0.933997158567971, 0.908499764323413));
#982 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#983, #984, #985, #986), .UNSPECIFIED., .F., .U., (4, 4), (0.513867106585731, 2.46220642013338), .UNSPECIFIED.);
#983 = CARTESIAN_POINT('', (8., -0.927386346451134, 1.48406690024945));
#984 = CARTESIAN_POINT('', (8., -0.306925178111433, 1.29221118827411));
#985 = CARTESIAN_POINT('', (8., 0.313535990228267, 1.10035547629876));
#986 = CARTESIAN_POINT('', (8., 0.933997158567969, 0.90849976432341));
#987 = ORIENTED_EDGE('', *, *, #988, .T.);
#988 = EDGE_CURVE('', #980, #989, #991, .T.);
#989 = VERTEX_POINT('', #990);
#990 = CARTESIAN_POINT('', (8., 1.25444102800485, 1.22019576595648));
#991 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#992, #993, #994, #995), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.447033187687138), .UNSPECIFIED.);
#992 = CARTESIAN_POINT('', (8., 0.93399715856797, 0.908499764323415));
#993 = CARTESIAN_POINT('', (8., 1.0408117817136, 1.01239843153444));
#994 = CARTESIAN_POINT('', (8., 1.14762640485922, 1.11629709874546));
#995 = CARTESIAN_POINT('', (8., 1.25444102800485, 1.22019576595649));
#996 = ORIENTED_EDGE('', *, *, #997, .F.);
#997 = EDGE_CURVE('', #998, #989, #1000, .T.);
#998 = VERTEX_POINT('', #999);
#999 = CARTESIAN_POINT('', (8., 1.74893280975722, 0.0611066850247927));
#1000 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1001, #1002, #1003), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0674055529117842, 1.35148837333275), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.98598816555337, 0.855879631059886, 0.853594251422389))
   REPRESENTATION_ITEM ('')
);
#1001 = CARTESIAN_POINT('', (8., 1.74893280975722, 0.0611066850247929));
#1002 = CARTESIAN_POINT('', (8., 1.72534996752372, 0.736070586482794));
#1003 = CARTESIAN_POINT('', (8., 1.25444102800485, 1.22019576595648));
#1004 = ORIENTED_EDGE('', *, *, #1005, .T.);
#1005 = EDGE_CURVE('', #998, #1006, #1008, .T.);
#1006 = VERTEX_POINT('', #1007);
#1007 = CARTESIAN_POINT('', (8., 0.319785295952265, -1.26311514854405));
#1008 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#1009, #1010, #1011, #1012), .UNSPECIFIED., .F., .U., (4, 4), (0.513961076076105, 2.46230038962375), .UNSPECIFIED.);
#1009 = CARTESIAN_POINT('', (8., 1.74893280975722, 0.0611066850247918));
#1010 = CARTESIAN_POINT('', (8., 1.27255030515557, -0.380300592831488));
#1011 = CARTESIAN_POINT('', (8., 0.796167800553917, -0.821707870687767));
#1012 = CARTESIAN_POINT('', (8., 0.319785295952265, -1.26311514854405));
#1013 = ORIENTED_EDGE('', *, *, #1014, .T.);
#1014 = EDGE_CURVE('', #1006, #1015, #1017, .T.);
#1015 = VERTEX_POINT('', #1016);
#1016 = CARTESIAN_POINT('', (8., 0.429500016906102, -1.69647568077991));
#1017 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#1018, #1019, #1020, #1021), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.447033187687137), .UNSPECIFIED.);
#1018 = CARTESIAN_POINT('', (8., 0.319785295952265, -1.26311514854405));
#1019 = CARTESIAN_POINT('', (8., 0.356356869603544, -1.40756865928934));
#1020 = CARTESIAN_POINT('', (8., 0.392928443254822, -1.55202217003462));
#1021 = CARTESIAN_POINT('', (8., 0.429500016906101, -1.69647568077991));
#1022 = ORIENTED_EDGE('', *, *, #1023, .F.);
#1023 = EDGE_CURVE('', #1024, #1015, #1026, .T.);
#1024 = VERTEX_POINT('', #1025);
#1025 = CARTESIAN_POINT('', (8., -0.821546463306086, -1.54517358527424));
#1026 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1027, #1028, #1029, #1030, #1031), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (7.36817503188181, 8.24668071567321, 8.70736387244468), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.872620447675771, 0.906395664021811, 1., 0.950914442807214, 0.918281242788739))
   REPRESENTATION_ITEM ('')
);
#1027 = CARTESIAN_POINT('', (8., -0.821546463306086, -1.54517358527424));
#1028 = CARTESIAN_POINT('', (8., -0.436306699352834, -1.75));
#1029 = CARTESIAN_POINT('', (8., -3.2146978477618E-16, -1.75));
#1030 = CARTESIAN_POINT('', (8., 0.218085110473083, -1.75));
#1031 = CARTESIAN_POINT('', (8., 0.429500016906103, -1.69647568077991));
#1032 = ORIENTED_EDGE('', *, *, #1033, .T.);
#1033 = EDGE_CURVE('', #1024, #961, #1034, .T.);
#1034 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#1035, #1036, #1037, #1038), .UNSPECIFIED., .F., .U., (4, 4), (0.513957679381896, 2.46229699292954), .UNSPECIFIED.);
#1035 = CARTESIAN_POINT('', (8., -0.821546463306086, -1.54517358527424));
#1036 = CARTESIAN_POINT('', (8., -0.965625127044135, -0.911910595442618));
#1037 = CARTESIAN_POINT('', (8., -1.10970379078218, -0.27864760561099));
#1038 = CARTESIAN_POINT('', (8., -1.25378245452023, 0.354615384220637));
#1039 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#1040, #1041), (#1042, #1043)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (46.7108318696027, 49.9448987698522), (51.4859675486436, 54.9188414033118), .UNSPECIFIED.);
#1040 = CARTESIAN_POINT('', (8., 1.74893280975722, 1.48406690024945));
#1041 = CARTESIAN_POINT('', (8., -1.68394104491095, 1.48406690024945));
#1042 = CARTESIAN_POINT('', (8., 1.74893280975722, -1.75));
#1043 = CARTESIAN_POINT('', (8., -1.68394104491095, -1.75));
#1044 = ADVANCED_FACE('', (#1045), #1240, .T.);
#1045 = FACE_OUTER_BOUND('', #1046, .T.);
#1046 = EDGE_LOOP('', (#1047, #1048, #1132, #1140));
#1047 = ORIENTED_EDGE('', *, *, #971, .T.);
#1048 = ORIENTED_EDGE('', *, *, #1049, .T.);
#1049 = EDGE_CURVE('', #963, #1050, #1052, .T.);
#1050 = VERTEX_POINT('', #1051);
#1051 = CARTESIAN_POINT('', (12., -0.899635119848034, -1.50105184825042));
#1052 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#1053, #1054, #1055, #1056, #1057, #1058, #1059, #1060, #1061, #1062, #1063, #1064, #1065, #1066, #1067, #1068, #1069, #1070, #1071, #1072, #1073, #1074, #1075, #1076, #1077, #1078, #1079, #1080, #1081, #1082, #1083, #1084, #1085, #1086, #1087, #1088, #1089, #1090, #1091, #1092, #1093, #1094, #1095, #1096, #1097, #1098, #1099, #1100, #1101, #1102, #1103, #1104, #1105, #1106, #1107, #1108, #1109, #1110, #1111, #1112, #1113, #1114, #1115, #1116, #1117, #1118, #1119, #1120, #1121, #1122, #1123, #1124, #1125, #1126, #1127, #1128, #1129, #1130, #1131), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.411202829562686, 0.437703242045794, 0.52524206439253, 0.612789467873724, 0.744217222261034, 0.831846626596379, 0.890254007552869, 0.948642806920135, 1.00699723319002, 1.09446727363273, 1.18193604527257, 1.2402998549999, 1.37163405811849, 1.41056539116423, 1.54210673504509, 1.60050916029287, 1.79771803812394, 1.92917967634294, 2.22528784233084, 2.42251108564344, 2.7184322620965, 3.01429488250259, 3.45809970350756, 3.90168612643802, 4.34505574907511, 4.78821134086746, 5.01815980669385), .UNSPECIFIED.);
#1053 = CARTESIAN_POINT('', (8., -1.68394104491095, 0.476279914823422));
#1054 = CARTESIAN_POINT('', (8.00766992001904, -1.68513366875336, 0.472063259497706));
#1055 = CARTESIAN_POINT('', (8.01534062145068, -1.68631014858013, 0.467843203537132));
#1056 = CARTESIAN_POINT('', (8.02301199073209, -1.68747039960775, 0.463620157507896));
#1057 = CARTESIAN_POINT('', (8.04835282771375, -1.691303057256, 0.449670167999207));
#1058 = CARTESIAN_POINT('', (8.07370254261843, -1.69495884072633, 0.435686547434113));
#1059 = CARTESIAN_POINT('', (8.09906413009789, -1.69843602459626, 0.421681242591684));
#1060 = CARTESIAN_POINT('', (8.12442820368792, -1.70191354932275, 0.407674564856626));
#1061 = CARTESIAN_POINT('', (8.14980686792891, -1.70521210799965, 0.393648756935552));
#1062 = CARTESIAN_POINT('', (8.17518282747644, -1.70833790331479, 0.379580832100403));
#1063 = CARTESIAN_POINT('', (8.21327767947822, -1.71303040409274, 0.358461807475416));
#1064 = CARTESIAN_POINT('', (8.25136757769647, -1.71733501055595, 0.337243553907003));
#1065 = CARTESIAN_POINT('', (8.28940042377301, -1.72125938738887, 0.315857754892464));
#1066 = CARTESIAN_POINT('', (8.3147588091643, -1.72387596412229, 0.301598781682309));
#1067 = CARTESIAN_POINT('', (8.34009329842556, -1.72632323895483, 0.28726492650068));
#1068 = CARTESIAN_POINT('', (8.36539446732233, -1.72859904423739, 0.272846741343162));
#1069 = CARTESIAN_POINT('', (8.3822583844242, -1.73011593034577, 0.263236628851998));
#1070 = CARTESIAN_POINT('', (8.39910771952865, -1.73155667116201, 0.253588515809022));
#1071 = CARTESIAN_POINT('', (8.4159423894001, -1.73291969388952, 0.243904355290874));
#1072 = CARTESIAN_POINT('', (8.43277170352856, -1.73428228298812, 0.234223275669177));
#1073 = CARTESIAN_POINT('', (8.44958969347967, -1.7355663129591, 0.224511118288983));
#1074 = CARTESIAN_POINT('', (8.46641636433056, -1.73676688935705, 0.214804031696384));
#1075 = CARTESIAN_POINT('', (8.48323312943237, -1.73796675898368, 0.205102659601022));
#1076 = CARTESIAN_POINT('', (8.500058930496, -1.73908336681322, 0.195406234353008));
#1077 = CARTESIAN_POINT('', (8.51690549530016, -1.7401154129506, 0.185737313461163));
#1078 = CARTESIAN_POINT('', (8.542157559264, -1.74166239272823, 0.171244138641218));
#1079 = CARTESIAN_POINT('', (8.56745932695593, -1.74301923956374, 0.15681577935803));
#1080 = CARTESIAN_POINT('', (8.59281388970498, -1.7441912523402, 0.142467102377765));
#1081 = CARTESIAN_POINT('', (8.61816808467163, -1.74536324811595, 0.128118633533253));
#1082 = CARTESIAN_POINT('', (8.64357610192894, -1.74635109041959, 0.113849200039012));
#1083 = CARTESIAN_POINT('', (8.66899884716788, -1.74716351284431, 0.0995974868435133));
#1084 = CARTESIAN_POINT('', (8.68596225294178, -1.74770560423219, 0.0900879869198652));
#1085 = CARTESIAN_POINT('', (8.70293140523538, -1.74816968798078, 0.0805839538284174));
#1086 = CARTESIAN_POINT('', (8.71988575564747, -1.74855705872897, 0.0710507731772191));
#1087 = CARTESIAN_POINT('', (8.75803758485752, -1.74942874665962, 0.0495985634969399));
#1088 = CARTESIAN_POINT('', (8.79612142911352, -1.74991056822417, 0.0280053898982407));
#1089 = CARTESIAN_POINT('', (8.83413748580129, -1.74998867393914, 0.00629611663775851));
#1090 = CARTESIAN_POINT('', (8.84540656673263, -1.75001182677771, -0.00013915252606778));
#1091 = CARTESIAN_POINT('', (8.85667018393423, -1.74999951161469, -0.00658422284441697));
#1092 = CARTESIAN_POINT('', (8.86792908122473, -1.74995143721032, -0.0130371548102425));
#1093 = CARTESIAN_POINT('', (8.905970688443, -1.74978900322046, -0.0348403471581464));
#1094 = CARTESIAN_POINT('', (8.94395721272086, -1.74921694447288, -0.056740352169151));
#1095 = CARTESIAN_POINT('', (8.98194646206558, -1.74823338649013, -0.0786131436926126));
#1096 = CARTESIAN_POINT('', (8.99881313097451, -1.74779670118748, -0.0883243419685401));
#1097 = CARTESIAN_POINT('', (9.01568205080521, -1.74727919865284, -0.0980283430542944));
#1098 = CARTESIAN_POINT('', (9.03255891364202, -1.7466819562115, -0.107713248234256));
#1099 = CARTESIAN_POINT('', (9.08954742340403, -1.74466523325607, -0.140416501127226));
#1100 = CARTESIAN_POINT('', (9.14662248099829, -1.74173981060692, -0.172925540335173));
#1101 = CARTESIAN_POINT('', (9.20372282962184, -1.73791941820495, -0.205270786587414));
#1102 = CARTESIAN_POINT('', (9.24178655908213, -1.73537270200572, -0.226832488614638));
#1103 = CARTESIAN_POINT('', (9.27986480532031, -1.73242772268004, -0.248325300092944));
#1104 = CARTESIAN_POINT('', (9.31793016071761, -1.72908117261974, -0.269774532697089));
#1105 = CARTESIAN_POINT('', (9.40366971734475, -1.72154330214919, -0.318087432295072));
#1106 = CARTESIAN_POINT('', (9.48936052835412, -1.7119557205642, -0.366210822009272));
#1107 = CARTESIAN_POINT('', (9.57503124680687, -1.70036401002866, -0.413838414600771));
#1108 = CARTESIAN_POINT('', (9.63209234437506, -1.6926433355929, -0.445560836880912));
#1109 = CARTESIAN_POINT('', (9.68916498773072, -1.68403630317011, -0.477059883133531));
#1110 = CARTESIAN_POINT('', (9.74623938877474, -1.67456048411263, -0.508278649018899));
#1111 = CARTESIAN_POINT('', (9.83187596800658, -1.66034260859123, -0.5551204602225));
#1112 = CARTESIAN_POINT('', (9.91754150783344, -1.64416072299994, -0.6013581595717));
#1113 = CARTESIAN_POINT('', (10.0031791620783, -1.62606757235886, -0.646841750448271));
#1114 = CARTESIAN_POINT('', (10.0887998705859, -1.60797800193934, -0.692316341160288));
#1115 = CARTESIAN_POINT('', (10.1744342659404, -1.58797176140545, -0.737049021589559));
#1116 = CARTESIAN_POINT('', (10.2600526134863, -1.56613264191225, -0.780851168877242));
#1117 = CARTESIAN_POINT('', (10.3884832863275, -1.53337315879714, -0.846556002120323));
#1118 = CARTESIAN_POINT('', (10.5169801737837, -1.49645808613064, -0.910221471226189));
#1119 = CARTESIAN_POINT('', (10.6454123206356, -1.45571038286715, -0.971291553146003));
#1120 = CARTESIAN_POINT('', (10.7737812655296, -1.41498273170655, -1.03233158224153));
#1121 = CARTESIAN_POINT('', (10.9022123527506, -1.37038823176456, -1.09083486814725));
#1122 = CARTESIAN_POINT('', (11.0305813420339, -1.32232304238842, -1.14628171562171));
#1123 = CARTESIAN_POINT('', (11.1588875917177, -1.27428134459502, -1.20170146377081));
#1124 = CARTESIAN_POINT('', (11.287256240758, -1.22272558803768, -1.25412180634127));
#1125 = CARTESIAN_POINT('', (11.4155624297628, -1.16811231629672, -1.30307851510027));
#1126 = CARTESIAN_POINT('', (11.5438066806451, -1.11352540839326, -1.35201159065303));
#1127 = CARTESIAN_POINT('', (11.6721131602312, -1.05583126980434, -1.39753155643676));
#1128 = CARTESIAN_POINT('', (11.8003576250189, -0.995540963641653, -1.43923527948402));
#1129 = CARTESIAN_POINT('', (11.8669022393143, -0.964257000033653, -1.46087487359403));
#1130 = CARTESIAN_POINT('', (11.9334556631248, -0.932263176689563, -1.4814966637568));
#1131 = CARTESIAN_POINT('', (12., -0.899635119848033, -1.50105184825042));
#1132 = ORIENTED_EDGE('', *, *, #1133, .F.);
#1133 = EDGE_CURVE('', #1134, #1050, #1136, .T.);
#1134 = VERTEX_POINT('', #1135);
#1135 = CARTESIAN_POINT('', (12., -1.57887082447833, -0.754762823416154));
#1136 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1137, #1138, #1139), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.573279877856365, 0.66222516524296), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.878624778642644, 0.83550844939193, 0.866541100021995))
   REPRESENTATION_ITEM ('')
);
#1137 = CARTESIAN_POINT('', (12., -1.57887082447833, -0.754762823416154));
#1138 = CARTESIAN_POINT('', (12., -1.35160842361227, -1.2301677626847));
#1139 = CARTESIAN_POINT('', (12., -0.899635119848034, -1.50105184825042));
#1140 = ORIENTED_EDGE('', *, *, #1141, .F.);
#1141 = EDGE_CURVE('', #972, #1134, #1142, .T.);
#1142 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#1143, #1144, #1145, #1146, #1147, #1148, #1149, #1150, #1151, #1152, #1153, #1154, #1155, #1156, #1157, #1158, #1159, #1160, #1161, #1162, #1163, #1164, #1165, #1166, #1167, #1168, #1169, #1170, #1171, #1172, #1173, #1174, #1175, #1176, #1177, #1178, #1179, #1180, #1181, #1182, #1183, #1184, #1185, #1186, #1187, #1188, #1189, #1190, #1191, #1192, #1193, #1194, #1195, #1196, #1197, #1198, #1199, #1200, #1201, #1202, #1203, #1204, #1205, #1206, #1207, #1208, #1209, #1210, #1211, #1212, #1213, #1214, #1215, #1216, #1217, #1218, #1219, #1220, #1221, #1222, #1223, #1224, #1225, #1226, #1227, #1228, #1229, #1230, #1231, #1232, #1233, #1234, #1235, #1236, #1237, #1238, #1239), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (1.87434881273556, 1.95259678028317, 2.03963088448894, 2.12671778590309, 2.21388933467009, 2.30116835848536, 2.38857352223773, 2.47611691646747, 2.51504415622922, 2.55397733961899, 2.61238001059479, 2.67075890906408, 2.72911924933651, 2.78747332883937, 2.84583864431004, 2.88476549317638, 2.97238275832063, 3.05999373183897, 3.19137227946999, 3.24974107807249, 3.44659398268298, 3.57790334817935, 3.87322980123806, 4.07010440446222, 4.36524957303634, 4.66033880839918, 4.95535692396441, 5.04288230713783, 5.10125351097901, 5.5459260480399, 5.9903336554671, 6.43449448957246, 6.65806980208479), .UNSPECIFIED.);
#1143 = CARTESIAN_POINT('', (8., -0.927386346451135, 1.48406690024945));
#1144 = CARTESIAN_POINT('', (8.01343588451573, -0.946344922325621, 1.47221977636898));
#1145 = CARTESIAN_POINT('', (8.02718717886173, -0.96492360003058, 1.46010432046335));
#1146 = CARTESIAN_POINT('', (8.04126284596633, -0.983089878980658, 1.44776872802454));
#1147 = CARTESIAN_POINT('', (8.05691901079645, -1.00329597333334, 1.43404802355888));
#1148 = CARTESIAN_POINT('', (8.07298648508483, -1.02300503615006, 1.42004582803991));
#1149 = CARTESIAN_POINT('', (8.08948502305815, -1.04217524762411, 1.40583453978042));
#1150 = CARTESIAN_POINT('', (8.10599356948454, -1.06135708825961, 1.39161463057452));
#1151 = CARTESIAN_POINT('', (8.12294374683025, -1.08001151017826, 1.37717625629427));
#1152 = CARTESIAN_POINT('', (8.14036149395406, -1.09809357964057, 1.36260430439367));
#1153 = CARTESIAN_POINT('', (8.15779617090501, -1.11619322464281, 1.34801818874245));
#1154 = CARTESIAN_POINT('', (8.17571109189912, -1.13373173835608, 1.33328807152278));
#1155 = CARTESIAN_POINT('', (8.19413888771311, -1.15065872295339, 1.31851602314545));
#1156 = CARTESIAN_POINT('', (8.21258940341992, -1.16760657707192, 1.30372576209856));
#1157 = CARTESIAN_POINT('', (8.23156811521718, -1.1839546533964, 1.28888156789757));
#1158 = CARTESIAN_POINT('', (8.25111512894847, -1.19964297193197, 1.27411017572823));
#1159 = CARTESIAN_POINT('', (8.27069039298522, -1.21535396399695, 1.25931743521656));
#1160 = CARTESIAN_POINT('', (8.2908535844861, -1.23041821500457, 1.24458316882959));
#1161 = CARTESIAN_POINT('', (8.31165270602253, -1.24475884701353, 1.23007130394199));
#1162 = CARTESIAN_POINT('', (8.3324847211819, -1.25912215860255, 1.21553648867108));
#1163 = CARTESIAN_POINT('', (8.35397960903395, -1.27277740144615, 1.20120601379189));
#1164 = CARTESIAN_POINT('', (8.37619080505188, -1.28561804239398, 1.18730208837981));
#1165 = CARTESIAN_POINT('', (8.3860672847154, -1.29132779026553, 1.1811195380811));
#1166 = CARTESIAN_POINT('', (8.39609016959625, -1.29687884735551, 1.17501919961145));
#1167 = CARTESIAN_POINT('', (8.40626395090618, -1.30225892508326, 1.16902595866872));
#1168 = CARTESIAN_POINT('', (8.41643928560577, -1.30763982427128, 1.16303180264454));
#1169 = CARTESIAN_POINT('', (8.42677110607857, -1.31284991490592, 1.157144669629));
#1170 = CARTESIAN_POINT('', (8.43724659651195, -1.31789007629935, 1.15137558893353));
#1171 = CARTESIAN_POINT('', (8.45296061134, -1.32545069328201, 1.14272153878003));
#1172 = CARTESIAN_POINT('', (8.46900911739911, -1.33263310863214, 1.13432868916156));
#1173 = CARTESIAN_POINT('', (8.48533114232508, -1.33946130107948, 1.12620753989239));
#1174 = CARTESIAN_POINT('', (8.50164652345485, -1.34628671414623, 1.11808969629522));
#1175 = CARTESIAN_POINT('', (8.5182462867412, -1.35276275702544, 1.11023830372904));
#1176 = CARTESIAN_POINT('', (8.5350543041396, -1.35894155566203, 1.10262316695067));
#1177 = CARTESIAN_POINT('', (8.55185697840026, -1.36511839010668, 1.09501045096493));
#1178 = CARTESIAN_POINT('', (8.5688754149375, -1.3710013582322, 1.08763027979618));
#1179 = CARTESIAN_POINT('', (8.58602437370896, -1.37667145814041, 1.08040533890842));
#1180 = CARTESIAN_POINT('', (8.60317149277766, -1.38234094977271, 1.0731811730965));
#1181 = CARTESIAN_POINT('', (8.62045284343078, -1.38779962449461, 1.06610993138079));
#1182 = CARTESIAN_POINT('', (8.6377783120617, -1.39315074349307, 1.05907082194946));
#1183 = CARTESIAN_POINT('', (8.65510711667889, -1.3985028928394, 1.05203035715091));
#1184 = CARTESIAN_POINT('', (8.6724811697416, -1.40374884280618, 1.04502037912154));
#1185 = CARTESIAN_POINT('', (8.68980441013214, -1.40900041858251, 1.0378910445872));
#1186 = CARTESIAN_POINT('', (8.70135817549981, -1.41250296619845, 1.03313612249523));
#1187 = CARTESIAN_POINT('', (8.71288702259914, -1.41601099957627, 1.02832358289091));
#1188 = CARTESIAN_POINT('', (8.72436851063366, -1.4195461861175, 1.02342006306271));
#1189 = CARTESIAN_POINT('', (8.75021125441251, -1.42750324880142, 1.01238313072834));
#1190 = CARTESIAN_POINT('', (8.77584315380352, -1.43556775268377, 1.00092425753932));
#1191 = CARTESIAN_POINT('', (8.80131537890962, -1.44364353762603, 0.989137673062096));
#1192 = CARTESIAN_POINT('', (8.82678577490464, -1.45171874266184, 0.977351934956644));
#1193 = CARTESIAN_POINT('', (8.8521007777062, -1.45980659069878, 0.965236460353242));
#1194 = CARTESIAN_POINT('', (8.87732273219779, -1.46782227226719, 0.952889173533002));
#1195 = CARTESIAN_POINT('', (8.91514474942293, -1.47984232592531, 0.934373586449755));
#1196 = CARTESIAN_POINT('', (8.95276125402402, -1.49170051829561, 0.915330171871567));
#1197 = CARTESIAN_POINT('', (8.99041830940758, -1.50314807479117, 0.896128263839295));
#1198 = CARTESIAN_POINT('', (9.00714856804783, -1.50823398974173, 0.887597249279238));
#1199 = CARTESIAN_POINT('', (9.02389125770253, -1.51323669174199, 0.879040481236362));
#1200 = CARTESIAN_POINT('', (9.04065709821152, -1.51814708620214, 0.870476550319401));
#1201 = CARTESIAN_POINT('', (9.09720108200854, -1.53470773907501, 0.841594087149855));
#1202 = CARTESIAN_POINT('', (9.15397836198694, -1.55025746171718, 0.81257427509271));
#1203 = CARTESIAN_POINT('', (9.2108160594572, -1.56493314143065, 0.783252362174551));
#1204 = CARTESIAN_POINT('', (9.24872925157323, -1.5747224518562, 0.763693383413014));
#1205 = CARTESIAN_POINT('', (9.28667299770853, -1.58412406635754, 0.743995330601929));
#1206 = CARTESIAN_POINT('', (9.32458981211311, -1.5931713395389, 0.724089140142177));
#1207 = CARTESIAN_POINT('', (9.40986810332302, -1.61351946237386, 0.679318345613036));
#1208 = CARTESIAN_POINT('', (9.49504592826248, -1.6320618015321, 0.633487307448108));
#1209 = CARTESIAN_POINT('', (9.58024548447812, -1.64860405731775, 0.58703037587121));
#1210 = CARTESIAN_POINT('', (9.63704239058356, -1.65963168457735, 0.556060613845202));
#1211 = CARTESIAN_POINT('', (9.69387339531429, -1.66977094028611, 0.524823326159478));
#1212 = CARTESIAN_POINT('', (9.75072501412172, -1.67901247475667, 0.49337319506788));
#1213 = CARTESIAN_POINT('', (9.83595429378419, -1.6928669496586, 0.446224634051407));
#1214 = CARTESIAN_POINT('', (9.92125046297757, -1.70471478155038, 0.398562361774039));
#1215 = CARTESIAN_POINT('', (10.0065412639662, -1.71453640157435, 0.350520937572192));
#1216 = CARTESIAN_POINT('', (10.0918159014227, -1.72435616029478, 0.302488617741401));
#1217 = CARTESIAN_POINT('', (10.1771319847722, -1.73214931292463, 0.254071742564657));
#1218 = CARTESIAN_POINT('', (10.2624642914791, -1.73789412559762, 0.205484812609895));
#1219 = CARTESIAN_POINT('', (10.3477760321482, -1.74363755370667, 0.156909592647267));
#1220 = CARTESIAN_POINT('', (10.433139842804, -1.74733716316111, 0.108141282919215));
#1221 = CARTESIAN_POINT('', (10.5185150922713, -1.74899273653841, 0.0593667207782398));
#1222 = CARTESIAN_POINT('', (10.5438440501519, -1.74948390872945, 0.0448963814489899));
#1223 = CARTESIAN_POINT('', (10.5691760768839, -1.74979534115831, 0.0304241992286483));
#1224 = CARTESIAN_POINT('', (10.5945102482676, -1.74992726418389, 0.0159552519845031));
#1225 = CARTESIAN_POINT('', (10.6114057593568, -1.75001524444217, 0.00630582414616039));
#1226 = CARTESIAN_POINT('', (10.628302582534, -1.75002339078529, -0.00334236403325984));
#1227 = CARTESIAN_POINT('', (10.6452004463074, -1.74995180415679, -0.0129878069129933));
#1228 = CARTESIAN_POINT('', (10.7739285769706, -1.74940645635472, -0.0864669074653332));
#1229 = CARTESIAN_POINT('', (10.9027881008872, -1.74422463681647, -0.159824971888153));
#1230 = CARTESIAN_POINT('', (11.0316554820574, -1.73449827247389, -0.232412871384269));
#1231 = CARTESIAN_POINT('', (11.1604460858571, -1.72477770296218, -0.304957524032376));
#1232 = CARTESIAN_POINT('', (11.2893676594449, -1.71050888939702, -0.376803360846205));
#1233 = CARTESIAN_POINT('', (11.4182971063349, -1.69186217102822, -0.44732806109574));
#1234 = CARTESIAN_POINT('', (11.5471549605083, -1.67322580692105, -0.517813599966709));
#1235 = CARTESIAN_POINT('', (11.6761425807905, -1.65019886615173, -0.587046051799631));
#1236 = CARTESIAN_POINT('', (11.8051406701456, -1.6230270753686, -0.654433428715593));
#1237 = CARTESIAN_POINT('', (11.870073878854, -1.60934972889997, -0.688353920340476));
#1238 = CARTESIAN_POINT('', (11.935032586539, -1.59461878778991, -0.721820024637225));
#1239 = CARTESIAN_POINT('', (12., -1.57887082447833, -0.754762823416154));
#1240 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#1241, #1242), (#1243, #1244), (#1245, #1246), (#1247, #1248), (#1249, #1250), (#1251, #1252), (#1253, #1254), (#1255, #1256), (#1257, #1258)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0.0674055529117841, 2.74889357189107, 5.49778714378214, 8.24668071567321, 10.9639337535192), (0.2, 1.), .UNSPECIFIED.)
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.98598816555337, 0.98598816555337), (0.714288808733962, 0.714288808733962), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.710478064075122, 0.710478064075122), (0.993335043041251, 0.993335043041251)))
   REPRESENTATION_ITEM ('')
   SURFACE ()
);
#1241 = CARTESIAN_POINT('', (8., 1.74893280975722, 0.0611066850247927));
#1242 = CARTESIAN_POINT('', (12., 1.74893280975722, 0.0611066850247927));
#1243 = CARTESIAN_POINT('', (8., 1.68992386941205, 1.75));
#1244 = CARTESIAN_POINT('', (12., 1.68992386941205, 1.75));
#1245 = CARTESIAN_POINT('', (8., 1.07156594925393E-16, 1.75));
#1246 = CARTESIAN_POINT('', (12., 1.07156594925393E-16, 1.75));
#1247 = CARTESIAN_POINT('', (8., -1.75, 1.75));
#1248 = CARTESIAN_POINT('', (12., -1.75, 1.75));
#1249 = CARTESIAN_POINT('', (8., -1.75, 2.14313189850787E-16));
#1250 = CARTESIAN_POINT('', (12., -1.75, 2.14313189850787E-16));
#1251 = CARTESIAN_POINT('', (8., -1.75, -1.75));
#1252 = CARTESIAN_POINT('', (12., -1.75, -1.75));
#1253 = CARTESIAN_POINT('', (8., -3.2146978477618E-16, -1.75));
#1254 = CARTESIAN_POINT('', (12., -3.2146978477618E-16, -1.75));
#1255 = CARTESIAN_POINT('', (8., 1.72164868192297, -1.75));
#1256 = CARTESIAN_POINT('', (12., 1.72164868192297, -1.75));
#1257 = CARTESIAN_POINT('', (8., 1.74976659290647, -0.028580943799845));
#1258 = CARTESIAN_POINT('', (12., 1.74976659290647, -0.028580943799845));
#1259 = ADVANCED_FACE('', (#1260), #1292, .T.);
#1260 = FACE_OUTER_BOUND('', #1261, .T.);
#1261 = EDGE_LOOP('', (#1262, #1263, #1284, #1291));
#1262 = ORIENTED_EDGE('', *, *, #960, .F.);
#1263 = ORIENTED_EDGE('', *, *, #1264, .F.);
#1264 = EDGE_CURVE('', #1265, #961, #1267, .T.);
#1265 = VERTEX_POINT('', #1266);
#1266 = CARTESIAN_POINT('', (12., -0.544936726196947, -0.909233379167801));
#1267 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#1268, #1269, #1270, #1271, #1272, #1273, #1274, #1275, #1276, #1277, #1278, #1279, #1280, #1281, #1282, #1283), .UNSPECIFIED., .F., .U., (4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4), (0.0500000000000052, 0.606666666666667, 0.91, 1.21333333333333, 1.51666666666667, 1.82, 2.12333333333333, 2.42666666666667, 2.73, 3.03333333333333, 3.33666666666667, 3.64, 3.94333333333333, 4.05), .UNSPECIFIED.);
#1268 = CARTESIAN_POINT('', (12., -0.544936726196946, -0.909233379167802));
#1269 = CARTESIAN_POINT('', (11.8144444444444, -0.599162473792982, -0.87472760035593));
#1270 = CARTESIAN_POINT('', (11.5277777777778, -0.678118587312041, -0.81433546142368));
#1271 = CARTESIAN_POINT('', (11.14, -0.772719155124435, -0.719733735945454));
#1272 = CARTESIAN_POINT('', (10.8366666666667, -0.839403766186149, -0.639239861626651));
#1273 = CARTESIAN_POINT('', (10.5333333333333, -0.898245341082887, -0.552920673017203));
#1274 = CARTESIAN_POINT('', (10.23, -0.948757990566609, -0.4614886803217));
#1275 = CARTESIAN_POINT('', (9.92666666666667, -0.99056587056223, -0.365673740427065));
#1276 = CARTESIAN_POINT('', (9.62333333333333, -1.02315597156089, -0.266303228321514));
#1277 = CARTESIAN_POINT('', (9.32, -1.04681229720258, -0.163985743485593));
#1278 = CARTESIAN_POINT('', (9.01666666666667, -1.05913905964309, -0.0602725272008619));
#1279 = CARTESIAN_POINT('', (8.71333333333333, -1.06804563211616, 0.0466962021990537));
#1280 = CARTESIAN_POINT('', (8.41, -1.02600778675479, 0.145224206338174));
#1281 = CARTESIAN_POINT('', (8.17222222222222, -1.12749130010217, 0.247519373452152));
#1282 = CARTESIAN_POINT('', (8.03555555555556, -1.22567466024852, 0.330947291151785));
#1283 = CARTESIAN_POINT('', (8., -1.25378245452024, 0.354615384220638));
#1284 = ORIENTED_EDGE('', *, *, #1285, .T.);
#1285 = EDGE_CURVE('', #1265, #1050, #1286, .T.);
#1286 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#1287, #1288, #1289, #1290), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.689971050701375), .UNSPECIFIED.);
#1287 = CARTESIAN_POINT('', (12., -0.544936726196947, -0.909233379167801));
#1288 = CARTESIAN_POINT('', (12., -0.663169524080644, -1.10650620219534));
#1289 = CARTESIAN_POINT('', (12., -0.781402321964339, -1.30377902522288));
#1290 = CARTESIAN_POINT('', (12., -0.899635119848034, -1.50105184825042));
#1291 = ORIENTED_EDGE('', *, *, #1049, .F.);
#1292 = B_SPLINE_SURFACE_WITH_KNOTS('', 3, 1, ((#1293, #1294), (#1295, #1296), (#1297, #1298), (#1299, #1300), (#1301, #1302), (#1303, #1304), (#1305, #1306), (#1307, #1308), (#1309, #1310), (#1311, #1312), (#1313, #1314), (#1315, #1316), (#1317, #1318), (#1319, #1320), (#1321, #1322), (#1323, #1324)), .UNSPECIFIED., .F., .F., .U., (4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4), (2, 2), (0.0500000000000003, 0.606666666666667, 0.91, 1.21333333333333, 1.51666666666667, 1.82, 2.12333333333333, 2.42666666666667, 2.73, 3.03333333333333, 3.33666666666667, 3.64, 3.94333333333333, 4.05), (0.205890382631998, 1.), .UNSPECIFIED.);
#1293 = CARTESIAN_POINT('', (12., -0.905552972138635, -1.51092585485877));
#1294 = CARTESIAN_POINT('', (12., -0.544936726196945, -0.909233379167803));
#1295 = CARTESIAN_POINT('', (11.8144444444445, -0.995663042797156, -1.4535856003725));
#1296 = CARTESIAN_POINT('', (11.8144444444445, -0.599162473792981, -0.874727600355931));
#1297 = CARTESIAN_POINT('', (11.5277777777778, -1.12686899722912, -1.35322847949064));
#1298 = CARTESIAN_POINT('', (11.5277777777778, -0.678118587312041, -0.81433546142368));
#1299 = CARTESIAN_POINT('', (11.14, -1.28407224896509, -1.19602330399419));
#1300 = CARTESIAN_POINT('', (11.14, -0.772719155124435, -0.719733735945454));
#1301 = CARTESIAN_POINT('', (10.8366666666667, -1.39488593583893, -1.06226196322891));
#1302 = CARTESIAN_POINT('', (10.8366666666667, -0.839403766186149, -0.639239861626651));
#1303 = CARTESIAN_POINT('', (10.5333333333333, -1.49266639450782, -0.918820359754327));
#1304 = CARTESIAN_POINT('', (10.5333333333333, -0.898245341082887, -0.552920673017203));
#1305 = CARTESIAN_POINT('', (10.23, -1.57660619461968, -0.766882513113309));
#1306 = CARTESIAN_POINT('', (10.23, -0.948757990566609, -0.4614886803217));
#1307 = CARTESIAN_POINT('', (9.92666666666667, -1.64608077427054, -0.607661268837117));
#1308 = CARTESIAN_POINT('', (9.92666666666667, -0.99056587056223, -0.365673740427065));
#1309 = CARTESIAN_POINT('', (9.62333333333333, -1.70023763579756, -0.442531523943399));
#1310 = CARTESIAN_POINT('', (9.62333333333333, -1.02315597156089, -0.266303228321514));
#1311 = CARTESIAN_POINT('', (9.32, -1.73954872452563, -0.272504623496552));
#1312 = CARTESIAN_POINT('', (9.32, -1.04681229720258, -0.163985743485593));
#1313 = CARTESIAN_POINT('', (9.01666666666667, -1.76003282080366, -0.100158355128594));
#1314 = CARTESIAN_POINT('', (9.01666666666667, -1.05913905964309, -0.0602725272008619));
#1315 = CARTESIAN_POINT('', (8.71333333333333, -1.77483338899227, 0.0775977882497448));
#1316 = CARTESIAN_POINT('', (8.71333333333333, -1.06804563211616, 0.0466962021990537));
#1317 = CARTESIAN_POINT('', (8.41, -1.70497666255182, 0.24132748877799));
#1318 = CARTESIAN_POINT('', (8.41, -1.02600778675479, 0.145224206338174));
#1319 = CARTESIAN_POINT('', (8.17222222222222, -1.87361770419374, 0.411317302571532));
#1320 = CARTESIAN_POINT('', (8.17222222222222, -1.12749130010217, 0.247519373452152));
#1321 = CARTESIAN_POINT('', (8.03555555555556, -2.03677468980486, 0.549954313439718));
#1322 = CARTESIAN_POINT('', (8.03555555555556, -1.22567466024852, 0.330947291151784));
#1323 = CARTESIAN_POINT('', (8., -2.08348304220505, 0.589284956784185));
#1324 = CARTESIAN_POINT('', (8., -1.25378245452023, 0.354615384220637));
#1325 = ADVANCED_FACE('', (#1326), #1433, .T.);
#1326 = FACE_OUTER_BOUND('', #1327, .T.);
#1327 = EDGE_LOOP('', (#1328, #1329, #1425, #1432));
#1328 = ORIENTED_EDGE('', *, *, #1033, .F.);
#1329 = ORIENTED_EDGE('', *, *, #1330, .F.);
#1330 = EDGE_CURVE('', #1331, #1024, #1333, .T.);
#1331 = VERTEX_POINT('', #1332);
#1332 = CARTESIAN_POINT('', (12., 1.44307919114962, -0.989960831584241));
#1333 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#1334, #1335, #1336, #1337, #1338, #1339, #1340, #1341, #1342, #1343, #1344, #1345, #1346, #1347, #1348, #1349, #1350, #1351, #1352, #1353, #1354, #1355, #1356, #1357, #1358, #1359, #1360, #1361, #1362, #1363, #1364, #1365, #1366, #1367, #1368, #1369, #1370, #1371, #1372, #1373, #1374, #1375, #1376, #1377, #1378, #1379, #1380, #1381, #1382, #1383, #1384, #1385, #1386, #1387, #1388, #1389, #1390, #1391, #1392, #1393, #1394, #1395, #1396, #1397, #1398, #1399, #1400, #1401, #1402, #1403, #1404, #1405, #1406, #1407, #1408, #1409, #1410, #1411, #1412, #1413, #1414, #1415, #1416, #1417, #1418, #1419, #1420, #1421, #1422, #1423, #1424), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.443561190127868, 0.886916017831713, 1.33006109676959, 1.77299223251758, 2.21570919620051, 2.41259463151089, 2.70775937772422, 3.00283886016077, 3.09036075499695, 3.28716045935622, 3.41845577755379, 3.50611458948243, 3.59373073606448, 3.68131599813206, 3.76888594584775, 3.79483449564107, 3.88245325311925, 3.94089527984691, 3.9993557010375, 4.05782333587364, 4.11628717907323, 4.15523687140962, 4.24304436744608, 4.33095218502534, 4.41897782124883, 4.50711861961225, 4.59536135295065, 4.68368137779655, 4.77205422070227, 4.7836262155811), .UNSPECIFIED.);
#1334 = CARTESIAN_POINT('', (12., 1.44307919114962, -0.989960831584236));
#1335 = CARTESIAN_POINT('', (11.8711082055059, 1.40210016821208, -1.04969650332812));
#1336 = CARTESIAN_POINT('', (11.7422220420351, 1.35731968210579, -1.10700786285183));
#1337 = CARTESIAN_POINT('', (11.6134680221368, 1.30908251806575, -1.16137976600879));
#1338 = CARTESIAN_POINT('', (11.4847739037633, 1.26086779588564, -1.21572637317957));
#1339 = CARTESIAN_POINT('', (11.3560886450579, 1.20915716227283, -1.26718302034172));
#1340 = CARTESIAN_POINT('', (11.2275330573467, 1.15436973183687, -1.315268232042));
#1341 = CARTESIAN_POINT('', (11.0990382885872, 1.09960822103729, -1.36333069488925));
#1342 = CARTESIAN_POINT('', (10.9705508940819, 1.04172142493465, -1.40806989972163));
#1343 = CARTESIAN_POINT('', (10.8421945178139, 0.981187881734738, -1.44905843247846));
#1344 = CARTESIAN_POINT('', (10.7139001099032, 0.920683563138561, -1.49002717664266));
#1345 = CARTESIAN_POINT('', (10.58561271764, 0.857477975884447, -1.52728703458703));
#1346 = CARTESIAN_POINT('', (10.4574546101161, 0.792108860870577, -1.56046901684418));
#1347 = CARTESIAN_POINT('', (10.329358471337, 0.726771354017036, -1.59363495449961));
#1348 = CARTESIAN_POINT('', (10.2012747494641, 0.659196686276251, -1.62276457115872));
#1349 = CARTESIAN_POINT('', (10.0733198144736, 0.58998116278902, -1.64755037178096));
#1350 = CARTESIAN_POINT('', (10.0164155954301, 0.559199580898294, -1.6585731324731));
#1351 = CARTESIAN_POINT('', (9.95951703105477, 0.528087533844311, -1.66874047999576));
#1352 = CARTESIAN_POINT('', (9.90263237404013, 0.496703867018347, -1.67803017508298));
#1353 = CARTESIAN_POINT('', (9.81735260042617, 0.449654413922308, -1.69195700765186));
#1354 = CARTESIAN_POINT('', (9.73207792445418, 0.40196856665289, -1.70392045740963));
#1355 = CARTESIAN_POINT('', (9.64689228168544, 0.353754288082789, -1.71387219583705));
#1356 = CARTESIAN_POINT('', (9.56173124635957, 0.305553937095632, -1.72382105952142));
#1357 = CARTESIAN_POINT('', (9.47663495464458, 0.256779436553117, -1.73175848315627));
#1358 = CARTESIAN_POINT('', (9.39147902330752, 0.207902821591043, -1.73760651954778));
#1359 = CARTESIAN_POINT('', (9.36622139303917, 0.193405798892832, -1.73934107330878));
#1360 = CARTESIAN_POINT('', (9.34095632190713, 0.178898701492829, -1.74089274246523));
#1361 = CARTESIAN_POINT('', (9.31568115491038, 0.164393087379974, -1.74226143641581));
#1362 = CARTESIAN_POINT('', (9.25884800016776, 0.131776099661614, -1.74533904991283));
#1363 = CARTESIAN_POINT('', (9.20196313832905, 0.0991489960516491, -1.74749893918897));
#1364 = CARTESIAN_POINT('', (9.14521561691999, 0.0662626298421912, -1.74874505399913));
#1365 = CARTESIAN_POINT('', (9.1073563939878, 0.0443224245462016, -1.74957640199858));
#1366 = CARTESIAN_POINT('', (9.06955331000795, 0.0222649017072362, -1.74999958888724));
#1367 = CARTESIAN_POINT('', (9.03185586240954, 3.23365526784884E-5, -1.74999999970125));
#1368 = CARTESIAN_POINT('', (9.00668730716641, -0.0148111496761464, -1.75000027397964));
#1369 = CARTESIAN_POINT('', (8.98157580754034, -0.0297524163429616, -1.7498106748789));
#1370 = CARTESIAN_POINT('', (8.95645249051956, -0.0446674816896763, -1.74942985457534));
#1371 = CARTESIAN_POINT('', (8.93134140153388, -0.0595752875673356, -1.74904921962486));
#1372 = CARTESIAN_POINT('', (8.90621419158137, -0.074453010373819, -1.74847760048555));
#1373 = CARTESIAN_POINT('', (8.88099943011786, -0.0891705610855158, -1.74772669803825));
#1374 = CARTESIAN_POINT('', (8.85579355680676, -0.103882923890355, -1.74697606028255));
#1375 = CARTESIAN_POINT('', (8.83049809814643, -0.118436808880432, -1.74604624360521));
#1376 = CARTESIAN_POINT('', (8.80505029627536, -0.132705131692152, -1.74496113080566));
#1377 = CARTESIAN_POINT('', (8.77960694397244, -0.146970959676415, -1.74387620773894));
#1378 = CARTESIAN_POINT('', (8.75400717928386, -0.160953745821161, -1.74263590549571));
#1379 = CARTESIAN_POINT('', (8.72819927999189, -0.174524207977966, -1.74127576817392));
#1380 = CARTESIAN_POINT('', (8.72055193547123, -0.178545379877459, -1.74087273503367));
#1381 = CARTESIAN_POINT('', (8.71288522561952, -0.182528897571829, -1.74045941300257));
#1382 = CARTESIAN_POINT('', (8.70520099635835, -0.186477027721237, -1.74003629793526));
#1383 = CARTESIAN_POINT('', (8.67925416598037, -0.199808418523749, -1.73860759318054));
#1384 = CARTESIAN_POINT('', (8.65312690938825, -0.212775076106972, -1.73706786059508));
#1385 = CARTESIAN_POINT('', (8.627145765072, -0.226004467245043, -1.73534491695031));
#1386 = CARTESIAN_POINT('', (8.6098162482625, -0.234828518769335, -1.73419570733544));
#1387 = CARTESIAN_POINT('', (8.59254936287568, -0.243770223809926, -1.73296354953923));
#1388 = CARTESIAN_POINT('', (8.57543472957731, -0.252977646987638, -1.73161840776905));
#1389 = CARTESIAN_POINT('', (8.55831470949643, -0.262187968175802, -1.73027284261928));
#1390 = CARTESIAN_POINT('', (8.54134251525883, -0.271667469545818, -1.72881354985939));
#1391 = CARTESIAN_POINT('', (8.52460239987916, -0.281512736467539, -1.72720889854319));
#1392 = CARTESIAN_POINT('', (8.50786021887532, -0.291359218232816, -1.7256040492232));
#1393 = CARTESIAN_POINT('', (8.49134168872589, -0.30157666199881, -1.72385272609749));
#1394 = CARTESIAN_POINT('', (8.47512055946283, -0.31220633210236, -1.72192543572496));
#1395 = CARTESIAN_POINT('', (8.4589004821429, -0.322835312869908, -1.71999827033755));
#1396 = CARTESIAN_POINT('', (8.44296609025377, -0.333883518320235, -1.71789361920744));
#1397 = CARTESIAN_POINT('', (8.42737476614971, -0.345345087140565, -1.71558642183595));
#1398 = CARTESIAN_POINT('', (8.4169875380146, -0.352980996017103, -1.71404932432643));
#1399 = CARTESIAN_POINT('', (8.40674900786824, -0.360804928616386, -1.71242129222725));
#1400 = CARTESIAN_POINT('', (8.39666507536992, -0.368799198503682, -1.71069785502389));
#1401 = CARTESIAN_POINT('', (8.37393203667912, -0.386821338842573, -1.70681256873983));
#1402 = CARTESIAN_POINT('', (8.3519453957872, -0.405709404195194, -1.70244034400805));
#1403 = CARTESIAN_POINT('', (8.33065130079922, -0.425188654209234, -1.69756137100599));
#1404 = CARTESIAN_POINT('', (8.30933287694915, -0.444690159594425, -1.69267682369512));
#1405 = CARTESIAN_POINT('', (8.28868024365493, -0.464811767391678, -1.68727803026738));
#1406 = CARTESIAN_POINT('', (8.26864247478174, -0.485353625940106, -1.68134822621216));
#1407 = CARTESIAN_POINT('', (8.24857785024513, -0.505923015759256, -1.67541047472413));
#1408 = CARTESIAN_POINT('', (8.22910971713433, -0.526935521002836, -1.66893442677309));
#1409 = CARTESIAN_POINT('', (8.21019459923636, -0.548237677172561, -1.66190717229586));
#1410 = CARTESIAN_POINT('', (8.19125473507642, -0.569567702517616, -1.65487072420529));
#1411 = CARTESIAN_POINT('', (8.17285392099669, -0.591206328169703, -1.64727591968642));
#1412 = CARTESIAN_POINT('', (8.15495637952614, -0.613029719450104, -1.63911395670677));
#1413 = CARTESIAN_POINT('', (8.1370381395201, -0.634878349517599, -1.63094255440381));
#1414 = CARTESIAN_POINT('', (8.11961164992219, -0.656928195380863, -1.62219689863461));
#1415 = CARTESIAN_POINT('', (8.10264798433231, -0.679075062169437, -1.61287230118803));
#1416 = CARTESIAN_POINT('', (8.08566946032592, -0.701241327322677, -1.60353953635853));
#1417 = CARTESIAN_POINT('', (8.06914366846852, -0.723519540685684, -1.5936207631378));
#1418 = CARTESIAN_POINT('', (8.05304858755178, -0.74581957968689, -1.58311501621192));
#1419 = CARTESIAN_POINT('', (8.03694388128736, -0.768132954789351, -1.57260298653));
#1420 = CARTESIAN_POINT('', (8.02126056417316, -0.790482071378274, -1.56149684705906));
#1421 = CARTESIAN_POINT('', (8.00598173908687, -0.812786327275518, -1.54979946644575));
#1422 = CARTESIAN_POINT('', (8.0039810510945, -0.815706961336078, -1.5482677512253));
#1423 = CARTESIAN_POINT('', (8.00198701629808, -0.818627257767533, -1.54672568466859));
#1424 = CARTESIAN_POINT('', (8., -0.821546463306086, -1.54517358527424));
#1425 = ORIENTED_EDGE('', *, *, #1426, .T.);
#1426 = EDGE_CURVE('', #1331, #1265, #1427, .T.);
#1427 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#1428, #1429, #1430, #1431), .UNSPECIFIED., .F., .U., (4, 4), (0.224033150273195, 2.21368744416371), .UNSPECIFIED.);
#1428 = CARTESIAN_POINT('', (12., 1.44307919114962, -0.989960831584241));
#1429 = CARTESIAN_POINT('', (12., 0.780407218700764, -0.96305168077876));
#1430 = CARTESIAN_POINT('', (12., 0.117735246251909, -0.936142529973281));
#1431 = CARTESIAN_POINT('', (12., -0.544936726196947, -0.909233379167801));
#1432 = ORIENTED_EDGE('', *, *, #1264, .T.);
#1433 = B_SPLINE_SURFACE_WITH_KNOTS('', 3, 1, ((#1434, #1435), (#1436, #1437), (#1438, #1439), (#1440, #1441), (#1442, #1443), (#1444, #1445), (#1446, #1447), (#1448, #1449), (#1450, #1451), (#1452, #1453), (#1454, #1455), (#1456, #1457), (#1458, #1459), (#1460, #1461), (#1462, #1463), (#1464, #1465)), .UNSPECIFIED., .F., .F., .U., (4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4), (2, 2), (0.0500000000000076, 0.606666666666667, 0.91, 1.21333333333333, 1.51666666666667, 1.82, 2.12333333333333, 2.42666666666667, 2.73, 3.03333333333333, 3.33666666666667, 3.64, 3.94333333333333, 4.05000000000013), (0., 0.904916495409223), .UNSPECIFIED.);
#1434 = CARTESIAN_POINT('', (12., -0.544936726196947, -0.909233379167801));
#1435 = CARTESIAN_POINT('', (12., 1.45661602509992, -0.990510522413703));
#1436 = CARTESIAN_POINT('', (11.8144444444444, -0.599162473792983, -0.87472760035593));
#1437 = CARTESIAN_POINT('', (11.8144444444444, 1.39421449551746, -1.07719084340748));
#1438 = CARTESIAN_POINT('', (11.5277777777778, -0.678118587312042, -0.81433546142368));
#1439 = CARTESIAN_POINT('', (11.5277777777778, 1.28651569322833, -1.20243781133887));
#1440 = CARTESIAN_POINT('', (11.14, -0.772719155124435, -0.719733735945454));
#1441 = CARTESIAN_POINT('', (11.14, 1.12057519292551, -1.35038637393567));
#1442 = CARTESIAN_POINT('', (10.8366666666667, -0.839403766186149, -0.639239861626651));
#1443 = CARTESIAN_POINT('', (10.8366666666667, 0.980694156210944, -1.45336340925679));
#1444 = CARTESIAN_POINT('', (10.5333333333333, -0.898245341082887, -0.552920673017203));
#1445 = CARTESIAN_POINT('', (10.5333333333333, 0.831894587375233, -1.54277484981355));
#1446 = CARTESIAN_POINT('', (10.23, -0.948757990566609, -0.4614886803217));
#1447 = CARTESIAN_POINT('', (10.23, 0.675404750572614, -1.61788234671485));
#1448 = CARTESIAN_POINT('', (9.92666666666667, -0.99056587056223, -0.365673740427065));
#1449 = CARTESIAN_POINT('', (9.92666666666667, 0.512471224858071, -1.67813176688875));
#1450 = CARTESIAN_POINT('', (9.62333333333333, -1.02315597156089, -0.266303228321514));
#1451 = CARTESIAN_POINT('', (9.62333333333333, 0.344515415310598, -1.72275069030946));
#1452 = CARTESIAN_POINT('', (9.32, -1.04681229720258, -0.163985743485593));
#1453 = CARTESIAN_POINT('', (9.32, 0.172519992668697, -1.75226815064257));
#1454 = CARTESIAN_POINT('', (9.01666666666667, -1.05913905964309, -0.0602725272008619));
#1455 = CARTESIAN_POINT('', (9.01666666666667, -0.000713712819066653, -1.76285700078942));
#1456 = CARTESIAN_POINT('', (8.71333333333333, -1.06804563211616, 0.0466962021990537));
#1457 = CARTESIAN_POINT('', (8.71333333333333, -0.179023155109771, -1.76746216375526));
#1458 = CARTESIAN_POINT('', (8.41, -1.02600778675479, 0.145224206338174));
#1459 = CARTESIAN_POINT('', (8.41, -0.338485345823637, -1.6883524197066));
#1460 = CARTESIAN_POINT('', (8.17222222222218, -1.12749130010219, 0.247519373452171));
#1461 = CARTESIAN_POINT('', (8.17222222222218, -0.517843824821407, -1.8469883629883));
#1462 = CARTESIAN_POINT('', (8.03555555555547, -1.22567466024858, 0.330947291151837));
#1463 = CARTESIAN_POINT('', (8.03555555555547, -0.665587490787422, -2.00194327150653));
#1464 = CARTESIAN_POINT('', (7.99999999999987, -1.25378245452034, 0.354615384220724));
#1465 = CARTESIAN_POINT('', (7.99999999999987, -0.707525766066778, -2.04632403852837));
#1466 = ADVANCED_FACE('', (#1467), #1561, .T.);
#1467 = FACE_OUTER_BOUND('', #1468, .T.);
#1468 = EDGE_LOOP('', (#1469, #1470, #1554, #1560));
#1469 = ORIENTED_EDGE('', *, *, #1023, .T.);
#1470 = ORIENTED_EDGE('', *, *, #1471, .T.);
#1471 = EDGE_CURVE('', #1015, #1472, #1474, .T.);
#1472 = VERTEX_POINT('', #1473);
#1473 = CARTESIAN_POINT('', (12., 1.74976659290647, -0.0285809437998448));
#1474 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#1475, #1476, #1477, #1478, #1479, #1480, #1481, #1482, #1483, #1484, #1485, #1486, #1487, #1488, #1489, #1490, #1491, #1492, #1493, #1494, #1495, #1496, #1497, #1498, #1499, #1500, #1501, #1502, #1503, #1504, #1505, #1506, #1507, #1508, #1509, #1510, #1511, #1512, #1513, #1514, #1515, #1516, #1517, #1518, #1519, #1520, #1521, #1522, #1523, #1524, #1525, #1526, #1527, #1528, #1529, #1530, #1531, #1532, #1533, #1534, #1535, #1536, #1537, #1538, #1539, #1540, #1541, #1542, #1543, #1544, #1545, #1546, #1547, #1548, #1549, #1550, #1551, #1552, #1553), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.41120282571612, 0.438064246738966, 0.525674603904164, 0.613293136516032, 0.744880312734196, 0.83258170947742, 0.891021746362114, 0.949443176384826, 1.00783047535882, 1.09537378168427, 1.18291400587306, 1.24130923038505, 1.37280068159728, 1.50427506357262, 1.59186592947732, 1.78888000847728, 1.92025667947517, 2.0516559186865, 2.2487406241593, 2.44577631166094, 2.64280145031166, 3.08589830254205, 3.52877131579343, 3.97143128488465, 4.41387448146537, 4.85609576189061, 5.0181456369583), .UNSPECIFIED.);
#1475 = CARTESIAN_POINT('', (8., 0.429500016906102, -1.69647568077991));
#1476 = CARTESIAN_POINT('', (8.00777440543517, 0.433805929487366, -1.69538554459499));
#1477 = CARTESIAN_POINT('', (8.01554961344332, 0.438106574327188, -1.69427929682064));
#1478 = CARTESIAN_POINT('', (8.02332550928697, 0.442401538875449, -1.69315707434385));
#1479 = CARTESIAN_POINT('', (8.04868712405645, 0.45640985875417, -1.68949686917724));
#1480 = CARTESIAN_POINT('', (8.07405764656391, 0.470358728034794, -1.68566640844848));
#1481 = CARTESIAN_POINT('', (8.09944008185502, 0.484236906100662, -1.68167018727516));
#1482 = CARTESIAN_POINT('', (8.12482488573305, 0.498116379222369, -1.67767359319053));
#1483 = CARTESIAN_POINT('', (8.15022425759426, 0.511922878368005, -1.67351216987281));
#1484 = CARTESIAN_POINT('', (8.17562080652069, 0.525679555366268, -1.66917974019275));
#1485 = CARTESIAN_POINT('', (8.21376182599791, 0.546339594131875, -1.66267321502315));
#1486 = CARTESIAN_POINT('', (8.25189765885128, 0.566891680948597, -1.65578010746219));
#1487 = CARTESIAN_POINT('', (8.28997609424925, 0.587398883618937, -1.64847279368616));
#1488 = CARTESIAN_POINT('', (8.31535495004795, 0.601066707256276, -1.64360254992065));
#1489 = CARTESIAN_POINT('', (8.34070978310548, 0.614714800129249, -1.63854788013964));
#1490 = CARTESIAN_POINT('', (8.36603119678899, 0.628350185834343, -1.63330219003158));
#1491 = CARTESIAN_POINT('', (8.38290418176516, 0.637436157929813, -1.62980671179766));
#1492 = CARTESIAN_POINT('', (8.39976248505609, 0.646517070937891, -1.62622613291058));
#1493 = CARTESIAN_POINT('', (8.41660625255587, 0.655590076122404, -1.62256021524313));
#1494 = CARTESIAN_POINT('', (8.43344465712856, 0.664660192531272, -1.61889546477589));
#1495 = CARTESIAN_POINT('', (8.45027204343642, 0.673717399471748, -1.61514724835573));
#1496 = CARTESIAN_POINT('', (8.4671083451136, 0.682728067522652, -1.61132938464387));
#1497 = CARTESIAN_POINT('', (8.48393481066331, 0.691733471348594, -1.60751375140963));
#1498 = CARTESIAN_POINT('', (8.50077054685976, 0.700692540127602, -1.60362857432375));
#1499 = CARTESIAN_POINT('', (8.51762718115714, 0.709585245761509, -1.59968396222428));
#1500 = CARTESIAN_POINT('', (8.54290126517614, 0.722918571108824, -1.59376958715595));
#1501 = CARTESIAN_POINT('', (8.56822539004627, 0.73610001667436, -1.58772299806169));
#1502 = CARTESIAN_POINT('', (8.59360222196613, 0.749120021472704, -1.58155594065741));
#1503 = CARTESIAN_POINT('', (8.61897816044403, 0.762139567875817, -1.57538910037669));
#1504 = CARTESIAN_POINT('', (8.64440783060701, 0.774998586771725, -1.56910206225956));
#1505 = CARTESIAN_POINT('', (8.6698516014727, 0.787755388480524, -1.56267125394943));
#1506 = CARTESIAN_POINT('', (8.68682431002927, 0.796265034266143, -1.55838147175453));
#1507 = CARTESIAN_POINT('', (8.70380239292336, 0.804731482040949, -1.55402650774604));
#1508 = CARTESIAN_POINT('', (8.72076541662901, 0.813185149604347, -1.5495902401806));
#1509 = CARTESIAN_POINT('', (8.75896190654137, 0.832220696179713, -1.53960087435451));
#1510 = CARTESIAN_POINT('', (8.79709010503256, 0.851183279518787, -1.52920225506018));
#1511 = CARTESIAN_POINT('', (8.83515057128243, 0.870043782782918, -1.51839514489503));
#1512 = CARTESIAN_POINT('', (8.87320609680719, 0.888901837717555, -1.5075894376281));
#1513 = CARTESIAN_POINT('', (8.91119735079068, 0.907658991992744, -1.49637358665181));
#1514 = CARTESIAN_POINT('', (8.9491691297051, 0.926223575157282, -1.48479287741518));
#1515 = CARTESIAN_POINT('', (8.97446668916182, 0.938591672197257, -1.47707757703053));
#1516 = CARTESIAN_POINT('', (8.99975812319324, 0.950873168151571, -1.46920119703395));
#1517 = CARTESIAN_POINT('', (9.02506667752336, 0.963028709764832, -1.46118982482383));
#1518 = CARTESIAN_POINT('', (9.08199203692778, 0.990369606683098, -1.44317021625847));
#1519 = CARTESIAN_POINT('', (9.13900506922369, 1.01708866945372, -1.42446117970593));
#1520 = CARTESIAN_POINT('', (9.19604640038031, 1.04321679410173, -1.40506182088338));
#1521 = CARTESIAN_POINT('', (9.23408378448344, 1.06064004655707, -1.39212557188769));
#1522 = CARTESIAN_POINT('', (9.27213702770208, 1.0778036253103, -1.37887994123837));
#1523 = CARTESIAN_POINT('', (9.31017926438772, 1.09472730703842, -1.36531026628543));
#1524 = CARTESIAN_POINT('', (9.34822803606402, 1.11165389595896, -1.35173826029976));
#1525 = CARTESIAN_POINT('', (9.38626603736381, 1.12834568711401, -1.33783718030685));
#1526 = CARTESIAN_POINT('', (9.42429375284673, 1.14478332053994, -1.32362047015507));
#1527 = CARTESIAN_POINT('', (9.48133123000976, 1.16943800013979, -1.30229693624519));
#1528 = CARTESIAN_POINT('', (9.53835476005249, 1.19352427626191, -1.2802594071489));
#1529 = CARTESIAN_POINT('', (9.59537644457636, 1.21696853954222, -1.25757209485757));
#1530 = CARTESIAN_POINT('', (9.65238394693788, 1.24040697187681, -1.23489042524673));
#1531 = CARTESIAN_POINT('', (9.70940533471379, 1.26320280949054, -1.21156135294778));
#1532 = CARTESIAN_POINT('', (9.76642659137024, 1.28532122639008, -1.18762340200549));
#1533 = CARTESIAN_POINT('', (9.82344479523588, 1.30743845911895, -1.16368673264767));
#1534 = CARTESIAN_POINT('', (9.88047304717163, 1.32888364554525, -1.13913573695769));
#1535 = CARTESIAN_POINT('', (9.93749270241294, 1.34962822947266, -1.11400343007125));
#1536 = CARTESIAN_POINT('', (10.0657262360915, 1.3962814631768, -1.05748248991644));
#1537 = CARTESIAN_POINT('', (10.1940085034147, 1.4394135910634, -0.997978635693199));
#1538 = CARTESIAN_POINT('', (10.3222353984587, 1.47862036952713, -0.936045833717266));
#1539 = CARTESIAN_POINT('', (10.4503975171967, 1.5178073419254, -0.874144318298868));
#1540 = CARTESIAN_POINT('', (10.5786238228238, 1.55311671798014, -0.809750472611025));
#1541 = CARTESIAN_POINT('', (10.7067861321549, 1.58423970587303, -0.743427571680907));
#1542 = CARTESIAN_POINT('', (10.8348867889791, 1.61534772204576, -0.677136575396828));
#1543 = CARTESIAN_POINT('', (10.9630496183039, 1.64230165793612, -0.608857459452672));
#1544 = CARTESIAN_POINT('', (11.0911505220734, 1.66486355087101, -0.539193246416651));
#1545 = CARTESIAN_POINT('', (11.2191886942738, 1.68741439514888, -0.469563148248487));
#1546 = CARTESIAN_POINT('', (11.347288826839, 1.70559930777346, -0.398482021650465));
#1547 = CARTESIAN_POINT('', (11.4753268853747, 1.71925786548618, -0.326576778054566));
#1548 = CARTESIAN_POINT('', (11.603300723884, 1.73290957247852, -0.25470759995892));
#1549 = CARTESIAN_POINT('', (11.7313365626791, 1.74205252292448, -0.181946389967088));
#1550 = CARTESIAN_POINT('', (11.8593106606723, 1.74660622020458, -0.108934436899817));
#1551 = CARTESIAN_POINT('', (11.9062061573606, 1.74827490081313, -0.0821795555842429));
#1552 = CARTESIAN_POINT('', (11.9531047035329, 1.74932877827959, -0.0553845865829392));
#1553 = CARTESIAN_POINT('', (12., 1.74976659290648, -0.0285809437998516));
#1554 = ORIENTED_EDGE('', *, *, #1555, .F.);
#1555 = EDGE_CURVE('', #1331, #1472, #1556, .T.);
#1556 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1557, #1558, #1559), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.902861239602265, 0.997122430059808), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.860828845703448, 0.885443438219629, 0.993335043041251))
   REPRESENTATION_ITEM ('')
);
#1557 = CARTESIAN_POINT('', (12., 1.44307919114962, -0.989960831584241));
#1558 = CARTESIAN_POINT('', (12., 1.74116074520775, -0.555443349474918));
#1559 = CARTESIAN_POINT('', (12., 1.74976659290647, -0.0285809437998448));
#1560 = ORIENTED_EDGE('', *, *, #1330, .T.);
#1561 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#1562, #1563), (#1564, #1565), (#1566, #1567), (#1568, #1569), (#1570, #1571), (#1572, #1573), (#1574, #1575), (#1576, #1577), (#1578, #1579)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0.0674055529117841, 2.74889357189107, 5.49778714378214, 8.24668071567321, 10.9639337535192), (0.2, 1.), .UNSPECIFIED.)
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.98598816555337, 0.98598816555337), (0.714288808733962, 0.714288808733962), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.710478064075122, 0.710478064075122), (0.993335043041251, 0.993335043041251)))
   REPRESENTATION_ITEM ('')
   SURFACE ()
);
#1562 = CARTESIAN_POINT('', (8., 1.74893280975722, 0.0611066850247927));
#1563 = CARTESIAN_POINT('', (12., 1.74893280975722, 0.0611066850247927));
#1564 = CARTESIAN_POINT('', (8., 1.68992386941205, 1.75));
#1565 = CARTESIAN_POINT('', (12., 1.68992386941205, 1.75));
#1566 = CARTESIAN_POINT('', (8., 1.07156594925393E-16, 1.75));
#1567 = CARTESIAN_POINT('', (12., 1.07156594925393E-16, 1.75));
#1568 = CARTESIAN_POINT('', (8., -1.75, 1.75));
#1569 = CARTESIAN_POINT('', (12., -1.75, 1.75));
#1570 = CARTESIAN_POINT('', (8., -1.75, 2.14313189850787E-16));
#1571 = CARTESIAN_POINT('', (12., -1.75, 2.14313189850787E-16));
#1572 = CARTESIAN_POINT('', (8., -1.75, -1.75));
#1573 = CARTESIAN_POINT('', (12., -1.75, -1.75));
#1574 = CARTESIAN_POINT('', (8., -3.2146978477618E-16, -1.75));
#1575 = CARTESIAN_POINT('', (12., -3.2146978477618E-16, -1.75));
#1576 = CARTESIAN_POINT('', (8., 1.72164868192297, -1.75));
#1577 = CARTESIAN_POINT('', (12., 1.72164868192297, -1.75));
#1578 = CARTESIAN_POINT('', (8., 1.74976659290647, -0.028580943799845));
#1579 = CARTESIAN_POINT('', (12., 1.74976659290647, -0.028580943799845));
#1580 = ADVANCED_FACE('', (#1581), #1613, .T.);
#1581 = FACE_OUTER_BOUND('', #1582, .T.);
#1582 = EDGE_LOOP('', (#1583, #1584, #1605, #1612));
#1583 = ORIENTED_EDGE('', *, *, #1014, .F.);
#1584 = ORIENTED_EDGE('', *, *, #1585, .F.);
#1585 = EDGE_CURVE('', #1586, #1006, #1588, .T.);
#1586 = VERTEX_POINT('', #1587);
#1587 = CARTESIAN_POINT('', (12., 1.05988756742656, -0.0173123587577794));
#1588 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#1589, #1590, #1591, #1592, #1593, #1594, #1595, #1596, #1597, #1598, #1599, #1600, #1601, #1602, #1603, #1604), .UNSPECIFIED., .F., .U., (4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4), (0.0500000000000027, 0.606666666666667, 0.91, 1.21333333333333, 1.51666666666667, 1.82, 2.12333333333333, 2.42666666666667, 2.73, 3.03333333333333, 3.33666666666667, 3.64, 3.94333333333333, 4.05000000000001), .UNSPECIFIED.);
#1589 = CARTESIAN_POINT('', (12., 1.05988756742656, -0.0173123587577791));
#1590 = CARTESIAN_POINT('', (11.8144444444444, 1.05711756019613, -0.0815261231210849));
#1591 = CARTESIAN_POINT('', (11.5277777777778, 1.04429449045145, -0.180100192678804));
#1592 = CARTESIAN_POINT('', (11.14, 1.00966727685166, -0.309327550355883));
#1593 = CARTESIAN_POINT('', (10.8366666666667, 0.973299842373403, -0.407325054736213));
#1594 = CARTESIAN_POINT('', (10.5333333333333, 0.92796601965193, -0.501442947700197));
#1595 = CARTESIAN_POINT('', (10.23, 0.874039916000852, -0.59090418171331));
#1596 = CARTESIAN_POINT('', (9.92666666666667, 0.81196568398783, -0.675018337815207));
#1597 = CARTESIAN_POINT('', (9.62333333333333, 0.742203346616684, -0.752927449244723));
#1598 = CARTESIAN_POINT('', (9.32, 0.665421968318293, -0.824573170628585));
#1599 = CARTESIAN_POINT('', (9.01666666666667, 0.58176706952778, -0.887105068190847));
#1600 = CARTESIAN_POINT('', (8.71333333333333, 0.493582718693446, -0.948302750913132));
#1601 = CARTESIAN_POINT('', (8.41, 0.387236041444103, -0.961160910979382));
#1602 = CARTESIAN_POINT('', (8.17222222222222, 0.349387584712712, -1.1001957951605));
#1603 = CARTESIAN_POINT('', (8.03555555555555, 0.326228568673169, -1.22693903812597));
#1604 = CARTESIAN_POINT('', (8., 0.319785295952265, -1.26311514854405));
#1605 = ORIENTED_EDGE('', *, *, #1606, .T.);
#1606 = EDGE_CURVE('', #1586, #1472, #1607, .T.);
#1607 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#1608, #1609, #1610, #1611), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.689971050701376), .UNSPECIFIED.);
#1608 = CARTESIAN_POINT('', (12., 1.05988756742656, -0.0173123587577794));
#1609 = CARTESIAN_POINT('', (12., 1.28984724258653, -0.0210685537718016));
#1610 = CARTESIAN_POINT('', (12., 1.5198069177465, -0.0248247487858224));
#1611 = CARTESIAN_POINT('', (12., 1.74976659290647, -0.0285809437998447));
#1612 = ORIENTED_EDGE('', *, *, #1471, .F.);
#1613 = B_SPLINE_SURFACE_WITH_KNOTS('', 3, 1, ((#1614, #1615), (#1616, #1617), (#1618, #1619), (#1620, #1621), (#1622, #1623), (#1624, #1625), (#1626, #1627), (#1628, #1629), (#1630, #1631), (#1632, #1633), (#1634, #1635), (#1636, #1637), (#1638, #1639), (#1640, #1641), (#1642, #1643), (#1644, #1645)), .UNSPECIFIED., .F., .F., .U., (4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4), (2, 2), (0.0500000000000017, 0.606666666666667, 0.91, 1.21333333333333, 1.51666666666667, 1.82, 2.12333333333333, 2.42666666666667, 2.73, 3.03333333333333, 3.33666666666667, 3.64, 3.94333333333333, 4.05000000000004), (0.205910747571886, 1.), .UNSPECIFIED.);
#1614 = CARTESIAN_POINT('', (12., 1.76125867248956, -0.0287686571108885));
#1615 = CARTESIAN_POINT('', (12., 1.05988756742656, -0.0173123587577787));
#1616 = CARTESIAN_POINT('', (11.8144444444445, 1.75665563778344, -0.135475304923238));
#1617 = CARTESIAN_POINT('', (11.8144444444445, 1.05711756019613, -0.0815261231210846));
#1618 = CARTESIAN_POINT('', (11.5277777777778, 1.73534701648261, -0.299279882150863));
#1619 = CARTESIAN_POINT('', (11.5277777777778, 1.04429449045145, -0.180100192678804));
#1620 = CARTESIAN_POINT('', (11.14, 1.67780555441522, -0.514022286370485));
#1621 = CARTESIAN_POINT('', (11.14, 1.00966727685166, -0.309327550355883));
#1622 = CARTESIAN_POINT('', (10.8366666666667, 1.61737229588898, -0.676868761578479));
#1623 = CARTESIAN_POINT('', (10.8366666666667, 0.973299842373403, -0.407325054736213));
#1624 = CARTESIAN_POINT('', (10.5333333333333, 1.54203922200534, -0.833268327262363));
#1625 = CARTESIAN_POINT('', (10.5333333333333, 0.92796601965193, -0.501442947700197));
#1626 = CARTESIAN_POINT('', (10.23, 1.45242800224206, -0.981929731641117));
#1627 = CARTESIAN_POINT('', (10.23, 0.874039916000852, -0.59090418171331));
#1628 = CARTESIAN_POINT('', (9.92666666666667, 1.34927670315048, -1.12170567719099));
#1629 = CARTESIAN_POINT('', (9.92666666666667, 0.81196568398783, -0.675018337815207));
#1630 = CARTESIAN_POINT('', (9.62333333333333, 1.23334976383709, -1.25117044533085));
#1631 = CARTESIAN_POINT('', (9.62333333333333, 0.742203346616684, -0.752927449244723));
#1632 = CARTESIAN_POINT('', (9.32, 1.10575899612756, -1.3702270811592));
#1633 = CARTESIAN_POINT('', (9.32, 0.665421968318293, -0.824573170628585));
#1634 = CARTESIAN_POINT('', (9.01666666666667, 0.966746217301621, -1.47413890187823));
#1635 = CARTESIAN_POINT('', (9.01666666666667, 0.58176706952778, -0.887105068190847));
#1636 = CARTESIAN_POINT('', (8.71333333333333, 0.820206662109041, -1.57583360303658));
#1637 = CARTESIAN_POINT('', (8.71333333333333, 0.493582718693446, -0.948302750913132));
#1638 = CARTESIAN_POINT('', (8.41, 0.643486023663745, -1.597200535365));
#1639 = CARTESIAN_POINT('', (8.41, 0.387236041444103, -0.961160910979382));
#1640 = CARTESIAN_POINT('', (8.17222222222221, 0.580591689672862, -1.82824050891347));
#1641 = CARTESIAN_POINT('', (8.17222222222221, 0.349387584712711, -1.1001957951605));
#1642 = CARTESIAN_POINT('', (8.03555555555553, 0.542107402188472, -2.03885495775961));
#1643 = CARTESIAN_POINT('', (8.03555555555553, 0.326228568673166, -1.22693903812599));
#1644 = CARTESIAN_POINT('', (7.99999999999997, 0.531400351452454, -2.09897028524242));
#1645 = CARTESIAN_POINT('', (7.99999999999997, 0.319785295952259, -1.26311514854408));
#1646 = ADVANCED_FACE('', (#1647), #1751, .T.);
#1647 = FACE_OUTER_BOUND('', #1648, .T.);
#1648 = EDGE_LOOP('', (#1649, #1650, #1743, #1750));
#1649 = ORIENTED_EDGE('', *, *, #1005, .F.);
#1650 = ORIENTED_EDGE('', *, *, #1651, .F.);
#1651 = EDGE_CURVE('', #1652, #998, #1654, .T.);
#1652 = VERTEX_POINT('', #1653);
#1653 = CARTESIAN_POINT('', (12., 0.13579163332871, 1.74472365500039));
#1654 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#1655, #1656, #1657, #1658, #1659, #1660, #1661, #1662, #1663, #1664, #1665, #1666, #1667, #1668, #1669, #1670, #1671, #1672, #1673, #1674, #1675, #1676, #1677, #1678, #1679, #1680, #1681, #1682, #1683, #1684, #1685, #1686, #1687, #1688, #1689, #1690, #1691, #1692, #1693, #1694, #1695, #1696, #1697, #1698, #1699, #1700, #1701, #1702, #1703, #1704, #1705, #1706, #1707, #1708, #1709, #1710, #1711, #1712, #1713, #1714, #1715, #1716, #1717, #1718, #1719, #1720, #1721, #1722, #1723, #1724, #1725, #1726, #1727, #1728, #1729, #1730, #1731, #1732, #1733, #1734, #1735, #1736, #1737, #1738, #1739, #1740, #1741, #1742), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.444493390284794, 0.888759047847809, 1.33280139914415, 1.77662351237501, 2.07232692871728, 2.36796097155949, 2.66353559843649, 2.79489996215195, 3.09032921525226, 3.28731688283959, 3.41869840931254, 3.50627865702872, 3.6375363632921, 3.72503824897787, 3.78339060592907, 3.84175697991022, 3.90015662528744, 3.95857947566777, 4.01701307346678, 4.07544287640138, 4.13385608173722, 4.22150931027033, 4.30921004988351, 4.39698713909837, 4.48484600180487, 4.57277904532106, 4.66076913360448, 4.74878973164833, 4.78365096802638), .UNSPECIFIED.);
#1655 = CARTESIAN_POINT('', (12., 0.135791633328708, 1.74472365500039));
#1656 = CARTESIAN_POINT('', (11.8708373230353, 0.208165537996025, 1.739090802659));
#1657 = CARTESIAN_POINT('', (11.7416801798311, 0.280339904308666, 1.72893463503579));
#1658 = CARTESIAN_POINT('', (11.6126558641039, 0.351692267151573, 1.71429651729967));
#1659 = CARTESIAN_POINT('', (11.4836976529786, 0.423008073167876, 1.69966589928901));
#1660 = CARTESIAN_POINT('', (11.3547481993455, 0.493564807191639, 1.6805444462629));
#1661 = CARTESIAN_POINT('', (11.2259290834309, 0.562732131504565, 1.65705538476323));
#1662 = CARTESIAN_POINT('', (11.0971747173239, 0.631864689463835, 1.63357812983591));
#1663 = CARTESIAN_POINT('', (10.9684276323732, 0.699674278523774, 1.60571546598167));
#1664 = CARTESIAN_POINT('', (10.8398122167335, 0.765547841021131, 1.57366975668596));
#1665 = CARTESIAN_POINT('', (10.7112605923296, 0.831388731261149, 1.54163994156115));
#1666 = CARTESIAN_POINT('', (10.5827158371923, 0.895357407940287, 1.50540068197412));
#1667 = CARTESIAN_POINT('', (10.4543010764374, 0.956862260554247, 1.46523534434815));
#1668 = CARTESIAN_POINT('', (10.3687427359852, 0.997840829438928, 1.43847456069075));
#1669 = CARTESIAN_POINT('', (10.283197176211, 1.03775092918369, 1.40995728832976));
#1670 = CARTESIAN_POINT('', (10.1977040985095, 1.07642943190074, 1.37978247493504));
#1671 = CARTESIAN_POINT('', (10.1122310779114, 1.11509886044764, 1.34961474070241));
#1672 = CARTESIAN_POINT('', (10.0267715823662, 1.15255153475802, 1.31777812669352));
#1673 = CARTESIAN_POINT('', (9.94135014080678, 1.18861384241442, 1.28440536187795));
#1674 = CARTESIAN_POINT('', (9.85594586708554, 1.22466890233711, 1.25103930425691));
#1675 = CARTESIAN_POINT('', (9.77053932192366, 1.2593488066598, 1.21612811039693));
#1676 = CARTESIAN_POINT('', (9.68521550705359, 1.2925599110139, 1.17974102091932));
#1677 = CARTESIAN_POINT('', (9.64729442847993, 1.30732016170882, 1.1635692442442));
#1678 = CARTESIAN_POINT('', (9.60938634032648, 1.32179457667581, 1.14710084830609));
#1679 = CARTESIAN_POINT('', (9.57148989659554, 1.33596444172676, 1.1303534891536));
#1680 = CARTESIAN_POINT('', (9.48626344895074, 1.36783147575433, 1.09268985142199));
#1681 = CARTESIAN_POINT('', (9.4010525098941, 1.39814404441694, 1.05361853291445));
#1682 = CARTESIAN_POINT('', (9.31573649144682, 1.42662764588432, 1.01352531295403));
#1683 = CARTESIAN_POINT('', (9.25884908674535, 1.44562007184981, 0.986791772510129));
#1684 = CARTESIAN_POINT('', (9.201909812844, 1.46382123295168, 0.959589783328844));
#1685 = CARTESIAN_POINT('', (9.14510825535549, 1.48135947665752, 0.931704943057066));
#1686 = CARTESIAN_POINT('', (9.10722428312371, 1.49305666185672, 0.913107063681007));
#1687 = CARTESIAN_POINT('', (9.0693965686311, 1.50445866789187, 0.894203040599333));
#1688 = CARTESIAN_POINT('', (9.03167469965757, 1.51558170943704, 0.874935473060667));
#1689 = CARTESIAN_POINT('', (9.00652892218253, 1.52299644086874, 0.862091518638566));
#1690 = CARTESIAN_POINT('', (8.98144004973788, 1.53029577121929, 0.84906834571646));
#1691 = CARTESIAN_POINT('', (8.95633920467476, 1.53741657611056, 0.835972649971562));
#1692 = CARTESIAN_POINT('', (8.91872022740337, 1.54808862307492, 0.816345952968274));
#1693 = CARTESIAN_POINT('', (8.88106197531554, 1.55835274444956, 0.796562777811928));
#1694 = CARTESIAN_POINT('', (8.84313108890782, 1.56803524194142, 0.777023474567993));
#1695 = CARTESIAN_POINT('', (8.81784477101538, 1.57449000039183, 0.763997756478728));
#1696 = CARTESIAN_POINT('', (8.79243481769575, 1.58068863106831, 0.751078743352857));
#1697 = CARTESIAN_POINT('', (8.76684372538092, 1.58659315788317, 0.738391597567525));
#1698 = CARTESIAN_POINT('', (8.74977780112315, 1.59053070795571, 0.729930924363108));
#1699 = CARTESIAN_POINT('', (8.73262968642882, 1.59433808695319, 0.721572610288126));
#1700 = CARTESIAN_POINT('', (8.71538539360955, 1.59800603695966, 0.713355946102996));
#1701 = CARTESIAN_POINT('', (8.69813695847656, 1.60167486805761, 0.705137308163352));
#1702 = CARTESIAN_POINT('', (8.68078751180845, 1.60520203038692, 0.697068090553672));
#1703 = CARTESIAN_POINT('', (8.6634371913696, 1.60866752071035, 0.688976638073893));
#1704 = CARTESIAN_POINT('', (8.64607698048623, 1.61213498651545, 0.6808805731109));
#1705 = CARTESIAN_POINT('', (8.62871525940577, 1.61554167525406, 0.672759818360244));
#1706 = CARTESIAN_POINT('', (8.61144479832063, 1.61895204291433, 0.664450361384133));
#1707 = CARTESIAN_POINT('', (8.59416747484616, 1.62236376567859, 0.656137602658948));
#1708 = CARTESIAN_POINT('', (8.57697930590717, 1.62577997384541, 0.647633658662853));
#1709 = CARTESIAN_POINT('', (8.5599684703451, 1.62924065400026, 0.638807397697368));
#1710 = CARTESIAN_POINT('', (8.54295450548395, 1.63270197077892, 0.6299795130603));
#1711 = CARTESIAN_POINT('', (8.52611223788757, 1.63620899207566, 0.620825521902735));
#1712 = CARTESIAN_POINT('', (8.50952329979942, 1.63977441242279, 0.611260890589403));
#1713 = CARTESIAN_POINT('', (8.49293543904988, 1.64333960122013, 0.601696880433766));
#1714 = CARTESIAN_POINT('', (8.47659130342768, 1.6469649751352, 0.591716747397566));
#1715 = CARTESIAN_POINT('', (8.46056009908008, 1.65063891382028, 0.581284075286939));
#1716 = CARTESIAN_POINT('', (8.44453344856433, 1.65431180888453, 0.57085436668632));
#1717 = CARTESIAN_POINT('', (8.42880725417966, 1.65803557828908, 0.559964981765142));
#1718 = CARTESIAN_POINT('', (8.41343315808436, 1.66178130116985, 0.54861909106615));
#1719 = CARTESIAN_POINT('', (8.39036321780657, 1.66740202856876, 0.531593763580136));
#1720 = CARTESIAN_POINT('', (8.36805708053583, 1.67307700981549, 0.513517983230522));
#1721 = CARTESIAN_POINT('', (8.34646364119374, 1.67864026848628, 0.494638099034343));
#1722 = CARTESIAN_POINT('', (8.32485849746103, 1.68420654263559, 0.475747981288244));
#1723 = CARTESIAN_POINT('', (8.30393524190375, 1.68966983832773, 0.456024798899851));
#1724 = CARTESIAN_POINT('', (8.28364183346724, 1.69490811544927, 0.435644901478504));
#1725 = CARTESIAN_POINT('', (8.26333075820537, 1.70015095285585, 0.41524726193711));
#1726 = CARTESIAN_POINT('', (8.24362915494602, 1.70517464568337, 0.394169107039278));
#1727 = CARTESIAN_POINT('', (8.22449192432887, 1.70988630579759, 0.372543717227766));
#1728 = CARTESIAN_POINT('', (8.2053368653902, 1.71460235531344, 0.350898181115563));
#1729 = CARTESIAN_POINT('', (8.18673102915074, 1.71901025685464, 0.328685309789763));
#1730 = CARTESIAN_POINT('', (8.16863709103564, 1.72303705203094, 0.306011956185598));
#1731 = CARTESIAN_POINT('', (8.15052787588487, 1.72706724710245, 0.28331945906333));
#1732 = CARTESIAN_POINT('', (8.132918297573, 1.73071892282139, 0.26014872326748));
#1733 = CARTESIAN_POINT('', (8.11577806590538, 1.73393344347707, 0.236589969338842));
#1734 = CARTESIAN_POINT('', (8.0986267148623, 1.73715004948742, 0.213015932149437));
#1735 = CARTESIAN_POINT('', (8.08193397482989, 1.73993123625398, 0.189037667429006));
#1736 = CARTESIAN_POINT('', (8.06567654493072, 1.74222923083364, 0.164734049998231));
#1737 = CARTESIAN_POINT('', (8.04941347791604, 1.74452802222196, 0.140422005509818));
#1738 = CARTESIAN_POINT('', (8.03357607135275, 1.74634482937613, 0.115769203634598));
#1739 = CARTESIAN_POINT('', (8.01814636951352, 1.74764033452655, 0.09084746081161));
#1740 = CARTESIAN_POINT('', (8.01203531715743, 1.74815342932802, 0.0809770124527827));
#1741 = CARTESIAN_POINT('', (8.00598598993343, 1.74858502489391, 0.0710606263639903));
#1742 = CARTESIAN_POINT('', (8., 1.74893280975722, 0.0611066850247927));
#1743 = ORIENTED_EDGE('', *, *, #1744, .F.);
#1744 = EDGE_CURVE('', #1586, #1652, #1745, .T.);
#1745 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#1746, #1747, #1748, #1749), .UNSPECIFIED., .F., .U., (4, 4), (0., 1.98965429389051), .UNSPECIFIED.);
#1746 = CARTESIAN_POINT('', (12., 1.05988756742656, -0.0173123587577794));
#1747 = CARTESIAN_POINT('', (12., 0.751855589393941, 0.57003297916161));
#1748 = CARTESIAN_POINT('', (12., 0.443823611361326, 1.157378317081));
#1749 = CARTESIAN_POINT('', (12., 0.13579163332871, 1.74472365500039));
#1750 = ORIENTED_EDGE('', *, *, #1585, .T.);
#1751 = B_SPLINE_SURFACE_WITH_KNOTS('', 3, 1, ((#1752, #1753), (#1754, #1755), (#1756, #1757), (#1758, #1759), (#1760, #1761), (#1762, #1763), (#1764, #1765), (#1766, #1767), (#1768, #1769), (#1770, #1771), (#1772, #1773), (#1774, #1775), (#1776, #1777), (#1778, #1779), (#1780, #1781), (#1782, #1783)), .UNSPECIFIED., .F., .F., .U., (4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4), (2, 2), (0.0500000000000034, 0.606666666666667, 0.91, 1.21333333333333, 1.51666666666667, 1.82, 2.12333333333333, 2.42666666666667, 2.73, 3.03333333333333, 3.33666666666667, 3.64, 3.94333333333333, 4.05000000000003), (0., 0.904917743725177), .UNSPECIFIED.);
#1752 = CARTESIAN_POINT('', (12., 1.05988756742656, -0.0173123587577793));
#1753 = CARTESIAN_POINT('', (12., 0.129497979122244, 1.75672418975088));
#1754 = CARTESIAN_POINT('', (11.8144444444444, 1.05711756019613, -0.081526123121085));
#1755 = CARTESIAN_POINT('', (11.8144444444444, 0.235766254318405, 1.74602311421404));
#1756 = CARTESIAN_POINT('', (11.5277777777778, 1.04429449045145, -0.180100192678804));
#1757 = CARTESIAN_POINT('', (11.5277777777778, 0.398082953040341, 1.71537679314516));
#1758 = CARTESIAN_POINT('', (11.14, 1.00966727685166, -0.309327550355883));
#1759 = CARTESIAN_POINT('', (11.14, 0.609180755826729, 1.64564246773407));
#1760 = CARTESIAN_POINT('', (10.8366666666667, 0.973299842373403, -0.407325054736213));
#1761 = CARTESIAN_POINT('', (10.8366666666667, 0.768302272451611, 1.5759904931942));
#1762 = CARTESIAN_POINT('', (10.5333333333333, 0.92796601965193, -0.501442947700197));
#1763 = CARTESIAN_POINT('', (10.5333333333333, 0.920134907767773, 1.49183202052751));
#1764 = CARTESIAN_POINT('', (10.23, 0.874039916000852, -0.59090418171331));
#1765 = CARTESIAN_POINT('', (10.23, 1.06342509855622, 1.39386158313473));
#1766 = CARTESIAN_POINT('', (9.92666666666667, 0.81196568398783, -0.675018337815207));
#1767 = CARTESIAN_POINT('', (9.92666666666667, 1.19706965983753, 1.28288168376397));
#1768 = CARTESIAN_POINT('', (9.62333333333333, 0.742203346616684, -0.752927449244723));
#1769 = CARTESIAN_POINT('', (9.62333333333333, 1.31968895116973, 1.15973708529158));
#1770 = CARTESIAN_POINT('', (9.32, 0.665421968318293, -0.824573170628585));
#1771 = CARTESIAN_POINT('', (9.32, 1.43124979280868, 1.02554332383183));
#1772 = CARTESIAN_POINT('', (9.01666666666667, 0.58176706952778, -0.887105068190847));
#1773 = CARTESIAN_POINT('', (9.01666666666667, 1.52703710631355, 0.880812845769842));
#1774 = CARTESIAN_POINT('', (8.71333333333333, 0.493582718693446, -0.948302750913132));
#1775 = CARTESIAN_POINT('', (8.71333333333333, 1.62018026571357, 0.728694795071545));
#1776 = CARTESIAN_POINT('', (8.41, 0.387236041444103, -0.961160910979382));
#1777 = CARTESIAN_POINT('', (8.41, 1.63140047521865, 0.551041387614138));
#1778 = CARTESIAN_POINT('', (8.17222222222221, 0.349387584712711, -1.1001957951605));
#1779 = CARTESIAN_POINT('', (8.17222222222221, 1.85846283699194, 0.475030446999061));
#1780 = CARTESIAN_POINT('', (8.03555555555554, 0.326228568673166, -1.22693903812599));
#1781 = CARTESIAN_POINT('', (8.03555555555554, 2.06652987616449, 0.424558238497747));
#1782 = CARTESIAN_POINT('', (7.99999999999997, 0.31978529595226, -1.26311514854408));
#1783 = CARTESIAN_POINT('', (7.99999999999997, 2.12593397631959, 0.410429040639132));
#1784 = ADVANCED_FACE('', (#1785), #1884, .T.);
#1785 = FACE_OUTER_BOUND('', #1786, .T.);
#1786 = EDGE_LOOP('', (#1787, #1788, #1875, #1883));
#1787 = ORIENTED_EDGE('', *, *, #997, .T.);
#1788 = ORIENTED_EDGE('', *, *, #1789, .T.);
#1789 = EDGE_CURVE('', #989, #1790, #1792, .T.);
#1790 = VERTEX_POINT('', #1791);
#1791 = CARTESIAN_POINT('', (12., -0.850131473058432, 1.52963279205027));
#1792 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#1793, #1794, #1795, #1796, #1797, #1798, #1799, #1800, #1801, #1802, #1803, #1804, #1805, #1806, #1807, #1808, #1809, #1810, #1811, #1812, #1813, #1814, #1815, #1816, #1817, #1818, #1819, #1820, #1821, #1822, #1823, #1824, #1825, #1826, #1827, #1828, #1829, #1830, #1831, #1832, #1833, #1834, #1835, #1836, #1837, #1838, #1839, #1840, #1841, #1842, #1843, #1844, #1845, #1846, #1847, #1848, #1849, #1850, #1851, #1852, #1853, #1854, #1855, #1856, #1857, #1858, #1859, #1860, #1861, #1862, #1863, #1864, #1865, #1866, #1867, #1868, #1869, #1870, #1871, #1872, #1873, #1874), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.411202827664893, 0.437881184256198, 0.525455625584749, 0.613038563660797, 0.744546091791907, 0.832211756658555, 0.890635658107353, 0.949041006846226, 1.00741214316866, 1.09491946691671, 1.18242471295794, 1.24080462214707, 1.37221938663765, 1.5036149084134, 1.59117017897426, 1.78800357573072, 1.91930103373044, 2.05062123619885, 2.24752749168892, 2.44438333970512, 2.64122780132816, 3.08342257261, 3.21467069414025, 3.25359188271358, 3.69827131032852, 4.14269346806785, 4.58687265320011, 5.01815034979974), .UNSPECIFIED.);
#1793 = CARTESIAN_POINT('', (8., 1.25444102800485, 1.22019576595648));
#1794 = CARTESIAN_POINT('', (8.00772142174863, 1.25136509286876, 1.22335802839162));
#1795 = CARTESIAN_POINT('', (8.01544363530596, 1.24827799227618, 1.2265078444856));
#1796 = CARTESIAN_POINT('', (8.02316652652161, 1.24518004510532, 1.22964493056797));
#1797 = CARTESIAN_POINT('', (8.04851770890559, 1.23501071582805, 1.23994273733591));
#1798 = CARTESIAN_POINT('', (8.07387778397406, 1.22472374531708, 1.25010405704843));
#1799 = CARTESIAN_POINT('', (8.09924975153658, 1.21432863182083, 1.26012141238063));
#1800 = CARTESIAN_POINT('', (8.12462418076713, 1.20393250975799, 1.27013973962813));
#1801 = CARTESIAN_POINT('', (8.150013189846, 1.19343023354587, 1.280012548405));
#1802 = CARTESIAN_POINT('', (8.17539943568807, 1.18280493770207, 1.28975675200699));
#1803 = CARTESIAN_POINT('', (8.21351739008142, 1.16685084409919, 1.30438786803772));
#1804 = CARTESIAN_POINT('', (8.25163027557934, 1.15061640376406, 1.31873243651672));
#1805 = CARTESIAN_POINT('', (8.28968593710177, 1.13404622202976, 1.33283125949989));
#1806 = CARTESIAN_POINT('', (8.31505463588819, 1.12300019280739, 1.34222982936294));
#1807 = CARTESIAN_POINT('', (8.34039937544548, 1.11180448668637, 1.3515191588391));
#1808 = CARTESIAN_POINT('', (8.36571074502685, 1.10044985894047, 1.36070206436159));
#1809 = CARTESIAN_POINT('', (8.38257925294504, 1.0928826813753, 1.36682191947335));
#1810 = CARTESIAN_POINT('', (8.39943312980419, 1.08524442858528, 1.37289483589785));
#1811 = CARTESIAN_POINT('', (8.41627240389474, 1.07753615802512, 1.37891835441714));
#1812 = CARTESIAN_POINT('', (8.43310633061616, 1.06983033525267, 1.38493996014749));
#1813 = CARTESIAN_POINT('', (8.44992908518208, 1.06205849946334, 1.39090886225233));
#1814 = CARTESIAN_POINT('', (8.4667606375357, 1.05424947159261, 1.39680279626249));
#1815 = CARTESIAN_POINT('', (8.48358233038002, 1.04644501805829, 1.4026932777511));
#1816 = CARTESIAN_POINT('', (8.50041317619905, 1.03860336050157, 1.40850901919642));
#1817 = CARTESIAN_POINT('', (8.51726485310258, 1.03074332660851, 1.41423767261801));
#1818 = CARTESIAN_POINT('', (8.54252811229886, 1.01895992518985, 1.42282580643187));
#1819 = CARTESIAN_POINT('', (8.56784124446495, 1.00713777516413, 1.43121658409106));
#1820 = CARTESIAN_POINT('', (8.59320712936578, 0.995292116821488, 1.43940737881706));
#1821 = CARTESIAN_POINT('', (8.61857241199848, 0.983446739733078, 1.44759797906712));
#1822 = CARTESIAN_POINT('', (8.64399147345039, 0.971577633104558, 1.45558951546879));
#1823 = CARTESIAN_POINT('', (8.66942495064379, 0.959635645176863, 1.46342045513447));
#1824 = CARTESIAN_POINT('', (8.68639312290873, 0.951668440897156, 1.46864493671964));
#1825 = CARTESIAN_POINT('', (8.70336685721051, 0.943666678747168, 1.47379927022293));
#1826 = CARTESIAN_POINT('', (8.72032565830389, 0.935601102109567, 1.47890181477046));
#1827 = CARTESIAN_POINT('', (8.75850038112691, 0.917445269580311, 1.49038778142114));
#1828 = CARTESIAN_POINT('', (8.7966069634551, 0.898971950337984, 1.50160625725073));
#1829 = CARTESIAN_POINT('', (8.8346457836039, 0.88019605862345, 1.51253261068439));
#1830 = CARTESIAN_POINT('', (8.87267903382933, 0.861422916212855, 1.52345736420115));
#1831 = CARTESIAN_POINT('', (8.91064797942423, 0.84234519556418, 1.53409020044659));
#1832 = CARTESIAN_POINT('', (8.94859712489254, 0.823047453927288, 1.54437459464464));
#1833 = CARTESIAN_POINT('', (8.97388449887703, 0.810188423669656, 1.5512275901227));
#1834 = CARTESIAN_POINT('', (8.99916555073192, 0.797232937362345, 1.55792535866233));
#1835 = CARTESIAN_POINT('', (9.02446357260464, 0.784223311979835, 1.56444680221073));
#1836 = CARTESIAN_POINT('', (9.0813361691317, 0.754976314761221, 1.57910768872463));
#1837 = CARTESIAN_POINT('', (9.13829636862754, 0.725443638980792, 1.59288688561049));
#1838 = CARTESIAN_POINT('', (9.19528511302355, 0.695609393682256, 1.6058105652352));
#1839 = CARTESIAN_POINT('', (9.23329937989642, 0.675708499659252, 1.61443128870332));
#1840 = CARTESIAN_POINT('', (9.27132961826536, 0.655669790628701, 1.62267282424404));
#1841 = CARTESIAN_POINT('', (9.30934906143204, 0.635470818054159, 1.63054495166542));
#1842 = CARTESIAN_POINT('', (9.34737509065185, 0.615268346440824, 1.63841844276404));
#1843 = CARTESIAN_POINT('', (9.38539041279043, 0.59489847795957, 1.64592452245169));
#1844 = CARTESIAN_POINT('', (9.42339538526992, 0.574382284983767, 1.65305323286845));
#1845 = CARTESIAN_POINT('', (9.48038141392565, 0.543619564093588, 1.66374227879019));
#1846 = CARTESIAN_POINT('', (9.53735342156319, 0.512522917042032, 1.67358378537966));
#1847 = CARTESIAN_POINT('', (9.59432342228508, 0.481184393970474, 1.68254615954489));
#1848 = CARTESIAN_POINT('', (9.6512788388394, 0.449853893476862, 1.69150623936635));
#1849 = CARTESIAN_POINT('', (9.70824801678802, 0.418283999443817, 1.69958783668602));
#1850 = CARTESIAN_POINT('', (9.76521716602401, 0.38652566459784, 1.70677998306964));
#1851 = CARTESIAN_POINT('', (9.82218302009179, 0.354769166694429, 1.71397171345034));
#1852 = CARTESIAN_POINT('', (9.87915895404951, 0.322816774375991, 1.7202759514055));
#1853 = CARTESIAN_POINT('', (9.93612636466299, 0.290711222956168, 1.72568449748131));
#1854 = CARTESIAN_POINT('', (10.0640989319328, 0.218588762156875, 1.73783434805491));
#1855 = CARTESIAN_POINT('', (10.1921197866164, 0.145644771052138, 1.74546228775152));
#1856 = CARTESIAN_POINT('', (10.3200855980533, 0.0725571609437378, 1.74849519827645));
#1857 = CARTESIAN_POINT('', (10.3580672148927, 0.0508639792128545, 1.74939539844845));
#1858 = CARTESIAN_POINT('', (10.3960507087495, 0.0291535673382741, 1.74989183914344));
#1859 = CARTESIAN_POINT('', (10.4340326587038, 0.00744249496424531, 1.74998417400521));
#1860 = CARTESIAN_POINT('', (10.4452960780908, 0.00100414954530556, 1.75001155559761));
#1861 = CARTESIAN_POINT('', (10.4565595462137, -0.00543435976437136, 1.75000340588289));
#1862 = CARTESIAN_POINT('', (10.4678229733125, -0.0118726017448974, 1.74995972563022));
#1863 = CARTESIAN_POINT('', (10.5965090309292, -0.0854303183432185, 1.74946067330254));
#1864 = CARTESIAN_POINT('', (10.7252569568897, -0.158994100688833, 1.74431422347057));
#1865 = CARTESIAN_POINT('', (10.853942052739, -0.231906428313123, 1.73456605769485));
#1866 = CARTESIAN_POINT('', (10.9825526976546, -0.304776572413073, 1.72482353173343));
#1867 = CARTESIAN_POINT('', (11.1112265584993, -0.377066250775343, 1.71047536772714));
#1868 = CARTESIAN_POINT('', (11.2398373341931, -0.448133206396761, 1.69164908575191));
#1869 = CARTESIAN_POINT('', (11.3683777963461, -0.519161308592033, 1.67283309640213));
#1870 = CARTESIAN_POINT('', (11.4969810078715, -0.589036394342814, 1.64952573785303));
#1871 = CARTESIAN_POINT('', (11.625521466356, -0.657137348716724, 1.62193418637185));
#1872 = CARTESIAN_POINT('', (11.7503283792206, -0.72326026424657, 1.59514405039358));
#1873 = CARTESIAN_POINT('', (11.8751933907185, -0.787771031029153, 1.5642911588939));
#1874 = CARTESIAN_POINT('', (12., -0.850131473058432, 1.52963279205027));
#1875 = ORIENTED_EDGE('', *, *, #1876, .F.);
#1876 = EDGE_CURVE('', #1652, #1790, #1877, .T.);
#1877 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1878, #1879, #1880, #1881, #1882), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0.236479866884617, 0.25, 0.332760462772662), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.970033609476583, 0.984160178772196, 1., 0.903040086672097, 0.870275751723509))
   REPRESENTATION_ITEM ('')
);
#1878 = CARTESIAN_POINT('', (12., 0.13579163332871, 1.74472365500039));
#1879 = CARTESIAN_POINT('', (12., 0.0679983259864408, 1.75));
#1880 = CARTESIAN_POINT('', (12., 1.07156594925393E-16, 1.75));
#1881 = CARTESIAN_POINT('', (12., -0.453627028446132, 1.75));
#1882 = CARTESIAN_POINT('', (12., -0.850131473058432, 1.52963279205027));
#1883 = ORIENTED_EDGE('', *, *, #1651, .T.);
#1884 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#1885, #1886), (#1887, #1888), (#1889, #1890), (#1891, #1892), (#1893, #1894), (#1895, #1896), (#1897, #1898), (#1899, #1900), (#1901, #1902)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0.0674055529117841, 2.74889357189107, 5.49778714378214, 8.24668071567321, 10.9639337535192), (0.2, 1.), .UNSPECIFIED.)
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.98598816555337, 0.98598816555337), (0.714288808733962, 0.714288808733962), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.710478064075122, 0.710478064075122), (0.993335043041251, 0.993335043041251)))
   REPRESENTATION_ITEM ('')
   SURFACE ()
);
#1885 = CARTESIAN_POINT('', (8., 1.74893280975722, 0.0611066850247927));
#1886 = CARTESIAN_POINT('', (12., 1.74893280975722, 0.0611066850247927));
#1887 = CARTESIAN_POINT('', (8., 1.68992386941205, 1.75));
#1888 = CARTESIAN_POINT('', (12., 1.68992386941205, 1.75));
#1889 = CARTESIAN_POINT('', (8., 1.07156594925393E-16, 1.75));
#1890 = CARTESIAN_POINT('', (12., 1.07156594925393E-16, 1.75));
#1891 = CARTESIAN_POINT('', (8., -1.75, 1.75));
#1892 = CARTESIAN_POINT('', (12., -1.75, 1.75));
#1893 = CARTESIAN_POINT('', (8., -1.75, 2.14313189850787E-16));
#1894 = CARTESIAN_POINT('', (12., -1.75, 2.14313189850787E-16));
#1895 = CARTESIAN_POINT('', (8., -1.75, -1.75));
#1896 = CARTESIAN_POINT('', (12., -1.75, -1.75));
#1897 = CARTESIAN_POINT('', (8., -3.2146978477618E-16, -1.75));
#1898 = CARTESIAN_POINT('', (12., -3.2146978477618E-16, -1.75));
#1899 = CARTESIAN_POINT('', (8., 1.72164868192297, -1.75));
#1900 = CARTESIAN_POINT('', (12., 1.72164868192297, -1.75));
#1901 = CARTESIAN_POINT('', (8., 1.74976659290647, -0.028580943799845));
#1902 = CARTESIAN_POINT('', (12., 1.74976659290647, -0.028580943799845));
#1903 = ADVANCED_FACE('', (#1904), #1936, .T.);
#1904 = FACE_OUTER_BOUND('', #1905, .T.);
#1905 = EDGE_LOOP('', (#1906, #1907, #1928, #1935));
#1906 = ORIENTED_EDGE('', *, *, #988, .F.);
#1907 = ORIENTED_EDGE('', *, *, #1908, .F.);
#1908 = EDGE_CURVE('', #1909, #980, #1911, .T.);
#1909 = VERTEX_POINT('', #1910);
#1910 = CARTESIAN_POINT('', (12., -0.514950841229612, 0.926545737925581));
#1911 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#1912, #1913, #1914, #1915, #1916, #1917, #1918, #1919, #1920, #1921, #1922, #1923, #1924, #1925, #1926, #1927), .UNSPECIFIED., .F., .U., (4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4), (0.0500000000000062, 0.606666666666667, 0.91, 1.21333333333333, 1.51666666666667, 1.82, 2.12333333333333, 2.42666666666667, 2.73, 3.03333333333333, 3.33666666666667, 3.64, 3.94333333333333, 4.05), .UNSPECIFIED.);
#1912 = CARTESIAN_POINT('', (12., -0.514950841229612, 0.926545737925581));
#1913 = CARTESIAN_POINT('', (11.8144444444444, -0.457955086403147, 0.956253723477016));
#1914 = CARTESIAN_POINT('', (11.5277777777778, -0.366175903139409, 0.994435654102484));
#1915 = CARTESIAN_POINT('', (11.14, -0.236948121727227, 1.02906128630134));
#1916 = CARTESIAN_POINT('', (10.8366666666667, -0.133896076187255, 1.04656491636286));
#1917 = CARTESIAN_POINT('', (10.5333333333333, -0.0297206785690434, 1.0543636207174));
#1918 = CARTESIAN_POINT('', (10.23, 0.0747180745657558, 1.05239286203501));
#1919 = CARTESIAN_POINT('', (9.92666666666667, 0.1786001865744, 1.04069207824227));
#1920 = CARTESIAN_POINT('', (9.62333333333333, 0.280952624944207, 1.01923067756624));
#1921 = CARTESIAN_POINT('', (9.32, 0.381390328884288, 0.988558914114178));
#1922 = CARTESIAN_POINT('', (9.01666666666667, 0.47737199011531, 0.947377595391709));
#1923 = CARTESIAN_POINT('', (8.71333333333333, 0.574462913422716, 0.901606548714079));
#1924 = CARTESIAN_POINT('', (8.41, 0.638771745310686, 0.815936704641208));
#1925 = CARTESIAN_POINT('', (8.17222222222222, 0.778103715389456, 0.852676421708346));
#1926 = CARTESIAN_POINT('', (8.03555555555555, 0.899446091575351, 0.895991746974188));
#1927 = CARTESIAN_POINT('', (8., 0.933997158567971, 0.908499764323413));
#1928 = ORIENTED_EDGE('', *, *, #1929, .T.);
#1929 = EDGE_CURVE('', #1909, #1790, #1930, .T.);
#1930 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#1931, #1932, #1933, #1934), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.689971050701375), .UNSPECIFIED.);
#1931 = CARTESIAN_POINT('', (12., -0.514950841229612, 0.926545737925581));
#1932 = CARTESIAN_POINT('', (12., -0.626677718505886, 1.12757475596714));
#1933 = CARTESIAN_POINT('', (12., -0.73840459578216, 1.32860377400871));
#1934 = CARTESIAN_POINT('', (12., -0.850131473058433, 1.52963279205027));
#1935 = ORIENTED_EDGE('', *, *, #1789, .F.);
#1936 = B_SPLINE_SURFACE_WITH_KNOTS('', 3, 1, ((#1937, #1938), (#1939, #1940), (#1941, #1942), (#1943, #1944), (#1945, #1946), (#1947, #1948), (#1949, #1950), (#1951, #1952), (#1953, #1954), (#1955, #1956), (#1957, #1958), (#1959, #1960), (#1961, #1962), (#1963, #1964), (#1965, #1966), (#1967, #1968)), .UNSPECIFIED., .F., .F., .U., (4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4), (2, 2), (0.0500000000000005, 0.606666666666667, 0.91, 1.21333333333333, 1.51666666666667, 1.82, 2.12333333333333, 2.42666666666667, 2.73, 3.03333333333333, 3.33666666666667, 3.64, 3.94333333333333, 4.05000000000001), (0.205925235464712, 1.), .UNSPECIFIED.);
#1937 = CARTESIAN_POINT('', (12., -0.855708731226825, 1.53966789515427));
#1938 = CARTESIAN_POINT('', (12., -0.514950841229613, 0.92654573792558));
#1939 = CARTESIAN_POINT('', (11.8144444444444, -0.760997234239246, 1.58903451539868));
#1940 = CARTESIAN_POINT('', (11.8144444444444, -0.457955086403148, 0.956253723477015));
#1941 = CARTESIAN_POINT('', (11.5277777777778, -0.608485106526013, 1.65248253566659));
#1942 = CARTESIAN_POINT('', (11.5277777777778, -0.36617590313941, 0.994435654102483));
#1943 = CARTESIAN_POINT('', (11.14, -0.393743558366915, 1.71002095181143));
#1944 = CARTESIAN_POINT('', (11.14, -0.236948121727227, 1.02906128630134));
#1945 = CARTESIAN_POINT('', (10.8366666666667, -0.222498988829416, 1.73910724097264));
#1946 = CARTESIAN_POINT('', (10.8366666666667, -0.133896076187255, 1.04656491636286));
#1947 = CARTESIAN_POINT('', (10.5333333333333, -0.0493877125994951, 1.75206657393052));
#1948 = CARTESIAN_POINT('', (10.5333333333333, -0.0297206785690434, 1.0543636207174));
#1949 = CARTESIAN_POINT('', (10.23, 0.124161189121866, 1.74879170713423));
#1950 = CARTESIAN_POINT('', (10.23, 0.0747180745657558, 1.05239286203501));
#1951 = CARTESIAN_POINT('', (9.92666666666667, 0.296785104157754, 1.72934817572891));
#1952 = CARTESIAN_POINT('', (9.92666666666667, 0.1786001865744, 1.04069207824227));
#1953 = CARTESIAN_POINT('', (9.62333333333333, 0.466867116192658, 1.6936851444792));
#1954 = CARTESIAN_POINT('', (9.62333333333333, 0.280952624944207, 1.01923067756624));
#1955 = CARTESIAN_POINT('', (9.32, 0.633767358554978, 1.64271698657624));
#1956 = CARTESIAN_POINT('', (9.32, 0.381390328884288, 0.988558914114178));
#1957 = CARTESIAN_POINT('', (9.01666666666667, 0.793262865654107, 1.57428479621394));
#1958 = CARTESIAN_POINT('', (9.01666666666667, 0.47737199011531, 0.947377595391709));
#1959 = CARTESIAN_POINT('', (8.71333333333333, 0.954601665681382, 1.49822572194208));
#1960 = CARTESIAN_POINT('', (8.71333333333333, 0.574462913422716, 0.901606548714079));
#1961 = CARTESIAN_POINT('', (8.41, 1.06146551468517, 1.3558656601526));
#1962 = CARTESIAN_POINT('', (8.41, 0.638771745310686, 0.815936704641208));
#1963 = CARTESIAN_POINT('', (8.17222222222222, 1.29299748587439, 1.41691711236905));
#1964 = CARTESIAN_POINT('', (8.17222222222222, 0.778103715389456, 0.852676421708346));
#1965 = CARTESIAN_POINT('', (8.03555555555555, 1.49463562772526, 1.4888954432276));
#1966 = CARTESIAN_POINT('', (8.03555555555555, 0.899446091575352, 0.895991746974188));
#1967 = CARTESIAN_POINT('', (8., 1.55205013670672, 1.50968037801965));
#1968 = CARTESIAN_POINT('', (8., 0.933997158567973, 0.908499764323414));
#1969 = ADVANCED_FACE('', (#1970), #1982, .T.);
#1970 = FACE_OUTER_BOUND('', #1971, .T.);
#1971 = EDGE_LOOP('', (#1972, #1973, #1974, #1981));
#1972 = ORIENTED_EDGE('', *, *, #979, .F.);
#1973 = ORIENTED_EDGE('', *, *, #1141, .T.);
#1974 = ORIENTED_EDGE('', *, *, #1975, .T.);
#1975 = EDGE_CURVE('', #1134, #1909, #1976, .T.);
#1976 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#1977, #1978, #1979, #1980), .UNSPECIFIED., .F., .U., (4, 4), (0.224033150273195, 2.21368744416371), .UNSPECIFIED.);
#1977 = CARTESIAN_POINT('', (12., -1.57887082447833, -0.754762823416155));
#1978 = CARTESIAN_POINT('', (12., -1.22423083006209, -0.194326636302242));
#1979 = CARTESIAN_POINT('', (12., -0.869590835645851, 0.36610955081167));
#1980 = CARTESIAN_POINT('', (12., -0.514950841229612, 0.926545737925581));
#1981 = ORIENTED_EDGE('', *, *, #1908, .T.);
#1982 = B_SPLINE_SURFACE_WITH_KNOTS('', 3, 1, ((#1983, #1984), (#1985, #1986), (#1987, #1988), (#1989, #1990), (#1991, #1992), (#1993, #1994), (#1995, #1996), (#1997, #1998), (#1999, #2000), (#2001, #2002), (#2003, #2004), (#2005, #2006), (#2007, #2008), (#2009, #2010), (#2011, #2012), (#2013, #2014)), .UNSPECIFIED., .F., .F., .U., (4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4), (2, 2), (0.05, 0.606666666666667, 0.91, 1.21333333333333, 1.51666666666667, 1.82, 2.12333333333333, 2.42666666666667, 2.73, 3.03333333333333, 3.33666666666667, 3.64, 3.94333333333333, 4.05000000000002), (0., 0.904883209084494), .UNSPECIFIED.);
#1983 = CARTESIAN_POINT('', (12., -0.514950841229614, 0.92654573792558));
#1984 = CARTESIAN_POINT('', (12., -1.58607588610938, -0.766148953948536));
#1985 = CARTESIAN_POINT('', (11.8144444444444, -0.457955086403148, 0.956253723477015));
#1986 = CARTESIAN_POINT('', (11.8144444444444, -1.62993877120004, -0.66876997289045));
#1987 = CARTESIAN_POINT('', (11.5277777777778, -0.36617590313941, 0.994435654102484));
#1988 = CARTESIAN_POINT('', (11.5277777777778, -1.68455104098975, -0.51288092006718));
#1989 = CARTESIAN_POINT('', (11.14, -0.236948121727227, 1.02906128630134));
#1990 = CARTESIAN_POINT('', (11.14, -1.72970158995593, -0.295204683545941));
#1991 = CARTESIAN_POINT('', (10.8366666666667, -0.133896076187255, 1.04656491636286));
#1992 = CARTESIAN_POINT('', (10.8366666666667, -1.74893730181151, -0.122581340695075));
#1993 = CARTESIAN_POINT('', (10.5333333333333, -0.0297206785690434, 1.0543636207174));
#1994 = CARTESIAN_POINT('', (10.5333333333333, -1.75196615277328, 0.0509824885611976));
#1995 = CARTESIAN_POINT('', (10.23, 0.0747180745657558, 1.05239286203501));
#1996 = CARTESIAN_POINT('', (10.23, -1.73876287858632, 0.224053972150227));
#1997 = CARTESIAN_POINT('', (9.92666666666667, 0.1786001865744, 1.04069207824227));
#1998 = CARTESIAN_POINT('', (9.92666666666667, -1.70947090034871, 0.39527652575957));
#1999 = CARTESIAN_POINT('', (9.62333333333333, 0.280952624944207, 1.01923067756624));
#2000 = CARTESIAN_POINT('', (9.62333333333333, -1.66413201949077, 0.563033024829818));
#2001 = CARTESIAN_POINT('', (9.32, 0.381390328884288, 0.988558914114178));
#2002 = CARTESIAN_POINT('', (9.32, -1.60369570721364, 0.726737010184902));
#2003 = CARTESIAN_POINT('', (9.01666666666667, 0.47737199011531, 0.947377595391709));
#2004 = CARTESIAN_POINT('', (9.01666666666667, -1.52624838590408, 0.882048996953661));
#2005 = CARTESIAN_POINT('', (8.71333333333333, 0.574462913422716, 0.901606548714079));
#2006 = CARTESIAN_POINT('', (8.71333333333333, -1.44108141425058, 1.03876463667838));
#2007 = CARTESIAN_POINT('', (8.41, 0.638771745310686, 0.815936704641208));
#2008 = CARTESIAN_POINT('', (8.41, -1.29284235825208, 1.13730129667925));
#2009 = CARTESIAN_POINT('', (8.17222222222222, 0.778103715389458, 0.852676421708347));
#2010 = CARTESIAN_POINT('', (8.17222222222222, -1.34053899570063, 1.37194098772288));
#2011 = CARTESIAN_POINT('', (8.03555555555555, 0.899446091575359, 0.89599174697419));
#2012 = CARTESIAN_POINT('', (8.03555555555555, -1.40085536757911, 1.57736224685486));
#2013 = CARTESIAN_POINT('', (7.99999999999999, 0.933997158567983, 0.908499764323417));
#2014 = CARTESIAN_POINT('', (7.99999999999999, -1.41831918824086, 1.63587055001806));
#2015 = ADVANCED_FACE('', (#2016), #2027, .T.);
#2016 = FACE_OUTER_BOUND('', #2017, .T.);
#2017 = EDGE_LOOP('', (#2018, #2019, #2020, #2021, #2022, #2023, #2024, #2025, #2026));
#2018 = ORIENTED_EDGE('', *, *, #1606, .F.);
#2019 = ORIENTED_EDGE('', *, *, #1744, .T.);
#2020 = ORIENTED_EDGE('', *, *, #1876, .T.);
#2021 = ORIENTED_EDGE('', *, *, #1929, .F.);
#2022 = ORIENTED_EDGE('', *, *, #1975, .F.);
#2023 = ORIENTED_EDGE('', *, *, #1133, .T.);
#2024 = ORIENTED_EDGE('', *, *, #1285, .F.);
#2025 = ORIENTED_EDGE('', *, *, #1426, .F.);
#2026 = ORIENTED_EDGE('', *, *, #1555, .T.);
#2027 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#2028, #2029), (#2030, #2031)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.210018112569813, 0.821412173266613), (0.224310664724552, 0.821412173266613), .UNSPECIFIED.);
#2028 = CARTESIAN_POINT('', (12., -1.57887082447833, -1.50105184825042));
#2029 = CARTESIAN_POINT('', (12., -1.57887082447833, 1.75));
#2030 = CARTESIAN_POINT('', (12., 1.75, -1.50105184825042));
#2031 = CARTESIAN_POINT('', (12., 1.75, 1.75));
#2032 = PRESENTATION_STYLE_ASSIGNMENT((#2033));
#2033 = SURFACE_STYLE_USAGE(.POSITIVE., #2034);
#2034 = SURFACE_SIDE_STYLE('', (#2035));
#2035 = SURFACE_STYLE_FILL_AREA(#2036);
#2036 = FILL_AREA_STYLE('', (#2037));
#2037 = FILL_AREA_STYLE_COLOUR('', #2038);
#2038 = COLOUR_RGB('', 1., 0.74901960784314, 0.);
#2039 = STYLED_ITEM('', (#2032), #954);
#2040 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#2042))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#2041, #2043, #2044))
   REPRESENTATION_CONTEXT ('', '3D')
);
#2041 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#2042 = UNCERTAINTY_MEASURE_WITH_UNIT(LENGTH_MEASURE(1.E-6), #2041, 'DISTANCE_ACCURACY_VALUE', '');
#2043 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#2044 = (
   NAMED_UNIT (*)
   PLANE_ANGLE_UNIT ()
   SI_UNIT ($, .RADIAN.)
);
#2045 = SHAPE_REPRESENTATION('', (), #2040);
#2046 = PRODUCT_DEFINITION_SHAPE('', '', #2047);
#2047 = PRODUCT_DEFINITION('', '', #2050, #2054);
#2048 = APPLICATION_CONTEXT('configuration controlled 3D designs of mechanical parts and assemblies');
#2049 = APPLICATION_PROTOCOL_DEFINITION('International Standard', 'automotive_design', 2002, #2048);
#2050 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE('', '', #2051, .NOT_KNOWN.);
#2051 = PRODUCT('NONE', '', '', (#2052));
#2052 = PRODUCT_CONTEXT('', #2048, 'mechanical');
#2053 = PRODUCT_RELATED_PRODUCT_CATEGORY('detail', '', (#2051));
#2054 = PRODUCT_DEFINITION_CONTEXT('part definition', #2048, 'design');
#2055 = SHAPE_DEFINITION_REPRESENTATION(#2046, #2045);
#2056 = SHAPE_REPRESENTATION_RELATIONSHIP('', '', #2045, #2057);
#2057 = ADVANCED_BREP_SHAPE_REPRESENTATION('', (#1, #954), #2040);
ENDSEC;
END-ISO-10303-21;