Escher 风格的多边形

GeoGebra 命令及参数

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