A' = (-7.011213394349847, 4.575725959572148)
B' = (-9.032248275537114, 2.292705075267994)
C' = (-4.877898797541064, 2.7792505096278957)
f = Line(B', A')
g = Line(B', C')
h = Line(A', C')
i = AngularBisector(A', B', C')
j = AngularBisector(B', A', C')
k = AngularBisector(A', C', B')
A = Point(j)
l = OrthogonalLine(A, h)
E_{1} = Intersect(h, l)
c = Circle(A, E_{1})
B = Point(i)
C = Point(k)
m = OrthogonalLine(B, g)
n = OrthogonalLine(C, g)
H = Intersect(g, m)
I_{1} = Intersect(g, n)
d = Circle(B, H)
e = Circle(C, I_{1})
p = Line(A, B)
q = Line(B, C)
r = Line(C, A)
D = Intersect(f, p)
E = Intersect(h, r)
F = Intersect(g, q)
s = Line(E, F)
h' = Mirror(h, r)
g' = Mirror(g, q)
f' = Mirror(f, p)
I = Intersect(i, j)
t = Segment(A', B')
a = Segment(B', C')
b = Segment(C', A')
f_1 = Segment(A, C)
g_1 = Segment(C, B)
h_1 = Segment(B, A)