伊斯兰几何马赛克图案

GeoGebra 命令及参数

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