A_1 = (3, -4)
B = (5, -6)
C = (11, -6)
D = (13, -4)
poly1, a, b, c, d = Polygon(A_1, B, C, D)
A = (8, 3)
F = (8, -3.5)
G = (4, -3.5)
poly2, g, e, f = Polygon(A, F, G)
H = Midpoint(d)
h = Segment(A, H)
O = (-2.5392279259341244, -5.555357727763016)
k = Circle(O, A)
E = Point(k)
α = Angle(A, O, E)
A' = Rotate(A, α, O)
F' = Rotate(F, α, O)
G' = Rotate(G, α, O)
poly2', g', a', f' = Polygon(A', F', G')
A'_1 = Rotate(A, α, O)
H' = Rotate(H, α, O)
h' = Segment(A'_1, H')
I = Rotate(A_1, α, O)
B' = Rotate(B, α, O)
C' = Rotate(C, α, O)
D' = Rotate(D, α, O)
poly1', i, b', c', d' = Polygon(I, B', C', D')
j = Segment(O, A)
l = Segment(O, E)
p = CircleArc(O, A, E)
q = CircleArc(O, G, G')
r = CircleArc(O, F, F')
t = CircleArc(O, D, D')
m = Segment(D', O)
n = Segment(O, D)
β = Angle(D, O, D')