\documentclass[fleqn,leqno]{article}
\usepackage{hypertlabook}
\pdftitle{Hint}
\begin{popup}
\subsection*{Hint}
Let TLC find a behavior ending in a state with $num[1]=3$ and
$num[2]=6$, and see how it happened.
\end{popup}
\makepopup