多边形与导数交互式演示

GeoGebra 命令及参数

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