%
\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(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(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(3162,5112)(3012,4512)(3612,3762)
	(4212,4512)(4062,5112)(3162,5112)
\path(1362,5112)(3012,4512)(3612,3762)
	(3612,1512)(3012,1062)(912,4812)(1362,5112)
\path(1062,6312)(1137,6387)
\path(1437,6387)(1190,6140)
\path(1737,6387)(1310,5960)
\path(2037,6387)(1452,5802)
\path(2337,6387)(1624,5674)
\path(2637,6387)(1842,5592)
\path(2937,6387)(2060,5510)
\path(3237,6387)(2285,5435)
\path(3537,6387)(2495,5345)
\path(3837,6387)(2712,5262)
\path(4137,6387)(2937,5187)
\path(4437,6387)(3162,5112)
\path(4737,6387)(3057,4707)
\path(5037,6387)(1827,3177)
\path(5337,6387)(1925,2975)
\path(5637,6387)(4542,5292)
\path(5937,6387)(5007,5457)
\path(6237,6387)(5487,5637)
\path(1362,5112)(964,4714)
\path(1587,5037)(1062,4512)
\path(1804,4954)(1174,4324)
\path(2022,4872)(1287,4137)
\path(2247,4797)(1392,3942)
\path(2457,4707)(1512,3762)
\path(2682,4632)(1617,3567)
\path(2899,4549)(1714,3364)
\path(4122,4872)(2037,2787)
\path(4182,4632)(2142,2592)
\path(3612,3762)(2262,2412)
\path(3612,3462)(2367,2217)
\path(3612,3162)(2472,2022)
\path(3612,2862)(2577,1827)
\path(3612,2562)(2682,1632)
\path(3612,2262)(2795,1445)
\path(3612,1962)(2914,1264)
\path(3612,1662)(3087,1137)
\end{picture}