A = (-1.64, 0.84)
B = (1.06, 0.74)
sol = Line(A, B)
C = (-0.32, 3.4)
D = Point(sol)
c = Circle(C, D)
b = OrthogonalLine(D, sol)
d = OrthogonalLine(C, b)
E, F = Intersect(c, d)
e = Segment(F, E)
G = (1.5414394640000026, 4.651695382000007)
α = Angle(E, C, G)
G' = Mirror(G, b)
f = Ray(C, G)
g = Ray(C, G')
H = Point(g)
H' = Mirror(H, b)
I_1 = Point(g)
I' = Mirror(I_1, b)
J = (-4.031891442000002, 7.185027612000008)
K = (-5.0062499920000025, 6.015797352000007)
J' = Mirror(J, b)
K' = Mirror(K, b)
h = Segment(K, H)
i = Segment(H, J)
j = Segment(H, I_1)
k = Segment(H, G')
l = Segment(G, H')
m = Segment(H', J')
n = Segment(H', I')
p = Segment(H', K')
q = Segment(G', C)
r = Segment(C, G)
L = Point(b)
M = Intersect(c, b, 2)
s = Circle(L, M)
N, O = Intersect(s, b)
t = OrthogonalLine(O, b)
P = Point(t)
P' = Mirror(P, b)
Q = Point(b)
a_1 = Segment(Q, P)
b_1 = Segment(Q, P')
R = (-0.8749697399999993, 6.951181560000007)
S = (0.4891322300000017, 6.873232876000007)
c_1 = Segment(R, S)
T = (-0.7970210559999993, 8.315283530000007)
T' = Mirror(T, b)
poly1, p', p_1, q_1 = Polygon(P, Q, P')
I = (8.22647020864781, 14.361374054539876)
U = (10.37487836598215, 13.706392370085249)
d_1 = Line(I, U)
a = OrthogonalLine(I, d_1)
P'_1 = Mirror(P, d_1)
Q' = Mirror(Q, d_1)
P'' = Mirror(P', d_1)
poly1', p'', p'_1, q' = Polygon(P'_1, Q', P'')
c' = Mirror(c, d_1)
s' = Mirror(s, d_1)
K'_1 = Mirror(K, d_1)
H'_1 = Mirror(H, d_1)
h' = Segment(K'_1, H'_1)
H'_2 = Mirror(H, d_1)
J'_1 = Mirror(J, d_1)
i' = Segment(H'_2, J'_1)
H'_3 = Mirror(H, d_1)
V = Mirror(I_1, d_1)
j' = Segment(H'_3, V)
H'_4 = Mirror(H, d_1)
G'' = Mirror(G', d_1)
k' = Segment(H'_4, G'')
G'_1 = Mirror(G, d_1)
H'' = Mirror(H', d_1)
l' = Segment(G'_1, H'')
H''_1 = Mirror(H', d_1)
J'' = Mirror(J', d_1)
m' = Segment(H''_1, J'')
H''_2 = Mirror(H', d_1)
I'' = Mirror(I', d_1)
n' = Segment(H''_2, I'')
H''_3 = Mirror(H', d_1)
K'' = Mirror(K', d_1)
p'_2 = Segment(H''_3, K'')
G''_1 = Mirror(G', d_1)
C' = Mirror(C, d_1)
q'_1 = Segment(G''_1, C')
C'_1 = Mirror(C, d_1)
G'_2 = Mirror(G, d_1)
r' = Segment(C'_1, G'_2)
Q'_1 = Mirror(Q, d_1)
P'_2 = Mirror(P, d_1)
e_1 = Segment(Q'_1, P'_2)
Q'_2 = Mirror(Q, d_1)
P''_1 = Mirror(P', d_1)
f_1 = Segment(Q'_2, P''_1)
R' = Mirror(R, d_1)
S' = Mirror(S, d_1)
g_1 = Segment(R', S')
L' = Mirror(L, d_1)
T'_1 = Mirror(T, d_1)
T'' = Mirror(T', d_1)
W = Mirror(P'_1, a)
Q'' = Mirror(Q', a)
P''' = Mirror(P'', a)
poly1'', p''', w, q'' = Polygon(W, Q'', P''')
c'' = Mirror(c', a)
s'' = Mirror(s', a)
Z = Mirror(K'_1, a)
A_1 = Mirror(H'_1, a)
h'' = Segment(Z, A_1)
B_1 = Mirror(H'_2, a)
C_1 = Mirror(J'_1, a)
i'' = Segment(B_1, C_1)
D_1 = Mirror(H'_3, a)
V' = Mirror(V, a)
j'' = Segment(D_1, V')
E_1 = Mirror(H'_4, a)
G''' = Mirror(G'', a)
k'' = Segment(E_1, G''')
F_1 = Mirror(G'_1, a)
H''' = Mirror(H'', a)
l'' = Segment(F_1, H''')
G_1 = Mirror(H''_1, a)
J''' = Mirror(J'', a)
m'' = Segment(G_1, J''')
H_1 = Mirror(H''_2, a)
I''' = Mirror(I'', a)
n'' = Segment(H_1, I''')
J_1 = Mirror(H''_3, a)
K''' = Mirror(K'', a)
h_1 = Segment(J_1, K''')
K_1 = Mirror(G''_1, a)
C'' = Mirror(C', a)
i_1 = Segment(K_1, C'')
L_1 = Mirror(C'_1, a)
M_1 = Mirror(G'_2, a)
r'' = Segment(L_1, M_1)
N_1 = Mirror(Q'_1, a)
O_1 = Mirror(P'_2, a)
j_1 = Segment(N_1, O_1)
P_1 = Mirror(Q'_2, a)
Q_1 = Mirror(P''_1, a)
k_1 = Segment(P_1, Q_1)
R'' = Mirror(R', a)
S'' = Mirror(S', a)
l_1 = Segment(R'', S'')
L'' = Mirror(L', a)
R_1 = Mirror(T'_1, a)
T''' = Mirror(T'', a)
S_1 = Point(a)
T_1 = Point(d_1)
β = Angle(S_1, I, T_1)
P'_3 = Mirror(P, I)
Q'_3 = Mirror(Q, I)
P''_2 = Mirror(P', I)
poly1'_1, p''_2, p'_3, q'_3 = Polygon(P'_3, Q'_3, P''_2)
c'_1 = Mirror(c, I)
s'_1 = Mirror(s, I)
K'_2 = Mirror(K, I)
H'_5 = Mirror(H, I)
h'_1 = Segment(K'_2, H'_5)
H'_6 = Mirror(H, I)
J'_2 = Mirror(J, I)
i'_1 = Segment(H'_6, J'_2)
H'_7 = Mirror(H, I)
U_1 = Mirror(I_1, I)
j'_1 = Segment(H'_7, U_1)
H'_8 = Mirror(H, I)
G''_2 = Mirror(G', I)
k'_1 = Segment(H'_8, G''_2)
G'_3 = Mirror(G, I)
H''_4 = Mirror(H', I)
l'_1 = Segment(G'_3, H''_4)
H''_5 = Mirror(H', I)
J''_1 = Mirror(J', I)
m'_1 = Segment(H''_5, J''_1)
H''_6 = Mirror(H', I)
I''_1 = Mirror(I', I)
n'_1 = Segment(H''_6, I''_1)
H''_7 = Mirror(H', I)
K''_1 = Mirror(K', I)
p'_4 = Segment(H''_7, K''_1)
G''_3 = Mirror(G', I)
C'_2 = Mirror(C, I)
q'_2 = Segment(G''_3, C'_2)
C'_3 = Mirror(C, I)
G'_4 = Mirror(G, I)
r'_1 = Segment(C'_3, G'_4)
Q'_4 = Mirror(Q, I)
P'_4 = Mirror(P, I)
m_1 = Segment(Q'_4, P'_4)
Q'_5 = Mirror(Q, I)
P''_3 = Mirror(P', I)
n_1 = Segment(Q'_5, P''_3)
R'_1 = Mirror(R, I)
S'_1 = Mirror(S, I)
r_1 = Segment(R'_1, S'_1)
L'_1 = Mirror(L, I)
T'_2 = Mirror(T, I)
T''_1 = Mirror(T', I)