\noindent\nbpdfSubsubsection{Snips/IType/1.pdf}

This is IType.nb of \web{ap}.

\noindent\nbpdfInput{Snips/IType/2.pdf}

\noindent\nbpdfPrint{Snips/IType/3.pdf}

\noindent\nbpdfPrint{Snips/IType/4.pdf}

\noindent\nbpdfInput{Snips/IType/5.pdf}

\vskip 1mm\rule{\linewidth}{1pt}\vspace{-2mm}

\noindent\nbpdfSubsubsection{Snips/IType/6.pdf}

\noindent\nbpdfText{Snips/IType/7.pdf}

\noindent\nbpdfInput{Snips/IType/8.pdf}

\noindent\nbpdfInput{Snips/IType/9.pdf}

\noindent\nbpdfInput{Snips/IType/10.pdf}

\noindent\nbpdfInput{Snips/IType/11.pdf}

\noindent\nbpdfOutput{Snips/IType/12.pdf}

\noindent\nbpdfInput{Snips/IType/13.pdf}

\noindent\nbpdfOutput{Snips/IType/14.pdf}

\noindent\nbpdfInput{Snips/IType/15.pdf}

\noindent\nbpdfOutput{Snips/IType/16.pdf}

\noindent\nbpdfInput{Snips/IType/17.pdf}

\noindent\nbpdfOutput{Snips/IType/18.pdf}

\vskip 1mm
From \surl{oeis.org/A226260}:
\vskip 1mm
\includegraphics[width=\linewidth]{OEIS.png}

\vskip -3mm\rule{\linewidth}{1pt}\vspace{-2mm}

\noindent\nbpdfSubsubsection{Snips/IType/19.pdf}

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

\noindent\nbpdfMessage{Snips/IType/21.pdf}

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

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

\needspace{5cm}

\noindent\nbpdfInput{Snips/IType/24.pdf}

\noindent\nbpdfOutput{Snips/IType/25.pdf}

\needspace{10mm}

\noindent\nbpdfInput{Snips/IType/26.pdf}

\noindent\nbpdfOutput{Snips/IType/27.pdf}

%\vskip 1mm\rule{\linewidth}{1pt}\vspace{2mm}
\newcolumn

\noindent\nbpdfSubsubsection{Snips/IType/28.pdf}

\def\ip{{i^+}} \def\jp{{j^+}} \def\kp{{k^+}}
\def\ipp{{i^{+\!+}}} \def\jpp{{j^{+\!+}}} \def\kpp{{k^{+\!+}}}
\input{figs/R3.pdf_t}

\noindent\nbpdfInput{Snips/IType/29.pdf}

\noindent\nbpdfOutput{Snips/IType/30.pdf}

\vskip 1mm\rule{\linewidth}{1pt}\vspace{2mm}

\noindent\nbpdfSubsubsection{Snips/IType/31.pdf}

\noindent\nbpdfInput{Snips/IType/32.pdf}

\noindent\nbpdfOutput{Snips/IType/33.pdf}

\noindent\nbpdfInput{Snips/IType/34.pdf}

\noindent\nbpdfOutput{Snips/IType/35.pdf}

\noindent\nbpdfSubsubsection{Snips/IType/36.pdf}

\noindent\nbpdfInput{Snips/IType/37.pdf}

\noindent\nbpdfOutput{Snips/IType/38.pdf}

\needspace{20mm}

\noindent\nbpdfInput{Snips/IType/39.pdf}

\noindent\nbpdfOutput{Snips/IType/40.pdf}

Invariance under the other Reidemeister moves is proven in a similar way. See IType.nb at \web{ap}.

