MathPlotAI Logo MathPlotAI

Polygon and Derivative Interactive Demonstration

Polygon and Derivative Interactive Demonstration
Loading the math board and drawing, please wait…
2023-03-22 22:50
PolygonVectorDerivativeGeometric Construction
In collections geometriadinamica.es
This example demonstrates polygon construction and derivative applications interactively; core math concepts include polygons, derivatives, vector transformations, and geometric transformations; GeoGebra commands and objects used in construction are If, Segment, OrthogonalLine, Point, Intersect, Midpoint, Polygon, Rotate, Vector, Translate, Mirror, Min, Length, Line, Circle; suitable for high school and above learners to visually understand the dynamic relationship between polygonal changes and derivative functions.

GeoGebra Commands & Parameters

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

AI Drawing Prompt Reference

Draw a polygon with multiple inscribed circles and circumscribed circles, multiple circle centers and circle center lines, multiple arcs and multiple triangles. The polygon's vertices can be rotated, and the circle centers and arcs will change accordingly. Draw multiple triangles and arcs to form a complex geometric figure.
The prompt above was compiled from the original drawing commands and is for reference only.