MathPlotAI Logo MathPlotAI

Translation Tessellation Step 13b

Translation Tessellation Step 13b
Loading the math board and drawing, please wait…
2014-03-28 10:17
PolygonVectorGeometric Construction
In collections Translation Tesselation
This example demonstrates how to construct a tessellation pattern using translation operations. Core mathematical concepts include vectors, polygons, and geometric transformations. Key GeoGebra commands used are Polygon, Segment, Vector, Translate, Intersect, Point, and Circle. Suitable for high school mathematics education to understand the application of translation transformations in tessellations.

GeoGebra Commands & Parameters

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

AI Drawing Prompt Reference

Draw a shape composed of a quadrilateral and multiple line segments, starting with a quadrilateral, then draw four line segments from one vertex of the quadrilateral. Use vector translation to move the quadrilateral and line segments in the direction of the vector, creating a repeating pattern. Finally, perform some translation and connection operations to make the shape more complete and complex.
The prompt above was compiled from the original drawing commands and is for reference only.