Europalab Devices produces a LoRaWAN transmitting client node, specialised for higher research of actuator and sensor assisted IoT networks. https://dev.europalab.com/nlnet/20200000/
您最多选择25个主题 主题必须以字母或数字开头,可以包含连字符 (-),并且长度不得超过35个字符

1657 行
95KB

  1. ISO-10303-21;
  2. HEADER;
  3. FILE_DESCRIPTION( ( 'STEP AP214' ), '1' );
  4. FILE_NAME( 'p:/temp/worker_122/temp/exporttempdir_3156_240_TpDdm/format_0/SMA-J-P-H-ST-EM1.stp', '2020-09-25T01:22:28', ( 'License CC BY-ND 4.0' ), ( 'CADENAS' ), ' ', 'PARTsolutions', ' ' );
  5. FILE_SCHEMA( ( 'AUTOMOTIVE_DESIGN { 1 0 10303 214 1 1 1 1 }' ) );
  6. ENDSEC;
  7. DATA;
  8. #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 ), #6 );
  9. #2 = PRODUCT_DEFINITION_CONTEXT( '', #57, 'design' );
  10. #3 = APPLICATION_PROTOCOL_DEFINITION( 'international standard', 'automotive_design', 2001, #57 );
  11. #4 = PRODUCT_CATEGORY_RELATIONSHIP( 'NONE', 'NONE', #58, #59 );
  12. #5 = SHAPE_DEFINITION_REPRESENTATION( #60, #61 );
  13. #6 = ( GEOMETRIC_REPRESENTATION_CONTEXT( 3 )GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT( ( #64 ) )GLOBAL_UNIT_ASSIGNED_CONTEXT( ( #66, #67, #68 ) )REPRESENTATION_CONTEXT( 'NONE', 'WORKSPACE' ) );
  14. #10 = STYLED_ITEM( '', ( #70 ), #71 );
  15. #11 = STYLED_ITEM( '', ( #72 ), #73 );
  16. #12 = STYLED_ITEM( '', ( #74 ), #75 );
  17. #13 = STYLED_ITEM( '', ( #76 ), #77 );
  18. #14 = STYLED_ITEM( '', ( #78 ), #79 );
  19. #15 = STYLED_ITEM( '', ( #80 ), #81 );
  20. #16 = STYLED_ITEM( '', ( #82 ), #83 );
  21. #17 = STYLED_ITEM( '', ( #84 ), #85 );
  22. #18 = STYLED_ITEM( '', ( #86 ), #87 );
  23. #19 = STYLED_ITEM( '', ( #88 ), #89 );
  24. #20 = STYLED_ITEM( '', ( #90 ), #91 );
  25. #21 = STYLED_ITEM( '', ( #92 ), #93 );
  26. #22 = STYLED_ITEM( '', ( #94 ), #95 );
  27. #23 = STYLED_ITEM( '', ( #96 ), #97 );
  28. #24 = STYLED_ITEM( '', ( #98 ), #99 );
  29. #25 = STYLED_ITEM( '', ( #100 ), #101 );
  30. #26 = STYLED_ITEM( '', ( #102 ), #103 );
  31. #27 = STYLED_ITEM( '', ( #104 ), #105 );
  32. #28 = STYLED_ITEM( '', ( #106 ), #107 );
  33. #29 = STYLED_ITEM( '', ( #108 ), #109 );
  34. #30 = STYLED_ITEM( '', ( #110 ), #111 );
  35. #31 = STYLED_ITEM( '', ( #112 ), #113 );
  36. #32 = STYLED_ITEM( '', ( #114 ), #115 );
  37. #33 = STYLED_ITEM( '', ( #116 ), #117 );
  38. #34 = STYLED_ITEM( '', ( #118 ), #119 );
  39. #35 = STYLED_ITEM( '', ( #120 ), #121 );
  40. #36 = STYLED_ITEM( '', ( #122 ), #123 );
  41. #37 = STYLED_ITEM( '', ( #124 ), #125 );
  42. #38 = STYLED_ITEM( '', ( #126 ), #127 );
  43. #39 = STYLED_ITEM( '', ( #128 ), #129 );
  44. #40 = STYLED_ITEM( '', ( #130 ), #131 );
  45. #41 = STYLED_ITEM( '', ( #132 ), #133 );
  46. #42 = STYLED_ITEM( '', ( #134 ), #135 );
  47. #43 = STYLED_ITEM( '', ( #136 ), #137 );
  48. #44 = STYLED_ITEM( '', ( #138 ), #139 );
  49. #45 = STYLED_ITEM( '', ( #140 ), #141 );
  50. #46 = STYLED_ITEM( '', ( #142 ), #143 );
  51. #47 = STYLED_ITEM( '', ( #144 ), #145 );
  52. #48 = STYLED_ITEM( '', ( #146 ), #147 );
  53. #49 = STYLED_ITEM( '', ( #148 ), #149 );
  54. #50 = STYLED_ITEM( '', ( #150 ), #151 );
  55. #51 = STYLED_ITEM( '', ( #152 ), #153 );
  56. #52 = STYLED_ITEM( '', ( #154 ), #155 );
  57. #53 = STYLED_ITEM( '', ( #156 ), #157 );
  58. #54 = STYLED_ITEM( '', ( #158 ), #159 );
  59. #55 = STYLED_ITEM( '', ( #160 ), #161 );
  60. #56 = STYLED_ITEM( '', ( #162 ), #163 );
  61. #57 = APPLICATION_CONTEXT( 'core data for automotive mechanical design processes' );
  62. #58 = PRODUCT_CATEGORY( 'part', 'NONE' );
  63. #59 = PRODUCT_RELATED_PRODUCT_CATEGORY( 'detail', ' ', ( #164 ) );
  64. #60 = PRODUCT_DEFINITION_SHAPE( 'NONE', 'NONE', #165 );
  65. #61 = ADVANCED_BREP_SHAPE_REPRESENTATION( '_SMA-J-P-H-ST-EM1', ( #166, #167 ), #6 );
  66. #64 = UNCERTAINTY_MEASURE_WITH_UNIT( LENGTH_MEASURE( 0.00100000000000000 ), #66, '', '' );
  67. #66 = ( CONVERSION_BASED_UNIT( 'MILLIMETRE', #170 )LENGTH_UNIT( )NAMED_UNIT( #173 ) );
  68. #67 = ( NAMED_UNIT( #175 )PLANE_ANGLE_UNIT( )SI_UNIT( $, .RADIAN. ) );
  69. #68 = ( NAMED_UNIT( #175 )SI_UNIT( $, .STERADIAN. )SOLID_ANGLE_UNIT( ) );
  70. #70 = PRESENTATION_STYLE_ASSIGNMENT( ( #181 ) );
  71. #71 = ADVANCED_FACE( '', ( #182, #183 ), #184, .F. );
  72. #72 = PRESENTATION_STYLE_ASSIGNMENT( ( #185 ) );
  73. #73 = ADVANCED_FACE( '', ( #186 ), #187, .T. );
  74. #74 = PRESENTATION_STYLE_ASSIGNMENT( ( #188 ) );
  75. #75 = ADVANCED_FACE( '', ( #189, #190 ), #191, .T. );
  76. #76 = PRESENTATION_STYLE_ASSIGNMENT( ( #192 ) );
  77. #77 = ADVANCED_FACE( '', ( #193, #194 ), #195, .F. );
  78. #78 = PRESENTATION_STYLE_ASSIGNMENT( ( #196 ) );
  79. #79 = ADVANCED_FACE( '', ( #197 ), #198, .T. );
  80. #80 = PRESENTATION_STYLE_ASSIGNMENT( ( #199 ) );
  81. #81 = ADVANCED_FACE( '', ( #200, #201 ), #202, .F. );
  82. #82 = PRESENTATION_STYLE_ASSIGNMENT( ( #203 ) );
  83. #83 = ADVANCED_FACE( '', ( #204 ), #205, .F. );
  84. #84 = PRESENTATION_STYLE_ASSIGNMENT( ( #206 ) );
  85. #85 = ADVANCED_FACE( '', ( #207 ), #208, .F. );
  86. #86 = PRESENTATION_STYLE_ASSIGNMENT( ( #209 ) );
  87. #87 = ADVANCED_FACE( '', ( #210, #211 ), #212, .F. );
  88. #88 = PRESENTATION_STYLE_ASSIGNMENT( ( #213 ) );
  89. #89 = ADVANCED_FACE( '', ( #214, #215 ), #216, .F. );
  90. #90 = PRESENTATION_STYLE_ASSIGNMENT( ( #217 ) );
  91. #91 = ADVANCED_FACE( '', ( #218 ), #219, .F. );
  92. #92 = PRESENTATION_STYLE_ASSIGNMENT( ( #220 ) );
  93. #93 = ADVANCED_FACE( '', ( #221 ), #222, .F. );
  94. #94 = PRESENTATION_STYLE_ASSIGNMENT( ( #223 ) );
  95. #95 = ADVANCED_FACE( '', ( #224 ), #225, .T. );
  96. #96 = PRESENTATION_STYLE_ASSIGNMENT( ( #226 ) );
  97. #97 = ADVANCED_FACE( '', ( #227 ), #228, .T. );
  98. #98 = PRESENTATION_STYLE_ASSIGNMENT( ( #229 ) );
  99. #99 = ADVANCED_FACE( '', ( #230 ), #231, .F. );
  100. #100 = PRESENTATION_STYLE_ASSIGNMENT( ( #232 ) );
  101. #101 = ADVANCED_FACE( '', ( #233, #234 ), #235, .F. );
  102. #102 = PRESENTATION_STYLE_ASSIGNMENT( ( #236 ) );
  103. #103 = ADVANCED_FACE( '', ( #237 ), #238, .T. );
  104. #104 = PRESENTATION_STYLE_ASSIGNMENT( ( #239 ) );
  105. #105 = ADVANCED_FACE( '', ( #240, #241 ), #242, .T. );
  106. #106 = PRESENTATION_STYLE_ASSIGNMENT( ( #243 ) );
  107. #107 = ADVANCED_FACE( '', ( #244 ), #245, .F. );
  108. #108 = PRESENTATION_STYLE_ASSIGNMENT( ( #246 ) );
  109. #109 = ADVANCED_FACE( '', ( #247 ), #248, .T. );
  110. #110 = PRESENTATION_STYLE_ASSIGNMENT( ( #249 ) );
  111. #111 = ADVANCED_FACE( '', ( #250, #251 ), #252, .T. );
  112. #112 = PRESENTATION_STYLE_ASSIGNMENT( ( #253 ) );
  113. #113 = ADVANCED_FACE( '', ( #254 ), #255, .F. );
  114. #114 = PRESENTATION_STYLE_ASSIGNMENT( ( #256 ) );
  115. #115 = ADVANCED_FACE( '', ( #257 ), #258, .F. );
  116. #116 = PRESENTATION_STYLE_ASSIGNMENT( ( #259 ) );
  117. #117 = ADVANCED_FACE( '', ( #260, #261 ), #262, .F. );
  118. #118 = PRESENTATION_STYLE_ASSIGNMENT( ( #263 ) );
  119. #119 = ADVANCED_FACE( '', ( #264 ), #265, .F. );
  120. #120 = PRESENTATION_STYLE_ASSIGNMENT( ( #266 ) );
  121. #121 = ADVANCED_FACE( '', ( #267 ), #268, .F. );
  122. #122 = PRESENTATION_STYLE_ASSIGNMENT( ( #269 ) );
  123. #123 = ADVANCED_FACE( '', ( #270 ), #271, .F. );
  124. #124 = PRESENTATION_STYLE_ASSIGNMENT( ( #272 ) );
  125. #125 = ADVANCED_FACE( '', ( #273 ), #274, .F. );
  126. #126 = PRESENTATION_STYLE_ASSIGNMENT( ( #275 ) );
  127. #127 = ADVANCED_FACE( '', ( #276, #277 ), #278, .T. );
  128. #128 = PRESENTATION_STYLE_ASSIGNMENT( ( #279 ) );
  129. #129 = ADVANCED_FACE( '', ( #280, #281 ), #282, .F. );
  130. #130 = PRESENTATION_STYLE_ASSIGNMENT( ( #283 ) );
  131. #131 = ADVANCED_FACE( '', ( #284 ), #285, .F. );
  132. #132 = PRESENTATION_STYLE_ASSIGNMENT( ( #286 ) );
  133. #133 = ADVANCED_FACE( '', ( #287 ), #288, .F. );
  134. #134 = PRESENTATION_STYLE_ASSIGNMENT( ( #289 ) );
  135. #135 = ADVANCED_FACE( '', ( #290, #291 ), #292, .F. );
  136. #136 = PRESENTATION_STYLE_ASSIGNMENT( ( #293 ) );
  137. #137 = ADVANCED_FACE( '', ( #294, #295 ), #296, .F. );
  138. #138 = PRESENTATION_STYLE_ASSIGNMENT( ( #297 ) );
  139. #139 = ADVANCED_FACE( '', ( #298, #299 ), #300, .F. );
  140. #140 = PRESENTATION_STYLE_ASSIGNMENT( ( #301 ) );
  141. #141 = ADVANCED_FACE( '', ( #302, #303 ), #304, .T. );
  142. #142 = PRESENTATION_STYLE_ASSIGNMENT( ( #305 ) );
  143. #143 = ADVANCED_FACE( '', ( #306, #307 ), #308, .F. );
  144. #144 = PRESENTATION_STYLE_ASSIGNMENT( ( #309 ) );
  145. #145 = ADVANCED_FACE( '', ( #310 ), #311, .F. );
  146. #146 = PRESENTATION_STYLE_ASSIGNMENT( ( #312 ) );
  147. #147 = ADVANCED_FACE( '', ( #313, #314 ), #315, .T. );
  148. #148 = PRESENTATION_STYLE_ASSIGNMENT( ( #316 ) );
  149. #149 = ADVANCED_FACE( '', ( #317 ), #318, .F. );
  150. #150 = PRESENTATION_STYLE_ASSIGNMENT( ( #319 ) );
  151. #151 = ADVANCED_FACE( '', ( #320 ), #321, .F. );
  152. #152 = PRESENTATION_STYLE_ASSIGNMENT( ( #322 ) );
  153. #153 = ADVANCED_FACE( '', ( #323, #324 ), #325, .T. );
  154. #154 = PRESENTATION_STYLE_ASSIGNMENT( ( #326 ) );
  155. #155 = ADVANCED_FACE( '', ( #327 ), #328, .F. );
  156. #156 = PRESENTATION_STYLE_ASSIGNMENT( ( #329 ) );
  157. #157 = ADVANCED_FACE( '', ( #330 ), #331, .T. );
  158. #158 = PRESENTATION_STYLE_ASSIGNMENT( ( #332 ) );
  159. #159 = ADVANCED_FACE( '', ( #333 ), #334, .F. );
  160. #160 = PRESENTATION_STYLE_ASSIGNMENT( ( #335 ) );
  161. #161 = ADVANCED_FACE( '', ( #336 ), #337, .F. );
  162. #162 = PRESENTATION_STYLE_ASSIGNMENT( ( #338 ) );
  163. #163 = ADVANCED_FACE( '', ( #339 ), #340, .F. );
  164. #164 = PRODUCT( '_SMA-J-P-H-ST-EM1', '_SMA-J-P-H-ST-EM1', 'PART-_SMA-J-P-H-ST-EM1-DESC', ( #341 ) );
  165. #165 = PRODUCT_DEFINITION( 'NONE', 'NONE', #342, #2 );
  166. #166 = MANIFOLD_SOLID_BREP( '_SMA-J-P-H-ST-EM1', #343 );
  167. #167 = AXIS2_PLACEMENT_3D( '', #344, #345, #346 );
  168. #170 = LENGTH_MEASURE_WITH_UNIT( LENGTH_MEASURE( 1.00000000000000 ), #347 );
  169. #173 = DIMENSIONAL_EXPONENTS( 1.00000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 );
  170. #175 = DIMENSIONAL_EXPONENTS( 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 );
  171. #181 = SURFACE_STYLE_USAGE( .BOTH., #348 );
  172. #182 = FACE_BOUND( '', #349, .T. );
  173. #183 = FACE_OUTER_BOUND( '', #350, .T. );
  174. #184 = PLANE( '', #351 );
  175. #185 = SURFACE_STYLE_USAGE( .BOTH., #352 );
  176. #186 = FACE_OUTER_BOUND( '', #353, .T. );
  177. #187 = PLANE( '', #354 );
  178. #188 = SURFACE_STYLE_USAGE( .BOTH., #355 );
  179. #189 = FACE_OUTER_BOUND( '', #356, .T. );
  180. #190 = FACE_OUTER_BOUND( '', #357, .T. );
  181. #191 = CYLINDRICAL_SURFACE( '', #358, 0.635000000000000 );
  182. #192 = SURFACE_STYLE_USAGE( .BOTH., #359 );
  183. #193 = FACE_OUTER_BOUND( '', #360, .T. );
  184. #194 = FACE_OUTER_BOUND( '', #361, .T. );
  185. #195 = CYLINDRICAL_SURFACE( '', #362, 0.635000000000000 );
  186. #196 = SURFACE_STYLE_USAGE( .BOTH., #363 );
  187. #197 = FACE_OUTER_BOUND( '', #364, .T. );
  188. #198 = PLANE( '', #365 );
  189. #199 = SURFACE_STYLE_USAGE( .BOTH., #366 );
  190. #200 = FACE_OUTER_BOUND( '', #367, .T. );
  191. #201 = FACE_BOUND( '', #368, .T. );
  192. #202 = PLANE( '', #369 );
  193. #203 = SURFACE_STYLE_USAGE( .BOTH., #370 );
  194. #204 = FACE_OUTER_BOUND( '', #371, .T. );
  195. #205 = PLANE( '', #372 );
  196. #206 = SURFACE_STYLE_USAGE( .BOTH., #373 );
  197. #207 = FACE_OUTER_BOUND( '', #374, .T. );
  198. #208 = PLANE( '', #375 );
  199. #209 = SURFACE_STYLE_USAGE( .BOTH., #376 );
  200. #210 = FACE_OUTER_BOUND( '', #377, .T. );
  201. #211 = FACE_BOUND( '', #378, .T. );
  202. #212 = PLANE( '', #379 );
  203. #213 = SURFACE_STYLE_USAGE( .BOTH., #380 );
  204. #214 = FACE_BOUND( '', #381, .T. );
  205. #215 = FACE_OUTER_BOUND( '', #382, .T. );
  206. #216 = PLANE( '', #383 );
  207. #217 = SURFACE_STYLE_USAGE( .BOTH., #384 );
  208. #218 = FACE_OUTER_BOUND( '', #385, .T. );
  209. #219 = PLANE( '', #386 );
  210. #220 = SURFACE_STYLE_USAGE( .BOTH., #387 );
  211. #221 = FACE_OUTER_BOUND( '', #388, .T. );
  212. #222 = PLANE( '', #389 );
  213. #223 = SURFACE_STYLE_USAGE( .BOTH., #390 );
  214. #224 = FACE_OUTER_BOUND( '', #391, .T. );
  215. #225 = CYLINDRICAL_SURFACE( '', #392, 0.650558510600000 );
  216. #226 = SURFACE_STYLE_USAGE( .BOTH., #393 );
  217. #227 = FACE_OUTER_BOUND( '', #394, .T. );
  218. #228 = PLANE( '', #395 );
  219. #229 = SURFACE_STYLE_USAGE( .BOTH., #396 );
  220. #230 = FACE_OUTER_BOUND( '', #397, .T. );
  221. #231 = PLANE( '', #398 );
  222. #232 = SURFACE_STYLE_USAGE( .BOTH., #399 );
  223. #233 = FACE_OUTER_BOUND( '', #400, .T. );
  224. #234 = FACE_OUTER_BOUND( '', #401, .T. );
  225. #235 = CYLINDRICAL_SURFACE( '', #402, 2.31500000000000 );
  226. #236 = SURFACE_STYLE_USAGE( .BOTH., #403 );
  227. #237 = FACE_OUTER_BOUND( '', #404, .T. );
  228. #238 = CYLINDRICAL_SURFACE( '', #405, 0.650558510600000 );
  229. #239 = SURFACE_STYLE_USAGE( .BOTH., #406 );
  230. #240 = FACE_BOUND( '', #407, .T. );
  231. #241 = FACE_OUTER_BOUND( '', #408, .T. );
  232. #242 = PLANE( '', #409 );
  233. #243 = SURFACE_STYLE_USAGE( .BOTH., #410 );
  234. #244 = FACE_OUTER_BOUND( '', #411, .T. );
  235. #245 = PLANE( '', #412 );
  236. #246 = SURFACE_STYLE_USAGE( .BOTH., #413 );
  237. #247 = FACE_OUTER_BOUND( '', #414, .T. );
  238. #248 = PLANE( '', #415 );
  239. #249 = SURFACE_STYLE_USAGE( .BOTH., #416 );
  240. #250 = FACE_OUTER_BOUND( '', #417, .T. );
  241. #251 = FACE_BOUND( '', #418, .T. );
  242. #252 = PLANE( '', #419 );
  243. #253 = SURFACE_STYLE_USAGE( .BOTH., #420 );
  244. #254 = FACE_OUTER_BOUND( '', #421, .T. );
  245. #255 = PLANE( '', #422 );
  246. #256 = SURFACE_STYLE_USAGE( .BOTH., #423 );
  247. #257 = FACE_OUTER_BOUND( '', #424, .T. );
  248. #258 = PLANE( '', #425 );
  249. #259 = SURFACE_STYLE_USAGE( .BOTH., #426 );
  250. #260 = FACE_BOUND( '', #427, .T. );
  251. #261 = FACE_OUTER_BOUND( '', #428, .T. );
  252. #262 = PLANE( '', #429 );
  253. #263 = SURFACE_STYLE_USAGE( .BOTH., #430 );
  254. #264 = FACE_OUTER_BOUND( '', #431, .T. );
  255. #265 = PLANE( '', #432 );
  256. #266 = SURFACE_STYLE_USAGE( .BOTH., #433 );
  257. #267 = FACE_OUTER_BOUND( '', #434, .T. );
  258. #268 = PLANE( '', #435 );
  259. #269 = SURFACE_STYLE_USAGE( .BOTH., #436 );
  260. #270 = FACE_OUTER_BOUND( '', #437, .T. );
  261. #271 = PLANE( '', #438 );
  262. #272 = SURFACE_STYLE_USAGE( .BOTH., #439 );
  263. #273 = FACE_OUTER_BOUND( '', #440, .T. );
  264. #274 = PLANE( '', #441 );
  265. #275 = SURFACE_STYLE_USAGE( .BOTH., #442 );
  266. #276 = FACE_OUTER_BOUND( '', #443, .T. );
  267. #277 = FACE_OUTER_BOUND( '', #444, .T. );
  268. #278 = CYLINDRICAL_SURFACE( '', #445, 3.16500000000000 );
  269. #279 = SURFACE_STYLE_USAGE( .BOTH., #446 );
  270. #280 = FACE_OUTER_BOUND( '', #447, .T. );
  271. #281 = FACE_OUTER_BOUND( '', #448, .T. );
  272. #282 = CYLINDRICAL_SURFACE( '', #449, 2.05000000000000 );
  273. #283 = SURFACE_STYLE_USAGE( .BOTH., #450 );
  274. #284 = FACE_OUTER_BOUND( '', #451, .T. );
  275. #285 = CYLINDRICAL_SURFACE( '', #452, 0.603601190500000 );
  276. #286 = SURFACE_STYLE_USAGE( .BOTH., #453 );
  277. #287 = FACE_OUTER_BOUND( '', #454, .T. );
  278. #288 = PLANE( '', #455 );
  279. #289 = SURFACE_STYLE_USAGE( .BOTH., #456 );
  280. #290 = FACE_OUTER_BOUND( '', #457, .T. );
  281. #291 = FACE_OUTER_BOUND( '', #458, .T. );
  282. #292 = CYLINDRICAL_SURFACE( '', #459, 2.12500000000000 );
  283. #293 = SURFACE_STYLE_USAGE( .BOTH., #460 );
  284. #294 = FACE_OUTER_BOUND( '', #461, .T. );
  285. #295 = FACE_BOUND( '', #462, .T. );
  286. #296 = PLANE( '', #463 );
  287. #297 = SURFACE_STYLE_USAGE( .BOTH., #464 );
  288. #298 = FACE_OUTER_BOUND( '', #465, .T. );
  289. #299 = FACE_BOUND( '', #466, .T. );
  290. #300 = PLANE( '', #467 );
  291. #301 = SURFACE_STYLE_USAGE( .BOTH., #468 );
  292. #302 = FACE_OUTER_BOUND( '', #469, .T. );
  293. #303 = FACE_OUTER_BOUND( '', #470, .T. );
  294. #304 = CYLINDRICAL_SURFACE( '', #471, 2.67500000000000 );
  295. #305 = SURFACE_STYLE_USAGE( .BOTH., #472 );
  296. #306 = FACE_OUTER_BOUND( '', #473, .T. );
  297. #307 = FACE_BOUND( '', #474, .T. );
  298. #308 = PLANE( '', #475 );
  299. #309 = SURFACE_STYLE_USAGE( .BOTH., #476 );
  300. #310 = FACE_OUTER_BOUND( '', #477, .T. );
  301. #311 = PLANE( '', #478 );
  302. #312 = SURFACE_STYLE_USAGE( .BOTH., #479 );
  303. #313 = FACE_BOUND( '', #480, .T. );
  304. #314 = FACE_OUTER_BOUND( '', #481, .T. );
  305. #315 = CONICAL_SURFACE( '', #482, 0.635000000000000, 0.785398163400000 );
  306. #316 = SURFACE_STYLE_USAGE( .BOTH., #483 );
  307. #317 = FACE_OUTER_BOUND( '', #484, .T. );
  308. #318 = PLANE( '', #485 );
  309. #319 = SURFACE_STYLE_USAGE( .BOTH., #486 );
  310. #320 = FACE_OUTER_BOUND( '', #487, .T. );
  311. #321 = PLANE( '', #488 );
  312. #322 = SURFACE_STYLE_USAGE( .BOTH., #489 );
  313. #323 = FACE_OUTER_BOUND( '', #490, .T. );
  314. #324 = FACE_OUTER_BOUND( '', #491, .T. );
  315. #325 = CYLINDRICAL_SURFACE( '', #492, 2.67500000000000 );
  316. #326 = SURFACE_STYLE_USAGE( .BOTH., #493 );
  317. #327 = FACE_OUTER_BOUND( '', #494, .T. );
  318. #328 = CYLINDRICAL_SURFACE( '', #495, 0.603601190500000 );
  319. #329 = SURFACE_STYLE_USAGE( .BOTH., #496 );
  320. #330 = FACE_OUTER_BOUND( '', #497, .T. );
  321. #331 = PLANE( '', #498 );
  322. #332 = SURFACE_STYLE_USAGE( .BOTH., #499 );
  323. #333 = FACE_OUTER_BOUND( '', #500, .T. );
  324. #334 = PLANE( '', #501 );
  325. #335 = SURFACE_STYLE_USAGE( .BOTH., #502 );
  326. #336 = FACE_OUTER_BOUND( '', #503, .T. );
  327. #337 = PLANE( '', #504 );
  328. #338 = SURFACE_STYLE_USAGE( .BOTH., #505 );
  329. #339 = FACE_OUTER_BOUND( '', #506, .T. );
  330. #340 = PLANE( '', #507 );
  331. #341 = PRODUCT_CONTEXT( '', #57, 'mechanical' );
  332. #342 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE( ' ', 'NONE', #164, .NOT_KNOWN. );
  333. #343 = CLOSED_SHELL( '', ( #127, #125, #99, #87, #139, #141, #81, #101, #143, #129, #137, #77, #95, #131, #155, #103, #105, #157, #97, #79, #85, #89, #119, #107, #149, #133, #91, #121, #93, #151, #117, #159, #153, #71, #83, #123, #113, #161, #163, #145, #115, #73, #109, #135, #111, #75, #147 ) );
  334. #344 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
  335. #345 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
  336. #346 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
  337. #347 = ( LENGTH_UNIT( )NAMED_UNIT( #173 )SI_UNIT( .MILLI., .METRE. ) );
  338. #348 = SURFACE_SIDE_STYLE( '', ( #509 ) );
  339. #349 = EDGE_LOOP( '', ( #510 ) );
  340. #350 = EDGE_LOOP( '', ( #511 ) );
  341. #351 = AXIS2_PLACEMENT_3D( '', #512, #513, #514 );
  342. #352 = SURFACE_SIDE_STYLE( '', ( #515 ) );
  343. #353 = EDGE_LOOP( '', ( #516, #517, #518, #519, #520 ) );
  344. #354 = AXIS2_PLACEMENT_3D( '', #521, #522, #523 );
  345. #355 = SURFACE_SIDE_STYLE( '', ( #524 ) );
  346. #356 = EDGE_LOOP( '', ( #525 ) );
  347. #357 = EDGE_LOOP( '', ( #526 ) );
  348. #358 = AXIS2_PLACEMENT_3D( '', #527, #528, #529 );
  349. #359 = SURFACE_SIDE_STYLE( '', ( #530 ) );
  350. #360 = EDGE_LOOP( '', ( #531 ) );
  351. #361 = EDGE_LOOP( '', ( #532 ) );
  352. #362 = AXIS2_PLACEMENT_3D( '', #533, #534, #535 );
  353. #363 = SURFACE_SIDE_STYLE( '', ( #536 ) );
  354. #364 = EDGE_LOOP( '', ( #537, #538, #539, #540, #541, #542, #543, #544, #545, #546, #547, #548 ) );
  355. #365 = AXIS2_PLACEMENT_3D( '', #549, #550, #551 );
  356. #366 = SURFACE_SIDE_STYLE( '', ( #552 ) );
  357. #367 = EDGE_LOOP( '', ( #553 ) );
  358. #368 = EDGE_LOOP( '', ( #554 ) );
  359. #369 = AXIS2_PLACEMENT_3D( '', #555, #556, #557 );
  360. #370 = SURFACE_SIDE_STYLE( '', ( #558 ) );
  361. #371 = EDGE_LOOP( '', ( #559, #560, #561, #562 ) );
  362. #372 = AXIS2_PLACEMENT_3D( '', #563, #564, #565 );
  363. #373 = SURFACE_SIDE_STYLE( '', ( #566 ) );
  364. #374 = EDGE_LOOP( '', ( #567, #568, #569, #570, #571, #572, #573, #574, #575, #576, #577, #578 ) );
  365. #375 = AXIS2_PLACEMENT_3D( '', #579, #580, #581 );
  366. #376 = SURFACE_SIDE_STYLE( '', ( #582 ) );
  367. #377 = EDGE_LOOP( '', ( #583 ) );
  368. #378 = EDGE_LOOP( '', ( #584 ) );
  369. #379 = AXIS2_PLACEMENT_3D( '', #585, #586, #587 );
  370. #380 = SURFACE_SIDE_STYLE( '', ( #588 ) );
  371. #381 = EDGE_LOOP( '', ( #589 ) );
  372. #382 = EDGE_LOOP( '', ( #590, #591, #592, #593 ) );
  373. #383 = AXIS2_PLACEMENT_3D( '', #594, #595, #596 );
  374. #384 = SURFACE_SIDE_STYLE( '', ( #597 ) );
  375. #385 = EDGE_LOOP( '', ( #598, #599, #600, #601 ) );
  376. #386 = AXIS2_PLACEMENT_3D( '', #602, #603, #604 );
  377. #387 = SURFACE_SIDE_STYLE( '', ( #605 ) );
  378. #388 = EDGE_LOOP( '', ( #606, #607, #608, #609 ) );
  379. #389 = AXIS2_PLACEMENT_3D( '', #610, #611, #612 );
  380. #390 = SURFACE_SIDE_STYLE( '', ( #613 ) );
  381. #391 = EDGE_LOOP( '', ( #614, #615, #616, #617 ) );
  382. #392 = AXIS2_PLACEMENT_3D( '', #618, #619, #620 );
  383. #393 = SURFACE_SIDE_STYLE( '', ( #621 ) );
  384. #394 = EDGE_LOOP( '', ( #622, #623, #624, #625, #626 ) );
  385. #395 = AXIS2_PLACEMENT_3D( '', #627, #628, #629 );
  386. #396 = SURFACE_SIDE_STYLE( '', ( #630 ) );
  387. #397 = EDGE_LOOP( '', ( #631, #632 ) );
  388. #398 = AXIS2_PLACEMENT_3D( '', #633, #634, #635 );
  389. #399 = SURFACE_SIDE_STYLE( '', ( #636 ) );
  390. #400 = EDGE_LOOP( '', ( #637 ) );
  391. #401 = EDGE_LOOP( '', ( #638 ) );
  392. #402 = AXIS2_PLACEMENT_3D( '', #639, #640, #641 );
  393. #403 = SURFACE_SIDE_STYLE( '', ( #642 ) );
  394. #404 = EDGE_LOOP( '', ( #643, #644, #645, #646 ) );
  395. #405 = AXIS2_PLACEMENT_3D( '', #647, #648, #649 );
  396. #406 = SURFACE_SIDE_STYLE( '', ( #650 ) );
  397. #407 = EDGE_LOOP( '', ( #651, #652 ) );
  398. #408 = EDGE_LOOP( '', ( #653, #654 ) );
  399. #409 = AXIS2_PLACEMENT_3D( '', #655, #656, #657 );
  400. #410 = SURFACE_SIDE_STYLE( '', ( #658 ) );
  401. #411 = EDGE_LOOP( '', ( #659, #660, #661, #662 ) );
  402. #412 = AXIS2_PLACEMENT_3D( '', #663, #664, #665 );
  403. #413 = SURFACE_SIDE_STYLE( '', ( #666 ) );
  404. #414 = EDGE_LOOP( '', ( #667, #668, #669, #670, #671 ) );
  405. #415 = AXIS2_PLACEMENT_3D( '', #672, #673, #674 );
  406. #416 = SURFACE_SIDE_STYLE( '', ( #675 ) );
  407. #417 = EDGE_LOOP( '', ( #676 ) );
  408. #418 = EDGE_LOOP( '', ( #677 ) );
  409. #419 = AXIS2_PLACEMENT_3D( '', #678, #679, #680 );
  410. #420 = SURFACE_SIDE_STYLE( '', ( #681 ) );
  411. #421 = EDGE_LOOP( '', ( #682, #683, #684, #685 ) );
  412. #422 = AXIS2_PLACEMENT_3D( '', #686, #687, #688 );
  413. #423 = SURFACE_SIDE_STYLE( '', ( #689 ) );
  414. #424 = EDGE_LOOP( '', ( #690, #691, #692, #693 ) );
  415. #425 = AXIS2_PLACEMENT_3D( '', #694, #695, #696 );
  416. #426 = SURFACE_SIDE_STYLE( '', ( #697 ) );
  417. #427 = EDGE_LOOP( '', ( #698 ) );
  418. #428 = EDGE_LOOP( '', ( #699, #700, #701, #702, #703, #704, #705, #706, #707, #708, #709, #710, #711, #712, #713, #714 ) );
  419. #429 = AXIS2_PLACEMENT_3D( '', #715, #716, #717 );
  420. #430 = SURFACE_SIDE_STYLE( '', ( #718 ) );
  421. #431 = EDGE_LOOP( '', ( #719, #720, #721, #722, #723, #724, #725, #726 ) );
  422. #432 = AXIS2_PLACEMENT_3D( '', #727, #728, #729 );
  423. #433 = SURFACE_SIDE_STYLE( '', ( #730 ) );
  424. #434 = EDGE_LOOP( '', ( #731, #732, #733, #734 ) );
  425. #435 = AXIS2_PLACEMENT_3D( '', #735, #736, #737 );
  426. #436 = SURFACE_SIDE_STYLE( '', ( #738 ) );
  427. #437 = EDGE_LOOP( '', ( #739, #740, #741, #742 ) );
  428. #438 = AXIS2_PLACEMENT_3D( '', #743, #744, #745 );
  429. #439 = SURFACE_SIDE_STYLE( '', ( #746 ) );
  430. #440 = EDGE_LOOP( '', ( #747 ) );
  431. #441 = AXIS2_PLACEMENT_3D( '', #748, #749, #750 );
  432. #442 = SURFACE_SIDE_STYLE( '', ( #751 ) );
  433. #443 = EDGE_LOOP( '', ( #752 ) );
  434. #444 = EDGE_LOOP( '', ( #753 ) );
  435. #445 = AXIS2_PLACEMENT_3D( '', #754, #755, #756 );
  436. #446 = SURFACE_SIDE_STYLE( '', ( #757 ) );
  437. #447 = EDGE_LOOP( '', ( #758 ) );
  438. #448 = EDGE_LOOP( '', ( #759 ) );
  439. #449 = AXIS2_PLACEMENT_3D( '', #760, #761, #762 );
  440. #450 = SURFACE_SIDE_STYLE( '', ( #763 ) );
  441. #451 = EDGE_LOOP( '', ( #764, #765, #766, #767 ) );
  442. #452 = AXIS2_PLACEMENT_3D( '', #768, #769, #770 );
  443. #453 = SURFACE_SIDE_STYLE( '', ( #771 ) );
  444. #454 = EDGE_LOOP( '', ( #772, #773, #774, #775 ) );
  445. #455 = AXIS2_PLACEMENT_3D( '', #776, #777, #778 );
  446. #456 = SURFACE_SIDE_STYLE( '', ( #779 ) );
  447. #457 = EDGE_LOOP( '', ( #780 ) );
  448. #458 = EDGE_LOOP( '', ( #781 ) );
  449. #459 = AXIS2_PLACEMENT_3D( '', #782, #783, #784 );
  450. #460 = SURFACE_SIDE_STYLE( '', ( #785 ) );
  451. #461 = EDGE_LOOP( '', ( #786 ) );
  452. #462 = EDGE_LOOP( '', ( #787 ) );
  453. #463 = AXIS2_PLACEMENT_3D( '', #788, #789, #790 );
  454. #464 = SURFACE_SIDE_STYLE( '', ( #791 ) );
  455. #465 = EDGE_LOOP( '', ( #792 ) );
  456. #466 = EDGE_LOOP( '', ( #793, #794 ) );
  457. #467 = AXIS2_PLACEMENT_3D( '', #795, #796, #797 );
  458. #468 = SURFACE_SIDE_STYLE( '', ( #798 ) );
  459. #469 = EDGE_LOOP( '', ( #799 ) );
  460. #470 = EDGE_LOOP( '', ( #800 ) );
  461. #471 = AXIS2_PLACEMENT_3D( '', #801, #802, #803 );
  462. #472 = SURFACE_SIDE_STYLE( '', ( #804 ) );
  463. #473 = EDGE_LOOP( '', ( #805 ) );
  464. #474 = EDGE_LOOP( '', ( #806 ) );
  465. #475 = AXIS2_PLACEMENT_3D( '', #807, #808, #809 );
  466. #476 = SURFACE_SIDE_STYLE( '', ( #810 ) );
  467. #477 = EDGE_LOOP( '', ( #811, #812, #813, #814 ) );
  468. #478 = AXIS2_PLACEMENT_3D( '', #815, #816, #817 );
  469. #479 = SURFACE_SIDE_STYLE( '', ( #818 ) );
  470. #480 = EDGE_LOOP( '', ( #819 ) );
  471. #481 = EDGE_LOOP( '', ( #820 ) );
  472. #482 = AXIS2_PLACEMENT_3D( '', #821, #822, #823 );
  473. #483 = SURFACE_SIDE_STYLE( '', ( #824 ) );
  474. #484 = EDGE_LOOP( '', ( #825, #826, #827, #828 ) );
  475. #485 = AXIS2_PLACEMENT_3D( '', #829, #830, #831 );
  476. #486 = SURFACE_SIDE_STYLE( '', ( #832 ) );
  477. #487 = EDGE_LOOP( '', ( #833, #834, #835, #836 ) );
  478. #488 = AXIS2_PLACEMENT_3D( '', #837, #838, #839 );
  479. #489 = SURFACE_SIDE_STYLE( '', ( #840 ) );
  480. #490 = EDGE_LOOP( '', ( #841 ) );
  481. #491 = EDGE_LOOP( '', ( #842 ) );
  482. #492 = AXIS2_PLACEMENT_3D( '', #843, #844, #845 );
  483. #493 = SURFACE_SIDE_STYLE( '', ( #846 ) );
  484. #494 = EDGE_LOOP( '', ( #847, #848, #849, #850 ) );
  485. #495 = AXIS2_PLACEMENT_3D( '', #851, #852, #853 );
  486. #496 = SURFACE_SIDE_STYLE( '', ( #854 ) );
  487. #497 = EDGE_LOOP( '', ( #855, #856, #857, #858, #859 ) );
  488. #498 = AXIS2_PLACEMENT_3D( '', #860, #861, #862 );
  489. #499 = SURFACE_SIDE_STYLE( '', ( #863 ) );
  490. #500 = EDGE_LOOP( '', ( #864, #865, #866, #867 ) );
  491. #501 = AXIS2_PLACEMENT_3D( '', #868, #869, #870 );
  492. #502 = SURFACE_SIDE_STYLE( '', ( #871 ) );
  493. #503 = EDGE_LOOP( '', ( #872, #873, #874, #875 ) );
  494. #504 = AXIS2_PLACEMENT_3D( '', #876, #877, #878 );
  495. #505 = SURFACE_SIDE_STYLE( '', ( #879 ) );
  496. #506 = EDGE_LOOP( '', ( #880, #881, #882, #883 ) );
  497. #507 = AXIS2_PLACEMENT_3D( '', #884, #885, #886 );
  498. #509 = SURFACE_STYLE_FILL_AREA( #887 );
  499. #510 = ORIENTED_EDGE( '', *, *, #888, .F. );
  500. #511 = ORIENTED_EDGE( '', *, *, #889, .T. );
  501. #512 = CARTESIAN_POINT( '', ( 0.000000000000000, 2.72000000000000, -3.17500000000000 ) );
  502. #513 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  503. #514 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
  504. #515 = SURFACE_STYLE_FILL_AREA( #890 );
  505. #516 = ORIENTED_EDGE( '', *, *, #891, .T. );
  506. #517 = ORIENTED_EDGE( '', *, *, #892, .F. );
  507. #518 = ORIENTED_EDGE( '', *, *, #893, .T. );
  508. #519 = ORIENTED_EDGE( '', *, *, #894, .T. );
  509. #520 = ORIENTED_EDGE( '', *, *, #895, .T. );
  510. #521 = CARTESIAN_POINT( '', ( 3.25000000000000, -1.80000000000000, 2.36500000000000 ) );
  511. #522 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  512. #523 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
  513. #524 = SURFACE_STYLE_FILL_AREA( #896 );
  514. #525 = ORIENTED_EDGE( '', *, *, #897, .F. );
  515. #526 = ORIENTED_EDGE( '', *, *, #898, .F. );
  516. #527 = CARTESIAN_POINT( '', ( 0.000000000000000, -5.41000000000000, 0.000000000000000 ) );
  517. #528 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  518. #529 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  519. #530 = SURFACE_STYLE_FILL_AREA( #899 );
  520. #531 = ORIENTED_EDGE( '', *, *, #900, .F. );
  521. #532 = ORIENTED_EDGE( '', *, *, #901, .T. );
  522. #533 = CARTESIAN_POINT( '', ( 0.000000000000000, 2.77555756156289E-17, 0.000000000000000 ) );
  523. #534 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  524. #535 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  525. #536 = SURFACE_STYLE_FILL_AREA( #902 );
  526. #537 = ORIENTED_EDGE( '', *, *, #903, .T. );
  527. #538 = ORIENTED_EDGE( '', *, *, #904, .T. );
  528. #539 = ORIENTED_EDGE( '', *, *, #905, .T. );
  529. #540 = ORIENTED_EDGE( '', *, *, #906, .T. );
  530. #541 = ORIENTED_EDGE( '', *, *, #907, .T. );
  531. #542 = ORIENTED_EDGE( '', *, *, #908, .T. );
  532. #543 = ORIENTED_EDGE( '', *, *, #909, .T. );
  533. #544 = ORIENTED_EDGE( '', *, *, #910, .T. );
  534. #545 = ORIENTED_EDGE( '', *, *, #911, .T. );
  535. #546 = ORIENTED_EDGE( '', *, *, #912, .T. );
  536. #547 = ORIENTED_EDGE( '', *, *, #913, .T. );
  537. #548 = ORIENTED_EDGE( '', *, *, #914, .T. );
  538. #549 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 3.17500000000000 ) );
  539. #550 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
  540. #551 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
  541. #552 = SURFACE_STYLE_FILL_AREA( #915 );
  542. #553 = ORIENTED_EDGE( '', *, *, #916, .F. );
  543. #554 = ORIENTED_EDGE( '', *, *, #917, .T. );
  544. #555 = CARTESIAN_POINT( '', ( 0.000000000000000, 7.72000000000000, -2.31500000000000 ) );
  545. #556 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  546. #557 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  547. #558 = SURFACE_STYLE_FILL_AREA( #918 );
  548. #559 = ORIENTED_EDGE( '', *, *, #919, .F. );
  549. #560 = ORIENTED_EDGE( '', *, *, #920, .T. );
  550. #561 = ORIENTED_EDGE( '', *, *, #921, .T. );
  551. #562 = ORIENTED_EDGE( '', *, *, #922, .F. );
  552. #563 = CARTESIAN_POINT( '', ( -0.645000000000000, -1.80000000000000, 3.17500000000000 ) );
  553. #564 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
  554. #565 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  555. #566 = SURFACE_STYLE_FILL_AREA( #923 );
  556. #567 = ORIENTED_EDGE( '', *, *, #924, .F. );
  557. #568 = ORIENTED_EDGE( '', *, *, #925, .F. );
  558. #569 = ORIENTED_EDGE( '', *, *, #926, .F. );
  559. #570 = ORIENTED_EDGE( '', *, *, #927, .F. );
  560. #571 = ORIENTED_EDGE( '', *, *, #928, .F. );
  561. #572 = ORIENTED_EDGE( '', *, *, #929, .F. );
  562. #573 = ORIENTED_EDGE( '', *, *, #930, .F. );
  563. #574 = ORIENTED_EDGE( '', *, *, #931, .F. );
  564. #575 = ORIENTED_EDGE( '', *, *, #932, .F. );
  565. #576 = ORIENTED_EDGE( '', *, *, #933, .F. );
  566. #577 = ORIENTED_EDGE( '', *, *, #921, .F. );
  567. #578 = ORIENTED_EDGE( '', *, *, #934, .F. );
  568. #579 = CARTESIAN_POINT( '', ( -0.000000000000000, 0.000000000000000, -3.17500000000000 ) );
  569. #580 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
  570. #581 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
  571. #582 = SURFACE_STYLE_FILL_AREA( #935 );
  572. #583 = ORIENTED_EDGE( '', *, *, #936, .T. );
  573. #584 = ORIENTED_EDGE( '', *, *, #937, .T. );
  574. #585 = CARTESIAN_POINT( '', ( 0.000000000000000, 6.96000000000000, -2.67500000000000 ) );
  575. #586 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  576. #587 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  577. #588 = SURFACE_STYLE_FILL_AREA( #938 );
  578. #589 = ORIENTED_EDGE( '', *, *, #939, .T. );
  579. #590 = ORIENTED_EDGE( '', *, *, #925, .T. );
  580. #591 = ORIENTED_EDGE( '', *, *, #940, .F. );
  581. #592 = ORIENTED_EDGE( '', *, *, #914, .F. );
  582. #593 = ORIENTED_EDGE( '', *, *, #941, .T. );
  583. #594 = CARTESIAN_POINT( '', ( 3.17500000000000, -0.150000000000000, 3.17500000000000 ) );
  584. #595 = DIRECTION( '', ( -5.97591748614058E-17, -1.00000000000000, 0.000000000000000 ) );
  585. #596 = DIRECTION( '', ( 1.00000000000000, -5.97591748614058E-17, 0.000000000000000 ) );
  586. #597 = SURFACE_STYLE_FILL_AREA( #942 );
  587. #598 = ORIENTED_EDGE( '', *, *, #943, .F. );
  588. #599 = ORIENTED_EDGE( '', *, *, #944, .F. );
  589. #600 = ORIENTED_EDGE( '', *, *, #908, .F. );
  590. #601 = ORIENTED_EDGE( '', *, *, #945, .T. );
  591. #602 = CARTESIAN_POINT( '', ( 0.375000000000000, -5.11000000000000, 3.17500000000000 ) );
  592. #603 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
  593. #604 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
  594. #605 = SURFACE_STYLE_FILL_AREA( #946 );
  595. #606 = ORIENTED_EDGE( '', *, *, #947, .F. );
  596. #607 = ORIENTED_EDGE( '', *, *, #948, .F. );
  597. #608 = ORIENTED_EDGE( '', *, *, #906, .F. );
  598. #609 = ORIENTED_EDGE( '', *, *, #949, .T. );
  599. #610 = CARTESIAN_POINT( '', ( -0.645000000000000, -5.61000000000000, 3.17500000000000 ) );
  600. #611 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  601. #612 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
  602. #613 = SURFACE_STYLE_FILL_AREA( #950 );
  603. #614 = ORIENTED_EDGE( '', *, *, #951, .T. );
  604. #615 = ORIENTED_EDGE( '', *, *, #952, .F. );
  605. #616 = ORIENTED_EDGE( '', *, *, #953, .F. );
  606. #617 = ORIENTED_EDGE( '', *, *, #954, .T. );
  607. #618 = CARTESIAN_POINT( '', ( 1.08420217248550E-16, 5.74000000000000, 0.180558510638298 ) );
  608. #619 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  609. #620 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  610. #621 = SURFACE_STYLE_FILL_AREA( #955 );
  611. #622 = ORIENTED_EDGE( '', *, *, #956, .T. );
  612. #623 = ORIENTED_EDGE( '', *, *, #957, .F. );
  613. #624 = ORIENTED_EDGE( '', *, *, #943, .T. );
  614. #625 = ORIENTED_EDGE( '', *, *, #958, .T. );
  615. #626 = ORIENTED_EDGE( '', *, *, #947, .T. );
  616. #627 = CARTESIAN_POINT( '', ( 3.25000000000000, -1.80000000000000, 2.36500000000000 ) );
  617. #628 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  618. #629 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
  619. #630 = SURFACE_STYLE_FILL_AREA( #959 );
  620. #631 = ORIENTED_EDGE( '', *, *, #960, .T. );
  621. #632 = ORIENTED_EDGE( '', *, *, #961, .T. );
  622. #633 = CARTESIAN_POINT( '', ( 0.000000000000000, 2.79000000000000, 0.000000000000000 ) );
  623. #634 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  624. #635 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  625. #636 = SURFACE_STYLE_FILL_AREA( #962 );
  626. #637 = ORIENTED_EDGE( '', *, *, #917, .F. );
  627. #638 = ORIENTED_EDGE( '', *, *, #963, .T. );
  628. #639 = CARTESIAN_POINT( '', ( 0.000000000000000, 2.77555756156289E-17, 0.000000000000000 ) );
  629. #640 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  630. #641 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  631. #642 = SURFACE_STYLE_FILL_AREA( #964 );
  632. #643 = ORIENTED_EDGE( '', *, *, #952, .T. );
  633. #644 = ORIENTED_EDGE( '', *, *, #965, .T. );
  634. #645 = ORIENTED_EDGE( '', *, *, #954, .F. );
  635. #646 = ORIENTED_EDGE( '', *, *, #966, .F. );
  636. #647 = CARTESIAN_POINT( '', ( -5.42101086242752E-17, 5.74000000000000, -0.180558510638298 ) );
  637. #648 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  638. #649 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  639. #650 = SURFACE_STYLE_FILL_AREA( #967 );
  640. #651 = ORIENTED_EDGE( '', *, *, #968, .F. );
  641. #652 = ORIENTED_EDGE( '', *, *, #969, .F. );
  642. #653 = ORIENTED_EDGE( '', *, *, #953, .T. );
  643. #654 = ORIENTED_EDGE( '', *, *, #966, .T. );
  644. #655 = CARTESIAN_POINT( '', ( 2.71050543121376E-17, 5.74000000000000, -2.71050543121376E-17 ) );
  645. #656 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  646. #657 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
  647. #658 = SURFACE_STYLE_FILL_AREA( #970 );
  648. #659 = ORIENTED_EDGE( '', *, *, #894, .F. );
  649. #660 = ORIENTED_EDGE( '', *, *, #971, .F. );
  650. #661 = ORIENTED_EDGE( '', *, *, #912, .F. );
  651. #662 = ORIENTED_EDGE( '', *, *, #972, .T. );
  652. #663 = CARTESIAN_POINT( '', ( 2.60500000000000, -5.61000000000000, 3.17500000000000 ) );
  653. #664 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  654. #665 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
  655. #666 = SURFACE_STYLE_FILL_AREA( #973 );
  656. #667 = ORIENTED_EDGE( '', *, *, #974, .T. );
  657. #668 = ORIENTED_EDGE( '', *, *, #975, .T. );
  658. #669 = ORIENTED_EDGE( '', *, *, #976, .F. );
  659. #670 = ORIENTED_EDGE( '', *, *, #977, .T. );
  660. #671 = ORIENTED_EDGE( '', *, *, #978, .T. );
  661. #672 = CARTESIAN_POINT( '', ( 3.25000000000000, -5.61000000000000, -2.36500000000000 ) );
  662. #673 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
  663. #674 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
  664. #675 = SURFACE_STYLE_FILL_AREA( #979 );
  665. #676 = ORIENTED_EDGE( '', *, *, #980, .T. );
  666. #677 = ORIENTED_EDGE( '', *, *, #898, .T. );
  667. #678 = CARTESIAN_POINT( '', ( 0.000000000000000, -1.68000000000000, 0.000000000000000 ) );
  668. #679 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  669. #680 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  670. #681 = SURFACE_STYLE_FILL_AREA( #981 );
  671. #682 = ORIENTED_EDGE( '', *, *, #982, .F. );
  672. #683 = ORIENTED_EDGE( '', *, *, #983, .T. );
  673. #684 = ORIENTED_EDGE( '', *, *, #932, .T. );
  674. #685 = ORIENTED_EDGE( '', *, *, #984, .F. );
  675. #686 = CARTESIAN_POINT( '', ( -0.125000000000000, -5.61000000000000, 3.17500000000000 ) );
  676. #687 = DIRECTION( '', ( -0.707106781186547, 0.707106781186548, 0.000000000000000 ) );
  677. #688 = DIRECTION( '', ( -0.707106781186548, -0.707106781186547, 0.000000000000000 ) );
  678. #689 = SURFACE_STYLE_FILL_AREA( #985 );
  679. #690 = ORIENTED_EDGE( '', *, *, #976, .T. );
  680. #691 = ORIENTED_EDGE( '', *, *, #986, .T. );
  681. #692 = ORIENTED_EDGE( '', *, *, #927, .T. );
  682. #693 = ORIENTED_EDGE( '', *, *, #987, .F. );
  683. #694 = CARTESIAN_POINT( '', ( 2.60500000000000, -5.61000000000000, 3.17500000000000 ) );
  684. #695 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  685. #696 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
  686. #697 = SURFACE_STYLE_FILL_AREA( #988 );
  687. #698 = ORIENTED_EDGE( '', *, *, #989, .F. );
  688. #699 = ORIENTED_EDGE( '', *, *, #990, .T. );
  689. #700 = ORIENTED_EDGE( '', *, *, #934, .T. );
  690. #701 = ORIENTED_EDGE( '', *, *, #920, .F. );
  691. #702 = ORIENTED_EDGE( '', *, *, #991, .F. );
  692. #703 = ORIENTED_EDGE( '', *, *, #992, .T. );
  693. #704 = ORIENTED_EDGE( '', *, *, #930, .T. );
  694. #705 = ORIENTED_EDGE( '', *, *, #993, .F. );
  695. #706 = ORIENTED_EDGE( '', *, *, #978, .F. );
  696. #707 = ORIENTED_EDGE( '', *, *, #994, .T. );
  697. #708 = ORIENTED_EDGE( '', *, *, #892, .T. );
  698. #709 = ORIENTED_EDGE( '', *, *, #995, .F. );
  699. #710 = ORIENTED_EDGE( '', *, *, #909, .F. );
  700. #711 = ORIENTED_EDGE( '', *, *, #944, .T. );
  701. #712 = ORIENTED_EDGE( '', *, *, #957, .T. );
  702. #713 = ORIENTED_EDGE( '', *, *, #996, .F. );
  703. #714 = ORIENTED_EDGE( '', *, *, #904, .F. );
  704. #715 = CARTESIAN_POINT( '', ( -3.17500000000000, -1.80000000000000, 3.17500000000000 ) );
  705. #716 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  706. #717 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
  707. #718 = SURFACE_STYLE_FILL_AREA( #997 );
  708. #719 = ORIENTED_EDGE( '', *, *, #893, .F. );
  709. #720 = ORIENTED_EDGE( '', *, *, #994, .F. );
  710. #721 = ORIENTED_EDGE( '', *, *, #977, .F. );
  711. #722 = ORIENTED_EDGE( '', *, *, #987, .T. );
  712. #723 = ORIENTED_EDGE( '', *, *, #926, .T. );
  713. #724 = ORIENTED_EDGE( '', *, *, #941, .F. );
  714. #725 = ORIENTED_EDGE( '', *, *, #913, .F. );
  715. #726 = ORIENTED_EDGE( '', *, *, #971, .T. );
  716. #727 = CARTESIAN_POINT( '', ( 3.17500000000000, -5.61000000000000, 3.17500000000000 ) );
  717. #728 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
  718. #729 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
  719. #730 = SURFACE_STYLE_FILL_AREA( #998 );
  720. #731 = ORIENTED_EDGE( '', *, *, #958, .F. );
  721. #732 = ORIENTED_EDGE( '', *, *, #945, .F. );
  722. #733 = ORIENTED_EDGE( '', *, *, #907, .F. );
  723. #734 = ORIENTED_EDGE( '', *, *, #948, .T. );
  724. #735 = CARTESIAN_POINT( '', ( -0.125000000000000, -5.61000000000000, 3.17500000000000 ) );
  725. #736 = DIRECTION( '', ( -0.707106781186547, 0.707106781186548, 0.000000000000000 ) );
  726. #737 = DIRECTION( '', ( -0.707106781186548, -0.707106781186547, 0.000000000000000 ) );
  727. #738 = SURFACE_STYLE_FILL_AREA( #999 );
  728. #739 = ORIENTED_EDGE( '', *, *, #1000, .T. );
  729. #740 = ORIENTED_EDGE( '', *, *, #922, .T. );
  730. #741 = ORIENTED_EDGE( '', *, *, #933, .T. );
  731. #742 = ORIENTED_EDGE( '', *, *, #983, .F. );
  732. #743 = CARTESIAN_POINT( '', ( -0.645000000000000, -5.61000000000000, 3.17500000000000 ) );
  733. #744 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  734. #745 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
  735. #746 = SURFACE_STYLE_FILL_AREA( #1001 );
  736. #747 = ORIENTED_EDGE( '', *, *, #1002, .T. );
  737. #748 = CARTESIAN_POINT( '', ( 0.000000000000000, -5.41000000000000, -0.385000000000000 ) );
  738. #749 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  739. #750 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
  740. #751 = SURFACE_STYLE_FILL_AREA( #1003 );
  741. #752 = ORIENTED_EDGE( '', *, *, #889, .F. );
  742. #753 = ORIENTED_EDGE( '', *, *, #936, .F. );
  743. #754 = CARTESIAN_POINT( '', ( 0.000000000000000, 13.0000000000000, 0.000000000000000 ) );
  744. #755 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  745. #756 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  746. #757 = SURFACE_STYLE_FILL_AREA( #1004 );
  747. #758 = ORIENTED_EDGE( '', *, *, #1005, .F. );
  748. #759 = ORIENTED_EDGE( '', *, *, #1006, .T. );
  749. #760 = CARTESIAN_POINT( '', ( 0.000000000000000, 2.77555756156289E-17, 0.000000000000000 ) );
  750. #761 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  751. #762 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  752. #763 = SURFACE_STYLE_FILL_AREA( #1007 );
  753. #764 = ORIENTED_EDGE( '', *, *, #1008, .T. );
  754. #765 = ORIENTED_EDGE( '', *, *, #960, .F. );
  755. #766 = ORIENTED_EDGE( '', *, *, #1009, .F. );
  756. #767 = ORIENTED_EDGE( '', *, *, #968, .T. );
  757. #768 = CARTESIAN_POINT( '', ( -5.42101086242752E-17, 5.74000000000000, 0.183601190476191 ) );
  758. #769 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  759. #770 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  760. #771 = SURFACE_STYLE_FILL_AREA( #1010 );
  761. #772 = ORIENTED_EDGE( '', *, *, #891, .F. );
  762. #773 = ORIENTED_EDGE( '', *, *, #1011, .F. );
  763. #774 = ORIENTED_EDGE( '', *, *, #910, .F. );
  764. #775 = ORIENTED_EDGE( '', *, *, #995, .T. );
  765. #776 = CARTESIAN_POINT( '', ( 2.10500000000000, -1.80000000000000, 3.17500000000000 ) );
  766. #777 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
  767. #778 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  768. #779 = SURFACE_STYLE_FILL_AREA( #1012 );
  769. #780 = ORIENTED_EDGE( '', *, *, #989, .T. );
  770. #781 = ORIENTED_EDGE( '', *, *, #980, .F. );
  771. #782 = CARTESIAN_POINT( '', ( 0.000000000000000, -1.80000000000000, 0.000000000000000 ) );
  772. #783 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  773. #784 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  774. #785 = SURFACE_STYLE_FILL_AREA( #1013 );
  775. #786 = ORIENTED_EDGE( '', *, *, #1006, .F. );
  776. #787 = ORIENTED_EDGE( '', *, *, #900, .T. );
  777. #788 = CARTESIAN_POINT( '', ( 0.000000000000000, 5.74000000000000, -0.635000000000000 ) );
  778. #789 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  779. #790 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  780. #791 = SURFACE_STYLE_FILL_AREA( #1014 );
  781. #792 = ORIENTED_EDGE( '', *, *, #901, .F. );
  782. #793 = ORIENTED_EDGE( '', *, *, #965, .F. );
  783. #794 = ORIENTED_EDGE( '', *, *, #951, .F. );
  784. #795 = CARTESIAN_POINT( '', ( 0.000000000000000, 2.79000000000000, 0.000000000000000 ) );
  785. #796 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  786. #797 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  787. #798 = SURFACE_STYLE_FILL_AREA( #1015 );
  788. #799 = ORIENTED_EDGE( '', *, *, #937, .F. );
  789. #800 = ORIENTED_EDGE( '', *, *, #916, .T. );
  790. #801 = CARTESIAN_POINT( '', ( 0.000000000000000, 2.77555756156289E-17, 0.000000000000000 ) );
  791. #802 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  792. #803 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  793. #804 = SURFACE_STYLE_FILL_AREA( #1016 );
  794. #805 = ORIENTED_EDGE( '', *, *, #963, .F. );
  795. #806 = ORIENTED_EDGE( '', *, *, #1005, .T. );
  796. #807 = CARTESIAN_POINT( '', ( 0.000000000000000, 5.79000000000000, -2.05000000000000 ) );
  797. #808 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  798. #809 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  799. #810 = SURFACE_STYLE_FILL_AREA( #1017 );
  800. #811 = ORIENTED_EDGE( '', *, *, #975, .F. );
  801. #812 = ORIENTED_EDGE( '', *, *, #1018, .T. );
  802. #813 = ORIENTED_EDGE( '', *, *, #928, .T. );
  803. #814 = ORIENTED_EDGE( '', *, *, #986, .F. );
  804. #815 = CARTESIAN_POINT( '', ( 2.10500000000000, -5.11000000000000, 3.17500000000000 ) );
  805. #816 = DIRECTION( '', ( 0.707106781186547, 0.707106781186548, -0.000000000000000 ) );
  806. #817 = DIRECTION( '', ( -0.707106781186548, 0.707106781186547, 0.000000000000000 ) );
  807. #818 = SURFACE_STYLE_FILL_AREA( #1019 );
  808. #819 = ORIENTED_EDGE( '', *, *, #1002, .F. );
  809. #820 = ORIENTED_EDGE( '', *, *, #897, .T. );
  810. #821 = CARTESIAN_POINT( '', ( 0.000000000000000, -5.16000000000000, 0.000000000000000 ) );
  811. #822 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  812. #823 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
  813. #824 = SURFACE_STYLE_FILL_AREA( #1020 );
  814. #825 = ORIENTED_EDGE( '', *, *, #895, .F. );
  815. #826 = ORIENTED_EDGE( '', *, *, #972, .F. );
  816. #827 = ORIENTED_EDGE( '', *, *, #911, .F. );
  817. #828 = ORIENTED_EDGE( '', *, *, #1011, .T. );
  818. #829 = CARTESIAN_POINT( '', ( 2.10500000000000, -5.11000000000000, 3.17500000000000 ) );
  819. #830 = DIRECTION( '', ( 0.707106781186547, 0.707106781186548, -0.000000000000000 ) );
  820. #831 = DIRECTION( '', ( -0.707106781186548, 0.707106781186547, 0.000000000000000 ) );
  821. #832 = SURFACE_STYLE_FILL_AREA( #1021 );
  822. #833 = ORIENTED_EDGE( '', *, *, #956, .F. );
  823. #834 = ORIENTED_EDGE( '', *, *, #949, .F. );
  824. #835 = ORIENTED_EDGE( '', *, *, #905, .F. );
  825. #836 = ORIENTED_EDGE( '', *, *, #996, .T. );
  826. #837 = CARTESIAN_POINT( '', ( -0.645000000000000, -1.80000000000000, 3.17500000000000 ) );
  827. #838 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
  828. #839 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  829. #840 = SURFACE_STYLE_FILL_AREA( #1022 );
  830. #841 = ORIENTED_EDGE( '', *, *, #939, .F. );
  831. #842 = ORIENTED_EDGE( '', *, *, #888, .T. );
  832. #843 = CARTESIAN_POINT( '', ( 0.000000000000000, 2.77555756156289E-17, 0.000000000000000 ) );
  833. #844 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  834. #845 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  835. #846 = SURFACE_STYLE_FILL_AREA( #1023 );
  836. #847 = ORIENTED_EDGE( '', *, *, #961, .F. );
  837. #848 = ORIENTED_EDGE( '', *, *, #1008, .F. );
  838. #849 = ORIENTED_EDGE( '', *, *, #969, .T. );
  839. #850 = ORIENTED_EDGE( '', *, *, #1009, .T. );
  840. #851 = CARTESIAN_POINT( '', ( -5.42101086242752E-17, 5.74000000000000, -0.183601190476191 ) );
  841. #852 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  842. #853 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  843. #854 = SURFACE_STYLE_FILL_AREA( #1024 );
  844. #855 = ORIENTED_EDGE( '', *, *, #919, .T. );
  845. #856 = ORIENTED_EDGE( '', *, *, #1000, .F. );
  846. #857 = ORIENTED_EDGE( '', *, *, #982, .T. );
  847. #858 = ORIENTED_EDGE( '', *, *, #1025, .T. );
  848. #859 = ORIENTED_EDGE( '', *, *, #991, .T. );
  849. #860 = CARTESIAN_POINT( '', ( 3.25000000000000, -5.61000000000000, -2.36500000000000 ) );
  850. #861 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
  851. #862 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
  852. #863 = SURFACE_STYLE_FILL_AREA( #1026 );
  853. #864 = ORIENTED_EDGE( '', *, *, #924, .T. );
  854. #865 = ORIENTED_EDGE( '', *, *, #990, .F. );
  855. #866 = ORIENTED_EDGE( '', *, *, #903, .F. );
  856. #867 = ORIENTED_EDGE( '', *, *, #940, .T. );
  857. #868 = CARTESIAN_POINT( '', ( -3.17500000000000, -0.150000000000000, 3.17500000000000 ) );
  858. #869 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
  859. #870 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  860. #871 = SURFACE_STYLE_FILL_AREA( #1027 );
  861. #872 = ORIENTED_EDGE( '', *, *, #1025, .F. );
  862. #873 = ORIENTED_EDGE( '', *, *, #984, .T. );
  863. #874 = ORIENTED_EDGE( '', *, *, #931, .T. );
  864. #875 = ORIENTED_EDGE( '', *, *, #992, .F. );
  865. #876 = CARTESIAN_POINT( '', ( 0.375000000000000, -5.11000000000000, 3.17500000000000 ) );
  866. #877 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
  867. #878 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
  868. #879 = SURFACE_STYLE_FILL_AREA( #1028 );
  869. #880 = ORIENTED_EDGE( '', *, *, #974, .F. );
  870. #881 = ORIENTED_EDGE( '', *, *, #993, .T. );
  871. #882 = ORIENTED_EDGE( '', *, *, #929, .T. );
  872. #883 = ORIENTED_EDGE( '', *, *, #1018, .F. );
  873. #884 = CARTESIAN_POINT( '', ( 2.10500000000000, -1.80000000000000, 3.17500000000000 ) );
  874. #885 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
  875. #886 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  876. #887 = FILL_AREA_STYLE( '', ( #1029 ) );
  877. #888 = EDGE_CURVE( '', #1030, #1030, #1031, .T. );
  878. #889 = EDGE_CURVE( '', #1032, #1032, #1033, .F. );
  879. #890 = FILL_AREA_STYLE( '', ( #1034 ) );
  880. #891 = EDGE_CURVE( '', #1035, #1036, #1037, .T. );
  881. #892 = EDGE_CURVE( '', #1038, #1036, #1039, .T. );
  882. #893 = EDGE_CURVE( '', #1038, #1040, #1041, .T. );
  883. #894 = EDGE_CURVE( '', #1040, #1042, #1043, .T. );
  884. #895 = EDGE_CURVE( '', #1042, #1035, #1044, .T. );
  885. #896 = FILL_AREA_STYLE( '', ( #1045 ) );
  886. #897 = EDGE_CURVE( '', #1046, #1046, #1047, .T. );
  887. #898 = EDGE_CURVE( '', #1048, #1048, #1049, .F. );
  888. #899 = FILL_AREA_STYLE( '', ( #1050 ) );
  889. #900 = EDGE_CURVE( '', #1051, #1051, #1052, .T. );
  890. #901 = EDGE_CURVE( '', #1053, #1053, #1054, .T. );
  891. #902 = FILL_AREA_STYLE( '', ( #1055 ) );
  892. #903 = EDGE_CURVE( '', #1056, #1057, #1058, .T. );
  893. #904 = EDGE_CURVE( '', #1057, #1059, #1060, .T. );
  894. #905 = EDGE_CURVE( '', #1059, #1061, #1062, .T. );
  895. #906 = EDGE_CURVE( '', #1061, #1063, #1064, .T. );
  896. #907 = EDGE_CURVE( '', #1063, #1065, #1066, .T. );
  897. #908 = EDGE_CURVE( '', #1065, #1067, #1068, .T. );
  898. #909 = EDGE_CURVE( '', #1067, #1069, #1070, .T. );
  899. #910 = EDGE_CURVE( '', #1069, #1071, #1072, .T. );
  900. #911 = EDGE_CURVE( '', #1071, #1073, #1074, .T. );
  901. #912 = EDGE_CURVE( '', #1073, #1075, #1076, .T. );
  902. #913 = EDGE_CURVE( '', #1075, #1077, #1078, .T. );
  903. #914 = EDGE_CURVE( '', #1077, #1056, #1079, .T. );
  904. #915 = FILL_AREA_STYLE( '', ( #1080 ) );
  905. #916 = EDGE_CURVE( '', #1081, #1081, #1082, .T. );
  906. #917 = EDGE_CURVE( '', #1083, #1083, #1084, .T. );
  907. #918 = FILL_AREA_STYLE( '', ( #1085 ) );
  908. #919 = EDGE_CURVE( '', #1086, #1087, #1088, .T. );
  909. #920 = EDGE_CURVE( '', #1086, #1089, #1090, .T. );
  910. #921 = EDGE_CURVE( '', #1089, #1091, #1092, .T. );
  911. #922 = EDGE_CURVE( '', #1087, #1091, #1093, .T. );
  912. #923 = FILL_AREA_STYLE( '', ( #1094 ) );
  913. #924 = EDGE_CURVE( '', #1095, #1096, #1097, .T. );
  914. #925 = EDGE_CURVE( '', #1098, #1095, #1099, .T. );
  915. #926 = EDGE_CURVE( '', #1100, #1098, #1101, .T. );
  916. #927 = EDGE_CURVE( '', #1102, #1100, #1103, .T. );
  917. #928 = EDGE_CURVE( '', #1104, #1102, #1105, .T. );
  918. #929 = EDGE_CURVE( '', #1106, #1104, #1107, .T. );
  919. #930 = EDGE_CURVE( '', #1108, #1106, #1109, .T. );
  920. #931 = EDGE_CURVE( '', #1110, #1108, #1111, .T. );
  921. #932 = EDGE_CURVE( '', #1112, #1110, #1113, .T. );
  922. #933 = EDGE_CURVE( '', #1091, #1112, #1114, .T. );
  923. #934 = EDGE_CURVE( '', #1096, #1089, #1115, .T. );
  924. #935 = FILL_AREA_STYLE( '', ( #1116 ) );
  925. #936 = EDGE_CURVE( '', #1117, #1117, #1118, .F. );
  926. #937 = EDGE_CURVE( '', #1119, #1119, #1120, .T. );
  927. #938 = FILL_AREA_STYLE( '', ( #1121 ) );
  928. #939 = EDGE_CURVE( '', #1122, #1122, #1123, .T. );
  929. #940 = EDGE_CURVE( '', #1056, #1095, #1124, .T. );
  930. #941 = EDGE_CURVE( '', #1077, #1098, #1125, .T. );
  931. #942 = FILL_AREA_STYLE( '', ( #1126 ) );
  932. #943 = EDGE_CURVE( '', #1127, #1128, #1129, .T. );
  933. #944 = EDGE_CURVE( '', #1067, #1127, #1130, .T. );
  934. #945 = EDGE_CURVE( '', #1065, #1128, #1131, .T. );
  935. #946 = FILL_AREA_STYLE( '', ( #1132 ) );
  936. #947 = EDGE_CURVE( '', #1133, #1134, #1135, .T. );
  937. #948 = EDGE_CURVE( '', #1063, #1133, #1136, .T. );
  938. #949 = EDGE_CURVE( '', #1061, #1134, #1137, .T. );
  939. #950 = FILL_AREA_STYLE( '', ( #1138 ) );
  940. #951 = EDGE_CURVE( '', #1139, #1140, #1141, .F. );
  941. #952 = EDGE_CURVE( '', #1142, #1140, #1143, .T. );
  942. #953 = EDGE_CURVE( '', #1144, #1142, #1145, .T. );
  943. #954 = EDGE_CURVE( '', #1144, #1139, #1146, .T. );
  944. #955 = FILL_AREA_STYLE( '', ( #1147 ) );
  945. #956 = EDGE_CURVE( '', #1134, #1148, #1149, .T. );
  946. #957 = EDGE_CURVE( '', #1127, #1148, #1150, .T. );
  947. #958 = EDGE_CURVE( '', #1128, #1133, #1151, .T. );
  948. #959 = FILL_AREA_STYLE( '', ( #1152 ) );
  949. #960 = EDGE_CURVE( '', #1153, #1154, #1155, .F. );
  950. #961 = EDGE_CURVE( '', #1154, #1153, #1156, .F. );
  951. #962 = FILL_AREA_STYLE( '', ( #1157 ) );
  952. #963 = EDGE_CURVE( '', #1158, #1158, #1159, .T. );
  953. #964 = FILL_AREA_STYLE( '', ( #1160 ) );
  954. #965 = EDGE_CURVE( '', #1140, #1139, #1161, .F. );
  955. #966 = EDGE_CURVE( '', #1142, #1144, #1162, .T. );
  956. #967 = FILL_AREA_STYLE( '', ( #1163 ) );
  957. #968 = EDGE_CURVE( '', #1164, #1165, #1166, .T. );
  958. #969 = EDGE_CURVE( '', #1165, #1164, #1167, .T. );
  959. #970 = FILL_AREA_STYLE( '', ( #1168 ) );
  960. #971 = EDGE_CURVE( '', #1075, #1040, #1169, .T. );
  961. #972 = EDGE_CURVE( '', #1073, #1042, #1170, .T. );
  962. #973 = FILL_AREA_STYLE( '', ( #1171 ) );
  963. #974 = EDGE_CURVE( '', #1172, #1173, #1174, .T. );
  964. #975 = EDGE_CURVE( '', #1173, #1175, #1176, .T. );
  965. #976 = EDGE_CURVE( '', #1177, #1175, #1178, .T. );
  966. #977 = EDGE_CURVE( '', #1177, #1179, #1180, .T. );
  967. #978 = EDGE_CURVE( '', #1179, #1172, #1181, .T. );
  968. #979 = FILL_AREA_STYLE( '', ( #1182 ) );
  969. #980 = EDGE_CURVE( '', #1183, #1183, #1184, .T. );
  970. #981 = FILL_AREA_STYLE( '', ( #1185 ) );
  971. #982 = EDGE_CURVE( '', #1186, #1187, #1188, .T. );
  972. #983 = EDGE_CURVE( '', #1186, #1112, #1189, .T. );
  973. #984 = EDGE_CURVE( '', #1187, #1110, #1190, .T. );
  974. #985 = FILL_AREA_STYLE( '', ( #1191 ) );
  975. #986 = EDGE_CURVE( '', #1175, #1102, #1192, .T. );
  976. #987 = EDGE_CURVE( '', #1177, #1100, #1193, .T. );
  977. #988 = FILL_AREA_STYLE( '', ( #1194 ) );
  978. #989 = EDGE_CURVE( '', #1195, #1195, #1196, .T. );
  979. #990 = EDGE_CURVE( '', #1057, #1096, #1197, .T. );
  980. #991 = EDGE_CURVE( '', #1198, #1086, #1199, .T. );
  981. #992 = EDGE_CURVE( '', #1198, #1108, #1200, .T. );
  982. #993 = EDGE_CURVE( '', #1172, #1106, #1201, .T. );
  983. #994 = EDGE_CURVE( '', #1179, #1038, #1202, .T. );
  984. #995 = EDGE_CURVE( '', #1069, #1036, #1203, .T. );
  985. #996 = EDGE_CURVE( '', #1059, #1148, #1204, .T. );
  986. #997 = FILL_AREA_STYLE( '', ( #1205 ) );
  987. #998 = FILL_AREA_STYLE( '', ( #1206 ) );
  988. #999 = FILL_AREA_STYLE( '', ( #1207 ) );
  989. #1000 = EDGE_CURVE( '', #1186, #1087, #1208, .T. );
  990. #1001 = FILL_AREA_STYLE( '', ( #1209 ) );
  991. #1002 = EDGE_CURVE( '', #1210, #1210, #1211, .T. );
  992. #1003 = FILL_AREA_STYLE( '', ( #1212 ) );
  993. #1004 = FILL_AREA_STYLE( '', ( #1213 ) );
  994. #1005 = EDGE_CURVE( '', #1214, #1214, #1215, .T. );
  995. #1006 = EDGE_CURVE( '', #1216, #1216, #1217, .T. );
  996. #1007 = FILL_AREA_STYLE( '', ( #1218 ) );
  997. #1008 = EDGE_CURVE( '', #1165, #1154, #1219, .T. );
  998. #1009 = EDGE_CURVE( '', #1164, #1153, #1220, .T. );
  999. #1010 = FILL_AREA_STYLE( '', ( #1221 ) );
  1000. #1011 = EDGE_CURVE( '', #1071, #1035, #1222, .T. );
  1001. #1012 = FILL_AREA_STYLE( '', ( #1223 ) );
  1002. #1013 = FILL_AREA_STYLE( '', ( #1224 ) );
  1003. #1014 = FILL_AREA_STYLE( '', ( #1225 ) );
  1004. #1015 = FILL_AREA_STYLE( '', ( #1226 ) );
  1005. #1016 = FILL_AREA_STYLE( '', ( #1227 ) );
  1006. #1017 = FILL_AREA_STYLE( '', ( #1228 ) );
  1007. #1018 = EDGE_CURVE( '', #1173, #1104, #1229, .T. );
  1008. #1019 = FILL_AREA_STYLE( '', ( #1230 ) );
  1009. #1020 = FILL_AREA_STYLE( '', ( #1231 ) );
  1010. #1021 = FILL_AREA_STYLE( '', ( #1232 ) );
  1011. #1022 = FILL_AREA_STYLE( '', ( #1233 ) );
  1012. #1023 = FILL_AREA_STYLE( '', ( #1234 ) );
  1013. #1024 = FILL_AREA_STYLE( '', ( #1235 ) );
  1014. #1025 = EDGE_CURVE( '', #1187, #1198, #1236, .T. );
  1015. #1026 = FILL_AREA_STYLE( '', ( #1237 ) );
  1016. #1027 = FILL_AREA_STYLE( '', ( #1238 ) );
  1017. #1028 = FILL_AREA_STYLE( '', ( #1239 ) );
  1018. #1029 = FILL_AREA_STYLE_COLOUR( '', #1240 );
  1019. #1030 = VERTEX_POINT( '', #1241 );
  1020. #1031 = CIRCLE( '', #1242, 2.67500000000000 );
  1021. #1032 = VERTEX_POINT( '', #1243 );
  1022. #1033 = CIRCLE( '', #1244, 3.16500000000000 );
  1023. #1034 = FILL_AREA_STYLE_COLOUR( '', #1245 );
  1024. #1035 = VERTEX_POINT( '', #1246 );
  1025. #1036 = VERTEX_POINT( '', #1247 );
  1026. #1037 = LINE( '', #1248, #1249 );
  1027. #1038 = VERTEX_POINT( '', #1250 );
  1028. #1039 = LINE( '', #1251, #1252 );
  1029. #1040 = VERTEX_POINT( '', #1253 );
  1030. #1041 = LINE( '', #1254, #1255 );
  1031. #1042 = VERTEX_POINT( '', #1256 );
  1032. #1043 = LINE( '', #1257, #1258 );
  1033. #1044 = LINE( '', #1259, #1260 );
  1034. #1045 = FILL_AREA_STYLE_COLOUR( '', #1261 );
  1035. #1046 = VERTEX_POINT( '', #1262 );
  1036. #1047 = CIRCLE( '', #1263, 0.635000000000000 );
  1037. #1048 = VERTEX_POINT( '', #1264 );
  1038. #1049 = CIRCLE( '', #1265, 0.635000000000000 );
  1039. #1050 = FILL_AREA_STYLE_COLOUR( '', #1266 );
  1040. #1051 = VERTEX_POINT( '', #1267 );
  1041. #1052 = CIRCLE( '', #1268, 0.635000000000000 );
  1042. #1053 = VERTEX_POINT( '', #1269 );
  1043. #1054 = CIRCLE( '', #1270, 0.635000000000000 );
  1044. #1055 = FILL_AREA_STYLE_COLOUR( '', #1271 );
  1045. #1056 = VERTEX_POINT( '', #1272 );
  1046. #1057 = VERTEX_POINT( '', #1273 );
  1047. #1058 = LINE( '', #1274, #1275 );
  1048. #1059 = VERTEX_POINT( '', #1276 );
  1049. #1060 = LINE( '', #1277, #1278 );
  1050. #1061 = VERTEX_POINT( '', #1279 );
  1051. #1062 = LINE( '', #1280, #1281 );
  1052. #1063 = VERTEX_POINT( '', #1282 );
  1053. #1064 = LINE( '', #1283, #1284 );
  1054. #1065 = VERTEX_POINT( '', #1285 );
  1055. #1066 = LINE( '', #1286, #1287 );
  1056. #1067 = VERTEX_POINT( '', #1288 );
  1057. #1068 = LINE( '', #1289, #1290 );
  1058. #1069 = VERTEX_POINT( '', #1291 );
  1059. #1070 = LINE( '', #1292, #1293 );
  1060. #1071 = VERTEX_POINT( '', #1294 );
  1061. #1072 = LINE( '', #1295, #1296 );
  1062. #1073 = VERTEX_POINT( '', #1297 );
  1063. #1074 = LINE( '', #1298, #1299 );
  1064. #1075 = VERTEX_POINT( '', #1300 );
  1065. #1076 = LINE( '', #1301, #1302 );
  1066. #1077 = VERTEX_POINT( '', #1303 );
  1067. #1078 = LINE( '', #1304, #1305 );
  1068. #1079 = LINE( '', #1306, #1307 );
  1069. #1080 = FILL_AREA_STYLE_COLOUR( '', #1308 );
  1070. #1081 = VERTEX_POINT( '', #1309 );
  1071. #1082 = CIRCLE( '', #1310, 2.67500000000000 );
  1072. #1083 = VERTEX_POINT( '', #1311 );
  1073. #1084 = CIRCLE( '', #1312, 2.31500000000000 );
  1074. #1085 = FILL_AREA_STYLE_COLOUR( '', #1313 );
  1075. #1086 = VERTEX_POINT( '', #1314 );
  1076. #1087 = VERTEX_POINT( '', #1315 );
  1077. #1088 = LINE( '', #1316, #1317 );
  1078. #1089 = VERTEX_POINT( '', #1318 );
  1079. #1090 = LINE( '', #1319, #1320 );
  1080. #1091 = VERTEX_POINT( '', #1321 );
  1081. #1092 = LINE( '', #1322, #1323 );
  1082. #1093 = LINE( '', #1324, #1325 );
  1083. #1094 = FILL_AREA_STYLE_COLOUR( '', #1326 );
  1084. #1095 = VERTEX_POINT( '', #1327 );
  1085. #1096 = VERTEX_POINT( '', #1328 );
  1086. #1097 = LINE( '', #1329, #1330 );
  1087. #1098 = VERTEX_POINT( '', #1331 );
  1088. #1099 = LINE( '', #1332, #1333 );
  1089. #1100 = VERTEX_POINT( '', #1334 );
  1090. #1101 = LINE( '', #1335, #1336 );
  1091. #1102 = VERTEX_POINT( '', #1337 );
  1092. #1103 = LINE( '', #1338, #1339 );
  1093. #1104 = VERTEX_POINT( '', #1340 );
  1094. #1105 = LINE( '', #1341, #1342 );
  1095. #1106 = VERTEX_POINT( '', #1343 );
  1096. #1107 = LINE( '', #1344, #1345 );
  1097. #1108 = VERTEX_POINT( '', #1346 );
  1098. #1109 = LINE( '', #1347, #1348 );
  1099. #1110 = VERTEX_POINT( '', #1349 );
  1100. #1111 = LINE( '', #1350, #1351 );
  1101. #1112 = VERTEX_POINT( '', #1352 );
  1102. #1113 = LINE( '', #1353, #1354 );
  1103. #1114 = LINE( '', #1355, #1356 );
  1104. #1115 = LINE( '', #1357, #1358 );
  1105. #1116 = FILL_AREA_STYLE_COLOUR( '', #1359 );
  1106. #1117 = VERTEX_POINT( '', #1360 );
  1107. #1118 = CIRCLE( '', #1361, 3.16500000000000 );
  1108. #1119 = VERTEX_POINT( '', #1362 );
  1109. #1120 = CIRCLE( '', #1363, 2.67500000000000 );
  1110. #1121 = FILL_AREA_STYLE_COLOUR( '', #1364 );
  1111. #1122 = VERTEX_POINT( '', #1365 );
  1112. #1123 = CIRCLE( '', #1366, 2.67500000000000 );
  1113. #1124 = LINE( '', #1367, #1368 );
  1114. #1125 = LINE( '', #1369, #1370 );
  1115. #1126 = FILL_AREA_STYLE_COLOUR( '', #1371 );
  1116. #1127 = VERTEX_POINT( '', #1372 );
  1117. #1128 = VERTEX_POINT( '', #1373 );
  1118. #1129 = LINE( '', #1374, #1375 );
  1119. #1130 = LINE( '', #1376, #1377 );
  1120. #1131 = LINE( '', #1378, #1379 );
  1121. #1132 = FILL_AREA_STYLE_COLOUR( '', #1380 );
  1122. #1133 = VERTEX_POINT( '', #1381 );
  1123. #1134 = VERTEX_POINT( '', #1382 );
  1124. #1135 = LINE( '', #1383, #1384 );
  1125. #1136 = LINE( '', #1385, #1386 );
  1126. #1137 = LINE( '', #1387, #1388 );
  1127. #1138 = FILL_AREA_STYLE_COLOUR( '', #1389 );
  1128. #1139 = VERTEX_POINT( '', #1390 );
  1129. #1140 = VERTEX_POINT( '', #1391 );
  1130. #1141 = CIRCLE( '', #1392, 0.650558510600000 );
  1131. #1142 = VERTEX_POINT( '', #1393 );
  1132. #1143 = LINE( '', #1394, #1395 );
  1133. #1144 = VERTEX_POINT( '', #1396 );
  1134. #1145 = CIRCLE( '', #1397, 0.650558510600000 );
  1135. #1146 = LINE( '', #1398, #1399 );
  1136. #1147 = FILL_AREA_STYLE_COLOUR( '', #1400 );
  1137. #1148 = VERTEX_POINT( '', #1401 );
  1138. #1149 = LINE( '', #1402, #1403 );
  1139. #1150 = LINE( '', #1404, #1405 );
  1140. #1151 = LINE( '', #1406, #1407 );
  1141. #1152 = FILL_AREA_STYLE_COLOUR( '', #1408 );
  1142. #1153 = VERTEX_POINT( '', #1409 );
  1143. #1154 = VERTEX_POINT( '', #1410 );
  1144. #1155 = CIRCLE( '', #1411, 0.603601190500000 );
  1145. #1156 = CIRCLE( '', #1412, 0.603601190500000 );
  1146. #1157 = FILL_AREA_STYLE_COLOUR( '', #1413 );
  1147. #1158 = VERTEX_POINT( '', #1414 );
  1148. #1159 = CIRCLE( '', #1415, 2.31500000000000 );
  1149. #1160 = FILL_AREA_STYLE_COLOUR( '', #1416 );
  1150. #1161 = CIRCLE( '', #1417, 0.650558510600000 );
  1151. #1162 = CIRCLE( '', #1418, 0.650558510600000 );
  1152. #1163 = FILL_AREA_STYLE_COLOUR( '', #1419 );
  1153. #1164 = VERTEX_POINT( '', #1420 );
  1154. #1165 = VERTEX_POINT( '', #1421 );
  1155. #1166 = CIRCLE( '', #1422, 0.603601190500000 );
  1156. #1167 = CIRCLE( '', #1423, 0.603601190500000 );
  1157. #1168 = FILL_AREA_STYLE_COLOUR( '', #1424 );
  1158. #1169 = LINE( '', #1425, #1426 );
  1159. #1170 = LINE( '', #1427, #1428 );
  1160. #1171 = FILL_AREA_STYLE_COLOUR( '', #1429 );
  1161. #1172 = VERTEX_POINT( '', #1430 );
  1162. #1173 = VERTEX_POINT( '', #1431 );
  1163. #1174 = LINE( '', #1432, #1433 );
  1164. #1175 = VERTEX_POINT( '', #1434 );
  1165. #1176 = LINE( '', #1435, #1436 );
  1166. #1177 = VERTEX_POINT( '', #1437 );
  1167. #1178 = LINE( '', #1438, #1439 );
  1168. #1179 = VERTEX_POINT( '', #1440 );
  1169. #1180 = LINE( '', #1441, #1442 );
  1170. #1181 = LINE( '', #1443, #1444 );
  1171. #1182 = FILL_AREA_STYLE_COLOUR( '', #1445 );
  1172. #1183 = VERTEX_POINT( '', #1446 );
  1173. #1184 = CIRCLE( '', #1447, 2.12500000000000 );
  1174. #1185 = FILL_AREA_STYLE_COLOUR( '', #1448 );
  1175. #1186 = VERTEX_POINT( '', #1449 );
  1176. #1187 = VERTEX_POINT( '', #1450 );
  1177. #1188 = LINE( '', #1451, #1452 );
  1178. #1189 = LINE( '', #1453, #1454 );
  1179. #1190 = LINE( '', #1455, #1456 );
  1180. #1191 = FILL_AREA_STYLE_COLOUR( '', #1457 );
  1181. #1192 = LINE( '', #1458, #1459 );
  1182. #1193 = LINE( '', #1460, #1461 );
  1183. #1194 = FILL_AREA_STYLE_COLOUR( '', #1462 );
  1184. #1195 = VERTEX_POINT( '', #1463 );
  1185. #1196 = CIRCLE( '', #1464, 2.12500000000000 );
  1186. #1197 = LINE( '', #1465, #1466 );
  1187. #1198 = VERTEX_POINT( '', #1467 );
  1188. #1199 = LINE( '', #1468, #1469 );
  1189. #1200 = LINE( '', #1470, #1471 );
  1190. #1201 = LINE( '', #1472, #1473 );
  1191. #1202 = LINE( '', #1474, #1475 );
  1192. #1203 = LINE( '', #1476, #1477 );
  1193. #1204 = LINE( '', #1478, #1479 );
  1194. #1205 = FILL_AREA_STYLE_COLOUR( '', #1480 );
  1195. #1206 = FILL_AREA_STYLE_COLOUR( '', #1481 );
  1196. #1207 = FILL_AREA_STYLE_COLOUR( '', #1482 );
  1197. #1208 = LINE( '', #1483, #1484 );
  1198. #1209 = FILL_AREA_STYLE_COLOUR( '', #1485 );
  1199. #1210 = VERTEX_POINT( '', #1486 );
  1200. #1211 = CIRCLE( '', #1487, 0.385000000000000 );
  1201. #1212 = FILL_AREA_STYLE_COLOUR( '', #1488 );
  1202. #1213 = FILL_AREA_STYLE_COLOUR( '', #1489 );
  1203. #1214 = VERTEX_POINT( '', #1490 );
  1204. #1215 = CIRCLE( '', #1491, 2.05000000000000 );
  1205. #1216 = VERTEX_POINT( '', #1492 );
  1206. #1217 = CIRCLE( '', #1493, 2.05000000000000 );
  1207. #1218 = FILL_AREA_STYLE_COLOUR( '', #1494 );
  1208. #1219 = LINE( '', #1495, #1496 );
  1209. #1220 = LINE( '', #1497, #1498 );
  1210. #1221 = FILL_AREA_STYLE_COLOUR( '', #1499 );
  1211. #1222 = LINE( '', #1500, #1501 );
  1212. #1223 = FILL_AREA_STYLE_COLOUR( '', #1502 );
  1213. #1224 = FILL_AREA_STYLE_COLOUR( '', #1503 );
  1214. #1225 = FILL_AREA_STYLE_COLOUR( '', #1504 );
  1215. #1226 = FILL_AREA_STYLE_COLOUR( '', #1505 );
  1216. #1227 = FILL_AREA_STYLE_COLOUR( '', #1506 );
  1217. #1228 = FILL_AREA_STYLE_COLOUR( '', #1507 );
  1218. #1229 = LINE( '', #1508, #1509 );
  1219. #1230 = FILL_AREA_STYLE_COLOUR( '', #1510 );
  1220. #1231 = FILL_AREA_STYLE_COLOUR( '', #1511 );
  1221. #1232 = FILL_AREA_STYLE_COLOUR( '', #1512 );
  1222. #1233 = FILL_AREA_STYLE_COLOUR( '', #1513 );
  1223. #1234 = FILL_AREA_STYLE_COLOUR( '', #1514 );
  1224. #1235 = FILL_AREA_STYLE_COLOUR( '', #1515 );
  1225. #1236 = LINE( '', #1516, #1517 );
  1226. #1237 = FILL_AREA_STYLE_COLOUR( '', #1518 );
  1227. #1238 = FILL_AREA_STYLE_COLOUR( '', #1519 );
  1228. #1239 = FILL_AREA_STYLE_COLOUR( '', #1520 );
  1229. #1240 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1230. #1241 = CARTESIAN_POINT( '', ( 0.000000000000000, 2.72000000000000, -2.67500000000000 ) );
  1231. #1242 = AXIS2_PLACEMENT_3D( '', #1521, #1522, #1523 );
  1232. #1243 = CARTESIAN_POINT( '', ( 0.000000000000000, 2.72000000000000, 3.16500000000000 ) );
  1233. #1244 = AXIS2_PLACEMENT_3D( '', #1524, #1525, #1526 );
  1234. #1245 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1235. #1246 = CARTESIAN_POINT( '', ( 2.10500000000000, -5.11000000000000, 2.36500000000000 ) );
  1236. #1247 = CARTESIAN_POINT( '', ( 2.10500000000000, -1.80000000000000, 2.36500000000000 ) );
  1237. #1248 = CARTESIAN_POINT( '', ( 2.10500000000000, -1.80000000000000, 2.36500000000000 ) );
  1238. #1249 = VECTOR( '', #1527, 1000.00000000000 );
  1239. #1250 = CARTESIAN_POINT( '', ( 3.17500000000000, -1.80000000000000, 2.36500000000000 ) );
  1240. #1251 = CARTESIAN_POINT( '', ( 3.25000000000000, -1.80000000000000, 2.36500000000000 ) );
  1241. #1252 = VECTOR( '', #1528, 1000.00000000000 );
  1242. #1253 = CARTESIAN_POINT( '', ( 3.17500000000000, -5.61000000000000, 2.36500000000000 ) );
  1243. #1254 = CARTESIAN_POINT( '', ( 3.17500000000000, -5.61000000000000, 2.36500000000000 ) );
  1244. #1255 = VECTOR( '', #1529, 1000.00000000000 );
  1245. #1256 = CARTESIAN_POINT( '', ( 2.60500000000000, -5.61000000000000, 2.36500000000000 ) );
  1246. #1257 = CARTESIAN_POINT( '', ( 3.25000000000000, -5.61000000000000, 2.36500000000000 ) );
  1247. #1258 = VECTOR( '', #1530, 1000.00000000000 );
  1248. #1259 = CARTESIAN_POINT( '', ( 2.10500000000000, -5.11000000000000, 2.36500000000000 ) );
  1249. #1260 = VECTOR( '', #1531, 1000.00000000000 );
  1250. #1261 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1251. #1262 = CARTESIAN_POINT( '', ( 0.000000000000000, -5.16000000000000, -0.635000000000000 ) );
  1252. #1263 = AXIS2_PLACEMENT_3D( '', #1532, #1533, #1534 );
  1253. #1264 = CARTESIAN_POINT( '', ( 0.000000000000000, -1.68000000000000, -0.635000000000000 ) );
  1254. #1265 = AXIS2_PLACEMENT_3D( '', #1535, #1536, #1537 );
  1255. #1266 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1256. #1267 = CARTESIAN_POINT( '', ( 0.000000000000000, 5.74000000000000, -0.635000000000000 ) );
  1257. #1268 = AXIS2_PLACEMENT_3D( '', #1538, #1539, #1540 );
  1258. #1269 = CARTESIAN_POINT( '', ( 0.000000000000000, 2.79000000000000, -0.635000000000000 ) );
  1259. #1270 = AXIS2_PLACEMENT_3D( '', #1541, #1542, #1543 );
  1260. #1271 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1261. #1272 = CARTESIAN_POINT( '', ( -3.17500000000000, -0.150000000000000, 3.17500000000000 ) );
  1262. #1273 = CARTESIAN_POINT( '', ( -3.17500000000000, -1.80000000000000, 3.17500000000000 ) );
  1263. #1274 = CARTESIAN_POINT( '', ( -3.17500000000000, -0.150000000000000, 3.17500000000000 ) );
  1264. #1275 = VECTOR( '', #1544, 1000.00000000000 );
  1265. #1276 = CARTESIAN_POINT( '', ( -0.645000000000001, -1.80000000000000, 3.17500000000000 ) );
  1266. #1277 = CARTESIAN_POINT( '', ( -3.17500000000000, -1.80000000000000, 3.17500000000000 ) );
  1267. #1278 = VECTOR( '', #1545, 1000.00000000000 );
  1268. #1279 = CARTESIAN_POINT( '', ( -0.645000000000000, -5.61000000000000, 3.17500000000000 ) );
  1269. #1280 = CARTESIAN_POINT( '', ( -0.645000000000000, -1.80000000000000, 3.17500000000000 ) );
  1270. #1281 = VECTOR( '', #1546, 1000.00000000000 );
  1271. #1282 = CARTESIAN_POINT( '', ( -0.125000000000000, -5.61000000000000, 3.17500000000000 ) );
  1272. #1283 = CARTESIAN_POINT( '', ( -0.645000000000000, -5.61000000000000, 3.17500000000000 ) );
  1273. #1284 = VECTOR( '', #1547, 1000.00000000000 );
  1274. #1285 = CARTESIAN_POINT( '', ( 0.375000000000000, -5.11000000000000, 3.17500000000000 ) );
  1275. #1286 = CARTESIAN_POINT( '', ( -0.125000000000000, -5.61000000000000, 3.17500000000000 ) );
  1276. #1287 = VECTOR( '', #1548, 1000.00000000000 );
  1277. #1288 = CARTESIAN_POINT( '', ( 0.375000000000000, -1.80000000000000, 3.17500000000000 ) );
  1278. #1289 = CARTESIAN_POINT( '', ( 0.375000000000000, -5.11000000000000, 3.17500000000000 ) );
  1279. #1290 = VECTOR( '', #1549, 1000.00000000000 );
  1280. #1291 = CARTESIAN_POINT( '', ( 2.10500000000000, -1.80000000000000, 3.17500000000000 ) );
  1281. #1292 = CARTESIAN_POINT( '', ( 0.375000000000000, -1.80000000000000, 3.17500000000000 ) );
  1282. #1293 = VECTOR( '', #1550, 1000.00000000000 );
  1283. #1294 = CARTESIAN_POINT( '', ( 2.10500000000000, -5.11000000000000, 3.17500000000000 ) );
  1284. #1295 = CARTESIAN_POINT( '', ( 2.10500000000000, -1.80000000000000, 3.17500000000000 ) );
  1285. #1296 = VECTOR( '', #1551, 1000.00000000000 );
  1286. #1297 = CARTESIAN_POINT( '', ( 2.60500000000000, -5.61000000000000, 3.17500000000000 ) );
  1287. #1298 = CARTESIAN_POINT( '', ( 2.10500000000000, -5.11000000000000, 3.17500000000000 ) );
  1288. #1299 = VECTOR( '', #1552, 1000.00000000000 );
  1289. #1300 = CARTESIAN_POINT( '', ( 3.17500000000000, -5.61000000000000, 3.17500000000000 ) );
  1290. #1301 = CARTESIAN_POINT( '', ( 2.60500000000000, -5.61000000000000, 3.17500000000000 ) );
  1291. #1302 = VECTOR( '', #1553, 1000.00000000000 );
  1292. #1303 = CARTESIAN_POINT( '', ( 3.17500000000000, -0.150000000000001, 3.17500000000000 ) );
  1293. #1304 = CARTESIAN_POINT( '', ( 3.17500000000000, -5.61000000000000, 3.17500000000000 ) );
  1294. #1305 = VECTOR( '', #1554, 1000.00000000000 );
  1295. #1306 = CARTESIAN_POINT( '', ( 3.17500000000000, -0.150000000000000, 3.17500000000000 ) );
  1296. #1307 = VECTOR( '', #1555, 1000.00000000000 );
  1297. #1308 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1298. #1309 = CARTESIAN_POINT( '', ( 0.000000000000000, 7.72000000000000, -2.67500000000000 ) );
  1299. #1310 = AXIS2_PLACEMENT_3D( '', #1556, #1557, #1558 );
  1300. #1311 = CARTESIAN_POINT( '', ( 0.000000000000000, 7.72000000000000, -2.31500000000000 ) );
  1301. #1312 = AXIS2_PLACEMENT_3D( '', #1559, #1560, #1561 );
  1302. #1313 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1303. #1314 = CARTESIAN_POINT( '', ( -0.645000000000001, -1.80000000000000, -2.36500000000000 ) );
  1304. #1315 = CARTESIAN_POINT( '', ( -0.645000000000001, -5.61000000000000, -2.36500000000000 ) );
  1305. #1316 = CARTESIAN_POINT( '', ( -0.645000000000000, -1.80000000000000, -2.36500000000000 ) );
  1306. #1317 = VECTOR( '', #1562, 1000.00000000000 );
  1307. #1318 = CARTESIAN_POINT( '', ( -0.645000000000001, -1.80000000000000, -3.17500000000000 ) );
  1308. #1319 = CARTESIAN_POINT( '', ( -0.645000000000001, -1.80000000000000, 3.17500000000000 ) );
  1309. #1320 = VECTOR( '', #1563, 1000.00000000000 );
  1310. #1321 = CARTESIAN_POINT( '', ( -0.645000000000000, -5.61000000000000, -3.17500000000000 ) );
  1311. #1322 = CARTESIAN_POINT( '', ( -0.645000000000000, -1.80000000000000, -3.17500000000000 ) );
  1312. #1323 = VECTOR( '', #1564, 1000.00000000000 );
  1313. #1324 = CARTESIAN_POINT( '', ( -0.645000000000000, -5.61000000000000, 3.17500000000000 ) );
  1314. #1325 = VECTOR( '', #1565, 1000.00000000000 );
  1315. #1326 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1316. #1327 = CARTESIAN_POINT( '', ( -3.17500000000000, -0.150000000000000, -3.17500000000000 ) );
  1317. #1328 = CARTESIAN_POINT( '', ( -3.17500000000000, -1.80000000000000, -3.17500000000000 ) );
  1318. #1329 = CARTESIAN_POINT( '', ( -3.17500000000000, -0.150000000000000, -3.17500000000000 ) );
  1319. #1330 = VECTOR( '', #1566, 1000.00000000000 );
  1320. #1331 = CARTESIAN_POINT( '', ( 3.17500000000000, -0.150000000000001, -3.17500000000000 ) );
  1321. #1332 = CARTESIAN_POINT( '', ( 3.17500000000000, -0.150000000000000, -3.17500000000000 ) );
  1322. #1333 = VECTOR( '', #1567, 1000.00000000000 );
  1323. #1334 = CARTESIAN_POINT( '', ( 3.17500000000000, -5.61000000000000, -3.17500000000000 ) );
  1324. #1335 = CARTESIAN_POINT( '', ( 3.17500000000000, -5.61000000000000, -3.17500000000000 ) );
  1325. #1336 = VECTOR( '', #1568, 1000.00000000000 );
  1326. #1337 = CARTESIAN_POINT( '', ( 2.60500000000000, -5.61000000000000, -3.17500000000000 ) );
  1327. #1338 = CARTESIAN_POINT( '', ( 2.60500000000000, -5.61000000000000, -3.17500000000000 ) );
  1328. #1339 = VECTOR( '', #1569, 1000.00000000000 );
  1329. #1340 = CARTESIAN_POINT( '', ( 2.10500000000000, -5.11000000000000, -3.17500000000000 ) );
  1330. #1341 = CARTESIAN_POINT( '', ( 2.10500000000000, -5.11000000000000, -3.17500000000000 ) );
  1331. #1342 = VECTOR( '', #1570, 1000.00000000000 );
  1332. #1343 = CARTESIAN_POINT( '', ( 2.10500000000000, -1.80000000000000, -3.17500000000000 ) );
  1333. #1344 = CARTESIAN_POINT( '', ( 2.10500000000000, -1.80000000000000, -3.17500000000000 ) );
  1334. #1345 = VECTOR( '', #1571, 1000.00000000000 );
  1335. #1346 = CARTESIAN_POINT( '', ( 0.375000000000000, -1.80000000000000, -3.17500000000000 ) );
  1336. #1347 = CARTESIAN_POINT( '', ( 0.375000000000000, -1.80000000000000, -3.17500000000000 ) );
  1337. #1348 = VECTOR( '', #1572, 1000.00000000000 );
  1338. #1349 = CARTESIAN_POINT( '', ( 0.375000000000000, -5.11000000000000, -3.17500000000000 ) );
  1339. #1350 = CARTESIAN_POINT( '', ( 0.375000000000000, -5.11000000000000, -3.17500000000000 ) );
  1340. #1351 = VECTOR( '', #1573, 1000.00000000000 );
  1341. #1352 = CARTESIAN_POINT( '', ( -0.125000000000000, -5.61000000000000, -3.17500000000000 ) );
  1342. #1353 = CARTESIAN_POINT( '', ( -0.125000000000000, -5.61000000000000, -3.17500000000000 ) );
  1343. #1354 = VECTOR( '', #1574, 1000.00000000000 );
  1344. #1355 = CARTESIAN_POINT( '', ( -0.645000000000000, -5.61000000000000, -3.17500000000000 ) );
  1345. #1356 = VECTOR( '', #1575, 1000.00000000000 );
  1346. #1357 = CARTESIAN_POINT( '', ( -3.17500000000000, -1.80000000000000, -3.17500000000000 ) );
  1347. #1358 = VECTOR( '', #1576, 1000.00000000000 );
  1348. #1359 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1349. #1360 = CARTESIAN_POINT( '', ( 0.000000000000000, 6.96000000000000, -3.16500000000000 ) );
  1350. #1361 = AXIS2_PLACEMENT_3D( '', #1577, #1578, #1579 );
  1351. #1362 = CARTESIAN_POINT( '', ( 0.000000000000000, 6.96000000000000, -2.67500000000000 ) );
  1352. #1363 = AXIS2_PLACEMENT_3D( '', #1580, #1581, #1582 );
  1353. #1364 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1354. #1365 = CARTESIAN_POINT( '', ( 0.000000000000000, -0.150000000000000, -2.67500000000000 ) );
  1355. #1366 = AXIS2_PLACEMENT_3D( '', #1583, #1584, #1585 );
  1356. #1367 = CARTESIAN_POINT( '', ( -3.17500000000000, -0.150000000000000, 3.17500000000000 ) );
  1357. #1368 = VECTOR( '', #1586, 1000.00000000000 );
  1358. #1369 = CARTESIAN_POINT( '', ( 3.17500000000000, -0.150000000000001, 3.17500000000000 ) );
  1359. #1370 = VECTOR( '', #1587, 1000.00000000000 );
  1360. #1371 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1361. #1372 = CARTESIAN_POINT( '', ( 0.374999999999999, -1.80000000000000, 2.36500000000000 ) );
  1362. #1373 = CARTESIAN_POINT( '', ( 0.375000000000000, -5.11000000000000, 2.36500000000000 ) );
  1363. #1374 = CARTESIAN_POINT( '', ( 0.375000000000000, -5.11000000000000, 2.36500000000000 ) );
  1364. #1375 = VECTOR( '', #1588, 1000.00000000000 );
  1365. #1376 = CARTESIAN_POINT( '', ( 0.375000000000000, -1.80000000000000, 3.17500000000000 ) );
  1366. #1377 = VECTOR( '', #1589, 1000.00000000000 );
  1367. #1378 = CARTESIAN_POINT( '', ( 0.375000000000000, -5.11000000000000, 3.17500000000000 ) );
  1368. #1379 = VECTOR( '', #1590, 1000.00000000000 );
  1369. #1380 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1370. #1381 = CARTESIAN_POINT( '', ( -0.125000000000001, -5.61000000000000, 2.36500000000000 ) );
  1371. #1382 = CARTESIAN_POINT( '', ( -0.645000000000001, -5.61000000000000, 2.36500000000000 ) );
  1372. #1383 = CARTESIAN_POINT( '', ( 3.25000000000000, -5.61000000000000, 2.36500000000000 ) );
  1373. #1384 = VECTOR( '', #1591, 1000.00000000000 );
  1374. #1385 = CARTESIAN_POINT( '', ( -0.125000000000000, -5.61000000000000, 3.17500000000000 ) );
  1375. #1386 = VECTOR( '', #1592, 1000.00000000000 );
  1376. #1387 = CARTESIAN_POINT( '', ( -0.645000000000000, -5.61000000000000, 3.17500000000000 ) );
  1377. #1388 = VECTOR( '', #1593, 1000.00000000000 );
  1378. #1389 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1379. #1390 = CARTESIAN_POINT( '', ( 0.625000000000000, 2.79000000000000, 4.33680868994202E-16 ) );
  1380. #1391 = CARTESIAN_POINT( '', ( -0.625000000000000, 2.79000000000000, 2.16840434497101E-16 ) );
  1381. #1392 = AXIS2_PLACEMENT_3D( '', #1594, #1595, #1596 );
  1382. #1393 = CARTESIAN_POINT( '', ( -0.625000000000000, 5.74000000000000, 2.16840434497101E-16 ) );
  1383. #1394 = CARTESIAN_POINT( '', ( -0.625000000000000, 5.74000000000000, 2.16840434497101E-16 ) );
  1384. #1395 = VECTOR( '', #1597, 1000.00000000000 );
  1385. #1396 = CARTESIAN_POINT( '', ( 0.625000000000000, 5.74000000000000, 4.33680868994202E-16 ) );
  1386. #1397 = AXIS2_PLACEMENT_3D( '', #1598, #1599, #1600 );
  1387. #1398 = CARTESIAN_POINT( '', ( 0.625000000000000, 5.74000000000000, 4.33680868994202E-16 ) );
  1388. #1399 = VECTOR( '', #1601, 1000.00000000000 );
  1389. #1400 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1390. #1401 = CARTESIAN_POINT( '', ( -0.645000000000001, -1.80000000000000, 2.36500000000000 ) );
  1391. #1402 = CARTESIAN_POINT( '', ( -0.645000000000000, -1.80000000000000, 2.36500000000000 ) );
  1392. #1403 = VECTOR( '', #1602, 1000.00000000000 );
  1393. #1404 = CARTESIAN_POINT( '', ( 3.25000000000000, -1.80000000000000, 2.36500000000000 ) );
  1394. #1405 = VECTOR( '', #1603, 1000.00000000000 );
  1395. #1406 = CARTESIAN_POINT( '', ( -0.125000000000000, -5.61000000000000, 2.36500000000000 ) );
  1396. #1407 = VECTOR( '', #1604, 1000.00000000000 );
  1397. #1408 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1398. #1409 = CARTESIAN_POINT( '', ( 0.575000000000000, 2.79000000000000, 3.25260651745651E-16 ) );
  1399. #1410 = CARTESIAN_POINT( '', ( -0.575000000000000, 2.79000000000000, 1.35525271560688E-16 ) );
  1400. #1411 = AXIS2_PLACEMENT_3D( '', #1605, #1606, #1607 );
  1401. #1412 = AXIS2_PLACEMENT_3D( '', #1608, #1609, #1610 );
  1402. #1413 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1403. #1414 = CARTESIAN_POINT( '', ( 0.000000000000000, 5.79000000000000, -2.31500000000000 ) );
  1404. #1415 = AXIS2_PLACEMENT_3D( '', #1611, #1612, #1613 );
  1405. #1416 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1406. #1417 = AXIS2_PLACEMENT_3D( '', #1614, #1615, #1616 );
  1407. #1418 = AXIS2_PLACEMENT_3D( '', #1617, #1618, #1619 );
  1408. #1419 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1409. #1420 = CARTESIAN_POINT( '', ( 0.575000000000000, 5.74000000000000, 3.25260651745651E-16 ) );
  1410. #1421 = CARTESIAN_POINT( '', ( -0.575000000000000, 5.74000000000000, 1.35525271560688E-16 ) );
  1411. #1422 = AXIS2_PLACEMENT_3D( '', #1620, #1621, #1622 );
  1412. #1423 = AXIS2_PLACEMENT_3D( '', #1623, #1624, #1625 );
  1413. #1424 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1414. #1425 = CARTESIAN_POINT( '', ( 3.17500000000000, -5.61000000000000, 3.17500000000000 ) );
  1415. #1426 = VECTOR( '', #1626, 1000.00000000000 );
  1416. #1427 = CARTESIAN_POINT( '', ( 2.60500000000000, -5.61000000000000, 3.17500000000000 ) );
  1417. #1428 = VECTOR( '', #1627, 1000.00000000000 );
  1418. #1429 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1419. #1430 = CARTESIAN_POINT( '', ( 2.10500000000000, -1.80000000000000, -2.36500000000000 ) );
  1420. #1431 = CARTESIAN_POINT( '', ( 2.10500000000000, -5.11000000000000, -2.36500000000000 ) );
  1421. #1432 = CARTESIAN_POINT( '', ( 2.10500000000000, -1.80000000000000, -2.36500000000000 ) );
  1422. #1433 = VECTOR( '', #1628, 1000.00000000000 );
  1423. #1434 = CARTESIAN_POINT( '', ( 2.60500000000000, -5.61000000000000, -2.36500000000000 ) );
  1424. #1435 = CARTESIAN_POINT( '', ( 2.10500000000000, -5.11000000000000, -2.36500000000000 ) );
  1425. #1436 = VECTOR( '', #1629, 1000.00000000000 );
  1426. #1437 = CARTESIAN_POINT( '', ( 3.17500000000000, -5.61000000000000, -2.36500000000000 ) );
  1427. #1438 = CARTESIAN_POINT( '', ( 3.25000000000000, -5.61000000000000, -2.36500000000000 ) );
  1428. #1439 = VECTOR( '', #1630, 1000.00000000000 );
  1429. #1440 = CARTESIAN_POINT( '', ( 3.17500000000000, -1.80000000000000, -2.36500000000000 ) );
  1430. #1441 = CARTESIAN_POINT( '', ( 3.17500000000000, -5.61000000000000, -2.36500000000000 ) );
  1431. #1442 = VECTOR( '', #1631, 1000.00000000000 );
  1432. #1443 = CARTESIAN_POINT( '', ( 3.25000000000000, -1.80000000000000, -2.36500000000000 ) );
  1433. #1444 = VECTOR( '', #1632, 1000.00000000000 );
  1434. #1445 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1435. #1446 = CARTESIAN_POINT( '', ( 0.000000000000000, -1.68000000000000, -2.12500000000000 ) );
  1436. #1447 = AXIS2_PLACEMENT_3D( '', #1633, #1634, #1635 );
  1437. #1448 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1438. #1449 = CARTESIAN_POINT( '', ( -0.125000000000002, -5.61000000000000, -2.36500000000000 ) );
  1439. #1450 = CARTESIAN_POINT( '', ( 0.375000000000000, -5.11000000000000, -2.36500000000000 ) );
  1440. #1451 = CARTESIAN_POINT( '', ( -0.125000000000000, -5.61000000000000, -2.36500000000000 ) );
  1441. #1452 = VECTOR( '', #1636, 1000.00000000000 );
  1442. #1453 = CARTESIAN_POINT( '', ( -0.125000000000000, -5.61000000000000, 3.17500000000000 ) );
  1443. #1454 = VECTOR( '', #1637, 1000.00000000000 );
  1444. #1455 = CARTESIAN_POINT( '', ( 0.375000000000000, -5.11000000000000, 3.17500000000000 ) );
  1445. #1456 = VECTOR( '', #1638, 1000.00000000000 );
  1446. #1457 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1447. #1458 = CARTESIAN_POINT( '', ( 2.60500000000000, -5.61000000000000, 3.17500000000000 ) );
  1448. #1459 = VECTOR( '', #1639, 1000.00000000000 );
  1449. #1460 = CARTESIAN_POINT( '', ( 3.17500000000000, -5.61000000000000, 3.17500000000000 ) );
  1450. #1461 = VECTOR( '', #1640, 1000.00000000000 );
  1451. #1462 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1452. #1463 = CARTESIAN_POINT( '', ( 0.000000000000000, -1.80000000000000, -2.12500000000000 ) );
  1453. #1464 = AXIS2_PLACEMENT_3D( '', #1641, #1642, #1643 );
  1454. #1465 = CARTESIAN_POINT( '', ( -3.17500000000000, -1.80000000000000, 3.17500000000000 ) );
  1455. #1466 = VECTOR( '', #1644, 1000.00000000000 );
  1456. #1467 = CARTESIAN_POINT( '', ( 0.374999999999999, -1.80000000000000, -2.36500000000000 ) );
  1457. #1468 = CARTESIAN_POINT( '', ( 3.25000000000000, -1.80000000000000, -2.36500000000000 ) );
  1458. #1469 = VECTOR( '', #1645, 1000.00000000000 );
  1459. #1470 = CARTESIAN_POINT( '', ( 0.375000000000000, -1.80000000000000, 3.17500000000000 ) );
  1460. #1471 = VECTOR( '', #1646, 1000.00000000000 );
  1461. #1472 = CARTESIAN_POINT( '', ( 2.10500000000000, -1.80000000000000, 3.17500000000000 ) );
  1462. #1473 = VECTOR( '', #1647, 1000.00000000000 );
  1463. #1474 = CARTESIAN_POINT( '', ( 3.17500000000000, -1.80000000000000, 3.17500000000000 ) );
  1464. #1475 = VECTOR( '', #1648, 1000.00000000000 );
  1465. #1476 = CARTESIAN_POINT( '', ( 2.10500000000000, -1.80000000000000, 3.17500000000000 ) );
  1466. #1477 = VECTOR( '', #1649, 1000.00000000000 );
  1467. #1478 = CARTESIAN_POINT( '', ( -0.645000000000001, -1.80000000000000, 3.17500000000000 ) );
  1468. #1479 = VECTOR( '', #1650, 1000.00000000000 );
  1469. #1480 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1470. #1481 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1471. #1482 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1472. #1483 = CARTESIAN_POINT( '', ( 3.25000000000000, -5.61000000000000, -2.36500000000000 ) );
  1473. #1484 = VECTOR( '', #1651, 1000.00000000000 );
  1474. #1485 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1475. #1486 = CARTESIAN_POINT( '', ( 0.000000000000000, -5.41000000000000, -0.385000000000000 ) );
  1476. #1487 = AXIS2_PLACEMENT_3D( '', #1652, #1653, #1654 );
  1477. #1488 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1478. #1489 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1479. #1490 = CARTESIAN_POINT( '', ( 0.000000000000000, 5.79000000000000, -2.05000000000000 ) );
  1480. #1491 = AXIS2_PLACEMENT_3D( '', #1655, #1656, #1657 );
  1481. #1492 = CARTESIAN_POINT( '', ( 0.000000000000000, 5.74000000000000, -2.05000000000000 ) );
  1482. #1493 = AXIS2_PLACEMENT_3D( '', #1658, #1659, #1660 );
  1483. #1494 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1484. #1495 = CARTESIAN_POINT( '', ( -0.575000000000000, 5.74000000000000, 1.35525271560688E-16 ) );
  1485. #1496 = VECTOR( '', #1661, 1000.00000000000 );
  1486. #1497 = CARTESIAN_POINT( '', ( 0.575000000000000, 5.74000000000000, 3.25260651745651E-16 ) );
  1487. #1498 = VECTOR( '', #1662, 1000.00000000000 );
  1488. #1499 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1489. #1500 = CARTESIAN_POINT( '', ( 2.10500000000000, -5.11000000000000, 3.17500000000000 ) );
  1490. #1501 = VECTOR( '', #1663, 1000.00000000000 );
  1491. #1502 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1492. #1503 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1493. #1504 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1494. #1505 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1495. #1506 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1496. #1507 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1497. #1508 = CARTESIAN_POINT( '', ( 2.10500000000000, -5.11000000000000, 3.17500000000000 ) );
  1498. #1509 = VECTOR( '', #1664, 1000.00000000000 );
  1499. #1510 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1500. #1511 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1501. #1512 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1502. #1513 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1503. #1514 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1504. #1515 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1505. #1516 = CARTESIAN_POINT( '', ( 0.375000000000000, -5.11000000000000, -2.36500000000000 ) );
  1506. #1517 = VECTOR( '', #1665, 1000.00000000000 );
  1507. #1518 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1508. #1519 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1509. #1520 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
  1510. #1521 = CARTESIAN_POINT( '', ( 0.000000000000000, 2.72000000000000, 0.000000000000000 ) );
  1511. #1522 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  1512. #1523 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  1513. #1524 = CARTESIAN_POINT( '', ( 0.000000000000000, 2.72000000000000, 0.000000000000000 ) );
  1514. #1525 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  1515. #1526 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
  1516. #1527 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  1517. #1528 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
  1518. #1529 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
  1519. #1530 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
  1520. #1531 = DIRECTION( '', ( -0.707106781186548, 0.707106781186547, 0.000000000000000 ) );
  1521. #1532 = CARTESIAN_POINT( '', ( 0.000000000000000, -5.16000000000000, 0.000000000000000 ) );
  1522. #1533 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  1523. #1534 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  1524. #1535 = CARTESIAN_POINT( '', ( 0.000000000000000, -1.68000000000000, 0.000000000000000 ) );
  1525. #1536 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  1526. #1537 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  1527. #1538 = CARTESIAN_POINT( '', ( 0.000000000000000, 5.74000000000000, 0.000000000000000 ) );
  1528. #1539 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  1529. #1540 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  1530. #1541 = CARTESIAN_POINT( '', ( 0.000000000000000, 2.79000000000000, 0.000000000000000 ) );
  1531. #1542 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  1532. #1543 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  1533. #1544 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
  1534. #1545 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
  1535. #1546 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
  1536. #1547 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
  1537. #1548 = DIRECTION( '', ( 0.707106781186548, 0.707106781186547, 0.000000000000000 ) );
  1538. #1549 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  1539. #1550 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
  1540. #1551 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
  1541. #1552 = DIRECTION( '', ( 0.707106781186548, -0.707106781186547, 0.000000000000000 ) );
  1542. #1553 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
  1543. #1554 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  1544. #1555 = DIRECTION( '', ( -1.00000000000000, 5.97591748614058E-17, 0.000000000000000 ) );
  1545. #1556 = CARTESIAN_POINT( '', ( 0.000000000000000, 7.72000000000000, 0.000000000000000 ) );
  1546. #1557 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  1547. #1558 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  1548. #1559 = CARTESIAN_POINT( '', ( 0.000000000000000, 7.72000000000000, 0.000000000000000 ) );
  1549. #1560 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  1550. #1561 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  1551. #1562 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
  1552. #1563 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
  1553. #1564 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
  1554. #1565 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
  1555. #1566 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
  1556. #1567 = DIRECTION( '', ( -1.00000000000000, 5.97591748614058E-17, 0.000000000000000 ) );
  1557. #1568 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  1558. #1569 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
  1559. #1570 = DIRECTION( '', ( 0.707106781186548, -0.707106781186547, 0.000000000000000 ) );
  1560. #1571 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
  1561. #1572 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
  1562. #1573 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  1563. #1574 = DIRECTION( '', ( 0.707106781186548, 0.707106781186547, 0.000000000000000 ) );
  1564. #1575 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
  1565. #1576 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
  1566. #1577 = CARTESIAN_POINT( '', ( 0.000000000000000, 6.96000000000000, 0.000000000000000 ) );
  1567. #1578 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  1568. #1579 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  1569. #1580 = CARTESIAN_POINT( '', ( 0.000000000000000, 6.96000000000000, 0.000000000000000 ) );
  1570. #1581 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  1571. #1582 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  1572. #1583 = CARTESIAN_POINT( '', ( 0.000000000000000, -0.150000000000000, 0.000000000000000 ) );
  1573. #1584 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  1574. #1585 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  1575. #1586 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
  1576. #1587 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
  1577. #1588 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
  1578. #1589 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
  1579. #1590 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
  1580. #1591 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
  1581. #1592 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
  1582. #1593 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
  1583. #1594 = CARTESIAN_POINT( '', ( 1.08420217248550E-16, 2.79000000000000, 0.180558510638298 ) );
  1584. #1595 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  1585. #1596 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  1586. #1597 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  1587. #1598 = CARTESIAN_POINT( '', ( 1.08420217248550E-16, 5.74000000000000, 0.180558510638298 ) );
  1588. #1599 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  1589. #1600 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
  1590. #1601 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  1591. #1602 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  1592. #1603 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
  1593. #1604 = DIRECTION( '', ( -0.707106781186548, -0.707106781186547, 0.000000000000000 ) );
  1594. #1605 = CARTESIAN_POINT( '', ( -5.42101086242752E-17, 2.79000000000000, 0.183601190476191 ) );
  1595. #1606 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  1596. #1607 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  1597. #1608 = CARTESIAN_POINT( '', ( -5.42101086242752E-17, 2.79000000000000, -0.183601190476191 ) );
  1598. #1609 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  1599. #1610 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  1600. #1611 = CARTESIAN_POINT( '', ( 0.000000000000000, 5.79000000000000, 0.000000000000000 ) );
  1601. #1612 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  1602. #1613 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  1603. #1614 = CARTESIAN_POINT( '', ( -5.42101086242752E-17, 2.79000000000000, -0.180558510638298 ) );
  1604. #1615 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  1605. #1616 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  1606. #1617 = CARTESIAN_POINT( '', ( -5.42101086242752E-17, 5.74000000000000, -0.180558510638298 ) );
  1607. #1618 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  1608. #1619 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
  1609. #1620 = CARTESIAN_POINT( '', ( -5.42101086242752E-17, 5.74000000000000, 0.183601190476191 ) );
  1610. #1621 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  1611. #1622 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
  1612. #1623 = CARTESIAN_POINT( '', ( -5.42101086242752E-17, 5.74000000000000, -0.183601190476191 ) );
  1613. #1624 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
  1614. #1625 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
  1615. #1626 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
  1616. #1627 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
  1617. #1628 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
  1618. #1629 = DIRECTION( '', ( 0.707106781186548, -0.707106781186547, 0.000000000000000 ) );
  1619. #1630 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
  1620. #1631 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -0.000000000000000 ) );
  1621. #1632 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
  1622. #1633 = CARTESIAN_POINT( '', ( 0.000000000000000, -1.68000000000000, 0.000000000000000 ) );
  1623. #1634 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  1624. #1635 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  1625. #1636 = DIRECTION( '', ( 0.707106781186548, 0.707106781186547, -0.000000000000000 ) );
  1626. #1637 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
  1627. #1638 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
  1628. #1639 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
  1629. #1640 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
  1630. #1641 = CARTESIAN_POINT( '', ( 0.000000000000000, -1.80000000000000, 0.000000000000000 ) );
  1631. #1642 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  1632. #1643 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  1633. #1644 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
  1634. #1645 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
  1635. #1646 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
  1636. #1647 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
  1637. #1648 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
  1638. #1649 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
  1639. #1650 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
  1640. #1651 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
  1641. #1652 = CARTESIAN_POINT( '', ( 0.000000000000000, -5.41000000000000, 0.000000000000000 ) );
  1642. #1653 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  1643. #1654 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  1644. #1655 = CARTESIAN_POINT( '', ( 0.000000000000000, 5.79000000000000, 0.000000000000000 ) );
  1645. #1656 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  1646. #1657 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  1647. #1658 = CARTESIAN_POINT( '', ( 0.000000000000000, 5.74000000000000, 0.000000000000000 ) );
  1648. #1659 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  1649. #1660 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
  1650. #1661 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  1651. #1662 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
  1652. #1663 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
  1653. #1664 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
  1654. #1665 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -0.000000000000000 ) );
  1655. ENDSEC;
  1656. END-ISO-10303-21;