A = Intersect(xAxis, yAxis)
B = Point(xAxis)
c = Circle(A, B)
A' = Mirror(A, B)
B' = Mirror(B, A')
A'' = Mirror(A', B')
B'' = Mirror(B', A'')
A''' = Mirror(A'', B'')
B''' = Mirror(B'', A''')
f = LineBisector(B, B')
c' = Mirror(c, f)
g = LineBisector(B'', B''')
c'' = Mirror(c', g)
C, D = Intersect(c, xAxis)
A'_{1} = Mirror(A, D)
D' = Mirror(D, A'_{1})
E = Mirror(A'_{1}, D')
E' = Mirror(E, D')
E'_{1} = Mirror(E, D')
E'_{2} = Mirror(E, D')
D'' = Mirror(D', E)
E'_{3} = Mirror(E, D'')
D''' = Mirror(D'', E'_{3})
h = LineBisector(D, D')
c'_{1} = Mirror(c, h)
i = LineBisector(D'', D''')
d = Mirror(c'_{1}, i)
F = (-10, 2)
G = (10, 2)
H = (10, -2)
I = (-10, -2, 0)
q1, f_1, g_1, h_1, i_1 = Polygon(F, G, H, I)
J = (-11, 3)
K = (-11, -3)
L = (11, -3)
M = (11, 3)
N = (-8, 0)
O = Point(xAxis)
W1: (8, 0, 8)
a, e, p, b = Cylinder(O, W1, 1)
j, P, Q, R, S, powierzchniaFGQP, powierzchniaGHRQ, powierzchniaHISR, powierzchniaFISP, powierzchniaPQRS, krawędźFP, krawędźGQ, krawędźHR, krawędźIS, krawędźPQ, krawędźQR, krawędźRS, krawędźPS = Prism(q1, -1)
q2, j_1, m, l, k = Polygon(J, M, L, K)
n, T, U, V, W, powierzchniaJMUT, powierzchniaLMUV, powierzchniaKLVW, powierzchniaJKWT, powierzchniaTUVW, krawędźJT, krawędźMU, krawędźLV, krawędźKW, krawędźTU, krawędźUV, krawędźVW, krawędźTW = Prism(q2, 0.5)
o, q, r = Cylinder(p, 0)
W2: (4, 0, 8)
s, t, c_1, u = Cylinder(W2, A'', 1)
W3: (0, 0, 8)
v, d_1, e_1, w = Cylinder(W3, A, 1)
W4: (-4, 0, 8)
W5: (-8, 0, 8)
a_1, k_1, p_1, b_1 = Cylinder(E, W4, 1)
l_1, q_1, r_1, m_1 = Cylinder(N, W5, 1)
Z = Point(zAxis)
p_2 = Plane(Z, xOyPlane)
R' = Mirror(R, powierzchniaTUVW)
Q' = Mirror(Q, powierzchniaTUVW)
krawędźQR' = Segment(R', Q')
j' = Mirror(j, p_2)
n' = Mirror(n, p_2)
q_2 = Plane(W3, p_2)
n'' = Mirror(n', q_2)
j'' = Mirror(j', q_2)
A_1 = PointIn(j'')
B_1 = PointIn(j'')
C_1 = PointIn(j'')
D_1 = PointIn(j'')
q3, n_1, s_1, t_1, f_2 = Polygon(D_1, A_1, B_1, C_1)
o_1, E_1, powierzchnia2, powierzchnia1, powierzchnia3, powierzchnia4, krawędź4, krawędź1, krawędź2, krawędź3 = Pyramid(q3, 2)
r_2 = OrthogonalPlane(E_1, xAxis)