a = 9.200000000000001 (slider from 0 to 12, step 0.1)
b = 11.200000000000001 (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)
D = Midpoint(A, B)
E = Midpoint(B, C)
F = Midpoint(C, A)
k = Segment(F, D)
l = Segment(D, E)
m = Segment(E, F)
n = AngularBisector(E, F, D)
p = AngularBisector(F, D, E)
q = AngularBisector(D, E, F)
S = Intersect(p, q)
r = AngularBisector(C, A, B)
s = AngularBisector(A, B, C)
t = AngularBisector(B, C, A)
a_1 = OrthogonalLine(B, s)
b_1 = OrthogonalLine(C, t)
c_1 = OrthogonalLine(A, r)
G = Intersect(b_1, s)
H = Intersect(r, b_1)
I = Intersect(a_1, t)
d_1 = OrthogonalLine(I, f)
e_1 = OrthogonalLine(H, j)
f_1 = OrthogonalLine(G, i)
J = Intersect(d_1, f)
K = Intersect(f_1, i)
L = Intersect(e_1, j)
g_1 = Circle(H, L)
h_1 = Circle(G, K)
k_1 = Circle(I, J)
i_1 = Line(C, B)
j_1 = Line(B, A)
l_1 = Line(A, C)
m_1 = Segment(S, H)
M = Midpoint(H, S)
p_1 = Circle(M, H)
N, O = Intersect(p_1, g_1)
q_1 = Circle(S, N)