BHM分析Part9

本条目展示BHM分析的第九部分，使用 $M O C F$ 和BMS对照

在以下表达式中，使用黑色字体的为BHM，使用灰色字体的为BMS。

\begin{align}s\\&(0,0)(1,1)(1,1)(1,0)(2,0)(2,0)(1,1)(1,0)(2,0)(3,0) =\psi((2~1-)^{\{1@(\{1@(1,,0)\}@_2(1,0))\}@_2(1,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,1,0)(6,2,0)(7,2,0)(8,1,0)(7,1,0)(8,2,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(2,0)(1,1)(1,1) =\psi((2~1-)^{\{1@(\{1@(1@_2(1,0))\}@_2(1,0))\}@_2(1,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,1,0)(6,2,0)(7,2,0)(8,1,0)(7,1,0)(8,2,0)(9,2,0)(10,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(2,0)(2,0) =\psi((2~1-)^{\{1@(\{1@(\omega@_2(1,0))\}@_2(1,0))\}@_2(1,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,1,0)(6,2,0)(7,2,0)(8,1,0)(7,1,0)(8,2,0)(9,2,0)(10,1,0)(9,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(2,0)(2,0)(1,1)(1,1) =\psi((2~1-)^{\{1@(\{1@(\{1,0\}@_2(1,0))\}@_2(1,0))\}@_2(1,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,1,0)(6,2,0)(7,2,0)(8,1,0)(7,1,0)(8,2,0)(9,2,0)(10,1,0)(9,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(3,0) =\psi((2~1-)^{1@_2(1,1)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(3,0)(1,0)(1,1)(1,1) =\psi((2~1-)^{1@_2(1,1),,1@_2(1,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(4,2,0)(5,2,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(3,0)(1,0)(1,1)(1,1)(1,0)(2,0)(3,0) =\psi((2~1-)^{1@_2(1,1),,\{1@(1@_2(1,1))\}@_2(1,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(4,2,0)(5,2,0)(6,1,0)(5,1,0)(6,2,0)(7,2,0)(8,1,0)(7,2,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(3,0)(1,0)(2,0)(1,1) =\psi((2~1-)^{1@_2(1,1),,\{1@(1@_2(1,1),,1@_20)\}@_2(1,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(4,2,0)(5,2,0)(6,1,0)(5,1,0)(6,2,0)(7,2,0)(8,1,0)(7,2,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(3,0)(1,0)(2,0)(1,1)(1,1) =\psi((2~1-)^{1@_2(1,1),,\{1@(1@_2(1,1),,1@_2(1,0))\}@_2(1,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(4,2,0)(5,2,0)(6,1,0)(5,1,0)(6,2,0)(7,2,0)(8,1,0)(7,2,0)(6,2,0)(7,2,0)(8,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(3,0)(1,0)(2,0)(3,0) =\psi((2~1-)^{2@_2(1,1)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(3,0)(1,1) =\psi((2~1-)^{\{1,0\}@_2(1,1)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(5,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(3,0)(1,1)(1,1) =\psi((2~1-)^{\{1@(1@_2(1,0))\}@_2(1,1)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(5,1,0)(6,2,0)(7,2,0)(8,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(3,0)(2,0)(1,1)(1,1) =\psi((2~1-)^{\{1@(\{1@(1@_2(1,0))\}@_2(1,0))\}@_2(1,1)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(5,1,0)(6,2,0)(7,2,0)(8,1,0)(7,1,0)(8,2,0)(9,2,0)(10,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(3,0)(2,0)(2,0)(3,0) =\psi((2~1-)^{\{1@(1@_2(1,1))\}@_2(1,1)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(5,1,0)(6,2,0)(7,2,0)(8,1,0)(7,2,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(3,0)(2,0)(2,0)(3,0)(2,0)(2,0)(3,0) =\psi((2~1-)^{\{1@(\{1@(1@_2(1,1))\}@_2(1,1))\}@_2(1,1)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(5,1,0)(6,2,0)(7,2,0)(8,1,0)(7,2,0)(7,1,0)(8,2,0)(9,2,0)(10,1,0)(9,2,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(3,0)(2,0)(3,0) =\psi((2~1-)^{1@_2(1,2)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(5,2,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(3,0)(3,0) =\psi((2~1-)^{1@_2(1,\omega)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(6,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,1) =\psi((2~1-)^{1@_2(1,(2))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(6,1,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,1)(2,0)(3,0)(4,0) =\psi((2~1-)^{1@_2(1,((2~1-)^{1,,0}))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(6,1,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,1)(2,1) =\psi((2~1-)^{1@_2(1,((2~1-)^{1@_2(1,0),,1@_20}))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(6,1,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,2,0)(7,3,0)(8,3,0)(9,2,0)(4,2,1)(5,2,1)(6,2,1)(6,2,0)(7,3,0)(8,3,0)(9,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,1) =\psi((2~1-)^{1@_2(2,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,1)(1,0)(1,1)(1,1) =\psi((2~1-)^{1@_2(2,0),,1@_2(1,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(6,1,0)(4,2,0)(5,2,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,1)(1,0)(1,1)(1,1)(1,0)(2,0)(3,0) =\psi((2~1-)^{1@_2(2,0),,\{1@(1@_2(1,1))\}@_2(1,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(6,1,0)(4,2,0)(5,2,0)(6,1,0)(5,1,0)(6,2,0)(7,2,0)(8,1,0)(7,2,0)}\\&(0,0)(1,1)(1,1)(1,1)(1,0)(1,1)(1,1)(1,0)(2,1)(2,1)(2,1) =\psi((2~1-)^{1@_2(2,0),,\{1@(1@_2(2,0))\}@_2(1,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(6,1,0)(4,2,0)(5,2,0)(6,1,0)(5,1,0)(6,2,0)(7,2,0)(8,1,0)(7,2,0)(8,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,1)(1,0)(1,1)(1,1)(1,0)(2,1)(2,1)(2,1)(2,0)(2,1)(2,1)(2,0)(3,0)(4,0) =\psi((2~1-)^{1@_2(2,0),,1@_2(1,1)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(6,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)}\\&(0,0)(1,1)(1,1)(1,1)(1,0)(1,1)(1,1)(1,1) =\psi((2~1-)^{2@_2(2,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(6,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,1)(1,0)(2,0) =\psi((2~1-)^{\omega@_2(2,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(6,1,0)(5,0,0)}\\&(0,0)(1,1)(1,1)(1,1)(1,0)(2,0)(3,0) =\psi((2~1-)^{\omega@_2(2,1)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(6,1,0)(5,2,0)}\\&(0,0)(1,1)(1,1)(1,1)(1,1) =\psi((2~1-)^{1@_2(3,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(5,2,0)(6,1,0)(5,2,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(2,0) =\psi((2~1-)^{1@_2(\omega,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,0,0)}\\&(0,0)(1,1)(2,0)(1,1) =\psi((2~1-)^{1@_2(\omega+1,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,0,0)(5,2,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(2,0)(1,1)(1,1)(2,0) =\psi((2~1-)^{1@_2(\omega\times2,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,0,0)(5,2,0)(6,1,0)(6,0,0)}\\&(0,0)(1,1)(2,0)(2,0) =\psi((2~1-)^{1@_2(\omega^\omega,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,0,0)(7,0,0)}\\&(0,0)(1,1)(2,0)(3,0) =\psi((2~1-)^{1@_2((1-)^{1,0},0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,0,0)(7,1,0)}\\&(0,0)(1,1)(2,0)(3,0)(4,1) =\psi((2~1-)^{1@_2((1-)^{1,0,0},0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,0,0)(7,1,0)(8,1,0)(9,1,0)}\\&(0,0)(1,1)(2,0)(3,1) =\psi((2~1-)^{1@_2((2),0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)}\\&(0,0)(1,1)(2,0)(3,1)(3,0)(4,0) =\psi((2~1-)^{1@_2((1-2),0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(1,1,1)}\\&(0,0)(1,1)(2,0)(3,1)(3,0)(4,0)(5,0) =\psi((2~1-)^{1@_2(((2~1-)^{1,,0}~2),0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)}\\&(0,0)(1,1)(2,0)(3,1)(4,0) =\psi((2~1-)^{1@_2(((2~1-)^{1@_2(\omega,0)}~2),0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,0,0)}\\&(0,0)(1,1)(2,1) =\psi((2~1-)^{1@_2(1,0,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(1,0)(1,0)(2,1)(3,1) =\psi(\mathrm{2nd}~(2~1-)^{1@_2(1,0,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(2,1,0)(3,2,1)(4,2,1)(5,2,1)(5,2,0)(6,3,0)(7,3,0)(8,2,0)(8,2,0)(4,0,0)}\\&(0,0)(1,1)(2,1)(1,0)(1,1) =\psi((1-)^{1,0,0}~\mathrm{aft}~(2~1-)^{1@_2(1,0,0),,1@_20}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(2,1,1)(3,1,0)(4,2,0)(5,2,0)(6,2,0)}\\&(0,0)(1,1)(2,1)(1,0)(1,1)(1,1) =\psi((2~1-)^{1@_2(1,0,0),,1@_2(1,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(4,2,0)(5,2,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(1,0)(1,1)(2,0) =\psi((2~1-)^{1@_2(1,0,0),,1@_2(\omega,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(4,2,0)(5,2,0)(6,1,0)(6,0,0)}\\&(0,0)(1,1)(2,1)(1,0)(1,1)(2,0)(3,1)(4,1) =\psi((2~1-)^{1@_2(1,0,0),,1@_2(((2~1-)^{1@_2(1,0,0)}~2),0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(1,0)(1,1)(2,1) =\psi((2~1-)^{2@_2(1,0,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(1,0)(2,0) =\psi((2~1-)^{\omega@_2(1,0,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(5,0,0)}\\&(0,0)(1,1)(2,1)(1,0)(2,0)(1,1) =\psi((2~1-)^{\{1,0\}@_2(1,0,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(5,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(1,0)(2,0)(1,1)(1,1) =\psi((2~1-)^{\{1@(1@_2(1,0))\}@_2(1,0,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(5,1,0)(6,2,0)(7,2,0)(8,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(1,0)(2,0)(1,1)(2,1) =\psi((2~1-)^{\{1@(1@_2(1,0,0))\}@_2(1,0,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(5,1,0)(6,2,0)(7,2,0)(8,1,0)(8,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(1,0)(2,0)(3,0) =\psi((2~1-)^{1@_2(1,0,1)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(5,2,0)}\\&(0,0)(1,1)(2,1)(1,1) =\psi((2~1-)^{1@_2(1,1,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(5,2,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(1,1)(1,1)(2,0) =\psi((2~1-)^{1@_2(1,\omega,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(5,2,0)(6,1,0)(6,0,0)}\\&(0,0)(1,1)(2,1)(1,1)(1,1)(2,1) =\psi((2~1-)^{1@_2(2,0,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(5,2,0)(6,1,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(1,1)(2,0) =\psi((2~1-)^{1@_2(\omega,0,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(6,0,0)}\\&(0,0)(1,1)(2,1)(1,1)(2,0)(1,1)(2,0) =\psi((2~1-)^{1@_2(\omega^2,0,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(6,0,0)(6,0,0)}\\&(0,0)(1,1)(2,1)(1,1)(2,0)(1,1)(2,1) =\psi((2~1-)^{1@_2(1,0,0,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(1,1)(2,0)(1,1)(2,1)(1,1)(2,0) =\psi((2~1-)^{1@_2(\omega,0,0,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(6,1,0)(6,0,0)}\\&(0,0)(1,1)(2,1)(1,1)(2,0)(2,0) =\psi((2~1-)^{1@_2(1@\omega)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,0,0)}\\&(0,0)(1,1)(2,1)(1,1)(2,0)(2,0)(1,1)(2,1) =\psi((2~1-)^{1@_2(1@(1,0))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(1,1)(2,0)(3,0) =\psi((2~1-)^{1@_2(1@(1,,0))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)}\\&(0,0)(1,1)(2,1)(1,1)(2,0)(3,0)(2,0)(3,0) =\psi((2~1-)^{1@_2(1@(1,,0,,0))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(7,2,0)}\\&(0,0)(1,1)(2,1)(1,1)(2,0)(3,1) =\psi((2~1-)^{1@_2(1@(1@_2(2)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)}\\&(0,0)(1,1)(2,1)(1,1)(2,0)(3,1)(3,0)(4,1)(4,1) =\psi((2~1-)^{1@_2(1@(1@_2((2~1-)^{1@_2(1,0)}~2)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(1,1)(2,0)(3,1)(4,0)(5,1)(6,1) =\psi((2~1-)^{1@_2(1@(1@_2((2~1-)^{1@_2(1,0,0)}~2)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(1,1)(2,0)(3,1)(4,1) =\psi((2~1-)^{1@_2(1@(1@_2((2~1-)^{1@_2(1,0,0),,1@_20}~2)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,2,0)(7,3,0)(8,3,0)(9,2,0)(9,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(1,1)(2,1) =\psi((2~1-)^{1@_2(1@(1@_2(1,0)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(1,1)(2,1)(1,1)(1,1)(2,1)(1,1)(2,1) =\psi((2~1-)^{1@_2(2@(1@_2(1,0)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(1,1)(2,1)(1,1)(2,1) =\psi((2~1-)^{1@_2(1@(2@_2(1,0)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(7,2,0)(8,2,0)(9,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(2,0) =\psi((2~1-)^{1@_2(1@(\omega@_2(1,0)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,0,0)}\\&(0,0)(1,1)(2,1)(2,0)(2,0)(3,1) =\psi((2~1-)^{1@_2(1@((2)@_2(1,0)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,1,0)}\\&(0,0)(1,1)(2,1)(2,0)(2,0)(3,1)(4,0)(5,1)(6,1) =\psi((2~1-)^{1@_2(1@(((2~1-)^{1@_2(1,0,0)}~2)@_2(1,0)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,1,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(2,0)(2,0)(3,1)(4,1) =\psi((2~1-)^{1@_2(1@(((2~1-)^{1@_2(1,0,0),,1@_20}~2)@_2(1,0)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,1,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(6,1,0)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,2,0)(7,3,0)(8,3,0)(9,2,0)(9,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(2,0)(2,0)(3,1)(4,1)(3,1)(4,0) =\psi((2~1-)^{1@_2(1@(((2~1-)^{1@_2(\omega,0,0)}~2)@_2(1,0)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,1,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,0,0)}\\&(0,0)(1,1)(2,1)(2,0)(2,0)(3,1)(4,1)(3,1)(4,0)(5,0) =\psi((2~1-)^{1@_2(1@(((2~1-)^{1@_2(1,,0)}~2)@_2(1,0)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,1,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)}\\&(0,0)(1,1)(2,1)(2,0)(2,0)(3,1)(4,1)(4,0) =\psi((2~1-)^{1@_2(1@(((2~1-)^{1@_2(1@(\omega@_2(1,0)))}~2)@_2(1,0)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,1,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,0,0)}\\&(0,0)(1,1)(2,1)(2,0)(2,1) =\psi((2~1-)^{1@_2(1@(\{1,0\}@_2(1,0)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(2,0)(2,1)(1,1)(1,1)(2,1)(2,0)(2,1) =\psi((2~1-)^{1@_2(2@(\{1,0\}@_2(1,0)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,1,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(2,0)(2,1)(1,1)(2,0)(1,1)(2,1) =\psi((2~1-)^{1@_2(1@(\{1,0\}@_2(1,0),,1@_20))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,1,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(2,0)(2,1)(1,1)(2,0)(3,0) =\psi((2~1-)^{1@_2(1@(\{1,0\}@_2(1,0),,1@_21))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,1,0)(7,2,0)}\\&(0,0)(1,1)(2,1)(2,0)(2,1)(1,1)(2,1) =\psi((2~1-)^{1@_2(1@(\{1,1\}@_2(1,0)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,1,0)(7,2,0)(8,2,0)(9,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(2,0)(2,1)(1,1)(2,1)(1,1)(2,1)(2,0)(2,1) =\psi((2~1-)^{1@_2(1@(\{2,0\}@_2(1,0)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,1,0)(7,2,0)(8,2,0)(9,1,0)(8,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(2,0)(2,1)(1,1)(2,1)(2,0)(1,1)(2,1)(2,0)(2,1) =\psi((2~1-)^{1@_2(1@(\{1,0,0\}@_2(1,0)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,1,0)(8,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(2,0)(2,1)(1,1)(2,1)(2,0)(2,0)(3,0) =\psi((2~1-)^{1@_2(1@(\{1@(1,,0)\}@_2(1,0)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,1,0)(9,2,0)}\\&(0,0)(1,1)(2,1)(2,0)(2,1)(1,1)(2,1)(2,0)(2,1) =\psi((2~1-)^{1@_2(1@(\{1@(1@_2(1,0))\}@_2(1,0)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,1,0)(9,2,0)(10,2,0)(11,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(2,0)(2,1)(2,0) =\psi((2~1-)^{1@_2(1@(\{1@(\omega@_2(1,0))\}@_2(1,0)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,1,0)(9,2,0)(10,2,0)(11,1,0)(10,0,0)}\\&(0,0)(1,1)(2,1)(2,0)(2,1)(2,0)(2,1) =\psi((2~1-)^{1@_2(1@(\{1@(\{1,0\}@_2(1,0))\}@_2(1,0)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,1,0)(9,2,0)(10,2,0)(11,1,0)(10,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(2,0)(3,0) =\psi((2~1-)^{1@_2(1@(1@_2(1,1)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,2,0)}\\&(0,0)(1,1)(2,1)(2,0)(3,0)(1,1)(2,1) =\psi((2~1-)^{1@_2(1@(1@_2(1,1),,1@_2(1,0)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,2,0)(7,2,0)(8,2,0)(9,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(2,0)(3,0)(1,1)(2,1)(1,1)(2,1)(2,0)(3,0) =\psi((2~1-)^{1@_2(1@(1@_2(1,1),,\{1@(1@_2(1,1))\}@_2(1,0)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,2,0)(7,2,0)(8,2,0)(9,1,0)(8,1,0)(9,2,0)(10,2,0)(11,1,0)(10,2,0)}\\&(0,0)(1,1)(2,1)(2,0)(3,0)(1,1)(2,1)(2,0)(2,0)(3,0) =\psi((2~1-)^{1@_2(1@(2@_2(1,1)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,2,0)(7,2,0)(8,2,0)(9,1,0)(8,2,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(2,0)(3,0)(1,1)(2,1)(2,0)(2,1) =\psi((2~1-)^{1@_2(1@(\{1@(1@_2(1,0))\}@_2(1,1)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,2,0)(8,1,0)(9,2,0)(10,2,0)(11,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(2,0)(3,0)(1,1)(2,1)(2,0)(3,0) =\psi((2~1-)^{1@_2(1@(\{1@(1@_2(1,1))\}@_2(1,1)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,2,0)(8,1,0)(9,2,0)(10,2,0)(11,1,0)(10,2,0)}\\&(0,0)(1,1)(2,1)(2,0)(3,0)(2,0)(3,0) =\psi((2~1-)^{1@_2(1@(1@_2(1,2)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,2,0)(8,2,0)}\\&(0,0)(1,1)(2,1)(2,0)(3,0)(2,1) =\psi((2~1-)^{1@_2(1@(1@_2(2,0)))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(8,2,0)(9,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(2,0)(3,0)(4,0) =\psi((2~1-)^{1@_2(1@(1@_2(1@(1,,0))))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(10,2,0)}\\&(0,0)(1,1)(2,1)(2,1) =\psi((2~1-)^{1@_2(1@(1@_2(1@(1@_2(1,0)))))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(10,2,0)(11,2,0)(12,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(2,1)(2,0)(2,1)(2,1) =\psi((2~1-)^{1@_2(1@(1@_2(1@(2@_2(1,0)))))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(10,2,0)(11,2,0)(12,1,0)(10,2,0)(11,2,0)(12,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(2,1)(2,1) =\psi((2~1-)^{1@_2(1@(1@_2(1@(1@_2(2,0)))))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(10,2,0)(11,2,0)(12,1,0)(11,2,0)(12,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(3,1) =\psi((2~1-)^{1@_2(1@(1@_2(1@(1@_2(1,0,0)))))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(10,2,0)(11,2,0)(12,1,0)(12,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(3,1)(2,1)(3,1) =\psi((2~1-)^{1@_2(1@(1@_2(1@(1@_2(1@(1@_2(1,0)))))))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(10,2,0)(11,2,0)(12,1,0)(13,2,0)(14,2,0)(15,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(3,1)(3,1) =\psi((2~1-)^{1@_2(1@(1@_2(1@(1@_2(1@(1@_2(1@(1@_2(1,0)))))))))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(10,2,0)(11,2,0)(12,1,0)(13,2,0)(14,2,0)(15,1,0)(16,2,0)(17,2,0)(18,1,0)(2,0,0)}\\&(0,0)(1,1)(2,1)(3,1)(4,1) =\psi((2~1-)^{1@_2(1@(1@_2(1@(1@_2(1@(1@_2(1@(1@_2(1,0,0)))))))))}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,1,0)(10,2,0)(11,2,0)(12,1,0)(13,2,0)(14,2,0)(15,1,0)(16,2,0)(17,2,0)(18,1,0)(18,1,0)(2,0,0)}\\&\Large{(0,0)(1,1)(2,2) =\psi((2~1-)^{1@_2(1,,0)}~2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,2,0)}}\end{align}