A = Point(xAxis)
H = (10, 0)
f = Circle(H, A)
I = Point(f)
u = Vector(H, I)
α = Angle(A, H, I)
M = Point(xAxis)
N = Point(xAxis)
t_1 = Circle(M, N)
O = Point(t_1)
v = Vector(M, O)
β = Angle(N, M, O)
B = (4, 4)
C = (-4, 4)
D = (-4, -4)
E = (4, -4)
G = Intersect(yAxis, xAxis)
C' = Rotate(C, α, G)
D' = Rotate(D, α, G)
E' = Rotate(E, α, G)
B' = Rotate(B, α, G)
j = Line(C, B)
k = Line(D, E)
l = OrthogonalLine(C', xAxis)
m = OrthogonalLine(B', xAxis)
n = OrthogonalLine(E', xAxis)
p = OrthogonalLine(D', xAxis)
F = Intersect(l, j)
J = Intersect(m, j)
K = Intersect(p, j)
L = Intersect(n, j)
P = Intersect(n, k)
Q = Intersect(p, k)
R = Intersect(m, k)
S = Intersect(l, k)
F' = Rotate(F, β, G)
J' = Rotate(J, β, G)
K' = Rotate(K, β, G)
L' = Rotate(L, β, G)
P' = Rotate(P, β, G)
Q' = Rotate(Q, β, G)
R' = Rotate(R, β, G)
S' = Rotate(S, β, G)
i_1 = OrthogonalLine(B', yAxis)
j_1 = OrthogonalLine(C', yAxis)
k_1 = OrthogonalLine(D', yAxis)
l_1 = OrthogonalLine(E', yAxis)
m_1 = OrthogonalLine(S', xAxis)
n_1 = OrthogonalLine(R', xAxis)
p_1 = OrthogonalLine(Q', xAxis)
q_1 = OrthogonalLine(P', xAxis)
r_1 = OrthogonalLine(F', xAxis)
s_1 = OrthogonalLine(J', xAxis)
a_2 = OrthogonalLine(K', xAxis)
b_2 = OrthogonalLine(L', xAxis)
T = Intersect(j_1, r_1)
U = Intersect(j_1, m_1)
V = Intersect(i_1, a_2)
W = Intersect(i_1, p_1)
Z = Intersect(l_1, b_2)
A_1 = Intersect(l_1, q_1)
B_1 = Intersect(k_1, s_1)
C_1 = Intersect(k_1, n_1)
a = Segment(W, V)
b = Segment(V, T)
c = Segment(T, U)
d = Segment(W, U)
e = Segment(U, C_1)
g = Segment(C_1, A_1)
h = Segment(A_1, Z)
i = Segment(Z, B_1)
q = Segment(B_1, C_1)
r = Segment(Z, V)
s = Segment(A_1, W)
t = Segment(T, B_1)