MathPlotAI Logo MathPlotAI

Step 9: Polygon and Vector Construction

Step 9: Polygon and Vector Construction
Loading the math board and drawing, please wait…
2015-12-09 07:54
PolygonVectorCoordinate Geometry
In collections Hands in the Air: Square Translation Tessellation
This example demonstrates how to construct polygons and apply vector translations using GeoGebra. Key math concepts include polygons, vectors, translation transformations, and coordinate geometry. Construction highlights involve commands like Polygon, Segment, Vector, Translate, Circle, and objects such as text1, A, B, poly1, a, b, c, d, C, D, E, e, F, f, G, g, H, h, I, i, J, j, K, k, L, l, M, m, N, n, O, p, P, q, Q, r, R, s, S, t for geometric building and transformations. Suitable for high school mathematics teaching, illustrating the visual application of vectors and geometric transformations.

GeoGebra Commands & Parameters

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