打开/关闭搜索
搜索
打开/关闭菜单
230
68
68
2794
Googology Wiki
导航
首页
最近更改
随机页面
特殊页面
上传文件
打开/关闭外观设置菜单
通知
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。
user-interface-preferences
个人工具
创建账号
登录
PPS分析Part2
来自Googology Wiki
分享此页面
查看
阅读
查看源代码
查看历史
associated-pages
页面
讨论
更多操作
Baixie01000a7
(
留言
|
贡献
)
2026年2月20日 (五) 14:34的版本
(创建页面,内容为“{| class="wikitable" !
PPS
!!
康托范式
|- | <math>(0,1,0,2,0,4,4,3,0,3,0,10)</math> || <math>\varepsilon_{\omega^{\omega^{\varepsilon_0+1}+\omega^\omega}}</math> |- | <math>(0,1,0,2,0,4,4,3,0,3,0,10,0,3,0,14)</math> || <math>\varepsilon_{\omega^{\omega^{\varepsilon_0+1}+\omega^\omega\times2}}</math> |- | <math>(0,1,0,2,0,4,4,3,0,3,0,10,9)</math> || <math>\varepsilon_{\omega^{\omega^{\varepsilon_0+1}+\omega^{\omega+1}}}</math> |- | <math>(0,1,0,2,0,4…”)
(差异) ←上一版本 |
最后版本
(
差异
) |
下一版本→
(
差异
)
PPS
康托范式
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
)
ε
ω
ω
ε
0
+
1
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
0
,
3
,
0
,
1
4
)
ε
ω
ω
ε
0
+
1
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
9
)
ε
ω
ω
ε
0
+
1
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
9
,
0
,
0
,
9
)
ε
ω
ω
ε
0
+
1
+
ω
ω
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
9
,
0
,
0
,
9
,
0
,
1
5
)
ε
ω
ω
ε
0
+
1
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
9
,
0
,
0
,
9
,
0
,
1
6
)
ε
ω
ω
ε
0
+
1
+
ω
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
9
,
0
,
0
,
9
,
0
,
1
6
,
9
,
0
,
0
,
9
,
0
,
2
2
)
ε
ω
ω
ε
0
+
1
+
ω
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
9
,
0
,
0
,
1
0
)
ε
ω
ω
ε
0
+
1
+
ω
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
9
,
0
,
0
,
1
0
,
9
,
0
,
0
,
1
0
)
ε
ω
ω
ε
0
+
1
+
ω
ω
ω
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
9
,
0
,
1
1
)
ε
ω
ω
ε
0
+
1
+
ω
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
9
,
0
,
1
2
)
ε
ω
ω
ε
0
+
1
+
ω
ω
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
9
,
0
,
1
3
)
ε
ω
ω
ε
0
+
1
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
9
,
0
,
1
3
,
0
,
3
,
0
,
1
7
,
1
6
,
0
,
2
0
)
ε
ω
ω
ε
0
+
1
+
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
9
,
0
,
1
3
,
9
)
ε
ω
ω
ε
0
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
9
,
0
,
1
3
,
9
,
0
,
0
,
0
,
3
,
0
,
2
0
,
1
9
,
0
,
2
3
)
ε
ω
ω
ε
0
+
1
×
2
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
9
,
0
,
1
3
,
9
,
0
,
0
,
0
,
3
,
0
,
2
0
,
1
9
,
0
,
2
3
,
1
9
)
ε
ω
ω
ε
0
+
1
×
3
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
9
,
0
,
1
3
,
9
,
0
,
0
,
9
)
ε
ω
ω
ε
0
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
9
,
0
,
1
3
,
9
,
0
,
0
,
9
,
0
,
1
9
)
ε
ω
ω
ε
0
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
9
,
0
,
1
3
,
9
,
0
,
0
,
1
3
)
ε
ω
ω
ε
0
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
9
,
0
,
1
3
,
9
,
0
,
0
,
1
3
,
9
,
0
,
0
,
1
3
)
ε
ω
ω
ε
0
+
ω
ω
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
9
,
0
,
1
3
,
9
,
0
,
1
4
)
ε
ω
ω
ε
0
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
9
,
0
,
1
3
,
9
,
0
,
1
5
)
ε
ω
ω
ε
0
+
ω
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
9
,
0
,
1
3
,
9
,
0
,
1
6
)
ε
ω
ω
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
1
0
)
ε
ω
ω
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
1
0
,
3
,
0
,
3
,
0
,
1
6
,
1
5
,
0
,
1
9
)
ε
ω
ω
ω
ε
0
+
1
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
1
0
,
3
,
0
,
3
,
0
,
1
6
,
1
5
,
0
,
1
9
,
1
5
)
ε
ω
ω
ω
ε
0
+
1
+
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
1
0
,
3
,
0
,
3
,
0
,
1
6
,
1
5
,
0
,
1
9
,
1
5
,
0
,
0
,
1
5
,
0
,
2
5
)
ε
ω
ω
ω
ε
0
+
1
+
ω
ε
0
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
1
0
,
3
,
0
,
3
,
0
,
1
6
,
1
5
,
0
,
1
9
,
1
5
,
0
,
0
,
1
9
)
ε
ω
ω
ω
ε
0
+
1
+
ω
ε
0
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
1
0
,
3
,
0
,
3
,
0
,
1
6
,
1
5
,
0
,
1
9
,
1
5
,
0
,
2
2
)
ε
ω
ω
ω
ε
0
+
1
+
ω
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
3
,
0
,
1
0
,
1
0
,
3
,
0
,
3
,
0
,
1
6
,
1
6
)
ε
ω
ω
ω
ε
0
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
)
ε
ω
ω
ω
ε
0
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
0
,
3
,
0
,
1
4
,
1
3
)
ε
ω
ω
ω
ε
0
+
1
+
1
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
0
,
3
,
0
,
1
4
,
1
3
,
0
,
1
7
)
ε
ω
ω
ω
ε
0
+
1
+
1
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
0
,
3
,
0
,
1
4
,
1
3
,
0
,
1
7
,
1
3
)
ε
ω
ω
ω
ε
0
+
1
+
1
+
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
0
,
3
,
0
,
1
4
,
1
3
,
0
,
1
7
,
1
3
,
0
,
2
0
)
ε
ω
ω
ω
ε
0
+
1
+
1
+
ω
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
0
,
3
,
0
,
1
4
,
1
4
)
ε
ω
ω
ω
ε
0
+
1
+
1
+
ω
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
0
,
3
,
0
,
1
4
,
1
4
,
3
,
0
,
1
4
)
ε
ω
ω
ω
ε
0
+
1
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
0
,
4
)
ε
ω
ω
ω
ε
0
+
1
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
9
)
ε
ω
ω
ω
ε
0
+
1
+
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
)
ε
ω
ω
ω
ε
0
+
1
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
0
,
4
,
3
,
0
,
1
6
)
ε
ω
ω
ω
ε
0
+
1
+
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
)
ε
ω
ω
ω
ε
0
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
)
ε
ω
ω
ω
ε
0
+
1
×
2
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
3
,
0
,
2
2
)
ε
ω
ω
ω
ε
0
+
1
×
2
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
3
,
0
,
2
2
,
2
1
)
ε
ω
ω
ω
ε
0
+
1
×
2
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
3
,
0
,
2
2
,
2
1
,
0
,
0
,
2
1
)
ε
ω
ω
ω
ε
0
+
1
×
2
+
ω
ω
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
3
,
0
,
2
2
,
2
1
,
0
,
0
,
2
1
,
0
,
2
8
)
ε
ω
ω
ω
ε
0
+
1
×
2
+
ω
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
3
,
0
,
2
2
,
2
1
,
0
,
0
,
2
2
)
ε
ω
ω
ω
ε
0
+
1
×
2
+
ω
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
3
,
0
,
2
2
,
2
1
,
0
,
0
,
2
2
,
2
1
,
0
,
0
,
2
2
)
ε
ω
ω
ω
ε
0
+
1
×
2
+
ω
ω
ω
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
3
,
0
,
2
2
,
2
1
,
0
,
2
3
)
ε
ω
ω
ω
ε
0
+
1
×
2
+
ω
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
3
,
0
,
2
2
,
2
1
,
0
,
2
5
)
ε
ω
ω
ω
ε
0
+
1
×
2
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
3
,
0
,
2
2
,
2
1
,
0
,
2
5
,
2
1
)
ε
ω
ω
ω
ε
0
+
1
×
2
+
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
3
,
0
,
2
2
,
2
1
,
0
,
2
5
,
2
1
,
0
,
2
8
)
ε
ω
ω
ω
ε
0
+
1
×
2
+
ω
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
3
,
0
,
2
2
,
2
2
)
ε
ω
ω
ω
ε
0
+
1
×
2
+
ω
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
3
,
0
,
2
2
,
2
2
,
3
,
0
,
3
,
0
,
2
8
,
2
8
)
ε
ω
ω
ω
ε
0
+
1
×
2
+
ω
ω
ε
0
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
3
,
0
,
2
2
,
2
2
,
3
,
0
,
2
2
)
ε
ω
ω
ω
ε
0
+
1
×
2
+
ω
ω
ε
0
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
3
,
0
,
2
2
,
2
2
,
3
,
0
,
2
2
,
3
,
0
,
2
7
)
ε
ω
ω
ω
ε
0
+
1
×
2
+
ω
ω
ε
0
+
1
+
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
3
,
0
,
2
2
,
2
2
,
3
,
0
,
2
2
,
3
,
0
,
2
9
)
ε
ω
ω
ω
ε
0
+
1
×
2
+
ω
ω
ε
0
+
1
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
3
,
0
,
2
2
,
2
2
,
3
,
0
,
2
2
,
3
,
0
,
2
9
,
0
,
2
2
,
3
,
0
,
3
4
)
ε
ω
ω
ω
ε
0
+
1
×
2
+
ω
ω
ε
0
+
1
+
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
3
,
0
,
2
2
,
2
2
,
3
,
0
,
2
2
,
3
,
0
,
2
9
,
2
7
)
ε
ω
ω
ω
ε
0
+
1
×
2
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
4
)
ε
ω
ω
ω
ε
0
+
1
×
2
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
4
,
3
,
0
,
0
,
4
)
ε
ω
ω
ω
ε
0
+
1
×
2
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
4
,
3
,
0
,
2
3
)
ε
ω
ω
ω
ε
0
+
1
×
2
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
4
,
3
,
0
,
2
3
,
0
,
4
,
3
,
0
,
2
8
)
ε
ω
ω
ω
ε
0
+
1
×
2
+
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
4
,
3
,
0
,
2
3
,
2
1
)
ε
ω
ω
ω
ε
0
+
1
×
3
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
4
,
3
,
0
,
2
3
,
2
1
,
3
,
0
,
0
,
3
,
0
,
3
0
,
0
,
3
,
0
,
3
4
,
3
4
)
ε
ω
ω
ω
ε
0
+
1
×
3
+
ω
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
4
,
3
,
0
,
2
3
,
2
1
,
3
,
0
,
0
,
3
,
0
,
3
0
,
0
,
3
,
0
,
3
4
,
3
4
,
3
,
0
,
3
4
,
3
,
0
,
4
1
,
3
9
)
ε
ω
ω
ω
ε
0
+
1
×
3
+
ω
ω
ε
0
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
4
,
3
,
0
,
2
3
,
2
1
,
3
,
0
,
0
,
3
,
0
,
3
0
,
0
,
3
,
0
,
3
4
,
3
4
,
3
,
0
,
3
4
,
3
,
0
,
4
1
,
3
9
,
3
,
0
,
0
,
3
,
0
,
4
8
,
0
,
3
,
0
,
5
2
,
5
2
,
3
,
0
,
5
2
,
3
,
0
,
5
9
,
5
7
)
ε
ω
ω
ω
ε
0
+
1
×
3
+
ω
ω
ε
0
+
1
×
2
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
4
,
3
,
0
,
2
3
,
2
1
,
3
,
0
,
0
,
3
,
0
,
3
0
,
0
,
3
,
0
,
3
4
,
3
4
,
3
,
0
,
3
4
,
3
,
0
,
4
1
,
3
9
,
3
,
0
,
0
,
3
,
0
,
4
8
,
0
,
3
4
)
ε
ω
ω
ω
ε
0
+
1
×
3
+
ω
ω
ε
0
+
1
×
2
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
4
,
3
,
0
,
2
3
,
2
1
,
3
,
0
,
0
,
3
,
0
,
3
0
,
0
,
3
,
0
,
3
4
,
3
4
,
3
,
0
,
3
4
,
3
,
0
,
4
1
,
3
9
,
3
,
0
,
0
,
3
,
0
,
4
8
,
0
,
3
4
,
3
,
0
,
5
3
)
ε
ω
ω
ω
ε
0
+
1
×
3
+
ω
ω
ε
0
+
1
×
2
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
4
,
3
,
0
,
2
3
,
2
1
,
3
,
0
,
0
,
3
,
0
,
3
0
,
0
,
3
,
0
,
3
4
,
3
4
,
3
,
0
,
3
4
,
3
,
0
,
4
1
,
3
9
,
3
,
0
,
0
,
3
,
0
,
4
8
,
0
,
3
4
,
3
,
0
,
5
3
,
5
1
)
ε
ω
ω
ω
ε
0
+
1
×
3
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
4
,
3
,
0
,
2
3
,
2
1
,
3
,
0
,
0
,
3
,
0
,
3
0
,
0
,
4
)
ε
ω
ω
ω
ε
0
+
1
×
3
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
4
,
3
,
0
,
2
3
,
2
1
,
3
,
0
,
0
,
3
,
0
,
3
0
,
0
,
4
,
3
,
0
,
0
,
4
)
ε
ω
ω
ω
ε
0
+
1
×
3
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
4
,
3
,
0
,
2
3
,
2
1
,
3
,
0
,
0
,
3
,
0
,
3
0
,
0
,
4
,
3
,
0
,
3
3
)
ε
ω
ω
ω
ε
0
+
1
×
3
+
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
4
,
3
,
0
,
2
3
,
2
1
,
3
,
0
,
0
,
3
,
0
,
3
0
,
0
,
4
,
3
,
0
,
3
5
)
ε
ω
ω
ω
ε
0
+
1
×
3
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
4
,
3
,
0
,
2
3
,
2
1
,
3
,
0
,
0
,
3
,
0
,
3
0
,
0
,
4
,
3
,
0
,
3
5
,
3
3
)
ε
ω
ω
ω
ε
0
+
1
×
4
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
4
,
3
,
0
,
2
3
,
2
1
,
3
,
0
,
0
,
3
,
0
,
3
0
,
0
,
4
,
3
,
0
,
3
5
,
3
3
,
3
,
0
,
0
,
3
,
0
,
4
2
,
0
,
3
,
0
,
4
6
,
4
6
,
3
,
0
,
4
6
,
3
,
0
,
5
3
,
5
1
)
ε
ω
ω
ω
ε
0
+
1
×
4
+
ω
ω
ε
0
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
4
,
3
,
0
,
2
3
,
2
1
,
3
,
0
,
0
,
3
,
0
,
3
0
,
0
,
4
,
3
,
0
,
3
5
,
3
3
,
3
,
0
,
0
,
3
,
0
,
4
2
,
0
,
3
,
0
,
4
6
,
4
6
,
3
,
0
,
4
6
,
3
,
0
,
5
3
,
5
1
,
3
,
0
,
0
,
3
,
0
,
6
0
,
0
,
4
6
,
3
,
0
,
6
5
,
6
3
)
ε
ω
ω
ω
ε
0
+
1
×
4
+
ω
ω
ε
0
+
1
×
3
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
4
,
3
,
0
,
2
3
,
2
1
,
3
,
0
,
0
,
3
,
0
,
3
0
,
0
,
4
,
3
,
0
,
3
5
,
3
3
,
3
,
0
,
0
,
3
,
0
,
4
2
,
0
,
3
,
0
,
4
6
,
4
6
,
3
,
0
,
4
6
,
3
,
0
,
5
3
,
5
1
,
3
,
0
,
0
,
3
,
0
,
6
0
,
0
,
4
6
,
3
,
0
,
6
5
,
6
3
,
3
,
0
,
0
,
3
,
0
,
7
2
,
0
,
4
6
,
3
,
0
,
7
7
,
7
5
)
ε
ω
ω
ω
ε
0
+
1
×
4
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
4
,
3
,
0
,
2
3
,
2
1
,
3
,
0
,
0
,
3
,
0
,
3
0
,
0
,
4
,
3
,
0
,
3
5
,
3
3
,
3
,
0
,
0
,
3
,
0
,
4
2
,
0
,
4
)
ε
ω
ω
ω
ε
0
+
1
×
4
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
0
,
4
,
3
,
0
,
2
3
,
2
1
,
3
,
0
,
0
,
3
,
0
,
3
0
,
0
,
4
,
3
,
0
,
3
5
,
3
3
,
3
,
0
,
0
,
3
,
0
,
4
2
,
0
,
4
,
3
,
0
,
4
7
,
4
5
)
ε
ω
ω
ω
ε
0
+
1
×
5
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
9
)
ε
ω
ω
ω
ε
0
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
9
,
3
,
0
,
0
,
3
,
0
,
2
5
,
0
,
3
,
0
,
2
9
,
2
8
,
0
,
3
2
)
ε
ω
ω
ω
ε
0
+
2
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
9
,
3
,
0
,
0
,
3
,
0
,
2
5
,
0
,
3
,
0
,
2
9
,
2
9
)
ε
ω
ω
ω
ε
0
+
2
+
ω
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
9
,
3
,
0
,
0
,
3
,
0
,
2
5
,
0
,
3
,
0
,
2
9
,
2
9
,
3
,
0
,
2
9
)
ε
ω
ω
ω
ε
0
+
2
+
ω
ω
ε
0
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
9
,
3
,
0
,
0
,
3
,
0
,
2
5
,
0
,
3
,
0
,
2
9
,
2
9
,
3
,
0
,
2
9
,
3
,
0
,
3
6
,
3
4
)
ε
ω
ω
ω
ε
0
+
2
+
ω
ω
ε
0
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
9
,
3
,
0
,
0
,
3
,
0
,
2
5
,
0
,
3
,
0
,
2
9
,
2
9
,
3
,
0
,
2
9
,
3
,
0
,
3
6
,
3
4
,
3
,
0
,
0
,
3
,
0
,
4
3
,
0
,
3
,
0
,
4
7
,
4
7
,
3
,
0
,
4
7
,
3
,
0
,
5
4
,
5
2
)
ε
ω
ω
ω
ε
0
+
2
+
ω
ω
ε
0
+
1
×
2
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
9
,
3
,
0
,
0
,
3
,
0
,
2
5
,
0
,
3
,
0
,
2
9
,
2
9
,
3
,
0
,
2
9
,
3
,
0
,
3
6
,
3
4
,
3
,
0
,
0
,
3
,
0
,
4
3
,
0
,
2
9
)
ε
ω
ω
ω
ε
0
+
2
+
ω
ω
ε
0
+
1
×
2
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
9
,
3
,
0
,
0
,
3
,
0
,
2
5
,
0
,
3
,
0
,
2
9
,
2
9
,
3
,
0
,
2
9
,
3
,
0
,
3
6
,
3
4
,
3
,
0
,
0
,
3
,
0
,
4
3
,
0
,
2
9
,
3
,
0
,
4
8
)
ε
ω
ω
ω
ε
0
+
2
+
ω
ω
ε
0
+
1
×
2
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
9
,
3
,
0
,
0
,
3
,
0
,
2
5
,
0
,
3
,
0
,
2
9
,
2
9
,
3
,
0
,
2
9
,
3
,
0
,
3
6
,
3
4
,
3
,
0
,
0
,
3
,
0
,
4
3
,
0
,
2
9
,
3
,
0
,
4
8
,
4
6
)
ε
ω
ω
ω
ε
0
+
2
+
ω
ω
ε
0
+
1
×
3
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
9
,
3
,
0
,
0
,
3
,
0
,
2
5
,
0
,
3
,
0
,
2
9
,
2
9
,
3
,
0
,
2
9
,
3
,
0
,
3
6
,
3
4
,
3
,
0
,
0
,
3
,
0
,
4
3
,
3
4
)
ε
ω
ω
ω
ε
0
+
2
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
9
,
3
,
0
,
0
,
3
,
0
,
2
5
,
0
,
3
,
0
,
2
9
,
2
9
,
3
,
0
,
2
9
,
3
,
0
,
3
6
,
3
4
,
3
,
0
,
0
,
3
,
0
,
4
3
,
3
4
,
3
,
0
,
0
,
3
,
0
,
5
0
,
0
,
3
,
0
,
5
4
,
5
4
,
3
,
0
,
5
4
,
3
,
0
,
6
1
,
5
9
,
3
,
0
,
0
,
3
,
0
,
6
8
,
5
9
)
ε
ω
ω
ω
ε
0
+
2
×
3
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
9
,
3
,
0
,
0
,
3
,
0
,
2
5
,
0
,
4
)
ε
ω
ω
ω
ε
0
+
2
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
9
,
3
,
0
,
0
,
3
,
0
,
2
5
,
0
,
4
,
3
,
0
,
3
0
,
2
8
)
ε
ω
ω
ω
ε
0
+
2
+
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
9
,
3
,
0
,
0
,
3
,
0
,
2
5
,
0
,
4
,
3
,
0
,
3
0
,
2
8
,
3
,
0
,
0
,
3
,
0
,
3
7
,
0
,
4
,
3
,
0
,
4
2
,
4
0
)
ε
ω
ω
ω
ε
0
+
2
+
ω
ε
0
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
9
,
3
,
0
,
0
,
3
,
0
,
2
5
,
0
,
4
,
3
,
0
,
3
0
,
2
8
,
3
,
0
,
0
,
3
,
0
,
3
7
,
2
8
)
ε
ω
ω
ω
ε
0
+
2
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
9
,
3
,
0
,
0
,
3
,
0
,
2
5
,
0
,
4
,
3
,
0
,
3
0
,
2
8
,
3
,
0
,
0
,
3
,
0
,
3
7
,
2
8
,
3
,
0
,
0
,
3
,
0
,
4
4
,
0
,
4
,
3
,
0
,
4
9
,
4
7
,
3
,
0
,
0
,
3
,
0
,
5
6
,
4
7
)
ε
ω
ω
ω
ε
0
+
2
×
3
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
1
8
,
9
,
3
,
0
,
0
,
3
,
0
,
2
5
,
9
)
ε
ω
ω
ω
ε
0
+
3
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
1
1
)
ε
ω
ω
ω
ε
0
+
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
1
1
,
0
,
4
,
3
,
0
,
2
1
,
1
9
)
ε
ω
ω
ω
ε
0
+
ω
+
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
1
1
,
0
,
4
,
3
,
0
,
2
1
,
1
9
,
3
,
0
,
0
,
3
,
0
,
2
8
,
1
9
)
ε
ω
ω
ω
ε
0
+
ω
+
ω
ε
0
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
1
1
,
0
,
4
,
3
,
0
,
2
1
,
1
9
,
3
,
0
,
0
,
2
1
)
ε
ω
ω
ω
ε
0
+
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
1
1
,
9
)
ε
ω
ω
ω
ε
0
+
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
2
3
,
9
)
ε
ω
ω
ω
ε
0
+
ω
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
2
3
,
9
,
3
,
0
,
0
,
3
,
0
,
3
0
,
9
)
ε
ω
ω
ω
ε
0
+
ω
+
3
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
2
3
,
9
,
3
,
0
,
0
,
2
3
)
ε
ω
ω
ω
ε
0
+
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
2
3
,
9
,
3
,
0
,
0
,
2
3
,
9
)
ε
ω
ω
ω
ε
0
+
ω
×
2
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
2
3
,
9
,
3
,
0
,
0
,
2
3
,
9
,
3
,
0
,
0
,
3
,
0
,
3
5
,
9
,
3
,
0
,
0
,
3
5
,
9
)
ε
ω
ω
ω
ε
0
+
ω
×
3
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
1
1
,
9
,
3
,
0
,
0
,
1
1
)
ε
ω
ω
ω
ε
0
+
ω
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
1
1
,
9
,
3
,
0
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
2
8
,
9
)
ε
ω
ω
ω
ε
0
+
ω
2
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
1
1
,
9
,
3
,
0
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
2
8
,
9
,
3
,
0
,
0
,
2
8
)
ε
ω
ω
ω
ε
0
+
ω
2
+
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
1
1
,
9
,
3
,
0
,
0
,
1
1
,
9
,
3
,
0
,
0
,
3
,
0
,
2
8
,
9
,
3
,
0
,
0
,
2
8
,
9
,
3
,
0
,
0
,
2
8
)
ε
ω
ω
ω
ε
0
+
ω
2
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
0
,
1
1
,
9
,
3
,
0
,
0
,
1
1
,
9
,
3
,
0
,
0
,
1
1
)
ε
ω
ω
ω
ε
0
+
ω
3
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
2
)
ε
ω
ω
ω
ε
0
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
2
,
9
)
ε
ω
ω
ω
ε
0
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
2
,
9
,
3
,
0
,
0
,
3
,
0
,
2
2
,
9
,
3
,
0
,
0
,
2
2
)
ε
ω
ω
ω
ε
0
+
ω
ω
+
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
2
,
9
,
3
,
0
,
0
,
3
,
0
,
2
2
,
9
,
3
,
0
,
0
,
2
2
,
9
,
3
,
0
,
0
,
2
2
)
ε
ω
ω
ω
ε
0
+
ω
ω
+
ω
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
2
,
9
,
3
,
0
,
0
,
3
,
0
,
2
2
,
9
,
3
,
0
,
2
3
)
ε
ω
ω
ω
ε
0
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
2
,
9
,
3
,
0
,
0
,
1
1
)
ε
ω
ω
ω
ε
0
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
2
,
9
,
3
,
0
,
0
,
1
1
,
9
,
3
,
0
,
2
1
)
ε
ω
ω
ω
ε
0
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
2
,
9
,
3
,
0
,
0
,
1
1
,
9
,
3
,
0
,
2
1
,
9
,
3
,
0
,
0
,
1
1
,
9
,
3
,
0
,
3
0
)
ε
ω
ω
ω
ε
0
+
ω
ω
×
3
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
2
,
9
,
3
,
0
,
1
2
)
ε
ω
ω
ω
ε
0
+
ω
ω
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
2
,
9
,
3
,
0
,
1
2
,
9
,
3
,
0
,
1
2
)
ε
ω
ω
ω
ε
0
+
ω
ω
3
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
3
)
ε
ω
ω
ω
ε
0
+
ω
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
)
ε
ω
ω
ω
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
0
,
3
,
0
,
2
0
,
9
)
ε
ω
ω
ω
ε
0
×
2
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
0
,
3
,
0
,
2
0
,
9
,
3
,
0
,
2
3
)
ε
ω
ω
ω
ε
0
×
3
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
0
,
1
1
)
ε
ω
ω
ω
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
0
,
1
1
,
9
,
3
,
0
,
0
,
1
1
)
ε
ω
ω
ω
ω
ε
0
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
0
,
1
1
,
9
,
3
,
0
,
1
9
)
ε
ω
ω
ω
ω
ε
0
+
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
0
,
1
1
,
9
,
3
,
0
,
2
1
)
ε
ω
ω
ω
ω
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
0
,
1
1
,
9
,
3
,
0
,
2
1
,
0
,
0
,
1
1
,
9
,
3
,
0
,
2
8
)
ε
ω
ω
ω
ω
ε
0
×
3
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
2
)
ε
ω
ω
ω
ω
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
2
,
9
,
3
,
0
,
0
,
0
,
1
1
,
9
,
3
,
0
,
2
4
)
ε
ω
ω
ω
ω
ω
ε
0
+
1
+
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
2
,
9
,
3
,
0
,
0
,
0
,
1
1
,
9
,
3
,
0
,
2
6
)
ε
ω
ω
ω
ω
ω
ε
0
+
1
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
2
,
9
,
3
,
0
,
0
,
0
,
1
1
,
9
,
3
,
0
,
2
6
,
0
,
0
,
1
1
,
9
,
3
,
0
,
3
3
)
ε
ω
ω
ω
ω
ω
ε
0
+
1
+
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
2
,
9
,
3
,
0
,
0
,
0
,
1
1
,
9
,
3
,
0
,
2
6
,
0
,
2
4
)
ε
ω
ω
ω
ω
ω
ε
0
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
2
,
9
,
3
,
0
,
0
,
1
2
)
ε
ω
ω
ω
ω
ω
ε
0
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
2
,
9
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
0
,
0
,
1
1
,
9
,
3
,
0
,
3
1
,
0
,
2
9
,
9
,
3
,
0
,
0
,
2
9
)
ε
ω
ω
ω
ω
ω
ε
0
+
2
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
2
,
9
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
0
,
1
2
)
ε
ω
ω
ω
ω
ω
ε
0
+
3
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
2
,
9
,
3
,
0
,
1
8
)
ε
ω
ω
ω
ω
ω
ε
0
+
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
2
,
9
,
3
,
0
,
2
0
)
ε
ω
ω
ω
ω
ω
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
2
,
9
,
3
,
0
,
2
0
,
0
,
1
2
,
9
,
3
,
0
,
2
6
)
ε
ω
ω
ω
ω
ω
ε
0
×
3
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
)
ε
ω
ω
ω
ω
ω
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
2
)
ε
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
4
)
ε
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
4
,
0
,
0
,
1
2
,
9
,
3
,
0
,
3
1
)
ε
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
4
,
0
,
2
2
)
ε
ω
ω
ω
ω
ω
ω
ε
0
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
4
,
0
,
2
2
,
9
,
3
,
0
,
0
,
0
,
1
2
,
9
,
3
,
0
,
3
6
,
0
,
3
4
)
ε
ω
ω
ω
ω
ω
ω
ε
0
+
1
×
3
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
4
,
0
,
2
2
,
9
,
3
,
0
,
0
,
2
2
)
ε
ω
ω
ω
ω
ω
ω
ε
0
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
4
,
0
,
2
2
,
9
,
3
,
0
,
2
8
)
ε
ω
ω
ω
ω
ω
ω
ε
0
+
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
4
,
0
,
2
2
,
9
,
3
,
0
,
2
9
)
ε
ω
ω
ω
ω
ω
ω
ε
0
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
4
,
0
,
2
2
,
9
,
3
,
0
,
3
0
)
ε
ω
ω
ω
ω
ω
ω
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
4
,
0
,
2
3
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
4
,
0
,
2
3
,
3
,
0
,
0
,
1
2
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
4
,
0
,
2
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
3
4
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
4
,
0
,
2
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
3
4
,
0
,
0
,
1
2
,
9
,
3
,
0
,
4
1
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
4
,
0
,
2
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
3
4
,
0
,
3
2
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
4
,
0
,
2
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
3
4
,
0
,
3
2
,
9
,
3
,
0
,
0
,
3
2
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
ω
ε
0
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
4
,
0
,
2
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
3
4
,
0
,
3
2
,
9
,
3
,
0
,
4
0
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
ω
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
4
,
0
,
2
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
3
4
,
0
,
3
3
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
3
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
8
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
1
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
8
,
0
,
2
6
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
1
+
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
8
,
0
,
2
6
,
9
,
3
,
0
,
3
4
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
1
+
ω
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
8
,
0
,
2
7
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
1
+
ω
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
8
,
0
,
2
7
,
3
,
0
,
0
,
0
,
1
2
,
9
,
3
,
0
,
3
9
,
0
,
3
8
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
1
+
ω
ω
ε
0
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
8
,
0
,
2
7
,
3
,
0
,
0
,
2
6
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
1
+
ω
ω
ε
0
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
8
,
0
,
2
7
,
3
,
0
,
0
,
2
6
,
9
,
3
,
0
,
0
,
0
,
1
2
,
9
,
3
,
0
,
4
4
,
0
,
4
3
,
3
,
0
,
0
,
4
2
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
1
+
ω
ω
ε
0
+
1
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
8
,
0
,
2
7
,
3
,
0
,
0
,
2
6
,
9
,
3
,
0
,
0
,
2
6
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
8
,
0
,
2
7
,
3
,
0
,
0
,
2
6
,
9
,
3
,
0
,
0
,
2
6
,
9
,
3
,
0
,
0
,
0
,
1
2
,
9
,
3
,
0
,
4
9
,
0
,
4
8
,
3
,
0
,
0
,
4
7
,
9
,
3
,
0
,
0
,
4
7
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
2
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
8
,
0
,
2
7
,
3
,
0
,
0
,
2
6
,
9
,
3
,
0
,
0
,
2
6
,
9
,
3
,
0
,
0
,
2
6
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
3
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
8
,
0
,
2
7
,
3
,
0
,
0
,
2
6
,
9
,
3
,
0
,
3
6
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
8
,
0
,
2
7
,
3
,
0
,
0
,
2
6
,
9
,
3
,
0
,
3
8
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
8
,
0
,
2
7
,
3
,
0
,
0
,
2
6
,
9
,
3
,
0
,
3
8
,
0
,
0
,
2
6
,
9
,
3
,
0
,
4
5
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
8
,
0
,
2
7
,
3
,
0
,
0
,
2
6
,
9
,
3
,
0
,
3
8
,
0
,
3
6
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
8
,
0
,
2
7
,
3
,
0
,
0
,
2
6
,
9
,
3
,
0
,
3
8
,
0
,
3
6
,
9
,
3
,
0
,
0
,
3
6
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
8
,
0
,
2
7
,
3
,
0
,
0
,
2
6
,
9
,
3
,
0
,
3
8
,
0
,
3
6
,
9
,
3
,
0
,
4
2
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
+
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
8
,
0
,
2
7
,
3
,
0
,
0
,
2
6
,
9
,
3
,
0
,
3
8
,
0
,
3
6
,
9
,
3
,
0
,
4
4
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
8
,
0
,
2
7
,
3
,
0
,
0
,
2
6
,
9
,
3
,
0
,
3
8
,
0
,
3
6
,
9
,
3
,
0
,
4
4
,
0
,
3
6
,
9
,
3
,
0
,
5
0
)
ε
ω
ω
ω
ω
ω
ω
ω
ε
0
×
3
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
8
,
0
,
2
7
,
3
,
0
,
0
,
2
6
,
9
,
3
,
0
,
3
8
,
0
,
3
7
)
ε
ω
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
8
,
0
,
2
7
,
3
,
0
,
0
,
2
6
,
9
,
3
,
0
,
3
8
,
0
,
3
7
,
3
,
0
,
0
,
2
6
,
9
,
3
,
0
,
4
8
,
0
,
4
7
)
ε
ω
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
8
,
0
,
2
7
,
3
,
0
,
0
,
2
7
)
ε
ω
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
3
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
8
,
0
,
2
7
,
3
,
0
,
0
,
2
7
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
4
2
,
0
,
4
1
,
3
,
0
,
0
,
4
1
)
ε
ω
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
0
,
1
3
,
3
,
0
,
0
,
1
3
)
ε
ω
ω
ω
ω
ω
ω
ω
ω
ε
0
+
1
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
1
8
)
ε
ε
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
1
8
,
3
,
0
,
0
,
0
,
3
)
ε
ω
ε
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
1
8
,
3
,
0
,
0
,
0
,
3
,
0
,
2
7
)
ε
ω
ε
1
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
1
8
,
3
,
0
,
0
,
0
,
3
,
0
,
2
7
,
0
,
3
,
0
,
3
1
,
3
1
,
3
,
0
,
3
1
,
3
,
0
,
3
8
,
3
6
,
3
,
0
,
4
1
,
0
,
4
0
,
3
,
0
,
4
5
)
ε
ω
ε
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
1
8
,
3
,
0
,
0
,
0
,
3
,
0
,
2
7
,
0
,
4
)
ε
ω
ω
ε
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
1
8
,
3
,
0
,
0
,
0
,
3
,
0
,
2
7
,
0
,
4
,
3
,
0
,
0
,
4
)
ε
ω
ω
ε
1
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
1
8
,
3
,
0
,
0
,
0
,
3
,
0
,
2
7
,
0
,
4
,
3
,
0
,
3
1
)
ε
ω
ω
ε
1
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
1
8
,
3
,
0
,
0
,
0
,
3
,
0
,
2
7
,
0
,
4
,
3
,
0
,
3
2
)
ε
ω
ω
ε
1
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
1
8
,
3
,
0
,
0
,
0
,
3
,
0
,
2
7
,
0
,
4
,
3
,
0
,
3
2
,
3
0
,
3
,
0
,
3
5
,
0
,
3
4
,
3
,
0
,
3
9
)
ε
ω
ω
ε
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
1
8
,
3
,
0
,
0
,
0
,
3
,
0
,
2
7
,
9
)
ε
ω
ω
ω
ε
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
1
8
,
3
,
0
,
0
,
0
,
3
,
0
,
2
7
,
9
,
3
,
0
,
0
,
3
,
0
,
3
4
,
9
)
ε
ω
ω
ω
ε
1
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
1
8
,
3
,
0
,
0
,
0
,
3
,
0
,
2
7
,
9
,
3
,
0
,
0
,
2
7
)
ε
ω
ω
ω
ε
1
+
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
1
8
,
3
,
0
,
0
,
0
,
3
,
0
,
2
7
,
9
,
3
,
0
,
3
0
)
ε
ω
ω
ω
ε
1
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
1
8
,
3
,
0
,
0
,
0
,
3
,
0
,
2
7
,
9
,
3
,
0
,
3
0
,
0
,
2
9
,
3
,
0
,
3
4
)
ε
ω
ω
ω
ε
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
1
8
,
3
,
0
,
0
,
0
,
1
1
)
ε
ω
ω
ω
ω
ε
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
1
8
,
3
,
0
,
0
,
0
,
1
1
,
9
,
3
,
0
,
2
8
,
0
,
2
7
,
3
,
0
,
3
2
)
ε
ω
ω
ω
ω
ε
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
1
8
,
3
,
0
,
0
,
1
2
)
ε
ω
ω
ω
ω
ω
ε
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
1
8
,
3
,
0
,
0
,
1
2
,
9
,
3
,
0
,
2
7
,
0
,
2
6
,
3
,
0
,
3
1
)
ε
ω
ω
ω
ω
ω
ε
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
1
8
,
3
,
0
,
0
,
1
3
)
ε
ω
ω
ω
ω
ω
ω
ε
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
1
8
,
3
,
0
,
0
,
1
3
,
3
,
0
,
2
5
)
ε
ε
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
1
8
,
3
,
0
,
0
,
1
3
,
3
,
0
,
2
5
,
3
,
0
,
0
,
1
3
,
3
,
0
,
3
2
)
ε
ε
3
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
1
8
,
3
,
0
,
1
8
)
ε
ε
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
1
9
)
ε
ε
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
3
,
3
,
0
,
1
9
,
0
,
1
3
,
3
,
0
,
2
4
)
ε
ε
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
4
)
ε
ε
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
4
,
0
,
1
4
,
0
,
1
4
)
ε
ε
ω
ω
ω
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
)
ε
ε
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
0
,
3
)
ε
ω
ε
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
0
,
4
)
ε
ω
ω
ε
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
)
ε
ω
ω
ω
ε
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
0
,
3
,
0
,
2
2
,
9
)
ε
ω
ω
ω
ε
ε
0
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
0
,
1
5
)
ε
ω
ω
ω
ε
ε
0
+
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
0
,
1
5
,
9
,
3
,
0
,
0
,
1
5
)
ε
ω
ω
ω
ε
ε
0
+
ω
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
1
6
)
ε
ω
ω
ω
ε
ε
0
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
1
8
)
ε
ω
ω
ω
ε
ε
0
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
1
8
,
0
,
1
6
)
ε
ω
ω
ω
ε
ε
0
+
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
1
8
,
0
,
1
7
)
ε
ω
ω
ω
ε
ε
0
+
ω
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
1
8
,
0
,
1
7
,
3
,
0
,
0
,
1
7
)
ε
ω
ω
ω
ε
ε
0
+
ω
ω
ω
ε
0
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
1
8
,
0
,
1
7
,
3
,
0
,
2
2
)
ε
ω
ω
ω
ε
ε
0
+
ε
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
1
8
,
0
,
1
7
,
3
,
0
,
2
3
)
ε
ω
ω
ω
ε
ε
0
+
ε
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
1
8
,
0
,
1
8
)
ε
ω
ω
ω
ε
ε
0
+
ε
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
1
8
,
0
,
1
8
,
0
,
1
8
)
ε
ω
ω
ω
ε
ε
0
+
ε
ω
ω
ω
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
1
9
)
ε
ω
ω
ω
ε
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
1
0
)
ε
ω
ω
ω
ω
ε
ε
0
+
1
PPS分析Part2
来自Googology Wiki