A_1 = (-4.059271992856873, -2.875353191467738)
B_1 = (-3.128059287241447, -2.875353191467738)
a = Segment(A_1, B_1)
C_1 = (-4.041701941807526, -3.5078750292442544)
D = (-0.1587206599016909, -3.5605851823922974)
b = Segment(C_1, D)
O = (-0.22900086409908157, 1.710430132412003)
c = Circle(O, b)
C = (14.336571455810136, 1.6752900303133078)
d = Circle(C, a)
A = Point(c)
B = Point(c)
e = Segment(A, C)
f = Segment(C, B)
g = Segment(O, A)
h = Segment(O, B)
i = OrthogonalLine(A, g)
j = OrthogonalLine(B, h)
X = Point(i)
J = Point(i)
Y = Point(j)
L = Point(j)
X_1 = Segment(J, X)
Y_1 = Segment(Y, L)
β = Angle(C, B, Y)
α = Angle(X, A, C)
m = Segment(A, B)
u = Angle(B, A, X)
δ = Angle(Y, B, A)