A = (0.45994826237394076, 6.808403296796898)
B = (-1.958506949215633, -0.01891716777898019)
C = (8.281632575087189, -0.14363261654358797)
t1, c, a, b = Polygon(A, B, C)
M = Midpoint(a)
N = Midpoint(b)
P = Midpoint(c)
f = Ray(A, M)
D = Intersect(LineBisector[c], f)
E = Intersect(LineBisector[b], f)
g = Segment(B, D)
h = Segment(C, E)
F = Intersect(Line[B, D], Line[C, E])
i = Segment(D, P)
j = Segment(E, N)
k = Segment(E, F)
l = Segment(A, M)
d = Circle(A, P, F)
α = Angle(D, P, A)
β = Angle(A, N, E)
m = Segment(A, P)
n = Segment(P, B)
p = Segment(A, N)
q = Segment(C, N)
r = Segment(B, M)
s = Segment(C, M)
O = Center(Circle[A, B, C])
t = Segment(O, P)