A = (-8.514805806472882, -9.103652878961038)
B = (-2.876340909420728, -9.103652878961038)
a = Segment(A, B)
C = (-8.475919841665625, -11.125723048938362)
D = (0.04010645112348984, -11.203494978552875)
b = Segment(C, D)
E = (-10.847963694908275, -5.603916046307976)
F = (12.9891327319398, -5.720573940729746)
c = Line(E, F)
G = Point(c)
d = Circle(G, a)
H = Intersect(d, c, 1.0)
e = Circle(G, b)
I = Intersect(e, c, 2.0)
f = OrthogonalLine(G, c)
J = Intersect(d, f, 2.0)
g = Segment(J, H)
h = Segment(J, I)
i = Segment(J, G)
j = Segment(H, G)
k = Segment(G, I)
α = Angle(I, G, J)
β = Angle(G, H, J)
K = Point(c)
p = Circle(K, b)
L = Intersect(p, c, 1.0)
q = Circle(K, a)
M = Intersect(q, c, 2.0)
l = OrthogonalLine(K, c)
N = Intersect(p, l, 2.0)
m = Segment(N, K)
n = Segment(K, L)
r = Segment(K, M)
s = Segment(N, M)
t = Segment(N, L)
γ = Angle(M, K, N)
δ = Angle(K, L, N)
o = Distance(k, j)
u = Distance(r, n)
v = Distance(b, a)