\documentclass[fleqn,leqno]{article}
\usepackage{hypertlabook}
\pdftitle{Answer}
\begin{popup}
\subsection*{Answer}
TLC must first enumerate all states satisfying $TypeOK$.  For $N=3$,
I calculate that there are about 57 million such states.
\end{popup}
\makepopup