HSS Hydra 分析：修订间差异

2025年8月30日 (六) 21:59的最新版本

该分析来自梅天狸的知乎文章，使用 BMS 与之对照。^[1]

$p_{0} = 1$

\begin{align}s\\&p_0(p_0)=(0)(1)\\&p_0(p_0(p_0))=(0)(1)(2)\\&p_0(p_1)=(0,0)(1,1)\\&p_0(p_1+p_0)=(0,0)(1,1)(1,0)\\&p_0(p_1+p_0(p_0))=(0,0)(1,1)(1,0)(2,0)\\&p_0(p_1+p_0(p_0(p_1)))=(0,0)(1,1)(1,0)(2,1)\\&p_0(p_1+p_0(p_0(p_1))+p_0(p_0(p_1)))=(0,0)(1,1)(1,0)(2,1)(1,0)(2,1)\\&p_0(p_1+p_0(p_0(p_1)+p_0))=(0,0)(1,1)(1,0)(2,1)(2,0)\\&p_0(p_1+p_0(p_0(p_1)+p_0(p_0(p_1))))=(0,0)(1,1)(1,0)(2,1)(2,0)(3,1)\\&p_0(p_1+p_0(p_1))=(0,0)(1,1)(1,1)\\&p_0(p_1+p_0(p_1)+p_0(p_0(p_1)+p_0(p_1)))=(0,0)(1,1)(1,1)(1,0)(2,1)(2,1)\\&p_0(p_1+p_0(p_1)+p_0(p_1))=(0,0)(1,1)(1,1)(1,1)\\&p_0(p_1+p_0(p_1+p_0))=(0,0)(1,1)(2,0)\\&p_0(p_1+p_0(p_1+p_0(p_0)))=(0,0)(1,1)(2,0)(3,0)\\&p_0(p_1+p_0(p_1+p_0(p_0(p_1))))=(0,0)(1,1)(2,0)(3,1)\\&p_0(p_1+p_0(p_1+p_0(p_0(p_1)+p_0(p_1))))=(0,0)(1,1)(2,0)(3,1)(3,1)\\&p_0(p_1+p_0(p_1+p_0(p_1)))=(0,0)(1,1)(2,1)\\&p_0(p_1+p_0(p_1+p_0(p_1))+p_0(p_0(p_1+p_0(p_1+p_0(p_1)))))=(0,0)(1,1)(2,1)(1,0)(2,1)(3,1)\\&p_0(p_1+p_0(p_1+p_0(p_1))+p_0(p_1))=(0,0)(1,1)(2,1)(1,1)\\&p_0(p_1+p_0(p_1+p_0(p_1))+p_0(p_1+p_0(p_0(p_1+p_0(p_1+p_0(p_1))))))=(0,0)(1,1)(2,1)(1,1)(2,0)(3,1)(4,1)\\&p_0(p_1+p_0(p_1+p_0(p_1))+p_0(p_1+p_0(p_1)))=(0,0)(1,1)(2,1)(1,1)(2,1)\\&p_0(p_1+p_0(p_1+p_0(p_1)+p_0))=(0,0)(1,1)(2,1)(2,0)\\&p_0(p_1+p_0(p_1+p_0(p_1)+p_0(p_0(p_1+p_0(p_1+p_0(p_1))))))=(0,0)(1,1)(2,1)(2,0)(3,1)(4,1)\\&p_0(p_1+p_0(p_1+p_0(p_1)+p_0(p_1)))=(0,0)(1,1)(2,1)(2,1)\\&p_0(p_1+p_0(p_1+p_0(p_1+p_0)))=(0,0)(1,1)(2,1)(3,0)\\&p_0(p_1+p_0(p_1+p_0(p_1+p_0(p_1))))=(0,0)(1,1)(2,1)(3,1)\\&p_0(p_1+p_0(p_1+p_0(p_1+p_0(p_1)))+p_0(p_1+p_0(p_1+p_0(p_1))))=(0,0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)\\&p_0(p_1+p_0(p_1+p_0(p_1+p_0(p_1))+p_0(p_1+p_0(p_1))))=(0,0)(1,1)(2,1)(3,1)(2,1)(3,1)\\&p_0(p_1+p_0(p_1+p_0(p_1+p_0(p_1)+p_0(p_1))))=(0,0)(1,1)(2,1)(3,1)(3,1)\\&p_0(p_1+p_0(p_1+p_0(p_1+p_0(p_1+p_0))))=(0,0)(1,1)(2,1)(3,1)(4,0)\\&p_0(p_1+p_0(p_1+p_0(p_1+p_0(p_1+p_0(p_1)))))=(0,0)(1,1)(2,1)(3,1)(4,1)\\&p_0(p_1+p_1)=(0,0)(1,1)(2,2)\end{align}

\begin{align}s\\&p_0(p_1+p_1+p_0(p_0(p_1+p_1)))=(0,0)(1,1)(2,2)(1,0)(2,1)(3,2)\\&p_0(p_1+p_1+p_0(p_1))=(0,0)(1,1)(2,2)(1,1)\\&p_0(p_1+p_1+p_0(p_1+p_0(p_1)))=(0,0)(1,1)(2,2)(1,1)(2,1)\\&p_0(p_1+p_1+p_0(p_1+p_0(p_1+p_1)))=(0,0)(1,1)(2,2)(1,1)(2,2)\\&p_0(p_1+p_1+p_0(p_1+p_0(p_1+p_1)+p_0))=(0,0)(1,1)(2,2)(2,0)\\&p_0(p_1+p_1+p_0(p_1+p_0(p_1+p_1)+p_0(p_1)))=(0,0)(1,1)(2,2)(2,1)\\&p_0(p_1+p_1+p_0(p_1+p_0(p_1+p_1)+p_0(p_1+p_0(p_1+p_1))))=(0,0)(1,1)(2,2)(2,1)(3,2)\\&p_0(p_1+p_1+p_0(p_1+p_1))=(0,0)(1,1)(2,2)(2,2)\\&p_0(p_1+p_1+p_0(p_1+p_1+p_0))=(0,0)(1,1)(2,2)(3,0)\\&p_0(p_1+p_1+p_0(p_1+p_1+p_0(p_1)))=(0,0)(1,1)(2,2)(3,1)\\&p_0(p_1+p_1+p_0(p_1+p_1+p_0(p_1+p_0(p_1+p_1+p_0(p_1+p_1)))))=(0,0)(1,1)(2,2)(3,1)(4,2)(4,2)\\&p_0(p_1+p_1+p_0(p_1+p_1+p_0(p_1+p_1)))=(0,0)(1,1)(2,2)(3,2)\\&p_0(p_1+p_1+p_0(p_1+p_1+p_0(p_1+p_1+p_0(p_1+p_1))))=(0,0)(1,1)(2,2)(3,2)(4,2)\\&p_0(p_1+p_1+p_1)=(0,0)(1,1)(2,2)(3,3)\\&p_0(p_1+p_1+p_1+p_0(p_1+p_0(p_1+p_1+p_1)))=(0,0)(1,1)(2,2)(3,3)(1,1)(2,2)(3,3)\\&p_0(p_1+p_1+p_1+p_0(p_1+p_1+p_0(p_1+p_1+p_1)))=(0,0)(1,1)(2,2)(3,3)(2,2)(3,3)\\&p_0(p_1+p_1+p_1+p_0(p_1+p_1+p_1))=(0,0)(1,1)(2,2)(3,3)(3,3)\\&p_0(p_1+p_1+p_1+p_1)=(0,0)(1,1)(2,2)(3,3)(4,4)\\&p_0(p_1(p_0))=(0,0,0)(1,1,1)\end{align}

\begin{align}s\\&p_0(p_1(p_0)+p_0(p_0(p_1(p_0))))=(0,0,0)(1,1,1)(1,0,0)(2,1,1)\\&p_0(p_1(p_0)+p_0(p_1))=(0,0,0)(1,1,1)(1,1,0)\\&p_0(p_1(p_0)+p_0(p_1+p_0(p_1(p_0))))=(0,0,0)(1,1,1)(1,1,0)(2,2,1)\\&p_0(p_1(p_0)+p_0(p_1+p_1))=(0,0,0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)\\&p_0(p_1(p_0)+p_0(p_1+p_1+p_0(p_1(p_0))))=(0,0,0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,3,1)\\&p_0(p_1(p_0)+p_0(p_1+p_1+p_1))=(0,0,0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,3,1)(3,3,0)\\&p_0(p_1(p_0)+p_0(p_1(p_0))))=(0,0,0)(1,1,1)(1,1,1)\\&p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1)))=(0,0,0)(1,1,1)(2,1,0)\\&p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1))+p_0(p_1+p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1)))))=(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)\\&p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1))+p_0(p_1+p_1+p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1)))))=(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,3,1)(4,1,0)\\&p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1))+p_0(p_1(p_0)))=(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)\\&p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1)+p_0(p_1)))=(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(3,1,0)\\&p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1+p_1)))=(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,2,0)\\&p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1+p_1+p_1)))=(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,2,0)(2,2,0)(3,3,1)(3,3,0)\\&p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1(p_0))))=(0,0,0)(1,1,1)(2,1,0)(1,1,1)\\&p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1(p_0)))+p_0(p_1(p_0)+p_0(p_1(p_0))))=(0,0,0)(1,1,1)(2,1,0)(1,1,1)(2,1,0)(1,1,1)\\&p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1(p_0))+p_0(p_1)))=(0,0,0)(1,1,1)(2,1,0)(1,1,1)(2,1,0)(2,1,0)\\&p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1(p_0))+p_0(p_1(p_0))))=(0,0,0)(1,1,1)(2,1,0)(2,1,0)(1,1,1)\\&p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1(p_0)))))=(0,0,0)(1,1,1)(2,1,0)(3,1,0)(1,1,1)\\&p_0(p_1(p_0)+p_1)=(0,0,0)(1,1,1)(2,1,0)(3,2,0)\\&p_0(p_1(p_0)+p_1+p_0(p_1(p_0)+p_1))=(0,0,0)(1,1,1)(2,1,0)(3,2,0)(3,2,0)\\&p_0(p_1(p_0)+p_1+p_1)=(0,0,0)(1,1,1)(2,1,0)(3,2,0)(4,3,0)\\&p_0(p_1(p_0)+p_1(p_0))=(0,0,0)(1,1,1)(2,1,0)(3,2,1)\\&p_0(p_1(p_0)+p_1(p_0)+p_1)=(0,0,0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(5,3,0)\\&p_0(p_1(p_0)+p_1(p_0)+p_1(p_0))=(0,0,0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(5,3,1)\\&p_0(p_1(p_0+p_0))=(0,0,0)(1,1,1)(2,1,1)\\&p_0(p_1(p_0+p_0)+p_0(p_1(p_0+p_0)))=(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,1)\\&p_0(p_1(p_0+p_0)+p_0(p_1(p_0+p_0)+p_0(p_1)))=(0,0,0)(1,1,1)(2,1,1)(2,1,0)\\&p_0(p_1(p_0+p_0)+p_0(p_1(p_0+p_0)+p_0(p_1(p_0))))=(0,0,0)(1,1,1)(2,1,1)(2,1,0)(1,1,1)\\&p_0(p_1(p_0+p_0)+p_0(p_1(p_0+p_0)+p_0(p_1(p_0+p_0))))=(0,0,0)(1,1,1)(2,1,1)(2,1,0)(1,1,1)(2,1,1)\\&p_0(p_1(p_0+p_0)+p_1)=(0,0,0)(1,1,1)(2,1,1)(2,1,0)(3,2,0)\\&p_0(p_1(p_0+p_0)+p_1(p_0+p_0))=(0,0,0)(1,1,1)(2,1,1)(2,1,0)(3,2,1)(4,2,1)\\&p_0(p_1(p_0+p_0+p_0))=(0,0,0)(1,1,1)(2,1,1)(2,1,1)\\&p_0(p_1(p_0(p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,0,0)\\&p_0(p_1(p_0(p_0(p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,0,0)(4,1,0)\\&p_0(p_1(p_0(p_0(p_1(p_0)))))=(0,0,0)(1,1,1)(2,1,1)(3,0,0)(4,1,1)\\&p_0(p_1(p_0(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)\\&p_0(p_1(p_0(p_1))+p_0(p_1+p_0(p_1(p_0(p_1)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,0)(2,2,1)(3,2,1)(4,1,0)\\&p_0(p_1(p_0(p_1))+p_0(p_1(p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,0)(2,2,1)(3,2,1)(4,1,0)(2,2,1)\\&p_0(p_1(p_0(p_1))+p_0(p_1(p_0(p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,0)(2,2,1)(3,2,1)(4,1,0)(2,2,1)(3,2,1)(4,1,0)\\&p_0(p_1(p_0(p_1))+p_1)=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,0)(2,2,1)(3,2,1)(4,1,0)(3,2,0)(4,3,0)\\&p_0(p_1(p_0(p_1))+p_1(p_0(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,0)(2,2,1)(3,2,1)(4,1,0)(3,2,0)(4,3,1)(5,3,1)(6,1,0)\\&p_0(p_1(p_0(p_1)+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,0)(2,2,1)(3,2,1)(4,1,0)(3,2,1)\\&p_0(p_1(p_0(p_1)+p_0(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,0)(2,2,1)(3,2,1)(4,1,0)(3,2,1)(4,1,0)\\&p_0(p_1(p_0(p_1+p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,0)(2,2,1)(3,2,1)(4,2,0)\\&p_0(p_1(p_0(p_1(p_0))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,1)\\&p_0(p_1(p_0(p_1(p_0+p_0))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,1)(2,1,1)\\&p_0(p_1(p_0(p_1(p_0(p_1)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)\\&p_0(p_1(p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)\end{align}

\begin{align}s\\&p_0(p_1(p_1)+p_0(p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)(1,1,0)\\&p_0(p_1(p_1)+p_0(p_1(p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)(1,1,1)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)))+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)(2,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)))+p_0(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)))+p_0(p_1(p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)))+p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,0)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)))+p_1(p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)))+p_1(p_0(p_1(p_1)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,1,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1))+p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,1,0)(4,2,1)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1))+p_0(p_1(p_1)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,1,0)(4,2,1)(5,1,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)+p_0))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,1,0)(5,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1))))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,1,0)(5,1,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)))+p_0(p_1(p_0(p_1(p_1)))+p_1))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,1,0)(6,2,0)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)))+p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,0)(3,2,1)(4,2,1)(5,2,0)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)))+p_1(p_0(p_1(p_1)))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,0)(3,2,1)(4,2,1)(5,1,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,0)(4,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_1))+p_0(p_1(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,0)(4,2,0)(5,3,1)(6,3,1)(7,3,0)(6,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_1)+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)\\&p_0(p_1(p_1)+p_0(p_1(p_1)+p_0+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)(2,1,1)\\&p_0(p_1(p_1)+p_0(p_1(p_1)+p_0(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)(3,1,0)\\&p_0(p_1(p_1)+p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)+p_0(p_1(p_1)+p_0))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)\\&p_0(p_1(p_1)+p_0(p_1(p_1)+p_0(p_1(p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_1)+p_0(p_1(p_1))+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)(3,1,0)(2,1,1)\\&p_0(p_1(p_1)+p_0(p_1(p_1)+p_0(p_1(p_1))+p_0(p_1(p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)(3,1,0)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_1)+p_0(p_1(p_1)+p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(3,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_1)+p_0(p_1(p_1)+p_0(p_1(p_1)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(3,1,0)(2,0,0)\\&p_0(p_1(p_1)+p_1)=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,0)\\&p_0(p_1(p_1)+p_1+p_1)=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,0)(5,3,0)\\&p_0(p_1(p_1)+p_1(p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)\\&p_0(p_1(p_1)+p_1(p_0(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,1,0)\\&p_0(p_1(p_1)+p_1(p_0(p_1(p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,1,0)(2,0,0)\\&p_0(p_1(p_1)+p_1(p_0(p_1(p_1))+p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)\\&p_0(p_1(p_1)+p_1(p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)(5,0,0)\\&p_0(p_1(p_1+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)\\&p_0(p_1(p_1+p_0+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)\\&p_0(p_1(p_1+p_0(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)\\&p_0(p_1(p_1+p_0(p_1(p_0(p_1(p_1))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1+p_0(p_1(p_0(p_1(p_1+p_0))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)\\&p_0(p_1(p_1+p_0(p_1(p_0(p_1(p_1+p_0(p_1)))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1,0)\\&p_0(p_1(p_1+p_0(p_1(p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1,0)(2,0,0)\\&p_0(p_1(p_1+p_0(p_1(p_1+p_0))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,1)\\&p_0(p_1(p_1+p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1+p_1)+p_0(p_1(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,0)(4,0,0)\\&p_0(p_1(p_1+p_1)+p_0(p_1(p_1+p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,1)\\&p_0(p_1(p_1+p_1)+p_0(p_1(p_1+p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,1)(4,2,1)(5,2,0)(4,0,0)\\&p_0(p_1(p_1+p_1)+p_0(p_1(p_1+p_1)+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(2,1,1)\\&p_0(p_1(p_1+p_1)+p_1)=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(4,2,0)\\&p_0(p_1(p_1+p_1)+p_1(p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)(5,0,0)\\&p_0(p_1(p_1+p_1)+p_1(p_1+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)\\&p_0(p_1(p_1+p_1)+p_1(p_1+p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,2,0)(5,0,0)\\&p_0(p_1(p_1+p_1+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,1)\\&p_0(p_1(p_1+p_1+p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1(p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,0,0)\\&p_0(p_1(p_1(p_0(p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)\\&p_0(p_1(p_1(p_0(p_1(p_1(p_0))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,1)(3,0,0)\\&p_0(p_1(p_1(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)\end{align}

\begin{align}s\\&p_0(p_1(p_1(p_1))+p_0(p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)(1,1,0)\\&p_0(p_1(p_1(p_1))+p_0(p_1(p_0(p_1(p_1(p_1))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,1,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1(p_1))+p_0(p_1(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,1,0)(2,0,0)\\&p_0(p_1(p_1(p_1))+p_0(p_1(p_1+p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)(1,1,1)(2,1,1)(3,1,1)\\&p_0(p_1(p_1(p_1))+p_0(p_1(p_1(p_0))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)(1,1,1)(2,1,1)(3,1,1)(3,0,0)\\&p_0(p_1(p_1(p_1))+p_0(p_1(p_1(p_0(p_1)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)\\&p_0(p_1(p_1(p_1))+p_0(p_1(p_1(p_0(p_1(p_1(p_1)))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1(p_1))+p_0(p_1(p_1(p_0(p_1(p_1(p_1)))))+p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,0)(3,2,0)\\&p_0(p_1(p_1(p_1))+p_0(p_1(p_1(p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,1)(5,2,0)(4,0,0)\\&p_0(p_1(p_1(p_1))+p_0(p_1(p_1(p_1))+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)\\&p_0(p_1(p_1(p_1))+p_0(p_1(p_1(p_1))+p_0(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,0)\\&p_0(p_1(p_1(p_1))+p_0(p_1(p_1(p_1))+p_0(p_1(p_1(p_1)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1(p_1))+p_1)=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,0)(4,2,0)\\&p_0(p_1(p_1(p_1))+p_1(p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)(5,0,0)\\&p_0(p_1(p_1(p_1))+p_1(p_1(p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,0,0)\\&p_0(p_1(p_1(p_1))+p_1(p_1(p_0(p_1(p_1(p_1))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,1,0)(2,0,0)\\&p_0(p_1(p_1(p_1))+p_1(p_1(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,2,0)(5,0,0)\\&p_0(p_1(p_1(p_1)+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,1)\\&p_0(p_1(p_1(p_1)+p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1(p_1)+p_1(p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,1)(3,0,0)\\&p_0(p_1(p_1(p_1)+p_1(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1(p_1+p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(3,0,0)\\&p_0(p_1(p_1(p_1+p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(3,1,0)(2,0,0)\\&p_0(p_1(p_1(p_1(p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,1,0)(2,0,0)\\&p_0(p_1(p_2))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)\end{align}

\begin{align}s\\&p_0(p_1(p_2)+p_0(p_1(p_2)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)\\&p_0(p_1(p_2)+p_1)=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,0)(3,2,0)\\&p_0(p_1(p_2)+p_1(p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,0)(3,2,1)(4,2,1)(5,2,0)(4,0,0)\\&p_0(p_1(p_2)+p_1(p_2))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,0)(3,2,1)(4,2,1)(5,2,1)(5,2,0)(6,3,0)\\&p_0(p_1(p_2+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,1)\\&p_0(p_1(p_2+p_0(p_1(p_2))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)(4,2,0)\\&p_0(p_1(p_2+p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_2+p_1+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,1)(3,1,1)\\&p_0(p_1(p_2+p_1(p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,1)(3,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_2+p_1(p_1(p_2)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,1)(3,1,1)(3,1,0)(4,2,0)\\&p_0(p_1(p_2+p_1(p_1(p_2)+p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(3,1,0)(2,0,0)\\&p_0(p_1(p_2+p_1(p_1(p_2)+p_1(p_1(p_2))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(3,1,0)(4,2,0)\\&p_0(p_1(p_2+p_1(p_2)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(4,2,0)\\&p_0(p_1(p_2+p_1(p_2+p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,1,0)(2,0,0)\\&p_0(p_1(p_2+p_1(p_2+p_1(p_1(p_2)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,1,0)(6,2,0)\\&p_0(p_1(p_2+p_1(p_2+p_1(p_2))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)\\&p_0(p_1(p_2+p_2))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)\\&p_0(p_1(p_2(p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)\\&p_0(p_1(p_2(p_0(p_1(p_2)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,1,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)\\&p_0(p_1(p_2(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,1,0)(2,0,0)\\&p_0(p_1(p_2(p_1(p_1(p_2)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,1,0)(7,2,0)\\&p_0(p_1(p_2(p_1(p_2))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)\\&p_0(p_1(p_2(p_2)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)(5,0,0)\\&p_0(p_1(p_2(p_2+p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)\\&p_0(p_1(p_2(p_2+p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1,0)(2,0,0)\\&p_0(p_1(p_2(p_2+p_2)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,2,0)(5,0,0)\\&p_0(p_1(p_2(p_2(p_0))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,0,0)\\&p_0(p_1(p_2(p_2(p_2))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,2,0)(5,0,0)\\&p_0(p_1(p_2(p_3)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,2,0)(7,3,0)\\&p_0(p_1(p_2(p_3+p_3)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,2,0)(7,3,0)(8,4,0)\\&p_0(p_1(p_2(p_3(p_3))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,2,0)(7,3,1)(8,3,1)(9,3,0)(8,0,0)\\&p_0(p_1(p_2(p_3(p_4))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,2,0)(7,3,1)(8,3,1)(9,3,1)(9,3,0)(10,4,0)\\&limit=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)\end{align}

参考资料

↑ SuzukaFox (2025). HSS hydra扽西练习 [HSS Hydra Analysus Practice]. (EB/OL), Zhihu. Available at: https://zhuanlan.zhihu.com/p/1930637321335706887

[1] SuzukaFox (2025). HSS hydra扽西练习 [HSS Hydra Analysus Practice]. (EB/OL), Zhihu. Available at: https://zhuanlan.zhihu.com/p/1930637321335706887

[1]

@@ 第1行： / 第1行： @@
-该分析来自梅天狸的知乎文章，使用 [[Bashicu矩阵|BMS]] 与之对照。<ref>SuzukaFox (2025). HSS hydra扽西练习 [HSS Hydra Analysus Practice]. ''(EB/OL), Zhihu''. Available at: https://zhuanlan.zhihu.com/p/1930637321335706887</ref>
+该分析来自梅天狸的知乎文章，使用 [[BMS]] 与之对照。<ref>SuzukaFox (2025). HSS hydra扽西练习 [HSS Hydra Analysus Practice]. ''(EB/OL), Zhihu''. Available at: https://zhuanlan.zhihu.com/p/1930637321335706887</ref>
-p0=(0)
+<math>p_0=1</math>
-p0(p0)=(0)(1)
+\begin{align}s\\&p_0(p_0)=(0)(1)\\&p_0(p_0(p_0))=(0)(1)(2)\\&p_0(p_1)=(0,0)(1,1)\\&p_0(p_1+p_0)=(0,0)(1,1)(1,0)\\&p_0(p_1+p_0(p_0))=(0,0)(1,1)(1,0)(2,0)\\&p_0(p_1+p_0(p_0(p_1)))=(0,0)(1,1)(1,0)(2,1)\\&p_0(p_1+p_0(p_0(p_1))+p_0(p_0(p_1)))=(0,0)(1,1)(1,0)(2,1)(1,0)(2,1)\\&p_0(p_1+p_0(p_0(p_1)+p_0))=(0,0)(1,1)(1,0)(2,1)(2,0)\\&p_0(p_1+p_0(p_0(p_1)+p_0(p_0(p_1))))=(0,0)(1,1)(1,0)(2,1)(2,0)(3,1)\\&p_0(p_1+p_0(p_1))=(0,0)(1,1)(1,1)\\&p_0(p_1+p_0(p_1)+p_0(p_0(p_1)+p_0(p_1)))=(0,0)(1,1)(1,1)(1,0)(2,1)(2,1)\\&p_0(p_1+p_0(p_1)+p_0(p_1))=(0,0)(1,1)(1,1)(1,1)\\&p_0(p_1+p_0(p_1+p_0))=(0,0)(1,1)(2,0)\\&p_0(p_1+p_0(p_1+p_0(p_0)))=(0,0)(1,1)(2,0)(3,0)\\&p_0(p_1+p_0(p_1+p_0(p_0(p_1))))=(0,0)(1,1)(2,0)(3,1)\\&p_0(p_1+p_0(p_1+p_0(p_0(p_1)+p_0(p_1))))=(0,0)(1,1)(2,0)(3,1)(3,1)\\&p_0(p_1+p_0(p_1+p_0(p_1)))=(0,0)(1,1)(2,1)\\&p_0(p_1+p_0(p_1+p_0(p_1))+p_0(p_0(p_1+p_0(p_1+p_0(p_1)))))=(0,0)(1,1)(2,1)(1,0)(2,1)(3,1)\\&p_0(p_1+p_0(p_1+p_0(p_1))+p_0(p_1))=(0,0)(1,1)(2,1)(1,1)\\&p_0(p_1+p_0(p_1+p_0(p_1))+p_0(p_1+p_0(p_0(p_1+p_0(p_1+p_0(p_1))))))=(0,0)(1,1)(2,1)(1,1)(2,0)(3,1)(4,1)\\&p_0(p_1+p_0(p_1+p_0(p_1))+p_0(p_1+p_0(p_1)))=(0,0)(1,1)(2,1)(1,1)(2,1)\\&p_0(p_1+p_0(p_1+p_0(p_1)+p_0))=(0,0)(1,1)(2,1)(2,0)\\&p_0(p_1+p_0(p_1+p_0(p_1)+p_0(p_0(p_1+p_0(p_1+p_0(p_1))))))=(0,0)(1,1)(2,1)(2,0)(3,1)(4,1)\\&p_0(p_1+p_0(p_1+p_0(p_1)+p_0(p_1)))=(0,0)(1,1)(2,1)(2,1)\\&p_0(p_1+p_0(p_1+p_0(p_1+p_0)))=(0,0)(1,1)(2,1)(3,0)\\&p_0(p_1+p_0(p_1+p_0(p_1+p_0(p_1))))=(0,0)(1,1)(2,1)(3,1)\\&p_0(p_1+p_0(p_1+p_0(p_1+p_0(p_1)))+p_0(p_1+p_0(p_1+p_0(p_1))))=(0,0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)\\&p_0(p_1+p_0(p_1+p_0(p_1+p_0(p_1))+p_0(p_1+p_0(p_1))))=(0,0)(1,1)(2,1)(3,1)(2,1)(3,1)\\&p_0(p_1+p_0(p_1+p_0(p_1+p_0(p_1)+p_0(p_1))))=(0,0)(1,1)(2,1)(3,1)(3,1)\\&p_0(p_1+p_0(p_1+p_0(p_1+p_0(p_1+p_0))))=(0,0)(1,1)(2,1)(3,1)(4,0)\\&p_0(p_1+p_0(p_1+p_0(p_1+p_0(p_1+p_0(p_1)))))=(0,0)(1,1)(2,1)(3,1)(4,1)\\&p_0(p_1+p_1)=(0,0)(1,1)(2,2)\end{align}
-p0(p0(p0))=(0)(1)(2)
+\begin{align}s\\&p_0(p_1+p_1+p_0(p_0(p_1+p_1)))=(0,0)(1,1)(2,2)(1,0)(2,1)(3,2)\\&p_0(p_1+p_1+p_0(p_1))=(0,0)(1,1)(2,2)(1,1)\\&p_0(p_1+p_1+p_0(p_1+p_0(p_1)))=(0,0)(1,1)(2,2)(1,1)(2,1)\\&p_0(p_1+p_1+p_0(p_1+p_0(p_1+p_1)))=(0,0)(1,1)(2,2)(1,1)(2,2)\\&p_0(p_1+p_1+p_0(p_1+p_0(p_1+p_1)+p_0))=(0,0)(1,1)(2,2)(2,0)\\&p_0(p_1+p_1+p_0(p_1+p_0(p_1+p_1)+p_0(p_1)))=(0,0)(1,1)(2,2)(2,1)\\&p_0(p_1+p_1+p_0(p_1+p_0(p_1+p_1)+p_0(p_1+p_0(p_1+p_1))))=(0,0)(1,1)(2,2)(2,1)(3,2)\\&p_0(p_1+p_1+p_0(p_1+p_1))=(0,0)(1,1)(2,2)(2,2)\\&p_0(p_1+p_1+p_0(p_1+p_1+p_0))=(0,0)(1,1)(2,2)(3,0)\\&p_0(p_1+p_1+p_0(p_1+p_1+p_0(p_1)))=(0,0)(1,1)(2,2)(3,1)\\&p_0(p_1+p_1+p_0(p_1+p_1+p_0(p_1+p_0(p_1+p_1+p_0(p_1+p_1)))))=(0,0)(1,1)(2,2)(3,1)(4,2)(4,2)\\&p_0(p_1+p_1+p_0(p_1+p_1+p_0(p_1+p_1)))=(0,0)(1,1)(2,2)(3,2)\\&p_0(p_1+p_1+p_0(p_1+p_1+p_0(p_1+p_1+p_0(p_1+p_1))))=(0,0)(1,1)(2,2)(3,2)(4,2)\\&p_0(p_1+p_1+p_1)=(0,0)(1,1)(2,2)(3,3)\\&p_0(p_1+p_1+p_1+p_0(p_1+p_0(p_1+p_1+p_1)))=(0,0)(1,1)(2,2)(3,3)(1,1)(2,2)(3,3)\\&p_0(p_1+p_1+p_1+p_0(p_1+p_1+p_0(p_1+p_1+p_1)))=(0,0)(1,1)(2,2)(3,3)(2,2)(3,3)\\&p_0(p_1+p_1+p_1+p_0(p_1+p_1+p_1))=(0,0)(1,1)(2,2)(3,3)(3,3)\\&p_0(p_1+p_1+p_1+p_1)=(0,0)(1,1)(2,2)(3,3)(4,4)\\&p_0(p_1(p_0))=(0,0,0)(1,1,1)\end{align}
-p0(p1)=(0,0)(1,1)
+\begin{align}s\\&p_0(p_1(p_0)+p_0(p_0(p_1(p_0))))=(0,0,0)(1,1,1)(1,0,0)(2,1,1)\\&p_0(p_1(p_0)+p_0(p_1))=(0,0,0)(1,1,1)(1,1,0)\\&p_0(p_1(p_0)+p_0(p_1+p_0(p_1(p_0))))=(0,0,0)(1,1,1)(1,1,0)(2,2,1)\\&p_0(p_1(p_0)+p_0(p_1+p_1))=(0,0,0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)\\&p_0(p_1(p_0)+p_0(p_1+p_1+p_0(p_1(p_0))))=(0,0,0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,3,1)\\&p_0(p_1(p_0)+p_0(p_1+p_1+p_1))=(0,0,0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,3,1)(3,3,0)\\&p_0(p_1(p_0)+p_0(p_1(p_0))))=(0,0,0)(1,1,1)(1,1,1)\\&p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1)))=(0,0,0)(1,1,1)(2,1,0)\\&p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1))+p_0(p_1+p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1)))))=(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)\\&p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1))+p_0(p_1+p_1+p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1)))))=(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,3,1)(4,1,0)\\&p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1))+p_0(p_1(p_0)))=(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)\\&p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1)+p_0(p_1)))=(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(3,1,0)\\&p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1+p_1)))=(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,2,0)\\&p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1+p_1+p_1)))=(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,2,0)(2,2,0)(3,3,1)(3,3,0)\\&p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1(p_0))))=(0,0,0)(1,1,1)(2,1,0)(1,1,1)\\&p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1(p_0)))+p_0(p_1(p_0)+p_0(p_1(p_0))))=(0,0,0)(1,1,1)(2,1,0)(1,1,1)(2,1,0)(1,1,1)\\&p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1(p_0))+p_0(p_1)))=(0,0,0)(1,1,1)(2,1,0)(1,1,1)(2,1,0)(2,1,0)\\&p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1(p_0))+p_0(p_1(p_0))))=(0,0,0)(1,1,1)(2,1,0)(2,1,0)(1,1,1)\\&p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1(p_0)+p_0(p_1(p_0)))))=(0,0,0)(1,1,1)(2,1,0)(3,1,0)(1,1,1)\\&p_0(p_1(p_0)+p_1)=(0,0,0)(1,1,1)(2,1,0)(3,2,0)\\&p_0(p_1(p_0)+p_1+p_0(p_1(p_0)+p_1))=(0,0,0)(1,1,1)(2,1,0)(3,2,0)(3,2,0)\\&p_0(p_1(p_0)+p_1+p_1)=(0,0,0)(1,1,1)(2,1,0)(3,2,0)(4,3,0)\\&p_0(p_1(p_0)+p_1(p_0))=(0,0,0)(1,1,1)(2,1,0)(3,2,1)\\&p_0(p_1(p_0)+p_1(p_0)+p_1)=(0,0,0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(5,3,0)\\&p_0(p_1(p_0)+p_1(p_0)+p_1(p_0))=(0,0,0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(5,3,1)\\&p_0(p_1(p_0+p_0))=(0,0,0)(1,1,1)(2,1,1)\\&p_0(p_1(p_0+p_0)+p_0(p_1(p_0+p_0)))=(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,1)\\&p_0(p_1(p_0+p_0)+p_0(p_1(p_0+p_0)+p_0(p_1)))=(0,0,0)(1,1,1)(2,1,1)(2,1,0)\\&p_0(p_1(p_0+p_0)+p_0(p_1(p_0+p_0)+p_0(p_1(p_0))))=(0,0,0)(1,1,1)(2,1,1)(2,1,0)(1,1,1)\\&p_0(p_1(p_0+p_0)+p_0(p_1(p_0+p_0)+p_0(p_1(p_0+p_0))))=(0,0,0)(1,1,1)(2,1,1)(2,1,0)(1,1,1)(2,1,1)\\&p_0(p_1(p_0+p_0)+p_1)=(0,0,0)(1,1,1)(2,1,1)(2,1,0)(3,2,0)\\&p_0(p_1(p_0+p_0)+p_1(p_0+p_0))=(0,0,0)(1,1,1)(2,1,1)(2,1,0)(3,2,1)(4,2,1)\\&p_0(p_1(p_0+p_0+p_0))=(0,0,0)(1,1,1)(2,1,1)(2,1,1)\\&p_0(p_1(p_0(p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,0,0)\\&p_0(p_1(p_0(p_0(p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,0,0)(4,1,0)\\&p_0(p_1(p_0(p_0(p_1(p_0)))))=(0,0,0)(1,1,1)(2,1,1)(3,0,0)(4,1,1)\\&p_0(p_1(p_0(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)\\&p_0(p_1(p_0(p_1))+p_0(p_1+p_0(p_1(p_0(p_1)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,0)(2,2,1)(3,2,1)(4,1,0)\\&p_0(p_1(p_0(p_1))+p_0(p_1(p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,0)(2,2,1)(3,2,1)(4,1,0)(2,2,1)\\&p_0(p_1(p_0(p_1))+p_0(p_1(p_0(p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,0)(2,2,1)(3,2,1)(4,1,0)(2,2,1)(3,2,1)(4,1,0)\\&p_0(p_1(p_0(p_1))+p_1)=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,0)(2,2,1)(3,2,1)(4,1,0)(3,2,0)(4,3,0)\\&p_0(p_1(p_0(p_1))+p_1(p_0(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,0)(2,2,1)(3,2,1)(4,1,0)(3,2,0)(4,3,1)(5,3,1)(6,1,0)\\&p_0(p_1(p_0(p_1)+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,0)(2,2,1)(3,2,1)(4,1,0)(3,2,1)\\&p_0(p_1(p_0(p_1)+p_0(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,0)(2,2,1)(3,2,1)(4,1,0)(3,2,1)(4,1,0)\\&p_0(p_1(p_0(p_1+p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,0)(2,2,1)(3,2,1)(4,2,0)\\&p_0(p_1(p_0(p_1(p_0))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,1)\\&p_0(p_1(p_0(p_1(p_0+p_0))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,1)(2,1,1)\\&p_0(p_1(p_0(p_1(p_0(p_1)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)\\&p_0(p_1(p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)\end{align}
-p0(p1+p0)=(0,0)(1,1)(1,0)
+\begin{align}s\\&p_0(p_1(p_1)+p_0(p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)(1,1,0)\\&p_0(p_1(p_1)+p_0(p_1(p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)(1,1,1)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)))+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)(2,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)))+p_0(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)))+p_0(p_1(p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)))+p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,0)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)))+p_1(p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)))+p_1(p_0(p_1(p_1)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,1,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1))+p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,1,0)(4,2,1)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1))+p_0(p_1(p_1)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,1,0)(4,2,1)(5,1,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)+p_0))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,1,0)(5,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1))))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,1,0)(5,1,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)))+p_0(p_1(p_0(p_1(p_1)))+p_1))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,1,0)(6,2,0)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)))+p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,0)(3,2,1)(4,2,1)(5,2,0)\\&p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)))+p_1(p_0(p_1(p_1)))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,0)(3,2,1)(4,2,1)(5,1,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,0)(4,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_1))+p_0(p_1(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,0)(4,2,0)(5,3,1)(6,3,1)(7,3,0)(6,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_1)+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)\\&p_0(p_1(p_1)+p_0(p_1(p_1)+p_0+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)(2,1,1)\\&p_0(p_1(p_1)+p_0(p_1(p_1)+p_0(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)(3,1,0)\\&p_0(p_1(p_1)+p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_1)+p_0(p_1(p_0(p_1(p_1)+p_0(p_1(p_1)+p_0))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)\\&p_0(p_1(p_1)+p_0(p_1(p_1)+p_0(p_1(p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_1)+p_0(p_1(p_1))+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)(3,1,0)(2,1,1)\\&p_0(p_1(p_1)+p_0(p_1(p_1)+p_0(p_1(p_1))+p_0(p_1(p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)(3,1,0)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_1)+p_0(p_1(p_1)+p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(3,0,0)\\&p_0(p_1(p_1)+p_0(p_1(p_1)+p_0(p_1(p_1)+p_0(p_1(p_1)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(3,1,0)(2,0,0)\\&p_0(p_1(p_1)+p_1)=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,0)\\&p_0(p_1(p_1)+p_1+p_1)=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,0)(5,3,0)\\&p_0(p_1(p_1)+p_1(p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)\\&p_0(p_1(p_1)+p_1(p_0(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,1,0)\\&p_0(p_1(p_1)+p_1(p_0(p_1(p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,1,0)(2,0,0)\\&p_0(p_1(p_1)+p_1(p_0(p_1(p_1))+p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)\\&p_0(p_1(p_1)+p_1(p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)(5,0,0)\\&p_0(p_1(p_1+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)\\&p_0(p_1(p_1+p_0+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)\\&p_0(p_1(p_1+p_0(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)\\&p_0(p_1(p_1+p_0(p_1(p_0(p_1(p_1))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1+p_0(p_1(p_0(p_1(p_1+p_0))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)\\&p_0(p_1(p_1+p_0(p_1(p_0(p_1(p_1+p_0(p_1)))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1,0)\\&p_0(p_1(p_1+p_0(p_1(p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1,0)(2,0,0)\\&p_0(p_1(p_1+p_0(p_1(p_1+p_0))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,1)\\&p_0(p_1(p_1+p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1+p_1)+p_0(p_1(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,0)(4,0,0)\\&p_0(p_1(p_1+p_1)+p_0(p_1(p_1+p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,1)\\&p_0(p_1(p_1+p_1)+p_0(p_1(p_1+p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,1)(4,2,1)(5,2,0)(4,0,0)\\&p_0(p_1(p_1+p_1)+p_0(p_1(p_1+p_1)+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(2,1,1)\\&p_0(p_1(p_1+p_1)+p_1)=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(4,2,0)\\&p_0(p_1(p_1+p_1)+p_1(p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)(5,0,0)\\&p_0(p_1(p_1+p_1)+p_1(p_1+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)\\&p_0(p_1(p_1+p_1)+p_1(p_1+p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,2,0)(5,0,0)\\&p_0(p_1(p_1+p_1+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,1)\\&p_0(p_1(p_1+p_1+p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1(p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,0,0)\\&p_0(p_1(p_1(p_0(p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)\\&p_0(p_1(p_1(p_0(p_1(p_1(p_0))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,1)(3,0,0)\\&p_0(p_1(p_1(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)\end{align}
-p0(p1+p0(p0))=(0,0)(1,1)(1,0)(2,0)
+\begin{align}s\\&p_0(p_1(p_1(p_1))+p_0(p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)(1,1,0)\\&p_0(p_1(p_1(p_1))+p_0(p_1(p_0(p_1(p_1(p_1))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,1,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1(p_1))+p_0(p_1(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,1,0)(2,0,0)\\&p_0(p_1(p_1(p_1))+p_0(p_1(p_1+p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)(1,1,1)(2,1,1)(3,1,1)\\&p_0(p_1(p_1(p_1))+p_0(p_1(p_1(p_0))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)(1,1,1)(2,1,1)(3,1,1)(3,0,0)\\&p_0(p_1(p_1(p_1))+p_0(p_1(p_1(p_0(p_1)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)\\&p_0(p_1(p_1(p_1))+p_0(p_1(p_1(p_0(p_1(p_1(p_1)))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1(p_1))+p_0(p_1(p_1(p_0(p_1(p_1(p_1)))))+p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,0)(3,2,0)\\&p_0(p_1(p_1(p_1))+p_0(p_1(p_1(p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,1)(5,2,0)(4,0,0)\\&p_0(p_1(p_1(p_1))+p_0(p_1(p_1(p_1))+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)\\&p_0(p_1(p_1(p_1))+p_0(p_1(p_1(p_1))+p_0(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,0)\\&p_0(p_1(p_1(p_1))+p_0(p_1(p_1(p_1))+p_0(p_1(p_1(p_1)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1(p_1))+p_1)=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,0)(4,2,0)\\&p_0(p_1(p_1(p_1))+p_1(p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)(5,0,0)\\&p_0(p_1(p_1(p_1))+p_1(p_1(p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,0,0)\\&p_0(p_1(p_1(p_1))+p_1(p_1(p_0(p_1(p_1(p_1))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,1,0)(2,0,0)\\&p_0(p_1(p_1(p_1))+p_1(p_1(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,2,0)(5,0,0)\\&p_0(p_1(p_1(p_1)+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,1)\\&p_0(p_1(p_1(p_1)+p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1(p_1)+p_1(p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,1)(3,0,0)\\&p_0(p_1(p_1(p_1)+p_1(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_1(p_1+p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(3,0,0)\\&p_0(p_1(p_1(p_1+p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(3,1,0)(2,0,0)\\&p_0(p_1(p_1(p_1(p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,1,0)(2,0,0)\\&p_0(p_1(p_2))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)\end{align}
-p0(p1+p0(p0(p1)))=(0,0)(1,1)(1,0)(2,1)
+\begin{align}s\\&p_0(p_1(p_2)+p_0(p_1(p_2)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)\\&p_0(p_1(p_2)+p_1)=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,0)(3,2,0)\\&p_0(p_1(p_2)+p_1(p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,0)(3,2,1)(4,2,1)(5,2,0)(4,0,0)\\&p_0(p_1(p_2)+p_1(p_2))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,0)(3,2,1)(4,2,1)(5,2,1)(5,2,0)(6,3,0)\\&p_0(p_1(p_2+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,1)\\&p_0(p_1(p_2+p_0(p_1(p_2))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)(4,2,0)\\&p_0(p_1(p_2+p_1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_2+p_1+p_0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,1)(3,1,1)\\&p_0(p_1(p_2+p_1(p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,1)(3,1,1)(3,1,0)(2,0,0)\\&p_0(p_1(p_2+p_1(p_1(p_2)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,1)(3,1,1)(3,1,0)(4,2,0)\\&p_0(p_1(p_2+p_1(p_1(p_2)+p_1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(3,1,0)(2,0,0)\\&p_0(p_1(p_2+p_1(p_1(p_2)+p_1(p_1(p_2))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(3,1,0)(4,2,0)\\&p_0(p_1(p_2+p_1(p_2)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(4,2,0)\\&p_0(p_1(p_2+p_1(p_2+p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,1,0)(2,0,0)\\&p_0(p_1(p_2+p_1(p_2+p_1(p_1(p_2)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,1,0)(6,2,0)\\&p_0(p_1(p_2+p_1(p_2+p_1(p_2))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)\\&p_0(p_1(p_2+p_2))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)\\&p_0(p_1(p_2(p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)\\&p_0(p_1(p_2(p_0(p_1(p_2)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,1,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)\\&p_0(p_1(p_2(p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,1,0)(2,0,0)\\&p_0(p_1(p_2(p_1(p_1(p_2)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,1,0)(7,2,0)\\&p_0(p_1(p_2(p_1(p_2))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)\\&p_0(p_1(p_2(p_2)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)(5,0,0)\\&p_0(p_1(p_2(p_2+p_0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)\\&p_0(p_1(p_2(p_2+p_1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1,0)(2,0,0)\\&p_0(p_1(p_2(p_2+p_2)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,2,0)(5,0,0)\\&p_0(p_1(p_2(p_2(p_0))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,0,0)\\&p_0(p_1(p_2(p_2(p_2))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,2,0)(5,0,0)\\&p_0(p_1(p_2(p_3)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,2,0)(7,3,0)\\&p_0(p_1(p_2(p_3+p_3)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,2,0)(7,3,0)(8,4,0)\\&p_0(p_1(p_2(p_3(p_3))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,2,0)(7,3,1)(8,3,1)(9,3,0)(8,0,0)\\&p_0(p_1(p_2(p_3(p_4))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,2,0)(7,3,1)(8,3,1)(9,3,1)(9,3,0)(10,4,0)\\&limit=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)\end{align}
-p0(p1+p0(p0(p1))+p0(p0(p1)))=(0,0)(1,1)(1,0)(2,1)(1,0)(2,1)
-p0(p1+p0(p0(p1)+p0))=(0,0)(1,1)(1,0)(2,1)(2,0)
-p0(p1+p0(p0(p1)+p0(p0(p1))))=(0,0)(1,1)(1,0)(2,1)(2,0)(3,1)
-p0(p1+p0(p1))=(0,0)(1,1)(1,1)
-p0(p1+p0(p1)+p0(p0(p1)+p0(p1)))=(0,0)(1,1)(1,1)(1,0)(2,1)(2,1)
-p0(p1+p0(p1)+p0(p1))=(0,0)(1,1)(1,1)(1,1)
-p0(p1+p0(p1+p0))=(0,0)(1,1)(2,0)
-p0(p1+p0(p1+p0(p0)))=(0,0)(1,1)(2,0)(3,0)
-p0(p1+p0(p1+p0(p0(p1))))=(0,0)(1,1)(2,0)(3,1)
-p0(p1+p0(p1+p0(p0(p1)+p0(p1))))=(0,0)(1,1)(2,0)(3,1)(3,1)
-p0(p1+p0(p1+p0(p1)))=(0,0)(1,1)(2,1)
-p0(p1+p0(p1+p0(p1))+p0(p0(p1+p0(p1+p0(p1)))))=(0,0)(1,1)(2,1)(1,0)(2,1)(3,1)
-p0(p1+p0(p1+p0(p1))+p0(p1))=(0,0)(1,1)(2,1)(1,1)
-p0(p1+p0(p1+p0(p1))+p0(p1+p0(p0(p1+p0(p1+p0(p1))))))=(0,0)(1,1)(2,1)(1,1)(2,0)(3,1)(4,1)
-p0(p1+p0(p1+p0(p1))+p0(p1+p0(p1)))=(0,0)(1,1)(2,1)(1,1)(2,1)
-p0(p1+p0(p1+p0(p1)+p0))=(0,0)(1,1)(2,1)(2,0)
-p0(p1+p0(p1+p0(p1)+p0(p0(p1+p0(p1+p0(p1))))))=(0,0)(1,1)(2,1)(2,0)(3,1)(4,1)
-p0(p1+p0(p1+p0(p1)+p0(p1)))=(0,0)(1,1)(2,1)(2,1)
-p0(p1+p0(p1+p0(p1+p0)))=(0,0)(1,1)(2,1)(3,0)
-p0(p1+p0(p1+p0(p1+p0(p1))))=(0,0)(1,1)(2,1)(3,1)
-p0(p1+p0(p1+p0(p1+p0(p1)))+p0(p1+p0(p1+p0(p1))))=(0,0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)
-p0(p1+p0(p1+p0(p1+p0(p1))+p0(p1+p0(p1))))=(0,0)(1,1)(2,1)(3,1)(2,1)(3,1)
-p0(p1+p0(p1+p0(p1+p0(p1)+p0(p1))))=(0,0)(1,1)(2,1)(3,1)(3,1)
-p0(p1+p0(p1+p0(p1+p0(p1+p0))))=(0,0)(1,1)(2,1)(3,1)(4,0)
-p0(p1+p0(p1+p0(p1+p0(p1+p0(p1)))))=(0,0)(1,1)(2,1)(3,1)(4,1)
-p0(p1+p1)=(0,0)(1,1)(2,2)
-p0(p1+p1+p0(p0(p1+p1)))=(0,0)(1,1)(2,2)(1,0)(2,1)(3,2)
-p0(p1+p1+p0(p1))=(0,0)(1,1)(2,2)(1,1)
-p0(p1+p1+p0(p1+p0(p1)))=(0,0)(1,1)(2,2)(1,1)(2,1)
-p0(p1+p1+p0(p1+p0(p1+p1)))=(0,0)(1,1)(2,2)(1,1)(2,2)
-p0(p1+p1+p0(p1+p0(p1+p1)+p0))=(0,0)(1,1)(2,2)(2,0)
-p0(p1+p1+p0(p1+p0(p1+p1)+p0(p1)))=(0,0)(1,1)(2,2)(2,1)
-p0(p1+p1+p0(p1+p0(p1+p1)+p0(p1+p0(p1+p1))))=(0,0)(1,1)(2,2)(2,1)(3,2)
-p0(p1+p1+p0(p1+p1))=(0,0)(1,1)(2,2)(2,2)
-p0(p1+p1+p0(p1+p1+p0))=(0,0)(1,1)(2,2)(3,0)
-p0(p1+p1+p0(p1+p1+p0(p1)))=(0,0)(1,1)(2,2)(3,1)
-p0(p1+p1+p0(p1+p1+p0(p1+p0(p1+p1+p0(p1+p1)))))=(0,0)(1,1)(2,2)(3,1)(4,2)(4,2)
-p0(p1+p1+p0(p1+p1+p0(p1+p1)))=(0,0)(1,1)(2,2)(3,2)
-p0(p1+p1+p0(p1+p1+p0(p1+p1+p0(p1+p1))))=(0,0)(1,1)(2,2)(3,2)(4,2)
-p0(p1+p1+p1)=(0,0)(1,1)(2,2)(3,3)
-p0(p1+p1+p1+p0(p1+p0(p1+p1+p1)))=(0,0)(1,1)(2,2)(3,3)(1,1)(2,2)(3,3)
-p0(p1+p1+p1+p0(p1+p1+p0(p1+p1+p1)))=(0,0)(1,1)(2,2)(3,3)(2,2)(3,3)
-p0(p1+p1+p1+p0(p1+p1+p1))=(0,0)(1,1)(2,2)(3,3)(3,3)
-p0(p1+p1+p1+p1)=(0,0)(1,1)(2,2)(3,3)(4,4)
-p0(p1(p0))=(0,0,0)(1,1,1)
-p0(p1(p0)+p0(p0(p1(p0))))=(0,0,0)(1,1,1)(1,0,0)(2,1,1)
-p0(p1(p0)+p0(p1))=(0,0,0)(1,1,1)(1,1,0)
-p0(p1(p0)+p0(p1+p0(p1(p0))))=(0,0,0)(1,1,1)(1,1,0)(2,2,1)
-p0(p1(p0)+p0(p1+p1))=(0,0,0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)
-p0(p1(p0)+p0(p1+p1+p0(p1(p0))))=(0,0,0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,3,1)
-p0(p1(p0)+p0(p1+p1+p1))=(0,0,0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,3,1)(3,3,0)
-p0(p1(p0)+p0(p1(p0))))=(0,0,0)(1,1,1)(1,1,1)
-p0(p1(p0)+p0(p1(p0)+p0(p1)))=(0,0,0)(1,1,1)(2,1,0)
-p0(p1(p0)+p0(p1(p0)+p0(p1))+p0(p1+p0(p1(p0)+p0(p1(p0)+p0(p1)))))=(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)
-p0(p1(p0)+p0(p1(p0)+p0(p1))+p0(p1+p1+p0(p1(p0)+p0(p1(p0)+p0(p1)))))=(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,3,1)(4,1,0)
-p0(p1(p0)+p0(p1(p0)+p0(p1))+p0(p1(p0)))=(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)
-p0(p1(p0)+p0(p1(p0)+p0(p1)+p0(p1)))=(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(3,1,0)
-p0(p1(p0)+p0(p1(p0)+p0(p1+p1)))=(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,2,0)
-p0(p1(p0)+p0(p1(p0)+p0(p1+p1+p1)))=(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,2,0)(2,2,0)(3,3,1)(3,3,0)
-p0(p1(p0)+p0(p1(p0)+p0(p1(p0))))=(0,0,0)(1,1,1)(2,1,0)(1,1,1)
-p0(p1(p0)+p0(p1(p0)+p0(p1(p0)))+p0(p1(p0)+p0(p1(p0))))=(0,0,0)(1,1,1)(2,1,0)(1,1,1)(2,1,0)(1,1,1)
-p0(p1(p0)+p0(p1(p0)+p0(p1(p0))+p0(p1)))=(0,0,0)(1,1,1)(2,1,0)(1,1,1)(2,1,0)(2,1,0)
-p0(p1(p0)+p0(p1(p0)+p0(p1(p0))+p0(p1(p0))))=(0,0,0)(1,1,1)(2,1,0)(2,1,0)(1,1,1)
-p0(p1(p0)+p0(p1(p0)+p0(p1(p0)+p0(p1(p0)))))=(0,0,0)(1,1,1)(2,1,0)(3,1,0)(1,1,1)
-p0(p1(p0)+p1)=(0,0,0)(1,1,1)(2,1,0)(3,2,0)
-p0(p1(p0)+p1+p0(p1(p0)+p1))=(0,0,0)(1,1,1)(2,1,0)(3,2,0)(3,2,0)
-p0(p1(p0)+p1+p1)=(0,0,0)(1,1,1)(2,1,0)(3,2,0)(4,3,0)
-p0(p1(p0)+p1(p0))=(0,0,0)(1,1,1)(2,1,0)(3,2,1)
-p0(p1(p0)+p1(p0)+p1)=(0,0,0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(5,3,0)
-p0(p1(p0)+p1(p0)+p1(p0))=(0,0,0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(5,3,1)
-p0(p1(p0+p0))=(0,0,0)(1,1,1)(2,1,1)
-p0(p1(p0+p0)+p0(p1(p0+p0)))=(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,1)
-p0(p1(p0+p0)+p0(p1(p0+p0)+p0(p1)))=(0,0,0)(1,1,1)(2,1,1)(2,1,0)
-p0(p1(p0+p0)+p0(p1(p0+p0)+p0(p1(p0))))=(0,0,0)(1,1,1)(2,1,1)(2,1,0)(1,1,1)
-p0(p1(p0+p0)+p0(p1(p0+p0)+p0(p1(p0+p0))))=(0,0,0)(1,1,1)(2,1,1)(2,1,0)(1,1,1)(2,1,1)
-p0(p1(p0+p0)+p1)=(0,0,0)(1,1,1)(2,1,1)(2,1,0)(3,2,0)
-p0(p1(p0+p0)+p1(p0+p0))=(0,0,0)(1,1,1)(2,1,1)(2,1,0)(3,2,1)(4,2,1)
-p0(p1(p0+p0+p0))=(0,0,0)(1,1,1)(2,1,1)(2,1,1)
-p0(p1(p0(p0)))=(0,0,0)(1,1,1)(2,1,1)(3,0,0)
-p0(p1(p0(p0(p1))))=(0,0,0)(1,1,1)(2,1,1)(3,0,0)(4,1,0)
-p0(p1(p0(p0(p1(p0)))))=(0,0,0)(1,1,1)(2,1,1)(3,0,0)(4,1,1)
-p0(p1(p0(p1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)
-p0(p1(p0(p1))+p0(p1+p0(p1(p0(p1)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,0)(2,2,1)(3,2,1)(4,1,0)
-p0(p1(p0(p1))+p0(p1(p0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,0)(2,2,1)(3,2,1)(4,1,0)(2,2,1)
-p0(p1(p0(p1))+p0(p1(p0(p1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,0)(2,2,1)(3,2,1)(4,1,0)(2,2,1)(3,2,1)(4,1,0)
-p0(p1(p0(p1))+p1)=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,0)(2,2,1)(3,2,1)(4,1,0)(3,2,0)(4,3,0)
-p0(p1(p0(p1))+p1(p0(p1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,0)(2,2,1)(3,2,1)(4,1,0)(3,2,0)(4,3,1)(5,3,1)(6,1,0)
-p0(p1(p0(p1)+p0))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,0)(2,2,1)(3,2,1)(4,1,0)(3,2,1)
-p0(p1(p0(p1)+p0(p1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,0)(2,2,1)(3,2,1)(4,1,0)(3,2,1)(4,1,0)
-p0(p1(p0(p1+p1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,0)(2,2,1)(3,2,1)(4,2,0)
-p0(p1(p0(p1(p0))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,1)
-p0(p1(p0(p1(p0+p0))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,1)(2,1,1)
-p0(p1(p0(p1(p0(p1)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)
-p0(p1(p1))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)
-p0(p1(p1)+p0(p1))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)(1,1,0)
-p0(p1(p1)+p0(p1(p0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)(1,1,1)
-p0(p1(p1)+p0(p1(p0(p1(p1)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)
-p0(p1(p1)+p0(p1(p0(p1(p1)))+p0))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)(2,0,0)
-p0(p1(p1)+p0(p1(p0(p1(p1)))+p0(p1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)
-p0(p1(p1)+p0(p1(p0(p1(p1)))+p0(p1(p1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)
-p0(p1(p1)+p0(p1(p0(p1(p1)))+p1))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,0)
-p0(p1(p1)+p0(p1(p0(p1(p1)))+p1(p0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)
-p0(p1(p1)+p0(p1(p0(p1(p1)))+p1(p0(p1(p1)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,1,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)
-p0(p1(p1)+p0(p1(p0(p1(p1))+p0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,1,0)(4,2,1)
-p0(p1(p1)+p0(p1(p0(p1(p1))+p0(p1(p1)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,1,0)(4,2,1)(5,1,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)
-p0(p1(p1)+p0(p1(p0(p1(p1)+p0))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,1,0)(5,0,0)
-p0(p1(p1)+p0(p1(p0(p1(p1)+p0(p1(p0(p1(p1))))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,1,0)(5,1,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)
-p0(p1(p1)+p0(p1(p0(p1(p1)+p0(p1(p0(p1(p1)))+p0(p1(p0(p1(p1)))+p1))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,1,0)(6,2,0)
-p0(p1(p1)+p0(p1(p0(p1(p1)+p0(p1(p0(p1(p1)))+p1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,0)(3,2,1)(4,2,1)(5,2,0)
-p0(p1(p1)+p0(p1(p0(p1(p1)+p0(p1(p0(p1(p1)))+p1(p0(p1(p1)))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,0)(3,2,1)(4,2,1)(5,1,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)
-p0(p1(p1)+p0(p1(p1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,0)(4,0,0)
-p0(p1(p1)+p0(p1(p1))+p0(p1(p1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,0)(4,2,0)(5,3,1)(6,3,1)(7,3,0)(6,0,0)
-p0(p1(p1)+p0(p1(p1)+p0))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)
-p0(p1(p1)+p0(p1(p1)+p0+p0))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)(2,1,1)
-p0(p1(p1)+p0(p1(p1)+p0(p1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)(3,1,0)
-p0(p1(p1)+p0(p1(p1)+p0(p1(p0(p1(p1))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)
-p0(p1(p1)+p0(p1(p1)+p0(p1(p0(p1(p1)+p0(p1(p1)+p0))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)
-p0(p1(p1)+p0(p1(p1)+p0(p1(p1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)(3,1,0)(2,0,0)
-p0(p1(p1)+p0(p1(p1)+p0(p1(p1))+p0))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)(3,1,0)(2,1,1)
-p0(p1(p1)+p0(p1(p1)+p0(p1(p1))+p0(p1(p1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)(3,1,0)(2,1,1)(3,1,0)(2,0,0)
-p0(p1(p1)+p0(p1(p1)+p0(p1(p1)+p0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(3,0,0)
-p0(p1(p1)+p0(p1(p1)+p0(p1(p1)+p0(p1(p1)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(3,1,0)(2,0,0)
-p0(p1(p1)+p1)=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,0)
-p0(p1(p1)+p1+p1)=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,0)(5,3,0)
-p0(p1(p1)+p1(p0))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)
-p0(p1(p1)+p1(p0(p1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,1,0)
-p0(p1(p1)+p1(p0(p1(p1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,1,0)(2,0,0)
-p0(p1(p1)+p1(p0(p1(p1))+p1))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)
-p0(p1(p1)+p1(p1))=(0,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)(5,0,0)
-p0(p1(p1+p0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)
-p0(p1(p1+p0+p0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)
-p0(p1(p1+p0(p1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)
-p0(p1(p1+p0(p1(p0(p1(p1))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)
-p0(p1(p1+p0(p1(p0(p1(p1+p0))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)
-p0(p1(p1+p0(p1(p0(p1(p1+p0(p1)))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1,0)
-p0(p1(p1+p0(p1(p1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1,0)(2,0,0)
-p0(p1(p1+p0(p1(p1+p0))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,1)
-p0(p1(p1+p1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(2,0,0)
-p0(p1(p1+p1)+p0(p1(p1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,0)(4,0,0)
-p0(p1(p1+p1)+p0(p1(p1+p0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,1)
-p0(p1(p1+p1)+p0(p1(p1+p1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,1)(4,2,1)(5,2,0)(4,0,0)
-p0(p1(p1+p1)+p0(p1(p1+p1)+p0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(2,1,1)
-p0(p1(p1+p1)+p1)=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(4,2,0)
-p0(p1(p1+p1)+p1(p1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)(5,0,0)
-p0(p1(p1+p1)+p1(p1+p0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)
-p0(p1(p1+p1)+p1(p1+p1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,2,0)(5,0,0)
-p0(p1(p1+p1+p0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,1)
-p0(p1(p1+p1+p1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(2,0,0)
-p0(p1(p1(p0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,0,0)
-p0(p1(p1(p0(p1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)
-p0(p1(p1(p0(p1(p1(p0))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,1)(3,0,0)
-p0(p1(p1(p1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)
-p0(p1(p1(p1))+p0(p1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)(1,1,0)
-p0(p1(p1(p1))+p0(p1(p0(p1(p1(p1))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,1,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)
-p0(p1(p1(p1))+p0(p1(p1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,1,0)(2,0,0)
-p0(p1(p1(p1))+p0(p1(p1+p0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)(1,1,1)(2,1,1)(3,1,1)
-p0(p1(p1(p1))+p0(p1(p1(p0))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)(1,1,1)(2,1,1)(3,1,1)(3,0,0)
-p0(p1(p1(p1))+p0(p1(p1(p0(p1)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)
-p0(p1(p1(p1))+p0(p1(p1(p0(p1(p1(p1)))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,0,0)
-p0(p1(p1(p1))+p0(p1(p1(p0(p1(p1(p1)))))+p1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,0)(3,2,0)
-p0(p1(p1(p1))+p0(p1(p1(p1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,1)(5,2,0)(4,0,0)
-p0(p1(p1(p1))+p0(p1(p1(p1))+p0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)
-p0(p1(p1(p1))+p0(p1(p1(p1))+p0(p1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,0)
-p0(p1(p1(p1))+p0(p1(p1(p1))+p0(p1(p1(p1)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,0)(2,0,0)
-p0(p1(p1(p1))+p1)=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,0)(4,2,0)
-p0(p1(p1(p1))+p1(p1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)(5,0,0)
-p0(p1(p1(p1))+p1(p1(p0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,0,0)
-p0(p1(p1(p1))+p1(p1(p0(p1(p1(p1))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,1,0)(2,0,0)
-p0(p1(p1(p1))+p1(p1(p1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,2,0)(5,0,0)
-p0(p1(p1(p1)+p0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,1)
-p0(p1(p1(p1)+p1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(2,0,0)
-p0(p1(p1(p1)+p1(p0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,1)(3,0,0)
-p0(p1(p1(p1)+p1(p1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(2,1,1)(3,1,1)(3,1,0)(2,0,0)
-p0(p1(p1(p1+p0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(3,0,0)
-p0(p1(p1(p1+p1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(3,1,0)(2,0,0)
-p0(p1(p1(p1(p1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,1,0)(2,0,0)
-p0(p1(p2))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)
-p0(p1(p2)+p0(p1(p2)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)
-p0(p1(p2)+p1)=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,0)(3,2,0)
-p0(p1(p2)+p1(p1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,0)(3,2,1)(4,2,1)(5,2,0)(4,0,0)
-p0(p1(p2)+p1(p2))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,0)(3,2,1)(4,2,1)(5,2,1)(5,2,0)(6,3,0)
-p0(p1(p2+p0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,1)
-p0(p1(p2+p0(p1(p2))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)(4,2,0)
-p0(p1(p2+p1))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,1)(3,1,0)(2,0,0)
-p0(p1(p2+p1+p0))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,1)(3,1,1)
-p0(p1(p2+p1(p1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,1)(3,1,1)(3,1,0)(2,0,0)
-p0(p1(p2+p1(p1(p2)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(2,1,1)(3,1,1)(3,1,0)(4,2,0)
-p0(p1(p2+p1(p1(p2)+p1))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(3,1,0)(2,0,0)
-p0(p1(p2+p1(p1(p2)+p1(p1(p2))))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(3,1,0)(4,2,0)
-p0(p1(p2+p1(p2)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(4,2,0)
-p0(p1(p2+p1(p2+p1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,1,0)(2,0,0)
-p0(p1(p2+p1(p2+p1(p1(p2)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,1,0)(6,2,0)
-p0(p1(p2+p1(p2+p1(p2))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)
-p0(p1(p2+p2))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)
-p0(p1(p2(p0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)
-p0(p1(p2(p0(p1(p2)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,1,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)
-p0(p1(p2(p1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,1,0)(2,0,0)
-p0(p1(p2(p1(p1(p2)))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,1,0)(7,2,0)
-p0(p1(p2(p1(p2))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)
-p0(p1(p2(p2)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)(5,0,0)
-p0(p1(p2(p2+p0)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)
-p0(p1(p2(p2+p1)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1,0)(2,0,0)
-p0(p1(p2(p2+p2)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,2,0)(5,0,0)
-p0(p1(p2(p2(p0))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,0,0)
-p0(p1(p2(p2(p2))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,2,0)(5,0,0)
-p0(p1(p2(p3)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,2,0)(7,3,0)
-p0(p1(p2(p3+p3)))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,2,0)(7,3,0)(8,4,0)
-p0(p1(p2(p3(p3))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,2,0)(7,3,1)(8,3,1)(9,3,0)(8,0,0)
-p0(p1(p2(p3(p4))))=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,2,0)(7,3,1)(8,3,1)(9,3,1)(9,3,0)(10,4,0)
-limit=(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)
 == 参考资料 ==
 <references />
+[[分类:分析]]