A = (0.7995940671350528, 9.644988480798155)
B = (-1.6885245901639347, 2.4918032786885247)
C = (9.114754098360661, 2.4590163934426226)
t1, c, a, b = Polygon(A, B, C)
O = Center(Circle[A, B, C])
D = Point(a)
M = Intersect(LineBisector[B, D], Line[A, B])
N = Intersect(LineBisector[D, C], Line[A, C])
d = Circle(A, M, N)
E = Mirror(D, Segment[M, N])
f = Segment(D, E)
g = Segment(M, N)
F = Intersect(f, g)
α = Angle(N, F, E)
h = Segment(M, D)
i = Segment(N, D)
j = Segment(M, E)
k = Segment(E, N)
β = Angle(M, A, N)
γ = Angle(M, E, N)
δ = Angle(N, D, M)
ε = Angle(E, M, A)
ζ = Angle(E, N, A)
e = Circle(A, B, C)
l = Segment(D, F)
m = Segment(E, F)
n = Segment(M, O)
p = Segment(E, B)
X = Intersect(Line[O, M], Line[B, E])
Y = Intersect(Line[O, N], Line[C, E])
q = Segment(O, Y)
r = Segment(E, C)