MathPlotAI Logo MathPlotAI

Tessellation from Rectangle by abbey (2)

Tessellation from Rectangle by abbey (2)
Loading the math board and drawing, please wait…
2013-07-12 06:21
VectorTransformationGeometric Construction
In collections Tessellation from Rectangle using Translation
This example demonstrates how to generate a tessellation pattern using a rectangle. Key mathematical concepts include geometric transformations and vectors. Using GeoGebra commands such as Segment, OrthogonalLine, Point, Intersect, Vector, Translate, and Polygon, complex tessellation patterns can be constructed. Suitable for middle school and above students to learn about geometric transformations and the construction of tessellation patterns.

GeoGebra Commands & Parameters

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

AI Drawing Prompt Reference

Draw a tessellation pattern generated from a rectangle. Start by drawing rectangle ABCD. Then, draw two perpendicular lines b and c through points A and B. Take point C on line b and point D on line c. Draw two perpendicular lines d and e through points C and D, and their intersection is point E. Connect points C and A, D and B, C and D, A and E, E and F, F and G, G and H, H and C. Translate point C and A using vector CD to get C' and A', and connect C' and A'. Continue by translating point A and E using vector CD to get A'1 and E', and connect A'1 and E'. Translate point E and F using vector CD to get E'1 and F', and connect E'1 and F'. Translate point F and G using vector CD to get F'1 and G', and connect F'1 and G'. Translate point G and H using vector CD to get G'1 and H', and connect G'1 and H'. Translate point H and C using vector CD to get H'1 and C', and connect H'1 and C'. Finally, translate point A and B using vector AC to get A'_2 and B', and connect A'_2 and B'.
The prompt above was compiled from the original drawing commands and is for reference only.