_ L

_ C∞⊥π_2

_ C∞⊥π_2

_ C∞⊥π_1

_ A''

_ B''

_ C''

_ D''

_ D'

_ A'

_ C'

_ B'

_ D'

_ A'

_ C'

_ B'

_ A''

_ B''

_ C''

_ D''

_ A

_ B

_ D

_ C

_ L

_ π_2

_ π_1

_ t''_ε

_ t''_ε

_ t''_ε≡a'

_ t''_ε≡a'

_ (t''_ε)

_ (A)

_ (B)

_ (C)

_ (D)

_ (C)

_ (B)

_ (A)

_ (D)

_ (t''ε)

e = 1.3 (slider from 0 to 5, step 0.1)
E = (15.986573075958255, -8.955259443374892)
q_1 = Circle(E, e)
S = Point(q_1)
α = 2.3108159296404924 rad (slider from 0 to 6.283185307179586, step 0.0017453292519943296)
r_1 = Line(S, E)
s_1 = OrthogonalLine(E, r_1)
T = Intersect(q_1, s_1, 1.0)
t_1 = Rotate(r_1, α, E)
U = Intersect(q_1, t_1, 2.0)
a_2 = Line(U, T)
V = Intersect(r_1, a_2)
b_2 = OrthogonalLine(U, r_1)
poli3, u_2, e_3, f_2, g_2, A_1, B_1 = Polygon(U, E, 4.0)
c_2 = Line(U, A_1)
W = Intersect(r_1, c_2)
d_2 = OrthogonalLine(A_1, r_1)
e_2 = Line(B_1, A_1)
Z = Intersect(r_1, e_2)
h_2 = OrthogonalLine(B_1, r_1)
C_1 = Intersect(q_1, s_1, 2.0)
D_1 = Intersect(q_1, r_1, 2.0)
j_2 = Segment(D_1, T)
β = 1.1985175973445061 rad (slider from 0.9599310885968813 to 1.3962634015954636, step 1.7453292519943296E-4)
E_1 = Rotate(D_1, β, D_1)
F_1 = Rotate(D_1, -(β), E_1)
T' = Rotate(T, -(β), E_1)
l_2 = Segment(F_1, T')
G_1 = Intersect(l_2, s_1)
i_2 = Line(V, G_1)
H_1 = Intersect(b_2, i_2)
k_2 = Line(H_1, W)
I_1 = Intersect(d_2, k_2)
m_2 = Line(I_1, Z)
J_1 = Intersect(h_2, m_2)
n_2 = Line(G_1, r_1)
K_1 = Intersect(q_1, n_2, 2.0)
p_2 = Line(K_1, E)
q_2 = OrthogonalLine(E, p_2)
L_1 = Intersect(q_1, q_2, 2.0)
r_2 = OrthogonalLine(L_1, s_1)
M_1 = Intersect(s_1, r_2)
v = Vector(E, M_1)
N_1 = Translate(I_1, v)
O_1 = Translate(J_1, v)
P_1 = Translate(H_1, v)
s_2 = Segment(H_1, J_1)
t_2 = Segment(J_1, I_1)
a_3 = Segment(I_1, E)
b_3 = Segment(E, H_1)
c_3 = Segment(P_1, M_1)
d_3 = Segment(P_1, H_1)
f_3 = Segment(E, M_1)
g_3 = Segment(M_1, N_1)
h_3 = Segment(N_1, I_1)
i_3 = Segment(N_1, O_1)
j_3 = Segment(O_1, J_1)
k_3 = Segment(O_1, P_1)
A = Mirror(N_1, M_1)
B = Mirror(O_1, P_1)
E' = Mirror(E, M_1)
C = Mirror(H_1, P_1)
poli1, b, o_1, n_1, a = Polygon(B, O_1, N_1, A)
poli2, h_1, c, e', e_1 = Polygon(H_1, C, E', E)
D = (13.019048285210145, -8.912977606982603)
F = (13.616075419934898, -8.912977606982603)
u = Vector(D, F)
G = (12.1532474891965, -10.082823282757467)
d = Line(G, u)
H = Point(d)
I = Point(d)
f = Segment(H, I)
poli4, h, i, j, k, L, M = Polygon(H, I, 4.0)
poli5, i_1, h_4, l, m, N, O = Polygon(I, H, 4.0)
P = (14.374623247741608, -8.113592402575394)
Q = (14.480861534301889, -8.53854554881652)
poli6, p, q, n, r, R, Q_1 = Polygon(P, Q, 4.0)
R_1 = (14.985380306992452, -11.870211123838242)
S_1 = (14.93226116371231, -12.264810473919288)
poli7, r_3, s_3, s, t, T_1, U_1 = Polygon(R_1, S_1, 4.0)
V_1, W_1, Z_1, A_2 = Omografia4punti(P, Q_1, R, Q, H_1, E, M_1, P_1, M, L, I, H)
poli8, v_1, w_1, z_1, a_1 = Polygon(V_1, W_1, Z_1, A_2)
B_2, C_2, D_2, E_2 = Omografia4punti(R_1, U_1, T_1, S_1, P_1, M_1, N_1, O_1, H, I, O, N)
poli9, b_1, c_1, d_1, e_4 = Polygon(B_2, C_2, D_2, E_2)
f_1 = Line(L, M)
g_1 = Line(O, N)
D_3 = (18.9678994820321, -11.09734723620801)
E_3 = (19.235078366488246, -11.145516279843227)
poli15, d_4, e_5, c_4, f_4, F_3, G_3 = Polygon(D_3, E_3, 4.0)
g_4 = CircleArc(D_3, E_3, G_3)
I_3 = Point(g_4)
K_3 = Point(c_3)
z = Vector(P_1, H_1)
B' = Translate(B, z)
A' = Translate(A, z)
u_1 = Vector(M_1, E')
L_3 = Translate(N_1, u_1)
M_3 = Translate(O_1, u_1)
N_3 = Strumento1(I_3, M_1, N_1, L_3, E', D_3, G_3, F_3, E_3)
luogo2 = Locus(N_3, I_3)
O_3 = Strumento1(I_3, P_1, H_1, B', B, D_3, E_3, F_3, G_3)
luogo3 = Locus(O_3, I_3)
P_3 = Strumento1(I_3, M_1, E, A', A, D_3, E_3, F_3, G_3)
luogo4 = Locus(P_3, I_3)
Q_3 = Strumento1(I_3, P_1, C, M_3, O_1, D_3, E_3, F_3, G_3)
luogo5 = Locus(Q_3, I_3)
R_3 = Point(g_4)
S_3 = Strumento1(R_3, P_1, H_1, B', B, D_3, E_3, F_3, G_3)
T_3 = Strumento1(R_3, M_1, E, A', A, D_3, E_3, F_3, G_3)
U_3 = Strumento1(R_3, P_1, C, M_3, O_1, D_3, E_3, F_3, G_3)
V_3 = Strumento1(R_3, M_1, E', L_3, N_1, D_3, E_3, F_3, G_3)
v_2 = Vector(O_3, S_3)
u_3 = Vector(P_3, T_3)
v_3 = Vector(Q_3, U_3)
w_3 = Vector(N_3, V_3)
J_2 = Point(d)
n_3 = rettadirichiamo(J_2, d)
K_2 = Point(n_3)
M_2 = Mirror(K_2, J_2)
L_2 = Point(n_3)
N_2 = Mirror(L_2, J_2)
O_2, P_2 = Corr2Pti(P, Q, R, Q_1, V_1, A_2, Z_1, W_1, L_2, K_2)
Q_2, R_2 = Corr2Pti(R_1, U_1, T_1, S_1, B_2, C_2, D_2, E_2, N_2, M_2)
p_3 = Line(R_2, h_3)
q_3 = Line(Q_2, p_3)
t_3 = Line(P_2, a_3)
a_4 = Line(O_2, t_3)
S_2 = Point(n_3)
T_2 = Point(n_3)
U_2 = Strumento1(T_2, V_1, W_1, Z_1, A_2, P, Q_1, R, Q)
V_2 = Strumento1(S_2, B_2, C_2, D_2, E_2, R_1, U_1, T_1, S_1)
b_4 = Line(V_2, h_3)
i_4 = Line(U_2, t_3)
C_3 = Intersect(a_4, b_4)
H_3 = Intersect(t_3, b_4)
w = Vector(C_3, H_3)
J_3 = Intersect(q_3, i_4)
W_3 = Intersect(p_3, i_4)
z_3 = Vector(J_3, W_3)
A_4 = Point(z_3)
Z_3 = Point(w)
J = Point(d)
g = OrthogonalLine(J, d)
K = (13.212121625843581, -10.790000368492526)
j_1 = Line(J, K)
F_2 = (13.6800628124432, -10.604041120281725)
G_2 = (13.520757895241497, -10.91504641703228)
poli10, f_5, g_5, k_1, l_1, H_2, I_2 = Polygon(F_2, G_2, 4.0)
B_4 = ProiezPuntSuRetta(I_2, j_1)
C_4 = ProiezPuntSuRetta(F_2, j_1)
D_4 = ProiezPuntSuRetta(G_2, j_1)
E_4 = ProiezPuntSuRetta(H_2, j_1)
m_1 = OrthogonalLine(J, j_1)
F_4 = ProiezPuntSuRetta(F_2, m_1)
G_4 = ProiezPuntSuRetta(I_2, m_1)
H_4 = ProiezPuntSuRetta(H_2, m_1)
I_4 = ProiezPuntSuRetta(G_2, m_1)
J_4 = (12.132257992947336, -8.208841612368243)
p_1 = Line(J_4, g)
l_3 = Line(J_4, m_1)
p_4 = Circle(J_4, 1.0)
K_4 = Intersect(p_4, l_3, 2.0)
L_4 = Intersect(p_4, p_1, 2.0)
j_4 = Ray(J_4, L_4)
k_4 = Ray(J_4, K_4)
γ = Angle(k_4, j_4)
M_4 = Rotate(F_4, γ, J)
N_4 = Rotate(G_4, γ, J)
O_4 = Rotate(H_4, γ, J)
P_4 = Rotate(I_4, γ, J)
l_4 = Line(M_4, d)
m_4 = Line(P_4, d)
n_4 = Line(N_4, d)
q_4 = Line(O_4, d)
R_4 = ProiezPuntSuRetta(C_4, l_4)
S_4 = ProiezPuntSuRetta(B_4, n_4)
T_4 = ProiezPuntSuRetta(E_4, q_4)
U_4 = ProiezPuntSuRetta(D_4, m_4)
poli11, r_4, s_4, t_4, u_4 = Polygon(R_4, S_4, T_4, U_4)
V_4 = ProiezPuntSuRetta(D_4, d)
W_4 = ProiezPuntSuRetta(E_4, d)
Z_4 = ProiezPuntSuRetta(C_4, d)
A_5 = ProiezPuntSuRetta(B_4, d)
c_5 = Segment(U_4, V_4)
d_5 = Segment(V_4, D_4)
h_5 = Segment(T_4, W_4)
i_5 = Segment(W_4, E_4)
j_5 = Segment(R_4, Z_4)
k_5 = Segment(Z_4, C_4)
m_5 = Segment(S_4, A_5)
n_5 = Segment(A_5, B_4)
p_5 = CircleArc(J, F_4, M_4)
q_5 = CircleArc(J, I_4, P_4)
r_5 = CircleArc(J, G_4, N_4)
s_5 = CircleArc(J, H_4, O_4)
t_5 = Segment(O_4, T_4)
a_6 = Segment(S_4, N_4)
b_6 = Segment(P_4, U_4)
c_6 = Segment(R_4, M_4)
d_6 = Segment(B_4, I_2)
e_6 = Segment(C_4, F_2)
f_6 = Segment(E_4, H_2)
g_6 = Segment(D_4, G_2)
h_6 = Segment(F_4, F_2)
i_6 = Segment(I_4, G_2)
j_6 = Segment(G_4, I_2)
k_6 = Segment(H_4, H_2)
W_2, Z_2, A_3, B_3, Q_4, B_5, C_5, D_5, E_5 = Corr9Pti(R_1, U_1, T_1, S_1, B_2, C_2, D_2, E_2, H_2, G_2, F_2, I_2, B_4, C_4, E_4, D_4, J)
F_5 = (13.309345268081186, -11.628234538075686)
G_5, H_5, I_5, J_5, K_5, L_5, M_5, N_5, O_5 = Corr9Pti(R_1, U_1, T_1, S_1, B_2, C_2, D_2, E_2, F_4, I_4, G_4, H_4, A_5, Z_4, W_4, V_4, F_5)
P_5 = (12.881602851323422, -9.312993837847149)
Q_5, R_5, S_5, T_5, U_5, V_5, W_5, Z_5, A_6 = Corr9Pti(Q, R, Q_1, P, A_2, Z_1, W_1, V_1, R_4, S_4, T_4, U_4, M_4, P_4, N_4, O_4, P_5)
poli12, z_5, a_5, s_6, r_6 = Polygon(Z_5, A_6, S_5, R_5)
poli13, e_7, d_7, z_2, a_7 = Polygon(E_5, D_5, Z_2, A_3)
m_3 = Segment(D_5, B_5)
b_5 = Segment(L_5, B_5)
l_5 = Segment(S_5, L_5)
l_6 = Line(B_5, f_3)
m_6 = Line(S_5, g_3)
B_6 = Intersect(l_6, m_6)
n_6 = Segment(B_6, S_5)
p_6 = Segment(B_6, B_5)
q_6 = Segment(E_5, Q_4)
t_6 = Segment(Q_4, K_5)
b_7 = Segment(R_5, K_5)
c_7 = Line(Q_4, e')
f_7 = Line(R_5, k_3)
C_6 = Intersect(c_7, f_7)
g_7 = Segment(C_6, R_5)
h_7 = Segment(C_6, Q_4)
i_7 = Segment(W_2, G_5)
j_7 = Segment(A_6, G_5)
k_7 = Segment(W_2, Z_2)
l_7 = Line(W_2, f_3)
m_7 = Line(A_6, g_3)
D_6 = Intersect(l_7, m_7)
n_7 = Segment(D_6, W_2)
p_7 = Segment(D_6, A_6)
q_7 = Segment(A_3, B_3)
r_7 = Segment(B_3, J_5)
s_7 = Segment(Z_5, J_5)
t_7 = Line(B_3, e')
a_8 = Line(Z_5, b)
E_6 = Intersect(t_7, a_8)
b_8 = Segment(E_6, Z_5)
c_8 = Segment(E_6, B_3)
F_6 = Intersect(f_1, g)
G_6 = Strumento11(F_6, A_2, Z_1, W_1, V_1, Q, R, Q_1, P)
d_8 = Line(M, N)
H_6 = Intersect(j_1, d_8)
I_6 = Strumento11(H_6, B_2, C_2, D_2, E_2, R_1, U_1, T_1, S_1)
J_6 = Translate(I_6, z)
poli14, g_8, j_8, i_8, c_9 = Polygon(G_6, J_6, I_6, C_5)
poli16, d_9, b_9, c_{10}, e_8 = Polygon(D_6, B_6, C_6, E_6)
w_2 = Vector(B_3, E_6)
v_4 = Vector(W_2, D_6)
w_4 = Vector(B_5, B_6)
z_4 = Vector(Q_4, C_6)
K_6 = Translate(D_5, w_4)
L_6 = Translate(E_5, z_4)
M_6 = Translate(Z_2, v_4)
N_6 = Translate(A_3, w_2)
O_6 = Strumento11(I_3, B_5, D_5, K_6, B_6, D_3, E_3, F_3, G_3)
luogo1 = Locus(O_6, I_3)
P_6 = Strumento11(I_3, Q_4, E_5, L_6, C_6, D_3, E_3, F_3, G_3)
luogo6 = Locus(P_6, I_3)
Q_6 = Strumento11(I_3, W_2, Z_2, M_6, D_6, D_3, E_3, F_3, G_3)
luogo7 = Locus(Q_6, I_3)
R_6 = Strumento11(I_3, B_3, A_3, N_6, E_6, D_3, E_3, F_3, G_3)
luogo8 = Locus(R_6, I_3)
S_6 = Rotate(F_6, -(γ), J)
T_6 = Strumento11(S_6, B_2, C_2, D_2, E_2, R_1, U_1, T_1, S_1)
f_8 = Segment(T_6, C_5)
h_8 = Segment(H_5, E_5)
k_8 = Segment(I_5, A_3)
l_8 = Segment(O_5, D_5)
m_8 = Segment(N_5, Z_2)
n_8 = Segment(V_5, R_5)
p_8 = Segment(U_5, Z_5)
q_8 = Segment(Q_5, S_5)
r_8 = Segment(T_5, A_6)
u_5 = Vector(B_5, C_5)
U_6 = Translate(O_6, u_5)
luogo9 = Locus(U_6, I_3)
v_5 = Vector(Q_4, C_5)
V_6 = Translate(P_6, v_5)
luogo10 = Locus(V_6, I_3)
w_5 = Vector(W_2, C_5)
W_6 = Translate(Q_6, w_5)
luogo11 = Locus(W_6, I_3)
u_6 = Vector(B_3, C_5)
Z_6 = Translate(R_6, u_6)
luogo12 = Locus(Z_6, I_3)
A_7 = Strumento11(R_3, B_3, A_3, N_6, E_6, D_3, E_3, F_3, G_3)
B_7 = Strumento11(R_3, W_2, Z_2, M_6, D_6, D_3, E_3, F_3, G_3)
C_7 = Strumento11(R_3, Q_4, E_5, L_6, C_6, D_3, E_3, F_3, G_3)
D_7 = Strumento11(R_3, B_5, D_5, K_6, B_6, D_3, E_3, F_3, G_3)
v_6 = Vector(D_7, O_6)
w_6 = Vector(B_7, Q_6)
z_6 = Vector(A_7, R_6)
u_7 = Vector(C_7, P_6)
s_8 = Segment(B_4, D_4)
t_8 = Segment(G_6, C_5)
a_9 = Segment(C_5, B_5)
e_9 = Segment(B_3, I_6)
f_9 = Segment(B_5, B_3)
g_9 = Segment(B_4, J)
h_9 = Segment(F_6, J)
i_9 = Segment(D_4, H_6)
E_7 = Intersect(p_4, l_3, 1.0)
j_9 = Ray(J_4, E_7)
δ = Angle(j_4, j_9)
F_7 = Rotate(B_4, -(δ), J)
G_7 = ProiezPuntSuRetta(F_7, n_4)
H_7 = Rotate(C_4, -(δ), J)
I_7 = ProiezPuntSuRetta(H_7, l_4)
J_7 = Rotate(E_4, -(δ), J)
K_7 = ProiezPuntSuRetta(J_7, q_4)
L_7 = Rotate(D_4, -(δ), J)
t_{10} = Segment(T_5, D_6)
a_{11} = Segment(Q_5, B_6)
b_{11} = Segment(U_5, E_6)
c_{11} = Segment(V_5, C_6)
Z_8 = Point(f)
A_9 = Point(t_8)
B_9 = Point(e_9)
C_9 = Point(h_9)
D_9 = Point(i_9)
poli19, p_{11}, o_2, n_{11}, m_{12} = Polygon(P_1, O_1, N_1, M_1)
poli20, h_{11}, p_{12}, m_{13}, e_{11} = Polygon(H_1, P_1, M_1, E)
E_9 = Point(c_6)
F_9 = Point(c_6)
v_{10} = Vector(E_9, F_9)
G_9 = Point(b_6)
H_9 = Point(b_6)
w_{10} = Vector(G_9, H_9)
I_9 = Point(a_6)
J_9 = Point(a_6)
z_{10} = Vector(I_9, J_9)
K_9 = Point(t_5)
L_9 = Point(t_5)
u_{11} = Vector(K_9, L_9)
k_9 = Segment(J, S_6)
M_7 = Point(f_8)
N_7 = Point(k_9)
O_7 = Point(h_6)
P_7 = Point(h_6)
v_7 = Vector(O_7, P_7)
Q_7 = Point(i_6)
R_7 = Point(i_6)
w_7 = Vector(Q_7, R_7)
S_7 = Point(j_6)
T_7 = Point(j_6)
z_7 = Vector(S_7, T_7)
U_7 = Point(k_6)
V_7 = Point(k_6)
u_8 = Vector(U_7, V_7)
W_7 = Point(s_5)
Z_7 = Point(s_5)
v_8 = Vector(W_7, Z_7)
A_8 = Point(r_5)
B_8 = Point(r_5)
w_8 = Vector(A_8, B_8)
C_8 = Point(q_5)
D_8 = Point(q_5)
z_8 = Vector(C_8, D_8)
E_8 = Point(p_5)
F_8 = Point(p_5)
v_9 = Vector(E_8, F_8)

Tool: cubo4
Input: A, B, F
Output: L', O', N', A', L, O, N, m_1, n_1, p_1, l_1, k_1, i_1, h_1, j_1, c_1, d_1, e_1, g_1

c = Circle(A, 2.0)
B = Point(c)
a = Line(A, B)
b = OrthogonalLine(A, a)
C = Intersect(c, b, 2.0)
F = Point(c)
g = Line(F, C)
G = Intersect(a, g)
i = OrthogonalLine(F, a)
poli1_1, f_2, a_2, j_2, k_2, I_1, J_1 = Polygon(F, A, 4.0)
poli1, f_1, a_1, j, k, I, J = Polygon(F, A, 4.0)
l = Line(F, I)
K = Intersect(a, l)
n = OrthogonalLine(I, a)
p = Line(J, I)
M = Intersect(a, p)
r = OrthogonalLine(J, a)
D = Intersect(c, b, 1.0)
d = Segment(C, D)
H = Point(d)
f = Line(H, G)
L = Intersect(i, f)
h = Line(L, K)
N = Intersect(n, h)
m = Line(N, M)
O = Intersect(r, m)
q = OrthogonalLine(H, d)
P = Intersect(c, q, 1.0)
s = Line(P, A)
t = OrthogonalLine(A, s)
Q = Intersect(c, t, 2.0)
b_1 = OrthogonalLine(Q, d)
R = Intersect(b_1, d)
u = Vector(A, R)
A' = Translate(A, u)
N' = Translate(N, u)
O' = Translate(O, u)
L' = Translate(L, u)
c_1 = Segment(L', O')
d_1 = Segment(O', N')
e_1 = Segment(N', A')
g_1 = Segment(A', L')
h_1 = Segment(L', L)
i_1 = Segment(A', A)
j_1 = Segment(O', O)
k_1 = Segment(N', N)
l_1 = Segment(N, A)
m_1 = Segment(A, L)
n_1 = Segment(L, O)
p_1 = Segment(O, N)

Tool: cubo
Input: A, F, B, C
Output: poli1', poli4, poli5, poli3, poli2, poli1, P', J', O', O, J, P, P'_1

c = Circle(A, 2.0)
B = Point(c)
a = Line(B, A)
C = Point(c)
D = Intersect(c, a, 2.0)
e = OrthogonalLine(C, a)
f = Line(B, e)
g = Circle(B, C)
E = Intersect(g, a, 1.0)
F = Point(f)
h = Line(F, E)
i = OrthogonalLine(E, h)
G = Intersect(f, i)
k = Circle(E, 1.0)
H = Intersect(k, i, 2.0)
I = Intersect(k, h, 1.0)
j = Line(G, D)
J_1 = Intersect(a, e)
J = Intersect(a, e)
l = Line(F, J)
K = Midpoint(D, G)
p = Circle(K, D)
L = Intersect(p, l, 2.0)
m = Ray(L, D)
q = Circle(L, 1.0)
M = Intersect(q, m, 1.0)
n = OrthogonalLine(M, j)
N = Intersect(a, n)
r = Line(J, G)
s = OrthogonalLine(H, f)
t = OrthogonalLine(I, f)
O_1 = Intersect(r, s)
O = Intersect(r, s)
P_1 = Intersect(l, t)
P = Intersect(l, t)
u = Vector(J, O)
v = Vector(J, N)
P'_2 = Translate(P, u)
P'_1 = Translate(P, u)
poli1, p_1, j_1, o, p' = Polygon(P, J, O, P'_1)
P'_3 = Translate(P, v)
P' = Translate(P, v)
J'_1 = Translate(J, v)
J' = Translate(J, v)
O'_1 = Translate(O, v)
O' = Translate(O, v)
Q = Translate(P'_1, v)
poli1', p'_1, j', o', q_1 = Polygon(P', J', O', Q)
poli2, p'_2, p_2, p'_3, q_2 = Polygon(P', P, P'_1, Q)
poli3, p'_4, q_3, o'_1, o_1 = Polygon(P'_1, Q, O', O)
poli4, j_2, o_2, o'_2, j'_1 = Polygon(J, O, O', J')
poli5, p_3, j_3, j'_2, p'_5 = Polygon(P, J, J', P')

Tool: Omografia4punti
Input: A, B, C, D, E, F, G, H, I, J, K, L
Output: O_1, P_1, Q_1, R_1

a = Line(E, F)
b = Line(E, G)
c = Line(E, H)
d = Line(I, J)
e = Line(I, K)
f = Line(I, L)
M = Intersect(b, f)
N = Intersect(a, f)
O = Intersect(c, d)
P = Intersect(c, e)
g = Line(N, O)
h = Line(M, P)
Q = Intersect(g, h)
i = Line(H, F)
j = Line(H, G)
k = Line(L, J)
l = Line(L, K)
R = Intersect(f, i)
S = Intersect(f, j)
T = Intersect(c, l)
U = Intersect(c, k)
m = Line(R, U)
n = Line(T, S)
V = Intersect(m, n)
p = Line(I, A)
q = Line(I, B)
r = Line(I, C)
s = Line(I, D)
t = Line(L, A)
a_1 = Line(L, B)
b_1 = Line(L, C)
c_1 = Line(L, D)
W = Intersect(c, p)
Z = Intersect(c, q)
A_1 = Intersect(c, r)
B_1 = Intersect(c, s)
d_1 = Line(W, Q)
e_1 = Line(Z, Q)
f_1 = Line(Q, A_1)
g_1 = Line(B_1, Q)
C_1 = Intersect(f, g_1)
D_1 = Intersect(f, f_1)
E_1 = Intersect(f, e_1)
F_1 = Intersect(f, d_1)
h_1 = Line(C_1, E)
i_1 = Line(D_1, E)
j_1 = Line(E_1, E)
k_1 = Line(F_1, E)
G_1 = Intersect(c, t)
H_1 = Intersect(c, a_1)
I_1 = Intersect(c, b_1)
J_1 = Intersect(c, c_1)
l_1 = Line(J_1, V)
m_1 = Line(V, I_1)
n_1 = Line(H_1, V)
p_1 = Line(V, G_1)
K_1 = Intersect(f, l_1)
L_1 = Intersect(f, m_1)
M_1 = Intersect(f, n_1)
N_1 = Intersect(f, p_1)
q_1 = Line(K_1, H)
r_1 = Line(L_1, H)
s_1 = Line(M_1, H)
t_1 = Line(N_1, H)
O_1 = Intersect(k_1, t_1)
P_1 = Intersect(j_1, s_1)
Q_1 = Intersect(i_1, r_1)
R_1 = Intersect(h_1, q_1)

Tool: retta di richiamo (command rettadirichiamo)
Input: C, a
Output: c

b = OrthogonalLine(C, a)
D = Intersect(a, b)
c = OrthogonalLine(D, a)

Tool: Strumento1
Input: A, B, C, D, E, F, G, H, I
Output: Z

a = Line(B, C)
b = Line(F, G)
c = Line(B, D)
d = Line(F, H)
e = Line(B, E)
f = Line(I, F)
J = Intersect(c, f)
K = Intersect(a, f)
L = Intersect(b, e)
M = Intersect(d, e)
g = Line(J, M)
h = Line(L, K)
N = Intersect(g, h)
i = Line(E, C)
j = Line(E, D)
k = Line(I, G)
l = Line(I, H)
O = Intersect(f, i)
P = Intersect(f, j)
Q = Intersect(e, k)
R = Intersect(e, l)
m = Line(P, R)
n = Line(Q, O)
S = Intersect(m, n)
p = Line(A, F)
q = Line(I, A)
T = Intersect(e, p)
r = Line(T, N)
U = Intersect(f, r)
s = Line(U, B)
V = Intersect(e, q)
t = Line(V, S)
W = Intersect(f, t)
a_1 = Line(W, E)
Z = Intersect(s, a_1)

Tool: Strumento1 (command Strumento11)
Input: A, B, C, D, E, F, G, H, I
Output: Z

a = Line(B, C)
b = Line(F, G)
c = Line(B, D)
d = Line(F, H)
e = Line(B, E)
f = Line(I, F)
J = Intersect(c, f)
K = Intersect(a, f)
L = Intersect(b, e)
M = Intersect(d, e)
g = Line(J, M)
h = Line(L, K)
N = Intersect(g, h)
i = Line(E, C)
j = Line(E, D)
k = Line(I, G)
l = Line(I, H)
O = Intersect(f, i)
P = Intersect(f, j)
Q = Intersect(e, k)
R = Intersect(e, l)
m = Line(P, R)
n = Line(Q, O)
S = Intersect(m, n)
p = Line(A, F)
q = Line(I, A)
T = Intersect(e, p)
r = Line(T, N)
U = Intersect(f, r)
s = Line(U, B)
V = Intersect(e, q)
t = Line(V, S)
W = Intersect(f, t)
a_1 = Line(W, E)
Z = Intersect(s, a_1)

Tool: Corr2Pti
Input: A, B, C, D, E, F, G, H, I, K
Output: J, L

J = Strumento1(I, E, F, G, H, A, B, C, D)
L = Strumento1(K, E, F, G, H, A, B, C, D)

Tool: Corr2Pti (command Corr2Pti1)
Input: A, B, C, D, E, F, G, H, I, K
Output: J, L

J = Strumento1(I, E, F, G, H, A, B, C, D)
L = Strumento1(K, E, F, G, H, A, B, C, D)

Tool: Strumento1 (command Strumento12)
Input: A, B, C, D, E, F, G, H, I
Output: Z

a = Line(B, C)
b = Line(F, G)
c = Line(B, D)
d = Line(F, H)
e = Line(B, E)
f = Line(I, F)
J = Intersect(c, f)
K = Intersect(a, f)
L = Intersect(b, e)
M = Intersect(d, e)
g = Line(J, M)
h = Line(L, K)
N = Intersect(g, h)
i = Line(E, C)
j = Line(E, D)
k = Line(I, G)
l = Line(I, H)
O = Intersect(f, i)
P = Intersect(f, j)
Q = Intersect(e, k)
R = Intersect(e, l)
m = Line(P, R)
n = Line(Q, O)
S = Intersect(m, n)
p = Line(A, F)
q = Line(I, A)
T = Intersect(e, p)
r = Line(T, N)
U = Intersect(f, r)
s = Line(U, B)
V = Intersect(e, q)
t = Line(V, S)
W = Intersect(f, t)
a_1 = Line(W, E)
Z = Intersect(s, a_1)

Tool: Corr3Pti
Input: A, B, C, D, E, F, G, H, I, J, M
Output: N, K, L

K_1, L_1 = Corr2Pti(A, B, C, D, E, F, G, H, I, J)
K, L = Corr2Pti(A, B, C, D, E, F, G, H, I, J)
N = Strumento1(M, F, G, H, E, B, C, D, A)

Tool: Corr2Pti (command Corr2Pti2)
Input: A, B, C, D, E, F, G, H, I, K
Output: J, L

J = Strumento1(I, E, F, G, H, A, B, C, D)
L = Strumento1(K, E, F, G, H, A, B, C, D)

Tool: Corr4Pti
Input: A, B, C, D, E, F, G, H, I, J, M, N
Output: K, L, P, O

K_1, L_1 = Corr2Pti(A, B, C, D, E, F, G, H, I, J)
K, L = Corr2Pti(A, B, C, D, E, F, G, H, I, J)
O, P = Corr2Pti(A, B, C, D, E, F, G, H, M, N)

Tool: Corr3Pti (command Corr3Pti1)
Input: A, B, C, D, E, F, G, H, I, J, M
Output: N, K, L

K_1, L_1 = Corr2Pti(A, B, C, D, E, F, G, H, I, J)
K, L = Corr2Pti(A, B, C, D, E, F, G, H, I, J)
N = Strumento1(M, F, G, H, E, B, C, D, A)

Tool: Corr2Pti (command Corr2Pti3)
Input: A, B, C, D, E, F, G, H, I, K
Output: J, L

J = Strumento1(I, E, F, G, H, A, B, C, D)
L = Strumento1(K, E, F, G, H, A, B, C, D)

Tool: Corr5Pti
Input: A, B, C, D, E, F, G, H, I, J, K, O, P
Output: M, N, L, R, Q

L, M, N = Corr3Pti(A, B, C, D, E, F, G, H, I, J, K)
Q, R = Corr2Pti(A, B, C, D, E, F, G, H, O, P)

Tool: Corr3Pti (command Corr3Pti2)
Input: A, B, C, D, E, F, G, H, I, J, M
Output: N, K, L

K_1, L_1 = Corr2Pti(A, B, C, D, E, F, G, H, I, J)
K, L = Corr2Pti(A, B, C, D, E, F, G, H, I, J)
N = Strumento1(M, F, G, H, E, B, C, D, A)

Tool: Corr2Pti (command Corr2Pti4)
Input: A, B, C, D, E, F, G, H, I, K
Output: J, L

J = Strumento1(I, E, F, G, H, A, B, C, D)
L = Strumento1(K, E, F, G, H, A, B, C, D)

Tool: Strumento1 (command Strumento13)
Input: A, B, C, D, E, F, G, H, I
Output: Z

a = Line(B, C)
b = Line(F, G)
c = Line(B, D)
d = Line(F, H)
e = Line(B, E)
f = Line(I, F)
J = Intersect(c, f)
K = Intersect(a, f)
L = Intersect(b, e)
M = Intersect(d, e)
g = Line(J, M)
h = Line(L, K)
N = Intersect(g, h)
i = Line(E, C)
j = Line(E, D)
k = Line(I, G)
l = Line(I, H)
O = Intersect(f, i)
P = Intersect(f, j)
Q = Intersect(e, k)
R = Intersect(e, l)
m = Line(P, R)
n = Line(Q, O)
S = Intersect(m, n)
p = Line(A, F)
q = Line(I, A)
T = Intersect(e, p)
r = Line(T, N)
U = Intersect(f, r)
s = Line(U, B)
V = Intersect(e, q)
t = Line(V, S)
W = Intersect(f, t)
a_1 = Line(W, E)
Z = Intersect(s, a_1)

Tool: Corr6Pti
Input: A, B, C, D, E, F, G, H, I, J, K, O, P, S
Output: T, N, L, R, Q, M

L, M, N = Corr3Pti(A, B, C, D, E, F, G, H, I, J, K)
Q, R = Corr2Pti(A, B, C, D, E, F, G, H, O, P)
T = Strumento1(S, E, F, G, H, A, B, C, D)

Tool: Corr7Pti
Input: A, B, C, D, E, F, G, H, I, J, K, L, M, S, T
Output: Q, R, P, O, N, U, V

N_1, O_1, P_1, Q_1, R_1 = Corr5Pti(A, B, C, D, E, F, G, H, I, J, K, L, M)
N, O, P, Q, R = Corr5Pti(A, B, C, D, E, F, G, H, I, J, K, L, M)
U, V = Corr2Pti(A, B, C, D, E, F, G, H, S, T)

Tool: Corr2Pti (command Corr2Pti5)
Input: A, B, C, D, E, F, G, H, I, K
Output: J, L

J = Strumento1(I, E, F, G, H, A, B, C, D)
L = Strumento1(K, E, F, G, H, A, B, C, D)

Tool: Corr9Pti
Input: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, W, Z
Output: V, T, S, A_1, U, P, B_1, Q, R

P, Q, R, S, T, U, V = Corr7Pti(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O)
A_1, B_1 = Corr2Pti(A, B, C, D, E, F, G, H, W, Z)

Tool: Proiez Punt Su Retta (command ProiezPuntSuRetta)
Input: A, a
Output: D

b = OrthogonalLine(A, a)
D = Intersect(a, b)