Kite Tessellation by Steve Phelps

Kite Tessellation by Steve Phelps
Loading the math board and drawing, please wait…
2016-05-06 19:43
This example demonstrates the creation of a kite tessellation pattern. It involves core mathematical concepts like polygon construction, symmetry transformations, and vector operations. Key GeoGebra commands and objects used include Segment, Mirror, Midpoint, Polygon, Vector, and Translate for geometric construction and transformations. Suitable for high school mathematics education to understand plane tessellations and applications of geometric transformations.

GeoGebra Commands & Parameters

  1. Segment(A, B) → f
  2. Mirror(C, f) → C'
  3. Midpoint(C, A) → D
  4. Midpoint(A, C') → E
  5. Midpoint(C', B) → F
  6. Midpoint(B, C) → G
  7. Mirror(H, D) → H'
  8. Mirror(I, D) → I'
  9. Mirror(O, G) → O'
  10. Mirror(N, G) → N'
  11. Mirror(M, F) → M'
  12. Mirror(L, F) → L'
  13. Mirror(K, E) → K'
  14. Mirror(J, E) → J'
  15. Polygon(A, I, B, L', M', M, L, C', J', K', K, J, H, H', I', C, N, O, O', N') → poly1, a, n', b, l', m', m, l, c', j', k', k, i, j, h, h', i', c, n, o, o'
  16. Mirror(A, F) → A'
  17. Mirror(I, F) → I'_1
  18. Mirror(H, F) → H'_1
  19. Mirror(H', F) → H''
  20. Mirror(I', F) → I''
  21. Mirror(C, F) → C'_1
  22. Mirror(N, F) → N'_1
  23. Mirror(O, F) → O'_1
  24. Mirror(O', F) → O''
  25. Mirror(N', F) → N''
  26. Mirror(B, F) → B'
  27. Mirror(L', F) → L''
  28. Mirror(M', F) → M''
  29. Mirror(M, F) → M'_1
  30. Mirror(L, F) → L'_1
  31. Mirror(C', F) → C''
  32. Mirror(J', F) → J''
  33. Mirror(K', F) → K''
  34. Mirror(K, F) → K'_1
  35. Mirror(J, F) → J'_1
  36. Polygon(A', I'_1, B', L'', M'', M'_1, L'_1, C'', J'', K'', K'_1, J'_1, H'_1, H'', I'', C'_1, N'_1, O'_1, O'', N'') → poly1', a', n'', b', l'', m'', m'_1, l'_1, c'', j'', k'', k'_1, i'_1, j'_1, h'_1, h'', i'', c'_1, n'_1, o'_1, o''
  37. Mirror(A, G) → A'_1
  38. Mirror(I, G) → I'_2
  39. Mirror(H, G) → H'_2
  40. Mirror(H', G) → H''_1
  41. Mirror(I', G) → I''_1
  42. Mirror(C, G) → C'_2
  43. Mirror(N, G) → N'_2
  44. Mirror(O, G) → O'_2
  45. Mirror(O', G) → O''_1
  46. Mirror(N', G) → N''_1
  47. Mirror(B, G) → B'_1
  48. Mirror(L', G) → L''_1
  49. Mirror(M', G) → M''_1
  50. Mirror(M, G) → M'_2
  51. Mirror(L, G) → L'_2
  52. Mirror(C', G) → C''_1
  53. Mirror(J', G) → J''_1
  54. Mirror(K', G) → K''_1
  55. Mirror(K, G) → K'_2
  56. Mirror(J, G) → J'_2
  57. Polygon(A'_1, I'_2, B'_1, L''_1, M''_1, M'_2, L'_2, C''_1, J''_1, K''_1, K'_2, J'_2, H'_2, H''_1, I''_1, C'_2, N'_2, O'_2, O''_1, N''_1) → poly1'_1, a'_1, n''_1, b'_1, l''_1, m''_1, m'_2, l'_2, c''_1, j''_1, k''_1, k'_2, i'_2, j'_2, h'_2, h''_1, i''_1, c'_2, n'_2, o'_2, o''_1
  58. Mirror(A, E) → A'_2
  59. Mirror(I, E) → I'_3
  60. Mirror(H, E) → H'_3
  61. Mirror(H', E) → H''_2
  62. Mirror(I', E) → I''_2
  63. Mirror(C, E) → C'_3
  64. Mirror(N, E) → N'_3
  65. Mirror(O, E) → O'_3
  66. Mirror(O', E) → O''_2
  67. Mirror(N', E) → N''_2
  68. Mirror(B, E) → B'_2
  69. Mirror(L', E) → L''_2
  70. Mirror(M', E) → M''_2
  71. Mirror(M, E) → M'_3
  72. Mirror(L, E) → L'_3
  73. Mirror(C', E) → C''_2
  74. Mirror(J', E) → J''_2
  75. Mirror(K', E) → K''_2
  76. Mirror(K, E) → K'_3
  77. Mirror(J, E) → J'_3
  78. Polygon(A'_2, I'_3, B'_2, L''_2, M''_2, M'_3, L'_3, C''_2, J''_2, K''_2, K'_3, J'_3, H'_3, H''_2, I''_2, C'_3, N'_3, O'_3, O''_2, N''_2) → poly1'_2, a'_2, n''_2, b'_2, l''_2, m''_2, m'_3, l'_3, c''_2, j''_2, k''_2, k'_3, i'_3, j'_3, h'_3, h''_2, i''_2, c'_3, n'_3, o'_3, o''_2
  79. Mirror(A, D) → A'_3
  80. Mirror(I, D) → I'_4
  81. Mirror(H, D) → H'_4
  82. Mirror(H', D) → H''_3
  83. Mirror(I', D) → I''_3
  84. Mirror(C, D) → C'_4
  85. Mirror(N, D) → N'_4
  86. Mirror(O, D) → O'_4
  87. Mirror(O', D) → O''_3
  88. Mirror(N', D) → N''_3
  89. Mirror(B, D) → B'_3
  90. Mirror(L', D) → L''_3
  91. Mirror(M', D) → M''_3
  92. Mirror(M, D) → M'_4
  93. Mirror(L, D) → L'_4
  94. Mirror(C', D) → C''_3
  95. Mirror(J', D) → J''_3
  96. Mirror(K', D) → K''_3
  97. Mirror(K, D) → K'_4
  98. Mirror(J, D) → J'_4
  99. Polygon(A'_3, I'_4, B'_3, L''_3, M''_3, M'_4, L'_4, C''_3, J''_3, K''_3, K'_4, J'_4, H'_4, H''_3, I''_3, C'_4, N'_4, O'_4, O''_3, N''_3) → poly1'_3, a'_3, n''_3, b'_3, l''_3, m''_3, m'_4, l'_4, c''_3, j''_3, k''_3, k'_4, i'_4, j'_4, h'_4, h''_3, i''_3, c'_4, n'_4, o'_4, o''_3
  100. Mirror(A', G) → A''
  101. Mirror(I'_1, G) → P
  102. Mirror(H'_1, G) → Q
  103. Mirror(H'', G) → H'''
  104. Mirror(I'', G) → I'''
  105. Mirror(C'_1, G) → R
  106. Mirror(N'_1, G) → S
  107. Mirror(O'_1, G) → T
  108. Mirror(O'', G) → O'''
  109. Mirror(N'', G) → N'''
  110. Mirror(B', G) → B''
  111. Mirror(L'', G) → L'''
  112. Mirror(M'', G) → M'''
  113. Mirror(M'_1, G) → U
  114. Mirror(L'_1, G) → V
  115. Mirror(C'', G) → C'''
  116. Mirror(J'', G) → J'''
  117. Mirror(K'', G) → K'''
  118. Mirror(K'_1, G) → W
  119. Mirror(J'_1, G) → Z
  120. Polygon(A'', P, B'', L''', M''', U, V, C''', J''', K''', W, Z, Q, H''', I''', R, S, T, O''', N''') → poly1'', a'', n''', b'', l''', m''', u, v, c''', j''', k''', w, p, z_1, q, h''', i''', r, s, t, o'''
  121. Mirror(A'_1, F) → A_1
  122. Mirror(I'_2, F) → B_1
  123. Mirror(H'_2, F) → C_1
  124. Mirror(H''_1, F) → D_1
  125. Mirror(I''_1, F) → E_1
  126. Mirror(C'_2, F) → F_1
  127. Mirror(N'_2, F) → G_1
  128. Mirror(O'_2, F) → H_1
  129. Mirror(O''_1, F) → I_1
  130. Mirror(N''_1, F) → J_1
  131. Mirror(B'_1, F) → K_1
  132. Mirror(L''_1, F) → L_1
  133. Mirror(M''_1, F) → M_1
  134. Mirror(M'_2, F) → N_1
  135. Mirror(L'_2, F) → O_1
  136. Mirror(C''_1, F) → P_1
  137. Mirror(J''_1, F) → Q_1
  138. Mirror(K''_1, F) → R_1
  139. Mirror(K'_2, F) → S_1
  140. Mirror(J'_2, F) → T_1
  141. Polygon(A_1, B_1, K_1, L_1, M_1, N_1, O_1, P_1, Q_1, R_1, S_1, T_1, C_1, D_1, E_1, F_1, G_1, H_1, I_1, J_1) → poly2, a_1, j_1, k_1, l_1, m_1, n_1, o_1, p_1, q_1, r_1, s_1, b_1, t_1, c_1, d_1, e_1, f_1, g_1, h_1, i_1
  142. Mirror(A_1, D) → U_1
  143. Mirror(B_1, D) → V_1
  144. Mirror(C_1, D) → W_1
  145. Mirror(D_1, D) → Z_1
  146. Mirror(E_1, D) → A_2
  147. Mirror(F_1, D) → B_2
  148. Mirror(G_1, D) → C_2
  149. Mirror(H_1, D) → D_2
  150. Mirror(I_1, D) → E_2
  151. Mirror(J_1, D) → F_2
  152. Mirror(K_1, D) → G_2
  153. Mirror(L_1, D) → H_2
  154. Mirror(M_1, D) → I_2
  155. Mirror(N_1, D) → J_2
  156. Mirror(O_1, D) → K_2
  157. Mirror(P_1, D) → L_2
  158. Mirror(Q_1, D) → M_2
  159. Mirror(R_1, D) → N_2
  160. Mirror(S_1, D) → O_2
  161. Mirror(T_1, D) → P_2
  162. Polygon(U_1, V_1, G_2, H_2, I_2, J_2, K_2, L_2, M_2, N_2, O_2, P_2, W_1, Z_1, A_2, B_2, C_2, D_2, E_2, F_2) → poly2', u_1, f_2, g_2, h_2, i_2, j_2, k_2, l_2, m_2, n_2, o_2, v_1, p_2, w_1, z_2, a_2, b_2, c_2, d_2, e_2
  163. Mirror(A'', E) → A'''
  164. Mirror(P, E) → P'
  165. Mirror(Q, E) → Q'
  166. Mirror(H''', E) → Q_2
  167. Mirror(I''', E) → R_2
  168. Mirror(R, E) → R'
  169. Mirror(S, E) → S'
  170. Mirror(T, E) → T'
  171. Mirror(O''', E) → S_2
  172. Mirror(N''', E) → T_2
  173. Mirror(B'', E) → B'''
  174. Mirror(L''', E) → U_2
  175. Mirror(M''', E) → V_2
  176. Mirror(U, E) → U'
  177. Mirror(V, E) → V'
  178. Mirror(C''', E) → W_2
  179. Mirror(J''', E) → Z_2
  180. Mirror(K''', E) → A_3
  181. Mirror(W, E) → W'
  182. Mirror(Z, E) → Z'
  183. Polygon(A''', P', B''', U_2, V_2, U', V', W_2, Z_2, A_3, W', Z', Q', Q_2, R_2, R', S', T', S_2, T_2) → poly1''', a''', t_2, b''', u_2, v_2, u', v', w_2, z_3, a_3, w', p', z', q', q_2, r_2, r', s', t', s_2
  184. Mirror(A'_1, E) → B_3
  185. Mirror(I'_2, E) → C_3
  186. Mirror(H'_2, E) → D_3
  187. Mirror(H''_1, E) → E_3
  188. Mirror(I''_1, E) → F_3
  189. Mirror(C'_2, E) → G_3
  190. Mirror(N'_2, E) → H_3
  191. Mirror(O'_2, E) → I_3
  192. Mirror(O''_1, E) → J_3
  193. Mirror(N''_1, E) → K_3
  194. Mirror(B'_1, E) → L_3
  195. Mirror(L''_1, E) → M_3
  196. Mirror(M''_1, E) → N_3
  197. Mirror(M'_2, E) → O_3
  198. Mirror(L'_2, E) → P_3
  199. Mirror(C''_1, E) → Q_3
  200. Mirror(J''_1, E) → R_3
  201. Mirror(K''_1, E) → S_3
  202. Mirror(K'_2, E) → T_3
  203. Mirror(J'_2, E) → U_3
  204. Polygon(B_3, C_3, L_3, M_3, N_3, O_3, P_3, Q_3, R_3, S_3, T_3, U_3, D_3, E_3, F_3, G_3, H_3, I_3, J_3, K_3) → poly3, b_3, k_3, l_3, m_3, n_3, o_3, p_3, q_3, r_3, s_3, t_3, c_3, u_3, d_3, e_3, f_3, g_3, h_3, i_3, j_3
  205. Mirror(A', D) → A''_1
  206. Mirror(I'_1, D) → V_3
  207. Mirror(H'_1, D) → W_3
  208. Mirror(H'', D) → H'''_1
  209. Mirror(I'', D) → I'''_1
  210. Mirror(C'_1, D) → Z_3
  211. Mirror(N'_1, D) → A_4
  212. Mirror(O'_1, D) → B_4
  213. Mirror(O'', D) → O'''_1
  214. Mirror(N'', D) → N'''_1
  215. Mirror(B', D) → B''_1
  216. Mirror(L'', D) → L'''_1
  217. Mirror(M'', D) → M'''_1
  218. Mirror(M'_1, D) → C_4
  219. Mirror(L'_1, D) → D_4
  220. Mirror(C'', D) → C'''_1
  221. Mirror(J'', D) → J'''_1
  222. Mirror(K'', D) → K'''_1
  223. Mirror(K'_1, D) → E_4
  224. Mirror(J'_1, D) → F_4
  225. Polygon(A''_1, V_3, B''_1, L'''_1, M'''_1, C_4, D_4, C'''_1, J'''_1, K'''_1, E_4, F_4, W_3, H'''_1, I'''_1, Z_3, A_4, B_4, O'''_1, N'''_1) → poly1''_1, a''_1, n'''_1, b''_1, l'''_1, m'''_1, c_4, d_4, c'''_1, j'''_1, k'''_1, e_4, v_3, f_4, w_3, h'''_1, i'''_1, z_4, a_4, b_4, o'''_1
  226. Vector(B, A) → d
  227. Translate(A, d) → A'_4
  228. Translate(I, d) → I'_5
  229. Translate(H, d) → H'_5
  230. Translate(H', d) → H''_4
  231. Translate(I', d) → I''_4
  232. Translate(C, d) → C'_5
  233. Translate(N, d) → N'_5
  234. Translate(O, d) → O'_5
  235. Translate(O', d) → O''_4
  236. Translate(N', d) → N''_4
  237. Translate(B, d) → B'_4
  238. Translate(L', d) → L''_4
  239. Translate(M', d) → M''_4
  240. Translate(M, d) → M'_5
  241. Translate(L, d) → L'_5
  242. Translate(C', d) → C''_4
  243. Translate(J', d) → J''_4
  244. Translate(K', d) → K''_4
  245. Translate(K, d) → K'_5
  246. Translate(J, d) → J'_5
  247. Polygon(A'_4, I'_5, B'_4, L''_4, M''_4, M'_5, L'_5, C''_4, J''_4, K''_4, K'_5, J'_5, H'_5, H''_4, I''_4, C'_5, N'_5, O'_5, O''_4, N''_4) → poly1'_4, a'_4, n''_4, b'_4, l''_4, m''_4, m'_5, l'_5, c''_4, j''_4, k''_4, k'_5, i'_5, j'_5, h'_5, h''_4, i''_4, c'_5, n'_5, o'_5, o''_4
  248. Vector(A, B) → e
  249. Translate(A, e) → A'_5
  250. Translate(I, e) → I'_6
  251. Translate(H, e) → H'_6
  252. Translate(H', e) → H''_5
  253. Translate(I', e) → I''_5
  254. Translate(C, e) → C'_6
  255. Translate(N, e) → N'_6
  256. Translate(O, e) → O'_6
  257. Translate(O', e) → O''_5
  258. Translate(N', e) → N''_5
  259. Translate(B, e) → B'_5
  260. Translate(L', e) → L''_5
  261. Translate(M', e) → M''_5
  262. Translate(M, e) → M'_6
  263. Translate(L, e) → L'_6
  264. Translate(C', e) → C''_5
  265. Translate(J', e) → J''_5
  266. Translate(K', e) → K''_5
  267. Translate(K, e) → K'_6
  268. Translate(J, e) → J'_6
  269. Polygon(A'_5, I'_6, B'_5, L''_5, M''_5, M'_6, L'_6, C''_5, J''_5, K''_5, K'_6, J'_6, H'_6, H''_5, I''_5, C'_6, N'_6, O'_6, O''_5, N''_5) → poly1'_5, a'_5, n''_5, b'_5, l''_5, m''_5, m'_6, l'_6, c''_5, j''_5, k''_5, k'_6, i'_6, j'_6, h'_6, h''_5, i''_5, c'_6, n'_6, o'_6, o''_5
  270. Mirror(A'_4, G) → G_4
  271. Mirror(I'_5, G) → H_4
  272. Mirror(H'_5, G) → I_4
  273. Mirror(H''_4, G) → J_4
  274. Mirror(I''_4, G) → K_4
  275. Mirror(C'_5, G) → L_4
  276. Mirror(N'_5, G) → M_4
  277. Mirror(O'_5, G) → N_4
  278. Mirror(O''_4, G) → O_4
  279. Mirror(N''_4, G) → P_4
  280. Mirror(B'_4, G) → Q_4
  281. Mirror(L''_4, G) → R_4
  282. Mirror(M''_4, G) → S_4
  283. Mirror(M'_5, G) → T_4
  284. Mirror(L'_5, G) → U_4
  285. Mirror(C''_4, G) → V_4
  286. Mirror(J''_4, G) → W_4
  287. Mirror(K''_4, G) → Z_4
  288. Mirror(K'_5, G) → A_5
  289. Mirror(J'_5, G) → B_5
  290. Polygon(G_4, H_4, Q_4, R_4, S_4, T_4, U_4, V_4, W_4, Z_4, A_5, B_5, I_4, J_4, K_4, L_4, M_4, N_4, O_4, P_4) → poly4, g_4, p_4, q_4, r_4, s_4, t_4, u_4, v_4, w_4, z_5, a_5, h_4, b_5, i_4, j_4, k_4, l_4, m_4, n_4, o_4
  291. Mirror(A'_2, G) → C_5
  292. Mirror(I'_3, G) → D_5
  293. Mirror(H'_3, G) → E_5
  294. Mirror(H''_2, G) → F_5
  295. Mirror(I''_2, G) → G_5
  296. Mirror(C'_3, G) → H_5
  297. Mirror(N'_3, G) → I_5
  298. Mirror(O'_3, G) → J_5
  299. Mirror(O''_2, G) → K_5
  300. Mirror(N''_2, G) → L_5
  301. Mirror(B'_2, G) → M_5
  302. Mirror(L''_2, G) → N_5
  303. Mirror(M''_2, G) → O_5
  304. Mirror(M'_3, G) → P_5
  305. Mirror(L'_3, G) → Q_5
  306. Mirror(C''_2, G) → R_5
  307. Mirror(J''_2, G) → S_5
  308. Mirror(K''_2, G) → T_5
  309. Mirror(K'_3, G) → U_5
  310. Mirror(J'_3, G) → V_5
  311. Polygon(C_5, D_5, M_5, N_5, O_5, P_5, Q_5, R_5, S_5, T_5, U_5, V_5, E_5, F_5, G_5, H_5, I_5, J_5, K_5, L_5) → poly5, c_5, l_5, m_5, n_5, o_5, p_5, q_5, r_5, s_5, t_5, u_5, d_5, v_5, e_5, f_5, g_5, h_5, i_5, j_5, k_5
  312. Mirror(A_1, G) → W_5
  313. Mirror(B_1, G) → Z_5
  314. Mirror(C_1, G) → A_6
  315. Mirror(D_1, G) → B_6
  316. Mirror(E_1, G) → C_6
  317. Mirror(F_1, G) → D_6
  318. Mirror(G_1, G) → E_6
  319. Mirror(H_1, G) → F_6
  320. Mirror(I_1, G) → G_6
  321. Mirror(J_1, G) → H_6
  322. Mirror(K_1, G) → I_6
  323. Mirror(L_1, G) → J_6
  324. Mirror(M_1, G) → K_6
  325. Mirror(N_1, G) → L_6
  326. Mirror(O_1, G) → M_6
  327. Mirror(P_1, G) → N_6
  328. Mirror(Q_1, G) → O_6
  329. Mirror(R_1, G) → P_6
  330. Mirror(S_1, G) → Q_6
  331. Mirror(T_1, G) → R_6
  332. Polygon(W_5, Z_5, I_6, J_6, K_6, L_6, M_6, N_6, O_6, P_6, Q_6, R_6, A_6, B_6, C_6, D_6, E_6, F_6, G_6, H_6) → poly2'_1, w_5, h_6, i_6, j_6, k_6, l_6, m_6, n_6, o_6, p_6, q_6, z_6, r_6, a_6, b_6, c_6, d_6, e_6, f_6, g_6
  333. Mirror(A'_4, F) → S_6
  334. Mirror(I'_5, F) → T_6
  335. Mirror(H'_5, F) → U_6
  336. Mirror(H''_4, F) → V_6
  337. Mirror(I''_4, F) → W_6
  338. Mirror(C'_5, F) → Z_6
  339. Mirror(N'_5, F) → A_7
  340. Mirror(O'_5, F) → B_7
  341. Mirror(O''_4, F) → C_7
  342. Mirror(N''_4, F) → D_7
  343. Mirror(B'_4, F) → E_7
  344. Mirror(L''_4, F) → F_7
  345. Mirror(M''_4, F) → G_7
  346. Mirror(M'_5, F) → H_7
  347. Mirror(L'_5, F) → I_7
  348. Mirror(C''_4, F) → J_7
  349. Mirror(J''_4, F) → K_7
  350. Mirror(K''_4, F) → L_7
  351. Mirror(K'_5, F) → M_7
  352. Mirror(J'_5, F) → N_7
  353. Polygon(S_6, T_6, E_7, F_7, G_7, H_7, I_7, J_7, K_7, L_7, M_7, N_7, U_6, V_6, W_6, Z_6, A_7, B_7, C_7, D_7) → poly6, s_6, d_7, e_7, f_7, g_7, h_7, i_7, j_7, k_7, l_7, m_7, t_6, n_7, u_6, v_6, w_6, z_7, a_7, b_7, c_7
  354. Mirror(A'_3, F) → O_7
  355. Mirror(I'_4, F) → P_7
  356. Mirror(H'_4, F) → Q_7
  357. Mirror(H''_3, F) → R_7
  358. Mirror(I''_3, F) → S_7
  359. Mirror(C'_4, F) → T_7
  360. Mirror(N'_4, F) → U_7
  361. Mirror(O'_4, F) → V_7
  362. Mirror(O''_3, F) → W_7
  363. Mirror(N''_3, F) → Z_7
  364. Mirror(B'_3, F) → A_8
  365. Mirror(L''_3, F) → B_8
  366. Mirror(M''_3, F) → C_8
  367. Mirror(M'_4, F) → D_8
  368. Mirror(L'_4, F) → E_8
  369. Mirror(C''_3, F) → F_8
  370. Mirror(J''_3, F) → G_8
  371. Mirror(K''_3, F) → H_8
  372. Mirror(K'_4, F) → I_8
  373. Mirror(J'_4, F) → J_8
  374. Polygon(O_7, P_7, A_8, B_8, C_8, D_8, E_8, F_8, G_8, H_8, I_8, J_8, Q_7, R_7, S_7, T_7, U_7, V_7, W_7, Z_7) → poly7, o_7, z_8, a_8, b_8, c_8, d_8, e_8, f_8, g_8, h_8, i_8, p_7, j_8, q_7, r_7, s_7, t_7, u_7, v_7, w_7
  375. Mirror(A'', F) → A'''_1
  376. Mirror(P, F) → P'_1
  377. Mirror(Q, F) → Q'_1
  378. Mirror(H''', F) → K_8
  379. Mirror(I''', F) → L_8
  380. Mirror(R, F) → R'_1
  381. Mirror(S, F) → S'_1
  382. Mirror(T, F) → T'_1
  383. Mirror(O''', F) → M_8
  384. Mirror(N''', F) → N_8
  385. Mirror(B'', F) → B'''_1
  386. Mirror(L''', F) → O_8
  387. Mirror(M''', F) → P_8
  388. Mirror(U, F) → U'_1
  389. Mirror(V, F) → V'_1
  390. Mirror(C''', F) → Q_8
  391. Mirror(J''', F) → R_8
  392. Mirror(K''', F) → S_8
  393. Mirror(W, F) → W'_1
  394. Mirror(Z, F) → Z'_1
  395. Polygon(A'''_1, P'_1, B'''_1, O_8, P_8, U'_1, V'_1, Q_8, R_8, S_8, W'_1, Z'_1, Q'_1, K_8, L_8, R'_1, S'_1, T'_1, M_8, N_8) → poly1'''_1, a'''_1, n_8, b'''_1, o_8, p_8, u'_1, v'_1, q_8, r_8, s_8, w'_1, p'_1, z'_1, q'_1, k_8, l_8, r'_1, s'_1, t'_1, m_8
  396. Polygon(A, C, B, C') → poly8, a_9, c_9, b_9, c'_7