ISO-10303-21;
HEADER;
FILE_DESCRIPTION(('STEP'), '1');
FILE_NAME('AF60320-030 TIALN.stp', '2020-06-05T14:59:04', ('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, #571, #615, #809, #853, #907));
#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('', (2., 3., 0.));
#10 = VERTEX_POINT('', #11);
#11 = CARTESIAN_POINT('', (7., 1.5, 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.978653368422564, 1.))
   REPRESENTATION_ITEM ('')
);
#13 = CARTESIAN_POINT('', (2., 3., 0.));
#14 = CARTESIAN_POINT('', (4.34249951160324, 1.72499837201077, 0.));
#15 = CARTESIAN_POINT('', (7., 1.5, 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('', (2., 3., 0.));
#20 = CARTESIAN_POINT('', (2., 3., 3.));
#21 = CARTESIAN_POINT('', (2., 1.83697019872103E-16, 3.));
#22 = CARTESIAN_POINT('', (2., -3., 3.));
#23 = CARTESIAN_POINT('', (2., -3., 3.67394039744206E-16));
#24 = CARTESIAN_POINT('', (2., -3., -3.));
#25 = CARTESIAN_POINT('', (2., -5.51091059616309E-16, -3.));
#26 = CARTESIAN_POINT('', (2., 3., -3.));
#27 = CARTESIAN_POINT('', (2., 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., 2.35619449019235, 4.71238898038469, 7.06858347057704, 9.42477796076938), .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.5, 0.));
#33 = CARTESIAN_POINT('', (7., 1.5, 1.5));
#34 = CARTESIAN_POINT('', (7., 9.18485099360515E-17, 1.5));
#35 = CARTESIAN_POINT('', (7., -1.5, 1.5));
#36 = CARTESIAN_POINT('', (7., -1.5, 1.83697019872103E-16));
#37 = CARTESIAN_POINT('', (7., -1.5, -1.5));
#38 = CARTESIAN_POINT('', (7., -2.75545529808154E-16, -1.5));
#39 = CARTESIAN_POINT('', (7., 1.5, -1.5));
#40 = CARTESIAN_POINT('', (7., 1.5, 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.978653368422564, 1.), (0.707106781186548, 0.692012433242652, 0.707106781186548), (1., 0.978653368422564, 1.), (0.707106781186548, 0.692012433242652, 0.707106781186548), (1., 0.978653368422564, 1.), (0.707106781186548, 0.692012433242652, 0.707106781186548), (1., 0.978653368422564, 1.), (0.707106781186548, 0.692012433242652, 0.707106781186548), (1., 0.978653368422564, 1.)))
   REPRESENTATION_ITEM ('')
   SURFACE ()
);
#42 = CARTESIAN_POINT('', (2., 3., 0.));
#43 = CARTESIAN_POINT('', (4.34249951160324, 1.72499837201077, 0.));
#44 = CARTESIAN_POINT('', (7., 1.5, 0.));
#45 = CARTESIAN_POINT('', (2., 3., 3.));
#46 = CARTESIAN_POINT('', (4.34249951160324, 1.72499837201077, 1.72499837201077));
#47 = CARTESIAN_POINT('', (7., 1.5, 1.5));
#48 = CARTESIAN_POINT('', (2., 1.83697019872103E-16, 3.));
#49 = CARTESIAN_POINT('', (4.34249951160324, 1.05625686740869E-16, 1.72499837201077));
#50 = CARTESIAN_POINT('', (7., 9.18485099360513E-17, 1.5));
#51 = CARTESIAN_POINT('', (2., -3., 3.));
#52 = CARTESIAN_POINT('', (4.34249951160324, -1.72499837201077, 1.72499837201077));
#53 = CARTESIAN_POINT('', (7., -1.5, 1.5));
#54 = CARTESIAN_POINT('', (2., -3., 3.67394039744206E-16));
#55 = CARTESIAN_POINT('', (4.34249951160324, -1.72499837201077, 2.11251373481739E-16));
#56 = CARTESIAN_POINT('', (7., -1.5, 1.83697019872103E-16));
#57 = CARTESIAN_POINT('', (2., -3., -3.));
#58 = CARTESIAN_POINT('', (4.34249951160324, -1.72499837201077, -1.72499837201077));
#59 = CARTESIAN_POINT('', (7., -1.5, -1.5));
#60 = CARTESIAN_POINT('', (2., -5.51091059616309E-16, -3.));
#61 = CARTESIAN_POINT('', (4.34249951160324, -3.16877060222608E-16, -1.72499837201077));
#62 = CARTESIAN_POINT('', (7., -2.75545529808154E-16, -1.5));
#63 = CARTESIAN_POINT('', (2., 3., -3.));
#64 = CARTESIAN_POINT('', (4.34249951160324, 1.72499837201077, -1.72499837201077));
#65 = CARTESIAN_POINT('', (7., 1.5, -1.5));
#66 = CARTESIAN_POINT('', (2., 3., 0.));
#67 = CARTESIAN_POINT('', (4.34249951160324, 1.72499837201077, 0.));
#68 = CARTESIAN_POINT('', (7., 1.5, 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('', (2., 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.226532141220103, 0.522486989651012, 0.818712617000364, 1.01613164123477, 1.21365653787485, 1.41130126070876, 1.60907935009336, 1.80700249001341, 2.00507870652317, 2.20331049885992, 2.40169339368014, 2.59896230886553, 2.79623122405091, 2.99461411887113, 3.19284591120788, 3.39092212771765, 3.58884526763769, 3.78662335702229, 3.98426807985621, 4.18179297649628, 4.37921200073069, 4.67543762808004, 4.97139247651095, 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.05511554936736, 2.1864112283916));
#157 = CARTESIAN_POINT('', (-22.2304519593263, 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.81770907332823, 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.40538813971894, 2.65110699695379));
#168 = CARTESIAN_POINT('', (-22.688754374985, 1.35237136818211, 2.67856731294511));
#169 = CARTESIAN_POINT('', (-22.7152864890327, 1.29804490816719, 2.7046403488045));
#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.956194799697469, 2.84353503671602));
#176 = CARTESIAN_POINT('', (-22.8769812528403, 0.89671185696602, 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.586405693294024, 2.94212990244693));
#182 = CARTESIAN_POINT('', (-22.969848517697, 0.522848200475704, 2.95479775766609));
#183 = CARTESIAN_POINT('', (-22.9807311001951, 0.458417641638557, 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.19705225067139, 2.99352140638837));
#188 = CARTESIAN_POINT('', (-23.0136393950475, 0.131584030526332, 2.99783093298788));
#189 = CARTESIAN_POINT('', (-23.0158466536749, 0.0657563050617967, 3.));
#190 = CARTESIAN_POINT('', (-23.0158466536749, 9.35758481243443E-16, 3.));
#191 = CARTESIAN_POINT('', (-23.0158466536749, -0.0657563050617953, 3.));
#192 = CARTESIAN_POINT('', (-23.0136393950475, -0.131584030526331, 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.32850692971699, 2.98267992298454));
#196 = CARTESIAN_POINT('', (-22.989473025953, -0.393487032405311, 2.97408270821927));
#197 = CARTESIAN_POINT('', (-22.9807311001951, -0.458417641638557, 2.96549204170255));
#198 = CARTESIAN_POINT('', (-22.969848517697, -0.522848200475703, 2.95479775766609));
#199 = CARTESIAN_POINT('', (-22.9569576145729, -0.586405693294024, 2.94212990244693));
#200 = CARTESIAN_POINT('', (-22.9440768284582, -0.649913305064561, 2.92947198918526));
#201 = CARTESIAN_POINT('', (-22.9291665193535, -0.712674042608822, 2.91481966923584));
#202 = CARTESIAN_POINT('', (-22.912392760104, -0.774369168024391, 2.89833614192924));
#203 = CARTESIAN_POINT('', (-22.8956319638943, -0.836016614422422, 2.88186535336629));
#204 = CARTESIAN_POINT('', (-22.8769812528403, -0.89671185696602, 2.86353735065839));
#205 = CARTESIAN_POINT('', (-22.856626750296, -0.956194799697468, 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.40538813971894, 2.65110699695379));
#214 = CARTESIAN_POINT('', (-22.6316388562751, -1.45698599487322, 2.6224400490275));
#215 = CARTESIAN_POINT('', (-22.6024827940229, -1.5085561938224, 2.59378846644904));
#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.43754155695695));
#220 = CARTESIAN_POINT('', (-22.3916620900936, -1.81770907332823, 2.38661553768947));
#221 = CARTESIAN_POINT('', (-22.3398867673544, -1.88451279376245, 2.33573606973675));
#222 = CARTESIAN_POINT('', (-22.28600160207, -1.94821634893922, 2.28278326528933));
#223 = CARTESIAN_POINT('', (-22.2304519593263, -2.0087677833036, 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.295660747419764, 0.591176839852671, 0.886518626925893, 1.18164841836716, 1.47652016794506, 1.67307726230278, 1.86952243409267, 2.06584587187347, 2.26204020012183, 2.39294997035299, 2.59879551853109, 2.79606443371648, 2.9944473285367, 3.19267912087344, 3.39075533738321, 3.58867847730326, 3.78645656668785, 3.98410128952177, 4.18162618616184, 4.37904521039625, 4.6752708377456, 4.97122568617651, 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.90389457170159, 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.89794583651863, 2.86246279882885));
#260 = CARTESIAN_POINT('', (-17.1050328324775, 0.838177129067326, 2.88121205979111));
#261 = CARTESIAN_POINT('', (-17.0876830554032, 0.777257254947388, 2.89826163823774));
#262 = CARTESIAN_POINT('', (-17.0722398653129, 0.71545876256749, 2.91343761887321));
#263 = CARTESIAN_POINT('', (-17.0568062451267, 0.653698565749477, 2.92860419519017));
#264 = CARTESIAN_POINT('', (-17.0432495457113, 0.590947680355504, 2.94192632660258));
#265 = CARTESIAN_POINT('', (-17.0317225554071, 0.527533495262702, 2.9532538684265));
#266 = CARTESIAN_POINT('', (-17.0202031456768, 0.464161013676524, 2.96457396084119));
#267 = CARTESIAN_POINT('', (-17.010688957187, 0.400001379736575, 2.97392352783085));
#268 = CARTESIAN_POINT('', (-17.0032957482596, 0.335429955765137, 2.98118881400952));
#269 = CARTESIAN_POINT('', (-16.9983626633401, 0.292344967778637, 2.9860365430586));
#270 = CARTESIAN_POINT('', (-16.9943668527801, 0.249027925527359, 2.98996321515988));
#271 = CARTESIAN_POINT('', (-16.9913310181474, 0.205599414331944, 2.99294652154467));
#272 = CARTESIAN_POINT('', (-16.9865574016096, 0.137311419648325, 2.99763754145157));
#273 = CARTESIAN_POINT('', (-16.9841533463251, 0.0686151827260393, 3.));
#274 = CARTESIAN_POINT('', (-16.9841533463251, 3.64456218873655E-15, 3.));
#275 = CARTESIAN_POINT('', (-16.9841533463251, -0.0657563050617911, 3.));
#276 = CARTESIAN_POINT('', (-16.9863606049525, -0.131584030526325, 2.99783093298788));
#277 = CARTESIAN_POINT('', (-16.9907460110803, -0.197052250671382, 2.99352140638837));
#278 = CARTESIAN_POINT('', (-16.9951561816426, -0.262890170542834, 2.98918754384691));
#279 = CARTESIAN_POINT('', (-17.0017783847429, -0.328506929716983, 2.98267992298454));
#280 = CARTESIAN_POINT('', (-17.010526974047, -0.393487032405304, 2.97408270821927));
#281 = CARTESIAN_POINT('', (-17.0192688998049, -0.45841764163855, 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.774369168024383, 2.89833614192924));
#287 = CARTESIAN_POINT('', (-17.1043680361057, -0.836016614422415, 2.88186535336629));
#288 = CARTESIAN_POINT('', (-17.1230187471597, -0.896711856966012, 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.29804490816718, 2.7046403488045));
#296 = CARTESIAN_POINT('', (-17.311245625015, -1.3523713681821, 2.67856731294512));
#297 = CARTESIAN_POINT('', (-17.3391894455811, -1.40538813971894, 2.65110699695379));
#298 = CARTESIAN_POINT('', (-17.3683611437249, -1.45698599487321, 2.62244004902751));
#299 = CARTESIAN_POINT('', (-17.3975172059771, -1.50855619382239, 2.59378846644904));
#300 = CARTESIAN_POINT('', (-17.4279329486004, -1.5587687118729, 2.56389899941747));
#301 = CARTESIAN_POINT('', (-17.4594368887067, -1.607549105666, 2.53294016369761));
#302 = CARTESIAN_POINT('', (-17.5067082925553, -1.68074368663279, 2.48648668451199));
#303 = CARTESIAN_POINT('', (-17.5565152162052, -1.75084423195187, 2.43754155695696));
#304 = CARTESIAN_POINT('', (-17.6083379099064, -1.81770907332823, 2.38661553768948));
#305 = CARTESIAN_POINT('', (-17.6601132326456, -1.88451279376244, 2.33573606973675));
#306 = CARTESIAN_POINT('', (-17.7139983979299, -1.94821634893921, 2.28278326528933));
#307 = CARTESIAN_POINT('', (-17.7695480406737, -2.00876778330359, 2.22819478339796));
#308 = CARTESIAN_POINT('', (-17.8120672951529, -2.05511554936735, 2.1864112283916));
#309 = CARTESIAN_POINT('', (-17.8556089394693, -2.09966946167759, 2.14362297369035));
#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('', (2., 3., 0.));
#320 = CARTESIAN_POINT('', (2., 3., 3.));
#321 = CARTESIAN_POINT('', (2., 1.83697019872103E-16, 3.));
#322 = CARTESIAN_POINT('', (2., -3., 3.));
#323 = CARTESIAN_POINT('', (2., -3., 3.67394039744206E-16));
#324 = CARTESIAN_POINT('', (2., -3., -3.));
#325 = CARTESIAN_POINT('', (2., -5.51091059616309E-16, -3.));
#326 = CARTESIAN_POINT('', (2., 3., -3.));
#327 = CARTESIAN_POINT('', (2., 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), #550, .T.);
#378 = FACE_OUTER_BOUND('', #379, .T.);
#379 = EDGE_LOOP('', (#380, #433, #442, #469, #477, #504));
#380 = ORIENTED_EDGE('', *, *, #381, .T.);
#381 = EDGE_CURVE('', #382, #384, #386, .T.);
#382 = VERTEX_POINT('', #383);
#383 = CARTESIAN_POINT('', (8., 0.737391151565454, 1.30623668972854));
#384 = VERTEX_POINT('', #385);
#385 = CARTESIAN_POINT('', (7.99999999999999, 0.595143166048244, -0.871635965141471));
#386 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#387, #388, #389, #390, #391, #392, #393, #394, #395, #396, #397, #398, #399, #400, #401, #402, #403, #404, #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, #430, #431, #432), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.592204101665974, 0.593732144485551, 0.791008983608433, 0.987977099608164, 1.18463835890224, 1.38099269096186, 1.46837048309111, 1.49432777328898, 1.69252644206834, 1.89039934198126, 2.08795445157047, 2.28519749819454, 2.48213212042002, 2.67875997174487, 2.87508077188518, 2.94540182815983), .UNSPECIFIED.);
#387 = CARTESIAN_POINT('', (8., 0.737391149867455, 1.30623668855707));
#388 = CARTESIAN_POINT('', (8., 0.737680429692812, 1.30581744555139));
#389 = CARTESIAN_POINT('', (8., 0.737969523407327, 1.30539808154318));
#390 = CARTESIAN_POINT('', (8., 0.73825843083428, 1.30497859676047));
#391 = CARTESIAN_POINT('', (8., 0.77555761071214, 1.25082132385372));
#392 = CARTESIAN_POINT('', (8., 0.809868893544134, 1.19448099206804));
#393 = CARTESIAN_POINT('', (8., 0.840869380400973, 1.13648781278895));
#394 = CARTESIAN_POINT('', (8., 0.871821353873452, 1.07858538838767));
#395 = CARTESIAN_POINT('', (8., 0.89956978404565, 1.01885409260131));
#396 = CARTESIAN_POINT('', (8., 0.92385434888788, 0.957854294865492));
#397 = CARTESIAN_POINT('', (8., 0.948101080796957, 0.896949528738643));
#398 = CARTESIAN_POINT('', (8., 0.968970411007813, 0.834590209795097));
#399 = CARTESIAN_POINT('', (8., 0.986267161929448, 0.771359545139475));
#400 = CARTESIAN_POINT('', (8., 1.0035369179872, 0.708227563941414));
#401 = CARTESIAN_POINT('', (8., 1.01729898321267, 0.644030614711395));
#402 = CARTESIAN_POINT('', (8., 1.02742505024773, 0.579367222512345));
#403 = CARTESIAN_POINT('', (8., 1.03193115597606, 0.550591975321845));
#404 = CARTESIAN_POINT('', (8., 1.03572353331569, 0.521695872230357));
#405 = CARTESIAN_POINT('', (8., 1.03879516750422, 0.492732362375349));
#406 = CARTESIAN_POINT('', (8., 1.03970765680007, 0.484128182615998));
#407 = CARTESIAN_POINT('', (8., 1.04055668435364, 0.475517035801599));
#408 = CARTESIAN_POINT('', (8., 1.04134211151397, 0.466900328180815));
#409 = CARTESIAN_POINT('', (8., 1.04733929444074, 0.401106866433383));
#410 = CARTESIAN_POINT('', (8., 1.04962762222665, 0.334870312067966));
#411 = CARTESIAN_POINT('', (8., 1.04818535847351, 0.268819833742413));
#412 = CARTESIAN_POINT('', (8., 1.04674546529446, 0.202877919160426));
#413 = CARTESIAN_POINT('', (8., 1.04158272495209, 0.136913194378917));
#414 = CARTESIAN_POINT('', (8., 1.03274601665744, 0.0715501927830562));
#415 = CARTESIAN_POINT('', (8., 1.0239235004042, 0.00629216629720035));
#416 = CARTESIAN_POINT('', (8., 1.01141106928, -0.058571523646437));
#417 = CARTESIAN_POINT('', (8., 0.995326807758466, -0.122428734243002));
#418 = CARTESIAN_POINT('', (8., 0.979267953336512, -0.186185074401307));
#419 = CARTESIAN_POINT('', (8., 0.959598181697032, -0.249138209291624));
#420 = CARTESIAN_POINT('', (8., 0.936502539188417, -0.310695897786574));
#421 = CARTESIAN_POINT('', (8., 0.913443010802822, -0.372157329945104));
#422 = CARTESIAN_POINT('', (8., 0.886896208897013, -0.432419971932028));
#423 = CARTESIAN_POINT('', (8., 0.857111097925157, -0.490918661291174));
#424 = CARTESIAN_POINT('', (8., 0.827372384103862, -0.549326225507277));
#425 = CARTESIAN_POINT('', (8., 0.794312725344145, -0.606157505354393));
#426 = CARTESIAN_POINT('', (8., 0.758241202845561, -0.660881174109669));
#427 = CARTESIAN_POINT('', (8., 0.722226009110358, -0.715519387182038));
#428 = CARTESIAN_POINT('', (8., 0.683096406383542, -0.768226460836778));
#429 = CARTESIAN_POINT('', (8., 0.641217085955345, -0.818511160577337));
#430 = CARTESIAN_POINT('', (8., 0.626216138289736, -0.83652286997177));
#431 = CARTESIAN_POINT('', (8., 0.6108520283994, -0.8542382138555));
#432 = CARTESIAN_POINT('', (8., 0.595143166048245, -0.871635965141465));
#433 = ORIENTED_EDGE('', *, *, #434, .T.);
#434 = EDGE_CURVE('', #384, #435, #437, .T.);
#435 = VERTEX_POINT('', #436);
#436 = CARTESIAN_POINT('', (7.57396899759373, 0.634307365463265, -1.35928443164742));
#437 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#438, #439, #440, #441), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (4.05000000000001, 4.47603100240658), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1., 0.999999999999999, 1.))
   REPRESENTATION_ITEM ('')
);
#438 = CARTESIAN_POINT('', (7.99999999999999, 0.595143166048245, -0.871635965141471));
#439 = CARTESIAN_POINT('', (7.85798966586447, 0.604481834134879, -0.986494613833552));
#440 = CARTESIAN_POINT('', (7.71597933172895, 0.62447083542569, -1.14641247935823));
#441 = CARTESIAN_POINT('', (7.57396899759342, 0.634307365463287, -1.35928443164789));
#442 = ORIENTED_EDGE('', *, *, #443, .F.);
#443 = EDGE_CURVE('', #444, #435, #446, .T.);
#444 = VERTEX_POINT('', #445);
#445 = CARTESIAN_POINT('', (7.5, 1.23787259058968, -0.847154914680182));
#446 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#447, #448, #449, #450, #451, #452, #453, #454, #455, #456, #457, #458, #459, #460, #461, #462, #463, #464, #465, #466, #467, #468), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 4), (0., 0.131531296811094, 0.262726473565968, 0.393573023467113, 0.524060628884114, 0.654181952602668, 0.783933431406978, 0.805403217068964), .UNSPECIFIED.);
#447 = CARTESIAN_POINT('', (7.5, 1.23787259059031, -0.847154914679264));
#448 = CARTESIAN_POINT('', (7.50001916543247, 1.21311095194993, -0.883336908361775));
#449 = CARTESIAN_POINT('', (7.50063914629366, 1.18673316322379, -0.918468899545854));
#450 = CARTESIAN_POINT('', (7.50188640496384, 1.15890863200832, -0.952329135675582));
#451 = CARTESIAN_POINT('', (7.50313047634197, 1.13115520465348, -0.986102844075808));
#452 = CARTESIAN_POINT('', (7.50500131143277, 1.10190381756235, -1.01868252584926));
#453 = CARTESIAN_POINT('', (7.5075216672678, 1.07134641531998, -1.04986516199987));
#454 = CARTESIAN_POINT('', (7.51003532572456, 1.0408702137076, -1.08096493607734));
#455 = CARTESIAN_POINT('', (7.51320042610486, 1.0090306869038, -1.11074059933783));
#456 = CARTESIAN_POINT('', (7.51703541766994, 0.9760399246469, -1.13901100323714));
#457 = CARTESIAN_POINT('', (7.52085988890361, 0.94313966421942, -1.16720385441877));
#458 = CARTESIAN_POINT('', (7.52535867934058, 0.909025476307548, -1.19395882358962));
#459 = CARTESIAN_POINT('', (7.53054535173181, 0.87392660532385, -1.2191194726142));
#460 = CARTESIAN_POINT('', (7.53571746501479, 0.838926257675273, -1.24420949512043));
#461 = CARTESIAN_POINT('', (7.54158443589469, 0.802873990681625, -1.26776633267394));
#462 = CARTESIAN_POINT('', (7.54815445462669, 0.766012658691363, -1.28966065564729));
#463 = CARTESIAN_POINT('', (7.55470579934012, 0.729256097969785, -1.31149274820543));
#464 = CARTESIAN_POINT('', (7.5619697188584, 0.691619641705547, -1.33171664083548));
#465 = CARTESIAN_POINT('', (7.56994874561962, 0.653355761208545, -1.35023192426176));
#466 = CARTESIAN_POINT('', (7.57126902339937, 0.647024293386852, -1.35329562087852));
#467 = CARTESIAN_POINT('', (7.5726091085492, 0.640674439525254, -1.35631324925179));
#468 = CARTESIAN_POINT('', (7.57396899759373, 0.634307365463265, -1.35928443164742));
#469 = ORIENTED_EDGE('', *, *, #470, .T.);
#470 = EDGE_CURVE('', #444, #471, #473, .T.);
#471 = VERTEX_POINT('', #472);
#472 = CARTESIAN_POINT('', (7.5, 1.24024217317046, -0.843682020603385));
#473 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#474, #475, #476), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (8.51086969706815, 8.5148905163551), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.860917944427097, 0.861030029117149, 0.861143819678056))
   REPRESENTATION_ITEM ('')
);
#474 = CARTESIAN_POINT('', (7.5, 1.23787259058968, -0.847154914680182));
#475 = CARTESIAN_POINT('', (7.5, 1.23905981538183, -0.845420128038919));
#476 = CARTESIAN_POINT('', (7.5, 1.24024217317046, -0.843682020603385));
#477 = ORIENTED_EDGE('', *, *, #478, .T.);
#478 = EDGE_CURVE('', #471, #479, #481, .T.);
#479 = VERTEX_POINT('', #480);
#480 = CARTESIAN_POINT('', (7.57565271949389, 1.5, 0.));
#481 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#482, #483, #484, #485, #486, #487, #488, #489, #490, #491, #492, #493, #494, #495, #496, #497, #498, #499, #500, #501, #502, #503), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 4), (0., 0.131142834424356, 0.261965286856403, 0.392485001905975, 0.522719341357073, 0.652684992335449, 0.782397675598946, 0.899863368672226), .UNSPECIFIED.);
#482 = CARTESIAN_POINT('', (7.5, 1.24024217317277, -0.843682020599996));
#483 = CARTESIAN_POINT('', (7.50001909931139, 1.26482947116697, -0.807537829835935));
#484 = CARTESIAN_POINT('', (7.50063451587324, 1.28785853205703, -0.770279131933374));
#485 = CARTESIAN_POINT('', (7.50181706790855, 1.30918736080356, -0.73213964126539));
#486 = CARTESIAN_POINT('', (7.5029967309688, 1.33046408321369, -0.694093325387013));
#487 = CARTESIAN_POINT('', (7.50474314924399, 1.35009290010486, -0.655092029029938));
#488 = CARTESIAN_POINT('', (7.50702509167668, 1.36795843764395, -0.615377699367412));
#489 = CARTESIAN_POINT('', (7.50930175344642, 1.38578263238621, -0.575755272982843));
#490 = CARTESIAN_POINT('', (7.51211605262022, 1.40188803167676, -0.535342648685276));
#491 = CARTESIAN_POINT('', (7.51543522717423, 1.41618562292425, -0.494386773106499));
#492 = CARTESIAN_POINT('', (7.51874714449952, 1.43045195311928, -0.453520445742716));
#493 = CARTESIAN_POINT('', (7.5225683187644, 1.44294698650714, -0.412031657959413));
#494 = CARTESIAN_POINT('', (7.52686490519759, 1.45360744578374, -0.370169411975217));
#495 = CARTESIAN_POINT('', (7.53115262727709, 1.46424591130251, -0.328393532635837));
#496 = CARTESIAN_POINT('', (7.53592219063811, 1.47307835198518, -0.28616383209451));
#497 = CARTESIAN_POINT('', (7.54113905918196, 1.48006631878152, -0.243728726268635));
#498 = CARTESIAN_POINT('', (7.54634577350965, 1.487040684061, -0.201376216972463));
#499 = CARTESIAN_POINT('', (7.55200805843659, 1.49219129217858, -0.158737618792696));
#500 = CARTESIAN_POINT('', (7.55809103602991, 1.49550340789268, -0.116058420558431));
#501 = CARTESIAN_POINT('', (7.56359968145278, 1.49850280593231, -0.0774088338390213));
#502 = CARTESIAN_POINT('', (7.56946226109009, 1.5, -0.0386627772065984));
#503 = CARTESIAN_POINT('', (7.57565271949389, 1.5, -1.94289029309402E-16));
#504 = ORIENTED_EDGE('', *, *, #505, .F.);
#505 = EDGE_CURVE('', #382, #479, #506, .T.);
#506 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#507, #508, #509, #510, #511, #512, #513, #514, #515, #516, #517, #518, #519, #520, #521, #522, #523, #524, #525, #526, #527, #528, #529, #530, #531, #532, #533, #534, #535, #536, #537, #538, #539, #540, #541, #542, #543, #544, #545, #546, #547, #548, #549), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (3.2461808284346, 3.348573998, 3.48098571188697, 3.61329548515157, 3.74549510044666, 3.87757632728903, 4.0095303457559, 4.14134737442486, 4.27301643030849, 4.40452517545121, 4.43048496846187, 4.56238037663508, 4.69408266887833, 4.82557651124357, 4.88947336826313), .UNSPECIFIED.);
#507 = CARTESIAN_POINT('', (8., 0.737391151565454, 1.30623668972854));
#508 = CARTESIAN_POINT('', (7.98786997566301, 0.765172929462808, 1.29055343924465));
#509 = CARTESIAN_POINT('', (7.97599464821659, 0.792566522004383, 1.2739183621248));
#510 = CARTESIAN_POINT('', (7.96436520891589, 0.819443776140964, 1.25638843426061));
#511 = CARTESIAN_POINT('', (7.94932637384626, 0.854200618808354, 1.23371926792205));
#512 = CARTESIAN_POINT('', (7.93466852397749, 0.888162541620925, 1.20950859016196));
#513 = CARTESIAN_POINT('', (7.92037286863425, 0.921119783125852, 1.18386584760903));
#514 = CARTESIAN_POINT('', (7.90608821917531, 0.954051651636113, 1.15824284679237));
#515 = CARTESIAN_POINT('', (7.89214234167783, 0.986034221489993, 1.13114826832904));
#516 = CARTESIAN_POINT('', (7.87853328395822, 1.01687409032917, 1.10270897539551));
#517 = CARTESIAN_POINT('', (7.8649355568163, 1.04768828262724, 1.07429336034069));
#518 = CARTESIAN_POINT('', (7.85165189735187, 1.07741258796137, 1.04448839691308));
#519 = CARTESIAN_POINT('', (7.83869181146627, 1.10586831738558, 1.01343735109936));
#520 = CARTESIAN_POINT('', (7.82574333170002, 1.13429856390827, 0.982414112365559));
#521 = CARTESIAN_POINT('', (7.81309634015105, 1.16151006750532, 0.95009513621506));
#522 = CARTESIAN_POINT('', (7.8007683795778, 1.1873384435975, 0.916639198570493));
#523 = CARTESIAN_POINT('', (7.78845229215168, 1.21314194419569, 0.883215482579073));
#524 = CARTESIAN_POINT('', (7.77643382633915, 1.23760872459376, 0.848600296795534));
#525 = CARTESIAN_POINT('', (7.7647362825041, 1.26058897013909, 0.812967064747527));
#526 = CARTESIAN_POINT('', (7.75305088262786, 1.28354535844059, 0.77737082580753));
#527 = CARTESIAN_POINT('', (7.74166569434155, 1.3050577493466, 0.740697400492234));
#528 = CARTESIAN_POINT('', (7.73060819300234, 1.32499155651736, 0.703133966722107));
#529 = CARTESIAN_POINT('', (7.71956310439378, 1.34490298675397, 0.665612700234743));
#530 = CARTESIAN_POINT('', (7.70882572762156, 1.36327406994907, 0.627137921224345));
#531 = CARTESIAN_POINT('', (7.69842657174512, 1.37998634514281, 0.587909591025868));
#532 = CARTESIAN_POINT('', (7.68804007713045, 1.39667827267626, 0.548729022411441));
#533 = CARTESIAN_POINT('', (7.67797261246904, 1.41174491623132, 0.508727345896384));
#534 = CARTESIAN_POINT('', (7.66825686724029, 1.42508498181212, 0.468116219132129));
#535 = CARTESIAN_POINT('', (7.66633898159087, 1.42771830738184, 0.460099592986198));
#536 = CARTESIAN_POINT('', (7.66443438899539, 1.43028502383869, 0.452057577675739));
#537 = CARTESIAN_POINT('', (7.66254334896847, 1.4327844337976, 0.443991853829867));
#538 = CARTESIAN_POINT('', (7.65293543352319, 1.4454833292236, 0.403011868418312));
#539 = CARTESIAN_POINT('', (7.64366705655601, 1.45645559917908, 0.361373655612418));
#540 = CARTESIAN_POINT('', (7.63477313515978, 1.4656209409636, 0.319304333526769));
#541 = CARTESIAN_POINT('', (7.62589223588408, 1.47477286322483, 0.277296607643519));
#542 = CARTESIAN_POINT('', (7.61736832806259, 1.48213993284526, 0.234781562089847));
#543 = CARTESIAN_POINT('', (7.60923723619325, 1.48766186805848, 0.191995224744656));
#544 = CARTESIAN_POINT('', (7.60111901369073, 1.49317506350945, 0.149276606849507));
#545 = CARTESIAN_POINT('', (7.5933771885889, 1.49685917743424, 0.106207663752461));
#546 = CARTESIAN_POINT('', (7.58604805039268, 1.49867508485584, 0.0630316589686717));
#547 = CARTESIAN_POINT('', (7.58248659924808, 1.4995574894977, 0.0420511251678378));
#548 = CARTESIAN_POINT('', (7.57902009276828, 1.5, 0.0210310762446004));
#549 = CARTESIAN_POINT('', (7.57565271949389, 1.5, -1.94289029309402E-16));
#550 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (3, 2, ((#551, #552, #553, #554, #555), (#556, #557, #558, #559, #560), (#561, #562, #563, #564, #565), (#566, #567, #568, #569, #570)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((4, 4), (3, 2, 3), (4.04999999999998, 4.55), (0., 0.5, 0.798242538621614), .UNSPECIFIED.)
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.913572488074757, 1., 0.948447278873331, 0.958395415433342), (1., 0.913572488074757, 1., 0.948447278873331, 0.958395415433342), (1., 0.913572488074757, 1., 0.948447278873331, 0.958395415433342), (1., 0.913572488074757, 1., 0.948447278873331, 0.958395415433342)))
   REPRESENTATION_ITEM ('')
   SURFACE ()
);
#551 = CARTESIAN_POINT('', (8.00000000000002, 0.595143166048243, -0.87163596514145));
#552 = CARTESIAN_POINT('', (8.00000000000002, 1.11991027878843, -0.290450166550739));
#553 = CARTESIAN_POINT('', (8.00000000000002, 1.03924632681274, 0.488427732704886));
#554 = CARTESIAN_POINT('', (8.00000000000002, 0.992900685486219, 0.935933649188378));
#555 = CARTESIAN_POINT('', (8.00000000000002, 0.737391151565432, 1.30623668972853));
#556 = CARTESIAN_POINT('', (7.83333333333335, 0.606103246457745, -1.0064367754619));
#557 = CARTESIAN_POINT('', (7.83333333333335, 1.22616732494829, -0.393838243193141));
#558 = CARTESIAN_POINT('', (7.83333333333335, 1.18593748613185, 0.476872950740287));
#559 = CARTESIAN_POINT('', (7.83333333333335, 1.16282334859278, 0.977141877623437));
#560 = CARTESIAN_POINT('', (7.83333333333335, 0.902360216656988, 1.40488270974166));
#561 = CARTESIAN_POINT('', (7.66666666666668, 0.63173301212116, -1.20330179692484));
#562 = CARTESIAN_POINT('', (7.66666666666667, 1.38929180470005, -0.537887897662808));
#563 = CARTESIAN_POINT('', (7.66666666666668, 1.40183269964256, 0.470335146855978));
#564 = CARTESIAN_POINT('', (7.66666666666667, 1.40903809690718, 1.04961179341169));
#565 = CARTESIAN_POINT('', (7.66666666666667, 1.13723850739024, 1.56121548195683));
#566 = CARTESIAN_POINT('', (7.5, 0.63840390172789, -1.47499340097421));
#567 = CARTESIAN_POINT('', (7.5, 1.59072322591471, -0.757386191930163));
#568 = CARTESIAN_POINT('', (7.5, 1.6948210455466, 0.430484106393487));
#569 = CARTESIAN_POINT('', (7.5, 1.75463066425939, 1.11297745615071));
#570 = CARTESIAN_POINT('', (7.5, 1.4794197222214, 1.74037948064217));
#571 = ADVANCED_FACE('', (#572), #606, .T.);
#572 = FACE_OUTER_BOUND('', #573, .T.);
#573 = EDGE_LOOP('', (#574, #583, #605));
#574 = ORIENTED_EDGE('', *, *, #575, .T.);
#575 = EDGE_CURVE('', #384, #576, #578, .T.);
#576 = VERTEX_POINT('', #577);
#577 = CARTESIAN_POINT('', (8., 0.845825755361967, -1.23878117178393));
#578 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#579, #580, #581, #582), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.444564239841181), .UNSPECIFIED.);
#579 = CARTESIAN_POINT('', (8., 0.595143166048245, -0.871635965141466));
#580 = CARTESIAN_POINT('', (8., 0.678704029152819, -0.994017700688952));
#581 = CARTESIAN_POINT('', (8., 0.762264892257394, -1.11639943623644));
#582 = CARTESIAN_POINT('', (8., 0.845825755361968, -1.23878117178393));
#583 = ORIENTED_EDGE('', *, *, #584, .F.);
#584 = EDGE_CURVE('', #435, #576, #585, .T.);
#585 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#586, #587, #588, #589, #590, #591, #592, #593, #594, #595, #596, #597, #598, #599, #600, #601, #602, #603, #604), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 4), (0., 0.0875959436538992, 0.175191142091136, 0.262786690969943, 0.350383323621567, 0.437981170520562, 0.49080528822887), .UNSPECIFIED.);
#586 = CARTESIAN_POINT('', (7.57396899759373, 0.634307365463265, -1.35928443164742));
#587 = CARTESIAN_POINT('', (7.59932398561837, 0.647429467435894, -1.35316102896745));
#588 = CARTESIAN_POINT('', (7.62467453972927, 0.660471295176735, -1.34684363624769));
#589 = CARTESIAN_POINT('', (7.65002111316547, 0.673423631590448, -1.34033600728158));
#590 = CARTESIAN_POINT('', (7.67536747096737, 0.68637585781302, -1.33382843367869));
#591 = CARTESIAN_POINT('', (7.70071115084678, 0.69923928187568, -1.32713028389777));
#592 = CARTESIAN_POINT('', (7.72605247629672, 0.712005109134459, -1.32024570613444));
#593 = CARTESIAN_POINT('', (7.75139390312954, 0.724770987465405, -1.31336110082803));
#594 = CARTESIAN_POINT('', (7.77673427400597, 0.737439954777031, -1.30628969417441));
#595 = CARTESIAN_POINT('', (7.80207399274731, 0.750003335606757, -1.29903617985749));
#596 = CARTESIAN_POINT('', (7.82741402500342, 0.762566871876466, -1.29178257579672));
#597 = CARTESIAN_POINT('', (7.85275469798586, 0.775025501923892, -1.28434645780651));
#598 = CARTESIAN_POINT('', (7.87809680006319, 0.787370260266624, -1.27673336027836));
#599 = CARTESIAN_POINT('', (7.90343925342778, 0.799715189729979, -1.26912015721894));
#600 = CARTESIAN_POINT('', (7.92878442320024, 0.81194691879126, -1.26132953844029));
#601 = CARTESIAN_POINT('', (7.95413387309955, 0.824055707548215, -1.25336833806236));
#602 = CARTESIAN_POINT('', (7.96942034842657, 0.831357668786372, -1.24856749648063));
#603 = CARTESIAN_POINT('', (7.98470906438264, 0.83861522437987, -1.24370444068194));
#604 = CARTESIAN_POINT('', (8., 0.845825755361967, -1.23878117178393));
#605 = ORIENTED_EDGE('', *, *, #434, .F.);
#606 = B_SPLINE_SURFACE_WITH_KNOTS('', 3, 1, ((#607, #608), (#609, #610), (#611, #612), (#613, #614)), .UNSPECIFIED., .F., .F., .U., (4, 4), (2, 2), (4.04999999999993, 4.47603100240838), (0.368179111477686, 1.), .UNSPECIFIED.);
#607 = CARTESIAN_POINT('', (8.00000000000007, 0.84582575536196, -1.23878117178384));
#608 = CARTESIAN_POINT('', (8.00000000000007, 0.595143166048239, -0.87163596514141));
#609 = CARTESIAN_POINT('', (7.85798966586392, 0.859098000494056, -1.40201988279069));
#610 = CARTESIAN_POINT('', (7.85798966586392, 0.604481834134911, -0.986494613833981));
#611 = CARTESIAN_POINT('', (7.71597933172777, 0.887506647489214, -1.62929738024089));
#612 = CARTESIAN_POINT('', (7.71597933172777, 0.624470835425856, -1.14641247935954));
#613 = CARTESIAN_POINT('', (7.57396899759162, 0.901486460958972, -1.93183396322394));
#614 = CARTESIAN_POINT('', (7.57396899759162, 0.634307365463411, -1.35928443165059));
#615 = ADVANCED_FACE('', (#616), #788, .T.);
#616 = FACE_OUTER_BOUND('', #617, .T.);
#617 = EDGE_LOOP('', (#618, #671, #680, #707, #715));
#618 = ORIENTED_EDGE('', *, *, #619, .T.);
#619 = EDGE_CURVE('', #620, #622, #624, .T.);
#620 = VERTEX_POINT('', #621);
#621 = CARTESIAN_POINT('', (8., -0.73739115156546, -1.30623668972853));
#622 = VERTEX_POINT('', #623);
#623 = CARTESIAN_POINT('', (7.99999999999999, -0.595143166048245, 0.871635965141472));
#624 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#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, #650, #651, #652, #653, #654, #655, #656, #657, #658, #659, #660, #661, #662, #663, #664, #665, #666, #667, #668, #669, #670), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.592204101666116, 0.59373214448555, 0.791008983608433, 0.987977099608164, 1.18463835890224, 1.38099269096186, 1.46837048309111, 1.49432777328898, 1.69252644206834, 1.89039934198126, 2.08795445157047, 2.28519749819454, 2.48213212042002, 2.67875997174487, 2.87508077188518, 2.94540182815983), .UNSPECIFIED.);
#625 = CARTESIAN_POINT('', (8., -0.737391149867535, -1.30623668855695));
#626 = CARTESIAN_POINT('', (8., -0.737680429692865, -1.30581744555131));
#627 = CARTESIAN_POINT('', (8., -0.737969523407352, -1.30539808154314));
#628 = CARTESIAN_POINT('', (8., -0.738258430834279, -1.30497859676047));
#629 = CARTESIAN_POINT('', (8., -0.775557610712138, -1.25082132385372));
#630 = CARTESIAN_POINT('', (8., -0.809868893544134, -1.19448099206804));
#631 = CARTESIAN_POINT('', (8., -0.840869380400973, -1.13648781278895));
#632 = CARTESIAN_POINT('', (8., -0.871821353873453, -1.07858538838767));
#633 = CARTESIAN_POINT('', (8., -0.89956978404565, -1.01885409260131));
#634 = CARTESIAN_POINT('', (8., -0.923854348887879, -0.957854294865492));
#635 = CARTESIAN_POINT('', (8., -0.948101080796956, -0.896949528738643));
#636 = CARTESIAN_POINT('', (8., -0.968970411007813, -0.834590209795097));
#637 = CARTESIAN_POINT('', (8., -0.986267161929447, -0.771359545139475));
#638 = CARTESIAN_POINT('', (8., -1.0035369179872, -0.708227563941414));
#639 = CARTESIAN_POINT('', (8., -1.01729898321267, -0.644030614711395));
#640 = CARTESIAN_POINT('', (8., -1.02742505024773, -0.579367222512345));
#641 = CARTESIAN_POINT('', (8., -1.03193115597606, -0.550591975321845));
#642 = CARTESIAN_POINT('', (8., -1.03572353331569, -0.521695872230357));
#643 = CARTESIAN_POINT('', (8., -1.03879516750422, -0.492732362375349));
#644 = CARTESIAN_POINT('', (8., -1.03970765680007, -0.484128182615998));
#645 = CARTESIAN_POINT('', (8., -1.04055668435364, -0.475517035801599));
#646 = CARTESIAN_POINT('', (8., -1.04134211151397, -0.466900328180815));
#647 = CARTESIAN_POINT('', (8., -1.04733929444074, -0.401106866433383));
#648 = CARTESIAN_POINT('', (8., -1.04962762222665, -0.334870312067966));
#649 = CARTESIAN_POINT('', (8., -1.04818535847351, -0.268819833742414));
#650 = CARTESIAN_POINT('', (8., -1.04674546529446, -0.202877919160426));
#651 = CARTESIAN_POINT('', (8., -1.04158272495209, -0.136913194378917));
#652 = CARTESIAN_POINT('', (8., -1.03274601665744, -0.0715501927830563));
#653 = CARTESIAN_POINT('', (8., -1.0239235004042, -0.00629216629720049));
#654 = CARTESIAN_POINT('', (8., -1.01141106928, 0.058571523646437));
#655 = CARTESIAN_POINT('', (8., -0.995326807758466, 0.122428734243002));
#656 = CARTESIAN_POINT('', (8., -0.979267953336511, 0.186185074401307));
#657 = CARTESIAN_POINT('', (8., -0.959598181697033, 0.249138209291624));
#658 = CARTESIAN_POINT('', (8., -0.936502539188417, 0.310695897786574));
#659 = CARTESIAN_POINT('', (8., -0.913443010802822, 0.372157329945104));
#660 = CARTESIAN_POINT('', (8., -0.886896208897014, 0.432419971932029));
#661 = CARTESIAN_POINT('', (8., -0.857111097925157, 0.490918661291174));
#662 = CARTESIAN_POINT('', (8., -0.827372384103862, 0.549326225507277));
#663 = CARTESIAN_POINT('', (8., -0.794312725344144, 0.606157505354393));
#664 = CARTESIAN_POINT('', (8., -0.758241202845561, 0.660881174109669));
#665 = CARTESIAN_POINT('', (8., -0.722226009110357, 0.715519387182038));
#666 = CARTESIAN_POINT('', (8., -0.683096406383542, 0.768226460836778));
#667 = CARTESIAN_POINT('', (8., -0.641217085955345, 0.818511160577337));
#668 = CARTESIAN_POINT('', (8., -0.626216138289735, 0.83652286997177));
#669 = CARTESIAN_POINT('', (8., -0.6108520283994, 0.8542382138555));
#670 = CARTESIAN_POINT('', (8., -0.595143166048245, 0.871635965141465));
#671 = ORIENTED_EDGE('', *, *, #672, .T.);
#672 = EDGE_CURVE('', #622, #673, #675, .T.);
#673 = VERTEX_POINT('', #674);
#674 = CARTESIAN_POINT('', (7.57396899759373, -0.634307365463265, 1.35928443164742));
#675 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#676, #677, #678, #679), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 4), (4.05000000000001, 4.47603100240658), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1., 1., 1.))
   REPRESENTATION_ITEM ('')
);
#676 = CARTESIAN_POINT('', (7.99999999999999, -0.595143166048245, 0.871635965141472));
#677 = CARTESIAN_POINT('', (7.85798966586447, -0.604481834134879, 0.986494613833553));
#678 = CARTESIAN_POINT('', (7.71597933172895, -0.624470835425689, 1.14641247935823));
#679 = CARTESIAN_POINT('', (7.57396899759342, -0.634307365463287, 1.35928443164789));
#680 = ORIENTED_EDGE('', *, *, #681, .F.);
#681 = EDGE_CURVE('', #682, #673, #684, .T.);
#682 = VERTEX_POINT('', #683);
#683 = CARTESIAN_POINT('', (7.5, -1.23787259059004, 0.847154914679661));
#684 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#685, #686, #687, #688, #689, #690, #691, #692, #693, #694, #695, #696, #697, #698, #699, #700, #701, #702, #703, #704, #705, #706), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 4), (0., 0.131531296811093, 0.262726473565966, 0.393573023467111, 0.524060628884113, 0.654181952602667, 0.783933431406976, 0.805403217068962), .UNSPECIFIED.);
#685 = CARTESIAN_POINT('', (7.5, -1.23787259059031, 0.847154914679266));
#686 = CARTESIAN_POINT('', (7.50001916543247, -1.21311095194993, 0.883336908361777));
#687 = CARTESIAN_POINT('', (7.50063914629367, -1.18673316322379, 0.918468899545855));
#688 = CARTESIAN_POINT('', (7.50188640496384, -1.15890863200832, 0.952329135675583));
#689 = CARTESIAN_POINT('', (7.50313047634198, -1.13115520465348, 0.986102844075809));
#690 = CARTESIAN_POINT('', (7.50500131143277, -1.10190381756235, 1.01868252584926));
#691 = CARTESIAN_POINT('', (7.5075216672678, -1.07134641531998, 1.04986516199987));
#692 = CARTESIAN_POINT('', (7.51003532572456, -1.04087021370759, 1.08096493607734));
#693 = CARTESIAN_POINT('', (7.51320042610486, -1.0090306869038, 1.11074059933783));
#694 = CARTESIAN_POINT('', (7.51703541766994, -0.976039924646899, 1.13901100323714));
#695 = CARTESIAN_POINT('', (7.52085988890361, -0.943139664219419, 1.16720385441877));
#696 = CARTESIAN_POINT('', (7.52535867934058, -0.909025476307547, 1.19395882358962));
#697 = CARTESIAN_POINT('', (7.53054535173181, -0.87392660532385, 1.2191194726142));
#698 = CARTESIAN_POINT('', (7.53571746501479, -0.838926257675272, 1.24420949512044));
#699 = CARTESIAN_POINT('', (7.54158443589469, -0.802873990681625, 1.26776633267394));
#700 = CARTESIAN_POINT('', (7.54815445462668, -0.766012658691362, 1.28966065564729));
#701 = CARTESIAN_POINT('', (7.55470579934012, -0.729256097969784, 1.31149274820543));
#702 = CARTESIAN_POINT('', (7.5619697188584, -0.691619641705546, 1.33171664083548));
#703 = CARTESIAN_POINT('', (7.56994874561962, -0.653355761208544, 1.35023192426176));
#704 = CARTESIAN_POINT('', (7.57126902339937, -0.647024293386851, 1.35329562087852));
#705 = CARTESIAN_POINT('', (7.5726091085492, -0.640674439525253, 1.35631324925179));
#706 = CARTESIAN_POINT('', (7.57396899759373, -0.634307365463265, 1.35928443164742));
#707 = ORIENTED_EDGE('', *, *, #708, .T.);
#708 = EDGE_CURVE('', #682, #709, #711, .T.);
#709 = VERTEX_POINT('', #710);
#710 = CARTESIAN_POINT('', (7.5, -1.2402421731701, 0.843682020603911));
#711 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#712, #713, #714), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (3.79848071668406, 3.80250153596981), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.860917944427131, 0.86103002911715, 0.861143819678022))
   REPRESENTATION_ITEM ('')
);
#712 = CARTESIAN_POINT('', (7.5, -1.23787259059004, 0.847154914679661));
#713 = CARTESIAN_POINT('', (7.5, -1.23905981538183, 0.84542012803892));
#714 = CARTESIAN_POINT('', (7.5, -1.2402421731701, 0.843682020603911));
#715 = ORIENTED_EDGE('', *, *, #716, .T.);
#716 = EDGE_CURVE('', #709, #620, #717, .T.);
#717 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#718, #719, #720, #721, #722, #723, #724, #725, #726, #727, #728, #729, #730, #731, #732, #733, #734, #735, #736, #737, #738, #739, #740, #741, #742, #743, #744, #745, #746, #747, #748, #749, #750, #751, #752, #753, #754, #755, #756, #757, #758, #759, #760, #761, #762, #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), .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.131142834424356, 0.261965286856403, 0.392485001905975, 0.522719341357075, 0.65268499233545, 0.782397675598947, 0.869137026363054, 0.895006872847749, 0.912290785190083, 1.04382461218929, 1.17511557386939, 1.30618339163724, 1.36447295976623, 1.39040657574882, 1.52173824772216, 1.65289140256559, 1.78388198335478, 1.91472455490648, 2.04543255678213, 2.1760186449159, 2.30649517748364, 2.43687494208361, 2.54318317108859), .UNSPECIFIED.);
#718 = CARTESIAN_POINT('', (7.5, -1.24024217317269, 0.843682020600116));
#719 = CARTESIAN_POINT('', (7.50001909931139, -1.26482947116689, 0.807537829836057));
#720 = CARTESIAN_POINT('', (7.50063451587324, -1.28785853205695, 0.770279131933498));
#721 = CARTESIAN_POINT('', (7.50181706790854, -1.30918736080349, 0.732139641265517));
#722 = CARTESIAN_POINT('', (7.50299673096879, -1.33046408321362, 0.694093325387142));
#723 = CARTESIAN_POINT('', (7.50474314924398, -1.35009290010479, 0.655092029030069));
#724 = CARTESIAN_POINT('', (7.50702509167668, -1.36795843764389, 0.615377699367545));
#725 = CARTESIAN_POINT('', (7.50930175344641, -1.38578263238616, 0.575755272982977));
#726 = CARTESIAN_POINT('', (7.51211605262021, -1.40188803167671, 0.535342648685412));
#727 = CARTESIAN_POINT('', (7.51543522717422, -1.4161856229242, 0.494386773106635));
#728 = CARTESIAN_POINT('', (7.51874714449951, -1.43045195311924, 0.453520445742853));
#729 = CARTESIAN_POINT('', (7.52256831876439, -1.4429469865071, 0.412031657959551));
#730 = CARTESIAN_POINT('', (7.52686490519758, -1.4536074457837, 0.370169411975356));
#731 = CARTESIAN_POINT('', (7.53115262727708, -1.46424591130248, 0.328393532635977));
#732 = CARTESIAN_POINT('', (7.5359221906381, -1.47307835198516, 0.28616383209465));
#733 = CARTESIAN_POINT('', (7.54113905918194, -1.48006631878149, 0.243728726268776));
#734 = CARTESIAN_POINT('', (7.54634577350963, -1.48704068406098, 0.201376216972604));
#735 = CARTESIAN_POINT('', (7.55200805843658, -1.49219129217856, 0.158737618792837));
#736 = CARTESIAN_POINT('', (7.55809103602989, -1.49550340789267, 0.116058420558572));
#737 = CARTESIAN_POINT('', (7.56215874563146, -1.49771823191349, 0.0875186829412988));
#738 = CARTESIAN_POINT('', (7.56641877116154, -1.4991142150213, 0.0589305402348593));
#739 = CARTESIAN_POINT('', (7.57086062649715, -1.49969259349072, 0.0303665116388715));
#740 = CARTESIAN_POINT('', (7.57218540140758, -1.4998650937698, 0.0218473444067782));
#741 = CARTESIAN_POINT('', (7.57352655959882, -1.49996495241277, 0.0133289296327273));
#742 = CARTESIAN_POINT('', (7.57488382281646, -1.4999922777638, 0.00481317452110065));
#743 = CARTESIAN_POINT('', (7.57579062442786, -1.5000105341138, -0.000876289657406163));
#744 = CARTESIAN_POINT('', (7.57670465228361, -1.49999641580787, -0.00656480253761873));
#745 = CARTESIAN_POINT('', (7.57762582342751, -1.49994996365195, -0.0122517974396851));
#746 = CARTESIAN_POINT('', (7.5846361092632, -1.49959645399978, -0.0555308993454251));
#747 = CARTESIAN_POINT('', (7.59206803172638, -1.49736638492585, -0.0987681735825044));
#748 = CARTESIAN_POINT('', (7.59988512323117, -1.49329039419961, -0.141717319305615));
#749 = CARTESIAN_POINT('', (7.60768778118327, -1.48922192942172, -0.184587163314336));
#750 = CARTESIAN_POINT('', (7.61588882579026, -1.48330683542566, -0.227250419878198));
#751 = CARTESIAN_POINT('', (7.62445247260679, -1.47559683494265, -0.26946981409285));
#752 = CARTESIAN_POINT('', (7.63300156453218, -1.4678999384818, -0.311617451648265));
#753 = CARTESIAN_POINT('', (7.64192773997865, -1.45840018725034, -0.35340025576542));
#754 = CARTESIAN_POINT('', (7.65119626696397, -1.4471688524098, -0.394591323542336));
#755 = CARTESIAN_POINT('', (7.65531824323829, -1.44217395992959, -0.41291015719944));
#756 = CARTESIAN_POINT('', (7.65951029700788, -1.43683418475937, -0.431122841424778));
#757 = CARTESIAN_POINT('', (7.66376945356187, -1.43115698053314, -0.449210081221769));
#758 = CARTESIAN_POINT('', (7.66566439521312, -1.42863113518922, -0.457257276391274));
#759 = CARTESIAN_POINT('', (7.66757283483313, -1.42603822791204, -0.465280568829717));
#760 = CARTESIAN_POINT('', (7.66949451421325, -1.42337895986214, -0.473278286657819));
#761 = CARTESIAN_POINT('', (7.6792261831852, -1.4099120326333, -0.513779914160939));
#762 = CARTESIAN_POINT('', (7.68930795241624, -1.39472598857544, -0.553667512818443));
#763 = CARTESIAN_POINT('', (7.69970734580461, -1.37792243196515, -0.592730774878428));
#764 = CARTESIAN_POINT('', (7.71009260345685, -1.36114171617197, -0.631740938844687));
#765 = CARTESIAN_POINT('', (7.72081287707626, -1.34271842915267, -0.669997688768087));
#766 = CARTESIAN_POINT('', (7.73183811864108, -1.32277026898817, -0.707303906027391));
#767 = CARTESIAN_POINT('', (7.74284969360197, -1.3028468360464, -0.744563879465904));
#768 = CARTESIAN_POINT('', (7.75418445474045, -1.28136797878388, -0.780940025791749));
#769 = CARTESIAN_POINT('', (7.76581556166119, -1.25846627250707, -0.816249129226307));
#770 = CARTESIAN_POINT('', (7.77743352632958, -1.23559044338923, -0.851518336101556));
#771 = CARTESIAN_POINT('', (7.78936679459177, -1.21125626992579, -0.885782688650131));
#772 = CARTESIAN_POINT('', (7.80159277791234, -1.18561018360453, -0.918873491038727));
#773 = CARTESIAN_POINT('', (7.81380618698743, -1.15999047390892, -0.951930260019809));
#774 = CARTESIAN_POINT('', (7.82633193913517, -1.13301895291391, -0.983870904070928));
#775 = CARTESIAN_POINT('', (7.83915314510658, -1.1048551591574, -1.01454180657266));
#776 = CARTESIAN_POINT('', (7.85196239250489, -1.07671763428598, -1.04518410176316));
#777 = CARTESIAN_POINT('', (7.86508733978821, -1.04734406127024, -1.07460911895176));
#778 = CARTESIAN_POINT('', (7.87851887609177, -1.01690674026076, -1.10267886604065));
#779 = CARTESIAN_POINT('', (7.89193914397017, -0.986494954727366, -1.13072506393625));
#780 = CARTESIAN_POINT('', (7.90568683037597, -0.954972266457278, -1.15746333907695));
#781 = CARTESIAN_POINT('', (7.9197637084558, -0.922524042398071, -1.18277191004777));
#782 = CARTESIAN_POINT('', (7.93383014641388, -0.890099883576025, -1.20806171090774));
#783 = CARTESIAN_POINT('', (7.94824717330488, -0.856700093281779, -1.23196392605556));
#784 = CARTESIAN_POINT('', (7.96303229586805, -0.822524555478522, -1.25437369058651));
#785 = CARTESIAN_POINT('', (7.97508769572351, -0.794658721310895, -1.27264602285381));
#786 = CARTESIAN_POINT('', (7.98740617747721, -0.766235181098023, -1.28995378149294));
#787 = CARTESIAN_POINT('', (8., -0.73739115156546, -1.30623668972853));
#788 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (3, 2, ((#789, #790, #791, #792, #793), (#794, #795, #796, #797, #798), (#799, #800, #801, #802, #803), (#804, #805, #806, #807, #808)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((4, 4), (3, 2, 3), (4.05, 4.55), (0., 0.5, 0.79824253862161), .UNSPECIFIED.)
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.913572488074757, 1., 0.948447278873332, 0.958395415433341), (1., 0.913572488074757, 1., 0.948447278873332, 0.958395415433341), (1., 0.913572488074757, 1., 0.948447278873332, 0.958395415433341), (1., 0.913572488074757, 1., 0.948447278873332, 0.958395415433341)))
   REPRESENTATION_ITEM ('')
   SURFACE ()
);
#789 = CARTESIAN_POINT('', (8., -0.595143166048244, 0.871635965141465));
#790 = CARTESIAN_POINT('', (8., -1.11991027878844, 0.290450166550751));
#791 = CARTESIAN_POINT('', (8., -1.03924632681276, -0.488427732704885));
#792 = CARTESIAN_POINT('', (8., -0.992900685486239, -0.935933649188377));
#793 = CARTESIAN_POINT('', (8., -0.737391151565457, -1.30623668972853));
#794 = CARTESIAN_POINT('', (7.83333333333334, -0.606103246457747, 1.00643677546192));
#795 = CARTESIAN_POINT('', (7.83333333333333, -1.22616732494831, 0.393838243193152));
#796 = CARTESIAN_POINT('', (7.83333333333334, -1.18593748613186, -0.476872950740287));
#797 = CARTESIAN_POINT('', (7.83333333333333, -1.1628233485928, -0.977141877623436));
#798 = CARTESIAN_POINT('', (7.83333333333333, -0.902360216657012, -1.40488270974166));
#799 = CARTESIAN_POINT('', (7.66666666666667, -0.63173301212116, 1.20330179692485));
#800 = CARTESIAN_POINT('', (7.66666666666667, -1.38929180470006, 0.537887897662817));
#801 = CARTESIAN_POINT('', (7.66666666666667, -1.40183269964257, -0.470335146855976));
#802 = CARTESIAN_POINT('', (7.66666666666667, -1.40903809690719, -1.04961179341168));
#803 = CARTESIAN_POINT('', (7.66666666666667, -1.13723850739026, -1.56121548195682));
#804 = CARTESIAN_POINT('', (7.5, -0.638403901727889, 1.47499340097421));
#805 = CARTESIAN_POINT('', (7.5, -1.59072322591471, 0.757386191930163));
#806 = CARTESIAN_POINT('', (7.5, -1.6948210455466, -0.430484106393487));
#807 = CARTESIAN_POINT('', (7.5, -1.75463066425939, -1.1129774561507));
#808 = CARTESIAN_POINT('', (7.5, -1.47941972222141, -1.74037948064215));
#809 = ADVANCED_FACE('', (#810), #844, .T.);
#810 = FACE_OUTER_BOUND('', #811, .T.);
#811 = EDGE_LOOP('', (#812, #821, #843));
#812 = ORIENTED_EDGE('', *, *, #813, .T.);
#813 = EDGE_CURVE('', #622, #814, #816, .T.);
#814 = VERTEX_POINT('', #815);
#815 = CARTESIAN_POINT('', (8., -0.845825755361967, 1.23878117178393));
#816 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#817, #818, #819, #820), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.444564239841182), .UNSPECIFIED.);
#817 = CARTESIAN_POINT('', (8., -0.595143166048245, 0.871635965141466));
#818 = CARTESIAN_POINT('', (8., -0.678704029152819, 0.994017700688952));
#819 = CARTESIAN_POINT('', (8., -0.762264892257394, 1.11639943623644));
#820 = CARTESIAN_POINT('', (8., -0.84582575536197, 1.23878117178393));
#821 = ORIENTED_EDGE('', *, *, #822, .F.);
#822 = EDGE_CURVE('', #673, #814, #823, .T.);
#823 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#824, #825, #826, #827, #828, #829, #830, #831, #832, #833, #834, #835, #836, #837, #838, #839, #840, #841, #842), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 4), (0., 0.0875959436538974, 0.175191142091133, 0.262786690969942, 0.350383323621565, 0.437981170520558, 0.490805288228868), .UNSPECIFIED.);
#824 = CARTESIAN_POINT('', (7.57396899759373, -0.634307365463265, 1.35928443164742));
#825 = CARTESIAN_POINT('', (7.59932398561837, -0.647429467435894, 1.35316102896745));
#826 = CARTESIAN_POINT('', (7.62467453972927, -0.660471295176735, 1.34684363624769));
#827 = CARTESIAN_POINT('', (7.65002111316547, -0.673423631590447, 1.34033600728158));
#828 = CARTESIAN_POINT('', (7.67536747096737, -0.686375857813019, 1.33382843367869));
#829 = CARTESIAN_POINT('', (7.70071115084678, -0.699239281875679, 1.32713028389777));
#830 = CARTESIAN_POINT('', (7.72605247629672, -0.712005109134458, 1.32024570613444));
#831 = CARTESIAN_POINT('', (7.75139390312954, -0.724770987465404, 1.31336110082803));
#832 = CARTESIAN_POINT('', (7.77673427400596, -0.737439954777031, 1.30628969417441));
#833 = CARTESIAN_POINT('', (7.80207399274731, -0.750003335606757, 1.29903617985749));
#834 = CARTESIAN_POINT('', (7.82741402500342, -0.762566871876465, 1.29178257579672));
#835 = CARTESIAN_POINT('', (7.85275469798586, -0.775025501923891, 1.28434645780651));
#836 = CARTESIAN_POINT('', (7.87809680006319, -0.787370260266622, 1.27673336027836));
#837 = CARTESIAN_POINT('', (7.90343925342778, -0.799715189729977, 1.26912015721894));
#838 = CARTESIAN_POINT('', (7.92878442320024, -0.81194691879126, 1.26132953844029));
#839 = CARTESIAN_POINT('', (7.95413387309954, -0.824055707548214, 1.25336833806236));
#840 = CARTESIAN_POINT('', (7.96942034842657, -0.831357668786371, 1.24856749648063));
#841 = CARTESIAN_POINT('', (7.98470906438264, -0.83861522437987, 1.24370444068194));
#842 = CARTESIAN_POINT('', (8., -0.845825755361967, 1.23878117178393));
#843 = ORIENTED_EDGE('', *, *, #672, .F.);
#844 = B_SPLINE_SURFACE_WITH_KNOTS('', 3, 1, ((#845, #846), (#847, #848), (#849, #850), (#851, #852)), .UNSPECIFIED., .F., .F., .U., (4, 4), (2, 2), (4.05, 4.47603100240838), (0.368179111477682, 1.), .UNSPECIFIED.);
#845 = CARTESIAN_POINT('', (8., -0.845825755361968, 1.23878117178393));
#846 = CARTESIAN_POINT('', (8., -0.595143166048244, 0.871635965141466));
#847 = CARTESIAN_POINT('', (7.85798966586387, -0.859098000494067, 1.40201988279077));
#848 = CARTESIAN_POINT('', (7.85798966586387, -0.604481834134918, 0.986494613834034));
#849 = CARTESIAN_POINT('', (7.71597933172774, -0.887506647489217, 1.62929738024094));
#850 = CARTESIAN_POINT('', (7.71597933172774, -0.624470835425858, 1.14641247935958));
#851 = CARTESIAN_POINT('', (7.57396899759162, -0.901486460958973, 1.93183396322394));
#852 = CARTESIAN_POINT('', (7.57396899759162, -0.634307365463411, 1.35928443165059));
#853 = ADVANCED_FACE('', (#854), #888, .T.);
#854 = FACE_OUTER_BOUND('', #855, .T.);
#855 = EDGE_LOOP('', (#856, #864, #865, #866, #867, #868, #876, #877, #882, #883, #884, #885, #886, #887));
#856 = ORIENTED_EDGE('', *, *, #857, .F.);
#857 = EDGE_CURVE('', #620, #576, #858, .T.);
#858 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#859, #860, #861, #862, #863), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (6.27894199745444, 7.06858347057704, 7.9809520868234), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.86947548512825, 0.901841450807996, 1., 0.886585516658704, 0.861004033232408))
   REPRESENTATION_ITEM ('')
);
#859 = CARTESIAN_POINT('', (8., -0.737391151565464, -1.30623668972853));
#860 = CARTESIAN_POINT('', (8., -0.39415304182884, -1.5));
#861 = CARTESIAN_POINT('', (8., -2.75545529808154E-16, -1.5));
#862 = CARTESIAN_POINT('', (8., 0.463249362933421, -1.5));
#863 = CARTESIAN_POINT('', (8., 0.845825755361967, -1.23878117178393));
#864 = ORIENTED_EDGE('', *, *, #716, .F.);
#865 = ORIENTED_EDGE('', *, *, #708, .F.);
#866 = ORIENTED_EDGE('', *, *, #681, .T.);
#867 = ORIENTED_EDGE('', *, *, #822, .T.);
#868 = ORIENTED_EDGE('', *, *, #869, .F.);
#869 = EDGE_CURVE('', #382, #814, #870, .T.);
#870 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#871, #872, #873, #874, #875), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (1.5665530170697, 2.35619449019235, 3.26856310643871), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.869475485128246, 0.90184145080799, 1., 0.886585516658704, 0.861004033232408))
   REPRESENTATION_ITEM ('')
);
#871 = CARTESIAN_POINT('', (8., 0.737391151565505, 1.30623668972851));
#872 = CARTESIAN_POINT('', (8., 0.394153041828865, 1.5));
#873 = CARTESIAN_POINT('', (8., 9.18485099360515E-17, 1.5));
#874 = CARTESIAN_POINT('', (8., -0.46324936293342, 1.5));
#875 = CARTESIAN_POINT('', (8., -0.845825755361967, 1.23878117178393));
#876 = ORIENTED_EDGE('', *, *, #505, .T.);
#877 = ORIENTED_EDGE('', *, *, #878, .F.);
#878 = EDGE_CURVE('', #10, #479, #879, .T.);
#879 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#880, #881), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.164472205569682), .UNSPECIFIED.);
#880 = CARTESIAN_POINT('', (7., 1.5, 0.));
#881 = CARTESIAN_POINT('', (7.57565271949389, 1.5, 0.));
#882 = ORIENTED_EDGE('', *, *, #30, .T.);
#883 = ORIENTED_EDGE('', *, *, #878, .T.);
#884 = ORIENTED_EDGE('', *, *, #478, .F.);
#885 = ORIENTED_EDGE('', *, *, #470, .F.);
#886 = ORIENTED_EDGE('', *, *, #443, .T.);
#887 = ORIENTED_EDGE('', *, *, #584, .T.);
#888 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#889, #890), (#891, #892), (#893, #894), (#895, #896), (#897, #898), (#899, #900), (#901, #902), (#903, #904), (#905, #906)), .UNSPECIFIED., .T., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (0., 2.35619449019235, 4.71238898038469, 7.06858347057704, 9.42477796076938), (0., 0.285714285714286), .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 ()
);
#889 = CARTESIAN_POINT('', (7., 1.5, 0.));
#890 = CARTESIAN_POINT('', (8., 1.5, 0.));
#891 = CARTESIAN_POINT('', (7., 1.5, 1.5));
#892 = CARTESIAN_POINT('', (8., 1.5, 1.5));
#893 = CARTESIAN_POINT('', (7., 9.18485099360515E-17, 1.5));
#894 = CARTESIAN_POINT('', (8., 9.18485099360515E-17, 1.5));
#895 = CARTESIAN_POINT('', (7., -1.5, 1.5));
#896 = CARTESIAN_POINT('', (8., -1.5, 1.5));
#897 = CARTESIAN_POINT('', (7., -1.5, 1.83697019872103E-16));
#898 = CARTESIAN_POINT('', (8., -1.5, 1.83697019872103E-16));
#899 = CARTESIAN_POINT('', (7., -1.5, -1.5));
#900 = CARTESIAN_POINT('', (8., -1.5, -1.5));
#901 = CARTESIAN_POINT('', (7., -2.75545529808154E-16, -1.5));
#902 = CARTESIAN_POINT('', (8., -2.75545529808154E-16, -1.5));
#903 = CARTESIAN_POINT('', (7., 1.5, -1.5));
#904 = CARTESIAN_POINT('', (8., 1.5, -1.5));
#905 = CARTESIAN_POINT('', (7., 1.5, 0.));
#906 = CARTESIAN_POINT('', (8., 1.5, 0.));
#907 = ADVANCED_FACE('', (#908), #916, .T.);
#908 = FACE_OUTER_BOUND('', #909, .T.);
#909 = EDGE_LOOP('', (#910, #911, #912, #913, #914, #915));
#910 = ORIENTED_EDGE('', *, *, #575, .F.);
#911 = ORIENTED_EDGE('', *, *, #381, .F.);
#912 = ORIENTED_EDGE('', *, *, #869, .T.);
#913 = ORIENTED_EDGE('', *, *, #813, .F.);
#914 = ORIENTED_EDGE('', *, *, #619, .F.);
#915 = ORIENTED_EDGE('', *, *, #857, .T.);
#916 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#917, #918), (#919, #920)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (52.1852676598764, 54.2845229043296), (46.6948924133228, 49.6948924133228), .UNSPECIFIED.);
#917 = CARTESIAN_POINT('', (8., 1.04962762222666, 1.50000000000001));
#918 = CARTESIAN_POINT('', (8., 1.04962762222666, -1.49999999999999));
#919 = CARTESIAN_POINT('', (8., -1.04962762222664, 1.50000000000001));
#920 = CARTESIAN_POINT('', (8., -1.04962762222664, -1.49999999999999));
#921 = DRAUGHTING_MODEL('', (#929, #2107), #2108);
#922 = PRESENTATION_STYLE_ASSIGNMENT((#923));
#923 = SURFACE_STYLE_USAGE(.POSITIVE., #924);
#924 = SURFACE_SIDE_STYLE('', (#925));
#925 = SURFACE_STYLE_FILL_AREA(#926);
#926 = FILL_AREA_STYLE('', (#927));
#927 = FILL_AREA_STYLE_COLOUR('', #928);
#928 = COLOUR_RGB('', 0.75294117647059, 0.75294117647059, 0.75294117647059);
#929 = STYLED_ITEM('', (#922), #1);
#930 = MANIFOLD_SOLID_BREP('CUT', #931);
#931 = CLOSED_SHELL('', (#932, #1080, #1280, #1388, #1669, #1768, #1873, #2053));
#932 = ADVANCED_FACE('', (#933), #1075, .T.);
#933 = FACE_OUTER_BOUND('', #934, .T.);
#934 = EDGE_LOOP('', (#935, #946, #956, #1007, #1016, #1026));
#935 = ORIENTED_EDGE('', *, *, #936, .T.);
#936 = EDGE_CURVE('', #937, #939, #941, .T.);
#937 = VERTEX_POINT('', #938);
#938 = CARTESIAN_POINT('', (7.99999999999999, 0.595143166048244, -0.871635965141471));
#939 = VERTEX_POINT('', #940);
#940 = CARTESIAN_POINT('', (8., 0.845825755361967, -1.23878117178393));
#941 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#942, #943, #944, #945), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.444564239841181), .UNSPECIFIED.);
#942 = CARTESIAN_POINT('', (8., 0.595143166048245, -0.871635965141466));
#943 = CARTESIAN_POINT('', (8., 0.678704029152819, -0.994017700688952));
#944 = CARTESIAN_POINT('', (8., 0.762264892257394, -1.11639943623644));
#945 = CARTESIAN_POINT('', (8., 0.845825755361968, -1.23878117178393));
#946 = ORIENTED_EDGE('', *, *, #947, .F.);
#947 = EDGE_CURVE('', #948, #939, #950, .T.);
#948 = VERTEX_POINT('', #949);
#949 = CARTESIAN_POINT('', (8., -0.73739115156546, -1.30623668972853));
#950 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#951, #952, #953, #954, #955), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (6.27894199745444, 7.06858347057704, 7.9809520868234), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.86947548512825, 0.901841450807996, 1., 0.886585516658704, 0.861004033232408))
   REPRESENTATION_ITEM ('')
);
#951 = CARTESIAN_POINT('', (8., -0.737391151565464, -1.30623668972853));
#952 = CARTESIAN_POINT('', (8., -0.39415304182884, -1.5));
#953 = CARTESIAN_POINT('', (8., -2.75545529808154E-16, -1.5));
#954 = CARTESIAN_POINT('', (8., 0.463249362933421, -1.5));
#955 = CARTESIAN_POINT('', (8., 0.845825755361967, -1.23878117178393));
#956 = ORIENTED_EDGE('', *, *, #957, .T.);
#957 = EDGE_CURVE('', #948, #958, #960, .T.);
#958 = VERTEX_POINT('', #959);
#959 = CARTESIAN_POINT('', (7.99999999999999, -0.595143166048245, 0.871635965141472));
#960 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#961, #962, #963, #964, #965, #966, #967, #968, #969, #970, #971, #972, #973, #974, #975, #976, #977, #978, #979, #980, #981, #982, #983, #984, #985, #986, #987, #988, #989, #990, #991, #992, #993, #994, #995, #996, #997, #998, #999, #1000, #1001, #1002, #1003, #1004, #1005, #1006), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.592204101666116, 0.59373214448555, 0.791008983608433, 0.987977099608164, 1.18463835890224, 1.38099269096186, 1.46837048309111, 1.49432777328898, 1.69252644206834, 1.89039934198126, 2.08795445157047, 2.28519749819454, 2.48213212042002, 2.67875997174487, 2.87508077188518, 2.94540182815983), .UNSPECIFIED.);
#961 = CARTESIAN_POINT('', (8., -0.737391149867535, -1.30623668855695));
#962 = CARTESIAN_POINT('', (8., -0.737680429692865, -1.30581744555131));
#963 = CARTESIAN_POINT('', (8., -0.737969523407352, -1.30539808154314));
#964 = CARTESIAN_POINT('', (8., -0.738258430834279, -1.30497859676047));
#965 = CARTESIAN_POINT('', (8., -0.775557610712138, -1.25082132385372));
#966 = CARTESIAN_POINT('', (8., -0.809868893544134, -1.19448099206804));
#967 = CARTESIAN_POINT('', (8., -0.840869380400973, -1.13648781278895));
#968 = CARTESIAN_POINT('', (8., -0.871821353873453, -1.07858538838767));
#969 = CARTESIAN_POINT('', (8., -0.89956978404565, -1.01885409260131));
#970 = CARTESIAN_POINT('', (8., -0.923854348887879, -0.957854294865492));
#971 = CARTESIAN_POINT('', (8., -0.948101080796956, -0.896949528738643));
#972 = CARTESIAN_POINT('', (8., -0.968970411007813, -0.834590209795097));
#973 = CARTESIAN_POINT('', (8., -0.986267161929447, -0.771359545139475));
#974 = CARTESIAN_POINT('', (8., -1.0035369179872, -0.708227563941414));
#975 = CARTESIAN_POINT('', (8., -1.01729898321267, -0.644030614711395));
#976 = CARTESIAN_POINT('', (8., -1.02742505024773, -0.579367222512345));
#977 = CARTESIAN_POINT('', (8., -1.03193115597606, -0.550591975321845));
#978 = CARTESIAN_POINT('', (8., -1.03572353331569, -0.521695872230357));
#979 = CARTESIAN_POINT('', (8., -1.03879516750422, -0.492732362375349));
#980 = CARTESIAN_POINT('', (8., -1.03970765680007, -0.484128182615998));
#981 = CARTESIAN_POINT('', (8., -1.04055668435364, -0.475517035801599));
#982 = CARTESIAN_POINT('', (8., -1.04134211151397, -0.466900328180815));
#983 = CARTESIAN_POINT('', (8., -1.04733929444074, -0.401106866433383));
#984 = CARTESIAN_POINT('', (8., -1.04962762222665, -0.334870312067966));
#985 = CARTESIAN_POINT('', (8., -1.04818535847351, -0.268819833742414));
#986 = CARTESIAN_POINT('', (8., -1.04674546529446, -0.202877919160426));
#987 = CARTESIAN_POINT('', (8., -1.04158272495209, -0.136913194378917));
#988 = CARTESIAN_POINT('', (8., -1.03274601665744, -0.0715501927830563));
#989 = CARTESIAN_POINT('', (8., -1.0239235004042, -0.00629216629720049));
#990 = CARTESIAN_POINT('', (8., -1.01141106928, 0.058571523646437));
#991 = CARTESIAN_POINT('', (8., -0.995326807758466, 0.122428734243002));
#992 = CARTESIAN_POINT('', (8., -0.979267953336511, 0.186185074401307));
#993 = CARTESIAN_POINT('', (8., -0.959598181697033, 0.249138209291624));
#994 = CARTESIAN_POINT('', (8., -0.936502539188417, 0.310695897786574));
#995 = CARTESIAN_POINT('', (8., -0.913443010802822, 0.372157329945104));
#996 = CARTESIAN_POINT('', (8., -0.886896208897014, 0.432419971932029));
#997 = CARTESIAN_POINT('', (8., -0.857111097925157, 0.490918661291174));
#998 = CARTESIAN_POINT('', (8., -0.827372384103862, 0.549326225507277));
#999 = CARTESIAN_POINT('', (8., -0.794312725344144, 0.606157505354393));
#1000 = CARTESIAN_POINT('', (8., -0.758241202845561, 0.660881174109669));
#1001 = CARTESIAN_POINT('', (8., -0.722226009110357, 0.715519387182038));
#1002 = CARTESIAN_POINT('', (8., -0.683096406383542, 0.768226460836778));
#1003 = CARTESIAN_POINT('', (8., -0.641217085955345, 0.818511160577337));
#1004 = CARTESIAN_POINT('', (8., -0.626216138289735, 0.83652286997177));
#1005 = CARTESIAN_POINT('', (8., -0.6108520283994, 0.8542382138555));
#1006 = CARTESIAN_POINT('', (8., -0.595143166048245, 0.871635965141465));
#1007 = ORIENTED_EDGE('', *, *, #1008, .T.);
#1008 = EDGE_CURVE('', #958, #1009, #1011, .T.);
#1009 = VERTEX_POINT('', #1010);
#1010 = CARTESIAN_POINT('', (8., -0.845825755361967, 1.23878117178393));
#1011 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#1012, #1013, #1014, #1015), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.444564239841182), .UNSPECIFIED.);
#1012 = CARTESIAN_POINT('', (8., -0.595143166048245, 0.871635965141466));
#1013 = CARTESIAN_POINT('', (8., -0.678704029152819, 0.994017700688952));
#1014 = CARTESIAN_POINT('', (8., -0.762264892257394, 1.11639943623644));
#1015 = CARTESIAN_POINT('', (8., -0.84582575536197, 1.23878117178393));
#1016 = ORIENTED_EDGE('', *, *, #1017, .F.);
#1017 = EDGE_CURVE('', #1018, #1009, #1020, .T.);
#1018 = VERTEX_POINT('', #1019);
#1019 = CARTESIAN_POINT('', (8., 0.737391151565454, 1.30623668972854));
#1020 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1021, #1022, #1023, #1024, #1025), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (1.5665530170697, 2.35619449019235, 3.26856310643871), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.869475485128246, 0.90184145080799, 1., 0.886585516658704, 0.861004033232408))
   REPRESENTATION_ITEM ('')
);
#1021 = CARTESIAN_POINT('', (8., 0.737391151565505, 1.30623668972851));
#1022 = CARTESIAN_POINT('', (8., 0.394153041828865, 1.5));
#1023 = CARTESIAN_POINT('', (8., 9.18485099360515E-17, 1.5));
#1024 = CARTESIAN_POINT('', (8., -0.46324936293342, 1.5));
#1025 = CARTESIAN_POINT('', (8., -0.845825755361967, 1.23878117178393));
#1026 = ORIENTED_EDGE('', *, *, #1027, .T.);
#1027 = EDGE_CURVE('', #1018, #937, #1028, .T.);
#1028 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#1029, #1030, #1031, #1032, #1033, #1034, #1035, #1036, #1037, #1038, #1039, #1040, #1041, #1042, #1043, #1044, #1045, #1046, #1047, #1048, #1049, #1050, #1051, #1052, #1053, #1054, #1055, #1056, #1057, #1058, #1059, #1060, #1061, #1062, #1063, #1064, #1065, #1066, #1067, #1068, #1069, #1070, #1071, #1072, #1073, #1074), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.592204101665974, 0.593732144485551, 0.791008983608433, 0.987977099608164, 1.18463835890224, 1.38099269096186, 1.46837048309111, 1.49432777328898, 1.69252644206834, 1.89039934198126, 2.08795445157047, 2.28519749819454, 2.48213212042002, 2.67875997174487, 2.87508077188518, 2.94540182815983), .UNSPECIFIED.);
#1029 = CARTESIAN_POINT('', (8., 0.737391149867455, 1.30623668855707));
#1030 = CARTESIAN_POINT('', (8., 0.737680429692812, 1.30581744555139));
#1031 = CARTESIAN_POINT('', (8., 0.737969523407327, 1.30539808154318));
#1032 = CARTESIAN_POINT('', (8., 0.73825843083428, 1.30497859676047));
#1033 = CARTESIAN_POINT('', (8., 0.77555761071214, 1.25082132385372));
#1034 = CARTESIAN_POINT('', (8., 0.809868893544134, 1.19448099206804));
#1035 = CARTESIAN_POINT('', (8., 0.840869380400973, 1.13648781278895));
#1036 = CARTESIAN_POINT('', (8., 0.871821353873452, 1.07858538838767));
#1037 = CARTESIAN_POINT('', (8., 0.89956978404565, 1.01885409260131));
#1038 = CARTESIAN_POINT('', (8., 0.92385434888788, 0.957854294865492));
#1039 = CARTESIAN_POINT('', (8., 0.948101080796957, 0.896949528738643));
#1040 = CARTESIAN_POINT('', (8., 0.968970411007813, 0.834590209795097));
#1041 = CARTESIAN_POINT('', (8., 0.986267161929448, 0.771359545139475));
#1042 = CARTESIAN_POINT('', (8., 1.0035369179872, 0.708227563941414));
#1043 = CARTESIAN_POINT('', (8., 1.01729898321267, 0.644030614711395));
#1044 = CARTESIAN_POINT('', (8., 1.02742505024773, 0.579367222512345));
#1045 = CARTESIAN_POINT('', (8., 1.03193115597606, 0.550591975321845));
#1046 = CARTESIAN_POINT('', (8., 1.03572353331569, 0.521695872230357));
#1047 = CARTESIAN_POINT('', (8., 1.03879516750422, 0.492732362375349));
#1048 = CARTESIAN_POINT('', (8., 1.03970765680007, 0.484128182615998));
#1049 = CARTESIAN_POINT('', (8., 1.04055668435364, 0.475517035801599));
#1050 = CARTESIAN_POINT('', (8., 1.04134211151397, 0.466900328180815));
#1051 = CARTESIAN_POINT('', (8., 1.04733929444074, 0.401106866433383));
#1052 = CARTESIAN_POINT('', (8., 1.04962762222665, 0.334870312067966));
#1053 = CARTESIAN_POINT('', (8., 1.04818535847351, 0.268819833742413));
#1054 = CARTESIAN_POINT('', (8., 1.04674546529446, 0.202877919160426));
#1055 = CARTESIAN_POINT('', (8., 1.04158272495209, 0.136913194378917));
#1056 = CARTESIAN_POINT('', (8., 1.03274601665744, 0.0715501927830562));
#1057 = CARTESIAN_POINT('', (8., 1.0239235004042, 0.00629216629720035));
#1058 = CARTESIAN_POINT('', (8., 1.01141106928, -0.058571523646437));
#1059 = CARTESIAN_POINT('', (8., 0.995326807758466, -0.122428734243002));
#1060 = CARTESIAN_POINT('', (8., 0.979267953336512, -0.186185074401307));
#1061 = CARTESIAN_POINT('', (8., 0.959598181697032, -0.249138209291624));
#1062 = CARTESIAN_POINT('', (8., 0.936502539188417, -0.310695897786574));
#1063 = CARTESIAN_POINT('', (8., 0.913443010802822, -0.372157329945104));
#1064 = CARTESIAN_POINT('', (8., 0.886896208897013, -0.432419971932028));
#1065 = CARTESIAN_POINT('', (8., 0.857111097925157, -0.490918661291174));
#1066 = CARTESIAN_POINT('', (8., 0.827372384103862, -0.549326225507277));
#1067 = CARTESIAN_POINT('', (8., 0.794312725344145, -0.606157505354393));
#1068 = CARTESIAN_POINT('', (8., 0.758241202845561, -0.660881174109669));
#1069 = CARTESIAN_POINT('', (8., 0.722226009110358, -0.715519387182038));
#1070 = CARTESIAN_POINT('', (8., 0.683096406383542, -0.768226460836778));
#1071 = CARTESIAN_POINT('', (8., 0.641217085955345, -0.818511160577337));
#1072 = CARTESIAN_POINT('', (8., 0.626216138289736, -0.83652286997177));
#1073 = CARTESIAN_POINT('', (8., 0.6108520283994, -0.8542382138555));
#1074 = CARTESIAN_POINT('', (8., 0.595143166048245, -0.871635965141465));
#1075 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#1076, #1077), (#1078, #1079)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (46.6948924133228, 49.6948924133228), (52.1852676598764, 54.2845229043297), .UNSPECIFIED.);
#1076 = CARTESIAN_POINT('', (8., 1.04962762222665, 1.5));
#1077 = CARTESIAN_POINT('', (8., -1.04962762222665, 1.5));
#1078 = CARTESIAN_POINT('', (8., 1.04962762222665, -1.5));
#1079 = CARTESIAN_POINT('', (8., -1.04962762222665, -1.5));
#1080 = ADVANCED_FACE('', (#1081), #1261, .T.);
#1081 = FACE_OUTER_BOUND('', #1082, .T.);
#1082 = EDGE_LOOP('', (#1083, #1084, #1153, #1161));
#1083 = ORIENTED_EDGE('', *, *, #947, .T.);
#1084 = ORIENTED_EDGE('', *, *, #1085, .T.);
#1085 = EDGE_CURVE('', #939, #1086, #1088, .T.);
#1086 = VERTEX_POINT('', #1087);
#1087 = CARTESIAN_POINT('', (10.5, 1.49972769236745, -0.0285805658832119));
#1088 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#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, #1132, #1133, #1134, #1135, #1136, #1137, #1138, #1139, #1140, #1141, #1142, #1143, #1144, #1145, #1146, #1147, #1148, #1149, #1150, #1151, #1152), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.49080528822887, 0.525579510272704, 0.613177988220522, 0.744697875807152, 0.832369468875044, 0.890798609607454, 0.949220298556782, 0.998883213566869, 1.08640932324847, 1.17391861352333, 1.23229858139158, 1.36372091673246, 1.49513652129982, 1.55351467174889, 1.75038315774935, 1.88169593019545, 2.07866494235828, 2.20997184000717, 2.50513559108682, 2.80024468501219, 3.09525204961757, 3.37025424657621), .UNSPECIFIED.);
#1089 = CARTESIAN_POINT('', (8., 0.845825755361967, -1.23878117178393));
#1090 = CARTESIAN_POINT('', (8.01006605341431, 0.850572462288716, -1.23554017404902));
#1091 = CARTESIAN_POINT('', (8.02013348614003, 0.855298982329978, -1.23227295436308));
#1092 = CARTESIAN_POINT('', (8.03020212531759, 0.860004422153007, -1.22898022517747));
#1093 = CARTESIAN_POINT('', (8.05556566805477, 0.871857724465646, -1.22068563084866));
#1094 = CARTESIAN_POINT('', (8.08094141109788, 0.883574767023099, -1.21223099523701));
#1095 = CARTESIAN_POINT('', (8.10632360244829, 0.895157170856824, -1.20361689896063));
#1096 = CARTESIAN_POINT('', (8.14443228916653, 0.912546930198325, -1.19068374075435));
#1097 = CARTESIAN_POINT('', (8.18255321590306, 0.929644018371625, -1.17738439099));
#1098 = CARTESIAN_POINT('', (8.22063125778654, 0.946498443895273, -1.16367551134498));
#1099 = CARTESIAN_POINT('', (8.24601420673888, 0.95773365982358, -1.1545371267272));
#1100 = CARTESIAN_POINT('', (8.27137968543625, 0.968861701914349, -1.14521579321486));
#1101 = CARTESIAN_POINT('', (8.29671392674707, 0.9798911950786, -1.13569945223524));
#1102 = CARTESIAN_POINT('', (8.31359804963227, 0.98724185206737, -1.12935724255366));
#1103 = CARTESIAN_POINT('', (8.33046888229755, 0.994548843616558, -1.12292824804965));
#1104 = CARTESIAN_POINT('', (8.34732345973281, 1.00181276068792, -1.11640995719442));
#1105 = CARTESIAN_POINT('', (8.36417588761301, 1.00907575135281, -1.10989249765194));
#1106 = CARTESIAN_POINT('', (8.38101065582442, 1.01629799303252, -1.10328330776398));
#1107 = CARTESIAN_POINT('', (8.39785003838975, 1.02344861484293, -1.09660974497589));
#1108 = CARTESIAN_POINT('', (8.41216480470692, 1.02952719164594, -1.0909367049197));
#1109 = CARTESIAN_POINT('', (8.4264833124412, 1.03555405917843, -1.08521723586449));
#1110 = CARTESIAN_POINT('', (8.44081462486736, 1.04151704807261, -1.07946386626608));
#1111 = CARTESIAN_POINT('', (8.46607218421599, 1.05202624230491, -1.0693241058753));
#1112 = CARTESIAN_POINT('', (8.49137353547846, 1.06233406035412, -1.05908196889482));
#1113 = CARTESIAN_POINT('', (8.51672959159616, 1.07242432683662, -1.04876406460606));
#1114 = CARTESIAN_POINT('', (8.54208077518128, 1.08251265432862, -1.0384481430517));
#1115 = CARTESIAN_POINT('', (8.5674879976512, 1.09238471702966, -1.02805642026755));
#1116 = CARTESIAN_POINT('', (8.59291439820186, 1.10208261846781, -1.01755289890558));
#1117 = CARTESIAN_POINT('', (8.60987708230648, 1.10855236782322, -1.01054569729659));
#1118 = CARTESIAN_POINT('', (8.62684754437866, 1.11494637402426, -1.00348678847174));
#1119 = CARTESIAN_POINT('', (8.64380453691814, 1.12128803098824, -0.996349914218149));
#1120 = CARTESIAN_POINT('', (8.68197734929318, 1.13556408146532, -0.98028370665261));
#1121 = CARTESIAN_POINT('', (8.72008693778266, 1.14957319262603, -0.963822506489387));
#1122 = CARTESIAN_POINT('', (8.7581230131257, 1.16329386521823, -0.946967466783117));
#1123 = CARTESIAN_POINT('', (8.79615714045733, 1.17701383510842, -0.930113290304962));
#1124 = CARTESIAN_POINT('', (8.83412236032341, 1.19044568964724, -0.912862397585629));
#1125 = CARTESIAN_POINT('', (8.87207231098138, 1.2035047373066, -0.89530796225688));
#1126 = CARTESIAN_POINT('', (8.88893064326497, 1.2093058980705, -0.887509836075108));
#1127 = CARTESIAN_POINT('', (8.9057874754796, 1.21503300946649, -0.879652803410812));
#1128 = CARTESIAN_POINT('', (8.9226516079462, 1.22067568559757, -0.871751610604137));
#1129 = CARTESIAN_POINT('', (8.97952247831243, 1.23970446774246, -0.845106438506661));
#1130 = CARTESIAN_POINT('', (9.03649210378536, 1.2577721812086, -0.817964683454224));
#1131 = CARTESIAN_POINT('', (9.09349449357418, 1.27490276987622, -0.790330897385363));
#1132 = CARTESIAN_POINT('', (9.13151551964742, 1.28632900236918, -0.771898952610432));
#1133 = CARTESIAN_POINT('', (9.16955534151715, 1.29734138919438, -0.753243251194644));
#1134 = CARTESIAN_POINT('', (9.20757925785595, 1.30795561960364, -0.734337863076162));
#1135 = CARTESIAN_POINT('', (9.26461508994068, 1.32387695337517, -0.705979801991277));
#1136 = CARTESIAN_POINT('', (9.32162494235096, 1.33890565520468, -0.677048423329625));
#1137 = CARTESIAN_POINT('', (9.37861470956351, 1.3529821278694, -0.647641383534112));
#1138 = CARTESIAN_POINT('', (9.41660621618804, 1.36236603011447, -0.628037552849344));
#1139 = CARTESIAN_POINT('', (9.45459468087044, 1.37132804298636, -0.608220189412354));
#1140 = CARTESIAN_POINT('', (9.49258575988736, 1.37985135321978, -0.588226353555798));
#1141 = CARTESIAN_POINT('', (9.57798561009312, 1.39901083581481, -0.543282365878377));
#1142 = CARTESIAN_POINT('', (9.66343674518633, 1.41596095549366, -0.497430925046042));
#1143 = CARTESIAN_POINT('', (9.74886056822271, 1.4306340101814, -0.45087285226803));
#1144 = CARTESIAN_POINT('', (9.83426857284285, 1.44530434777596, -0.404323400913745));
#1145 = CARTESIAN_POINT('', (9.9196935459803, 1.45770822599186, -0.357029868489719));
#1146 = CARTESIAN_POINT('', (10.0050925996148, 1.46777393550867, -0.309256647853257));
#1147 = CARTESIAN_POINT('', (10.0904622146862, 1.47783617519753, -0.26149989549022));
#1148 = CARTESIAN_POINT('', (10.1758587735408, 1.48556717076924, -0.21324083875112));
#1149 = CARTESIAN_POINT('', (10.2612312109125, 1.49092660996237, -0.164735678303891));
#1150 = CARTESIAN_POINT('', (10.3408143354503, 1.49592261253522, -0.119519770881844));
#1151 = CARTESIAN_POINT('', (10.4204175703405, 1.4988608953399, -0.0740646025258359));
#1152 = CARTESIAN_POINT('', (10.5, 1.49972769236746, -0.0285805658832109));
#1153 = ORIENTED_EDGE('', *, *, #1154, .F.);
#1154 = EDGE_CURVE('', #1155, #1086, #1157, .T.);
#1155 = VERTEX_POINT('', #1156);
#1156 = CARTESIAN_POINT('', (10.5, 1.03527248675059, -1.08545422666147));
#1157 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1158, #1159, #1160), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.871430100979278, 0.996644684038629), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.853672836468914, 0.849483259836732, 0.992243523563844))
   REPRESENTATION_ITEM ('')
);
#1158 = CARTESIAN_POINT('', (10.5, 1.03527248675059, -1.08545422666147));
#1159 = CARTESIAN_POINT('', (10.5, 1.48781209269968, -0.653836023243519));
#1160 = CARTESIAN_POINT('', (10.5, 1.49972769236745, -0.0285805658832119));
#1161 = ORIENTED_EDGE('', *, *, #1162, .F.);
#1162 = EDGE_CURVE('', #948, #1155, #1163, .T.);
#1163 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#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, #1240, #1241, #1242, #1243, #1244, #1245, #1246, #1247, #1248, #1249, #1250, #1251, #1252, #1253, #1254, #1255, #1256, #1257, #1258, #1259, #1260), .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), (2.54318317108859, 2.56717230429452, 2.69740514087376, 2.7844584457338, 2.87151148999534, 2.95857667332529, 3.04567147534468, 3.10385801340294, 3.16206847116854, 3.2203148793019, 3.27861709073642, 3.31752619011454, 3.35645271051636, 3.39538788594095, 3.43432465829991, 3.47325447000835, 3.51218024873504, 3.57055803223276, 3.6289498473731, 3.71671317675061, 3.80442626868818, 3.89210581088459, 3.95052132251908, 4.00892470826493, 4.14038034203211, 4.27184031674043, 4.40332644125915, 4.6005991994744, 4.79780559022978, 4.99499038417516, 5.29079223462931, 5.58648939799618, 5.78935590940489), .UNSPECIFIED.);
#1164 = CARTESIAN_POINT('', (8., -0.73739115156546, -1.30623668972853));
#1165 = CARTESIAN_POINT('', (8.00284187676625, -0.730882311439639, -1.30991103232928));
#1166 = CARTESIAN_POINT('', (8.00569944865086, -0.724348377136041, -1.31353535336057));
#1167 = CARTESIAN_POINT('', (8.00857104586195, -0.717795355215654, -1.31710661224981));
#1168 = CARTESIAN_POINT('', (8.02416044824269, -0.682220137656448, -1.33649435633013));
#1169 = CARTESIAN_POINT('', (8.04020371670717, -0.645979096623095, -1.35437098079174));
#1170 = CARTESIAN_POINT('', (8.05677970255206, -0.609316765229618, -1.37066884388977));
#1171 = CARTESIAN_POINT('', (8.06785981404324, -0.584810064803617, -1.38156304601349));
#1172 = CARTESIAN_POINT('', (8.07918839981821, -0.560094411424476, -1.39176197104231));
#1173 = CARTESIAN_POINT('', (8.09080292211414, -0.535253047470592, -1.40125093226509));
#1174 = CARTESIAN_POINT('', (8.10241740964141, -0.510411757880594, -1.41073986508218));
#1175 = CARTESIAN_POINT('', (8.11432555842654, -0.485426517166039, -1.41952558662681));
#1176 = CARTESIAN_POINT('', (8.12658244137869, -0.46039406431586, -1.42759843987851));
#1177 = CARTESIAN_POINT('', (8.13884103348577, -0.435358120827758, -1.4356724188452));
#1178 = CARTESIAN_POINT('', (8.15145688696013, -0.410255204473564, -1.44303931692412));
#1179 = CARTESIAN_POINT('', (8.16451283183814, -0.385205276494243, -1.44969544903783));
#1180 = CARTESIAN_POINT('', (8.17757321821575, -0.360146826784317, -1.45635384549995));
#1181 = CARTESIAN_POINT('', (8.19108356384465, -0.335118401071943, -1.46230640381962));
#1182 = CARTESIAN_POINT('', (8.2051715888572, -0.310283149921608, -1.46755727890762));
#1183 = CARTESIAN_POINT('', (8.2145835558696, -0.293691146119551, -1.4710652981701));
#1184 = CARTESIAN_POINT('', (8.22425943865308, -0.277176612625232, -1.47426232395027));
#1185 = CARTESIAN_POINT('', (8.23425501306215, -0.260808283314939, -1.47715234128216));
#1186 = CARTESIAN_POINT('', (8.24425469651814, -0.24443322520345, -1.48004354666152));
#1187 = CARTESIAN_POINT('', (8.25457974979275, -0.228193709972183, -1.48262909748873));
#1188 = CARTESIAN_POINT('', (8.26530753030846, -0.212188116370336, -1.48491622769475));
#1189 = CARTESIAN_POINT('', (8.27604193622569, -0.196172637826877, -1.48720477041624));
#1190 = CARTESIAN_POINT('', (8.28718796623509, -0.1803756937871, -1.48919625122452));
#1191 = CARTESIAN_POINT('', (8.29885393729737, -0.164949972929757, -1.49090291650076));
#1192 = CARTESIAN_POINT('', (8.31053108500929, -0.149509473373192, -1.49261121685733));
#1193 = CARTESIAN_POINT('', (8.32274488242565, -0.134415126211846, -1.49403609861596));
#1194 = CARTESIAN_POINT('', (8.33564422245535, -0.119925835810514, -1.49519824568689));
#1195 = CARTESIAN_POINT('', (8.34425284450894, -0.110256129871879, -1.49597382683145));
#1196 = CARTESIAN_POINT('', (8.35318269302311, -0.100848729537269, -1.49663336172596));
#1197 = CARTESIAN_POINT('', (8.36247394871264, -0.091816627267561, -1.49718726515998));
#1198 = CARTESIAN_POINT('', (8.37176936443641, -0.0827804809960599, -1.49774141659678));
#1199 = CARTESIAN_POINT('', (8.38143707791271, -0.0741023878981365, -1.49819113707745));
#1200 = CARTESIAN_POINT('', (8.391462877986, -0.0658733988317779, -1.49855286704419));
#1201 = CARTESIAN_POINT('', (8.40149090722148, -0.057642580110802, -1.4989146774389));
#1202 = CARTESIAN_POINT('', (8.41189737501431, -0.0498470661172289, -1.49918928275156));
#1203 = CARTESIAN_POINT('', (8.42263064744969, -0.0425537354426775, -1.4993962717043));
#1204 = CARTESIAN_POINT('', (8.43336436011249, -0.0352601056306429, -1.49960326914673));
#1205 = CARTESIAN_POINT('', (8.44444649634587, -0.0284556644864549, -1.49974332858862));
#1206 = CARTESIAN_POINT('', (8.45579004005491, -0.0221494917657852, -1.49983645775616));
#1207 = CARTESIAN_POINT('', (8.46713155590087, -0.0158444463872582, -1.49992957027517));
#1208 = CARTESIAN_POINT('', (8.47875314017433, -0.0100266522744956, -1.49997621579375));
#1209 = CARTESIAN_POINT('', (8.49055189206078, -0.00462466880696074, -1.49999287079587));
#1210 = CARTESIAN_POINT('', (8.502349421641, 0.000776755035448736, -1.50000952407259));
#1211 = CARTESIAN_POINT('', (8.51433661416031, 0.0057702386340355, -1.49999636695124));
#1212 = CARTESIAN_POINT('', (8.52641803958341, 0.0105026188831447, -1.49996323121489));
#1213 = CARTESIAN_POINT('', (8.54453679945835, 0.0175998659684541, -1.49991353687592));
#1214 = CARTESIAN_POINT('', (8.56287876073896, 0.0241155967507154, -1.49982068660315));
#1215 = CARTESIAN_POINT('', (8.5811820084227, 0.0307213259283477, -1.49968536704644));
#1216 = CARTESIAN_POINT('', (8.59948965546207, 0.0373286428543575, -1.49955001496443));
#1217 = CARTESIAN_POINT('', (8.61777101953529, 0.0440456099147081, -1.49937179600279));
#1218 = CARTESIAN_POINT('', (8.63574451379243, 0.0515110368511247, -1.49911527678243));
#1219 = CARTESIAN_POINT('', (8.66275880839456, 0.062731628668484, -1.49872972649984));
#1220 = CARTESIAN_POINT('', (8.68908012631749, 0.0756585630463194, -1.49815487674793));
#1221 = CARTESIAN_POINT('', (8.71483997019847, 0.089499388655557, -1.49732757252055));
#1222 = CARTESIAN_POINT('', (8.74058506864285, 0.103332291506507, -1.49650074185823));
#1223 = CARTESIAN_POINT('', (8.76581921451882, 0.118109102212381, -1.49542064087062));
#1224 = CARTESIAN_POINT('', (8.79076294672198, 0.133301725162827, -1.49406514251153));
#1225 = CARTESIAN_POINT('', (8.81569713809446, 0.148488537024456, -1.49271016262259));
#1226 = CARTESIAN_POINT('', (8.84035407982657, 0.164105698186543, -1.49107928844103));
#1227 = CARTESIAN_POINT('', (8.86497245770374, 0.179744168387518, -1.48919173847113));
#1228 = CARTESIAN_POINT('', (8.8813741758615, 0.190163123768517, -1.48793417947315));
#1229 = CARTESIAN_POINT('', (8.8977599749903, 0.200594283096956, -1.48656339712798));
#1230 = CARTESIAN_POINT('', (8.9142023699656, 0.210921376417883, -1.48509668808801));
#1231 = CARTESIAN_POINT('', (8.93064135182948, 0.221246326041353, -1.48363028350743));
#1232 = CARTESIAN_POINT('', (8.94714770615453, 0.231451960120938, -1.48207104936397));
#1233 = CARTESIAN_POINT('', (8.96371242303117, 0.241546151452384, -1.48042408002523));
#1234 = CARTESIAN_POINT('', (9.0009966545425, 0.264266380800337, -1.47671704497145));
#1235 = CARTESIAN_POINT('', (9.03857516416647, 0.2864374648697, -1.47256660438247));
#1236 = CARTESIAN_POINT('', (9.07627449077269, 0.308295047879897, -1.4679762135174));
#1237 = CARTESIAN_POINT('', (9.11397506228985, 0.330153352673394, -1.46338567106798));
#1238 = CARTESIAN_POINT('', (9.15180259133804, 0.351704946031643, -1.45835409016298));
#1239 = CARTESIAN_POINT('', (9.18958049894215, 0.373210779267907, -1.45282955443446));
#1240 = CARTESIAN_POINT('', (9.22736592126792, 0.394720890410529, -1.44730391977404));
#1241 = CARTESIAN_POINT('', (9.2650831030006, 0.416226062047757, -1.44126932171412));
#1242 = CARTESIAN_POINT('', (9.30276019442289, 0.437643607647051, -1.43473623801927));
#1243 = CARTESIAN_POINT('', (9.35928831686631, 0.469777023321432, -1.42493444756531));
#1244 = CARTESIAN_POINT('', (9.41574965095148, 0.501704761129163, -1.41400865412717));
#1245 = CARTESIAN_POINT('', (9.47228210923673, 0.533099773931219, -1.40207154989839));
#1246 = CARTESIAN_POINT('', (9.52879554859767, 0.56448422467052, -1.39013846160822));
#1247 = CARTESIAN_POINT('', (9.58541313124482, 0.595321698370902, -1.37720791544276));
#1248 = CARTESIAN_POINT('', (9.64208397263022, 0.625596537244687, -1.36331543400178));
#1249 = CARTESIAN_POINT('', (9.69874860777967, 0.655868060607547, -1.34942447397843));
#1250 = CARTESIAN_POINT('', (9.75547866887883, 0.685592571083226, -1.33456478408182));
#1251 = CARTESIAN_POINT('', (9.81222255258305, 0.714755877878146, -1.31875852036627));
#1252 = CARTESIAN_POINT('', (9.89734547441602, 0.758504485175367, -1.29504714809321));
#1253 = CARTESIAN_POINT('', (9.98256255429507, 0.80098231176936, -1.26920225008724));
#1254 = CARTESIAN_POINT('', (10.0678565531634, 0.841922687851224, -1.24143714608566));
#1255 = CARTESIAN_POINT('', (10.1531203656747, 0.882848574744742, -1.21368186841838));
#1256 = CARTESIAN_POINT('', (10.2385124540957, 0.922266440186946, -1.18399179805235));
#1257 = CARTESIAN_POINT('', (10.3239714315644, 0.960002609825083, -1.15256018893983));
#1258 = CARTESIAN_POINT('', (10.3826015666331, 0.985891952155087, -1.1309961643952));
#1259 = CARTESIAN_POINT('', (10.4412825948842, 1.0110007305115, -1.10860387297749));
#1260 = CARTESIAN_POINT('', (10.5, 1.03527248675052, -1.08545422666154));
#1261 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#1262, #1263), (#1264, #1265), (#1266, #1267), (#1268, #1269), (#1270, #1271), (#1272, #1273), (#1274, #1275), (#1276, #1277), (#1278, #1279)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (1.56655301706976, 2.35619449019235, 4.71238898038469, 7.06858347057704, 9.39315485284523), (0.285714285714285, 1.), .UNSPECIFIED.)
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.869475485128251, 0.869475485128251), (0.901841450807997, 0.901841450807997), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.711037778354796, 0.711037778354796), (0.992243523563844, 0.992243523563844)))
   REPRESENTATION_ITEM ('')
   SURFACE ()
);
#1262 = CARTESIAN_POINT('', (8., 0.737391151565454, 1.30623668972854));
#1263 = CARTESIAN_POINT('', (10.5, 0.737391151565454, 1.30623668972854));
#1264 = CARTESIAN_POINT('', (8., 0.394153041828834, 1.5));
#1265 = CARTESIAN_POINT('', (10.5, 0.394153041828834, 1.5));
#1266 = CARTESIAN_POINT('', (8., 9.18485099360515E-17, 1.5));
#1267 = CARTESIAN_POINT('', (10.5, 9.18485099360515E-17, 1.5));
#1268 = CARTESIAN_POINT('', (8., -1.5, 1.5));
#1269 = CARTESIAN_POINT('', (10.5, -1.5, 1.5));
#1270 = CARTESIAN_POINT('', (8., -1.5, 1.83697019872103E-16));
#1271 = CARTESIAN_POINT('', (10.5, -1.5, 1.83697019872103E-16));
#1272 = CARTESIAN_POINT('', (8., -1.5, -1.5));
#1273 = CARTESIAN_POINT('', (10.5, -1.5, -1.5));
#1274 = CARTESIAN_POINT('', (8., -2.75545529808154E-16, -1.5));
#1275 = CARTESIAN_POINT('', (10.5, -2.75545529808154E-16, -1.5));
#1276 = CARTESIAN_POINT('', (8., 1.47168660177971, -1.5));
#1277 = CARTESIAN_POINT('', (10.5, 1.47168660177971, -1.5));
#1278 = CARTESIAN_POINT('', (8., 1.49972769236745, -0.0285805658832114));
#1279 = CARTESIAN_POINT('', (10.5, 1.49972769236745, -0.0285805658832114));
#1280 = ADVANCED_FACE('', (#1281), #1353, .T.);
#1281 = FACE_OUTER_BOUND('', #1282, .T.);
#1282 = EDGE_LOOP('', (#1283, #1284, #1306, #1345, #1352));
#1283 = ORIENTED_EDGE('', *, *, #936, .F.);
#1284 = ORIENTED_EDGE('', *, *, #1285, .F.);
#1285 = EDGE_CURVE('', #1286, #937, #1288, .T.);
#1286 = VERTEX_POINT('', #1287);
#1287 = CARTESIAN_POINT('', (11.6953378326274, 0.82122556678327, 0.383087502212202));
#1288 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#1289, #1290, #1291, #1292, #1293, #1294, #1295, #1296, #1297, #1298, #1299, #1300, #1301, #1302, #1303, #1304, #1305), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4), (0.354662167372624, 0.56875, 0.853125, 1.1375, 1.421875, 1.70625, 1.990625, 2.275, 2.559375, 2.84375, 3.128125, 3.4125, 3.696875, 3.98125, 4.05000000000001), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1., 1., 1., 1., 1., 1., 1., 1., 1., 1., 1., 1., 1., 1., 1., 1.))
   REPRESENTATION_ITEM ('')
);
#1289 = CARTESIAN_POINT('', (11.6953378326274, 0.821225566783271, 0.383087502212203));
#1290 = CARTESIAN_POINT('', (11.6239752217516, 0.831195199673807, 0.360544589204406));
#1291 = CARTESIAN_POINT('', (11.4578209442091, 0.852340913890922, 0.307197014202376));
#1292 = CARTESIAN_POINT('', (11.196875, 0.877776775556579, 0.22083619800178));
#1293 = CARTESIAN_POINT('', (10.9125, 0.895585829051523, 0.124487920902163));
#1294 = CARTESIAN_POINT('', (10.628125, 0.90332360973813, 0.0268939094079604));
#1295 = CARTESIAN_POINT('', (10.34375, 0.900925361320702, -0.0709519703345681));
#1296 = CARTESIAN_POINT('', (10.059375, 0.888407943468566, -0.168040727117878));
#1297 = CARTESIAN_POINT('', (9.775, 0.865916905236161, -0.263420848254601));
#1298 = CARTESIAN_POINT('', (9.490625, 0.833551364966254, -0.355962620343493));
#1299 = CARTESIAN_POINT('', (9.20625, 0.792013209064945, -0.445273784293181));
#1300 = CARTESIAN_POINT('', (8.921875, 0.740178139069012, -0.5283179269719));
#1301 = CARTESIAN_POINT('', (8.6375, 0.684151897193723, -0.612070285960293));
#1302 = CARTESIAN_POINT('', (8.353125, 0.593291133914675, -0.657241113631147));
#1303 = CARTESIAN_POINT('', (8.140625, 0.58732016216918, -0.7639247981875));
#1304 = CARTESIAN_POINT('', (8.02291666666667, 0.593636154991938, -0.853100853722406));
#1305 = CARTESIAN_POINT('', (7.99999999999999, 0.595143166048245, -0.871635965141471));
#1306 = ORIENTED_EDGE('', *, *, #1307, .T.);
#1307 = EDGE_CURVE('', #1286, #1308, #1310, .T.);
#1308 = VERTEX_POINT('', #1309);
#1309 = CARTESIAN_POINT('', (10.5500006558708, 1.49916641318184, 0.));
#1310 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#1311, #1312, #1313, #1314, #1315, #1316, #1317, #1318, #1319, #1320, #1321, #1322, #1323, #1324, #1325, #1326, #1327, #1328, #1329, #1330, #1331, #1332, #1333, #1334, #1335, #1336, #1337, #1338, #1339, #1340, #1341, #1342, #1343, #1344), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.131885323883704, 0.263721053597481, 0.395495954118819, 0.527194335115708, 0.658797736557153, 0.79028768374005, 0.921647947017397, 1.05286419687465, 1.18392508679085, 1.31482157708227, 1.45716180851346), .UNSPECIFIED.);
#1311 = CARTESIAN_POINT('', (11.6953378326274, 0.821225566783271, 0.383087502212201));
#1312 = CARTESIAN_POINT('', (11.6693393199063, 0.856100304484462, 0.389448919899913));
#1313 = CARTESIAN_POINT('', (11.6419434825469, 0.890375423574712, 0.393864602866679));
#1314 = CARTESIAN_POINT('', (11.6134097967553, 0.923731480641748, 0.396281183203013));
#1315 = CARTESIAN_POINT('', (11.5848868407736, 0.957074994493864, 0.398696854808245));
#1316 = CARTESIAN_POINT('', (11.5551383673005, 0.989603511060408, 0.399122914840368));
#1317 = CARTESIAN_POINT('', (11.5244345856391, 1.02100609240145, 0.397593182820773));
#1318 = CARTESIAN_POINT('', (11.4937449707461, 1.05239418454698, 0.396064156621698));
#1319 = CARTESIAN_POINT('', (11.4620074345289, 1.08275300222238, 0.3925774252317));
#1320 = CARTESIAN_POINT('', (11.4294892636473, 1.1117965643841, 0.387244248747599));
#1321 = CARTESIAN_POINT('', (11.3969899755345, 1.1408232614254, 0.38191416915165));
#1322 = CARTESIAN_POINT('', (11.3636157592028, 1.16862137353775, 0.374725323917069));
#1323 = CARTESIAN_POINT('', (11.3296200678691, 1.19494072343686, 0.365851350224464));
#1324 = CARTESIAN_POINT('', (11.295648893888, 1.22124109208401, 0.356983776352949));
#1325 = CARTESIAN_POINT('', (11.2609629484559, 1.24613795873047, 0.346410107830735));
#1326 = CARTESIAN_POINT('', (11.225794987828, 1.26942191035712, 0.334349591219964));
#1327 = CARTESIAN_POINT('', (11.1906573452228, 1.29268578907199, 0.322299471885819));
#1328 = CARTESIAN_POINT('', (11.1549472338575, 1.31440023653094, 0.308734848092121));
#1329 = CARTESIAN_POINT('', (11.118873936196, 1.33439681005552, 0.293905094224213));
#1330 = CARTESIAN_POINT('', (11.0828362163579, 1.35437366166364, 0.279089966420434));
#1331 = CARTESIAN_POINT('', (11.046348683677, 1.37268473772653, 0.262977197719049));
#1332 = CARTESIAN_POINT('', (11.0095975467898, 1.38919975743562, 0.245834038014801));
#1333 = CARTESIAN_POINT('', (10.9728867010589, 1.40569667133088, 0.228709672769385));
#1334 = CARTESIAN_POINT('', (10.9358296991073, 1.42043910609987, 0.210519114301269));
#1335 = CARTESIAN_POINT('', (10.8985923020547, 1.43333078313006, 0.191538619800539));
#1336 = CARTESIAN_POINT('', (10.8613989940521, 1.44620719642436, 0.172580598191009));
#1337 = CARTESIAN_POINT('', (10.8239465311562, 1.45726489971869, 0.152794658816201));
#1338 = CARTESIAN_POINT('', (10.7863840994457, 1.46643731041388, 0.132460417525198));
#1339 = CARTESIAN_POINT('', (10.7488687851451, 1.47559821545793, 0.112151683016888));
#1340 = CARTESIAN_POINT('', (10.7111678469483, 1.48289728981234, 0.0912553229574402));
#1341 = CARTESIAN_POINT('', (10.6734182708738, 1.48829396303771, 0.0700512877303259));
#1342 = CARTESIAN_POINT('', (10.6323684048084, 1.49416244518072, 0.0469934710174178));
#1343 = CARTESIAN_POINT('', (10.5911806040966, 1.49779296697742, 0.0235269846739726));
#1344 = CARTESIAN_POINT('', (10.5500006558708, 1.49916641318186, -3.66324597270303E-15));
#1345 = ORIENTED_EDGE('', *, *, #1346, .T.);
#1346 = EDGE_CURVE('', #1308, #1086, #1347, .T.);
#1347 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#1348, #1349, #1350, #1351), .UNSPECIFIED., .F., .U., (4, 4), (0., 0.0575953936355657), .UNSPECIFIED.);
#1348 = CARTESIAN_POINT('', (10.5500006558708, 1.49916641318186, -3.66324597270303E-15));
#1349 = CARTESIAN_POINT('', (10.5333379365249, 1.4997221532842, -0.00951976774051528));
#1350 = CARTESIAN_POINT('', (10.5166674354365, 1.49990923097536, -0.0190545656419831));
#1351 = CARTESIAN_POINT('', (10.5, 1.49972769236746, -0.028580565883212));
#1352 = ORIENTED_EDGE('', *, *, #1085, .F.);
#1353 = B_SPLINE_SURFACE_WITH_KNOTS('', 3, 1, ((#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)), .UNSPECIFIED., .F., .F., .U., (4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4), (2, 2), (0.354662167372028, 0.56875, 0.853125, 1.1375, 1.421875, 1.70625, 1.990625, 2.275, 2.559375, 2.84375, 3.128125, 3.4125, 3.696875, 3.98125, 4.05000000000001), (0., 1.), .UNSPECIFIED.);
#1354 = CARTESIAN_POINT('', (11.695337832628, 1.36870927797198, 0.638479170353986));
#1355 = CARTESIAN_POINT('', (11.695337832628, 0.821225566783188, 0.383087502212392));
#1356 = CARTESIAN_POINT('', (11.623975221752, 1.38532533278959, 0.600907648674223));
#1357 = CARTESIAN_POINT('', (11.623975221752, 0.831195199673757, 0.360544589204534));
#1358 = CARTESIAN_POINT('', (11.4578209442093, 1.42056818981817, 0.511995023670737));
#1359 = CARTESIAN_POINT('', (11.4578209442093, 0.852340913890903, 0.307197014202442));
#1360 = CARTESIAN_POINT('', (11.196875, 1.4629612925943, 0.368060330002967));
#1361 = CARTESIAN_POINT('', (11.196875, 0.877776775556579, 0.22083619800178));
#1362 = CARTESIAN_POINT('', (10.9125, 1.4926430484192, 0.207479868170271));
#1363 = CARTESIAN_POINT('', (10.9125, 0.895585829051523, 0.124487920902163));
#1364 = CARTESIAN_POINT('', (10.628125, 1.50553934956355, 0.0448231823466004));
#1365 = CARTESIAN_POINT('', (10.628125, 0.903323609738129, 0.02689390940796));
#1366 = CARTESIAN_POINT('', (10.34375, 1.50154226886784, -0.118253283890947));
#1367 = CARTESIAN_POINT('', (10.34375, 0.900925361320702, -0.0709519703345685));
#1368 = CARTESIAN_POINT('', (10.059375, 1.48067990578094, -0.280067878529798));
#1369 = CARTESIAN_POINT('', (10.059375, 0.888407943468566, -0.168040727117879));
#1370 = CARTESIAN_POINT('', (9.775, 1.44319484206027, -0.439034747091002));
#1371 = CARTESIAN_POINT('', (9.775, 0.865916905236161, -0.263420848254601));
#1372 = CARTESIAN_POINT('', (9.490625, 1.38925227494376, -0.593271033905822));
#1373 = CARTESIAN_POINT('', (9.490625, 0.833551364966254, -0.355962620343493));
#1374 = CARTESIAN_POINT('', (9.20625, 1.32002201510824, -0.742122973821969));
#1375 = CARTESIAN_POINT('', (9.20625, 0.792013209064945, -0.445273784293181));
#1376 = CARTESIAN_POINT('', (8.921875, 1.23363023178169, -0.880529878286501));
#1377 = CARTESIAN_POINT('', (8.921875, 0.740178139069011, -0.528317926971901));
#1378 = CARTESIAN_POINT('', (8.6375, 1.14025316198954, -1.02011714326716));
#1379 = CARTESIAN_POINT('', (8.6375, 0.684151897193723, -0.612070285960293));
#1380 = CARTESIAN_POINT('', (8.353125, 0.988818556524458, -1.09540185605191));
#1381 = CARTESIAN_POINT('', (8.353125, 0.593291133914675, -0.657241113631147));
#1382 = CARTESIAN_POINT('', (8.140625, 0.978866936948633, -1.27320799697917));
#1383 = CARTESIAN_POINT('', (8.140625, 0.58732016216918, -0.763924798187499));
#1384 = CARTESIAN_POINT('', (8.02291666666667, 0.989393591653229, -1.42183475620401));
#1385 = CARTESIAN_POINT('', (8.02291666666667, 0.593636154991937, -0.853100853722404));
#1386 = CARTESIAN_POINT('', (8., 0.991905276747073, -1.45272660856911));
#1387 = CARTESIAN_POINT('', (8., 0.595143166048244, -0.871635965141468));
#1388 = ADVANCED_FACE('', (#1389), #1583, .T.);
#1389 = FACE_OUTER_BOUND('', #1390, .T.);
#1390 = EDGE_LOOP('', (#1391, #1392, #1494, #1582));
#1391 = ORIENTED_EDGE('', *, *, #1027, .F.);
#1392 = ORIENTED_EDGE('', *, *, #1393, .F.);
#1393 = EDGE_CURVE('', #1394, #1018, #1396, .T.);
#1394 = VERTEX_POINT('', #1395);
#1395 = CARTESIAN_POINT('', (10.5, -1.03527248675051, 1.08545422666154));
#1396 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#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, #1425, #1426, #1427, #1428, #1429, #1430, #1431, #1432, #1433, #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, #1466, #1467, #1468, #1469, #1470, #1471, #1472, #1473, #1474, #1475, #1476, #1477, #1478, #1479, #1480, #1481, #1482, #1483, #1484, #1485, #1486, #1487, #1488, #1489, #1490, #1491, #1492, #1493), .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), (0., 0.295507794644045, 0.590929235608882, 0.886246013961003, 1.18149210359483, 1.37834125123428, 1.50958818418526, 1.6408488288512, 1.77215216342638, 1.83052600323438, 1.91805302840558, 2.00553191649804, 2.09302003863548, 2.15138908576632, 2.1903133093561, 2.24870705709751, 2.30713838677408, 2.34611191398698, 2.38510030136498, 2.42409486104509, 2.46308813873328, 2.50207769669188, 2.5410687923482, 2.59963711667623, 2.65822239349863, 2.71682377410316, 2.7754376637073, 2.86356296374031, 2.951699169509, 3.0398352423826, 3.12796201293875, 3.21606944163684, 3.2461808284346), .UNSPECIFIED.);
#1397 = CARTESIAN_POINT('', (10.5, -1.03527248675051, 1.08545422666154));
#1398 = CARTESIAN_POINT('', (10.4144686287919, -0.999916758944466, 1.11917542037712));
#1399 = CARTESIAN_POINT('', (10.329004576706, -0.962782664149125, 1.15128992079987));
#1400 = CARTESIAN_POINT('', (10.2436592679094, -0.924040194952861, 1.18158779534636));
#1401 = CARTESIAN_POINT('', (10.158338898832, -0.885309047132266, 1.21187681620782));
#1402 = CARTESIAN_POINT('', (10.0730911464376, -0.844939146153182, 1.24037451228526));
#1403 = CARTESIAN_POINT('', (9.98796770344584, -0.803124856343537, 1.26688218281068));
#1404 = CARTESIAN_POINT('', (9.90287441819044, -0.761325380600217, 1.29338046213537));
#1405 = CARTESIAN_POINT('', (9.81784401512643, -0.718068374936294, 1.31789716642725));
#1406 = CARTESIAN_POINT('', (9.73290233033921, -0.673616484282539, 1.3402390951255));
#1407 = CARTESIAN_POINT('', (9.64798097768097, -0.629175233888351, 1.36257567593151));
#1408 = CARTESIAN_POINT('', (9.56311693830417, -0.583478858429888, 1.38277903340635));
#1409 = CARTESIAN_POINT('', (9.47849926725858, -0.536550126376915, 1.40075478292417));
#1410 = CARTESIAN_POINT('', (9.42208220703191, -0.505261376995391, 1.41273973749258));
#1411 = CARTESIAN_POINT('', (9.36574155878749, -0.473431180562498, 1.42372305559113));
#1412 = CARTESIAN_POINT('', (9.30934042486325, -0.441383369724326, 1.43359015096045));
#1413 = CARTESIAN_POINT('', (9.27173560954511, -0.420015855916204, 1.44016892470617));
#1414 = CARTESIAN_POINT('', (9.23409604694591, -0.398551204109818, 1.44625337944057));
#1415 = CARTESIAN_POINT('', (9.196385661045, -0.377084640830097, 1.45182890646592));
#1416 = CARTESIAN_POINT('', (9.15867133544011, -0.355615834881612, 1.45740501598136));
#1417 = CARTESIAN_POINT('', (9.12089720971544, -0.334117165895243, 1.46248485976391));
#1418 = CARTESIAN_POINT('', (9.08323917740536, -0.312328849446393, 1.46712327014586));
#1419 = CARTESIAN_POINT('', (9.04556889757064, -0.290533446781763, 1.47176318907837));
#1420 = CARTESIAN_POINT('', (9.00800885075168, -0.268441535484043, 1.47596246979893));
#1421 = CARTESIAN_POINT('', (8.97073220685892, -0.245815394163315, 1.4797211872486));
#1422 = CARTESIAN_POINT('', (8.95416003947097, -0.235756436002026, 1.48139220932127));
#1423 = CARTESIAN_POINT('', (8.93764244683775, -0.225591605457829, 1.48297555349777));
#1424 = CARTESIAN_POINT('', (8.92119413504164, -0.215303830379647, 1.48446766910696));
#1425 = CARTESIAN_POINT('', (8.89653117291106, -0.199878113120247, 1.4867049802195));
#1426 = CARTESIAN_POINT('', (8.87201819543358, -0.184181395109879, 1.48873199537461));
#1427 = CARTESIAN_POINT('', (8.84741169917022, -0.16860463160098, 1.49049403829828));
#1428 = CARTESIAN_POINT('', (8.82281873569683, -0.15303643481636, 1.4922551121544));
#1429 = CARTESIAN_POINT('', (8.79812869156188, -0.137579169829531, 1.4937523782806));
#1430 = CARTESIAN_POINT('', (8.77310693313673, -0.122656150178518, 1.49497674524501));
#1431 = CARTESIAN_POINT('', (8.74808253347952, -0.107731555292179, 1.49620124145042));
#1432 = CARTESIAN_POINT('', (8.72270817558784, -0.0933235289658886, 1.49715351992286));
#1433 = CARTESIAN_POINT('', (8.69677518069341, -0.0800029775492925, 1.49786498843581));
#1434 = CARTESIAN_POINT('', (8.67947358403942, -0.0711159666677164, 1.49833965560376));
#1435 = CARTESIAN_POINT('', (8.66190616176034, -0.0627073087529419, 1.49870844699398));
#1436 = CARTESIAN_POINT('', (8.64403624694857, -0.0550173152273965, 1.49899069210738));
#1437 = CARTESIAN_POINT('', (8.63211944182916, -0.0498891344174315, 1.4991789112482));
#1438 = CARTESIAN_POINT('', (8.62004949134435, -0.0451118699154919, 1.49932847446833));
#1439 = CARTESIAN_POINT('', (8.60790911448445, -0.0405358612351872, 1.49945218128285));
#1440 = CARTESIAN_POINT('', (8.58969623729739, -0.0336709768034186, 1.49963776506218));
#1441 = CARTESIAN_POINT('', (8.57132290388294, -0.027237813085254, 1.49976760925854));
#1442 = CARTESIAN_POINT('', (8.55304478219953, -0.0205466367532879, 1.49985927197125));
#1443 = CARTESIAN_POINT('', (8.53475489680492, -0.0138511540124199, 1.49995099367763));
#1444 = CARTESIAN_POINT('', (8.51654659294027, -0.00687634717131016, 1.50000471967867));
#1445 = CARTESIAN_POINT('', (8.49871643306884, 0.000962223069988919, 1.49999969137555));
#1446 = CARTESIAN_POINT('', (8.4868237682124, 0.00619052665815745, 1.49999633751198));
#1447 = CARTESIAN_POINT('', (8.47508889000615, 0.0118055958632808, 1.49996591646475));
#1448 = CARTESIAN_POINT('', (8.46361509388539, 0.0178979980477601, 1.49989321675441));
#1449 = CARTESIAN_POINT('', (8.45213692293595, 0.0239927231962825, 1.49982048932449));
#1450 = CARTESIAN_POINT('', (8.4409024124375, 0.0305753947423977, 1.49970506637524));
#1451 = CARTESIAN_POINT('', (8.43000477521926, 0.0376541855319659, 1.4995273129596));
#1452 = CARTESIAN_POINT('', (8.41910541278195, 0.0447340969740734, 1.49934953140358));
#1453 = CARTESIAN_POINT('', (8.40852160913986, 0.0523229658790656, 1.49910875771901));
#1454 = CARTESIAN_POINT('', (8.39831413022796, 0.0603638210166766, 1.49878491089028));
#1455 = CARTESIAN_POINT('', (8.3881069868989, 0.0684044118017363, 1.49846107470839));
#1456 = CARTESIAN_POINT('', (8.37825522375224, 0.0769109269073323, 1.49805336637619));
#1457 = CARTESIAN_POINT('', (8.36878091335189, 0.0857946287385102, 1.4975444172648));
#1458 = CARTESIAN_POINT('', (8.35930750674509, 0.0946774831167305, 1.49703551670417));
#1459 = CARTESIAN_POINT('', (8.35019863284017, 0.103954937953035, 1.49642420255305));
#1460 = CARTESIAN_POINT('', (8.34143014362725, 0.11352029470014, 1.49569821243832));
#1461 = CARTESIAN_POINT('', (8.33266130859647, 0.123086028692539, 1.49497219369149));
#1462 = CARTESIAN_POINT('', (8.32421460061478, 0.132944937186651, 1.49413110846628));
#1463 = CARTESIAN_POINT('', (8.31604164352406, 0.143004628394931, 1.49316766515272));
#1464 = CARTESIAN_POINT('', (8.30376508669612, 0.158115238840954, 1.49172048190459));
#1465 = CARTESIAN_POINT('', (8.29208705187568, 0.173697494870215, 1.48999486355611));
#1466 = CARTESIAN_POINT('', (8.28087876979612, 0.189554127538633, 1.48797487637832));
#1467 = CARTESIAN_POINT('', (8.2696672434998, 0.205415349880383, 1.48595430451893));
#1468 = CARTESIAN_POINT('', (8.2589145387074, 0.221571007541707, 1.48363734603713));
#1469 = CARTESIAN_POINT('', (8.24852832344061, 0.237899104080442, 1.48101452264241));
#1470 = CARTESIAN_POINT('', (8.23813925323556, 0.254231688847677, 1.47839097829221));
#1471 = CARTESIAN_POINT('', (8.22811023385689, 0.270749729935837, 1.47545971806531));
#1472 = CARTESIAN_POINT('', (8.21837508125496, 0.287371088903537, 1.47221528903296));
#1473 = CARTESIAN_POINT('', (8.20863785059585, 0.303995995852033, 1.46897016744762));
#1474 = CARTESIAN_POINT('', (8.19918996840558, 0.320733715422137, 1.46541013163363));
#1475 = CARTESIAN_POINT('', (8.18998334558592, 0.337524599829496, 1.46153246440529));
#1476 = CARTESIAN_POINT('', (8.17614129545492, 0.362769498883481, 1.45570243691123));
#1477 = CARTESIAN_POINT('', (8.16283216864552, 0.388153279635137, 1.44914934120442));
#1478 = CARTESIAN_POINT('', (8.14994361186295, 0.413526982341468, 1.44187219783015));
#1479 = CARTESIAN_POINT('', (8.13705346008787, 0.438903825109676, 1.43459415389042));
#1480 = CARTESIAN_POINT('', (8.12457463540203, 0.464292879772498, 1.42658607580499));
#1481 = CARTESIAN_POINT('', (8.11243378711486, 0.489580552455887, 1.41785432349624));
#1482 = CARTESIAN_POINT('', (8.10029295713412, 0.514868187009571, 1.40912258435356));
#1483 = CARTESIAN_POINT('', (8.08848165569465, 0.540074193348671, 1.39966067949684));
#1484 = CARTESIAN_POINT('', (8.07695102551821, 0.565104601635333, 1.38948076244733));
#1485 = CARTESIAN_POINT('', (8.06542161234156, 0.590132368088792, 1.37930191983666));
#1486 = CARTESIAN_POINT('', (8.05416503213209, 0.615003116928112, 1.36839786055296));
#1487 = CARTESIAN_POINT('', (8.04314746879874, 0.639634393854877, 1.35678584979287));
#1488 = CARTESIAN_POINT('', (8.03213232357449, 0.664260264766428, 1.34517638760983));
#1489 = CARTESIAN_POINT('', (8.02134844661635, 0.688664498397311, 1.33285104903889));
#1490 = CARTESIAN_POINT('', (8.01077317934345, 0.712772622082788, 1.31983150030955));
#1491 = CARTESIAN_POINT('', (8.00715900096996, 0.721011757510846, 1.31538197007681));
#1492 = CARTESIAN_POINT('', (8.00356715058463, 0.729221193903755, 1.31084875929891));
#1493 = CARTESIAN_POINT('', (8., 0.737391151565454, 1.30623668972854));
#1494 = ORIENTED_EDGE('', *, *, #1495, .F.);
#1495 = EDGE_CURVE('', #1286, #1394, #1496, .T.);
#1496 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#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, #1554, #1555, #1556, #1557, #1558, #1559, #1560, #1561, #1562, #1563, #1564, #1565, #1566, #1567, #1568, #1569, #1570, #1571, #1572, #1573, #1574, #1575, #1576, #1577, #1578, #1579, #1580, #1581), .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, 4), (0., 0.13135573678579, 0.262491538374165, 0.393412967610443, 0.524134400006812, 0.654677161088249, 0.785065540418654, 0.915322114663297, 0.973494970126119, 0.990776243383814, 1.0080800731175, 1.14145253920742, 1.22972786473192, 1.2557292884025, 1.38942688905166, 1.52261250325613, 1.65531258306448, 1.78756058249204, 1.91940317954913, 2.050910826516, 2.18218962771232, 2.26961865319173, 2.3570315091579, 2.44444347304881, 2.53185563855674, 2.61925724185317, 2.70663525518077, 2.79398169375211, 2.83552121928146), .UNSPECIFIED.);
#1497 = CARTESIAN_POINT('', (11.6953378326274, 0.82122556678327, 0.383087502212202));
#1498 = CARTESIAN_POINT('', (11.7025644844496, 0.794780706829525, 0.417228278672398));
#1499 = CARTESIAN_POINT('', (11.7089505404637, 0.766569520701913, 0.450252049828972));
#1500 = CARTESIAN_POINT('', (11.7144373725444, 0.736821772278427, 0.481908231994369));
#1501 = CARTESIAN_POINT('', (11.7199150177595, 0.707123831933995, 0.51351141069875));
#1502 = CARTESIAN_POINT('', (11.7245106835889, 0.675817602485485, 0.543833510469337));
#1503 = CARTESIAN_POINT('', (11.7281697798077, 0.643162917503006, 0.572660853836046));
#1504 = CARTESIAN_POINT('', (11.7318228943719, 0.610561614293788, 0.60144107212076));
#1505 = CARTESIAN_POINT('', (11.734551843082, 0.576533464215538, 0.628804741206613));
#1506 = CARTESIAN_POINT('', (11.7363062914999, 0.541361485754676, 0.654579632542411));
#1507 = CARTESIAN_POINT('', (11.7380580598054, 0.506243236347847, 0.680315149905237));
#1508 = CARTESIAN_POINT('', (11.7388427067188, 0.469897815000759, 0.704530672472567));
#1509 = CARTESIAN_POINT('', (11.7386138754634, 0.432624165806589, 0.727098341814687));
#1510 = CARTESIAN_POINT('', (11.7383853569768, 0.395401462595735, 0.749635165448628));
#1511 = CARTESIAN_POINT('', (11.737145662839, 0.357164098629539, 0.770582835160045));
#1512 = CARTESIAN_POINT('', (11.7348516145111, 0.318219920904584, 0.789859210289347));
#1513 = CARTESIAN_POINT('', (11.7325602791577, 0.279321799125588, 0.809112788899552));
#1514 = CARTESIAN_POINT('', (11.7292119145541, 0.239629219395639, 0.826743564060273));
#1515 = CARTESIAN_POINT('', (11.7247652008259, 0.199452735630252, 0.842715141133424));
#1516 = CARTESIAN_POINT('', (11.7203229821262, 0.159316864877432, 0.858670573093823));
#1517 = CARTESIAN_POINT('', (11.7147749969772, 0.118609946945414, 0.873005489353803));
#1518 = CARTESIAN_POINT('', (11.7080799680379, 0.0776404218712845, 0.885728375811226));
#1519 = CARTESIAN_POINT('', (11.7050899542665, 0.0593433472373275, 0.891410443217417));
#1520 = CARTESIAN_POINT('', (11.7018692926027, 0.0409813801842715, 0.896775746209412));
#1521 = CARTESIAN_POINT('', (11.6984141834408, 0.0225817264084609, 0.901827871913683));
#1522 = CARTESIAN_POINT('', (11.697387782294, 0.0171157845663941, 0.903328695006053));
#1523 = CARTESIAN_POINT('', (11.6963406129069, 0.0116460820691824, 0.904802016560253));
#1524 = CARTESIAN_POINT('', (11.6952725735077, 0.00617332875341263, 0.906247960015618));
#1525 = CARTESIAN_POINT('', (11.6942031400442, 0.000693432096584752, 0.90769579079655));
#1526 = CARTESIAN_POINT('', (11.6931127434916, -0.00478972096712486, 0.909116224176184));
#1527 = CARTESIAN_POINT('', (11.6920012804961, -0.0102754193906738, 0.910509397563831));
#1528 = CARTESIAN_POINT('', (11.683434474017, -0.0525574539595767, 0.921247538961483));
#1529 = CARTESIAN_POINT('', (11.6736051344754, -0.0950406533922536, 0.930373436227122));
#1530 = CARTESIAN_POINT('', (11.6624628779053, -0.137402259402862, 0.937976906220557));
#1531 = CARTESIAN_POINT('', (11.6550881449141, -0.165440164601422, 0.943009420115394));
#1532 = CARTESIAN_POINT('', (11.6471301691926, -0.193456592511916, 0.94738205532535));
#1533 = CARTESIAN_POINT('', (11.6385725662547, -0.22135891781889, 0.951132346665874));
#1534 = CARTESIAN_POINT('', (11.636051931431, -0.229577524517762, 0.952236991859235));
#1535 = CARTESIAN_POINT('', (11.6334788603113, -0.237787615813475, 0.95328791156192));
#1536 = CARTESIAN_POINT('', (11.6308529047787, -0.245986827739212, 0.954286219292969));
#1537 = CARTESIAN_POINT('', (11.6173504151236, -0.288146633124237, 0.959419451612928));
#1538 = CARTESIAN_POINT('', (11.6024331592594, -0.330069165760213, 0.963162287296719));
#1539 = CARTESIAN_POINT('', (11.5860336567048, -0.371430365787915, 0.965696836421771));
#1540 = CARTESIAN_POINT('', (11.5696969550005, -0.412633175734964, 0.968221679652407));
#1541 = CARTESIAN_POINT('', (11.5518568158728, -0.453361837295924, 0.969552070591952));
#1542 = CARTESIAN_POINT('', (11.532434822731, -0.493281536700766, 0.969923534286339));
#1543 = CARTESIAN_POINT('', (11.5130836333752, -0.533055706971254, 0.970293643792424));
#1544 = CARTESIAN_POINT('', (11.4921216226692, -0.572110473305002, 0.969711752170785));
#1545 = CARTESIAN_POINT('', (11.4694623543795, -0.610079159336989, 0.968476206617226));
#1546 = CARTESIAN_POINT('', (11.4468802813005, -0.647918494293497, 0.9672448702993));
#1547 = CARTESIAN_POINT('', (11.4225587900714, -0.68476853416478, 0.965360354978078));
#1548 = CARTESIAN_POINT('', (11.3964166671724, -0.720197347885637, 0.963199324602164));
#1549 = CARTESIAN_POINT('', (11.3703546821857, -0.755517555615268, 0.961044918801599));
#1550 = CARTESIAN_POINT('', (11.3424056295514, -0.789527345362502, 0.958608737611334));
#1551 = CARTESIAN_POINT('', (11.3125322436366, -0.821682013551636, 0.956362913154116));
#1552 = CARTESIAN_POINT('', (11.2827347519588, -0.853754991837419, 0.954122794281599));
#1553 = CARTESIAN_POINT('', (11.250901239331, -0.884104620724645, 0.95206508861711));
#1554 = CARTESIAN_POINT('', (11.2171283646777, -0.912020143992985, 0.950760835081916));
#1555 = CARTESIAN_POINT('', (11.1834142605956, -0.939887089482165, 0.949458851170673));
#1556 = CARTESIAN_POINT('', (11.1475710202062, -0.965473038822969, 0.948909104035828));
#1557 = CARTESIAN_POINT('', (11.1099970985285, -0.98788809412056, 0.949726620286962));
#1558 = CARTESIAN_POINT('', (11.0849736269109, -1.0028160674329, 0.950271069569701));
#1559 = CARTESIAN_POINT('', (11.0590876218839, -1.0163954483142, 0.951425582295553));
#1560 = CARTESIAN_POINT('', (11.0325774185556, -1.02834731593499, 0.953343112973461));
#1561 = CARTESIAN_POINT('', (11.0060721181424, -1.04029697312417, 0.955260289014708));
#1562 = CARTESIAN_POINT('', (10.9788317940207, -1.05066555180887, 0.957951466462656));
#1563 = CARTESIAN_POINT('', (10.9512030068859, -1.05921243394869, 0.961501360553168));
#1564 = CARTESIAN_POINT('', (10.9235745017114, -1.06775922886493, 0.965051218415913));
#1565 = CARTESIAN_POINT('', (10.8954271944664, -1.07452185616942, 0.969478776447937));
#1566 = CARTESIAN_POINT('', (10.8671841174059, -1.07935555114988, 0.974765314384319));
#1567 = CARTESIAN_POINT('', (10.8389409752023, -1.08418925727934, 0.980051864514181));
#1568 = CARTESIAN_POINT('', (10.8104627624355, -1.08711756745348, 0.986223734800417));
#1569 = CARTESIAN_POINT('', (10.7821791288256, -1.08812866993844, 0.993152021048754));
#1570 = CARTESIAN_POINT('', (10.7538989127917, -1.08913965024958, 1.00007947013645));
#1571 = CARTESIAN_POINT('', (10.7256782241111, -1.08824141016699, 1.00779400405579));
#1572 = CARTESIAN_POINT('', (10.6978798227166, -1.08554657651167, 1.01608671184375));
#1573 = CARTESIAN_POINT('', (10.6700889241984, -1.08285247020048, 1.02437718140367));
#1574 = CARTESIAN_POINT('', (10.6426009732485, -1.07835532277938, 1.0332778350457));
#1575 = CARTESIAN_POINT('', (10.6156738265388, -1.07224671693682, 1.04254810146683));
#1576 = CARTESIAN_POINT('', (10.5887564101727, -1.06614031848869, 1.05181501800174));
#1577 = CARTESIAN_POINT('', (10.5623024365452, -1.05840540399993, 1.06148203862909));
#1578 = CARTESIAN_POINT('', (10.5364686670511, -1.04926182016108, 1.07131679211883));
#1579 = CARTESIAN_POINT('', (10.5241828481331, -1.04491338717953, 1.0759939260735));
#1580 = CARTESIAN_POINT('', (10.5120231433561, -1.0402424407904, 1.0807140390502));
#1581 = CARTESIAN_POINT('', (10.5, -1.03527248675051, 1.08545422666154));
#1582 = ORIENTED_EDGE('', *, *, #1285, .T.);
#1583 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (3, 2, ((#1584, #1585, #1586, #1587, #1588), (#1589, #1590, #1591, #1592, #1593), (#1594, #1595, #1596, #1597, #1598), (#1599, #1600, #1601, #1602, #1603), (#1604, #1605, #1606, #1607, #1608), (#1609, #1610, #1611, #1612, #1613), (#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, #1646, #1647, #1648), (#1649, #1650, #1651, #1652, #1653), (#1654, #1655, #1656, #1657, #1658), (#1659, #1660, #1661, #1662, #1663), (#1664, #1665, #1666, #1667, #1668)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4), (3, 2, 3), (0.311157293281188, 0.56875, 0.853125, 1.1375, 1.421875, 1.70625, 1.990625, 2.275, 2.559375, 2.84375, 3.128125, 3.4125, 3.696875, 3.98125, 4.05000000000001), (0., 0.5, 1.), .UNSPECIFIED.)
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.)))
   REPRESENTATION_ITEM ('')
   SURFACE ()
);
#1584 = CARTESIAN_POINT('', (11.7388427067188, 0.815038018098848, 0.396784009624419));
#1585 = CARTESIAN_POINT('', (11.7388427067188, 0.386764828111573, 0.91533050876857));
#1586 = CARTESIAN_POINT('', (11.7388427067188, -0.285157197115673, 0.94412615168636));
#1587 = CARTESIAN_POINT('', (11.7388427067188, -0.957079222342919, 0.972921794604151));
#1588 = CARTESIAN_POINT('', (11.7388427067188, -1.42814595565726, 0.492917076084542));
#1589 = CARTESIAN_POINT('', (11.6529784711459, 0.827466381060826, 0.369844230678824));
#1590 = CARTESIAN_POINT('', (11.6529784711459, 0.416452676289287, 0.902051419478442));
#1591 = CARTESIAN_POINT('', (11.6529784711459, -0.25406945002862, 0.952813959191611));
#1592 = CARTESIAN_POINT('', (11.6529784711459, -0.924591576346528, 1.00357649890478));
#1593 = CARTESIAN_POINT('', (11.6529784711459, -1.41104408791287, 0.539312876260473));
#1594 = CARTESIAN_POINT('', (11.4723225689063, 0.850927359367813, 0.311996368907336));
#1595 = CARTESIAN_POINT('', (11.4723225689063, 0.477537689896847, 0.871210495283847));
#1596 = CARTESIAN_POINT('', (11.4723225689063, -0.187872990181136, 0.968003631635746));
#1597 = CARTESIAN_POINT('', (11.4723225689063, -0.85328367025912, 1.06479676798764));
#1598 = CARTESIAN_POINT('', (11.4723225689063, -1.37051875711017, 0.635136263243643));
#1599 = CARTESIAN_POINT('', (11.196875, 0.877776775556579, 0.22083619800178));
#1600 = CARTESIAN_POINT('', (11.196875, 0.565442579262668, 0.815310388163517));
#1601 = CARTESIAN_POINT('', (11.196875, -0.0853081818091669, 0.981068223294902));
#1602 = CARTESIAN_POINT('', (11.196875, -0.736058942881002, 1.14682605842629));
#1603 = CARTESIAN_POINT('', (11.196875, -1.29472780583772, 0.774211895376009));
#1604 = CARTESIAN_POINT('', (10.9125, 0.895585829051523, 0.124487920902163));
#1605 = CARTESIAN_POINT('', (10.9125, 0.64962501576497, 0.748607733412251));
#1606 = CARTESIAN_POINT('', (10.9125, 0.021264918906431, 0.983524422296068));
#1607 = CARTESIAN_POINT('', (10.9125, -0.607095177952109, 1.21844111117988));
#1608 = CARTESIAN_POINT('', (10.9125, -1.20216844317107, 0.90874759968529));
#1609 = CARTESIAN_POINT('', (10.628125, 0.90332360973813, 0.0268939094079604));
#1610 = CARTESIAN_POINT('', (10.628125, 0.726390931516691, 0.673613940675202));
#1611 = CARTESIAN_POINT('', (10.628125, 0.127433265485097, 0.974947121335576));
#1612 = CARTESIAN_POINT('', (10.628125, -0.471524400546498, 1.27628030199595));
#1613 = CARTESIAN_POINT('', (10.628125, -1.09627185961121, 1.03288230722793));
#1614 = CARTESIAN_POINT('', (10.34375, 0.900925361320702, -0.0709519703345681));
#1615 = CARTESIAN_POINT('', (10.34375, 0.794970160761495, 0.591102849330416));
#1616 = CARTESIAN_POINT('', (10.34375, 0.232118103616066, 0.955438752768899));
#1617 = CARTESIAN_POINT('', (10.34375, -0.330733953529363, 1.31977465620738));
#1618 = CARTESIAN_POINT('', (10.34375, -0.978133021617815, 1.14536841949155));
#1619 = CARTESIAN_POINT('', (10.059375, 0.888407943468566, -0.168040727117878));
#1620 = CARTESIAN_POINT('', (10.059375, 0.854649012883945, 0.501919641429995));
#1621 = CARTESIAN_POINT('', (10.059375, 0.334238556323799, 0.925192033066729));
#1622 = CARTESIAN_POINT('', (10.059375, -0.186171900236349, 1.34846442470346));
#1623 = CARTESIAN_POINT('', (10.059375, -0.848960906043414, 1.24503669824531));
#1624 = CARTESIAN_POINT('', (9.775, 0.865916905236161, -0.263420848254601));
#1625 = CARTESIAN_POINT('', (9.775, 0.904861492613331, 0.406954845989583));
#1626 = CARTESIAN_POINT('', (9.775, 0.43279775624424, 0.884527961988172));
#1627 = CARTESIAN_POINT('', (9.775, -0.0392659801248517, 1.36210107798676));
#1628 = CARTESIAN_POINT('', (9.775, -0.710048412549697, 1.33093730623883));
#1629 = CARTESIAN_POINT('', (9.490625, 0.833551364966254, -0.355962620343493));
#1630 = CARTESIAN_POINT('', (9.490625, 0.94487476623915, 0.307212632302422));
#1631 = CARTESIAN_POINT('', (9.490625, 0.526599389195582, 0.833748504159221));
#1632 = CARTESIAN_POINT('', (9.490625, 0.108324012152013, 1.36028437601602));
#1633 = CARTESIAN_POINT('', (9.490625, -0.562843733235209, 1.40185567554793));
#1634 = CARTESIAN_POINT('', (9.20625, 0.792013209064945, -0.445273784293181));
#1635 = CARTESIAN_POINT('', (9.20625, 0.97498544354775, 0.203522998510808));
#1636 = CARTESIAN_POINT('', (9.20625, 0.615343577368629, 0.773675462383092));
#1637 = CARTESIAN_POINT('', (9.20625, 0.255701711189508, 1.34382792625538));
#1638 = CARTESIAN_POINT('', (9.20625, -0.408636330934729, 1.45815670546241));
#1639 = CARTESIAN_POINT('', (8.921875, 0.740178139069012, -0.5283179269719));
#1640 = CARTESIAN_POINT('', (8.921875, 0.992075665655023, 0.0975820491367586));
#1641 = CARTESIAN_POINT('', (8.921875, 0.695574236858629, 0.703626640495073));
#1642 = CARTESIAN_POINT('', (8.921875, 0.399072808062235, 1.30967123185339));
#1643 = CARTESIAN_POINT('', (8.921875, -0.249679654395813, 1.49493695034331));
#1644 = CARTESIAN_POINT('', (8.6375, 0.684151897193723, -0.612070285960293));
#1645 = CARTESIAN_POINT('', (8.6375, 1.00621636558334, -0.0119659680623695));
#1646 = CARTESIAN_POINT('', (8.6375, 0.775840331282442, 0.628953369279397));
#1647 = CARTESIAN_POINT('', (8.6375, 0.545464296981546, 1.26987270662116));
#1648 = CARTESIAN_POINT('', (8.6375, -0.0849489935033517, 1.52761249272106));
#1649 = CARTESIAN_POINT('', (8.353125, 0.593291133914675, -0.657241113631147));
#1650 = CARTESIAN_POINT('', (8.353125, 0.963775499147633, -0.114781121542278));
#1651 = CARTESIAN_POINT('', (8.353125, 0.808636437475523, 0.52353962811468));
#1652 = CARTESIAN_POINT('', (8.353125, 0.653497375803413, 1.16186037777164));
#1653 = CARTESIAN_POINT('', (8.353125, 0.0753657738570989, 1.47376638722017));
#1654 = CARTESIAN_POINT('', (8.140625, 0.58732016216918, -0.763924798187499));
#1655 = CARTESIAN_POINT('', (8.140625, 1.03577825702501, -0.207165097293045));
#1656 = CARTESIAN_POINT('', (8.140625, 0.922196023587279, 0.49866427559328));
#1657 = CARTESIAN_POINT('', (8.140625, 0.808613790149544, 1.20449364847961));
#1658 = CARTESIAN_POINT('', (8.140625, 0.208130559529226, 1.59245745752059));
#1659 = CARTESIAN_POINT('', (8.02291666666667, 0.593636154991937, -0.853100853722404));
#1660 = CARTESIAN_POINT('', (8.02291666666667, 1.10529993494146, -0.276234306012422));
#1661 = CARTESIAN_POINT('', (8.02291666666667, 1.01907629240639, 0.490016515225017));
#1662 = CARTESIAN_POINT('', (8.02291666666667, 0.932852649871311, 1.25626733646246));
#1663 = CARTESIAN_POINT('', (8.02291666666667, 0.305782079918063, 1.70499591575909));
#1664 = CARTESIAN_POINT('', (8., 0.595143166048244, -0.871635965141468));
#1665 = CARTESIAN_POINT('', (8., 1.11991027878844, -0.290450166550753));
#1666 = CARTESIAN_POINT('', (8., 1.03924632681276, 0.488427732704885));
#1667 = CARTESIAN_POINT('', (8., 0.958582374837085, 1.26730563196052));
#1668 = CARTESIAN_POINT('', (8., 0.32584988864678, 1.72861578361193));
#1669 = ADVANCED_FACE('', (#1670), #1749, .T.);
#1670 = FACE_OUTER_BOUND('', #1671, .T.);
#1671 = EDGE_LOOP('', (#1672, #1673, #1742, #1748));
#1672 = ORIENTED_EDGE('', *, *, #1017, .T.);
#1673 = ORIENTED_EDGE('', *, *, #1674, .T.);
#1674 = EDGE_CURVE('', #1009, #1675, #1677, .T.);
#1675 = VERTEX_POINT('', #1676);
#1676 = CARTESIAN_POINT('', (10.5, -1.49972769236745, 0.0285805658832111));
#1677 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#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), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.490805288228868, 0.525579510272702, 0.613177988220516, 0.744697875807143, 0.832369468875036, 0.890798609607447, 0.949220298556775, 0.998883213566866, 1.08640932324847, 1.17391861352333, 1.23229858139158, 1.36372091673246, 1.49513652129982, 1.55351467174889, 1.75038315774935, 1.88169593019546, 2.07866494235829, 2.20997184000717, 2.50513559108683, 2.8002446850122, 3.09525204961758, 3.37025424657621), .UNSPECIFIED.);
#1678 = CARTESIAN_POINT('', (8., -0.845825755361967, 1.23878117178393));
#1679 = CARTESIAN_POINT('', (8.01006605341431, -0.850572462288715, 1.23554017404902));
#1680 = CARTESIAN_POINT('', (8.02013348614003, -0.855298982329977, 1.23227295436308));
#1681 = CARTESIAN_POINT('', (8.03020212531759, -0.860004422153006, 1.22898022517747));
#1682 = CARTESIAN_POINT('', (8.05556566805477, -0.871857724465644, 1.22068563084866));
#1683 = CARTESIAN_POINT('', (8.08094141109788, -0.883574767023097, 1.21223099523701));
#1684 = CARTESIAN_POINT('', (8.10632360244828, -0.895157170856821, 1.20361689896064));
#1685 = CARTESIAN_POINT('', (8.14443228916653, -0.912546930198322, 1.19068374075435));
#1686 = CARTESIAN_POINT('', (8.18255321590306, -0.929644018371623, 1.17738439099));
#1687 = CARTESIAN_POINT('', (8.22063125778653, -0.946498443895271, 1.16367551134499));
#1688 = CARTESIAN_POINT('', (8.24601420673888, -0.957733659823577, 1.1545371267272));
#1689 = CARTESIAN_POINT('', (8.27137968543624, -0.968861701914346, 1.14521579321486));
#1690 = CARTESIAN_POINT('', (8.29671392674707, -0.979891195078597, 1.13569945223525));
#1691 = CARTESIAN_POINT('', (8.31359804963227, -0.987241852067367, 1.12935724255366));
#1692 = CARTESIAN_POINT('', (8.33046888229754, -0.994548843616555, 1.12292824804965));
#1693 = CARTESIAN_POINT('', (8.3473234597328, -1.00181276068792, 1.11640995719442));
#1694 = CARTESIAN_POINT('', (8.36417588761301, -1.0090757513528, 1.10989249765194));
#1695 = CARTESIAN_POINT('', (8.38101065582442, -1.01629799303252, 1.10328330776398));
#1696 = CARTESIAN_POINT('', (8.39785003838974, -1.02344861484293, 1.09660974497589));
#1697 = CARTESIAN_POINT('', (8.41216480470692, -1.02952719164594, 1.0909367049197));
#1698 = CARTESIAN_POINT('', (8.4264833124412, -1.03555405917843, 1.08521723586449));
#1699 = CARTESIAN_POINT('', (8.44081462486736, -1.04151704807261, 1.07946386626608));
#1700 = CARTESIAN_POINT('', (8.46607218421599, -1.05202624230491, 1.0693241058753));
#1701 = CARTESIAN_POINT('', (8.49137353547846, -1.06233406035412, 1.05908196889483));
#1702 = CARTESIAN_POINT('', (8.51672959159616, -1.07242432683662, 1.04876406460606));
#1703 = CARTESIAN_POINT('', (8.54208077518128, -1.08251265432862, 1.0384481430517));
#1704 = CARTESIAN_POINT('', (8.5674879976512, -1.09238471702966, 1.02805642026755));
#1705 = CARTESIAN_POINT('', (8.59291439820186, -1.10208261846781, 1.01755289890558));
#1706 = CARTESIAN_POINT('', (8.60987708230648, -1.10855236782322, 1.01054569729659));
#1707 = CARTESIAN_POINT('', (8.62684754437866, -1.11494637402426, 1.00348678847174));
#1708 = CARTESIAN_POINT('', (8.64380453691813, -1.12128803098824, 0.99634991421815));
#1709 = CARTESIAN_POINT('', (8.68197734929318, -1.13556408146532, 0.980283706652611));
#1710 = CARTESIAN_POINT('', (8.72008693778266, -1.14957319262603, 0.963822506489388));
#1711 = CARTESIAN_POINT('', (8.7581230131257, -1.16329386521823, 0.946967466783117));
#1712 = CARTESIAN_POINT('', (8.79615714045733, -1.17701383510842, 0.930113290304963));
#1713 = CARTESIAN_POINT('', (8.83412236032341, -1.19044568964724, 0.912862397585628));
#1714 = CARTESIAN_POINT('', (8.87207231098137, -1.2035047373066, 0.89530796225688));
#1715 = CARTESIAN_POINT('', (8.88893064326497, -1.2093058980705, 0.887509836075107));
#1716 = CARTESIAN_POINT('', (8.9057874754796, -1.21503300946649, 0.879652803410813));
#1717 = CARTESIAN_POINT('', (8.9226516079462, -1.22067568559757, 0.871751610604137));
#1718 = CARTESIAN_POINT('', (8.97952247831243, -1.23970446774246, 0.845106438506661));
#1719 = CARTESIAN_POINT('', (9.03649210378537, -1.2577721812086, 0.817964683454222));
#1720 = CARTESIAN_POINT('', (9.09349449357418, -1.27490276987622, 0.790330897385361));
#1721 = CARTESIAN_POINT('', (9.13151551964742, -1.28632900236918, 0.77189895261043));
#1722 = CARTESIAN_POINT('', (9.16955534151715, -1.29734138919438, 0.753243251194642));
#1723 = CARTESIAN_POINT('', (9.20757925785596, -1.30795561960364, 0.734337863076159));
#1724 = CARTESIAN_POINT('', (9.26461508994068, -1.32387695337517, 0.705979801991274));
#1725 = CARTESIAN_POINT('', (9.32162494235097, -1.33890565520469, 0.677048423329622));
#1726 = CARTESIAN_POINT('', (9.37861470956351, -1.35298212786941, 0.64764138353411));
#1727 = CARTESIAN_POINT('', (9.41660621618804, -1.36236603011447, 0.628037552849342));
#1728 = CARTESIAN_POINT('', (9.45459468087044, -1.37132804298636, 0.608220189412352));
#1729 = CARTESIAN_POINT('', (9.49258575988737, -1.37985135321978, 0.588226353555796));
#1730 = CARTESIAN_POINT('', (9.57798561009312, -1.39901083581481, 0.543282365878375));
#1731 = CARTESIAN_POINT('', (9.66343674518633, -1.41596095549366, 0.497430925046039));
#1732 = CARTESIAN_POINT('', (9.74886056822271, -1.4306340101814, 0.450872852268028));
#1733 = CARTESIAN_POINT('', (9.83426857284285, -1.44530434777596, 0.404323400913743));
#1734 = CARTESIAN_POINT('', (9.9196935459803, -1.45770822599186, 0.357029868489717));
#1735 = CARTESIAN_POINT('', (10.0050925996148, -1.46777393550867, 0.309256647853255));
#1736 = CARTESIAN_POINT('', (10.0904622146862, -1.47783617519753, 0.261499895490218));
#1737 = CARTESIAN_POINT('', (10.1758587735408, -1.48556717076924, 0.213240838751118));
#1738 = CARTESIAN_POINT('', (10.2612312109126, -1.49092660996237, 0.164735678303889));
#1739 = CARTESIAN_POINT('', (10.3408143354503, -1.49592261253522, 0.119519770881843));
#1740 = CARTESIAN_POINT('', (10.4204175703405, -1.49886089533989, 0.0740646025258353));
#1741 = CARTESIAN_POINT('', (10.5, -1.49972769236746, 0.0285805658832111));
#1742 = ORIENTED_EDGE('', *, *, #1743, .F.);
#1743 = EDGE_CURVE('', #1394, #1675, #1744, .T.);
#1744 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#1745, #1746, #1747), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.371430100979267, 0.496644684038629), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.853672836468915, 0.84948325983672, 0.992243523563844))
   REPRESENTATION_ITEM ('')
);
#1745 = CARTESIAN_POINT('', (10.5, -1.03527248675051, 1.08545422666154));
#1746 = CARTESIAN_POINT('', (10.5, -1.48781209269968, 0.653836023243583));
#1747 = CARTESIAN_POINT('', (10.5, -1.49972769236745, 0.028580565883211));
#1748 = ORIENTED_EDGE('', *, *, #1393, .T.);
#1749 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 1, ((#1750, #1751), (#1752, #1753), (#1754, #1755), (#1756, #1757), (#1758, #1759), (#1760, #1761), (#1762, #1763), (#1764, #1765), (#1766, #1767)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((3, 2, 2, 2, 3), (2, 2), (1.56655301706976, 2.35619449019235, 4.71238898038469, 7.06858347057704, 9.39315485284523), (0.285714285714285, 1.), .UNSPECIFIED.)
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((0.869475485128251, 0.869475485128251), (0.901841450807997, 0.901841450807997), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.707106781186548, 0.707106781186548), (1., 1.), (0.711037778354796, 0.711037778354796), (0.992243523563844, 0.992243523563844)))
   REPRESENTATION_ITEM ('')
   SURFACE ()
);
#1750 = CARTESIAN_POINT('', (8., 0.737391151565454, 1.30623668972854));
#1751 = CARTESIAN_POINT('', (10.5, 0.737391151565454, 1.30623668972854));
#1752 = CARTESIAN_POINT('', (8., 0.394153041828834, 1.5));
#1753 = CARTESIAN_POINT('', (10.5, 0.394153041828834, 1.5));
#1754 = CARTESIAN_POINT('', (8., 9.18485099360515E-17, 1.5));
#1755 = CARTESIAN_POINT('', (10.5, 9.18485099360515E-17, 1.5));
#1756 = CARTESIAN_POINT('', (8., -1.5, 1.5));
#1757 = CARTESIAN_POINT('', (10.5, -1.5, 1.5));
#1758 = CARTESIAN_POINT('', (8., -1.5, 1.83697019872103E-16));
#1759 = CARTESIAN_POINT('', (10.5, -1.5, 1.83697019872103E-16));
#1760 = CARTESIAN_POINT('', (8., -1.5, -1.5));
#1761 = CARTESIAN_POINT('', (10.5, -1.5, -1.5));
#1762 = CARTESIAN_POINT('', (8., -2.75545529808154E-16, -1.5));
#1763 = CARTESIAN_POINT('', (10.5, -2.75545529808154E-16, -1.5));
#1764 = CARTESIAN_POINT('', (8., 1.47168660177971, -1.5));
#1765 = CARTESIAN_POINT('', (10.5, 1.47168660177971, -1.5));
#1766 = CARTESIAN_POINT('', (8., 1.49972769236745, -0.0285805658832114));
#1767 = CARTESIAN_POINT('', (10.5, 1.49972769236745, -0.0285805658832114));
#1768 = ADVANCED_FACE('', (#1769), #1838, .T.);
#1769 = FACE_OUTER_BOUND('', #1770, .T.);
#1770 = EDGE_LOOP('', (#1771, #1772, #1794, #1837));
#1771 = ORIENTED_EDGE('', *, *, #1008, .F.);
#1772 = ORIENTED_EDGE('', *, *, #1773, .F.);
#1773 = EDGE_CURVE('', #1774, #958, #1776, .T.);
#1774 = VERTEX_POINT('', #1775);
#1775 = CARTESIAN_POINT('', (11.6953378326274, -0.82122556678327, -0.383087502212203));
#1776 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (3, (#1777, #1778, #1779, #1780, #1781, #1782, #1783, #1784, #1785, #1786, #1787, #1788, #1789, #1790, #1791, #1792, #1793), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4), (0.354662167372621, 0.56875, 0.853125, 1.1375, 1.421875, 1.70625, 1.990625, 2.275, 2.559375, 2.84375, 3.128125, 3.4125, 3.696875, 3.98125, 4.05000000000001), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 1., 1., 1., 1., 1., 1., 1., 1., 1., 1., 1., 1., 1., 1., 1., 1.))
   REPRESENTATION_ITEM ('')
);
#1777 = CARTESIAN_POINT('', (11.6953378326274, -0.821225566783271, -0.383087502212205));
#1778 = CARTESIAN_POINT('', (11.6239752217516, -0.831195199673807, -0.360544589204407));
#1779 = CARTESIAN_POINT('', (11.4578209442091, -0.852340913890922, -0.307197014202377));
#1780 = CARTESIAN_POINT('', (11.196875, -0.877776775556579, -0.22083619800178));
#1781 = CARTESIAN_POINT('', (10.9125, -0.895585829051523, -0.124487920902163));
#1782 = CARTESIAN_POINT('', (10.628125, -0.90332360973813, -0.0268939094079603));
#1783 = CARTESIAN_POINT('', (10.34375, -0.900925361320702, 0.0709519703345682));
#1784 = CARTESIAN_POINT('', (10.059375, -0.888407943468566, 0.168040727117879));
#1785 = CARTESIAN_POINT('', (9.775, -0.865916905236161, 0.263420848254601));
#1786 = CARTESIAN_POINT('', (9.490625, -0.833551364966254, 0.355962620343493));
#1787 = CARTESIAN_POINT('', (9.20625, -0.792013209064945, 0.445273784293181));
#1788 = CARTESIAN_POINT('', (8.921875, -0.740178139069011, 0.5283179269719));
#1789 = CARTESIAN_POINT('', (8.6375, -0.684151897193723, 0.612070285960293));
#1790 = CARTESIAN_POINT('', (8.353125, -0.593291133914675, 0.657241113631147));
#1791 = CARTESIAN_POINT('', (8.140625, -0.58732016216918, 0.7639247981875));
#1792 = CARTESIAN_POINT('', (8.02291666666667, -0.593636154991938, 0.853100853722407));
#1793 = CARTESIAN_POINT('', (7.99999999999999, -0.595143166048245, 0.871635965141472));
#1794 = ORIENTED_EDGE('', *, *, #1795, .T.);
#1795 = EDGE_CURVE('', #1774, #1675, #1796, .T.);
#1796 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#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), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0., 0.131885323883705, 0.263721053597484, 0.395495954118821, 0.527194335115711, 0.658797736557154, 0.790287683740051, 0.921647947017404, 1.05286419687466, 1.18392508679086, 1.31482157708228, 1.44554627350652, 1.47146662562633, 1.51475894537902), .UNSPECIFIED.);
#1797 = CARTESIAN_POINT('', (11.6953378326274, -0.82122556678327, -0.383087502212202));
#1798 = CARTESIAN_POINT('', (11.6693393199063, -0.856100304484462, -0.389448919899914));
#1799 = CARTESIAN_POINT('', (11.6419434825469, -0.890375423574712, -0.393864602866678));
#1800 = CARTESIAN_POINT('', (11.6134097967553, -0.923731480641748, -0.396281183203013));
#1801 = CARTESIAN_POINT('', (11.5848868407736, -0.957074994493864, -0.398696854808245));
#1802 = CARTESIAN_POINT('', (11.5551383673005, -0.989603511060409, -0.39912291484037));
#1803 = CARTESIAN_POINT('', (11.5244345856391, -1.02100609240145, -0.397593182820774));
#1804 = CARTESIAN_POINT('', (11.4937449707461, -1.05239418454698, -0.396064156621699));
#1805 = CARTESIAN_POINT('', (11.4620074345289, -1.08275300222238, -0.392577425231698));
#1806 = CARTESIAN_POINT('', (11.4294892636473, -1.1117965643841, -0.387244248747597));
#1807 = CARTESIAN_POINT('', (11.3969899755345, -1.1408232614254, -0.381914169151648));
#1808 = CARTESIAN_POINT('', (11.3636157592028, -1.16862137353775, -0.374725323917069));
#1809 = CARTESIAN_POINT('', (11.3296200678691, -1.19494072343687, -0.365851350224463));
#1810 = CARTESIAN_POINT('', (11.295648893888, -1.22124109208402, -0.356983776352949));
#1811 = CARTESIAN_POINT('', (11.2609629484559, -1.24613795873047, -0.346410107830733));
#1812 = CARTESIAN_POINT('', (11.225794987828, -1.26942191035712, -0.334349591219963));
#1813 = CARTESIAN_POINT('', (11.1906573452227, -1.29268578907199, -0.322299471885818));
#1814 = CARTESIAN_POINT('', (11.1549472338575, -1.31440023653094, -0.308734848092122));
#1815 = CARTESIAN_POINT('', (11.118873936196, -1.33439681005552, -0.293905094224213));
#1816 = CARTESIAN_POINT('', (11.0828362163579, -1.35437366166365, -0.279089966420434));
#1817 = CARTESIAN_POINT('', (11.046348683677, -1.37268473772653, -0.262977197719045));
#1818 = CARTESIAN_POINT('', (11.0095975467898, -1.38919975743562, -0.245834038014796));
#1819 = CARTESIAN_POINT('', (10.9728867010589, -1.40569667133089, -0.228709672769379));
#1820 = CARTESIAN_POINT('', (10.9358296991073, -1.42043910609987, -0.210519114301265));
#1821 = CARTESIAN_POINT('', (10.8985923020547, -1.43333078313006, -0.191538619800534));
#1822 = CARTESIAN_POINT('', (10.8613989940521, -1.44620719642436, -0.172580598191004));
#1823 = CARTESIAN_POINT('', (10.8239465311562, -1.45726489971869, -0.152794658816196));
#1824 = CARTESIAN_POINT('', (10.7863840994457, -1.46643731041388, -0.132460417525194));
#1825 = CARTESIAN_POINT('', (10.7488687851451, -1.47559821545793, -0.112151683016883));
#1826 = CARTESIAN_POINT('', (10.7111678469483, -1.48289728981234, -0.0912553229574352));
#1827 = CARTESIAN_POINT('', (10.6734182708737, -1.48829396303771, -0.070051287730321));
#1828 = CARTESIAN_POINT('', (10.6357182388751, -1.49368355345008, -0.0488750815397485));
#1829 = CARTESIAN_POINT('', (10.5978961651291, -1.49718637338303, -0.0273509783266038));
#1830 = CARTESIAN_POINT('', (10.560081415396, -1.49878519805481, -0.00575791767212294));
#1831 = CARTESIAN_POINT('', (10.5525834318075, -1.49910221618225, -0.00147640277234962));
#1832 = CARTESIAN_POINT('', (10.5450840207522, -1.49934458794366, 0.00280879068204986));
#1833 = CARTESIAN_POINT('', (10.5375841732188, -1.49951228202386, 0.00709549033269832));
#1834 = CARTESIAN_POINT('', (10.5250578851494, -1.49979236563179, 0.0142551605062262));
#1835 = CARTESIAN_POINT('', (10.5125282926086, -1.49986414820124, 0.0214202250577486));
#1836 = CARTESIAN_POINT('', (10.5, -1.49972769236746, 0.0285805658832132));
#1837 = ORIENTED_EDGE('', *, *, #1674, .F.);
#1838 = B_SPLINE_SURFACE_WITH_KNOTS('', 3, 1, ((#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)), .UNSPECIFIED., .F., .F., .U., (4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4), (2, 2), (0.354662167372023, 0.56875, 0.853125, 1.1375, 1.421875, 1.70625, 1.990625, 2.275, 2.559375, 2.84375, 3.128125, 3.4125, 3.696875, 3.98125, 4.05000000000007), (0., 1.), .UNSPECIFIED.);
#1839 = CARTESIAN_POINT('', (11.695337832628, -1.36870927797198, -0.638479170353988));
#1840 = CARTESIAN_POINT('', (11.695337832628, -0.821225566783188, -0.383087502212393));
#1841 = CARTESIAN_POINT('', (11.623975221752, -1.38532533278959, -0.600907648674224));
#1842 = CARTESIAN_POINT('', (11.623975221752, -0.831195199673756, -0.360544589204534));
#1843 = CARTESIAN_POINT('', (11.4578209442093, -1.42056818981817, -0.511995023670737));
#1844 = CARTESIAN_POINT('', (11.4578209442093, -0.852340913890903, -0.307197014202442));
#1845 = CARTESIAN_POINT('', (11.196875, -1.4629612925943, -0.368060330002967));
#1846 = CARTESIAN_POINT('', (11.196875, -0.877776775556579, -0.22083619800178));
#1847 = CARTESIAN_POINT('', (10.9125, -1.4926430484192, -0.207479868170271));
#1848 = CARTESIAN_POINT('', (10.9125, -0.895585829051523, -0.124487920902163));
#1849 = CARTESIAN_POINT('', (10.628125, -1.50553934956355, -0.0448231823466002));
#1850 = CARTESIAN_POINT('', (10.628125, -0.903323609738129, -0.0268939094079599));
#1851 = CARTESIAN_POINT('', (10.34375, -1.50154226886784, 0.118253283890948));
#1852 = CARTESIAN_POINT('', (10.34375, -0.900925361320702, 0.0709519703345686));
#1853 = CARTESIAN_POINT('', (10.059375, -1.48067990578094, 0.280067878529798));
#1854 = CARTESIAN_POINT('', (10.059375, -0.888407943468566, 0.168040727117879));
#1855 = CARTESIAN_POINT('', (9.775, -1.44319484206027, 0.439034747091002));
#1856 = CARTESIAN_POINT('', (9.775, -0.865916905236161, 0.263420848254601));
#1857 = CARTESIAN_POINT('', (9.490625, -1.38925227494376, 0.593271033905822));
#1858 = CARTESIAN_POINT('', (9.490625, -0.833551364966254, 0.355962620343493));
#1859 = CARTESIAN_POINT('', (9.20625, -1.32002201510824, 0.742122973821969));
#1860 = CARTESIAN_POINT('', (9.20625, -0.792013209064945, 0.445273784293181));
#1861 = CARTESIAN_POINT('', (8.921875, -1.23363023178169, 0.880529878286501));
#1862 = CARTESIAN_POINT('', (8.921875, -0.740178139069011, 0.528317926971901));
#1863 = CARTESIAN_POINT('', (8.6375, -1.14025316198954, 1.02011714326716));
#1864 = CARTESIAN_POINT('', (8.6375, -0.684151897193723, 0.612070285960293));
#1865 = CARTESIAN_POINT('', (8.353125, -0.988818556524458, 1.09540185605191));
#1866 = CARTESIAN_POINT('', (8.353125, -0.593291133914674, 0.657241113631147));
#1867 = CARTESIAN_POINT('', (8.14062499999998, -0.978866936948632, 1.27320799697919));
#1868 = CARTESIAN_POINT('', (8.14062499999998, -0.587320162169179, 0.763924798187511));
#1869 = CARTESIAN_POINT('', (8.02291666666662, -0.989393591653232, 1.42183475620406));
#1870 = CARTESIAN_POINT('', (8.02291666666662, -0.593636154991939, 0.853100853722438));
#1871 = CARTESIAN_POINT('', (7.99999999999993, -0.99190527674708, 1.4527266085692));
#1872 = CARTESIAN_POINT('', (7.99999999999993, -0.595143166048248, 0.871635965141522));
#1873 = ADVANCED_FACE('', (#1874), #1967, .T.);
#1874 = FACE_OUTER_BOUND('', #1875, .T.);
#1875 = EDGE_LOOP('', (#1876, #1877, #1878, #1966));
#1876 = ORIENTED_EDGE('', *, *, #957, .F.);
#1877 = ORIENTED_EDGE('', *, *, #1162, .T.);
#1878 = ORIENTED_EDGE('', *, *, #1879, .F.);
#1879 = EDGE_CURVE('', #1774, #1155, #1880, .T.);
#1880 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#1881, #1882, #1883, #1884, #1885, #1886, #1887, #1888, #1889, #1890, #1891, #1892, #1893, #1894, #1895, #1896, #1897, #1898, #1899, #1900, #1901, #1902, #1903, #1904, #1905, #1906, #1907, #1908, #1909, #1910, #1911, #1912, #1913, #1914, #1915, #1916, #1917, #1918, #1919, #1920, #1921, #1922, #1923, #1924, #1925, #1926, #1927, #1928, #1929, #1930, #1931, #1932, #1933, #1934, #1935, #1936, #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), .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, 4), (0., 0.13135573678579, 0.262491538374165, 0.393412967610443, 0.52413440000681, 0.654677161088247, 0.785065540418653, 0.915322114663295, 0.973494970126117, 0.990776243383812, 1.0080800731175, 1.14145253920742, 1.22972786473192, 1.2557292884025, 1.38942688905165, 1.52261250325612, 1.65531258306448, 1.78756058249204, 1.91940317954913, 2.050910826516, 2.18218962771232, 2.26961865319174, 2.3570315091579, 2.44444347304882, 2.53185563855674, 2.61925724185318, 2.70663525518077, 2.79398169375211, 2.83552121928146), .UNSPECIFIED.);
#1881 = CARTESIAN_POINT('', (11.6953378326274, -0.82122556678327, -0.383087502212203));
#1882 = CARTESIAN_POINT('', (11.7025644844496, -0.794780706829525, -0.417228278672399));
#1883 = CARTESIAN_POINT('', (11.7089505404637, -0.766569520701912, -0.450252049828973));
#1884 = CARTESIAN_POINT('', (11.7144373725444, -0.736821772278426, -0.48190823199437));
#1885 = CARTESIAN_POINT('', (11.7199150177595, -0.707123831933994, -0.51351141069875));
#1886 = CARTESIAN_POINT('', (11.7245106835889, -0.675817602485485, -0.543833510469337));
#1887 = CARTESIAN_POINT('', (11.7281697798077, -0.643162917503006, -0.572660853836046));
#1888 = CARTESIAN_POINT('', (11.7318228943719, -0.610561614293788, -0.601441072120761));
#1889 = CARTESIAN_POINT('', (11.734551843082, -0.576533464215537, -0.628804741206614));
#1890 = CARTESIAN_POINT('', (11.7363062914999, -0.541361485754675, -0.654579632542411));
#1891 = CARTESIAN_POINT('', (11.7380580598054, -0.506243236347846, -0.680315149905237));
#1892 = CARTESIAN_POINT('', (11.7388427067188, -0.469897815000758, -0.704530672472568));
#1893 = CARTESIAN_POINT('', (11.7386138754634, -0.432624165806589, -0.727098341814687));
#1894 = CARTESIAN_POINT('', (11.7383853569768, -0.395401462595735, -0.749635165448629));
#1895 = CARTESIAN_POINT('', (11.737145662839, -0.357164098629539, -0.770582835160045));
#1896 = CARTESIAN_POINT('', (11.7348516145111, -0.318219920904584, -0.789859210289347));
#1897 = CARTESIAN_POINT('', (11.7325602791577, -0.279321799125587, -0.809112788899552));
#1898 = CARTESIAN_POINT('', (11.7292119145541, -0.239629219395639, -0.826743564060273));
#1899 = CARTESIAN_POINT('', (11.7247652008259, -0.199452735630252, -0.842715141133425));
#1900 = CARTESIAN_POINT('', (11.7203229821262, -0.159316864877432, -0.858670573093823));
#1901 = CARTESIAN_POINT('', (11.7147749969772, -0.118609946945414, -0.873005489353803));
#1902 = CARTESIAN_POINT('', (11.7080799680379, -0.0776404218712851, -0.885728375811226));
#1903 = CARTESIAN_POINT('', (11.7050899542665, -0.0593433472373283, -0.891410443217417));
#1904 = CARTESIAN_POINT('', (11.7018692926027, -0.0409813801842721, -0.896775746209411));
#1905 = CARTESIAN_POINT('', (11.6984141834408, -0.0225817264084617, -0.901827871913682));
#1906 = CARTESIAN_POINT('', (11.697387782294, -0.0171157845663947, -0.903328695006053));
#1907 = CARTESIAN_POINT('', (11.6963406129069, -0.011646082069183, -0.904802016560253));
#1908 = CARTESIAN_POINT('', (11.6952725735077, -0.00617332875341306, -0.906247960015618));
#1909 = CARTESIAN_POINT('', (11.6942031400442, -0.000693432096585109, -0.90769579079655));
#1910 = CARTESIAN_POINT('', (11.6931127434916, 0.00478972096712515, -0.909116224176184));
#1911 = CARTESIAN_POINT('', (11.6920012804961, 0.0102754193906742, -0.910509397563831));
#1912 = CARTESIAN_POINT('', (11.683434474017, 0.0525574539595774, -0.921247538961483));
#1913 = CARTESIAN_POINT('', (11.6736051344754, 0.0950406533922537, -0.930373436227122));
#1914 = CARTESIAN_POINT('', (11.6624628779053, 0.137402259402862, -0.937976906220557));
#1915 = CARTESIAN_POINT('', (11.6550881449141, 0.165440164601422, -0.943009420115394));
#1916 = CARTESIAN_POINT('', (11.6471301691926, 0.193456592511919, -0.94738205532535));
#1917 = CARTESIAN_POINT('', (11.6385725662547, 0.221358917818892, -0.951132346665873));
#1918 = CARTESIAN_POINT('', (11.636051931431, 0.229577524517765, -0.952236991859234));
#1919 = CARTESIAN_POINT('', (11.6334788603113, 0.237787615813476, -0.95328791156192));
#1920 = CARTESIAN_POINT('', (11.6308529047787, 0.245986827739213, -0.954286219292968));
#1921 = CARTESIAN_POINT('', (11.6173504151236, 0.288146633124237, -0.959419451612927));
#1922 = CARTESIAN_POINT('', (11.6024331592594, 0.330069165760212, -0.963162287296719));
#1923 = CARTESIAN_POINT('', (11.5860336567048, 0.371430365787914, -0.965696836421771));
#1924 = CARTESIAN_POINT('', (11.5696969550005, 0.412633175734962, -0.968221679652407));
#1925 = CARTESIAN_POINT('', (11.5518568158728, 0.453361837295923, -0.969552070591953));
#1926 = CARTESIAN_POINT('', (11.532434822731, 0.493281536700766, -0.969923534286339));
#1927 = CARTESIAN_POINT('', (11.5130836333752, 0.533055706971253, -0.970293643792425));
#1928 = CARTESIAN_POINT('', (11.4921216226692, 0.572110473305005, -0.969711752170783));
#1929 = CARTESIAN_POINT('', (11.4694623543795, 0.610079159336992, -0.968476206617224));
#1930 = CARTESIAN_POINT('', (11.4468802813005, 0.647918494293501, -0.967244870299298));
#1931 = CARTESIAN_POINT('', (11.4225587900714, 0.684768534164783, -0.965360354978077));
#1932 = CARTESIAN_POINT('', (11.3964166671724, 0.72019734788564, -0.963199324602163));
#1933 = CARTESIAN_POINT('', (11.3703546821857, 0.755517555615272, -0.961044918801598));
#1934 = CARTESIAN_POINT('', (11.3424056295514, 0.789527345362504, -0.958608737611334));
#1935 = CARTESIAN_POINT('', (11.3125322436366, 0.821682013551638, -0.956362913154116));
#1936 = CARTESIAN_POINT('', (11.2827347519588, 0.85375499183742, -0.954122794281599));
#1937 = CARTESIAN_POINT('', (11.250901239331, 0.884104620724645, -0.952065088617111));
#1938 = CARTESIAN_POINT('', (11.2171283646777, 0.912020143992985, -0.950760835081917));
#1939 = CARTESIAN_POINT('', (11.1834142605956, 0.939887089482164, -0.949458851170674));
#1940 = CARTESIAN_POINT('', (11.1475710202062, 0.96547303882297, -0.948909104035829));
#1941 = CARTESIAN_POINT('', (11.1099970985285, 0.98788809412056, -0.949726620286963));
#1942 = CARTESIAN_POINT('', (11.0849736269109, 1.00281606743291, -0.950271069569703));
#1943 = CARTESIAN_POINT('', (11.0590876218839, 1.0163954483142, -0.951425582295555));
#1944 = CARTESIAN_POINT('', (11.0325774185556, 1.02834731593499, -0.953343112973463));
#1945 = CARTESIAN_POINT('', (11.0060721181424, 1.04029697312417, -0.955260289014709));
#1946 = CARTESIAN_POINT('', (10.9788317940207, 1.05066555180887, -0.957951466462657));
#1947 = CARTESIAN_POINT('', (10.9512030068859, 1.05921243394869, -0.961501360553169));
#1948 = CARTESIAN_POINT('', (10.9235745017114, 1.06775922886494, -0.965051218415915));
#1949 = CARTESIAN_POINT('', (10.8954271944664, 1.07452185616942, -0.969478776447939));
#1950 = CARTESIAN_POINT('', (10.8671841174059, 1.07935555114988, -0.974765314384322));
#1951 = CARTESIAN_POINT('', (10.8389409752023, 1.08418925727934, -0.980051864514184));
#1952 = CARTESIAN_POINT('', (10.8104627624355, 1.08711756745349, -0.986223734800418));
#1953 = CARTESIAN_POINT('', (10.7821791288256, 1.08812866993844, -0.993152021048755));
#1954 = CARTESIAN_POINT('', (10.7538989127917, 1.08913965024958, -1.00007947013645));
#1955 = CARTESIAN_POINT('', (10.7256782241111, 1.08824141016699, -1.00779400405579));
#1956 = CARTESIAN_POINT('', (10.6978798227166, 1.08554657651167, -1.01608671184375));
#1957 = CARTESIAN_POINT('', (10.6700889241984, 1.08285247020047, -1.02437718140368));
#1958 = CARTESIAN_POINT('', (10.6426009732485, 1.07835532277938, -1.03327783504571));
#1959 = CARTESIAN_POINT('', (10.6156738265388, 1.07224671693681, -1.04254810146683));
#1960 = CARTESIAN_POINT('', (10.5887564101727, 1.06614031848868, -1.05181501800174));
#1961 = CARTESIAN_POINT('', (10.5623024365452, 1.05840540399993, -1.06148203862909));
#1962 = CARTESIAN_POINT('', (10.5364686670511, 1.04926182016107, -1.07131679211883));
#1963 = CARTESIAN_POINT('', (10.524182848133, 1.04491338717953, -1.07599392607351));
#1964 = CARTESIAN_POINT('', (10.5120231433561, 1.0402424407904, -1.0807140390502));
#1965 = CARTESIAN_POINT('', (10.5, 1.03527248675051, -1.08545422666154));
#1966 = ORIENTED_EDGE('', *, *, #1773, .T.);
#1967 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (3, 2, ((#1968, #1969, #1970, #1971, #1972), (#1973, #1974, #1975, #1976, #1977), (#1978, #1979, #1980, #1981, #1982), (#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, #2015, #2016, #2017), (#2018, #2019, #2020, #2021, #2022), (#2023, #2024, #2025, #2026, #2027), (#2028, #2029, #2030, #2031, #2032), (#2033, #2034, #2035, #2036, #2037), (#2038, #2039, #2040, #2041, #2042), (#2043, #2044, #2045, #2046, #2047), (#2048, #2049, #2050, #2051, #2052)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4), (3, 2, 3), (0.311157293281193, 0.56875, 0.853125, 1.1375, 1.421875, 1.70625, 1.990625, 2.275, 2.559375, 2.84375, 3.128125, 3.4125, 3.696875, 3.98125, 4.05000000000007), (0., 0.5, 1.), .UNSPECIFIED.)
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.), (1., 0.913572488074757, 1., 0.913572488074757, 1.)))
   REPRESENTATION_ITEM ('')
   SURFACE ()
);
#1968 = CARTESIAN_POINT('', (11.7388427067188, -0.815038018098849, -0.396784009624417));
#1969 = CARTESIAN_POINT('', (11.7388427067188, -0.386764828111574, -0.915330508768569));
#1970 = CARTESIAN_POINT('', (11.7388427067188, 0.285157197115671, -0.944126151686361));
#1971 = CARTESIAN_POINT('', (11.7388427067188, 0.957079222342917, -0.972921794604152));
#1972 = CARTESIAN_POINT('', (11.7388427067188, 1.42814595565726, -0.492917076084545));
#1973 = CARTESIAN_POINT('', (11.6529784711459, -0.827466381060827, -0.369844230678823));
#1974 = CARTESIAN_POINT('', (11.6529784711459, -0.416452676289288, -0.902051419478442));
#1975 = CARTESIAN_POINT('', (11.6529784711459, 0.254069450028619, -0.952813959191611));
#1976 = CARTESIAN_POINT('', (11.6529784711459, 0.924591576346526, -1.00357649890478));
#1977 = CARTESIAN_POINT('', (11.6529784711459, 1.41104408791287, -0.539312876260475));
#1978 = CARTESIAN_POINT('', (11.4723225689063, -0.850927359367813, -0.311996368907335));
#1979 = CARTESIAN_POINT('', (11.4723225689063, -0.477537689896847, -0.871210495283847));
#1980 = CARTESIAN_POINT('', (11.4723225689063, 0.187872990181135, -0.968003631635746));
#1981 = CARTESIAN_POINT('', (11.4723225689063, 0.853283670259119, -1.06479676798765));
#1982 = CARTESIAN_POINT('', (11.4723225689063, 1.37051875711017, -0.635136263243644));
#1983 = CARTESIAN_POINT('', (11.196875, -0.877776775556579, -0.22083619800178));
#1984 = CARTESIAN_POINT('', (11.196875, -0.565442579262668, -0.815310388163517));
#1985 = CARTESIAN_POINT('', (11.196875, 0.0853081818091668, -0.981068223294902));
#1986 = CARTESIAN_POINT('', (11.196875, 0.736058942881002, -1.14682605842629));
#1987 = CARTESIAN_POINT('', (11.196875, 1.29472780583772, -0.774211895376009));
#1988 = CARTESIAN_POINT('', (10.9125, -0.895585829051523, -0.124487920902163));
#1989 = CARTESIAN_POINT('', (10.9125, -0.64962501576497, -0.748607733412251));
#1990 = CARTESIAN_POINT('', (10.9125, -0.0212649189064311, -0.983524422296068));
#1991 = CARTESIAN_POINT('', (10.9125, 0.607095177952109, -1.21844111117988));
#1992 = CARTESIAN_POINT('', (10.9125, 1.20216844317107, -0.90874759968529));
#1993 = CARTESIAN_POINT('', (10.628125, -0.90332360973813, -0.0268939094079603));
#1994 = CARTESIAN_POINT('', (10.628125, -0.726390931516691, -0.673613940675202));
#1995 = CARTESIAN_POINT('', (10.628125, -0.127433265485097, -0.974947121335576));
#1996 = CARTESIAN_POINT('', (10.628125, 0.471524400546498, -1.27628030199595));
#1997 = CARTESIAN_POINT('', (10.628125, 1.09627185961121, -1.03288230722793));
#1998 = CARTESIAN_POINT('', (10.34375, -0.900925361320702, 0.0709519703345682));
#1999 = CARTESIAN_POINT('', (10.34375, -0.794970160761495, -0.591102849330416));
#2000 = CARTESIAN_POINT('', (10.34375, -0.232118103616066, -0.955438752768899));
#2001 = CARTESIAN_POINT('', (10.34375, 0.330733953529363, -1.31977465620738));
#2002 = CARTESIAN_POINT('', (10.34375, 0.978133021617815, -1.14536841949155));
#2003 = CARTESIAN_POINT('', (10.059375, -0.888407943468566, 0.168040727117879));
#2004 = CARTESIAN_POINT('', (10.059375, -0.854649012883945, -0.501919641429995));
#2005 = CARTESIAN_POINT('', (10.059375, -0.334238556323799, -0.925192033066729));
#2006 = CARTESIAN_POINT('', (10.059375, 0.186171900236348, -1.34846442470346));
#2007 = CARTESIAN_POINT('', (10.059375, 0.848960906043414, -1.24503669824531));
#2008 = CARTESIAN_POINT('', (9.775, -0.865916905236161, 0.263420848254601));
#2009 = CARTESIAN_POINT('', (9.775, -0.904861492613331, -0.406954845989582));
#2010 = CARTESIAN_POINT('', (9.775, -0.43279775624424, -0.884527961988172));
#2011 = CARTESIAN_POINT('', (9.775, 0.0392659801248516, -1.36210107798676));
#2012 = CARTESIAN_POINT('', (9.775, 0.710048412549696, -1.33093730623883));
#2013 = CARTESIAN_POINT('', (9.490625, -0.833551364966254, 0.355962620343493));
#2014 = CARTESIAN_POINT('', (9.490625, -0.94487476623915, -0.307212632302422));
#2015 = CARTESIAN_POINT('', (9.490625, -0.526599389195582, -0.833748504159221));
#2016 = CARTESIAN_POINT('', (9.490625, -0.108324012152013, -1.36028437601602));
#2017 = CARTESIAN_POINT('', (9.490625, 0.562843733235209, -1.40185567554793));
#2018 = CARTESIAN_POINT('', (9.20625, -0.792013209064945, 0.445273784293181));
#2019 = CARTESIAN_POINT('', (9.20625, -0.97498544354775, -0.203522998510808));
#2020 = CARTESIAN_POINT('', (9.20625, -0.61534357736863, -0.773675462383092));
#2021 = CARTESIAN_POINT('', (9.20625, -0.255701711189508, -1.34382792625538));
#2022 = CARTESIAN_POINT('', (9.20625, 0.408636330934729, -1.45815670546241));
#2023 = CARTESIAN_POINT('', (8.921875, -0.740178139069011, 0.5283179269719));
#2024 = CARTESIAN_POINT('', (8.921875, -0.992075665655023, -0.0975820491367585));
#2025 = CARTESIAN_POINT('', (8.921875, -0.695574236858629, -0.703626640495073));
#2026 = CARTESIAN_POINT('', (8.921875, -0.399072808062235, -1.30967123185339));
#2027 = CARTESIAN_POINT('', (8.921875, 0.249679654395813, -1.49493695034331));
#2028 = CARTESIAN_POINT('', (8.6375, -0.684151897193723, 0.612070285960293));
#2029 = CARTESIAN_POINT('', (8.6375, -1.00621636558334, 0.0119659680623696));
#2030 = CARTESIAN_POINT('', (8.6375, -0.775840331282443, -0.628953369279397));
#2031 = CARTESIAN_POINT('', (8.6375, -0.545464296981546, -1.26987270662116));
#2032 = CARTESIAN_POINT('', (8.6375, 0.0849489935033515, -1.52761249272106));
#2033 = CARTESIAN_POINT('', (8.353125, -0.593291133914675, 0.657241113631147));
#2034 = CARTESIAN_POINT('', (8.353125, -0.963775499147633, 0.114781121542278));
#2035 = CARTESIAN_POINT('', (8.353125, -0.808636437475523, -0.52353962811468));
#2036 = CARTESIAN_POINT('', (8.353125, -0.653497375803413, -1.16186037777164));
#2037 = CARTESIAN_POINT('', (8.353125, -0.0753657738570991, -1.47376638722017));
#2038 = CARTESIAN_POINT('', (8.14062499999998, -0.587320162169179, 0.76392479818751));
#2039 = CARTESIAN_POINT('', (8.14062499999998, -1.03577825702502, 0.207165097293054));
#2040 = CARTESIAN_POINT('', (8.14062499999998, -0.922196023587291, -0.498664275593277));
#2041 = CARTESIAN_POINT('', (8.14062499999998, -0.808613790149559, -1.20449364847961));
#2042 = CARTESIAN_POINT('', (8.14062499999998, -0.208130559529239, -1.59245745752061));
#2043 = CARTESIAN_POINT('', (8.02291666666662, -0.59363615499194, 0.853100853722436));
#2044 = CARTESIAN_POINT('', (8.02291666666662, -1.10529993494148, 0.276234306012447));
#2045 = CARTESIAN_POINT('', (8.02291666666662, -1.01907629240642, -0.490016515225014));
#2046 = CARTESIAN_POINT('', (8.02291666666662, -0.932852649871356, -1.25626733646247));
#2047 = CARTESIAN_POINT('', (8.02291666666662, -0.305782079918098, -1.70499591575913));
#2048 = CARTESIAN_POINT('', (7.99999999999994, -0.595143166048248, 0.871635965141519));
#2049 = CARTESIAN_POINT('', (7.99999999999993, -1.11991027878848, 0.290450166550792));
#2050 = CARTESIAN_POINT('', (7.99999999999994, -1.03924632681282, -0.48842773270488));
#2051 = CARTESIAN_POINT('', (7.99999999999993, -0.958582374837156, -1.26730563196055));
#2052 = CARTESIAN_POINT('', (7.99999999999994, -0.325849888646836, -1.728615783612));
#2053 = ADVANCED_FACE('', (#2054), #2072, .T.);
#2054 = FACE_OUTER_BOUND('', #2055, .T.);
#2055 = EDGE_LOOP('', (#2056, #2057, #2058, #2059, #2060, #2068, #2069, #2070, #2071));
#2056 = ORIENTED_EDGE('', *, *, #1795, .F.);
#2057 = ORIENTED_EDGE('', *, *, #1879, .T.);
#2058 = ORIENTED_EDGE('', *, *, #1154, .T.);
#2059 = ORIENTED_EDGE('', *, *, #1346, .F.);
#2060 = ORIENTED_EDGE('', *, *, #2061, .T.);
#2061 = EDGE_CURVE('', #1308, #2062, #2064, .T.);
#2062 = VERTEX_POINT('', #2063);
#2063 = CARTESIAN_POINT('', (12., -2.75545529808154E-16, 0.));
#2064 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#2065, #2066, #2067), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0.0234153898191494, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((0.986604757481619, 0.71396499008045, 1.))
   REPRESENTATION_ITEM ('')
);
#2065 = CARTESIAN_POINT('', (10.5500006558708, 1.49916641318184, 0.));
#2066 = CARTESIAN_POINT('', (12., 1.4508055924076, 0.));
#2067 = CARTESIAN_POINT('', (12., -2.75545529808154E-16, 0.));
#2068 = ORIENTED_EDGE('', *, *, #2061, .F.);
#2069 = ORIENTED_EDGE('', *, *, #1307, .F.);
#2070 = ORIENTED_EDGE('', *, *, #1495, .T.);
#2071 = ORIENTED_EDGE('', *, *, #1743, .T.);
#2072 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (2, 2, ((#2073, #2074, #2075), (#2076, #2077, #2078), (#2079, #2080, #2081), (#2082, #2083, #2084), (#2085, #2086, #2087), (#2088, #2089, #2090), (#2091, #2092, #2093), (#2094, #2095, #2096), (#2097, #2098, #2099)), .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.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1.), (0.707106781186548, 0.5, 0.707106781186548), (1., 0.707106781186548, 1.)))
   REPRESENTATION_ITEM ('')
   SURFACE ()
);
#2073 = CARTESIAN_POINT('', (10.5, 1.5, 0.));
#2074 = CARTESIAN_POINT('', (12., 1.5, 0.));
#2075 = CARTESIAN_POINT('', (12., -2.75545529808154E-16, 0.));
#2076 = CARTESIAN_POINT('', (10.5, 1.5, 1.5));
#2077 = CARTESIAN_POINT('', (12., 1.5, 1.5));
#2078 = CARTESIAN_POINT('', (12., -2.75545529808154E-16, 0.));
#2079 = CARTESIAN_POINT('', (10.5, 9.18485099360515E-17, 1.5));
#2080 = CARTESIAN_POINT('', (12., 9.18485099360515E-17, 1.5));
#2081 = CARTESIAN_POINT('', (12., -2.75545529808154E-16, 0.));
#2082 = CARTESIAN_POINT('', (10.5, -1.5, 1.5));
#2083 = CARTESIAN_POINT('', (12., -1.5, 1.5));
#2084 = CARTESIAN_POINT('', (12., -2.75545529808154E-16, 0.));
#2085 = CARTESIAN_POINT('', (10.5, -1.5, 1.83697019872103E-16));
#2086 = CARTESIAN_POINT('', (12., -1.5, 1.83697019872103E-16));
#2087 = CARTESIAN_POINT('', (12., -2.75545529808154E-16, 0.));
#2088 = CARTESIAN_POINT('', (10.5, -1.5, -1.5));
#2089 = CARTESIAN_POINT('', (12., -1.5, -1.5));
#2090 = CARTESIAN_POINT('', (12., -2.75545529808154E-16, 0.));
#2091 = CARTESIAN_POINT('', (10.5, -2.75545529808154E-16, -1.5));
#2092 = CARTESIAN_POINT('', (12., -2.75545529808154E-16, -1.5));
#2093 = CARTESIAN_POINT('', (12., -2.75545529808154E-16, 0.));
#2094 = CARTESIAN_POINT('', (10.5, 1.5, -1.5));
#2095 = CARTESIAN_POINT('', (12., 1.5, -1.5));
#2096 = CARTESIAN_POINT('', (12., -2.75545529808154E-16, 0.));
#2097 = CARTESIAN_POINT('', (10.5, 1.5, 0.));
#2098 = CARTESIAN_POINT('', (12., 1.5, 0.));
#2099 = CARTESIAN_POINT('', (12., -2.75545529808154E-16, 0.));
#2100 = PRESENTATION_STYLE_ASSIGNMENT((#2101));
#2101 = SURFACE_STYLE_USAGE(.POSITIVE., #2102);
#2102 = SURFACE_SIDE_STYLE('', (#2103));
#2103 = SURFACE_STYLE_FILL_AREA(#2104);
#2104 = FILL_AREA_STYLE('', (#2105));
#2105 = FILL_AREA_STYLE_COLOUR('', #2106);
#2106 = COLOUR_RGB('', 1., 0.74901960784314, 0.);
#2107 = STYLED_ITEM('', (#2100), #930);
#2108 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#2110))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#2109, #2111, #2112))
   REPRESENTATION_CONTEXT ('', '3D')
);
#2109 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#2110 = UNCERTAINTY_MEASURE_WITH_UNIT(LENGTH_MEASURE(1.E-6), #2109, 'DISTANCE_ACCURACY_VALUE', '');
#2111 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#2112 = (
   NAMED_UNIT (*)
   PLANE_ANGLE_UNIT ()
   SI_UNIT ($, .RADIAN.)
);
#2113 = SHAPE_REPRESENTATION('', (), #2108);
#2114 = PRODUCT_DEFINITION_SHAPE('', '', #2115);
#2115 = PRODUCT_DEFINITION('', '', #2118, #2122);
#2116 = APPLICATION_CONTEXT('configuration controlled 3D designs of mechanical parts and assemblies');
#2117 = APPLICATION_PROTOCOL_DEFINITION('International Standard', 'automotive_design', 2002, #2116);
#2118 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE('', '', #2119, .NOT_KNOWN.);
#2119 = PRODUCT('NONE', '', '', (#2120));
#2120 = PRODUCT_CONTEXT('', #2116, 'mechanical');
#2121 = PRODUCT_RELATED_PRODUCT_CATEGORY('detail', '', (#2119));
#2122 = PRODUCT_DEFINITION_CONTEXT('part definition', #2116, 'design');
#2123 = SHAPE_DEFINITION_REPRESENTATION(#2114, #2113);
#2124 = SHAPE_REPRESENTATION_RELATIONSHIP('', '', #2113, #2125);
#2125 = ADVANCED_BREP_SHAPE_REPRESENTATION('', (#1, #930), #2108);
ENDSEC;
END-ISO-10303-21;