Ojo A

Ojo A'

A = Point(xAxis)
A' = Point(xAxis)
l = Segment(A, A')
C = Midpoint(l)
f = OrthogonalLine(C, xAxis)
B = Point(f)
g = OrthogonalLine(B, f)
G = Point(g)
J = Mirror(G, f)
h = Segment(G, J)
X = Point(h)
D = (11.02, 2.28)
i = Segment(D, X)
j = Segment(A, B)
k = Segment(B, A')
m = Segment(B, C)
p = OrthogonalLine(D, m)
K = Intersect(p, m)
T = Intersect(p, j)
Z = Intersect(i, m)
k_1 = OrthogonalLine(Z, m)
R = Intersect(j, k_1)
Q = Intersect(k_1, k)
l_1 = Segment(R, Q)
H = Point(i)
n = OrthogonalLine(H, f)
N = Intersect(n, j)
N' = Intersect(n, k)
M = Intersect(f, n)
q = Segment(N, M)
c = Circle(H, q)
I, I' = Intersect(c, n)
r = Line(X, I')
s = Line(X, I)
S' = Intersect(p, r)
S = Intersect(p, s)
t = Segment(S, X)
a = Segment(X, S')
b = Segment(S', K)
E = Intersect(j, i)
E' = Intersect(i, k)
O = Intersect(t, j)
O' = Intersect(k, a)
e = OrthogonalLine(O, f)
P = Intersect(e, i)
F = Intersect(f, e)
f_1 = Segment(P, F)
L_1 = Intersect(f, m)
L = Intersect(t, f)
g_1 = Segment(E, L)
L' = Intersect(a, f)
h_1 = Segment(L', E')
i_1 = OrthogonalLine(O', f)
F' = Intersect(i_1, f)
P' = Intersect(i_1, i)
j_1 = Segment(F', P')
o = true
m_1 = Segment(M, H)
n_1 = Segment(H, I)
p_1 = Segment(M, H)
u = false
d = Segment(D, K)
q_1 = Segment(K, S)
r_1 = Segment(K, D)