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