A = (4.3, 0.62)
B = (-1.14, 0.9)
C = (2.9, -0.76)
a = Segment(A, B)
b = Segment(B, C)
c = Segment(C, A)
d = AngularBisector(A, B, C)
e = AngularBisector(C, A, B)
f = AngularBisector(B, C, A)
I = Intersect(e, d)
g = OrthogonalLine(I, b)
h = OrthogonalLine(I, c)
i = OrthogonalLine(I, a)
D = Intersect(i, a)
E = Intersect(g, b)
F = Intersect(h, c)
k = Circle(I, D)
j = Line(A, E)
l = Line(B, F)
m = Line(D, C)
G = Intersect(j, l)
A'' = Intersect(e, b)
B'' = Intersect(d, c)
C'' = Intersect(f, a)
n = Line(C'', B'')
p = Line(B, C)
P = Intersect(n, p)
q = Line(A, C)
r = Line(A'', C'')
Q = Intersect(r, q)
s = Line(A, B)
t = Line(B'', A'')
R = Intersect(s, t)
a_1 = Line(Q, P)