Rotational Symmetry Demo by Zack Patterson

GeoGebra Commands & Parameters

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