A = (9.78, 0.56)
B = (3.76, 2.52)
f = Segment(A, B)
C = (-1.2, -2.16)
g = Segment(B, C)
D = (1.06, -6.1)
h = Segment(C, D)
i = Segment(D, A)
j = AngularBisector(C, B, A)
k = AngularBisector(B, A, D)
l = AngularBisector(C, D, A)
m = AngularBisector(D, C, B)
n = OrthogonalLine(B, j)
p = OrthogonalLine(A, k)
q = OrthogonalLine(D, l)
r = OrthogonalLine(C, m)
E = Intersect(n, r)
F = Intersect(n, p)
G = Intersect(p, q)
H = Intersect(q, r)
s = Segment(E, F)
t = Segment(F, G)
a = Segment(G, H)
b = Segment(H, E)
c = OrthogonalLine(E, g)
d = OrthogonalLine(F, f)
e = OrthogonalLine(G, i)
f_1 = OrthogonalLine(H, h)
I = Intersect(c, f_1)
J = Intersect(d, e)
K = Intersect(c, d)
L = Intersect(e, f_1)
g_1 = AngularBisector(I, L, J)
h_1 = AngularBisector(L, J, K)
i_1 = AngularBisector(L, I, K)
M = Intersect(g_1, h_1)
j_1 = Segment(E, K)
k_1 = Segment(F, K)
l_1 = Segment(G, L)
m_1 = Segment(L, H)
n_1 = OrthogonalLine(M, m_1)
N = Intersect(n_1, m_1)
c_1 = Circle(M, N)
O = Intersect(h, m_1)
P = Intersect(g, j_1)
Q = Intersect(f, k_1)
R = Intersect(i, l_1)
α = Angle(B, P, E)
β = Angle(A, Q, F)
γ = Angle(A, R, L)
δ = Angle(C, O, H)
ε = Angle(E, B, C)
ζ = Angle(A, B, F)
η = Angle(F, A, Q)
θ = Angle(R, A, G)
ι = Angle(G, D, R)
κ = Angle(R, C, H)
λ = Angle(C, D, H)
μ = Angle(H, C, D)
ν = Angle(P, C, E)
e_1 = Circle(K, F)