%
\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(3162,5112)(3012,4512)(3612,3762)
	(4212,4512)(4062,5112)(3162,5112)
\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(4212,4512)(5862,5112)(6312,4812)
	(4212,1062)(3612,1512)(3612,3762)(4212,4512)
\path(987,6387)(1512,5712)(3162,5112)
	(4062,5112)(5712,5712)(6237,6387)(987,6387)
\path(1062,6387)(1017,6342)
\path(1362,6387)(1152,6177)
\path(1662,6387)(1294,6012)(1287,6012)
\path(1962,6387)(1414,5839)
\path(2262,6387)(1572,5697)
\path(2562,6387)(1782,5607)
\path(2862,6387)(2007,5532)
\path(3162,6387)(2225,5450)
\path(3462,6387)(2450,5375)
\path(3762,6387)(2659,5284)
\path(4062,6387)(2877,5202)
\path(4362,6387)(3102,5127)
\path(4662,6387)(3387,5112)
\path(4962,6387)(3687,5112)
\path(5262,6387)(3987,5112)
\path(5562,6387)(4437,5262)
\path(5862,6387)(4887,5412)
\path(6162,6387)(5367,5592)
\end{picture}