V_1 = (-4, 0)
V_2 = (4, 0)
A = (-1, -2)
B = (-1, 1)
a = Segment(A, B)
b = Segment(A, V_2)
C = Point(b)
c = Segment(A, C)
d = OrthogonalLine(C, horizon)
e = Segment(B, V_2)
D = Intersect(d, e)
f = Segment(C, D)
g = Segment(D, B)
h = Segment(A, V_1)
E = Point(h)
i = Segment(A, E)
j = OrthogonalLine(E, horizon)
k = Segment(B, V_1)
F = Intersect(j, k)
l = Segment(E, F)
m = Segment(F, B)
n = Segment(E, V_2)
p = Segment(C, V_1)
G = Intersect(p, n)
q = Segment(E, G)
r = Segment(G, C)
s = Segment(F, V_2)
t = Segment(D, V_1)
H = Intersect(s, t)
a1 = Segment(H, D)
b1 = Segment(H, F)
c1 = Segment(H, G)