O_1 = (-4.4262295081967205, 3.363277452607728)
O_2 = (-3.4977049180327846, -2.0898373014906344)
O_3 = (0.7219672131147581, -2.1763946785398147)
O_4 = (-0.8577049180327719, 2.4760643378536327)
ox_1 = Line(O_1, xAxis)
ox_4 = Line(O_4, xAxis)
ox_2 = Line(O_2, xAxis)
ox_3 = Line(O_3, xAxis)
R_1 = Point(ox_1)
R_4 = Point(ox_4)
R_2 = Point(ox_2)
R_3 = Point(ox_3)
c_1 = Circle(O_1, R_1)
c_2 = Circle(O_2, R_2)
c_3 = Circle(O_3, R_3)
c_4 = Circle(O_4, R_4)
r_1 = Segment(O_1, R_1)
r_2 = Segment(O_2, R_2)
r_3 = Segment(O_3, R_3)
r_4 = Segment(O_4, R_4)
c_{13} = Circle(O_3, r_1 + r_3)
c_{24} = Circle(O_4, r_2 + r_4)
f = Segment(O_1, O_3)
M_{12} = Midpoint(O_1, O_2)
I_{12} = Rotate(O_1, (-(90°)), M_{12})
O'_3 = Rotate(O_3, 90°, I_{12})
g = Segment(O'_3, O_2)
c'_3 = Rotate(c_{13}, 90°, I_{12})
h = Line(O_4, O'_3)
A_{1} = Intersect(c_{24}, h, 1)
B_{1} = Intersect(c'_3, h, 1)
A'_{1} = Rotate(A_{1}, 60°, O_4)
B'_{1} = Rotate(B_{1}, 60°, O'_3)
i = Line(A'_{1}, B'_{1})
J = Intersect(h, i)
c = Semicircle(O_4, J)
T' = Intersect(c_{24}, c, 1)
j = Line(T', J)
k = Segment(O_4, T')
l = Line(O'_3, k)
U' = Intersect(l, j)
m = OrthogonalLine(O_1, j)
n = OrthogonalLine(O_2, m)
U'' = Rotate(U', (-(90°)), O'_3)
u = Vector(O'_3, U'')
V' = Translate(O_3, u)
p = OrthogonalLine(V', n)
A' = Intersect(j, m)
D' = Intersect(j, p)
C' = Intersect(n, p)
B' = Intersect(m, n)
q = Segment(O'_3, U')
C_{1} = Intersect(c_4, k, 1)
r = Segment(O_3, V')
D_{1} = Intersect(c_3, r)
v = Vector(T', C_{1})
w = Vector(V', D_{1})
A = Translate(A', Vector[v + w])
D = Translate(D', Vector[v + w])
B = Translate(B', Vector[v + w])
C = Translate(C', Vector[v + w])
s = Segment(A, D)
t = Segment(A, B)
a = Segment(B, C)
b = Segment(C, D)
E = Translate(O_1, w)
F = Translate(O_2, v)