A = (14.721254347633462, -1.2904970017801773)
B_1 = (12.263231100308351, -3.1414181217539157)
c = Circle(A, B_1)
D = (20.44049696274838, -0.15815674249561024)
f = Line(A, D)
g = Line(A, B_1)
h = Line(D, g)
i = Line(B_1, f)
D_1 = Intersect(h, i)
d = Circle(D, D_1)
B = Point(c)
j = Segment(B, A)
E' = Rotate(B, 10555°, A)
α = Angle(B, A, E')
F_1 = Point(d)
k = Segment(F_1, D)
F = Rotate(F_1, 115°, D)
β = Angle(F_1, D, F)
l = Segment(D, F)
m = Segment(A, E')
J = Midpoint(A, D)
I_1 = Midpoint(B, F_1)
n = Segment(F_1, E')
H = Midpoint(F_1, E')
K = Midpoint(B, F)
r = Line(H, K)
C = Midpoint(A, E')
E = Midpoint(D, F_1)
I = Midpoint(E, C)
t = Segment(C, A)
a = Segment(E, D)
b = Segment(C, B)
e = Segment(E, F)
G = Point(r)
L = Point(r)
f_1 = Segment(G, L)
γ = Angle(D, F, E)
δ = Angle(F, E, D)
ε = Angle(A, C, B)
ζ = Angle(C, B, A)
g_1 = Segment(C, J)
h_1 = Segment(J, B)
i_1 = Line(C, h_1)
j_1 = Line(B, g_1)
k_1 = Segment(J, E)
l_1 = Line(E, g_1)
m_1 = Line(C, k_1)
n_1 = Line(F, h_1)
p_1 = Segment(J, F)
q_1 = Line(B, p_1)
M = Midpoint(C, B)
N = Midpoint(E, F)
r_1 = Segment(J, M)
s_1 = Segment(M, K)
t_1 = Segment(K, N)
a_1 = Segment(N, J)
b_1 = Segment(M, I)
c_1 = Segment(I, N)
η = Angle(I, N, K)
θ = Angle(N, K, M)
q = Segment(B, K)
d_1 = Segment(K, F)
p = Segment(A, J)
s = Segment(J, D)
e_1 = Segment(E, I)
f_2 = Segment(I, C)