A = Point(xAxis)
B = Point(xAxis)
C = (-2.1004958677685943, 3.3763936889556705)
a = Line(C, B)
b = Line(A, C)
c = Line(A, B)
d = AngularBisector(B, A, C)
e = AngularBisector(C, B, A)
f_2 = AngularBisector(A, C, B)
g = OrthogonalLine(A, d)
h = OrthogonalLine(B, e)
i_1 = OrthogonalLine(C, f_2)
I = Intersect(f_2, d)
I_A = Intersect(i_1, h)
I_C = Intersect(g, h)
I_B = Intersect(g, i_1)
j = OrthogonalLine(I_A, c)
k = OrthogonalLine(I_A, a)
l = OrthogonalLine(I_A, b)
D = Intersect(l, b)
E = Intersect(k, a)
F = Intersect(j, c)
i_a = Circle(I_A, E)
m = OrthogonalLine(I_B, b)
n = OrthogonalLine(I_B, a)
p = OrthogonalLine(I_B, c)
G = Intersect(c, p)
H = Intersect(b, m)
J = Intersect(a, n)
i_B = Circle(I_B, G)
r = OrthogonalLine(I_C, c)
s = OrthogonalLine(I_C, a)
t = OrthogonalLine(I_C, b)
L = Intersect(b, t)
M = Intersect(c, r)
N = Intersect(a, s)
i_C = Circle(I_C, L)
a_1 = OrthogonalLine(I, c)
b_1 = OrthogonalLine(I, a)
d_1 = OrthogonalLine(I, b)
O = Intersect(b, d_1)
P = Intersect(a, b_1)
Q = Intersect(c, a_1)
i = Circle(I, Q)
R = (-6, 7.9)
T = (6, -4.1)
R_1 = Point(i_a)
c_1 = Segment(B, N)
p_1 = Segment(B, M)
q_1 = Segment(A, Q)
a_2 = Segment(A, O)
b_2 = Segment(H, C)
c_2 = Segment(C, J)
F_B = Midpoint(C, A)
F_A = Midpoint(C, B)
F_C = Midpoint(A, B)
f = Circle(F_B, F_A, F_C)
U_1 = Point(i_B)
V_1 = Point(i_C)