滑动第十页

几何画板及绘图内容加载中，请稍等……

2014-04-06 11:09

向量三角函数几何作图

所属专题 Phebe Tanner Tessellation Rotation

这个范例演示了向量和平面的几何构造。它涉及向量和三角函数的核心数学概念。通过使用Polygon, Segment, Rotate等GeoGebra命令，可以构造出复杂的几何图形。适合高中数学教学和学习。

GeoGebra 命令及参数

Polygon(A, B, 3) → poly1, a, b, c, C
Segment(B, D) → d
Segment(D, E) → e
Segment(E, F) → f
Segment(F, G) → g
Segment(G, H) → h
Segment(H, I) → i
Segment(I, J) → j
Segment(J, K) → k
Segment(K, L) → l
Segment(L, M) → m
Segment(M, N) → n
Segment(N, O) → p
Segment(O, P) → q
Segment(P, Q) → r
Segment(Q, R) → s
Segment(R, S) → t
Segment(S, T) → a_1
Segment(T, U) → b_1
Segment(U, V) → c_1
Segment(V, W) → d_1
Segment(W, Z) → e_1
Segment(Z, A_1) → f_1
Segment(A_1, B_1) → g_1
Segment(B_1, C) → h_1
Rotate(B, 60*°, B) → B'
Rotate(D, 60*°, B) → D'
Segment(B', D') → d'
Rotate(D, 60*°, B) → D'_1
Rotate(E, 60*°, B) → E'
Segment(D'_1, E') → e'
Rotate(E, 60*°, B) → E'_1
Rotate(F, 60*°, B) → F'
Segment(E'_1, F') → f'
Rotate(F, 60*°, B) → F'_1
Rotate(G, 60*°, B) → G'
Segment(F'_1, G') → g'
Rotate(G, 60*°, B) → G'_1
Rotate(H, 60*°, B) → H'
Segment(G'_1, H') → h'
Rotate(H, 60*°, B) → H'_1
Rotate(I, 60*°, B) → I'
Segment(H'_1, I') → i'
Rotate(I, 60*°, B) → I'_1
Rotate(J, 60*°, B) → J'
Segment(I'_1, J') → j'
Rotate(J, 60*°, B) → J'_1
Rotate(K, 60*°, B) → K'
Segment(J'_1, K') → k'
Rotate(K, 60*°, B) → K'_1
Rotate(L, 60*°, B) → L'
Segment(K'_1, L') → l'
Rotate(L, 60*°, B) → L'_1
Rotate(M, 60*°, B) → M'
Segment(L'_1, M') → m'
Rotate(M, 60*°, B) → M'_1
Rotate(N, 60*°, B) → N'
Segment(M'_1, N') → n'
Rotate(N, 60*°, B) → N'_1
Rotate(O, 60*°, B) → O'
Segment(N'_1, O') → p'
Rotate(O, 60*°, B) → O'_1
Rotate(P, 60*°, B) → P'
Segment(O'_1, P') → q'
Rotate(P, 60*°, B) → P'_1
Rotate(Q, 60*°, B) → Q'
Segment(P'_1, Q') → r'
Rotate(Q, 60*°, B) → Q'_1
Rotate(R, 60*°, B) → R'
Segment(Q'_1, R') → s'
Rotate(R, 60*°, B) → R'_1
Rotate(S, 60*°, B) → S'
Segment(R'_1, S') → t'
Rotate(S, 60*°, B) → S'_1
Rotate(T, 60*°, B) → T'
Segment(S'_1, T') → i_1
Rotate(T, 60*°, B) → T'_1
Rotate(U, 60*°, B) → U'
Segment(T'_1, U') → j_1
Rotate(U, 60*°, B) → U'_1
Rotate(V, 60*°, B) → V'
Segment(U'_1, V') → k_1
Rotate(V, 60*°, B) → V'_1
Rotate(W, 60*°, B) → W'
Segment(V'_1, W') → l_1
Rotate(W, 60*°, B) → W'_1
Rotate(Z, 60*°, B) → Z'
Segment(W'_1, Z') → m_1
Rotate(Z, 60*°, B) → Z'_1
Rotate(A_1, 60*°, B) → C_1
Segment(Z'_1, C_1) → n_1
Rotate(A_1, 60*°, B) → D_1
Rotate(B_1, 60*°, B) → E_1
Segment(D_1, E_1) → p_1
Rotate(B_1, 60*°, B) → F_1
Rotate(C, 60*°, B) → C'
Segment(F_1, C') → q_1
Rotate(B', 60*°, A) → B''
Rotate(D', 60*°, A) → D''
Segment(B'', D'') → d''
Rotate(D'_1, 60*°, A) → G_1
Rotate(E', 60*°, A) → E''
Segment(G_1, E'') → e''
Rotate(E'_1, 60*°, A) → H_1
Rotate(F', 60*°, A) → F''
Segment(H_1, F'') → f''
Rotate(F'_1, 60*°, A) → I_1
Rotate(G', 60*°, A) → G''
Segment(I_1, G'') → g''
Rotate(G'_1, 60*°, A) → J_1
Rotate(H', 60*°, A) → H''
Segment(J_1, H'') → h''
Rotate(H'_1, 60*°, A) → K_1
Rotate(I', 60*°, A) → I''
Segment(K_1, I'') → i''
Rotate(I'_1, 60*°, A) → L_1
Rotate(J', 60*°, A) → J''
Segment(L_1, J'') → j''
Rotate(J'_1, 60*°, A) → M_1
Rotate(K', 60*°, A) → K''
Segment(M_1, K'') → k''
Rotate(K'_1, 60*°, A) → N_1
Rotate(L', 60*°, A) → L''
Segment(N_1, L'') → l''
Rotate(L'_1, 60*°, A) → O_1
Rotate(M', 60*°, A) → M''
Segment(O_1, M'') → m''
Rotate(M'_1, 60*°, A) → P_1
Rotate(N', 60*°, A) → N''
Segment(P_1, N'') → n''
Rotate(N'_1, 60*°, A) → Q_1
Rotate(O', 60*°, A) → O''
Segment(Q_1, O'') → p''
Rotate(O'_1, 60*°, A) → R_1
Rotate(P', 60*°, A) → P''
Segment(R_1, P'') → q''
Rotate(P'_1, 60*°, A) → S_1
Rotate(Q', 60*°, A) → Q''
Segment(S_1, Q'') → r''
Rotate(Q'_1, 60*°, A) → T_1
Rotate(R', 60*°, A) → R''
Segment(T_1, R'') → s''
Rotate(R'_1, 60*°, A) → U_1
Rotate(S', 60*°, A) → S''
Segment(U_1, S'') → t''
Rotate(S'_1, 60*°, A) → V_1
Rotate(T', 60*°, A) → T''
Segment(V_1, T'') → r_1
Rotate(T'_1, 60*°, A) → W_1
Rotate(U', 60*°, A) → U''
Segment(W_1, U'') → s_1
Rotate(U'_1, 60*°, A) → Z_1
Rotate(V', 60*°, A) → V''
Segment(Z_1, V'') → t_1
Rotate(V'_1, 60*°, A) → A_2
Rotate(W', 60*°, A) → W''
Segment(A_2, W'') → a_2
Rotate(W'_1, 60*°, A) → B_2
Rotate(Z', 60*°, A) → Z''
Segment(B_2, Z'') → b_2
Rotate(Z'_1, 60*°, A) → C_2
Rotate(C_1, 60*°, A) → D_2
Segment(C_2, D_2) → c_2
Rotate(D_1, 60*°, A) → E_2
Rotate(E_1, 60*°, A) → F_2
Segment(E_2, F_2) → d_2
Rotate(F_1, 60*°, A) → G_2
Rotate(C', 60*°, A) → C''
Segment(G_2, C'') → e_2
Rotate(B, 60*°, A) → B'_1
Polygon(B, D', M', M'_1, O', P', Q', R', S', T', U', V', E', W', Z', C_1, E_1, A, F_2, D_2, Z'', W'', V'', F', U'', T'', S'', R'', Q'', P'', O'', N'', M'', L'', G', K'', J'', I'', H'', G'', E'', H_1, D'', C, B_1, H', A_1, Z, W, V, U, T, S, R, Q, P, I', O, N, M, L, K, J, I, H, G, F, J', E, D, K', L') → poly2, b_3, l'_1, m'_1, m'_2, o', p'_1, q'_1, r'_1, s'_1, t'_1, u', d'_1, v', w', z', c_3, e_3, a_3, f_2, d_3, z'', w'', e'_1, v'', u'', t''_1, s''_1, r''_1, q''_1, p''_1, o'', n''_1, m''_1, f'_1, l''_1, k''_1, j''_1, i''_1, h''_1, g''_1, e''_1, h_2, d''_1, c_4, g'_1, b_4, a_4, z, w, v, u, t_2, s_2, r_2, q_2, h'_1, p_2, o, n_2, m_2, l_2, k_2, j_2, i_2, h_3, g_2, i'_1, f_3, e_4, d_4, j'_1, k'_1
Rotate(B, 60*°, A) → B'_2
Rotate(D', 60*°, A) → D''_1
Rotate(E', 60*°, A) → E''_1
Rotate(F', 60*°, A) → F''_1
Rotate(G', 60*°, A) → G''_1
Rotate(H', 60*°, A) → H''_1
Rotate(I', 60*°, A) → I''_1
Rotate(J', 60*°, A) → J''_1
Rotate(K', 60*°, A) → K''_1
Rotate(L', 60*°, A) → L''_1
Rotate(M', 60*°, A) → M''_1
Rotate(M'_1, 60*°, A) → H_2
Rotate(O', 60*°, A) → O''_1
Rotate(P', 60*°, A) → P''_1
Rotate(Q', 60*°, A) → Q''_1
Rotate(R', 60*°, A) → R''_1
Rotate(S', 60*°, A) → S''_1
Rotate(T', 60*°, A) → T''_1
Rotate(U', 60*°, A) → U''_1
Rotate(V', 60*°, A) → V''_1
Rotate(W', 60*°, A) → W''_1
Rotate(Z', 60*°, A) → Z''_1
Rotate(C_1, 60*°, A) → I_2
Rotate(E_1, 60*°, A) → J_2
Rotate(A, 60*°, A) → A'
Rotate(F_2, 60*°, A) → K_2
Rotate(D_2, 60*°, A) → L_2
Rotate(Z'', 60*°, A) → Z'''
Rotate(W'', 60*°, A) → W'''
Rotate(V'', 60*°, A) → V'''
Rotate(U'', 60*°, A) → U'''
Rotate(T'', 60*°, A) → T'''
Rotate(S'', 60*°, A) → S'''
Rotate(R'', 60*°, A) → R'''
Rotate(Q'', 60*°, A) → Q'''
Rotate(P'', 60*°, A) → P'''
Rotate(O'', 60*°, A) → O'''
Rotate(N'', 60*°, A) → N'''
Rotate(M'', 60*°, A) → M'''
Rotate(L'', 60*°, A) → L'''
Rotate(K'', 60*°, A) → K'''
Rotate(J'', 60*°, A) → J'''
Rotate(I'', 60*°, A) → I'''
Rotate(H'', 60*°, A) → H'''
Rotate(G'', 60*°, A) → G'''
Rotate(E'', 60*°, A) → E'''
Rotate(H_1, 60*°, A) → M_2
Rotate(D'', 60*°, A) → D'''
Rotate(C, 60*°, A) → C'_1
Rotate(B_1, 60*°, A) → N_2
Rotate(A_1, 60*°, A) → O_2
Rotate(Z, 60*°, A) → Z'_2
Rotate(W, 60*°, A) → W'_2
Rotate(V, 60*°, A) → V'_2
Rotate(U, 60*°, A) → U'_2
Rotate(T, 60*°, A) → T'_2
Rotate(S, 60*°, A) → S'_2
Rotate(R, 60*°, A) → R'_2
Rotate(Q, 60*°, A) → Q'_2
Rotate(P, 60*°, A) → P'_2
Rotate(O, 60*°, A) → O'_2
Rotate(N, 60*°, A) → N'_2
Rotate(M, 60*°, A) → M'_2
Rotate(L, 60*°, A) → L'_2
Rotate(K, 60*°, A) → K'_2
Rotate(J, 60*°, A) → J'_2
Rotate(I, 60*°, A) → I'_2
Rotate(H, 60*°, A) → H'_2
Rotate(G, 60*°, A) → G'_2
Rotate(F, 60*°, A) → F'_2
Rotate(E, 60*°, A) → E'_2
Rotate(D, 60*°, A) → D'_2
Polygon(B'_2, D''_1, M''_1, H_2, O''_1, P''_1, Q''_1, R''_1, S''_1, T''_1, U''_1, V''_1, E''_1, W''_1, Z''_1, I_2, J_2, A', K_2, L_2, Z''', W''', V''', F''_1, U''', T''', S''', R''', Q''', P''', O''', N''', M''', L''', G''_1, K''', J''', I''', H''', G''', E''', M_2, D''', C'_1, N_2, H''_1, O_2, Z'_2, W'_2, V'_2, U'_2, T'_2, S'_2, R'_2, Q'_2, P'_2, I''_1, O'_2, N'_2, M'_2, L'_2, K'_2, J'_2, I'_2, H'_2, G'_2, F'_2, J''_1, E'_2, D'_2, K''_1, L''_1) → poly2', b'_2, l''_2, m''_2, h_4, o''_1, p''_2, q''_2, r''_2, s''_2, t''_2, u''_1, d''_2, v''_1, w''_1, z''_1, i_3, j_3, a', k_3, l_3, z''', w''', e''_2, v''', u''', t''', s''', r''', q''', p''', o''', n''', m''', f''_1, l''', k''', j''', i''', h''', g''', e''', m_3, d''', c'_1, g''_2, n_3, o_2, z'_2, w'_2, v'_2, u'_2, t'_2, s'_2, r'_2, q'_2, h''_2, p'_2, o'_2, n'_2, m'_3, l'_2, k'_2, j'_2, i'_2, h'_2, g'_2, i''_2, f'_2, e'_2, d'_2, j''_2, k''_2
Rotate(B, 60*°, A) → B'_3
Rotate(D, 60*°, A) → D'_3
Segment(B'_3, D'_3) → d'_3
Rotate(D, 60*°, A) → D'_4
Rotate(E, 60*°, A) → E'_3
Segment(D'_4, E'_3) → e'_3
Rotate(E, 60*°, A) → E'_4
Rotate(F, 60*°, A) → F'_3
Segment(E'_4, F'_3) → f'_3
Rotate(F, 60*°, A) → F'_4
Rotate(G, 60*°, A) → G'_3
Segment(F'_4, G'_3) → g'_3
Rotate(G, 60*°, A) → G'_4
Rotate(H, 60*°, A) → H'_3
Segment(G'_4, H'_3) → h'_3
Rotate(H, 60*°, A) → H'_4
Rotate(I, 60*°, A) → I'_3
Segment(H'_4, I'_3) → i'_3
Rotate(I, 60*°, A) → I'_4
Rotate(J, 60*°, A) → J'_3
Segment(I'_4, J'_3) → j'_3
Rotate(J, 60*°, A) → J'_4
Rotate(K, 60*°, A) → K'_3
Segment(J'_4, K'_3) → k'_3
Rotate(K, 60*°, A) → K'_4
Rotate(L, 60*°, A) → L'_3
Segment(K'_4, L'_3) → l'_3
Rotate(L, 60*°, A) → L'_4
Rotate(M, 60*°, A) → M'_3
Segment(L'_4, M'_3) → m'_4
Rotate(M, 60*°, A) → M'_4
Rotate(N, 60*°, A) → N'_3
Segment(M'_4, N'_3) → n'_1
Rotate(N, 60*°, A) → N'_4
Rotate(O, 60*°, A) → O'_3
Segment(N'_4, O'_3) → p'_3
Rotate(O, 60*°, A) → O'_4
Rotate(P, 60*°, A) → P'_3
Segment(O'_4, P'_3) → q'_3
Rotate(P, 60*°, A) → P'_4
Rotate(Q, 60*°, A) → Q'_3
Segment(P'_4, Q'_3) → r'_3
Rotate(Q, 60*°, A) → Q'_4
Rotate(R, 60*°, A) → R'_3
Segment(Q'_4, R'_3) → s'_3
Rotate(R, 60*°, A) → R'_4
Rotate(S, 60*°, A) → S'_3
Segment(R'_4, S'_3) → t'_3
Rotate(S, 60*°, A) → S'_4
Rotate(T, 60*°, A) → T'_3
Segment(S'_4, T'_3) → g_3
Rotate(T, 60*°, A) → T'_4
Rotate(U, 60*°, A) → U'_3
Segment(T'_4, U'_3) → p_3
Rotate(U, 60*°, A) → U'_4
Rotate(V, 60*°, A) → V'_3
Segment(U'_4, V'_3) → q_3
Rotate(V, 60*°, A) → V'_4
Rotate(W, 60*°, A) → W'_3
Segment(V'_4, W'_3) → r_3
Rotate(W, 60*°, A) → W'_4
Rotate(Z, 60*°, A) → Z'_3
Segment(W'_4, Z'_3) → s_3
Rotate(Z, 60*°, A) → Z'_4
Rotate(A_1, 60*°, A) → P_2
Segment(Z'_4, P_2) → t_3
Rotate(A_1, 60*°, A) → Q_2
Rotate(B_1, 60*°, A) → R_2
Segment(Q_2, R_2) → f_4
Rotate(B_1, 60*°, A) → S_2
Rotate(C, 60*°, A) → C'_2
Segment(S_2, C'_2) → g_4
Rotate(B', 60*°, A) → B''_1
Rotate(D', 60*°, A) → D''_2
Segment(B''_1, D''_2) → d''_3
Rotate(D'_1, 60*°, A) → T_2
Rotate(E', 60*°, A) → E''_2
Segment(T_2, E''_2) → e''_3
Rotate(E'_1, 60*°, A) → U_2
Rotate(F', 60*°, A) → F''_2
Segment(U_2, F''_2) → f''_2
Rotate(F'_1, 60*°, A) → V_2
Rotate(G', 60*°, A) → G''_2
Segment(V_2, G''_2) → g''_3
Rotate(G'_1, 60*°, A) → W_2
Rotate(H', 60*°, A) → H''_2
Segment(W_2, H''_2) → h''_3
Rotate(H'_1, 60*°, A) → Z_2
Rotate(I', 60*°, A) → I''_2
Segment(Z_2, I''_2) → i''_3
Rotate(I'_1, 60*°, A) → A_3
Rotate(J', 60*°, A) → J''_2
Segment(A_3, J''_2) → j''_3
Rotate(J'_1, 60*°, A) → B_3
Rotate(K', 60*°, A) → K''_2
Segment(B_3, K''_2) → k''_3
Rotate(K'_1, 60*°, A) → C_3
Rotate(L', 60*°, A) → L''_2
Segment(C_3, L''_2) → l''_3
Rotate(L'_1, 60*°, A) → D_3
Rotate(M', 60*°, A) → M''_2
Segment(D_3, M''_2) → m''_3
Rotate(M'_1, 60*°, A) → E_3
Rotate(N', 60*°, A) → N''_1
Segment(E_3, N''_1) → n''_2
Rotate(N'_1, 60*°, A) → F_3
Rotate(O', 60*°, A) → O''_2
Segment(F_3, O''_2) → p''_3
Rotate(O'_1, 60*°, A) → G_3
Rotate(P', 60*°, A) → P''_2
Segment(G_3, P''_2) → q''_3
Rotate(P'_1, 60*°, A) → H_3
Rotate(Q', 60*°, A) → Q''_2
Segment(H_3, Q''_2) → r''_3
Rotate(Q'_1, 60*°, A) → I_3
Rotate(R', 60*°, A) → R''_2
Segment(I_3, R''_2) → s''_3
Rotate(R'_1, 60*°, A) → J_3
Rotate(S', 60*°, A) → S''_2
Segment(J_3, S''_2) → t''_3
Rotate(S'_1, 60*°, A) → K_3
Rotate(T', 60*°, A) → T''_2
Segment(K_3, T''_2) → i_4
Rotate(T'_1, 60*°, A) → L_3
Rotate(U', 60*°, A) → U''_2
Segment(L_3, U''_2) → j_4
Rotate(U'_1, 60*°, A) → M_3
Rotate(V', 60*°, A) → V''_2
Segment(M_3, V''_2) → k_4
Rotate(V'_1, 60*°, A) → N_3
Rotate(W', 60*°, A) → W''_2
Segment(N_3, W''_2) → l_4
Rotate(W'_1, 60*°, A) → O_3
Rotate(Z', 60*°, A) → Z''_2
Segment(O_3, Z''_2) → m_4
Rotate(Z'_1, 60*°, A) → P_3
Rotate(C_1, 60*°, A) → Q_3
Segment(P_3, Q_3) → n_4
Rotate(D_1, 60*°, A) → R_3
Rotate(E_1, 60*°, A) → S_3
Segment(R_3, S_3) → p_4
Rotate(F_1, 60*°, A) → T_3
Rotate(C', 60*°, A) → C''_1
Segment(T_3, C''_1) → q_4
Rotate(B'', 60*°, A) → B'''
Rotate(D'', 60*°, A) → D'''_1
Segment(B''', D'''_1) → d'''_1
Rotate(G_1, 60*°, A) → U_3
Rotate(E'', 60*°, A) → E'''_1
Segment(U_3, E'''_1) → e'''_1
Rotate(H_1, 60*°, A) → V_3
Rotate(F'', 60*°, A) → F'''
Segment(V_3, F''') → f'''
Rotate(I_1, 60*°, A) → W_3
Rotate(G'', 60*°, A) → G'''_1
Segment(W_3, G'''_1) → g'''_1
Rotate(J_1, 60*°, A) → Z_3
Rotate(H'', 60*°, A) → H'''_1
Segment(Z_3, H'''_1) → h'''_1
Rotate(K_1, 60*°, A) → A_4
Rotate(I'', 60*°, A) → I'''_1
Segment(A_4, I'''_1) → i'''_1
Rotate(L_1, 60*°, A) → B_4
Rotate(J'', 60*°, A) → J'''_1
Segment(B_4, J'''_1) → j'''_1
Rotate(M_1, 60*°, A) → C_4
Rotate(K'', 60*°, A) → K'''_1
Segment(C_4, K'''_1) → k'''_1
Rotate(N_1, 60*°, A) → D_4
Rotate(L'', 60*°, A) → L'''_1
Segment(D_4, L'''_1) → l'''_1
Rotate(O_1, 60*°, A) → E_4
Rotate(M'', 60*°, A) → M'''_1
Segment(E_4, M'''_1) → m'''_1
Rotate(P_1, 60*°, A) → F_4
Rotate(N'', 60*°, A) → N'''_1
Segment(F_4, N'''_1) → n'''_1
Rotate(Q_1, 60*°, A) → G_4
Rotate(O'', 60*°, A) → O'''_1
Segment(G_4, O'''_1) → p'''_1
Rotate(R_1, 60*°, A) → H_4
Rotate(P'', 60*°, A) → P'''_1
Segment(H_4, P'''_1) → q'''_1
Rotate(S_1, 60*°, A) → I_4
Rotate(Q'', 60*°, A) → Q'''_1
Segment(I_4, Q'''_1) → r'''_1
Rotate(T_1, 60*°, A) → J_4
Rotate(R'', 60*°, A) → R'''_1
Segment(J_4, R'''_1) → s'''_1
Rotate(U_1, 60*°, A) → K_4
Rotate(S'', 60*°, A) → S'''_1
Segment(K_4, S'''_1) → t'''_1
Rotate(V_1, 60*°, A) → L_4
Rotate(T'', 60*°, A) → T'''_1
Segment(L_4, T'''_1) → r_4
Rotate(W_1, 60*°, A) → M_4
Rotate(U'', 60*°, A) → U'''_1
Segment(M_4, U'''_1) → s_4
Rotate(Z_1, 60*°, A) → N_4
Rotate(V'', 60*°, A) → V'''_1
Segment(N_4, V'''_1) → t_4
Rotate(A_2, 60*°, A) → O_4
Rotate(W'', 60*°, A) → W'''_1
Segment(O_4, W'''_1) → a_5
Rotate(B_2, 60*°, A) → P_4
Rotate(Z'', 60*°, A) → Z'''_1
Segment(P_4, Z'''_1) → b_5
Rotate(C_2, 60*°, A) → Q_4
Rotate(D_2, 60*°, A) → R_4
Segment(Q_4, R_4) → c_5
Rotate(E_2, 60*°, A) → S_4
Rotate(F_2, 60*°, A) → T_4
Segment(S_4, T_4) → d_5
Rotate(G_2, 60*°, A) → U_4
Rotate(C'', 60*°, A) → C'''
Segment(U_4, C''') → e_5
Rotate(B'_1, 60*°, A) → V_4
Rotate(B, 120*°, A) → B'_4
Rotate(D', 120*°, A) → D''_3
Rotate(E', 120*°, A) → E''_3
Rotate(F', 120*°, A) → F''_3
Rotate(G', 120*°, A) → G''_3
Rotate(H', 120*°, A) → H''_3
Rotate(I', 120*°, A) → I''_3
Rotate(J', 120*°, A) → J''_3
Rotate(K', 120*°, A) → K''_3
Rotate(L', 120*°, A) → L''_3
Rotate(M', 120*°, A) → M''_3
Rotate(M'_1, 120*°, A) → W_4
Rotate(O', 120*°, A) → O''_3
Rotate(P', 120*°, A) → P''_3
Rotate(Q', 120*°, A) → Q''_3
Rotate(R', 120*°, A) → R''_3
Rotate(S', 120*°, A) → S''_3
Rotate(T', 120*°, A) → T''_3
Rotate(U', 120*°, A) → U''_3
Rotate(V', 120*°, A) → V''_3
Rotate(W', 120*°, A) → W''_3
Rotate(Z', 120*°, A) → Z''_3
Rotate(C_1, 120*°, A) → Z_4
Rotate(E_1, 120*°, A) → A_5
Rotate(A, 120*°, A) → A'_1
Rotate(F_2, 120*°, A) → B_5
Rotate(D_2, 120*°, A) → C_5
Rotate(Z'', 120*°, A) → Z'''_2
Rotate(W'', 120*°, A) → W'''_2
Rotate(V'', 120*°, A) → V'''_2
Rotate(U'', 120*°, A) → U'''_2
Rotate(T'', 120*°, A) → T'''_2
Rotate(S'', 120*°, A) → S'''_2
Rotate(R'', 120*°, A) → R'''_2
Rotate(Q'', 120*°, A) → Q'''_2
Rotate(P'', 120*°, A) → P'''_2
Rotate(O'', 120*°, A) → O'''_2
Rotate(N'', 120*°, A) → N'''_2
Rotate(M'', 120*°, A) → M'''_2
Rotate(L'', 120*°, A) → L'''_2
Rotate(K'', 120*°, A) → K'''_2
Rotate(J'', 120*°, A) → J'''_2
Rotate(I'', 120*°, A) → I'''_2
Rotate(H'', 120*°, A) → H'''_2
Rotate(G'', 120*°, A) → G'''_2
Rotate(E'', 120*°, A) → E'''_2
Rotate(H_1, 120*°, A) → D_5
Rotate(D'', 120*°, A) → D'''_2
Rotate(C, 120*°, A) → C'_3
Rotate(B_1, 120*°, A) → E_5
Rotate(A_1, 120*°, A) → F_5
Rotate(Z, 120*°, A) → Z'_5
Rotate(W, 120*°, A) → W'_5
Rotate(V, 120*°, A) → V'_5
Rotate(U, 120*°, A) → U'_5
Rotate(T, 120*°, A) → T'_5
Rotate(S, 120*°, A) → S'_5
Rotate(R, 120*°, A) → R'_5
Rotate(Q, 120*°, A) → Q'_5
Rotate(P, 120*°, A) → P'_5
Rotate(O, 120*°, A) → O'_5
Rotate(N, 120*°, A) → N'_5
Rotate(M, 120*°, A) → M'_5
Rotate(L, 120*°, A) → L'_5
Rotate(K, 120*°, A) → K'_5
Rotate(J, 120*°, A) → J'_5
Rotate(I, 120*°, A) → I'_5
Rotate(H, 120*°, A) → H'_5
Rotate(G, 120*°, A) → G'_5
Rotate(F, 120*°, A) → F'_5
Rotate(E, 120*°, A) → E'_5
Rotate(D, 120*°, A) → D'_5
Polygon(B'_4, D''_3, M''_3, W_4, O''_3, P''_3, Q''_3, R''_3, S''_3, T''_3, U''_3, V''_3, E''_3, W''_3, Z''_3, Z_4, A_5, A'_1, B_5, C_5, Z'''_2, W'''_2, V'''_2, F''_3, U'''_2, T'''_2, S'''_2, R'''_2, Q'''_2, P'''_2, O'''_2, N'''_2, M'''_2, L'''_2, G''_3, K'''_2, J'''_2, I'''_2, H'''_2, G'''_2, E'''_2, D_5, D'''_2, C'_3, E_5, H''_3, F_5, Z'_5, W'_5, V'_5, U'_5, T'_5, S'_5, R'_5, Q'_5, P'_5, I''_3, O'_5, N'_5, M'_5, L'_5, K'_5, J'_5, I'_5, H'_5, G'_5, F'_5, J''_3, E'_5, D'_5, K''_3, L''_3) → poly2'_1, b'_4, l''_4, m''_4, w_4, o''_3, p''_4, q''_4, r''_4, s''_4, t''_4, u''_3, d''_4, v''_3, w''_3, z''_3, z_4, a_6, a'_1, b_6, c_6, z'''_2, w'''_2, e''_4, v'''_2, u'''_2, t'''_2, s'''_2, r'''_2, q'''_2, p'''_2, o'''_2, n'''_2, m'''_2, f''_3, l'''_2, k'''_2, j'''_2, i'''_2, h'''_2, g'''_2, e'''_2, d_6, d'''_2, c'_3, g''_4, e_6, f_5, z'_5, w'_5, v'_5, u'_5, t'_5, s'_5, r'_5, q'_5, h''_4, p'_5, o'_5, n'_5, m'_5, l'_5, k'_5, j'_5, i'_5, h'_5, g'_5, i''_4, f'_5, e'_5, d'_5, j''_4, k''_4
Rotate(B'_2, 120*°, A) → G_5
Rotate(D''_1, 120*°, A) → H_5
Rotate(E''_1, 120*°, A) → I_5
Rotate(F''_1, 120*°, A) → J_5
Rotate(G''_1, 120*°, A) → K_5
Rotate(H''_1, 120*°, A) → L_5
Rotate(I''_1, 120*°, A) → M_5
Rotate(J''_1, 120*°, A) → N_5
Rotate(K''_1, 120*°, A) → O_5
Rotate(L''_1, 120*°, A) → P_5
Rotate(M''_1, 120*°, A) → Q_5
Rotate(H_2, 120*°, A) → R_5
Rotate(O''_1, 120*°, A) → S_5
Rotate(P''_1, 120*°, A) → T_5
Rotate(Q''_1, 120*°, A) → U_5
Rotate(R''_1, 120*°, A) → V_5
Rotate(S''_1, 120*°, A) → W_5
Rotate(T''_1, 120*°, A) → Z_5
Rotate(U''_1, 120*°, A) → A_6
Rotate(V''_1, 120*°, A) → B_6
Rotate(W''_1, 120*°, A) → C_6
Rotate(Z''_1, 120*°, A) → D_6
Rotate(I_2, 120*°, A) → E_6
Rotate(J_2, 120*°, A) → F_6
Rotate(A', 120*°, A) → A''
Rotate(K_2, 120*°, A) → G_6
Rotate(L_2, 120*°, A) → H_6
Rotate(Z''', 120*°, A) → I_6
Rotate(W''', 120*°, A) → J_6
Rotate(V''', 120*°, A) → K_6
Rotate(U''', 120*°, A) → L_6
Rotate(T''', 120*°, A) → M_6
Rotate(S''', 120*°, A) → N_6
Rotate(R''', 120*°, A) → O_6
Rotate(Q''', 120*°, A) → P_6
Rotate(P''', 120*°, A) → Q_6
Rotate(O''', 120*°, A) → R_6
Rotate(N''', 120*°, A) → S_6
Rotate(M''', 120*°, A) → T_6
Rotate(L''', 120*°, A) → U_6
Rotate(K''', 120*°, A) → V_6
Rotate(J''', 120*°, A) → W_6
Rotate(I''', 120*°, A) → Z_6
Rotate(H''', 120*°, A) → A_7
Rotate(G''', 120*°, A) → B_7
Rotate(E''', 120*°, A) → C_7
Rotate(M_2, 120*°, A) → D_7
Rotate(D''', 120*°, A) → E_7
Rotate(C'_1, 120*°, A) → F_7
Rotate(N_2, 120*°, A) → G_7
Rotate(O_2, 120*°, A) → H_7
Rotate(Z'_2, 120*°, A) → I_7
Rotate(W'_2, 120*°, A) → J_7
Rotate(V'_2, 120*°, A) → K_7
Rotate(U'_2, 120*°, A) → L_7
Rotate(T'_2, 120*°, A) → M_7
Rotate(S'_2, 120*°, A) → N_7
Rotate(R'_2, 120*°, A) → O_7
Rotate(Q'_2, 120*°, A) → P_7
Rotate(P'_2, 120*°, A) → Q_7
Rotate(O'_2, 120*°, A) → R_7
Rotate(N'_2, 120*°, A) → S_7
Rotate(M'_2, 120*°, A) → T_7
Rotate(L'_2, 120*°, A) → U_7
Rotate(K'_2, 120*°, A) → V_7
Rotate(J'_2, 120*°, A) → W_7
Rotate(I'_2, 120*°, A) → Z_7
Rotate(H'_2, 120*°, A) → A_8
Rotate(G'_2, 120*°, A) → B_8
Rotate(F'_2, 120*°, A) → C_8
Rotate(E'_2, 120*°, A) → D_8
Rotate(D'_2, 120*°, A) → E_8
Polygon(G_5, H_5, Q_5, R_5, S_5, T_5, U_5, V_5, W_5, Z_5, A_6, B_6, I_5, C_6, D_6, E_6, F_6, A'', G_6, H_6, I_6, J_6, K_6, J_5, L_6, M_6, N_6, O_6, P_6, Q_6, R_6, S_6, T_6, U_6, K_5, V_6, W_6, Z_6, A_7, B_7, C_7, D_7, E_7, F_7, G_7, L_5, H_7, I_7, J_7, K_7, L_7, M_7, N_7, O_7, P_7, Q_7, M_5, R_7, S_7, T_7, U_7, V_7, W_7, Z_7, A_8, B_8, C_8, N_5, D_8, E_8, O_5, P_5) → poly2'', g_5, p_5, q_5, r_5, s_5, t_5, u_5, v_5, w_5, z_5, a_7, h_5, b_7, c_7, d_7, e_7, f_6, a'', g_6, h_6, i_6, j_6, i_5, k_6, l_6, m_6, n_6, o_6, p_6, q_6, r_6, s_6, t_6, j_5, u_6, v_6, w_6, z_6, a_8, b_8, c_8, d_8, e_8, f_7, k_5, g_7, h_7, i_7, j_7, k_7, l_7, m_7, n_7, o_7, p_7, l_5, q_7, r_7, s_7, t_7, u_7, v_7, w_7, z_7, a_9, b_9, m_5, c_9, d_9, e_9, n_5, o_5
Rotate(B, 120*°, A) → B'_5
Rotate(D, 120*°, A) → D'_6
Segment(B'_5, D'_6) → d'_4
Rotate(D, 120*°, A) → D'_7
Rotate(E, 120*°, A) → E'_6
Segment(D'_7, E'_6) → e'_4
Rotate(E, 120*°, A) → E'_7
Rotate(F, 120*°, A) → F'_6
Segment(E'_7, F'_6) → f'_4
Rotate(F, 120*°, A) → F'_7
Rotate(G, 120*°, A) → G'_6
Segment(F'_7, G'_6) → g'_4
Rotate(G, 120*°, A) → G'_7
Rotate(H, 120*°, A) → H'_6
Segment(G'_7, H'_6) → h'_4
Rotate(H, 120*°, A) → H'_7
Rotate(I, 120*°, A) → I'_6
Segment(H'_7, I'_6) → i'_4
Rotate(I, 120*°, A) → I'_7
Rotate(J, 120*°, A) → J'_6
Segment(I'_7, J'_6) → j'_4
Rotate(J, 120*°, A) → J'_7
Rotate(K, 120*°, A) → K'_6
Segment(J'_7, K'_6) → k'_4
Rotate(K, 120*°, A) → K'_7
Rotate(L, 120*°, A) → L'_6
Segment(K'_7, L'_6) → l'_4
Rotate(L, 120*°, A) → L'_7
Rotate(M, 120*°, A) → M'_6
Segment(L'_7, M'_6) → m'_6
Rotate(M, 120*°, A) → M'_7
Rotate(N, 120*°, A) → N'_6
Segment(M'_7, N'_6) → n'_3
Rotate(N, 120*°, A) → N'_7
Rotate(O, 120*°, A) → O'_6
Segment(N'_7, O'_6) → p'_4
Rotate(O, 120*°, A) → O'_7
Rotate(P, 120*°, A) → P'_6
Segment(O'_7, P'_6) → q'_4
Rotate(P, 120*°, A) → P'_7
Rotate(Q, 120*°, A) → Q'_6
Segment(P'_7, Q'_6) → r'_4
Rotate(Q, 120*°, A) → Q'_7
Rotate(R, 120*°, A) → R'_6
Segment(Q'_7, R'_6) → s'_4
Rotate(R, 120*°, A) → R'_7
Rotate(S, 120*°, A) → S'_6
Segment(R'_7, S'_6) → t'_4
Rotate(S, 120*°, A) → S'_7
Rotate(T, 120*°, A) → T'_6
Segment(S'_7, T'_6) → f_8
Rotate(T, 120*°, A) → T'_7
Rotate(U, 120*°, A) → U'_6
Segment(T'_7, U'_6) → g_8
Rotate(U, 120*°, A) → U'_7
Rotate(V, 120*°, A) → V'_6
Segment(U'_7, V'_6) → h_8
Rotate(V, 120*°, A) → V'_7
Rotate(W, 120*°, A) → W'_6
Segment(V'_7, W'_6) → i_8
Rotate(W, 120*°, A) → W'_7
Rotate(Z, 120*°, A) → Z'_6
Segment(W'_7, Z'_6) → j_8
Rotate(Z, 120*°, A) → Z'_7
Rotate(A_1, 120*°, A) → F_8
Segment(Z'_7, F_8) → k_8
Rotate(A_1, 120*°, A) → G_8
Rotate(B_1, 120*°, A) → H_8
Segment(G_8, H_8) → l_8
Rotate(B_1, 120*°, A) → I_8
Rotate(C, 120*°, A) → C'_4
Segment(I_8, C'_4) → m_8
Rotate(B', 120*°, A) → B''_2
Rotate(D', 120*°, A) → D''_4
Segment(B''_2, D''_4) → d''_5
Rotate(D'_1, 120*°, A) → J_8
Rotate(E', 120*°, A) → E''_4
Segment(J_8, E''_4) → e''_5
Rotate(E'_1, 120*°, A) → K_8
Rotate(F', 120*°, A) → F''_4
Segment(K_8, F''_4) → f''_4
Rotate(F'_1, 120*°, A) → L_8
Rotate(G', 120*°, A) → G''_4
Segment(L_8, G''_4) → g''_5
Rotate(G'_1, 120*°, A) → M_8
Rotate(H', 120*°, A) → H''_4
Segment(M_8, H''_4) → h''_5
Rotate(H'_1, 120*°, A) → N_8
Rotate(I', 120*°, A) → I''_4
Segment(N_8, I''_4) → i''_5
Rotate(I'_1, 120*°, A) → O_8
Rotate(J', 120*°, A) → J''_4
Segment(O_8, J''_4) → j''_5
Rotate(J'_1, 120*°, A) → P_8
Rotate(K', 120*°, A) → K''_4
Segment(P_8, K''_4) → k''_5
Rotate(K'_1, 120*°, A) → Q_8
Rotate(L', 120*°, A) → L''_4
Segment(Q_8, L''_4) → l''_5
Rotate(L'_1, 120*°, A) → R_8
Rotate(M', 120*°, A) → M''_4
Segment(R_8, M''_4) → m''_5
Rotate(M'_1, 120*°, A) → S_8
Rotate(N', 120*°, A) → N''_2
Segment(S_8, N''_2) → n''_3
Rotate(N'_1, 120*°, A) → T_8
Rotate(O', 120*°, A) → O''_4
Segment(T_8, O''_4) → p''_5
Rotate(O'_1, 120*°, A) → U_8
Rotate(P', 120*°, A) → P''_4
Segment(U_8, P''_4) → q''_5
Rotate(P'_1, 120*°, A) → V_8
Rotate(Q', 120*°, A) → Q''_4
Segment(V_8, Q''_4) → r''_5
Rotate(Q'_1, 120*°, A) → W_8
Rotate(R', 120*°, A) → R''_4
Segment(W_8, R''_4) → s''_5
Rotate(R'_1, 120*°, A) → Z_8
Rotate(S', 120*°, A) → S''_4
Segment(Z_8, S''_4) → t''_5
Rotate(S'_1, 120*°, A) → A_9
Rotate(T', 120*°, A) → T''_4
Segment(A_9, T''_4) → n_8
Rotate(T'_1, 120*°, A) → B_9
Rotate(U', 120*°, A) → U''_4
Segment(B_9, U''_4) → p_8
Rotate(U'_1, 120*°, A) → C_9
Rotate(V', 120*°, A) → V''_4
Segment(C_9, V''_4) → q_8
Rotate(V'_1, 120*°, A) → D_9
Rotate(W', 120*°, A) → W''_4
Segment(D_9, W''_4) → r_8
Rotate(W'_1, 120*°, A) → E_9
Rotate(Z', 120*°, A) → Z''_4
Segment(E_9, Z''_4) → s_8
Rotate(Z'_1, 120*°, A) → F_9
Rotate(C_1, 120*°, A) → G_9
Segment(F_9, G_9) → t_8
Rotate(D_1, 120*°, A) → H_9
Rotate(E_1, 120*°, A) → I_9
Segment(H_9, I_9) → f_9
Rotate(F_1, 120*°, A) → J_9
Rotate(C', 120*°, A) → C''_2
Segment(J_9, C''_2) → g_9
Rotate(B'', 120*°, A) → B'''_1
Rotate(D'', 120*°, A) → D'''_3
Segment(B'''_1, D'''_3) → d'''_3
Rotate(G_1, 120*°, A) → K_9
Rotate(E'', 120*°, A) → E'''_3
Segment(K_9, E'''_3) → e'''_3
Rotate(H_1, 120*°, A) → L_9
Rotate(F'', 120*°, A) → F'''_1
Segment(L_9, F'''_1) → f'''_1
Rotate(I_1, 120*°, A) → M_9
Rotate(G'', 120*°, A) → G'''_3
Segment(M_9, G'''_3) → g'''_3
Rotate(J_1, 120*°, A) → N_9
Rotate(H'', 120*°, A) → H'''_3
Segment(N_9, H'''_3) → h'''_3
Rotate(K_1, 120*°, A) → O_9
Rotate(I'', 120*°, A) → I'''_3
Segment(O_9, I'''_3) → i'''_3
Rotate(L_1, 120*°, A) → P_9
Rotate(J'', 120*°, A) → J'''_3
Segment(P_9, J'''_3) → j'''_3
Rotate(M_1, 120*°, A) → Q_9
Rotate(K'', 120*°, A) → K'''_3
Segment(Q_9, K'''_3) → k'''_3
Rotate(N_1, 120*°, A) → R_9
Rotate(L'', 120*°, A) → L'''_3
Segment(R_9, L'''_3) → l'''_3
Rotate(O_1, 120*°, A) → S_9
Rotate(M'', 120*°, A) → M'''_3
Segment(S_9, M'''_3) → m'''_3
Rotate(P_1, 120*°, A) → T_9
Rotate(N'', 120*°, A) → N'''_3
Segment(T_9, N'''_3) → n'''_3
Rotate(Q_1, 120*°, A) → U_9
Rotate(O'', 120*°, A) → O'''_3
Segment(U_9, O'''_3) → p'''_3
Rotate(R_1, 120*°, A) → V_9
Rotate(P'', 120*°, A) → P'''_3
Segment(V_9, P'''_3) → q'''_3
Rotate(S_1, 120*°, A) → W_9
Rotate(Q'', 120*°, A) → Q'''_3
Segment(W_9, Q'''_3) → r'''_3
Rotate(T_1, 120*°, A) → Z_9
Rotate(R'', 120*°, A) → R'''_3
Segment(Z_9, R'''_3) → s'''_3
Rotate(U_1, 120*°, A) → A_{10}
Rotate(S'', 120*°, A) → S'''_3
Segment(A_{10}, S'''_3) → t'''_3
Rotate(V_1, 120*°, A) → B_{10}
Rotate(T'', 120*°, A) → T'''_3
Segment(B_{10}, T'''_3) → h_9
Rotate(W_1, 120*°, A) → C_{10}
Rotate(U'', 120*°, A) → U'''_3
Segment(C_{10}, U'''_3) → i_9
Rotate(Z_1, 120*°, A) → D_{10}
Rotate(V'', 120*°, A) → V'''_3
Segment(D_{10}, V'''_3) → j_9
Rotate(A_2, 120*°, A) → E_{10}
Rotate(W'', 120*°, A) → W'''_3
Segment(E_{10}, W'''_3) → k_9
Rotate(B_2, 120*°, A) → F_{10}
Rotate(Z'', 120*°, A) → Z'''_3
Segment(F_{10}, Z'''_3) → l_9
Rotate(C_2, 120*°, A) → G_{10}
Rotate(D_2, 120*°, A) → H_{10}
Segment(G_{10}, H_{10}) → m_9
Rotate(E_2, 120*°, A) → I_{10}
Rotate(F_2, 120*°, A) → J_{10}
Segment(I_{10}, J_{10}) → n_9
Rotate(G_2, 120*°, A) → K_{10}
Rotate(C'', 120*°, A) → C'''_1
Segment(K_{10}, C'''_1) → p_9
Rotate(B'_3, 120*°, A) → L_{10}
Rotate(D'_3, 120*°, A) → M_{10}
Segment(L_{10}, M_{10}) → q_9
Rotate(D'_4, 120*°, A) → N_{10}
Rotate(E'_3, 120*°, A) → O_{10}
Segment(N_{10}, O_{10}) → r_9
Rotate(E'_4, 120*°, A) → P_{10}
Rotate(F'_3, 120*°, A) → Q_{10}
Segment(P_{10}, Q_{10}) → s_9
Rotate(F'_4, 120*°, A) → R_{10}
Rotate(G'_3, 120*°, A) → S_{10}
Segment(R_{10}, S_{10}) → t_9
Rotate(G'_4, 120*°, A) → T_{10}
Rotate(H'_3, 120*°, A) → U_{10}
Segment(T_{10}, U_{10}) → a_{10}
Rotate(H'_4, 120*°, A) → V_{10}
Rotate(I'_3, 120*°, A) → W_{10}
Segment(V_{10}, W_{10}) → b_{10}
Rotate(I'_4, 120*°, A) → Z_{10}
Rotate(J'_3, 120*°, A) → A_{11}
Segment(Z_{10}, A_{11}) → c_{10}
Rotate(J'_4, 120*°, A) → B_{11}
Rotate(K'_3, 120*°, A) → C_{11}
Segment(B_{11}, C_{11}) → d_{10}
Rotate(K'_4, 120*°, A) → D_{11}
Rotate(L'_3, 120*°, A) → E_{11}
Segment(D_{11}, E_{11}) → e_{10}
Rotate(L'_4, 120*°, A) → F_{11}
Rotate(M'_3, 120*°, A) → G_{11}
Segment(F_{11}, G_{11}) → f_{10}
Rotate(M'_4, 120*°, A) → H_{11}
Rotate(N'_3, 120*°, A) → I_{11}
Segment(H_{11}, I_{11}) → g_{10}
Rotate(N'_4, 120*°, A) → J_{11}
Rotate(O'_3, 120*°, A) → K_{11}
Segment(J_{11}, K_{11}) → h_{10}
Rotate(O'_4, 120*°, A) → L_{11}
Rotate(P'_3, 120*°, A) → M_{11}
Segment(L_{11}, M_{11}) → i_{10}
Rotate(P'_4, 120*°, A) → N_{11}
Rotate(Q'_3, 120*°, A) → O_{11}
Segment(N_{11}, O_{11}) → j_{10}
Rotate(Q'_4, 120*°, A) → P_{11}
Rotate(R'_3, 120*°, A) → Q_{11}
Segment(P_{11}, Q_{11}) → k_{10}
Rotate(R'_4, 120*°, A) → R_{11}
Rotate(S'_3, 120*°, A) → S_{11}
Segment(R_{11}, S_{11}) → l_{10}
Rotate(S'_4, 120*°, A) → T_{11}
Rotate(T'_3, 120*°, A) → U_{11}
Segment(T_{11}, U_{11}) → m_{10}
Rotate(T'_4, 120*°, A) → V_{11}
Rotate(U'_3, 120*°, A) → W_{11}
Segment(V_{11}, W_{11}) → n_{10}
Rotate(U'_4, 120*°, A) → Z_{11}
Rotate(V'_3, 120*°, A) → A_{12}
Segment(Z_{11}, A_{12}) → p_{10}
Rotate(V'_4, 120*°, A) → B_{12}
Rotate(W'_3, 120*°, A) → C_{12}
Segment(B_{12}, C_{12}) → q_{10}
Rotate(W'_4, 120*°, A) → D_{12}
Rotate(Z'_3, 120*°, A) → E_{12}
Segment(D_{12}, E_{12}) → r_{10}
Rotate(Z'_4, 120*°, A) → F_{12}
Rotate(P_2, 120*°, A) → G_{12}
Segment(F_{12}, G_{12}) → s_{10}
Rotate(Q_2, 120*°, A) → H_{12}
Rotate(R_2, 120*°, A) → I_{12}
Segment(H_{12}, I_{12}) → t_{10}
Rotate(S_2, 120*°, A) → J_{12}
Rotate(C'_2, 120*°, A) → K_{12}
Segment(J_{12}, K_{12}) → a_{11}
Rotate(B''_1, 120*°, A) → L_{12}
Rotate(D''_2, 120*°, A) → M_{12}
Segment(L_{12}, M_{12}) → b_{11}
Rotate(T_2, 120*°, A) → N_{12}
Rotate(E''_2, 120*°, A) → O_{12}
Segment(N_{12}, O_{12}) → c_{11}
Rotate(U_2, 120*°, A) → P_{12}
Rotate(F''_2, 120*°, A) → Q_{12}
Segment(P_{12}, Q_{12}) → d_{11}
Rotate(V_2, 120*°, A) → R_{12}
Rotate(G''_2, 120*°, A) → S_{12}
Segment(R_{12}, S_{12}) → e_{11}
Rotate(W_2, 120*°, A) → T_{12}
Rotate(H''_2, 120*°, A) → U_{12}
Segment(T_{12}, U_{12}) → f_{11}
Rotate(Z_2, 120*°, A) → V_{12}
Rotate(I''_2, 120*°, A) → W_{12}
Segment(V_{12}, W_{12}) → g_{11}
Rotate(A_3, 120*°, A) → Z_{12}
Rotate(J''_2, 120*°, A) → A_{13}
Segment(Z_{12}, A_{13}) → h_{11}
Rotate(B_3, 120*°, A) → B_{13}
Rotate(K''_2, 120*°, A) → C_{13}
Segment(B_{13}, C_{13}) → i_{11}
Rotate(C_3, 120*°, A) → D_{13}
Rotate(L''_2, 120*°, A) → E_{13}
Segment(D_{13}, E_{13}) → j_{11}
Rotate(D_3, 120*°, A) → F_{13}
Rotate(M''_2, 120*°, A) → G_{13}
Segment(F_{13}, G_{13}) → k_{11}
Rotate(E_3, 120*°, A) → H_{13}
Rotate(N''_1, 120*°, A) → I_{13}
Segment(H_{13}, I_{13}) → l_{11}
Rotate(F_3, 120*°, A) → J_{13}
Rotate(O''_2, 120*°, A) → K_{13}
Segment(J_{13}, K_{13}) → m_{11}
Rotate(G_3, 120*°, A) → L_{13}
Rotate(P''_2, 120*°, A) → M_{13}
Segment(L_{13}, M_{13}) → n_{11}
Rotate(H_3, 120*°, A) → N_{13}
Rotate(Q''_2, 120*°, A) → O_{13}
Segment(N_{13}, O_{13}) → p_{11}
Rotate(I_3, 120*°, A) → P_{13}
Rotate(R''_2, 120*°, A) → Q_{13}
Segment(P_{13}, Q_{13}) → q_{11}
Rotate(J_3, 120*°, A) → R_{13}
Rotate(S''_2, 120*°, A) → S_{13}
Segment(R_{13}, S_{13}) → r_{11}
Rotate(K_3, 120*°, A) → T_{13}
Rotate(T''_2, 120*°, A) → U_{13}
Segment(T_{13}, U_{13}) → s_{11}
Rotate(L_3, 120*°, A) → V_{13}
Rotate(U''_2, 120*°, A) → W_{13}
Segment(V_{13}, W_{13}) → t_{11}
Rotate(M_3, 120*°, A) → Z_{13}
Rotate(V''_2, 120*°, A) → A_{14}
Segment(Z_{13}, A_{14}) → a_{12}
Rotate(N_3, 120*°, A) → B_{14}
Rotate(W''_2, 120*°, A) → C_{14}
Segment(B_{14}, C_{14}) → b_{12}
Rotate(O_3, 120*°, A) → D_{14}
Rotate(Z''_2, 120*°, A) → E_{14}
Segment(D_{14}, E_{14}) → c_{12}
Rotate(P_3, 120*°, A) → F_{14}
Rotate(Q_3, 120*°, A) → G_{14}
Segment(F_{14}, G_{14}) → d_{12}
Rotate(R_3, 120*°, A) → H_{14}
Rotate(S_3, 120*°, A) → I_{14}
Segment(H_{14}, I_{14}) → e_{12}
Rotate(T_3, 120*°, A) → J_{14}
Rotate(C''_1, 120*°, A) → K_{14}
Segment(J_{14}, K_{14}) → f_{12}
Rotate(B''', 120*°, A) → L_{14}
Rotate(D'''_1, 120*°, A) → M_{14}
Segment(L_{14}, M_{14}) → g_{12}
Rotate(U_3, 120*°, A) → N_{14}
Rotate(E'''_1, 120*°, A) → O_{14}
Segment(N_{14}, O_{14}) → h_{12}
Rotate(V_3, 120*°, A) → P_{14}
Rotate(F''', 120*°, A) → Q_{14}
Segment(P_{14}, Q_{14}) → i_{12}
Rotate(W_3, 120*°, A) → R_{14}
Rotate(G'''_1, 120*°, A) → S_{14}
Segment(R_{14}, S_{14}) → j_{12}
Rotate(Z_3, 120*°, A) → T_{14}
Rotate(H'''_1, 120*°, A) → U_{14}
Segment(T_{14}, U_{14}) → k_{12}
Rotate(A_4, 120*°, A) → V_{14}
Rotate(I'''_1, 120*°, A) → W_{14}
Segment(V_{14}, W_{14}) → l_{12}
Rotate(B_4, 120*°, A) → Z_{14}
Rotate(J'''_1, 120*°, A) → A_{15}
Segment(Z_{14}, A_{15}) → m_{12}
Rotate(C_4, 120*°, A) → B_{15}
Rotate(K'''_1, 120*°, A) → C_{15}
Segment(B_{15}, C_{15}) → n_{12}
Rotate(D_4, 120*°, A) → D_{15}
Rotate(L'''_1, 120*°, A) → E_{15}
Segment(D_{15}, E_{15}) → p_{12}
Rotate(E_4, 120*°, A) → F_{15}
Rotate(M'''_1, 120*°, A) → G_{15}
Segment(F_{15}, G_{15}) → q_{12}
Rotate(F_4, 120*°, A) → H_{15}
Rotate(N'''_1, 120*°, A) → I_{15}
Segment(H_{15}, I_{15}) → r_{12}
Rotate(G_4, 120*°, A) → J_{15}
Rotate(O'''_1, 120*°, A) → K_{15}
Segment(J_{15}, K_{15}) → s_{12}
Rotate(H_4, 120*°, A) → L_{15}
Rotate(P'''_1, 120*°, A) → M_{15}
Segment(L_{15}, M_{15}) → t_{12}
Rotate(I_4, 120*°, A) → N_{15}
Rotate(Q'''_1, 120*°, A) → O_{15}
Segment(N_{15}, O_{15}) → a_{13}
Rotate(J_4, 120*°, A) → P_{15}
Rotate(R'''_1, 120*°, A) → Q_{15}
Segment(P_{15}, Q_{15}) → b_{13}
Rotate(K_4, 120*°, A) → R_{15}
Rotate(S'''_1, 120*°, A) → S_{15}
Segment(R_{15}, S_{15}) → c_{13}
Rotate(L_4, 120*°, A) → T_{15}
Rotate(T'''_1, 120*°, A) → U_{15}
Segment(T_{15}, U_{15}) → d_{13}
Rotate(M_4, 120*°, A) → V_{15}
Rotate(U'''_1, 120*°, A) → W_{15}
Segment(V_{15}, W_{15}) → e_{13}
Rotate(N_4, 120*°, A) → Z_{15}
Rotate(V'''_1, 120*°, A) → A_{16}
Segment(Z_{15}, A_{16}) → f_{13}
Rotate(O_4, 120*°, A) → B_{16}
Rotate(W'''_1, 120*°, A) → C_{16}
Segment(B_{16}, C_{16}) → g_{13}
Rotate(P_4, 120*°, A) → D_{16}
Rotate(Z'''_1, 120*°, A) → E_{16}
Segment(D_{16}, E_{16}) → h_{13}
Rotate(Q_4, 120*°, A) → F_{16}
Rotate(R_4, 120*°, A) → G_{16}
Segment(F_{16}, G_{16}) → i_{13}
Rotate(S_4, 120*°, A) → H_{16}
Rotate(T_4, 120*°, A) → I_{16}
Segment(H_{16}, I_{16}) → j_{13}
Rotate(U_4, 120*°, A) → J_{16}
Rotate(C''', 120*°, A) → K_{16}
Segment(J_{16}, K_{16}) → k_{13}
Rotate(B'_1, 120*°, A) → L_{16}
Rotate(V_4, 120*°, A) → M_{16}
Rotate(B, 120*°, A) → B'_6
Rotate(D', 120*°, A) → D''_5
Rotate(E', 120*°, A) → E''_5
Rotate(F', 120*°, A) → F''_5
Rotate(G', 120*°, A) → G''_5
Rotate(H', 120*°, A) → H''_5
Rotate(I', 120*°, A) → I''_5
Rotate(J', 120*°, A) → J''_5
Rotate(K', 120*°, A) → K''_5
Rotate(L', 120*°, A) → L''_5
Rotate(M', 120*°, A) → M''_5
Rotate(M'_1, 120*°, A) → N_{16}
Rotate(O', 120*°, A) → O''_5
Rotate(P', 120*°, A) → P''_5
Rotate(Q', 120*°, A) → Q''_5
Rotate(R', 120*°, A) → R''_5
Rotate(S', 120*°, A) → S''_5
Rotate(T', 120*°, A) → T''_5
Rotate(U', 120*°, A) → U''_5
Rotate(V', 120*°, A) → V''_5
Rotate(W', 120*°, A) → W''_5
Rotate(Z', 120*°, A) → Z''_5
Rotate(C_1, 120*°, A) → O_{16}
Rotate(E_1, 120*°, A) → P_{16}
Rotate(A, 120*°, A) → A'_2
Rotate(F_2, 120*°, A) → Q_{16}
Rotate(D_2, 120*°, A) → R_{16}
Rotate(Z'', 120*°, A) → Z'''_4
Rotate(W'', 120*°, A) → W'''_4
Rotate(V'', 120*°, A) → V'''_4
Rotate(U'', 120*°, A) → U'''_4
Rotate(T'', 120*°, A) → T'''_4
Rotate(S'', 120*°, A) → S'''_4
Rotate(R'', 120*°, A) → R'''_4
Rotate(Q'', 120*°, A) → Q'''_4
Rotate(P'', 120*°, A) → P'''_4
Rotate(O'', 120*°, A) → O'''_4
Rotate(N'', 120*°, A) → N'''_4
Rotate(M'', 120*°, A) → M'''_4
Rotate(L'', 120*°, A) → L'''_4
Rotate(K'', 120*°, A) → K'''_4
Rotate(J'', 120*°, A) → J'''_4
Rotate(I'', 120*°, A) → I'''_4
Rotate(H'', 120*°, A) → H'''_4
Rotate(G'', 120*°, A) → G'''_4
Rotate(E'', 120*°, A) → E'''_4
Rotate(H_1, 120*°, A) → S_{16}
Rotate(D'', 120*°, A) → D'''_4
Rotate(C, 120*°, A) → C'_5
Rotate(B_1, 120*°, A) → T_{16}
Rotate(A_1, 120*°, A) → U_{16}
Rotate(Z, 120*°, A) → Z'_8
Rotate(W, 120*°, A) → W'_8
Rotate(V, 120*°, A) → V'_8
Rotate(U, 120*°, A) → U'_8
Rotate(T, 120*°, A) → T'_8
Rotate(S, 120*°, A) → S'_8
Rotate(R, 120*°, A) → R'_8
Rotate(Q, 120*°, A) → Q'_8
Rotate(P, 120*°, A) → P'_8
Rotate(O, 120*°, A) → O'_8
Rotate(N, 120*°, A) → N'_8
Rotate(M, 120*°, A) → M'_8
Rotate(L, 120*°, A) → L'_8
Rotate(K, 120*°, A) → K'_8
Rotate(J, 120*°, A) → J'_8
Rotate(I, 120*°, A) → I'_8
Rotate(H, 120*°, A) → H'_8
Rotate(G, 120*°, A) → G'_8
Rotate(F, 120*°, A) → F'_8
Rotate(E, 120*°, A) → E'_8
Rotate(D, 120*°, A) → D'_8
Polygon(B'_6, D''_5, M''_5, N_{16}, O''_5, P''_5, Q''_5, R''_5, S''_5, T''_5, U''_5, V''_5, E''_5, W''_5, Z''_5, O_{16}, P_{16}, A'_2, Q_{16}, R_{16}, Z'''_4, W'''_4, V'''_4, F''_5, U'''_4, T'''_4, S'''_4, R'''_4, Q'''_4, P'''_4, O'''_4, N'''_4, M'''_4, L'''_4, G''_5, K'''_4, J'''_4, I'''_4, H'''_4, G'''_4, E'''_4, S_{16}, D'''_4, C'_5, T_{16}, H''_5, U_{16}, Z'_8, W'_8, V'_8, U'_8, T'_8, S'_8, R'_8, Q'_8, P'_8, I''_5, O'_8, N'_8, M'_8, L'_8, K'_8, J'_8, I'_8, H'_8, G'_8, F'_8, J''_5, E'_8, D'_8, K''_5, L''_5) → poly2'_2, b'_6, l''_6, m''_6, n_{16}, o''_5, p''_6, q''_6, r''_6, s''_6, t''_6, u''_5, d''_6, v''_5, w''_5, z''_5, o_{16}, p_{16}, a'_2, q_{16}, r_{16}, z'''_4, w'''_4, e''_6, v'''_4, u'''_4, t'''_4, s'''_4, r'''_4, q'''_4, p'''_4, o'''_4, n'''_4, m'''_4, f''_5, l'''_4, k'''_4, j'''_4, i'''_4, h'''_4, g'''_4, e'''_4, s_{16}, d'''_4, c'_5, g''_6, t_{16}, u_{16}, z'_8, w'_8, v'_8, u'_8, t'_8, s'_8, r'_8, q'_8, h''_6, p'_8, o'_8, n'_8, m'_8, l'_8, k'_8, j'_8, i'_8, h'_8, g'_8, i''_6, f'_8, e'_8, d'_8, j''_6, k''_6
Rotate(B'_2, 120*°, A) → V_{16}
Rotate(D''_1, 120*°, A) → W_{16}
Rotate(E''_1, 120*°, A) → Z_{16}
Rotate(F''_1, 120*°, A) → A_{17}
Rotate(G''_1, 120*°, A) → B_{17}
Rotate(H''_1, 120*°, A) → C_{17}
Rotate(I''_1, 120*°, A) → D_{17}
Rotate(J''_1, 120*°, A) → E_{17}
Rotate(K''_1, 120*°, A) → F_{17}
Rotate(L''_1, 120*°, A) → G_{17}
Rotate(M''_1, 120*°, A) → H_{17}
Rotate(H_2, 120*°, A) → I_{17}
Rotate(O''_1, 120*°, A) → J_{17}
Rotate(P''_1, 120*°, A) → K_{17}
Rotate(Q''_1, 120*°, A) → L_{17}
Rotate(R''_1, 120*°, A) → M_{17}
Rotate(S''_1, 120*°, A) → N_{17}
Rotate(T''_1, 120*°, A) → O_{17}
Rotate(U''_1, 120*°, A) → P_{17}
Rotate(V''_1, 120*°, A) → Q_{17}
Rotate(W''_1, 120*°, A) → R_{17}
Rotate(Z''_1, 120*°, A) → S_{17}
Rotate(I_2, 120*°, A) → T_{17}
Rotate(J_2, 120*°, A) → U_{17}
Rotate(A', 120*°, A) → A''_1
Rotate(K_2, 120*°, A) → V_{17}
Rotate(L_2, 120*°, A) → W_{17}
Rotate(Z''', 120*°, A) → Z_{17}
Rotate(W''', 120*°, A) → A_{18}
Rotate(V''', 120*°, A) → B_{18}
Rotate(U''', 120*°, A) → C_{18}
Rotate(T''', 120*°, A) → D_{18}
Rotate(S''', 120*°, A) → E_{18}
Rotate(R''', 120*°, A) → F_{18}
Rotate(Q''', 120*°, A) → G_{18}
Rotate(P''', 120*°, A) → H_{18}
Rotate(O''', 120*°, A) → I_{18}
Rotate(N''', 120*°, A) → J_{18}
Rotate(M''', 120*°, A) → K_{18}
Rotate(L''', 120*°, A) → L_{18}
Rotate(K''', 120*°, A) → M_{18}
Rotate(J''', 120*°, A) → N_{18}
Rotate(I''', 120*°, A) → O_{18}
Rotate(H''', 120*°, A) → P_{18}
Rotate(G''', 120*°, A) → Q_{18}
Rotate(E''', 120*°, A) → R_{18}
Rotate(M_2, 120*°, A) → S_{18}
Rotate(D''', 120*°, A) → T_{18}
Rotate(C'_1, 120*°, A) → U_{18}
Rotate(N_2, 120*°, A) → V_{18}
Rotate(O_2, 120*°, A) → W_{18}
Rotate(Z'_2, 120*°, A) → Z_{18}
Rotate(W'_2, 120*°, A) → A_{19}
Rotate(V'_2, 120*°, A) → B_{19}
Rotate(U'_2, 120*°, A) → C_{19}
Rotate(T'_2, 120*°, A) → D_{19}
Rotate(S'_2, 120*°, A) → E_{19}
Rotate(R'_2, 120*°, A) → F_{19}
Rotate(Q'_2, 120*°, A) → G_{19}
Rotate(P'_2, 120*°, A) → H_{19}
Rotate(O'_2, 120*°, A) → I_{19}
Rotate(N'_2, 120*°, A) → J_{19}
Rotate(M'_2, 120*°, A) → K_{19}
Rotate(L'_2, 120*°, A) → L_{19}
Rotate(K'_2, 120*°, A) → M_{19}
Rotate(J'_2, 120*°, A) → N_{19}
Rotate(I'_2, 120*°, A) → O_{19}
Rotate(H'_2, 120*°, A) → P_{19}
Rotate(G'_2, 120*°, A) → Q_{19}
Rotate(F'_2, 120*°, A) → R_{19}
Rotate(E'_2, 120*°, A) → S_{19}
Rotate(D'_2, 120*°, A) → T_{19}
Polygon(V_{16}, W_{16}, H_{17}, I_{17}, J_{17}, K_{17}, L_{17}, M_{17}, N_{17}, O_{17}, P_{17}, Q_{17}, Z_{16}, R_{17}, S_{17}, T_{17}, U_{17}, A''_1, V_{17}, W_{17}, Z_{17}, A_{18}, B_{18}, A_{17}, C_{18}, D_{18}, E_{18}, F_{18}, G_{18}, H_{18}, I_{18}, J_{18}, K_{18}, L_{18}, B_{17}, M_{18}, N_{18}, O_{18}, P_{18}, Q_{18}, R_{18}, S_{18}, T_{18}, U_{18}, V_{18}, C_{17}, W_{18}, Z_{18}, A_{19}, B_{19}, C_{19}, D_{19}, E_{19}, F_{19}, G_{19}, H_{19}, D_{17}, I_{19}, J_{19}, K_{19}, L_{19}, M_{19}, N_{19}, O_{19}, P_{19}, Q_{19}, R_{19}, E_{17}, S_{19}, T_{19}, F_{17}, G_{17}) → poly2''_1, v_{16}, g_{17}, h_{17}, i_{17}, j_{17}, k_{17}, l_{17}, m_{17}, n_{17}, o_{17}, p_{17}, w_{16}, q_{17}, r_{17}, s_{17}, t_{17}, u_{17}, a''_1, v_{17}, w_{17}, z_{17}, a_{18}, z_{16}, b_{18}, c_{18}, d_{18}, e_{18}, f_{18}, g_{18}, h_{18}, i_{18}, j_{18}, k_{18}, a_{17}, l_{18}, m_{18}, n_{18}, o_{18}, p_{18}, q_{18}, r_{18}, s_{18}, t_{18}, u_{18}, b_{17}, v_{18}, w_{18}, z_{18}, a_{19}, b_{19}, c_{19}, d_{19}, e_{19}, f_{19}, g_{19}, c_{17}, h_{19}, i_{19}, j_{19}, k_{19}, l_{19}, m_{19}, n_{19}, o_{19}, p_{19}, q_{19}, d_{17}, r_{19}, s_{19}, t_{19}, e_{17}, f_{17}
Rotate(B'_4, 120*°, A) → U_{19}
Rotate(D''_3, 120*°, A) → V_{19}
Rotate(E''_3, 120*°, A) → W_{19}
Rotate(F''_3, 120*°, A) → Z_{19}
Rotate(G''_3, 120*°, A) → A_{20}
Rotate(H''_3, 120*°, A) → B_{20}
Rotate(I''_3, 120*°, A) → C_{20}
Rotate(J''_3, 120*°, A) → D_{20}
Rotate(K''_3, 120*°, A) → E_{20}
Rotate(L''_3, 120*°, A) → F_{20}
Rotate(M''_3, 120*°, A) → G_{20}
Rotate(W_4, 120*°, A) → H_{20}
Rotate(O''_3, 120*°, A) → I_{20}
Rotate(P''_3, 120*°, A) → J_{20}
Rotate(Q''_3, 120*°, A) → K_{20}
Rotate(R''_3, 120*°, A) → L_{20}
Rotate(S''_3, 120*°, A) → M_{20}
Rotate(T''_3, 120*°, A) → N_{20}
Rotate(U''_3, 120*°, A) → O_{20}
Rotate(V''_3, 120*°, A) → P_{20}
Rotate(W''_3, 120*°, A) → Q_{20}
Rotate(Z''_3, 120*°, A) → R_{20}
Rotate(Z_4, 120*°, A) → S_{20}
Rotate(A_5, 120*°, A) → T_{20}
Rotate(A'_1, 120*°, A) → U_{20}
Rotate(B_5, 120*°, A) → V_{20}
Rotate(C_5, 120*°, A) → W_{20}
Rotate(Z'''_2, 120*°, A) → Z_{20}
Rotate(W'''_2, 120*°, A) → A_{21}
Rotate(V'''_2, 120*°, A) → B_{21}
Rotate(U'''_2, 120*°, A) → C_{21}
Rotate(T'''_2, 120*°, A) → D_{21}
Rotate(S'''_2, 120*°, A) → E_{21}
Rotate(R'''_2, 120*°, A) → F_{21}
Rotate(Q'''_2, 120*°, A) → G_{21}
Rotate(P'''_2, 120*°, A) → H_{21}
Rotate(O'''_2, 120*°, A) → I_{21}
Rotate(N'''_2, 120*°, A) → J_{21}
Rotate(M'''_2, 120*°, A) → K_{21}
Rotate(L'''_2, 120*°, A) → L_{21}
Rotate(K'''_2, 120*°, A) → M_{21}
Rotate(J'''_2, 120*°, A) → N_{21}
Rotate(I'''_2, 120*°, A) → O_{21}
Rotate(H'''_2, 120*°, A) → P_{21}
Rotate(G'''_2, 120*°, A) → Q_{21}
Rotate(E'''_2, 120*°, A) → R_{21}
Rotate(D_5, 120*°, A) → S_{21}
Rotate(D'''_2, 120*°, A) → T_{21}
Rotate(C'_3, 120*°, A) → U_{21}
Rotate(E_5, 120*°, A) → V_{21}
Rotate(F_5, 120*°, A) → W_{21}
Rotate(Z'_5, 120*°, A) → Z_{21}
Rotate(W'_5, 120*°, A) → A_{22}
Rotate(V'_5, 120*°, A) → B_{22}
Rotate(U'_5, 120*°, A) → C_{22}
Rotate(T'_5, 120*°, A) → D_{22}
Rotate(S'_5, 120*°, A) → E_{22}
Rotate(R'_5, 120*°, A) → F_{22}
Rotate(Q'_5, 120*°, A) → G_{22}
Rotate(P'_5, 120*°, A) → H_{22}
Rotate(O'_5, 120*°, A) → I_{22}
Rotate(N'_5, 120*°, A) → J_{22}
Rotate(M'_5, 120*°, A) → K_{22}
Rotate(L'_5, 120*°, A) → L_{22}
Rotate(K'_5, 120*°, A) → M_{22}
Rotate(J'_5, 120*°, A) → N_{22}
Rotate(I'_5, 120*°, A) → O_{22}
Rotate(H'_5, 120*°, A) → P_{22}
Rotate(G'_5, 120*°, A) → Q_{22}
Rotate(F'_5, 120*°, A) → R_{22}
Rotate(E'_5, 120*°, A) → S_{22}
Rotate(D'_5, 120*°, A) → T_{22}
Polygon(U_{19}, V_{19}, G_{20}, H_{20}, I_{20}, J_{20}, K_{20}, L_{20}, M_{20}, N_{20}, O_{20}, P_{20}, W_{19}, Q_{20}, R_{20}, S_{20}, T_{20}, U_{20}, V_{20}, W_{20}, Z_{20}, A_{21}, B_{21}, Z_{19}, C_{21}, D_{21}, E_{21}, F_{21}, G_{21}, H_{21}, I_{21}, J_{21}, K_{21}, L_{21}, A_{20}, M_{21}, N_{21}, O_{21}, P_{21}, Q_{21}, R_{21}, S_{21}, T_{21}, U_{21}, V_{21}, B_{20}, W_{21}, Z_{21}, A_{22}, B_{22}, C_{22}, D_{22}, E_{22}, F_{22}, G_{22}, H_{22}, C_{20}, I_{22}, J_{22}, K_{22}, L_{22}, M_{22}, N_{22}, O_{22}, P_{22}, Q_{22}, R_{22}, D_{20}, S_{22}, T_{22}, E_{20}, F_{20}) → poly3, u_{19}, f_{20}, g_{20}, h_{20}, i_{20}, j_{20}, k_{20}, l_{20}, m_{20}, n_{20}, o_{20}, v_{19}, p_{20}, q_{20}, r_{20}, s_{20}, t_{20}, u_{20}, v_{20}, w_{20}, z_{20}, a_{21}, w_{19}, b_{21}, c_{21}, d_{21}, e_{21}, f_{21}, g_{21}, h_{21}, i_{21}, j_{21}, k_{21}, z_{19}, l_{21}, m_{21}, n_{21}, o_{21}, p_{21}, q_{21}, r_{21}, s_{21}, t_{21}, u_{21}, a_{20}, v_{21}, w_{21}, z_{21}, a_{22}, b_{22}, c_{22}, d_{22}, e_{22}, f_{22}, g_{22}, b_{20}, h_{22}, i_{22}, j_{22}, k_{22}, l_{22}, m_{22}, n_{22}, o_{22}, p_{22}, q_{22}, c_{20}, r_{22}, s_{22}, t_{22}, d_{20}, e_{20}
Rotate(G_5, 120*°, A) → U_{22}
Rotate(H_5, 120*°, A) → V_{22}
Rotate(I_5, 120*°, A) → W_{22}
Rotate(J_5, 120*°, A) → Z_{22}
Rotate(K_5, 120*°, A) → A_{23}
Rotate(L_5, 120*°, A) → B_{23}
Rotate(M_5, 120*°, A) → C_{23}
Rotate(N_5, 120*°, A) → D_{23}
Rotate(O_5, 120*°, A) → E_{23}
Rotate(P_5, 120*°, A) → F_{23}
Rotate(Q_5, 120*°, A) → G_{23}
Rotate(R_5, 120*°, A) → H_{23}
Rotate(S_5, 120*°, A) → I_{23}
Rotate(T_5, 120*°, A) → J_{23}
Rotate(U_5, 120*°, A) → K_{23}
Rotate(V_5, 120*°, A) → L_{23}
Rotate(W_5, 120*°, A) → M_{23}
Rotate(Z_5, 120*°, A) → N_{23}
Rotate(A_6, 120*°, A) → O_{23}
Rotate(B_6, 120*°, A) → P_{23}
Rotate(C_6, 120*°, A) → Q_{23}
Rotate(D_6, 120*°, A) → R_{23}
Rotate(E_6, 120*°, A) → S_{23}
Rotate(F_6, 120*°, A) → T_{23}
Rotate(A'', 120*°, A) → A'''
Rotate(G_6, 120*°, A) → U_{23}
Rotate(H_6, 120*°, A) → V_{23}
Rotate(I_6, 120*°, A) → W_{23}
Rotate(J_6, 120*°, A) → Z_{23}
Rotate(K_6, 120*°, A) → A_{24}
Rotate(L_6, 120*°, A) → B_{24}
Rotate(M_6, 120*°, A) → C_{24}
Rotate(N_6, 120*°, A) → D_{24}
Rotate(O_6, 120*°, A) → E_{24}
Rotate(P_6, 120*°, A) → F_{24}
Rotate(Q_6, 120*°, A) → G_{24}
Rotate(R_6, 120*°, A) → H_{24}
Rotate(S_6, 120*°, A) → I_{24}
Rotate(T_6, 120*°, A) → J_{24}
Rotate(U_6, 120*°, A) → K_{24}
Rotate(V_6, 120*°, A) → L_{24}
Rotate(W_6, 120*°, A) → M_{24}
Rotate(Z_6, 120*°, A) → N_{24}
Rotate(A_7, 120*°, A) → O_{24}
Rotate(B_7, 120*°, A) → P_{24}
Rotate(C_7, 120*°, A) → Q_{24}
Rotate(D_7, 120*°, A) → R_{24}
Rotate(E_7, 120*°, A) → S_{24}
Rotate(F_7, 120*°, A) → T_{24}
Rotate(G_7, 120*°, A) → U_{24}
Rotate(H_7, 120*°, A) → V_{24}
Rotate(I_7, 120*°, A) → W_{24}
Rotate(J_7, 120*°, A) → Z_{24}
Rotate(K_7, 120*°, A) → A_{25}
Rotate(L_7, 120*°, A) → B_{25}
Rotate(M_7, 120*°, A) → C_{25}
Rotate(N_7, 120*°, A) → D_{25}
Rotate(O_7, 120*°, A) → E_{25}
Rotate(P_7, 120*°, A) → F_{25}
Rotate(Q_7, 120*°, A) → G_{25}
Rotate(R_7, 120*°, A) → H_{25}
Rotate(S_7, 120*°, A) → I_{25}
Rotate(T_7, 120*°, A) → J_{25}
Rotate(U_7, 120*°, A) → K_{25}
Rotate(V_7, 120*°, A) → L_{25}
Rotate(W_7, 120*°, A) → M_{25}
Rotate(Z_7, 120*°, A) → N_{25}
Rotate(A_8, 120*°, A) → O_{25}
Rotate(B_8, 120*°, A) → P_{25}
Rotate(C_8, 120*°, A) → Q_{25}
Rotate(D_8, 120*°, A) → R_{25}
Rotate(E_8, 120*°, A) → S_{25}
Polygon(U_{22}, V_{22}, G_{23}, H_{23}, I_{23}, J_{23}, K_{23}, L_{23}, M_{23}, N_{23}, O_{23}, P_{23}, W_{22}, Q_{23}, R_{23}, S_{23}, T_{23}, A''', U_{23}, V_{23}, W_{23}, Z_{23}, A_{24}, Z_{22}, B_{24}, C_{24}, D_{24}, E_{24}, F_{24}, G_{24}, H_{24}, I_{24}, J_{24}, K_{24}, A_{23}, L_{24}, M_{24}, N_{24}, O_{24}, P_{24}, Q_{24}, R_{24}, S_{24}, T_{24}, U_{24}, B_{23}, V_{24}, W_{24}, Z_{24}, A_{25}, B_{25}, C_{25}, D_{25}, E_{25}, F_{25}, G_{25}, C_{23}, H_{25}, I_{25}, J_{25}, K_{25}, L_{25}, M_{25}, N_{25}, O_{25}, P_{25}, Q_{25}, D_{23}, R_{25}, S_{25}, E_{23}, F_{23}) → poly2''', u_{22}, f_{23}, g_{23}, h_{23}, i_{23}, j_{23}, k_{23}, l_{23}, m_{23}, n_{23}, o_{23}, v_{22}, p_{23}, q_{23}, r_{23}, s_{23}, t_{23}, a''', u_{23}, v_{23}, w_{23}, z_{23}, w_{22}, a_{24}, b_{24}, c_{24}, d_{24}, e_{24}, f_{24}, g_{24}, h_{24}, i_{24}, j_{24}, z_{22}, k_{24}, l_{24}, m_{24}, n_{24}, o_{24}, p_{24}, q_{24}, r_{24}, s_{24}, t_{24}, a_{23}, u_{24}, v_{24}, w_{24}, z_{24}, a_{25}, b_{25}, c_{25}, d_{25}, e_{25}, f_{25}, b_{23}, g_{25}, h_{25}, i_{25}, j_{25}, k_{25}, l_{25}, m_{25}, n_{25}, o_{25}, p_{25}, c_{23}, q_{25}, r_{25}, s_{25}, d_{23}, e_{23}
Rotate(B, 120*°, A) → B'_7
Rotate(D, 120*°, A) → D'_9
Segment(B'_7, D'_9) → d'_6
Rotate(D, 120*°, A) → D'_{10}
Rotate(E, 120*°, A) → E'_9
Segment(D'_{10}, E'_9) → e'_6
Rotate(E, 120*°, A) → E'_{10}
Rotate(F, 120*°, A) → F'_9
Segment(E'_{10}, F'_9) → f'_6
Rotate(F, 120*°, A) → F'_{10}
Rotate(G, 120*°, A) → G'_9
Segment(F'_{10}, G'_9) → g'_6
Rotate(G, 120*°, A) → G'_{10}
Rotate(H, 120*°, A) → H'_9
Segment(G'_{10}, H'_9) → h'_6
Rotate(H, 120*°, A) → H'_{10}
Rotate(I, 120*°, A) → I'_9
Segment(H'_{10}, I'_9) → i'_6
Rotate(I, 120*°, A) → I'_{10}
Rotate(J, 120*°, A) → J'_9
Segment(I'_{10}, J'_9) → j'_6
Rotate(J, 120*°, A) → J'_{10}
Rotate(K, 120*°, A) → K'_9
Segment(J'_{10}, K'_9) → k'_6
Rotate(K, 120*°, A) → K'_{10}
Rotate(L, 120*°, A) → L'_9
Segment(K'_{10}, L'_9) → l'_6
Rotate(L, 120*°, A) → L'_{10}
Rotate(M, 120*°, A) → M'_9
Segment(L'_{10}, M'_9) → m'_7
Rotate(M, 120*°, A) → M'_{10}
Rotate(N, 120*°, A) → N'_9
Segment(M'_{10}, N'_9) → n'_4
Rotate(N, 120*°, A) → N'_{10}
Rotate(O, 120*°, A) → O'_9
Segment(N'_{10}, O'_9) → p'_6
Rotate(O, 120*°, A) → O'_{10}
Rotate(P, 120*°, A) → P'_9
Segment(O'_{10}, P'_9) → q'_6
Rotate(P, 120*°, A) → P'_{10}
Rotate(Q, 120*°, A) → Q'_9
Segment(P'_{10}, Q'_9) → r'_6
Rotate(Q, 120*°, A) → Q'_{10}
Rotate(R, 120*°, A) → R'_9
Segment(Q'_{10}, R'_9) → s'_6
Rotate(R, 120*°, A) → R'_{10}
Rotate(S, 120*°, A) → S'_9
Segment(R'_{10}, S'_9) → t'_6
Rotate(S, 120*°, A) → S'_{10}
Rotate(T, 120*°, A) → T'_9
Segment(S'_{10}, T'_9) → l_{13}
Rotate(T, 120*°, A) → T'_{10}
Rotate(U, 120*°, A) → U'_9
Segment(T'_{10}, U'_9) → m_{13}
Rotate(U, 120*°, A) → U'_{10}
Rotate(V, 120*°, A) → V'_9
Segment(U'_{10}, V'_9) → n_{13}
Rotate(V, 120*°, A) → V'_{10}
Rotate(W, 120*°, A) → W'_9
Segment(V'_{10}, W'_9) → p_{13}
Rotate(W, 120*°, A) → W'_{10}
Rotate(Z, 120*°, A) → Z'_9
Segment(W'_{10}, Z'_9) → q_{13}
Rotate(Z, 120*°, A) → Z'_{10}
Rotate(A_1, 120*°, A) → T_{25}
Segment(Z'_{10}, T_{25}) → r_{13}
Rotate(A_1, 120*°, A) → U_{25}
Rotate(B_1, 120*°, A) → V_{25}
Segment(U_{25}, V_{25}) → s_{13}
Rotate(B_1, 120*°, A) → W_{25}
Rotate(C, 120*°, A) → C'_6
Segment(W_{25}, C'_6) → t_{13}
Rotate(B', 120*°, A) → B''_3
Rotate(D', 120*°, A) → D''_6
Segment(B''_3, D''_6) → d''_7
Rotate(D'_1, 120*°, A) → Z_{25}
Rotate(E', 120*°, A) → E''_6
Segment(Z_{25}, E''_6) → e''_7
Rotate(E'_1, 120*°, A) → A_{26}
Rotate(F', 120*°, A) → F''_6
Segment(A_{26}, F''_6) → f''_6
Rotate(F'_1, 120*°, A) → B_{26}
Rotate(G', 120*°, A) → G''_6
Segment(B_{26}, G''_6) → g''_7
Rotate(G'_1, 120*°, A) → C_{26}
Rotate(H', 120*°, A) → H''_6
Segment(C_{26}, H''_6) → h''_7
Rotate(H'_1, 120*°, A) → D_{26}
Rotate(I', 120*°, A) → I''_6
Segment(D_{26}, I''_6) → i''_7
Rotate(I'_1, 120*°, A) → E_{26}
Rotate(J', 120*°, A) → J''_6
Segment(E_{26}, J''_6) → j''_7
Rotate(J'_1, 120*°, A) → F_{26}
Rotate(K', 120*°, A) → K''_6
Segment(F_{26}, K''_6) → k''_7
Rotate(K'_1, 120*°, A) → G_{26}
Rotate(L', 120*°, A) → L''_6
Segment(G_{26}, L''_6) → l''_7
Rotate(L'_1, 120*°, A) → H_{26}
Rotate(M', 120*°, A) → M''_6
Segment(H_{26}, M''_6) → m''_7
Rotate(M'_1, 120*°, A) → I_{26}
Rotate(N', 120*°, A) → N''_3
Segment(I_{26}, N''_3) → n''_4
Rotate(N'_1, 120*°, A) → J_{26}
Rotate(O', 120*°, A) → O''_6
Segment(J_{26}, O''_6) → p''_7
Rotate(O'_1, 120*°, A) → K_{26}
Rotate(P', 120*°, A) → P''_6
Segment(K_{26}, P''_6) → q''_7
Rotate(P'_1, 120*°, A) → L_{26}
Rotate(Q', 120*°, A) → Q''_6
Segment(L_{26}, Q''_6) → r''_7
Rotate(Q'_1, 120*°, A) → M_{26}
Rotate(R', 120*°, A) → R''_6
Segment(M_{26}, R''_6) → s''_7
Rotate(R'_1, 120*°, A) → N_{26}
Rotate(S', 120*°, A) → S''_6
Segment(N_{26}, S''_6) → t''_7
Rotate(S'_1, 120*°, A) → O_{26}
Rotate(T', 120*°, A) → T''_6
Segment(O_{26}, T''_6) → a_{14}
Rotate(T'_1, 120*°, A) → P_{26}
Rotate(U', 120*°, A) → U''_6
Segment(P_{26}, U''_6) → b_{14}
Rotate(U'_1, 120*°, A) → Q_{26}
Rotate(V', 120*°, A) → V''_6
Segment(Q_{26}, V''_6) → c_{14}
Rotate(V'_1, 120*°, A) → R_{26}
Rotate(W', 120*°, A) → W''_6
Segment(R_{26}, W''_6) → d_{14}
Rotate(W'_1, 120*°, A) → S_{26}
Rotate(Z', 120*°, A) → Z''_6
Segment(S_{26}, Z''_6) → e_{14}
Rotate(Z'_1, 120*°, A) → T_{26}
Rotate(C_1, 120*°, A) → U_{26}
Segment(T_{26}, U_{26}) → f_{14}
Rotate(D_1, 120*°, A) → V_{26}
Rotate(E_1, 120*°, A) → W_{26}
Segment(V_{26}, W_{26}) → g_{14}
Rotate(F_1, 120*°, A) → Z_{26}
Rotate(C', 120*°, A) → C''_3
Segment(Z_{26}, C''_3) → h_{14}
Rotate(B'', 120*°, A) → B'''_2
Rotate(D'', 120*°, A) → D'''_5
Segment(B'''_2, D'''_5) → d'''_5
Rotate(G_1, 120*°, A) → A_{27}
Rotate(E'', 120*°, A) → E'''_5
Segment(A_{27}, E'''_5) → e'''_5
Rotate(H_1, 120*°, A) → B_{27}
Rotate(F'', 120*°, A) → F'''_2
Segment(B_{27}, F'''_2) → f'''_2
Rotate(I_1, 120*°, A) → C_{27}
Rotate(G'', 120*°, A) → G'''_5
Segment(C_{27}, G'''_5) → g'''_5
Rotate(J_1, 120*°, A) → D_{27}
Rotate(H'', 120*°, A) → H'''_5
Segment(D_{27}, H'''_5) → h'''_5
Rotate(K_1, 120*°, A) → E_{27}
Rotate(I'', 120*°, A) → I'''_5
Segment(E_{27}, I'''_5) → i'''_5
Rotate(L_1, 120*°, A) → F_{27}
Rotate(J'', 120*°, A) → J'''_5
Segment(F_{27}, J'''_5) → j'''_5
Rotate(M_1, 120*°, A) → G_{27}
Rotate(K'', 120*°, A) → K'''_5
Segment(G_{27}, K'''_5) → k'''_5
Rotate(N_1, 120*°, A) → H_{27}
Rotate(L'', 120*°, A) → L'''_5
Segment(H_{27}, L'''_5) → l'''_5
Rotate(O_1, 120*°, A) → I_{27}
Rotate(M'', 120*°, A) → M'''_5
Segment(I_{27}, M'''_5) → m'''_5
Rotate(P_1, 120*°, A) → J_{27}
Rotate(N'', 120*°, A) → N'''_5
Segment(J_{27}, N'''_5) → n'''_5
Rotate(Q_1, 120*°, A) → K_{27}
Rotate(O'', 120*°, A) → O'''_5
Segment(K_{27}, O'''_5) → p'''_5
Rotate(R_1, 120*°, A) → L_{27}
Rotate(P'', 120*°, A) → P'''_5
Segment(L_{27}, P'''_5) → q'''_5
Rotate(S_1, 120*°, A) → M_{27}
Rotate(Q'', 120*°, A) → Q'''_5
Segment(M_{27}, Q'''_5) → r'''_5
Rotate(T_1, 120*°, A) → N_{27}
Rotate(R'', 120*°, A) → R'''_5
Segment(N_{27}, R'''_5) → s'''_5
Rotate(U_1, 120*°, A) → O_{27}
Rotate(S'', 120*°, A) → S'''_5
Segment(O_{27}, S'''_5) → t'''_5
Rotate(V_1, 120*°, A) → P_{27}
Rotate(T'', 120*°, A) → T'''_5
Segment(P_{27}, T'''_5) → i_{14}
Rotate(W_1, 120*°, A) → Q_{27}
Rotate(U'', 120*°, A) → U'''_5
Segment(Q_{27}, U'''_5) → j_{14}
Rotate(Z_1, 120*°, A) → R_{27}
Rotate(V'', 120*°, A) → V'''_5
Segment(R_{27}, V'''_5) → k_{14}
Rotate(A_2, 120*°, A) → S_{27}
Rotate(W'', 120*°, A) → W'''_5
Segment(S_{27}, W'''_5) → l_{14}
Rotate(B_2, 120*°, A) → T_{27}
Rotate(Z'', 120*°, A) → Z'''_5
Segment(T_{27}, Z'''_5) → m_{14}
Rotate(C_2, 120*°, A) → U_{27}
Rotate(D_2, 120*°, A) → V_{27}
Segment(U_{27}, V_{27}) → n_{14}
Rotate(E_2, 120*°, A) → W_{27}
Rotate(F_2, 120*°, A) → Z_{27}
Segment(W_{27}, Z_{27}) → p_{14}
Rotate(G_2, 120*°, A) → A_{28}
Rotate(C'', 120*°, A) → C'''_2
Segment(A_{28}, C'''_2) → q_{14}
Rotate(B'_3, 120*°, A) → B_{28}
Rotate(D'_3, 120*°, A) → C_{28}
Segment(B_{28}, C_{28}) → r_{14}
Rotate(D'_4, 120*°, A) → D_{28}
Rotate(E'_3, 120*°, A) → E_{28}
Segment(D_{28}, E_{28}) → s_{14}
Rotate(E'_4, 120*°, A) → F_{28}
Rotate(F'_3, 120*°, A) → G_{28}
Segment(F_{28}, G_{28}) → t_{14}
Rotate(F'_4, 120*°, A) → H_{28}
Rotate(G'_3, 120*°, A) → I_{28}
Segment(H_{28}, I_{28}) → a_{15}
Rotate(G'_4, 120*°, A) → J_{28}
Rotate(H'_3, 120*°, A) → K_{28}
Segment(J_{28}, K_{28}) → b_{15}
Rotate(H'_4, 120*°, A) → L_{28}
Rotate(I'_3, 120*°, A) → M_{28}
Segment(L_{28}, M_{28}) → c_{15}
Rotate(I'_4, 120*°, A) → N_{28}
Rotate(J'_3, 120*°, A) → O_{28}
Segment(N_{28}, O_{28}) → d_{15}
Rotate(J'_4, 120*°, A) → P_{28}
Rotate(K'_3, 120*°, A) → Q_{28}
Segment(P_{28}, Q_{28}) → e_{15}
Rotate(K'_4, 120*°, A) → R_{28}
Rotate(L'_3, 120*°, A) → S_{28}
Segment(R_{28}, S_{28}) → f_{15}
Rotate(L'_4, 120*°, A) → T_{28}
Rotate(M'_3, 120*°, A) → U_{28}
Segment(T_{28}, U_{28}) → g_{15}
Rotate(M'_4, 120*°, A) → V_{28}
Rotate(N'_3, 120*°, A) → W_{28}
Segment(V_{28}, W_{28}) → h_{15}
Rotate(N'_4, 120*°, A) → Z_{28}
Rotate(O'_3, 120*°, A) → A_{29}
Segment(Z_{28}, A_{29}) → i_{15}
Rotate(O'_4, 120*°, A) → B_{29}
Rotate(P'_3, 120*°, A) → C_{29}
Segment(B_{29}, C_{29}) → j_{15}
Rotate(P'_4, 120*°, A) → D_{29}
Rotate(Q'_3, 120*°, A) → E_{29}
Segment(D_{29}, E_{29}) → k_{15}
Rotate(Q'_4, 120*°, A) → F_{29}
Rotate(R'_3, 120*°, A) → G_{29}
Segment(F_{29}, G_{29}) → l_{15}
Rotate(R'_4, 120*°, A) → H_{29}
Rotate(S'_3, 120*°, A) → I_{29}
Segment(H_{29}, I_{29}) → m_{15}
Rotate(S'_4, 120*°, A) → J_{29}
Rotate(T'_3, 120*°, A) → K_{29}
Segment(J_{29}, K_{29}) → n_{15}
Rotate(T'_4, 120*°, A) → L_{29}
Rotate(U'_3, 120*°, A) → M_{29}
Segment(L_{29}, M_{29}) → p_{15}
Rotate(U'_4, 120*°, A) → N_{29}
Rotate(V'_3, 120*°, A) → O_{29}
Segment(N_{29}, O_{29}) → q_{15}
Rotate(V'_4, 120*°, A) → P_{29}
Rotate(W'_3, 120*°, A) → Q_{29}
Segment(P_{29}, Q_{29}) → r_{15}
Rotate(W'_4, 120*°, A) → R_{29}
Rotate(Z'_3, 120*°, A) → S_{29}
Segment(R_{29}, S_{29}) → s_{15}
Rotate(Z'_4, 120*°, A) → T_{29}
Rotate(P_2, 120*°, A) → U_{29}
Segment(T_{29}, U_{29}) → t_{15}
Rotate(Q_2, 120*°, A) → V_{29}
Rotate(R_2, 120*°, A) → W_{29}
Segment(V_{29}, W_{29}) → a_{16}
Rotate(S_2, 120*°, A) → Z_{29}
Rotate(C'_2, 120*°, A) → A_{30}
Segment(Z_{29}, A_{30}) → b_{16}
Rotate(B''_1, 120*°, A) → B_{30}
Rotate(D''_2, 120*°, A) → C_{30}
Segment(B_{30}, C_{30}) → c_{16}
Rotate(T_2, 120*°, A) → D_{30}
Rotate(E''_2, 120*°, A) → E_{30}
Segment(D_{30}, E_{30}) → d_{16}
Rotate(U_2, 120*°, A) → F_{30}
Rotate(F''_2, 120*°, A) → G_{30}
Segment(F_{30}, G_{30}) → e_{16}
Rotate(V_2, 120*°, A) → H_{30}
Rotate(G''_2, 120*°, A) → I_{30}
Segment(H_{30}, I_{30}) → f_{16}
Rotate(W_2, 120*°, A) → J_{30}
Rotate(H''_2, 120*°, A) → K_{30}
Segment(J_{30}, K_{30}) → g_{16}
Rotate(Z_2, 120*°, A) → L_{30}
Rotate(I''_2, 120*°, A) → M_{30}
Segment(L_{30}, M_{30}) → h_{16}
Rotate(A_3, 120*°, A) → N_{30}
Rotate(J''_2, 120*°, A) → O_{30}
Segment(N_{30}, O_{30}) → i_{16}
Rotate(B_3, 120*°, A) → P_{30}
Rotate(K''_2, 120*°, A) → Q_{30}
Segment(P_{30}, Q_{30}) → j_{16}
Rotate(C_3, 120*°, A) → R_{30}
Rotate(L''_2, 120*°, A) → S_{30}
Segment(R_{30}, S_{30}) → k_{16}
Rotate(D_3, 120*°, A) → T_{30}
Rotate(M''_2, 120*°, A) → U_{30}
Segment(T_{30}, U_{30}) → l_{16}
Rotate(E_3, 120*°, A) → V_{30}
Rotate(N''_1, 120*°, A) → W_{30}
Segment(V_{30}, W_{30}) → m_{16}
Rotate(F_3, 120*°, A) → Z_{30}
Rotate(O''_2, 120*°, A) → A_{31}
Segment(Z_{30}, A_{31}) → t_{25}
Rotate(G_3, 120*°, A) → B_{31}
Rotate(P''_2, 120*°, A) → C_{31}
Segment(B_{31}, C_{31}) → a_{26}
Rotate(H_3, 120*°, A) → D_{31}
Rotate(Q''_2, 120*°, A) → E_{31}
Segment(D_{31}, E_{31}) → b_{26}
Rotate(I_3, 120*°, A) → F_{31}
Rotate(R''_2, 120*°, A) → G_{31}
Segment(F_{31}, G_{31}) → c_{26}
Rotate(J_3, 120*°, A) → H_{31}
Rotate(S''_2, 120*°, A) → I_{31}
Segment(H_{31}, I_{31}) → d_{26}
Rotate(K_3, 120*°, A) → J_{31}
Rotate(T''_2, 120*°, A) → K_{31}
Segment(J_{31}, K_{31}) → e_{26}
Rotate(L_3, 120*°, A) → L_{31}
Rotate(U''_2, 120*°, A) → M_{31}
Segment(L_{31}, M_{31}) → f_{26}
Rotate(M_3, 120*°, A) → N_{31}
Rotate(V''_2, 120*°, A) → O_{31}
Segment(N_{31}, O_{31}) → g_{26}
Rotate(N_3, 120*°, A) → P_{31}
Rotate(W''_2, 120*°, A) → Q_{31}
Segment(P_{31}, Q_{31}) → h_{26}
Rotate(O_3, 120*°, A) → R_{31}
Rotate(Z''_2, 120*°, A) → S_{31}
Segment(R_{31}, S_{31}) → i_{26}
Rotate(P_3, 120*°, A) → T_{31}
Rotate(Q_3, 120*°, A) → U_{31}
Segment(T_{31}, U_{31}) → j_{26}
Rotate(R_3, 120*°, A) → V_{31}
Rotate(S_3, 120*°, A) → W_{31}
Segment(V_{31}, W_{31}) → k_{26}
Rotate(T_3, 120*°, A) → Z_{31}
Rotate(C''_1, 120*°, A) → A_{32}
Segment(Z_{31}, A_{32}) → l_{26}
Rotate(B''', 120*°, A) → B_{32}
Rotate(D'''_1, 120*°, A) → C_{32}
Segment(B_{32}, C_{32}) → m_{26}
Rotate(U_3, 120*°, A) → D_{32}
Rotate(E'''_1, 120*°, A) → E_{32}
Segment(D_{32}, E_{32}) → n_{26}
Rotate(V_3, 120*°, A) → F_{32}
Rotate(F''', 120*°, A) → G_{32}
Segment(F_{32}, G_{32}) → p_{26}
Rotate(W_3, 120*°, A) → H_{32}
Rotate(G'''_1, 120*°, A) → I_{32}
Segment(H_{32}, I_{32}) → q_{26}
Rotate(Z_3, 120*°, A) → J_{32}
Rotate(H'''_1, 120*°, A) → K_{32}
Segment(J_{32}, K_{32}) → r_{26}
Rotate(A_4, 120*°, A) → L_{32}
Rotate(I'''_1, 120*°, A) → M_{32}
Segment(L_{32}, M_{32}) → s_{26}
Rotate(B_4, 120*°, A) → N_{32}
Rotate(J'''_1, 120*°, A) → O_{32}
Segment(N_{32}, O_{32}) → t_{26}
Rotate(C_4, 120*°, A) → P_{32}
Rotate(K'''_1, 120*°, A) → Q_{32}
Segment(P_{32}, Q_{32}) → a_{27}
Rotate(D_4, 120*°, A) → R_{32}
Rotate(L'''_1, 120*°, A) → S_{32}
Segment(R_{32}, S_{32}) → b_{27}
Rotate(E_4, 120*°, A) → T_{32}
Rotate(M'''_1, 120*°, A) → U_{32}
Segment(T_{32}, U_{32}) → c_{27}
Rotate(F_4, 120*°, A) → V_{32}
Rotate(N'''_1, 120*°, A) → W_{32}
Segment(V_{32}, W_{32}) → d_{27}
Rotate(G_4, 120*°, A) → Z_{32}
Rotate(O'''_1, 120*°, A) → A_{33}
Segment(Z_{32}, A_{33}) → e_{27}
Rotate(H_4, 120*°, A) → B_{33}
Rotate(P'''_1, 120*°, A) → C_{33}
Segment(B_{33}, C_{33}) → f_{27}
Rotate(I_4, 120*°, A) → D_{33}
Rotate(Q'''_1, 120*°, A) → E_{33}
Segment(D_{33}, E_{33}) → g_{27}
Rotate(J_4, 120*°, A) → F_{33}
Rotate(R'''_1, 120*°, A) → G_{33}
Segment(F_{33}, G_{33}) → h_{27}
Rotate(K_4, 120*°, A) → H_{33}
Rotate(S'''_1, 120*°, A) → I_{33}
Segment(H_{33}, I_{33}) → i_{27}
Rotate(L_4, 120*°, A) → J_{33}
Rotate(T'''_1, 120*°, A) → K_{33}
Segment(J_{33}, K_{33}) → j_{27}
Rotate(M_4, 120*°, A) → L_{33}
Rotate(U'''_1, 120*°, A) → M_{33}
Segment(L_{33}, M_{33}) → k_{27}
Rotate(N_4, 120*°, A) → N_{33}
Rotate(V'''_1, 120*°, A) → O_{33}
Segment(N_{33}, O_{33}) → l_{27}
Rotate(O_4, 120*°, A) → P_{33}
Rotate(W'''_1, 120*°, A) → Q_{33}
Segment(P_{33}, Q_{33}) → m_{27}
Rotate(P_4, 120*°, A) → R_{33}
Rotate(Z'''_1, 120*°, A) → S_{33}
Segment(R_{33}, S_{33}) → n_{27}
Rotate(Q_4, 120*°, A) → T_{33}
Rotate(R_4, 120*°, A) → U_{33}
Segment(T_{33}, U_{33}) → p_{27}
Rotate(S_4, 120*°, A) → V_{33}
Rotate(T_4, 120*°, A) → W_{33}
Segment(V_{33}, W_{33}) → q_{27}
Rotate(U_4, 120*°, A) → Z_{33}
Rotate(C''', 120*°, A) → A_{34}
Segment(Z_{33}, A_{34}) → r_{27}
Rotate(B'_5, 120*°, A) → B_{34}
Rotate(D'_6, 120*°, A) → C_{34}
Segment(B_{34}, C_{34}) → s_{27}
Rotate(D'_7, 120*°, A) → D_{34}
Rotate(E'_6, 120*°, A) → E_{34}
Segment(D_{34}, E_{34}) → t_{27}
Rotate(E'_7, 120*°, A) → F_{34}
Rotate(F'_6, 120*°, A) → G_{34}
Segment(F_{34}, G_{34}) → a_{28}
Rotate(F'_7, 120*°, A) → H_{34}
Rotate(G'_6, 120*°, A) → I_{34}
Segment(H_{34}, I_{34}) → b_{28}
Rotate(G'_7, 120*°, A) → J_{34}
Rotate(H'_6, 120*°, A) → K_{34}
Segment(J_{34}, K_{34}) → c_{28}
Rotate(H'_7, 120*°, A) → L_{34}
Rotate(I'_6, 120*°, A) → M_{34}
Segment(L_{34}, M_{34}) → d_{28}
Rotate(I'_7, 120*°, A) → N_{34}
Rotate(J'_6, 120*°, A) → O_{34}
Segment(N_{34}, O_{34}) → e_{28}
Rotate(J'_7, 120*°, A) → P_{34}
Rotate(K'_6, 120*°, A) → Q_{34}
Segment(P_{34}, Q_{34}) → f_{28}
Rotate(K'_7, 120*°, A) → R_{34}
Rotate(L'_6, 120*°, A) → S_{34}
Segment(R_{34}, S_{34}) → g_{28}
Rotate(L'_7, 120*°, A) → T_{34}
Rotate(M'_6, 120*°, A) → U_{34}
Segment(T_{34}, U_{34}) → h_{28}
Rotate(M'_7, 120*°, A) → V_{34}
Rotate(N'_6, 120*°, A) → W_{34}
Segment(V_{34}, W_{34}) → i_{28}
Rotate(N'_7, 120*°, A) → Z_{34}
Rotate(O'_6, 120*°, A) → A_{35}
Segment(Z_{34}, A_{35}) → j_{28}
Rotate(O'_7, 120*°, A) → B_{35}
Rotate(P'_6, 120*°, A) → C_{35}
Segment(B_{35}, C_{35}) → k_{28}
Rotate(P'_7, 120*°, A) → D_{35}
Rotate(Q'_6, 120*°, A) → E_{35}
Segment(D_{35}, E_{35}) → l_{28}
Rotate(Q'_7, 120*°, A) → F_{35}
Rotate(R'_6, 120*°, A) → G_{35}
Segment(F_{35}, G_{35}) → m_{28}
Rotate(R'_7, 120*°, A) → H_{35}
Rotate(S'_6, 120*°, A) → I_{35}
Segment(H_{35}, I_{35}) → n_{28}
Rotate(S'_7, 120*°, A) → J_{35}
Rotate(T'_6, 120*°, A) → K_{35}
Segment(J_{35}, K_{35}) → p_{28}
Rotate(T'_7, 120*°, A) → L_{35}
Rotate(U'_6, 120*°, A) → M_{35}
Segment(L_{35}, M_{35}) → q_{28}
Rotate(U'_7, 120*°, A) → N_{35}
Rotate(V'_6, 120*°, A) → O_{35}
Segment(N_{35}, O_{35}) → r_{28}
Rotate(V'_7, 120*°, A) → P_{35}
Rotate(W'_6, 120*°, A) → Q_{35}
Segment(P_{35}, Q_{35}) → s_{28}
Rotate(W'_7, 120*°, A) → R_{35}
Rotate(Z'_6, 120*°, A) → S_{35}
Segment(R_{35}, S_{35}) → t_{28}
Rotate(Z'_7, 120*°, A) → T_{35}
Rotate(F_8, 120*°, A) → U_{35}
Segment(T_{35}, U_{35}) → a_{29}
Rotate(G_8, 120*°, A) → V_{35}
Rotate(H_8, 120*°, A) → W_{35}
Segment(V_{35}, W_{35}) → b_{29}
Rotate(I_8, 120*°, A) → Z_{35}
Rotate(C'_4, 120*°, A) → A_{36}
Segment(Z_{35}, A_{36}) → c_{29}
Rotate(B''_2, 120*°, A) → B_{36}
Rotate(D''_4, 120*°, A) → C_{36}
Segment(B_{36}, C_{36}) → d_{29}
Rotate(J_8, 120*°, A) → D_{36}
Rotate(E''_4, 120*°, A) → E_{36}
Segment(D_{36}, E_{36}) → e_{29}
Rotate(K_8, 120*°, A) → F_{36}
Rotate(F''_4, 120*°, A) → G_{36}
Segment(F_{36}, G_{36}) → f_{29}
Rotate(L_8, 120*°, A) → H_{36}
Rotate(G''_4, 120*°, A) → I_{36}
Segment(H_{36}, I_{36}) → g_{29}
Rotate(M_8, 120*°, A) → J_{36}
Rotate(H''_4, 120*°, A) → K_{36}
Segment(J_{36}, K_{36}) → h_{29}
Rotate(N_8, 120*°, A) → L_{36}
Rotate(I''_4, 120*°, A) → M_{36}
Segment(L_{36}, M_{36}) → i_{29}
Rotate(O_8, 120*°, A) → N_{36}
Rotate(J''_4, 120*°, A) → O_{36}
Segment(N_{36}, O_{36}) → j_{29}
Rotate(P_8, 120*°, A) → P_{36}
Rotate(K''_4, 120*°, A) → Q_{36}
Segment(P_{36}, Q_{36}) → k_{29}
Rotate(Q_8, 120*°, A) → R_{36}
Rotate(L''_4, 120*°, A) → S_{36}
Segment(R_{36}, S_{36}) → l_{29}
Rotate(R_8, 120*°, A) → T_{36}
Rotate(M''_4, 120*°, A) → U_{36}
Segment(T_{36}, U_{36}) → m_{29}
Rotate(S_8, 120*°, A) → V_{36}
Rotate(N''_2, 120*°, A) → W_{36}
Segment(V_{36}, W_{36}) → n_{29}
Rotate(T_8, 120*°, A) → Z_{36}
Rotate(O''_4, 120*°, A) → A_{37}
Segment(Z_{36}, A_{37}) → p_{29}
Rotate(U_8, 120*°, A) → B_{37}
Rotate(P''_4, 120*°, A) → C_{37}
Segment(B_{37}, C_{37}) → q_{29}
Rotate(V_8, 120*°, A) → D_{37}
Rotate(Q''_4, 120*°, A) → E_{37}
Segment(D_{37}, E_{37}) → r_{29}
Rotate(W_8, 120*°, A) → F_{37}
Rotate(R''_4, 120*°, A) → G_{37}
Segment(F_{37}, G_{37}) → s_{29}
Rotate(Z_8, 120*°, A) → H_{37}
Rotate(S''_4, 120*°, A) → I_{37}
Segment(H_{37}, I_{37}) → t_{29}
Rotate(A_9, 120*°, A) → J_{37}
Rotate(T''_4, 120*°, A) → K_{37}
Segment(J_{37}, K_{37}) → a_{30}
Rotate(B_9, 120*°, A) → L_{37}
Rotate(U''_4, 120*°, A) → M_{37}
Segment(L_{37}, M_{37}) → b_{30}
Rotate(C_9, 120*°, A) → N_{37}
Rotate(V''_4, 120*°, A) → O_{37}
Segment(N_{37}, O_{37}) → c_{30}
Rotate(D_9, 120*°, A) → P_{37}
Rotate(W''_4, 120*°, A) → Q_{37}
Segment(P_{37}, Q_{37}) → d_{30}
Rotate(E_9, 120*°, A) → R_{37}
Rotate(Z''_4, 120*°, A) → S_{37}
Segment(R_{37}, S_{37}) → e_{30}
Rotate(F_9, 120*°, A) → T_{37}
Rotate(G_9, 120*°, A) → U_{37}
Segment(T_{37}, U_{37}) → f_{30}
Rotate(H_9, 120*°, A) → V_{37}
Rotate(I_9, 120*°, A) → W_{37}
Segment(V_{37}, W_{37}) → g_{30}
Rotate(J_9, 120*°, A) → Z_{37}
Rotate(C''_2, 120*°, A) → A_{38}
Segment(Z_{37}, A_{38}) → h_{30}
Rotate(B'''_1, 120*°, A) → B_{38}
Rotate(D'''_3, 120*°, A) → C_{38}
Segment(B_{38}, C_{38}) → i_{30}
Rotate(K_9, 120*°, A) → D_{38}
Rotate(E'''_3, 120*°, A) → E_{38}
Segment(D_{38}, E_{38}) → j_{30}
Rotate(L_9, 120*°, A) → F_{38}
Rotate(F'''_1, 120*°, A) → G_{38}
Segment(F_{38}, G_{38}) → k_{30}
Rotate(M_9, 120*°, A) → H_{38}
Rotate(G'''_3, 120*°, A) → I_{38}
Segment(H_{38}, I_{38}) → l_{30}
Rotate(N_9, 120*°, A) → J_{38}
Rotate(H'''_3, 120*°, A) → K_{38}
Segment(J_{38}, K_{38}) → m_{30}
Rotate(O_9, 120*°, A) → L_{38}
Rotate(I'''_3, 120*°, A) → M_{38}
Segment(L_{38}, M_{38}) → n_{30}
Rotate(P_9, 120*°, A) → N_{38}
Rotate(J'''_3, 120*°, A) → O_{38}
Segment(N_{38}, O_{38}) → p_{30}
Rotate(Q_9, 120*°, A) → P_{38}
Rotate(K'''_3, 120*°, A) → Q_{38}
Segment(P_{38}, Q_{38}) → q_{30}
Rotate(R_9, 120*°, A) → R_{38}
Rotate(L'''_3, 120*°, A) → S_{38}
Segment(R_{38}, S_{38}) → r_{30}
Rotate(S_9, 120*°, A) → T_{38}
Rotate(M'''_3, 120*°, A) → U_{38}
Segment(T_{38}, U_{38}) → s_{30}
Rotate(T_9, 120*°, A) → V_{38}
Rotate(N'''_3, 120*°, A) → W_{38}
Segment(V_{38}, W_{38}) → t_{30}
Rotate(U_9, 120*°, A) → Z_{38}
Rotate(O'''_3, 120*°, A) → A_{39}
Segment(Z_{38}, A_{39}) → a_{31}
Rotate(V_9, 120*°, A) → B_{39}
Rotate(P'''_3, 120*°, A) → C_{39}
Segment(B_{39}, C_{39}) → b_{31}
Rotate(W_9, 120*°, A) → D_{39}
Rotate(Q'''_3, 120*°, A) → E_{39}
Segment(D_{39}, E_{39}) → c_{31}
Rotate(Z_9, 120*°, A) → F_{39}
Rotate(R'''_3, 120*°, A) → G_{39}
Segment(F_{39}, G_{39}) → d_{31}
Rotate(A_{10}, 120*°, A) → H_{39}
Rotate(S'''_3, 120*°, A) → I_{39}
Segment(H_{39}, I_{39}) → e_{31}
Rotate(B_{10}, 120*°, A) → J_{39}
Rotate(T'''_3, 120*°, A) → K_{39}
Segment(J_{39}, K_{39}) → f_{31}
Rotate(C_{10}, 120*°, A) → L_{39}
Rotate(U'''_3, 120*°, A) → M_{39}
Segment(L_{39}, M_{39}) → g_{31}
Rotate(D_{10}, 120*°, A) → N_{39}
Rotate(V'''_3, 120*°, A) → O_{39}
Segment(N_{39}, O_{39}) → h_{31}
Rotate(E_{10}, 120*°, A) → P_{39}
Rotate(W'''_3, 120*°, A) → Q_{39}
Segment(P_{39}, Q_{39}) → i_{31}
Rotate(F_{10}, 120*°, A) → R_{39}
Rotate(Z'''_3, 120*°, A) → S_{39}
Segment(R_{39}, S_{39}) → j_{31}
Rotate(G_{10}, 120*°, A) → T_{39}
Rotate(H_{10}, 120*°, A) → U_{39}
Segment(T_{39}, U_{39}) → k_{31}
Rotate(I_{10}, 120*°, A) → V_{39}
Rotate(J_{10}, 120*°, A) → W_{39}
Segment(V_{39}, W_{39}) → l_{31}
Rotate(K_{10}, 120*°, A) → Z_{39}
Rotate(C'''_1, 120*°, A) → A_{40}
Segment(Z_{39}, A_{40}) → m_{31}
Rotate(L_{10}, 120*°, A) → B_{40}
Rotate(M_{10}, 120*°, A) → C_{40}
Segment(B_{40}, C_{40}) → n_{31}
Rotate(N_{10}, 120*°, A) → D_{40}
Rotate(O_{10}, 120*°, A) → E_{40}
Segment(D_{40}, E_{40}) → p_{31}
Rotate(P_{10}, 120*°, A) → F_{40}
Rotate(Q_{10}, 120*°, A) → G_{40}
Segment(F_{40}, G_{40}) → q_{31}
Rotate(R_{10}, 120*°, A) → H_{40}
Rotate(S_{10}, 120*°, A) → I_{40}
Segment(H_{40}, I_{40}) → r_{31}
Rotate(T_{10}, 120*°, A) → J_{40}
Rotate(U_{10}, 120*°, A) → K_{40}
Segment(J_{40}, K_{40}) → s_{31}
Rotate(V_{10}, 120*°, A) → L_{40}
Rotate(W_{10}, 120*°, A) → M_{40}
Segment(L_{40}, M_{40}) → t_{31}
Rotate(Z_{10}, 120*°, A) → N_{40}
Rotate(A_{11}, 120*°, A) → O_{40}
Segment(N_{40}, O_{40}) → a_{32}
Rotate(B_{11}, 120*°, A) → P_{40}
Rotate(C_{11}, 120*°, A) → Q_{40}
Segment(P_{40}, Q_{40}) → b_{32}
Rotate(D_{11}, 120*°, A) → R_{40}
Rotate(E_{11}, 120*°, A) → S_{40}
Segment(R_{40}, S_{40}) → c_{32}
Rotate(F_{11}, 120*°, A) → T_{40}
Rotate(G_{11}, 120*°, A) → U_{40}
Segment(T_{40}, U_{40}) → d_{32}
Rotate(H_{11}, 120*°, A) → V_{40}
Rotate(I_{11}, 120*°, A) → W_{40}
Segment(V_{40}, W_{40}) → e_{32}
Rotate(J_{11}, 120*°, A) → Z_{40}
Rotate(K_{11}, 120*°, A) → A_{41}
Segment(Z_{40}, A_{41}) → f_{32}
Rotate(L_{11}, 120*°, A) → B_{41}
Rotate(M_{11}, 120*°, A) → C_{41}
Segment(B_{41}, C_{41}) → g_{32}
Rotate(N_{11}, 120*°, A) → D_{41}
Rotate(O_{11}, 120*°, A) → E_{41}
Segment(D_{41}, E_{41}) → h_{32}
Rotate(P_{11}, 120*°, A) → F_{41}
Rotate(Q_{11}, 120*°, A) → G_{41}
Segment(F_{41}, G_{41}) → i_{32}
Rotate(R_{11}, 120*°, A) → H_{41}
Rotate(S_{11}, 120*°, A) → I_{41}
Segment(H_{41}, I_{41}) → j_{32}
Rotate(T_{11}, 120*°, A) → J_{41}
Rotate(U_{11}, 120*°, A) → K_{41}
Segment(J_{41}, K_{41}) → k_{32}
Rotate(V_{11}, 120*°, A) → L_{41}
Rotate(W_{11}, 120*°, A) → M_{41}
Segment(L_{41}, M_{41}) → l_{32}
Rotate(Z_{11}, 120*°, A) → N_{41}
Rotate(A_{12}, 120*°, A) → O_{41}
Segment(N_{41}, O_{41}) → m_{32}
Rotate(B_{12}, 120*°, A) → P_{41}
Rotate(C_{12}, 120*°, A) → Q_{41}
Segment(P_{41}, Q_{41}) → n_{32}
Rotate(D_{12}, 120*°, A) → R_{41}
Rotate(E_{12}, 120*°, A) → S_{41}
Segment(R_{41}, S_{41}) → p_{32}
Rotate(F_{12}, 120*°, A) → T_{41}
Rotate(G_{12}, 120*°, A) → U_{41}
Segment(T_{41}, U_{41}) → q_{32}
Rotate(H_{12}, 120*°, A) → V_{41}
Rotate(I_{12}, 120*°, A) → W_{41}
Segment(V_{41}, W_{41}) → r_{32}
Rotate(J_{12}, 120*°, A) → Z_{41}
Rotate(K_{12}, 120*°, A) → A_{42}
Segment(Z_{41}, A_{42}) → s_{32}
Rotate(L_{12}, 120*°, A) → B_{42}
Rotate(M_{12}, 120*°, A) → C_{42}
Segment(B_{42}, C_{42}) → t_{32}
Rotate(N_{12}, 120*°, A) → D_{42}
Rotate(O_{12}, 120*°, A) → E_{42}
Segment(D_{42}, E_{42}) → a_{33}
Rotate(P_{12}, 120*°, A) → F_{42}
Rotate(Q_{12}, 120*°, A) → G_{42}
Segment(F_{42}, G_{42}) → b_{33}
Rotate(R_{12}, 120*°, A) → H_{42}
Rotate(S_{12}, 120*°, A) → I_{42}
Segment(H_{42}, I_{42}) → c_{33}
Rotate(T_{12}, 120*°, A) → J_{42}
Rotate(U_{12}, 120*°, A) → K_{42}
Segment(J_{42}, K_{42}) → d_{33}
Rotate(V_{12}, 120*°, A) → L_{42}
Rotate(W_{12}, 120*°, A) → M_{42}
Segment(L_{42}, M_{42}) → e_{33}
Rotate(Z_{12}, 120*°, A) → N_{42}
Rotate(A_{13}, 120*°, A) → O_{42}
Segment(N_{42}, O_{42}) → f_{33}
Rotate(B_{13}, 120*°, A) → P_{42}
Rotate(C_{13}, 120*°, A) → Q_{42}
Segment(P_{42}, Q_{42}) → g_{33}
Rotate(D_{13}, 120*°, A) → R_{42}
Rotate(E_{13}, 120*°, A) → S_{42}
Segment(R_{42}, S_{42}) → h_{33}
Rotate(F_{13}, 120*°, A) → T_{42}
Rotate(G_{13}, 120*°, A) → U_{42}
Segment(T_{42}, U_{42}) → i_{33}
Rotate(H_{13}, 120*°, A) → V_{42}
Rotate(I_{13}, 120*°, A) → W_{42}
Segment(V_{42}, W_{42}) → j_{33}
Rotate(J_{13}, 120*°, A) → Z_{42}
Rotate(K_{13}, 120*°, A) → A_{43}
Segment(Z_{42}, A_{43}) → k_{33}
Rotate(L_{13}, 120*°, A) → B_{43}
Rotate(M_{13}, 120*°, A) → C_{43}
Segment(B_{43}, C_{43}) → l_{33}
Rotate(N_{13}, 120*°, A) → D_{43}
Rotate(O_{13}, 120*°, A) → E_{43}
Segment(D_{43}, E_{43}) → m_{33}
Rotate(P_{13}, 120*°, A) → F_{43}
Rotate(Q_{13}, 120*°, A) → G_{43}
Segment(F_{43}, G_{43}) → n_{33}
Rotate(R_{13}, 120*°, A) → H_{43}
Rotate(S_{13}, 120*°, A) → I_{43}
Segment(H_{43}, I_{43}) → p_{33}
Rotate(T_{13}, 120*°, A) → J_{43}
Rotate(U_{13}, 120*°, A) → K_{43}
Segment(J_{43}, K_{43}) → q_{33}
Rotate(V_{13}, 120*°, A) → L_{43}
Rotate(W_{13}, 120*°, A) → M_{43}
Segment(L_{43}, M_{43}) → r_{33}
Rotate(Z_{13}, 120*°, A) → N_{43}
Rotate(A_{14}, 120*°, A) → O_{43}
Segment(N_{43}, O_{43}) → s_{33}
Rotate(B_{14}, 120*°, A) → P_{43}
Rotate(C_{14}, 120*°, A) → Q_{43}
Segment(P_{43}, Q_{43}) → t_{33}
Rotate(D_{14}, 120*°, A) → R_{43}
Rotate(E_{14}, 120*°, A) → S_{43}
Segment(R_{43}, S_{43}) → a_{34}
Rotate(F_{14}, 120*°, A) → T_{43}
Rotate(G_{14}, 120*°, A) → U_{43}
Segment(T_{43}, U_{43}) → b_{34}
Rotate(H_{14}, 120*°, A) → V_{43}
Rotate(I_{14}, 120*°, A) → W_{43}
Segment(V_{43}, W_{43}) → c_{34}
Rotate(J_{14}, 120*°, A) → Z_{43}
Rotate(K_{14}, 120*°, A) → A_{44}
Segment(Z_{43}, A_{44}) → d_{34}
Rotate(L_{14}, 120*°, A) → B_{44}
Rotate(M_{14}, 120*°, A) → C_{44}
Segment(B_{44}, C_{44}) → e_{34}
Rotate(N_{14}, 120*°, A) → D_{44}
Rotate(O_{14}, 120*°, A) → E_{44}
Segment(D_{44}, E_{44}) → f_{34}
Rotate(P_{14}, 120*°, A) → F_{44}
Rotate(Q_{14}, 120*°, A) → G_{44}
Segment(F_{44}, G_{44}) → g_{34}
Rotate(R_{14}, 120*°, A) → H_{44}
Rotate(S_{14}, 120*°, A) → I_{44}
Segment(H_{44}, I_{44}) → h_{34}
Rotate(T_{14}, 120*°, A) → J_{44}
Rotate(U_{14}, 120*°, A) → K_{44}
Segment(J_{44}, K_{44}) → i_{34}
Rotate(V_{14}, 120*°, A) → L_{44}
Rotate(W_{14}, 120*°, A) → M_{44}
Segment(L_{44}, M_{44}) → j_{34}
Rotate(Z_{14}, 120*°, A) → N_{44}
Rotate(A_{15}, 120*°, A) → O_{44}
Segment(N_{44}, O_{44}) → k_{34}
Rotate(B_{15}, 120*°, A) → P_{44}
Rotate(C_{15}, 120*°, A) → Q_{44}
Segment(P_{44}, Q_{44}) → l_{34}
Rotate(D_{15}, 120*°, A) → R_{44}
Rotate(E_{15}, 120*°, A) → S_{44}
Segment(R_{44}, S_{44}) → m_{34}
Rotate(F_{15}, 120*°, A) → T_{44}
Rotate(G_{15}, 120*°, A) → U_{44}
Segment(T_{44}, U_{44}) → n_{34}
Rotate(H_{15}, 120*°, A) → V_{44}
Rotate(I_{15}, 120*°, A) → W_{44}
Segment(V_{44}, W_{44}) → p_{34}
Rotate(J_{15}, 120*°, A) → Z_{44}
Rotate(K_{15}, 120*°, A) → A_{45}
Segment(Z_{44}, A_{45}) → q_{34}
Rotate(L_{15}, 120*°, A) → B_{45}
Rotate(M_{15}, 120*°, A) → C_{45}
Segment(B_{45}, C_{45}) → r_{34}
Rotate(N_{15}, 120*°, A) → D_{45}
Rotate(O_{15}, 120*°, A) → E_{45}
Segment(D_{45}, E_{45}) → s_{34}
Rotate(P_{15}, 120*°, A) → F_{45}
Rotate(Q_{15}, 120*°, A) → G_{45}
Segment(F_{45}, G_{45}) → t_{34}
Rotate(R_{15}, 120*°, A) → H_{45}
Rotate(S_{15}, 120*°, A) → I_{45}
Segment(H_{45}, I_{45}) → a_{35}
Rotate(T_{15}, 120*°, A) → J_{45}
Rotate(U_{15}, 120*°, A) → K_{45}
Segment(J_{45}, K_{45}) → b_{35}
Rotate(V_{15}, 120*°, A) → L_{45}
Rotate(W_{15}, 120*°, A) → M_{45}
Segment(L_{45}, M_{45}) → c_{35}
Rotate(Z_{15}, 120*°, A) → N_{45}
Rotate(A_{16}, 120*°, A) → O_{45}
Segment(N_{45}, O_{45}) → d_{35}
Rotate(B_{16}, 120*°, A) → P_{45}
Rotate(C_{16}, 120*°, A) → Q_{45}
Segment(P_{45}, Q_{45}) → e_{35}
Rotate(D_{16}, 120*°, A) → R_{45}
Rotate(E_{16}, 120*°, A) → S_{45}
Segment(R_{45}, S_{45}) → f_{35}
Rotate(F_{16}, 120*°, A) → T_{45}
Rotate(G_{16}, 120*°, A) → U_{45}
Segment(T_{45}, U_{45}) → g_{35}
Rotate(H_{16}, 120*°, A) → V_{45}
Rotate(I_{16}, 120*°, A) → W_{45}
Segment(V_{45}, W_{45}) → h_{35}
Rotate(J_{16}, 120*°, A) → Z_{45}
Rotate(K_{16}, 120*°, A) → A_{46}
Segment(Z_{45}, A_{46}) → i_{35}
Rotate(B'_1, 120*°, A) → B_{46}
Rotate(V_4, 120*°, A) → C_{46}
Rotate(L_{16}, 120*°, A) → D_{46}
Rotate(M_{16}, 120*°, A) → E_{46}

AI 绘图提示语参考

绘制一个由多个等边三角形组成的几何图形，首先画出一个三角形ABC，然后以B点为中心，将D、E、F、G、H、I、J、K、L、M、N、O、P、Q、R、S、T、U、V、W、Z、A1、B1、C依次旋转60度，形成一系列等边三角形，最后连接各点形成复杂的几何图形。

以上提示语为根据原始绘图命令整理而来，仅供参考。