%
\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}(625,940)(0,-10)
\thicklines
\path(12,388)(12,913)
\path(42.000,793.000)(12.000,913.000)(-18.000,793.000)
\path(612,388)(612,913)
\path(642.000,793.000)(612.000,913.000)(582.000,793.000)
\path(462,388)(462,688)(162,838)(162,913)
\path(192.000,793.000)(162.000,913.000)(132.000,793.000)
\path(462,463)(612,463)
\path(12,613)(462,613)
\path(13,12)(13,387)
\path(613,12)(613,162)(463,312)(463,387)
\path(463,12)(463,162)(613,312)(613,387)
\path(13,87)(463,87)
\end{picture}