A = (3.456264453723855, 7.878516222279011)
B = (-5.511281861816247, -0.10452620181754813)
C = (7.073246141853394, 0.0024850907306632735)
t1, c, a, b = Polygon(A, B, C)
d = Incircle(A, B, C)
E, E_2 = Intersect(d, a)
f = Segment(A, E)
e = Circle(C, Segment[C, E])
F = Intersect(e, f, 1)
D = Intersect(d, f, 2)
G = Intersect(Line[B, D], Line[C, F])
g = Segment(C, G)
h = Segment(B, D)
i = Segment(C, F)
j = Segment(C, E)
k = Segment(F, G)
M = Midpoint(B, C)
H = Intersect(a, OrthogonalLine[A, a])
l = Segment(A, H)
T = Intersect(OrthogonalLine[C, Segment[A, E]], Segment[A, E])
m = Segment(C, T)
n = Segment(M, F)
α = Angle(A, H, E)
β = Angle(C, T, A)
I = Center(d)