A = (-3, 7)
c = Circle(A, 1.5)
B = (-2, 5)
a = Segment(A, B)
C = (-3, 2)
b = Segment(B, C)
D = (-7, -1)
d = Segment(C, D)
E = (3, 1)
e = Segment(B, E)
F = (3, -1)
f = Segment(E, F)
g = Segment(F, D)
G = (-8, 0)
h = Segment(D, G)
H = Point(g)
I = (-6, -7)
i = Segment(H, I)
J = (6, -7)
j = Segment(F, J)
K = (1, -8)
k = Segment(K, F)
l = Segment(K, H)
L = (3, -8)
p = Circle(K, L)
M = (2, -7)
q = Circle(J, M)
N = (-2, -7)
r = Circle(I, N)
O = Intersect(e, f)
s = Circle(O, 4.5)
P = Point(p)
P' = Mirror(P, K)
t = Circle(P, 7.5)
c_1 = Circle(P', 7.5)
Q = Intersect(s, t, 2)
R = Intersect(s, c_1, 2)
m = Segment(Q, O)
n = Segment(Q, P)
a_1 = Segment(O, R)
b_1 = Segment(R, P')