O = Intersect(xAxis, yAxis)
B = Point(xAxis)
c = Circle(O, B)
C, D = Intersect(c, xAxis)
a = Sphere(B, D)
A, S = Intersect(zAxis, a)
b = Segment(S, O)
d, e, f = Cone(c, b)
M = Point(c)
N = Rotate(M, (-(120°)), O)
α = Angle(N, O, M)
K = Rotate(N, (-(120°)), O)
β = Angle(K, O, N)
g = Segment(M, N)
h = Segment(N, K)
i = Segment(K, M)
E = Midpoint(S, O)
j = Plane(E, h)
k = Segment(E, K)
l = Segment(E, N)
F = Midpoint(K, N)
m = Segment(F, E)
n = Segment(M, F)
γ = Angle(E, F, O)
p = AngularBisector(F, M, S)
O_1 = Intersect(p, b)
o = Sphere(O_1, O)
q = Line(F, M)
G, H = Intersect(c, q)
r = Segment(O_1, F)
I, J = Intersect(p, o)
L = Intersect(m, p)