埃舍尔风格p4g对称群蝴蝶图案设计

GeoGebra 命令及参数

1. If(a < 5.5, 0, a - 5.5) → d6
2. Polygon(C, D, 4) → poly1, d, e, f, g, E, F
3. Vector(F, D) → u_1
4. Vector(E, C) → v_1
5. If(a < 4.5, 0, If[a < 5.5, a - 4.5, 1]) → d5
6. LineBisector(g) → b
7. LineBisector(f) → h
8. Intersect(b, h) → G
9. Intersect(e, b) → H
10. Point(h) → S
11. Line(E, b) → t
12. Intersect(h, t) → T
13. Polygon(E, I, R, S, T, J, K, L, M, N, O, P, Q) → poly3, e_2, q_1, r_1, s_1, t_1, i_1, j_1, k_1, l_1, m_1, n_1, o_1, p_1
14. If(a < 1, a, 1) → d1
15. Rotate(E, ((-3 * d1) * 3.141592653589793 / 2), E) → E'
16. Rotate(I, ((-3 * d1) * 3.141592653589793 / 2), E) → I'
17. Rotate(J, ((-3 * d1) * 3.141592653589793 / 2), E) → J'
18. Rotate(K, ((-3 * d1) * 3.141592653589793 / 2), E) → K'
19. Rotate(L, ((-3 * d1) * 3.141592653589793 / 2), E) → L'
20. Rotate(M, ((-3 * d1) * 3.141592653589793 / 2), E) → M'
21. Rotate(N, ((-3 * d1) * 3.141592653589793 / 2), E) → N'
22. Rotate(O, ((-3 * d1) * 3.141592653589793 / 2), E) → O'
23. Rotate(P, ((-3 * d1) * 3.141592653589793 / 2), E) → P'
24. Rotate(Q, ((-3 * d1) * 3.141592653589793 / 2), E) → Q'
25. Rotate(R, ((-3 * d1) * 3.141592653589793 / 2), E) → R'
26. Rotate(S, ((-3 * d1) * 3.141592653589793 / 2), E) → S'
27. Rotate(T, ((-3 * d1) * 3.141592653589793 / 2), E) → T'
28. Polygon(E', I', R', S', T', J', K', L', M', N', O', P', Q') → poly3', e', q', r', s', t', i', j', k', l', m', n', o', p'
29. Line(D, h) → a_1
30. Intersect(b, a_1) → U
31. Polygon(G, U, P, Q, R, S, E, I, J, K, L, M, N, O) → poly2, g_1, o, p, q, r, s, u, e_1, i, j, k, l, m, n
32. Mirror(U, b) → U'
33. Mirror(E, b) → E'_1
34. Mirror(E', b) → E''
35. Mirror(S, h) → S'_2
36. Mirror(E'_1, h) → V
37. Mirror(E'', h) → E'''
38. If(a < 1.1, 0, If[a < 2.1, a - 1.1, 1]) → d2
39. If(a < 2.2, 0, If[a < 3.2, a - 2.2, 1]) → d3
40. If(a < 3.4, 0, If[a < 4.4, a - 3.4, 1]) → d4
41. Mirror(F, a_1) → F'
42. Mirror(F', a_1) → F''
43. Mirror(F', a_1) → F''_1
44. Mirror(C, a_1) → C'
45. OrthogonalLine(D, a_1) → b_1
46. Mirror(F', b_1) → F''_2
47. Mirror(F, b_1) → F'_1
48. Mirror(E, b_1) → E'_2
49. OrthogonalLine(C, b_1) → c_1
50. Mirror(F', h) → F''_3
51. Mirror(F''_2, h) → W
52. Mirror(C', h) → C''
53. Mirror(C', F''_2) → C''_1
54. Mirror(C'', W) → C'''
55. Mirror(C, F'_1) → C'_1
56. Mirror(D, E'_2) → D'
57. Mirror(G, a_1) → G'
58. Mirror(G', b_1) → G''
59. Mirror(G, b_1) → G'_1
60. Mirror(G, c_1) → G'_2
61. Mirror(G'_2, b_1) → Z
62. Mirror(G'_2, Z) → A_1
63. Mirror(G', G'') → G''_1
64. Mirror(G, G'_1) → G'_3
65. OrthogonalLine(C'', b_1) → d_1
66. OrthogonalLine(Z, b_1) → f_1
67. OrthogonalLine(G', b_1) → h_1
68. OrthogonalLine(C', b_1) → a_2
69. Line(F', b_1) → b_2
70. Line(G', b_1) → c_2
71. Line(G'', b_1) → d_2
72. Line(F''_2, b_1) → f_2
73. Line(G''_1, f_2) → g_2
74. Line(C''_1, g_2) → h_2
75. Mirror(G, c_2) → G'_4
76. Mirror(U, c_2) → U'_1
77. Mirror(E', c_2) → E''_1
78. Mirror(I', c_2) → I''
79. Mirror(J', c_2) → J''
80. Mirror(K', c_2) → K''
81. Mirror(L', c_2) → L''
82. Mirror(M', c_2) → M''
83. Mirror(N', c_2) → N''
84. Mirror(O', c_2) → O''
85. Mirror(P', c_2) → P''
86. Mirror(Q', c_2) → Q''
87. Mirror(R', c_2) → R''
88. Mirror(S', c_2) → S''
89. Mirror(T', c_2) → T''
90. Mirror(G, c_2) → G'_5
91. Mirror(U, c_2) → U'_2
92. Mirror(E, c_2) → E'_3
93. Mirror(I, c_2) → I'_1
94. Mirror(J, c_2) → J'_1
95. Mirror(K, c_2) → K'_1
96. Mirror(L, c_2) → L'_1
97. Mirror(M, c_2) → M'_1
98. Mirror(N, c_2) → N'_1
99. Mirror(O, c_2) → O'_1
100. Mirror(P, c_2) → P'_1
101. Mirror(Q, c_2) → Q'_1
102. Mirror(R, c_2) → R'_1
103. Mirror(S, c_2) → S'_1
104. Polygon(G'_5, U'_2, P'_1, Q'_1, R'_1, S'_1, E'_3, I'_1, J'_1, K'_1, L'_1, M'_1, N'_1, O'_1) → poly2', g'_5, o'_1, p'_1, q'_1, r'_1, s'_1, u'_2, e'_3, i'_1, j'_1, k'_1, l'_1, m'_1, n'_1
105. Mirror(E', c_2) → E''_2
106. Mirror(I', c_2) → I''_1
107. Mirror(J', c_2) → J''_1
108. Mirror(K', c_2) → K''_1
109. Mirror(L', c_2) → L''_1
110. Mirror(M', c_2) → M''_1
111. Mirror(N', c_2) → N''_1
112. Mirror(O', c_2) → O''_1
113. Mirror(P', c_2) → P''_1
114. Mirror(Q', c_2) → Q''_1
115. Mirror(R', c_2) → R''_1
116. Mirror(S', c_2) → S''_1
117. Mirror(T', c_2) → T''_1
118. Polygon(E''_2, I''_1, R''_1, S''_1, T''_1, J''_1, K''_1, L''_1, M''_1, N''_1, O''_1, P''_1, Q''_1) → poly3'', e''_2, q''_1, r''_1, s''_1, t''_1, i''_1, j''_1, k''_1, l''_1, m''_1, n''_1, o''_1, p''_1
119. Mirror(G'_5, h) → B_1
120. Mirror(U'_2, h) → C_1
121. Mirror(E'_3, h) → D_1
122. Mirror(I'_1, h) → E_1
123. Mirror(J'_1, h) → F_1
124. Mirror(K'_1, h) → G_1
125. Mirror(L'_1, h) → H_1
126. Mirror(M'_1, h) → I_1
127. Mirror(N'_1, h) → J_1
128. Mirror(O'_1, h) → K_1
129. Mirror(P'_1, h) → L_1
130. Mirror(Q'_1, h) → M_1
131. Mirror(R'_1, h) → N_1
132. Mirror(S'_1, h) → O_1
133. Polygon(B_1, C_1, L_1, M_1, N_1, O_1, D_1, E_1, F_1, G_1, H_1, I_1, J_1, K_1) → poly2'', b_3, k_2, l_2, m_2, n_2, o_2, c_3, d_3, e_3, f_3, g_3, h_3, i_2, j_2
134. Mirror(E''_2, h) → P_1
135. Mirror(I''_1, h) → Q_1
136. Mirror(J''_1, h) → R_1
137. Mirror(K''_1, h) → S_1
138. Mirror(L''_1, h) → T_1
139. Mirror(M''_1, h) → U_1
140. Mirror(N''_1, h) → V_1
141. Mirror(O''_1, h) → W_1
142. Mirror(P''_1, h) → Z_1
143. Mirror(Q''_1, h) → A_2
144. Mirror(R''_1, h) → B_2
145. Mirror(S''_1, h) → C_2
146. Mirror(T''_1, h) → D_2
147. Polygon(P_1, Q_1, B_2, C_2, D_2, R_1, S_1, T_1, U_1, V_1, W_1, Z_1, A_2) → poly3''', p_2, a_3, b_4, c_4, d_4, q_2, r_2, s_2, t_2, u_2, v_2, w_2, z_1
148. Mirror(B_1, c_2) → E_2
149. Mirror(C_1, c_2) → F_2
150. Mirror(D_1, c_2) → G_2
151. Mirror(E_1, c_2) → H_2
152. Mirror(F_1, c_2) → I_2
153. Mirror(G_1, c_2) → J_2
154. Mirror(H_1, c_2) → K_2
155. Mirror(I_1, c_2) → L_2
156. Mirror(J_1, c_2) → M_2
157. Mirror(K_1, c_2) → N_2
158. Mirror(L_1, c_2) → O_2
159. Mirror(M_1, c_2) → P_2
160. Mirror(N_1, c_2) → Q_2
161. Mirror(O_1, c_2) → R_2
162. Polygon(E_2, F_2, O_2, P_2, Q_2, R_2, G_2, H_2, I_2, J_2, K_2, L_2, M_2, N_2) → poly2''', e_4, n_3, o_3, p_3, q_3, r_3, f_4, g_4, h_4, i_3, j_3, k_3, l_3, m_3
163. Mirror(P_1, c_2) → S_2
164. Mirror(Q_1, c_2) → T_2
165. Mirror(R_1, c_2) → U_2
166. Mirror(S_1, c_2) → V_2
167. Mirror(T_1, c_2) → W_2
168. Mirror(U_1, c_2) → Z_2
169. Mirror(V_1, c_2) → A_3
170. Mirror(W_1, c_2) → B_3
171. Mirror(Z_1, c_2) → C_3
172. Mirror(A_2, c_2) → D_3
173. Mirror(B_2, c_2) → E_3
174. Mirror(C_2, c_2) → F_3
175. Mirror(D_2, c_2) → G_3
176. Polygon(S_2, T_2, E_3, F_3, G_3, U_2, V_2, W_2, Z_2, A_3, B_3, C_3, D_3) → poly4, s_3, d_5, e_5, f_5, g_5, t_3, u_3, v_3, w_3, z_2, a_4, b_5, c_5
177. Min(180, ((a - 3) * 180)) → g5
178. Rotate(G, ((-g5))°, D) → G'_6
179. Rotate(U, ((-g5))°, D) → U'_3
180. Rotate(E, ((-g5))°, D) → E'_4
181. Rotate(I, ((-g5))°, D) → I'_2
182. Rotate(J, ((-g5))°, D) → J'_2
183. Rotate(K, ((-g5))°, D) → K'_2
184. Rotate(L, ((-g5))°, D) → L'_2
185. Rotate(M, ((-g5))°, D) → M'_2
186. Rotate(N, ((-g5))°, D) → N'_2
187. Rotate(O, ((-g5))°, D) → O'_2
188. Rotate(P, ((-g5))°, D) → P'_2
189. Rotate(Q, ((-g5))°, D) → Q'_2
190. Rotate(R, ((-g5))°, D) → R'_2
191. Rotate(S, ((-g5))°, D) → S'_3
192. Polygon(G'_6, U'_3, P'_2, Q'_2, R'_2, S'_3, E'_4, I'_2, J'_2, K'_2, L'_2, M'_2, N'_2, O'_2) → poly2'_1, g'_6, o'_2, p'_2, q'_2, r'_2, s'_3, u'_3, e'_4, i'_2, j'_2, k'_2, l'_2, m'_2, n'_2
193. Rotate(E', ((-g5))°, G') → E''_3
194. Rotate(I', ((-g5))°, G') → I''_2
195. Rotate(J', ((-g5))°, G') → J''_2
196. Rotate(K', ((-g5))°, G') → K''_2
197. Rotate(L', ((-g5))°, G') → L''_2
198. Rotate(M', ((-g5))°, G') → M''_2
199. Rotate(N', ((-g5))°, G') → N''_2
200. Rotate(O', ((-g5))°, G') → O''_2
201. Rotate(P', ((-g5))°, G') → P''_2
202. Rotate(Q', ((-g5))°, G') → Q''_2
203. Rotate(R', ((-g5))°, G') → R''_2
204. Rotate(S', ((-g5))°, G') → S''_2
205. Rotate(T', ((-g5))°, G') → T''_2
206. Rotate(E', ((-g5))°, D) → E''_4
207. Rotate(I', ((-g5))°, D) → I''_3
208. Rotate(J', ((-g5))°, D) → J''_3
209. Rotate(K', ((-g5))°, D) → K''_3
210. Rotate(L', ((-g5))°, D) → L''_3
211. Rotate(M', ((-g5))°, D) → M''_3
212. Rotate(N', ((-g5))°, D) → N''_3
213. Rotate(O', ((-g5))°, D) → O''_3
214. Rotate(P', ((-g5))°, D) → P''_3
215. Rotate(Q', ((-g5))°, D) → Q''_3
216. Rotate(R', ((-g5))°, D) → R''_3
217. Rotate(S', ((-g5))°, D) → S''_3
218. Rotate(T', ((-g5))°, D) → T''_3
219. Polygon(E''_4, I''_3, R''_3, S''_3, T''_3, J''_3, K''_3, L''_3, M''_3, N''_3, O''_3, P''_3, Q''_3) → poly3''_1, e''_4, q''_3, r''_3, s''_3, t''_3, i''_3, j''_3, k''_3, l''_3, m''_3, n''_3, o''_3, p''_3
220. Rotate(E_2, ((-g5))°, D) → H_3
221. Rotate(F_2, ((-g5))°, D) → I_3
222. Rotate(G_2, ((-g5))°, D) → J_3
223. Rotate(H_2, ((-g5))°, D) → K_3
224. Rotate(I_2, ((-g5))°, D) → L_3
225. Rotate(J_2, ((-g5))°, D) → M_3
226. Rotate(K_2, ((-g5))°, D) → N_3
227. Rotate(L_2, ((-g5))°, D) → O_3
228. Rotate(M_2, ((-g5))°, D) → P_3
229. Rotate(N_2, ((-g5))°, D) → Q_3
230. Rotate(O_2, ((-g5))°, D) → R_3
231. Rotate(P_2, ((-g5))°, D) → S_3
232. Rotate(Q_2, ((-g5))°, D) → T_3
233. Rotate(R_2, ((-g5))°, D) → U_3
234. Polygon(H_3, I_3, R_3, S_3, T_3, U_3, J_3, K_3, L_3, M_3, N_3, O_3, P_3, Q_3) → poly5, h_5, q_4, r_4, s_4, t_4, u_4, i_4, j_4, k_4, l_4, m_4, n_4, o_4, p_4
235. Rotate(S_2, ((-g5))°, D) → V_3
236. Rotate(T_2, ((-g5))°, D) → W_3
237. Rotate(U_2, ((-g5))°, D) → Z_3
238. Rotate(V_2, ((-g5))°, D) → A_4
239. Rotate(W_2, ((-g5))°, D) → B_4
240. Rotate(Z_2, ((-g5))°, D) → C_4
241. Rotate(A_3, ((-g5))°, D) → D_4
242. Rotate(B_3, ((-g5))°, D) → E_4
243. Rotate(C_3, ((-g5))°, D) → F_4
244. Rotate(D_3, ((-g5))°, D) → G_4
245. Rotate(E_3, ((-g5))°, D) → H_4
246. Rotate(F_3, ((-g5))°, D) → I_4
247. Rotate(G_3, ((-g5))°, D) → J_4
248. Polygon(V_3, W_3, H_4, I_4, J_4, Z_3, A_4, B_4, C_4, D_4, E_4, F_4, G_4) → poly4', v_4, g_6, h_6, i_5, j_5, w_4, z_3, a_5, b_6, c_6, d_6, e_6, f_6
249. Rotate(B_1, ((-g5))°, D) → K_4
250. Rotate(C_1, ((-g5))°, D) → L_4
251. Rotate(D_1, ((-g5))°, D) → M_4
252. Rotate(E_1, ((-g5))°, D) → N_4
253. Rotate(F_1, ((-g5))°, D) → O_4
254. Rotate(G_1, ((-g5))°, D) → P_4
255. Rotate(H_1, ((-g5))°, D) → Q_4
256. Rotate(I_1, ((-g5))°, D) → R_4
257. Rotate(J_1, ((-g5))°, D) → S_4
258. Rotate(K_1, ((-g5))°, D) → T_4
259. Rotate(L_1, ((-g5))°, D) → U_4
260. Rotate(M_1, ((-g5))°, D) → V_4
261. Rotate(N_1, ((-g5))°, D) → W_4
262. Rotate(O_1, ((-g5))°, D) → Z_4
263. Polygon(K_4, L_4, U_4, V_4, W_4, Z_4, M_4, N_4, O_4, P_4, Q_4, R_4, S_4, T_4) → poly2'''_1, k_5, t_5, u_5, v_5, w_5, z_4, l_5, m_5, n_5, o_5, p_5, q_5, r_5, s_5
264. Rotate(C, ((-g5))°, D) → C'_2
265. Rotate(G'_5, ((-g5))°, D) → A_5
266. Rotate(U'_2, ((-g5))°, D) → B_5
267. Rotate(E'_3, ((-g5))°, D) → C_5
268. Rotate(I'_1, ((-g5))°, D) → D_5
269. Rotate(J'_1, ((-g5))°, D) → E_5
270. Rotate(K'_1, ((-g5))°, D) → F_5
271. Rotate(L'_1, ((-g5))°, D) → G_5
272. Rotate(M'_1, ((-g5))°, D) → H_5
273. Rotate(N'_1, ((-g5))°, D) → I_5
274. Rotate(O'_1, ((-g5))°, D) → J_5
275. Rotate(P'_1, ((-g5))°, D) → K_5
276. Rotate(Q'_1, ((-g5))°, D) → L_5
277. Rotate(R'_1, ((-g5))°, D) → M_5
278. Rotate(S'_1, ((-g5))°, D) → N_5
279. Polygon(A_5, B_5, K_5, L_5, M_5, N_5, C_5, D_5, E_5, F_5, G_5, H_5, I_5, J_5) → poly2''_1, a_6, j_6, k_6, l_6, m_6, n_6, b_7, c_7, d_7, e_7, f_7, g_7, h_7, i_6
280. Rotate(P_1, ((-g5))°, D) → O_5
281. Rotate(Q_1, ((-g5))°, D) → P_5
282. Rotate(R_1, ((-g5))°, D) → Q_5
283. Rotate(S_1, ((-g5))°, D) → R_5
284. Rotate(T_1, ((-g5))°, D) → S_5
285. Rotate(U_1, ((-g5))°, D) → T_5
286. Rotate(V_1, ((-g5))°, D) → U_5
287. Rotate(W_1, ((-g5))°, D) → V_5
288. Rotate(Z_1, ((-g5))°, D) → W_5
289. Rotate(A_2, ((-g5))°, D) → Z_5
290. Rotate(B_2, ((-g5))°, D) → A_6
291. Rotate(C_2, ((-g5))°, D) → B_6
292. Rotate(D_2, ((-g5))°, D) → C_6
293. Polygon(O_5, P_5, A_6, B_6, C_6, Q_5, R_5, S_5, T_5, U_5, V_5, W_5, Z_5) → poly6, o_6, z_5, a_7, b_8, c_8, p_6, q_6, r_6, s_6, t_6, u_6, v_6, w_6
294. Rotate(E''_2, ((-g5))°, D) → D_6
295. Rotate(I''_1, ((-g5))°, D) → E_6
296. Rotate(J''_1, ((-g5))°, D) → F_6
297. Rotate(K''_1, ((-g5))°, D) → G_6
298. Rotate(L''_1, ((-g5))°, D) → H_6
299. Rotate(M''_1, ((-g5))°, D) → I_6
300. Rotate(N''_1, ((-g5))°, D) → J_6
301. Rotate(O''_1, ((-g5))°, D) → K_6
302. Rotate(P''_1, ((-g5))°, D) → L_6
303. Rotate(Q''_1, ((-g5))°, D) → M_6
304. Rotate(R''_1, ((-g5))°, D) → N_6
305. Rotate(S''_1, ((-g5))°, D) → O_6
306. Rotate(T''_1, ((-g5))°, D) → P_6
307. Polygon(D_6, E_6, N_6, O_6, P_6, F_6, G_6, H_6, I_6, J_6, K_6, L_6, M_6) → poly3'''_1, d_8, m_7, n_7, o_7, p_7, e_8, f_8, g_8, h_8, i_7, j_7, k_7, l_7
308. Vector(F''_3, C'') → w
309. Mirror(A_5, a_1) → Q_6
310. Mirror(B_5, a_1) → R_6
311. Mirror(C_5, a_1) → S_6
312. Mirror(D_5, a_1) → T_6
313. Mirror(E_5, a_1) → U_6
314. Mirror(F_5, a_1) → V_6
315. Mirror(G_5, a_1) → W_6
316. Mirror(H_5, a_1) → Z_6
317. Mirror(I_5, a_1) → A_7
318. Mirror(J_5, a_1) → B_7
319. Mirror(K_5, a_1) → C_7
320. Mirror(L_5, a_1) → D_7
321. Mirror(M_5, a_1) → E_7
322. Mirror(N_5, a_1) → F_7
323. Polygon(Q_6, R_6, C_7, D_7, E_7, F_7, S_6, T_6, U_6, V_6, W_6, Z_6, A_7, B_7) → poly7, q_7, b_9, c_9, d_9, e_9, f_9, r_7, s_7, t_7, u_7, v_7, w_7, z_6, a_8
324. Mirror(K_4, a_1) → G_7
325. Mirror(L_4, a_1) → H_7
326. Mirror(M_4, a_1) → I_7
327. Mirror(N_4, a_1) → J_7
328. Mirror(O_4, a_1) → K_7
329. Mirror(P_4, a_1) → L_7
330. Mirror(Q_4, a_1) → M_7
331. Mirror(R_4, a_1) → N_7
332. Mirror(S_4, a_1) → O_7
333. Mirror(T_4, a_1) → P_7
334. Mirror(U_4, a_1) → Q_7
335. Mirror(V_4, a_1) → R_7
336. Mirror(W_4, a_1) → S_7
337. Mirror(Z_4, a_1) → T_7
338. Polygon(G_7, H_7, Q_7, R_7, S_7, T_7, I_7, J_7, K_7, L_7, M_7, N_7, O_7, P_7) → poly8, g_9, p_8, q_8, r_8, s_8, t_8, h_9, i_8, j_8, k_8, l_8, m_8, n_8, o_8
339. Mirror(O_5, a_1) → U_7
340. Mirror(P_5, a_1) → V_7
341. Mirror(Q_5, a_1) → W_7
342. Mirror(R_5, a_1) → Z_7
343. Mirror(S_5, a_1) → A_8
344. Mirror(T_5, a_1) → B_8
345. Mirror(U_5, a_1) → C_8
346. Mirror(V_5, a_1) → D_8
347. Mirror(W_5, a_1) → E_8
348. Mirror(Z_5, a_1) → F_8
349. Mirror(A_6, a_1) → G_8
350. Mirror(B_6, a_1) → H_8
351. Mirror(C_6, a_1) → I_8
352. Polygon(U_7, V_7, G_8, H_8, I_8, W_7, Z_7, A_8, B_8, C_8, D_8, E_8, F_8) → poly6', u_8, f_{10}, g_{10}, h_{10}, i_9, v_8, w_8, z_7, a_9, b_{10}, c_{10}, d_{10}, e_{10}
353. Mirror(D_6, a_1) → J_8
354. Mirror(E_6, a_1) → K_8
355. Mirror(F_6, a_1) → L_8
356. Mirror(G_6, a_1) → M_8
357. Mirror(H_6, a_1) → N_8
358. Mirror(I_6, a_1) → O_8
359. Mirror(J_6, a_1) → P_8
360. Mirror(K_6, a_1) → Q_8
361. Mirror(L_6, a_1) → R_8
362. Mirror(M_6, a_1) → S_8
363. Mirror(N_6, a_1) → T_8
364. Mirror(O_6, a_1) → U_8
365. Mirror(P_6, a_1) → V_8
366. Polygon(J_8, K_8, T_8, U_8, V_8, L_8, M_8, N_8, O_8, P_8, Q_8, R_8, S_8) → poly9, j_9, s_9, t_9, u_9, v_9, k_9, l_9, m_9, n_9, o_9, p_9, q_9, r_9
367. Mirror(H_3, a_1) → Z_8
368. Mirror(I_3, a_1) → A_9
369. Mirror(J_3, a_1) → B_9
370. Mirror(K_3, a_1) → C_9
371. Mirror(L_3, a_1) → D_9
372. Mirror(M_3, a_1) → E_9
373. Mirror(N_3, a_1) → F_9
374. Mirror(O_3, a_1) → G_9
375. Mirror(P_3, a_1) → H_9
376. Mirror(Q_3, a_1) → I_9
377. Mirror(R_3, a_1) → J_9
378. Mirror(S_3, a_1) → K_9
379. Mirror(T_3, a_1) → L_9
380. Mirror(U_3, a_1) → M_9
381. Polygon(Z_8, A_9, J_9, K_9, L_9, M_9, B_9, C_9, D_9, E_9, F_9, G_9, H_9, I_9) → poly5', z_8, i_{10}, j_{10}, k_{10}, l_{10}, m_{10}, a_{10}, b_{11}, c_{11}, d_{11}, e_{11}, f_{11}, g_{11}, h_{11}
382. Mirror(V_3, a_1) → N_9
383. Mirror(W_3, a_1) → O_9
384. Mirror(Z_3, a_1) → P_9
385. Mirror(A_4, a_1) → Q_9
386. Mirror(B_4, a_1) → R_9
387. Mirror(C_4, a_1) → S_9
388. Mirror(D_4, a_1) → T_9
389. Mirror(E_4, a_1) → U_9
390. Mirror(F_4, a_1) → V_9
391. Mirror(G_4, a_1) → W_9
392. Mirror(H_4, a_1) → Z_9
393. Mirror(I_4, a_1) → A_{10}
394. Mirror(J_4, a_1) → B_{10}
395. Polygon(N_9, O_9, Z_9, A_{10}, B_{10}, P_9, Q_9, R_9, S_9, T_9, U_9, V_9, W_9) → poly4'', n_{10}, w_9, z_9, a_{11}, b_{12}, o_{10}, p_{10}, q_{10}, r_{10}, s_{10}, t_{10}, u_{10}, v_{10}
396. Mirror(E''_4, a_1) → C_{10}
397. Mirror(I''_3, a_1) → D_{10}
398. Mirror(J''_3, a_1) → E_{10}
399. Mirror(K''_3, a_1) → F_{10}
400. Mirror(L''_3, a_1) → G_{10}
401. Mirror(M''_3, a_1) → H_{10}
402. Mirror(N''_3, a_1) → I_{10}
403. Mirror(O''_3, a_1) → J_{10}
404. Mirror(P''_3, a_1) → K_{10}
405. Mirror(Q''_3, a_1) → L_{10}
406. Mirror(R''_3, a_1) → M_{10}
407. Mirror(S''_3, a_1) → N_{10}
408. Mirror(T''_3, a_1) → O_{10}
409. Polygon(C_{10}, D_{10}, M_{10}, N_{10}, O_{10}, E_{10}, F_{10}, G_{10}, H_{10}, I_{10}, J_{10}, K_{10}, L_{10}) → poly10, c_{12}, l_{11}, m_{11}, n_{11}, o_{11}, d_{12}, e_{12}, f_{12}, g_{12}, h_{12}, i_{11}, j_{11}, k_{11}
410. Mirror(G'_6, a_1) → P_{10}
411. Mirror(U'_3, a_1) → Q_{10}
412. Mirror(E'_4, a_1) → R_{10}
413. Mirror(I'_2, a_1) → S_{10}
414. Mirror(J'_2, a_1) → T_{10}
415. Mirror(K'_2, a_1) → U_{10}
416. Mirror(L'_2, a_1) → V_{10}
417. Mirror(M'_2, a_1) → W_{10}
418. Mirror(N'_2, a_1) → Z_{10}
419. Mirror(O'_2, a_1) → A_{11}
420. Mirror(P'_2, a_1) → B_{11}
421. Mirror(Q'_2, a_1) → C_{11}
422. Mirror(R'_2, a_1) → D_{11}
423. Mirror(S'_3, a_1) → E_{11}
424. Polygon(P_{10}, Q_{10}, B_{11}, C_{11}, D_{11}, E_{11}, R_{10}, S_{10}, T_{10}, U_{10}, V_{10}, W_{10}, Z_{10}, A_{11}) → poly11, p_{11}, a_{12}, b_{13}, c_{13}, d_{13}, e_{13}, q_{11}, r_{11}, s_{11}, t_{11}, u_{11}, v_{11}, w_{10}, z_{10}
425. Length(w) → h1
426. Min(h1, ((a - 4.5) * h1)) → h5
427. Circle(W, h5) → k_{12}
428. Intersect(k_{12}, d_1, 1) → W_8
429. Vector(W, W_8) → w_{11}
430. Translate(G_7, w_{11}) → F_{11}
431. Translate(H_7, w_{11}) → G_{11}
432. Translate(I_7, w_{11}) → H_{11}
433. Translate(J_7, w_{11}) → I_{11}
434. Translate(K_7, w_{11}) → J_{11}
435. Translate(L_7, w_{11}) → K_{11}
436. Translate(M_7, w_{11}) → L_{11}
437. Translate(N_7, w_{11}) → M_{11}
438. Translate(O_7, w_{11}) → N_{11}
439. Translate(P_7, w_{11}) → O_{11}
440. Translate(Q_7, w_{11}) → P_{11}
441. Translate(R_7, w_{11}) → Q_{11}
442. Translate(S_7, w_{11}) → R_{11}
443. Translate(T_7, w_{11}) → S_{11}
444. Polygon(F_{11}, G_{11}, P_{11}, Q_{11}, R_{11}, S_{11}, H_{11}, I_{11}, J_{11}, K_{11}, L_{11}, M_{11}, N_{11}, O_{11}) → poly8', f_{13}, o_{12}, p_{12}, q_{12}, r_{12}, s_{12}, g_{13}, h_{13}, i_{12}, j_{12}, k_{13}, l_{12}, m_{12}, n_{12}
445. Translate(N_9, w_{11}) → T_{11}
446. Translate(O_9, w_{11}) → U_{11}
447. Translate(P_9, w_{11}) → V_{11}
448. Translate(Q_9, w_{11}) → W_{11}
449. Translate(R_9, w_{11}) → Z_{11}
450. Translate(S_9, w_{11}) → A_{12}
451. Translate(T_9, w_{11}) → B_{12}
452. Translate(U_9, w_{11}) → C_{12}
453. Translate(V_9, w_{11}) → D_{12}
454. Translate(W_9, w_{11}) → E_{12}
455. Translate(Z_9, w_{11}) → F_{12}
456. Translate(A_{10}, w_{11}) → G_{12}
457. Translate(B_{10}, w_{11}) → H_{12}
458. Polygon(T_{11}, U_{11}, F_{12}, G_{12}, H_{12}, V_{11}, W_{11}, Z_{11}, A_{12}, B_{12}, C_{12}, D_{12}, E_{12}) → poly4''', t_{12}, e_{14}, f_{14}, g_{14}, h_{14}, u_{12}, v_{12}, w_{12}, z_{11}, a_{13}, b_{14}, c_{14}, d_{14}
459. Translate(U_7, w_{11}) → I_{12}
460. Translate(V_7, w_{11}) → J_{12}
461. Translate(W_7, w_{11}) → K_{12}
462. Translate(Z_7, w_{11}) → L_{12}
463. Translate(A_8, w_{11}) → M_{12}
464. Translate(B_8, w_{11}) → N_{12}
465. Translate(C_8, w_{11}) → O_{12}
466. Translate(D_8, w_{11}) → P_{12}
467. Translate(E_8, w_{11}) → Q_{12}
468. Translate(F_8, w_{11}) → R_{12}
469. Translate(G_8, w_{11}) → S_{12}
470. Translate(H_8, w_{11}) → T_{12}
471. Translate(I_8, w_{11}) → U_{12}
472. Polygon(I_{12}, J_{12}, S_{12}, T_{12}, U_{12}, K_{12}, L_{12}, M_{12}, N_{12}, O_{12}, P_{12}, Q_{12}, R_{12}) → poly6'', i_{13}, r_{13}, s_{13}, t_{13}, u_{13}, j_{13}, k_{14}, l_{13}, m_{13}, n_{13}, o_{13}, p_{13}, q_{13}
473. Translate(Z_8, w_{11}) → V_{12}
474. Translate(A_9, w_{11}) → W_{12}
475. Translate(B_9, w_{11}) → Z_{12}
476. Translate(C_9, w_{11}) → A_{13}
477. Translate(D_9, w_{11}) → B_{13}
478. Translate(E_9, w_{11}) → C_{13}
479. Translate(F_9, w_{11}) → D_{13}
480. Translate(G_9, w_{11}) → E_{13}
481. Translate(H_9, w_{11}) → F_{13}
482. Translate(I_9, w_{11}) → G_{13}
483. Translate(J_9, w_{11}) → H_{13}
484. Translate(K_9, w_{11}) → I_{13}
485. Translate(L_9, w_{11}) → J_{13}
486. Translate(M_9, w_{11}) → K_{13}
487. Polygon(V_{12}, W_{12}, H_{13}, I_{13}, J_{13}, K_{13}, Z_{12}, A_{13}, B_{13}, C_{13}, D_{13}, E_{13}, F_{13}, G_{13}) → poly5'', v_{13}, g_{15}, h_{15}, i_{14}, j_{14}, k_{15}, w_{13}, z_{12}, a_{14}, b_{15}, c_{15}, d_{15}, e_{15}, f_{15}
488. Translate(Q_6, w_{11}) → L_{13}
489. Translate(R_6, w_{11}) → M_{13}
490. Translate(S_6, w_{11}) → N_{13}
491. Translate(T_6, w_{11}) → O_{13}
492. Translate(U_6, w_{11}) → P_{13}
493. Translate(V_6, w_{11}) → Q_{13}
494. Translate(W_6, w_{11}) → R_{13}
495. Translate(Z_6, w_{11}) → S_{13}
496. Translate(A_7, w_{11}) → T_{13}
497. Translate(B_7, w_{11}) → U_{13}
498. Translate(C_7, w_{11}) → V_{13}
499. Translate(D_7, w_{11}) → W_{13}
500. Translate(E_7, w_{11}) → Z_{13}
501. Translate(F_7, w_{11}) → A_{14}
502. Polygon(L_{13}, M_{13}, V_{13}, W_{13}, Z_{13}, A_{14}, N_{13}, O_{13}, P_{13}, Q_{13}, R_{13}, S_{13}, T_{13}, U_{13}) → poly7', l_{14}, u_{14}, v_{14}, w_{14}, z_{13}, a_{15}, m_{14}, n_{14}, o_{14}, p_{14}, q_{14}, r_{14}, s_{14}, t_{14}
503. Translate(P_{10}, w_{11}) → B_{14}
504. Translate(Q_{10}, w_{11}) → C_{14}
505. Translate(R_{10}, w_{11}) → D_{14}
506. Translate(S_{10}, w_{11}) → E_{14}
507. Translate(T_{10}, w_{11}) → F_{14}
508. Translate(U_{10}, w_{11}) → G_{14}
509. Translate(V_{10}, w_{11}) → H_{14}
510. Translate(W_{10}, w_{11}) → I_{14}
511. Translate(Z_{10}, w_{11}) → J_{14}
512. Translate(A_{11}, w_{11}) → K_{14}
513. Translate(B_{11}, w_{11}) → L_{14}
514. Translate(C_{11}, w_{11}) → M_{14}
515. Translate(D_{11}, w_{11}) → N_{14}
516. Translate(E_{11}, w_{11}) → O_{14}
517. Polygon(B_{14}, C_{14}, L_{14}, M_{14}, N_{14}, O_{14}, D_{14}, E_{14}, F_{14}, G_{14}, H_{14}, I_{14}, J_{14}, K_{14}) → poly11', b_{16}, k_{16}, l_{15}, m_{15}, n_{15}, o_{15}, c_{16}, d_{16}, e_{16}, f_{16}, g_{16}, h_{16}, i_{15}, j_{15}
518. Translate(J_8, w_{11}) → P_{14}
519. Translate(K_8, w_{11}) → Q_{14}
520. Translate(L_8, w_{11}) → R_{14}
521. Translate(M_8, w_{11}) → S_{14}
522. Translate(N_8, w_{11}) → T_{14}
523. Translate(O_8, w_{11}) → U_{14}
524. Translate(P_8, w_{11}) → V_{14}
525. Translate(Q_8, w_{11}) → W_{14}
526. Translate(R_8, w_{11}) → Z_{14}
527. Translate(S_8, w_{11}) → A_{15}
528. Translate(T_8, w_{11}) → B_{15}
529. Translate(U_8, w_{11}) → C_{15}
530. Translate(V_8, w_{11}) → D_{15}
531. Polygon(P_{14}, Q_{14}, B_{15}, C_{15}, D_{15}, R_{14}, S_{14}, T_{14}, U_{14}, V_{14}, W_{14}, Z_{14}, A_{15}) → poly9', p_{15}, a_{16}, b_{17}, c_{17}, d_{17}, q_{15}, r_{15}, s_{15}, t_{15}, u_{15}, v_{15}, w_{15}, z_{14}
532. Translate(C_{10}, w_{11}) → E_{15}
533. Translate(D_{10}, w_{11}) → F_{15}
534. Translate(E_{10}, w_{11}) → G_{15}
535. Translate(F_{10}, w_{11}) → H_{15}
536. Translate(G_{10}, w_{11}) → I_{15}
537. Translate(H_{10}, w_{11}) → J_{15}
538. Translate(I_{10}, w_{11}) → K_{15}
539. Translate(J_{10}, w_{11}) → L_{15}
540. Translate(K_{10}, w_{11}) → M_{15}
541. Translate(L_{10}, w_{11}) → N_{15}
542. Translate(M_{10}, w_{11}) → O_{15}
543. Translate(N_{10}, w_{11}) → P_{15}
544. Translate(O_{10}, w_{11}) → Q_{15}
545. Polygon(E_{15}, F_{15}, O_{15}, P_{15}, Q_{15}, G_{15}, H_{15}, I_{15}, J_{15}, K_{15}, L_{15}, M_{15}, N_{15}) → poly10', e_{17}, n_{16}, o_{16}, p_{16}, q_{16}, f_{17}, g_{17}, h_{17}, i_{16}, j_{16}, k_{17}, l_{16}, m_{16}
546. Mirror(E'_2, D') → R_{15}
547. Mirror(G'', G''_1) → G'''
548. Mirror(G'_1, G'_3) → S_{15}
549. Mirror(Z, A_1) → Z'
550. Mirror(W, C''') → W'
551. Mirror(F'_1, C'_1) → T_{15}
552. Mirror(F''_2, C''_1) → U_{15}
553. Vector(C''_1, R_{15}) → z
554. Vector(C''_1, E'_2) → w_1
555. Length(z) → h6
556. Min(h6, ((a - 5.5) * h6)) → h7
557. Circle(F', h7) → r_{16}
558. Line(F', z) → s_{16}
559. Intersect(r_{16}, s_{16}, 2) → V_{15}
560. Vector(F', V_{15}) → z_{15}
561. Translate(G, z_{15}) → G'_7
562. Translate(U, z_{15}) → U'_4
563. Translate(E, z_{15}) → E'_5
564. Translate(I, z_{15}) → I'_3
565. Translate(J, z_{15}) → J'_3
566. Translate(K, z_{15}) → K'_3
567. Translate(L, z_{15}) → L'_3
568. Translate(M, z_{15}) → M'_3
569. Translate(N, z_{15}) → N'_3
570. Translate(O, z_{15}) → O'_3
571. Translate(P, z_{15}) → P'_3
572. Translate(Q, z_{15}) → Q'_3
573. Translate(R, z_{15}) → R'_3
574. Translate(S, z_{15}) → S'_4
575. Polygon(G'_7, U'_4, P'_3, Q'_3, R'_3, S'_4, E'_5, I'_3, J'_3, K'_3, L'_3, M'_3, N'_3, O'_3) → poly2'_2, g'_7, o'_3, p'_3, q'_3, r'_3, s'_4, u'_4, e'_5, i'_3, j'_3, k'_3, l'_3, m'_3, n'_3
576. Translate(E', z_{15}) → E''_5
577. Translate(I', z_{15}) → I''_4
578. Translate(J', z_{15}) → J''_4
579. Translate(K', z_{15}) → K''_4
580. Translate(L', z_{15}) → L''_4
581. Translate(M', z_{15}) → M''_4
582. Translate(N', z_{15}) → N''_4
583. Translate(O', z_{15}) → O''_4
584. Translate(P', z_{15}) → P''_4
585. Translate(Q', z_{15}) → Q''_4
586. Translate(R', z_{15}) → R''_4
587. Translate(S', z_{15}) → S''_4
588. Translate(T', z_{15}) → T''_4
589. Polygon(E''_5, I''_4, R''_4, S''_4, T''_4, J''_4, K''_4, L''_4, M''_4, N''_4, O''_4, P''_4, Q''_4) → poly3''_2, e''_5, q''_4, r''_4, s''_4, t''_4, i''_4, j''_4, k''_4, l''_4, m''_4, n''_4, o''_4, p''_4
590. Translate(G'_5, z_{15}) → W_{15}
591. Translate(U'_2, z_{15}) → Z_{15}
592. Translate(E'_3, z_{15}) → A_{16}
593. Translate(I'_1, z_{15}) → B_{16}
594. Translate(J'_1, z_{15}) → C_{16}
595. Translate(K'_1, z_{15}) → D_{16}
596. Translate(L'_1, z_{15}) → E_{16}
597. Translate(M'_1, z_{15}) → F_{16}
598. Translate(N'_1, z_{15}) → G_{16}
599. Translate(O'_1, z_{15}) → H_{16}
600. Translate(P'_1, z_{15}) → I_{16}
601. Translate(Q'_1, z_{15}) → J_{16}
602. Translate(R'_1, z_{15}) → K_{16}
603. Translate(S'_1, z_{15}) → L_{16}
604. Polygon(W_{15}, Z_{15}, I_{16}, J_{16}, K_{16}, L_{16}, A_{16}, B_{16}, C_{16}, D_{16}, E_{16}, F_{16}, G_{16}, H_{16}) → poly2''_2, w_{16}, h_{18}, i_{17}, j_{17}, k_{18}, l_{17}, z_{16}, a_{17}, b_{18}, c_{18}, d_{18}, e_{18}, f_{18}, g_{18}
605. Translate(E''_2, z_{15}) → M_{16}
606. Translate(I''_1, z_{15}) → N_{16}
607. Translate(J''_1, z_{15}) → O_{16}
608. Translate(K''_1, z_{15}) → P_{16}
609. Translate(L''_1, z_{15}) → Q_{16}
610. Translate(M''_1, z_{15}) → R_{16}
611. Translate(N''_1, z_{15}) → S_{16}
612. Translate(O''_1, z_{15}) → T_{16}
613. Translate(P''_1, z_{15}) → U_{16}
614. Translate(Q''_1, z_{15}) → V_{16}
615. Translate(R''_1, z_{15}) → W_{16}
616. Translate(S''_1, z_{15}) → Z_{16}
617. Translate(T''_1, z_{15}) → A_{17}
618. Polygon(M_{16}, N_{16}, W_{16}, Z_{16}, A_{17}, O_{16}, P_{16}, Q_{16}, R_{16}, S_{16}, T_{16}, U_{16}, V_{16}) → poly3'''_2, m_{17}, v_{16}, w_{17}, z_{17}, a_{18}, n_{17}, o_{17}, p_{17}, q_{17}, r_{17}, s_{17}, t_{16}, u_{16}
619. Translate(E_2, z_{15}) → B_{17}
620. Translate(F_2, z_{15}) → C_{17}
621. Translate(G_2, z_{15}) → D_{17}
622. Translate(H_2, z_{15}) → E_{17}
623. Translate(I_2, z_{15}) → F_{17}
624. Translate(J_2, z_{15}) → G_{17}
625. Translate(K_2, z_{15}) → H_{17}
626. Translate(L_2, z_{15}) → I_{17}
627. Translate(M_2, z_{15}) → J_{17}
628. Translate(N_2, z_{15}) → K_{17}
629. Translate(O_2, z_{15}) → L_{17}
630. Translate(P_2, z_{15}) → M_{17}
631. Translate(Q_2, z_{15}) → N_{17}
632. Translate(R_2, z_{15}) → O_{17}
633. Polygon(B_{17}, C_{17}, L_{17}, M_{17}, N_{17}, O_{17}, D_{17}, E_{17}, F_{17}, G_{17}, H_{17}, I_{17}, J_{17}, K_{17}) → poly12, b_{19}, k_{19}, l_{18}, m_{18}, n_{18}, o_{18}, c_{19}, d_{19}, e_{19}, f_{19}, g_{19}, h_{19}, i_{18}, j_{18}
634. Translate(S_2, z_{15}) → P_{17}
635. Translate(T_2, z_{15}) → Q_{17}
636. Translate(U_2, z_{15}) → R_{17}
637. Translate(V_2, z_{15}) → S_{17}
638. Translate(W_2, z_{15}) → T_{17}
639. Translate(Z_2, z_{15}) → U_{17}
640. Translate(A_3, z_{15}) → V_{17}
641. Translate(B_3, z_{15}) → W_{17}
642. Translate(C_3, z_{15}) → Z_{17}
643. Translate(D_3, z_{15}) → A_{18}
644. Translate(E_3, z_{15}) → B_{18}
645. Translate(F_3, z_{15}) → C_{18}
646. Translate(G_3, z_{15}) → D_{18}
647. Polygon(P_{17}, Q_{17}, B_{18}, C_{18}, D_{18}, R_{17}, S_{17}, T_{17}, U_{17}, V_{17}, W_{17}, Z_{17}, A_{18}) → poly4'_1, p_{18}, a_{19}, b_{20}, c_{20}, d_{20}, q_{18}, r_{18}, s_{18}, t_{17}, u_{17}, v_{17}, w_{18}, z_{18}
648. Translate(P_1, z_{15}) → E_{18}
649. Translate(Q_1, z_{15}) → F_{18}
650. Translate(R_1, z_{15}) → G_{18}
651. Translate(S_1, z_{15}) → H_{18}
652. Translate(T_1, z_{15}) → I_{18}
653. Translate(U_1, z_{15}) → J_{18}
654. Translate(V_1, z_{15}) → K_{18}
655. Translate(W_1, z_{15}) → L_{18}
656. Translate(Z_1, z_{15}) → M_{18}
657. Translate(A_2, z_{15}) → N_{18}
658. Translate(B_2, z_{15}) → O_{18}
659. Translate(C_2, z_{15}) → P_{18}
660. Translate(D_2, z_{15}) → Q_{18}
661. Polygon(E_{18}, F_{18}, O_{18}, P_{18}, Q_{18}, G_{18}, H_{18}, I_{18}, J_{18}, K_{18}, L_{18}, M_{18}, N_{18}) → poly13, e_{20}, n_{19}, o_{19}, p_{19}, q_{19}, f_{20}, g_{20}, h_{20}, i_{19}, j_{19}, k_{20}, l_{19}, m_{19}
662. Translate(B_1, z_{15}) → R_{18}
663. Translate(C_1, z_{15}) → S_{18}
664. Translate(D_1, z_{15}) → T_{18}
665. Translate(E_1, z_{15}) → U_{18}
666. Translate(F_1, z_{15}) → V_{18}
667. Translate(G_1, z_{15}) → W_{18}
668. Translate(H_1, z_{15}) → Z_{18}
669. Translate(I_1, z_{15}) → A_{19}
670. Translate(J_1, z_{15}) → B_{19}
671. Translate(K_1, z_{15}) → C_{19}
672. Translate(L_1, z_{15}) → D_{19}
673. Translate(M_1, z_{15}) → E_{19}
674. Translate(N_1, z_{15}) → F_{19}
675. Translate(O_1, z_{15}) → G_{19}
676. Polygon(R_{18}, S_{18}, D_{19}, E_{19}, F_{19}, G_{19}, T_{18}, U_{18}, V_{18}, W_{18}, Z_{18}, A_{19}, B_{19}, C_{19}) → poly2'''_2, r_{19}, c_{21}, d_{21}, e_{21}, f_{21}, g_{21}, s_{19}, t_{18}, u_{18}, v_{18}, w_{19}, z_{19}, a_{20}, b_{21}
677. Min(270, ((a - 7) * 270)) → g6
678. Min(90, ((a - 7) * 90)) → g7
679. Min(180, ((a - 7) * 180)) → g8
680. Rotate(E_2, ((-g6))°, F) → H_{19}
681. Rotate(F_2, ((-g6))°, F) → I_{19}
682. Rotate(G_2, ((-g6))°, F) → J_{19}
683. Rotate(H_2, ((-g6))°, F) → K_{19}
684. Rotate(I_2, ((-g6))°, F) → L_{19}
685. Rotate(J_2, ((-g6))°, F) → M_{19}
686. Rotate(K_2, ((-g6))°, F) → N_{19}
687. Rotate(L_2, ((-g6))°, F) → O_{19}
688. Rotate(M_2, ((-g6))°, F) → P_{19}
689. Rotate(N_2, ((-g6))°, F) → Q_{19}
690. Rotate(O_2, ((-g6))°, F) → R_{19}
691. Rotate(P_2, ((-g6))°, F) → S_{19}
692. Rotate(Q_2, ((-g6))°, F) → T_{19}
693. Rotate(R_2, ((-g6))°, F) → U_{19}
694. Polygon(H_{19}, I_{19}, R_{19}, S_{19}, T_{19}, U_{19}, J_{19}, K_{19}, L_{19}, M_{19}, N_{19}, O_{19}, P_{19}, Q_{19}) → poly14, h_{21}, q_{20}, r_{20}, s_{20}, t_{19}, u_{19}, i_{20}, j_{20}, k_{21}, l_{20}, m_{20}, n_{20}, o_{20}, p_{20}
695. Rotate(G, ((-g6))°, F) → G'_8
696. Rotate(U, ((-g6))°, F) → U'_5
697. Rotate(E, ((-g6))°, F) → E'_6
698. Rotate(I, ((-g6))°, F) → I'_4
699. Rotate(J, ((-g6))°, F) → J'_4
700. Rotate(K, ((-g6))°, F) → K'_4
701. Rotate(L, ((-g6))°, F) → L'_4
702. Rotate(M, ((-g6))°, F) → M'_4
703. Rotate(N, ((-g6))°, F) → N'_4
704. Rotate(O, ((-g6))°, F) → O'_4
705. Rotate(P, ((-g6))°, F) → P'_4
706. Rotate(Q, ((-g6))°, F) → Q'_4
707. Rotate(R, ((-g6))°, F) → R'_4
708. Rotate(S, ((-g6))°, F) → S'_5
709. Polygon(G'_8, U'_5, P'_4, Q'_4, R'_4, S'_5, E'_6, I'_4, J'_4, K'_4, L'_4, M'_4, N'_4, O'_4) → poly2'_3, g'_8, o'_4, p'_4, q'_4, r'_4, s'_5, u'_5, e'_6, i'_4, j'_4, k'_4, l'_4, m'_4, n'_4
710. Rotate(E', ((-g6))°, F) → E''_6
711. Rotate(I', ((-g6))°, F) → I''_5
712. Rotate(J', ((-g6))°, F) → J''_5
713. Rotate(K', ((-g6))°, F) → K''_5
714. Rotate(L', ((-g6))°, F) → L''_5
715. Rotate(M', ((-g6))°, F) → M''_5
716. Rotate(N', ((-g6))°, F) → N''_5
717. Rotate(O', ((-g6))°, F) → O''_5
718. Rotate(P', ((-g6))°, F) → P''_5
719. Rotate(Q', ((-g6))°, F) → Q''_5
720. Rotate(R', ((-g6))°, F) → R''_5
721. Rotate(S', ((-g6))°, F) → S''_5
722. Rotate(T', ((-g6))°, F) → T''_5
723. Polygon(E''_6, I''_5, R''_5, S''_5, T''_5, J''_5, K''_5, L''_5, M''_5, N''_5, O''_5, P''_5, Q''_5) → poly3''_3, e''_6, q''_5, r''_5, s''_5, t''_5, i''_5, j''_5, k''_5, l''_5, m''_5, n''_5, o''_5, p''_5
724. Rotate(S_2, ((-g6))°, F) → V_{19}
725. Rotate(T_2, ((-g6))°, F) → W_{19}
726. Rotate(U_2, ((-g6))°, F) → Z_{19}
727. Rotate(V_2, ((-g6))°, F) → A_{20}
728. Rotate(W_2, ((-g6))°, F) → B_{20}
729. Rotate(Z_2, ((-g6))°, F) → C_{20}
730. Rotate(A_3, ((-g6))°, F) → D_{20}
731. Rotate(B_3, ((-g6))°, F) → E_{20}
732. Rotate(C_3, ((-g6))°, F) → F_{20}
733. Rotate(D_3, ((-g6))°, F) → G_{20}
734. Rotate(E_3, ((-g6))°, F) → H_{20}
735. Rotate(F_3, ((-g6))°, F) → I_{20}
736. Rotate(G_3, ((-g6))°, F) → J_{20}
737. Polygon(V_{19}, W_{19}, H_{20}, I_{20}, J_{20}, Z_{19}, A_{20}, B_{20}, C_{20}, D_{20}, E_{20}, F_{20}, G_{20}) → poly4'_2, v_{19}, g_{22}, h_{22}, i_{21}, j_{21}, w_{20}, z_{20}, a_{21}, b_{22}, c_{22}, d_{22}, e_{22}, f_{22}
738. Rotate(P_1, ((-g6))°, F) → K_{20}
739. Rotate(Q_1, ((-g6))°, F) → L_{20}
740. Rotate(R_1, ((-g6))°, F) → M_{20}
741. Rotate(S_1, ((-g6))°, F) → N_{20}
742. Rotate(T_1, ((-g6))°, F) → O_{20}
743. Rotate(U_1, ((-g6))°, F) → P_{20}
744. Rotate(V_1, ((-g6))°, F) → Q_{20}
745. Rotate(W_1, ((-g6))°, F) → R_{20}
746. Rotate(Z_1, ((-g6))°, F) → S_{20}
747. Rotate(A_2, ((-g6))°, F) → T_{20}
748. Rotate(B_2, ((-g6))°, F) → U_{20}
749. Rotate(C_2, ((-g6))°, F) → V_{20}
750. Rotate(D_2, ((-g6))°, F) → W_{20}
751. Polygon(K_{20}, L_{20}, U_{20}, V_{20}, W_{20}, M_{20}, N_{20}, O_{20}, P_{20}, Q_{20}, R_{20}, S_{20}, T_{20}) → poly15, k_{22}, t_{20}, u_{20}, v_{20}, w_{21}, l_{21}, m_{21}, n_{21}, o_{21}, p_{21}, q_{21}, r_{21}, s_{21}
752. Rotate(B_1, ((-g6))°, F) → Z_{20}
753. Rotate(C_1, ((-g6))°, F) → A_{21}
754. Rotate(D_1, ((-g6))°, F) → B_{21}
755. Rotate(E_1, ((-g6))°, F) → C_{21}
756. Rotate(F_1, ((-g6))°, F) → D_{21}
757. Rotate(G_1, ((-g6))°, F) → E_{21}
758. Rotate(H_1, ((-g6))°, F) → F_{21}
759. Rotate(I_1, ((-g6))°, F) → G_{21}
760. Rotate(J_1, ((-g6))°, F) → H_{21}
761. Rotate(K_1, ((-g6))°, F) → I_{21}
762. Rotate(L_1, ((-g6))°, F) → J_{21}
763. Rotate(M_1, ((-g6))°, F) → K_{21}
764. Rotate(N_1, ((-g6))°, F) → L_{21}
765. Rotate(O_1, ((-g6))°, F) → M_{21}
766. Polygon(Z_{20}, A_{21}, J_{21}, K_{21}, L_{21}, M_{21}, B_{21}, C_{21}, D_{21}, E_{21}, F_{21}, G_{21}, H_{21}, I_{21}) → poly2'''_3, z_{21}, i_{22}, j_{22}, k_{23}, l_{22}, m_{22}, a_{22}, b_{23}, c_{23}, d_{23}, e_{23}, f_{23}, g_{23}, h_{23}
767. Rotate(G'_5, ((-g6))°, F) → N_{21}
768. Rotate(U'_2, ((-g6))°, F) → O_{21}
769. Rotate(E'_3, ((-g6))°, F) → P_{21}
770. Rotate(I'_1, ((-g6))°, F) → Q_{21}
771. Rotate(J'_1, ((-g6))°, F) → R_{21}
772. Rotate(K'_1, ((-g6))°, F) → S_{21}
773. Rotate(L'_1, ((-g6))°, F) → T_{21}
774. Rotate(M'_1, ((-g6))°, F) → U_{21}
775. Rotate(N'_1, ((-g6))°, F) → V_{21}
776. Rotate(O'_1, ((-g6))°, F) → W_{21}
777. Rotate(P'_1, ((-g6))°, F) → Z_{21}
778. Rotate(Q'_1, ((-g6))°, F) → A_{22}
779. Rotate(R'_1, ((-g6))°, F) → B_{22}
780. Rotate(S'_1, ((-g6))°, F) → C_{22}
781. Polygon(N_{21}, O_{21}, Z_{21}, A_{22}, B_{22}, C_{22}, P_{21}, Q_{21}, R_{21}, S_{21}, T_{21}, U_{21}, V_{21}, W_{21}) → poly2''_3, n_{22}, w_{22}, z_{22}, a_{23}, b_{24}, c_{24}, o_{22}, p_{22}, q_{22}, r_{22}, s_{22}, t_{21}, u_{21}, v_{21}
782. Rotate(E''_2, ((-g6))°, F) → D_{22}
783. Rotate(I''_1, ((-g6))°, F) → E_{22}
784. Rotate(J''_1, ((-g6))°, F) → F_{22}
785. Rotate(K''_1, ((-g6))°, F) → G_{22}
786. Rotate(L''_1, ((-g6))°, F) → H_{22}
787. Rotate(M''_1, ((-g6))°, F) → I_{22}
788. Rotate(N''_1, ((-g6))°, F) → J_{22}
789. Rotate(O''_1, ((-g6))°, F) → K_{22}
790. Rotate(P''_1, ((-g6))°, F) → L_{22}
791. Rotate(Q''_1, ((-g6))°, F) → M_{22}
792. Rotate(R''_1, ((-g6))°, F) → N_{22}
793. Rotate(S''_1, ((-g6))°, F) → O_{22}
794. Rotate(T''_1, ((-g6))°, F) → P_{22}
795. Polygon(D_{22}, E_{22}, N_{22}, O_{22}, P_{22}, F_{22}, G_{22}, H_{22}, I_{22}, J_{22}, K_{22}, L_{22}, M_{22}) → poly3'''_3, d_{24}, m_{23}, n_{23}, o_{23}, p_{23}, e_{24}, f_{24}, g_{24}, h_{24}, i_{23}, j_{23}, k_{24}, l_{23}
796. Rotate(E', ((-g7))°, F) → E''_7
797. Rotate(I', ((-g7))°, F) → I''_6
798. Rotate(J', ((-g7))°, F) → J''_6
799. Rotate(K', ((-g7))°, F) → K''_6
800. Rotate(L', ((-g7))°, F) → L''_6
801. Rotate(M', ((-g7))°, F) → M''_6
802. Rotate(N', ((-g7))°, F) → N''_6
803. Rotate(O', ((-g7))°, F) → O''_6
804. Rotate(P', ((-g7))°, F) → P''_6
805. Rotate(Q', ((-g7))°, F) → Q''_6
806. Rotate(R', ((-g7))°, F) → R''_6
807. Rotate(S', ((-g7))°, F) → S''_6
808. Rotate(T', ((-g7))°, F) → T''_6
809. Polygon(E''_7, I''_6, R''_6, S''_6, T''_6, J''_6, K''_6, L''_6, M''_6, N''_6, O''_6, P''_6, Q''_6) → poly3''_4, e''_7, q''_6, r''_6, s''_6, t''_6, i''_6, j''_6, k''_6, l''_6, m''_6, n''_6, o''_6, p''_6
810. Rotate(G, ((-g7))°, F) → G'_9
811. Rotate(U, ((-g7))°, F) → U'_6
812. Rotate(E, ((-g7))°, F) → E'_7
813. Rotate(I, ((-g7))°, F) → I'_5
814. Rotate(J, ((-g7))°, F) → J'_5
815. Rotate(K, ((-g7))°, F) → K'_5
816. Rotate(L, ((-g7))°, F) → L'_5
817. Rotate(M, ((-g7))°, F) → M'_5
818. Rotate(N, ((-g7))°, F) → N'_5
819. Rotate(O, ((-g7))°, F) → O'_5
820. Rotate(P, ((-g7))°, F) → P'_5
821. Rotate(Q, ((-g7))°, F) → Q'_5
822. Rotate(R, ((-g7))°, F) → R'_5
823. Rotate(S, ((-g7))°, F) → S'_6
824. Polygon(G'_9, U'_6, P'_5, Q'_5, R'_5, S'_6, E'_7, I'_5, J'_5, K'_5, L'_5, M'_5, N'_5, O'_5) → poly2'_4, g'_9, o'_5, p'_5, q'_5, r'_5, s'_6, u'_6, e'_7, i'_5, j'_5, k'_5, l'_5, m'_5, n'_5
825. Rotate(E_2, ((-g7))°, F) → Q_{22}
826. Rotate(F_2, ((-g7))°, F) → R_{22}
827. Rotate(G_2, ((-g7))°, F) → S_{22}
828. Rotate(H_2, ((-g7))°, F) → T_{22}
829. Rotate(I_2, ((-g7))°, F) → U_{22}
830. Rotate(J_2, ((-g7))°, F) → V_{22}
831. Rotate(K_2, ((-g7))°, F) → W_{22}
832. Rotate(L_2, ((-g7))°, F) → Z_{22}
833. Rotate(M_2, ((-g7))°, F) → A_{23}
834. Rotate(N_2, ((-g7))°, F) → B_{23}
835. Rotate(O_2, ((-g7))°, F) → C_{23}
836. Rotate(P_2, ((-g7))°, F) → D_{23}
837. Rotate(Q_2, ((-g7))°, F) → E_{23}
838. Rotate(R_2, ((-g7))°, F) → F_{23}
839. Polygon(Q_{22}, R_{22}, C_{23}, D_{23}, E_{23}, F_{23}, S_{22}, T_{22}, U_{22}, V_{22}, W_{22}, Z_{22}, A_{23}, B_{23}) → poly16, q_{23}, b_{25}, c_{25}, d_{25}, e_{25}, f_{25}, r_{23}, s_{23}, t_{22}, u_{22}, v_{22}, w_{23}, z_{23}, a_{24}
840. Rotate(S_2, (-g7), F) → G_{23}
841. Rotate(T_2, (-g7), F) → H_{23}
842. Rotate(U_2, (-g7), F) → I_{23}
843. Rotate(V_2, (-g7), F) → J_{23}
844. Rotate(W_2, (-g7), F) → K_{23}
845. Rotate(Z_2, (-g7), F) → L_{23}
846. Rotate(A_3, (-g7), F) → M_{23}
847. Rotate(B_3, (-g7), F) → N_{23}
848. Rotate(C_3, (-g7), F) → O_{23}
849. Rotate(D_3, (-g7), F) → P_{23}
850. Rotate(E_3, (-g7), F) → Q_{23}
851. Rotate(F_3, (-g7), F) → R_{23}
852. Rotate(G_3, (-g7), F) → S_{23}
853. Rotate(S_2, ((-g7))°, F) → T_{23}
854. Rotate(T_2, ((-g7))°, F) → U_{23}
855. Rotate(U_2, ((-g7))°, F) → V_{23}
856. Rotate(V_2, ((-g7))°, F) → W_{23}
857. Rotate(W_2, ((-g7))°, F) → Z_{23}
858. Rotate(Z_2, ((-g7))°, F) → A_{24}
859. Rotate(A_3, ((-g7))°, F) → B_{24}
860. Rotate(B_3, ((-g7))°, F) → C_{24}
861. Rotate(C_3, ((-g7))°, F) → D_{24}
862. Rotate(D_3, ((-g7))°, F) → E_{24}
863. Rotate(E_3, ((-g7))°, F) → F_{24}
864. Rotate(F_3, ((-g7))°, F) → G_{24}
865. Rotate(G_3, ((-g7))°, F) → H_{24}
866. Polygon(T_{23}, U_{23}, F_{24}, G_{24}, H_{24}, V_{23}, W_{23}, Z_{23}, A_{24}, B_{24}, C_{24}, D_{24}, E_{24}) → poly4'_3, t_{23}, e_{26}, f_{26}, g_{25}, h_{25}, u_{23}, v_{23}, w_{24}, z_{24}, a_{25}, b_{26}, c_{26}, d_{26}
867. Rotate(E''_2, ((-g7))°, F) → I_{24}
868. Rotate(I''_1, ((-g7))°, F) → J_{24}
869. Rotate(J''_1, ((-g7))°, F) → K_{24}
870. Rotate(K''_1, ((-g7))°, F) → L_{24}
871. Rotate(L''_1, ((-g7))°, F) → M_{24}
872. Rotate(M''_1, ((-g7))°, F) → N_{24}
873. Rotate(N''_1, ((-g7))°, F) → O_{24}
874. Rotate(O''_1, ((-g7))°, F) → P_{24}
875. Rotate(P''_1, ((-g7))°, F) → Q_{24}
876. Rotate(Q''_1, ((-g7))°, F) → R_{24}
877. Rotate(R''_1, ((-g7))°, F) → S_{24}
878. Rotate(S''_1, ((-g7))°, F) → T_{24}
879. Rotate(T''_1, ((-g7))°, F) → U_{24}
880. Polygon(I_{24}, J_{24}, S_{24}, T_{24}, U_{24}, K_{24}, L_{24}, M_{24}, N_{24}, O_{24}, P_{24}, Q_{24}, R_{24}) → poly3'''_4, i_{24}, r_{24}, s_{24}, t_{24}, u_{24}, j_{24}, k_{25}, l_{24}, m_{24}, n_{24}, o_{24}, p_{24}, q_{24}
881. Rotate(B_1, ((-g7))°, F) → V_{24}
882. Rotate(C_1, ((-g7))°, F) → W_{24}
883. Rotate(D_1, ((-g7))°, F) → Z_{24}
884. Rotate(E_1, ((-g7))°, F) → A_{25}
885. Rotate(F_1, ((-g7))°, F) → B_{25}
886. Rotate(G_1, ((-g7))°, F) → C_{25}
887. Rotate(H_1, ((-g7))°, F) → D_{25}
888. Rotate(I_1, ((-g7))°, F) → E_{25}
889. Rotate(J_1, ((-g7))°, F) → F_{25}
890. Rotate(K_1, ((-g7))°, F) → G_{25}
891. Rotate(L_1, ((-g7))°, F) → H_{25}
892. Rotate(M_1, ((-g7))°, F) → I_{25}
893. Rotate(N_1, ((-g7))°, F) → J_{25}
894. Rotate(O_1, ((-g7))°, F) → K_{25}
895. Polygon(V_{24}, W_{24}, H_{25}, I_{25}, J_{25}, K_{25}, Z_{24}, A_{25}, B_{25}, C_{25}, D_{25}, E_{25}, F_{25}, G_{25}) → poly2'''_4, v_{24}, g_{26}, h_{26}, i_{25}, j_{25}, k_{26}, w_{25}, z_{25}, a_{26}, b_{27}, c_{27}, d_{27}, e_{27}, f_{27}
896. Rotate(G'_5, ((-g7))°, F) → L_{25}
897. Rotate(U'_2, ((-g7))°, F) → M_{25}
898. Rotate(E'_3, ((-g7))°, F) → N_{25}
899. Rotate(I'_1, ((-g7))°, F) → O_{25}
900. Rotate(J'_1, ((-g7))°, F) → P_{25}
901. Rotate(K'_1, ((-g7))°, F) → Q_{25}
902. Rotate(L'_1, ((-g7))°, F) → R_{25}
903. Rotate(M'_1, ((-g7))°, F) → S_{25}
904. Rotate(N'_1, ((-g7))°, F) → T_{25}
905. Rotate(O'_1, ((-g7))°, F) → U_{25}
906. Rotate(P'_1, ((-g7))°, F) → V_{25}
907. Rotate(Q'_1, ((-g7))°, F) → W_{25}
908. Rotate(R'_1, ((-g7))°, F) → Z_{25}
909. Rotate(S'_1, ((-g7))°, F) → A_{26}
910. Polygon(L_{25}, M_{25}, V_{25}, W_{25}, Z_{25}, A_{26}, N_{25}, O_{25}, P_{25}, Q_{25}, R_{25}, S_{25}, T_{25}, U_{25}) → poly2''_4, l_{25}, u_{25}, v_{25}, w_{26}, z_{26}, a_{27}, m_{25}, n_{25}, o_{25}, p_{25}, q_{25}, r_{25}, s_{25}, t_{25}
911. Rotate(P_1, ((-g7))°, F) → B_{26}
912. Rotate(Q_1, ((-g7))°, F) → C_{26}
913. Rotate(R_1, ((-g7))°, F) → D_{26}
914. Rotate(S_1, ((-g7))°, F) → E_{26}
915. Rotate(T_1, ((-g7))°, F) → F_{26}
916. Rotate(U_1, ((-g7))°, F) → G_{26}
917. Rotate(V_1, ((-g7))°, F) → H_{26}
918. Rotate(W_1, ((-g7))°, F) → I_{26}
919. Rotate(Z_1, ((-g7))°, F) → J_{26}
920. Rotate(A_2, ((-g7))°, F) → K_{26}
921. Rotate(B_2, ((-g7))°, F) → L_{26}
922. Rotate(C_2, ((-g7))°, F) → M_{26}
923. Rotate(D_2, ((-g7))°, F) → N_{26}
924. Polygon(B_{26}, C_{26}, L_{26}, M_{26}, N_{26}, D_{26}, E_{26}, F_{26}, G_{26}, H_{26}, I_{26}, J_{26}, K_{26}) → poly17, b_{28}, k_{27}, l_{26}, m_{26}, n_{26}, c_{28}, d_{28}, e_{28}, f_{28}, g_{27}, h_{27}, i_{26}, j_{26}
925. Rotate(E', ((-g8))°, F) → E''_8
926. Rotate(I', ((-g8))°, F) → I''_7
927. Rotate(J', ((-g8))°, F) → J''_7
928. Rotate(K', ((-g8))°, F) → K''_7
929. Rotate(L', ((-g8))°, F) → L''_7
930. Rotate(M', ((-g8))°, F) → M''_7
931. Rotate(N', ((-g8))°, F) → N''_7
932. Rotate(O', ((-g8))°, F) → O''_7
933. Rotate(P', ((-g8))°, F) → P''_7
934. Rotate(Q', ((-g8))°, F) → Q''_7
935. Rotate(R', ((-g8))°, F) → R''_7
936. Rotate(S', ((-g8))°, F) → S''_7
937. Rotate(T', ((-g8))°, F) → T''_7
938. Polygon(E''_8, I''_7, R''_7, S''_7, T''_7, J''_7, K''_7, L''_7, M''_7, N''_7, O''_7, P''_7, Q''_7) → poly3''_5, e''_8, q''_7, r''_7, s''_7, t''_7, i''_7, j''_7, k''_7, l''_7, m''_7, n''_7, o''_7, p''_7
939. Rotate(G, ((-g8))°, F) → G'_{10}
940. Rotate(U, ((-g8))°, F) → U'_7
941. Rotate(E, ((-g8))°, F) → E'_8
942. Rotate(I, ((-g8))°, F) → I'_6
943. Rotate(J, ((-g8))°, F) → J'_6
944. Rotate(K, ((-g8))°, F) → K'_6
945. Rotate(L, ((-g8))°, F) → L'_6
946. Rotate(M, ((-g8))°, F) → M'_6
947. Rotate(N, ((-g8))°, F) → N'_6
948. Rotate(O, ((-g8))°, F) → O'_6
949. Rotate(P, ((-g8))°, F) → P'_6
950. Rotate(Q, ((-g8))°, F) → Q'_6
951. Rotate(R, ((-g8))°, F) → R'_6
952. Rotate(S, ((-g8))°, F) → S'_7
953. Polygon(G'_{10}, U'_7, P'_6, Q'_6, R'_6, S'_7, E'_8, I'_6, J'_6, K'_6, L'_6, M'_6, N'_6, O'_6) → poly2'_5, g'_{10}, o'_6, p'_6, q'_6, r'_6, s'_7, u'_7, e'_8, i'_6, j'_6, k'_6, l'_6, m'_6, n'_6
954. Rotate(E_2, ((-g8))°, F) → O_{26}
955. Rotate(F_2, ((-g8))°, F) → P_{26}
956. Rotate(G_2, ((-g8))°, F) → Q_{26}
957. Rotate(H_2, ((-g8))°, F) → R_{26}
958. Rotate(I_2, ((-g8))°, F) → S_{26}
959. Rotate(J_2, ((-g8))°, F) → T_{26}
960. Rotate(K_2, ((-g8))°, F) → U_{26}
961. Rotate(L_2, ((-g8))°, F) → V_{26}
962. Rotate(M_2, ((-g8))°, F) → W_{26}
963. Rotate(N_2, ((-g8))°, F) → Z_{26}
964. Rotate(O_2, ((-g8))°, F) → A_{27}
965. Rotate(P_2, ((-g8))°, F) → B_{27}
966. Rotate(Q_2, ((-g8))°, F) → C_{27}
967. Rotate(R_2, ((-g8))°, F) → D_{27}
968. Polygon(O_{26}, P_{26}, A_{27}, B_{27}, C_{27}, D_{27}, Q_{26}, R_{26}, S_{26}, T_{26}, U_{26}, V_{26}, W_{26}, Z_{26}) → poly18, o_{26}, z_{27}, a_{28}, b_{29}, c_{29}, d_{29}, p_{26}, q_{26}, r_{26}, s_{26}, t_{26}, u_{26}, v_{26}, w_{27}
969. Rotate(S_2, ((-g8))°, F) → E_{27}
970. Rotate(T_2, ((-g8))°, F) → F_{27}
971. Rotate(U_2, ((-g8))°, F) → G_{27}
972. Rotate(V_2, ((-g8))°, F) → H_{27}
973. Rotate(W_2, ((-g8))°, F) → I_{27}
974. Rotate(Z_2, ((-g8))°, F) → J_{27}
975. Rotate(A_3, ((-g8))°, F) → K_{27}
976. Rotate(B_3, ((-g8))°, F) → L_{27}
977. Rotate(C_3, ((-g8))°, F) → M_{27}
978. Rotate(D_3, ((-g8))°, F) → N_{27}
979. Rotate(E_3, ((-g8))°, F) → O_{27}
980. Rotate(F_3, ((-g8))°, F) → P_{27}
981. Rotate(G_3, ((-g8))°, F) → Q_{27}
982. Polygon(E_{27}, F_{27}, O_{27}, P_{27}, Q_{27}, G_{27}, H_{27}, I_{27}, J_{27}, K_{27}, L_{27}, M_{27}, N_{27}) → poly4'_4, e_{29}, n_{27}, o_{27}, p_{27}, q_{27}, f_{29}, g_{28}, h_{28}, i_{27}, j_{27}, k_{28}, l_{27}, m_{27}
983. Rotate(P_1, ((-g8))°, F) → R_{27}
984. Rotate(Q_1, ((-g8))°, F) → S_{27}
985. Rotate(R_1, ((-g8))°, F) → T_{27}
986. Rotate(S_1, ((-g8))°, F) → U_{27}
987. Rotate(T_1, ((-g8))°, F) → V_{27}
988. Rotate(U_1, ((-g8))°, F) → W_{27}
989. Rotate(V_1, ((-g8))°, F) → Z_{27}
990. Rotate(W_1, ((-g8))°, F) → A_{28}
991. Rotate(Z_1, ((-g8))°, F) → B_{28}
992. Rotate(A_2, ((-g8))°, F) → C_{28}
993. Rotate(B_2, ((-g8))°, F) → D_{28}
994. Rotate(C_2, ((-g8))°, F) → E_{28}
995. Rotate(D_2, ((-g8))°, F) → F_{28}
996. Polygon(R_{27}, S_{27}, D_{28}, E_{28}, F_{28}, T_{27}, U_{27}, V_{27}, W_{27}, Z_{27}, A_{28}, B_{28}, C_{28}) → poly19, r_{27}, c_{30}, d_{30}, e_{30}, f_{30}, s_{27}, t_{27}, u_{27}, v_{27}, w_{28}, z_{28}, a_{29}, b_{30}
997. Rotate(B_1, ((-g8))°, F) → G_{28}
998. Rotate(C_1, ((-g8))°, F) → H_{28}
999. Rotate(D_1, ((-g8))°, F) → I_{28}
1000. Rotate(E_1, ((-g8))°, F) → J_{28}
1001. Rotate(F_1, ((-g8))°, F) → K_{28}
1002. Rotate(G_1, ((-g8))°, F) → L_{28}
1003. Rotate(H_1, ((-g8))°, F) → M_{28}
1004. Rotate(I_1, ((-g8))°, F) → N_{28}
1005. Rotate(J_1, ((-g8))°, F) → O_{28}
1006. Rotate(K_1, ((-g8))°, F) → P_{28}
1007. Rotate(L_1, ((-g8))°, F) → Q_{28}
1008. Rotate(M_1, ((-g8))°, F) → R_{28}
1009. Rotate(N_1, ((-g8))°, F) → S_{28}
1010. Rotate(O_1, ((-g8))°, F) → T_{28}
1011. Polygon(G_{28}, H_{28}, Q_{28}, R_{28}, S_{28}, T_{28}, I_{28}, J_{28}, K_{28}, L_{28}, M_{28}, N_{28}, O_{28}, P_{28}) → poly2'''_5, g_{29}, p_{28}, q_{28}, r_{28}, s_{28}, t_{28}, h_{29}, i_{28}, j_{28}, k_{29}, l_{28}, m_{28}, n_{28}, o_{28}
1012. Rotate(G'_5, ((-g8))°, F) → U_{28}
1013. Rotate(U'_2, ((-g8))°, F) → V_{28}
1014. Rotate(E'_3, ((-g8))°, F) → W_{28}
1015. Rotate(I'_1, ((-g8))°, F) → Z_{28}
1016. Rotate(J'_1, ((-g8))°, F) → A_{29}
1017. Rotate(K'_1, ((-g8))°, F) → B_{29}
1018. Rotate(L'_1, ((-g8))°, F) → C_{29}
1019. Rotate(M'_1, ((-g8))°, F) → D_{29}
1020. Rotate(N'_1, ((-g8))°, F) → E_{29}
1021. Rotate(O'_1, ((-g8))°, F) → F_{29}
1022. Rotate(P'_1, ((-g8))°, F) → G_{29}
1023. Rotate(Q'_1, ((-g8))°, F) → H_{29}
1024. Rotate(R'_1, ((-g8))°, F) → I_{29}
1025. Rotate(S'_1, ((-g8))°, F) → J_{29}
1026. Polygon(U_{28}, V_{28}, G_{29}, H_{29}, I_{29}, J_{29}, W_{28}, Z_{28}, A_{29}, B_{29}, C_{29}, D_{29}, E_{29}, F_{29}) → poly2''_5, u_{28}, f_{31}, g_{30}, h_{30}, i_{29}, j_{29}, v_{28}, w_{29}, z_{29}, a_{30}, b_{31}, c_{31}, d_{31}, e_{31}
1027. Rotate(E', ((-g8))°, F) → E''_9
1028. Rotate(I', ((-g8))°, F) → I''_8
1029. Rotate(J', ((-g8))°, F) → J''_8
1030. Rotate(K', ((-g8))°, F) → K''_8
1031. Rotate(L', ((-g8))°, F) → L''_8
1032. Rotate(M', ((-g8))°, F) → M''_8
1033. Rotate(N', ((-g8))°, F) → N''_8
1034. Rotate(O', ((-g8))°, F) → O''_8
1035. Rotate(P', ((-g8))°, F) → P''_8
1036. Rotate(Q', ((-g8))°, F) → Q''_8
1037. Rotate(R', ((-g8))°, F) → R''_8
1038. Rotate(S', ((-g8))°, F) → S''_8
1039. Rotate(T', ((-g8))°, F) → T''_8
1040. Rotate(E''_2, ((-g8))°, F) → K_{29}
1041. Rotate(I''_1, ((-g8))°, F) → L_{29}
1042. Rotate(J''_1, ((-g8))°, F) → M_{29}
1043. Rotate(K''_1, ((-g8))°, F) → N_{29}
1044. Rotate(L''_1, ((-g8))°, F) → O_{29}
1045. Rotate(M''_1, ((-g8))°, F) → P_{29}
1046. Rotate(N''_1, ((-g8))°, F) → Q_{29}
1047. Rotate(O''_1, ((-g8))°, F) → R_{29}
1048. Rotate(P''_1, ((-g8))°, F) → S_{29}
1049. Rotate(Q''_1, ((-g8))°, F) → T_{29}
1050. Rotate(R''_1, ((-g8))°, F) → U_{29}
1051. Rotate(S''_1, ((-g8))°, F) → V_{29}
1052. Rotate(T''_1, ((-g8))°, F) → W_{29}
1053. Polygon(K_{29}, L_{29}, U_{29}, V_{29}, W_{29}, M_{29}, N_{29}, O_{29}, P_{29}, Q_{29}, R_{29}, S_{29}, T_{29}) → poly3'''_5, k_{30}, t_{29}, u_{29}, v_{29}, w_{30}, l_{29}, m_{29}, n_{29}, o_{29}, p_{29}, q_{29}, r_{29}, s_{29}