A = (-1.26, 2.92)
B = (4.74, 2.92)
C = (14.2, 4.64)
c = Circle(C, 5)
D = Point(c)
d = Circle(D, 5)
E = Intersect(c, d, 1)
e = Circle(E, 5)
F = Intersect(c, e, 1)
f = Circle(F, 5)
G = Intersect(c, f, 1)
g = Circle(G, 5)
H = Intersect(c, g, 1)
h = Circle(H, 5)
I = Intersect(c, d, 2)
a = Segment(F, I)
b = Segment(D, G)
i = Segment(H, E)
k = Circle(C, 2.5)
J = Point(k)
p = Circle(J, 2.5)
K = Intersect(k, p, 1)
q = Circle(K, 2.5)
L = Intersect(k, q, 1)
r = Circle(L, 2.5)
M = Intersect(k, r, 1)
s = Circle(M, 2.5)
N = Intersect(k, s, 1)
t = Circle(N, 2.5)
O = Intersect(k, p, 2)
c_1 = Circle(C, 1)
P = Intersect(c_1, b, 1)
Q = Intersect(c_1, a, 2)
R = Intersect(c_1, i, 1)
S = Intersect(c_1, b, 2)
T = Intersect(c_1, a, 1)
U, V = Intersect(c_1, i)
W = Point(k)
d_1 = Circle(L, W)
Z = Intersect(k, d_1, 2)
Z' = Mirror(Z, b)
W' = Mirror(W, b)
W'_1 = Mirror(W, i)
Z'_1 = Mirror(Z, i)
A_1 = Mirror(Z'_1, a)
B_1 = Mirror(W'_1, a)
C_1 = Mirror(B_1, b)
D_1 = Mirror(A_1, b)
E_1 = Mirror(D_1, i)
F_1 = Mirror(C_1, i)
j = Segment(Z, P)
l = Segment(P, Z')
m = Segment(W', Q)
n = Segment(F_1, Q)
a_1 = Segment(E_1, R)
b_1 = Segment(R, D_1)
e_1 = Segment(C_1, S)
f_1 = Segment(S, B_1)
g_1 = Segment(A_1, T)
h_1 = Segment(Z'_1, T)
i_1 = Segment(V, W'_1)
j_1 = Segment(V, W)