% written by tools/figures.py: Figure "card" and its links (data-links of the HUD) \begingroup\setlength{\unitlength}{1mm}% \begin{picture}(132.027,143.933)% \put(0,0){\includegraphics{fig-card.pdf}}% \put(7.502,30.786){\hyperref[problem-49]{\makebox(63.513,99.354){}}}% \end{picture}\endgroup