阿尔罕布拉宫与埃舍尔镶嵌图案的几何变换构造

GeoGebra 命令及参数

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