BHM分析Part10

本条目展示BHM分析的第十部分，使用$BMS$对照

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

\begin{align}s\\&(0,0)(1,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,2,0)}\\&(0,0)(1,1)(2,2)(1,0)(1,0)(2,1)(3,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)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,2,0)}\\&(0,0)(1,1)(2,2)(1,0)(1,1) =\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)(2,1,0)(3,2,0)(4,2,0)(5,2,0)}\\&(0,0)(1,1)(2,2)(1,0)(1,1)(1,0)(2,1)(3,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)(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,3,0)}\\&(0,0)(1,1)(2,2)(1,0)(1,1)(1,0)(2,1)(3,2)(1,0)(2,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,2,0)(2,1,1)(3,1,1)}\\&(0,0)(1,1)(2,2)(1,0)(1,1)(1,0)(2,1)(3,2)(1,0)(2,0)(1,1)(1,0)(2,1)(3,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)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,2,0)}\\&(0,0)(1,1)(2,2)(1,0)(1,1)(1,0)(2,1)(3,2)(1,0)(2,0)(3,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,2,0)(4,2,0)}\\&(0,0)(1,1)(2,2)(1,0)(1,1)(1,0)(2,1)(3,2)(1,0)(2,1)(3,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)(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,2,0)}\\&(0,0)(1,1)(2,2)(1,0)(1,1)(1,1) =\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)(4,2,0)(5,2,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(2,2)(1,0)(1,1)(2,1)(2,1) =\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)(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,2)(1,0)(1,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,2,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,2,0)}\\&(0,0)(1,1)(2,2)(1,0)(2,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,2,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,2,0)(5,0,0)}\\&(0,0)(1,1)(2,2)(1,0)(2,0)(3,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,2,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,2,0)(5,2,0)}\\&(0,0)(1,1)(2,2)(1,1) =\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)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,2,0)(5,2,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(2,2)(1,1)(1,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,2,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,2,0)}\\&(0,0)(1,1)(2,2)(1,1)(2,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,2,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,2,0)(6,0,0)}\\&(0,0)(1,1)(2,2)(1,1)(2,0)(1,1)(2,1) =\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)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,2,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(2,2)(1,1)(2,0)(1,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,2,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,2,0)(6,1,0)(7,2,0)(8,2,0)(9,2,0)}\\&(0,0)(1,1)(2,2)(1,1)(2,0)(3,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,2,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,2,0)(7,2,0)}\\&(0,0)(1,1)(2,2)(1,1)(2,1) =\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)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,2,0)(7,2,0)(8,2,0)(9,1,0)(2,0,0)}\\&(0,0)(1,1)(2,2)(1,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,2,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,2,0)(7,2,0)(8,2,0)(9,1,0)(10,2,0)(11,2,0)(12,2,0)}\\&(0,0)(1,1)(2,2)(2,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,2,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,2,0)(7,2,0)(8,2,0)(9,1,0)(10,2,0)(11,2,0)(12,2,0)(8,0,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1) =\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)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,2,0)(7,2,0)(8,2,0)(9,1,0)(10,2,0)(11,2,0)(12,2,0)(8,1,0)(2,0,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(2,0)(3,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,2,0)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,2,0)(7,2,0)(8,2,0)(9,1,0)(10,2,0)(11,2,0)(12,2,0)(8,2,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,1)(4,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)(4,2,0)(5,2,0)(6,1,0)(7,2,0)(8,2,0)(9,2,0)(7,2,0)(8,2,0)(9,1,0)(10,2,0)(11,2,0)(12,2,0)(8,2,0)(9,1,0)(10,2,0)(11,2,0)(12,2,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,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)(4,2,0)(5,2,0)(6,2,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(2,1)(3,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)(4,2,0)(5,2,0)(6,2,0)(4,2,0)(5,2,0)(6,2,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(3,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,2,0)(5,0,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(3,0)(2,1) =\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)(5,1,0)(2,0,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(3,0)(2,1)(3,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)(5,2,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(3,0)(2,1)(3,2)(2,0)(2,1)(3,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)(5,2,0)(4,2,0)(5,2,0)(6,2,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(3,0)(2,1)(3,2)(2,0)(2,1)(3,2)(2,0)(3,0)(2,1)(3,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)(5,2,0)(4,2,0)(5,2,0)(6,2,0)(5,2,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(3,0)(2,1)(3,2)(2,0)(3,0)(2,1)(3,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)(5,2,0)(5,2,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(3,0)(3,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,2,0)(5,2,0)(6,0,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(3,0)(3,0)(2,1)(3,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)(5,2,0)(6,2,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(3,0)(3,0)(2,1)(3,2)(2,0)(3,0)(2,1)(3,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)(5,2,0)(6,2,0)(5,2,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(3,0)(3,0)(2,1)(3,2)(2,0)(3,0)(2,1)(3,2)(2,0)(3,0)(3,0)(2,1)(3,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)(5,2,0)(6,2,0)(5,2,0)(6,2,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(3,0)(3,0)(2,1)(3,2)(2,0)(3,0)(3,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,2,0)(6,0,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(3,0)(3,0)(2,1)(3,2)(2,0)(3,0)(3,0)(2,1)(3,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)(6,2,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(3,0)(3,0)(3,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,2,0)(7,0,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(3,0)(3,0)(3,0)(2,1)(3,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)(7,2,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(3,0)(4,0) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(3,0)(4,0)(2,0)(3,0)(4,0) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(5,3,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(3,0)(4,0)(2,0)(3,1) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,1,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(3,0)(4,0)(2,1) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(3,0)(4,0)(2,1)(3,2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,2,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(3,0)(4,0)(3,0) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,2,0)(7,0,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(3,0)(4,0)(3,0)(2,1)(3,2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,2,0)(7,2,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(3,0)(4,0)(3,0)(3,0)(4,0) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,2,0)(7,3,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(3,0)(4,0)(3,0)(4,0) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,3,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,0)(3,1) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,3,0)(7,1,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,1) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,3,0)(7,1,0)(2,0,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,1)(3,2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,3,0)(7,2,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(2,1)(3,2)(2,1)(3,2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,3,0)(7,2,0)(5,3,0)(6,3,0)(7,2,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(3,0) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,3,0)(7,2,0)(6,0,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(3,0)(3,1) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,3,0)(7,2,0)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(3,0)(3,1)(4,2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,3,0)(7,2,0)(6,2,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(3,0)(3,1)(4,2)(3,0)(4,0) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,3,0)(7,2,0)(6,3,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(3,0)(3,1)(4,2)(3,0)(4,0)(3,0)(4,0) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,3,0)(7,2,0)(6,3,0)(6,3,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(3,0)(3,1)(4,2)(3,0)(4,0)(3,1)(4,2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,3,0)(7,2,0)(6,3,0)(7,2,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(3,0)(3,1)(4,2)(3,0)(4,0)(5,0) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,3,0)(7,2,0)(8,3,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(3,0)(3,1)(4,2)(3,1)(4,2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,3,0)(7,2,0)(8,3,0)(9,3,0)(10,2,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,1)(3,2)(3,0)(3,1)(4,2)(4,0)(4,1)(5,2)(4,0)(5,0) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,3,0)(7,2,0)(8,3,0)(9,3,0)(10,2,0)(9,3,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,3,0)(7,3,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,2)(2,0)(2,1)(3,2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,3,0)(7,3,0)(4,2,0)(5,2,0)(6,2,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,2)(2,0)(2,1)(3,2)(2,0)(3,0)(4,0) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,3,0)(7,3,0)(4,2,0)(5,3,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,2)(2,0)(2,1)(3,2)(2,1)(3,2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,3,0)(7,3,0)(4,2,0)(5,3,0)(6,3,0)(7,2,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,2)(2,0)(2,1)(3,2)(3,0)(3,1)(4,2)(4,0)(4,2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,3,0)(7,3,0)(4,2,0)(5,3,0)(6,3,0)(7,3,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,2)(2,0)(2,1)(3,2)(3,0)(3,1)(4,2)(4,0)(4,2)(2,0)(3,0)(4,0) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,3,0)(7,3,0)(5,3,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,2)(2,0)(2,1)(3,2)(3,0)(3,1)(4,2)(4,0)(4,2)(2,1)(3,2)(3,0)(3,1)(4,2)(4,0)(4,2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,3,0)(7,3,0)(5,3,0)(6,3,0)(7,2,0)(8,3,0)(9,3,0)(10,3,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,2)(2,0)(2,1)(3,2)(3,0)(3,2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,3,0)(7,3,0)(5,3,0)(6,3,0)(7,3,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,2)(2,0)(2,1)(3,2)(3,0)(3,2)(2,0)(3,0)(4,0) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,4,0)}\\&(0,0)(1,1)(2,2)(2,0)(2,2)(2,0)(2,2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,3,0)(6,4,0)(7,4,0)(8,4,0)}\\&(0,0)(1,1)(2,2)(2,0)(3,0) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)}\\&(0,0)(1,1)(2,2)(2,0)(3,0)(2,0)(2,2)(2,0)(3,0) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,0)(6,3,1)}\\&(0,0)(1,1)(2,2)(2,0)(3,0)(2,0)(3,0) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)}\\&(0,0)(1,1)(2,2)(2,0)(3,0)(2,0)(3,0)(3,0) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,0,0)}\\&(0,0)(1,1)(2,2)(2,0)(3,0)(2,1) =\color{#888888}{(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)}\\&(0,0)(1,1)(2,2)(2,0)(3,0)(2,1)(3,2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)}\\&(0,0)(1,1)(2,2)(2,0)(3,0)(2,1)(3,2)(3,0)(4,0) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)(4,2,1)}\\&(0,0)(1,1)(2,2)(2,0)(3,0)(2,1)(3,2)(3,0)(4,0)(3,1) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)(4,2,1)(5,2,1)(6,1,0)(2,0,0)}\\&(0,0)(1,1)(2,2)(2,0)(3,0)(2,1)(3,2)(3,0)(4,0)(3,1)(4,2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)(4,2,1)(5,2,1)(6,2,0)}\\&(0,0)(1,1)(2,2)(2,0)(3,0)(2,2) =\color{#888888}{(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)}\\&(0,0)(1,1)(2,2)(2,0)(3,0)(2,2)(2,0)(2,1)(3,2)(3,0)(4,0)(3,2)(2,0)(3,0)(4,0) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)(7,3,0)}\\&(0,0)(1,1)(2,2)(2,0)(3,0)(2,2)(2,0)(2,2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)(7,3,0)(8,4,0)(9,4,0)(10,4,0)}\\&(0,0)(1,1)(2,2)(2,0)(3,0)(2,2)(2,0)(2,2)(2,0)(3,0)(2,2) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,0)(7,3,1)(8,3,1)(9,3,0)(8,0,0)}\\&(0,0)(1,1)(2,2)(2,0)(3,0)(2,2)(2,0)(3,0) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,1)(5,2,1)(6,2,1)}\\&(0,0)(1,1)(2,2)(2,0)(3,0)(2,2)(2,0)(3,0)(2,2) =\color{#888888}{(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)}\\&(0,0)(1,1)(2,2)(2,0)(3,0)(3,0) =\color{#888888}{(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)}\\&(0,0)(1,1)(2,2)(2,0)(3,0)(3,0)(2,2) =\color{#888888}{(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)}\\&(0,0)(1,1)(2,2)(2,0)(3,0)(4,0) =\color{#888888}{(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)}\\&(0,0)(1,1)(2,2)(2,0)(3,1) =\color{#888888}{(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,3,0)(9,1,0)}\\&(0,0)(1,1)(2,2)(2,0)(3,1)(4,2) =\color{#888888}{(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,3,0)(9,1,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,2,0)}\\&(0,0)(1,1)(2,2)(2,1) =\color{#888888}{(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,3,0)(9,1,0)(2,0,0)}\\&(0,0)(1,1)(2,2)(2,1)(3,2) =\color{#888888}{(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,3,0)(9,2,0)}\\&(0,0)(1,1)(2,2)(2,2) =\color{#888888}{(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,3,0)(9,2,0)(5,0,0)}\\&(0,0)(1,1)(2,2)(2,2)(2,0)(2,2) =\color{#888888}{(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,3,0)(9,2,0)(5,2,1)(6,2,0)(7,3,0)(8,3,0)(9,3,0)}\\&(0,0)(1,1)(2,2)(2,2)(2,0)(2,2)(2,0)(3,0)(4,0) =\color{#888888}{(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,3,0)(9,2,0)(5,2,1)(6,2,0)(7,3,1)(8,3,1)(9,3,1)(9,3,0)(10,4,0)}\\&(0,0)(1,1)(2,2)(2,2)(2,0)(2,2)(2,1) =\color{#888888}{(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,3,0)(9,2,0)(5,2,1)(6,2,0)(7,3,1)(8,3,1)(9,3,1)(9,3,0)(10,4,0)(11,4,0)(12,1,0)}\\&(0,0)(1,1)(2,2)(2,2)(2,0)(2,2)(2,1)(3,2) =\color{#888888}{(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,3,0)(9,2,0)(5,2,1)(6,2,0)(7,3,1)(8,3,1)(9,3,1)(9,3,0)(10,4,0)(11,4,0)(12,2,0)}\\&(0,0)(1,1)(2,2)(2,2)(2,0)(2,2)(2,1)(3,2)(3,0)(3,2) =\color{#888888}{(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,3,0)(9,2,0)(5,2,1)(6,2,0)(7,3,1)(8,3,1)(9,3,1)(9,3,0)(10,4,0)(11,4,0)(12,3,0)}\\&(0,0)(1,1)(2,2)(2,2)(2,0)(2,2)(2,1)(3,2)(3,2) =\color{#888888}{(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,3,0)(9,2,0)(5,2,1)(6,2,0)(7,3,1)(8,3,1)(9,3,1)(9,3,0)(10,4,0)(11,4,0)(12,3,0)(8,0,0)}\\&(0,0)(1,1)(2,2)(2,2)(2,0)(2,2)(2,1)(3,2)(3,2)(2,0)(3,0) =\color{#888888}{(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,3,0)(9,2,0)(5,2,1)(6,2,1)}\\&(0,0)(1,1)(2,2)(2,2)(2,0)(2,2)(2,1)(3,2)(3,2)(2,0)(3,0)(3,0) =\color{#888888}{(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,3,0)(9,2,0)(7,3,0)}\\&(0,0)(1,1)(2,2)(2,2)(2,0)(2,2)(2,2) =\color{#888888}{(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,3,0)(9,2,0)(7,3,0)(8,3,0)(9,2,0)(5,0,0)}\\&(0,0)(1,1)(2,2)(2,2)(2,0)(3,0) =\color{#888888}{(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,3,0)(9,2,0)(8,0,0)}\\&(0,0)(1,1)(2,2)(2,2)(2,0)(3,0)(2,2) =\color{#888888}{(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,3,0)(9,2,0)(8,2,0)(5,0,0)}\\&(0,0)(1,1)(2,2)(2,2)(2,0)(3,0)(2,2)(2,2) =\color{#888888}{(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,3,0)(9,2,0)(8,2,0)(9,3,0)(10,3,0)(11,2,0)(5,0,0)}\\&(0,0)(1,1)(2,2)(2,2)(2,0)(3,0)(3,0) =\color{#888888}{(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,3,0)(9,2,0)(8,2,0)(9,3,0)(10,3,0)(11,2,0)(10,0,0)}\\&(0,0)(1,1)(2,2)(2,2)(2,0)(3,0)(3,0)(2,2)(2,2) =\color{#888888}{(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,3,0)(9,2,0)(8,2,0)(9,3,0)(10,3,0)(11,2,0)(10,2,0)(11,3,0)(12,3,0)(13,2,0)(5,0,0)}\\&(0,0)(1,1)(2,2)(2,2)(2,0)(3,0)(4,0) =\color{#888888}{(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,3,0)(9,2,0)(8,3,0)}\\&(0,0)(1,1)(2,2)(2,2)(2,1) =\color{#888888}{(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,3,0)(9,2,0)(8,3,0)(9,1,0)(2,0,0)}\\&(0,0)(1,1)(2,2)(2,2)(2,2) =\color{#888888}{(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,3,0)(9,2,0)(8,3,0)(9,2,0)(5,0,0)}\\&(0,0)(1,1)(2,2)(3,0) =\color{#888888}{(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,3,0)(9,2,0)(9,0,0)}\\&(0,0)(1,1)(2,2)(3,0)(4,1)(5,2) =\color{#888888}{(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,3,0)(9,2,0)(9,1,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)(5,2,0)(6,2,0)}\\&(0,0)(1,1)(2,2)(3,1) =\color{#888888}{(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,3,0)(9,2,0)(9,1,0)(2,0,0)}\\&(0,0)(1,1)(2,2)(3,1)(4,2) =\color{#888888}{(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,3,0)(9,2,0)(9,2,0)}\\&(0,0)(1,1)(2,2)(3,2) =\color{#888888}{(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,3,0)(9,2,0)(9,2,0)(5,0,0)}\\&(0,0)(1,1)(2,2)(3,2)(2,2)(3,2) =\color{#888888}{(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,3,0)(9,2,0)(10,3,0)(11,3,0)(12,2,0)(5,0,0)}\\&(0,0)(1,1)(2,2)(3,2)(3,0)(3,2) =\color{#888888}{(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,3,0)(9,2,0)(10,3,0)(11,3,0)(12,2,0)(11,2,0)(5,0,0)}\\&(0,0)(1,1)(2,2)(3,2)(3,0)(4,0) =\color{#888888}{(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,3,0)(9,2,0)(10,3,0)(11,3,0)(12,2,0)(11,3,0)}\\&(0,0)(1,1)(2,2)(3,2)(3,0)(4,0)(5,0) =\color{#888888}{(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,3,0)(9,2,0)(10,3,0)(11,3,0)(12,2,0)(13,3,0)}\\&(0,0)(1,1)(2,2)(3,2)(3,2) =\color{#888888}{(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,3,0)(9,2,0)(10,3,0)(11,3,0)(12,2,0)(13,3,0)(14,3,0)(15,2,0)(5,0,0)}\\&(0,0)(1,1)(2,2)(3,2)(4,2) =\color{#888888}{(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,3,0)(9,2,0)(10,3,0)(11,3,0)(12,2,0)(13,3,0)(14,3,0)(15,2,0)(15,2,0)(5,0,0)}\\&(0,0)(1,1)(2,2)(3,3) =\color{#888888}{(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,3,0)(9,3,0)}\\&(0,0)(1,1)(2,2)(3,3)(3,0)(3,2)(4,3) =\color{#888888}{(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,3,0)(9,3,0)(7,3,0)(8,3,0)(9,3,0)}\\&(0,0)(1,1)(2,2)(3,3)(3,0)(3,2)(4,3)(3,0)(4,0)(5,0) =\color{#888888}{(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)}\\&(0,0)(1,1)(2,2)(3,3)(3,0)(3,2)(4,3)(3,1) =\color{#888888}{(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)(9,4,0)(10,1,0)(2,0,0)}\\&(0,0)(1,1)(2,2)(3,3)(3,0)(3,2)(4,3)(3,1)(4,2) =\color{#888888}{(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)(9,4,0)(10,2,0)}\\&(0,0)(1,1)(2,2)(3,3)(3,0)(3,2)(4,3)(3,2) =\color{#888888}{(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)(9,4,0)(10,2,0)(5,0,0)}\\&(0,0)(1,1)(2,2)(3,3)(3,0)(3,2)(4,3)(3,2)(4,3) =\color{#888888}{(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)(9,4,0)(10,3,0)}\\&(0,0)(1,1)(2,2)(3,3)(3,0)(3,3) =\color{#888888}{(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)(9,4,0)(10,4,0)}\\&(0,0)(1,1)(2,2)(3,3)(3,0)(4,0) =\color{#888888}{(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)}\\&(0,0)(1,1)(2,2)(3,3)(3,0)(4,0)(3,1) =\color{#888888}{(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,1,0)(2,0,0)}\\&(0,0)(1,1)(2,2)(3,3)(3,0)(4,0)(3,3) =\color{#888888}{(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)}\\&(0,0)(1,1)(2,2)(3,3)(3,0)(4,0)(3,3)(3,0)(4,0) =\color{#888888}{(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)}\\&(0,0)(1,1)(2,2)(3,3)(3,0)(4,0)(4,0) =\color{#888888}{(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,0,0)}\\&(0,0)(1,1)(2,2)(3,3)(3,0)(4,0)(5,0) =\color{#888888}{(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)}\\&(0,0)(1,1)(2,2)(3,3)(3,3) =\color{#888888}{(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)(11,4,0)(12,3,0)}\\&(0,0)(1,1)(2,2)(3,3)(4,4) =\color{#888888}{(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)(11,4,0)(12,4,0)}\\&\huge{(0,0,0)(1,1,1) =\color{#888888}{(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)}}\end{align}