User blog:Ikosarakt1/BEAN is much stronger: from Г 0 to LVO

{| border="0" cellpadding="1" cellspacing="1" class="article-table" style="width: 500px;" ! scope="col"|BAN separator ! scope="col"|BEAF structure ! scope="col"|FGH ordinal
 * [1 \ 2 [1 ¬ 3] 2]
 * {X,X,1,2}^^X
 * e_(theta(W)+1)
 * [1 \ 1 \ 2 [1 ¬ 3] 2]
 * {X,X,1,2}^^^X
 * z_(theta(W)+1)
 * [1 \\ 2 [1 ¬ 3] 2]
 * {{X,X,1,2},X,X}
 * theta(w,theta(W)+1)
 * [1 [1 [1 ¬ 3] 2 ¬ 2] 2 [1 ¬ 3] 2]
 * {X,X,{X,X,1,2}}
 * theta(theta(W),1)
 * [1 [1 [1 ¬ 3] 2 ¬ 2] 3 [1 ¬ 3] 2]
 * {X,2X,{X,X,1,2}}
 * theta(theta(W),2)
 * [1 [1 [1 ¬ 3] 2 ¬ 2] 1,2 [1 ¬ 3] 2]
 * {X,X^2,{X,X,1,2}}
 * theta(theta(W),w)
 * [1 [1 [1 ¬ 3] 2 ¬ 2] 1 [1 [1 ¬ 3] 2] 2 [1 ¬ 3] 2]
 * {X,{X,X,1,2},{X,X,1,2}}
 * theta(theta(W),theta(W))
 * [1 [1 [1 ¬ 3] 2 ¬ 2] 1 \ 2 [1 ¬ 3] 2]
 * {X,X,{X,X,1,2}+1}
 * theta(theta(W)+1)
 * [1 [1 [1 ¬ 3] 2 ¬ 2] 1 \ 1 \ 2 [1 ¬ 3] 2]
 * {X,X,{X,X,1,2}+2}
 * theta(theta(W)+2)
 * [1 [1 [1 ¬ 3] 2 ¬ 2] 1 [1 [1 ¬ 3] 2 ¬ 2] 2 [1 ¬ 3] 2]
 * {X,X,2{X,X,1,2}}
 * theta(theta(W)*2)
 * [1 [1 [1 ¬ 3] 2 ¬ 2] 1 [1 [1 ¬ 3] 2 ¬ 2] 1 [1 [1 ¬ 3] 2 ¬ 2] 2 [1 ¬ 3] 2]
 * {X,X,{X,X,1,2}^2}
 * theta(theta(W)^2)
 * [1 [2 [1 ¬ 3] 2 ¬ 2] 2 [1 ¬ 3] 2]
 * {X,X,{X,X,1,2}^X}
 * theta(theta(W)^w)
 * [1 [3 [1 ¬ 3] 2 ¬ 2] 2 [1 ¬ 3] 2]
 * {X,X,{X,X,1,2}^X^2}
 * theta(theta(W)^w^2)
 * [1 [1,2 [1 ¬ 3] 2 ¬ 2] 2 [1 ¬ 3] 2]
 * {X,X,{X,X,1,2}^X^X}
 * theta(theta(W)^w^w)
 * [1 [1 [2] 2 [1 ¬ 3] 2 ¬ 2] 2 [1 ¬ 3] 2]
 * {X,X,{X,X,1,2}^X^X^X}
 * theta(theta(W)^w^w^w)
 * [1 [1 [1 [1 ¬ 3] 2] 2 [1 ¬ 3] 2 ¬ 2] 2 [1 ¬ 3] 2]
 * {X,X,{X,X,1,2}^{X,X,1,2}}
 * theta(theta(W)^theta(W))
 * [1 [1 \ 2 [1 ¬ 3] 2 ¬ 2] 2 [1 ¬ 3] 2]
 * {X,X,{X,X,1,2}^^X}
 * theta(e_(theta(W)+1))
 * [1 [1 \ 1 \ 2 [1 ¬ 3] 2 ¬ 2] 2 [1 ¬ 3] 2]
 * {X,X,{X,X,1,2}^^^X}
 * theta(z_(theta(W)+1))
 * [1 [1 \\ 2 [1 ¬ 3] 2 ¬ 2] 2 [1 ¬ 3] 2]
 * {X,X,{{X,X,1,2},X,X}}
 * theta(theta(w,theta(W)+1))
 * [1 [1 [1 [1 ¬ 3] 2 ¬ 2] 2 [1 ¬ 3] 2 ¬ 2] 2 [1 ¬ 3] 2]
 * {X,X,{X,X,{X,X,1,2}}}
 * theta(theta(theta(W),1))
 * [1 [1 ¬ 3] 3]
 * {X,2X,1,2}
 * theta(W,1)
 * [1 \ 2 [1 ¬ 3] 3]
 * {X,2X,1,2}^^X
 * e_(theta(W,1)+1)
 * [1 \ 1 \ 2 [1 ¬ 3] 3]
 * {X,2X,1,2}^^^X
 * z_(theta(W,1)+1)
 * [1 \\ 2 [1 ¬ 3] 3]
 * {{X,2X,1,2},X,X}
 * theta(w,theta(W,1)+1)
 * [1 [1 [1 ¬ 3] 2 ¬ 2] 2 [1 ¬ 3] 3]
 * {X,X,{X,2X,1,2}}
 * theta(theta(W,1),1)
 * [1 [1 [1 ¬ 3] 2 ¬ 2] 3 [1 ¬ 3] 3]
 * {X,2X,{X,2X,1,2}}
 * theta(theta(W,1),2)
 * [1 [1 [1 ¬ 3] 2 ¬ 2] 1,2 [1 ¬ 3] 3]
 * {X,X^2,{X,2X,1,2}}
 * theta(theta(W,1),w)
 * [1 [1 [1 ¬ 3] 2 ¬ 2] 1 \ 2 [1 ¬ 3] 3]
 * {X,X,{X,2X,1,2}+1}
 * theta(theta(W,1)+1)
 * [1 [1 [1 ¬ 3] 2 ¬ 2] 1 [1 [1 ¬ 3] 2 ¬ 2] 2 [1 ¬ 3] 3]
 * {X,X,{X,2X,1,2}+{X,X,1,2}}
 * theta(theta(W,1)+theta(W))
 * [1 [2 [1 ¬ 3] 2 ¬ 2] 2 [1 ¬ 3] 3]
 * {X,X,{X,2X,1,2}+{X,X,1,2}^X}
 * theta(theta(W,1)+theta(W)^w)
 * [1 [1 [1 ¬ 3] 3 ¬ 2] 2 [1 ¬ 3] 3]
 * {X,X,2{X,2X,1,2}}
 * theta(theta(W,1)*2)
 * [1 [1 ¬ 3] 4]
 * {X,3X,1,2}
 * theta(W,2)
 * [1 [1 ¬ 3] 1,2]
 * {X,X^2,1,2}
 * theta(W,w)
 * [1 [1 ¬ 3] 1 [2] 2]
 * {X,X^X,1,2}
 * theta(W,w^w)
 * [1 [1 ¬ 3] 1 [1,2] 2]
 * {X,X^X^X,1,2}
 * theta(W,w^w^w)
 * [1 [1 ¬ 3] 1 [1 \ 2] 2]
 * {X,X^^X,1,2}
 * theta(W,e_0)
 * [1 [1 ¬ 3] 1 [1 \ 1 \ 2] 2]
 * {X,X^^^X,1,2}
 * theta(W,z_0)
 * [1 [1 ¬ 3] 1 [1 \\ 2] 2]
 * {X,{X,X,X},1,2}
 * theta(W,theta(w))
 * [1 [1 ¬ 3] 1 [1 [1 ¬ 3] 2 ¬ 2] 2]
 * {X,{X,X,1,2},1,2}
 * theta(W,theta(W))
 * [1 [1 ¬ 3] 1 \ 2]
 * {X,X,2,2}
 * theta(W+1)
 * [1 [1 ¬ 3] 1 \ 1 \ 2]
 * {X,X,3,2}
 * theta(W+2)
 * [1 [1 ¬ 3] 1 \\ 2]
 * {X,X,X,2}
 * theta(W+w)
 * [1 [1 ¬ 3] 1 [1 [1 ¬ 3] 2 ¬ 2] 2]
 * {X,X,{X,X,1,2},2}
 * theta(W+theta(W))
 * [1 [1 ¬ 3] 1 [1 [1 ¬ 3] 2 ¬ 2] 1 [1 [1 ¬ 3] 2 ¬ 2] 2]
 * {X,X,2{X,X,1,2},2}
 * theta(W+theta(W)*2)
 * [1 [1 ¬ 3] 1 [2 [1 ¬ 3] 2 ¬ 2] 2]
 * {X,X,{X,X,1,2}^X,2}
 * theta(W+theta(W)^w)
 * [1 [1 ¬ 3] 1 [1 [1 [1 ¬ 3] 2] 2 [1 ¬ 3] 2 ¬ 2] 2]
 * {X,X,{X,X,1,2}^{X,X,1,2},2}
 * theta(W+theta(W)^theta(W))
 * [1 [1 ¬ 3] 1 [1 \ 2 [1 ¬ 3] 2] 2]
 * {X,X,{X,X,1,2}^^X,2}
 * theta(W+e_(theta(W)+1))
 * [1 [1 ¬ 3] 1 [1 \ 1 \ 2 [1 ¬ 3] 2] 2]
 * {X,X,{X,X,1,2}^^^X,2}
 * theta(W+z_(theta(W)+1))
 * [1 [1 ¬ 3] 1 [1 \\ 2 [1 ¬ 3] 2] 2]
 * {X,X,{{X,X,1,2},X,X},2}
 * theta(W+theta(w,theta(W)+1))
 * [1 [1 ¬ 3] 1 [1 [1 [1 ¬ 3] 2 ¬ 2] 2 [1 ¬ 3] 2] 2]
 * {X,X,{X,X,{X,X,1,2}},2}
 * theta(W+theta(theta(W),1))
 * [1 [1 ¬ 3] 1 [1 ¬ 3] 2]
 * {X,X,1,3}
 * theta(W2)
 * [1 \ 2 [1 ¬ 3] 1 [1 ¬ 3] 2]
 * {X,X,1,3}^^X
 * e_(theta(W2)+1)
 * [1 \ 1 \ 2 [1 ¬ 3] 1 [1 ¬ 3] 2]
 * {X,X,1,3}^^^X
 * z_(theta(W2)+1)
 * [1 \\ 2 [1 ¬ 3] 1 [1 ¬ 3] 2]
 * {{X,X,1,3},X,X}
 * theta(w,theta(W2)+1)
 * [1 [1 [1 ¬ 3] 2 ¬ 2] 2 [1 ¬ 3] 1 [1 ¬ 3] 2]
 * {X,X,{X,X,1,3}}
 * theta(theta(W2),1)
 * [1 [1 [1 ¬ 3] 2 ¬ 2] 1 [1 [1 ¬ 3] 2 ¬ 2] 2 [1 ¬ 3] 1 [1 ¬ 3] 2]
 * {X,X,{X,X,1,3}+{X,X,1,2}}
 * theta(theta(W2)+theta(W))
 * [1 [2 [1 ¬ 3] 2 ¬ 2] 2 [1 ¬ 3] 1 [1 ¬ 3] 2]
 * {X,X,{X,X,1,3}+{X,X,1,2}^X}
 * theta(theta(W2)+theta(W)^w)
 * [1 [1 [1 ¬ 3] 3 ¬ 2] 2 [1 ¬ 3] 1 [1 ¬ 3] 2]
 * {X,X,{X,X,1,3}+{X,2X,1,2}}
 * theta(theta(W2)+theta(W)*2)
 * [1 [1 [1 ¬ 3] 1 [1 ¬ 3] 2 ¬ 2] 2 [1 ¬ 3] 1 [1 ¬ 3] 2]
 * {X,X,2{X,X,1,3}}
 * theta(theta(W2)*2)
 * [1 [1 ¬ 3] 2 [1 ¬ 3] 2]
 * {{X,X,1,3},X,1,2}
 * theta(W+theta(W2),1)
 * [1 [1 ¬ 3] 3 [1 ¬ 3] 2]
 * {{X,X,1,3},2X,1,2}
 * theta(W+theta(W2),2)
 * [1 [1 ¬ 3] 1,2 [1 ¬ 3] 2]
 * {{X,X,1,3},X^2,1,2}
 * theta(W+theta(W2),w)
 * [1 [1 ¬ 3] 1 \ 2 [1 ¬ 3] 2]
 * {{X,X,1,3},X,2,2}
 * theta(W+theta(W2)+1)
 * [1 [1 ¬ 3] 1 \ 1 \ 2 [1 ¬ 3] 2]
 * {{X,X,1,3},X,3,2}
 * theta(W+theta(W2)+2)
 * [1 [1 ¬ 3] 1 \\ 2 [1 ¬ 3] 2]
 * {{X,X,1,3},X,X,2}
 * theta(W+theta(W2)+w)
 * [1 [1 ¬ 3] 1 [1 [1 ¬ 3] 1 [1 ¬ 3] 2 ¬ 2] 2 [1 ¬ 3] 2]
 * {{X,X,1,3},X,{X,X,1,3},2}
 * theta(W+theta(W2)*2)
 * [1 [1 ¬ 3] 1 [1 ¬ 3] 3]
 * {X,2X,1,3}
 * theta(W2,1)
 * [1 [1 ¬ 3] 1 [1 ¬ 3] 4]
 * {X,3X,1,3}
 * theta(W2,2)
 * [1 [1 ¬ 3] 1 [1 ¬ 3] 1,2]
 * {X,X^2,1,3}
 * theta(W2,w)
 * [1 [1 ¬ 3] 1 [1 ¬ 3] 1 \ 2]
 * {X,X,2,3}
 * theta(W2+1)
 * [1 [1 ¬ 3] 1 [1 ¬ 3] 1 \ 1 \ 2]
 * {X,X,3,3}
 * theta(W2+2)
 * [1 [1 ¬ 3] 1 [1 ¬ 3] 1 \\ 2]
 * {X,X,X,3}
 * theta(W2+w)
 * [1 [1 ¬ 3] 1 [1 ¬ 3] 1 [1 [1 ¬ 3] 1 [1 ¬ 3] 2 ¬ 2] 2]
 * {X,X,{X,X,1,3},3}
 * theta(W2+theta(W2))
 * [1 [1 ¬ 3] 1 [1 ¬ 3] 1 [1 ¬ 3] 2]
 * {X,X,1,4}
 * theta(W3)
 * [1 [1 ¬ 3] 1 [1 ¬ 3] 1 [1 ¬ 3] 1 [1 ¬ 3] 2]
 * {X,X,1,5}
 * theta(W4)
 * [1 [2 ¬ 3] 2]
 * {X,X,1,X}
 * theta(Ww)
 * [1 [2 ¬ 3] 1 \ 2]
 * {X,X,2,X}
 * theta(Ww+1)
 * [1 [2 ¬ 3] 1 \ 1 \ 2]
 * {X,X,3,X}
 * theta(Ww+2)
 * [1 [2 ¬ 3] 1 \\ 2]
 * {X,X,X,X}
 * theta(Ww+w)
 * [1 [2 ¬ 3] 1 [1 ¬ 3] 2]
 * {X,X,1,X+1}
 * theta(W(w+1))
 * [1 [2 ¬ 3] 1 [1 ¬ 3] 1 [1 ¬ 3] 2]
 * {X,X,1,X+2}
 * theta(W(w+2))
 * [1 [2 ¬ 3] 1 [2 ¬ 3] 2]
 * {X,X,1,2X}
 * theta(W(w2))
 * [1 [2 ¬ 3] 1 [2 ¬ 3] 1 [2 ¬ 3] 2]
 * {X,X,1,3X}
 * theta(W(w3))
 * [1 [3 ¬ 3] 2]
 * {X,X,1,X^2}
 * theta(W(w^2))
 * [1 [4 ¬ 3] 2]
 * {X,X,1,X^3}
 * theta(W(w^3))
 * [1 [1,2 ¬ 3] 2]
 * {X,X,1,X^X}
 * theta(W(w^w))
 * [1 [1 \ 2 ¬ 3] 2]
 * {X,X,1,X^^X}
 * theta(W(e_0))
 * [1 [1 \ 1 \ 2 ¬ 3] 2]
 * {X,X,1,X^^^X}
 * theta(W(z_0))
 * [1 [1 \\ 2 ¬ 3] 2]
 * {X,X,1,{X,X,X}}
 * theta(W(theta(w)))
 * [1 [1 [1 ¬ 3] 2 ¬ 3] 2]
 * {X,X,1,{X,X,1,2}}
 * theta(W(theta(W)))
 * [1 [1 ¬ 4] 2]
 * {X,X,1,1,2}
 * theta(W^2)
 * [1 \ 2 [1 ¬ 4] 2]
 * {X,X,1,1,2}^^X
 * e_(theta(W^2)+1)
 * [1 \ 1 \ 2 [1 ¬ 4] 2]
 * {X,X,1,1,2}^^^X
 * z_(theta(W^2)+1)
 * [1 [1 ¬ 3] 2 [1 ¬ 4] 2]
 * {{X,X,1,1,2},X,1,2}
 * [1 [1 ¬ 3] 1 [1 ¬ 3] 2 [1 ¬ 4] 2]
 * {{X,X,1,1,2},X,1,3}
 * [1 [1 [1 ¬ 4] 2 ¬ 3] 2 [1 ¬ 4] 2]
 * {X,X,1,\{X,X,1,1,2\}}
 * [1 [1 [1 ¬ 4] 2 ¬ 3] 1 [1 ¬ 3] 2 [1 ¬ 4] 2]
 * {X,X,1,\{X,X,1,1,2\}+1}
 * [1 [1 [1 ¬ 4] 2 ¬ 3] 1 [1 ¬ 3] 1 [1 ¬ 3] 2 [1 ¬ 4] 2]
 * {X,X,1,\{X,X,1,1,2\}+2}
 * [1 [1 [1 ¬ 4] 2 ¬ 3] 1 [1 [1 ¬ 4] 2 ¬ 3] 2 [1 ¬ 4] 2]
 * {X,X,1,2\{X,X,1,1,2\}}
 * [1 [2 [1 ¬ 4] 2 ¬ 3] 2 [1 ¬ 4] 2]
 * {X,X,1,\{X,X,1,1,2\}^X}
 * [1 [1,2 [1 ¬ 4] 2 ¬ 3] 2 [1 ¬ 4] 2]
 * {X,X,1,\{X,X,1,1,2\}^{X^X}}
 * [1 [1 [1 [1 ¬ 4] 2] 2 [1 ¬ 4] 2 ¬ 3] 2 [1 ¬ 4] 2]
 * {X,X,1,\{X,X,1,1,2\}^{\{X,X,1,1,2\}}}
 * [1 [1 \ 2 [1 ¬ 4] 2 ¬ 3] 2 [1 ¬ 4] 2]
 * {X,X,1,\{X,X,1,1,2\}^^ X}
 * [1 [1 [1 [1 ¬ 4] 2 ¬ 2] 2 [1 ¬ 4] 2 ¬ 3] 2 [1 ¬ 4] 2]
 * {X,X,1,\{X,X,\{X,X,1,1,2\}\}}
 * [1 [1 [1 [1 ¬ 4] 2 ¬ 3] 2 [1 ¬ 4] 2 ¬ 3] 2 [1 ¬ 4] 2]
 * {X,X,1,\{X,X,1,\{X,X,1,1,2\}\}}
 * [1 [1 ¬ 4] 3]
 * {X,2X,1,1,2}
 * theta(W^2,1)
 * [1 [1 ¬ 4] 4]
 * {X,3X,1,1,2}
 * theta(W^2,2)
 * [1 [1 ¬ 4] 1,2]
 * {X,X^2,1,1,2}
 * theta(W^2,w)
 * [1 [1 ¬ 4] 1 [2] 2]
 * {X,X^X,1,1,2}
 * theta(W^2,w^w)
 * [1 [1 ¬ 4] 1 \ 2]
 * {X,X,2,1,2}
 * theta(W^2+1)
 * [1 [1 ¬ 4] 1 \ 1 \ 2]
 * {X,X,3,1,2}
 * theta(W^2+2)
 * [1 [1 ¬ 4] 1 \\ 2]
 * {X,X,X,1,2}
 * theta(W^2+w)
 * [1 [1 ¬ 4] 1 [1 [1 ¬ 3] 2 ¬ 2] 2]
 * {X,X,\{X,X,1,2\},1,2}
 * theta(W^2+theta(W))
 * [1 [1 ¬ 4] 1 [1 [1 ¬ 4] 2 ¬ 2] 2]
 * {X,X,\{X,X,1,1,2\},1,2}
 * theta(W^2+theta(W^2))
 * [1 [1 ¬ 4] 1 [1 ¬ 3] 2]
 * {X,X,1,2,2}
 * theta(W^2+W)
 * [1 [1 ¬ 4] 1 [1 ¬ 3] 1 [1 ¬ 3] 2]
 * {X,X,1,3,2}
 * theta(W^2+W2)
 * [1 [1 ¬ 4] 1 [2 ¬ 3] 2]
 * {X,X,1,X,2}
 * theta(W^2+Ww)
 * [1 [1 ¬ 4] 1 [1,2 ¬ 3] 2]
 * {X,X,1,X^X,2}
 * theta(W^2+W(w^w))
 * [1 [1 ¬ 4] 1 [1 [1 ¬ 3] 2 ¬ 3] 2]
 * {X,X,1,\{X,X,1,2\},2}
 * theta(W^2+W(theta(W)))
 * [1 [1 ¬ 4] 1 [1 [1 ¬ 4] 2 ¬ 3] 2]
 * {X,X,1,\{X,X,1,1,2\},2}
 * theta(W^2+W(theta(W^2)))
 * [1 [1 ¬ 4] 1 [1 ¬ 4] 2]
 * {X,X,1,1,3}
 * theta((W^2)2)
 * [1 [1 ¬ 4] 1 [1 ¬ 4] 1 [1 ¬ 4] 2]
 * {X,X,1,1,4}
 * theta((W^2)3)
 * [1 [1 ¬ 4] 1 [1 ¬ 4] 1 [1 ¬ 4] 1 [1 ¬ 4] 2]
 * {X,X,1,1,5}
 * theta((W^2)4)
 * [1 [2 ¬ 4] 2]
 * {X,X,1,1,X}
 * theta((W^2)w)
 * [1 [3 ¬ 4] 2]
 * {X,X,1,1,X^2}
 * theta((W^2)w^2)
 * [1 [4 ¬ 4] 2]
 * {X,X,1,1,X^3}
 * theta((W^2)w^3)
 * [1 [1,2 ¬ 4] 2]
 * {X,X,1,1,X^X}
 * theta((W^2)w^w)
 * [1 [1 \ 2 ¬ 4] 2]
 * {X,X,1,1,X ^^ X}
 * theta((W^2)e_0)
 * [1 [1 [1 ¬ 3] 2 ¬ 4] 2]
 * {X,X,1,1,\{X,X,1,2\}}
 * theta((W^2)theta(W))
 * [1 [1 [1 ¬ 4] 2 ¬ 4] 2]
 * {X,X,1,1,\{X,X,1,1,2\}}
 * theta((W^2)theta(W^2))
 * [1 [1 ¬ 5] 2]
 * {X,X,1,1,1,2}
 * theta(W^3)
 * [1 [1 ¬ 6] 2]
 * {X,X,1,1,1,1,2}
 * theta(W^4)
 * [1 [1 ¬ 7] 2]
 * {X,X,1,1,1,1,1,2}
 * theta(W^5)
 * [1 [1 ¬ 1,2] 2]
 * {X,X (1) 2}
 * theta(W^w)
 * [1 \ 2 [1 ¬ 1,2] 2]
 * {X,X (1) 2\}^^ X
 * [1 \ 1 \ 2 [1 ¬ 1,2] 2]
 * {X,X (1) 2\}^^^ X
 * [1 \\ 2 [1 ¬ 1,2] 2]
 * {\{X,X (1) 2\},X,X}
 * [1 [1 ¬ 3] 2 [1 ¬ 1,2] 2]
 * {\{X,X (1) 2\},X,1,2}
 * [1 [1 ¬ 4] 2 [1 ¬ 1,2] 2]
 * {\{X,X (1) 2\},X,1,1,2}
 * [1 [1 ¬ 5] 2 [1 ¬ 1,2] 2]
 * {\{X,X (1) 2\},X,1,1,1,2}
 * [1 [1 ¬ 1,2] 3]
 * {X,2X (1) 2}
 * [1 [1 ¬ 1,2] 4]
 * {X,3X (1) 2}
 * [1 [1 ¬ 1,2] 1,2]
 * {X,X^2 (1) 2}
 * [1 [1 ¬ 1,2] 1 \ 2]
 * {X,X,2 (1) 2}
 * [1 [1 ¬ 1,2] 1 \ 1 \ 2]
 * {X,X,3 (1) 2}
 * [1 [1 ¬ 1,2] 1 \\ 2]
 * {X,X,X (1) 2}
 * [1 [1 ¬ 1,2] 1 [1 ¬ 3] 2]
 * {X,X,1,2 (1) 2}
 * [1 [1 ¬ 1,2] 1 [1 ¬ 4] 2]
 * {X,X,1,1,2 (1) 2}
 * [1 [1 ¬ 1,2] 1 [1 ¬ 5] 2]
 * {X,X,1,1,1,2 (1) 2}
 * [1 [1 ¬ 1,2] 1 [1 ¬ 1,2] 2]
 * {X,X (1) 3}
 * [1 [1 ¬ 1,2] 1 [1 ¬ 1,2] 1 [1 ¬ 1,2] 2]
 * {X,X (1) 4}
 * [1 [2 ¬ 1,2] 2]
 * {X,X (1) X}
 * [1 [2 ¬ 1,2] 1 [1 ¬ 1,2] 2]
 * {X,X (1) X+1}
 * [1 [2 ¬ 1,2] 1 [2 ¬ 1,2] 2]
 * {X,X (1) 2X}
 * [1 [3 ¬ 1,2] 2]
 * {X,X (1) X^2}
 * [1 [4 ¬ 1,2] 2]
 * {X,X (1) X^3}
 * [1 [1,2 ¬ 1,2] 2]
 * {X,X (1) X^X}
 * [1 [1 \ 2 ¬ 1,2] 2]
 * {X,X (1) X ^^ X}
 * [1 [1 \ 1 \ 2 ¬ 1,2] 2]
 * {X,X (1) X ^^^ X}
 * [1 [1 [1 ¬ 3] 2 ¬ 1,2] 2]
 * {X,X (1) \{X,X,1,2\}}
 * [1 [1 [1 ¬ 4] 2 ¬ 1,2] 2]
 * {X,X (1) \{X,X,1,1,2\}}
 * [1 [1 [1 ¬ 5] 2 ¬ 1,2] 2]
 * {X,X (1) \{X,X,1,1,1,2\}}
 * [1 [1 [1 ¬ 1,2] 2 ¬ 1,2] 2]
 * {X,X (1) \{X,X (1) 2\}}
 * [1 [1 ¬ 2,2] 2]
 * {X,X (1) 1,2}
 * [1 [1 ¬ 2,2] 1 [1 ¬ 2,2] 2]
 * {X,X (1) 1,3}
 * [1 [2 ¬ 2,2] 2]
 * {X,X (1) 1,X}
 * [1 [1 ¬ 3,2] 2]
 * {X,X (1) 1,1,2}
 * [1 [1 ¬ 4,2] 2]
 * {X,X (1) 1,1,1,2}
 * [1 [1 ¬ 1,3] 2]
 * {X,X (1)(1) 2}
 * [1 [1 ¬ 2,3] 2]
 * {X,X (1)(1) 1,2}
 * [1 [1 ¬ 1,4] 2]
 * {X,X (1)(1)(1) 2}
 * [1 [1 ¬ 1,1,2] 2]
 * {X,X (2) 2}
 * [1 [1 ¬ 2,1,2] 2]
 * {X,X (2) 1,2}
 * [1 [1 ¬ 1,2,2] 2]
 * {X,X (2)(1) 2}
 * [1 [1 ¬ 1,3,2] 2]
 * {X,X (2)(1)(1) 2}
 * [1 [1 ¬ 1,4,2] 2]
 * {X,X (2)(1)(1)(1) 2}
 * [1 [1 ¬ 1,1,3] 2]
 * {X,X (2)(2) 2}
 * [1 [1 ¬ 1,1,4] 2]
 * {X,X (2)(2)(2) 2}
 * [1 [1 ¬ 1,1,1,2] 2]
 * {X,X (3) 2}
 * [1 [1 ¬ 1,1,1,1,2] 2]
 * {X,X (4) 2}
 * [1 [1 ¬ 1 [2] 2] 2]
 * {X,X (0,1) 2}
 * [1 [1 ¬ 2 [2] 2] 2]
 * {X,X (0,1) 1,2}
 * [1 [1 ¬ 1,2 [2] 2] 2]
 * {X,X (0,1)(1) 2}
 * [1 [1 ¬ 1,1,2 [2] 2] 2]
 * {X,X (0,1)(2) 2}
 * [1 [1 ¬ 1 [2] 3] 2]
 * {X,X (0,1)(0,1) 2}
 * [1 [1 ¬ 1 [2] 4] 2]
 * {X,X (0,1)(0,1)(0,1) 2}
 * [1 [1 ¬ 1 [2] 1,2] 2]
 * {X,X (1,1) 2}
 * [1 [1 ¬ 1 [2] 1,1,2] 2]
 * {X,X (2,1) 2}
 * [1 [1 ¬ 1 [2] 1 [2] 2] 2]
 * {X,X (0,2) 2}
 * [1 [1 ¬ 1 [3] 2] 2]
 * {X,X (0,0,1) 2}
 * [1 [1 ¬ 1 [4] 2] 2]
 * {X,X (0,0,0,1) 2}
 * [1 [1 ¬ 1 [1,2] 2] 2]
 * {X,X ((1) 1) 2}
 * [1 [1 ¬ 1 \ 2] 2]
 * X ^^ X & X
 * [1 [1 ¬ 1 \ 1 \ 2] 2]
 * X ^^^ X & X
 * [1 [1 ¬ 1 \\ 2] 2]
 * {X,X,X\} & X
 * [1 [1 ¬ 1 [1 ¬ 3] 2] 2]
 * {X,X,1,2\} & X
 * [1 [1 ¬ 1 [1 ¬ 1,2] 2] 2]
 * {X,X (1) 2\} & X
 * [1 [1 ¬ 1 [1 ¬ 1 \ 2] 2] 2]
 * X ^^ X & X & X
 * {X,X,1,1,\{X,X,1,1,2\}}
 * theta((W^2)theta(W^2))
 * [1 [1 ¬ 5] 2]
 * {X,X,1,1,1,2}
 * theta(W^3)
 * [1 [1 ¬ 6] 2]
 * {X,X,1,1,1,1,2}
 * theta(W^4)
 * [1 [1 ¬ 7] 2]
 * {X,X,1,1,1,1,1,2}
 * theta(W^5)
 * [1 [1 ¬ 1,2] 2]
 * {X,X (1) 2}
 * theta(W^w)
 * [1 \ 2 [1 ¬ 1,2] 2]
 * {X,X (1) 2\}^^ X
 * [1 \ 1 \ 2 [1 ¬ 1,2] 2]
 * {X,X (1) 2\}^^^ X
 * [1 \\ 2 [1 ¬ 1,2] 2]
 * {\{X,X (1) 2\},X,X}
 * [1 [1 ¬ 3] 2 [1 ¬ 1,2] 2]
 * {\{X,X (1) 2\},X,1,2}
 * [1 [1 ¬ 4] 2 [1 ¬ 1,2] 2]
 * {\{X,X (1) 2\},X,1,1,2}
 * [1 [1 ¬ 5] 2 [1 ¬ 1,2] 2]
 * {\{X,X (1) 2\},X,1,1,1,2}
 * [1 [1 ¬ 1,2] 3]
 * {X,2X (1) 2}
 * [1 [1 ¬ 1,2] 4]
 * {X,3X (1) 2}
 * [1 [1 ¬ 1,2] 1,2]
 * {X,X^2 (1) 2}
 * [1 [1 ¬ 1,2] 1 \ 2]
 * {X,X,2 (1) 2}
 * [1 [1 ¬ 1,2] 1 \ 1 \ 2]
 * {X,X,3 (1) 2}
 * [1 [1 ¬ 1,2] 1 \\ 2]
 * {X,X,X (1) 2}
 * [1 [1 ¬ 1,2] 1 [1 ¬ 3] 2]
 * {X,X,1,2 (1) 2}
 * [1 [1 ¬ 1,2] 1 [1 ¬ 4] 2]
 * {X,X,1,1,2 (1) 2}
 * [1 [1 ¬ 1,2] 1 [1 ¬ 5] 2]
 * {X,X,1,1,1,2 (1) 2}
 * [1 [1 ¬ 1,2] 1 [1 ¬ 1,2] 2]
 * {X,X (1) 3}
 * [1 [1 ¬ 1,2] 1 [1 ¬ 1,2] 1 [1 ¬ 1,2] 2]
 * {X,X (1) 4}
 * [1 [2 ¬ 1,2] 2]
 * {X,X (1) X}
 * [1 [2 ¬ 1,2] 1 [1 ¬ 1,2] 2]
 * {X,X (1) X+1}
 * [1 [2 ¬ 1,2] 1 [2 ¬ 1,2] 2]
 * {X,X (1) 2X}
 * [1 [3 ¬ 1,2] 2]
 * {X,X (1) X^2}
 * [1 [4 ¬ 1,2] 2]
 * {X,X (1) X^3}
 * [1 [1,2 ¬ 1,2] 2]
 * {X,X (1) X^X}
 * [1 [1 \ 2 ¬ 1,2] 2]
 * {X,X (1) X ^^ X}
 * [1 [1 \ 1 \ 2 ¬ 1,2] 2]
 * {X,X (1) X ^^^ X}
 * [1 [1 [1 ¬ 3] 2 ¬ 1,2] 2]
 * {X,X (1) \{X,X,1,2\}}
 * [1 [1 [1 ¬ 4] 2 ¬ 1,2] 2]
 * {X,X (1) \{X,X,1,1,2\}}
 * [1 [1 [1 ¬ 5] 2 ¬ 1,2] 2]
 * {X,X (1) \{X,X,1,1,1,2\}}
 * [1 [1 [1 ¬ 1,2] 2 ¬ 1,2] 2]
 * {X,X (1) \{X,X (1) 2\}}
 * [1 [1 ¬ 2,2] 2]
 * {X,X (1) 1,2}
 * [1 [1 ¬ 2,2] 1 [1 ¬ 2,2] 2]
 * {X,X (1) 1,3}
 * [1 [2 ¬ 2,2] 2]
 * {X,X (1) 1,X}
 * [1 [1 ¬ 3,2] 2]
 * {X,X (1) 1,1,2}
 * [1 [1 ¬ 4,2] 2]
 * {X,X (1) 1,1,1,2}
 * [1 [1 ¬ 1,3] 2]
 * {X,X (1)(1) 2}
 * [1 [1 ¬ 2,3] 2]
 * {X,X (1)(1) 1,2}
 * [1 [1 ¬ 1,4] 2]
 * {X,X (1)(1)(1) 2}
 * [1 [1 ¬ 1,1,2] 2]
 * {X,X (2) 2}
 * [1 [1 ¬ 2,1,2] 2]
 * {X,X (2) 1,2}
 * [1 [1 ¬ 1,2,2] 2]
 * {X,X (2)(1) 2}
 * [1 [1 ¬ 1,3,2] 2]
 * {X,X (2)(1)(1) 2}
 * [1 [1 ¬ 1,4,2] 2]
 * {X,X (2)(1)(1)(1) 2}
 * [1 [1 ¬ 1,1,3] 2]
 * {X,X (2)(2) 2}
 * [1 [1 ¬ 1,1,4] 2]
 * {X,X (2)(2)(2) 2}
 * [1 [1 ¬ 1,1,1,2] 2]
 * {X,X (3) 2}
 * [1 [1 ¬ 1,1,1,1,2] 2]
 * {X,X (4) 2}
 * [1 [1 ¬ 1 [2] 2] 2]
 * {X,X (0,1) 2}
 * [1 [1 ¬ 2 [2] 2] 2]
 * {X,X (0,1) 1,2}
 * [1 [1 ¬ 1,2 [2] 2] 2]
 * {X,X (0,1)(1) 2}
 * [1 [1 ¬ 1,1,2 [2] 2] 2]
 * {X,X (0,1)(2) 2}
 * [1 [1 ¬ 1 [2] 3] 2]
 * {X,X (0,1)(0,1) 2}
 * [1 [1 ¬ 1 [2] 4] 2]
 * {X,X (0,1)(0,1)(0,1) 2}
 * [1 [1 ¬ 1 [2] 1,2] 2]
 * {X,X (1,1) 2}
 * [1 [1 ¬ 1 [2] 1,1,2] 2]
 * {X,X (2,1) 2}
 * [1 [1 ¬ 1 [2] 1 [2] 2] 2]
 * {X,X (0,2) 2}
 * [1 [1 ¬ 1 [3] 2] 2]
 * {X,X (0,0,1) 2}
 * [1 [1 ¬ 1 [4] 2] 2]
 * {X,X (0,0,0,1) 2}
 * [1 [1 ¬ 1 [1,2] 2] 2]
 * {X,X ((1) 1) 2}
 * [1 [1 ¬ 1 \ 2] 2]
 * X ^^ X & X
 * [1 [1 ¬ 1 \ 1 \ 2] 2]
 * X ^^^ X & X
 * [1 [1 ¬ 1 \\ 2] 2]
 * {X,X,X\} & X
 * [1 [1 ¬ 1 [1 ¬ 3] 2] 2]
 * {X,X,1,2\} & X
 * [1 [1 ¬ 1 [1 ¬ 1,2] 2] 2]
 * {X,X (1) 2\} & X
 * [1 [1 ¬ 1 [1 ¬ 1 \ 2] 2] 2]
 * X ^^ X & X & X
 * [1 [2 ¬ 2,2] 2]
 * {X,X (1) 1,X}
 * [1 [1 ¬ 3,2] 2]
 * {X,X (1) 1,1,2}
 * [1 [1 ¬ 4,2] 2]
 * {X,X (1) 1,1,1,2}
 * [1 [1 ¬ 1,3] 2]
 * {X,X (1)(1) 2}
 * [1 [1 ¬ 2,3] 2]
 * {X,X (1)(1) 1,2}
 * [1 [1 ¬ 1,4] 2]
 * {X,X (1)(1)(1) 2}
 * [1 [1 ¬ 1,1,2] 2]
 * {X,X (2) 2}
 * [1 [1 ¬ 2,1,2] 2]
 * {X,X (2) 1,2}
 * [1 [1 ¬ 1,2,2] 2]
 * {X,X (2)(1) 2}
 * [1 [1 ¬ 1,3,2] 2]
 * {X,X (2)(1)(1) 2}
 * [1 [1 ¬ 1,4,2] 2]
 * {X,X (2)(1)(1)(1) 2}
 * [1 [1 ¬ 1,1,3] 2]
 * {X,X (2)(2) 2}
 * [1 [1 ¬ 1,1,4] 2]
 * {X,X (2)(2)(2) 2}
 * [1 [1 ¬ 1,1,1,2] 2]
 * {X,X (3) 2}
 * [1 [1 ¬ 1,1,1,1,2] 2]
 * {X,X (4) 2}
 * [1 [1 ¬ 1 [2] 2] 2]
 * {X,X (0,1) 2}
 * [1 [1 ¬ 2 [2] 2] 2]
 * {X,X (0,1) 1,2}
 * [1 [1 ¬ 1,2 [2] 2] 2]
 * {X,X (0,1)(1) 2}
 * [1 [1 ¬ 1,1,2 [2] 2] 2]
 * {X,X (0,1)(2) 2}
 * [1 [1 ¬ 1 [2] 3] 2]
 * {X,X (0,1)(0,1) 2}
 * [1 [1 ¬ 1 [2] 4] 2]
 * {X,X (0,1)(0,1)(0,1) 2}
 * [1 [1 ¬ 1 [2] 1,2] 2]
 * {X,X (1,1) 2}
 * [1 [1 ¬ 1 [2] 1,1,2] 2]
 * {X,X (2,1) 2}
 * [1 [1 ¬ 1 [2] 1 [2] 2] 2]
 * {X,X (0,2) 2}
 * [1 [1 ¬ 1 [3] 2] 2]
 * {X,X (0,0,1) 2}
 * [1 [1 ¬ 1 [4] 2] 2]
 * {X,X (0,0,0,1) 2}
 * [1 [1 ¬ 1 [1,2] 2] 2]
 * {X,X ((1) 1) 2}
 * [1 [1 ¬ 1 \ 2] 2]
 * X ^^ X & X
 * [1 [1 ¬ 1 \ 1 \ 2] 2]
 * X ^^^ X & X
 * [1 [1 ¬ 1 \\ 2] 2]
 * {X,X,X\} & X
 * [1 [1 ¬ 1 [1 ¬ 3] 2] 2]
 * {X,X,1,2\} & X
 * [1 [1 ¬ 1 [1 ¬ 1,2] 2] 2]
 * {X,X (1) 2\} & X
 * [1 [1 ¬ 1 [1 ¬ 1 \ 2] 2] 2]
 * X ^^ X & X & X
 * [1 [1 ¬ 2 [2] 2] 2]
 * {X,X (0,1) 1,2}
 * [1 [1 ¬ 1,2 [2] 2] 2]
 * {X,X (0,1)(1) 2}
 * [1 [1 ¬ 1,1,2 [2] 2] 2]
 * {X,X (0,1)(2) 2}
 * [1 [1 ¬ 1 [2] 3] 2]
 * {X,X (0,1)(0,1) 2}
 * [1 [1 ¬ 1 [2] 4] 2]
 * {X,X (0,1)(0,1)(0,1) 2}
 * [1 [1 ¬ 1 [2] 1,2] 2]
 * {X,X (1,1) 2}
 * [1 [1 ¬ 1 [2] 1,1,2] 2]
 * {X,X (2,1) 2}
 * [1 [1 ¬ 1 [2] 1 [2] 2] 2]
 * {X,X (0,2) 2}
 * [1 [1 ¬ 1 [3] 2] 2]
 * {X,X (0,0,1) 2}
 * [1 [1 ¬ 1 [4] 2] 2]
 * {X,X (0,0,0,1) 2}
 * [1 [1 ¬ 1 [1,2] 2] 2]
 * {X,X ((1) 1) 2}
 * [1 [1 ¬ 1 \ 2] 2]
 * X ^^ X & X
 * [1 [1 ¬ 1 \ 1 \ 2] 2]
 * X ^^^ X & X
 * [1 [1 ¬ 1 \\ 2] 2]
 * {X,X,X\} & X
 * [1 [1 ¬ 1 [1 ¬ 3] 2] 2]
 * {X,X,1,2\} & X
 * [1 [1 ¬ 1 [1 ¬ 1,2] 2] 2]
 * {X,X (1) 2\} & X
 * [1 [1 ¬ 1 [1 ¬ 1 \ 2] 2] 2]
 * X ^^ X & X & X
 * [1 [1 ¬ 1 [4] 2] 2]
 * {X,X (0,0,0,1) 2}
 * [1 [1 ¬ 1 [1,2] 2] 2]
 * {X,X ((1) 1) 2}
 * [1 [1 ¬ 1 \ 2] 2]
 * X ^^ X & X
 * [1 [1 ¬ 1 \ 1 \ 2] 2]
 * X ^^^ X & X
 * [1 [1 ¬ 1 \\ 2] 2]
 * {X,X,X\} & X
 * [1 [1 ¬ 1 [1 ¬ 3] 2] 2]
 * {X,X,1,2\} & X
 * [1 [1 ¬ 1 [1 ¬ 1,2] 2] 2]
 * {X,X (1) 2\} & X
 * [1 [1 ¬ 1 [1 ¬ 1 \ 2] 2] 2]
 * X ^^ X & X & X
 * [1 [1 ¬ 1 \\ 2] 2]
 * {X,X,X\} & X
 * [1 [1 ¬ 1 [1 ¬ 3] 2] 2]
 * {X,X,1,2\} & X
 * [1 [1 ¬ 1 [1 ¬ 1,2] 2] 2]
 * {X,X (1) 2\} & X
 * [1 [1 ¬ 1 [1 ¬ 1 \ 2] 2] 2]
 * X ^^ X & X & X
 * [1 [1 ¬ 1 [1 ¬ 1,2] 2] 2]
 * {X,X (1) 2\} & X
 * [1 [1 ¬ 1 [1 ¬ 1 \ 2] 2] 2]
 * X ^^ X & X & X
 * [1 [1 ¬ 1 [1 ¬ 1 \ 2] 2] 2]
 * X ^^ X & X & X
 * [1 [1 ¬ 1 [1 ¬ 1 \ 2] 2] 2]
 * X ^^ X & X & X