X

Y

Z

Z'

Y'

X'

O1

O2

O3

n_1=m_2

S_2 = (2.0762162579620247, -6.212719493772943)
S_1 = (10.266186329268573, -9.764710671821662)
M = (1.630263754872634, -3.174138180835301)
A = (1.019049954100473, 4.967344685198905)
A'_1 = Rotate(A, 80°, S_1)
α = Angle(A, S_1, A'_1)
B = (-3.5741197696316434, 0.46052219398853433)
C = (1.8326672912554012, -3.1440025132694904)
f = Segment(A, B)
g = Segment(B, C)
h = Segment(C, A)
D = (7.2, 3.7)
E = (0.16, -3.28)
i = Line(D, E)
A' = Mirror(A, i)
B' = Mirror(B, i)
C' = Mirror(C, i)
j = Segment(A', B')
k = Segment(B', C')
l = Segment(C', A')
F = (9.385549487800569, 1.6267529871676984)
v = Vector(A, F)
C'' = Rotate(C, α, S_1)
B'' = Rotate(B, α, S_1)
A'' = Rotate(A, α, S_1)
m_3 = Segment(A'', C'')
n_4 = Segment(B'', C'')
p = Segment(B'', A'')
q = Segment(A, A'')
m_4 = LineBisector(q)
Y_2 = Mirror(B, m_4)
Z_3 = Mirror(C, m_4)
r = Segment(Y_2, B'')
n_5 = LineBisector(r)
Z_2 = Mirror(Z_3, n_5)
s = Segment(Z_2, C'')
o = LineBisector(s)
t = Segment(A'', Y_2)
a = Segment(Y_2, Z_3)
b = Segment(Z_3, A'')
c = Segment(A'', B'')
d = Segment(Z_2, A'')
e = Segment(Z_2, B'')
u = false
w = false
a_1 = false
G = (9.32873420770586, 5.461784393560627)
n_1 = Line(S_1, S_2)
f_1 = Ray(S_1, A)
g_1 = Ray(S_1, A'_1)
C'''_1 = Mirror(C'', n_1)
B'''_1 = Mirror(B'', n_1)
A'''_1 = Mirror(A'', n_1)
p' = Segment(B'''_1, A'''_1)
X'' = Rotate(A'', 40°, S_2)
Z'' = Rotate(C'', 40°, S_2)
m = Segment(X'', Z'')
Y'' = Rotate(B'', 40°, S_2)
C'''_2 = Rotate(C'', 40°, S_2)
n = Segment(Y'', C'''_2)
B'''_2 = Rotate(B'', 40°, S_2)
A'''_2 = Rotate(A'', 40°, S_2)
p'_1 = Segment(B'''_2, A'''_2)
J = Rotate(A'_1, 40°, S_2)
k_1 = Ray(S_2, A'_1)
l_1 = Ray(S_2, X'')
γ = Angle(k_1, l_1)
A''' = Mirror(A'', n_1)
C''' = Mirror(C'', n_1)
p_1 = Segment(A''', C''')
B''' = Mirror(B'', n_1)
C'''_3 = Mirror(C'', n_1)
q_1 = Segment(B''', C'''_3)
B'''_3 = Mirror(B'', n_1)
A'''_3 = Mirror(A'', n_1)
p'_2 = Segment(B'''_3, A'''_3)
K = Mirror(A'_1, n_1)
X''' = Mirror(X'', n_1)
J' = Mirror(J, n_1)
B'_1 = Mirror(B, n_1)
C'_1 = Mirror(C, n_1)
g' = Segment(B'_1, C'_1)
C'_2 = Mirror(C, n_1)
A'_2 = Mirror(A, n_1)
h' = Segment(C'_2, A'_2)
A'_3 = Mirror(A, n_1)
B'_2 = Mirror(B, n_1)
f' = Segment(A'_3, B'_2)
m_1 = LineBisector(A'_1, A'_3)
Y''' = Mirror(Y'', n_1)
H = Mirror(C'''_2, n_1)
n' = Segment(Y''', H)
X'''_1 = Mirror(X'', n_1)
Z''' = Mirror(Z'', n_1)
m' = Segment(X'''_1, Z''')
I = Mirror(B'''_2, n_1)
L = Mirror(A'''_2, n_1)
h_1 = Segment(I, L)
n_2 = LineBisector(Z''', C'')