M

O

f: y = 0
A = (9.490685133097069, 20.185399792499318)
B = (36.74759304352648, 53.789806805357536)
C = Midpoint(A, B)
c = Circle(C, A)
g = Line(A, B)
P = Intersect(f, g)
D = Midpoint(P, C)
d = Circle(D, P)
T, F = Intersect(d, c)
e = Circle(P, F)
M', M = Intersect(e, f)
h = OrthogonalLine(M, f)
i = OrthogonalLine(M', f)
j = LineBisector(B, A)
O = Intersect(j, h)
k = Circle(O, M)
O' = Intersect(j, i)
p = Circle(O', M')
l = Line(P, T)
E' = Dilate(T, 1.5, P)
m = Segment(P, E')
O'' = Dilate(O', 1.2, M')
n = Segment(M', O'')
O'_1 = Dilate(O, 1.2, M)
q = Segment(O'_1, M)
M_1 = Intersect(f, j)
r = Circle(M_1, B, A)
O_1 = Center(r)