\setlength{\unitlength}{0.00052493in}
%
\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%
{\renewcommand{\dashlinestretch}{30}
\begin{picture}(6066,4128)(0,-10)
\path(12,3609)(5412,3609)(5412,3384)
	(12,3384)(12,3609)
\path(12,2034)(3162,2034)(3162,1809)
	(12,1809)(12,2034)
\path(4512,2034)(4962,2034)(4962,1809)
	(4512,1809)(4512,2034)
\path(4512,1809)(5097,1809)(5097,1584)
	(4512,1584)(4512,1809)
\path(4512,1584)(5277,1584)(5277,1359)
	(4512,1359)(4512,1584)
\path(4512,1359)(5502,1359)(5502,1134)
	(4512,1134)(4512,1359)
\path(4512,1134)(5592,1134)(5592,909)
	(4512,909)(4512,1134)
\path(4512,909)(5682,909)(5682,684)
	(4512,684)(4512,909)
\path(4647,2034)(4737,684)
\path(4107,234)(4557,774)
\path(4503.225,662.608)(4557.000,774.000)(4457.131,701.019)
\path(5502,234)(5502,774)
\path(5532.000,654.000)(5502.000,774.000)(5472.000,654.000)
\put(3792,1899){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\sfdefault}{\mddefault}{\updefault}+}}}}}
\put(2487,2979){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\sfdefault}{\mddefault}{\updefault}$s$  bits}}}}}
\put(4827,504){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\sfdefault}{\mddefault}{\updefault}$\vdots$}}}}}
\put(4152,2124){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\sfdefault}{\mddefault}{\updefault}$n$}}}}}
\put(4512,2394){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\sfdefault}{\mddefault}{\updefault}Library}}}}}
\put(4197,729){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\sfdefault}{\mddefault}{\updefault}6}}}}}
\put(4197,954){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\sfdefault}{\mddefault}{\updefault}5}}}}}
\put(4197,1179){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\sfdefault}{\mddefault}{\updefault}4}}}}}
\put(4197,1404){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\sfdefault}{\mddefault}{\updefault}3}}}}}
\put(4197,1629){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\sfdefault}{\mddefault}{\updefault}2}}}}}
\put(4197,1854){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\sfdefault}{\mddefault}{\updefault}1}}}}}
\put(12,3969){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\sfdefault}{\mddefault}{\updefault}Uncompressed program (without library)}}}}}
\put(12,2394){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\sfdefault}{\mddefault}{\updefault}Compressed program (with library)}}}}}
\put(1137,1449){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\sfdefault}{\mddefault}{\updefault}$\geq \Hdomain s$  bits}}}}}
\put(5097,54){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\sfdefault}{\mddefault}{\updefault}Component}}}}}
\put(3612,54){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\sfdefault}{\mddefault}{\updefault}Identifier}}}}}
\end{picture}
}