A = (0.4, -0.7000000000000001)
B = (8.237499999999997, -1.2250000000000045)
a = Line(A, B)
b = OrthogonalLine(A, a)
C = Point(b)
c = Segment(C, A)
d = Segment(A, B)
e = Segment(C, B)
C'_1 = Rotate(C, 90.0*°, C)
B'_1 = Rotate(B, 90.0*°, C)
e'_1 = Segment(C'_1, B'_1)
C'_2 = Rotate(C, 270.0*°, B)
B'_2 = Rotate(B, 270.0*°, B)
e' = Segment(C'_2, B'_2)
f = Segment(B'_1, C'_2)
C'_3 = Rotate(C, 270.0*°, C)
A'_1 = Rotate(A, 270.0*°, C)
c'_1 = Segment(C'_3, A'_1)
C'_4 = Rotate(C, 90.0*°, A)
A'_2 = Rotate(A, 90.0*°, A)
c' = Segment(C'_4, A'_2)
g = Segment(A'_1, C'_4)
A'_3 = Rotate(A, 270.0*°, A)
B'_3 = Rotate(B, 270.0*°, A)
d'_1 = Segment(A'_3, B'_3)
A'_4 = Rotate(A, 90.0*°, B)
B'_4 = Rotate(B, 90.0*°, B)
d' = Segment(A'_4, B'_4)
h = Segment(B'_3, A'_4)
i = Segment(A, A'_1)
j = LineBisector(i)
D = Intersect(j, i)
k = OrthogonalLine(D, e)
l = Line(D, e)
E = Intersect(k, c)
F = Intersect(l, c'_1)
G = Intersect(k, g)
H = Intersect(l, c')
poly1, d_1, f_1, a'_1, g_1 = Polygon(D, F, A'_1, G)
poly2, d_2, e_1, c_1, f_2 = Polygon(D, E, C, F)
poly3, d_3, g_2, c'_2, h_1 = Polygon(D, G, C'_4, H)
poly4, d_4, h_2, a_1, e_2 = Polygon(D, H, A, E)
poly5, a_2, b'_3, a', b_1 = Polygon(A, B'_3, A'_4, B)
u = Vector(C, C'_2)
C'_5 = Translate(C, u)
C''_1 = Rotate(C'_5, 291.6*°, C'_5)
v = Vector(A'_1, C)
I = Translate(A'_1, v)
I' = Rotate(I, 21.6*°, C)
w = Vector(D, B'_1)
D'_1 = Translate(D, w)
E'_1 = Translate(E, w)
C' = Translate(C, w)
F'_1 = Translate(F, w)
D''_1 = Rotate(D'_1, 180.0*°, D'_1)
E''_1 = Rotate(E'_1, 180.0*°, D'_1)
C'' = Rotate(C', 180.0*°, D'_1)
F''_1 = Rotate(F'_1, 180.0*°, D'_1)
poly2'', d'', e'', c'', f'' = Polygon(D''_1, E''_1, C'', F''_1)
z = Vector(D, C''_1)
D'_2 = Translate(D, z)
H'_1 = Translate(H, z)
A'_5 = Translate(A, z)
E' = Translate(E, z)
D''_2 = Rotate(D'_2, 180.0*°, D'_2)
H''_1 = Rotate(H'_1, 180.0*°, D'_2)
A'' = Rotate(A'_5, 180.0*°, D'_2)
E'' = Rotate(E', 180.0*°, D'_2)
poly4'', d''_1, h'', a'', e''_1 = Polygon(D''_2, H''_1, A'', E'')
m = Vector(D, C)
D'_3 = Translate(D, m)
F' = Translate(F, m)
J = Translate(A'_1, m)
G'_1 = Translate(G, m)
D''_3 = Rotate(D'_3, 180.0*°, C)
F'' = Rotate(F', 180.0*°, C)
J' = Rotate(J, 180.0*°, C)
G''_1 = Rotate(G'_1, 180.0*°, C)
poly1'', d''_2, f''_1, j', g'' = Polygon(D''_3, F'', J', G''_1)
n = Vector(D, B)
D' = Translate(D, n)
G' = Translate(G, n)
K = Translate(C'_4, n)
H' = Translate(H, n)
D'' = Rotate(D', 180.0*°, B)
G'' = Rotate(G', 180.0*°, B)
K' = Rotate(K, 180.0*°, B)
H'' = Rotate(H', 180.0*°, B)
poly3'', d''_3, g''_1, k', h''_1 = Polygon(D'', G'', K', H'')
p = Vector(B, A'')
A' = Translate(A, p)
M = Translate(B'_3, p)
N = Translate(A'_4, p)
B' = Translate(B, p)
poly5', a'_2, m_1, n_1, b' = Polygon(A', M, N, B')