几何均值与积分求和演示

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

2014-04-06 11:15

所属专题 Phebe Tanner Tessellation Rotation

①本范例通过动态演示多边形分割与旋转，展示几何均值与积分求和（上下和或黎曼和）的计算原理；②涉及核心数学概念包括几何均值、标准差、对数、积分求和、一般四边形；③作图要点：使用Polygon（多边形）、Segment（线段）、Rotate（旋转）、Intersect（交点）等命令构建图形；④适合高中及以上数学教学，用于理解微积分与几何的结合应用。

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}
Rotate(B, 180*°, C) → B'_8
Rotate(D', 180*°, C) → D''_7
Rotate(E', 180*°, C) → E''_7
Rotate(F', 180*°, C) → F''_7
Rotate(G', 180*°, C) → G''_7
Rotate(H', 180*°, C) → H''_7
Rotate(I', 180*°, C) → I''_7
Rotate(J', 180*°, C) → J''_7
Rotate(K', 180*°, C) → K''_7
Rotate(L', 180*°, C) → L''_7
Rotate(M', 180*°, C) → M''_7
Rotate(M'_1, 180*°, C) → F_{46}
Rotate(O', 180*°, C) → O''_7
Rotate(P', 180*°, C) → P''_7
Rotate(Q', 180*°, C) → Q''_7
Rotate(R', 180*°, C) → R''_7
Rotate(S', 180*°, C) → S''_7
Rotate(T', 180*°, C) → T''_7
Rotate(U', 180*°, C) → U''_7
Rotate(V', 180*°, C) → V''_7
Rotate(W', 180*°, C) → W''_7
Rotate(Z', 180*°, C) → Z''_7
Rotate(C_1, 180*°, C) → G_{46}
Rotate(E_1, 180*°, C) → H_{46}
Rotate(A, 180*°, C) → A'_3
Rotate(F_2, 180*°, C) → I_{46}
Rotate(D_2, 180*°, C) → J_{46}
Rotate(Z'', 180*°, C) → Z'''_6
Rotate(W'', 180*°, C) → W'''_6
Rotate(V'', 180*°, C) → V'''_6
Rotate(U'', 180*°, C) → U'''_6
Rotate(T'', 180*°, C) → T'''_6
Rotate(S'', 180*°, C) → S'''_6
Rotate(R'', 180*°, C) → R'''_6
Rotate(Q'', 180*°, C) → Q'''_6
Rotate(P'', 180*°, C) → P'''_6
Rotate(O'', 180*°, C) → O'''_6
Rotate(N'', 180*°, C) → N'''_6
Rotate(M'', 180*°, C) → M'''_6
Rotate(L'', 180*°, C) → L'''_6
Rotate(K'', 180*°, C) → K'''_6
Rotate(J'', 180*°, C) → J'''_6
Rotate(I'', 180*°, C) → I'''_6
Rotate(H'', 180*°, C) → H'''_6
Rotate(G'', 180*°, C) → G'''_6
Rotate(E'', 180*°, C) → E'''_6
Rotate(H_1, 180*°, C) → K_{46}
Rotate(D'', 180*°, C) → D'''_6
Rotate(C, 180*°, C) → C'_7
Rotate(B_1, 180*°, C) → L_{46}
Rotate(A_1, 180*°, C) → M_{46}
Rotate(Z, 180*°, C) → Z'_{11}
Rotate(W, 180*°, C) → W'_{11}
Rotate(V, 180*°, C) → V'_{11}
Rotate(U, 180*°, C) → U'_{11}
Rotate(T, 180*°, C) → T'_{11}
Rotate(S, 180*°, C) → S'_{11}
Rotate(R, 180*°, C) → R'_{11}
Rotate(Q, 180*°, C) → Q'_{11}
Rotate(P, 180*°, C) → P'_{11}
Rotate(O, 180*°, C) → O'_{11}
Rotate(N, 180*°, C) → N'_{11}
Rotate(M, 180*°, C) → M'_{11}
Rotate(L, 180*°, C) → L'_{11}
Rotate(K, 180*°, C) → K'_{11}
Rotate(J, 180*°, C) → J'_{11}
Rotate(I, 180*°, C) → I'_{11}
Rotate(H, 180*°, C) → H'_{11}
Rotate(G, 180*°, C) → G'_{11}
Rotate(F, 180*°, C) → F'_{11}
Rotate(E, 180*°, C) → E'_{11}
Rotate(D, 180*°, C) → D'_{11}
Polygon(B'_8, D''_7, M''_7, F_{46}, O''_7, P''_7, Q''_7, R''_7, S''_7, T''_7, U''_7, V''_7, E''_7, W''_7, Z''_7, G_{46}, H_{46}, A'_3, I_{46}, J_{46}, Z'''_6, W'''_6, V'''_6, F''_7, U'''_6, T'''_6, S'''_6, R'''_6, Q'''_6, P'''_6, O'''_6, N'''_6, M'''_6, L'''_6, G''_7, K'''_6, J'''_6, I'''_6, H'''_6, G'''_6, E'''_6, K_{46}, D'''_6, C'_7, L_{46}, H''_7, M_{46}, Z'_{11}, W'_{11}, V'_{11}, U'_{11}, T'_{11}, S'_{11}, R'_{11}, Q'_{11}, P'_{11}, I''_7, O'_{11}, N'_{11}, M'_{11}, L'_{11}, K'_{11}, J'_{11}, I'_{11}, H'_{11}, G'_{11}, F'_{11}, J''_7, E'_{11}, D'_{11}, K''_7, L''_7) → poly2'_3, b'_8, l''_8, m''_8, f_{46}, o''_7, p''_8, q''_8, r''_8, s''_8, t''_8, u''_7, d''_8, v''_7, w''_7, z''_7, g_{46}, h_{46}, a'_3, i_{46}, j_{46}, z'''_6, w'''_6, e''_8, v'''_6, u'''_6, t'''_6, s'''_6, r'''_6, q'''_6, p'''_6, o'''_6, n'''_6, m'''_6, f''_7, l'''_6, k'''_6, j'''_6, i'''_6, h'''_6, g'''_6, e'''_6, k_{46}, d'''_6, c'_7, g''_8, l_{46}, m_{46}, z'_{11}, w'_{11}, v'_{11}, u'_{11}, t'_{11}, s'_{11}, r'_{11}, q'_{11}, h''_8, p'_{11}, o'_{11}, n'_{11}, m'_{11}, l'_{11}, k'_{11}, j'_{11}, i'_{11}, h'_{11}, g'_{11}, i''_8, f'_{11}, e'_{11}, d'_{11}, j''_8, k''_8
Rotate(B'_2, 180*°, C) → N_{46}
Rotate(D''_1, 180*°, C) → O_{46}
Rotate(E''_1, 180*°, C) → P_{46}
Rotate(F''_1, 180*°, C) → Q_{46}
Rotate(G''_1, 180*°, C) → R_{46}
Rotate(H''_1, 180*°, C) → S_{46}
Rotate(I''_1, 180*°, C) → T_{46}
Rotate(J''_1, 180*°, C) → U_{46}
Rotate(K''_1, 180*°, C) → V_{46}
Rotate(L''_1, 180*°, C) → W_{46}
Rotate(M''_1, 180*°, C) → Z_{46}
Rotate(H_2, 180*°, C) → A_{47}
Rotate(O''_1, 180*°, C) → B_{47}
Rotate(P''_1, 180*°, C) → C_{47}
Rotate(Q''_1, 180*°, C) → D_{47}
Rotate(R''_1, 180*°, C) → E_{47}
Rotate(S''_1, 180*°, C) → F_{47}
Rotate(T''_1, 180*°, C) → G_{47}
Rotate(U''_1, 180*°, C) → H_{47}
Rotate(V''_1, 180*°, C) → I_{47}
Rotate(W''_1, 180*°, C) → J_{47}
Rotate(Z''_1, 180*°, C) → K_{47}
Rotate(I_2, 180*°, C) → L_{47}
Rotate(J_2, 180*°, C) → M_{47}
Rotate(A', 180*°, C) → A''_2
Rotate(K_2, 180*°, C) → N_{47}
Rotate(L_2, 180*°, C) → O_{47}
Rotate(Z''', 180*°, C) → P_{47}
Rotate(W''', 180*°, C) → Q_{47}
Rotate(V''', 180*°, C) → R_{47}
Rotate(U''', 180*°, C) → S_{47}
Rotate(T''', 180*°, C) → T_{47}
Rotate(S''', 180*°, C) → U_{47}
Rotate(R''', 180*°, C) → V_{47}
Rotate(Q''', 180*°, C) → W_{47}
Rotate(P''', 180*°, C) → Z_{47}
Rotate(O''', 180*°, C) → A_{48}
Rotate(N''', 180*°, C) → B_{48}
Rotate(M''', 180*°, C) → C_{48}
Rotate(L''', 180*°, C) → D_{48}
Rotate(K''', 180*°, C) → E_{48}
Rotate(J''', 180*°, C) → F_{48}
Rotate(I''', 180*°, C) → G_{48}
Rotate(H''', 180*°, C) → H_{48}
Rotate(G''', 180*°, C) → I_{48}
Rotate(E''', 180*°, C) → J_{48}
Rotate(M_2, 180*°, C) → K_{48}
Rotate(D''', 180*°, C) → L_{48}
Rotate(C'_1, 180*°, C) → M_{48}
Rotate(N_2, 180*°, C) → N_{48}
Rotate(O_2, 180*°, C) → O_{48}
Rotate(Z'_2, 180*°, C) → P_{48}
Rotate(W'_2, 180*°, C) → Q_{48}
Rotate(V'_2, 180*°, C) → R_{48}
Rotate(U'_2, 180*°, C) → S_{48}
Rotate(T'_2, 180*°, C) → T_{48}
Rotate(S'_2, 180*°, C) → U_{48}
Rotate(R'_2, 180*°, C) → V_{48}
Rotate(Q'_2, 180*°, C) → W_{48}
Rotate(P'_2, 180*°, C) → Z_{48}
Rotate(O'_2, 180*°, C) → A_{49}
Rotate(N'_2, 180*°, C) → B_{49}
Rotate(M'_2, 180*°, C) → C_{49}
Rotate(L'_2, 180*°, C) → D_{49}
Rotate(K'_2, 180*°, C) → E_{49}
Rotate(J'_2, 180*°, C) → F_{49}
Rotate(I'_2, 180*°, C) → G_{49}
Rotate(H'_2, 180*°, C) → H_{49}
Rotate(G'_2, 180*°, C) → I_{49}
Rotate(F'_2, 180*°, C) → J_{49}
Rotate(E'_2, 180*°, C) → K_{49}
Rotate(D'_2, 180*°, C) → L_{49}
Polygon(N_{46}, O_{46}, Z_{46}, A_{47}, B_{47}, C_{47}, D_{47}, E_{47}, F_{47}, G_{47}, H_{47}, I_{47}, P_{46}, J_{47}, K_{47}, L_{47}, M_{47}, A''_2, N_{47}, O_{47}, P_{47}, Q_{47}, R_{47}, Q_{46}, S_{47}, T_{47}, U_{47}, V_{47}, W_{47}, Z_{47}, A_{48}, B_{48}, C_{48}, D_{48}, R_{46}, E_{48}, F_{48}, G_{48}, H_{48}, I_{48}, J_{48}, K_{48}, L_{48}, M_{48}, N_{48}, S_{46}, O_{48}, P_{48}, Q_{48}, R_{48}, S_{48}, T_{48}, U_{48}, V_{48}, W_{48}, Z_{48}, T_{46}, A_{49}, B_{49}, C_{49}, D_{49}, E_{49}, F_{49}, G_{49}, H_{49}, I_{49}, J_{49}, U_{46}, K_{49}, L_{49}, V_{46}, W_{46}) → poly2''_2, n_{46}, w_{46}, z_{46}, a_{47}, b_{47}, c_{47}, d_{47}, e_{47}, f_{47}, g_{47}, h_{47}, o_{46}, i_{47}, j_{47}, k_{47}, l_{47}, m_{47}, a''_2, n_{47}, o_{47}, p_{47}, q_{47}, p_{46}, r_{47}, s_{47}, t_{47}, u_{47}, v_{47}, w_{47}, z_{47}, a_{48}, b_{48}, c_{48}, q_{46}, d_{48}, e_{48}, f_{48}, g_{48}, h_{48}, i_{48}, j_{48}, k_{48}, l_{48}, m_{48}, r_{46}, n_{48}, o_{48}, p_{48}, q_{48}, r_{48}, s_{48}, t_{48}, u_{48}, v_{48}, w_{48}, s_{46}, z_{48}, a_{49}, b_{49}, c_{49}, d_{49}, e_{49}, f_{49}, g_{49}, h_{49}, i_{49}, t_{46}, j_{49}, k_{49}, l_{49}, u_{46}, v_{46}
Rotate(B'_4, 180*°, C) → M_{49}
Rotate(D''_3, 180*°, C) → N_{49}
Rotate(E''_3, 180*°, C) → O_{49}
Rotate(F''_3, 180*°, C) → P_{49}
Rotate(G''_3, 180*°, C) → Q_{49}
Rotate(H''_3, 180*°, C) → R_{49}
Rotate(I''_3, 180*°, C) → S_{49}
Rotate(J''_3, 180*°, C) → T_{49}
Rotate(K''_3, 180*°, C) → U_{49}
Rotate(L''_3, 180*°, C) → V_{49}
Rotate(M''_3, 180*°, C) → W_{49}
Rotate(W_4, 180*°, C) → Z_{49}
Rotate(O''_3, 180*°, C) → A_{50}
Rotate(P''_3, 180*°, C) → B_{50}
Rotate(Q''_3, 180*°, C) → C_{50}
Rotate(R''_3, 180*°, C) → D_{50}
Rotate(S''_3, 180*°, C) → E_{50}
Rotate(T''_3, 180*°, C) → F_{50}
Rotate(U''_3, 180*°, C) → G_{50}
Rotate(V''_3, 180*°, C) → H_{50}
Rotate(W''_3, 180*°, C) → I_{50}
Rotate(Z''_3, 180*°, C) → J_{50}
Rotate(Z_4, 180*°, C) → K_{50}
Rotate(A_5, 180*°, C) → L_{50}
Rotate(A'_1, 180*°, C) → M_{50}
Rotate(B_5, 180*°, C) → N_{50}
Rotate(C_5, 180*°, C) → O_{50}
Rotate(Z'''_2, 180*°, C) → P_{50}
Rotate(W'''_2, 180*°, C) → Q_{50}
Rotate(V'''_2, 180*°, C) → R_{50}
Rotate(U'''_2, 180*°, C) → S_{50}
Rotate(T'''_2, 180*°, C) → T_{50}
Rotate(S'''_2, 180*°, C) → U_{50}
Rotate(R'''_2, 180*°, C) → V_{50}
Rotate(Q'''_2, 180*°, C) → W_{50}
Rotate(P'''_2, 180*°, C) → Z_{50}
Rotate(O'''_2, 180*°, C) → A_{51}
Rotate(N'''_2, 180*°, C) → B_{51}
Rotate(M'''_2, 180*°, C) → C_{51}
Rotate(L'''_2, 180*°, C) → D_{51}
Rotate(K'''_2, 180*°, C) → E_{51}
Rotate(J'''_2, 180*°, C) → F_{51}
Rotate(I'''_2, 180*°, C) → G_{51}
Rotate(H'''_2, 180*°, C) → H_{51}
Rotate(G'''_2, 180*°, C) → I_{51}
Rotate(E'''_2, 180*°, C) → J_{51}
Rotate(D_5, 180*°, C) → K_{51}
Rotate(D'''_2, 180*°, C) → L_{51}
Rotate(C'_3, 180*°, C) → M_{51}
Rotate(E_5, 180*°, C) → N_{51}
Rotate(F_5, 180*°, C) → O_{51}
Rotate(Z'_5, 180*°, C) → P_{51}
Rotate(W'_5, 180*°, C) → Q_{51}
Rotate(V'_5, 180*°, C) → R_{51}
Rotate(U'_5, 180*°, C) → S_{51}
Rotate(T'_5, 180*°, C) → T_{51}
Rotate(S'_5, 180*°, C) → U_{51}
Rotate(R'_5, 180*°, C) → V_{51}
Rotate(Q'_5, 180*°, C) → W_{51}
Rotate(P'_5, 180*°, C) → Z_{51}
Rotate(O'_5, 180*°, C) → A_{52}
Rotate(N'_5, 180*°, C) → B_{52}
Rotate(M'_5, 180*°, C) → C_{52}
Rotate(L'_5, 180*°, C) → D_{52}
Rotate(K'_5, 180*°, C) → E_{52}
Rotate(J'_5, 180*°, C) → F_{52}
Rotate(I'_5, 180*°, C) → G_{52}
Rotate(H'_5, 180*°, C) → H_{52}
Rotate(G'_5, 180*°, C) → I_{52}
Rotate(F'_5, 180*°, C) → J_{52}
Rotate(E'_5, 180*°, C) → K_{52}
Rotate(D'_5, 180*°, C) → L_{52}
Polygon(M_{49}, N_{49}, W_{49}, Z_{49}, A_{50}, B_{50}, C_{50}, D_{50}, E_{50}, F_{50}, G_{50}, H_{50}, O_{49}, I_{50}, J_{50}, K_{50}, L_{50}, M_{50}, N_{50}, O_{50}, P_{50}, Q_{50}, R_{50}, P_{49}, S_{50}, T_{50}, U_{50}, V_{50}, W_{50}, Z_{50}, A_{51}, B_{51}, C_{51}, D_{51}, Q_{49}, E_{51}, F_{51}, G_{51}, H_{51}, I_{51}, J_{51}, K_{51}, L_{51}, M_{51}, N_{51}, R_{49}, O_{51}, P_{51}, Q_{51}, R_{51}, S_{51}, T_{51}, U_{51}, V_{51}, W_{51}, Z_{51}, S_{49}, A_{52}, B_{52}, C_{52}, D_{52}, E_{52}, F_{52}, G_{52}, H_{52}, I_{52}, J_{52}, T_{49}, K_{52}, L_{52}, U_{49}, V_{49}) → poly4, m_{49}, v_{49}, w_{49}, z_{49}, a_{50}, b_{50}, c_{50}, d_{50}, e_{50}, f_{50}, g_{50}, n_{49}, h_{50}, i_{50}, j_{50}, k_{50}, l_{50}, m_{50}, n_{50}, o_{50}, p_{50}, q_{50}, o_{49}, r_{50}, s_{50}, t_{50}, u_{50}, v_{50}, w_{50}, z_{50}, a_{51}, b_{51}, c_{51}, p_{49}, d_{51}, e_{51}, f_{51}, g_{51}, h_{51}, i_{51}, j_{51}, k_{51}, l_{51}, m_{51}, q_{49}, n_{51}, o_{51}, p_{51}, q_{51}, r_{51}, s_{51}, t_{51}, u_{51}, v_{51}, w_{51}, r_{49}, z_{51}, a_{52}, b_{52}, c_{52}, d_{52}, e_{52}, f_{52}, g_{52}, h_{52}, i_{52}, s_{49}, j_{52}, k_{52}, l_{52}, t_{49}, u_{49}
Rotate(G_5, 180*°, C) → M_{52}
Rotate(H_5, 180*°, C) → N_{52}
Rotate(I_5, 180*°, C) → O_{52}
Rotate(J_5, 180*°, C) → P_{52}
Rotate(K_5, 180*°, C) → Q_{52}
Rotate(L_5, 180*°, C) → R_{52}
Rotate(M_5, 180*°, C) → S_{52}
Rotate(N_5, 180*°, C) → T_{52}
Rotate(O_5, 180*°, C) → U_{52}
Rotate(P_5, 180*°, C) → V_{52}
Rotate(Q_5, 180*°, C) → W_{52}
Rotate(R_5, 180*°, C) → Z_{52}
Rotate(S_5, 180*°, C) → A_{53}
Rotate(T_5, 180*°, C) → B_{53}
Rotate(U_5, 180*°, C) → C_{53}
Rotate(V_5, 180*°, C) → D_{53}
Rotate(W_5, 180*°, C) → E_{53}
Rotate(Z_5, 180*°, C) → F_{53}
Rotate(A_6, 180*°, C) → G_{53}
Rotate(B_6, 180*°, C) → H_{53}
Rotate(C_6, 180*°, C) → I_{53}
Rotate(D_6, 180*°, C) → J_{53}
Rotate(E_6, 180*°, C) → K_{53}
Rotate(F_6, 180*°, C) → L_{53}
Rotate(A'', 180*°, C) → A'''_1
Rotate(G_6, 180*°, C) → M_{53}
Rotate(H_6, 180*°, C) → N_{53}
Rotate(I_6, 180*°, C) → O_{53}
Rotate(J_6, 180*°, C) → P_{53}
Rotate(K_6, 180*°, C) → Q_{53}
Rotate(L_6, 180*°, C) → R_{53}
Rotate(M_6, 180*°, C) → S_{53}
Rotate(N_6, 180*°, C) → T_{53}
Rotate(O_6, 180*°, C) → U_{53}
Rotate(P_6, 180*°, C) → V_{53}
Rotate(Q_6, 180*°, C) → W_{53}
Rotate(R_6, 180*°, C) → Z_{53}
Rotate(S_6, 180*°, C) → A_{54}
Rotate(T_6, 180*°, C) → B_{54}
Rotate(U_6, 180*°, C) → C_{54}
Rotate(V_6, 180*°, C) → D_{54}
Rotate(W_6, 180*°, C) → E_{54}
Rotate(Z_6, 180*°, C) → F_{54}
Rotate(A_7, 180*°, C) → G_{54}
Rotate(B_7, 180*°, C) → H_{54}
Rotate(C_7, 180*°, C) → I_{54}
Rotate(D_7, 180*°, C) → J_{54}
Rotate(E_7, 180*°, C) → K_{54}
Rotate(F_7, 180*°, C) → L_{54}
Rotate(G_7, 180*°, C) → M_{54}
Rotate(H_7, 180*°, C) → N_{54}
Rotate(I_7, 180*°, C) → O_{54}
Rotate(J_7, 180*°, C) → P_{54}
Rotate(K_7, 180*°, C) → Q_{54}
Rotate(L_7, 180*°, C) → R_{54}
Rotate(M_7, 180*°, C) → S_{54}
Rotate(N_7, 180*°, C) → T_{54}
Rotate(O_7, 180*°, C) → U_{54}
Rotate(P_7, 180*°, C) → V_{54}
Rotate(Q_7, 180*°, C) → W_{54}
Rotate(R_7, 180*°, C) → Z_{54}
Rotate(S_7, 180*°, C) → A_{55}
Rotate(T_7, 180*°, C) → B_{55}
Rotate(U_7, 180*°, C) → C_{55}
Rotate(V_7, 180*°, C) → D_{55}
Rotate(W_7, 180*°, C) → E_{55}
Rotate(Z_7, 180*°, C) → F_{55}
Rotate(A_8, 180*°, C) → G_{55}
Rotate(B_8, 180*°, C) → H_{55}
Rotate(C_8, 180*°, C) → I_{55}
Rotate(D_8, 180*°, C) → J_{55}
Rotate(E_8, 180*°, C) → K_{55}
Polygon(M_{52}, N_{52}, W_{52}, Z_{52}, A_{53}, B_{53}, C_{53}, D_{53}, E_{53}, F_{53}, G_{53}, H_{53}, O_{52}, I_{53}, J_{53}, K_{53}, L_{53}, A'''_1, M_{53}, N_{53}, O_{53}, P_{53}, Q_{53}, P_{52}, R_{53}, S_{53}, T_{53}, U_{53}, V_{53}, W_{53}, Z_{53}, A_{54}, B_{54}, C_{54}, Q_{52}, D_{54}, E_{54}, F_{54}, G_{54}, H_{54}, I_{54}, J_{54}, K_{54}, L_{54}, M_{54}, R_{52}, N_{54}, O_{54}, P_{54}, Q_{54}, R_{54}, S_{54}, T_{54}, U_{54}, V_{54}, W_{54}, S_{52}, Z_{54}, A_{55}, B_{55}, C_{55}, D_{55}, E_{55}, F_{55}, G_{55}, H_{55}, I_{55}, T_{52}, J_{55}, K_{55}, U_{52}, V_{52}) → poly2'''_1, m_{52}, v_{52}, w_{52}, z_{52}, a_{53}, b_{53}, c_{53}, d_{53}, e_{53}, f_{53}, g_{53}, n_{52}, h_{53}, i_{53}, j_{53}, k_{53}, l_{53}, a'''_1, m_{53}, n_{53}, o_{53}, p_{53}, o_{52}, q_{53}, r_{53}, s_{53}, t_{53}, u_{53}, v_{53}, w_{53}, z_{53}, a_{54}, b_{54}, p_{52}, c_{54}, d_{54}, e_{54}, f_{54}, g_{54}, h_{54}, i_{54}, j_{54}, k_{54}, l_{54}, q_{52}, m_{54}, n_{54}, o_{54}, p_{54}, q_{54}, r_{54}, s_{54}, t_{54}, u_{54}, v_{54}, r_{52}, w_{54}, z_{54}, a_{55}, b_{55}, c_{55}, d_{55}, e_{55}, f_{55}, g_{55}, h_{55}, s_{52}, i_{55}, j_{55}, k_{55}, t_{52}, u_{52}
Rotate(B'_6, 180*°, C) → L_{55}
Rotate(D''_5, 180*°, C) → M_{55}
Rotate(E''_5, 180*°, C) → N_{55}
Rotate(F''_5, 180*°, C) → O_{55}
Rotate(G''_5, 180*°, C) → P_{55}
Rotate(H''_5, 180*°, C) → Q_{55}
Rotate(I''_5, 180*°, C) → R_{55}
Rotate(J''_5, 180*°, C) → S_{55}
Rotate(K''_5, 180*°, C) → T_{55}
Rotate(L''_5, 180*°, C) → U_{55}
Rotate(M''_5, 180*°, C) → V_{55}
Rotate(N_{16}, 180*°, C) → W_{55}
Rotate(O''_5, 180*°, C) → Z_{55}
Rotate(P''_5, 180*°, C) → A_{56}
Rotate(Q''_5, 180*°, C) → B_{56}
Rotate(R''_5, 180*°, C) → C_{56}
Rotate(S''_5, 180*°, C) → D_{56}
Rotate(T''_5, 180*°, C) → E_{56}
Rotate(U''_5, 180*°, C) → F_{56}
Rotate(V''_5, 180*°, C) → G_{56}
Rotate(W''_5, 180*°, C) → H_{56}
Rotate(Z''_5, 180*°, C) → I_{56}
Rotate(O_{16}, 180*°, C) → J_{56}
Rotate(P_{16}, 180*°, C) → K_{56}
Rotate(A'_2, 180*°, C) → L_{56}
Rotate(Q_{16}, 180*°, C) → M_{56}
Rotate(R_{16}, 180*°, C) → N_{56}
Rotate(Z'''_4, 180*°, C) → O_{56}
Rotate(W'''_4, 180*°, C) → P_{56}
Rotate(V'''_4, 180*°, C) → Q_{56}
Rotate(U'''_4, 180*°, C) → R_{56}
Rotate(T'''_4, 180*°, C) → S_{56}
Rotate(S'''_4, 180*°, C) → T_{56}
Rotate(R'''_4, 180*°, C) → U_{56}
Rotate(Q'''_4, 180*°, C) → V_{56}
Rotate(P'''_4, 180*°, C) → W_{56}
Rotate(O'''_4, 180*°, C) → Z_{56}
Rotate(N'''_4, 180*°, C) → A_{57}
Rotate(M'''_4, 180*°, C) → B_{57}
Rotate(L'''_4, 180*°, C) → C_{57}
Rotate(K'''_4, 180*°, C) → D_{57}
Rotate(J'''_4, 180*°, C) → E_{57}
Rotate(I'''_4, 180*°, C) → F_{57}
Rotate(H'''_4, 180*°, C) → G_{57}
Rotate(G'''_4, 180*°, C) → H_{57}
Rotate(E'''_4, 180*°, C) → I_{57}
Rotate(S_{16}, 180*°, C) → J_{57}
Rotate(D'''_4, 180*°, C) → K_{57}
Rotate(C'_5, 180*°, C) → L_{57}
Rotate(T_{16}, 180*°, C) → M_{57}
Rotate(U_{16}, 180*°, C) → N_{57}
Rotate(Z'_8, 180*°, C) → O_{57}
Rotate(W'_8, 180*°, C) → P_{57}
Rotate(V'_8, 180*°, C) → Q_{57}
Rotate(U'_8, 180*°, C) → R_{57}
Rotate(T'_8, 180*°, C) → S_{57}
Rotate(S'_8, 180*°, C) → T_{57}
Rotate(R'_8, 180*°, C) → U_{57}
Rotate(Q'_8, 180*°, C) → V_{57}
Rotate(P'_8, 180*°, C) → W_{57}
Rotate(O'_8, 180*°, C) → Z_{57}
Rotate(N'_8, 180*°, C) → A_{58}
Rotate(M'_8, 180*°, C) → B_{58}
Rotate(L'_8, 180*°, C) → C_{58}
Rotate(K'_8, 180*°, C) → D_{58}
Rotate(J'_8, 180*°, C) → E_{58}
Rotate(I'_8, 180*°, C) → F_{58}
Rotate(H'_8, 180*°, C) → G_{58}
Rotate(G'_8, 180*°, C) → H_{58}
Rotate(F'_8, 180*°, C) → I_{58}
Rotate(E'_8, 180*°, C) → J_{58}
Rotate(D'_8, 180*°, C) → K_{58}
Polygon(L_{55}, M_{55}, V_{55}, W_{55}, Z_{55}, A_{56}, B_{56}, C_{56}, D_{56}, E_{56}, F_{56}, G_{56}, N_{55}, H_{56}, I_{56}, J_{56}, K_{56}, L_{56}, M_{56}, N_{56}, O_{56}, P_{56}, Q_{56}, O_{55}, R_{56}, S_{56}, T_{56}, U_{56}, V_{56}, W_{56}, Z_{56}, A_{57}, B_{57}, C_{57}, P_{55}, D_{57}, E_{57}, F_{57}, G_{57}, H_{57}, I_{57}, J_{57}, K_{57}, L_{57}, M_{57}, Q_{55}, N_{57}, O_{57}, P_{57}, Q_{57}, R_{57}, S_{57}, T_{57}, U_{57}, V_{57}, W_{57}, R_{55}, Z_{57}, A_{58}, B_{58}, C_{58}, D_{58}, E_{58}, F_{58}, G_{58}, H_{58}, I_{58}, S_{55}, J_{58}, K_{58}, T_{55}, U_{55}) → poly5, l_{55}, u_{55}, v_{55}, w_{55}, z_{55}, a_{56}, b_{56}, c_{56}, d_{56}, e_{56}, f_{56}, m_{55}, g_{56}, h_{56}, i_{56}, j_{56}, k_{56}, l_{56}, m_{56}, n_{56}, o_{56}, p_{56}, n_{55}, q_{56}, r_{56}, s_{56}, t_{56}, u_{56}, v_{56}, w_{56}, z_{56}, a_{57}, b_{57}, o_{55}, c_{57}, d_{57}, e_{57}, f_{57}, g_{57}, h_{57}, i_{57}, j_{57}, k_{57}, l_{57}, p_{55}, m_{57}, n_{57}, o_{57}, p_{57}, q_{57}, r_{57}, s_{57}, t_{57}, u_{57}, v_{57}, q_{55}, w_{57}, z_{57}, a_{58}, b_{58}, c_{58}, d_{58}, e_{58}, f_{58}, g_{58}, h_{58}, r_{55}, i_{58}, j_{58}, k_{58}, s_{55}, t_{55}
Rotate(V_{16}, 180*°, C) → L_{58}
Rotate(W_{16}, 180*°, C) → M_{58}
Rotate(Z_{16}, 180*°, C) → N_{58}
Rotate(A_{17}, 180*°, C) → O_{58}
Rotate(B_{17}, 180*°, C) → P_{58}
Rotate(C_{17}, 180*°, C) → Q_{58}
Rotate(D_{17}, 180*°, C) → R_{58}
Rotate(E_{17}, 180*°, C) → S_{58}
Rotate(F_{17}, 180*°, C) → T_{58}
Rotate(G_{17}, 180*°, C) → U_{58}
Rotate(H_{17}, 180*°, C) → V_{58}
Rotate(I_{17}, 180*°, C) → W_{58}
Rotate(J_{17}, 180*°, C) → Z_{58}
Rotate(K_{17}, 180*°, C) → A_{59}
Rotate(L_{17}, 180*°, C) → B_{59}
Rotate(M_{17}, 180*°, C) → C_{59}
Rotate(N_{17}, 180*°, C) → D_{59}
Rotate(O_{17}, 180*°, C) → E_{59}
Rotate(P_{17}, 180*°, C) → F_{59}
Rotate(Q_{17}, 180*°, C) → G_{59}
Rotate(R_{17}, 180*°, C) → H_{59}
Rotate(S_{17}, 180*°, C) → I_{59}
Rotate(T_{17}, 180*°, C) → J_{59}
Rotate(U_{17}, 180*°, C) → K_{59}
Rotate(A''_1, 180*°, C) → L_{59}
Rotate(V_{17}, 180*°, C) → M_{59}
Rotate(W_{17}, 180*°, C) → N_{59}
Rotate(Z_{17}, 180*°, C) → O_{59}
Rotate(A_{18}, 180*°, C) → P_{59}
Rotate(B_{18}, 180*°, C) → Q_{59}
Rotate(C_{18}, 180*°, C) → R_{59}
Rotate(D_{18}, 180*°, C) → S_{59}
Rotate(E_{18}, 180*°, C) → T_{59}
Rotate(F_{18}, 180*°, C) → U_{59}
Rotate(G_{18}, 180*°, C) → V_{59}
Rotate(H_{18}, 180*°, C) → W_{59}
Rotate(I_{18}, 180*°, C) → Z_{59}
Rotate(J_{18}, 180*°, C) → A_{60}
Rotate(K_{18}, 180*°, C) → B_{60}
Rotate(L_{18}, 180*°, C) → C_{60}
Rotate(M_{18}, 180*°, C) → D_{60}
Rotate(N_{18}, 180*°, C) → E_{60}
Rotate(O_{18}, 180*°, C) → F_{60}
Rotate(P_{18}, 180*°, C) → G_{60}
Rotate(Q_{18}, 180*°, C) → H_{60}
Rotate(R_{18}, 180*°, C) → I_{60}
Rotate(S_{18}, 180*°, C) → J_{60}
Rotate(T_{18}, 180*°, C) → K_{60}
Rotate(U_{18}, 180*°, C) → L_{60}
Rotate(V_{18}, 180*°, C) → M_{60}
Rotate(W_{18}, 180*°, C) → N_{60}
Rotate(Z_{18}, 180*°, C) → O_{60}
Rotate(A_{19}, 180*°, C) → P_{60}
Rotate(B_{19}, 180*°, C) → Q_{60}
Rotate(C_{19}, 180*°, C) → R_{60}
Rotate(D_{19}, 180*°, C) → S_{60}
Rotate(E_{19}, 180*°, C) → T_{60}
Rotate(F_{19}, 180*°, C) → U_{60}
Rotate(G_{19}, 180*°, C) → V_{60}
Rotate(H_{19}, 180*°, C) → W_{60}
Rotate(I_{19}, 180*°, C) → Z_{60}
Rotate(J_{19}, 180*°, C) → A_{61}
Rotate(K_{19}, 180*°, C) → B_{61}
Rotate(L_{19}, 180*°, C) → C_{61}
Rotate(M_{19}, 180*°, C) → D_{61}
Rotate(N_{19}, 180*°, C) → E_{61}
Rotate(O_{19}, 180*°, C) → F_{61}
Rotate(P_{19}, 180*°, C) → G_{61}
Rotate(Q_{19}, 180*°, C) → H_{61}
Rotate(R_{19}, 180*°, C) → I_{61}
Rotate(S_{19}, 180*°, C) → J_{61}
Rotate(T_{19}, 180*°, C) → K_{61}
Polygon(L_{58}, M_{58}, V_{58}, W_{58}, Z_{58}, A_{59}, B_{59}, C_{59}, D_{59}, E_{59}, F_{59}, G_{59}, N_{58}, H_{59}, I_{59}, J_{59}, K_{59}, L_{59}, M_{59}, N_{59}, O_{59}, P_{59}, Q_{59}, O_{58}, R_{59}, S_{59}, T_{59}, U_{59}, V_{59}, W_{59}, Z_{59}, A_{60}, B_{60}, C_{60}, P_{58}, D_{60}, E_{60}, F_{60}, G_{60}, H_{60}, I_{60}, J_{60}, K_{60}, L_{60}, M_{60}, Q_{58}, N_{60}, O_{60}, P_{60}, Q_{60}, R_{60}, S_{60}, T_{60}, U_{60}, V_{60}, W_{60}, R_{58}, Z_{60}, A_{61}, B_{61}, C_{61}, D_{61}, E_{61}, F_{61}, G_{61}, H_{61}, I_{61}, S_{58}, J_{61}, K_{61}, T_{58}, U_{58}) → poly6, l_{58}, u_{58}, v_{58}, w_{58}, z_{58}, a_{59}, b_{59}, c_{59}, d_{59}, e_{59}, f_{59}, m_{58}, g_{59}, h_{59}, i_{59}, j_{59}, k_{59}, l_{59}, m_{59}, n_{59}, o_{59}, p_{59}, n_{58}, q_{59}, r_{59}, s_{59}, t_{59}, u_{59}, v_{59}, w_{59}, z_{59}, a_{60}, b_{60}, o_{58}, c_{60}, d_{60}, e_{60}, f_{60}, g_{60}, h_{60}, i_{60}, j_{60}, k_{60}, l_{60}, p_{58}, m_{60}, n_{60}, o_{60}, p_{60}, q_{60}, r_{60}, s_{60}, t_{60}, u_{60}, v_{60}, q_{58}, w_{60}, z_{60}, a_{61}, b_{61}, c_{61}, d_{61}, e_{61}, f_{61}, g_{61}, h_{61}, r_{58}, i_{61}, j_{61}, k_{61}, s_{58}, t_{58}
Rotate(U_{19}, 180*°, C) → L_{61}
Rotate(V_{19}, 180*°, C) → M_{61}
Rotate(W_{19}, 180*°, C) → N_{61}
Rotate(Z_{19}, 180*°, C) → O_{61}
Rotate(A_{20}, 180*°, C) → P_{61}
Rotate(B_{20}, 180*°, C) → Q_{61}
Rotate(C_{20}, 180*°, C) → R_{61}
Rotate(D_{20}, 180*°, C) → S_{61}
Rotate(E_{20}, 180*°, C) → T_{61}
Rotate(F_{20}, 180*°, C) → U_{61}
Rotate(G_{20}, 180*°, C) → V_{61}
Rotate(H_{20}, 180*°, C) → W_{61}
Rotate(I_{20}, 180*°, C) → Z_{61}
Rotate(J_{20}, 180*°, C) → A_{62}
Rotate(K_{20}, 180*°, C) → B_{62}
Rotate(L_{20}, 180*°, C) → C_{62}
Rotate(M_{20}, 180*°, C) → D_{62}
Rotate(N_{20}, 180*°, C) → E_{62}
Rotate(O_{20}, 180*°, C) → F_{62}
Rotate(P_{20}, 180*°, C) → G_{62}
Rotate(Q_{20}, 180*°, C) → H_{62}
Rotate(R_{20}, 180*°, C) → I_{62}
Rotate(S_{20}, 180*°, C) → J_{62}
Rotate(T_{20}, 180*°, C) → K_{62}
Rotate(U_{20}, 180*°, C) → L_{62}
Rotate(V_{20}, 180*°, C) → M_{62}
Rotate(W_{20}, 180*°, C) → N_{62}
Rotate(Z_{20}, 180*°, C) → O_{62}
Rotate(A_{21}, 180*°, C) → P_{62}
Rotate(B_{21}, 180*°, C) → Q_{62}
Rotate(C_{21}, 180*°, C) → R_{62}
Rotate(D_{21}, 180*°, C) → S_{62}
Rotate(E_{21}, 180*°, C) → T_{62}
Rotate(F_{21}, 180*°, C) → U_{62}
Rotate(G_{21}, 180*°, C) → V_{62}
Rotate(H_{21}, 180*°, C) → W_{62}
Rotate(I_{21}, 180*°, C) → Z_{62}
Rotate(J_{21}, 180*°, C) → A_{63}
Rotate(K_{21}, 180*°, C) → B_{63}
Rotate(L_{21}, 180*°, C) → C_{63}
Rotate(M_{21}, 180*°, C) → D_{63}
Rotate(N_{21}, 180*°, C) → E_{63}
Rotate(O_{21}, 180*°, C) → F_{63}
Rotate(P_{21}, 180*°, C) → G_{63}
Rotate(Q_{21}, 180*°, C) → H_{63}
Rotate(R_{21}, 180*°, C) → I_{63}
Rotate(S_{21}, 180*°, C) → J_{63}
Rotate(T_{21}, 180*°, C) → K_{63}
Rotate(U_{21}, 180*°, C) → L_{63}
Rotate(V_{21}, 180*°, C) → M_{63}
Rotate(W_{21}, 180*°, C) → N_{63}
Rotate(Z_{21}, 180*°, C) → O_{63}
Rotate(A_{22}, 180*°, C) → P_{63}
Rotate(B_{22}, 180*°, C) → Q_{63}
Rotate(C_{22}, 180*°, C) → R_{63}
Rotate(D_{22}, 180*°, C) → S_{63}
Rotate(E_{22}, 180*°, C) → T_{63}
Rotate(F_{22}, 180*°, C) → U_{63}
Rotate(G_{22}, 180*°, C) → V_{63}
Rotate(H_{22}, 180*°, C) → W_{63}
Rotate(I_{22}, 180*°, C) → Z_{63}
Rotate(J_{22}, 180*°, C) → A_{64}
Rotate(K_{22}, 180*°, C) → B_{64}
Rotate(L_{22}, 180*°, C) → C_{64}
Rotate(M_{22}, 180*°, C) → D_{64}
Rotate(N_{22}, 180*°, C) → E_{64}
Rotate(O_{22}, 180*°, C) → F_{64}
Rotate(P_{22}, 180*°, C) → G_{64}
Rotate(Q_{22}, 180*°, C) → H_{64}
Rotate(R_{22}, 180*°, C) → I_{64}
Rotate(S_{22}, 180*°, C) → J_{64}
Rotate(T_{22}, 180*°, C) → K_{64}
Polygon(L_{61}, M_{61}, V_{61}, W_{61}, Z_{61}, A_{62}, B_{62}, C_{62}, D_{62}, E_{62}, F_{62}, G_{62}, N_{61}, H_{62}, I_{62}, J_{62}, K_{62}, L_{62}, M_{62}, N_{62}, O_{62}, P_{62}, Q_{62}, O_{61}, R_{62}, S_{62}, T_{62}, U_{62}, V_{62}, W_{62}, Z_{62}, A_{63}, B_{63}, C_{63}, P_{61}, D_{63}, E_{63}, F_{63}, G_{63}, H_{63}, I_{63}, J_{63}, K_{63}, L_{63}, M_{63}, Q_{61}, N_{63}, O_{63}, P_{63}, Q_{63}, R_{63}, S_{63}, T_{63}, U_{63}, V_{63}, W_{63}, R_{61}, Z_{63}, A_{64}, B_{64}, C_{64}, D_{64}, E_{64}, F_{64}, G_{64}, H_{64}, I_{64}, S_{61}, J_{64}, K_{64}, T_{61}, U_{61}) → poly3', l_{61}, u_{61}, v_{61}, w_{61}, z_{61}, a_{62}, b_{62}, c_{62}, d_{62}, e_{62}, f_{62}, m_{61}, g_{62}, h_{62}, i_{62}, j_{62}, k_{62}, l_{62}, m_{62}, n_{62}, o_{62}, p_{62}, n_{61}, q_{62}, r_{62}, s_{62}, t_{62}, u_{62}, v_{62}, w_{62}, z_{62}, a_{63}, b_{63}, o_{61}, c_{63}, d_{63}, e_{63}, f_{63}, g_{63}, h_{63}, i_{63}, j_{63}, k_{63}, l_{63}, p_{61}, m_{63}, n_{63}, o_{63}, p_{63}, q_{63}, r_{63}, s_{63}, t_{63}, u_{63}, v_{63}, q_{61}, w_{63}, z_{63}, a_{64}, b_{64}, c_{64}, d_{64}, e_{64}, f_{64}, g_{64}, h_{64}, r_{61}, i_{64}, j_{64}, k_{64}, s_{61}, t_{61}
Rotate(U_{22}, 180*°, C) → L_{64}
Rotate(V_{22}, 180*°, C) → M_{64}
Rotate(W_{22}, 180*°, C) → N_{64}
Rotate(Z_{22}, 180*°, C) → O_{64}
Rotate(A_{23}, 180*°, C) → P_{64}
Rotate(B_{23}, 180*°, C) → Q_{64}
Rotate(C_{23}, 180*°, C) → R_{64}
Rotate(D_{23}, 180*°, C) → S_{64}
Rotate(E_{23}, 180*°, C) → T_{64}
Rotate(F_{23}, 180*°, C) → U_{64}
Rotate(G_{23}, 180*°, C) → V_{64}
Rotate(H_{23}, 180*°, C) → W_{64}
Rotate(I_{23}, 180*°, C) → Z_{64}
Rotate(J_{23}, 180*°, C) → A_{65}
Rotate(K_{23}, 180*°, C) → B_{65}
Rotate(L_{23}, 180*°, C) → C_{65}
Rotate(M_{23}, 180*°, C) → D_{65}
Rotate(N_{23}, 180*°, C) → E_{65}
Rotate(O_{23}, 180*°, C) → F_{65}
Rotate(P_{23}, 180*°, C) → G_{65}
Rotate(Q_{23}, 180*°, C) → H_{65}
Rotate(R_{23}, 180*°, C) → I_{65}
Rotate(S_{23}, 180*°, C) → J_{65}
Rotate(T_{23}, 180*°, C) → K_{65}
Rotate(A''', 180*°, C) → L_{65}
Rotate(U_{23}, 180*°, C) → M_{65}
Rotate(V_{23}, 180*°, C) → N_{65}
Rotate(W_{23}, 180*°, C) → O_{65}
Rotate(Z_{23}, 180*°, C) → P_{65}
Rotate(A_{24}, 180*°, C) → Q_{65}
Rotate(B_{24}, 180*°, C) → R_{65}
Rotate(C_{24}, 180*°, C) → S_{65}
Rotate(D_{24}, 180*°, C) → T_{65}
Rotate(E_{24}, 180*°, C) → U_{65}
Rotate(F_{24}, 180*°, C) → V_{65}
Rotate(G_{24}, 180*°, C) → W_{65}
Rotate(H_{24}, 180*°, C) → Z_{65}
Rotate(I_{24}, 180*°, C) → A_{66}
Rotate(J_{24}, 180*°, C) → B_{66}
Rotate(K_{24}, 180*°, C) → C_{66}
Rotate(L_{24}, 180*°, C) → D_{66}
Rotate(M_{24}, 180*°, C) → E_{66}
Rotate(N_{24}, 180*°, C) → F_{66}
Rotate(O_{24}, 180*°, C) → G_{66}
Rotate(P_{24}, 180*°, C) → H_{66}
Rotate(Q_{24}, 180*°, C) → I_{66}
Rotate(R_{24}, 180*°, C) → J_{66}
Rotate(S_{24}, 180*°, C) → K_{66}
Rotate(T_{24}, 180*°, C) → L_{66}
Rotate(U_{24}, 180*°, C) → M_{66}
Rotate(V_{24}, 180*°, C) → N_{66}
Rotate(W_{24}, 180*°, C) → O_{66}
Rotate(Z_{24}, 180*°, C) → P_{66}
Rotate(A_{25}, 180*°, C) → Q_{66}
Rotate(B_{25}, 180*°, C) → R_{66}
Rotate(C_{25}, 180*°, C) → S_{66}
Rotate(D_{25}, 180*°, C) → T_{66}
Rotate(E_{25}, 180*°, C) → U_{66}
Rotate(F_{25}, 180*°, C) → V_{66}
Rotate(G_{25}, 180*°, C) → W_{66}
Rotate(H_{25}, 180*°, C) → Z_{66}
Rotate(I_{25}, 180*°, C) → A_{67}
Rotate(J_{25}, 180*°, C) → B_{67}
Rotate(K_{25}, 180*°, C) → C_{67}
Rotate(L_{25}, 180*°, C) → D_{67}
Rotate(M_{25}, 180*°, C) → E_{67}
Rotate(N_{25}, 180*°, C) → F_{67}
Rotate(O_{25}, 180*°, C) → G_{67}
Rotate(P_{25}, 180*°, C) → H_{67}
Rotate(Q_{25}, 180*°, C) → I_{67}
Rotate(R_{25}, 180*°, C) → J_{67}
Rotate(S_{25}, 180*°, C) → K_{67}
Polygon(L_{64}, M_{64}, V_{64}, W_{64}, Z_{64}, A_{65}, B_{65}, C_{65}, D_{65}, E_{65}, F_{65}, G_{65}, N_{64}, H_{65}, I_{65}, J_{65}, K_{65}, L_{65}, M_{65}, N_{65}, O_{65}, P_{65}, Q_{65}, O_{64}, R_{65}, S_{65}, T_{65}, U_{65}, V_{65}, W_{65}, Z_{65}, A_{66}, B_{66}, C_{66}, P_{64}, D_{66}, E_{66}, F_{66}, G_{66}, H_{66}, I_{66}, J_{66}, K_{66}, L_{66}, M_{66}, Q_{64}, N_{66}, O_{66}, P_{66}, Q_{66}, R_{66}, S_{66}, T_{66}, U_{66}, V_{66}, W_{66}, R_{64}, Z_{66}, A_{67}, B_{67}, C_{67}, D_{67}, E_{67}, F_{67}, G_{67}, H_{67}, I_{67}, S_{64}, J_{67}, K_{67}, T_{64}, U_{64}) → poly7, l_{64}, u_{64}, v_{64}, w_{64}, z_{64}, a_{65}, b_{65}, c_{65}, d_{65}, e_{65}, f_{65}, m_{64}, g_{65}, h_{65}, i_{65}, j_{65}, k_{65}, l_{65}, m_{65}, n_{65}, o_{65}, p_{65}, n_{64}, q_{65}, r_{65}, s_{65}, t_{65}, u_{65}, v_{65}, w_{65}, z_{65}, a_{66}, b_{66}, o_{64}, c_{66}, d_{66}, e_{66}, f_{66}, g_{66}, h_{66}, i_{66}, j_{66}, k_{66}, l_{66}, p_{64}, m_{66}, n_{66}, o_{66}, p_{66}, q_{66}, r_{66}, s_{66}, t_{66}, u_{66}, v_{66}, q_{64}, w_{66}, z_{66}, a_{67}, b_{67}, c_{67}, d_{67}, e_{67}, f_{67}, g_{67}, h_{67}, r_{64}, i_{67}, j_{67}, k_{67}, s_{64}, t_{64}
Rotate(B, 180*°, C) → B'_9
Rotate(D, 180*°, C) → D'_{12}
Segment(B'_9, D'_{12}) → d'_7
Rotate(D, 180*°, C) → D'_{13}
Rotate(E, 180*°, C) → E'_{12}
Segment(D'_{13}, E'_{12}) → e'_7
Rotate(E, 180*°, C) → E'_{13}
Rotate(F, 180*°, C) → F'_{12}
Segment(E'_{13}, F'_{12}) → f'_7
Rotate(F, 180*°, C) → F'_{13}
Rotate(G, 180*°, C) → G'_{12}
Segment(F'_{13}, G'_{12}) → g'_7
Rotate(G, 180*°, C) → G'_{13}
Rotate(H, 180*°, C) → H'_{12}
Segment(G'_{13}, H'_{12}) → h'_7
Rotate(H, 180*°, C) → H'_{13}
Rotate(I, 180*°, C) → I'_{12}
Segment(H'_{13}, I'_{12}) → i'_7
Rotate(I, 180*°, C) → I'_{13}
Rotate(J, 180*°, C) → J'_{12}
Segment(I'_{13}, J'_{12}) → j'_7
Rotate(J, 180*°, C) → J'_{13}
Rotate(K, 180*°, C) → K'_{12}
Segment(J'_{13}, K'_{12}) → k'_7
Rotate(K, 180*°, C) → K'_{13}
Rotate(L, 180*°, C) → L'_{12}
Segment(K'_{13}, L'_{12}) → l'_7
Rotate(L, 180*°, C) → L'_{13}
Rotate(M, 180*°, C) → M'_{12}
Segment(L'_{13}, M'_{12}) → m'_9
Rotate(M, 180*°, C) → M'_{13}
Rotate(N, 180*°, C) → N'_{12}
Segment(M'_{13}, N'_{12}) → n'_6
Rotate(N, 180*°, C) → N'_{13}
Rotate(O, 180*°, C) → O'_{12}
Segment(N'_{13}, O'_{12}) → p'_7
Rotate(O, 180*°, C) → O'_{13}
Rotate(P, 180*°, C) → P'_{12}
Segment(O'_{13}, P'_{12}) → q'_7
Rotate(P, 180*°, C) → P'_{13}
Rotate(Q, 180*°, C) → Q'_{12}
Segment(P'_{13}, Q'_{12}) → r'_7
Rotate(Q, 180*°, C) → Q'_{13}
Rotate(R, 180*°, C) → R'_{12}
Segment(Q'_{13}, R'_{12}) → s'_7
Rotate(R, 180*°, C) → R'_{13}
Rotate(S, 180*°, C) → S'_{12}
Segment(R'_{13}, S'_{12}) → t'_7
Rotate(S, 180*°, C) → S'_{13}
Rotate(T, 180*°, C) → T'_{12}
Segment(S'_{13}, T'_{12}) → j_{35}
Rotate(T, 180*°, C) → T'_{13}
Rotate(U, 180*°, C) → U'_{12}
Segment(T'_{13}, U'_{12}) → k_{35}
Rotate(U, 180*°, C) → U'_{13}
Rotate(V, 180*°, C) → V'_{12}
Segment(U'_{13}, V'_{12}) → l_{35}
Rotate(V, 180*°, C) → V'_{13}
Rotate(W, 180*°, C) → W'_{12}
Segment(V'_{13}, W'_{12}) → m_{35}
Rotate(W, 180*°, C) → W'_{13}
Rotate(Z, 180*°, C) → Z'_{12}
Segment(W'_{13}, Z'_{12}) → n_{35}
Rotate(Z, 180*°, C) → Z'_{13}
Rotate(A_1, 180*°, C) → L_{67}
Segment(Z'_{13}, L_{67}) → p_{35}
Rotate(A_1, 180*°, C) → M_{67}
Rotate(B_1, 180*°, C) → N_{67}
Segment(M_{67}, N_{67}) → q_{35}
Rotate(B_1, 180*°, C) → O_{67}
Rotate(C, 180*°, C) → C'_8
Segment(O_{67}, C'_8) → r_{35}
Rotate(B', 180*°, C) → B''_4
Rotate(D', 180*°, C) → D''_8
Segment(B''_4, D''_8) → d''_9
Rotate(D'_1, 180*°, C) → P_{67}
Rotate(E', 180*°, C) → E''_8
Segment(P_{67}, E''_8) → e''_9
Rotate(E'_1, 180*°, C) → Q_{67}
Rotate(F', 180*°, C) → F''_8
Segment(Q_{67}, F''_8) → f''_8
Rotate(F'_1, 180*°, C) → R_{67}
Rotate(G', 180*°, C) → G''_8
Segment(R_{67}, G''_8) → g''_9
Rotate(G'_1, 180*°, C) → S_{67}
Rotate(H', 180*°, C) → H''_8
Segment(S_{67}, H''_8) → h''_9
Rotate(H'_1, 180*°, C) → T_{67}
Rotate(I', 180*°, C) → I''_8
Segment(T_{67}, I''_8) → i''_9
Rotate(I'_1, 180*°, C) → U_{67}
Rotate(J', 180*°, C) → J''_8
Segment(U_{67}, J''_8) → j''_9
Rotate(J'_1, 180*°, C) → V_{67}
Rotate(K', 180*°, C) → K''_8
Segment(V_{67}, K''_8) → k''_9
Rotate(K'_1, 180*°, C) → W_{67}
Rotate(L', 180*°, C) → L''_8
Segment(W_{67}, L''_8) → l''_9
Rotate(L'_1, 180*°, C) → Z_{67}
Rotate(M', 180*°, C) → M''_8
Segment(Z_{67}, M''_8) → m''_9
Rotate(M'_1, 180*°, C) → A_{68}
Rotate(N', 180*°, C) → N''_4
Segment(A_{68}, N''_4) → n''_5
Rotate(N'_1, 180*°, C) → B_{68}
Rotate(O', 180*°, C) → O''_8
Segment(B_{68}, O''_8) → p''_9
Rotate(O'_1, 180*°, C) → C_{68}
Rotate(P', 180*°, C) → P''_8
Segment(C_{68}, P''_8) → q''_9
Rotate(P'_1, 180*°, C) → D_{68}
Rotate(Q', 180*°, C) → Q''_8
Segment(D_{68}, Q''_8) → r''_9
Rotate(Q'_1, 180*°, C) → E_{68}
Rotate(R', 180*°, C) → R''_8
Segment(E_{68}, R''_8) → s''_9
Rotate(R'_1, 180*°, C) → F_{68}
Rotate(S', 180*°, C) → S''_8
Segment(F_{68}, S''_8) → t''_9
Rotate(S'_1, 180*°, C) → G_{68}
Rotate(T', 180*°, C) → T''_8
Segment(G_{68}, T''_8) → s_{35}
Rotate(T'_1, 180*°, C) → H_{68}
Rotate(U', 180*°, C) → U''_8
Segment(H_{68}, U''_8) → t_{35}
Rotate(U'_1, 180*°, C) → I_{68}
Rotate(V', 180*°, C) → V''_8
Segment(I_{68}, V''_8) → a_{36}
Rotate(V'_1, 180*°, C) → J_{68}
Rotate(W', 180*°, C) → W''_8
Segment(J_{68}, W''_8) → b_{36}
Rotate(W'_1, 180*°, C) → K_{68}
Rotate(Z', 180*°, C) → Z''_8
Segment(K_{68}, Z''_8) → c_{36}
Rotate(Z'_1, 180*°, C) → L_{68}
Rotate(C_1, 180*°, C) → M_{68}
Segment(L_{68}, M_{68}) → d_{36}
Rotate(D_1, 180*°, C) → N_{68}
Rotate(E_1, 180*°, C) → O_{68}
Segment(N_{68}, O_{68}) → e_{36}
Rotate(F_1, 180*°, C) → P_{68}
Rotate(C', 180*°, C) → C''_4
Segment(P_{68}, C''_4) → f_{36}
Rotate(B'', 180*°, C) → B'''_3
Rotate(D'', 180*°, C) → D'''_7
Segment(B'''_3, D'''_7) → d'''_7
Rotate(G_1, 180*°, C) → Q_{68}
Rotate(E'', 180*°, C) → E'''_7
Segment(Q_{68}, E'''_7) → e'''_7
Rotate(H_1, 180*°, C) → R_{68}
Rotate(F'', 180*°, C) → F'''_3
Segment(R_{68}, F'''_3) → f'''_3
Rotate(I_1, 180*°, C) → S_{68}
Rotate(G'', 180*°, C) → G'''_7
Segment(S_{68}, G'''_7) → g'''_7
Rotate(J_1, 180*°, C) → T_{68}
Rotate(H'', 180*°, C) → H'''_7
Segment(T_{68}, H'''_7) → h'''_7
Rotate(K_1, 180*°, C) → U_{68}
Rotate(I'', 180*°, C) → I'''_7
Segment(U_{68}, I'''_7) → i'''_7
Rotate(L_1, 180*°, C) → V_{68}
Rotate(J'', 180*°, C) → J'''_7
Segment(V_{68}, J'''_7) → j'''_7
Rotate(M_1, 180*°, C) → W_{68}
Rotate(K'', 180*°, C) → K'''_7
Segment(W_{68}, K'''_7) → k'''_7
Rotate(N_1, 180*°, C) → Z_{68}
Rotate(L'', 180*°, C) → L'''_7
Segment(Z_{68}, L'''_7) → l'''_7
Rotate(O_1, 180*°, C) → A_{69}
Rotate(M'', 180*°, C) → M'''_7
Segment(A_{69}, M'''_7) → m'''_7
Rotate(P_1, 180*°, C) → B_{69}
Rotate(N'', 180*°, C) → N'''_7
Segment(B_{69}, N'''_7) → n'''_7
Rotate(Q_1, 180*°, C) → C_{69}
Rotate(O'', 180*°, C) → O'''_7
Segment(C_{69}, O'''_7) → p'''_7
Rotate(R_1, 180*°, C) → D_{69}
Rotate(P'', 180*°, C) → P'''_7
Segment(D_{69}, P'''_7) → q'''_7
Rotate(S_1, 180*°, C) → E_{69}
Rotate(Q'', 180*°, C) → Q'''_7
Segment(E_{69}, Q'''_7) → r'''_7
Rotate(T_1, 180*°, C) → F_{69}
Rotate(R'', 180*°, C) → R'''_7
Segment(F_{69}, R'''_7) → s'''_7
Rotate(U_1, 180*°, C) → G_{69}
Rotate(S'', 180*°, C) → S'''_7
Segment(G_{69}, S'''_7) → t'''_7
Rotate(V_1, 180*°, C) → H_{69}
Rotate(T'', 180*°, C) → T'''_7
Segment(H_{69}, T'''_7) → g_{36}
Rotate(W_1, 180*°, C) → I_{69}
Rotate(U'', 180*°, C) → U'''_7
Segment(I_{69}, U'''_7) → h_{36}
Rotate(Z_1, 180*°, C) → J_{69}
Rotate(V'', 180*°, C) → V'''_7
Segment(J_{69}, V'''_7) → i_{36}
Rotate(A_2, 180*°, C) → K_{69}
Rotate(W'', 180*°, C) → W'''_7
Segment(K_{69}, W'''_7) → j_{36}
Rotate(B_2, 180*°, C) → L_{69}
Rotate(Z'', 180*°, C) → Z'''_7
Segment(L_{69}, Z'''_7) → k_{36}
Rotate(C_2, 180*°, C) → M_{69}
Rotate(D_2, 180*°, C) → N_{69}
Segment(M_{69}, N_{69}) → l_{36}
Rotate(E_2, 180*°, C) → O_{69}
Rotate(F_2, 180*°, C) → P_{69}
Segment(O_{69}, P_{69}) → m_{36}
Rotate(G_2, 180*°, C) → Q_{69}
Rotate(C'', 180*°, C) → C'''_3
Segment(Q_{69}, C'''_3) → n_{36}
Rotate(B'_3, 180*°, C) → R_{69}
Rotate(D'_3, 180*°, C) → S_{69}
Segment(R_{69}, S_{69}) → p_{36}
Rotate(D'_4, 180*°, C) → T_{69}
Rotate(E'_3, 180*°, C) → U_{69}
Segment(T_{69}, U_{69}) → q_{36}
Rotate(E'_4, 180*°, C) → V_{69}
Rotate(F'_3, 180*°, C) → W_{69}
Segment(V_{69}, W_{69}) → r_{36}
Rotate(F'_4, 180*°, C) → Z_{69}
Rotate(G'_3, 180*°, C) → A_{70}
Segment(Z_{69}, A_{70}) → s_{36}
Rotate(G'_4, 180*°, C) → B_{70}
Rotate(H'_3, 180*°, C) → C_{70}
Segment(B_{70}, C_{70}) → t_{36}
Rotate(H'_4, 180*°, C) → D_{70}
Rotate(I'_3, 180*°, C) → E_{70}
Segment(D_{70}, E_{70}) → a_{37}
Rotate(I'_4, 180*°, C) → F_{70}
Rotate(J'_3, 180*°, C) → G_{70}
Segment(F_{70}, G_{70}) → b_{37}
Rotate(J'_4, 180*°, C) → H_{70}
Rotate(K'_3, 180*°, C) → I_{70}
Segment(H_{70}, I_{70}) → c_{37}
Rotate(K'_4, 180*°, C) → J_{70}
Rotate(L'_3, 180*°, C) → K_{70}
Segment(J_{70}, K_{70}) → d_{37}
Rotate(L'_4, 180*°, C) → L_{70}
Rotate(M'_3, 180*°, C) → M_{70}
Segment(L_{70}, M_{70}) → e_{37}
Rotate(M'_4, 180*°, C) → N_{70}
Rotate(N'_3, 180*°, C) → O_{70}
Segment(N_{70}, O_{70}) → f_{37}
Rotate(N'_4, 180*°, C) → P_{70}
Rotate(O'_3, 180*°, C) → Q_{70}
Segment(P_{70}, Q_{70}) → g_{37}
Rotate(O'_4, 180*°, C) → R_{70}
Rotate(P'_3, 180*°, C) → S_{70}
Segment(R_{70}, S_{70}) → h_{37}
Rotate(P'_4, 180*°, C) → T_{70}
Rotate(Q'_3, 180*°, C) → U_{70}
Segment(T_{70}, U_{70}) → i_{37}
Rotate(Q'_4, 180*°, C) → V_{70}
Rotate(R'_3, 180*°, C) → W_{70}
Segment(V_{70}, W_{70}) → j_{37}
Rotate(R'_4, 180*°, C) → Z_{70}
Rotate(S'_3, 180*°, C) → A_{71}
Segment(Z_{70}, A_{71}) → k_{37}
Rotate(S'_4, 180*°, C) → B_{71}
Rotate(T'_3, 180*°, C) → C_{71}
Segment(B_{71}, C_{71}) → l_{37}
Rotate(T'_4, 180*°, C) → D_{71}
Rotate(U'_3, 180*°, C) → E_{71}
Segment(D_{71}, E_{71}) → m_{37}
Rotate(U'_4, 180*°, C) → F_{71}
Rotate(V'_3, 180*°, C) → G_{71}
Segment(F_{71}, G_{71}) → n_{37}
Rotate(V'_4, 180*°, C) → H_{71}
Rotate(W'_3, 180*°, C) → I_{71}
Segment(H_{71}, I_{71}) → p_{37}
Rotate(W'_4, 180*°, C) → J_{71}
Rotate(Z'_3, 180*°, C) → K_{71}
Segment(J_{71}, K_{71}) → q_{37}
Rotate(Z'_4, 180*°, C) → L_{71}
Rotate(P_2, 180*°, C) → M_{71}
Segment(L_{71}, M_{71}) → r_{37}
Rotate(Q_2, 180*°, C) → N_{71}
Rotate(R_2, 180*°, C) → O_{71}
Segment(N_{71}, O_{71}) → s_{37}
Rotate(S_2, 180*°, C) → P_{71}
Rotate(C'_2, 180*°, C) → Q_{71}
Segment(P_{71}, Q_{71}) → t_{37}
Rotate(B''_1, 180*°, C) → R_{71}
Rotate(D''_2, 180*°, C) → S_{71}
Segment(R_{71}, S_{71}) → a_{38}
Rotate(T_2, 180*°, C) → T_{71}
Rotate(E''_2, 180*°, C) → U_{71}
Segment(T_{71}, U_{71}) → b_{38}
Rotate(U_2, 180*°, C) → V_{71}
Rotate(F''_2, 180*°, C) → W_{71}
Segment(V_{71}, W_{71}) → c_{38}
Rotate(V_2, 180*°, C) → Z_{71}
Rotate(G''_2, 180*°, C) → A_{72}
Segment(Z_{71}, A_{72}) → d_{38}
Rotate(W_2, 180*°, C) → B_{72}
Rotate(H''_2, 180*°, C) → C_{72}
Segment(B_{72}, C_{72}) → e_{38}
Rotate(Z_2, 180*°, C) → D_{72}
Rotate(I''_2, 180*°, C) → E_{72}
Segment(D_{72}, E_{72}) → f_{38}
Rotate(A_3, 180*°, C) → F_{72}
Rotate(J''_2, 180*°, C) → G_{72}
Segment(F_{72}, G_{72}) → g_{38}
Rotate(B_3, 180*°, C) → H_{72}
Rotate(K''_2, 180*°, C) → I_{72}
Segment(H_{72}, I_{72}) → h_{38}
Rotate(C_3, 180*°, C) → J_{72}
Rotate(L''_2, 180*°, C) → K_{72}
Segment(J_{72}, K_{72}) → i_{38}
Rotate(D_3, 180*°, C) → L_{72}
Rotate(M''_2, 180*°, C) → M_{72}
Segment(L_{72}, M_{72}) → j_{38}
Rotate(E_3, 180*°, C) → N_{72}
Rotate(N''_1, 180*°, C) → O_{72}
Segment(N_{72}, O_{72}) → k_{38}
Rotate(F_3, 180*°, C) → P_{72}
Rotate(O''_2, 180*°, C) → Q_{72}
Segment(P_{72}, Q_{72}) → l_{38}
Rotate(G_3, 180*°, C) → R_{72}
Rotate(P''_2, 180*°, C) → S_{72}
Segment(R_{72}, S_{72}) → m_{38}
Rotate(H_3, 180*°, C) → T_{72}
Rotate(Q''_2, 180*°, C) → U_{72}
Segment(T_{72}, U_{72}) → n_{38}
Rotate(I_3, 180*°, C) → V_{72}
Rotate(R''_2, 180*°, C) → W_{72}
Segment(V_{72}, W_{72}) → p_{38}
Rotate(J_3, 180*°, C) → Z_{72}
Rotate(S''_2, 180*°, C) → A_{73}
Segment(Z_{72}, A_{73}) → q_{38}
Rotate(K_3, 180*°, C) → B_{73}
Rotate(T''_2, 180*°, C) → C_{73}
Segment(B_{73}, C_{73}) → r_{38}
Rotate(L_3, 180*°, C) → D_{73}
Rotate(U''_2, 180*°, C) → E_{73}
Segment(D_{73}, E_{73}) → s_{38}
Rotate(M_3, 180*°, C) → F_{73}
Rotate(V''_2, 180*°, C) → G_{73}
Segment(F_{73}, G_{73}) → t_{38}
Rotate(N_3, 180*°, C) → H_{73}
Rotate(W''_2, 180*°, C) → I_{73}
Segment(H_{73}, I_{73}) → a_{39}
Rotate(O_3, 180*°, C) → J_{73}
Rotate(Z''_2, 180*°, C) → K_{73}
Segment(J_{73}, K_{73}) → b_{39}
Rotate(P_3, 180*°, C) → L_{73}
Rotate(Q_3, 180*°, C) → M_{73}
Segment(L_{73}, M_{73}) → c_{39}
Rotate(R_3, 180*°, C) → N_{73}
Rotate(S_3, 180*°, C) → O_{73}
Segment(N_{73}, O_{73}) → d_{39}
Rotate(T_3, 180*°, C) → P_{73}
Rotate(C''_1, 180*°, C) → Q_{73}
Segment(P_{73}, Q_{73}) → e_{39}
Rotate(B''', 180*°, C) → R_{73}
Rotate(D'''_1, 180*°, C) → S_{73}
Segment(R_{73}, S_{73}) → f_{39}
Rotate(U_3, 180*°, C) → T_{73}
Rotate(E'''_1, 180*°, C) → U_{73}
Segment(T_{73}, U_{73}) → g_{39}
Rotate(V_3, 180*°, C) → V_{73}
Rotate(F''', 180*°, C) → W_{73}
Segment(V_{73}, W_{73}) → h_{39}
Rotate(W_3, 180*°, C) → Z_{73}
Rotate(G'''_1, 180*°, C) → A_{74}
Segment(Z_{73}, A_{74}) → i_{39}
Rotate(Z_3, 180*°, C) → B_{74}
Rotate(H'''_1, 180*°, C) → C_{74}
Segment(B_{74}, C_{74}) → j_{39}
Rotate(A_4, 180*°, C) → D_{74}
Rotate(I'''_1, 180*°, C) → E_{74}
Segment(D_{74}, E_{74}) → k_{39}
Rotate(B_4, 180*°, C) → F_{74}
Rotate(J'''_1, 180*°, C) → G_{74}
Segment(F_{74}, G_{74}) → l_{39}
Rotate(C_4, 180*°, C) → H_{74}
Rotate(K'''_1, 180*°, C) → I_{74}
Segment(H_{74}, I_{74}) → m_{39}
Rotate(D_4, 180*°, C) → J_{74}
Rotate(L'''_1, 180*°, C) → K_{74}
Segment(J_{74}, K_{74}) → n_{39}
Rotate(E_4, 180*°, C) → L_{74}
Rotate(M'''_1, 180*°, C) → M_{74}
Segment(L_{74}, M_{74}) → p_{39}
Rotate(F_4, 180*°, C) → N_{74}
Rotate(N'''_1, 180*°, C) → O_{74}
Segment(N_{74}, O_{74}) → q_{39}
Rotate(G_4, 180*°, C) → P_{74}
Rotate(O'''_1, 180*°, C) → Q_{74}
Segment(P_{74}, Q_{74}) → r_{39}
Rotate(H_4, 180*°, C) → R_{74}
Rotate(P'''_1, 180*°, C) → S_{74}
Segment(R_{74}, S_{74}) → s_{39}
Rotate(I_4, 180*°, C) → T_{74}
Rotate(Q'''_1, 180*°, C) → U_{74}
Segment(T_{74}, U_{74}) → t_{39}
Rotate(J_4, 180*°, C) → V_{74}
Rotate(R'''_1, 180*°, C) → W_{74}
Segment(V_{74}, W_{74}) → a_{40}
Rotate(K_4, 180*°, C) → Z_{74}
Rotate(S'''_1, 180*°, C) → A_{75}
Segment(Z_{74}, A_{75}) → b_{40}
Rotate(L_4, 180*°, C) → B_{75}
Rotate(T'''_1, 180*°, C) → C_{75}
Segment(B_{75}, C_{75}) → c_{40}
Rotate(M_4, 180*°, C) → D_{75}
Rotate(U'''_1, 180*°, C) → E_{75}
Segment(D_{75}, E_{75}) → d_{40}
Rotate(N_4, 180*°, C) → F_{75}
Rotate(V'''_1, 180*°, C) → G_{75}
Segment(F_{75}, G_{75}) → e_{40}
Rotate(O_4, 180*°, C) → H_{75}
Rotate(W'''_1, 180*°, C) → I_{75}
Segment(H_{75}, I_{75}) → f_{40}
Rotate(P_4, 180*°, C) → J_{75}
Rotate(Z'''_1, 180*°, C) → K_{75}
Segment(J_{75}, K_{75}) → g_{40}
Rotate(Q_4, 180*°, C) → L_{75}
Rotate(R_4, 180*°, C) → M_{75}
Segment(L_{75}, M_{75}) → h_{40}
Rotate(S_4, 180*°, C) → N_{75}
Rotate(T_4, 180*°, C) → O_{75}
Segment(N_{75}, O_{75}) → i_{40}
Rotate(U_4, 180*°, C) → P_{75}
Rotate(C''', 180*°, C) → Q_{75}
Segment(P_{75}, Q_{75}) → j_{40}
Rotate(B'_5, 180*°, C) → R_{75}
Rotate(D'_6, 180*°, C) → S_{75}
Segment(R_{75}, S_{75}) → k_{40}
Rotate(D'_7, 180*°, C) → T_{75}
Rotate(E'_6, 180*°, C) → U_{75}
Segment(T_{75}, U_{75}) → l_{40}
Rotate(E'_7, 180*°, C) → V_{75}
Rotate(F'_6, 180*°, C) → W_{75}
Segment(V_{75}, W_{75}) → m_{40}
Rotate(F'_7, 180*°, C) → Z_{75}
Rotate(G'_6, 180*°, C) → A_{76}
Segment(Z_{75}, A_{76}) → n_{40}
Rotate(G'_7, 180*°, C) → B_{76}
Rotate(H'_6, 180*°, C) → C_{76}
Segment(B_{76}, C_{76}) → p_{40}
Rotate(H'_7, 180*°, C) → D_{76}
Rotate(I'_6, 180*°, C) → E_{76}
Segment(D_{76}, E_{76}) → q_{40}
Rotate(I'_7, 180*°, C) → F_{76}
Rotate(J'_6, 180*°, C) → G_{76}
Segment(F_{76}, G_{76}) → r_{40}
Rotate(J'_7, 180*°, C) → H_{76}
Rotate(K'_6, 180*°, C) → I_{76}
Segment(H_{76}, I_{76}) → s_{40}
Rotate(K'_7, 180*°, C) → J_{76}
Rotate(L'_6, 180*°, C) → K_{76}
Segment(J_{76}, K_{76}) → t_{40}
Rotate(L'_7, 180*°, C) → L_{76}
Rotate(M'_6, 180*°, C) → M_{76}
Segment(L_{76}, M_{76}) → a_{41}
Rotate(M'_7, 180*°, C) → N_{76}
Rotate(N'_6, 180*°, C) → O_{76}
Segment(N_{76}, O_{76}) → b_{41}
Rotate(N'_7, 180*°, C) → P_{76}
Rotate(O'_6, 180*°, C) → Q_{76}
Segment(P_{76}, Q_{76}) → c_{41}
Rotate(O'_7, 180*°, C) → R_{76}
Rotate(P'_6, 180*°, C) → S_{76}
Segment(R_{76}, S_{76}) → d_{41}
Rotate(P'_7, 180*°, C) → T_{76}
Rotate(Q'_6, 180*°, C) → U_{76}
Segment(T_{76}, U_{76}) → e_{41}
Rotate(Q'_7, 180*°, C) → V_{76}
Rotate(R'_6, 180*°, C) → W_{76}
Segment(V_{76}, W_{76}) → f_{41}
Rotate(R'_7, 180*°, C) → Z_{76}
Rotate(S'_6, 180*°, C) → A_{77}
Segment(Z_{76}, A_{77}) → g_{41}
Rotate(S'_7, 180*°, C) → B_{77}
Rotate(T'_6, 180*°, C) → C_{77}
Segment(B_{77}, C_{77}) → h_{41}
Rotate(T'_7, 180*°, C) → D_{77}
Rotate(U'_6, 180*°, C) → E_{77}
Segment(D_{77}, E_{77}) → i_{41}
Rotate(U'_7, 180*°, C) → F_{77}
Rotate(V'_6, 180*°, C) → G_{77}
Segment(F_{77}, G_{77}) → j_{41}
Rotate(V'_7, 180*°, C) → H_{77}
Rotate(W'_6, 180*°, C) → I_{77}
Segment(H_{77}, I_{77}) → k_{41}
Rotate(W'_7, 180*°, C) → J_{77}
Rotate(Z'_6, 180*°, C) → K_{77}
Segment(J_{77}, K_{77}) → l_{41}
Rotate(Z'_7, 180*°, C) → L_{77}
Rotate(F_8, 180*°, C) → M_{77}
Segment(L_{77}, M_{77}) → m_{41}
Rotate(G_8, 180*°, C) → N_{77}
Rotate(H_8, 180*°, C) → O_{77}
Segment(N_{77}, O_{77}) → n_{41}
Rotate(I_8, 180*°, C) → P_{77}
Rotate(C'_4, 180*°, C) → Q_{77}
Segment(P_{77}, Q_{77}) → p_{41}
Rotate(B''_2, 180*°, C) → R_{77}
Rotate(D''_4, 180*°, C) → S_{77}
Segment(R_{77}, S_{77}) → q_{41}
Rotate(J_8, 180*°, C) → T_{77}
Rotate(E''_4, 180*°, C) → U_{77}
Segment(T_{77}, U_{77}) → r_{41}
Rotate(K_8, 180*°, C) → V_{77}
Rotate(F''_4, 180*°, C) → W_{77}
Segment(V_{77}, W_{77}) → s_{41}
Rotate(L_8, 180*°, C) → Z_{77}
Rotate(G''_4, 180*°, C) → A_{78}
Segment(Z_{77}, A_{78}) → t_{41}
Rotate(M_8, 180*°, C) → B_{78}
Rotate(H''_4, 180*°, C) → C_{78}
Segment(B_{78}, C_{78}) → a_{42}
Rotate(N_8, 180*°, C) → D_{78}
Rotate(I''_4, 180*°, C) → E_{78}
Segment(D_{78}, E_{78}) → b_{42}
Rotate(O_8, 180*°, C) → F_{78}
Rotate(J''_4, 180*°, C) → G_{78}
Segment(F_{78}, G_{78}) → c_{42}
Rotate(P_8, 180*°, C) → H_{78}
Rotate(K''_4, 180*°, C) → I_{78}
Segment(H_{78}, I_{78}) → d_{42}
Rotate(Q_8, 180*°, C) → J_{78}
Rotate(L''_4, 180*°, C) → K_{78}
Segment(J_{78}, K_{78}) → e_{42}
Rotate(R_8, 180*°, C) → L_{78}
Rotate(M''_4, 180*°, C) → M_{78}
Segment(L_{78}, M_{78}) → f_{42}
Rotate(S_8, 180*°, C) → N_{78}
Rotate(N''_2, 180*°, C) → O_{78}
Segment(N_{78}, O_{78}) → g_{42}
Rotate(T_8, 180*°, C) → P_{78}
Rotate(O''_4, 180*°, C) → Q_{78}
Segment(P_{78}, Q_{78}) → h_{42}
Rotate(U_8, 180*°, C) → R_{78}
Rotate(P''_4, 180*°, C) → S_{78}
Segment(R_{78}, S_{78}) → i_{42}
Rotate(V_8, 180*°, C) → T_{78}
Rotate(Q''_4, 180*°, C) → U_{78}
Segment(T_{78}, U_{78}) → j_{42}
Rotate(W_8, 180*°, C) → V_{78}
Rotate(R''_4, 180*°, C) → W_{78}
Segment(V_{78}, W_{78}) → k_{42}
Rotate(Z_8, 180*°, C) → Z_{78}
Rotate(S''_4, 180*°, C) → A_{79}
Segment(Z_{78}, A_{79}) → l_{42}
Rotate(A_9, 180*°, C) → B_{79}
Rotate(T''_4, 180*°, C) → C_{79}
Segment(B_{79}, C_{79}) → m_{42}
Rotate(B_9, 180*°, C) → D_{79}
Rotate(U''_4, 180*°, C) → E_{79}
Segment(D_{79}, E_{79}) → n_{42}
Rotate(C_9, 180*°, C) → F_{79}
Rotate(V''_4, 180*°, C) → G_{79}
Segment(F_{79}, G_{79}) → p_{42}
Rotate(D_9, 180*°, C) → H_{79}
Rotate(W''_4, 180*°, C) → I_{79}
Segment(H_{79}, I_{79}) → q_{42}
Rotate(E_9, 180*°, C) → J_{79}
Rotate(Z''_4, 180*°, C) → K_{79}
Segment(J_{79}, K_{79}) → r_{42}
Rotate(F_9, 180*°, C) → L_{79}
Rotate(G_9, 180*°, C) → M_{79}
Segment(L_{79}, M_{79}) → s_{42}
Rotate(H_9, 180*°, C) → N_{79}
Rotate(I_9, 180*°, C) → O_{79}
Segment(N_{79}, O_{79}) → t_{42}
Rotate(J_9, 180*°, C) → P_{79}
Rotate(C''_2, 180*°, C) → Q_{79}
Segment(P_{79}, Q_{79}) → a_{43}
Rotate(B'''_1, 180*°, C) → R_{79}
Rotate(D'''_3, 180*°, C) → S_{79}
Segment(R_{79}, S_{79}) → b_{43}
Rotate(K_9, 180*°, C) → T_{79}
Rotate(E'''_3, 180*°, C) → U_{79}
Segment(T_{79}, U_{79}) → c_{43}
Rotate(L_9, 180*°, C) → V_{79}
Rotate(F'''_1, 180*°, C) → W_{79}
Segment(V_{79}, W_{79}) → d_{43}
Rotate(M_9, 180*°, C) → Z_{79}
Rotate(G'''_3, 180*°, C) → A_{80}
Segment(Z_{79}, A_{80}) → e_{43}
Rotate(N_9, 180*°, C) → B_{80}
Rotate(H'''_3, 180*°, C) → C_{80}
Segment(B_{80}, C_{80}) → f_{43}
Rotate(O_9, 180*°, C) → D_{80}
Rotate(I'''_3, 180*°, C) → E_{80}
Segment(D_{80}, E_{80}) → g_{43}
Rotate(P_9, 180*°, C) → F_{80}
Rotate(J'''_3, 180*°, C) → G_{80}
Segment(F_{80}, G_{80}) → h_{43}
Rotate(Q_9, 180*°, C) → H_{80}
Rotate(K'''_3, 180*°, C) → I_{80}
Segment(H_{80}, I_{80}) → i_{43}
Rotate(R_9, 180*°, C) → J_{80}
Rotate(L'''_3, 180*°, C) → K_{80}
Segment(J_{80}, K_{80}) → j_{43}
Rotate(S_9, 180*°, C) → L_{80}
Rotate(M'''_3, 180*°, C) → M_{80}
Segment(L_{80}, M_{80}) → k_{43}
Rotate(T_9, 180*°, C) → N_{80}
Rotate(N'''_3, 180*°, C) → O_{80}
Segment(N_{80}, O_{80}) → l_{43}
Rotate(U_9, 180*°, C) → P_{80}
Rotate(O'''_3, 180*°, C) → Q_{80}
Segment(P_{80}, Q_{80}) → m_{43}
Rotate(V_9, 180*°, C) → R_{80}
Rotate(P'''_3, 180*°, C) → S_{80}
Segment(R_{80}, S_{80}) → n_{43}
Rotate(W_9, 180*°, C) → T_{80}
Rotate(Q'''_3, 180*°, C) → U_{80}
Segment(T_{80}, U_{80}) → p_{43}
Rotate(Z_9, 180*°, C) → V_{80}
Rotate(R'''_3, 180*°, C) → W_{80}
Segment(V_{80}, W_{80}) → q_{43}
Rotate(A_{10}, 180*°, C) → Z_{80}
Rotate(S'''_3, 180*°, C) → A_{81}
Segment(Z_{80}, A_{81}) → r_{43}
Rotate(B_{10}, 180*°, C) → B_{81}
Rotate(T'''_3, 180*°, C) → C_{81}
Segment(B_{81}, C_{81}) → s_{43}
Rotate(C_{10}, 180*°, C) → D_{81}
Rotate(U'''_3, 180*°, C) → E_{81}
Segment(D_{81}, E_{81}) → t_{43}
Rotate(D_{10}, 180*°, C) → F_{81}
Rotate(V'''_3, 180*°, C) → G_{81}
Segment(F_{81}, G_{81}) → a_{44}
Rotate(E_{10}, 180*°, C) → H_{81}
Rotate(W'''_3, 180*°, C) → I_{81}
Segment(H_{81}, I_{81}) → b_{44}
Rotate(F_{10}, 180*°, C) → J_{81}
Rotate(Z'''_3, 180*°, C) → K_{81}
Segment(J_{81}, K_{81}) → c_{44}
Rotate(G_{10}, 180*°, C) → L_{81}
Rotate(H_{10}, 180*°, C) → M_{81}
Segment(L_{81}, M_{81}) → d_{44}
Rotate(I_{10}, 180*°, C) → N_{81}
Rotate(J_{10}, 180*°, C) → O_{81}
Segment(N_{81}, O_{81}) → e_{44}
Rotate(K_{10}, 180*°, C) → P_{81}
Rotate(C'''_1, 180*°, C) → Q_{81}
Segment(P_{81}, Q_{81}) → f_{44}
Rotate(L_{10}, 180*°, C) → R_{81}
Rotate(M_{10}, 180*°, C) → S_{81}
Segment(R_{81}, S_{81}) → g_{44}
Rotate(N_{10}, 180*°, C) → T_{81}
Rotate(O_{10}, 180*°, C) → U_{81}
Segment(T_{81}, U_{81}) → h_{44}
Rotate(P_{10}, 180*°, C) → V_{81}
Rotate(Q_{10}, 180*°, C) → W_{81}
Segment(V_{81}, W_{81}) → i_{44}
Rotate(R_{10}, 180*°, C) → Z_{81}
Rotate(S_{10}, 180*°, C) → A_{82}
Segment(Z_{81}, A_{82}) → j_{44}
Rotate(T_{10}, 180*°, C) → B_{82}
Rotate(U_{10}, 180*°, C) → C_{82}
Segment(B_{82}, C_{82}) → k_{44}
Rotate(V_{10}, 180*°, C) → D_{82}
Rotate(W_{10}, 180*°, C) → E_{82}
Segment(D_{82}, E_{82}) → l_{44}
Rotate(Z_{10}, 180*°, C) → F_{82}
Rotate(A_{11}, 180*°, C) → G_{82}
Segment(F_{82}, G_{82}) → m_{44}
Rotate(B_{11}, 180*°, C) → H_{82}
Rotate(C_{11}, 180*°, C) → I_{82}
Segment(H_{82}, I_{82}) → n_{44}
Rotate(D_{11}, 180*°, C) → J_{82}
Rotate(E_{11}, 180*°, C) → K_{82}
Segment(J_{82}, K_{82}) → p_{44}
Rotate(F_{11}, 180*°, C) → L_{82}
Rotate(G_{11}, 180*°, C) → M_{82}
Segment(L_{82}, M_{82}) → q_{44}
Rotate(H_{11}, 180*°, C) → N_{82}
Rotate(I_{11}, 180*°, C) → O_{82}
Segment(N_{82}, O_{82}) → r_{44}
Rotate(J_{11}, 180*°, C) → P_{82}
Rotate(K_{11}, 180*°, C) → Q_{82}
Segment(P_{82}, Q_{82}) → s_{44}
Rotate(L_{11}, 180*°, C) → R_{82}
Rotate(M_{11}, 180*°, C) → S_{82}
Segment(R_{82}, S_{82}) → t_{44}
Rotate(N_{11}, 180*°, C) → T_{82}
Rotate(O_{11}, 180*°, C) → U_{82}
Segment(T_{82}, U_{82}) → a_{45}
Rotate(P_{11}, 180*°, C) → V_{82}
Rotate(Q_{11}, 180*°, C) → W_{82}
Segment(V_{82}, W_{82}) → b_{45}
Rotate(R_{11}, 180*°, C) → Z_{82}
Rotate(S_{11}, 180*°, C) → A_{83}
Segment(Z_{82}, A_{83}) → c_{45}
Rotate(T_{11}, 180*°, C) → B_{83}
Rotate(U_{11}, 180*°, C) → C_{83}
Segment(B_{83}, C_{83}) → d_{45}
Rotate(V_{11}, 180*°, C) → D_{83}
Rotate(W_{11}, 180*°, C) → E_{83}
Segment(D_{83}, E_{83}) → e_{45}
Rotate(Z_{11}, 180*°, C) → F_{83}
Rotate(A_{12}, 180*°, C) → G_{83}
Segment(F_{83}, G_{83}) → f_{45}
Rotate(B_{12}, 180*°, C) → H_{83}
Rotate(C_{12}, 180*°, C) → I_{83}
Segment(H_{83}, I_{83}) → g_{45}
Rotate(D_{12}, 180*°, C) → J_{83}
Rotate(E_{12}, 180*°, C) → K_{83}
Segment(J_{83}, K_{83}) → h_{45}
Rotate(F_{12}, 180*°, C) → L_{83}
Rotate(G_{12}, 180*°, C) → M_{83}
Segment(L_{83}, M_{83}) → i_{45}
Rotate(H_{12}, 180*°, C) → N_{83}
Rotate(I_{12}, 180*°, C) → O_{83}
Segment(N_{83}, O_{83}) → j_{45}
Rotate(J_{12}, 180*°, C) → P_{83}
Rotate(K_{12}, 180*°, C) → Q_{83}
Segment(P_{83}, Q_{83}) → k_{45}
Rotate(L_{12}, 180*°, C) → R_{83}
Rotate(M_{12}, 180*°, C) → S_{83}
Segment(R_{83}, S_{83}) → l_{45}
Rotate(N_{12}, 180*°, C) → T_{83}
Rotate(O_{12}, 180*°, C) → U_{83}
Segment(T_{83}, U_{83}) → m_{45}
Rotate(P_{12}, 180*°, C) → V_{83}
Rotate(Q_{12}, 180*°, C) → W_{83}
Segment(V_{83}, W_{83}) → n_{45}
Rotate(R_{12}, 180*°, C) → Z_{83}
Rotate(S_{12}, 180*°, C) → A_{84}
Segment(Z_{83}, A_{84}) → p_{45}
Rotate(T_{12}, 180*°, C) → B_{84}
Rotate(U_{12}, 180*°, C) → C_{84}
Segment(B_{84}, C_{84}) → q_{45}
Rotate(V_{12}, 180*°, C) → D_{84}
Rotate(W_{12}, 180*°, C) → E_{84}
Segment(D_{84}, E_{84}) → r_{45}
Rotate(Z_{12}, 180*°, C) → F_{84}
Rotate(A_{13}, 180*°, C) → G_{84}
Segment(F_{84}, G_{84}) → s_{45}
Rotate(B_{13}, 180*°, C) → H_{84}
Rotate(C_{13}, 180*°, C) → I_{84}
Segment(H_{84}, I_{84}) → t_{45}
Rotate(D_{13}, 180*°, C) → J_{84}
Rotate(E_{13}, 180*°, C) → K_{84}
Segment(J_{84}, K_{84}) → a_{46}
Rotate(F_{13}, 180*°, C) → L_{84}
Rotate(G_{13}, 180*°, C) → M_{84}
Segment(L_{84}, M_{84}) → b_{46}
Rotate(H_{13}, 180*°, C) → N_{84}
Rotate(I_{13}, 180*°, C) → O_{84}
Segment(N_{84}, O_{84}) → c_{46}
Rotate(J_{13}, 180*°, C) → P_{84}
Rotate(K_{13}, 180*°, C) → Q_{84}
Segment(P_{84}, Q_{84}) → d_{46}
Rotate(L_{13}, 180*°, C) → R_{84}
Rotate(M_{13}, 180*°, C) → S_{84}
Segment(R_{84}, S_{84}) → e_{46}
Rotate(N_{13}, 180*°, C) → T_{84}
Rotate(O_{13}, 180*°, C) → U_{84}
Segment(T_{84}, U_{84}) → l_{67}
Rotate(P_{13}, 180*°, C) → V_{84}
Rotate(Q_{13}, 180*°, C) → W_{84}
Segment(V_{84}, W_{84}) → m_{67}
Rotate(R_{13}, 180*°, C) → Z_{84}
Rotate(S_{13}, 180*°, C) → A_{85}
Segment(Z_{84}, A_{85}) → n_{67}
Rotate(T_{13}, 180*°, C) → B_{85}
Rotate(U_{13}, 180*°, C) → C_{85}
Segment(B_{85}, C_{85}) → p_{67}
Rotate(V_{13}, 180*°, C) → D_{85}
Rotate(W_{13}, 180*°, C) → E_{85}
Segment(D_{85}, E_{85}) → q_{67}
Rotate(Z_{13}, 180*°, C) → F_{85}
Rotate(A_{14}, 180*°, C) → G_{85}
Segment(F_{85}, G_{85}) → r_{67}
Rotate(B_{14}, 180*°, C) → H_{85}
Rotate(C_{14}, 180*°, C) → I_{85}
Segment(H_{85}, I_{85}) → s_{67}
Rotate(D_{14}, 180*°, C) → J_{85}
Rotate(E_{14}, 180*°, C) → K_{85}
Segment(J_{85}, K_{85}) → t_{67}
Rotate(F_{14}, 180*°, C) → L_{85}
Rotate(G_{14}, 180*°, C) → M_{85}
Segment(L_{85}, M_{85}) → a_{68}
Rotate(H_{14}, 180*°, C) → N_{85}
Rotate(I_{14}, 180*°, C) → O_{85}
Segment(N_{85}, O_{85}) → b_{68}
Rotate(J_{14}, 180*°, C) → P_{85}
Rotate(K_{14}, 180*°, C) → Q_{85}
Segment(P_{85}, Q_{85}) → c_{68}
Rotate(L_{14}, 180*°, C) → R_{85}
Rotate(M_{14}, 180*°, C) → S_{85}
Segment(R_{85}, S_{85}) → d_{68}
Rotate(N_{14}, 180*°, C) → T_{85}
Rotate(O_{14}, 180*°, C) → U_{85}
Segment(T_{85}, U_{85}) → e_{68}
Rotate(P_{14}, 180*°, C) → V_{85}
Rotate(Q_{14}, 180*°, C) → W_{85}
Segment(V_{85}, W_{85}) → f_{68}
Rotate(R_{14}, 180*°, C) → Z_{85}
Rotate(S_{14}, 180*°, C) → A_{86}
Segment(Z_{85}, A_{86}) → g_{68}
Rotate(T_{14}, 180*°, C) → B_{86}
Rotate(U_{14}, 180*°, C) → C_{86}
Segment(B_{86}, C_{86}) → h_{68}
Rotate(V_{14}, 180*°, C) → D_{86}
Rotate(W_{14}, 180*°, C) → E_{86}
Segment(D_{86}, E_{86}) → i_{68}
Rotate(Z_{14}, 180*°, C) → F_{86}
Rotate(A_{15}, 180*°, C) → G_{86}
Segment(F_{86}, G_{86}) → j_{68}
Rotate(B_{15}, 180*°, C) → H_{86}
Rotate(C_{15}, 180*°, C) → I_{86}
Segment(H_{86}, I_{86}) → k_{68}
Rotate(D_{15}, 180*°, C) → J_{86}
Rotate(E_{15}, 180*°, C) → K_{86}
Segment(J_{86}, K_{86}) → l_{68}
Rotate(F_{15}, 180*°, C) → L_{86}
Rotate(G_{15}, 180*°, C) → M_{86}
Segment(L_{86}, M_{86}) → m_{68}
Rotate(H_{15}, 180*°, C) → N_{86}
Rotate(I_{15}, 180*°, C) → O_{86}
Segment(N_{86}, O_{86}) → n_{68}
Rotate(J_{15}, 180*°, C) → P_{86}
Rotate(K_{15}, 180*°, C) → Q_{86}
Segment(P_{86}, Q_{86}) → p_{68}
Rotate(L_{15}, 180*°, C) → R_{86}
Rotate(M_{15}, 180*°, C) → S_{86}
Segment(R_{86}, S_{86}) → q_{68}
Rotate(N_{15}, 180*°, C) → T_{86}
Rotate(O_{15}, 180*°, C) → U_{86}
Segment(T_{86}, U_{86}) → r_{68}
Rotate(P_{15}, 180*°, C) → V_{86}
Rotate(Q_{15}, 180*°, C) → W_{86}
Segment(V_{86}, W_{86}) → s_{68}
Rotate(R_{15}, 180*°, C) → Z_{86}
Rotate(S_{15}, 180*°, C) → A_{87}
Segment(Z_{86}, A_{87}) → t_{68}
Rotate(T_{15}, 180*°, C) → B_{87}
Rotate(U_{15}, 180*°, C) → C_{87}
Segment(B_{87}, C_{87}) → a_{69}
Rotate(V_{15}, 180*°, C) → D_{87}
Rotate(W_{15}, 180*°, C) → E_{87}
Segment(D_{87}, E_{87}) → b_{69}
Rotate(Z_{15}, 180*°, C) → F_{87}
Rotate(A_{16}, 180*°, C) → G_{87}
Segment(F_{87}, G_{87}) → c_{69}
Rotate(B_{16}, 180*°, C) → H_{87}
Rotate(C_{16}, 180*°, C) → I_{87}
Segment(H_{87}, I_{87}) → d_{69}
Rotate(D_{16}, 180*°, C) → J_{87}
Rotate(E_{16}, 180*°, C) → K_{87}
Segment(J_{87}, K_{87}) → e_{69}
Rotate(F_{16}, 180*°, C) → L_{87}
Rotate(G_{16}, 180*°, C) → M_{87}
Segment(L_{87}, M_{87}) → f_{69}
Rotate(H_{16}, 180*°, C) → N_{87}
Rotate(I_{16}, 180*°, C) → O_{87}
Segment(N_{87}, O_{87}) → g_{69}
Rotate(J_{16}, 180*°, C) → P_{87}
Rotate(K_{16}, 180*°, C) → Q_{87}
Segment(P_{87}, Q_{87}) → h_{69}
Rotate(B'_7, 180*°, C) → R_{87}
Rotate(D'_9, 180*°, C) → S_{87}
Segment(R_{87}, S_{87}) → i_{69}
Rotate(D'_{10}, 180*°, C) → T_{87}
Rotate(E'_9, 180*°, C) → U_{87}
Segment(T_{87}, U_{87}) → j_{69}
Rotate(E'_{10}, 180*°, C) → V_{87}
Rotate(F'_9, 180*°, C) → W_{87}
Segment(V_{87}, W_{87}) → k_{69}
Rotate(F'_{10}, 180*°, C) → Z_{87}
Rotate(G'_9, 180*°, C) → A_{88}
Segment(Z_{87}, A_{88}) → l_{69}
Rotate(G'_{10}, 180*°, C) → B_{88}
Rotate(H'_9, 180*°, C) → C_{88}
Segment(B_{88}, C_{88}) → m_{69}
Rotate(H'_{10}, 180*°, C) → D_{88}
Rotate(I'_9, 180*°, C) → E_{88}
Segment(D_{88}, E_{88}) → n_{69}
Rotate(I'_{10}, 180*°, C) → F_{88}
Rotate(J'_9, 180*°, C) → G_{88}
Segment(F_{88}, G_{88}) → p_{69}
Rotate(J'_{10}, 180*°, C) → H_{88}
Rotate(K'_9, 180*°, C) → I_{88}
Segment(H_{88}, I_{88}) → q_{69}
Rotate(K'_{10}, 180*°, C) → J_{88}
Rotate(L'_9, 180*°, C) → K_{88}
Segment(J_{88}, K_{88}) → r_{69}
Rotate(L'_{10}, 180*°, C) → L_{88}
Rotate(M'_9, 180*°, C) → M_{88}
Segment(L_{88}, M_{88}) → s_{69}
Rotate(M'_{10}, 180*°, C) → N_{88}
Rotate(N'_9, 180*°, C) → O_{88}
Segment(N_{88}, O_{88}) → t_{69}
Rotate(N'_{10}, 180*°, C) → P_{88}
Rotate(O'_9, 180*°, C) → Q_{88}
Segment(P_{88}, Q_{88}) → a_{70}
Rotate(O'_{10}, 180*°, C) → R_{88}
Rotate(P'_9, 180*°, C) → S_{88}
Segment(R_{88}, S_{88}) → b_{70}
Rotate(P'_{10}, 180*°, C) → T_{88}
Rotate(Q'_9, 180*°, C) → U_{88}
Segment(T_{88}, U_{88}) → c_{70}
Rotate(Q'_{10}, 180*°, C) → V_{88}
Rotate(R'_9, 180*°, C) → W_{88}
Segment(V_{88}, W_{88}) → d_{70}
Rotate(R'_{10}, 180*°, C) → Z_{88}
Rotate(S'_9, 180*°, C) → A_{89}
Segment(Z_{88}, A_{89}) → e_{70}
Rotate(S'_{10}, 180*°, C) → B_{89}
Rotate(T'_9, 180*°, C) → C_{89}
Segment(B_{89}, C_{89}) → f_{70}
Rotate(T'_{10}, 180*°, C) → D_{89}
Rotate(U'_9, 180*°, C) → E_{89}
Segment(D_{89}, E_{89}) → g_{70}
Rotate(U'_{10}, 180*°, C) → F_{89}
Rotate(V'_9, 180*°, C) → G_{89}
Segment(F_{89}, G_{89}) → h_{70}
Rotate(V'_{10}, 180*°, C) → H_{89}
Rotate(W'_9, 180*°, C) → I_{89}
Segment(H_{89}, I_{89}) → i_{70}
Rotate(W'_{10}, 180*°, C) → J_{89}
Rotate(Z'_9, 180*°, C) → K_{89}
Segment(J_{89}, K_{89}) → j_{70}
Rotate(Z'_{10}, 180*°, C) → L_{89}
Rotate(T_{25}, 180*°, C) → M_{89}
Segment(L_{89}, M_{89}) → k_{70}
Rotate(U_{25}, 180*°, C) → N_{89}
Rotate(V_{25}, 180*°, C) → O_{89}
Segment(N_{89}, O_{89}) → l_{70}
Rotate(W_{25}, 180*°, C) → P_{89}
Rotate(C'_6, 180*°, C) → Q_{89}
Segment(P_{89}, Q_{89}) → m_{70}
Rotate(B''_3, 180*°, C) → R_{89}
Rotate(D''_6, 180*°, C) → S_{89}
Segment(R_{89}, S_{89}) → n_{70}
Rotate(Z_{25}, 180*°, C) → T_{89}
Rotate(E''_6, 180*°, C) → U_{89}
Segment(T_{89}, U_{89}) → p_{70}
Rotate(A_{26}, 180*°, C) → V_{89}
Rotate(F''_6, 180*°, C) → W_{89}
Segment(V_{89}, W_{89}) → q_{70}
Rotate(B_{26}, 180*°, C) → Z_{89}
Rotate(G''_6, 180*°, C) → A_{90}
Segment(Z_{89}, A_{90}) → r_{70}
Rotate(C_{26}, 180*°, C) → B_{90}
Rotate(H''_6, 180*°, C) → C_{90}
Segment(B_{90}, C_{90}) → s_{70}
Rotate(D_{26}, 180*°, C) → D_{90}
Rotate(I''_6, 180*°, C) → E_{90}
Segment(D_{90}, E_{90}) → t_{70}
Rotate(E_{26}, 180*°, C) → F_{90}
Rotate(J''_6, 180*°, C) → G_{90}
Segment(F_{90}, G_{90}) → a_{71}
Rotate(F_{26}, 180*°, C) → H_{90}
Rotate(K''_6, 180*°, C) → I_{90}
Segment(H_{90}, I_{90}) → b_{71}
Rotate(G_{26}, 180*°, C) → J_{90}
Rotate(L''_6, 180*°, C) → K_{90}
Segment(J_{90}, K_{90}) → c_{71}
Rotate(H_{26}, 180*°, C) → L_{90}
Rotate(M''_6, 180*°, C) → M_{90}
Segment(L_{90}, M_{90}) → d_{71}
Rotate(I_{26}, 180*°, C) → N_{90}
Rotate(N''_3, 180*°, C) → O_{90}
Segment(N_{90}, O_{90}) → e_{71}
Rotate(J_{26}, 180*°, C) → P_{90}
Rotate(O''_6, 180*°, C) → Q_{90}
Segment(P_{90}, Q_{90}) → f_{71}
Rotate(K_{26}, 180*°, C) → R_{90}
Rotate(P''_6, 180*°, C) → S_{90}
Segment(R_{90}, S_{90}) → g_{71}
Rotate(L_{26}, 180*°, C) → T_{90}
Rotate(Q''_6, 180*°, C) → U_{90}
Segment(T_{90}, U_{90}) → h_{71}
Rotate(M_{26}, 180*°, C) → V_{90}
Rotate(R''_6, 180*°, C) → W_{90}
Segment(V_{90}, W_{90}) → i_{71}
Rotate(N_{26}, 180*°, C) → Z_{90}
Rotate(S''_6, 180*°, C) → A_{91}
Segment(Z_{90}, A_{91}) → j_{71}
Rotate(O_{26}, 180*°, C) → B_{91}
Rotate(T''_6, 180*°, C) → C_{91}
Segment(B_{91}, C_{91}) → k_{71}
Rotate(P_{26}, 180*°, C) → D_{91}
Rotate(U''_6, 180*°, C) → E_{91}
Segment(D_{91}, E_{91}) → l_{71}
Rotate(Q_{26}, 180*°, C) → F_{91}
Rotate(V''_6, 180*°, C) → G_{91}
Segment(F_{91}, G_{91}) → m_{71}
Rotate(R_{26}, 180*°, C) → H_{91}
Rotate(W''_6, 180*°, C) → I_{91}
Segment(H_{91}, I_{91}) → n_{71}
Rotate(S_{26}, 180*°, C) → J_{91}
Rotate(Z''_6, 180*°, C) → K_{91}
Segment(J_{91}, K_{91}) → p_{71}
Rotate(T_{26}, 180*°, C) → L_{91}
Rotate(U_{26}, 180*°, C) → M_{91}
Segment(L_{91}, M_{91}) → q_{71}
Rotate(V_{26}, 180*°, C) → N_{91}
Rotate(W_{26}, 180*°, C) → O_{91}
Segment(N_{91}, O_{91}) → r_{71}
Rotate(Z_{26}, 180*°, C) → P_{91}
Rotate(C''_3, 180*°, C) → Q_{91}
Segment(P_{91}, Q_{91}) → s_{71}
Rotate(B'''_2, 180*°, C) → R_{91}
Rotate(D'''_5, 180*°, C) → S_{91}
Segment(R_{91}, S_{91}) → t_{71}
Rotate(A_{27}, 180*°, C) → T_{91}
Rotate(E'''_5, 180*°, C) → U_{91}
Segment(T_{91}, U_{91}) → a_{72}
Rotate(B_{27}, 180*°, C) → V_{91}
Rotate(F'''_2, 180*°, C) → W_{91}
Segment(V_{91}, W_{91}) → b_{72}
Rotate(C_{27}, 180*°, C) → Z_{91}
Rotate(G'''_5, 180*°, C) → A_{92}
Segment(Z_{91}, A_{92}) → c_{72}
Rotate(D_{27}, 180*°, C) → B_{92}
Rotate(H'''_5, 180*°, C) → C_{92}
Segment(B_{92}, C_{92}) → d_{72}
Rotate(E_{27}, 180*°, C) → D_{92}
Rotate(I'''_5, 180*°, C) → E_{92}
Segment(D_{92}, E_{92}) → e_{72}
Rotate(F_{27}, 180*°, C) → F_{92}
Rotate(J'''_5, 180*°, C) → G_{92}
Segment(F_{92}, G_{92}) → f_{72}
Rotate(G_{27}, 180*°, C) → H_{92}
Rotate(K'''_5, 180*°, C) → I_{92}
Segment(H_{92}, I_{92}) → g_{72}
Rotate(H_{27}, 180*°, C) → J_{92}
Rotate(L'''_5, 180*°, C) → K_{92}
Segment(J_{92}, K_{92}) → h_{72}
Rotate(I_{27}, 180*°, C) → L_{92}
Rotate(M'''_5, 180*°, C) → M_{92}
Segment(L_{92}, M_{92}) → i_{72}
Rotate(J_{27}, 180*°, C) → N_{92}
Rotate(N'''_5, 180*°, C) → O_{92}
Segment(N_{92}, O_{92}) → j_{72}
Rotate(K_{27}, 180*°, C) → P_{92}
Rotate(O'''_5, 180*°, C) → Q_{92}
Segment(P_{92}, Q_{92}) → k_{72}
Rotate(L_{27}, 180*°, C) → R_{92}
Rotate(P'''_5, 180*°, C) → S_{92}
Segment(R_{92}, S_{92}) → l_{72}
Rotate(M_{27}, 180*°, C) → T_{92}
Rotate(Q'''_5, 180*°, C) → U_{92}
Segment(T_{92}, U_{92}) → m_{72}
Rotate(N_{27}, 180*°, C) → V_{92}
Rotate(R'''_5, 180*°, C) → W_{92}
Segment(V_{92}, W_{92}) → n_{72}
Rotate(O_{27}, 180*°, C) → Z_{92}
Rotate(S'''_5, 180*°, C) → A_{93}
Segment(Z_{92}, A_{93}) → p_{72}
Rotate(P_{27}, 180*°, C) → B_{93}
Rotate(T'''_5, 180*°, C) → C_{93}
Segment(B_{93}, C_{93}) → q_{72}
Rotate(Q_{27}, 180*°, C) → D_{93}
Rotate(U'''_5, 180*°, C) → E_{93}
Segment(D_{93}, E_{93}) → r_{72}
Rotate(R_{27}, 180*°, C) → F_{93}
Rotate(V'''_5, 180*°, C) → G_{93}
Segment(F_{93}, G_{93}) → s_{72}
Rotate(S_{27}, 180*°, C) → H_{93}
Rotate(W'''_5, 180*°, C) → I_{93}
Segment(H_{93}, I_{93}) → t_{72}
Rotate(T_{27}, 180*°, C) → J_{93}
Rotate(Z'''_5, 180*°, C) → K_{93}
Segment(J_{93}, K_{93}) → a_{73}
Rotate(U_{27}, 180*°, C) → L_{93}
Rotate(V_{27}, 180*°, C) → M_{93}
Segment(L_{93}, M_{93}) → b_{73}
Rotate(W_{27}, 180*°, C) → N_{93}
Rotate(Z_{27}, 180*°, C) → O_{93}
Segment(N_{93}, O_{93}) → c_{73}
Rotate(A_{28}, 180*°, C) → P_{93}
Rotate(C'''_2, 180*°, C) → Q_{93}
Segment(P_{93}, Q_{93}) → d_{73}
Rotate(B_{28}, 180*°, C) → R_{93}
Rotate(C_{28}, 180*°, C) → S_{93}
Segment(R_{93}, S_{93}) → e_{73}
Rotate(D_{28}, 180*°, C) → T_{93}
Rotate(E_{28}, 180*°, C) → U_{93}
Segment(T_{93}, U_{93}) → f_{73}
Rotate(F_{28}, 180*°, C) → V_{93}
Rotate(G_{28}, 180*°, C) → W_{93}
Segment(V_{93}, W_{93}) → g_{73}
Rotate(H_{28}, 180*°, C) → Z_{93}
Rotate(I_{28}, 180*°, C) → A_{94}
Segment(Z_{93}, A_{94}) → h_{73}
Rotate(J_{28}, 180*°, C) → B_{94}
Rotate(K_{28}, 180*°, C) → C_{94}
Segment(B_{94}, C_{94}) → i_{73}
Rotate(L_{28}, 180*°, C) → D_{94}
Rotate(M_{28}, 180*°, C) → E_{94}
Segment(D_{94}, E_{94}) → j_{73}
Rotate(N_{28}, 180*°, C) → F_{94}
Rotate(O_{28}, 180*°, C) → G_{94}
Segment(F_{94}, G_{94}) → k_{73}
Rotate(P_{28}, 180*°, C) → H_{94}
Rotate(Q_{28}, 180*°, C) → I_{94}
Segment(H_{94}, I_{94}) → l_{73}
Rotate(R_{28}, 180*°, C) → J_{94}
Rotate(S_{28}, 180*°, C) → K_{94}
Segment(J_{94}, K_{94}) → m_{73}
Rotate(T_{28}, 180*°, C) → L_{94}
Rotate(U_{28}, 180*°, C) → M_{94}
Segment(L_{94}, M_{94}) → n_{73}
Rotate(V_{28}, 180*°, C) → N_{94}
Rotate(W_{28}, 180*°, C) → O_{94}
Segment(N_{94}, O_{94}) → p_{73}
Rotate(Z_{28}, 180*°, C) → P_{94}
Rotate(A_{29}, 180*°, C) → Q_{94}
Segment(P_{94}, Q_{94}) → q_{73}
Rotate(B_{29}, 180*°, C) → R_{94}
Rotate(C_{29}, 180*°, C) → S_{94}
Segment(R_{94}, S_{94}) → r_{73}
Rotate(D_{29}, 180*°, C) → T_{94}
Rotate(E_{29}, 180*°, C) → U_{94}
Segment(T_{94}, U_{94}) → s_{73}
Rotate(F_{29}, 180*°, C) → V_{94}
Rotate(G_{29}, 180*°, C) → W_{94}
Segment(V_{94}, W_{94}) → t_{73}
Rotate(H_{29}, 180*°, C) → Z_{94}
Rotate(I_{29}, 180*°, C) → A_{95}
Segment(Z_{94}, A_{95}) → a_{74}
Rotate(J_{29}, 180*°, C) → B_{95}
Rotate(K_{29}, 180*°, C) → C_{95}
Segment(B_{95}, C_{95}) → b_{74}
Rotate(L_{29}, 180*°, C) → D_{95}
Rotate(M_{29}, 180*°, C) → E_{95}
Segment(D_{95}, E_{95}) → c_{74}
Rotate(N_{29}, 180*°, C) → F_{95}
Rotate(O_{29}, 180*°, C) → G_{95}
Segment(F_{95}, G_{95}) → d_{74}
Rotate(P_{29}, 180*°, C) → H_{95}
Rotate(Q_{29}, 180*°, C) → I_{95}
Segment(H_{95}, I_{95}) → e_{74}
Rotate(R_{29}, 180*°, C) → J_{95}
Rotate(S_{29}, 180*°, C) → K_{95}
Segment(J_{95}, K_{95}) → f_{74}
Rotate(T_{29}, 180*°, C) → L_{95}
Rotate(U_{29}, 180*°, C) → M_{95}
Segment(L_{95}, M_{95}) → g_{74}
Rotate(V_{29}, 180*°, C) → N_{95}
Rotate(W_{29}, 180*°, C) → O_{95}
Segment(N_{95}, O_{95}) → h_{74}
Rotate(Z_{29}, 180*°, C) → P_{95}
Rotate(A_{30}, 180*°, C) → Q_{95}
Segment(P_{95}, Q_{95}) → i_{74}
Rotate(B_{30}, 180*°, C) → R_{95}
Rotate(C_{30}, 180*°, C) → S_{95}
Segment(R_{95}, S_{95}) → j_{74}
Rotate(D_{30}, 180*°, C) → T_{95}
Rotate(E_{30}, 180*°, C) → U_{95}
Segment(T_{95}, U_{95}) → k_{74}
Rotate(F_{30}, 180*°, C) → V_{95}
Rotate(G_{30}, 180*°, C) → W_{95}
Segment(V_{95}, W_{95}) → l_{74}
Rotate(H_{30}, 180*°, C) → Z_{95}
Rotate(I_{30}, 180*°, C) → A_{96}
Segment(Z_{95}, A_{96}) → m_{74}
Rotate(J_{30}, 180*°, C) → B_{96}
Rotate(K_{30}, 180*°, C) → C_{96}
Segment(B_{96}, C_{96}) → n_{74}
Rotate(L_{30}, 180*°, C) → D_{96}
Rotate(M_{30}, 180*°, C) → E_{96}
Segment(D_{96}, E_{96}) → p_{74}
Rotate(N_{30}, 180*°, C) → F_{96}
Rotate(O_{30}, 180*°, C) → G_{96}
Segment(F_{96}, G_{96}) → q_{74}
Rotate(P_{30}, 180*°, C) → H_{96}
Rotate(Q_{30}, 180*°, C) → I_{96}
Segment(H_{96}, I_{96}) → r_{74}
Rotate(R_{30}, 180*°, C) → J_{96}
Rotate(S_{30}, 180*°, C) → K_{96}
Segment(J_{96}, K_{96}) → s_{74}
Rotate(T_{30}, 180*°, C) → L_{96}
Rotate(U_{30}, 180*°, C) → M_{96}
Segment(L_{96}, M_{96}) → t_{74}
Rotate(V_{30}, 180*°, C) → N_{96}
Rotate(W_{30}, 180*°, C) → O_{96}
Segment(N_{96}, O_{96}) → a_{75}
Rotate(Z_{30}, 180*°, C) → P_{96}
Rotate(A_{31}, 180*°, C) → Q_{96}
Segment(P_{96}, Q_{96}) → b_{75}
Rotate(B_{31}, 180*°, C) → R_{96}
Rotate(C_{31}, 180*°, C) → S_{96}
Segment(R_{96}, S_{96}) → c_{75}
Rotate(D_{31}, 180*°, C) → T_{96}
Rotate(E_{31}, 180*°, C) → U_{96}
Segment(T_{96}, U_{96}) → d_{75}
Rotate(F_{31}, 180*°, C) → V_{96}
Rotate(G_{31}, 180*°, C) → W_{96}
Segment(V_{96}, W_{96}) → e_{75}
Rotate(H_{31}, 180*°, C) → Z_{96}
Rotate(I_{31}, 180*°, C) → A_{97}
Segment(Z_{96}, A_{97}) → f_{75}
Rotate(J_{31}, 180*°, C) → B_{97}
Rotate(K_{31}, 180*°, C) → C_{97}
Segment(B_{97}, C_{97}) → g_{75}
Rotate(L_{31}, 180*°, C) → D_{97}
Rotate(M_{31}, 180*°, C) → E_{97}
Segment(D_{97}, E_{97}) → h_{75}
Rotate(N_{31}, 180*°, C) → F_{97}
Rotate(O_{31}, 180*°, C) → G_{97}
Segment(F_{97}, G_{97}) → i_{75}
Rotate(P_{31}, 180*°, C) → H_{97}
Rotate(Q_{31}, 180*°, C) → I_{97}
Segment(H_{97}, I_{97}) → j_{75}
Rotate(R_{31}, 180*°, C) → J_{97}
Rotate(S_{31}, 180*°, C) → K_{97}
Segment(J_{97}, K_{97}) → k_{75}
Rotate(T_{31}, 180*°, C) → L_{97}
Rotate(U_{31}, 180*°, C) → M_{97}
Segment(L_{97}, M_{97}) → l_{75}
Rotate(V_{31}, 180*°, C) → N_{97}
Rotate(W_{31}, 180*°, C) → O_{97}
Segment(N_{97}, O_{97}) → m_{75}
Rotate(Z_{31}, 180*°, C) → P_{97}
Rotate(A_{32}, 180*°, C) → Q_{97}
Segment(P_{97}, Q_{97}) → n_{75}
Rotate(B_{32}, 180*°, C) → R_{97}
Rotate(C_{32}, 180*°, C) → S_{97}
Segment(R_{97}, S_{97}) → p_{75}
Rotate(D_{32}, 180*°, C) → T_{97}
Rotate(E_{32}, 180*°, C) → U_{97}
Segment(T_{97}, U_{97}) → q_{75}
Rotate(F_{32}, 180*°, C) → V_{97}
Rotate(G_{32}, 180*°, C) → W_{97}
Segment(V_{97}, W_{97}) → r_{75}
Rotate(H_{32}, 180*°, C) → Z_{97}
Rotate(I_{32}, 180*°, C) → A_{98}
Segment(Z_{97}, A_{98}) → s_{75}
Rotate(J_{32}, 180*°, C) → B_{98}
Rotate(K_{32}, 180*°, C) → C_{98}
Segment(B_{98}, C_{98}) → t_{75}
Rotate(L_{32}, 180*°, C) → D_{98}
Rotate(M_{32}, 180*°, C) → E_{98}
Segment(D_{98}, E_{98}) → a_{76}
Rotate(N_{32}, 180*°, C) → F_{98}
Rotate(O_{32}, 180*°, C) → G_{98}
Segment(F_{98}, G_{98}) → b_{76}
Rotate(P_{32}, 180*°, C) → H_{98}
Rotate(Q_{32}, 180*°, C) → I_{98}
Segment(H_{98}, I_{98}) → c_{76}
Rotate(R_{32}, 180*°, C) → J_{98}
Rotate(S_{32}, 180*°, C) → K_{98}
Segment(J_{98}, K_{98}) → d_{76}
Rotate(T_{32}, 180*°, C) → L_{98}
Rotate(U_{32}, 180*°, C) → M_{98}
Segment(L_{98}, M_{98}) → e_{76}
Rotate(V_{32}, 180*°, C) → N_{98}
Rotate(W_{32}, 180*°, C) → O_{98}
Segment(N_{98}, O_{98}) → f_{76}
Rotate(Z_{32}, 180*°, C) → P_{98}
Rotate(A_{33}, 180*°, C) → Q_{98}
Segment(P_{98}, Q_{98}) → g_{76}
Rotate(B_{33}, 180*°, C) → R_{98}
Rotate(C_{33}, 180*°, C) → S_{98}
Segment(R_{98}, S_{98}) → h_{76}
Rotate(D_{33}, 180*°, C) → T_{98}
Rotate(E_{33}, 180*°, C) → U_{98}
Segment(T_{98}, U_{98}) → i_{76}
Rotate(F_{33}, 180*°, C) → V_{98}
Rotate(G_{33}, 180*°, C) → W_{98}
Segment(V_{98}, W_{98}) → j_{76}
Rotate(H_{33}, 180*°, C) → Z_{98}
Rotate(I_{33}, 180*°, C) → A_{99}
Segment(Z_{98}, A_{99}) → k_{76}
Rotate(J_{33}, 180*°, C) → B_{99}
Rotate(K_{33}, 180*°, C) → C_{99}
Segment(B_{99}, C_{99}) → l_{76}
Rotate(L_{33}, 180*°, C) → D_{99}
Rotate(M_{33}, 180*°, C) → E_{99}
Segment(D_{99}, E_{99}) → m_{76}
Rotate(N_{33}, 180*°, C) → F_{99}
Rotate(O_{33}, 180*°, C) → G_{99}
Segment(F_{99}, G_{99}) → n_{76}
Rotate(P_{33}, 180*°, C) → H_{99}
Rotate(Q_{33}, 180*°, C) → I_{99}
Segment(H_{99}, I_{99}) → p_{76}
Rotate(R_{33}, 180*°, C) → J_{99}
Rotate(S_{33}, 180*°, C) → K_{99}
Segment(J_{99}, K_{99}) → q_{76}
Rotate(T_{33}, 180*°, C) → L_{99}
Rotate(U_{33}, 180*°, C) → M_{99}
Segment(L_{99}, M_{99}) → r_{76}
Rotate(V_{33}, 180*°, C) → N_{99}
Rotate(W_{33}, 180*°, C) → O_{99}
Segment(N_{99}, O_{99}) → s_{76}
Rotate(Z_{33}, 180*°, C) → P_{99}
Rotate(A_{34}, 180*°, C) → Q_{99}
Segment(P_{99}, Q_{99}) → t_{76}
Rotate(B_{34}, 180*°, C) → R_{99}
Rotate(C_{34}, 180*°, C) → S_{99}
Segment(R_{99}, S_{99}) → a_{77}
Rotate(D_{34}, 180*°, C) → T_{99}
Rotate(E_{34}, 180*°, C) → U_{99}
Segment(T_{99}, U_{99}) → b_{77}
Rotate(F_{34}, 180*°, C) → V_{99}
Rotate(G_{34}, 180*°, C) → W_{99}
Segment(V_{99}, W_{99}) → c_{77}
Rotate(H_{34}, 180*°, C) → Z_{99}
Rotate(I_{34}, 180*°, C) → A_{100}
Segment(Z_{99}, A_{100}) → d_{77}
Rotate(J_{34}, 180*°, C) → B_{100}
Rotate(K_{34}, 180*°, C) → C_{100}
Segment(B_{100}, C_{100}) → e_{77}
Rotate(L_{34}, 180*°, C) → D_{100}
Rotate(M_{34}, 180*°, C) → E_{100}
Segment(D_{100}, E_{100}) → f_{77}
Rotate(N_{34}, 180*°, C) → F_{100}
Rotate(O_{34}, 180*°, C) → G_{100}
Segment(F_{100}, G_{100}) → g_{77}
Rotate(P_{34}, 180*°, C) → H_{100}
Rotate(Q_{34}, 180*°, C) → I_{100}
Segment(H_{100}, I_{100}) → h_{77}
Rotate(R_{34}, 180*°, C) → J_{100}
Rotate(S_{34}, 180*°, C) → K_{100}
Segment(J_{100}, K_{100}) → i_{77}
Rotate(T_{34}, 180*°, C) → L_{100}
Rotate(U_{34}, 180*°, C) → M_{100}
Segment(L_{100}, M_{100}) → j_{77}
Rotate(V_{34}, 180*°, C) → N_{100}
Rotate(W_{34}, 180*°, C) → O_{100}
Segment(N_{100}, O_{100}) → k_{77}
Rotate(Z_{34}, 180*°, C) → P_{100}
Rotate(A_{35}, 180*°, C) → Q_{100}
Segment(P_{100}, Q_{100}) → l_{77}
Rotate(B_{35}, 180*°, C) → R_{100}
Rotate(C_{35}, 180*°, C) → S_{100}
Segment(R_{100}, S_{100}) → m_{77}
Rotate(D_{35}, 180*°, C) → T_{100}
Rotate(E_{35}, 180*°, C) → U_{100}
Segment(T_{100}, U_{100}) → n_{77}
Rotate(F_{35}, 180*°, C) → V_{100}
Rotate(G_{35}, 180*°, C) → W_{100}
Segment(V_{100}, W_{100}) → p_{77}
Rotate(H_{35}, 180*°, C) → Z_{100}
Rotate(I_{35}, 180*°, C) → A_{101}
Segment(Z_{100}, A_{101}) → q_{77}
Rotate(J_{35}, 180*°, C) → B_{101}
Rotate(K_{35}, 180*°, C) → C_{101}
Segment(B_{101}, C_{101}) → r_{77}
Rotate(L_{35}, 180*°, C) → D_{101}
Rotate(M_{35}, 180*°, C) → E_{101}
Segment(D_{101}, E_{101}) → s_{77}
Rotate(N_{35}, 180*°, C) → F_{101}
Rotate(O_{35}, 180*°, C) → G_{101}
Segment(F_{101}, G_{101}) → t_{77}
Rotate(P_{35}, 180*°, C) → H_{101}
Rotate(Q_{35}, 180*°, C) → I_{101}
Segment(H_{101}, I_{101}) → a_{78}
Rotate(R_{35}, 180*°, C) → J_{101}
Rotate(S_{35}, 180*°, C) → K_{101}
Segment(J_{101}, K_{101}) → b_{78}
Rotate(T_{35}, 180*°, C) → L_{101}
Rotate(U_{35}, 180*°, C) → M_{101}
Segment(L_{101}, M_{101}) → c_{78}
Rotate(V_{35}, 180*°, C) → N_{101}
Rotate(W_{35}, 180*°, C) → O_{101}
Segment(N_{101}, O_{101}) → d_{78}
Rotate(Z_{35}, 180*°, C) → P_{101}
Rotate(A_{36}, 180*°, C) → Q_{101}
Segment(P_{101}, Q_{101}) → e_{78}
Rotate(B_{36}, 180*°, C) → R_{101}
Rotate(C_{36}, 180*°, C) → S_{101}
Segment(R_{101}, S_{101}) → f_{78}
Rotate(D_{36}, 180*°, C) → T_{101}
Rotate(E_{36}, 180*°, C) → U_{101}
Segment(T_{101}, U_{101}) → g_{78}
Rotate(F_{36}, 180*°, C) → V_{101}
Rotate(G_{36}, 180*°, C) → W_{101}
Segment(V_{101}, W_{101}) → h_{78}
Rotate(H_{36}, 180*°, C) → Z_{101}
Rotate(I_{36}, 180*°, C) → A_{102}
Segment(Z_{101}, A_{102}) → i_{78}
Rotate(J_{36}, 180*°, C) → B_{102}
Rotate(K_{36}, 180*°, C) → C_{102}
Segment(B_{102}, C_{102}) → j_{78}
Rotate(L_{36}, 180*°, C) → D_{102}
Rotate(M_{36}, 180*°, C) → E_{102}
Segment(D_{102}, E_{102}) → k_{78}
Rotate(N_{36}, 180*°, C) → F_{102}
Rotate(O_{36}, 180*°, C) → G_{102}
Segment(F_{102}, G_{102}) → l_{78}
Rotate(P_{36}, 180*°, C) → H_{102}
Rotate(Q_{36}, 180*°, C) → I_{102}
Segment(H_{102}, I_{102}) → m_{78}
Rotate(R_{36}, 180*°, C) → J_{102}
Rotate(S_{36}, 180*°, C) → K_{102}
Segment(J_{102}, K_{102}) → n_{78}
Rotate(T_{36}, 180*°, C) → L_{102}
Rotate(U_{36}, 180*°, C) → M_{102}
Segment(L_{102}, M_{102}) → p_{78}
Rotate(V_{36}, 180*°, C) → N_{102}
Rotate(W_{36}, 180*°, C) → O_{102}
Segment(N_{102}, O_{102}) → q_{78}
Rotate(Z_{36}, 180*°, C) → P_{102}
Rotate(A_{37}, 180*°, C) → Q_{102}
Segment(P_{102}, Q_{102}) → r_{78}
Rotate(B_{37}, 180*°, C) → R_{102}
Rotate(C_{37}, 180*°, C) → S_{102}
Segment(R_{102}, S_{102}) → s_{78}
Rotate(D_{37}, 180*°, C) → T_{102}
Rotate(E_{37}, 180*°, C) → U_{102}
Segment(T_{102}, U_{102}) → t_{78}
Rotate(F_{37}, 180*°, C) → V_{102}
Rotate(G_{37}, 180*°, C) → W_{102}
Segment(V_{102}, W_{102}) → a_{79}
Rotate(H_{37}, 180*°, C) → Z_{102}
Rotate(I_{37}, 180*°, C) → A_{103}
Segment(Z_{102}, A_{103}) → b_{79}
Rotate(J_{37}, 180*°, C) → B_{103}
Rotate(K_{37}, 180*°, C) → C_{103}
Segment(B_{103}, C_{103}) → c_{79}
Rotate(L_{37}, 180*°, C) → D_{103}
Rotate(M_{37}, 180*°, C) → E_{103}
Segment(D_{103}, E_{103}) → d_{79}
Rotate(N_{37}, 180*°, C) → F_{103}
Rotate(O_{37}, 180*°, C) → G_{103}
Segment(F_{103}, G_{103}) → e_{79}
Rotate(P_{37}, 180*°, C) → H_{103}
Rotate(Q_{37}, 180*°, C) → I_{103}
Segment(H_{103}, I_{103}) → f_{79}
Rotate(R_{37}, 180*°, C) → J_{103}
Rotate(S_{37}, 180*°, C) → K_{103}
Segment(J_{103}, K_{103}) → g_{79}
Rotate(T_{37}, 180*°, C) → L_{103}
Rotate(U_{37}, 180*°, C) → M_{103}
Segment(L_{103}, M_{103}) → h_{79}
Rotate(V_{37}, 180*°, C) → N_{103}
Rotate(W_{37}, 180*°, C) → O_{103}
Segment(N_{103}, O_{103}) → i_{79}
Rotate(Z_{37}, 180*°, C) → P_{103}
Rotate(A_{38}, 180*°, C) → Q_{103}
Segment(P_{103}, Q_{103}) → j_{79}
Rotate(B_{38}, 180*°, C) → R_{103}
Rotate(C_{38}, 180*°, C) → S_{103}
Segment(R_{103}, S_{103}) → k_{79}
Rotate(D_{38}, 180*°, C) → T_{103}
Rotate(E_{38}, 180*°, C) → U_{103}
Segment(T_{103}, U_{103}) → l_{79}
Rotate(F_{38}, 180*°, C) → V_{103}
Rotate(G_{38}, 180*°, C) → W_{103}
Segment(V_{103}, W_{103}) → m_{79}
Rotate(H_{38}, 180*°, C) → Z_{103}
Rotate(I_{38}, 180*°, C) → A_{104}
Segment(Z_{103}, A_{104}) → n_{79}
Rotate(J_{38}, 180*°, C) → B_{104}
Rotate(K_{38}, 180*°, C) → C_{104}
Segment(B_{104}, C_{104}) → p_{79}
Rotate(L_{38}, 180*°, C) → D_{104}
Rotate(M_{38}, 180*°, C) → E_{104}
Segment(D_{104}, E_{104}) → q_{79}
Rotate(N_{38}, 180*°, C) → F_{104}
Rotate(O_{38}, 180*°, C) → G_{104}
Segment(F_{104}, G_{104}) → r_{79}
Rotate(P_{38}, 180*°, C) → H_{104}
Rotate(Q_{38}, 180*°, C) → I_{104}
Segment(H_{104}, I_{104}) → s_{79}
Rotate(R_{38}, 180*°, C) → J_{104}
Rotate(S_{38}, 180*°, C) → K_{104}
Segment(J_{104}, K_{104}) → t_{79}
Rotate(T_{38}, 180*°, C) → L_{104}
Rotate(U_{38}, 180*°, C) → M_{104}
Segment(L_{104}, M_{104}) → a_{80}
Rotate(V_{38}, 180*°, C) → N_{104}
Rotate(W_{38}, 180*°, C) → O_{104}
Segment(N_{104}, O_{104}) → b_{80}
Rotate(Z_{38}, 180*°, C) → P_{104}
Rotate(A_{39}, 180*°, C) → Q_{104}
Segment(P_{104}, Q_{104}) → c_{80}
Rotate(B_{39}, 180*°, C) → R_{104}
Rotate(C_{39}, 180*°, C) → S_{104}
Segment(R_{104}, S_{104}) → d_{80}
Rotate(D_{39}, 180*°, C) → T_{104}
Rotate(E_{39}, 180*°, C) → U_{104}
Segment(T_{104}, U_{104}) → e_{80}
Rotate(F_{39}, 180*°, C) → V_{104}
Rotate(G_{39}, 180*°, C) → W_{104}
Segment(V_{104}, W_{104}) → f_{80}
Rotate(H_{39}, 180*°, C) → Z_{104}
Rotate(I_{39}, 180*°, C) → A_{105}
Segment(Z_{104}, A_{105}) → g_{80}
Rotate(J_{39}, 180*°, C) → B_{105}
Rotate(K_{39}, 180*°, C) → C_{105}
Segment(B_{105}, C_{105}) → h_{80}
Rotate(L_{39}, 180*°, C) → D_{105}
Rotate(M_{39}, 180*°, C) → E_{105}
Segment(D_{105}, E_{105}) → i_{80}
Rotate(N_{39}, 180*°, C) → F_{105}
Rotate(O_{39}, 180*°, C) → G_{105}
Segment(F_{105}, G_{105}) → j_{80}
Rotate(P_{39}, 180*°, C) → H_{105}
Rotate(Q_{39}, 180*°, C) → I_{105}
Segment(H_{105}, I_{105}) → k_{80}
Rotate(R_{39}, 180*°, C) → J_{105}
Rotate(S_{39}, 180*°, C) → K_{105}
Segment(J_{105}, K_{105}) → l_{80}
Rotate(T_{39}, 180*°, C) → L_{105}
Rotate(U_{39}, 180*°, C) → M_{105}
Segment(L_{105}, M_{105}) → m_{80}
Rotate(V_{39}, 180*°, C) → N_{105}
Rotate(W_{39}, 180*°, C) → O_{105}
Segment(N_{105}, O_{105}) → n_{80}
Rotate(Z_{39}, 180*°, C) → P_{105}
Rotate(A_{40}, 180*°, C) → Q_{105}
Segment(P_{105}, Q_{105}) → p_{80}
Rotate(B_{40}, 180*°, C) → R_{105}
Rotate(C_{40}, 180*°, C) → S_{105}
Segment(R_{105}, S_{105}) → q_{80}
Rotate(D_{40}, 180*°, C) → T_{105}
Rotate(E_{40}, 180*°, C) → U_{105}
Segment(T_{105}, U_{105}) → r_{80}
Rotate(F_{40}, 180*°, C) → V_{105}
Rotate(G_{40}, 180*°, C) → W_{105}
Segment(V_{105}, W_{105}) → s_{80}
Rotate(H_{40}, 180*°, C) → Z_{105}
Rotate(I_{40}, 180*°, C) → A_{106}
Segment(Z_{105}, A_{106}) → t_{80}
Rotate(J_{40}, 180*°, C) → B_{106}
Rotate(K_{40}, 180*°, C) → C_{106}
Segment(B_{106}, C_{106}) → a_{81}
Rotate(L_{40}, 180*°, C) → D_{106}
Rotate(M_{40}, 180*°, C) → E_{106}
Segment(D_{106}, E_{106}) → b_{81}
Rotate(N_{40}, 180*°, C) → F_{106}
Rotate(O_{40}, 180*°, C) → G_{106}
Segment(F_{106}, G_{106}) → c_{81}
Rotate(P_{40}, 180*°, C) → H_{106}
Rotate(Q_{40}, 180*°, C) → I_{106}
Segment(H_{106}, I_{106}) → d_{81}
Rotate(R_{40}, 180*°, C) → J_{106}
Rotate(S_{40}, 180*°, C) → K_{106}
Segment(J_{106}, K_{106}) → e_{81}
Rotate(T_{40}, 180*°, C) → L_{106}
Rotate(U_{40}, 180*°, C) → M_{106}
Segment(L_{106}, M_{106}) → f_{81}
Rotate(V_{40}, 180*°, C) → N_{106}
Rotate(W_{40}, 180*°, C) → O_{106}
Segment(N_{106}, O_{106}) → g_{81}
Rotate(Z_{40}, 180*°, C) → P_{106}
Rotate(A_{41}, 180*°, C) → Q_{106}
Segment(P_{106}, Q_{106}) → h_{81}
Rotate(B_{41}, 180*°, C) → R_{106}
Rotate(C_{41}, 180*°, C) → S_{106}
Segment(R_{106}, S_{106}) → i_{81}
Rotate(D_{41}, 180*°, C) → T_{106}
Rotate(E_{41}, 180*°, C) → U_{106}
Segment(T_{106}, U_{106}) → j_{81}
Rotate(F_{41}, 180*°, C) → V_{106}
Rotate(G_{41}, 180*°, C) → W_{106}
Segment(V_{106}, W_{106}) → k_{81}
Rotate(H_{41}, 180*°, C) → Z_{106}
Rotate(I_{41}, 180*°, C) → A_{107}
Segment(Z_{106}, A_{107}) → l_{81}
Rotate(J_{41}, 180*°, C) → B_{107}
Rotate(K_{41}, 180*°, C) → C_{107}
Segment(B_{107}, C_{107}) → m_{81}
Rotate(L_{41}, 180*°, C) → D_{107}
Rotate(M_{41}, 180*°, C) → E_{107}
Segment(D_{107}, E_{107}) → n_{81}
Rotate(N_{41}, 180*°, C) → F_{107}
Rotate(O_{41}, 180*°, C) → G_{107}
Segment(F_{107}, G_{107}) → p_{81}
Rotate(P_{41}, 180*°, C) → H_{107}
Rotate(Q_{41}, 180*°, C) → I_{107}
Segment(H_{107}, I_{107}) → q_{81}
Rotate(R_{41}, 180*°, C) → J_{107}
Rotate(S_{41}, 180*°, C) → K_{107}
Segment(J_{107}, K_{107}) → r_{81}
Rotate(T_{41}, 180*°, C) → L_{107}
Rotate(U_{41}, 180*°, C) → M_{107}
Segment(L_{107}, M_{107}) → s_{81}
Rotate(V_{41}, 180*°, C) → N_{107}
Rotate(W_{41}, 180*°, C) → O_{107}
Segment(N_{107}, O_{107}) → t_{81}
Rotate(Z_{41}, 180*°, C) → P_{107}
Rotate(A_{42}, 180*°, C) → Q_{107}
Segment(P_{107}, Q_{107}) → a_{82}
Rotate(B_{42}, 180*°, C) → R_{107}
Rotate(C_{42}, 180*°, C) → S_{107}
Segment(R_{107}, S_{107}) → b_{82}
Rotate(D_{42}, 180*°, C) → T_{107}
Rotate(E_{42}, 180*°, C) → U_{107}
Segment(T_{107}, U_{107}) → c_{82}
Rotate(F_{42}, 180*°, C) → V_{107}
Rotate(G_{42}, 180*°, C) → W_{107}
Segment(V_{107}, W_{107}) → d_{82}
Rotate(H_{42}, 180*°, C) → Z_{107}
Rotate(I_{42}, 180*°, C) → A_{108}
Segment(Z_{107}, A_{108}) → e_{82}
Rotate(J_{42}, 180*°, C) → B_{108}
Rotate(K_{42}, 180*°, C) → C_{108}
Segment(B_{108}, C_{108}) → f_{82}
Rotate(L_{42}, 180*°, C) → D_{108}
Rotate(M_{42}, 180*°, C) → E_{108}
Segment(D_{108}, E_{108}) → g_{82}
Rotate(N_{42}, 180*°, C) → F_{108}
Rotate(O_{42}, 180*°, C) → G_{108}
Segment(F_{108}, G_{108}) → h_{82}
Rotate(P_{42}, 180*°, C) → H_{108}
Rotate(Q_{42}, 180*°, C) → I_{108}
Segment(H_{108}, I_{108}) → i_{82}
Rotate(R_{42}, 180*°, C) → J_{108}
Rotate(S_{42}, 180*°, C) → K_{108}
Segment(J_{108}, K_{108}) → j_{82}
Rotate(T_{42}, 180*°, C) → L_{108}
Rotate(U_{42}, 180*°, C) → M_{108}
Segment(L_{108}, M_{108}) → k_{82}
Rotate(V_{42}, 180*°, C) → N_{108}
Rotate(W_{42}, 180*°, C) → O_{108}
Segment(N_{108}, O_{108}) → l_{82}
Rotate(Z_{42}, 180*°, C) → P_{108}
Rotate(A_{43}, 180*°, C) → Q_{108}
Segment(P_{108}, Q_{108}) → m_{82}
Rotate(B_{43}, 180*°, C) → R_{108}
Rotate(C_{43}, 180*°, C) → S_{108}
Segment(R_{108}, S_{108}) → n_{82}
Rotate(D_{43}, 180*°, C) → T_{108}
Rotate(E_{43}, 180*°, C) → U_{108}
Segment(T_{108}, U_{108}) → p_{82}
Rotate(F_{43}, 180*°, C) → V_{108}
Rotate(G_{43}, 180*°, C) → W_{108}
Segment(V_{108}, W_{108}) → q_{82}
Rotate(H_{43}, 180*°, C) → Z_{108}
Rotate(I_{43}, 180*°, C) → A_{109}
Segment(Z_{108}, A_{109}) → r_{82}
Rotate(J_{43}, 180*°, C) → B_{109}
Rotate(K_{43}, 180*°, C) → C_{109}
Segment(B_{109}, C_{109}) → s_{82}
Rotate(L_{43}, 180*°, C) → D_{109}
Rotate(M_{43}, 180*°, C) → E_{109}
Segment(D_{109}, E_{109}) → t_{82}
Rotate(N_{43}, 180*°, C) → F_{109}
Rotate(O_{43}, 180*°, C) → G_{109}
Segment(F_{109}, G_{109}) → a_{83}
Rotate(P_{43}, 180*°, C) → H_{109}
Rotate(Q_{43}, 180*°, C) → I_{109}
Segment(H_{109}, I_{109}) → b_{83}
Rotate(R_{43}, 180*°, C) → J_{109}
Rotate(S_{43}, 180*°, C) → K_{109}
Segment(J_{109}, K_{109}) → c_{83}
Rotate(T_{43}, 180*°, C) → L_{109}
Rotate(U_{43}, 180*°, C) → M_{109}
Segment(L_{109}, M_{109}) → d_{83}
Rotate(V_{43}, 180*°, C) → N_{109}
Rotate(W_{43}, 180*°, C) → O_{109}
Segment(N_{109}, O_{109}) → e_{83}
Rotate(Z_{43}, 180*°, C) → P_{109}
Rotate(A_{44}, 180*°, C) → Q_{109}
Segment(P_{109}, Q_{109}) → f_{83}
Rotate(B_{44}, 180*°, C) → R_{109}
Rotate(C_{44}, 180*°, C) → S_{109}
Segment(R_{109}, S_{109}) → g_{83}
Rotate(D_{44}, 180*°, C) → T_{109}
Rotate(E_{44}, 180*°, C) → U_{109}
Segment(T_{109}, U_{109}) → h_{83}
Rotate(F_{44}, 180*°, C) → V_{109}
Rotate(G_{44}, 180*°, C) → W_{109}
Segment(V_{109}, W_{109}) → i_{83}
Rotate(H_{44}, 180*°, C) → Z_{109}
Rotate(I_{44}, 180*°, C) → A_{110}
Segment(Z_{109}, A_{110}) → j_{83}
Rotate(J_{44}, 180*°, C) → B_{110}
Rotate(K_{44}, 180*°, C) → C_{110}
Segment(B_{110}, C_{110}) → k_{83}
Rotate(L_{44}, 180*°, C) → D_{110}
Rotate(M_{44}, 180*°, C) → E_{110}
Segment(D_{110}, E_{110}) → l_{83}
Rotate(N_{44}, 180*°, C) → F_{110}
Rotate(O_{44}, 180*°, C) → G_{110}
Segment(F_{110}, G_{110}) → m_{83}
Rotate(P_{44}, 180*°, C) → H_{110}
Rotate(Q_{44}, 180*°, C) → I_{110}
Segment(H_{110}, I_{110}) → n_{83}
Rotate(R_{44}, 180*°, C) → J_{110}
Rotate(S_{44}, 180*°, C) → K_{110}
Segment(J_{110}, K_{110}) → p_{83}
Rotate(T_{44}, 180*°, C) → L_{110}
Rotate(U_{44}, 180*°, C) → M_{110}
Segment(L_{110}, M_{110}) → q_{83}
Rotate(V_{44}, 180*°, C) → N_{110}
Rotate(W_{44}, 180*°, C) → O_{110}
Segment(N_{110}, O_{110}) → r_{83}
Rotate(Z_{44}, 180*°, C) → P_{110}
Rotate(A_{45}, 180*°, C) → Q_{110}
Segment(P_{110}, Q_{110}) → s_{83}
Rotate(B_{45}, 180*°, C) → R_{110}
Rotate(C_{45}, 180*°, C) → S_{110}
Segment(R_{110}, S_{110}) → t_{83}
Rotate(D_{45}, 180*°, C) → T_{110}
Rotate(E_{45}, 180*°, C) → U_{110}
Segment(T_{110}, U_{110}) → a_{84}
Rotate(F_{45}, 180*°, C) → V_{110}
Rotate(G_{45}, 180*°, C) → W_{110}
Segment(V_{110}, W_{110}) → b_{84}
Rotate(H_{45}, 180*°, C) → Z_{110}
Rotate(I_{45}, 180*°, C) → A_{111}
Segment(Z_{110}, A_{111}) → c_{84}
Rotate(J_{45}, 180*°, C) → B_{111}
Rotate(K_{45}, 180*°, C) → C_{111}
Segment(B_{111}, C_{111}) → d_{84}
Rotate(L_{45}, 180*°, C) → D_{111}
Rotate(M_{45}, 180*°, C) → E_{111}
Segment(D_{111}, E_{111}) → e_{84}
Rotate(N_{45}, 180*°, C) → F_{111}
Rotate(O_{45}, 180*°, C) → G_{111}
Segment(F_{111}, G_{111}) → f_{84}
Rotate(P_{45}, 180*°, C) → H_{111}
Rotate(Q_{45}, 180*°, C) → I_{111}
Segment(H_{111}, I_{111}) → g_{84}
Rotate(R_{45}, 180*°, C) → J_{111}
Rotate(S_{45}, 180*°, C) → K_{111}
Segment(J_{111}, K_{111}) → h_{84}
Rotate(T_{45}, 180*°, C) → L_{111}
Rotate(U_{45}, 180*°, C) → M_{111}
Segment(L_{111}, M_{111}) → i_{84}
Rotate(V_{45}, 180*°, C) → N_{111}
Rotate(W_{45}, 180*°, C) → O_{111}
Segment(N_{111}, O_{111}) → j_{84}
Rotate(Z_{45}, 180*°, C) → P_{111}
Rotate(A_{46}, 180*°, C) → Q_{111}
Segment(P_{111}, Q_{111}) → k_{84}
Rotate(B'_1, 180*°, C) → R_{111}
Rotate(V_4, 180*°, C) → S_{111}
Rotate(L_{16}, 180*°, C) → T_{111}
Rotate(M_{16}, 180*°, C) → U_{111}
Rotate(B_{46}, 180*°, C) → V_{111}
Rotate(C_{46}, 180*°, C) → W_{111}
Rotate(D_{46}, 180*°, C) → Z_{111}
Rotate(E_{46}, 180*°, C) → A_{112}
Intersect(q_1, e_2) → B_{112}
Intersect(h_{46}, a'_3) → C_{112}

AI 绘图提示语参考

绘制一个正三角形，以其一个顶点为公共旋转中心，将三角形的一条边向外延伸出一系列首尾相连的线段，形成一条折线路径。随后，将这条折线路径上的每个顶点绕该公共顶点旋转60度，得到一组旋转后的对应点，并依次连接这些对应点，形成另一条平行的折线。最终图形展示了两条折线之间的多边形区域，用于演示几何平均与黎曼和的概念。

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