<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="zh-Hans-CN">
	<id>http://wiki.googology.top/index.php?action=history&amp;feed=atom&amp;title=%E8%B5%8B%E6%9D%83%E4%BA%8C%E5%8F%89%E6%A0%91</id>
	<title>赋权二叉树 - 版本历史</title>
	<link rel="self" type="application/atom+xml" href="http://wiki.googology.top/index.php?action=history&amp;feed=atom&amp;title=%E8%B5%8B%E6%9D%83%E4%BA%8C%E5%8F%89%E6%A0%91"/>
	<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E8%B5%8B%E6%9D%83%E4%BA%8C%E5%8F%89%E6%A0%91&amp;action=history"/>
	<updated>2026-04-22T15:40:35Z</updated>
	<subtitle>本wiki上该页面的版本历史</subtitle>
	<generator>MediaWiki 1.43.1</generator>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E8%B5%8B%E6%9D%83%E4%BA%8C%E5%8F%89%E6%A0%91&amp;diff=2818&amp;oldid=prev</id>
		<title>2026年2月23日 (一) 11:24 Z</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E8%B5%8B%E6%9D%83%E4%BA%8C%E5%8F%89%E6%A0%91&amp;diff=2818&amp;oldid=prev"/>
		<updated>2026-02-23T11:24:41Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;zh-Hans-CN&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;←上一版本&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;2026年2月23日 (一) 19:24的版本&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l63&quot;&gt;第63行：&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;第63行：&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;于是得到ψ(Ω_ω)是wbtree的极限。&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;于是得到ψ(Ω_ω)是wbtree的极限。&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;{{默认排序:&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;个人记号&lt;/del&gt;}}&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;{{默认排序:&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;相关问题&lt;/ins&gt;}}&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;[[分类:记号]]&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;[[分类:记号]]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;

&lt;!-- diff cache key my_wiki:diff:1.41:old-2728:rev-2818:php=table --&gt;
&lt;/table&gt;</summary>
		<author><name>Z</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E8%B5%8B%E6%9D%83%E4%BA%8C%E5%8F%89%E6%A0%91&amp;diff=2728&amp;oldid=prev</id>
		<title>2026年2月21日 (六) 09:08 Z</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E8%B5%8B%E6%9D%83%E4%BA%8C%E5%8F%89%E6%A0%91&amp;diff=2728&amp;oldid=prev"/>
		<updated>2026-02-21T09:08:15Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;zh-Hans-CN&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;←上一版本&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;2026年2月21日 (六) 17:08的版本&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l64&quot;&gt;第64行：&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;第64行：&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;于是得到ψ(Ω_ω)是wbtree的极限。&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;于是得到ψ(Ω_ω)是wbtree的极限。&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;{{默认排序:个人记号}}&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;{{默认排序:个人记号}}&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;[[分类:记号]]&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Z</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E8%B5%8B%E6%9D%83%E4%BA%8C%E5%8F%89%E6%A0%91&amp;diff=2727&amp;oldid=prev</id>
		<title>2026年2月21日 (六) 09:07 Z</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E8%B5%8B%E6%9D%83%E4%BA%8C%E5%8F%89%E6%A0%91&amp;diff=2727&amp;oldid=prev"/>
		<updated>2026-02-21T09:07:44Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;zh-Hans-CN&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;←上一版本&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;2026年2月21日 (六) 17:07的版本&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l17&quot;&gt;第17行：&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;第17行：&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;=== 分析 ===&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;=== 分析 ===&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;用()表示权值1的边与它的子节点（远离根的一端）。用[]表示权值2。{}表示权值3.&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;根节点不写&lt;/del&gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;用()表示权值1的边与它的子节点（远离根的一端）。用[]表示权值2。{}表示权值3.&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;&amp;gt;表示权值4.根节点不写。&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;以下提供了wbtree中的一个序型分析&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;以下提供了wbtree中的一个序型分析&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l32&quot;&gt;第32行：&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;第32行：&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;看上去[]可以作为Ω的角色了，这样只使用权重1~2就能达到至少BHO的序型&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;看上去[]可以作为Ω的角色了，这样只使用权重1~2就能达到至少BHO的序型&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;nowiki&amp;gt;\begin{align}.\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;)=&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;+&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega&lt;/del&gt;)=[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}]&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;+&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega&lt;/del&gt;^&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega&lt;/del&gt;^&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\omega&lt;/del&gt;)=[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}][]&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;+&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\psi_1&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;))=[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}][&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}]&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;+&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\psi_1&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;)+&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega&lt;/del&gt;)=[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}][[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}]]&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;+&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\psi_1&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;)&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\times2&lt;/del&gt;)=[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}][[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}][&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}]]&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;+&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\psi_1&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;)&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\times3&lt;/del&gt;)=[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}][[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}][[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}][&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}]]]&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;+&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\psi_1&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;+1))=[[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}]][[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}]]&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;+&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\psi_1&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;+2))=[[[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}]]][[[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}]]]&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;+&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\psi_1&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;+&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\omega&lt;/del&gt;))=[[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}]()][[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}]()]&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;+&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\psi_1&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;+&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega&lt;/del&gt;))=[[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}][]][[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}][]]&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;+&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\psi_1&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;+&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\psi_1&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;)))=[[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}][&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}]][[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}][&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}]]&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;+&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\psi_1&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;+&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\psi_1&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;+&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\psi_1&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;))))=[[[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}][&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}]][[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}][&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}]]][[[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}][&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}]][[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}][&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}]]]&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2\times2&lt;/del&gt;)=&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}()&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2\times\omega&lt;/del&gt;)=&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}(()())&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2\times\Omega&lt;/del&gt;)=&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}[]&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2\times\psi_1&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;))=&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}]&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2\times\psi_1&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2\times\psi_1&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;)))=&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}[&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}]]&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2^2&lt;/del&gt;=&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{()&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;^&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\omega&lt;/del&gt;)=&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{()()&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;^&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega&lt;/del&gt;)=&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{[]&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;^&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;{\Omega_2}&lt;/del&gt;)=&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2^{\Omega_2&lt;/del&gt;^&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;2})=\{\{\{\}\}\}\\&amp;amp;\psi(\Omega_2^{\Omega_2^3}&lt;/del&gt;)=&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;^&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;{\Omega_2&lt;/del&gt;^&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\omega}&lt;/del&gt;)=&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;^&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;{\Omega_2&lt;/del&gt;^&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega}&lt;/del&gt;)=&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{[]&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{[]&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;^&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;{\Omega_2&lt;/del&gt;^&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;{\Omega_2}}&lt;/del&gt;)=&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega_2&lt;/del&gt;^&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;{\Omega_2&lt;/del&gt;^&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;{\Omega_2&lt;/del&gt;^&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\omega}}&lt;/del&gt;)=&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;{&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\&lt;/del&gt;}&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\\&amp;amp;\psi&lt;/del&gt;(&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\Omega₃&lt;/del&gt;)=&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\cdots\end{align}&lt;/del&gt;&amp;lt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;/nowiki&lt;/del&gt;&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;)={}&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;+&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω&lt;/ins&gt;)=[{}]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;+&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω&lt;/ins&gt;^&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω&lt;/ins&gt;^&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;ω&lt;/ins&gt;)=[{}][]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;+&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;ψ₁&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;))=[{}][{}]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;+&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;ψ₁&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;)+&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω&lt;/ins&gt;)=[{}][[{}]]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;+&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;ψ₁&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;)&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;×2&lt;/ins&gt;)=[{}][[{}][{}]]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;+&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;ψ₁&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;)&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;×3&lt;/ins&gt;)=[{}][[{}][[{}][{}]]]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;+&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;ψ₁&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;+1))=[[{}]][[{}]]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;+&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;ψ₁&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;+2))=[[[{}]]][[[{}]]]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;+&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;ψ₁&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;+&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;ω&lt;/ins&gt;))=[[{}]()][[{}]()]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;+&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;ψ₁&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;+&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω&lt;/ins&gt;))=[[{}][]][[{}][]]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;+&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;ψ₁&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;+&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;ψ₁&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;)))=[[{}][{}]][[{}][{}]]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;+&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;ψ₁&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;+&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;ψ₁&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;+&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;ψ₁&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;))))=[[[{}][{}]][[{}][{}]]][[[{}][{}]][[{}][{}]]]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂×2&lt;/ins&gt;)={}()&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂×ω&lt;/ins&gt;)={}(()())&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂×Ω&lt;/ins&gt;)={}[]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂×ψ₁&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;))={}[{}]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂×ψ₁&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂×ψ₁&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;)))={}[{}[{}]]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂²)&lt;/ins&gt;={()}&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;^&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;ω&lt;/ins&gt;)={()()}&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;^&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω&lt;/ins&gt;)={[]}&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* &amp;lt;nowiki&amp;gt;ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;^&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;)={{}}&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;/nowiki&amp;gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;^&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂³&lt;/ins&gt;)={{{{}}}}&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;^&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;^&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;ω&lt;/ins&gt;)={}{}&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;^&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;^&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω&lt;/ins&gt;)={[]}{[]}&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* &amp;lt;nowiki&amp;gt;ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;^&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;^&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;)={{}}{{}}&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;/nowiki&amp;gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;^&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;^&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₂&lt;/ins&gt;^&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;ω&lt;/ins&gt;)=&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;nowiki&amp;gt;&lt;/ins&gt;{{}{}}&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;/nowiki&amp;gt;&amp;lt;nowiki&amp;gt;&lt;/ins&gt;{{}{}}&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;/nowiki&amp;gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ&lt;/ins&gt;(&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Ω₃&lt;/ins&gt;)=&amp;lt;&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* ψ(Ω₄)=…&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;于是得到ψ(Ω_ω)&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;=极限&lt;/del&gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;于是得到ψ(Ω_ω)&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;是wbtree的极限。&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;{{默认排序:个人记号}}&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;{{默认排序:个人记号}}&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Z</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E8%B5%8B%E6%9D%83%E4%BA%8C%E5%8F%89%E6%A0%91&amp;diff=2726&amp;oldid=prev</id>
		<title>2026年2月21日 (六) 09:05 Z</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E8%B5%8B%E6%9D%83%E4%BA%8C%E5%8F%89%E6%A0%91&amp;diff=2726&amp;oldid=prev"/>
		<updated>2026-02-21T09:05:01Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;zh-Hans-CN&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;←上一版本&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;2026年2月21日 (六) 17:05的版本&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l31&quot;&gt;第31行：&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;第31行：&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;看上去[]可以作为Ω的角色了，这样只使用权重1~2就能达到至少BHO的序型&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;看上去[]可以作为Ω的角色了，这样只使用权重1~2就能达到至少BHO的序型&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&lt;/del&gt;&lt;/div&gt;&lt;/td&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-added&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;math&amp;gt;\begin{align}.\\&amp;amp;\psi(\Omega_2)=\{\}\\&amp;amp;\psi(\Omega_2+\Omega)=[\{\}]\\&amp;amp;\psi(\Omega_2+\Omega^\Omega^\omega)=[\{\}][]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2))=[\{\}][\{\}]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2)+\Omega)=[\{\}][[\{\}]]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2)\times2)=[\{\}][[\{\}][\{\}]]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2)\times3)=[\{\}][[\{\}][[\{\}][\{\}]]]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2+1))=[[\{\}]][[\{\}]]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2+2))=[[[\{\}]]][[[\{\}]]]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2+\omega))=[[\{\}]()][[\{\}]()]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2+\Omega))=[[\{\}][]][[\{\}][]]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2)))=[[\{\}][\{\}]][[\{\}][\{\}]]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2))))=[[[\{\}][\{\}]][[\{\}][\{\}]]][[[\{\}][\{\}]][[\{\}][\{\}]]]\\&amp;amp;\psi(\Omega_2\times2)=\{\}()\\&amp;amp;\psi(\Omega_2\times\omega)=\{\}(()())\\&amp;amp;\psi(\Omega_2\times\Omega)=\{\}[]\\&amp;amp;\psi(\Omega_2\times\psi_1(\Omega_2))=\{\}[\{\}]\\&amp;amp;\psi(\Omega_2\times\psi_1(\Omega_2\times\psi_1(\Omega_2)))=\{\}[\{\}[\{\}]]\\&amp;amp;\psi(\Omega_2^2=\{()\}\\&amp;amp;\psi(\Omega_2^\omega)=\{()()\}\\&amp;amp;\psi(\Omega_2^\Omega)=\{[]\}\\&amp;amp;\psi(\Omega_2^{\Omega_2})=\{\{\}\}\\&amp;amp;\psi(\Omega_2^{\Omega_2^2})=\{\{\{\}\}\}\\&amp;amp;\psi(\Omega_2^{\Omega_2^3})=\{\{\{\{\}\}\}\}\\&amp;amp;\psi(\Omega_2^{\Omega_2^\omega})=\{\}\{\}\\&amp;amp;\psi(\Omega_2^{\Omega_2^\Omega})=\{[]\}\{[]\}\\&amp;amp;\psi(\Omega_2^{\Omega_2^{\Omega_2}})=\{\{\}\}\{\{\}\}\\&amp;amp;\psi(\Omega_2^{\Omega_2^{\Omega_2^\omega}})=\{\{\}\{\}\}\{\{\}\{\}\}\\&amp;amp;\psi(\Omega₃)=\cdots\end{align}&amp;lt;/math&amp;gt;&lt;/del&gt;&lt;/div&gt;&lt;/td&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-added&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;nowiki&amp;gt;\begin{align}.\\&amp;amp;\psi(\Omega_2)=\{\}\\&amp;amp;\psi(\Omega_2+\Omega)=[\{\}]\\&amp;amp;\psi(\Omega_2+\Omega^\Omega^\omega)=[\{\}][]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2))=[\{\}][\{\}]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2)+\Omega)=[\{\}][[\{\}]]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2)\times2)=[\{\}][[\{\}][\{\}]]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2)\times3)=[\{\}][[\{\}][[\{\}][\{\}]]]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2+1))=[[\{\}]][[\{\}]]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2+2))=[[[\{\}]]][[[\{\}]]]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2+\omega))=[[\{\}]()][[\{\}]()]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2+\Omega))=[[\{\}][]][[\{\}][]]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2)))=[[\{\}][\{\}]][[\{\}][\{\}]]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2))))=[[[\{\}][\{\}]][[\{\}][\{\}]]][[[\{\}][\{\}]][[\{\}][\{\}]]]\\&amp;amp;\psi(\Omega_2\times2)=\{\}()\\&amp;amp;\psi(\Omega_2\times\omega)=\{\}(()())\\&amp;amp;\psi(\Omega_2\times\Omega)=\{\}[]\\&amp;amp;\psi(\Omega_2\times\psi_1(\Omega_2))=\{\}[\{\}]\\&amp;amp;\psi(\Omega_2\times\psi_1(\Omega_2\times\psi_1(\Omega_2)))=\{\}[\{\}[\{\}]]\\&amp;amp;\psi(\Omega_2^2=\{()\}\\&amp;amp;\psi(\Omega_2^\omega)=\{()()\}\\&amp;amp;\psi(\Omega_2^\Omega)=\{[]\}\\&amp;amp;\psi(\Omega_2^{\Omega_2})=\{\{\}\}\\&amp;amp;\psi(\Omega_2^{\Omega_2^2})=\{\{\{\}\}\}\\&amp;amp;\psi(\Omega_2^{\Omega_2^3})=\{\{\{\{\}\}\}\}\\&amp;amp;\psi(\Omega_2^{\Omega_2^\omega})=\{\}\{\}\\&amp;amp;\psi(\Omega_2^{\Omega_2^\Omega})=\{[]\}\{[]\}\\&amp;amp;\psi(\Omega_2^{\Omega_2^{\Omega_2}})=\{\{\}\}\{\{\}\}\\&amp;amp;\psi(\Omega_2^{\Omega_2^{\Omega_2^\omega}})=\{\{\}\{\}\}\{\{\}\{\}\}\\&amp;amp;\psi(\Omega₃)=\cdots\end{align}&amp;lt;/nowiki&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;nowiki&amp;gt;\begin{align}.\\&amp;amp;\psi(\Omega_2)=\{\}\\&amp;amp;\psi(\Omega_2+\Omega)=[\{\}]\\&amp;amp;\psi(\Omega_2+\Omega^\Omega^\omega)=[\{\}][]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2))=[\{\}][\{\}]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2)+\Omega)=[\{\}][[\{\}]]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2)\times2)=[\{\}][[\{\}][\{\}]]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2)\times3)=[\{\}][[\{\}][[\{\}][\{\}]]]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2+1))=[[\{\}]][[\{\}]]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2+2))=[[[\{\}]]][[[\{\}]]]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2+\omega))=[[\{\}]()][[\{\}]()]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2+\Omega))=[[\{\}][]][[\{\}][]]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2)))=[[\{\}][\{\}]][[\{\}][\{\}]]\\&amp;amp;\psi(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2))))=[[[\{\}][\{\}]][[\{\}][\{\}]]][[[\{\}][\{\}]][[\{\}][\{\}]]]\\&amp;amp;\psi(\Omega_2\times2)=\{\}()\\&amp;amp;\psi(\Omega_2\times\omega)=\{\}(()())\\&amp;amp;\psi(\Omega_2\times\Omega)=\{\}[]\\&amp;amp;\psi(\Omega_2\times\psi_1(\Omega_2))=\{\}[\{\}]\\&amp;amp;\psi(\Omega_2\times\psi_1(\Omega_2\times\psi_1(\Omega_2)))=\{\}[\{\}[\{\}]]\\&amp;amp;\psi(\Omega_2^2=\{()\}\\&amp;amp;\psi(\Omega_2^\omega)=\{()()\}\\&amp;amp;\psi(\Omega_2^\Omega)=\{[]\}\\&amp;amp;\psi(\Omega_2^{\Omega_2})=\{\{\}\}\\&amp;amp;\psi(\Omega_2^{\Omega_2^2})=\{\{\{\}\}\}\\&amp;amp;\psi(\Omega_2^{\Omega_2^3})=\{\{\{\{\}\}\}\}\\&amp;amp;\psi(\Omega_2^{\Omega_2^\omega})=\{\}\{\}\\&amp;amp;\psi(\Omega_2^{\Omega_2^\Omega})=\{[]\}\{[]\}\\&amp;amp;\psi(\Omega_2^{\Omega_2^{\Omega_2}})=\{\{\}\}\{\{\}\}\\&amp;amp;\psi(\Omega_2^{\Omega_2^{\Omega_2^\omega}})=\{\{\}\{\}\}\{\{\}\{\}\}\\&amp;amp;\psi(\Omega₃)=\cdots\end{align}&amp;lt;/nowiki&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Z</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E8%B5%8B%E6%9D%83%E4%BA%8C%E5%8F%89%E6%A0%91&amp;diff=2725&amp;oldid=prev</id>
		<title>2026年2月21日 (六) 09:01 Z</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E8%B5%8B%E6%9D%83%E4%BA%8C%E5%8F%89%E6%A0%91&amp;diff=2725&amp;oldid=prev"/>
		<updated>2026-02-21T09:01:23Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;a href=&quot;http://wiki.googology.top/index.php?title=%E8%B5%8B%E6%9D%83%E4%BA%8C%E5%8F%89%E6%A0%91&amp;amp;diff=2725&amp;amp;oldid=2721&quot;&gt;显示更改&lt;/a&gt;</summary>
		<author><name>Z</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E8%B5%8B%E6%9D%83%E4%BA%8C%E5%8F%89%E6%A0%91&amp;diff=2721&amp;oldid=prev</id>
		<title>Z：​撤销Z（讨论）的修订版本2720</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E8%B5%8B%E6%9D%83%E4%BA%8C%E5%8F%89%E6%A0%91&amp;diff=2721&amp;oldid=prev"/>
		<updated>2026-02-21T08:11:03Z</updated>

		<summary type="html">&lt;p&gt;撤销&lt;a href=&quot;/index.php/%E7%89%B9%E6%AE%8A:%E7%94%A8%E6%88%B7%E8%B4%A1%E7%8C%AE/Z&quot; title=&quot;特殊:用户贡献/Z&quot;&gt;Z&lt;/a&gt;（&lt;a href=&quot;/index.php/%E7%94%A8%E6%88%B7%E8%AE%A8%E8%AE%BA:Z&quot; title=&quot;用户讨论:Z&quot;&gt;讨论&lt;/a&gt;）的修订版本&lt;a href=&quot;/index.php/%E7%89%B9%E6%AE%8A:%E7%BC%96%E8%BE%91%E5%B7%AE%E5%BC%82/2720&quot; title=&quot;特殊:编辑差异/2720&quot;&gt;2720&lt;/a&gt;&lt;/p&gt;
&lt;a href=&quot;http://wiki.googology.top/index.php?title=%E8%B5%8B%E6%9D%83%E4%BA%8C%E5%8F%89%E6%A0%91&amp;amp;diff=2721&amp;amp;oldid=2720&quot;&gt;显示更改&lt;/a&gt;</summary>
		<author><name>Z</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E8%B5%8B%E6%9D%83%E4%BA%8C%E5%8F%89%E6%A0%91&amp;diff=2720&amp;oldid=prev</id>
		<title>2026年2月21日 (六) 08:07 Z</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E8%B5%8B%E6%9D%83%E4%BA%8C%E5%8F%89%E6%A0%91&amp;diff=2720&amp;oldid=prev"/>
		<updated>2026-02-21T08:07:58Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;a href=&quot;http://wiki.googology.top/index.php?title=%E8%B5%8B%E6%9D%83%E4%BA%8C%E5%8F%89%E6%A0%91&amp;amp;diff=2720&amp;amp;oldid=2718&quot;&gt;显示更改&lt;/a&gt;</summary>
		<author><name>Z</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E8%B5%8B%E6%9D%83%E4%BA%8C%E5%8F%89%E6%A0%91&amp;diff=2718&amp;oldid=prev</id>
		<title>Z：​创建页面，内容为“赋权二叉树（Weighted Binary Tree）是FataliS1024提出的大数函数。  === 定义 === 对于有根二叉树，令其每条边都有一个正整数权值，即得到赋权二叉树，记作&#039;&#039;&#039;wb&#039;&#039;&#039;  对于两个&#039;&#039;&#039;wb&#039;&#039;&#039; A和B，如果A能通过以下操作得到B，就称B嵌入A，A容纳B，A大于B，B小于A：  # 删掉一个度为1的顶点和它连接的边 # 删掉一个度为2的非根顶点和它连接的两条边，并将它原本连接的…”</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E8%B5%8B%E6%9D%83%E4%BA%8C%E5%8F%89%E6%A0%91&amp;diff=2718&amp;oldid=prev"/>
		<updated>2026-02-21T07:49:15Z</updated>

		<summary type="html">&lt;p&gt;创建页面，内容为“赋权二叉树（Weighted Binary Tree）是FataliS1024提出的大数函数。  === 定义 === 对于有根二叉树，令其每条边都有一个正整数权值，即得到赋权二叉树，记作&amp;#039;&amp;#039;&amp;#039;wb&amp;#039;&amp;#039;&amp;#039;  对于两个&amp;#039;&amp;#039;&amp;#039;wb&amp;#039;&amp;#039;&amp;#039; A和B，如果A能通过以下操作得到B，就称B嵌入A，A容纳B，A大于B，B小于A：  # 删掉一个度为1的顶点和它连接的边 # 删掉一个度为2的非根顶点和它连接的两条边，并将它原本连接的…”&lt;/p&gt;
&lt;p&gt;&lt;b&gt;新页面&lt;/b&gt;&lt;/p&gt;&lt;div&gt;赋权二叉树（Weighted Binary Tree）是FataliS1024提出的大数函数。&lt;br /&gt;
&lt;br /&gt;
=== 定义 ===&lt;br /&gt;
对于有根二叉树，令其每条边都有一个正整数权值，即得到赋权二叉树，记作&amp;#039;&amp;#039;&amp;#039;wb&amp;#039;&amp;#039;&amp;#039;&lt;br /&gt;
&lt;br /&gt;
对于两个&amp;#039;&amp;#039;&amp;#039;wb&amp;#039;&amp;#039;&amp;#039; A和B，如果A能通过以下操作得到B，就称B嵌入A，A容纳B，A大于B，B小于A：&lt;br /&gt;
&lt;br /&gt;
# 删掉一个度为1的顶点和它连接的边&lt;br /&gt;
# 删掉一个度为2的非根顶点和它连接的两条边，并将它原本连接的两个顶点连起来，权值等于min(原来两条边的权值)&lt;br /&gt;
# 将任意一个大于1的权值-1&lt;br /&gt;
&lt;br /&gt;
符合以下条件的最长的有序wb列的长度记作wbtree(n)：&lt;br /&gt;
&lt;br /&gt;
# 第k个wb最多有k+1个顶点&lt;br /&gt;
# 所有wb的边权值不超过n&lt;br /&gt;
# 前面的wb不小于后面的wb&lt;br /&gt;
&lt;br /&gt;
=== 分析 ===&lt;br /&gt;
用()表示权值1的边与它的子节点（远离根的一端）。用[]表示权值2。{}表示权值3.根节点不写&lt;br /&gt;
&lt;br /&gt;
以下提供了wbtree中的一个序型分析&lt;br /&gt;
&lt;br /&gt;
* 单根=0&lt;br /&gt;
* () = 1&lt;br /&gt;
* (()) = 2&lt;br /&gt;
* ()() = ω&lt;br /&gt;
&lt;br /&gt;
上述这些都跟ε(0)以下的tree相同&lt;br /&gt;
&lt;br /&gt;
* [] = ε(0)&lt;br /&gt;
* ([]) = ε(0)+1&lt;br /&gt;
* (([])) = ε(0)+2&lt;br /&gt;
* ([])() = ε(0)+ω&lt;br /&gt;
* ([])([]) = ε(0)·2&lt;br /&gt;
* (([]))([]) = ε(0)·3&lt;br /&gt;
* (([])())([]) = ε(0)·ω&lt;br /&gt;
* (([])([]))([]) = ε(0)^2&lt;br /&gt;
* (([]))(([])) = ε(0)^ω&lt;br /&gt;
* (([])([]))(([])([])) = ε(0)^ε(0)&lt;br /&gt;
* []() = ε(1)&lt;br /&gt;
* [](()) = ε(2)&lt;br /&gt;
* [](()()) = ε(ω)&lt;br /&gt;
* []([]) = ε(ε(0))&lt;br /&gt;
* []([]([])) = ε(ε(ε(0)))&lt;br /&gt;
* [()] = ζ(0)&lt;br /&gt;
* ([()]) = ζ(0)+1&lt;br /&gt;
* ([()])([()]) = ζ(0)·2&lt;br /&gt;
* []([()]) = ε(ζ(0)+1)&lt;br /&gt;
* [](([()])) = ε(ζ(0)+2)&lt;br /&gt;
* []([]([()])) = ε(ε(ζ(0)+1))&lt;br /&gt;
* [()]() = ζ(1)&lt;br /&gt;
* [()]([()]) = ζ(ζ(0))&lt;br /&gt;
* [(())] = ϑ(Ω·3) = φ(3,0)&lt;br /&gt;
* []([(())]) = ϑ(Ω+ϑ(Ω·3))&lt;br /&gt;
* [()]([(())]) = ϑ(Ω·2+ϑ(Ω·3))&lt;br /&gt;
* [(())]() = ϑ(Ω·3+1)&lt;br /&gt;
* [((()))] = ϑ(Ω·4)&lt;br /&gt;
* [()()] = ϑ(Ω·ω)&lt;br /&gt;
* [(()())] = ϑ(Ω·(ω+1))&lt;br /&gt;
* [(()())(()())] = ϑ(Ω·ω^ω^ω)&lt;br /&gt;
* [([])] = ϑ(Ω·ϑ(Ω))&lt;br /&gt;
* [([])]() = ϑ(Ω·ϑ(Ω)+1)&lt;br /&gt;
* [(([]))] = ϑ(Ω·(ϑ(Ω)+1))&lt;br /&gt;
* [([])([])] = ϑ(Ω·ϑ(Ω)·2)&lt;br /&gt;
* [([]())] = ϑ(Ω·ϑ(Ω+1))&lt;br /&gt;
* [([()])] = ϑ(Ω·ϑ(Ω·2))&lt;br /&gt;
* [([([])])] = ϑ(Ω·ϑ(Ω·ϑ(Ω)))&lt;br /&gt;
* [[]] = ϑ(Ω^2) = Γ(0)&lt;br /&gt;
* []([[]]) = ϑ(Ω+ϑ(Ω^2))&lt;br /&gt;
* [()]([[]]) = ϑ(Ω·2+ϑ(Ω^2))&lt;br /&gt;
* [([[]])] = ϑ(Ω·ϑ(Ω^2))&lt;br /&gt;
* [([([[]])])] = ϑ(Ω·ϑ(Ω·ϑ(Ω^2)))&lt;br /&gt;
* [[]]() = ϑ(Ω^2+1)&lt;br /&gt;
* [[]]([[]]) = ϑ(Ω^2+ϑ(Ω^2))&lt;br /&gt;
* [[]()] = ϑ(Ω^2+Ω)&lt;br /&gt;
* [[]([[]])] = ϑ(Ω^2+Ω·ϑ(Ω^2))&lt;br /&gt;
* &amp;lt;nowiki&amp;gt;[[()]]&amp;lt;/nowiki&amp;gt;= ϑ(Ω^2·2)&lt;br /&gt;
* [[([[]])]] = ϑ(Ω^2·ϑ(Ω^2))&lt;br /&gt;
* [[[]]] = ϑ(Ω^3)&lt;br /&gt;
* [[[]]]() = ϑ(Ω^3+1)&lt;br /&gt;
* [[[]]()] = ϑ(Ω^3+Ω)&lt;br /&gt;
* [[[]()]] = ϑ(Ω^3+Ω^2)&lt;br /&gt;
* [[[()]]] = ϑ(Ω^3·2)&lt;br /&gt;
* [[[[]]]] = ϑ(Ω^4)&lt;br /&gt;
* [][] = ϑ(Ω^ω)&lt;br /&gt;
* ([][]) = ϑ(Ω^ω)+1&lt;br /&gt;
* []([][]) = ϑ(Ω+ϑ(Ω^ω))&lt;br /&gt;
* [([][])] = ϑ(Ω·ϑ(Ω^ω))&lt;br /&gt;
* [[([][])]] = ϑ(Ω^2·ϑ(Ω^ω))&lt;br /&gt;
* [[][]] = ϑ(Ω^ω+1)&lt;br /&gt;
* [[][]]() = ϑ(Ω^ω+2)&lt;br /&gt;
* [[][]]([][]) = ϑ(Ω^ω+ϑ(Ω^ω))&lt;br /&gt;
* [[[][]]] = ϑ(Ω^ω+Ω)&lt;br /&gt;
* [[[][]]]() = ϑ(Ω^ω+Ω+1)&lt;br /&gt;
* [[[][]]()] = ϑ(Ω^ω+Ω·2)&lt;br /&gt;
* [[[[][]]]] = ϑ(Ω^ω+Ω^2)&lt;br /&gt;
* [[[[[][]]]]] = ϑ(Ω^ω+Ω^3)&lt;br /&gt;
* [()][] = ϑ(Ω^ω·2)&lt;br /&gt;
* [[()][]] = ϑ(Ω^ω·2+1)&lt;br /&gt;
* [[[()][]]] = ϑ(Ω^ω·2+Ω)&lt;br /&gt;
* [[[[()][]]]] = ϑ(Ω^ω·2+Ω^2)&lt;br /&gt;
* [(())][] = ϑ(Ω^ω·3)&lt;br /&gt;
* [([][])][] = ϑ(Ω^ω·ϑ(Ω^ω))&lt;br /&gt;
* [[]][] = ϑ(Ω^(ω+1))&lt;br /&gt;
* [[[]]][] = ϑ(Ω^(ω+2))&lt;br /&gt;
* [[][]][] = ϑ(Ω^(ω·2))&lt;br /&gt;
* [[[][]][]] = ϑ(Ω^(ω·2)+1)&lt;br /&gt;
* [[[[][]][]]] = ϑ(Ω^(ω·2)+Ω)&lt;br /&gt;
* [[[][]]][] = ϑ(Ω^(ω·2)+Ω^ω)&lt;br /&gt;
* [[[][]]()][] = ϑ(Ω^(ω·2)+Ω^ω·2)&lt;br /&gt;
* [[[[][]]]][] = ϑ(Ω^(ω·2)+Ω^(ω+1))&lt;br /&gt;
* [[()][]][] = ϑ(Ω^(ω·2)·2)&lt;br /&gt;
* [[[]][]][] = ϑ(Ω^(ω·2+1))&lt;br /&gt;
* [[[][]][]][] = ϑ(Ω^(ω·3))&lt;br /&gt;
* [[[[][]][]][]][] = ϑ(Ω^(ω·4))&lt;br /&gt;
* [()][()] = ϑ(Ω^ω^2)&lt;br /&gt;
* [[()][()]] = ϑ(Ω^ω^2+1)&lt;br /&gt;
* [[[()][()]][]] = ϑ(Ω^ω^2+Ω^ω)&lt;br /&gt;
* [(())][()] = ϑ(Ω^ω^2·2)&lt;br /&gt;
* [[]][()] = ϑ(Ω^(ω^2+1))&lt;br /&gt;
* [[()][()]][()] = ϑ(Ω^(ω^2·2))&lt;br /&gt;
* [(())][(())] = ϑ(Ω^ω^3)&lt;br /&gt;
* [([])][([])] = ϑ(Ω^ϑ(Ω))&lt;br /&gt;
* [[]][[]] = ϑ(Ω^Ω) = LVO&lt;br /&gt;
&lt;br /&gt;
看上去[]可以作为Ω的角色了，这样只使用权重1~2就能达到至少BHO的序型&lt;br /&gt;
&lt;br /&gt;
* ψ(Ω₂)={}&lt;br /&gt;
* ψ(Ω₂+Ω)=[{}]&lt;br /&gt;
* ψ(Ω₂+Ω^Ω^ω)=[{}][]&lt;br /&gt;
* ψ(Ω₂+ψ₁(Ω₂))=[{}][{}]&lt;br /&gt;
* ψ(Ω₂+ψ₁(Ω₂)+Ω)=[{}][[{}]]&lt;br /&gt;
* ψ(Ω₂+ψ₁(Ω₂)×2)=[{}][[{}][{}]]&lt;br /&gt;
* ψ(Ω₂+ψ₁(Ω₂)×3)=[{}][[{}][[{}][{}]]]&lt;br /&gt;
* ψ(Ω₂+ψ₁(Ω₂+1))=[[{}]][[{}]]&lt;br /&gt;
* ψ(Ω₂+ψ₁(Ω₂+2))=[[[{}]]][[[{}]]]&lt;br /&gt;
* ψ(Ω₂+ψ₁(Ω₂+ω))=[[{}]()][[{}]()]&lt;br /&gt;
* ψ(Ω₂+ψ₁(Ω₂+Ω))=[[{}][]][[{}][]]&lt;br /&gt;
* ψ(Ω₂+ψ₁(Ω₂+ψ₁(Ω₂)))=[[{}][{}]][[{}][{}]]&lt;br /&gt;
* ψ(Ω₂+ψ₁(Ω₂+ψ₁(Ω₂+ψ₁(Ω₂))))=[[[{}][{}]][[{}][{}]]][[[{}][{}]][[{}][{}]]]&lt;br /&gt;
* ψ(Ω₂×2)={}()&lt;br /&gt;
* ψ(Ω₂×ω)={}(()())&lt;br /&gt;
* ψ(Ω₂×Ω)={}[]&lt;br /&gt;
* ψ(Ω₂×ψ₁(Ω₂))={}[{}]&lt;br /&gt;
* ψ(Ω₂×ψ₁(Ω₂×ψ₁(Ω₂)))={}[{}[{}]]&lt;br /&gt;
* ψ(Ω₂²)={()}&lt;br /&gt;
* ψ(Ω₂^ω)={()()}&lt;br /&gt;
* ψ(Ω₂^Ω)={[]}&lt;br /&gt;
* &amp;lt;nowiki&amp;gt;ψ(Ω₂^Ω₂)={{}}&amp;lt;/nowiki&amp;gt;&lt;br /&gt;
* ψ(Ω₂^Ω₂³)={{{{}}}}&lt;br /&gt;
* ψ(Ω₂^Ω₂^ω)={}{}&lt;br /&gt;
* ψ(Ω₂^Ω₂^Ω)={[]}{[]}&lt;br /&gt;
* &amp;lt;nowiki&amp;gt;ψ(Ω₂^Ω₂^Ω₂)={{}}{{}}&amp;lt;/nowiki&amp;gt;&lt;br /&gt;
* ψ(Ω₂^Ω₂^Ω₂^ω)=&amp;lt;nowiki&amp;gt;{{}{}}&amp;lt;/nowiki&amp;gt;&amp;lt;nowiki&amp;gt;{{}{}}&amp;lt;/nowiki&amp;gt;&lt;br /&gt;
&lt;br /&gt;
于是得到ψ(Ω_ω)=极限&lt;br /&gt;
{{默认排序:个人记号}}&lt;/div&gt;</summary>
		<author><name>Z</name></author>
	</entry>
</feed>