Rise of the Sap: Fractal Geometry and Symmetric Recursive Construction

Loading the math board and drawing, please wait…

2020-11-19 20:21

This GeoGebra example demonstrates a fractal pattern called 'Rise of the Sap', which resembles a branching tree or vascular network built from recursive line segments. The core mathematical concepts involve fractal geometry, symmetry, similarity transformations (rotation and scaling), and recursive sequences. The construction uses commands such as Segment, Angle, Rotate, Dilate, Branche (a custom recursive procedure), Mirror, Take, Line, and Sequence to generate nested branch structures. Key objects include points A, B, C controlling branch origins and directions, angle α for rotation, and length parameter Long for scaling. The example is suitable for high school and above to explore self-similarity, composition of geometric transformations, and recursive algorithms, and can also serve as an artistic math project or an introduction to computer graphics.

GeoGebra Commands & Parameters

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

AI Drawing Prompt Reference

Draw a fractal pattern resembling a branching tree or vascular network, showcasing symmetric recursive construction. The design consists of multiple levels of recursively generated line segments, where each branch undergoes rotation and scaling transformations to create self-similarity. Start with two initial segments to define the basic shape, then recursively generate new branches by rotating and scaling, followed by mirror operations to create a complex, artistic fractal structure.

The prompt above was compiled from the original drawing commands and is for reference only.