T = Point(yAxis)
A = Intersect(xAxis, yAxis)
h_1 = Ray(A, (1, 0))
D = Point(h_1)
B = Point(h_1)
C = Point(h_1)
o = Max({x(B), x(C), x(D)})
i_1 = Segment(A, (o, 0))
f = Segment(A, T)
g = Line(T, xAxis)
Z = Point(i_1)
h = OrthogonalLine(Z, xAxis)
i = OrthogonalLine(B, xAxis)
j = OrthogonalLine(C, xAxis)
k = OrthogonalLine(D, xAxis)
E = Intersect(i, g)
F = Intersect(j, g)
G = Intersect(g, k)
m = Segment(T, G)
O = Point(f)
n = Segment(O, D)
p = Segment(O, C)
q = Segment(O, B)
r = Segment(O, E)
s = Segment(O, F)
t = Segment(O, G)
E' = Intersect(h, r)
F' = Intersect(h, s)
G' = Intersect(h, t)
B' = Intersect(h, q)
C' = Intersect(h, p)
D' = Intersect(h, n)
a = Segment(Z, E')
f_1 = Segment(T, E)
g_1 = Segment(T, F)
b = Segment(F', Z)
c = Segment(G', Z)