\noindent\nbpdfInput{Snips/Rho1/20.pdf}

\noindent\nbpdfInput{Snips/Rho1/21.pdf}

\noindent\nbpdfOutput{Snips/Rho1/22.pdf}

Next comes Reid1, where we use results from an earlier example:

\noindent\nbpdfInput{Snips/Rho1/23.pdf}

\noindent\nbpdfOutput{Snips/Rho1/24.pdf}

Invariance under the other moves is proven similarly.

