ControlOjo = Point(x ≤ -1)
O = Intersect(xAxis, yAxis)
c = Circle(O, ControlOjo)
P, Q = Intersect(c, xAxis)
u = Vector(O, Q)
i_1 = Ray(Q, u)
B = Point(i_1)
g_2 = Ray(B, Vector[(0, 0), (0, -1)])
r = Distance(ControlOjo, O)
b_1 = Ray((r / 2, 0), u)
e = Circle(O, (0.92 * r))
d = Circle(O, (0.937 * r))
C_1 = Intersect(d, xAxis, 2)
C'_4 = Rotate(C_1, 21°)
l = Line(C'_4, xAxis)
K, R = Intersect(e, l)
F = Mirror(C'_4, xAxis)
n = Line(F, xAxis)
I, J = Intersect(e, n)
g_1 = Line(O, B)
ControlCristalino = Point(b_1)
p = CircleArc(ControlCristalino, R, J)
m = OrthogonalLine(B, xAxis)
C'_2 = Rotate(C_1, 40°)
C''_1 = Mirror(C'_2, xAxis)
f = Ray(O, C'_2)
g = Ray(O, C''_1)
D = Intersect(c, f)
E_2 = Intersect(c, g)
h = Segment(C'_2, D)
i = Segment(C''_1, E_2)
L, M = Intersect(e, xAxis)
s = CircumcircleArc(C'_2, C_1, C''_1)
t = CircumcircleArc(C'_2, C_1, C''_1)
C = Point(m)
A = Mirror(C, xAxis)
j_1 = Segment(A, C)
j = OrthogonalLine(C'_2, xAxis)
G = Intersect(j, xAxis)
k = Segment(O, G)
T = Intersect(e, xAxis, 2)
q = CircumcircleArc(J, T, R)
U = Intersect(d, l, 1)
V = Intersect(d, n, 1)
c_1 = Circle(U, (3 / 5 * Distance[O, ControlOjo]))
d_1 = Circle(V, (3 / 5 * Distance[O, ControlOjo]))
S = Intersect(d_1, n, 1)
W = Intersect(c_1, l, 1)
a = Segment(U, W)
b = Segment(V, S)
B'' = Intersect(p, g_1)
f_1 = Line(A, O)
h_1 = Line(C, O)
Z = Intersect(q, f_1)
B_1 = Intersect(q, h_1)
k_1 = Line(B_1, O)
l_1 = Line(O, Z)
A'' = Intersect(p, l_1, 1)
C'' = Intersect(p, k_1, 1)
e_1 = Circle(ControlCristalino, Distance[ControlCristalino, B''] + r / 2)
r_1 = Line(ControlCristalino, A'')
s_1 = Line(ControlCristalino, C'')
F_1 = Intersect(e_1, r_1, 2)
G_1 = Intersect(e_1, s_1, 2)
B' = Intersect(d, g_1, 1)
f_2 = Tangent(C'', p)
J_1 = Intersect(g_1, f_2)
i_2 = Ray(J_1, Vector[J_1, O])
h_2 = Segment(O, J_1)
j_2 = AngularBisector(O, A'', J_1)
ControlConvergencia = Point(h_2)
k_2 = Line(A'', ControlConvergencia)
l_2 = Line(C'', ControlConvergencia)
A' = Intersect(d, l_1, 1)
C' = Intersect(d, k_1, 2)
m_1 = Segment(A', A)
n_1 = Segment(C, C')
p_1 = Segment(B', B)
q_1 = CircumcircleArc(A', B', C')