积极 AI Logo 积极 AI

代数瓷砖-同类项的合并介绍

代数瓷砖-同类项的合并介绍
几何画板及绘图内容加载中，请稍等……
2016-11-04 06:13
解析几何几何作图
这个范例通过代数瓷砖演示了同类项的合并。核心数学概念包括代数表达式的简化。使用了Point, Segment, OrthogonalLine, Circle, Intersect, Polygon, Rotate等GeoGebra命令。适合初中数学教学，帮助学生理解代数表达式的简化过程。

GeoGebra 命令及参数

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