	\begin{tikzpicture}
		\def\tc{\redLabel};
		%%
		\draw(1,1) node[pathnode]{\nuPath{1,3,2,5,3,1}{1,1,3,3,4,4,5,5,6,6}{}{.6}{}{}{1}};
		\draw(-1.5,-1.1) node[\tc,scale=.75]{$p_{0}$};
		\draw(-1.5,-.5) node[\tc,scale=.75]{$p_{1}$};
		\draw(-.9,-.5) node[\tc,scale=.75]{$p_{2}$};
		\draw(-.3,-.5) node[\tc,scale=.75]{$p_{3}$};
		\draw(-.3,.1) node[\tc,scale=.75]{$p_{4}$};
		\draw(-.3,.7) node[\tc,scale=.75]{$p_{5}$};
		\draw(.3,.7) node[\tc,scale=.75]{$p_{6}$};
		\draw(.9,.7) node[\tc,scale=.75]{$p_{7}$};
		\draw(.9,1.3) node[\tc,scale=.75]{$p_{8}$};
		\draw(1.5,1.3) node[\tc,scale=.75]{$p_{9}$};
		\draw(2.15,1.3) node[\tc,scale=.75]{$p_{10}$};
		\draw(2.15,1.9) node[\tc,scale=.75]{$p_{11}$};
		\draw(2.75,1.9) node[\tc,scale=.75]{$p_{12}$};
		\draw(3.35,1.9) node[\tc,scale=.75]{$p_{13}$};
		\draw(3.35,2.5) node[\tc,scale=.75]{$p_{14}$};
		\draw(3.95,2.5) node[\tc,scale=.75]{$p_{15}$};
		%%
		\draw(5.25,1) node{$\overset{\text{right-flushing}}{\longrightarrow}$};
		%%
		\draw(10,1) node[pathnode]{\nuTree{1,3,2,5,3,1}{0/0//,1/1//,2/1//d,3/1//d,1/2//,6/3//,7/3//d,8/3//d,4/4//,5/4//d,6/4//d,0/5//,1/5//d,4/5//d,0/6//,9/6//d}{p1/p12,p2/p3,p2/p5,p3/p4,p5/p13,p6/p7,p6/p11,p7/p8,p9/p10,p9/p14,p10/p11,p12/p15,p12/p13,p13/p14,p15/p16}{}{.6}{}{}};
		\draw(7.5,-1.15) node[\tc,scale=.75]{$\overline{p}_{0}$};
		\draw(8.1,-.55) node[\tc,scale=.75]{$\overline{p}_{3}$};
		\draw(8.7,-.55) node[\tc,scale=.75]{$\overline{p}_{2}$};
		\draw(9.3,-.55) node[\tc,scale=.75]{$\overline{p}_{1}$};
		\draw(8.1,.05) node[\tc,scale=.75]{$\overline{p}_{4}$};
		\draw(11.1,.65) node[\tc,scale=.75]{$\overline{p}_{7}$};
		\draw(11.7,.65) node[\tc,scale=.75]{$\overline{p}_{6}$};
		\draw(12.3,.65) node[\tc,scale=.75]{$\overline{p}_{5}$};
		\draw(9.95,1.25) node[\tc,scale=.75]{$\overline{p}_{10}$};
		\draw(10.5,1.25) node[\tc,scale=.75]{$\overline{p}_{9}$};
		\draw(11.1,1.25) node[\tc,scale=.75]{$\overline{p}_{8}$};
		\draw(7.55,1.85) node[\tc,scale=.75]{$\overline{p}_{13}$};
		\draw(8.15,1.85) node[\tc,scale=.75]{$\overline{p}_{12}$};
		\draw(9.95,1.85) node[\tc,scale=.75]{$\overline{p}_{11}$};
		\draw(7.55,2.45) node[\tc,scale=.75]{$\overline{p}_{15}$};
		\draw(12.95,2.45) node[\tc,scale=.75]{$\overline{p}_{14}$};
	\end{tikzpicture}
