Laver Table：修订间差异

2025年8月31日 (日) 10:42的版本

Laver 表是一种无限族的原群，它们产生了一个可能增长极快的函数。它们由理查德·拉弗（Richard Laver）于 1992 年首次定义。^[1]

定义

Laver 表基于以下定理：对于每个 $n \geq 0$ ，在有限序数集 ${1, \dots, 2^{n}}$ 上存在唯一的二元运算 $⋆_{n}$ ，^[2]满足：

\begin{eqnarray*}a \star_n 0 & = & 0 \\a \star_n 1 & = & (a+1) \mod 2^n \\a \star_n i & = & (a \star_n (i-1)) \star_n (a \star_n 1) \ (i \neq 0,1)\end{eqnarray*}

Laver 表 $A_{n}$ 定义为唯一的取值为 $a ⋆_{n} b$ 的 $2^{n} \times 2^{n}$ 表。Laver 表可以用此^[3]进行计算。

注意这一定理仅适用于 2 的幂。假如我们考虑的二元运算作用于一般的 ${1, \dots, a}$ 上，其中 $a \neq 2^{n}$ ，则这样的二元运算 $⋆_{n}$ 将不是存在且唯一的。

我们定义函数 $a \mapsto 1 ⋆_{n} a$ 的周期为 p(n)。

定义 q(n) 为函数 p(n) 的“伪逆”，即 $q (n) = \min {N | p (N) \geq 2^{n}}$ 。

强度

p(n) 的前几个值为1, 1, 2, 4, 4, 8, 8, 8, 8, 16, 16, 16, 16, …，^[4]这是一个增长缓慢的函数。

p 在 ZFC+存在 rank-into-rank 基数（或 ZFC+I3）的公理系统中被证明是发散的。但遗憾的是，后者这一公理过于强大，以至于少数专家对其系统的相容性存疑。由于 p 的发散性尚未通过其他方式证明，这仍是一个未解问题。用 googology 更熟悉（但是并不严格）的说法，我们目前认为 q(n) 的增长率的上界为 PTO(ZFC+I3)。

q 是一个快速增长的函数，其全域性当且仅当 p 发散。q(n) 的前几个值为 0, 2, 3, 5, 9。尽管 n≥5 时 q(n) 的存在性尚未被确认，但在上述公理假设下，Randall Dougherty 证明，在快速生长层次结构的一个稍作修改的版本中， $q^{n} (1) > f_{ω + 1} (⌊ \log_{3} n ⌋ - 1)$ ，且 $q (5) > f_{9} (f_{8} (f_{8} (254)))$ 。^[5]Dougherty 对证明更优下界的可能性表示悲观，目前也没有更严格的上界已知。Laver 表是可计算的，因此 q(n)在较小时会被忙碌海狸函数 Σ(n) 超越。

Patrick Dehornoy 提供了一种填充 Laver 表的简单算法。^[6]然而，每个表格的大小以及 $⋆$ 运算所定义的循环群的规模都呈指数级增长，因此这目前是一个NP问题。

q(6) 的预期规模非常大[6]，但除了“证明可计算函数全域所需的集合论强度”外，没有给出其他理由或证明。然而，一个可计算函数f并不需要超过所有在已知需要证明该函数全域的集合论中可证明全域的可计算函数。

创建缩略图出错：图像类型不支持

第六个 Laver 表的灰度图

解释

对于极限序数 $λ$ ，设 $ℰ_{λ}$ 为所有初等嵌入 $V_{λ} \mapsto V_{λ}$ 的集合。对 $j, k \in ℰ_{λ}$ ，我们定义运算符 $j \cdot k$ （或记为 $j k$ ）如下：

$j \cdot k = ⋃_{α < λ} j (k \cap V_{α})$

此处， $k \cap V_{α}$ 表示 $k$ 在集合 ${x \in V_{α} ∣ (x, k (x)) \in V_{α}}$ 上的限制。虽然 $k$ 本身不属于 $j$ 的定义域 $V_{λ}$ ，但 $k \cap V_{α}$ 是它的元素。这一操作可理解为“对逐渐接近 $V_{λ}$ 的 $k$ 应用 $j$ ”。该运算符满足性质 $j (k l) = (j k) (j l)$ ，此性质被称为左自分布性（left-selfdistributivity）。已知 Laver 表与通过临界点关联到 $ℰ_{λ}$ 的原群同构，因此与大基数公理密切相关。

取值

Laver 表

以下展示了前 6 个 Laver 表。^[6]

$⋆_{0}$ 的 Laver 表
	1
1	1

$⋆_{1}$ 的 Laver 表
	1	2
1	2	2
2	1	2

$⋆_{2}$ 的 Laver 表
	1	2	3	4
1	2	4	2	4
2	3	4	2	4
3	4	4	4	4
4	1	2	3	4

$⋆_{3}$ 的 Laver 表
	1	2	3	4	5	6	7	8
1	2	4	6	8	2	4	6	8
2	3	4	7	8	3	4	7	8
3	4	8	4	8	4	8	4	8
4	5	6	7	8	5	6	7	8
5	6	8	6	8	6	8	6	8
6	7	8	7	8	7	8	7	8
7	8	8	8	8	8	8	8	8
8	1	2	3	4	5	6	7	8

$⋆_{4}$ 的 Laver 表
	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16
1	2	12	14	16	2	12	14	16	2	12	14	16	2	12	14	16
2	3	12	15	16	3	12	15	16	3	12	15	16	3	12	15	16
3	4	8	12	16	4	8	12	16	4	8	12	16	4	8	12	16
4	5	6	7	8	13	14	15	16	5	6	7	8	13	14	15	16
5	6	8	14	16	6	8	14	16	6	8	14	16	6	8	14	16
6	7	8	15	16	7	8	15	16	7	8	15	16	7	8	15	16
7	8	16	8	16	8	16	8	16	8	16	8	16	8	16	8	16
8	9	10	11	12	13	14	15	16	9	10	11	12	13	14	15	16
9	10	12	14	16	10	12	14	16	10	12	14	16	10	12	14	16
10	11	12	15	16	11	12	15	16	11	12	15	16	11	12	15	16
11	12	16	12	16	12	16	12	16	12	16	12	16	12	16	12	16
12	13	14	15	16	13	14	15	16	13	14	15	16	13	14	15	16
13	14	16	14	16	14	16	14	16	14	16	14	16	14	16	14	16
14	15	16	15	16	15	16	15	16	15	16	15	16	15	16	15	16
15	16	16	16	16	16	16	16	16	16	16	16	16	16	16	16	16
16	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16

$⋆_{5}$ 的 Laver 表
	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32
1	2	12	14	16	18	28	30	32	2	12	14	16	18	28	30	32	2	12	14	16	18	28	30	32	2	12	14	16	18	28	30	32
2	3	12	15	16	19	28	31	32	3	12	15	16	19	28	31	32	3	12	15	16	19	28	31	32	3	12	15	16	19	28	31	32
3	4	8	12	16	20	24	28	32	4	8	12	16	20	24	28	32	4	8	12	16	20	24	28	32	4	8	12	16	20	24	28	32
4	5	6	7	8	13	14	15	16	21	22	23	24	29	30	31	32	5	6	7	8	13	14	15	16	21	22	23	24	29	30	31	32
5	6	24	30	32	6	24	30	32	6	24	30	32	6	24	30	32	6	24	30	32	6	24	30	32	6	24	30	32	6	24	30	32
6	7	24	31	32	7	24	31	32	7	24	31	32	7	24	31	32	7	24	31	32	7	24	31	32	7	24	31	32	7	24	31	32
7	8	16	24	32	8	16	24	32	8	16	24	32	8	16	24	32	8	16	24	32	8	16	24	32	8	16	24	32	8	16	24	32
8	9	10	11	12	13	14	15	16	25	26	27	28	29	30	31	32	9	10	11	12	13	14	15	16	25	26	27	28	29	30	31	32
9	10	28	30	32	10	28	30	32	10	28	30	32	10	28	30	32	10	28	30	32	10	28	30	32	10	28	30	32	10	28	30	32
10	11	28	31	32	11	28	31	32	11	28	31	32	11	28	31	32	11	28	31	32	11	28	31	32	11	28	31	32	11	28	31	32
11	12	16	28	32	12	16	28	32	12	16	28	32	12	16	28	32	12	16	28	32	12	16	28	32	12	16	28	32	12	16	28	32
12	13	14	15	16	29	30	31	32	13	14	15	16	29	30	31	32	13	14	15	16	29	30	31	32	13	14	15	16	29	30	31	32
13	14	16	30	32	14	16	30	32	14	16	30	32	14	16	30	32	14	16	30	32	14	16	30	32	14	16	30	32	14	16	30	32
14	15	16	31	32	15	16	31	32	15	16	31	32	15	16	31	32	15	16	31	32	15	16	31	32	15	16	31	32	15	16	31	32
15	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32
16	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32
17	18	28	30	32	18	28	30	32	18	28	30	32	18	28	30	32	18	28	30	32	18	28	30	32	18	28	30	32	18	28	30	32
18	19	28	31	32	19	28	31	32	19	28	31	32	19	28	31	32	19	28	31	32	19	28	31	32	19	28	31	32	19	28	31	32
19	20	24	28	32	20	24	28	32	20	24	28	32	20	24	28	32	20	24	28	32	20	24	28	32	20	24	28	32	20	24	28	32
20	21	22	23	24	29	30	31	32	21	22	23	24	29	30	31	32	21	22	23	24	29	30	31	32	21	22	23	24	29	30	31	32
21	22	24	30	32	22	24	30	32	22	24	30	32	22	24	30	32	22	24	30	32	22	24	30	32	22	24	30	32	22	24	30	32
22	23	24	31	32	23	24	31	32	23	24	31	32	23	24	31	32	23	24	31	32	23	24	31	32	23	24	31	32	23	24	31	32
23	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32
24	25	26	27	28	29	30	31	32	25	26	27	28	29	30	31	32	25	26	27	28	29	30	31	32	25	26	27	28	29	30	31	32
25	26	28	30	32	26	28	30	32	26	28	30	32	26	28	30	32	26	28	30	32	26	28	30	32	26	28	30	32	26	28	30	32
26	27	28	31	32	27	28	31	32	27	28	31	32	27	28	31	32	27	28	31	32	27	28	31	32	27	28	31	32	27	28	31	32
27	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32
28	29	30	31	32	29	30	31	32	29	30	31	32	29	30	31	32	29	30	31	32	29	30	31	32	29	30	31	32	29	30	31	32
29	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32
30	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32
31	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32
32	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32

q 函数

事实上 $p (n)$ 是一个增长速度非常缓慢的函数。

我们有

$q (0) = 0$
$q (1) = 2$
$q (2) = 3$
$q (3) = 5$
$q (4) = 9$
$q (5) > f_{9} (f_{8} (f_{8} (254)))$ ，其中这里的 FGH 改版定义为 $f_{α + 1} (n) = f_{α}^{n + 1} (n)$

参考资料

↑ Laver, Richard. On the Algebra of Elementary Embeddings of a Rank into Itself. Retrieved 2014-08-23.
↑ Biane, Philippe. https://hal.archives-ouvertes.fr/hal-01883830/file/Laver-Tables.pdf.
↑ 猫山にゃん太. Laver table - レイバーのテーブル[EB/OL]. 2022. https://n-nekoyama.github.io/googology/laver_table/.
↑ OEIS A098820
↑ Dougherty, Randall. Critical points in an algebra of elementary embeddings. Retrieved 2014-08-23.
↑ ^6.0 ^6.1 Dehornoy, Patrick. Laver Tables (starting on slide 26). Retrieved 2018-12-11.

[1] Laver, Richard. On the Algebra of Elementary Embeddings of a Rank into Itself. Retrieved 2014-08-23.

[2] Biane, Philippe. https://hal.archives-ouvertes.fr/hal-01883830/file/Laver-Tables.pdf.

[3] 猫山にゃん太. Laver table - レイバーのテーブル[EB/OL]. 2022. https://n-nekoyama.github.io/googology/laver_table/.

[4] OEIS A098820

[5] Dougherty, Randall. Critical points in an algebra of elementary embeddings. Retrieved 2014-08-23.

[:0-6] 6.0 ^6.1 Dehornoy, Patrick. Laver Tables (starting on slide 26). Retrieved 2018-12-11.

[1]

[2]

[3]

[4]

[5]

[6]

@@ 第1行： / 第1行： @@
-Laver 表（Laver Table）是 Richard Laver 在 1992 年提出的一个增长速度很快的表。<ref>Laver, Richard. [http://arxiv.org/abs/math.LO/9204204 On the Algebra of Elementary Embeddings of a Rank into Itself]. Retrieved 2014-08-23. </ref>
+Laver 表是一种无限族的原群，它们产生了一个可能增长极快的函数。它们由理查德·拉弗（Richard Laver）于 1992 年首次定义。<ref>Laver, Richard. [http://arxiv.org/abs/math.LO/9204204 On the Algebra of Elementary Embeddings of a Rank into Itself]. Retrieved 2014-08-23. </ref>
 === 定义 ===
-考虑作用于 <math>\{1,\cdots,2^n\}</math> 上的二元运算 <math>\star_n</math>，它满足如下条件：
+Laver 表基于以下定理：对于每个<math>n\geq0</math>，在有限序数集 <math>\{1,\cdots,2^n\}</math> 上存在唯一的二元运算 <math>\star_n</math>，<ref>Biane, Philippe. [https://hal.archives-ouvertes.fr/hal-01883830/file/Laver-Tables.pdf https://hal.archives-ouvertes.fr/hal-01883830/file/Laver-Tables.pdf.]</ref>满足：
 \begin{eqnarray*}a \star_n 0 & = & 0 \\a \star_n 1 & = & (a+1) \mod 2^n \\a \star_n i & = & (a \star_n (i-1)) \star_n (a \star_n 1) \ (i \neq 0,1)\end{eqnarray*}
@@ 第10行： / 第10行： @@
 注意这一定理仅适用于 2 的幂。假如我们考虑的二元运算作用于一般的 <math>\{1,\cdots,a\}</math> 上，其中 <math>a\neq 2^n</math>，则这样的二元运算 <math>\star_n</math> 将不是存在且唯一的。
-我们定义如下函数的周期为 p(n):
+我们定义函数 <math>a\mapsto1\star_na</math> 的周期为 p(n)。
-* <math>2^n\rightarrow2^n</math>
+定义 q(n) 为函数 p(n) 的“伪逆”，即 <math>q(n)=\min\{N|p(N)\geq2^n\}</math>。
-* <math>a\mapsto1\star_na</math>
-定义 q(n) 为函数 p(n) 的逆，即 <math>q(n)=\min\{N|p(N)\geq2^n\}</math>。
+=== 强度 ===
+p(n) 的前几个值为1, 1, 2, 4, 4, 8, 8, 8, 8, 16, 16, 16, 16, …，<ref>OEIS [[oeis:A098820|A098820]]</ref>这是一个增长缓慢的函数。
+p 在 [[ZFC公理体系|ZFC]]+存在 rank-into-rank 基数（或 ZFC+I3）的公理系统中被证明是发散的。但遗憾的是，后者这一公理过于强大，以至于少数专家对其系统的相容性存疑。由于 p 的发散性尚未通过其他方式证明，这仍是一个未解问题。用 [[googology]] 更熟悉（但是并不严格）的说法，我们目前认为 q(n) 的增长率的上界为 [[证明论序数|PTO(ZFC+I3)]]。
+q 是一个快速增长的函数，其全域性当且仅当 p 发散。q(n) 的前几个值为 0, 2, 3, 5, 9。尽管 n≥5 时 q(n) 的存在性尚未被确认，但在上述公理假设下，Randall Dougherty 证明，在快速生长层次结构的一个稍作修改的版本中，<math>q^n(1)>f_{\omega+1}(\lfloor\log_3n\rfloor-1)</math>，且 <math>q(5) > f_9 (f_8 (f_8(254)))</math>。<ref>Dougherty, Randall. [http://arxiv.org/abs/math.LO/9205202 Critical points in an algebra of elementary embeddings.] Retrieved 2014-08-23.</ref>Dougherty 对证明更优下界的可能性表示悲观，目前也没有更严格的上界已知。Laver 表是可计算的，因此 q(n)在较小时会被[[忙碌海狸函数]] Σ(n) 超越。
+Patrick Dehornoy 提供了一种填充 Laver 表的简单算法。<ref name=":0">Dehornoy, Patrick. [https://web.archive.org/web/20230429003832/https://www.lmno.cnrs.fr/archives/dehornoy/Talks/Dyz.pdf Laver Tables] (starting on slide 26). Retrieved 2018-12-11.</ref>然而，每个表格的大小以及 <math>\star</math> 运算所定义的循环群的规模都呈指数级增长，因此这目前是一个NP问题。
+q(6) 的预期规模非常大[6]，但除了“证明可计算函数全域所需的集合论强度”外，没有给出其他理由或证明。然而，一个可计算函数f并不需要超过所有在已知需要证明该函数全域的集合论中可证明全域的可计算函数。
+[[文件:Laver6 new.webp|缩略图|第六个 Laver 表的灰度图]]
+=== 解释 ===
+对于[[序数#极限序数|极限序数]] <math>\lambda</math>，设 <math>\mathcal{E}_\lambda</math> 为所有[[初等嵌入]] <math>V_\lambda \mapsto V_\lambda</math> 的集合。对 <math>j,k \in \mathcal{E}_\lambda</math>，我们定义运算符 <math>j\cdot k</math>（或记为 <math>jk</math>）如下：
+<math>j \cdot k = \bigcup_{\alpha < \lambda} j(k \cap V_\alpha)</math>
+此处，<math>k \cap V_\alpha</math> 表示 <math>k</math> 在集合 <math>\{x \in V_\alpha \mid (x,k(x)) \in V_\alpha\}</math> 上的限制。虽然 <math>k</math> 本身不属于 <math>j</math> 的定义域 <math>V_\lambda</math>，但 <math>k \cap V_\alpha</math> 是它的元素。这一操作可理解为“对逐渐接近 <math>V_\lambda</math> 的 <math>k</math> 应用 <math>j</math>”。该运算符满足性质 <math>j(kl) = (jk)(jl)</math>，此性质被称为左自分布性（left-selfdistributivity）。已知 Laver 表与通过临界点关联到 <math>\mathcal{E}_\lambda</math> 的原群同构，因此与大基数公理密切相关。
 === 取值 ===
 ==== Laver 表 ====
-以下展示了前 6 个 Laver 表。<ref>Dehornoy, Patrick. [https://web.archive.org/web/20230429003832/https://www.lmno.cnrs.fr/archives/dehornoy/Talks/Dyz.pdf Laver Tables] (starting on slide 26). Retrieved 2018-12-11.</ref>
+以下展示了前 6 个 Laver 表。<ref name=":0" />
 {| class="wikitable mw-collapsible mw-collapsed"
 |+<math>\star_0</math> 的 Laver 表
@@ 第1,613行： / 第1,629行： @@
 * <math>q(3)=5</math>
 * <math>q(4)=9</math>
-* <math>q(5) > f_9 (f_8 (f_8(254))) ,</math>，其中这里的 [[增长层级#快速增长层级|FGH]] 改版定义为 <math>f_{\alpha+1}(n)=f_\alpha^{n+1}(n)</math>
+* <math>q(5) > f_9 (f_8 (f_8(254)))</math>，其中这里的 [[增长层级#快速增长层级|FGH]] 改版定义为 <math>f_{\alpha+1}(n)=f_\alpha^{n+1}(n)</math>
-=== 强度 ===
-Dougherty 证明了 <math>q^n(1) > f_{\omega+1} (\lfloor log3 n\rfloor - 1)</math>。<ref>Dougherty, Randall. [http://arxiv.org/abs/math.LO/9205202 Critical points in an algebra of elementary embeddings.] Retrieved 2014-08-23.</ref>
-事实上，二元关系 <math>\star_n</math> 的存在唯一性以及函数 p(n) 的发散性并非显然的结果，它实际上与集合论中的嵌入有着深刻的联系。
-事实上，p(n) 发散的结论是在 I3 公理下才能够得到证明的。因此，作为一个快速增长的函数，q(n) 的完全性（即在所有自然数 n 下都有定义）在 ZFC+I3
-下得到了证明。用 [[googology]] 更熟悉（但是并不严格）的说法，我们目前认为 q(n) 的增长率的上界为 [[证明论序数|PTO(ZFC+I3)]]。
 == 参考资料 ==
 {{默认排序:相关问题}}
 [[分类:记号]]
+<references />
+[[分类:集合论相关]]

	1	2	3	4	5	6	7	8
1	2	4	6	8	2	4	6	8
2	3	4	7	8	3	4	7	8
3	4	8	4	8	4	8	4	8
4	5	6	7	8	5	6	7	8
5	6	8	6	8	6	8	6	8
6	7	8	7	8	7	8	7	8
7	8	8	8	8	8	8	8	8
8	1	2	3	4	5	6	7	8

	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16
1	2	12	14	16	2	12	14	16	2	12	14	16	2	12	14	16
2	3	12	15	16	3	12	15	16	3	12	15	16	3	12	15	16
3	4	8	12	16	4	8	12	16	4	8	12	16	4	8	12	16
4	5	6	7	8	13	14	15	16	5	6	7	8	13	14	15	16
5	6	8	14	16	6	8	14	16	6	8	14	16	6	8	14	16
6	7	8	15	16	7	8	15	16	7	8	15	16	7	8	15	16
7	8	16	8	16	8	16	8	16	8	16	8	16	8	16	8	16
8	9	10	11	12	13	14	15	16	9	10	11	12	13	14	15	16
9	10	12	14	16	10	12	14	16	10	12	14	16	10	12	14	16
10	11	12	15	16	11	12	15	16	11	12	15	16	11	12	15	16
11	12	16	12	16	12	16	12	16	12	16	12	16	12	16	12	16
12	13	14	15	16	13	14	15	16	13	14	15	16	13	14	15	16
13	14	16	14	16	14	16	14	16	14	16	14	16	14	16	14	16
14	15	16	15	16	15	16	15	16	15	16	15	16	15	16	15	16
15	16	16	16	16	16	16	16	16	16	16	16	16	16	16	16	16
16	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16

	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32
1	2	12	14	16	18	28	30	32	2	12	14	16	18	28	30	32	2	12	14	16	18	28	30	32	2	12	14	16	18	28	30	32
2	3	12	15	16	19	28	31	32	3	12	15	16	19	28	31	32	3	12	15	16	19	28	31	32	3	12	15	16	19	28	31	32
3	4	8	12	16	20	24	28	32	4	8	12	16	20	24	28	32	4	8	12	16	20	24	28	32	4	8	12	16	20	24	28	32
4	5	6	7	8	13	14	15	16	21	22	23	24	29	30	31	32	5	6	7	8	13	14	15	16	21	22	23	24	29	30	31	32
5	6	24	30	32	6	24	30	32	6	24	30	32	6	24	30	32	6	24	30	32	6	24	30	32	6	24	30	32	6	24	30	32
6	7	24	31	32	7	24	31	32	7	24	31	32	7	24	31	32	7	24	31	32	7	24	31	32	7	24	31	32	7	24	31	32
7	8	16	24	32	8	16	24	32	8	16	24	32	8	16	24	32	8	16	24	32	8	16	24	32	8	16	24	32	8	16	24	32
8	9	10	11	12	13	14	15	16	25	26	27	28	29	30	31	32	9	10	11	12	13	14	15	16	25	26	27	28	29	30	31	32
9	10	28	30	32	10	28	30	32	10	28	30	32	10	28	30	32	10	28	30	32	10	28	30	32	10	28	30	32	10	28	30	32
10	11	28	31	32	11	28	31	32	11	28	31	32	11	28	31	32	11	28	31	32	11	28	31	32	11	28	31	32	11	28	31	32
11	12	16	28	32	12	16	28	32	12	16	28	32	12	16	28	32	12	16	28	32	12	16	28	32	12	16	28	32	12	16	28	32
12	13	14	15	16	29	30	31	32	13	14	15	16	29	30	31	32	13	14	15	16	29	30	31	32	13	14	15	16	29	30	31	32
13	14	16	30	32	14	16	30	32	14	16	30	32	14	16	30	32	14	16	30	32	14	16	30	32	14	16	30	32	14	16	30	32
14	15	16	31	32	15	16	31	32	15	16	31	32	15	16	31	32	15	16	31	32	15	16	31	32	15	16	31	32	15	16	31	32
15	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32
16	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32
17	18	28	30	32	18	28	30	32	18	28	30	32	18	28	30	32	18	28	30	32	18	28	30	32	18	28	30	32	18	28	30	32
18	19	28	31	32	19	28	31	32	19	28	31	32	19	28	31	32	19	28	31	32	19	28	31	32	19	28	31	32	19	28	31	32
19	20	24	28	32	20	24	28	32	20	24	28	32	20	24	28	32	20	24	28	32	20	24	28	32	20	24	28	32	20	24	28	32
20	21	22	23	24	29	30	31	32	21	22	23	24	29	30	31	32	21	22	23	24	29	30	31	32	21	22	23	24	29	30	31	32
21	22	24	30	32	22	24	30	32	22	24	30	32	22	24	30	32	22	24	30	32	22	24	30	32	22	24	30	32	22	24	30	32
22	23	24	31	32	23	24	31	32	23	24	31	32	23	24	31	32	23	24	31	32	23	24	31	32	23	24	31	32	23	24	31	32
23	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32
24	25	26	27	28	29	30	31	32	25	26	27	28	29	30	31	32	25	26	27	28	29	30	31	32	25	26	27	28	29	30	31	32
25	26	28	30	32	26	28	30	32	26	28	30	32	26	28	30	32	26	28	30	32	26	28	30	32	26	28	30	32	26	28	30	32
26	27	28	31	32	27	28	31	32	27	28	31	32	27	28	31	32	27	28	31	32	27	28	31	32	27	28	31	32	27	28	31	32
27	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32
28	29	30	31	32	29	30	31	32	29	30	31	32	29	30	31	32	29	30	31	32	29	30	31	32	29	30	31	32	29	30	31	32
29	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32
30	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32
31	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32
32	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32

	1	2	3	4	5	6	7	8
1	2	4	6	8	2	4	6	8
2	3	4	7	8	3	4	7	8
3	4	8	4	8	4	8	4	8
4	5	6	7	8	5	6	7	8
5	6	8	6	8	6	8	6	8
6	7	8	7	8	7	8	7	8
7	8	8	8	8	8	8	8	8
8	1	2	3	4	5	6	7	8

	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16
1	2	12	14	16	2	12	14	16	2	12	14	16	2	12	14	16
2	3	12	15	16	3	12	15	16	3	12	15	16	3	12	15	16
3	4	8	12	16	4	8	12	16	4	8	12	16	4	8	12	16
4	5	6	7	8	13	14	15	16	5	6	7	8	13	14	15	16
5	6	8	14	16	6	8	14	16	6	8	14	16	6	8	14	16
6	7	8	15	16	7	8	15	16	7	8	15	16	7	8	15	16
7	8	16	8	16	8	16	8	16	8	16	8	16	8	16	8	16
8	9	10	11	12	13	14	15	16	9	10	11	12	13	14	15	16
9	10	12	14	16	10	12	14	16	10	12	14	16	10	12	14	16
10	11	12	15	16	11	12	15	16	11	12	15	16	11	12	15	16
11	12	16	12	16	12	16	12	16	12	16	12	16	12	16	12	16
12	13	14	15	16	13	14	15	16	13	14	15	16	13	14	15	16
13	14	16	14	16	14	16	14	16	14	16	14	16	14	16	14	16
14	15	16	15	16	15	16	15	16	15	16	15	16	15	16	15	16
15	16	16	16	16	16	16	16	16	16	16	16	16	16	16	16	16
16	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16

	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32
1	2	12	14	16	18	28	30	32	2	12	14	16	18	28	30	32	2	12	14	16	18	28	30	32	2	12	14	16	18	28	30	32
2	3	12	15	16	19	28	31	32	3	12	15	16	19	28	31	32	3	12	15	16	19	28	31	32	3	12	15	16	19	28	31	32
3	4	8	12	16	20	24	28	32	4	8	12	16	20	24	28	32	4	8	12	16	20	24	28	32	4	8	12	16	20	24	28	32
4	5	6	7	8	13	14	15	16	21	22	23	24	29	30	31	32	5	6	7	8	13	14	15	16	21	22	23	24	29	30	31	32
5	6	24	30	32	6	24	30	32	6	24	30	32	6	24	30	32	6	24	30	32	6	24	30	32	6	24	30	32	6	24	30	32
6	7	24	31	32	7	24	31	32	7	24	31	32	7	24	31	32	7	24	31	32	7	24	31	32	7	24	31	32	7	24	31	32
7	8	16	24	32	8	16	24	32	8	16	24	32	8	16	24	32	8	16	24	32	8	16	24	32	8	16	24	32	8	16	24	32
8	9	10	11	12	13	14	15	16	25	26	27	28	29	30	31	32	9	10	11	12	13	14	15	16	25	26	27	28	29	30	31	32
9	10	28	30	32	10	28	30	32	10	28	30	32	10	28	30	32	10	28	30	32	10	28	30	32	10	28	30	32	10	28	30	32
10	11	28	31	32	11	28	31	32	11	28	31	32	11	28	31	32	11	28	31	32	11	28	31	32	11	28	31	32	11	28	31	32
11	12	16	28	32	12	16	28	32	12	16	28	32	12	16	28	32	12	16	28	32	12	16	28	32	12	16	28	32	12	16	28	32
12	13	14	15	16	29	30	31	32	13	14	15	16	29	30	31	32	13	14	15	16	29	30	31	32	13	14	15	16	29	30	31	32
13	14	16	30	32	14	16	30	32	14	16	30	32	14	16	30	32	14	16	30	32	14	16	30	32	14	16	30	32	14	16	30	32
14	15	16	31	32	15	16	31	32	15	16	31	32	15	16	31	32	15	16	31	32	15	16	31	32	15	16	31	32	15	16	31	32
15	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32
16	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32
17	18	28	30	32	18	28	30	32	18	28	30	32	18	28	30	32	18	28	30	32	18	28	30	32	18	28	30	32	18	28	30	32
18	19	28	31	32	19	28	31	32	19	28	31	32	19	28	31	32	19	28	31	32	19	28	31	32	19	28	31	32	19	28	31	32
19	20	24	28	32	20	24	28	32	20	24	28	32	20	24	28	32	20	24	28	32	20	24	28	32	20	24	28	32	20	24	28	32
20	21	22	23	24	29	30	31	32	21	22	23	24	29	30	31	32	21	22	23	24	29	30	31	32	21	22	23	24	29	30	31	32
21	22	24	30	32	22	24	30	32	22	24	30	32	22	24	30	32	22	24	30	32	22	24	30	32	22	24	30	32	22	24	30	32
22	23	24	31	32	23	24	31	32	23	24	31	32	23	24	31	32	23	24	31	32	23	24	31	32	23	24	31	32	23	24	31	32
23	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32
24	25	26	27	28	29	30	31	32	25	26	27	28	29	30	31	32	25	26	27	28	29	30	31	32	25	26	27	28	29	30	31	32
25	26	28	30	32	26	28	30	32	26	28	30	32	26	28	30	32	26	28	30	32	26	28	30	32	26	28	30	32	26	28	30	32
26	27	28	31	32	27	28	31	32	27	28	31	32	27	28	31	32	27	28	31	32	27	28	31	32	27	28	31	32	27	28	31	32
27	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32
28	29	30	31	32	29	30	31	32	29	30	31	32	29	30	31	32	29	30	31	32	29	30	31	32	29	30	31	32	29	30	31	32
29	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32
30	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32
31	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32
32	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32

	1	2	3	4	5	6	7	8
1	2	4	6	8	2	4	6	8
2	3	4	7	8	3	4	7	8
3	4	8	4	8	4	8	4	8
4	5	6	7	8	5	6	7	8
5	6	8	6	8	6	8	6	8
6	7	8	7	8	7	8	7	8
7	8	8	8	8	8	8	8	8
8	1	2	3	4	5	6	7	8

	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16
1	2	12	14	16	2	12	14	16	2	12	14	16	2	12	14	16
2	3	12	15	16	3	12	15	16	3	12	15	16	3	12	15	16
3	4	8	12	16	4	8	12	16	4	8	12	16	4	8	12	16
4	5	6	7	8	13	14	15	16	5	6	7	8	13	14	15	16
5	6	8	14	16	6	8	14	16	6	8	14	16	6	8	14	16
6	7	8	15	16	7	8	15	16	7	8	15	16	7	8	15	16
7	8	16	8	16	8	16	8	16	8	16	8	16	8	16	8	16
8	9	10	11	12	13	14	15	16	9	10	11	12	13	14	15	16
9	10	12	14	16	10	12	14	16	10	12	14	16	10	12	14	16
10	11	12	15	16	11	12	15	16	11	12	15	16	11	12	15	16
11	12	16	12	16	12	16	12	16	12	16	12	16	12	16	12	16
12	13	14	15	16	13	14	15	16	13	14	15	16	13	14	15	16
13	14	16	14	16	14	16	14	16	14	16	14	16	14	16	14	16
14	15	16	15	16	15	16	15	16	15	16	15	16	15	16	15	16
15	16	16	16	16	16	16	16	16	16	16	16	16	16	16	16	16
16	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16

	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32
1	2	12	14	16	18	28	30	32	2	12	14	16	18	28	30	32	2	12	14	16	18	28	30	32	2	12	14	16	18	28	30	32
2	3	12	15	16	19	28	31	32	3	12	15	16	19	28	31	32	3	12	15	16	19	28	31	32	3	12	15	16	19	28	31	32
3	4	8	12	16	20	24	28	32	4	8	12	16	20	24	28	32	4	8	12	16	20	24	28	32	4	8	12	16	20	24	28	32
4	5	6	7	8	13	14	15	16	21	22	23	24	29	30	31	32	5	6	7	8	13	14	15	16	21	22	23	24	29	30	31	32
5	6	24	30	32	6	24	30	32	6	24	30	32	6	24	30	32	6	24	30	32	6	24	30	32	6	24	30	32	6	24	30	32
6	7	24	31	32	7	24	31	32	7	24	31	32	7	24	31	32	7	24	31	32	7	24	31	32	7	24	31	32	7	24	31	32
7	8	16	24	32	8	16	24	32	8	16	24	32	8	16	24	32	8	16	24	32	8	16	24	32	8	16	24	32	8	16	24	32
8	9	10	11	12	13	14	15	16	25	26	27	28	29	30	31	32	9	10	11	12	13	14	15	16	25	26	27	28	29	30	31	32
9	10	28	30	32	10	28	30	32	10	28	30	32	10	28	30	32	10	28	30	32	10	28	30	32	10	28	30	32	10	28	30	32
10	11	28	31	32	11	28	31	32	11	28	31	32	11	28	31	32	11	28	31	32	11	28	31	32	11	28	31	32	11	28	31	32
11	12	16	28	32	12	16	28	32	12	16	28	32	12	16	28	32	12	16	28	32	12	16	28	32	12	16	28	32	12	16	28	32
12	13	14	15	16	29	30	31	32	13	14	15	16	29	30	31	32	13	14	15	16	29	30	31	32	13	14	15	16	29	30	31	32
13	14	16	30	32	14	16	30	32	14	16	30	32	14	16	30	32	14	16	30	32	14	16	30	32	14	16	30	32	14	16	30	32
14	15	16	31	32	15	16	31	32	15	16	31	32	15	16	31	32	15	16	31	32	15	16	31	32	15	16	31	32	15	16	31	32
15	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32	16	32
16	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32
17	18	28	30	32	18	28	30	32	18	28	30	32	18	28	30	32	18	28	30	32	18	28	30	32	18	28	30	32	18	28	30	32
18	19	28	31	32	19	28	31	32	19	28	31	32	19	28	31	32	19	28	31	32	19	28	31	32	19	28	31	32	19	28	31	32
19	20	24	28	32	20	24	28	32	20	24	28	32	20	24	28	32	20	24	28	32	20	24	28	32	20	24	28	32	20	24	28	32
20	21	22	23	24	29	30	31	32	21	22	23	24	29	30	31	32	21	22	23	24	29	30	31	32	21	22	23	24	29	30	31	32
21	22	24	30	32	22	24	30	32	22	24	30	32	22	24	30	32	22	24	30	32	22	24	30	32	22	24	30	32	22	24	30	32
22	23	24	31	32	23	24	31	32	23	24	31	32	23	24	31	32	23	24	31	32	23	24	31	32	23	24	31	32	23	24	31	32
23	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32	24	32
24	25	26	27	28	29	30	31	32	25	26	27	28	29	30	31	32	25	26	27	28	29	30	31	32	25	26	27	28	29	30	31	32
25	26	28	30	32	26	28	30	32	26	28	30	32	26	28	30	32	26	28	30	32	26	28	30	32	26	28	30	32	26	28	30	32
26	27	28	31	32	27	28	31	32	27	28	31	32	27	28	31	32	27	28	31	32	27	28	31	32	27	28	31	32	27	28	31	32
27	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32	28	32
28	29	30	31	32	29	30	31	32	29	30	31	32	29	30	31	32	29	30	31	32	29	30	31	32	29	30	31	32	29	30	31	32
29	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32	30	32
30	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32	31	32
31	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32	32
32	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32