A = (3, -3)
B = (7, -3)
C = Midpoint(A, B)
c = Circle(C, B)
a = LineBisector(A, B)
I = Intersect(c, a, 2)
b = Segment(A, I)
d = Segment(I, B)
e = Segment(B, A)
l = 2.4 (slider from 0 to 5, step 0.1)
f = Circle(I, l)
M_2, M_1 = Intersect(f, e)
D = Midpoint(A, M_1)
E = Midpoint(M_1, B)
g = Circle(D, M_1)
h = Circle(E, M_1)
i = LineBisector(A, M_1)
j = LineBisector(M_1, B)
F, P = Intersect(g, i)
H, Q = Intersect(h, j)
k = Segment(P, M_1)
m = Segment(M_1, Q)
n = Segment(P, Q)
p = Segment(I, M_1)