MathPlotAI Logo MathPlotAI

Step 7: Multi-step Geometric Construction and Transformation

Step 7: Multi-step Geometric Construction and Transformation
Loading the math board and drawing, please wait…
2017-03-29 07:37
CirclePolygonVectorTransformationGeometric Construction
In collections Tessellations
①This example demonstrates a step-by-step geometric construction involving segments, perpendicular lines, intersection points, vector translations, polygons, circles, and semicircles, resulting in a complex composite figure. ②Core mathematical concepts include Euclidean construction basics (perpendiculars, intersections), vector translation and transformation, combinations of polygons and circles, and semicircles as special arcs. ③Construction highlights: from the summary, commands such as Segment, OrthogonalLine, Point, Intersect, Vector, Translate, Polygon, Circle, and Semicircle are used, with many point objects (A, B, C, D, E, F, G, H, I, J) and their translated primed versions, showing a layered construction and transformation process. ④Suitable for middle/high school geometry teaching or advanced geometric construction practice, helping learners understand the combined use of basic construction tools and transformation ideas, and serving as a dynamic geometry exploration example.

GeoGebra Commands & Parameters

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