打开/关闭搜索
搜索
打开/关闭菜单
223
68
64
2725
Googology Wiki
导航
首页
最近更改
随机页面
特殊页面
上传文件
打开/关闭外观设置菜单
通知
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。
user-interface-preferences
个人工具
创建账号
登录
PPS分析
来自Googology Wiki
分享此页面
查看
阅读
查看源代码
查看历史
associated-pages
页面
讨论
更多操作
PPS
康托范式
(
0
,
1
)
ω
(
0
,
1
,
0
,
0
,
3
)
ω
×
2
(
0
,
1
,
0
,
0
,
3
,
0
,
0
,
6
)
ω
×
3
(
0
,
1
,
0
,
0
,
3
,
0
,
0
,
6
,
0
,
0
,
9
)
ω
×
4
(
0
,
1
,
0
,
0
,
3
,
3
)
ω
2
(
0
,
1
,
0
,
0
,
3
,
3
,
0
,
0
,
7
)
ω
2
+
ω
(
0
,
1
,
0
,
0
,
3
,
3
,
0
,
0
,
7
,
0
,
0
,
1
0
)
ω
2
+
ω
×
2
(
0
,
1
,
0
,
0
,
3
,
3
,
0
,
0
,
7
,
7
)
ω
2
×
2
(
0
,
1
,
0
,
0
,
3
,
3
,
0
,
0
,
7
,
7
,
0
,
0
,
1
1
,
1
1
)
ω
2
×
3
(
0
,
1
,
0
,
0
,
3
,
3
,
3
)
ω
3
(
0
,
1
,
0
,
0
,
3
,
3
,
3
,
0
,
0
,
8
,
8
)
ω
3
+
ω
2
(
0
,
1
,
0
,
0
,
3
,
3
,
3
,
0
,
0
,
8
,
8
,
8
)
ω
3
×
2
(
0
,
1
,
0
,
0
,
3
,
3
,
3
,
3
)
ω
4
(
0
,
1
,
0
,
0
,
4
)
ω
ω
(
0
,
1
,
0
,
0
,
4
,
0
,
0
,
6
)
ω
ω
+
ω
(
0
,
1
,
0
,
0
,
4
,
0
,
0
,
6
,
6
)
ω
ω
+
ω
2
(
0
,
1
,
0
,
0
,
4
,
0
,
0
,
7
)
ω
ω
×
2
(
0
,
1
,
0
,
0
,
4
,
0
,
0
,
7
,
0
,
0
,
9
)
ω
ω
×
2
+
ω
(
0
,
1
,
0
,
0
,
4
,
0
,
0
,
7
,
0
,
0
,
1
0
)
ω
ω
×
3
(
0
,
1
,
0
,
1
)
ω
ω
+
1
(
0
,
1
,
0
,
1
,
0
,
0
,
5
)
ω
ω
+
1
+
ω
(
0
,
1
,
0
,
1
,
0
,
0
,
5
,
0
,
0
,
8
)
ω
ω
+
1
+
ω
×
2
(
0
,
1
,
0
,
1
,
0
,
0
,
5
,
5
)
ω
ω
+
1
+
ω
2
(
0
,
1
,
0
,
1
,
0
,
0
,
6
)
ω
ω
+
1
+
ω
ω
(
0
,
1
,
0
,
1
,
0
,
0
,
6
,
0
,
0
,
8
)
ω
ω
+
1
+
ω
ω
+
ω
(
0
,
1
,
0
,
1
,
0
,
0
,
6
,
0
,
0
,
9
)
ω
ω
+
1
+
ω
ω
×
2
(
0
,
1
,
0
,
1
,
0
,
0
,
6
,
0
,
6
)
ω
ω
+
1
×
2
(
0
,
1
,
0
,
1
,
0
,
0
,
6
,
0
,
6
,
0
,
0
,
1
1
,
0
,
1
1
)
ω
ω
+
1
×
3
(
0
,
1
,
0
,
1
,
0
,
1
)
ω
ω
+
2
(
0
,
1
,
0
,
1
,
0
,
1
,
0
,
0
,
8
)
ω
ω
+
2
+
ω
ω
(
0
,
1
,
0
,
1
,
0
,
1
,
0
,
0
,
8
,
0
,
8
)
ω
ω
+
2
+
ω
ω
+
1
(
0
,
1
,
0
,
1
,
0
,
1
,
0
,
0
,
8
,
0
,
8
,
0
,
8
)
ω
ω
+
2
×
2
(
0
,
1
,
0
,
1
,
0
,
1
,
0
,
1
)
ω
ω
+
3
(
0
,
1
,
0
,
2
)
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
0
,
6
)
ω
ω
×
2
+
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
0
,
6
,
0
,
0
,
9
)
ω
ω
×
2
+
ω
2
(
0
,
1
,
0
,
2
,
0
,
0
,
0
,
6
,
6
)
ω
ω
×
2
+
ω
2
(
0
,
1
,
0
,
2
,
0
,
0
,
0
,
7
)
ω
ω
×
2
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
0
,
7
,
0
,
0
,
1
0
)
ω
ω
×
2
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
0
,
7
,
0
,
7
)
ω
ω
×
2
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
0
,
7
,
0
,
7
,
0
,
7
)
ω
ω
×
2
+
ω
ω
+
2
(
0
,
1
,
0
,
2
,
0
,
0
,
0
,
7
,
0
,
8
)
ω
ω
×
2
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
0
,
7
,
0
,
8
,
0
,
0
,
0
,
1
3
)
ω
ω
×
2
×
2
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
0
,
7
,
0
,
8
,
0
,
0
,
0
,
1
3
,
0
,
1
3
)
ω
ω
×
2
×
2
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
0
,
7
,
0
,
8
,
0
,
0
,
0
,
1
3
,
0
,
1
4
)
ω
ω
×
2
×
3
(
0
,
1
,
0
,
2
,
0
,
0
,
1
)
ω
ω
×
2
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
1
,
0
,
0
,
0
,
1
0
)
ω
ω
×
2
+
1
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
1
,
0
,
0
,
0
,
1
0
,
0
,
1
0
)
ω
ω
×
2
+
1
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
1
,
0
,
0
,
0
,
1
0
,
0
,
1
1
)
ω
ω
×
2
+
1
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
1
,
0
,
0
,
0
,
1
0
,
0
,
1
1
,
0
,
0
,
1
0
)
ω
ω
×
2
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
1
,
0
,
0
,
1
)
ω
ω
×
2
+
2
(
0
,
1
,
0
,
2
,
0
,
0
,
1
,
0
,
0
,
1
,
0
,
0
,
1
)
ω
ω
×
2
+
3
(
0
,
1
,
0
,
2
,
0
,
0
,
1
,
0
,
6
)
ω
ω
×
3
(
0
,
1
,
0
,
2
,
0
,
0
,
1
,
0
,
6
,
0
,
0
,
1
)
ω
ω
×
3
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
1
,
0
,
6
,
0
,
0
,
1
,
0
,
1
1
)
ω
ω
×
4
(
0
,
1
,
0
,
2
,
0
,
0
,
1
,
0
,
6
,
0
,
6
)
ω
ω
2
(
0
,
1
,
0
,
2
,
0
,
0
,
1
,
0
,
6
,
0
,
6
,
0
,
0
,
1
)
ω
ω
2
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
1
,
0
,
6
,
0
,
6
,
0
,
0
,
1
,
0
,
1
3
)
ω
ω
2
+
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
1
,
0
,
6
,
0
,
6
,
0
,
0
,
1
,
0
,
1
3
,
0
,
1
3
)
ω
ω
2
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
1
,
0
,
6
,
0
,
6
,
0
,
6
)
ω
ω
3
(
0
,
1
,
0
,
2
,
0
,
0
,
1
,
0
,
7
)
ω
ω
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
1
,
0
,
7
,
0
,
0
,
1
)
ω
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
1
,
0
,
7
,
0
,
0
,
1
,
0
,
1
1
)
ω
ω
ω
+
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
1
,
0
,
7
,
0
,
0
,
1
,
0
,
1
1
,
0
,
1
1
)
ω
ω
ω
+
ω
2
(
0
,
1
,
0
,
2
,
0
,
0
,
1
,
0
,
7
,
0
,
0
,
1
,
0
,
1
1
,
0
,
1
2
)
ω
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
)
ω
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
)
ω
ω
ω
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
9
)
ω
ω
ω
+
1
+
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
9
,
0
,
9
)
ω
ω
ω
+
1
+
ω
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
)
ω
ω
ω
+
1
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
0
,
1
,
0
,
1
5
)
ω
ω
ω
+
1
+
ω
ω
+
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
0
,
1
,
0
,
1
6
)
ω
ω
ω
+
1
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
)
ω
ω
ω
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
,
0
,
0
,
0
,
1
,
0
,
1
8
)
ω
ω
ω
+
1
×
2
+
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
,
0
,
0
,
0
,
1
,
0
,
1
9
)
ω
ω
ω
+
1
×
2
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
,
0
,
0
,
0
,
1
,
0
,
1
9
,
0
,
0
,
0
,
1
,
0
,
2
5
)
ω
ω
ω
+
1
×
2
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
,
0
,
0
,
0
,
1
,
0
,
1
9
,
0
,
0
,
1
8
)
ω
ω
ω
+
1
×
3
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
,
0
,
0
,
9
)
ω
ω
ω
+
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
,
0
,
0
,
9
,
0
,
0
,
0
,
1
)
ω
ω
ω
+
2
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
,
0
,
0
,
9
,
0
,
0
,
0
,
1
,
0
,
2
1
)
ω
ω
ω
+
2
+
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
,
0
,
0
,
9
,
0
,
0
,
0
,
1
,
0
,
2
2
)
ω
ω
ω
+
2
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
,
0
,
0
,
9
,
0
,
0
,
0
,
1
,
0
,
2
2
,
0
,
0
,
0
,
1
,
0
,
2
8
)
ω
ω
ω
+
2
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
,
0
,
0
,
9
,
0
,
0
,
0
,
1
,
0
,
2
2
,
0
,
0
,
2
1
)
ω
ω
ω
+
2
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
,
0
,
0
,
9
,
0
,
0
,
0
,
1
,
0
,
2
2
,
0
,
0
,
2
1
,
0
,
0
,
0
,
1
,
0
,
3
1
)
ω
ω
ω
+
2
+
ω
ω
+
1
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
,
0
,
0
,
9
,
0
,
0
,
0
,
1
,
0
,
2
2
,
0
,
0
,
2
1
,
0
,
0
,
0
,
1
,
0
,
3
1
,
0
,
0
,
3
0
)
ω
ω
ω
+
2
+
ω
ω
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
,
0
,
0
,
9
,
0
,
0
,
0
,
1
,
0
,
2
2
,
0
,
0
,
2
1
,
0
,
0
,
2
1
)
ω
ω
ω
+
2
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
,
0
,
0
,
9
,
0
,
0
,
0
,
1
,
0
,
2
2
,
0
,
0
,
2
1
,
0
,
0
,
2
1
,
0
,
0
,
0
,
1
,
0
,
3
4
,
0
,
0
,
3
3
,
0
,
0
,
3
3
)
ω
ω
ω
+
2
×
3
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
,
0
,
0
,
9
,
0
,
0
,
9
)
ω
ω
ω
+
3
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
,
0
,
1
4
)
ω
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
,
0
,
1
4
,
0
,
0
,
9
)
ω
ω
ω
×
2
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
,
0
,
1
4
,
0
,
0
,
9
,
0
,
1
9
)
ω
ω
ω
×
3
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
,
0
,
1
4
,
0
,
1
4
)
ω
ω
ω
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
,
0
,
1
4
,
0
,
1
4
,
0
,
1
4
)
ω
ω
ω
3
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
,
0
,
1
5
)
ω
ω
ω
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
,
0
,
1
5
,
0
,
0
,
9
)
ω
ω
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
,
0
,
1
5
,
0
,
0
,
9
,
0
,
1
9
)
ω
ω
ω
ω
+
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
9
,
0
,
1
5
,
0
,
0
,
9
,
0
,
2
0
)
ω
ω
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
1
0
)
ω
ω
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
1
0
,
0
,
0
,
1
)
ω
ω
ω
ω
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
1
0
,
0
,
0
,
1
,
0
,
1
7
)
ω
ω
ω
ω
+
1
+
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
1
0
,
0
,
0
,
1
,
0
,
1
8
)
ω
ω
ω
ω
+
1
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
1
0
,
0
,
0
,
1
,
0
,
1
8
,
0
,
0
,
0
,
1
)
ω
ω
ω
ω
+
1
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
1
0
,
0
,
0
,
1
,
0
,
1
8
,
0
,
0
,
0
,
1
,
0
,
2
4
)
ω
ω
ω
ω
+
1
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
1
0
,
0
,
0
,
1
,
0
,
1
8
,
0
,
0
,
0
,
1
,
0
,
2
4
,
0
,
0
,
0
,
1
,
0
,
3
0
)
ω
ω
ω
ω
+
1
+
ω
ω
×
3
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
1
0
,
0
,
0
,
1
,
0
,
1
8
,
0
,
0
,
1
7
)
ω
ω
ω
ω
+
1
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
1
0
,
0
,
0
,
1
,
0
,
1
8
,
0
,
0
,
1
7
,
0
,
0
,
1
7
)
ω
ω
ω
ω
+
1
+
ω
ω
+
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
1
0
,
0
,
0
,
1
,
0
,
1
8
,
0
,
0
,
1
7
,
0
,
2
2
)
ω
ω
ω
ω
+
1
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
1
0
,
0
,
0
,
1
,
0
,
1
8
,
0
,
0
,
1
7
,
0
,
2
3
)
ω
ω
ω
ω
+
1
+
ω
ω
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
1
0
,
0
,
0
,
1
,
0
,
1
8
,
0
,
0
,
1
7
,
0
,
2
3
,
0
,
0
,
1
7
,
0
,
2
8
)
ω
ω
ω
ω
+
1
+
ω
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
0
,
0
,
0
,
1
0
,
0
,
0
,
1
,
0
,
1
8
,
0
,
0
,
1
8
)
ω
ω
ω
ω
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
)
ω
ω
ω
ω
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
)
ω
ω
ω
ω
+
1
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
)
ω
ω
ω
ω
+
1
+
1
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
0
,
1
)
ω
ω
ω
ω
+
1
+
1
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
0
,
1
,
0
,
1
8
)
ω
ω
ω
ω
+
1
+
1
+
ω
ω
+
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
0
,
1
,
0
,
1
9
)
ω
ω
ω
ω
+
1
+
1
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
2
)
ω
ω
ω
ω
+
1
+
1
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
1
7
)
ω
ω
ω
ω
+
1
+
1
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
1
8
)
ω
ω
ω
ω
+
1
+
1
+
ω
ω
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
1
8
,
0
,
0
,
1
2
,
0
,
2
3
)
ω
ω
ω
ω
+
1
+
1
+
ω
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
)
ω
ω
ω
ω
+
1
+
1
+
ω
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
0
,
1
)
ω
ω
ω
ω
+
1
+
1
+
ω
ω
ω
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
0
,
1
,
0
,
2
1
)
ω
ω
ω
ω
+
1
+
1
+
ω
ω
ω
+
1
+
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
0
,
1
,
0
,
2
2
)
ω
ω
ω
ω
+
1
+
1
+
ω
ω
ω
+
1
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
0
,
1
,
0
,
2
2
,
0
,
0
,
0
,
1
,
0
,
2
8
)
ω
ω
ω
ω
+
1
+
1
+
ω
ω
ω
+
1
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
0
,
1
,
0
,
2
2
,
0
,
0
,
2
1
)
ω
ω
ω
ω
+
1
+
1
+
ω
ω
ω
+
1
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
0
,
1
,
0
,
2
2
,
0
,
0
,
2
1
,
0
,
2
6
)
ω
ω
ω
ω
+
1
+
1
+
ω
ω
ω
+
1
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
0
,
1
,
0
,
2
2
,
0
,
0
,
2
1
,
0
,
2
7
)
ω
ω
ω
ω
+
1
+
1
+
ω
ω
ω
+
1
+
ω
ω
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
0
,
1
,
0
,
2
2
,
0
,
0
,
2
2
)
ω
ω
ω
ω
+
1
+
1
+
ω
ω
ω
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
)
ω
ω
ω
ω
+
1
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
0
,
0
,
1
,
0
,
2
5
,
0
,
0
,
2
5
)
ω
ω
ω
ω
+
1
+
1
×
2
+
ω
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
0
,
0
,
1
,
0
,
2
5
,
0
,
0
,
2
5
,
0
,
0
,
2
4
)
ω
ω
ω
ω
+
1
+
1
×
3
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
0
,
1
2
)
ω
ω
ω
ω
+
1
+
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
0
,
1
2
,
0
,
0
,
1
2
)
ω
ω
ω
ω
+
1
+
3
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
0
)
ω
ω
ω
ω
+
1
+
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
)
ω
ω
ω
ω
+
1
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
0
,
1
2
)
ω
ω
ω
ω
+
1
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
0
,
1
2
,
0
,
2
6
)
ω
ω
ω
ω
+
1
+
ω
ω
+
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
0
,
1
2
,
0
,
2
7
)
ω
ω
ω
ω
+
1
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
0
,
1
2
,
0
,
2
7
,
0
,
0
,
0
,
1
2
,
0
,
3
3
)
ω
ω
ω
ω
+
1
+
ω
ω
×
3
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
0
)
ω
ω
ω
ω
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
0
,
0
,
0
,
0
,
1
2
)
ω
ω
ω
ω
+
1
×
2
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
0
,
0
,
0
,
0
,
1
2
,
0
,
3
0
)
ω
ω
ω
ω
+
1
×
2
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
0
,
0
,
0
,
0
,
1
2
,
0
,
3
0
,
0
,
0
,
0
,
1
2
,
0
,
3
6
)
ω
ω
ω
ω
+
1
×
2
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
0
,
0
,
0
,
0
,
1
2
,
0
,
3
0
,
0
,
0
,
2
9
)
ω
ω
ω
ω
+
1
×
3
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
0
,
0
,
0
,
0
,
1
2
,
0
,
3
0
,
0
,
0
,
2
9
,
0
,
0
,
0
,
1
2
,
0
,
3
9
,
0
,
0
,
3
8
)
ω
ω
ω
ω
+
1
×
4
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
0
,
0
,
0
,
2
0
)
ω
ω
ω
ω
+
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
0
,
0
,
0
,
2
0
,
0
,
0
,
0
,
1
2
)
ω
ω
ω
ω
+
2
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
0
,
0
,
0
,
2
0
,
0
,
0
,
0
,
1
2
,
0
,
3
3
,
0
,
0
,
3
2
)
ω
ω
ω
ω
+
2
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
0
,
0
,
0
,
2
0
,
0
,
0
,
0
,
1
2
,
0
,
3
3
,
0
,
0
,
3
2
,
0
,
0
,
3
2
)
ω
ω
ω
ω
+
2
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
0
,
0
,
0
,
2
0
,
0
,
0
,
2
0
)
ω
ω
ω
ω
+
3
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
0
,
0
,
2
5
)
ω
ω
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
0
,
0
,
2
5
,
0
,
0
,
2
0
)
ω
ω
ω
ω
×
2
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
0
,
0
,
2
5
,
0
,
0
,
2
0
,
0
,
3
0
)
ω
ω
ω
ω
×
3
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
0
,
0
,
2
5
,
0
,
2
5
)
ω
ω
ω
ω
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
0
,
0
,
2
6
)
ω
ω
ω
ω
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
0
,
0
,
2
6
,
0
,
0
,
2
0
,
0
,
3
1
)
ω
ω
ω
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
1
)
ω
ω
ω
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
1
,
0
,
0
,
0
,
1
)
ω
ω
ω
ω
ω
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
1
,
0
,
0
,
0
,
1
,
0
,
3
0
)
ω
ω
ω
ω
ω
+
1
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
1
,
0
,
0
,
0
,
1
,
0
,
3
0
,
0
,
0
,
2
9
)
ω
ω
ω
ω
ω
+
1
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
1
,
0
,
0
,
0
,
1
,
0
,
3
0
,
0
,
0
,
2
9
,
0
,
3
5
)
ω
ω
ω
ω
ω
+
1
+
ω
ω
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
1
,
0
,
0
,
0
,
1
,
0
,
3
0
,
0
,
0
,
3
0
)
ω
ω
ω
ω
ω
+
1
+
ω
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
1
,
0
,
0
,
0
,
1
,
0
,
3
0
,
0
,
0
,
3
0
,
0
,
0
,
2
9
)
ω
ω
ω
ω
ω
+
1
+
ω
ω
ω
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
1
,
0
,
0
,
0
,
1
,
0
,
3
0
,
0
,
0
,
3
0
,
0
,
0
,
2
9
,
0
,
3
8
,
0
,
0
,
3
8
)
ω
ω
ω
ω
ω
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
1
,
0
,
0
,
1
2
)
ω
ω
ω
ω
ω
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
1
,
0
,
0
,
1
2
,
0
,
2
9
)
ω
ω
ω
ω
ω
+
1
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
1
,
0
,
0
,
1
2
,
0
,
2
9
,
0
,
0
,
2
8
)
ω
ω
ω
ω
ω
+
1
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
1
,
0
,
0
,
1
2
,
0
,
2
9
,
0
,
0
,
2
8
,
0
,
3
3
)
ω
ω
ω
ω
ω
+
1
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
1
,
0
,
0
,
1
2
,
0
,
2
9
,
0
,
0
,
2
8
,
0
,
3
4
)
ω
ω
ω
ω
ω
+
1
+
ω
ω
ω
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
2
1
,
0
,
0
,
2
1
,
0
,
0
,
1
2
,
0
,
2
9
,
0
,
0
,
2
9
)
ω
ω
ω
ω
ω
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
3
)
ω
ω
ω
ω
ω
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
3
,
0
,
0
,
1
,
0
,
2
4
,
0
,
0
,
2
4
,
0
,
0
,
2
4
)
ω
ω
ω
ω
ω
+
1
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
)
ω
ω
ω
ω
ω
+
1
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
3
)
ε
0
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
1
)
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
1
,
0
,
9
)
ω
ε
0
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
1
,
0
,
9
,
0
,
1
0
)
ω
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
1
,
0
,
9
,
0
,
1
0
,
0
,
0
,
1
,
0
,
1
6
,
0
,
1
7
)
ω
ε
0
×
3
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
)
ω
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
2
,
0
,
1
3
)
ω
ω
ε
0
+
1
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
2
,
0
,
1
3
,
0
,
0
,
0
,
1
,
0
,
2
0
,
0
,
2
1
)
ω
ω
ε
0
+
1
+
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
2
,
0
,
1
3
,
0
,
0
,
1
1
)
ω
ω
ε
0
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
2
,
0
,
1
3
,
0
,
0
,
1
1
,
0
,
0
,
0
,
1
,
0
,
2
3
,
0
,
2
4
)
ω
ω
ε
0
+
1
×
2
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
2
,
0
,
1
3
,
0
,
0
,
1
1
,
0
,
0
,
0
,
1
,
0
,
2
3
,
0
,
2
4
,
0
,
0
,
0
,
1
,
0
,
3
1
,
0
,
3
2
)
ω
ω
ε
0
+
1
×
2
+
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
2
,
0
,
1
3
,
0
,
0
,
1
1
,
0
,
0
,
0
,
1
,
0
,
2
3
,
0
,
2
4
,
0
,
0
,
2
2
)
ω
ω
ε
0
+
1
×
3
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
2
,
0
,
1
3
,
0
,
0
,
1
1
,
0
,
0
,
0
,
1
,
0
,
2
3
,
0
,
2
4
,
0
,
0
,
2
2
,
0
,
0
,
0
,
1
,
0
,
3
4
,
0
,
3
5
,
0
,
0
,
3
3
)
ω
ω
ε
0
+
1
×
4
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
2
,
0
,
1
3
,
0
,
0
,
1
1
,
0
,
0
,
1
1
)
ω
ω
ε
0
+
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
2
,
0
,
1
3
,
0
,
0
,
1
1
,
0
,
0
,
1
1
,
0
,
0
,
0
,
1
,
0
,
2
6
,
0
,
2
7
,
0
,
0
,
2
5
,
0
,
0
,
2
5
)
ω
ω
ε
0
+
2
×
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
2
,
0
,
1
3
,
0
,
0
,
1
1
,
0
,
0
,
1
1
,
0
,
0
,
1
1
)
ω
ω
ε
0
+
3
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
2
,
0
,
1
3
,
0
,
0
,
1
1
,
0
,
1
8
)
ω
ω
ε
0
+
ω
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
2
,
0
,
1
3
,
0
,
0
,
1
1
,
0
,
1
9
)
ω
ω
ε
0
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
2
,
0
,
1
3
,
0
,
0
,
1
1
,
0
,
1
9
,
0
,
2
0
)
ω
ω
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
2
,
0
,
1
3
,
0
,
0
,
1
1
,
0
,
1
9
,
0
,
2
0
,
0
,
0
,
1
1
)
ω
ω
ε
0
×
2
+
1
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
2
,
0
,
1
3
,
0
,
0
,
1
1
,
0
,
1
9
,
0
,
2
0
,
0
,
0
,
1
1
,
0
,
2
6
,
0
,
2
7
)
ω
ω
ε
0
×
3
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
2
,
0
,
1
3
,
0
,
0
,
1
2
)
ω
ω
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
2
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
0
,
1
,
0
,
2
2
,
0
,
2
3
)
ω
ω
ω
ε
0
+
1
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
2
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
0
,
1
,
0
,
2
2
,
0
,
2
3
,
0
,
0
,
2
1
)
ω
ω
ω
ε
0
+
1
+
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
2
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
0
,
1
,
0
,
2
2
,
0
,
2
3
,
0
,
0
,
2
1
,
0
,
0
,
0
,
1
,
0
,
3
3
,
0
,
3
4
,
0
,
0
,
3
2
)
ω
ω
ω
ε
0
+
1
+
ω
ε
0
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
2
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
0
,
1
,
0
,
2
2
,
0
,
2
3
,
0
,
0
,
2
1
,
0
,
0
,
2
1
)
ω
ω
ω
ε
0
+
1
+
ω
ε
0
+
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
2
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
0
,
1
,
0
,
2
2
,
0
,
2
3
,
0
,
0
,
2
1
,
0
,
2
8
)
ω
ω
ω
ε
0
+
1
+
ω
ε
0
+
ω
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
2
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
0
,
1
,
0
,
2
2
,
0
,
2
3
,
0
,
0
,
2
1
,
0
,
2
9
)
ω
ω
ω
ε
0
+
1
+
ω
ε
0
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
2
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
0
,
1
,
0
,
2
2
,
0
,
2
3
,
0
,
0
,
2
1
,
0
,
2
9
,
0
,
3
0
)
ω
ω
ω
ε
0
+
1
+
ω
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
2
,
0
,
1
3
,
0
,
0
,
1
2
,
0
,
0
,
1
,
0
,
2
2
,
0
,
2
3
,
0
,
0
,
2
2
)
ω
ω
ω
ε
0
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
)
ω
ω
ω
ε
0
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
5
,
0
,
1
6
)
ω
ω
ω
ε
0
+
1
+
1
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
5
,
0
,
1
6
,
0
,
0
,
1
4
)
ω
ω
ω
ε
0
+
1
+
1
+
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
5
,
0
,
1
6
,
0
,
0
,
1
4
,
0
,
0
,
1
4
)
ω
ω
ω
ε
0
+
1
+
1
+
ω
ε
0
+
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
5
,
0
,
1
6
,
0
,
0
,
1
4
,
0
,
2
2
)
ω
ω
ω
ε
0
+
1
+
1
+
ω
ε
0
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
5
,
0
,
1
6
,
0
,
0
,
1
4
,
0
,
2
2
,
0
,
2
3
)
ω
ω
ω
ε
0
+
1
+
1
+
ω
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
5
,
0
,
1
6
,
0
,
0
,
1
5
)
ω
ω
ω
ε
0
+
1
+
1
+
ω
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
5
,
0
,
1
6
,
0
,
0
,
1
5
,
0
,
0
,
0
,
1
,
0
,
2
6
,
0
,
2
7
,
0
,
0
,
2
6
)
ω
ω
ω
ε
0
+
1
+
1
+
ω
ω
ε
0
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
5
,
0
,
1
6
,
0
,
0
,
1
5
,
0
,
0
,
1
4
)
ω
ω
ω
ε
0
+
1
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
5
,
0
,
1
6
,
0
,
0
,
1
5
,
0
,
0
,
1
4
,
0
,
0
,
1
4
)
ω
ω
ω
ε
0
+
1
+
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
5
,
0
,
1
6
,
0
,
0
,
1
5
,
0
,
0
,
1
4
,
0
,
2
5
,
0
,
2
6
)
ω
ω
ω
ε
0
+
1
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
5
,
0
,
1
6
,
0
,
0
,
1
5
,
0
,
0
,
1
4
,
0
,
2
5
,
0
,
2
6
,
0
,
0
,
0
,
1
4
,
0
,
3
3
,
0
,
3
4
)
ω
ω
ω
ε
0
+
1
+
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
5
,
0
,
1
6
,
0
,
0
,
1
5
,
0
,
0
,
1
4
,
0
,
2
5
,
0
,
2
6
,
0
,
0
,
2
4
)
ω
ω
ω
ε
0
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
5
,
0
,
1
6
,
0
,
0
,
1
5
,
0
,
0
,
1
4
,
0
,
2
5
,
0
,
2
6
,
0
,
0
,
2
4
,
0
,
0
,
0
,
1
4
,
0
,
3
6
,
0
,
3
7
,
0
,
0
,
3
5
)
ω
ω
ω
ε
0
+
1
×
3
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
5
,
0
,
1
6
,
0
,
0
,
1
5
,
0
,
0
,
1
4
,
0
,
2
5
,
0
,
2
6
,
0
,
0
,
2
4
,
0
,
0
,
2
4
)
ω
ω
ω
ε
0
+
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
5
,
0
,
1
6
,
0
,
0
,
1
5
,
0
,
0
,
1
4
,
0
,
2
5
,
0
,
2
6
,
0
,
0
,
2
4
,
0
,
3
1
)
ω
ω
ω
ε
0
+
ω
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
5
,
0
,
1
6
,
0
,
0
,
1
5
,
0
,
0
,
1
4
,
0
,
2
5
,
0
,
2
6
,
0
,
0
,
2
4
,
0
,
3
2
)
ω
ω
ω
ε
0
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
5
,
0
,
1
6
,
0
,
0
,
1
5
,
0
,
0
,
1
4
,
0
,
2
5
,
0
,
2
6
,
0
,
0
,
2
4
,
0
,
3
2
,
0
,
3
3
)
ω
ω
ω
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
5
,
0
,
1
6
,
0
,
0
,
1
5
,
0
,
0
,
1
4
,
0
,
2
5
,
0
,
2
6
,
0
,
0
,
2
5
)
ω
ω
ω
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
5
,
0
,
1
6
,
0
,
0
,
1
5
,
0
,
0
,
1
4
,
0
,
2
5
,
0
,
2
6
,
0
,
0
,
2
5
,
0
,
0
,
1
4
)
ω
ω
ω
ω
ε
0
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
5
,
0
,
1
6
,
0
,
0
,
1
5
,
0
,
0
,
1
4
,
0
,
2
5
,
0
,
2
6
,
0
,
0
,
2
5
,
0
,
0
,
1
4
,
0
,
3
5
,
0
,
3
6
)
ω
ω
ω
ω
ε
0
+
1
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
5
,
0
,
1
6
,
0
,
0
,
1
5
,
0
,
0
,
1
4
,
0
,
2
5
,
0
,
2
6
,
0
,
0
,
2
5
,
0
,
0
,
1
4
,
0
,
3
5
,
0
,
3
6
,
0
,
0
,
3
4
)
ω
ω
ω
ω
ε
0
+
1
+
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
5
,
0
,
1
6
,
0
,
0
,
1
5
,
0
,
0
,
1
4
,
0
,
2
5
,
0
,
2
6
,
0
,
0
,
2
5
,
0
,
0
,
1
4
,
0
,
3
5
,
0
,
3
6
,
0
,
0
,
3
4
,
0
,
4
2
,
0
,
4
3
)
ω
ω
ω
ω
ε
0
+
1
+
ω
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
5
,
0
,
1
6
,
0
,
0
,
1
5
,
0
,
0
,
1
4
,
0
,
2
5
,
0
,
2
6
,
0
,
0
,
2
5
,
0
,
0
,
1
4
,
0
,
3
5
,
0
,
3
6
,
0
,
0
,
3
5
)
ω
ω
ω
ω
ε
0
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
1
,
0
,
1
5
,
0
,
1
6
,
0
,
0
,
1
5
,
0
,
0
,
1
5
)
ω
ω
ω
ω
ε
0
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
0
,
2
,
0
,
0
,
2
)
ω
ω
ω
ω
ε
0
+
1
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
8
)
ε
1
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
8
,
0
,
0
,
1
)
ω
ε
1
+
1
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
8
,
0
,
0
,
1
,
0
,
1
4
,
0
,
1
5
)
ω
ε
1
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
8
,
0
,
0
,
1
,
0
,
1
4
,
0
,
1
5
,
0
,
0
,
1
4
,
0
,
2
0
)
ω
ε
1
×
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
8
,
0
,
0
,
1
,
0
,
1
4
,
0
,
1
5
,
0
,
0
,
1
4
,
0
,
2
0
,
0
,
0
,
1
,
0
,
2
6
,
0
,
2
7
,
0
,
0
,
2
6
,
0
,
3
2
)
ω
ε
1
×
3
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
8
,
0
,
0
,
2
)
ω
ω
ε
1
+
1
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
8
,
0
,
0
,
2
,
0
,
1
3
)
ε
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
0
,
2
,
0
,
8
,
0
,
0
,
2
,
0
,
1
3
,
0
,
0
,
2
,
0
,
1
8
)
ε
3
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
3
)
ε
ω
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
3
,
0
,
0
,
1
,
0
,
1
1
,
0
,
1
2
)
ω
ε
ω
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
3
,
0
,
0
,
1
,
0
,
1
1
,
0
,
1
2
,
0
,
1
2
)
ω
ε
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
3
,
0
,
0
,
2
)
ω
ω
ε
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
3
,
0
,
0
,
2
,
0
,
1
0
)
ε
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
3
,
0
,
0
,
2
,
0
,
1
0
,
0
,
0
,
1
,
0
,
1
6
,
0
,
1
7
,
0
,
1
7
)
ω
ε
ω
+
1
+
ε
ω
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
3
,
0
,
0
,
2
,
0
,
1
0
,
0
,
0
,
1
,
0
,
1
6
,
0
,
1
7
,
0
,
1
7
,
0
,
0
,
1
5
)
ω
ε
ω
+
1
+
ω
ε
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
3
,
0
,
0
,
2
,
0
,
1
0
,
0
,
0
,
1
,
0
,
1
6
,
0
,
1
7
,
0
,
1
7
,
0
,
0
,
1
5
,
0
,
0
,
0
,
1
,
0
,
2
9
,
0
,
3
0
,
0
,
3
0
)
ω
ε
ω
+
1
+
ω
ε
ω
+
1
+
ε
ω
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
3
,
0
,
0
,
2
,
0
,
1
0
,
0
,
0
,
1
,
0
,
1
6
,
0
,
1
7
,
0
,
1
7
,
0
,
0
,
1
5
,
0
,
0
,
0
,
1
,
0
,
2
9
,
0
,
3
0
,
0
,
3
0
,
0
,
0
,
2
8
)
ω
ε
ω
+
1
+
ω
ε
ω
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
3
,
0
,
0
,
2
,
0
,
1
0
,
0
,
0
,
1
,
0
,
1
6
,
0
,
1
7
,
0
,
1
7
,
0
,
0
,
1
5
,
0
,
0
,
1
5
)
ω
ε
ω
+
1
+
ω
ε
ω
+
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
3
,
0
,
0
,
2
,
0
,
1
0
,
0
,
0
,
1
,
0
,
1
6
,
0
,
1
7
,
0
,
1
7
,
0
,
0
,
1
5
,
0
,
2
5
)
ω
ε
ω
+
1
+
ω
ε
ω
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
3
,
0
,
0
,
2
,
0
,
1
0
,
0
,
0
,
1
,
0
,
1
6
,
0
,
1
7
,
0
,
1
7
,
0
,
0
,
1
5
,
0
,
2
5
,
0
,
2
6
,
0
,
2
6
)
ω
ε
ω
+
1
+
ω
ε
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
3
,
0
,
0
,
2
,
0
,
1
0
,
0
,
0
,
1
,
0
,
1
6
,
0
,
1
7
,
0
,
1
7
,
0
,
0
,
1
6
)
ω
ε
ω
+
1
+
ω
ω
ε
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
3
,
0
,
0
,
2
,
0
,
1
0
,
0
,
0
,
1
,
0
,
1
6
,
0
,
1
7
,
0
,
1
7
,
0
,
0
,
1
6
,
0
,
2
4
)
ω
ε
ω
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
3
,
0
,
0
,
2
,
0
,
1
0
,
0
,
0
,
2
)
ω
ω
ε
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
3
,
0
,
0
,
2
,
0
,
1
0
,
0
,
0
,
2
,
0
,
1
5
)
ε
ω
+
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
3
,
0
,
0
,
2
,
0
,
1
0
,
0
,
1
0
)
ε
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
3
,
0
,
0
,
2
,
0
,
1
0
,
0
,
1
0
,
0
,
0
,
2
,
0
,
1
7
,
0
,
1
7
)
ε
ω
×
3
(
0
,
1
,
0
,
2
,
0
,
3
,
0
,
3
,
0
,
3
)
ε
ω
2
(
0
,
1
,
0
,
2
,
0
,
4
)
ε
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
0
,
1
)
ω
ε
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
0
,
1
,
0
,
8
)
ω
ε
ω
ω
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
0
,
1
,
0
,
8
,
0
,
0
,
0
,
1
,
0
,
1
4
)
ω
ε
ω
ω
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
0
,
1
,
0
,
8
,
0
,
0
,
7
)
ω
ε
ω
ω
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
0
,
1
,
0
,
8
,
0
,
0
,
7
,
0
,
0
,
7
)
ω
ε
ω
ω
+
ω
ω
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
0
,
1
,
0
,
8
,
0
,
0
,
7
,
0
,
1
3
)
ω
ε
ω
ω
+
ω
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
0
,
1
,
0
,
8
,
0
,
9
)
ω
ε
ω
ω
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
0
,
1
,
0
,
8
,
0
,
9
,
0
,
0
,
8
,
0
,
1
4
)
ω
ε
ω
ω
+
ε
1
(
0
,
1
,
0
,
2
,
0
,
4
,
0
,
1
,
0
,
8
,
0
,
9
,
0
,
9
)
ω
ε
ω
ω
+
ε
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
0
,
1
,
0
,
8
,
0
,
1
0
)
ω
ε
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
0
,
2
)
ω
ω
ε
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
0
,
2
,
0
,
7
)
ε
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
0
,
2
,
0
,
7
,
0
,
0
,
2
,
0
,
1
2
)
ε
ω
ω
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
0
,
2
,
0
,
7
,
0
,
7
)
ε
ω
ω
+
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
0
,
2
,
0
,
8
)
ε
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
0
,
2
,
0
,
8
,
0
,
2
,
0
,
1
1
)
ε
ω
ω
×
2
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
0
,
2
,
0
,
8
,
0
,
2
,
0
,
1
1
,
0
,
1
1
)
ε
ω
ω
×
2
+
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
0
,
2
,
0
,
8
,
0
,
2
,
0
,
1
2
)
ε
ω
ω
×
3
(
0
,
1
,
0
,
2
,
0
,
4
,
3
)
ε
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
0
,
1
)
ω
ε
ω
ω
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
0
,
2
,
0
,
1
0
)
ε
ω
ω
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
0
,
2
,
0
,
1
1
)
ε
ω
ω
+
1
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
0
,
2
,
0
,
1
1
,
0
,
2
,
0
,
1
5
)
ε
ω
ω
+
1
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
0
,
2
,
0
,
1
1
,
1
0
)
ε
ω
ω
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
0
,
2
,
0
,
1
1
,
1
0
,
0
,
0
,
0
,
2
,
0
,
1
8
,
1
7
)
ε
ω
ω
+
1
×
3
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
3
)
ε
ω
ω
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
3
,
0
,
0
,
0
,
2
,
0
,
1
4
)
ε
ω
ω
+
2
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
3
,
0
,
0
,
0
,
2
,
0
,
1
4
,
1
3
)
ε
ω
ω
+
2
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
3
,
0
,
0
,
0
,
2
,
0
,
1
4
,
1
3
,
0
,
0
,
1
3
)
ε
ω
ω
+
2
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
3
,
0
,
0
,
3
)
ε
ω
ω
+
3
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
3
,
0
,
9
)
ε
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
3
,
0
,
1
0
)
ε
ω
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
3
,
0
,
1
0
,
3
)
ε
ω
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
3
,
0
,
1
0
,
3
,
0
,
0
,
3
,
0
,
1
6
)
ε
ω
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
4
)
ε
ω
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
4
,
3
)
ε
ω
ω
ω
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
4
,
3
,
0
,
0
,
3
,
0
,
1
4
)
ε
ω
ω
ω
+
1
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
4
,
3
,
0
,
0
,
3
,
0
,
1
4
,
3
,
0
,
0
,
3
,
0
,
2
0
)
ε
ω
ω
ω
+
1
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
4
,
3
,
0
,
0
,
3
,
0
,
1
4
,
3
,
0
,
0
,
1
4
)
ε
ω
ω
ω
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
4
,
3
,
0
,
0
,
4
)
ε
ω
ω
ω
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
4
,
3
,
0
,
0
,
4
,
3
)
ε
ω
ω
ω
+
2
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
4
,
3
,
0
,
0
,
4
,
3
,
0
,
0
,
3
,
0
,
1
8
)
ε
ω
ω
ω
+
2
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
4
,
3
,
0
,
0
,
4
,
3
,
0
,
0
,
3
,
0
,
1
8
,
3
,
0
,
0
,
1
8
,
3
,
0
,
0
,
1
8
)
ε
ω
ω
ω
+
2
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
0
,
4
,
3
,
0
,
0
,
4
,
3
,
0
,
0
,
4
)
ε
ω
ω
ω
+
3
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
5
)
ε
ω
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
5
,
3
)
ε
ω
ω
ω
×
2
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
5
,
3
,
0
,
0
,
3
,
0
,
1
3
)
ε
ω
ω
ω
×
2
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
5
,
3
,
0
,
0
,
3
,
0
,
1
3
,
3
,
0
,
0
,
3
,
0
,
1
9
)
ε
ω
ω
ω
×
2
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
5
,
3
,
0
,
0
,
3
,
0
,
1
3
,
3
,
0
,
0
,
1
3
)
ε
ω
ω
ω
×
2
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
5
,
3
,
0
,
0
,
3
,
0
,
1
3
,
3
,
0
,
0
,
1
3
,
3
,
0
,
0
,
1
3
)
ε
ω
ω
ω
×
2
+
ω
ω
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
5
,
3
,
0
,
0
,
3
,
0
,
1
3
,
3
,
0
,
1
4
)
ε
ω
ω
ω
×
2
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
5
,
3
,
0
,
0
,
3
,
0
,
1
3
,
3
,
0
,
1
4
,
3
,
0
,
0
,
3
,
0
,
2
2
,
3
,
0
,
2
3
)
ε
ω
ω
ω
×
2
×
3
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
5
,
3
,
0
,
0
,
4
)
ε
ω
ω
ω
×
2
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
5
,
3
,
0
,
0
,
4
,
3
,
0
,
1
2
)
ε
ω
ω
ω
×
3
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
5
,
3
,
0
,
0
,
4
,
3
,
0
,
1
2
,
3
,
0
,
0
,
4
,
3
,
0
,
1
9
)
ε
ω
ω
ω
×
4
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
5
,
3
,
0
,
5
)
ε
ω
ω
ω
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
5
,
3
,
0
,
5
,
3
,
0
,
0
,
4
,
3
,
0
,
1
5
)
ε
ω
ω
ω
2
+
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
5
,
3
,
0
,
5
,
3
,
0
,
0
,
4
,
3
,
0
,
1
5
,
3
,
0
,
1
5
)
ε
ω
ω
ω
2
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
5
,
3
,
0
,
5
,
3
,
0
,
5
)
ε
ω
ω
ω
3
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
)
ε
ω
ω
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
0
,
3
)
ε
ω
ω
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
0
,
3
,
0
,
1
2
)
ε
ω
ω
ω
ω
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
0
,
3
,
0
,
1
2
,
3
,
0
,
0
,
1
2
)
ε
ω
ω
ω
ω
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
0
,
3
,
0
,
1
2
,
3
,
0
,
1
3
)
ε
ω
ω
ω
ω
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
0
,
3
,
0
,
1
2
,
3
,
0
,
1
4
)
ε
ω
ω
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
0
,
4
)
ε
ω
ω
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
0
,
4
,
3
,
0
,
0
,
4
)
ε
ω
ω
ω
ω
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
0
,
4
,
3
,
0
,
1
1
)
ε
ω
ω
ω
ω
+
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
0
,
4
,
3
,
0
,
1
1
,
3
,
0
,
0
,
4
,
3
,
0
,
1
8
)
ε
ω
ω
ω
ω
+
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
0
,
4
,
3
,
0
,
1
1
,
3
,
0
,
1
1
)
ε
ω
ω
ω
ω
+
ω
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
0
,
4
,
3
,
0
,
1
2
)
ε
ω
ω
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
0
,
4
,
3
,
0
,
1
2
,
0
,
0
,
4
,
3
,
0
,
1
8
)
ε
ω
ω
ω
ω
×
3
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
5
)
ε
ω
ω
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
5
,
3
,
0
,
0
,
0
,
4
)
ε
ω
ω
ω
ω
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
5
,
3
,
0
,
0
,
0
,
4
,
3
,
0
,
1
5
)
ε
ω
ω
ω
ω
+
1
+
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
5
,
3
,
0
,
0
,
0
,
4
,
3
,
0
,
1
6
)
ε
ω
ω
ω
ω
+
1
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
5
,
3
,
0
,
0
,
0
,
4
,
3
,
0
,
1
6
,
0
,
0
,
4
,
3
,
0
,
2
2
)
ε
ω
ω
ω
ω
+
1
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
5
,
3
,
0
,
0
,
0
,
4
,
3
,
0
,
1
6
,
0
,
1
5
)
ε
ω
ω
ω
ω
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
5
,
3
,
0
,
0
,
5
)
ε
ω
ω
ω
ω
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
5
,
3
,
0
,
1
0
)
ε
ω
ω
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
5
,
3
,
0
,
1
1
)
ε
ω
ω
ω
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
5
,
3
,
0
,
1
1
,
0
,
5
)
ε
ω
ω
ω
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
5
,
3
,
0
,
1
1
,
0
,
5
,
3
,
0
,
1
6
)
ε
ω
ω
ω
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
)
ε
ω
ω
ω
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
)
ε
ω
ω
ω
ω
ω
+
1
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
,
0
,
1
2
)
ε
ω
ω
ω
ω
ω
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
,
0
,
1
2
,
3
,
0
,
0
,
0
,
5
,
3
,
0
,
2
3
,
0
,
2
2
)
ε
ω
ω
ω
ω
ω
+
1
×
3
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
,
0
,
1
2
,
3
,
0
,
0
,
1
2
)
ε
ω
ω
ω
ω
ω
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
,
0
,
1
2
,
3
,
0
,
1
7
)
ε
ω
ω
ω
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
,
0
,
1
2
,
3
,
0
,
1
8
)
ε
ω
ω
ω
ω
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
,
0
,
1
2
,
3
,
0
,
1
8
,
0
,
0
,
5
,
3
,
0
,
2
4
)
ε
ω
ω
ω
ω
ω
ω
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
,
0
,
1
2
,
3
,
0
,
1
8
,
0
,
0
,
5
,
3
,
0
,
2
4
,
0
,
2
3
)
ε
ω
ω
ω
ω
ω
ω
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
,
0
,
1
2
,
3
,
0
,
1
8
,
0
,
0
,
5
,
3
,
0
,
2
4
,
0
,
2
3
,
3
,
0
,
0
,
0
,
5
,
3
,
0
,
3
4
,
0
,
3
3
)
ε
ω
ω
ω
ω
ω
ω
+
ω
ω
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
,
0
,
1
2
,
3
,
0
,
1
8
,
0
,
0
,
5
,
3
,
0
,
2
4
,
0
,
2
3
,
3
,
0
,
0
,
2
3
)
ε
ω
ω
ω
ω
ω
ω
+
ω
ω
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
,
0
,
1
2
,
3
,
0
,
1
8
,
0
,
0
,
5
,
3
,
0
,
2
4
,
0
,
2
3
,
3
,
0
,
0
,
2
3
,
3
,
0
,
0
,
0
,
5
,
3
,
0
,
3
8
,
0
,
3
7
,
3
,
0
,
0
,
3
7
)
ε
ω
ω
ω
ω
ω
ω
+
ω
ω
+
2
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
,
0
,
1
2
,
3
,
0
,
1
8
,
0
,
0
,
5
,
3
,
0
,
2
4
,
0
,
2
3
,
3
,
0
,
0
,
2
3
,
3
,
0
,
0
,
2
3
)
ε
ω
ω
ω
ω
ω
ω
+
ω
ω
+
3
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
,
0
,
1
2
,
3
,
0
,
1
8
,
0
,
0
,
5
,
3
,
0
,
2
4
,
0
,
2
3
,
3
,
0
,
2
8
)
ε
ω
ω
ω
ω
ω
ω
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
,
0
,
1
2
,
3
,
0
,
1
8
,
0
,
0
,
5
,
3
,
0
,
2
4
,
0
,
2
3
,
3
,
0
,
2
9
)
ε
ω
ω
ω
ω
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
,
0
,
1
2
,
3
,
0
,
1
8
,
0
,
0
,
5
,
3
,
0
,
2
4
,
0
,
2
3
,
3
,
0
,
2
9
,
0
,
0
,
5
,
3
,
0
,
3
5
,
0
,
3
4
,
3
,
0
,
4
0
)
ε
ω
ω
ω
ω
ω
ω
×
3
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
,
0
,
1
2
,
3
,
0
,
1
8
,
0
,
1
2
)
ε
ω
ω
ω
ω
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
,
0
,
1
2
,
3
,
0
,
1
8
,
0
,
1
2
,
3
,
0
,
2
3
)
ε
ω
ω
ω
ω
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
,
0
,
1
3
)
ε
ω
ω
ω
ω
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
,
0
,
1
3
,
0
,
5
,
3
,
0
,
2
0
)
ε
ω
ω
ω
ω
ω
ω
+
1
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
,
0
,
1
3
,
0
,
5
,
3
,
0
,
2
0
,
0
,
0
,
5
,
3
,
0
,
2
6
)
ε
ω
ω
ω
ω
ω
ω
+
1
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
,
0
,
1
3
,
0
,
5
,
3
,
0
,
2
0
,
0
,
1
9
)
ε
ω
ω
ω
ω
ω
ω
+
1
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
,
0
,
1
3
,
0
,
5
,
3
,
0
,
2
0
,
0
,
1
9
,
3
,
0
,
2
5
)
ε
ω
ω
ω
ω
ω
ω
+
1
+
ω
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
,
0
,
1
3
,
0
,
5
,
3
,
0
,
2
0
,
0
,
1
9
,
3
,
0
,
2
5
,
0
,
1
9
)
ε
ω
ω
ω
ω
ω
ω
+
1
+
ω
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
,
0
,
1
3
,
0
,
5
,
3
,
0
,
2
0
,
0
,
1
9
,
3
,
0
,
2
5
,
0
,
1
9
,
3
,
0
,
3
0
)
ε
ω
ω
ω
ω
ω
ω
+
1
+
ω
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
5
,
3
,
0
,
1
3
,
0
,
1
3
,
0
,
5
,
3
,
0
,
2
0
,
0
,
2
0
)
ε
ω
ω
ω
ω
ω
ω
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
6
,
0
,
6
,
0
,
6
)
ε
ω
ω
ω
ω
ω
ω
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
7
)
ε
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
7
,
0
,
2
)
ω
ω
ε
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
7
,
0
,
2
,
0
,
1
0
)
ε
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
7
,
0
,
2
,
0
,
1
1
)
ε
ε
0
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
7
,
0
,
2
,
0
,
1
1
,
1
0
,
0
,
1
4
)
ε
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
7
,
3
)
ε
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
7
,
3
,
0
,
0
,
3
,
0
,
1
3
)
ε
ω
ε
0
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
7
,
3
,
0
,
0
,
7
)
ε
ω
ε
0
+
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
7
,
3
,
0
,
0
,
7
,
3
,
0
,
0
,
3
,
0
,
1
7
,
3
,
0
,
0
,
1
7
)
ε
ω
ε
0
+
ω
ω
+
1
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
7
,
3
,
0
,
0
,
7
,
3
,
0
,
0
,
7
)
ε
ω
ε
0
+
ω
ω
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
7
,
3
,
0
,
8
)
ε
ω
ε
0
+
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
7
,
3
,
0
,
9
)
ε
ω
ε
0
+
ω
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
3
,
0
,
7
,
3
,
0
,
1
0
)
ε
ω
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
)
ε
ω
ω
ε
0
+
1
(
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
PPS
康托范式
(
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
)
ε
ε
ω
ω
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
)
ε
ε
ω
ω
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
0
,
3
)
ε
ω
ε
ω
ω
×
2
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
0
,
4
)
ε
ω
ω
ε
ω
ω
×
2
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
)
ε
ω
ω
ω
ε
ω
ω
×
2
+
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
)
ε
ω
ω
ω
ε
ω
ω
×
2
+
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
)
ε
ω
ω
ω
ε
ω
ω
×
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
,
9
,
3
,
0
,
0
,
1
5
)
ε
ω
ω
ω
ε
ω
ω
×
2
+
ω
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
)
ε
ω
ω
ω
ε
ω
ω
×
2
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
1
8
)
ε
ω
ω
ω
ε
ω
ω
×
2
+
ε
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
)
ε
ω
ω
ω
ε
ω
ω
×
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
)
ε
ω
ω
ω
ε
ω
ω
×
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
,
0
,
1
7
)
ε
ω
ω
ω
ε
ω
ω
×
2
+
ω
ω
ω
ε
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
)
ε
ω
ω
ω
ε
ω
ω
×
2
+
ε
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
)
ε
ω
ω
ω
ε
ω
ω
×
2
+
ε
ω
ω
(
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
)
ε
ω
ω
ω
ε
ω
ω
×
2
+
ε
ω
ω
+
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
)
ε
ω
ω
ω
ε
ω
ω
×
2
+
ε
ω
ω
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
1
9
)
ε
ω
ω
ω
ε
ω
ω
×
2
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
1
0
)
ε
ω
ω
ω
ω
ε
ω
ω
×
2
+
1
PPS分析
来自Googology Wiki