打开/关闭搜索
搜索
打开/关闭菜单
223
68
66
2741
Googology Wiki
导航
首页
最近更改
随机页面
特殊页面
上传文件
打开/关闭外观设置菜单
通知
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。
user-interface-preferences
个人工具
创建账号
登录
PPS分析:修订间差异
帮助
来自Googology Wiki
分享此页面
查看
阅读
查看源代码
查看历史
associated-pages
页面
讨论
更多操作
←上一编辑
可视化
wikitext
2025年7月24日 (四) 20:47的版本
查看源代码
Zhy137036
(
留言
|
贡献
)
监督员
、
管理员
108
次编辑
扽西内容来自Phyrion
←上一编辑
2026年2月20日 (五) 03:01的最新版本
查看源代码
Phyrion
(
留言
|
贡献
)
行政员
、
界面管理员
、
管理员
651
次编辑
小
无编辑摘要
(未显示另一用户的1个中间版本)
第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>
第1,188行:
第1,191行:
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,14,0,14)</math> || <math>\varepsilon_\varepsilon_{\omega^{\omega+1}}</math>
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,14,0,14)</math> || <math>\varepsilon_\varepsilon_{\omega^{\omega+1}}</math>
|-
|-
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,14,0,14,0,14)</math> || <math>\varepsilon_\varepsilon_{\omega^{\omega+
2
}}</math>
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,14,0,14,0,14)</math> || <math>\varepsilon_\varepsilon_
{\omega^
{\omega^{\omega+
1}+1
}}</math>
|-
|-
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15)</math> || <math>\varepsilon_\varepsilon_{\
omega^{\omega\times2}
}</math>
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15)</math> || <math>\varepsilon_\varepsilon_{\
varepsilon_0
}</math>
|-
|-
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,0,3)</math> || <math>\varepsilon_{\omega^{\varepsilon_{\
omega^{\omega\times2}
}+1}}</math>
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,0,3)</math> || <math>\varepsilon_{\omega^{\varepsilon_{\
varepsilon_0
}+1}}</math>
|-
|-
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,0,4)</math> || <math>\varepsilon_{\omega^{\omega^{\varepsilon_{\
omega^{\omega\times2}
}+1}}}</math>
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,0,4)</math> || <math>\varepsilon_{\omega^{\omega^{\varepsilon_{\
varepsilon_0
}+1}}}</math>
|-
|-
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
omega^{\omega\times2}
}+1}}}}</math>
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
varepsilon_0
}+1}}}}</math>
|-
|-
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,0,3,0,22,9)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
omega^{\omega\times2}
}+2}}}}</math>
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,0,3,0,22,9)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
varepsilon_0
}+2}}}}</math>
|-
|-
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,0,15)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
omega^{\omega\times2}
}+\omega}}}}</math>
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,0,15)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
varepsilon_0
}+\omega}}}}</math>
|-
|-
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,0,15,9,3,0,0,15)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
omega^{\omega\times2}
}+\omega^2}}}}</math>
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,0,15,9,3,0,0,15)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
varepsilon_0
}+\omega^2}}}}</math>
|-
|-
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,16)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
omega^{\omega\times2}
}+\omega^\omega}}}}</math>
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,16)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
varepsilon_0
}+\omega^\omega}}}}</math>
|-
|-
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,18)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
omega^{\omega\times2}
}+\varepsilon_0}}}}</math>
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,18)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
varepsilon_0
}+\varepsilon_0}}}}</math>
|-
|-
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,18,0,16)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
omega^{\omega\times2}
}+\omega^{\varepsilon_0+1}}}}}</math>
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,18,0,16)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
varepsilon_0
}+\omega^{\varepsilon_0+1}}}}}</math>
|-
|-
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,18,0,17)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
omega^{\omega\times2}
}+\omega^{\omega^{\varepsilon_0+1}}}}}}</math>
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,18,0,17)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
varepsilon_0
}+\omega^{\omega^{\varepsilon_0+1}}}}}}</math>
|-
|-
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,18,0,17,3,0,0,17)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
omega^{\omega\times2}
}+\omega^{\omega^{\omega^{\varepsilon_0+1}+1}}}}}}</math>
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,18,0,17,3,0,0,17)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
varepsilon_0
}+\omega^{\omega^{\omega^{\varepsilon_0+1}+1}}}}}}</math>
|-
|-
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,18,0,17,3,0,22)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
omega^{\omega\times2}
}+\varepsilon_1}}}}</math>
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,18,0,17,3,0,22)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
varepsilon_0
}+\varepsilon_1}}}}</math>
|-
|-
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,18,0,17,3,0,23)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
omega^{\omega\times2}
}+\varepsilon_{\omega^\omega}}}}}</math>
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,18,0,17,3,0,23)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
varepsilon_0
}+\varepsilon_{\omega^\omega}}}}}</math>
|-
|-
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,18,0,18)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
omega^{\omega\times2}
}+\varepsilon_{\omega^{\omega+1}}}}}}</math>
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,18,0,18)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
varepsilon_0
}+\varepsilon_{\omega^{\omega+1}}}}}}</math>
|-
|-
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,18,0,18,0,18)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
omega^{\omega\times2}
}+\varepsilon_{\omega^{\omega+
2
}}}}}}</math>
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,18,0,18,0,18)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
varepsilon_0
}+\varepsilon_{\omega^{\omega
^{\omega+1}
+
1
}}}}}}</math>
|-
|-
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,19)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
omega^{\omega\times2}
}\times2}}}}</math>
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,9,3,0,15,9,3,0,19)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\varepsilon_{\
varepsilon_0
}\times2}}}}</math>
|-
|-
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,10)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\omega^{\varepsilon_{\
omega^{\omega\times2}
}+1}}}}}</math>
| <math>(0,1,0,2,0,4,4,3,0,4,3,0,11,10)</math> || <math>\varepsilon_{\omega^{\omega^{\omega^{\omega^{\varepsilon_{\
varepsilon_0
}+1}}}}}</math>
|-
|-
[[分类:分析]]
[[分类:分析]]
2026年2月20日 (五) 03:01的最新版本
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
)
ε
ε
ω
ω
ω
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
)
ε
ε
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
0
,
3
)
ε
ω
ε
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
0
,
4
)
ε
ω
ω
ε
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
)
ε
ω
ω
ω
ε
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
0
,
3
,
0
,
2
2
,
9
)
ε
ω
ω
ω
ε
ε
0
+
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
0
,
1
5
)
ε
ω
ω
ω
ε
ε
0
+
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
0
,
1
5
,
9
,
3
,
0
,
0
,
1
5
)
ε
ω
ω
ω
ε
ε
0
+
ω
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
1
6
)
ε
ω
ω
ω
ε
ε
0
+
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
1
8
)
ε
ω
ω
ω
ε
ε
0
+
ε
0
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
1
8
,
0
,
1
6
)
ε
ω
ω
ω
ε
ε
0
+
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
1
8
,
0
,
1
7
)
ε
ω
ω
ω
ε
ε
0
+
ω
ω
ε
0
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
1
8
,
0
,
1
7
,
3
,
0
,
0
,
1
7
)
ε
ω
ω
ω
ε
ε
0
+
ω
ω
ω
ε
0
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
1
8
,
0
,
1
7
,
3
,
0
,
2
2
)
ε
ω
ω
ω
ε
ε
0
+
ε
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
1
8
,
0
,
1
7
,
3
,
0
,
2
3
)
ε
ω
ω
ω
ε
ε
0
+
ε
ω
ω
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
1
8
,
0
,
1
8
)
ε
ω
ω
ω
ε
ε
0
+
ε
ω
ω
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
1
8
,
0
,
1
8
,
0
,
1
8
)
ε
ω
ω
ω
ε
ε
0
+
ε
ω
ω
ω
+
1
+
1
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
9
,
3
,
0
,
1
5
,
9
,
3
,
0
,
1
9
)
ε
ω
ω
ω
ε
ε
0
×
2
(
0
,
1
,
0
,
2
,
0
,
4
,
4
,
3
,
0
,
4
,
3
,
0
,
1
1
,
1
0
)
ε
ω
ω
ω
ω
ε
ε
0
+
1
PPS分析:修订间差异
来自Googology Wiki