ISO-10303-21;
HEADER;
FILE_DESCRIPTION( ( '' ), '1' );
FILE_NAME( 'D:/Katalogbilder/STEP/1_64_2x02_2.stp', '2012-09-06T08:28:00', ( '' ), ( '' ), ' ', ' ', ' ' );
FILE_SCHEMA( ( 'automotive_design' ) );
ENDSEC;
DATA;
#1 = MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION_REPRESENTATION( ' ', ( #10, #11, #12, #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, #50, #51, #52, #53, #54, #55, #56, #57, #58, #59, #60, #61, #62, #63, #64, #65, #66, #67, #68, #69, #70, #71, #72, #73, #74, #75, #76, #77, #78, #79, #80, #81, #82, #83, #84 ), #6 );
#2 = PRODUCT_DEFINITION_CONTEXT( '', #85, 'design' );
#3 = APPLICATION_PROTOCOL_DEFINITION( 'INTERNATIONAL STANDARD', 'automotive_design', 1994, #85 );
#4 = PRODUCT_CATEGORY_RELATIONSHIP( 'NONE', 'NONE', #86, #87 );
#5 = SHAPE_DEFINITION_REPRESENTATION( #88, #89 );
#6 =  ( GEOMETRIC_REPRESENTATION_CONTEXT( 3 )GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT( ( #92 ) )GLOBAL_UNIT_ASSIGNED_CONTEXT( ( #94, #95, #96 ) )REPRESENTATION_CONTEXT( 'NONE', 'WORKSPACE' ) );
#10 = STYLED_ITEM( '', ( #98 ), #99 );
#11 = STYLED_ITEM( '', ( #100 ), #101 );
#12 = STYLED_ITEM( '', ( #102 ), #103 );
#13 = STYLED_ITEM( '', ( #104 ), #105 );
#14 = STYLED_ITEM( '', ( #106 ), #107 );
#15 = STYLED_ITEM( '', ( #108 ), #109 );
#16 = STYLED_ITEM( '', ( #110 ), #111 );
#17 = STYLED_ITEM( '', ( #112 ), #113 );
#18 = STYLED_ITEM( '', ( #114 ), #115 );
#19 = STYLED_ITEM( '', ( #116 ), #117 );
#20 = STYLED_ITEM( '', ( #118 ), #119 );
#21 = STYLED_ITEM( '', ( #120 ), #121 );
#22 = STYLED_ITEM( '', ( #122 ), #123 );
#23 = STYLED_ITEM( '', ( #124 ), #125 );
#24 = STYLED_ITEM( '', ( #126 ), #127 );
#25 = STYLED_ITEM( '', ( #128 ), #129 );
#26 = STYLED_ITEM( '', ( #130 ), #131 );
#27 = STYLED_ITEM( '', ( #132 ), #133 );
#28 = STYLED_ITEM( '', ( #134 ), #135 );
#29 = STYLED_ITEM( '', ( #136 ), #137 );
#30 = STYLED_ITEM( '', ( #138 ), #139 );
#31 = STYLED_ITEM( '', ( #140 ), #141 );
#32 = STYLED_ITEM( '', ( #142 ), #143 );
#33 = STYLED_ITEM( '', ( #144 ), #145 );
#34 = STYLED_ITEM( '', ( #146 ), #147 );
#35 = STYLED_ITEM( '', ( #148 ), #149 );
#36 = STYLED_ITEM( '', ( #150 ), #151 );
#37 = STYLED_ITEM( '', ( #152 ), #153 );
#38 = STYLED_ITEM( '', ( #154 ), #155 );
#39 = STYLED_ITEM( '', ( #156 ), #157 );
#40 = STYLED_ITEM( '', ( #158 ), #159 );
#41 = STYLED_ITEM( '', ( #160 ), #161 );
#42 = STYLED_ITEM( '', ( #162 ), #163 );
#43 = STYLED_ITEM( '', ( #164 ), #165 );
#44 = STYLED_ITEM( '', ( #166 ), #167 );
#45 = STYLED_ITEM( '', ( #168 ), #169 );
#46 = STYLED_ITEM( '', ( #170 ), #171 );
#47 = STYLED_ITEM( '', ( #172 ), #173 );
#48 = STYLED_ITEM( '', ( #174 ), #175 );
#49 = STYLED_ITEM( '', ( #176 ), #177 );
#50 = STYLED_ITEM( '', ( #178 ), #179 );
#51 = STYLED_ITEM( '', ( #180 ), #181 );
#52 = STYLED_ITEM( '', ( #182 ), #183 );
#53 = STYLED_ITEM( '', ( #184 ), #185 );
#54 = STYLED_ITEM( '', ( #186 ), #187 );
#55 = STYLED_ITEM( '', ( #188 ), #189 );
#56 = STYLED_ITEM( '', ( #190 ), #191 );
#57 = STYLED_ITEM( '', ( #192 ), #193 );
#58 = STYLED_ITEM( '', ( #194 ), #195 );
#59 = STYLED_ITEM( '', ( #196 ), #197 );
#60 = STYLED_ITEM( '', ( #198 ), #199 );
#61 = STYLED_ITEM( '', ( #200 ), #201 );
#62 = STYLED_ITEM( '', ( #202 ), #203 );
#63 = STYLED_ITEM( '', ( #204 ), #205 );
#64 = STYLED_ITEM( '', ( #206 ), #207 );
#65 = STYLED_ITEM( '', ( #208 ), #209 );
#66 = STYLED_ITEM( '', ( #210 ), #211 );
#67 = STYLED_ITEM( '', ( #212 ), #213 );
#68 = STYLED_ITEM( '', ( #214 ), #215 );
#69 = STYLED_ITEM( '', ( #216 ), #217 );
#70 = STYLED_ITEM( '', ( #218 ), #219 );
#71 = STYLED_ITEM( '', ( #220 ), #221 );
#72 = STYLED_ITEM( '', ( #222 ), #223 );
#73 = STYLED_ITEM( '', ( #224 ), #225 );
#74 = STYLED_ITEM( '', ( #226 ), #227 );
#75 = STYLED_ITEM( '', ( #228 ), #229 );
#76 = STYLED_ITEM( '', ( #230 ), #231 );
#77 = STYLED_ITEM( '', ( #232 ), #233 );
#78 = STYLED_ITEM( '', ( #234 ), #235 );
#79 = STYLED_ITEM( '', ( #236 ), #237 );
#80 = STYLED_ITEM( '', ( #238 ), #239 );
#81 = STYLED_ITEM( '', ( #240 ), #241 );
#82 = STYLED_ITEM( '', ( #242 ), #243 );
#83 = STYLED_ITEM( '', ( #244 ), #245 );
#84 = STYLED_ITEM( '', ( #246 ), #247 );
#85 = APPLICATION_CONTEXT( ' ' );
#86 = PRODUCT_CATEGORY( 'part', 'NONE' );
#87 = PRODUCT_RELATED_PRODUCT_CATEGORY( 'detail', ' ', ( #248 ) );
#88 = PRODUCT_DEFINITION_SHAPE( 'NONE', 'NONE', #249 );
#89 = ADVANCED_BREP_SHAPE_REPRESENTATION( '1', ( #243, #250 ), #6 );
#92 = UNCERTAINTY_MEASURE_WITH_UNIT( LENGTH_MEASURE( 1.00000000000000E-006 ), #94, '', '' );
#94 =  ( CONVERSION_BASED_UNIT( 'MILLIMETRE', #253 )LENGTH_UNIT(  )NAMED_UNIT( #256 ) );
#95 =  ( NAMED_UNIT( #258 )PLANE_ANGLE_UNIT(  )SI_UNIT( $, .RADIAN. ) );
#96 =  ( NAMED_UNIT( #258 )SOLID_ANGLE_UNIT(  )SI_UNIT( $, .STERADIAN. ) );
#98 = PRESENTATION_STYLE_ASSIGNMENT( ( #264 ) );
#99 = VERTEX_POINT( '', #265 );
#100 = PRESENTATION_STYLE_ASSIGNMENT( ( #266 ) );
#101 = ADVANCED_FACE( '', ( #267 ), #268, .F. );
#102 = PRESENTATION_STYLE_ASSIGNMENT( ( #269 ) );
#103 = VERTEX_POINT( '', #270 );
#104 = PRESENTATION_STYLE_ASSIGNMENT( ( #271 ) );
#105 = VERTEX_POINT( '', #272 );
#106 = PRESENTATION_STYLE_ASSIGNMENT( ( #273 ) );
#107 = VERTEX_POINT( '', #274 );
#108 = PRESENTATION_STYLE_ASSIGNMENT( ( #275 ) );
#109 = ADVANCED_FACE( '', ( #276 ), #277, .T. );
#110 = PRESENTATION_STYLE_ASSIGNMENT( ( #278 ) );
#111 = EDGE_CURVE( '', #225, #215, #279, .T. );
#112 = PRESENTATION_STYLE_ASSIGNMENT( ( #280 ) );
#113 = ADVANCED_FACE( '', ( #281 ), #282, .F. );
#114 = PRESENTATION_STYLE_ASSIGNMENT( ( #283 ) );
#115 = VERTEX_POINT( '', #284 );
#116 = PRESENTATION_STYLE_ASSIGNMENT( ( #285 ) );
#117 = EDGE_CURVE( '', #233, #135, #286, .T. );
#118 = PRESENTATION_STYLE_ASSIGNMENT( ( #287 ) );
#119 = VERTEX_POINT( '', #288 );
#120 = PRESENTATION_STYLE_ASSIGNMENT( ( #289 ) );
#121 = VERTEX_POINT( '', #290 );
#122 = PRESENTATION_STYLE_ASSIGNMENT( ( #291 ) );
#123 = EDGE_CURVE( '', #99, #233, #292, .T. );
#124 = PRESENTATION_STYLE_ASSIGNMENT( ( #293 ) );
#125 = EDGE_CURVE( '', #119, #147, #294, .T. );
#126 = PRESENTATION_STYLE_ASSIGNMENT( ( #295 ) );
#127 = EDGE_CURVE( '', #167, #245, #296, .T. );
#128 = PRESENTATION_STYLE_ASSIGNMENT( ( #297 ) );
#129 = VERTEX_POINT( '', #298 );
#130 = PRESENTATION_STYLE_ASSIGNMENT( ( #299 ) );
#131 = EDGE_CURVE( '', #231, #215, #300, .T. );
#132 = PRESENTATION_STYLE_ASSIGNMENT( ( #301 ) );
#133 = VERTEX_POINT( '', #302 );
#134 = PRESENTATION_STYLE_ASSIGNMENT( ( #303 ) );
#135 = VERTEX_POINT( '', #304 );
#136 = PRESENTATION_STYLE_ASSIGNMENT( ( #305 ) );
#137 = EDGE_CURVE( '', #229, #147, #306, .T. );
#138 = PRESENTATION_STYLE_ASSIGNMENT( ( #307 ) );
#139 = VERTEX_POINT( '', #308 );
#140 = PRESENTATION_STYLE_ASSIGNMENT( ( #309 ) );
#141 = ADVANCED_FACE( '', ( #310, #311 ), #312, .F. );
#142 = PRESENTATION_STYLE_ASSIGNMENT( ( #313 ) );
#143 = EDGE_CURVE( '', #129, #225, #314, .T. );
#144 = PRESENTATION_STYLE_ASSIGNMENT( ( #315 ) );
#145 = EDGE_CURVE( '', #119, #99, #316, .T. );
#146 = PRESENTATION_STYLE_ASSIGNMENT( ( #317 ) );
#147 = VERTEX_POINT( '', #318 );
#148 = PRESENTATION_STYLE_ASSIGNMENT( ( #319 ) );
#149 = EDGE_CURVE( '', #207, #229, #320, .T. );
#150 = PRESENTATION_STYLE_ASSIGNMENT( ( #321 ) );
#151 = VERTEX_POINT( '', #322 );
#152 = PRESENTATION_STYLE_ASSIGNMENT( ( #323 ) );
#153 = EDGE_CURVE( '', #105, #133, #324, .T. );
#154 = PRESENTATION_STYLE_ASSIGNMENT( ( #325 ) );
#155 = EDGE_CURVE( '', #219, #217, #326, .T. );
#156 = PRESENTATION_STYLE_ASSIGNMENT( ( #327 ) );
#157 = EDGE_CURVE( '', #121, #231, #328, .T. );
#158 = PRESENTATION_STYLE_ASSIGNMENT( ( #329 ) );
#159 = EDGE_CURVE( '', #115, #225, #330, .T. );
#160 = PRESENTATION_STYLE_ASSIGNMENT( ( #331 ) );
#161 = EDGE_CURVE( '', #135, #173, #332, .T. );
#162 = PRESENTATION_STYLE_ASSIGNMENT( ( #333 ) );
#163 = EDGE_CURVE( '', #219, #119, #334, .T. );
#164 = PRESENTATION_STYLE_ASSIGNMENT( ( #335 ) );
#165 = EDGE_CURVE( '', #233, #207, #336, .T. );
#166 = PRESENTATION_STYLE_ASSIGNMENT( ( #337 ) );
#167 = VERTEX_POINT( '', #338 );
#168 = PRESENTATION_STYLE_ASSIGNMENT( ( #339 ) );
#169 = ADVANCED_FACE( '', ( #340 ), #341, .T. );
#170 = PRESENTATION_STYLE_ASSIGNMENT( ( #342 ) );
#171 = EDGE_CURVE( '', #147, #217, #343, .T. );
#172 = PRESENTATION_STYLE_ASSIGNMENT( ( #344 ) );
#173 = VERTEX_POINT( '', #345 );
#174 = PRESENTATION_STYLE_ASSIGNMENT( ( #346 ) );
#175 = ADVANCED_FACE( '', ( #347 ), #348, .F. );
#176 = PRESENTATION_STYLE_ASSIGNMENT( ( #349 ) );
#177 = EDGE_CURVE( '', #133, #207, #350, .T. );
#178 = PRESENTATION_STYLE_ASSIGNMENT( ( #351 ) );
#179 = EDGE_CURVE( '', #217, #167, #352, .T. );
#180 = PRESENTATION_STYLE_ASSIGNMENT( ( #353 ) );
#181 = ADVANCED_FACE( '', ( #354, #355 ), #356, .T. );
#182 = PRESENTATION_STYLE_ASSIGNMENT( ( #357 ) );
#183 = ADVANCED_FACE( '', ( #358 ), #359, .F. );
#184 = PRESENTATION_STYLE_ASSIGNMENT( ( #360 ) );
#185 = EDGE_CURVE( '', #173, #107, #361, .T. );
#186 = PRESENTATION_STYLE_ASSIGNMENT( ( #362 ) );
#187 = EDGE_CURVE( '', #215, #103, #363, .T. );
#188 = PRESENTATION_STYLE_ASSIGNMENT( ( #364 ) );
#189 = EDGE_CURVE( '', #115, #139, #365, .T. );
#190 = PRESENTATION_STYLE_ASSIGNMENT( ( #366 ) );
#191 = EDGE_CURVE( '', #231, #115, #367, .T. );
#192 = PRESENTATION_STYLE_ASSIGNMENT( ( #368 ) );
#193 = ADVANCED_FACE( '', ( #369 ), #370, .F. );
#194 = PRESENTATION_STYLE_ASSIGNMENT( ( #371 ) );
#195 = EDGE_CURVE( '', #107, #151, #372, .T. );
#196 = PRESENTATION_STYLE_ASSIGNMENT( ( #373 ) );
#197 = ADVANCED_FACE( '', ( #374 ), #375, .F. );
#198 = PRESENTATION_STYLE_ASSIGNMENT( ( #376 ) );
#199 = EDGE_CURVE( '', #103, #129, #377, .T. );
#200 = PRESENTATION_STYLE_ASSIGNMENT( ( #378 ) );
#201 = ADVANCED_FACE( '', ( #379 ), #380, .F. );
#202 = PRESENTATION_STYLE_ASSIGNMENT( ( #381 ) );
#203 = ADVANCED_FACE( '', ( #382 ), #383, .F. );
#204 = PRESENTATION_STYLE_ASSIGNMENT( ( #384 ) );
#205 = EDGE_CURVE( '', #99, #229, #385, .T. );
#206 = PRESENTATION_STYLE_ASSIGNMENT( ( #386 ) );
#207 = VERTEX_POINT( '', #387 );
#208 = PRESENTATION_STYLE_ASSIGNMENT( ( #388 ) );
#209 = EDGE_CURVE( '', #135, #133, #389, .T. );
#210 = PRESENTATION_STYLE_ASSIGNMENT( ( #390 ) );
#211 = EDGE_CURVE( '', #151, #219, #391, .T. );
#212 = PRESENTATION_STYLE_ASSIGNMENT( ( #392 ) );
#213 = EDGE_CURVE( '', #139, #121, #393, .T. );
#214 = PRESENTATION_STYLE_ASSIGNMENT( ( #394 ) );
#215 = VERTEX_POINT( '', #395 );
#216 = PRESENTATION_STYLE_ASSIGNMENT( ( #396 ) );
#217 = VERTEX_POINT( '', #397 );
#218 = PRESENTATION_STYLE_ASSIGNMENT( ( #398 ) );
#219 = VERTEX_POINT( '', #399 );
#220 = PRESENTATION_STYLE_ASSIGNMENT( ( #400 ) );
#221 = EDGE_CURVE( '', #245, #105, #401, .T. );
#222 = PRESENTATION_STYLE_ASSIGNMENT( ( #402 ) );
#223 = EDGE_CURVE( '', #139, #129, #403, .T. );
#224 = PRESENTATION_STYLE_ASSIGNMENT( ( #404 ) );
#225 = VERTEX_POINT( '', #405 );
#226 = PRESENTATION_STYLE_ASSIGNMENT( ( #406 ) );
#227 = EDGE_CURVE( '', #151, #167, #407, .T. );
#228 = PRESENTATION_STYLE_ASSIGNMENT( ( #408 ) );
#229 = VERTEX_POINT( '', #409 );
#230 = PRESENTATION_STYLE_ASSIGNMENT( ( #410 ) );
#231 = VERTEX_POINT( '', #411 );
#232 = PRESENTATION_STYLE_ASSIGNMENT( ( #412 ) );
#233 = VERTEX_POINT( '', #413 );
#234 = PRESENTATION_STYLE_ASSIGNMENT( ( #414 ) );
#235 = EDGE_CURVE( '', #107, #245, #415, .T. );
#236 = PRESENTATION_STYLE_ASSIGNMENT( ( #416 ) );
#237 = EDGE_CURVE( '', #121, #103, #417, .T. );
#238 = PRESENTATION_STYLE_ASSIGNMENT( ( #418 ) );
#239 = ADVANCED_FACE( '', ( #419 ), #420, .T. );
#240 = PRESENTATION_STYLE_ASSIGNMENT( ( #421 ) );
#241 = EDGE_CURVE( '', #173, #105, #422, .T. );
#242 = PRESENTATION_STYLE_ASSIGNMENT( ( #423 ) );
#243 = MANIFOLD_SOLID_BREP( '1', #424 );
#244 = PRESENTATION_STYLE_ASSIGNMENT( ( #425 ) );
#245 = VERTEX_POINT( '', #426 );
#246 = PRESENTATION_STYLE_ASSIGNMENT( ( #427 ) );
#247 = ADVANCED_FACE( '', ( #428 ), #429, .T. );
#248 = PRODUCT( '1', '1', 'PART-1-DESC', ( #430 ) );
#249 = PRODUCT_DEFINITION( 'NONE', 'NONE', #431, #2 );
#250 = AXIS2_PLACEMENT_3D( '', #432, #433, #434 );
#253 = LENGTH_MEASURE_WITH_UNIT( LENGTH_MEASURE( 1.00000000000000 ), #435 );
#256 = DIMENSIONAL_EXPONENTS( 1.00000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#258 = DIMENSIONAL_EXPONENTS( 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#264 = POINT_STYLE( ' ', #436, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #437 );
#265 = CARTESIAN_POINT( '', ( 0.000000000000000, 6.00000000000000, 3.25000000000000 ) );
#266 = SURFACE_STYLE_USAGE( .BOTH., #438 );
#267 = FACE_OUTER_BOUND( '', #439, .T. );
#268 = PLANE( '', #440 );
#269 = POINT_STYLE( ' ', #441, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #442 );
#270 = CARTESIAN_POINT( '', ( 2.00000000000000, 25.0000000000000, 12.5000000000000 ) );
#271 = POINT_STYLE( ' ', #443, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #444 );
#272 = CARTESIAN_POINT( '', ( 2.00000000000000, 6.00000000000000, -3.25000000000000 ) );
#273 = POINT_STYLE( ' ', #445, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #446 );
#274 = CARTESIAN_POINT( '', ( 0.000000000000000, 19.0000000000000, -3.25000000000000 ) );
#275 = SURFACE_STYLE_USAGE( .BOTH., #447 );
#276 = FACE_OUTER_BOUND( '', #448, .T. );
#277 = PLANE( '', #449 );
#278 = CURVE_STYLE( '', #450, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #451 );
#279 = LINE( '', #452, #453 );
#280 = SURFACE_STYLE_USAGE( .BOTH., #454 );
#281 = FACE_OUTER_BOUND( '', #455, .T. );
#282 = CYLINDRICAL_SURFACE( '', #456, 1.00000000000000 );
#283 = POINT_STYLE( ' ', #457, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #458 );
#284 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, -12.5000000000000 ) );
#285 = CURVE_STYLE( '', #459, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #460 );
#286 = LINE( '', #461, #462 );
#287 = POINT_STYLE( ' ', #463, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #464 );
#288 = CARTESIAN_POINT( '', ( 0.000000000000000, 19.0000000000000, 3.25000000000000 ) );
#289 = POINT_STYLE( ' ', #465, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #466 );
#290 = CARTESIAN_POINT( '', ( 0.000000000000000, 25.0000000000000, 12.5000000000000 ) );
#291 = CURVE_STYLE( '', #467, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #468 );
#292 = CIRCLE( '', #469, 0.999999999999999 );
#293 = CURVE_STYLE( '', #470, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #471 );
#294 = LINE( '', #472, #473 );
#295 = CURVE_STYLE( '', #474, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #475 );
#296 = CIRCLE( '', #476, 1.00000000000000 );
#297 = POINT_STYLE( ' ', #477, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #478 );
#298 = CARTESIAN_POINT( '', ( 2.00000000000000, 25.0000000000000, -12.5000000000000 ) );
#299 = CURVE_STYLE( '', #479, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #480 );
#300 = LINE( '', #481, #482 );
#301 = POINT_STYLE( ' ', #483, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #484 );
#302 = CARTESIAN_POINT( '', ( 2.00000000000000, 5.00000000000000, -2.25000000000000 ) );
#303 = POINT_STYLE( ' ', #485, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #486 );
#304 = CARTESIAN_POINT( '', ( 0.000000000000000, 5.00000000000000, -2.25000000000000 ) );
#305 = CURVE_STYLE( '', #487, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #488 );
#306 = LINE( '', #489, #490 );
#307 = POINT_STYLE( ' ', #491, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #492 );
#308 = CARTESIAN_POINT( '', ( 0.000000000000000, 25.0000000000000, -12.5000000000000 ) );
#309 = SURFACE_STYLE_USAGE( .BOTH., #493 );
#310 = FACE_BOUND( '', #494, .T. );
#311 = FACE_OUTER_BOUND( '', #495, .T. );
#312 = PLANE( '', #496 );
#313 = CURVE_STYLE( '', #497, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #498 );
#314 = LINE( '', #499, #500 );
#315 = CURVE_STYLE( '', #501, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #502 );
#316 = LINE( '', #503, #504 );
#317 = POINT_STYLE( ' ', #505, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #506 );
#318 = CARTESIAN_POINT( '', ( 2.00000000000000, 19.0000000000000, 3.25000000000000 ) );
#319 = CURVE_STYLE( '', #507, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #508 );
#320 = CIRCLE( '', #509, 0.999999999999999 );
#321 = POINT_STYLE( ' ', #510, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #511 );
#322 = CARTESIAN_POINT( '', ( 0.000000000000000, 20.0000000000000, -2.25000000000000 ) );
#323 = CURVE_STYLE( '', #512, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #513 );
#324 = CIRCLE( '', #514, 0.999999999999999 );
#325 = CURVE_STYLE( '', #515, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #516 );
#326 = LINE( '', #517, #518 );
#327 = CURVE_STYLE( '', #519, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #520 );
#328 = LINE( '', #521, #522 );
#329 = CURVE_STYLE( '', #523, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #524 );
#330 = LINE( '', #525, #526 );
#331 = CURVE_STYLE( '', #527, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #528 );
#332 = CIRCLE( '', #529, 0.999999999999999 );
#333 = CURVE_STYLE( '', #530, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #531 );
#334 = CIRCLE( '', #532, 1.00000000000000 );
#335 = CURVE_STYLE( '', #533, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #534 );
#336 = LINE( '', #535, #536 );
#337 = POINT_STYLE( ' ', #537, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #538 );
#338 = CARTESIAN_POINT( '', ( 2.00000000000000, 20.0000000000000, -2.25000000000000 ) );
#339 = SURFACE_STYLE_USAGE( .BOTH., #539 );
#340 = FACE_OUTER_BOUND( '', #540, .T. );
#341 = PLANE( '', #541 );
#342 = CURVE_STYLE( '', #542, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #543 );
#343 = CIRCLE( '', #544, 1.00000000000000 );
#344 = POINT_STYLE( ' ', #545, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #546 );
#345 = CARTESIAN_POINT( '', ( 0.000000000000000, 6.00000000000000, -3.25000000000000 ) );
#346 = SURFACE_STYLE_USAGE( .BOTH., #547 );
#347 = FACE_OUTER_BOUND( '', #548, .T. );
#348 = CYLINDRICAL_SURFACE( '', #549, 0.999999999999999 );
#349 = CURVE_STYLE( '', #550, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #551 );
#350 = LINE( '', #552, #553 );
#351 = CURVE_STYLE( '', #554, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #555 );
#352 = LINE( '', #556, #557 );
#353 = SURFACE_STYLE_USAGE( .BOTH., #558 );
#354 = FACE_BOUND( '', #559, .T. );
#355 = FACE_OUTER_BOUND( '', #560, .T. );
#356 = PLANE( '', #561 );
#357 = SURFACE_STYLE_USAGE( .BOTH., #562 );
#358 = FACE_OUTER_BOUND( '', #563, .T. );
#359 = PLANE( '', #564 );
#360 = CURVE_STYLE( '', #565, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #566 );
#361 = LINE( '', #567, #568 );
#362 = CURVE_STYLE( '', #569, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #570 );
#363 = LINE( '', #571, #572 );
#364 = CURVE_STYLE( '', #573, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #574 );
#365 = LINE( '', #575, #576 );
#366 = CURVE_STYLE( '', #577, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #578 );
#367 = LINE( '', #579, #580 );
#368 = SURFACE_STYLE_USAGE( .BOTH., #581 );
#369 = FACE_OUTER_BOUND( '', #582, .T. );
#370 = CYLINDRICAL_SURFACE( '', #583, 1.00000000000000 );
#371 = CURVE_STYLE( '', #584, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #585 );
#372 = CIRCLE( '', #586, 1.00000000000000 );
#373 = SURFACE_STYLE_USAGE( .BOTH., #587 );
#374 = FACE_OUTER_BOUND( '', #588, .T. );
#375 = PLANE( '', #589 );
#376 = CURVE_STYLE( '', #590, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #591 );
#377 = LINE( '', #592, #593 );
#378 = SURFACE_STYLE_USAGE( .BOTH., #594 );
#379 = FACE_OUTER_BOUND( '', #595, .T. );
#380 = CYLINDRICAL_SURFACE( '', #596, 0.999999999999999 );
#381 = SURFACE_STYLE_USAGE( .BOTH., #597 );
#382 = FACE_OUTER_BOUND( '', #598, .T. );
#383 = PLANE( '', #599 );
#384 = CURVE_STYLE( '', #600, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #601 );
#385 = LINE( '', #602, #603 );
#386 = POINT_STYLE( ' ', #604, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #605 );
#387 = CARTESIAN_POINT( '', ( 2.00000000000000, 5.00000000000000, 2.25000000000000 ) );
#388 = CURVE_STYLE( '', #606, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #607 );
#389 = LINE( '', #608, #609 );
#390 = CURVE_STYLE( '', #610, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #611 );
#391 = LINE( '', #612, #613 );
#392 = CURVE_STYLE( '', #614, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #615 );
#393 = LINE( '', #616, #617 );
#394 = POINT_STYLE( ' ', #618, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #619 );
#395 = CARTESIAN_POINT( '', ( 2.00000000000000, 0.000000000000000, 12.5000000000000 ) );
#396 = POINT_STYLE( ' ', #620, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #621 );
#397 = CARTESIAN_POINT( '', ( 2.00000000000000, 20.0000000000000, 2.25000000000000 ) );
#398 = POINT_STYLE( ' ', #622, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #623 );
#399 = CARTESIAN_POINT( '', ( 0.000000000000000, 20.0000000000000, 2.25000000000000 ) );
#400 = CURVE_STYLE( '', #624, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #625 );
#401 = LINE( '', #626, #627 );
#402 = CURVE_STYLE( '', #628, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #629 );
#403 = LINE( '', #630, #631 );
#404 = POINT_STYLE( ' ', #632, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #633 );
#405 = CARTESIAN_POINT( '', ( 2.00000000000000, 0.000000000000000, -12.5000000000000 ) );
#406 = CURVE_STYLE( '', #634, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #635 );
#407 = LINE( '', #636, #637 );
#408 = POINT_STYLE( ' ', #638, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #639 );
#409 = CARTESIAN_POINT( '', ( 2.00000000000000, 6.00000000000000, 3.25000000000000 ) );
#410 = POINT_STYLE( ' ', #640, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #641 );
#411 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 12.5000000000000 ) );
#412 = POINT_STYLE( ' ', #642, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #643 );
#413 = CARTESIAN_POINT( '', ( 0.000000000000000, 5.00000000000000, 2.25000000000000 ) );
#414 = CURVE_STYLE( '', #644, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #645 );
#415 = LINE( '', #646, #647 );
#416 = CURVE_STYLE( '', #648, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #649 );
#417 = LINE( '', #650, #651 );
#418 = SURFACE_STYLE_USAGE( .BOTH., #652 );
#419 = FACE_OUTER_BOUND( '', #653, .T. );
#420 = PLANE( '', #654 );
#421 = CURVE_STYLE( '', #655, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #656 );
#422 = LINE( '', #657, #658 );
#423 = SURFACE_STYLE_USAGE( .BOTH., #659 );
#424 = CLOSED_SHELL( '', ( #101, #113, #197, #193, #183, #201, #203, #175, #247, #169, #109, #239, #181, #141 ) );
#425 = POINT_STYLE( ' ', #660, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #661 );
#426 = CARTESIAN_POINT( '', ( 2.00000000000000, 19.0000000000000, -3.25000000000000 ) );
#427 = SURFACE_STYLE_USAGE( .BOTH., #662 );
#428 = FACE_OUTER_BOUND( '', #663, .T. );
#429 = PLANE( '', #664 );
#430 = PRODUCT_CONTEXT( '', #85, 'mechanical' );
#431 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE( ' ', 'NONE', #248, .NOT_KNOWN. );
#432 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#433 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#434 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#435 =  ( NAMED_UNIT( #256 )LENGTH_UNIT(  )SI_UNIT( .MILLI., .METRE. ) );
#436 = PRE_DEFINED_MARKER( '' );
#437 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#438 = SURFACE_SIDE_STYLE( '', ( #666 ) );
#439 = EDGE_LOOP( '', ( #667, #668, #669, #670 ) );
#440 = AXIS2_PLACEMENT_3D( '', #671, #672, #673 );
#441 = PRE_DEFINED_MARKER( '' );
#442 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#443 = PRE_DEFINED_MARKER( '' );
#444 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#445 = PRE_DEFINED_MARKER( '' );
#446 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#447 = SURFACE_SIDE_STYLE( '', ( #674 ) );
#448 = EDGE_LOOP( '', ( #675, #676, #677, #678 ) );
#449 = AXIS2_PLACEMENT_3D( '', #679, #680, #681 );
#450 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#451 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#452 = CARTESIAN_POINT( '', ( 2.00000000000000, 0.000000000000000, 12.5000000000000 ) );
#453 = VECTOR( '', #682, 1.00000000000000 );
#454 = SURFACE_SIDE_STYLE( '', ( #683 ) );
#455 = EDGE_LOOP( '', ( #684, #685, #686, #687 ) );
#456 = AXIS2_PLACEMENT_3D( '', #688, #689, #690 );
#457 = PRE_DEFINED_MARKER( '' );
#458 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#459 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#460 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#461 = CARTESIAN_POINT( '', ( 0.000000000000000, 5.00000000000000, -1.12500000000000 ) );
#462 = VECTOR( '', #691, 1.00000000000000 );
#463 = PRE_DEFINED_MARKER( '' );
#464 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#465 = PRE_DEFINED_MARKER( '' );
#466 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#467 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#468 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#469 = AXIS2_PLACEMENT_3D( '', #692, #693, #694 );
#470 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#471 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#472 = CARTESIAN_POINT( '', ( 0.000000000000000, 19.0000000000000, 3.25000000000000 ) );
#473 = VECTOR( '', #695, 1.00000000000000 );
#474 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#475 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#476 = AXIS2_PLACEMENT_3D( '', #696, #697, #698 );
#477 = PRE_DEFINED_MARKER( '' );
#478 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#479 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#480 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#481 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 12.5000000000000 ) );
#482 = VECTOR( '', #699, 1.00000000000000 );
#483 = PRE_DEFINED_MARKER( '' );
#484 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#485 = PRE_DEFINED_MARKER( '' );
#486 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#487 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#488 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#489 = CARTESIAN_POINT( '', ( 2.00000000000000, 3.00000000000000, 3.25000000000000 ) );
#490 = VECTOR( '', #700, 1.00000000000000 );
#491 = PRE_DEFINED_MARKER( '' );
#492 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#493 = SURFACE_SIDE_STYLE( '', ( #701 ) );
#494 = EDGE_LOOP( '', ( #702, #703, #704, #705, #706, #707, #708, #709 ) );
#495 = EDGE_LOOP( '', ( #710, #711, #712, #713 ) );
#496 = AXIS2_PLACEMENT_3D( '', #714, #715, #716 );
#497 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#498 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#499 = CARTESIAN_POINT( '', ( 2.00000000000000, 0.000000000000000, -12.5000000000000 ) );
#500 = VECTOR( '', #717, 1.00000000000000 );
#501 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#502 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#503 = CARTESIAN_POINT( '', ( 0.000000000000000, 3.00000000000000, 3.25000000000000 ) );
#504 = VECTOR( '', #718, 1.00000000000000 );
#505 = PRE_DEFINED_MARKER( '' );
#506 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#507 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#508 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#509 = AXIS2_PLACEMENT_3D( '', #719, #720, #721 );
#510 = PRE_DEFINED_MARKER( '' );
#511 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#512 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#513 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#514 = AXIS2_PLACEMENT_3D( '', #722, #723, #724 );
#515 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#516 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#517 = CARTESIAN_POINT( '', ( 0.000000000000000, 20.0000000000000, 2.25000000000000 ) );
#518 = VECTOR( '', #725, 1.00000000000000 );
#519 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#520 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#521 = CARTESIAN_POINT( '', ( 0.000000000000000, 25.0000000000000, 12.5000000000000 ) );
#522 = VECTOR( '', #726, 1.00000000000000 );
#523 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#524 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#525 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, -12.5000000000000 ) );
#526 = VECTOR( '', #727, 1.00000000000000 );
#527 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#528 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#529 = AXIS2_PLACEMENT_3D( '', #728, #729, #730 );
#530 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#531 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#532 = AXIS2_PLACEMENT_3D( '', #731, #732, #733 );
#533 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#534 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#535 = CARTESIAN_POINT( '', ( 0.000000000000000, 5.00000000000000, 2.25000000000000 ) );
#536 = VECTOR( '', #734, 1.00000000000000 );
#537 = PRE_DEFINED_MARKER( '' );
#538 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#539 = SURFACE_SIDE_STYLE( '', ( #735 ) );
#540 = EDGE_LOOP( '', ( #736, #737, #738, #739 ) );
#541 = AXIS2_PLACEMENT_3D( '', #740, #741, #742 );
#542 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#543 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#544 = AXIS2_PLACEMENT_3D( '', #743, #744, #745 );
#545 = PRE_DEFINED_MARKER( '' );
#546 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#547 = SURFACE_SIDE_STYLE( '', ( #746 ) );
#548 = EDGE_LOOP( '', ( #747, #748, #749, #750 ) );
#549 = AXIS2_PLACEMENT_3D( '', #751, #752, #753 );
#550 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#551 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#552 = CARTESIAN_POINT( '', ( 2.00000000000000, 5.00000000000000, -1.12500000000000 ) );
#553 = VECTOR( '', #754, 1.00000000000000 );
#554 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#555 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#556 = CARTESIAN_POINT( '', ( 2.00000000000000, 20.0000000000000, 1.12500000000000 ) );
#557 = VECTOR( '', #755, 1.00000000000000 );
#558 = SURFACE_SIDE_STYLE( '', ( #756 ) );
#559 = EDGE_LOOP( '', ( #757, #758, #759, #760, #761, #762, #763, #764 ) );
#560 = EDGE_LOOP( '', ( #765, #766, #767, #768 ) );
#561 = AXIS2_PLACEMENT_3D( '', #769, #770, #771 );
#562 = SURFACE_SIDE_STYLE( '', ( #772 ) );
#563 = EDGE_LOOP( '', ( #773, #774, #775, #776 ) );
#564 = AXIS2_PLACEMENT_3D( '', #777, #778, #779 );
#565 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#566 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#567 = CARTESIAN_POINT( '', ( 0.000000000000000, 9.50000000000000, -3.25000000000000 ) );
#568 = VECTOR( '', #780, 1.00000000000000 );
#569 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#570 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#571 = CARTESIAN_POINT( '', ( 2.00000000000000, 25.0000000000000, 12.5000000000000 ) );
#572 = VECTOR( '', #781, 1.00000000000000 );
#573 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#574 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#575 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, -12.5000000000000 ) );
#576 = VECTOR( '', #782, 1.00000000000000 );
#577 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#578 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#579 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 12.5000000000000 ) );
#580 = VECTOR( '', #783, 1.00000000000000 );
#581 = SURFACE_SIDE_STYLE( '', ( #784 ) );
#582 = EDGE_LOOP( '', ( #785, #786, #787, #788 ) );
#583 = AXIS2_PLACEMENT_3D( '', #789, #790, #791 );
#584 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#585 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#586 = AXIS2_PLACEMENT_3D( '', #792, #793, #794 );
#587 = SURFACE_SIDE_STYLE( '', ( #795 ) );
#588 = EDGE_LOOP( '', ( #796, #797, #798, #799 ) );
#589 = AXIS2_PLACEMENT_3D( '', #800, #801, #802 );
#590 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#591 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#592 = CARTESIAN_POINT( '', ( 2.00000000000000, 25.0000000000000, -12.5000000000000 ) );
#593 = VECTOR( '', #803, 1.00000000000000 );
#594 = SURFACE_SIDE_STYLE( '', ( #804 ) );
#595 = EDGE_LOOP( '', ( #805, #806, #807, #808 ) );
#596 = AXIS2_PLACEMENT_3D( '', #809, #810, #811 );
#597 = SURFACE_SIDE_STYLE( '', ( #812 ) );
#598 = EDGE_LOOP( '', ( #813, #814, #815, #816 ) );
#599 = AXIS2_PLACEMENT_3D( '', #817, #818, #819 );
#600 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#601 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#602 = CARTESIAN_POINT( '', ( 0.000000000000000, 6.00000000000000, 3.25000000000000 ) );
#603 = VECTOR( '', #820, 1.00000000000000 );
#604 = PRE_DEFINED_MARKER( '' );
#605 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#606 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#607 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#608 = CARTESIAN_POINT( '', ( 0.000000000000000, 5.00000000000000, -2.25000000000000 ) );
#609 = VECTOR( '', #821, 1.00000000000000 );
#610 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#611 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#612 = CARTESIAN_POINT( '', ( 0.000000000000000, 20.0000000000000, 1.12500000000000 ) );
#613 = VECTOR( '', #822, 1.00000000000000 );
#614 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#615 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#616 = CARTESIAN_POINT( '', ( 0.000000000000000, 25.0000000000000, -12.5000000000000 ) );
#617 = VECTOR( '', #823, 1.00000000000000 );
#618 = PRE_DEFINED_MARKER( '' );
#619 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#620 = PRE_DEFINED_MARKER( '' );
#621 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#622 = PRE_DEFINED_MARKER( '' );
#623 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#624 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#625 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#626 = CARTESIAN_POINT( '', ( 2.00000000000000, 9.50000000000000, -3.25000000000000 ) );
#627 = VECTOR( '', #824, 1.00000000000000 );
#628 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#629 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#630 = CARTESIAN_POINT( '', ( 0.000000000000000, 25.0000000000000, -12.5000000000000 ) );
#631 = VECTOR( '', #825, 1.00000000000000 );
#632 = PRE_DEFINED_MARKER( '' );
#633 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#634 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#635 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#636 = CARTESIAN_POINT( '', ( 0.000000000000000, 20.0000000000000, -2.25000000000000 ) );
#637 = VECTOR( '', #826, 1.00000000000000 );
#638 = PRE_DEFINED_MARKER( '' );
#639 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#640 = PRE_DEFINED_MARKER( '' );
#641 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#642 = PRE_DEFINED_MARKER( '' );
#643 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#644 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#645 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#646 = CARTESIAN_POINT( '', ( 0.000000000000000, 19.0000000000000, -3.25000000000000 ) );
#647 = VECTOR( '', #827, 1.00000000000000 );
#648 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#649 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#650 = CARTESIAN_POINT( '', ( 0.000000000000000, 25.0000000000000, 12.5000000000000 ) );
#651 = VECTOR( '', #828, 1.00000000000000 );
#652 = SURFACE_SIDE_STYLE( '', ( #829 ) );
#653 = EDGE_LOOP( '', ( #830, #831, #832, #833 ) );
#654 = AXIS2_PLACEMENT_3D( '', #834, #835, #836 );
#655 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#656 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#657 = CARTESIAN_POINT( '', ( 0.000000000000000, 6.00000000000000, -3.25000000000000 ) );
#658 = VECTOR( '', #837, 1.00000000000000 );
#659 = SURFACE_SIDE_STYLE( '', ( #838 ) );
#660 = PRE_DEFINED_MARKER( '' );
#661 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#662 = SURFACE_SIDE_STYLE( '', ( #839 ) );
#663 = EDGE_LOOP( '', ( #840, #841, #842, #843 ) );
#664 = AXIS2_PLACEMENT_3D( '', #844, #845, #846 );
#666 = SURFACE_STYLE_FILL_AREA( #847 );
#667 = ORIENTED_EDGE( '', *, *, #137, .F. );
#668 = ORIENTED_EDGE( '', *, *, #205, .F. );
#669 = ORIENTED_EDGE( '', *, *, #145, .F. );
#670 = ORIENTED_EDGE( '', *, *, #125, .T. );
#671 = CARTESIAN_POINT( '', ( 0.000000000000000, 6.00000000000000, 3.25000000000000 ) );
#672 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#673 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#674 = SURFACE_STYLE_FILL_AREA( #848 );
#675 = ORIENTED_EDGE( '', *, *, #143, .T. );
#676 = ORIENTED_EDGE( '', *, *, #159, .F. );
#677 = ORIENTED_EDGE( '', *, *, #189, .T. );
#678 = ORIENTED_EDGE( '', *, *, #223, .T. );
#679 = CARTESIAN_POINT( '', ( 0.000000000000000, 25.0000000000000, -12.5000000000000 ) );
#680 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#681 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#682 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#683 = SURFACE_STYLE_FILL_AREA( #849 );
#684 = ORIENTED_EDGE( '', *, *, #171, .F. );
#685 = ORIENTED_EDGE( '', *, *, #125, .F. );
#686 = ORIENTED_EDGE( '', *, *, #163, .F. );
#687 = ORIENTED_EDGE( '', *, *, #155, .T. );
#688 = CARTESIAN_POINT( '', ( 0.000000000000000, 19.0000000000000, 2.25000000000000 ) );
#689 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#690 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 3.10862446895043E-015 ) );
#691 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#692 = CARTESIAN_POINT( '', ( 0.000000000000000, 6.00000000000000, 2.25000000000000 ) );
#693 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#694 = DIRECTION( '', ( 0.000000000000000, 1.77635683940025E-015, 1.00000000000000 ) );
#695 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#696 = CARTESIAN_POINT( '', ( 2.00000000000000, 19.0000000000000, -2.25000000000000 ) );
#697 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#698 = DIRECTION( '', ( 0.000000000000000, 3.55271367880049E-015, -1.00000000000000 ) );
#699 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#700 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#701 = SURFACE_STYLE_FILL_AREA( #850 );
#702 = ORIENTED_EDGE( '', *, *, #145, .T. );
#703 = ORIENTED_EDGE( '', *, *, #123, .T. );
#704 = ORIENTED_EDGE( '', *, *, #117, .T. );
#705 = ORIENTED_EDGE( '', *, *, #161, .T. );
#706 = ORIENTED_EDGE( '', *, *, #185, .T. );
#707 = ORIENTED_EDGE( '', *, *, #195, .T. );
#708 = ORIENTED_EDGE( '', *, *, #211, .T. );
#709 = ORIENTED_EDGE( '', *, *, #163, .T. );
#710 = ORIENTED_EDGE( '', *, *, #191, .F. );
#711 = ORIENTED_EDGE( '', *, *, #157, .F. );
#712 = ORIENTED_EDGE( '', *, *, #213, .F. );
#713 = ORIENTED_EDGE( '', *, *, #189, .F. );
#714 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#715 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#716 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#717 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#718 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#719 = CARTESIAN_POINT( '', ( 2.00000000000000, 6.00000000000000, 2.25000000000000 ) );
#720 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#721 = DIRECTION( '', ( 0.000000000000000, 1.77635683940025E-015, 1.00000000000000 ) );
#722 = CARTESIAN_POINT( '', ( 2.00000000000000, 6.00000000000000, -2.25000000000000 ) );
#723 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#724 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 4.44089209850063E-016 ) );
#725 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#726 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#727 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#728 = CARTESIAN_POINT( '', ( 0.000000000000000, 6.00000000000000, -2.25000000000000 ) );
#729 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#730 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 4.44089209850063E-016 ) );
#731 = CARTESIAN_POINT( '', ( 0.000000000000000, 19.0000000000000, 2.25000000000000 ) );
#732 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#733 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 3.10862446895043E-015 ) );
#734 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#735 = SURFACE_STYLE_FILL_AREA( #851 );
#736 = ORIENTED_EDGE( '', *, *, #199, .T. );
#737 = ORIENTED_EDGE( '', *, *, #223, .F. );
#738 = ORIENTED_EDGE( '', *, *, #213, .T. );
#739 = ORIENTED_EDGE( '', *, *, #237, .T. );
#740 = CARTESIAN_POINT( '', ( 0.000000000000000, 25.0000000000000, 12.5000000000000 ) );
#741 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#742 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#743 = CARTESIAN_POINT( '', ( 2.00000000000000, 19.0000000000000, 2.25000000000000 ) );
#744 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#745 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 3.10862446895043E-015 ) );
#746 = SURFACE_STYLE_FILL_AREA( #852 );
#747 = ORIENTED_EDGE( '', *, *, #149, .F. );
#748 = ORIENTED_EDGE( '', *, *, #165, .F. );
#749 = ORIENTED_EDGE( '', *, *, #123, .F. );
#750 = ORIENTED_EDGE( '', *, *, #205, .T. );
#751 = CARTESIAN_POINT( '', ( 0.000000000000000, 6.00000000000000, 2.25000000000000 ) );
#752 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#753 = DIRECTION( '', ( 0.000000000000000, 1.77635683940025E-015, 1.00000000000000 ) );
#754 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#755 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#756 = SURFACE_STYLE_FILL_AREA( #853 );
#757 = ORIENTED_EDGE( '', *, *, #137, .T. );
#758 = ORIENTED_EDGE( '', *, *, #171, .T. );
#759 = ORIENTED_EDGE( '', *, *, #179, .T. );
#760 = ORIENTED_EDGE( '', *, *, #127, .T. );
#761 = ORIENTED_EDGE( '', *, *, #221, .T. );
#762 = ORIENTED_EDGE( '', *, *, #153, .T. );
#763 = ORIENTED_EDGE( '', *, *, #177, .T. );
#764 = ORIENTED_EDGE( '', *, *, #149, .T. );
#765 = ORIENTED_EDGE( '', *, *, #187, .F. );
#766 = ORIENTED_EDGE( '', *, *, #111, .F. );
#767 = ORIENTED_EDGE( '', *, *, #143, .F. );
#768 = ORIENTED_EDGE( '', *, *, #199, .F. );
#769 = CARTESIAN_POINT( '', ( 2.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#770 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#771 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#772 = SURFACE_STYLE_FILL_AREA( #854 );
#773 = ORIENTED_EDGE( '', *, *, #221, .F. );
#774 = ORIENTED_EDGE( '', *, *, #235, .F. );
#775 = ORIENTED_EDGE( '', *, *, #185, .F. );
#776 = ORIENTED_EDGE( '', *, *, #241, .T. );
#777 = CARTESIAN_POINT( '', ( 0.000000000000000, 19.0000000000000, -3.25000000000000 ) );
#778 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#779 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#780 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#781 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#782 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#783 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#784 = SURFACE_STYLE_FILL_AREA( #855 );
#785 = ORIENTED_EDGE( '', *, *, #127, .F. );
#786 = ORIENTED_EDGE( '', *, *, #227, .F. );
#787 = ORIENTED_EDGE( '', *, *, #195, .F. );
#788 = ORIENTED_EDGE( '', *, *, #235, .T. );
#789 = CARTESIAN_POINT( '', ( 0.000000000000000, 19.0000000000000, -2.25000000000000 ) );
#790 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#791 = DIRECTION( '', ( 0.000000000000000, 3.55271367880049E-015, -1.00000000000000 ) );
#792 = CARTESIAN_POINT( '', ( 0.000000000000000, 19.0000000000000, -2.25000000000000 ) );
#793 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#794 = DIRECTION( '', ( 0.000000000000000, 3.55271367880049E-015, -1.00000000000000 ) );
#795 = SURFACE_STYLE_FILL_AREA( #856 );
#796 = ORIENTED_EDGE( '', *, *, #179, .F. );
#797 = ORIENTED_EDGE( '', *, *, #155, .F. );
#798 = ORIENTED_EDGE( '', *, *, #211, .F. );
#799 = ORIENTED_EDGE( '', *, *, #227, .T. );
#800 = CARTESIAN_POINT( '', ( 0.000000000000000, 20.0000000000000, 2.25000000000000 ) );
#801 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#802 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#803 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#804 = SURFACE_STYLE_FILL_AREA( #857 );
#805 = ORIENTED_EDGE( '', *, *, #153, .F. );
#806 = ORIENTED_EDGE( '', *, *, #241, .F. );
#807 = ORIENTED_EDGE( '', *, *, #161, .F. );
#808 = ORIENTED_EDGE( '', *, *, #209, .T. );
#809 = CARTESIAN_POINT( '', ( 0.000000000000000, 6.00000000000000, -2.25000000000000 ) );
#810 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#811 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 4.44089209850063E-016 ) );
#812 = SURFACE_STYLE_FILL_AREA( #858 );
#813 = ORIENTED_EDGE( '', *, *, #177, .F. );
#814 = ORIENTED_EDGE( '', *, *, #209, .F. );
#815 = ORIENTED_EDGE( '', *, *, #117, .F. );
#816 = ORIENTED_EDGE( '', *, *, #165, .T. );
#817 = CARTESIAN_POINT( '', ( 0.000000000000000, 5.00000000000000, -2.25000000000000 ) );
#818 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#819 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#820 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#821 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#822 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#823 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#824 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#825 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#826 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#827 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#828 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#829 = SURFACE_STYLE_FILL_AREA( #859 );
#830 = ORIENTED_EDGE( '', *, *, #111, .T. );
#831 = ORIENTED_EDGE( '', *, *, #131, .F. );
#832 = ORIENTED_EDGE( '', *, *, #191, .T. );
#833 = ORIENTED_EDGE( '', *, *, #159, .T. );
#834 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, -12.5000000000000 ) );
#835 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#836 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#837 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#838 = SURFACE_STYLE_FILL_AREA( #860 );
#839 = SURFACE_STYLE_FILL_AREA( #861 );
#840 = ORIENTED_EDGE( '', *, *, #187, .T. );
#841 = ORIENTED_EDGE( '', *, *, #237, .F. );
#842 = ORIENTED_EDGE( '', *, *, #157, .T. );
#843 = ORIENTED_EDGE( '', *, *, #131, .T. );
#844 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 12.5000000000000 ) );
#845 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#846 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#847 = FILL_AREA_STYLE( '', ( #862 ) );
#848 = FILL_AREA_STYLE( '', ( #863 ) );
#849 = FILL_AREA_STYLE( '', ( #864 ) );
#850 = FILL_AREA_STYLE( '', ( #865 ) );
#851 = FILL_AREA_STYLE( '', ( #866 ) );
#852 = FILL_AREA_STYLE( '', ( #867 ) );
#853 = FILL_AREA_STYLE( '', ( #868 ) );
#854 = FILL_AREA_STYLE( '', ( #869 ) );
#855 = FILL_AREA_STYLE( '', ( #870 ) );
#856 = FILL_AREA_STYLE( '', ( #871 ) );
#857 = FILL_AREA_STYLE( '', ( #872 ) );
#858 = FILL_AREA_STYLE( '', ( #873 ) );
#859 = FILL_AREA_STYLE( '', ( #874 ) );
#860 = FILL_AREA_STYLE( '', ( #875 ) );
#861 = FILL_AREA_STYLE( '', ( #876 ) );
#862 = FILL_AREA_STYLE_COLOUR( '', #877 );
#863 = FILL_AREA_STYLE_COLOUR( '', #878 );
#864 = FILL_AREA_STYLE_COLOUR( '', #879 );
#865 = FILL_AREA_STYLE_COLOUR( '', #880 );
#866 = FILL_AREA_STYLE_COLOUR( '', #881 );
#867 = FILL_AREA_STYLE_COLOUR( '', #882 );
#868 = FILL_AREA_STYLE_COLOUR( '', #883 );
#869 = FILL_AREA_STYLE_COLOUR( '', #884 );
#870 = FILL_AREA_STYLE_COLOUR( '', #885 );
#871 = FILL_AREA_STYLE_COLOUR( '', #886 );
#872 = FILL_AREA_STYLE_COLOUR( '', #887 );
#873 = FILL_AREA_STYLE_COLOUR( '', #888 );
#874 = FILL_AREA_STYLE_COLOUR( '', #889 );
#875 = FILL_AREA_STYLE_COLOUR( '', #890 );
#876 = FILL_AREA_STYLE_COLOUR( '', #891 );
#877 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#878 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#879 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#880 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#881 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#882 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#883 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#884 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#885 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#886 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#887 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#888 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#889 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#890 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#891 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
ENDSEC;
END-ISO-10303-21;