Dynamic Demonstration of Polygon with Sliders

GeoGebra Commands & Parameters

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