Escher's Three Animals with Geometric Transformations

Escher's Three Animals with Geometric Transformations
Loading the math board and drawing, please wait…
2023-03-22 23:04
In collections geometriadinamica.es
This example demonstrates Escher-style three animal patterns, involving similar triangles, segments, logic, medians, and real numbers. Using commands like Rotate, Polygon, Midpoint, Line, Mirror, If, Dilate, Intersect, Vector, Angle, Min, Length, Circle, and Translate in GeoGebra, a complex geometric transformation model is constructed. Suitable for middle school and above students to learn geometric transformations and pattern design.

GeoGebra Commands & Parameters

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

AI Drawing Prompt Reference

Draw a base triangle on the plane, then use its vertices to generate additional corresponding vertices by rotating around a chosen vertex-direction by about 60 degrees, creating a triangular lattice-like structure. Connect many of these generated points in specific cyclic orders to form several polygonal outlines that act as three related Escher-style animal-pattern regions. Construct the three side lines of the base triangle, find the midpoints of the relevant vertex pairs to define the midpoint structure, and mirror key points across the corresponding reference lines to obtain symmetric counterparts. Keep adding mirrored vertices and then reconnect them with polygon edges to build a dense, highly symmetric repeating geometric pattern.
The prompt above was compiled from the original drawing commands and is for reference only.