Pythagorean Tessellation #137 Tiling

Loading the math board and drawing, please wait…

2015-01-11 05:28

This example demonstrates the construction of a Pythagorean tessellation. It involves the Pythagorean theorem and uses commands like Line, OrthogonalLine, Point, Intersect, Segment, Semicircle, and Polygon. Suitable for middle school and above students to learn geometric construction.

GeoGebra Commands & Parameters

Line(A, B) → a
OrthogonalLine(B, a) → b
OrthogonalLine(A, a) → c
Point(a) → C
OrthogonalLine(C, a) → d
Point(a) → D
OrthogonalLine(D, a) → e
Point(a) → E
OrthogonalLine(E, a) → f
Point(a) → F
OrthogonalLine(F, a) → g
Point(a) → G
OrthogonalLine(G, a) → h
Point(a) → H
OrthogonalLine(H, a) → i
Point(a) → I
OrthogonalLine(I, a) → j
Point(f) → J
OrthogonalLine(J, f) → k
Point(f) → K
OrthogonalLine(K, f) → l
Point(f) → L
OrthogonalLine(L, f) → m
Point(f) → M
OrthogonalLine(M, f) → n
Point(f) → N
OrthogonalLine(N, f) → p
Point(f) → O
OrthogonalLine(O, f) → q
Point(f) → P
OrthogonalLine(P, f) → r
Point(f) → Q
OrthogonalLine(Q, f) → s
Intersect(c, k) → R
Segment(R, S) → t
Segment(S, A) → a_1
Segment(R, T) → b_1
Intersect(c, l) → U
Segment(T, U) → c_1
Segment(U, V) → d_1
Segment(V, W) → e_1
Intersect(c, p) → Z
Segment(Z, A_1) → f_1
Segment(A_1, W) → g_1
Segment(Z, B_1) → h_1
Segment(B_1, C_1) → i_1
Intersect(c, r) → D_1
Segment(C_1, D_1) → j_1
Segment(D_1, E_1) → k_1
Intersect(c, s) → F_1
Segment(E_1, F_1) → l_1
Intersect(g, s) → G_1
Segment(G_1, H_1) → m_1
Intersect(g, r) → I_1
Segment(H_1, I_1) → n_1
Segment(I_1, J_1) → p_1
Intersect(g, q) → K_1
Segment(J_1, K_1) → q_1
Intersect(g, q) → M_1
Segment(L_1, M_1) → r_1
Intersect(g, p) → N_1
Segment(N_1, L_1) → s_1
Intersect(g, n) → P_1
Segment(O_1, P_1) → t_1
Segment(Q_1, P_1) → a_2
Segment(N_1, O_1) → b_2
Intersect(g, l) → S_1
Segment(R_1, S_1) → c_2
Segment(R_1, Q_1) → d_2
Segment(U_1, F) → f_2
Intersect(h, s) → V_1
Intersect(h, k) → W_1
Segment(W_1, Z_1) → h_2
Segment(G, Z_1) → i_2
Intersect(h, m) → C_2
Segment(B_2, C_2) → m_2
Segment(F_2, E_2) → q_2
Segment(F_2, G_2) → r_2
Intersect(h, r) → H_2
Segment(G_2, H_2) → s_2
Segment(H_2, I_2) → t_2
Segment(I_2, V_1) → a_3
Segment(N_2, O_2) → f_3
Segment(O_2, P_2) → g_3
Segment(P_2, Q_2) → h_3
Intersect(i, s) → R_2
Segment(R_2, Q_2) → i_3
Segment(J_2, H) → j_3
Intersect(j, k) → S_2
Segment(S_2, T_2) → k_3
Segment(T_2, I) → l_3
Segment(S_2, U_2) → m_3
Segment(U_2, V_2) → n_3
Segment(W_2, Z_2) → p_3
Segment(Z_2, V_2) → q_3
Segment(A_3, B_3) → r_3
Segment(B_3, W_2) → s_3
Segment(A_3, C_3) → t_3
Intersect(j, s) → D_3
Segment(C_3, D_3) → a_4
Intersect(a, b) → F_3
Segment(E_3, F_3) → b_4
Segment(E_3, G_3) → c_4
Segment(H_3, G_3) → d_4
Segment(I_3, H_3) → e_4
Segment(H_3, I_3) → f_4
Segment(I_3, K_3) → g_4
Segment(L_3, K_3) → h_4
Segment(M_3, L_3) → i_4
Segment(N_3, M_3) → j_4
Intersect(b, s) → O_3
Segment(N_3, O_3) → k_4
Segment(P_3, Q_3) → l_4
Intersect(a, d) → R_3
Segment(Q_3, R_3) → m_4
Segment(P_3, T_3) → n_4
Segment(V_3, T_3) → p_4
Segment(V_3, W_3) → q_4
Segment(W_3, Z_3) → r_4
Segment(Z_3, A_4) → s_4
Segment(B_4, A_4) → t_4
Intersect(d, s) → C_4
Segment(B_4, C_4) → a_5
Intersect(a, e) → D_4
Segment(D_4, E_4) → b_5
Segment(E_4, F_4) → c_5
Segment(G_4, F_4) → d_5
Segment(G_4, H_4) → e_5
Segment(I_4, H_4) → f_5
Segment(I_4, J_4) → g_5
Segment(K_4, J_4) → h_5
Segment(K_4, L_4) → i_5
Intersect(e, s) → M_4
Segment(L_4, M_4) → j_5
Intersect(a, f) → O_4
Segment(N_4, O_4) → k_5
Segment(P_4, N_4) → l_5
Segment(P_4, Q_4) → m_5
Segment(R_4, Q_4) → n_5
Segment(R_4, S_4) → p_5
Segment(T_4, S_4) → q_5
Segment(T_4, U_4) → r_5
Segment(V_4, U_4) → s_5
Intersect(f, s) → W_4
Segment(V_4, W_4) → t_5
Segment(F, Z_4) → a_6
Segment(Z_4, A) → b_6
Segment(A_5, R) → c_6
Segment(R, B_5) → d_6
Intersect(b, k) → C_5
Segment(B_5, C_5) → e_6
Intersect(g, k) → D_5
Segment(D_5, A_5) → f_6
Segment(C_5, E_5) → g_6
Segment(E_5, F_5) → h_6
Segment(F_5, G_5) → i_6
Segment(G_5, H_5) → j_6
Segment(L_5, S_2) → p_6
Intersect(j, l) → O_5
Segment(Q_5, R_5) → a_7
Segment(R_5, S_5) → b_7
Segment(T_5, S_5) → c_7
Segment(U_5, T_5) → d_7
Intersect(f, l) → V_5
Segment(U_5, V_5) → e_7
Intersect(f, k) → W_5
Segment(W_5, G_5) → f_7
Segment(D_4, Z_5) → g_7
Segment(Z_5, O_4) → h_7
Segment(D_4, A_6) → i_7
Segment(A_6, R_3) → j_7
Segment(F_3, B_6) → k_7
Segment(B_6, R_3) → l_7
Segment(H, C_6) → m_7
Intersect(a, h) → D_6
Segment(D_6, C_6) → n_7
Segment(F_3, E_6) → p_7
Segment(E_6, A) → q_7
Segment(F, F_6) → r_7
Segment(F_6, D_6) → s_7
Intersect(j, m) → H_6
Segment(H_6, I_6) → b_8
Intersect(g, m) → N_6
Segment(M_6, N_6) → g_8
Segment(N_6, O_6) → h_8
Segment(O_6, P_6) → i_8
Intersect(b, m) → Q_6
Segment(P_6, Q_6) → j_8
Segment(Q_6, R_6) → k_8
Segment(R_6, S_6) → l_8
Point(m) → T_6
Segment(S_6, T_6) → m_8
Intersect(f, m) → U_6
Segment(U_6, V_6) → n_8
Segment(V_6, T_6) → p_8
Intersect(j, q) → Z_6
Segment(W_6, Z_6) → q_8
Segment(W_6, A_7) → r_8
Segment(B_7, A_7) → s_8
Segment(B_7, C_7) → t_8
Segment(D_7, C_7) → a_9
Segment(D_7, E_7) → b_9
Intersect(d, q) → F_7
Segment(E_7, F_7) → c_9
Intersect(b, k) → A_2
Intersect(b, l) → D_2
Semicircle(A_2, D_2) → e_2
Intersect(d, l) → K_5
Intersect(b, m) → J_6
Intersect(d, n) → J_7
Intersect(d, q) → O_7
Intersect(d, s) → Q_7
Intersect(b, r) → T_7
Intersect(e, r) → U_7
Intersect(f, q) → A_8
Intersect(b, p) → L_8
Segment(O_7, U_7) → c_{10}
Segment(O_7, L_8) → d_{10}
Intersect(c, n) → P_8
Intersect(c, q) → T_8
Intersect(g, p) → Z_8
Segment(O_7, T_7) → b_{11}
Segment(T_8, L_8) → c_{11}
Segment(T_8, T_7) → d_{11}
Segment(P_8, L_8) → e_{11}
Segment(Z_8, P_8) → f_{11}
Segment(Z_8, T_8) → g_{11}
Segment(K_5, J_6) → p_{11}
Intersect(c, l) → F_9
Segment(J_6, P_8) → g_{12}
Intersect(g, m) → P_9
Intersect(h, n) → U_9
Segment(P_9, P_8) → s_{12}
Intersect(a, d) → F_{10}
Intersect(a, e) → H_{10}
Intersect(e, k) → J_{10}
Segment(F_{10}, K_{10}) → k_{13}
Intersect(e, m) → S_{10}
Intersect(e, p) → Z_{10}
Intersect(f, n) → A_{11}
Intersect(f, l) → F_{11}
Intersect(a, f) → K_{11}
Segment(J_{11}, K_{11}) → d_{15}
Segment(J_7, L_8) → p_{18}
Segment(J_6, J_7) → q_{18}
Intersect(i, m) → V_{13}
Segment(V_{13}, U_9) → j_{19}
Segment(U_9, Z_8) → k_{19}
Segment(P_9, U_9) → l_{19}
Intersect(h, l) → B_{14}
Intersect(a, h) → F_{14}
Intersect(g, k) → I_{14}
Intersect(i, k) → L_{14}
Intersect(a, j) → P_{14}
Segment(O_{14}, P_{14}) → l_{20}
Intersect(j, k) → U_{14}
Intersect(j, l) → C_{15}
Segment(T_7, Q_7) → g_{22}
Segment(Q_7, U_7) → h_{22}
Segment(O_7, Z_{10}) → r_{22}
Segment(Z_{10}, J_7) → s_{22}
Segment(U_7, A_8) → t_{22}
Segment(A_8, Z_{10}) → a_{23}
Intersect(f, s) → T_{15}
Segment(U_7, T_{15}) → b_{23}
Point(r) → U_{15}
Segment(T_{15}, U_{15}) → c_{23}
Segment(U_{15}, A_8) → d_{23}
Point(e) → V_{15}
Segment(Q_7, V_{15}) → e_{23}
Segment(V_{15}, T_{15}) → f_{23}
Intersect(a, c) → Z_{15}
Segment(V_{13}, C_{15}) → b_{24}
Segment(V_{13}, B_{14}) → d_{24}
Segment(L_{14}, C_{15}) → e_{24}
Segment(P_9, L_{14}) → f_{24}
Segment(F_{14}, L_{14}) → g_{24}
Segment(B_{14}, I_{14}) → h_{24}
Segment(I_{14}, F_{14}) → i_{24}
Segment(I_{14}, F_9) → j_{24}
Segment(F_9, J_6) → k_{24}
Point(g) → H_{16}
Segment(F_{14}, H_{16}) → l_{24}
Segment(H_{16}, Z_{15}) → m_{24}
Segment(Z_{15}, I_{14}) → n_{24}
Segment(A_2, Z_{15}) → p_{24}
Segment(K_5, A_2) → q_{24}
Segment(A_2, F_9) → r_{24}
Segment(F_9, P_9) → s_{24}
Segment(K_5, S_{10}) → t_{24}
Segment(S_{10}, J_7) → a_{25}
Segment(S_{10}, A_{11}) → b_{25}
Segment(A_{11}, Z_{10}) → c_{25}
Point(p) → I_{16}
Segment(A_{11}, I_{16}) → d_{25}
Segment(I_{16}, A_8) → e_{25}
Point(q) → J_{16}
Segment(J_{16}, U_{15}) → f_{25}
Segment(J_{16}, I_{16}) → g_{25}
Segment(J_{10}, K_{11}) → j_{25}
Segment(J_{10}, F_{11}) → k_{25}
Point(k) → L_{16}
Segment(F_{11}, L_{16}) → l_{25}
Segment(L_{16}, K_{11}) → m_{25}
Point(l) → N_{16}
Segment(L_{16}, N_{16}) → q_{25}
Point(m) → O_{16}
Segment(N_{16}, O_{16}) → r_{25}
Segment(O_{16}, F_{11}) → s_{25}
Segment(F_{11}, S_{10}) → t_{25}
Segment(O_{16}, A_{11}) → a_{26}
Point(n) → P_{16}
Segment(P_{16}, I_{16}) → b_{26}
Segment(P_{16}, O_{16}) → c_{26}
Point(m) → Q_{16}
Segment(P_{16}, Q_{16}) → d_{26}
Segment(Q_{16}, N_{16}) → e_{26}
Segment(L_{16}, O_{16}) → f_{26}
Segment(N_{16}, P_{16}) → g_{26}
Segment(O_{16}, I_{16}) → h_{26}
Segment(T_{16}, N_{16}) → l_{26}
Segment(U_{16}, L_{16}) → n_{26}
Intersect(n, h_{26}) → B_{17}
Segment(A_{17}, B_{17}) → a_{27}
Segment(B_{17}, C_{17}) → b_{27}
Segment(H_{17}, P_{16}) → l_{27}
Segment(I_{16}, U_{15}) → p_{27}
Point(p) → J_{17}
Segment(J_{16}, J_{17}) → q_{27}
Segment(J_{17}, P_{16}) → r_{27}
Point(n) → K_{17}
Segment(J_{17}, K_{17}) → s_{27}
Segment(K_{17}, Q_{16}) → t_{27}
Segment(Q_{16}, J_{17}) → a_{28}
Segment(P_{16}, J_{16}) → b_{28}
Intersect(q, p_{27}) → M_{19}
Point(c) → D_{20}
Segment(H_{16}, D_{20}) → n_{34}
Point(b) → E_{20}
Segment(D_{20}, E_{20}) → p_{34}
Segment(E_{20}, Z_{15}) → q_{34}
Segment(E_{20}, F_{10}) → r_{34}
Segment(F_{10}, A_2) → s_{34}
Segment(J_{10}, F_{10}) → t_{34}
Segment(J_{10}, K_5) → a_{35}
Point(e) → F_{20}
Segment(F_{10}, F_{20}) → b_{35}
Segment(F_{20}, K_{11}) → c_{35}
Point(d) → G_{20}
Segment(F_{20}, G_{20}) → d_{35}
Segment(G_{20}, E_{20}) → e_{35}
Segment(E_{20}, F_{20}) → f_{35}
Point(b) → H_{20}
Segment(G_{20}, H_{20}) → g_{35}
Point(c) → I_{20}
Segment(H_{20}, I_{20}) → h_{35}
Point(g) → J_{20}
Segment(I_{20}, J_{20}) → i_{35}
Segment(J_{20}, D_{20}) → j_{35}
Segment(D_{20}, H_{20}) → k_{35}
Point(h) → K_{20}
Segment(J_{20}, K_{20}) → l_{35}
Segment(K_{20}, H_{16}) → m_{35}
Segment(K_{20}, D_{20}) → n_{35}
Segment(H_{16}, E_{20}) → p_{35}
Point(i) → L_{20}
Segment(P_{14}, L_{20}) → q_{35}
Segment(L_{20}, F_{14}) → r_{35}
Segment(L_{20}, K_{20}) → s_{35}
Segment(L_{20}, H_{16}) → t_{35}
Segment(J_{20}, H_{20}) → a_{36}
Segment(D_{20}, G_{20}) → b_{36}
Segment(M_{20}, F_{20}) → d_{36}
Segment(P_{20}, E_{20}) → h_{36}
Intersect(h, t_{35}) → V_{20}
Segment(J_{21}, E_{20}) → t_{37}
Intersect(c, a_{36}) → M_{21}
Segment(O_{21}, I_{20}) → h_{38}
Segment(U_{21}, H_{20}) → s_{38}
Segment(E_{20}, V_{21}) → a_{39}
Segment(L_{14}, P_{14}) → q_{39}
Point(k) → F_{22}
Segment(P_{14}, F_{22}) → r_{39}
Segment(F_{22}, C_{15}) → s_{39}
Segment(I_{20}, M_{21}) → h_{43}
Segment(G_{21}, S_{21}) → k_{46}
Segment(J_{21}, P_{20}) → i_{48}
Segment(H_{17}, U_{19}) → k_{50}
Segment(A_{17}, C_{17}) → j_{52}
Segment(T_{16}, U_{16}) → s_{66}
Segment(E_{20}, B_9) → n_2
Point(k_{35}) → N_{10}
Point(q_{24}) → I_5
Point(a_{35}) → A_9
Point(s_{34}) → C_9
Point(t_{34}) → E_{10}
Point(q_{34}) → P_5
Point(p_{24}) → G_6
Point(p_{34}) → L_6
Point(n_{34}) → H_7
Segment(M_2, G_7) → g_2
Segment(I_7, K_7) → j_2
Segment(L_7, M_7) → k_2
Segment(N_7, P_7) → l_2
Segment(R_7, S_7) → p_2
Segment(V_7, W_7) → b_3
Segment(Z_7, B_8) → c_3
Point(l_{35}) → C_8
Segment(C_8, E_8) → d_3
Segment(F_8, G_8) → e_3
Segment(H_8, I_8) → k_6
Point(i_{35}) → J_8
Segment(J_8, K_8) → l_6
Point(h_{35}) → M_8
Segment(M_8, N_8) → m_6
Segment(O_8, Q_8) → n_6
Point(g_{35}) → R_8
Segment(R_8, S_8) → q_6
Segment(U_8, V_8) → r_6
Point(d_{35}) → D_9
Segment(D_9, E_9) → s_6
Segment(G_9, H_9) → t_6
Point(c_{35}) → I_9
Segment(I_9, J_9) → t_7
Segment(K_9, L_9) → a_8
Segment(M_9, N_9) → c_8
Segment(Q_9, R_9) → d_8
Point(m_{25}) → S_9
Segment(S_9, T_9) → e_8
Segment(V_9, W_9) → f_8
Point(q_{25}) → Z_9
Segment(Z_9, B_{10}) → d_9
Segment(C_{10}, D_{10}) → e_9
Segment(G_{10}, I_{10}) → f_9
Segment(L_{10}, M_{10}) → g_9
Point(e_{26}) → P_{10}
Segment(P_{10}, Q_{10}) → h_9
Segment(R_{10}, T_{10}) → i_9
Point(t_{27}) → U_{10}
Segment(U_{10}, V_{10}) → j_9
Point(s_{27}) → B_{11}
Segment(W_{10}, B_{11}) → k_9
Segment(C_{11}, D_{11}) → l_9
Segment(E_{11}, G_{11}) → m_9
Segment(H_{11}, I_{11}) → n_9
Segment(L_{11}, M_{11}) → p_9
Segment(N_{11}, O_{11}) → q_9
Segment(P_{11}, Q_{11}) → r_9
Segment(R_{11}, S_{11}) → s_9
Segment(T_{11}, U_{11}) → t_9
Segment(Z_{11}, A_{12}) → a_{10}
Segment(B_{12}, C_{12}) → b_{10}
Point(q_{27}) → F_{12}
Segment(D_{12}, F_{12}) → e_{10}
Segment(E_8, O_8) → f_{10}
Segment(V_7, U_8) → g_{10}
Segment(Z_7, G_8) → h_{10}
Segment(R_7, N_8) → i_{10}
Segment(M_7, S_8) → j_{10}
Segment(Q_8, R_8) → k_{10}
Segment(K_8, M_8) → l_{10}
Segment(F_8, J_8) → m_{10}
Segment(V_8, D_9) → n_{10}
Segment(E_9, M_9) → p_{10}
Segment(P_7, G_9) → q_{10}
Segment(S_7, M_2) → r_{10}
Segment(L_7, E_{11}) → s_{10}
Segment(L_9, K_7) → t_{10}
Segment(Q_9, J_9) → a_{11}
Segment(L_{11}, N_9) → h_{11}
Segment(V_9, I_{11}) → i_{11}
Segment(H_9, I_9) → j_{11}
Segment(K_9, S_9) → k_{11}
Segment(G_{10}, T_9) → l_{11}
Segment(W_9, Z_9) → m_{11}
Segment(B_{10}, L_{10}) → n_{11}
Segment(O_{11}, C_{10}) → q_{11}
Segment(P_{11}, R_9) → r_{11}
Segment(D_{10}, P_{10}) → s_{11}
Segment(C_{11}, Q_{10}) → t_{11}
Segment(R_{10}, S_{11}) → a_{12}
Segment(T_{11}, I_{10}) → b_{12}
Segment(B_{12}, M_{10}) → c_{12}
Segment(T_{10}, U_{10}) → d_{12}
Segment(V_{10}, B_{11}) → e_{12}
Segment(A_{12}, W_{10}) → f_{12}
Segment(D_{11}, F_{12}) → h_{12}
Segment(G_{12}, N_{11}) → i_{12}
Segment(H_{12}, R_{11}) → j_{12}
Segment(I_{12}, Z_{11}) → k_{12}
Segment(K_{12}, H_{11}) → l_{12}
Segment(M_{12}, D_{12}) → m_{12}
Segment(N_{12}, P_{12}) → n_{12}
Segment(Q_{12}, N_7) → p_{12}
Segment(R_{12}, W_7) → q_{12}
Segment(H_8, C_8) → r_{12}
Point(s_{35}) → S_{12}
Segment(S_{12}, R_{12}) → t_{12}
Segment(T_{12}, S_{12}) → a_{13}
Point(l_{24}) → W_{12}
Segment(V_{12}, Q_{12}) → b_{13}
Segment(Z_{12}, I_8) → c_{13}
Segment(T_{12}, B_{13}) → d_{13}
Segment(V_{12}, C_{13}) → e_{13}
Point(q_{35}) → D_{13}
Segment(D_{13}, C_{13}) → f_{13}
Segment(E_{13}, D_{13}) → g_{13}
Point(q_{39}) → F_{13}
Segment(F_{13}, E_{13}) → h_{13}
Segment(G_{13}, F_{13}) → i_{13}
Point(g_{24}) → H_{13}
Segment(H_{13}, G_{13}) → j_{13}
Segment(H_{13}, B_{13}) → l_{13}
Segment(J_{13}, K_{13}) → m_{13}
Segment(L_{13}, Z_{12}) → n_{13}
Segment(H_{13}, J_{13}) → p_{13}
Segment(M_{13}, H_{13}) → q_{13}
Segment(K_{13}, N_{12}) → r_{13}
Segment(N_{13}, B_8) → s_{13}
Point(p_{11}) → O_{13}
Segment(P_{13}, K_{12}) → t_{13}
Segment(Q_{13}, G_7) → a_{14}
Segment(R_{13}, P_{13}) → b_{14}
Segment(S_{13}, N_{13}) → c_{14}
Segment(T_{13}, R_{13}) → d_{14}
Segment(U_{13}, L_{13}) → e_{14}
Segment(Q_{13}, Z_{13}) → f_{14}
Segment(A_{14}, C_{14}) → g_{14}
Segment(G_{12}, C_{14}) → h_{14}
Segment(D_{14}, G_{11}) → i_{14}
Segment(E_{14}, D_{14}) → j_{14}
Segment(G_{14}, H_{14}) → k_{14}
Segment(H_{14}, H_{12}) → l_{14}
Segment(J_{14}, M_{11}) → m_{14}
Segment(K_{14}, J_{14}) → n_{14}
Segment(M_{14}, N_{14}) → p_{14}
Segment(N_{14}, I_{12}) → q_{14}
Segment(Q_{14}, Q_{11}) → r_{14}
Segment(R_{14}, M_{12}) → s_{14}
Segment(S_{14}, U_{11}) → t_{14}
Segment(T_{14}, R_{14}) → a_{15}
Segment(V_{14}, Q_{14}) → b_{15}
Segment(W_{14}, S_{14}) → c_{15}
Segment(Z_{14}, A_{15}) → e_{15}
Point(f_{25}) → B_{15}
Segment(A_{15}, B_{15}) → f_{15}
Segment(B_{15}, C_{12}) → g_{15}
Segment(D_{15}, M_{13}) → h_{15}
Segment(E_{15}, T_{13}) → i_{15}
Segment(F_{15}, U_{13}) → j_{15}
Segment(G_{15}, H_{15}) → k_{15}
Segment(H_{15}, A_{14}) → l_{15}
Segment(I_{15}, S_{13}) → m_{15}
Segment(J_{15}, K_{15}) → n_{15}
Segment(K_{15}, G_{14}) → p_{15}
Segment(L_{15}, I_{15}) → q_{15}
Segment(Z_{13}, N_{15}) → r_{15}
Segment(O_{15}, N_{15}) → s_{15}
Segment(P_{15}, Q_{15}) → t_{15}
Segment(Q_{15}, M_{14}) → a_{16}
Segment(R_{15}, E_{14}) → b_{16}
Segment(R_{15}, S_{15}) → c_{16}
Segment(W_{15}, A_{16}) → d_{16}
Segment(T_{14}, A_{16}) → e_{16}
Segment(K_{14}, B_{16}) → f_{16}
Segment(B_{16}, C_{16}) → g_{16}
Segment(D_{16}, E_{16}) → h_{16}
Segment(E_{16}, Z_{14}) → i_{16}
Segment(F_{16}, V_{14}) → j_{16}
Segment(G_{16}, F_{16}) → k_{16}
Segment(K_{16}, M_{16}) → l_{16}
Segment(V_{11}, F_{13}) → m_{16}
Segment(W_{11}, F_{13}) → n_{16}
Point(r_{39}) → E_{12}
Segment(W_{11}, E_{12}) → p_{16}
Segment(E_{12}, L_{12}) → q_{16}
Point(s_{39}) → U_{12}
Segment(L_{12}, U_{12}) → r_{16}
Point(e_{24}) → A_{13}
Segment(U_{12}, A_{13}) → s_{16}
Segment(U_{12}, I_{13}) → t_{16}
Point(e_{24}) → W_{13}
Segment(I_{13}, W_{13}) → a_{17}
Segment(W_{13}, V_{11}) → b_{17}
Segment(W_{13}, E_{15}) → c_{17}
Segment(D_{15}, M_{15}) → d_{17}
Segment(G_{15}, S_{16}) → e_{17}
Segment(S_{16}, V_{16}) → f_{17}
Segment(V_{16}, W_{16}) → g_{17}
Segment(W_{16}, W_{13}) → h_{17}
Point(j_{19}) → Z_{16}
Segment(M_{15}, Z_{16}) → i_{17}
Segment(Z_{16}, D_{17}) → j_{17}
Segment(D_{17}, J_{15}) → k_{17}
Segment(F_{15}, E_{17}) → l_{17}
Point(k_{19}) → F_{17}
Segment(E_{17}, F_{17}) → m_{17}
Segment(F_{17}, G_{17}) → n_{17}
Segment(G_{17}, P_{15}) → p_{17}
Segment(L_{17}, L_{15}) → q_{17}
Point(g_{11}) → M_{17}
Segment(L_{17}, M_{17}) → r_{17}
Segment(M_{17}, N_{17}) → s_{17}
Point(c_{11}) → O_{17}
Segment(N_{17}, O_{17}) → t_{17}
Segment(O_{17}, O_{15}) → a_{18}
Segment(P_{17}, O_{17}) → b_{18}
Segment(W_{15}, O_{17}) → c_{18}
Segment(S_{15}, R_{17}) → d_{18}
Segment(S_{17}, D_{16}) → e_{18}
Point(d_{11}) → T_{17}
Segment(S_{17}, T_{17}) → f_{18}
Segment(T_{17}, P_{17}) → g_{18}
Point(g_{22}) → U_{17}
Segment(U_{17}, R_{17}) → h_{18}
Segment(U_{17}, V_{17}) → i_{18}
Segment(V_{17}, M_{16}) → j_{18}
Segment(W_{17}, C_{16}) → k_{18}
Point(e_{23}) → Z_{17}
Segment(Z_{17}, W_{17}) → l_{18}
Segment(Z_{17}, A_{18}) → m_{18}
Point(f_{23}) → B_{18}
Segment(A_{18}, B_{18}) → n_{18}
Segment(B_{18}, G_{16}) → r_{18}
Point(c_{23}) → C_{18}
Segment(C_{18}, K_{16}) → s_{18}
Segment(C_{18}, W_{14}) → t_{18}
Intersect(j_{35}, e_3) → D_{18}
Polygon(M_8, K_8, J_8, F_8, D_{18}, O_8, N_{10}, N_8) → poly1, m_{19}, k_{20}, j_{20}, f_{19}, d_{19}, o_8, n_{19}, n_{20}
Intersect(e_{35}, r_6) → E_{18}
Polygon(N_{10}, R_7, L_6, U_8, E_{18}, S_8, R_8, Q_8) → poly2, n_{21}, r_{19}, l_{21}, u_8, e_{19}, s_{19}, r_{20}, q_{19}
Intersect(b_{35}, t_6) → F_{18}
Polygon(D_9, V_8, E_{18}, M_7, K_2, G_9, F_{18}, E_9) → poly3, d_{20}, v_8, e_{20}, m_{20}, k_{21}, g_{19}, f_{20}, e_{21}
Intersect(j_{25}, a_8) → G_{18}
Polygon(I_9, H_9, F_{18}, M_9, E_{10}, L_9, G_{18}, J_9) → poly4, i_{19}, h_{19}, f_{21}, m_{21}, e_{22}, l_{22}, g_{20}, j_{21}
Intersect(k_{25}, d_8) → H_{18}
Intersect(l_{25}, f_8) → I_{18}
Polygon(S_9, K_9, G_{18}, Q_9, H_{18}, V_9, I_{18}, T_9) → poly5, s_{20}, k_{22}, g_{21}, q_{20}, h_{20}, v_9, i_{20}, t_{19}
Intersect(s_{25}, f_9) → J_{18}
Intersect(r_{25}, e_9) → K_{18}
Polygon(Z_9, W_9, I_{18}, G_{10}, J_{18}, C_{10}, K_{18}, B_{10}) → poly6, z_9, w_9, i_{21}, g_{23}, j_{22}, c_{19}, k_{23}, b_{19}
Intersect(c_{26}, g_9) → L_{18}
Intersect(d_{26}, i_9) → M_{18}
Polygon(P_{10}, D_{10}, K_{18}, L_{10}, L_{18}, R_{10}, M_{18}, Q_{10}) → poly7, p_{19}, d_{21}, k_{26}, l_{23}, l_{28}, r_{21}, m_{22}, q_{21}
Intersect(r_{27}, l_9) → N_{18}
Polygon(U_{10}, T_{10}, M_{18}, C_{11}, N_{18}, W_{10}, B_{11}, V_{10}) → poly8, u_{10}, t_{20}, m_{23}, c_{20}, n_{22}, w_{10}, b_{20}, v_{10}
Intersect(m_{35}, k_6) → O_{18}
Intersect(n_{34}, b_3) → P_{18}
Polygon(D_{18}, E_8, C_8, H_8, O_{18}, W_7, P_{18}, G_8) → poly9, d_{22}, e_{27}, c_{21}, h_{21}, o_{18}, w_7, p_{20}, g_{27}
Intersect(m_{24}, c_3) → Q_{18}
Polygon(L_6, V_7, P_{18}, Z_7, Q_{18}, N_7, P_5, S_7) → poly10, l_{29}, v_7, p_{21}, z_7, q_{22}, n_{23}, p_{22}, s_{21}
Polygon(K_2, P_7, P_5, M_2, G_6, P_{12}, C_9, L_7) → poly11, k_{27}, p_{23}, p_{25}, m_{26}, g_{28}, p_{26}, c_{22}, l_{30}
Polygon(E_{10}, K_7, C_9, E_{11}, I_5, H_{11}, A_9, N_9) → poly12, e_{28}, k_{28}, c_{24}, e_{29}, i_{22}, h_{23}, a_{19}, n_{25}
Intersect(t_{24}, p_9) → R_{18}
Intersect(t_{25}, q_9) → S_{18}
Polygon(H_{18}, I_{11}, A_9, L_{11}, R_{18}, N_{11}, S_{18}, R_9) → poly13, h_{25}, i_{23}, a_{20}, l_{31}, r_{23}, n_{27}, s_{23}, r_{26}
Intersect(b_{25}, r_9) → T_{18}
Intersect(a_{26}, s_9) → U_{18}
Polygon(J_{18}, O_{11}, S_{18}, P_{11}, T_{18}, R_{11}, U_{18}, I_{10}) → poly14, j_{23}, o_{11}, s_{26}, p_{28}, t_{21}, r_{28}, u_{18}, i_{25}
Intersect(d_{25}, t_9) → V_{18}
Intersect(b_{26}, a_{10}) → W_{18}
Polygon(L_{18}, S_{11}, U_{18}, T_{11}, V_{18}, Z_{11}, W_{18}, M_{10}) → poly15, l_{32}, s_{28}, u_1, t_{23}, v_{18}, z_{11}, w_{18}, m_{27}
Intersect(g_{25}, b_{10}) → Z_{18}
Polygon(N_{18}, A_{12}, W_{18}, B_{12}, Z_{18}, D_{12}, F_{12}, D_{11}) → poly16, n_{28}, a_{21}, w_1, b_{21}, z_{18}, d_{27}, f_{22}, d_{28}
Intersect(r_{35}, d_{13}) → A_{19}
Intersect(l_{24}, b_{13}) → B_{19}
Polygon(O_{18}, R_{12}, S_{12}, T_{12}, A_{19}, V_{12}, B_{19}, I_8) → poly17, o_1, r_{29}, s_{29}, t_{26}, a_{22}, v_{12}, b_{22}, i_{26}
Intersect(i_{24}, m_{13}) → C_{19}
Intersect(n_{24}, r_{13}) → D_{19}
Polygon(Q_{18}, Q_{12}, B_{19}, Z_{12}, C_{19}, K_{13}, D_{19}, B_8) → poly18, q_{23}, q_{26}, b_{29}, z_{12}, c_{27}, k_{29}, d_{29}, b_{30}
Intersect(j_{24}, b_{14}) → E_{19}
Intersect(r_{24}, t_{13}) → F_{19}
Polygon(G_6, N_{12}, D_{19}, N_{13}, E_{19}, P_{13}, F_{19}, G_7) → poly19, g_{29}, n_{29}, d_{30}, n_{30}, e_{30}, p_{29}, f_{27}, g_{30}
Intersect(k_{24}, f_{14}) → G_{19}
Intersect(p_{11}, h_{14}) → H_{19}
Polygon(I_5, K_{12}, F_{19}, Q_{13}, G_{19}, C_{14}, H_{19}, G_{11}) → poly20, i_{27}, k_{30}, f_{28}, q_{28}, g_{31}, c_{28}, h_{27}, g_{32}
Intersect(q_{18}, j_{14}) → I_{19}
Intersect(a_{25}, l_{14}) → J_{19}
Polygon(R_{18}, G_{12}, H_{19}, D_{14}, I_{19}, H_{14}, J_{19}, M_{11}) → poly21, r_{30}, g_{33}, h_{28}, d_{31}, i_{28}, h_{29}, j_{26}, m_{28}
Intersect(s_{22}, n_{14}) → K_{19}
Intersect(c_{25}, q_{14}) → L_{19}
Polygon(T_{18}, H_{12}, J_{19}, J_{14}, K_{19}, N_{14}, L_{19}, Q_{11}) → poly22, t_{28}, h_{30}, j_{27}, j_{28}, k_{31}, n_{31}, l_{33}, q_{29}
Intersect(a_{23}, a_{15}) → N_{19}
Intersect(e_{25}, s_{14}) → O_{19}
Polygon(V_{18}, I_{12}, L_{19}, Q_{14}, N_{19}, R_{14}, O_{19}, U_{11}) → poly23, v_1, i_{29}, l_{34}, q_{30}, n_{32}, r_{31}, o_{19}, u_{11}
Intersect(d_{23}, c_{15}) → P_{19}
Polygon(Z_{18}, M_{12}, O_{19}, S_{14}, P_{19}, A_{15}, B_{15}, C_{12}) → poly24, z_1, m_{29}, o_2, s_{30}, p_{30}, a_{24}, b_{31}, c_{29}
Polygon(A_{19}, C_{13}, D_{13}, E_{13}, F_{13}, G_{13}, H_{13}, B_{13}) → poly25, a_{29}, c_{30}, d_{32}, e_{31}, f_{29}, g_{34}, h_{31}, b_{32}
Intersect(f_{24}, h_{15}) → Q_{19}
Intersect(h_{24}, d_{14}) → R_{19}
Polygon(C_{19}, J_{13}, H_{13}, M_{13}, Q_{19}, T_{13}, R_{19}, L_{13}) → poly26, c_{31}, j_{29}, h_{32}, m_{30}, q_{31}, t_{29}, r_{32}, l_{36}
Intersect(f_{24}, j_{15}) → S_{19}
Intersect(s_{24}, l_{15}) → T_{19}
Polygon(E_{19}, R_{13}, R_{19}, U_{13}, S_{19}, H_{15}, T_{19}, S_{13}) → poly27, e_{32}, r_{33}, r_{36}, u_{13}, s_{31}, h_{33}, t_{30}, s_{32}
Intersect(s_{12}, n_{15}) → V_{19}
Intersect(g_{12}, p_{15}) → W_{19}
Polygon(G_{19}, A_{14}, T_{19}, I_{15}, V_{19}, K_{15}, W_{19}, Z_{13}) → poly28, g_{36}, a_{30}, t_{31}, i_{30}, v_{19}, k_{32}, w_{19}, z_{13}
Intersect(e_{11}, s_{15}) → Z_{19}
Intersect(p_{18}, a_{16}) → B_{20}
Polygon(I_{19}, G_{14}, W_{19}, N_{15}, Z_{19}, Q_{15}, B_{20}, E_{14}) → poly29, i_{31}, g_{37}, w_2, n_{33}, z_{19}, q_{32}, b_{33}, e_{33}
Intersect(d_{10}, c_{16}) → C_{20}
Intersect(r_{22}, e_{16}) → N_{20}
Polygon(K_{19}, M_{14}, B_{20}, R_{15}, C_{20}, A_{16}, N_{20}, K_{14}) → poly30, k_{33}, m_{31}, b_{34}, r_{37}, c_{32}, a_{31}, n_{36}, k_{34}
Intersect(c_{10}, g_{16}) → O_{20}
Intersect(t_{22}, i_{16}) → Q_{20}
Polygon(N_{19}, T_{14}, N_{20}, B_{16}, O_{20}, E_{16}, Q_{20}, V_{14}) → poly31, n_{37}, t_{32}, n_{38}, b_{37}, o_{20}, e_{34}, q_{33}, v_{14}
Intersect(b_{23}, k_{16}) → R_{20}
Polygon(P_{19}, Z_{14}, Q_{20}, F_{16}, R_{20}, K_{16}, C_{18}, W_{14}) → poly32, p_{31}, z_{14}, q_{36}, f_{30}, r_{38}, k_{36}, c_{33}, w_{14}
Polygon(F_{13}, W_{11}, E_{12}, L_{12}, U_{12}, I_{13}, W_{13}, V_{11}) → poly33, f_{31}, w_{11}, e_{36}, l_{37}, u_{12}, i_{32}, w_{13}, v_{11}
Intersect(d_{24}, d_{17}) → S_{20}
Polygon(Q_{19}, E_{15}, W_{13}, W_{16}, V_{16}, S_{16}, S_{20}, D_{15}) → poly34, q_{37}, e_{37}, w_3, w_{16}, v_{16}, s_{33}, s_{36}, d_{33}
Intersect(l_{19}, k_{17}) → T_{20}
Polygon(S_{19}, G_{15}, S_{20}, M_{15}, Z_{16}, D_{17}, T_{20}, F_{15}) → poly35, s_{37}, g_{38}, s_{40}, m_{32}, z_{16}, d_{34}, t_{33}, f_{32}
Intersect(f_{11}, p_{17}) → U_{20}
Polygon(V_{19}, J_{15}, T_{20}, E_{17}, F_{17}, G_{17}, U_{20}, L_{15}) → poly36, v_2, j_{30}, t_{36}, e_{38}, f_{33}, g_{39}, u_{20}, l_{38}
Polygon(Z_{19}, P_{15}, U_{20}, L_{17}, M_{17}, N_{17}, O_{17}, O_{15}) → poly37, z_2, p_{32}, u_2, l_{39}, m_{33}, n_{39}, o_{17}, o_{15}
Intersect(b_{11}, d_{18}) → W_{20}
Polygon(C_{20}, W_{15}, O_{17}, P_{17}, T_{17}, S_{17}, W_{20}, S_{15}) → poly38, c_{34}, w_{15}, o_3, p_{33}, t_{38}, s_{41}, w_{20}, s_{42}
Intersect(h_{22}, j_{18}) → Z_{20}
Polygon(O_{20}, D_{16}, W_{20}, R_{17}, U_{17}, V_{17}, Z_{20}, C_{16}) → poly39, o_4, d_{37}, w_4, r_{40}, u_{17}, v_{17}, z_{20}, c_{36}
Polygon(R_{20}, M_{16}, Z_{20}, W_{17}, Z_{17}, A_{18}, B_{18}, G_{16}) → poly40, r_{41}, m_{34}, z_3, w_{17}, z_{17}, a_{32}, b_{38}, g_{40}
Semicircle(P_{12}, G_7) → f_{34}
Semicircle(G_7, K_{12}) → h_{34}
Semicircle(K_{12}, E_{11}) → f_{36}
Semicircle(E_{11}, P_{12}) → p_{36}
Semicircle(C_9, G_6) → c_{37}
Semicircle(G_6, F_{19}) → f_{37}
Semicircle(F_{19}, I_5) → h_{37}
Semicircle(I_5, C_9) → k_{37}
Semicircle(K_2, C_9) → p_{37}
Semicircle(C_9, M_9) → c_{38}
Semicircle(M_9, G_9) → d_{38}
Semicircle(G_9, L_7) → f_{38}
Semicircle(F_{18}, K_2) → k_{38}
Semicircle(K_2, C_9) → p_{38}
Semicircle(C_9, E_{10}) → q_{38}
Semicircle(E_{10}, F_{18}) → c_{39}
Semicircle(K_7, M_9) → d_{39}
Semicircle(L_7, K_7) → e_{39}
Intersect(d_{38}, q_{38}, 1) → A_{21}
Intersect(f_{38}, c_{39}, 1) → B_{21}
Segment(A_{21}, B_{21}) → j_{31}
Point(e_{39}) → C_{21}
Segment(B_{21}, C_{21}) → j_{32}
Point(d_{39}) → D_{21}
Segment(C_{21}, D_{21}) → a_{33}
Segment(D_{21}, A_{21}) → i_{33}
Intersect(f_{34}, k_{37}, 1) → E_{21}
Intersect(h_{34}, c_{37}, 1) → F_{21}
Segment(E_{21}, F_{21}) → j_{33}
Intersect(f_{36}, f_{37}, 1) → H_{21}
Segment(F_{21}, H_{21}) → a_{34}
Intersect(p_{36}, h_{37}, 1) → I_{21}
Segment(H_{21}, I_{21}) → i_{34}
Segment(I_{21}, E_{21}) → j_{34}
Segment(E_{21}, D_{21}) → i_{36}
Semicircle(U_8, S_7) → f_{39}
Semicircle(S_7, P_7) → h_{39}
Semicircle(P_7, M_7) → k_{39}
Semicircle(M_7, U_8) → p_{39}
Semicircle(E_{18}, L_6) → t_{39}
Semicircle(L_6, P_5) → c_{40}
Semicircle(P_5, K_2) → d_{40}
Intersect(p_{39}, d_{40}, 1) → L_{21}
Semicircle(K_2, E_{18}) → e_{40}
Segment(B_{21}, F_{18}) → j_{36}
Segment(C_{21}, K_2) → m_{36}
Intersect(f_{39}, e_{40}, 1) → N_{21}
Segment(K_2, N_{21}) → a_{37}
Intersect(h_{39}, t_{39}, 1) → P_{21}
Segment(N_{21}, P_{21}) → i_{37}
Intersect(k_{39}, c_{40}, 1) → Q_{21}
Segment(P_{21}, Q_{21}) → j_{37}
Segment(L_{21}, Q_{21}) → m_{37}
Segment(R_{21}, T_{21}) → a_{38}
Segment(T_{21}, W_{21}) → i_{38}
Segment(W_{21}, Z_{21}) → j_{38}
Segment(Z_{21}, R_{21}) → m_{38}
Segment(R_{21}, G_{18}) → b_{39}
Segment(Z_{21}, E_{10}) → i_{39}
Segment(E_{10}, A_{21}) → j_{39}
Segment(P_5, Q_{21}) → m_{39}
Segment(N_{21}, E_{18}) → a_{40}
Segment(P_{21}, L_6) → b_{40}
Segment(A_{22}, B_{22}) → f_{40}
Point(g_{35}) → D_{22}
Segment(B_{22}, D_{22}) → h_{40}
Point(d_{35}) → E_{22}
Segment(A_{22}, E_{22}) → i_{40}
Segment(E_{18}, A_{22}) → j_{40}
Segment(B_{22}, R_8) → k_{40}
Segment(G_{22}, H_{22}) → l_{40}
Point(d_{35}) → I_{22}
Segment(H_{22}, I_{22}) → m_{40}
Segment(G_{22}, J_{22}) → n_{40}
Segment(G_{22}, F_{18}) → p_{40}
Segment(H_{22}, D_9) → q_{40}
Point(m_{25}) → L_{22}
Segment(K_{22}, L_{22}) → t_{40}
Segment(K_{22}, M_{22}) → a_{41}
Point(c_{35}) → N_{22}
Segment(M_{22}, N_{22}) → b_{41}
Segment(M_{22}, I_9) → c_{41}
Segment(K_{22}, G_{18}) → d_{41}
Segment(O_{22}, P_{22}) → e_{41}
Point(m_{25}) → Q_{22}
Segment(P_{22}, Q_{22}) → f_{41}
Point(q_{25}) → R_{22}
Segment(O_{22}, R_{22}) → g_{41}
Segment(S_{22}, O_{22}) → h_{41}
Segment(O_{22}, I_{18}) → i_{41}
Segment(P_{22}, S_9) → j_{41}
Segment(T_{22}, U_{22}) → k_{41}
Segment(U_{22}, V_{22}) → l_{41}
Segment(V_{22}, W_{22}) → m_{41}
Segment(W_{22}, T_{22}) → n_{41}
Segment(T_{22}, I_{18}) → p_{41}
Segment(J_{18}, W_{22}) → q_{41}
Segment(Z_{22}, A_9) → t_{41}
Segment(A_9, W_{21}) → a_{42}
Segment(A_{23}, Z_{22}) → b_{42}
Segment(Z_{22}, B_{23}) → c_{42}
Segment(B_{23}, C_{23}) → d_{42}
Segment(C_{23}, A_{23}) → e_{42}
Segment(A_{23}, R_{18}) → f_{42}
Segment(H_{19}, C_{23}) → g_{42}
Segment(B_{23}, I_5) → h_{42}
Segment(I_5, I_{21}) → i_{42}
Segment(F_{19}, H_{21}) → j_{42}
Segment(F_{21}, G_6) → k_{42}
Segment(D_{23}, P_5) → l_{42}
Segment(D_{23}, E_{23}) → m_{42}
Segment(E_{23}, F_{23}) → n_{42}
Segment(F_{23}, G_{23}) → p_{42}
Segment(G_{23}, D_{23}) → q_{42}
Segment(G_6, G_{23}) → r_{42}
Segment(D_{19}, F_{23}) → t_{42}
Segment(E_{23}, Q_{18}) → a_{43}
Segment(H_{23}, I_{23}) → b_{43}
Segment(I_{23}, J_{23}) → c_{43}
Segment(J_{23}, K_{23}) → d_{43}
Segment(L_6, K_{23}) → e_{43}
Segment(K_{23}, H_{23}) → f_{43}
Segment(H_{23}, N_{10}) → g_{43}
Segment(I_{23}, D_{18}) → i_{43}
Segment(P_{18}, J_{23}) → j_{43}
Segment(L_{23}, M_{23}) → k_{43}
Point(h_{35}) → N_{23}
Segment(M_{23}, N_{23}) → l_{43}
Point(g_{35}) → O_{23}
Segment(L_{23}, O_{23}) → m_{43}
Segment(N_{10}, L_{23}) → n_{43}
Segment(M_{23}, M_8) → p_{43}
Point(h_{35}) → Q_{23}
Segment(P_{23}, Q_{23}) → q_{43}
Point(i_{35}) → R_{23}
Segment(P_{23}, R_{23}) → r_{43}
Segment(S_{23}, D_{18}) → s_{43}
Point(i_{35}) → T_{23}
Segment(S_{23}, T_{23}) → t_{43}
Segment(U_{23}, S_{23}) → a_{44}
Point(l_{35}) → V_{23}
Segment(U_{23}, V_{23}) → b_{44}
Segment(U_{23}, C_8) → c_{44}
Point(l_{35}) → Z_{23}
Segment(W_{23}, Z_{23}) → d_{44}
Segment(A_{24}, W_{23}) → e_{44}
Point(s_{35}) → B_{24}
Segment(A_{24}, B_{24}) → f_{44}
Segment(A_{24}, S_{12}) → g_{44}
Segment(O_{18}, W_{23}) → h_{44}
Segment(C_{24}, O_{18}) → i_{44}
Segment(D_{24}, P_{18}) → j_{44}
Segment(Q_{18}, E_{24}) → k_{44}
Segment(F_{24}, B_{19}) → l_{44}
Segment(F_{24}, E_{24}) → m_{44}
Segment(E_{24}, D_{24}) → n_{44}
Segment(D_{24}, C_{24}) → p_{44}
Segment(C_{24}, F_{24}) → q_{44}
Segment(T_{21}, H_{18}) → r_{44}
Segment(H_{18}, U_{22}) → s_{44}
Segment(S_{18}, V_{22}) → t_{44}
Segment(G_{24}, H_{24}) → a_{45}
Point(a_{26}) → I_{24}
Segment(H_{24}, I_{24}) → b_{45}
Point(r_{25}) → J_{24}
Segment(J_{24}, G_{24}) → c_{45}
Segment(H_{24}, J_{18}) → d_{45}
Segment(G_{24}, K_{18}) → e_{45}
Segment(K_{24}, S_{18}) → f_{45}
Segment(L_{24}, K_{24}) → g_{45}
Segment(M_{24}, K_{24}) → h_{45}
Segment(N_{24}, M_{24}) → i_{45}
Segment(N_{24}, L_{24}) → j_{45}
Segment(L_{24}, R_{18}) → k_{45}
Segment(J_{19}, N_{24}) → l_{45}
Segment(T_{18}, M_{24}) → m_{45}
Segment(O_{24}, P_{24}) → n_{45}
Segment(O_{24}, T_{18}) → p_{45}
Segment(U_{18}, P_{24}) → q_{45}
Segment(Q_{24}, P_{24}) → r_{45}
Segment(R_{24}, Q_{24}) → s_{45}
Segment(R_{24}, O_{24}) → t_{45}
Segment(L_{19}, R_{24}) → a_{46}
Segment(Q_{24}, V_{18}) → b_{46}
Segment(S_{24}, V_{18}) → c_{46}
Segment(T_{24}, W_{18}) → d_{46}
Segment(U_{24}, Z_{18}) → e_{46}
Segment(Z_{18}, V_{24}) → f_{46}
Segment(W_{24}, O_{19}) → g_{46}
Segment(W_{24}, U_{24}) → h_{46}
Segment(U_{24}, T_{24}) → i_{46}
Segment(T_{24}, S_{24}) → j_{46}
Segment(S_{24}, W_{24}) → l_{46}
Point(q_{27}) → A_{25}
Segment(Z_{24}, A_{25}) → m_{46}
Segment(V_{24}, Z_{24}) → n_{46}
Point(f_{25}) → B_{25}
Segment(B_{25}, V_{24}) → p_{46}
Segment(Z_{24}, F_{12}) → q_{46}
Segment(C_{25}, Z_9) → r_{46}
Segment(D_{25}, C_{25}) → s_{46}
Point(q_{25}) → E_{25}
Segment(C_{25}, E_{25}) → t_{46}
Point(e_{26}) → F_{25}
Segment(D_{25}, F_{25}) → a_{47}
Segment(K_{18}, D_{25}) → b_{47}
Segment(G_{25}, P_{10}) → c_{47}
Segment(H_{25}, G_{25}) → d_{47}
Point(e_{26}) → I_{25}
Segment(G_{25}, I_{25}) → e_{47}
Point(t_{27}) → J_{25}
Segment(H_{25}, J_{25}) → f_{47}
Segment(K_{25}, M_{18}) → g_{47}
Segment(M_{18}, H_{25}) → h_{47}
Segment(L_{25}, N_{18}) → i_{47}
Segment(N_{18}, M_{25}) → j_{47}
Segment(N_{25}, J_{24}) → k_{47}
Segment(O_{25}, I_{24}) → l_{47}
Segment(O_{25}, N_{25}) → m_{47}
Segment(L_{18}, N_{25}) → n_{47}
Segment(L_{25}, P_{25}) → p_{47}
Segment(Q_{25}, K_{25}) → q_{47}
Segment(K_{25}, L_{25}) → r_{47}
Segment(P_{25}, Q_{25}) → s_{47}
Segment(W_{18}, P_{25}) → t_{47}
Segment(Q_{25}, L_{18}) → a_{48}
Segment(M_{25}, R_{25}) → b_{48}
Point(s_{27}) → S_{25}
Segment(R_{25}, S_{25}) → c_{48}
Point(q_{27}) → T_{25}
Segment(M_{25}, T_{25}) → d_{48}
Segment(R_{25}, B_{11}) → e_{48}
Point(t_{27}) → V_{25}
Segment(U_{25}, V_{25}) → f_{48}
Point(s_{27}) → W_{25}
Segment(U_{25}, W_{25}) → g_{48}
Segment(U_{25}, U_{10}) → h_{48}
Segment(Z_{25}, B_{19}) → j_{48}
Segment(A_{26}, Z_{25}) → k_{48}
Segment(B_{26}, Z_{25}) → l_{48}
Segment(C_{26}, B_{26}) → m_{48}
Segment(C_{26}, A_{26}) → n_{48}
Segment(A_{26}, A_{19}) → p_{48}
Segment(A_{19}, D_{26}) → q_{48}
Point(s_{35}) → E_{26}
Segment(D_{26}, E_{26}) → r_{48}
Segment(F_{26}, D_{13}) → s_{48}
Point(q_{35}) → G_{26}
Segment(F_{26}, G_{26}) → t_{48}
Segment(F_{26}, D_{26}) → a_{49}
Segment(H_{13}, C_{26}) → b_{49}
Segment(C_{19}, B_{26}) → c_{49}
Intersect(i_{24}, l_{24}) → H_{26}
Semicircle(H_{26}, H_7) → d_{49}
Semicircle(H_7, K_{20}) → e_{49}
Intersect(q_{35}, r_{35}) → I_{26}
Semicircle(I_{26}, H_{26}) → f_{49}
Semicircle(K_{20}, I_{26}) → g_{49}
Segment(O_{18}, J_{26}) → h_{49}
Point(e_{49}) → K_{26}
Segment(A_{19}, K_{26}) → i_{49}
Intersect(g_{49}, h_{49}, 1) → L_{26}
Segment(B_{19}, L_{26}) → j_{49}
Point(d_{49}) → M_{26}
Segment(S_{12}, M_{26}) → k_{49}
Segment(B_{19}, R_{12}) → l_{49}
Segment(A_{19}, I_8) → m_{49}
Segment(S_{12}, V_{12}) → n_{49}
Point(m_{49}) → O_{26}
Segment(S_{12}, O_{26}) → q_{49}
Point(m_{49}) → Q_{26}
Segment(S_{26}, D_{19}) → t_{49}
Segment(T_{26}, U_{26}) → a_{50}
Segment(T_{26}, S_{26}) → b_{50}
Segment(V_{26}, U_{26}) → c_{50}
Segment(E_{19}, V_{26}) → d_{50}
Segment(V_{26}, S_{26}) → e_{50}
Segment(R_{19}, U_{26}) → f_{50}
Segment(T_{26}, C_{19}) → g_{50}
Intersect(k_6, c_{13}) → Z_{26}
Line(O_{18}, Z_{26}) → i_{50}
Intersect(i_{50}, b_{13}) → A_{27}
Line(B_{19}, A_{27}) → j_{50}
Intersect(j_{50}, d_{13}) → B_{27}
Line(A_{19}, B_{27}) → l_{50}
Intersect(q_{12}, t_{12}) → C_{27}
Line(S_{12}, C_{27}) → m_{50}
Intersect(i_{50}, m_{50}) → D_{27}
Segment(C_{27}, D_{27}) → n_{50}
Segment(D_{27}, A_{27}) → p_{50}
Segment(A_{27}, B_{27}) → q_{50}
Intersect(l_{50}, m_{50}) → E_{27}
Segment(B_{27}, E_{27}) → r_{50}
Segment(E_{27}, C_{27}) → s_{50}
Segment(D_{27}, O_{18}) → p_{49}
Segment(B_{27}, A_{19}) → r_{49}
Segment(E_{27}, S_{12}) → s_{49}
Segment(A_{27}, B_{19}) → h_{50}
Line(B_{19}, Q_{12}) → t_{50}
Line(Q_{18}, B_8) → a_{51}
Line(K_{13}, D_{19}) → b_{51}
Line(C_{19}, Z_{12}) → c_{51}
Intersect(t_{50}, c_{51}) → N_{26}
Intersect(t_{50}, a_{51}) → P_{26}
Segment(N_{26}, P_{26}) → d_{51}
Intersect(a_{51}, b_{51}) → R_{26}
Segment(P_{26}, R_{26}) → e_{51}
Intersect(b_{51}, c_{51}) → W_{26}
Segment(R_{26}, W_{26}) → f_{51}
Segment(W_{26}, N_{26}) → g_{51}
Segment(N_{26}, B_{19}) → h_{51}
Segment(P_{26}, Q_{18}) → i_{51}
Segment(W_{26}, C_{19}) → j_{51}
Line(G_6, G_7) → k_{51}
Line(F_{19}, P_{13}) → l_{51}
Line(E_{19}, N_{13}) → m_{51}
Line(N_{12}, D_{19}) → n_{51}
Intersect(k_{51}, n_{51}) → F_{27}
Intersect(m_{51}, n_{51}) → G_{27}
Segment(F_{27}, G_{27}) → p_{51}
Intersect(l_{51}, m_{51}) → H_{27}
Segment(G_{27}, H_{27}) → q_{51}
Intersect(k_{51}, l_{51}) → I_{27}
Segment(H_{27}, I_{27}) → r_{51}
Segment(I_{27}, F_{27}) → s_{51}
Segment(F_{27}, G_6) → t_{51}
Segment(G_{27}, D_{19}) → a_{52}
Segment(E_{19}, H_{27}) → b_{52}
Point(l_{51}) → J_{27}
Line(C_{19}, L_{13}) → c_{52}
Line(R_{19}, T_{13}) → d_{52}
Line(Q_{19}, M_{13}) → e_{52}
Line(H_{13}, J_{13}) → f_{52}
Intersect(e_{52}, f_{52}) → K_{27}
Intersect(c_{52}, f_{52}) → L_{27}
Segment(K_{27}, L_{27}) → g_{52}
Segment(L_{27}, C_{19}) → h_{52}
Intersect(c_{52}, d_{52}) → M_{27}
Segment(L_{27}, M_{27}) → i_{52}
Intersect(d_{52}, e_{52}) → N_{27}
Segment(M_{27}, N_{27}) → k_{52}
Segment(N_{27}, Q_{19}) → l_{52}
Segment(N_{27}, K_{27}) → m_{52}
Segment(O_{27}, P_{27}) → n_{52}
Segment(Q_{27}, O_{27}) → p_{52}
Segment(R_{27}, Q_{27}) → q_{52}
Segment(R_{27}, P_{27}) → r_{52}
Segment(P_{27}, Q_{19}) → s_{52}
Segment(Q_{19}, S_{27}) → t_{52}
Segment(S_{27}, T_{27}) → a_{53}
Segment(T_{27}, U_{27}) → b_{53}
Segment(U_{27}, V_{27}) → c_{53}
Segment(V_{27}, S_{27}) → d_{53}
Segment(T_{27}, H_{13}) → e_{53}
Segment(U_{27}, F_{13}) → f_{53}
Segment(W_{13}, V_{27}) → g_{53}
Segment(O_{27}, R_{19}) → h_{53}
Segment(S_{19}, Q_{27}) → i_{53}
Segment(S_{20}, R_{27}) → j_{53}
Line(A_{19}, B_{13}) → k_{53}
Line(H_{13}, G_{13}) → l_{53}
Line(F_{13}, E_{13}) → m_{53}
Line(D_{13}, C_{13}) → n_{53}
Intersect(m_{53}, n_{53}) → W_{27}
Intersect(k_{53}, n_{53}) → Z_{27}
Segment(W_{27}, Z_{27}) → p_{53}
Segment(Z_{27}, A_{19}) → q_{53}
Intersect(k_{53}, l_{53}) → A_{28}
Segment(Z_{27}, A_{28}) → r_{53}
Intersect(l_{53}, m_{53}) → B_{28}
Segment(A_{28}, B_{28}) → s_{53}
Segment(B_{28}, W_{27}) → t_{53}
Segment(W_{27}, F_{13}) → a_{54}
Segment(D_{13}, W_{27}) → b_{54}
Segment(F_{13}, C_{28}) → c_{54}
Point(q_{35}) → D_{28}
Segment(D_{28}, C_{28}) → d_{54}
Segment(C_{28}, E_{28}) → e_{54}
Point(r_{39}) → F_{28}
Segment(E_{28}, F_{28}) → f_{54}
Segment(E_{28}, E_{12}) → g_{54}
Segment(G_{28}, G_{19}) → h_{54}
Segment(G_{28}, H_{28}) → i_{54}
Segment(H_{28}, I_{28}) → j_{54}
Segment(I_{28}, E_{19}) → k_{54}
Segment(I_{28}, J_{28}) → l_{54}
Segment(J_{28}, G_{28}) → m_{54}
Segment(T_{19}, J_{28}) → n_{54}
Segment(H_{28}, F_{19}) → p_{54}
Line(E_{19}, S_{13}) → q_{54}
Line(R_{19}, R_{13}) → r_{54}
Line(S_{19}, U_{13}) → s_{54}
Line(T_{19}, H_{15}) → t_{54}
Intersect(r_{54}, s_{54}) → K_{28}
Intersect(q_{54}, r_{54}) → L_{28}
Segment(K_{28}, L_{28}) → a_{55}
Intersect(q_{54}, t_{54}) → M_{28}
Segment(L_{28}, M_{28}) → b_{55}
Intersect(s_{54}, t_{54}) → N_{28}
Segment(M_{28}, N_{28}) → c_{55}
Segment(N_{28}, K_{28}) → d_{55}
Segment(L_{28}, E_{19}) → e_{55}
Segment(M_{28}, T_{19}) → f_{55}
Segment(S_{19}, N_{28}) → g_{55}
Segment(K_{28}, R_{19}) → h_{55}
Segment(R_{19}, M_{27}) → i_{55}
Segment(K_{27}, H_{13}) → j_{55}
Segment(H_{13}, A_{28}) → k_{55}
Line(V_{10}, U_{10}) → l_{55}
Line(B_{11}, W_{10}) → m_{55}
Line(N_{18}, C_{11}) → n_{55}
Line(T_{10}, M_{18}) → p_{55}
Line(L_{18}, L_{10}) → q_{55}
Line(K_{18}, D_{10}) → r_{55}
Line(P_{10}, Q_{10}) → s_{55}
Line(F_{12}, D_{12}) → t_{55}
Line(Z_{18}, B_{12}) → a_{56}
Line(W_{18}, A_{12}) → b_{56}
Intersect(a_{56}, b_{56}) → O_{28}
Intersect(n_{55}, b_{56}) → P_{28}
Segment(O_{28}, P_{28}) → c_{56}
Segment(P_{28}, N_{18}) → d_{56}
Intersect(n_{55}, t_{55}) → Q_{28}
Segment(P_{28}, Q_{28}) → e_{56}
Intersect(t_{55}, a_{56}) → R_{28}
Segment(Q_{28}, R_{28}) → f_{56}
Segment(R_{28}, Z_{18}) → g_{56}
Segment(R_{28}, O_{28}) → h_{56}
Segment(O_{28}, W_{18}) → i_{56}
Intersect(q_{55}, b_{56}) → S_{28}
Segment(W_{18}, S_{28}) → j_{56}
Line(U_{18}, S_{11}) → k_{56}
Line(V_{18}, T_{11}) → l_{56}
Intersect(q_{55}, k_{56}) → T_{28}
Segment(T_{28}, L_{18}) → m_{56}
Intersect(p_{55}, q_{55}) → U_{28}
Segment(L_{18}, U_{28}) → n_{56}
Intersect(p_{55}, s_{55}) → V_{28}
Segment(U_{28}, V_{28}) → p_{56}
Intersect(q_{55}, r_{55}) → W_{28}
Segment(U_{28}, W_{28}) → q_{56}
Intersect(r_{55}, s_{55}) → Z_{28}
Segment(V_{28}, Z_{28}) → r_{56}
Segment(Z_{28}, P_{10}) → s_{56}
Segment(Z_{28}, W_{28}) → t_{56}
Segment(W_{28}, K_{18}) → a_{57}
Intersect(l_{55}, p_{55}) → A_{29}
Segment(U_{10}, A_{29}) → b_{57}
Intersect(l_{55}, m_{55}) → B_{29}
Segment(A_{29}, B_{29}) → c_{57}
Segment(B_{29}, B_{11}) → d_{57}
Intersect(m_{55}, n_{55}) → C_{29}
Segment(B_{29}, C_{29}) → e_{57}
Intersect(n_{55}, p_{55}) → D_{29}
Segment(C_{29}, D_{29}) → f_{57}
Segment(D_{29}, A_{29}) → g_{57}
Segment(D_{29}, M_{18}) → h_{57}
Segment(M_{18}, V_{28}) → i_{57}
Segment(N_{18}, C_{29}) → j_{57}
Segment(S_{28}, T_{28}) → k_{57}
Intersect(k_{56}, l_{56}) → E_{29}
Segment(T_{28}, E_{29}) → l_{57}
Intersect(b_{56}, l_{56}) → F_{29}
Segment(E_{29}, F_{29}) → m_{57}
Segment(F_{29}, V_{18}) → n_{57}
Segment(E_{29}, U_{18}) → p_{57}
Segment(F_{29}, S_{28}) → q_{57}
Line(H_{18}, R_9) → r_{57}
Line(S_{18}, N_{11}) → s_{57}
Line(R_{18}, L_{11}) → t_{57}
Line(A_9, I_{11}) → a_{58}
Line(E_{10}, N_9) → b_{58}
Line(I_5, E_{11}) → c_{58}
Line(C_9, K_7) → d_{58}
Intersect(c_{58}, d_{58}) → G_{29}
Intersect(b_{58}, d_{58}) → H_{29}
Segment(G_{29}, H_{29}) → e_{58}
Segment(H_{29}, E_{10}) → f_{58}
Intersect(a_{58}, b_{58}) → I_{29}
Segment(H_{29}, I_{29}) → g_{58}
Intersect(a_{58}, c_{58}) → J_{29}
Segment(I_{29}, J_{29}) → h_{58}
Segment(J_{29}, I_5) → i_{58}
Segment(J_{29}, G_{29}) → j_{58}
Intersect(r_{57}, s_{57}) → K_{29}
Intersect(r_{57}, a_{58}) → L_{29}
Segment(K_{29}, L_{29}) → k_{58}
Intersect(t_{57}, a_{58}) → M_{29}
Segment(L_{29}, M_{29}) → l_{58}
Intersect(s_{57}, t_{57}) → N_{29}
Segment(M_{29}, N_{29}) → m_{58}
Segment(N_{29}, K_{29}) → n_{58}
Segment(L_{29}, H_{18}) → p_{58}
Segment(R_{18}, N_{29}) → q_{58}
Segment(M_{29}, A_9) → r_{58}
Segment(A_9, I_{29}) → s_{58}
Segment(S_{18}, K_{29}) → t_{58}
Line(J_{18}, I_{10}) → a_{59}
Line(U_{18}, R_{11}) → b_{59}
Line(T_{18}, P_{11}) → c_{59}
Intersect(s_{57}, c_{59}) → O_{29}
Intersect(s_{57}, a_{59}) → P_{29}
Segment(O_{29}, P_{29}) → d_{59}
Segment(P_{29}, J_{18}) → e_{59}
Intersect(a_{59}, b_{59}) → Q_{29}
Segment(P_{29}, Q_{29}) → f_{59}
Intersect(b_{59}, c_{59}) → R_{29}
Segment(Q_{29}, R_{29}) → g_{59}
Segment(R_{29}, T_{18}) → h_{59}
Segment(R_{29}, O_{29}) → i_{59}
Segment(O_{29}, S_{18}) → j_{59}
OrthogonalLine(C_{10}, a_{59}) → k_{59}
OrthogonalLine(B_{10}, e_9) → l_{59}
OrthogonalLine(W_9, d_9) → m_{59}
Intersect(a_{59}, m_{59}) → S_{29}
Segment(S_{29}, I_{18}) → n_{59}
Intersect(l_{59}, m_{59}) → T_{29}
Segment(S_{29}, T_{29}) → p_{59}
Intersect(k_{59}, l_{59}) → U_{29}
Segment(T_{29}, U_{29}) → q_{59}
Intersect(a_{59}, k_{59}) → V_{29}
Segment(U_{29}, V_{29}) → r_{59}
Segment(V_{29}, S_{29}) → s_{59}
Segment(V_{29}, J_{18}) → t_{59}
Segment(U_{29}, K_{18}) → a_{60}
Segment(T_{29}, Z_9) → b_{60}
OrthogonalLine(J_9, a_8) → c_{60}
OrthogonalLine(L_9, c_{60}) → d_{60}
OrthogonalLine(M_9, d_{60}) → e_{60}
Intersect(e_{60}, t_6) → W_{29}
OrthogonalLine(W_{29}, e_{60}) → f_{60}
OrthogonalLine(W_{29}, t_6) → g_{60}
Segment(F_{18}, W_{29}) → h_{60}
Intersect(c_{60}, f_{60}) → Z_{29}
Segment(W_{29}, Z_{29}) → i_{60}
Segment(Z_{29}, I_9) → j_{60}
Segment(I_9, J_{22}) → k_{60}
Intersect(c_{60}, d_{60}) → A_{30}
Segment(Z_{29}, A_{30}) → l_{60}
Intersect(d_{60}, e_{60}) → B_{30}
Segment(A_{30}, B_{30}) → m_{60}
Segment(B_{30}, W_{29}) → n_{60}
Segment(E_{10}, B_{30}) → p_{60}
Point(g_{60}) → C_{30}
OrthogonalLine(S_9, d_{60}) → q_{60}
OrthogonalLine(H_{18}, m_{59}) → r_{60}
Intersect(d_{60}, r_{60}) → D_{30}
Segment(G_{18}, D_{30}) → s_{60}
Intersect(d_{60}, q_{60}) → E_{30}
Segment(D_{30}, E_{30}) → t_{60}
Segment(E_{30}, S_9) → a_{61}
Segment(S_9, L_{22}) → b_{61}
Intersect(m_{59}, q_{60}) → F_{30}
Segment(E_{30}, F_{30}) → c_{61}
Intersect(m_{59}, r_{60}) → G_{30}
Segment(F_{30}, G_{30}) → d_{61}
Segment(G_{30}, D_{30}) → e_{61}
Segment(G_{30}, H_{18}) → f_{61}
Segment(G_{18}, A_{30}) → g_{61}
Segment(U_{18}, O_{25}) → h_{61}
OrthogonalLine(E_9, t_6) → i_{61}
OrthogonalLine(M_7, r_6) → j_{61}
OrthogonalLine(V_8, j_{61}) → k_{61}
OrthogonalLine(G_9, k_2) → l_{61}
Intersect(j_{61}, k_{61}) → H_{30}
Intersect(i_{61}, k_{61}) → I_{30}
Segment(H_{30}, I_{30}) → m_{61}
Segment(I_{30}, D_9) → n_{61}
Intersect(i_{61}, l_{61}) → J_{30}
Segment(I_{30}, J_{30}) → p_{61}
Intersect(j_{61}, l_{61}) → K_{30}
Segment(J_{30}, K_{30}) → q_{61}
Segment(K_{30}, K_2) → r_{61}
Segment(K_{30}, H_{30}) → s_{61}
Segment(H_{30}, E_{18}) → t_{61}
OrthogonalLine(N_8, n_6) → a_{62}
OrthogonalLine(O_8, a_{62}) → b_{62}
OrthogonalLine(F_8, b_{62}) → c_{62}
OrthogonalLine(K_8, c_{62}) → d_{62}
Intersect(a_{62}, d_{62}) → L_{30}
Segment(M_8, L_{30}) → e_{62}
Intersect(c_{62}, d_{62}) → M_{30}
Segment(L_{30}, M_{30}) → f_{62}
Segment(M_{30}, J_8) → g_{62}
Intersect(b_{62}, c_{62}) → N_{30}
Segment(D_{18}, N_{30}) → h_{62}
Segment(N_{30}, M_{30}) → i_{62}
Intersect(a_{62}, b_{62}) → O_{30}
Segment(N_{30}, O_{30}) → j_{62}
Segment(O_{30}, N_{10}) → k_{62}
Segment(O_{30}, L_{30}) → l_{62}
OrthogonalLine(R_8, b_{62}) → m_{62}
OrthogonalLine(U_8, m_{62}) → n_{62}
OrthogonalLine(R_7, n_{62}) → p_{62}
Intersect(b_{62}, p_{62}) → P_{30}
Segment(P_{30}, N_{10}) → q_{62}
Intersect(b_{62}, m_{62}) → Q_{30}
Segment(P_{30}, Q_{30}) → r_{62}
Segment(Q_{30}, R_8) → s_{62}
Intersect(m_{62}, n_{62}) → R_{30}
Segment(Q_{30}, R_{30}) → t_{62}
Segment(R_{30}, E_{18}) → a_{63}
Intersect(n_{62}, p_{62}) → S_{30}
Segment(R_{30}, S_{30}) → b_{63}
Segment(S_{30}, L_6) → c_{63}
Segment(S_{30}, P_{30}) → d_{63}
OrthogonalLine(H_8, b_3) → e_{63}
OrthogonalLine(E_8, e_{63}) → f_{63}
OrthogonalLine(W_7, c_{62}) → g_{63}
Intersect(c_{62}, g_{63}) → T_{30}
Segment(T_{30}, P_{18}) → h_{63}
Intersect(c_{62}, f_{63}) → U_{30}
Segment(T_{30}, U_{30}) → i_{63}
Intersect(e_{63}, f_{63}) → V_{30}
Segment(U_{30}, V_{30}) → j_{63}
Segment(V_{30}, C_8) → k_{63}
Intersect(e_{63}, g_{63}) → W_{30}
Segment(V_{30}, W_{30}) → l_{63}
Segment(W_{30}, T_{30}) → m_{63}
Segment(U_{30}, D_{18}) → n_{63}
Segment(O_{18}, W_{30}) → p_{63}
OrthogonalLine(N_7, p_{62}) → q_{63}
OrthogonalLine(Z_7, q_{63}) → r_{63}
Intersect(g_{63}, r_{63}) → Z_{30}
Segment(Z_{30}, P_{18}) → s_{63}
Intersect(p_{62}, g_{63}) → A_{31}
Segment(Z_{30}, A_{31}) → t_{63}
Segment(A_{31}, L_6) → a_{64}
Intersect(p_{62}, q_{63}) → B_{31}
Segment(A_{31}, B_{31}) → b_{64}
Intersect(q_{63}, r_{63}) → C_{31}
Segment(B_{31}, C_{31}) → c_{64}
Segment(C_{31}, Q_{18}) → d_{64}
Segment(C_{31}, Z_{30}) → e_{64}
OrthogonalLine(L_7, q_{63}) → f_{64}
OrthogonalLine(P_{12}, f_{64}) → g_{64}
OrthogonalLine(M_2, g_{64}) → h_{64}
Segment(B_{31}, P_5) → i_{64}
Intersect(q_{63}, h_{64}) → D_{31}
Segment(P_5, D_{31}) → j_{64}
Intersect(q_{63}, f_{64}) → E_{31}
Segment(D_{31}, E_{31}) → k_{64}
Segment(E_{31}, K_2) → l_{64}
Intersect(f_{64}, g_{64}) → F_{31}
Segment(E_{31}, F_{31}) → m_{64}
Intersect(g_{64}, h_{64}) → G_{31}
Segment(F_{31}, G_{31}) → n_{64}
Segment(G_{31}, G_6) → p_{64}
Segment(G_{31}, D_{31}) → q_{64}
OrthogonalLine(M_{11}, l_{14}) → r_{64}
OrthogonalLine(D_{14}, l_{14}) → s_{64}
OrthogonalLine(G_{12}, s_{64}) → t_{64}
OrthogonalLine(H_{14}, p_9) → a_{65}
Intersect(s_{64}, t_{64}) → H_{31}
Intersect(r_{64}, t_{64}) → I_{31}
Segment(H_{31}, I_{31}) → b_{65}
Intersect(r_{64}, a_{65}) → J_{31}
Segment(I_{31}, J_{31}) → c_{65}
Intersect(s_{64}, a_{65}) → K_{31}
Segment(J_{31}, K_{31}) → d_{65}
Segment(K_{31}, H_{31}) → e_{65}
Segment(H_{31}, H_{19}) → f_{65}
Segment(I_{31}, R_{18}) → g_{65}
Segment(K_{31}, I_{19}) → h_{65}
Segment(J_{31}, J_{19}) → i_{65}
OrthogonalLine(G_{11}, h_{14}) → j_{65}
OrthogonalLine(K_{12}, m_9) → k_{65}
OrthogonalLine(Q_{13}, t_{64}) → l_{65}
Segment(I_{27}, F_{19}) → m_{65}
Intersect(k_{65}, l_{65}) → L_{31}
Segment(F_{19}, L_{31}) → n_{65}
Intersect(j_{65}, k_{65}) → M_{31}
Segment(L_{31}, M_{31}) → p_{65}
Segment(M_{31}, I_5) → q_{65}
Intersect(t_{64}, j_{65}) → N_{31}
Segment(N_{31}, M_{31}) → r_{65}
Segment(H_{19}, N_{31}) → s_{65}
Intersect(t_{64}, l_{65}) → O_{31}
Segment(N_{31}, O_{31}) → t_{65}
Segment(O_{31}, G_{19}) → a_{66}
Segment(O_{31}, L_{31}) → b_{66}
OrthogonalLine(Q_{11}, a_{65}) → c_{66}
OrthogonalLine(J_{14}, q_{14}) → d_{66}
OrthogonalLine(N_{14}, c_{66}) → e_{66}
Intersect(a_{65}, d_{66}) → P_{31}
Segment(J_{19}, P_{31}) → f_{66}
Intersect(a_{65}, c_{66}) → Q_{31}
Segment(Q_{31}, T_{18}) → g_{66}
Segment(Q_{31}, P_{31}) → h_{66}
Intersect(d_{66}, e_{66}) → R_{31}
Segment(P_{31}, R_{31}) → i_{66}
Intersect(c_{66}, e_{66}) → S_{31}
Segment(R_{31}, S_{31}) → j_{66}
Segment(S_{31}, Q_{31}) → k_{66}
Segment(L_{19}, S_{31}) → l_{66}
Segment(K_{19}, R_{31}) → m_{66}
OrthogonalLine(V_{18}, e_{66}) → n_{66}
OrthogonalLine(R_{14}, n_{66}) → p_{66}
OrthogonalLine(Q_{14}, p_{66}) → q_{66}
Intersect(e_{66}, q_{66}) → T_{31}
Segment(L_{19}, T_{31}) → r_{66}
Intersect(e_{66}, n_{66}) → U_{31}
Segment(T_{31}, U_{31}) → t_{66}
Segment(U_{31}, V_{18}) → a_{67}
Intersect(n_{66}, p_{66}) → V_{31}
Segment(U_{31}, V_{31}) → b_{67}
Intersect(p_{66}, q_{66}) → W_{31}
Segment(V_{31}, W_{31}) → c_{67}
Segment(W_{31}, T_{31}) → d_{67}
Segment(N_{19}, W_{31}) → e_{67}
Segment(V_{31}, O_{19}) → f_{67}
OrthogonalLine(C_{12}, p_{66}) → g_{67}
OrthogonalLine(S_{14}, f_{15}) → h_{67}
OrthogonalLine(A_{15}, c_{15}) → i_{67}
Intersect(p_{66}, h_{67}) → Z_{31}
Segment(O_{19}, Z_{31}) → j_{67}
Intersect(p_{66}, g_{67}) → A_{32}
Segment(Z_{31}, A_{32}) → k_{67}
Segment(A_{32}, Z_{18}) → l_{67}
Intersect(g_{67}, i_{67}) → B_{32}
Segment(A_{32}, B_{32}) → m_{67}
Intersect(h_{67}, i_{67}) → C_{32}
Segment(B_{32}, C_{32}) → n_{67}
Segment(C_{32}, Z_{31}) → p_{67}
Segment(P_{19}, C_{32}) → q_{67}
Segment(D_{32}, J_{19}) → r_{67}
Segment(E_{32}, D_{32}) → s_{67}
Segment(D_{32}, F_{32}) → t_{67}
Segment(F_{32}, I_{19}) → a_{68}
Segment(I_{19}, G_{32}) → b_{68}
Segment(G_{32}, H_{32}) → c_{68}
Segment(I_{32}, B_{20}) → d_{68}
Segment(I_{32}, F_{32}) → e_{68}
Segment(I_{32}, E_{32}) → f_{68}
Segment(E_{32}, K_{19}) → g_{68}
Segment(K_{19}, J_{32}) → h_{68}
Segment(J_{32}, K_{32}) → i_{68}
Segment(K_{32}, L_{19}) → j_{68}
Segment(L_{32}, K_{32}) → k_{68}
Segment(N_{20}, M_{32}) → l_{68}
Segment(M_{32}, J_{32}) → m_{68}
Segment(M_{32}, L_{32}) → n_{68}
Segment(L_{32}, N_{19}) → p_{68}
Segment(N_{32}, N_{19}) → q_{68}
Segment(O_{32}, O_{19}) → r_{68}
Segment(O_{32}, N_{32}) → s_{68}
Segment(P_{32}, O_{32}) → t_{68}
Segment(Q_{32}, P_{32}) → a_{69}
Segment(Q_{32}, N_{32}) → b_{69}
Segment(Q_{20}, Q_{32}) → c_{69}
Segment(P_{19}, P_{32}) → d_{69}
Segment(R_{32}, B_{15}) → e_{69}
Point(f_{25}) → S_{32}
Segment(R_{32}, S_{32}) → f_{69}
Segment(R_{32}, T_{32}) → g_{69}
Segment(T_{32}, P_{19}) → h_{69}
Point(c_{23}) → U_{32}
Segment(T_{32}, U_{32}) → i_{69}
Segment(G_{32}, V_{32}) → j_{69}
Segment(V_{32}, H_{19}) → k_{69}
Segment(V_{32}, W_{32}) → l_{69}
Segment(W_{32}, G_{19}) → m_{69}
Segment(W_{32}, H_{32}) → n_{69}
Segment(H_{32}, W_{19}) → p_{69}
Segment(Z_{32}, T_{19}) → q_{69}
Segment(A_{33}, Z_{32}) → r_{69}
Segment(Z_{32}, B_{33}) → s_{69}
Segment(B_{33}, C_{33}) → t_{69}
Segment(C_{33}, T_{20}) → a_{70}
Segment(C_{33}, A_{33}) → b_{70}
Segment(A_{33}, V_{19}) → c_{70}
Segment(B_{33}, S_{19}) → d_{70}
Segment(D_{33}, V_{19}) → e_{70}
Segment(E_{33}, D_{33}) → f_{70}
Segment(F_{33}, E_{33}) → g_{70}
Segment(G_{33}, F_{33}) → h_{70}
Segment(U_{20}, G_{33}) → i_{70}
Segment(G_{33}, D_{33}) → j_{70}
Segment(E_{33}, W_{19}) → k_{70}
Segment(F_{33}, Z_{19}) → l_{70}
Segment(H_{33}, B_{20}) → m_{70}
Segment(I_{33}, Z_{19}) → n_{70}
Segment(I_{33}, H_{33}) → p_{70}
Segment(J_{33}, H_{33}) → q_{70}
Segment(K_{33}, I_{33}) → r_{70}
Segment(O_{17}, K_{33}) → s_{70}
Segment(C_{20}, J_{33}) → t_{70}
Segment(J_{33}, K_{33}) → a_{71}
Segment(L_{33}, C_{20}) → b_{71}
Segment(M_{33}, L_{33}) → c_{71}
Point(r_{22}) → N_{33}
Segment(M_{33}, N_{33}) → d_{71}
Point(b_{11}) → O_{33}
Segment(O_{33}, L_{33}) → e_{71}
Segment(P_{33}, N_{33}) → f_{71}
Segment(Q_{33}, O_{33}) → g_{71}
Segment(Q_{33}, P_{33}) → h_{71}
Segment(W_{20}, Q_{33}) → i_{71}
Segment(P_{33}, O_{20}) → j_{71}
Segment(M_{33}, N_{20}) → k_{71}
Segment(R_{33}, S_{33}) → l_{71}
Segment(S_{33}, Q_{20}) → m_{71}
Segment(R_{33}, O_{20}) → n_{71}
Segment(T_{33}, R_{33}) → p_{71}
Segment(T_{33}, U_{33}) → q_{71}
Segment(U_{33}, S_{33}) → r_{71}
Segment(R_{20}, U_{33}) → s_{71}
Segment(Z_{20}, T_{33}) → t_{71}
Segment(V_{33}, R_{20}) → a_{72}
Segment(V_{33}, W_{33}) → b_{72}
Point(c_{23}) → Z_{33}
Segment(W_{33}, Z_{33}) → c_{72}
Point(f_{23}) → A_{34}
Segment(A_{34}, V_{33}) → d_{72}
Segment(W_{33}, C_{18}) → e_{72}
Segment(B_{34}, Z_{20}) → f_{72}
Segment(B_{34}, C_{34}) → g_{72}
Point(e_{23}) → D_{34}
Segment(C_{34}, D_{34}) → h_{72}
Segment(C_{34}, Z_{17}) → i_{72}
Point(g_{22}) → E_{34}
Segment(B_{34}, E_{34}) → j_{72}
Segment(F_{34}, B_{18}) → k_{72}
Point(e_{23}) → G_{34}
Segment(F_{34}, G_{34}) → l_{72}
Point(f_{23}) → H_{34}
Segment(F_{34}, H_{34}) → m_{72}
Segment(I_{34}, W_{20}) → n_{72}
Segment(J_{34}, I_{34}) → p_{72}
Segment(J_{34}, U_{17}) → q_{72}
Point(d_{11}) → K_{34}
Segment(K_{34}, I_{34}) → r_{72}
Segment(L_{34}, O_{17}) → s_{72}
Segment(L_{34}, M_{34}) → t_{72}
Point(d_{11}) → N_{34}
Segment(M_{34}, N_{34}) → a_{73}
Segment(M_{34}, T_{17}) → b_{73}
Point(g_{11}) → O_{34}
Segment(L_{34}, O_{34}) → c_{73}
Segment(P_{34}, U_{20}) → d_{73}
Segment(Q_{34}, M_{17}) → e_{73}
Point(g_{11}) → R_{34}
Segment(Q_{34}, R_{34}) → f_{73}
Segment(Q_{34}, P_{34}) → g_{73}
Point(k_{19}) → S_{34}
Segment(P_{34}, S_{34}) → h_{73}
Segment(T_{34}, T_{20}) → i_{73}
Segment(U_{34}, T_{34}) → j_{73}
Point(j_{19}) → V_{34}
Segment(T_{34}, V_{34}) → k_{73}
Point(k_{19}) → W_{34}
Segment(W_{34}, U_{34}) → l_{73}
Segment(U_{34}, F_{17}) → m_{73}
Segment(Z_{34}, S_{20}) → n_{73}
Segment(A_{35}, Z_{16}) → p_{73}
Segment(A_{35}, Z_{34}) → q_{73}
Point(b_{24}) → B_{35}
Segment(Z_{34}, B_{35}) → r_{73}
Point(j_{19}) → C_{35}
Segment(C_{35}, A_{35}) → s_{73}
Segment(D_{35}, W_{13}) → t_{73}
Segment(E_{35}, V_{16}) → a_{74}
Point(b_{24}) → F_{35}
Segment(E_{35}, F_{35}) → b_{74}
Segment(E_{35}, D_{35}) → c_{74}
Point(s_{39}) → G_{35}
Segment(D_{35}, G_{35}) → d_{74}
Segment(H_{35}, U_{12}) → e_{74}
Point(r_{39}) → I_{35}
Segment(H_{35}, I_{35}) → f_{74}
Point(s_{39}) → J_{35}
Segment(H_{35}, J_{35}) → g_{74}
OrthogonalLine(V_{11}, a_{17}) → h_{74}
OrthogonalLine(I_{13}, h_{74}) → i_{74}
OrthogonalLine(L_{12}, i_{74}) → j_{74}
OrthogonalLine(T_{22}, j_{74}) → k_{74}
Intersect(j_{74}, p_{16}) → K_{35}
Segment(E_{12}, K_{35}) → l_{74}
Intersect(i_{74}, j_{74}) → L_{35}
Segment(K_{35}, L_{35}) → m_{74}
Segment(L_{35}, U_{12}) → n_{74}
Intersect(h_{74}, i_{74}) → M_{35}
Segment(L_{35}, M_{35}) → p_{74}
OrthogonalLine(T_{22}, m_{74}) → q_{74}
OrthogonalLine(T_{22}, m_{74}) → r_{74}
OrthogonalLine(T_{22}, h_{74}) → s_{74}
OrthogonalLine(M_{35}, a_{17}) → t_{74}
Intersect(t_{74}, m_{16}) → N_{35}
OrthogonalLine(N_{35}, t_{74}) → a_{75}
Segment(K_{35}, N_{35}) → b_{75}
Segment(N_{35}, F_{13}) → c_{75}
Segment(N_{35}, M_{35}) → d_{75}
Segment(M_{35}, W_{13}) → e_{75}
OrthogonalLine(W_{16}, c_{17}) → f_{75}
OrthogonalLine(D_{15}, e_{17}) → g_{75}
OrthogonalLine(S_{16}, g_{75}) → h_{75}
Intersect(i_{74}, f_{75}) → O_{35}
Segment(W_{13}, O_{35}) → i_{75}
Intersect(i_{74}, g_{75}) → P_{35}
Segment(O_{35}, P_{35}) → j_{75}
Segment(P_{35}, Q_{19}) → k_{75}
Intersect(g_{75}, h_{75}) → Q_{35}
Segment(P_{35}, Q_{35}) → l_{75}
Intersect(f_{75}, h_{75}) → R_{35}
Segment(Q_{35}, R_{35}) → m_{75}
Segment(R_{35}, V_{16}) → n_{75}
Segment(R_{35}, O_{35}) → p_{75}
OrthogonalLine(F_{15}, h_{75}) → q_{75}
OrthogonalLine(D_{17}, q_{75}) → r_{75}
OrthogonalLine(M_{15}, r_{75}) → s_{75}
Intersect(r_{75}, s_{75}) → S_{35}
Intersect(h_{75}, s_{75}) → T_{35}
Segment(S_{35}, T_{35}) → t_{75}
Segment(T_{35}, S_{20}) → a_{76}
Segment(S_{20}, Q_{35}) → b_{76}
Intersect(h_{75}, q_{75}) → U_{35}
Segment(T_{35}, U_{35}) → c_{76}
Segment(U_{35}, S_{19}) → d_{76}
Intersect(q_{75}, r_{75}) → V_{35}
Segment(U_{35}, V_{35}) → e_{76}
Segment(V_{35}, S_{35}) → f_{76}
Segment(S_{35}, Z_{16}) → g_{76}
OrthogonalLine(W_{11}, d_{75}) → h_{76}
Intersect(t_{74}, h_{76}) → W_{35}
Segment(K_{35}, W_{35}) → i_{76}
Segment(W_{35}, M_{35}) → j_{76}
Segment(L_{35}, K_{35}) → k_{76}
OrthogonalLine(V_{19}, r_{75}) → l_{76}
OrthogonalLine(E_{17}, p_{17}) → m_{76}
OrthogonalLine(J_{15}, m_{76}) → n_{76}
OrthogonalLine(P_{15}, l_{76}) → p_{76}
Intersect(r_{75}, l_{76}) → Z_{35}
Segment(Z_{35}, V_{19}) → q_{76}
Segment(T_{20}, V_{35}) → r_{76}
Intersect(r_{75}, m_{76}) → A_{36}
Segment(T_{20}, A_{36}) → s_{76}
Segment(A_{36}, Z_{35}) → t_{76}
Intersect(l_{76}, p_{76}) → B_{36}
Segment(Z_{35}, B_{36}) → a_{77}
Intersect(m_{76}, p_{76}) → C_{36}
Segment(B_{36}, C_{36}) → b_{77}
Segment(C_{36}, F_{17}) → c_{77}
Segment(C_{36}, A_{36}) → d_{77}
OrthogonalLine(O_{15}, p_{76}) → e_{77}
OrthogonalLine(N_{17}, e_{77}) → f_{77}
OrthogonalLine(L_{17}, f_{77}) → g_{77}
Segment(U_{20}, B_{36}) → h_{77}
Intersect(p_{76}, g_{77}) → D_{36}
Segment(U_{20}, D_{36}) → i_{77}
Intersect(p_{76}, e_{77}) → E_{36}
Segment(D_{36}, E_{36}) → j_{77}
Segment(E_{36}, Z_{19}) → k_{77}
Intersect(e_{77}, f_{77}) → F_{36}
Segment(E_{36}, F_{36}) → l_{77}
Intersect(f_{77}, g_{77}) → G_{36}
Segment(F_{36}, G_{36}) → m_{77}
Segment(G_{36}, M_{17}) → n_{77}
Segment(G_{36}, D_{36}) → p_{77}
OrthogonalLine(P_{17}, c_{18}) → q_{77}
OrthogonalLine(W_{20}, g_{18}) → r_{77}
OrthogonalLine(W_{15}, q_{77}) → s_{77}
OrthogonalLine(S_{15}, e_{18}) → t_{77}
Segment(O_{17}, F_{36}) → a_{78}
Intersect(q_{77}, s_{77}) → I_{36}
Segment(O_{17}, I_{36}) → b_{78}
Intersect(s_{77}, t_{77}) → J_{36}
Segment(I_{36}, J_{36}) → c_{78}
Segment(J_{36}, C_{20}) → d_{78}
Intersect(r_{77}, t_{77}) → K_{36}
Segment(J_{36}, K_{36}) → e_{78}
Segment(K_{36}, W_{20}) → f_{78}
Intersect(q_{77}, r_{77}) → L_{36}
Segment(K_{36}, L_{36}) → g_{78}
Segment(L_{36}, I_{36}) → h_{78}
Segment(T_{17}, L_{36}) → i_{78}
OrthogonalLine(C_{16}, r_{77}) → j_{78}
OrthogonalLine(V_{17}, j_{78}) → k_{78}
OrthogonalLine(R_{17}, k_{78}) → l_{78}
Intersect(r_{77}, l_{78}) → M_{36}
Segment(M_{36}, W_{20}) → m_{78}
Intersect(k_{78}, l_{78}) → N_{36}
Segment(M_{36}, N_{36}) → n_{78}
Segment(N_{36}, U_{17}) → p_{78}
Intersect(j_{78}, k_{78}) → O_{36}
Segment(N_{36}, O_{36}) → q_{78}
Segment(O_{36}, Z_{20}) → r_{78}
Intersect(r_{77}, j_{78}) → P_{36}
Segment(O_{36}, P_{36}) → s_{78}
Segment(P_{36}, O_{20}) → t_{78}
Segment(M_{36}, P_{36}) → a_{79}
OrthogonalLine(F_{32}, k_{78}) → b_{79}
OrthogonalLine(W_{17}, k_{78}) → c_{79}
OrthogonalLine(A_{18}, l_{18}) → d_{79}
OrthogonalLine(R_{20}, n_{18}) → e_{79}
Intersect(c_{79}, d_{79}) → Q_{36}
Segment(Z_{17}, Q_{36}) → f_{79}
Intersect(k_{78}, c_{79}) → R_{36}
Segment(Q_{36}, R_{36}) → g_{79}
Segment(R_{36}, Z_{20}) → h_{79}
Intersect(k_{78}, e_{79}) → S_{36}
Segment(R_{36}, S_{36}) → i_{79}
Segment(S_{36}, R_{20}) → j_{79}
Intersect(d_{79}, e_{79}) → T_{36}
Segment(S_{36}, T_{36}) → k_{79}
Segment(T_{36}, B_{18}) → l_{79}
Segment(T_{36}, Q_{36}) → m_{79}
OrthogonalLine(N_{15}, p_{15}) → n_{79}
OrthogonalLine(E_{14}, a_{16}) → p_{79}
OrthogonalLine(Q_{15}, n_{79}) → q_{79}
OrthogonalLine(G_{14}, j_{14}) → r_{79}
Intersect(n_{79}, q_{79}) → U_{36}
Segment(Z_{19}, U_{36}) → s_{79}
Intersect(n_{79}, r_{79}) → V_{36}
Segment(V_{36}, U_{36}) → t_{79}
Intersect(p_{79}, r_{79}) → W_{36}
Segment(V_{36}, W_{36}) → a_{80}
Segment(W_{36}, I_{19}) → b_{80}
Intersect(p_{79}, q_{79}) → Z_{36}
Segment(W_{36}, Z_{36}) → c_{80}
Segment(Z_{36}, B_{20}) → d_{80}
Segment(Z_{36}, U_{36}) → e_{80}
OrthogonalLine(K_{14}, q_{79}) → f_{80}
OrthogonalLine(A_{16}, f_{80}) → g_{80}
OrthogonalLine(R_{15}, g_{80}) → h_{80}
Intersect(g_{80}, h_{80}) → A_{37}
Segment(A_{37}, C_{20}) → i_{80}
Intersect(q_{79}, h_{80}) → B_{37}
Segment(A_{37}, B_{37}) → j_{80}
Segment(B_{37}, B_{20}) → k_{80}
Intersect(q_{79}, f_{80}) → C_{37}
Segment(B_{37}, C_{37}) → l_{80}
Segment(C_{37}, K_{19}) → m_{80}
Intersect(f_{80}, g_{80}) → D_{37}
Segment(C_{37}, D_{37}) → n_{80}
Segment(D_{37}, N_{20}) → p_{80}
Segment(D_{37}, A_{37}) → q_{80}
OrthogonalLine(B_{16}, e_{16}) → r_{80}
OrthogonalLine(V_{14}, g_{80}) → s_{80}
OrthogonalLine(E_{16}, s_{80}) → t_{80}
Intersect(r_{80}, t_{80}) → E_{37}
Intersect(g_{80}, r_{80}) → F_{37}
Segment(E_{37}, F_{37}) → a_{81}
Segment(F_{37}, N_{20}) → b_{81}
Intersect(g_{80}, s_{80}) → G_{37}
Segment(F_{37}, G_{37}) → c_{81}
Segment(G_{37}, N_{19}) → d_{81}
Intersect(s_{80}, t_{80}) → H_{37}
Segment(G_{37}, H_{37}) → e_{81}
Segment(H_{37}, E_{37}) → f_{81}
Segment(E_{37}, O_{20}) → g_{81}
OrthogonalLine(W_{14}, t_{80}) → h_{81}
OrthogonalLine(K_{16}, h_{81}) → i_{81}
OrthogonalLine(F_{16}, i_{81}) → j_{81}
Segment(Q_{20}, H_{37}) → k_{81}
Intersect(t_{80}, j_{81}) → I_{37}
Segment(Q_{20}, I_{37}) → l_{81}
Intersect(i_{81}, j_{81}) → J_{37}
Segment(I_{37}, J_{37}) → m_{81}
Intersect(h_{81}, i_{81}) → K_{37}
Segment(J_{37}, K_{37}) → n_{81}
Intersect(t_{80}, h_{81}) → L_{37}
Segment(K_{37}, L_{37}) → p_{81}
Segment(L_{37}, I_{37}) → q_{81}
Segment(L_{37}, P_{19}) → r_{81}
OrthogonalLine(A_{14}, f_{14}) → s_{81}
OrthogonalLine(I_{15}, l_{15}) → t_{81}
OrthogonalLine(Z_{13}, p_{15}) → a_{82}
OrthogonalLine(K_{15}, q_{15}) → b_{82}
Intersect(t_{81}, b_{82}) → M_{37}
Segment(V_{19}, M_{37}) → c_{82}
Intersect(s_{81}, t_{81}) → N_{37}
Segment(M_{37}, N_{37}) → d_{82}
Intersect(s_{81}, a_{82}) → O_{37}
Segment(N_{37}, O_{37}) → e_{82}
Segment(O_{37}, G_{19}) → f_{82}
Intersect(a_{82}, b_{82}) → P_{37}
Segment(O_{37}, P_{37}) → g_{82}
Segment(P_{37}, W_{19}) → h_{82}
Segment(W_{19}, V_{36}) → i_{82}
Segment(P_{37}, M_{37}) → j_{82}
Intersect(m_{64}, n_{64}) → Q_{37}
Intersect(e_{58}, j_{58}) → R_{37}
Segment(Q_{37}, R_{37}) → k_{82}
Intersect(p_{61}, q_{61}) → S_{37}
Intersect(b_{35}, p_{10}) → T_{37}
Segment(S_{37}, T_{37}) → l_{82}
Intersect(q_{43}, r_{43}) → U_{37}
Intersect(i_{35}, l_6) → V_{37}
Segment(U_{37}, V_{37}) → m_{82}
Intersect(c_{61}, d_{61}) → W_{37}
Intersect(l_{25}, l_{11}) → Z_{37}
Segment(W_{37}, Z_{37}) → n_{82}
Intersect(f_{59}, g_{59}) → A_{38}
Intersect(a_{26}, b_{12}) → B_{38}
Segment(A_{38}, B_{38}) → p_{82}
Intersect(e_{56}, f_{56}) → C_{38}
Intersect(q_{27}, h_{12}) → D_{38}
Segment(C_{38}, D_{38}) → q_{82}
Intersect(m_{67}, n_{67}) → E_{38}
Intersect(g_{15}, e_{69}) → F_{38}
Segment(E_{38}, F_{38}) → r_{82}
Intersect(n_{81}, p_{81}) → G_{38}
Intersect(c_{23}, t_{18}) → H_{38}
Segment(G_{38}, H_{38}) → s_{82}
Intersect(b_{23}, l_{16}) → I_{38}
Intersect(m_{81}, n_{81}) → J_{38}
Segment(I_{38}, J_{38}) → t_{82}
Intersect(d_{82}, e_{82}) → K_{38}
Intersect(s_{24}, m_{15}) → L_{38}
Segment(K_{38}, L_{38}) → a_{83}
Intersect(e_{51}, f_{51}) → M_{38}
Intersect(n_{24}, s_{13}) → N_{38}
Segment(M_{38}, N_{38}) → b_{83}
Intersect(p_{72}, q_{72}) → O_{38}
Point(g_{22}) → P_{38}
Segment(O_{38}, P_{38}) → c_{83}
Intersect(l_6, l_{10}) → Q_{38}
Intersect(h_{35}, m_6) → R_{38}
Segment(Q_{38}, R_{38}) → d_{83}
Intersect(m_6, i_{10}) → S_{38}
Intersect(p_2, i_{10}) → T_{38}
Segment(S_{38}, T_{38}) → e_{83}
Intersect(n_6, k_{10}) → U_{38}
Intersect(g_{35}, q_6) → V_{38}
Segment(U_{38}, V_{38}) → f_{83}
Intersect(d_3, f_{10}) → W_{38}
Intersect(f_{10}, j_{62}) → Z_{38}
Segment(W_{38}, Z_{38}) → g_{83}
Intersect(e_3, m_{10}) → A_{39}
Intersect(i_{35}, l_6) → B_{39}
Segment(A_{39}, B_{39}) → h_{83}
Intersect(b_3, g_{10}) → C_{39}
Intersect(r_6, g_{10}) → D_{39}
Segment(C_{39}, D_{39}) → i_{83}
Intersect(g_2, r_{10}) → E_{39}
Intersect(p_2, r_{10}) → F_{39}
Segment(E_{39}, F_{39}) → j_{83}
Intersect(l_2, q_{10}) → G_{39}
Intersect(q_{10}, q_{61}) → H_{39}
Segment(G_{39}, H_{39}) → k_{83}
Intersect(k_2, j_{10}) → I_{39}
Intersect(q_6, j_{10}) → J_{39}
Segment(I_{39}, J_{39}) → l_{83}
Intersect(r_6, n_{10}) → K_{39}
Intersect(d_{35}, s_6) → L_{39}
Segment(K_{39}, L_{39}) → m_{83}
Intersect(s_6, p_{10}) → M_{39}
Intersect(c_8, p_{10}) → N_{39}
Segment(M_{39}, N_{39}) → n_{83}
Point(j_{11}) → O_{39}
Intersect(c_{35}, t_7) → P_{39}
Segment(O_{39}, P_{39}) → p_{83}
Intersect(d_8, a_{11}) → Q_{39}
Intersect(t_7, a_{11}) → R_{39}
Segment(Q_{39}, R_{39}) → q_{83}
Point(k_{11}) → S_{39}
Intersect(m_{25}, e_8) → T_{39}
Segment(S_{39}, T_{39}) → r_{83}
Intersect(e_8, l_{11}) → U_{39}
Intersect(f_9, l_{11}) → V_{39}
Segment(U_{39}, V_{39}) → s_{83}
Intersect(e_9, q_{11}) → W_{39}
Intersect(q_9, q_{11}) → Z_{39}
Segment(W_{39}, Z_{39}) → t_{83}
Intersect(r_9, r_{11}) → A_{40}
Intersect(d_8, r_{11}) → B_{40}
Segment(A_{40}, B_{40}) → a_{84}
Intersect(n_9, i_{11}) → C_{40}
Intersect(i_{11}, d_{61}) → D_{40}
Segment(C_{40}, D_{40}) → b_{84}
Intersect(t_{10}, e_{58}) → E_{40}
Intersect(a_8, t_{10}) → F_{40}
Segment(E_{40}, F_{40}) → c_{84}
Intersect(p_9, h_{11}) → G_{40}
Intersect(c_8, h_{11}) → H_{40}
Segment(G_{40}, H_{40}) → d_{84}
Intersect(m_{11}, p_{59}) → I_{40}
Intersect(q_{25}, d_9) → J_{40}
Segment(I_{40}, J_{40}) → e_{84}
Intersect(c_3, h_{10}) → K_{40}
Intersect(e_3, h_{10}) → L_{40}
Segment(K_{40}, L_{40}) → f_{84}
Intersect(m_9, s_{10}) → M_{40}
Intersect(k_2, s_{10}) → N_{40}
Segment(M_{40}, N_{40}) → g_{84}
Intersect(d_9, n_{11}) → O_{40}
Intersect(g_9, n_{11}) → P_{40}
Segment(O_{40}, P_{40}) → h_{84}
Intersect(s_{11}, t_{56}) → Q_{40}
Intersect(e_{26}, h_9) → R_{40}
Segment(Q_{40}, R_{40}) → i_{84}
Intersect(l_9, t_{11}) → S_{40}
Intersect(h_9, t_{11}) → T_{40}
Segment(S_{40}, T_{40}) → j_{84}
Intersect(a_{12}, l_{57}) → U_{40}
Intersect(i_9, a_{12}) → V_{40}
Segment(U_{40}, V_{40}) → k_{84}
Intersect(t_9, b_{12}) → W_{40}
Intersect(f_9, b_{12}) → Z_{40}
Segment(W_{40}, Z_{40}) → l_{84}
Intersect(b_{10}, c_{12}) → A_{41}
Intersect(g_9, c_{12}) → B_{41}
Segment(A_{41}, B_{41}) → m_{84}
Intersect(a_{10}, f_{12}) → C_{41}
Intersect(k_9, f_{12}) → D_{41}
Segment(C_{41}, D_{41}) → n_{84}
Intersect(d_{12}, g_{57}) → E_{41}
Intersect(t_{27}, j_9) → F_{41}
Segment(E_{41}, F_{41}) → p_{84}
Intersect(j_9, e_{12}) → G_{41}
Intersect(s_{27}, k_9) → H_{41}
Segment(G_{41}, H_{41}) → q_{84}
Intersect(q_{27}, h_{12}) → I_{41}
Intersect(l_9, h_{12}) → J_{41}
Segment(I_{41}, J_{41}) → r_{84}
Intersect(m_{12}, s_{14}) → K_{41}
Intersect(m_{12}, f_{56}) → L_{41}
Segment(K_{41}, L_{41}) → s_{84}
Intersect(k_{12}, t_{66}) → M_{41}
Intersect(a_{10}, k_{12}) → N_{41}
Segment(M_{41}, N_{41}) → t_{84}
Intersect(j_{12}, l_{14}) → O_{41}
Intersect(j_{12}, g_{59}) → P_{41}
Segment(O_{41}, P_{41}) → a_{85}
Intersect(i_{12}, h_{14}) → Q_{41}
Intersect(q_9, i_{12}) → R_{41}
Segment(Q_{41}, R_{41}) → b_{85}
Intersect(q_{12}, t_{12}) → S_{41}
Intersect(b_3, q_{12}) → T_{41}
Segment(S_{41}, T_{41}) → c_{85}
Intersect(k_6, r_{12}) → U_{41}
Intersect(l_{35}, d_3) → V_{41}
Segment(U_{41}, V_{41}) → d_{85}
Intersect(p_{12}, b_{13}) → W_{41}
Intersect(l_2, p_{12}) → Z_{41}
Segment(W_{41}, Z_{41}) → e_{85}
Intersect(s_{13}, c_{14}) → A_{42}
Intersect(c_3, s_{13}) → B_{42}
Segment(A_{42}, B_{42}) → f_{85}
Intersect(n_{12}, p_{51}) → C_{42}
Point(n_{64}) → D_{42}
Segment(C_{42}, D_{42}) → g_{85}
Intersect(a_{14}, f_{14}) → E_{42}
Intersect(g_2, a_{14}) → F_{42}
Segment(E_{42}, F_{42}) → h_{85}
Intersect(l_{12}, p_{65}) → G_{42}
Intersect(n_9, l_{12}) → H_{42}
Segment(G_{42}, H_{42}) → i_{85}
Intersect(i_{14}, e_{65}) → I_{42}
Intersect(m_9, i_{14}) → J_{42}
Segment(I_{42}, J_{42}) → j_{85}
Intersect(m_{14}, n_{14}) → K_{42}
Intersect(p_9, m_{14}) → L_{42}
Segment(K_{42}, L_{42}) → k_{85}
Intersect(r_{14}, b_{15}) → M_{42}
Intersect(r_9, r_{14}) → N_{42}
Segment(M_{42}, N_{42}) → l_{85}
Intersect(t_{14}, c_{15}) → O_{42}
Intersect(t_9, t_{14}) → P_{42}
Segment(O_{42}, P_{42}) → m_{85}
Intersect(f_{25}, g_{15}) → Q_{42}
Intersect(b_{10}, g_{15}) → R_{42}
Segment(Q_{42}, R_{42}) → n_{85}
Intersect(e_{15}, q_{81}) → S_{42}
Intersect(e_{15}, n_{67}) → T_{42}
Segment(S_{42}, T_{42}) → p_{85}
Intersect(a_{15}, e_{16}) → U_{42}
Intersect(s_{14}, a_{15}) → V_{42}
Segment(U_{42}, V_{42}) → q_{85}
Intersect(p_{14}, a_{16}) → W_{42}
Intersect(p_{14}, q_{14}) → Z_{42}
Segment(W_{42}, Z_{42}) → r_{85}
Intersect(k_{14}, p_{15}) → A_{43}
Intersect(k_{14}, l_{14}) → B_{43}
Segment(A_{43}, B_{43}) → s_{85}
Intersect(g_{14}, e_{82}) → C_{43}
Intersect(g_{14}, h_{14}) → D_{43}
Segment(C_{43}, D_{43}) → t_{85}
Intersect(a_{13}, d_{13}) → E_{43}
Intersect(s_{35}, t_{12}) → F_{43}
Segment(E_{43}, F_{43}) → a_{86}
Intersect(e_{13}, p_{53}) → G_{43}
Intersect(b_{13}, e_{13}) → H_{43}
Segment(G_{43}, H_{43}) → b_{86}
Intersect(k_6, c_{13}) → I_{43}
Intersect(c_{13}, n_{13}) → J_{43}
Segment(I_{43}, J_{43}) → c_{86}
Intersect(m_{13}, p_{13}) → K_{43}
Intersect(m_{13}, f_{51}) → L_{43}
Segment(K_{43}, L_{43}) → d_{86}
Intersect(e_{14}, j_{15}) → M_{43}
Intersect(n_{13}, e_{14}) → N_{43}
Segment(M_{43}, N_{43}) → e_{86}
Intersect(b_{14}, a_{55}) → O_{43}
Intersect(t_{13}, b_{14}) → P_{43}
Segment(O_{43}, P_{43}) → f_{86}
Intersect(m_{15}, q_{15}) → Q_{43}
Intersect(c_{14}, m_{15}) → R_{43}
Segment(Q_{43}, R_{43}) → g_{86}
Intersect(q_{13}, h_{15}) → S_{43}
Intersect(d_{13}, l_{13}) → T_{43}
Segment(S_{43}, T_{43}) → h_{86}
Intersect(r_{15}, s_{15}) → U_{43}
Intersect(f_{14}, r_{15}) → V_{43}
Segment(U_{43}, V_{43}) → i_{86}
Intersect(b_{16}, c_{16}) → W_{43}
Intersect(j_{14}, b_{16}) → Z_{43}
Segment(W_{43}, Z_{43}) → j_{86}
Intersect(f_{16}, g_{16}) → A_{44}
Intersect(n_{14}, f_{16}) → B_{44}
Segment(A_{44}, B_{44}) → k_{86}
Intersect(h_{16}, a_{79}) → C_{44}
Intersect(h_{16}, f_{81}) → D_{44}
Segment(C_{44}, D_{44}) → l_{86}
Intersect(d_{16}, c_{78}) → E_{44}
Intersect(d_{16}, e_{16}) → F_{44}
Segment(E_{44}, F_{44}) → m_{86}
Intersect(t_{15}, j_{77}) → G_{44}
Intersect(t_{15}, a_{16}) → H_{44}
Segment(G_{44}, H_{44}) → n_{86}
Intersect(n_{15}, k_{17}) → I_{44}
Intersect(n_{15}, j_{82}) → J_{44}
Segment(I_{44}, J_{44}) → p_{86}
Intersect(k_{15}, c_{76}) → K_{44}
Intersect(k_{15}, c_{55}) → L_{44}
Segment(K_{44}, L_{44}) → q_{86}
Intersect(i_{15}, c_{17}) → M_{44}
Intersect(d_{14}, i_{15}) → N_{44}
Segment(M_{44}, N_{44}) → r_{86}
Intersect(g_{13}, h_{13}) → O_{44}
Intersect(q_{35}, f_{13}) → P_{44}
Segment(O_{44}, P_{44}) → s_{86}
Intersect(n_{16}, p_{16}) → Q_{44}
Intersect(i_{13}, j_{13}) → R_{44}
Segment(Q_{44}, R_{44}) → t_{86}
Intersect(q_{16}, r_{16}) → S_{44}
Intersect(r_{39}, p_{16}) → T_{44}
Segment(S_{44}, T_{44}) → a_{87}
Intersect(s_{39}, r_{16}) → U_{44}
Intersect(t_{16}, a_{17}) → V_{44}
Segment(U_{44}, V_{44}) → b_{87}
Intersect(g_{17}, h_{17}) → W_{44}
Intersect(m_{16}, b_{17}) → Z_{44}
Segment(W_{44}, Z_{44}) → c_{87}
Intersect(f_{17}, g_{17}) → A_{45}
Intersect(e_{17}, f_{17}) → B_{45}
Segment(A_{45}, B_{45}) → d_{87}
Intersect(d_{17}, i_{17}) → C_{45}
Intersect(h_{15}, d_{17}) → D_{45}
Segment(C_{45}, D_{45}) → e_{87}
Intersect(j_{19}, i_{17}) → E_{45}
Intersect(j_{17}, k_{17}) → F_{45}
Segment(E_{45}, F_{45}) → f_{87}
Intersect(j_{15}, l_{17}) → G_{45}
Intersect(l_{17}, m_{17}) → H_{45}
Segment(G_{45}, H_{45}) → g_{87}
Intersect(k_{19}, m_{17}) → I_{45}
Intersect(n_{17}, p_{17}) → J_{45}
Segment(I_{45}, J_{45}) → h_{87}
Intersect(q_{15}, q_{17}) → K_{45}
Intersect(q_{17}, r_{17}) → L_{45}
Segment(K_{45}, L_{45}) → i_{87}
Intersect(g_{11}, r_{17}) → M_{45}
Point(s_{17}) → N_{45}
Segment(M_{45}, N_{45}) → j_{87}
Intersect(s_{15}, a_{18}) → O_{45}
Intersect(b_{18}, g_{18}) → P_{45}
Segment(O_{45}, P_{45}) → k_{87}
Intersect(c_{16}, d_{18}) → Q_{45}
Intersect(d_{18}, h_{18}) → R_{45}
Segment(Q_{45}, R_{45}) → l_{87}
Intersect(d_{11}, f_{18}) → S_{45}
Intersect(f_{18}, g_{78}) → T_{45}
Segment(S_{45}, T_{45}) → m_{87}
Intersect(g_{16}, k_{18}) → U_{45}
Intersect(k_{18}, l_{18}) → V_{45}
Segment(U_{45}, V_{45}) → n_{87}
Intersect(g_{22}, h_{18}) → W_{45}
Intersect(i_{18}, q_{78}) → Z_{45}
Segment(W_{45}, Z_{45}) → p_{87}
Point(l_{16}) → A_{46}
Intersect(l_{16}, n_{81}) → B_{46}
Segment(A_{46}, B_{46}) → q_{87}
Intersect(j_{16}, m_{81}) → C_{46}
Intersect(b_{15}, j_{16}) → D_{46}
Segment(C_{46}, D_{46}) → r_{87}
Intersect(r_{18}, k_{79}) → E_{46}
Intersect(f_{23}, n_{18}) → F_{46}
Segment(E_{46}, F_{46}) → s_{87}
Intersect(l_{18}, m_{18}) → G_{46}
Intersect(m_{18}, n_{18}) → H_{46}
Segment(G_{46}, H_{46}) → t_{87}
Intersect(c_{15}, t_{18}) → I_{46}
Intersect(c_{23}, t_{18}) → J_{46}
Segment(I_{46}, J_{46}) → a_{88}