home *** CD-ROM | disk | FTP | other *** search
/ Stars of Shareware: Raytrace & Morphing / SOS-RAYTRACE.ISO / programm / scripts / vivid / 3dfont1 / upper_b.vo < prev    next >
Encoding:
Text File  |  1993-05-01  |  50.3 KB  |  1,607 lines
  1. #include color.vc
  2.  
  3. #define Default \
  4.     surface {           \
  5.         diffuse white   \
  6.         shine 70 white  \
  7.     }
  8.  
  9. #include B.vo
  10.  
  11. /*
  12.     Scene extents
  13.     X - Min: -23.0000  Max:  25.1000
  14.     Y - Min:  -5.0000  Max:   5.0000
  15.     Z - Min:   0.0000  Max:  69.4000
  16. */
  17.  
  18.  
  19. /* Object 'B' */
  20.  
  21. Default /* New texture */
  22.  
  23. patch {
  24. vertex 12.6000 -5.0000 37.5000 normal 0.0000 1.0000 0.0000
  25. vertex 1.1000 -5.0000 32.2000 normal 0.0000 1.0000 0.0000
  26. vertex 4.9204 -5.0000 31.9825 normal 0.0000 1.0000 0.0000
  27. }
  28.  
  29. patch {
  30. vertex 12.6000 -5.0000 37.5000 normal 0.0000 1.0000 0.0000
  31. vertex 4.9204 -5.0000 31.9825 normal 0.0000 1.0000 0.0000
  32. vertex 8.1531 -5.0000 31.3172 normal 0.0000 1.0000 0.0000
  33. }
  34.  
  35. patch {
  36. vertex 12.6000 -5.0000 37.5000 normal 0.0000 1.0000 0.0000
  37. vertex 8.1531 -5.0000 31.3172 normal 0.0000 1.0000 0.0000
  38. vertex 10.7980 -5.0000 30.1848 normal 0.0000 1.0000 0.0000
  39. }
  40.  
  41. patch {
  42. vertex 21.8099 -5.0000 49.1606 normal 0.0000 1.0000 0.0000
  43. vertex 22.0000 -5.0000 52.0000 normal 0.0000 1.0000 0.0000
  44. vertex 12.9000 -5.0000 51.0000 normal 0.0000 1.0000 0.0000
  45. }
  46.  
  47. patch {
  48. vertex 21.8099 -5.0000 49.1606 normal 0.0000 1.0000 0.0000
  49. vertex 12.9000 -5.0000 51.0000 normal 0.0000 1.0000 0.0000
  50. vertex 12.6309 -5.0000 48.2513 normal 0.0000 1.0000 0.0000
  51. }
  52.  
  53. patch {
  54. vertex 21.2385 -5.0000 46.6239 normal 0.0000 1.0000 0.0000
  55. vertex 21.8099 -5.0000 49.1606 normal 0.0000 1.0000 0.0000
  56. vertex 12.6309 -5.0000 48.2513 normal 0.0000 1.0000 0.0000
  57. }
  58.  
  59. patch {
  60. vertex 20.2840 -5.0000 44.3618 normal 0.0000 1.0000 0.0000
  61. vertex 21.2385 -5.0000 46.6239 normal 0.0000 1.0000 0.0000
  62. vertex 12.6309 -5.0000 48.2513 normal 0.0000 1.0000 0.0000
  63. }
  64.  
  65. patch {
  66. vertex 20.2840 -5.0000 44.3618 normal 0.0000 1.0000 0.0000
  67. vertex 12.6309 -5.0000 48.2513 normal 0.0000 1.0000 0.0000
  68. vertex 11.8248 -5.0000 45.9207 normal 0.0000 1.0000 0.0000
  69. }
  70.  
  71. patch {
  72. vertex 18.9446 -5.0000 42.3464 normal 0.0000 1.0000 0.0000
  73. vertex 20.2840 -5.0000 44.3618 normal 0.0000 1.0000 0.0000
  74. vertex 11.8248 -5.0000 45.9207 normal 0.0000 1.0000 0.0000
  75. }
  76.  
  77. patch {
  78. vertex 17.2187 -5.0000 40.5496 normal 0.0000 1.0000 0.0000
  79. vertex 18.9446 -5.0000 42.3464 normal 0.0000 1.0000 0.0000
  80. vertex 11.8248 -5.0000 45.9207 normal 0.0000 1.0000 0.0000
  81. }
  82.  
  83. patch {
  84. vertex 17.2187 -5.0000 40.5496 normal 0.0000 1.0000 0.0000
  85. vertex 11.8248 -5.0000 45.9207 normal 0.0000 1.0000 0.0000
  86. vertex 10.4834 -5.0000 44.0099 normal 0.0000 1.0000 0.0000
  87. }
  88.  
  89. patch {
  90. vertex 15.1044 -5.0000 38.9434 normal 0.0000 1.0000 0.0000
  91. vertex 17.2187 -5.0000 40.5496 normal 0.0000 1.0000 0.0000
  92. vertex 10.4834 -5.0000 44.0099 normal 0.0000 1.0000 0.0000
  93. }
  94.  
  95. patch {
  96. vertex 12.6000 -5.0000 37.5000 normal 0.0000 1.0000 0.0000
  97. vertex 15.1044 -5.0000 38.9434 normal 0.0000 1.0000 0.0000
  98. vertex 10.4834 -5.0000 44.0099 normal 0.0000 1.0000 0.0000
  99. }
  100.  
  101. patch {
  102. vertex 12.6000 -5.0000 37.5000 normal 0.0000 1.0000 0.0000
  103. vertex 10.4834 -5.0000 44.0099 normal 0.0000 1.0000 0.0000
  104. vertex 8.6085 -5.0000 42.5207 normal 0.0000 1.0000 0.0000
  105. }
  106.  
  107. patch {
  108. vertex 1.1000 -5.0000 32.2000 normal 0.0000 1.0000 0.0000
  109. vertex 12.6000 -5.0000 37.5000 normal 0.0000 1.0000 0.0000
  110. vertex 8.6085 -5.0000 42.5207 normal 0.0000 1.0000 0.0000
  111. }
  112.  
  113. patch {
  114. vertex 1.1000 -5.0000 32.2000 normal 0.0000 1.0000 0.0000
  115. vertex 8.6085 -5.0000 42.5207 normal 0.0000 1.0000 0.0000
  116. vertex 6.2017 -5.0000 41.4548 normal 0.0000 1.0000 0.0000
  117. }
  118.  
  119. patch {
  120. vertex 1.1000 -5.0000 32.2000 normal 0.0000 1.0000 0.0000
  121. vertex 6.2017 -5.0000 41.4548 normal 0.0000 1.0000 0.0000
  122. vertex 3.2650 -5.0000 40.8140 normal 0.0000 1.0000 0.0000
  123. }
  124.  
  125. patch {
  126. vertex 1.1000 -5.0000 32.2000 normal 0.0000 1.0000 0.0000
  127. vertex 3.2650 -5.0000 40.8140 normal 0.0000 1.0000 0.0000
  128. vertex -0.2000 -5.0000 40.6000 normal 0.0000 1.0000 0.0000
  129. }
  130.  
  131. patch {
  132. vertex -13.8000 -5.0000 32.2000 normal 0.0000 1.0000 0.0000
  133. vertex 1.1000 -5.0000 32.2000 normal 0.0000 1.0000 0.0000
  134. vertex -0.2000 -5.0000 40.6000 normal 0.0000 1.0000 0.0000
  135. }
  136.  
  137. patch {
  138. vertex -13.8000 -5.0000 32.2000 normal 0.0000 1.0000 0.0000
  139. vertex -0.2000 -5.0000 40.6000 normal 0.0000 1.0000 0.0000
  140. vertex -13.8000 -5.0000 40.6000 normal 0.0000 1.0000 0.0000
  141. }
  142.  
  143. patch {
  144. vertex 15.8429 -5.0000 36.3703 normal 0.0000 1.0000 0.0000
  145. vertex 12.6000 -5.0000 37.5000 normal 0.0000 1.0000 0.0000
  146. vertex 10.7980 -5.0000 30.1848 normal 0.0000 1.0000 0.0000
  147. }
  148.  
  149. patch {
  150. vertex 12.6542 -5.0000 53.8265 normal 0.0000 1.0000 0.0000
  151. vertex 12.9000 -5.0000 51.0000 normal 0.0000 1.0000 0.0000
  152. vertex 22.0000 -5.0000 52.0000 normal 0.0000 1.0000 0.0000
  153. }
  154.  
  155. patch {
  156. vertex 12.6542 -5.0000 53.8265 normal 0.0000 1.0000 0.0000
  157. vertex 22.0000 -5.0000 52.0000 normal 0.0000 1.0000 0.0000
  158. vertex 21.5787 -5.0000 56.5534 normal 0.0000 1.0000 0.0000
  159. }
  160.  
  161. patch {
  162. vertex 15.8429 -5.0000 36.3703 normal 0.0000 1.0000 0.0000
  163. vertex 10.7980 -5.0000 30.1848 normal 0.0000 1.0000 0.0000
  164. vertex 12.8551 -5.0000 28.5662 normal 0.0000 1.0000 0.0000
  165. }
  166.  
  167. patch {
  168. vertex 18.6204 -5.0000 34.7927 normal 0.0000 1.0000 0.0000
  169. vertex 15.8429 -5.0000 36.3703 normal 0.0000 1.0000 0.0000
  170. vertex 12.8551 -5.0000 28.5662 normal 0.0000 1.0000 0.0000
  171. }
  172.  
  173. patch {
  174. vertex 12.6542 -5.0000 53.8265 normal 0.0000 1.0000 0.0000
  175. vertex 21.5787 -5.0000 56.5534 normal 0.0000 1.0000 0.0000
  176. vertex 20.3195 -5.0000 60.4350 normal 0.0000 1.0000 0.0000
  177. }
  178.  
  179. patch {
  180. vertex 11.9134 -5.0000 56.1510 normal 0.0000 1.0000 0.0000
  181. vertex 12.6542 -5.0000 53.8265 normal 0.0000 1.0000 0.0000
  182. vertex 20.3195 -5.0000 60.4350 normal 0.0000 1.0000 0.0000
  183. }
  184.  
  185. patch {
  186. vertex 11.9134 -5.0000 56.1510 normal 0.0000 1.0000 0.0000
  187. vertex 20.3195 -5.0000 60.4350 normal 0.0000 1.0000 0.0000
  188. vertex 18.2294 -5.0000 63.6344 normal 0.0000 1.0000 0.0000
  189. }
  190.  
  191. patch {
  192. vertex 10.6723 -5.0000 57.9980 normal 0.0000 1.0000 0.0000
  193. vertex 11.9134 -5.0000 56.1510 normal 0.0000 1.0000 0.0000
  194. vertex 18.2294 -5.0000 63.6344 normal 0.0000 1.0000 0.0000
  195. }
  196.  
  197. patch {
  198. vertex 10.6723 -5.0000 57.9980 normal 0.0000 1.0000 0.0000
  199. vertex 18.2294 -5.0000 63.6344 normal 0.0000 1.0000 0.0000
  200. vertex 15.3155 -5.0000 66.1411 normal 0.0000 1.0000 0.0000
  201. }
  202.  
  203. patch {
  204. vertex 8.9257 -5.0000 59.3918 normal 0.0000 1.0000 0.0000
  205. vertex 10.6723 -5.0000 57.9980 normal 0.0000 1.0000 0.0000
  206. vertex 15.3155 -5.0000 66.1411 normal 0.0000 1.0000 0.0000
  207. }
  208.  
  209. patch {
  210. vertex 8.9257 -5.0000 59.3918 normal 0.0000 1.0000 0.0000
  211. vertex 15.3155 -5.0000 66.1411 normal 0.0000 1.0000 0.0000
  212. vertex 11.5845 -5.0000 67.9446 normal 0.0000 1.0000 0.0000
  213. }
  214.  
  215. patch {
  216. vertex 6.6682 -5.0000 60.3571 normal 0.0000 1.0000 0.0000
  217. vertex 8.9257 -5.0000 59.3918 normal 0.0000 1.0000 0.0000
  218. vertex 11.5845 -5.0000 67.9446 normal 0.0000 1.0000 0.0000
  219. }
  220.  
  221. patch {
  222. vertex 6.6682 -5.0000 60.3571 normal 0.0000 1.0000 0.0000
  223. vertex 11.5845 -5.0000 67.9446 normal 0.0000 1.0000 0.0000
  224. vertex 7.0437 -5.0000 69.0344 normal 0.0000 1.0000 0.0000
  225. }
  226.  
  227. patch {
  228. vertex 3.8948 -5.0000 60.9184 normal 0.0000 1.0000 0.0000
  229. vertex 6.6682 -5.0000 60.3571 normal 0.0000 1.0000 0.0000
  230. vertex 7.0437 -5.0000 69.0344 normal 0.0000 1.0000 0.0000
  231. }
  232.  
  233. patch {
  234. vertex 3.8948 -5.0000 60.9184 normal 0.0000 1.0000 0.0000
  235. vertex 7.0437 -5.0000 69.0344 normal 0.0000 1.0000 0.0000
  236. vertex 1.7000 -5.0000 69.4000 normal 0.0000 1.0000 0.0000
  237. }
  238.  
  239. patch {
  240. vertex 0.6000 -5.0000 61.1000 normal 0.0000 1.0000 0.0000
  241. vertex 3.8948 -5.0000 60.9184 normal 0.0000 1.0000 0.0000
  242. vertex 1.7000 -5.0000 69.4000 normal 0.0000 1.0000 0.0000
  243. }
  244.  
  245. patch {
  246. vertex 0.6000 -5.0000 61.1000 normal 0.0000 1.0000 0.0000
  247. vertex 1.7000 -5.0000 69.4000 normal 0.0000 1.0000 0.0000
  248. vertex -23.0000 -5.0000 69.4000 normal 0.0000 1.0000 0.0000
  249. }
  250.  
  251. patch {
  252. vertex -13.8000 -5.0000 61.1000 normal 0.0000 1.0000 0.0000
  253. vertex 0.6000 -5.0000 61.1000 normal 0.0000 1.0000 0.0000
  254. vertex -23.0000 -5.0000 69.4000 normal 0.0000 1.0000 0.0000
  255. }
  256.  
  257. patch {
  258. vertex -13.8000 -5.0000 61.1000 normal 0.0000 1.0000 0.0000
  259. vertex -23.0000 -5.0000 69.4000 normal 0.0000 1.0000 0.0000
  260. vertex -23.0000 -5.0000 0.0000 normal 0.0000 1.0000 0.0000
  261. }
  262.  
  263. patch {
  264. vertex -13.8000 -5.0000 40.6000 normal 0.0000 1.0000 0.0000
  265. vertex -13.8000 -5.0000 61.1000 normal 0.0000 1.0000 0.0000
  266. vertex -23.0000 -5.0000 0.0000 normal 0.0000 1.0000 0.0000
  267. }
  268.  
  269. patch {
  270. vertex -13.8000 -5.0000 32.2000 normal 0.0000 1.0000 0.0000
  271. vertex -13.8000 -5.0000 40.6000 normal 0.0000 1.0000 0.0000
  272. vertex -23.0000 -5.0000 0.0000 normal 0.0000 1.0000 0.0000
  273. }
  274.  
  275. patch {
  276. vertex -13.8000 -5.0000 8.3000 normal 0.0000 1.0000 0.0000
  277. vertex -13.8000 -5.0000 32.2000 normal 0.0000 1.0000 0.0000
  278. vertex -23.0000 -5.0000 0.0000 normal 0.0000 1.0000 0.0000
  279. }
  280.  
  281. patch {
  282. vertex -13.8000 -5.0000 8.3000 normal 0.0000 1.0000 0.0000
  283. vertex -23.0000 -5.0000 0.0000 normal 0.0000 1.0000 0.0000
  284. vertex 3.1000 -5.0000 0.0000 normal 0.0000 1.0000 0.0000
  285. }
  286.  
  287. patch {
  288. vertex 2.0000 -5.0000 8.3000 normal 0.0000 1.0000 0.0000
  289. vertex -13.8000 -5.0000 8.3000 normal 0.0000 1.0000 0.0000
  290. vertex 3.1000 -5.0000 0.0000 normal 0.0000 1.0000 0.0000
  291. }
  292.  
  293. patch {
  294. vertex 5.5816 -5.0000 8.5458 normal 0.0000 1.0000 0.0000
  295. vertex 2.0000 -5.0000 8.3000 normal 0.0000 1.0000 0.0000
  296. vertex 3.1000 -5.0000 0.0000 normal 0.0000 1.0000 0.0000
  297. }
  298.  
  299. patch {
  300. vertex 5.5816 -5.0000 8.5458 normal 0.0000 1.0000 0.0000
  301. vertex 3.1000 -5.0000 0.0000 normal 0.0000 1.0000 0.0000
  302. vertex 8.7583 -5.0000 0.4700 normal 0.0000 1.0000 0.0000
  303. }
  304.  
  305. patch {
  306. vertex 8.6122 -5.0000 9.2866 normal 0.0000 1.0000 0.0000
  307. vertex 5.5816 -5.0000 8.5458 normal 0.0000 1.0000 0.0000
  308. vertex 8.7583 -5.0000 0.4700 normal 0.0000 1.0000 0.0000
  309. }
  310.  
  311. patch {
  312. vertex 8.6122 -5.0000 9.2866 normal 0.0000 1.0000 0.0000
  313. vertex 8.7583 -5.0000 0.4700 normal 0.0000 1.0000 0.0000
  314. vertex 13.6277 -5.0000 1.8496 normal 0.0000 1.0000 0.0000
  315. }
  316.  
  317. patch {
  318. vertex 11.0918 -5.0000 10.5277 normal 0.0000 1.0000 0.0000
  319. vertex 8.6122 -5.0000 9.2866 normal 0.0000 1.0000 0.0000
  320. vertex 13.6277 -5.0000 1.8496 normal 0.0000 1.0000 0.0000
  321. }
  322.  
  323. patch {
  324. vertex 11.0918 -5.0000 10.5277 normal 0.0000 1.0000 0.0000
  325. vertex 13.6277 -5.0000 1.8496 normal 0.0000 1.0000 0.0000
  326. vertex 17.6784 -5.0000 4.0933 normal 0.0000 1.0000 0.0000
  327. }
  328.  
  329. patch {
  330. vertex 13.0204 -5.0000 12.2743 normal 0.0000 1.0000 0.0000
  331. vertex 11.0918 -5.0000 10.5277 normal 0.0000 1.0000 0.0000
  332. vertex 17.6784 -5.0000 4.0933 normal 0.0000 1.0000 0.0000
  333. }
  334.  
  335. patch {
  336. vertex 13.0204 -5.0000 12.2743 normal 0.0000 1.0000 0.0000
  337. vertex 17.6784 -5.0000 4.0933 normal 0.0000 1.0000 0.0000
  338. vertex 20.8808 -5.0000 7.1557 normal 0.0000 1.0000 0.0000
  339. }
  340.  
  341. patch {
  342. vertex 13.0204 -5.0000 12.2743 normal 0.0000 1.0000 0.0000
  343. vertex 20.8808 -5.0000 7.1557 normal 0.0000 1.0000 0.0000
  344. vertex 23.2050 -5.0000 10.9913 normal 0.0000 1.0000 0.0000
  345. }
  346.  
  347. patch {
  348. vertex 14.3980 -5.0000 14.5318 normal 0.0000 1.0000 0.0000
  349. vertex 13.0204 -5.0000 12.2743 normal 0.0000 1.0000 0.0000
  350. vertex 23.2050 -5.0000 10.9913 normal 0.0000 1.0000 0.0000
  351. }
  352.  
  353. patch {
  354. vertex 14.3980 -5.0000 14.5318 normal 0.0000 1.0000 0.0000
  355. vertex 23.2050 -5.0000 10.9913 normal 0.0000 1.0000 0.0000
  356. vertex 24.6213 -5.0000 15.5545 normal 0.0000 1.0000 0.0000
  357. }
  358.  
  359. patch {
  360. vertex 15.2245 -5.0000 17.3052 normal 0.0000 1.0000 0.0000
  361. vertex 14.3980 -5.0000 14.5318 normal 0.0000 1.0000 0.0000
  362. vertex 24.6213 -5.0000 15.5545 normal 0.0000 1.0000 0.0000
  363. }
  364.  
  365. patch {
  366. vertex 15.2245 -5.0000 17.3052 normal 0.0000 1.0000 0.0000
  367. vertex 24.6213 -5.0000 15.5545 normal 0.0000 1.0000 0.0000
  368. vertex 25.1000 -5.0000 20.8000 normal 0.0000 1.0000 0.0000
  369. }
  370.  
  371. patch {
  372. vertex 15.5000 -5.0000 20.6000 normal 0.0000 1.0000 0.0000
  373. vertex 15.2245 -5.0000 17.3052 normal 0.0000 1.0000 0.0000
  374. vertex 25.1000 -5.0000 20.8000 normal 0.0000 1.0000 0.0000
  375. }
  376.  
  377. patch {
  378. vertex 15.5000 -5.0000 20.6000 normal 0.0000 1.0000 0.0000
  379. vertex 25.1000 -5.0000 20.8000 normal 0.0000 1.0000 0.0000
  380. vertex 24.8327 -5.0000 24.3542 normal 0.0000 1.0000 0.0000
  381. }
  382.  
  383. patch {
  384. vertex 15.2061 -5.0000 23.7930 normal 0.0000 1.0000 0.0000
  385. vertex 15.5000 -5.0000 20.6000 normal 0.0000 1.0000 0.0000
  386. vertex 24.8327 -5.0000 24.3542 normal 0.0000 1.0000 0.0000
  387. }
  388.  
  389. patch {
  390. vertex 15.2061 -5.0000 23.7930 normal 0.0000 1.0000 0.0000
  391. vertex 24.8327 -5.0000 24.3542 normal 0.0000 1.0000 0.0000
  392. vertex 24.0388 -5.0000 27.5481 normal 0.0000 1.0000 0.0000
  393. }
  394.  
  395. patch {
  396. vertex 14.3245 -5.0000 26.4420 normal 0.0000 1.0000 0.0000
  397. vertex 15.2061 -5.0000 23.7930 normal 0.0000 1.0000 0.0000
  398. vertex 24.0388 -5.0000 27.5481 normal 0.0000 1.0000 0.0000
  399. }
  400.  
  401. patch {
  402. vertex 14.3245 -5.0000 26.4420 normal 0.0000 1.0000 0.0000
  403. vertex 24.0388 -5.0000 27.5481 normal 0.0000 1.0000 0.0000
  404. vertex 22.7306 -5.0000 30.3641 normal 0.0000 1.0000 0.0000
  405. }
  406.  
  407. patch {
  408. vertex 14.3245 -5.0000 26.4420 normal 0.0000 1.0000 0.0000
  409. vertex 22.7306 -5.0000 30.3641 normal 0.0000 1.0000 0.0000
  410. vertex 20.9204 -5.0000 32.7848 normal 0.0000 1.0000 0.0000
  411. }
  412.  
  413. patch {
  414. vertex 12.8551 -5.0000 28.5662 normal 0.0000 1.0000 0.0000
  415. vertex 14.3245 -5.0000 26.4420 normal 0.0000 1.0000 0.0000
  416. vertex 20.9204 -5.0000 32.7848 normal 0.0000 1.0000 0.0000
  417. }
  418.  
  419. patch {
  420. vertex 18.6204 -5.0000 34.7927 normal 0.0000 1.0000 0.0000
  421. vertex 12.8551 -5.0000 28.5662 normal 0.0000 1.0000 0.0000
  422. vertex 20.9204 -5.0000 32.7848 normal 0.0000 1.0000 0.0000
  423. }
  424.  
  425. patch {
  426. vertex 12.6000 -5.0000 37.5000 normal -0.3290 0.0000 -0.9443
  427. vertex 15.8429 -5.0000 36.3703 normal -0.4405 0.0000 -0.8977
  428. vertex 15.8429 5.0000 36.3703 normal -0.3854 0.0000 -0.9228
  429. }
  430.  
  431. patch {
  432. vertex 12.6000 -5.0000 37.5000 normal -0.3290 0.0000 -0.9443
  433. vertex 15.8429 5.0000 36.3703 normal -0.3854 0.0000 -0.9228
  434. vertex 12.6000 5.0000 37.5000 normal -0.3290 0.0000 -0.9443
  435. }
  436.  
  437. patch {
  438. vertex 15.8429 -5.0000 36.3703 normal -0.4405 0.0000 -0.8977
  439. vertex 18.6204 -5.0000 34.7927 normal -0.6058 0.0000 -0.7956
  440. vertex 18.6204 5.0000 34.7927 normal -0.5509 0.0000 -0.8345
  441. }
  442.  
  443. patch {
  444. vertex 15.8429 -5.0000 36.3703 normal -0.4405 0.0000 -0.8977
  445. vertex 18.6204 5.0000 34.7927 normal -0.5509 0.0000 -0.8345
  446. vertex 15.8429 5.0000 36.3703 normal -0.3854 0.0000 -0.9228
  447. }
  448.  
  449. patch {
  450. vertex 18.6204 -5.0000 34.7927 normal -0.6058 0.0000 -0.7956
  451. vertex 20.9204 -5.0000 32.7848 normal -0.7569 0.0000 -0.6536
  452. vertex 20.9204 5.0000 32.7848 normal -0.7089 0.0000 -0.7053
  453. }
  454.  
  455. patch {
  456. vertex 18.6204 -5.0000 34.7927 normal -0.6058 0.0000 -0.7956
  457. vertex 20.9204 5.0000 32.7848 normal -0.7089 0.0000 -0.7053
  458. vertex 18.6204 5.0000 34.7927 normal -0.5509 0.0000 -0.8345
  459. }
  460.  
  461. patch {
  462. vertex 20.9204 -5.0000 32.7848 normal -0.7569 0.0000 -0.6536
  463. vertex 22.7306 -5.0000 30.3641 normal -0.8757 0.0000 -0.4828
  464. vertex 22.7306 5.0000 30.3641 normal -0.8402 0.0000 -0.5423
  465. }
  466.  
  467. patch {
  468. vertex 20.9204 -5.0000 32.7848 normal -0.7569 0.0000 -0.6536
  469. vertex 22.7306 5.0000 30.3641 normal -0.8402 0.0000 -0.5423
  470. vertex 20.9204 5.0000 32.7848 normal -0.7089 0.0000 -0.7053
  471. }
  472.  
  473. patch {
  474. vertex 22.7306 -5.0000 30.3641 normal -0.8757 0.0000 -0.4828
  475. vertex 24.0388 -5.0000 27.5481 normal -0.9532 0.0000 -0.3025
  476. vertex 24.0388 5.0000 27.5481 normal -0.9319 0.0000 -0.3627
  477. }
  478.  
  479. patch {
  480. vertex 22.7306 -5.0000 30.3641 normal -0.8757 0.0000 -0.4828
  481. vertex 24.0388 5.0000 27.5481 normal -0.9319 0.0000 -0.3627
  482. vertex 22.7306 5.0000 30.3641 normal -0.8402 0.0000 -0.5423
  483. }
  484.  
  485. patch {
  486. vertex 24.0388 -5.0000 27.5481 normal -0.9532 0.0000 -0.3025
  487. vertex 24.8327 -5.0000 24.3542 normal -0.9914 0.0000 -0.1308
  488. vertex 24.8327 5.0000 24.3542 normal -0.9825 0.0000 -0.1864
  489. }
  490.  
  491. patch {
  492. vertex 24.0388 -5.0000 27.5481 normal -0.9532 0.0000 -0.3025
  493. vertex 24.8327 5.0000 24.3542 normal -0.9825 0.0000 -0.1864
  494. vertex 24.0388 5.0000 27.5481 normal -0.9319 0.0000 -0.3627
  495. }
  496.  
  497. patch {
  498. vertex 24.8327 -5.0000 24.3542 normal -0.9914 0.0000 -0.1308
  499. vertex 25.1000 -5.0000 20.8000 normal -0.9994 0.0000 0.0357
  500. vertex 25.1000 5.0000 20.8000 normal -0.9998 0.0000 -0.0198
  501. }
  502.  
  503. patch {
  504. vertex 24.8327 -5.0000 24.3542 normal -0.9914 0.0000 -0.1308
  505. vertex 25.1000 5.0000 20.8000 normal -0.9998 0.0000 -0.0198
  506. vertex 24.8327 5.0000 24.3542 normal -0.9825 0.0000 -0.1864
  507. }
  508.  
  509. patch {
  510. vertex 25.1000 -5.0000 20.8000 normal -0.9994 0.0000 0.0357
  511. vertex 24.6213 -5.0000 15.5545 normal -0.9734 0.0000 0.2290
  512. vertex 24.6213 5.0000 15.5545 normal -0.9871 0.0000 0.1602
  513. }
  514.  
  515. patch {
  516. vertex 25.1000 -5.0000 20.8000 normal -0.9994 0.0000 0.0357
  517. vertex 24.6213 5.0000 15.5545 normal -0.9871 0.0000 0.1602
  518. vertex 25.1000 5.0000 20.8000 normal -0.9998 0.0000 -0.0198
  519. }
  520.  
  521. patch {
  522. vertex 24.6213 -5.0000 15.5545 normal -0.9734 0.0000 0.2290
  523. vertex 23.2050 -5.0000 10.9913 normal -0.8944 0.0000 0.4473
  524. vertex 23.2050 5.0000 10.9913 normal -0.9279 0.0000 0.3728
  525. }
  526.  
  527. patch {
  528. vertex 24.6213 -5.0000 15.5545 normal -0.9734 0.0000 0.2290
  529. vertex 23.2050 5.0000 10.9913 normal -0.9279 0.0000 0.3728
  530. vertex 24.6213 5.0000 15.5545 normal -0.9871 0.0000 0.1602
  531. }
  532.  
  533. patch {
  534. vertex 23.2050 -5.0000 10.9913 normal -0.8944 0.0000 0.4473
  535. vertex 20.8808 -5.0000 7.1557 normal -0.7516 0.0000 0.6596
  536. vertex 20.8808 5.0000 7.1557 normal -0.8067 0.0000 0.5909
  537. }
  538.  
  539. patch {
  540. vertex 23.2050 -5.0000 10.9913 normal -0.8944 0.0000 0.4473
  541. vertex 20.8808 5.0000 7.1557 normal -0.8067 0.0000 0.5909
  542. vertex 23.2050 5.0000 10.9913 normal -0.9279 0.0000 0.3728
  543. }
  544.  
  545. patch {
  546. vertex 20.8808 -5.0000 7.1557 normal -0.7516 0.0000 0.6596
  547. vertex 17.6784 -5.0000 4.0933 normal -0.5575 0.0000 0.8302
  548. vertex 17.6784 5.0000 4.0933 normal -0.6269 0.0000 0.7791
  549. }
  550.  
  551. patch {
  552. vertex 20.8808 -5.0000 7.1557 normal -0.7516 0.0000 0.6596
  553. vertex 17.6784 5.0000 4.0933 normal -0.6269 0.0000 0.7791
  554. vertex 20.8808 5.0000 7.1557 normal -0.8067 0.0000 0.5909
  555. }
  556.  
  557. patch {
  558. vertex 17.6784 -5.0000 4.0933 normal -0.5575 0.0000 0.8302
  559. vertex 13.6277 -5.0000 1.8496 normal -0.3453 0.0000 0.9385
  560. vertex 13.6277 5.0000 1.8496 normal -0.4163 0.0000 0.9092
  561. }
  562.  
  563. patch {
  564. vertex 17.6784 -5.0000 4.0933 normal -0.5575 0.0000 0.8302
  565. vertex 13.6277 5.0000 1.8496 normal -0.4163 0.0000 0.9092
  566. vertex 17.6784 5.0000 4.0933 normal -0.6269 0.0000 0.7791
  567. }
  568.  
  569. patch {
  570. vertex 13.6277 -5.0000 1.8496 normal -0.3453 0.0000 0.9385
  571. vertex 8.7583 -5.0000 0.4700 normal -0.1467 0.0000 0.9892
  572. vertex 8.7583 5.0000 0.4700 normal -0.2102 0.0000 0.9777
  573. }
  574.  
  575. patch {
  576. vertex 13.6277 -5.0000 1.8496 normal -0.3453 0.0000 0.9385
  577. vertex 8.7583 5.0000 0.4700 normal -0.2102 0.0000 0.9777
  578. vertex 13.6277 5.0000 1.8496 normal -0.4163 0.0000 0.9092
  579. }
  580.  
  581. patch {
  582. vertex 8.7583 -5.0000 0.4700 normal -0.1467 0.0000 0.9892
  583. vertex 3.1000 -5.0000 0.0000 normal -0.0276 0.0000 0.9996
  584. vertex 3.1000 5.0000 0.0000 normal -0.0552 0.0000 0.9985
  585. }
  586.  
  587. patch {
  588. vertex 8.7583 -5.0000 0.4700 normal -0.1467 0.0000 0.9892
  589. vertex 3.1000 5.0000 0.0000 normal -0.0552 0.0000 0.9985
  590. vertex 8.7583 5.0000 0.4700 normal -0.2102 0.0000 0.9777
  591. }
  592.  
  593. patch {
  594. vertex 3.1000 -5.0000 0.0000 normal -0.0276 0.0000 0.9996
  595. vertex -23.0000 -5.0000 0.0000 normal 0.0000 0.0000 1.0000
  596. vertex -23.0000 5.0000 0.0000 normal 0.0000 0.0000 1.0000
  597. }
  598.  
  599. patch {
  600. vertex 3.1000 -5.0000 0.0000 normal -0.0276 0.0000 0.9996
  601. vertex -23.0000 5.0000 0.0000 normal 0.0000 0.0000 1.0000
  602. vertex 3.1000 5.0000 0.0000 normal -0.0552 0.0000 0.9985
  603. }
  604.  
  605. patch {
  606. vertex -23.0000 -5.0000 0.0000 normal 1.0000 0.0000 0.0000
  607. vertex -23.0000 -5.0000 69.4000 normal 1.0000 0.0000 0.0000
  608. vertex -23.0000 5.0000 69.4000 normal 1.0000 0.0000 0.0000
  609. }
  610.  
  611. patch {
  612. vertex -23.0000 -5.0000 0.0000 normal 1.0000 0.0000 0.0000
  613. vertex -23.0000 5.0000 69.4000 normal 1.0000 0.0000 0.0000
  614. vertex -23.0000 5.0000 0.0000 normal 1.0000 0.0000 0.0000
  615. }
  616.  
  617. patch {
  618. vertex -23.0000 -5.0000 69.4000 normal 0.0000 0.0000 -1.0000
  619. vertex 1.7000 -5.0000 69.4000 normal -0.0455 0.0000 -0.9990
  620. vertex 1.7000 5.0000 69.4000 normal -0.0228 0.0000 -0.9997
  621. }
  622.  
  623. patch {
  624. vertex -23.0000 -5.0000 69.4000 normal 0.0000 0.0000 -1.0000
  625. vertex 1.7000 5.0000 69.4000 normal -0.0228 0.0000 -0.9997
  626. vertex -23.0000 5.0000 69.4000 normal 0.0000 0.0000 -1.0000
  627. }
  628.  
  629. patch {
  630. vertex 1.7000 -5.0000 69.4000 normal -0.0455 0.0000 -0.9990
  631. vertex 7.0437 -5.0000 69.0344 normal -0.1789 0.0000 -0.9839
  632. vertex 7.0437 5.0000 69.0344 normal -0.1237 0.0000 -0.9923
  633. }
  634.  
  635. patch {
  636. vertex 1.7000 -5.0000 69.4000 normal -0.0455 0.0000 -0.9990
  637. vertex 7.0437 5.0000 69.0344 normal -0.1237 0.0000 -0.9923
  638. vertex 1.7000 5.0000 69.4000 normal -0.0228 0.0000 -0.9997
  639. }
  640.  
  641. patch {
  642. vertex 7.0437 -5.0000 69.0344 normal -0.1789 0.0000 -0.9839
  643. vertex 11.5845 -5.0000 67.9446 normal -0.3698 0.0000 -0.9291
  644. vertex 11.5845 5.0000 67.9446 normal -0.3022 0.0000 -0.9532
  645. }
  646.  
  647. patch {
  648. vertex 7.0437 -5.0000 69.0344 normal -0.1789 0.0000 -0.9839
  649. vertex 11.5845 5.0000 67.9446 normal -0.3022 0.0000 -0.9532
  650. vertex 7.0437 5.0000 69.0344 normal -0.1237 0.0000 -0.9923
  651. }
  652.  
  653. patch {
  654. vertex 11.5845 -5.0000 67.9446 normal -0.3698 0.0000 -0.9291
  655. vertex 15.3155 -5.0000 66.1411 normal -0.5842 0.0000 -0.8116
  656. vertex 15.3155 5.0000 66.1411 normal -0.5114 0.0000 -0.8594
  657. }
  658.  
  659. patch {
  660. vertex 11.5845 -5.0000 67.9446 normal -0.3698 0.0000 -0.9291
  661. vertex 15.3155 5.0000 66.1411 normal -0.5114 0.0000 -0.8594
  662. vertex 11.5845 5.0000 67.9446 normal -0.3022 0.0000 -0.9532
  663. }
  664.  
  665. patch {
  666. vertex 15.3155 -5.0000 66.1411 normal -0.5842 0.0000 -0.8116
  667. vertex 18.2294 -5.0000 63.6344 normal -0.7824 0.0000 -0.6228
  668. vertex 18.2294 5.0000 63.6344 normal -0.7202 0.0000 -0.6938
  669. }
  670.  
  671. patch {
  672. vertex 15.3155 -5.0000 66.1411 normal -0.5842 0.0000 -0.8116
  673. vertex 18.2294 5.0000 63.6344 normal -0.7202 0.0000 -0.6938
  674. vertex 15.3155 5.0000 66.1411 normal -0.5114 0.0000 -0.8594
  675. }
  676.  
  677. patch {
  678. vertex 18.2294 -5.0000 63.6344 normal -0.7824 0.0000 -0.6228
  679. vertex 20.3195 -5.0000 60.4350 normal -0.9204 0.0000 -0.3911
  680. vertex 20.3195 5.0000 60.4350 normal -0.8821 0.0000 -0.4711
  681. }
  682.  
  683. patch {
  684. vertex 18.2294 -5.0000 63.6344 normal -0.7824 0.0000 -0.6228
  685. vertex 20.3195 5.0000 60.4350 normal -0.8821 0.0000 -0.4711
  686. vertex 18.2294 5.0000 63.6344 normal -0.7202 0.0000 -0.6938
  687. }
  688.  
  689. patch {
  690. vertex 20.3195 -5.0000 60.4350 normal -0.9204 0.0000 -0.3911
  691. vertex 21.5787 -5.0000 56.5534 normal -0.9863 0.0000 -0.1652
  692. vertex 21.5787 5.0000 56.5534 normal -0.9713 0.0000 -0.2377
  693. }
  694.  
  695. patch {
  696. vertex 20.3195 -5.0000 60.4350 normal -0.9204 0.0000 -0.3911
  697. vertex 21.5787 5.0000 56.5534 normal -0.9713 0.0000 -0.2377
  698. vertex 20.3195 5.0000 60.4350 normal -0.8821 0.0000 -0.4711
  699. }
  700.  
  701. patch {
  702. vertex 21.5787 -5.0000 56.5534 normal -0.9863 0.0000 -0.1652
  703. vertex 22.0000 -5.0000 52.0000 normal -0.9999 0.0000 0.0139
  704. vertex 22.0000 5.0000 52.0000 normal -0.9992 0.0000 -0.0393
  705. }
  706.  
  707. patch {
  708. vertex 21.5787 -5.0000 56.5534 normal -0.9863 0.0000 -0.1652
  709. vertex 22.0000 5.0000 52.0000 normal -0.9992 0.0000 -0.0393
  710. vertex 21.5787 5.0000 56.5534 normal -0.9713 0.0000 -0.2377
  711. }
  712.  
  713. patch {
  714. vertex 22.0000 -5.0000 52.0000 normal -0.9999 0.0000 0.0139
  715. vertex 21.8099 -5.0000 49.1606 normal -0.9856 0.0000 0.1692
  716. vertex 21.8099 5.0000 49.1606 normal -0.9930 0.0000 0.1181
  717. }
  718.  
  719. patch {
  720. vertex 22.0000 -5.0000 52.0000 normal -0.9999 0.0000 0.0139
  721. vertex 21.8099 5.0000 49.1606 normal -0.9930 0.0000 0.1181
  722. vertex 22.0000 5.0000 52.0000 normal -0.9992 0.0000 -0.0393
  723. }
  724.  
  725. patch {
  726. vertex 21.8099 -5.0000 49.1606 normal -0.9856 0.0000 0.1692
  727. vertex 21.2385 -5.0000 46.6239 normal -0.9427 0.0000 0.3336
  728. vertex 21.2385 5.0000 46.6239 normal -0.9609 0.0000 0.2771
  729. }
  730.  
  731. patch {
  732. vertex 21.8099 -5.0000 49.1606 normal -0.9856 0.0000 0.1692
  733. vertex 21.2385 5.0000 46.6239 normal -0.9609 0.0000 0.2771
  734. vertex 21.8099 5.0000 49.1606 normal -0.9930 0.0000 0.1181
  735. }
  736.  
  737. patch {
  738. vertex 21.2385 -5.0000 46.6239 normal -0.9427 0.0000 0.3336
  739. vertex 20.2840 -5.0000 44.3618 normal -0.8657 0.0000 0.5005
  740. vertex 20.2840 5.0000 44.3618 normal -0.8953 0.0000 0.4454
  741. }
  742.  
  743. patch {
  744. vertex 21.2385 -5.0000 46.6239 normal -0.9427 0.0000 0.3336
  745. vertex 20.2840 5.0000 44.3618 normal -0.8953 0.0000 0.4454
  746. vertex 21.2385 5.0000 46.6239 normal -0.9609 0.0000 0.2771
  747. }
  748.  
  749. patch {
  750. vertex 20.2840 -5.0000 44.3618 normal -0.8657 0.0000 0.5005
  751. vertex 18.9446 -5.0000 42.3464 normal -0.7611 0.0000 0.6486
  752. vertex 18.9446 5.0000 42.3464 normal -0.7985 0.0000 0.6020
  753. }
  754.  
  755. patch {
  756. vertex 20.2840 -5.0000 44.3618 normal -0.8657 0.0000 0.5005
  757. vertex 18.9446 5.0000 42.3464 normal -0.7985 0.0000 0.6020
  758. vertex 20.2840 5.0000 44.3618 normal -0.8953 0.0000 0.4454
  759. }
  760.  
  761. patch {
  762. vertex 18.9446 -5.0000 42.3464 normal -0.7611 0.0000 0.6486
  763. vertex 17.2187 -5.0000 40.5496 normal -0.6454 0.0000 0.7638
  764. vertex 17.2187 5.0000 40.5496 normal -0.6843 0.0000 0.7292
  765. }
  766.  
  767. patch {
  768. vertex 18.9446 -5.0000 42.3464 normal -0.7611 0.0000 0.6486
  769. vertex 17.2187 5.0000 40.5496 normal -0.6843 0.0000 0.7292
  770. vertex 18.9446 5.0000 42.3464 normal -0.7985 0.0000 0.6020
  771. }
  772.  
  773. patch {
  774. vertex 17.2187 -5.0000 40.5496 normal -0.6454 0.0000 0.7638
  775. vertex 15.1044 -5.0000 38.9434 normal -0.5355 0.0000 0.8445
  776. vertex 15.1044 5.0000 38.9434 normal -0.5707 0.0000 0.8211
  777. }
  778.  
  779. patch {
  780. vertex 17.2187 -5.0000 40.5496 normal -0.6454 0.0000 0.7638
  781. vertex 15.1044 5.0000 38.9434 normal -0.5707 0.0000 0.8211
  782. vertex 17.2187 5.0000 40.5496 normal -0.6843 0.0000 0.7292
  783. }
  784.  
  785. patch {
  786. vertex 15.1044 -5.0000 38.9434 normal -0.5355 0.0000 0.8445
  787. vertex 12.6000 -5.0000 37.5000 normal -0.4994 0.0000 0.8664
  788. vertex 12.6000 5.0000 37.5000 normal -0.4994 0.0000 0.8664
  789. }
  790.  
  791. patch {
  792. vertex 15.1044 -5.0000 38.9434 normal -0.5355 0.0000 0.8445
  793. vertex 12.6000 5.0000 37.5000 normal -0.4994 0.0000 0.8664
  794. vertex 15.1044 5.0000 38.9434 normal -0.5707 0.0000 0.8211
  795. }
  796.  
  797. patch {
  798. vertex -0.2000 -5.0000 40.6000 normal 0.0411 0.0000 -0.9992
  799. vertex 3.2650 -5.0000 40.8140 normal 0.1631 0.0000 -0.9866
  800. vertex 3.2650 5.0000 40.8140 normal 0.1125 0.0000 -0.9937
  801. }
  802.  
  803. patch {
  804. vertex -0.2000 -5.0000 40.6000 normal 0.0411 0.0000 -0.9992
  805. vertex 3.2650 5.0000 40.8140 normal 0.1125 0.0000 -0.9937
  806. vertex -0.2000 5.0000 40.6000 normal 0.0206 0.0000 -0.9998
  807. }
  808.  
  809. patch {
  810. vertex 3.2650 -5.0000 40.8140 normal 0.1631 0.0000 -0.9866
  811. vertex 6.2017 -5.0000 41.4548 normal 0.3426 0.0000 -0.9395
  812. vertex 6.2017 5.0000 41.4548 normal 0.2784 0.0000 -0.9605
  813. }
  814.  
  815. patch {
  816. vertex 3.2650 -5.0000 40.8140 normal 0.1631 0.0000 -0.9866
  817. vertex 6.2017 5.0000 41.4548 normal 0.2784 0.0000 -0.9605
  818. vertex 3.2650 5.0000 40.8140 normal 0.1125 0.0000 -0.9937
  819. }
  820.  
  821. patch {
  822. vertex 6.2017 -5.0000 41.4548 normal 0.3426 0.0000 -0.9395
  823. vertex 8.6085 -5.0000 42.5207 normal 0.5536 0.0000 -0.8328
  824. vertex 8.6085 5.0000 42.5207 normal 0.4807 0.0000 -0.8769
  825. }
  826.  
  827. patch {
  828. vertex 6.2017 -5.0000 41.4548 normal 0.3426 0.0000 -0.9395
  829. vertex 8.6085 5.0000 42.5207 normal 0.4807 0.0000 -0.8769
  830. vertex 6.2017 5.0000 41.4548 normal 0.2784 0.0000 -0.9605
  831. }
  832.  
  833. patch {
  834. vertex 8.6085 -5.0000 42.5207 normal 0.5536 0.0000 -0.8328
  835. vertex 10.4834 -5.0000 44.0099 normal 0.7599 0.0000 -0.6500
  836. vertex 10.4834 5.0000 44.0099 normal 0.6938 0.0000 -0.7202
  837. }
  838.  
  839. patch {
  840. vertex 8.6085 -5.0000 42.5207 normal 0.5536 0.0000 -0.8328
  841. vertex 10.4834 5.0000 44.0099 normal 0.6938 0.0000 -0.7202
  842. vertex 8.6085 5.0000 42.5207 normal 0.4807 0.0000 -0.8769
  843. }
  844.  
  845. patch {
  846. vertex 10.4834 -5.0000 44.0099 normal 0.7599 0.0000 -0.6500
  847. vertex 11.8248 -5.0000 45.9207 normal 0.9107 0.0000 -0.4130
  848. vertex 11.8248 5.0000 45.9207 normal 0.8682 0.0000 -0.4963
  849. }
  850.  
  851. patch {
  852. vertex 10.4834 -5.0000 44.0099 normal 0.7599 0.0000 -0.6500
  853. vertex 11.8248 5.0000 45.9207 normal 0.8682 0.0000 -0.4963
  854. vertex 10.4834 5.0000 44.0099 normal 0.6938 0.0000 -0.7202
  855. }
  856.  
  857. patch {
  858. vertex 11.8248 -5.0000 45.9207 normal 0.9107 0.0000 -0.4130
  859. vertex 12.6309 -5.0000 48.2513 normal 0.9846 0.0000 -0.1750
  860. vertex 12.6309 5.0000 48.2513 normal 0.9677 0.0000 -0.2519
  861. }
  862.  
  863. patch {
  864. vertex 11.8248 -5.0000 45.9207 normal 0.9107 0.0000 -0.4130
  865. vertex 12.6309 5.0000 48.2513 normal 0.9677 0.0000 -0.2519
  866. vertex 11.8248 5.0000 45.9207 normal 0.8682 0.0000 -0.4963
  867. }
  868.  
  869. patch {
  870. vertex 12.6309 -5.0000 48.2513 normal 0.9846 0.0000 -0.1750
  871. vertex 12.9000 -5.0000 51.0000 normal 0.9997 0.0000 0.0254
  872. vertex 12.9000 5.0000 51.0000 normal 0.9993 0.0000 -0.0362
  873. }
  874.  
  875. patch {
  876. vertex 12.6309 -5.0000 48.2513 normal 0.9846 0.0000 -0.1750
  877. vertex 12.9000 5.0000 51.0000 normal 0.9993 0.0000 -0.0362
  878. vertex 12.6309 5.0000 48.2513 normal 0.9677 0.0000 -0.2519
  879. }
  880.  
  881. patch {
  882. vertex 12.9000 -5.0000 51.0000 normal 0.9997 0.0000 0.0254
  883. vertex 12.6542 -5.0000 53.8265 normal 0.9726 0.0000 0.2326
  884. vertex 12.6542 5.0000 53.8265 normal 0.9871 0.0000 0.1598
  885. }
  886.  
  887. patch {
  888. vertex 12.9000 -5.0000 51.0000 normal 0.9997 0.0000 0.0254
  889. vertex 12.6542 5.0000 53.8265 normal 0.9871 0.0000 0.1598
  890. vertex 12.9000 5.0000 51.0000 normal 0.9993 0.0000 -0.0362
  891. }
  892.  
  893. patch {
  894. vertex 12.6542 -5.0000 53.8265 normal 0.9726 0.0000 0.2326
  895. vertex 11.9134 -5.0000 56.1510 normal 0.8787 0.0000 0.4773
  896. vertex 11.9134 5.0000 56.1510 normal 0.9200 0.0000 0.3918
  897. }
  898.  
  899. patch {
  900. vertex 12.6542 -5.0000 53.8265 normal 0.9726 0.0000 0.2326
  901. vertex 11.9134 5.0000 56.1510 normal 0.9200 0.0000 0.3918
  902. vertex 12.6542 5.0000 53.8265 normal 0.9871 0.0000 0.1598
  903. }
  904.  
  905. patch {
  906. vertex 11.9134 -5.0000 56.1510 normal 0.8787 0.0000 0.4773
  907. vertex 10.6723 -5.0000 57.9980 normal 0.6997 0.0000 0.7144
  908. vertex 10.6723 5.0000 57.9980 normal 0.7692 0.0000 0.6390
  909. }
  910.  
  911. patch {
  912. vertex 11.9134 -5.0000 56.1510 normal 0.8787 0.0000 0.4773
  913. vertex 10.6723 5.0000 57.9980 normal 0.7692 0.0000 0.6390
  914. vertex 11.9134 5.0000 56.1510 normal 0.9200 0.0000 0.3918
  915. }
  916.  
  917. patch {
  918. vertex 10.6723 -5.0000 57.9980 normal 0.6997 0.0000 0.7144
  919. vertex 8.9257 -5.0000 59.3918 normal 0.4738 0.0000 0.8806
  920. vertex 8.9257 5.0000 59.3918 normal 0.5513 0.0000 0.8343
  921. }
  922.  
  923. patch {
  924. vertex 10.6723 -5.0000 57.9980 normal 0.6997 0.0000 0.7144
  925. vertex 8.9257 5.0000 59.3918 normal 0.5513 0.0000 0.8343
  926. vertex 10.6723 5.0000 57.9980 normal 0.7692 0.0000 0.6390
  927. }
  928.  
  929. patch {
  930. vertex 8.9257 -5.0000 59.3918 normal 0.4738 0.0000 0.8806
  931. vertex 6.6682 -5.0000 60.3571 normal 0.2645 0.0000 0.9644
  932. vertex 6.6682 5.0000 60.3571 normal 0.3298 0.0000 0.9441
  933. }
  934.  
  935. patch {
  936. vertex 8.9257 -5.0000 59.3918 normal 0.4738 0.0000 0.8806
  937. vertex 6.6682 5.0000 60.3571 normal 0.3298 0.0000 0.9441
  938. vertex 8.9257 5.0000 59.3918 normal 0.5513 0.0000 0.8343
  939. }
  940.  
  941. patch {
  942. vertex 6.6682 -5.0000 60.3571 normal 0.2645 0.0000 0.9644
  943. vertex 3.8948 -5.0000 60.9184 normal 0.1030 0.0000 0.9947
  944. vertex 3.8948 5.0000 60.9184 normal 0.1509 0.0000 0.9885
  945. }
  946.  
  947. patch {
  948. vertex 6.6682 -5.0000 60.3571 normal 0.2645 0.0000 0.9644
  949. vertex 3.8948 5.0000 60.9184 normal 0.1509 0.0000 0.9885
  950. vertex 6.6682 5.0000 60.3571 normal 0.3298 0.0000 0.9441
  951. }
  952.  
  953. patch {
  954. vertex 3.8948 -5.0000 60.9184 normal 0.1030 0.0000 0.9947
  955. vertex 0.6000 -5.0000 61.1000 normal 0.0184 0.0000 0.9998
  956. vertex 0.6000 5.0000 61.1000 normal 0.0367 0.0000 0.9993
  957. }
  958.  
  959. patch {
  960. vertex 3.8948 -5.0000 60.9184 normal 0.1030 0.0000 0.9947
  961. vertex 0.6000 5.0000 61.1000 normal 0.0367 0.0000 0.9993
  962. vertex 3.8948 5.0000 60.9184 normal 0.1509 0.0000 0.9885
  963. }
  964.  
  965. patch {
  966. vertex 0.6000 -5.0000 61.1000 normal 0.0184 0.0000 0.9998
  967. vertex -13.8000 -5.0000 61.1000 normal 0.0000 0.0000 1.0000
  968. vertex -13.8000 5.0000 61.1000 normal 0.0000 0.0000 1.0000
  969. }
  970.  
  971. patch {
  972. vertex 0.6000 -5.0000 61.1000 normal 0.0184 0.0000 0.9998
  973. vertex -13.8000 5.0000 61.1000 normal 0.0000 0.0000 1.0000
  974. vertex 0.6000 5.0000 61.1000 normal 0.0367 0.0000 0.9993
  975. }
  976.  
  977. patch {
  978. vertex -13.8000 -5.0000 61.1000 normal -1.0000 0.0000 0.0000
  979. vertex -13.8000 -5.0000 40.6000 normal -1.0000 0.0000 0.0000
  980. vertex -13.8000 5.0000 40.6000 normal -1.0000 0.0000 0.0000
  981. }
  982.  
  983. patch {
  984. vertex -13.8000 -5.0000 61.1000 normal -1.0000 0.0000 0.0000
  985. vertex -13.8000 5.0000 40.6000 normal -1.0000 0.0000 0.0000
  986. vertex -13.8000 5.0000 61.1000 normal -1.0000 0.0000 0.0000
  987. }
  988.  
  989. patch {
  990. vertex -13.8000 -5.0000 40.6000 normal 0.0000 0.0000 -1.0000
  991. vertex -0.2000 -5.0000 40.6000 normal 0.0411 0.0000 -0.9992
  992. vertex -0.2000 5.0000 40.6000 normal 0.0206 0.0000 -0.9998
  993. }
  994.  
  995. patch {
  996. vertex -13.8000 -5.0000 40.6000 normal 0.0000 0.0000 -1.0000
  997. vertex -0.2000 5.0000 40.6000 normal 0.0206 0.0000 -0.9998
  998. vertex -13.8000 5.0000 40.6000 normal 0.0000 0.0000 -1.0000
  999. }
  1000.  
  1001. patch {
  1002. vertex 2.0000 -5.0000 8.3000 normal 0.0457 0.0000 -0.9990
  1003. vertex 5.5816 -5.0000 8.5458 normal 0.1817 0.0000 -0.9834
  1004. vertex 5.5816 5.0000 8.5458 normal 0.1252 0.0000 -0.9921
  1005. }
  1006.  
  1007. patch {
  1008. vertex 2.0000 -5.0000 8.3000 normal 0.0457 0.0000 -0.9990
  1009. vertex 5.5816 5.0000 8.5458 normal 0.1252 0.0000 -0.9921
  1010. vertex 2.0000 5.0000 8.3000 normal 0.0228 0.0000 -0.9997
  1011. }
  1012.  
  1013. patch {
  1014. vertex 5.5816 -5.0000 8.5458 normal 0.1817 0.0000 -0.9834
  1015. vertex 8.6122 -5.0000 9.2866 normal 0.3797 0.0000 -0.9251
  1016. vertex 8.6122 5.0000 9.2866 normal 0.3092 0.0000 -0.9510
  1017. }
  1018.  
  1019. patch {
  1020. vertex 5.5816 -5.0000 8.5458 normal 0.1817 0.0000 -0.9834
  1021. vertex 8.6122 5.0000 9.2866 normal 0.3092 0.0000 -0.9510
  1022. vertex 5.5816 5.0000 8.5458 normal 0.1252 0.0000 -0.9921
  1023. }
  1024.  
  1025. patch {
  1026. vertex 8.6122 -5.0000 9.2866 normal 0.3797 0.0000 -0.9251
  1027. vertex 11.0918 -5.0000 10.5277 normal 0.6016 0.0000 -0.7988
  1028. vertex 11.0918 5.0000 10.5277 normal 0.5265 0.0000 -0.8502
  1029. }
  1030.  
  1031. patch {
  1032. vertex 8.6122 -5.0000 9.2866 normal 0.3797 0.0000 -0.9251
  1033. vertex 11.0918 5.0000 10.5277 normal 0.5265 0.0000 -0.8502
  1034. vertex 8.6122 5.0000 9.2866 normal 0.3092 0.0000 -0.9510
  1035. }
  1036.  
  1037. patch {
  1038. vertex 11.0918 -5.0000 10.5277 normal 0.6016 0.0000 -0.7988
  1039. vertex 13.0204 -5.0000 12.2743 normal 0.8001 0.0000 -0.5998
  1040. vertex 13.0204 5.0000 12.2743 normal 0.7388 0.0000 -0.6739
  1041. }
  1042.  
  1043. patch {
  1044. vertex 11.0918 -5.0000 10.5277 normal 0.6016 0.0000 -0.7988
  1045. vertex 13.0204 5.0000 12.2743 normal 0.7388 0.0000 -0.6739
  1046. vertex 11.0918 5.0000 10.5277 normal 0.5265 0.0000 -0.8502
  1047. }
  1048.  
  1049. patch {
  1050. vertex 13.0204 -5.0000 12.2743 normal 0.8001 0.0000 -0.5998
  1051. vertex 14.3980 -5.0000 14.5318 normal 0.9303 0.0000 -0.3667
  1052. vertex 14.3980 5.0000 14.5318 normal 0.8951 0.0000 -0.4458
  1053. }
  1054.  
  1055. patch {
  1056. vertex 13.0204 -5.0000 12.2743 normal 0.8001 0.0000 -0.5998
  1057. vertex 14.3980 5.0000 14.5318 normal 0.8951 0.0000 -0.4458
  1058. vertex 13.0204 5.0000 12.2743 normal 0.7388 0.0000 -0.6739
  1059. }
  1060.  
  1061. patch {
  1062. vertex 14.3980 -5.0000 14.5318 normal 0.9303 0.0000 -0.3667
  1063. vertex 15.2245 -5.0000 17.3052 normal 0.9885 0.0000 -0.1515
  1064. vertex 15.2245 5.0000 17.3052 normal 0.9757 0.0000 -0.2192
  1065. }
  1066.  
  1067. patch {
  1068. vertex 14.3980 -5.0000 14.5318 normal 0.9303 0.0000 -0.3667
  1069. vertex 15.2245 5.0000 17.3052 normal 0.9757 0.0000 -0.2192
  1070. vertex 14.3980 5.0000 14.5318 normal 0.8951 0.0000 -0.4458
  1071. }
  1072.  
  1073. patch {
  1074. vertex 15.2245 -5.0000 17.3052 normal 0.9885 0.0000 -0.1515
  1075. vertex 15.5000 -5.0000 20.6000 normal 0.9994 0.0000 0.0334
  1076. vertex 15.5000 5.0000 20.6000 normal 0.9997 0.0000 -0.0251
  1077. }
  1078.  
  1079. patch {
  1080. vertex 15.2245 -5.0000 17.3052 normal 0.9885 0.0000 -0.1515
  1081. vertex 15.5000 5.0000 20.6000 normal 0.9997 0.0000 -0.0251
  1082. vertex 15.2245 5.0000 17.3052 normal 0.9757 0.0000 -0.2192
  1083. }
  1084.  
  1085. patch {
  1086. vertex 15.5000 -5.0000 20.6000 normal 0.9994 0.0000 0.0334
  1087. vertex 15.2061 -5.0000 23.7930 normal 0.9702 0.0000 0.2425
  1088. vertex 15.2061 5.0000 23.7930 normal 0.9859 0.0000 0.1673
  1089. }
  1090.  
  1091. patch {
  1092. vertex 15.5000 -5.0000 20.6000 normal 0.9994 0.0000 0.0334
  1093. vertex 15.2061 5.0000 23.7930 normal 0.9859 0.0000 0.1673
  1094. vertex 15.5000 5.0000 20.6000 normal 0.9997 0.0000 -0.0251
  1095. }
  1096.  
  1097. patch {
  1098. vertex 15.2061 -5.0000 23.7930 normal 0.9702 0.0000 0.2425
  1099. vertex 14.3245 -5.0000 26.4420 normal 0.8723 0.0000 0.4889
  1100. vertex 14.3245 5.0000 26.4420 normal 0.9149 0.0000 0.4038
  1101. }
  1102.  
  1103. patch {
  1104. vertex 15.2061 -5.0000 23.7930 normal 0.9702 0.0000 0.2425
  1105. vertex 14.3245 5.0000 26.4420 normal 0.9149 0.0000 0.4038
  1106. vertex 15.2061 5.0000 23.7930 normal 0.9859 0.0000 0.1673
  1107. }
  1108.  
  1109. patch {
  1110. vertex 14.3245 -5.0000 26.4420 normal 0.8723 0.0000 0.4889
  1111. vertex 12.8551 -5.0000 28.5662 normal 0.6933 0.0000 0.7207
  1112. vertex 12.8551 5.0000 28.5662 normal 0.7619 0.0000 0.6476
  1113. }
  1114.  
  1115. patch {
  1116. vertex 14.3245 -5.0000 26.4420 normal 0.8723 0.0000 0.4889
  1117. vertex 12.8551 5.0000 28.5662 normal 0.7619 0.0000 0.6476
  1118. vertex 14.3245 5.0000 26.4420 normal 0.9149 0.0000 0.4038
  1119. }
  1120.  
  1121. patch {
  1122. vertex 12.8551 -5.0000 28.5662 normal 0.6933 0.0000 0.7207
  1123. vertex 10.7980 -5.0000 30.1848 normal 0.4721 0.0000 0.8815
  1124. vertex 10.7980 5.0000 30.1848 normal 0.5476 0.0000 0.8367
  1125. }
  1126.  
  1127. patch {
  1128. vertex 12.8551 -5.0000 28.5662 normal 0.6933 0.0000 0.7207
  1129. vertex 10.7980 5.0000 30.1848 normal 0.5476 0.0000 0.8367
  1130. vertex 12.8551 5.0000 28.5662 normal 0.7619 0.0000 0.6476
  1131. }
  1132.  
  1133. patch {
  1134. vertex 10.7980 -5.0000 30.1848 normal 0.4721 0.0000 0.8815
  1135. vertex 8.1531 -5.0000 31.3172 normal 0.2668 0.0000 0.9638
  1136. vertex 8.1531 5.0000 31.3172 normal 0.3311 0.0000 0.9436
  1137. }
  1138.  
  1139. patch {
  1140. vertex 10.7980 -5.0000 30.1848 normal 0.4721 0.0000 0.8815
  1141. vertex 8.1531 5.0000 31.3172 normal 0.3311 0.0000 0.9436
  1142. vertex 10.7980 5.0000 30.1848 normal 0.5476 0.0000 0.8367
  1143. }
  1144.  
  1145. patch {
  1146. vertex 8.1531 -5.0000 31.3172 normal 0.2668 0.0000 0.9638
  1147. vertex 4.9204 -5.0000 31.9825 normal 0.1053 0.0000 0.9944
  1148. vertex 4.9204 5.0000 31.9825 normal 0.1537 0.0000 0.9881
  1149. }
  1150.  
  1151. patch {
  1152. vertex 8.1531 -5.0000 31.3172 normal 0.2668 0.0000 0.9638
  1153. vertex 4.9204 5.0000 31.9825 normal 0.1537 0.0000 0.9881
  1154. vertex 8.1531 5.0000 31.3172 normal 0.3311 0.0000 0.9436
  1155. }
  1156.  
  1157. patch {
  1158. vertex 4.9204 -5.0000 31.9825 normal 0.1053 0.0000 0.9944
  1159. vertex 1.1000 -5.0000 32.2000 normal 0.0190 0.0000 0.9998
  1160. vertex 1.1000 5.0000 32.2000 normal 0.0379 0.0000 0.9993
  1161. }
  1162.  
  1163. patch {
  1164. vertex 4.9204 -5.0000 31.9825 normal 0.1053 0.0000 0.9944
  1165. vertex 1.1000 5.0000 32.2000 normal 0.0379 0.0000 0.9993
  1166. vertex 4.9204 5.0000 31.9825 normal 0.1537 0.0000 0.9881
  1167. }
  1168.  
  1169. patch {
  1170. vertex 1.1000 -5.0000 32.2000 normal 0.0190 0.0000 0.9998
  1171. vertex -13.8000 -5.0000 32.2000 normal 0.0000 0.0000 1.0000
  1172. vertex -13.8000 5.0000 32.2000 normal 0.0000 0.0000 1.0000
  1173. }
  1174.  
  1175. patch {
  1176. vertex 1.1000 -5.0000 32.2000 normal 0.0190 0.0000 0.9998
  1177. vertex -13.8000 5.0000 32.2000 normal 0.0000 0.0000 1.0000
  1178. vertex 1.1000 5.0000 32.2000 normal 0.0379 0.0000 0.9993
  1179. }
  1180.  
  1181. patch {
  1182. vertex -13.8000 -5.0000 32.2000 normal -1.0000 0.0000 0.0000
  1183. vertex -13.8000 -5.0000 8.3000 normal -1.0000 0.0000 0.0000
  1184. vertex -13.8000 5.0000 8.3000 normal -1.0000 0.0000 0.0000
  1185. }
  1186.  
  1187. patch {
  1188. vertex -13.8000 -5.0000 32.2000 normal -1.0000 0.0000 0.0000
  1189. vertex -13.8000 5.0000 8.3000 normal -1.0000 0.0000 0.0000
  1190. vertex -13.8000 5.0000 32.2000 normal -1.0000 0.0000 0.0000
  1191. }
  1192.  
  1193. patch {
  1194. vertex -13.8000 -5.0000 8.3000 normal 0.0000 0.0000 -1.0000
  1195. vertex 2.0000 -5.0000 8.3000 normal 0.0457 0.0000 -0.9990
  1196. vertex 2.0000 5.0000 8.3000 normal 0.0228 0.0000 -0.9997
  1197. }
  1198.  
  1199. patch {
  1200. vertex -13.8000 -5.0000 8.3000 normal 0.0000 0.0000 -1.0000
  1201. vertex 2.0000 5.0000 8.3000 normal 0.0228 0.0000 -0.9997
  1202. vertex -13.8000 5.0000 8.3000 normal 0.0000 0.0000 -1.0000
  1203. }
  1204.  
  1205. patch {
  1206. vertex 4.9204 5.0000 31.9825 normal 0.0000 -1.0000 0.0000
  1207. vertex 1.1000 5.0000 32.2000 normal 0.0000 -1.0000 0.0000
  1208. vertex 12.6000 5.0000 37.5000 normal 0.0000 -1.0000 0.0000
  1209. }
  1210.  
  1211. patch {
  1212. vertex 8.1531 5.0000 31.3172 normal 0.0000 -1.0000 0.0000
  1213. vertex 4.9204 5.0000 31.9825 normal 0.0000 -1.0000 0.0000
  1214. vertex 12.6000 5.0000 37.5000 normal 0.0000 -1.0000 0.0000
  1215. }
  1216.  
  1217. patch {
  1218. vertex 10.7980 5.0000 30.1848 normal 0.0000 -1.0000 0.0000
  1219. vertex 8.1531 5.0000 31.3172 normal 0.0000 -1.0000 0.0000
  1220. vertex 12.6000 5.0000 37.5000 normal 0.0000 -1.0000 0.0000
  1221. }
  1222.  
  1223. patch {
  1224. vertex 12.9000 5.0000 51.0000 normal 0.0000 -1.0000 0.0000
  1225. vertex 22.0000 5.0000 52.0000 normal 0.0000 -1.0000 0.0000
  1226. vertex 21.8099 5.0000 49.1606 normal 0.0000 -1.0000 0.0000
  1227. }
  1228.  
  1229. patch {
  1230. vertex 12.6309 5.0000 48.2513 normal 0.0000 -1.0000 0.0000
  1231. vertex 12.9000 5.0000 51.0000 normal 0.0000 -1.0000 0.0000
  1232. vertex 21.8099 5.0000 49.1606 normal 0.0000 -1.0000 0.0000
  1233. }
  1234.  
  1235. patch {
  1236. vertex 12.6309 5.0000 48.2513 normal 0.0000 -1.0000 0.0000
  1237. vertex 21.8099 5.0000 49.1606 normal 0.0000 -1.0000 0.0000
  1238. vertex 21.2385 5.0000 46.6239 normal 0.0000 -1.0000 0.0000
  1239. }
  1240.  
  1241. patch {
  1242. vertex 12.6309 5.0000 48.2513 normal 0.0000 -1.0000 0.0000
  1243. vertex 21.2385 5.0000 46.6239 normal 0.0000 -1.0000 0.0000
  1244. vertex 20.2840 5.0000 44.3618 normal 0.0000 -1.0000 0.0000
  1245. }
  1246.  
  1247. patch {
  1248. vertex 11.8248 5.0000 45.9207 normal 0.0000 -1.0000 0.0000
  1249. vertex 12.6309 5.0000 48.2513 normal 0.0000 -1.0000 0.0000
  1250. vertex 20.2840 5.0000 44.3618 normal 0.0000 -1.0000 0.0000
  1251. }
  1252.  
  1253. patch {
  1254. vertex 11.8248 5.0000 45.9207 normal 0.0000 -1.0000 0.0000
  1255. vertex 20.2840 5.0000 44.3618 normal 0.0000 -1.0000 0.0000
  1256. vertex 18.9446 5.0000 42.3464 normal 0.0000 -1.0000 0.0000
  1257. }
  1258.  
  1259. patch {
  1260. vertex 11.8248 5.0000 45.9207 normal 0.0000 -1.0000 0.0000
  1261. vertex 18.9446 5.0000 42.3464 normal 0.0000 -1.0000 0.0000
  1262. vertex 17.2187 5.0000 40.5496 normal 0.0000 -1.0000 0.0000
  1263. }
  1264.  
  1265. patch {
  1266. vertex 10.4834 5.0000 44.0099 normal 0.0000 -1.0000 0.0000
  1267. vertex 11.8248 5.0000 45.9207 normal 0.0000 -1.0000 0.0000
  1268. vertex 17.2187 5.0000 40.5496 normal 0.0000 -1.0000 0.0000
  1269. }
  1270.  
  1271. patch {
  1272. vertex 10.4834 5.0000 44.0099 normal 0.0000 -1.0000 0.0000
  1273. vertex 17.2187 5.0000 40.5496 normal 0.0000 -1.0000 0.0000
  1274. vertex 15.1044 5.0000 38.9434 normal 0.0000 -1.0000 0.0000
  1275. }
  1276.  
  1277. patch {
  1278. vertex 10.4834 5.0000 44.0099 normal 0.0000 -1.0000 0.0000
  1279. vertex 15.1044 5.0000 38.9434 normal 0.0000 -1.0000 0.0000
  1280. vertex 12.6000 5.0000 37.5000 normal 0.0000 -1.0000 0.0000
  1281. }
  1282.  
  1283. patch {
  1284. vertex 8.6085 5.0000 42.5207 normal 0.0000 -1.0000 0.0000
  1285. vertex 10.4834 5.0000 44.0099 normal 0.0000 -1.0000 0.0000
  1286. vertex 12.6000 5.0000 37.5000 normal 0.0000 -1.0000 0.0000
  1287. }
  1288.  
  1289. patch {
  1290. vertex 8.6085 5.0000 42.5207 normal 0.0000 -1.0000 0.0000
  1291. vertex 12.6000 5.0000 37.5000 normal 0.0000 -1.0000 0.0000
  1292. vertex 1.1000 5.0000 32.2000 normal 0.0000 -1.0000 0.0000
  1293. }
  1294.  
  1295. patch {
  1296. vertex 6.2017 5.0000 41.4548 normal 0.0000 -1.0000 0.0000
  1297. vertex 8.6085 5.0000 42.5207 normal 0.0000 -1.0000 0.0000
  1298. vertex 1.1000 5.0000 32.2000 normal 0.0000 -1.0000 0.0000
  1299. }
  1300.  
  1301. patch {
  1302. vertex 3.2650 5.0000 40.8140 normal 0.0000 -1.0000 0.0000
  1303. vertex 6.2017 5.0000 41.4548 normal 0.0000 -1.0000 0.0000
  1304. vertex 1.1000 5.0000 32.2000 normal 0.0000 -1.0000 0.0000
  1305. }
  1306.  
  1307. patch {
  1308. vertex -0.2000 5.0000 40.6000 normal 0.0000 -1.0000 0.0000
  1309. vertex 3.2650 5.0000 40.8140 normal 0.0000 -1.0000 0.0000
  1310. vertex 1.1000 5.0000 32.2000 normal 0.0000 -1.0000 0.0000
  1311. }
  1312.  
  1313. patch {
  1314. vertex -0.2000 5.0000 40.6000 normal 0.0000 -1.0000 0.0000
  1315. vertex 1.1000 5.0000 32.2000 normal 0.0000 -1.0000 0.0000
  1316. vertex -13.8000 5.0000 32.2000 normal 0.0000 -1.0000 0.0000
  1317. }
  1318.  
  1319. patch {
  1320. vertex -13.8000 5.0000 40.6000 normal 0.0000 -1.0000 0.0000
  1321. vertex -0.2000 5.0000 40.6000 normal 0.0000 -1.0000 0.0000
  1322. vertex -13.8000 5.0000 32.2000 normal 0.0000 -1.0000 0.0000
  1323. }
  1324.  
  1325. patch {
  1326. vertex 10.7980 5.0000 30.1848 normal 0.0000 -1.0000 0.0000
  1327. vertex 12.6000 5.0000 37.5000 normal 0.0000 -1.0000 0.0000
  1328. vertex 15.8429 5.0000 36.3703 normal 0.0000 -1.0000 0.0000
  1329. }
  1330.  
  1331. patch {
  1332. vertex 22.0000 5.0000 52.0000 normal 0.0000 -1.0000 0.0000
  1333. vertex 12.9000 5.0000 51.0000 normal 0.0000 -1.0000 0.0000
  1334. vertex 12.6542 5.0000 53.8265 normal 0.0000 -1.0000 0.0000
  1335. }
  1336.  
  1337. patch {
  1338. vertex 21.5787 5.0000 56.5534 normal 0.0000 -1.0000 0.0000
  1339. vertex 22.0000 5.0000 52.0000 normal 0.0000 -1.0000 0.0000
  1340. vertex 12.6542 5.0000 53.8265 normal 0.0000 -1.0000 0.0000
  1341. }
  1342.  
  1343. patch {
  1344. vertex 12.8551 5.0000 28.5662 normal 0.0000 -1.0000 0.0000
  1345. vertex 10.7980 5.0000 30.1848 normal 0.0000 -1.0000 0.0000
  1346. vertex 15.8429 5.0000 36.3703 normal 0.0000 -1.0000 0.0000
  1347. }
  1348.  
  1349. patch {
  1350. vertex 12.8551 5.0000 28.5662 normal 0.0000 -1.0000 0.0000
  1351. vertex 15.8429 5.0000 36.3703 normal 0.0000 -1.0000 0.0000
  1352. vertex 18.6204 5.0000 34.7927 normal 0.0000 -1.0000 0.0000
  1353. }
  1354.  
  1355. patch {
  1356. vertex 20.3195 5.0000 60.4350 normal 0.0000 -1.0000 0.0000
  1357. vertex 21.5787 5.0000 56.5534 normal 0.0000 -1.0000 0.0000
  1358. vertex 12.6542 5.0000 53.8265 normal 0.0000 -1.0000 0.0000
  1359. }
  1360.  
  1361. patch {
  1362. vertex 20.3195 5.0000 60.4350 normal 0.0000 -1.0000 0.0000
  1363. vertex 12.6542 5.0000 53.8265 normal 0.0000 -1.0000 0.0000
  1364. vertex 11.9134 5.0000 56.1510 normal 0.0000 -1.0000 0.0000
  1365. }
  1366.  
  1367. patch {
  1368. vertex 18.2294 5.0000 63.6344 normal 0.0000 -1.0000 0.0000
  1369. vertex 20.3195 5.0000 60.4350 normal 0.0000 -1.0000 0.0000
  1370. vertex 11.9134 5.0000 56.1510 normal 0.0000 -1.0000 0.0000
  1371. }
  1372.  
  1373. patch {
  1374. vertex 18.2294 5.0000 63.6344 normal 0.0000 -1.0000 0.0000
  1375. vertex 11.9134 5.0000 56.1510 normal 0.0000 -1.0000 0.0000
  1376. vertex 10.6723 5.0000 57.9980 normal 0.0000 -1.0000 0.0000
  1377. }
  1378.  
  1379. patch {
  1380. vertex 15.3155 5.0000 66.1411 normal 0.0000 -1.0000 0.0000
  1381. vertex 18.2294 5.0000 63.6344 normal 0.0000 -1.0000 0.0000
  1382. vertex 10.6723 5.0000 57.9980 normal 0.0000 -1.0000 0.0000
  1383. }
  1384.  
  1385. patch {
  1386. vertex 15.3155 5.0000 66.1411 normal 0.0000 -1.0000 0.0000
  1387. vertex 10.6723 5.0000 57.9980 normal 0.0000 -1.0000 0.0000
  1388. vertex 8.9257 5.0000 59.3918 normal 0.0000 -1.0000 0.0000
  1389. }
  1390.  
  1391. patch {
  1392. vertex 11.5845 5.0000 67.9446 normal 0.0000 -1.0000 0.0000
  1393. vertex 15.3155 5.0000 66.1411 normal 0.0000 -1.0000 0.0000
  1394. vertex 8.9257 5.0000 59.3918 normal 0.0000 -1.0000 0.0000
  1395. }
  1396.  
  1397. patch {
  1398. vertex 11.5845 5.0000 67.9446 normal 0.0000 -1.0000 0.0000
  1399. vertex 8.9257 5.0000 59.3918 normal 0.0000 -1.0000 0.0000
  1400. vertex 6.6682 5.0000 60.3571 normal 0.0000 -1.0000 0.0000
  1401. }
  1402.  
  1403. patch {
  1404. vertex 7.0437 5.0000 69.0344 normal 0.0000 -1.0000 0.0000
  1405. vertex 11.5845 5.0000 67.9446 normal 0.0000 -1.0000 0.0000
  1406. vertex 6.6682 5.0000 60.3571 normal 0.0000 -1.0000 0.0000
  1407. }
  1408.  
  1409. patch {
  1410. vertex 7.0437 5.0000 69.0344 normal 0.0000 -1.0000 0.0000
  1411. vertex 6.6682 5.0000 60.3571 normal 0.0000 -1.0000 0.0000
  1412. vertex 3.8948 5.0000 60.9184 normal 0.0000 -1.0000 0.0000
  1413. }
  1414.  
  1415. patch {
  1416. vertex 1.7000 5.0000 69.4000 normal 0.0000 -1.0000 0.0000
  1417. vertex 7.0437 5.0000 69.0344 normal 0.0000 -1.0000 0.0000
  1418. vertex 3.8948 5.0000 60.9184 normal 0.0000 -1.0000 0.0000
  1419. }
  1420.  
  1421. patch {
  1422. vertex 1.7000 5.0000 69.4000 normal 0.0000 -1.0000 0.0000
  1423. vertex 3.8948 5.0000 60.9184 normal 0.0000 -1.0000 0.0000
  1424. vertex 0.6000 5.0000 61.1000 normal 0.0000 -1.0000 0.0000
  1425. }
  1426.  
  1427. patch {
  1428. vertex -23.0000 5.0000 69.4000 normal 0.0000 -1.0000 0.0000
  1429. vertex 1.7000 5.0000 69.4000 normal 0.0000 -1.0000 0.0000
  1430. vertex 0.6000 5.0000 61.1000 normal 0.0000 -1.0000 0.0000
  1431. }
  1432.  
  1433. patch {
  1434. vertex -23.0000 5.0000 69.4000 normal 0.0000 -1.0000 0.0000
  1435. vertex 0.6000 5.0000 61.1000 normal 0.0000 -1.0000 0.0000
  1436. vertex -13.8000 5.0000 61.1000 normal 0.0000 -1.0000 0.0000
  1437. }
  1438.  
  1439. patch {
  1440. vertex -23.0000 5.0000 0.0000 normal 0.0000 -1.0000 0.0000
  1441. vertex -23.0000 5.0000 69.4000 normal 0.0000 -1.0000 0.0000
  1442. vertex -13.8000 5.0000 61.1000 normal 0.0000 -1.0000 0.0000
  1443. }
  1444.  
  1445. patch {
  1446. vertex -23.0000 5.0000 0.0000 normal 0.0000 -1.0000 0.0000
  1447. vertex -13.8000 5.0000 61.1000 normal 0.0000 -1.0000 0.0000
  1448. vertex -13.8000 5.0000 40.6000 normal 0.0000 -1.0000 0.0000
  1449. }
  1450.  
  1451. patch {
  1452. vertex -23.0000 5.0000 0.0000 normal 0.0000 -1.0000 0.0000
  1453. vertex -13.8000 5.0000 40.6000 normal 0.0000 -1.0000 0.0000
  1454. vertex -13.8000 5.0000 32.2000 normal 0.0000 -1.0000 0.0000
  1455. }
  1456.  
  1457. patch {
  1458. vertex -23.0000 5.0000 0.0000 normal 0.0000 -1.0000 0.0000
  1459. vertex -13.8000 5.0000 32.2000 normal 0.0000 -1.0000 0.0000
  1460. vertex -13.8000 5.0000 8.3000 normal 0.0000 -1.0000 0.0000
  1461. }
  1462.  
  1463. patch {
  1464. vertex 3.1000 5.0000 0.0000 normal 0.0000 -1.0000 0.0000
  1465. vertex -23.0000 5.0000 0.0000 normal 0.0000 -1.0000 0.0000
  1466. vertex -13.8000 5.0000 8.3000 normal 0.0000 -1.0000 0.0000
  1467. }
  1468.  
  1469. patch {
  1470. vertex 3.1000 5.0000 0.0000 normal 0.0000 -1.0000 0.0000
  1471. vertex -13.8000 5.0000 8.3000 normal 0.0000 -1.0000 0.0000
  1472. vertex 2.0000 5.0000 8.3000 normal 0.0000 -1.0000 0.0000
  1473. }
  1474.  
  1475. patch {
  1476. vertex 3.1000 5.0000 0.0000 normal 0.0000 -1.0000 0.0000
  1477. vertex 2.0000 5.0000 8.3000 normal 0.0000 -1.0000 0.0000
  1478. vertex 5.5816 5.0000 8.5458 normal 0.0000 -1.0000 0.0000
  1479. }
  1480.  
  1481. patch {
  1482. vertex 8.7583 5.0000 0.4700 normal 0.0000 -1.0000 0.0000
  1483. vertex 3.1000 5.0000 0.0000 normal 0.0000 -1.0000 0.0000
  1484. vertex 5.5816 5.0000 8.5458 normal 0.0000 -1.0000 0.0000
  1485. }
  1486.  
  1487. patch {
  1488. vertex 8.7583 5.0000 0.4700 normal 0.0000 -1.0000 0.0000
  1489. vertex 5.5816 5.0000 8.5458 normal 0.0000 -1.0000 0.0000
  1490. vertex 8.6122 5.0000 9.2866 normal 0.0000 -1.0000 0.0000
  1491. }
  1492.  
  1493. patch {
  1494. vertex 13.6277 5.0000 1.8496 normal 0.0000 -1.0000 0.0000
  1495. vertex 8.7583 5.0000 0.4700 normal 0.0000 -1.0000 0.0000
  1496. vertex 8.6122 5.0000 9.2866 normal 0.0000 -1.0000 0.0000
  1497. }
  1498.  
  1499. patch {
  1500. vertex 13.6277 5.0000 1.8496 normal 0.0000 -1.0000 0.0000
  1501. vertex 8.6122 5.0000 9.2866 normal 0.0000 -1.0000 0.0000
  1502. vertex 11.0918 5.0000 10.5277 normal 0.0000 -1.0000 0.0000
  1503. }
  1504.  
  1505. patch {
  1506. vertex 17.6784 5.0000 4.0933 normal 0.0000 -1.0000 0.0000
  1507. vertex 13.6277 5.0000 1.8496 normal 0.0000 -1.0000 0.0000
  1508. vertex 11.0918 5.0000 10.5277 normal 0.0000 -1.0000 0.0000
  1509. }
  1510.  
  1511. patch {
  1512. vertex 17.6784 5.0000 4.0933 normal 0.0000 -1.0000 0.0000
  1513. vertex 11.0918 5.0000 10.5277 normal 0.0000 -1.0000 0.0000
  1514. vertex 13.0204 5.0000 12.2743 normal 0.0000 -1.0000 0.0000
  1515. }
  1516.  
  1517. patch {
  1518. vertex 20.8808 5.0000 7.1557 normal 0.0000 -1.0000 0.0000
  1519. vertex 17.6784 5.0000 4.0933 normal 0.0000 -1.0000 0.0000
  1520. vertex 13.0204 5.0000 12.2743 normal 0.0000 -1.0000 0.0000
  1521. }
  1522.  
  1523. patch {
  1524. vertex 23.2050 5.0000 10.9913 normal 0.0000 -1.0000 0.0000
  1525. vertex 20.8808 5.0000 7.1557 normal 0.0000 -1.0000 0.0000
  1526. vertex 13.0204 5.0000 12.2743 normal 0.0000 -1.0000 0.0000
  1527. }
  1528.  
  1529. patch {
  1530. vertex 23.2050 5.0000 10.9913 normal 0.0000 -1.0000 0.0000
  1531. vertex 13.0204 5.0000 12.2743 normal 0.0000 -1.0000 0.0000
  1532. vertex 14.3980 5.0000 14.5318 normal 0.0000 -1.0000 0.0000
  1533. }
  1534.  
  1535. patch {
  1536. vertex 24.6213 5.0000 15.5545 normal 0.0000 -1.0000 0.0000
  1537. vertex 23.2050 5.0000 10.9913 normal 0.0000 -1.0000 0.0000
  1538. vertex 14.3980 5.0000 14.5318 normal 0.0000 -1.0000 0.0000
  1539. }
  1540.  
  1541. patch {
  1542. vertex 24.6213 5.0000 15.5545 normal 0.0000 -1.0000 0.0000
  1543. vertex 14.3980 5.0000 14.5318 normal 0.0000 -1.0000 0.0000
  1544. vertex 15.2245 5.0000 17.3052 normal 0.0000 -1.0000 0.0000
  1545. }
  1546.  
  1547. patch {
  1548. vertex 25.1000 5.0000 20.8000 normal 0.0000 -1.0000 0.0000
  1549. vertex 24.6213 5.0000 15.5545 normal 0.0000 -1.0000 0.0000
  1550. vertex 15.2245 5.0000 17.3052 normal 0.0000 -1.0000 0.0000
  1551. }
  1552.  
  1553. patch {
  1554. vertex 25.1000 5.0000 20.8000 normal 0.0000 -1.0000 0.0000
  1555. vertex 15.2245 5.0000 17.3052 normal 0.0000 -1.0000 0.0000
  1556. vertex 15.5000 5.0000 20.6000 normal 0.0000 -1.0000 0.0000
  1557. }
  1558.  
  1559. patch {
  1560. vertex 24.8327 5.0000 24.3542 normal 0.0000 -1.0000 0.0000
  1561. vertex 25.1000 5.0000 20.8000 normal 0.0000 -1.0000 0.0000
  1562. vertex 15.5000 5.0000 20.6000 normal 0.0000 -1.0000 0.0000
  1563. }
  1564.  
  1565. patch {
  1566. vertex 24.8327 5.0000 24.3542 normal 0.0000 -1.0000 0.0000
  1567. vertex 15.5000 5.0000 20.6000 normal 0.0000 -1.0000 0.0000
  1568. vertex 15.2061 5.0000 23.7930 normal 0.0000 -1.0000 0.0000
  1569. }
  1570.  
  1571. patch {
  1572. vertex 24.0388 5.0000 27.5481 normal 0.0000 -1.0000 0.0000
  1573. vertex 24.8327 5.0000 24.3542 normal 0.0000 -1.0000 0.0000
  1574. vertex 15.2061 5.0000 23.7930 normal 0.0000 -1.0000 0.0000
  1575. }
  1576.  
  1577. patch {
  1578. vertex 24.0388 5.0000 27.5481 normal 0.0000 -1.0000 0.0000
  1579. vertex 15.2061 5.0000 23.7930 normal 0.0000 -1.0000 0.0000
  1580. vertex 14.3245 5.0000 26.4420 normal 0.0000 -1.0000 0.0000
  1581. }
  1582.  
  1583. patch {
  1584. vertex 22.7306 5.0000 30.3641 normal 0.0000 -1.0000 0.0000
  1585. vertex 24.0388 5.0000 27.5481 normal 0.0000 -1.0000 0.0000
  1586. vertex 14.3245 5.0000 26.4420 normal 0.0000 -1.0000 0.0000
  1587. }
  1588.  
  1589. patch {
  1590. vertex 20.9204 5.0000 32.7848 normal 0.0000 -1.0000 0.0000
  1591. vertex 22.7306 5.0000 30.3641 normal 0.0000 -1.0000 0.0000
  1592. vertex 14.3245 5.0000 26.4420 normal 0.0000 -1.0000 0.0000
  1593. }
  1594.  
  1595. patch {
  1596. vertex 20.9204 5.0000 32.7848 normal 0.0000 -1.0000 0.0000
  1597. vertex 14.3245 5.0000 26.4420 normal 0.0000 -1.0000 0.0000
  1598. vertex 12.8551 5.0000 28.5662 normal 0.0000 -1.0000 0.0000
  1599. }
  1600.  
  1601. patch {
  1602. vertex 20.9204 5.0000 32.7848 normal 0.0000 -1.0000 0.0000
  1603. vertex 12.8551 5.0000 28.5662 normal 0.0000 -1.0000 0.0000
  1604. vertex 18.6204 5.0000 34.7927 normal 0.0000 -1.0000 0.0000
  1605. }
  1606.  
  1607.