MNT Reform: Open Source Portable Computer https://mntre.com/reform
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

15055 lines
634KB

  1. ISO-10303-21;
  2. HEADER;
  3. FILE_DESCRIPTION(('FreeCAD Model'),'2;1');
  4. FILE_NAME(
  5. '/home/mntmn/code/reform/reform2-heatsink/reform2heatsink2.step',
  6. '2019-11-06T18:13:46',('Author'),(''),
  7. 'Open CASCADE STEP processor 7.3','FreeCAD','Unknown');
  8. FILE_SCHEMA(('AUTOMOTIVE_DESIGN { 1 0 10303 214 1 1 1 1 }'));
  9. ENDSEC;
  10. DATA;
  11. #1 = APPLICATION_PROTOCOL_DEFINITION('international standard',
  12. 'automotive_design',2000,#2);
  13. #2 = APPLICATION_CONTEXT(
  14. 'core data for automotive mechanical design processes');
  15. #3 = SHAPE_DEFINITION_REPRESENTATION(#4,#10);
  16. #4 = PRODUCT_DEFINITION_SHAPE('','',#5);
  17. #5 = PRODUCT_DEFINITION('design','',#6,#9);
  18. #6 = PRODUCT_DEFINITION_FORMATION('','',#7);
  19. #7 = PRODUCT('union001','union001','',(#8));
  20. #8 = PRODUCT_CONTEXT('',#2,'mechanical');
  21. #9 = PRODUCT_DEFINITION_CONTEXT('part definition',#2,'design');
  22. #10 = ADVANCED_BREP_SHAPE_REPRESENTATION('',(#11,#15),#12243);
  23. #11 = AXIS2_PLACEMENT_3D('',#12,#13,#14);
  24. #12 = CARTESIAN_POINT('',(0.,0.,0.));
  25. #13 = DIRECTION('',(0.,0.,1.));
  26. #14 = DIRECTION('',(1.,0.,-0.));
  27. #15 = MANIFOLD_SOLID_BREP('',#16);
  28. #16 = CLOSED_SHELL('',(#17,#1017,#2083,#2107,#2131,#2148,#2172,#2196,
  29. #2213,#2237,#2261,#2278,#2302,#2326,#2350,#2374,#2398,#2422,#2446,
  30. #2470,#2494,#2518,#2542,#2566,#2590,#2614,#2638,#2662,#2686,#2710,
  31. #2734,#2758,#2782,#2806,#2830,#2854,#2878,#2902,#2926,#2950,#2974,
  32. #2998,#3022,#3046,#3070,#3094,#3118,#3142,#3166,#3190,#3214,#3238,
  33. #3262,#3286,#3310,#3334,#3358,#3382,#3406,#3430,#3454,#3478,#3502,
  34. #3526,#3550,#3574,#3598,#3622,#3646,#3670,#3694,#3718,#3742,#3766,
  35. #3790,#3814,#3838,#3862,#3886,#3910,#3934,#3958,#3982,#4374,#4398,
  36. #4422,#4439,#4463,#4487,#4504,#4528,#4552,#4576,#4600,#4624,#4648,
  37. #4672,#4696,#4720,#4744,#4768,#4792,#4816,#4840,#4864,#4888,#4912,
  38. #4936,#4960,#4984,#5008,#5032,#5056,#5080,#5104,#5128,#5152,#5176,
  39. #5200,#5906,#5923,#5935,#5947,#5959,#6071,#6102,#6126,#6150,#6174,
  40. #6198,#6222,#6246,#6270,#6294,#6318,#6342,#6366,#6390,#6414,#6438,
  41. #6462,#6486,#6510,#6534,#6558,#6582,#6606,#6630,#6654,#6678,#6702,
  42. #6726,#6750,#6774,#6798,#6822,#6846,#6870,#6894,#6918,#6942,#6966,
  43. #6990,#7014,#7031,#7062,#7086,#7110,#7134,#7158,#7182,#7206,#7230,
  44. #7254,#7278,#7302,#7326,#7350,#7374,#7398,#7422,#7446,#7470,#7494,
  45. #7518,#7542,#7566,#7590,#7614,#7638,#7662,#7686,#7710,#7734,#7758,
  46. #7782,#7806,#7830,#7854,#7878,#7902,#7926,#7950,#7974,#7991,#8022,
  47. #8046,#8070,#8094,#8118,#8142,#8166,#8190,#8214,#8238,#8262,#8286,
  48. #8310,#8334,#8358,#8382,#8406,#8430,#8454,#8478,#8502,#8526,#8550,
  49. #8574,#8598,#8622,#8646,#8670,#8694,#8718,#8742,#8766,#8790,#8814,
  50. #8838,#8862,#8886,#8910,#8934,#8951,#8963,#8975,#9006,#9030,#9054,
  51. #9078,#9102,#9126,#9150,#9174,#9198,#9222,#9246,#9270,#9294,#9318,
  52. #9342,#9366,#9390,#9414,#9438,#9462,#9486,#9510,#9534,#9558,#9582,
  53. #9606,#9630,#9654,#9678,#9702,#9726,#9750,#9774,#9798,#9822,#9846,
  54. #9870,#9894,#9918,#9935,#9966,#9990,#10014,#10038,#10062,#10086,
  55. #10110,#10134,#10158,#10182,#10206,#10230,#10254,#10278,#10302,
  56. #10326,#10350,#10374,#10398,#10415,#10446,#10470,#10494,#10511,
  57. #10542,#10566,#10590,#10614,#10638,#10662,#10686,#10710,#10734,
  58. #10758,#10782,#10806,#10830,#10854,#10878,#10902,#10926,#10950,
  59. #10974,#10991,#11022,#11046,#11070,#11094,#11118,#11142,#11166,
  60. #11190,#11214,#11238,#11262,#11286,#11310,#11334,#11358,#11382,
  61. #11406,#11430,#11454,#11471,#11502,#11526,#11550,#11574,#11598,
  62. #11622,#11646,#11670,#11694,#11718,#11742,#11766,#11790,#11814,
  63. #11838,#11862,#11886,#11910,#11934,#11951,#12021,#12091,#12161,
  64. #12231));
  65. #17 = ADVANCED_FACE('',(#18),#1012,.F.);
  66. #18 = FACE_BOUND('',#19,.F.);
  67. #19 = EDGE_LOOP('',(#20,#30,#38,#46,#54,#62,#70,#78,#86,#94,#102,#110,
  68. #118,#126,#134,#142,#150,#158,#166,#174,#182,#190,#198,#206,#214,
  69. #222,#230,#238,#246,#254,#262,#270,#278,#286,#294,#302,#310,#318,
  70. #326,#334,#342,#350,#358,#366,#374,#382,#390,#398,#406,#414,#422,
  71. #430,#438,#446,#454,#462,#470,#478,#486,#494,#502,#510,#518,#526,
  72. #534,#542,#550,#558,#566,#574,#582,#590,#598,#606,#614,#622,#630,
  73. #638,#646,#654,#662,#670,#678,#686,#694,#702,#710,#718,#726,#734,
  74. #742,#750,#758,#766,#774,#782,#790,#798,#806,#814,#822,#830,#838,
  75. #846,#854,#862,#870,#878,#886,#894,#902,#910,#918,#926,#934,#942,
  76. #950,#958,#966,#974,#982,#990,#998,#1006));
  77. #20 = ORIENTED_EDGE('',*,*,#21,.F.);
  78. #21 = EDGE_CURVE('',#22,#24,#26,.T.);
  79. #22 = VERTEX_POINT('',#23);
  80. #23 = CARTESIAN_POINT('',(0.,0.,6.));
  81. #24 = VERTEX_POINT('',#25);
  82. #25 = CARTESIAN_POINT('',(0.,8.5,6.));
  83. #26 = LINE('',#27,#28);
  84. #27 = CARTESIAN_POINT('',(0.,0.,6.));
  85. #28 = VECTOR('',#29,1.);
  86. #29 = DIRECTION('',(0.,1.,0.));
  87. #30 = ORIENTED_EDGE('',*,*,#31,.F.);
  88. #31 = EDGE_CURVE('',#32,#22,#34,.T.);
  89. #32 = VERTEX_POINT('',#33);
  90. #33 = CARTESIAN_POINT('',(0.,0.,0.));
  91. #34 = LINE('',#35,#36);
  92. #35 = CARTESIAN_POINT('',(0.,0.,0.));
  93. #36 = VECTOR('',#37,1.);
  94. #37 = DIRECTION('',(0.,0.,1.));
  95. #38 = ORIENTED_EDGE('',*,*,#39,.T.);
  96. #39 = EDGE_CURVE('',#32,#40,#42,.T.);
  97. #40 = VERTEX_POINT('',#41);
  98. #41 = CARTESIAN_POINT('',(0.,100.,0.));
  99. #42 = LINE('',#43,#44);
  100. #43 = CARTESIAN_POINT('',(0.,0.,0.));
  101. #44 = VECTOR('',#45,1.);
  102. #45 = DIRECTION('',(0.,1.,0.));
  103. #46 = ORIENTED_EDGE('',*,*,#47,.T.);
  104. #47 = EDGE_CURVE('',#40,#48,#50,.T.);
  105. #48 = VERTEX_POINT('',#49);
  106. #49 = CARTESIAN_POINT('',(0.,100.,6.));
  107. #50 = LINE('',#51,#52);
  108. #51 = CARTESIAN_POINT('',(0.,100.,0.));
  109. #52 = VECTOR('',#53,1.);
  110. #53 = DIRECTION('',(0.,0.,1.));
  111. #54 = ORIENTED_EDGE('',*,*,#55,.F.);
  112. #55 = EDGE_CURVE('',#56,#48,#58,.T.);
  113. #56 = VERTEX_POINT('',#57);
  114. #57 = CARTESIAN_POINT('',(0.,97.5,6.));
  115. #58 = LINE('',#59,#60);
  116. #59 = CARTESIAN_POINT('',(0.,0.,6.));
  117. #60 = VECTOR('',#61,1.);
  118. #61 = DIRECTION('',(0.,1.,0.));
  119. #62 = ORIENTED_EDGE('',*,*,#63,.F.);
  120. #63 = EDGE_CURVE('',#64,#56,#66,.T.);
  121. #64 = VERTEX_POINT('',#65);
  122. #65 = CARTESIAN_POINT('',(0.,97.5,2.));
  123. #66 = LINE('',#67,#68);
  124. #67 = CARTESIAN_POINT('',(0.,97.5,1.));
  125. #68 = VECTOR('',#69,1.);
  126. #69 = DIRECTION('',(0.,0.,1.));
  127. #70 = ORIENTED_EDGE('',*,*,#71,.T.);
  128. #71 = EDGE_CURVE('',#64,#72,#74,.T.);
  129. #72 = VERTEX_POINT('',#73);
  130. #73 = CARTESIAN_POINT('',(0.,95.5,2.));
  131. #74 = LINE('',#75,#76);
  132. #75 = CARTESIAN_POINT('',(0.,47.75,2.));
  133. #76 = VECTOR('',#77,1.);
  134. #77 = DIRECTION('',(0.,-1.,0.));
  135. #78 = ORIENTED_EDGE('',*,*,#79,.T.);
  136. #79 = EDGE_CURVE('',#72,#80,#82,.T.);
  137. #80 = VERTEX_POINT('',#81);
  138. #81 = CARTESIAN_POINT('',(0.,95.5,6.));
  139. #82 = LINE('',#83,#84);
  140. #83 = CARTESIAN_POINT('',(0.,95.5,1.));
  141. #84 = VECTOR('',#85,1.);
  142. #85 = DIRECTION('',(0.,0.,1.));
  143. #86 = ORIENTED_EDGE('',*,*,#87,.F.);
  144. #87 = EDGE_CURVE('',#88,#80,#90,.T.);
  145. #88 = VERTEX_POINT('',#89);
  146. #89 = CARTESIAN_POINT('',(0.,94.5,6.));
  147. #90 = LINE('',#91,#92);
  148. #91 = CARTESIAN_POINT('',(0.,0.,6.));
  149. #92 = VECTOR('',#93,1.);
  150. #93 = DIRECTION('',(0.,1.,0.));
  151. #94 = ORIENTED_EDGE('',*,*,#95,.F.);
  152. #95 = EDGE_CURVE('',#96,#88,#98,.T.);
  153. #96 = VERTEX_POINT('',#97);
  154. #97 = CARTESIAN_POINT('',(0.,94.5,2.));
  155. #98 = LINE('',#99,#100);
  156. #99 = CARTESIAN_POINT('',(0.,94.5,1.));
  157. #100 = VECTOR('',#101,1.);
  158. #101 = DIRECTION('',(0.,0.,1.));
  159. #102 = ORIENTED_EDGE('',*,*,#103,.T.);
  160. #103 = EDGE_CURVE('',#96,#104,#106,.T.);
  161. #104 = VERTEX_POINT('',#105);
  162. #105 = CARTESIAN_POINT('',(0.,92.5,2.));
  163. #106 = LINE('',#107,#108);
  164. #107 = CARTESIAN_POINT('',(0.,46.25,2.));
  165. #108 = VECTOR('',#109,1.);
  166. #109 = DIRECTION('',(0.,-1.,0.));
  167. #110 = ORIENTED_EDGE('',*,*,#111,.T.);
  168. #111 = EDGE_CURVE('',#104,#112,#114,.T.);
  169. #112 = VERTEX_POINT('',#113);
  170. #113 = CARTESIAN_POINT('',(0.,92.5,6.));
  171. #114 = LINE('',#115,#116);
  172. #115 = CARTESIAN_POINT('',(0.,92.5,1.));
  173. #116 = VECTOR('',#117,1.);
  174. #117 = DIRECTION('',(0.,0.,1.));
  175. #118 = ORIENTED_EDGE('',*,*,#119,.F.);
  176. #119 = EDGE_CURVE('',#120,#112,#122,.T.);
  177. #120 = VERTEX_POINT('',#121);
  178. #121 = CARTESIAN_POINT('',(0.,91.5,6.));
  179. #122 = LINE('',#123,#124);
  180. #123 = CARTESIAN_POINT('',(0.,0.,6.));
  181. #124 = VECTOR('',#125,1.);
  182. #125 = DIRECTION('',(0.,1.,0.));
  183. #126 = ORIENTED_EDGE('',*,*,#127,.F.);
  184. #127 = EDGE_CURVE('',#128,#120,#130,.T.);
  185. #128 = VERTEX_POINT('',#129);
  186. #129 = CARTESIAN_POINT('',(0.,91.5,2.));
  187. #130 = LINE('',#131,#132);
  188. #131 = CARTESIAN_POINT('',(0.,91.5,1.));
  189. #132 = VECTOR('',#133,1.);
  190. #133 = DIRECTION('',(0.,0.,1.));
  191. #134 = ORIENTED_EDGE('',*,*,#135,.T.);
  192. #135 = EDGE_CURVE('',#128,#136,#138,.T.);
  193. #136 = VERTEX_POINT('',#137);
  194. #137 = CARTESIAN_POINT('',(0.,89.5,2.));
  195. #138 = LINE('',#139,#140);
  196. #139 = CARTESIAN_POINT('',(0.,44.75,2.));
  197. #140 = VECTOR('',#141,1.);
  198. #141 = DIRECTION('',(0.,-1.,0.));
  199. #142 = ORIENTED_EDGE('',*,*,#143,.T.);
  200. #143 = EDGE_CURVE('',#136,#144,#146,.T.);
  201. #144 = VERTEX_POINT('',#145);
  202. #145 = CARTESIAN_POINT('',(0.,89.5,6.));
  203. #146 = LINE('',#147,#148);
  204. #147 = CARTESIAN_POINT('',(0.,89.5,1.));
  205. #148 = VECTOR('',#149,1.);
  206. #149 = DIRECTION('',(0.,0.,1.));
  207. #150 = ORIENTED_EDGE('',*,*,#151,.F.);
  208. #151 = EDGE_CURVE('',#152,#144,#154,.T.);
  209. #152 = VERTEX_POINT('',#153);
  210. #153 = CARTESIAN_POINT('',(0.,88.5,6.));
  211. #154 = LINE('',#155,#156);
  212. #155 = CARTESIAN_POINT('',(0.,0.,6.));
  213. #156 = VECTOR('',#157,1.);
  214. #157 = DIRECTION('',(0.,1.,0.));
  215. #158 = ORIENTED_EDGE('',*,*,#159,.F.);
  216. #159 = EDGE_CURVE('',#160,#152,#162,.T.);
  217. #160 = VERTEX_POINT('',#161);
  218. #161 = CARTESIAN_POINT('',(0.,88.5,2.));
  219. #162 = LINE('',#163,#164);
  220. #163 = CARTESIAN_POINT('',(0.,88.5,1.));
  221. #164 = VECTOR('',#165,1.);
  222. #165 = DIRECTION('',(0.,0.,1.));
  223. #166 = ORIENTED_EDGE('',*,*,#167,.T.);
  224. #167 = EDGE_CURVE('',#160,#168,#170,.T.);
  225. #168 = VERTEX_POINT('',#169);
  226. #169 = CARTESIAN_POINT('',(0.,86.5,2.));
  227. #170 = LINE('',#171,#172);
  228. #171 = CARTESIAN_POINT('',(0.,43.25,2.));
  229. #172 = VECTOR('',#173,1.);
  230. #173 = DIRECTION('',(0.,-1.,0.));
  231. #174 = ORIENTED_EDGE('',*,*,#175,.T.);
  232. #175 = EDGE_CURVE('',#168,#176,#178,.T.);
  233. #176 = VERTEX_POINT('',#177);
  234. #177 = CARTESIAN_POINT('',(0.,86.5,6.));
  235. #178 = LINE('',#179,#180);
  236. #179 = CARTESIAN_POINT('',(0.,86.5,1.));
  237. #180 = VECTOR('',#181,1.);
  238. #181 = DIRECTION('',(0.,0.,1.));
  239. #182 = ORIENTED_EDGE('',*,*,#183,.F.);
  240. #183 = EDGE_CURVE('',#184,#176,#186,.T.);
  241. #184 = VERTEX_POINT('',#185);
  242. #185 = CARTESIAN_POINT('',(0.,85.5,6.));
  243. #186 = LINE('',#187,#188);
  244. #187 = CARTESIAN_POINT('',(0.,0.,6.));
  245. #188 = VECTOR('',#189,1.);
  246. #189 = DIRECTION('',(0.,1.,0.));
  247. #190 = ORIENTED_EDGE('',*,*,#191,.F.);
  248. #191 = EDGE_CURVE('',#192,#184,#194,.T.);
  249. #192 = VERTEX_POINT('',#193);
  250. #193 = CARTESIAN_POINT('',(0.,85.5,2.));
  251. #194 = LINE('',#195,#196);
  252. #195 = CARTESIAN_POINT('',(0.,85.5,1.));
  253. #196 = VECTOR('',#197,1.);
  254. #197 = DIRECTION('',(0.,0.,1.));
  255. #198 = ORIENTED_EDGE('',*,*,#199,.T.);
  256. #199 = EDGE_CURVE('',#192,#200,#202,.T.);
  257. #200 = VERTEX_POINT('',#201);
  258. #201 = CARTESIAN_POINT('',(0.,83.5,2.));
  259. #202 = LINE('',#203,#204);
  260. #203 = CARTESIAN_POINT('',(0.,41.75,2.));
  261. #204 = VECTOR('',#205,1.);
  262. #205 = DIRECTION('',(0.,-1.,0.));
  263. #206 = ORIENTED_EDGE('',*,*,#207,.T.);
  264. #207 = EDGE_CURVE('',#200,#208,#210,.T.);
  265. #208 = VERTEX_POINT('',#209);
  266. #209 = CARTESIAN_POINT('',(0.,83.5,6.));
  267. #210 = LINE('',#211,#212);
  268. #211 = CARTESIAN_POINT('',(0.,83.5,1.));
  269. #212 = VECTOR('',#213,1.);
  270. #213 = DIRECTION('',(0.,0.,1.));
  271. #214 = ORIENTED_EDGE('',*,*,#215,.F.);
  272. #215 = EDGE_CURVE('',#216,#208,#218,.T.);
  273. #216 = VERTEX_POINT('',#217);
  274. #217 = CARTESIAN_POINT('',(0.,82.5,6.));
  275. #218 = LINE('',#219,#220);
  276. #219 = CARTESIAN_POINT('',(0.,0.,6.));
  277. #220 = VECTOR('',#221,1.);
  278. #221 = DIRECTION('',(0.,1.,0.));
  279. #222 = ORIENTED_EDGE('',*,*,#223,.F.);
  280. #223 = EDGE_CURVE('',#224,#216,#226,.T.);
  281. #224 = VERTEX_POINT('',#225);
  282. #225 = CARTESIAN_POINT('',(0.,82.5,2.));
  283. #226 = LINE('',#227,#228);
  284. #227 = CARTESIAN_POINT('',(0.,82.5,1.));
  285. #228 = VECTOR('',#229,1.);
  286. #229 = DIRECTION('',(0.,0.,1.));
  287. #230 = ORIENTED_EDGE('',*,*,#231,.T.);
  288. #231 = EDGE_CURVE('',#224,#232,#234,.T.);
  289. #232 = VERTEX_POINT('',#233);
  290. #233 = CARTESIAN_POINT('',(0.,80.5,2.));
  291. #234 = LINE('',#235,#236);
  292. #235 = CARTESIAN_POINT('',(0.,40.25,2.));
  293. #236 = VECTOR('',#237,1.);
  294. #237 = DIRECTION('',(0.,-1.,0.));
  295. #238 = ORIENTED_EDGE('',*,*,#239,.T.);
  296. #239 = EDGE_CURVE('',#232,#240,#242,.T.);
  297. #240 = VERTEX_POINT('',#241);
  298. #241 = CARTESIAN_POINT('',(0.,80.5,6.));
  299. #242 = LINE('',#243,#244);
  300. #243 = CARTESIAN_POINT('',(0.,80.5,1.));
  301. #244 = VECTOR('',#245,1.);
  302. #245 = DIRECTION('',(0.,0.,1.));
  303. #246 = ORIENTED_EDGE('',*,*,#247,.F.);
  304. #247 = EDGE_CURVE('',#248,#240,#250,.T.);
  305. #248 = VERTEX_POINT('',#249);
  306. #249 = CARTESIAN_POINT('',(0.,79.5,6.));
  307. #250 = LINE('',#251,#252);
  308. #251 = CARTESIAN_POINT('',(0.,0.,6.));
  309. #252 = VECTOR('',#253,1.);
  310. #253 = DIRECTION('',(0.,1.,0.));
  311. #254 = ORIENTED_EDGE('',*,*,#255,.F.);
  312. #255 = EDGE_CURVE('',#256,#248,#258,.T.);
  313. #256 = VERTEX_POINT('',#257);
  314. #257 = CARTESIAN_POINT('',(0.,79.5,2.));
  315. #258 = LINE('',#259,#260);
  316. #259 = CARTESIAN_POINT('',(0.,79.5,1.));
  317. #260 = VECTOR('',#261,1.);
  318. #261 = DIRECTION('',(0.,0.,1.));
  319. #262 = ORIENTED_EDGE('',*,*,#263,.T.);
  320. #263 = EDGE_CURVE('',#256,#264,#266,.T.);
  321. #264 = VERTEX_POINT('',#265);
  322. #265 = CARTESIAN_POINT('',(0.,77.5,2.));
  323. #266 = LINE('',#267,#268);
  324. #267 = CARTESIAN_POINT('',(0.,38.75,2.));
  325. #268 = VECTOR('',#269,1.);
  326. #269 = DIRECTION('',(0.,-1.,0.));
  327. #270 = ORIENTED_EDGE('',*,*,#271,.T.);
  328. #271 = EDGE_CURVE('',#264,#272,#274,.T.);
  329. #272 = VERTEX_POINT('',#273);
  330. #273 = CARTESIAN_POINT('',(0.,77.5,6.));
  331. #274 = LINE('',#275,#276);
  332. #275 = CARTESIAN_POINT('',(0.,77.5,1.));
  333. #276 = VECTOR('',#277,1.);
  334. #277 = DIRECTION('',(0.,0.,1.));
  335. #278 = ORIENTED_EDGE('',*,*,#279,.F.);
  336. #279 = EDGE_CURVE('',#280,#272,#282,.T.);
  337. #280 = VERTEX_POINT('',#281);
  338. #281 = CARTESIAN_POINT('',(0.,76.5,6.));
  339. #282 = LINE('',#283,#284);
  340. #283 = CARTESIAN_POINT('',(0.,0.,6.));
  341. #284 = VECTOR('',#285,1.);
  342. #285 = DIRECTION('',(0.,1.,0.));
  343. #286 = ORIENTED_EDGE('',*,*,#287,.F.);
  344. #287 = EDGE_CURVE('',#288,#280,#290,.T.);
  345. #288 = VERTEX_POINT('',#289);
  346. #289 = CARTESIAN_POINT('',(0.,76.5,2.));
  347. #290 = LINE('',#291,#292);
  348. #291 = CARTESIAN_POINT('',(0.,76.5,1.));
  349. #292 = VECTOR('',#293,1.);
  350. #293 = DIRECTION('',(0.,0.,1.));
  351. #294 = ORIENTED_EDGE('',*,*,#295,.T.);
  352. #295 = EDGE_CURVE('',#288,#296,#298,.T.);
  353. #296 = VERTEX_POINT('',#297);
  354. #297 = CARTESIAN_POINT('',(0.,74.5,2.));
  355. #298 = LINE('',#299,#300);
  356. #299 = CARTESIAN_POINT('',(0.,37.25,2.));
  357. #300 = VECTOR('',#301,1.);
  358. #301 = DIRECTION('',(0.,-1.,0.));
  359. #302 = ORIENTED_EDGE('',*,*,#303,.T.);
  360. #303 = EDGE_CURVE('',#296,#304,#306,.T.);
  361. #304 = VERTEX_POINT('',#305);
  362. #305 = CARTESIAN_POINT('',(0.,74.5,6.));
  363. #306 = LINE('',#307,#308);
  364. #307 = CARTESIAN_POINT('',(0.,74.5,1.));
  365. #308 = VECTOR('',#309,1.);
  366. #309 = DIRECTION('',(0.,0.,1.));
  367. #310 = ORIENTED_EDGE('',*,*,#311,.F.);
  368. #311 = EDGE_CURVE('',#312,#304,#314,.T.);
  369. #312 = VERTEX_POINT('',#313);
  370. #313 = CARTESIAN_POINT('',(0.,73.5,6.));
  371. #314 = LINE('',#315,#316);
  372. #315 = CARTESIAN_POINT('',(0.,0.,6.));
  373. #316 = VECTOR('',#317,1.);
  374. #317 = DIRECTION('',(0.,1.,0.));
  375. #318 = ORIENTED_EDGE('',*,*,#319,.F.);
  376. #319 = EDGE_CURVE('',#320,#312,#322,.T.);
  377. #320 = VERTEX_POINT('',#321);
  378. #321 = CARTESIAN_POINT('',(0.,73.5,2.));
  379. #322 = LINE('',#323,#324);
  380. #323 = CARTESIAN_POINT('',(0.,73.5,1.));
  381. #324 = VECTOR('',#325,1.);
  382. #325 = DIRECTION('',(0.,0.,1.));
  383. #326 = ORIENTED_EDGE('',*,*,#327,.T.);
  384. #327 = EDGE_CURVE('',#320,#328,#330,.T.);
  385. #328 = VERTEX_POINT('',#329);
  386. #329 = CARTESIAN_POINT('',(0.,71.5,2.));
  387. #330 = LINE('',#331,#332);
  388. #331 = CARTESIAN_POINT('',(0.,35.75,2.));
  389. #332 = VECTOR('',#333,1.);
  390. #333 = DIRECTION('',(0.,-1.,0.));
  391. #334 = ORIENTED_EDGE('',*,*,#335,.T.);
  392. #335 = EDGE_CURVE('',#328,#336,#338,.T.);
  393. #336 = VERTEX_POINT('',#337);
  394. #337 = CARTESIAN_POINT('',(0.,71.5,6.));
  395. #338 = LINE('',#339,#340);
  396. #339 = CARTESIAN_POINT('',(0.,71.5,1.));
  397. #340 = VECTOR('',#341,1.);
  398. #341 = DIRECTION('',(0.,0.,1.));
  399. #342 = ORIENTED_EDGE('',*,*,#343,.F.);
  400. #343 = EDGE_CURVE('',#344,#336,#346,.T.);
  401. #344 = VERTEX_POINT('',#345);
  402. #345 = CARTESIAN_POINT('',(0.,70.5,6.));
  403. #346 = LINE('',#347,#348);
  404. #347 = CARTESIAN_POINT('',(0.,0.,6.));
  405. #348 = VECTOR('',#349,1.);
  406. #349 = DIRECTION('',(0.,1.,0.));
  407. #350 = ORIENTED_EDGE('',*,*,#351,.F.);
  408. #351 = EDGE_CURVE('',#352,#344,#354,.T.);
  409. #352 = VERTEX_POINT('',#353);
  410. #353 = CARTESIAN_POINT('',(0.,70.5,2.));
  411. #354 = LINE('',#355,#356);
  412. #355 = CARTESIAN_POINT('',(0.,70.5,1.));
  413. #356 = VECTOR('',#357,1.);
  414. #357 = DIRECTION('',(0.,0.,1.));
  415. #358 = ORIENTED_EDGE('',*,*,#359,.T.);
  416. #359 = EDGE_CURVE('',#352,#360,#362,.T.);
  417. #360 = VERTEX_POINT('',#361);
  418. #361 = CARTESIAN_POINT('',(0.,68.5,2.));
  419. #362 = LINE('',#363,#364);
  420. #363 = CARTESIAN_POINT('',(0.,34.25,2.));
  421. #364 = VECTOR('',#365,1.);
  422. #365 = DIRECTION('',(0.,-1.,0.));
  423. #366 = ORIENTED_EDGE('',*,*,#367,.T.);
  424. #367 = EDGE_CURVE('',#360,#368,#370,.T.);
  425. #368 = VERTEX_POINT('',#369);
  426. #369 = CARTESIAN_POINT('',(0.,68.5,6.));
  427. #370 = LINE('',#371,#372);
  428. #371 = CARTESIAN_POINT('',(0.,68.5,1.));
  429. #372 = VECTOR('',#373,1.);
  430. #373 = DIRECTION('',(0.,0.,1.));
  431. #374 = ORIENTED_EDGE('',*,*,#375,.F.);
  432. #375 = EDGE_CURVE('',#376,#368,#378,.T.);
  433. #376 = VERTEX_POINT('',#377);
  434. #377 = CARTESIAN_POINT('',(0.,67.5,6.));
  435. #378 = LINE('',#379,#380);
  436. #379 = CARTESIAN_POINT('',(0.,0.,6.));
  437. #380 = VECTOR('',#381,1.);
  438. #381 = DIRECTION('',(0.,1.,0.));
  439. #382 = ORIENTED_EDGE('',*,*,#383,.F.);
  440. #383 = EDGE_CURVE('',#384,#376,#386,.T.);
  441. #384 = VERTEX_POINT('',#385);
  442. #385 = CARTESIAN_POINT('',(0.,67.5,2.));
  443. #386 = LINE('',#387,#388);
  444. #387 = CARTESIAN_POINT('',(0.,67.5,1.));
  445. #388 = VECTOR('',#389,1.);
  446. #389 = DIRECTION('',(0.,0.,1.));
  447. #390 = ORIENTED_EDGE('',*,*,#391,.T.);
  448. #391 = EDGE_CURVE('',#384,#392,#394,.T.);
  449. #392 = VERTEX_POINT('',#393);
  450. #393 = CARTESIAN_POINT('',(0.,65.5,2.));
  451. #394 = LINE('',#395,#396);
  452. #395 = CARTESIAN_POINT('',(0.,32.75,2.));
  453. #396 = VECTOR('',#397,1.);
  454. #397 = DIRECTION('',(0.,-1.,0.));
  455. #398 = ORIENTED_EDGE('',*,*,#399,.T.);
  456. #399 = EDGE_CURVE('',#392,#400,#402,.T.);
  457. #400 = VERTEX_POINT('',#401);
  458. #401 = CARTESIAN_POINT('',(0.,65.5,6.));
  459. #402 = LINE('',#403,#404);
  460. #403 = CARTESIAN_POINT('',(0.,65.5,1.));
  461. #404 = VECTOR('',#405,1.);
  462. #405 = DIRECTION('',(0.,0.,1.));
  463. #406 = ORIENTED_EDGE('',*,*,#407,.F.);
  464. #407 = EDGE_CURVE('',#408,#400,#410,.T.);
  465. #408 = VERTEX_POINT('',#409);
  466. #409 = CARTESIAN_POINT('',(0.,64.5,6.));
  467. #410 = LINE('',#411,#412);
  468. #411 = CARTESIAN_POINT('',(0.,0.,6.));
  469. #412 = VECTOR('',#413,1.);
  470. #413 = DIRECTION('',(0.,1.,0.));
  471. #414 = ORIENTED_EDGE('',*,*,#415,.F.);
  472. #415 = EDGE_CURVE('',#416,#408,#418,.T.);
  473. #416 = VERTEX_POINT('',#417);
  474. #417 = CARTESIAN_POINT('',(0.,64.5,2.));
  475. #418 = LINE('',#419,#420);
  476. #419 = CARTESIAN_POINT('',(0.,64.5,1.));
  477. #420 = VECTOR('',#421,1.);
  478. #421 = DIRECTION('',(0.,0.,1.));
  479. #422 = ORIENTED_EDGE('',*,*,#423,.T.);
  480. #423 = EDGE_CURVE('',#416,#424,#426,.T.);
  481. #424 = VERTEX_POINT('',#425);
  482. #425 = CARTESIAN_POINT('',(0.,62.5,2.));
  483. #426 = LINE('',#427,#428);
  484. #427 = CARTESIAN_POINT('',(0.,31.25,2.));
  485. #428 = VECTOR('',#429,1.);
  486. #429 = DIRECTION('',(0.,-1.,0.));
  487. #430 = ORIENTED_EDGE('',*,*,#431,.T.);
  488. #431 = EDGE_CURVE('',#424,#432,#434,.T.);
  489. #432 = VERTEX_POINT('',#433);
  490. #433 = CARTESIAN_POINT('',(0.,62.5,6.));
  491. #434 = LINE('',#435,#436);
  492. #435 = CARTESIAN_POINT('',(0.,62.5,1.));
  493. #436 = VECTOR('',#437,1.);
  494. #437 = DIRECTION('',(0.,0.,1.));
  495. #438 = ORIENTED_EDGE('',*,*,#439,.F.);
  496. #439 = EDGE_CURVE('',#440,#432,#442,.T.);
  497. #440 = VERTEX_POINT('',#441);
  498. #441 = CARTESIAN_POINT('',(0.,61.5,6.));
  499. #442 = LINE('',#443,#444);
  500. #443 = CARTESIAN_POINT('',(0.,0.,6.));
  501. #444 = VECTOR('',#445,1.);
  502. #445 = DIRECTION('',(0.,1.,0.));
  503. #446 = ORIENTED_EDGE('',*,*,#447,.F.);
  504. #447 = EDGE_CURVE('',#448,#440,#450,.T.);
  505. #448 = VERTEX_POINT('',#449);
  506. #449 = CARTESIAN_POINT('',(0.,61.5,2.));
  507. #450 = LINE('',#451,#452);
  508. #451 = CARTESIAN_POINT('',(0.,61.5,1.));
  509. #452 = VECTOR('',#453,1.);
  510. #453 = DIRECTION('',(0.,0.,1.));
  511. #454 = ORIENTED_EDGE('',*,*,#455,.T.);
  512. #455 = EDGE_CURVE('',#448,#456,#458,.T.);
  513. #456 = VERTEX_POINT('',#457);
  514. #457 = CARTESIAN_POINT('',(0.,59.5,2.));
  515. #458 = LINE('',#459,#460);
  516. #459 = CARTESIAN_POINT('',(0.,29.75,2.));
  517. #460 = VECTOR('',#461,1.);
  518. #461 = DIRECTION('',(0.,-1.,0.));
  519. #462 = ORIENTED_EDGE('',*,*,#463,.T.);
  520. #463 = EDGE_CURVE('',#456,#464,#466,.T.);
  521. #464 = VERTEX_POINT('',#465);
  522. #465 = CARTESIAN_POINT('',(0.,59.5,6.));
  523. #466 = LINE('',#467,#468);
  524. #467 = CARTESIAN_POINT('',(0.,59.5,1.));
  525. #468 = VECTOR('',#469,1.);
  526. #469 = DIRECTION('',(0.,0.,1.));
  527. #470 = ORIENTED_EDGE('',*,*,#471,.F.);
  528. #471 = EDGE_CURVE('',#472,#464,#474,.T.);
  529. #472 = VERTEX_POINT('',#473);
  530. #473 = CARTESIAN_POINT('',(0.,58.5,6.));
  531. #474 = LINE('',#475,#476);
  532. #475 = CARTESIAN_POINT('',(0.,0.,6.));
  533. #476 = VECTOR('',#477,1.);
  534. #477 = DIRECTION('',(0.,1.,0.));
  535. #478 = ORIENTED_EDGE('',*,*,#479,.F.);
  536. #479 = EDGE_CURVE('',#480,#472,#482,.T.);
  537. #480 = VERTEX_POINT('',#481);
  538. #481 = CARTESIAN_POINT('',(0.,58.5,2.));
  539. #482 = LINE('',#483,#484);
  540. #483 = CARTESIAN_POINT('',(0.,58.5,1.));
  541. #484 = VECTOR('',#485,1.);
  542. #485 = DIRECTION('',(0.,0.,1.));
  543. #486 = ORIENTED_EDGE('',*,*,#487,.T.);
  544. #487 = EDGE_CURVE('',#480,#488,#490,.T.);
  545. #488 = VERTEX_POINT('',#489);
  546. #489 = CARTESIAN_POINT('',(0.,56.5,2.));
  547. #490 = LINE('',#491,#492);
  548. #491 = CARTESIAN_POINT('',(0.,28.25,2.));
  549. #492 = VECTOR('',#493,1.);
  550. #493 = DIRECTION('',(0.,-1.,0.));
  551. #494 = ORIENTED_EDGE('',*,*,#495,.T.);
  552. #495 = EDGE_CURVE('',#488,#496,#498,.T.);
  553. #496 = VERTEX_POINT('',#497);
  554. #497 = CARTESIAN_POINT('',(0.,56.5,6.));
  555. #498 = LINE('',#499,#500);
  556. #499 = CARTESIAN_POINT('',(0.,56.5,1.));
  557. #500 = VECTOR('',#501,1.);
  558. #501 = DIRECTION('',(0.,0.,1.));
  559. #502 = ORIENTED_EDGE('',*,*,#503,.F.);
  560. #503 = EDGE_CURVE('',#504,#496,#506,.T.);
  561. #504 = VERTEX_POINT('',#505);
  562. #505 = CARTESIAN_POINT('',(0.,55.5,6.));
  563. #506 = LINE('',#507,#508);
  564. #507 = CARTESIAN_POINT('',(0.,0.,6.));
  565. #508 = VECTOR('',#509,1.);
  566. #509 = DIRECTION('',(0.,1.,0.));
  567. #510 = ORIENTED_EDGE('',*,*,#511,.F.);
  568. #511 = EDGE_CURVE('',#512,#504,#514,.T.);
  569. #512 = VERTEX_POINT('',#513);
  570. #513 = CARTESIAN_POINT('',(0.,55.5,2.));
  571. #514 = LINE('',#515,#516);
  572. #515 = CARTESIAN_POINT('',(0.,55.5,1.));
  573. #516 = VECTOR('',#517,1.);
  574. #517 = DIRECTION('',(0.,0.,1.));
  575. #518 = ORIENTED_EDGE('',*,*,#519,.T.);
  576. #519 = EDGE_CURVE('',#512,#520,#522,.T.);
  577. #520 = VERTEX_POINT('',#521);
  578. #521 = CARTESIAN_POINT('',(0.,53.5,2.));
  579. #522 = LINE('',#523,#524);
  580. #523 = CARTESIAN_POINT('',(0.,26.75,2.));
  581. #524 = VECTOR('',#525,1.);
  582. #525 = DIRECTION('',(0.,-1.,0.));
  583. #526 = ORIENTED_EDGE('',*,*,#527,.T.);
  584. #527 = EDGE_CURVE('',#520,#528,#530,.T.);
  585. #528 = VERTEX_POINT('',#529);
  586. #529 = CARTESIAN_POINT('',(0.,53.5,6.));
  587. #530 = LINE('',#531,#532);
  588. #531 = CARTESIAN_POINT('',(0.,53.5,1.));
  589. #532 = VECTOR('',#533,1.);
  590. #533 = DIRECTION('',(0.,0.,1.));
  591. #534 = ORIENTED_EDGE('',*,*,#535,.F.);
  592. #535 = EDGE_CURVE('',#536,#528,#538,.T.);
  593. #536 = VERTEX_POINT('',#537);
  594. #537 = CARTESIAN_POINT('',(0.,52.5,6.));
  595. #538 = LINE('',#539,#540);
  596. #539 = CARTESIAN_POINT('',(0.,0.,6.));
  597. #540 = VECTOR('',#541,1.);
  598. #541 = DIRECTION('',(0.,1.,0.));
  599. #542 = ORIENTED_EDGE('',*,*,#543,.F.);
  600. #543 = EDGE_CURVE('',#544,#536,#546,.T.);
  601. #544 = VERTEX_POINT('',#545);
  602. #545 = CARTESIAN_POINT('',(0.,52.5,2.));
  603. #546 = LINE('',#547,#548);
  604. #547 = CARTESIAN_POINT('',(0.,52.5,1.));
  605. #548 = VECTOR('',#549,1.);
  606. #549 = DIRECTION('',(0.,0.,1.));
  607. #550 = ORIENTED_EDGE('',*,*,#551,.T.);
  608. #551 = EDGE_CURVE('',#544,#552,#554,.T.);
  609. #552 = VERTEX_POINT('',#553);
  610. #553 = CARTESIAN_POINT('',(0.,50.5,2.));
  611. #554 = LINE('',#555,#556);
  612. #555 = CARTESIAN_POINT('',(0.,25.25,2.));
  613. #556 = VECTOR('',#557,1.);
  614. #557 = DIRECTION('',(0.,-1.,0.));
  615. #558 = ORIENTED_EDGE('',*,*,#559,.T.);
  616. #559 = EDGE_CURVE('',#552,#560,#562,.T.);
  617. #560 = VERTEX_POINT('',#561);
  618. #561 = CARTESIAN_POINT('',(0.,50.5,6.));
  619. #562 = LINE('',#563,#564);
  620. #563 = CARTESIAN_POINT('',(0.,50.5,1.));
  621. #564 = VECTOR('',#565,1.);
  622. #565 = DIRECTION('',(0.,0.,1.));
  623. #566 = ORIENTED_EDGE('',*,*,#567,.F.);
  624. #567 = EDGE_CURVE('',#568,#560,#570,.T.);
  625. #568 = VERTEX_POINT('',#569);
  626. #569 = CARTESIAN_POINT('',(0.,49.5,6.));
  627. #570 = LINE('',#571,#572);
  628. #571 = CARTESIAN_POINT('',(0.,0.,6.));
  629. #572 = VECTOR('',#573,1.);
  630. #573 = DIRECTION('',(0.,1.,0.));
  631. #574 = ORIENTED_EDGE('',*,*,#575,.F.);
  632. #575 = EDGE_CURVE('',#576,#568,#578,.T.);
  633. #576 = VERTEX_POINT('',#577);
  634. #577 = CARTESIAN_POINT('',(0.,49.5,2.));
  635. #578 = LINE('',#579,#580);
  636. #579 = CARTESIAN_POINT('',(0.,49.5,1.));
  637. #580 = VECTOR('',#581,1.);
  638. #581 = DIRECTION('',(0.,0.,1.));
  639. #582 = ORIENTED_EDGE('',*,*,#583,.T.);
  640. #583 = EDGE_CURVE('',#576,#584,#586,.T.);
  641. #584 = VERTEX_POINT('',#585);
  642. #585 = CARTESIAN_POINT('',(0.,47.5,2.));
  643. #586 = LINE('',#587,#588);
  644. #587 = CARTESIAN_POINT('',(0.,23.75,2.));
  645. #588 = VECTOR('',#589,1.);
  646. #589 = DIRECTION('',(0.,-1.,0.));
  647. #590 = ORIENTED_EDGE('',*,*,#591,.T.);
  648. #591 = EDGE_CURVE('',#584,#592,#594,.T.);
  649. #592 = VERTEX_POINT('',#593);
  650. #593 = CARTESIAN_POINT('',(0.,47.5,6.));
  651. #594 = LINE('',#595,#596);
  652. #595 = CARTESIAN_POINT('',(0.,47.5,1.));
  653. #596 = VECTOR('',#597,1.);
  654. #597 = DIRECTION('',(0.,0.,1.));
  655. #598 = ORIENTED_EDGE('',*,*,#599,.F.);
  656. #599 = EDGE_CURVE('',#600,#592,#602,.T.);
  657. #600 = VERTEX_POINT('',#601);
  658. #601 = CARTESIAN_POINT('',(0.,46.5,6.));
  659. #602 = LINE('',#603,#604);
  660. #603 = CARTESIAN_POINT('',(0.,0.,6.));
  661. #604 = VECTOR('',#605,1.);
  662. #605 = DIRECTION('',(0.,1.,0.));
  663. #606 = ORIENTED_EDGE('',*,*,#607,.F.);
  664. #607 = EDGE_CURVE('',#608,#600,#610,.T.);
  665. #608 = VERTEX_POINT('',#609);
  666. #609 = CARTESIAN_POINT('',(0.,46.5,2.));
  667. #610 = LINE('',#611,#612);
  668. #611 = CARTESIAN_POINT('',(0.,46.5,1.));
  669. #612 = VECTOR('',#613,1.);
  670. #613 = DIRECTION('',(0.,0.,1.));
  671. #614 = ORIENTED_EDGE('',*,*,#615,.T.);
  672. #615 = EDGE_CURVE('',#608,#616,#618,.T.);
  673. #616 = VERTEX_POINT('',#617);
  674. #617 = CARTESIAN_POINT('',(0.,44.5,2.));
  675. #618 = LINE('',#619,#620);
  676. #619 = CARTESIAN_POINT('',(0.,22.25,2.));
  677. #620 = VECTOR('',#621,1.);
  678. #621 = DIRECTION('',(0.,-1.,0.));
  679. #622 = ORIENTED_EDGE('',*,*,#623,.T.);
  680. #623 = EDGE_CURVE('',#616,#624,#626,.T.);
  681. #624 = VERTEX_POINT('',#625);
  682. #625 = CARTESIAN_POINT('',(0.,44.5,6.));
  683. #626 = LINE('',#627,#628);
  684. #627 = CARTESIAN_POINT('',(0.,44.5,1.));
  685. #628 = VECTOR('',#629,1.);
  686. #629 = DIRECTION('',(0.,0.,1.));
  687. #630 = ORIENTED_EDGE('',*,*,#631,.F.);
  688. #631 = EDGE_CURVE('',#632,#624,#634,.T.);
  689. #632 = VERTEX_POINT('',#633);
  690. #633 = CARTESIAN_POINT('',(0.,43.5,6.));
  691. #634 = LINE('',#635,#636);
  692. #635 = CARTESIAN_POINT('',(0.,0.,6.));
  693. #636 = VECTOR('',#637,1.);
  694. #637 = DIRECTION('',(0.,1.,0.));
  695. #638 = ORIENTED_EDGE('',*,*,#639,.F.);
  696. #639 = EDGE_CURVE('',#640,#632,#642,.T.);
  697. #640 = VERTEX_POINT('',#641);
  698. #641 = CARTESIAN_POINT('',(0.,43.5,2.));
  699. #642 = LINE('',#643,#644);
  700. #643 = CARTESIAN_POINT('',(0.,43.5,1.));
  701. #644 = VECTOR('',#645,1.);
  702. #645 = DIRECTION('',(0.,0.,1.));
  703. #646 = ORIENTED_EDGE('',*,*,#647,.T.);
  704. #647 = EDGE_CURVE('',#640,#648,#650,.T.);
  705. #648 = VERTEX_POINT('',#649);
  706. #649 = CARTESIAN_POINT('',(0.,41.5,2.));
  707. #650 = LINE('',#651,#652);
  708. #651 = CARTESIAN_POINT('',(0.,20.75,2.));
  709. #652 = VECTOR('',#653,1.);
  710. #653 = DIRECTION('',(0.,-1.,0.));
  711. #654 = ORIENTED_EDGE('',*,*,#655,.T.);
  712. #655 = EDGE_CURVE('',#648,#656,#658,.T.);
  713. #656 = VERTEX_POINT('',#657);
  714. #657 = CARTESIAN_POINT('',(0.,41.5,6.));
  715. #658 = LINE('',#659,#660);
  716. #659 = CARTESIAN_POINT('',(0.,41.5,1.));
  717. #660 = VECTOR('',#661,1.);
  718. #661 = DIRECTION('',(0.,0.,1.));
  719. #662 = ORIENTED_EDGE('',*,*,#663,.F.);
  720. #663 = EDGE_CURVE('',#664,#656,#666,.T.);
  721. #664 = VERTEX_POINT('',#665);
  722. #665 = CARTESIAN_POINT('',(0.,40.5,6.));
  723. #666 = LINE('',#667,#668);
  724. #667 = CARTESIAN_POINT('',(0.,0.,6.));
  725. #668 = VECTOR('',#669,1.);
  726. #669 = DIRECTION('',(0.,1.,0.));
  727. #670 = ORIENTED_EDGE('',*,*,#671,.F.);
  728. #671 = EDGE_CURVE('',#672,#664,#674,.T.);
  729. #672 = VERTEX_POINT('',#673);
  730. #673 = CARTESIAN_POINT('',(0.,40.5,2.));
  731. #674 = LINE('',#675,#676);
  732. #675 = CARTESIAN_POINT('',(0.,40.5,1.));
  733. #676 = VECTOR('',#677,1.);
  734. #677 = DIRECTION('',(0.,0.,1.));
  735. #678 = ORIENTED_EDGE('',*,*,#679,.T.);
  736. #679 = EDGE_CURVE('',#672,#680,#682,.T.);
  737. #680 = VERTEX_POINT('',#681);
  738. #681 = CARTESIAN_POINT('',(0.,38.5,2.));
  739. #682 = LINE('',#683,#684);
  740. #683 = CARTESIAN_POINT('',(0.,19.25,2.));
  741. #684 = VECTOR('',#685,1.);
  742. #685 = DIRECTION('',(0.,-1.,0.));
  743. #686 = ORIENTED_EDGE('',*,*,#687,.T.);
  744. #687 = EDGE_CURVE('',#680,#688,#690,.T.);
  745. #688 = VERTEX_POINT('',#689);
  746. #689 = CARTESIAN_POINT('',(0.,38.5,6.));
  747. #690 = LINE('',#691,#692);
  748. #691 = CARTESIAN_POINT('',(0.,38.5,1.));
  749. #692 = VECTOR('',#693,1.);
  750. #693 = DIRECTION('',(0.,0.,1.));
  751. #694 = ORIENTED_EDGE('',*,*,#695,.F.);
  752. #695 = EDGE_CURVE('',#696,#688,#698,.T.);
  753. #696 = VERTEX_POINT('',#697);
  754. #697 = CARTESIAN_POINT('',(0.,37.5,6.));
  755. #698 = LINE('',#699,#700);
  756. #699 = CARTESIAN_POINT('',(0.,0.,6.));
  757. #700 = VECTOR('',#701,1.);
  758. #701 = DIRECTION('',(0.,1.,0.));
  759. #702 = ORIENTED_EDGE('',*,*,#703,.F.);
  760. #703 = EDGE_CURVE('',#704,#696,#706,.T.);
  761. #704 = VERTEX_POINT('',#705);
  762. #705 = CARTESIAN_POINT('',(0.,37.5,2.));
  763. #706 = LINE('',#707,#708);
  764. #707 = CARTESIAN_POINT('',(0.,37.5,1.));
  765. #708 = VECTOR('',#709,1.);
  766. #709 = DIRECTION('',(0.,0.,1.));
  767. #710 = ORIENTED_EDGE('',*,*,#711,.T.);
  768. #711 = EDGE_CURVE('',#704,#712,#714,.T.);
  769. #712 = VERTEX_POINT('',#713);
  770. #713 = CARTESIAN_POINT('',(0.,35.5,2.));
  771. #714 = LINE('',#715,#716);
  772. #715 = CARTESIAN_POINT('',(0.,17.75,2.));
  773. #716 = VECTOR('',#717,1.);
  774. #717 = DIRECTION('',(0.,-1.,0.));
  775. #718 = ORIENTED_EDGE('',*,*,#719,.T.);
  776. #719 = EDGE_CURVE('',#712,#720,#722,.T.);
  777. #720 = VERTEX_POINT('',#721);
  778. #721 = CARTESIAN_POINT('',(0.,35.5,6.));
  779. #722 = LINE('',#723,#724);
  780. #723 = CARTESIAN_POINT('',(0.,35.5,1.));
  781. #724 = VECTOR('',#725,1.);
  782. #725 = DIRECTION('',(0.,0.,1.));
  783. #726 = ORIENTED_EDGE('',*,*,#727,.F.);
  784. #727 = EDGE_CURVE('',#728,#720,#730,.T.);
  785. #728 = VERTEX_POINT('',#729);
  786. #729 = CARTESIAN_POINT('',(0.,34.5,6.));
  787. #730 = LINE('',#731,#732);
  788. #731 = CARTESIAN_POINT('',(0.,0.,6.));
  789. #732 = VECTOR('',#733,1.);
  790. #733 = DIRECTION('',(0.,1.,0.));
  791. #734 = ORIENTED_EDGE('',*,*,#735,.F.);
  792. #735 = EDGE_CURVE('',#736,#728,#738,.T.);
  793. #736 = VERTEX_POINT('',#737);
  794. #737 = CARTESIAN_POINT('',(0.,34.5,2.));
  795. #738 = LINE('',#739,#740);
  796. #739 = CARTESIAN_POINT('',(0.,34.5,1.));
  797. #740 = VECTOR('',#741,1.);
  798. #741 = DIRECTION('',(0.,0.,1.));
  799. #742 = ORIENTED_EDGE('',*,*,#743,.T.);
  800. #743 = EDGE_CURVE('',#736,#744,#746,.T.);
  801. #744 = VERTEX_POINT('',#745);
  802. #745 = CARTESIAN_POINT('',(0.,32.5,2.));
  803. #746 = LINE('',#747,#748);
  804. #747 = CARTESIAN_POINT('',(0.,16.25,2.));
  805. #748 = VECTOR('',#749,1.);
  806. #749 = DIRECTION('',(0.,-1.,0.));
  807. #750 = ORIENTED_EDGE('',*,*,#751,.T.);
  808. #751 = EDGE_CURVE('',#744,#752,#754,.T.);
  809. #752 = VERTEX_POINT('',#753);
  810. #753 = CARTESIAN_POINT('',(0.,32.5,6.));
  811. #754 = LINE('',#755,#756);
  812. #755 = CARTESIAN_POINT('',(0.,32.5,1.));
  813. #756 = VECTOR('',#757,1.);
  814. #757 = DIRECTION('',(0.,0.,1.));
  815. #758 = ORIENTED_EDGE('',*,*,#759,.F.);
  816. #759 = EDGE_CURVE('',#760,#752,#762,.T.);
  817. #760 = VERTEX_POINT('',#761);
  818. #761 = CARTESIAN_POINT('',(0.,31.5,6.));
  819. #762 = LINE('',#763,#764);
  820. #763 = CARTESIAN_POINT('',(0.,0.,6.));
  821. #764 = VECTOR('',#765,1.);
  822. #765 = DIRECTION('',(0.,1.,0.));
  823. #766 = ORIENTED_EDGE('',*,*,#767,.F.);
  824. #767 = EDGE_CURVE('',#768,#760,#770,.T.);
  825. #768 = VERTEX_POINT('',#769);
  826. #769 = CARTESIAN_POINT('',(0.,31.5,2.));
  827. #770 = LINE('',#771,#772);
  828. #771 = CARTESIAN_POINT('',(0.,31.5,1.));
  829. #772 = VECTOR('',#773,1.);
  830. #773 = DIRECTION('',(0.,0.,1.));
  831. #774 = ORIENTED_EDGE('',*,*,#775,.T.);
  832. #775 = EDGE_CURVE('',#768,#776,#778,.T.);
  833. #776 = VERTEX_POINT('',#777);
  834. #777 = CARTESIAN_POINT('',(0.,29.5,2.));
  835. #778 = LINE('',#779,#780);
  836. #779 = CARTESIAN_POINT('',(0.,14.75,2.));
  837. #780 = VECTOR('',#781,1.);
  838. #781 = DIRECTION('',(0.,-1.,0.));
  839. #782 = ORIENTED_EDGE('',*,*,#783,.T.);
  840. #783 = EDGE_CURVE('',#776,#784,#786,.T.);
  841. #784 = VERTEX_POINT('',#785);
  842. #785 = CARTESIAN_POINT('',(0.,29.5,6.));
  843. #786 = LINE('',#787,#788);
  844. #787 = CARTESIAN_POINT('',(0.,29.5,1.));
  845. #788 = VECTOR('',#789,1.);
  846. #789 = DIRECTION('',(0.,0.,1.));
  847. #790 = ORIENTED_EDGE('',*,*,#791,.F.);
  848. #791 = EDGE_CURVE('',#792,#784,#794,.T.);
  849. #792 = VERTEX_POINT('',#793);
  850. #793 = CARTESIAN_POINT('',(0.,28.5,6.));
  851. #794 = LINE('',#795,#796);
  852. #795 = CARTESIAN_POINT('',(0.,0.,6.));
  853. #796 = VECTOR('',#797,1.);
  854. #797 = DIRECTION('',(0.,1.,0.));
  855. #798 = ORIENTED_EDGE('',*,*,#799,.F.);
  856. #799 = EDGE_CURVE('',#800,#792,#802,.T.);
  857. #800 = VERTEX_POINT('',#801);
  858. #801 = CARTESIAN_POINT('',(0.,28.5,2.));
  859. #802 = LINE('',#803,#804);
  860. #803 = CARTESIAN_POINT('',(0.,28.5,1.));
  861. #804 = VECTOR('',#805,1.);
  862. #805 = DIRECTION('',(0.,0.,1.));
  863. #806 = ORIENTED_EDGE('',*,*,#807,.T.);
  864. #807 = EDGE_CURVE('',#800,#808,#810,.T.);
  865. #808 = VERTEX_POINT('',#809);
  866. #809 = CARTESIAN_POINT('',(0.,26.5,2.));
  867. #810 = LINE('',#811,#812);
  868. #811 = CARTESIAN_POINT('',(0.,13.25,2.));
  869. #812 = VECTOR('',#813,1.);
  870. #813 = DIRECTION('',(0.,-1.,0.));
  871. #814 = ORIENTED_EDGE('',*,*,#815,.T.);
  872. #815 = EDGE_CURVE('',#808,#816,#818,.T.);
  873. #816 = VERTEX_POINT('',#817);
  874. #817 = CARTESIAN_POINT('',(0.,26.5,6.));
  875. #818 = LINE('',#819,#820);
  876. #819 = CARTESIAN_POINT('',(0.,26.5,1.));
  877. #820 = VECTOR('',#821,1.);
  878. #821 = DIRECTION('',(0.,0.,1.));
  879. #822 = ORIENTED_EDGE('',*,*,#823,.F.);
  880. #823 = EDGE_CURVE('',#824,#816,#826,.T.);
  881. #824 = VERTEX_POINT('',#825);
  882. #825 = CARTESIAN_POINT('',(0.,25.5,6.));
  883. #826 = LINE('',#827,#828);
  884. #827 = CARTESIAN_POINT('',(0.,0.,6.));
  885. #828 = VECTOR('',#829,1.);
  886. #829 = DIRECTION('',(0.,1.,0.));
  887. #830 = ORIENTED_EDGE('',*,*,#831,.F.);
  888. #831 = EDGE_CURVE('',#832,#824,#834,.T.);
  889. #832 = VERTEX_POINT('',#833);
  890. #833 = CARTESIAN_POINT('',(0.,25.5,2.));
  891. #834 = LINE('',#835,#836);
  892. #835 = CARTESIAN_POINT('',(0.,25.5,1.));
  893. #836 = VECTOR('',#837,1.);
  894. #837 = DIRECTION('',(0.,0.,1.));
  895. #838 = ORIENTED_EDGE('',*,*,#839,.T.);
  896. #839 = EDGE_CURVE('',#832,#840,#842,.T.);
  897. #840 = VERTEX_POINT('',#841);
  898. #841 = CARTESIAN_POINT('',(0.,23.5,2.));
  899. #842 = LINE('',#843,#844);
  900. #843 = CARTESIAN_POINT('',(0.,11.75,2.));
  901. #844 = VECTOR('',#845,1.);
  902. #845 = DIRECTION('',(0.,-1.,0.));
  903. #846 = ORIENTED_EDGE('',*,*,#847,.T.);
  904. #847 = EDGE_CURVE('',#840,#848,#850,.T.);
  905. #848 = VERTEX_POINT('',#849);
  906. #849 = CARTESIAN_POINT('',(0.,23.5,6.));
  907. #850 = LINE('',#851,#852);
  908. #851 = CARTESIAN_POINT('',(0.,23.5,1.));
  909. #852 = VECTOR('',#853,1.);
  910. #853 = DIRECTION('',(0.,0.,1.));
  911. #854 = ORIENTED_EDGE('',*,*,#855,.F.);
  912. #855 = EDGE_CURVE('',#856,#848,#858,.T.);
  913. #856 = VERTEX_POINT('',#857);
  914. #857 = CARTESIAN_POINT('',(0.,22.5,6.));
  915. #858 = LINE('',#859,#860);
  916. #859 = CARTESIAN_POINT('',(0.,0.,6.));
  917. #860 = VECTOR('',#861,1.);
  918. #861 = DIRECTION('',(0.,1.,0.));
  919. #862 = ORIENTED_EDGE('',*,*,#863,.F.);
  920. #863 = EDGE_CURVE('',#864,#856,#866,.T.);
  921. #864 = VERTEX_POINT('',#865);
  922. #865 = CARTESIAN_POINT('',(0.,22.5,2.));
  923. #866 = LINE('',#867,#868);
  924. #867 = CARTESIAN_POINT('',(0.,22.5,1.));
  925. #868 = VECTOR('',#869,1.);
  926. #869 = DIRECTION('',(0.,0.,1.));
  927. #870 = ORIENTED_EDGE('',*,*,#871,.T.);
  928. #871 = EDGE_CURVE('',#864,#872,#874,.T.);
  929. #872 = VERTEX_POINT('',#873);
  930. #873 = CARTESIAN_POINT('',(0.,20.5,2.));
  931. #874 = LINE('',#875,#876);
  932. #875 = CARTESIAN_POINT('',(0.,10.25,2.));
  933. #876 = VECTOR('',#877,1.);
  934. #877 = DIRECTION('',(0.,-1.,0.));
  935. #878 = ORIENTED_EDGE('',*,*,#879,.T.);
  936. #879 = EDGE_CURVE('',#872,#880,#882,.T.);
  937. #880 = VERTEX_POINT('',#881);
  938. #881 = CARTESIAN_POINT('',(0.,20.5,6.));
  939. #882 = LINE('',#883,#884);
  940. #883 = CARTESIAN_POINT('',(0.,20.5,1.));
  941. #884 = VECTOR('',#885,1.);
  942. #885 = DIRECTION('',(0.,0.,1.));
  943. #886 = ORIENTED_EDGE('',*,*,#887,.F.);
  944. #887 = EDGE_CURVE('',#888,#880,#890,.T.);
  945. #888 = VERTEX_POINT('',#889);
  946. #889 = CARTESIAN_POINT('',(0.,19.5,6.));
  947. #890 = LINE('',#891,#892);
  948. #891 = CARTESIAN_POINT('',(0.,0.,6.));
  949. #892 = VECTOR('',#893,1.);
  950. #893 = DIRECTION('',(0.,1.,0.));
  951. #894 = ORIENTED_EDGE('',*,*,#895,.F.);
  952. #895 = EDGE_CURVE('',#896,#888,#898,.T.);
  953. #896 = VERTEX_POINT('',#897);
  954. #897 = CARTESIAN_POINT('',(0.,19.5,2.));
  955. #898 = LINE('',#899,#900);
  956. #899 = CARTESIAN_POINT('',(0.,19.5,1.));
  957. #900 = VECTOR('',#901,1.);
  958. #901 = DIRECTION('',(0.,0.,1.));
  959. #902 = ORIENTED_EDGE('',*,*,#903,.T.);
  960. #903 = EDGE_CURVE('',#896,#904,#906,.T.);
  961. #904 = VERTEX_POINT('',#905);
  962. #905 = CARTESIAN_POINT('',(0.,17.5,2.));
  963. #906 = LINE('',#907,#908);
  964. #907 = CARTESIAN_POINT('',(0.,8.75,2.));
  965. #908 = VECTOR('',#909,1.);
  966. #909 = DIRECTION('',(0.,-1.,0.));
  967. #910 = ORIENTED_EDGE('',*,*,#911,.T.);
  968. #911 = EDGE_CURVE('',#904,#912,#914,.T.);
  969. #912 = VERTEX_POINT('',#913);
  970. #913 = CARTESIAN_POINT('',(0.,17.5,6.));
  971. #914 = LINE('',#915,#916);
  972. #915 = CARTESIAN_POINT('',(0.,17.5,1.));
  973. #916 = VECTOR('',#917,1.);
  974. #917 = DIRECTION('',(0.,0.,1.));
  975. #918 = ORIENTED_EDGE('',*,*,#919,.F.);
  976. #919 = EDGE_CURVE('',#920,#912,#922,.T.);
  977. #920 = VERTEX_POINT('',#921);
  978. #921 = CARTESIAN_POINT('',(0.,16.5,6.));
  979. #922 = LINE('',#923,#924);
  980. #923 = CARTESIAN_POINT('',(0.,0.,6.));
  981. #924 = VECTOR('',#925,1.);
  982. #925 = DIRECTION('',(0.,1.,0.));
  983. #926 = ORIENTED_EDGE('',*,*,#927,.F.);
  984. #927 = EDGE_CURVE('',#928,#920,#930,.T.);
  985. #928 = VERTEX_POINT('',#929);
  986. #929 = CARTESIAN_POINT('',(0.,16.5,2.));
  987. #930 = LINE('',#931,#932);
  988. #931 = CARTESIAN_POINT('',(0.,16.5,1.));
  989. #932 = VECTOR('',#933,1.);
  990. #933 = DIRECTION('',(0.,0.,1.));
  991. #934 = ORIENTED_EDGE('',*,*,#935,.T.);
  992. #935 = EDGE_CURVE('',#928,#936,#938,.T.);
  993. #936 = VERTEX_POINT('',#937);
  994. #937 = CARTESIAN_POINT('',(0.,14.5,2.));
  995. #938 = LINE('',#939,#940);
  996. #939 = CARTESIAN_POINT('',(0.,7.25,2.));
  997. #940 = VECTOR('',#941,1.);
  998. #941 = DIRECTION('',(0.,-1.,0.));
  999. #942 = ORIENTED_EDGE('',*,*,#943,.T.);
  1000. #943 = EDGE_CURVE('',#936,#944,#946,.T.);
  1001. #944 = VERTEX_POINT('',#945);
  1002. #945 = CARTESIAN_POINT('',(0.,14.5,6.));
  1003. #946 = LINE('',#947,#948);
  1004. #947 = CARTESIAN_POINT('',(0.,14.5,1.));
  1005. #948 = VECTOR('',#949,1.);
  1006. #949 = DIRECTION('',(0.,0.,1.));
  1007. #950 = ORIENTED_EDGE('',*,*,#951,.F.);
  1008. #951 = EDGE_CURVE('',#952,#944,#954,.T.);
  1009. #952 = VERTEX_POINT('',#953);
  1010. #953 = CARTESIAN_POINT('',(0.,13.5,6.));
  1011. #954 = LINE('',#955,#956);
  1012. #955 = CARTESIAN_POINT('',(0.,0.,6.));
  1013. #956 = VECTOR('',#957,1.);
  1014. #957 = DIRECTION('',(0.,1.,0.));
  1015. #958 = ORIENTED_EDGE('',*,*,#959,.F.);
  1016. #959 = EDGE_CURVE('',#960,#952,#962,.T.);
  1017. #960 = VERTEX_POINT('',#961);
  1018. #961 = CARTESIAN_POINT('',(0.,13.5,2.));
  1019. #962 = LINE('',#963,#964);
  1020. #963 = CARTESIAN_POINT('',(0.,13.5,1.));
  1021. #964 = VECTOR('',#965,1.);
  1022. #965 = DIRECTION('',(0.,0.,1.));
  1023. #966 = ORIENTED_EDGE('',*,*,#967,.T.);
  1024. #967 = EDGE_CURVE('',#960,#968,#970,.T.);
  1025. #968 = VERTEX_POINT('',#969);
  1026. #969 = CARTESIAN_POINT('',(0.,11.5,2.));
  1027. #970 = LINE('',#971,#972);
  1028. #971 = CARTESIAN_POINT('',(0.,5.75,2.));
  1029. #972 = VECTOR('',#973,1.);
  1030. #973 = DIRECTION('',(0.,-1.,0.));
  1031. #974 = ORIENTED_EDGE('',*,*,#975,.T.);
  1032. #975 = EDGE_CURVE('',#968,#976,#978,.T.);
  1033. #976 = VERTEX_POINT('',#977);
  1034. #977 = CARTESIAN_POINT('',(0.,11.5,6.));
  1035. #978 = LINE('',#979,#980);
  1036. #979 = CARTESIAN_POINT('',(0.,11.5,1.));
  1037. #980 = VECTOR('',#981,1.);
  1038. #981 = DIRECTION('',(0.,0.,1.));
  1039. #982 = ORIENTED_EDGE('',*,*,#983,.F.);
  1040. #983 = EDGE_CURVE('',#984,#976,#986,.T.);
  1041. #984 = VERTEX_POINT('',#985);
  1042. #985 = CARTESIAN_POINT('',(0.,10.5,6.));
  1043. #986 = LINE('',#987,#988);
  1044. #987 = CARTESIAN_POINT('',(0.,0.,6.));
  1045. #988 = VECTOR('',#989,1.);
  1046. #989 = DIRECTION('',(0.,1.,0.));
  1047. #990 = ORIENTED_EDGE('',*,*,#991,.F.);
  1048. #991 = EDGE_CURVE('',#992,#984,#994,.T.);
  1049. #992 = VERTEX_POINT('',#993);
  1050. #993 = CARTESIAN_POINT('',(0.,10.5,2.));
  1051. #994 = LINE('',#995,#996);
  1052. #995 = CARTESIAN_POINT('',(0.,10.5,1.));
  1053. #996 = VECTOR('',#997,1.);
  1054. #997 = DIRECTION('',(0.,0.,1.));
  1055. #998 = ORIENTED_EDGE('',*,*,#999,.T.);
  1056. #999 = EDGE_CURVE('',#992,#1000,#1002,.T.);
  1057. #1000 = VERTEX_POINT('',#1001);
  1058. #1001 = CARTESIAN_POINT('',(0.,8.5,2.));
  1059. #1002 = LINE('',#1003,#1004);
  1060. #1003 = CARTESIAN_POINT('',(0.,4.25,2.));
  1061. #1004 = VECTOR('',#1005,1.);
  1062. #1005 = DIRECTION('',(0.,-1.,0.));
  1063. #1006 = ORIENTED_EDGE('',*,*,#1007,.T.);
  1064. #1007 = EDGE_CURVE('',#1000,#24,#1008,.T.);
  1065. #1008 = LINE('',#1009,#1010);
  1066. #1009 = CARTESIAN_POINT('',(0.,8.5,1.));
  1067. #1010 = VECTOR('',#1011,1.);
  1068. #1011 = DIRECTION('',(0.,0.,1.));
  1069. #1012 = PLANE('',#1013);
  1070. #1013 = AXIS2_PLACEMENT_3D('',#1014,#1015,#1016);
  1071. #1014 = CARTESIAN_POINT('',(0.,0.,0.));
  1072. #1015 = DIRECTION('',(1.,0.,0.));
  1073. #1016 = DIRECTION('',(0.,0.,1.));
  1074. #1017 = ADVANCED_FACE('',(#1018,#1112,#1434,#1756),#2078,.T.);
  1075. #1018 = FACE_BOUND('',#1019,.T.);
  1076. #1019 = EDGE_LOOP('',(#1020,#1021,#1029,#1037,#1043,#1044,#1052,#1060,
  1077. #1066,#1067,#1075,#1083,#1089,#1090,#1098,#1106));
  1078. #1020 = ORIENTED_EDGE('',*,*,#21,.F.);
  1079. #1021 = ORIENTED_EDGE('',*,*,#1022,.T.);
  1080. #1022 = EDGE_CURVE('',#22,#1023,#1025,.T.);
  1081. #1023 = VERTEX_POINT('',#1024);
  1082. #1024 = CARTESIAN_POINT('',(54.,0.,6.));
  1083. #1025 = LINE('',#1026,#1027);
  1084. #1026 = CARTESIAN_POINT('',(0.,0.,6.));
  1085. #1027 = VECTOR('',#1028,1.);
  1086. #1028 = DIRECTION('',(1.,0.,0.));
  1087. #1029 = ORIENTED_EDGE('',*,*,#1030,.T.);
  1088. #1030 = EDGE_CURVE('',#1023,#1031,#1033,.T.);
  1089. #1031 = VERTEX_POINT('',#1032);
  1090. #1032 = CARTESIAN_POINT('',(54.,17.5,6.));
  1091. #1033 = LINE('',#1034,#1035);
  1092. #1034 = CARTESIAN_POINT('',(54.,0.,6.));
  1093. #1035 = VECTOR('',#1036,1.);
  1094. #1036 = DIRECTION('',(0.,1.,0.));
  1095. #1037 = ORIENTED_EDGE('',*,*,#1038,.T.);
  1096. #1038 = EDGE_CURVE('',#1031,#912,#1039,.T.);
  1097. #1039 = LINE('',#1040,#1041);
  1098. #1040 = CARTESIAN_POINT('',(-0.5,17.5,6.));
  1099. #1041 = VECTOR('',#1042,1.);
  1100. #1042 = DIRECTION('',(-1.,0.,0.));
  1101. #1043 = ORIENTED_EDGE('',*,*,#919,.F.);
  1102. #1044 = ORIENTED_EDGE('',*,*,#1045,.F.);
  1103. #1045 = EDGE_CURVE('',#1046,#920,#1048,.T.);
  1104. #1046 = VERTEX_POINT('',#1047);
  1105. #1047 = CARTESIAN_POINT('',(40.,16.5,6.));
  1106. #1048 = LINE('',#1049,#1050);
  1107. #1049 = CARTESIAN_POINT('',(-0.5,16.5,6.));
  1108. #1050 = VECTOR('',#1051,1.);
  1109. #1051 = DIRECTION('',(-1.,0.,0.));
  1110. #1052 = ORIENTED_EDGE('',*,*,#1053,.F.);
  1111. #1053 = EDGE_CURVE('',#1054,#1046,#1056,.T.);
  1112. #1054 = VERTEX_POINT('',#1055);
  1113. #1055 = CARTESIAN_POINT('',(40.,14.5,6.));
  1114. #1056 = LINE('',#1057,#1058);
  1115. #1057 = CARTESIAN_POINT('',(40.,7.25,6.));
  1116. #1058 = VECTOR('',#1059,1.);
  1117. #1059 = DIRECTION('',(0.,1.,0.));
  1118. #1060 = ORIENTED_EDGE('',*,*,#1061,.T.);
  1119. #1061 = EDGE_CURVE('',#1054,#944,#1062,.T.);
  1120. #1062 = LINE('',#1063,#1064);
  1121. #1063 = CARTESIAN_POINT('',(-0.5,14.5,6.));
  1122. #1064 = VECTOR('',#1065,1.);
  1123. #1065 = DIRECTION('',(-1.,0.,0.));
  1124. #1066 = ORIENTED_EDGE('',*,*,#951,.F.);
  1125. #1067 = ORIENTED_EDGE('',*,*,#1068,.F.);
  1126. #1068 = EDGE_CURVE('',#1069,#952,#1071,.T.);
  1127. #1069 = VERTEX_POINT('',#1070);
  1128. #1070 = CARTESIAN_POINT('',(40.,13.5,6.));
  1129. #1071 = LINE('',#1072,#1073);
  1130. #1072 = CARTESIAN_POINT('',(-0.5,13.5,6.));
  1131. #1073 = VECTOR('',#1074,1.);
  1132. #1074 = DIRECTION('',(-1.,0.,0.));
  1133. #1075 = ORIENTED_EDGE('',*,*,#1076,.F.);
  1134. #1076 = EDGE_CURVE('',#1077,#1069,#1079,.T.);
  1135. #1077 = VERTEX_POINT('',#1078);
  1136. #1078 = CARTESIAN_POINT('',(40.,11.5,6.));
  1137. #1079 = LINE('',#1080,#1081);
  1138. #1080 = CARTESIAN_POINT('',(40.,5.75,6.));
  1139. #1081 = VECTOR('',#1082,1.);
  1140. #1082 = DIRECTION('',(0.,1.,0.));
  1141. #1083 = ORIENTED_EDGE('',*,*,#1084,.T.);
  1142. #1084 = EDGE_CURVE('',#1077,#976,#1085,.T.);
  1143. #1085 = LINE('',#1086,#1087);
  1144. #1086 = CARTESIAN_POINT('',(-0.5,11.5,6.));
  1145. #1087 = VECTOR('',#1088,1.);
  1146. #1088 = DIRECTION('',(-1.,0.,0.));
  1147. #1089 = ORIENTED_EDGE('',*,*,#983,.F.);
  1148. #1090 = ORIENTED_EDGE('',*,*,#1091,.F.);
  1149. #1091 = EDGE_CURVE('',#1092,#984,#1094,.T.);
  1150. #1092 = VERTEX_POINT('',#1093);
  1151. #1093 = CARTESIAN_POINT('',(40.,10.5,6.));
  1152. #1094 = LINE('',#1095,#1096);
  1153. #1095 = CARTESIAN_POINT('',(-0.5,10.5,6.));
  1154. #1096 = VECTOR('',#1097,1.);
  1155. #1097 = DIRECTION('',(-1.,0.,0.));
  1156. #1098 = ORIENTED_EDGE('',*,*,#1099,.F.);
  1157. #1099 = EDGE_CURVE('',#1100,#1092,#1102,.T.);
  1158. #1100 = VERTEX_POINT('',#1101);
  1159. #1101 = CARTESIAN_POINT('',(40.,8.5,6.));
  1160. #1102 = LINE('',#1103,#1104);
  1161. #1103 = CARTESIAN_POINT('',(40.,4.25,6.));
  1162. #1104 = VECTOR('',#1105,1.);
  1163. #1105 = DIRECTION('',(0.,1.,0.));
  1164. #1106 = ORIENTED_EDGE('',*,*,#1107,.T.);
  1165. #1107 = EDGE_CURVE('',#1100,#24,#1108,.T.);
  1166. #1108 = LINE('',#1109,#1110);
  1167. #1109 = CARTESIAN_POINT('',(-0.5,8.5,6.));
  1168. #1110 = VECTOR('',#1111,1.);
  1169. #1111 = DIRECTION('',(-1.,0.,0.));
  1170. #1112 = FACE_BOUND('',#1113,.T.);
  1171. #1113 = EDGE_LOOP('',(#1114,#1124,#1132,#1140,#1148,#1156,#1164,#1172,
  1172. #1180,#1188,#1196,#1204,#1212,#1220,#1228,#1236,#1244,#1252,#1260,
  1173. #1268,#1276,#1284,#1292,#1300,#1308,#1316,#1324,#1332,#1340,#1348,
  1174. #1356,#1364,#1372,#1380,#1388,#1396,#1404,#1412,#1420,#1428));
  1175. #1114 = ORIENTED_EDGE('',*,*,#1115,.T.);
  1176. #1115 = EDGE_CURVE('',#1116,#1118,#1120,.T.);
  1177. #1116 = VERTEX_POINT('',#1117);
  1178. #1117 = CARTESIAN_POINT('',(10.377641290738,4.772542485937,6.));
  1179. #1118 = VERTEX_POINT('',#1119);
  1180. #1119 = CARTESIAN_POINT('',(10.469220851488,4.391086162601,6.));
  1181. #1120 = LINE('',#1121,#1122);
  1182. #1121 = CARTESIAN_POINT('',(10.682329509417,3.503424718725,6.));
  1183. #1122 = VECTOR('',#1123,1.);
  1184. #1123 = DIRECTION('',(0.233445363856,-0.972369920398,0.));
  1185. #1124 = ORIENTED_EDGE('',*,*,#1125,.T.);
  1186. #1125 = EDGE_CURVE('',#1118,#1126,#1128,.T.);
  1187. #1126 = VERTEX_POINT('',#1127);
  1188. #1127 = CARTESIAN_POINT('',(10.5,4.,6.));
  1189. #1128 = LINE('',#1129,#1130);
  1190. #1129 = CARTESIAN_POINT('',(10.624116359102,2.422952130135,6.));
  1191. #1130 = VECTOR('',#1131,1.);
  1192. #1131 = DIRECTION('',(7.845909572784E-02,-0.996917333733,0.));
  1193. #1132 = ORIENTED_EDGE('',*,*,#1133,.T.);
  1194. #1133 = EDGE_CURVE('',#1126,#1134,#1136,.T.);
  1195. #1134 = VERTEX_POINT('',#1135);
  1196. #1135 = CARTESIAN_POINT('',(10.469220851488,3.608913837399,6.));
  1197. #1136 = LINE('',#1137,#1138);
  1198. #1137 = CARTESIAN_POINT('',(10.295857854766,1.406128107374,6.));
  1199. #1138 = VECTOR('',#1139,1.);
  1200. #1139 = DIRECTION('',(-7.845909572784E-02,-0.996917333733,0.));
  1201. #1140 = ORIENTED_EDGE('',*,*,#1141,.T.);
  1202. #1141 = EDGE_CURVE('',#1134,#1142,#1144,.T.);
  1203. #1142 = VERTEX_POINT('',#1143);
  1204. #1143 = CARTESIAN_POINT('',(10.377641290738,3.227457514063,6.));
  1205. #1144 = LINE('',#1145,#1146);
  1206. #1145 = CARTESIAN_POINT('',(9.728558729563,0.523834071229,6.));
  1207. #1146 = VECTOR('',#1147,1.);
  1208. #1147 = DIRECTION('',(-0.233445363856,-0.972369920398,0.));
  1209. #1148 = ORIENTED_EDGE('',*,*,#1149,.T.);
  1210. #1149 = EDGE_CURVE('',#1142,#1150,#1152,.T.);
  1211. #1150 = VERTEX_POINT('',#1151);
  1212. #1151 = CARTESIAN_POINT('',(10.227516310471,2.865023750651,6.));
  1213. #1152 = LINE('',#1153,#1154);
  1214. #1153 = CARTESIAN_POINT('',(8.972154336724,-0.165688152056,6.));
  1215. #1154 = VECTOR('',#1155,1.);
  1216. #1155 = DIRECTION('',(-0.382683432365,-0.923879532511,0.));
  1217. #1156 = ORIENTED_EDGE('',*,*,#1157,.T.);
  1218. #1157 = EDGE_CURVE('',#1150,#1158,#1160,.T.);
  1219. #1158 = VERTEX_POINT('',#1159);
  1220. #1159 = CARTESIAN_POINT('',(10.022542485937,2.530536869269,6.));
  1221. #1160 = LINE('',#1161,#1162);
  1222. #1161 = CARTESIAN_POINT('',(8.090760417361,-0.621844958502,6.));
  1223. #1162 = VECTOR('',#1163,1.);
  1224. #1163 = DIRECTION('',(-0.522498564716,-0.852640164354,0.));
  1225. #1164 = ORIENTED_EDGE('',*,*,#1165,.T.);
  1226. #1165 = EDGE_CURVE('',#1158,#1166,#1168,.T.);
  1227. #1166 = VERTEX_POINT('',#1167);
  1228. #1167 = CARTESIAN_POINT('',(9.767766952966,2.232233047034,6.));
  1229. #1168 = LINE('',#1169,#1170);
  1230. #1169 = CARTESIAN_POINT('',(7.156641425694,-0.825002143638,6.));
  1231. #1170 = VECTOR('',#1171,1.);
  1232. #1171 = DIRECTION('',(-0.64944804833,-0.7604059656,0.));
  1233. #1172 = ORIENTED_EDGE('',*,*,#1173,.T.);
  1234. #1173 = EDGE_CURVE('',#1166,#1174,#1176,.T.);
  1235. #1174 = VERTEX_POINT('',#1175);
  1236. #1175 = CARTESIAN_POINT('',(9.469463130731,1.977457514063,6.));
  1237. #1176 = LINE('',#1177,#1178);
  1238. #1177 = CARTESIAN_POINT('',(6.243481815614,-0.777790818845,6.));
  1239. #1178 = VECTOR('',#1179,1.);
  1240. #1179 = DIRECTION('',(-0.7604059656,-0.64944804833,0.));
  1241. #1180 = ORIENTED_EDGE('',*,*,#1181,.T.);
  1242. #1181 = EDGE_CURVE('',#1174,#1182,#1184,.T.);
  1243. #1182 = VERTEX_POINT('',#1183);
  1244. #1183 = CARTESIAN_POINT('',(9.134976249349,1.772483689529,6.));
  1245. #1184 = LINE('',#1185,#1186);
  1246. #1185 = CARTESIAN_POINT('',(5.419610446027,-0.504295402975,6.));
  1247. #1186 = VECTOR('',#1187,1.);
  1248. #1187 = DIRECTION('',(-0.852640164354,-0.522498564716,0.));
  1249. #1188 = ORIENTED_EDGE('',*,*,#1189,.T.);
  1250. #1189 = EDGE_CURVE('',#1182,#1190,#1192,.T.);
  1251. #1190 = VERTEX_POINT('',#1191);
  1252. #1191 = CARTESIAN_POINT('',(8.772542485937,1.622358709262,6.));
  1253. #1192 = LINE('',#1193,#1194);
  1254. #1193 = CARTESIAN_POINT('',(4.741830583231,-4.721682685769E-02,6.));
  1255. #1194 = VECTOR('',#1195,1.);
  1256. #1195 = DIRECTION('',(-0.923879532511,-0.382683432365,0.));
  1257. #1196 = ORIENTED_EDGE('',*,*,#1197,.T.);
  1258. #1197 = EDGE_CURVE('',#1190,#1198,#1200,.T.);
  1259. #1198 = VERTEX_POINT('',#1199);
  1260. #1199 = CARTESIAN_POINT('',(8.391086162601,1.530779148512,6.));
  1261. #1200 = LINE('',#1201,#1202);
  1262. #1201 = CARTESIAN_POINT('',(4.250446695318,0.536699563409,6.));
  1263. #1202 = VECTOR('',#1203,1.);
  1264. #1203 = DIRECTION('',(-0.972369920398,-0.233445363856,0.));
  1265. #1204 = ORIENTED_EDGE('',*,*,#1205,.T.);
  1266. #1205 = EDGE_CURVE('',#1198,#1206,#1208,.T.);
  1267. #1206 = VERTEX_POINT('',#1207);
  1268. #1207 = CARTESIAN_POINT('',(8.,1.5,6.));
  1269. #1208 = LINE('',#1209,#1210);
  1270. #1209 = CARTESIAN_POINT('',(3.96596039442,1.182514197643,6.));
  1271. #1210 = VECTOR('',#1211,1.);
  1272. #1211 = DIRECTION('',(-0.996917333733,-7.845909572785E-02,0.));
  1273. #1212 = ORIENTED_EDGE('',*,*,#1213,.T.);
  1274. #1213 = EDGE_CURVE('',#1206,#1214,#1216,.T.);
  1275. #1214 = VERTEX_POINT('',#1215);
  1276. #1215 = CARTESIAN_POINT('',(7.608913837399,1.530779148512,6.));
  1277. #1216 = LINE('',#1217,#1218);
  1278. #1217 = CARTESIAN_POINT('',(3.8877431619,1.82364163206,6.));
  1279. #1218 = VECTOR('',#1219,1.);
  1280. #1219 = DIRECTION('',(-0.996917333733,7.845909572785E-02,0.));
  1281. #1220 = ORIENTED_EDGE('',*,*,#1221,.T.);
  1282. #1221 = EDGE_CURVE('',#1214,#1222,#1224,.T.);
  1283. #1222 = VERTEX_POINT('',#1223);
  1284. #1223 = CARTESIAN_POINT('',(7.227457514063,1.622358709262,6.));
  1285. #1224 = LINE('',#1225,#1226);
  1286. #1225 = CARTESIAN_POINT('',(3.99479904626,2.398451342742,6.));
  1287. #1226 = VECTOR('',#1227,1.);
  1288. #1227 = DIRECTION('',(-0.972369920398,0.233445363856,0.));
  1289. #1228 = ORIENTED_EDGE('',*,*,#1229,.T.);
  1290. #1229 = EDGE_CURVE('',#1222,#1230,#1232,.T.);
  1291. #1230 = VERTEX_POINT('',#1231);
  1292. #1231 = CARTESIAN_POINT('',(6.865023750651,1.772483689529,6.));
  1293. #1232 = LINE('',#1233,#1234);
  1294. #1233 = CARTESIAN_POINT('',(4.248525410317,2.856272788022,6.));
  1295. #1234 = VECTOR('',#1235,1.);
  1296. #1235 = DIRECTION('',(-0.923879532511,0.382683432365,0.));
  1297. #1236 = ORIENTED_EDGE('',*,*,#1237,.T.);
  1298. #1237 = EDGE_CURVE('',#1230,#1238,#1240,.T.);
  1299. #1238 = VERTEX_POINT('',#1239);
  1300. #1239 = CARTESIAN_POINT('',(6.530536869269,1.977457514063,6.));
  1301. #1240 = LINE('',#1241,#1242);
  1302. #1241 = CARTESIAN_POINT('',(4.597184114324,3.162217606046,6.));
  1303. #1242 = VECTOR('',#1243,1.);
  1304. #1243 = DIRECTION('',(-0.852640164354,0.522498564716,0.));
  1305. #1244 = ORIENTED_EDGE('',*,*,#1245,.T.);
  1306. #1245 = EDGE_CURVE('',#1238,#1246,#1248,.T.);
  1307. #1246 = VERTEX_POINT('',#1247);
  1308. #1247 = CARTESIAN_POINT('',(6.232233047034,2.232233047034,6.));
  1309. #1248 = LINE('',#1249,#1250);
  1310. #1249 = CARTESIAN_POINT('',(4.981628413107,3.300350310021,6.));
  1311. #1250 = VECTOR('',#1251,1.);
  1312. #1251 = DIRECTION('',(-0.7604059656,0.64944804833,0.));
  1313. #1252 = ORIENTED_EDGE('',*,*,#1253,.T.);
  1314. #1253 = EDGE_CURVE('',#1246,#1254,#1256,.T.);
  1315. #1254 = VERTEX_POINT('',#1255);
  1316. #1255 = CARTESIAN_POINT('',(5.977457514063,2.530536869269,6.));
  1317. #1256 = LINE('',#1257,#1258);
  1318. #1257 = CARTESIAN_POINT('',(5.341708667981,3.27490312986,6.));
  1319. #1258 = VECTOR('',#1259,1.);
  1320. #1259 = DIRECTION('',(-0.64944804833,0.7604059656,0.));
  1321. #1260 = ORIENTED_EDGE('',*,*,#1261,.T.);
  1322. #1261 = EDGE_CURVE('',#1254,#1262,#1264,.T.);
  1323. #1262 = VERTEX_POINT('',#1263);
  1324. #1263 = CARTESIAN_POINT('',(5.772483689529,2.865023750651,6.));
  1325. #1264 = LINE('',#1265,#1266);
  1326. #1265 = CARTESIAN_POINT('',(5.62271466933,3.109424578943,6.));
  1327. #1266 = VECTOR('',#1267,1.);
  1328. #1267 = DIRECTION('',(-0.522498564716,0.852640164354,0.));
  1329. #1268 = ORIENTED_EDGE('',*,*,#1269,.T.);
  1330. #1269 = EDGE_CURVE('',#1262,#1270,#1272,.T.);
  1331. #1270 = VERTEX_POINT('',#1271);
  1332. #1271 = CARTESIAN_POINT('',(5.622358709262,3.227457514063,6.));
  1333. #1272 = LINE('',#1273,#1274);
  1334. #1273 = CARTESIAN_POINT('',(5.781210297888,2.843955854396,6.));
  1335. #1274 = VECTOR('',#1275,1.);
  1336. #1275 = DIRECTION('',(-0.382683432365,0.923879532511,0.));
  1337. #1276 = ORIENTED_EDGE('',*,*,#1277,.T.);
  1338. #1277 = EDGE_CURVE('',#1270,#1278,#1280,.T.);
  1339. #1278 = VERTEX_POINT('',#1279);
  1340. #1279 = CARTESIAN_POINT('',(5.530779148512,3.608913837399,6.));
  1341. #1280 = LINE('',#1281,#1282);
  1342. #1281 = CARTESIAN_POINT('',(5.789677586816,2.530524231856,6.));
  1343. #1282 = VECTOR('',#1283,1.);
  1344. #1283 = DIRECTION('',(-0.233445363856,0.972369920398,0.));
  1345. #1284 = ORIENTED_EDGE('',*,*,#1285,.T.);
  1346. #1285 = EDGE_CURVE('',#1278,#1286,#1288,.T.);
  1347. #1286 = VERTEX_POINT('',#1287);
  1348. #1287 = CARTESIAN_POINT('',(5.5,4.,6.));
  1349. #1288 = LINE('',#1289,#1290);
  1350. #1289 = CARTESIAN_POINT('',(5.639505933359,2.227409048835,6.));
  1351. #1290 = VECTOR('',#1291,1.);
  1352. #1291 = DIRECTION('',(-7.845909572785E-02,0.996917333733,0.));
  1353. #1292 = ORIENTED_EDGE('',*,*,#1293,.T.);
  1354. #1293 = EDGE_CURVE('',#1286,#1294,#1296,.T.);
  1355. #1294 = VERTEX_POINT('',#1295);
  1356. #1295 = CARTESIAN_POINT('',(5.530779148512,4.391086162601,6.));
  1357. #1296 = LINE('',#1297,#1298);
  1358. #1297 = CARTESIAN_POINT('',(5.342026577534,1.992757351275,6.));
  1359. #1298 = VECTOR('',#1299,1.);
  1360. #1299 = DIRECTION('',(7.845909572785E-02,0.996917333733,0.));
  1361. #1300 = ORIENTED_EDGE('',*,*,#1301,.T.);
  1362. #1301 = EDGE_CURVE('',#1294,#1302,#1304,.T.);
  1363. #1302 = VERTEX_POINT('',#1303);
  1364. #1303 = CARTESIAN_POINT('',(5.622358709262,4.772542485937,6.));
  1365. #1304 = LINE('',#1305,#1306);
  1366. #1305 = CARTESIAN_POINT('',(4.927486367712,1.878190881436,6.));
  1367. #1306 = VECTOR('',#1307,1.);
  1368. #1307 = DIRECTION('',(0.233445363856,0.972369920398,0.));
  1369. #1308 = ORIENTED_EDGE('',*,*,#1309,.T.);
  1370. #1309 = EDGE_CURVE('',#1302,#1310,#1312,.T.);
  1371. #1310 = VERTEX_POINT('',#1311);
  1372. #1311 = CARTESIAN_POINT('',(5.772483689529,5.134976249349,6.));
  1373. #1312 = LINE('',#1313,#1314);
  1374. #1313 = CARTESIAN_POINT('',(4.442059225649,1.923047464936,6.));
  1375. #1314 = VECTOR('',#1315,1.);
  1376. #1315 = DIRECTION('',(0.382683432365,0.923879532511,0.));
  1377. #1316 = ORIENTED_EDGE('',*,*,#1317,.T.);
  1378. #1317 = EDGE_CURVE('',#1310,#1318,#1320,.T.);
  1379. #1318 = VERTEX_POINT('',#1319);
  1380. #1319 = CARTESIAN_POINT('',(5.977457514063,5.469463130731,6.));
  1381. #1320 = LINE('',#1321,#1322);
  1382. #1321 = CARTESIAN_POINT('',(3.94318853322,2.149837862269,6.));
  1383. #1322 = VECTOR('',#1323,1.);
  1384. #1323 = DIRECTION('',(0.522498564716,0.852640164354,0.));
  1385. #1324 = ORIENTED_EDGE('',*,*,#1325,.T.);
  1386. #1325 = EDGE_CURVE('',#1318,#1326,#1328,.T.);
  1387. #1326 = VERTEX_POINT('',#1327);
  1388. #1327 = CARTESIAN_POINT('',(6.232233047034,5.767766952966,6.));
  1389. #1328 = LINE('',#1329,#1330);
  1390. #1329 = CARTESIAN_POINT('',(3.493719753276,2.561379851177,6.));
  1391. #1330 = VECTOR('',#1331,1.);
  1392. #1331 = DIRECTION('',(0.64944804833,0.7604059656,0.));
  1393. #1332 = ORIENTED_EDGE('',*,*,#1333,.T.);
  1394. #1333 = EDGE_CURVE('',#1326,#1334,#1336,.T.);
  1395. #1334 = VERTEX_POINT('',#1335);
  1396. #1335 = CARTESIAN_POINT('',(6.530536869269,6.022542485937,6.));
  1397. #1336 = LINE('',#1337,#1338);
  1398. #1337 = CARTESIAN_POINT('',(3.155403643034,3.139906386545,6.));
  1399. #1338 = VECTOR('',#1339,1.);
  1400. #1339 = DIRECTION('',(0.7604059656,0.64944804833,0.));
  1401. #1340 = ORIENTED_EDGE('',*,*,#1341,.T.);
  1402. #1341 = EDGE_CURVE('',#1334,#1342,#1344,.T.);
  1403. #1342 = VERTEX_POINT('',#1343);
  1404. #1343 = CARTESIAN_POINT('',(6.865023750651,6.227516310471,6.));
  1405. #1344 = LINE('',#1345,#1346);
  1406. #1345 = CARTESIAN_POINT('',(2.982414506638,3.8482503057,6.));
  1407. #1346 = VECTOR('',#1347,1.);
  1408. #1347 = DIRECTION('',(0.852640164354,0.522498564716,0.));
  1409. #1348 = ORIENTED_EDGE('',*,*,#1349,.T.);
  1410. #1349 = EDGE_CURVE('',#1342,#1350,#1352,.T.);
  1411. #1350 = VERTEX_POINT('',#1351);
  1412. #1351 = CARTESIAN_POINT('',(7.227457514063,6.377641290738,6.));
  1413. #1352 = LINE('',#1353,#1354);
  1414. #1353 = CARTESIAN_POINT('',(3.01552872965,4.633003264485,6.));
  1415. #1354 = VECTOR('',#1355,1.);
  1416. #1355 = DIRECTION('',(0.923879532511,0.382683432365,0.));
  1417. #1356 = ORIENTED_EDGE('',*,*,#1357,.T.);
  1418. #1357 = EDGE_CURVE('',#1350,#1358,#1360,.T.);
  1419. #1358 = VERTEX_POINT('',#1359);
  1420. #1359 = CARTESIAN_POINT('',(7.608913837399,6.469220851488,6.));
  1421. #1360 = LINE('',#1361,#1362);
  1422. #1361 = CARTESIAN_POINT('',(3.277546208449,5.42935148601,6.));
  1423. #1362 = VECTOR('',#1363,1.);
  1424. #1363 = DIRECTION('',(0.972369920398,0.233445363856,0.));
  1425. #1364 = ORIENTED_EDGE('',*,*,#1365,.T.);
  1426. #1365 = EDGE_CURVE('',#1358,#1366,#1368,.T.);
  1427. #1366 = VERTEX_POINT('',#1367);
  1428. #1367 = CARTESIAN_POINT('',(8.,6.5,6.));
  1429. #1368 = LINE('',#1369,#1370);
  1430. #1369 = CARTESIAN_POINT('',(3.770417313119,6.167124623387,6.));
  1431. #1370 = VECTOR('',#1371,1.);
  1432. #1371 = DIRECTION('',(0.996917333733,7.845909572785E-02,0.));
  1433. #1372 = ORIENTED_EDGE('',*,*,#1373,.T.);
  1434. #1373 = EDGE_CURVE('',#1366,#1374,#1376,.T.);
  1435. #1374 = VERTEX_POINT('',#1375);
  1436. #1375 = CARTESIAN_POINT('',(8.391086162601,6.469220851488,6.));
  1437. #1376 = LINE('',#1377,#1378);
  1438. #1377 = CARTESIAN_POINT('',(4.4743724058,6.777472909291,6.));
  1439. #1378 = VECTOR('',#1379,1.);
  1440. #1379 = DIRECTION('',(0.996917333733,-7.845909572785E-02,0.));
  1441. #1380 = ORIENTED_EDGE('',*,*,#1381,.T.);
  1442. #1381 = EDGE_CURVE('',#1374,#1382,#1384,.T.);
  1443. #1382 = VERTEX_POINT('',#1383);
  1444. #1383 = CARTESIAN_POINT('',(8.772542485937,6.377641290738,6.));
  1445. #1384 = LINE('',#1385,#1386);
  1446. #1385 = CARTESIAN_POINT('',(5.349155856466,7.199523704593,6.));
  1447. #1386 = VECTOR('',#1387,1.);
  1448. #1387 = DIRECTION('',(0.972369920398,-0.233445363856,0.));
  1449. #1388 = ORIENTED_EDGE('',*,*,#1389,.T.);
  1450. #1389 = EDGE_CURVE('',#1382,#1390,#1392,.T.);
  1451. #1390 = VERTEX_POINT('',#1391);
  1452. #1391 = CARTESIAN_POINT('',(9.134976249349,6.227516310471,6.));
  1453. #1392 = LINE('',#1393,#1394);
  1454. #1393 = CARTESIAN_POINT('',(6.337261027309,7.386367899097,6.));
  1455. #1394 = VECTOR('',#1395,1.);
  1456. #1395 = DIRECTION('',(0.923879532511,-0.382683432365,0.));
  1457. #1396 = ORIENTED_EDGE('',*,*,#1397,.T.);
  1458. #1397 = EDGE_CURVE('',#1390,#1398,#1400,.T.);
  1459. #1398 = VERTEX_POINT('',#1399);
  1460. #1399 = CARTESIAN_POINT('',(9.469463130731,6.022542485937,6.));
  1461. #1400 = LINE('',#1401,#1402);
  1462. #1401 = CARTESIAN_POINT('',(7.368866935095,7.309789490187,6.));
  1463. #1402 = VECTOR('',#1403,1.);
  1464. #1403 = DIRECTION('',(0.852640164354,-0.522498564716,0.));
  1465. #1404 = ORIENTED_EDGE('',*,*,#1405,.T.);
  1466. #1405 = EDGE_CURVE('',#1398,#1406,#1408,.T.);
  1467. #1406 = VERTEX_POINT('',#1407);
  1468. #1407 = CARTESIAN_POINT('',(9.767766952966,5.767766952966,6.));
  1469. #1408 = LINE('',#1409,#1410);
  1470. #1409 = CARTESIAN_POINT('',(8.368010407922,6.96327198244,6.));
  1471. #1410 = VECTOR('',#1411,1.);
  1472. #1411 = DIRECTION('',(0.7604059656,-0.64944804833,0.));
  1473. #1412 = ORIENTED_EDGE('',*,*,#1413,.T.);
  1474. #1413 = EDGE_CURVE('',#1406,#1414,#1416,.T.);
  1475. #1414 = VERTEX_POINT('',#1415);
  1476. #1415 = CARTESIAN_POINT('',(10.022542485937,5.469463130731,6.));
  1477. #1416 = LINE('',#1417,#1418);
  1478. #1417 = CARTESIAN_POINT('',(9.25940587337,6.36298130244,6.));
  1479. #1418 = VECTOR('',#1419,1.);
  1480. #1419 = DIRECTION('',(0.64944804833,-0.7604059656,0.));
  1481. #1420 = ORIENTED_EDGE('',*,*,#1421,.T.);
  1482. #1421 = EDGE_CURVE('',#1414,#1422,#1424,.T.);
  1483. #1422 = VERTEX_POINT('',#1423);
  1484. #1423 = CARTESIAN_POINT('',(10.227516310471,5.134976249349,6.));
  1485. #1424 = LINE('',#1425,#1426);
  1486. #1425 = CARTESIAN_POINT('',(9.975260378005,5.546620518332,6.));
  1487. #1426 = VECTOR('',#1427,1.);
  1488. #1427 = DIRECTION('',(0.522498564716,-0.852640164354,0.));
  1489. #1428 = ORIENTED_EDGE('',*,*,#1429,.T.);
  1490. #1429 = EDGE_CURVE('',#1422,#1116,#1430,.T.);
  1491. #1430 = LINE('',#1431,#1432);
  1492. #1431 = CARTESIAN_POINT('',(10.461430389231,4.570257707977,6.));
  1493. #1432 = VECTOR('',#1433,1.);
  1494. #1433 = DIRECTION('',(0.382683432365,-0.923879532511,0.));
  1495. #1434 = FACE_BOUND('',#1435,.T.);
  1496. #1435 = EDGE_LOOP('',(#1436,#1446,#1454,#1462,#1470,#1478,#1486,#1494,
  1497. #1502,#1510,#1518,#1526,#1534,#1542,#1550,#1558,#1566,#1574,#1582,
  1498. #1590,#1598,#1606,#1614,#1622,#1630,#1638,#1646,#1654,#1662,#1670,
  1499. #1678,#1686,#1694,#1702,#1710,#1718,#1726,#1734,#1742,#1750));
  1500. #1436 = ORIENTED_EDGE('',*,*,#1437,.T.);
  1501. #1437 = EDGE_CURVE('',#1438,#1440,#1442,.T.);
  1502. #1438 = VERTEX_POINT('',#1439);
  1503. #1439 = CARTESIAN_POINT('',(46.127641290738,14.772542485937,6.));
  1504. #1440 = VERTEX_POINT('',#1441);
  1505. #1441 = CARTESIAN_POINT('',(46.219220851488,14.391086162601,6.));
  1506. #1442 = LINE('',#1443,#1444);
  1507. #1443 = CARTESIAN_POINT('',(46.593176568699,12.833448499677,6.));
  1508. #1444 = VECTOR('',#1445,1.);
  1509. #1445 = DIRECTION('',(0.233445363856,-0.972369920398,0.));
  1510. #1446 = ORIENTED_EDGE('',*,*,#1447,.T.);
  1511. #1447 = EDGE_CURVE('',#1440,#1448,#1450,.T.);
  1512. #1448 = VERTEX_POINT('',#1449);
  1513. #1449 = CARTESIAN_POINT('',(46.25,14.,6.));
  1514. #1450 = LINE('',#1451,#1452);
  1515. #1451 = CARTESIAN_POINT('',(46.655167065772,8.851864309945,6.));
  1516. #1452 = VECTOR('',#1453,1.);
  1517. #1453 = DIRECTION('',(7.845909572784E-02,-0.996917333733,0.));
  1518. #1454 = ORIENTED_EDGE('',*,*,#1455,.T.);
  1519. #1455 = EDGE_CURVE('',#1448,#1456,#1458,.T.);
  1520. #1456 = VERTEX_POINT('',#1457);
  1521. #1457 = CARTESIAN_POINT('',(46.219220851488,13.608913837399,6.));
  1522. #1458 = LINE('',#1459,#1460);
  1523. #1459 = CARTESIAN_POINT('',(45.544736236234,5.038774224589,6.));
  1524. #1460 = VECTOR('',#1461,1.);
  1525. #1461 = DIRECTION('',(-7.845909572784E-02,-0.996917333733,0.));
  1526. #1462 = ORIENTED_EDGE('',*,*,#1463,.T.);
  1527. #1463 = EDGE_CURVE('',#1456,#1464,#1466,.T.);
  1528. #1464 = VERTEX_POINT('',#1465);
  1529. #1465 = CARTESIAN_POINT('',(46.127641290738,13.227457514063,6.));
  1530. #1466 = LINE('',#1467,#1468);
  1531. #1467 = CARTESIAN_POINT('',(43.369453290147,1.738777669336,6.));
  1532. #1468 = VECTOR('',#1469,1.);
  1533. #1469 = DIRECTION('',(-0.233445363856,-0.972369920398,0.));
  1534. #1470 = ORIENTED_EDGE('',*,*,#1471,.T.);
  1535. #1471 = EDGE_CURVE('',#1464,#1472,#1474,.T.);
  1536. #1472 = VERTEX_POINT('',#1473);
  1537. #1473 = CARTESIAN_POINT('',(45.977516310471,12.865023750651,6.));
  1538. #1474 = LINE('',#1475,#1476);
  1539. #1475 = CARTESIAN_POINT('',(40.336654240613,-0.753221961877,6.));
  1540. #1476 = VECTOR('',#1477,1.);
  1541. #1477 = DIRECTION('',(-0.382683432365,-0.923879532511,0.));
  1542. #1478 = ORIENTED_EDGE('',*,*,#1479,.T.);
  1543. #1479 = EDGE_CURVE('',#1472,#1480,#1482,.T.);
  1544. #1480 = VERTEX_POINT('',#1481);
  1545. #1481 = CARTESIAN_POINT('',(45.772542485937,12.530536869269,6.));
  1546. #1482 = LINE('',#1483,#1484);
  1547. #1483 = CARTESIAN_POINT('',(36.733284198313,-2.220192017784,6.));
  1548. #1484 = VECTOR('',#1485,1.);
  1549. #1485 = DIRECTION('',(-0.522498564716,-0.852640164354,0.));
  1550. #1486 = ORIENTED_EDGE('',*,*,#1487,.T.);
  1551. #1487 = EDGE_CURVE('',#1480,#1488,#1490,.T.);
  1552. #1488 = VERTEX_POINT('',#1489);
  1553. #1489 = CARTESIAN_POINT('',(45.517766952966,12.232233047034,6.));
  1554. #1490 = LINE('',#1491,#1492);
  1555. #1491 = CARTESIAN_POINT('',(32.898053605504,-2.543552850308,6.));
  1556. #1492 = VECTOR('',#1493,1.);
  1557. #1493 = DIRECTION('',(-0.64944804833,-0.7604059656,0.));
  1558. #1494 = ORIENTED_EDGE('',*,*,#1495,.T.);
  1559. #1495 = EDGE_CURVE('',#1488,#1496,#1498,.T.);
  1560. #1496 = VERTEX_POINT('',#1497);
  1561. #1497 = CARTESIAN_POINT('',(45.219463130731,11.977457514063,6.));
  1562. #1498 = LINE('',#1499,#1500);
  1563. #1499 = CARTESIAN_POINT('',(29.188627932829,-1.714169200313,6.));
  1564. #1500 = VECTOR('',#1501,1.);
  1565. #1501 = DIRECTION('',(-0.7604059656,-0.64944804833,0.));
  1566. #1502 = ORIENTED_EDGE('',*,*,#1503,.T.);
  1567. #1503 = EDGE_CURVE('',#1496,#1504,#1506,.T.);
  1568. #1504 = VERTEX_POINT('',#1505);
  1569. #1505 = CARTESIAN_POINT('',(44.884976249349,11.772483689529,6.));
  1570. #1506 = LINE('',#1507,#1508);
  1571. #1507 = CARTESIAN_POINT('',(25.947054044134,0.167310036441,6.));
  1572. #1508 = VECTOR('',#1509,1.);
  1573. #1509 = DIRECTION('',(-0.852640164354,-0.522498564716,0.));
  1574. #1510 = ORIENTED_EDGE('',*,*,#1511,.T.);
  1575. #1511 = EDGE_CURVE('',#1504,#1512,#1514,.T.);
  1576. #1512 = VERTEX_POINT('',#1513);
  1577. #1513 = CARTESIAN_POINT('',(44.522542485937,11.622358709262,6.));
  1578. #1514 = LINE('',#1515,#1516);
  1579. #1515 = CARTESIAN_POINT('',(23.466796773409,2.900783269254,6.));
  1580. #1516 = VECTOR('',#1517,1.);
  1581. #1517 = DIRECTION('',(-0.923879532511,-0.382683432365,0.));
  1582. #1518 = ORIENTED_EDGE('',*,*,#1519,.T.);
  1583. #1519 = EDGE_CURVE('',#1512,#1520,#1522,.T.);
  1584. #1520 = VERTEX_POINT('',#1521);
  1585. #1521 = CARTESIAN_POINT('',(44.141086162601,11.530779148512,6.));
  1586. #1522 = LINE('',#1523,#1524);
  1587. #1523 = CARTESIAN_POINT('',(21.964599636036,6.206675782458,6.));
  1588. #1524 = VECTOR('',#1525,1.);
  1589. #1525 = DIRECTION('',(-0.972369920398,-0.233445363856,0.));
  1590. #1526 = ORIENTED_EDGE('',*,*,#1527,.T.);
  1591. #1527 = EDGE_CURVE('',#1520,#1528,#1530,.T.);
  1592. #1528 = VERTEX_POINT('',#1529);
  1593. #1529 = CARTESIAN_POINT('',(43.75,11.5,6.));
  1594. #1530 = LINE('',#1531,#1532);
  1595. #1531 = CARTESIAN_POINT('',(21.55990968775,9.753602017833,6.));
  1596. #1532 = VECTOR('',#1533,1.);
  1597. #1533 = DIRECTION('',(-0.996917333733,-7.845909572785E-02,0.));
  1598. #1534 = ORIENTED_EDGE('',*,*,#1535,.T.);
  1599. #1535 = EDGE_CURVE('',#1528,#1536,#1538,.T.);
  1600. #1536 = VERTEX_POINT('',#1537);
  1601. #1537 = CARTESIAN_POINT('',(43.358913837399,11.530779148512,6.));
  1602. #1538 = LINE('',#1539,#1540);
  1603. #1539 = CARTESIAN_POINT('',(22.263864780431,13.190995514845,6.));
  1604. #1540 = VECTOR('',#1541,1.);
  1605. #1541 = DIRECTION('',(-0.996917333733,7.845909572785E-02,0.));
  1606. #1542 = ORIENTED_EDGE('',*,*,#1543,.T.);
  1607. #1543 = EDGE_CURVE('',#1536,#1544,#1546,.T.);
  1608. #1544 = VERTEX_POINT('',#1545);
  1609. #1545 = CARTESIAN_POINT('',(42.977457514063,11.622358709262,6.));
  1610. #1546 = LINE('',#1547,#1548);
  1611. #1547 = CARTESIAN_POINT('',(23.978904485675,16.183507744635,6.));
  1612. #1548 = VECTOR('',#1549,1.);
  1613. #1549 = DIRECTION('',(-0.972369920398,0.233445363856,0.));
  1614. #1550 = ORIENTED_EDGE('',*,*,#1551,.T.);
  1615. #1551 = EDGE_CURVE('',#1544,#1552,#1554,.T.);
  1616. #1552 = VERTEX_POINT('',#1553);
  1617. #1553 = CARTESIAN_POINT('',(42.615023750651,11.772483689529,6.));
  1618. #1554 = LINE('',#1555,#1556);
  1619. #1555 = CARTESIAN_POINT('',(26.509025506429,18.443806597843,6.));
  1620. #1556 = VECTOR('',#1557,1.);
  1621. #1557 = DIRECTION('',(-0.923879532511,0.382683432365,0.));
  1622. #1558 = ORIENTED_EDGE('',*,*,#1559,.T.);
  1623. #1559 = EDGE_CURVE('',#1552,#1560,#1562,.T.);
  1624. #1560 = VERTEX_POINT('',#1561);
  1625. #1561 = CARTESIAN_POINT('',(42.280536869269,11.977457514063,6.));
  1626. #1562 = LINE('',#1563,#1564);
  1627. #1563 = CARTESIAN_POINT('',(29.579660333372,19.760564665328,6.));
  1628. #1564 = VECTOR('',#1565,1.);
  1629. #1565 = DIRECTION('',(-0.852640164354,0.522498564716,0.));
  1630. #1566 = ORIENTED_EDGE('',*,*,#1567,.T.);
  1631. #1567 = EDGE_CURVE('',#1560,#1568,#1570,.T.);
  1632. #1568 = VERTEX_POINT('',#1569);
  1633. #1569 = CARTESIAN_POINT('',(41.982233047034,12.232233047034,6.));
  1634. #1570 = LINE('',#1571,#1572);
  1635. #1571 = CARTESIAN_POINT('',(32.865216233298,20.018901016691,6.));
  1636. #1572 = VECTOR('',#1573,1.);
  1637. #1573 = DIRECTION('',(-0.7604059656,0.64944804833,0.));
  1638. #1574 = ORIENTED_EDGE('',*,*,#1575,.T.);
  1639. #1575 = EDGE_CURVE('',#1568,#1576,#1578,.T.);
  1640. #1576 = VERTEX_POINT('',#1577);
  1641. #1577 = CARTESIAN_POINT('',(41.727457514063,12.530536869269,6.));
  1642. #1578 = LINE('',#1579,#1580);
  1643. #1579 = CARTESIAN_POINT('',(36.021562550766,19.211281511329,6.));
  1644. #1580 = VECTOR('',#1581,1.);
  1645. #1581 = DIRECTION('',(-0.64944804833,0.7604059656,0.));
  1646. #1582 = ORIENTED_EDGE('',*,*,#1583,.T.);
  1647. #1583 = EDGE_CURVE('',#1576,#1584,#1586,.T.);
  1648. #1584 = VERTEX_POINT('',#1585);
  1649. #1585 = CARTESIAN_POINT('',(41.522483689529,12.865023750651,6.));
  1650. #1586 = LINE('',#1587,#1588);
  1651. #1587 = CARTESIAN_POINT('',(38.720271071223,17.437819139527,6.));
  1652. #1588 = VECTOR('',#1589,1.);
  1653. #1589 = DIRECTION('',(-0.522498564716,0.852640164354,0.));
  1654. #1590 = ORIENTED_EDGE('',*,*,#1591,.T.);
  1655. #1591 = EDGE_CURVE('',#1584,#1592,#1594,.T.);
  1656. #1592 = VERTEX_POINT('',#1593);
  1657. #1593 = CARTESIAN_POINT('',(41.372358709262,13.227457514063,6.));
  1658. #1594 = LINE('',#1595,#1596);
  1659. #1595 = CARTESIAN_POINT('',(40.68124410771,14.895955758285,6.));
  1660. #1596 = VECTOR('',#1597,1.);
  1661. #1597 = DIRECTION('',(-0.382683432365,0.923879532511,0.));
  1662. #1598 = ORIENTED_EDGE('',*,*,#1599,.T.);
  1663. #1599 = EDGE_CURVE('',#1592,#1600,#1602,.T.);
  1664. #1600 = VERTEX_POINT('',#1601);
  1665. #1601 = CARTESIAN_POINT('',(41.280779148512,13.608913837399,6.));
  1666. #1602 = LINE('',#1603,#1604);
  1667. #1603 = CARTESIAN_POINT('',(41.700524646098,11.860548012807,6.));
  1668. #1604 = VECTOR('',#1605,1.);
  1669. #1605 = DIRECTION('',(-0.233445363856,0.972369920398,0.));
  1670. #1606 = ORIENTED_EDGE('',*,*,#1607,.T.);
  1671. #1607 = EDGE_CURVE('',#1600,#1608,#1610,.T.);
  1672. #1608 = VERTEX_POINT('',#1609);
  1673. #1609 = CARTESIAN_POINT('',(41.25,14.,6.));
  1674. #1610 = LINE('',#1611,#1612);
  1675. #1611 = CARTESIAN_POINT('',(41.670556640028,8.656321228644,6.));
  1676. #1612 = VECTOR('',#1613,1.);
  1677. #1613 = DIRECTION('',(-7.845909572785E-02,0.996917333733,0.));
  1678. #1614 = ORIENTED_EDGE('',*,*,#1615,.T.);
  1679. #1615 = EDGE_CURVE('',#1608,#1616,#1618,.T.);
  1680. #1616 = VERTEX_POINT('',#1617);
  1681. #1617 = CARTESIAN_POINT('',(41.280779148512,14.391086162601,6.));
  1682. #1618 = LINE('',#1619,#1620);
  1683. #1619 = CARTESIAN_POINT('',(40.590904959003,5.62540346849,6.));
  1684. #1620 = VECTOR('',#1621,1.);
  1685. #1621 = DIRECTION('',(7.845909572785E-02,0.996917333733,0.));
  1686. #1622 = ORIENTED_EDGE('',*,*,#1623,.T.);
  1687. #1623 = EDGE_CURVE('',#1616,#1624,#1626,.T.);
  1688. #1624 = VERTEX_POINT('',#1625);
  1689. #1625 = CARTESIAN_POINT('',(41.372358709262,14.772542485937,6.));
  1690. #1626 = LINE('',#1627,#1628);
  1691. #1627 = CARTESIAN_POINT('',(38.568380928296,3.093134479543,6.));
  1692. #1628 = VECTOR('',#1629,1.);
  1693. #1629 = DIRECTION('',(0.233445363856,0.972369920398,0.));
  1694. #1630 = ORIENTED_EDGE('',*,*,#1631,.T.);
  1695. #1631 = EDGE_CURVE('',#1624,#1632,#1634,.T.);
  1696. #1632 = VERTEX_POINT('',#1633);
  1697. #1633 = CARTESIAN_POINT('',(41.522483689529,15.134976249349,6.));
  1698. #1634 = LINE('',#1635,#1636);
  1699. #1635 = CARTESIAN_POINT('',(35.806559129537,1.335513655115,6.));
  1700. #1636 = VECTOR('',#1637,1.);
  1701. #1637 = DIRECTION('',(0.382683432365,0.923879532511,0.));
  1702. #1638 = ORIENTED_EDGE('',*,*,#1639,.T.);
  1703. #1639 = EDGE_CURVE('',#1632,#1640,#1642,.T.);
  1704. #1640 = VERTEX_POINT('',#1641);
  1705. #1641 = CARTESIAN_POINT('',(41.727457514063,15.469463130731,6.));
  1706. #1642 = LINE('',#1643,#1644);
  1707. #1643 = CARTESIAN_POINT('',(32.585712314171,0.551490802987,6.));
  1708. #1644 = VECTOR('',#1645,1.);
  1709. #1645 = DIRECTION('',(0.522498564716,0.852640164354,0.));
  1710. #1646 = ORIENTED_EDGE('',*,*,#1647,.T.);
  1711. #1647 = EDGE_CURVE('',#1640,#1648,#1650,.T.);
  1712. #1648 = VERTEX_POINT('',#1649);
  1713. #1649 = CARTESIAN_POINT('',(41.982233047034,15.767766952966,6.));
  1714. #1650 = LINE('',#1651,#1652);
  1715. #1651 = CARTESIAN_POINT('',(29.235131933085,0.842829144507,6.));
  1716. #1652 = VECTOR('',#1653,1.);
  1717. #1653 = DIRECTION('',(0.64944804833,0.7604059656,0.));
  1718. #1654 = ORIENTED_EDGE('',*,*,#1655,.T.);
  1719. #1655 = EDGE_CURVE('',#1648,#1656,#1658,.T.);
  1720. #1656 = VERTEX_POINT('',#1657);
  1721. #1657 = CARTESIAN_POINT('',(42.280536869269,16.022542485937,6.));
  1722. #1658 = LINE('',#1659,#1660);
  1723. #1659 = CARTESIAN_POINT('',(26.10054976025,2.203528005076,6.));
  1724. #1660 = VECTOR('',#1661,1.);
  1725. #1661 = DIRECTION('',(0.7604059656,0.64944804833,0.));
  1726. #1662 = ORIENTED_EDGE('',*,*,#1663,.T.);
  1727. #1663 = EDGE_CURVE('',#1656,#1664,#1666,.T.);
  1728. #1664 = VERTEX_POINT('',#1665);
  1729. #1665 = CARTESIAN_POINT('',(42.615023750651,16.227516310471,6.));
  1730. #1666 = LINE('',#1667,#1668);
  1731. #1667 = CARTESIAN_POINT('',(23.509858104745,4.519855745116,6.));
  1732. #1668 = VECTOR('',#1669,1.);
  1733. #1669 = DIRECTION('',(0.852640164354,0.522498564716,0.));
  1734. #1670 = ORIENTED_EDGE('',*,*,#1671,.T.);
  1735. #1671 = EDGE_CURVE('',#1664,#1672,#1674,.T.);
  1736. #1672 = VERTEX_POINT('',#1673);
  1737. #1673 = CARTESIAN_POINT('',(42.977457514063,16.377641290738,6.));
  1738. #1674 = LINE('',#1675,#1676);
  1739. #1675 = CARTESIAN_POINT('',(21.740494919829,7.581003360596,6.));
  1740. #1676 = VECTOR('',#1677,1.);
  1741. #1677 = DIRECTION('',(0.923879532511,0.382683432365,0.));
  1742. #1678 = ORIENTED_EDGE('',*,*,#1679,.T.);
  1743. #1679 = EDGE_CURVE('',#1672,#1680,#1682,.T.);
  1744. #1680 = VERTEX_POINT('',#1681);
  1745. #1681 = CARTESIAN_POINT('',(43.358913837399,16.469220851488,6.));
  1746. #1682 = LINE('',#1683,#1684);
  1747. #1683 = CARTESIAN_POINT('',(20.991699149167,11.099327705058,6.));
  1748. #1684 = VECTOR('',#1685,1.);
  1749. #1685 = DIRECTION('',(0.972369920398,0.233445363856,0.));
  1750. #1686 = ORIENTED_EDGE('',*,*,#1687,.T.);
  1751. #1687 = EDGE_CURVE('',#1680,#1688,#1690,.T.);
  1752. #1688 = VERTEX_POINT('',#1689);
  1753. #1689 = CARTESIAN_POINT('',(43.75,16.5,6.));
  1754. #1690 = LINE('',#1691,#1692);
  1755. #1691 = CARTESIAN_POINT('',(21.36436660645,14.738212443577,6.));
  1756. #1692 = VECTOR('',#1693,1.);
  1757. #1693 = DIRECTION('',(0.996917333733,7.845909572785E-02,0.));
  1758. #1694 = ORIENTED_EDGE('',*,*,#1695,.T.);
  1759. #1695 = EDGE_CURVE('',#1688,#1696,#1698,.T.);
  1760. #1696 = VERTEX_POINT('',#1697);
  1761. #1697 = CARTESIAN_POINT('',(44.141086162601,16.469220851488,6.));
  1762. #1698 = LINE('',#1699,#1700);
  1763. #1699 = CARTESIAN_POINT('',(22.850494024332,18.144826792076,6.));
  1764. #1700 = VECTOR('',#1701,1.);
  1765. #1701 = DIRECTION('',(0.996917333733,-7.845909572785E-02,0.));
  1766. #1702 = ORIENTED_EDGE('',*,*,#1703,.T.);
  1767. #1703 = EDGE_CURVE('',#1696,#1704,#1706,.T.);
  1768. #1704 = VERTEX_POINT('',#1705);
  1769. #1705 = CARTESIAN_POINT('',(44.522542485937,16.377641290738,6.));
  1770. #1706 = LINE('',#1707,#1708);
  1771. #1707 = CARTESIAN_POINT('',(25.333261295881,20.984580106486,6.));
  1772. #1708 = VECTOR('',#1709,1.);
  1773. #1709 = DIRECTION('',(0.972369920398,-0.233445363856,0.));
  1774. #1710 = ORIENTED_EDGE('',*,*,#1711,.T.);
  1775. #1711 = EDGE_CURVE('',#1704,#1712,#1714,.T.);
  1776. #1712 = VERTEX_POINT('',#1713);
  1777. #1713 = CARTESIAN_POINT('',(44.884976249349,16.227516310471,6.));
  1778. #1714 = LINE('',#1715,#1716);
  1779. #1715 = CARTESIAN_POINT('',(28.597761123421,22.973901708918,6.));
  1780. #1716 = VECTOR('',#1717,1.);
  1781. #1717 = DIRECTION('',(0.923879532511,-0.382683432365,0.));
  1782. #1718 = ORIENTED_EDGE('',*,*,#1719,.T.);
  1783. #1719 = EDGE_CURVE('',#1712,#1720,#1722,.T.);
  1784. #1720 = VERTEX_POINT('',#1721);
  1785. #1721 = CARTESIAN_POINT('',(45.219463130731,16.022542485937,6.));
  1786. #1722 = LINE('',#1723,#1724);
  1787. #1723 = CARTESIAN_POINT('',(32.351343154144,23.908136549469,6.));
  1788. #1724 = VECTOR('',#1725,1.);
  1789. #1725 = DIRECTION('',(0.852640164354,-0.522498564716,0.));
  1790. #1726 = ORIENTED_EDGE('',*,*,#1727,.T.);
  1791. #1727 = EDGE_CURVE('',#1720,#1728,#1730,.T.);
  1792. #1728 = VERTEX_POINT('',#1729);
  1793. #1729 = CARTESIAN_POINT('',(45.517766952966,15.767766952966,6.));
  1794. #1730 = LINE('',#1731,#1732);
  1795. #1731 = CARTESIAN_POINT('',(36.251598228113,23.681822689109,6.));
  1796. #1732 = VECTOR('',#1733,1.);
  1797. #1733 = DIRECTION('',(0.7604059656,-0.64944804833,0.));
  1798. #1734 = ORIENTED_EDGE('',*,*,#1735,.T.);
  1799. #1735 = EDGE_CURVE('',#1728,#1736,#1738,.T.);
  1800. #1736 = VERTEX_POINT('',#1737);
  1801. #1737 = CARTESIAN_POINT('',(45.772542485937,15.469463130731,6.));
  1802. #1738 = LINE('',#1739,#1740);
  1803. #1739 = CARTESIAN_POINT('',(39.939259756155,22.299359683908,6.));
  1804. #1740 = VECTOR('',#1741,1.);
  1805. #1741 = DIRECTION('',(0.64944804833,-0.7604059656,0.));
  1806. #1742 = ORIENTED_EDGE('',*,*,#1743,.T.);
  1807. #1743 = EDGE_CURVE('',#1736,#1744,#1746,.T.);
  1808. #1744 = VERTEX_POINT('',#1745);
  1809. #1745 = CARTESIAN_POINT('',(45.977516310471,15.134976249349,6.));
  1810. #1746 = LINE('',#1747,#1748);
  1811. #1747 = CARTESIAN_POINT('',(43.072816779898,19.875015078916,6.));
  1812. #1748 = VECTOR('',#1749,1.);
  1813. #1749 = DIRECTION('',(0.522498564716,-0.852640164354,0.));
  1814. #1750 = ORIENTED_EDGE('',*,*,#1751,.T.);
  1815. #1751 = EDGE_CURVE('',#1744,#1438,#1752,.T.);
  1816. #1752 = LINE('',#1753,#1754);
  1817. #1753 = CARTESIAN_POINT('',(45.361464199052,16.622257611865,6.));
  1818. #1754 = VECTOR('',#1755,1.);
  1819. #1755 = DIRECTION('',(0.382683432365,-0.923879532511,0.));
  1820. #1756 = FACE_BOUND('',#1757,.T.);
  1821. #1757 = EDGE_LOOP('',(#1758,#1768,#1776,#1784,#1792,#1800,#1808,#1816,
  1822. #1824,#1832,#1840,#1848,#1856,#1864,#1872,#1880,#1888,#1896,#1904,
  1823. #1912,#1920,#1928,#1936,#1944,#1952,#1960,#1968,#1976,#1984,#1992,
  1824. #2000,#2008,#2016,#2024,#2032,#2040,#2048,#2056,#2064,#2072));
  1825. #1758 = ORIENTED_EDGE('',*,*,#1759,.T.);
  1826. #1759 = EDGE_CURVE('',#1760,#1762,#1764,.T.);
  1827. #1760 = VERTEX_POINT('',#1761);
  1828. #1761 = CARTESIAN_POINT('',(33.377641290738,4.772542485937,6.));
  1829. #1762 = VERTEX_POINT('',#1763);
  1830. #1763 = CARTESIAN_POINT('',(33.469220851488,4.391086162601,6.));
  1831. #1764 = LINE('',#1765,#1766);
  1832. #1765 = CARTESIAN_POINT('',(33.0556170235,6.113870092228,6.));
  1833. #1766 = VECTOR('',#1767,1.);
  1834. #1767 = DIRECTION('',(0.233445363856,-0.972369920398,0.));
  1835. #1768 = ORIENTED_EDGE('',*,*,#1769,.T.);
  1836. #1769 = EDGE_CURVE('',#1762,#1770,#1772,.T.);
  1837. #1770 = VERTEX_POINT('',#1771);
  1838. #1771 = CARTESIAN_POINT('',(33.5,4.,6.));
  1839. #1772 = LINE('',#1773,#1774);
  1840. #1773 = CARTESIAN_POINT('',(33.553324317525,3.322450304117,6.));
  1841. #1774 = VECTOR('',#1775,1.);
  1842. #1775 = DIRECTION('',(7.845909572784E-02,-0.996917333733,0.));
  1843. #1776 = ORIENTED_EDGE('',*,*,#1777,.T.);
  1844. #1777 = EDGE_CURVE('',#1770,#1778,#1780,.T.);
  1845. #1778 = VERTEX_POINT('',#1779);
  1846. #1779 = CARTESIAN_POINT('',(33.469220851488,3.608913837399,6.));
  1847. #1780 = LINE('',#1781,#1782);
  1848. #1781 = CARTESIAN_POINT('',(33.225065813188,0.506629933393,6.));
  1849. #1782 = VECTOR('',#1783,1.);
  1850. #1783 = DIRECTION('',(-7.845909572784E-02,-0.996917333733,0.));
  1851. #1784 = ORIENTED_EDGE('',*,*,#1785,.T.);
  1852. #1785 = EDGE_CURVE('',#1778,#1786,#1788,.T.);
  1853. #1786 = VERTEX_POINT('',#1787);
  1854. #1787 = CARTESIAN_POINT('',(33.377641290738,3.227457514063,6.));
  1855. #1788 = LINE('',#1789,#1790);
  1856. #1789 = CARTESIAN_POINT('',(32.101846243646,-2.086611302273,6.));
  1857. #1790 = VECTOR('',#1791,1.);
  1858. #1791 = DIRECTION('',(-0.233445363856,-0.972369920398,0.));
  1859. #1792 = ORIENTED_EDGE('',*,*,#1793,.T.);
  1860. #1793 = EDGE_CURVE('',#1786,#1794,#1796,.T.);
  1861. #1794 = VERTEX_POINT('',#1795);
  1862. #1795 = CARTESIAN_POINT('',(33.227516310471,2.865023750651,6.));
  1863. #1796 = LINE('',#1797,#1798);
  1864. #1797 = CARTESIAN_POINT('',(30.288018328547,-4.231552143878,6.));
  1865. #1798 = VECTOR('',#1799,1.);
  1866. #1799 = DIRECTION('',(-0.382683432365,-0.923879532511,0.));
  1867. #1800 = ORIENTED_EDGE('',*,*,#1801,.T.);
  1868. #1801 = EDGE_CURVE('',#1794,#1802,#1804,.T.);
  1869. #1802 = VERTEX_POINT('',#1803);
  1870. #1803 = CARTESIAN_POINT('',(33.022542485937,2.530536869269,6.));
  1871. #1804 = LINE('',#1805,#1806);
  1872. #1805 = CARTESIAN_POINT('',(27.951205790864,-5.745132472585,6.));
  1873. #1806 = VECTOR('',#1807,1.);
  1874. #1807 = DIRECTION('',(-0.522498564716,-0.852640164354,0.));
  1875. #1808 = ORIENTED_EDGE('',*,*,#1809,.T.);
  1876. #1809 = EDGE_CURVE('',#1802,#1810,#1812,.T.);
  1877. #1810 = VERTEX_POINT('',#1811);
  1878. #1811 = CARTESIAN_POINT('',(32.767766952966,2.232233047034,6.));
  1879. #1812 = LINE('',#1813,#1814);
  1880. #1813 = CARTESIAN_POINT('',(25.306139599676,-6.50421010206,6.));
  1881. #1814 = VECTOR('',#1815,1.);
  1882. #1815 = DIRECTION('',(-0.64944804833,-0.7604059656,0.));
  1883. #1816 = ORIENTED_EDGE('',*,*,#1817,.T.);
  1884. #1817 = EDGE_CURVE('',#1810,#1818,#1820,.T.);
  1885. #1818 = VERTEX_POINT('',#1819);
  1886. #1819 = CARTESIAN_POINT('',(32.469463130731,1.977457514063,6.));
  1887. #1820 = LINE('',#1821,#1822);
  1888. #1821 = CARTESIAN_POINT('',(22.593983641633,-6.456998777267,6.));
  1889. #1822 = VECTOR('',#1823,1.);
  1890. #1823 = DIRECTION('',(-0.7604059656,-0.64944804833,0.));
  1891. #1824 = ORIENTED_EDGE('',*,*,#1825,.T.);
  1892. #1825 = EDGE_CURVE('',#1818,#1826,#1828,.T.);
  1893. #1826 = VERTEX_POINT('',#1827);
  1894. #1827 = CARTESIAN_POINT('',(32.134976249349,1.772483689529,6.));
  1895. #1828 = LINE('',#1829,#1830);
  1896. #1829 = CARTESIAN_POINT('',(20.059165072525,-5.627582917058,6.));
  1897. #1830 = VECTOR('',#1831,1.);
  1898. #1831 = DIRECTION('',(-0.852640164354,-0.522498564716,0.));
  1899. #1832 = ORIENTED_EDGE('',*,*,#1833,.T.);
  1900. #1833 = EDGE_CURVE('',#1826,#1834,#1836,.T.);
  1901. #1834 = VERTEX_POINT('',#1835);
  1902. #1835 = CARTESIAN_POINT('',(31.772542485937,1.622358709262,6.));
  1903. #1836 = LINE('',#1837,#1838);
  1904. #1837 = CARTESIAN_POINT('',(17.925966591408,-4.11308081868,6.));
  1905. #1838 = VECTOR('',#1839,1.);
  1906. #1839 = DIRECTION('',(-0.923879532511,-0.382683432365,0.));
  1907. #1840 = ORIENTED_EDGE('',*,*,#1841,.T.);
  1908. #1841 = EDGE_CURVE('',#1834,#1842,#1844,.T.);
  1909. #1842 = VERTEX_POINT('',#1843);
  1910. #1843 = CARTESIAN_POINT('',(31.391086162601,1.530779148512,6.));
  1911. #1844 = LINE('',#1845,#1846);
  1912. #1845 = CARTESIAN_POINT('',(16.377159181235,-2.073745810093,6.));
  1913. #1846 = VECTOR('',#1847,1.);
  1914. #1847 = DIRECTION('',(-0.972369920398,-0.233445363856,0.));
  1915. #1848 = ORIENTED_EDGE('',*,*,#1849,.T.);
  1916. #1849 = EDGE_CURVE('',#1842,#1850,#1852,.T.);
  1917. #1850 = VERTEX_POINT('',#1851);
  1918. #1851 = CARTESIAN_POINT('',(31.,1.5,6.));
  1919. #1852 = LINE('',#1853,#1854);
  1920. #1853 = CARTESIAN_POINT('',(15.536752435998,0.283016023661,6.));
  1921. #1854 = VECTOR('',#1855,1.);
  1922. #1855 = DIRECTION('',(-0.996917333733,-7.845909572785E-02,0.));
  1923. #1856 = ORIENTED_EDGE('',*,*,#1857,.T.);
  1924. #1857 = EDGE_CURVE('',#1850,#1858,#1860,.T.);
  1925. #1858 = VERTEX_POINT('',#1859);
  1926. #1859 = CARTESIAN_POINT('',(30.608913837399,1.530779148512,6.));
  1927. #1860 = LINE('',#1861,#1862);
  1928. #1861 = CARTESIAN_POINT('',(15.458535203477,2.723139806041,6.));
  1929. #1862 = VECTOR('',#1863,1.);
  1930. #1863 = DIRECTION('',(-0.996917333733,7.845909572785E-02,0.));
  1931. #1864 = ORIENTED_EDGE('',*,*,#1865,.T.);
  1932. #1865 = EDGE_CURVE('',#1858,#1866,#1868,.T.);
  1933. #1866 = VERTEX_POINT('',#1867);
  1934. #1867 = CARTESIAN_POINT('',(30.227457514063,1.622358709262,6.));
  1935. #1868 = LINE('',#1869,#1870);
  1936. #1869 = CARTESIAN_POINT('',(16.121511532177,5.008896716244,6.));
  1937. #1870 = VECTOR('',#1871,1.);
  1938. #1871 = DIRECTION('',(-0.972369920398,0.233445363856,0.));
  1939. #1872 = ORIENTED_EDGE('',*,*,#1873,.T.);
  1940. #1873 = EDGE_CURVE('',#1866,#1874,#1876,.T.);
  1941. #1874 = VERTEX_POINT('',#1875);
  1942. #1875 = CARTESIAN_POINT('',(29.865023750651,1.772483689529,6.));
  1943. #1876 = LINE('',#1877,#1878);
  1944. #1877 = CARTESIAN_POINT('',(17.432661418495,6.922136779845,6.));
  1945. #1878 = VECTOR('',#1879,1.);
  1946. #1879 = DIRECTION('',(-0.923879532511,0.382683432365,0.));
  1947. #1880 = ORIENTED_EDGE('',*,*,#1881,.T.);
  1948. #1881 = EDGE_CURVE('',#1874,#1882,#1884,.T.);
  1949. #1882 = VERTEX_POINT('',#1883);
  1950. #1883 = CARTESIAN_POINT('',(29.530536869269,1.977457514063,6.));
  1951. #1884 = LINE('',#1885,#1886);
  1952. #1885 = CARTESIAN_POINT('',(19.236738740821,8.285505120129,6.));
  1953. #1886 = VECTOR('',#1887,1.);
  1954. #1887 = DIRECTION('',(-0.852640164354,0.522498564716,0.));
  1955. #1888 = ORIENTED_EDGE('',*,*,#1889,.T.);
  1956. #1889 = EDGE_CURVE('',#1882,#1890,#1892,.T.);
  1957. #1890 = VERTEX_POINT('',#1891);
  1958. #1891 = CARTESIAN_POINT('',(29.232233047034,2.232233047034,6.));
  1959. #1892 = LINE('',#1893,#1894);
  1960. #1893 = CARTESIAN_POINT('',(21.332130239126,8.979558268443,6.));
  1961. #1894 = VECTOR('',#1895,1.);
  1962. #1895 = DIRECTION('',(-0.7604059656,0.64944804833,0.));
  1963. #1896 = ORIENTED_EDGE('',*,*,#1897,.T.);
  1964. #1897 = EDGE_CURVE('',#1890,#1898,#1900,.T.);
  1965. #1898 = VERTEX_POINT('',#1899);
  1966. #1899 = CARTESIAN_POINT('',(28.977457514063,2.530536869269,6.));
  1967. #1900 = LINE('',#1901,#1902);
  1968. #1901 = CARTESIAN_POINT('',(23.491206841962,8.954111088282,6.));
  1969. #1902 = VECTOR('',#1903,1.);
  1970. #1903 = DIRECTION('',(-0.64944804833,0.7604059656,0.));
  1971. #1904 = ORIENTED_EDGE('',*,*,#1905,.T.);
  1972. #1905 = EDGE_CURVE('',#1898,#1906,#1908,.T.);
  1973. #1906 = VERTEX_POINT('',#1907);
  1974. #1907 = CARTESIAN_POINT('',(28.772483689529,2.865023750651,6.));
  1975. #1908 = LINE('',#1909,#1910);
  1976. #1909 = CARTESIAN_POINT('',(25.483160042832,8.232712093026,6.));
  1977. #1910 = VECTOR('',#1911,1.);
  1978. #1911 = DIRECTION('',(-0.522498564716,0.852640164354,0.));
  1979. #1912 = ORIENTED_EDGE('',*,*,#1913,.T.);
  1980. #1913 = EDGE_CURVE('',#1906,#1914,#1916,.T.);
  1981. #1914 = VERTEX_POINT('',#1915);
  1982. #1915 = CARTESIAN_POINT('',(28.622358709262,3.227457514063,6.));
  1983. #1916 = LINE('',#1917,#1918);
  1984. #1917 = CARTESIAN_POINT('',(27.097074289711,6.909819846219,6.));
  1985. #1918 = VECTOR('',#1919,1.);
  1986. #1919 = DIRECTION('',(-0.382683432365,0.923879532511,0.));
  1987. #1920 = ORIENTED_EDGE('',*,*,#1921,.T.);
  1988. #1921 = EDGE_CURVE('',#1914,#1922,#1924,.T.);
  1989. #1922 = VERTEX_POINT('',#1923);
  1990. #1923 = CARTESIAN_POINT('',(28.530779148512,3.608913837399,6.));
  1991. #1924 = LINE('',#1925,#1926);
  1992. #1925 = CARTESIAN_POINT('',(28.162965100899,5.140969605358,6.));
  1993. #1926 = VECTOR('',#1927,1.);
  1994. #1927 = DIRECTION('',(-0.233445363856,0.972369920398,0.));
  1995. #1928 = ORIENTED_EDGE('',*,*,#1929,.T.);
  1996. #1929 = EDGE_CURVE('',#1922,#1930,#1932,.T.);
  1997. #1930 = VERTEX_POINT('',#1931);
  1998. #1931 = CARTESIAN_POINT('',(28.5,4.,6.));
  1999. #1932 = LINE('',#1933,#1934);
  2000. #1933 = CARTESIAN_POINT('',(28.568713891781,3.126907222817,6.));
  2001. #1934 = VECTOR('',#1935,1.);
  2002. #1935 = DIRECTION('',(-7.845909572785E-02,0.996917333733,0.));
  2003. #1936 = ORIENTED_EDGE('',*,*,#1937,.T.);
  2004. #1937 = EDGE_CURVE('',#1930,#1938,#1940,.T.);
  2005. #1938 = VERTEX_POINT('',#1939);
  2006. #1939 = CARTESIAN_POINT('',(28.530779148512,4.391086162601,6.));
  2007. #1940 = LINE('',#1941,#1942);
  2008. #1941 = CARTESIAN_POINT('',(28.271234535956,1.093259177294,6.));
  2009. #1942 = VECTOR('',#1943,1.);
  2010. #1943 = DIRECTION('',(7.845909572785E-02,0.996917333733,0.));
  2011. #1944 = ORIENTED_EDGE('',*,*,#1945,.T.);
  2012. #1945 = EDGE_CURVE('',#1938,#1946,#1948,.T.);
  2013. #1946 = VERTEX_POINT('',#1947);
  2014. #1947 = CARTESIAN_POINT('',(28.622358709262,4.772542485937,6.));
  2015. #1948 = LINE('',#1949,#1950);
  2016. #1949 = CARTESIAN_POINT('',(27.300773881795,-0.732254492067,6.));
  2017. #1950 = VECTOR('',#1951,1.);
  2018. #1951 = DIRECTION('',(0.233445363856,0.972369920398,0.));
  2019. #1952 = ORIENTED_EDGE('',*,*,#1953,.T.);
  2020. #1953 = EDGE_CURVE('',#1946,#1954,#1956,.T.);
  2021. #1954 = VERTEX_POINT('',#1955);
  2022. #1955 = CARTESIAN_POINT('',(28.772483689529,5.134976249349,6.));
  2023. #1956 = LINE('',#1957,#1958);
  2024. #1957 = CARTESIAN_POINT('',(25.757923217472,-2.142816526886,6.));
  2025. #1958 = VECTOR('',#1959,1.);
  2026. #1959 = DIRECTION('',(0.382683432365,0.923879532511,0.));
  2027. #1960 = ORIENTED_EDGE('',*,*,#1961,.T.);
  2028. #1961 = EDGE_CURVE('',#1954,#1962,#1964,.T.);
  2029. #1962 = VERTEX_POINT('',#1963);
  2030. #1963 = CARTESIAN_POINT('',(28.977457514063,5.469463130731,6.));
  2031. #1964 = LINE('',#1965,#1966);
  2032. #1965 = CARTESIAN_POINT('',(23.803633906722,-2.973449651814,6.));
  2033. #1966 = VECTOR('',#1967,1.);
  2034. #1967 = DIRECTION('',(0.522498564716,0.852640164354,0.));
  2035. #1968 = ORIENTED_EDGE('',*,*,#1969,.T.);
  2036. #1969 = EDGE_CURVE('',#1962,#1970,#1972,.T.);
  2037. #1970 = VERTEX_POINT('',#1971);
  2038. #1971 = CARTESIAN_POINT('',(29.232233047034,5.767766952966,6.));
  2039. #1972 = LINE('',#1973,#1974);
  2040. #1973 = CARTESIAN_POINT('',(21.643217927258,-3.117828107245,6.));
  2041. #1974 = VECTOR('',#1975,1.);
  2042. #1975 = DIRECTION('',(0.64944804833,0.7604059656,0.));
  2043. #1976 = ORIENTED_EDGE('',*,*,#1977,.T.);
  2044. #1977 = EDGE_CURVE('',#1970,#1978,#1980,.T.);
  2045. #1978 = VERTEX_POINT('',#1979);
  2046. #1979 = CARTESIAN_POINT('',(29.530536869269,6.022542485937,6.));
  2047. #1980 = LINE('',#1981,#1982);
  2048. #1981 = CARTESIAN_POINT('',(19.505905469053,-2.539301571877,6.));
  2049. #1982 = VECTOR('',#1983,1.);
  2050. #1983 = DIRECTION('',(0.7604059656,0.64944804833,0.));
  2051. #1984 = ORIENTED_EDGE('',*,*,#1985,.T.);
  2052. #1985 = EDGE_CURVE('',#1978,#1986,#1988,.T.);
  2053. #1986 = VERTEX_POINT('',#1987);
  2054. #1987 = CARTESIAN_POINT('',(29.865023750651,6.227516310471,6.));
  2055. #1988 = LINE('',#1989,#1990);
  2056. #1989 = CARTESIAN_POINT('',(17.621969133136,-1.275037208383,6.));
  2057. #1990 = VECTOR('',#1991,1.);
  2058. #1991 = DIRECTION('',(0.852640164354,0.522498564716,0.));
  2059. #1992 = ORIENTED_EDGE('',*,*,#1993,.T.);
  2060. #1993 = EDGE_CURVE('',#1986,#1994,#1996,.T.);
  2061. #1994 = VERTEX_POINT('',#1995);
  2062. #1995 = CARTESIAN_POINT('',(30.227457514063,6.377641290738,6.));
  2063. #1996 = LINE('',#1997,#1998);
  2064. #1997 = CARTESIAN_POINT('',(16.199664737827,0.567139272662,6.));
  2065. #1998 = VECTOR('',#1999,1.);
  2066. #1999 = DIRECTION('',(0.923879532511,0.382683432365,0.));
  2067. #2000 = ORIENTED_EDGE('',*,*,#2001,.T.);
  2068. #2001 = EDGE_CURVE('',#1994,#2002,#2004,.T.);
  2069. #2002 = VERTEX_POINT('',#2003);
  2070. #2003 = CARTESIAN_POINT('',(30.608913837399,6.469220851488,6.));
  2071. #2004 = LINE('',#2005,#2006);
  2072. #2005 = CARTESIAN_POINT('',(15.404258694366,2.818906112507,6.));
  2073. #2006 = VECTOR('',#2007,1.);
  2074. #2007 = DIRECTION('',(0.972369920398,0.233445363856,0.));
  2075. #2008 = ORIENTED_EDGE('',*,*,#2009,.T.);
  2076. #2009 = EDGE_CURVE('',#2002,#2010,#2012,.T.);
  2077. #2010 = VERTEX_POINT('',#2011);
  2078. #2011 = CARTESIAN_POINT('',(31.,6.5,6.));
  2079. #2012 = LINE('',#2013,#2014);
  2080. #2013 = CARTESIAN_POINT('',(15.341209354697,5.267626449405,6.));
  2081. #2014 = VECTOR('',#2015,1.);
  2082. #2015 = DIRECTION('',(0.996917333733,7.845909572785E-02,0.));
  2083. #2016 = ORIENTED_EDGE('',*,*,#2017,.T.);
  2084. #2017 = EDGE_CURVE('',#2010,#2018,#2020,.T.);
  2085. #2018 = VERTEX_POINT('',#2019);
  2086. #2019 = CARTESIAN_POINT('',(31.391086162601,6.469220851488,6.));
  2087. #2020 = LINE('',#2021,#2022);
  2088. #2021 = CARTESIAN_POINT('',(16.045164447378,7.676971083273,6.));
  2089. #2022 = VECTOR('',#2023,1.);
  2090. #2023 = DIRECTION('',(0.996917333733,-7.845909572785E-02,0.));
  2091. #2024 = ORIENTED_EDGE('',*,*,#2025,.T.);
  2092. #2025 = EDGE_CURVE('',#2018,#2026,#2028,.T.);
  2093. #2026 = VERTEX_POINT('',#2027);
  2094. #2027 = CARTESIAN_POINT('',(31.772542485937,6.377641290738,6.));
  2095. #2028 = LINE('',#2029,#2030);
  2096. #2029 = CARTESIAN_POINT('',(17.475868342383,9.809969078095,6.));
  2097. #2030 = VECTOR('',#2031,1.);
  2098. #2031 = DIRECTION('',(0.972369920398,-0.233445363856,0.));
  2099. #2032 = ORIENTED_EDGE('',*,*,#2033,.T.);
  2100. #2033 = EDGE_CURVE('',#2026,#2034,#2036,.T.);
  2101. #2034 = VERTEX_POINT('',#2035);
  2102. #2035 = CARTESIAN_POINT('',(32.134976249349,6.227516310471,6.));
  2103. #2036 = LINE('',#2037,#2038);
  2104. #2037 = CARTESIAN_POINT('',(19.521397035487,11.45223189092,6.));
  2105. #2038 = VECTOR('',#2039,1.);
  2106. #2039 = DIRECTION('',(0.923879532511,-0.382683432365,0.));
  2107. #2040 = ORIENTED_EDGE('',*,*,#2041,.T.);
  2108. #2041 = EDGE_CURVE('',#2034,#2042,#2044,.T.);
  2109. #2042 = VERTEX_POINT('',#2043);
  2110. #2043 = CARTESIAN_POINT('',(32.469463130731,6.022542485937,6.));
  2111. #2044 = LINE('',#2045,#2046);
  2112. #2045 = CARTESIAN_POINT('',(22.008421561592,12.43307700427,6.));
  2113. #2046 = VECTOR('',#2047,1.);
  2114. #2047 = DIRECTION('',(0.852640164354,-0.522498564716,0.));
  2115. #2048 = ORIENTED_EDGE('',*,*,#2049,.T.);
  2116. #2049 = EDGE_CURVE('',#2042,#2050,#2052,.T.);
  2117. #2050 = VERTEX_POINT('',#2051);
  2118. #2051 = CARTESIAN_POINT('',(32.767766952966,5.767766952966,6.));
  2119. #2052 = LINE('',#2053,#2054);
  2120. #2053 = CARTESIAN_POINT('',(24.718512233941,12.642479940862,6.));
  2121. #2054 = VECTOR('',#2055,1.);
  2122. #2055 = DIRECTION('',(0.7604059656,-0.64944804833,0.));
  2123. #2056 = ORIENTED_EDGE('',*,*,#2057,.T.);
  2124. #2057 = EDGE_CURVE('',#2050,#2058,#2060,.T.);
  2125. #2058 = VERTEX_POINT('',#2059);
  2126. #2059 = CARTESIAN_POINT('',(33.022542485937,5.469463130731,6.));
  2127. #2060 = LINE('',#2061,#2062);
  2128. #2061 = CARTESIAN_POINT('',(27.408904047352,12.042189260862,6.));
  2129. #2062 = VECTOR('',#2063,1.);
  2130. #2063 = DIRECTION('',(0.64944804833,-0.7604059656,0.));
  2131. #2064 = ORIENTED_EDGE('',*,*,#2065,.T.);
  2132. #2065 = EDGE_CURVE('',#2058,#2066,#2068,.T.);
  2133. #2066 = VERTEX_POINT('',#2067);
  2134. #2067 = CARTESIAN_POINT('',(33.227516310471,5.134976249349,6.));
  2135. #2068 = LINE('',#2069,#2070);
  2136. #2069 = CARTESIAN_POINT('',(29.835705751507,10.669908032415,6.));
  2137. #2070 = VECTOR('',#2071,1.);
  2138. #2071 = DIRECTION('',(0.522498564716,-0.852640164354,0.));
  2139. #2072 = ORIENTED_EDGE('',*,*,#2073,.T.);
  2140. #2073 = EDGE_CURVE('',#2066,#1760,#2074,.T.);
  2141. #2074 = LINE('',#2075,#2076);
  2142. #2075 = CARTESIAN_POINT('',(31.777294381053,8.636121699799,6.));
  2143. #2076 = VECTOR('',#2077,1.);
  2144. #2077 = DIRECTION('',(0.382683432365,-0.923879532511,0.));
  2145. #2078 = PLANE('',#2079);
  2146. #2079 = AXIS2_PLACEMENT_3D('',#2080,#2081,#2082);
  2147. #2080 = CARTESIAN_POINT('',(0.,0.,6.));
  2148. #2081 = DIRECTION('',(0.,0.,1.));
  2149. #2082 = DIRECTION('',(1.,0.,0.));
  2150. #2083 = ADVANCED_FACE('',(#2084),#2102,.T.);
  2151. #2084 = FACE_BOUND('',#2085,.T.);
  2152. #2085 = EDGE_LOOP('',(#2086,#2094,#2095,#2096));
  2153. #2086 = ORIENTED_EDGE('',*,*,#2087,.F.);
  2154. #2087 = EDGE_CURVE('',#1000,#2088,#2090,.T.);
  2155. #2088 = VERTEX_POINT('',#2089);
  2156. #2089 = CARTESIAN_POINT('',(40.,8.5,2.));
  2157. #2090 = LINE('',#2091,#2092);
  2158. #2091 = CARTESIAN_POINT('',(-1.,8.5,2.));
  2159. #2092 = VECTOR('',#2093,1.);
  2160. #2093 = DIRECTION('',(1.,0.,0.));
  2161. #2094 = ORIENTED_EDGE('',*,*,#1007,.T.);
  2162. #2095 = ORIENTED_EDGE('',*,*,#1107,.F.);
  2163. #2096 = ORIENTED_EDGE('',*,*,#2097,.F.);
  2164. #2097 = EDGE_CURVE('',#2088,#1100,#2098,.T.);
  2165. #2098 = LINE('',#2099,#2100);
  2166. #2099 = CARTESIAN_POINT('',(40.,8.5,2.));
  2167. #2100 = VECTOR('',#2101,1.);
  2168. #2101 = DIRECTION('',(0.,0.,1.));
  2169. #2102 = PLANE('',#2103);
  2170. #2103 = AXIS2_PLACEMENT_3D('',#2104,#2105,#2106);
  2171. #2104 = CARTESIAN_POINT('',(-1.,8.5,2.));
  2172. #2105 = DIRECTION('',(0.,1.,0.));
  2173. #2106 = DIRECTION('',(0.,0.,1.));
  2174. #2107 = ADVANCED_FACE('',(#2108),#2126,.T.);
  2175. #2108 = FACE_BOUND('',#2109,.T.);
  2176. #2109 = EDGE_LOOP('',(#2110,#2118,#2119,#2120));
  2177. #2110 = ORIENTED_EDGE('',*,*,#2111,.F.);
  2178. #2111 = EDGE_CURVE('',#992,#2112,#2114,.T.);
  2179. #2112 = VERTEX_POINT('',#2113);
  2180. #2113 = CARTESIAN_POINT('',(40.,10.5,2.));
  2181. #2114 = LINE('',#2115,#2116);
  2182. #2115 = CARTESIAN_POINT('',(-1.,10.5,2.));
  2183. #2116 = VECTOR('',#2117,1.);
  2184. #2117 = DIRECTION('',(1.,0.,0.));
  2185. #2118 = ORIENTED_EDGE('',*,*,#999,.T.);
  2186. #2119 = ORIENTED_EDGE('',*,*,#2087,.T.);
  2187. #2120 = ORIENTED_EDGE('',*,*,#2121,.T.);
  2188. #2121 = EDGE_CURVE('',#2088,#2112,#2122,.T.);
  2189. #2122 = LINE('',#2123,#2124);
  2190. #2123 = CARTESIAN_POINT('',(40.,8.5,2.));
  2191. #2124 = VECTOR('',#2125,1.);
  2192. #2125 = DIRECTION('',(0.,1.,0.));
  2193. #2126 = PLANE('',#2127);
  2194. #2127 = AXIS2_PLACEMENT_3D('',#2128,#2129,#2130);
  2195. #2128 = CARTESIAN_POINT('',(-1.,8.5,2.));
  2196. #2129 = DIRECTION('',(0.,0.,1.));
  2197. #2130 = DIRECTION('',(1.,0.,0.));
  2198. #2131 = ADVANCED_FACE('',(#2132),#2143,.F.);
  2199. #2132 = FACE_BOUND('',#2133,.F.);
  2200. #2133 = EDGE_LOOP('',(#2134,#2135,#2136,#2137));
  2201. #2134 = ORIENTED_EDGE('',*,*,#2111,.F.);
  2202. #2135 = ORIENTED_EDGE('',*,*,#991,.T.);
  2203. #2136 = ORIENTED_EDGE('',*,*,#1091,.F.);
  2204. #2137 = ORIENTED_EDGE('',*,*,#2138,.F.);
  2205. #2138 = EDGE_CURVE('',#2112,#1092,#2139,.T.);
  2206. #2139 = LINE('',#2140,#2141);
  2207. #2140 = CARTESIAN_POINT('',(40.,10.5,2.));
  2208. #2141 = VECTOR('',#2142,1.);
  2209. #2142 = DIRECTION('',(0.,0.,1.));
  2210. #2143 = PLANE('',#2144);
  2211. #2144 = AXIS2_PLACEMENT_3D('',#2145,#2146,#2147);
  2212. #2145 = CARTESIAN_POINT('',(-1.,10.5,2.));
  2213. #2146 = DIRECTION('',(0.,1.,0.));
  2214. #2147 = DIRECTION('',(0.,0.,1.));
  2215. #2148 = ADVANCED_FACE('',(#2149),#2167,.T.);
  2216. #2149 = FACE_BOUND('',#2150,.T.);
  2217. #2150 = EDGE_LOOP('',(#2151,#2159,#2160,#2161));
  2218. #2151 = ORIENTED_EDGE('',*,*,#2152,.F.);
  2219. #2152 = EDGE_CURVE('',#968,#2153,#2155,.T.);
  2220. #2153 = VERTEX_POINT('',#2154);
  2221. #2154 = CARTESIAN_POINT('',(40.,11.5,2.));
  2222. #2155 = LINE('',#2156,#2157);
  2223. #2156 = CARTESIAN_POINT('',(-1.,11.5,2.));
  2224. #2157 = VECTOR('',#2158,1.);
  2225. #2158 = DIRECTION('',(1.,0.,0.));
  2226. #2159 = ORIENTED_EDGE('',*,*,#975,.T.);
  2227. #2160 = ORIENTED_EDGE('',*,*,#1084,.F.);
  2228. #2161 = ORIENTED_EDGE('',*,*,#2162,.F.);
  2229. #2162 = EDGE_CURVE('',#2153,#1077,#2163,.T.);
  2230. #2163 = LINE('',#2164,#2165);
  2231. #2164 = CARTESIAN_POINT('',(40.,11.5,2.));
  2232. #2165 = VECTOR('',#2166,1.);
  2233. #2166 = DIRECTION('',(0.,0.,1.));
  2234. #2167 = PLANE('',#2168);
  2235. #2168 = AXIS2_PLACEMENT_3D('',#2169,#2170,#2171);
  2236. #2169 = CARTESIAN_POINT('',(-1.,11.5,2.));
  2237. #2170 = DIRECTION('',(0.,1.,0.));
  2238. #2171 = DIRECTION('',(0.,0.,1.));
  2239. #2172 = ADVANCED_FACE('',(#2173),#2191,.T.);
  2240. #2173 = FACE_BOUND('',#2174,.T.);
  2241. #2174 = EDGE_LOOP('',(#2175,#2183,#2184,#2185));
  2242. #2175 = ORIENTED_EDGE('',*,*,#2176,.F.);
  2243. #2176 = EDGE_CURVE('',#960,#2177,#2179,.T.);
  2244. #2177 = VERTEX_POINT('',#2178);
  2245. #2178 = CARTESIAN_POINT('',(40.,13.5,2.));
  2246. #2179 = LINE('',#2180,#2181);
  2247. #2180 = CARTESIAN_POINT('',(-1.,13.5,2.));
  2248. #2181 = VECTOR('',#2182,1.);
  2249. #2182 = DIRECTION('',(1.,0.,0.));
  2250. #2183 = ORIENTED_EDGE('',*,*,#967,.T.);
  2251. #2184 = ORIENTED_EDGE('',*,*,#2152,.T.);
  2252. #2185 = ORIENTED_EDGE('',*,*,#2186,.T.);
  2253. #2186 = EDGE_CURVE('',#2153,#2177,#2187,.T.);
  2254. #2187 = LINE('',#2188,#2189);
  2255. #2188 = CARTESIAN_POINT('',(40.,11.5,2.));
  2256. #2189 = VECTOR('',#2190,1.);
  2257. #2190 = DIRECTION('',(0.,1.,0.));
  2258. #2191 = PLANE('',#2192);
  2259. #2192 = AXIS2_PLACEMENT_3D('',#2193,#2194,#2195);
  2260. #2193 = CARTESIAN_POINT('',(-1.,11.5,2.));
  2261. #2194 = DIRECTION('',(0.,0.,1.));
  2262. #2195 = DIRECTION('',(1.,0.,0.));
  2263. #2196 = ADVANCED_FACE('',(#2197),#2208,.F.);
  2264. #2197 = FACE_BOUND('',#2198,.F.);
  2265. #2198 = EDGE_LOOP('',(#2199,#2200,#2201,#2202));
  2266. #2199 = ORIENTED_EDGE('',*,*,#2176,.F.);
  2267. #2200 = ORIENTED_EDGE('',*,*,#959,.T.);
  2268. #2201 = ORIENTED_EDGE('',*,*,#1068,.F.);
  2269. #2202 = ORIENTED_EDGE('',*,*,#2203,.F.);
  2270. #2203 = EDGE_CURVE('',#2177,#1069,#2204,.T.);
  2271. #2204 = LINE('',#2205,#2206);
  2272. #2205 = CARTESIAN_POINT('',(40.,13.5,2.));
  2273. #2206 = VECTOR('',#2207,1.);
  2274. #2207 = DIRECTION('',(0.,0.,1.));
  2275. #2208 = PLANE('',#2209);
  2276. #2209 = AXIS2_PLACEMENT_3D('',#2210,#2211,#2212);
  2277. #2210 = CARTESIAN_POINT('',(-1.,13.5,2.));
  2278. #2211 = DIRECTION('',(0.,1.,0.));
  2279. #2212 = DIRECTION('',(0.,0.,1.));
  2280. #2213 = ADVANCED_FACE('',(#2214),#2232,.T.);
  2281. #2214 = FACE_BOUND('',#2215,.T.);
  2282. #2215 = EDGE_LOOP('',(#2216,#2224,#2225,#2226));
  2283. #2216 = ORIENTED_EDGE('',*,*,#2217,.F.);
  2284. #2217 = EDGE_CURVE('',#936,#2218,#2220,.T.);
  2285. #2218 = VERTEX_POINT('',#2219);
  2286. #2219 = CARTESIAN_POINT('',(40.,14.5,2.));
  2287. #2220 = LINE('',#2221,#2222);
  2288. #2221 = CARTESIAN_POINT('',(-1.,14.5,2.));
  2289. #2222 = VECTOR('',#2223,1.);
  2290. #2223 = DIRECTION('',(1.,0.,0.));
  2291. #2224 = ORIENTED_EDGE('',*,*,#943,.T.);
  2292. #2225 = ORIENTED_EDGE('',*,*,#1061,.F.);
  2293. #2226 = ORIENTED_EDGE('',*,*,#2227,.F.);
  2294. #2227 = EDGE_CURVE('',#2218,#1054,#2228,.T.);
  2295. #2228 = LINE('',#2229,#2230);
  2296. #2229 = CARTESIAN_POINT('',(40.,14.5,2.));
  2297. #2230 = VECTOR('',#2231,1.);
  2298. #2231 = DIRECTION('',(0.,0.,1.));
  2299. #2232 = PLANE('',#2233);
  2300. #2233 = AXIS2_PLACEMENT_3D('',#2234,#2235,#2236);
  2301. #2234 = CARTESIAN_POINT('',(-1.,14.5,2.));
  2302. #2235 = DIRECTION('',(0.,1.,0.));
  2303. #2236 = DIRECTION('',(0.,0.,1.));
  2304. #2237 = ADVANCED_FACE('',(#2238),#2256,.T.);
  2305. #2238 = FACE_BOUND('',#2239,.T.);
  2306. #2239 = EDGE_LOOP('',(#2240,#2248,#2249,#2250));
  2307. #2240 = ORIENTED_EDGE('',*,*,#2241,.F.);
  2308. #2241 = EDGE_CURVE('',#928,#2242,#2244,.T.);
  2309. #2242 = VERTEX_POINT('',#2243);
  2310. #2243 = CARTESIAN_POINT('',(40.,16.5,2.));
  2311. #2244 = LINE('',#2245,#2246);
  2312. #2245 = CARTESIAN_POINT('',(-1.,16.5,2.));
  2313. #2246 = VECTOR('',#2247,1.);
  2314. #2247 = DIRECTION('',(1.,0.,0.));
  2315. #2248 = ORIENTED_EDGE('',*,*,#935,.T.);
  2316. #2249 = ORIENTED_EDGE('',*,*,#2217,.T.);
  2317. #2250 = ORIENTED_EDGE('',*,*,#2251,.T.);
  2318. #2251 = EDGE_CURVE('',#2218,#2242,#2252,.T.);
  2319. #2252 = LINE('',#2253,#2254);
  2320. #2253 = CARTESIAN_POINT('',(40.,14.5,2.));
  2321. #2254 = VECTOR('',#2255,1.);
  2322. #2255 = DIRECTION('',(0.,1.,0.));
  2323. #2256 = PLANE('',#2257);
  2324. #2257 = AXIS2_PLACEMENT_3D('',#2258,#2259,#2260);
  2325. #2258 = CARTESIAN_POINT('',(-1.,14.5,2.));
  2326. #2259 = DIRECTION('',(0.,0.,1.));
  2327. #2260 = DIRECTION('',(1.,0.,0.));
  2328. #2261 = ADVANCED_FACE('',(#2262),#2273,.F.);
  2329. #2262 = FACE_BOUND('',#2263,.F.);
  2330. #2263 = EDGE_LOOP('',(#2264,#2265,#2266,#2267));
  2331. #2264 = ORIENTED_EDGE('',*,*,#2241,.F.);
  2332. #2265 = ORIENTED_EDGE('',*,*,#927,.T.);
  2333. #2266 = ORIENTED_EDGE('',*,*,#1045,.F.);
  2334. #2267 = ORIENTED_EDGE('',*,*,#2268,.F.);
  2335. #2268 = EDGE_CURVE('',#2242,#1046,#2269,.T.);
  2336. #2269 = LINE('',#2270,#2271);
  2337. #2270 = CARTESIAN_POINT('',(40.,16.5,2.));
  2338. #2271 = VECTOR('',#2272,1.);
  2339. #2272 = DIRECTION('',(0.,0.,1.));
  2340. #2273 = PLANE('',#2274);
  2341. #2274 = AXIS2_PLACEMENT_3D('',#2275,#2276,#2277);
  2342. #2275 = CARTESIAN_POINT('',(-1.,16.5,2.));
  2343. #2276 = DIRECTION('',(0.,1.,0.));
  2344. #2277 = DIRECTION('',(0.,0.,1.));
  2345. #2278 = ADVANCED_FACE('',(#2279),#2297,.T.);
  2346. #2279 = FACE_BOUND('',#2280,.T.);
  2347. #2280 = EDGE_LOOP('',(#2281,#2289,#2290,#2291));
  2348. #2281 = ORIENTED_EDGE('',*,*,#2282,.F.);
  2349. #2282 = EDGE_CURVE('',#904,#2283,#2285,.T.);
  2350. #2283 = VERTEX_POINT('',#2284);
  2351. #2284 = CARTESIAN_POINT('',(54.,17.5,2.));
  2352. #2285 = LINE('',#2286,#2287);
  2353. #2286 = CARTESIAN_POINT('',(-1.,17.5,2.));
  2354. #2287 = VECTOR('',#2288,1.);
  2355. #2288 = DIRECTION('',(1.,0.,0.));
  2356. #2289 = ORIENTED_EDGE('',*,*,#911,.T.);
  2357. #2290 = ORIENTED_EDGE('',*,*,#1038,.F.);
  2358. #2291 = ORIENTED_EDGE('',*,*,#2292,.F.);
  2359. #2292 = EDGE_CURVE('',#2283,#1031,#2293,.T.);
  2360. #2293 = LINE('',#2294,#2295);
  2361. #2294 = CARTESIAN_POINT('',(54.,17.5,1.));
  2362. #2295 = VECTOR('',#2296,1.);
  2363. #2296 = DIRECTION('',(0.,0.,1.));
  2364. #2297 = PLANE('',#2298);
  2365. #2298 = AXIS2_PLACEMENT_3D('',#2299,#2300,#2301);
  2366. #2299 = CARTESIAN_POINT('',(-1.,17.5,2.));
  2367. #2300 = DIRECTION('',(0.,1.,0.));
  2368. #2301 = DIRECTION('',(0.,0.,1.));
  2369. #2302 = ADVANCED_FACE('',(#2303),#2321,.T.);
  2370. #2303 = FACE_BOUND('',#2304,.T.);
  2371. #2304 = EDGE_LOOP('',(#2305,#2313,#2314,#2315));
  2372. #2305 = ORIENTED_EDGE('',*,*,#2306,.F.);
  2373. #2306 = EDGE_CURVE('',#896,#2307,#2309,.T.);
  2374. #2307 = VERTEX_POINT('',#2308);
  2375. #2308 = CARTESIAN_POINT('',(54.,19.5,2.));
  2376. #2309 = LINE('',#2310,#2311);
  2377. #2310 = CARTESIAN_POINT('',(-1.,19.5,2.));
  2378. #2311 = VECTOR('',#2312,1.);
  2379. #2312 = DIRECTION('',(1.,0.,0.));
  2380. #2313 = ORIENTED_EDGE('',*,*,#903,.T.);
  2381. #2314 = ORIENTED_EDGE('',*,*,#2282,.T.);
  2382. #2315 = ORIENTED_EDGE('',*,*,#2316,.F.);
  2383. #2316 = EDGE_CURVE('',#2307,#2283,#2317,.T.);
  2384. #2317 = LINE('',#2318,#2319);
  2385. #2318 = CARTESIAN_POINT('',(54.,8.75,2.));
  2386. #2319 = VECTOR('',#2320,1.);
  2387. #2320 = DIRECTION('',(0.,-1.,0.));
  2388. #2321 = PLANE('',#2322);
  2389. #2322 = AXIS2_PLACEMENT_3D('',#2323,#2324,#2325);
  2390. #2323 = CARTESIAN_POINT('',(-1.,17.5,2.));
  2391. #2324 = DIRECTION('',(0.,0.,1.));
  2392. #2325 = DIRECTION('',(1.,0.,0.));
  2393. #2326 = ADVANCED_FACE('',(#2327),#2345,.F.);
  2394. #2327 = FACE_BOUND('',#2328,.F.);
  2395. #2328 = EDGE_LOOP('',(#2329,#2330,#2331,#2339));
  2396. #2329 = ORIENTED_EDGE('',*,*,#2306,.F.);
  2397. #2330 = ORIENTED_EDGE('',*,*,#895,.T.);
  2398. #2331 = ORIENTED_EDGE('',*,*,#2332,.F.);
  2399. #2332 = EDGE_CURVE('',#2333,#888,#2335,.T.);
  2400. #2333 = VERTEX_POINT('',#2334);
  2401. #2334 = CARTESIAN_POINT('',(54.,19.5,6.));
  2402. #2335 = LINE('',#2336,#2337);
  2403. #2336 = CARTESIAN_POINT('',(-0.5,19.5,6.));
  2404. #2337 = VECTOR('',#2338,1.);
  2405. #2338 = DIRECTION('',(-1.,0.,0.));
  2406. #2339 = ORIENTED_EDGE('',*,*,#2340,.F.);
  2407. #2340 = EDGE_CURVE('',#2307,#2333,#2341,.T.);
  2408. #2341 = LINE('',#2342,#2343);
  2409. #2342 = CARTESIAN_POINT('',(54.,19.5,1.));
  2410. #2343 = VECTOR('',#2344,1.);
  2411. #2344 = DIRECTION('',(0.,0.,1.));
  2412. #2345 = PLANE('',#2346);
  2413. #2346 = AXIS2_PLACEMENT_3D('',#2347,#2348,#2349);
  2414. #2347 = CARTESIAN_POINT('',(-1.,19.5,2.));
  2415. #2348 = DIRECTION('',(0.,1.,0.));
  2416. #2349 = DIRECTION('',(0.,0.,1.));
  2417. #2350 = ADVANCED_FACE('',(#2351),#2369,.T.);
  2418. #2351 = FACE_BOUND('',#2352,.T.);
  2419. #2352 = EDGE_LOOP('',(#2353,#2354,#2362,#2368));
  2420. #2353 = ORIENTED_EDGE('',*,*,#2332,.F.);
  2421. #2354 = ORIENTED_EDGE('',*,*,#2355,.T.);
  2422. #2355 = EDGE_CURVE('',#2333,#2356,#2358,.T.);
  2423. #2356 = VERTEX_POINT('',#2357);
  2424. #2357 = CARTESIAN_POINT('',(54.,20.5,6.));
  2425. #2358 = LINE('',#2359,#2360);
  2426. #2359 = CARTESIAN_POINT('',(54.,0.,6.));
  2427. #2360 = VECTOR('',#2361,1.);
  2428. #2361 = DIRECTION('',(0.,1.,0.));
  2429. #2362 = ORIENTED_EDGE('',*,*,#2363,.T.);
  2430. #2363 = EDGE_CURVE('',#2356,#880,#2364,.T.);
  2431. #2364 = LINE('',#2365,#2366);
  2432. #2365 = CARTESIAN_POINT('',(-0.5,20.5,6.));
  2433. #2366 = VECTOR('',#2367,1.);
  2434. #2367 = DIRECTION('',(-1.,0.,0.));
  2435. #2368 = ORIENTED_EDGE('',*,*,#887,.F.);
  2436. #2369 = PLANE('',#2370);
  2437. #2370 = AXIS2_PLACEMENT_3D('',#2371,#2372,#2373);
  2438. #2371 = CARTESIAN_POINT('',(0.,0.,6.));
  2439. #2372 = DIRECTION('',(0.,0.,1.));
  2440. #2373 = DIRECTION('',(1.,0.,0.));
  2441. #2374 = ADVANCED_FACE('',(#2375),#2393,.T.);
  2442. #2375 = FACE_BOUND('',#2376,.T.);
  2443. #2376 = EDGE_LOOP('',(#2377,#2385,#2386,#2387));
  2444. #2377 = ORIENTED_EDGE('',*,*,#2378,.F.);
  2445. #2378 = EDGE_CURVE('',#872,#2379,#2381,.T.);
  2446. #2379 = VERTEX_POINT('',#2380);
  2447. #2380 = CARTESIAN_POINT('',(54.,20.5,2.));
  2448. #2381 = LINE('',#2382,#2383);
  2449. #2382 = CARTESIAN_POINT('',(-1.,20.5,2.));
  2450. #2383 = VECTOR('',#2384,1.);
  2451. #2384 = DIRECTION('',(1.,0.,0.));
  2452. #2385 = ORIENTED_EDGE('',*,*,#879,.T.);
  2453. #2386 = ORIENTED_EDGE('',*,*,#2363,.F.);
  2454. #2387 = ORIENTED_EDGE('',*,*,#2388,.F.);
  2455. #2388 = EDGE_CURVE('',#2379,#2356,#2389,.T.);
  2456. #2389 = LINE('',#2390,#2391);
  2457. #2390 = CARTESIAN_POINT('',(54.,20.5,1.));
  2458. #2391 = VECTOR('',#2392,1.);
  2459. #2392 = DIRECTION('',(0.,0.,1.));
  2460. #2393 = PLANE('',#2394);
  2461. #2394 = AXIS2_PLACEMENT_3D('',#2395,#2396,#2397);
  2462. #2395 = CARTESIAN_POINT('',(-1.,20.5,2.));
  2463. #2396 = DIRECTION('',(0.,1.,0.));
  2464. #2397 = DIRECTION('',(0.,0.,1.));
  2465. #2398 = ADVANCED_FACE('',(#2399),#2417,.T.);
  2466. #2399 = FACE_BOUND('',#2400,.T.);
  2467. #2400 = EDGE_LOOP('',(#2401,#2409,#2410,#2411));
  2468. #2401 = ORIENTED_EDGE('',*,*,#2402,.F.);
  2469. #2402 = EDGE_CURVE('',#864,#2403,#2405,.T.);
  2470. #2403 = VERTEX_POINT('',#2404);
  2471. #2404 = CARTESIAN_POINT('',(54.,22.5,2.));
  2472. #2405 = LINE('',#2406,#2407);
  2473. #2406 = CARTESIAN_POINT('',(-1.,22.5,2.));
  2474. #2407 = VECTOR('',#2408,1.);
  2475. #2408 = DIRECTION('',(1.,0.,0.));
  2476. #2409 = ORIENTED_EDGE('',*,*,#871,.T.);
  2477. #2410 = ORIENTED_EDGE('',*,*,#2378,.T.);
  2478. #2411 = ORIENTED_EDGE('',*,*,#2412,.F.);
  2479. #2412 = EDGE_CURVE('',#2403,#2379,#2413,.T.);
  2480. #2413 = LINE('',#2414,#2415);
  2481. #2414 = CARTESIAN_POINT('',(54.,10.25,2.));
  2482. #2415 = VECTOR('',#2416,1.);
  2483. #2416 = DIRECTION('',(0.,-1.,0.));
  2484. #2417 = PLANE('',#2418);
  2485. #2418 = AXIS2_PLACEMENT_3D('',#2419,#2420,#2421);
  2486. #2419 = CARTESIAN_POINT('',(-1.,20.5,2.));
  2487. #2420 = DIRECTION('',(0.,0.,1.));
  2488. #2421 = DIRECTION('',(1.,0.,0.));
  2489. #2422 = ADVANCED_FACE('',(#2423),#2441,.F.);
  2490. #2423 = FACE_BOUND('',#2424,.F.);
  2491. #2424 = EDGE_LOOP('',(#2425,#2426,#2427,#2435));
  2492. #2425 = ORIENTED_EDGE('',*,*,#2402,.F.);
  2493. #2426 = ORIENTED_EDGE('',*,*,#863,.T.);
  2494. #2427 = ORIENTED_EDGE('',*,*,#2428,.F.);
  2495. #2428 = EDGE_CURVE('',#2429,#856,#2431,.T.);
  2496. #2429 = VERTEX_POINT('',#2430);
  2497. #2430 = CARTESIAN_POINT('',(54.,22.5,6.));
  2498. #2431 = LINE('',#2432,#2433);
  2499. #2432 = CARTESIAN_POINT('',(-0.5,22.5,6.));
  2500. #2433 = VECTOR('',#2434,1.);
  2501. #2434 = DIRECTION('',(-1.,0.,0.));
  2502. #2435 = ORIENTED_EDGE('',*,*,#2436,.F.);
  2503. #2436 = EDGE_CURVE('',#2403,#2429,#2437,.T.);
  2504. #2437 = LINE('',#2438,#2439);
  2505. #2438 = CARTESIAN_POINT('',(54.,22.5,1.));
  2506. #2439 = VECTOR('',#2440,1.);
  2507. #2440 = DIRECTION('',(0.,0.,1.));
  2508. #2441 = PLANE('',#2442);
  2509. #2442 = AXIS2_PLACEMENT_3D('',#2443,#2444,#2445);
  2510. #2443 = CARTESIAN_POINT('',(-1.,22.5,2.));
  2511. #2444 = DIRECTION('',(0.,1.,0.));
  2512. #2445 = DIRECTION('',(0.,0.,1.));
  2513. #2446 = ADVANCED_FACE('',(#2447),#2465,.T.);
  2514. #2447 = FACE_BOUND('',#2448,.T.);
  2515. #2448 = EDGE_LOOP('',(#2449,#2450,#2458,#2464));
  2516. #2449 = ORIENTED_EDGE('',*,*,#2428,.F.);
  2517. #2450 = ORIENTED_EDGE('',*,*,#2451,.T.);
  2518. #2451 = EDGE_CURVE('',#2429,#2452,#2454,.T.);
  2519. #2452 = VERTEX_POINT('',#2453);
  2520. #2453 = CARTESIAN_POINT('',(54.,23.5,6.));
  2521. #2454 = LINE('',#2455,#2456);
  2522. #2455 = CARTESIAN_POINT('',(54.,0.,6.));
  2523. #2456 = VECTOR('',#2457,1.);
  2524. #2457 = DIRECTION('',(0.,1.,0.));
  2525. #2458 = ORIENTED_EDGE('',*,*,#2459,.T.);
  2526. #2459 = EDGE_CURVE('',#2452,#848,#2460,.T.);
  2527. #2460 = LINE('',#2461,#2462);
  2528. #2461 = CARTESIAN_POINT('',(-0.5,23.5,6.));
  2529. #2462 = VECTOR('',#2463,1.);
  2530. #2463 = DIRECTION('',(-1.,0.,0.));
  2531. #2464 = ORIENTED_EDGE('',*,*,#855,.F.);
  2532. #2465 = PLANE('',#2466);
  2533. #2466 = AXIS2_PLACEMENT_3D('',#2467,#2468,#2469);
  2534. #2467 = CARTESIAN_POINT('',(0.,0.,6.));
  2535. #2468 = DIRECTION('',(0.,0.,1.));
  2536. #2469 = DIRECTION('',(1.,0.,0.));
  2537. #2470 = ADVANCED_FACE('',(#2471),#2489,.T.);
  2538. #2471 = FACE_BOUND('',#2472,.T.);
  2539. #2472 = EDGE_LOOP('',(#2473,#2481,#2482,#2483));
  2540. #2473 = ORIENTED_EDGE('',*,*,#2474,.F.);
  2541. #2474 = EDGE_CURVE('',#840,#2475,#2477,.T.);
  2542. #2475 = VERTEX_POINT('',#2476);
  2543. #2476 = CARTESIAN_POINT('',(54.,23.5,2.));
  2544. #2477 = LINE('',#2478,#2479);
  2545. #2478 = CARTESIAN_POINT('',(-1.,23.5,2.));
  2546. #2479 = VECTOR('',#2480,1.);
  2547. #2480 = DIRECTION('',(1.,0.,0.));
  2548. #2481 = ORIENTED_EDGE('',*,*,#847,.T.);
  2549. #2482 = ORIENTED_EDGE('',*,*,#2459,.F.);
  2550. #2483 = ORIENTED_EDGE('',*,*,#2484,.F.);
  2551. #2484 = EDGE_CURVE('',#2475,#2452,#2485,.T.);
  2552. #2485 = LINE('',#2486,#2487);
  2553. #2486 = CARTESIAN_POINT('',(54.,23.5,1.));
  2554. #2487 = VECTOR('',#2488,1.);
  2555. #2488 = DIRECTION('',(0.,0.,1.));
  2556. #2489 = PLANE('',#2490);
  2557. #2490 = AXIS2_PLACEMENT_3D('',#2491,#2492,#2493);
  2558. #2491 = CARTESIAN_POINT('',(-1.,23.5,2.));
  2559. #2492 = DIRECTION('',(0.,1.,0.));
  2560. #2493 = DIRECTION('',(0.,0.,1.));
  2561. #2494 = ADVANCED_FACE('',(#2495),#2513,.T.);
  2562. #2495 = FACE_BOUND('',#2496,.T.);
  2563. #2496 = EDGE_LOOP('',(#2497,#2505,#2506,#2507));
  2564. #2497 = ORIENTED_EDGE('',*,*,#2498,.F.);
  2565. #2498 = EDGE_CURVE('',#832,#2499,#2501,.T.);
  2566. #2499 = VERTEX_POINT('',#2500);
  2567. #2500 = CARTESIAN_POINT('',(54.,25.5,2.));
  2568. #2501 = LINE('',#2502,#2503);
  2569. #2502 = CARTESIAN_POINT('',(-1.,25.5,2.));
  2570. #2503 = VECTOR('',#2504,1.);
  2571. #2504 = DIRECTION('',(1.,0.,0.));
  2572. #2505 = ORIENTED_EDGE('',*,*,#839,.T.);
  2573. #2506 = ORIENTED_EDGE('',*,*,#2474,.T.);
  2574. #2507 = ORIENTED_EDGE('',*,*,#2508,.F.);
  2575. #2508 = EDGE_CURVE('',#2499,#2475,#2509,.T.);
  2576. #2509 = LINE('',#2510,#2511);
  2577. #2510 = CARTESIAN_POINT('',(54.,11.75,2.));
  2578. #2511 = VECTOR('',#2512,1.);
  2579. #2512 = DIRECTION('',(0.,-1.,0.));
  2580. #2513 = PLANE('',#2514);
  2581. #2514 = AXIS2_PLACEMENT_3D('',#2515,#2516,#2517);
  2582. #2515 = CARTESIAN_POINT('',(-1.,23.5,2.));
  2583. #2516 = DIRECTION('',(0.,0.,1.));
  2584. #2517 = DIRECTION('',(1.,0.,0.));
  2585. #2518 = ADVANCED_FACE('',(#2519),#2537,.F.);
  2586. #2519 = FACE_BOUND('',#2520,.F.);
  2587. #2520 = EDGE_LOOP('',(#2521,#2522,#2523,#2531));
  2588. #2521 = ORIENTED_EDGE('',*,*,#2498,.F.);
  2589. #2522 = ORIENTED_EDGE('',*,*,#831,.T.);
  2590. #2523 = ORIENTED_EDGE('',*,*,#2524,.F.);
  2591. #2524 = EDGE_CURVE('',#2525,#824,#2527,.T.);
  2592. #2525 = VERTEX_POINT('',#2526);
  2593. #2526 = CARTESIAN_POINT('',(54.,25.5,6.));
  2594. #2527 = LINE('',#2528,#2529);
  2595. #2528 = CARTESIAN_POINT('',(-0.5,25.5,6.));
  2596. #2529 = VECTOR('',#2530,1.);
  2597. #2530 = DIRECTION('',(-1.,0.,0.));
  2598. #2531 = ORIENTED_EDGE('',*,*,#2532,.F.);
  2599. #2532 = EDGE_CURVE('',#2499,#2525,#2533,.T.);
  2600. #2533 = LINE('',#2534,#2535);
  2601. #2534 = CARTESIAN_POINT('',(54.,25.5,1.));
  2602. #2535 = VECTOR('',#2536,1.);
  2603. #2536 = DIRECTION('',(0.,0.,1.));
  2604. #2537 = PLANE('',#2538);
  2605. #2538 = AXIS2_PLACEMENT_3D('',#2539,#2540,#2541);
  2606. #2539 = CARTESIAN_POINT('',(-1.,25.5,2.));
  2607. #2540 = DIRECTION('',(0.,1.,0.));
  2608. #2541 = DIRECTION('',(0.,0.,1.));
  2609. #2542 = ADVANCED_FACE('',(#2543),#2561,.T.);
  2610. #2543 = FACE_BOUND('',#2544,.T.);
  2611. #2544 = EDGE_LOOP('',(#2545,#2546,#2554,#2560));
  2612. #2545 = ORIENTED_EDGE('',*,*,#2524,.F.);
  2613. #2546 = ORIENTED_EDGE('',*,*,#2547,.T.);
  2614. #2547 = EDGE_CURVE('',#2525,#2548,#2550,.T.);
  2615. #2548 = VERTEX_POINT('',#2549);
  2616. #2549 = CARTESIAN_POINT('',(54.,26.5,6.));
  2617. #2550 = LINE('',#2551,#2552);
  2618. #2551 = CARTESIAN_POINT('',(54.,0.,6.));
  2619. #2552 = VECTOR('',#2553,1.);
  2620. #2553 = DIRECTION('',(0.,1.,0.));
  2621. #2554 = ORIENTED_EDGE('',*,*,#2555,.T.);
  2622. #2555 = EDGE_CURVE('',#2548,#816,#2556,.T.);
  2623. #2556 = LINE('',#2557,#2558);
  2624. #2557 = CARTESIAN_POINT('',(-0.5,26.5,6.));
  2625. #2558 = VECTOR('',#2559,1.);
  2626. #2559 = DIRECTION('',(-1.,0.,0.));
  2627. #2560 = ORIENTED_EDGE('',*,*,#823,.F.);
  2628. #2561 = PLANE('',#2562);
  2629. #2562 = AXIS2_PLACEMENT_3D('',#2563,#2564,#2565);
  2630. #2563 = CARTESIAN_POINT('',(0.,0.,6.));
  2631. #2564 = DIRECTION('',(0.,0.,1.));
  2632. #2565 = DIRECTION('',(1.,0.,0.));
  2633. #2566 = ADVANCED_FACE('',(#2567),#2585,.T.);
  2634. #2567 = FACE_BOUND('',#2568,.T.);
  2635. #2568 = EDGE_LOOP('',(#2569,#2577,#2578,#2579));
  2636. #2569 = ORIENTED_EDGE('',*,*,#2570,.F.);
  2637. #2570 = EDGE_CURVE('',#808,#2571,#2573,.T.);
  2638. #2571 = VERTEX_POINT('',#2572);
  2639. #2572 = CARTESIAN_POINT('',(54.,26.5,2.));
  2640. #2573 = LINE('',#2574,#2575);
  2641. #2574 = CARTESIAN_POINT('',(-1.,26.5,2.));
  2642. #2575 = VECTOR('',#2576,1.);
  2643. #2576 = DIRECTION('',(1.,0.,0.));
  2644. #2577 = ORIENTED_EDGE('',*,*,#815,.T.);
  2645. #2578 = ORIENTED_EDGE('',*,*,#2555,.F.);
  2646. #2579 = ORIENTED_EDGE('',*,*,#2580,.F.);
  2647. #2580 = EDGE_CURVE('',#2571,#2548,#2581,.T.);
  2648. #2581 = LINE('',#2582,#2583);
  2649. #2582 = CARTESIAN_POINT('',(54.,26.5,1.));
  2650. #2583 = VECTOR('',#2584,1.);
  2651. #2584 = DIRECTION('',(0.,0.,1.));
  2652. #2585 = PLANE('',#2586);
  2653. #2586 = AXIS2_PLACEMENT_3D('',#2587,#2588,#2589);
  2654. #2587 = CARTESIAN_POINT('',(-1.,26.5,2.));
  2655. #2588 = DIRECTION('',(0.,1.,0.));
  2656. #2589 = DIRECTION('',(0.,0.,1.));
  2657. #2590 = ADVANCED_FACE('',(#2591),#2609,.T.);
  2658. #2591 = FACE_BOUND('',#2592,.T.);
  2659. #2592 = EDGE_LOOP('',(#2593,#2601,#2602,#2603));
  2660. #2593 = ORIENTED_EDGE('',*,*,#2594,.F.);
  2661. #2594 = EDGE_CURVE('',#800,#2595,#2597,.T.);
  2662. #2595 = VERTEX_POINT('',#2596);
  2663. #2596 = CARTESIAN_POINT('',(54.,28.5,2.));
  2664. #2597 = LINE('',#2598,#2599);
  2665. #2598 = CARTESIAN_POINT('',(-1.,28.5,2.));
  2666. #2599 = VECTOR('',#2600,1.);
  2667. #2600 = DIRECTION('',(1.,0.,0.));
  2668. #2601 = ORIENTED_EDGE('',*,*,#807,.T.);
  2669. #2602 = ORIENTED_EDGE('',*,*,#2570,.T.);
  2670. #2603 = ORIENTED_EDGE('',*,*,#2604,.F.);
  2671. #2604 = EDGE_CURVE('',#2595,#2571,#2605,.T.);
  2672. #2605 = LINE('',#2606,#2607);
  2673. #2606 = CARTESIAN_POINT('',(54.,13.25,2.));
  2674. #2607 = VECTOR('',#2608,1.);
  2675. #2608 = DIRECTION('',(0.,-1.,0.));
  2676. #2609 = PLANE('',#2610);
  2677. #2610 = AXIS2_PLACEMENT_3D('',#2611,#2612,#2613);
  2678. #2611 = CARTESIAN_POINT('',(-1.,26.5,2.));
  2679. #2612 = DIRECTION('',(0.,0.,1.));
  2680. #2613 = DIRECTION('',(1.,0.,0.));
  2681. #2614 = ADVANCED_FACE('',(#2615),#2633,.F.);
  2682. #2615 = FACE_BOUND('',#2616,.F.);
  2683. #2616 = EDGE_LOOP('',(#2617,#2618,#2619,#2627));
  2684. #2617 = ORIENTED_EDGE('',*,*,#2594,.F.);
  2685. #2618 = ORIENTED_EDGE('',*,*,#799,.T.);
  2686. #2619 = ORIENTED_EDGE('',*,*,#2620,.F.);
  2687. #2620 = EDGE_CURVE('',#2621,#792,#2623,.T.);
  2688. #2621 = VERTEX_POINT('',#2622);
  2689. #2622 = CARTESIAN_POINT('',(54.,28.5,6.));
  2690. #2623 = LINE('',#2624,#2625);
  2691. #2624 = CARTESIAN_POINT('',(-0.5,28.5,6.));
  2692. #2625 = VECTOR('',#2626,1.);
  2693. #2626 = DIRECTION('',(-1.,0.,0.));
  2694. #2627 = ORIENTED_EDGE('',*,*,#2628,.F.);
  2695. #2628 = EDGE_CURVE('',#2595,#2621,#2629,.T.);
  2696. #2629 = LINE('',#2630,#2631);
  2697. #2630 = CARTESIAN_POINT('',(54.,28.5,1.));
  2698. #2631 = VECTOR('',#2632,1.);
  2699. #2632 = DIRECTION('',(0.,0.,1.));
  2700. #2633 = PLANE('',#2634);
  2701. #2634 = AXIS2_PLACEMENT_3D('',#2635,#2636,#2637);
  2702. #2635 = CARTESIAN_POINT('',(-1.,28.5,2.));
  2703. #2636 = DIRECTION('',(0.,1.,0.));
  2704. #2637 = DIRECTION('',(0.,0.,1.));
  2705. #2638 = ADVANCED_FACE('',(#2639),#2657,.T.);
  2706. #2639 = FACE_BOUND('',#2640,.T.);
  2707. #2640 = EDGE_LOOP('',(#2641,#2642,#2650,#2656));
  2708. #2641 = ORIENTED_EDGE('',*,*,#2620,.F.);
  2709. #2642 = ORIENTED_EDGE('',*,*,#2643,.T.);
  2710. #2643 = EDGE_CURVE('',#2621,#2644,#2646,.T.);
  2711. #2644 = VERTEX_POINT('',#2645);
  2712. #2645 = CARTESIAN_POINT('',(54.,29.5,6.));
  2713. #2646 = LINE('',#2647,#2648);
  2714. #2647 = CARTESIAN_POINT('',(54.,0.,6.));
  2715. #2648 = VECTOR('',#2649,1.);
  2716. #2649 = DIRECTION('',(0.,1.,0.));
  2717. #2650 = ORIENTED_EDGE('',*,*,#2651,.T.);
  2718. #2651 = EDGE_CURVE('',#2644,#784,#2652,.T.);
  2719. #2652 = LINE('',#2653,#2654);
  2720. #2653 = CARTESIAN_POINT('',(-0.5,29.5,6.));
  2721. #2654 = VECTOR('',#2655,1.);
  2722. #2655 = DIRECTION('',(-1.,0.,0.));
  2723. #2656 = ORIENTED_EDGE('',*,*,#791,.F.);
  2724. #2657 = PLANE('',#2658);
  2725. #2658 = AXIS2_PLACEMENT_3D('',#2659,#2660,#2661);
  2726. #2659 = CARTESIAN_POINT('',(0.,0.,6.));
  2727. #2660 = DIRECTION('',(0.,0.,1.));
  2728. #2661 = DIRECTION('',(1.,0.,0.));
  2729. #2662 = ADVANCED_FACE('',(#2663),#2681,.T.);
  2730. #2663 = FACE_BOUND('',#2664,.T.);
  2731. #2664 = EDGE_LOOP('',(#2665,#2673,#2674,#2675));
  2732. #2665 = ORIENTED_EDGE('',*,*,#2666,.F.);
  2733. #2666 = EDGE_CURVE('',#776,#2667,#2669,.T.);
  2734. #2667 = VERTEX_POINT('',#2668);
  2735. #2668 = CARTESIAN_POINT('',(54.,29.5,2.));
  2736. #2669 = LINE('',#2670,#2671);
  2737. #2670 = CARTESIAN_POINT('',(-1.,29.5,2.));
  2738. #2671 = VECTOR('',#2672,1.);
  2739. #2672 = DIRECTION('',(1.,0.,0.));
  2740. #2673 = ORIENTED_EDGE('',*,*,#783,.T.);
  2741. #2674 = ORIENTED_EDGE('',*,*,#2651,.F.);
  2742. #2675 = ORIENTED_EDGE('',*,*,#2676,.F.);
  2743. #2676 = EDGE_CURVE('',#2667,#2644,#2677,.T.);
  2744. #2677 = LINE('',#2678,#2679);
  2745. #2678 = CARTESIAN_POINT('',(54.,29.5,1.));
  2746. #2679 = VECTOR('',#2680,1.);
  2747. #2680 = DIRECTION('',(0.,0.,1.));
  2748. #2681 = PLANE('',#2682);
  2749. #2682 = AXIS2_PLACEMENT_3D('',#2683,#2684,#2685);
  2750. #2683 = CARTESIAN_POINT('',(-1.,29.5,2.));
  2751. #2684 = DIRECTION('',(0.,1.,0.));
  2752. #2685 = DIRECTION('',(0.,0.,1.));
  2753. #2686 = ADVANCED_FACE('',(#2687),#2705,.T.);
  2754. #2687 = FACE_BOUND('',#2688,.T.);
  2755. #2688 = EDGE_LOOP('',(#2689,#2697,#2698,#2699));
  2756. #2689 = ORIENTED_EDGE('',*,*,#2690,.F.);
  2757. #2690 = EDGE_CURVE('',#768,#2691,#2693,.T.);
  2758. #2691 = VERTEX_POINT('',#2692);
  2759. #2692 = CARTESIAN_POINT('',(54.,31.5,2.));
  2760. #2693 = LINE('',#2694,#2695);
  2761. #2694 = CARTESIAN_POINT('',(-1.,31.5,2.));
  2762. #2695 = VECTOR('',#2696,1.);
  2763. #2696 = DIRECTION('',(1.,0.,0.));
  2764. #2697 = ORIENTED_EDGE('',*,*,#775,.T.);
  2765. #2698 = ORIENTED_EDGE('',*,*,#2666,.T.);
  2766. #2699 = ORIENTED_EDGE('',*,*,#2700,.F.);
  2767. #2700 = EDGE_CURVE('',#2691,#2667,#2701,.T.);
  2768. #2701 = LINE('',#2702,#2703);
  2769. #2702 = CARTESIAN_POINT('',(54.,14.75,2.));
  2770. #2703 = VECTOR('',#2704,1.);
  2771. #2704 = DIRECTION('',(0.,-1.,0.));
  2772. #2705 = PLANE('',#2706);
  2773. #2706 = AXIS2_PLACEMENT_3D('',#2707,#2708,#2709);
  2774. #2707 = CARTESIAN_POINT('',(-1.,29.5,2.));
  2775. #2708 = DIRECTION('',(0.,0.,1.));
  2776. #2709 = DIRECTION('',(1.,0.,0.));
  2777. #2710 = ADVANCED_FACE('',(#2711),#2729,.F.);
  2778. #2711 = FACE_BOUND('',#2712,.F.);
  2779. #2712 = EDGE_LOOP('',(#2713,#2714,#2715,#2723));
  2780. #2713 = ORIENTED_EDGE('',*,*,#2690,.F.);
  2781. #2714 = ORIENTED_EDGE('',*,*,#767,.T.);
  2782. #2715 = ORIENTED_EDGE('',*,*,#2716,.F.);
  2783. #2716 = EDGE_CURVE('',#2717,#760,#2719,.T.);
  2784. #2717 = VERTEX_POINT('',#2718);
  2785. #2718 = CARTESIAN_POINT('',(54.,31.5,6.));
  2786. #2719 = LINE('',#2720,#2721);
  2787. #2720 = CARTESIAN_POINT('',(-0.5,31.5,6.));
  2788. #2721 = VECTOR('',#2722,1.);
  2789. #2722 = DIRECTION('',(-1.,0.,0.));
  2790. #2723 = ORIENTED_EDGE('',*,*,#2724,.F.);
  2791. #2724 = EDGE_CURVE('',#2691,#2717,#2725,.T.);
  2792. #2725 = LINE('',#2726,#2727);
  2793. #2726 = CARTESIAN_POINT('',(54.,31.5,1.));
  2794. #2727 = VECTOR('',#2728,1.);
  2795. #2728 = DIRECTION('',(0.,0.,1.));
  2796. #2729 = PLANE('',#2730);
  2797. #2730 = AXIS2_PLACEMENT_3D('',#2731,#2732,#2733);
  2798. #2731 = CARTESIAN_POINT('',(-1.,31.5,2.));
  2799. #2732 = DIRECTION('',(0.,1.,0.));
  2800. #2733 = DIRECTION('',(0.,0.,1.));
  2801. #2734 = ADVANCED_FACE('',(#2735),#2753,.T.);
  2802. #2735 = FACE_BOUND('',#2736,.T.);
  2803. #2736 = EDGE_LOOP('',(#2737,#2738,#2746,#2752));
  2804. #2737 = ORIENTED_EDGE('',*,*,#2716,.F.);
  2805. #2738 = ORIENTED_EDGE('',*,*,#2739,.T.);
  2806. #2739 = EDGE_CURVE('',#2717,#2740,#2742,.T.);
  2807. #2740 = VERTEX_POINT('',#2741);
  2808. #2741 = CARTESIAN_POINT('',(54.,32.5,6.));
  2809. #2742 = LINE('',#2743,#2744);
  2810. #2743 = CARTESIAN_POINT('',(54.,0.,6.));
  2811. #2744 = VECTOR('',#2745,1.);
  2812. #2745 = DIRECTION('',(0.,1.,0.));
  2813. #2746 = ORIENTED_EDGE('',*,*,#2747,.T.);
  2814. #2747 = EDGE_CURVE('',#2740,#752,#2748,.T.);
  2815. #2748 = LINE('',#2749,#2750);
  2816. #2749 = CARTESIAN_POINT('',(-0.5,32.5,6.));
  2817. #2750 = VECTOR('',#2751,1.);
  2818. #2751 = DIRECTION('',(-1.,0.,0.));
  2819. #2752 = ORIENTED_EDGE('',*,*,#759,.F.);
  2820. #2753 = PLANE('',#2754);
  2821. #2754 = AXIS2_PLACEMENT_3D('',#2755,#2756,#2757);
  2822. #2755 = CARTESIAN_POINT('',(0.,0.,6.));
  2823. #2756 = DIRECTION('',(0.,0.,1.));
  2824. #2757 = DIRECTION('',(1.,0.,0.));
  2825. #2758 = ADVANCED_FACE('',(#2759),#2777,.T.);
  2826. #2759 = FACE_BOUND('',#2760,.T.);
  2827. #2760 = EDGE_LOOP('',(#2761,#2769,#2770,#2771));
  2828. #2761 = ORIENTED_EDGE('',*,*,#2762,.F.);
  2829. #2762 = EDGE_CURVE('',#744,#2763,#2765,.T.);
  2830. #2763 = VERTEX_POINT('',#2764);
  2831. #2764 = CARTESIAN_POINT('',(54.,32.5,2.));
  2832. #2765 = LINE('',#2766,#2767);
  2833. #2766 = CARTESIAN_POINT('',(-1.,32.5,2.));
  2834. #2767 = VECTOR('',#2768,1.);
  2835. #2768 = DIRECTION('',(1.,0.,0.));
  2836. #2769 = ORIENTED_EDGE('',*,*,#751,.T.);
  2837. #2770 = ORIENTED_EDGE('',*,*,#2747,.F.);
  2838. #2771 = ORIENTED_EDGE('',*,*,#2772,.F.);
  2839. #2772 = EDGE_CURVE('',#2763,#2740,#2773,.T.);
  2840. #2773 = LINE('',#2774,#2775);
  2841. #2774 = CARTESIAN_POINT('',(54.,32.5,1.));
  2842. #2775 = VECTOR('',#2776,1.);
  2843. #2776 = DIRECTION('',(0.,0.,1.));
  2844. #2777 = PLANE('',#2778);
  2845. #2778 = AXIS2_PLACEMENT_3D('',#2779,#2780,#2781);
  2846. #2779 = CARTESIAN_POINT('',(-1.,32.5,2.));
  2847. #2780 = DIRECTION('',(0.,1.,0.));
  2848. #2781 = DIRECTION('',(0.,0.,1.));
  2849. #2782 = ADVANCED_FACE('',(#2783),#2801,.T.);
  2850. #2783 = FACE_BOUND('',#2784,.T.);
  2851. #2784 = EDGE_LOOP('',(#2785,#2793,#2794,#2795));
  2852. #2785 = ORIENTED_EDGE('',*,*,#2786,.F.);
  2853. #2786 = EDGE_CURVE('',#736,#2787,#2789,.T.);
  2854. #2787 = VERTEX_POINT('',#2788);
  2855. #2788 = CARTESIAN_POINT('',(54.,34.5,2.));
  2856. #2789 = LINE('',#2790,#2791);
  2857. #2790 = CARTESIAN_POINT('',(-1.,34.5,2.));
  2858. #2791 = VECTOR('',#2792,1.);
  2859. #2792 = DIRECTION('',(1.,0.,0.));
  2860. #2793 = ORIENTED_EDGE('',*,*,#743,.T.);
  2861. #2794 = ORIENTED_EDGE('',*,*,#2762,.T.);
  2862. #2795 = ORIENTED_EDGE('',*,*,#2796,.F.);
  2863. #2796 = EDGE_CURVE('',#2787,#2763,#2797,.T.);
  2864. #2797 = LINE('',#2798,#2799);
  2865. #2798 = CARTESIAN_POINT('',(54.,16.25,2.));
  2866. #2799 = VECTOR('',#2800,1.);
  2867. #2800 = DIRECTION('',(0.,-1.,0.));
  2868. #2801 = PLANE('',#2802);
  2869. #2802 = AXIS2_PLACEMENT_3D('',#2803,#2804,#2805);
  2870. #2803 = CARTESIAN_POINT('',(-1.,32.5,2.));
  2871. #2804 = DIRECTION('',(0.,0.,1.));
  2872. #2805 = DIRECTION('',(1.,0.,0.));
  2873. #2806 = ADVANCED_FACE('',(#2807),#2825,.F.);
  2874. #2807 = FACE_BOUND('',#2808,.F.);
  2875. #2808 = EDGE_LOOP('',(#2809,#2810,#2811,#2819));
  2876. #2809 = ORIENTED_EDGE('',*,*,#2786,.F.);
  2877. #2810 = ORIENTED_EDGE('',*,*,#735,.T.);
  2878. #2811 = ORIENTED_EDGE('',*,*,#2812,.F.);
  2879. #2812 = EDGE_CURVE('',#2813,#728,#2815,.T.);
  2880. #2813 = VERTEX_POINT('',#2814);
  2881. #2814 = CARTESIAN_POINT('',(54.,34.5,6.));
  2882. #2815 = LINE('',#2816,#2817);
  2883. #2816 = CARTESIAN_POINT('',(-0.5,34.5,6.));
  2884. #2817 = VECTOR('',#2818,1.);
  2885. #2818 = DIRECTION('',(-1.,0.,0.));
  2886. #2819 = ORIENTED_EDGE('',*,*,#2820,.F.);
  2887. #2820 = EDGE_CURVE('',#2787,#2813,#2821,.T.);
  2888. #2821 = LINE('',#2822,#2823);
  2889. #2822 = CARTESIAN_POINT('',(54.,34.5,1.));
  2890. #2823 = VECTOR('',#2824,1.);
  2891. #2824 = DIRECTION('',(0.,0.,1.));
  2892. #2825 = PLANE('',#2826);
  2893. #2826 = AXIS2_PLACEMENT_3D('',#2827,#2828,#2829);
  2894. #2827 = CARTESIAN_POINT('',(-1.,34.5,2.));
  2895. #2828 = DIRECTION('',(0.,1.,0.));
  2896. #2829 = DIRECTION('',(0.,0.,1.));
  2897. #2830 = ADVANCED_FACE('',(#2831),#2849,.T.);
  2898. #2831 = FACE_BOUND('',#2832,.T.);
  2899. #2832 = EDGE_LOOP('',(#2833,#2834,#2842,#2848));
  2900. #2833 = ORIENTED_EDGE('',*,*,#2812,.F.);
  2901. #2834 = ORIENTED_EDGE('',*,*,#2835,.T.);
  2902. #2835 = EDGE_CURVE('',#2813,#2836,#2838,.T.);
  2903. #2836 = VERTEX_POINT('',#2837);
  2904. #2837 = CARTESIAN_POINT('',(54.,35.5,6.));
  2905. #2838 = LINE('',#2839,#2840);
  2906. #2839 = CARTESIAN_POINT('',(54.,0.,6.));
  2907. #2840 = VECTOR('',#2841,1.);
  2908. #2841 = DIRECTION('',(0.,1.,0.));
  2909. #2842 = ORIENTED_EDGE('',*,*,#2843,.T.);
  2910. #2843 = EDGE_CURVE('',#2836,#720,#2844,.T.);
  2911. #2844 = LINE('',#2845,#2846);
  2912. #2845 = CARTESIAN_POINT('',(-0.5,35.5,6.));
  2913. #2846 = VECTOR('',#2847,1.);
  2914. #2847 = DIRECTION('',(-1.,0.,0.));
  2915. #2848 = ORIENTED_EDGE('',*,*,#727,.F.);
  2916. #2849 = PLANE('',#2850);
  2917. #2850 = AXIS2_PLACEMENT_3D('',#2851,#2852,#2853);
  2918. #2851 = CARTESIAN_POINT('',(0.,0.,6.));
  2919. #2852 = DIRECTION('',(0.,0.,1.));
  2920. #2853 = DIRECTION('',(1.,0.,0.));
  2921. #2854 = ADVANCED_FACE('',(#2855),#2873,.T.);
  2922. #2855 = FACE_BOUND('',#2856,.T.);
  2923. #2856 = EDGE_LOOP('',(#2857,#2865,#2866,#2867));
  2924. #2857 = ORIENTED_EDGE('',*,*,#2858,.F.);
  2925. #2858 = EDGE_CURVE('',#712,#2859,#2861,.T.);
  2926. #2859 = VERTEX_POINT('',#2860);
  2927. #2860 = CARTESIAN_POINT('',(54.,35.5,2.));
  2928. #2861 = LINE('',#2862,#2863);
  2929. #2862 = CARTESIAN_POINT('',(-1.,35.5,2.));
  2930. #2863 = VECTOR('',#2864,1.);
  2931. #2864 = DIRECTION('',(1.,0.,0.));
  2932. #2865 = ORIENTED_EDGE('',*,*,#719,.T.);
  2933. #2866 = ORIENTED_EDGE('',*,*,#2843,.F.);
  2934. #2867 = ORIENTED_EDGE('',*,*,#2868,.F.);
  2935. #2868 = EDGE_CURVE('',#2859,#2836,#2869,.T.);
  2936. #2869 = LINE('',#2870,#2871);
  2937. #2870 = CARTESIAN_POINT('',(54.,35.5,1.));
  2938. #2871 = VECTOR('',#2872,1.);
  2939. #2872 = DIRECTION('',(0.,0.,1.));
  2940. #2873 = PLANE('',#2874);
  2941. #2874 = AXIS2_PLACEMENT_3D('',#2875,#2876,#2877);
  2942. #2875 = CARTESIAN_POINT('',(-1.,35.5,2.));
  2943. #2876 = DIRECTION('',(0.,1.,0.));
  2944. #2877 = DIRECTION('',(0.,0.,1.));
  2945. #2878 = ADVANCED_FACE('',(#2879),#2897,.T.);
  2946. #2879 = FACE_BOUND('',#2880,.T.);
  2947. #2880 = EDGE_LOOP('',(#2881,#2889,#2890,#2891));
  2948. #2881 = ORIENTED_EDGE('',*,*,#2882,.F.);
  2949. #2882 = EDGE_CURVE('',#704,#2883,#2885,.T.);
  2950. #2883 = VERTEX_POINT('',#2884);
  2951. #2884 = CARTESIAN_POINT('',(54.,37.5,2.));
  2952. #2885 = LINE('',#2886,#2887);
  2953. #2886 = CARTESIAN_POINT('',(-1.,37.5,2.));
  2954. #2887 = VECTOR('',#2888,1.);
  2955. #2888 = DIRECTION('',(1.,0.,0.));
  2956. #2889 = ORIENTED_EDGE('',*,*,#711,.T.);
  2957. #2890 = ORIENTED_EDGE('',*,*,#2858,.T.);
  2958. #2891 = ORIENTED_EDGE('',*,*,#2892,.F.);
  2959. #2892 = EDGE_CURVE('',#2883,#2859,#2893,.T.);
  2960. #2893 = LINE('',#2894,#2895);
  2961. #2894 = CARTESIAN_POINT('',(54.,17.75,2.));
  2962. #2895 = VECTOR('',#2896,1.);
  2963. #2896 = DIRECTION('',(0.,-1.,0.));
  2964. #2897 = PLANE('',#2898);
  2965. #2898 = AXIS2_PLACEMENT_3D('',#2899,#2900,#2901);
  2966. #2899 = CARTESIAN_POINT('',(-1.,35.5,2.));
  2967. #2900 = DIRECTION('',(0.,0.,1.));
  2968. #2901 = DIRECTION('',(1.,0.,0.));
  2969. #2902 = ADVANCED_FACE('',(#2903),#2921,.F.);
  2970. #2903 = FACE_BOUND('',#2904,.F.);
  2971. #2904 = EDGE_LOOP('',(#2905,#2906,#2907,#2915));
  2972. #2905 = ORIENTED_EDGE('',*,*,#2882,.F.);
  2973. #2906 = ORIENTED_EDGE('',*,*,#703,.T.);
  2974. #2907 = ORIENTED_EDGE('',*,*,#2908,.F.);
  2975. #2908 = EDGE_CURVE('',#2909,#696,#2911,.T.);
  2976. #2909 = VERTEX_POINT('',#2910);
  2977. #2910 = CARTESIAN_POINT('',(54.,37.5,6.));
  2978. #2911 = LINE('',#2912,#2913);
  2979. #2912 = CARTESIAN_POINT('',(-0.5,37.5,6.));
  2980. #2913 = VECTOR('',#2914,1.);
  2981. #2914 = DIRECTION('',(-1.,0.,0.));
  2982. #2915 = ORIENTED_EDGE('',*,*,#2916,.F.);
  2983. #2916 = EDGE_CURVE('',#2883,#2909,#2917,.T.);
  2984. #2917 = LINE('',#2918,#2919);
  2985. #2918 = CARTESIAN_POINT('',(54.,37.5,1.));
  2986. #2919 = VECTOR('',#2920,1.);
  2987. #2920 = DIRECTION('',(0.,0.,1.));
  2988. #2921 = PLANE('',#2922);
  2989. #2922 = AXIS2_PLACEMENT_3D('',#2923,#2924,#2925);
  2990. #2923 = CARTESIAN_POINT('',(-1.,37.5,2.));
  2991. #2924 = DIRECTION('',(0.,1.,0.));
  2992. #2925 = DIRECTION('',(0.,0.,1.));
  2993. #2926 = ADVANCED_FACE('',(#2927),#2945,.T.);
  2994. #2927 = FACE_BOUND('',#2928,.T.);
  2995. #2928 = EDGE_LOOP('',(#2929,#2930,#2938,#2944));
  2996. #2929 = ORIENTED_EDGE('',*,*,#2908,.F.);
  2997. #2930 = ORIENTED_EDGE('',*,*,#2931,.T.);
  2998. #2931 = EDGE_CURVE('',#2909,#2932,#2934,.T.);
  2999. #2932 = VERTEX_POINT('',#2933);
  3000. #2933 = CARTESIAN_POINT('',(54.,38.5,6.));
  3001. #2934 = LINE('',#2935,#2936);
  3002. #2935 = CARTESIAN_POINT('',(54.,0.,6.));
  3003. #2936 = VECTOR('',#2937,1.);
  3004. #2937 = DIRECTION('',(0.,1.,0.));
  3005. #2938 = ORIENTED_EDGE('',*,*,#2939,.T.);
  3006. #2939 = EDGE_CURVE('',#2932,#688,#2940,.T.);
  3007. #2940 = LINE('',#2941,#2942);
  3008. #2941 = CARTESIAN_POINT('',(-0.5,38.5,6.));
  3009. #2942 = VECTOR('',#2943,1.);
  3010. #2943 = DIRECTION('',(-1.,0.,0.));
  3011. #2944 = ORIENTED_EDGE('',*,*,#695,.F.);
  3012. #2945 = PLANE('',#2946);
  3013. #2946 = AXIS2_PLACEMENT_3D('',#2947,#2948,#2949);
  3014. #2947 = CARTESIAN_POINT('',(0.,0.,6.));
  3015. #2948 = DIRECTION('',(0.,0.,1.));
  3016. #2949 = DIRECTION('',(1.,0.,0.));
  3017. #2950 = ADVANCED_FACE('',(#2951),#2969,.T.);
  3018. #2951 = FACE_BOUND('',#2952,.T.);
  3019. #2952 = EDGE_LOOP('',(#2953,#2961,#2962,#2963));
  3020. #2953 = ORIENTED_EDGE('',*,*,#2954,.F.);
  3021. #2954 = EDGE_CURVE('',#680,#2955,#2957,.T.);
  3022. #2955 = VERTEX_POINT('',#2956);
  3023. #2956 = CARTESIAN_POINT('',(54.,38.5,2.));
  3024. #2957 = LINE('',#2958,#2959);
  3025. #2958 = CARTESIAN_POINT('',(-1.,38.5,2.));
  3026. #2959 = VECTOR('',#2960,1.);
  3027. #2960 = DIRECTION('',(1.,0.,0.));
  3028. #2961 = ORIENTED_EDGE('',*,*,#687,.T.);
  3029. #2962 = ORIENTED_EDGE('',*,*,#2939,.F.);
  3030. #2963 = ORIENTED_EDGE('',*,*,#2964,.F.);
  3031. #2964 = EDGE_CURVE('',#2955,#2932,#2965,.T.);
  3032. #2965 = LINE('',#2966,#2967);
  3033. #2966 = CARTESIAN_POINT('',(54.,38.5,1.));
  3034. #2967 = VECTOR('',#2968,1.);
  3035. #2968 = DIRECTION('',(0.,0.,1.));
  3036. #2969 = PLANE('',#2970);
  3037. #2970 = AXIS2_PLACEMENT_3D('',#2971,#2972,#2973);
  3038. #2971 = CARTESIAN_POINT('',(-1.,38.5,2.));
  3039. #2972 = DIRECTION('',(0.,1.,0.));
  3040. #2973 = DIRECTION('',(0.,0.,1.));
  3041. #2974 = ADVANCED_FACE('',(#2975),#2993,.T.);
  3042. #2975 = FACE_BOUND('',#2976,.T.);
  3043. #2976 = EDGE_LOOP('',(#2977,#2985,#2986,#2987));
  3044. #2977 = ORIENTED_EDGE('',*,*,#2978,.F.);
  3045. #2978 = EDGE_CURVE('',#672,#2979,#2981,.T.);
  3046. #2979 = VERTEX_POINT('',#2980);
  3047. #2980 = CARTESIAN_POINT('',(54.,40.5,2.));
  3048. #2981 = LINE('',#2982,#2983);
  3049. #2982 = CARTESIAN_POINT('',(-1.,40.5,2.));
  3050. #2983 = VECTOR('',#2984,1.);
  3051. #2984 = DIRECTION('',(1.,0.,0.));
  3052. #2985 = ORIENTED_EDGE('',*,*,#679,.T.);
  3053. #2986 = ORIENTED_EDGE('',*,*,#2954,.T.);
  3054. #2987 = ORIENTED_EDGE('',*,*,#2988,.F.);
  3055. #2988 = EDGE_CURVE('',#2979,#2955,#2989,.T.);
  3056. #2989 = LINE('',#2990,#2991);
  3057. #2990 = CARTESIAN_POINT('',(54.,19.25,2.));
  3058. #2991 = VECTOR('',#2992,1.);
  3059. #2992 = DIRECTION('',(0.,-1.,0.));
  3060. #2993 = PLANE('',#2994);
  3061. #2994 = AXIS2_PLACEMENT_3D('',#2995,#2996,#2997);
  3062. #2995 = CARTESIAN_POINT('',(-1.,38.5,2.));
  3063. #2996 = DIRECTION('',(0.,0.,1.));
  3064. #2997 = DIRECTION('',(1.,0.,0.));
  3065. #2998 = ADVANCED_FACE('',(#2999),#3017,.F.);
  3066. #2999 = FACE_BOUND('',#3000,.F.);
  3067. #3000 = EDGE_LOOP('',(#3001,#3002,#3003,#3011));
  3068. #3001 = ORIENTED_EDGE('',*,*,#2978,.F.);
  3069. #3002 = ORIENTED_EDGE('',*,*,#671,.T.);
  3070. #3003 = ORIENTED_EDGE('',*,*,#3004,.F.);
  3071. #3004 = EDGE_CURVE('',#3005,#664,#3007,.T.);
  3072. #3005 = VERTEX_POINT('',#3006);
  3073. #3006 = CARTESIAN_POINT('',(54.,40.5,6.));
  3074. #3007 = LINE('',#3008,#3009);
  3075. #3008 = CARTESIAN_POINT('',(-0.5,40.5,6.));
  3076. #3009 = VECTOR('',#3010,1.);
  3077. #3010 = DIRECTION('',(-1.,0.,0.));
  3078. #3011 = ORIENTED_EDGE('',*,*,#3012,.F.);
  3079. #3012 = EDGE_CURVE('',#2979,#3005,#3013,.T.);
  3080. #3013 = LINE('',#3014,#3015);
  3081. #3014 = CARTESIAN_POINT('',(54.,40.5,1.));
  3082. #3015 = VECTOR('',#3016,1.);
  3083. #3016 = DIRECTION('',(0.,0.,1.));
  3084. #3017 = PLANE('',#3018);
  3085. #3018 = AXIS2_PLACEMENT_3D('',#3019,#3020,#3021);
  3086. #3019 = CARTESIAN_POINT('',(-1.,40.5,2.));
  3087. #3020 = DIRECTION('',(0.,1.,0.));
  3088. #3021 = DIRECTION('',(0.,0.,1.));
  3089. #3022 = ADVANCED_FACE('',(#3023),#3041,.T.);
  3090. #3023 = FACE_BOUND('',#3024,.T.);
  3091. #3024 = EDGE_LOOP('',(#3025,#3026,#3034,#3040));
  3092. #3025 = ORIENTED_EDGE('',*,*,#3004,.F.);
  3093. #3026 = ORIENTED_EDGE('',*,*,#3027,.T.);
  3094. #3027 = EDGE_CURVE('',#3005,#3028,#3030,.T.);
  3095. #3028 = VERTEX_POINT('',#3029);
  3096. #3029 = CARTESIAN_POINT('',(54.,41.5,6.));
  3097. #3030 = LINE('',#3031,#3032);
  3098. #3031 = CARTESIAN_POINT('',(54.,0.,6.));
  3099. #3032 = VECTOR('',#3033,1.);
  3100. #3033 = DIRECTION('',(0.,1.,0.));
  3101. #3034 = ORIENTED_EDGE('',*,*,#3035,.T.);
  3102. #3035 = EDGE_CURVE('',#3028,#656,#3036,.T.);
  3103. #3036 = LINE('',#3037,#3038);
  3104. #3037 = CARTESIAN_POINT('',(-0.5,41.5,6.));
  3105. #3038 = VECTOR('',#3039,1.);
  3106. #3039 = DIRECTION('',(-1.,0.,0.));
  3107. #3040 = ORIENTED_EDGE('',*,*,#663,.F.);
  3108. #3041 = PLANE('',#3042);
  3109. #3042 = AXIS2_PLACEMENT_3D('',#3043,#3044,#3045);
  3110. #3043 = CARTESIAN_POINT('',(0.,0.,6.));
  3111. #3044 = DIRECTION('',(0.,0.,1.));
  3112. #3045 = DIRECTION('',(1.,0.,0.));
  3113. #3046 = ADVANCED_FACE('',(#3047),#3065,.T.);
  3114. #3047 = FACE_BOUND('',#3048,.T.);
  3115. #3048 = EDGE_LOOP('',(#3049,#3057,#3058,#3059));
  3116. #3049 = ORIENTED_EDGE('',*,*,#3050,.F.);
  3117. #3050 = EDGE_CURVE('',#648,#3051,#3053,.T.);
  3118. #3051 = VERTEX_POINT('',#3052);
  3119. #3052 = CARTESIAN_POINT('',(54.,41.5,2.));
  3120. #3053 = LINE('',#3054,#3055);
  3121. #3054 = CARTESIAN_POINT('',(-1.,41.5,2.));
  3122. #3055 = VECTOR('',#3056,1.);
  3123. #3056 = DIRECTION('',(1.,0.,0.));
  3124. #3057 = ORIENTED_EDGE('',*,*,#655,.T.);
  3125. #3058 = ORIENTED_EDGE('',*,*,#3035,.F.);
  3126. #3059 = ORIENTED_EDGE('',*,*,#3060,.F.);
  3127. #3060 = EDGE_CURVE('',#3051,#3028,#3061,.T.);
  3128. #3061 = LINE('',#3062,#3063);
  3129. #3062 = CARTESIAN_POINT('',(54.,41.5,1.));
  3130. #3063 = VECTOR('',#3064,1.);
  3131. #3064 = DIRECTION('',(0.,0.,1.));
  3132. #3065 = PLANE('',#3066);
  3133. #3066 = AXIS2_PLACEMENT_3D('',#3067,#3068,#3069);
  3134. #3067 = CARTESIAN_POINT('',(-1.,41.5,2.));
  3135. #3068 = DIRECTION('',(0.,1.,0.));
  3136. #3069 = DIRECTION('',(0.,0.,1.));
  3137. #3070 = ADVANCED_FACE('',(#3071),#3089,.T.);
  3138. #3071 = FACE_BOUND('',#3072,.T.);
  3139. #3072 = EDGE_LOOP('',(#3073,#3081,#3082,#3083));
  3140. #3073 = ORIENTED_EDGE('',*,*,#3074,.F.);
  3141. #3074 = EDGE_CURVE('',#640,#3075,#3077,.T.);
  3142. #3075 = VERTEX_POINT('',#3076);
  3143. #3076 = CARTESIAN_POINT('',(54.,43.5,2.));
  3144. #3077 = LINE('',#3078,#3079);
  3145. #3078 = CARTESIAN_POINT('',(-1.,43.5,2.));
  3146. #3079 = VECTOR('',#3080,1.);
  3147. #3080 = DIRECTION('',(1.,0.,0.));
  3148. #3081 = ORIENTED_EDGE('',*,*,#647,.T.);
  3149. #3082 = ORIENTED_EDGE('',*,*,#3050,.T.);
  3150. #3083 = ORIENTED_EDGE('',*,*,#3084,.F.);
  3151. #3084 = EDGE_CURVE('',#3075,#3051,#3085,.T.);
  3152. #3085 = LINE('',#3086,#3087);
  3153. #3086 = CARTESIAN_POINT('',(54.,20.75,2.));
  3154. #3087 = VECTOR('',#3088,1.);
  3155. #3088 = DIRECTION('',(0.,-1.,0.));
  3156. #3089 = PLANE('',#3090);
  3157. #3090 = AXIS2_PLACEMENT_3D('',#3091,#3092,#3093);
  3158. #3091 = CARTESIAN_POINT('',(-1.,41.5,2.));
  3159. #3092 = DIRECTION('',(0.,0.,1.));
  3160. #3093 = DIRECTION('',(1.,0.,0.));
  3161. #3094 = ADVANCED_FACE('',(#3095),#3113,.F.);
  3162. #3095 = FACE_BOUND('',#3096,.F.);
  3163. #3096 = EDGE_LOOP('',(#3097,#3098,#3099,#3107));
  3164. #3097 = ORIENTED_EDGE('',*,*,#3074,.F.);
  3165. #3098 = ORIENTED_EDGE('',*,*,#639,.T.);
  3166. #3099 = ORIENTED_EDGE('',*,*,#3100,.F.);
  3167. #3100 = EDGE_CURVE('',#3101,#632,#3103,.T.);
  3168. #3101 = VERTEX_POINT('',#3102);
  3169. #3102 = CARTESIAN_POINT('',(54.,43.5,6.));
  3170. #3103 = LINE('',#3104,#3105);
  3171. #3104 = CARTESIAN_POINT('',(-0.5,43.5,6.));
  3172. #3105 = VECTOR('',#3106,1.);
  3173. #3106 = DIRECTION('',(-1.,0.,0.));
  3174. #3107 = ORIENTED_EDGE('',*,*,#3108,.F.);
  3175. #3108 = EDGE_CURVE('',#3075,#3101,#3109,.T.);
  3176. #3109 = LINE('',#3110,#3111);
  3177. #3110 = CARTESIAN_POINT('',(54.,43.5,1.));
  3178. #3111 = VECTOR('',#3112,1.);
  3179. #3112 = DIRECTION('',(0.,0.,1.));
  3180. #3113 = PLANE('',#3114);
  3181. #3114 = AXIS2_PLACEMENT_3D('',#3115,#3116,#3117);
  3182. #3115 = CARTESIAN_POINT('',(-1.,43.5,2.));
  3183. #3116 = DIRECTION('',(0.,1.,0.));
  3184. #3117 = DIRECTION('',(0.,0.,1.));
  3185. #3118 = ADVANCED_FACE('',(#3119),#3137,.T.);
  3186. #3119 = FACE_BOUND('',#3120,.T.);
  3187. #3120 = EDGE_LOOP('',(#3121,#3122,#3130,#3136));
  3188. #3121 = ORIENTED_EDGE('',*,*,#3100,.F.);
  3189. #3122 = ORIENTED_EDGE('',*,*,#3123,.T.);
  3190. #3123 = EDGE_CURVE('',#3101,#3124,#3126,.T.);
  3191. #3124 = VERTEX_POINT('',#3125);
  3192. #3125 = CARTESIAN_POINT('',(54.,44.5,6.));
  3193. #3126 = LINE('',#3127,#3128);
  3194. #3127 = CARTESIAN_POINT('',(54.,0.,6.));
  3195. #3128 = VECTOR('',#3129,1.);
  3196. #3129 = DIRECTION('',(0.,1.,0.));
  3197. #3130 = ORIENTED_EDGE('',*,*,#3131,.T.);
  3198. #3131 = EDGE_CURVE('',#3124,#624,#3132,.T.);
  3199. #3132 = LINE('',#3133,#3134);
  3200. #3133 = CARTESIAN_POINT('',(-0.5,44.5,6.));
  3201. #3134 = VECTOR('',#3135,1.);
  3202. #3135 = DIRECTION('',(-1.,0.,0.));
  3203. #3136 = ORIENTED_EDGE('',*,*,#631,.F.);
  3204. #3137 = PLANE('',#3138);
  3205. #3138 = AXIS2_PLACEMENT_3D('',#3139,#3140,#3141);
  3206. #3139 = CARTESIAN_POINT('',(0.,0.,6.));
  3207. #3140 = DIRECTION('',(0.,0.,1.));
  3208. #3141 = DIRECTION('',(1.,0.,0.));
  3209. #3142 = ADVANCED_FACE('',(#3143),#3161,.T.);
  3210. #3143 = FACE_BOUND('',#3144,.T.);
  3211. #3144 = EDGE_LOOP('',(#3145,#3153,#3154,#3155));
  3212. #3145 = ORIENTED_EDGE('',*,*,#3146,.F.);
  3213. #3146 = EDGE_CURVE('',#616,#3147,#3149,.T.);
  3214. #3147 = VERTEX_POINT('',#3148);
  3215. #3148 = CARTESIAN_POINT('',(54.,44.5,2.));
  3216. #3149 = LINE('',#3150,#3151);
  3217. #3150 = CARTESIAN_POINT('',(-1.,44.5,2.));
  3218. #3151 = VECTOR('',#3152,1.);
  3219. #3152 = DIRECTION('',(1.,0.,0.));
  3220. #3153 = ORIENTED_EDGE('',*,*,#623,.T.);
  3221. #3154 = ORIENTED_EDGE('',*,*,#3131,.F.);
  3222. #3155 = ORIENTED_EDGE('',*,*,#3156,.F.);
  3223. #3156 = EDGE_CURVE('',#3147,#3124,#3157,.T.);
  3224. #3157 = LINE('',#3158,#3159);
  3225. #3158 = CARTESIAN_POINT('',(54.,44.5,1.));
  3226. #3159 = VECTOR('',#3160,1.);
  3227. #3160 = DIRECTION('',(0.,0.,1.));
  3228. #3161 = PLANE('',#3162);
  3229. #3162 = AXIS2_PLACEMENT_3D('',#3163,#3164,#3165);
  3230. #3163 = CARTESIAN_POINT('',(-1.,44.5,2.));
  3231. #3164 = DIRECTION('',(0.,1.,0.));
  3232. #3165 = DIRECTION('',(0.,0.,1.));
  3233. #3166 = ADVANCED_FACE('',(#3167),#3185,.T.);
  3234. #3167 = FACE_BOUND('',#3168,.T.);
  3235. #3168 = EDGE_LOOP('',(#3169,#3177,#3178,#3179));
  3236. #3169 = ORIENTED_EDGE('',*,*,#3170,.F.);
  3237. #3170 = EDGE_CURVE('',#608,#3171,#3173,.T.);
  3238. #3171 = VERTEX_POINT('',#3172);
  3239. #3172 = CARTESIAN_POINT('',(54.,46.5,2.));
  3240. #3173 = LINE('',#3174,#3175);
  3241. #3174 = CARTESIAN_POINT('',(-1.,46.5,2.));
  3242. #3175 = VECTOR('',#3176,1.);
  3243. #3176 = DIRECTION('',(1.,0.,0.));
  3244. #3177 = ORIENTED_EDGE('',*,*,#615,.T.);
  3245. #3178 = ORIENTED_EDGE('',*,*,#3146,.T.);
  3246. #3179 = ORIENTED_EDGE('',*,*,#3180,.F.);
  3247. #3180 = EDGE_CURVE('',#3171,#3147,#3181,.T.);
  3248. #3181 = LINE('',#3182,#3183);
  3249. #3182 = CARTESIAN_POINT('',(54.,22.25,2.));
  3250. #3183 = VECTOR('',#3184,1.);
  3251. #3184 = DIRECTION('',(0.,-1.,0.));
  3252. #3185 = PLANE('',#3186);
  3253. #3186 = AXIS2_PLACEMENT_3D('',#3187,#3188,#3189);
  3254. #3187 = CARTESIAN_POINT('',(-1.,44.5,2.));
  3255. #3188 = DIRECTION('',(0.,0.,1.));
  3256. #3189 = DIRECTION('',(1.,0.,0.));
  3257. #3190 = ADVANCED_FACE('',(#3191),#3209,.F.);
  3258. #3191 = FACE_BOUND('',#3192,.F.);
  3259. #3192 = EDGE_LOOP('',(#3193,#3194,#3195,#3203));
  3260. #3193 = ORIENTED_EDGE('',*,*,#3170,.F.);
  3261. #3194 = ORIENTED_EDGE('',*,*,#607,.T.);
  3262. #3195 = ORIENTED_EDGE('',*,*,#3196,.F.);
  3263. #3196 = EDGE_CURVE('',#3197,#600,#3199,.T.);
  3264. #3197 = VERTEX_POINT('',#3198);
  3265. #3198 = CARTESIAN_POINT('',(54.,46.5,6.));
  3266. #3199 = LINE('',#3200,#3201);
  3267. #3200 = CARTESIAN_POINT('',(-0.5,46.5,6.));
  3268. #3201 = VECTOR('',#3202,1.);
  3269. #3202 = DIRECTION('',(-1.,0.,0.));
  3270. #3203 = ORIENTED_EDGE('',*,*,#3204,.F.);
  3271. #3204 = EDGE_CURVE('',#3171,#3197,#3205,.T.);
  3272. #3205 = LINE('',#3206,#3207);
  3273. #3206 = CARTESIAN_POINT('',(54.,46.5,1.));
  3274. #3207 = VECTOR('',#3208,1.);
  3275. #3208 = DIRECTION('',(0.,0.,1.));
  3276. #3209 = PLANE('',#3210);
  3277. #3210 = AXIS2_PLACEMENT_3D('',#3211,#3212,#3213);
  3278. #3211 = CARTESIAN_POINT('',(-1.,46.5,2.));
  3279. #3212 = DIRECTION('',(0.,1.,0.));
  3280. #3213 = DIRECTION('',(0.,0.,1.));
  3281. #3214 = ADVANCED_FACE('',(#3215),#3233,.T.);
  3282. #3215 = FACE_BOUND('',#3216,.T.);
  3283. #3216 = EDGE_LOOP('',(#3217,#3218,#3226,#3232));
  3284. #3217 = ORIENTED_EDGE('',*,*,#3196,.F.);
  3285. #3218 = ORIENTED_EDGE('',*,*,#3219,.T.);
  3286. #3219 = EDGE_CURVE('',#3197,#3220,#3222,.T.);
  3287. #3220 = VERTEX_POINT('',#3221);
  3288. #3221 = CARTESIAN_POINT('',(54.,47.5,6.));
  3289. #3222 = LINE('',#3223,#3224);
  3290. #3223 = CARTESIAN_POINT('',(54.,0.,6.));
  3291. #3224 = VECTOR('',#3225,1.);
  3292. #3225 = DIRECTION('',(0.,1.,0.));
  3293. #3226 = ORIENTED_EDGE('',*,*,#3227,.T.);
  3294. #3227 = EDGE_CURVE('',#3220,#592,#3228,.T.);
  3295. #3228 = LINE('',#3229,#3230);
  3296. #3229 = CARTESIAN_POINT('',(-0.5,47.5,6.));
  3297. #3230 = VECTOR('',#3231,1.);
  3298. #3231 = DIRECTION('',(-1.,0.,0.));
  3299. #3232 = ORIENTED_EDGE('',*,*,#599,.F.);
  3300. #3233 = PLANE('',#3234);
  3301. #3234 = AXIS2_PLACEMENT_3D('',#3235,#3236,#3237);
  3302. #3235 = CARTESIAN_POINT('',(0.,0.,6.));
  3303. #3236 = DIRECTION('',(0.,0.,1.));
  3304. #3237 = DIRECTION('',(1.,0.,0.));
  3305. #3238 = ADVANCED_FACE('',(#3239),#3257,.T.);
  3306. #3239 = FACE_BOUND('',#3240,.T.);
  3307. #3240 = EDGE_LOOP('',(#3241,#3249,#3250,#3251));
  3308. #3241 = ORIENTED_EDGE('',*,*,#3242,.F.);
  3309. #3242 = EDGE_CURVE('',#584,#3243,#3245,.T.);
  3310. #3243 = VERTEX_POINT('',#3244);
  3311. #3244 = CARTESIAN_POINT('',(54.,47.5,2.));
  3312. #3245 = LINE('',#3246,#3247);
  3313. #3246 = CARTESIAN_POINT('',(-1.,47.5,2.));
  3314. #3247 = VECTOR('',#3248,1.);
  3315. #3248 = DIRECTION('',(1.,0.,0.));
  3316. #3249 = ORIENTED_EDGE('',*,*,#591,.T.);
  3317. #3250 = ORIENTED_EDGE('',*,*,#3227,.F.);
  3318. #3251 = ORIENTED_EDGE('',*,*,#3252,.F.);
  3319. #3252 = EDGE_CURVE('',#3243,#3220,#3253,.T.);
  3320. #3253 = LINE('',#3254,#3255);
  3321. #3254 = CARTESIAN_POINT('',(54.,47.5,1.));
  3322. #3255 = VECTOR('',#3256,1.);
  3323. #3256 = DIRECTION('',(0.,0.,1.));
  3324. #3257 = PLANE('',#3258);
  3325. #3258 = AXIS2_PLACEMENT_3D('',#3259,#3260,#3261);
  3326. #3259 = CARTESIAN_POINT('',(-1.,47.5,2.));
  3327. #3260 = DIRECTION('',(0.,1.,0.));
  3328. #3261 = DIRECTION('',(0.,0.,1.));
  3329. #3262 = ADVANCED_FACE('',(#3263),#3281,.T.);
  3330. #3263 = FACE_BOUND('',#3264,.T.);
  3331. #3264 = EDGE_LOOP('',(#3265,#3273,#3274,#3275));
  3332. #3265 = ORIENTED_EDGE('',*,*,#3266,.F.);
  3333. #3266 = EDGE_CURVE('',#576,#3267,#3269,.T.);
  3334. #3267 = VERTEX_POINT('',#3268);
  3335. #3268 = CARTESIAN_POINT('',(54.,49.5,2.));
  3336. #3269 = LINE('',#3270,#3271);
  3337. #3270 = CARTESIAN_POINT('',(-1.,49.5,2.));
  3338. #3271 = VECTOR('',#3272,1.);
  3339. #3272 = DIRECTION('',(1.,0.,0.));
  3340. #3273 = ORIENTED_EDGE('',*,*,#583,.T.);
  3341. #3274 = ORIENTED_EDGE('',*,*,#3242,.T.);
  3342. #3275 = ORIENTED_EDGE('',*,*,#3276,.F.);
  3343. #3276 = EDGE_CURVE('',#3267,#3243,#3277,.T.);
  3344. #3277 = LINE('',#3278,#3279);
  3345. #3278 = CARTESIAN_POINT('',(54.,23.75,2.));
  3346. #3279 = VECTOR('',#3280,1.);
  3347. #3280 = DIRECTION('',(0.,-1.,0.));
  3348. #3281 = PLANE('',#3282);
  3349. #3282 = AXIS2_PLACEMENT_3D('',#3283,#3284,#3285);
  3350. #3283 = CARTESIAN_POINT('',(-1.,47.5,2.));
  3351. #3284 = DIRECTION('',(0.,0.,1.));
  3352. #3285 = DIRECTION('',(1.,0.,0.));
  3353. #3286 = ADVANCED_FACE('',(#3287),#3305,.F.);
  3354. #3287 = FACE_BOUND('',#3288,.F.);
  3355. #3288 = EDGE_LOOP('',(#3289,#3290,#3291,#3299));
  3356. #3289 = ORIENTED_EDGE('',*,*,#3266,.F.);
  3357. #3290 = ORIENTED_EDGE('',*,*,#575,.T.);
  3358. #3291 = ORIENTED_EDGE('',*,*,#3292,.F.);
  3359. #3292 = EDGE_CURVE('',#3293,#568,#3295,.T.);
  3360. #3293 = VERTEX_POINT('',#3294);
  3361. #3294 = CARTESIAN_POINT('',(54.,49.5,6.));
  3362. #3295 = LINE('',#3296,#3297);
  3363. #3296 = CARTESIAN_POINT('',(-0.5,49.5,6.));
  3364. #3297 = VECTOR('',#3298,1.);
  3365. #3298 = DIRECTION('',(-1.,0.,0.));
  3366. #3299 = ORIENTED_EDGE('',*,*,#3300,.F.);
  3367. #3300 = EDGE_CURVE('',#3267,#3293,#3301,.T.);
  3368. #3301 = LINE('',#3302,#3303);
  3369. #3302 = CARTESIAN_POINT('',(54.,49.5,1.));
  3370. #3303 = VECTOR('',#3304,1.);
  3371. #3304 = DIRECTION('',(0.,0.,1.));
  3372. #3305 = PLANE('',#3306);
  3373. #3306 = AXIS2_PLACEMENT_3D('',#3307,#3308,#3309);
  3374. #3307 = CARTESIAN_POINT('',(-1.,49.5,2.));
  3375. #3308 = DIRECTION('',(0.,1.,0.));
  3376. #3309 = DIRECTION('',(0.,0.,1.));
  3377. #3310 = ADVANCED_FACE('',(#3311),#3329,.T.);
  3378. #3311 = FACE_BOUND('',#3312,.T.);
  3379. #3312 = EDGE_LOOP('',(#3313,#3314,#3322,#3328));
  3380. #3313 = ORIENTED_EDGE('',*,*,#3292,.F.);
  3381. #3314 = ORIENTED_EDGE('',*,*,#3315,.T.);
  3382. #3315 = EDGE_CURVE('',#3293,#3316,#3318,.T.);
  3383. #3316 = VERTEX_POINT('',#3317);
  3384. #3317 = CARTESIAN_POINT('',(54.,50.5,6.));
  3385. #3318 = LINE('',#3319,#3320);
  3386. #3319 = CARTESIAN_POINT('',(54.,0.,6.));
  3387. #3320 = VECTOR('',#3321,1.);
  3388. #3321 = DIRECTION('',(0.,1.,0.));
  3389. #3322 = ORIENTED_EDGE('',*,*,#3323,.T.);
  3390. #3323 = EDGE_CURVE('',#3316,#560,#3324,.T.);
  3391. #3324 = LINE('',#3325,#3326);
  3392. #3325 = CARTESIAN_POINT('',(-0.5,50.5,6.));
  3393. #3326 = VECTOR('',#3327,1.);
  3394. #3327 = DIRECTION('',(-1.,0.,0.));
  3395. #3328 = ORIENTED_EDGE('',*,*,#567,.F.);
  3396. #3329 = PLANE('',#3330);
  3397. #3330 = AXIS2_PLACEMENT_3D('',#3331,#3332,#3333);
  3398. #3331 = CARTESIAN_POINT('',(0.,0.,6.));
  3399. #3332 = DIRECTION('',(0.,0.,1.));
  3400. #3333 = DIRECTION('',(1.,0.,0.));
  3401. #3334 = ADVANCED_FACE('',(#3335),#3353,.T.);
  3402. #3335 = FACE_BOUND('',#3336,.T.);
  3403. #3336 = EDGE_LOOP('',(#3337,#3345,#3346,#3347));
  3404. #3337 = ORIENTED_EDGE('',*,*,#3338,.F.);
  3405. #3338 = EDGE_CURVE('',#552,#3339,#3341,.T.);
  3406. #3339 = VERTEX_POINT('',#3340);
  3407. #3340 = CARTESIAN_POINT('',(54.,50.5,2.));
  3408. #3341 = LINE('',#3342,#3343);
  3409. #3342 = CARTESIAN_POINT('',(-1.,50.5,2.));
  3410. #3343 = VECTOR('',#3344,1.);
  3411. #3344 = DIRECTION('',(1.,0.,0.));
  3412. #3345 = ORIENTED_EDGE('',*,*,#559,.T.);
  3413. #3346 = ORIENTED_EDGE('',*,*,#3323,.F.);
  3414. #3347 = ORIENTED_EDGE('',*,*,#3348,.F.);
  3415. #3348 = EDGE_CURVE('',#3339,#3316,#3349,.T.);
  3416. #3349 = LINE('',#3350,#3351);
  3417. #3350 = CARTESIAN_POINT('',(54.,50.5,1.));
  3418. #3351 = VECTOR('',#3352,1.);
  3419. #3352 = DIRECTION('',(0.,0.,1.));
  3420. #3353 = PLANE('',#3354);
  3421. #3354 = AXIS2_PLACEMENT_3D('',#3355,#3356,#3357);
  3422. #3355 = CARTESIAN_POINT('',(-1.,50.5,2.));
  3423. #3356 = DIRECTION('',(0.,1.,0.));
  3424. #3357 = DIRECTION('',(0.,0.,1.));
  3425. #3358 = ADVANCED_FACE('',(#3359),#3377,.T.);
  3426. #3359 = FACE_BOUND('',#3360,.T.);
  3427. #3360 = EDGE_LOOP('',(#3361,#3369,#3370,#3371));
  3428. #3361 = ORIENTED_EDGE('',*,*,#3362,.F.);
  3429. #3362 = EDGE_CURVE('',#544,#3363,#3365,.T.);
  3430. #3363 = VERTEX_POINT('',#3364);
  3431. #3364 = CARTESIAN_POINT('',(54.,52.5,2.));
  3432. #3365 = LINE('',#3366,#3367);
  3433. #3366 = CARTESIAN_POINT('',(-1.,52.5,2.));
  3434. #3367 = VECTOR('',#3368,1.);
  3435. #3368 = DIRECTION('',(1.,0.,0.));
  3436. #3369 = ORIENTED_EDGE('',*,*,#551,.T.);
  3437. #3370 = ORIENTED_EDGE('',*,*,#3338,.T.);
  3438. #3371 = ORIENTED_EDGE('',*,*,#3372,.F.);
  3439. #3372 = EDGE_CURVE('',#3363,#3339,#3373,.T.);
  3440. #3373 = LINE('',#3374,#3375);
  3441. #3374 = CARTESIAN_POINT('',(54.,25.25,2.));
  3442. #3375 = VECTOR('',#3376,1.);
  3443. #3376 = DIRECTION('',(0.,-1.,0.));
  3444. #3377 = PLANE('',#3378);
  3445. #3378 = AXIS2_PLACEMENT_3D('',#3379,#3380,#3381);
  3446. #3379 = CARTESIAN_POINT('',(-1.,50.5,2.));
  3447. #3380 = DIRECTION('',(0.,0.,1.));
  3448. #3381 = DIRECTION('',(1.,0.,0.));
  3449. #3382 = ADVANCED_FACE('',(#3383),#3401,.F.);
  3450. #3383 = FACE_BOUND('',#3384,.F.);
  3451. #3384 = EDGE_LOOP('',(#3385,#3386,#3387,#3395));
  3452. #3385 = ORIENTED_EDGE('',*,*,#3362,.F.);
  3453. #3386 = ORIENTED_EDGE('',*,*,#543,.T.);
  3454. #3387 = ORIENTED_EDGE('',*,*,#3388,.F.);
  3455. #3388 = EDGE_CURVE('',#3389,#536,#3391,.T.);
  3456. #3389 = VERTEX_POINT('',#3390);
  3457. #3390 = CARTESIAN_POINT('',(54.,52.5,6.));
  3458. #3391 = LINE('',#3392,#3393);
  3459. #3392 = CARTESIAN_POINT('',(-0.5,52.5,6.));
  3460. #3393 = VECTOR('',#3394,1.);
  3461. #3394 = DIRECTION('',(-1.,0.,0.));
  3462. #3395 = ORIENTED_EDGE('',*,*,#3396,.F.);
  3463. #3396 = EDGE_CURVE('',#3363,#3389,#3397,.T.);
  3464. #3397 = LINE('',#3398,#3399);
  3465. #3398 = CARTESIAN_POINT('',(54.,52.5,1.));
  3466. #3399 = VECTOR('',#3400,1.);
  3467. #3400 = DIRECTION('',(0.,0.,1.));
  3468. #3401 = PLANE('',#3402);
  3469. #3402 = AXIS2_PLACEMENT_3D('',#3403,#3404,#3405);
  3470. #3403 = CARTESIAN_POINT('',(-1.,52.5,2.));
  3471. #3404 = DIRECTION('',(0.,1.,0.));
  3472. #3405 = DIRECTION('',(0.,0.,1.));
  3473. #3406 = ADVANCED_FACE('',(#3407),#3425,.T.);
  3474. #3407 = FACE_BOUND('',#3408,.T.);
  3475. #3408 = EDGE_LOOP('',(#3409,#3410,#3418,#3424));
  3476. #3409 = ORIENTED_EDGE('',*,*,#3388,.F.);
  3477. #3410 = ORIENTED_EDGE('',*,*,#3411,.T.);
  3478. #3411 = EDGE_CURVE('',#3389,#3412,#3414,.T.);
  3479. #3412 = VERTEX_POINT('',#3413);
  3480. #3413 = CARTESIAN_POINT('',(54.,53.5,6.));
  3481. #3414 = LINE('',#3415,#3416);
  3482. #3415 = CARTESIAN_POINT('',(54.,0.,6.));
  3483. #3416 = VECTOR('',#3417,1.);
  3484. #3417 = DIRECTION('',(0.,1.,0.));
  3485. #3418 = ORIENTED_EDGE('',*,*,#3419,.T.);
  3486. #3419 = EDGE_CURVE('',#3412,#528,#3420,.T.);
  3487. #3420 = LINE('',#3421,#3422);
  3488. #3421 = CARTESIAN_POINT('',(-0.5,53.5,6.));
  3489. #3422 = VECTOR('',#3423,1.);
  3490. #3423 = DIRECTION('',(-1.,0.,0.));
  3491. #3424 = ORIENTED_EDGE('',*,*,#535,.F.);
  3492. #3425 = PLANE('',#3426);
  3493. #3426 = AXIS2_PLACEMENT_3D('',#3427,#3428,#3429);
  3494. #3427 = CARTESIAN_POINT('',(0.,0.,6.));
  3495. #3428 = DIRECTION('',(0.,0.,1.));
  3496. #3429 = DIRECTION('',(1.,0.,0.));
  3497. #3430 = ADVANCED_FACE('',(#3431),#3449,.T.);
  3498. #3431 = FACE_BOUND('',#3432,.T.);
  3499. #3432 = EDGE_LOOP('',(#3433,#3441,#3442,#3443));
  3500. #3433 = ORIENTED_EDGE('',*,*,#3434,.F.);
  3501. #3434 = EDGE_CURVE('',#520,#3435,#3437,.T.);
  3502. #3435 = VERTEX_POINT('',#3436);
  3503. #3436 = CARTESIAN_POINT('',(54.,53.5,2.));
  3504. #3437 = LINE('',#3438,#3439);
  3505. #3438 = CARTESIAN_POINT('',(-1.,53.5,2.));
  3506. #3439 = VECTOR('',#3440,1.);
  3507. #3440 = DIRECTION('',(1.,0.,0.));
  3508. #3441 = ORIENTED_EDGE('',*,*,#527,.T.);
  3509. #3442 = ORIENTED_EDGE('',*,*,#3419,.F.);
  3510. #3443 = ORIENTED_EDGE('',*,*,#3444,.F.);
  3511. #3444 = EDGE_CURVE('',#3435,#3412,#3445,.T.);
  3512. #3445 = LINE('',#3446,#3447);
  3513. #3446 = CARTESIAN_POINT('',(54.,53.5,1.));
  3514. #3447 = VECTOR('',#3448,1.);
  3515. #3448 = DIRECTION('',(0.,0.,1.));
  3516. #3449 = PLANE('',#3450);
  3517. #3450 = AXIS2_PLACEMENT_3D('',#3451,#3452,#3453);
  3518. #3451 = CARTESIAN_POINT('',(-1.,53.5,2.));
  3519. #3452 = DIRECTION('',(0.,1.,0.));
  3520. #3453 = DIRECTION('',(0.,0.,1.));
  3521. #3454 = ADVANCED_FACE('',(#3455),#3473,.T.);
  3522. #3455 = FACE_BOUND('',#3456,.T.);
  3523. #3456 = EDGE_LOOP('',(#3457,#3465,#3466,#3467));
  3524. #3457 = ORIENTED_EDGE('',*,*,#3458,.F.);
  3525. #3458 = EDGE_CURVE('',#512,#3459,#3461,.T.);
  3526. #3459 = VERTEX_POINT('',#3460);
  3527. #3460 = CARTESIAN_POINT('',(54.,55.5,2.));
  3528. #3461 = LINE('',#3462,#3463);
  3529. #3462 = CARTESIAN_POINT('',(-1.,55.5,2.));
  3530. #3463 = VECTOR('',#3464,1.);
  3531. #3464 = DIRECTION('',(1.,0.,0.));
  3532. #3465 = ORIENTED_EDGE('',*,*,#519,.T.);
  3533. #3466 = ORIENTED_EDGE('',*,*,#3434,.T.);
  3534. #3467 = ORIENTED_EDGE('',*,*,#3468,.F.);
  3535. #3468 = EDGE_CURVE('',#3459,#3435,#3469,.T.);
  3536. #3469 = LINE('',#3470,#3471);
  3537. #3470 = CARTESIAN_POINT('',(54.,26.75,2.));
  3538. #3471 = VECTOR('',#3472,1.);
  3539. #3472 = DIRECTION('',(0.,-1.,0.));
  3540. #3473 = PLANE('',#3474);
  3541. #3474 = AXIS2_PLACEMENT_3D('',#3475,#3476,#3477);
  3542. #3475 = CARTESIAN_POINT('',(-1.,53.5,2.));
  3543. #3476 = DIRECTION('',(0.,0.,1.));
  3544. #3477 = DIRECTION('',(1.,0.,0.));
  3545. #3478 = ADVANCED_FACE('',(#3479),#3497,.F.);
  3546. #3479 = FACE_BOUND('',#3480,.F.);
  3547. #3480 = EDGE_LOOP('',(#3481,#3482,#3483,#3491));
  3548. #3481 = ORIENTED_EDGE('',*,*,#3458,.F.);
  3549. #3482 = ORIENTED_EDGE('',*,*,#511,.T.);
  3550. #3483 = ORIENTED_EDGE('',*,*,#3484,.F.);
  3551. #3484 = EDGE_CURVE('',#3485,#504,#3487,.T.);
  3552. #3485 = VERTEX_POINT('',#3486);
  3553. #3486 = CARTESIAN_POINT('',(54.,55.5,6.));
  3554. #3487 = LINE('',#3488,#3489);
  3555. #3488 = CARTESIAN_POINT('',(-0.5,55.5,6.));
  3556. #3489 = VECTOR('',#3490,1.);
  3557. #3490 = DIRECTION('',(-1.,0.,0.));
  3558. #3491 = ORIENTED_EDGE('',*,*,#3492,.F.);
  3559. #3492 = EDGE_CURVE('',#3459,#3485,#3493,.T.);
  3560. #3493 = LINE('',#3494,#3495);
  3561. #3494 = CARTESIAN_POINT('',(54.,55.5,1.));
  3562. #3495 = VECTOR('',#3496,1.);
  3563. #3496 = DIRECTION('',(0.,0.,1.));
  3564. #3497 = PLANE('',#3498);
  3565. #3498 = AXIS2_PLACEMENT_3D('',#3499,#3500,#3501);
  3566. #3499 = CARTESIAN_POINT('',(-1.,55.5,2.));
  3567. #3500 = DIRECTION('',(0.,1.,0.));
  3568. #3501 = DIRECTION('',(0.,0.,1.));
  3569. #3502 = ADVANCED_FACE('',(#3503),#3521,.T.);
  3570. #3503 = FACE_BOUND('',#3504,.T.);
  3571. #3504 = EDGE_LOOP('',(#3505,#3506,#3514,#3520));
  3572. #3505 = ORIENTED_EDGE('',*,*,#3484,.F.);
  3573. #3506 = ORIENTED_EDGE('',*,*,#3507,.T.);
  3574. #3507 = EDGE_CURVE('',#3485,#3508,#3510,.T.);
  3575. #3508 = VERTEX_POINT('',#3509);
  3576. #3509 = CARTESIAN_POINT('',(54.,56.5,6.));
  3577. #3510 = LINE('',#3511,#3512);
  3578. #3511 = CARTESIAN_POINT('',(54.,0.,6.));
  3579. #3512 = VECTOR('',#3513,1.);
  3580. #3513 = DIRECTION('',(0.,1.,0.));
  3581. #3514 = ORIENTED_EDGE('',*,*,#3515,.T.);
  3582. #3515 = EDGE_CURVE('',#3508,#496,#3516,.T.);
  3583. #3516 = LINE('',#3517,#3518);
  3584. #3517 = CARTESIAN_POINT('',(-0.5,56.5,6.));
  3585. #3518 = VECTOR('',#3519,1.);
  3586. #3519 = DIRECTION('',(-1.,0.,0.));
  3587. #3520 = ORIENTED_EDGE('',*,*,#503,.F.);
  3588. #3521 = PLANE('',#3522);
  3589. #3522 = AXIS2_PLACEMENT_3D('',#3523,#3524,#3525);
  3590. #3523 = CARTESIAN_POINT('',(0.,0.,6.));
  3591. #3524 = DIRECTION('',(0.,0.,1.));
  3592. #3525 = DIRECTION('',(1.,0.,0.));
  3593. #3526 = ADVANCED_FACE('',(#3527),#3545,.T.);
  3594. #3527 = FACE_BOUND('',#3528,.T.);
  3595. #3528 = EDGE_LOOP('',(#3529,#3537,#3538,#3539));
  3596. #3529 = ORIENTED_EDGE('',*,*,#3530,.F.);
  3597. #3530 = EDGE_CURVE('',#488,#3531,#3533,.T.);
  3598. #3531 = VERTEX_POINT('',#3532);
  3599. #3532 = CARTESIAN_POINT('',(54.,56.5,2.));
  3600. #3533 = LINE('',#3534,#3535);
  3601. #3534 = CARTESIAN_POINT('',(-1.,56.5,2.));
  3602. #3535 = VECTOR('',#3536,1.);
  3603. #3536 = DIRECTION('',(1.,0.,0.));
  3604. #3537 = ORIENTED_EDGE('',*,*,#495,.T.);
  3605. #3538 = ORIENTED_EDGE('',*,*,#3515,.F.);
  3606. #3539 = ORIENTED_EDGE('',*,*,#3540,.F.);
  3607. #3540 = EDGE_CURVE('',#3531,#3508,#3541,.T.);
  3608. #3541 = LINE('',#3542,#3543);
  3609. #3542 = CARTESIAN_POINT('',(54.,56.5,1.));
  3610. #3543 = VECTOR('',#3544,1.);
  3611. #3544 = DIRECTION('',(0.,0.,1.));
  3612. #3545 = PLANE('',#3546);
  3613. #3546 = AXIS2_PLACEMENT_3D('',#3547,#3548,#3549);
  3614. #3547 = CARTESIAN_POINT('',(-1.,56.5,2.));
  3615. #3548 = DIRECTION('',(0.,1.,0.));
  3616. #3549 = DIRECTION('',(0.,0.,1.));
  3617. #3550 = ADVANCED_FACE('',(#3551),#3569,.T.);
  3618. #3551 = FACE_BOUND('',#3552,.T.);
  3619. #3552 = EDGE_LOOP('',(#3553,#3561,#3562,#3563));
  3620. #3553 = ORIENTED_EDGE('',*,*,#3554,.F.);
  3621. #3554 = EDGE_CURVE('',#480,#3555,#3557,.T.);
  3622. #3555 = VERTEX_POINT('',#3556);
  3623. #3556 = CARTESIAN_POINT('',(54.,58.5,2.));
  3624. #3557 = LINE('',#3558,#3559);
  3625. #3558 = CARTESIAN_POINT('',(-1.,58.5,2.));
  3626. #3559 = VECTOR('',#3560,1.);
  3627. #3560 = DIRECTION('',(1.,0.,0.));
  3628. #3561 = ORIENTED_EDGE('',*,*,#487,.T.);
  3629. #3562 = ORIENTED_EDGE('',*,*,#3530,.T.);
  3630. #3563 = ORIENTED_EDGE('',*,*,#3564,.F.);
  3631. #3564 = EDGE_CURVE('',#3555,#3531,#3565,.T.);
  3632. #3565 = LINE('',#3566,#3567);
  3633. #3566 = CARTESIAN_POINT('',(54.,28.25,2.));
  3634. #3567 = VECTOR('',#3568,1.);
  3635. #3568 = DIRECTION('',(0.,-1.,0.));
  3636. #3569 = PLANE('',#3570);
  3637. #3570 = AXIS2_PLACEMENT_3D('',#3571,#3572,#3573);
  3638. #3571 = CARTESIAN_POINT('',(-1.,56.5,2.));
  3639. #3572 = DIRECTION('',(0.,0.,1.));
  3640. #3573 = DIRECTION('',(1.,0.,0.));
  3641. #3574 = ADVANCED_FACE('',(#3575),#3593,.F.);
  3642. #3575 = FACE_BOUND('',#3576,.F.);
  3643. #3576 = EDGE_LOOP('',(#3577,#3578,#3579,#3587));
  3644. #3577 = ORIENTED_EDGE('',*,*,#3554,.F.);
  3645. #3578 = ORIENTED_EDGE('',*,*,#479,.T.);
  3646. #3579 = ORIENTED_EDGE('',*,*,#3580,.F.);
  3647. #3580 = EDGE_CURVE('',#3581,#472,#3583,.T.);
  3648. #3581 = VERTEX_POINT('',#3582);
  3649. #3582 = CARTESIAN_POINT('',(54.,58.5,6.));
  3650. #3583 = LINE('',#3584,#3585);
  3651. #3584 = CARTESIAN_POINT('',(-0.5,58.5,6.));
  3652. #3585 = VECTOR('',#3586,1.);
  3653. #3586 = DIRECTION('',(-1.,0.,0.));
  3654. #3587 = ORIENTED_EDGE('',*,*,#3588,.F.);
  3655. #3588 = EDGE_CURVE('',#3555,#3581,#3589,.T.);
  3656. #3589 = LINE('',#3590,#3591);
  3657. #3590 = CARTESIAN_POINT('',(54.,58.5,1.));
  3658. #3591 = VECTOR('',#3592,1.);
  3659. #3592 = DIRECTION('',(0.,0.,1.));
  3660. #3593 = PLANE('',#3594);
  3661. #3594 = AXIS2_PLACEMENT_3D('',#3595,#3596,#3597);
  3662. #3595 = CARTESIAN_POINT('',(-1.,58.5,2.));
  3663. #3596 = DIRECTION('',(0.,1.,0.));
  3664. #3597 = DIRECTION('',(0.,0.,1.));
  3665. #3598 = ADVANCED_FACE('',(#3599),#3617,.T.);
  3666. #3599 = FACE_BOUND('',#3600,.T.);
  3667. #3600 = EDGE_LOOP('',(#3601,#3602,#3610,#3616));
  3668. #3601 = ORIENTED_EDGE('',*,*,#3580,.F.);
  3669. #3602 = ORIENTED_EDGE('',*,*,#3603,.T.);
  3670. #3603 = EDGE_CURVE('',#3581,#3604,#3606,.T.);
  3671. #3604 = VERTEX_POINT('',#3605);
  3672. #3605 = CARTESIAN_POINT('',(54.,59.5,6.));
  3673. #3606 = LINE('',#3607,#3608);
  3674. #3607 = CARTESIAN_POINT('',(54.,0.,6.));
  3675. #3608 = VECTOR('',#3609,1.);
  3676. #3609 = DIRECTION('',(0.,1.,0.));
  3677. #3610 = ORIENTED_EDGE('',*,*,#3611,.T.);
  3678. #3611 = EDGE_CURVE('',#3604,#464,#3612,.T.);
  3679. #3612 = LINE('',#3613,#3614);
  3680. #3613 = CARTESIAN_POINT('',(-0.5,59.5,6.));
  3681. #3614 = VECTOR('',#3615,1.);
  3682. #3615 = DIRECTION('',(-1.,0.,0.));
  3683. #3616 = ORIENTED_EDGE('',*,*,#471,.F.);
  3684. #3617 = PLANE('',#3618);
  3685. #3618 = AXIS2_PLACEMENT_3D('',#3619,#3620,#3621);
  3686. #3619 = CARTESIAN_POINT('',(0.,0.,6.));
  3687. #3620 = DIRECTION('',(0.,0.,1.));
  3688. #3621 = DIRECTION('',(1.,0.,0.));
  3689. #3622 = ADVANCED_FACE('',(#3623),#3641,.T.);
  3690. #3623 = FACE_BOUND('',#3624,.T.);
  3691. #3624 = EDGE_LOOP('',(#3625,#3633,#3634,#3635));
  3692. #3625 = ORIENTED_EDGE('',*,*,#3626,.F.);
  3693. #3626 = EDGE_CURVE('',#456,#3627,#3629,.T.);
  3694. #3627 = VERTEX_POINT('',#3628);
  3695. #3628 = CARTESIAN_POINT('',(54.,59.5,2.));
  3696. #3629 = LINE('',#3630,#3631);
  3697. #3630 = CARTESIAN_POINT('',(-1.,59.5,2.));