A = (-5, -4)
B = (-5, 1)
C = (4, 1)
D = (4, -4)
E = (-1, 6)
a = Segment(B, C)
b = Segment(B, A)
c = Segment(D, A)
d = Segment(D, C)
e = Segment(C, E)
f = Segment(E, B)
F = Point(e)
G = (2, 6)
g = Segment(F, G)
H = (2.82, 6)
h = Segment(G, H)
i = OrthogonalLine(H, h)
I = Intersect(i, e)
j = Segment(H, I)
J = Point(c)
K = (-2.0100000000000002, -1.7200000000000015)
k = Segment(J, K)
L = Intersect(c, yAxis)
M = Point(yAxis)
l = Segment(K, M)
m = Segment(M, L)
O = (8, -1.5)
D' = Mirror(D, O)
A' = Mirror(A, O)
c' = Segment(D', A')
B' = Mirror(B, O)
C' = Mirror(C, O)
a' = Segment(B', C')
M' = Mirror(M, O)
L' = Mirror(L, O)
m' = Segment(M', L')
J' = Mirror(J, O)
K' = Mirror(K, O)
k' = Segment(J', K')
E' = Mirror(E, O)
F' = Mirror(F, O)
G' = Mirror(G, O)
g' = Segment(F', G')
H' = Mirror(H, O)
I' = Mirror(I, O)
j' = Segment(H', I')
n = Segment(D', C')
p = Segment(A', B')
q = Segment(K', M')
r = Segment(H', G')
s = Segment(E', B')
t = Segment(E', C')
α = 0 rad (slider from 0 to 3.141592653589793, step 0.017453292519943295)
A'_2 = Rotate(A, α, O)
B'_2 = Rotate(B, α, O)
C'_2 = Rotate(C, α, O)
D'_2 = Rotate(D, α, O)
E'_2 = Rotate(E, α, O)
F'_2 = Rotate(F, α, O)
G'_2 = Rotate(G, α, O)
H'_2 = Rotate(H, α, O)
I'_2 = Rotate(I, α, O)
J'_2 = Rotate(J, α, O)
K'_2 = Rotate(K, α, O)
L'_2 = Rotate(L, α, O)
M'_2 = Rotate(M, α, O)
a_1 = Segment(A'_2, D'_2)
b_1 = Segment(B'_2, C'_2)
c_1 = Segment(B'_2, A'_2)
d_1 = Segment(C'_2, D'_2)
e_1 = Segment(C'_2, E'_2)
f_1 = Segment(B'_2, E'_2)
g_1 = Segment(F'_2, G'_2)
h_1 = Segment(G'_2, H'_2)
i_1 = Segment(H'_2, I'_2)
j_1 = Segment(J'_2, K'_2)
k_1 = Segment(K'_2, M'_2)
l_1 = Segment(M'_2, L'_2)