积极 AI Logo 积极 AI

基于三角形旋转设计创建镶嵌图案 by mallorina1 (3)

基于三角形旋转设计创建镶嵌图案 by mallorina1 (3)
几何画板及绘图内容加载中，请稍等……
2014-04-04 05:11
测试改名0变换几何作图
所属专题 Create a Rotation Tessellation using a Triangle
本范例演示如何基于三角形旋转设计来创建镶嵌图案。核心数学概念包括旋转和几何作图。通过使用GeoGebra命令如Polygon, Segment, Rotate, Midpoint, PointIn等，可以构造出一系列旋转的三角形，形成美丽的镶嵌图案。适合初中及以上学生学习几何变换和镶嵌图案。

GeoGebra 命令及参数

  1. Polygon(A, B, 3) → poly1, a, b, c, C
  2. Segment(A, D) → d
  3. Segment(D, E) → e
  4. Segment(E, F) → f
  5. Segment(F, G) → g
  6. Segment(G, H) → h
  7. Segment(H, B) → i
  8. Rotate(A, -60*°, B) → A'
  9. Rotate(B, -60*°, B) → B'
  10. Segment(A', B') → a'
  11. Rotate(A, -60*°, B) → A'_1
  12. Rotate(D, -60*°, B) → D'
  13. Segment(A'_1, D') → d'
  14. Rotate(D, -60*°, B) → D'_1
  15. Rotate(E, -60*°, B) → E'
  16. Segment(D'_1, E') → e'
  17. Rotate(E, -60*°, B) → E'_1
  18. Rotate(F, -60*°, B) → F'
  19. Segment(E'_1, F') → f'
  20. Rotate(F, -60*°, B) → F'_1
  21. Rotate(G, -60*°, B) → G'
  22. Segment(F'_1, G') → g'
  23. Rotate(G, -60*°, B) → G'_1
  24. Rotate(H, -60*°, B) → H'
  25. Segment(G'_1, H') → h'
  26. Rotate(H, -60*°, B) → H'_1
  27. Rotate(B, -60*°, B) → B'_1
  28. Segment(H'_1, B'_1) → i'
  29. Midpoint(c) → I
  30. Segment(C, J) → j
  31. Segment(J, K) → k
  32. Segment(K, I) → l
  33. Rotate(A'_1, -180*°, I) → L
  34. Rotate(C, -180*°, I) → C'
  35. Rotate(J, -180*°, I) → J'
  36. Segment(C', J') → j'
  37. Rotate(J, -180*°, I) → J'_1
  38. Rotate(K, -180*°, I) → K'
  39. Segment(J'_1, K') → k'
  40. Rotate(K, -180*°, I) → K'_1
  41. Rotate(I, -180*°, I) → I'
  42. Segment(K'_1, I') → l'
  43. Rotate(A', -180*°, I) → A''
  44. Polygon(F, E, D', E', F', G', H', B, H, G, D, A, J', K', I, K, J, C) → poly2, f_1, c_1, d'_1, e'_1, f'_1, g'_1, h'_1, b_1, h_1, g_1, e_1, d_1, a_1, j'_1, k'_1, i_1, k_1, j_1
  45. PointIn(poly2) → M
  46. PointIn(poly2) → N
  47. Rotate(F, -60*°, B) → F'_2
  48. Rotate(E, -60*°, B) → E'_2
  49. Rotate(D, -60*°, B) → D'_2
  50. Rotate(A, -60*°, B) → A'_2
  51. Rotate(J', -60*°, B) → J''
  52. Rotate(K', -60*°, B) → K''
  53. Rotate(I, -60*°, B) → I'_1
  54. Rotate(K, -60*°, B) → K'_2
  55. Rotate(J, -60*°, B) → J'_2
  56. Rotate(C, -60*°, B) → C'_1
  57. Rotate(D', -60*°, B) → D''
  58. Rotate(E', -60*°, B) → E''
  59. Rotate(F', -60*°, B) → F''
  60. Rotate(G', -60*°, B) → G''
  61. Rotate(H', -60*°, B) → H''
  62. Rotate(B, -60*°, B) → B'_2
  63. Rotate(H, -60*°, B) → H'_2
  64. Rotate(G, -60*°, B) → G'_2
  65. Polygon(F'_2, E'_2, D'', E'', F'', G'', H'', B'_2, H'_2, G'_2, D'_2, A'_2, J'', K'', I'_1, K'_2, J'_2, C'_1) → poly2', f'_2, c'_1, d'', e'', f'', g'', h'', b'_2, h'_2, g'_2, e'_2, d'_2, a'_2, j'', k'', i'_1, k'_2, j'_2
  66. Rotate(A, -60*°, B) → A'_3
  67. Rotate(D, -60*°, B) → D'_3
  68. Segment(A'_3, D'_3) → d'_3
  69. Rotate(D, -60*°, B) → D'_4
  70. Rotate(E, -60*°, B) → E'_3
  71. Segment(D'_4, E'_3) → e'_3
  72. Rotate(E, -60*°, B) → E'_4
  73. Rotate(F, -60*°, B) → F'_3
  74. Segment(E'_4, F'_3) → f'_3
  75. Rotate(F, -60*°, B) → F'_4
  76. Rotate(G, -60*°, B) → G'_3
  77. Segment(F'_4, G'_3) → g'_3
  78. Rotate(G, -60*°, B) → G'_4
  79. Rotate(H, -60*°, B) → H'_3
  80. Segment(G'_4, H'_3) → h'_3
  81. Rotate(H, -60*°, B) → H'_4
  82. Rotate(B, -60*°, B) → B'_3
  83. Segment(H'_4, B'_3) → i'_2
  84. Rotate(A'_1, -60*°, B) → O
  85. Rotate(D', -60*°, B) → D''_1
  86. Segment(O, D''_1) → d''_1
  87. Rotate(D'_1, -60*°, B) → P
  88. Rotate(E', -60*°, B) → E''_1
  89. Segment(P, E''_1) → e''_1
  90. Rotate(E'_1, -60*°, B) → Q
  91. Rotate(F', -60*°, B) → F''_1
  92. Segment(Q, F''_1) → f''_1
  93. Rotate(F'_1, -60*°, B) → R
  94. Rotate(G', -60*°, B) → G''_1
  95. Segment(R, G''_1) → g''_1
  96. Rotate(G'_1, -60*°, B) → S
  97. Rotate(H', -60*°, B) → H''_1
  98. Segment(S, H''_1) → h''_1
  99. Rotate(H'_1, -60*°, B) → T
  100. Rotate(B'_1, -60*°, B) → U
  101. Segment(T, U) → i''
  102. Rotate(C, -60*°, B) → C'_2
  103. Rotate(J, -60*°, B) → J'_3
  104. Segment(C'_2, J'_3) → j'_3
  105. Rotate(J, -60*°, B) → J'_4
  106. Rotate(K, -60*°, B) → K'_3
  107. Segment(J'_4, K'_3) → k'_3
  108. Rotate(K, -60*°, B) → K'_4
  109. Rotate(I, -60*°, B) → I'_2
  110. Segment(K'_4, I'_2) → l'_1
  111. Rotate(C', -60*°, B) → C''
  112. Rotate(J', -60*°, B) → J''_1
  113. Segment(C'', J''_1) → j''_1
  114. Rotate(J'_1, -60*°, B) → V
  115. Rotate(K', -60*°, B) → K''_1
  116. Segment(V, K''_1) → k''_1
  117. Rotate(K'_1, -60*°, B) → W
  118. Rotate(I', -60*°, B) → I''
  119. Segment(W, I'') → l''
  120. Rotate(A', -60*°, B) → A''_1
  121. Rotate(B', -60*°, B) → B''
  122. Rotate(L, -60*°, B) → L'
  123. Rotate(A'', -60*°, B) → A'''
  124. Rotate(M, -60*°, B) → M'
  125. Rotate(N, -60*°, B) → N'
  126. Rotate(F, -120*°, B) → F'_5
  127. Rotate(E, -120*°, B) → E'_5
  128. Rotate(D, -120*°, B) → D'_5
  129. Rotate(A, -120*°, B) → A'_4
  130. Rotate(J', -120*°, B) → J''_2
  131. Rotate(K', -120*°, B) → K''_2
  132. Rotate(I, -120*°, B) → I'_3
  133. Rotate(K, -120*°, B) → K'_5
  134. Rotate(J, -120*°, B) → J'_5
  135. Rotate(C, -120*°, B) → C'_3
  136. Rotate(D', -120*°, B) → D''_2
  137. Rotate(E', -120*°, B) → E''_2
  138. Rotate(F', -120*°, B) → F''_2
  139. Rotate(G', -120*°, B) → G''_2
  140. Rotate(H', -120*°, B) → H''_2
  141. Rotate(B, -120*°, B) → B'_4
  142. Rotate(H, -120*°, B) → H'_5
  143. Rotate(G, -120*°, B) → G'_5
  144. Polygon(F'_5, E'_5, D''_2, E''_2, F''_2, G''_2, H''_2, B'_4, H'_5, G'_5, D'_5, A'_4, J''_2, K''_2, I'_3, K'_5, J'_5, C'_3) → poly2'_1, f'_5, c'_3, d''_2, e''_2, f''_2, g''_2, h''_2, b'_4, h'_5, g'_5, e'_5, d'_5, a'_4, j''_2, k''_2, i'_3, k'_5, j'_5
  145. Rotate(F'_2, -120*°, B) → Z
  146. Rotate(E'_2, -120*°, B) → A_1
  147. Rotate(D'_2, -120*°, B) → B_1
  148. Rotate(A'_2, -120*°, B) → C_1
  149. Rotate(J'', -120*°, B) → J'''
  150. Rotate(K'', -120*°, B) → K'''
  151. Rotate(I'_1, -120*°, B) → D_1
  152. Rotate(K'_2, -120*°, B) → E_1
  153. Rotate(J'_2, -120*°, B) → F_1
  154. Rotate(C'_1, -120*°, B) → G_1
  155. Rotate(D'', -120*°, B) → D'''
  156. Rotate(E'', -120*°, B) → E'''
  157. Rotate(F'', -120*°, B) → F'''
  158. Rotate(G'', -120*°, B) → G'''
  159. Rotate(H'', -120*°, B) → H'''
  160. Rotate(B'_2, -120*°, B) → H_1
  161. Rotate(H'_2, -120*°, B) → I_1
  162. Rotate(G'_2, -120*°, B) → J_1
  163. Polygon(Z, A_1, D''', E''', F''', G''', H''', H_1, I_1, J_1, B_1, C_1, J''', K''', D_1, E_1, F_1, G_1) → poly2'', z, g_2, d''', e''', f''', g''', h''', h_2, i_2, j_2, a_2, b_2, c_2, j''', k''', d_2, e_2, f_2
  164. Rotate(A, -120*°, B) → A'_5
  165. Rotate(D, -120*°, B) → D'_6
  166. Segment(A'_5, D'_6) → d'_4
  167. Rotate(D, -120*°, B) → D'_7
  168. Rotate(E, -120*°, B) → E'_6
  169. Segment(D'_7, E'_6) → e'_4
  170. Rotate(E, -120*°, B) → E'_7
  171. Rotate(F, -120*°, B) → F'_6
  172. Segment(E'_7, F'_6) → f'_4
  173. Rotate(F, -120*°, B) → F'_7
  174. Rotate(G, -120*°, B) → G'_6
  175. Segment(F'_7, G'_6) → g'_4
  176. Rotate(G, -120*°, B) → G'_7
  177. Rotate(H, -120*°, B) → H'_6
  178. Segment(G'_7, H'_6) → h'_4
  179. Rotate(H, -120*°, B) → H'_7
  180. Rotate(B, -120*°, B) → B'_5
  181. Segment(H'_7, B'_5) → i'_4
  182. Rotate(A'_1, -120*°, B) → K_1
  183. Rotate(D', -120*°, B) → D''_3
  184. Segment(K_1, D''_3) → d''_3
  185. Rotate(D'_1, -120*°, B) → L_1
  186. Rotate(E', -120*°, B) → E''_3
  187. Segment(L_1, E''_3) → e''_3
  188. Rotate(E'_1, -120*°, B) → M_1
  189. Rotate(F', -120*°, B) → F''_3
  190. Segment(M_1, F''_3) → f''_3
  191. Rotate(F'_1, -120*°, B) → N_1
  192. Rotate(G', -120*°, B) → G''_3
  193. Segment(N_1, G''_3) → g''_3
  194. Rotate(G'_1, -120*°, B) → O_1
  195. Rotate(H', -120*°, B) → H''_3
  196. Segment(O_1, H''_3) → h''_3
  197. Rotate(H'_1, -120*°, B) → P_1
  198. Rotate(B'_1, -120*°, B) → Q_1
  199. Segment(P_1, Q_1) → i''_1
  200. Rotate(C, -120*°, B) → C'_4
  201. Rotate(J, -120*°, B) → J'_6
  202. Segment(C'_4, J'_6) → j'_4
  203. Rotate(J, -120*°, B) → J'_7
  204. Rotate(K, -120*°, B) → K'_6
  205. Segment(J'_7, K'_6) → k'_4
  206. Rotate(K, -120*°, B) → K'_7
  207. Rotate(I, -120*°, B) → I'_4
  208. Segment(K'_7, I'_4) → l'_2
  209. Rotate(C', -120*°, B) → C''_1
  210. Rotate(J', -120*°, B) → J''_3
  211. Segment(C''_1, J''_3) → j''_3
  212. Rotate(J'_1, -120*°, B) → R_1
  213. Rotate(K', -120*°, B) → K''_3
  214. Segment(R_1, K''_3) → k''_3
  215. Rotate(K'_1, -120*°, B) → S_1
  216. Rotate(I', -120*°, B) → I''_1
  217. Segment(S_1, I''_1) → l''_1
  218. Rotate(A'_3, -120*°, B) → T_1
  219. Rotate(D'_3, -120*°, B) → U_1
  220. Segment(T_1, U_1) → m
  221. Rotate(D'_4, -120*°, B) → V_1
  222. Rotate(E'_3, -120*°, B) → W_1
  223. Segment(V_1, W_1) → n
  224. Rotate(E'_4, -120*°, B) → Z_1
  225. Rotate(F'_3, -120*°, B) → A_2
  226. Segment(Z_1, A_2) → p
  227. Rotate(F'_4, -120*°, B) → B_2
  228. Rotate(G'_3, -120*°, B) → C_2
  229. Segment(B_2, C_2) → q
  230. Rotate(G'_4, -120*°, B) → D_2
  231. Rotate(H'_3, -120*°, B) → E_2
  232. Segment(D_2, E_2) → r
  233. Rotate(H'_4, -120*°, B) → F_2
  234. Rotate(B'_3, -120*°, B) → G_2
  235. Segment(F_2, G_2) → s
  236. Rotate(O, -120*°, B) → O'
  237. Rotate(D''_1, -120*°, B) → H_2
  238. Segment(O', H_2) → t
  239. Rotate(P, -120*°, B) → P'
  240. Rotate(E''_1, -120*°, B) → I_2
  241. Segment(P', I_2) → l_1
  242. Rotate(Q, -120*°, B) → Q'
  243. Rotate(F''_1, -120*°, B) → J_2
  244. Segment(Q', J_2) → m_1
  245. Rotate(R, -120*°, B) → R'
  246. Rotate(G''_1, -120*°, B) → K_2
  247. Segment(R', K_2) → n_1
  248. Rotate(S, -120*°, B) → S'
  249. Rotate(H''_1, -120*°, B) → L_2
  250. Segment(S', L_2) → p_1
  251. Rotate(T, -120*°, B) → T'
  252. Rotate(U, -120*°, B) → U'
  253. Segment(T', U') → i'''
  254. Rotate(C'_2, -120*°, B) → M_2
  255. Rotate(J'_3, -120*°, B) → N_2
  256. Segment(M_2, N_2) → q_1
  257. Rotate(J'_4, -120*°, B) → O_2
  258. Rotate(K'_3, -120*°, B) → P_2
  259. Segment(O_2, P_2) → r_1
  260. Rotate(K'_4, -120*°, B) → Q_2
  261. Rotate(I'_2, -120*°, B) → R_2
  262. Segment(Q_2, R_2) → s_1
  263. Rotate(C'', -120*°, B) → C'''
  264. Rotate(J''_1, -120*°, B) → S_2
  265. Segment(C''', S_2) → t_1
  266. Rotate(V, -120*°, B) → V'
  267. Rotate(K''_1, -120*°, B) → T_2
  268. Segment(V', T_2) → k_2
  269. Rotate(W, -120*°, B) → W'
  270. Rotate(I'', -120*°, B) → I'''
  271. Segment(W', I''') → l'''
  272. Rotate(A', -120*°, B) → A''_2
  273. Rotate(B', -120*°, B) → B''_1
  274. Rotate(L, -120*°, B) → L'_1
  275. Rotate(A'', -120*°, B) → A'''_1
  276. Rotate(M, -120*°, B) → M'_1
  277. Rotate(N, -120*°, B) → N'_1
  278. Rotate(A''_1, -120*°, B) → U_2
  279. Rotate(B'', -120*°, B) → B'''
  280. Rotate(L', -120*°, B) → L''
  281. Rotate(A''', -120*°, B) → V_2
  282. Rotate(M', -120*°, B) → M''
  283. Rotate(N', -120*°, B) → N''
  284. Rotate(F, -120*°, C) → F'_8
  285. Rotate(E, -120*°, C) → E'_8
  286. Rotate(D, -120*°, C) → D'_8
  287. Rotate(A, -120*°, C) → A'_6
  288. Rotate(J', -120*°, C) → J''_4
  289. Rotate(K', -120*°, C) → K''_4
  290. Rotate(I, -120*°, C) → I'_5
  291. Rotate(K, -120*°, C) → K'_8
  292. Rotate(J, -120*°, C) → J'_8
  293. Rotate(C, -120*°, C) → C'_5
  294. Rotate(D', -120*°, C) → D''_4
  295. Rotate(E', -120*°, C) → E''_4
  296. Rotate(F', -120*°, C) → F''_4
  297. Rotate(G', -120*°, C) → G''_4
  298. Rotate(H', -120*°, C) → H''_4
  299. Rotate(B, -120*°, C) → B'_6
  300. Rotate(H, -120*°, C) → H'_8
  301. Rotate(G, -120*°, C) → G'_8
  302. Polygon(F'_8, E'_8, D''_4, E''_4, F''_4, G''_4, H''_4, B'_6, H'_8, G'_8, D'_8, A'_6, J''_4, K''_4, I'_5, K'_8, J'_8, C'_5) → poly2'_2, f'_8, c'_5, d''_4, e''_4, f''_4, g''_4, h''_4, b'_6, h'_8, g'_8, e'_8, d'_8, a'_6, j''_4, k''_4, i'_5, k'_8, j'_8
  303. Rotate(F'_2, -120*°, C) → W_2
  304. Rotate(E'_2, -120*°, C) → Z_2
  305. Rotate(D'_2, -120*°, C) → A_3
  306. Rotate(A'_2, -120*°, C) → B_3
  307. Rotate(J'', -120*°, C) → J'''_1
  308. Rotate(K'', -120*°, C) → K'''_1
  309. Rotate(I'_1, -120*°, C) → C_3
  310. Rotate(K'_2, -120*°, C) → D_3
  311. Rotate(J'_2, -120*°, C) → E_3
  312. Rotate(C'_1, -120*°, C) → F_3
  313. Rotate(D'', -120*°, C) → D'''_1
  314. Rotate(E'', -120*°, C) → E'''_1
  315. Rotate(F'', -120*°, C) → F'''_1
  316. Rotate(G'', -120*°, C) → G'''_1
  317. Rotate(H'', -120*°, C) → H'''_1
  318. Rotate(B'_2, -120*°, C) → G_3
  319. Rotate(H'_2, -120*°, C) → H_3
  320. Rotate(G'_2, -120*°, C) → I_3
  321. Polygon(W_2, Z_2, D'''_1, E'''_1, F'''_1, G'''_1, H'''_1, G_3, H_3, I_3, A_3, B_3, J'''_1, K'''_1, C_3, D_3, E_3, F_3) → poly2''_1, w_2, f_3, d'''_1, e'''_1, f'''_1, g'''_1, h'''_1, g_3, h_3, i_3, z_2, a_3, b_3, j'''_1, k'''_1, c_3, d_3, e_3
  322. Rotate(F'_5, -120*°, C) → J_3
  323. Rotate(E'_5, -120*°, C) → K_3
  324. Rotate(D'_5, -120*°, C) → L_3
  325. Rotate(A'_4, -120*°, C) → M_3
  326. Rotate(J''_2, -120*°, C) → N_3
  327. Rotate(K''_2, -120*°, C) → O_3
  328. Rotate(I'_3, -120*°, C) → P_3
  329. Rotate(K'_5, -120*°, C) → Q_3
  330. Rotate(J'_5, -120*°, C) → R_3
  331. Rotate(C'_3, -120*°, C) → S_3
  332. Rotate(D''_2, -120*°, C) → T_3
  333. Rotate(E''_2, -120*°, C) → U_3
  334. Rotate(F''_2, -120*°, C) → V_3
  335. Rotate(G''_2, -120*°, C) → W_3
  336. Rotate(H''_2, -120*°, C) → Z_3
  337. Rotate(B'_4, -120*°, C) → A_4
  338. Rotate(H'_5, -120*°, C) → B_4
  339. Rotate(G'_5, -120*°, C) → C_4
  340. Polygon(J_3, K_3, T_3, U_3, V_3, W_3, Z_3, A_4, B_4, C_4, L_3, M_3, N_3, O_3, P_3, Q_3, R_3, S_3) → poly3, j_3, s_3, t_3, u_3, v_3, w_3, z_3, a_4, b_4, c_4, k_3, l_3, m_3, n_3, o_3, p_3, q_3, r_3
  341. Rotate(Z, -120*°, C) → Z'
  342. Rotate(A_1, -120*°, C) → D_4
  343. Rotate(B_1, -120*°, C) → E_4
  344. Rotate(C_1, -120*°, C) → F_4
  345. Rotate(J''', -120*°, C) → G_4
  346. Rotate(K''', -120*°, C) → H_4
  347. Rotate(D_1, -120*°, C) → I_4
  348. Rotate(E_1, -120*°, C) → J_4
  349. Rotate(F_1, -120*°, C) → K_4
  350. Rotate(G_1, -120*°, C) → L_4
  351. Rotate(D''', -120*°, C) → M_4
  352. Rotate(E''', -120*°, C) → N_4
  353. Rotate(F''', -120*°, C) → O_4
  354. Rotate(G''', -120*°, C) → P_4
  355. Rotate(H''', -120*°, C) → Q_4
  356. Rotate(H_1, -120*°, C) → R_4
  357. Rotate(I_1, -120*°, C) → S_4
  358. Rotate(J_1, -120*°, C) → T_4
  359. Polygon(Z', D_4, M_4, N_4, O_4, P_4, Q_4, R_4, S_4, T_4, E_4, F_4, G_4, H_4, I_4, J_4, K_4, L_4) → poly2''', z', l_4, m_4, n_4, o_4, p_4, q_4, r_4, s_4, t_4, d_4, e_4, f_4, g_4, h_4, i_4, j_4, k_4
  360. Rotate(A, -120*°, C) → A'_7
  361. Rotate(D, -120*°, C) → D'_9
  362. Segment(A'_7, D'_9) → d'_6
  363. Rotate(D, -120*°, C) → D'_{10}
  364. Rotate(E, -120*°, C) → E'_9
  365. Segment(D'_{10}, E'_9) → e'_6
  366. Rotate(E, -120*°, C) → E'_{10}
  367. Rotate(F, -120*°, C) → F'_9
  368. Segment(E'_{10}, F'_9) → f'_6
  369. Rotate(F, -120*°, C) → F'_{10}
  370. Rotate(G, -120*°, C) → G'_9
  371. Segment(F'_{10}, G'_9) → g'_6
  372. Rotate(G, -120*°, C) → G'_{10}
  373. Rotate(H, -120*°, C) → H'_9
  374. Segment(G'_{10}, H'_9) → h'_6
  375. Rotate(H, -120*°, C) → H'_{10}
  376. Rotate(B, -120*°, C) → B'_7
  377. Segment(H'_{10}, B'_7) → i'_6
  378. Rotate(A'_1, -120*°, C) → U_4
  379. Rotate(D', -120*°, C) → D''_5
  380. Segment(U_4, D''_5) → d''_5
  381. Rotate(D'_1, -120*°, C) → V_4
  382. Rotate(E', -120*°, C) → E''_5
  383. Segment(V_4, E''_5) → e''_5
  384. Rotate(E'_1, -120*°, C) → W_4
  385. Rotate(F', -120*°, C) → F''_5
  386. Segment(W_4, F''_5) → f''_5
  387. Rotate(F'_1, -120*°, C) → Z_4
  388. Rotate(G', -120*°, C) → G''_5
  389. Segment(Z_4, G''_5) → g''_5
  390. Rotate(G'_1, -120*°, C) → A_5
  391. Rotate(H', -120*°, C) → H''_5
  392. Segment(A_5, H''_5) → h''_5
  393. Rotate(H'_1, -120*°, C) → B_5
  394. Rotate(B'_1, -120*°, C) → C_5
  395. Segment(B_5, C_5) → i''_2
  396. Rotate(C, -120*°, C) → C'_6
  397. Rotate(J, -120*°, C) → J'_9
  398. Segment(C'_6, J'_9) → j'_6
  399. Rotate(J, -120*°, C) → J'_{10}
  400. Rotate(K, -120*°, C) → K'_9
  401. Segment(J'_{10}, K'_9) → k'_6
  402. Rotate(K, -120*°, C) → K'_{10}
  403. Rotate(I, -120*°, C) → I'_6
  404. Segment(K'_{10}, I'_6) → l'_3
  405. Rotate(C', -120*°, C) → C''_2
  406. Rotate(J', -120*°, C) → J''_5
  407. Segment(C''_2, J''_5) → j''_5
  408. Rotate(J'_1, -120*°, C) → D_5
  409. Rotate(K', -120*°, C) → K''_5
  410. Segment(D_5, K''_5) → k''_5
  411. Rotate(K'_1, -120*°, C) → E_5
  412. Rotate(I', -120*°, C) → I''_2
  413. Segment(E_5, I''_2) → l''_2
  414. Rotate(A'_3, -120*°, C) → F_5
  415. Rotate(D'_3, -120*°, C) → G_5
  416. Segment(F_5, G_5) → l_2
  417. Rotate(D'_4, -120*°, C) → H_5
  418. Rotate(E'_3, -120*°, C) → I_5
  419. Segment(H_5, I_5) → m_2
  420. Rotate(E'_4, -120*°, C) → J_5
  421. Rotate(F'_3, -120*°, C) → K_5
  422. Segment(J_5, K_5) → n_2
  423. Rotate(F'_4, -120*°, C) → L_5
  424. Rotate(G'_3, -120*°, C) → M_5
  425. Segment(L_5, M_5) → p_2
  426. Rotate(G'_4, -120*°, C) → N_5
  427. Rotate(H'_3, -120*°, C) → O_5
  428. Segment(N_5, O_5) → q_2
  429. Rotate(H'_4, -120*°, C) → P_5
  430. Rotate(B'_3, -120*°, C) → Q_5
  431. Segment(P_5, Q_5) → r_2
  432. Rotate(O, -120*°, C) → O'_1
  433. Rotate(D''_1, -120*°, C) → R_5
  434. Segment(O'_1, R_5) → s_2
  435. Rotate(P, -120*°, C) → P'_1
  436. Rotate(E''_1, -120*°, C) → S_5
  437. Segment(P'_1, S_5) → t_2
  438. Rotate(Q, -120*°, C) → Q'_1
  439. Rotate(F''_1, -120*°, C) → T_5
  440. Segment(Q'_1, T_5) → a_5
  441. Rotate(R, -120*°, C) → R'_1
  442. Rotate(G''_1, -120*°, C) → U_5
  443. Segment(R'_1, U_5) → b_5
  444. Rotate(S, -120*°, C) → S'_1
  445. Rotate(H''_1, -120*°, C) → V_5
  446. Segment(S'_1, V_5) → c_5
  447. Rotate(T, -120*°, C) → T'_1
  448. Rotate(U, -120*°, C) → U'_1
  449. Segment(T'_1, U'_1) → i'''_1
  450. Rotate(C'_2, -120*°, C) → W_5
  451. Rotate(J'_3, -120*°, C) → Z_5
  452. Segment(W_5, Z_5) → d_5
  453. Rotate(J'_4, -120*°, C) → A_6
  454. Rotate(K'_3, -120*°, C) → B_6
  455. Segment(A_6, B_6) → e_5
  456. Rotate(K'_4, -120*°, C) → C_6
  457. Rotate(I'_2, -120*°, C) → D_6
  458. Segment(C_6, D_6) → f_5
  459. Rotate(C'', -120*°, C) → C'''_1
  460. Rotate(J''_1, -120*°, C) → E_6
  461. Segment(C'''_1, E_6) → g_5
  462. Rotate(V, -120*°, C) → V'_1
  463. Rotate(K''_1, -120*°, C) → F_6
  464. Segment(V'_1, F_6) → h_5
  465. Rotate(W, -120*°, C) → W'_1
  466. Rotate(I'', -120*°, C) → I'''_1
  467. Segment(W'_1, I'''_1) → l'''_1
  468. Rotate(A'_5, -120*°, C) → G_6
  469. Rotate(D'_6, -120*°, C) → H_6
  470. Segment(G_6, H_6) → i_5
  471. Rotate(D'_7, -120*°, C) → I_6
  472. Rotate(E'_6, -120*°, C) → J_6
  473. Segment(I_6, J_6) → j_5
  474. Rotate(E'_7, -120*°, C) → K_6
  475. Rotate(F'_6, -120*°, C) → L_6
  476. Segment(K_6, L_6) → k_5
  477. Rotate(F'_7, -120*°, C) → M_6
  478. Rotate(G'_6, -120*°, C) → N_6
  479. Segment(M_6, N_6) → l_5
  480. Rotate(G'_7, -120*°, C) → O_6
  481. Rotate(H'_6, -120*°, C) → P_6
  482. Segment(O_6, P_6) → m_5
  483. Rotate(H'_7, -120*°, C) → Q_6
  484. Rotate(B'_5, -120*°, C) → R_6
  485. Segment(Q_6, R_6) → n_5
  486. Rotate(K_1, -120*°, C) → S_6
  487. Rotate(D''_3, -120*°, C) → T_6
  488. Segment(S_6, T_6) → p_5
  489. Rotate(L_1, -120*°, C) → U_6
  490. Rotate(E''_3, -120*°, C) → V_6
  491. Segment(U_6, V_6) → q_5
  492. Rotate(M_1, -120*°, C) → W_6
  493. Rotate(F''_3, -120*°, C) → Z_6
  494. Segment(W_6, Z_6) → r_5
  495. Rotate(N_1, -120*°, C) → A_7
  496. Rotate(G''_3, -120*°, C) → B_7
  497. Segment(A_7, B_7) → s_5
  498. Rotate(O_1, -120*°, C) → C_7
  499. Rotate(H''_3, -120*°, C) → D_7
  500. Segment(C_7, D_7) → t_5
  501. Rotate(P_1, -120*°, C) → E_7
  502. Rotate(Q_1, -120*°, C) → F_7
  503. Segment(E_7, F_7) → a_6
  504. Rotate(C'_4, -120*°, C) → G_7
  505. Rotate(J'_6, -120*°, C) → H_7
  506. Segment(G_7, H_7) → b_6
  507. Rotate(J'_7, -120*°, C) → I_7
  508. Rotate(K'_6, -120*°, C) → J_7
  509. Segment(I_7, J_7) → c_6
  510. Rotate(K'_7, -120*°, C) → K_7
  511. Rotate(I'_4, -120*°, C) → L_7
  512. Segment(K_7, L_7) → d_6
  513. Rotate(C''_1, -120*°, C) → M_7
  514. Rotate(J''_3, -120*°, C) → N_7
  515. Segment(M_7, N_7) → e_6
  516. Rotate(R_1, -120*°, C) → O_7
  517. Rotate(K''_3, -120*°, C) → P_7
  518. Segment(O_7, P_7) → f_6
  519. Rotate(S_1, -120*°, C) → Q_7
  520. Rotate(I''_1, -120*°, C) → R_7
  521. Segment(Q_7, R_7) → g_6
  522. Rotate(T_1, -120*°, C) → S_7
  523. Rotate(U_1, -120*°, C) → T_7
  524. Segment(S_7, T_7) → m'
  525. Rotate(V_1, -120*°, C) → U_7
  526. Rotate(W_1, -120*°, C) → V_7
  527. Segment(U_7, V_7) → n'
  528. Rotate(Z_1, -120*°, C) → W_7
  529. Rotate(A_2, -120*°, C) → Z_7
  530. Segment(W_7, Z_7) → p'
  531. Rotate(B_2, -120*°, C) → A_8
  532. Rotate(C_2, -120*°, C) → B_8
  533. Segment(A_8, B_8) → q'
  534. Rotate(D_2, -120*°, C) → C_8
  535. Rotate(E_2, -120*°, C) → D_8
  536. Segment(C_8, D_8) → r'
  537. Rotate(F_2, -120*°, C) → E_8
  538. Rotate(G_2, -120*°, C) → F_8
  539. Segment(E_8, F_8) → s'
  540. Rotate(O', -120*°, C) → O''
  541. Rotate(H_2, -120*°, C) → G_8
  542. Segment(O'', G_8) → t'
  543. Rotate(P', -120*°, C) → P''
  544. Rotate(I_2, -120*°, C) → H_8
  545. Segment(P'', H_8) → h_6
  546. Rotate(Q', -120*°, C) → Q''
  547. Rotate(J_2, -120*°, C) → I_8
  548. Segment(Q'', I_8) → i_6
  549. Rotate(R', -120*°, C) → R''
  550. Rotate(K_2, -120*°, C) → J_8
  551. Segment(R'', J_8) → j_6
  552. Rotate(S', -120*°, C) → S''
  553. Rotate(L_2, -120*°, C) → K_8
  554. Segment(S'', K_8) → k_6
  555. Rotate(T', -120*°, C) → T''
  556. Rotate(U', -120*°, C) → U''
  557. Segment(T'', U'') → l_6
  558. Rotate(M_2, -120*°, C) → L_8
  559. Rotate(N_2, -120*°, C) → M_8
  560. Segment(L_8, M_8) → m_6
  561. Rotate(O_2, -120*°, C) → N_8
  562. Rotate(P_2, -120*°, C) → O_8
  563. Segment(N_8, O_8) → n_6
  564. Rotate(Q_2, -120*°, C) → P_8
  565. Rotate(R_2, -120*°, C) → Q_8
  566. Segment(P_8, Q_8) → p_6
  567. Rotate(C''', -120*°, C) → R_8
  568. Rotate(S_2, -120*°, C) → S_8
  569. Segment(R_8, S_8) → q_6
  570. Rotate(V', -120*°, C) → V''
  571. Rotate(T_2, -120*°, C) → T_8
  572. Segment(V'', T_8) → r_6
  573. Rotate(W', -120*°, C) → W''
  574. Rotate(I''', -120*°, C) → U_8
  575. Segment(W'', U_8) → s_6
  576. Rotate(A', -120*°, C) → A''_3
  577. Rotate(B', -120*°, C) → B''_2
  578. Rotate(L, -120*°, C) → L'_2
  579. Rotate(A'', -120*°, C) → A'''_2
  580. Rotate(M, -120*°, C) → M'_2
  581. Rotate(N, -120*°, C) → N'_2
  582. Rotate(A''_1, -120*°, C) → V_8
  583. Rotate(B'', -120*°, C) → B'''_1
  584. Rotate(L', -120*°, C) → L''_1
  585. Rotate(A''', -120*°, C) → W_8
  586. Rotate(M', -120*°, C) → M''_1
  587. Rotate(N', -120*°, C) → N''_1
  588. Rotate(A''_2, -120*°, C) → Z_8
  589. Rotate(B''_1, -120*°, C) → A_9
  590. Rotate(L'_1, -120*°, C) → B_9
  591. Rotate(A'''_1, -120*°, C) → C_9
  592. Rotate(M'_1, -120*°, C) → D_9
  593. Rotate(N'_1, -120*°, C) → E_9
  594. Rotate(U_2, -120*°, C) → F_9
  595. Rotate(B''', -120*°, C) → G_9
  596. Rotate(L'', -120*°, C) → L'''
  597. Rotate(V_2, -120*°, C) → H_9
  598. Rotate(M'', -120*°, C) → M'''
  599. Rotate(N'', -120*°, C) → N'''
  600. Rotate(Z, -120*°, B) → Z'_1
  601. Rotate(A_1, -120*°, B) → I_9
  602. Rotate(B_1, -120*°, B) → J_9
  603. Rotate(C_1, -120*°, B) → K_9
  604. Rotate(J''', -120*°, B) → L_9
  605. Rotate(K''', -120*°, B) → M_9
  606. Rotate(D_1, -120*°, B) → N_9
  607. Rotate(E_1, -120*°, B) → O_9
  608. Rotate(F_1, -120*°, B) → P_9
  609. Rotate(G_1, -120*°, B) → Q_9
  610. Rotate(D''', -120*°, B) → R_9
  611. Rotate(E''', -120*°, B) → S_9
  612. Rotate(F''', -120*°, B) → T_9
  613. Rotate(G''', -120*°, B) → U_9
  614. Rotate(H''', -120*°, B) → V_9
  615. Rotate(H_1, -120*°, B) → W_9
  616. Rotate(I_1, -120*°, B) → Z_9
  617. Rotate(J_1, -120*°, B) → A_{10}
  618. Polygon(Z'_1, I_9, R_9, S_9, T_9, U_9, V_9, W_9, Z_9, A_{10}, J_9, K_9, L_9, M_9, N_9, O_9, P_9, Q_9) → poly2'''_1, z'_1, q_9, r_9, s_9, t_9, u_9, v_9, w_9, z_9, a_{10}, i_9, j_9, k_9, l_9, m_9, n_9, o_9, p_9
  619. Rotate(H, -120*°, B) → H'_{11}
  620. Rotate(B, -120*°, B) → B'_8
  621. Segment(H'_{11}, B'_8) → i'_7
  622. Rotate(B, -120*°, B) → B'_9
  623. Rotate(H, -120*°, B) → H'_{12}
  624. Segment(B'_9, H'_{12}) → t_6
  625. Rotate(C'_3, -120*°, B) → G_{10}
  626. Rotate(C'_3, -120*°, B) → H_{10}
  627. Rotate(D''_2, -120*°, B) → I_{10}
  628. Segment(H_{10}, I_{10}) → d_7
  629. Rotate(D''_2, -120*°, B) → J_{10}
  630. Rotate(E''_2, -120*°, B) → K_{10}
  631. Segment(J_{10}, K_{10}) → e_7
  632. Rotate(E''_2, -120*°, B) → L_{10}
  633. Rotate(F''_2, -120*°, B) → M_{10}
  634. Segment(L_{10}, M_{10}) → f_7
  635. Rotate(F''_2, -120*°, B) → N_{10}
  636. Rotate(G''_2, -120*°, B) → O_{10}
  637. Segment(N_{10}, O_{10}) → g_7
  638. Rotate(G''_2, -120*°, B) → P_{10}
  639. Rotate(H''_2, -120*°, B) → Q_{10}
  640. Segment(P_{10}, Q_{10}) → h_7
  641. Rotate(H''_2, -120*°, B) → R_{10}
  642. Rotate(B'_4, -120*°, B) → S_{10}
  643. Segment(R_{10}, S_{10}) → i_7
  644. Rotate(K_1, -120*°, B) → T_{10}
  645. Rotate(D''_3, -120*°, B) → U_{10}
  646. Segment(T_{10}, U_{10}) → j_7
  647. Rotate(L_1, -120*°, B) → V_{10}
  648. Rotate(E''_3, -120*°, B) → W_{10}
  649. Segment(V_{10}, W_{10}) → k_7
  650. Rotate(M_1, -120*°, B) → Z_{10}
  651. Rotate(F''_3, -120*°, B) → A_{11}
  652. Segment(Z_{10}, A_{11}) → l_7
  653. Rotate(N_1, -120*°, B) → B_{11}
  654. Rotate(G''_3, -120*°, B) → C_{11}
  655. Segment(B_{11}, C_{11}) → m_7
  656. Rotate(O_1, -120*°, B) → D_{11}
  657. Rotate(H''_3, -120*°, B) → E_{11}
  658. Segment(D_{11}, E_{11}) → n_7
  659. Rotate(P_1, -120*°, B) → F_{11}
  660. Rotate(Q_1, -120*°, B) → G_{11}
  661. Segment(F_{11}, G_{11}) → p_7
  662. Rotate(C'_4, -120*°, B) → H_{11}
  663. Rotate(T_1, -120*°, B) → N_{11}
  664. Rotate(U_1, -120*°, B) → O_{11}
  665. Segment(N_{11}, O_{11}) → m'_1
  666. Rotate(V_1, -120*°, B) → P_{11}
  667. Rotate(W_1, -120*°, B) → Q_{11}
  668. Segment(P_{11}, Q_{11}) → n'_1
  669. Rotate(Z_1, -120*°, B) → R_{11}
  670. Rotate(A_2, -120*°, B) → S_{11}
  671. Segment(R_{11}, S_{11}) → p'_1
  672. Rotate(B_2, -120*°, B) → T_{11}
  673. Rotate(C_2, -120*°, B) → U_{11}
  674. Segment(T_{11}, U_{11}) → q'_1
  675. Rotate(D_2, -120*°, B) → V_{11}
  676. Rotate(E_2, -120*°, B) → W_{11}
  677. Segment(V_{11}, W_{11}) → r'_1
  678. Rotate(F_2, -120*°, B) → Z_{11}
  679. Rotate(G_2, -120*°, B) → A_{12}
  680. Segment(Z_{11}, A_{12}) → s'_1
  681. Rotate(O', -120*°, B) → O''_1
  682. Rotate(H_2, -120*°, B) → B_{12}
  683. Segment(O''_1, B_{12}) → t'_1
  684. Rotate(P', -120*°, B) → P''_1
  685. Rotate(I_2, -120*°, B) → C_{12}
  686. Segment(P''_1, C_{12}) → t_7
  687. Rotate(Q', -120*°, B) → Q''_1
  688. Rotate(J_2, -120*°, B) → D_{12}
  689. Segment(Q''_1, D_{12}) → a_8
  690. Rotate(R', -120*°, B) → R''_1
  691. Rotate(K_2, -120*°, B) → E_{12}
  692. Segment(R''_1, E_{12}) → b_8
  693. Rotate(S', -120*°, B) → S''_1
  694. Rotate(L_2, -120*°, B) → F_{12}
  695. Segment(S''_1, F_{12}) → c_8
  696. Rotate(T', -120*°, B) → T''_1
  697. Rotate(U', -120*°, B) → U''_1
  698. Segment(T''_1, U''_1) → d_8
  699. Rotate(M_2, -120*°, B) → G_{12}
  700. Rotate(N_2, -120*°, B) → H_{12}
  701. Segment(G_{12}, H_{12}) → e_8
  702. Rotate(O_2, -120*°, B) → I_{12}
  703. Rotate(P_2, -120*°, B) → J_{12}
  704. Segment(I_{12}, J_{12}) → f_8
  705. Rotate(Q_2, -120*°, B) → K_{12}
  706. Rotate(R_2, -120*°, B) → L_{12}
  707. Segment(K_{12}, L_{12}) → g_8
  708. Rotate(C''', -120*°, B) → M_{12}
  709. Rotate(S_2, -120*°, B) → N_{12}
  710. Segment(M_{12}, N_{12}) → h_8
  711. Rotate(V', -120*°, B) → V''_1
  712. Rotate(T_2, -120*°, B) → O_{12}
  713. Segment(V''_1, O_{12}) → i_8
  714. Rotate(W', -120*°, B) → W''_1
  715. Rotate(I''', -120*°, B) → P_{12}
  716. Segment(W''_1, P_{12}) → j_8
  717. Rotate(B', -120*°, B) → B''_3
  718. Rotate(B'_1, -120*°, B) → Q_{12}
  719. Rotate(G'', -120*°, B) → G'''_2
  720. Rotate(B'_2, -120*°, B) → R_{12}
  721. Rotate(B'_3, -120*°, B) → S_{12}
  722. Rotate(G''_1, -120*°, B) → T_{12}
  723. Rotate(S, -120*°, B) → S'_2
  724. Rotate(U, -120*°, B) → U'_2
  725. Rotate(B'', -120*°, B) → B'''_2
  726. Rotate(G'_5, -120*°, B) → U_{12}
  727. Rotate(G'_6, -120*°, B) → V_{12}
  728. Rotate(G'_7, -120*°, B) → W_{12}
  729. Rotate(B'_5, -120*°, B) → Z_{12}
  730. Rotate(A''_2, -120*°, B) → B_{13}
  731. Rotate(B''_1, -120*°, B) → C_{13}
  732. Rotate(U_2, -120*°, B) → D_{13}
  733. Rotate(B''', -120*°, B) → E_{13}
  734. Rotate(L'', -120*°, B) → L'''_1
  735. Rotate(V_2, -120*°, B) → F_{13}
  736. Rotate(M'', -120*°, B) → M'''_1
  737. Rotate(N'', -120*°, B) → N'''_1
  738. Rotate(Z, -60*°, B) → Z'_2
  739. Rotate(A_1, -60*°, B) → B_{10}
  740. Rotate(B_1, -60*°, B) → C_{10}
  741. Rotate(C_1, -60*°, B) → D_{10}
  742. Rotate(J''', -60*°, B) → E_{10}
  743. Rotate(K''', -60*°, B) → F_{10}
  744. Rotate(D_1, -60*°, B) → I_{11}
  745. Rotate(E_1, -60*°, B) → J_{11}
  746. Rotate(F_1, -60*°, B) → K_{11}
  747. Rotate(G_1, -60*°, B) → L_{11}
  748. Rotate(D''', -60*°, B) → M_{11}
  749. Rotate(E''', -60*°, B) → A_{13}
  750. Rotate(F''', -60*°, B) → G_{13}
  751. Rotate(G''', -60*°, B) → H_{13}
  752. Rotate(H''', -60*°, B) → I_{13}
  753. Rotate(H_1, -60*°, B) → J_{13}
  754. Rotate(I_1, -60*°, B) → K_{13}
  755. Rotate(J_1, -60*°, B) → L_{13}
  756. Polygon(Z'_2, B_{10}, M_{11}, A_{13}, G_{13}, H_{13}, I_{13}, J_{13}, K_{13}, L_{13}, C_{10}, D_{10}, E_{10}, F_{10}, I_{11}, J_{11}, K_{11}, L_{11}) → poly2'''_2, z'_2, l_{11}, m_{11}, a_{13}, g_{13}, h_{13}, i_{13}, j_{13}, k_{13}, l_{13}, b_{10}, c_{10}, d_{10}, e_{10}, f_{10}, i_{11}, j_{11}, k_{11}
  757. Rotate(C'_3, -60*°, B) → M_{13}
  758. Rotate(D''_2, -60*°, B) → N_{13}
  759. Segment(M_{13}, N_{13}) → a_7
  760. Rotate(D''_2, -60*°, B) → O_{13}
  761. Rotate(E''_2, -60*°, B) → P_{13}
  762. Segment(O_{13}, P_{13}) → b_7
  763. Rotate(E''_2, -60*°, B) → Q_{13}
  764. Rotate(F''_2, -60*°, B) → R_{13}
  765. Segment(Q_{13}, R_{13}) → c_7
  766. Rotate(F''_2, -60*°, B) → S_{13}
  767. Rotate(G''_2, -60*°, B) → T_{13}
  768. Segment(S_{13}, T_{13}) → q_7
  769. Rotate(G''_2, -60*°, B) → U_{13}
  770. Rotate(H''_2, -60*°, B) → V_{13}
  771. Segment(U_{13}, V_{13}) → r_7
  772. Rotate(H''_2, -60*°, B) → W_{13}
  773. Rotate(B'_4, -60*°, B) → Z_{13}
  774. Segment(W_{13}, Z_{13}) → s_7
  775. Rotate(K_1, -60*°, B) → A_{14}
  776. Rotate(D''_3, -60*°, B) → B_{14}
  777. Segment(A_{14}, B_{14}) → k_8
  778. Rotate(L_1, -60*°, B) → C_{14}
  779. Rotate(E''_3, -60*°, B) → D_{14}
  780. Segment(C_{14}, D_{14}) → l_8
  781. Rotate(M_1, -60*°, B) → E_{14}
  782. Rotate(F''_3, -60*°, B) → F_{14}
  783. Segment(E_{14}, F_{14}) → m_8
  784. Rotate(N_1, -60*°, B) → G_{14}
  785. Rotate(G''_3, -60*°, B) → H_{14}
  786. Segment(G_{14}, H_{14}) → n_8
  787. Rotate(O_1, -60*°, B) → I_{14}
  788. Rotate(H''_3, -60*°, B) → J_{14}
  789. Segment(I_{14}, J_{14}) → p_8
  790. Rotate(P_1, -60*°, B) → K_{14}
  791. Rotate(Q_1, -60*°, B) → L_{14}
  792. Segment(K_{14}, L_{14}) → q_8
  793. Rotate(T_1, -60*°, B) → M_{14}
  794. Rotate(U_1, -60*°, B) → N_{14}
  795. Segment(M_{14}, N_{14}) → m'_2
  796. Rotate(V_1, -60*°, B) → O_{14}
  797. Rotate(W_1, -60*°, B) → P_{14}
  798. Segment(O_{14}, P_{14}) → n'_2
  799. Rotate(Z_1, -60*°, B) → Q_{14}
  800. Rotate(A_2, -60*°, B) → R_{14}
  801. Segment(Q_{14}, R_{14}) → p'_2
  802. Rotate(B_2, -60*°, B) → S_{14}
  803. Rotate(C_2, -60*°, B) → T_{14}
  804. Segment(S_{14}, T_{14}) → q'_2
  805. Rotate(D_2, -60*°, B) → U_{14}
  806. Rotate(E_2, -60*°, B) → V_{14}
  807. Segment(U_{14}, V_{14}) → r'_2
  808. Rotate(F_2, -60*°, B) → W_{14}
  809. Rotate(G_2, -60*°, B) → Z_{14}
  810. Segment(W_{14}, Z_{14}) → s'_2
  811. Rotate(O', -60*°, B) → O''_2
  812. Rotate(H_2, -60*°, B) → A_{15}
  813. Segment(O''_2, A_{15}) → t'_2
  814. Rotate(P', -60*°, B) → P''_2
  815. Rotate(I_2, -60*°, B) → B_{15}
  816. Segment(P''_2, B_{15}) → r_8
  817. Rotate(Q', -60*°, B) → Q''_2
  818. Rotate(J_2, -60*°, B) → C_{15}
  819. Segment(Q''_2, C_{15}) → s_8
  820. Rotate(R', -60*°, B) → R''_2
  821. Rotate(K_2, -60*°, B) → D_{15}
  822. Segment(R''_2, D_{15}) → t_8
  823. Rotate(S', -60*°, B) → S''_2
  824. Rotate(L_2, -60*°, B) → E_{15}
  825. Segment(S''_2, E_{15}) → a_9
  826. Rotate(T', -60*°, B) → T''_2
  827. Rotate(U', -60*°, B) → U''_2
  828. Segment(T''_2, U''_2) → b_9
  829. Rotate(M_2, -60*°, B) → F_{15}
  830. Rotate(N_2, -60*°, B) → G_{15}
  831. Segment(F_{15}, G_{15}) → c_9
  832. Rotate(O_2, -60*°, B) → H_{15}
  833. Rotate(P_2, -60*°, B) → I_{15}
  834. Segment(H_{15}, I_{15}) → d_9
  835. Rotate(Q_2, -60*°, B) → J_{15}
  836. Rotate(R_2, -60*°, B) → K_{15}
  837. Segment(J_{15}, K_{15}) → e_9
  838. Rotate(C''', -60*°, B) → L_{15}
  839. Rotate(S_2, -60*°, B) → M_{15}
  840. Segment(L_{15}, M_{15}) → f_9
  841. Rotate(V', -60*°, B) → V''_2
  842. Rotate(T_2, -60*°, B) → N_{15}
  843. Segment(V''_2, N_{15}) → g_9
  844. Rotate(W', -60*°, B) → W''_2
  845. Rotate(I''', -60*°, B) → O_{15}
  846. Segment(W''_2, O_{15}) → h_9
  847. Rotate(W_9, -60*°, B) → P_{15}
  848. Rotate(Z_9, -60*°, B) → Q_{15}
  849. Segment(P_{15}, Q_{15}) → g_{10}
  850. Rotate(R_{10}, -60*°, B) → R_{15}
  851. Rotate(S_{10}, -60*°, B) → S_{15}
  852. Segment(R_{15}, S_{15}) → h_{10}
  853. Rotate(F_{11}, -60*°, B) → T_{15}
  854. Rotate(G_{11}, -60*°, B) → U_{15}
  855. Segment(T_{15}, U_{15}) → i_{10}
  856. Rotate(Z_{11}, -60*°, B) → V_{15}
  857. Rotate(A_{12}, -60*°, B) → W_{15}
  858. Segment(V_{15}, W_{15}) → j_{10}
  859. Rotate(B', -60*°, B) → B''_4
  860. Rotate(B'_1, -60*°, B) → Z_{15}
  861. Rotate(G'', -60*°, B) → G'''_3
  862. Rotate(B'_2, -60*°, B) → A_{16}
  863. Rotate(B'_3, -60*°, B) → B_{16}
  864. Rotate(G''_1, -60*°, B) → C_{16}
  865. Rotate(S, -60*°, B) → S'_3
  866. Rotate(U, -60*°, B) → U'_3
  867. Rotate(B'', -60*°, B) → B'''_3
  868. Rotate(I'_3, -60*°, B) → D_{16}
  869. Rotate(G'_5, -60*°, B) → E_{16}
  870. Rotate(G'_6, -60*°, B) → F_{16}
  871. Rotate(G'_7, -60*°, B) → G_{16}
  872. Rotate(B'_5, -60*°, B) → H_{16}
  873. Rotate(C'_4, -60*°, B) → I_{16}
  874. Rotate(I'_4, -60*°, B) → J_{16}
  875. Rotate(I''_1, -60*°, B) → K_{16}
  876. Rotate(A''_2, -60*°, B) → L_{16}
  877. Rotate(B''_1, -60*°, B) → M_{16}
  878. Rotate(U_2, -60*°, B) → N_{16}
  879. Rotate(B''', -60*°, B) → O_{16}
  880. Rotate(L'', -60*°, B) → L'''_2
  881. Rotate(V_2, -60*°, B) → P_{16}
  882. Rotate(M'', -60*°, B) → M'''_2
  883. Rotate(N'', -60*°, B) → N'''_2
  884. Rotate(B'_8, -60*°, B) → Q_{16}
  885. Rotate(B'_9, -60*°, B) → R_{16}
  886. Rotate(Q_{10}, -60*°, B) → S_{16}
  887. Rotate(E_{11}, -60*°, B) → T_{16}
  888. Rotate(W_{11}, -60*°, B) → U_{16}
  889. Rotate(U''_1, -60*°, B) → V_{16}
  890. Rotate(B''_3, -60*°, B) → W_{16}
  891. Rotate(Q_{12}, -60*°, B) → Z_{16}
  892. Rotate(G'''_2, -60*°, B) → A_{17}
  893. Rotate(R_{12}, -60*°, B) → B_{17}
  894. Rotate(S_{12}, -60*°, B) → C_{17}
  895. Rotate(T_{12}, -60*°, B) → D_{17}
  896. Rotate(S'_2, -60*°, B) → E_{17}
  897. Rotate(U'_2, -60*°, B) → F_{17}
  898. Rotate(B'''_2, -60*°, B) → G_{17}
  899. Rotate(U_{12}, -60*°, B) → H_{17}
  900. Rotate(V_{12}, -60*°, B) → I_{17}
  901. Rotate(W_{12}, -60*°, B) → J_{17}
  902. Rotate(Z_{12}, -60*°, B) → K_{17}
  903. Rotate(C_{13}, -60*°, B) → L_{17}
  904. Rotate(E_{13}, -60*°, B) → M_{17}
  905. Rotate(F, 120*°, G_1) → F'_{11}
  906. Rotate(E, 120*°, G_1) → E'_{11}
  907. Rotate(D, 120*°, G_1) → D'_{11}
  908. Rotate(A, 120*°, G_1) → A'_8
  909. Rotate(J', 120*°, G_1) → J''_6
  910. Rotate(K', 120*°, G_1) → K''_6
  911. Rotate(I, 120*°, G_1) → I'_7
  912. Rotate(K, 120*°, G_1) → K'_{11}
  913. Rotate(J, 120*°, G_1) → J'_{11}
  914. Rotate(C, 120*°, G_1) → C'_7
  915. Rotate(D', 120*°, G_1) → D''_6
  916. Rotate(E', 120*°, G_1) → E''_6
  917. Rotate(F', 120*°, G_1) → F''_6
  918. Rotate(G', 120*°, G_1) → G''_6
  919. Rotate(H', 120*°, G_1) → H''_6
  920. Rotate(B, 120*°, G_1) → B'_{10}
  921. Rotate(H, 120*°, G_1) → H'_{13}
  922. Rotate(G, 120*°, G_1) → G'_{11}
  923. Polygon(F'_{11}, E'_{11}, D''_6, E''_6, F''_6, G''_6, H''_6, B'_{10}, H'_{13}, G'_{11}, D'_{11}, A'_8, J''_6, K''_6, I'_7, K'_{11}, J'_{11}, C'_7) → poly2'_3, f'_{11}, c'_7, d''_6, e''_6, f''_6, g''_6, h''_6, b'_{10}, h'_{13}, g'_{11}, e'_{11}, d'_{11}, a'_8, j''_6, k''_6, i'_8, k'_{11}, j'_{11}
  924. Rotate(F'_2, 120*°, G_1) → N_{17}
  925. Rotate(E'_2, 120*°, G_1) → O_{17}
  926. Rotate(D'_2, 120*°, G_1) → P_{17}
  927. Rotate(A'_2, 120*°, G_1) → Q_{17}
  928. Rotate(J'', 120*°, G_1) → J'''_2
  929. Rotate(K'', 120*°, G_1) → K'''_2
  930. Rotate(I'_1, 120*°, G_1) → R_{17}
  931. Rotate(K'_2, 120*°, G_1) → S_{17}
  932. Rotate(J'_2, 120*°, G_1) → T_{17}
  933. Rotate(C'_1, 120*°, G_1) → U_{17}
  934. Rotate(D'', 120*°, G_1) → D'''_2
  935. Rotate(E'', 120*°, G_1) → E'''_2
  936. Rotate(F'', 120*°, G_1) → F'''_2
  937. Rotate(G'', 120*°, G_1) → G'''_4
  938. Rotate(H'', 120*°, G_1) → H'''_2
  939. Rotate(B'_2, 120*°, G_1) → V_{17}
  940. Rotate(H'_2, 120*°, G_1) → W_{17}
  941. Rotate(G'_2, 120*°, G_1) → Z_{17}
  942. Polygon(N_{17}, O_{17}, D'''_2, E'''_2, F'''_2, G'''_4, H'''_2, V_{17}, W_{17}, Z_{17}, P_{17}, Q_{17}, J'''_2, K'''_2, R_{17}, S_{17}, T_{17}, U_{17}) → poly2''_2, n_{17}, u_{17}, d'''_2, e'''_2, f'''_2, g'''_4, h'''_2, v_{17}, w_{17}, z_{17}, o_{17}, p_{17}, q_{17}, j'''_2, k'''_2, r_{17}, s_{17}, t_{17}
  943. Rotate(F'_5, 120*°, G_1) → A_{18}
  944. Rotate(E'_5, 120*°, G_1) → B_{18}
  945. Rotate(D'_5, 120*°, G_1) → C_{18}
  946. Rotate(A'_4, 120*°, G_1) → D_{18}
  947. Rotate(J''_2, 120*°, G_1) → E_{18}
  948. Rotate(K''_2, 120*°, G_1) → F_{18}
  949. Rotate(I'_3, 120*°, G_1) → G_{18}
  950. Rotate(K'_5, 120*°, G_1) → H_{18}
  951. Rotate(J'_5, 120*°, G_1) → I_{18}
  952. Rotate(C'_3, 120*°, G_1) → J_{18}
  953. Rotate(D''_2, 120*°, G_1) → K_{18}
  954. Rotate(E''_2, 120*°, G_1) → L_{18}
  955. Rotate(F''_2, 120*°, G_1) → M_{18}
  956. Rotate(G''_2, 120*°, G_1) → N_{18}
  957. Rotate(H''_2, 120*°, G_1) → O_{18}
  958. Rotate(B'_4, 120*°, G_1) → P_{18}
  959. Rotate(H'_5, 120*°, G_1) → Q_{18}
  960. Rotate(G'_5, 120*°, G_1) → R_{18}
  961. Polygon(A_{18}, B_{18}, K_{18}, L_{18}, M_{18}, N_{18}, O_{18}, P_{18}, Q_{18}, R_{18}, C_{18}, D_{18}, E_{18}, F_{18}, G_{18}, H_{18}, I_{18}, J_{18}) → poly4, a_{18}, j_{18}, k_{18}, l_{18}, m_{18}, n_{18}, o_{18}, p_{18}, q_{18}, r_{18}, b_{18}, c_{18}, d_{18}, e_{18}, f_{18}, g_{18}, h_{18}, i_{18}
  962. Rotate(Z, 120*°, G_1) → Z'_3
  963. Rotate(A_1, 120*°, G_1) → S_{18}
  964. Rotate(B_1, 120*°, G_1) → T_{18}
  965. Rotate(C_1, 120*°, G_1) → U_{18}
  966. Rotate(J''', 120*°, G_1) → V_{18}
  967. Rotate(K''', 120*°, G_1) → W_{18}
  968. Rotate(D_1, 120*°, G_1) → Z_{18}
  969. Rotate(E_1, 120*°, G_1) → A_{19}
  970. Rotate(F_1, 120*°, G_1) → B_{19}
  971. Rotate(G_1, 120*°, G_1) → C_{19}
  972. Rotate(D''', 120*°, G_1) → D_{19}
  973. Rotate(E''', 120*°, G_1) → E_{19}
  974. Rotate(F''', 120*°, G_1) → F_{19}
  975. Rotate(G''', 120*°, G_1) → G_{19}
  976. Rotate(H''', 120*°, G_1) → H_{19}
  977. Rotate(H_1, 120*°, G_1) → I_{19}
  978. Rotate(I_1, 120*°, G_1) → J_{19}
  979. Rotate(J_1, 120*°, G_1) → K_{19}
  980. Polygon(Z'_3, S_{18}, D_{19}, E_{19}, F_{19}, G_{19}, H_{19}, I_{19}, J_{19}, K_{19}, T_{18}, U_{18}, V_{18}, W_{18}, Z_{18}, A_{19}, B_{19}, C_{19}) → poly2'''_3, z'_3, c_{19}, d_{19}, e_{19}, f_{19}, g_{19}, h_{19}, i_{19}, j_{19}, k_{19}, s_{18}, t_{18}, u_{18}, v_{18}, w_{18}, z_{18}, a_{19}, b_{19}
  981. Rotate(Z'_1, 120*°, G_1) → L_{19}
  982. Rotate(I_9, 120*°, G_1) → M_{19}
  983. Rotate(J_9, 120*°, G_1) → N_{19}
  984. Rotate(K_9, 120*°, G_1) → O_{19}
  985. Rotate(L_9, 120*°, G_1) → P_{19}
  986. Rotate(M_9, 120*°, G_1) → Q_{19}
  987. Rotate(N_9, 120*°, G_1) → R_{19}
  988. Rotate(O_9, 120*°, G_1) → S_{19}
  989. Rotate(P_9, 120*°, G_1) → T_{19}
  990. Rotate(Q_9, 120*°, G_1) → U_{19}
  991. Rotate(R_9, 120*°, G_1) → V_{19}
  992. Rotate(S_9, 120*°, G_1) → W_{19}
  993. Rotate(T_9, 120*°, G_1) → Z_{19}
  994. Rotate(U_9, 120*°, G_1) → A_{20}
  995. Rotate(V_9, 120*°, G_1) → B_{20}
  996. Rotate(W_9, 120*°, G_1) → C_{20}
  997. Rotate(Z_9, 120*°, G_1) → D_{20}
  998. Rotate(A_{10}, 120*°, G_1) → E_{20}
  999. Polygon(L_{19}, M_{19}, V_{19}, W_{19}, Z_{19}, A_{20}, B_{20}, C_{20}, D_{20}, E_{20}, N_{19}, O_{19}, P_{19}, Q_{19}, R_{19}, S_{19}, T_{19}, U_{19}) → poly5, l_{19}, u_{19}, v_{19}, w_{19}, z_{19}, a_{20}, b_{20}, c_{20}, d_{20}, e_{20}, m_{19}, n_{19}, o_{19}, p_{19}, q_{19}, r_{19}, s_{19}, t_{19}
  1000. Rotate(Z'_2, 120*°, G_1) → F_{20}
  1001. Rotate(B_{10}, 120*°, G_1) → G_{20}
  1002. Rotate(C_{10}, 120*°, G_1) → H_{20}
  1003. Rotate(D_{10}, 120*°, G_1) → I_{20}
  1004. Rotate(E_{10}, 120*°, G_1) → J_{20}
  1005. Rotate(F_{10}, 120*°, G_1) → K_{20}
  1006. Rotate(I_{11}, 120*°, G_1) → L_{20}
  1007. Rotate(J_{11}, 120*°, G_1) → M_{20}
  1008. Rotate(K_{11}, 120*°, G_1) → N_{20}
  1009. Rotate(L_{11}, 120*°, G_1) → O_{20}
  1010. Rotate(M_{11}, 120*°, G_1) → P_{20}
  1011. Rotate(A_{13}, 120*°, G_1) → Q_{20}
  1012. Rotate(G_{13}, 120*°, G_1) → R_{20}
  1013. Rotate(H_{13}, 120*°, G_1) → S_{20}
  1014. Rotate(I_{13}, 120*°, G_1) → T_{20}
  1015. Rotate(J_{13}, 120*°, G_1) → U_{20}
  1016. Rotate(K_{13}, 120*°, G_1) → V_{20}
  1017. Rotate(L_{13}, 120*°, G_1) → W_{20}
  1018. Polygon(F_{20}, G_{20}, P_{20}, Q_{20}, R_{20}, S_{20}, T_{20}, U_{20}, V_{20}, W_{20}, H_{20}, I_{20}, J_{20}, K_{20}, L_{20}, M_{20}, N_{20}, O_{20}) → poly6, f_{20}, o_{20}, p_{20}, q_{20}, r_{20}, s_{20}, t_{20}, u_{20}, v_{20}, w_{20}, g_{20}, h_{20}, i_{20}, j_{20}, k_{20}, l_{20}, m_{20}, n_{20}
  1019. Rotate(A, 120*°, G_1) → A'_9
  1020. Rotate(D, 120*°, G_1) → D'_{12}
  1021. Segment(A'_9, D'_{12}) → d'_7
  1022. Rotate(D, 120*°, G_1) → D'_{13}
  1023. Rotate(E, 120*°, G_1) → E'_{12}
  1024. Segment(D'_{13}, E'_{12}) → e'_7
  1025. Rotate(E, 120*°, G_1) → E'_{13}
  1026. Rotate(F, 120*°, G_1) → F'_{12}
  1027. Segment(E'_{13}, F'_{12}) → f'_7
  1028. Rotate(F, 120*°, G_1) → F'_{13}
  1029. Rotate(G, 120*°, G_1) → G'_{12}
  1030. Segment(F'_{13}, G'_{12}) → g'_7
  1031. Rotate(G, 120*°, G_1) → G'_{13}
  1032. Rotate(H, 120*°, G_1) → H'_{14}
  1033. Segment(G'_{13}, H'_{14}) → h'_7
  1034. Rotate(H, 120*°, G_1) → H'_{15}
  1035. Rotate(B, 120*°, G_1) → B'_{11}
  1036. Segment(H'_{15}, B'_{11}) → i'_9
  1037. Rotate(A'_1, 120*°, G_1) → Z_{20}
  1038. Rotate(D', 120*°, G_1) → D''_7
  1039. Segment(Z_{20}, D''_7) → d''_7
  1040. Rotate(D'_1, 120*°, G_1) → A_{21}
  1041. Rotate(E', 120*°, G_1) → E''_7
  1042. Segment(A_{21}, E''_7) → e''_7
  1043. Rotate(E'_1, 120*°, G_1) → B_{21}
  1044. Rotate(F', 120*°, G_1) → F''_7
  1045. Segment(B_{21}, F''_7) → f''_7
  1046. Rotate(F'_1, 120*°, G_1) → C_{21}
  1047. Rotate(G', 120*°, G_1) → G''_7
  1048. Segment(C_{21}, G''_7) → g''_7
  1049. Rotate(G'_1, 120*°, G_1) → D_{21}
  1050. Rotate(H', 120*°, G_1) → H''_7
  1051. Segment(D_{21}, H''_7) → h''_7
  1052. Rotate(H'_1, 120*°, G_1) → E_{21}
  1053. Rotate(B'_1, 120*°, G_1) → F_{21}
  1054. Segment(E_{21}, F_{21}) → i''_3
  1055. Rotate(C, 120*°, G_1) → C'_8
  1056. Rotate(J, 120*°, G_1) → J'_{12}
  1057. Segment(C'_8, J'_{12}) → j'_7
  1058. Rotate(J, 120*°, G_1) → J'_{13}
  1059. Rotate(K, 120*°, G_1) → K'_{12}
  1060. Segment(J'_{13}, K'_{12}) → k'_7
  1061. Rotate(K, 120*°, G_1) → K'_{13}
  1062. Rotate(I, 120*°, G_1) → I'_8
  1063. Segment(K'_{13}, I'_8) → l'_4
  1064. Rotate(C', 120*°, G_1) → C''_3
  1065. Rotate(J', 120*°, G_1) → J''_7
  1066. Segment(C''_3, J''_7) → j''_7
  1067. Rotate(J'_1, 120*°, G_1) → G_{21}
  1068. Rotate(K', 120*°, G_1) → K''_7
  1069. Segment(G_{21}, K''_7) → k''_7
  1070. Rotate(K'_1, 120*°, G_1) → H_{21}
  1071. Rotate(I', 120*°, G_1) → I''_3
  1072. Segment(H_{21}, I''_3) → l''_3
  1073. Rotate(A'_3, 120*°, G_1) → I_{21}
  1074. Rotate(D'_3, 120*°, G_1) → J_{21}
  1075. Segment(I_{21}, J_{21}) → k_{10}
  1076. Rotate(D'_4, 120*°, G_1) → K_{21}
  1077. Rotate(E'_3, 120*°, G_1) → L_{21}
  1078. Segment(K_{21}, L_{21}) → l_{10}
  1079. Rotate(E'_4, 120*°, G_1) → M_{21}
  1080. Rotate(F'_3, 120*°, G_1) → N_{21}
  1081. Segment(M_{21}, N_{21}) → m_{10}
  1082. Rotate(F'_4, 120*°, G_1) → O_{21}
  1083. Rotate(G'_3, 120*°, G_1) → P_{21}
  1084. Segment(O_{21}, P_{21}) → n_{10}
  1085. Rotate(G'_4, 120*°, G_1) → Q_{21}
  1086. Rotate(H'_3, 120*°, G_1) → R_{21}
  1087. Segment(Q_{21}, R_{21}) → p_{10}
  1088. Rotate(H'_4, 120*°, G_1) → S_{21}
  1089. Rotate(B'_3, 120*°, G_1) → T_{21}
  1090. Segment(S_{21}, T_{21}) → q_{10}
  1091. Rotate(O, 120*°, G_1) → O'_2
  1092. Rotate(D''_1, 120*°, G_1) → U_{21}
  1093. Segment(O'_2, U_{21}) → r_{10}
  1094. Rotate(P, 120*°, G_1) → P'_2
  1095. Rotate(E''_1, 120*°, G_1) → V_{21}
  1096. Segment(P'_2, V_{21}) → s_{10}
  1097. Rotate(Q, 120*°, G_1) → Q'_2
  1098. Rotate(F''_1, 120*°, G_1) → W_{21}
  1099. Segment(Q'_2, W_{21}) → t_{10}
  1100. Rotate(R, 120*°, G_1) → R'_2
  1101. Rotate(G''_1, 120*°, G_1) → Z_{21}
  1102. Segment(R'_2, Z_{21}) → a_{11}
  1103. Rotate(S, 120*°, G_1) → S'_4
  1104. Rotate(H''_1, 120*°, G_1) → A_{22}
  1105. Segment(S'_4, A_{22}) → b_{11}
  1106. Rotate(T, 120*°, G_1) → T'_2
  1107. Rotate(U, 120*°, G_1) → U'_4
  1108. Segment(T'_2, U'_4) → i'''_2
  1109. Rotate(C'_2, 120*°, G_1) → B_{22}
  1110. Rotate(J'_3, 120*°, G_1) → C_{22}
  1111. Segment(B_{22}, C_{22}) → c_{11}
  1112. Rotate(J'_4, 120*°, G_1) → D_{22}
  1113. Rotate(K'_3, 120*°, G_1) → E_{22}
  1114. Segment(D_{22}, E_{22}) → d_{11}
  1115. Rotate(K'_4, 120*°, G_1) → F_{22}
  1116. Rotate(I'_2, 120*°, G_1) → G_{22}
  1117. Segment(F_{22}, G_{22}) → e_{11}
  1118. Rotate(C'', 120*°, G_1) → C'''_2
  1119. Rotate(J''_1, 120*°, G_1) → H_{22}
  1120. Segment(C'''_2, H_{22}) → f_{11}
  1121. Rotate(V, 120*°, G_1) → V'_2
  1122. Rotate(K''_1, 120*°, G_1) → I_{22}
  1123. Segment(V'_2, I_{22}) → g_{11}
  1124. Rotate(W, 120*°, G_1) → W'_2
  1125. Rotate(I'', 120*°, G_1) → I'''_2
  1126. Segment(W'_2, I'''_2) → l'''_2
  1127. Rotate(A'_5, 120*°, G_1) → J_{22}
  1128. Rotate(D'_6, 120*°, G_1) → K_{22}
  1129. Segment(J_{22}, K_{22}) → h_{11}
  1130. Rotate(D'_7, 120*°, G_1) → L_{22}
  1131. Rotate(E'_6, 120*°, G_1) → M_{22}
  1132. Segment(L_{22}, M_{22}) → n_{11}
  1133. Rotate(E'_7, 120*°, G_1) → N_{22}
  1134. Rotate(F'_6, 120*°, G_1) → O_{22}
  1135. Segment(N_{22}, O_{22}) → p_{11}
  1136. Rotate(F'_7, 120*°, G_1) → P_{22}
  1137. Rotate(G'_6, 120*°, G_1) → Q_{22}
  1138. Segment(P_{22}, Q_{22}) → q_{11}
  1139. Rotate(G'_7, 120*°, G_1) → R_{22}
  1140. Rotate(H'_6, 120*°, G_1) → S_{22}
  1141. Segment(R_{22}, S_{22}) → r_{11}
  1142. Rotate(H'_7, 120*°, G_1) → T_{22}
  1143. Rotate(B'_5, 120*°, G_1) → U_{22}
  1144. Segment(T_{22}, U_{22}) → s_{11}
  1145. Rotate(K_1, 120*°, G_1) → V_{22}
  1146. Rotate(D''_3, 120*°, G_1) → W_{22}
  1147. Segment(V_{22}, W_{22}) → t_{11}
  1148. Rotate(L_1, 120*°, G_1) → Z_{22}
  1149. Rotate(E''_3, 120*°, G_1) → A_{23}
  1150. Segment(Z_{22}, A_{23}) → a_{12}
  1151. Rotate(M_1, 120*°, G_1) → B_{23}
  1152. Rotate(F''_3, 120*°, G_1) → C_{23}
  1153. Segment(B_{23}, C_{23}) → b_{12}
  1154. Rotate(N_1, 120*°, G_1) → D_{23}
  1155. Rotate(G''_3, 120*°, G_1) → E_{23}
  1156. Segment(D_{23}, E_{23}) → c_{12}
  1157. Rotate(O_1, 120*°, G_1) → F_{23}
  1158. Rotate(H''_3, 120*°, G_1) → G_{23}
  1159. Segment(F_{23}, G_{23}) → d_{12}
  1160. Rotate(P_1, 120*°, G_1) → H_{23}
  1161. Rotate(Q_1, 120*°, G_1) → I_{23}
  1162. Segment(H_{23}, I_{23}) → e_{12}
  1163. Rotate(C'_4, 120*°, G_1) → J_{23}
  1164. Rotate(J'_6, 120*°, G_1) → K_{23}
  1165. Segment(J_{23}, K_{23}) → f_{12}
  1166. Rotate(J'_7, 120*°, G_1) → L_{23}
  1167. Rotate(K'_6, 120*°, G_1) → M_{23}
  1168. Segment(L_{23}, M_{23}) → g_{12}
  1169. Rotate(K'_7, 120*°, G_1) → N_{23}
  1170. Rotate(I'_4, 120*°, G_1) → O_{23}
  1171. Segment(N_{23}, O_{23}) → h_{12}
  1172. Rotate(C''_1, 120*°, G_1) → P_{23}
  1173. Rotate(J''_3, 120*°, G_1) → Q_{23}
  1174. Segment(P_{23}, Q_{23}) → i_{12}
  1175. Rotate(R_1, 120*°, G_1) → R_{23}
  1176. Rotate(K''_3, 120*°, G_1) → S_{23}
  1177. Segment(R_{23}, S_{23}) → j_{12}
  1178. Rotate(S_1, 120*°, G_1) → T_{23}
  1179. Rotate(I''_1, 120*°, G_1) → U_{23}
  1180. Segment(T_{23}, U_{23}) → k_{12}
  1181. Rotate(T_1, 120*°, G_1) → V_{23}
  1182. Rotate(U_1, 120*°, G_1) → W_{23}
  1183. Segment(V_{23}, W_{23}) → m'_3
  1184. Rotate(V_1, 120*°, G_1) → Z_{23}
  1185. Rotate(W_1, 120*°, G_1) → A_{24}
  1186. Segment(Z_{23}, A_{24}) → n'_3
  1187. Rotate(Z_1, 120*°, G_1) → B_{24}
  1188. Rotate(A_2, 120*°, G_1) → C_{24}
  1189. Segment(B_{24}, C_{24}) → p'_3
  1190. Rotate(B_2, 120*°, G_1) → D_{24}
  1191. Rotate(C_2, 120*°, G_1) → E_{24}
  1192. Segment(D_{24}, E_{24}) → q'_3
  1193. Rotate(D_2, 120*°, G_1) → F_{24}
  1194. Rotate(E_2, 120*°, G_1) → G_{24}
  1195. Segment(F_{24}, G_{24}) → r'_3
  1196. Rotate(F_2, 120*°, G_1) → H_{24}
  1197. Rotate(G_2, 120*°, G_1) → I_{24}
  1198. Segment(H_{24}, I_{24}) → s'_3
  1199. Rotate(O', 120*°, G_1) → O''_3
  1200. Rotate(H_2, 120*°, G_1) → J_{24}
  1201. Segment(O''_3, J_{24}) → t'_3
  1202. Rotate(P', 120*°, G_1) → P''_3
  1203. Rotate(I_2, 120*°, G_1) → K_{24}
  1204. Segment(P''_3, K_{24}) → l_{12}
  1205. Rotate(Q', 120*°, G_1) → Q''_3
  1206. Rotate(J_2, 120*°, G_1) → L_{24}
  1207. Segment(Q''_3, L_{24}) → m_{12}
  1208. Rotate(R', 120*°, G_1) → R''_3
  1209. Rotate(K_2, 120*°, G_1) → M_{24}
  1210. Segment(R''_3, M_{24}) → n_{12}
  1211. Rotate(S', 120*°, G_1) → S''_3
  1212. Rotate(L_2, 120*°, G_1) → N_{24}
  1213. Segment(S''_3, N_{24}) → p_{12}
  1214. Rotate(T', 120*°, G_1) → T''_3
  1215. Rotate(U', 120*°, G_1) → U''_3
  1216. Segment(T''_3, U''_3) → q_{12}
  1217. Rotate(M_2, 120*°, G_1) → O_{24}
  1218. Rotate(N_2, 120*°, G_1) → P_{24}
  1219. Segment(O_{24}, P_{24}) → r_{12}
  1220. Rotate(O_2, 120*°, G_1) → Q_{24}
  1221. Rotate(P_2, 120*°, G_1) → R_{24}
  1222. Segment(Q_{24}, R_{24}) → s_{12}
  1223. Rotate(Q_2, 120*°, G_1) → S_{24}
  1224. Rotate(R_2, 120*°, G_1) → T_{24}
  1225. Segment(S_{24}, T_{24}) → t_{12}
  1226. Rotate(C''', 120*°, G_1) → U_{24}
  1227. Rotate(S_2, 120*°, G_1) → V_{24}
  1228. Segment(U_{24}, V_{24}) → b_{13}
  1229. Rotate(V', 120*°, G_1) → V''_3
  1230. Rotate(T_2, 120*°, G_1) → W_{24}
  1231. Segment(V''_3, W_{24}) → c_{13}
  1232. Rotate(W', 120*°, G_1) → W''_3
  1233. Rotate(I''', 120*°, G_1) → Z_{24}
  1234. Segment(W''_3, Z_{24}) → d_{13}
  1235. Rotate(B_3, 120*°, G_1) → A_{25}
  1236. Rotate(J'''_1, 120*°, G_1) → B_{25}
  1237. Segment(A_{25}, B_{25}) → e_{13}
  1238. Rotate(J'''_1, 120*°, G_1) → C_{25}
  1239. Rotate(K'''_1, 120*°, G_1) → D_{25}
  1240. Segment(C_{25}, D_{25}) → f_{13}
  1241. Rotate(K'''_1, 120*°, G_1) → E_{25}
  1242. Rotate(C_3, 120*°, G_1) → F_{25}
  1243. Segment(E_{25}, F_{25}) → m_{13}
  1244. Rotate(C_3, 120*°, G_1) → G_{25}
  1245. Rotate(D_3, 120*°, G_1) → H_{25}
  1246. Segment(G_{25}, H_{25}) → n_{13}
  1247. Rotate(D_3, 120*°, G_1) → I_{25}
  1248. Rotate(E_3, 120*°, G_1) → J_{25}
  1249. Segment(I_{25}, J_{25}) → p_{13}
  1250. Rotate(E_3, 120*°, G_1) → K_{25}
  1251. Rotate(F_3, 120*°, G_1) → L_{25}
  1252. Segment(K_{25}, L_{25}) → q_{13}
  1253. Rotate(F_3, 120*°, G_1) → M_{25}
  1254. Rotate(M_3, 120*°, G_1) → Z_{25}
  1255. Rotate(M_3, 120*°, G_1) → A_{26}
  1256. Rotate(O'_1, 120*°, G_1) → C_{26}
  1257. Rotate(W_5, 120*°, G_1) → I_{26}
  1258. Rotate(Z_5, 120*°, G_1) → J_{26}
  1259. Segment(I_{26}, J_{26}) → h_{14}
  1260. Rotate(A_6, 120*°, G_1) → K_{26}
  1261. Rotate(B_6, 120*°, G_1) → L_{26}
  1262. Segment(K_{26}, L_{26}) → i_{14}
  1263. Rotate(C_6, 120*°, G_1) → M_{26}
  1264. Rotate(D_6, 120*°, G_1) → N_{26}
  1265. Segment(M_{26}, N_{26}) → j_{14}
  1266. Rotate(C'''_1, 120*°, G_1) → O_{26}
  1267. Rotate(E_6, 120*°, G_1) → P_{26}
  1268. Segment(O_{26}, P_{26}) → k_{14}
  1269. Rotate(V'_1, 120*°, G_1) → Q_{26}
  1270. Rotate(F_6, 120*°, G_1) → R_{26}
  1271. Segment(Q_{26}, R_{26}) → l_{14}
  1272. Rotate(W'_1, 120*°, G_1) → S_{26}
  1273. Rotate(I'''_1, 120*°, G_1) → T_{26}
  1274. Segment(S_{26}, T_{26}) → m_{14}
  1275. Rotate(G_6, 120*°, G_1) → U_{26}
  1276. Rotate(M_7, 120*°, G_1) → C_{27}
  1277. Rotate(H'_{11}, 120*°, G_1) → E_{27}
  1278. Rotate(B'_8, 120*°, G_1) → F_{27}
  1279. Segment(E_{27}, F_{27}) → s_{14}
  1280. Rotate(B'_9, 120*°, G_1) → G_{27}
  1281. Rotate(H'_{12}, 120*°, G_1) → H_{27}
  1282. Segment(G_{27}, H_{27}) → t_{14}
  1283. Rotate(H_{10}, 120*°, G_1) → I_{27}
  1284. Rotate(I_{10}, 120*°, G_1) → J_{27}
  1285. Segment(I_{27}, J_{27}) → a_{15}
  1286. Rotate(J_{10}, 120*°, G_1) → K_{27}
  1287. Rotate(K_{10}, 120*°, G_1) → L_{27}
  1288. Segment(K_{27}, L_{27}) → b_{15}
  1289. Rotate(L_{10}, 120*°, G_1) → M_{27}
  1290. Rotate(M_{10}, 120*°, G_1) → N_{27}
  1291. Segment(M_{27}, N_{27}) → c_{15}
  1292. Rotate(N_{10}, 120*°, G_1) → O_{27}
  1293. Rotate(O_{10}, 120*°, G_1) → P_{27}
  1294. Segment(O_{27}, P_{27}) → d_{15}
  1295. Rotate(P_{10}, 120*°, G_1) → Q_{27}
  1296. Rotate(Q_{10}, 120*°, G_1) → R_{27}
  1297. Segment(Q_{27}, R_{27}) → e_{15}
  1298. Rotate(R_{10}, 120*°, G_1) → S_{27}
  1299. Rotate(S_{10}, 120*°, G_1) → T_{27}
  1300. Segment(S_{27}, T_{27}) → f_{15}
  1301. Rotate(T_{10}, 120*°, G_1) → U_{27}
  1302. Rotate(U_{10}, 120*°, G_1) → V_{27}
  1303. Segment(U_{27}, V_{27}) → g_{15}
  1304. Rotate(V_{10}, 120*°, G_1) → W_{27}
  1305. Rotate(W_{10}, 120*°, G_1) → Z_{27}
  1306. Segment(W_{27}, Z_{27}) → h_{15}
  1307. Rotate(Z_{10}, 120*°, G_1) → A_{28}
  1308. Rotate(A_{11}, 120*°, G_1) → B_{28}
  1309. Segment(A_{28}, B_{28}) → i_{15}
  1310. Rotate(B_{11}, 120*°, G_1) → C_{28}
  1311. Rotate(C_{11}, 120*°, G_1) → D_{28}
  1312. Segment(C_{28}, D_{28}) → j_{15}
  1313. Rotate(D_{11}, 120*°, G_1) → E_{28}
  1314. Rotate(E_{11}, 120*°, G_1) → F_{28}
  1315. Segment(E_{28}, F_{28}) → k_{15}
  1316. Rotate(F_{11}, 120*°, G_1) → G_{28}
  1317. Rotate(G_{11}, 120*°, G_1) → H_{28}
  1318. Segment(G_{28}, H_{28}) → l_{15}
  1319. Rotate(N_{11}, 120*°, G_1) → I_{28}
  1320. Rotate(O_{11}, 120*°, G_1) → J_{28}
  1321. Segment(I_{28}, J_{28}) → m_{15}
  1322. Rotate(P_{11}, 120*°, G_1) → K_{28}
  1323. Rotate(Q_{11}, 120*°, G_1) → L_{28}
  1324. Segment(K_{28}, L_{28}) → n_{15}
  1325. Rotate(R_{11}, 120*°, G_1) → M_{28}
  1326. Rotate(S_{11}, 120*°, G_1) → N_{28}
  1327. Segment(M_{28}, N_{28}) → p_{15}
  1328. Rotate(T_{11}, 120*°, G_1) → O_{28}
  1329. Rotate(U_{11}, 120*°, G_1) → P_{28}
  1330. Segment(O_{28}, P_{28}) → q_{15}
  1331. Rotate(V_{11}, 120*°, G_1) → Q_{28}
  1332. Rotate(W_{11}, 120*°, G_1) → R_{28}
  1333. Segment(Q_{28}, R_{28}) → r_{15}
  1334. Rotate(Z_{11}, 120*°, G_1) → S_{28}
  1335. Rotate(A_{12}, 120*°, G_1) → T_{28}
  1336. Segment(S_{28}, T_{28}) → s_{15}
  1337. Rotate(O''_1, 120*°, G_1) → U_{28}
  1338. Rotate(B_{12}, 120*°, G_1) → V_{28}
  1339. Segment(U_{28}, V_{28}) → t_{15}
  1340. Rotate(P''_1, 120*°, G_1) → W_{28}
  1341. Rotate(C_{12}, 120*°, G_1) → Z_{28}
  1342. Segment(W_{28}, Z_{28}) → a_{16}
  1343. Rotate(Q''_1, 120*°, G_1) → A_{29}
  1344. Rotate(D_{12}, 120*°, G_1) → B_{29}
  1345. Segment(A_{29}, B_{29}) → b_{16}
  1346. Rotate(R''_1, 120*°, G_1) → C_{29}
  1347. Rotate(E_{12}, 120*°, G_1) → D_{29}
  1348. Segment(C_{29}, D_{29}) → c_{16}
  1349. Rotate(S''_1, 120*°, G_1) → E_{29}
  1350. Rotate(F_{12}, 120*°, G_1) → F_{29}
  1351. Segment(E_{29}, F_{29}) → d_{16}
  1352. Rotate(T''_1, 120*°, G_1) → G_{29}
  1353. Rotate(U''_1, 120*°, G_1) → H_{29}
  1354. Segment(G_{29}, H_{29}) → e_{16}
  1355. Rotate(G_{12}, 120*°, G_1) → I_{29}
  1356. Rotate(H_{12}, 120*°, G_1) → J_{29}
  1357. Segment(I_{29}, J_{29}) → f_{16}
  1358. Rotate(I_{12}, 120*°, G_1) → K_{29}
  1359. Rotate(J_{12}, 120*°, G_1) → L_{29}
  1360. Segment(K_{29}, L_{29}) → g_{16}
  1361. Rotate(K_{12}, 120*°, G_1) → M_{29}
  1362. Rotate(L_{12}, 120*°, G_1) → N_{29}
  1363. Segment(M_{29}, N_{29}) → h_{16}
  1364. Rotate(M_{12}, 120*°, G_1) → O_{29}
  1365. Rotate(N_{12}, 120*°, G_1) → P_{29}
  1366. Segment(O_{29}, P_{29}) → i_{16}
  1367. Rotate(V''_1, 120*°, G_1) → Q_{29}
  1368. Rotate(O_{12}, 120*°, G_1) → R_{29}
  1369. Segment(Q_{29}, R_{29}) → j_{16}
  1370. Rotate(W''_1, 120*°, G_1) → S_{29}
  1371. Rotate(P_{12}, 120*°, G_1) → T_{29}
  1372. Segment(S_{29}, T_{29}) → k_{16}
  1373. Rotate(M_{13}, 120*°, G_1) → U_{29}
  1374. Rotate(N_{13}, 120*°, G_1) → V_{29}
  1375. Segment(U_{29}, V_{29}) → l_{16}
  1376. Rotate(O_{13}, 120*°, G_1) → W_{29}
  1377. Rotate(P_{13}, 120*°, G_1) → Z_{29}
  1378. Segment(W_{29}, Z_{29}) → m_{16}
  1379. Rotate(Q_{13}, 120*°, G_1) → A_{30}
  1380. Rotate(R_{13}, 120*°, G_1) → B_{30}
  1381. Segment(A_{30}, B_{30}) → n_{16}
  1382. Rotate(S_{13}, 120*°, G_1) → C_{30}
  1383. Rotate(T_{13}, 120*°, G_1) → D_{30}
  1384. Segment(C_{30}, D_{30}) → p_{16}
  1385. Rotate(U_{13}, 120*°, G_1) → E_{30}
  1386. Rotate(V_{13}, 120*°, G_1) → F_{30}
  1387. Segment(E_{30}, F_{30}) → q_{16}
  1388. Rotate(W_{13}, 120*°, G_1) → G_{30}
  1389. Rotate(Z_{13}, 120*°, G_1) → H_{30}
  1390. Segment(G_{30}, H_{30}) → r_{16}
  1391. Rotate(A_{14}, 120*°, G_1) → I_{30}
  1392. Rotate(B_{14}, 120*°, G_1) → J_{30}
  1393. Segment(I_{30}, J_{30}) → s_{16}
  1394. Rotate(C_{14}, 120*°, G_1) → K_{30}
  1395. Rotate(D_{14}, 120*°, G_1) → L_{30}
  1396. Segment(K_{30}, L_{30}) → t_{16}
  1397. Rotate(E_{14}, 120*°, G_1) → M_{30}
  1398. Rotate(F_{14}, 120*°, G_1) → N_{30}
  1399. Segment(M_{30}, N_{30}) → a_{17}
  1400. Rotate(G_{14}, 120*°, G_1) → O_{30}
  1401. Rotate(H_{14}, 120*°, G_1) → P_{30}
  1402. Segment(O_{30}, P_{30}) → b_{17}
  1403. Rotate(I_{14}, 120*°, G_1) → Q_{30}
  1404. Rotate(J_{14}, 120*°, G_1) → R_{30}
  1405. Segment(Q_{30}, R_{30}) → c_{17}
  1406. Rotate(K_{14}, 120*°, G_1) → S_{30}
  1407. Rotate(L_{14}, 120*°, G_1) → T_{30}
  1408. Segment(S_{30}, T_{30}) → d_{17}
  1409. Rotate(M_{14}, 120*°, G_1) → U_{30}
  1410. Rotate(N_{14}, 120*°, G_1) → V_{30}
  1411. Segment(U_{30}, V_{30}) → e_{17}
  1412. Rotate(O_{14}, 120*°, G_1) → W_{30}
  1413. Rotate(P_{14}, 120*°, G_1) → Z_{30}
  1414. Segment(W_{30}, Z_{30}) → f_{17}
  1415. Rotate(Q_{14}, 120*°, G_1) → A_{31}
  1416. Rotate(R_{14}, 120*°, G_1) → B_{31}
  1417. Segment(A_{31}, B_{31}) → g_{17}
  1418. Rotate(S_{14}, 120*°, G_1) → C_{31}
  1419. Rotate(T_{14}, 120*°, G_1) → D_{31}
  1420. Segment(C_{31}, D_{31}) → h_{17}
  1421. Rotate(U_{14}, 120*°, G_1) → E_{31}
  1422. Rotate(V_{14}, 120*°, G_1) → F_{31}
  1423. Segment(E_{31}, F_{31}) → i_{17}
  1424. Rotate(W_{14}, 120*°, G_1) → G_{31}
  1425. Rotate(Z_{14}, 120*°, G_1) → H_{31}
  1426. Segment(G_{31}, H_{31}) → j_{17}
  1427. Rotate(O''_2, 120*°, G_1) → I_{31}
  1428. Rotate(A_{15}, 120*°, G_1) → J_{31}
  1429. Segment(I_{31}, J_{31}) → k_{17}
  1430. Rotate(P''_2, 120*°, G_1) → K_{31}
  1431. Rotate(B_{15}, 120*°, G_1) → L_{31}
  1432. Segment(K_{31}, L_{31}) → l_{17}
  1433. Rotate(Q''_2, 120*°, G_1) → M_{31}
  1434. Rotate(C_{15}, 120*°, G_1) → N_{31}
  1435. Segment(M_{31}, N_{31}) → m_{17}
  1436. Rotate(R''_2, 120*°, G_1) → O_{31}
  1437. Rotate(D_{15}, 120*°, G_1) → P_{31}
  1438. Segment(O_{31}, P_{31}) → a_{21}
  1439. Rotate(S''_2, 120*°, G_1) → Q_{31}
  1440. Rotate(E_{15}, 120*°, G_1) → R_{31}
  1441. Segment(Q_{31}, R_{31}) → b_{21}
  1442. Rotate(T''_2, 120*°, G_1) → S_{31}
  1443. Rotate(U''_2, 120*°, G_1) → T_{31}
  1444. Segment(S_{31}, T_{31}) → c_{21}
  1445. Rotate(F_{15}, 120*°, G_1) → U_{31}
  1446. Rotate(G_{15}, 120*°, G_1) → V_{31}
  1447. Segment(U_{31}, V_{31}) → d_{21}
  1448. Rotate(H_{15}, 120*°, G_1) → W_{31}
  1449. Rotate(I_{15}, 120*°, G_1) → Z_{31}
  1450. Segment(W_{31}, Z_{31}) → e_{21}
  1451. Rotate(J_{15}, 120*°, G_1) → A_{32}
  1452. Rotate(K_{15}, 120*°, G_1) → B_{32}
  1453. Segment(A_{32}, B_{32}) → f_{21}
  1454. Rotate(L_{15}, 120*°, G_1) → C_{32}
  1455. Rotate(M_{15}, 120*°, G_1) → D_{32}
  1456. Segment(C_{32}, D_{32}) → g_{21}
  1457. Rotate(V''_2, 120*°, G_1) → E_{32}
  1458. Rotate(N_{15}, 120*°, G_1) → F_{32}
  1459. Segment(E_{32}, F_{32}) → h_{21}
  1460. Rotate(W''_2, 120*°, G_1) → G_{32}
  1461. Rotate(O_{15}, 120*°, G_1) → H_{32}
  1462. Segment(G_{32}, H_{32}) → i_{21}
  1463. Rotate(P_{15}, 120*°, G_1) → I_{32}
  1464. Rotate(Q_{15}, 120*°, G_1) → J_{32}
  1465. Segment(I_{32}, J_{32}) → j_{21}
  1466. Rotate(R_{15}, 120*°, G_1) → K_{32}
  1467. Rotate(S_{15}, 120*°, G_1) → L_{32}
  1468. Segment(K_{32}, L_{32}) → k_{21}
  1469. Rotate(T_{15}, 120*°, G_1) → M_{32}
  1470. Rotate(U_{15}, 120*°, G_1) → N_{32}
  1471. Segment(M_{32}, N_{32}) → l_{21}
  1472. Rotate(V_{15}, 120*°, G_1) → O_{32}
  1473. Rotate(W_{15}, 120*°, G_1) → P_{32}
  1474. Segment(O_{32}, P_{32}) → m_{21}
  1475. Rotate(A', 120*°, G_1) → A''_4
  1476. Rotate(B', 120*°, G_1) → B''_5
  1477. Rotate(L, 120*°, G_1) → L'_3
  1478. Rotate(A'', 120*°, G_1) → A'''_3
  1479. Rotate(M, 120*°, G_1) → M'_3
  1480. Rotate(N, 120*°, G_1) → N'_3
  1481. Rotate(A''_1, 120*°, G_1) → Q_{32}
  1482. Rotate(B'', 120*°, G_1) → B'''_4
  1483. Rotate(L', 120*°, G_1) → L''_2
  1484. Rotate(A''', 120*°, G_1) → R_{32}
  1485. Rotate(M', 120*°, G_1) → M''_2
  1486. Rotate(N', 120*°, G_1) → N''_2
  1487. Rotate(A''_2, 120*°, G_1) → S_{32}
  1488. Rotate(B''_1, 120*°, G_1) → T_{32}
  1489. Rotate(L'_1, 120*°, G_1) → U_{32}
  1490. Rotate(A'''_1, 120*°, G_1) → V_{32}
  1491. Rotate(M'_1, 120*°, G_1) → W_{32}
  1492. Rotate(N'_1, 120*°, G_1) → Z_{32}
  1493. Rotate(U_2, 120*°, G_1) → A_{33}
  1494. Rotate(B''', 120*°, G_1) → B_{33}
  1495. Rotate(L'', 120*°, G_1) → L'''_3
  1496. Rotate(V_2, 120*°, G_1) → C_{33}
  1497. Rotate(M'', 120*°, G_1) → M'''_3
  1498. Rotate(N'', 120*°, G_1) → N'''_3
  1499. Rotate(C'_5, 120*°, G_1) → D_{33}
  1500. Rotate(U_4, 120*°, G_1) → E_{33}
  1501. Rotate(C'_6, 120*°, G_1) → F_{33}
  1502. Rotate(F_5, 120*°, G_1) → G_{33}
  1503. Rotate(A''_3, 120*°, G_1) → K_{33}
  1504. Rotate(V_8, 120*°, G_1) → L_{33}
  1505. Rotate(L''_1, 120*°, G_1) → M_{33}
  1506. Rotate(W_8, 120*°, G_1) → N_{33}
  1507. Rotate(B_9, 120*°, G_1) → O_{33}
  1508. Rotate(C_9, 120*°, G_1) → P_{33}
  1509. Rotate(G_{10}, 120*°, G_1) → S_{33}
  1510. Rotate(H_{11}, 120*°, G_1) → T_{33}
  1511. Rotate(B''_3, 120*°, G_1) → U_{33}
  1512. Rotate(Q_{12}, 120*°, G_1) → V_{33}
  1513. Rotate(G'''_2, 120*°, G_1) → W_{33}
  1514. Rotate(R_{12}, 120*°, G_1) → Z_{33}
  1515. Rotate(S_{12}, 120*°, G_1) → A_{34}
  1516. Rotate(T_{12}, 120*°, G_1) → B_{34}
  1517. Rotate(S'_2, 120*°, G_1) → C_{34}
  1518. Rotate(U'_2, 120*°, G_1) → D_{34}
  1519. Rotate(B'''_2, 120*°, G_1) → E_{34}
  1520. Rotate(U_{12}, 120*°, G_1) → F_{34}
  1521. Rotate(V_{12}, 120*°, G_1) → G_{34}
  1522. Rotate(W_{12}, 120*°, G_1) → H_{34}
  1523. Rotate(Z_{12}, 120*°, G_1) → I_{34}
  1524. Rotate(B_{13}, 120*°, G_1) → J_{34}
  1525. Rotate(C_{13}, 120*°, G_1) → K_{34}
  1526. Rotate(D_{13}, 120*°, G_1) → L_{34}
  1527. Rotate(E_{13}, 120*°, G_1) → M_{34}
  1528. Rotate(L'''_1, 120*°, G_1) → N_{34}
  1529. Rotate(F_{13}, 120*°, G_1) → O_{34}
  1530. Rotate(M'''_1, 120*°, G_1) → P_{34}
  1531. Rotate(N'''_1, 120*°, G_1) → Q_{34}
  1532. Rotate(B''_4, 120*°, G_1) → R_{34}
  1533. Rotate(Z_{15}, 120*°, G_1) → S_{34}
  1534. Rotate(G'''_3, 120*°, G_1) → T_{34}
  1535. Rotate(A_{16}, 120*°, G_1) → U_{34}
  1536. Rotate(B_{16}, 120*°, G_1) → V_{34}
  1537. Rotate(C_{16}, 120*°, G_1) → W_{34}
  1538. Rotate(S'_3, 120*°, G_1) → Z_{34}
  1539. Rotate(U'_3, 120*°, G_1) → A_{35}
  1540. Rotate(B'''_3, 120*°, G_1) → B_{35}
  1541. Rotate(D_{16}, 120*°, G_1) → C_{35}
  1542. Rotate(E_{16}, 120*°, G_1) → D_{35}
  1543. Rotate(F_{16}, 120*°, G_1) → E_{35}
  1544. Rotate(G_{16}, 120*°, G_1) → F_{35}
  1545. Rotate(H_{16}, 120*°, G_1) → G_{35}
  1546. Rotate(I_{16}, 120*°, G_1) → H_{35}
  1547. Rotate(J_{16}, 120*°, G_1) → I_{35}
  1548. Rotate(K_{16}, 120*°, G_1) → J_{35}
  1549. Rotate(L_{16}, 120*°, G_1) → K_{35}
  1550. Rotate(M_{16}, 120*°, G_1) → L_{35}
  1551. Rotate(N_{16}, 120*°, G_1) → M_{35}
  1552. Rotate(O_{16}, 120*°, G_1) → N_{35}
  1553. Rotate(L'''_2, 120*°, G_1) → O_{35}
  1554. Rotate(P_{16}, 120*°, G_1) → P_{35}
  1555. Rotate(M'''_2, 120*°, G_1) → Q_{35}
  1556. Rotate(N'''_2, 120*°, G_1) → R_{35}
  1557. Rotate(Q_{16}, 120*°, G_1) → S_{35}
  1558. Rotate(R_{16}, 120*°, G_1) → T_{35}
  1559. Rotate(S_{16}, 120*°, G_1) → U_{35}
  1560. Rotate(T_{16}, 120*°, G_1) → V_{35}
  1561. Rotate(U_{16}, 120*°, G_1) → W_{35}
  1562. Rotate(V_{16}, 120*°, G_1) → Z_{35}
  1563. Rotate(W_{16}, 120*°, G_1) → A_{36}
  1564. Rotate(Z_{16}, 120*°, G_1) → B_{36}
  1565. Rotate(A_{17}, 120*°, G_1) → C_{36}
  1566. Rotate(B_{17}, 120*°, G_1) → D_{36}
  1567. Rotate(C_{17}, 120*°, G_1) → E_{36}
  1568. Rotate(D_{17}, 120*°, G_1) → F_{36}
  1569. Rotate(E_{17}, 120*°, G_1) → G_{36}
  1570. Rotate(F_{17}, 120*°, G_1) → H_{36}
  1571. Rotate(G_{17}, 120*°, G_1) → I_{36}
  1572. Rotate(H_{17}, 120*°, G_1) → J_{36}
  1573. Rotate(I_{17}, 120*°, G_1) → K_{36}
  1574. Rotate(J_{17}, 120*°, G_1) → L_{36}
  1575. Rotate(K_{17}, 120*°, G_1) → M_{36}
  1576. Rotate(L_{17}, 120*°, G_1) → N_{36}
  1577. Rotate(M_{17}, 120*°, G_1) → O_{36}
  1578. Rotate(F'_{11}, -120*°, K_9) → N_{25}
  1579. Rotate(E'_{11}, -120*°, K_9) → O_{25}
  1580. Rotate(D'_{11}, -120*°, K_9) → P_{25}
  1581. Rotate(A'_8, -120*°, K_9) → Q_{25}
  1582. Rotate(J''_6, -120*°, K_9) → R_{25}
  1583. Rotate(K''_6, -120*°, K_9) → S_{25}
  1584. Rotate(I'_7, -120*°, K_9) → T_{25}
  1585. Rotate(K'_{11}, -120*°, K_9) → U_{25}
  1586. Rotate(J'_{11}, -120*°, K_9) → V_{25}
  1587. Rotate(C'_7, -120*°, K_9) → W_{25}
  1588. Rotate(D''_6, -120*°, K_9) → B_{26}
  1589. Rotate(E''_6, -120*°, K_9) → D_{26}
  1590. Rotate(F''_6, -120*°, K_9) → E_{26}
  1591. Rotate(G''_6, -120*°, K_9) → F_{26}
  1592. Rotate(H''_6, -120*°, K_9) → G_{26}
  1593. Rotate(B'_{10}, -120*°, K_9) → H_{26}
  1594. Rotate(H'_{13}, -120*°, K_9) → V_{26}
  1595. Rotate(G'_{11}, -120*°, K_9) → W_{26}
  1596. Polygon(N_{25}, O_{25}, B_{26}, D_{26}, E_{26}, F_{26}, G_{26}, H_{26}, V_{26}, W_{26}, P_{25}, Q_{25}, R_{25}, S_{25}, T_{25}, U_{25}, V_{25}, W_{25}) → poly7, n_{25}, w_{25}, b_{26}, d_{26}, e_{26}, f_{26}, g_{26}, h_{26}, v_{26}, w_{26}, o_{25}, p_{25}, q_{25}, r_{25}, s_{25}, t_{25}, u_{25}, v_{25}
  1597. Rotate(N_{17}, -120*°, K_9) → Z_{26}
  1598. Rotate(O_{17}, -120*°, K_9) → A_{27}
  1599. Rotate(P_{17}, -120*°, K_9) → B_{27}
  1600. Rotate(Q_{17}, -120*°, K_9) → D_{27}
  1601. Rotate(J'''_2, -120*°, K_9) → H_{33}
  1602. Rotate(K'''_2, -120*°, K_9) → I_{33}
  1603. Rotate(R_{17}, -120*°, K_9) → J_{33}
  1604. Rotate(S_{17}, -120*°, K_9) → Q_{33}
  1605. Rotate(T_{17}, -120*°, K_9) → R_{33}
  1606. Rotate(U_{17}, -120*°, K_9) → P_{36}
  1607. Rotate(D'''_2, -120*°, K_9) → Q_{36}
  1608. Rotate(E'''_2, -120*°, K_9) → R_{36}
  1609. Rotate(F'''_2, -120*°, K_9) → S_{36}
  1610. Rotate(G'''_4, -120*°, K_9) → T_{36}
  1611. Rotate(H'''_2, -120*°, K_9) → U_{36}
  1612. Rotate(V_{17}, -120*°, K_9) → V_{36}
  1613. Rotate(W_{17}, -120*°, K_9) → W_{36}
  1614. Rotate(Z_{17}, -120*°, K_9) → Z_{36}
  1615. Polygon(Z_{26}, A_{27}, Q_{36}, R_{36}, S_{36}, T_{36}, U_{36}, V_{36}, W_{36}, Z_{36}, B_{27}, D_{27}, H_{33}, I_{33}, J_{33}, Q_{33}, R_{33}, P_{36}) → poly8, z_{26}, p_{36}, q_{36}, r_{36}, s_{36}, t_{36}, u_{36}, v_{36}, w_{36}, z_{36}, a_{27}, b_{27}, d_{27}, h_{33}, i_{33}, j_{33}, q_{33}, r_{33}
  1616. Rotate(A_{18}, -120*°, K_9) → A_{37}
  1617. Rotate(B_{18}, -120*°, K_9) → B_{37}
  1618. Rotate(C_{18}, -120*°, K_9) → C_{37}
  1619. Rotate(D_{18}, -120*°, K_9) → D_{37}
  1620. Rotate(E_{18}, -120*°, K_9) → E_{37}
  1621. Rotate(F_{18}, -120*°, K_9) → F_{37}
  1622. Rotate(G_{18}, -120*°, K_9) → G_{37}
  1623. Rotate(H_{18}, -120*°, K_9) → H_{37}
  1624. Rotate(I_{18}, -120*°, K_9) → I_{37}
  1625. Rotate(J_{18}, -120*°, K_9) → J_{37}
  1626. Rotate(K_{18}, -120*°, K_9) → K_{37}
  1627. Rotate(L_{18}, -120*°, K_9) → L_{37}
  1628. Rotate(M_{18}, -120*°, K_9) → M_{37}
  1629. Rotate(N_{18}, -120*°, K_9) → N_{37}
  1630. Rotate(O_{18}, -120*°, K_9) → O_{37}
  1631. Rotate(P_{18}, -120*°, K_9) → P_{37}
  1632. Rotate(Q_{18}, -120*°, K_9) → Q_{37}
  1633. Rotate(R_{18}, -120*°, K_9) → R_{37}
  1634. Polygon(A_{37}, B_{37}, K_{37}, L_{37}, M_{37}, N_{37}, O_{37}, P_{37}, Q_{37}, R_{37}, C_{37}, D_{37}, E_{37}, F_{37}, G_{37}, H_{37}, I_{37}, J_{37}) → poly4', a_{37}, j_{37}, k_{37}, l_{37}, m_{37}, n_{37}, o_{37}, p_{37}, q_{37}, r_{37}, b_{37}, c_{37}, d_{37}, e_{37}, f_{37}, g_{37}, h_{37}, i_{37}
  1635. Rotate(Z'_3, -120*°, K_9) → S_{37}
  1636. Rotate(S_{18}, -120*°, K_9) → T_{37}
  1637. Rotate(T_{18}, -120*°, K_9) → U_{37}
  1638. Rotate(U_{18}, -120*°, K_9) → V_{37}
  1639. Rotate(V_{18}, -120*°, K_9) → W_{37}
  1640. Rotate(W_{18}, -120*°, K_9) → Z_{37}
  1641. Rotate(Z_{18}, -120*°, K_9) → A_{38}
  1642. Rotate(A_{19}, -120*°, K_9) → B_{38}
  1643. Rotate(B_{19}, -120*°, K_9) → C_{38}
  1644. Rotate(C_{19}, -120*°, K_9) → D_{38}
  1645. Rotate(D_{19}, -120*°, K_9) → E_{38}
  1646. Rotate(E_{19}, -120*°, K_9) → F_{38}
  1647. Rotate(F_{19}, -120*°, K_9) → G_{38}
  1648. Rotate(G_{19}, -120*°, K_9) → H_{38}
  1649. Rotate(H_{19}, -120*°, K_9) → I_{38}
  1650. Rotate(I_{19}, -120*°, K_9) → J_{38}
  1651. Rotate(J_{19}, -120*°, K_9) → K_{38}
  1652. Rotate(K_{19}, -120*°, K_9) → L_{38}
  1653. Polygon(S_{37}, T_{37}, E_{38}, F_{38}, G_{38}, H_{38}, I_{38}, J_{38}, K_{38}, L_{38}, U_{37}, V_{37}, W_{37}, Z_{37}, A_{38}, B_{38}, C_{38}, D_{38}) → poly9, s_{37}, d_{38}, e_{38}, f_{38}, g_{38}, h_{38}, i_{38}, j_{38}, k_{38}, l_{38}, t_{37}, u_{37}, v_{37}, w_{37}, z_{37}, a_{38}, b_{38}, c_{38}
  1654. Rotate(L_{19}, -120*°, K_9) → M_{38}
  1655. Rotate(M_{19}, -120*°, K_9) → N_{38}
  1656. Rotate(N_{19}, -120*°, K_9) → O_{38}
  1657. Rotate(O_{19}, -120*°, K_9) → P_{38}
  1658. Rotate(P_{19}, -120*°, K_9) → Q_{38}
  1659. Rotate(Q_{19}, -120*°, K_9) → R_{38}
  1660. Rotate(R_{19}, -120*°, K_9) → S_{38}
  1661. Rotate(S_{19}, -120*°, K_9) → T_{38}
  1662. Rotate(T_{19}, -120*°, K_9) → U_{38}
  1663. Rotate(U_{19}, -120*°, K_9) → V_{38}
  1664. Rotate(V_{19}, -120*°, K_9) → W_{38}
  1665. Rotate(W_{19}, -120*°, K_9) → Z_{38}
  1666. Rotate(Z_{19}, -120*°, K_9) → A_{39}
  1667. Rotate(A_{20}, -120*°, K_9) → B_{39}
  1668. Rotate(B_{20}, -120*°, K_9) → C_{39}
  1669. Rotate(C_{20}, -120*°, K_9) → D_{39}
  1670. Rotate(D_{20}, -120*°, K_9) → E_{39}
  1671. Rotate(E_{20}, -120*°, K_9) → F_{39}
  1672. Polygon(M_{38}, N_{38}, W_{38}, Z_{38}, A_{39}, B_{39}, C_{39}, D_{39}, E_{39}, F_{39}, O_{38}, P_{38}, Q_{38}, R_{38}, S_{38}, T_{38}, U_{38}, V_{38}) → poly5', m_{38}, v_{38}, w_{38}, z_{38}, a_{39}, b_{39}, c_{39}, d_{39}, e_{39}, f_{39}, n_{38}, o_{38}, p_{38}, q_{38}, r_{38}, s_{38}, t_{38}, u_{38}
  1673. Rotate(F_{20}, -120*°, K_9) → G_{39}
  1674. Rotate(G_{20}, -120*°, K_9) → H_{39}
  1675. Rotate(H_{20}, -120*°, K_9) → I_{39}
  1676. Rotate(I_{20}, -120*°, K_9) → J_{39}
  1677. Rotate(J_{20}, -120*°, K_9) → K_{39}
  1678. Rotate(K_{20}, -120*°, K_9) → L_{39}
  1679. Rotate(L_{20}, -120*°, K_9) → M_{39}
  1680. Rotate(M_{20}, -120*°, K_9) → N_{39}
  1681. Rotate(N_{20}, -120*°, K_9) → O_{39}
  1682. Rotate(O_{20}, -120*°, K_9) → P_{39}
  1683. Rotate(P_{20}, -120*°, K_9) → Q_{39}
  1684. Rotate(Q_{20}, -120*°, K_9) → R_{39}
  1685. Rotate(R_{20}, -120*°, K_9) → S_{39}
  1686. Rotate(S_{20}, -120*°, K_9) → T_{39}
  1687. Rotate(T_{20}, -120*°, K_9) → U_{39}
  1688. Rotate(U_{20}, -120*°, K_9) → V_{39}
  1689. Rotate(V_{20}, -120*°, K_9) → W_{39}
  1690. Rotate(W_{20}, -120*°, K_9) → Z_{39}
  1691. Polygon(G_{39}, H_{39}, Q_{39}, R_{39}, S_{39}, T_{39}, U_{39}, V_{39}, W_{39}, Z_{39}, I_{39}, J_{39}, K_{39}, L_{39}, M_{39}, N_{39}, O_{39}, P_{39}) → poly6', g_{39}, p_{39}, q_{39}, r_{39}, s_{39}, t_{39}, u_{39}, v_{39}, w_{39}, z_{39}, h_{39}, i_{39}, j_{39}, k_{39}, l_{39}, m_{39}, n_{39}, o_{39}
  1692. Rotate(F_1, -120*°, K_9) → A_{40}
  1693. Rotate(G_1, -120*°, K_9) → B_{40}
  1694. Segment(A_{40}, B_{40}) → r_{13}
  1695. Rotate(G_1, -120*°, K_9) → C_{40}
  1696. Rotate(D''', -120*°, K_9) → D_{40}
  1697. Segment(C_{40}, D_{40}) → s_{13}
  1698. Rotate(D''', -120*°, K_9) → E_{40}
  1699. Rotate(E''', -120*°, K_9) → F_{40}
  1700. Segment(E_{40}, F_{40}) → t_{13}
  1701. Rotate(E''', -120*°, K_9) → G_{40}
  1702. Rotate(F''', -120*°, K_9) → H_{40}
  1703. Segment(G_{40}, H_{40}) → a_{14}
  1704. Rotate(O', -120*°, K_9) → O''_4
  1705. Rotate(H_2, -120*°, K_9) → I_{40}
  1706. Segment(O''_4, I_{40}) → t'_4
  1707. Rotate(P', -120*°, K_9) → P''_4
  1708. Rotate(I_2, -120*°, K_9) → J_{40}
  1709. Segment(P''_4, J_{40}) → b_{14}
  1710. Rotate(Q', -120*°, K_9) → Q''_4
  1711. Rotate(J_2, -120*°, K_9) → K_{40}
  1712. Segment(Q''_4, K_{40}) → c_{14}
  1713. Rotate(M_2, -120*°, K_9) → L_{40}
  1714. Rotate(N_2, -120*°, K_9) → M_{40}
  1715. Segment(L_{40}, M_{40}) → d_{14}
  1716. Rotate(J_9, -120*°, K_9) → N_{40}
  1717. Rotate(K_9, -120*°, K_9) → O_{40}
  1718. Segment(N_{40}, O_{40}) → e_{14}
  1719. Rotate(H_{10}, -120*°, K_9) → P_{40}
  1720. Rotate(I_{10}, -120*°, K_9) → Q_{40}
  1721. Segment(P_{40}, Q_{40}) → f_{14}
  1722. Rotate(T_{10}, -120*°, K_9) → R_{40}
  1723. Rotate(U_{10}, -120*°, K_9) → S_{40}
  1724. Segment(R_{40}, S_{40}) → g_{14}
  1725. Rotate(N_{11}, -120*°, K_9) → T_{40}
  1726. Rotate(O_{11}, -120*°, K_9) → U_{40}
  1727. Segment(T_{40}, U_{40}) → n_{14}
  1728. Rotate(Z'_2, -120*°, K_9) → V_{40}
  1729. Rotate(B_{10}, -120*°, K_9) → W_{40}
  1730. Segment(V_{40}, W_{40}) → p_{14}
  1731. Rotate(B_{10}, -120*°, K_9) → Z_{40}
  1732. Rotate(C_{10}, -120*°, K_9) → A_{41}
  1733. Segment(Z_{40}, A_{41}) → q_{14}
  1734. Rotate(C_{10}, -120*°, K_9) → B_{41}
  1735. Rotate(D_{10}, -120*°, K_9) → C_{41}
  1736. Segment(B_{41}, C_{41}) → r_{14}
  1737. Rotate(D_{10}, -120*°, K_9) → D_{41}
  1738. Rotate(E_{10}, -120*°, K_9) → E_{41}
  1739. Segment(D_{41}, E_{41}) → n_{21}
  1740. Rotate(E_{10}, -120*°, K_9) → F_{41}
  1741. Rotate(F_{10}, -120*°, K_9) → G_{41}
  1742. Segment(F_{41}, G_{41}) → p_{21}
  1743. Rotate(F_{10}, -120*°, K_9) → H_{41}
  1744. Rotate(I_{11}, -120*°, K_9) → I_{41}
  1745. Segment(H_{41}, I_{41}) → q_{21}
  1746. Rotate(I_{11}, -120*°, K_9) → J_{41}
  1747. Rotate(J_{11}, -120*°, K_9) → K_{41}
  1748. Segment(J_{41}, K_{41}) → r_{21}
  1749. Rotate(J_{11}, -120*°, K_9) → L_{41}
  1750. Rotate(K_{11}, -120*°, K_9) → M_{41}
  1751. Segment(L_{41}, M_{41}) → s_{21}
  1752. Rotate(K_{11}, -120*°, K_9) → N_{41}
  1753. Rotate(L_{11}, -120*°, K_9) → O_{41}
  1754. Segment(N_{41}, O_{41}) → t_{21}
  1755. Rotate(L_{11}, -120*°, K_9) → P_{41}
  1756. Rotate(M_{11}, -120*°, K_9) → Q_{41}
  1757. Segment(P_{41}, Q_{41}) → a_{22}
  1758. Rotate(M_{13}, -120*°, K_9) → R_{41}
  1759. Rotate(N_{13}, -120*°, K_9) → S_{41}
  1760. Segment(R_{41}, S_{41}) → b_{22}
  1761. Rotate(O_{13}, -120*°, K_9) → T_{41}
  1762. Rotate(P_{13}, -120*°, K_9) → U_{41}
  1763. Segment(T_{41}, U_{41}) → c_{22}
  1764. Rotate(Q_{13}, -120*°, K_9) → V_{41}
  1765. Rotate(R_{13}, -120*°, K_9) → W_{41}
  1766. Segment(V_{41}, W_{41}) → d_{22}
  1767. Rotate(A_{14}, -120*°, K_9) → Z_{41}
  1768. Rotate(B_{14}, -120*°, K_9) → A_{42}
  1769. Segment(Z_{41}, A_{42}) → e_{22}
  1770. Rotate(C_{14}, -120*°, K_9) → B_{42}
  1771. Rotate(D_{14}, -120*°, K_9) → C_{42}
  1772. Segment(B_{42}, C_{42}) → f_{22}
  1773. Rotate(E_{14}, -120*°, K_9) → D_{42}
  1774. Rotate(F_{14}, -120*°, K_9) → E_{42}
  1775. Segment(D_{42}, E_{42}) → g_{22}
  1776. Rotate(M_{14}, -120*°, K_9) → F_{42}
  1777. Rotate(N_{14}, -120*°, K_9) → G_{42}
  1778. Segment(F_{42}, G_{42}) → h_{22}
  1779. Rotate(O_{14}, -120*°, K_9) → H_{42}
  1780. Rotate(P_{14}, -120*°, K_9) → I_{42}
  1781. Segment(H_{42}, I_{42}) → i_{22}
  1782. Rotate(Q_{14}, -120*°, K_9) → J_{42}
  1783. Rotate(R_{14}, -120*°, K_9) → K_{42}
  1784. Segment(J_{42}, K_{42}) → j_{22}
  1785. Rotate(O''_2, -120*°, K_9) → L_{42}
  1786. Rotate(A_{15}, -120*°, K_9) → M_{42}
  1787. Segment(L_{42}, M_{42}) → k_{22}
  1788. Rotate(F_{15}, -120*°, K_9) → N_{42}
  1789. Rotate(G_{15}, -120*°, K_9) → O_{42}
  1790. Segment(N_{42}, O_{42}) → l_{22}
  1791. Rotate(H_{15}, -120*°, K_9) → P_{42}
  1792. Rotate(I_{15}, -120*°, K_9) → Q_{42}
  1793. Segment(P_{42}, Q_{42}) → m_{22}
  1794. Rotate(J_{15}, -120*°, K_9) → R_{42}
  1795. Rotate(K_{15}, -120*°, K_9) → S_{42}
  1796. Segment(R_{42}, S_{42}) → n_{22}
  1797. Rotate(L_{15}, -120*°, K_9) → T_{42}
  1798. Rotate(M_{15}, -120*°, K_9) → U_{42}
  1799. Segment(T_{42}, U_{42}) → p_{22}
  1800. Rotate(V''_2, -120*°, K_9) → V_{42}
  1801. Rotate(N_{15}, -120*°, K_9) → W_{42}
  1802. Segment(V_{42}, W_{42}) → q_{22}
  1803. Rotate(W''_2, -120*°, K_9) → Z_{42}
  1804. Rotate(O_{15}, -120*°, K_9) → A_{43}
  1805. Segment(Z_{42}, A_{43}) → r_{22}
  1806. Rotate(A'_9, -120*°, K_9) → B_{43}
  1807. Rotate(D'_{12}, -120*°, K_9) → C_{43}
  1808. Segment(B_{43}, C_{43}) → s_{22}
  1809. Rotate(D'_{13}, -120*°, K_9) → D_{43}
  1810. Rotate(E'_{12}, -120*°, K_9) → E_{43}
  1811. Segment(D_{43}, E_{43}) → t_{22}
  1812. Rotate(E'_{13}, -120*°, K_9) → F_{43}
  1813. Rotate(F'_{12}, -120*°, K_9) → G_{43}
  1814. Segment(F_{43}, G_{43}) → a_{23}
  1815. Rotate(F'_{13}, -120*°, K_9) → H_{43}
  1816. Rotate(G'_{12}, -120*°, K_9) → I_{43}
  1817. Segment(H_{43}, I_{43}) → b_{23}
  1818. Rotate(G'_{13}, -120*°, K_9) → J_{43}
  1819. Rotate(H'_{14}, -120*°, K_9) → K_{43}
  1820. Segment(J_{43}, K_{43}) → c_{23}
  1821. Rotate(H'_{15}, -120*°, K_9) → L_{43}
  1822. Rotate(B'_{11}, -120*°, K_9) → M_{43}
  1823. Segment(L_{43}, M_{43}) → d_{23}
  1824. Rotate(Z_{20}, -120*°, K_9) → N_{43}
  1825. Rotate(D''_7, -120*°, K_9) → O_{43}
  1826. Segment(N_{43}, O_{43}) → e_{23}
  1827. Rotate(A_{21}, -120*°, K_9) → P_{43}
  1828. Rotate(E''_7, -120*°, K_9) → Q_{43}
  1829. Segment(P_{43}, Q_{43}) → f_{23}
  1830. Rotate(B_{21}, -120*°, K_9) → R_{43}
  1831. Rotate(F''_7, -120*°, K_9) → S_{43}
  1832. Segment(R_{43}, S_{43}) → g_{23}
  1833. Rotate(C_{21}, -120*°, K_9) → T_{43}
  1834. Rotate(G''_7, -120*°, K_9) → U_{43}
  1835. Segment(T_{43}, U_{43}) → h_{23}
  1836. Rotate(D_{21}, -120*°, K_9) → V_{43}
  1837. Rotate(H''_7, -120*°, K_9) → W_{43}
  1838. Segment(V_{43}, W_{43}) → i_{23}
  1839. Rotate(E_{21}, -120*°, K_9) → Z_{43}
  1840. Rotate(F_{21}, -120*°, K_9) → A_{44}
  1841. Segment(Z_{43}, A_{44}) → j_{23}
  1842. Rotate(C'_8, -120*°, K_9) → B_{44}
  1843. Rotate(J'_{12}, -120*°, K_9) → C_{44}
  1844. Segment(B_{44}, C_{44}) → k_{23}
  1845. Rotate(J'_{13}, -120*°, K_9) → D_{44}
  1846. Rotate(K'_{12}, -120*°, K_9) → E_{44}
  1847. Segment(D_{44}, E_{44}) → l_{23}
  1848. Rotate(K'_{13}, -120*°, K_9) → F_{44}
  1849. Rotate(I'_8, -120*°, K_9) → G_{44}
  1850. Segment(F_{44}, G_{44}) → m_{23}
  1851. Rotate(C''_3, -120*°, K_9) → H_{44}
  1852. Rotate(J''_7, -120*°, K_9) → I_{44}
  1853. Segment(H_{44}, I_{44}) → n_{23}
  1854. Rotate(G_{21}, -120*°, K_9) → J_{44}
  1855. Rotate(K''_7, -120*°, K_9) → K_{44}
  1856. Segment(J_{44}, K_{44}) → p_{23}
  1857. Rotate(H_{21}, -120*°, K_9) → L_{44}
  1858. Rotate(I''_3, -120*°, K_9) → M_{44}
  1859. Segment(L_{44}, M_{44}) → q_{23}
  1860. Rotate(I_{21}, -120*°, K_9) → N_{44}
  1861. Rotate(J_{21}, -120*°, K_9) → O_{44}
  1862. Segment(N_{44}, O_{44}) → r_{23}
  1863. Rotate(K_{21}, -120*°, K_9) → P_{44}
  1864. Rotate(L_{21}, -120*°, K_9) → Q_{44}
  1865. Segment(P_{44}, Q_{44}) → s_{23}
  1866. Rotate(M_{21}, -120*°, K_9) → R_{44}
  1867. Rotate(N_{21}, -120*°, K_9) → S_{44}
  1868. Segment(R_{44}, S_{44}) → t_{23}
  1869. Rotate(O_{21}, -120*°, K_9) → T_{44}
  1870. Rotate(P_{21}, -120*°, K_9) → U_{44}
  1871. Segment(T_{44}, U_{44}) → a_{24}
  1872. Rotate(Q_{21}, -120*°, K_9) → V_{44}
  1873. Rotate(R_{21}, -120*°, K_9) → W_{44}
  1874. Segment(V_{44}, W_{44}) → b_{24}
  1875. Rotate(S_{21}, -120*°, K_9) → Z_{44}
  1876. Rotate(T_{21}, -120*°, K_9) → A_{45}
  1877. Segment(Z_{44}, A_{45}) → c_{24}
  1878. Rotate(O'_2, -120*°, K_9) → B_{45}
  1879. Rotate(U_{21}, -120*°, K_9) → C_{45}
  1880. Segment(B_{45}, C_{45}) → d_{24}
  1881. Rotate(P'_2, -120*°, K_9) → D_{45}
  1882. Rotate(V_{21}, -120*°, K_9) → E_{45}
  1883. Segment(D_{45}, E_{45}) → e_{24}
  1884. Rotate(Q'_2, -120*°, K_9) → F_{45}
  1885. Rotate(W_{21}, -120*°, K_9) → G_{45}
  1886. Segment(F_{45}, G_{45}) → f_{24}
  1887. Rotate(R'_2, -120*°, K_9) → H_{45}
  1888. Rotate(Z_{21}, -120*°, K_9) → I_{45}
  1889. Segment(H_{45}, I_{45}) → g_{24}
  1890. Rotate(S'_4, -120*°, K_9) → J_{45}
  1891. Rotate(A_{22}, -120*°, K_9) → K_{45}
  1892. Segment(J_{45}, K_{45}) → h_{24}
  1893. Rotate(T'_2, -120*°, K_9) → L_{45}
  1894. Rotate(U'_4, -120*°, K_9) → M_{45}
  1895. Segment(L_{45}, M_{45}) → i_{24}
  1896. Rotate(B_{22}, -120*°, K_9) → N_{45}
  1897. Rotate(C_{22}, -120*°, K_9) → O_{45}
  1898. Segment(N_{45}, O_{45}) → j_{24}
  1899. Rotate(D_{22}, -120*°, K_9) → P_{45}
  1900. Rotate(E_{22}, -120*°, K_9) → Q_{45}
  1901. Segment(P_{45}, Q_{45}) → k_{24}
  1902. Rotate(F_{22}, -120*°, K_9) → R_{45}
  1903. Rotate(G_{22}, -120*°, K_9) → S_{45}
  1904. Segment(R_{45}, S_{45}) → l_{24}
  1905. Rotate(C'''_2, -120*°, K_9) → T_{45}
  1906. Rotate(H_{22}, -120*°, K_9) → U_{45}
  1907. Segment(T_{45}, U_{45}) → m_{24}
  1908. Rotate(V'_2, -120*°, K_9) → V_{45}
  1909. Rotate(I_{22}, -120*°, K_9) → W_{45}
  1910. Segment(V_{45}, W_{45}) → n_{24}
  1911. Rotate(W'_2, -120*°, K_9) → Z_{45}
  1912. Rotate(I'''_2, -120*°, K_9) → A_{46}
  1913. Segment(Z_{45}, A_{46}) → p_{24}
  1914. Rotate(J_{22}, -120*°, K_9) → B_{46}
  1915. Rotate(K_{22}, -120*°, K_9) → C_{46}
  1916. Segment(B_{46}, C_{46}) → q_{24}
  1917. Rotate(L_{22}, -120*°, K_9) → D_{46}
  1918. Rotate(M_{22}, -120*°, K_9) → E_{46}
  1919. Segment(D_{46}, E_{46}) → r_{24}
  1920. Rotate(N_{22}, -120*°, K_9) → F_{46}
  1921. Rotate(O_{22}, -120*°, K_9) → G_{46}
  1922. Segment(F_{46}, G_{46}) → s_{24}
  1923. Rotate(P_{22}, -120*°, K_9) → H_{46}
  1924. Rotate(Q_{22}, -120*°, K_9) → I_{46}
  1925. Segment(H_{46}, I_{46}) → t_{24}
  1926. Rotate(R_{22}, -120*°, K_9) → J_{46}
  1927. Rotate(S_{22}, -120*°, K_9) → K_{46}
  1928. Segment(J_{46}, K_{46}) → a_{25}
  1929. Rotate(T_{22}, -120*°, K_9) → L_{46}
  1930. Rotate(U_{22}, -120*°, K_9) → M_{46}
  1931. Segment(L_{46}, M_{46}) → b_{25}
  1932. Rotate(V_{22}, -120*°, K_9) → N_{46}
  1933. Rotate(W_{22}, -120*°, K_9) → O_{46}
  1934. Segment(N_{46}, O_{46}) → c_{25}
  1935. Rotate(Z_{22}, -120*°, K_9) → P_{46}
  1936. Rotate(A_{23}, -120*°, K_9) → Q_{46}
  1937. Segment(P_{46}, Q_{46}) → d_{25}
  1938. Rotate(B_{23}, -120*°, K_9) → R_{46}
  1939. Rotate(C_{23}, -120*°, K_9) → S_{46}
  1940. Segment(R_{46}, S_{46}) → e_{25}
  1941. Rotate(D_{23}, -120*°, K_9) → T_{46}
  1942. Rotate(E_{23}, -120*°, K_9) → U_{46}
  1943. Segment(T_{46}, U_{46}) → f_{25}
  1944. Rotate(F_{23}, -120*°, K_9) → V_{46}
  1945. Rotate(G_{23}, -120*°, K_9) → W_{46}
  1946. Segment(V_{46}, W_{46}) → g_{25}
  1947. Rotate(H_{23}, -120*°, K_9) → Z_{46}
  1948. Rotate(I_{23}, -120*°, K_9) → A_{47}
  1949. Segment(Z_{46}, A_{47}) → h_{25}
  1950. Rotate(J_{23}, -120*°, K_9) → B_{47}
  1951. Rotate(K_{23}, -120*°, K_9) → C_{47}
  1952. Segment(B_{47}, C_{47}) → i_{25}
  1953. Rotate(L_{23}, -120*°, K_9) → D_{47}
  1954. Rotate(M_{23}, -120*°, K_9) → E_{47}
  1955. Segment(D_{47}, E_{47}) → j_{25}
  1956. Rotate(N_{23}, -120*°, K_9) → F_{47}
  1957. Rotate(O_{23}, -120*°, K_9) → G_{47}
  1958. Segment(F_{47}, G_{47}) → k_{25}
  1959. Rotate(P_{23}, -120*°, K_9) → H_{47}
  1960. Rotate(Q_{23}, -120*°, K_9) → I_{47}
  1961. Segment(H_{47}, I_{47}) → l_{25}
  1962. Rotate(R_{23}, -120*°, K_9) → J_{47}
  1963. Rotate(S_{23}, -120*°, K_9) → K_{47}
  1964. Segment(J_{47}, K_{47}) → m_{25}
  1965. Rotate(T_{23}, -120*°, K_9) → L_{47}
  1966. Rotate(U_{23}, -120*°, K_9) → M_{47}
  1967. Segment(L_{47}, M_{47}) → a_{26}
  1968. Rotate(V_{23}, -120*°, K_9) → N_{47}
  1969. Rotate(W_{23}, -120*°, K_9) → O_{47}
  1970. Segment(N_{47}, O_{47}) → c_{26}
  1971. Rotate(Z_{23}, -120*°, K_9) → P_{47}
  1972. Rotate(A_{24}, -120*°, K_9) → Q_{47}
  1973. Segment(P_{47}, Q_{47}) → i_{26}
  1974. Rotate(B_{24}, -120*°, K_9) → R_{47}
  1975. Rotate(C_{24}, -120*°, K_9) → S_{47}
  1976. Segment(R_{47}, S_{47}) → j_{26}
  1977. Rotate(D_{24}, -120*°, K_9) → T_{47}
  1978. Rotate(E_{24}, -120*°, K_9) → U_{47}
  1979. Segment(T_{47}, U_{47}) → k_{26}
  1980. Rotate(F_{24}, -120*°, K_9) → V_{47}
  1981. Rotate(G_{24}, -120*°, K_9) → W_{47}
  1982. Segment(V_{47}, W_{47}) → l_{26}
  1983. Rotate(H_{24}, -120*°, K_9) → Z_{47}
  1984. Rotate(I_{24}, -120*°, K_9) → A_{48}
  1985. Segment(Z_{47}, A_{48}) → m_{26}
  1986. Rotate(O''_3, -120*°, K_9) → B_{48}
  1987. Rotate(J_{24}, -120*°, K_9) → C_{48}
  1988. Segment(B_{48}, C_{48}) → n_{26}
  1989. Rotate(P''_3, -120*°, K_9) → D_{48}
  1990. Rotate(K_{24}, -120*°, K_9) → E_{48}
  1991. Segment(D_{48}, E_{48}) → p_{26}
  1992. Rotate(Q''_3, -120*°, K_9) → F_{48}
  1993. Rotate(L_{24}, -120*°, K_9) → G_{48}
  1994. Segment(F_{48}, G_{48}) → q_{26}
  1995. Rotate(R''_3, -120*°, K_9) → H_{48}
  1996. Rotate(M_{24}, -120*°, K_9) → I_{48}
  1997. Segment(H_{48}, I_{48}) → r_{26}
  1998. Rotate(S''_3, -120*°, K_9) → J_{48}
  1999. Rotate(N_{24}, -120*°, K_9) → K_{48}
  2000. Segment(J_{48}, K_{48}) → s_{26}
  2001. Rotate(T''_3, -120*°, K_9) → L_{48}
  2002. Rotate(U''_3, -120*°, K_9) → M_{48}
  2003. Segment(L_{48}, M_{48}) → t_{26}
  2004. Rotate(O_{24}, -120*°, K_9) → N_{48}
  2005. Rotate(P_{24}, -120*°, K_9) → O_{48}
  2006. Segment(N_{48}, O_{48}) → c_{27}
  2007. Rotate(Q_{24}, -120*°, K_9) → P_{48}
  2008. Rotate(R_{24}, -120*°, K_9) → Q_{48}
  2009. Segment(P_{48}, Q_{48}) → e_{27}
  2010. Rotate(S_{24}, -120*°, K_9) → R_{48}
  2011. Rotate(T_{24}, -120*°, K_9) → S_{48}
  2012. Segment(R_{48}, S_{48}) → f_{27}
  2013. Rotate(U_{24}, -120*°, K_9) → T_{48}
  2014. Rotate(V_{24}, -120*°, K_9) → U_{48}
  2015. Segment(T_{48}, U_{48}) → g_{27}
  2016. Rotate(V''_3, -120*°, K_9) → V_{48}
  2017. Rotate(W_{24}, -120*°, K_9) → W_{48}
  2018. Segment(V_{48}, W_{48}) → h_{27}
  2019. Rotate(W''_3, -120*°, K_9) → Z_{48}
  2020. Rotate(Z_{24}, -120*°, K_9) → A_{49}
  2021. Segment(Z_{48}, A_{49}) → i_{27}
  2022. Rotate(A_{25}, -120*°, K_9) → B_{49}
  2023. Rotate(B_{25}, -120*°, K_9) → C_{49}
  2024. Segment(B_{49}, C_{49}) → j_{27}
  2025. Rotate(C_{25}, -120*°, K_9) → D_{49}
  2026. Rotate(D_{25}, -120*°, K_9) → E_{49}
  2027. Segment(D_{49}, E_{49}) → k_{27}
  2028. Rotate(E_{25}, -120*°, K_9) → F_{49}
  2029. Rotate(F_{25}, -120*°, K_9) → G_{49}
  2030. Segment(F_{49}, G_{49}) → l_{27}
  2031. Rotate(G_{25}, -120*°, K_9) → H_{49}
  2032. Rotate(H_{25}, -120*°, K_9) → I_{49}
  2033. Segment(H_{49}, I_{49}) → m_{27}
  2034. Rotate(I_{25}, -120*°, K_9) → J_{49}
  2035. Rotate(J_{25}, -120*°, K_9) → K_{49}
  2036. Segment(J_{49}, K_{49}) → n_{27}
  2037. Rotate(K_{25}, -120*°, K_9) → L_{49}
  2038. Rotate(L_{25}, -120*°, K_9) → M_{49}
  2039. Segment(L_{49}, M_{49}) → p_{27}
  2040. Rotate(I_{26}, -120*°, K_9) → N_{49}
  2041. Rotate(J_{26}, -120*°, K_9) → O_{49}
  2042. Segment(N_{49}, O_{49}) → q_{27}
  2043. Rotate(K_{26}, -120*°, K_9) → P_{49}
  2044. Rotate(L_{26}, -120*°, K_9) → Q_{49}
  2045. Segment(P_{49}, Q_{49}) → r_{27}
  2046. Rotate(M_{26}, -120*°, K_9) → R_{49}
  2047. Rotate(N_{26}, -120*°, K_9) → S_{49}
  2048. Segment(R_{49}, S_{49}) → s_{27}
  2049. Rotate(O_{26}, -120*°, K_9) → T_{49}
  2050. Rotate(P_{26}, -120*°, K_9) → U_{49}
  2051. Segment(T_{49}, U_{49}) → t_{27}
  2052. Rotate(Q_{26}, -120*°, K_9) → V_{49}
  2053. Rotate(R_{26}, -120*°, K_9) → W_{49}
  2054. Segment(V_{49}, W_{49}) → a_{28}
  2055. Rotate(S_{26}, -120*°, K_9) → Z_{49}
  2056. Rotate(T_{26}, -120*°, K_9) → A_{50}
  2057. Segment(Z_{49}, A_{50}) → b_{28}
  2058. Rotate(E_{27}, -120*°, K_9) → B_{50}
  2059. Rotate(F_{27}, -120*°, K_9) → C_{50}
  2060. Segment(B_{50}, C_{50}) → c_{28}
  2061. Rotate(G_{27}, -120*°, K_9) → D_{50}
  2062. Rotate(H_{27}, -120*°, K_9) → E_{50}
  2063. Segment(D_{50}, E_{50}) → d_{28}
  2064. Rotate(I_{27}, -120*°, K_9) → F_{50}
  2065. Rotate(J_{27}, -120*°, K_9) → G_{50}
  2066. Segment(F_{50}, G_{50}) → e_{28}
  2067. Rotate(K_{27}, -120*°, K_9) → H_{50}
  2068. Rotate(L_{27}, -120*°, K_9) → I_{50}
  2069. Segment(H_{50}, I_{50}) → f_{28}
  2070. Rotate(M_{27}, -120*°, K_9) → J_{50}
  2071. Rotate(N_{27}, -120*°, K_9) → K_{50}
  2072. Segment(J_{50}, K_{50}) → g_{28}
  2073. Rotate(O_{27}, -120*°, K_9) → L_{50}
  2074. Rotate(P_{27}, -120*°, K_9) → M_{50}
  2075. Segment(L_{50}, M_{50}) → h_{28}
  2076. Rotate(Q_{27}, -120*°, K_9) → N_{50}
  2077. Rotate(R_{27}, -120*°, K_9) → O_{50}
  2078. Segment(N_{50}, O_{50}) → i_{28}
  2079. Rotate(S_{27}, -120*°, K_9) → P_{50}
  2080. Rotate(T_{27}, -120*°, K_9) → Q_{50}
  2081. Segment(P_{50}, Q_{50}) → j_{28}
  2082. Rotate(U_{27}, -120*°, K_9) → R_{50}
  2083. Rotate(V_{27}, -120*°, K_9) → S_{50}
  2084. Segment(R_{50}, S_{50}) → k_{28}
  2085. Rotate(W_{27}, -120*°, K_9) → T_{50}
  2086. Rotate(Z_{27}, -120*°, K_9) → U_{50}
  2087. Segment(T_{50}, U_{50}) → l_{28}
  2088. Rotate(A_{28}, -120*°, K_9) → V_{50}
  2089. Rotate(B_{28}, -120*°, K_9) → W_{50}
  2090. Segment(V_{50}, W_{50}) → m_{28}
  2091. Rotate(C_{28}, -120*°, K_9) → Z_{50}
  2092. Rotate(D_{28}, -120*°, K_9) → A_{51}
  2093. Segment(Z_{50}, A_{51}) → n_{28}
  2094. Rotate(E_{28}, -120*°, K_9) → B_{51}
  2095. Rotate(F_{28}, -120*°, K_9) → C_{51}
  2096. Segment(B_{51}, C_{51}) → p_{28}
  2097. Rotate(G_{28}, -120*°, K_9) → D_{51}
  2098. Rotate(H_{28}, -120*°, K_9) → E_{51}
  2099. Segment(D_{51}, E_{51}) → q_{28}
  2100. Rotate(I_{28}, -120*°, K_9) → F_{51}
  2101. Rotate(J_{28}, -120*°, K_9) → G_{51}
  2102. Segment(F_{51}, G_{51}) → r_{28}
  2103. Rotate(K_{28}, -120*°, K_9) → H_{51}
  2104. Rotate(L_{28}, -120*°, K_9) → I_{51}
  2105. Segment(H_{51}, I_{51}) → s_{28}
  2106. Rotate(M_{28}, -120*°, K_9) → J_{51}
  2107. Rotate(N_{28}, -120*°, K_9) → K_{51}
  2108. Segment(J_{51}, K_{51}) → t_{28}
  2109. Rotate(O_{28}, -120*°, K_9) → L_{51}
  2110. Rotate(P_{28}, -120*°, K_9) → M_{51}
  2111. Segment(L_{51}, M_{51}) → a_{29}
  2112. Rotate(Q_{28}, -120*°, K_9) → N_{51}
  2113. Rotate(R_{28}, -120*°, K_9) → O_{51}
  2114. Segment(N_{51}, O_{51}) → b_{29}
  2115. Rotate(S_{28}, -120*°, K_9) → P_{51}
  2116. Rotate(T_{28}, -120*°, K_9) → Q_{51}
  2117. Segment(P_{51}, Q_{51}) → c_{29}
  2118. Rotate(U_{28}, -120*°, K_9) → R_{51}
  2119. Rotate(V_{28}, -120*°, K_9) → S_{51}
  2120. Segment(R_{51}, S_{51}) → d_{29}
  2121. Rotate(W_{28}, -120*°, K_9) → T_{51}
  2122. Rotate(Z_{28}, -120*°, K_9) → U_{51}
  2123. Segment(T_{51}, U_{51}) → e_{29}
  2124. Rotate(A_{29}, -120*°, K_9) → V_{51}
  2125. Rotate(B_{29}, -120*°, K_9) → W_{51}
  2126. Segment(V_{51}, W_{51}) → f_{29}
  2127. Rotate(C_{29}, -120*°, K_9) → Z_{51}
  2128. Rotate(D_{29}, -120*°, K_9) → A_{52}
  2129. Segment(Z_{51}, A_{52}) → g_{29}
  2130. Rotate(E_{29}, -120*°, K_9) → B_{52}
  2131. Rotate(F_{29}, -120*°, K_9) → C_{52}
  2132. Segment(B_{52}, C_{52}) → h_{29}
  2133. Rotate(G_{29}, -120*°, K_9) → D_{52}
  2134. Rotate(H_{29}, -120*°, K_9) → E_{52}
  2135. Segment(D_{52}, E_{52}) → i_{29}
  2136. Rotate(I_{29}, -120*°, K_9) → F_{52}
  2137. Rotate(J_{29}, -120*°, K_9) → G_{52}
  2138. Segment(F_{52}, G_{52}) → j_{29}
  2139. Rotate(K_{29}, -120*°, K_9) → H_{52}
  2140. Rotate(L_{29}, -120*°, K_9) → I_{52}
  2141. Segment(H_{52}, I_{52}) → k_{29}
  2142. Rotate(M_{29}, -120*°, K_9) → J_{52}
  2143. Rotate(N_{29}, -120*°, K_9) → K_{52}
  2144. Segment(J_{52}, K_{52}) → l_{29}
  2145. Rotate(O_{29}, -120*°, K_9) → L_{52}
  2146. Rotate(P_{29}, -120*°, K_9) → M_{52}
  2147. Segment(L_{52}, M_{52}) → m_{29}
  2148. Rotate(Q_{29}, -120*°, K_9) → N_{52}
  2149. Rotate(R_{29}, -120*°, K_9) → O_{52}
  2150. Segment(N_{52}, O_{52}) → n_{29}
  2151. Rotate(S_{29}, -120*°, K_9) → P_{52}
  2152. Rotate(T_{29}, -120*°, K_9) → Q_{52}
  2153. Segment(P_{52}, Q_{52}) → p_{29}
  2154. Rotate(U_{29}, -120*°, K_9) → R_{52}
  2155. Rotate(V_{29}, -120*°, K_9) → S_{52}
  2156. Segment(R_{52}, S_{52}) → q_{29}
  2157. Rotate(W_{29}, -120*°, K_9) → T_{52}
  2158. Rotate(Z_{29}, -120*°, K_9) → U_{52}
  2159. Segment(T_{52}, U_{52}) → r_{29}
  2160. Rotate(A_{30}, -120*°, K_9) → V_{52}
  2161. Rotate(B_{30}, -120*°, K_9) → W_{52}
  2162. Segment(V_{52}, W_{52}) → s_{29}
  2163. Rotate(C_{30}, -120*°, K_9) → Z_{52}
  2164. Rotate(D_{30}, -120*°, K_9) → A_{53}
  2165. Segment(Z_{52}, A_{53}) → t_{29}
  2166. Rotate(E_{30}, -120*°, K_9) → B_{53}
  2167. Rotate(F_{30}, -120*°, K_9) → C_{53}
  2168. Segment(B_{53}, C_{53}) → a_{30}
  2169. Rotate(G_{30}, -120*°, K_9) → D_{53}
  2170. Rotate(H_{30}, -120*°, K_9) → E_{53}
  2171. Segment(D_{53}, E_{53}) → b_{30}
  2172. Rotate(I_{30}, -120*°, K_9) → F_{53}
  2173. Rotate(J_{30}, -120*°, K_9) → G_{53}
  2174. Segment(F_{53}, G_{53}) → c_{30}
  2175. Rotate(K_{30}, -120*°, K_9) → H_{53}
  2176. Rotate(L_{30}, -120*°, K_9) → I_{53}
  2177. Segment(H_{53}, I_{53}) → d_{30}
  2178. Rotate(M_{30}, -120*°, K_9) → J_{53}
  2179. Rotate(N_{30}, -120*°, K_9) → K_{53}
  2180. Segment(J_{53}, K_{53}) → e_{30}
  2181. Rotate(O_{30}, -120*°, K_9) → L_{53}
  2182. Rotate(P_{30}, -120*°, K_9) → M_{53}
  2183. Segment(L_{53}, M_{53}) → f_{30}
  2184. Rotate(Q_{30}, -120*°, K_9) → N_{53}
  2185. Rotate(R_{30}, -120*°, K_9) → O_{53}
  2186. Segment(N_{53}, O_{53}) → g_{30}
  2187. Rotate(S_{30}, -120*°, K_9) → P_{53}
  2188. Rotate(T_{30}, -120*°, K_9) → Q_{53}
  2189. Segment(P_{53}, Q_{53}) → h_{30}
  2190. Rotate(U_{30}, -120*°, K_9) → R_{53}
  2191. Rotate(V_{30}, -120*°, K_9) → S_{53}
  2192. Segment(R_{53}, S_{53}) → i_{30}
  2193. Rotate(W_{30}, -120*°, K_9) → T_{53}
  2194. Rotate(Z_{30}, -120*°, K_9) → U_{53}
  2195. Segment(T_{53}, U_{53}) → j_{30}
  2196. Rotate(A_{31}, -120*°, K_9) → V_{53}
  2197. Rotate(B_{31}, -120*°, K_9) → W_{53}
  2198. Segment(V_{53}, W_{53}) → k_{30}
  2199. Rotate(C_{31}, -120*°, K_9) → Z_{53}
  2200. Rotate(D_{31}, -120*°, K_9) → A_{54}
  2201. Segment(Z_{53}, A_{54}) → l_{30}
  2202. Rotate(E_{31}, -120*°, K_9) → B_{54}
  2203. Rotate(F_{31}, -120*°, K_9) → C_{54}
  2204. Segment(B_{54}, C_{54}) → m_{30}
  2205. Rotate(G_{31}, -120*°, K_9) → D_{54}
  2206. Rotate(H_{31}, -120*°, K_9) → E_{54}
  2207. Segment(D_{54}, E_{54}) → n_{30}
  2208. Rotate(I_{31}, -120*°, K_9) → F_{54}
  2209. Rotate(J_{31}, -120*°, K_9) → G_{54}
  2210. Segment(F_{54}, G_{54}) → p_{30}
  2211. Rotate(K_{31}, -120*°, K_9) → H_{54}
  2212. Rotate(L_{31}, -120*°, K_9) → I_{54}
  2213. Segment(H_{54}, I_{54}) → q_{30}
  2214. Rotate(M_{31}, -120*°, K_9) → J_{54}
  2215. Rotate(N_{31}, -120*°, K_9) → K_{54}
  2216. Segment(J_{54}, K_{54}) → r_{30}
  2217. Rotate(O_{31}, -120*°, K_9) → L_{54}
  2218. Rotate(P_{31}, -120*°, K_9) → M_{54}
  2219. Segment(L_{54}, M_{54}) → s_{30}
  2220. Rotate(Q_{31}, -120*°, K_9) → N_{54}
  2221. Rotate(R_{31}, -120*°, K_9) → O_{54}
  2222. Segment(N_{54}, O_{54}) → t_{30}
  2223. Rotate(S_{31}, -120*°, K_9) → P_{54}
  2224. Rotate(T_{31}, -120*°, K_9) → Q_{54}
  2225. Segment(P_{54}, Q_{54}) → a_{31}
  2226. Rotate(U_{31}, -120*°, K_9) → R_{54}
  2227. Rotate(V_{31}, -120*°, K_9) → S_{54}
  2228. Segment(R_{54}, S_{54}) → b_{31}
  2229. Rotate(W_{31}, -120*°, K_9) → T_{54}
  2230. Rotate(Z_{31}, -120*°, K_9) → U_{54}
  2231. Segment(T_{54}, U_{54}) → c_{31}
  2232. Rotate(A_{32}, -120*°, K_9) → V_{54}
  2233. Rotate(B_{32}, -120*°, K_9) → W_{54}
  2234. Segment(V_{54}, W_{54}) → d_{31}
  2235. Rotate(C_{32}, -120*°, K_9) → Z_{54}
  2236. Rotate(D_{32}, -120*°, K_9) → A_{55}
  2237. Segment(Z_{54}, A_{55}) → e_{31}
  2238. Rotate(E_{32}, -120*°, K_9) → B_{55}
  2239. Rotate(F_{32}, -120*°, K_9) → C_{55}
  2240. Segment(B_{55}, C_{55}) → f_{31}
  2241. Rotate(G_{32}, -120*°, K_9) → D_{55}
  2242. Rotate(H_{32}, -120*°, K_9) → E_{55}
  2243. Segment(D_{55}, E_{55}) → g_{31}
  2244. Rotate(I_{32}, -120*°, K_9) → F_{55}
  2245. Rotate(J_{32}, -120*°, K_9) → G_{55}
  2246. Segment(F_{55}, G_{55}) → h_{31}
  2247. Rotate(K_{32}, -120*°, K_9) → H_{55}
  2248. Rotate(L_{32}, -120*°, K_9) → I_{55}
  2249. Segment(H_{55}, I_{55}) → i_{31}
  2250. Rotate(M_{32}, -120*°, K_9) → J_{55}
  2251. Rotate(N_{32}, -120*°, K_9) → K_{55}
  2252. Segment(J_{55}, K_{55}) → j_{31}
  2253. Rotate(O_{32}, -120*°, K_9) → L_{55}
  2254. Rotate(P_{32}, -120*°, K_9) → M_{55}
  2255. Segment(L_{55}, M_{55}) → k_{31}
  2256. Rotate(R', -120*°, K_9) → R''_4
  2257. Rotate(O_2, -120*°, K_9) → N_{55}
  2258. Rotate(U_2, -120*°, K_9) → O_{55}
  2259. Rotate(Z'_1, -120*°, K_9) → P_{55}
  2260. Rotate(G_{10}, -120*°, K_9) → Q_{55}
  2261. Rotate(J_{10}, -120*°, K_9) → R_{55}
  2262. Rotate(M_{10}, -120*°, K_9) → S_{55}
  2263. Rotate(N_{10}, -120*°, K_9) → T_{55}
  2264. Rotate(V_{10}, -120*°, K_9) → U_{55}
  2265. Rotate(A_{11}, -120*°, K_9) → V_{55}
  2266. Rotate(B_{11}, -120*°, K_9) → W_{55}
  2267. Rotate(H_{11}, -120*°, K_9) → Z_{55}
  2268. Rotate(P_{11}, -120*°, K_9) → A_{56}
  2269. Rotate(S_{11}, -120*°, K_9) → B_{56}
  2270. Rotate(T_{11}, -120*°, K_9) → C_{56}
  2271. Rotate(M_{12}, -120*°, K_9) → D_{56}
  2272. Rotate(B_{13}, -120*°, K_9) → E_{56}
  2273. Rotate(L'''_1, -120*°, K_9) → F_{56}
  2274. Rotate(F_{13}, -120*°, K_9) → G_{56}
  2275. Rotate(G_{13}, -120*°, K_9) → H_{56}
  2276. Rotate(S_{13}, -120*°, K_9) → I_{56}
  2277. Rotate(G_{14}, -120*°, K_9) → J_{56}
  2278. Rotate(S_{14}, -120*°, K_9) → K_{56}
  2279. Rotate(P''_2, -120*°, K_9) → L_{56}
  2280. Rotate(C_{15}, -120*°, K_9) → M_{56}
  2281. Rotate(R''_2, -120*°, K_9) → N_{56}
  2282. Rotate(I_{16}, -120*°, K_9) → O_{56}
  2283. Rotate(L_{16}, -120*°, K_9) → P_{56}
  2284. Rotate(N_{16}, -120*°, K_9) → Q_{56}
  2285. Rotate(L'''_2, -120*°, K_9) → R_{56}
  2286. Rotate(P_{16}, -120*°, K_9) → S_{56}
  2287. Rotate(M'''_2, -120*°, K_9) → T_{56}
  2288. Rotate(N'''_2, -120*°, K_9) → U_{56}
  2289. Rotate(M_{25}, -120*°, K_9) → V_{56}
  2290. Rotate(Z_{25}, -120*°, K_9) → W_{56}
  2291. Rotate(A_{26}, -120*°, K_9) → Z_{56}
  2292. Rotate(C_{26}, -120*°, K_9) → A_{57}
  2293. Rotate(U_{26}, -120*°, K_9) → B_{57}
  2294. Rotate(C_{27}, -120*°, K_9) → C_{57}
  2295. Rotate(A''_4, -120*°, K_9) → D_{57}
  2296. Rotate(B''_5, -120*°, K_9) → E_{57}
  2297. Rotate(L'_3, -120*°, K_9) → F_{57}
  2298. Rotate(A'''_3, -120*°, K_9) → G_{57}
  2299. Rotate(M'_3, -120*°, K_9) → H_{57}
  2300. Rotate(N'_3, -120*°, K_9) → I_{57}
  2301. Rotate(Q_{32}, -120*°, K_9) → J_{57}
  2302. Rotate(B'''_4, -120*°, K_9) → K_{57}
  2303. Rotate(L''_2, -120*°, K_9) → L_{57}
  2304. Rotate(R_{32}, -120*°, K_9) → M_{57}
  2305. Rotate(M''_2, -120*°, K_9) → N_{57}
  2306. Rotate(N''_2, -120*°, K_9) → O_{57}
  2307. Rotate(S_{32}, -120*°, K_9) → P_{57}
  2308. Rotate(T_{32}, -120*°, K_9) → Q_{57}
  2309. Rotate(U_{32}, -120*°, K_9) → R_{57}
  2310. Rotate(V_{32}, -120*°, K_9) → S_{57}
  2311. Rotate(W_{32}, -120*°, K_9) → T_{57}
  2312. Rotate(Z_{32}, -120*°, K_9) → U_{57}
  2313. Rotate(A_{33}, -120*°, K_9) → V_{57}
  2314. Rotate(B_{33}, -120*°, K_9) → W_{57}
  2315. Rotate(L'''_3, -120*°, K_9) → Z_{57}
  2316. Rotate(C_{33}, -120*°, K_9) → A_{58}
  2317. Rotate(M'''_3, -120*°, K_9) → B_{58}
  2318. Rotate(N'''_3, -120*°, K_9) → C_{58}
  2319. Rotate(D_{33}, -120*°, K_9) → D_{58}
  2320. Rotate(E_{33}, -120*°, K_9) → E_{58}
  2321. Rotate(F_{33}, -120*°, K_9) → F_{58}
  2322. Rotate(G_{33}, -120*°, K_9) → G_{58}
  2323. Rotate(K_{33}, -120*°, K_9) → H_{58}
  2324. Rotate(L_{33}, -120*°, K_9) → I_{58}
  2325. Rotate(M_{33}, -120*°, K_9) → J_{58}
  2326. Rotate(N_{33}, -120*°, K_9) → K_{58}
  2327. Rotate(O_{33}, -120*°, K_9) → L_{58}
  2328. Rotate(P_{33}, -120*°, K_9) → M_{58}
  2329. Rotate(S_{33}, -120*°, K_9) → N_{58}
  2330. Rotate(T_{33}, -120*°, K_9) → O_{58}
  2331. Rotate(U_{33}, -120*°, K_9) → P_{58}
  2332. Rotate(V_{33}, -120*°, K_9) → Q_{58}
  2333. Rotate(W_{33}, -120*°, K_9) → R_{58}
  2334. Rotate(Z_{33}, -120*°, K_9) → S_{58}
  2335. Rotate(A_{34}, -120*°, K_9) → T_{58}
  2336. Rotate(B_{34}, -120*°, K_9) → U_{58}
  2337. Rotate(C_{34}, -120*°, K_9) → V_{58}
  2338. Rotate(D_{34}, -120*°, K_9) → W_{58}
  2339. Rotate(E_{34}, -120*°, K_9) → Z_{58}
  2340. Rotate(F_{34}, -120*°, K_9) → A_{59}
  2341. Rotate(G_{34}, -120*°, K_9) → B_{59}
  2342. Rotate(H_{34}, -120*°, K_9) → C_{59}
  2343. Rotate(I_{34}, -120*°, K_9) → D_{59}
  2344. Rotate(J_{34}, -120*°, K_9) → E_{59}
  2345. Rotate(K_{34}, -120*°, K_9) → F_{59}
  2346. Rotate(L_{34}, -120*°, K_9) → G_{59}
  2347. Rotate(M_{34}, -120*°, K_9) → H_{59}
  2348. Rotate(N_{34}, -120*°, K_9) → I_{59}
  2349. Rotate(O_{34}, -120*°, K_9) → J_{59}
  2350. Rotate(P_{34}, -120*°, K_9) → K_{59}
  2351. Rotate(Q_{34}, -120*°, K_9) → L_{59}
  2352. Rotate(R_{34}, -120*°, K_9) → M_{59}
  2353. Rotate(S_{34}, -120*°, K_9) → N_{59}
  2354. Rotate(T_{34}, -120*°, K_9) → O_{59}
  2355. Rotate(U_{34}, -120*°, K_9) → P_{59}
  2356. Rotate(V_{34}, -120*°, K_9) → Q_{59}
  2357. Rotate(W_{34}, -120*°, K_9) → R_{59}
  2358. Rotate(Z_{34}, -120*°, K_9) → S_{59}
  2359. Rotate(A_{35}, -120*°, K_9) → T_{59}
  2360. Rotate(B_{35}, -120*°, K_9) → U_{59}
  2361. Rotate(C_{35}, -120*°, K_9) → V_{59}
  2362. Rotate(D_{35}, -120*°, K_9) → W_{59}
  2363. Rotate(E_{35}, -120*°, K_9) → Z_{59}
  2364. Rotate(F_{35}, -120*°, K_9) → A_{60}
  2365. Rotate(G_{35}, -120*°, K_9) → B_{60}
  2366. Rotate(H_{35}, -120*°, K_9) → C_{60}
  2367. Rotate(I_{35}, -120*°, K_9) → D_{60}
  2368. Rotate(J_{35}, -120*°, K_9) → E_{60}
  2369. Rotate(K_{35}, -120*°, K_9) → F_{60}
  2370. Rotate(L_{35}, -120*°, K_9) → G_{60}
  2371. Rotate(M_{35}, -120*°, K_9) → H_{60}
  2372. Rotate(N_{35}, -120*°, K_9) → I_{60}
  2373. Rotate(O_{35}, -120*°, K_9) → J_{60}
  2374. Rotate(P_{35}, -120*°, K_9) → K_{60}
  2375. Rotate(Q_{35}, -120*°, K_9) → L_{60}
  2376. Rotate(R_{35}, -120*°, K_9) → M_{60}
  2377. Rotate(S_{35}, -120*°, K_9) → N_{60}
  2378. Rotate(T_{35}, -120*°, K_9) → O_{60}
  2379. Rotate(U_{35}, -120*°, K_9) → P_{60}
  2380. Rotate(V_{35}, -120*°, K_9) → Q_{60}
  2381. Rotate(W_{35}, -120*°, K_9) → R_{60}
  2382. Rotate(Z_{35}, -120*°, K_9) → S_{60}
  2383. Rotate(A_{36}, -120*°, K_9) → T_{60}
  2384. Rotate(B_{36}, -120*°, K_9) → U_{60}
  2385. Rotate(C_{36}, -120*°, K_9) → V_{60}
  2386. Rotate(D_{36}, -120*°, K_9) → W_{60}
  2387. Rotate(E_{36}, -120*°, K_9) → Z_{60}
  2388. Rotate(F_{36}, -120*°, K_9) → A_{61}
  2389. Rotate(G_{36}, -120*°, K_9) → B_{61}
  2390. Rotate(H_{36}, -120*°, K_9) → C_{61}
  2391. Rotate(I_{36}, -120*°, K_9) → D_{61}
  2392. Rotate(J_{36}, -120*°, K_9) → E_{61}
  2393. Rotate(K_{36}, -120*°, K_9) → F_{61}
  2394. Rotate(L_{36}, -120*°, K_9) → G_{61}
  2395. Rotate(M_{36}, -120*°, K_9) → H_{61}
  2396. Rotate(N_{36}, -120*°, K_9) → I_{61}
  2397. Rotate(O_{36}, -120*°, K_9) → J_{61}
  2398. Rotate(F'_8, 120*°, B'_6) → K_{61}
  2399. Rotate(E'_8, 120*°, B'_6) → L_{61}
  2400. Rotate(D'_8, 120*°, B'_6) → M_{61}
  2401. Rotate(A'_6, 120*°, B'_6) → N_{61}
  2402. Rotate(J''_4, 120*°, B'_6) → O_{61}
  2403. Rotate(K''_4, 120*°, B'_6) → P_{61}
  2404. Rotate(I'_5, 120*°, B'_6) → Q_{61}
  2405. Rotate(K'_8, 120*°, B'_6) → R_{61}
  2406. Rotate(J'_8, 120*°, B'_6) → S_{61}
  2407. Rotate(C'_5, 120*°, B'_6) → T_{61}
  2408. Rotate(D''_4, 120*°, B'_6) → U_{61}
  2409. Rotate(E''_4, 120*°, B'_6) → V_{61}
  2410. Rotate(F''_4, 120*°, B'_6) → W_{61}
  2411. Rotate(G''_4, 120*°, B'_6) → Z_{61}
  2412. Rotate(H''_4, 120*°, B'_6) → A_{62}
  2413. Rotate(B'_6, 120*°, B'_6) → B_{62}
  2414. Rotate(H'_8, 120*°, B'_6) → C_{62}
  2415. Rotate(G'_8, 120*°, B'_6) → D_{62}
  2416. Polygon(K_{61}, L_{61}, U_{61}, V_{61}, W_{61}, Z_{61}, A_{62}, B_{62}, C_{62}, D_{62}, M_{61}, N_{61}, O_{61}, P_{61}, Q_{61}, R_{61}, S_{61}, T_{61}) → poly10, k_{61}, t_{61}, u_{61}, v_{61}, w_{61}, z_{61}, a_{62}, b_{62}, c_{62}, d_{62}, l_{61}, m_{61}, n_{61}, o_{61}, p_{61}, q_{61}, r_{61}, s_{61}
  2417. Rotate(W_2, 120*°, B'_6) → E_{62}
  2418. Rotate(Z_2, 120*°, B'_6) → F_{62}
  2419. Segment(E_{62}, F_{62}) → l_{31}
  2420. Rotate(Z_2, 120*°, B'_6) → G_{62}
  2421. Rotate(A_3, 120*°, B'_6) → H_{62}
  2422. Segment(G_{62}, H_{62}) → m_{31}
  2423. Rotate(A_3, 120*°, B'_6) → I_{62}
  2424. Rotate(B_3, 120*°, B'_6) → J_{62}
  2425. Segment(I_{62}, J_{62}) → n_{31}
  2426. Rotate(H'''_1, 120*°, B'_6) → K_{62}
  2427. Rotate(G_3, 120*°, B'_6) → L_{62}
  2428. Segment(K_{62}, L_{62}) → p_{31}
  2429. Rotate(G_3, 120*°, B'_6) → M_{62}
  2430. Rotate(H_3, 120*°, B'_6) → N_{62}
  2431. Segment(M_{62}, N_{62}) → q_{31}
  2432. Rotate(H_3, 120*°, B'_6) → O_{62}
  2433. Rotate(I_3, 120*°, B'_6) → P_{62}
  2434. Segment(O_{62}, P_{62}) → r_{31}
  2435. Rotate(I_3, 120*°, B'_6) → Q_{62}
  2436. Rotate(W_2, 120*°, B'_6) → R_{62}
  2437. Segment(Q_{62}, R_{62}) → s_{31}
  2438. Rotate(A_4, 120*°, B'_6) → S_{62}
  2439. Rotate(B_4, 120*°, B'_6) → T_{62}
  2440. Segment(S_{62}, T_{62}) → t_{31}
  2441. Rotate(A'_7, 120*°, B'_6) → U_{62}
  2442. Rotate(D'_9, 120*°, B'_6) → V_{62}
  2443. Segment(U_{62}, V_{62}) → a_{32}
  2444. Rotate(D'_{10}, 120*°, B'_6) → W_{62}
  2445. Rotate(E'_9, 120*°, B'_6) → Z_{62}
  2446. Segment(W_{62}, Z_{62}) → b_{32}
  2447. Rotate(E'_{10}, 120*°, B'_6) → A_{63}
  2448. Rotate(F'_9, 120*°, B'_6) → B_{63}
  2449. Segment(A_{63}, B_{63}) → c_{32}
  2450. Rotate(F'_{10}, 120*°, B'_6) → C_{63}
  2451. Rotate(G'_9, 120*°, B'_6) → D_{63}
  2452. Segment(C_{63}, D_{63}) → d_{32}
  2453. Rotate(G'_{10}, 120*°, B'_6) → E_{63}
  2454. Rotate(H'_9, 120*°, B'_6) → F_{63}
  2455. Segment(E_{63}, F_{63}) → e_{32}
  2456. Rotate(H'_{10}, 120*°, B'_6) → G_{63}
  2457. Rotate(B'_7, 120*°, B'_6) → H_{63}
  2458. Segment(G_{63}, H_{63}) → f_{32}
  2459. Rotate(U_4, 120*°, B'_6) → I_{63}
  2460. Rotate(D''_5, 120*°, B'_6) → J_{63}
  2461. Segment(I_{63}, J_{63}) → g_{32}
  2462. Rotate(V_4, 120*°, B'_6) → K_{63}
  2463. Rotate(E''_5, 120*°, B'_6) → L_{63}
  2464. Segment(K_{63}, L_{63}) → h_{32}
  2465. Rotate(W_4, 120*°, B'_6) → M_{63}
  2466. Rotate(F''_5, 120*°, B'_6) → N_{63}
  2467. Segment(M_{63}, N_{63}) → i_{32}
  2468. Rotate(Z_4, 120*°, B'_6) → O_{63}
  2469. Rotate(G''_5, 120*°, B'_6) → P_{63}
  2470. Segment(O_{63}, P_{63}) → j_{32}
  2471. Rotate(A_5, 120*°, B'_6) → Q_{63}
  2472. Rotate(H''_5, 120*°, B'_6) → R_{63}
  2473. Segment(Q_{63}, R_{63}) → k_{32}
  2474. Rotate(B_5, 120*°, B'_6) → S_{63}
  2475. Rotate(C_5, 120*°, B'_6) → T_{63}
  2476. Segment(S_{63}, T_{63}) → l_{32}
  2477. Rotate(C'_6, 120*°, B'_6) → U_{63}
  2478. Rotate(J'_9, 120*°, B'_6) → V_{63}
  2479. Segment(U_{63}, V_{63}) → m_{32}
  2480. Rotate(J'_{10}, 120*°, B'_6) → W_{63}
  2481. Rotate(K'_9, 120*°, B'_6) → Z_{63}
  2482. Segment(W_{63}, Z_{63}) → n_{32}
  2483. Rotate(K'_{10}, 120*°, B'_6) → A_{64}
  2484. Rotate(I'_6, 120*°, B'_6) → B_{64}
  2485. Segment(A_{64}, B_{64}) → p_{32}
  2486. Rotate(C''_2, 120*°, B'_6) → C_{64}
  2487. Rotate(J''_5, 120*°, B'_6) → D_{64}
  2488. Segment(C_{64}, D_{64}) → q_{32}
  2489. Rotate(D_5, 120*°, B'_6) → E_{64}
  2490. Rotate(K''_5, 120*°, B'_6) → F_{64}
  2491. Segment(E_{64}, F_{64}) → r_{32}
  2492. Rotate(E_5, 120*°, B'_6) → G_{64}
  2493. Rotate(I''_2, 120*°, B'_6) → H_{64}
  2494. Segment(G_{64}, H_{64}) → s_{32}
  2495. Rotate(F_5, 120*°, B'_6) → I_{64}
  2496. Rotate(G_5, 120*°, B'_6) → J_{64}
  2497. Segment(I_{64}, J_{64}) → t_{32}
  2498. Rotate(H_5, 120*°, B'_6) → K_{64}
  2499. Rotate(I_5, 120*°, B'_6) → L_{64}
  2500. Segment(K_{64}, L_{64}) → a_{33}
  2501. Rotate(J_5, 120*°, B'_6) → M_{64}
  2502. Rotate(K_5, 120*°, B'_6) → N_{64}
  2503. Segment(M_{64}, N_{64}) → b_{33}
  2504. Rotate(L_5, 120*°, B'_6) → O_{64}
  2505. Rotate(M_5, 120*°, B'_6) → P_{64}
  2506. Segment(O_{64}, P_{64}) → c_{33}
  2507. Rotate(N_5, 120*°, B'_6) → Q_{64}
  2508. Rotate(O_5, 120*°, B'_6) → R_{64}
  2509. Segment(Q_{64}, R_{64}) → d_{33}
  2510. Rotate(P_5, 120*°, B'_6) → S_{64}
  2511. Rotate(Q_5, 120*°, B'_6) → T_{64}
  2512. Segment(S_{64}, T_{64}) → e_{33}
  2513. Rotate(T'_1, 120*°, B'_6) → U_{64}
  2514. Rotate(U'_1, 120*°, B'_6) → V_{64}
  2515. Segment(U_{64}, V_{64}) → f_{33}
  2516. Rotate(Q_6, 120*°, B'_6) → W_{64}
  2517. Rotate(R_6, 120*°, B'_6) → Z_{64}
  2518. Segment(W_{64}, Z_{64}) → g_{33}
  2519. Rotate(C, 120*°, B'_6) → C'_9
  2520. Rotate(A', 120*°, B'_6) → A''_5
  2521. Rotate(A'_1, 120*°, B'_6) → A_{65}
  2522. Rotate(A'_2, 120*°, B'_6) → B_{65}
  2523. Rotate(A'_3, 120*°, B'_6) → C_{65}
  2524. Rotate(C'', 120*°, B'_6) → C'''_3
  2525. Rotate(L', 120*°, B'_6) → L''_3
  2526. Rotate(A''', 120*°, B'_6) → D_{65}
  2527. Rotate(F'''_1, 120*°, B'_6) → E_{65}
  2528. Rotate(J_3, 120*°, B'_6) → F_{65}
  2529. Rotate(R_4, 120*°, B'_6) → G_{65}
  2530. Rotate(T_5, 120*°, B'_6) → H_{65}
  2531. Rotate(R'_1, 120*°, B'_6) → I_{65}
  2532. Rotate(V_5, 120*°, B'_6) → J_{65}
  2533. Rotate(C'''_1, 120*°, B'_6) → K_{65}
  2534. Rotate(L_6, 120*°, B'_6) → L_{65}
  2535. Rotate(M_6, 120*°, B'_6) → M_{65}
  2536. Rotate(P_6, 120*°, B'_6) → N_{65}
  2537. Rotate(F_7, 120*°, B'_6) → O_{65}
  2538. Rotate(F_8, 120*°, B'_6) → P_{65}
  2539. Rotate(U'', 120*°, B'_6) → U'''
  2540. Rotate(A''_3, 120*°, B'_6) → Q_{65}
  2541. Rotate(B''_2, 120*°, B'_6) → R_{65}
  2542. Rotate(L'_2, 120*°, B'_6) → S_{65}
  2543. Rotate(A'''_2, 120*°, B'_6) → T_{65}
  2544. Rotate(M'_2, 120*°, B'_6) → U_{65}
  2545. Rotate(N'_2, 120*°, B'_6) → V_{65}
  2546. Rotate(B'''_1, 120*°, B'_6) → W_{65}
  2547. Rotate(L''_1, 120*°, B'_6) → Z_{65}
  2548. Rotate(W_8, 120*°, B'_6) → A_{66}
  2549. Rotate(A_9, 120*°, B'_6) → D_{66}
  2550. Rotate(G_9, 120*°, B'_6) → E_{66}
  2551. Rotate(K_{61}, -60*°, B'_6) → B_{66}
  2552. Rotate(L_{61}, -60*°, B'_6) → C_{66}
  2553. Rotate(M_{61}, -60*°, B'_6) → F_{66}
  2554. Rotate(N_{61}, -60*°, B'_6) → G_{66}
  2555. Rotate(O_{61}, -60*°, B'_6) → H_{66}
  2556. Rotate(P_{61}, -60*°, B'_6) → I_{66}
  2557. Rotate(Q_{61}, -60*°, B'_6) → J_{66}
  2558. Rotate(R_{61}, -60*°, B'_6) → K_{66}
  2559. Rotate(S_{61}, -60*°, B'_6) → L_{66}
  2560. Rotate(T_{61}, -60*°, B'_6) → M_{66}
  2561. Rotate(U_{61}, -60*°, B'_6) → N_{66}
  2562. Rotate(V_{61}, -60*°, B'_6) → O_{66}
  2563. Rotate(W_{61}, -60*°, B'_6) → P_{66}
  2564. Rotate(Z_{61}, -60*°, B'_6) → Q_{66}
  2565. Rotate(A_{62}, -60*°, B'_6) → R_{66}
  2566. Rotate(B_{62}, -60*°, B'_6) → S_{66}
  2567. Rotate(C_{62}, -60*°, B'_6) → T_{66}
  2568. Rotate(D_{62}, -60*°, B'_6) → U_{66}
  2569. Polygon(B_{66}, C_{66}, N_{66}, O_{66}, P_{66}, Q_{66}, R_{66}, S_{66}, T_{66}, U_{66}, F_{66}, G_{66}, H_{66}, I_{66}, J_{66}, K_{66}, L_{66}, M_{66}) → poly10', b_{66}, m_{66}, n_{66}, o_{66}, p_{66}, q_{66}, r_{66}, s_{66}, t_{66}, u_{66}, c_{66}, f_{66}, g_{66}, h_{66}, i_{66}, j_{66}, k_{66}, l_{66}
  2570. Rotate(B'_6, -60*°, B'_6) → V_{66}
  2571. Rotate(H'_8, -60*°, B'_6) → W_{66}
  2572. Segment(V_{66}, W_{66}) → k_{33}
  2573. Rotate(K_4, -60*°, B'_6) → Z_{66}
  2574. Rotate(L_4, -60*°, B'_6) → A_{67}
  2575. Segment(Z_{66}, A_{67}) → l_{33}
  2576. Rotate(L_4, -60*°, B'_6) → B_{67}
  2577. Rotate(M_4, -60*°, B'_6) → C_{67}
  2578. Segment(B_{67}, C_{67}) → m_{33}
  2579. Rotate(M_4, -60*°, B'_6) → D_{67}
  2580. Rotate(N_4, -60*°, B'_6) → E_{67}
  2581. Segment(D_{67}, E_{67}) → n_{33}
  2582. Rotate(N_4, -60*°, B'_6) → F_{67}
  2583. Rotate(O_4, -60*°, B'_6) → G_{67}
  2584. Segment(F_{67}, G_{67}) → p_{33}
  2585. Rotate(O_4, -60*°, B'_6) → H_{67}
  2586. Rotate(P_4, -60*°, B'_6) → I_{67}
  2587. Segment(H_{67}, I_{67}) → s_{33}
  2588. Rotate(P_4, -60*°, B'_6) → J_{67}
  2589. Rotate(Q_4, -60*°, B'_6) → K_{67}
  2590. Segment(J_{67}, K_{67}) → t_{33}
  2591. Rotate(Q_4, -60*°, B'_6) → L_{67}
  2592. Rotate(R_4, -60*°, B'_6) → M_{67}
  2593. Segment(L_{67}, M_{67}) → a_{34}
  2594. Rotate(H'_{10}, -60*°, B'_6) → N_{67}
  2595. Rotate(B'_7, -60*°, B'_6) → O_{67}
  2596. Segment(N_{67}, O_{67}) → b_{34}
  2597. Rotate(O'', -60*°, B'_6) → O'''
  2598. Rotate(G_8, -60*°, B'_6) → P_{67}
  2599. Segment(O''', P_{67}) → t''
  2600. Rotate(P'', -60*°, B'_6) → P'''
  2601. Rotate(H_8, -60*°, B'_6) → Q_{67}
  2602. Segment(P''', Q_{67}) → c_{34}
  2603. Rotate(Q'', -60*°, B'_6) → Q'''
  2604. Rotate(I_8, -60*°, B'_6) → R_{67}
  2605. Segment(Q''', R_{67}) → d_{34}
  2606. Rotate(R'', -60*°, B'_6) → R'''
  2607. Rotate(J_8, -60*°, B'_6) → S_{67}
  2608. Segment(R''', S_{67}) → e_{34}
  2609. Rotate(S'', -60*°, B'_6) → S'''
  2610. Rotate(K_8, -60*°, B'_6) → T_{67}
  2611. Segment(S''', T_{67}) → f_{34}
  2612. Rotate(T'', -60*°, B'_6) → T'''
  2613. Rotate(U'', -60*°, B'_6) → U'''_1
  2614. Segment(T''', U'''_1) → g_{34}
  2615. Rotate(L_8, -60*°, B'_6) → U_{67}
  2616. Rotate(M_8, -60*°, B'_6) → V_{67}
  2617. Segment(U_{67}, V_{67}) → h_{34}
  2618. Rotate(E_{62}, -60*°, B'_6) → W_{67}
  2619. Rotate(F_{62}, -60*°, B'_6) → Z_{67}
  2620. Segment(W_{67}, Z_{67}) → i_{34}
  2621. Rotate(G_{62}, -60*°, B'_6) → A_{68}
  2622. Rotate(H_{62}, -60*°, B'_6) → B_{68}
  2623. Segment(A_{68}, B_{68}) → j_{34}
  2624. Rotate(I_{62}, -60*°, B'_6) → C_{68}
  2625. Rotate(J_{62}, -60*°, B'_6) → D_{68}
  2626. Segment(C_{68}, D_{68}) → k_{34}
  2627. Rotate(K_{62}, -60*°, B'_6) → E_{68}
  2628. Rotate(L_{62}, -60*°, B'_6) → F_{68}
  2629. Segment(E_{68}, F_{68}) → l_{34}
  2630. Rotate(M_{62}, -60*°, B'_6) → G_{68}
  2631. Rotate(N_{62}, -60*°, B'_6) → H_{68}
  2632. Segment(G_{68}, H_{68}) → m_{34}
  2633. Rotate(O_{62}, -60*°, B'_6) → I_{68}
  2634. Rotate(P_{62}, -60*°, B'_6) → J_{68}
  2635. Segment(I_{68}, J_{68}) → n_{34}
  2636. Rotate(Q_{62}, -60*°, B'_6) → K_{68}
  2637. Rotate(R_{62}, -60*°, B'_6) → L_{68}
  2638. Segment(K_{68}, L_{68}) → p_{34}
  2639. Rotate(S_{62}, -60*°, B'_6) → M_{68}
  2640. Rotate(T_{62}, -60*°, B'_6) → N_{68}
  2641. Segment(M_{68}, N_{68}) → q_{34}
  2642. Rotate(U_{62}, -60*°, B'_6) → O_{68}
  2643. Rotate(V_{62}, -60*°, B'_6) → P_{68}
  2644. Segment(O_{68}, P_{68}) → r_{34}
  2645. Rotate(W_{62}, -60*°, B'_6) → Q_{68}
  2646. Rotate(Z_{62}, -60*°, B'_6) → R_{68}
  2647. Segment(Q_{68}, R_{68}) → s_{34}
  2648. Rotate(A_{63}, -60*°, B'_6) → S_{68}
  2649. Rotate(B_{63}, -60*°, B'_6) → T_{68}
  2650. Segment(S_{68}, T_{68}) → t_{34}
  2651. Rotate(C_{63}, -60*°, B'_6) → U_{68}
  2652. Rotate(D_{63}, -60*°, B'_6) → V_{68}
  2653. Segment(U_{68}, V_{68}) → a_{35}
  2654. Rotate(E_{63}, -60*°, B'_6) → W_{68}
  2655. Rotate(F_{63}, -60*°, B'_6) → Z_{68}
  2656. Segment(W_{68}, Z_{68}) → b_{35}
  2657. Rotate(G_{63}, -60*°, B'_6) → A_{69}
  2658. Rotate(H_{63}, -60*°, B'_6) → B_{69}
  2659. Segment(A_{69}, B_{69}) → c_{35}
  2660. Rotate(I_{63}, -60*°, B'_6) → C_{69}
  2661. Rotate(J_{63}, -60*°, B'_6) → D_{69}
  2662. Segment(C_{69}, D_{69}) → d_{35}
  2663. Rotate(K_{63}, -60*°, B'_6) → E_{69}
  2664. Rotate(L_{63}, -60*°, B'_6) → F_{69}
  2665. Segment(E_{69}, F_{69}) → e_{35}
  2666. Rotate(M_{63}, -60*°, B'_6) → G_{69}
  2667. Rotate(N_{63}, -60*°, B'_6) → H_{69}
  2668. Segment(G_{69}, H_{69}) → f_{35}
  2669. Rotate(O_{63}, -60*°, B'_6) → I_{69}
  2670. Rotate(P_{63}, -60*°, B'_6) → J_{69}
  2671. Segment(I_{69}, J_{69}) → g_{35}
  2672. Rotate(Q_{63}, -60*°, B'_6) → K_{69}
  2673. Rotate(R_{63}, -60*°, B'_6) → L_{69}
  2674. Segment(K_{69}, L_{69}) → h_{35}
  2675. Rotate(S_{63}, -60*°, B'_6) → M_{69}
  2676. Rotate(T_{63}, -60*°, B'_6) → N_{69}
  2677. Segment(M_{69}, N_{69}) → i_{35}
  2678. Rotate(U_{63}, -60*°, B'_6) → O_{69}
  2679. Rotate(V_{63}, -60*°, B'_6) → P_{69}
  2680. Segment(O_{69}, P_{69}) → j_{35}
  2681. Rotate(W_{63}, -60*°, B'_6) → Q_{69}
  2682. Rotate(Z_{63}, -60*°, B'_6) → R_{69}
  2683. Segment(Q_{69}, R_{69}) → k_{35}
  2684. Rotate(A_{64}, -60*°, B'_6) → S_{69}
  2685. Rotate(B_{64}, -60*°, B'_6) → T_{69}
  2686. Segment(S_{69}, T_{69}) → l_{35}
  2687. Rotate(C_{64}, -60*°, B'_6) → U_{69}
  2688. Rotate(D_{64}, -60*°, B'_6) → V_{69}
  2689. Segment(U_{69}, V_{69}) → m_{35}
  2690. Rotate(E_{64}, -60*°, B'_6) → W_{69}
  2691. Rotate(F_{64}, -60*°, B'_6) → Z_{69}
  2692. Segment(W_{69}, Z_{69}) → n_{35}
  2693. Rotate(G_{64}, -60*°, B'_6) → A_{70}
  2694. Rotate(H_{64}, -60*°, B'_6) → B_{70}
  2695. Segment(A_{70}, B_{70}) → p_{35}
  2696. Rotate(I_{64}, -60*°, B'_6) → C_{70}
  2697. Rotate(J_{64}, -60*°, B'_6) → D_{70}
  2698. Segment(C_{70}, D_{70}) → q_{35}
  2699. Rotate(K_{64}, -60*°, B'_6) → E_{70}
  2700. Rotate(L_{64}, -60*°, B'_6) → F_{70}
  2701. Segment(E_{70}, F_{70}) → r_{35}
  2702. Rotate(M_{64}, -60*°, B'_6) → G_{70}
  2703. Rotate(N_{64}, -60*°, B'_6) → H_{70}
  2704. Segment(G_{70}, H_{70}) → s_{35}
  2705. Rotate(O_{64}, -60*°, B'_6) → I_{70}
  2706. Rotate(P_{64}, -60*°, B'_6) → J_{70}
  2707. Segment(I_{70}, J_{70}) → t_{35}
  2708. Rotate(Q_{64}, -60*°, B'_6) → K_{70}
  2709. Rotate(R_{64}, -60*°, B'_6) → L_{70}
  2710. Segment(K_{70}, L_{70}) → a_{36}
  2711. Rotate(S_{64}, -60*°, B'_6) → M_{70}
  2712. Rotate(T_{64}, -60*°, B'_6) → N_{70}
  2713. Segment(M_{70}, N_{70}) → b_{36}
  2714. Rotate(U_{64}, -60*°, B'_6) → O_{70}
  2715. Rotate(V_{64}, -60*°, B'_6) → P_{70}
  2716. Segment(O_{70}, P_{70}) → c_{36}
  2717. Rotate(W_{64}, -60*°, B'_6) → Q_{70}
  2718. Rotate(Z_{64}, -60*°, B'_6) → R_{70}
  2719. Segment(Q_{70}, R_{70}) → d_{36}
  2720. Rotate(G_3, -60*°, B'_6) → S_{70}
  2721. Rotate(W_3, -60*°, B'_6) → T_{70}
  2722. Rotate(A_4, -60*°, B'_6) → U_{70}
  2723. Rotate(I_4, -60*°, B'_6) → V_{70}
  2724. Rotate(T_4, -60*°, B'_6) → W_{70}
  2725. Rotate(H'_9, -60*°, B'_6) → Z_{70}
  2726. Rotate(C_5, -60*°, B'_6) → A_{71}
  2727. Rotate(Q_5, -60*°, B'_6) → B_{71}
  2728. Rotate(U'_1, -60*°, B'_6) → C_{71}
  2729. Rotate(R_6, -60*°, B'_6) → D_{71}
  2730. Rotate(B_7, -60*°, B'_6) → E_{71}
  2731. Rotate(C_7, -60*°, B'_6) → F_{71}
  2732. Rotate(F_7, -60*°, B'_6) → G_{71}
  2733. Rotate(B_8, -60*°, B'_6) → H_{71}
  2734. Rotate(C_8, -60*°, B'_6) → I_{71}
  2735. Rotate(F_8, -60*°, B'_6) → J_{71}
  2736. Rotate(N_8, -60*°, B'_6) → K_{71}
  2737. Rotate(Q_8, -60*°, B'_6) → L_{71}
  2738. Rotate(U_8, -60*°, B'_6) → M_{71}
  2739. Rotate(B''_2, -60*°, B'_6) → N_{71}
  2740. Rotate(B'''_1, -60*°, B'_6) → O_{71}
  2741. Rotate(A_9, -60*°, B'_6) → P_{71}
  2742. Rotate(F_9, -60*°, B'_6) → Q_{71}
  2743. Rotate(G_9, -60*°, B'_6) → R_{71}
  2744. Rotate(C'_9, -60*°, B'_6) → S_{71}
  2745. Rotate(A''_5, -60*°, B'_6) → T_{71}
  2746. Rotate(A_{65}, -60*°, B'_6) → U_{71}
  2747. Rotate(B_{65}, -60*°, B'_6) → V_{71}
  2748. Rotate(C_{65}, -60*°, B'_6) → W_{71}
  2749. Rotate(C'''_3, -60*°, B'_6) → Z_{71}
  2750. Rotate(L''_3, -60*°, B'_6) → A_{72}
  2751. Rotate(D_{65}, -60*°, B'_6) → B_{72}
  2752. Rotate(G_{65}, -60*°, B'_6) → C_{72}
  2753. Rotate(J_{65}, -60*°, B'_6) → D_{72}
  2754. Rotate(K_{65}, -60*°, B'_6) → E_{72}
  2755. Rotate(N_{65}, -60*°, B'_6) → F_{72}
  2756. Rotate(O_{65}, -60*°, B'_6) → G_{72}
  2757. Rotate(P_{65}, -60*°, B'_6) → H_{72}
  2758. Rotate(U''', -60*°, B'_6) → I_{72}
  2759. Rotate(Q_{65}, -60*°, B'_6) → J_{72}
  2760. Rotate(R_{65}, -60*°, B'_6) → K_{72}
  2761. Rotate(S_{65}, -60*°, B'_6) → L_{72}
  2762. Rotate(T_{65}, -60*°, B'_6) → M_{72}
  2763. Rotate(U_{65}, -60*°, B'_6) → N_{72}
  2764. Rotate(V_{65}, -60*°, B'_6) → O_{72}
  2765. Rotate(W_{65}, -60*°, B'_6) → P_{72}
  2766. Rotate(Z_{65}, -60*°, B'_6) → Q_{72}
  2767. Rotate(A_{66}, -60*°, B'_6) → R_{72}
  2768. Rotate(D_{66}, -60*°, B'_6) → S_{72}
  2769. Rotate(E_{66}, -60*°, B'_6) → T_{72}

AI 绘图提示语参考

绘制一个基于三角形旋转的镶嵌图案。先画一个等边三角形，以其一条边为底边，在底边外侧依次连接多个点，形成一条折线路径。将这条折线路径连同底边一起绕底边的一个端点旋转负六十度，得到一组旋转后的线段，与原有线段共同构成一个环状区域。再取该区域内部某条边的中点，将部分顶点绕此中点旋转一百八十度，生成对称的补充图形。最后，将所有这些线段和旋转后的图形组合成一个封闭的多边形，并在其内部随机放置两个点作为装饰。整体呈现由旋转和对称构成的几何镶嵌效果。
以上提示语为根据原始绘图命令整理而来，仅供参考。