P_1 = (-1.2333333333333334, 9.066666666666666)
P_2 = (-2.75, 3.0166666666666666)
s_1 = Line(P_1, P_2)
C = (-4.033333333333333, 7.1499999999999995)
D = (-4.4, 5.4)
A = (-2.6166666666666667, 6.083333333333333)
B = (-2.966666666666667, 7.133333333333333)
P_3, c, d, e, f = Polygon(C, D, A, B)
a = OrthogonalLine(B, s_1)
b = OrthogonalLine(C, s_1)
g = OrthogonalLine(A, s_1)
h = OrthogonalLine(D, s_1)
G = Intersect(s_1, b)
H = Intersect(s_1, a)
I = Intersect(s_1, g)
J = Intersect(s_1, h)
k = Circle(G, C)
C' = Intersect(k, b, 2)
p = Circle(H, B)
q = Circle(I, A)
r = Circle(J, D)
B' = Intersect(p, a, 2)
A' = Intersect(q, g, 2)
D' = Intersect(r, h, 2)
Q, k_1, l, m, n = Polygon(C', B', A', D')
E = (-3.783333333333333, 4)
i = Line(E, s_1)
F = Point(i)
j = Segment(E, F)
s = Line(A', i)
t = Line(D', i)
a_1 = Line(B', i)
b_1 = Line(C', i)
c_1 = Circle(A', j)
A'' = Intersect(c_1, s, 2)
d_1 = Circle(B', j)
B'' = Intersect(d_1, a_1, 2)
e_1 = Circle(C', j)
C'' = Intersect(e_1, b_1, 2)
f_1 = Circle(D', j)
D'' = Intersect(f_1, t, 2)
P, l_1, k_2, n_1, m_1 = Polygon(B'', A'', D'', C'')
t_1 = Vector(E, F)
g_1 = Segment(B, B'')
h_1 = Segment(A, A'')
i_1 = Segment(D, D'')
j_1 = Segment(C, C'')