C = (10.2, -6.2)
A = (6.149303803683893, -10.653808574708842)
p_2 = Line(A, C)
r = OrthogonalLine(C, p_2)
a = 0 (slider from 0 to 4, step 1)
C_{1} = (3.56, -2.56)
p_1 = Line(C_{1}, C)
S = Point(r)
k = Circle(S, C)
B = Point(p_1)
f, g = AngularBisector(p_2, p_1)
D = Mirror(S, C)
h = Line(D, p_2)
c = Parabola(S, h)
S_1 = Intersect(c, f, 2)
S_2 = Intersect(c, g, 1)
i = Line(S, S_1)
j = Line(S_2, S)
E = Intersect(k, i, 2)
k_1 = Circle(S_1, E)
F = Intersect(k, j, 1)
k_2 = Circle(S_2, F)