打开/关闭搜索
搜索
打开/关闭菜单
223
68
64
2725
Googology Wiki
导航
首页
最近更改
随机页面
特殊页面
上传文件
打开/关闭外观设置菜单
通知
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。
user-interface-preferences
个人工具
创建账号
登录
PPS分析:修订间差异
帮助
来自Googology Wiki
分享此页面
查看
阅读
查看源代码
查看历史
associated-pages
页面
讨论
更多操作
←上一编辑
可视化
wikitext
2025年7月24日 (四) 20:47的版本
查看源代码
Zhy137036
(
留言
|
贡献
)
监督员
、
管理员
108
次编辑
扽西内容来自Phyrion
←上一编辑
2025年7月24日 (四) 21:00的最新版本
查看源代码
Zhy137036
(
留言
|
贡献
)
监督员
、
管理员
108
次编辑
小
无编辑摘要
第1行:
第1行:
{| class="wikitable"
{| class="wikitable"
|+
|-
! [[PPS]] !! [[康托范式]]
! [[PPS]] !! [[康托范式]]
|-
|-
第901行:
第899行:
|-
|-
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,0,3,0,18,0,4,3,0,23,21,3,0,0,3,0,30,0,3,0,34,34,3,0,34,3,0,41,39)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_0+1}\times3}+\omega^{\omega^{\varepsilon_0+1}\times2}}}</math>
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,0,3,0,18,0,4,3,0,23,21,3,0,0,3,0,30,0,3,0,34,34,3,0,34,3,0,41,39)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_0+1}\times3}+\omega^{\omega^{\varepsilon_0+1}\times2}}}</math>
|-
{| class="wikitable"
! [[PPS]] !! [[康托范式]]
|-
|-
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,0,3,0,18,0,4,3,0,23,21,3,0,0,3,0,30,0,3,0,34,34,3,0,34,3,0,41,39,3,0,0,3,0,48,0,3,0,52,52,3,0,52,3,0,59,57)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_0+1}\times3}+\omega^{\omega^{\varepsilon_0+1}\times2}\times2}}</math>
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,0,3,0,18,0,4,3,0,23,21,3,0,0,3,0,30,0,3,0,34,34,3,0,34,3,0,41,39,3,0,0,3,0,48,0,3,0,52,52,3,0,52,3,0,59,57)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_0+1}\times3}+\omega^{\omega^{\varepsilon_0+1}\times2}\times2}}</math>
2025年7月24日 (四) 21:00的最新版本
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