C = (-2.8362144980645874, 2.830770107665514)
D = (-3.2776482985037263, 1.794291300129941)
Dx = Line(D, D + (1, 0))
E = Dilate(Mirror[C, Dx], 2, D)
B = Rotate(D, 90°, C)
A = Intersect(Line[E, Dx], OrthogonalLine[B, Dx])
cond: x(A) > x(E) ∧ x(A) > x(D) ∧ y(A) < y(B)
poly1, AB, BC, CD, DE, AE = Polygon(A, B, C, D, E)
A' = Mirror(A, AB)
B' = Mirror(B, AB)
C' = Mirror(C, AB)
D' = Mirror(D, AB)
E' = Mirror(E, AB)
poly1', a', b', c', d', e' = Polygon(A', B', C', D', E')
A'' = Rotate(A', 90°, C')
B'' = Rotate(B', 90°, C')
C'' = Rotate(C', 90°, C')
D'' = Rotate(D', 90°, C')
E'' = Rotate(E', 90°, C')
poly1'', a'', b'', c'', d'', e'' = Polygon(A'', B'', C'', D'', E'')
A''' = Mirror(A'', a'')
B''' = Mirror(B'', a'')
C''' = Mirror(C'', a'')
D''' = Mirror(D'', a'')
E''' = Mirror(E'', a'')
poly1''', a''', b''', c''', d''', e''' = Polygon(A''', B''', C''', D''', E''')
F = Rotate(A''', -90°, C''')
G = Rotate(B''', -90°, C''')
H = Rotate(C''', -90°, C''')
I = Rotate(D''', -90°, C''')
J = Rotate(E''', -90°, C''')
poly2, f, g, h, i, j = Polygon(F, G, H, I, J)
F' = Mirror(F, f)
G' = Mirror(G, f)
H' = Mirror(H, f)
I' = Mirror(I, f)
J' = Mirror(J, f)
poly2', f', g', h', i', j' = Polygon(F', G', H', I', J')
A'_{1} = Rotate(A, 90°, C)
B'_{1} = Rotate(B, 90°, C)
C'_{1} = Rotate(C, 90°, C)
D'_{1} = Rotate(D, 90°, C)
E'_{1} = Rotate(E, 90°, C)
poly1'_{1}, a'_{1}, b'_{1}, c'_{1}, d'_{1}, e'_{1} = Polygon(A'_{1}, B'_{1}, C'_{1}, D'_{1}, E'_{1})
L = Mirror(A'_{1}, a'_{1})
M = Mirror(B'_{1}, a'_{1})
N = Mirror(C'_{1}, a'_{1})
O = Mirror(D'_{1}, a'_{1})
P = Mirror(E'_{1}, a'_{1})
poly3, l, m, n, o, p = Polygon(L, M, N, O, P)
L' = Rotate(L, -90°, N)
M' = Rotate(M, -90°, N)
N' = Rotate(N, -90°, N)
O' = Rotate(O, -90°, N)
P' = Rotate(P, -90°, N)
poly3', l', m', n', o', p' = Polygon(L', M', N', O', P')
L'' = Mirror(L', l')
M'' = Mirror(M', l')
N'' = Mirror(N', l')
O'' = Mirror(O', l')
P'' = Mirror(P', l')
poly3'', l'', m'', n'', o'', p'' = Polygon(L'', M'', N'', O'', P'')
K = Midpoint(D, E)
A'_{2} = Mirror(A, K)
B'_{2} = Mirror(B, K)
C'_{2} = Mirror(C, K)
D'_{2} = Mirror(D, K)
E'_{2} = Mirror(E, K)
poly1'_{2}, a'_{2}, b'_{2}, c'_{2}, d'_{2}, e'_{2} = Polygon(A'_{2}, B'_{2}, C'_{2}, D'_{2}, E'_{2})
Q = Mirror(A'_{2}, a'_{2})
R = Mirror(B'_{2}, a'_{2})
S = Mirror(C'_{2}, a'_{2})
T = Mirror(D'_{2}, a'_{2})
U = Mirror(E'_{2}, a'_{2})
poly4, q, r, s, t, u = Polygon(Q, R, S, T, U)
V = Midpoint(E', J)
F'_{1} = Mirror(F, V)
G'_{1} = Mirror(G, V)
H'_{1} = Mirror(H, V)
I'_{1} = Mirror(I, V)
J'_{1} = Mirror(J, V)
poly2'_{1}, f'_{1}, g'_{1}, h'_{1}, i'_{1}, j'_{1} = Polygon(F'_{1}, G'_{1}, H'_{1}, I'_{1}, J'_{1})
W = Mirror(F'_{1}, f'_{1})
Z = Mirror(G'_{1}, f'_{1})
A_1 = Mirror(H'_{1}, f'_{1})
B_1 = Mirror(I'_{1}, f'_{1})
C_1 = Mirror(J'_{1}, f'_{1})
poly5, w, z_1, a_1, b_1, c_1 = Polygon(W, Z, A_1, B_1, C_1)