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)
k_1 = Circle(O_1, A)
E = Point(k_1)
α = Angle(A, O_1, E)
A' = Rotate(A, α, O_1)
F' = Rotate(F, α, O_1)
G' = Rotate(G, α, O_1)
poly2', g', a', f' = Polygon(A', F', G')
A'_1 = Rotate(A, α, O_1)
H' = Rotate(H, α, O_1)
h' = Segment(A'_1, H')
I = Rotate(A_1, α, O_1)
B' = Rotate(B, α, O_1)
C' = Rotate(C, α, O_1)
D' = Rotate(D, α, O_1)
poly1', i, b', c', d' = Polygon(I, B', C', D')
j = Segment(O_1, A)
l = Segment(O_1, E)
p = CircleArc(O_1, A, E)
q = CircleArc(O_1, G, G')
r = CircleArc(O_1, F, F')
t = CircleArc(O_1, D, D')
m = Segment(D', O_1)
n = Segment(O_1, D)
β = Angle(D, O_1, D')
O = (-4.574440651890992, -7.651499660424472)
k = 1 (slider from -5 to 5, step 0.1)
A'_2 = Dilate(A, k, O)
F'_1 = Dilate(F, k, O)
G'_1 = Dilate(G, k, O)
poly2'_1, g'_1, a'_2, f'_1 = Polygon(A'_2, F'_1, G'_1)
J = Dilate(A_1, k, O)
B'_1 = Dilate(B, k, O)
C'_1 = Dilate(C, k, O)
D'_1 = Dilate(D, k, O)
poly1'_1, j_1, b'_1, c'_1, d'_1 = Polygon(J, B'_1, C'_1, D'_1)
A'_3 = Dilate(A, k, O)
F'_2 = Dilate(F, k, O)
g'_2 = Segment(A'_3, F'_2)
A'_4 = Dilate(A, k, O)
H'_1 = Dilate(H, k, O)
h'_1 = Segment(A'_4, H'_1)
s = Segment(O, A)
a_1 = Segment(O, A'_2)
b_1 = Segment(O, D)
c_1 = Segment(O, D'_1)