a = 7.300000000000001 (slider from 0 to 12, step 0.1)
b = 9.5 (slider from 0 to 12, step 0.1)
c = 12 (slider from 0 to 12, step 0.1)
A = (-3.4, -0.13333333333333333)
B_1 = (11.666666666666666, -0.03333333333333333)
d = Ray(A, B_1)
e = Circle(A, c)
B = Intersect(e, d)
f = Segment(A, B)
g = Circle(A, b)
h = Circle(B, a)
C_1, C = Intersect(g, h)
i = Segment(A, C)
j = Segment(C, B)
k, l = AngularBisector(i, j)
m, n = AngularBisector(j, f)
p, q = AngularBisector(f, i)
r = Line(A, C)
s = Line(C, B)
t = Line(B, A)
D = Intersect(n, k)
E = Intersect(k, q)
F = Intersect(n, q)
a_1 = OrthogonalLine(D, s)
b_1 = OrthogonalLine(E, r)
c_1 = OrthogonalLine(F, t)
G = Intersect(b_1, r)
H = Intersect(a_1, s)
I_1 = Intersect(c_1, t)
d_1 = Circle(E, G)
e_1 = Circle(D, H)
f_1 = Circle(F, I_1)
I = Intersect(l, m)
g_1 = OrthogonalLine(I, i)
K = Intersect(g_1, r)
h_1 = Circle(I, K)
i_1 = Segment(H, A)
j_1 = Segment(G, B)
k_1 = Segment(I_1, C)
N = Intersect(j_1, k_1)
l_1 = LineBisector(C, B)
m_1 = LineBisector(B, A)
n_1 = LineBisector(A, C)
J = Intersect(n_1, r)
L = Intersect(m_1, t)
M = Intersect(l_1, s)
p_1 = Segment(J, B)
q_1 = Segment(C, L)
r_1 = Segment(M, A)
S = Intersect(q_1, p_1)
s_1 = Segment(I, S)
t_1 = Segment(S, N)