\begin{figure}[t]
\centering
\begin{tikzpicture}[x=0.78cm,y=0.5cm]
 \def\xmax{14.6}
 \draw[->] (0,0) -- (\xmax+0.4,0) node[right,font=\small]{$x$};
 % block rows: start points (schematic) for s_i C_i and C_i/s_i
 \foreach \i/\a/\b/\y/\c in {1/1.3/0.8/8.6/blue!70!black, 2/3.3/2.1/6.6/orange!85!black, 3/7.6/4.7/4.6/green!50!black, 4/15.5/9.4/2.6/violet} {
   \pgfmathsetmacro{\ya}{\y+0.55}
   \pgfmathsetmacro{\yb}{\y-0.55}
   % + row
   \ifdim \a pt < 14.6pt
     \draw[\c,line width=2.2pt] (\a,\ya) -- (\xmax,\ya);
     \foreach \t in {0,...,80} {\pgfmathsetmacro{\xx}{\a+\t*0.45/(\i^0.6)}
       \ifdim \xx pt < 14.6pt \draw[\c] (\xx,\ya-0.35) -- (\xx,\ya+0.35); \fi}
   \fi
   \draw[\c,line width=2.2pt] (\b,\yb) -- (\xmax,\yb);
   \foreach \t in {0,...,90} {\pgfmathsetmacro{\xx}{\b+\t*0.45/(\i^0.6)}
       \ifdim \xx pt < 14.6pt \draw[\c] (\xx,\yb-0.35) -- (\xx,\yb+0.35); \fi}
   \node[left,font=\scriptsize,\c] at (0,\ya) {$s_{\i}C_{\i}$};
   \node[left,font=\scriptsize,\c] at (0,\yb) {$C_{\i}/s_{\i}$};
   \node[right,font=\scriptsize,\c] at (\xmax+0.15,\y) {order $\approx P_{\i}$};
 }
 \draw[<->,gray] (-1.2,9.15) to[bend right=50] node[left,font=\scriptsize]{$\F$} (-1.2,8.05);
 \draw[violet,dotted,line width=0.8pt] (9.6,3.15) -- (\xmax,3.15);
 \node[font=\scriptsize,violet,fill=white,inner sep=1pt] at (12.1,3.15) {starts beyond the picture};
 \draw[dashed] (5.2,-0.2) -- (5.2,9.9);
 \node[font=\scriptsize,align=center,fill=white,inner sep=1pt] at (5.2,10.6) {a window $[-r,r]$ meets\\ finitely many blocks};
 \node[font=\scriptsize] at (7.3,-1.1) {$\Lambda$ is the union of all rows; the inner radii $R_1<R_2<R_3<\cdots$ grow rapidly};
\end{tikzpicture}
\caption{The set $\Lambda$ of Section~\ref{sec:exhaustion}, schematically
($x\ge0$ shown). The block $C_i=C(P_i,R_i)$ has inner radius about $R_i$ and
carries one crystalline measure, of Hermite order between $P_i$ and $18P_i+4$.
It is used twice, dilated by $s_i$ and by $1/s_i$, and the Fourier transform
exchanges the two copies: $\F e_{(i,+)}=\zeta_ie_{(i,-)}$. Because the inner radii
grow rapidly, every bounded window meets only finitely many blocks, so $\Lambda$
is locally finite. The main work (Section~\ref{sec:exhaustion}) is to show that
$\Lambda$ carries no crystalline measures other than finite combinations of the
block measures.}
\label{fig:overlay}
\end{figure}