a = 7.1000000000000005 (slider from 0 to 12, step 0.1)
b = 10.100000000000001 (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)
I = Intersect(t, s)
a_1 = Segment(E, A)
b_1 = Segment(F, B)
c_1 = Segment(C, D)
G = Intersect(t, c_1)
S_{ch} = Intersect(b_1, c_1)
d_1 = Segment(S, I)