MathPlotAI Logo MathPlotAI

Nazarí Mosaic

Nazarí Mosaic
Loading the math board and drawing, please wait…
2019-03-20 20:23
PolygonTransformationGeometric Construction
This example demonstrates the geometric construction of a Nazarí mosaic. It involves geometric transformations and polygons. Using GeoGebra commands such as Point, Segment, OrthogonalLine, Circle, and Intersect, a beautiful mosaic pattern can be constructed. Suitable for middle school and above students to learn geometric transformations and polygon construction.

GeoGebra Commands & Parameters

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

AI Drawing Prompt Reference

Create a Nazarí mosaic pattern with multiple rotated and mirrored polygons. Start by creating points A and B, then construct segments, circles, and intersections to form the base polygon. Next, use rotation and mirroring to duplicate and place the base polygon in new positions, forming the complete mosaic pattern.
The prompt above was compiled from the original drawing commands and is for reference only.