A_1 = (6.34, 2.52)
A = (-0.295265969802555, -5.14)
f = Segment(A_1, A)
D = (12.563879210220684, -5.022392566782808)
g = Segment(A, D)
D_1 = (9.62, 2.86)
h = Segment(D, D_1)
i = AngularBisector(A_1, A, D)
j = AngularBisector(D_1, D, A)
R = Intersect(i, j)
k = OrthogonalLine(R, i)
B = Intersect(k, f)
l = Line(B, g)
C = Intersect(l, h)
c = Circle(A, B)
d = Circle(C, B)
B' = Intersect(c, g, 1)
K = Intersect(d, h, 1)
e = Circle(D, K)
L = Point(c)
M_1 = Point(c)
p = CircleArc(A, L, M_1)
N_1 = Point(d)
O = Point(d)
q = CircleArc(C, N_1, O)
m = Segment(B, C)
n = OrthogonalLine(R, g)
N = Intersect(n, g)
r = Circle(R, N)
s = OrthogonalLine(R, f)
t = OrthogonalLine(R, h)
a = OrthogonalLine(R, m)
Q = Intersect(s, f)
M = Intersect(a, m)
S = Intersect(t, h)
b = Segment(R, Q)
f_1 = Segment(R, S)
g_1 = Segment(R, M)
h_1 = Segment(R, N)
j_1 = Segment(B, K)
k_1 = Segment(K, B')
c_1 = Circle(D, C)
d_1 = Circle(B, C)
i_1 = Segment(B, B')
α = Angle(B, K, R)
β = Angle(R, K, B')
γ = Angle(K, B', R)
δ = Angle(R, B, K)
ε = Angle(B', A, R)
ζ = Angle(K, D, R)
η = Angle(B, C, R)
θ = Angle(A, B, R)
ι = Angle(K, R, B)
κ = Angle(C, K, R)
e_1 = Circle(D, C)
C' = Intersect(e_1, g, 1)
l_1 = Segment(B, C')
m_1 = Segment(C, B')
n_1 = Segment(C, C')