A_1 = (16.38, 4.62)
B_1 = (12.28, -4.12)
f = Line(A_1, B_1)
C_1 = (17.48, -3.18)
D_1 = (-3.56, -3.08)
g = Line(C_1, D_1)
E_1 = (17.32, 1.12)
h = Line(E_1, g)
F_1 = (3.66, -0.64)
i = Line(F_1, f)
C = Intersect(f, h)
D = Intersect(f, g)
A = Intersect(g, i)
B = Intersect(h, i)
j = AngularBisector(C, D, A)
J = Point(j)
k = Line(C, J)
l = Line(A, J)
E = Intersect(i, k)
F = Intersect(h, l)
m = Segment(B, C)
n = Segment(C, D)
p = Segment(D, A)
q = Segment(A, B)
N = Point(j)
r = Segment(D, N)
O = Point(l)
s = Segment(A, O)
P = Point(k)
t = Segment(C, P)
α = Angle(J, D, A)
β = Angle(C, D, J)
a = Line(J, A)
b = Line(J, C)
c = Line(D, C)
d = Line(D, A)
G = Intersect(b, d)
H = Intersect(a, c)
I = Point(c)
e = Segment(C, I)
K = Point(d)
f_1 = Segment(A, K)
g_1 = Segment(G, E)
h_1 = Segment(F, H)
i_1 = Line(J, n)
j_1 = Line(J, p)
L = Intersect(j_1, n)
M = Intersect(i_1, p)
c_1 = Circle(J, M)
γ = Angle(B, C, J)
δ = Angle(D, G, J)
ε = Angle(E, J, A)
ζ = Angle(D, A, B)