\[(0)(1,1,1)(2,2,1)(3,2,1) = \psi(\lambda\alpha.I_{\alpha+1}-\Pi_1)\] \[(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1) = \psi(\lambda\alpha.\W_{I_{\alpha+1}+1}-\Pi_1)\] \[(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2) = \psi(\lambda\alpha.\psi_{I_{\alpha+2}}(I_{\alpha+2})-\Pi_0)\] \[(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2,1) = \psi(\lambda\alpha.I_{\alpha+2}-\Pi_1)\] \[(0)(1,1,1)(2,2,1)(3,2,1)(3) = \psi(\lambda\alpha.I_{\alpha+\w}-\Pi_0)\] \[(0)(1,1,1)(2,2,1)(3,2,1)(3,1,1) = \psi(\lambda\alpha.I_{\alpha+\W_{\alpha+1}}-\Pi_0)\] \[(0)(1,1,1)(2,2,1)(3,2,1)(3,1,1)(4,2,1) = \psi(\lambda\alpha.I_{\alpha+\W_{\alpha+2}}-\Pi_0)\] \[(0)(1,1,1)(2,2,1)(3,2,1)(3,2) = \psi(\lambda\alpha.(\mathrm{psd.} 2~1-2~1-2~aft~\alpha)-\Pi_0)\] \[(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1) = \psi(\lambda\alpha.(2~1-2~1-2~aft~\alpha)-\Pi_1)\] \[(0)(1,1,1)(2,2,1)(3,2,1)(4) = \psi(\lambda\alpha.((2~1-)^\w 2~aft~\alpha)-\Pi_1)\] \[(0)(1,1,1)(2,2,1)(3,2,1)(4,1,1) = \psi(\lambda\alpha.((2~1-)^{\W_{\alpha+1}} 2~aft~\alpha)-\Pi_1)\] \[(0)(1,1,1)(2,2,1)(3,2,1)(4,1,1)(5,2,1) = \psi(\lambda\alpha.((2~1-)^{\W_{\alpha+2}} 2~aft~\alpha)-\Pi_1)\] \[(0)(1,1,1)(2,2,1)(3,2,1)(4,2) = \psi(\lambda\alpha.(\mathrm{psd.}(2~1-)^{\beta} 2~aft~\alpha)-\Pi_1)\text{[$\beta$ is fp tag]}\]

\((0)(1,1,1)(2,2,1)(3,2,1)(4,2,1) = \psi(\lambda\alpha.(2-2~aft~\alpha)-\Pi_1)\) \((0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1) = \psi(\lambda\alpha.(2~1-2-2~aft~\alpha)-\Pi_1)\) \((0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4,2,1) = \psi(\lambda\alpha.(2-2~1-2-2~aft~\alpha)-\Pi_1)\) \((0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(4) = \psi(\lambda\alpha.((2-2~1-)^{\w}2-2~aft~\alpha)-\Pi_1)\) \((0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(4,2) = \psi(\lambda\alpha.((2-2~1-)^{\beta}2-2~aft~\alpha)-\Pi_1)\) \((0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(4,2,1) = \psi(\lambda\alpha.(2-2-2~aft~\alpha)-\Pi_1)\) \((0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(5) = \psi(\lambda\alpha.((2-)^\w~aft~\alpha)-\Pi_1)\) \((0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(5,2,1) = \psi(\lambda\alpha.(3~aft~\alpha)-\Pi_1)\)

\[(0)(1,1,1)(2,2,1)(3,3) = \psi(\lambda\alpha.(\lambda\beta.\beta+1-\Pi_0)-\Pi_0)\]