A = (0.7389468006359894, -1.265922338094898)
B = (5.116316777096332, -0.28324744542012725)
C = (4.312310046726065, 0.9227626501352733)
a = Segment(A, B)
b = Segment(B, C)
c = Circle(A, B)
e = OrthogonalLine(A, a)
f = OrthogonalLine(C, b)
E = Intersect(c, e, 2)
d = Circle(C, B)
D = Intersect(d, f, 2)
g = Segment(E, D)
h = Segment(E, A)
i = Segment(D, C)
A' = Mirror(A, A)
B' = Mirror(B, A)
a' = Segment(A', B')
B'_1 = Mirror(B, A)
C' = Mirror(C, A)
b' = Segment(B'_1, C')
E' = Mirror(E, A)
D' = Mirror(D, A)
g' = Segment(E', D')
E'_1 = Mirror(E, A)
A'_1 = Mirror(A, A)
h' = Segment(E'_1, A'_1)
D'_1 = Mirror(D, A)
C'_1 = Mirror(C, A)
i' = Segment(D'_1, C'_1)
A'_2 = Rotate(A, 90°, A)
B'_2 = Rotate(B, 90°, A)
a'_1 = Segment(A'_2, B'_2)
B'_3 = Rotate(B, 90°, A)
C'_2 = Rotate(C, 90°, A)
b'_1 = Segment(B'_3, C'_2)
E'_2 = Rotate(E, 90°, A)
D'_2 = Rotate(D, 90°, A)
g'_1 = Segment(E'_2, D'_2)
E'_3 = Rotate(E, 90°, A)
A'_3 = Rotate(A, 90°, A)
h'_1 = Segment(E'_3, A'_3)
D'_3 = Rotate(D, 90°, A)
C'_3 = Rotate(C, 90°, A)
i'_1 = Segment(D'_3, C'_3)
A'' = Rotate(A', 90°, A)
B'' = Rotate(B', 90°, A)
a'' = Segment(A'', B'')
F = Rotate(B'_1, 90°, A)
C'' = Rotate(C', 90°, A)
b'' = Segment(F, C'')
E'' = Rotate(E', 90°, A)
D'' = Rotate(D', 90°, A)
g'' = Segment(E'', D'')
G = Rotate(E'_1, 90°, A)
H = Rotate(A'_1, 90°, A)
h'' = Segment(G, H)
I = Rotate(D'_1, 90°, A)
J = Rotate(C'_1, 90°, A)
i'' = Segment(I, J)