a=4

b=5

c=6

d=8

A

C

B

a

b

D

d

c

f

B'

a

c

D'

b

d

f'

α'

β'

γ'

δ'

e=

e

f=

f'=

A = (0, 5)
B = (4, 5)
a = Segment(A, B)
C = (0, 4)
D = (5, 4)
b = Segment(C, D)
E = (0, 3)
F = (6, 3)
c = Segment(E, F)
G = (0, 2)
H = (8, 2)
d = Segment(G, H)
I = (13, 0)
J: (21.45, 0)
e = Segment(I, J)
f = Circle(I, a)
g = Circle(J, b)
K = Intersect(f, g, 1)
L, M = Intersect(f, g)
h = Segment(I, K)
i = Segment(J, K)
k = Circle(J, c)
p = Circle(I, d)
N = Intersect(k, p, 1)
j = Segment(I, N)
l = Segment(J, N)
m = Segment(K, N)
P = (11, -3)
k_1 = Circle(I, a)
p_1 = Circle(J, c)
U = Intersect(k_1, p_1, 1)
i_1 = Segment(I, U)
j_1 = Segment(J, U)
q_1 = Circle(J, d)
r_1 = Circle(I, c)
V = Intersect(q_1, r_1, 1)
s_1 = Circle(I, b)
t_1 = Circle(J, d)
W = Intersect(s_1, t_1, 2)
l_1 = Segment(I, W)
m_1 = Segment(J, W)
n_1 = Segment(U, W)
α = Angle(I, K, J)
β = Angle(K, J, N)
γ = Angle(J, N, I)
δ = Angle(N, I, K)
ε = Angle(I, U, J)
ζ = Angle(U, J, W)
η = Angle(J, W, I)
θ = Angle(W, I, U)
Z = (0, 1)
A_1 = (10, 1)
a_2 = Line(A_1, Z)
c_2 = Circle(Z, e)
B_1 = Intersect(c_2, a_2, 1)
b_2 = Segment(Z, B_1)
C_1 = (0, 0)
D_1 = (10, 0)
d_2 = Segment(C_1, D_1)
e_2 = Circle(C_1, m)
E_1 = Intersect(e_2, d_2, 1)
f_2 = Segment(C_1, E_1)
O = (0, -1)
Q = (10, -1)
n = Segment(O, Q)
r = Circle(O, n_1)
R = Intersect(r, n, 1)
s = Segment(O, R)