\setlength{\unitlength}{0.00058300in}%
%
\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}(7167,4126)(275,-3562)
\thicklines
\put(3333,339){\circle{436}}
\put(2227,-352){\circle{436}}
\put(4437,-352){\circle{436}}
\put(2918,-1042){\circle{436}}
\put(3746,-1042){\circle{436}}
\put(5128,-1042){\circle{436}}
\put(1494,-1024){\circle{436}}
\put(501,-2561){\circle{436}}
\put(1192,-2561){\circle{436}}
\put(1882,-2561){\circle{436}}
\put(4851,-2561){\circle{436}}
\put(5541,-2561){\circle{436}}
\put(6300,-2561){\circle{436}}
\put(5806,-636){\vector(-1, 0){769}}
\put(2436,-215){\line( 5, 3){690}}
\put(4229,-215){\line(-5, 3){690}}
\put(3194,130){\line(-1,-1){276}}
\put(3333,130){\line( 0,-1){276}}
\put(3471,130){\line( 1,-1){275.500}}
\put(1676,-906){\line( 1, 1){415}}
\put(2781,-906){\line(-1, 1){415.500}}
\put(3884,-906){\line( 1, 1){414}}
\put(4989,-906){\line(-1, 1){415}}
\multiput(2159,-560)(-2.99744,-11.98977){24}{\makebox(9.5238,14.2857){\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\updefault}.}}
\multiput(2296,-560)(3.00000,-12.00000){24}{\makebox(9.5238,14.2857){\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\updefault}.}}
\multiput(4367,-560)(-3.00256,-12.01023){24}{\makebox(9.5238,14.2857){\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\updefault}.}}
\multiput(4506,-560)(2.99744,-11.98977){24}{\makebox(9.5238,14.2857){\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\updefault}.}}
\put(1331,-1181){\line(-2,-5){137.793}}
\put(2918,-1251){\line( 0,-1){274}}
\put(3746,-1251){\line( 0,-1){274}}
\put(5128,-1251){\line( 0,-1){274}}
\put(1467,-1251){\line( 0,-1){274}}
\put(1676,-1181){\line( 2,-5){137.655}}
\put(2711,-1181){\line(-2,-5){137.793}}
\put(3126,-1181){\line( 2,-5){137.379}}
\put(3539,-1181){\line(-2,-5){137.655}}
\put(3952,-1181){\line( 2,-5){137.793}}
\put(4919,-1181){\line(-2,-5){137.517}}
\put(5334,-1181){\line( 2,-5){137.655}}
\multiput(571,-2354)(5.51200,11.02400){26}{\makebox(9.5238,14.2857){\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\updefault}.}}
\multiput(1263,-2354)(5.49600,10.99200){26}{\makebox(9.5238,14.2857){\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\updefault}.}}
\multiput(2021,-2354)(5.50400,11.00800){26}{\makebox(9.5238,14.2857){\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\updefault}.}}
\multiput(4712,-2354)(-5.50400,11.00800){26}{\makebox(9.5238,14.2857){\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\updefault}.}}
\multiput(5404,-2354)(-5.52000,11.04000){26}{\makebox(9.5238,14.2857){\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\updefault}.}}
\multiput(6162,-2354)(-5.50400,11.00800){26}{\makebox(9.5238,14.2857){\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\updefault}.}}
\put(5806, 37){\vector(-1, 0){1347}}
\put(515,-2754){\line( 0,-1){384}}
\put(1189,-2754){\line( 0,-1){384}}
\put(1862,-2754){\line( 0,-1){384}}
\put(4844,-2754){\line( 0,-1){384}}
\put(5517,-2754){\line( 0,-1){384}}
\put(6288,-2754){\line( 0,-1){384}}
\put(7250,-3327){\vector(-1, 0){386}}
\put(567,-1770){\line( 1, 0){5675}}
\put(6923,-1770){\vector(-1, 0){340}}
\put(3301,239){\makebox(0,0)[lb]{\smash{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}$\exists$}}}
\put(1426,-1111){\makebox(0,0)[lb]{\smash{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}$\exists$}}}
\put(2851,-1111){\makebox(0,0)[lb]{\smash{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}$\exists$}}}
\put(3676,-1111){\makebox(0,0)[lb]{\smash{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}$\exists$}}}
\put(5101,-1111){\makebox(0,0)[lb]{\smash{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}$\exists$}}}
\put(2176,-436){\makebox(0,0)[lb]{\smash{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}$\forall$}}}
\put(4351,-436){\makebox(0,0)[lb]{\smash{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}$\forall$}}}
\put(5903,-60){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{\rmdefault}{\mddefault}{\updefault}branching factor $2^n$}}}
\put(5903,-733){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{\rmdefault}{\mddefault}{\updefault}branching factor $2^n$}}}
\put(318,-3427){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{\rmdefault}{\mddefault}{\updefault}$n^c$}}}
\put(1025,-3427){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{\rmdefault}{\mddefault}{\updefault}$n^c$}}}
\put(1670,-3427){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{\rmdefault}{\mddefault}{\updefault}$n^c$}}}
\put(4651,-3427){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{\rmdefault}{\mddefault}{\updefault}$n^c$}}}
\put(5325,-3427){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{\rmdefault}{\mddefault}{\updefault}$n^c$}}}
\put(6200,-3427){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{\rmdefault}{\mddefault}{\updefault}$n^c$}}}
\put(7400,-3427){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{\rmdefault}{\mddefault}{\updefault}work at each node}}}
\put(7126,-1861){\makebox(0,0)[lb]{\smash{\SetFigFont{11}{13.2}{\rmdefault}{\mddefault}{\updefault}depth $k$}}}
\end{picture}
