平面对称群p6m的几何绘制

GeoGebra 命令及参数

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