ISO-10303-21;
HEADER;
FILE_DESCRIPTION(('STEP'), '1');
FILE_NAME('SA16-3003L-M1 AP2220.stp', '2020-11-04T12:39:56', ('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('CUT', #2);
#2 = CLOSED_SHELL('', (#3, #111, #228, #257, #299, #334, #363, #384, #412, #435, #469, #536, #558, #580, #602, #623, #701, #775, #866, #925, #954, #975, #1010, #1025, #1039, #1055));
#3 = ADVANCED_FACE('', (#4), #104, .F.);
#4 = FACE_OUTER_BOUND('', #5, .F.);
#5 = EDGE_LOOP('', (#6, #50, #58));
#6 = ORIENTED_EDGE('', *, *, #7, .T.);
#7 = EDGE_CURVE('', #8, #10, #12, .T.);
#8 = VERTEX_POINT('', #9);
#9 = CARTESIAN_POINT('', (-0.3842056921653, -1.44851771621255, -0.549947256666007));
#10 = VERTEX_POINT('', #11);
#11 = CARTESIAN_POINT('', (-0.563234311408161, -1.49979884676183, 0.));
#12 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#13, #14, #15, #16, #17, #18, #19, #20, #21, #22, #23, #24, #25, #26, #27, #28, #29, #30, #31, #32, #33, #34, #35, #36, #37, #38, #39, #40, #41, #42, #43, #44, #45, #46, #47, #48, #49), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.897405536304715, 1.01815616078096, 1.14953086640284, 1.23711225616435, 1.2954984821704, 1.35389286486362, 1.39282422949511, 1.43179358380244, 1.45781152249127, 1.4752026575147, 1.48290834481966, 1.48804014726944, 1.49477907843478), .UNSPECIFIED.);
#13 = CARTESIAN_POINT('', (-0.3842056921653, -1.44851771621254, -0.549947256666007));
#14 = CARTESIAN_POINT('', (-0.390052439571793, -1.45247121135396, -0.510320691362488));
#15 = CARTESIAN_POINT('', (-0.396306189504969, -1.45640418011177, -0.470747505745437));
#16 = CARTESIAN_POINT('', (-0.403117792447063, -1.46030661836537, -0.431270268027245));
#17 = CARTESIAN_POINT('', (-0.410528705104551, -1.46455240739544, -0.388319678690849));
#18 = CARTESIAN_POINT('', (-0.418587680734192, -1.46876435130289, -0.345465126729166));
#19 = CARTESIAN_POINT('', (-0.4276819519218, -1.47291529891302, -0.302829867368485));
#20 = CARTESIAN_POINT('', (-0.433744678423896, -1.47568254211104, -0.274406928188714));
#21 = CARTESIAN_POINT('', (-0.440268761070703, -1.47842375537137, -0.246070761582739));
#22 = CARTESIAN_POINT('', (-0.447504359778842, -1.48111975448994, -0.217916624066904));
#23 = CARTESIAN_POINT('', (-0.452327979301354, -1.48291704515041, -0.199147638549766));
#24 = CARTESIAN_POINT('', (-0.4574698394378, -1.4846949128657, -0.180452462660626));
#25 = CARTESIAN_POINT('', (-0.463078317918724, -1.48644088701291, -0.161897977494903));
#26 = CARTESIAN_POINT('', (-0.468687579916714, -1.48818710507663, -0.14334090022584));
#27 = CARTESIAN_POINT('', (-0.474756630672355, -1.48990397128626, -0.124902726281702));
#28 = CARTESIAN_POINT('', (-0.481598532178178, -1.49156190908762, -0.106755609692845));
#29 = CARTESIAN_POINT('', (-0.486160007957368, -1.49266725138433, -0.0946569799900126));
#30 = CARTESIAN_POINT('', (-0.491069079280539, -1.49374786431993, -0.0826723870483898));
#31 = CARTESIAN_POINT('', (-0.496534063789862, -1.49478079331314, -0.0709475123978382));
#32 = CARTESIAN_POINT('', (-0.502004381094271, -1.4958147302504, -0.0592111964790048));
#33 = CARTESIAN_POINT('', (-0.508026380240106, -1.49680816144575, -0.0476678226769362));
#34 = CARTESIAN_POINT('', (-0.515100870183103, -1.49769099738073, -0.0368093374646167));
#35 = CARTESIAN_POINT('', (-0.519824162340834, -1.49828042390926, -0.0295596560796065));
#36 = CARTESIAN_POINT('', (-0.525050882239856, -1.49882630467768, -0.0225486312289508));
#37 = CARTESIAN_POINT('', (-0.53111535971845, -1.49925460735138, -0.016363692882022));
#38 = CARTESIAN_POINT('', (-0.535169030070207, -1.49954089711931, -0.012229503037491));
#39 = CARTESIAN_POINT('', (-0.539664428733442, -1.49977750441006, -0.00841381137348856));
#40 = CARTESIAN_POINT('', (-0.544658116534334, -1.49990391929016, -0.00547224168234164));
#41 = CARTESIAN_POINT('', (-0.546870726386449, -1.49995993136386, -0.00416888705970131));
#42 = CARTESIAN_POINT('', (-0.549197534786085, -1.49999414879315, -0.00303297296914183));
#43 = CARTESIAN_POINT('', (-0.551607479283617, -1.49999931159177, -0.00214434827515524));
#44 = CARTESIAN_POINT('', (-0.553212444368079, -1.5000027498915, -0.00155254559733406));
#45 = CARTESIAN_POINT('', (-0.554862221008453, -1.4999932947088, -0.00106772323977262));
#46 = CARTESIAN_POINT('', (-0.556535283323897, -1.49996939470194, -0.000712130168920162));
#47 = CARTESIAN_POINT('', (-0.558732299263119, -1.49993800991996, -0.000245175867620158));
#48 = CARTESIAN_POINT('', (-0.560989507195124, -1.49988109277186, -1.42155836299167E-8));
#49 = CARTESIAN_POINT('', (-0.563234311408163, -1.49979884676186, -3.10862446895044E-15));
#50 = ORIENTED_EDGE('', *, *, #51, .F.);
#51 = EDGE_CURVE('', #52, #10, #54, .T.);
#52 = VERTEX_POINT('', #53);
#53 = CARTESIAN_POINT('', (-0.253893596027142, -1.2313585389803, 0.));
#54 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#55, #56, #57), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.730768474821986, 1.))
   REPRESENTATION_ITEM ('')
);
#55 = CARTESIAN_POINT('', (-0.253893596027142, -1.2313585389803, 0.));
#56 = CARTESIAN_POINT('', (-0.283186232396189, -1.51005935722042, 0.));
#57 = CARTESIAN_POINT('', (-0.563234311408161, -1.49979884676183, 0.));
#58 = ORIENTED_EDGE('', *, *, #59, .F.);
#59 = EDGE_CURVE('', #8, #52, #60, .T.);
#60 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#61, #62, #63, #64, #65, #66, #67, #68, #69, #70, #71, #72, #73, #74, #75, #76, #77, #78, #79, #80, #81, #82, #83, #84, #85, #86, #87, #88, #89, #90, #91, #92, #93, #94, #95, #96, #97, #98, #99, #100, #101, #102, #103), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.908434743217654, 0.919907659912239, 1.05130049839566, 1.13888687079298, 1.22647427091973, 1.2848604973441, 1.34324935496015, 1.38217137227124, 1.42109955694324, 1.4600583150321, 1.48603669564113, 1.51210829228216, 1.51943377754111, 1.52364985583491, 1.53853004527499), .UNSPECIFIED.);
#61 = CARTESIAN_POINT('', (-0.3842056921653, -1.44851771621255, -0.549947256666007));
#62 = CARTESIAN_POINT('', (-0.383425803914612, -1.44799036584223, -0.546240642448584));
#63 = CARTESIAN_POINT('', (-0.382645478957643, -1.44745737082775, -0.542534829300068));
#64 = CARTESIAN_POINT('', (-0.381864748440192, -1.44691863021495, -0.538830030862275));
#65 = CARTESIAN_POINT('', (-0.37292348254336, -1.44074873809366, -0.496401065699448));
#66 = CARTESIAN_POINT('', (-0.363925107661726, -1.43383437654335, -0.454080249914773));
#67 = CARTESIAN_POINT('', (-0.354862072158049, -1.42591578286449, -0.411968634521597));
#68 = CARTESIAN_POINT('', (-0.348820659156874, -1.42063725396729, -0.383897061742958));
#69 = CARTESIAN_POINT('', (-0.342748612441114, -1.41490974120654, -0.355910197613424));
#70 = CARTESIAN_POINT('', (-0.336643256769476, -1.40859928398615, -0.32806639222644));
#71 = CARTESIAN_POINT('', (-0.330537829458226, -1.40228875271952, -0.300222260123126));
#72 = CARTESIAN_POINT('', (-0.324396174009471, -1.39539734789847, -0.27250513751027));
#73 = CARTESIAN_POINT('', (-0.318216433917925, -1.38769180292549, -0.245030965472203));
#74 = CARTESIAN_POINT('', (-0.314096986329497, -1.38255524569391, -0.226716536374919));
#75 = CARTESIAN_POINT('', (-0.309958624520295, -1.37705349612141, -0.208501718126009));
#76 = CARTESIAN_POINT('', (-0.305802247753417, -1.3710655554559, -0.190456179049978));
#77 = CARTESIAN_POINT('', (-0.301645683678255, -1.36507734494216, -0.172409826746668));
#78 = CARTESIAN_POINT('', (-0.297467525233671, -1.35860276768641, -0.154514534471249));
#79 = CARTESIAN_POINT('', (-0.293273657413855, -1.35143040878957, -0.136914100894551));
#80 = CARTESIAN_POINT('', (-0.290478024778658, -1.34664931375634, -0.125181650418132));
#81 = CARTESIAN_POINT('', (-0.287672996149085, -1.34155310257217, -0.113570580985799));
#82 = CARTESIAN_POINT('', (-0.284864614230572, -1.33603296451051, -0.102170322545334));
#83 = CARTESIAN_POINT('', (-0.282055787311874, -1.33051195175925, -0.0907682576849256));
#84 = CARTESIAN_POINT('', (-0.279238627751384, -1.32456186050474, -0.0795542978955489));
#85 = CARTESIAN_POINT('', (-0.276430894980373, -1.3179988579849, -0.068718163522492));
#86 = CARTESIAN_POINT('', (-0.273620957072258, -1.31143070101428, -0.0578735186664498));
#87 = CARTESIAN_POINT('', (-0.270806597124578, -1.30422886442806, -0.0473470116996219));
#88 = CARTESIAN_POINT('', (-0.268049223920495, -1.29607197976257, -0.0376256494155014));
#89 = CARTESIAN_POINT('', (-0.266210559289209, -1.29063282654468, -0.0311432751858317));
#90 = CARTESIAN_POINT('', (-0.264386722012578, -1.28473296842415, -0.0249845083453339));
#91 = CARTESIAN_POINT('', (-0.262636172943405, -1.27825430221362, -0.019511966605291));
#92 = CARTESIAN_POINT('', (-0.260879342526657, -1.27175238915157, -0.0140197882053032));
#93 = CARTESIAN_POINT('', (-0.259169885715129, -1.2645541697648, -0.00914443111953875));
#94 = CARTESIAN_POINT('', (-0.257665167716808, -1.25674222051668, -0.00564662854545342));
#95 = CARTESIAN_POINT('', (-0.257242378515696, -1.25454725256559, -0.00466383099960412));
#96 = CARTESIAN_POINT('', (-0.25683350306471, -1.25229146087771, -0.00378492947580122));
#97 = CARTESIAN_POINT('', (-0.256446175482642, -1.25, -0.00303545604658373));
#98 = CARTESIAN_POINT('', (-0.256223254631174, -1.2486811824574, -0.00260410733110591));
#99 = CARTESIAN_POINT('', (-0.25600633608131, -1.24734395626948, -0.00221336791089874));
#100 = CARTESIAN_POINT('', (-0.255797444313888, -1.24599765877625, -0.00186857461012077));
#101 = CARTESIAN_POINT('', (-0.255060183557541, -1.24124604831125, -0.000651664183955489));
#102 = CARTESIAN_POINT('', (-0.254412063805576, -1.23629143038209, 1.08225564094611E-18));
#103 = CARTESIAN_POINT('', (-0.253893596027142, -1.2313585389803, 0.));
#104 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#105, #106, #107), (#108, #109, #110)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 3), (0., 0.549947256666007), (0., 1.), .UNSPECIFIED.)
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.730768474821987, 1.), (1., 0.730768474821987, 1.)))
   REPRESENTATION_ITEM ('')
   SURFACE ()
);
#105 = CARTESIAN_POINT('', (-0.253893596027142, -1.2313585389803, 0.));
#106 = CARTESIAN_POINT('', (-0.283186232396189, -1.51005935722042, 0.));
#107 = CARTESIAN_POINT('', (-0.563234311408161, -1.49979884676183, 0.));
#108 = CARTESIAN_POINT('', (-0.253893596027142, -1.2313585389803, -0.549947256666006));
#109 = CARTESIAN_POINT('', (-0.283186232396189, -1.51005935722042, -0.549947256666006));
#110 = CARTESIAN_POINT('', (-0.563234311408161, -1.49979884676183, -0.549947256666006));
#111 = ADVANCED_FACE('', (#112), #217, .F.);
#112 = FACE_OUTER_BOUND('', #113, .F.);
#113 = EDGE_LOOP('', (#114, #158, #209));
#114 = ORIENTED_EDGE('', *, *, #115, .F.);
#115 = EDGE_CURVE('', #116, #118, #120, .T.);
#116 = VERTEX_POINT('', #117);
#117 = CARTESIAN_POINT('', (-0.110772150838599, 1.43279351602173, -0.700391463970305));
#118 = VERTEX_POINT('', #119);
#119 = CARTESIAN_POINT('', (-0.309955321008585, 1.49983477380654, 0.));
#120 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#121, #122, #123, #124, #125, #126, #127, #128, #129, #130, #131, #132, #133, #134, #135, #136, #137, #138, #139, #140, #141, #142, #143, #144, #145, #146, #147, #148, #149, #150, #151, #152, #153, #154, #155, #156, #157), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.979135842705003, 1.13125878655752, 1.2626423884011, 1.39403554331238, 1.48163053625572, 1.54002653630605, 1.5984382626513, 1.63738542808168, 1.66335475951694, 1.68937608332958, 1.70676210281181, 1.7183715098297, 1.72904769200603), .UNSPECIFIED.);
#121 = CARTESIAN_POINT('', (-0.110772150839197, 1.4327935160222, -0.700391463970305));
#122 = CARTESIAN_POINT('', (-0.116995593477416, 1.43785228520498, -0.650322080343279));
#123 = CARTESIAN_POINT('', (-0.123694881719325, 1.44288991993306, -0.600303428847785));
#124 = CARTESIAN_POINT('', (-0.131039743766658, 1.44789601007996, -0.550380912648649));
#125 = CARTESIAN_POINT('', (-0.137383260440635, 1.45221960610036, -0.507264471267551));
#126 = CARTESIAN_POINT('', (-0.144206422295826, 1.45652065691079, -0.464210977434959));
#127 = CARTESIAN_POINT('', (-0.151708860490779, 1.46078676719316, -0.421275270524511));
#128 = CARTESIAN_POINT('', (-0.159211844197494, 1.46505318766979, -0.37833644170456));
#129 = CARTESIAN_POINT('', (-0.167382023919433, 1.46928696018708, -0.335497413588473));
#130 = CARTESIAN_POINT('', (-0.176632840837995, 1.47346031529327, -0.292891714179679));
#131 = CARTESIAN_POINT('', (-0.182800020880583, 1.47624253793892, -0.264488058436889));
#132 = CARTESIAN_POINT('', (-0.189448476478873, 1.47899913351766, -0.236176141247781));
#133 = CARTESIAN_POINT('', (-0.196851715698246, 1.48170983554999, -0.208062324793317));
#134 = CARTESIAN_POINT('', (-0.201787152568555, 1.48351694975479, -0.189319992932501));
#135 = CARTESIAN_POINT('', (-0.207060133896309, 1.48530446220148, -0.17065748421969));
#136 = CARTESIAN_POINT('', (-0.2128374640141, 1.4870586914213, -0.152152232560085));
#137 = CARTESIAN_POINT('', (-0.218616349991832, 1.48881339306262, -0.13364199735632));
#138 = CARTESIAN_POINT('', (-0.224890850691932, 1.49053794933546, -0.115261938514125));
#139 = CARTESIAN_POINT('', (-0.232027260440316, 1.49219806069985, -0.097222565064545));
#140 = CARTESIAN_POINT('', (-0.236785601760456, 1.49330497254764, -0.0851944586215235));
#141 = CARTESIAN_POINT('', (-0.241931874693727, 1.49438526088062, -0.0732970374229207));
#142 = CARTESIAN_POINT('', (-0.247723135128392, 1.49541010375272, -0.061723213066738));
#143 = CARTESIAN_POINT('', (-0.251584652648185, 1.49609345217926, -0.0540059767195524));
#144 = CARTESIAN_POINT('', (-0.25574040641798, 1.49675363570132, -0.0464161195580751));
#145 = CARTESIAN_POINT('', (-0.260350620158694, 1.49736833502947, -0.0391152912854098));
#146 = CARTESIAN_POINT('', (-0.264970063862574, 1.49798426502771, -0.0317998462552946));
#147 = CARTESIAN_POINT('', (-0.270063268968449, 1.49856091216123, -0.0247083668912382));
#148 = CARTESIAN_POINT('', (-0.275945635603789, 1.49903409095535, -0.0183516200439171));
#149 = CARTESIAN_POINT('', (-0.279875909930339, 1.49935024303864, -0.0141043909126498));
#150 = CARTESIAN_POINT('', (-0.284211226721244, 1.49962317295606, -0.0101402832796567));
#151 = CARTESIAN_POINT('', (-0.28903823243468, 1.49979966586346, -0.00693796695997679));
#152 = CARTESIAN_POINT('', (-0.292261435656222, 1.49991751791119, -0.00479964003625681));
#153 = CARTESIAN_POINT('', (-0.295755659077612, 1.49999243106874, -0.00298405555668678));
#154 = CARTESIAN_POINT('', (-0.29942622839538, 1.49999945130974, -0.00175839583845514));
#155 = CARTESIAN_POINT('', (-0.30280173815802, 1.50000590722706, -0.000631261057335817));
#156 = CARTESIAN_POINT('', (-0.306398553599744, 1.49995286805177, -2.29840470511778E-16));
#157 = CARTESIAN_POINT('', (-0.309955321008585, 1.49983477380653, -2.22044604925031E-16));
#158 = ORIENTED_EDGE('', *, *, #159, .T.);
#159 = EDGE_CURVE('', #116, #160, #162, .T.);
#160 = VERTEX_POINT('', #161);
#161 = CARTESIAN_POINT('', (-0.00164343138951834, 1.1686414610197, 0.));
#162 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#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), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.990674041265978, 1.01821196342643, 1.14955932609911, 1.18848214049245, 1.31991431748737, 1.40752442060497, 1.49514510647753, 1.55355291419289, 1.61197680847425, 1.65092393769484, 1.67256927819527, 1.68990451843352, 1.71589673380161, 1.74196885592248, 1.75934988407408, 1.77555090798601), .UNSPECIFIED.);
#163 = CARTESIAN_POINT('', (-0.110772150838599, 1.43279351602173, -0.700391463970305));
#164 = CARTESIAN_POINT('', (-0.109162042323352, 1.43148472797444, -0.691449746656607));
#165 = CARTESIAN_POINT('', (-0.107555114778503, 1.4301507914394, -0.682510780711779));
#166 = CARTESIAN_POINT('', (-0.105951646763773, 1.42879081407764, -0.673575511493512));
#167 = CARTESIAN_POINT('', (-0.0983036007842103, 1.42230414312543, -0.630957043776466));
#168 = CARTESIAN_POINT('', (-0.0907310649138106, 1.41522848820668, -0.588408186340586));
#169 = CARTESIAN_POINT('', (-0.0832591368837487, 1.40742082406456, -0.545980436340687));
#170 = CARTESIAN_POINT('', (-0.081044943450728, 1.40510714028694, -0.53340761108733));
#171 = CARTESIAN_POINT('', (-0.0788395594112326, 1.40272857756955, -0.520844969164178));
#172 = CARTESIAN_POINT('', (-0.0766439124930381, 1.40027994950464, -0.508294468168461));
#173 = CARTESIAN_POINT('', (-0.0692297863855511, 1.39201157214711, -0.465914704681303));
#174 = CARTESIAN_POINT('', (-0.0619219995994104, 1.38295566767201, -0.423655518140136));
#175 = CARTESIAN_POINT('', (-0.0547754921462434, 1.37281475847821, -0.381638032788956));
#176 = CARTESIAN_POINT('', (-0.0500117708930619, 1.36605502794275, -0.353630003792365));
#177 = CARTESIAN_POINT('', (-0.0453181320559695, 1.35880959044168, -0.325719352429606));
#178 = CARTESIAN_POINT('', (-0.0407256081489714, 1.35091981225233, -0.297979546921084));
#179 = CARTESIAN_POINT('', (-0.0361325294936802, 1.34302908102691, -0.270236390616776));
#180 = CARTESIAN_POINT('', (-0.0316361706019184, 1.33449623428039, -0.242642789450091));
#181 = CARTESIAN_POINT('', (-0.0272972533895096, 1.32503284364956, -0.215354316284247));
#182 = CARTESIAN_POINT('', (-0.0244049381820726, 1.31872456273625, -0.197163864136512));
#183 = CARTESIAN_POINT('', (-0.0215808183955022, 1.31199771748127, -0.179097241155984));
#184 = CARTESIAN_POINT('', (-0.0188612299170115, 1.30469475610662, -0.161255631409453));
#185 = CARTESIAN_POINT('', (-0.016140892414696, 1.2973897833644, -0.143409107761103));
#186 = CARTESIAN_POINT('', (-0.0135194954927743, 1.28950709998422, -0.125758135650404));
#187 = CARTESIAN_POINT('', (-0.0110730568696443, 1.28075408059874, -0.108534290001918));
#188 = CARTESIAN_POINT('', (-0.00944218713120422, 1.27491905400098, -0.097052355249049));
#189 = CARTESIAN_POINT('', (-0.00788673172783532, 1.26868742526725, -0.085742994538272));
#190 = CARTESIAN_POINT('', (-0.00645537900144805, 1.26189955963346, -0.0747694715542997));
#191 = CARTESIAN_POINT('', (-0.00565988732442612, 1.2581271207951, -0.0686708027632801));
#192 = CARTESIAN_POINT('', (-0.00490062798185896, 1.25416857119808, -0.0626574305663949));
#193 = CARTESIAN_POINT('', (-0.00419601084501919, 1.25, -0.0568106885952671));
#194 = CARTESIAN_POINT('', (-0.00363169967870326, 1.24666149011758, -0.0521281715113464));
#195 = CARTESIAN_POINT('', (-0.00310022301555843, 1.24317536275369, -0.0475342663033633));
#196 = CARTESIAN_POINT('', (-0.00261458821869826, 1.23952109385715, -0.0430844866184266));
#197 = CARTESIAN_POINT('', (-0.00188643423543945, 1.23404193447623, -0.0364125495513971));
#198 = CARTESIAN_POINT('', (-0.00125538796232331, 1.22815715426141, -0.0300193280690326));
#199 = CARTESIAN_POINT('', (-0.000790041816206813, 1.22175777846318, -0.024197165040691));
#200 = CARTESIAN_POINT('', (-0.000323265076394199, 1.21533872933843, -0.0183571031862913));
#201 = CARTESIAN_POINT('', (-1.87197658570531E-5, 1.20832045528652, -0.0130248430129413));
#202 = CARTESIAN_POINT('', (-8.27915227843402E-7, 1.20070480383887, -0.00883796738024972));
#203 = CARTESIAN_POINT('', (1.10997198924852E-5, 1.19562781579814, -0.00604677904116253));
#204 = CARTESIAN_POINT('', (-0.000107384871565089, 1.19022124872254, -0.00374559622340999));
#205 = CARTESIAN_POINT('', (-0.000393347592920447, 1.18464246655796, -0.00220868469030554));
#206 = CARTESIAN_POINT('', (-0.000659896202484404, 1.17944242991688, -0.000776114632816397));
#207 = CARTESIAN_POINT('', (-0.00107894201189255, 1.17401221868897, 4.18166133336509E-16));
#208 = CARTESIAN_POINT('', (-0.00164343138951811, 1.1686414610197, 4.44089209850063E-16));
#209 = ORIENTED_EDGE('', *, *, #210, .F.);
#210 = EDGE_CURVE('', #118, #160, #211, .T.);
#211 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#212, #213, #214, #215, #216), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.910139099671243, 1., 0.910139099671243, 1.))
   REPRESENTATION_ITEM ('')
);
#212 = CARTESIAN_POINT('', (-0.309955321008585, 1.49983477380654, 0.));
#213 = CARTESIAN_POINT('', (-0.173468063527264, 1.50436651788864, 0.));
#214 = CARTESIAN_POINT('', (-0.0804184149040236, 1.40441117260742, 0.));
#215 = CARTESIAN_POINT('', (0.0126312337192173, 1.30445582732619, 0.));
#216 = CARTESIAN_POINT('', (-0.00164343138951795, 1.1686414610197, 0.));
#217 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#218, #219, #220, #221, #222), (#223, #224, #225, #226, #227)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 3), (0., 0.700391463970305), (0., 0.5, 1.), .UNSPECIFIED.)
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.910139099671243, 1., 0.910139099671243, 1.), (1., 0.910139099671243, 1., 0.910139099671243, 1.)))
   REPRESENTATION_ITEM ('')
   SURFACE ()
);
#218 = CARTESIAN_POINT('', (-0.309955321008585, 1.49983477380654, 2.13821176807376E-50));
#219 = CARTESIAN_POINT('', (-0.173468063527264, 1.50436651788864, 1.43669558539285E-18));
#220 = CARTESIAN_POINT('', (-0.0804184149040234, 1.40441117260741, 2.3801827158604E-18));
#221 = CARTESIAN_POINT('', (0.0126312337192174, 1.30445582732619, 3.32366984632795E-18));
#222 = CARTESIAN_POINT('', (-0.00164343138951767, 1.1686414610197, 3.12616226207937E-18));
#223 = CARTESIAN_POINT('', (-0.309955321008585, 1.49983477380654, -0.700391463970305));
#224 = CARTESIAN_POINT('', (-0.173468063527264, 1.50436651788864, -0.700391463970305));
#225 = CARTESIAN_POINT('', (-0.0804184149040234, 1.40441117260741, -0.700391463970305));
#226 = CARTESIAN_POINT('', (0.0126312337192174, 1.30445582732619, -0.700391463970305));
#227 = CARTESIAN_POINT('', (-0.00164343138951767, 1.1686414610197, -0.700391463970305));
#228 = ADVANCED_FACE('', (#229), #252, .F.);
#229 = FACE_OUTER_BOUND('', #230, .F.);
#230 = EDGE_LOOP('', (#231, #240, #247));
#231 = ORIENTED_EDGE('', *, *, #232, .F.);
#232 = EDGE_CURVE('', #233, #235, #237, .T.);
#233 = VERTEX_POINT('', #234);
#234 = CARTESIAN_POINT('', (-0.65, 1.25087790833331, -2.26));
#235 = VERTEX_POINT('', #236);
#236 = CARTESIAN_POINT('', (-0.313010420127359, 1.3234482380045, -1.6763169260393));
#237 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#238, #239), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.923301324708808), .UNSPECIFIED.);
#238 = CARTESIAN_POINT('', (-0.649999999999997, 1.25087790833331, -2.25999999999999));
#239 = CARTESIAN_POINT('', (-0.313010420127359, 1.3234482380045, -1.6763169260393));
#240 = ORIENTED_EDGE('', *, *, #241, .F.);
#241 = EDGE_CURVE('', #242, #233, #244, .T.);
#242 = VERTEX_POINT('', #243);
#243 = CARTESIAN_POINT('', (-0.65, -0.797380983139924, -2.26));
#244 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#245, #246), .UNSPECIFIED., .F., .U., (2, 2), (0.475081844276877, 0.539089934635416), .UNSPECIFIED.);
#245 = CARTESIAN_POINT('', (-0.65, -0.797380983139924, -2.26));
#246 = CARTESIAN_POINT('', (-0.65, 1.25087790833331, -2.26));
#247 = ORIENTED_EDGE('', *, *, #248, .F.);
#248 = EDGE_CURVE('', #235, #242, #249, .T.);
#249 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#250, #251), .UNSPECIFIED., .F., .U., (2, 2), (0.0768560916486864, 1.), .UNSPECIFIED.);
#250 = CARTESIAN_POINT('', (-0.313010420127359, 1.3234482380045, -1.6763169260393));
#251 = CARTESIAN_POINT('', (-0.649999999999999, -0.797380983139924, -2.26));
#252 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#253, #254), (#255, #256)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.475081844276877, 0.541357757437641), (0.907674087706126, 1.), .UNSPECIFIED.);
#253 = CARTESIAN_POINT('', (-0.313010420127359, -0.797380983139924, -1.67631692603929));
#254 = CARTESIAN_POINT('', (-0.65, -0.797380983139924, -2.26));
#255 = CARTESIAN_POINT('', (-0.313010420127359, 1.3234482380045, -1.67631692603929));
#256 = CARTESIAN_POINT('', (-0.65, 1.3234482380045, -2.26));
#257 = ADVANCED_FACE('', (#258), #294, .F.);
#258 = FACE_OUTER_BOUND('', #259, .F.);
#259 = EDGE_LOOP('', (#260, #267, #268, #275, #282, #289));
#260 = ORIENTED_EDGE('', *, *, #261, .T.);
#261 = EDGE_CURVE('', #262, #242, #264, .T.);
#262 = VERTEX_POINT('', #263);
#263 = CARTESIAN_POINT('', (-0.65, -1.25, -2.01660307112394));
#264 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#265, #266), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.181047606744031), .UNSPECIFIED.);
#265 = CARTESIAN_POINT('', (-0.65, -1.25, -2.01660307112394));
#266 = CARTESIAN_POINT('', (-0.65, -0.797380983139924, -2.26));
#267 = ORIENTED_EDGE('', *, *, #241, .T.);
#268 = ORIENTED_EDGE('', *, *, #269, .F.);
#269 = EDGE_CURVE('', #270, #233, #272, .T.);
#270 = VERTEX_POINT('', #271);
#271 = CARTESIAN_POINT('', (-0.65, 1.25, -2.26834813953578));
#272 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#273, #274), .UNSPECIFIED., .F., .U., (2, 2), (0.993208818197499, 1.), .UNSPECIFIED.);
#273 = CARTESIAN_POINT('', (-0.65, 1.25, -2.26834813953578));
#274 = CARTESIAN_POINT('', (-0.65, 1.25087790833331, -2.26));
#275 = ORIENTED_EDGE('', *, *, #276, .F.);
#276 = EDGE_CURVE('', #277, #270, #279, .T.);
#277 = VERTEX_POINT('', #278);
#278 = CARTESIAN_POINT('', (-0.649999999999999, 1.25, -5.));
#279 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#280, #281), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.546330372092844), .UNSPECIFIED.);
#280 = CARTESIAN_POINT('', (-0.649999999999999, 1.25, -5.));
#281 = CARTESIAN_POINT('', (-0.65, 1.25, -2.26834813953578));
#282 = ORIENTED_EDGE('', *, *, #283, .F.);
#283 = EDGE_CURVE('', #284, #277, #286, .T.);
#284 = VERTEX_POINT('', #285);
#285 = CARTESIAN_POINT('', (-0.649999999999999, -1.25, -5.));
#286 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#287, #288), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#287 = CARTESIAN_POINT('', (-0.649999999999999, -1.25, -5.));
#288 = CARTESIAN_POINT('', (-0.649999999999999, 1.25, -5.));
#289 = ORIENTED_EDGE('', *, *, #290, .T.);
#290 = EDGE_CURVE('', #284, #262, #291, .T.);
#291 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#292, #293), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.596679385775212), .UNSPECIFIED.);
#292 = CARTESIAN_POINT('', (-0.649999999999999, -1.25, -5.));
#293 = CARTESIAN_POINT('', (-0.65, -1.25, -2.01660307112394));
#294 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#295, #296), (#297, #298)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.4609375, 0.539089934635416), (-0.0888309959401682, 0.999999999999998), .UNSPECIFIED.);
#295 = CARTESIAN_POINT('', (-0.65, -1.25, -2.01660307112394));
#296 = CARTESIAN_POINT('', (-0.65, -1.25, -5.));
#297 = CARTESIAN_POINT('', (-0.65, 1.25087790833331, -2.01660307112394));
#298 = CARTESIAN_POINT('', (-0.65, 1.25087790833331, -5.));
#299 = ADVANCED_FACE('', (#300), #329, .F.);
#300 = FACE_OUTER_BOUND('', #301, .F.);
#301 = EDGE_LOOP('', (#302, #311, #318, #323, #324));
#302 = ORIENTED_EDGE('', *, *, #303, .F.);
#303 = EDGE_CURVE('', #304, #306, #308, .T.);
#304 = VERTEX_POINT('', #305);
#305 = CARTESIAN_POINT('', (-3., -1.25, -1.52620321318063));
#306 = VERTEX_POINT('', #307);
#307 = CARTESIAN_POINT('', (-0.710067786411745, -1.25, -2.32393218824382));
#308 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#309, #310), .UNSPECIFIED., .F., .U., (2, 2), (0.00507738368145934, 0.873642558016985), .UNSPECIFIED.);
#309 = CARTESIAN_POINT('', (-3., -1.25, -1.52620321318063));
#310 = CARTESIAN_POINT('', (-0.710067786411745, -1.25, -2.32393218824382));
#311 = ORIENTED_EDGE('', *, *, #312, .T.);
#312 = EDGE_CURVE('', #304, #313, #315, .T.);
#313 = VERTEX_POINT('', #314);
#314 = CARTESIAN_POINT('', (-3., -1.41051805457878, 0.));
#315 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#316, #317), .UNSPECIFIED., .F., .U., (2, 2), (0.694759357363874, 1.), .UNSPECIFIED.);
#316 = CARTESIAN_POINT('', (-3., -1.25, -1.52620321318063));
#317 = CARTESIAN_POINT('', (-3., -1.41051805457878, 1.77635683940025E-15));
#318 = ORIENTED_EDGE('', *, *, #319, .F.);
#319 = EDGE_CURVE('', #10, #313, #320, .T.);
#320 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#321, #322), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#321 = CARTESIAN_POINT('', (-0.563234311408163, -1.4997988467619, 0.));
#322 = CARTESIAN_POINT('', (-3., -1.41051805457878, 0.));
#323 = ORIENTED_EDGE('', *, *, #7, .F.);
#324 = ORIENTED_EDGE('', *, *, #325, .T.);
#325 = EDGE_CURVE('', #8, #306, #326, .T.);
#326 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#327, #328), .UNSPECIFIED., .F., .U., (2, 2), (0.109989451333202, 0.464786437648765), .UNSPECIFIED.);
#327 = CARTESIAN_POINT('', (-0.384205692165301, -1.44851771621255, -0.549947256666007));
#328 = CARTESIAN_POINT('', (-0.710067786411745, -1.25, -2.32393218824382));
#329 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#330, #331), (#332, #333)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (6.06484086884405, 8.68614981904883), (2.39410095974714, 4.73083401617047), .UNSPECIFIED.);
#330 = CARTESIAN_POINT('', (-3.00587334533825, -1.41030286075566, 3.10862446895044E-15));
#331 = CARTESIAN_POINT('', (-2.9969300695239, -1.16621152694089, -2.32393218824383));
#332 = CARTESIAN_POINT('', (-0.386322074917168, -1.50628074393188, 3.10862446895044E-15));
#333 = CARTESIAN_POINT('', (-0.37737879910282, -1.26218941011711, -2.32393218824383));
#334 = ADVANCED_FACE('', (#335), #358, .F.);
#335 = FACE_OUTER_BOUND('', #336, .F.);
#336 = EDGE_LOOP('', (#337, #346, #353));
#337 = ORIENTED_EDGE('', *, *, #338, .F.);
#338 = EDGE_CURVE('', #339, #341, #343, .T.);
#339 = VERTEX_POINT('', #340);
#340 = CARTESIAN_POINT('', (-3., 1.25, -1.52638614624919));
#341 = VERTEX_POINT('', #342);
#342 = CARTESIAN_POINT('', (-3., 1.25, 0.));
#343 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#344, #345), .UNSPECIFIED., .F., .U., (2, 2), (0.694722770750162, 1.), .UNSPECIFIED.);
#344 = CARTESIAN_POINT('', (-3., 1.25, -1.52638614624919));
#345 = CARTESIAN_POINT('', (-3., 1.25, -3.5527136788005E-15));
#346 = ORIENTED_EDGE('', *, *, #347, .F.);
#347 = EDGE_CURVE('', #348, #339, #350, .T.);
#348 = VERTEX_POINT('', #349);
#349 = CARTESIAN_POINT('', (-3., 1.41051805457878, 0.));
#350 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#351, #352), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.305277229249839), .UNSPECIFIED.);
#351 = CARTESIAN_POINT('', (-3., 1.41051805457878, 0.));
#352 = CARTESIAN_POINT('', (-3., 1.25, -1.52638614624919));
#353 = ORIENTED_EDGE('', *, *, #354, .F.);
#354 = EDGE_CURVE('', #341, #348, #355, .T.);
#355 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#356, #357), .UNSPECIFIED., .F., .U., (2, 2), (0.943099610083788, 1.), .UNSPECIFIED.);
#356 = CARTESIAN_POINT('', (-3., 1.25, 0.));
#357 = CARTESIAN_POINT('', (-3., 1.41051805457878, 0.));
#358 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#359, #360), (#361, #362)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.305277229249839), (0., 1.), .UNSPECIFIED.);
#359 = CARTESIAN_POINT('', (-3., -1.41051805457878, 0.));
#360 = CARTESIAN_POINT('', (-3., 1.41051805457878, 0.));
#361 = CARTESIAN_POINT('', (-3., -1.41051805457878, -1.52638614624919));
#362 = CARTESIAN_POINT('', (-3., 1.41051805457878, -1.52638614624919));
#363 = ADVANCED_FACE('', (#364), #379, .F.);
#364 = FACE_OUTER_BOUND('', #365, .F.);
#365 = EDGE_LOOP('', (#366, #373, #378));
#366 = ORIENTED_EDGE('', *, *, #367, .F.);
#367 = EDGE_CURVE('', #368, #304, #370, .T.);
#368 = VERTEX_POINT('', #369);
#369 = CARTESIAN_POINT('', (-3., -1.25, 0.));
#370 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#371, #372), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.305240642636126), .UNSPECIFIED.);
#371 = CARTESIAN_POINT('', (-3., -1.25, 1.77635683940025E-15));
#372 = CARTESIAN_POINT('', (-3., -1.25, -1.52620321318063));
#373 = ORIENTED_EDGE('', *, *, #374, .F.);
#374 = EDGE_CURVE('', #313, #368, #375, .T.);
#375 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#376, #377), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0569003899162123), .UNSPECIFIED.);
#376 = CARTESIAN_POINT('', (-3., -1.41051805457878, 0.));
#377 = CARTESIAN_POINT('', (-3., -1.25, 0.));
#378 = ORIENTED_EDGE('', *, *, #312, .F.);
#379 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#380, #381), (#382, #383)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.305277229249839), (0., 1.), .UNSPECIFIED.);
#380 = CARTESIAN_POINT('', (-3., -1.41051805457878, 0.));
#381 = CARTESIAN_POINT('', (-3., 1.41051805457878, 0.));
#382 = CARTESIAN_POINT('', (-3., -1.41051805457878, -1.52638614624919));
#383 = CARTESIAN_POINT('', (-3., 1.41051805457878, -1.52638614624919));
#384 = ADVANCED_FACE('', (#385), #407, .F.);
#385 = FACE_OUTER_BOUND('', #386, .F.);
#386 = EDGE_LOOP('', (#387, #388, #393, #394, #395, #400, #401, #406));
#387 = ORIENTED_EDGE('', *, *, #261, .F.);
#388 = ORIENTED_EDGE('', *, *, #389, .F.);
#389 = EDGE_CURVE('', #306, #262, #390, .T.);
#390 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#391, #392), .UNSPECIFIED., .F., .U., (2, 2), (0.535213562351235, 0.596679385775212), .UNSPECIFIED.);
#391 = CARTESIAN_POINT('', (-0.710067786411745, -1.25, -2.32393218824382));
#392 = CARTESIAN_POINT('', (-0.65, -1.25, -2.01660307112394));
#393 = ORIENTED_EDGE('', *, *, #325, .F.);
#394 = ORIENTED_EDGE('', *, *, #59, .T.);
#395 = ORIENTED_EDGE('', *, *, #396, .F.);
#396 = EDGE_CURVE('', #160, #52, #397, .T.);
#397 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#398, #399), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#398 = CARTESIAN_POINT('', (-0.00164343138951834, 1.1686414610197, 0.));
#399 = CARTESIAN_POINT('', (-0.253893596027142, -1.2313585389803, 0.));
#400 = ORIENTED_EDGE('', *, *, #159, .F.);
#401 = ORIENTED_EDGE('', *, *, #402, .F.);
#402 = EDGE_CURVE('', #235, #116, #403, .T.);
#403 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#404, #405), .UNSPECIFIED., .F., .U., (2, 2), (0.711899196569483, 0.92093253004273), .UNSPECIFIED.);
#404 = CARTESIAN_POINT('', (-0.313010420127359, 1.3234482380045, -1.67631692603929));
#405 = CARTESIAN_POINT('', (-0.110772150838599, 1.43279351602173, -0.700391463970305));
#406 = ORIENTED_EDGE('', *, *, #248, .T.);
#407 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#408, #409), (#410, #411)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (5.78986565401922, 8.68397434972747), (2.97869244997092, 5.3461209680787), .UNSPECIFIED.);
#408 = CARTESIAN_POINT('', (-0.27789237786163, -1.459691695811, 2.22044604925031E-15));
#409 = CARTESIAN_POINT('', (-0.727144429134664, -1.41247340252041, -2.32393218824382));
#410 = CARTESIAN_POINT('', (0.024624356630306, 1.41856276964657, 2.22044604925031E-15));
#411 = CARTESIAN_POINT('', (-0.424627694642728, 1.46578106293716, -2.32393218824382));
#412 = ADVANCED_FACE('', (#413), #430, .F.);
#413 = FACE_OUTER_BOUND('', #414, .F.);
#414 = EDGE_LOOP('', (#415, #420, #421, #422, #423, #424, #429));
#415 = ORIENTED_EDGE('', *, *, #416, .F.);
#416 = EDGE_CURVE('', #270, #339, #417, .T.);
#417 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#418, #419), .UNSPECIFIED., .F., .U., (2, 2), (0.187553226003996, 0.995828371352425), .UNSPECIFIED.);
#418 = CARTESIAN_POINT('', (-0.65, 1.25, -2.26834813953578));
#419 = CARTESIAN_POINT('', (-3., 1.25, -1.5263861462492));
#420 = ORIENTED_EDGE('', *, *, #269, .T.);
#421 = ORIENTED_EDGE('', *, *, #232, .T.);
#422 = ORIENTED_EDGE('', *, *, #402, .T.);
#423 = ORIENTED_EDGE('', *, *, #115, .T.);
#424 = ORIENTED_EDGE('', *, *, #425, .F.);
#425 = EDGE_CURVE('', #348, #118, #426, .T.);
#426 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#427, #428), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#427 = CARTESIAN_POINT('', (-3., 1.41051805457878, 0.));
#428 = CARTESIAN_POINT('', (-0.309955321008585, 1.49983477380654, 0.));
#429 = ORIENTED_EDGE('', *, *, #347, .T.);
#430 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#431, #432), (#433, #434)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (4.17821776311418, 7.07192025231129), (2.39678941818977, 4.67763225342549), .UNSPECIFIED.);
#431 = CARTESIAN_POINT('', (-0.113214991131661, 1.50636708196544, 1.33226762955019E-15));
#432 = CARTESIAN_POINT('', (-0.105303398088336, 1.2680853923495, -2.26834813953578));
#433 = CARTESIAN_POINT('', (-3.00532376217108, 1.41034129135444, 1.33226762955019E-15));
#434 = CARTESIAN_POINT('', (-2.99741216912775, 1.17205960173851, -2.26834813953578));
#435 = ADVANCED_FACE('', (#436), #464, .F.);
#436 = FACE_OUTER_BOUND('', #437, .F.);
#437 = EDGE_LOOP('', (#438, #445, #452, #457, #458, #459, #460, #461, #462, #463));
#438 = ORIENTED_EDGE('', *, *, #439, .F.);
#439 = EDGE_CURVE('', #440, #368, #442, .T.);
#440 = VERTEX_POINT('', #441);
#441 = CARTESIAN_POINT('', (-1., -1.25, 0.));
#442 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#443, #444), .UNSPECIFIED., .F., .U., (2, 2), (0.333333481208872, 1.), .UNSPECIFIED.);
#443 = CARTESIAN_POINT('', (-1., -1.25, 0.));
#444 = CARTESIAN_POINT('', (-3., -1.25, 0.));
#445 = ORIENTED_EDGE('', *, *, #446, .F.);
#446 = EDGE_CURVE('', #447, #440, #449, .T.);
#447 = VERTEX_POINT('', #448);
#448 = CARTESIAN_POINT('', (-1., 1.25, 0.));
#449 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#450, #451), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#450 = CARTESIAN_POINT('', (-1., 1.25, 0.));
#451 = CARTESIAN_POINT('', (-1., -1.25, 0.));
#452 = ORIENTED_EDGE('', *, *, #453, .F.);
#453 = EDGE_CURVE('', #341, #447, #454, .T.);
#454 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#455, #456), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.666666518791128), .UNSPECIFIED.);
#455 = CARTESIAN_POINT('', (-3., 1.25, 0.));
#456 = CARTESIAN_POINT('', (-1., 1.25, 0.));
#457 = ORIENTED_EDGE('', *, *, #354, .T.);
#458 = ORIENTED_EDGE('', *, *, #425, .T.);
#459 = ORIENTED_EDGE('', *, *, #210, .T.);
#460 = ORIENTED_EDGE('', *, *, #396, .T.);
#461 = ORIENTED_EDGE('', *, *, #51, .T.);
#462 = ORIENTED_EDGE('', *, *, #319, .T.);
#463 = ORIENTED_EDGE('', *, *, #374, .T.);
#464 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#465, #466), (#467, #468)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.179702800836144, 0.82033312233247), (0.181064159529908, 0.821632754999397), .UNSPECIFIED.);
#465 = CARTESIAN_POINT('', (6.65440073488455E-7, 1.50017848359644, 0.));
#466 = CARTESIAN_POINT('', (-3., 1.50017848359644, 0.));
#467 = CARTESIAN_POINT('', (6.65440073488455E-7, -1.50011126582761, 0.));
#468 = CARTESIAN_POINT('', (-3., -1.50011126582761, 0.));
#469 = ADVANCED_FACE('', (#470), #531, .F.);
#470 = FACE_OUTER_BOUND('', #471, .F.);
#471 = EDGE_LOOP('', (#472, #473, #480, #487, #494, #501, #508, #515, #522, #527, #528, #529, #530));
#472 = ORIENTED_EDGE('', *, *, #290, .F.);
#473 = ORIENTED_EDGE('', *, *, #474, .T.);
#474 = EDGE_CURVE('', #284, #475, #477, .T.);
#475 = VERTEX_POINT('', #476);
#476 = CARTESIAN_POINT('', (-15.35, -1.25, -5.));
#477 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#478, #479), .UNSPECIFIED., .F., .U., (2, 2), (-1., 1.), .UNSPECIFIED.);
#478 = CARTESIAN_POINT('', (-0.649999999999999, -1.25, -5.));
#479 = CARTESIAN_POINT('', (-15.35, -1.25, -5.));
#480 = ORIENTED_EDGE('', *, *, #481, .T.);
#481 = EDGE_CURVE('', #475, #482, #484, .T.);
#482 = VERTEX_POINT('', #483);
#483 = CARTESIAN_POINT('', (-15.35, -1.25, -2.26834813953578));
#484 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#485, #486), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.546330372092844), .UNSPECIFIED.);
#485 = CARTESIAN_POINT('', (-15.35, -1.25, -5.));
#486 = CARTESIAN_POINT('', (-15.35, -1.25, -2.26834813953578));
#487 = ORIENTED_EDGE('', *, *, #488, .T.);
#488 = EDGE_CURVE('', #482, #489, #491, .T.);
#489 = VERTEX_POINT('', #490);
#490 = CARTESIAN_POINT('', (-13., -1.25, -1.5263861462492));
#491 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#492, #493), .UNSPECIFIED., .F., .U., (2, 2), (0.187553226003996, 0.995828371352425), .UNSPECIFIED.);
#492 = CARTESIAN_POINT('', (-15.35, -1.25, -2.26834813953578));
#493 = CARTESIAN_POINT('', (-13., -1.25, -1.5263861462492));
#494 = ORIENTED_EDGE('', *, *, #495, .T.);
#495 = EDGE_CURVE('', #489, #496, #498, .T.);
#496 = VERTEX_POINT('', #497);
#497 = CARTESIAN_POINT('', (-13., -1.25, -1.58459104423772E-15));
#498 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#499, #500), .UNSPECIFIED., .F., .U., (2, 2), (0.694722770750162, 1.), .UNSPECIFIED.);
#499 = CARTESIAN_POINT('', (-13., -1.25, -1.5263861462492));
#500 = CARTESIAN_POINT('', (-13., -1.25, -5.13730472303822E-15));
#501 = ORIENTED_EDGE('', *, *, #502, .T.);
#502 = EDGE_CURVE('', #496, #503, #505, .T.);
#503 = VERTEX_POINT('', #504);
#504 = CARTESIAN_POINT('', (-15., -1.25, -2.23053898583781E-15));
#505 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#506, #507), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.666666518791128), .UNSPECIFIED.);
#506 = CARTESIAN_POINT('', (-13., -1.25, -1.58459104423772E-15));
#507 = CARTESIAN_POINT('', (-15., -1.25, -2.23053898583781E-15));
#508 = ORIENTED_EDGE('', *, *, #509, .T.);
#509 = EDGE_CURVE('', #503, #510, #512, .T.);
#510 = VERTEX_POINT('', #511);
#511 = CARTESIAN_POINT('', (-14.2587195157436, -1.25, 0.499999999999998));
#512 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#513, #514), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#513 = CARTESIAN_POINT('', (-15., -1.25, -2.23053898583781E-15));
#514 = CARTESIAN_POINT('', (-14.2587195157436, -1.25, 0.499999999999998));
#515 = ORIENTED_EDGE('', *, *, #516, .T.);
#516 = EDGE_CURVE('', #510, #517, #519, .T.);
#517 = VERTEX_POINT('', #518);
#518 = CARTESIAN_POINT('', (-1.74128048425637, -1.25, 0.5));
#519 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#520, #521), .UNSPECIFIED., .F., .U., (2, 2), (0., 2.), .UNSPECIFIED.);
#520 = CARTESIAN_POINT('', (-14.2587195157436, -1.25, 0.499999999999998));
#521 = CARTESIAN_POINT('', (-1.74128048425637, -1.25, 0.500000000000002));
#522 = ORIENTED_EDGE('', *, *, #523, .F.);
#523 = EDGE_CURVE('', #440, #517, #524, .T.);
#524 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#525, #526), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#525 = CARTESIAN_POINT('', (-1., -1.25, 0.));
#526 = CARTESIAN_POINT('', (-1.74128048425637, -1.25, 0.5));
#527 = ORIENTED_EDGE('', *, *, #439, .T.);
#528 = ORIENTED_EDGE('', *, *, #367, .T.);
#529 = ORIENTED_EDGE('', *, *, #303, .T.);
#530 = ORIENTED_EDGE('', *, *, #389, .T.);
#531 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#532, #533), (#534, #535)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.136066763757897, 1.59179970872631), (0.227669006893664, 0.772330993106336), .UNSPECIFIED.);
#532 = CARTESIAN_POINT('', (-0.649999999999999, -1.25, -5.));
#533 = CARTESIAN_POINT('', (-0.649999999999999, -1.25, 0.5));
#534 = CARTESIAN_POINT('', (-15.35, -1.25, -5.));
#535 = CARTESIAN_POINT('', (-15.35, -1.25, 0.5));
#536 = ADVANCED_FACE('', (#537), #553, .F.);
#537 = FACE_OUTER_BOUND('', #538, .F.);
#538 = EDGE_LOOP('', (#539, #540, #541, #548));
#539 = ORIENTED_EDGE('', *, *, #446, .T.);
#540 = ORIENTED_EDGE('', *, *, #523, .T.);
#541 = ORIENTED_EDGE('', *, *, #542, .T.);
#542 = EDGE_CURVE('', #517, #543, #545, .T.);
#543 = VERTEX_POINT('', #544);
#544 = CARTESIAN_POINT('', (-1.74128048425637, 1.25, 0.5));
#545 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#546, #547), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#546 = CARTESIAN_POINT('', (-1.74128048425637, -1.25, 0.5));
#547 = CARTESIAN_POINT('', (-1.74128048425637, 1.25, 0.5));
#548 = ORIENTED_EDGE('', *, *, #549, .F.);
#549 = EDGE_CURVE('', #447, #543, #550, .T.);
#550 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#551, #552), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#551 = CARTESIAN_POINT('', (-1., 1.25, 0.));
#552 = CARTESIAN_POINT('', (-1.74128048425637, 1.25, 0.5));
#553 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#554, #555), (#556, #557)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#554 = CARTESIAN_POINT('', (-1., -1.25, 0.));
#555 = CARTESIAN_POINT('', (-1., 1.25, 0.));
#556 = CARTESIAN_POINT('', (-1.74128048425637, -1.25, 0.5));
#557 = CARTESIAN_POINT('', (-1.74128048425637, 1.25, 0.5));
#558 = ADVANCED_FACE('', (#559), #575, .F.);
#559 = FACE_OUTER_BOUND('', #560, .F.);
#560 = EDGE_LOOP('', (#561, #562, #563, #570));
#561 = ORIENTED_EDGE('', *, *, #542, .F.);
#562 = ORIENTED_EDGE('', *, *, #516, .F.);
#563 = ORIENTED_EDGE('', *, *, #564, .F.);
#564 = EDGE_CURVE('', #565, #510, #567, .T.);
#565 = VERTEX_POINT('', #566);
#566 = CARTESIAN_POINT('', (-14.2587195157436, 1.25, 0.499999999999998));
#567 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#568, #569), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#568 = CARTESIAN_POINT('', (-14.2587195157436, 1.25, 0.499999999999998));
#569 = CARTESIAN_POINT('', (-14.2587195157436, -1.25, 0.499999999999998));
#570 = ORIENTED_EDGE('', *, *, #571, .T.);
#571 = EDGE_CURVE('', #565, #543, #572, .T.);
#572 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#573, #574), .UNSPECIFIED., .F., .U., (2, 2), (0., 2.), .UNSPECIFIED.);
#573 = CARTESIAN_POINT('', (-14.2587195157436, 1.25, 0.499999999999998));
#574 = CARTESIAN_POINT('', (-1.74128048425637, 1.25, 0.500000000000002));
#575 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#576, #577), (#578, #579)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 2.), (0., 1.), .UNSPECIFIED.);
#576 = CARTESIAN_POINT('', (-1.74128048425637, -1.25, 0.5));
#577 = CARTESIAN_POINT('', (-1.74128048425637, 1.25, 0.5));
#578 = CARTESIAN_POINT('', (-14.2587195157436, -1.25, 0.5));
#579 = CARTESIAN_POINT('', (-14.2587195157436, 1.25, 0.5));
#580 = ADVANCED_FACE('', (#581), #597, .F.);
#581 = FACE_OUTER_BOUND('', #582, .F.);
#582 = EDGE_LOOP('', (#583, #584, #591, #596));
#583 = ORIENTED_EDGE('', *, *, #283, .T.);
#584 = ORIENTED_EDGE('', *, *, #585, .T.);
#585 = EDGE_CURVE('', #277, #586, #588, .T.);
#586 = VERTEX_POINT('', #587);
#587 = CARTESIAN_POINT('', (-15.35, 1.25, -5.));
#588 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#589, #590), .UNSPECIFIED., .F., .U., (2, 2), (-1., 1.), .UNSPECIFIED.);
#589 = CARTESIAN_POINT('', (-0.649999999999999, 1.25, -5.));
#590 = CARTESIAN_POINT('', (-15.35, 1.25, -5.));
#591 = ORIENTED_EDGE('', *, *, #592, .T.);
#592 = EDGE_CURVE('', #586, #475, #593, .T.);
#593 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#594, #595), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#594 = CARTESIAN_POINT('', (-15.35, 1.25, -5.));
#595 = CARTESIAN_POINT('', (-15.35, -1.25, -5.));
#596 = ORIENTED_EDGE('', *, *, #474, .F.);
#597 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#598, #599), (#600, #601)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.319854133182832, 3.45863955475879), (0.233121615605156, 0.766928660090864), .UNSPECIFIED.);
#598 = CARTESIAN_POINT('', (-0.65, 1.25, -4.99999999999998));
#599 = CARTESIAN_POINT('', (-0.65, -1.25, -4.99999999999998));
#600 = CARTESIAN_POINT('', (-15.35, 1.25, -5.00000000000056));
#601 = CARTESIAN_POINT('', (-15.35, -1.25, -5.00000000000056));
#602 = ADVANCED_FACE('', (#603), #618, .F.);
#603 = FACE_OUTER_BOUND('', #604, .F.);
#604 = EDGE_LOOP('', (#605, #606, #613));
#605 = ORIENTED_EDGE('', *, *, #495, .F.);
#606 = ORIENTED_EDGE('', *, *, #607, .F.);
#607 = EDGE_CURVE('', #608, #489, #610, .T.);
#608 = VERTEX_POINT('', #609);
#609 = CARTESIAN_POINT('', (-13., -1.41051805457878, -1.58459104423772E-15));
#610 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#611, #612), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.305277229249839), .UNSPECIFIED.);
#611 = CARTESIAN_POINT('', (-13., -1.41051805457878, -1.58459104423772E-15));
#612 = CARTESIAN_POINT('', (-13., -1.25, -1.5263861462492));
#613 = ORIENTED_EDGE('', *, *, #614, .F.);
#614 = EDGE_CURVE('', #496, #608, #615, .T.);
#615 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#616, #617), .UNSPECIFIED., .F., .U., (2, 2), (0.943099610083788, 1.), .UNSPECIFIED.);
#616 = CARTESIAN_POINT('', (-13., -1.25, -1.58459104423772E-15));
#617 = CARTESIAN_POINT('', (-13., -1.41051805457878, -1.58459104423772E-15));
#618 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#619, #620), (#621, #622)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.305277229249839), (0.943099610083788, 1.), .UNSPECIFIED.);
#619 = CARTESIAN_POINT('', (-13., -1.25, -1.58459104423772E-15));
#620 = CARTESIAN_POINT('', (-13., -1.41051805457878, -1.58459104423772E-15));
#621 = CARTESIAN_POINT('', (-13., -1.25, -1.5263861462492));
#622 = CARTESIAN_POINT('', (-13., -1.41051805457878, -1.5263861462492));
#623 = ADVANCED_FACE('', (#624), #696, .F.);
#624 = FACE_OUTER_BOUND('', #625, .F.);
#625 = EDGE_LOOP('', (#626, #627, #634, #641, #648, #690, #695));
#626 = ORIENTED_EDGE('', *, *, #488, .F.);
#627 = ORIENTED_EDGE('', *, *, #628, .T.);
#628 = EDGE_CURVE('', #482, #629, #631, .T.);
#629 = VERTEX_POINT('', #630);
#630 = CARTESIAN_POINT('', (-15.35, -1.25087790833331, -2.26));
#631 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#632, #633), .UNSPECIFIED., .F., .U., (2, 2), (0.993208818197499, 1.), .UNSPECIFIED.);
#632 = CARTESIAN_POINT('', (-15.35, -1.25, -2.26834813953578));
#633 = CARTESIAN_POINT('', (-15.35, -1.25087790833331, -2.26));
#634 = ORIENTED_EDGE('', *, *, #635, .T.);
#635 = EDGE_CURVE('', #629, #636, #638, .T.);
#636 = VERTEX_POINT('', #637);
#637 = CARTESIAN_POINT('', (-15.6869895798726, -1.3234482380045, -1.6763169260393));
#638 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#639, #640), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.923301324708808), .UNSPECIFIED.);
#639 = CARTESIAN_POINT('', (-15.35, -1.25087790833331, -2.26));
#640 = CARTESIAN_POINT('', (-15.6869895798726, -1.3234482380045, -1.6763169260393));
#641 = ORIENTED_EDGE('', *, *, #642, .T.);
#642 = EDGE_CURVE('', #636, #643, #645, .T.);
#643 = VERTEX_POINT('', #644);
#644 = CARTESIAN_POINT('', (-15.8892278491614, -1.43279351602173, -0.700391463970307));
#645 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#646, #647), .UNSPECIFIED., .F., .U., (2, 2), (0.711899196569483, 0.92093253004273), .UNSPECIFIED.);
#646 = CARTESIAN_POINT('', (-15.6869895798726, -1.3234482380045, -1.6763169260393));
#647 = CARTESIAN_POINT('', (-15.8892278491614, -1.43279351602173, -0.700391463970307));
#648 = ORIENTED_EDGE('', *, *, #649, .T.);
#649 = EDGE_CURVE('', #643, #650, #652, .T.);
#650 = VERTEX_POINT('', #651);
#651 = CARTESIAN_POINT('', (-15.6900446789914, -1.49983477380653, -2.45340545584111E-15));
#652 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#653, #654, #655, #656, #657, #658, #659, #660, #661, #662, #663, #664, #665, #666, #667, #668, #669, #670, #671, #672, #673, #674, #675, #676, #677, #678, #679, #680, #681, #682, #683, #684, #685, #686, #687, #688, #689), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.979135842705003, 1.13125878655752, 1.2626423884011, 1.39403554331238, 1.48163053625572, 1.54002653630605, 1.5984382626513, 1.63738542808168, 1.66335475951694, 1.68937608332958, 1.70676210281181, 1.7183715098297, 1.72904769200603), .UNSPECIFIED.);
#653 = CARTESIAN_POINT('', (-15.8892278491608, -1.43279351602219, -0.700391463970307));
#654 = CARTESIAN_POINT('', (-15.8830044065226, -1.43785228520498, -0.650322080343282));
#655 = CARTESIAN_POINT('', (-15.8763051182807, -1.44288991993306, -0.600303428847787));
#656 = CARTESIAN_POINT('', (-15.8689602562333, -1.44789601007996, -0.550380912648652));
#657 = CARTESIAN_POINT('', (-15.8626167395594, -1.45221960610036, -0.507264471267554));
#658 = CARTESIAN_POINT('', (-15.8557935777042, -1.45652065691079, -0.464210977434961));
#659 = CARTESIAN_POINT('', (-15.8482911395092, -1.46078676719315, -0.421275270524513));
#660 = CARTESIAN_POINT('', (-15.8407881558025, -1.46505318766979, -0.378336441704563));
#661 = CARTESIAN_POINT('', (-15.8326179760806, -1.46928696018708, -0.335497413588476));
#662 = CARTESIAN_POINT('', (-15.823367159162, -1.47346031529327, -0.292891714179682));
#663 = CARTESIAN_POINT('', (-15.8171999791194, -1.47624253793892, -0.264488058436891));
#664 = CARTESIAN_POINT('', (-15.8105515235211, -1.47899913351766, -0.236176141247783));
#665 = CARTESIAN_POINT('', (-15.8031482843018, -1.48170983554999, -0.20806232479332));
#666 = CARTESIAN_POINT('', (-15.7982128474314, -1.48351694975478, -0.189319992932504));
#667 = CARTESIAN_POINT('', (-15.7929398661037, -1.48530446220148, -0.170657484219693));
#668 = CARTESIAN_POINT('', (-15.7871625359859, -1.48705869142129, -0.152152232560087));
#669 = CARTESIAN_POINT('', (-15.7813836500082, -1.48881339306262, -0.133641997356322));
#670 = CARTESIAN_POINT('', (-15.7751091493081, -1.49053794933546, -0.115261938514127));
#671 = CARTESIAN_POINT('', (-15.7679727395597, -1.49219806069985, -0.0972225650645475));
#672 = CARTESIAN_POINT('', (-15.7632143982395, -1.49330497254764, -0.085194458621526));
#673 = CARTESIAN_POINT('', (-15.7580681253063, -1.49438526088062, -0.0732970374229232));
#674 = CARTESIAN_POINT('', (-15.7522768648716, -1.49541010375272, -0.0617232130667405));
#675 = CARTESIAN_POINT('', (-15.7484153473518, -1.49609345217926, -0.0540059767195549));
#676 = CARTESIAN_POINT('', (-15.744259593582, -1.49675363570132, -0.0464161195580776));
#677 = CARTESIAN_POINT('', (-15.7396493798413, -1.49736833502947, -0.0391152912854122));
#678 = CARTESIAN_POINT('', (-15.7350299361374, -1.49798426502771, -0.0317998462552971));
#679 = CARTESIAN_POINT('', (-15.7299367310316, -1.49856091216123, -0.0247083668912407));
#680 = CARTESIAN_POINT('', (-15.7240543643962, -1.49903409095535, -0.0183516200439195));
#681 = CARTESIAN_POINT('', (-15.7201240900697, -1.49935024303863, -0.0141043909126522));
#682 = CARTESIAN_POINT('', (-15.7157887732788, -1.49962317295606, -0.0101402832796592));
#683 = CARTESIAN_POINT('', (-15.7109617675653, -1.49979966586346, -0.00693796695997925));
#684 = CARTESIAN_POINT('', (-15.7077385643438, -1.49991751791119, -0.00479964003625927));
#685 = CARTESIAN_POINT('', (-15.7042443409224, -1.49999243106874, -0.00298405555668924));
#686 = CARTESIAN_POINT('', (-15.7005737716046, -1.49999945130974, -0.00175839583845759));
#687 = CARTESIAN_POINT('', (-15.697198261842, -1.50000590722706, -0.000631261057338272));
#688 = CARTESIAN_POINT('', (-15.6936014464003, -1.49995286805177, -2.68439466964614E-15));
#689 = CARTESIAN_POINT('', (-15.6900446789914, -1.49983477380653, -2.67545006076615E-15));
#690 = ORIENTED_EDGE('', *, *, #691, .F.);
#691 = EDGE_CURVE('', #608, #650, #692, .T.);
#692 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#693, #694), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#693 = CARTESIAN_POINT('', (-13., -1.41051805457878, -1.58459104423772E-15));
#694 = CARTESIAN_POINT('', (-15.6900446789914, -1.49983477380653, -2.45340545584111E-15));
#695 = ORIENTED_EDGE('', *, *, #607, .T.);
#696 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#697, #698), (#699, #700)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (4.17821776311418, 7.07192025231129), (2.39678941818977, 4.67763225342549), .UNSPECIFIED.);
#697 = CARTESIAN_POINT('', (-15.8867850088683, -1.50636708196544, -1.33226762955019E-15));
#698 = CARTESIAN_POINT('', (-15.8946966019117, -1.2680853923495, -2.26834813953578));
#699 = CARTESIAN_POINT('', (-12.9946762378289, -1.41034129135444, -4.44089209850063E-16));
#700 = CARTESIAN_POINT('', (-13.0025878308722, -1.17205960173851, -2.26834813953578));
#701 = ADVANCED_FACE('', (#702), #764, .F.);
#702 = FACE_OUTER_BOUND('', #703, .F.);
#703 = EDGE_LOOP('', (#704, #705, #756));
#704 = ORIENTED_EDGE('', *, *, #649, .F.);
#705 = ORIENTED_EDGE('', *, *, #706, .T.);
#706 = EDGE_CURVE('', #643, #707, #709, .T.);
#707 = VERTEX_POINT('', #708);
#708 = CARTESIAN_POINT('', (-15.9983565686105, -1.1686414610197, -2.55298217107625E-15));
#709 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#710, #711, #712, #713, #714, #715, #716, #717, #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), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.990674041265978, 1.01821196342643, 1.14955932609911, 1.18848214049245, 1.31991431748737, 1.40752442060497, 1.49514510647753, 1.55355291419289, 1.61197680847425, 1.65092393769484, 1.67256927819527, 1.68990451843352, 1.71589673380161, 1.74196885592248, 1.75934988407408, 1.77555090798601), .UNSPECIFIED.);
#710 = CARTESIAN_POINT('', (-15.8892278491614, -1.43279351602173, -0.700391463970307));
#711 = CARTESIAN_POINT('', (-15.8908379576766, -1.43148472797444, -0.69144974665661));
#712 = CARTESIAN_POINT('', (-15.8924448852215, -1.4301507914394, -0.682510780711782));
#713 = CARTESIAN_POINT('', (-15.8940483532362, -1.42879081407764, -0.673575511493515));
#714 = CARTESIAN_POINT('', (-15.9016963992158, -1.42230414312543, -0.630957043776469));
#715 = CARTESIAN_POINT('', (-15.9092689350862, -1.41522848820668, -0.588408186340589));
#716 = CARTESIAN_POINT('', (-15.9167408631163, -1.40742082406456, -0.545980436340689));
#717 = CARTESIAN_POINT('', (-15.9189550565493, -1.40510714028694, -0.533407611087333));
#718 = CARTESIAN_POINT('', (-15.9211604405888, -1.40272857756955, -0.520844969164181));
#719 = CARTESIAN_POINT('', (-15.923356087507, -1.40027994950464, -0.508294468168463));
#720 = CARTESIAN_POINT('', (-15.9307702136145, -1.39201157214711, -0.465914704681305));
#721 = CARTESIAN_POINT('', (-15.9380780004006, -1.38295566767201, -0.423655518140138));
#722 = CARTESIAN_POINT('', (-15.9452245078538, -1.37281475847821, -0.381638032788958));
#723 = CARTESIAN_POINT('', (-15.9499882291069, -1.36605502794275, -0.353630003792367));
#724 = CARTESIAN_POINT('', (-15.954681867944, -1.35880959044168, -0.325719352429608));
#725 = CARTESIAN_POINT('', (-15.959274391851, -1.35091981225233, -0.297979546921087));
#726 = CARTESIAN_POINT('', (-15.9638674705063, -1.34302908102691, -0.270236390616779));
#727 = CARTESIAN_POINT('', (-15.9683638293981, -1.33449623428039, -0.242642789450094));
#728 = CARTESIAN_POINT('', (-15.9727027466105, -1.32503284364956, -0.215354316284249));
#729 = CARTESIAN_POINT('', (-15.9755950618179, -1.31872456273625, -0.197163864136514));
#730 = CARTESIAN_POINT('', (-15.9784191816045, -1.31199771748126, -0.179097241155987));
#731 = CARTESIAN_POINT('', (-15.981138770083, -1.30469475610662, -0.161255631409456));
#732 = CARTESIAN_POINT('', (-15.9838591075853, -1.2973897833644, -0.143409107761105));
#733 = CARTESIAN_POINT('', (-15.9864805045072, -1.28950709998422, -0.125758135650407));
#734 = CARTESIAN_POINT('', (-15.9889269431304, -1.28075408059874, -0.108534290001921));
#735 = CARTESIAN_POINT('', (-15.9905578128688, -1.27491905400098, -0.0970523552490516));
#736 = CARTESIAN_POINT('', (-15.9921132682722, -1.26868742526725, -0.0857429945382746));
#737 = CARTESIAN_POINT('', (-15.9935446209986, -1.26189955963346, -0.0747694715543023));
#738 = CARTESIAN_POINT('', (-15.9943401126756, -1.2581271207951, -0.0686708027632827));
#739 = CARTESIAN_POINT('', (-15.9950993720181, -1.25416857119808, -0.0626574305663974));
#740 = CARTESIAN_POINT('', (-15.995803989155, -1.25, -0.0568106885952696));
#741 = CARTESIAN_POINT('', (-15.9963683003213, -1.24666149011758, -0.052128171511349));
#742 = CARTESIAN_POINT('', (-15.9968997769844, -1.24317536275369, -0.0475342663033658));
#743 = CARTESIAN_POINT('', (-15.9973854117813, -1.23952109385715, -0.0430844866184292));
#744 = CARTESIAN_POINT('', (-15.9981135657646, -1.23404193447623, -0.0364125495513997));
#745 = CARTESIAN_POINT('', (-15.9987446120377, -1.22815715426141, -0.0300193280690352));
#746 = CARTESIAN_POINT('', (-15.9992099581838, -1.22175777846318, -0.0241971650406935));
#747 = CARTESIAN_POINT('', (-15.9996767349236, -1.21533872933843, -0.0183571031862938));
#748 = CARTESIAN_POINT('', (-15.9999812802341, -1.20832045528652, -0.0130248430129439));
#749 = CARTESIAN_POINT('', (-15.9999991720848, -1.20070480383887, -0.00883796738025227));
#750 = CARTESIAN_POINT('', (-16.0000110997199, -1.19562781579814, -0.00604677904116508));
#751 = CARTESIAN_POINT('', (-15.9998926151284, -1.19022124872254, -0.00374559622341254));
#752 = CARTESIAN_POINT('', (-15.9996066524071, -1.18464246655796, -0.0022086846903081));
#753 = CARTESIAN_POINT('', (-15.9993401037975, -1.17944242991688, -0.00077611463281895));
#754 = CARTESIAN_POINT('', (-15.9989210579881, -1.17401221868897, -2.13499835311551E-15));
#755 = CARTESIAN_POINT('', (-15.9983565686105, -1.1686414610197, -2.10889296122619E-15));
#756 = ORIENTED_EDGE('', *, *, #757, .F.);
#757 = EDGE_CURVE('', #650, #707, #758, .T.);
#758 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#759, #760, #761, #762, #763), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 2, 3), (0., 0.5, 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.910139099671243, 1., 0.910139099671243, 1.))
   REPRESENTATION_ITEM ('')
);
#759 = CARTESIAN_POINT('', (-15.6900446789914, -1.49983477380653, -2.45340545584111E-15));
#760 = CARTESIAN_POINT('', (-15.8265319364727, -1.50436651788864, -2.49748728735347E-15));
#761 = CARTESIAN_POINT('', (-15.919581585096, -1.40441117260741, -2.52753990185086E-15));
#762 = CARTESIAN_POINT('', (-16.0126312337192, -1.30445582732619, -2.55759251634826E-15));
#763 = CARTESIAN_POINT('', (-15.9983565686105, -1.1686414610197, -2.55298217107625E-15));
#764 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#765, #766, #767, #768, #769), (#770, #771, #772, #773, #774)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 2, 3), (0., 0.700391463970305), (0., 0.500000000000002, 1.), .UNSPECIFIED.)
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.910139099671245, 1., 0.910139099671245, 1.), (1., 0.910139099671245, 1., 0.910139099671245, 1.)))
   REPRESENTATION_ITEM ('')
   SURFACE ()
);
#765 = CARTESIAN_POINT('', (-15.6900446789914, -1.49983477380654, -2.45340545584111E-15));
#766 = CARTESIAN_POINT('', (-15.8265319364727, -1.50436651788864, -2.45340545584111E-15));
#767 = CARTESIAN_POINT('', (-15.919581585096, -1.40441117260741, -2.45450925115775E-15));
#768 = CARTESIAN_POINT('', (-16.0126312337192, -1.30445582732619, -2.45561304647438E-15));
#769 = CARTESIAN_POINT('', (-15.9983565686105, -1.1686414610197, -2.45706278528683E-15));
#770 = CARTESIAN_POINT('', (-15.6900446789914, -1.49983477380654, -0.700391463970307));
#771 = CARTESIAN_POINT('', (-15.8265319364727, -1.50436651788864, -0.700391463970307));
#772 = CARTESIAN_POINT('', (-15.919581585096, -1.40441117260741, -0.700391463970307));
#773 = CARTESIAN_POINT('', (-16.0126312337192, -1.30445582732619, -0.700391463970307));
#774 = CARTESIAN_POINT('', (-15.9983565686105, -1.1686414610197, -0.700391463970307));
#775 = ADVANCED_FACE('', (#776), #861, .F.);
#776 = FACE_OUTER_BOUND('', #777, .F.);
#777 = EDGE_LOOP('', (#778, #787, #794, #801, #849, #854, #855, #856));
#778 = ORIENTED_EDGE('', *, *, #779, .F.);
#779 = EDGE_CURVE('', #780, #782, #784, .T.);
#780 = VERTEX_POINT('', #781);
#781 = CARTESIAN_POINT('', (-15.35, 1.25, -2.01660307112394));
#782 = VERTEX_POINT('', #783);
#783 = CARTESIAN_POINT('', (-15.35, 0.797380983139925, -2.26));
#784 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#785, #786), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.181047606744031), .UNSPECIFIED.);
#785 = CARTESIAN_POINT('', (-15.35, 1.25, -2.01660307112394));
#786 = CARTESIAN_POINT('', (-15.35, 0.797380983139925, -2.26));
#787 = ORIENTED_EDGE('', *, *, #788, .F.);
#788 = EDGE_CURVE('', #789, #780, #791, .T.);
#789 = VERTEX_POINT('', #790);
#790 = CARTESIAN_POINT('', (-15.2899322135883, 1.25, -2.32393218824383));
#791 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#792, #793), .UNSPECIFIED., .F., .U., (2, 2), (0.535213562351235, 0.596679385775212), .UNSPECIFIED.);
#792 = CARTESIAN_POINT('', (-15.2899322135883, 1.25, -2.32393218824383));
#793 = CARTESIAN_POINT('', (-15.35, 1.25, -2.01660307112394));
#794 = ORIENTED_EDGE('', *, *, #795, .F.);
#795 = EDGE_CURVE('', #796, #789, #798, .T.);
#796 = VERTEX_POINT('', #797);
#797 = CARTESIAN_POINT('', (-15.6157943078347, 1.44851771621255, -0.549947256666009));
#798 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#799, #800), .UNSPECIFIED., .F., .U., (2, 2), (0.109989451333202, 0.464786437648765), .UNSPECIFIED.);
#799 = CARTESIAN_POINT('', (-15.6157943078347, 1.44851771621255, -0.549947256666009));
#800 = CARTESIAN_POINT('', (-15.2899322135883, 1.25, -2.32393218824383));
#801 = ORIENTED_EDGE('', *, *, #802, .T.);
#802 = EDGE_CURVE('', #796, #803, #805, .T.);
#803 = VERTEX_POINT('', #804);
#804 = CARTESIAN_POINT('', (-15.7461064039729, 1.2313585389803, -2.47151193376827E-15));
#805 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#806, #807, #808, #809, #810, #811, #812, #813, #814, #815, #816, #817, #818, #819, #820, #821, #822, #823, #824, #825, #826, #827, #828, #829, #830, #831, #832, #833, #834, #835, #836, #837, #838, #839, #840, #841, #842, #843, #844, #845, #846, #847, #848), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.908434743217654, 0.919907659912239, 1.05130049839566, 1.13888687079298, 1.22647427091973, 1.2848604973441, 1.34324935496015, 1.38217137227124, 1.42109955694324, 1.4600583150321, 1.48603669564113, 1.51210829228216, 1.51943377754111, 1.52364985583491, 1.53853004527499), .UNSPECIFIED.);
#806 = CARTESIAN_POINT('', (-15.6157943078347, 1.44851771621255, -0.549947256666009));
#807 = CARTESIAN_POINT('', (-15.6165741960854, 1.44799036584224, -0.546240642448586));
#808 = CARTESIAN_POINT('', (-15.6173545210424, 1.44745737082775, -0.54253482930007));
#809 = CARTESIAN_POINT('', (-15.6181352515598, 1.44691863021495, -0.538830030862278));
#810 = CARTESIAN_POINT('', (-15.6270765174566, 1.44074873809366, -0.496401065699451));
#811 = CARTESIAN_POINT('', (-15.6360748923383, 1.43383437654335, -0.454080249914776));
#812 = CARTESIAN_POINT('', (-15.645137927842, 1.42591578286449, -0.411968634521599));
#813 = CARTESIAN_POINT('', (-15.6511793408431, 1.42063725396729, -0.383897061742961));
#814 = CARTESIAN_POINT('', (-15.6572513875589, 1.41490974120654, -0.355910197613426));
#815 = CARTESIAN_POINT('', (-15.6633567432305, 1.40859928398616, -0.328066392226443));
#816 = CARTESIAN_POINT('', (-15.6694621705418, 1.40228875271952, -0.300222260123128));
#817 = CARTESIAN_POINT('', (-15.6756038259905, 1.39539734789847, -0.272505137510272));
#818 = CARTESIAN_POINT('', (-15.6817835660821, 1.38769180292549, -0.245030965472206));
#819 = CARTESIAN_POINT('', (-15.6859030136705, 1.38255524569391, -0.226716536374922));
#820 = CARTESIAN_POINT('', (-15.6900413754797, 1.37705349612141, -0.208501718126011));
#821 = CARTESIAN_POINT('', (-15.6941977522466, 1.3710655554559, -0.19045617904998));
#822 = CARTESIAN_POINT('', (-15.6983543163217, 1.36507734494216, -0.17240982674667));
#823 = CARTESIAN_POINT('', (-15.7025324747663, 1.35860276768641, -0.154514534471252));
#824 = CARTESIAN_POINT('', (-15.7067263425861, 1.35143040878957, -0.136914100894553));
#825 = CARTESIAN_POINT('', (-15.7095219752213, 1.34664931375634, -0.125181650418134));
#826 = CARTESIAN_POINT('', (-15.7123270038509, 1.34155310257217, -0.113570580985802));
#827 = CARTESIAN_POINT('', (-15.7151353857694, 1.33603296451051, -0.102170322545337));
#828 = CARTESIAN_POINT('', (-15.7179442126881, 1.33051195175925, -0.0907682576849281));
#829 = CARTESIAN_POINT('', (-15.7207613722486, 1.32456186050474, -0.0795542978955514));
#830 = CARTESIAN_POINT('', (-15.7235691050196, 1.3179988579849, -0.0687181635224945));
#831 = CARTESIAN_POINT('', (-15.7263790429277, 1.31143070101428, -0.0578735186664522));
#832 = CARTESIAN_POINT('', (-15.7291934028754, 1.30422886442806, -0.0473470116996244));
#833 = CARTESIAN_POINT('', (-15.7319507760795, 1.29607197976257, -0.0376256494155039));
#834 = CARTESIAN_POINT('', (-15.7337894407108, 1.29063282654468, -0.0311432751858341));
#835 = CARTESIAN_POINT('', (-15.7356132779874, 1.28473296842415, -0.0249845083453364));
#836 = CARTESIAN_POINT('', (-15.7373638270566, 1.27825430221362, -0.0195119666052935));
#837 = CARTESIAN_POINT('', (-15.7391206574733, 1.27175238915157, -0.0140197882053057));
#838 = CARTESIAN_POINT('', (-15.7408301142849, 1.2645541697648, -0.00914443111954122));
#839 = CARTESIAN_POINT('', (-15.7423348322832, 1.25674222051668, -0.00564662854545589));
#840 = CARTESIAN_POINT('', (-15.7427576214843, 1.25454725256559, -0.00466383099960659));
#841 = CARTESIAN_POINT('', (-15.7431664969353, 1.25229146087771, -0.00378492947580369));
#842 = CARTESIAN_POINT('', (-15.7435538245174, 1.25, -0.0030354560465862));
#843 = CARTESIAN_POINT('', (-15.7437767453688, 1.2486811824574, -0.00260410733110838));
#844 = CARTESIAN_POINT('', (-15.7439936639187, 1.24734395626948, -0.00221336791090121));
#845 = CARTESIAN_POINT('', (-15.7442025556861, 1.24599765877625, -0.00186857461012324));
#846 = CARTESIAN_POINT('', (-15.7449398164425, 1.24124604831125, -0.00065166418395796));
#847 = CARTESIAN_POINT('', (-15.7455879361944, 1.23629143038209, -2.47026222653019E-15));
#848 = CARTESIAN_POINT('', (-15.7461064039729, 1.2313585389803, -2.47151193376827E-15));
#849 = ORIENTED_EDGE('', *, *, #850, .F.);
#850 = EDGE_CURVE('', #707, #803, #851, .T.);
#851 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#852, #853), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#852 = CARTESIAN_POINT('', (-15.9983565686105, -1.1686414610197, -2.55298217107625E-15));
#853 = CARTESIAN_POINT('', (-15.7461064039729, 1.2313585389803, -2.47151193376827E-15));
#854 = ORIENTED_EDGE('', *, *, #706, .F.);
#855 = ORIENTED_EDGE('', *, *, #642, .F.);
#856 = ORIENTED_EDGE('', *, *, #857, .T.);
#857 = EDGE_CURVE('', #636, #782, #858, .T.);
#858 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#859, #860), .UNSPECIFIED., .F., .U., (2, 2), (0.0768560916486864, 1.), .UNSPECIFIED.);
#859 = CARTESIAN_POINT('', (-15.6869895798726, -1.3234482380045, -1.6763169260393));
#860 = CARTESIAN_POINT('', (-15.35, 0.797380983139925, -2.26));
#861 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#862, #863), (#864, #865)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (5.78986565401922, 8.68397434972747), (2.97869244997092, 5.3461209680787), .UNSPECIFIED.);
#862 = CARTESIAN_POINT('', (-15.7221076221384, 1.459691695811, 0.));
#863 = CARTESIAN_POINT('', (-15.2728555708653, 1.41247340252041, -2.32393218824383));
#864 = CARTESIAN_POINT('', (-16.0246243566303, -1.41856276964657, -4.44089209850063E-16));
#865 = CARTESIAN_POINT('', (-15.5753723053573, -1.46578106293716, -2.32393218824383));
#866 = ADVANCED_FACE('', (#867), #918, .F.);
#867 = FACE_OUTER_BOUND('', #868, .F.);
#868 = EDGE_LOOP('', (#869, #911, #917));
#869 = ORIENTED_EDGE('', *, *, #870, .T.);
#870 = EDGE_CURVE('', #796, #871, #873, .T.);
#871 = VERTEX_POINT('', #872);
#872 = CARTESIAN_POINT('', (-15.4367656885918, 1.49979884676183, -2.37160293459154E-15));
#873 = B_SPLINE_CURVE_WITH_KNOTS('', 3, (#874, #875, #876, #877, #878, #879, #880, #881, #882, #883, #884, #885, #886, #887, #888, #889, #890, #891, #892, #893, #894, #895, #896, #897, #898, #899, #900, #901, #902, #903, #904, #905, #906, #907, #908, #909, #910), .UNSPECIFIED., .F., .U., (4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4), (0.897405536304715, 1.01815616078096, 1.14953086640284, 1.23711225616435, 1.2954984821704, 1.35389286486362, 1.39282422949511, 1.43179358380244, 1.45781152249127, 1.4752026575147, 1.48290834481966, 1.48804014726944, 1.49477907843478), .UNSPECIFIED.);
#874 = CARTESIAN_POINT('', (-15.6157943078347, 1.44851771621254, -0.549947256666009));
#875 = CARTESIAN_POINT('', (-15.6099475604282, 1.45247121135396, -0.51032069136249));
#876 = CARTESIAN_POINT('', (-15.603693810495, 1.45640418011177, -0.47074750574544));
#877 = CARTESIAN_POINT('', (-15.5968822075529, 1.46030661836537, -0.431270268027247));
#878 = CARTESIAN_POINT('', (-15.5894712948954, 1.46455240739544, -0.388319678690851));
#879 = CARTESIAN_POINT('', (-15.5814123192658, 1.46876435130289, -0.345465126729168));
#880 = CARTESIAN_POINT('', (-15.5723180480782, 1.47291529891303, -0.302829867368487));
#881 = CARTESIAN_POINT('', (-15.5662553215761, 1.47568254211104, -0.274406928188716));
#882 = CARTESIAN_POINT('', (-15.5597312389293, 1.47842375537137, -0.246070761582741));
#883 = CARTESIAN_POINT('', (-15.5524956402212, 1.48111975448994, -0.217916624066907));
#884 = CARTESIAN_POINT('', (-15.5476720206986, 1.48291704515041, -0.199147638549768));
#885 = CARTESIAN_POINT('', (-15.5425301605622, 1.4846949128657, -0.180452462660628));
#886 = CARTESIAN_POINT('', (-15.5369216820813, 1.48644088701291, -0.161897977494905));
#887 = CARTESIAN_POINT('', (-15.5313124200833, 1.48818710507663, -0.143340900225843));
#888 = CARTESIAN_POINT('', (-15.5252433693276, 1.48990397128626, -0.124902726281704));
#889 = CARTESIAN_POINT('', (-15.5184014678218, 1.49156190908762, -0.106755609692847));
#890 = CARTESIAN_POINT('', (-15.5138399920426, 1.49266725138433, -0.094656979990015));
#891 = CARTESIAN_POINT('', (-15.5089309207195, 1.49374786431993, -0.0826723870483922));
#892 = CARTESIAN_POINT('', (-15.5034659362101, 1.49478079331314, -0.0709475123978406));
#893 = CARTESIAN_POINT('', (-15.4979956189057, 1.4958147302504, -0.0592111964790072));
#894 = CARTESIAN_POINT('', (-15.4919736197599, 1.49680816144575, -0.0476678226769385));
#895 = CARTESIAN_POINT('', (-15.4848991298169, 1.49769099738073, -0.0368093374646191));
#896 = CARTESIAN_POINT('', (-15.4801758376592, 1.49828042390926, -0.0295596560796089));
#897 = CARTESIAN_POINT('', (-15.4749491177601, 1.49882630467768, -0.0225486312289531));
#898 = CARTESIAN_POINT('', (-15.4688846402816, 1.49925460735138, -0.0163636928820244));
#899 = CARTESIAN_POINT('', (-15.4648309699298, 1.49954089711931, -0.0122295030374934));
#900 = CARTESIAN_POINT('', (-15.4603355712666, 1.49977750441006, -0.00841381137349094));
#901 = CARTESIAN_POINT('', (-15.4553418834657, 1.49990391929016, -0.00547224168234401));
#902 = CARTESIAN_POINT('', (-15.4531292736136, 1.49995993136386, -0.00416888705970368));
#903 = CARTESIAN_POINT('', (-15.4508024652139, 1.49999414879315, -0.0030329729691442));
#904 = CARTESIAN_POINT('', (-15.4483925207164, 1.49999931159177, -0.00214434827515762));
#905 = CARTESIAN_POINT('', (-15.4467875556319, 1.50000274989151, -0.00155254559733644));
#906 = CARTESIAN_POINT('', (-15.4451377789915, 1.4999932947088, -0.00106772323977499));
#907 = CARTESIAN_POINT('', (-15.4434647166761, 1.49996939470194, -0.000712130168922535));
#908 = CARTESIAN_POINT('', (-15.4412677007369, 1.49993800991996, -0.000245175867622531));
#909 = CARTESIAN_POINT('', (-15.4390104928049, 1.49988109277186, -1.42155860022446E-8));
#910 = CARTESIAN_POINT('', (-15.4367656885918, 1.49979884676186, -5.48022740354198E-15));
#911 = ORIENTED_EDGE('', *, *, #912, .F.);
#912 = EDGE_CURVE('', #803, #871, #913, .T.);
#913 = (
   BOUNDED_CURVE ()
   B_SPLINE_CURVE (2, (#914, #915, #916), .UNSPECIFIED., .F., .U.)
   B_SPLINE_CURVE_WITH_KNOTS ((3, 3), (0., 1.), .UNSPECIFIED.)
   CURVE ()
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_CURVE ((1., 0.730768474821986, 1.))
   REPRESENTATION_ITEM ('')
);
#914 = CARTESIAN_POINT('', (-15.7461064039729, 1.2313585389803, -2.47151193376827E-15));
#915 = CARTESIAN_POINT('', (-15.7168137676038, 1.51005935722043, -2.46205117468496E-15));
#916 = CARTESIAN_POINT('', (-15.4367656885918, 1.49979884676183, -2.37160293459154E-15));
#917 = ORIENTED_EDGE('', *, *, #802, .F.);
#918 = (
   BOUNDED_SURFACE ()
   B_SPLINE_SURFACE (1, 2, ((#919, #920, #921), (#922, #923, #924)), .UNSPECIFIED., .F., .F., .U.)
   B_SPLINE_SURFACE_WITH_KNOTS ((2, 2), (3, 3), (0., 0.549947256666007), (0., 1.), .UNSPECIFIED.)
   GEOMETRIC_REPRESENTATION_ITEM ()
   RATIONAL_B_SPLINE_SURFACE (((1., 0.730768474821987, 1.), (1., 0.730768474821987, 1.)))
   REPRESENTATION_ITEM ('')
   SURFACE ()
);
#919 = CARTESIAN_POINT('', (-15.7461064039729, 1.2313585389803, -2.47151193376827E-15));
#920 = CARTESIAN_POINT('', (-15.7168137676038, 1.51005935722043, -2.47151193376827E-15));
#921 = CARTESIAN_POINT('', (-15.4367656885918, 1.49979884676183, -2.38170745223374E-15));
#922 = CARTESIAN_POINT('', (-15.7461064039729, 1.2313585389803, -0.549947256666009));
#923 = CARTESIAN_POINT('', (-15.7168137676038, 1.51005935722043, -0.549947256666009));
#924 = CARTESIAN_POINT('', (-15.4367656885918, 1.49979884676183, -0.549947256666009));
#925 = ADVANCED_FACE('', (#926), #949, .F.);
#926 = FACE_OUTER_BOUND('', #927, .F.);
#927 = EDGE_LOOP('', (#928, #935, #942, #947, #948));
#928 = ORIENTED_EDGE('', *, *, #929, .F.);
#929 = EDGE_CURVE('', #930, #789, #932, .T.);
#930 = VERTEX_POINT('', #931);
#931 = CARTESIAN_POINT('', (-13., 1.25, -1.52620321318063));
#932 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#933, #934), .UNSPECIFIED., .F., .U., (2, 2), (0.00507738368145934, 0.873642558016985), .UNSPECIFIED.);
#933 = CARTESIAN_POINT('', (-13., 1.25, -1.52620321318063));
#934 = CARTESIAN_POINT('', (-15.2899322135883, 1.25, -2.32393218824383));
#935 = ORIENTED_EDGE('', *, *, #936, .T.);
#936 = EDGE_CURVE('', #930, #937, #939, .T.);
#937 = VERTEX_POINT('', #938);
#938 = CARTESIAN_POINT('', (-13., 1.41051805457878, -1.58459104423772E-15));
#939 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#940, #941), .UNSPECIFIED., .F., .U., (2, 2), (0.694759357363874, 1.), .UNSPECIFIED.);
#940 = CARTESIAN_POINT('', (-13., 1.25, -1.52620321318063));
#941 = CARTESIAN_POINT('', (-13., 1.41051805457878, 1.91765795162527E-16));
#942 = ORIENTED_EDGE('', *, *, #943, .F.);
#943 = EDGE_CURVE('', #871, #937, #944, .T.);
#944 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#945, #946), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#945 = CARTESIAN_POINT('', (-15.4367656885918, 1.4997988467619, -2.37160293459154E-15));
#946 = CARTESIAN_POINT('', (-13., 1.41051805457878, -1.58459104423772E-15));
#947 = ORIENTED_EDGE('', *, *, #870, .F.);
#948 = ORIENTED_EDGE('', *, *, #795, .T.);
#949 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#950, #951), (#952, #953)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (6.06484086884405, 8.68614981904883), (2.39410095974714, 4.73083401617047), .UNSPECIFIED.);
#950 = CARTESIAN_POINT('', (-12.9941266546618, 1.41030286075567, 1.77635683940025E-15));
#951 = CARTESIAN_POINT('', (-13.0030699304761, 1.16621152694089, -2.32393218824383));
#952 = CARTESIAN_POINT('', (-15.6136779250828, 1.50628074393188, 8.88178419700125E-16));
#953 = CARTESIAN_POINT('', (-15.6226212008972, 1.26218941011711, -2.32393218824383));
#954 = ADVANCED_FACE('', (#955), #970, .F.);
#955 = FACE_OUTER_BOUND('', #956, .F.);
#956 = EDGE_LOOP('', (#957, #964, #969));
#957 = ORIENTED_EDGE('', *, *, #958, .F.);
#958 = EDGE_CURVE('', #959, #930, #961, .T.);
#959 = VERTEX_POINT('', #960);
#960 = CARTESIAN_POINT('', (-13., 1.25, -1.58459104423772E-15));
#961 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#962, #963), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.305240642636126), .UNSPECIFIED.);
#962 = CARTESIAN_POINT('', (-13., 1.25, 1.91765795162527E-16));
#963 = CARTESIAN_POINT('', (-13., 1.25, -1.52620321318063));
#964 = ORIENTED_EDGE('', *, *, #965, .F.);
#965 = EDGE_CURVE('', #937, #959, #966, .T.);
#966 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#967, #968), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.0569003899162123), .UNSPECIFIED.);
#967 = CARTESIAN_POINT('', (-13., 1.41051805457878, -1.58459104423772E-15));
#968 = CARTESIAN_POINT('', (-13., 1.25, -1.58459104423772E-15));
#969 = ORIENTED_EDGE('', *, *, #936, .F.);
#970 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#971, #972), (#973, #974)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 0.305277229249839), (0., 0.0569003899162123), .UNSPECIFIED.);
#971 = CARTESIAN_POINT('', (-13., 1.41051805457878, -1.58459104423772E-15));
#972 = CARTESIAN_POINT('', (-13., 1.25, -1.58459104423772E-15));
#973 = CARTESIAN_POINT('', (-13., 1.41051805457878, -1.5263861462492));
#974 = CARTESIAN_POINT('', (-13., 1.25, -1.5263861462492));
#975 = ADVANCED_FACE('', (#976), #1005, .F.);
#976 = FACE_OUTER_BOUND('', #977, .F.);
#977 = EDGE_LOOP('', (#978, #979, #980, #981, #982, #983, #984, #985, #992, #997, #998, #999, #1000));
#978 = ORIENTED_EDGE('', *, *, #585, .F.);
#979 = ORIENTED_EDGE('', *, *, #276, .T.);
#980 = ORIENTED_EDGE('', *, *, #416, .T.);
#981 = ORIENTED_EDGE('', *, *, #338, .T.);
#982 = ORIENTED_EDGE('', *, *, #453, .T.);
#983 = ORIENTED_EDGE('', *, *, #549, .T.);
#984 = ORIENTED_EDGE('', *, *, #571, .F.);
#985 = ORIENTED_EDGE('', *, *, #986, .F.);
#986 = EDGE_CURVE('', #987, #565, #989, .T.);
#987 = VERTEX_POINT('', #988);
#988 = CARTESIAN_POINT('', (-15., 1.25, -2.23053898583781E-15));
#989 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#990, #991), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#990 = CARTESIAN_POINT('', (-15., 1.25, -2.23053898583781E-15));
#991 = CARTESIAN_POINT('', (-14.2587195157436, 1.25, 0.499999999999998));
#992 = ORIENTED_EDGE('', *, *, #993, .T.);
#993 = EDGE_CURVE('', #987, #959, #994, .T.);
#994 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#995, #996), .UNSPECIFIED., .F., .U., (2, 2), (0.333333481208872, 1.), .UNSPECIFIED.);
#995 = CARTESIAN_POINT('', (-15., 1.25, -2.23053898583781E-15));
#996 = CARTESIAN_POINT('', (-13., 1.25, -1.58459104423772E-15));
#997 = ORIENTED_EDGE('', *, *, #958, .T.);
#998 = ORIENTED_EDGE('', *, *, #929, .T.);
#999 = ORIENTED_EDGE('', *, *, #788, .T.);
#1000 = ORIENTED_EDGE('', *, *, #1001, .F.);
#1001 = EDGE_CURVE('', #586, #780, #1002, .T.);
#1002 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#1003, #1004), .UNSPECIFIED., .F., .U., (2, 2), (0., 0.596679385775212), .UNSPECIFIED.);
#1003 = CARTESIAN_POINT('', (-15.35, 1.25, -5.));
#1004 = CARTESIAN_POINT('', (-15.35, 1.25, -2.01660307112394));
#1005 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#1006, #1007), (#1008, #1009)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.136066763757897, 1.59179970872631), (0.227669006893664, 0.772330993106336), .UNSPECIFIED.);
#1006 = CARTESIAN_POINT('', (-15.35, 1.25, -5.));
#1007 = CARTESIAN_POINT('', (-15.35, 1.25, 0.499999999999996));
#1008 = CARTESIAN_POINT('', (-0.65, 1.25, -5.));
#1009 = CARTESIAN_POINT('', (-0.650000000000004, 1.25, 0.5));
#1010 = ADVANCED_FACE('', (#1011), #1020, .F.);
#1011 = FACE_OUTER_BOUND('', #1012, .F.);
#1012 = EDGE_LOOP('', (#1013, #1014, #1019));
#1013 = ORIENTED_EDGE('', *, *, #635, .F.);
#1014 = ORIENTED_EDGE('', *, *, #1015, .F.);
#1015 = EDGE_CURVE('', #782, #629, #1016, .T.);
#1016 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#1017, #1018), .UNSPECIFIED., .F., .U., (2, 2), (0.475081844276877, 0.539089934635416), .UNSPECIFIED.);
#1017 = CARTESIAN_POINT('', (-15.35, 0.797380983139925, -2.26));
#1018 = CARTESIAN_POINT('', (-15.35, -1.25087790833331, -2.26));
#1019 = ORIENTED_EDGE('', *, *, #857, .F.);
#1020 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#1021, #1022), (#1023, #1024)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.475081844276877, 0.541357757437641), (0.907674087706126, 1.), .UNSPECIFIED.);
#1021 = CARTESIAN_POINT('', (-15.6869895798726, 0.797380983139924, -1.6763169260393));
#1022 = CARTESIAN_POINT('', (-15.35, 0.797380983139924, -2.26));
#1023 = CARTESIAN_POINT('', (-15.6869895798726, -1.3234482380045, -1.6763169260393));
#1024 = CARTESIAN_POINT('', (-15.35, -1.3234482380045, -2.26));
#1025 = ADVANCED_FACE('', (#1026), #1034, .F.);
#1026 = FACE_OUTER_BOUND('', #1027, .F.);
#1027 = EDGE_LOOP('', (#1028, #1029, #1030, #1031, #1032, #1033));
#1028 = ORIENTED_EDGE('', *, *, #779, .T.);
#1029 = ORIENTED_EDGE('', *, *, #1015, .T.);
#1030 = ORIENTED_EDGE('', *, *, #628, .F.);
#1031 = ORIENTED_EDGE('', *, *, #481, .F.);
#1032 = ORIENTED_EDGE('', *, *, #592, .F.);
#1033 = ORIENTED_EDGE('', *, *, #1001, .T.);
#1034 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#1035, #1036), (#1037, #1038)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.4609375, 0.539089934635416), (-0.0888309959401682, 0.999999999999998), .UNSPECIFIED.);
#1035 = CARTESIAN_POINT('', (-15.35, 1.25, -2.01660307112394));
#1036 = CARTESIAN_POINT('', (-15.35, 1.25, -5.));
#1037 = CARTESIAN_POINT('', (-15.35, -1.25087790833331, -2.01660307112394));
#1038 = CARTESIAN_POINT('', (-15.35, -1.25087790833331, -5.));
#1039 = ADVANCED_FACE('', (#1040), #1050, .F.);
#1040 = FACE_OUTER_BOUND('', #1041, .F.);
#1041 = EDGE_LOOP('', (#1042, #1047, #1048, #1049));
#1042 = ORIENTED_EDGE('', *, *, #1043, .T.);
#1043 = EDGE_CURVE('', #503, #987, #1044, .T.);
#1044 = B_SPLINE_CURVE_WITH_KNOTS('', 1, (#1045, #1046), .UNSPECIFIED., .F., .U., (2, 2), (0., 1.), .UNSPECIFIED.);
#1045 = CARTESIAN_POINT('', (-15., -1.25, -2.23053898583781E-15));
#1046 = CARTESIAN_POINT('', (-15., 1.25, -2.23053898583781E-15));
#1047 = ORIENTED_EDGE('', *, *, #986, .T.);
#1048 = ORIENTED_EDGE('', *, *, #564, .T.);
#1049 = ORIENTED_EDGE('', *, *, #509, .F.);
#1050 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#1051, #1052), (#1053, #1054)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0., 1.), (0., 1.), .UNSPECIFIED.);
#1051 = CARTESIAN_POINT('', (-15., 1.25, -2.23053898583781E-15));
#1052 = CARTESIAN_POINT('', (-15., -1.25, -2.23053898583781E-15));
#1053 = CARTESIAN_POINT('', (-14.2587195157436, 1.25, 0.499999999999998));
#1054 = CARTESIAN_POINT('', (-14.2587195157436, -1.25, 0.499999999999998));
#1055 = ADVANCED_FACE('', (#1056), #1068, .F.);
#1056 = FACE_OUTER_BOUND('', #1057, .F.);
#1057 = EDGE_LOOP('', (#1058, #1059, #1060, #1061, #1062, #1063, #1064, #1065, #1066, #1067));
#1058 = ORIENTED_EDGE('', *, *, #993, .F.);
#1059 = ORIENTED_EDGE('', *, *, #1043, .F.);
#1060 = ORIENTED_EDGE('', *, *, #502, .F.);
#1061 = ORIENTED_EDGE('', *, *, #614, .T.);
#1062 = ORIENTED_EDGE('', *, *, #691, .T.);
#1063 = ORIENTED_EDGE('', *, *, #757, .T.);
#1064 = ORIENTED_EDGE('', *, *, #850, .T.);
#1065 = ORIENTED_EDGE('', *, *, #912, .T.);
#1066 = ORIENTED_EDGE('', *, *, #943, .T.);
#1067 = ORIENTED_EDGE('', *, *, #965, .T.);
#1068 = B_SPLINE_SURFACE_WITH_KNOTS('', 1, 1, ((#1069, #1070), (#1071, #1072)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.179702800836144, 0.82033312233247), (0.181064159529908, 0.821632754999397), .UNSPECIFIED.);
#1069 = CARTESIAN_POINT('', (-16.0000006654401, -1.50017848359644, -2.55351317155768E-15));
#1070 = CARTESIAN_POINT('', (-13., -1.50017848359644, -1.58459104423772E-15));
#1071 = CARTESIAN_POINT('', (-16.0000006654401, 1.50011126582761, -2.55351317155768E-15));
#1072 = CARTESIAN_POINT('', (-13., 1.50011126582761, -1.58459104423772E-15));
#1073 = DRAUGHTING_MODEL('', (#1081), #1082);
#1074 = PRESENTATION_STYLE_ASSIGNMENT((#1075));
#1075 = SURFACE_STYLE_USAGE(.POSITIVE., #1076);
#1076 = SURFACE_SIDE_STYLE('', (#1077));
#1077 = SURFACE_STYLE_FILL_AREA(#1078);
#1078 = FILL_AREA_STYLE('', (#1079));
#1079 = FILL_AREA_STYLE_COLOUR('', #1080);
#1080 = COLOUR_RGB('', 1., 0.74901960784314, 0.);
#1081 = STYLED_ITEM('', (#1074), #1);
#1082 = (
   GEOMETRIC_REPRESENTATION_CONTEXT (3)
   GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ((#1084))
   GLOBAL_UNIT_ASSIGNED_CONTEXT ((#1083, #1085, #1086))
   REPRESENTATION_CONTEXT ('', '3D')
);
#1083 = (
   LENGTH_UNIT ()
   NAMED_UNIT (*)
   SI_UNIT (.MILLI., .METRE.)
);
#1084 = UNCERTAINTY_MEASURE_WITH_UNIT(LENGTH_MEASURE(1.E-6), #1083, 'DISTANCE_ACCURACY_VALUE', '');
#1085 = (
   NAMED_UNIT (*)
   SI_UNIT ($, .STERADIAN.)
   SOLID_ANGLE_UNIT ()
);
#1086 = (
   NAMED_UNIT (*)
   PLANE_ANGLE_UNIT ()
   SI_UNIT ($, .RADIAN.)
);
#1087 = SHAPE_REPRESENTATION('', (), #1082);
#1088 = PRODUCT_DEFINITION_SHAPE('', '', #1089);
#1089 = PRODUCT_DEFINITION('', '', #1092, #1096);
#1090 = APPLICATION_CONTEXT('configuration controlled 3D designs of mechanical parts and assemblies');
#1091 = APPLICATION_PROTOCOL_DEFINITION('International Standard', 'automotive_design', 2002, #1090);
#1092 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE('', '', #1093, .NOT_KNOWN.);
#1093 = PRODUCT('NONE', '', '', (#1094));
#1094 = PRODUCT_CONTEXT('', #1090, 'mechanical');
#1095 = PRODUCT_RELATED_PRODUCT_CATEGORY('detail', '', (#1093));
#1096 = PRODUCT_DEFINITION_CONTEXT('part definition', #1090, 'design');
#1097 = SHAPE_DEFINITION_REPRESENTATION(#1088, #1087);
#1098 = SHAPE_REPRESENTATION_RELATIONSHIP('', '', #1087, #1099);
#1099 = ADVANCED_BREP_SHAPE_REPRESENTATION('', (#1), #1082);
ENDSEC;
END-ISO-10303-21;