%
\begingroup\makeatletter\ifx\SetFigFont\undefined%
\gdef\SetFigFont#1#2#3#4#5{%
  \reset@font\fontsize{#1}{#2pt}%
  \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
  \selectfont}%
\fi\endgroup%
\begin{picture}(624,939)(0,-10)
\thicklines
\path(462,12)(462,462)(612,837)(612,912)
\path(642.000,792.000)(612.000,912.000)(582.000,792.000)
\path(42.000,792.000)(12.000,912.000)(-18.000,792.000)
\path(12,912)(12,12)
\path(12,87)(462,87)
\path(462,237)(612,237)
\path(612,387)(12,387)
\path(192.000,792.000)(162.000,912.000)(132.000,792.000)
\path(162,912)(162,837)(612,462)(612,12)
\end{picture}