\setlength{\unitlength}{3947sp}%
%
\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}(6022,4805)(76,-4053)
\thicklines
\put(3023,-3016){\circle{462}}
\put(4945,-3016){\circle{462}}
\put(1357,-1478){\circle{462}}
\put(3856,-1414){\circle{462}}
\put(2574,-838){\circle{462}}
\put(397,-3016){\circle{462}}
\put(2254,-3016){\circle{462}}
\thinlines
\put(3151,-389){\vector(-1,-1){256.500}}
\put(397,-2760){\line( 3, 4){192.480}}
\put(2959,-2760){\line( 3, 5){192.441}}
\put(4881,-2760){\line(-2, 3){256.769}}
\put(4369,-1927){\line(-6, 5){385.082}}
\put(3407,-1927){\line( 5, 4){321.098}}
\put(1806,-1991){\line(-1, 1){320.500}}
\put(908,-1991){\line( 1, 1){256.500}}
\put(1614,-1350){\line( 2, 1){691.200}}
\put(3599,-1286){\line(-3, 1){768}}
\put(2254,-2760){\line(-3, 5){192.441}}
\multiput(2703,-4041)(0.00000,18.00000){122}{\makebox(1.6667,11.6667){\SetFigFont{5}{6}{\rmdefault}{\mddefault}{\updefault}.}}
\multiput(2703,-1863)(14.36561,10.77421){108}{\makebox(1.6667,11.6667){\SetFigFont{5}{6}{\rmdefault}{\mddefault}{\updefault}.}}
\multiput(2574,-3977)(0.00000,18.06838){118}{\makebox(1.6667,11.6667){\SetFigFont{5}{6}{\rmdefault}{\mddefault}{\updefault}.}}
\multiput(2574,-1863)(-14.38869,10.79152){100}{\makebox(1.6667,11.6667){\SetFigFont{5}{6}{\rmdefault}{\mddefault}{\updefault}.}}
\put(5329,-774){\line( 1, 0){320}}
\put(5649,-774){\line( 0,-1){576}}
\put(5649,-1350){\line( 3,-2){384.692}}
\put(6034,-1606){\line(-6,-5){385.082}}
\put(5649,-1927){\line( 0,-1){1153}}
\put(5649,-3080){\line(-1, 0){255}}
\put(2574,-902){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{\rmdefault}{\mddefault}{\updefault}r}}}
\put(3151,-325){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{\rmdefault}{\mddefault}{\updefault}root}}}
\put(3728,-2311){\makebox(0,0)[lb]{\smash{\SetFigFont{34}{40.8}{\rmdefault}{\mddefault}{\updefault}...}}}
\put(1165,-2375){\makebox(0,0)[lb]{\smash{\SetFigFont{34}{40.8}{\rmdefault}{\mddefault}{\updefault}...}}}
\put(3728,-3080){\makebox(0,0)[lb]{\smash{\SetFigFont{34}{40.8}{\rmdefault}{\mddefault}{\updefault}...}}}
\put(332,-3080){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{\rmdefault}{\mddefault}{\updefault}l}}}
\put(1678,251){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{\rmdefault}{\mddefault}{\updefault}depth(l) = h = height(r)}}}
\put(1678,572){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{\rmdefault}{\mddefault}{\updefault}depth(r) = 0 = height(l)}}}
\put(6098,-1670){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{\rmdefault}{\mddefault}{\updefault}h}}}
\put( 76,-1414){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{\rmdefault}{\mddefault}{\updefault}subtree}}}
\put(1101,-3144){\makebox(0,0)[lb]{\smash{\SetFigFont{34}{40.8}{\rmdefault}{\mddefault}{\updefault}...}}}
\put(4276,-1186){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{\rmdefault}{\mddefault}{\updefault}subtree}}}
\put( 76,-1186){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{\rmdefault}{\mddefault}{\updefault}left}}}
\put(4276,-961){\makebox(0,0)[lb]{\smash{\SetFigFont{17}{20.4}{\rmdefault}{\mddefault}{\updefault}right}}}
\end{picture}
