A = (-2, 2)
B = (2, 2)
C = (2, -2)
D = (-2, -2)
f(x) = 12.0
Z = (10, 12)
e = Segment(A, Z)
g = Segment(B, Z)
h = Segment(D, Z)
i = Segment(C, Z)
a = Segment(A, B)
b = Segment(B, C)
c = Segment(C, D)
d = Segment(D, A)
E = Point(e)
j = Line(E, a)
F = Intersect(g, j)
k = Line(F, b)
G = Intersect(k, i)
l = Line(G, c)
H = Intersect(l, h)
m = Segment(E, F)
n = Segment(G, F)
p = Segment(G, H)
q = Segment(E, H)
r = Segment(A, E)
s = Segment(B, F)
t = Segment(C, G)
a_1 = Segment(D, H)
b_1 = Segment(H, Z)
J = Point(a)
c_1 = Segment(J, Z)
K = Intersect(c_1, m)
d_1 = Segment(J, K)
e_1 = Line(J, b)
I = Intersect(e_1, c)
f_1 = Segment(J, I)