Finding Primes

Loading the math board and drawing, please wait…

2020-07-10 02:31

This example dynamically demonstrates prime number identification methods. It involves core math concepts like prime definitions, number theory, and geometric visualization. Construction highlights include commands like Segment, Intersect, and Point to build a number line model for prime visualization. Suitable for middle school and above learners to understand prime distribution and properties.

GeoGebra Commands & Parameters

Segment(B_2, T_1) → n_1
Segment(B_7, T_5) → n_4
Segment(B_{15}, T_{13}) → n_{10}
Segment(B_5, T_3) → n_2
Segment(B_8, T_6) → n_3
Segment(B_9, T_7) → n_5
Segment(B_{10}, T_8) → n_6
Segment(B_{11}, T_9) → n_7
Segment(B_{12}, T_{10}) → n_8
Segment(B_{13}, T_{11}) → n_9
Segment(B_{25}, T_{14}) → n_{11}
Segment(F_2, H_2) → h_1
Segment(F_3, H_3) → h_2
Segment(F_4, H_4) → h_3
Segment(F_5, H_5) → h_4
Segment(F_6, H_6) → h_5
Segment(F_7, H_7) → h_6
Segment(F_8, H_8) → h_7
Segment(F_9, H_9) → h_8
Segment(F_{10}, H_{10}) → h_9
Segment(F_{11}, H_{11}) → h_{10}
Segment(F_{12}, H_{12}) → h_{11}
Intersect(n_2, h_1) → I_2
Intersect(n_3, h_2) → J_2
Segment(I_2, J_2) → f
Intersect(n_2, h_2) → K_2
Intersect(n_3, h_1) → M_2
Segment(K_2, M_2) → g
Point(h_1) → N_2
Point(n_6) → O_2
Intersect(n_5, h_2) → P_2
Point(h_1) → Q_2
Intersect(n_7, h_1) → R_2
Point(h_2) → U_2
Intersect(n_7, h_2) → V_2
Point(h_1) → W_2
Intersect(n_5, h_1) → Z_2
Intersect(n_6, h_2) → J_3
Segment(Z_2, J_3) → h
Intersect(n_5, h_2) → K_3
Intersect(n_6, h_1) → M_3
Segment(K_3, M_3) → i
Intersect(n_7, h_1) → N_3
Intersect(n_8, h_2) → O_3
Segment(N_3, O_3) → j
Intersect(n_7, h_2) → P_3
Intersect(n_8, h_1) → Q_3
Segment(P_3, Q_3) → k
Intersect(n_9, h_1) → R_3
Intersect(n_{11}, h_2) → U_3
Segment(R_3, U_3) → l
Intersect(n_9, h_2) → V_3
Intersect(n_{11}, h_1) → W_3
Segment(V_3, W_3) → m
Intersect(n_4, h_2) → Z_3
Intersect(n_{10}, h_3) → A_4
Segment(Z_3, A_4) → n
Intersect(n_4, h_3) → C_4
Intersect(n_{10}, h_2) → D_4
Segment(C_4, D_4) → p
Intersect(n_2, h_2) → I_4
Intersect(n_3, h_3) → J_4
Segment(I_4, J_4) → q
Intersect(n_2, h_3) → K_4
Intersect(n_3, h_2) → L_4
Segment(K_4, L_4) → r
Intersect(n_5, h_2) → M_4
Intersect(n_6, h_3) → N_4
Segment(M_4, N_4) → s
Intersect(h_2, h) → O_4
Intersect(n_5, h_3) → P_4
Segment(O_4, P_4) → t
Point(n_7) → Q_4
Intersect(n_8, h_3) → R_4
Segment(Q_4, R_4) → a
Intersect(n_8, h_2) → U_4
Segment(U_4, V_4) → b
Intersect(n_{11}, h_3) → W_4
Segment(V_3, W_4) → c
Intersect(n_9, h_3) → Z_4
Segment(U_3, Z_4) → d
Intersect(n_{10}, h_4) → A_5
Segment(C_4, A_5) → e
Intersect(n_4, h_4) → C_5
Segment(A_4, C_5) → f_1
Segment(K_4, D_5) → g_1
Intersect(n_2, h_4) → I_5
Segment(J_4, I_5) → i_1
Intersect(n_6, h_4) → J_5
Segment(P_4, J_5) → j_1
Intersect(n_5, h_4) → K_5
Segment(N_4, K_5) → k_1
Intersect(n_8, h_4) → L_5
Segment(V_4, L_5) → l_1
Intersect(n_7, h_4) → M_5
Segment(R_4, M_5) → m_1
Intersect(n_{11}, h_4) → N_5
Segment(Z_4, N_5) → p_1
Intersect(n_9, h_4) → O_5
Segment(W_4, O_5) → q_1
Intersect(n_{10}, h_5) → P_5
Segment(C_5, P_5) → r_1
Intersect(n_4, h_5) → Q_5
Segment(A_5, Q_5) → s_1
Intersect(n_3, h_5) → R_5
Segment(I_5, R_5) → t_1
Intersect(n_2, h_5) → U_5
Segment(D_5, U_5) → a_1
Intersect(n_6, h_5) → V_5
Segment(K_5, V_5) → b_1
Segment(J_5, W_5) → c_1
Intersect(n_8, h_5) → Z_5
Segment(M_5, Z_5) → d_1
Intersect(n_7, h_5) → A_6
Segment(L_5, A_6) → e_1
Intersect(n_{11}, h_5) → C_6
Segment(O_5, C_6) → f_2
Intersect(n_9, h_5) → D_6
Segment(N_5, D_6) → g_2
Intersect(n_{10}, h_6) → E_6
Segment(Q_5, E_6) → i_2
Segment(P_5, I_6) → j_2
Intersect(n_3, h_6) → J_6
Segment(U_5, J_6) → k_2
Intersect(n_2, h_6) → K_6
Segment(R_5, K_6) → l_2
Intersect(n_6, h_6) → L_6
Segment(W_5, L_6) → m_2
Intersect(n_5, h_6) → M_6
Segment(V_5, M_6) → p_2
Intersect(n_8, h_6) → N_6
Segment(A_6, N_6) → q_2
Point(n_7) → O_6
Segment(Z_5, O_6) → r_2
Intersect(n_{11}, h_6) → P_6
Segment(D_6, P_6) → s_2
Segment(C_6, Q_6) → t_2
Intersect(n_{10}, h_7) → R_6
Segment(I_6, R_6) → a_2
Intersect(n_4, h_7) → U_6
Segment(E_6, U_6) → b_2
Intersect(n_3, h_7) → V_6
Segment(K_6, V_6) → c_2
Intersect(n_2, h_7) → W_6
Segment(J_6, W_6) → d_2
Intersect(n_6, h_7) → Z_6
Segment(M_6, Z_6) → e_2
Intersect(n_5, h_7) → A_7
Segment(L_6, A_7) → f_3
Intersect(n_8, h_7) → C_7
Segment(O_6, C_7) → g_3
Intersect(n_7, h_7) → D_7
Segment(N_6, D_7) → i_3
Intersect(n_{11}, h_7) → E_7
Segment(Q_6, E_7) → j_3
Intersect(n_9, h_7) → I_7
Segment(P_6, I_7) → k_3
Intersect(n_{10}, h_8) → J_7
Segment(U_6, J_7) → l_3
Intersect(n_4, h_8) → K_7
Segment(R_6, K_7) → m_3
Intersect(n_3, h_8) → L_7
Segment(W_6, L_7) → p_3
Intersect(n_2, h_8) → M_7
Segment(V_6, M_7) → q_3
Intersect(n_6, h_8) → N_7
Segment(A_7, N_7) → r_3
Point(n_5) → O_7
Segment(Z_6, O_7) → s_3
Point(n_8) → P_7
Segment(D_7, P_7) → t_3
Segment(C_7, Q_7) → a_3
Intersect(n_{11}, h_8) → R_7
Segment(I_7, R_7) → b_3
Intersect(n_9, h_8) → S_7
Segment(E_7, S_7) → c_3
Intersect(n_{10}, h_9) → U_7
Segment(K_7, U_7) → d_3
Segment(J_7, V_7) → e_3
Intersect(n_3, h_9) → W_7
Segment(M_7, W_7) → f_4
Intersect(n_2, h_9) → Z_7
Segment(L_7, Z_7) → g_4
Intersect(n_6, h_9) → A_8
Segment(O_7, A_8) → i_4
Intersect(n_5, h_9) → C_8
Segment(N_7, C_8) → j_4
Intersect(n_8, h_9) → D_8
Segment(Q_7, D_8) → k_4
Segment(P_7, E_8) → l_4
Intersect(n_{11}, h_9) → I_8
Segment(S_7, I_8) → m_4
Intersect(n_9, h_9) → J_8
Segment(R_7, J_8) → p_4
Intersect(n_{10}, h_{10}) → K_8
Segment(V_7, K_8) → q_4
Intersect(n_4, h_{10}) → L_8
Segment(U_7, L_8) → r_4
Intersect(n_3, h_{10}) → M_8
Segment(Z_7, M_8) → s_4
Intersect(n_2, h_{10}) → N_8
Segment(W_7, N_8) → t_4
Intersect(n_6, h_{10}) → O_8
Segment(C_8, O_8) → a_4
Point(h_{10}) → P_8
Segment(A_8, P_8) → b_4
Point(h_{10}) → Q_8
Segment(E_8, Q_8) → c_4
Intersect(n_7, h_{10}) → R_8
Segment(D_8, R_8) → d_4
Intersect(n_{11}, h_{10}) → S_8
Segment(J_8, S_8) → e_4
Intersect(n_9, h_{10}) → U_8
Segment(I_8, U_8) → f_5
Intersect(n_{10}, h_{11}) → V_8
Segment(L_8, V_8) → g_5
Segment(K_8, W_8) → i_5
Intersect(n_3, h_{11}) → Z_8
Segment(N_8, Z_8) → j_5
Segment(M_8, A_9) → k_5
Intersect(n_6, h_{11}) → C_9
Segment(P_8, C_9) → l_5
Point(n_5) → D_9
Segment(O_8, D_9) → m_5
Intersect(n_8, h_{11}) → E_9
Segment(R_8, E_9) → p_5
Point(n_7) → I_9
Segment(Q_8, I_9) → q_5
Intersect(n_{11}, h_{11}) → J_9
Segment(U_8, J_9) → r_5
Intersect(n_9, h_{11}) → K_9
Segment(S_8, K_9) → s_5
Intersect(n_9, h_1) → L_9
Intersect(n_{11}, h_2) → M_9
Segment(L_9, M_9) → t_5
Intersect(n_9, h_2) → N_9
Intersect(n_{11}, h_1) → O_9
Segment(N_9, O_9) → a_5
Intersect(n_4, h_2) → P_9
Intersect(n_{10}, h_3) → Q_9
Segment(P_9, Q_9) → b_5
Intersect(n_{10}, h_2) → R_9
Intersect(n_4, h_3) → S_9
Segment(R_9, S_9) → c_5
Intersect(n_2, h_2) → U_9
Intersect(n_3, h_3) → V_9
Segment(U_9, V_9) → d_5
Intersect(n_3, h_2) → W_9
Intersect(n_2, h_3) → Z_9
Segment(W_9, Z_9) → e_5
Intersect(n_5, h_2) → A_{10}
Intersect(n_6, h_3) → C_{10}
Segment(A_{10}, C_{10}) → f_6
Intersect(n_6, h_2) → D_{10}
Intersect(n_5, h_3) → E_{10}
Segment(D_{10}, E_{10}) → g_6
Intersect(n_7, h_2) → I_{10}
Intersect(n_8, h_3) → J_{10}
Segment(I_{10}, J_{10}) → i_6
Intersect(n_8, h_2) → K_{10}
Intersect(n_7, h_3) → L_{10}
Segment(K_{10}, L_{10}) → j_6
Intersect(n_{11}, h_3) → M_{10}
Segment(N_9, M_{10}) → k_6
Intersect(n_9, h_3) → N_{10}
Segment(M_9, N_{10}) → l_6
Intersect(n_{10}, h_4) → O_{10}
Segment(S_9, O_{10}) → m_6
Point(n_4) → P_{10}
Segment(Q_9, P_{10}) → p_6
Intersect(n_3, h_4) → Q_{10}
Segment(Z_9, Q_{10}) → q_6
Intersect(n_2, h_4) → R_{10}
Segment(V_9, R_{10}) → r_6
Intersect(n_6, h_4) → S_{10}
Segment(E_{10}, S_{10}) → s_6
Intersect(n_5, h_4) → U_{10}
Segment(C_{10}, U_{10}) → t_6
Intersect(n_8, h_4) → V_{10}
Segment(L_{10}, V_{10}) → a_6
Intersect(n_7, h_4) → W_{10}
Segment(J_{10}, W_{10}) → b_6
Intersect(n_{11}, h_4) → Z_{10}
Segment(N_{10}, Z_{10}) → c_6
Intersect(n_9, h_4) → A_{11}
Segment(M_{10}, A_{11}) → d_6
Intersect(n_{10}, h_5) → C_{11}
Intersect(n_4, h_5) → D_{11}
Segment(O_{10}, D_{11}) → f_7
Intersect(n_3, h_5) → E_{11}
Segment(R_{10}, E_{11}) → g_7
Intersect(n_2, h_5) → I_{11}
Segment(Q_{10}, I_{11}) → i_7
Intersect(n_6, h_5) → J_{11}
Segment(U_{10}, J_{11}) → j_7
Intersect(n_5, h_5) → K_{11}
Segment(S_{10}, K_{11}) → k_7
Intersect(n_8, h_5) → L_{11}
Segment(W_{10}, L_{11}) → l_7
Intersect(n_7, h_5) → M_{11}
Segment(V_{10}, M_{11}) → m_7
Intersect(n_{11}, h_5) → N_{11}
Segment(A_{11}, N_{11}) → p_7
Intersect(n_9, h_5) → O_{11}
Segment(Z_{10}, O_{11}) → q_7
Intersect(n_{10}, h_6) → P_{11}
Segment(D_{11}, P_{11}) → r_7
Intersect(n_4, h_6) → Q_{11}
Segment(C_{11}, Q_{11}) → s_7
Intersect(n_3, h_6) → R_{11}
Segment(I_{11}, R_{11}) → t_7
Intersect(n_2, h_6) → S_{11}
Segment(E_{11}, S_{11}) → a_7
Intersect(n_6, h_6) → U_{11}
Segment(K_{11}, U_{11}) → b_7
Point(n_5) → V_{11}
Intersect(n_8, h_6) → W_{11}
Segment(M_{11}, W_{11}) → d_7
Intersect(n_7, h_6) → Z_{11}
Segment(L_{11}, Z_{11}) → e_7
Intersect(n_{11}, h_6) → A_{12}
Segment(O_{11}, A_{12}) → f_8
Intersect(n_9, h_6) → C_{12}
Segment(N_{11}, C_{12}) → g_8
Intersect(n_{10}, h_7) → D_{12}
Segment(Q_{11}, D_{12}) → i_8
Intersect(n_4, h_7) → E_{12}
Segment(P_{11}, E_{12}) → j_8
Intersect(n_3, h_7) → I_{12}
Segment(S_{11}, I_{12}) → k_8
Intersect(n_2, h_7) → J_{12}
Segment(R_{11}, J_{12}) → l_8
Intersect(n_6, h_7) → K_{12}
Intersect(n_5, h_7) → L_{12}
Segment(U_{11}, L_{12}) → p_8
Intersect(n_8, h_7) → M_{12}
Segment(Z_{11}, M_{12}) → q_8
Intersect(n_7, h_7) → N_{12}
Segment(W_{11}, N_{12}) → r_8
Intersect(n_{11}, h_7) → O_{12}
Segment(C_{12}, O_{12}) → s_8
Intersect(n_9, h_7) → P_{12}
Segment(A_{12}, P_{12}) → t_8
Intersect(n_{10}, h_8) → Q_{12}
Segment(E_{12}, Q_{12}) → a_8
Intersect(n_4, h_8) → R_{12}
Segment(D_{12}, R_{12}) → b_8
Intersect(n_3, h_8) → S_{12}
Segment(J_{12}, S_{12}) → c_8
Intersect(n_2, h_8) → U_{12}
Segment(I_{12}, U_{12}) → d_8
Intersect(n_6, h_8) → V_{12}
Segment(L_{12}, V_{12}) → e_8
Intersect(n_5, h_8) → W_{12}
Segment(K_{12}, W_{12}) → f_9
Intersect(n_8, h_8) → Z_{12}
Segment(N_{12}, Z_{12}) → g_9
Intersect(n_7, h_8) → A_{13}
Segment(M_{12}, A_{13}) → i_9
Intersect(n_{11}, h_8) → C_{13}
Segment(P_{12}, C_{13}) → j_9
Intersect(n_9, h_8) → D_{13}
Segment(O_{12}, D_{13}) → k_9
Intersect(n_{10}, h_9) → E_{13}
Segment(R_{12}, E_{13}) → l_9
Intersect(n_4, h_9) → I_{13}
Segment(Q_{12}, I_{13}) → m_9
Intersect(n_3, h_9) → J_{13}
Segment(U_{12}, J_{13}) → p_9
Intersect(n_2, h_9) → K_{13}
Segment(S_{12}, K_{13}) → q_9
Intersect(n_6, h_9) → L_{13}
Segment(W_{12}, L_{13}) → r_9
Intersect(n_5, h_9) → M_{13}
Segment(V_{12}, M_{13}) → s_9
Intersect(n_8, h_9) → N_{13}
Segment(A_{13}, N_{13}) → t_9
Intersect(n_7, h_9) → O_{13}
Segment(Z_{12}, O_{13}) → a_9
Intersect(n_9, h_9) → Q_{13}
Segment(C_{13}, Q_{13}) → c_9
Intersect(n_{10}, h_{10}) → R_{13}
Segment(I_{13}, R_{13}) → d_9
Intersect(n_4, h_{10}) → S_{13}
Segment(E_{13}, S_{13}) → e_9
Intersect(n_3, h_{10}) → U_{13}
Segment(K_{13}, U_{13}) → f_{10}
Intersect(n_2, h_{10}) → V_{13}
Segment(J_{13}, V_{13}) → g_{10}
Intersect(n_6, h_{10}) → W_{13}
Segment(M_{13}, W_{13}) → i_{10}
Intersect(n_5, h_{10}) → Z_{13}
Segment(L_{13}, Z_{13}) → j_{10}
Intersect(n_8, h_{10}) → A_{14}
Segment(O_{13}, A_{14}) → k_{10}
Intersect(n_7, h_{10}) → C_{14}
Segment(N_{13}, C_{14}) → l_{10}
Intersect(n_{11}, h_{10}) → D_{14}
Segment(Q_{13}, D_{14}) → m_{10}
Intersect(n_9, h_{10}) → E_{14}
Intersect(n_{10}, h_{11}) → F_{14}
Segment(S_{13}, F_{14}) → q_{10}
Intersect(n_4, h_{11}) → H_{14}
Segment(R_{13}, H_{14}) → r_{10}
Point(n_3) → I_{14}
Point(n_2) → J_{14}
Intersect(n_6, h_{11}) → K_{14}
Segment(Z_{13}, K_{14}) → a_{10}
Intersect(n_5, h_{11}) → L_{14}
Segment(W_{13}, L_{14}) → b_{10}
Point(n_8) → M_{14}
Point(n_7) → N_{14}
Intersect(n_{11}, h_{11}) → O_{14}
Segment(E_{14}, O_{14}) → e_{10}
Intersect(n_9, h_{11}) → P_{14}
Segment(D_{14}, P_{14}) → f_{11}
Intersect(n_5, h_6) → Q_{14}
Intersect(n_6, h_5) → R_{14}
Segment(Q_{14}, R_{14}) → c_7
Intersect(n_6, h_7) → S_{14}
Segment(Q_{14}, S_{14}) → m_8
Intersect(n_9, h_8) → U_{14}
Intersect(n_9, h_{10}) → W_{14}
Intersect(n_7, h_{10}) → Z_{14}
Intersect(n_8, h_{11}) → A_{15}
Segment(Z_{14}, A_{15}) → c_{10}
Intersect(n_8, h_{10}) → C_{15}
Intersect(n_7, h_{11}) → D_{15}
Segment(C_{15}, D_{15}) → d_{10}
Intersect(n_3, h_{10}) → E_{15}
Intersect(n_2, h_{11}) → F_{15}
Segment(E_{15}, F_{15}) → s_{10}
Intersect(n_2, h_{10}) → H_{15}
Intersect(n_3, h_{11}) → I_{15}
Segment(H_{15}, I_{15}) → t_{10}
Intersect(n_4, h_4) → J_{15}
Intersect(n_{10}, h_5) → K_{15}
Segment(J_{15}, K_{15}) → e_6
Intersect(n_9, h_8) → V_{14}
Intersect(n_{11}, h_9) → L_{15}
Segment(V_{14}, L_{15}) → b_9
Intersect(n_9, h_{10}) → M_{15}
Segment(L_{15}, M_{15}) → p_{10}
Intersect(n_8, h_1) → N_{15}
Intersect(n_9, h_2) → O_{15}
Segment(N_{15}, O_{15}) → g_{11}
Intersect(n_9, h_1) → P_{15}
Intersect(n_8, h_2) → Q_{15}
Segment(P_{15}, Q_{15}) → i_{11}
Intersect(n_3, h_2) → R_{15}
Intersect(n_5, h_3) → S_{15}
Segment(R_{15}, S_{15}) → j_{11}
Intersect(n_5, h_2) → T_{15}
Intersect(n_3, h_3) → U_{15}
Segment(T_{15}, U_{15}) → k_{11}
Intersect(n_1, h_3) → V_{15}
Point(e_6) → W_{15}
Segment(V_{15}, W_{15}) → l_{11}
Intersect(n_4, h_3) → Z_{15}
Intersect(n_1, h_4) → A_{16}
Segment(Z_{15}, A_{16}) → m_{11}
Intersect(n_6, h_3) → C_{16}
Intersect(n_7, h_4) → D_{16}
Segment(C_{16}, D_{16}) → p_{11}
Intersect(n_7, h_3) → E_{16}
Intersect(n_6, h_4) → F_{16}
Segment(E_{16}, F_{16}) → q_{11}
Intersect(n_{10}, h_4) → G_{16}
Intersect(n_2, h_5) → H_{16}
Segment(G_{16}, H_{16}) → r_{11}
Intersect(n_2, h_4) → I_{16}
Point(e_6) → J_{16}
Segment(I_{16}, J_{16}) → s_{11}
Intersect(n_8, h_4) → K_{16}
Intersect(n_9, h_5) → L_{16}
Segment(K_{16}, L_{16}) → t_{11}
Intersect(n_9, h_4) → M_{16}
Intersect(n_8, h_5) → N_{16}
Segment(M_{16}, N_{16}) → a_{11}
Intersect(n_3, h_5) → O_{16}
Intersect(n_5, h_6) → P_{16}
Segment(O_{16}, P_{16}) → b_{11}
Intersect(n_5, h_5) → Q_{16}
Intersect(n_3, h_6) → R_{16}
Segment(Q_{16}, R_{16}) → c_{11}
Intersect(n_1, h_6) → S_{16}
Intersect(n_4, h_7) → T_{16}
Segment(S_{16}, T_{16}) → d_{11}
Intersect(n_4, h_6) → U_{16}
Intersect(n_1, h_7) → V_{16}
Segment(U_{16}, V_{16}) → e_{11}
Intersect(n_6, h_6) → W_{16}
Intersect(n_7, h_7) → Z_{16}
Segment(W_{16}, Z_{16}) → f_{12}
Intersect(n_7, h_6) → A_{17}
Intersect(n_6, h_7) → C_{17}
Segment(A_{17}, C_{17}) → g_{12}
Intersect(n_{10}, h_7) → D_{17}
Intersect(n_2, h_8) → E_{17}
Segment(D_{17}, E_{17}) → h_{12}
Intersect(n_2, h_7) → F_{17}
Intersect(n_{10}, h_8) → G_{17}
Segment(F_{17}, G_{17}) → i_{12}
Intersect(n_8, h_7) → H_{17}
Point(b_9) → I_{17}
Segment(H_{17}, I_{17}) → j_{12}
Intersect(n_9, h_7) → J_{17}
Intersect(n_8, h_8) → K_{17}
Segment(J_{17}, K_{17}) → k_{12}
Intersect(n_3, h_8) → L_{17}
Intersect(n_5, h_9) → M_{17}
Segment(L_{17}, M_{17}) → l_{12}
Intersect(n_5, h_8) → N_{17}
Intersect(n_3, h_9) → O_{17}
Segment(N_{17}, O_{17}) → m_{12}
Intersect(n_1, h_9) → P_{17}
Intersect(n_4, h_{10}) → Q_{17}
Segment(P_{17}, Q_{17}) → n_{12}
Intersect(n_4, h_9) → R_{17}
Intersect(n_1, h_{10}) → S_{17}
Segment(R_{17}, S_{17}) → p_{12}
Intersect(n_6, h_9) → T_{17}
Point(c_{10}) → U_{17}
Segment(T_{17}, U_{17}) → q_{12}
Intersect(n_7, h_9) → V_{17}
Intersect(n_6, h_{10}) → W_{17}
Segment(V_{17}, W_{17}) → r_{12}
Intersect(n_{10}, h_{10}) → Z_{17}
Point(s_{10}) → A_{18}
Segment(Z_{17}, A_{18}) → s_{12}
Point(t_{10}) → C_{18}
Intersect(n_{10}, h_{11}) → D_{18}
Segment(C_{18}, D_{18}) → t_{12}
Point(d_{10}) → E_{18}
Intersect(n_9, h_{11}) → F_{18}
Segment(E_{18}, F_{18}) → a_{12}
Point(p_{10}) → G_{18}
Point(c_{10}) → H_{18}
Segment(G_{18}, H_{18}) → b_{12}
Point(k_{11}) → I_{18}
Intersect(n_5, h_4) → J_{18}
Segment(I_{18}, J_{18}) → c_{12}
Point(j_{11}) → K_{18}
Intersect(n_3, h_4) → L_{18}
Segment(K_{18}, L_{18}) → d_{12}
Point(c_{11}) → M_{18}
Segment(L_{18}, M_{18}) → e_{12}
Point(b_{11}) → N_{18}
Segment(J_{18}, N_{18}) → f_{13}
Point(c_{11}) → O_{18}
Intersect(n_5, h_7) → P_{18}
Segment(O_{18}, P_{18}) → g_{13}
Point(b_{11}) → Q_{18}
Intersect(n_3, h_7) → R_{18}
Segment(Q_{18}, R_{18}) → h_{13}
Point(m_{12}) → S_{18}
Segment(R_{18}, S_{18}) → i_{13}
Point(l_{12}) → T_{18}
Segment(P_{18}, T_{18}) → j_{13}
Point(m_{12}) → U_{18}
Intersect(n_5, h_{10}) → V_{18}
Segment(U_{18}, V_{18}) → k_{13}
Point(l_{12}) → W_{18}
Point(s_{10}) → Z_{18}
Segment(W_{18}, Z_{18}) → l_{13}
Intersect(n_5, h_{11}) → A_{19}
Segment(Z_{18}, A_{19}) → m_{13}
Point(t_{10}) → C_{19}
Segment(V_{18}, C_{19}) → n_{13}
Point(a_{11}) → D_{19}
Intersect(n_9, h_6) → E_{19}
Segment(D_{19}, E_{19}) → p_{13}
Point(t_{11}) → F_{19}
Intersect(n_8, h_6) → G_{19}
Segment(F_{19}, G_{19}) → q_{13}
Intersect(n_6, h_8) → H_{19}
Point(r_{12}) → I_{19}
Segment(H_{19}, I_{19}) → r_{13}
Intersect(n_7, h_8) → J_{19}
Intersect(n_7, h_8) → K_{19}
Point(q_{12}) → L_{19}
Segment(K_{19}, L_{19}) → s_{13}
Point(p_{12}) → M_{19}
Intersect(n_4, h_{11}) → N_{19}
Segment(M_{19}, N_{19}) → t_{13}
Point(n_{12}) → O_{19}
Intersect(n_1, h_{11}) → P_{19}
Segment(O_{19}, P_{19}) → a_{13}