%
\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}(7224,6414)(0,-10)
\thicklines
\path(4212,4512)(5862,5112)(6312,4812)
	(4212,1062)(3612,1512)(3612,3762)(4212,4512)
\path(12,5187)(3012,12)(4212,12)
	(7212,5187)(6237,6387)(987,6387)(12,5187)
\path(5712,5712)(5862,5112)(6312,4812)
	(7212,5187)(6237,6387)(5712,5712)
\path(987,6387)(12,5187)(912,4812)
	(1362,5112)(1512,5712)(987,6387)
\path(3012,1062)(3012,12)(4212,12)
	(4212,1062)(3612,1512)(3012,1062)(3012,1062)
\path(1362,5112)(3012,4512)(3612,3762)
	(3612,1512)(3012,1062)(912,4812)(1362,5112)
\path(987,6387)(1512,5712)(3162,5112)
	(4062,5112)(5712,5712)(6237,6387)(987,6387)
\path(3162,5112)(3012,4512)(3612,3762)
	(4212,4512)(4062,5112)(3162,5112)
\path(3462,5112)(3087,4737)
\path(3762,5112)(3087,4437)
\path(4062,5112)(3215,4265)
\path(4122,4872)(3350,4100)
\path(4172,4622)(3485,3935)
\end{picture}