积极 AI Logo 积极 AI

步骤7：多步几何构造与变换演示

步骤7：多步几何构造与变换演示
几何画板及绘图内容加载中，请稍等……
2017-03-29 07:37
圆多边形向量变换几何作图
①本范例演示了一个包含线段、垂线、交点、向量平移、多边形、圆与半圆等多元素组合的逐步几何构造过程，最终形成复杂的复合图形。②核心数学概念涉及欧几里得几何中的基本作图（垂线、交点）、向量平移与变换、多边形与圆的组合，以及半圆作为特殊圆弧的应用。③作图要点：从构造摘要可见，使用了Segment（线段）、OrthogonalLine（垂线）、Point（点）、Intersect（交点）、Vector（向量）、Translate（平移）、Polygon（多边形）、Circle（圆）、Semicircle（半圆）等GeoGebra命令，并创建了A、B、C、D、E、F、G、H、I、J等大量点对象及带撇号的平移后对象，体现了逐步构造与变换的层次性。④适合中学几何教学或几何作图进阶练习，用于理解基本作图工具的组合使用与变换思想，也可作为动态几何探究的示例。

GeoGebra 命令及参数

  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}