BHM分析Part8

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

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

\begin{align}s\\&(0,0)(1,1)(1,1) =\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,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1) =\psi((1-)^{(1-)^{\mathrm{2nd}~(1-)^{(2)}}}~\mathrm{aft}~(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)(2,0,0)(1,1,0)(2,1,0)(3,1,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,0)(3,0) =\psi((1-)^{(1-2)}~\mathrm{aft}~(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)(2,0,0)(1,1,1)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,0)(3,0)(3,0) =\psi((1-)^{((2~1-)^\omega~2)}~\mathrm{aft}~(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)(2,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,0)(3,0)(4,0) =\psi((1-)^{((2~1-)^{1..0}~2)}~\mathrm{aft}~(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)(2,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,0)(3,1) =\psi((1-)^{((2~1-)^{1@_2(2)}~2)}~\mathrm{aft}~(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)(2,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(6,1,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,0)(3,1)(3,1) =\psi((1-)^{((2~1-)^{1@_2(1,0)}~2)}~\mathrm{aft}~(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)(2,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,0)(3,1)(3,1)(1,0)(2,0) =\psi((1-)^{(\mathrm{Ord~aft}~(2~1-)^{1@_2(1,0)}~2)}~\mathrm{aft}~(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)(2,0,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,0)(3,1)(3,1)(1,0)(2,0)(3,0) =\psi((1-)^{(1,0)}~\mathrm{aft}~(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)(2,1,0)(3,2,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,0)(3,1)(3,1)(2,0)(2,1)(2,0)(3,0) =\psi(1-2~\mathrm{aft}~(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)(2,1,0)(3,2,1)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,0)(3,1)(3,1)(2,0)(2,1)(2,0)(3,0)(4,0) =\psi((2~1-)^{1,,0}~2~\mathrm{aft}~(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)(2,1,0)(3,2,1)(4,2,1)(5,2,1)(5,2,0)(6,3,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,0)(3,1)(3,1)(2,0)(2,1)(2,0)(3,1)(3,1) =\psi((2~1-)^{1@_2((2~1-)^{1@_2(1,0)}~2)}~2~\mathrm{aft}~(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)(2,1,0)(3,2,1)(4,2,1)(5,2,1)(5,2,0)(6,3,0)(7,3,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)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,0)(3,1)(3,1)(2,0)(3,0) =\psi(1-(2~1-)^{1@_2((2~1-)^{1@_2(1,0)}~2)}~2~\mathrm{aft}~(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)(2,1,0)(3,2,1)(4,2,1)(5,2,1)(5,2,0)(6,3,0)(7,3,0)(8,1,0)(4,2,1)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,0)(3,1)(3,1)(2,0)(3,0)(2,0)(3,1)(3,1) =\psi((2~1-)^{1@_2((2~1-)^{1@_2(1,0)}~2),,1@_20}~2~\mathrm{aft}~(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)(2,1,0)(3,2,1)(4,2,1)(5,2,1)(5,2,0)(6,3,0)(7,3,0)(8,1,0)(4,2,1)(5,2,0)(4,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,0)(3,1)(3,1)(2,0)(3,0)(3,0) =\psi((2~1-)^{1@_2((2~1-)^{1@_2(1,0)}~2),,\omega@_20}~2~\mathrm{aft}~(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)(2,1,0)(3,2,1)(4,2,1)(5,2,1)(5,2,0)(6,3,0)(7,3,0)(8,1,0)(4,2,1)(5,2,1)(5,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,0)(3,1)(3,1)(2,0)(3,0)(3,0)(3,0) =\psi((2~1-)^{1@_2((2~1-)^{1@_2(1,0)}~2),,\{1@\omega\}@_20}~2~\mathrm{aft}~(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)(2,1,0)(3,2,1)(4,2,1)(5,2,1)(5,2,0)(6,3,0)(7,3,0)(8,1,0)(6,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,0)(3,1)(3,1)(2,0)(3,0)(4,0) =\psi((2~1-)^{1@_2((2~1-)^{1@_2(1,0)}~2),,1@_21}~2~\mathrm{aft}~(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)(2,1,0)(3,2,1)(4,2,1)(5,2,1)(5,2,0)(6,3,0)(7,3,0)(8,1,0)(6,3,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,0)(3,1)(3,1)(2,0)(3,1)(3,1) =\psi((2~1-)^{2@_2((2~1-)^{1@_2(1,0)}~2)}~2~\mathrm{aft}~(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)(2,1,0)(3,2,1)(4,2,1)(5,2,1)(5,2,0)(6,3,0)(7,3,0)(8,1,0)(6,3,0)(7,3,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)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,0)(3,1)(3,1)(3,0) =\psi((2~1-)^{\omega@_2((2~1-)^{1@_2(1,0)}~2)}~2~\mathrm{aft}~(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)(2,1,0)(3,2,1)(4,2,1)(5,2,1)(5,2,0)(6,3,0)(7,3,0)(8,1,0)(7,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,0)(3,1)(3,1)(3,0)(3,0)(4,1)(4,0)(5,1)(5,1) =\psi((2~1-)^{((2~1-)^{1@_2(1,0)}~2)@_2((2~1-)^{1@_2(1,0)}~2)}~2~\mathrm{aft}~(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)(2,1,0)(3,2,1)(4,2,1)(5,2,1)(5,2,0)(6,3,0)(7,3,0)(8,1,0)(7,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)(1,1)(1,0)(1,0)(2,1)(2,0)(3,1)(3,1)(3,0)(3,0)(4,1)(4,0)(5,1)(5,1)(2,0)(3,1)(3,1)(3,0)(3,0)(4,1)(4,0)(5,0)(6,0) =\psi((2~1-)^{\{1@(1,,0)\}@_2((2~1-)^{1@_2(1,0)}~2)}~2~\mathrm{aft}~(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)(2,1,0)(3,2,1)(4,2,1)(5,2,1)(5,2,0)(6,3,0)(7,3,0)(8,1,0)(7,2,0)(8,3,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,0)(3,1)(3,1)(3,0)(3,0)(4,1)(4,0)(5,1)(5,1)(3,0)(4,0) =\psi((2~1-)^{1@_2(\mathrm{Ord~aft}~(2~1-)^{1@_2(1,0)}~2)}~2~\mathrm{aft}~(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)(2,1,0)(3,2,1)(4,2,1)(5,2,1)(5,2,0)(6,3,0)(7,3,0)(8,1,0)(7,3,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,0)(3,1)(3,1)(3,0)(3,0)(4,1)(4,0)(5,1)(5,1)(4,0)(4,1)(4,0)(5,1)(5,1) =\psi((2~1-)^{1@_2(\mathrm{(2~1-)^{1@_2((2~1-)^{1@_2(1,0)}~2)}~2~aft}~(2~1-)^{1@_2(1,0)}~2)}~2~\mathrm{aft}~(2~1-)^{1@_2(1,0)}~2) =\color{#888888}{???}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,1) =\psi(\mathrm{2nd}~(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)(2,1,0)(3,2,1)(4,2,1)(5,2,1)(5,2,0)(6,3,0)(7,3,0)(8,2,0)(4,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,1)(1,0)(1,0)(2,1)(2,1) =\psi(\mathrm{3rd}~(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)(2,1,0)(3,2,1)(4,2,1)(5,2,1)(5,2,0)(6,3,0)(7,3,0)(8,2,0)(4,2,0)(5,3,1)(6,3,1)(7,3,1)(7,3,0)(8,4,0)(9,4,0)(10,3,0)(6,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,1)(1,0)(2,0) =\psi(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)(2,1,1)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,1)(1,0)(2,0)(1,0)(2,1)(2,1) =\psi((1-)^{1,0}~(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)(2,1,1)(3,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)(2,1) =\psi((1-)^{1,0,0}~(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)(2,1,1)(3,1,0)(3,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,1)(1,0)(2,0)(3,0) =\psi((1-)^{1,0}~\mathrm{aft}~(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)(2,1,1)(3,1,0)(4,2,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,1)(1,0)(2,1) =\psi((1-)^{(2),0}~\mathrm{aft}~(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)(2,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,1)(1,0)(2,1)(2,0)(3,1)(3,1) =\psi((1-)^{((2~1-)^{1@_2(1,0)}~2),0}~\mathrm{aft}~(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)(2,1,1)(3,1,0)(4,2,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,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,1)(1,0)(2,1)(2,0)(3,1)(3,1)(3,0)(3,0)(4,1)(4,1)(3,0)(4,0) =\psi((1-)^{(1-(2~1-)^{1@_2(1,0)}~2),0}~\mathrm{aft}~(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)(2,1,1)(3,1,0)(4,2,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)}\\&(0,0)(1,1)(1,1)(1,0)(1,0)(2,1)(2,1)(1,0)(2,1)(2,1) =\psi((1-)^{((2~1-)^{1@_2(1,0),,1@_20}~2),0}~\mathrm{aft}~(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)(2,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1) =\psi((1-)^{1,0,0}~\mathrm{aft}~(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)(2,1,1)(3,1,0)(4,2,0)(5,2,0)(6,2,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(1,1) =\psi((1-)^{1,0,0}~\mathrm{aft~2~aft}~(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)(2,1,1)(3,1,0)(4,2,0)(5,3,0)(6,3,0)(7,3,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,0) =\psi(1-2~\mathrm{aft}~(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)(2,1,1)(3,1,0)(4,2,1)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,0)(1,1) =\psi((1-)^{1,0}~2~\mathrm{aft}~(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)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)(5,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,0)(2,0) =\psi((2~1-)^{\omega}~2~\mathrm{aft}~(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)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,0)(3,0) =\psi((2~1-)^{1,,0}~2~\mathrm{aft}~(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)(2,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)(6,2,0)(7,3,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1) =\psi((2~1-)^{1@_2(1,0)}~2~\mathrm{aft}~(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)(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)(5,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(1,1) =\psi((1-)^{1,0,0}~\mathrm{aft~2nd}~(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)(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)(5,2,1)(6,2,0)(7,3,0)(8,3,0)(9,3,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,0) =\psi(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)(2,1,1)(3,1,1)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,0)(1,0)(2,1)(2,0)(3,1)(3,1) =\psi((1-)^{((2~1-)^{1@_2(1,0)}~2)}~(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)(2,1,1)(3,1,1)(2,1,1)(3,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)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,0)(1,0)(2,1)(2,1) =\psi((1-)^{((2~1-)^{1@_2(1,0),,1@_20}~2)}~(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)(2,1,1)(3,1,1)(2,1,1)(3,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)(5,2,1)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,0)(1,1) =\psi((1-)^{1,0}~(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)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,0)(1,1)(1,0)(1,1) =\psi((1-)^{1,0,0}\mathrm{~aft}~(2~1-)^{1@_2(1,0),,2@_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)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(4,2,0)(5,2,0)(6,2,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,0)(1,1)(1,0)(2,0)(1,1) =\psi((1-)^{1,0}~(2~1-)^{1@_2(1,0),,2@_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)(2,1,1)(3,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,0)(1,1)(1,0)(2,0)(2,0) =\psi((2~1-)^{1@_2(1,0),,\omega@_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)(2,1,1)(3,1,1)(3,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,0)(1,1)(1,0)(2,0)(2,0)(1,1) =\psi((2~1-)^{1@_2(1,0),,\{1,0\}@_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)(2,1,1)(3,1,1)(3,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,0)(1,1)(1,0)(2,0)(2,0)(2,0)(1,1) =\psi((2~1-)^{1@_2(1,0),,\{1@(1,0)\}@_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)(2,1,1)(3,1,1)(3,1,0)(4,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,0)(1,1)(1,0)(2,0)(3,0) =\psi((2~1-)^{1@_2(1,0),,\{1@(1,,0)\}@_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)(2,1,1)(3,1,1)(3,1,0)(4,2,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,0)(1,1)(1,0)(2,1)(2,1) =\psi((2~1-)^{1@_2(1,0),,\{1@(1@_2(1,0))\}@_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)(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)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,0)(1,1) =\psi((1-)^{1,0}~(2~1-)^{1@_2(1,0),,\{1@(1@_2(1,0))\}@_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)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(2,1,1)(3,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,0)(1,1)(1,0)(2,1)(2,1) =\psi((2~1-)^{1@_2(1,0),,\{2@(1@_2(1,0))\}@_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)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(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)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,0)(2,0) =\psi((2~1-)^{1@_2(1,0),,\{\omega@(1@_2(1,0))\}@_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)(3,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,0)(2,0)(1,1) =\psi((2~1-)^{1@_2(1,0),,\{1@(1@_2(1,0),,1@_20)\}@_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)(3,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,0)(2,0)(1,1)(1,0)(2,1)(2,1) =\psi((2~1-)^{1@_2(1,0),,\{1@(1@_2(1,0),,\{1@(1@_2(1,0))\}@_20)\}@_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)(3,1,0)(4,2,0)(5,2,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,0)(3,0) =\psi((2~1-)^{1@_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)(4,2,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0) =\psi((2~1-)^{1@_2(1,0),,1@_22}~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)(4,2,0)(5,2,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,1) =\psi((2~1-)^{1@_2(1,0),,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)(4,2,0)(5,2,0)(6,1,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,1)(2,0)(3,1)(3,1) =\psi((2~1-)^{1@_2(1,0),,1@_2((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)(4,2,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,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,1)(2,1) =\psi((2~1-)^{1@_2(1,0),,1@_2((2~1-)^{1@_2(1,0),,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)(4,2,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)(7,3,0)(8,3,0)(9,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,1)(2,1)(1,0)(2,1)(2,1) =\psi((2~1-)^{1@_2(1,0),,2@_2((2~1-)^{1@_2(1,0),,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)(4,2,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)(7,3,0)(8,3,0)(9,1,0)(7,3,0)(8,3,0)(9,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,1)(2,1)(2,0) =\psi((2~1-)^{1@_2(1,0),,\omega@_2((2~1-)^{1@_2(1,0),,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)(4,2,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)(7,3,0)(8,3,0)(9,1,0)(8,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,1)(2,1)(2,0)(2,0)(3,1) =\psi((2~1-)^{1@_2(1,0),,(2)@_2((2~1-)^{1@_2(1,0),,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)(4,2,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)(7,3,0)(8,3,0)(8,1,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,0)(2,1)(2,1)(2,0)(2,1) =\psi((2~1-)^{1@_2(1,0),,(2\mathrm{~aft~}(2~1-)^{1@_2(1,0)})@_2((2~1-)^{1@_2(1,0),,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)(4,2,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)(7,3,0)(8,3,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)(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)(7,3,0)(8,3,0)(9,1,0)(4,2,0)(5,2,0)?}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,1) =\psi((2~1-)^{1@_2(1,0),,\{1,0\}@_2((2~1-)^{1@_2(1,0),,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)(4,2,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)(7,3,0)(8,3,0)(9,1,0)(8,2,0)(5,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(1,1)(1,0)(2,1)(2,1) =\psi((2~1-)^{1@_2(1,0),,\{1,1\}@_2((2~1-)^{1@_2(1,0),,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)(4,2,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)(7,3,0)(8,3,0)(9,1,0)(8,2,0)(7,3,0)(8,3,0)(9,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(2,0) =\psi((2~1-)^{1@_2(1,0),,\{\omega,0\}@_2((2~1-)^{1@_2(1,0),,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)(4,2,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)(7,3,0)(8,3,0)(9,1,0)(8,2,0)(8,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(2,0)(1,1) =\psi((2~1-)^{1@_2(1,0),,\{1,0,0\}@_2((2~1-)^{1@_2(1,0),,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)(4,2,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)(7,3,0)(8,3,0)(9,1,0)(8,2,0)(8,2,0)(5,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(2,0)(2,0)(1,1) =\psi((2~1-)^{1@_2(1,0),,\{1@(1,0)\}@_2((2~1-)^{1@_2(1,0),,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)(4,2,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)(7,3,0)(8,3,0)(9,1,0)(8,2,0)(9,2,0)(5,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(2,0)(2,0)(3,0) =\psi((2~1-)^{1@_2(1,0),,\{1@(1,,0)\}@_2((2~1-)^{1@_2(1,0),,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)(4,2,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)(7,3,0)(8,3,0)(9,1,0)(8,2,0)(9,3,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(2,0)(2,0)(3,1) =\psi((2~1-)^{1@_2(1,0),,\{1@(1@_2(2)\}@_2((2~1-)^{1@_2(1,0),,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)(4,2,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)(7,3,0)(8,3,0)(9,1,0)(8,2,0)(9,3,0)(10,3,0)(11,1,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(2,0)(2,1) =\psi((2~1-)^{1@_2(1,0),,\{1@(1@_2(1,0))\}@_2((2~1-)^{1@_2(1,0),,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)(4,2,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)(7,3,0)(8,3,0)(9,1,0)(8,2,0)(9,3,0)(10,3,0)(11,2,0)(5,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(2,0)(2,1)(1,0)(2,1)(2,1)(2,0)(2,1) =\psi((2~1-)^{1@_2(1,0),,\{2@(1@_2(1,0))\}@_2((2~1-)^{1@_2(1,0),,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)(4,2,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)(7,3,0)(8,3,0)(9,1,0)(8,2,0)(9,3,0)(10,3,0)(11,2,0)(9,3,0)(10,3,0)(11,2,0)(5,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(2,0)(2,1)(1,1) =\psi((2~1-)^{1@_2(1,0),,\{1@(1@_2(1,0),,1@_20)\}@_2((2~1-)^{1@_2(1,0),,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)(4,2,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)(7,3,0)(8,3,0)(9,1,0)(8,2,0)(9,3,0)(10,3,0)(11,2,0)(10,2,0)(5,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(2,0)(2,1)(2,0)(2,0)(3,1)(3,1)(3,0)(3,1)(2,0)(3,0) =\psi((2~1-)^{1@_2(1,0),,1@_2(\mathrm{Ord~aft~}(2~1-)^{1@_2(1,0),,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)(4,2,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)(7,3,0)(8,3,0)(9,1,0)(8,3,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(2,0)(2,1)(2,0)(2,1) =\psi((2~1-)^{1@_2(1,0),,1@_2(\mathrm{2~aft~}(2~1-)^{1@_2(1,0),,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)(4,2,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)(7,3,0)(8,3,0)(9,2,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(2,0)(2,1)(2,0)(3,1)(3,1) =\psi((2~1-)^{1@_2(1,0),,1@_2(\mathrm{2nd~}(2~1-)^{1@_2(1,0),,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)(4,2,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)(7,3,0)(8,3,0)(9,2,0)(4,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(2,0)(2,1)(2,0)(3,1)(3,1)(2,0)(3,0) =\psi((2~1-)^{1@_2(1,0),,1@_2(1-(2~1-)^{1@_2(1,0),,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)(4,2,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,1)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,0)(2,1)(2,1)(2,0)(2,1)(2,0)(3,1)(3,1)(2,0)(3,0)(4,0) =\psi((2~1-)^{1@_2(1,0),,1@_2((2~1-)^{1@_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)(4,2,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)(4,2,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,1) =\psi((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)(4,2,0)(5,2,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(1,1)(1,1)(1,0)(1,1)(1,1) =\psi((2~1-)^{3@_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)(4,2,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,0)(2,0) =\psi((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)(5,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(1,1) =\psi((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)(5,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(1,1)(1,0)(1,1)(1,1) =\psi((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,1,0)(4,2,0)(5,2,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(1,1)(1,0)(1,1)(1,1)(1,0)(2,0)(1,1) =\psi((2~1-)^{\{2,0\}@_2(1,0)}) =\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)(4,2,0)(5,2,0)(6,1,0)(5,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(1,1)(1,0)(2,0) =\psi((2~1-)^{\{\omega,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)(5,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(1,1)(1,0)(2,0)(1,1) =\psi((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)(5,1,0)(5,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(1,1)(1,0)(2,0)(1,1)(1,0)(1,1)(1,1)(1,0)(2,0)(1,1)(1,0)(2,0)(1,1) =\psi((2~1-)^{\{2,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)(5,1,0)(5,1,0)(4,2,0)(5,2,0)(6,1,0)(5,1,0)(5,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(1,1)(1,0)(2,0)(1,1)(1,0)(2,0)(1,1) =\psi((2~1-)^{\{1,0,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)(5,1,0)(5,1,0)(5,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(1,1)(1,0)(2,0)(2,0) =\psi((2~1-)^{\{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)(5,1,0)(6,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(1,1)(1,0)(2,0)(2,0)(1,1) =\psi((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)(5,1,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(1,1)(1,0)(2,0)(3,0) =\psi((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)(5,1,0)(6,2,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(1,1)(1,0)(2,1)(2,1) =\psi((2~1-)^{\{1@(1@_2((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)(5,1,0)(6,2,0)(7,2,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)(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)(8,2,0)(9,3,0)(10,3,0)(11,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,0)(2,0)(1,1)(1,1) =\psi((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,1,0)(6,2,0)(7,2,0)(8,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(1,1)(1,1)(1,0)(1,1)(1,1) =\psi((2~1-)^{\{1@(1@_2(1,0)),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)(4,2,0)(5,2,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(1,1)(1,1)(1,0)(1,1)(1,1) =\psi((2~1-)^{\{1@(1@_2(1,0),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)(4,2,0)(5,2,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(1,1)(1,1)(1,0)(1,1)(1,1)(1,0)(2,0)(1,1)(1,1) =\psi((2~1-)^{\{2@(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,1,0)(6,2,0)(7,2,0)(8,1,0)(4,2,0)(5,2,0)(6,1,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)(1,1)(1,1)(1,0)(2,0)(1,1) =\psi((2~1-)^{\{1@(1@_2(1,0),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,1,0)(6,2,0)(7,2,0)(8,1,0)(5,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(1,1)(1,1)(1,0)(2,0)(1,1)(1,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)(5,1,0)(6,2,0)(7,2,0)(8,1,0)(6,2,0)(7,2,0)(8,1,0)(2,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(2,0) =\psi((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)(5,1,0)(6,2,0)(7,2,0)(8,1,0)(7,0,0)}\\&(0,0)(1,1)(1,1)(1,0)(2,0)(2,0)(1,1) =\psi((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)(5,1,0)(6,2,0)(7,2,0)(8,1,0)(7,1,0)(2,0,0)}\end{align}